Trace number 2703285

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. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock 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
SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solverSAT0 1795.17 1795.63

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_1000_60_4.opb
MD5SUM49512b8058c62182b32b06ac219e7167
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-61
Best CPU time to get the best result obtained on this benchmark1798.14
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -71
Optimality of the best value was proved NO
Number of variables2000
Total number of constraints3001
Number of constraints which are clauses1000
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints2001
Minimum length of a constraint2
Maximum length of a constraint2000
Number of terms in the objective function 1000
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 1000
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 2000
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)150968
Sum of products size (including duplicates)301936
Number of different products75484
Sum of products size150968

Solver Data 

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

Verifier Data 

OK	0

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2703285-1278578279/watcher-2703285-1278578279 -o /tmp/evaluation-result-2703285-1278578279/solver-2703285-1278578279 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703285-1278578279.opb -t 1800 -m 1800 

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): 2000 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
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.00 1.03 0.96 3/105 28467
/proc/meminfo: memFree=1641844/2059040 swapFree=4143936/4192956
[pid=28467] ppid=28465 vsize=7904 CPUtime=0
/proc/28467/stat : 28467 (pbscip.linux.x8) R 28465 28467 28188 0 -1 4202496 1128 0 0 0 0 0 0 0 25 0 1 0 26036242 8093696 1039 1992294400 4194304 8395647 140737302061520 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28467/statm: 1976 1047 365 1026 0 946 0

[startup+0.098784 s]
/proc/loadavg: 1.00 1.03 0.96 3/105 28467
/proc/meminfo: memFree=1641844/2059040 swapFree=4143936/4192956
[pid=28467] ppid=28465 vsize=25584 CPUtime=0.08
/proc/28467/stat : 28467 (pbscip.linux.x8) R 28465 28467 28188 0 -1 4202496 5552 0 0 0 7 1 0 0 25 0 1 0 26036242 26198016 5463 1992294400 4194304 8395647 140737302061520 18446744073709551615 4572762 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28467/statm: 6396 5463 393 1026 0 5366 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 25584

[startup+0.100784 s]
/proc/loadavg: 1.00 1.03 0.96 3/105 28467
/proc/meminfo: memFree=1641844/2059040 swapFree=4143936/4192956
[pid=28467] ppid=28465 vsize=25584 CPUtime=0.09
/proc/28467/stat : 28467 (pbscip.linux.x8) R 28465 28467 28188 0 -1 4202496 5553 0 0 0 8 1 0 0 25 0 1 0 26036242 26198016 5464 1992294400 4194304 8395647 140737302061520 18446744073709551615 4572751 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28467/statm: 6396 5464 393 1026 0 5366 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 25584

[startup+0.300804 s]
/proc/loadavg: 1.00 1.03 0.96 3/105 28467
/proc/meminfo: memFree=1641844/2059040 swapFree=4143936/4192956
[pid=28467] ppid=28465 vsize=50176 CPUtime=0.29
/proc/28467/stat : 28467 (pbscip.linux.x8) R 28465 28467 28188 0 -1 4202496 11756 0 0 0 26 3 0 0 25 0 1 0 26036242 51380224 11667 1992294400 4194304 8395647 140737302061520 18446744073709551615 4729690 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28467/statm: 12544 11667 393 1026 0 11514 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 50176

[startup+0.700842 s]
/proc/loadavg: 1.00 1.03 0.96 3/105 28467
/proc/meminfo: memFree=1641844/2059040 swapFree=4143936/4192956
[pid=28467] ppid=28465 vsize=84920 CPUtime=0.69
/proc/28467/stat : 28467 (pbscip.linux.x8) R 28465 28467 28188 0 -1 4202496 20509 0 0 0 63 6 0 0 25 0 1 0 26036242 86958080 20420 1992294400 4194304 8395647 140737302061520 18446744073709551615 7275963 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28467/statm: 21230 20420 393 1026 0 20200 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 84920

[startup+1.50092 s]
/proc/loadavg: 1.00 1.03 0.96 2/106 28468
/proc/meminfo: memFree=1517464/2059040 swapFree=4143936/4192956
[pid=28467] ppid=28465 vsize=199716 CPUtime=1.49
/proc/28467/stat : 28467 (pbscip.linux.x8) R 28465 28467 28188 0 -1 4202496 49580 0 0 0 134 15 0 0 25 0 1 0 26036242 204509184 48989 1992294400 4194304 8395647 140737302061520 18446744073709551615 4601776 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28467/statm: 49929 48989 430 1026 0 48899 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 199716

[startup+3.10107 s]
/proc/loadavg: 1.00 1.03 0.96 2/106 28468
/proc/meminfo: memFree=1435996/2059040 swapFree=4143936/4192956
[pid=28467] ppid=28465 vsize=221488 CPUtime=3.09
/proc/28467/stat : 28467 (pbscip.linux.x8) R 28465 28467 28188 0 -1 4202496 54801 0 0 0 293 16 0 0 25 0 1 0 26036242 226803712 54210 1992294400 4194304 8395647 140737302061520 18446744073709551615 7382056 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28467/statm: 55372 54210 461 1026 0 54342 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 221488

[startup+6.30039 s]
/proc/loadavg: 1.00 1.03 0.96 2/106 28468
/proc/meminfo: memFree=1388008/2059040 swapFree=4143936/4192956
[pid=28467] ppid=28465 vsize=262832 CPUtime=6.29
/proc/28467/stat : 28467 (pbscip.linux.x8) R 28465 28467 28188 0 -1 4202496 66759 0 0 0 609 20 0 0 25 0 1 0 26036242 269139968 64563 1992294400 4194304 8395647 140737302061520 18446744073709551615 7382027 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28467/statm: 65708 64563 483 1026 0 64678 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 262832

[startup+12.702 s]
/proc/loadavg: 1.16 1.06 0.97 2/106 28470
/proc/meminfo: memFree=1219616/2059040 swapFree=4143936/4192956
[pid=28467] ppid=28465 vsize=539476 CPUtime=12.69
/proc/28467/stat : 28467 (pbscip.linux.x8) R 28465 28467 28188 0 -1 4202496 135510 0 0 0 1226 43 0 0 25 0 1 0 26036242 552423424 129174 1992294400 4194304 8395647 140737302061520 18446744073709551615 6587090 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28467/statm: 134869 129174 577 1026 0 133839 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 539476

[startup+25.5013 s]
/proc/loadavg: 1.12 1.06 0.97 2/106 28470
/proc/meminfo: memFree=1099212/2059040 swapFree=4143936/4192956
[pid=28467] ppid=28465 vsize=579428 CPUtime=25.49
/proc/28467/stat : 28467 (pbscip.linux.x8) R 28465 28467 28188 0 -1 4202496 142795 0 0 0 2502 47 0 0 25 0 1 0 26036242 593334272 135828 1992294400 4194304 8395647 140737302061520 18446744073709551615 6698214 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28467/statm: 144857 135828 614 1026 0 143827 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 579428

[startup+51.1007 s]
/proc/loadavg: 1.08 1.05 0.97 2/106 28470
/proc/meminfo: memFree=1082596/2059040 swapFree=4143936/4192956
[pid=28467] ppid=28465 vsize=588028 CPUtime=51.08
/proc/28467/stat : 28467 (pbscip.linux.x8) R 28465 28467 28188 0 -1 4202496 147024 0 0 0 5056 52 0 0 25 0 1 0 26036242 602140672 140007 1992294400 4194304 8395647 140737302061520 18446744073709551615 6697804 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28467/statm: 147007 140007 643 1026 0 145977 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 588028

[startup+102.309 s]
/proc/loadavg: 1.03 1.04 0.97 2/106 28472
/proc/meminfo: memFree=1076272/2059040 swapFree=4143936/4192956
[pid=28467] ppid=28465 vsize=592884 CPUtime=102.28
/proc/28467/stat : 28467 (pbscip.linux.x8) R 28465 28467 28188 0 -1 4202496 148608 0 0 0 10171 57 0 0 25 0 1 0 26036242 607113216 141557 1992294400 4194304 8395647 140737302061520 18446744073709551615 6697359 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28467/statm: 148221 141557 614 1026 0 147191 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 592884

[startup+162.301 s]
/proc/loadavg: 1.01 1.03 0.97 2/106 28472
/proc/meminfo: memFree=1075156/2059040 swapFree=4143936/4192956
[pid=28467] ppid=28465 vsize=593476 CPUtime=162.25
/proc/28467/stat : 28467 (pbscip.linux.x8) R 28465 28467 28188 0 -1 4202496 148907 0 0 0 16164 61 0 0 25 0 1 0 26036242 607719424 141847 1992294400 4194304 8395647 140737302061520 18446744073709551615 6664892 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28467/statm: 148369 141847 605 1026 0 147339 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 593476

[startup+222.301 s]
/proc/loadavg: 1.00 1.02 0.97 3/106 28474
/proc/meminfo: memFree=1073916/2059040 swapFree=4143936/4192956
[pid=28467] ppid=28465 vsize=594720 CPUtime=222.24
/proc/28467/stat : 28467 (pbscip.linux.x8) R 28465 28467 28188 0 -1 4202496 149223 0 0 0 22159 65 0 0 25 0 1 0 26036242 608993280 142163 1992294400 4194304 8395647 140737302061520 18446744073709551615 6697246 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28467/statm: 148680 142163 605 1026 0 147650 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 594720

[startup+282.301 s]
/proc/loadavg: 1.00 1.02 0.97 2/106 28476
/proc/meminfo: memFree=1071808/2059040 swapFree=4143936/4192956
[pid=28467] ppid=28465 vsize=596296 CPUtime=282.22
/proc/28467/stat : 28467 (pbscip.linux.x8) R 28465 28467 28188 0 -1 4202496 149817 0 0 0 28154 68 0 0 25 0 1 0 26036242 610607104 142698 1992294400 4194304 8395647 140737302061520 18446744073709551615 6635663 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28467/statm: 149074 142698 605 1026 0 148044 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 596296

[startup+342.301 s]
/proc/loadavg: 1.00 1.01 0.97 2/106 28478
/proc/meminfo: memFree=1066228/2059040 swapFree=4143936/4192956
[pid=28467] ppid=28465 vsize=601880 CPUtime=342.21
/proc/28467/stat : 28467 (pbscip.linux.x8) R 28465 28467 28188 0 -1 4202496 151186 0 0 0 34149 72 0 0 25 0 1 0 26036242 616325120 144065 1992294400 4194304 8395647 140737302061520 18446744073709551615 6698157 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28467/statm: 150470 144065 603 1026 0 149440 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 601880

[startup+402.301 s]
/proc/loadavg: 1.00 1.01 0.97 2/106 28480
/proc/meminfo: memFree=1060896/2059040 swapFree=4143936/4192956
[pid=28467] ppid=28465 vsize=607612 CPUtime=402.19
/proc/28467/stat : 28467 (pbscip.linux.x8) R 28465 28467 28188 0 -1 4202496 152545 0 0 0 40144 75 0 0 25 0 1 0 26036242 622194688 145397 1992294400 4194304 8395647 140737302061520 18446744073709551615 6636391 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28467/statm: 151903 145397 576 1026 0 150873 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 607612

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 0.97 2/106 28482
/proc/meminfo: memFree=1056928/2059040 swapFree=4143936/4192956
[pid=28467] ppid=28465 vsize=611200 CPUtime=462.17
/proc/28467/stat : 28467 (pbscip.linux.x8) R 28465 28467 28188 0 -1 4202496 153535 0 0 0 46139 78 0 0 25 0 1 0 26036242 625868800 146387 1992294400 4194304 8395647 140737302061520 18446744073709551615 6752903 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28467/statm: 152800 146387 576 1026 0 151770 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 611200

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 0.97 2/106 28482
/proc/meminfo: memFree=1056060/2059040 swapFree=4143936/4192956
[pid=28467] ppid=28465 vsize=611964 CPUtime=522.16
/proc/28467/stat : 28467 (pbscip.linux.x8) R 28465 28467 28188 0 -1 4202496 153740 0 0 0 52135 81 0 0 25 0 1 0 26036242 626651136 146592 1992294400 4194304 8395647 140737302061520 18446744073709551615 6391404 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28467/statm: 152991 146592 576 1026 0 151961 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 611964

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 0.97 2/106 28484
/proc/meminfo: memFree=1055812/2059040 swapFree=4143936/4192956
[pid=28467] ppid=28465 vsize=612248 CPUtime=582.14
/proc/28467/stat : 28467 (pbscip.linux.x8) R 28465 28467 28188 0 -1 4202496 153814 0 0 0 58130 84 0 0 25 0 1 0 26036242 626941952 146666 1992294400 4194304 8395647 140737302061520 18446744073709551615 6503853 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28467/statm: 153062 146666 576 1026 0 152032 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 612248

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 0.97 2/106 28486
/proc/meminfo: memFree=1044032/2059040 swapFree=4143936/4192956
[pid=28467] ppid=28465 vsize=620232 CPUtime=642.14
/proc/28467/stat : 28467 (pbscip.linux.x8) R 28465 28467 28188 0 -1 4202496 156741 0 0 0 64126 88 0 0 25 0 1 0 26036242 635117568 149583 1992294400 4194304 8395647 140737302061520 18446744073709551615 6670389 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28467/statm: 155058 149583 576 1026 0 154028 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 620232

[startup+702.301 s]

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

/proc/meminfo: memFree=1038948/2059040 swapFree=4143936/4192956
[pid=28467] ppid=28465 vsize=626196 CPUtime=1122.01
/proc/28467/stat : 28467 (pbscip.linux.x8) R 28465 28467 28188 0 -1 4202496 157929 0 0 0 112094 107 0 0 25 0 1 0 26036242 641224704 150771 1992294400 4194304 8395647 140737302061520 18446744073709551615 6670348 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28467/statm: 156549 150771 576 1026 0 155519 0
Current children cumulated CPU time (s) 1122.01
Current children cumulated vsize (KiB) 626196

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/106 28500
/proc/meminfo: memFree=1038824/2059040 swapFree=4143936/4192956
[pid=28467] ppid=28465 vsize=626196 CPUtime=1182
/proc/28467/stat : 28467 (pbscip.linux.x8) R 28465 28467 28188 0 -1 4202496 157935 0 0 0 118091 109 0 0 25 0 1 0 26036242 641224704 150777 1992294400 4194304 8395647 140737302061520 18446744073709551615 6698222 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28467/statm: 156549 150777 576 1026 0 155519 0
Current children cumulated CPU time (s) 1182
Current children cumulated vsize (KiB) 626196

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/106 28502
/proc/meminfo: memFree=1038700/2059040 swapFree=4143936/4192956
[pid=28467] ppid=28465 vsize=626196 CPUtime=1241.98
/proc/28467/stat : 28467 (pbscip.linux.x8) R 28465 28467 28188 0 -1 4202496 157940 0 0 0 124087 111 0 0 25 0 1 0 26036242 641224704 150782 1992294400 4194304 8395647 140737302061520 18446744073709551615 6698047 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28467/statm: 156549 150782 576 1026 0 155519 0
Current children cumulated CPU time (s) 1241.98
Current children cumulated vsize (KiB) 626196

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/106 28504
/proc/meminfo: memFree=1035972/2059040 swapFree=4143936/4192956
[pid=28467] ppid=28465 vsize=631136 CPUtime=1301.98
/proc/28467/stat : 28467 (pbscip.linux.x8) R 28465 28467 28188 0 -1 4202496 158604 0 0 0 130084 114 0 0 25 0 1 0 26036242 646283264 151446 1992294400 4194304 8395647 140737302061520 18446744073709551615 6723303 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28467/statm: 157784 151446 576 1026 0 156754 0
Current children cumulated CPU time (s) 1301.98
Current children cumulated vsize (KiB) 631136

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/106 28504
/proc/meminfo: memFree=1023572/2059040 swapFree=4143936/4192956
[pid=28467] ppid=28465 vsize=640396 CPUtime=1361.95
/proc/28467/stat : 28467 (pbscip.linux.x8) R 28465 28467 28188 0 -1 4202496 161686 0 0 0 136079 116 0 0 25 0 1 0 26036242 655765504 154528 1992294400 4194304 8395647 140737302061520 18446744073709551615 6693789 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28467/statm: 160099 154528 576 1026 0 159069 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 640396

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 0.97 2/106 28515
/proc/meminfo: memFree=1022456/2059040 swapFree=4143936/4192956
[pid=28467] ppid=28465 vsize=640396 CPUtime=1421.93
/proc/28467/stat : 28467 (pbscip.linux.x8) R 28465 28467 28188 0 -1 4202496 161687 0 0 0 142075 118 0 0 25 0 1 0 26036242 655765504 154529 1992294400 4194304 8395647 140737302061520 18446744073709551615 6702080 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28467/statm: 160099 154529 576 1026 0 159069 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 640396

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/106 28517
/proc/meminfo: memFree=1022456/2059040 swapFree=4143936/4192956
[pid=28467] ppid=28465 vsize=640396 CPUtime=1481.91
/proc/28467/stat : 28467 (pbscip.linux.x8) R 28465 28467 28188 0 -1 4202496 161688 0 0 0 148071 120 0 0 25 0 1 0 26036242 655765504 154529 1992294400 4194304 8395647 140737302061520 18446744073709551615 6698034 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28467/statm: 160099 154529 575 1026 0 159069 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 640396

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/106 28519
/proc/meminfo: memFree=1022704/2059040 swapFree=4143936/4192956
[pid=28467] ppid=28465 vsize=640396 CPUtime=1541.9
/proc/28467/stat : 28467 (pbscip.linux.x8) R 28465 28467 28188 0 -1 4202496 161689 0 0 0 154068 122 0 0 25 0 1 0 26036242 655765504 154530 1992294400 4194304 8395647 140737302061520 18446744073709551615 6698047 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28467/statm: 160099 154530 575 1026 0 159069 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 640396

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/106 28521
/proc/meminfo: memFree=1022704/2059040 swapFree=4143936/4192956
[pid=28467] ppid=28465 vsize=640396 CPUtime=1601.88
/proc/28467/stat : 28467 (pbscip.linux.x8) R 28465 28467 28188 0 -1 4202496 161689 0 0 0 160063 125 0 0 25 0 1 0 26036242 655765504 154530 1992294400 4194304 8395647 140737302061520 18446744073709551615 6635663 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28467/statm: 160099 154530 575 1026 0 159069 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 640396

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/106 28523
/proc/meminfo: memFree=1022704/2059040 swapFree=4143936/4192956
[pid=28467] ppid=28465 vsize=640396 CPUtime=1661.86
/proc/28467/stat : 28467 (pbscip.linux.x8) R 28465 28467 28188 0 -1 4202496 161690 0 0 0 166060 126 0 0 25 0 1 0 26036242 655765504 154531 1992294400 4194304 8395647 140737302061520 18446744073709551615 6697342 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28467/statm: 160099 154531 575 1026 0 159069 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 640396

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/106 28523
/proc/meminfo: memFree=1022704/2059040 swapFree=4143936/4192956
[pid=28467] ppid=28465 vsize=640396 CPUtime=1721.84
/proc/28467/stat : 28467 (pbscip.linux.x8) R 28465 28467 28188 0 -1 4202496 161690 0 0 0 172056 128 0 0 25 0 1 0 26036242 655765504 154531 1992294400 4194304 8395647 140737302061520 18446744073709551615 6698055 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28467/statm: 160099 154531 575 1026 0 159069 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 640396

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/106 28525
/proc/meminfo: memFree=1048496/2059040 swapFree=4143936/4192956
[pid=28467] ppid=28465 vsize=632660 CPUtime=1781.83
/proc/28467/stat : 28467 (pbscip.linux.x8) R 28465 28467 28188 0 -1 4202496 171683 0 0 0 178050 133 0 0 25 0 1 0 26036242 647843840 148212 1992294400 4194304 8395647 140737302061520 18446744073709551615 6697246 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28467/statm: 158165 148212 575 1026 0 157135 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 632660

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

[startup+1785.5 s]
/proc/loadavg: 1.00 1.00 0.97 2/106 28525
/proc/meminfo: memFree=1048496/2059040 swapFree=4143936/4192956
[pid=28467] ppid=28465 vsize=632660 CPUtime=1785.02
/proc/28467/stat : 28467 (pbscip.linux.x8) R 28465 28467 28188 0 -1 4202496 171683 0 0 0 178369 133 0 0 25 0 1 0 26036242 647843840 148212 1992294400 4194304 8395647 140737302061520 18446744073709551615 6752759 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28467/statm: 158165 148212 575 1026 0 157135 0
Current children cumulated CPU time (s) 1785.02
Current children cumulated vsize (KiB) 632660

[startup+1791.91 s]
/proc/loadavg: 1.00 1.00 0.97 2/106 28525
/proc/meminfo: memFree=1033120/2059040 swapFree=4143936/4192956
[pid=28467] ppid=28465 vsize=637492 CPUtime=1791.43
/proc/28467/stat : 28467 (pbscip.linux.x8) R 28465 28467 28188 0 -1 4202496 175517 0 0 0 179009 134 0 0 25 0 1 0 26036242 652791808 152046 1992294400 4194304 8395647 140737302061520 18446744073709551615 6723581 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28467/statm: 159373 152046 575 1026 0 158343 0
Current children cumulated CPU time (s) 1791.43
Current children cumulated vsize (KiB) 637492

[startup+1793.5 s]
/proc/loadavg: 1.00 1.00 0.97 2/106 28525
/proc/meminfo: memFree=1033120/2059040 swapFree=4143936/4192956
[pid=28467] ppid=28465 vsize=637492 CPUtime=1793.02
/proc/28467/stat : 28467 (pbscip.linux.x8) R 28465 28467 28188 0 -1 4202496 175517 0 0 0 179168 134 0 0 25 0 1 0 26036242 652791808 152046 1992294400 4194304 8395647 140737302061520 18446744073709551615 6741240 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28467/statm: 159373 152046 575 1026 0 158343 0
Current children cumulated CPU time (s) 1793.02
Current children cumulated vsize (KiB) 637492

[startup+1794.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/106 28525
/proc/meminfo: memFree=1033120/2059040 swapFree=4143936/4192956
[pid=28467] ppid=28465 vsize=637492 CPUtime=1793.83
/proc/28467/stat : 28467 (pbscip.linux.x8) R 28465 28467 28188 0 -1 4202496 175522 0 0 0 179248 135 0 0 25 0 1 0 26036242 652791808 152051 1992294400 4194304 8395647 140737302061520 18446744073709551615 4601776 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28467/statm: 159373 152051 580 1026 0 158343 0
Current children cumulated CPU time (s) 1793.83
Current children cumulated vsize (KiB) 637492

[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 0.97 2/106 28525
/proc/meminfo: memFree=1033120/2059040 swapFree=4143936/4192956
[pid=28467] ppid=28465 vsize=637492 CPUtime=1794.64
/proc/28467/stat : 28467 (pbscip.linux.x8) R 28465 28467 28188 0 -1 4202496 175529 0 0 0 179329 135 0 0 25 0 1 0 26036242 652791808 152058 1992294400 4194304 8395647 140737302061520 18446744073709551615 6063807 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28467/statm: 159373 152058 586 1026 0 158343 0
Current children cumulated CPU time (s) 1794.64
Current children cumulated vsize (KiB) 637492

[startup+1795.5 s]
/proc/loadavg: 1.00 1.00 0.97 2/106 28525
/proc/meminfo: memFree=1033120/2059040 swapFree=4143936/4192956
[pid=28467] ppid=28465 vsize=426556 CPUtime=1795.02
/proc/28467/stat : 28467 (pbscip.linux.x8) R 28465 28467 28188 0 -1 4202496 175529 0 0 0 179366 136 0 0 25 0 1 0 26036242 436793344 105634 1992294400 4194304 8395647 140737302061520 18446744073709551615 4739572 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28467/statm: 106639 105634 586 1026 0 105609 0
Current children cumulated CPU time (s) 1795.02
Current children cumulated vsize (KiB) 426556

[startup+1795.6 s]
/proc/loadavg: 1.00 1.00 0.97 2/106 28525
/proc/meminfo: memFree=1033120/2059040 swapFree=4143936/4192956
[pid=28467] ppid=28465 vsize=370400 CPUtime=1795.12
/proc/28467/stat : 28467 (pbscip.linux.x8) R 28465 28467 28188 0 -1 4202496 175529 0 0 0 179375 137 0 0 25 0 1 0 26036242 379289600 82411 1992294400 4194304 8395647 140737302061520 18446744073709551615 7602442 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28467/statm: 92600 82156 586 1026 0 91570 0
Current children cumulated CPU time (s) 1795.12
Current children cumulated vsize (KiB) 370400

Child status: 0
Real time (s): 1795.63
CPU time (s): 1795.17
CPU user time (s): 1793.76
CPU system time (s): 1.41079
CPU usage (%): 99.9742
Max. virtual memory (cumulated for all children) (KiB): 657336

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.76
system time used= 1.41078
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 175536
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= 3
involuntary context switches= 2597

runsolver used 3.02454 second user time and 8.41472 second system time

The end

Launcher Data 

Begin job on node089 at 2010-07-08 10:37:59
IDJOB=2703285
IDBENCH=48229
IDSOLVER=1213
FILE ID=node089/2703285-1278578279
PBS_JOBID= 11240059
Free space on /tmp= 62544 MiB

SOLVER NAME= SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_1000_60_4.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2703285-1278578279/watcher-2703285-1278578279 -o /tmp/evaluation-result-2703285-1278578279/solver-2703285-1278578279 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703285-1278578279.opb -t 1800 -m 1800

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= 49512b8058c62182b32b06ac219e7167
RANDOM SEED=1934312192

node089.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/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.244
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
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 constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.48
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.244
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
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 constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5999.39
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1642248 kB
Buffers:         76076 kB
Cached:         212772 kB
SwapCached:      40860 kB
Active:         168808 kB
Inactive:       172320 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1642248 kB
SwapTotal:     4192956 kB
SwapFree:      4143936 kB
Dirty:           12544 kB
Writeback:           0 kB
AnonPages:       14420 kB
Mapped:          12064 kB
Slab:            53824 kB
PageTables:       4096 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182040 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62532 MiB
End job on node089 at 2010-07-08 11:07:55