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.nlsde.buaa.edu.cn/~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-1.opb
MD5SUM	42c2d619b73aa24781f1b54bddde28cc
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-44
Optimality of the best value was proved	NO
Number of terms in the objective function	1534
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	1534
Number of bits of the sum of numbers in the objective function	11
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	1534
Number of bits of the biggest sum of numbers	11
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.13
Number of variables	1534
Total number of constraints	126555
Number of constraints which are clauses	126555
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	2
Trace number 39725

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-06-07 18:13:15 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27791 boxname=wulflinc5 idbench=349 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  42c2d619b73aa24781f1b54bddde28cc  /oldhome/oroussel/tmp/wulflinc5/normalized-frb59-26-1.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc5/normalized-frb59-26-1.opb
IDLAUNCH: 27791
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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.007
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:        886084 kB
Buffers:         33736 kB
Cached:          90032 kB
SwapCached:        604 kB
Active:          33920 kB
Inactive:        91888 kB
HighTotal:      131008 kB
HighFree:        95620 kB
LowTotal:       903652 kB
LowFree:        790464 kB
SwapTotal:     2097136 kB
SwapFree:      2095596 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5160 kB
Slab:            17092 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-07 18:33:17 (client local time) WITH STATUS 0 IN 1200.16 SECONDS
stats: 27791 7 1200.16 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 1534 variables and 126555 constraints.
c After prepocess the problem consists of 1534 variables and 88839 constraints.
c preprocess terminated 1053.03 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.85 0.96 0.93 2/54 7137
Raw data (stat): 7137 (runsolver) R 7136 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 895063374 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.0013 s]
Raw data (loadavg): 0.87 0.97 0.93 2/54 7137
Raw data (stat): 7137 (bsolo_lpr-v2) R 7136 7266 7265 0 -1 0 11063 0 0 0 967 30 0 0 25 0 1 0 895063374 58474496 10983 4294967295 134512640 134716908 3221224576 3221222880 134566810 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14276 10983 1111 63 0 14213 0
vsize: 57104
[startup+20.0019 s]
Raw data (loadavg): 0.89 0.97 0.93 2/54 7137
Raw data (stat): 7137 (bsolo_lpr-v2) R 7136 7266 7265 0 -1 0 43275 0 0 0 1884 114 0 0 25 0 1 0 895063374 180408320 43190 4294967295 134512640 134716908 3221224576 3221222908 134535956 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44045 43190 1111 63 0 43982 0
vsize: 176180
[startup+30.0022 s]
Raw data (loadavg): 0.91 0.97 0.93 2/54 7137
Raw data (stat): 7137 (bsolo_lpr-v2) R 7136 7266 7265 0 -1 0 49548 0 0 0 2870 127 0 0 25 0 1 0 895063374 190394368 45619 4294967295 134512640 134716908 3221224576 3221223204 1076647869 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46483 45619 1111 63 0 46420 0
vsize: 185932
[startup+40.0024 s]
Raw data (loadavg): 0.92 0.97 0.93 2/54 7137
Raw data (stat): 7137 (bsolo_lpr-v2) R 7136 7266 7265 0 -1 0 52842 0 0 0 3863 134 0 0 25 0 1 0 895063374 196022272 47005 4294967295 134512640 134716908 3221224576 3221222988 134543588 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47857 47005 1111 63 0 47794 0
vsize: 191428
[startup+50.0036 s]
Raw data (loadavg): 0.93 0.97 0.93 2/54 7137
Raw data (stat): 7137 (bsolo_lpr-v2) R 7136 7266 7265 0 -1 0 56459 0 0 0 4855 142 0 0 25 0 1 0 895063374 209006592 50156 4294967295 134512640 134716908 3221224576 3221223192 134543796 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51027 50156 1111 63 0 50964 0
vsize: 204108
[startup+60.0035 s]
Raw data (loadavg): 0.94 0.97 0.93 2/54 7137
Raw data (stat): 7137 (bsolo_lpr-v2) R 7136 7266 7265 0 -1 0 56459 0 0 0 5855 143 0 0 25 0 1 0 895063374 209006592 50156 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51027 50156 1111 63 0 50964 0
vsize: 204108
[startup+70.0047 s]
Raw data (loadavg): 0.95 0.97 0.93 2/54 7137
Raw data (stat): 7137 (bsolo_lpr-v2) R 7136 7266 7265 0 -1 0 56459 0 0 0 6855 143 0 0 25 0 1 0 895063374 209006592 50156 4294967295 134512640 134716908 3221224576 3221222968 1077378310 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51027 50156 1111 63 0 50964 0
vsize: 204108
[startup+80.0054 s]
Raw data (loadavg): 0.96 0.97 0.93 2/54 7137
Raw data (stat): 7137 (bsolo_lpr-v2) R 7136 7266 7265 0 -1 0 56459 0 0 0 7855 143 0 0 25 0 1 0 895063374 209006592 50156 4294967295 134512640 134716908 3221224576 3221222992 134542677 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51027 50156 1111 63 0 50964 0
vsize: 204108
[startup+90.0057 s]
Raw data (loadavg): 0.96 0.97 0.93 2/54 7137
Raw data (stat): 7137 (bsolo_lpr-v2) R 7136 7266 7265 0 -1 0 56459 0 0 0 8854 144 0 0 25 0 1 0 895063374 209006592 50156 4294967295 134512640 134716908 3221224576 3221223216 134606495 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51027 50156 1111 63 0 50964 0
vsize: 204108
[startup+100.007 s]
Raw data (loadavg): 0.97 0.97 0.93 2/54 7137
Raw data (stat): 7137 (bsolo_lpr-v2) R 7136 7266 7265 0 -1 0 56459 0 0 0 9854 144 0 0 25 0 1 0 895063374 209006592 50156 4294967295 134512640 134716908 3221224576 3221222960 134542347 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51027 50156 1111 63 0 50964 0
vsize: 204108
[startup+110.007 s]
Raw data (loadavg): 0.97 0.97 0.93 2/54 7137
Raw data (stat): 7137 (bsolo_lpr-v2) R 7136 7266 7265 0 -1 0 56459 0 0 0 10854 144 0 0 25 0 1 0 895063374 209006592 50156 4294967295 134512640 134716908 3221224576 3221223216 134606495 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51027 50156 1111 63 0 50964 0
vsize: 204108
[startup+120.008 s]
Raw data (loadavg): 0.98 0.97 0.93 2/54 7137
Raw data (stat): 7137 (bsolo_lpr-v2) R 7136 7266 7265 0 -1 0 56459 0 0 0 11853 145 0 0 25 0 1 0 895063374 209006592 50156 4294967295 134512640 134716908 3221224576 3221223192 134543804 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51027 50156 1111 63 0 50964 0
vsize: 204108
[startup+130.008 s]
Raw data (loadavg): 0.98 0.97 0.93 2/54 7137
Raw data (stat): 7137 (bsolo_lpr-v2) R 7136 7266 7265 0 -1 0 56459 0 0 0 12853 145 0 0 25 0 1 0 895063374 209006592 50156 4294967295 134512640 134716908 3221224576 3221222968 134542295 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51027 50156 1111 63 0 50964 0
vsize: 204108
[startup+140.009 s]
Raw data (loadavg): 0.98 0.97 0.93 2/54 7137
Raw data (stat): 7137 (bsolo_lpr-v2) R 7136 7266 7265 0 -1 0 56459 0 0 0 13853 145 0 0 25 0 1 0 895063374 209006592 50156 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51027 50156 1111 63 0 50964 0
vsize: 204108
[startup+150.01 s]
Raw data (loadavg): 0.98 0.97 0.93 2/54 7137
Raw data (stat): 7137 (bsolo_lpr-v2) R 7136 7266 7265 0 -1 0 56459 0 0 0 14853 146 0 0 25 0 1 0 895063374 209006592 50156 4294967295 134512640 134716908 3221224576 3221223044 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51027 50156 1111 63 0 50964 0
vsize: 204108
[startup+160.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7137
Raw data (stat): 7137 (bsolo_lpr-v2) R 7136 7266 7265 0 -1 0 56459 0 0 0 15852 146 0 0 25 0 1 0 895063374 209006592 50156 4294967295 134512640 134716908 3221224576 3221223152 134535844 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51027 50156 1111 63 0 50964 0
vsize: 204108
[startup+170.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7137
Raw data (stat): 7137 (bsolo_lpr-v2) R 7136 7266 7265 0 -1 0 56459 0 0 0 16852 146 0 0 25 0 1 0 895063374 209006592 50156 4294967295 134512640 134716908 3221224576 3221223056 134542303 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51027 50156 1111 63 0 50964 0
vsize: 204108
[startup+180.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7137
Raw data (stat): 7137 (bsolo_lpr-v2) R 7136 7266 7265 0 -1 0 56459 0 0 0 17852 146 0 0 25 0 1 0 895063374 209006592 50156 4294967295 134512640 134716908 3221224576 3221223080 134543600 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51027 50156 1111 63 0 50964 0
vsize: 204108
[startup+190.011 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7137
Raw data (stat): 7137 (bsolo_lpr-v2) R 7136 7266 7265 0 -1 0 56459 0 0 0 18852 146 0 0 25 0 1 0 895063374 209006592 50156 4294967295 134512640 134716908 3221224576 3221223192 134543804 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51027 50156 1111 63 0 50964 0
vsize: 204108
[startup+200.011 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7137
Raw data (stat): 7137 (bsolo_lpr-v2) R 7136 7266 7265 0 -1 0 56459 0 0 0 19852 146 0 0 25 0 1 0 895063374 209006592 50156 4294967295 134512640 134716908 3221224576 3221223188 134529275 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51027 50156 1111 63 0 50964 0
vsize: 204108
[startup+210.012 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7137
Raw data (stat): 7137 (bsolo_lpr-v2) R 7136 7266 7265 0 -1 0 56459 0 0 0 20851 147 0 0 25 0 1 0 895063374 209006592 50156 4294967295 134512640 134716908 3221224576 3221223056 134542347 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51027 50156 1111 63 0 50964 0
vsize: 204108
[startup+220.012 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7137
Raw data (stat): 7137 (bsolo_lpr-v2) R 7136 7266 7265 0 -1 0 56459 0 0 0 21851 147 0 0 25 0 1 0 895063374 209006592 50156 4294967295 134512640 134716908 3221224576 3221223040 134542303 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51027 50156 1111 63 0 50964 0
vsize: 204108
[startup+230.012 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7137
Raw data (stat): 7137 (bsolo_lpr-v2) R 7136 7266 7265 0 -1 0 56459 0 0 0 22851 147 0 0 25 0 1 0 895063374 209006592 50156 4294967295 134512640 134716908 3221224576 3221222968 134543600 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51027 50156 1111 63 0 50964 0
vsize: 204108
[startup+240.012 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7137
Raw data (stat): 7137 (bsolo_lpr-v2) R 7136 7266 7265 0 -1 0 56459 0 0 0 23851 148 0 0 25 0 1 0 895063374 209006592 50156 4294967295 134512640 134716908 3221224576 3221223056 134539376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51027 50156 1111 63 0 50964 0
vsize: 204108
[startup+250.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7137
Raw data (stat): 7137 (bsolo_lpr-v2) R 7136 7266 7265 0 -1 0 56459 0 0 0 24850 148 0 0 25 0 1 0 895063374 209006592 50156 4294967295 134512640 134716908 3221224576 3221222940 134539262 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51027 50156 1111 63 0 50964 0
vsize: 204108
[startup+260.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7137
Raw data (stat): 7137 (bsolo_lpr-v2) R 7136 7266 7265 0 -1 0 56459 0 0 0 25850 148 0 0 25 0 1 0 895063374 209006592 50156 4294967295 134512640 134716908 3221224576 3221222960 134542303 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51027 50156 1111 63 0 50964 0
vsize: 204108
[startup+270.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7137
Raw data (stat): 7137 (bsolo_lpr-v2) R 7136 7266 7265 0 -1 0 56459 0 0 0 26850 149 0 0 25 0 1 0 895063374 209006592 50156 4294967295 134512640 134716908 3221224576 3221223192 134543785 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51027 50156 1111 63 0 50964 0
vsize: 204108
[startup+280.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7137
Raw data (stat): 7137 (bsolo_lpr-v2) R 7136 7266 7265 0 -1 0 56459 0 0 0 27850 149 0 0 25 0 1 0 895063374 209006592 50156 4294967295 134512640 134716908 3221224576 3221223192 134543793 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51027 50156 1111 63 0 50964 0
vsize: 204108
[startup+290.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7137
Raw data (stat): 7137 (bsolo_lpr-v2) R 7136 7266 7265 0 -1 0 56459 0 0 0 28850 149 0 0 25 0 1 0 895063374 209006592 50156 4294967295 134512640 134716908 3221224576 3221222984 134543606 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51027 50156 1111 63 0 50964 0
vsize: 204108
[startup+300.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7137
Raw data (stat): 7137 (bsolo_lpr-v2) R 7136 7266 7265 0 -1 0 56459 0 0 0 29850 149 0 0 25 0 1 0 895063374 209006592 50156 4294967295 134512640 134716908 3221224576 3221223056 134539374 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51027 50156 1111 63 0 50964 0
vsize: 204108
[startup+310.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7137
Raw data (stat): 7137 (bsolo_lpr-v2) R 7136 7266 7265 0 -1 0 56459 0 0 0 30849 150 0 0 25 0 1 0 895063374 209006592 50156 4294967295 134512640 134716908 3221224576 3221223216 134606484 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51027 50156 1111 63 0 50964 0
vsize: 204108
[startup+320.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7137
Raw data (stat): 7137 (bsolo_lpr-v2) R 7136 7266 7265 0 -1 0 56459 0 0 0 31849 150 0 0 25 0 1 0 895063374 209006592 50156 4294967295 134512640 134716908 3221224576 3221223056 134542350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51027 50156 1111 63 0 50964 0
vsize: 204108
[startup+330.015 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7137
Raw data (stat): 7137 (bsolo_lpr-v2) R 7136 7266 7265 0 -1 0 56459 0 0 0 32849 150 0 0 25 0 1 0 895063374 209006592 50156 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51027 50156 1111 63 0 50964 0
vsize: 204108
[startup+340.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7137
Raw data (stat): 7137 (bsolo_lpr-v2) R 7136 7266 7265 0 -1 0 56459 0 0 0 33848 151 0 0 25 0 1 0 895063374 209006592 50156 4294967295 134512640 134716908 3221224576 3221223056 134539374 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51027 50156 1111 63 0 50964 0
vsize: 204108
[startup+350.015 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7137
Raw data (stat): 7137 (bsolo_lpr-v2) R 7136 7266 7265 0 -1 0 56459 0 0 0 34848 151 0 0 25 0 1 0 895063374 209006592 50156 4294967295 134512640 134716908 3221224576 3221222940 134539235 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51027 50156 1111 63 0 50964 0
vsize: 204108
[startup+360.016 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7137
Raw data (stat): 7137 (bsolo_lpr-v2) R 7136 7266 7265 0 -1 0 56459 0 0 0 35848 151 0 0 25 0 1 0 895063374 209006592 50156 4294967295 134512640 134716908 3221224576 3221222940 134539235 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51027 50156 1111 63 0 50964 0
vsize: 204108
[startup+370.016 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7137
Raw data (stat): 7137 (bsolo_lpr-v2) R 7136 7266 7265 0 -1 0 56459 0 0 0 36848 152 0 0 25 0 1 0 895063374 209006592 50156 4294967295 134512640 134716908 3221224576 3221223152 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51027 50156 1111 63 0 50964 0
vsize: 204108
[startup+380.016 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7137
Raw data (stat): 7137 (bsolo_lpr-v2) R 7136 7266 7265 0 -1 0 56459 0 0 0 37848 152 0 0 25 0 1 0 895063374 209006592 50156 4294967295 134512640 134716908 3221224576 3221223152 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51027 50156 1111 63 0 50964 0
vsize: 204108
[startup+390.016 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7137
Raw data (stat): 7137 (bsolo_lpr-v2) R 7136 7266 7265 0 -1 0 56459 0 0 0 38847 152 0 0 25 0 1 0 895063374 209006592 50156 4294967295 134512640 134716908 3221224576 3221223056 134539376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51027 50156 1111 63 0 50964 0
vsize: 204108
[startup+400.017 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7137
Raw data (stat): 7137 (bsolo_lpr-v2) R 7136 7266 7265 0 -1 0 56459 0 0 0 39847 153 0 0 25 0 1 0 895063374 209006592 50156 4294967295 134512640 134716908 3221224576 3221223192 134543804 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51027 50156 1111 63 0 50964 0
vsize: 204108
[startup+410.017 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7137
Raw data (stat): 7137 (bsolo_lpr-v2) R 7136 7266 7265 0 -1 0 56459 0 0 0 40847 153 0 0 25 0 1 0 895063374 209006592 50156 4294967295 134512640 134716908 3221224576 3221223056 134539462 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51027 50156 1111 63 0 50964 0
vsize: 204108
[startup+420.016 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7137
Raw data (stat): 7137 (bsolo_lpr-v2) R 7136 7266 7265 0 -1 0 56459 0 0 0 41847 153 0 0 25 0 1 0 895063374 209006592 50156 4294967295 134512640 134716908 3221224576 3221223216 134594970 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51027 50156 1111 63 0 50964 0
vsize: 204108
[startup+430.017 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7137
Raw data (stat): 7137 (bsolo_lpr-v2) R 7136 7266 7265 0 -1 0 56459 0 0 0 42846 154 0 0 25 0 1 0 895063374 209006592 50156 4294967295 134512640 134716908 3221224576 3221223152 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51027 50156 1111 63 0 50964 0
vsize: 204108
[startup+440.017 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7137
Raw data (stat): 7137 (bsolo_lpr-v2) R 7136 7266 7265 0 -1 0 56459 0 0 0 43846 154 0 0 25 0 1 0 895063374 209006592 50156 4294967295 134512640 134716908 3221224576 3221222960 134542303 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51027 50156 1111 63 0 50964 0
vsize: 204108
[startup+450.018 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7137
Raw data (stat): 7137 (bsolo_lpr-v2) R 7136 7266 7265 0 -1 0 56459 0 0 0 44846 154 0 0 25 0 1 0 895063374 209006592 50156 4294967295 134512640 134716908 3221224576 3221223304 134543552 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51027 50156 1111 63 0 50964 0
vsize: 204108
[startup+460.017 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7137
Raw data (stat): 7137 (bsolo_lpr-v2) R 7136 7266 7265 0 -1 0 56459 0 0 0 45845 155 0 0 25 0 1 0 895063374 209006592 50156 4294967295 134512640 134716908 3221224576 3221222960 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51027 50156 1111 63 0 50964 0
vsize: 204108
[startup+470.017 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7137
Raw data (stat): 7137 (bsolo_lpr-v2) R 7136 7266 7265 0 -1 0 56459 0 0 0 46845 155 0 0 25 0 1 0 895063374 209006592 50156 4294967295 134512640 134716908 3221224576 3221222956 134539208 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51027 50156 1111 63 0 50964 0
vsize: 204108
[startup+480.017 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7137
Raw data (stat): 7137 (bsolo_lpr-v2) R 7136 7266 7265 0 -1 0 56459 0 0 0 47845 156 0 0 25 0 1 0 895063374 209006592 50156 4294967295 134512640 134716908 3221224576 3221223192 134543793 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51027 50156 1111 63 0 50964 0
vsize: 204108
[startup+490.017 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7137
Raw data (stat): 7137 (bsolo_lpr-v2) R 7136 7266 7265 0 -1 0 56459 0 0 0 48844 156 0 0 25 0 1 0 895063374 209006592 50156 4294967295 134512640 134716908 3221224576 3221223044 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51027 50156 1111 63 0 50964 0
vsize: 204108
[startup+500.018 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7137
Raw data (stat): 7137 (bsolo_lpr-v2) R 7136 7266 7265 0 -1 0 56459 0 0 0 49844 157 0 0 25 0 1 0 895063374 209006592 50156 4294967295 134512640 134716908 3221224576 3221222960 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51027 50156 1111 63 0 50964 0
vsize: 204108
[startup+510.018 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7137
Raw data (stat): 7137 (bsolo_lpr-v2) R 7136 7266 7265 0 -1 0 56459 0 0 0 50844 157 0 0 25 0 1 0 895063374 209006592 50156 4294967295 134512640 134716908 3221224576 3221222984 134543600 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51027 50156 1111 63 0 50964 0
vsize: 204108
[startup+520.018 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7137
Raw data (stat): 7137 (bsolo_lpr-v2) R 7136 7266 7265 0 -1 0 56459 0 0 0 51844 157 0 0 25 0 1 0 895063374 209006592 50156 4294967295 134512640 134716908 3221224576 3221223192 134543796 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51027 50156 1111 63 0 50964 0
vsize: 204108
[startup+530.018 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7137
Raw data (stat): 7137 (bsolo_lpr-v2) R 7136 7266 7265 0 -1 0 56459 0 0 0 52843 158 0 0 25 0 1 0 895063374 209006592 50156 4294967295 134512640 134716908 3221224576 3221222984 134543606 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51027 50156 1111 63 0 50964 0
vsize: 204108
[startup+540.018 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7137
Raw data (stat): 7137 (bsolo_lpr-v2) R 7136 7266 7265 0 -1 0 56459 0 0 0 53842 158 0 0 25 0 1 0 895063374 209006592 50156 4294967295 134512640 134716908 3221224576 3221223056 134539376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51027 50156 1111 63 0 50964 0
vsize: 204108
[startup+550.019 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7137
Raw data (stat): 7137 (bsolo_lpr-v2) R 7136 7266 7265 0 -1 0 56459 0 0 0 54842 158 0 0 25 0 1 0 895063374 209006592 50156 4294967295 134512640 134716908 3221224576 3221222940 134539235 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51027 50156 1111 63 0 50964 0
vsize: 204108
[startup+560.019 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7137
Raw data (stat): 7137 (bsolo_lpr-v2) R 7136 7266 7265 0 -1 0 56459 0 0 0 55842 159 0 0 25 0 1 0 895063374 209006592 50156 4294967295 134512640 134716908 3221224576 3221223056 134539460 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51027 50156 1111 63 0 50964 0
vsize: 204108
[startup+570.019 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7137
Raw data (stat): 7137 (bsolo_lpr-v2) R 7136 7266 7265 0 -1 0 56459 0 0 0 56842 159 0 0 25 0 1 0 895063374 209006592 50156 4294967295 134512640 134716908 3221224576 3221223204 134594953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51027 50156 1111 63 0 50964 0
vsize: 204108
[startup+580.019 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7137
Raw data (stat): 7137 (bsolo_lpr-v2) R 7136 7266 7265 0 -1 0 56459 0 0 0 57841 160 0 0 25 0 1 0 895063374 209006592 50156 4294967295 134512640 134716908 3221224576 3221222972 134543615 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51027 50156 1111 63 0 50964 0
vsize: 204108
[startup+590.019 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7137
Raw data (stat): 7137 (bsolo_lpr-v2) R 7136 7266 7265 0 -1 0 56459 0 0 0 58841 160 0 0 25 0 1 0 895063374 209006592 50156 4294967295 134512640 134716908 3221224576 3221222940 134539230 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51027 50156 1111 63 0 50964 0
vsize: 204108
[startup+600.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7137
Raw data (stat): 7137 (bsolo_lpr-v2) R 7136 7266 7265 0 -1 0 56459 0 0 0 59841 160 0 0 25 0 1 0 895063374 209006592 50156 4294967295 134512640 134716908 3221224576 3221223192 134536900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51027 50156 1111 63 0 50964 0
vsize: 204108
[startup+610.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7137
Raw data (stat): 7137 (bsolo_lpr-v2) R 7136 7266 7265 0 -1 0 56459 0 0 0 60841 160 0 0 25 0 1 0 895063374 209006592 50156 4294967295 134512640 134716908 3221224576 3221223056 134539374 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51027 50156 1111 63 0 50964 0
vsize: 204108
[startup+620.021 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7137
Raw data (stat): 7137 (bsolo_lpr-v2) R 7136 7266 7265 0 -1 0 56459 0 0 0 61841 160 0 0 25 0 1 0 895063374 209006592 50156 4294967295 134512640 134716908 3221224576 3221223204 134594953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51027 50156 1111 63 0 50964 0
vsize: 204108
[startup+630.021 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7137
Raw data (stat): 7137 (bsolo_lpr-v2) R 7136 7266 7265 0 -1 0 56459 0 0 0 62841 161 0 0 25 0 1 0 895063374 209006592 50156 4294967295 134512640 134716908 3221224576 3221222940 134539296 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51027 50156 1111 63 0 50964 0
vsize: 204108
[startup+640.022 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7137
Raw data (stat): 7137 (bsolo_lpr-v2) R 7136 7266 7265 0 -1 0 56459 0 0 0 63841 161 0 0 25 0 1 0 895063374 209006592 50156 4294967295 134512640 134716908 3221224576 3221223084 134543615 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51027 50156 1111 63 0 50964 0
vsize: 204108
[startup+650.022 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7137
Raw data (stat): 7137 (bsolo_lpr-v2) R 7136 7266 7265 0 -1 0 56459 0 0 0 64840 161 0 0 25 0 1 0 895063374 209006592 50156 4294967295 134512640 134716908 3221224576 3221223064 134542370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51027 50156 1111 63 0 50964 0
vsize: 204108
[startup+660.022 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7137
Raw data (stat): 7137 (bsolo_lpr-v2) R 7136 7266 7265 0 -1 0 56459 0 0 0 65840 161 0 0 25 0 1 0 895063374 209006592 50156 4294967295 134512640 134716908 3221224576 3221222960 134542350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51027 50156 1111 63 0 50964 0
vsize: 204108
[startup+670.022 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7137
Raw data (stat): 7137 (bsolo_lpr-v2) R 7136 7266 7265 0 -1 0 56459 0 0 0 66840 161 0 0 25 0 1 0 895063374 209006592 50156 4294967295 134512640 134716908 3221224576 3221223192 134543804 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51027 50156 1111 63 0 50964 0
vsize: 204108
[startup+680.023 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7137
Raw data (stat): 7137 (bsolo_lpr-v2) R 7136 7266 7265 0 -1 0 56459 0 0 0 67840 162 0 0 25 0 1 0 895063374 209006592 50156 4294967295 134512640 134716908 3221224576 3221223056 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51027 50156 1111 63 0 50964 0
vsize: 204108
[startup+690.023 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7137
Raw data (stat): 7137 (bsolo_lpr-v2) R 7136 7266 7265 0 -1 0 56459 0 0 0 68840 162 0 0 25 0 1 0 895063374 209006592 50156 4294967295 134512640 134716908 3221224576 3221223192 134543793 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51027 50156 1111 63 0 50964 0
vsize: 204108
[startup+700.024 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7137
Raw data (stat): 7137 (bsolo_lpr-v2) R 7136 7266 7265 0 -1 0 56459 0 0 0 69840 162 0 0 25 0 1 0 895063374 209006592 50156 4294967295 134512640 134716908 3221224576 3221223056 134542347 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51027 50156 1111 63 0 50964 0
vsize: 204108
[startup+710.025 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7137
Raw data (stat): 7137 (bsolo_lpr-v2) R 7136 7266 7265 0 -1 0 56459 0 0 0 70839 163 0 0 25 0 1 0 895063374 209006592 50156 4294967295 134512640 134716908 3221224576 3221223056 134542350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51027 50156 1111 63 0 50964 0
vsize: 204108
[startup+720.025 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7137
Raw data (stat): 7137 (bsolo_lpr-v2) R 7136 7266 7265 0 -1 0 56459 0 0 0 71839 163 0 0 25 0 1 0 895063374 209006592 50156 4294967295 134512640 134716908 3221224576 3221222988 134543616 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51027 50156 1111 63 0 50964 0
vsize: 204108
[startup+730.025 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7137
Raw data (stat): 7137 (bsolo_lpr-v2) R 7136 7266 7265 0 -1 0 56459 0 0 0 72839 163 0 0 25 0 1 0 895063374 209006592 50156 4294967295 134512640 134716908 3221224576 3221222940 134539235 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51027 50156 1111 63 0 50964 0
vsize: 204108
[startup+740.026 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7137
Raw data (stat): 7137 (bsolo_lpr-v2) R 7136 7266 7265 0 -1 0 56459 0 0 0 73839 164 0 0 25 0 1 0 895063374 209006592 50156 4294967295 134512640 134716908 3221224576 3221222940 134539237 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51027 50156 1111 63 0 50964 0
vsize: 204108
[startup+750.027 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7137
Raw data (stat): 7137 (bsolo_lpr-v2) R 7136 7266 7265 0 -1 0 56459 0 0 0 74839 164 0 0 25 0 1 0 895063374 209006592 50156 4294967295 134512640 134716908 3221224576 3221223056 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51027 50156 1111 63 0 50964 0
vsize: 204108
[startup+760.027 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7137
Raw data (stat): 7137 (bsolo_lpr-v2) R 7136 7266 7265 0 -1 0 56459 0 0 0 75838 164 0 0 25 0 1 0 895063374 209006592 50156 4294967295 134512640 134716908 3221224576 3221222988 134542288 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51027 50156 1111 63 0 50964 0
vsize: 204108
[startup+770.026 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7137
Raw data (stat): 7137 (bsolo_lpr-v2) R 7136 7266 7265 0 -1 0 56459 0 0 0 76838 164 0 0 25 0 1 0 895063374 209006592 50156 4294967295 134512640 134716908 3221224576 3221223216 134594970 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51027 50156 1111 63 0 50964 0
vsize: 204108
[startup+780.027 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7137
Raw data (stat): 7137 (bsolo_lpr-v2) R 7136 7266 7265 0 -1 0 56459 0 0 0 77838 164 0 0 25 0 1 0 895063374 209006592 50156 4294967295 134512640 134716908 3221224576 3221223192 134543804 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51027 50156 1111 63 0 50964 0
vsize: 204108
[startup+790.027 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7137
Raw data (stat): 7137 (bsolo_lpr-v2) R 7136 7266 7265 0 -1 0 56459 0 0 0 78838 165 0 0 25 0 1 0 895063374 209006592 50156 4294967295 134512640 134716908 3221224576 3221222984 134543606 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51027 50156 1111 63 0 50964 0
vsize: 204108
[startup+800.028 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7137
Raw data (stat): 7137 (bsolo_lpr-v2) R 7136 7266 7265 0 -1 0 56459 0 0 0 79838 165 0 0 25 0 1 0 895063374 209006592 50156 4294967295 134512640 134716908 3221224576 3221223056 134539376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51027 50156 1111 63 0 50964 0
vsize: 204108
[startup+810.028 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7137
Raw data (stat): 7137 (bsolo_lpr-v2) R 7136 7266 7265 0 -1 0 56459 0 0 0 80838 165 0 0 25 0 1 0 895063374 209006592 50156 4294967295 134512640 134716908 3221224576 3221223204 134594953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51027 50156 1111 63 0 50964 0
vsize: 204108
[startup+820.028 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7137
Raw data (stat): 7137 (bsolo_lpr-v2) R 7136 7266 7265 0 -1 0 56459 0 0 0 81837 166 0 0 25 0 1 0 895063374 209006592 50156 4294967295 134512640 134716908 3221224576 3221222940 134539237 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51027 50156 1111 63 0 50964 0
vsize: 204108
[startup+830.029 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7137
Raw data (stat): 7137 (bsolo_lpr-v2) R 7136 7266 7265 0 -1 0 56459 0 0 0 82837 166 0 0 25 0 1 0 895063374 209006592 50156 4294967295 134512640 134716908 3221224576 3221222940 134539237 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51027 50156 1111 63 0 50964 0
vsize: 204108
[startup+840.029 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7137
Raw data (stat): 7137 (bsolo_lpr-v2) R 7136 7266 7265 0 -1 0 56459 0 0 0 83837 166 0 0 25 0 1 0 895063374 209006592 50156 4294967295 134512640 134716908 3221224576 3221223056 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51027 50156 1111 63 0 50964 0
vsize: 204108
[startup+850.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7137
Raw data (stat): 7137 (bsolo_lpr-v2) R 7136 7266 7265 0 -1 0 56459 0 0 0 84837 167 0 0 25 0 1 0 895063374 209006592 50156 4294967295 134512640 134716908 3221224576 3221222960 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51027 50156 1111 63 0 50964 0
vsize: 204108
[startup+860.031 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7137
Raw data (stat): 7137 (bsolo_lpr-v2) R 7136 7266 7265 0 -1 0 56459 0 0 0 85837 167 0 0 25 0 1 0 895063374 209006592 50156 4294967295 134512640 134716908 3221224576 3221222992 134542731 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51027 50156 1111 63 0 50964 0
vsize: 204108
[startup+870.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7137
Raw data (stat): 7137 (bsolo_lpr-v2) R 7136 7266 7265 0 -1 0 56459 0 0 0 86837 167 0 0 25 0 1 0 895063374 209006592 50156 4294967295 134512640 134716908 3221224576 3221222960 134542300 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51027 50156 1111 63 0 50964 0
vsize: 204108
[startup+880.031 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7137
Raw data (stat): 7137 (bsolo_lpr-v2) R 7136 7266 7265 0 -1 0 56459 0 0 0 87837 167 0 0 25 0 1 0 895063374 209006592 50156 4294967295 134512640 134716908 3221224576 3221223192 134543793 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51027 50156 1111 63 0 50964 0
vsize: 204108
[startup+890.031 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7137
Raw data (stat): 7137 (bsolo_lpr-v2) R 7136 7266 7265 0 -1 0 56459 0 0 0 88836 168 0 0 25 0 1 0 895063374 209006592 50156 4294967295 134512640 134716908 3221224576 3221223044 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51027 50156 1111 63 0 50964 0
vsize: 204108
[startup+900.032 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7137
Raw data (stat): 7137 (bsolo_lpr-v2) R 7136 7266 7265 0 -1 0 56459 0 0 0 89836 168 0 0 25 0 1 0 895063374 209006592 50156 4294967295 134512640 134716908 3221224576 3221223192 134536900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51027 50156 1111 63 0 50964 0
vsize: 204108
[startup+910.032 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7137
Raw data (stat): 7137 (bsolo_lpr-v2) R 7136 7266 7265 0 -1 0 56459 0 0 0 90836 168 0 0 25 0 1 0 895063374 209006592 50156 4294967295 134512640 134716908 3221224576 3221223056 134539462 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51027 50156 1111 63 0 50964 0
vsize: 204108
[startup+920.033 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7137
Raw data (stat): 7137 (bsolo_lpr-v2) R 7136 7266 7265 0 -1 0 56459 0 0 0 91836 169 0 0 25 0 1 0 895063374 209006592 50156 4294967295 134512640 134716908 3221224576 3221223056 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51027 50156 1111 63 0 50964 0
vsize: 204108
[startup+930.033 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7137
Raw data (stat): 7137 (bsolo_lpr-v2) R 7136 7266 7265 0 -1 0 56459 0 0 0 92835 169 0 0 25 0 1 0 895063374 209006592 50156 4294967295 134512640 134716908 3221224576 3221223236 134627213 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51027 50156 1111 63 0 50964 0
vsize: 204108
[startup+940.034 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7137
Raw data (stat): 7137 (bsolo_lpr-v2) R 7136 7266 7265 0 -1 0 56459 0 0 0 93835 170 0 0 25 0 1 0 895063374 209006592 50156 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51027 50156 1111 63 0 50964 0
vsize: 204108
[startup+950.034 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7137
Raw data (stat): 7137 (bsolo_lpr-v2) R 7136 7266 7265 0 -1 0 56459 0 0 0 94835 170 0 0 25 0 1 0 895063374 209006592 50156 4294967295 134512640 134716908 3221224576 3221223240 134627211 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51027 50156 1111 63 0 50964 0
vsize: 204108
[startup+960.035 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7137
Raw data (stat): 7137 (bsolo_lpr-v2) R 7136 7266 7265 0 -1 0 56459 0 0 0 95835 170 0 0 25 0 1 0 895063374 209006592 50156 4294967295 134512640 134716908 3221224576 3221223236 134627213 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51027 50156 1111 63 0 50964 0
vsize: 204108
[startup+970.035 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7137
Raw data (stat): 7137 (bsolo_lpr-v2) R 7136 7266 7265 0 -1 0 56459 0 0 0 96835 170 0 0 25 0 1 0 895063374 209006592 50156 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51027 50156 1111 63 0 50964 0
vsize: 204108
[startup+980.036 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7137
Raw data (stat): 7137 (bsolo_lpr-v2) R 7136 7266 7265 0 -1 0 56459 0 0 0 97835 171 0 0 25 0 1 0 895063374 209006592 50156 4294967295 134512640 134716908 3221224576 3221223232 134627282 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51027 50156 1111 63 0 50964 0
vsize: 204108
[startup+990.036 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7137
Raw data (stat): 7137 (bsolo_lpr-v2) R 7136 7266 7265 0 -1 0 56460 0 0 0 98835 171 0 0 25 0 1 0 895063374 209006592 50157 4294967295 134512640 134716908 3221224576 3221223456 134622268 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51027 50157 1111 63 0 50964 0
vsize: 204108
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7137
Raw data (stat): 7137 (bsolo_lpr-v2) R 7136 7266 7265 0 -1 0 56460 0 0 0 99835 171 0 0 25 0 1 0 895063374 209006592 50157 4294967295 134512640 134716908 3221224576 3221223456 134622268 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51027 50157 1111 63 0 50964 0
vsize: 204108
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7137
Raw data (stat): 7137 (bsolo_lpr-v2) R 7136 7266 7265 0 -1 0 56460 0 0 0 100835 171 0 0 25 0 1 0 895063374 209006592 50157 4294967295 134512640 134716908 3221224576 3221223444 134622283 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51027 50157 1111 63 0 50964 0
vsize: 204108
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7137
Raw data (stat): 7137 (bsolo_lpr-v2) R 7136 7266 7265 0 -1 0 56460 0 0 0 101835 171 0 0 25 0 1 0 895063374 209006592 50157 4294967295 134512640 134716908 3221224576 3221223456 134622268 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51027 50157 1111 63 0 50964 0
vsize: 204108
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7137
Raw data (stat): 7137 (bsolo_lpr-v2) R 7136 7266 7265 0 -1 0 56460 0 0 0 102835 172 0 0 25 0 1 0 895063374 209006592 50157 4294967295 134512640 134716908 3221224576 3221223456 134622268 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51027 50157 1111 63 0 50964 0
vsize: 204108
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7137
Raw data (stat): 7137 (bsolo_lpr-v2) R 7136 7266 7265 0 -1 0 56460 0 0 0 103835 172 0 0 25 0 1 0 895063374 209006592 50157 4294967295 134512640 134716908 3221224576 3221223352 134558492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51027 50157 1111 63 0 50964 0
vsize: 204108
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7137
Raw data (stat): 7137 (bsolo_lpr-v2) R 7136 7266 7265 0 -1 0 56460 0 0 0 104834 172 0 0 25 0 1 0 895063374 209006592 50157 4294967295 134512640 134716908 3221224576 3221223444 134622283 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51027 50157 1111 63 0 50964 0
vsize: 204108
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7137
Raw data (stat): 7137 (bsolo_lpr-v2) R 7136 7266 7265 0 -1 0 56481 0 0 0 105834 173 0 0 25 0 1 0 895063374 209006592 50178 4294967295 134512640 134716908 3221224576 3221222864 1074153786 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51027 50178 1111 63 0 50964 0
vsize: 204108
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7137
Raw data (stat): 7137 (bsolo_lpr-v2) R 7136 7266 7265 0 -1 0 56481 0 0 0 106834 173 0 0 25 0 1 0 895063374 209006592 50178 4294967295 134512640 134716908 3221224576 3221222864 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51027 50178 1111 63 0 50964 0
vsize: 204108
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7137
Raw data (stat): 7137 (bsolo_lpr-v2) R 7136 7266 7265 0 -1 0 56481 0 0 0 107833 174 0 0 25 0 1 0 895063374 209006592 50178 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51027 50178 1111 63 0 50964 0
vsize: 204108
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7137
Raw data (stat): 7137 (bsolo_lpr-v2) R 7136 7266 7265 0 -1 0 56481 0 0 0 108832 174 0 0 25 0 1 0 895063374 209006592 50178 4294967295 134512640 134716908 3221224576 3221222720 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51027 50178 1111 63 0 50964 0
vsize: 204108
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7137
Raw data (stat): 7137 (bsolo_lpr-v2) R 7136 7266 7265 0 -1 0 56481 0 0 0 109832 175 0 0 25 0 1 0 895063374 209006592 50178 4294967295 134512640 134716908 3221224576 3221222816 1074153786 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51027 50178 1111 63 0 50964 0
vsize: 204108
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7137
Raw data (stat): 7137 (bsolo_lpr-v2) R 7136 7266 7265 0 -1 0 56481 0 0 0 110832 175 0 0 25 0 1 0 895063374 209006592 50178 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51027 50178 1111 63 0 50964 0
vsize: 204108
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7137
Raw data (stat): 7137 (bsolo_lpr-v2) R 7136 7266 7265 0 -1 0 56481 0 0 0 111831 175 0 0 25 0 1 0 895063374 209006592 50178 4294967295 134512640 134716908 3221224576 3221222632 1077379749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51027 50178 1111 63 0 50964 0
vsize: 204108
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7137
Raw data (stat): 7137 (bsolo_lpr-v2) R 7136 7266 7265 0 -1 0 56481 0 0 0 112831 176 0 0 25 0 1 0 895063374 209006592 50178 4294967295 134512640 134716908 3221224576 3221222864 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51027 50178 1111 63 0 50964 0
vsize: 204108
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7137
Raw data (stat): 7137 (bsolo_lpr-v2) R 7136 7266 7265 0 -1 0 56481 0 0 0 113830 177 0 0 25 0 1 0 895063374 209006592 50178 4294967295 134512640 134716908 3221224576 3221222832 1074153786 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51027 50178 1111 63 0 50964 0
vsize: 204108
[startup+1150.05 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7137
Raw data (stat): 7137 (bsolo_lpr-v2) R 7136 7266 7265 0 -1 0 56481 0 0 0 114830 177 0 0 25 0 1 0 895063374 209006592 50178 4294967295 134512640 134716908 3221224576 3221222864 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51027 50178 1111 63 0 50964 0
vsize: 204108
[startup+1160.05 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7137
Raw data (stat): 7137 (bsolo_lpr-v2) R 7136 7266 7265 0 -1 0 56481 0 0 0 115829 177 0 0 25 0 1 0 895063374 209006592 50178 4294967295 134512640 134716908 3221224576 3221222832 1074153786 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51027 50178 1111 63 0 50964 0
vsize: 204108
[startup+1170.05 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7137
Raw data (stat): 7137 (bsolo_lpr-v2) R 7136 7266 7265 0 -1 0 56481 0 0 0 116829 177 0 0 25 0 1 0 895063374 209006592 50178 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51027 50178 1111 63 0 50964 0
vsize: 204108
[startup+1180.05 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7137
Raw data (stat): 7137 (bsolo_lpr-v2) R 7136 7266 7265 0 -1 0 56481 0 0 0 117829 178 0 0 25 0 1 0 895063374 209006592 50178 4294967295 134512640 134716908 3221224576 3221222864 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51027 50178 1111 63 0 50964 0
vsize: 204108
[startup+1190.05 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7137
Raw data (stat): 7137 (bsolo_lpr-v2) R 7136 7266 7265 0 -1 0 56481 0 0 0 118828 178 0 0 25 0 1 0 895063374 209006592 50178 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51027 50178 1111 63 0 50964 0
vsize: 204108
[startup+1200.05 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7137
Raw data (stat): 7137 (bsolo_lpr-v2) R 7136 7266 7265 0 -1 0 56481 0 0 0 119827 179 0 0 25 0 1 0 895063374 209006592 50178 4294967295 134512640 134716908 3221224576 3221222864 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51027 50178 1111 63 0 50964 0
vsize: 204108
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.14 s]
Raw data (loadavg): 0.99 0.97 0.93 1/54 7137
Raw data (stat): 7137 (bsolo_lpr-v2) Z 7136 7266 7265 0 -1 1036 56481 0 0 0 119827 188 0 0 25 0 1 0 895063374 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.14
CPU time (s): 1200.16
CPU user time (s): 1198.28
CPU system time (s): 1.88571
CPU usage (%): 100.002
Max. virtual memory (Kb): 204108
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####