PB'05 competition: run trace

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 in four parts:
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 provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
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 1200 seconds. 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 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
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.
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.
General information on the benchmark

Name	normalized-opb/web/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-ss97-4.opb
MD5SUM	417d3abd60fd3b9eb4200ff5119a92c4
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	813
Optimality of the best value was proved	NO
Number of terms in the objective function	1798
Biggest coefficient in the objective function	349
Number of bits for the biggest coefficient in the objective function	9
Sum of the numbers in the objective function	104116
Number of bits of the sum of numbers in the objective function	17
Biggest number in a constraint	349
Number of bits of the biggest number in a constraint	9
Biggest sum of numbers in a constraint	104116
Number of bits of the biggest sum of numbers	17
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.05084
Number of variables	2289
Total number of constraints	3052
Number of constraints which are clauses	360
Number of constraints which are cardinality constraints (but not clauses)	2692
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	195
Trace number 24913

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-14 19:09:51 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=3188 boxname=wulflinc31 idbench=355 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  417d3abd60fd3b9eb4200ff5119a92c4  /oldhome/oroussel/tmp/wulflinc31/normalized-ss97-4.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-ss97-4.opb
IDLAUNCH: 3188
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        823236 kB
Buffers:         39536 kB
Cached:         150292 kB
SwapCached:       1932 kB
Active:         155080 kB
Inactive:        38000 kB
HighTotal:      131008 kB
HighFree:         1708 kB
LowTotal:       903652 kB
LowFree:        821528 kB
SwapTotal:     2097892 kB
SwapFree:      2095228 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5364 kB
Slab:            12704 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-14 19:29:27 (client local time) WITH STATUS 10 IN 1175.11 SECONDS
stats: 3188 0 1175.11 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 2289 variables and 1141 constraints.
c After prepocess the problem consists of 2280 variables and 1314 constraints.
c preprocess terminated 8.23 s
c Initial Lower Bound: 809
c Lower Bound Elapsed time: 0.799
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 13194 @ 344.431
s SATISFIABLE
v -v1 -v365 -v729 -v924 -v1119 -v1704 -v1899 v2 -v366 -v1120 -v1510 -v2095 -v3 -v367 -v1121 -v1706 -v4 -v186 -v368 -v1122 -v1317 -v1512 -v1707 -v1902 -v5 -v187 -v369 -v1123 -v1318 -v1513 -v1708 -v1903 -v6 -v188 -v370 -v734 -v929 -v1124 -v1319 -v1514 -v1709 -v1904 -v1515 -v2100 -v554 -v1711 -v10 v192 -v374 -v738 -v933 -v1128 -v1323 -v193 -v1324 -v1519 -v1714 -v2104 v559 -v2106 -v14 -v378 -v560 -v742 -v937 -v1132 v2107 -v15 v379 -v1133 -v2108 -v16 v380 -v1134 -v2109 v563 -v1330 -v1525 -v2110 v566 -v1723 -v1918 -v2113 -v567 -v1334 -v2114 v204 -v1725 -v1920 -v23 -v205 -v387 -v751 -v946 -v1141 -v1726 -v1921 -v2116 v570 -v1532 -v1727 -v2117 v571 -v2118 v572 -v1339 -v1534 -v2119 -v2120 v573 -v756 -v951 -v28 v392 -v1147 -v1927 -v29 -v393 -v1148 -v1343 v576 -v1344 -v1539 -v2124 -v1345 -v1346 -v32 -v396 -v1152 -v33 -v397 -v1153 -v2128 -v34 -v398 -v959 -v1154 -v2129 -v35 v399 -v1155 -v2130 -v36 v400 -v1156 -v2131 -v37 v401 -v1157 -v2132 -v38 -v402 -v963 -v1158 -v2133 -v964 v2134 -v222 -v1550 v2135 -v41 v405 -v771 -v966 -v1161 -v2136 -v588 -v1942 -v589 -v773 -v968 -v1358 v1748 v226 -v774 -v969 -v227 -v1555 -v1750 -v2140 v46 -v410 -v1166 -v1751 -v1557 -v1752 -v48 v230 -v412 -v778 -v973 -v1168 -v1363 v595 -v1754 -v50 v414 -v780 -v975 -v1170 -v1950 -v2145 v233 -v976 -v1756 -v2146 -v1757 -v2147 -v52 -v416 -v1173 v1953 -v417 v599 -v784 -v979 -v1369 v54 -v418 -v1175 -v2150 -v55 -v419 -v1176 v2151 -v56 v420 -v1177 -v1762 -v421 -v603 -v1763 -v58 v422 -v1179 -v2154 -v241 v605 -v1765 -v2155 -v60 -v242 v424 -v1181 -v1766 -v61 -v243 -v425 -v792 -v987 -v1182 v608 -v1768 -v63 -v427 -v609 -v1184 -v64 -v428 -v1185 -v2160 -v65 v429 -v796 -v991 -v1186 v248 -v1382 -v2162 v613 -v1383 -v2163 -v2164 v251 -v2165 -v252 v616 -v1386 v253 -v2167 -v2168 v254 -v1584 -v2169 -v73 v437 -v1195 -v1585 -v2170 -v75 v439 -v621 -v1197 -v2172 -v622 -v1393 -v1588 -v77 -v441 -v1199 v260 -v1395 -v811 -v1006 -v1786 -v443 -v625 -v1787 v626 -v813 -v1008 -v1788 -v1983 -v2178 -v1789 -v2179 v627 -v815 -v1010 -v628 -v1596 -v1791 v2181 -v265 v629 -v1402 -v2182 -v84 -v448 v630 -v818 -v1013 -v1208 -v2183 -v631 -v2184 -v820 -v1015 -v2185 -v1796 v633 -v2187 -v2188 v635 -v824 -v1019 -v1799 v636 -v1800 -v2190 -v91 v455 -v826 -v1021 -v1216 v92 -v456 -v827 -v1022 -v1217 -v828 -v1023 -v94 v458 -v829 -v1024 -v1219 -v95 v459 -v1220 -v2195 v278 -v1416 -v2196 -v2197 -v461 -v643 -v1028 -v2198 v1224 -v462 -v644 -v835 -v1030 -v1420 -v1615 v645 -v1031 -v2201 -v100 v464 -v837 -v1032 -v1227 -v1422 -v2202 -v101 -v465 -v1228 -v2203 -v102 v466 -v839 -v1034 -v1229 -v1619 -v103 -v467 -v1230 -v1620 -v1815 -v2010 -v104 -v286 v468 -v841 -v1036 -v1231 -v1426 -v105 v469 -v1232 -v1427 -v1622 -v1817 -v106 v470 -v843 -v1038 -v1233 v289 v108 -v472 -v845 -v1040 -v1235 -v109 v473 -v846 -v1041 -v1236 v292 -v111 v293 -v475 -v848 -v1043 -v1238 -v2018 v112 -v476 -v1239 -v1434 v659 -v114 -v478 v660 -v1241 -v1826 v297 -v116 v480 -v1243 -v1438 -v299 v663 v300 -v1635 v119 -v483 -v1246 -v1831 -v2026 -v120 -v484 -v1247 -v1832 v303 -v2223 v122 -v486 -v1249 -v2224 -v305 -v125 v307 -v489 -v1252 -v1837 -v2227 -v672 -v863 -v1058 -v127 -v491 -v673 -v1254 -v1839 -v674 -v129 v493 -v865 -v1255 -v2230 v312 -v2231 -v131 -v313 -v867 -v1452 -v1647 v314 -v1453 -v133 v315 -v497 v1259 -v1649 -v1844 -v2039 v680 -v870 -v1065 -v135 v499 -v871 -v1066 -v1261 -v1456 -v136 -v318 v500 -v872 -v1067 -v1262 -v1847 v2042 -v2237 v683 v2238 v320 -v874 -v1069 -v139 v503 -v1265 -v1460 v2240 -v140 -v322 -v1851 v2241 -v877 -v1072 -v2242 -v687 -v878 -v1073 -v1658 v1853 -v142 -v506 v688 -v879 -v1074 v1269 -v1464 -v1659 -v1854 -v2049 -v2244 -v143 -v325 v507 -v689 -v1270 -v1465 v2245 -v508 -v690 v1856 -v145 -v509 -v691 v1272 -v2247 -v1468 -v1858 -v1469 -v1859 -v1470 -v146 v510 -v1276 v1861 -v329 v1862 v694 -v1668 v2253 v695 -v1474 -v1669 -v150 v514 -v890 -v1085 -v1280 v151 -v515 -v891 -v1086 -v1281 -v1476 -v1671 v2061 -v892 -v1087 -v1477 -v1672 -v335 v699 -v893 -v1088 -v1478 -v1673 v2258 -v154 v518 -v894 -v1089 -v1284 -v1479 -v1674 v1869 -v155 v519 -v895 -v1090 -v1285 -v1675 -v1676 -v157 -v339 v521 -v897 -v1092 -v1287 -v1677 v1872 -v159 -v341 v523 -v705 -v899 -v1094 -v1289 -v1679 -v2069 v342 v2265 -v161 v525 -v1291 v2266 -v344 -v2267 -v163 -v345 v527 -v1098 -v1293 -v1683 v1878 -v528 -v710 -v904 -v1099 v1294 -v1684 -v1879 -v2074 -v2269 -v347 -v1685 v2270 -v167 v531 -v1297 v1882 v168 -v350 -v532 -v1298 v2273 -v169 -v351 v533 -v715 -v909 -v1104 -v1299 -v1494 v2274 -v1300 -v1495 -v1690 -v1106 v2276 -v171 -v353 v535 -v1302 -v1692 v2082 v172 -v536 -v718 -v1303 -v2083 v2278 -v174 v538 -v915 -v1110 -v1305 -v1695 -v539 -v916 -v1501 v358 -v722 -v1502 -v1697 -v1892 v2087 v359 -v1698 v2283 v178 -v360 -v542 -v919 -v1114 -v1309 v2284 -v179 v543 -v1310 -v1700 -v2285 -v180 v544 -v1311 -v1701 v2286 -v181 v545 -v727 -v1312 -v1897 v2092 -v364 v728 -v1508 -v1703 v2093 v1314 -v1509 -v184 -v548 v730 -v925 -v1315 -v1705 -v1900 -v549 v731 -v926 -v1316 -v1511 -v2096 v732 -v927 -v2097 v733 -v928 -v2098 v2099 -v553 v735 -v930 -v1320 -v1710 -v8 -v372 -v736 -v931 -v1126 -v1516 -v1906 -v9 -v191 -v373 v555 v737 -v932 -v1127 -v1322 -v1712 -v1907 -v556 v1518 -v1713 -v1908 -v2103 -v11 -v375 v739 -v934 -v1129 -v194 -v13 -v195 -v377 v741 -v936 -v1131 -v1326 -v1521 -v1716 -v1911 -v197 -v561 v743 -v938 -v1328 -v1523 -v1718 -v1913 -v198 -v562 v744 -v939 -v1329 -v1524 -v1719 -v1914 -v17 -v199 -v381 v745 -v940 -v1135 -v1720 -v1915 -v18 -v382 -v1136 -v1526 -v1721 -v1916 v747 -v942 -v1527 -v1722 -v1917 -v2112 -v20 -v202 -v384 v748 -v943 -v1138 -v1333 -v1528 -v21 -v385 -v1139 -v22 -v386 -v568 v750 -v945 -v1140 -v1335 -v1530 -v2115 v1336 -v1531 -v24 -v206 -v388 -v1142 -v1337 -v1922 -v25 -v207 -v389 v753 -v948 -v1143 -v1338 -v1728 -v1923 -v26 -v208 -v390 v754 -v949 -v1144 -v1729 -v1924 -v755 -v950 v1145 -v1340 -v1535 -v1730 -v1925 -v27 -v209 -v391 -v1146 v1341 -v1536 -v1731 -v1926 -v2121 -v210 -v574 -v757 -v952 v1342 -v1537 -v1732 -v2122 v1928 -v30 -v212 -v394 v759 -v954 -v1149 -v1734 -v1929 -v1540 -v2125 v1541 -v578 -v762 -v957 v1542 -v1737 -v215 v763 -v958 -v1348 -v1543 -v1738 -v1933 -v216 -v1349 -v1544 -v1739 v1934 -v217 -v581 v765 -v960 -v1350 -v1545 -v1740 -v1935 -v218 -v582 v766 -v961 -v1351 -v1546 -v1741 -v1936 -v219 -v583 v767 -v962 -v1352 -v1547 -v220 v1353 -v1548 -v1743 -v1938 -v223 -v587 v1356 -v1551 -v1941 -v42 -v406 v772 -v967 -v1162 -v1357 -v1552 -v43 -v407 -v1163 -v44 -v408 -v590 -v1164 v1359 -v1554 -v45 -v409 -v1165 v1945 -v228 -v592 v776 -v971 -v1361 -v1556 -v1946 -v2141 -v229 v1362 -v594 -v49 -v231 -v413 v779 -v974 -v1169 -v1364 -v1559 -v2144 -v232 -v596 v1365 -v1560 -v1755 -v51 -v415 -v597 -v1171 v1366 -v1561 -v1951 -v235 -v1564 -v1759 -v2149 -v236 -v785 v980 -v1370 -v1565 -v1760 -v1955 -v238 -v602 -v787 v982 -v1372 -v1567 -v1957 -v2152 -v239 v1373 -v1568 -v240 -v604 -v789 -v984 v1374 -v1569 -v59 -v423 -v790 v985 -v1180 -v606 -v791 v986 -v1376 -v1571 -v1961 -v2156 -v62 -v244 -v426 -v793 v988 -v1183 -v1963 v1574 -v2159 -v610 -v1380 -v1575 -v247 -v611 v1381 -v1576 -v1771 -v1966 -v2161 -v66 -v430 -v612 -v797 v992 -v1187 -v1577 -v1772 -v1967 -v67 -v249 -v431 -v798 v993 -v1188 -v1578 -v1773 -v1968 -v68 -v432 -v799 v994 -v1189 -v1384 -v1774 -v1969 -v69 -v433 -v615 -v800 v995 -v1190 -v1385 -v1580 -v1775 -v1970 -v70 -v434 -v801 v996 -v1191 -v1971 -v71 -v435 -v617 -v802 v997 -v1192 -v1387 -v1582 -v1777 -v1972 -v803 -v998 v1193 -v1388 -v1583 -v1778 -v72 -v436 -v618 -v804 v999 -v1194 -v1389 -v1779 -v1974 -v255 -v619 -v805 v1000 -v1390 -v1780 -v1975 -v74 -v256 -v438 v620 -v806 v1001 -v1196 -v1391 -v1586 -v1781 -v1976 -v2171 -v257 -v807 v1002 -v1392 -v1587 -v76 -v440 -v808 v1003 -v1198 -v1978 -v259 -v1394 -v1589 -v1979 -v78 -v442 -v624 -v810 v1005 -v1200 -v1590 -v1785 -v1980 -v2175 v1201 -v1396 -v1591 -v1981 -v2176 -v812 v1007 -v1592 -v80 -v262 -v444 -v1203 v1398 -v1593 -v814 -v1009 v1204 -v1399 -v1594 -v1984 -v81 -v263 -v445 -v1205 v1400 -v1595 -v1790 -v1985 -v2180 -v264 -v83 -v447 -v817 v1012 -v1207 -v1597 -v1792 -v1987 -v266 v1403 -v1598 -v1793 -v1988 -v85 -v449 -v819 -v1014 -v1209 -v1794 -v1989 v1210 -v1405 -v1600 -v1795 -v1990 -v86 -v450 -v632 -v821 v1016 -v1211 -v1406 -v1601 -v2186 -v87 -v269 -v451 -v822 v1017 -v1212 -v1407 -v1602 -v1797 -v1992 -v88 v270 -v452 -v634 -v823 v1018 -v1213 -v1408 -v1603 -v1798 -v1993 -v89 -v271 -v453 -v1214 v1409 -v1604 -v2189 -v90 -v272 -v454 -v825 v1020 -v1215 -v1410 -v1605 -v1995 -v273 -v637 v1411 -v1606 -v1801 -v1996 -v2191 -v274 -v638 v1412 -v1607 -v1802 -v1997 -v2192 -v276 -v640 v1414 -v1609 -v1804 -v1999 -v2194 -v277 -v641 -v830 -v1025 v1415 -v1610 -v96 -v460 -v642 -v831 -v1026 -v1221 v1806 -v2001 -v832 -v1027 v1222 -v1417 -v1612 -v1807 -v2002 v1613 -v2003 -v834 -v1029 -v1419 -v1614 -v1809 -v2004 -v2199 v1810 -v2200 -v99 -v281 -v463 -v1226 v2006 -v282 -v646 v1812 -v2007 -v283 v1618 -v1813 -v2008 -v284 -v648 v1424 -v2204 -v285 v1425 -v650 v1816 -v2011 -v2206 -v287 -v651 -v842 -v1037 v2012 -v2207 -v288 -v652 v1428 -v1623 -v1818 -v2013 -v2208 -v107 -v471 -v653 -v844 -v1039 -v1234 -v1429 -v1624 -v2014 -v2209 -v290 -v654 -v1430 v1625 -v1820 -v2015 -v2210 -v291 -v655 -v1431 v1626 -v1821 -v2016 -v2211 -v110 -v474 -v656 -v847 -v1042 -v1237 -v1432 v1627 -v1822 -v2017 -v2212 -v657 -v1433 v1628 -v2213 -v294 -v658 -v849 -v1044 v1629 -v1824 -v2019 -v2214 -v113 -v295 -v477 v850 -v1045 -v1240 -v1435 -v1630 -v1825 -v2020 -v2215 -v296 v1631 -v115 -v479 -v661 -v852 -v1047 -v1242 -v1437 -v1632 v1827 -v2022 -v2217 -v298 -v662 -v853 -v1048 v1633 -v1828 -v2023 -v2218 -v117 -v481 -v854 v1049 -v1244 -v1439 -v1634 -v1829 -v2024 -v2219 -v118 -v482 -v664 -v855 -v1050 -v1245 -v1440 v1830 -v2025 -v2220 -v301 -v665 -v856 -v1051 -v1441 v1636 -v2221 -v666 -v857 -v1052 v1637 -v2222 -v121 -v485 -v667 -v858 -v1053 -v1248 -v1443 v1638 -v1833 -v2028 -v304 -v668 -v1444 v1639 -v1834 -v2029 -v671 -v862 -v1057 -v1447 v1642 -v2032 -v308 -v1448 v1643 -v1838 -v2033 v1644 v128 -v492 -v311 -v675 -v1450 v1645 -v130 -v494 -v676 -v866 -v1061 -v1256 -v1451 v1646 -v1841 -v2036 -v132 -v496 -v678 -v868 -v1063 -v1258 v1648 -v1843 -v2038 -v2233 -v134 -v316 -v498 -v1260 -v1455 v1650 -v2235 -v317 -v681 v1651 -v1846 -v2041 -v2236 -v137 -v319 -v501 -v873 -v1068 -v1263 -v1458 -v1653 -v1848 -v2043 -v138 -v502 -v684 -v1264 -v1459 -v1654 -v1849 -v2239 -v321 -v685 -v875 -v1070 -v1655 -v2045 v1267 -v2047 -v2048 -v324 -v880 -v1075 -v1660 -v1855 -v2050 -v1661 -v2248 -v2249 -v1665 -v2250 -v692 -v886 -v1081 -v693 -v148 -v330 -v512 -v888 -v1083 -v1278 -v1863 -v2058 -v149 -v331 -v513 -v889 -v1084 -v1279 v1864 -v2059 -v2254 -v332 -v696 -v1475 -v1670 v1865 -v2060 -v2255 -v697 -v1866 -v2256 -v152 -v516 -v698 -v1282 -v1867 -v2062 v2257 -v153 -v517 -v1283 -v1868 -v2063 -v700 -v2064 -v2259 -v337 -v701 -v1480 v1870 -v2065 -v2260 -v702 -v1871 -v2261 -v703 -v1482 -v2067 -v2262 -v158 -v522 -v704 -v898 -v1093 -v1288 -v1678 -v2263 -v1484 v1874 -v2264 -v160 -v524 -v706 -v900 -v1095 -v1290 -v1485 -v1680 -v1875 -v2070 -v343 -v707 -v901 -v1096 -v1486 -v1876 -v2071 v162 -v526 -v708 -v902 -v1097 v1292 -v1487 -v1877 -v2072 -v709 -v1488 -v2073 -v2268 -v1881 -v349 -v713 -v907 -v1102 -v1492 -v2077 -v2272 -v714 -v908 -v1103 -v1493 -v1883 -v2078 -v1884 -v2079 -v716 -v717 -v912 -v1107 -v1497 -v2277 -v1693 -v719 -v1889 -v2084 v2279 -v720 v1890 -v2085 -v2280 -v721 -v176 -v540 -v917 -v1112 -v1307 -v2282 -v177 -v541 -v723 -v918 -v1113 -v1308 -v1893 -v2088 -v724 -v1504 -v1894 -v361 -v725 -v920 -v1115 -v1505 -v362 -v726 -v921 -v1116 -v1506 -v1896 -v2091 -v363 -v1507 -v1702 -v182 -v546 -v923 -v1118 -v1313 -v1898 -v2288 one -v7 -v12 v19 v31 v39 v40 v47 -v53 v57 v79 v82 v93 v97 v98 v123 -v124 v126 v141 v144 v147 v156 -v164 v165 v166 v170 v173 v175 -v183 v185 v189 v190 v196 -v200 -v201 v203 v211 -v213 v214 -v221 v224 v225 v234 v237 v245 v246 v250 v258 -v261 v267 v268 -v275 -v279 -v280 v302 -v306 v309 -v310 -v323 -v326 v327 -v328 -v333 v334 -v336 -v338 v340 v346 -v348 -v352 -v354 -v355 -v356 -v357 -v371 v376 -v383 -v395 -v403 -v404 -v411 -v446 -v457 -v487 v488 -v490 v495 v504 -v505 -v511 -v520 -v529 -v530 -v534 -v537 v547 v550 v551 v552 v557 -v558 v564 -v565 v569 -v575 -v577 v579 v580 v584 -v585 -v586 v591 -v593 -v598 -v600 -v601 v607 -v614 v623 -v639 v647 v649 -v669 -v670 -v677 -v679 -v682 -v686 -v711 -v712 -v740 v746 -v749 -v752 -v758 -v760 -v761 -v764 -v768 -v769 -v770 -v775 -v777 -v781 -v782 -v783 -v786 -v788 -v794 -v795 -v809 -v816 -v833 -v836 -v838 -v840 -v851 -v859 -v860 -v861 -v864 -v869 -v876 -v881 -v882 -v883 -v884 -v885 -v887 -v896 -v903 -v905 -v906 -v910 -v911 -v913 -v914 -v922 -v935 -v941 -v944 v947 -v953 -v955 -v956 -v965 -v970 -v972 -v977 -v978 -v981 -v983 -v989 -v990 v1004 -v1011 -v1033 -v1035 -v1046 -v1054 -v1055 -v1056 -v1059 -v1060 -v1062 -v1064 -v1071 -v1076 -v1077 -v1078 -v1079 -v1080 -v1082 -v1091 -v1100 -v1101 -v1105 -v1108 -v1109 -v1111 -v1117 -v1125 -v1130 -v1137 v1150 -v1151 -v1159 -v1160 -v1167 v1172 v1174 -v1178 -v1202 -v1206 -v1218 -v1223 -v1225 -v1250 -v1251 -v1253 -v1257 -v1266 -v1268 -v1271 v1273 v1274 v1275 -v1277 -v1286 -v1295 -v1296 -v1301 -v1304 -v1306 v1321 v1325 -v1327 -v1331 -v1332 -v1347 -v1354 -v1355 -v1360 -v1367 -v1368 -v1371 -v1375 -v1377 -v1378 -v1379 -v1397 -v1401 -v1404 -v1413 -v1418 -v1421 -v1423 -v1436 -v1442 -v1445 -v1446 -v1449 -v1454 -v1457 -v1461 -v1462 -v1463 -v1466 -v1467 -v1471 -v1472 -v1473 -v1481 -v1483 -v1489 -v1490 -v1491 -v1496 -v1498 -v1499 -v1500 -v1503 -v1517 -v1520 -v1522 -v1529 -v1533 -v1538 -v1549 -v1553 -v1558 -v1562 -v1563 -v1566 -v1570 -v1572 -v1573 -v1579 -v1581 v1599 -v1608 -v1611 -v1616 -v1617 -v1621 -v1640 -v1641 -v1652 -v1656 -v1657 -v1662 -v1663 -v1664 -v1666 -v1667 -v1681 -v1682 -v1686 -v1687 -v1688 -v1689 -v1691 -v1694 -v1696 -v1699 -v1715 -v1717 v1724 -v1733 -v1735 -v1736 -v1742 -v1744 -v1745 -v1746 -v1747 -v1749 -v1753 -v1758 -v1761 -v1764 v1767 -v1769 v1770 -v1776 -v1782 -v1783 -v1784 v1803 -v1805 -v1808 -v1811 -v1814 v1819 -v1823 -v1835 -v1836 -v1840 -v1842 -v1845 -v1850 -v1852 -v1857 -v1860 -v1873 -v1880 -v1885 -v1886 -v1887 -v1888 -v1891 v1895 -v1901 -v1905 -v1909 -v1910 -v1912 -v1919 -v1930 -v1931 -v1932 -v1937 -v1939 -v1940 -v1943 -v1944 -v1947 -v1948 -v1949 -v1952 -v1954 -v1956 -v1958 -v1959 -v1960 -v1962 -v1964 -v1965 -v1973 -v1977 -v1982 -v1986 -v1991 -v1994 -v1998 -v2000 -v2005 -v2009 -v2021 -v2027 v2030 v2031 -v2034 -v2035 v2037 -v2040 v2044 -v2046 -v2051 -v2052 -v2053 -v2054 -v2055 -v2056 -v2057 v2066 v2068 -v2075 v2076 v2080 -v2081 -v2086 -v2089 -v2090 -v2094 -v2101 -v2102 -v2105 -v2111 -v2123 -v2126 -v2127 -v2137 -v2138 -v2139 -v2142 v2143 -v2148 -v2153 -v2157 -v2158 -v2166 -v2173 -v2174 -v2177 -v2193 -v2205 -v2216 -v2225 -v2226 -v2228 -v2229 -v2232 -v2234 -v2243 -v2246 -v2251 -v2252 -v2271 -v2275 v2281 -v2287 
c Exit Code: 10
c Total time: 1175.08 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.85 0.97 0.99 2/55 27831
Raw data (stat): 27831 (runsolver) R 27830 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 746218722 1056768 100 4294967295 134512640 135381576 3221221680 3221216896 135158418 0 0 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0003 s]
Raw data (loadavg): 0.87 0.97 0.99 2/55 27831
Raw data (stat): 27831 (bsolo_lpr_cuts) R 27830 7876 7672 0 -1 0 2200 0 0 0 988 7 0 0 25 0 1 0 746218722 10174464 1780 4294967295 134512640 134714508 3221221792 3221220176 1074153792 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2484 1780 1111 63 0 2421 0
vsize: 9936
[startup+20.0003 s]
Raw data (loadavg): 0.89 0.97 0.99 2/55 27831
Raw data (stat): 27831 (bsolo_lpr_cuts) R 27830 7876 7672 0 -1 0 4522 0 0 0 1982 14 0 0 25 0 1 0 746218722 10174464 1780 4294967295 134512640 134714508 3221221792 3221220176 1074153822 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2484 1780 1111 63 0 2421 0
vsize: 9936
[startup+30.0011 s]
Raw data (loadavg): 0.91 0.97 0.99 2/55 27831
Raw data (stat): 27831 (bsolo_lpr_cuts) R 27830 7876 7672 0 -1 0 6781 0 0 0 2977 19 0 0 25 0 1 0 746218722 10174464 1780 4294967295 134512640 134714508 3221221792 3221220176 1074153792 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2484 1780 1111 63 0 2421 0
vsize: 9936
[startup+40.001 s]
Raw data (loadavg): 0.92 0.97 0.99 2/55 27831
Raw data (stat): 27831 (bsolo_lpr_cuts) R 27830 7876 7672 0 -1 0 9010 0 0 0 3972 23 0 0 25 0 1 0 746218722 10174464 1780 4294967295 134512640 134714508 3221221792 3221220152 1077410279 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2484 1780 1111 63 0 2421 0
vsize: 9936
[startup+50.0009 s]
Raw data (loadavg): 0.93 0.97 0.99 2/55 27831
Raw data (stat): 27831 (bsolo_lpr_cuts) R 27830 7876 7672 0 -1 0 11143 0 0 0 4967 29 0 0 25 0 1 0 746218722 10174464 1780 4294967295 134512640 134714508 3221221792 3221219708 1077411564 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2484 1780 1111 63 0 2421 0
vsize: 9936
[startup+60.0011 s]
Raw data (loadavg): 0.94 0.97 0.99 2/55 27831
Raw data (stat): 27831 (bsolo_lpr_cuts) R 27830 7876 7672 0 -1 0 13295 0 0 0 5962 35 0 0 25 0 1 0 746218722 10174464 1780 4294967295 134512640 134714508 3221221792 3221220128 1074153767 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2484 1780 1111 63 0 2421 0
vsize: 9936
[startup+70.0017 s]
Raw data (loadavg): 0.95 0.97 0.99 2/55 27831
Raw data (stat): 27831 (bsolo_lpr_cuts) R 27830 7876 7672 0 -1 0 15343 0 0 0 6957 39 0 0 25 0 1 0 746218722 10174464 1780 4294967295 134512640 134714508 3221221792 3221220088 1074138150 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2484 1780 1111 63 0 2421 0
vsize: 9936
[startup+80.0026 s]
Raw data (loadavg): 0.96 0.97 0.99 2/55 27831
Raw data (stat): 27831 (bsolo_lpr_cuts) R 27830 7876 7672 0 -1 0 17568 0 0 0 7951 45 0 0 25 0 1 0 746218722 10174464 1780 4294967295 134512640 134714508 3221221792 3221220176 1074153749 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2484 1780 1111 63 0 2421 0
vsize: 9936
[startup+90.0025 s]
Raw data (loadavg): 0.96 0.97 0.99 2/55 27831
Raw data (stat): 27831 (bsolo_lpr_cuts) R 27830 7876 7672 0 -1 0 19735 0 0 0 8947 49 0 0 25 0 1 0 746218722 10174464 1780 4294967295 134512640 134714508 3221221792 3221220192 1074153660 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2484 1780 1111 63 0 2421 0
vsize: 9936
[startup+100.002 s]
Raw data (loadavg): 0.97 0.97 0.99 2/55 27831
Raw data (stat): 27831 (bsolo_lpr_cuts) R 27830 7876 7672 0 -1 0 21984 0 0 0 9942 55 0 0 25 0 1 0 746218722 11284480 1892 4294967295 134512640 134714508 3221221792 3221217788 1074860953 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2755 1892 1111 63 0 2692 0
vsize: 11020
[startup+110.003 s]
Raw data (loadavg): 0.97 0.97 0.99 2/55 27831
Raw data (stat): 27831 (bsolo_lpr_cuts) R 27830 7876 7672 0 -1 0 24258 0 0 0 10936 62 0 0 25 0 1 0 746218722 11169792 1886 4294967295 134512640 134714508 3221221792 3221217948 1075090003 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2727 1886 1111 63 0 2664 0
vsize: 10908
[startup+120.004 s]
Raw data (loadavg): 0.98 0.97 0.99 2/55 27831
Raw data (stat): 27831 (bsolo_lpr_cuts) R 27830 7876 7672 0 -1 0 26436 0 0 0 11931 67 0 0 25 0 1 0 746218722 10207232 1787 4294967295 134512640 134714508 3221221792 3221218872 1074247361 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2492 1787 1111 63 0 2429 0
vsize: 9968
[startup+130.004 s]
Raw data (loadavg): 0.98 0.97 0.99 2/55 27831
Raw data (stat): 27831 (bsolo_lpr_cuts) R 27830 7876 7672 0 -1 0 28638 0 0 0 12926 72 0 0 25 0 1 0 746218722 10174464 1780 4294967295 134512640 134714508 3221221792 3221220080 1074143667 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2484 1780 1111 63 0 2421 0
vsize: 9936
[startup+140.004 s]
Raw data (loadavg): 0.98 0.97 0.99 2/55 27831
Raw data (stat): 27831 (bsolo_lpr_cuts) R 27830 7876 7672 0 -1 0 30833 0 0 0 13921 76 0 0 25 0 1 0 746218722 10899456 1809 4294967295 134512640 134714508 3221221792 3221218856 1077410205 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2661 1809 1111 63 0 2598 0
vsize: 10644
[startup+150.004 s]
Raw data (loadavg): 0.98 0.97 0.99 2/55 27831
Raw data (stat): 27831 (bsolo_lpr_cuts) R 27830 7876 7672 0 -1 0 33008 0 0 0 14916 82 0 0 25 0 1 0 746218722 10174464 1780 4294967295 134512640 134714508 3221221792 3221219772 1077411564 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2484 1780 1111 63 0 2421 0
vsize: 9936
[startup+160.005 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 27831
Raw data (stat): 27831 (bsolo_lpr_cuts) R 27830 7876 7672 0 -1 0 35106 0 0 0 15912 87 0 0 25 0 1 0 746218722 10174464 1780 4294967295 134512640 134714508 3221221792 3221220176 1074153822 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2484 1780 1111 63 0 2421 0
vsize: 9936
[startup+170.005 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 27831
Raw data (stat): 27831 (bsolo_lpr_cuts) R 27830 7876 7672 0 -1 0 37170 0 0 0 16906 93 0 0 25 0 1 0 746218722 10174464 1780 4294967295 134512640 134714508 3221221792 3221220176 1074153786 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2484 1780 1111 63 0 2421 0
vsize: 9936
[startup+180.006 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 27831
Raw data (stat): 27831 (bsolo_lpr_cuts) R 27830 7876 7672 0 -1 0 39265 0 0 0 17899 100 0 0 25 0 1 0 746218722 10350592 1817 4294967295 134512640 134714508 3221221792 3221218896 1074138755 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2527 1817 1111 63 0 2464 0
vsize: 10108
[startup+190.007 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 27831
Raw data (stat): 27831 (bsolo_lpr_cuts) R 27830 7876 7672 0 -1 0 41406 0 0 0 18894 105 0 0 25 0 1 0 746218722 10174464 1780 4294967295 134512640 134714508 3221221792 3221220104 1074138150 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2484 1780 1111 63 0 2421 0
vsize: 9936
[startup+200.006 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 27831
Raw data (stat): 27831 (bsolo_lpr_cuts) R 27830 7876 7672 0 -1 0 43404 0 0 0 19888 110 0 0 25 0 1 0 746218722 10174464 1780 4294967295 134512640 134714508 3221221792 3221219664 1074050818 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2484 1780 1111 63 0 2421 0
vsize: 9936
[startup+210.006 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 27831
Raw data (stat): 27831 (bsolo_lpr_cuts) R 27830 7876 7672 0 -1 0 45506 0 0 0 20882 117 0 0 25 0 1 0 746218722 10207232 1780 4294967295 134512640 134714508 3221221792 3221220144 1074115298 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2492 1780 1111 63 0 2429 0
vsize: 9968
[startup+220.006 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 27831
Raw data (stat): 27831 (bsolo_lpr_cuts) R 27830 7876 7672 0 -1 0 47623 0 0 0 21876 123 0 0 25 0 1 0 746218722 11096064 1863 4294967295 134512640 134714508 3221221792 3221218368 1076047591 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2709 1863 1111 63 0 2646 0
vsize: 10836
[startup+230.006 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 27831
Raw data (stat): 27831 (bsolo_lpr_cuts) R 27830 7876 7672 0 -1 0 49646 0 0 0 22871 128 0 0 25 0 1 0 746218722 10174464 1780 4294967295 134512640 134714508 3221221792 3221220176 1074153673 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2484 1780 1111 63 0 2421 0
vsize: 9936
[startup+240.006 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 27831
Raw data (stat): 27831 (bsolo_lpr_cuts) R 27830 7876 7672 0 -1 0 51517 0 0 0 23867 133 0 0 25 0 1 0 746218722 10203136 1787 4294967295 134512640 134714508 3221221792 3221220256 1074121071 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2491 1787 1111 63 0 2428 0
vsize: 9964
[startup+250.006 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 27831
Raw data (stat): 27831 (bsolo_lpr_cuts) R 27830 7876 7672 0 -1 0 53199 0 0 0 24862 138 0 0 25 0 1 0 746218722 10174464 1780 4294967295 134512640 134714508 3221221792 3221220176 1074153749 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2484 1780 1111 63 0 2421 0
vsize: 9936
[startup+260.006 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 27831
Raw data (stat): 27831 (bsolo_lpr_cuts) R 27830 7876 7672 0 -1 0 54990 0 0 0 25856 144 0 0 25 0 1 0 746218722 10174464 1781 4294967295 134512640 134714508 3221221792 3221220104 1073978417 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2484 1781 1111 63 0 2421 0
vsize: 9936
[startup+270.006 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 27831
Raw data (stat): 27831 (bsolo_lpr_cuts) R 27830 7876 7672 0 -1 0 56791 0 0 0 26851 149 0 0 25 0 1 0 746218722 11001856 1837 4294967295 134512640 134714508 3221221792 3221218832 1075971413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2686 1837 1111 63 0 2623 0
vsize: 10744
[startup+280.006 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 27831
Raw data (stat): 27831 (bsolo_lpr_cuts) R 27830 7876 7672 0 -1 0 58592 0 0 0 27846 154 0 0 25 0 1 0 746218722 10997760 1836 4294967295 134512640 134714508 3221221792 3221218128 1075113502 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2685 1836 1111 63 0 2622 0
vsize: 10740
[startup+290.006 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 27831
Raw data (stat): 27831 (bsolo_lpr_cuts) R 27830 7876 7672 0 -1 0 60324 0 0 0 28841 159 0 0 25 0 1 0 746218722 10174464 1781 4294967295 134512640 134714508 3221221792 3221220192 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2484 1781 1111 63 0 2421 0
vsize: 9936
[startup+300.006 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 27831
Raw data (stat): 27831 (bsolo_lpr_cuts) R 27830 7876 7672 0 -1 0 61948 0 0 0 29837 163 0 0 25 0 1 0 746218722 10174464 1781 4294967295 134512640 134714508 3221221792 3221220104 1074138166 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2484 1781 1111 63 0 2421 0
vsize: 9936
[startup+310.007 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 27831
Raw data (stat): 27831 (bsolo_lpr_cuts) R 27830 7876 7672 0 -1 0 63363 0 0 0 30833 168 0 0 25 0 1 0 746218722 10174464 1781 4294967295 134512640 134714508 3221221792 3221220368 134650104 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2484 1781 1111 63 0 2421 0
vsize: 9936
[startup+320.006 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 27831
Raw data (stat): 27831 (bsolo_lpr_cuts) R 27830 7876 7672 0 -1 0 65570 0 0 0 31827 173 0 0 25 0 1 0 746218722 10174464 1782 4294967295 134512640 134714508 3221221792 3221220072 1074138297 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2484 1782 1111 63 0 2421 0
vsize: 9936
[startup+330.007 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 27831
Raw data (stat): 27831 (bsolo_lpr_cuts) R 27830 7876 7672 0 -1 0 67790 0 0 0 32821 180 0 0 25 0 1 0 746218722 10559488 1790 4294967295 134512640 134714508 3221221792 3221218448 1075966540 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2578 1790 1111 63 0 2515 0
vsize: 10312
[startup+340.007 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 27831
Raw data (stat): 27831 (bsolo_lpr_cuts) R 27830 7876 7672 0 -1 0 70317 0 0 0 33814 187 0 0 25 0 1 0 746218722 10559488 1789 4294967295 134512640 134714508 3221221792 3221218856 1077410205 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2578 1789 1111 63 0 2515 0
vsize: 10312
[startup+350.007 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 27831
Raw data (stat): 27831 (bsolo_lpr_cuts) R 27830 7876 7672 0 -1 0 74488 0 0 0 34801 200 0 0 25 0 1 0 746218722 10661888 1904 4294967295 134512640 134714508 3221221792 3221220176 1074153660 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2603 1904 1111 63 0 2540 0
vsize: 10412
[startup+360.008 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 27831
Raw data (stat): 27831 (bsolo_lpr_cuts) R 27830 7876 7672 0 -1 0 82265 0 0 0 35778 223 0 0 25 0 1 0 746218722 11362304 1975 4294967295 134512640 134714508 3221221792 3221217952 1075091317 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2774 1975 1111 63 0 2711 0
vsize: 11096
[startup+370.008 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 27831
Raw data (stat): 27831 (bsolo_lpr_cuts) R 27830 7876 7672 0 -1 0 89545 0 0 0 36754 247 0 0 25 0 1 0 746218722 10997760 1984 4294967295 134512640 134714508 3221221792 3221219880 1077377495 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2685 1984 1111 63 0 2622 0
vsize: 10740
[startup+380.008 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 27831
Raw data (stat): 27831 (bsolo_lpr_cuts) R 27830 7876 7672 0 -1 0 96379 0 0 0 37731 270 0 0 25 0 1 0 746218722 11190272 2028 4294967295 134512640 134714508 3221221792 3221220208 1074117044 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2732 2028 1111 63 0 2669 0
vsize: 10928
[startup+390.008 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 27831
Raw data (stat): 27831 (bsolo_lpr_cuts) R 27830 7876 7672 0 -1 0 103862 0 0 0 38708 294 0 0 25 0 1 0 746218722 11374592 2072 4294967295 134512640 134714508 3221221792 3221220044 1077411564 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2771 2072 1111 63 0 2708 0
vsize: 11108
[startup+400.008 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 27831
Raw data (stat): 27831 (bsolo_lpr_cuts) R 27830 7876 7672 0 -1 0 111326 0 0 0 39685 316 0 0 25 0 1 0 746218722 11558912 2117 4294967295 134512640 134714508 3221221792 3221219536 1075640442 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2822 2117 1111 63 0 2759 0
vsize: 11288
[startup+410.008 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 27831
Raw data (stat): 27831 (bsolo_lpr_cuts) R 27830 7876 7672 0 -1 0 119696 0 0 0 40662 340 0 0 25 0 1 0 746218722 12685312 2381 4294967295 134512640 134714508 3221221792 3221220176 1074153822 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3097 2381 1111 63 0 3034 0
vsize: 12388
[startup+420.008 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 27831
Raw data (stat): 27831 (bsolo_lpr_cuts) R 27830 7876 7672 0 -1 0 125395 0 0 0 41645 356 0 0 25 0 1 0 746218722 12685312 2383 4294967295 134512640 134714508 3221221792 3221220236 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3097 2383 1111 63 0 3034 0
vsize: 12388
[startup+430.008 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 27831
Raw data (stat): 27831 (bsolo_lpr_cuts) R 27830 7876 7672 0 -1 0 131323 0 0 0 42627 375 0 0 25 0 1 0 746218722 12685312 2383 4294967295 134512640 134714508 3221221792 3221220088 1074138166 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3097 2383 1111 63 0 3034 0
vsize: 12388
[startup+440.008 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 27831
Raw data (stat): 27831 (bsolo_lpr_cuts) R 27830 7876 7672 0 -1 0 137366 0 0 0 43609 393 0 0 25 0 1 0 746218722 12685312 2383 4294967295 134512640 134714508 3221221792 3221220536 134536877 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3097 2383 1111 63 0 3034 0
vsize: 12388
[startup+450.008 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 27831
Raw data (stat): 27831 (bsolo_lpr_cuts) R 27830 7876 7672 0 -1 0 143541 0 0 0 44589 413 0 0 25 0 1 0 746218722 12685312 2384 4294967295 134512640 134714508 3221221792 3221219712 1075799640 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3097 2384 1111 63 0 3034 0
vsize: 12388
[startup+460.008 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 27831
Raw data (stat): 27831 (bsolo_lpr_cuts) R 27830 7876 7672 0 -1 0 151144 0 0 0 45568 434 0 0 25 0 1 0 746218722 12685312 2400 4294967295 134512640 134714508 3221221792 3221220204 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3097 2400 1111 63 0 3034 0
vsize: 12388
[startup+470.009 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 27831
Raw data (stat): 27831 (bsolo_lpr_cuts) R 27830 7876 7672 0 -1 0 164151 0 0 0 46534 469 0 0 25 0 1 0 746218722 12840960 2438 4294967295 134512640 134714508 3221221792 3221220448 134649903 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3135 2438 1111 63 0 3072 0
vsize: 12540
[startup+480.009 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 27831
Raw data (stat): 27831 (bsolo_lpr_cuts) R 27830 7876 7672 0 -1 0 176575 0 0 0 47502 501 0 0 25 0 1 0 746218722 13635584 2521 4294967295 134512640 134714508 3221221792 3221217952 1075091317 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3329 2522 1111 63 0 3266 0
vsize: 13316
[startup+490.009 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 27831
Raw data (stat): 27831 (bsolo_lpr_cuts) R 27830 7876 7672 0 -1 0 190672 0 0 0 48464 539 0 0 25 0 1 0 746218722 13103104 2502 4294967295 134512640 134714508 3221221792 3221219680 1074051040 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3199 2502 1111 63 0 3136 0
vsize: 12796
[startup+500.009 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 27831
Raw data (stat): 27831 (bsolo_lpr_cuts) R 27830 7876 7672 0 -1 0 205148 0 0 0 49425 579 0 0 25 0 1 0 746218722 13332480 2558 4294967295 134512640 134714508 3221221792 3221219924 1077782939 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3255 2558 1111 63 0 3192 0
vsize: 13020
[startup+510.009 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 27831
Raw data (stat): 27831 (bsolo_lpr_cuts) R 27830 7876 7672 0 -1 0 217037 0 0 0 50393 610 0 0 25 0 1 0 746218722 13656064 2589 4294967295 134512640 134714508 3221221792 3221219712 1075799556 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3334 2589 1111 63 0 3271 0
vsize: 13336
[startup+520.009 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 27831
Raw data (stat): 27831 (bsolo_lpr_cuts) R 27830 7876 7672 0 -1 0 229866 0 0 0 51360 644 0 0 25 0 1 0 746218722 13643776 2634 4294967295 134512640 134714508 3221221792 3221220176 1074153675 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3331 2634 1111 63 0 3268 0
vsize: 13324
[startup+530.009 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 27831
Raw data (stat): 27831 (bsolo_lpr_cuts) R 27830 7876 7672 0 -1 0 242824 0 0 0 52325 678 0 0 25 0 1 0 746218722 13840384 2682 4294967295 134512640 134714508 3221221792 3221220088 1074138162 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3379 2682 1111 63 0 3316 0
vsize: 13516
[startup+540.009 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 27831
Raw data (stat): 27831 (bsolo_lpr_cuts) R 27830 7876 7672 0 -1 0 255331 0 0 0 53293 711 0 0 25 0 1 0 746218722 14090240 2743 4294967295 134512640 134714508 3221221792 3221219536 1075646918 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3422 2725 1111 63 0 3359 0
vsize: 13760
[startup+550.009 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 27831
Raw data (stat): 27831 (bsolo_lpr_cuts) R 27830 7876 7672 0 -1 0 269483 0 0 0 54256 748 0 0 25 0 1 0 746218722 14356480 2804 4294967295 134512640 134714508 3221221792 3221220240 1074039475 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3505 2804 1111 63 0 3442 0
vsize: 14020
[startup+560.009 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 27831
Raw data (stat): 27831 (bsolo_lpr_cuts) R 27830 7876 7672 0 -1 0 276270 0 0 0 55237 768 0 0 25 0 1 0 746218722 14331904 2801 4294967295 134512640 134714508 3221221792 3221219960 1077378310 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3499 2801 1111 63 0 3436 0
vsize: 13996
[startup+570.009 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 27831
Raw data (stat): 27831 (bsolo_lpr_cuts) R 27830 7876 7672 0 -1 0 284042 0 0 0 56213 791 0 0 25 0 1 0 746218722 14630912 2833 4294967295 134512640 134714508 3221221792 3221219616 1075823354 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3572 2833 1111 63 0 3509 0
vsize: 14288
[startup+580.009 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 27831
Raw data (stat): 27831 (bsolo_lpr_cuts) R 27830 7876 7672 0 -1 0 293449 0 0 0 57191 813 0 0 25 0 1 0 746218722 14606336 2867 4294967295 134512640 134714508 3221221792 3221219804 1077404704 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3566 2867 1111 63 0 3503 0
vsize: 14264
[startup+590.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 27831
Raw data (stat): 27831 (bsolo_lpr_cuts) R 27830 7876 7672 0 -1 0 304522 0 0 0 58162 843 0 0 25 0 1 0 746218722 14688256 2889 4294967295 134512640 134714508 3221221792 3221220176 1074153648 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3586 2889 1111 63 0 3523 0
vsize: 14344
[startup+600.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 27831
Raw data (stat): 27831 (bsolo_lpr_cuts) R 27830 7876 7672 0 -1 0 316972 0 0 0 59129 876 0 0 25 0 1 0 746218722 14909440 2942 4294967295 134512640 134714508 3221221792 3221220152 1077410279 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3640 2942 1111 63 0 3577 0
vsize: 14560
[startup+610.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 27831
Raw data (stat): 27831 (bsolo_lpr_cuts) R 27830 7876 7672 0 -1 0 324591 0 0 0 60106 900 0 0 25 0 1 0 746218722 15446016 3074 4294967295 134512640 134714508 3221221792 3221219292 1077411564 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3771 3074 1111 63 0 3708 0
vsize: 15084
[startup+620.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 27831
Raw data (stat): 27831 (bsolo_lpr_cuts) R 27830 7876 7672 0 -1 0 331378 0 0 0 61085 921 0 0 25 0 1 0 746218722 15712256 3137 4294967295 134512640 134714508 3221221792 3221220492 134535664 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3836 3137 1111 63 0 3773 0
vsize: 15344
[startup+630.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 27831
Raw data (stat): 27831 (bsolo_lpr_cuts) R 27830 7876 7672 0 -1 0 338110 0 0 0 62065 940 0 0 25 0 1 0 746218722 15806464 3160 4294967295 134512640 134714508 3221221792 3221219952 1074050818 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3853 3156 1111 63 0 3790 0
vsize: 15436
[startup+640.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 27831
Raw data (stat): 27831 (bsolo_lpr_cuts) R 27830 7876 7672 0 -1 0 344789 0 0 0 63046 960 0 0 25 0 1 0 746218722 15781888 3156 4294967295 134512640 134714508 3221221792 3221219776 1074052287 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3853 3156 1111 63 0 3790 0
vsize: 15412
[startup+650.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 27831
Raw data (stat): 27831 (bsolo_lpr_cuts) R 27830 7876 7672 0 -1 0 351461 0 0 0 64025 980 0 0 25 0 1 0 746218722 15831040 3168 4294967295 134512640 134714508 3221221792 3221219760 1075961312 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3865 3168 1111 63 0 3802 0
vsize: 15460
[startup+660.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 27831
Raw data (stat): 27831 (bsolo_lpr_cuts) R 27830 7876 7672 0 -1 0 358007 0 0 0 65005 1001 0 0 25 0 1 0 746218722 15855616 3172 4294967295 134512640 134714508 3221221792 3221220088 1074138150 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3871 3172 1111 63 0 3808 0
vsize: 15484
[startup+670.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 27831
Raw data (stat): 27831 (bsolo_lpr_cuts) R 27830 7876 7672 0 -1 0 364595 0 0 0 65985 1022 0 0 25 0 1 0 746218722 15978496 3204 4294967295 134512640 134714508 3221221792 3221220152 1077410279 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3901 3204 1111 63 0 3838 0
vsize: 15604
[startup+680.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 27831
Raw data (stat): 27831 (bsolo_lpr_cuts) R 27830 7876 7672 0 -1 0 371541 0 0 0 66966 1041 0 0 25 0 1 0 746218722 16076800 3228 4294967295 134512640 134714508 3221221792 3221220088 1074138162 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3925 3228 1111 63 0 3862 0
vsize: 15700
[startup+690.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 27831
Raw data (stat): 27831 (bsolo_lpr_cuts) R 27830 7876 7672 0 -1 0 378938 0 0 0 67944 1063 0 0 25 0 1 0 746218722 16146432 3245 4294967295 134512640 134714508 3221221792 3221220176 1074153648 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3942 3245 1111 63 0 3879 0
vsize: 15768
[startup+700.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 27831
Raw data (stat): 27831 (bsolo_lpr_cuts) R 27830 7876 7672 0 -1 0 388066 0 0 0 68917 1090 0 0 25 0 1 0 746218722 16146432 3245 4294967295 134512640 134714508 3221221792 3221220176 1074153672 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3942 3245 1111 63 0 3879 0
vsize: 15768
[startup+710.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 27831
Raw data (stat): 27831 (bsolo_lpr_cuts) R 27830 7876 7672 0 -1 0 397520 0 0 0 69890 1117 0 0 25 0 1 0 746218722 16334848 3285 4294967295 134512640 134714508 3221221792 3221220208 1074116193 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3988 3285 1111 63 0 3925 0
vsize: 15952
[startup+720.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 27831
Raw data (stat): 27831 (bsolo_lpr_cuts) R 27830 7876 7672 0 -1 0 407400 0 0 0 70865 1142 0 0 25 0 1 0 746218722 16490496 3327 4294967295 134512640 134714508 3221221792 3221220176 1074153749 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4026 3327 1111 63 0 3963 0
vsize: 16104
[startup+730.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 27831
Raw data (stat): 27831 (bsolo_lpr_cuts) R 27830 7876 7672 0 -1 0 414186 0 0 0 71843 1164 0 0 25 0 1 0 746218722 16707584 3382 4294967295 134512640 134714508 3221221792 3221219680 1074050818 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4079 3382 1111 63 0 4016 0
vsize: 16316
[startup+740.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 27831
Raw data (stat): 27831 (bsolo_lpr_cuts) R 27830 7876 7672 0 -1 0 420755 0 0 0 72825 1183 0 0 25 0 1 0 746218722 16756736 3391 4294967295 134512640 134714508 3221221792 3221220176 1074153672 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4091 3391 1111 63 0 4028 0
vsize: 16364
[startup+750.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 27831
Raw data (stat): 27831 (bsolo_lpr_cuts) R 27830 7876 7672 0 -1 0 427927 0 0 0 73800 1207 0 0 25 0 1 0 746218722 16805888 3406 4294967295 134512640 134714508 3221221792 3221220088 1074138155 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4103 3406 1111 63 0 4040 0
vsize: 16412
[startup+760.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 27831
Raw data (stat): 27831 (bsolo_lpr_cuts) R 27830 7876 7672 0 -1 0 438659 0 0 0 74771 1237 0 0 25 0 1 0 746218722 17498112 3447 4294967295 134512640 134714508 3221221792 3221218832 1075860443 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4272 3447 1111 63 0 4209 0
vsize: 17088
[startup+770.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 27831
Raw data (stat): 27831 (bsolo_lpr_cuts) R 27830 7876 7672 0 -1 0 451760 0 0 0 75737 1271 0 0 25 0 1 0 746218722 17694720 3496 4294967295 134512640 134714508 3221221792 3221218832 1075971395 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4320 3496 1111 63 0 4257 0
vsize: 17280
[startup+780.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 27831
Raw data (stat): 27831 (bsolo_lpr_cuts) R 27830 7876 7672 0 -1 0 465053 0 0 0 76704 1304 0 0 25 0 1 0 746218722 17240064 3512 4294967295 134512640 134714508 3221221792 3221220176 1074153749 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4209 3512 1111 63 0 4146 0
vsize: 16836
[startup+790.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 27831
Raw data (stat): 27831 (bsolo_lpr_cuts) R 27830 7876 7672 0 -1 0 477815 0 0 0 77670 1339 0 0 25 0 1 0 746218722 17408000 3553 4294967295 134512640 134714508 3221221792 3221219712 1074153660 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4250 3553 1111 63 0 4187 0
vsize: 17000
[startup+800.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 27831
Raw data (stat): 27831 (bsolo_lpr_cuts) R 27830 7876 7672 0 -1 0 490402 0 0 0 78639 1370 0 0 25 0 1 0 746218722 17715200 3623 4294967295 134512640 134714508 3221221792 3221220224 1073990165 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4325 3623 1111 63 0 4262 0
vsize: 17300
[startup+810.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 27831
Raw data (stat): 27831 (bsolo_lpr_cuts) R 27830 7876 7672 0 -1 0 500079 0 0 0 79607 1401 0 0 25 0 1 0 746218722 17969152 3664 4294967295 134512640 134714508 3221221792 3221220188 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4387 3664 1111 63 0 4324 0
vsize: 17548
[startup+820.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 27831
Raw data (stat): 27831 (bsolo_lpr_cuts) R 27830 7876 7672 0 -1 0 513204 0 0 0 80574 1435 0 0 25 0 1 0 746218722 17874944 3667 4294967295 134512640 134714508 3221221792 3221220176 1074153660 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4364 3667 1111 63 0 4301 0
vsize: 17456
[startup+830.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 27831
Raw data (stat): 27831 (bsolo_lpr_cuts) R 27830 7876 7672 0 -1 0 526855 0 0 0 81540 1470 0 0 25 0 1 0 746218722 18087936 3719 4294967295 134512640 134714508 3221221792 3221220176 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4416 3719 1111 63 0 4353 0
vsize: 17664
[startup+840.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 27831
Raw data (stat): 27831 (bsolo_lpr_cuts) R 27830 7876 7672 0 -1 0 539378 0 0 0 82506 1503 0 0 25 0 1 0 746218722 18231296 3754 4294967295 134512640 134714508 3221221792 3221219960 1077378310 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4451 3754 1111 63 0 4388 0
vsize: 17804
[startup+850.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 27831
Raw data (stat): 27831 (bsolo_lpr_cuts) R 27830 7876 7672 0 -1 0 553351 0 0 0 83469 1540 0 0 25 0 1 0 746218722 18440192 3805 4294967295 134512640 134714508 3221221792 3221219792 1074056623 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4502 3805 1111 63 0 4439 0
vsize: 18008
[startup+860.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 27831
Raw data (stat): 27831 (bsolo_lpr_cuts) R 27830 7876 7672 0 -1 0 567129 0 0 0 84436 1574 0 0 25 0 1 0 746218722 18685952 3861 4294967295 134512640 134714508 3221221792 3221220220 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4562 3861 1111 63 0 4499 0
vsize: 18248
[startup+870.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 27831
Raw data (stat): 27831 (bsolo_lpr_cuts) R 27830 7876 7672 0 -1 0 580479 0 0 0 85400 1610 0 0 25 0 1 0 746218722 18956288 3892 4294967295 134512640 134714508 3221221792 3221219712 1075799556 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4628 3892 1111 63 0 4565 0
vsize: 18512
[startup+880.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 27831
Raw data (stat): 27831 (bsolo_lpr_cuts) R 27830 7876 7672 0 -1 0 594803 0 0 0 86363 1647 0 0 25 0 1 0 746218722 18927616 3924 4294967295 134512640 134714508 3221221792 3221220464 134650233 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4621 3924 1111 63 0 4558 0
vsize: 18484
[startup+890.015 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 27831
Raw data (stat): 27831 (bsolo_lpr_cuts) R 27830 7876 7672 0 -1 0 607915 0 0 0 87327 1683 0 0 25 0 1 0 746218722 19185664 3987 4294967295 134512640 134714508 3221221792 3221220176 1074153675 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4684 3987 1111 63 0 4621 0
vsize: 18736
[startup+900.015 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 27831
Raw data (stat): 27831 (bsolo_lpr_cuts) R 27830 7876 7672 0 -1 0 621994 0 0 0 88292 1718 0 0 25 0 1 0 746218722 19324928 4021 4294967295 134512640 134714508 3221221792 3221219536 1075640275 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4718 4021 1111 63 0 4655 0
vsize: 18872
[startup+910.015 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 27831
Raw data (stat): 27831 (bsolo_lpr_cuts) R 27830 7876 7672 0 -1 0 634820 0 0 0 89259 1752 0 0 25 0 1 0 746218722 19472384 4057 4294967295 134512640 134714508 3221221792 3221220088 1074138166 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4754 4057 1111 63 0 4691 0
vsize: 19016
[startup+920.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 27831
Raw data (stat): 27831 (bsolo_lpr_cuts) R 27830 7876 7672 0 -1 0 648380 0 0 0 90225 1785 0 0 25 0 1 0 746218722 19660800 4103 4294967295 134512640 134714508 3221221792 3221220192 1074119066 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4800 4103 1111 63 0 4737 0
vsize: 19200
[startup+930.015 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 27831
Raw data (stat): 27831 (bsolo_lpr_cuts) R 27830 7876 7672 0 -1 0 660010 0 0 0 91193 1818 0 0 25 0 1 0 746218722 19845120 4148 4294967295 134512640 134714508 3221221792 3221219576 1077410205 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4845 4148 1111 63 0 4782 0
vsize: 19380
[startup+940.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 27831
Raw data (stat): 27831 (bsolo_lpr_cuts) R 27830 7876 7672 0 -1 0 672558 0 0 0 92161 1850 0 0 25 0 1 0 746218722 20049920 4198 4294967295 134512640 134714508 3221221792 3221220176 1074153675 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4895 4198 1111 63 0 4832 0
vsize: 19580
[startup+950.015 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 27831
Raw data (stat): 27831 (bsolo_lpr_cuts) R 27830 7876 7672 0 -1 0 685943 0 0 0 93128 1883 0 0 25 0 1 0 746218722 20172800 4228 4294967295 134512640 134714508 3221221792 3221220144 1074115298 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4925 4228 1111 63 0 4862 0
vsize: 19700
[startup+960.015 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 27831
Raw data (stat): 27831 (bsolo_lpr_cuts) R 27830 7876 7672 0 -1 0 699750 0 0 0 94090 1921 0 0 25 0 1 0 746218722 20340736 4269 4294967295 134512640 134714508 3221221792 3221220152 1077410279 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4966 4269 1111 63 0 4903 0
vsize: 19864
[startup+970.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 27831
Raw data (stat): 27831 (bsolo_lpr_cuts) R 27830 7876 7672 0 -1 0 713699 0 0 0 95052 1959 0 0 25 0 1 0 746218722 20525056 4314 4294967295 134512640 134714508 3221221792 3221220056 1077410205 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5011 4314 1111 63 0 4948 0
vsize: 20044
[startup+980.015 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 27831
Raw data (stat): 27831 (bsolo_lpr_cuts) R 27830 7876 7672 0 -1 0 727865 0 0 0 96014 1998 0 0 25 0 1 0 746218722 20725760 4363 4294967295 134512640 134714508 3221221792 3221220176 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5060 4363 1111 63 0 4997 0
vsize: 20240
[startup+990.015 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 27831
Raw data (stat): 27831 (bsolo_lpr_cuts) R 27830 7876 7672 0 -1 0 739831 0 0 0 96980 2032 0 0 25 0 1 0 746218722 20869120 4398 4294967295 134512640 134714508 3221221792 3221220176 1074153663 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5095 4398 1111 63 0 5032 0
vsize: 20380
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 27831
Raw data (stat): 27831 (bsolo_lpr_cuts) R 27830 7876 7672 0 -1 0 753031 0 0 0 97946 2066 0 0 25 0 1 0 746218722 21041152 4440 4294967295 134512640 134714508 3221221792 3221220176 1074153672 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5137 4440 1111 63 0 5074 0
vsize: 20548
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 27831
Raw data (stat): 27831 (bsolo_lpr_cuts) R 27830 7876 7672 0 -1 0 766939 0 0 0 98910 2102 0 0 25 0 1 0 746218722 21209088 4481 4294967295 134512640 134714508 3221221792 3221220088 1074138162 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5178 4481 1111 63 0 5115 0
vsize: 20712
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 27831
Raw data (stat): 27831 (bsolo_lpr_cuts) R 27830 7876 7672 0 -1 0 779332 0 0 0 99875 2137 0 0 25 0 1 0 746218722 21417984 4532 4294967295 134512640 134714508 3221221792 3221220176 1074153675 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5229 4532 1111 63 0 5166 0
vsize: 20916
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 27831
Raw data (stat): 27831 (bsolo_lpr_cuts) R 27830 7876 7672 0 -1 0 789592 0 0 0 100843 2169 0 0 25 0 1 0 746218722 21536768 4561 4294967295 134512640 134714508 3221221792 3221219256 1077782939 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5258 4561 1111 63 0 5195 0
vsize: 21032
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 27831
Raw data (stat): 27831 (bsolo_lpr_cuts) R 27830 7876 7672 0 -1 0 803674 0 0 0 101808 2204 0 0 25 0 1 0 746218722 21803008 4589 4294967295 134512640 134714508 3221221792 3221219904 1074867320 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5323 4589 1111 63 0 5260 0
vsize: 21292
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 27831
Raw data (stat): 27831 (bsolo_lpr_cuts) R 27830 7876 7672 0 -1 0 817834 0 0 0 102770 2243 0 0 25 0 1 0 746218722 21880832 4645 4294967295 134512640 134714508 3221221792 3221220168 1077410279 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5342 4645 1111 63 0 5279 0
vsize: 21368
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 27831
Raw data (stat): 27831 (bsolo_lpr_cuts) R 27830 7876 7672 0 -1 0 829409 0 0 0 103737 2276 0 0 25 0 1 0 746218722 22093824 4697 4294967295 134512640 134714508 3221221792 3221220144 1074115298 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5394 4697 1111 63 0 5331 0
vsize: 21576
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 27831
Raw data (stat): 27831 (bsolo_lpr_cuts) R 27830 7876 7672 0 -1 0 841152 0 0 0 104707 2306 0 0 25 0 1 0 746218722 22421504 4746 4294967295 134512640 134714508 3221221792 3221218904 1077378037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5474 4746 1111 63 0 5411 0
vsize: 21896
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 27831
Raw data (stat): 27831 (bsolo_lpr_cuts) R 27830 7876 7672 0 -1 0 854172 0 0 0 105673 2340 0 0 25 0 1 0 746218722 22437888 4781 4294967295 134512640 134714508 3221221792 3221219960 134543144 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5478 4781 1111 63 0 5415 0
vsize: 21912
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 27831
Raw data (stat): 27831 (bsolo_lpr_cuts) R 27830 7876 7672 0 -1 0 867738 0 0 0 106639 2374 0 0 25 0 1 0 746218722 22630400 4828 4294967295 134512640 134714508 3221221792 3221220088 1074138144 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5525 4828 1111 63 0 5462 0
vsize: 22100
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 27831
Raw data (stat): 27831 (bsolo_lpr_cuts) R 27830 7876 7672 0 -1 0 881113 0 0 0 107603 2410 0 0 25 0 1 0 746218722 22757376 4859 4294967295 134512640 134714508 3221221792 3221220392 134543133 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5556 4859 1111 63 0 5493 0
vsize: 22224
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 27831
Raw data (stat): 27831 (bsolo_lpr_cuts) R 27830 7876 7672 0 -1 0 893753 0 0 0 108567 2447 0 0 25 0 1 0 746218722 23584768 4933 4294967295 134512640 134714508 3221221792 3221218912 1074834393 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5758 4938 1111 63 0 5695 0
vsize: 23032
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 27831
Raw data (stat): 27831 (bsolo_lpr_cuts) R 27830 7876 7672 0 -1 0 907606 0 0 0 109533 2481 0 0 25 0 1 0 746218722 23179264 4962 4294967295 134512640 134714508 3221221792 3221220088 1074138162 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5659 4962 1111 63 0 5596 0
vsize: 22636
[startup+1130.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 27831
Raw data (stat): 27831 (bsolo_lpr_cuts) R 27830 7876 7672 0 -1 0 918763 0 0 0 110503 2511 0 0 25 0 1 0 746218722 23818240 4990 4294967295 134512640 134714508 3221221792 3221218448 1075966471 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5815 4990 1111 63 0 5752 0
vsize: 23260
[startup+1140.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 27831
Raw data (stat): 27831 (bsolo_lpr_cuts) R 27830 7876 7672 0 -1 0 932741 0 0 0 111467 2547 0 0 25 0 1 0 746218722 24043520 5064 4294967295 134512640 134714508 3221221792 3221217952 1075095166 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5870 5068 1111 63 0 5807 0
vsize: 23480
[startup+1150.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 27831
Raw data (stat): 27831 (bsolo_lpr_cuts) R 27830 7876 7672 0 -1 0 944704 0 0 0 112437 2578 0 0 25 0 1 0 746218722 23629824 5072 4294967295 134512640 134714508 3221221792 3221220064 1074056231 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5769 5072 1111 63 0 5706 0
vsize: 23076
[startup+1160.02 s]
Raw data (loadavg): 1.07 0.99 0.99 2/55 27831
Raw data (stat): 27831 (bsolo_lpr_cuts) R 27830 7876 7672 0 -1 0 957742 0 0 0 113400 2615 0 0 25 0 1 0 746218722 23814144 5117 4294967295 134512640 134714508 3221221792 3221220052 1077374508 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5814 5117 1111 63 0 5751 0
vsize: 23256
[startup+1170.02 s]
Raw data (loadavg): 1.14 1.00 1.00 2/55 27831
Raw data (stat): 27831 (bsolo_lpr_cuts) R 27830 7876 7672 0 -1 0 971491 0 0 0 114365 2650 0 0 25 0 1 0 746218722 24002560 5163 4294967295 134512640 134714508 3221221792 3221220420 134649122 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5860 5163 1111 63 0 5797 0
vsize: 23440
[startup+1174.97 s]
Raw data (loadavg): 1.12 1.00 1.00 1/54 27831
Raw data (stat): 27831 (bsolo_lpr_cuts) R 27830 7876 7672 0 -1 0 971491 0 0 0 114365 2650 0 0 25 0 1 0 746218722 24002560 5163 4294967295 134512640 134714508 3221221792 3221220420 134649122 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5860 5163 1111 63 0 5797 0
vsize: 0

Child status: 10
Real time (s): 1174.97
CPU time (s): 1175.11
CPU user time (s): 1148.43
CPU system time (s): 26.6869
CPU usage (%): 100.012
Max. virtual memory (Kb): 23480
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	13194
#### END VERIFIER DATA ####