0.00/0.00	c NaPS 1.02b.
1800.09/1800.40	o 2648
1800.09/1800.40	o 10
1800.09/1800.40	o 4
1800.09/1800.40	o 1
1800.09/1800.40	c 
1800.09/1800.40	c *** TERMINATED *** by signal 15
1800.09/1800.40	s SATISFIABLE
1800.09/1800.40	c _____________________________________________________________________________
1800.09/1800.40	c 
1800.09/1800.40	c std/band forms        : 62,0
1800.09/1800.40	c 2cl/3cl ITE-codings   : 3780,0
1800.09/1800.40	c BDD/srt/adr Max costs : 127,7864,0
1800.09/1800.40	c BDDraw/bin/mul/srt/adr: 60,0,0,2,0
1800.09/1800.40	c BDD nodes             : 7680
1800.09/1800.40	c Es1/CC detections     : 0,0
1800.09/1800.40	c SAT/UNSAT calls       : 4,0
1800.09/1800.40	c restarts              : 31
1800.09/1800.40	c conflicts             : 111450         (62 /sec)
1800.09/1800.40	c decisions             : 175429         (98 /sec)
1800.09/1800.40	c propagations          : 8773584        (4878 /sec)
1800.09/1800.40	c inspects              : 0              (0 /sec)
1800.09/1800.40	c CPU time (solving tm) : 1798 s        (11.35 s)
1800.09/1800.40	c Time for Opt-base     : 0.008999 s
1800.09/1800.40	c _____________________________________________________________________________
1800.09/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
1800.09/1800.40	v -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900

OK	1

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-4094796-1466081786/watcher-4094796-1466081786 -o /tmp/evaluation-result-4094796-1466081786/solver-4094796-1466081786 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node134-1466075444-16123 --watchdog 1960 naps-1.02 HOME/instance-4094796-1466081786.wbo 

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

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


[startup+0 s]
/proc/loadavg: 2.20 2.20 2.18 4/178 16927
/proc/meminfo: memFree=30317156/32872528 swapFree=1481856/1661728
[pid=16927] ppid=16924 vsize=6692 CPUtime=0 cores=1,3,5,7
/proc/16927/stat : 16927 (naps-1.02) R 16924 16927 13787 0 -1 4202496 371 0 0 0 0 0 0 0 20 0 1 0 10225012 6852608 246 33554432000 4194304 5796924 140737226822016 140733274129320 5183584 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/16927/statm: 1673 246 130 392 0 1272 0

[startup+0.100158 s]
/proc/loadavg: 2.20 2.20 2.18 4/178 16927
/proc/meminfo: memFree=30317156/32872528 swapFree=1481856/1661728
[pid=16927] ppid=16924 vsize=8612 CPUtime=0.09 cores=1,3,5,7
/proc/16927/stat : 16927 (naps-1.02) R 16924 16927 13787 0 -1 4202496 925 0 0 0 9 0 0 0 20 0 1 0 10225012 8818688 742 33554432000 4194304 5796924 140737226822016 140733274129320 5087497 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/16927/statm: 2153 742 142 392 0 1752 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 8612

[startup+0.200283 s]
/proc/loadavg: 2.20 2.20 2.18 4/178 16927
/proc/meminfo: memFree=30317156/32872528 swapFree=1481856/1661728
[pid=16927] ppid=16924 vsize=13824 CPUtime=0.19 cores=1,3,5,7
/proc/16927/stat : 16927 (naps-1.02) R 16924 16927 13787 0 -1 4202496 3616 0 0 0 19 0 0 0 20 0 1 0 10225012 14155776 2933 33554432000 4194304 5796924 140737226822016 140733274129320 4595132 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/16927/statm: 3456 2933 171 392 0 3055 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 13824

[startup+0.300342 s]
/proc/loadavg: 2.20 2.20 2.18 4/178 16927
/proc/meminfo: memFree=30317156/32872528 swapFree=1481856/1661728
[pid=16927] ppid=16924 vsize=16512 CPUtime=0.29 cores=1,3,5,7
/proc/16927/stat : 16927 (naps-1.02) R 16924 16927 13787 0 -1 4202496 3754 0 0 0 29 0 0 0 20 0 1 0 10225012 16908288 3070 33554432000 4194304 5796924 140737226822016 140733274129320 4611179 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/16927/statm: 4128 3070 171 392 0 3727 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 16512

[startup+0.700268 s]
/proc/loadavg: 2.20 2.20 2.18 4/178 16927
/proc/meminfo: memFree=30317156/32872528 swapFree=1481856/1661728
[pid=16927] ppid=16924 vsize=26324 CPUtime=0.69 cores=1,3,5,7
/proc/16927/stat : 16927 (naps-1.02) R 16924 16927 13787 0 -1 4202496 5540 0 0 0 69 0 0 0 20 0 1 0 10225012 26955776 5874 33554432000 4194304 5796924 140737226822016 140737226819304 4611179 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/16927/statm: 6581 5874 171 392 0 6180 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 26324

[startup+1.50024 s]
/proc/loadavg: 2.19 2.19 2.18 4/179 16928
/proc/meminfo: memFree=30297712/32872528 swapFree=1481856/1661728
[pid=16927] ppid=16924 vsize=26328 CPUtime=1.48 cores=1,3,5,7
/proc/16927/stat : 16927 (naps-1.02) R 16924 16927 13787 0 -1 4202496 6378 0 0 0 148 0 0 0 20 0 1 0 10225012 26959872 5468 33554432000 4194304 5796924 140737226822016 140737226819304 4595127 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/16927/statm: 6582 5468 171 392 0 6181 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 26328

[startup+3.10031 s]
/proc/loadavg: 2.19 2.19 2.18 4/179 16928
/proc/meminfo: memFree=30277420/32872528 swapFree=1481856/1661728
[pid=16927] ppid=16924 vsize=56680 CPUtime=3.09 cores=1,3,5,7
/proc/16927/stat : 16927 (naps-1.02) R 16924 16927 13787 0 -1 4202496 7185 0 0 0 308 1 0 0 20 0 1 0 10225012 58040320 11896 33554432000 4194304 5796924 140737226822016 140737226819304 4606799 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/16927/statm: 14170 11896 171 392 0 13769 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 56680

[startup+6.30032 s]
/proc/loadavg: 2.17 2.19 2.18 3/179 16928
/proc/meminfo: memFree=30275136/32872528 swapFree=1481856/1661728
[pid=16927] ppid=16924 vsize=113248 CPUtime=6.28 cores=1,3,5,7
/proc/16927/stat : 16927 (naps-1.02) R 16924 16927 13787 0 -1 4202496 8052 0 0 0 627 1 0 0 20 0 1 0 10225012 115965952 19244 33554432000 4194304 5796924 140737226822016 140737226819256 4606779 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/16927/statm: 28312 19244 171 392 0 27911 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 113248

[startup+12.7003 s]
/proc/loadavg: 2.16 2.19 2.18 3/179 16974
/proc/meminfo: memFree=30333156/32872528 swapFree=1481856/1661728
[pid=16927] ppid=16924 vsize=63928 CPUtime=12.68 cores=1,3,5,7
/proc/16927/stat : 16927 (naps-1.02) R 16924 16927 13787 0 -1 4202496 8310 0 0 0 1266 2 0 0 20 0 1 0 10225012 65462272 10840 33554432000 4194304 5796924 140737226822016 140737226820408 4607229 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/16927/statm: 15982 10840 181 392 0 15581 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 63928

[startup+25.5004 s]
/proc/loadavg: 2.21 2.20 2.18 3/179 16974
/proc/meminfo: memFree=30282620/32872528 swapFree=1481856/1661728
[pid=16927] ppid=16924 vsize=73840 CPUtime=25.48 cores=1,3,5,7
/proc/16927/stat : 16927 (naps-1.02) R 16924 16927 13787 0 -1 4202496 10318 0 0 0 2544 4 0 0 20 0 1 0 10225012 75612160 17986 33554432000 4194304 5796924 140737226822016 140737226819480 4606779 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/16927/statm: 18460 17986 181 392 0 18059 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 73840

[startup+51.1004 s]
/proc/loadavg: 2.13 2.18 2.17 3/179 16974
/proc/meminfo: memFree=30224188/32872528 swapFree=1481856/1661728
[pid=16927] ppid=16924 vsize=92632 CPUtime=51.08 cores=1,3,5,7
/proc/16927/stat : 16927 (naps-1.02) R 16924 16927 13787 0 -1 4202496 11986 0 0 0 5100 8 0 0 20 0 1 0 10225012 94855168 21350 33554432000 4194304 5796924 140737226822016 140737226819256 4592645 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/16927/statm: 23158 21350 181 392 0 22757 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 92632

[startup+102.3 s]
/proc/loadavg: 2.27 2.21 2.18 3/179 16975
/proc/meminfo: memFree=30114932/32872528 swapFree=1481856/1661728
[pid=16927] ppid=16924 vsize=222860 CPUtime=102.28 cores=1,3,5,7
/proc/16927/stat : 16927 (naps-1.02) R 16924 16927 13787 0 -1 4202496 16770 0 0 0 10212 16 0 0 20 0 1 0 10225012 228208640 43245 33554432000 4194304 5796924 140737226822016 140737226819656 4606789 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/16927/statm: 55715 43245 181 392 0 55314 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 222860

[startup+162.3 s]
/proc/loadavg: 2.21 2.20 2.18 3/179 16976
/proc/meminfo: memFree=30132560/32872528 swapFree=1481856/1661728
[pid=16927] ppid=16924 vsize=144320 CPUtime=162.26 cores=1,3,5,7
/proc/16927/stat : 16927 (naps-1.02) R 16924 16927 13787 0 -1 4202496 20955 0 0 0 16201 25 0 0 20 0 1 0 10225012 147783680 34251 33554432000 4194304 5796924 140737226822016 140737226819304 4606789 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/16927/statm: 36080 34251 181 392 0 35679 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 144320

[startup+222.307 s]
/proc/loadavg: 2.39 2.25 2.20 4/180 16980
/proc/meminfo: memFree=30092004/32872528 swapFree=1481856/1661728
[pid=16927] ppid=16924 vsize=182024 CPUtime=222.27 cores=1,3,5,7
/proc/16927/stat : 16927 (naps-1.02) R 16924 16927 13787 0 -1 4202496 25071 0 0 0 22194 33 0 0 20 0 1 0 10225012 186392576 44231 33554432000 4194304 5796924 140737226822016 140737226819656 4591861 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/16927/statm: 45506 44231 181 392 0 45105 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 182024

[startup+282.3 s]
/proc/loadavg: 2.23 2.23 2.19 3/180 17005
/proc/meminfo: memFree=30094580/32872528 swapFree=1481856/1661728
[pid=16927] ppid=16924 vsize=192316 CPUtime=282.25 cores=1,3,5,7
/proc/16927/stat : 16927 (naps-1.02) R 16924 16927 13787 0 -1 4202496 30066 0 0 0 28184 41 0 0 20 0 1 0 10225012 196931584 44244 33554432000 4194304 5796924 140737226822016 140737226819656 4592593 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/16927/statm: 48079 44244 181 392 0 47678 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 192316

[startup+342.3 s]
/proc/loadavg: 2.20 2.22 2.18 4/179 17006
/proc/meminfo: memFree=30062088/32872528 swapFree=1481856/1661728
[pid=16927] ppid=16924 vsize=169196 CPUtime=342.23 cores=1,3,5,7
/proc/16927/stat : 16927 (naps-1.02) R 16924 16927 13787 0 -1 4202496 34338 0 0 0 34175 48 0 0 20 0 1 0 10225012 173256704 38934 33554432000 4194304 5796924 140737226822016 140737226819304 4606768 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/16927/statm: 42299 38934 181 392 0 41898 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 169196

[startup+402.3 s]
/proc/loadavg: 2.20 2.22 2.18 3/179 17007
/proc/meminfo: memFree=30023088/32872528 swapFree=1481856/1661728
[pid=16927] ppid=16924 vsize=204432 CPUtime=402.22 cores=1,3,5,7
/proc/16927/stat : 16927 (naps-1.02) R 16924 16927 13787 0 -1 4202496 37322 0 0 0 40168 54 0 0 20 0 1 0 10225012 209338368 44280 33554432000 4194304 5796924 140737226822016 140737226819656 4606779 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/16927/statm: 51108 44280 181 392 0 50707 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 204432

[startup+462.3 s]
/proc/loadavg: 2.25 2.22 2.18 4/179 17008
/proc/meminfo: memFree=30016900/32872528 swapFree=1481856/1661728
[pid=16927] ppid=16924 vsize=204432 CPUtime=462.21 cores=1,3,5,7
/proc/16927/stat : 16927 (naps-1.02) R 16924 16927 13787 0 -1 4202496 39684 0 0 0 46161 60 0 0 20 0 1 0 10225012 209338368 43768 33554432000 4194304 5796924 140737226822016 140737226819480 4607241 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/16927/statm: 51108 43768 181 392 0 50707 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 204432

[startup+522.3 s]
/proc/loadavg: 2.24 2.22 2.18 4/179 17009
/proc/meminfo: memFree=30033204/32872528 swapFree=1481856/1661728
[pid=16927] ppid=16924 vsize=173612 CPUtime=522.2 cores=1,3,5,7
/proc/16927/stat : 16927 (naps-1.02) R 16924 16927 13787 0 -1 4202496 41465 0 0 0 52155 65 0 0 20 0 1 0 10225012 177778688 40117 33554432000 4194304 5796924 140737226822016 140737226819480 4592040 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/16927/statm: 43403 40117 181 392 0 43002 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 173612

[startup+582.3 s]
/proc/loadavg: 2.24 2.23 2.18 3/179 17011
/proc/meminfo: memFree=29923648/32872528 swapFree=1481856/1661728
[pid=16927] ppid=16924 vsize=254520 CPUtime=582.19 cores=1,3,5,7
/proc/16927/stat : 16927 (naps-1.02) R 16924 16927 13787 0 -1 4202496 43581 0 0 0 58148 71 0 0 20 0 1 0 10225012 260628480 63013 33554432000 4194304 5796924 140737226822016 140737226819656 4606789 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/16927/statm: 63630 63013 181 392 0 63229 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 254520


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


[startup+882.307 s]
/proc/loadavg: 2.17 2.20 2.18 4/178 17019
/proc/meminfo: memFree=30072816/32872528 swapFree=1481856/1661728
[pid=16927] ppid=16924 vsize=204432 CPUtime=882.15 cores=1,3,5,7
/proc/16927/stat : 16927 (naps-1.02) R 16924 16927 13787 0 -1 4202496 54733 0 0 0 88120 95 0 0 20 0 1 0 10225012 209338368 44111 33554432000 4194304 5796924 140737226822016 140737226819656 4606799 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/16927/statm: 51108 44111 181 392 0 50707 0
Current children cumulated CPU time (s) 882.15
Current children cumulated vsize (KiB) 204432

[startup+942.3 s]
/proc/loadavg: 2.16 2.19 2.18 3/179 17021
/proc/meminfo: memFree=29995528/32872528 swapFree=1481856/1661728
[pid=16927] ppid=16924 vsize=254520 CPUtime=942.13 cores=1,3,5,7
/proc/16927/stat : 16927 (naps-1.02) R 16924 16927 13787 0 -1 4202496 56971 0 0 0 94115 98 0 0 20 0 1 0 10225012 260628480 53285 33554432000 4194304 5796924 140737226822016 140737226819656 4606789 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/16927/statm: 63630 53285 181 392 0 63229 0
Current children cumulated CPU time (s) 942.13
Current children cumulated vsize (KiB) 254520

[startup+1002.3 s]
/proc/loadavg: 2.25 2.21 2.18 3/179 17022
/proc/meminfo: memFree=29937540/32872528 swapFree=1481856/1661728
[pid=16927] ppid=16924 vsize=254520 CPUtime=1002.12 cores=1,3,5,7
/proc/16927/stat : 16927 (naps-1.02) R 16924 16927 13787 0 -1 4202496 58756 0 0 0 100110 102 0 0 20 0 1 0 10225012 260628480 60517 33554432000 4194304 5796924 140737226822016 140737226819656 4606789 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/16927/statm: 63630 60517 181 392 0 63229 0
Current children cumulated CPU time (s) 1002.12
Current children cumulated vsize (KiB) 254520

[startup+1062.3 s]
/proc/loadavg: 2.21 2.20 2.18 4/179 17023
/proc/meminfo: memFree=29975420/32872528 swapFree=1481856/1661728
[pid=16927] ppid=16924 vsize=205936 CPUtime=1062.12 cores=1,3,5,7
/proc/16927/stat : 16927 (naps-1.02) R 16924 16927 13787 0 -1 4202496 61978 0 0 0 106104 108 0 0 20 0 1 0 10225012 210878464 44434 33554432000 4194304 5796924 140737226822016 140737226819480 4606768 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/16927/statm: 51484 44434 181 392 0 51083 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 205936

[startup+1122.3 s]
/proc/loadavg: 2.32 2.24 2.19 3/179 17024
/proc/meminfo: memFree=29985816/32872528 swapFree=1481856/1661728
[pid=16927] ppid=16924 vsize=256428 CPUtime=1122.11 cores=1,3,5,7
/proc/16927/stat : 16927 (naps-1.02) R 16924 16927 13787 0 -1 4202496 64330 0 0 0 112100 111 0 0 20 0 1 0 10225012 262582272 54737 33554432000 4194304 5796924 140737226822016 140737226819656 4607258 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/16927/statm: 64107 54737 181 392 0 63706 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 256428

[startup+1182.3 s]
/proc/loadavg: 2.30 2.24 2.19 3/179 17025
/proc/meminfo: memFree=29909388/32872528 swapFree=1481856/1661728
[pid=16927] ppid=16924 vsize=338908 CPUtime=1182.1 cores=1,3,5,7
/proc/16927/stat : 16927 (naps-1.02) R 16924 16927 13787 0 -1 4202496 66835 0 0 0 118095 115 0 0 20 0 1 0 10225012 347041792 64726 33554432000 4194304 5796924 140737226822016 140737226819656 4606771 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/16927/statm: 84727 64726 181 392 0 84326 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 338908

[startup+1242.3 s]
/proc/loadavg: 2.31 2.25 2.19 4/179 17027
/proc/meminfo: memFree=29867288/32872528 swapFree=1481856/1661728
[pid=16927] ppid=16924 vsize=339800 CPUtime=1242.09 cores=1,3,5,7
/proc/16927/stat : 16927 (naps-1.02) R 16924 16927 13787 0 -1 4202496 68744 0 0 0 124090 119 0 0 20 0 1 0 10225012 347955200 68962 33554432000 4194304 5796924 140737226822016 140737226819128 4606779 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/16927/statm: 84950 68962 181 392 0 84549 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 339800

[startup+1302.3 s]
/proc/loadavg: 2.23 2.24 2.18 3/179 17028
/proc/meminfo: memFree=29852496/32872528 swapFree=1481856/1661728
[pid=16927] ppid=16924 vsize=340688 CPUtime=1302.08 cores=1,3,5,7
/proc/16927/stat : 16927 (naps-1.02) R 16924 16927 13787 0 -1 4202496 70731 0 0 0 130084 124 0 0 20 0 1 0 10225012 348864512 70761 33554432000 4194304 5796924 140737226822016 140737226819128 4592010 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/16927/statm: 85172 70761 181 392 0 84771 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 340688

[startup+1362.3 s]
/proc/loadavg: 2.30 2.25 2.19 3/179 17029
/proc/meminfo: memFree=29910452/32872528 swapFree=1481856/1661728
[pid=16927] ppid=16924 vsize=211296 CPUtime=1362.07 cores=1,3,5,7
/proc/16927/stat : 16927 (naps-1.02) R 16924 16927 13787 0 -1 4202496 73512 0 0 0 136077 130 0 0 20 0 1 0 10225012 216367104 45533 33554432000 4194304 5796924 140737226822016 140737226819656 4606799 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/16927/statm: 52824 45533 181 392 0 52423 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 211296

[startup+1422.3 s]
/proc/loadavg: 2.43 2.28 2.20 4/180 17033
/proc/meminfo: memFree=30015524/32872528 swapFree=1481856/1661728
[pid=16927] ppid=16924 vsize=212008 CPUtime=1422.07 cores=1,3,5,7
/proc/16927/stat : 16927 (naps-1.02) R 16924 16927 13787 0 -1 4202496 75532 0 0 0 142073 134 0 0 20 0 1 0 10225012 217096192 49880 33554432000 4194304 5796924 140737226822016 140737226819656 4606777 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/16927/statm: 53002 49880 181 392 0 52601 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 212008

[startup+1482.3 s]
/proc/loadavg: 2.37 2.28 2.20 3/179 17034
/proc/meminfo: memFree=29999584/32872528 swapFree=1481856/1661728
[pid=16927] ppid=16924 vsize=262824 CPUtime=1482.06 cores=1,3,5,7
/proc/16927/stat : 16927 (naps-1.02) R 16924 16927 13787 0 -1 4202496 77373 0 0 0 148068 138 0 0 20 0 1 0 10225012 269131776 53068 33554432000 4194304 5796924 140737226822016 140737226819480 4606555 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/16927/statm: 65706 53068 181 392 0 65305 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 262824

[startup+1542.31 s]
/proc/loadavg: 2.18 2.24 2.18 3/179 17036
/proc/meminfo: memFree=29984868/32872528 swapFree=1481856/1661728
[pid=16927] ppid=16924 vsize=264328 CPUtime=1542.05 cores=1,3,5,7
/proc/16927/stat : 16927 (naps-1.02) R 16924 16927 13787 0 -1 4202496 79370 0 0 0 154063 142 0 0 20 0 1 0 10225012 270671872 54297 33554432000 4194304 5796924 140737226822016 140737226819656 4606802 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/16927/statm: 66082 54297 181 392 0 65681 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 264328

[startup+1602.3 s]
/proc/loadavg: 2.21 2.24 2.18 4/179 17037
/proc/meminfo: memFree=29945068/32872528 swapFree=1481856/1661728
[pid=16927] ppid=16924 vsize=266164 CPUtime=1602.04 cores=1,3,5,7
/proc/16927/stat : 16927 (naps-1.02) R 16924 16927 13787 0 -1 4202496 81595 0 0 0 160057 147 0 0 20 0 1 0 10225012 272551936 59267 33554432000 4194304 5796924 140737226822016 140737226819656 4607194 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/16927/statm: 66541 59267 181 392 0 66140 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 266164

[startup+1662.3 s]
/proc/loadavg: 2.30 2.25 2.19 3/179 17038
/proc/meminfo: memFree=29974084/32872528 swapFree=1481856/1661728
[pid=16927] ppid=16924 vsize=267476 CPUtime=1662.03 cores=1,3,5,7
/proc/16927/stat : 16927 (naps-1.02) R 16924 16927 13787 0 -1 4202496 83666 0 0 0 166051 152 0 0 20 0 1 0 10225012 273895424 55397 33554432000 4194304 5796924 140737226822016 140737226819656 4607215 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/16927/statm: 66869 55397 181 392 0 66468 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 267476

[startup+1722.3 s]
/proc/loadavg: 2.16 2.22 2.18 3/179 17039
/proc/meminfo: memFree=29960560/32872528 swapFree=1481856/1661728
[pid=16927] ppid=16924 vsize=267716 CPUtime=1722.01 cores=1,3,5,7
/proc/16927/stat : 16927 (naps-1.02) R 16924 16927 13787 0 -1 4202496 85626 0 0 0 172045 156 0 0 20 0 1 0 10225012 274141184 57496 33554432000 4194304 5796924 140737226822016 140737226819656 4606785 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/16927/statm: 66929 57496 181 392 0 66528 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 267716

[startup+1782.3 s]
/proc/loadavg: 2.18 2.22 2.18 3/179 17040
/proc/meminfo: memFree=29992264/32872528 swapFree=1481856/1661728
[pid=16927] ppid=16924 vsize=218196 CPUtime=1782 cores=1,3,5,7
/proc/16927/stat : 16927 (naps-1.02) R 16924 16927 13787 0 -1 4202496 86771 0 0 0 178039 161 0 0 20 0 1 0 10225012 223432704 52708 33554432000 4194304 5796924 140737226822016 140737226819480 4606768 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/16927/statm: 54549 52708 181 392 0 54148 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 218196



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.29 2.24 2.19 3/178 17040
/proc/meminfo: memFree=29924444/32872528 swapFree=1481856/1661728
[pid=16927] ppid=16924 vsize=268540 CPUtime=1800.09 cores=1,3,5,7
/proc/16927/stat : 16927 (naps-1.02) R 16924 16927 13787 0 -1 4202496 87695 0 0 0 179847 162 0 0 20 0 1 0 10225012 274984960 61806 33554432000 4194304 5796924 140737226822016 140737226819128 4606555 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/16927/statm: 67135 61806 181 392 0 66734 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 268540

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 16927 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.12
CPU user time (s): 1798.48
CPU system time (s): 1.63675
CPU usage (%): 99.9838
Max. virtual memory (cumulated for all children) (KiB): 429004

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.48
system time used= 1.63675
maximum resident set size= 362720
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 87705
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= 27
involuntary context switches= 1869

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.49732 second user time and 7.15691 second system time

The end

Begin job on node134 at 2016-06-16 14:56:26
IDJOB=4094796
IDBENCH=78724
IDSOLVER=2554
FILE ID=node134/4094796-1466081786
RUNJOBID= node134-1466075444-16123
PBS_JOBID= 19904005
Free space on /tmp= 71732 MiB

SOLVER NAME= NaPS 1.02
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-65-60--soft-33-100-0.wbo
COMMAND LINE= naps-1.02 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4094796-1466081786/watcher-4094796-1466081786 -o /tmp/evaluation-result-4094796-1466081786/solver-4094796-1466081786 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node134-1466075444-16123 --watchdog 1960  naps-1.02 HOME/instance-4094796-1466081786.wbo

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

MD5SUM BENCH= 62825c7b78173675be8da33e26a62860
RANDOM SEED=984289238

node134.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.020
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	: 7358.89
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.020
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		: 2667.020
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		: 2667.020
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.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.020
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:        30317792 kB
Buffers:           20900 kB
Cached:            58732 kB
SwapCached:         8924 kB
Active:           144900 kB
Inactive:          46816 kB
Active(anon):     106248 kB
Inactive(anon):     8200 kB
Active(file):      38652 kB
Inactive(file):    38616 kB
Unevictable:     1661728 kB
Mlocked:         1481856 kB
SwapTotal:      67108856 kB
SwapFree:       67092028 kB
Dirty:              3900 kB
Writeback:             0 kB
AnonPages:       1860168 kB
Mapped:             7768 kB
Shmem:                 0 kB
Slab:             565664 kB
SReclaimable:       9824 kB
SUnreclaim:       555840 kB
KernelStack:        1488 kB
PageTables:         7556 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1883428 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987908 kB
HardwareCorrupted:     0 kB
AnonHugePages:    364544 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= 71728 MiB
End job on node134 at 2016-06-16 15:26:26