Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | SAT (TO) | 9982694 | 1800.19 | 1800.96 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-mps-v2-20-10-neos17.opb |
MD5SUM | 6ec9fbaf74a275630384576eed2d57d7 |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 7508861 |
Best CPU time to get the best result obtained on this benchmark | 1800.36 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 7508861 |
Optimality of the best value was proved | NO |
Number of variables | 3115 |
Total number of constraints | 671 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 671 |
Minimum length of a constraint | 11 |
Maximum length of a constraint | 780 |
Number of terms in the objective function | 2126 |
Biggest coefficient in the objective function | 27663360 |
Number of bits for the biggest coefficient in the objective function | 25 |
Sum of the numbers in the objective function | 110500348 |
Number of bits of the sum of numbers in the objective function | 27 |
Biggest number in a constraint | 1677721600000000 |
Number of bits of the biggest number in a constraint | 51 |
Biggest sum of numbers in a constraint | 40265324766820451 |
Number of bits of the biggest sum of numbers | 56 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c bsolo beta version 3.0.17 - 27/04/2007 : 1600 GMT 0.00/0.00 c Developed by Vasco Manquinho IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/433175-1177955982/instance-433175-1177955982.opb 0.00/0.00 c File size is 1529816 bytes. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.09/0.18 c Highest Coefficient sum: 4.02653e+16 0.09/0.18 c Parsing was ok!! 0.09/0.18 c Total parsing time: 0.175 s 0.09/0.18 c Var: 3115 Constr: 672 0/0/672 Lit: 86420 Watch. Lit: 11873 0.09/0.18 c Obj. Vars: 2126 (68.2504 % of total variables) 1.28/1.34 c Pre-processing Time: 1.341 s 1.59/1.67 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.59/1.67 c 0 2621 672 86420 128 74708 172840 0 0 1.34 1.59/1.67 c 104 2621 776 90039 116 74934 190125 104 64 1.62 1.59/1.67 o 17892998 1.673 1.69/1.71 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.69/1.71 c 123 2621 796 92789 116 77102 177092 124 73 1.68 1.69/1.71 o 17559440 1.708 3.89/3.93 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.89/3.93 c 124 2621 798 94945 118 79229 177092 126 72 1.71 3.89/3.93 c 225 2621 899 115930 128 79431 194802 227 122 1.84 3.89/3.93 c 475 2621 1149 141765 123 80069 214283 477 187 2.54 3.89/3.93 c 951 2621 1625 159109 97 80946 235712 953 244 3.89 3.89/3.93 o 16840558 3.929 3.89/3.97 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.89/3.97 c 956 2621 1631 162435 99 83080 177092 959 243 3.93 3.89/3.97 o 15253241 3.972 3.99/4.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.99/4.03 c 956 2621 1632 164561 100 85195 177092 960 240 3.97 3.99/4.03 o 15213806 4.026 3.99/4.08 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.99/4.08 c 956 2621 1633 166687 102 87321 177092 961 237 4.03 3.99/4.08 o 14737291 4.077 4.09/4.14 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.09/4.14 c 956 2621 1634 168813 103 89447 177092 962 234 4.08 4.09/4.14 o 13896953 4.134 5.79/5.89 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.79/5.89 c 956 2621 1635 170939 104 91573 177092 963 231 4.14 5.79/5.89 c 1057 2621 1736 190078 109 91775 194802 1064 244 4.32 5.79/5.89 c 1309 2621 1988 199266 100 92216 214283 1316 251 5.21 5.79/5.89 o 12408802 5.89 358.87/359.18 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 358.87/359.18 c 1505 2621 2185 210863 96 94759 177092 1513 255 5.89 358.87/359.18 c 1605 2621 2285 232970 101 94952 194802 1613 257 6.23 358.87/359.18 c 1855 2621 2535 280130 110 95452 214283 1863 287 6.45 358.87/359.18 c 2333 2621 3013 357318 118 96413 235712 2341 309 7.53 358.87/359.18 c 3146 2621 3826 387600 101 98024 259284 3154 303 10.36 358.87/359.18 c 4466 2621 5146 681282 132 100686 285213 4474 343 12.99 358.87/359.18 c 6548 2621 7228 1134248 156 104895 313735 6556 396 16.53 358.87/359.18 c 9772 2621 10452 1619147 154 111298 345109 9780 442 22.10 358.87/359.18 c 14708 2621 15388 1793634 116 121274 379620 14716 352 41.69 358.87/359.18 c 22216 2621 22896 3524182 153 136182 417583 22224 410 54.07 358.87/359.18 c 33577 2621 34257 5798334 169 158914 459342 33585 407 82.48 358.87/359.18 c 50721 2621 51401 8297130 161 193312 505277 50729 423 119.81 358.87/359.18 c 76541 2621 77221 13365979 173 244919 555805 76549 382 199.91 358.87/359.18 c 115373 2621 116053 16896866 145 322526 611386 115381 321 358.70 358.87/359.18 o 12265568 358.961 358.97/359.29 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 358.97/359.29 c 115396 2621 116077 16899978 145 324673 177092 115405 321 358.97 358.97/359.29 o 11564491 359.067 359.07/359.39 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 359.07/359.39 c 115396 2621 116078 16902104 145 326798 177092 115406 321 359.07 359.07/359.39 o 9983374 359.174 359.27/359.51 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 359.27/359.51 c 115396 2621 116079 16904230 145 328924 177092 115407 321 359.18 359.27/359.51 o 9982694 359.289 1800.05/1800.80 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1800.05/1800.80 c 115400 2621 116084 16907569 145 331058 177092 115412 321 359.29 1800.05/1800.80 c 115501 2621 116185 16916546 145 331259 194802 115513 320 359.85 1800.05/1800.80 c 115752 2621 116436 16962534 145 331758 214283 115764 320 360.71 1800.05/1800.80 c 116228 2621 116912 17013145 145 332732 235712 116240 319 364.19 1800.05/1800.80 c 117041 2621 117725 17222380 146 334442 259284 117053 316 370.35 1800.05/1800.80 c 118361 2621 119045 17592134 147 337046 285213 118373 307 385.21 1800.05/1800.80 c 120442 2621 121126 17955190 148 341199 313735 120454 307 392.30 1800.05/1800.80 c 123667 2621 124351 18079191 145 347694 345109 123679 296 416.42 1800.05/1800.80 c 128604 2621 129288 19354165 149 357465 379620 128616 301 427.25 1800.05/1800.80 c 136110 2621 136794 19912012 145 372509 417583 136122 285 477.07 1800.05/1800.80 c 147473 2621 148157 23429788 158 395274 459342 147485 288 511.28 1800.05/1800.80 c 164623 2621 165307 24942936 150 429480 505277 164635 271 605.60 1800.05/1800.80 c 190443 2621 191127 33042405 172 481159 555805 190455 265 718.48 1800.05/1800.80 c 229276 2621 229960 36575886 159 558829 611386 229288 218 1049.82 1800.05/1800.80 c 287628 2621 288312 54336667 188 675518 672525 287640 220 1305.41 1800.05/1800.80 c Caught signal: 15 1800.05/1800.80 v -x781 x782 x784 x785 -x786 -x787 x788 -x789 x790 x791 x792 -x793 x794 -x796 x797 -x798 x800 x801 x802 -x803 -x804 x805 x806 1800.05/1800.80 v -x808 -x810 -x811 -x813 -x814 -x815 -x817 -x818 x819 x821 -x822 x823 -x824 x825 -x827 -x828 -x829 x832 x833 -x834 -x835 -x836 1800.05/1800.80 v x837 -x840 x842 -x843 x844 -x845 -x848 -x850 -x851 -x852 x853 -x854 -x855 -x857 x859 -x860 -x861 x862 x863 x864 -x865 x866 1800.05/1800.80 v x867 -x869 x870 -x871 -x873 x874 x875 x877 -x878 -x881 x882 x884 -x885 -x886 -x887 x888 x889 x893 -x895 x896 -x897 x898 -x899 1800.05/1800.80 v x900 -x901 x903 x904 -x905 x906 -x908 -x909 x910 -x911 -x912 -x913 -x914 -x915 x917 -x918 -x919 x920 -x921 x922 x923 x924 x925 1800.05/1800.80 v x928 x929 -x931 x932 -x933 x937 -x942 x943 x944 x945 x946 x947 -x948 x949 x950 x951 -x952 -x953 x954 -x955 -x956 -x958 -x959 1800.05/1800.80 v x960 x962 -x963 -x964 -x966 -x967 -x968 -x969 -x970 x972 -x975 -x976 x977 -x978 x981 -x982 x983 x984 -x985 x986 -x987 x988 1800.05/1800.80 v -x989 -x990 -x991 -x992 x993 x994 -x995 -x996 x997 -x999 x1000 x1001 x1002 x1003 x1004 x1005 -x1007 x1008 -x1009 -x1010 -x1011 1800.05/1800.80 v -x1014 -x1015 x1016 x1017 x1018 -x1021 x1022 -x1023 -x1025 -x1026 -x1027 -x1028 x1029 -x1030 -x1031 -x1032 x1034 x1038 1800.05/1800.80 v -x1039 x1040 -x1041 -x1042 -x1043 -x1044 x1045 -x1046 -x1047 x1048 -x1049 -x1050 -x1051 -x1055 x1056 x1057 -x1058 x1059 1800.05/1800.80 v x1060 -x1061 -x1062 x1063 -x1065 x1066 -x1067 -x1068 -x1069 x1070 -x1071 x1072 x1073 -x1075 x1076 x1077 x1078 -x1079 -x1080 1800.05/1800.80 v -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 1800.05/1800.80 v -x1098 -x1099 -x1100 -x1101 x1102 x1103 x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 1800.05/1800.80 v -x1116 -x1117 -x1118 x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 x1131 -x1132 -x1133 1800.05/1800.80 v -x1134 -x1135 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 x1157 -x1158 -x1159 -x1160 -x1161 1800.05/1800.80 v -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 x1175 -x1176 -x1177 -x1178 1800.05/1800.80 v -x1179 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 1800.05/1800.80 v -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 1800.05/1800.80 v -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 1800.05/1800.80 v -x1241 x1242 -x1243 -x1244 -x1245 -x1246 x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 1800.05/1800.80 v -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 1800.05/1800.80 v -x1276 -x1277 x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 1800.05/1800.80 v x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 1800.05/1800.80 v -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 1800.05/1800.80 v -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 x1341 -x1342 -x1343 -x1344 1800.05/1800.80 v -x1345 -x1346 x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1367 -x1368 -x1369 -x1370 x1371 -x1372 -x1373 1800.05/1800.80 v -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 x1385 -x1386 -x1387 -x1388 -x1389 -x1390 1800.05/1800.80 v -x1391 -x1392 -x1393 -x1394 x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 1800.05/1800.80 v x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 1800.05/1800.80 v -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 1800.05/1800.80 v x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 x1453 -x1454 -x1455 x1456 -x1457 -x1458 -x1459 1800.05/1800.80 v -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 1800.05/1800.80 v -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 1800.05/1800.80 v -x1494 -x1495 -x1496 x1497 -x1498 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 1800.05/1800.80 v -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 1800.05/1800.80 v -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 1800.05/1800.80 v -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 x1581 -x1582 -x1583 1800.05/1800.80 v -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 1800.05/1800.80 v -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 1800.05/1800.80 v x1618 -x1619 -x1620 -x1621 -x1622 -x1623 x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 1800.05/1800.80 v -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 x1647 -x1648 -x1649 -x1650 -x1651 -x1652 1800.05/1800.80 v -x1653 -x1654 -x1655 -x1656 -x1657 x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 1800.05/1800.80 v x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 1800.05/1800.80 v -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 x1701 -x1702 -x1703 -x1704 1800.05/1800.80 v -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 x1718 -x1719 -x1720 -x1721 1800.05/1800.80 v -x1722 -x1723 -x1724 x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 x1737 -x1738 -x1739 1800.05/1800.80 v -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 x1751 -x1752 -x1753 -x1754 -x1755 -x1756 1800.05/1800.80 v -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 1800.05/1800.80 v -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 1800.05/1800.80 v -x1791 x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 1800.05/1800.80 v -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 1800.05/1800.80 v -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1851 -x1852 -x1853 1800.05/1800.80 v -x1854 x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 1800.05/1800.80 v x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 x1881 -x1882 -x1883 -x1895 -x1896 -x1897 -x1898 -x1899 1800.05/1800.80 v -x1900 -x1901 -x1902 -x1903 -x1904 x1905 -x1906 -x1907 x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 1800.05/1800.80 v -x1918 x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 x1930 -x1931 -x1932 -x1933 -x1934 -x1935 1800.05/1800.80 v -x1936 -x1937 -x1938 -x1939 -x1940 x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1972 -x1973 -x1974 1800.05/1800.80 v -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 1800.05/1800.80 v -x1992 -x1993 x1994 -x1995 x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 1800.05/1800.80 v -x2010 -x2011 x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 1800.05/1800.80 v -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 1800.05/1800.80 v x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 x2058 -x2059 -x2060 -x2061 1800.05/1800.80 v x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 x2075 -x2076 -x2077 -x2078 -x2079 1800.05/1800.80 v -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2104 -x2105 -x2106 -x2107 1800.05/1800.80 v x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 1800.05/1800.80 v -x2125 -x2126 -x2127 -x2128 -x2129 x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 1800.05/1800.80 v -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 1800.05/1800.80 v -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 1800.05/1800.80 v -x2176 -x2177 -x2178 -x2179 x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2203 1800.05/1800.80 v -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 x2220 1800.05/1800.80 v -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 1800.05/1800.80 v -x2238 -x2239 -x2240 -x2241 x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 x2250 -x2251 -x2252 -x2253 -x2254 -x2255 1800.05/1800.80 v -x2256 -x2257 -x2258 x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 1800.05/1800.80 v -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 x2279 -x2280 -x2281 x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 1800.05/1800.80 v -x2291 -x2292 -x2293 x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 x2307 -x2308 1800.05/1800.80 v -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 1800.05/1800.80 v x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 x2338 -x2339 -x2340 -x2341 -x2342 -x2343 1800.05/1800.80 v -x2344 -x2345 -x2346 -x2347 x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 1800.05/1800.80 v -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 1800.05/1800.80 v -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 1800.05/1800.80 v x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 1800.05/1800.80 v -x2412 -x2413 x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 1800.05/1800.80 v -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2456 1800.05/1800.80 v -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 1800.05/1800.80 v -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 1800.05/1800.80 v -x2491 -x2492 -x2493 -x2494 -x2495 x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 x2503 -x2504 -x2505 -x2506 -x2507 -x2508 1800.05/1800.80 v -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 1800.05/1800.80 v -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 1800.05/1800.80 v -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 1800.05/1800.80 v -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 x2573 -x2574 -x2575 -x2576 1800.05/1800.80 v -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 x2589 -x2590 -x2591 -x2592 -x2593 1800.05/1800.80 v -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 x2609 -x2610 1800.05/1800.80 v -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 x2624 -x2625 -x2626 -x2627 -x2628 1800.05/1800.80 v -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 1800.05/1800.80 v -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 x2658 -x2659 -x2660 -x2661 -x2662 1800.05/1800.80 v -x2663 -x2664 -x2676 -x2677 x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 1800.05/1800.80 v -x2691 -x2692 -x2693 -x2694 x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 x2704 -x2705 -x2706 -x2707 -x2708 1800.05/1800.80 v -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 1800.05/1800.80 v -x2726 -x2727 -x2728 -x2729 x2730 -x2731 x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 1800.05/1800.80 v x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 1800.05/1800.80 v -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 1800.05/1800.80 v -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 x2789 -x2790 -x2791 -x2792 -x2793 -x2794 1800.05/1800.80 v -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 x2810 -x2811 1800.05/1800.80 v -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 1800.05/1800.80 v -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 1800.05/1800.80 v -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 1800.05/1800.80 v -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 1800.05/1800.80 v -x2880 x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 x2892 -x2893 -x2894 -x2895 -x2896 -x2897 1800.05/1800.80 v -x2898 -x2899 -x2900 -x2901 x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 1800.05/1800.80 v -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 1800.05/1800.80 v -x2932 -x2933 x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 1800.05/1800.80 v -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 1800.05/1800.80 v -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 x2981 -x2982 1800.05/1800.80 v -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 1800.05/1800.80 v -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 1800.05/1800.80 v -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 1800.05/1800.80 v -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 1800.05/1800.80 v -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 1800.05/1800.80 v -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 1800.05/1800.80 v -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 1800.05/1800.80 v -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x1136 -x1137 -x1138 1800.05/1800.80 v -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 1800.05/1800.80 v -x1189 -x1190 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 x1366 -x1499 -x1500 -x1501 -x1502 1800.05/1800.80 v -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 1800.05/1800.80 v -x1542 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1884 -x1885 -x1886 -x1887 -x1888 1800.05/1800.80 v -x1889 -x1890 -x1891 -x1892 x1893 -x1894 -x1950 -x1951 -x1952 -x1953 -x1954 x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 1800.05/1800.80 v -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 1800.05/1800.80 v -x2100 -x2101 -x2102 x2103 -x2192 -x2193 -x2194 -x2195 -x2196 x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2445 -x2446 -x2447 1800.05/1800.80 v -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 1800.05/1800.80 v -x2674 -x2675 -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 1800.05/1800.80 v -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 1800.05/1800.80 v -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 1800.05/1800.80 v -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 1800.05/1800.80 v -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 x121 x122 -x123 -x124 -x125 1800.05/1800.80 v -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 1800.05/1800.80 v -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 1800.05/1800.80 v -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 1800.05/1800.80 v -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 1800.05/1800.80 v -x210 x211 x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 1800.05/1800.80 v -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 1800.05/1800.80 v -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 1800.05/1800.80 v -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 1800.05/1800.80 v -x294 -x295 -x296 -x297 -x298 -x299 -x300 x301 x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 1800.05/1800.80 v -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 1800.05/1800.80 v -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 1800.05/1800.80 v -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 1800.05/1800.80 v -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 x392 -x393 -x394 -x395 -x396 -x397 -x398 1800.05/1800.80 v -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 1800.05/1800.80 v -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 1800.05/1800.80 v -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 1800.05/1800.80 v -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 1800.05/1800.80 v -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 1800.05/1800.80 v -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 1800.05/1800.80 v -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 1800.05/1800.80 v -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 1800.05/1800.80 v -x567 -x568 -x569 -x570 x571 x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 1800.05/1800.80 v -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 1800.05/1800.80 v -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 1800.05/1800.80 v -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 1800.05/1800.80 v -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 1800.05/1800.80 v -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 x692 1800.05/1800.80 v -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 1800.05/1800.80 v -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 1800.05/1800.80 v -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 x751 -x752 -x753 -x754 -x755 1800.05/1800.80 v -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 1800.05/1800.80 v -x777 -x778 -x779 -x780 -x783 -x795 x799 -x807 x809 -x812 -x816 x820 x826 x830 x831 x838 -x839 -x841 x846 x847 -x849 x856 -x858 1800.05/1800.80 v -x868 -x872 -x876 x879 -x880 x883 x890 -x891 -x892 x894 -x902 -x907 -x916 -x926 -x927 x930 -x934 x935 -x936 x938 -x939 -x940 1800.05/1800.80 v x941 -x957 -x961 -x965 x971 x973 -x974 -x979 x980 x998 x1006 -x1012 -x1013 x1019 x1020 x1024 -x1033 -x1035 x1036 x1037 -x1052 1800.05/1800.80 v -x1053 x1054 x1064 x1074 1800.05/1800.80 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.05/1800.80 c 45 348418 91979 705173 349102 58311059 348430 193 1800.06 1800.05/1800.80 c Objective: 9982694 1800.05/1800.80 s SATISFIABLE 1800.05/1800.80 c Total time: 1800.06 s
OK 9982694
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node46/watcher-433175-1177955982 -o ROOT/results/node46/solver-433175-1177955982 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433175-1177955982/instance-433175-1177955982.opb 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): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.85 0.95 0.98 3/78 16838 /proc/meminfo: memFree=1737400/2055920 swapFree=4159800/4192956 [pid=16838] ppid=16836 vsize=3828 CPUtime=0 /proc/16838/stat : 16838 (bsolo3.0.17) R 16836 16838 16775 0 -1 4194304 160 0 0 0 0 0 0 0 18 0 1 0 150281401 3919872 141 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7764856 0 0 4096 0 0 0 0 17 1 0 0 /proc/16838/statm: 957 143 120 324 0 15 0 [startup+0.023374 s] /proc/loadavg: 0.85 0.95 0.98 3/78 16838 /proc/meminfo: memFree=1737400/2055920 swapFree=4159800/4192956 [pid=16838] ppid=16836 vsize=5720 CPUtime=0.01 /proc/16838/stat : 16838 (bsolo3.0.17) R 16836 16838 16775 0 -1 4194304 470 0 0 0 1 0 0 0 18 0 1 0 150281401 5857280 440 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134525046 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16838/statm: 1430 440 311 324 0 126 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 5720 [startup+0.101388 s] /proc/loadavg: 0.85 0.95 0.98 3/78 16838 /proc/meminfo: memFree=1737400/2055920 swapFree=4159800/4192956 [pid=16838] ppid=16836 vsize=6236 CPUtime=0.09 /proc/16838/stat : 16838 (bsolo3.0.17) R 16836 16838 16775 0 -1 4194304 772 0 0 0 9 0 0 0 18 0 1 0 150281401 6385664 742 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8230523 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16838/statm: 1559 743 479 324 0 255 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 6236 [startup+0.301424 s] /proc/loadavg: 0.85 0.95 0.98 3/78 16838 /proc/meminfo: memFree=1737400/2055920 swapFree=4159800/4192956 [pid=16838] ppid=16836 vsize=7424 CPUtime=0.29 /proc/16838/stat : 16838 (bsolo3.0.17) R 16836 16838 16775 0 -1 4194304 1637 0 0 0 29 0 0 0 19 0 1 0 150281401 7602176 1233 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134567634 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16838/statm: 1856 1233 303 324 0 926 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7424 [startup+0.701509 s] /proc/loadavg: 0.85 0.95 0.98 3/78 16838 /proc/meminfo: memFree=1737400/2055920 swapFree=4159800/4192956 [pid=16838] ppid=16836 vsize=7424 CPUtime=0.69 /proc/16838/stat : 16838 (bsolo3.0.17) R 16836 16838 16775 0 -1 4194304 1637 0 0 0 69 0 0 0 23 0 1 0 150281401 7602176 1233 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550887 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16838/statm: 1856 1233 303 324 0 926 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7424 [startup+1.50165 s] /proc/loadavg: 0.85 0.95 0.98 2/79 16839 /proc/meminfo: memFree=1733808/2055920 swapFree=4159800/4192956 [pid=16838] ppid=16836 vsize=7912 CPUtime=1.49 /proc/16838/stat : 16838 (bsolo3.0.17) R 16836 16838 16775 0 -1 4194304 1820 0 0 0 148 1 0 0 25 0 1 0 150281401 8101888 1334 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8224920 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16838/statm: 1978 1334 309 324 0 1048 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 7912 [startup+3.10195 s] /proc/loadavg: 0.85 0.95 0.98 2/79 16839 /proc/meminfo: memFree=1732912/2055920 swapFree=4159800/4192956 [pid=16838] ppid=16836 vsize=8436 CPUtime=3.09 /proc/16838/stat : 16838 (bsolo3.0.17) R 16836 16838 16775 0 -1 4194304 1979 0 0 0 308 1 0 0 25 0 1 0 150281401 8638464 1493 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551353 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16838/statm: 2109 1493 310 324 0 1179 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 8436 [startup+6.30154 s] /proc/loadavg: 0.87 0.95 0.98 2/79 16839 /proc/meminfo: memFree=1731632/2055920 swapFree=4159800/4192956 [pid=16838] ppid=16836 vsize=9992 CPUtime=6.29 /proc/16838/stat : 16838 (bsolo3.0.17) R 16836 16838 16775 0 -1 4194304 2357 0 0 0 628 1 0 0 25 0 1 0 150281401 10231808 1871 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16838/statm: 2498 1871 310 324 0 1568 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 9992 [startup+12.7017 s] /proc/loadavg: 0.88 0.95 0.98 2/79 16839 /proc/meminfo: memFree=1727088/2055920 swapFree=4159800/4192956 [pid=16838] ppid=16836 vsize=15308 CPUtime=12.69 /proc/16838/stat : 16838 (bsolo3.0.17) R 16836 16838 16775 0 -1 4194304 3687 0 0 0 1267 2 0 0 25 0 1 0 150281401 15675392 3201 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551096 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16838/statm: 3827 3201 310 324 0 2897 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 15308 [startup+25.5011 s] /proc/loadavg: 0.90 0.95 0.98 2/79 16839 /proc/meminfo: memFree=1712176/2055920 swapFree=4159800/4192956 [pid=16838] ppid=16836 vsize=28916 CPUtime=25.48 /proc/16838/stat : 16838 (bsolo3.0.17) R 16836 16838 16775 0 -1 4194304 7105 0 0 0 2544 4 0 0 25 0 1 0 150281401 29609984 6619 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16838/statm: 7229 6619 310 324 0 6299 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 28916 [startup+51.1018 s] /proc/loadavg: 0.93 0.96 0.98 2/79 16839 /proc/meminfo: memFree=1695152/2055920 swapFree=4159800/4192956 [pid=16838] ppid=16836 vsize=46744 CPUtime=51.07 /proc/16838/stat : 16838 (bsolo3.0.17) R 16836 16838 16775 0 -1 4194304 11562 0 0 0 5100 7 0 0 25 0 1 0 150281401 47865856 11076 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551330 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16838/statm: 11686 11076 310 324 0 10756 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 46744 [startup+102.305 s] /proc/loadavg: 0.97 0.96 0.98 2/85 16977 /proc/meminfo: memFree=1650040/2055920 swapFree=4159800/4192956 [pid=16838] ppid=16836 vsize=89556 CPUtime=102.2 /proc/16838/stat : 16838 (bsolo3.0.17) R 16836 16838 16775 0 -1 4194304 22260 0 0 0 10206 14 0 0 25 0 1 0 150281401 91705344 21774 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551356 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16838/statm: 22389 21774 310 324 0 21459 0 Current children cumulated CPU time (s) 102.2 Current children cumulated vsize (KiB) 89556 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.98 2/79 17037 /proc/meminfo: memFree=1584048/2055920 swapFree=4159800/4192956 [pid=16838] ppid=16836 vsize=157276 CPUtime=162.14 /proc/16838/stat : 16838 (bsolo3.0.17) R 16836 16838 16775 0 -1 4194304 39171 0 0 0 16188 26 0 0 25 0 1 0 150281401 161050624 38685 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16838/statm: 39319 38685 310 324 0 38389 0 Current children cumulated CPU time (s) 162.14 Current children cumulated vsize (KiB) 157276 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.98 2/79 17037 /proc/meminfo: memFree=1547888/2055920 swapFree=4159800/4192956 [pid=16838] ppid=16836 vsize=192852 CPUtime=222.12 /proc/16838/stat : 16838 (bsolo3.0.17) R 16836 16838 16775 0 -1 4194304 48058 0 0 0 22177 35 0 0 25 0 1 0 150281401 197480448 47572 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551189 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16838/statm: 48213 47572 310 324 0 47283 0 Current children cumulated CPU time (s) 222.12 Current children cumulated vsize (KiB) 192852 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.98 2/79 17037 /proc/meminfo: memFree=1518000/2055920 swapFree=4159800/4192956 [pid=16838] ppid=16836 vsize=222804 CPUtime=282.1 /proc/16838/stat : 16838 (bsolo3.0.17) R 16836 16838 16775 0 -1 4194304 55559 0 0 0 28169 41 0 0 25 0 1 0 150281401 228151296 55073 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551356 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16838/statm: 55701 55073 310 324 0 54771 0 Current children cumulated CPU time (s) 282.1 Current children cumulated vsize (KiB) 222804 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.98 2/79 17037 /proc/meminfo: memFree=1508080/2055920 swapFree=4159800/4192956 [pid=16838] ppid=16836 vsize=232448 CPUtime=342.07 /proc/16838/stat : 16838 (bsolo3.0.17) R 16836 16838 16775 0 -1 4194304 57988 0 0 0 34164 43 0 0 25 0 1 0 150281401 238026752 57502 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551179 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16838/statm: 58112 57502 310 324 0 57182 0 Current children cumulated CPU time (s) 342.07 Current children cumulated vsize (KiB) 232448 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.98 2/79 17037 /proc/meminfo: memFree=1490736/2055920 swapFree=4159800/4192956 [pid=16838] ppid=16836 vsize=249916 CPUtime=402.05 /proc/16838/stat : 16838 (bsolo3.0.17) R 16836 16838 16775 0 -1 4194304 62325 0 0 0 40157 48 0 0 25 0 1 0 150281401 255913984 61839 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551353 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16838/statm: 62479 61839 310 324 0 61549 0 Current children cumulated CPU time (s) 402.05 Current children cumulated vsize (KiB) 249916 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.98 2/79 17037 /proc/meminfo: memFree=1467184/2055920 swapFree=4159800/4192956 [pid=16838] ppid=16836 vsize=273348 CPUtime=462.04 /proc/16838/stat : 16838 (bsolo3.0.17) R 16836 16838 16775 0 -1 4194304 68208 0 0 0 46151 53 0 0 25 0 1 0 150281401 279908352 67722 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16838/statm: 68337 67722 310 324 0 67407 0 Current children cumulated CPU time (s) 462.04 Current children cumulated vsize (KiB) 273348 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.98 2/79 17037 /proc/meminfo: memFree=1416304/2055920 swapFree=4159800/4192956 [pid=16838] ppid=16836 vsize=324308 CPUtime=522.01 /proc/16838/stat : 16838 (bsolo3.0.17) R 16836 16838 16775 0 -1 4194304 80945 0 0 0 52141 60 0 0 25 0 1 0 150281401 332091392 80459 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16838/statm: 81077 80459 310 324 0 80147 0 Current children cumulated CPU time (s) 522.01 Current children cumulated vsize (KiB) 324308 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.98 2/79 17037 /proc/meminfo: memFree=1402416/2055920 swapFree=4159800/4192956 [pid=16838] ppid=16836 vsize=338112 CPUtime=581.99 /proc/16838/stat : 16838 (bsolo3.0.17) R 16836 16838 16775 0 -1 4194304 84390 0 0 0 58135 64 0 0 25 0 1 0 150281401 346226688 83904 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551061 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16838/statm: 84528 83904 310 324 0 83598 0 Current children cumulated CPU time (s) 581.99 Current children cumulated vsize (KiB) 338112 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.98 2/79 17037 /proc/meminfo: memFree=1360816/2055920 swapFree=4159800/4192956 [pid=16838] ppid=16836 vsize=379592 CPUtime=641.97 /proc/16838/stat : 16838 (bsolo3.0.17) R 16836 16838 16775 0 -1 4194304 94744 0 0 0 64127 70 0 0 25 0 1 0 150281401 388702208 94258 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16838/statm: 94898 94258 310 324 0 93968 0 Current children cumulated CPU time (s) 641.97 Current children cumulated vsize (KiB) 379592 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.07 0.99 0.99 2/79 17037 /proc/meminfo: memFree=1263600/2055920 swapFree=4159800/4192956 [pid=16838] ppid=16836 vsize=476748 CPUtime=881.88 /proc/16838/stat : 16838 (bsolo3.0.17) R 16836 16838 16775 0 -1 4194304 119033 0 0 0 88098 90 0 0 25 0 1 0 150281401 488189952 118547 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550726 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16838/statm: 119187 118547 310 324 0 118257 0 Current children cumulated CPU time (s) 881.88 Current children cumulated vsize (KiB) 476748 [startup+942.302 s] /proc/loadavg: 1.03 0.99 0.99 2/79 17037 /proc/meminfo: memFree=1255600/2055920 swapFree=4159800/4192956 [pid=16838] ppid=16836 vsize=484676 CPUtime=941.86 /proc/16838/stat : 16838 (bsolo3.0.17) R 16836 16838 16775 0 -1 4194304 121034 0 0 0 94094 92 0 0 25 0 1 0 150281401 496308224 120548 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8236686 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16838/statm: 121169 120548 310 324 0 120239 0 Current children cumulated CPU time (s) 941.86 Current children cumulated vsize (KiB) 484676 [startup+1002.3 s] /proc/loadavg: 1.01 0.99 0.99 2/79 17037 /proc/meminfo: memFree=1247664/2055920 swapFree=4159800/4192956 [pid=16838] ppid=16836 vsize=492616 CPUtime=1001.84 /proc/16838/stat : 16838 (bsolo3.0.17) R 16836 16838 16775 0 -1 4194304 123002 0 0 0 100089 95 0 0 25 0 1 0 150281401 504438784 122516 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551330 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16838/statm: 123154 122516 310 324 0 122224 0 Current children cumulated CPU time (s) 1001.84 Current children cumulated vsize (KiB) 492616 [startup+1062.3 s] /proc/loadavg: 1.00 0.99 0.99 2/79 17037 /proc/meminfo: memFree=1230896/2055920 swapFree=4159800/4192956 [pid=16838] ppid=16836 vsize=510156 CPUtime=1061.82 /proc/16838/stat : 16838 (bsolo3.0.17) R 16836 16838 16775 0 -1 4194304 127402 0 0 0 106083 99 0 0 25 0 1 0 150281401 522399744 126916 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8229779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16838/statm: 127539 126916 310 324 0 126609 0 Current children cumulated CPU time (s) 1061.82 Current children cumulated vsize (KiB) 510156 [startup+1122.3 s] /proc/loadavg: 1.00 0.99 0.99 2/79 17037 /proc/meminfo: memFree=1168560/2055920 swapFree=4159800/4192956 [pid=16838] ppid=16836 vsize=571904 CPUtime=1121.79 /proc/16838/stat : 16838 (bsolo3.0.17) R 16836 16838 16775 0 -1 4194304 142833 0 0 0 112071 108 0 0 25 0 1 0 150281401 585629696 142347 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8230523 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16838/statm: 142976 142347 310 324 0 142046 0 Current children cumulated CPU time (s) 1121.79 Current children cumulated vsize (KiB) 571904 [startup+1182.3 s] /proc/loadavg: 1.00 0.99 0.99 2/79 17037 /proc/meminfo: memFree=1109552/2055920 swapFree=4159800/4192956 [pid=16838] ppid=16836 vsize=631268 CPUtime=1181.77 /proc/16838/stat : 16838 (bsolo3.0.17) R 16836 16838 16775 0 -1 4194304 157682 0 0 0 118057 120 0 0 25 0 1 0 150281401 646418432 157196 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551175 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16838/statm: 157817 157196 310 324 0 156887 0 Current children cumulated CPU time (s) 1181.77 Current children cumulated vsize (KiB) 631268 [startup+1242.3 s] /proc/loadavg: 1.00 0.99 0.99 2/79 17037 /proc/meminfo: memFree=1057584/2055920 swapFree=4159800/4192956 [pid=16838] ppid=16836 vsize=682740 CPUtime=1241.75 /proc/16838/stat : 16838 (bsolo3.0.17) R 16836 16838 16775 0 -1 4194304 170531 0 0 0 124044 131 0 0 25 0 1 0 150281401 699125760 170045 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551079 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16838/statm: 170685 170045 310 324 0 169755 0 Current children cumulated CPU time (s) 1241.75 Current children cumulated vsize (KiB) 682740 [startup+1302.3 s] /proc/loadavg: 1.00 0.99 0.99 2/79 17037 /proc/meminfo: memFree=1011696/2055920 swapFree=4159800/4192956 [pid=16838] ppid=16836 vsize=728008 CPUtime=1301.73 /proc/16838/stat : 16838 (bsolo3.0.17) R 16836 16838 16775 0 -1 4194304 181867 0 0 0 130034 139 0 0 25 0 1 0 150281401 745480192 181381 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134548167 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16838/statm: 182002 181381 310 324 0 181072 0 Current children cumulated CPU time (s) 1301.73 Current children cumulated vsize (KiB) 728008 [startup+1362.3 s] /proc/loadavg: 1.00 0.99 0.99 2/79 17037 /proc/meminfo: memFree=1003440/2055920 swapFree=4159800/4192956 [pid=16838] ppid=16836 vsize=736340 CPUtime=1361.71 /proc/16838/stat : 16838 (bsolo3.0.17) R 16836 16838 16775 0 -1 4194304 183953 0 0 0 136028 143 0 0 25 0 1 0 150281401 754012160 183467 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551061 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16838/statm: 184085 183467 310 324 0 183155 0 Current children cumulated CPU time (s) 1361.71 Current children cumulated vsize (KiB) 736340 [startup+1422.31 s] /proc/loadavg: 1.00 0.99 0.99 2/79 17037 /proc/meminfo: memFree=992752/2055920 swapFree=4159800/4192956 [pid=16838] ppid=16836 vsize=746920 CPUtime=1421.69 /proc/16838/stat : 16838 (bsolo3.0.17) R 16836 16838 16775 0 -1 4194304 186601 0 0 0 142024 145 0 0 25 0 1 0 150281401 764846080 186115 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551076 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16838/statm: 186730 186115 310 324 0 185800 0 Current children cumulated CPU time (s) 1421.69 Current children cumulated vsize (KiB) 746920 [startup+1482.3 s] /proc/loadavg: 1.00 0.99 0.99 2/79 17037 /proc/meminfo: memFree=984560/2055920 swapFree=4159800/4192956 [pid=16838] ppid=16836 vsize=755136 CPUtime=1481.66 /proc/16838/stat : 16838 (bsolo3.0.17) R 16836 16838 16775 0 -1 4194304 188655 0 0 0 148018 148 0 0 25 0 1 0 150281401 773259264 188169 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550913 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16838/statm: 188784 188169 310 324 0 187854 0 Current children cumulated CPU time (s) 1481.66 Current children cumulated vsize (KiB) 755136 [startup+1542.3 s] /proc/loadavg: 1.00 0.99 0.99 2/79 17037 /proc/meminfo: memFree=976880/2055920 swapFree=4159800/4192956 [pid=16838] ppid=16836 vsize=762812 CPUtime=1541.64 /proc/16838/stat : 16838 (bsolo3.0.17) R 16836 16838 16775 0 -1 4194304 190567 0 0 0 154014 150 0 0 25 0 1 0 150281401 781119488 190081 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551175 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16838/statm: 190703 190081 310 324 0 189773 0 Current children cumulated CPU time (s) 1541.64 Current children cumulated vsize (KiB) 762812 [startup+1602.3 s] /proc/loadavg: 1.00 0.99 0.99 2/79 17037 /proc/meminfo: memFree=970416/2055920 swapFree=4159800/4192956 [pid=16838] ppid=16836 vsize=769336 CPUtime=1601.62 /proc/16838/stat : 16838 (bsolo3.0.17) R 16836 16838 16775 0 -1 4194304 192210 0 0 0 160009 153 0 0 25 0 1 0 150281401 787800064 191724 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16838/statm: 192334 191724 310 324 0 191404 0 Current children cumulated CPU time (s) 1601.62 Current children cumulated vsize (KiB) 769336 [startup+1662.3 s] /proc/loadavg: 1.00 0.99 0.99 2/79 17037 /proc/meminfo: memFree=965040/2055920 swapFree=4159800/4192956 [pid=16838] ppid=16836 vsize=774548 CPUtime=1661.6 /proc/16838/stat : 16838 (bsolo3.0.17) R 16836 16838 16775 0 -1 4194304 193504 0 0 0 166005 155 0 0 25 0 1 0 150281401 793137152 193018 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551330 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16838/statm: 193637 193018 310 324 0 192707 0 Current children cumulated CPU time (s) 1661.6 Current children cumulated vsize (KiB) 774548 [startup+1722.3 s] /proc/loadavg: 1.00 0.99 0.99 2/79 17037 /proc/meminfo: memFree=959344/2055920 swapFree=4159800/4192956 [pid=16838] ppid=16836 vsize=780304 CPUtime=1721.58 /proc/16838/stat : 16838 (bsolo3.0.17) R 16836 16838 16775 0 -1 4194304 194951 0 0 0 172001 157 0 0 25 0 1 0 150281401 799031296 194465 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551012 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16838/statm: 195076 194465 310 324 0 194146 0 Current children cumulated CPU time (s) 1721.58 Current children cumulated vsize (KiB) 780304 [startup+1782.3 s] /proc/loadavg: 1.00 0.99 0.99 2/79 17037 /proc/meminfo: memFree=953072/2055920 swapFree=4159800/4192956 [pid=16838] ppid=16836 vsize=786556 CPUtime=1781.56 /proc/16838/stat : 16838 (bsolo3.0.17) R 16836 16838 16775 0 -1 4194304 196497 0 0 0 177998 158 0 0 25 0 1 0 150281401 805433344 196011 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16838/statm: 196639 196011 310 324 0 195709 0 Current children cumulated CPU time (s) 1781.56 Current children cumulated vsize (KiB) 786556 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.8 s] /proc/loadavg: 1.00 0.99 0.99 2/79 17037 /proc/meminfo: memFree=951280/2055920 swapFree=4159800/4192956 [pid=16838] ppid=16836 vsize=788384 CPUtime=1800.05 /proc/16838/stat : 16838 (bsolo3.0.17) R 16836 16838 16775 0 -1 4194304 196941 0 0 0 179847 158 0 0 25 0 1 0 150281401 807305216 196455 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16838/statm: 197096 196455 310 324 0 196166 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 788384 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.91 s] /proc/loadavg: 1.00 0.99 0.99 2/79 17037 /proc/meminfo: memFree=951280/2055920 swapFree=4159800/4192956 [pid=16838] ppid=16836 vsize=0 CPUtime=1800.15 /proc/16838/stat : 16838 (bsolo3.0.17) R 16836 16838 16775 0 -1 4194308 196945 0 0 0 179847 168 0 0 25 0 1 0 150281401 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0 /proc/16838/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.15 Current children cumulated vsize (KiB) 0 Child status: 15 Real time (s): 1800.96 CPU time (s): 1800.19 CPU user time (s): 1798.48 CPU system time (s): 1.71074 CPU usage (%): 99.9574 Max. virtual memory (cumulated for all children) (KiB): 788384 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.48 system time used= 1.71074 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 196945 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= 13 involuntary context switches= 37768 runsolver used 1.76573 second user time and 4.18136 second system time The end
Begin job on node46 on Mon Apr 30 17:59:44 UTC 2007 IDJOB= 433175 IDBENCH= 2327 IDSOLVER= 199 FILE ID= node46/433175-1177955982 PBS_JOBID= 4727727 Free space on /tmp= 66212 MiB SOLVER NAME= bsolo 3.0.17 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos17.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/433175-1177955982/instance-433175-1177955982.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node46/watcher-433175-1177955982 -o ROOT/results/node46/solver-433175-1177955982 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433175-1177955982/instance-433175-1177955982.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= 6ec9fbaf74a275630384576eed2d57d7 RANDOM SEED= 287920015 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node46.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.268 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5931.00 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.268 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1738000 kB Buffers: 40760 kB Cached: 183048 kB SwapCached: 2972 kB Active: 126320 kB Inactive: 121240 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1738000 kB SwapTotal: 4192956 kB SwapFree: 4159800 kB Dirty: 8272 kB Writeback: 0 kB Mapped: 31320 kB Slab: 55740 kB Committed_AS: 3557780 kB PageTables: 1992 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66212 MiB End job on node46 on Mon Apr 30 18:29:47 UTC 2007