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

OK	0

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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-3704887-1338118050/watcher-3704887-1338118050 -o /tmp/evaluation-result-3704887-1338118050/solver-3704887-1338118050 -C 1800 -W 1900 -M 15500 wbo1.7 -file-format=opb HOME/instance-3704887-1338118050.opb 

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: 1.99 1.98 1.99 3/174 11919
/proc/meminfo: memFree=29703224/32873852 swapFree=7624/7624
[pid=11919] ppid=11917 vsize=4136 CPUtime=0 cores=0,2,4,6
/proc/11919/stat : 11919 (wbo1.7) R 11917 11919 9313 0 -1 4202496 492 0 0 0 0 0 0 0 20 0 1 0 277930463 4235264 444 33554432000 4194304 5963574 140733217203696 140736413347592 4343959 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/11919/statm: 1034 444 165 432 0 538 0

[startup+0.023016 s]
/proc/loadavg: 1.99 1.98 1.99 3/174 11919
/proc/meminfo: memFree=29703224/32873852 swapFree=7624/7624
[pid=11919] ppid=11917 vsize=5876 CPUtime=0.01 cores=0,2,4,6
/proc/11919/stat : 11919 (wbo1.7) R 11917 11919 9313 0 -1 4202496 990 0 0 0 1 0 0 0 20 0 1 0 277930463 6017024 881 33554432000 4194304 5963574 140733217203696 140736413347592 4296686 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/11919/statm: 1469 901 170 432 0 1034 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 5876

[startup+0.100258 s]
/proc/loadavg: 1.99 1.98 1.99 3/174 11919
/proc/meminfo: memFree=29703224/32873852 swapFree=7624/7624
[pid=11919] ppid=11917 vsize=85284 CPUtime=0.09 cores=0,2,4,6
/proc/11919/stat : 11919 (wbo1.7) S 11917 11919 9313 0 -1 4202496 1926 0 0 0 9 0 0 0 20 0 2 0 277930463 87330816 1817 33554432000 4194304 5963574 140733217203696 140733217203216 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11919/statm: 21321 1817 187 432 0 20886 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 85284

[startup+0.300221 s]
/proc/loadavg: 1.99 1.98 1.99 3/174 11919
/proc/meminfo: memFree=29703224/32873852 swapFree=7624/7624
[pid=11919] ppid=11917 vsize=85284 CPUtime=0.29 cores=0,2,4,6
/proc/11919/stat : 11919 (wbo1.7) S 11917 11919 9313 0 -1 4202496 2221 0 0 0 29 0 0 0 20 0 2 0 277930463 87330816 2112 33554432000 4194304 5963574 140733217203696 140733217203216 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11919/statm: 21321 2112 187 432 0 20886 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 85284

[startup+0.700221 s]
/proc/loadavg: 1.99 1.98 1.99 3/174 11919
/proc/meminfo: memFree=29703224/32873852 swapFree=7624/7624
[pid=11919] ppid=11917 vsize=85284 CPUtime=0.69 cores=0,2,4,6
/proc/11919/stat : 11919 (wbo1.7) S 11917 11919 9313 0 -1 4202496 2759 0 0 0 69 0 0 0 20 0 2 0 277930463 87330816 2650 33554432000 4194304 5963574 140733217203696 140733217203216 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11919/statm: 21321 2650 187 432 0 20886 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 85284

[startup+1.50025 s]
/proc/loadavg: 1.99 1.98 1.99 3/176 11921
/proc/meminfo: memFree=29692288/32873852 swapFree=7624/7624
[pid=11919] ppid=11917 vsize=85284 CPUtime=1.48 cores=0,2,4,6
/proc/11919/stat : 11919 (wbo1.7) S 11917 11919 9313 0 -1 4202496 3630 0 0 0 148 0 0 0 20 0 2 0 277930463 87330816 3521 33554432000 4194304 5963574 140733217203696 140733217203216 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11919/statm: 21321 3521 187 432 0 20886 0
[pid=11919/tid=11921] ppid=11917 vsize=85284 CPUtime=1.46 cores=0,2,4,6
/proc/11919/task/11921/stat : 11921 (wbo1.7) R 11917 11919 9313 0 -1 4202560 2444 0 0 0 146 0 0 0 20 0 2 0 277930465 87330816 3521 33554432000 4194304 5963574 140733217203696 140664695216120 5135572 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 85284

[startup+3.10025 s]
/proc/loadavg: 2.07 2.00 2.00 3/176 11921
/proc/meminfo: memFree=29688080/32873852 swapFree=7624/7624
[pid=11919] ppid=11917 vsize=85428 CPUtime=3.09 cores=0,2,4,6
/proc/11919/stat : 11919 (wbo1.7) S 11917 11919 9313 0 -1 4202496 4564 0 0 0 308 1 0 0 20 0 2 0 277930463 87478272 4455 33554432000 4194304 5963574 140733217203696 140733217203216 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11919/statm: 21357 4455 187 432 0 20922 0
[pid=11919/tid=11921] ppid=11917 vsize=85428 CPUtime=3.05 cores=0,2,4,6
/proc/11919/task/11921/stat : 11921 (wbo1.7) R 11917 11919 9313 0 -1 4202560 3378 0 0 0 304 1 0 0 20 0 2 0 277930465 87478272 4455 33554432000 4194304 5963574 140733217203696 140664695216120 4381532 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 85428

[startup+6.30027 s]
/proc/loadavg: 2.07 2.00 2.00 3/177 11922
/proc/meminfo: memFree=29680632/32873852 swapFree=7624/7624
[pid=11919] ppid=11917 vsize=85500 CPUtime=6.29 cores=0,2,4,6
/proc/11919/stat : 11919 (wbo1.7) S 11917 11919 9313 0 -1 4202496 6538 0 0 0 627 2 0 0 20 0 2 0 277930463 87552000 6429 33554432000 4194304 5963574 140733217203696 140733217203216 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11919/statm: 21375 6429 187 432 0 20940 0
[pid=11919/tid=11921] ppid=11917 vsize=85500 CPUtime=6.24 cores=0,2,4,6
/proc/11919/task/11921/stat : 11921 (wbo1.7) R 11917 11919 9313 0 -1 4202560 5352 0 0 0 622 2 0 0 20 0 2 0 277930465 87552000 6429 33554432000 4194304 5963574 140733217203696 140664695216120 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 85500

[startup+12.7003 s]
/proc/loadavg: 2.06 2.00 2.00 3/177 11922
/proc/meminfo: memFree=29670712/32873852 swapFree=7624/7624
[pid=11919] ppid=11917 vsize=85500 CPUtime=12.68 cores=0,2,4,6
/proc/11919/stat : 11919 (wbo1.7) S 11917 11919 9313 0 -1 4202496 8439 0 0 0 1266 2 0 0 20 0 2 0 277930463 87552000 8330 33554432000 4194304 5963574 140733217203696 140733217203216 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11919/statm: 21375 8330 187 432 0 20940 0
[pid=11919/tid=11921] ppid=11917 vsize=85500 CPUtime=12.63 cores=0,2,4,6
/proc/11919/task/11921/stat : 11921 (wbo1.7) R 11917 11919 9313 0 -1 4202560 7253 0 0 0 1261 2 0 0 20 0 2 0 277930465 87552000 8330 33554432000 4194304 5963574 140733217203696 140664695216120 4381733 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 85500

[startup+25.5003 s]
/proc/loadavg: 2.05 2.00 2.00 3/177 11922
/proc/meminfo: memFree=29662892/32873852 swapFree=7624/7624
[pid=11919] ppid=11917 vsize=85500 CPUtime=25.49 cores=0,2,4,6
/proc/11919/stat : 11919 (wbo1.7) S 11917 11919 9313 0 -1 4202496 9963 0 0 0 2546 3 0 0 20 0 2 0 277930463 87552000 9854 33554432000 4194304 5963574 140733217203696 140733217203216 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11919/statm: 21375 9854 187 432 0 20940 0
[pid=11919/tid=11921] ppid=11917 vsize=85500 CPUtime=25.4 cores=0,2,4,6
/proc/11919/task/11921/stat : 11921 (wbo1.7) R 11917 11919 9313 0 -1 4202560 8777 0 0 0 2537 3 0 0 20 0 2 0 277930465 87552000 9854 33554432000 4194304 5963574 140733217203696 140664695215928 4399623 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 85500

[startup+51.1003 s]
/proc/loadavg: 2.03 2.00 2.00 3/177 11922
/proc/meminfo: memFree=29626264/32873852 swapFree=7624/7624
[pid=11919] ppid=11917 vsize=85608 CPUtime=51.09 cores=0,2,4,6
/proc/11919/stat : 11919 (wbo1.7) S 11917 11919 9313 0 -1 4202496 13577 0 0 0 5104 5 0 0 20 0 2 0 277930463 87662592 13468 33554432000 4194304 5963574 140733217203696 140733217203216 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11919/statm: 21402 13468 187 432 0 20967 0
[pid=11919/tid=11921] ppid=11917 vsize=85608 CPUtime=50.93 cores=0,2,4,6
/proc/11919/task/11921/stat : 11921 (wbo1.7) R 11917 11919 9313 0 -1 4202560 12391 0 0 0 5089 4 0 0 20 0 2 0 277930465 87662592 13468 33554432000 4194304 5963574 140733217203696 140664695215928 4399614 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 85608

[startup+102.306 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 11922
/proc/meminfo: memFree=29602252/32873852 swapFree=7624/7624
[pid=11919] ppid=11917 vsize=151664 CPUtime=102.28 cores=0,2,4,6
/proc/11919/stat : 11919 (wbo1.7) S 11917 11919 9313 0 -1 4202496 17595 0 0 0 10221 7 0 0 20 0 2 0 277930463 155303936 17486 33554432000 4194304 5963574 140733217203696 140733217203216 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11919/statm: 37916 17486 187 432 0 37481 0
[pid=11919/tid=11921] ppid=11917 vsize=151664 CPUtime=102.01 cores=0,2,4,6
/proc/11919/task/11921/stat : 11921 (wbo1.7) R 11917 11919 9313 0 -1 4202560 16409 0 0 0 10193 8 0 0 20 0 2 0 277930465 155303936 17486 33554432000 4194304 5963574 140733217203696 140664695216120 4399645 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 151664

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 11925
/proc/meminfo: memFree=29594836/32873852 swapFree=7624/7624
[pid=11919] ppid=11917 vsize=152672 CPUtime=162.25 cores=0,2,4,6
/proc/11919/stat : 11919 (wbo1.7) S 11917 11919 9313 0 -1 4202496 18231 0 0 0 16218 7 0 0 20 0 2 0 277930463 156336128 18114 33554432000 4194304 5963574 140733217203696 140733217203216 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11919/statm: 38168 18114 187 432 0 37733 0
[pid=11919/tid=11921] ppid=11917 vsize=152672 CPUtime=161.84 cores=0,2,4,6
/proc/11919/task/11921/stat : 11921 (wbo1.7) R 11917 11919 9313 0 -1 4202560 17045 0 0 0 16175 9 0 0 20 0 2 0 277930465 156336128 18114 33554432000 4194304 5963574 140733217203696 140664695215928 4400055 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 152672

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11925
/proc/meminfo: memFree=29573664/32873852 swapFree=7624/7624
[pid=11919] ppid=11917 vsize=155768 CPUtime=222.23 cores=0,2,4,6
/proc/11919/stat : 11919 (wbo1.7) S 11917 11919 9313 0 -1 4202496 22536 0 0 0 22213 10 0 0 20 0 2 0 277930463 159506432 23358 33554432000 4194304 5963574 140733217203696 140733217203216 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11919/statm: 38942 23358 187 432 0 38507 0
[pid=11919/tid=11921] ppid=11917 vsize=155768 CPUtime=221.66 cores=0,2,4,6
/proc/11919/task/11921/stat : 11921 (wbo1.7) R 11917 11919 9313 0 -1 4202560 21350 0 0 0 22153 13 0 0 20 0 2 0 277930465 159506432 23358 33554432000 4194304 5963574 140733217203696 140664695215928 4220672 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 155768

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11925
/proc/meminfo: memFree=29544344/32873852 swapFree=7624/7624
[pid=11919] ppid=11917 vsize=158720 CPUtime=282.21 cores=0,2,4,6
/proc/11919/stat : 11919 (wbo1.7) S 11917 11919 9313 0 -1 4202496 23319 0 0 0 28211 10 0 0 20 0 2 0 277930463 162529280 24141 33554432000 4194304 5963574 140733217203696 140733217203216 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11919/statm: 39680 24141 187 432 0 39245 0
[pid=11919/tid=11921] ppid=11917 vsize=158720 CPUtime=281.51 cores=0,2,4,6
/proc/11919/task/11921/stat : 11921 (wbo1.7) R 11917 11919 9313 0 -1 4202560 22133 0 0 0 28137 14 0 0 20 0 2 0 277930465 162529280 24141 33554432000 4194304 5963574 140733217203696 140664695215928 4399651 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 158720

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11926
/proc/meminfo: memFree=29538640/32873852 swapFree=7624/7624
[pid=11919] ppid=11917 vsize=160220 CPUtime=342.21 cores=0,2,4,6
/proc/11919/stat : 11919 (wbo1.7) S 11917 11919 9313 0 -1 4202496 24731 0 0 0 34210 11 0 0 20 0 2 0 277930463 164065280 25553 33554432000 4194304 5963574 140733217203696 140733217203216 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11919/statm: 40055 25553 187 432 0 39620 0
[pid=11919/tid=11921] ppid=11917 vsize=160220 CPUtime=341.35 cores=0,2,4,6
/proc/11919/task/11921/stat : 11921 (wbo1.7) R 11917 11919 9313 0 -1 4202560 23545 0 0 0 34120 15 0 0 20 0 2 0 277930465 164065280 25553 33554432000 4194304 5963574 140733217203696 140664695215928 4399448 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 160220

[startup+402.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 11926
/proc/meminfo: memFree=29505284/32873852 swapFree=7624/7624
[pid=11919] ppid=11917 vsize=160724 CPUtime=402.19 cores=0,2,4,6
/proc/11919/stat : 11919 (wbo1.7) S 11917 11919 9313 0 -1 4202496 25752 0 0 0 40208 11 0 0 20 0 2 0 277930463 164581376 26574 33554432000 4194304 5963574 140733217203696 140733217203216 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11919/statm: 40181 26574 187 432 0 39746 0
[pid=11919/tid=11921] ppid=11917 vsize=160724 CPUtime=401.2 cores=0,2,4,6
/proc/11919/task/11921/stat : 11921 (wbo1.7) R 11917 11919 9313 0 -1 4202560 24566 0 0 0 40103 17 0 0 20 0 2 0 277930465 164581376 26574 33554432000 4194304 5963574 140733217203696 140664695215928 4399456 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 160724

[startup+462.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 11926
/proc/meminfo: memFree=29429484/32873852 swapFree=7624/7624
[pid=11919] ppid=11917 vsize=163172 CPUtime=462.16 cores=0,2,4,6
/proc/11919/stat : 11919 (wbo1.7) S 11917 11919 9313 0 -1 4202496 32192 0 0 0 46201 15 0 0 20 0 2 0 277930463 167088128 33082 33554432000 4194304 5963574 140733217203696 140733217203216 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11919/statm: 40793 33082 187 432 0 40358 0
[pid=11919/tid=11921] ppid=11917 vsize=163172 CPUtime=461.03 cores=0,2,4,6
/proc/11919/task/11921/stat : 11921 (wbo1.7) R 11917 11919 9313 0 -1 4202560 31006 0 0 0 46081 22 0 0 20 0 2 0 277930465 167088128 33082 33554432000 4194304 5963574 140733217203696 140664695216168 4399651 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 163172

Solver just ended. Dumping a history of the last processes samples

[startup+467.1 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 11926
/proc/meminfo: memFree=29421796/32873852 swapFree=7624/7624
[pid=11919] ppid=11917 vsize=163172 CPUtime=466.96 cores=0,2,4,6
/proc/11919/stat : 11919 (wbo1.7) S 11917 11919 9313 0 -1 4202496 32192 0 0 0 46681 15 0 0 20 0 2 0 277930463 167088128 33082 33554432000 4194304 5963574 140733217203696 140733217203216 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11919/statm: 40793 33082 187 432 0 40358 0
[pid=11919/tid=11921] ppid=11917 vsize=163172 CPUtime=465.81 cores=0,2,4,6
/proc/11919/task/11921/stat : 11921 (wbo1.7) R 11917 11919 9313 0 -1 4202560 31006 0 0 0 46559 22 0 0 20 0 2 0 277930465 167088128 33082 33554432000 4194304 5963574 140733217203696 140664695216168 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 466.96
Current children cumulated vsize (KiB) 163172

[startup+473.5 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 11926
/proc/meminfo: memFree=29414108/32873852 swapFree=7624/7624
[pid=11919] ppid=11917 vsize=163316 CPUtime=473.36 cores=0,2,4,6
/proc/11919/stat : 11919 (wbo1.7) S 11917 11919 9313 0 -1 4202496 32218 0 0 0 47321 15 0 0 20 0 2 0 277930463 167235584 33108 33554432000 4194304 5963574 140733217203696 140733217203216 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11919/statm: 40829 33108 187 432 0 40394 0
[pid=11919/tid=11921] ppid=11917 vsize=163316 CPUtime=472.2 cores=0,2,4,6
/proc/11919/task/11921/stat : 11921 (wbo1.7) R 11917 11919 9313 0 -1 4202560 31032 0 0 0 47198 22 0 0 20 0 2 0 277930465 167235584 33108 33554432000 4194304 5963574 140733217203696 140664695216168 4381238 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 473.36
Current children cumulated vsize (KiB) 163316

[startup+475.1 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 11926
/proc/meminfo: memFree=29410760/32873852 swapFree=7624/7624
[pid=11919] ppid=11917 vsize=163460 CPUtime=474.97 cores=0,2,4,6
/proc/11919/stat : 11919 (wbo1.7) S 11917 11919 9313 0 -1 4202496 32254 0 0 0 47482 15 0 0 20 0 2 0 277930463 167383040 33144 33554432000 4194304 5963574 140733217203696 140733217203216 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11919/statm: 40865 33144 187 432 0 40430 0
[pid=11919/tid=11921] ppid=11917 vsize=163460 CPUtime=473.8 cores=0,2,4,6
/proc/11919/task/11921/stat : 11921 (wbo1.7) R 11917 11919 9313 0 -1 4202560 31068 0 0 0 47358 22 0 0 20 0 2 0 277930465 167383040 33144 33554432000 4194304 5963574 140733217203696 140664695215928 4399623 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 474.97
Current children cumulated vsize (KiB) 163460

[startup+476.7 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 11926
/proc/meminfo: memFree=29410760/32873852 swapFree=7624/7624
[pid=11919] ppid=11917 vsize=163460 CPUtime=476.56 cores=0,2,4,6
/proc/11919/stat : 11919 (wbo1.7) S 11917 11919 9313 0 -1 4202496 32254 0 0 0 47641 15 0 0 20 0 2 0 277930463 167383040 33144 33554432000 4194304 5963574 140733217203696 140733217203216 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11919/statm: 40865 33144 187 432 0 40430 0
[pid=11919/tid=11921] ppid=11917 vsize=163460 CPUtime=475.39 cores=0,2,4,6
/proc/11919/task/11921/stat : 11921 (wbo1.7) R 11917 11919 9313 0 -1 4202560 31068 0 0 0 47517 22 0 0 20 0 2 0 277930465 167383040 33144 33554432000 4194304 5963574 140733217203696 140664695215928 4399639 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 476.56
Current children cumulated vsize (KiB) 163460

[startup+477.5 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 11926
/proc/meminfo: memFree=29410760/32873852 swapFree=7624/7624
[pid=11919] ppid=11917 vsize=163532 CPUtime=477.36 cores=0,2,4,6
/proc/11919/stat : 11919 (wbo1.7) S 11917 11919 9313 0 -1 4202496 32254 0 0 0 47721 15 0 0 20 0 2 0 277930463 167456768 33144 33554432000 4194304 5963574 140733217203696 140733217203216 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11919/statm: 40883 33144 187 432 0 40448 0
[pid=11919/tid=11921] ppid=11917 vsize=163532 CPUtime=476.19 cores=0,2,4,6
/proc/11919/task/11921/stat : 11921 (wbo1.7) R 11917 11919 9313 0 -1 4202560 31068 0 0 0 47597 22 0 0 20 0 2 0 277930465 167456768 33144 33554432000 4194304 5963574 140733217203696 140664695215928 4381137 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 477.36
Current children cumulated vsize (KiB) 163532

[startup+477.9 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 11926
/proc/meminfo: memFree=29410760/32873852 swapFree=7624/7624
[pid=11919] ppid=11917 vsize=163532 CPUtime=477.76 cores=0,2,4,6
/proc/11919/stat : 11919 (wbo1.7) S 11917 11919 9313 0 -1 4202496 32255 0 0 0 47761 15 0 0 20 0 2 0 277930463 167456768 33145 33554432000 4194304 5963574 140733217203696 140733217203216 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11919/statm: 40883 33145 187 432 0 40448 0
[pid=11919/tid=11921] ppid=11917 vsize=163532 CPUtime=476.59 cores=0,2,4,6
/proc/11919/task/11921/stat : 11921 (wbo1.7) R 11917 11919 9313 0 -1 4202560 31069 0 0 0 47637 22 0 0 20 0 2 0 277930465 167456768 33145 33554432000 4194304 5963574 140733217203696 140664695215928 4399456 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 477.76
Current children cumulated vsize (KiB) 163532

Child status: 255

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 11919 and gives
#  childrusage.ru_utime.tv_sec=476
#  childrusage.ru_utime.tv_usec=427572
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=235964
# CPU time returned by wait4() is 476.664
# while last known CPU time is 477.76
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 477.942
CPU time (s): 477.76
CPU user time (s): 477.61
CPU system time (s): 0.15
CPU usage (%): 99.962
Max. virtual memory (cumulated for all children) (KiB): 163532

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 476.428
system time used= 0.235964
maximum resident set size= 132592
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32258
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= 54
involuntary context switches= 490

runsolver used 2.46362 second user time and 4.14337 second system time

The end

Begin job on node131 at 2012-05-27 13:27:30
IDJOB=3704887
IDBENCH=90216
IDSOLVER=2283
FILE ID=node131/3704887-1338118050
RUNJOBID= node131-1338085200-9329
PBS_JOBID= 14624427
Free space on /tmp= 71724 MiB

SOLVER NAME= wbo 1.7
BENCH NAME= PB12/normalized-PB12/DEC-SMALLINT-LIN/sroussel/ShortestPathBA/normalized-BeauxArts_K73.opb
COMMAND LINE= wbo1.7 -file-format=opb BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3704887-1338118050/watcher-3704887-1338118050 -o /tmp/evaluation-result-3704887-1338118050/solver-3704887-1338118050 -C 1800 -W 1900 -M 15500  wbo1.7 -file-format=opb HOME/instance-3704887-1338118050.opb

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

MD5SUM BENCH= 0228ffc8e8b202453e422d741e6bbe73
RANDOM SEED=240352742

node131.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.805
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.61
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.805
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	: 5331.91
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.805
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	: 5331.91
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.805
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	: 5331.91
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.805
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	: 5331.91
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.805
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	: 5331.91
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.805
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	: 5331.92
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.805
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	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873852 kB
MemFree:        29703488 kB
Buffers:          319692 kB
Cached:          1742688 kB
SwapCached:         2168 kB
Active:           791952 kB
Inactive:        1542704 kB
Active(anon):     273844 kB
Inactive(anon):      808 kB
Active(file):     518108 kB
Inactive(file):  1541896 kB
Unevictable:        7624 kB
Mlocked:            7624 kB
SwapTotal:      67108856 kB
SwapFree:       67099036 kB
Dirty:              5824 kB
Writeback:             0 kB
AnonPages:        344956 kB
Mapped:            14964 kB
Shmem:                 0 kB
Slab:             692596 kB
SReclaimable:     135132 kB
SUnreclaim:       557464 kB
KernelStack:        1472 kB
PageTables:         4800 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545780 kB
Committed_AS:     154164 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346360 kB
VmallocChunk:   34341988004 kB
HardwareCorrupted:     0 kB
AnonHugePages:    161792 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71720 MiB
End job on node131 at 2012-05-27 13:35:28