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/submitted/manquinho/primes-dimacs-cnf/normalized-par16-5-c.opb
MD5SUM	5b3b72cfc97a7b1e471b28e18b610f1a
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	341
Optimality of the best value was proved	NO
Number of terms in the objective function	682
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	682
Number of bits of the sum of numbers in the objective function	10
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	682
Number of bits of the biggest sum of numbers	10
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	2.19167
Number of variables	682
Total number of constraints	1701
Number of constraints which are clauses	1701
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	3
Trace number 39577

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-06-07 14:01:22 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27643 boxname=wulflinc6 idbench=201 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  5b3b72cfc97a7b1e471b28e18b610f1a  /oldhome/oroussel/tmp/wulflinc6/normalized-par16-5-c.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-par16-5-c.opb
IDLAUNCH: 27643
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
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	: 2
cpu MHz		: 451.042
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	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        837960 kB
Buffers:         33768 kB
Cached:         140924 kB
SwapCached:       1020 kB
Active:          40392 kB
Inactive:       136500 kB
HighTotal:      131008 kB
HighFree:        96404 kB
LowTotal:       903652 kB
LowFree:        741556 kB
SwapTotal:     2097136 kB
SwapFree:      2095192 kB
Dirty:              32 kB
Writeback:           0 kB
Mapped:           5028 kB
Slab:            14068 kB
Committed_AS:    63700 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-07 14:21:00 (client local time) WITH STATUS 0 IN 1178.29 SECONDS
stats: 27643 7 1178.29 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 682 variables and 1701 constraints.
c After prepocess the problem consists of 652 variables and 2121 constraints.
c preprocess terminated 2.658 s
c Initial Lower Bound: 221
c Lower Bound Elapsed time: 0.7055
c Use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1178.28 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
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.91 0.95 0.95 2/54 15143
Raw data (stat): 15143 (runsolver) R 15142 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 893550993 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.001 s]
Raw data (loadavg): 0.93 0.95 0.95 2/54 15143
Raw data (stat): 15143 (bsolo_lpr-v2) R 15142 25568 25567 0 -1 0 3277 0 0 0 987 9 0 0 25 0 1 0 893550993 10977280 1914 4294967295 134512640 134716908 3221224576 3221221232 1075967692 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2680 1914 1111 63 0 2617 0
vsize: 10720
[startup+20.0018 s]
Raw data (loadavg): 0.94 0.96 0.95 2/54 15143
Raw data (stat): 15143 (bsolo_lpr-v2) R 15142 25568 25567 0 -1 0 4515 0 0 0 1984 13 0 0 25 0 1 0 893550993 11210752 1886 4294967295 134512640 134716908 3221224576 3221220912 1075113517 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2737 1886 1111 63 0 2674 0
vsize: 10948
[startup+30.0016 s]
Raw data (loadavg): 0.95 0.96 0.95 2/54 15143
Raw data (stat): 15143 (bsolo_lpr-v2) R 15142 25568 25567 0 -1 0 6061 0 0 0 2980 17 0 0 25 0 1 0 893550993 11005952 1806 4294967295 134512640 134716908 3221224576 3221221648 1074867325 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2687 1806 1111 63 0 2624 0
vsize: 10748
[startup+40.002 s]
Raw data (loadavg): 0.95 0.96 0.95 2/54 15143
Raw data (stat): 15143 (bsolo_lpr-v2) R 15142 25568 25567 0 -1 0 8005 0 0 0 3974 23 0 0 25 0 1 0 893550993 11153408 1815 4294967295 134512640 134716908 3221224576 3221220480 1075965246 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2723 1815 1111 63 0 2660 0
vsize: 10892
[startup+50.0025 s]
Raw data (loadavg): 0.96 0.96 0.95 2/54 15143
Raw data (stat): 15143 (bsolo_lpr-v2) R 15142 25568 25567 0 -1 0 9618 0 0 0 4971 27 0 0 25 0 1 0 893550993 9949184 1748 4294967295 134512640 134716908 3221224576 3221222888 1074138155 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2429 1748 1111 63 0 2366 0
vsize: 9716
[startup+60.0021 s]
Raw data (loadavg): 0.97 0.96 0.95 2/54 15143
Raw data (stat): 15143 (bsolo_lpr-v2) R 15142 25568 25567 0 -1 0 11578 0 0 0 5966 32 0 0 25 0 1 0 893550993 9969664 1753 4294967295 134512640 134716908 3221224576 3221221856 1074140023 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2434 1753 1111 63 0 2371 0
vsize: 9736
[startup+70.0025 s]
Raw data (loadavg): 0.97 0.96 0.95 2/54 15143
Raw data (stat): 15143 (bsolo_lpr-v2) R 15142 25568 25567 0 -1 0 13301 0 0 0 6961 37 0 0 25 0 1 0 893550993 11005952 1788 4294967295 134512640 134716908 3221224576 3221220796 1075116543 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2687 1788 1111 63 0 2624 0
vsize: 10748
[startup+80.0026 s]
Raw data (loadavg): 0.98 0.96 0.95 2/54 15143
Raw data (stat): 15143 (bsolo_lpr-v2) R 15142 25568 25567 0 -1 0 14995 0 0 0 7957 42 0 0 25 0 1 0 893550993 9949184 1748 4294967295 134512640 134716908 3221224576 3221222960 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2429 1748 1111 63 0 2366 0
vsize: 9716
[startup+90.0025 s]
Raw data (loadavg): 0.98 0.96 0.95 2/54 15143
Raw data (stat): 15143 (bsolo_lpr-v2) R 15142 25568 25567 0 -1 0 16901 0 0 0 8953 46 0 0 25 0 1 0 893550993 10985472 1880 4294967295 134512640 134716908 3221224576 3221220588 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2682 1880 1111 63 0 2619 0
vsize: 10728
[startup+100.003 s]
Raw data (loadavg): 0.98 0.96 0.95 2/54 15143
Raw data (stat): 15143 (bsolo_lpr-v2) R 15142 25568 25567 0 -1 0 19111 0 0 0 9947 52 0 0 25 0 1 0 893550993 9949184 1748 4294967295 134512640 134716908 3221224576 3221222896 1074206862 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2429 1748 1111 63 0 2366 0
vsize: 9716
[startup+110.003 s]
Raw data (loadavg): 0.98 0.96 0.95 2/54 15143
Raw data (stat): 15143 (bsolo_lpr-v2) R 15142 25568 25567 0 -1 0 21276 0 0 0 10941 59 0 0 25 0 1 0 893550993 11173888 1835 4294967295 134512640 134716908 3221224576 3221220804 1075115125 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2728 1835 1111 63 0 2665 0
vsize: 10912
[startup+120.003 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 15143
Raw data (stat): 15143 (bsolo_lpr-v2) R 15142 25568 25567 0 -1 0 23792 0 0 0 11935 65 0 0 25 0 1 0 893550993 11386880 1876 4294967295 134512640 134716908 3221224576 3221221088 1075240464 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2780 1876 1111 63 0 2717 0
vsize: 11120
[startup+130.003 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 15143
Raw data (stat): 15143 (bsolo_lpr-v2) R 15142 25568 25567 0 -1 0 26811 0 0 0 12927 73 0 0 25 0 1 0 893550993 11481088 2017 4294967295 134512640 134716908 3221224576 3221220544 1075965234 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2803 2017 1111 63 0 2740 0
vsize: 11212
[startup+140.003 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 15143
Raw data (stat): 15143 (bsolo_lpr-v2) R 15142 25568 25567 0 -1 0 29030 0 0 0 13922 79 0 0 25 0 1 0 893550993 11513856 1928 4294967295 134512640 134716908 3221224576 3221220848 1074961246 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2811 1928 1111 63 0 2748 0
vsize: 11244
[startup+150.003 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 15143
Raw data (stat): 15143 (bsolo_lpr-v2) R 15142 25568 25567 0 -1 0 31715 0 0 0 14915 87 0 0 25 0 1 0 893550993 10268672 1828 4294967295 134512640 134716908 3221224576 3221222960 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2507 1828 1111 63 0 2444 0
vsize: 10028
[startup+160.004 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 15143
Raw data (stat): 15143 (bsolo_lpr-v2) R 15142 25568 25567 0 -1 0 34485 0 0 0 15908 94 0 0 25 0 1 0 893550993 10248192 1823 4294967295 134512640 134716908 3221224576 3221222716 1077379908 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2502 1823 1111 63 0 2439 0
vsize: 10008
[startup+170.004 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 15143
Raw data (stat): 15143 (bsolo_lpr-v2) R 15142 25568 25567 0 -1 0 37245 0 0 0 16901 101 0 0 25 0 1 0 893550993 11636736 1960 4294967295 134512640 134716908 3221224576 3221221128 1075088529 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2841 1960 1111 63 0 2778 0
vsize: 11364
[startup+180.004 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 15143
Raw data (stat): 15143 (bsolo_lpr-v2) R 15142 25568 25567 0 -1 0 39917 0 0 0 17895 108 0 0 25 0 1 0 893550993 11857920 1986 4294967295 134512640 134716908 3221224576 3221221580 1074621127 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2895 1986 1111 63 0 2832 0
vsize: 11580
[startup+190.004 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 15143
Raw data (stat): 15143 (bsolo_lpr-v2) R 15142 25568 25567 0 -1 0 42458 0 0 0 18888 114 0 0 25 0 1 0 893550993 10362880 1851 4294967295 134512640 134716908 3221224576 3221222792 1074138150 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2530 1851 1111 63 0 2467 0
vsize: 10120
[startup+200.004 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 15143
Raw data (stat): 15143 (bsolo_lpr-v2) R 15142 25568 25567 0 -1 0 44821 0 0 0 19882 121 0 0 25 0 1 0 893550993 11776000 1966 4294967295 134512640 134716908 3221224576 3221221568 1075110436 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2875 1966 1111 63 0 2812 0
vsize: 11500
[startup+210.004 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 15143
Raw data (stat): 15143 (bsolo_lpr-v2) R 15142 25568 25567 0 -1 0 46737 0 0 0 20878 126 0 0 25 0 1 0 893550993 11816960 1994 4294967295 134512640 134716908 3221224576 3221220704 1075112110 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2885 1994 1111 63 0 2822 0
vsize: 11540
[startup+220.005 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 15143
Raw data (stat): 15143 (bsolo_lpr-v2) R 15142 25568 25567 0 -1 0 48684 0 0 0 21873 131 0 0 25 0 1 0 893550993 11804672 1984 4294967295 134512640 134716908 3221224576 3221221408 1075115793 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2882 1984 1111 63 0 2819 0
vsize: 11528
[startup+230.005 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 15143
Raw data (stat): 15143 (bsolo_lpr-v2) R 15142 25568 25567 0 -1 0 50506 0 0 0 22869 135 0 0 25 0 1 0 893550993 11644928 1944 4294967295 134512640 134716908 3221224576 3221220912 1075113502 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2843 1944 1111 63 0 2780 0
vsize: 11372
[startup+240.005 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 15143
Raw data (stat): 15143 (bsolo_lpr-v2) R 15142 25568 25567 0 -1 0 52501 0 0 0 23865 139 0 0 25 0 1 0 893550993 12009472 2060 4294967295 134512640 134716908 3221224576 3221220736 1074794682 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2932 2060 1111 63 0 2869 0
vsize: 11728
[startup+250.005 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 15143
Raw data (stat): 15143 (bsolo_lpr-v2) R 15142 25568 25567 0 -1 0 54869 0 0 0 24859 146 0 0 25 0 1 0 893550993 11276288 1938 4294967295 134512640 134716908 3221224576 3221220656 1075561208 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2753 1938 1111 63 0 2690 0
vsize: 11012
[startup+260.005 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 15145
Raw data (stat): 15143 (bsolo_lpr-v2) R 15142 25568 25567 0 -1 0 56939 0 0 0 25854 151 0 0 25 0 1 0 893550993 11780096 1967 4294967295 134512640 134716908 3221224576 3221220472 1074789812 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2876 1967 1111 63 0 2813 0
vsize: 11504
[startup+270.005 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 15145
Raw data (stat): 15143 (bsolo_lpr-v2) R 15142 25568 25567 0 -1 0 58976 0 0 0 26848 158 0 0 25 0 1 0 893550993 11800576 1974 4294967295 134512640 134716908 3221224576 3221220476 1074787514 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2881 1974 1111 63 0 2818 0
vsize: 11524
[startup+280.006 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 15145
Raw data (stat): 15143 (bsolo_lpr-v2) R 15142 25568 25567 0 -1 0 60954 0 0 0 27843 163 0 0 25 0 1 0 893550993 11833344 2016 4294967295 134512640 134716908 3221224576 3221220660 1075964431 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2889 2016 1111 63 0 2826 0
vsize: 11556
[startup+290.006 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 15145
Raw data (stat): 15143 (bsolo_lpr-v2) R 15142 25568 25567 0 -1 0 63188 0 0 0 28837 169 0 0 25 0 1 0 893550993 11837440 2035 4294967295 134512640 134716908 3221224576 3221220524 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2890 2035 1111 63 0 2827 0
vsize: 11560
[startup+300.006 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 15145
Raw data (stat): 15143 (bsolo_lpr-v2) R 15142 25568 25567 0 -1 0 65224 0 0 0 29831 175 0 0 25 0 1 0 893550993 11628544 2033 4294967295 134512640 134716908 3221224576 3221221504 1075960256 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2839 2033 1111 63 0 2776 0
vsize: 11356
[startup+310.006 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 15145
Raw data (stat): 15143 (bsolo_lpr-v2) R 15142 25568 25567 0 -1 0 67268 0 0 0 30827 180 0 0 25 0 1 0 893550993 12001280 2028 4294967295 134512640 134716908 3221224576 3221220536 1074789711 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2930 2028 1111 63 0 2867 0
vsize: 11720
[startup+320.006 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 15145
Raw data (stat): 15143 (bsolo_lpr-v2) R 15142 25568 25567 0 -1 0 69031 0 0 0 31822 185 0 0 25 0 1 0 893550993 11939840 2048 4294967295 134512640 134716908 3221224576 3221220796 1075116541 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2915 2048 1111 63 0 2852 0
vsize: 11660
[startup+330.006 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 15145
Raw data (stat): 15143 (bsolo_lpr-v2) R 15142 25568 25567 0 -1 0 70990 0 0 0 32818 190 0 0 25 0 1 0 893550993 12197888 2110 4294967295 134512640 134716908 3221224576 3221220512 1075965234 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2978 2110 1111 63 0 2915 0
vsize: 11912
[startup+340.007 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 15145
Raw data (stat): 15143 (bsolo_lpr-v2) R 15142 25568 25567 0 -1 0 73260 0 0 0 33811 196 0 0 25 0 1 0 893550993 11386880 1999 4294967295 134512640 134716908 3221224576 3221220784 1074815247 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2780 1999 1111 63 0 2717 0
vsize: 11120
[startup+350.007 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 15145
Raw data (stat): 15143 (bsolo_lpr-v2) R 15142 25568 25567 0 -1 0 75242 0 0 0 34807 201 0 0 25 0 1 0 893550993 12087296 2051 4294967295 134512640 134716908 3221224576 3221220736 1075091857 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2951 2051 1111 63 0 2888 0
vsize: 11804
[startup+360.007 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 15145
Raw data (stat): 15143 (bsolo_lpr-v2) R 15142 25568 25567 0 -1 0 77226 0 0 0 35801 208 0 0 25 0 1 0 893550993 11948032 2044 4294967295 134512640 134716908 3221224576 3221220632 1074789711 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2917 2044 1111 63 0 2854 0
vsize: 11668
[startup+370.007 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 15145
Raw data (stat): 15143 (bsolo_lpr-v2) R 15142 25568 25567 0 -1 0 79377 0 0 0 36795 214 0 0 25 0 1 0 893550993 11939840 2137 4294967295 134512640 134716908 3221224576 3221220804 1075115051 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2915 2137 1111 63 0 2852 0
vsize: 11660
[startup+380.007 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 15145
Raw data (stat): 15143 (bsolo_lpr-v2) R 15142 25568 25567 0 -1 0 81608 0 0 0 37790 219 0 0 25 0 1 0 893550993 11571200 2023 4294967295 134512640 134716908 3221224576 3221220704 1075112103 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2825 2023 1111 63 0 2762 0
vsize: 11300
[startup+390.007 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 15145
Raw data (stat): 15143 (bsolo_lpr-v2) R 15142 25568 25567 0 -1 0 83656 0 0 0 38785 225 0 0 25 0 1 0 893550993 11923456 1993 4294967295 134512640 134716908 3221224576 3221221648 1074867305 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2911 1993 1111 63 0 2848 0
vsize: 11644
[startup+400.007 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 15145
Raw data (stat): 15143 (bsolo_lpr-v2) R 15142 25568 25567 0 -1 0 85723 0 0 0 39778 232 0 0 25 0 1 0 893550993 11677696 2076 4294967295 134512640 134716908 3221224576 3221220676 1075964214 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2851 2076 1111 63 0 2788 0
vsize: 11404
[startup+410.008 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 15145
Raw data (stat): 15143 (bsolo_lpr-v2) R 15142 25568 25567 0 -1 0 87970 0 0 0 40771 239 0 0 25 0 1 0 893550993 10977280 1964 4294967295 134512640 134716908 3221224576 3221221660 1077386340 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2680 1964 1111 63 0 2617 0
vsize: 10720
[startup+420.007 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 15145
Raw data (stat): 15143 (bsolo_lpr-v2) R 15142 25568 25567 0 -1 0 90253 0 0 0 41765 246 0 0 25 0 1 0 893550993 12255232 2090 4294967295 134512640 134716908 3221224576 3221220724 1075964401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2992 2090 1111 63 0 2929 0
vsize: 11968
[startup+430.008 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 15145
Raw data (stat): 15143 (bsolo_lpr-v2) R 15142 25568 25567 0 -1 0 92332 0 0 0 42759 252 0 0 25 0 1 0 893550993 12042240 2071 4294967295 134512640 134716908 3221224576 3221220804 1075115046 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2940 2071 1111 63 0 2877 0
vsize: 11760
[startup+440.008 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 15145
Raw data (stat): 15143 (bsolo_lpr-v2) R 15142 25568 25567 0 -1 0 94482 0 0 0 43754 258 0 0 25 0 1 0 893550993 11829248 2112 4294967295 134512640 134716908 3221224576 3221220912 1075114305 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2888 2112 1111 63 0 2825 0
vsize: 11552
[startup+450.008 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 15145
Raw data (stat): 15143 (bsolo_lpr-v2) R 15142 25568 25567 0 -1 0 96679 0 0 0 44748 264 0 0 25 0 1 0 893550993 12201984 2112 4294967295 134512640 134716908 3221224576 3221220660 1075964386 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2979 2112 1111 63 0 2916 0
vsize: 11916
[startup+460.008 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 15145
Raw data (stat): 15143 (bsolo_lpr-v2) R 15142 25568 25567 0 -1 0 98988 0 0 0 45742 270 0 0 25 0 1 0 893550993 12161024 2183 4294967295 134512640 134716908 3221224576 3221221640 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2969 2183 1111 63 0 2906 0
vsize: 11876
[startup+470.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 15145
Raw data (stat): 15143 (bsolo_lpr-v2) R 15142 25568 25567 0 -1 0 100969 0 0 0 46736 276 0 0 25 0 1 0 893550993 12230656 2079 4294967295 134512640 134716908 3221224576 3221220720 1074969970 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2986 2080 1111 63 0 2923 0
vsize: 11944
[startup+480.009 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 15145
Raw data (stat): 15143 (bsolo_lpr-v2) R 15142 25568 25567 0 -1 0 102965 0 0 0 47731 282 0 0 25 0 1 0 893550993 12214272 2095 4294967295 134512640 134716908 3221224576 3221220444 1074787823 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2982 2095 1111 63 0 2919 0
vsize: 11928
[startup+490.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 15145
Raw data (stat): 15143 (bsolo_lpr-v2) R 15142 25568 25567 0 -1 0 104868 0 0 0 48727 286 0 0 25 0 1 0 893550993 10993664 2005 4294967295 134512640 134716908 3221224576 3221222960 1074153800 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2684 2005 1111 63 0 2621 0
vsize: 10736
[startup+500.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 15145
Raw data (stat): 15143 (bsolo_lpr-v2) R 15142 25568 25567 0 -1 0 106933 0 0 0 49721 293 0 0 25 0 1 0 893550993 12050432 2058 4294967295 134512640 134716908 3221224576 3221220720 1074970267 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2942 2058 1111 63 0 2879 0
vsize: 11768
[startup+510.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 15145
Raw data (stat): 15143 (bsolo_lpr-v2) R 15142 25568 25567 0 -1 0 108844 0 0 0 50715 299 0 0 25 0 1 0 893550993 11923456 2149 4294967295 134512640 134716908 3221224576 3221220672 1074969471 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2911 2149 1111 63 0 2848 0
vsize: 11644
[startup+520.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 15145
Raw data (stat): 15143 (bsolo_lpr-v2) R 15142 25568 25567 0 -1 0 110824 0 0 0 51710 305 0 0 25 0 1 0 893550993 12378112 2141 4294967295 134512640 134716908 3221224576 3221220804 1075114960 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3022 2141 1111 63 0 2959 0
vsize: 12088
[startup+530.011 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 15145
Raw data (stat): 15143 (bsolo_lpr-v2) R 15142 25568 25567 0 -1 0 112903 0 0 0 52704 311 0 0 25 0 1 0 893550993 11071488 2024 4294967295 134512640 134716908 3221224576 3221222940 1074064528 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2703 2024 1111 63 0 2640 0
vsize: 10812
[startup+540.011 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 15145
Raw data (stat): 15143 (bsolo_lpr-v2) R 15142 25568 25567 0 -1 0 115239 0 0 0 53698 317 0 0 25 0 1 0 893550993 12304384 2078 4294967295 134512640 134716908 3221224576 3221221616 1075971414 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3004 2083 1111 63 0 2941 0
vsize: 12016
[startup+550.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 15145
Raw data (stat): 15143 (bsolo_lpr-v2) R 15142 25568 25567 0 -1 0 117663 0 0 0 54693 323 0 0 25 0 1 0 893550993 12333056 2132 4294967295 134512640 134716908 3221224576 3221221640 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3011 2132 1111 63 0 2948 0
vsize: 12044
[startup+560.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 15145
Raw data (stat): 15143 (bsolo_lpr-v2) R 15142 25568 25567 0 -1 0 119660 0 0 0 55687 329 0 0 25 0 1 0 893550993 11673600 2127 4294967295 134512640 134716908 3221224576 3221220540 1074788977 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2850 2127 1111 63 0 2787 0
vsize: 11400
[startup+570.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 15145
Raw data (stat): 15143 (bsolo_lpr-v2) R 15142 25568 25567 0 -1 0 121530 0 0 0 56682 334 0 0 25 0 1 0 893550993 12099584 2143 4294967295 134512640 134716908 3221224576 3221220460 1074788968 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2954 2143 1111 63 0 2891 0
vsize: 11816
[startup+580.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 15145
Raw data (stat): 15143 (bsolo_lpr-v2) R 15142 25568 25567 0 -1 0 123801 0 0 0 57677 340 0 0 25 0 1 0 893550993 11952128 2136 4294967295 134512640 134716908 3221224576 3221220460 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2918 2136 1111 63 0 2855 0
vsize: 11672
[startup+590.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 15145
Raw data (stat): 15143 (bsolo_lpr-v2) R 15142 25568 25567 0 -1 0 125803 0 0 0 58671 345 0 0 25 0 1 0 893550993 11247616 2067 4294967295 134512640 134716908 3221224576 3221222872 1074138150 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2746 2067 1111 63 0 2683 0
vsize: 10984
[startup+600.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 15145
Raw data (stat): 15143 (bsolo_lpr-v2) R 15142 25568 25567 0 -1 0 128059 0 0 0 59665 352 0 0 25 0 1 0 893550993 12771328 2238 4294967295 134512640 134716908 3221224576 3221220632 1074789603 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3118 2238 1111 63 0 3055 0
vsize: 12472
[startup+610.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 15145
Raw data (stat): 15143 (bsolo_lpr-v2) R 15142 25568 25567 0 -1 0 129966 0 0 0 60660 357 0 0 25 0 1 0 893550993 12484608 2176 4294967295 134512640 134716908 3221224576 3221220736 1074794655 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3048 2176 1111 63 0 2985 0
vsize: 12192
[startup+620.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 15145
Raw data (stat): 15143 (bsolo_lpr-v2) R 15142 25568 25567 0 -1 0 131846 0 0 0 61655 363 0 0 25 0 1 0 893550993 12464128 2136 4294967295 134512640 134716908 3221224576 3221220720 1074971045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3043 2136 1111 63 0 2980 0
vsize: 12172
[startup+630.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 15145
Raw data (stat): 15143 (bsolo_lpr-v2) R 15142 25568 25567 0 -1 0 134358 0 0 0 62649 369 0 0 25 0 1 0 893550993 12607488 2195 4294967295 134512640 134716908 3221224576 3221220816 1075115715 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3078 2195 1111 63 0 3015 0
vsize: 12312
[startup+640.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 15145
Raw data (stat): 15143 (bsolo_lpr-v2) R 15142 25568 25567 0 -1 0 136399 0 0 0 63643 375 0 0 25 0 1 0 893550993 11362304 2095 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2774 2095 1111 63 0 2711 0
vsize: 11096
[startup+650.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 15145
Raw data (stat): 15143 (bsolo_lpr-v2) R 15142 25568 25567 0 -1 0 138220 0 0 0 64638 381 0 0 25 0 1 0 893550993 11370496 2097 4294967295 134512640 134716908 3221224576 3221222960 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2776 2097 1111 63 0 2713 0
vsize: 11104
[startup+660.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 15145
Raw data (stat): 15143 (bsolo_lpr-v2) R 15142 25568 25567 0 -1 0 140237 0 0 0 65633 387 0 0 25 0 1 0 893550993 11370496 2097 4294967295 134512640 134716908 3221224576 3221222768 1074153792 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2776 2097 1111 63 0 2713 0
vsize: 11104
[startup+670.014 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 15145
Raw data (stat): 15143 (bsolo_lpr-v2) R 15142 25568 25567 0 -1 0 142165 0 0 0 66629 391 0 0 25 0 1 0 893550993 12959744 2297 4294967295 134512640 134716908 3221224576 3221220796 1075116508 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3164 2297 1111 63 0 3101 0
vsize: 12656
[startup+680.014 s]
Raw data (loadavg): 1.07 0.99 0.95 2/54 15145
Raw data (stat): 15143 (bsolo_lpr-v2) R 15142 25568 25567 0 -1 0 144315 0 0 0 67623 397 0 0 25 0 1 0 893550993 12705792 2219 4294967295 134512640 134716908 3221224576 3221220960 1075896001 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3102 2219 1111 63 0 3039 0
vsize: 12408
[startup+690.014 s]
Raw data (loadavg): 1.06 0.99 0.95 2/54 15145
Raw data (stat): 15143 (bsolo_lpr-v2) R 15142 25568 25567 0 -1 0 146233 0 0 0 68619 401 0 0 25 0 1 0 893550993 11431936 2112 4294967295 134512640 134716908 3221224576 3221222976 1074153815 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2791 2112 1111 63 0 2728 0
vsize: 11164
[startup+700.015 s]
Raw data (loadavg): 1.05 0.99 0.95 2/54 15145
Raw data (stat): 15143 (bsolo_lpr-v2) R 15142 25568 25567 0 -1 0 147794 0 0 0 69616 405 0 0 25 0 1 0 893550993 12488704 2182 4294967295 134512640 134716908 3221224576 3221220780 1075564165 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3049 2182 1111 63 0 2986 0
vsize: 12196
[startup+710.016 s]
Raw data (loadavg): 1.04 0.99 0.95 2/54 15145
Raw data (stat): 15143 (bsolo_lpr-v2) R 15142 25568 25567 0 -1 0 149520 0 0 0 70612 409 0 0 25 0 1 0 893550993 12509184 2179 4294967295 134512640 134716908 3221224576 3221220524 1074788953 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3054 2179 1111 63 0 2991 0
vsize: 12216
[startup+720.016 s]
Raw data (loadavg): 1.03 0.99 0.95 2/54 15145
Raw data (stat): 15143 (bsolo_lpr-v2) R 15142 25568 25567 0 -1 0 151573 0 0 0 71607 415 0 0 25 0 1 0 893550993 11431936 2112 4294967295 134512640 134716908 3221224576 3221222976 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2791 2112 1111 63 0 2728 0
vsize: 11164
[startup+730.016 s]
Raw data (loadavg): 1.03 0.99 0.95 2/54 15145
Raw data (stat): 15143 (bsolo_lpr-v2) R 15142 25568 25567 0 -1 0 153355 0 0 0 72602 420 0 0 25 0 1 0 893550993 11431936 2112 4294967295 134512640 134716908 3221224576 3221222976 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2791 2112 1111 63 0 2728 0
vsize: 11164
[startup+740.016 s]
Raw data (loadavg): 1.02 0.99 0.95 2/54 15145
Raw data (stat): 15143 (bsolo_lpr-v2) R 15142 25568 25567 0 -1 0 155728 0 0 0 73595 427 0 0 25 0 1 0 893550993 12292096 2206 4294967295 134512640 134716908 3221224576 3221220736 1075094784 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3001 2206 1111 63 0 2938 0
vsize: 12004
[startup+750.016 s]
Raw data (loadavg): 1.02 0.99 0.95 2/54 15145
Raw data (stat): 15143 (bsolo_lpr-v2) R 15142 25568 25567 0 -1 0 157774 0 0 0 74590 433 0 0 25 0 1 0 893550993 12840960 2232 4294967295 134512640 134716908 3221224576 3221221344 1076083342 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3135 2232 1111 63 0 3072 0
vsize: 12540
[startup+760.017 s]
Raw data (loadavg): 1.02 0.99 0.95 2/54 15145
Raw data (stat): 15143 (bsolo_lpr-v2) R 15142 25568 25567 0 -1 0 159950 0 0 0 75584 439 0 0 25 0 1 0 893550993 12771328 2332 4294967295 134512640 134716908 3221224576 3221220588 1074788953 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3118 2332 1111 63 0 3055 0
vsize: 12472
[startup+770.017 s]
Raw data (loadavg): 1.01 0.99 0.95 2/54 15145
Raw data (stat): 15143 (bsolo_lpr-v2) R 15142 25568 25567 0 -1 0 162695 0 0 0 76576 447 0 0 25 0 1 0 893550993 12386304 2241 4294967295 134512640 134716908 3221224576 3221220460 1074788964 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3024 2241 1111 63 0 2961 0
vsize: 12096
[startup+780.018 s]
Raw data (loadavg): 1.01 0.99 0.95 2/54 15145
Raw data (stat): 15143 (bsolo_lpr-v2) R 15142 25568 25567 0 -1 0 165157 0 0 0 77570 454 0 0 25 0 1 0 893550993 11579392 2121 4294967295 134512640 134716908 3221224576 3221222336 1075823652 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2827 2121 1111 63 0 2764 0
vsize: 11308
[startup+790.018 s]
Raw data (loadavg): 1.01 0.99 0.95 2/54 15145
Raw data (stat): 15143 (bsolo_lpr-v2) R 15142 25568 25567 0 -1 0 167728 0 0 0 78563 461 0 0 25 0 1 0 893550993 12414976 2252 4294967295 134512640 134716908 3221224576 3221220728 1074883062 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3031 2252 1111 63 0 2968 0
vsize: 12124
[startup+800.018 s]
Raw data (loadavg): 1.01 0.99 0.95 2/54 15145
Raw data (stat): 15143 (bsolo_lpr-v2) R 15142 25568 25567 0 -1 0 170242 0 0 0 79558 466 0 0 25 0 1 0 893550993 11747328 2189 4294967295 134512640 134716908 3221224576 3221222904 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2868 2189 1111 63 0 2805 0
vsize: 11472
[startup+810.018 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 15145
Raw data (stat): 15143 (bsolo_lpr-v2) R 15142 25568 25567 0 -1 0 172390 0 0 0 80552 472 0 0 25 0 1 0 893550993 12984320 2387 4294967295 134512640 134716908 3221224576 3221220544 1074872805 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3170 2387 1111 63 0 3107 0
vsize: 12680
[startup+820.019 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 15145
Raw data (stat): 15143 (bsolo_lpr-v2) R 15142 25568 25567 0 -1 0 174371 0 0 0 81546 479 0 0 25 0 1 0 893550993 12976128 2291 4294967295 134512640 134716908 3221224576 3221220472 1074789596 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3168 2291 1111 63 0 3105 0
vsize: 12672
[startup+830.019 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 15145
Raw data (stat): 15143 (bsolo_lpr-v2) R 15142 25568 25567 0 -1 0 176516 0 0 0 82541 484 0 0 25 0 1 0 893550993 13012992 2303 4294967295 134512640 134716908 3221224576 3221221016 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3177 2303 1111 63 0 3114 0
vsize: 12708
[startup+840.019 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 15145
Raw data (stat): 15143 (bsolo_lpr-v2) R 15142 25568 25567 0 -1 0 178636 0 0 0 83536 490 0 0 25 0 1 0 893550993 12779520 2376 4294967295 134512640 134716908 3221224576 3221220592 1075084533 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3120 2376 1111 63 0 3057 0
vsize: 12480
[startup+850.019 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 15145
Raw data (stat): 15143 (bsolo_lpr-v2) R 15142 25568 25567 0 -1 0 180413 0 0 0 84531 495 0 0 25 0 1 0 893550993 12648448 2313 4294967295 134512640 134716908 3221224576 3221220736 1075093350 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3088 2313 1111 63 0 3025 0
vsize: 12352
[startup+860.019 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 15145
Raw data (stat): 15143 (bsolo_lpr-v2) R 15142 25568 25567 0 -1 0 182596 0 0 0 85526 501 0 0 25 0 1 0 893550993 12722176 2341 4294967295 134512640 134716908 3221224576 3221220800 1074960896 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3106 2341 1111 63 0 3043 0
vsize: 12424
[startup+870.019 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 15145
Raw data (stat): 15143 (bsolo_lpr-v2) R 15142 25568 25567 0 -1 0 184544 0 0 0 86521 505 0 0 25 0 1 0 893550993 13348864 2355 4294967295 134512640 134716908 3221224576 3221220524 1074788937 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3259 2355 1111 63 0 3196 0
vsize: 13036
[startup+880.02 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 15145
Raw data (stat): 15143 (bsolo_lpr-v2) R 15142 25568 25567 0 -1 0 186481 0 0 0 87516 511 0 0 25 0 1 0 893550993 13348864 2357 4294967295 134512640 134716908 3221224576 3221221388 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3259 2357 1111 63 0 3196 0
vsize: 13036
[startup+890.021 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 15145
Raw data (stat): 15143 (bsolo_lpr-v2) R 15142 25568 25567 0 -1 0 188667 0 0 0 88511 517 0 0 25 0 1 0 893550993 13447168 2421 4294967295 134512640 134716908 3221224576 3221220632 1074789701 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3283 2421 1111 63 0 3220 0
vsize: 13132
[startup+900.021 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 15145
Raw data (stat): 15143 (bsolo_lpr-v2) R 15142 25568 25567 0 -1 0 190530 0 0 0 89506 522 0 0 25 0 1 0 893550993 12095488 2274 4294967295 134512640 134716908 3221224576 3221222488 1077378644 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2953 2274 1111 63 0 2890 0
vsize: 11812
[startup+910.021 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 15145
Raw data (stat): 15143 (bsolo_lpr-v2) R 15142 25568 25567 0 -1 0 192580 0 0 0 90501 527 0 0 25 0 1 0 893550993 13213696 2327 4294967295 134512640 134716908 3221224576 3221220848 1074961304 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3226 2327 1111 63 0 3163 0
vsize: 12904
[startup+920.022 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 15145
Raw data (stat): 15143 (bsolo_lpr-v2) R 15142 25568 25567 0 -1 0 194601 0 0 0 91496 533 0 0 25 0 1 0 893550993 13250560 2370 4294967295 134512640 134716908 3221224576 3221220660 1075964406 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3235 2370 1111 63 0 3172 0
vsize: 12940
[startup+930.022 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 15145
Raw data (stat): 15143 (bsolo_lpr-v2) R 15142 25568 25567 0 -1 0 196213 0 0 0 92491 538 0 0 25 0 1 0 893550993 13275136 2356 4294967295 134512640 134716908 3221224576 3221221648 1074867331 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3241 2356 1111 63 0 3178 0
vsize: 12964
[startup+940.023 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 15145
Raw data (stat): 15143 (bsolo_lpr-v2) R 15142 25568 25567 0 -1 0 198022 0 0 0 93486 543 0 0 25 0 1 0 893550993 11976704 2245 4294967295 134512640 134716908 3221224576 3221222976 1074153749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2924 2245 1111 63 0 2861 0
vsize: 11696
[startup+950.023 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 15145
Raw data (stat): 15143 (bsolo_lpr-v2) R 15142 25568 25567 0 -1 0 199892 0 0 0 94482 548 0 0 25 0 1 0 893550993 13475840 2418 4294967295 134512640 134716908 3221224576 3221220524 1074788964 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3290 2418 1111 63 0 3227 0
vsize: 13160
[startup+960.024 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 15145
Raw data (stat): 15143 (bsolo_lpr-v2) R 15142 25568 25567 0 -1 0 201886 0 0 0 95477 553 0 0 25 0 1 0 893550993 11976704 2245 4294967295 134512640 134716908 3221224576 3221222976 1074153660 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2924 2245 1111 63 0 2861 0
vsize: 11696
[startup+970.024 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 15145
Raw data (stat): 15143 (bsolo_lpr-v2) R 15142 25568 25567 0 -1 0 203866 0 0 0 96472 558 0 0 25 0 1 0 893550993 11976704 2245 4294967295 134512640 134716908 3221224576 3221222960 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2924 2245 1111 63 0 2861 0
vsize: 11696
[startup+980.024 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 15145
Raw data (stat): 15143 (bsolo_lpr-v2) R 15142 25568 25567 0 -1 0 205781 0 0 0 97468 563 0 0 25 0 1 0 893550993 13381632 2469 4294967295 134512640 134716908 3221224576 3221221116 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3267 2469 1111 63 0 3204 0
vsize: 13068
[startup+990.024 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 15145
Raw data (stat): 15143 (bsolo_lpr-v2) R 15142 25568 25567 0 -1 0 207426 0 0 0 98464 567 0 0 25 0 1 0 893550993 12128256 2282 4294967295 134512640 134716908 3221224576 3221222976 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2961 2282 1111 63 0 2898 0
vsize: 11844
[startup+1000.02 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 15145
Raw data (stat): 15143 (bsolo_lpr-v2) R 15142 25568 25567 0 -1 0 209161 0 0 0 99459 572 0 0 25 0 1 0 893550993 13377536 2347 4294967295 134512640 134716908 3221224576 3221221232 1075967895 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3266 2348 1111 63 0 3203 0
vsize: 13064
[startup+1010.02 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 15145
Raw data (stat): 15143 (bsolo_lpr-v2) R 15142 25568 25567 0 -1 0 211029 0 0 0 100455 577 0 0 25 0 1 0 893550993 13721600 2451 4294967295 134512640 134716908 3221224576 3221220524 1074788950 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3350 2451 1111 63 0 3287 0
vsize: 13400
[startup+1020.02 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 15145
Raw data (stat): 15143 (bsolo_lpr-v2) R 15142 25568 25567 0 -1 0 212768 0 0 0 101450 582 0 0 25 0 1 0 893550993 12115968 2279 4294967295 134512640 134716908 3221224576 3221222880 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2958 2279 1111 63 0 2895 0
vsize: 11832
[startup+1030.03 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 15145
Raw data (stat): 15143 (bsolo_lpr-v2) R 15142 25568 25567 0 -1 0 214568 0 0 0 102446 587 0 0 25 0 1 0 893550993 13721600 2463 4294967295 134512640 134716908 3221224576 3221220416 1075965307 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3350 2463 1111 63 0 3287 0
vsize: 13400
[startup+1040.02 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 15145
Raw data (stat): 15143 (bsolo_lpr-v2) R 15142 25568 25567 0 -1 0 216247 0 0 0 103441 592 0 0 25 0 1 0 893550993 13074432 2417 4294967295 134512640 134716908 3221224576 3221221088 1075084528 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3192 2417 1111 63 0 3129 0
vsize: 12768
[startup+1050.03 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 15145
Raw data (stat): 15143 (bsolo_lpr-v2) R 15142 25568 25567 0 -1 0 218205 0 0 0 104434 599 0 0 25 0 1 0 893550993 13074432 2419 4294967295 134512640 134716908 3221224576 3221220460 1074788964 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3192 2419 1111 63 0 3129 0
vsize: 12768
[startup+1060.03 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 15145
Raw data (stat): 15143 (bsolo_lpr-v2) R 15142 25568 25567 0 -1 0 220067 0 0 0 105430 604 0 0 25 0 1 0 893550993 13664256 2440 4294967295 134512640 134716908 3221224576 3221220796 1075116866 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3336 2440 1111 63 0 3273 0
vsize: 13344
[startup+1070.03 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 15145
Raw data (stat): 15143 (bsolo_lpr-v2) R 15142 25568 25567 0 -1 0 222120 0 0 0 106426 608 0 0 25 0 1 0 893550993 13496320 2430 4294967295 134512640 134716908 3221224576 3221221232 1075967926 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3295 2430 1111 63 0 3232 0
vsize: 13180
[startup+1080.03 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 15145
Raw data (stat): 15143 (bsolo_lpr-v2) R 15142 25568 25567 0 -1 0 224057 0 0 0 107420 614 0 0 25 0 1 0 893550993 13451264 2502 4294967295 134512640 134716908 3221224576 3221220588 1074788950 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3284 2502 1111 63 0 3221 0
vsize: 13136
[startup+1090.03 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 15145
Raw data (stat): 15143 (bsolo_lpr-v2) R 15142 25568 25567 0 -1 0 225854 0 0 0 108415 620 0 0 25 0 1 0 893550993 12292096 2322 4294967295 134512640 134716908 3221224576 3221222880 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3001 2322 1111 63 0 2938 0
vsize: 12004
[startup+1100.03 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 15145
Raw data (stat): 15143 (bsolo_lpr-v2) R 15142 25568 25567 0 -1 0 227700 0 0 0 109411 624 0 0 25 0 1 0 893550993 13201408 2442 4294967295 134512640 134716908 3221224576 3221220588 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3223 2442 1111 63 0 3160 0
vsize: 12892
[startup+1110.03 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 15145
Raw data (stat): 15143 (bsolo_lpr-v2) R 15142 25568 25567 0 -1 0 229670 0 0 0 110405 630 0 0 25 0 1 0 893550993 13340672 2448 4294967295 134512640 134716908 3221224576 3221221000 1075111356 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3257 2448 1111 63 0 3194 0
vsize: 13028
[startup+1120.03 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 15145
Raw data (stat): 15143 (bsolo_lpr-v2) R 15142 25568 25567 0 -1 0 231698 0 0 0 111400 636 0 0 25 0 1 0 893550993 13283328 2449 4294967295 134512640 134716908 3221224576 3221221024 1075132497 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3243 2449 1111 63 0 3180 0
vsize: 12972
[startup+1130.03 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 15145
Raw data (stat): 15143 (bsolo_lpr-v2) R 15142 25568 25567 0 -1 0 233537 0 0 0 112395 641 0 0 25 0 1 0 893550993 13627392 2458 4294967295 134512640 134716908 3221224576 3221220704 1075561100 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3327 2458 1111 63 0 3264 0
vsize: 13308
[startup+1140.03 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 15145
Raw data (stat): 15143 (bsolo_lpr-v2) R 15142 25568 25567 0 -1 0 235350 0 0 0 113390 646 0 0 25 0 1 0 893550993 13668352 2538 4294967295 134512640 134716908 3221224576 3221221616 1075971386 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3337 2538 1111 63 0 3274 0
vsize: 13348
[startup+1150.03 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 15145
Raw data (stat): 15143 (bsolo_lpr-v2) R 15142 25568 25567 0 -1 0 237031 0 0 0 114386 651 0 0 25 0 1 0 893550993 13557760 2432 4294967295 134512640 134716908 3221224576 3221220524 1074788953 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3310 2432 1111 63 0 3247 0
vsize: 13240
[startup+1160.03 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 15145
Raw data (stat): 15143 (bsolo_lpr-v2) R 15142 25568 25567 0 -1 0 238674 0 0 0 115383 655 0 0 25 0 1 0 893550993 13348864 2466 4294967295 134512640 134716908 3221224576 3221220568 1075964771 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3259 2466 1111 63 0 3196 0
vsize: 13036
[startup+1170.03 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 15145
Raw data (stat): 15143 (bsolo_lpr-v2) R 15142 25568 25567 0 -1 0 240488 0 0 0 116379 659 0 0 25 0 1 0 893550993 12812288 2405 4294967295 134512640 134716908 3221224576 3221222496 1075799723 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3128 2405 1111 63 0 3065 0
vsize: 12512
[startup+1177.93 s]
Raw data (loadavg): 1.00 0.99 0.95 1/53 15145
Raw data (stat): 15143 (bsolo_lpr-v2) R 15142 25568 25567 0 -1 0 240488 0 0 0 116379 659 0 0 25 0 1 0 893550993 12812288 2405 4294967295 134512640 134716908 3221224576 3221222496 1075799723 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3128 2405 1111 63 0 3065 0
vsize: 0

Child status: 0
Real time (s): 1177.93
CPU time (s): 1178.29
CPU user time (s): 1171.64
CPU system time (s): 6.64799
CPU usage (%): 100.03
Max. virtual memory (Kb): 13400
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####