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

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

pid=12402
running on 8 cores: 4-7,12-15

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: 1.92 1.99 1.99 3/258 12405
/proc/meminfo: memFree=31994264/32872528 swapFree=7036/7036
[pid=12405] ppid=12402 vsize=6840 CPUtime=0 cores=4-7,12-15
/proc/12405/stat : 12405 (naps-1.02) R 12402 12405 9725 0 -1 4202496 416 0 0 0 0 0 0 0 20 0 1 0 10220557 7004160 290 33554432000 4194304 5796924 140733313126064 140736886712856 4659057 0 0 4096 17954 0 0 0 17 12 0 0 0 0 0
/proc/12405/statm: 1710 290 130 392 0 1309 0

[startup+0.100166 s]
/proc/loadavg: 1.92 1.99 1.99 3/258 12405
/proc/meminfo: memFree=31994264/32872528 swapFree=7036/7036
[pid=12405] ppid=12402 vsize=9168 CPUtime=0.09 cores=4-7,12-15
/proc/12405/stat : 12405 (naps-1.02) R 12402 12405 9725 0 -1 4202496 1075 0 0 0 9 0 0 0 20 0 1 0 10220557 9388032 886 33554432000 4194304 5796924 140733313126064 140733313032840 4623737 0 0 4096 17954 0 0 0 17 12 0 0 0 0 0
/proc/12405/statm: 2292 886 143 392 0 1891 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9168

[startup+0.200303 s]
/proc/loadavg: 1.92 1.99 1.99 3/258 12405
/proc/meminfo: memFree=31994264/32872528 swapFree=7036/7036
[pid=12405] ppid=12402 vsize=11576 CPUtime=0.19 cores=4-7,12-15
/proc/12405/stat : 12405 (naps-1.02) R 12402 12405 9725 0 -1 4202496 2632 0 0 0 19 0 0 0 20 0 1 0 10220557 11853824 2156 33554432000 4194304 5796924 140733313126064 140733313032840 4611179 0 0 4096 17954 0 0 0 17 12 0 0 0 0 0
/proc/12405/statm: 2894 2156 171 392 0 2493 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 11576

[startup+0.300345 s]
/proc/loadavg: 1.92 1.99 1.99 3/258 12405
/proc/meminfo: memFree=31994264/32872528 swapFree=7036/7036
[pid=12405] ppid=12402 vsize=15944 CPUtime=0.29 cores=4-7,12-15
/proc/12405/stat : 12405 (naps-1.02) R 12402 12405 9725 0 -1 4202496 3006 0 0 0 29 0 0 0 20 0 1 0 10220557 16326656 3041 33554432000 4194304 5796924 140733313126064 140733313032840 4611179 0 0 4096 17954 0 0 0 17 12 0 0 0 0 0
/proc/12405/statm: 3986 3041 171 392 0 3585 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 15944

[startup+0.700225 s]
/proc/loadavg: 1.92 1.99 1.99 3/258 12405
/proc/meminfo: memFree=31994264/32872528 swapFree=7036/7036
[pid=12405] ppid=12402 vsize=27440 CPUtime=0.68 cores=4-7,12-15
/proc/12405/stat : 12405 (naps-1.02) R 12402 12405 9725 0 -1 4202496 4114 0 0 0 68 0 0 0 20 0 1 0 10220557 28098560 5171 33554432000 4194304 5796924 140733313126064 140733313032840 4611179 0 0 4096 17954 0 0 0 17 12 0 0 0 0 0
/proc/12405/statm: 6860 5171 171 392 0 6459 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 27440

[startup+1.50026 s]
/proc/loadavg: 1.92 1.99 1.99 3/259 12406
/proc/meminfo: memFree=31975748/32872528 swapFree=7036/7036
[pid=12405] ppid=12402 vsize=24780 CPUtime=1.49 cores=4-7,12-15
/proc/12405/stat : 12405 (naps-1.02) R 12402 12405 9725 0 -1 4202496 5619 0 0 0 148 1 0 0 20 0 1 0 10220557 25374720 5518 33554432000 4194304 5796924 140733313126064 140733313123304 4611179 0 0 4096 17954 0 0 0 17 12 0 0 0 0 0
/proc/12405/statm: 6195 5518 171 392 0 5794 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 24780

[startup+3.10027 s]
/proc/loadavg: 1.92 1.99 1.99 3/259 12406
/proc/meminfo: memFree=31954124/32872528 swapFree=7036/7036
[pid=12405] ppid=12402 vsize=43528 CPUtime=3.09 cores=4-7,12-15
/proc/12405/stat : 12405 (naps-1.02) R 12402 12405 9725 0 -1 4202496 6475 0 0 0 308 1 0 0 20 0 1 0 10220557 44572672 7476 33554432000 4194304 5796924 140733313126064 140733313123304 4606779 0 0 4096 17954 0 0 0 17 12 0 0 0 0 0
/proc/12405/statm: 10882 7476 171 392 0 10481 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 43528

[startup+6.30031 s]
/proc/loadavg: 1.93 1.99 1.99 3/259 12406
/proc/meminfo: memFree=31962848/32872528 swapFree=7036/7036
[pid=12405] ppid=12402 vsize=62384 CPUtime=6.29 cores=4-7,12-15
/proc/12405/stat : 12405 (naps-1.02) R 12402 12405 9725 0 -1 4202496 6583 0 0 0 627 2 0 0 20 0 1 0 10220557 63881216 9526 33554432000 4194304 5796924 140733313126064 140733313123304 4606789 0 0 4096 17954 0 0 0 17 12 0 0 0 0 0
/proc/12405/statm: 15596 9526 171 392 0 15195 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 62384

[startup+12.7003 s]
/proc/loadavg: 1.93 1.99 1.99 3/259 12406
/proc/meminfo: memFree=31943432/32872528 swapFree=7036/7036
[pid=12405] ppid=12402 vsize=62384 CPUtime=12.69 cores=4-7,12-15
/proc/12405/stat : 12405 (naps-1.02) R 12402 12405 9725 0 -1 4202496 7549 0 0 0 1266 3 0 0 20 0 1 0 10220557 63881216 10518 33554432000 4194304 5796924 140733313126064 140733313123528 4592160 0 0 4096 17954 0 0 0 17 12 0 0 0 0 0
/proc/12405/statm: 15596 10518 171 392 0 15195 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 62384

[startup+25.5004 s]
/proc/loadavg: 1.95 1.99 1.99 3/259 12406
/proc/meminfo: memFree=31920972/32872528 swapFree=7036/7036
[pid=12405] ppid=12402 vsize=62764 CPUtime=25.49 cores=4-7,12-15
/proc/12405/stat : 12405 (naps-1.02) R 12402 12405 9725 0 -1 4202496 8659 0 0 0 2544 5 0 0 20 0 1 0 10220557 64270336 15348 33554432000 4194304 5796924 140733313126064 140733313123128 4592023 0 0 4096 17954 0 0 0 17 12 0 0 0 0 0
/proc/12405/statm: 15691 15348 181 392 0 15290 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 62764

[startup+51.1003 s]
/proc/loadavg: 1.96 1.99 1.99 3/259 12407
/proc/meminfo: memFree=31913524/32872528 swapFree=7036/7036
[pid=12405] ppid=12402 vsize=74728 CPUtime=51.08 cores=4-7,12-15
/proc/12405/stat : 12405 (naps-1.02) R 12402 12405 9725 0 -1 4202496 9009 0 0 0 5103 5 0 0 20 0 1 0 10220557 76521472 17229 33554432000 4194304 5796924 140733313126064 140733313123304 4606768 0 0 4096 17954 0 0 0 17 12 0 0 0 0 0
/proc/12405/statm: 18682 17229 181 392 0 18281 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 74728

[startup+102.3 s]
/proc/loadavg: 1.98 1.99 1.99 3/259 12408
/proc/meminfo: memFree=31896336/32872528 swapFree=7036/7036
[pid=12405] ppid=12402 vsize=86220 CPUtime=102.27 cores=4-7,12-15
/proc/12405/stat : 12405 (naps-1.02) R 12402 12405 9725 0 -1 4202496 10433 0 0 0 10221 6 0 0 20 0 1 0 10220557 88289280 21246 33554432000 4194304 5796924 140733313126064 140733313123528 4606789 0 0 4096 17954 0 0 0 17 12 0 0 0 0 0
/proc/12405/statm: 21555 21246 181 392 0 21154 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 86220

[startup+162.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/259 12409
/proc/meminfo: memFree=31860144/32872528 swapFree=7036/7036
[pid=12405] ppid=12402 vsize=86220 CPUtime=162.26 cores=4-7,12-15
/proc/12405/stat : 12405 (naps-1.02) R 12402 12405 9725 0 -1 4202496 13537 0 0 0 16212 14 0 0 20 0 1 0 10220557 88289280 21246 33554432000 4194304 5796924 140733313126064 140733313123528 4606789 0 0 4096 17954 0 0 0 17 12 0 0 0 0 0
/proc/12405/statm: 21555 21246 181 392 0 21154 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 86220

[startup+222.311 s]
/proc/loadavg: 2.03 2.00 2.00 3/259 12410
/proc/meminfo: memFree=31896548/32872528 swapFree=7036/7036
[pid=12405] ppid=12402 vsize=86220 CPUtime=222.26 cores=4-7,12-15
/proc/12405/stat : 12405 (naps-1.02) R 12402 12405 9725 0 -1 4202496 16437 0 0 0 22204 22 0 0 20 0 1 0 10220557 88289280 21246 33554432000 4194304 5796924 140733313126064 140733313123528 4606718 0 0 4096 17954 0 0 0 17 12 0 0 0 0 0
/proc/12405/statm: 21555 21246 181 392 0 21154 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 86220

[startup+282.3 s]
/proc/loadavg: 2.08 2.02 2.00 3/260 12414
/proc/meminfo: memFree=31858624/32872528 swapFree=7036/7036
[pid=12405] ppid=12402 vsize=135540 CPUtime=282.24 cores=4-7,12-15
/proc/12405/stat : 12405 (naps-1.02) R 12402 12405 9725 0 -1 4202496 18876 0 0 0 28194 30 0 0 20 0 1 0 10220557 138792960 30684 33554432000 4194304 5796924 140733313126064 140733313123352 4593959 0 0 4096 17954 0 0 0 17 12 0 0 0 0 0
/proc/12405/statm: 33885 30684 181 392 0 33484 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 135540

[startup+342.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/260 12438
/proc/meminfo: memFree=31826540/32872528 swapFree=7036/7036
[pid=12405] ppid=12402 vsize=135540 CPUtime=342.23 cores=4-7,12-15
/proc/12405/stat : 12405 (naps-1.02) R 12402 12405 9725 0 -1 4202496 22660 0 0 0 34186 37 0 0 20 0 1 0 10220557 138792960 29660 33554432000 4194304 5796924 140733313126064 140733313123352 4592031 0 0 4096 17954 0 0 0 17 12 0 0 0 0 0
/proc/12405/statm: 33885 29660 181 392 0 33484 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 135540

[startup+402.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/259 12440
/proc/meminfo: memFree=31822828/32872528 swapFree=7036/7036
[pid=12405] ppid=12402 vsize=135540 CPUtime=402.22 cores=4-7,12-15
/proc/12405/stat : 12405 (naps-1.02) R 12402 12405 9725 0 -1 4202496 29277 0 0 0 40172 50 0 0 20 0 1 0 10220557 138792960 30684 33554432000 4194304 5796924 140733313126064 140733313123352 4607258 0 0 4096 17954 0 0 0 17 12 0 0 0 0 0
/proc/12405/statm: 33885 30684 181 392 0 33484 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 135540

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/259 12441
/proc/meminfo: memFree=31891764/32872528 swapFree=7036/7036
[pid=12405] ppid=12402 vsize=86220 CPUtime=462.21 cores=4-7,12-15
/proc/12405/stat : 12405 (naps-1.02) R 12402 12405 9725 0 -1 4202496 35663 0 0 0 46158 63 0 0 20 0 1 0 10220557 88289280 21246 33554432000 4194304 5796924 140733313126064 140733313123528 4568928 0 0 4096 17954 0 0 0 17 12 0 0 0 0 0
/proc/12405/statm: 21555 21246 181 392 0 21154 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 86220

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/259 12442
/proc/meminfo: memFree=31798084/32872528 swapFree=7036/7036
[pid=12405] ppid=12402 vsize=166360 CPUtime=522.2 cores=4-7,12-15
/proc/12405/stat : 12405 (naps-1.02) R 12402 12405 9725 0 -1 4202496 42305 0 0 0 52144 76 0 0 20 0 1 0 10220557 170352640 34335 33554432000 4194304 5796924 140733313126064 140733313123704 4606779 0 0 4096 17954 0 0 0 17 12 0 0 0 0 0
/proc/12405/statm: 41590 34335 181 392 0 41189 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 166360

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/259 12443
/proc/meminfo: memFree=31823132/32872528 swapFree=7036/7036
[pid=12405] ppid=12402 vsize=135540 CPUtime=582.19 cores=4-7,12-15
/proc/12405/stat : 12405 (naps-1.02) R 12402 12405 9725 0 -1 4202496 47537 0 0 0 58132 87 0 0 20 0 1 0 10220557 138792960 30172 33554432000 4194304 5796924 140733313126064 140733313123352 4606779 0 0 4096 17954 0 0 0 17 12 0 0 0 0 0
/proc/12405/statm: 33885 30172 181 392 0 33484 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 135540


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


[startup+882.311 s]
/proc/loadavg: 2.01 2.01 2.00 3/260 12452
/proc/meminfo: memFree=31775404/32872528 swapFree=7036/7036
[pid=12405] ppid=12402 vsize=185360 CPUtime=882.16 cores=4-7,12-15
/proc/12405/stat : 12405 (naps-1.02) R 12402 12405 9725 0 -1 4202496 82396 0 0 0 88061 155 0 0 20 0 1 0 10220557 189808640 41648 33554432000 4194304 5796924 140733313126064 140733313123704 4607209 0 0 4096 17954 0 0 0 17 12 0 0 0 0 0
/proc/12405/statm: 46340 41648 181 392 0 45939 0
Current children cumulated CPU time (s) 882.16
Current children cumulated vsize (KiB) 185360

[startup+942.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/258 12453
/proc/meminfo: memFree=31754420/32872528 swapFree=7036/7036
[pid=12405] ppid=12402 vsize=154540 CPUtime=942.13 cores=4-7,12-15
/proc/12405/stat : 12405 (naps-1.02) R 12402 12405 9725 0 -1 4202496 88013 0 0 0 94046 167 0 0 20 0 1 0 10220557 158248960 38328 33554432000 4194304 5796924 140733313126064 140733313123352 5190026 0 0 4096 17954 0 0 0 17 12 0 0 0 0 0
/proc/12405/statm: 38635 38328 181 392 0 38234 0
Current children cumulated CPU time (s) 942.13
Current children cumulated vsize (KiB) 154540

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/259 12456
/proc/meminfo: memFree=31732892/32872528 swapFree=7036/7036
[pid=12405] ppid=12402 vsize=185360 CPUtime=1002.11 cores=4-7,12-15
/proc/12405/stat : 12405 (naps-1.02) R 12402 12405 9725 0 -1 4202496 93293 0 0 0 100033 178 0 0 20 0 1 0 10220557 189808640 41136 33554432000 4194304 5796924 140733313126064 140733313123704 4592560 0 0 4096 17954 0 0 0 17 12 0 0 0 0 0
/proc/12405/statm: 46340 41136 181 392 0 45939 0
Current children cumulated CPU time (s) 1002.11
Current children cumulated vsize (KiB) 185360

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/259 12457
/proc/meminfo: memFree=31730072/32872528 swapFree=7036/7036
[pid=12405] ppid=12402 vsize=185360 CPUtime=1062.1 cores=4-7,12-15
/proc/12405/stat : 12405 (naps-1.02) R 12402 12405 9725 0 -1 4202496 98319 0 0 0 106021 189 0 0 20 0 1 0 10220557 189808640 39600 33554432000 4194304 5796924 140733313126064 140733313123704 4606768 0 0 4096 17954 0 0 0 17 12 0 0 0 0 0
/proc/12405/statm: 46340 39600 181 392 0 45939 0
Current children cumulated CPU time (s) 1062.1
Current children cumulated vsize (KiB) 185360

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/259 12458
/proc/meminfo: memFree=31782020/32872528 swapFree=7036/7036
[pid=12405] ppid=12402 vsize=154540 CPUtime=1122.09 cores=4-7,12-15
/proc/12405/stat : 12405 (naps-1.02) R 12402 12405 9725 0 -1 4202496 102764 0 0 0 112009 200 0 0 20 0 1 0 10220557 158248960 33901 33554432000 4194304 5796924 140733313126064 140733313123528 4607258 0 0 4096 17954 0 0 0 17 12 0 0 0 0 0
/proc/12405/statm: 38635 33901 181 392 0 38234 0
Current children cumulated CPU time (s) 1122.09
Current children cumulated vsize (KiB) 154540

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/259 12459
/proc/meminfo: memFree=31739304/32872528 swapFree=7036/7036
[pid=12405] ppid=12402 vsize=185360 CPUtime=1182.08 cores=4-7,12-15
/proc/12405/stat : 12405 (naps-1.02) R 12402 12405 9725 0 -1 4202496 107969 0 0 0 117998 210 0 0 20 0 1 0 10220557 189808640 39088 33554432000 4194304 5796924 140733313126064 140733313123704 4569824 0 0 4096 17954 0 0 0 17 12 0 0 0 0 0
/proc/12405/statm: 46340 39088 181 392 0 45939 0
Current children cumulated CPU time (s) 1182.08
Current children cumulated vsize (KiB) 185360

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/259 12460
/proc/meminfo: memFree=31721520/32872528 swapFree=7036/7036
[pid=12405] ppid=12402 vsize=185492 CPUtime=1242.08 cores=4-7,12-15
/proc/12405/stat : 12405 (naps-1.02) R 12402 12405 9725 0 -1 4202496 113710 0 0 0 123985 223 0 0 20 0 1 0 10220557 189943808 39630 33554432000 4194304 5796924 140733313126064 140733313123704 4607241 0 0 4096 17954 0 0 0 17 12 0 0 0 0 0
/proc/12405/statm: 46373 39630 181 392 0 45972 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 185492

[startup+1302.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/259 12462
/proc/meminfo: memFree=31751612/32872528 swapFree=7036/7036
[pid=12405] ppid=12402 vsize=156248 CPUtime=1302.07 cores=4-7,12-15
/proc/12405/stat : 12405 (naps-1.02) R 12402 12405 9725 0 -1 4202496 119239 0 0 0 129972 235 0 0 20 0 1 0 10220557 159997952 37909 33554432000 4194304 5796924 140733313126064 140733313123352 4595288 0 0 4096 17954 0 0 0 17 12 0 0 0 0 0
/proc/12405/statm: 39062 37909 181 392 0 38661 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 156248

[startup+1362.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/259 12463
/proc/meminfo: memFree=31694844/32872528 swapFree=7036/7036
[pid=12405] ppid=12402 vsize=188392 CPUtime=1362.06 cores=4-7,12-15
/proc/12405/stat : 12405 (naps-1.02) R 12402 12405 9725 0 -1 4202496 124740 0 0 0 135959 247 0 0 20 0 1 0 10220557 192913408 46499 33554432000 4194304 5796924 140733313126064 140733313123704 4606555 0 0 4096 17954 0 0 0 17 12 0 0 0 0 0
/proc/12405/statm: 47098 46499 181 392 0 46697 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 188392

[startup+1422.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/259 12464
/proc/meminfo: memFree=31743872/32872528 swapFree=7036/7036
[pid=12405] ppid=12402 vsize=189996 CPUtime=1422.06 cores=4-7,12-15
/proc/12405/stat : 12405 (naps-1.02) R 12402 12405 9725 0 -1 4202496 130849 0 0 0 141946 260 0 0 20 0 1 0 10220557 194555904 40756 33554432000 4194304 5796924 140733313126064 140733313123704 4607232 0 0 4096 17954 0 0 0 17 12 0 0 0 0 0
/proc/12405/statm: 47499 40756 181 392 0 47098 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 189996

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/260 12468
/proc/meminfo: memFree=31722424/32872528 swapFree=7036/7036
[pid=12405] ppid=12402 vsize=191108 CPUtime=1482.04 cores=4-7,12-15
/proc/12405/stat : 12405 (naps-1.02) R 12402 12405 9725 0 -1 4202496 135720 0 0 0 147932 272 0 0 20 0 1 0 10220557 195694592 45642 33554432000 4194304 5796924 140733313126064 140733313123704 4607241 0 0 4096 17954 0 0 0 17 12 0 0 0 0 0
/proc/12405/statm: 47777 45642 181 392 0 47376 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 191108

[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/259 12469
/proc/meminfo: memFree=31701292/32872528 swapFree=7036/7036
[pid=12405] ppid=12402 vsize=241512 CPUtime=1542.04 cores=4-7,12-15
/proc/12405/stat : 12405 (naps-1.02) R 12402 12405 9725 0 -1 4202496 140773 0 0 0 153920 284 0 0 20 0 1 0 10220557 247308288 48070 33554432000 4194304 5796924 140733313126064 140733313123704 4606789 0 0 4096 17954 0 0 0 17 12 0 0 0 0 0
/proc/12405/statm: 60378 48070 181 392 0 59977 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 241512

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/259 12471
/proc/meminfo: memFree=31696076/32872528 swapFree=7036/7036
[pid=12405] ppid=12402 vsize=241512 CPUtime=1602.02 cores=4-7,12-15
/proc/12405/stat : 12405 (naps-1.02) R 12402 12405 9725 0 -1 4202496 145474 0 0 0 159907 295 0 0 20 0 1 0 10220557 247308288 49094 33554432000 4194304 5796924 140733313126064 140733313123704 4606789 0 0 4096 17954 0 0 0 17 12 0 0 0 0 0
/proc/12405/statm: 60378 49094 181 392 0 59977 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 241512

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/259 12472
/proc/meminfo: memFree=31699956/32872528 swapFree=7036/7036
[pid=12405] ppid=12402 vsize=241512 CPUtime=1662.01 cores=4-7,12-15
/proc/12405/stat : 12405 (naps-1.02) R 12402 12405 9725 0 -1 4202496 150177 0 0 0 165894 307 0 0 20 0 1 0 10220557 247308288 48582 33554432000 4194304 5796924 140733313126064 140733313123704 4606799 0 0 4096 17954 0 0 0 17 12 0 0 0 0 0
/proc/12405/statm: 60378 48582 181 392 0 59977 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 241512

[startup+1722.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/259 12519
/proc/meminfo: memFree=31824256/32872528 swapFree=7036/7036
[pid=12405] ppid=12402 vsize=191424 CPUtime=1722 cores=4-7,12-15
/proc/12405/stat : 12405 (naps-1.02) R 12402 12405 9725 0 -1 4202496 154583 0 0 0 171883 317 0 0 20 0 1 0 10220557 196018176 45721 33554432000 4194304 5796924 140733313126064 140733313123704 4606789 0 0 4096 17954 0 0 0 17 12 0 0 0 0 0
/proc/12405/statm: 47856 45721 181 392 0 47455 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 191424

[startup+1782.3 s]
/proc/loadavg: 2.14 2.04 2.01 3/259 12520
/proc/meminfo: memFree=31796776/32872528 swapFree=7036/7036
[pid=12405] ppid=12402 vsize=191424 CPUtime=1781.98 cores=4-7,12-15
/proc/12405/stat : 12405 (naps-1.02) R 12402 12405 9725 0 -1 4202496 159270 0 0 0 177871 327 0 0 20 0 1 0 10220557 196018176 40601 33554432000 4194304 5796924 140733313126064 140733313123704 4606555 0 0 4096 17954 0 0 0 17 12 0 0 0 0 0
/proc/12405/statm: 47856 40601 181 392 0 47455 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 191424



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.11 2.04 2.01 3/259 12520
/proc/meminfo: memFree=31726324/32872528 swapFree=7036/7036
[pid=12405] ppid=12402 vsize=191424 CPUtime=1800.08 cores=4-7,12-15
/proc/12405/stat : 12405 (naps-1.02) R 12402 12405 9725 0 -1 4202496 160452 0 0 0 179678 330 0 0 20 0 1 0 10220557 196018176 42137 33554432000 4194304 5796924 140733313126064 140733313123704 4606531 0 0 4096 17954 0 0 0 17 12 0 0 0 0 0
/proc/12405/statm: 47856 42137 181 392 0 47455 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 191424

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

Child status: 10
Real time (s): 1800.4
CPU time (s): 1800.09
CPU user time (s): 1796.78
CPU system time (s): 3.3105
CPU usage (%): 99.9827
Max. virtual memory (cumulated for all children) (KiB): 290832

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.78
system time used= 3.3105
maximum resident set size= 240272
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 160462
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= 49
involuntary context switches= 1851

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.05293 second user time and 11.6182 second system time

The end

Begin job on node132 at 2016-06-16 14:56:00
IDJOB=4094795
IDBENCH=78723
IDSOLVER=2554
FILE ID=node132/4094795-1466081760
RUNJOBID= node132-1466075532-11513
PBS_JOBID= 19904007
Free space on /tmp= 71744 MiB

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

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

MD5SUM BENCH= 93dc403e7aa7832c1308ab9b3db02163
RANDOM SEED=1966893175

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        31994700 kB
Buffers:           19720 kB
Cached:            62608 kB
SwapCached:          568 kB
Active:           119424 kB
Inactive:          46504 kB
Active(anon):      84852 kB
Inactive(anon):     1044 kB
Active(file):      34572 kB
Inactive(file):    45460 kB
Unevictable:        7036 kB
Mlocked:            7036 kB
SwapTotal:      67108856 kB
SwapFree:       67100508 kB
Dirty:              3932 kB
Writeback:             0 kB
AnonPages:        104428 kB
Mapped:             8076 kB
Shmem:                 0 kB
Slab:             568976 kB
SReclaimable:       9700 kB
SUnreclaim:       559276 kB
KernelStack:        2208 kB
PageTables:         4144 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     207176 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987140 kB
HardwareCorrupted:     0 kB
AnonHugePages:     69632 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71740 MiB
End job on node132 at 2016-06-16 15:26:00