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-2.opb
MD5SUM	5b8ef604a7452dcb7c7d749b75aed566
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-45
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.15
Number of variables	1534
Total number of constraints	126163
Number of constraints which are clauses	126163
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 39726

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-06-07 18:17:33 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27792 boxname=wulflinc4 idbench=350 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  5b8ef604a7452dcb7c7d749b75aed566  /oldhome/oroussel/tmp/wulflinc4/normalized-frb59-26-2.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc4/normalized-frb59-26-2.opb
IDLAUNCH: 27792
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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:        908888 kB
Buffers:         33932 kB
Cached:          68512 kB
SwapCached:        984 kB
Active:          35736 kB
Inactive:        68836 kB
HighTotal:      131008 kB
HighFree:        91392 kB
LowTotal:       903652 kB
LowFree:        817496 kB
SwapTotal:     2097136 kB
SwapFree:      2095204 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4924 kB
Slab:            15476 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-07 18:37:35 (client local time) WITH STATUS 0 IN 1200.27 SECONDS
stats: 27792 7 1200.27 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 1534 variables and 126163 constraints.
c After prepocess the problem consists of 1534 variables and 85733 constraints.
c preprocess terminated 1071.45 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): 1.14 1.02 0.93 1/54 18889
Raw data (stat): 18889 (runsolver) R 18888 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 895079728 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.0014 s]
Raw data (loadavg): 1.12 1.02 0.93 2/54 18889
Raw data (stat): 18889 (bsolo_lpr-v2) R 18888 21152 21151 0 -1 0 11216 0 0 0 963 35 0 0 25 0 1 0 895079728 59158528 11136 4294967295 134512640 134716908 3221224576 3221221052 1077196376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14443 11136 1111 63 0 14380 0
vsize: 57772
[startup+20.0027 s]
Raw data (loadavg): 1.10 1.02 0.93 2/54 18889
Raw data (stat): 18889 (bsolo_lpr-v2) R 18888 21152 21151 0 -1 0 36781 0 0 0 1899 98 0 0 25 0 1 0 895079728 153796608 36696 4294967295 134512640 134716908 3221224576 3221222992 134543686 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37548 36696 1111 63 0 37485 0
vsize: 150192
[startup+30.0031 s]
Raw data (loadavg): 1.08 1.02 0.93 2/54 18889
Raw data (stat): 18889 (bsolo_lpr-v2) R 18888 21152 21151 0 -1 0 40076 0 0 0 2893 104 0 0 25 0 1 0 895079728 159707136 38154 4294967295 134512640 134716908 3221224576 3221223216 134606484 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38991 38154 1111 63 0 38928 0
vsize: 155964
[startup+40.004 s]
Raw data (loadavg): 1.07 1.02 0.93 2/54 18889
Raw data (stat): 18889 (bsolo_lpr-v2) R 18888 21152 21151 0 -1 0 52193 0 0 0 3865 133 0 0 25 0 1 0 895079728 206790656 49632 4294967295 134512640 134716908 3221224576 3221222968 1077378310 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 50486 49632 1111 63 0 50423 0
vsize: 201944
[startup+50.0048 s]
Raw data (loadavg): 1.06 1.01 0.93 2/54 18889
Raw data (stat): 18889 (bsolo_lpr-v2) R 18888 21152 21151 0 -1 0 52193 0 0 0 4865 133 0 0 25 0 1 0 895079728 206790656 49632 4294967295 134512640 134716908 3221224576 3221223304 134675281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 50486 49632 1111 63 0 50423 0
vsize: 201944
[startup+60.0057 s]
Raw data (loadavg): 1.05 1.01 0.93 2/54 18889
Raw data (stat): 18889 (bsolo_lpr-v2) R 18888 21152 21151 0 -1 0 52514 0 0 0 5864 134 0 0 25 0 1 0 895079728 207613952 49850 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 50687 49850 1111 63 0 50624 0
vsize: 202748
[startup+70.0066 s]
Raw data (loadavg): 1.04 1.01 0.93 2/54 18889
Raw data (stat): 18889 (bsolo_lpr-v2) R 18888 21152 21151 0 -1 0 58746 0 0 0 6851 147 0 0 25 0 1 0 895079728 233172992 56082 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56927 56082 1111 63 0 56864 0
vsize: 227708
[startup+80.0079 s]
Raw data (loadavg): 1.04 1.01 0.93 2/54 18889
Raw data (stat): 18889 (bsolo_lpr-v2) R 18888 21152 21151 0 -1 0 60812 0 0 0 7847 151 0 0 25 0 1 0 895079728 241692672 58148 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59007 58148 1111 63 0 58944 0
vsize: 236028
[startup+90.0082 s]
Raw data (loadavg): 1.03 1.01 0.93 2/54 18889
Raw data (stat): 18889 (bsolo_lpr-v2) R 18888 21152 21151 0 -1 0 60812 0 0 0 8847 151 0 0 25 0 1 0 895079728 241692672 58148 4294967295 134512640 134716908 3221224576 3221223056 134539408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59007 58148 1111 63 0 58944 0
vsize: 236028
[startup+100.008 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 18889
Raw data (stat): 18889 (bsolo_lpr-v2) R 18888 21152 21151 0 -1 0 60812 0 0 0 9847 151 0 0 25 0 1 0 895079728 241692672 58148 4294967295 134512640 134716908 3221224576 3221222996 134539203 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59007 58148 1111 63 0 58944 0
vsize: 236028
[startup+110.009 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 18889
Raw data (stat): 18889 (bsolo_lpr-v2) R 18888 21152 21151 0 -1 0 60812 0 0 0 10846 151 0 0 25 0 1 0 895079728 241692672 58148 4294967295 134512640 134716908 3221224576 3221223056 134539462 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59007 58148 1111 63 0 58944 0
vsize: 236028
[startup+120.01 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 18889
Raw data (stat): 18889 (bsolo_lpr-v2) R 18888 21152 21151 0 -1 0 60812 0 0 0 11846 152 0 0 25 0 1 0 895079728 241692672 58148 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59007 58148 1111 63 0 58944 0
vsize: 236028
[startup+130.01 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 18889
Raw data (stat): 18889 (bsolo_lpr-v2) R 18888 21152 21151 0 -1 0 60812 0 0 0 12846 152 0 0 25 0 1 0 895079728 241692672 58148 4294967295 134512640 134716908 3221224576 3221223104 134542839 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59007 58148 1111 63 0 58944 0
vsize: 236028
[startup+140.011 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 18889
Raw data (stat): 18889 (bsolo_lpr-v2) R 18888 21152 21151 0 -1 0 60812 0 0 0 13845 153 0 0 25 0 1 0 895079728 241692672 58148 4294967295 134512640 134716908 3221224576 3221222960 134542350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59007 58148 1111 63 0 58944 0
vsize: 236028
[startup+150.011 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 18889
Raw data (stat): 18889 (bsolo_lpr-v2) R 18888 21152 21151 0 -1 0 60812 0 0 0 14845 154 0 0 25 0 1 0 895079728 241692672 58148 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59007 58148 1111 63 0 58944 0
vsize: 236028
[startup+160.012 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 18889
Raw data (stat): 18889 (bsolo_lpr-v2) R 18888 21152 21151 0 -1 0 60812 0 0 0 15844 154 0 0 25 0 1 0 895079728 241692672 58148 4294967295 134512640 134716908 3221224576 3221223044 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59007 58148 1111 63 0 58944 0
vsize: 236028
[startup+170.012 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 18889
Raw data (stat): 18889 (bsolo_lpr-v2) R 18888 21152 21151 0 -1 0 60812 0 0 0 16844 155 0 0 25 0 1 0 895079728 241692672 58148 4294967295 134512640 134716908 3221224576 3221223056 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59007 58148 1111 63 0 58944 0
vsize: 236028
[startup+180.012 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18889
Raw data (stat): 18889 (bsolo_lpr-v2) R 18888 21152 21151 0 -1 0 60812 0 0 0 17843 155 0 0 25 0 1 0 895079728 241692672 58148 4294967295 134512640 134716908 3221224576 3221223072 134543738 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59007 58148 1111 63 0 58944 0
vsize: 236028
[startup+190.013 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18889
Raw data (stat): 18889 (bsolo_lpr-v2) R 18888 21152 21151 0 -1 0 60812 0 0 0 18843 155 0 0 25 0 1 0 895079728 241692672 58148 4294967295 134512640 134716908 3221224576 3221223064 134543652 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59007 58148 1111 63 0 58944 0
vsize: 236028
[startup+200.013 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18889
Raw data (stat): 18889 (bsolo_lpr-v2) R 18888 21152 21151 0 -1 0 60812 0 0 0 19843 155 0 0 25 0 1 0 895079728 241692672 58148 4294967295 134512640 134716908 3221224576 3221223044 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59007 58148 1111 63 0 58944 0
vsize: 236028
[startup+210.014 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18889
Raw data (stat): 18889 (bsolo_lpr-v2) R 18888 21152 21151 0 -1 0 60812 0 0 0 20843 155 0 0 25 0 1 0 895079728 241692672 58148 4294967295 134512640 134716908 3221224576 3221223204 134594953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59007 58148 1111 63 0 58944 0
vsize: 236028
[startup+220.014 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18889
Raw data (stat): 18889 (bsolo_lpr-v2) R 18888 21152 21151 0 -1 0 60812 0 0 0 21843 156 0 0 25 0 1 0 895079728 241692672 58148 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59007 58148 1111 63 0 58944 0
vsize: 236028
[startup+230.014 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18889
Raw data (stat): 18889 (bsolo_lpr-v2) R 18888 21152 21151 0 -1 0 60812 0 0 0 22843 156 0 0 25 0 1 0 895079728 241692672 58148 4294967295 134512640 134716908 3221224576 3221223152 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59007 58148 1111 63 0 58944 0
vsize: 236028
[startup+240.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18889
Raw data (stat): 18889 (bsolo_lpr-v2) R 18888 21152 21151 0 -1 0 60812 0 0 0 23843 156 0 0 25 0 1 0 895079728 241692672 58148 4294967295 134512640 134716908 3221224576 3221223088 134542865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59007 58148 1111 63 0 58944 0
vsize: 236028
[startup+250.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18889
Raw data (stat): 18889 (bsolo_lpr-v2) R 18888 21152 21151 0 -1 0 60812 0 0 0 24842 157 0 0 25 0 1 0 895079728 241692672 58148 4294967295 134512640 134716908 3221224576 3221223152 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59007 58148 1111 63 0 58944 0
vsize: 236028
[startup+260.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18889
Raw data (stat): 18889 (bsolo_lpr-v2) R 18888 21152 21151 0 -1 0 60812 0 0 0 25842 157 0 0 25 0 1 0 895079728 241692672 58148 4294967295 134512640 134716908 3221224576 3221223132 134542828 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59007 58148 1111 63 0 58944 0
vsize: 236028
[startup+270.017 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18889
Raw data (stat): 18889 (bsolo_lpr-v2) R 18888 21152 21151 0 -1 0 60812 0 0 0 26842 157 0 0 25 0 1 0 895079728 241692672 58148 4294967295 134512640 134716908 3221224576 3221223068 134542288 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59007 58148 1111 63 0 58944 0
vsize: 236028
[startup+280.017 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18889
Raw data (stat): 18889 (bsolo_lpr-v2) R 18888 21152 21151 0 -1 0 60812 0 0 0 27842 157 0 0 25 0 1 0 895079728 241692672 58148 4294967295 134512640 134716908 3221224576 3221223216 134594947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59007 58148 1111 63 0 58944 0
vsize: 236028
[startup+290.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18889
Raw data (stat): 18889 (bsolo_lpr-v2) R 18888 21152 21151 0 -1 0 60812 0 0 0 28841 158 0 0 25 0 1 0 895079728 241692672 58148 4294967295 134512640 134716908 3221224576 3221222940 134539237 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59007 58148 1111 63 0 58944 0
vsize: 236028
[startup+300.017 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18889
Raw data (stat): 18889 (bsolo_lpr-v2) R 18888 21152 21151 0 -1 0 60812 0 0 0 29841 158 0 0 25 0 1 0 895079728 241692672 58148 4294967295 134512640 134716908 3221224576 3221222940 134539306 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59007 58148 1111 63 0 58944 0
vsize: 236028
[startup+310.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18889
Raw data (stat): 18889 (bsolo_lpr-v2) R 18888 21152 21151 0 -1 0 60812 0 0 0 30842 158 0 0 25 0 1 0 895079728 241692672 58148 4294967295 134512640 134716908 3221224576 3221223056 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59007 58148 1111 63 0 58944 0
vsize: 236028
[startup+320.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18889
Raw data (stat): 18889 (bsolo_lpr-v2) R 18888 21152 21151 0 -1 0 60812 0 0 0 31842 158 0 0 25 0 1 0 895079728 241692672 58148 4294967295 134512640 134716908 3221224576 3221222984 134543600 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59007 58148 1111 63 0 58944 0
vsize: 236028
[startup+330.019 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18889
Raw data (stat): 18889 (bsolo_lpr-v2) R 18888 21152 21151 0 -1 0 60812 0 0 0 32842 158 0 0 25 0 1 0 895079728 241692672 58148 4294967295 134512640 134716908 3221224576 3221223088 134543707 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59007 58148 1111 63 0 58944 0
vsize: 236028
[startup+340.019 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18889
Raw data (stat): 18889 (bsolo_lpr-v2) R 18888 21152 21151 0 -1 0 60812 0 0 0 33842 158 0 0 25 0 1 0 895079728 241692672 58148 4294967295 134512640 134716908 3221224576 3221222988 134543616 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59007 58148 1111 63 0 58944 0
vsize: 236028
[startup+350.019 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18889
Raw data (stat): 18889 (bsolo_lpr-v2) R 18888 21152 21151 0 -1 0 60812 0 0 0 34842 158 0 0 25 0 1 0 895079728 241692672 58148 4294967295 134512640 134716908 3221224576 3221222960 134542303 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59007 58148 1111 63 0 58944 0
vsize: 236028
[startup+360.019 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18889
Raw data (stat): 18889 (bsolo_lpr-v2) R 18888 21152 21151 0 -1 0 60812 0 0 0 35842 158 0 0 25 0 1 0 895079728 241692672 58148 4294967295 134512640 134716908 3221224576 3221223248 134606809 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59007 58148 1111 63 0 58944 0
vsize: 236028
[startup+370.019 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18889
Raw data (stat): 18889 (bsolo_lpr-v2) R 18888 21152 21151 0 -1 0 60812 0 0 0 36843 158 0 0 25 0 1 0 895079728 241692672 58148 4294967295 134512640 134716908 3221224576 3221223216 134594947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59007 58148 1111 63 0 58944 0
vsize: 236028
[startup+380.019 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18889
Raw data (stat): 18889 (bsolo_lpr-v2) R 18888 21152 21151 0 -1 0 60812 0 0 0 37843 158 0 0 25 0 1 0 895079728 241692672 58148 4294967295 134512640 134716908 3221224576 3221223068 134543653 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59007 58148 1111 63 0 58944 0
vsize: 236028
[startup+390.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18889
Raw data (stat): 18889 (bsolo_lpr-v2) R 18888 21152 21151 0 -1 0 60812 0 0 0 38843 158 0 0 25 0 1 0 895079728 241692672 58148 4294967295 134512640 134716908 3221224576 3221223216 134606472 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59007 58148 1111 63 0 58944 0
vsize: 236028
[startup+400.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18889
Raw data (stat): 18889 (bsolo_lpr-v2) R 18888 21152 21151 0 -1 0 60812 0 0 0 39843 158 0 0 25 0 1 0 895079728 241692672 58148 4294967295 134512640 134716908 3221224576 3221223056 134539446 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59007 58148 1111 63 0 58944 0
vsize: 236028
[startup+410.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18889
Raw data (stat): 18889 (bsolo_lpr-v2) R 18888 21152 21151 0 -1 0 60812 0 0 0 40843 158 0 0 25 0 1 0 895079728 241692672 58148 4294967295 134512640 134716908 3221224576 3221223056 134539376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59007 58148 1111 63 0 58944 0
vsize: 236028
[startup+420.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18889
Raw data (stat): 18889 (bsolo_lpr-v2) R 18888 21152 21151 0 -1 0 60812 0 0 0 41843 158 0 0 25 0 1 0 895079728 241692672 58148 4294967295 134512640 134716908 3221224576 3221223068 134543653 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59007 58148 1111 63 0 58944 0
vsize: 236028
[startup+430.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18889
Raw data (stat): 18889 (bsolo_lpr-v2) R 18888 21152 21151 0 -1 0 60812 0 0 0 42842 158 0 0 25 0 1 0 895079728 241692672 58148 4294967295 134512640 134716908 3221224576 3221222960 134542352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59007 58148 1111 63 0 58944 0
vsize: 236028
[startup+440.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18889
Raw data (stat): 18889 (bsolo_lpr-v2) R 18888 21152 21151 0 -1 0 60812 0 0 0 43843 158 0 0 25 0 1 0 895079728 241692672 58148 4294967295 134512640 134716908 3221224576 3221222960 134542350 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59007 58148 1111 63 0 58944 0
vsize: 236028
[startup+450.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18889
Raw data (stat): 18889 (bsolo_lpr-v2) R 18888 21152 21151 0 -1 0 60812 0 0 0 44843 158 0 0 25 0 1 0 895079728 241692672 58148 4294967295 134512640 134716908 3221224576 3221223152 134535821 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59007 58148 1111 63 0 58944 0
vsize: 236028
[startup+460.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18889
Raw data (stat): 18889 (bsolo_lpr-v2) R 18888 21152 21151 0 -1 0 60812 0 0 0 45843 158 0 0 25 0 1 0 895079728 241692672 58148 4294967295 134512640 134716908 3221224576 3221223056 134539471 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59007 58148 1111 63 0 58944 0
vsize: 236028
[startup+470.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18889
Raw data (stat): 18889 (bsolo_lpr-v2) R 18888 21152 21151 0 -1 0 60812 0 0 0 46843 158 0 0 25 0 1 0 895079728 241692672 58148 4294967295 134512640 134716908 3221224576 3221222960 134542352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59007 58148 1111 63 0 58944 0
vsize: 236028
[startup+480.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18889
Raw data (stat): 18889 (bsolo_lpr-v2) R 18888 21152 21151 0 -1 0 60812 0 0 0 47843 158 0 0 25 0 1 0 895079728 241692672 58148 4294967295 134512640 134716908 3221224576 3221222972 134543615 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59007 58148 1111 63 0 58944 0
vsize: 236028
[startup+490.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18889
Raw data (stat): 18889 (bsolo_lpr-v2) R 18888 21152 21151 0 -1 0 60812 0 0 0 48844 158 0 0 25 0 1 0 895079728 241692672 58148 4294967295 134512640 134716908 3221224576 3221222940 134539235 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59007 58148 1111 63 0 58944 0
vsize: 236028
[startup+500.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18889
Raw data (stat): 18889 (bsolo_lpr-v2) R 18888 21152 21151 0 -1 0 60812 0 0 0 49844 158 0 0 25 0 1 0 895079728 241692672 58148 4294967295 134512640 134716908 3221224576 3221223192 134543804 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59007 58148 1111 63 0 58944 0
vsize: 236028
[startup+510.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18889
Raw data (stat): 18889 (bsolo_lpr-v2) R 18888 21152 21151 0 -1 0 60812 0 0 0 50844 158 0 0 25 0 1 0 895079728 241692672 58148 4294967295 134512640 134716908 3221224576 3221223152 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59007 58148 1111 63 0 58944 0
vsize: 236028
[startup+520.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18889
Raw data (stat): 18889 (bsolo_lpr-v2) R 18888 21152 21151 0 -1 0 60812 0 0 0 51844 158 0 0 25 0 1 0 895079728 241692672 58148 4294967295 134512640 134716908 3221224576 3221223024 134536680 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59007 58148 1111 63 0 58944 0
vsize: 236028
[startup+530.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18889
Raw data (stat): 18889 (bsolo_lpr-v2) R 18888 21152 21151 0 -1 0 60812 0 0 0 52844 158 0 0 25 0 1 0 895079728 241692672 58148 4294967295 134512640 134716908 3221224576 3221222960 134542352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59007 58148 1111 63 0 58944 0
vsize: 236028
[startup+540.023 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18889
Raw data (stat): 18889 (bsolo_lpr-v2) R 18888 21152 21151 0 -1 0 60812 0 0 0 53845 158 0 0 25 0 1 0 895079728 241692672 58148 4294967295 134512640 134716908 3221224576 3221223216 134594947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59007 58148 1111 63 0 58944 0
vsize: 236028
[startup+550.023 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18889
Raw data (stat): 18889 (bsolo_lpr-v2) R 18888 21152 21151 0 -1 0 60812 0 0 0 54845 158 0 0 25 0 1 0 895079728 241692672 58148 4294967295 134512640 134716908 3221224576 3221223192 134543796 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59007 58148 1111 63 0 58944 0
vsize: 236028
[startup+560.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18889
Raw data (stat): 18889 (bsolo_lpr-v2) R 18888 21152 21151 0 -1 0 60812 0 0 0 55845 158 0 0 25 0 1 0 895079728 241692672 58148 4294967295 134512640 134716908 3221224576 3221223056 134542303 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59007 58148 1111 63 0 58944 0
vsize: 236028
[startup+570.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18889
Raw data (stat): 18889 (bsolo_lpr-v2) R 18888 21152 21151 0 -1 0 60812 0 0 0 56845 158 0 0 25 0 1 0 895079728 241692672 58148 4294967295 134512640 134716908 3221224576 3221222960 134542350 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59007 58148 1111 63 0 58944 0
vsize: 236028
[startup+580.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18889
Raw data (stat): 18889 (bsolo_lpr-v2) R 18888 21152 21151 0 -1 0 60812 0 0 0 57845 158 0 0 25 0 1 0 895079728 241692672 58148 4294967295 134512640 134716908 3221224576 3221223040 134542297 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59007 58148 1111 63 0 58944 0
vsize: 236028
[startup+590.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18889
Raw data (stat): 18889 (bsolo_lpr-v2) R 18888 21152 21151 0 -1 0 60812 0 0 0 58845 158 0 0 25 0 1 0 895079728 241692672 58148 4294967295 134512640 134716908 3221224576 3221223056 134539462 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59007 58148 1111 63 0 58944 0
vsize: 236028
[startup+600.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18889
Raw data (stat): 18889 (bsolo_lpr-v2) R 18888 21152 21151 0 -1 0 60812 0 0 0 59846 158 0 0 25 0 1 0 895079728 241692672 58148 4294967295 134512640 134716908 3221224576 3221223216 134594970 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59007 58148 1111 63 0 58944 0
vsize: 236028
[startup+610.025 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18889
Raw data (stat): 18889 (bsolo_lpr-v2) R 18888 21152 21151 0 -1 0 60812 0 0 0 60846 158 0 0 25 0 1 0 895079728 241692672 58148 4294967295 134512640 134716908 3221224576 3221222960 134542352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59007 58148 1111 63 0 58944 0
vsize: 236028
[startup+620.026 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18889
Raw data (stat): 18889 (bsolo_lpr-v2) R 18888 21152 21151 0 -1 0 60812 0 0 0 61846 158 0 0 25 0 1 0 895079728 241692672 58148 4294967295 134512640 134716908 3221224576 3221222960 134542352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59007 58148 1111 63 0 58944 0
vsize: 236028
[startup+630.026 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18889
Raw data (stat): 18889 (bsolo_lpr-v2) R 18888 21152 21151 0 -1 0 60812 0 0 0 62846 158 0 0 25 0 1 0 895079728 241692672 58148 4294967295 134512640 134716908 3221224576 3221223216 134594947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59007 58148 1111 63 0 58944 0
vsize: 236028
[startup+640.027 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18889
Raw data (stat): 18889 (bsolo_lpr-v2) R 18888 21152 21151 0 -1 0 60812 0 0 0 63846 158 0 0 25 0 1 0 895079728 241692672 58148 4294967295 134512640 134716908 3221224576 3221223080 134543652 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59007 58148 1111 63 0 58944 0
vsize: 236028
[startup+650.026 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18889
Raw data (stat): 18889 (bsolo_lpr-v2) R 18888 21152 21151 0 -1 0 60812 0 0 0 64847 158 0 0 25 0 1 0 895079728 241692672 58148 4294967295 134512640 134716908 3221224576 3221223196 134536888 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59007 58148 1111 63 0 58944 0
vsize: 236028
[startup+660.027 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18889
Raw data (stat): 18889 (bsolo_lpr-v2) R 18888 21152 21151 0 -1 0 60812 0 0 0 65847 158 0 0 25 0 1 0 895079728 241692672 58148 4294967295 134512640 134716908 3221224576 3221223216 134594970 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59007 58148 1111 63 0 58944 0
vsize: 236028
[startup+670.027 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18889
Raw data (stat): 18889 (bsolo_lpr-v2) R 18888 21152 21151 0 -1 0 60812 0 0 0 66847 158 0 0 25 0 1 0 895079728 241692672 58148 4294967295 134512640 134716908 3221224576 3221222960 134542350 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59007 58148 1111 63 0 58944 0
vsize: 236028
[startup+680.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18889
Raw data (stat): 18889 (bsolo_lpr-v2) R 18888 21152 21151 0 -1 0 60812 0 0 0 67847 158 0 0 25 0 1 0 895079728 241692672 58148 4294967295 134512640 134716908 3221224576 3221222996 134542821 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59007 58148 1111 63 0 58944 0
vsize: 236028
[startup+690.029 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18889
Raw data (stat): 18889 (bsolo_lpr-v2) R 18888 21152 21151 0 -1 0 60812 0 0 0 68848 158 0 0 25 0 1 0 895079728 241692672 58148 4294967295 134512640 134716908 3221224576 3221223056 134539471 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59007 58148 1111 63 0 58944 0
vsize: 236028
[startup+700.029 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18889
Raw data (stat): 18889 (bsolo_lpr-v2) R 18888 21152 21151 0 -1 0 60812 0 0 0 69848 158 0 0 25 0 1 0 895079728 241692672 58148 4294967295 134512640 134716908 3221224576 3221223192 134543804 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59007 58148 1111 63 0 58944 0
vsize: 236028
[startup+710.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18889
Raw data (stat): 18889 (bsolo_lpr-v2) R 18888 21152 21151 0 -1 0 60812 0 0 0 70848 158 0 0 25 0 1 0 895079728 241692672 58148 4294967295 134512640 134716908 3221224576 3221223044 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59007 58148 1111 63 0 58944 0
vsize: 236028
[startup+720.029 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18889
Raw data (stat): 18889 (bsolo_lpr-v2) R 18888 21152 21151 0 -1 0 60812 0 0 0 71848 158 0 0 25 0 1 0 895079728 241692672 58148 4294967295 134512640 134716908 3221224576 3221223080 134543652 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59007 58148 1111 63 0 58944 0
vsize: 236028
[startup+730.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18889
Raw data (stat): 18889 (bsolo_lpr-v2) R 18888 21152 21151 0 -1 0 60812 0 0 0 72848 158 0 0 25 0 1 0 895079728 241692672 58148 4294967295 134512640 134716908 3221224576 3221222984 134543628 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59007 58148 1111 63 0 58944 0
vsize: 236028
[startup+740.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18889
Raw data (stat): 18889 (bsolo_lpr-v2) R 18888 21152 21151 0 -1 0 60812 0 0 0 73848 158 0 0 25 0 1 0 895079728 241692672 58148 4294967295 134512640 134716908 3221224576 3221223040 134536700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59007 58148 1111 63 0 58944 0
vsize: 236028
[startup+750.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18889
Raw data (stat): 18889 (bsolo_lpr-v2) R 18888 21152 21151 0 -1 0 60812 0 0 0 74849 158 0 0 25 0 1 0 895079728 241692672 58148 4294967295 134512640 134716908 3221224576 3221223056 134539376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59007 58148 1111 63 0 58944 0
vsize: 236028
[startup+760.031 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18889
Raw data (stat): 18889 (bsolo_lpr-v2) R 18888 21152 21151 0 -1 0 60812 0 0 0 75849 158 0 0 25 0 1 0 895079728 241692672 58148 4294967295 134512640 134716908 3221224576 3221223056 134539462 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59007 58148 1111 63 0 58944 0
vsize: 236028
[startup+770.032 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18889
Raw data (stat): 18889 (bsolo_lpr-v2) R 18888 21152 21151 0 -1 0 60812 0 0 0 76849 158 0 0 25 0 1 0 895079728 241692672 58148 4294967295 134512640 134716908 3221224576 3221223056 134539376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59007 58148 1111 63 0 58944 0
vsize: 236028
[startup+780.032 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18889
Raw data (stat): 18889 (bsolo_lpr-v2) R 18888 21152 21151 0 -1 0 60812 0 0 0 77849 158 0 0 25 0 1 0 895079728 241692672 58148 4294967295 134512640 134716908 3221224576 3221222940 134539301 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59007 58148 1111 63 0 58944 0
vsize: 236028
[startup+790.032 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18889
Raw data (stat): 18889 (bsolo_lpr-v2) R 18888 21152 21151 0 -1 0 60812 0 0 0 78849 158 0 0 25 0 1 0 895079728 241692672 58148 4294967295 134512640 134716908 3221224576 3221222940 134539235 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59007 58148 1111 63 0 58944 0
vsize: 236028
[startup+800.032 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18889
Raw data (stat): 18889 (bsolo_lpr-v2) R 18888 21152 21151 0 -1 0 60812 0 0 0 79849 158 0 0 25 0 1 0 895079728 241692672 58148 4294967295 134512640 134716908 3221224576 3221223056 134539382 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59007 58148 1111 63 0 58944 0
vsize: 236028
[startup+810.032 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18889
Raw data (stat): 18889 (bsolo_lpr-v2) R 18888 21152 21151 0 -1 0 60812 0 0 0 80850 158 0 0 25 0 1 0 895079728 241692672 58148 4294967295 134512640 134716908 3221224576 3221222984 134543614 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59007 58148 1111 63 0 58944 0
vsize: 236028
[startup+820.032 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18889
Raw data (stat): 18889 (bsolo_lpr-v2) R 18888 21152 21151 0 -1 0 60812 0 0 0 81850 158 0 0 25 0 1 0 895079728 241692672 58148 4294967295 134512640 134716908 3221224576 3221223056 134542350 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59007 58148 1111 63 0 58944 0
vsize: 236028
[startup+830.032 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18889
Raw data (stat): 18889 (bsolo_lpr-v2) R 18888 21152 21151 0 -1 0 60812 0 0 0 82850 158 0 0 25 0 1 0 895079728 241692672 58148 4294967295 134512640 134716908 3221224576 3221223056 134539382 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59007 58148 1111 63 0 58944 0
vsize: 236028
[startup+840.033 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18889
Raw data (stat): 18889 (bsolo_lpr-v2) R 18888 21152 21151 0 -1 0 60812 0 0 0 83850 158 0 0 25 0 1 0 895079728 241692672 58148 4294967295 134512640 134716908 3221224576 3221223072 134543740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59007 58148 1111 63 0 58944 0
vsize: 236028
[startup+850.033 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18889
Raw data (stat): 18889 (bsolo_lpr-v2) R 18888 21152 21151 0 -1 0 60812 0 0 0 84850 158 0 0 25 0 1 0 895079728 241692672 58148 4294967295 134512640 134716908 3221224576 3221223056 134539376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59007 58148 1111 63 0 58944 0
vsize: 236028
[startup+860.034 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18889
Raw data (stat): 18889 (bsolo_lpr-v2) R 18888 21152 21151 0 -1 0 60812 0 0 0 85851 158 0 0 25 0 1 0 895079728 241692672 58148 4294967295 134512640 134716908 3221224576 3221223216 134606514 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59007 58148 1111 63 0 58944 0
vsize: 236028
[startup+870.034 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18889
Raw data (stat): 18889 (bsolo_lpr-v2) R 18888 21152 21151 0 -1 0 60812 0 0 0 86851 159 0 0 25 0 1 0 895079728 241692672 58148 4294967295 134512640 134716908 3221224576 3221222960 134542350 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59007 58148 1111 63 0 58944 0
vsize: 236028
[startup+880.034 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18889
Raw data (stat): 18889 (bsolo_lpr-v2) R 18888 21152 21151 0 -1 0 60812 0 0 0 87851 159 0 0 25 0 1 0 895079728 241692672 58148 4294967295 134512640 134716908 3221224576 3221222960 134542303 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59007 58148 1111 63 0 58944 0
vsize: 236028
[startup+890.035 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18889
Raw data (stat): 18889 (bsolo_lpr-v2) R 18888 21152 21151 0 -1 0 60812 0 0 0 88851 159 0 0 25 0 1 0 895079728 241692672 58148 4294967295 134512640 134716908 3221224576 3221222976 134542753 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59007 58148 1111 63 0 58944 0
vsize: 236028
[startup+900.035 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18889
Raw data (stat): 18889 (bsolo_lpr-v2) R 18888 21152 21151 0 -1 0 60812 0 0 0 89851 159 0 0 25 0 1 0 895079728 241692672 58148 4294967295 134512640 134716908 3221224576 3221222960 134542303 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59007 58148 1111 63 0 58944 0
vsize: 236028
[startup+910.036 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18889
Raw data (stat): 18889 (bsolo_lpr-v2) R 18888 21152 21151 0 -1 0 60812 0 0 0 90852 159 0 0 25 0 1 0 895079728 241692672 58148 4294967295 134512640 134716908 3221224576 3221223056 134539576 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59007 58148 1111 63 0 58944 0
vsize: 236028
[startup+920.037 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18889
Raw data (stat): 18889 (bsolo_lpr-v2) R 18888 21152 21151 0 -1 0 60812 0 0 0 91852 159 0 0 25 0 1 0 895079728 241692672 58148 4294967295 134512640 134716908 3221224576 3221223056 134542350 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59007 58148 1111 63 0 58944 0
vsize: 236028
[startup+930.037 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18889
Raw data (stat): 18889 (bsolo_lpr-v2) R 18888 21152 21151 0 -1 0 60812 0 0 0 92852 159 0 0 25 0 1 0 895079728 241692672 58148 4294967295 134512640 134716908 3221224576 3221223204 134594953 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59007 58148 1111 63 0 58944 0
vsize: 236028
[startup+940.037 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18889
Raw data (stat): 18889 (bsolo_lpr-v2) R 18888 21152 21151 0 -1 0 60812 0 0 0 93852 159 0 0 25 0 1 0 895079728 241692672 58148 4294967295 134512640 134716908 3221224576 3221223056 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59007 58148 1111 63 0 58944 0
vsize: 236028
[startup+950.037 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18889
Raw data (stat): 18889 (bsolo_lpr-v2) R 18888 21152 21151 0 -1 0 60812 0 0 0 94852 159 0 0 25 0 1 0 895079728 241692672 58148 4294967295 134512640 134716908 3221224576 3221223240 134627211 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59007 58148 1111 63 0 58944 0
vsize: 236028
[startup+960.037 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18889
Raw data (stat): 18889 (bsolo_lpr-v2) R 18888 21152 21151 0 -1 0 60812 0 0 0 95853 159 0 0 25 0 1 0 895079728 241692672 58148 4294967295 134512640 134716908 3221224576 3221223248 134627266 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59007 58148 1111 63 0 58944 0
vsize: 236028
[startup+970.037 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18889
Raw data (stat): 18889 (bsolo_lpr-v2) R 18888 21152 21151 0 -1 0 60812 0 0 0 96853 159 0 0 25 0 1 0 895079728 241692672 58148 4294967295 134512640 134716908 3221224576 3221223228 134558618 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59007 58148 1111 63 0 58944 0
vsize: 236028
[startup+980.037 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18889
Raw data (stat): 18889 (bsolo_lpr-v2) R 18888 21152 21151 0 -1 0 60812 0 0 0 97853 159 0 0 25 0 1 0 895079728 241692672 58148 4294967295 134512640 134716908 3221224576 3221223248 134627266 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59007 58148 1111 63 0 58944 0
vsize: 236028
[startup+990.038 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18889
Raw data (stat): 18889 (bsolo_lpr-v2) R 18888 21152 21151 0 -1 0 60812 0 0 0 98853 159 0 0 25 0 1 0 895079728 241692672 58148 4294967295 134512640 134716908 3221224576 3221223236 134627213 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59007 58148 1111 63 0 58944 0
vsize: 236028
[startup+1000.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18889
Raw data (stat): 18889 (bsolo_lpr-v2) R 18888 21152 21151 0 -1 0 60812 0 0 0 99853 159 0 0 25 0 1 0 895079728 241692672 58148 4294967295 134512640 134716908 3221224576 3221223240 134627211 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59007 58148 1111 63 0 58944 0
vsize: 236028
[startup+1010.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18889
Raw data (stat): 18889 (bsolo_lpr-v2) R 18888 21152 21151 0 -1 0 60813 0 0 0 100853 159 0 0 25 0 1 0 895079728 241692672 58149 4294967295 134512640 134716908 3221224576 3221223456 134622268 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59007 58149 1111 63 0 58944 0
vsize: 236028
[startup+1020.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18889
Raw data (stat): 18889 (bsolo_lpr-v2) R 18888 21152 21151 0 -1 0 60813 0 0 0 101854 159 0 0 25 0 1 0 895079728 241692672 58149 4294967295 134512640 134716908 3221224576 3221223376 134622759 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59007 58149 1111 63 0 58944 0
vsize: 236028
[startup+1030.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18889
Raw data (stat): 18889 (bsolo_lpr-v2) R 18888 21152 21151 0 -1 0 60813 0 0 0 102854 159 0 0 25 0 1 0 895079728 241692672 58149 4294967295 134512640 134716908 3221224576 3221223432 134543552 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59007 58149 1111 63 0 58944 0
vsize: 236028
[startup+1040.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18889
Raw data (stat): 18889 (bsolo_lpr-v2) R 18888 21152 21151 0 -1 0 60813 0 0 0 103854 159 0 0 25 0 1 0 895079728 241692672 58149 4294967295 134512640 134716908 3221224576 3221223444 134622283 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59007 58149 1111 63 0 58944 0
vsize: 236028
[startup+1050.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18889
Raw data (stat): 18889 (bsolo_lpr-v2) R 18888 21152 21151 0 -1 0 60813 0 0 0 104854 159 0 0 25 0 1 0 895079728 241692672 58149 4294967295 134512640 134716908 3221224576 3221223432 134536900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59007 58149 1111 63 0 58944 0
vsize: 236028
[startup+1060.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18889
Raw data (stat): 18889 (bsolo_lpr-v2) R 18888 21152 21151 0 -1 0 60813 0 0 0 105854 159 0 0 25 0 1 0 895079728 241692672 58149 4294967295 134512640 134716908 3221224576 3221223444 134622283 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59007 58149 1111 63 0 58944 0
vsize: 236028
[startup+1070.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18889
Raw data (stat): 18889 (bsolo_lpr-v2) R 18888 21152 21151 0 -1 0 60813 0 0 0 106854 159 0 0 25 0 1 0 895079728 241692672 58149 4294967295 134512640 134716908 3221224576 3221223376 134622759 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59007 58149 1111 63 0 58944 0
vsize: 236028
[startup+1080.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18889
Raw data (stat): 18889 (bsolo_lpr-v2) R 18888 21152 21151 0 -1 0 60834 0 0 0 107855 159 0 0 25 0 1 0 895079728 241692672 58170 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59007 58170 1111 63 0 58944 0
vsize: 236028
[startup+1090.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18889
Raw data (stat): 18889 (bsolo_lpr-v2) R 18888 21152 21151 0 -1 0 60834 0 0 0 108855 159 0 0 25 0 1 0 895079728 241692672 58170 4294967295 134512640 134716908 3221224576 3221222832 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59007 58170 1111 63 0 58944 0
vsize: 236028
[startup+1100.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18889
Raw data (stat): 18889 (bsolo_lpr-v2) R 18888 21152 21151 0 -1 0 60834 0 0 0 109855 159 0 0 25 0 1 0 895079728 241692672 58170 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59007 58170 1111 63 0 58944 0
vsize: 236028
[startup+1110.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18889
Raw data (stat): 18889 (bsolo_lpr-v2) R 18888 21152 21151 0 -1 0 60834 0 0 0 110855 159 0 0 25 0 1 0 895079728 241692672 58170 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59007 58170 1111 63 0 58944 0
vsize: 236028
[startup+1120.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18889
Raw data (stat): 18889 (bsolo_lpr-v2) R 18888 21152 21151 0 -1 0 60834 0 0 0 111855 159 0 0 25 0 1 0 895079728 241692672 58170 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59007 58170 1111 63 0 58944 0
vsize: 236028
[startup+1130.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18889
Raw data (stat): 18889 (bsolo_lpr-v2) R 18888 21152 21151 0 -1 0 60834 0 0 0 112855 159 0 0 25 0 1 0 895079728 241692672 58170 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59007 58170 1111 63 0 58944 0
vsize: 236028
[startup+1140.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18889
Raw data (stat): 18889 (bsolo_lpr-v2) R 18888 21152 21151 0 -1 0 60834 0 0 0 113855 159 0 0 25 0 1 0 895079728 241692672 58170 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59007 58170 1111 63 0 58944 0
vsize: 236028
[startup+1150.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18889
Raw data (stat): 18889 (bsolo_lpr-v2) R 18888 21152 21151 0 -1 0 60834 0 0 0 114856 159 0 0 25 0 1 0 895079728 241692672 58170 4294967295 134512640 134716908 3221224576 3221222864 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59007 58170 1111 63 0 58944 0
vsize: 236028
[startup+1160.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18889
Raw data (stat): 18889 (bsolo_lpr-v2) R 18888 21152 21151 0 -1 0 60834 0 0 0 115856 159 0 0 25 0 1 0 895079728 241692672 58170 4294967295 134512640 134716908 3221224576 3221222864 1074153786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59007 58170 1111 63 0 58944 0
vsize: 236028
[startup+1170.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18889
Raw data (stat): 18889 (bsolo_lpr-v2) R 18888 21152 21151 0 -1 0 60834 0 0 0 116856 159 0 0 25 0 1 0 895079728 241692672 58170 4294967295 134512640 134716908 3221224576 3221222864 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59007 58170 1111 63 0 58944 0
vsize: 236028
[startup+1180.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18889
Raw data (stat): 18889 (bsolo_lpr-v2) R 18888 21152 21151 0 -1 0 60834 0 0 0 117856 159 0 0 25 0 1 0 895079728 241692672 58170 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59007 58170 1111 63 0 58944 0
vsize: 236028
[startup+1190.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18889
Raw data (stat): 18889 (bsolo_lpr-v2) R 18888 21152 21151 0 -1 0 60834 0 0 0 118856 159 0 0 25 0 1 0 895079728 241692672 58170 4294967295 134512640 134716908 3221224576 3221222864 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59007 58170 1111 63 0 58944 0
vsize: 236028
[startup+1200.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18889
Raw data (stat): 18889 (bsolo_lpr-v2) R 18888 21152 21151 0 -1 0 61105 0 0 0 119856 160 0 0 25 0 1 0 895079728 242798592 58441 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59277 58441 1111 63 0 59214 0
vsize: 237108
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.15 s]
Raw data (loadavg): 1.00 1.00 0.93 1/54 18889
Raw data (stat): 18889 (bsolo_lpr-v2) Z 18888 21152 21151 0 -1 1036 61105 0 0 0 119856 170 0 0 25 0 1 0 895079728 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.15
CPU time (s): 1200.27
CPU user time (s): 1198.56
CPU system time (s): 1.70974
CPU usage (%): 100.01
Max. virtual memory (Kb): 237108
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####