Trace number 433710

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerObjective functionCPU timeWall clock time
bsolo 3.0.17SAT (TO)28 1800.03 1800.62

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_018_area_delay.opb
MD5SUMc19adaf233257cdd6134391794b23c65
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark25
Best CPU time to get the best result obtained on this benchmark18.7901
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 25
Optimality of the best value was proved YES
Number of variables3187
Total number of constraints8922
Number of constraints which are clauses8922
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint63
Number of terms in the objective function 1527
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 1527
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 1527
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data (download as text)

0.00/0.00	c bsolo beta version 3.0.17 - 27/04/2007 : 1600 GMT
0.00/0.00	c Developed by Vasco Manquinho IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Memory Limit set to 1800 MB
0.00/0.00	c Instance file /tmp/evaluation/433710-1177962358/instance-433710-1177962358.opb
0.00/0.00	c File size is 263267 bytes.
0.00/0.05	c Highest Coefficient sum: 1527
0.00/0.05	c Parsing was ok!!
0.00/0.05	c Total parsing time: 0.048 s
0.05/0.05	c Var: 3187 Constr: 8922 8922/0/0 Lit: 21969 Watch. Lit: 17751
0.05/0.05	c Obj. Vars: 1527 (47.9134 % of total variables)
0.09/0.11	c Pre-processing Time: 0.106 s
0.09/0.11	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.11	c        0   2986     7857    19657    2    15714    2618      0      0 0.11
0.09/0.11	c Switching off LPR mode.
0.09/0.11	o 28	0.11
1800.02/1800.60	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.02/1800.60	c       11   2986     7869    21259    2    17144    3618     12     98 0.11
1800.02/1800.60	c      111   2986     7969    24744    3    17344    3980    112    744 0.15
1800.02/1800.60	c      362   2986     8220    35849    4    17846    4379    363   1430 0.25
1800.02/1800.60	c      837   2986     8695    53750    6    18796    4817    838   2016 0.41
1800.02/1800.60	c     1650   2986     9508    95492   10    20422    5299   1651   2257 0.73
1800.02/1800.60	c     2970   2986    10828   154303   14    23062    5829   2971   2506 1.19
1800.02/1800.60	c     5051   2986    12909   249506   19    27224    6412   5052   2344 2.15
1800.02/1800.60	c     8274   2986    11743   230778   19    24892    7054   3886   2348 3.52
1800.02/1800.60	c    13211   2986    12265   276408   22    25936    7760   4408   2240 5.90
1800.02/1800.60	c    20717   2986    14573   407163   27    30552    8537   6716   2041 10.15
1800.02/1800.60	c    32079   2986    14849   463377   31    31104    9391   6992   1954 16.41
1800.02/1800.60	c    49223   2986    14169   383849   27    29744   10331   6312   1675 29.38
1800.02/1800.60	c    75042   2986    14714   414816   28    30834   11365   6857   1869 40.13
1800.02/1800.61	c   113874   2986    19308   682300   35    40022   12502  11451   1658 68.68
1800.02/1800.61	c   172226   2986    17543   614776   35    36492   13753   9686   1832 93.98
1800.02/1800.61	c   259858   2986    16052   594238   37    33510   15129   8195   1681 154.52
1800.02/1800.61	c   391413   2986    15492   526572   33    32390   16642   7635   1448 270.28
1800.02/1800.61	c   588846   2986    20766   935595   45    42938   18307  12909   1197 491.84
1800.02/1800.61	c   885099   2986    18193   631290   34    37792   20138  10336   1194 741.06
1800.02/1800.61	c  1329582   2986    21755   812840   37    44916   22152  13898   1064 1248.47
1800.02/1800.61	c Caught signal: 15
1800.02/1800.61	v -x138 -x140 x142 -x144 -x146 -x148 -x150 -x152 -x154 -x156 -x158 -x160 -x162 -x164 -x166 -x168 -x170 -x172 -x174 -x176 -x178
1800.02/1800.61	v -x180 -x182 -x184 -x186 -x188 -x190 -x192 -x194 -x196 x198 -x200 -x202 -x204 -x206 -x208 -x210 -x212 -x214 -x216 -x218 -x220
1800.02/1800.61	v -x222 -x224 -x226 -x228 -x230 -x232 -x234 -x236 -x238 -x240 x242 -x244 -x246 -x248 -x250 -x252 -x254 -x256 -x258 -x260 -x262
1800.02/1800.61	v -x264 -x266 -x268 -x270 -x272 -x274 -x276 -x278 -x280 -x282 -x284 -x286 -x288 -x290 -x292 -x294 -x296 -x298 -x300 -x302 -x304
1800.02/1800.61	v -x306 -x308 -x310 -x312 -x314 -x316 -x318 -x320 -x322 -x324 -x326 -x328 -x330 -x332 -x334 -x336 -x338 -x340 -x342 -x344 -x346
1800.02/1800.61	v -x348 -x350 -x352 -x354 -x356 -x358 -x360 -x362 -x364 -x366 -x368 -x370 -x372 -x374 -x376 -x378 -x380 -x382 -x384 -x386 -x388
1800.02/1800.61	v -x390 -x392 -x394 -x396 -x398 -x400 -x402 -x404 -x406 -x408 -x410 -x412 -x414 -x416 -x418 -x420 -x422 -x424 -x426 -x428 -x430
1800.02/1800.61	v -x432 -x434 -x436 -x438 -x440 -x442 -x444 -x446 -x448 -x450 -x452 -x454 -x456 -x458 -x460 -x462 -x464 -x466 -x468 -x470 -x472
1800.02/1800.61	v -x474 -x476 -x478 -x480 -x482 -x484 -x486 x488 -x490 -x492 -x494 -x496 -x498 -x500 x502 -x504 -x506 -x508 -x510 -x512 -x514
1800.02/1800.61	v -x516 -x518 -x520 -x522 -x524 -x526 -x528 -x530 -x532 -x534 -x536 -x538 -x540 -x542 -x544 -x546 -x548 -x550 -x552 -x554 -x556
1800.02/1800.61	v -x558 -x560 -x562 -x564 -x566 -x568 -x570 -x572 -x574 -x576 -x578 -x580 -x582 -x584 -x586 -x588 -x590 -x592 -x594 -x596 -x598
1800.02/1800.61	v -x600 -x602 -x604 -x606 -x608 -x610 -x612 -x614 -x616 -x618 -x620 -x622 -x624 -x626 -x628 -x630 -x632 -x634 -x636 -x638 -x640
1800.02/1800.61	v -x642 -x644 -x646 -x648 -x650 -x652 -x654 -x656 -x658 -x660 -x662 -x664 -x666 -x668 -x670 -x672 -x674 -x676 -x678 -x680 x681
1800.02/1800.61	v -x683 -x685 -x687 -x689 -x691 -x693 -x695 -x697 -x699 -x701 -x703 -x705 -x707 -x709 -x711 -x713 -x715 -x717 -x719 -x721 -x723
1800.02/1800.61	v -x725 -x727 -x729 -x731 -x733 -x735 -x737 -x739 -x741 -x743 -x745 -x747 -x749 -x751 -x753 -x755 -x757 -x759 -x761 -x763 -x765
1800.02/1800.61	v -x767 -x769 -x771 x773 -x775 -x777 -x779 -x781 -x783 -x785 -x787 -x789 -x791 -x793 -x795 -x797 -x799 -x801 -x803 -x805 -x807
1800.02/1800.61	v -x809 -x811 -x813 -x815 -x817 -x819 -x821 -x823 -x825 -x827 -x829 -x831 -x833 -x835 -x837 -x839 -x841 -x843 -x845 -x847 -x849
1800.02/1800.61	v -x851 -x853 -x855 x857 -x859 -x861 -x863 -x865 -x867 -x869 x871 -x873 -x875 -x877 -x879 -x881 -x883 -x885 -x887 -x889 -x891
1800.02/1800.61	v -x893 -x895 -x897 x899 -x901 -x903 -x905 -x907 -x909 -x911 -x913 -x915 -x917 -x919 -x921 -x923 -x925 -x927 -x929 -x931 -x933
1800.02/1800.61	v -x935 -x937 -x939 -x941 -x943 x945 -x947 -x949 -x951 -x953 -x955 -x957 -x959 -x961 -x963 -x965 -x967 -x969 -x971 -x973 -x975
1800.02/1800.61	v -x977 -x979 -x981 -x983 -x985 -x987 -x989 x991 -x993 -x995 -x997 -x999 -x1001 -x1003 -x1005 -x1007 -x1009 -x1011 -x1013
1800.02/1800.61	v -x1015 -x1017 -x1019 -x1021 -x1023 -x1025 -x1027 -x1029 -x1031 -x1033 -x1035 -x1037 -x1039 -x1041 -x1043 -x1045 -x1047
1800.02/1800.61	v -x1049 -x1051 -x1053 -x1055 -x1057 -x1059 -x1061 -x1063 -x1065 -x1067 -x1069 -x1071 -x1073 -x1075 -x1077 -x1079 -x1081
1800.02/1800.61	v -x1083 -x1085 -x1087 -x1089 -x1091 -x1093 -x1095 -x1097 -x1099 -x1101 -x1103 -x1105 -x1107 -x1109 -x1111 -x1113 -x1115
1800.02/1800.61	v -x1117 -x1119 -x1121 -x1123 -x1125 -x1127 -x1129 -x1131 -x1133 -x1135 -x1137 -x1139 -x1141 -x1143 -x1145 -x1147 -x1149
1800.02/1800.61	v -x1151 -x1153 -x1155 -x1157 -x1159 -x1161 -x1163 -x1165 -x1167 -x1169 -x1171 -x1173 -x1175 -x1177 -x1179 -x1181 -x1183
1800.02/1800.61	v -x1185 -x1187 -x1189 -x1191 -x1193 -x1195 -x1197 -x1199 -x1201 -x1203 -x1205 -x1207 -x1209 -x1211 -x1213 -x1215 -x1217
1800.02/1800.61	v -x1219 -x1221 -x1223 -x1225 -x1227 -x1229 x1231 -x1233 -x1235 -x1237 -x1239 -x1241 -x1243 -x1245 -x1247 -x1249 -x1251
1800.02/1800.61	v -x1253 -x1255 -x1257 -x1259 -x1261 -x1263 -x1265 -x1267 -x1269 -x1271 -x1273 -x1275 -x1277 -x1279 -x1281 -x1283 -x1285
1800.02/1800.61	v -x1287 -x1289 -x1291 -x1293 -x1295 -x1297 -x1299 -x1301 -x1303 -x1305 -x1307 -x1309 -x1311 -x1313 -x1315 -x1317 -x1319
1800.02/1800.61	v -x1321 -x1323 -x1325 -x1327 -x1329 -x1331 -x1333 -x1335 -x1337 -x1339 -x1341 -x1343 -x1345 -x1347 -x1349 -x1351 -x1353
1800.02/1800.61	v -x1355 -x1357 -x1359 -x1361 -x1363 -x1365 -x1367 -x1369 -x1371 -x1373 x1375 -x1377 -x1379 -x1381 -x1383 -x1385 -x1387
1800.02/1800.61	v -x1389 -x1391 -x1393 -x1395 -x1397 -x1399 -x1401 -x1403 -x1405 -x1407 -x1409 -x1411 -x1413 -x1415 -x1417 -x1419 -x1421
1800.02/1800.61	v -x1423 -x1425 -x1427 -x1429 -x1431 -x1433 -x1435 -x1437 -x1439 -x1441 -x1443 -x1445 -x1447 -x1449 -x1451 -x1453 -x1455
1800.02/1800.61	v -x1457 -x1459 -x1461 -x1463 -x1465 -x1467 -x1469 -x1471 -x1473 -x1475 -x1477 x1479 -x1481 -x1483 -x1485 -x1487 -x1489
1800.02/1800.61	v -x1491 -x1493 -x1495 -x1497 -x1499 -x1501 -x1503 -x1505 -x1507 -x1509 -x1511 -x1513 -x1515 -x1517 -x1518 -x1520 -x1522
1800.02/1800.61	v -x1524 -x1526 -x1528 -x1530 -x1532 -x1534 -x1536 -x1538 -x1540 -x1542 -x1544 -x1546 -x1548 -x1550 -x1552 -x1554 -x1556
1800.02/1800.61	v -x1558 -x1560 -x1562 -x1564 -x1566 -x1568 -x1570 -x1572 -x1574 -x1576 -x1578 -x1580 -x1582 -x1584 -x1586 -x1588 -x1590
1800.02/1800.61	v -x1592 -x1594 -x1596 -x1598 -x1600 -x1602 -x1604 -x1606 -x1608 -x1610 -x1612 -x1614 -x1616 -x1618 -x1620 -x1622 -x1624
1800.02/1800.61	v -x1626 -x1628 -x1630 -x1632 -x1634 -x1636 -x1638 -x1640 -x1642 -x1644 -x1646 -x1648 x1650 -x1652 -x1654 -x1656 -x1658
1800.02/1800.61	v -x1660 -x1662 -x1664 -x1666 -x1668 -x1670 -x1672 -x1674 -x1676 -x1678 -x1680 -x1682 -x1684 -x1686 -x1688 -x1690 -x1692
1800.02/1800.61	v -x1694 -x1696 -x1698 -x1700 -x1702 -x1704 -x1706 -x1708 -x1710 -x1712 -x1714 -x1716 x1718 -x1720 -x1722 -x1724 -x1726
1800.02/1800.61	v -x1728 -x1730 -x1732 -x1734 -x1736 -x1738 -x1740 -x1742 -x1744 -x1746 -x1748 -x1750 -x1752 -x1754 -x1756 -x1758 -x1760
1800.02/1800.61	v -x1762 -x1764 -x1766 -x1768 -x1770 -x1772 -x1774 -x1776 -x1778 -x1780 -x1782 -x1784 -x1786 -x1788 -x1790 -x1792 -x1794
1800.02/1800.61	v -x1796 -x1798 -x1800 -x1802 -x1804 -x1806 -x1808 -x1810 -x1812 -x1814 -x1816 -x1818 -x1820 -x1822 -x1824 -x1826 -x1828
1800.02/1800.61	v -x1830 -x1832 -x1834 -x1836 -x1838 -x1840 -x1842 -x1844 -x1846 -x1848 -x1850 -x1852 -x1854 -x1856 -x1858 -x1860 -x1862
1800.02/1800.61	v -x1864 -x1866 -x1868 -x1870 -x1872 -x1874 -x1876 -x1878 -x1880 -x1882 -x1884 -x1886 -x1888 -x1890 -x1892 -x1894 -x1896
1800.02/1800.61	v -x1898 -x1900 -x1902 -x1904 -x1906 -x1908 -x1910 -x1912 -x1914 -x1916 -x1918 -x1920 -x1922 -x1924 -x1926 -x1928 -x1930
1800.02/1800.61	v -x1932 -x1934 x1936 -x1938 -x1940 -x1942 -x1944 -x1946 -x1948 -x1950 -x1952 -x1954 -x1956 -x1958 -x1960 -x1962 -x1964
1800.02/1800.61	v -x1966 x1968 -x1970 -x1972 -x1974 -x1976 -x1978 -x1980 -x1982 -x1984 -x1986 -x1988 -x1990 -x1992 -x1994 -x1996 -x1998
1800.02/1800.61	v -x2000 -x2002 -x2004 -x2006 -x2008 -x2010 -x2012 -x2014 -x2016 -x2018 -x2020 -x2022 -x2024 -x2026 -x2028 -x2030 -x2032
1800.02/1800.61	v -x2034 -x2036 -x2038 -x2040 -x2042 -x2044 -x2046 -x2048 -x2050 -x2052 -x2054 -x2056 -x2058 -x2060 -x2062 -x2064 -x2066
1800.02/1800.61	v -x2068 -x2070 -x2072 -x2074 -x2076 -x2078 -x2080 -x2082 -x2084 -x2086 -x2088 -x2090 -x2092 -x2094 -x2096 -x2098 -x2100
1800.02/1800.61	v -x2102 -x2104 -x2106 -x2108 -x2110 -x2112 -x2114 -x2116 -x2118 -x2120 -x2122 -x2124 -x2126 -x2128 -x2130 -x2132 -x2134
1800.02/1800.61	v -x2136 -x2138 -x2140 -x2142 -x2144 -x2146 -x2148 -x2150 -x2152 -x2154 -x2156 -x2158 -x2160 -x2162 -x2164 -x2166 -x2168
1800.02/1800.61	v -x2170 -x2172 -x2174 -x2176 -x2178 -x2180 -x2182 -x2184 -x2186 -x2188 -x2190 -x2192 -x2194 -x2196 -x2198 -x2200 -x2202
1800.02/1800.61	v -x2204 -x2206 -x2208 -x2210 -x2212 -x2214 -x2216 -x2218 -x2220 -x2222 -x2224 -x2226 -x2228 -x2230 -x2232 -x2234 -x2236
1800.02/1800.61	v -x2238 -x2240 -x2242 -x2244 -x2246 -x2248 -x2250 -x2252 -x2254 -x2256 -x2258 -x2260 -x2262 -x2264 -x2266 -x2268 -x2270
1800.02/1800.61	v -x2272 -x2274 -x2276 -x2278 -x2280 -x2282 -x2284 -x2286 -x2288 -x2290 -x2292 -x2294 -x2296 -x2298 -x2300 -x2302 -x2304
1800.02/1800.61	v -x2306 -x2308 -x2310 -x2312 -x2314 -x2316 -x2318 x2320 -x2322 -x2324 -x2326 -x2328 -x2330 -x2332 -x2334 -x2336 -x2338
1800.02/1800.61	v -x2340 -x2342 -x2344 -x2346 -x2348 -x2350 -x2352 -x2354 -x2356 -x2358 -x2360 -x2362 -x2364 -x2366 -x2368 -x2370 -x2372
1800.02/1800.61	v -x2374 -x2376 -x2378 -x2380 -x2382 -x2384 -x2386 -x2388 -x2390 -x2392 -x2394 -x2396 -x2398 -x2400 -x2402 -x2404 -x2406
1800.02/1800.61	v -x2408 -x2410 -x2412 -x2414 -x2416 -x2418 -x2420 -x2422 -x2424 -x2426 -x2428 -x2430 -x2432 -x2434 -x2436 -x2438 -x2440
1800.02/1800.61	v -x2442 -x2444 -x2446 -x2448 -x2450 -x2452 -x2454 -x2456 -x2458 -x2460 -x2462 -x2464 -x2466 -x2468 -x2470 -x2472 x2474
1800.02/1800.61	v -x2476 -x2478 -x2480 -x2482 -x2484 -x2486 -x2488 -x2490 -x2492 -x2494 -x2496 -x2498 -x2500 -x2502 -x2504 -x2506 -x2508
1800.02/1800.61	v -x2510 -x2512 -x2514 -x2516 -x2518 -x2520 -x2522 -x2524 -x2526 -x2528 -x2530 -x2532 -x2534 -x2536 -x2538 -x2540 -x2542
1800.02/1800.61	v -x2544 -x2546 -x2548 -x2550 -x2552 -x2554 -x2556 -x2558 -x2560 -x2562 -x2564 -x2566 -x2568 -x2570 -x2572 -x2574 -x2576
1800.02/1800.61	v -x2578 -x2580 -x2582 -x2584 -x2586 -x2588 -x2590 -x2592 -x2594 -x2596 -x2598 -x2600 -x2602 -x2604 -x2606 -x2608 -x2610
1800.02/1800.61	v -x2612 -x2614 -x2616 -x2618 -x2620 -x2622 -x2624 -x2626 -x2628 -x2630 -x2632 -x2634 -x2636 -x2638 -x2640 -x2642 -x2644
1800.02/1800.61	v -x2646 -x2648 -x2650 -x2652 -x2654 -x2656 -x2658 -x2660 -x2662 -x2664 -x2666 -x2668 -x2670 -x2672 -x2674 -x2676 -x2678
1800.02/1800.61	v -x2680 -x2682 -x2684 -x2686 -x2688 -x2690 -x2692 -x2694 -x2696 -x2698 -x2700 -x2702 -x2704 -x2706 -x2708 -x2710 -x2712
1800.02/1800.61	v -x2714 -x2716 -x2718 -x2720 -x2722 -x2724 -x2726 -x2728 -x2730 -x2732 -x2734 -x2736 -x2738 -x2740 -x2742 -x2744 -x2746
1800.02/1800.61	v -x2748 -x2750 -x2752 -x2754 -x2756 -x2758 -x2760 -x2762 -x2764 -x2766 -x2768 -x2770 -x2772 -x2774 -x2776 -x2778 -x2780
1800.02/1800.61	v -x2782 -x2784 -x2786 -x2788 -x2790 -x2792 -x2794 -x2796 -x2798 -x2799 -x2801 -x2803 -x2805 -x2807 -x2809 -x2811 -x2813
1800.02/1800.61	v -x2815 -x2817 -x2819 -x2821 -x2823 -x2825 -x2827 -x2829 -x2831 -x2833 -x2835 -x2837 -x2839 -x2841 -x2843 -x2845 -x2847
1800.02/1800.61	v -x2849 -x2851 -x2853 -x2855 -x2857 -x2859 -x2861 -x2863 -x2865 -x2867 -x2869 -x2871 -x2873 -x2875 -x2877 -x2879 -x2881
1800.02/1800.61	v -x2883 -x2885 -x2887 -x2889 -x2891 -x2893 -x2895 -x2897 -x2899 -x2901 -x2903 -x2905 -x2907 -x2909 -x2911 -x2913 -x2915
1800.02/1800.61	v -x2917 -x2919 -x2921 -x2923 -x2925 -x2927 -x2929 -x2931 -x2933 -x2935 -x2937 -x2939 -x2941 -x2943 -x2945 -x2947 -x2949
1800.02/1800.61	v -x2951 -x2953 -x2955 -x2957 -x2959 -x2961 -x2963 -x2965 -x2967 -x2969 -x2971 -x2973 -x2975 -x2977 -x2979 -x2981 -x2983
1800.02/1800.61	v -x2985 -x2987 -x2989 -x2991 -x2993 -x2995 -x2997 -x2999 -x3001 -x3003 -x3005 -x3007 -x3009 -x3011 -x3013 -x3015 -x3017
1800.02/1800.61	v -x3019 -x3021 -x3023 -x3025 -x3027 -x3029 -x3031 -x3033 -x3035 -x3037 -x3039 -x3041 -x3043 -x3045 -x3047 -x3049 -x3051
1800.02/1800.61	v -x3053 -x3055 -x3057 -x3059 -x3061 -x3063 -x3065 -x3067 -x3069 -x3071 -x3073 -x3075 -x3077 -x3079 -x3081 -x3083 -x3085
1800.02/1800.61	v -x3087 -x3089 -x3091 -x3093 -x3095 -x3097 -x3099 -x3101 -x3103 -x3105 -x3107 -x3109 -x3111 -x3113 -x3115 -x3117 -x3119
1800.02/1800.61	v -x3121 -x3123 -x3125 -x3127 -x3129 -x3131 -x3133 -x3135 -x3137 -x3139 -x3141 -x3143 x3145 -x3147 -x3149 -x3151 -x3153
1800.02/1800.61	v x3155 -x3157 -x3159 -x3161 -x3163 -x3165 x3167 -x3169 -x3171 x3173 -x3175 -x3177 x3179 -x3181 -x3183 x3185 x3187 -x137
1800.02/1800.61	v -x139 x141 -x143 -x145 -x147 -x149 -x151 -x153 -x155 -x157 -x159 -x161 -x163 -x165 -x167 -x1 -x169 -x171 -x173 -x175 -x177
1800.02/1800.61	v -x179 -x181 -x2 -x183 -x185 -x187 -x189 -x191 -x193 -x195 x3 x197 -x199 -x201 -x203 -x205 -x207 -x209 -x211 -x213 -x215 -x217
1800.02/1800.61	v -x219 -x221 -x223 -x225 -x227 -x229 -x231 -x233 -x235 -x237 -x239 x241 -x243 -x245 -x247 -x249 -x251 -x253 -x255 -x257 -x259
1800.02/1800.61	v -x261 -x263 -x4 -x265 -x267 -x269 -x271 -x273 -x275 -x277 -x279 -x281 -x283 -x285 -x287 -x289 -x291 -x293 -x5 -x295 -x297
1800.02/1800.61	v -x299 -x301 -x303 -x305 -x307 -x309 -x311 -x313 -x315 -x317 -x319 -x321 -x323 -x6 -x325 -x327 -x329 -x331 -x333 -x335 -x337
1800.02/1800.61	v -x7 -x339 -x341 -x343 -x345 -x347 -x349 -x351 -x353 -x355 -x357 -x359 -x361 -x363 -x365 -x367 -x8 -x369 -x371 -x373 -x375
1800.02/1800.61	v -x377 -x379 -x381 -x9 -x383 -x385 -x387 -x389 -x391 -x393 -x395 -x10 -x397 -x399 -x401 -x11 -x403 -x405 -x407 -x409 -x411
1800.02/1800.61	v -x413 -x415 -x417 -x419 -x421 -x423 -x425 -x427 -x429 -x431 -x12 -x433 -x435 -x437 -x439 -x441 -x443 -x445 -x13 -x447 -x449
1800.02/1800.61	v -x451 -x453 -x455 -x457 -x459 -x14 -x461 -x463 -x465 -x15 -x467 -x469 -x471 -x473 -x475 -x477 -x479 -x16 -x481 -x483 -x485
1800.02/1800.61	v x17 x487 -x489 -x491 -x18 -x493 -x495 -x497 -x499 x501 -x503 -x505 -x507 -x509 -x511 -x513 -x515 -x517 -x519 -x521 -x523 -x525
1800.02/1800.61	v -x527 -x529 -x531 -x533 -x535 -x537 -x539 -x541 -x543 -x545 -x547 -x549 -x551 -x553 -x555 -x19 -x557 -x559 -x561 -x563 -x565
1800.02/1800.61	v -x567 -x569 -x571 -x573 -x575 -x577 -x579 -x581 -x583 -x585 -x20 -x587 -x589 -x591 -x593 -x595 -x597 -x599 -x601 -x603 -x605
1800.02/1800.61	v -x607 -x609 -x611 -x613 -x615 -x21 -x617 -x619 -x621 -x623 -x625 -x627 -x629 -x631 -x633 -x635 -x637 -x639 -x641 -x643 -x645
1800.02/1800.61	v -x647 -x649 -x651 -x653 -x655 -x657 -x659 -x661 -x663 -x665 -x667 -x669 -x671 -x673 -x675 -x677 -x679 -x682 -x684 -x686 -x688
1800.02/1800.61	v -x690 -x22 -x692 -x694 -x696 -x698 -x700 -x702 -x704 -x706 -x708 -x710 -x712 -x714 -x716 -x718 -x720 -x23 -x722 -x724 -x726
1800.02/1800.61	v -x728 -x730 -x732 -x734 -x736 -x738 -x740 -x742 -x744 -x746 -x748 -x750 -x24 -x752 -x754 -x756 -x758 -x760 -x762 -x764 -x766
1800.02/1800.61	v -x768 -x770 x772 -x774 -x776 -x778 -x780 -x782 -x784 -x786 -x788 -x790 -x792 -x794 -x25 -x796 -x798 -x800 -x802 -x804 -x806
1800.02/1800.61	v -x808 -x26 -x810 -x812 -x814 -x816 -x818 -x820 -x822 -x824 -x826 -x828 -x830 -x832 -x834 -x836 -x838 -x27 -x840 -x842 -x844
1800.02/1800.61	v -x846 -x848 -x850 -x852 x28 -x854 x856 -x858 -x860 -x862 -x864 -x866 -x868 x870 -x872 -x874 -x876 -x878 -x880 -x882 -x884
1800.02/1800.61	v -x886 -x888 -x890 -x892 -x894 -x896 x898 -x900 -x902 -x29 -x904 -x906 -x908 -x910 -x912 -x914 -x916 -x918 -x920 -x922 -x924
1800.02/1800.61	v -x926 -x928 -x930 -x932 -x934 -x936 -x938 -x940 -x942 x944 -x946 -x30 -x948 -x950 -x952 -x954 -x956 -x958 -x960 -x31 -x962
1800.02/1800.61	v -x964 -x966 -x968 -x970 -x972 -x974 -x32 -x976 -x978 -x980 -x982 -x984 -x986 -x988 x990 -x992 -x994 -x996 -x998 -x1000 -x1002
1800.02/1800.61	v -x1004 -x1006 -x1008 -x1010 -x33 -x1012 -x1014 -x1016 -x1018 -x1020 -x1022 -x1024 -x34 -x1026 -x1028 -x1030 -x1032 -x1034
1800.02/1800.61	v -x1036 -x1038 -x1040 -x1042 -x1044 -x1046 -x1048 -x1050 -x1052 -x1054 -x35 -x1056 -x1058 -x1060 -x1062 -x1064 -x1066 -x1068
1800.02/1800.61	v -x36 -x1070 -x1072 -x1074 -x1076 -x1078 -x1080 -x1082 -x37 -x1084 -x1086 -x1088 -x38 -x1090 -x1092 -x1094 -x1096 -x1098
1800.02/1800.61	v -x1100 -x1102 -x1104 -x1106 -x1108 -x1110 -x1112 -x1114 -x1116 -x1118 -x39 -x1120 -x1122 -x1124 -x1126 -x1128 -x1130 -x1132
1800.02/1800.61	v -x40 -x1134 -x1136 -x1138 -x1140 -x1142 -x1144 -x1146 -x41 -x1148 -x1150 -x42 -x1152 -x1154 -x1156 -x1158 -x1160 -x1162
1800.02/1800.61	v -x1164 -x43 -x1166 -x1168 -x1170 -x1172 -x1174 -x1176 -x1178 -x44 -x1180 -x1182 -x1184 -x45 -x1186 -x1188 -x1190 -x1192
1800.02/1800.61	v -x1194 -x1196 -x1198 -x46 -x1200 -x1202 -x1204 -x47 -x1206 -x1208 -x1210 -x48 -x1212 -x1214 -x1216 -x1218 -x1220 -x1222
1800.02/1800.61	v -x1224 -x1226 -x1228 x1230 -x1232 -x1234 -x1236 -x1238 -x1240 -x1242 -x49 -x1244 -x1246 -x1248 -x1250 -x1252 -x1254 -x1256
1800.02/1800.61	v -x50 -x1258 -x1260 -x1262 -x1264 -x1266 -x1268 -x1270 -x1272 -x1274 -x1276 -x1278 -x1280 -x1282 -x1284 -x1286 -x51 -x1288
1800.02/1800.61	v -x1290 -x1292 -x1294 -x1296 -x1298 -x1300 -x52 -x1302 -x1304 -x1306 -x1308 -x1310 -x1312 -x1314 -x1316 -x1318 -x1320 -x1322
1800.02/1800.61	v -x1324 -x1326 -x1328 -x1330 -x53 -x1332 -x1334 -x1336 -x1338 -x1340 -x1342 -x1344 -x54 -x1346 -x1348 -x1350 -x1352 -x1354
1800.02/1800.61	v -x1356 -x1358 -x55 -x1360 -x1362 -x1364 -x1366 -x1368 -x1370 -x1372 x56 x1374 -x1376 -x1378 -x1380 -x1382 -x1384 -x1386
1800.02/1800.61	v -x1388 -x1390 -x1392 -x1394 -x1396 -x1398 -x1400 -x1402 -x1404 -x1406 -x1408 -x1410 -x1412 -x1414 -x1416 -x1418 -x1420
1800.02/1800.61	v -x1422 -x1424 -x1426 -x1428 -x1430 -x1432 -x1434 -x1436 -x1438 -x1440 -x1442 -x1444 -x1446 -x1448 -x1450 -x1452 -x1454
1800.02/1800.61	v -x1456 -x1458 -x1460 -x1462 -x1464 -x1466 -x1468 -x1470 -x1472 -x1474 -x1476 x1478 -x1480 -x1482 -x1484 -x1486 -x1488
1800.02/1800.61	v -x1490 -x1492 -x1494 -x1496 -x1498 -x1500 -x1502 -x1504 -x57 -x1506 -x1508 -x1510 -x1512 -x1514 -x1516 -x1519 -x1521 -x1523
1800.02/1800.61	v -x1525 -x1527 -x1529 -x1531 -x1533 -x1535 -x1537 -x1539 -x1541 -x1543 -x1545 -x1547 -x1549 -x1551 -x1553 -x1555 -x1557
1800.02/1800.61	v -x1559 -x1561 -x1563 -x58 -x1565 -x1567 -x1569 -x1571 -x1573 -x1575 -x1577 -x1579 -x1581 -x1583 -x1585 -x1587 -x1589 -x1591
1800.02/1800.61	v -x1593 -x1595 -x1597 -x1599 -x1601 -x1603 -x1605 -x1607 -x1609 -x1611 -x1613 -x1615 -x1617 -x1619 -x1621 -x1623 -x1625
1800.02/1800.61	v -x1627 -x1629 -x1631 -x1633 -x1635 -x1637 -x1639 -x1641 -x1643 -x1645 -x1647 x1649 -x1651 -x1653 -x1655 -x59 -x1657 -x1659
1800.02/1800.61	v -x1661 -x1663 -x1665 -x1667 -x1669 -x1671 -x1673 -x1675 -x1677 -x1679 -x1681 -x1683 -x1685 -x1687 -x1689 -x1691 -x1693
1800.02/1800.61	v -x1695 -x1697 -x1699 -x1701 -x1703 -x1705 -x1707 -x1709 -x1711 -x1713 -x1715 x1717 -x1719 -x1721 -x1723 -x1725 -x1727
1800.02/1800.61	v -x1729 -x1731 -x1733 -x1735 -x1737 -x1739 -x1741 -x1743 -x1745 -x1747 -x60 -x1749 -x1751 -x1753 -x1755 -x1757 -x1759 -x1761
1800.02/1800.61	v -x1763 -x1765 -x1767 -x1769 -x1771 -x1773 -x1775 -x1777 -x61 -x1779 -x1781 -x1783 -x1785 -x1787 -x1789 -x1791 -x62 -x1793
1800.02/1800.61	v -x1795 -x1797 -x1799 -x1801 -x1803 -x1805 -x1807 -x1809 -x1811 -x1813 -x1815 -x1817 -x1819 -x1821 -x1823 -x1825 -x1827
1800.02/1800.61	v -x1829 -x1831 -x1833 -x1835 -x1837 -x1839 -x1841 -x1843 -x1845 -x1847 -x1849 -x1851 -x1853 -x63 -x1855 -x1857 -x1859 -x1861
1800.02/1800.61	v -x1863 -x1865 -x1867 -x1869 -x1871 -x1873 -x1875 -x1877 -x1879 -x1881 -x1883 -x64 -x1885 -x1887 -x1889 -x1891 -x1893 -x1895
1800.02/1800.61	v -x1897 -x1899 -x1901 -x1903 -x1905 -x1907 -x1909 -x1911 -x1913 -x65 -x1915 -x1917 -x1919 -x1921 -x1923 -x1925 -x1927 -x1929
1800.02/1800.61	v -x1931 -x1933 x1935 -x1937 -x1939 -x1941 -x1943 -x1945 -x1947 -x1949 -x1951 -x1953 -x1955 -x1957 x66 -x1959 -x1961 -x1963
1800.02/1800.61	v -x1965 x1967 -x1969 -x1971 -x67 -x1973 -x1975 -x1977 -x1979 -x1981 -x1983 -x1985 -x68 -x1987 -x1989 -x1991 -x69 -x1993
1800.02/1800.61	v -x1995 -x1997 -x1999 -x2001 -x2003 -x2005 -x2007 -x2009 -x2011 -x2013 -x2015 -x2017 -x2019 -x2021 -x2023 -x2025 -x2027
1800.02/1800.61	v -x2029 -x2031 -x2033 -x2035 -x2037 -x2039 -x2041 -x2043 -x2045 -x2047 -x2049 -x2051 -x2053 -x70 -x2055 -x2057 -x2059 -x2061
1800.02/1800.61	v -x2063 -x2065 -x2067 -x2069 -x2071 -x2073 -x2075 -x2077 -x2079 -x2081 -x2083 -x71 -x2085 -x2087 -x2089 -x2091 -x2093 -x2095
1800.02/1800.61	v -x2097 -x2099 -x2101 -x2103 -x2105 -x2107 -x2109 -x2111 -x2113 -x72 -x2115 -x2117 -x2119 -x2121 -x2123 -x2125 -x2127 -x73
1800.02/1800.61	v -x2129 -x2131 -x2133 -x2135 -x2137 -x2139 -x2141 -x2143 -x2145 -x2147 -x2149 -x2151 -x2153 -x2155 -x2157 -x74 -x2159 -x2161
1800.02/1800.61	v -x2163 -x2165 -x2167 -x2169 -x2171 -x75 -x2173 -x2175 -x2177 -x2179 -x2181 -x2183 -x2185 -x76 -x2187 -x2189 -x2191 -x77
1800.02/1800.61	v -x2193 -x2195 -x2197 -x2199 -x2201 -x2203 -x2205 -x2207 -x2209 -x2211 -x2213 -x2215 -x2217 -x2219 -x2221 -x78 -x2223 -x2225
1800.02/1800.61	v -x2227 -x2229 -x2231 -x2233 -x2235 -x79 -x2237 -x2239 -x2241 -x2243 -x2245 -x2247 -x2249 -x80 -x2251 -x2253 -x2255 -x81
1800.02/1800.61	v -x2257 -x2259 -x2261 -x2263 -x2265 -x2267 -x2269 -x82 -x2271 -x2273 -x2275 -x83 -x2277 -x2279 -x2281 -x84 -x2283 -x85 -x2285
1800.02/1800.61	v -x2287 -x2289 -x2291 -x2293 -x2295 -x2297 -x2299 -x2301 -x2303 -x2305 -x2307 -x2309 -x2311 -x2313 -x2315 -x2317 x2319
1800.02/1800.61	v -x2321 -x2323 -x2325 -x2327 -x2329 -x2331 -x2333 -x2335 -x2337 -x2339 -x2341 -x2343 -x2345 -x2347 -x2349 -x2351 -x2353
1800.02/1800.61	v -x2355 -x2357 -x2359 -x86 -x2361 -x2363 -x2365 -x2367 -x2369 -x2371 -x2373 -x2375 -x2377 -x2379 -x2381 -x2383 -x2385 -x2387
1800.02/1800.61	v -x2389 -x87 -x2391 -x2393 -x2395 -x2397 -x2399 -x2401 -x2403 -x2405 -x2407 -x2409 -x2411 -x2413 -x2415 -x2417 -x2419 -x88
1800.02/1800.61	v -x2421 -x2423 -x2425 -x2427 -x2429 -x2431 -x2433 -x89 -x2435 -x2437 -x2439 -x2441 -x2443 -x2445 -x2447 -x2449 -x2451 -x2453
1800.02/1800.61	v -x2455 -x2457 -x2459 -x2461 -x2463 -x2465 -x2467 -x2469 -x2471 x2473 -x2475 -x2477 -x90 -x2479 -x2481 -x2483 -x2485 -x2487
1800.02/1800.61	v -x2489 -x2491 -x91 -x2493 -x2495 -x2497 -x92 -x2499 -x2501 -x2503 -x2505 -x2507 -x2509 -x2511 -x2513 -x2515 -x2517 -x2519
1800.02/1800.61	v -x2521 -x2523 -x2525 -x2527 -x2529 -x2531 -x2533 -x2535 -x2537 -x2539 -x2541 -x2543 -x2545 -x2547 -x2549 -x2551 -x2553
1800.02/1800.61	v -x2555 -x2557 -x2559 -x93 -x2561 -x2563 -x2565 -x2567 -x2569 -x2571 -x2573 -x2575 -x2577 -x2579 -x2581 -x2583 -x2585 -x2587
1800.02/1800.61	v -x94 -x2589 -x2591 -x2593 -x2595 -x2597 -x2599 -x2601 -x2603 -x2605 -x2607 -x2609 -x2611 -x2613 -x2615 -x2617 -x95 -x2619
1800.02/1800.61	v -x2621 -x2623 -x2625 -x2627 -x2629 -x2631 -x96 -x2633 -x2635 -x2637 -x2639 -x2641 -x2643 -x2645 -x2647 -x2649 -x2651 -x2653
1800.02/1800.61	v -x2655 -x2657 -x2659 -x2661 -x97 -x2663 -x2665 -x2667 -x2669 -x2671 -x2673 -x98 -x2675 -x2677 -x2679 -x2681 -x2683 -x2685
1800.02/1800.61	v -x2687 -x99 -x2689 -x2691 -x2693 -x100 -x2695 -x2697 -x2699 -x2701 -x2703 -x2705 -x2707 -x2709 -x2711 -x2713 -x2715 -x2717
1800.02/1800.61	v -x2719 -x2721 -x2723 -x101 -x2725 -x2727 -x2729 -x2731 -x2733 -x2735 -x2737 -x102 -x2739 -x2741 -x2743 -x2745 -x2747 -x2749
1800.02/1800.61	v -x2751 -x103 -x2753 -x2755 -x104 -x2757 -x2759 -x2761 -x2763 -x2765 -x2767 -x2769 -x105 -x2771 -x2773 -x2775 -x106 -x2777
1800.02/1800.61	v -x2779 -x2781 -x107 -x2783 -x108 -x2785 -x2787 -x2789 -x2791 -x2793 -x2795 -x2797 -x2800 -x2802 -x2804 -x2806 -x2808 -x2810
1800.02/1800.61	v -x2812 -x2814 -x2816 -x2818 -x2820 -x2822 -x2824 -x2826 -x2828 -x2830 -x2832 -x2834 -x2836 -x2838 -x109 -x2840 -x2842
1800.02/1800.61	v -x2844 -x2846 -x2848 -x2850 -x2852 -x2854 -x2856 -x2858 -x2860 -x2862 -x2864 -x2866 -x2868 -x110 -x2870 -x2872 -x2874
1800.02/1800.61	v -x2876 -x2878 -x2880 -x2882 -x2884 -x2886 -x2888 -x2890 -x2892 -x2894 -x2896 -x2898 -x111 -x2900 -x2902 -x2904 -x2906
1800.02/1800.61	v -x2908 -x2910 -x2912 -x112 -x2914 -x2916 -x2918 -x2920 -x2922 -x2924 -x2926 -x2928 -x2930 -x2932 -x2934 -x2936 -x2938
1800.02/1800.61	v -x2940 -x2942 -x113 -x2944 -x2946 -x2948 -x2950 -x2952 -x2954 -x2956 -x114 -x2958 -x2960 -x2962 -x2964 -x2966 -x2968 -x2970
1800.02/1800.61	v -x115 -x2972 -x2974 -x2976 -x116 -x2978 -x2980 -x2982 -x2984 -x2986 -x2988 -x2990 -x2992 -x2994 -x2996 -x2998 -x3000 -x3002
1800.02/1800.61	v -x3004 -x3006 -x117 -x3008 -x3010 -x3012 -x3014 -x3016 -x3018 -x3020 -x118 -x3022 -x3024 -x3026 -x3028 -x3030 -x3032 -x3034
1800.02/1800.61	v -x119 -x3036 -x3038 -x3040 -x120 -x3042 -x3044 -x3046 -x3048 -x3050 -x3052 -x3054 -x121 -x3056 -x3058 -x3060 -x122 -x3062
1800.02/1800.61	v -x3064 -x3066 -x123 -x3068 -x124 -x3070 -x3072 -x3074 -x3076 -x3078 -x3080 -x3082 -x3084 -x3086 -x3088 -x3090 -x3092 -x3094
1800.02/1800.61	v -x125 -x3096 -x3098 -x3100 -x3102 -x3104 -x3106 -x3108 -x126 -x3110 -x3112 -x3114 -x3116 -x3118 -x3120 -x3122 -x127 -x3124
1800.02/1800.61	v -x3126 -x3128 -x128 -x3130 -x3132 -x3134 -x3136 -x3138 -x3140 -x3142 x3144 -x3146 -x129 -x3148 -x3150 -x3152 -x130 x3154
1800.02/1800.61	v -x3156 -x3158 -x3160 -x3162 -x3164 x3166 -x3168 -x3170 x3172 x131 -x3174 -x3176 x3178 x132 -x3180 -x133 -x3182 x3184 x134
1800.02/1800.61	v x3186 x135 x136
1800.02/1800.61	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.02/1800.61	c   20  1905737 1156055  6077589    27426  1296546  19569   1058 1800.02
1800.02/1800.61	c Objective: 28
1800.02/1800.61	s SATISFIABLE
1800.02/1800.61	c Total time: 1800.02 s

Verifier Data (download as text)

OK	28

Watcher Data (download as text)

runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node43/watcher-433710-1177962358 -o ROOT/results/node43/solver-433710-1177962358 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433710-1177962358/instance-433710-1177962358.opb 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.00 0.98 0.93 3/77 384
/proc/meminfo: memFree=1538304/2055920 swapFree=4158592/4192956
[pid=384] ppid=382 vsize=11996 CPUtime=0
/proc/384/stat : 384 (bsolo3.0.17) R 382 384 31607 0 -1 4194304 366 0 0 0 0 0 0 0 18 0 1 0 244147578 12283904 336 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5166715 0 0 4096 16384 0 0 0 17 1 0 0
/proc/384/statm: 2999 336 279 324 0 2004 0

[startup+0.055686 s]
/proc/loadavg: 1.00 0.98 0.93 3/77 384
/proc/meminfo: memFree=1538304/2055920 swapFree=4158592/4192956
[pid=384] ppid=382 vsize=5732 CPUtime=0.05
/proc/384/stat : 384 (bsolo3.0.17) R 382 384 31607 0 -1 4194304 891 0 0 0 5 0 0 0 18 0 1 0 244147578 5869568 796 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134561758 0 0 4096 16384 0 0 0 17 1 0 0
/proc/384/statm: 1433 796 299 324 0 503 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 5732

[startup+0.10169 s]
/proc/loadavg: 1.00 0.98 0.93 3/77 384
/proc/meminfo: memFree=1538304/2055920 swapFree=4158592/4192956
[pid=384] ppid=382 vsize=6016 CPUtime=0.09
/proc/384/stat : 384 (bsolo3.0.17) R 382 384 31607 0 -1 4194304 950 0 0 0 8 1 0 0 18 0 1 0 244147578 6160384 855 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/384/statm: 1504 855 305 324 0 574 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6016

[startup+0.301708 s]
/proc/loadavg: 1.00 0.98 0.93 3/77 384
/proc/meminfo: memFree=1538304/2055920 swapFree=4158592/4192956
[pid=384] ppid=382 vsize=5964 CPUtime=0.29
/proc/384/stat : 384 (bsolo3.0.17) R 382 384 31607 0 -1 4194304 990 0 0 0 28 1 0 0 19 0 1 0 244147578 6107136 876 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551186 0 0 4096 16384 0 0 0 17 1 0 0
/proc/384/statm: 1491 876 311 324 0 561 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5964

[startup+0.701742 s]
/proc/loadavg: 1.00 0.98 0.93 3/77 384
/proc/meminfo: memFree=1538304/2055920 swapFree=4158592/4192956
[pid=384] ppid=382 vsize=6736 CPUtime=0.69
/proc/384/stat : 384 (bsolo3.0.17) R 382 384 31607 0 -1 4194304 1179 0 0 0 68 1 0 0 22 0 1 0 244147578 6897664 1065 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5166715 0 0 4096 16384 0 0 0 17 1 0 0
/proc/384/statm: 1684 1065 311 324 0 754 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6736

[startup+1.50181 s]
/proc/loadavg: 1.00 0.98 0.93 2/78 385
/proc/meminfo: memFree=1534712/2055920 swapFree=4158592/4192956
[pid=384] ppid=382 vsize=8160 CPUtime=1.48
/proc/384/stat : 384 (bsolo3.0.17) R 382 384 31607 0 -1 4194304 1522 0 0 0 147 1 0 0 25 0 1 0 244147578 8355840 1408 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5172893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/384/statm: 2040 1408 311 324 0 1110 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 8160

[startup+3.10295 s]
/proc/loadavg: 1.00 0.98 0.93 2/78 385
/proc/meminfo: memFree=1532792/2055920 swapFree=4158592/4192956
[pid=384] ppid=382 vsize=11124 CPUtime=3.09
/proc/384/stat : 384 (bsolo3.0.17) R 382 384 31607 0 -1 4194304 2252 0 0 0 307 2 0 0 25 0 1 0 244147578 11390976 2138 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551241 0 0 4096 16384 0 0 0 17 1 0 0
/proc/384/statm: 2781 2138 311 324 0 1851 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 11124

[startup+6.30123 s]
/proc/loadavg: 1.00 0.98 0.93 2/78 385
/proc/meminfo: memFree=1529400/2055920 swapFree=4158592/4192956
[pid=384] ppid=382 vsize=12280 CPUtime=6.29
/proc/384/stat : 384 (bsolo3.0.17) R 382 384 31607 0 -1 4194304 2568 0 0 0 627 2 0 0 25 0 1 0 244147578 12574720 2454 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/384/statm: 3070 2454 311 324 0 2140 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 12280

[startup+12.7018 s]
/proc/loadavg: 1.00 0.98 0.93 2/78 385
/proc/meminfo: memFree=1527872/2055920 swapFree=4158592/4192956
[pid=384] ppid=382 vsize=13832 CPUtime=12.68
/proc/384/stat : 384 (bsolo3.0.17) R 382 384 31607 0 -1 4194304 2944 0 0 0 1266 2 0 0 25 0 1 0 244147578 14163968 2830 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551065 0 0 4096 16384 0 0 0 17 1 0 0
/proc/384/statm: 3458 2830 311 324 0 2528 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 13832

[startup+25.5019 s]
/proc/loadavg: 1.00 0.98 0.93 2/78 385
/proc/meminfo: memFree=1526784/2055920 swapFree=4158592/4192956
[pid=384] ppid=382 vsize=14980 CPUtime=25.49
/proc/384/stat : 384 (bsolo3.0.17) R 382 384 31607 0 -1 4194304 3246 0 0 0 2546 3 0 0 25 0 1 0 244147578 15339520 3132 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134574192 0 0 4096 16384 0 0 0 17 1 0 0
/proc/384/statm: 3745 3132 311 324 0 2815 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 14980

[startup+51.1011 s]
/proc/loadavg: 1.00 0.98 0.93 2/78 385
/proc/meminfo: memFree=1525312/2055920 swapFree=4158592/4192956
[pid=384] ppid=382 vsize=16500 CPUtime=51.07
/proc/384/stat : 384 (bsolo3.0.17) R 382 384 31607 0 -1 4194304 3606 0 0 0 5104 3 0 0 25 0 1 0 244147578 16896000 3492 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550979 0 0 4096 16384 0 0 0 17 1 0 0
/proc/384/statm: 4125 3492 311 324 0 3195 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 16500

[startup+102.306 s]
/proc/loadavg: 1.00 0.98 0.93 2/78 385
/proc/meminfo: memFree=1520896/2055920 swapFree=4158592/4192956
[pid=384] ppid=382 vsize=21024 CPUtime=102.26
/proc/384/stat : 384 (bsolo3.0.17) R 382 384 31607 0 -1 4194304 4740 0 0 0 10221 5 0 0 25 0 1 0 244147578 21528576 4626 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/384/statm: 5256 4626 311 324 0 4326 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 21024

[startup+162.302 s]
/proc/loadavg: 1.00 0.98 0.93 2/78 385
/proc/meminfo: memFree=1519936/2055920 swapFree=4158592/4192956
[pid=384] ppid=382 vsize=21888 CPUtime=162.25
/proc/384/stat : 384 (bsolo3.0.17) R 382 384 31607 0 -1 4194304 4972 0 0 0 16219 6 0 0 25 0 1 0 244147578 22413312 4858 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/384/statm: 5472 4858 311 324 0 4542 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 21888

[startup+222.302 s]
/proc/loadavg: 1.00 0.98 0.93 2/78 385
/proc/meminfo: memFree=1519872/2055920 swapFree=4158592/4192956
[pid=384] ppid=382 vsize=21884 CPUtime=222.23
/proc/384/stat : 384 (bsolo3.0.17) R 382 384 31607 0 -1 4194304 4972 0 0 0 22217 6 0 0 25 0 1 0 244147578 22409216 4858 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0
/proc/384/statm: 5471 4858 311 324 0 4541 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 21884

[startup+282.301 s]
/proc/loadavg: 1.00 0.98 0.93 2/78 385
/proc/meminfo: memFree=1518016/2055920 swapFree=4158592/4192956
[pid=384] ppid=382 vsize=25072 CPUtime=282.22
/proc/384/stat : 384 (bsolo3.0.17) R 382 384 31607 0 -1 4194304 5748 0 0 0 28215 7 0 0 25 0 1 0 244147578 25673728 5634 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551093 0 0 4096 16384 0 0 0 17 1 0 0
/proc/384/statm: 6268 5634 311 324 0 5338 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 25072

[startup+342.301 s]
/proc/loadavg: 1.00 0.98 0.93 2/78 385
/proc/meminfo: memFree=1514240/2055920 swapFree=4158592/4192956
[pid=384] ppid=382 vsize=27652 CPUtime=342.2
/proc/384/stat : 384 (bsolo3.0.17) R 382 384 31607 0 -1 4194304 6405 0 0 0 34212 8 0 0 25 0 1 0 244147578 28315648 6291 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/384/statm: 6913 6291 311 324 0 5983 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 27652

[startup+402.302 s]
/proc/loadavg: 1.00 0.98 0.93 2/78 385
/proc/meminfo: memFree=1514240/2055920 swapFree=4158592/4192956
[pid=384] ppid=382 vsize=27652 CPUtime=402.19
/proc/384/stat : 384 (bsolo3.0.17) R 382 384 31607 0 -1 4194304 6405 0 0 0 40210 9 0 0 25 0 1 0 244147578 28315648 6291 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/384/statm: 6913 6291 311 324 0 5983 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 27652

[startup+462.302 s]
/proc/loadavg: 1.00 0.98 0.93 2/78 385
/proc/meminfo: memFree=1514240/2055920 swapFree=4158592/4192956
[pid=384] ppid=382 vsize=27652 CPUtime=462.16
/proc/384/stat : 384 (bsolo3.0.17) R 382 384 31607 0 -1 4194304 6405 0 0 0 46207 9 0 0 25 0 1 0 244147578 28315648 6291 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550782 0 0 4096 16384 0 0 0 17 1 0 0
/proc/384/statm: 6913 6291 311 324 0 5983 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 27652

[startup+522.301 s]
/proc/loadavg: 1.00 0.98 0.93 2/78 385
/proc/meminfo: memFree=1514240/2055920 swapFree=4158592/4192956
[pid=384] ppid=382 vsize=27656 CPUtime=522.15
/proc/384/stat : 384 (bsolo3.0.17) R 382 384 31607 0 -1 4194304 6406 0 0 0 52205 10 0 0 25 0 1 0 244147578 28319744 6292 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/384/statm: 6914 6292 311 324 0 5984 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 27656

[startup+582.301 s]
/proc/loadavg: 1.00 0.98 0.93 2/78 385
/proc/meminfo: memFree=1514176/2055920 swapFree=4158592/4192956
[pid=384] ppid=382 vsize=27656 CPUtime=582.13
/proc/384/stat : 384 (bsolo3.0.17) R 382 384 31607 0 -1 4194304 6406 0 0 0 58203 10 0 0 25 0 1 0 244147578 28319744 6292 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/384/statm: 6914 6292 311 324 0 5984 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 27656

[startup+642.302 s]
/proc/loadavg: 1.04 1.00 0.93 2/78 385
/proc/meminfo: memFree=1514176/2055920 swapFree=4158592/4192956
[pid=384] ppid=382 vsize=27656 CPUtime=642.13
/proc/384/stat : 384 (bsolo3.0.17) R 382 384 31607 0 -1 4194304 6406 0 0 0 64202 11 0 0 25 0 1 0 244147578 28319744 6292 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0
/proc/384/statm: 6914 6292 311 324 0 5984 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 27656


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

[startup+822.301 s]
/proc/loadavg: 1.02 1.02 0.95 2/78 385
/proc/meminfo: memFree=1510848/2055920 swapFree=4158592/4192956
[pid=384] ppid=382 vsize=30900 CPUtime=822.07
/proc/384/stat : 384 (bsolo3.0.17) R 382 384 31607 0 -1 4194304 7218 0 0 0 82194 13 0 0 25 0 1 0 244147578 31641600 7104 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5164540 0 0 4096 16384 0 0 0 17 1 0 0
/proc/384/statm: 7725 7104 311 324 0 6795 0
Current children cumulated CPU time (s) 822.07
Current children cumulated vsize (KiB) 30900

[startup+882.301 s]
/proc/loadavg: 1.01 1.02 0.95 2/78 385
/proc/meminfo: memFree=1510784/2055920 swapFree=4158592/4192956
[pid=384] ppid=382 vsize=30888 CPUtime=882.05
/proc/384/stat : 384 (bsolo3.0.17) R 382 384 31607 0 -1 4194304 7218 0 0 0 88192 13 0 0 25 0 1 0 244147578 31629312 7104 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5172898 0 0 4096 16384 0 0 0 17 1 0 0
/proc/384/statm: 7722 7104 311 324 0 6792 0
Current children cumulated CPU time (s) 882.05
Current children cumulated vsize (KiB) 30888

[startup+942.302 s]
/proc/loadavg: 1.00 1.01 0.95 2/84 553
/proc/meminfo: memFree=1509704/2055920 swapFree=4158592/4192956
[pid=384] ppid=382 vsize=30772 CPUtime=941.95
/proc/384/stat : 384 (bsolo3.0.17) R 382 384 31607 0 -1 4194304 7218 0 0 0 94179 16 0 0 25 0 1 0 244147578 31510528 7081 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0
/proc/384/statm: 7693 7081 311 324 0 6763 0
Current children cumulated CPU time (s) 941.95
Current children cumulated vsize (KiB) 30772

[startup+1002.3 s]
/proc/loadavg: 1.00 1.01 0.95 2/78 583
/proc/meminfo: memFree=1511032/2055920 swapFree=4158592/4192956
[pid=384] ppid=382 vsize=30416 CPUtime=1001.92
/proc/384/stat : 384 (bsolo3.0.17) R 382 384 31607 0 -1 4194304 7218 0 0 0 100175 17 0 0 25 0 1 0 244147578 31145984 6992 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0
/proc/384/statm: 7604 6992 311 324 0 6674 0
Current children cumulated CPU time (s) 1001.92
Current children cumulated vsize (KiB) 30416

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/78 583
/proc/meminfo: memFree=1511032/2055920 swapFree=4158592/4192956
[pid=384] ppid=382 vsize=30416 CPUtime=1061.89
/proc/384/stat : 384 (bsolo3.0.17) R 382 384 31607 0 -1 4194304 7218 0 0 0 106172 17 0 0 25 0 1 0 244147578 31145984 6992 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551179 0 0 4096 16384 0 0 0 17 1 0 0
/proc/384/statm: 7604 6992 311 324 0 6674 0
Current children cumulated CPU time (s) 1061.89
Current children cumulated vsize (KiB) 30416

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/78 583
/proc/meminfo: memFree=1511032/2055920 swapFree=4158592/4192956
[pid=384] ppid=382 vsize=30416 CPUtime=1121.88
/proc/384/stat : 384 (bsolo3.0.17) R 382 384 31607 0 -1 4194304 7218 0 0 0 112170 18 0 0 25 0 1 0 244147578 31145984 6992 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550817 0 0 4096 16384 0 0 0 17 1 0 0
/proc/384/statm: 7604 6992 311 324 0 6674 0
Current children cumulated CPU time (s) 1121.88
Current children cumulated vsize (KiB) 30416

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/78 583
/proc/meminfo: memFree=1511096/2055920 swapFree=4158592/4192956
[pid=384] ppid=382 vsize=30416 CPUtime=1181.86
/proc/384/stat : 384 (bsolo3.0.17) R 382 384 31607 0 -1 4194304 7218 0 0 0 118168 18 0 0 25 0 1 0 244147578 31145984 6992 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551330 0 0 4096 16384 0 0 0 17 1 0 0
/proc/384/statm: 7604 6992 311 324 0 6674 0
Current children cumulated CPU time (s) 1181.86
Current children cumulated vsize (KiB) 30416

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/78 583
/proc/meminfo: memFree=1511096/2055920 swapFree=4158592/4192956
[pid=384] ppid=382 vsize=30412 CPUtime=1241.85
/proc/384/stat : 384 (bsolo3.0.17) R 382 384 31607 0 -1 4194304 7218 0 0 0 124166 19 0 0 25 0 1 0 244147578 31141888 6991 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091726 0 0 4096 16384 0 0 0 17 1 0 0
/proc/384/statm: 7603 6991 311 324 0 6673 0
Current children cumulated CPU time (s) 1241.85
Current children cumulated vsize (KiB) 30412

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/78 583
/proc/meminfo: memFree=1511168/2055920 swapFree=4158592/4192956
[pid=384] ppid=382 vsize=30376 CPUtime=1301.83
/proc/384/stat : 384 (bsolo3.0.17) R 382 384 31607 0 -1 4194304 7220 0 0 0 130164 19 0 0 25 0 1 0 244147578 31105024 6982 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/384/statm: 7594 6982 311 324 0 6664 0
Current children cumulated CPU time (s) 1301.83
Current children cumulated vsize (KiB) 30376

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/78 583
/proc/meminfo: memFree=1511168/2055920 swapFree=4158592/4192956
[pid=384] ppid=382 vsize=30376 CPUtime=1361.82
/proc/384/stat : 384 (bsolo3.0.17) R 382 384 31607 0 -1 4194304 7220 0 0 0 136162 20 0 0 25 0 1 0 244147578 31105024 6982 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134571844 0 0 4096 16384 0 0 0 17 1 0 0
/proc/384/statm: 7594 6982 311 324 0 6664 0
Current children cumulated CPU time (s) 1361.82
Current children cumulated vsize (KiB) 30376

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 0.95 2/78 583
/proc/meminfo: memFree=1511296/2055920 swapFree=4158592/4192956
[pid=384] ppid=382 vsize=30376 CPUtime=1421.8
/proc/384/stat : 384 (bsolo3.0.17) R 382 384 31607 0 -1 4194304 7220 0 0 0 142160 20 0 0 25 0 1 0 244147578 31105024 6982 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551100 0 0 4096 16384 0 0 0 17 1 0 0
/proc/384/statm: 7594 6982 311 324 0 6664 0
Current children cumulated CPU time (s) 1421.8
Current children cumulated vsize (KiB) 30376

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/78 583
/proc/meminfo: memFree=1511360/2055920 swapFree=4158592/4192956
[pid=384] ppid=382 vsize=30376 CPUtime=1481.79
/proc/384/stat : 384 (bsolo3.0.17) R 382 384 31607 0 -1 4194304 7220 0 0 0 148158 21 0 0 25 0 1 0 244147578 31105024 6982 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5173007 0 0 4096 16384 0 0 0 17 1 0 0
/proc/384/statm: 7594 6982 311 324 0 6664 0
Current children cumulated CPU time (s) 1481.79
Current children cumulated vsize (KiB) 30376

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/78 583
/proc/meminfo: memFree=1511360/2055920 swapFree=4158592/4192956
[pid=384] ppid=382 vsize=30376 CPUtime=1541.77
/proc/384/stat : 384 (bsolo3.0.17) R 382 384 31607 0 -1 4194304 7220 0 0 0 154156 21 0 0 25 0 1 0 244147578 31105024 6982 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0
/proc/384/statm: 7594 6982 311 324 0 6664 0
Current children cumulated CPU time (s) 1541.77
Current children cumulated vsize (KiB) 30376

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/78 583
/proc/meminfo: memFree=1511360/2055920 swapFree=4158592/4192956
[pid=384] ppid=382 vsize=30376 CPUtime=1601.76
/proc/384/stat : 384 (bsolo3.0.17) R 382 384 31607 0 -1 4194304 7220 0 0 0 160154 22 0 0 25 0 1 0 244147578 31105024 6982 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551061 0 0 4096 16384 0 0 0 17 1 0 0
/proc/384/statm: 7594 6982 311 324 0 6664 0
Current children cumulated CPU time (s) 1601.76
Current children cumulated vsize (KiB) 30376

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/78 583
/proc/meminfo: memFree=1511360/2055920 swapFree=4158592/4192956
[pid=384] ppid=382 vsize=30372 CPUtime=1661.74
/proc/384/stat : 384 (bsolo3.0.17) R 382 384 31607 0 -1 4194304 7220 0 0 0 166152 22 0 0 25 0 1 0 244147578 31100928 6981 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/384/statm: 7593 6981 311 324 0 6663 0
Current children cumulated CPU time (s) 1661.74
Current children cumulated vsize (KiB) 30372

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/78 583
/proc/meminfo: memFree=1511360/2055920 swapFree=4158592/4192956
[pid=384] ppid=382 vsize=30368 CPUtime=1721.73
/proc/384/stat : 384 (bsolo3.0.17) R 382 384 31607 0 -1 4194304 7220 0 0 0 172150 23 0 0 25 0 1 0 244147578 31096832 6980 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4848756 0 0 4096 16384 0 0 0 17 1 0 0
/proc/384/statm: 7592 6980 311 324 0 6662 0
Current children cumulated CPU time (s) 1721.73
Current children cumulated vsize (KiB) 30368

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/78 583
/proc/meminfo: memFree=1511360/2055920 swapFree=4158592/4192956
[pid=384] ppid=382 vsize=30368 CPUtime=1781.7
/proc/384/stat : 384 (bsolo3.0.17) R 382 384 31607 0 -1 4194304 7220 0 0 0 178147 23 0 0 25 0 1 0 244147578 31096832 6980 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0
/proc/384/statm: 7592 6980 311 324 0 6662 0
Current children cumulated CPU time (s) 1781.7
Current children cumulated vsize (KiB) 30368



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 0.95 2/78 583
/proc/meminfo: memFree=1511360/2055920 swapFree=4158592/4192956
[pid=384] ppid=382 vsize=30368 CPUtime=1800.02
/proc/384/stat : 384 (bsolo3.0.17) R 382 384 31607 0 -1 4194304 7220 0 0 0 179978 24 0 0 25 0 1 0 244147578 31096832 6980 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091745 0 0 4096 16384 0 0 0 17 1 0 0
/proc/384/statm: 7592 6980 311 324 0 6662 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 30368

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

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

Child status: 15
Real time (s): 1800.62
CPU time (s): 1800.03
CPU user time (s): 1799.78
CPU system time (s): 0.246962
CPU usage (%): 99.9673
Max. virtual memory (cumulated for all children) (KiB): 30908

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.78
system time used= 0.246962
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7224
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= 16
involuntary context switches= 19756

runsolver used 1.35679 second user time and 3.9274 second system time

The end

Launcher Data (download as text)

Begin job on node43 on Mon Apr 30 19:45:58 UTC 2007

IDJOB= 433710
IDBENCH= 24997
IDSOLVER= 199
FILE ID= node43/433710-1177962358

PBS_JOBID= 4727701

Free space on /tmp= 66558 MiB

SOLVER NAME= bsolo 3.0.17
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_018_area_delay.opb
COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/433710-1177962358/instance-433710-1177962358.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node43/watcher-433710-1177962358 -o ROOT/results/node43/solver-433710-1177962358 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.17 -m1800 /tmp/evaluation/433710-1177962358/instance-433710-1177962358.opb            

META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020
MD5SUM BENCH=  c19adaf233257cdd6134391794b23c65

RANDOM SEED= 14170235

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node43.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.218
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.218
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1538776 kB
Buffers:         39036 kB
Cached:         379416 kB
SwapCached:       2808 kB
Active:         255132 kB
Inactive:       188504 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1538776 kB
SwapTotal:     4192956 kB
SwapFree:      4158592 kB
Dirty:            6904 kB
Writeback:           0 kB
Mapped:          33004 kB
Slab:            58968 kB
Committed_AS:  2814508 kB
PageTables:       1900 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66558 MiB

End job on node43 on Mon Apr 30 20:16:00 UTC 2007