Trace number 36312

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds, and are wall clock time (not CPU time).

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerObjective functionCPU timeWall clock time
Pueblo 1.4SAT53 1782.73 1783.26

General information on the benchmark

Namenormalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/
miplib/normalized-mps-v2-20-10-vpm1.opb
MD5SUM019e5a614038472d624f56ab4ecfb30e
Bench CategoryOPT-MEDINT (optimisation, medium integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark38
Best CPU time to get the best result obtained on this benchmark1782.73
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 38
Optimality of the best value was proved NO
Number of variables2754
Total number of constraints444
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints444
Minimum length of a constraint11
Maximum length of a constraint82
Number of terms in the objective function 168
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 168
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 819200
Number of bits of the biggest number in a constraint 20
Biggest sum of numbers in a constraint 4941871
Number of bits of the biggest sum of numbers23
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data (download as text)

0.00	c Pueblo version 1.4 (September 2005)
0.00	c Developed @ University of Michigan, Ann Arbor, MI
0.00	c  by Hossein Sheini
0.05	c starting to Solve
0.05	c #variables read: 2754 - #constraints read: 487
373.02	o 72
373.02	o 71
373.04	o 70
373.11	o 69
378.06	o 63
378.07	o 62
387.55	o 61
387.55	o 60
387.56	o 59
390.21	o 58
449.51	o 57
449.95	o 56
468.52	o 55
819.01	o 54
819.02	o 53
1783.25	c total time              : 1783 s
1783.25	s SATISFIABLE
1783.25	v -x2587 -x2588 x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 x2596 -x2597 -x2598 -x2599 x2600 -x2601 x2602 -x2603 x2604
1783.25	v x2605 x2606 x2607 -x2608 -x2609 x2610 -x2611 x2612 x2613 x2614 x2615 -x2616 -x2617 x2618 x2619 x2620 x2621 -x2622 -x2623
1783.25	v x2624 x2625 -x2626 x2627 -x2628 -x2629 -x2630 x2631 x2632 x2633 -x2634 -x2635 -x2636 -x2637 x2638 x2639 -x2640 -x2641 -x2642
1783.25	v -x2643 x2644 x2645 -x2646 -x2647 -x2648 -x2649 x2650 x2651 -x2652 -x2653 -x2654 -x2655 x2656 x2657 -x2658 -x2659 -x2660
1783.25	v -x2661 -x2662 x2663 x2664 -x2665 -x2666 -x2667 -x2668 x2669 x2670 -x2671 -x2672 -x2673 -x2674 -x2675 x2676 -x2677 -x2678
1783.25	v -x2679 -x2680 x2681 x2682 -x2683 -x2684 -x2685 x2686 -x2687 x2688 -x2689 -x2690 -x2691 x2692 -x2693 x2694 -x2695 -x2696
1783.25	v -x2697 x2698 -x2699 x2700 -x2701 -x2702 -x2703 x2704 -x2705 x2706 x2707 x2708 -x2709 -x2710 -x2711 -x2712 x2713 -x2714
1783.25	v -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731
1783.25	v -x2732 x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 x2744 x2745 -x2746 -x2747 -x2748 -x2749
1783.25	v -x2750 x2751 -x2752 -x2753 -x2754 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753
1783.25	v -x754 -x755 -x756 -x757 -x758 -x759 -x760 x761 x762 x763 x764 -x765 x766 x767 x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775
1783.25	v -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796
1783.25	v -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817
1783.25	v -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838
1783.25	v -x839 x840 x841 x842 x843 x844 x845 x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860
1783.25	v -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881
1783.25	v -x882 -x883 -x884 -x885 -x886 -x887 -x888 x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902
1783.25	v -x903 x904 x905 -x906 -x907 -x908 -x909 -x910 x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923
1783.25	v -x924 -x925 -x926 -x927 -x928 -x929 x930 x931 x932 x933 x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945
1783.25	v -x946 x947 -x948 x949 -x950 x951 -x952 -x953 -x954 x955 x956 x957 -x958 -x959 -x960 x961 x962 -x963 x964 -x965 -x966 x967 x968
1783.25	v -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989
1783.25	v -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 x998 x999 -x1000 x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008
1783.25	v -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 x1015 x1016 x1017 x1018 x1019 -x1020 x1021 -x1022 -x1023 -x1024 -x1025 -x1026
1783.25	v x1027 x1028 -x1029 x1030 x1031 x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 x1041 -x1042 -x1043 -x1044
1783.25	v -x1045 -x1046 x1047 x1048 x1049 x1050 x1051 x1052 x1053 x1054 x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063
1783.25	v -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 x1080
1783.25	v -x1081 -x1082 x1083 x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098
1783.25	v -x1099 -x1100 x1101 -x1102 x1103 -x1104 -x1105 -x1106 -x1107 -x1108 x1109 -x1110 -x1111 -x1112 x1113 -x1114 x1115 x1116
1783.25	v x1117 x1118 x1119 x1120 x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134
1783.25	v -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 x1147 x1148 -x1149 x1150 -x1151 x1152
1783.25	v x1153 -x1154 -x1155 -x1156 x1157 -x1158 x1159 x1160 x1161 x1162 x1163 x1164 x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171
1783.25	v -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 x1179 -x1180 x1181 x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189
1783.25	v -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206
1783.25	v -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 x1223
1783.25	v x1224 x1225 x1226 x1227 x1228 x1229 -x1230 -x1231 -x1232 -x1233 x1234 -x1235 x1236 -x1237 x1238 x1239 -x1240 x1241 x1242
1783.25	v -x1243 -x1244 x1245 x1246 x1247 x1248 x1249 x1250 x1251 x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261
1783.25	v -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278
1783.25	v -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295
1783.25	v -x1296 -x1297 -x1298 -x1299 x1300 -x1301 x1302 x1303 x1304 -x1305 x1306 x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313
1783.25	v -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330
1783.25	v -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347
1783.25	v -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364
1783.25	v -x1365 x1366 x1367 x1368 x1369 -x1370 x1371 x1372 -x1373 -x1374 -x1375 -x1376 x1377 x1378 -x1379 x1380 -x1381 -x1382 -x1383
1783.25	v x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400
1783.25	v -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417
1783.25	v -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 x1434
1783.25	v x1435 x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 x1444 -x1445 -x1446 x1447 x1448 x1449 x1450 x1451 x1452 -x1453
1783.25	v -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470
1783.25	v -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487
1783.25	v -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 x1498 x1499 x1500 x1501 x1502 -x1503 -x1504 x1505
1783.25	v -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522
1783.25	v -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539
1783.25	v -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556
1783.25	v -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573
1783.25	v -x1574 x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 x1586 x1587 x1588 x1589 x1590 x1591
1783.25	v x1592 -x1593 x1594 x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609
1783.25	v -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626
1783.25	v -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 x1641 x1642 x1643 x1644
1783.25	v x1645 x1646 x1647 x1648 -x1649 -x1650 -x1651 -x1652 x1653 -x1654 x1655 x1656 -x1657 -x1658 -x1659 x1660 x1661 -x1662 -x1663
1783.25	v -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680
1783.25	v -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697
1783.25	v -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714
1783.25	v -x1715 -x1716 -x1717 -x1718 x1719 x1720 x1721 -x1722 -x1723 x1724 -x1725 x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732
1783.25	v -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749
1783.25	v -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766
1783.25	v -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 x1780 -x1781 x1782 -x1783 -x1784
1783.25	v -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801
1783.25	v -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818
1783.25	v -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 x1828 x1829 x1830 x1831 x1832 x1833 x1834 -x1835 -x1836
1783.25	v -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 x1850 x1851 x1852 x1853 x1854
1783.25	v x1855 x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872
1783.25	v -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889
1783.25	v -x1890 -x1891 -x1892 -x1893 x1894 x1895 -x1896 -x1897 x1898 x1899 x1900 x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907
1783.25	v -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 x1916 x1917 -x1918 -x1919 -x1920 x1921 x1922 x1923 -x1924 -x1925
1783.25	v -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942
1783.25	v -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959
1783.25	v -x1960 x1961 x1962 x1963 x1964 x1965 x1966 x1967 x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978
1783.25	v -x1979 -x1980 -x1981 -x1982 x1983 x1984 x1985 x1986 x1987 -x1988 x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996
1783.25	v -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013
1783.25	v -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 x2026 x2027 x2028 x2029 -x2030 -x2031
1783.25	v -x2032 x2033 x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 x2048 x2049
1783.25	v x2050 x2051 x2052 x2053 -x2054 -x2055 -x2056 -x2057 -x2058 x2059 x2060 -x2061 -x2062 x2063 x2064 -x2065 x2066 -x2067 x2068
1783.25	v -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 x2078 x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086
1783.25	v -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103
1783.25	v -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120
1783.25	v -x2121 -x2122 -x2123 -x2124 x2125 x2126 -x2127 x2128 x2129 x2130 x2131 x2132 x2133 x2134 -x2135 -x2136 -x2137 -x2138 -x2139
1783.25	v -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156
1783.25	v -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173
1783.25	v -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190
1783.25	v -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207
1783.25	v -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224
1783.25	v -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241
1783.25	v -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258
1783.25	v -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275
1783.25	v -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292
1783.25	v -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309
1783.25	v -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326
1783.25	v -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343
1783.25	v -x2344 -x2345 x2346 x2347 x2348 x2349 x2350 x2351 x2352 x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362
1783.25	v -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379
1783.25	v -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396
1783.25	v -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413
1783.25	v -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430
1783.25	v -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447
1783.25	v -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464
1783.25	v -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 x2475 -x2476 x2477 x2478 -x2479 -x2480 -x2481 -x2482
1783.25	v -x2483 -x2484 -x2485 x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499
1783.25	v -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516
1783.25	v -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533
1783.25	v -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 x2543 -x2544 x2545 -x2546 x2547 -x2548 x2549 -x2550 -x2551
1783.25	v -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568
1783.25	v -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585
1783.25	v -x2586 -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
1783.25	v 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
1783.25	v -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
1783.25	v -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
1783.25	v -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 x122 -x123 -x124 x125 x126 -x127
1783.25	v -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 x147 -x148
1783.25	v -x149 -x150 -x151 -x152 -x153 x154 x155 x156 x157 x158 x159 x160 -x161 x162 -x163 -x164 x165 -x166 -x167 x168 x169 -x170 -x171
1783.25	v -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192
1783.25	v -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213
1783.25	v -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 x229 -x230 -x231 x232 x233 -x234
1783.25	v -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 x246 -x247 -x248 x249 x250 -x251 -x252 -x253 -x254 -x255
1783.25	v -x256 -x257 -x258 -x259 -x260 -x261 -x262 x263 -x264 -x265 x266 x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276
1783.25	v -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 x288 -x289 -x290 x291 x292 -x293 -x294 -x295 -x296 -x297
1783.25	v -x298 -x299 -x300 -x301 -x302 -x303 -x304 x305 -x306 -x307 x308 x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318
1783.25	v -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 x331 -x332 -x333 x334 x335 -x336 -x337 -x338 -x339
1783.25	v -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 x348 -x349 -x350 x351 x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360
1783.25	v -x361 -x362 -x363 -x364 x365 -x366 -x367 x368 x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381
1783.25	v x382 -x383 -x384 x385 x386 -x387 -x388 x389 x390 x391 -x392 -x393 x394 x395 -x396 x397 x398 x399 -x400 x401 -x402 x403 -x404
1783.25	v -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425
1783.25	v -x426 -x427 -x428 -x429 -x430 -x431 -x432 x433 x434 -x435 x436 -x437 -x438 x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446
1783.25	v -x447 -x448 -x449 -x450 -x451 x452 x453 -x454 x455 -x456 -x457 x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467
1783.25	v -x468 -x469 -x470 x471 x472 -x473 x474 -x475 -x476 x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488
1783.25	v -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509
1783.25	v -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530
1783.25	v -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551
1783.25	v -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 x562 -x563 -x564 x565 x566 -x567 -x568 -x569 -x570 -x571 -x572
1783.25	v -x573 -x574 -x575 -x576 -x577 -x578 x579 -x580 -x581 x582 x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593
1783.25	v -x594 -x595 x596 -x597 -x598 x599 x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 x613 -x614
1783.25	v -x615 x616 x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 x630 -x631 -x632 x633 x634 -x635 -x636
1783.25	v -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 x649 -x650 -x651 x652 x653 -x654 -x655 -x656 -x657
1783.25	v -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678
1783.25	v -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699
1783.25	v -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720
1783.25	v -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738

Verifier Data (download as text)

OK	53

Watcher Data (download as text)

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGKILL): 1843200 Kb
Enforcing VSIZE limit: 1887436800 bytes
runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node85/watcher-36312-1149322982 -o ROOT/results/node85/solver-36312-1149322982 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node85/36312-1149322982/instance-36312-1149322982.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.92 0.98 0.99 2/68 20233
/proc/meminfo: memFree=1756656/2055892 swapFree=4085348/4096564
[pid=20233] ppid=20231 vsize=968 CPUtime=0
/proc/20233/stat : 20233 (Pueblo) R 20231 20233 20187 0 -1 4194304 49 0 0 0 0 0 0 0 18 0 1 0 197937404 991232 34 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 11735988 0 0 4096 0 0 0 0 17 1 0 0
/proc/20233/statm: 277 38 29 16 0 8 0

[startup+10.0023 s]
/proc/loadavg: 0.93 0.98 0.99 2/68 20233
/proc/meminfo: memFree=1753776/2055892 swapFree=4085348/4096564
[pid=20233] ppid=20231 vsize=5268 CPUtime=9.99
/proc/20233/stat : 20233 (Pueblo) R 20231 20233 20187 0 -1 4194304 934 0 0 0 999 0 0 0 25 0 1 0 197937404 5394432 906 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527973 0 0 4096 0 0 0 0 17 1 0 0
/proc/20233/statm: 1317 906 205 16 0 757 0
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (Kb) 5268

[startup+20.0084 s]
/proc/loadavg: 0.94 0.98 0.99 2/68 20233
/proc/meminfo: memFree=1753840/2055892 swapFree=4085348/4096564
[pid=20233] ppid=20231 vsize=5268 CPUtime=20
/proc/20233/stat : 20233 (Pueblo) R 20231 20233 20187 0 -1 4194304 934 0 0 0 2000 0 0 0 25 0 1 0 197937404 5394432 906 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528028 0 0 4096 0 0 0 0 17 1 0 0
/proc/20233/statm: 1317 906 205 16 0 757 0
Current children cumulated CPU time (s) 20
Current children cumulated vsize (Kb) 5268

[startup+30.0146 s]
/proc/loadavg: 0.95 0.98 0.99 2/68 20233
/proc/meminfo: memFree=1752816/2055892 swapFree=4085348/4096564
[pid=20233] ppid=20231 vsize=6300 CPUtime=30
/proc/20233/stat : 20233 (Pueblo) R 20231 20233 20187 0 -1 4194304 1204 0 0 0 3000 0 0 0 25 0 1 0 197937404 6451200 1176 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528322 0 0 4096 0 0 0 0 17 1 0 0
/proc/20233/statm: 1575 1176 205 16 0 1015 0
Current children cumulated CPU time (s) 30
Current children cumulated vsize (Kb) 6300

[startup+40.0198 s]
/proc/loadavg: 0.96 0.98 0.99 2/68 20233
/proc/meminfo: memFree=1752880/2055892 swapFree=4085348/4096564
[pid=20233] ppid=20231 vsize=6432 CPUtime=40
/proc/20233/stat : 20233 (Pueblo) R 20231 20233 20187 0 -1 4194304 1215 0 0 0 4000 0 0 0 25 0 1 0 197937404 6586368 1187 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528527 0 0 4096 0 0 0 0 17 1 0 0
/proc/20233/statm: 1608 1187 205 16 0 1048 0
Current children cumulated CPU time (s) 40
Current children cumulated vsize (Kb) 6432

[startup+50.0259 s]
/proc/loadavg: 0.96 0.98 0.99 2/68 20233
/proc/meminfo: memFree=1752560/2055892 swapFree=4085348/4096564
[pid=20233] ppid=20231 vsize=6700 CPUtime=50
/proc/20233/stat : 20233 (Pueblo) R 20231 20233 20187 0 -1 4194304 1283 0 0 0 5000 0 0 0 25 0 1 0 197937404 6860800 1255 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559019 0 0 4096 0 0 0 0 17 1 0 0
/proc/20233/statm: 1675 1255 205 16 0 1115 0
Current children cumulated CPU time (s) 50
Current children cumulated vsize (Kb) 6700

[startup+60.0321 s]
/proc/loadavg: 0.97 0.98 0.99 2/68 20233
/proc/meminfo: memFree=1751088/2055892 swapFree=4085348/4096564
[pid=20233] ppid=20231 vsize=8120 CPUtime=60
/proc/20233/stat : 20233 (Pueblo) R 20231 20233 20187 0 -1 4194304 1645 0 0 0 6000 0 0 0 25 0 1 0 197937404 8314880 1617 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527726 0 0 4096 0 0 0 0 17 1 0 0
/proc/20233/statm: 2030 1617 205 16 0 1470 0
Current children cumulated CPU time (s) 60
Current children cumulated vsize (Kb) 8120

[startup+70.0383 s]
/proc/loadavg: 0.97 0.98 0.99 2/68 20233
/proc/meminfo: memFree=1748912/2055892 swapFree=4085348/4096564
[pid=20233] ppid=20231 vsize=10036 CPUtime=70
/proc/20233/stat : 20233 (Pueblo) R 20231 20233 20187 0 -1 4194304 2243 0 0 0 7000 0 0 0 25 0 1 0 197937404 10276864 2117 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134532106 0 0 4096 0 0 0 0 17 1 0 0
/proc/20233/statm: 2509 2117 205 16 0 1949 0
Current children cumulated CPU time (s) 70
Current children cumulated vsize (Kb) 10036

[startup+80.0444 s]
/proc/loadavg: 0.98 0.98 0.99 2/68 20233
/proc/meminfo: memFree=1748912/2055892 swapFree=4085348/4096564
[pid=20233] ppid=20231 vsize=10036 CPUtime=80.01
/proc/20233/stat : 20233 (Pueblo) R 20231 20233 20187 0 -1 4194304 2243 0 0 0 8001 0 0 0 25 0 1 0 197937404 10276864 2117 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134519910 0 0 4096 0 0 0 0 17 1 0 0
/proc/20233/statm: 2509 2117 205 16 0 1949 0
Current children cumulated CPU time (s) 80.01
Current children cumulated vsize (Kb) 10036

[startup+90.0506 s]
/proc/loadavg: 0.98 0.98 0.99 2/68 20233
/proc/meminfo: memFree=1748976/2055892 swapFree=4085348/4096564
[pid=20233] ppid=20231 vsize=10036 CPUtime=90.01
/proc/20233/stat : 20233 (Pueblo) R 20231 20233 20187 0 -1 4194304 2243 0 0 0 9001 0 0 0 25 0 1 0 197937404 10276864 2117 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134519890 0 0 4096 0 0 0 0 17 1 0 0
/proc/20233/statm: 2509 2117 205 16 0 1949 0
Current children cumulated CPU time (s) 90.01
Current children cumulated vsize (Kb) 10036

[startup+100.056 s]
/proc/loadavg: 0.98 0.98 0.99 2/68 20233
/proc/meminfo: memFree=1748976/2055892 swapFree=4085348/4096564
[pid=20233] ppid=20231 vsize=10036 CPUtime=100.01
/proc/20233/stat : 20233 (Pueblo) R 20231 20233 20187 0 -1 4194304 2243 0 0 0 10001 0 0 0 25 0 1 0 197937404 10276864 2117 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134557336 0 0 4096 0 0 0 0 17 1 0 0
/proc/20233/statm: 2509 2117 205 16 0 1949 0
Current children cumulated CPU time (s) 100.01
Current children cumulated vsize (Kb) 10036

[startup+110.062 s]
/proc/loadavg: 0.98 0.98 0.99 2/68 20233
/proc/meminfo: memFree=1748976/2055892 swapFree=4085348/4096564
[pid=20233] ppid=20231 vsize=10036 CPUtime=110.02
/proc/20233/stat : 20233 (Pueblo) R 20231 20233 20187 0 -1 4194304 2243 0 0 0 11002 0 0 0 25 0 1 0 197937404 10276864 2117 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527818 0 0 4096 0 0 0 0 17 1 0 0
/proc/20233/statm: 2509 2117 205 16 0 1949 0
Current children cumulated CPU time (s) 110.02
Current children cumulated vsize (Kb) 10036

[startup+120.068 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 20233
/proc/meminfo: memFree=1748976/2055892 swapFree=4085348/4096564
[pid=20233] ppid=20231 vsize=10036 CPUtime=120.02
/proc/20233/stat : 20233 (Pueblo) R 20231 20233 20187 0 -1 4194304 2243 0 0 0 12002 0 0 0 25 0 1 0 197937404 10276864 2117 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/20233/statm: 2509 2117 205 16 0 1949 0
Current children cumulated CPU time (s) 120.02
Current children cumulated vsize (Kb) 10036

[startup+130.074 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 20233
/proc/meminfo: memFree=1748976/2055892 swapFree=4085348/4096564
[pid=20233] ppid=20231 vsize=10036 CPUtime=130.02
/proc/20233/stat : 20233 (Pueblo) R 20231 20233 20187 0 -1 4194304 2243 0 0 0 13002 0 0 0 25 0 1 0 197937404 10276864 2117 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520198 0 0 4096 0 0 0 0 17 1 0 0
/proc/20233/statm: 2509 2117 205 16 0 1949 0
Current children cumulated CPU time (s) 130.02
Current children cumulated vsize (Kb) 10036

[startup+140.08 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 20233
/proc/meminfo: memFree=1748976/2055892 swapFree=4085348/4096564
[pid=20233] ppid=20231 vsize=10036 CPUtime=140.03
/proc/20233/stat : 20233 (Pueblo) R 20231 20233 20187 0 -1 4194304 2243 0 0 0 14003 0 0 0 25 0 1 0 197937404 10276864 2117 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 12170230 0 0 4096 0 0 0 0 17 1 0 0
/proc/20233/statm: 2509 2117 205 16 0 1949 0
Current children cumulated CPU time (s) 140.03
Current children cumulated vsize (Kb) 10036

[startup+150.087 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 20233
/proc/meminfo: memFree=1748976/2055892 swapFree=4085348/4096564
[pid=20233] ppid=20231 vsize=10036 CPUtime=150.03
/proc/20233/stat : 20233 (Pueblo) R 20231 20233 20187 0 -1 4194304 2243 0 0 0 15003 0 0 0 25 0 1 0 197937404 10276864 2117 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527737 0 0 4096 0 0 0 0 17 1 0 0
/proc/20233/statm: 2509 2117 205 16 0 1949 0
Current children cumulated CPU time (s) 150.03
Current children cumulated vsize (Kb) 10036

[startup+160.092 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 20233
/proc/meminfo: memFree=1748976/2055892 swapFree=4085348/4096564
[pid=20233] ppid=20231 vsize=10036 CPUtime=160.03
/proc/20233/stat : 20233 (Pueblo) R 20231 20233 20187 0 -1 4194304 2243 0 0 0 16003 0 0 0 25 0 1 0 197937404 10276864 2117 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527998 0 0 4096 0 0 0 0 17 1 0 0
/proc/20233/statm: 2509 2117 205 16 0 1949 0
Current children cumulated CPU time (s) 160.03
Current children cumulated vsize (Kb) 10036

[startup+170.098 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 20233
/proc/meminfo: memFree=1748976/2055892 swapFree=4085348/4096564
[pid=20233] ppid=20231 vsize=10036 CPUtime=170.03
/proc/20233/stat : 20233 (Pueblo) R 20231 20233 20187 0 -1 4194304 2243 0 0 0 17003 0 0 0 25 0 1 0 197937404 10276864 2117 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527547 0 0 4096 0 0 0 0 17 1 0 0
/proc/20233/statm: 2509 2117 205 16 0 1949 0
Current children cumulated CPU time (s) 170.03
Current children cumulated vsize (Kb) 10036

[startup+180.104 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 20233
/proc/meminfo: memFree=1748976/2055892 swapFree=4085348/4096564
[pid=20233] ppid=20231 vsize=10036 CPUtime=180.04
/proc/20233/stat : 20233 (Pueblo) R 20231 20233 20187 0 -1 4194304 2243 0 0 0 18004 0 0 0 25 0 1 0 197937404 10276864 2117 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134557412 0 0 4096 0 0 0 0 17 1 0 0
/proc/20233/statm: 2509 2117 205 16 0 1949 0
Current children cumulated CPU time (s) 180.04
Current children cumulated vsize (Kb) 10036

[startup+190.11 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 20233
/proc/meminfo: memFree=1748976/2055892 swapFree=4085348/4096564
[pid=20233] ppid=20231 vsize=10036 CPUtime=190.04
/proc/20233/stat : 20233 (Pueblo) R 20231 20233 20187 0 -1 4194304 2243 0 0 0 19004 0 0 0 25 0 1 0 197937404 10276864 2117 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527759 0 0 4096 0 0 0 0 17 1 0 0
/proc/20233/statm: 2509 2117 205 16 0 1949 0
Current children cumulated CPU time (s) 190.04
Current children cumulated vsize (Kb) 10036

[startup+200.116 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 20233
/proc/meminfo: memFree=1748976/2055892 swapFree=4085348/4096564
[pid=20233] ppid=20231 vsize=10036 CPUtime=200.04
/proc/20233/stat : 20233 (Pueblo) R 20231 20233 20187 0 -1 4194304 2243 0 0 0 20004 0 0 0 25 0 1 0 197937404 10276864 2117 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134553144 0 0 4096 0 0 0 0 17 1 0 0
/proc/20233/statm: 2509 2117 205 16 0 1949 0
Current children cumulated CPU time (s) 200.04
Current children cumulated vsize (Kb) 10036

[startup+210.123 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 20233
/proc/meminfo: memFree=1748976/2055892 swapFree=4085348/4096564

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

/proc/20233/statm: 4353 3951 205 16 0 3793 0
Current children cumulated CPU time (s) 1590.47
Current children cumulated vsize (Kb) 17412

[startup+1600.95 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 20235
/proc/meminfo: memFree=1740528/2055892 swapFree=4085348/4096564
[pid=20233] ppid=20231 vsize=18224 CPUtime=1600.47
/proc/20233/stat : 20233 (Pueblo) R 20231 20233 20187 0 -1 4194304 4484 0 0 0 159094 953 0 0 25 0 1 0 197937404 18661376 4154 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/20233/statm: 4556 4154 205 16 0 3996 0
Current children cumulated CPU time (s) 1600.47
Current children cumulated vsize (Kb) 18224

[startup+1610.96 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 20235
/proc/meminfo: memFree=1740528/2055892 swapFree=4085348/4096564
[pid=20233] ppid=20231 vsize=18224 CPUtime=1610.47
/proc/20233/stat : 20233 (Pueblo) R 20231 20233 20187 0 -1 4194304 4484 0 0 0 160088 959 0 0 25 0 1 0 197937404 18661376 4154 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/20233/statm: 4556 4154 205 16 0 3996 0
Current children cumulated CPU time (s) 1610.47
Current children cumulated vsize (Kb) 18224

[startup+1620.96 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 20235
/proc/meminfo: memFree=1740528/2055892 swapFree=4085348/4096564
[pid=20233] ppid=20231 vsize=18224 CPUtime=1620.47
/proc/20233/stat : 20233 (Pueblo) R 20231 20233 20187 0 -1 4194304 4484 0 0 0 161082 965 0 0 25 0 1 0 197937404 18661376 4154 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/20233/statm: 4556 4154 205 16 0 3996 0
Current children cumulated CPU time (s) 1620.47
Current children cumulated vsize (Kb) 18224

[startup+1630.97 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 20235
/proc/meminfo: memFree=1740528/2055892 swapFree=4085348/4096564
[pid=20233] ppid=20231 vsize=18224 CPUtime=1630.48
/proc/20233/stat : 20233 (Pueblo) R 20231 20233 20187 0 -1 4194304 4484 0 0 0 162078 970 0 0 25 0 1 0 197937404 18661376 4154 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/20233/statm: 4556 4154 205 16 0 3996 0
Current children cumulated CPU time (s) 1630.48
Current children cumulated vsize (Kb) 18224

[startup+1640.97 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 20235
/proc/meminfo: memFree=1740528/2055892 swapFree=4085348/4096564
[pid=20233] ppid=20231 vsize=18224 CPUtime=1640.48
/proc/20233/stat : 20233 (Pueblo) R 20231 20233 20187 0 -1 4194304 4484 0 0 0 163075 973 0 0 25 0 1 0 197937404 18661376 4154 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/20233/statm: 4556 4154 205 16 0 3996 0
Current children cumulated CPU time (s) 1640.48
Current children cumulated vsize (Kb) 18224

[startup+1650.98 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 20235
/proc/meminfo: memFree=1740528/2055892 swapFree=4085348/4096564
[pid=20233] ppid=20231 vsize=18224 CPUtime=1650.49
/proc/20233/stat : 20233 (Pueblo) R 20231 20233 20187 0 -1 4194304 4484 0 0 0 164072 977 0 0 25 0 1 0 197937404 18661376 4154 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/20233/statm: 4556 4154 205 16 0 3996 0
Current children cumulated CPU time (s) 1650.49
Current children cumulated vsize (Kb) 18224

[startup+1660.99 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 20235
/proc/meminfo: memFree=1740528/2055892 swapFree=4085348/4096564
[pid=20233] ppid=20231 vsize=18224 CPUtime=1660.48
/proc/20233/stat : 20233 (Pueblo) R 20231 20233 20187 0 -1 4194304 4484 0 0 0 165068 980 0 0 25 0 1 0 197937404 18661376 4154 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/20233/statm: 4556 4154 205 16 0 3996 0
Current children cumulated CPU time (s) 1660.48
Current children cumulated vsize (Kb) 18224

[startup+1670.99 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 20235
/proc/meminfo: memFree=1740528/2055892 swapFree=4085348/4096564
[pid=20233] ppid=20231 vsize=18224 CPUtime=1670.49
/proc/20233/stat : 20233 (Pueblo) R 20231 20233 20187 0 -1 4194304 4484 0 0 0 166062 987 0 0 25 0 1 0 197937404 18661376 4154 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/20233/statm: 4556 4154 205 16 0 3996 0
Current children cumulated CPU time (s) 1670.49
Current children cumulated vsize (Kb) 18224

[startup+1681 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 20235
/proc/meminfo: memFree=1740528/2055892 swapFree=4085348/4096564
[pid=20233] ppid=20231 vsize=18224 CPUtime=1680.49
/proc/20233/stat : 20233 (Pueblo) R 20231 20233 20187 0 -1 4194304 4484 0 0 0 167056 993 0 0 25 0 1 0 197937404 18661376 4154 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 12167118 0 0 4096 0 0 0 0 17 1 0 0
/proc/20233/statm: 4556 4154 205 16 0 3996 0
Current children cumulated CPU time (s) 1680.49
Current children cumulated vsize (Kb) 18224

[startup+1691.01 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 20235
/proc/meminfo: memFree=1740528/2055892 swapFree=4085348/4096564
[pid=20233] ppid=20231 vsize=18224 CPUtime=1690.49
/proc/20233/stat : 20233 (Pueblo) R 20231 20233 20187 0 -1 4194304 4484 0 0 0 168046 1003 0 0 25 0 1 0 197937404 18661376 4154 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/20233/statm: 4556 4154 205 16 0 3996 0
Current children cumulated CPU time (s) 1690.49
Current children cumulated vsize (Kb) 18224

[startup+1701.01 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 20235
/proc/meminfo: memFree=1740592/2055892 swapFree=4085348/4096564
[pid=20233] ppid=20231 vsize=18224 CPUtime=1700.5
/proc/20233/stat : 20233 (Pueblo) R 20231 20233 20187 0 -1 4194304 4484 0 0 0 169039 1011 0 0 25 0 1 0 197937404 18661376 4154 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/20233/statm: 4556 4154 205 16 0 3996 0
Current children cumulated CPU time (s) 1700.5
Current children cumulated vsize (Kb) 18224

[startup+1711.02 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 20235
/proc/meminfo: memFree=1740592/2055892 swapFree=4085348/4096564
[pid=20233] ppid=20231 vsize=18224 CPUtime=1710.51
/proc/20233/stat : 20233 (Pueblo) R 20231 20233 20187 0 -1 4194304 4484 0 0 0 170032 1019 0 0 25 0 1 0 197937404 18661376 4154 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/20233/statm: 4556 4154 205 16 0 3996 0
Current children cumulated CPU time (s) 1710.51
Current children cumulated vsize (Kb) 18224

[startup+1721.02 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 20235
/proc/meminfo: memFree=1740592/2055892 swapFree=4085348/4096564
[pid=20233] ppid=20231 vsize=18224 CPUtime=1720.51
/proc/20233/stat : 20233 (Pueblo) R 20231 20233 20187 0 -1 4194304 4484 0 0 0 171026 1025 0 0 25 0 1 0 197937404 18661376 4154 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/20233/statm: 4556 4154 205 16 0 3996 0
Current children cumulated CPU time (s) 1720.51
Current children cumulated vsize (Kb) 18224

[startup+1731.03 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 20235
/proc/meminfo: memFree=1740592/2055892 swapFree=4085348/4096564
[pid=20233] ppid=20231 vsize=18224 CPUtime=1730.51
/proc/20233/stat : 20233 (Pueblo) R 20231 20233 20187 0 -1 4194304 4484 0 0 0 172020 1031 0 0 25 0 1 0 197937404 18661376 4154 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/20233/statm: 4556 4154 205 16 0 3996 0
Current children cumulated CPU time (s) 1730.51
Current children cumulated vsize (Kb) 18224

[startup+1741.04 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 20235
/proc/meminfo: memFree=1740592/2055892 swapFree=4085348/4096564
[pid=20233] ppid=20231 vsize=18224 CPUtime=1740.51
/proc/20233/stat : 20233 (Pueblo) R 20231 20233 20187 0 -1 4194304 4484 0 0 0 173014 1037 0 0 25 0 1 0 197937404 18661376 4154 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/20233/statm: 4556 4154 205 16 0 3996 0
Current children cumulated CPU time (s) 1740.51
Current children cumulated vsize (Kb) 18224

[startup+1751.04 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 20235
/proc/meminfo: memFree=1740592/2055892 swapFree=4085348/4096564
[pid=20233] ppid=20231 vsize=18224 CPUtime=1750.52
/proc/20233/stat : 20233 (Pueblo) R 20231 20233 20187 0 -1 4194304 4484 0 0 0 174006 1046 0 0 25 0 1 0 197937404 18661376 4154 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/20233/statm: 4556 4154 205 16 0 3996 0
Current children cumulated CPU time (s) 1750.52
Current children cumulated vsize (Kb) 18224

[startup+1761.05 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 20235
/proc/meminfo: memFree=1740528/2055892 swapFree=4085348/4096564
[pid=20233] ppid=20231 vsize=18272 CPUtime=1760.52
/proc/20233/stat : 20233 (Pueblo) R 20231 20233 20187 0 -1 4194304 4507 0 0 0 174999 1053 0 0 25 0 1 0 197937404 18710528 4166 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/20233/statm: 4568 4166 205 16 0 4008 0
Current children cumulated CPU time (s) 1760.52
Current children cumulated vsize (Kb) 18272

[startup+1771.05 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 20235
/proc/meminfo: memFree=1740528/2055892 swapFree=4085348/4096564
[pid=20233] ppid=20231 vsize=18272 CPUtime=1770.52
/proc/20233/stat : 20233 (Pueblo) R 20231 20233 20187 0 -1 4194304 4507 0 0 0 175994 1058 0 0 25 0 1 0 197937404 18710528 4166 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/20233/statm: 4568 4166 205 16 0 4008 0
Current children cumulated CPU time (s) 1770.52
Current children cumulated vsize (Kb) 18272

[startup+1781.06 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 20235
/proc/meminfo: memFree=1740528/2055892 swapFree=4085348/4096564
[pid=20233] ppid=20231 vsize=18272 CPUtime=1780.53
/proc/20233/stat : 20233 (Pueblo) R 20231 20233 20187 0 -1 4194304 4507 0 0 0 176988 1065 0 0 25 0 1 0 197937404 18710528 4166 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/20233/statm: 4568 4166 205 16 0 4008 0
Current children cumulated CPU time (s) 1780.53
Current children cumulated vsize (Kb) 18272

[startup+1782.06 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 20235
/proc/meminfo: memFree=1740528/2055892 swapFree=4085348/4096564
[pid=20233] ppid=20231 vsize=18272 CPUtime=1781.53
/proc/20233/stat : 20233 (Pueblo) R 20231 20233 20187 0 -1 4194304 4507 0 0 0 177088 1065 0 0 25 0 1 0 197937404 18710528 4166 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/20233/statm: 4568 4166 205 16 0 4008 0
Current children cumulated CPU time (s) 1781.53
Current children cumulated vsize (Kb) 18272

[startup+1783.07 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 20235
/proc/meminfo: memFree=1740016/2055892 swapFree=4085348/4096564
[pid=20233] ppid=20231 vsize=18784 CPUtime=1782.53
/proc/20233/stat : 20233 (Pueblo) R 20231 20233 20187 0 -1 4194304 4630 0 0 0 177188 1065 0 0 25 0 1 0 197937404 19234816 4289 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/20233/statm: 4696 4289 205 16 0 4136 0
Current children cumulated CPU time (s) 1782.53
Current children cumulated vsize (Kb) 18784

Child status: 10
Real time (s): 1783.26
CPU time (s): 1782.73
CPU user time (s): 1772.07
CPU system time (s): 10.6634
CPU usage (%): 99.9702
Max. virtual memory (cumulated for all children) (Kb): 18784

Launcher Data (download as text)

Begin job on node85 on Sat Jun  3 08:23:02 UTC 2006


FILE ID= 36312-1149322982

PBS_JOBID= 309471

BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-vpm1.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node85/36312-1149322982/instance-36312-1149322982.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node85/watcher-36312-1149322982 -o ROOT/results/node85/solver-36312-1149322982 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node85/36312-1149322982/instance-36312-1149322982.opb

MD5SUM SOLVER= 80c24de60e85bc4a9ec18ca4764e7dff
MD5SUM BENCH=  019e5a614038472d624f56ab4ecfb30e

RANDOM SEED= 136935357


/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.218
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	: 6006.18
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.218
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	: 5999.41
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055892 kB
MemFree:       1756864 kB
Buffers:         22584 kB
Cached:         211696 kB
SwapCached:       2360 kB
Active:          19312 kB
Inactive:       223632 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055892 kB
LowFree:       1756864 kB
SwapTotal:     4096564 kB
SwapFree:      4085348 kB
Dirty:             156 kB
Writeback:           0 kB
Mapped:          16760 kB
Slab:            42636 kB
Committed_AS:   327348 kB
PageTables:       1292 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264388 kB
VmallocChunk: 536606243 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node85 on Sat Jun  3 08:52:45 UTC 2006