0.00/0.00	c NaPS 1.02b.
1800.00/1800.30	o 1361
1800.00/1800.30	o 122
1800.00/1800.30	o 42
1800.00/1800.30	o 13
1800.00/1800.30	o 4
1800.00/1800.30	c 
1800.00/1800.30	c *** TERMINATED *** by signal 15
1800.00/1800.30	s SATISFIABLE
1800.00/1800.30	c _____________________________________________________________________________
1800.00/1800.30	c 
1800.00/1800.30	c std/band forms        : 64,0
1800.00/1800.30	c 2cl/3cl ITE-codings   : 3780,0
1800.00/1800.30	c BDD/srt/adr Max costs : 127,3183,0
1800.00/1800.30	c BDDraw/bin/mul/srt/adr: 60,0,0,4,0
1800.00/1800.30	c BDD nodes             : 7680
1800.00/1800.30	c Es1/CC detections     : 0,0
1800.00/1800.30	c SAT/UNSAT calls       : 5,0
1800.00/1800.30	c restarts              : 34
1800.00/1800.30	c conflicts             : 267200         (149 /sec)
1800.00/1800.30	c decisions             : 368722         (205 /sec)
1800.00/1800.30	c propagations          : 19001538       (10570 /sec)
1800.00/1800.30	c inspects              : 0              (0 /sec)
1800.00/1800.30	c CPU time (solving tm) : 1798 s        (19.63 s)
1800.00/1800.30	c Time for Opt-base     : 0.004 s
1800.00/1800.30	c _____________________________________________________________________________
1800.00/1800.30	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987
1800.00/1800.30	v -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	4

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-4094797-1466083451/watcher-4094797-1466083451 -o /tmp/evaluation-result-4094797-1466083451/solver-4094797-1466083451 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node102-1466075267-10089 --watchdog 1960 naps-1.02 HOME/instance-4094797-1466083451.wbo 

pid=11232
running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 2.12 2.04 2.01 3/176 11235
/proc/meminfo: memFree=31869640/32872528 swapFree=188940/188940
[pid=11235] ppid=11232 vsize=6688 CPUtime=0 cores=0,2,4,6
/proc/11235/stat : 11235 (naps-1.02) R 11232 11235 8211 0 -1 4202496 370 0 0 0 0 0 0 0 20 0 1 0 10395641 6848512 245 33554432000 4194304 5796924 140736560753088 140734031468536 5082416 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/11235/statm: 1672 245 130 392 0 1271 0

[startup+0.100171 s]
/proc/loadavg: 2.12 2.04 2.01 3/176 11235
/proc/meminfo: memFree=31869640/32872528 swapFree=188940/188940
[pid=11235] ppid=11232 vsize=8612 CPUtime=0.09 cores=0,2,4,6
/proc/11235/stat : 11235 (naps-1.02) R 11232 11235 8211 0 -1 4202496 915 0 0 0 9 0 0 0 20 0 1 0 10395641 8818688 735 33554432000 4194304 5796924 140736560753088 140734031468536 4430264 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/11235/statm: 2153 735 142 392 0 1752 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 8612

[startup+0.200293 s]
/proc/loadavg: 2.12 2.04 2.01 3/176 11235
/proc/meminfo: memFree=31869640/32872528 swapFree=188940/188940
[pid=11235] ppid=11232 vsize=11136 CPUtime=0.19 cores=0,2,4,6
/proc/11235/stat : 11235 (naps-1.02) R 11232 11235 8211 0 -1 4202496 2941 0 0 0 19 0 0 0 20 0 1 0 10395641 11403264 2298 33554432000 4194304 5796924 140736560753088 140734031468536 4611179 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/11235/statm: 2784 2298 171 392 0 2383 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 11136

[startup+0.300315 s]
/proc/loadavg: 2.12 2.04 2.01 3/176 11235
/proc/meminfo: memFree=31869640/32872528 swapFree=188940/188940
[pid=11235] ppid=11232 vsize=13824 CPUtime=0.29 cores=0,2,4,6
/proc/11235/stat : 11235 (naps-1.02) R 11232 11235 8211 0 -1 4202496 3308 0 0 0 29 0 0 0 20 0 1 0 10395641 14155776 2663 33554432000 4194304 5796924 140736560753088 140736560750328 4611179 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/11235/statm: 3456 2663 171 392 0 3055 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13824

[startup+0.700237 s]
/proc/loadavg: 2.12 2.04 2.01 3/176 11235
/proc/meminfo: memFree=31869640/32872528 swapFree=188940/188940
[pid=11235] ppid=11232 vsize=25320 CPUtime=0.68 cores=0,2,4,6
/proc/11235/stat : 11235 (naps-1.02) R 11232 11235 8211 0 -1 4202496 4045 0 0 0 68 0 0 0 20 0 1 0 10395641 25927680 5441 33554432000 4194304 5796924 140736560753088 140736560750328 4606789 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/11235/statm: 6330 5441 171 392 0 5929 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 25320

[startup+1.50027 s]
/proc/loadavg: 2.12 2.04 2.01 3/177 11236
/proc/meminfo: memFree=31850896/32872528 swapFree=188940/188940
[pid=11235] ppid=11232 vsize=32520 CPUtime=1.49 cores=0,2,4,6
/proc/11235/stat : 11235 (naps-1.02) R 11232 11235 8211 0 -1 4202496 4332 0 0 0 148 1 0 0 20 0 1 0 10395641 33300480 6422 33554432000 4194304 5796924 140736560753088 140736560750328 4606771 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/11235/statm: 8130 6422 171 392 0 7729 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 32520

[startup+3.10029 s]
/proc/loadavg: 2.12 2.04 2.01 3/177 11236
/proc/meminfo: memFree=31839044/32872528 swapFree=188940/188940
[pid=11235] ppid=11232 vsize=32520 CPUtime=3.09 cores=0,2,4,6
/proc/11235/stat : 11235 (naps-1.02) R 11232 11235 8211 0 -1 4202496 4859 0 0 0 308 1 0 0 20 0 1 0 10395641 33300480 7764 33554432000 4194304 5796924 140736560753088 140736560750376 4591930 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/11235/statm: 8130 7764 171 392 0 7729 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 32520

[startup+6.30029 s]
/proc/loadavg: 2.11 2.04 2.01 3/177 11236
/proc/meminfo: memFree=31825360/32872528 swapFree=188940/188940
[pid=11235] ppid=11232 vsize=62980 CPUtime=6.29 cores=0,2,4,6
/proc/11235/stat : 11235 (naps-1.02) R 11232 11235 8211 0 -1 4202496 5404 0 0 0 627 2 0 0 20 0 1 0 10395641 64491520 11029 33554432000 4194304 5796924 140736560753088 140736560750552 4606789 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/11235/statm: 15745 11029 171 392 0 15344 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 62980

[startup+12.7003 s]
/proc/loadavg: 2.10 2.04 2.01 3/177 11236
/proc/meminfo: memFree=31785120/32872528 swapFree=188940/188940
[pid=11235] ppid=11232 vsize=112300 CPUtime=12.69 cores=0,2,4,6
/proc/11235/stat : 11235 (naps-1.02) R 11232 11235 8211 0 -1 4202496 6106 0 0 0 1266 3 0 0 20 0 1 0 10395641 114995200 22112 33554432000 4194304 5796924 140736560753088 140736560750376 4606789 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/11235/statm: 28075 22112 171 392 0 27674 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 112300

[startup+25.5004 s]
/proc/loadavg: 2.08 2.04 2.01 3/177 11236
/proc/meminfo: memFree=31807972/32872528 swapFree=188940/188940
[pid=11235] ppid=11232 vsize=88216 CPUtime=25.48 cores=0,2,4,6
/proc/11235/stat : 11235 (naps-1.02) R 11232 11235 8211 0 -1 4202496 7352 0 0 0 2543 5 0 0 20 0 1 0 10395641 90333184 15212 33554432000 4194304 5796924 140736560753088 140736560750328 4606768 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/11235/statm: 22054 15212 183 392 0 21653 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 88216

[startup+51.1004 s]
/proc/loadavg: 2.05 2.03 2.00 3/177 11236
/proc/meminfo: memFree=31782748/32872528 swapFree=188940/188940
[pid=11235] ppid=11232 vsize=88216 CPUtime=51.08 cores=0,2,4,6
/proc/11235/stat : 11235 (naps-1.02) R 11232 11235 8211 0 -1 4202496 7696 0 0 0 5102 6 0 0 20 0 1 0 10395641 90333184 20161 33554432000 4194304 5796924 140736560753088 140736560750328 4607192 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/11235/statm: 22054 20161 183 392 0 21653 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 88216

[startup+102.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/177 11238
/proc/meminfo: memFree=31765916/32872528 swapFree=188940/188940
[pid=11235] ppid=11232 vsize=113820 CPUtime=102.27 cores=0,2,4,6
/proc/11235/stat : 11235 (naps-1.02) R 11232 11235 8211 0 -1 4202496 10251 0 0 0 10215 12 0 0 20 0 1 0 10395641 116551680 23424 33554432000 4194304 5796924 140736560753088 140736560750552 4606433 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/11235/statm: 28455 23424 183 392 0 28054 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 113820

[startup+162.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/177 11239
/proc/meminfo: memFree=31722928/32872528 swapFree=188940/188940
[pid=11235] ppid=11232 vsize=163140 CPUtime=162.26 cores=0,2,4,6
/proc/11235/stat : 11235 (naps-1.02) R 11232 11235 8211 0 -1 4202496 12445 0 0 0 16206 20 0 0 20 0 1 0 10395641 167055360 33804 33554432000 4194304 5796924 140736560753088 140736560750376 4606789 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/11235/statm: 40785 33804 183 392 0 40384 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 163140

[startup+222.307 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 11240
/proc/meminfo: memFree=31752876/32872528 swapFree=188940/188940
[pid=11235] ppid=11232 vsize=113820 CPUtime=222.25 cores=0,2,4,6
/proc/11235/stat : 11235 (naps-1.02) R 11232 11235 8211 0 -1 4202496 15217 0 0 0 22198 27 0 0 20 0 1 0 10395641 116551680 23424 33554432000 4194304 5796924 140736560753088 140736560750552 4606555 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/11235/statm: 28455 23424 183 392 0 28054 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 113820

[startup+282.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 11241
/proc/meminfo: memFree=31715620/32872528 swapFree=188940/188940
[pid=11235] ppid=11232 vsize=163140 CPUtime=282.24 cores=0,2,4,6
/proc/11235/stat : 11235 (naps-1.02) R 11232 11235 8211 0 -1 4202496 20599 0 0 0 28186 38 0 0 20 0 1 0 10395641 167055360 33292 33554432000 4194304 5796924 140736560753088 140736560750376 4606779 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/11235/statm: 40785 33292 183 392 0 40384 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 163140

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 11242
/proc/meminfo: memFree=31707408/32872528 swapFree=188940/188940
[pid=11235] ppid=11232 vsize=163140 CPUtime=342.23 cores=0,2,4,6
/proc/11235/stat : 11235 (naps-1.02) R 11232 11235 8211 0 -1 4202496 25085 0 0 0 34175 48 0 0 20 0 1 0 10395641 167055360 35340 33554432000 4194304 5796924 140736560753088 140736560750376 4591992 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/11235/statm: 40785 35340 183 392 0 40384 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 163140

[startup+402.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/178 11247
/proc/meminfo: memFree=31657376/32872528 swapFree=188940/188940
[pid=11235] ppid=11232 vsize=126260 CPUtime=402.22 cores=0,2,4,6
/proc/11235/stat : 11235 (naps-1.02) R 11232 11235 8211 0 -1 4202496 30026 0 0 0 40165 57 0 0 20 0 1 0 10395641 129290240 31171 33554432000 4194304 5796924 140736560753088 140736560750552 4606789 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/11235/statm: 31565 31171 183 392 0 31164 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 126260

[startup+462.3 s]
/proc/loadavg: 2.10 2.03 2.00 3/177 11248
/proc/meminfo: memFree=31656844/32872528 swapFree=188940/188940
[pid=11235] ppid=11232 vsize=126260 CPUtime=462.22 cores=0,2,4,6
/proc/11235/stat : 11235 (naps-1.02) R 11232 11235 8211 0 -1 4202496 33784 0 0 0 46156 66 0 0 20 0 1 0 10395641 129290240 31171 33554432000 4194304 5796924 140736560753088 140736560750552 4606789 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/11235/statm: 31565 31171 183 392 0 31164 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 126260

[startup+522.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/177 11249
/proc/meminfo: memFree=31673236/32872528 swapFree=188940/188940
[pid=11235] ppid=11232 vsize=175580 CPUtime=522.21 cores=0,2,4,6
/proc/11235/stat : 11235 (naps-1.02) R 11232 11235 8211 0 -1 4202496 37060 0 0 0 52148 73 0 0 20 0 1 0 10395641 179793920 43194 33554432000 4194304 5796924 140736560753088 140736560750376 4606555 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/11235/statm: 43895 43194 183 392 0 43494 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 175580

[startup+582.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 11250
/proc/meminfo: memFree=31651204/32872528 swapFree=188940/188940
[pid=11235] ppid=11232 vsize=206400 CPUtime=582.2 cores=0,2,4,6
/proc/11235/stat : 11235 (naps-1.02) R 11232 11235 8211 0 -1 4202496 40556 0 0 0 58140 80 0 0 20 0 1 0 10395641 211353600 46738 33554432000 4194304 5796924 140736560753088 140736560750728 4606768 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/11235/statm: 51600 46738 183 392 0 51199 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 206400


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


[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11257
/proc/meminfo: memFree=31621612/32872528 swapFree=188940/188940
[pid=11235] ppid=11232 vsize=210644 CPUtime=942.14 cores=0,2,4,6
/proc/11235/stat : 11235 (naps-1.02) R 11232 11235 8211 0 -1 4202496 67162 0 0 0 94087 127 0 0 20 0 1 0 10395641 215699456 48311 33554432000 4194304 5796924 140736560753088 140736560750728 4606802 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/11235/statm: 52661 48311 183 392 0 52260 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 210644

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 11262
/proc/meminfo: memFree=31607140/32872528 swapFree=188940/188940
[pid=11235] ppid=11232 vsize=213200 CPUtime=1002.13 cores=0,2,4,6
/proc/11235/stat : 11235 (naps-1.02) R 11232 11235 8211 0 -1 4202496 72005 0 0 0 100078 135 0 0 20 0 1 0 10395641 218316800 50998 33554432000 4194304 5796924 140736560753088 140736560750728 4606555 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/11235/statm: 53300 50998 183 392 0 52899 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 213200

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/177 11263
/proc/meminfo: memFree=31618040/32872528 swapFree=188940/188940
[pid=11235] ppid=11232 vsize=214656 CPUtime=1062.13 cores=0,2,4,6
/proc/11235/stat : 11235 (naps-1.02) R 11232 11235 8211 0 -1 4202496 77098 0 0 0 106069 144 0 0 20 0 1 0 10395641 219807744 48802 33554432000 4194304 5796924 140736560753088 140736560750728 4607258 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/11235/statm: 53664 48802 183 392 0 53263 0
Current children cumulated CPU time (s) 1062.13
Current children cumulated vsize (KiB) 214656

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11264
/proc/meminfo: memFree=31636308/32872528 swapFree=188940/188940
[pid=11235] ppid=11232 vsize=186252 CPUtime=1122.12 cores=0,2,4,6
/proc/11235/stat : 11235 (naps-1.02) R 11232 11235 8211 0 -1 4202496 81841 0 0 0 112061 151 0 0 20 0 1 0 10395641 190722048 43707 33554432000 4194304 5796924 140736560753088 140736560750376 4606768 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/11235/statm: 46563 43707 183 392 0 46162 0
Current children cumulated CPU time (s) 1122.12
Current children cumulated vsize (KiB) 186252

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11265
/proc/meminfo: memFree=31597136/32872528 swapFree=188940/188940
[pid=11235] ppid=11232 vsize=218592 CPUtime=1182.11 cores=0,2,4,6
/proc/11235/stat : 11235 (naps-1.02) R 11232 11235 8211 0 -1 4202496 85976 0 0 0 118054 157 0 0 20 0 1 0 10395641 223838208 53882 33554432000 4194304 5796924 140736560753088 140736560750728 4606555 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/11235/statm: 54648 53882 183 392 0 54247 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 218592

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11266
/proc/meminfo: memFree=31624100/32872528 swapFree=188940/188940
[pid=11235] ppid=11232 vsize=189848 CPUtime=1242.09 cores=0,2,4,6
/proc/11235/stat : 11235 (naps-1.02) R 11232 11235 8211 0 -1 4202496 90638 0 0 0 124045 164 0 0 20 0 1 0 10395641 194404352 46654 33554432000 4194304 5796924 140736560753088 140736560750376 4583151 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/11235/statm: 47462 46654 183 392 0 47061 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 189848

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11268
/proc/meminfo: memFree=31593972/32872528 swapFree=188940/188940
[pid=11235] ppid=11232 vsize=221792 CPUtime=1302.09 cores=0,2,4,6
/proc/11235/stat : 11235 (naps-1.02) R 11232 11235 8211 0 -1 4202496 94675 0 0 0 130037 172 0 0 20 0 1 0 10395641 227115008 54682 33554432000 4194304 5796924 140736560753088 140736560750728 4606779 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/11235/statm: 55448 54682 183 392 0 55047 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 221792

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11269
/proc/meminfo: memFree=31668692/32872528 swapFree=188940/188940
[pid=11235] ppid=11232 vsize=192976 CPUtime=1362.07 cores=0,2,4,6
/proc/11235/stat : 11235 (naps-1.02) R 11232 11235 8211 0 -1 4202496 99321 0 0 0 136028 179 0 0 20 0 1 0 10395641 197607424 43340 33554432000 4194304 5796924 140736560753088 140736560750376 4606744 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/11235/statm: 48244 43340 183 392 0 47843 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 192976

[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11270
/proc/meminfo: memFree=31612760/32872528 swapFree=188940/188940
[pid=11235] ppid=11232 vsize=225284 CPUtime=1422.07 cores=0,2,4,6
/proc/11235/stat : 11235 (naps-1.02) R 11232 11235 8211 0 -1 4202496 103446 0 0 0 142022 185 0 0 20 0 1 0 10395641 230690816 49923 33554432000 4194304 5796924 140736560753088 140736560750728 4606744 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/11235/statm: 56321 49923 183 392 0 55920 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 225284

[startup+1482.3 s]
/proc/loadavg: 2.11 2.03 2.01 4/177 11271
/proc/meminfo: memFree=31606092/32872528 swapFree=188940/188940
[pid=11235] ppid=11232 vsize=226928 CPUtime=1482.06 cores=0,2,4,6
/proc/11235/stat : 11235 (naps-1.02) R 11232 11235 8211 0 -1 4202496 107035 0 0 0 148014 192 0 0 20 0 1 0 10395641 232374272 54430 33554432000 4194304 5796924 140736560753088 140736560750728 4606480 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/11235/statm: 56732 54430 183 392 0 56331 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 226928

[startup+1542.31 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 11272
/proc/meminfo: memFree=31585224/32872528 swapFree=188940/188940
[pid=11235] ppid=11232 vsize=278272 CPUtime=1542.05 cores=0,2,4,6
/proc/11235/stat : 11235 (naps-1.02) R 11232 11235 8211 0 -1 4202496 111341 0 0 0 154009 196 0 0 20 0 1 0 10395641 284950528 57605 33554432000 4194304 5796924 140736560753088 140736560750728 4606768 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/11235/statm: 69568 57605 183 392 0 69167 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 278272

[startup+1602.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/178 11277
/proc/meminfo: memFree=31569296/32872528 swapFree=188940/188940
[pid=11235] ppid=11232 vsize=279784 CPUtime=1602.04 cores=0,2,4,6
/proc/11235/stat : 11235 (naps-1.02) R 11232 11235 8211 0 -1 4202496 114896 0 0 0 160001 203 0 0 20 0 1 0 10395641 286498816 62079 33554432000 4194304 5796924 140736560753088 140736560750728 4569694 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/11235/statm: 69946 62079 183 392 0 69545 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 279784

[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 11278
/proc/meminfo: memFree=31623752/32872528 swapFree=188940/188940
[pid=11235] ppid=11232 vsize=201312 CPUtime=1662.02 cores=0,2,4,6
/proc/11235/stat : 11235 (naps-1.02) R 11232 11235 8211 0 -1 4202496 118839 0 0 0 165992 210 0 0 20 0 1 0 10395641 206143488 45936 33554432000 4194304 5796924 140736560753088 140736560750376 4592560 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/11235/statm: 50328 45936 183 392 0 49927 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 201312

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11279
/proc/meminfo: memFree=31622992/32872528 swapFree=188940/188940
[pid=11235] ppid=11232 vsize=202136 CPUtime=1722.02 cores=0,2,4,6
/proc/11235/stat : 11235 (naps-1.02) R 11232 11235 8211 0 -1 4202496 122216 0 0 0 171985 217 0 0 20 0 1 0 10395641 206987264 46654 33554432000 4194304 5796924 140736560753088 140736560750376 4592040 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/11235/statm: 50534 46654 183 392 0 50133 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 202136

[startup+1782.3 s]
/proc/loadavg: 1.93 1.98 1.99 3/177 11326
/proc/meminfo: memFree=31652308/32872528 swapFree=188940/188940
[pid=11235] ppid=11232 vsize=202932 CPUtime=1782.01 cores=0,2,4,6
/proc/11235/stat : 11235 (naps-1.02) R 11232 11235 8211 0 -1 4202496 125587 0 0 0 177978 223 0 0 20 0 1 0 10395641 207802368 47365 33554432000 4194304 5796924 140736560753088 140736560750376 4606771 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/11235/statm: 50733 47365 183 392 0 50332 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 202932



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 1.95 1.98 1.99 3/177 11326
/proc/meminfo: memFree=31592396/32872528 swapFree=188940/188940
[pid=11235] ppid=11232 vsize=283840 CPUtime=1800 cores=0,2,4,6
/proc/11235/stat : 11235 (naps-1.02) R 11232 11235 8211 0 -1 4202496 127003 0 0 0 179776 224 0 0 20 0 1 0 10395641 290652160 58997 33554432000 4194304 5796924 140736560753088 140736560750728 4606799 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/11235/statm: 70960 58997 183 392 0 70559 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 283840

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

[startup+1800.3 s]
/proc/loadavg: 1.95 1.98 1.99 3/177 11326
/proc/meminfo: memFree=31592396/32872528 swapFree=188940/188940
[pid=11235] ppid=11232 vsize=283840 CPUtime=1800 cores=0,2,4,6
/proc/11235/stat : 11235 (naps-1.02) R 11232 11235 8211 0 -1 4202496 127003 0 0 0 179776 224 0 0 20 0 1 0 10395641 290652160 58997 33554432000 4194304 5796924 140736560753088 140736560750728 4606799 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/11235/statm: 70960 58997 183 392 0 70559 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 283840

Child status: 10
Real time (s): 1800.31
CPU time (s): 1800.02
CPU user time (s): 1797.77
CPU system time (s): 2.25366
CPU usage (%): 99.984
Max. virtual memory (cumulated for all children) (KiB): 283840

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.77
system time used= 2.25366
maximum resident set size= 263868
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 127013
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= 23
involuntary context switches= 1853

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.85026 second user time and 6.61599 second system time

The end

Begin job on node102 at 2016-06-16 15:24:11
IDJOB=4094797
IDBENCH=78729
IDSOLVER=2554
FILE ID=node102/4094797-1466083451
RUNJOBID= node102-1466075267-10089
PBS_JOBID= 19904030
Free space on /tmp= 71736 MiB

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

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

MD5SUM BENCH= 7e0724db75f314e84b0472c27c0a5114
RANDOM SEED=1406112987

node102.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.746
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.49
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.746
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        31870160 kB
Buffers:           20588 kB
Cached:            70068 kB
SwapCached:         1416 kB
Active:            64456 kB
Inactive:          54048 kB
Active(anon):      28748 kB
Inactive(anon):     1076 kB
Active(file):      35708 kB
Inactive(file):    52972 kB
Unevictable:      188940 kB
Mlocked:          188940 kB
SwapTotal:      67108856 kB
SwapFree:       67099220 kB
Dirty:              8140 kB
Writeback:             0 kB
AnonPages:        346672 kB
Mapped:             7768 kB
Shmem:                 0 kB
Slab:             564916 kB
SReclaimable:       9268 kB
SUnreclaim:       555648 kB
KernelStack:        1472 kB
PageTables:         4704 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     331784 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    141312 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= 71732 MiB
End job on node102 at 2016-06-16 15:54:12