0.00/0.00	c ==============================[ Solver Version ]===============================
0.00/0.00	c |                                                                             |
0.00/0.00	c |  pwbo:                    2.0 beta - March, 2012                            |
0.00/0.00	c |                                                                             |
0.00/0.00	c Parsing opb file format. File HOME/instance-3704373-1338107990.opb.
0.00/0.00	c Instance file HOME/instance-3704373-1338107990.opb
0.00/0.00	c File size is 230160 bytes.
0.00/0.02	c Highest Coefficient sum: 69
0.00/0.02	c ============================[ Problem Statistics ]=============================
0.00/0.02	c |                                                                             |
0.00/0.02	c |  Parsing time:          0.02         s                                      |
0.00/0.02	c |  Number Variables:      3740                                                |
0.00/0.02	c |  Number Clauses:        3810                                                |
0.00/0.02	c |  Number Cardinality:    68                                                  |
0.00/0.02	c |  Number PB Constraints: 0                                                   |
0.00/0.02	c |                                                                             |
0.00/0.02	c |  Problem Type:          Decision                                            |
0.00/0.02	c |  Objective Function:    None                                                |
0.00/0.02	c |                                                                             |
0.00/0.02	c ===============================================================================
599.73/599.93	c ===============================================================================
599.73/599.93	c Wall Clock Time: 599.93 s
599.73/599.93	s SATISFIABLE
599.73/599.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

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-3704373-1338107990/watcher-3704373-1338107990 -o /tmp/evaluation-result-3704373-1338107990/solver-3704373-1338107990 -C 1800 -W 1900 -M 15500 pwbo2.0 -file-format=opb -verbosity=0 -thread=1 HOME/instance-3704373-1338107990.opb 

running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 2.08 2.05 2.01 3/177 21356
/proc/meminfo: memFree=27774868/32873844 swapFree=6856/6856
[pid=21356] ppid=21354 vsize=4092 CPUtime=0 cores=1,3,5,7
/proc/21356/stat : 21356 (pwbo2.0) R 21354 21356 18256 0 -1 4202496 489 0 0 0 0 0 0 0 20 0 1 0 276927480 4190208 441 33554432000 4194304 5965102 140734765116816 140735150368760 5137146 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/21356/statm: 1023 442 166 433 0 530 0

[startup+0.00864004 s]
/proc/loadavg: 2.08 2.05 2.01 3/177 21356
/proc/meminfo: memFree=27774868/32873844 swapFree=6856/6856
[pid=21356] ppid=21354 vsize=4224 CPUtime=0 cores=1,3,5,7
/proc/21356/stat : 21356 (pwbo2.0) R 21354 21356 18256 0 -1 4202496 525 0 0 0 0 0 0 0 20 0 1 0 276927480 4325376 477 33554432000 4194304 5965102 140734765116816 140735150368760 5137146 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/21356/statm: 1056 477 174 433 0 563 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 4224

[startup+0.100146 s]
/proc/loadavg: 2.08 2.05 2.01 3/177 21356
/proc/meminfo: memFree=27774868/32873844 swapFree=6856/6856
[pid=21356] ppid=21354 vsize=85200 CPUtime=0.09 cores=1,3,5,7
/proc/21356/stat : 21356 (pwbo2.0) S 21354 21356 18256 0 -1 4202496 1844 0 0 0 9 0 0 0 20 0 2 0 276927480 87244800 1739 33554432000 4194304 5965102 140734765116816 140734765116336 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21356/statm: 21300 1739 190 433 0 20864 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 85200

[startup+0.300115 s]
/proc/loadavg: 2.08 2.05 2.01 3/177 21356
/proc/meminfo: memFree=27774868/32873844 swapFree=6856/6856
[pid=21356] ppid=21354 vsize=85200 CPUtime=0.29 cores=1,3,5,7
/proc/21356/stat : 21356 (pwbo2.0) S 21354 21356 18256 0 -1 4202496 2105 0 0 0 29 0 0 0 20 0 2 0 276927480 87244800 2000 33554432000 4194304 5965102 140734765116816 140734765116336 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21356/statm: 21300 2000 190 433 0 20864 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 85200

[startup+0.700114 s]
/proc/loadavg: 2.08 2.05 2.01 3/177 21356
/proc/meminfo: memFree=27774868/32873844 swapFree=6856/6856
[pid=21356] ppid=21354 vsize=85200 CPUtime=0.69 cores=1,3,5,7
/proc/21356/stat : 21356 (pwbo2.0) S 21354 21356 18256 0 -1 4202496 2594 0 0 0 69 0 0 0 20 0 2 0 276927480 87244800 2489 33554432000 4194304 5965102 140734765116816 140734765116336 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21356/statm: 21300 2489 190 433 0 20864 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 85200

[startup+1.50025 s]
/proc/loadavg: 2.08 2.05 2.01 3/179 21358
/proc/meminfo: memFree=27764056/32873844 swapFree=6856/6856
[pid=21356] ppid=21354 vsize=85200 CPUtime=1.48 cores=1,3,5,7
/proc/21356/stat : 21356 (pwbo2.0) S 21354 21356 18256 0 -1 4202496 3396 0 0 0 148 0 0 0 20 0 2 0 276927480 87244800 3291 33554432000 4194304 5965102 140734765116816 140734765116336 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21356/statm: 21300 3291 190 433 0 20864 0
[pid=21356/tid=21358] ppid=21354 vsize=85200 CPUtime=1.46 cores=1,3,5,7
/proc/21356/task/21358/stat : 21358 (pwbo2.0) R 21354 21356 18256 0 -1 4202560 2237 0 0 0 146 0 0 0 20 0 2 0 276927482 87244800 3291 33554432000 4194304 5965102 140734765116816 139810452928504 5137076 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 85200

[startup+3.10026 s]
/proc/loadavg: 2.08 2.05 2.01 3/179 21358
/proc/meminfo: memFree=27759344/32873844 swapFree=6856/6856
[pid=21356] ppid=21354 vsize=85344 CPUtime=3.08 cores=1,3,5,7
/proc/21356/stat : 21356 (pwbo2.0) S 21354 21356 18256 0 -1 4202496 4114 0 0 0 308 0 0 0 20 0 2 0 276927480 87392256 4009 33554432000 4194304 5965102 140734765116816 140734765116336 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21356/statm: 21336 4009 190 433 0 20900 0
[pid=21356/tid=21358] ppid=21354 vsize=85344 CPUtime=3.05 cores=1,3,5,7
/proc/21356/task/21358/stat : 21358 (pwbo2.0) R 21354 21356 18256 0 -1 4202560 2955 0 0 0 305 0 0 0 20 0 2 0 276927482 87392256 4009 33554432000 4194304 5965102 140734765116816 139810452928504 5137076 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 85344

[startup+6.30027 s]
/proc/loadavg: 2.15 2.07 2.01 3/179 21358
/proc/meminfo: memFree=27753996/32873844 swapFree=6856/6856
[pid=21356] ppid=21354 vsize=85344 CPUtime=6.28 cores=1,3,5,7
/proc/21356/stat : 21356 (pwbo2.0) S 21354 21356 18256 0 -1 4202496 5387 0 0 0 627 1 0 0 20 0 2 0 276927480 87392256 5282 33554432000 4194304 5965102 140734765116816 140734765116336 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21356/statm: 21336 5282 190 433 0 20900 0
[pid=21356/tid=21358] ppid=21354 vsize=85344 CPUtime=6.25 cores=1,3,5,7
/proc/21356/task/21358/stat : 21358 (pwbo2.0) R 21354 21356 18256 0 -1 4202560 4228 0 0 0 624 1 0 0 20 0 2 0 276927482 87392256 5282 33554432000 4194304 5965102 140734765116816 139810452928504 4401058 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 85344

[startup+12.7003 s]
/proc/loadavg: 2.14 2.07 2.01 3/180 21361
/proc/meminfo: memFree=27745136/32873844 swapFree=6856/6856
[pid=21356] ppid=21354 vsize=85416 CPUtime=12.68 cores=1,3,5,7
/proc/21356/stat : 21356 (pwbo2.0) S 21354 21356 18256 0 -1 4202496 6332 0 0 0 1267 1 0 0 20 0 2 0 276927480 87465984 6227 33554432000 4194304 5965102 140734765116816 140734765116336 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21356/statm: 21354 6227 190 433 0 20918 0
[pid=21356/tid=21358] ppid=21354 vsize=85416 CPUtime=12.63 cores=1,3,5,7
/proc/21356/task/21358/stat : 21358 (pwbo2.0) R 21354 21356 18256 0 -1 4202560 5173 0 0 0 1262 1 0 0 20 0 2 0 276927482 87465984 6227 33554432000 4194304 5965102 140734765116816 139810452928312 4221120 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 85416

[startup+25.5004 s]
/proc/loadavg: 2.11 2.06 2.01 3/180 21361
/proc/meminfo: memFree=27728080/32873844 swapFree=6856/6856
[pid=21356] ppid=21354 vsize=85524 CPUtime=25.48 cores=1,3,5,7
/proc/21356/stat : 21356 (pwbo2.0) S 21354 21356 18256 0 -1 4202496 8942 0 0 0 2545 3 0 0 20 0 2 0 276927480 87576576 8837 33554432000 4194304 5965102 140734765116816 140734765116336 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21356/statm: 21381 8837 190 433 0 20945 0
[pid=21356/tid=21358] ppid=21354 vsize=85524 CPUtime=25.4 cores=1,3,5,7
/proc/21356/task/21358/stat : 21358 (pwbo2.0) R 21354 21356 18256 0 -1 4202560 7783 0 0 0 2537 3 0 0 20 0 2 0 276927482 87576576 8837 33554432000 4194304 5965102 140734765116816 139810452928504 4221120 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 85524

[startup+51.1004 s]
/proc/loadavg: 2.14 2.07 2.01 3/180 21361
/proc/meminfo: memFree=27689592/32873844 swapFree=6856/6856
[pid=21356] ppid=21354 vsize=85524 CPUtime=51.08 cores=1,3,5,7
/proc/21356/stat : 21356 (pwbo2.0) S 21354 21356 18256 0 -1 4202496 12563 0 0 0 5103 5 0 0 20 0 2 0 276927480 87576576 12458 33554432000 4194304 5965102 140734765116816 140734765116336 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21356/statm: 21381 12458 190 433 0 20945 0
[pid=21356/tid=21358] ppid=21354 vsize=85524 CPUtime=50.93 cores=1,3,5,7
/proc/21356/task/21358/stat : 21358 (pwbo2.0) R 21354 21356 18256 0 -1 4202560 11404 0 0 0 5088 5 0 0 20 0 2 0 276927482 87576576 12458 33554432000 4194304 5965102 140734765116816 139810452928504 4383301 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 85524

[startup+102.307 s]
/proc/loadavg: 2.06 2.06 2.01 3/179 21361
/proc/meminfo: memFree=27659092/32873844 swapFree=6856/6856
[pid=21356] ppid=21354 vsize=153956 CPUtime=102.27 cores=1,3,5,7
/proc/21356/stat : 21356 (pwbo2.0) S 21354 21356 18256 0 -1 4202496 18544 0 0 0 10221 6 0 0 20 0 2 0 276927480 157650944 18439 33554432000 4194304 5965102 140734765116816 140734765116336 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21356/statm: 38489 18439 190 433 0 38053 0
[pid=21356/tid=21358] ppid=21354 vsize=153956 CPUtime=102.01 cores=1,3,5,7
/proc/21356/task/21358/stat : 21358 (pwbo2.0) R 21354 21356 18256 0 -1 4202560 17386 0 0 0 10194 7 0 0 20 0 2 0 276927482 157650944 18440 33554432000 4194304 5965102 140734765116816 139810452928504 5137076 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 153956

[startup+162.3 s]
/proc/loadavg: 2.02 2.05 2.00 3/179 21362
/proc/meminfo: memFree=27651768/32873844 swapFree=6856/6856
[pid=21356] ppid=21354 vsize=155852 CPUtime=162.26 cores=1,3,5,7
/proc/21356/stat : 21356 (pwbo2.0) S 21354 21356 18256 0 -1 4202496 20372 0 0 0 16219 7 0 0 20 0 2 0 276927480 159592448 20267 33554432000 4194304 5965102 140734765116816 140734765116336 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21356/statm: 38963 20267 190 433 0 38527 0
[pid=21356/tid=21358] ppid=21354 vsize=155852 CPUtime=161.84 cores=1,3,5,7
/proc/21356/task/21358/stat : 21358 (pwbo2.0) R 21354 21356 18256 0 -1 4202560 19213 0 0 0 16175 9 0 0 20 0 2 0 276927482 159592448 20267 33554432000 4194304 5965102 140734765116816 139810452928312 4401118 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 155852

[startup+222.3 s]
/proc/loadavg: 2.00 2.04 2.00 3/179 21362
/proc/meminfo: memFree=27622712/32873844 swapFree=6856/6856
[pid=21356] ppid=21354 vsize=156788 CPUtime=222.23 cores=1,3,5,7
/proc/21356/stat : 21356 (pwbo2.0) S 21354 21356 18256 0 -1 4202496 22069 0 0 0 22215 8 0 0 20 0 2 0 276927480 160550912 22041 33554432000 4194304 5965102 140734765116816 140734765116336 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21356/statm: 39197 22041 190 433 0 38761 0
[pid=21356/tid=21358] ppid=21354 vsize=156788 CPUtime=221.67 cores=1,3,5,7
/proc/21356/task/21358/stat : 21358 (pwbo2.0) R 21354 21356 18256 0 -1 4202560 20910 0 0 0 22156 11 0 0 20 0 2 0 276927482 160550912 22041 33554432000 4194304 5965102 140734765116816 139810452928312 4382704 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 156788

[startup+282.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/178 21362
/proc/meminfo: memFree=27582984/32873844 swapFree=6856/6856
[pid=21356] ppid=21354 vsize=159848 CPUtime=282.21 cores=1,3,5,7
/proc/21356/stat : 21356 (pwbo2.0) S 21354 21356 18256 0 -1 4202496 27798 0 0 0 28209 12 0 0 20 0 2 0 276927480 163684352 28497 33554432000 4194304 5965102 140734765116816 140734765116336 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21356/statm: 39962 28497 190 433 0 39526 0
[pid=21356/tid=21358] ppid=21354 vsize=159848 CPUtime=281.5 cores=1,3,5,7
/proc/21356/task/21358/stat : 21358 (pwbo2.0) R 21354 21356 18256 0 -1 4202560 26639 0 0 0 28135 15 0 0 20 0 2 0 276927482 163684352 28497 33554432000 4194304 5965102 140734765116816 139810452928504 4401462 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 159848

[startup+342.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 21363
/proc/meminfo: memFree=27570512/32873844 swapFree=6856/6856
[pid=21356] ppid=21354 vsize=161828 CPUtime=342.19 cores=1,3,5,7
/proc/21356/stat : 21356 (pwbo2.0) S 21354 21356 18256 0 -1 4202496 29429 0 0 0 34207 12 0 0 20 0 2 0 276927480 165711872 30128 33554432000 4194304 5965102 140734765116816 140734765116336 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21356/statm: 40457 30128 190 433 0 40021 0
[pid=21356/tid=21358] ppid=21354 vsize=161828 CPUtime=341.34 cores=1,3,5,7
/proc/21356/task/21358/stat : 21358 (pwbo2.0) R 21354 21356 18256 0 -1 4202560 28270 0 0 0 34117 17 0 0 20 0 2 0 276927482 165711872 30128 33554432000 4194304 5965102 140734765116816 139810452928504 4400960 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 161828

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 21363
/proc/meminfo: memFree=27562328/32873844 swapFree=6856/6856
[pid=21356] ppid=21354 vsize=162332 CPUtime=402.19 cores=1,3,5,7
/proc/21356/stat : 21356 (pwbo2.0) S 21354 21356 18256 0 -1 4202496 31581 0 0 0 40205 14 0 0 20 0 2 0 276927480 166227968 32280 33554432000 4194304 5965102 140734765116816 140734765116336 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21356/statm: 40583 32280 190 433 0 40147 0
[pid=21356/tid=21358] ppid=21354 vsize=162332 CPUtime=401.19 cores=1,3,5,7
/proc/21356/task/21358/stat : 21358 (pwbo2.0) R 21354 21356 18256 0 -1 4202560 30422 0 0 0 40099 20 0 0 20 0 2 0 276927482 166227968 32280 33554432000 4194304 5965102 140734765116816 139810452928504 4400960 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 162332

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 21363
/proc/meminfo: memFree=27548936/32873844 swapFree=6856/6856
[pid=21356] ppid=21354 vsize=163484 CPUtime=462.17 cores=1,3,5,7
/proc/21356/stat : 21356 (pwbo2.0) S 21354 21356 18256 0 -1 4202496 34860 0 0 0 46201 16 0 0 20 0 2 0 276927480 167407616 35559 33554432000 4194304 5965102 140734765116816 140734765116336 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21356/statm: 40871 35559 190 433 0 40435 0
[pid=21356/tid=21358] ppid=21354 vsize=163484 CPUtime=461.04 cores=1,3,5,7
/proc/21356/task/21358/stat : 21358 (pwbo2.0) R 21354 21356 18256 0 -1 4202560 33701 0 0 0 46081 23 0 0 20 0 2 0 276927482 167407616 35559 33554432000 4194304 5965102 140734765116816 139810452928504 4401143 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 163484

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 21364
/proc/meminfo: memFree=27536908/32873844 swapFree=6856/6856
[pid=21356] ppid=21354 vsize=229668 CPUtime=522.17 cores=1,3,5,7
/proc/21356/stat : 21356 (pwbo2.0) S 21354 21356 18256 0 -1 4202496 37818 0 0 0 52199 18 0 0 20 0 2 0 276927480 235180032 38517 33554432000 4194304 5965102 140734765116816 140734765116336 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21356/statm: 57417 38517 190 433 0 56981 0
[pid=21356/tid=21358] ppid=21354 vsize=229668 CPUtime=520.88 cores=1,3,5,7
/proc/21356/task/21358/stat : 21358 (pwbo2.0) R 21354 21356 18256 0 -1 4202560 36659 0 0 0 52063 25 0 0 20 0 2 0 276927482 235180032 38517 33554432000 4194304 5965102 140734765116816 139810452928312 4401107 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 229668

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 21364
/proc/meminfo: memFree=27488120/32873844 swapFree=6856/6856
[pid=21356] ppid=21354 vsize=231360 CPUtime=582.14 cores=1,3,5,7
/proc/21356/stat : 21356 (pwbo2.0) S 21354 21356 18256 0 -1 4202496 46341 0 0 0 58190 24 0 0 20 0 2 0 276927480 236912640 47114 33554432000 4194304 5965102 140734765116816 140734765116336 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21356/statm: 57840 47114 190 433 0 57404 0
[pid=21356/tid=21358] ppid=21354 vsize=231360 CPUtime=580.7 cores=1,3,5,7
/proc/21356/task/21358/stat : 21358 (pwbo2.0) R 21354 21356 18256 0 -1 4202560 45182 0 0 0 58039 31 0 0 20 0 2 0 276927482 236912640 47114 33554432000 4194304 5965102 140734765116816 139810452928504 4401127 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 231360

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

[startup+588.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 21364
/proc/meminfo: memFree=27484336/32873844 swapFree=6856/6856
[pid=21356] ppid=21354 vsize=231936 CPUtime=588.53 cores=1,3,5,7
/proc/21356/stat : 21356 (pwbo2.0) S 21354 21356 18256 0 -1 4202496 47288 0 0 0 58829 24 0 0 20 0 2 0 276927480 237502464 48060 33554432000 4194304 5965102 140734765116816 140734765116336 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21356/statm: 57984 48060 190 433 0 57548 0
[pid=21356/tid=21358] ppid=21354 vsize=231936 CPUtime=587.09 cores=1,3,5,7
/proc/21356/task/21358/stat : 21358 (pwbo2.0) R 21354 21356 18256 0 -1 4202560 46129 0 0 0 58677 32 0 0 20 0 2 0 276927482 237502464 48060 33554432000 4194304 5965102 140734765116816 139810452928312 4400960 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 588.53
Current children cumulated vsize (KiB) 231936

[startup+595.107 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 21364
/proc/meminfo: memFree=27479128/32873844 swapFree=6856/6856
[pid=21356] ppid=21354 vsize=232368 CPUtime=594.94 cores=1,3,5,7
/proc/21356/stat : 21356 (pwbo2.0) S 21354 21356 18256 0 -1 4202496 48519 0 0 0 59469 25 0 0 20 0 2 0 276927480 237944832 49291 33554432000 4194304 5965102 140734765116816 140734765116336 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21356/statm: 58092 49291 190 433 0 57656 0
[pid=21356/tid=21358] ppid=21354 vsize=232368 CPUtime=593.47 cores=1,3,5,7
/proc/21356/task/21358/stat : 21358 (pwbo2.0) R 21354 21356 18256 0 -1 4202560 47360 0 0 0 59313 34 0 0 20 0 2 0 276927482 237944832 49291 33554432000 4194304 5965102 140734765116816 139810452928504 4220672 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 594.94
Current children cumulated vsize (KiB) 232368

[startup+598.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 21364
/proc/meminfo: memFree=27476832/32873844 swapFree=6856/6856
[pid=21356] ppid=21354 vsize=232800 CPUtime=598.14 cores=1,3,5,7
/proc/21356/stat : 21356 (pwbo2.0) S 21354 21356 18256 0 -1 4202496 49087 0 0 0 59788 26 0 0 20 0 2 0 276927480 238387200 49858 33554432000 4194304 5965102 140734765116816 140734765116336 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21356/statm: 58200 49858 190 433 0 57764 0
[pid=21356/tid=21358] ppid=21354 vsize=232800 CPUtime=596.67 cores=1,3,5,7
/proc/21356/task/21358/stat : 21358 (pwbo2.0) R 21354 21356 18256 0 -1 4202560 47928 0 0 0 59632 35 0 0 20 0 2 0 276927482 238387200 49858 33554432000 4194304 5965102 140734765116816 139810452928504 4401118 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 598.14
Current children cumulated vsize (KiB) 232800

[startup+599.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 21364
/proc/meminfo: memFree=27476832/32873844 swapFree=6856/6856
[pid=21356] ppid=21354 vsize=232800 CPUtime=598.93 cores=1,3,5,7
/proc/21356/stat : 21356 (pwbo2.0) S 21354 21356 18256 0 -1 4202496 49211 0 0 0 59867 26 0 0 20 0 2 0 276927480 238387200 49982 33554432000 4194304 5965102 140734765116816 140734765116336 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21356/statm: 58200 49982 190 433 0 57764 0
[pid=21356/tid=21358] ppid=21354 vsize=232800 CPUtime=597.46 cores=1,3,5,7
/proc/21356/task/21358/stat : 21358 (pwbo2.0) R 21354 21356 18256 0 -1 4202560 48052 0 0 0 59711 35 0 0 20 0 2 0 276927482 238387200 49982 33554432000 4194304 5965102 140734765116816 139810452928552 4220672 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 598.93
Current children cumulated vsize (KiB) 232800

[startup+599.507 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 21364
/proc/meminfo: memFree=27476088/32873844 swapFree=6856/6856
[pid=21356] ppid=21354 vsize=232800 CPUtime=599.34 cores=1,3,5,7
/proc/21356/stat : 21356 (pwbo2.0) S 21354 21356 18256 0 -1 4202496 49274 0 0 0 59908 26 0 0 20 0 2 0 276927480 238387200 50045 33554432000 4194304 5965102 140734765116816 140734765116336 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21356/statm: 58200 50045 190 433 0 57764 0
[pid=21356/tid=21358] ppid=21354 vsize=232800 CPUtime=597.86 cores=1,3,5,7
/proc/21356/task/21358/stat : 21358 (pwbo2.0) R 21354 21356 18256 0 -1 4202560 48115 0 0 0 59751 35 0 0 20 0 2 0 276927482 238387200 50045 33554432000 4194304 5965102 140734765116816 139810452928552 4401127 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 599.34
Current children cumulated vsize (KiB) 232800

[startup+599.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 21364
/proc/meminfo: memFree=27476088/32873844 swapFree=6856/6856
[pid=21356] ppid=21354 vsize=232800 CPUtime=599.73 cores=1,3,5,7
/proc/21356/stat : 21356 (pwbo2.0) S 21354 21356 18256 0 -1 4202496 49362 0 0 0 59947 26 0 0 20 0 2 0 276927480 238387200 50133 33554432000 4194304 5965102 140734765116816 140734765116336 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21356/statm: 58200 50133 190 433 0 57764 0
[pid=21356/tid=21358] ppid=21354 vsize=232800 CPUtime=598.26 cores=1,3,5,7
/proc/21356/task/21358/stat : 21358 (pwbo2.0) R 21354 21356 18256 0 -1 4202560 48203 0 0 0 59791 35 0 0 20 0 2 0 276927482 238387200 50133 33554432000 4194304 5965102 140734765116816 139810452928504 4220672 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 599.73
Current children cumulated vsize (KiB) 232800

Child status: 255

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 21356 and gives
#  childrusage.ru_utime.tv_sec=597
#  childrusage.ru_utime.tv_usec=966095
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=366944
# CPU time returned by wait4() is 598.333
# while last known CPU time is 599.73
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 599.942
CPU time (s): 599.73
CPU user time (s): 599.47
CPU system time (s): 0.26
CPU usage (%): 99.9647
Max. virtual memory (cumulated for all children) (KiB): 232800

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 597.966
system time used= 0.366944
maximum resident set size= 200584
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 49375
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= 72
involuntary context switches= 1188

runsolver used 1.20782 second user time and 3.2765 second system time

The end

Begin job on node106 at 2012-05-27 10:39:50
IDJOB=3704373
IDBENCH=90229
IDSOLVER=2280
FILE ID=node106/3704373-1338107990
RUNJOBID= node106-1338087979-18273
PBS_JOBID= 14624450
Free space on /tmp= 71376 MiB

SOLVER NAME= pwbo 2.0
BENCH NAME= PB12/normalized-PB12/DEC-SMALLINT-LIN/sroussel/ShortestPathBA/normalized-BeauxArts_K68.opb
COMMAND LINE= pwbo2.0 -file-format=opb -verbosity=0 -thread=1 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3704373-1338107990/watcher-3704373-1338107990 -o /tmp/evaluation-result-3704373-1338107990/solver-3704373-1338107990 -C 1800 -W 1900 -M 15500  pwbo2.0 -file-format=opb -verbosity=0 -thread=1 HOME/instance-3704373-1338107990.opb

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

MD5SUM BENCH= 506a6fce450974b6f48fc0e3b77d8777
RANDOM SEED=62420143

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        27775124 kB
Buffers:          322136 kB
Cached:          3573728 kB
SwapCached:            0 kB
Active:          1544528 kB
Inactive:        2744296 kB
Active(anon):     395460 kB
Inactive(anon):        0 kB
Active(file):    1149068 kB
Inactive(file):  2744296 kB
Unevictable:        6856 kB
Mlocked:            6856 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              5580 kB
Writeback:             0 kB
AnonPages:        399336 kB
Mapped:            15188 kB
Shmem:               200 kB
Slab:             670120 kB
SReclaimable:     112076 kB
SUnreclaim:       558044 kB
KernelStack:        1464 kB
PageTables:         4888 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     153728 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    276480 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= 71368 MiB
End job on node106 at 2012-05-27 10:49:50