Trace number 2663855

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
SCIPnone SCIP 1.2.1.2 without any LP solverSAT (TO)0 1800.74 1801.31

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_1000_25_4.opb
MD5SUM95a6f76009dbd8a204f015cb008300c0
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-111
Best CPU time to get the best result obtained on this benchmark1798.11
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -146
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)63184
Sum of products size (including duplicates)126368
Number of different products31592
Sum of products size63184

Solver Data 

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

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-2663855-1276666510/watcher-2663855-1276666510 -o /tmp/evaluation-result-2663855-1276666510/solver-2663855-1276666510 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663855-1276666510.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: 3.12 2.63 1.95 3/106 15488
/proc/meminfo: memFree=1690820/2059040 swapFree=4192956/4192956
[pid=15488] ppid=15486 vsize=6832 CPUtime=0
/proc/15488/stat : 15488 (pbscip.linux.x8) R 15486 15488 14619 0 -1 4202496 1009 0 0 0 0 0 0 0 25 0 1 0 7943025 6995968 931 1992294400 4194304 7136930 140733531714048 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15488/statm: 1708 941 254 719 0 987 0

[startup+0.0561221 s]
/proc/loadavg: 3.12 2.63 1.95 3/106 15488
/proc/meminfo: memFree=1690820/2059040 swapFree=4192956/4192956
[pid=15488] ppid=15486 vsize=16340 CPUtime=0.05
/proc/15488/stat : 15488 (pbscip.linux.x8) R 15486 15488 14619 0 -1 4202496 3509 0 0 0 4 1 0 0 25 0 1 0 7943025 16732160 3431 1992294400 4194304 7136930 140733531714048 18446744073709551615 4364820 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15488/statm: 4085 3431 272 719 0 3364 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 16340

[startup+0.101126 s]
/proc/loadavg: 3.12 2.63 1.95 3/106 15488
/proc/meminfo: memFree=1690820/2059040 swapFree=4192956/4192956
[pid=15488] ppid=15486 vsize=21604 CPUtime=0.09
/proc/15488/stat : 15488 (pbscip.linux.x8) R 15486 15488 14619 0 -1 4202496 4869 0 0 0 7 2 0 0 25 0 1 0 7943025 22122496 4791 1992294400 4194304 7136930 140733531714048 18446744073709551615 6340155 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15488/statm: 5401 4791 272 719 0 4680 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 21604

[startup+0.301147 s]
/proc/loadavg: 3.12 2.63 1.95 3/106 15488
/proc/meminfo: memFree=1690820/2059040 swapFree=4192956/4192956
[pid=15488] ppid=15486 vsize=40016 CPUtime=0.29
/proc/15488/stat : 15488 (pbscip.linux.x8) R 15486 15488 14619 0 -1 4202496 9477 0 0 0 26 3 0 0 25 0 1 0 7943025 40976384 9392 1992294400 4194304 7136930 140733531714048 18446744073709551615 6177559 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15488/statm: 10004 9392 272 719 0 9283 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 40016

[startup+0.701189 s]
/proc/loadavg: 3.12 2.63 1.95 3/106 15488
/proc/meminfo: memFree=1690820/2059040 swapFree=4192956/4192956
[pid=15488] ppid=15486 vsize=92596 CPUtime=0.69
/proc/15488/stat : 15488 (pbscip.linux.x8) R 15486 15488 14619 0 -1 4202496 23011 0 0 0 61 8 0 0 25 0 1 0 7943025 94818304 22487 1992294400 4194304 7136930 140733531714048 18446744073709551615 4561370 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15488/statm: 23149 22487 304 719 0 22428 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 92596

[startup+1.50128 s]
/proc/loadavg: 3.12 2.63 1.95 2/107 15489
/proc/meminfo: memFree=1595580/2059040 swapFree=4192956/4192956
[pid=15488] ppid=15486 vsize=108776 CPUtime=1.49
/proc/15488/stat : 15488 (pbscip.linux.x8) R 15486 15488 14619 0 -1 4202496 26831 0 0 0 138 11 0 0 25 0 1 0 7943025 111386624 26307 1992294400 4194304 7136930 140733531714048 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15488/statm: 27194 26307 333 719 0 26473 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 108776

[startup+3.10145 s]
/proc/loadavg: 3.12 2.63 1.95 2/107 15489
/proc/meminfo: memFree=1573260/2059040 swapFree=4192956/4192956
[pid=15488] ppid=15486 vsize=123588 CPUtime=3.09
/proc/15488/stat : 15488 (pbscip.linux.x8) R 15486 15488 14619 0 -1 4202496 34247 0 0 0 275 34 0 0 25 0 1 0 7943025 126554112 30086 1992294400 4194304 7136930 140733531714048 18446744073709551615 5120184 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15488/statm: 30897 30086 474 719 0 30176 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 123588

[startup+6.30079 s]
/proc/loadavg: 2.95 2.60 1.95 2/107 15489
/proc/meminfo: memFree=1569788/2059040 swapFree=4192956/4192956
[pid=15488] ppid=15486 vsize=125932 CPUtime=6.29
/proc/15488/stat : 15488 (pbscip.linux.x8) R 15486 15488 14619 0 -1 4202496 35233 0 0 0 594 35 0 0 25 0 1 0 7943025 128954368 30488 1992294400 4194304 7136930 140733531714048 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15488/statm: 31483 30488 452 719 0 30762 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 125932

[startup+12.7015 s]
/proc/loadavg: 2.79 2.58 1.94 2/107 15489
/proc/meminfo: memFree=1568300/2059040 swapFree=4192956/4192956
[pid=15488] ppid=15486 vsize=127124 CPUtime=12.69
/proc/15488/stat : 15488 (pbscip.linux.x8) R 15486 15488 14619 0 -1 4202496 35606 0 0 0 1233 36 0 0 25 0 1 0 7943025 130174976 30797 1992294400 4194304 7136930 140733531714048 18446744073709551615 5121841 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15488/statm: 31781 30797 388 719 0 31060 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 127124

[startup+25.5008 s]
/proc/loadavg: 2.39 2.50 1.92 2/107 15489
/proc/meminfo: memFree=1551932/2059040 swapFree=4192956/4192956
[pid=15488] ppid=15486 vsize=143548 CPUtime=25.49
/proc/15488/stat : 15488 (pbscip.linux.x8) R 15486 15488 14619 0 -1 4202496 39708 0 0 0 2509 40 0 0 25 0 1 0 7943025 146993152 34899 1992294400 4194304 7136930 140733531714048 18446744073709551615 4697107 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15488/statm: 35887 34899 393 719 0 35166 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 143548

[startup+51.1006 s]
/proc/loadavg: 1.92 2.38 1.90 2/107 15489
/proc/meminfo: memFree=1550692/2059040 swapFree=4192956/4192956
[pid=15488] ppid=15486 vsize=144912 CPUtime=51.07
/proc/15488/stat : 15488 (pbscip.linux.x8) R 15486 15488 14619 0 -1 4202496 40032 0 0 0 5066 41 0 0 25 0 1 0 7943025 148389888 35223 1992294400 4194304 7136930 140733531714048 18446744073709551615 4780830 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15488/statm: 36228 35223 393 719 0 35507 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 144912

[startup+102.309 s]
/proc/loadavg: 1.40 2.16 1.85 2/107 15491
/proc/meminfo: memFree=1544616/2059040 swapFree=4192956/4192956
[pid=15488] ppid=15486 vsize=150856 CPUtime=102.27
/proc/15488/stat : 15488 (pbscip.linux.x8) R 15486 15488 14619 0 -1 4202496 41510 0 0 0 10179 48 0 0 25 0 1 0 7943025 154476544 36701 1992294400 4194304 7136930 140733531714048 18446744073709551615 4642156 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15488/statm: 37714 36701 393 719 0 36993 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 150856

[startup+162.301 s]
/proc/loadavg: 1.14 1.95 1.79 2/107 15493
/proc/meminfo: memFree=1541020/2059040 swapFree=4192956/4192956
[pid=15488] ppid=15486 vsize=154340 CPUtime=162.24
/proc/15488/stat : 15488 (pbscip.linux.x8) R 15486 15488 14619 0 -1 4202496 42408 0 0 0 16170 54 0 0 25 0 1 0 7943025 158044160 37599 1992294400 4194304 7136930 140733531714048 18446744073709551615 4780830 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15488/statm: 38585 37599 393 719 0 37864 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 154340

[startup+222.301 s]
/proc/loadavg: 1.05 1.77 1.74 2/107 15495
/proc/meminfo: memFree=1535812/2059040 swapFree=4192956/4192956
[pid=15488] ppid=15486 vsize=159588 CPUtime=222.23
/proc/15488/stat : 15488 (pbscip.linux.x8) R 15486 15488 14619 0 -1 4202496 43691 0 0 0 22163 60 0 0 25 0 1 0 7943025 163418112 38882 1992294400 4194304 7136930 140733531714048 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15488/statm: 39897 38882 393 719 0 39176 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 159588

[startup+282.301 s]
/proc/loadavg: 1.02 1.63 1.69 2/107 15495
/proc/meminfo: memFree=1528620/2059040 swapFree=4192956/4192956
[pid=15488] ppid=15486 vsize=166888 CPUtime=282.21
/proc/15488/stat : 15488 (pbscip.linux.x8) R 15486 15488 14619 0 -1 4202496 45493 0 0 0 28154 67 0 0 25 0 1 0 7943025 170893312 40684 1992294400 4194304 7136930 140733531714048 18446744073709551615 4227522 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15488/statm: 41722 40684 393 719 0 41001 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 166888

[startup+342.301 s]
/proc/loadavg: 1.00 1.51 1.64 2/107 15497
/proc/meminfo: memFree=1525148/2059040 swapFree=4192956/4192956
[pid=15488] ppid=15486 vsize=170296 CPUtime=342.19
/proc/15488/stat : 15488 (pbscip.linux.x8) R 15486 15488 14619 0 -1 4202496 46338 0 0 0 34145 74 0 0 25 0 1 0 7943025 174383104 41529 1992294400 4194304 7136930 140733531714048 18446744073709551615 4227171 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15488/statm: 42574 41529 393 719 0 41853 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 170296

[startup+402.301 s]
/proc/loadavg: 1.00 1.42 1.60 2/107 15499
/proc/meminfo: memFree=1520932/2059040 swapFree=4192956/4192956
[pid=15488] ppid=15486 vsize=174552 CPUtime=402.17
/proc/15488/stat : 15488 (pbscip.linux.x8) R 15486 15488 14619 0 -1 4202496 47384 0 0 0 40136 81 0 0 25 0 1 0 7943025 178741248 42575 1992294400 4194304 7136930 140733531714048 18446744073709551615 4436359 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15488/statm: 43638 42575 393 719 0 42917 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 174552

[startup+462.302 s]
/proc/loadavg: 1.00 1.34 1.56 2/107 15501
/proc/meminfo: memFree=1516592/2059040 swapFree=4192956/4192956
[pid=15488] ppid=15486 vsize=178848 CPUtime=462.16
/proc/15488/stat : 15488 (pbscip.linux.x8) R 15486 15488 14619 0 -1 4202496 48478 0 0 0 46127 89 0 0 25 0 1 0 7943025 183140352 43669 1992294400 4194304 7136930 140733531714048 18446744073709551615 4780826 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15488/statm: 44712 43669 393 719 0 43991 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 178848

[startup+522.301 s]
/proc/loadavg: 1.00 1.27 1.52 2/107 15503
/proc/meminfo: memFree=1512252/2059040 swapFree=4192956/4192956
[pid=15488] ppid=15486 vsize=183140 CPUtime=522.14
/proc/15488/stat : 15488 (pbscip.linux.x8) R 15486 15488 14619 0 -1 4202496 49540 0 0 0 52117 97 0 0 25 0 1 0 7943025 187535360 44731 1992294400 4194304 7136930 140733531714048 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15488/statm: 45785 44731 393 719 0 45064 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 183140

[startup+582.301 s]
/proc/loadavg: 1.00 1.22 1.49 2/107 15503
/proc/meminfo: memFree=1510764/2059040 swapFree=4192956/4192956
[pid=15488] ppid=15486 vsize=184552 CPUtime=582.12
/proc/15488/stat : 15488 (pbscip.linux.x8) R 15486 15488 14619 0 -1 4202496 49898 0 0 0 58106 106 0 0 25 0 1 0 7943025 188981248 45089 1992294400 4194304 7136930 140733531714048 18446744073709551615 4643150 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15488/statm: 46138 45089 393 719 0 45417 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 184552

[startup+642.301 s]
/proc/loadavg: 1.00 1.18 1.45 2/107 15505
/proc/meminfo: memFree=1502208/2059040 swapFree=4192956/4192956
[pid=15488] ppid=15486 vsize=192992 CPUtime=642.11
/proc/15488/stat : 15488 (pbscip.linux.x8) R 15486 15488 14619 0 -1 4202496 52031 0 0 0 64098 113 0 0 25 0 1 0 7943025 197623808 47222 1992294400 4194304 7136930 140733531714048 18446744073709551615 4436491 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15488/statm: 48248 47222 393 719 0 47527 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 192992

[startup+702.301 s]

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

[startup+1002.3 s]
/proc/loadavg: 1.01 1.07 1.31 2/107 15515
/proc/meminfo: memFree=1481004/2059040 swapFree=4192956/4192956
[pid=15488] ppid=15486 vsize=213684 CPUtime=1001.98
/proc/15488/stat : 15488 (pbscip.linux.x8) R 15486 15488 14619 0 -1 4202496 57258 0 0 0 100034 164 0 0 25 0 1 0 7943025 218812416 52449 1992294400 4194304 7136930 140733531714048 18446744073709551615 4780830 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15488/statm: 53421 52449 393 719 0 52700 0
Current children cumulated CPU time (s) 1001.98
Current children cumulated vsize (KiB) 213684

[startup+1062.3 s]
/proc/loadavg: 1.00 1.06 1.29 2/107 15517
/proc/meminfo: memFree=1476292/2059040 swapFree=4192956/4192956
[pid=15488] ppid=15486 vsize=218428 CPUtime=1061.97
/proc/15488/stat : 15488 (pbscip.linux.x8) R 15486 15488 14619 0 -1 4202496 58425 0 0 0 106024 173 0 0 25 0 1 0 7943025 223670272 53616 1992294400 4194304 7136930 140733531714048 18446744073709551615 4227171 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15488/statm: 54607 53616 393 719 0 53886 0
Current children cumulated CPU time (s) 1061.97
Current children cumulated vsize (KiB) 218428

[startup+1122.3 s]
/proc/loadavg: 1.00 1.04 1.26 2/107 15519
/proc/meminfo: memFree=1472944/2059040 swapFree=4192956/4192956
[pid=15488] ppid=15486 vsize=221760 CPUtime=1121.94
/proc/15488/stat : 15488 (pbscip.linux.x8) R 15486 15488 14619 0 -1 4202496 59269 0 0 0 112015 179 0 0 25 0 1 0 7943025 227082240 54460 1992294400 4194304 7136930 140733531714048 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15488/statm: 55440 54460 393 719 0 54719 0
Current children cumulated CPU time (s) 1121.94
Current children cumulated vsize (KiB) 221760

[startup+1182.3 s]
/proc/loadavg: 1.00 1.03 1.25 2/107 15519
/proc/meminfo: memFree=1471208/2059040 swapFree=4192956/4192956
[pid=15488] ppid=15486 vsize=223324 CPUtime=1181.93
/proc/15488/stat : 15488 (pbscip.linux.x8) R 15486 15488 14619 0 -1 4202496 59654 0 0 0 118006 187 0 0 25 0 1 0 7943025 228683776 54845 1992294400 4194304 7136930 140733531714048 18446744073709551615 4697605 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15488/statm: 55831 54845 393 719 0 55110 0
Current children cumulated CPU time (s) 1181.93
Current children cumulated vsize (KiB) 223324

[startup+1242.3 s]
/proc/loadavg: 1.00 1.02 1.23 2/107 15521
/proc/meminfo: memFree=1467364/2059040 swapFree=4192956/4192956
[pid=15488] ppid=15486 vsize=227044 CPUtime=1241.91
/proc/15488/stat : 15488 (pbscip.linux.x8) R 15486 15488 14619 0 -1 4202496 60597 0 0 0 123997 194 0 0 25 0 1 0 7943025 232493056 55788 1992294400 4194304 7136930 140733531714048 18446744073709551615 4774597 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15488/statm: 56761 55788 393 719 0 56040 0
Current children cumulated CPU time (s) 1241.91
Current children cumulated vsize (KiB) 227044

[startup+1302.3 s]
/proc/loadavg: 1.00 1.02 1.21 2/107 15523
/proc/meminfo: memFree=1463148/2059040 swapFree=4192956/4192956
[pid=15488] ppid=15486 vsize=231140 CPUtime=1301.89
/proc/15488/stat : 15488 (pbscip.linux.x8) R 15486 15488 14619 0 -1 4202496 61631 0 0 0 129987 202 0 0 25 0 1 0 7943025 236687360 56822 1992294400 4194304 7136930 140733531714048 18446744073709551615 4436359 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15488/statm: 57785 56822 393 719 0 57064 0
Current children cumulated CPU time (s) 1301.89
Current children cumulated vsize (KiB) 231140

[startup+1362.3 s]
/proc/loadavg: 1.00 1.01 1.19 2/107 15525
/proc/meminfo: memFree=1458436/2059040 swapFree=4192956/4192956
[pid=15488] ppid=15486 vsize=235752 CPUtime=1361.87
/proc/15488/stat : 15488 (pbscip.linux.x8) R 15486 15488 14619 0 -1 4202496 62798 0 0 0 135978 209 0 0 25 0 1 0 7943025 241410048 57989 1992294400 4194304 7136930 140733531714048 18446744073709551615 4774634 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15488/statm: 58938 57989 393 719 0 58217 0
Current children cumulated CPU time (s) 1361.87
Current children cumulated vsize (KiB) 235752

[startup+1422.31 s]
/proc/loadavg: 1.00 1.01 1.18 2/107 15527
/proc/meminfo: memFree=1453848/2059040 swapFree=4192956/4192956
[pid=15488] ppid=15486 vsize=240368 CPUtime=1421.86
/proc/15488/stat : 15488 (pbscip.linux.x8) R 15486 15488 14619 0 -1 4202496 63965 0 0 0 141968 218 0 0 25 0 1 0 7943025 246136832 59156 1992294400 4194304 7136930 140733531714048 18446744073709551615 4774442 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15488/statm: 60092 59156 393 719 0 59371 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 240368

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.17 2/107 15527
/proc/meminfo: memFree=1449880/2059040 swapFree=4192956/4192956
[pid=15488] ppid=15486 vsize=244352 CPUtime=1481.83
/proc/15488/stat : 15488 (pbscip.linux.x8) R 15486 15488 14619 0 -1 4202496 64941 0 0 0 147956 227 0 0 25 0 1 0 7943025 250216448 60132 1992294400 4194304 7136930 140733531714048 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15488/statm: 61088 60132 393 719 0 60367 0
Current children cumulated CPU time (s) 1481.83
Current children cumulated vsize (KiB) 244352

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.15 2/107 15529
/proc/meminfo: memFree=1448640/2059040 swapFree=4192956/4192956
[pid=15488] ppid=15486 vsize=245508 CPUtime=1541.81
/proc/15488/stat : 15488 (pbscip.linux.x8) R 15486 15488 14619 0 -1 4202496 65256 0 0 0 153947 234 0 0 25 0 1 0 7943025 251400192 60447 1992294400 4194304 7136930 140733531714048 18446744073709551615 4643150 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15488/statm: 61377 60447 393 719 0 60656 0
Current children cumulated CPU time (s) 1541.81
Current children cumulated vsize (KiB) 245508

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.14 2/107 15540
/proc/meminfo: memFree=1443184/2059040 swapFree=4192956/4192956
[pid=15488] ppid=15486 vsize=250632 CPUtime=1601.78
/proc/15488/stat : 15488 (pbscip.linux.x8) R 15486 15488 14619 0 -1 4202496 66550 0 0 0 159934 244 0 0 25 0 1 0 7943025 256647168 61741 1992294400 4194304 7136930 140733531714048 18446744073709551615 4436491 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15488/statm: 62658 61741 393 719 0 61937 0
Current children cumulated CPU time (s) 1601.78
Current children cumulated vsize (KiB) 250632

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.13 2/107 15542
/proc/meminfo: memFree=1438472/2059040 swapFree=4192956/4192956
[pid=15488] ppid=15486 vsize=255376 CPUtime=1661.77
/proc/15488/stat : 15488 (pbscip.linux.x8) R 15486 15488 14619 0 -1 4202496 67743 0 0 0 165925 252 0 0 25 0 1 0 7943025 261505024 62934 1992294400 4194304 7136930 140733531714048 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15488/statm: 63844 62934 393 719 0 63123 0
Current children cumulated CPU time (s) 1661.77
Current children cumulated vsize (KiB) 255376

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.12 2/107 15544
/proc/meminfo: memFree=1435992/2059040 swapFree=4192956/4192956
[pid=15488] ppid=15486 vsize=257948 CPUtime=1721.75
/proc/15488/stat : 15488 (pbscip.linux.x8) R 15486 15488 14619 0 -1 4202496 68365 0 0 0 171915 260 0 0 25 0 1 0 7943025 264138752 63556 1992294400 4194304 7136930 140733531714048 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15488/statm: 64487 63556 393 719 0 63766 0
Current children cumulated CPU time (s) 1721.75
Current children cumulated vsize (KiB) 257948

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.11 2/107 15544
/proc/meminfo: memFree=1432892/2059040 swapFree=4192956/4192956
[pid=15488] ppid=15486 vsize=260772 CPUtime=1781.73
/proc/15488/stat : 15488 (pbscip.linux.x8) R 15486 15488 14619 0 -1 4202496 69087 0 0 0 177904 269 0 0 25 0 1 0 7943025 267030528 64278 1992294400 4194304 7136930 140733531714048 18446744073709551615 4697685 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15488/statm: 65193 64278 393 719 0 64472 0
Current children cumulated CPU time (s) 1781.73
Current children cumulated vsize (KiB) 260772



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.10 2/107 15546
/proc/meminfo: memFree=1430660/2059040 swapFree=4192956/4192956
[pid=15488] ppid=15486 vsize=262952 CPUtime=1800.03
/proc/15488/stat : 15488 (pbscip.linux.x8) R 15486 15488 14619 0 -1 4202496 69632 0 0 0 179733 270 0 0 25 0 1 0 7943025 269262848 64823 1992294400 4194304 7136930 140733531714048 18446744073709551615 4407896 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15488/statm: 65738 64823 393 719 0 65017 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 262952

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

[startup+1801 s]
/proc/loadavg: 1.00 1.00 1.10 2/107 15546
/proc/meminfo: memFree=1430660/2059040 swapFree=4192956/4192956
[pid=15488] ppid=15486 vsize=244536 CPUtime=1800.42
/proc/15488/stat : 15488 (pbscip.linux.x8) R 15486 15488 14619 0 -1 4202496 69642 0 0 0 179771 271 0 0 25 0 1 0 7943025 250404864 60424 1992294400 4194304 7136930 140733531714048 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15488/statm: 61134 60424 398 719 0 60413 0
Current children cumulated CPU time (s) 1800.42
Current children cumulated vsize (KiB) 244536

[startup+1801.2 s]
/proc/loadavg: 1.00 1.00 1.10 2/107 15546
/proc/meminfo: memFree=1430660/2059040 swapFree=4192956/4192956
[pid=15488] ppid=15486 vsize=210492 CPUtime=1800.62
/proc/15488/stat : 15488 (pbscip.linux.x8) R 15486 15488 14619 0 -1 4202496 69642 0 0 0 179791 271 0 0 25 0 1 0 7943025 215543808 51921 1992294400 4194304 7136930 140733531714048 18446744073709551615 6165594 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15488/statm: 52623 51921 398 719 0 51902 0
Current children cumulated CPU time (s) 1800.62
Current children cumulated vsize (KiB) 210492

[startup+1801.3 s]
/proc/loadavg: 1.00 1.00 1.10 2/107 15546
/proc/meminfo: memFree=1430660/2059040 swapFree=4192956/4192956
[pid=15488] ppid=15486 vsize=51448 CPUtime=1800.72
/proc/15488/stat : 15488 (pbscip.linux.x8) R 15486 15488 14619 0 -1 4202496 69642 0 0 0 179799 273 0 0 25 0 1 0 7943025 52682752 12421 1992294400 4194304 7136930 140733531714048 18446744073709551615 6166190 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15488/statm: 12862 12421 398 719 0 12141 0
Current children cumulated CPU time (s) 1800.72
Current children cumulated vsize (KiB) 51448

Child status: 0
Real time (s): 1801.31
CPU time (s): 1800.74
CPU user time (s): 1798
CPU system time (s): 2.74058
CPU usage (%): 99.9683
Max. virtual memory (cumulated for all children) (KiB): 262952

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798
system time used= 2.74058
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 69648
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= 4
involuntary context switches= 2865

runsolver used 2.82057 second user time and 8.66668 second system time

The end

Launcher Data 

Begin job on node047 at 2010-06-16 07:35:10
IDJOB=2663855
IDBENCH=48228
IDSOLVER=1167
FILE ID=node047/2663855-1276666510
PBS_JOBID= 11172486
Free space on /tmp= 62540 MiB

SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_1000_25_4.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.none -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2663855-1276666510/watcher-2663855-1276666510 -o /tmp/evaluation-result-2663855-1276666510/solver-2663855-1276666510 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663855-1276666510.opb -t 1800 -m 1800

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

MD5SUM BENCH= 95a6f76009dbd8a204f015cb008300c0
RANDOM SEED=1712399946

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1691224 kB
Buffers:         88852 kB
Cached:         152408 kB
SwapCached:          0 kB
Active:         131100 kB
Inactive:       169516 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1691224 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            4144 kB
Writeback:           0 kB
AnonPages:       59264 kB
Mapped:          15404 kB
Slab:            45320 kB
PageTables:       4052 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   179820 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= 62536 MiB
End job on node047 at 2010-06-16 08:05:13