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/frb50-23-opb/normalized-frb50-23-3.opb
MD5SUM	140696e76e8ed6af142b84a22a9a8f01
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-38
Optimality of the best value was proved	NO
Number of terms in the objective function	1150
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	1150
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	1150
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.09
Number of variables	1150
Total number of constraints	81068
Number of constraints which are clauses	81068
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 39712

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-06-07 17:32:17 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27778 boxname=wulflinc3 idbench=336 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  140696e76e8ed6af142b84a22a9a8f01  /oldhome/oroussel/tmp/wulflinc3/normalized-frb50-23-3.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc3/normalized-frb50-23-3.opb
IDLAUNCH: 27778
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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.190
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:        894700 kB
Buffers:         33828 kB
Cached:          77932 kB
SwapCached:       6016 kB
Active:          38952 kB
Inactive:        80172 kB
HighTotal:      131008 kB
HighFree:        94528 kB
LowTotal:       903652 kB
LowFree:        800172 kB
SwapTotal:     2097136 kB
SwapFree:      2090192 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5052 kB
Slab:            15108 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-07 17:52:20 (client local time) WITH STATUS 0 IN 1200.24 SECONDS
stats: 27778 7 1200.24 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 1150 variables and 81068 constraints.
c After prepocess the problem consists of 1150 variables and 54869 constraints.
c preprocess terminated 562.871 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.84 0.95 0.91 1/54 14014
Raw data (stat): 14014 (runsolver) R 14013 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 894809117 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0014 s]
Raw data (loadavg): 0.87 0.95 0.91 2/54 14014
Raw data (stat): 14014 (bsolo_lpr-v2) R 14013 20224 20223 0 -1 0 24589 0 0 0 929 69 0 0 25 0 1 0 894809117 103903232 24505 4294967295 134512640 134716908 3221224576 3221223224 134532457 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25367 24505 1111 63 0 25304 0
vsize: 101468
[startup+20.0021 s]
Raw data (loadavg): 0.89 0.95 0.91 2/54 14014
Raw data (stat): 14014 (bsolo_lpr-v2) R 14013 20224 20223 0 -1 0 27200 0 0 0 1923 75 0 0 25 0 1 0 894809117 112508928 26633 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27468 26633 1111 63 0 27405 0
vsize: 109872
[startup+30.0025 s]
Raw data (loadavg): 0.90 0.95 0.91 2/54 14014
Raw data (stat): 14014 (bsolo_lpr-v2) R 14013 20224 20223 0 -1 0 27586 0 0 0 2923 75 0 0 25 0 1 0 894809117 113995776 26988 4294967295 134512640 134716908 3221224576 3221223164 134535534 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27831 26988 1111 63 0 27768 0
vsize: 111324
[startup+40.0024 s]
Raw data (loadavg): 0.92 0.95 0.91 2/54 14014
Raw data (stat): 14014 (bsolo_lpr-v2) R 14013 20224 20223 0 -1 0 29445 0 0 0 3919 79 0 0 25 0 1 0 894809117 119095296 28216 4294967295 134512640 134716908 3221224576 3221223188 134557795 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29076 28216 1111 63 0 29013 0
vsize: 116304
[startup+50.0025 s]
Raw data (loadavg): 0.93 0.96 0.91 2/54 14014
Raw data (stat): 14014 (bsolo_lpr-v2) R 14013 20224 20223 0 -1 0 30058 0 0 0 4918 80 0 0 25 0 1 0 894809117 117555200 27865 4294967295 134512640 134716908 3221224576 3221222968 1077378310 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28700 27865 1111 63 0 28637 0
vsize: 114800
[startup+60.0031 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 14014
Raw data (stat): 14014 (bsolo_lpr-v2) R 14013 20224 20223 0 -1 0 30058 0 0 0 5919 80 0 0 25 0 1 0 894809117 117555200 27865 4294967295 134512640 134716908 3221224576 3221223192 134543830 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28700 27865 1111 63 0 28637 0
vsize: 114800
[startup+70.0042 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 14014
Raw data (stat): 14014 (bsolo_lpr-v2) R 14013 20224 20223 0 -1 0 30058 0 0 0 6919 80 0 0 25 0 1 0 894809117 117555200 27865 4294967295 134512640 134716908 3221224576 3221223040 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28700 27865 1111 63 0 28637 0
vsize: 114800
[startup+80.0051 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 14014
Raw data (stat): 14014 (bsolo_lpr-v2) R 14013 20224 20223 0 -1 0 30058 0 0 0 7919 80 0 0 25 0 1 0 894809117 117555200 27865 4294967295 134512640 134716908 3221224576 3221223036 134543664 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28700 27865 1111 63 0 28637 0
vsize: 114800
[startup+90.0056 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 14014
Raw data (stat): 14014 (bsolo_lpr-v2) R 14013 20224 20223 0 -1 0 30058 0 0 0 8919 80 0 0 25 0 1 0 894809117 117555200 27865 4294967295 134512640 134716908 3221224576 3221223056 134542303 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28700 27865 1111 63 0 28637 0
vsize: 114800
[startup+100.005 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 14014
Raw data (stat): 14014 (bsolo_lpr-v2) R 14013 20224 20223 0 -1 0 30058 0 0 0 9919 80 0 0 25 0 1 0 894809117 117555200 27865 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28700 27865 1111 63 0 28637 0
vsize: 114800
[startup+110.007 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 14014
Raw data (stat): 14014 (bsolo_lpr-v2) R 14013 20224 20223 0 -1 0 30058 0 0 0 10920 80 0 0 25 0 1 0 894809117 117555200 27865 4294967295 134512640 134716908 3221224576 3221223216 134606495 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28700 27865 1111 63 0 28637 0
vsize: 114800
[startup+120.007 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 14014
Raw data (stat): 14014 (bsolo_lpr-v2) R 14013 20224 20223 0 -1 0 30058 0 0 0 11920 80 0 0 25 0 1 0 894809117 117555200 27865 4294967295 134512640 134716908 3221224576 3221222960 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28700 27865 1111 63 0 28637 0
vsize: 114800
[startup+130.007 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 14014
Raw data (stat): 14014 (bsolo_lpr-v2) R 14013 20224 20223 0 -1 0 30058 0 0 0 12920 80 0 0 25 0 1 0 894809117 117555200 27865 4294967295 134512640 134716908 3221224576 3221223056 134539376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28700 27865 1111 63 0 28637 0
vsize: 114800
[startup+140.008 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 14014
Raw data (stat): 14014 (bsolo_lpr-v2) R 14013 20224 20223 0 -1 0 30058 0 0 0 13920 80 0 0 25 0 1 0 894809117 117555200 27865 4294967295 134512640 134716908 3221224576 3221223056 134539376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28700 27865 1111 63 0 28637 0
vsize: 114800
[startup+150.009 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 14014
Raw data (stat): 14014 (bsolo_lpr-v2) R 14013 20224 20223 0 -1 0 30058 0 0 0 14920 80 0 0 25 0 1 0 894809117 117555200 27865 4294967295 134512640 134716908 3221224576 3221223216 134594970 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28700 27865 1111 63 0 28637 0
vsize: 114800
[startup+160.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14014
Raw data (stat): 14014 (bsolo_lpr-v2) R 14013 20224 20223 0 -1 0 30058 0 0 0 15921 80 0 0 25 0 1 0 894809117 117555200 27865 4294967295 134512640 134716908 3221224576 3221223216 134594947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28700 27865 1111 63 0 28637 0
vsize: 114800
[startup+170.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14014
Raw data (stat): 14014 (bsolo_lpr-v2) R 14013 20224 20223 0 -1 0 30058 0 0 0 16921 80 0 0 25 0 1 0 894809117 117555200 27865 4294967295 134512640 134716908 3221224576 3221223056 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28700 27865 1111 63 0 28637 0
vsize: 114800
[startup+180.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14014
Raw data (stat): 14014 (bsolo_lpr-v2) R 14013 20224 20223 0 -1 0 30058 0 0 0 17921 80 0 0 25 0 1 0 894809117 117555200 27865 4294967295 134512640 134716908 3221224576 3221222940 134539296 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28700 27865 1111 63 0 28637 0
vsize: 114800
[startup+190.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14014
Raw data (stat): 14014 (bsolo_lpr-v2) R 14013 20224 20223 0 -1 0 30058 0 0 0 18921 80 0 0 25 0 1 0 894809117 117555200 27865 4294967295 134512640 134716908 3221224576 3221223108 134542981 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28700 27865 1111 63 0 28637 0
vsize: 114800
[startup+200.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14014
Raw data (stat): 14014 (bsolo_lpr-v2) R 14013 20224 20223 0 -1 0 30058 0 0 0 19921 80 0 0 25 0 1 0 894809117 117555200 27865 4294967295 134512640 134716908 3221224576 3221223056 134542300 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28700 27865 1111 63 0 28637 0
vsize: 114800
[startup+210.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14014
Raw data (stat): 14014 (bsolo_lpr-v2) R 14013 20224 20223 0 -1 0 30058 0 0 0 20922 80 0 0 25 0 1 0 894809117 117555200 27865 4294967295 134512640 134716908 3221224576 3221223304 134675316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28700 27865 1111 63 0 28637 0
vsize: 114800
[startup+220.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14014
Raw data (stat): 14014 (bsolo_lpr-v2) R 14013 20224 20223 0 -1 0 30058 0 0 0 21922 80 0 0 25 0 1 0 894809117 117555200 27865 4294967295 134512640 134716908 3221224576 3221223056 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28700 27865 1111 63 0 28637 0
vsize: 114800
[startup+230.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14014
Raw data (stat): 14014 (bsolo_lpr-v2) R 14013 20224 20223 0 -1 0 30058 0 0 0 22922 80 0 0 25 0 1 0 894809117 117555200 27865 4294967295 134512640 134716908 3221224576 3221222960 134542303 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28700 27865 1111 63 0 28637 0
vsize: 114800
[startup+240.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14014
Raw data (stat): 14014 (bsolo_lpr-v2) R 14013 20224 20223 0 -1 0 30058 0 0 0 23922 80 0 0 25 0 1 0 894809117 117555200 27865 4294967295 134512640 134716908 3221224576 3221223192 134536906 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28700 27865 1111 63 0 28637 0
vsize: 114800
[startup+250.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14014
Raw data (stat): 14014 (bsolo_lpr-v2) R 14013 20224 20223 0 -1 0 30058 0 0 0 24922 80 0 0 25 0 1 0 894809117 117555200 27865 4294967295 134512640 134716908 3221224576 3221223248 134606979 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28700 27865 1111 63 0 28637 0
vsize: 114800
[startup+260.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14014
Raw data (stat): 14014 (bsolo_lpr-v2) R 14013 20224 20223 0 -1 0 30058 0 0 0 25923 80 0 0 25 0 1 0 894809117 117555200 27865 4294967295 134512640 134716908 3221224576 3221222960 134542347 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28700 27865 1111 63 0 28637 0
vsize: 114800
[startup+270.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14014
Raw data (stat): 14014 (bsolo_lpr-v2) R 14013 20224 20223 0 -1 0 30058 0 0 0 26923 80 0 0 25 0 1 0 894809117 117555200 27865 4294967295 134512640 134716908 3221224576 3221223056 134542347 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28700 27865 1111 63 0 28637 0
vsize: 114800
[startup+280.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14014
Raw data (stat): 14014 (bsolo_lpr-v2) R 14013 20224 20223 0 -1 0 30058 0 0 0 27923 80 0 0 25 0 1 0 894809117 117555200 27865 4294967295 134512640 134716908 3221224576 3221222984 134543614 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28700 27865 1111 63 0 28637 0
vsize: 114800
[startup+290.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14014
Raw data (stat): 14014 (bsolo_lpr-v2) R 14013 20224 20223 0 -1 0 30058 0 0 0 28923 80 0 0 25 0 1 0 894809117 117555200 27865 4294967295 134512640 134716908 3221224576 3221222960 134542350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28700 27865 1111 63 0 28637 0
vsize: 114800
[startup+300.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14014
Raw data (stat): 14014 (bsolo_lpr-v2) R 14013 20224 20223 0 -1 0 30058 0 0 0 29923 80 0 0 25 0 1 0 894809117 117555200 27865 4294967295 134512640 134716908 3221224576 3221223040 134536698 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28700 27865 1111 63 0 28637 0
vsize: 114800
[startup+310.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14014
Raw data (stat): 14014 (bsolo_lpr-v2) R 14013 20224 20223 0 -1 0 30058 0 0 0 30923 80 0 0 25 0 1 0 894809117 117555200 27865 4294967295 134512640 134716908 3221224576 3221223080 134543600 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28700 27865 1111 63 0 28637 0
vsize: 114800
[startup+320.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14014
Raw data (stat): 14014 (bsolo_lpr-v2) R 14013 20224 20223 0 -1 0 30058 0 0 0 31924 80 0 0 25 0 1 0 894809117 117555200 27865 4294967295 134512640 134716908 3221224576 3221222992 134543740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28700 27865 1111 63 0 28637 0
vsize: 114800
[startup+330.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14014
Raw data (stat): 14014 (bsolo_lpr-v2) R 14013 20224 20223 0 -1 0 30058 0 0 0 32924 80 0 0 25 0 1 0 894809117 117555200 27865 4294967295 134512640 134716908 3221224576 3221223056 134539462 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28700 27865 1111 63 0 28637 0
vsize: 114800
[startup+340.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14014
Raw data (stat): 14014 (bsolo_lpr-v2) R 14013 20224 20223 0 -1 0 30058 0 0 0 33924 80 0 0 25 0 1 0 894809117 117555200 27865 4294967295 134512640 134716908 3221224576 3221223052 134539217 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28700 27865 1111 63 0 28637 0
vsize: 114800
[startup+350.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14014
Raw data (stat): 14014 (bsolo_lpr-v2) R 14013 20224 20223 0 -1 0 30058 0 0 0 34924 80 0 0 25 0 1 0 894809117 117555200 27865 4294967295 134512640 134716908 3221224576 3221223192 134543785 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28700 27865 1111 63 0 28637 0
vsize: 114800
[startup+360.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14014
Raw data (stat): 14014 (bsolo_lpr-v2) R 14013 20224 20223 0 -1 0 30058 0 0 0 35924 80 0 0 25 0 1 0 894809117 117555200 27865 4294967295 134512640 134716908 3221224576 3221222960 134542350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28700 27865 1111 63 0 28637 0
vsize: 114800
[startup+370.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14014
Raw data (stat): 14014 (bsolo_lpr-v2) R 14013 20224 20223 0 -1 0 30058 0 0 0 36925 80 0 0 25 0 1 0 894809117 117555200 27865 4294967295 134512640 134716908 3221224576 3221223216 134594947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28700 27865 1111 63 0 28637 0
vsize: 114800
[startup+380.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14014
Raw data (stat): 14014 (bsolo_lpr-v2) R 14013 20224 20223 0 -1 0 30058 0 0 0 37925 80 0 0 25 0 1 0 894809117 117555200 27865 4294967295 134512640 134716908 3221224576 3221222960 134542350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28700 27865 1111 63 0 28637 0
vsize: 114800
[startup+390.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14014
Raw data (stat): 14014 (bsolo_lpr-v2) R 14013 20224 20223 0 -1 0 30058 0 0 0 38925 80 0 0 25 0 1 0 894809117 117555200 27865 4294967295 134512640 134716908 3221224576 3221223204 134594953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28700 27865 1111 63 0 28637 0
vsize: 114800
[startup+400.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14014
Raw data (stat): 14014 (bsolo_lpr-v2) R 14013 20224 20223 0 -1 0 30058 0 0 0 39925 80 0 0 25 0 1 0 894809117 117555200 27865 4294967295 134512640 134716908 3221224576 3221222988 134543588 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28700 27865 1111 63 0 28637 0
vsize: 114800
[startup+410.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14014
Raw data (stat): 14014 (bsolo_lpr-v2) R 14013 20224 20223 0 -1 0 30058 0 0 0 40925 80 0 0 25 0 1 0 894809117 117555200 27865 4294967295 134512640 134716908 3221224576 3221223192 134543796 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28700 27865 1111 63 0 28637 0
vsize: 114800
[startup+420.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14014
Raw data (stat): 14014 (bsolo_lpr-v2) R 14013 20224 20223 0 -1 0 30058 0 0 0 41926 80 0 0 25 0 1 0 894809117 117555200 27865 4294967295 134512640 134716908 3221224576 3221222960 134542347 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28700 27865 1111 63 0 28637 0
vsize: 114800
[startup+430.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14014
Raw data (stat): 14014 (bsolo_lpr-v2) R 14013 20224 20223 0 -1 0 30058 0 0 0 42926 81 0 0 25 0 1 0 894809117 117555200 27865 4294967295 134512640 134716908 3221224576 3221222988 134542288 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28700 27865 1111 63 0 28637 0
vsize: 114800
[startup+440.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14014
Raw data (stat): 14014 (bsolo_lpr-v2) R 14013 20224 20223 0 -1 0 30058 0 0 0 43926 81 0 0 25 0 1 0 894809117 117555200 27865 4294967295 134512640 134716908 3221224576 3221223192 134543793 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28700 27865 1111 63 0 28637 0
vsize: 114800
[startup+450.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14014
Raw data (stat): 14014 (bsolo_lpr-v2) R 14013 20224 20223 0 -1 0 30058 0 0 0 44926 81 0 0 25 0 1 0 894809117 117555200 27865 4294967295 134512640 134716908 3221224576 3221223056 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28700 27865 1111 63 0 28637 0
vsize: 114800
[startup+460.021 s]
Raw data (loadavg): 0.99 0.97 0.91 3/54 14014
Raw data (stat): 14014 (bsolo_lpr-v2) R 14013 20224 20223 0 -1 0 30058 0 0 0 45926 81 0 0 25 0 1 0 894809117 117555200 27865 4294967295 134512640 134716908 3221224576 3221222968 134542370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28700 27865 1111 63 0 28637 0
vsize: 114800
[startup+470.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14014
Raw data (stat): 14014 (bsolo_lpr-v2) R 14013 20224 20223 0 -1 0 30058 0 0 0 46926 81 0 0 25 0 1 0 894809117 117555200 27865 4294967295 134512640 134716908 3221224576 3221223228 134558618 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28700 27865 1111 63 0 28637 0
vsize: 114800
[startup+480.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14014
Raw data (stat): 14014 (bsolo_lpr-v2) R 14013 20224 20223 0 -1 0 30058 0 0 0 47926 81 0 0 25 0 1 0 894809117 117555200 27865 4294967295 134512640 134716908 3221224576 3221223248 134627266 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28700 27865 1111 63 0 28637 0
vsize: 114800
[startup+490.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14014
Raw data (stat): 14014 (bsolo_lpr-v2) R 14013 20224 20223 0 -1 0 30058 0 0 0 48926 81 0 0 25 0 1 0 894809117 117555200 27865 4294967295 134512640 134716908 3221224576 3221223248 134627266 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28700 27865 1111 63 0 28637 0
vsize: 114800
[startup+500.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14014
Raw data (stat): 14014 (bsolo_lpr-v2) R 14013 20224 20223 0 -1 0 30058 0 0 0 49926 81 0 0 25 0 1 0 894809117 117555200 27865 4294967295 134512640 134716908 3221224576 3221223236 134627213 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28700 27865 1111 63 0 28637 0
vsize: 114800
[startup+510.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14014
Raw data (stat): 14014 (bsolo_lpr-v2) R 14013 20224 20223 0 -1 0 30058 0 0 0 50926 81 0 0 25 0 1 0 894809117 117555200 27865 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28700 27865 1111 63 0 28637 0
vsize: 114800
[startup+520.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14014
Raw data (stat): 14014 (bsolo_lpr-v2) R 14013 20224 20223 0 -1 0 30058 0 0 0 51926 82 0 0 25 0 1 0 894809117 117555200 27865 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28700 27865 1111 63 0 28637 0
vsize: 114800
[startup+530.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14014
Raw data (stat): 14014 (bsolo_lpr-v2) R 14013 20224 20223 0 -1 0 30059 0 0 0 52927 82 0 0 25 0 1 0 894809117 117555200 27866 4294967295 134512640 134716908 3221224576 3221223364 134622776 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28700 27866 1111 63 0 28637 0
vsize: 114800
[startup+540.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14014
Raw data (stat): 14014 (bsolo_lpr-v2) R 14013 20224 20223 0 -1 0 30059 0 0 0 53927 82 0 0 25 0 1 0 894809117 117555200 27866 4294967295 134512640 134716908 3221224576 3221223376 134622759 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28700 27866 1111 63 0 28637 0
vsize: 114800
[startup+550.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14014
Raw data (stat): 14014 (bsolo_lpr-v2) R 14013 20224 20223 0 -1 0 30059 0 0 0 54927 82 0 0 25 0 1 0 894809117 117555200 27866 4294967295 134512640 134716908 3221224576 3221223360 134622782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28700 27866 1111 63 0 28637 0
vsize: 114800
[startup+560.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14014
Raw data (stat): 14014 (bsolo_lpr-v2) R 14013 20224 20223 0 -1 0 30059 0 0 0 55927 82 0 0 25 0 1 0 894809117 117555200 27866 4294967295 134512640 134716908 3221224576 3221223376 134622759 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28700 27866 1111 63 0 28637 0
vsize: 114800
[startup+570.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14014
Raw data (stat): 14014 (bsolo_lpr-v2) R 14013 20224 20223 0 -1 0 30088 0 0 0 56926 82 0 0 25 0 1 0 894809117 118210560 27895 4294967295 134512640 134716908 3221224576 3221222832 1074153779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28860 27895 1111 63 0 28797 0
vsize: 115440
[startup+580.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14014
Raw data (stat): 14014 (bsolo_lpr-v2) R 14013 20224 20223 0 -1 0 30091 0 0 0 57926 82 0 0 25 0 1 0 894809117 118210560 27898 4294967295 134512640 134716908 3221224576 3221222864 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28860 27898 1111 63 0 28797 0
vsize: 115440
[startup+590.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14014
Raw data (stat): 14014 (bsolo_lpr-v2) R 14013 20224 20223 0 -1 0 30093 0 0 0 58926 82 0 0 25 0 1 0 894809117 118210560 27900 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28860 27900 1111 63 0 28797 0
vsize: 115440
[startup+600.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14014
Raw data (stat): 14014 (bsolo_lpr-v2) R 14013 20224 20223 0 -1 0 30248 0 0 0 59926 83 0 0 25 0 1 0 894809117 118833152 28055 4294967295 134512640 134716908 3221224576 3221222832 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29012 28055 1111 63 0 28949 0
vsize: 116048
[startup+610.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14014
Raw data (stat): 14014 (bsolo_lpr-v2) R 14013 20224 20223 0 -1 0 30268 0 0 0 60924 84 0 0 25 0 1 0 894809117 118906880 28075 4294967295 134512640 134716908 3221224576 3221222464 1077814665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29030 28075 1111 63 0 28967 0
vsize: 116120
[startup+620.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14014
Raw data (stat): 14014 (bsolo_lpr-v2) R 14013 20224 20223 0 -1 0 30285 0 0 0 61923 85 0 0 25 0 1 0 894809117 118972416 28092 4294967295 134512640 134716908 3221224576 3221222864 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29046 28092 1111 63 0 28983 0
vsize: 116184
[startup+630.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14014
Raw data (stat): 14014 (bsolo_lpr-v2) R 14013 20224 20223 0 -1 0 30301 0 0 0 62923 86 0 0 25 0 1 0 894809117 119033856 28108 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29061 28108 1111 63 0 28998 0
vsize: 116244
[startup+640.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14014
Raw data (stat): 14014 (bsolo_lpr-v2) R 14013 20224 20223 0 -1 0 30315 0 0 0 63923 86 0 0 25 0 1 0 894809117 119083008 28122 4294967295 134512640 134716908 3221224576 3221222864 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29073 28122 1111 63 0 29010 0
vsize: 116292
[startup+650.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14014
Raw data (stat): 14014 (bsolo_lpr-v2) R 14013 20224 20223 0 -1 0 30329 0 0 0 64923 87 0 0 25 0 1 0 894809117 119136256 28136 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29086 28136 1111 63 0 29023 0
vsize: 116344
[startup+660.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14014
Raw data (stat): 14014 (bsolo_lpr-v2) R 14013 20224 20223 0 -1 0 30342 0 0 0 65922 87 0 0 25 0 1 0 894809117 119185408 28149 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29098 28149 1111 63 0 29035 0
vsize: 116392
[startup+670.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14014
Raw data (stat): 14014 (bsolo_lpr-v2) R 14013 20224 20223 0 -1 0 30480 0 0 0 66921 88 0 0 25 0 1 0 894809117 119746560 28287 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29235 28287 1111 63 0 29172 0
vsize: 116940
[startup+680.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14014
Raw data (stat): 14014 (bsolo_lpr-v2) R 14013 20224 20223 0 -1 0 30498 0 0 0 67921 89 0 0 25 0 1 0 894809117 119816192 28305 4294967295 134512640 134716908 3221224576 3221222864 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29252 28305 1111 63 0 29189 0
vsize: 117008
[startup+690.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14014
Raw data (stat): 14014 (bsolo_lpr-v2) R 14013 20224 20223 0 -1 0 30513 0 0 0 68921 89 0 0 25 0 1 0 894809117 119877632 28320 4294967295 134512640 134716908 3221224576 3221222832 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29267 28320 1111 63 0 29204 0
vsize: 117068
[startup+700.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14014
Raw data (stat): 14014 (bsolo_lpr-v2) R 14013 20224 20223 0 -1 0 30527 0 0 0 69920 90 0 0 25 0 1 0 894809117 119930880 28334 4294967295 134512640 134716908 3221224576 3221222832 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29280 28334 1111 63 0 29217 0
vsize: 117120
[startup+710.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14014
Raw data (stat): 14014 (bsolo_lpr-v2) R 14013 20224 20223 0 -1 0 30542 0 0 0 70919 91 0 0 25 0 1 0 894809117 119988224 28349 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29294 28349 1111 63 0 29231 0
vsize: 117176
[startup+720.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14014
Raw data (stat): 14014 (bsolo_lpr-v2) R 14013 20224 20223 0 -1 0 30556 0 0 0 71919 91 0 0 25 0 1 0 894809117 120041472 28363 4294967295 134512640 134716908 3221224576 3221222864 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29307 28363 1111 63 0 29244 0
vsize: 117228
[startup+730.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14014
Raw data (stat): 14014 (bsolo_lpr-v2) R 14013 20224 20223 0 -1 0 30572 0 0 0 72919 92 0 0 25 0 1 0 894809117 120102912 28379 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29322 28379 1111 63 0 29259 0
vsize: 117288
[startup+740.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14014
Raw data (stat): 14014 (bsolo_lpr-v2) R 14013 20224 20223 0 -1 0 30586 0 0 0 73919 92 0 0 25 0 1 0 894809117 120160256 28393 4294967295 134512640 134716908 3221224576 3221222784 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29336 28393 1111 63 0 29273 0
vsize: 117344
[startup+750.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14014
Raw data (stat): 14014 (bsolo_lpr-v2) R 14013 20224 20223 0 -1 0 30600 0 0 0 74918 93 0 0 25 0 1 0 894809117 120213504 28407 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29349 28407 1111 63 0 29286 0
vsize: 117396
[startup+760.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14014
Raw data (stat): 14014 (bsolo_lpr-v2) R 14013 20224 20223 0 -1 0 30615 0 0 0 75918 93 0 0 25 0 1 0 894809117 120270848 28422 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29363 28422 1111 63 0 29300 0
vsize: 117452
[startup+770.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14014
Raw data (stat): 14014 (bsolo_lpr-v2) R 14013 20224 20223 0 -1 0 30626 0 0 0 76919 93 0 0 25 0 1 0 894809117 120311808 28433 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29373 28433 1111 63 0 29310 0
vsize: 117492
[startup+780.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14014
Raw data (stat): 14014 (bsolo_lpr-v2) R 14013 20224 20223 0 -1 0 30638 0 0 0 77918 94 0 0 25 0 1 0 894809117 120360960 28445 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29385 28445 1111 63 0 29322 0
vsize: 117540
[startup+790.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14014
Raw data (stat): 14014 (bsolo_lpr-v2) R 14013 20224 20223 0 -1 0 30650 0 0 0 78918 94 0 0 25 0 1 0 894809117 120406016 28457 4294967295 134512640 134716908 3221224576 3221222464 1077814665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29396 28457 1111 63 0 29333 0
vsize: 117584
[startup+800.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14014
Raw data (stat): 14014 (bsolo_lpr-v2) R 14013 20224 20223 0 -1 0 30664 0 0 0 79918 95 0 0 25 0 1 0 894809117 120459264 28471 4294967295 134512640 134716908 3221224576 3221222784 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29409 28471 1111 63 0 29346 0
vsize: 117636
[startup+810.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14014
Raw data (stat): 14014 (bsolo_lpr-v2) R 14013 20224 20223 0 -1 0 30678 0 0 0 80917 95 0 0 25 0 1 0 894809117 120516608 28485 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29423 28485 1111 63 0 29360 0
vsize: 117692
[startup+820.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14014
Raw data (stat): 14014 (bsolo_lpr-v2) R 14013 20224 20223 0 -1 0 30691 0 0 0 81918 95 0 0 25 0 1 0 894809117 120565760 28498 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29435 28498 1111 63 0 29372 0
vsize: 117740
[startup+830.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14014
Raw data (stat): 14014 (bsolo_lpr-v2) R 14013 20224 20223 0 -1 0 30703 0 0 0 82917 96 0 0 25 0 1 0 894809117 120614912 28510 4294967295 134512640 134716908 3221224576 3221222832 1074153792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29447 28510 1111 63 0 29384 0
vsize: 117788
[startup+840.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14014
Raw data (stat): 14014 (bsolo_lpr-v2) R 14013 20224 20223 0 -1 0 30716 0 0 0 83917 96 0 0 25 0 1 0 894809117 120664064 28523 4294967295 134512640 134716908 3221224576 3221222816 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29459 28523 1111 63 0 29396 0
vsize: 117836
[startup+850.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14014
Raw data (stat): 14014 (bsolo_lpr-v2) R 14013 20224 20223 0 -1 0 30727 0 0 0 84916 97 0 0 25 0 1 0 894809117 120705024 28534 4294967295 134512640 134716908 3221224576 3221222832 1074153792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29469 28534 1111 63 0 29406 0
vsize: 117876
[startup+860.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14014
Raw data (stat): 14014 (bsolo_lpr-v2) R 14013 20224 20223 0 -1 0 30738 0 0 0 85916 98 0 0 25 0 1 0 894809117 120750080 28545 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29480 28545 1111 63 0 29417 0
vsize: 117920
[startup+870.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14014
Raw data (stat): 14014 (bsolo_lpr-v2) R 14013 20224 20223 0 -1 0 30749 0 0 0 86916 98 0 0 25 0 1 0 894809117 120791040 28556 4294967295 134512640 134716908 3221224576 3221222816 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29490 28556 1111 63 0 29427 0
vsize: 117960
[startup+880.037 s]
Raw data (loadavg): 0.99 0.97 0.91 3/54 14014
Raw data (stat): 14014 (bsolo_lpr-v2) R 14013 20224 20223 0 -1 0 30758 0 0 0 87916 99 0 0 25 0 1 0 894809117 120827904 28565 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29499 28565 1111 63 0 29436 0
vsize: 117996
[startup+890.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14014
Raw data (stat): 14014 (bsolo_lpr-v2) R 14013 20224 20223 0 -1 0 30768 0 0 0 88915 99 0 0 25 0 1 0 894809117 120864768 28575 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29508 28575 1111 63 0 29445 0
vsize: 118032
[startup+900.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14014
Raw data (stat): 14014 (bsolo_lpr-v2) R 14013 20224 20223 0 -1 0 30875 0 0 0 89915 100 0 0 25 0 1 0 894809117 121303040 28682 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29615 28682 1111 63 0 29552 0
vsize: 118460
[startup+910.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14014
Raw data (stat): 14014 (bsolo_lpr-v2) R 14013 20224 20223 0 -1 0 30885 0 0 0 90914 101 0 0 25 0 1 0 894809117 121339904 28692 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29624 28692 1111 63 0 29561 0
vsize: 118496
[startup+920.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14014
Raw data (stat): 14014 (bsolo_lpr-v2) R 14013 20224 20223 0 -1 0 30896 0 0 0 91914 101 0 0 25 0 1 0 894809117 121380864 28703 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29634 28703 1111 63 0 29571 0
vsize: 118536
[startup+930.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14014
Raw data (stat): 14014 (bsolo_lpr-v2) R 14013 20224 20223 0 -1 0 30905 0 0 0 92913 102 0 0 25 0 1 0 894809117 121417728 28712 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29643 28712 1111 63 0 29580 0
vsize: 118572
[startup+940.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14014
Raw data (stat): 14014 (bsolo_lpr-v2) R 14013 20224 20223 0 -1 0 30915 0 0 0 93913 102 0 0 25 0 1 0 894809117 121454592 28722 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28722 1111 63 0 29589 0
vsize: 118608
[startup+950.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14014
Raw data (stat): 14014 (bsolo_lpr-v2) R 14013 20224 20223 0 -1 0 30924 0 0 0 94912 104 0 0 25 0 1 0 894809117 121491456 28731 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29661 28731 1111 63 0 29598 0
vsize: 118644
[startup+960.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14014
Raw data (stat): 14014 (bsolo_lpr-v2) R 14013 20224 20223 0 -1 0 30934 0 0 0 95912 104 0 0 25 0 1 0 894809117 121528320 28741 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29670 28741 1111 63 0 29607 0
vsize: 118680
[startup+970.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14014
Raw data (stat): 14014 (bsolo_lpr-v2) R 14013 20224 20223 0 -1 0 30943 0 0 0 96912 104 0 0 25 0 1 0 894809117 121565184 28750 4294967295 134512640 134716908 3221224576 3221222784 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29679 28750 1111 63 0 29616 0
vsize: 118716
[startup+980.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14014
Raw data (stat): 14014 (bsolo_lpr-v2) R 14013 20224 20223 0 -1 0 30953 0 0 0 97911 105 0 0 25 0 1 0 894809117 121602048 28760 4294967295 134512640 134716908 3221224576 3221222832 1074153792 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29688 28760 1111 63 0 29625 0
vsize: 118752
[startup+990.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14014
Raw data (stat): 14014 (bsolo_lpr-v2) R 14013 20224 20223 0 -1 0 30962 0 0 0 98909 106 0 0 25 0 1 0 894809117 121638912 28769 4294967295 134512640 134716908 3221224576 3221222832 1074153648 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29697 28769 1111 63 0 29634 0
vsize: 118788
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14014
Raw data (stat): 14014 (bsolo_lpr-v2) R 14013 20224 20223 0 -1 0 30971 0 0 0 99908 106 0 0 25 0 1 0 894809117 121671680 28778 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29705 28778 1111 63 0 29642 0
vsize: 118820
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14014
Raw data (stat): 14014 (bsolo_lpr-v2) R 14013 20224 20223 0 -1 0 30980 0 0 0 100908 106 0 0 25 0 1 0 894809117 121708544 28787 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29714 28787 1111 63 0 29651 0
vsize: 118856
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14014
Raw data (stat): 14014 (bsolo_lpr-v2) R 14013 20224 20223 0 -1 0 30987 0 0 0 101908 106 0 0 25 0 1 0 894809117 121737216 28794 4294967295 134512640 134716908 3221224576 3221222832 1074153779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29721 28794 1111 63 0 29658 0
vsize: 118884
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14014
Raw data (stat): 14014 (bsolo_lpr-v2) R 14013 20224 20223 0 -1 0 30997 0 0 0 102908 107 0 0 25 0 1 0 894809117 121774080 28804 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29730 28804 1111 63 0 29667 0
vsize: 118920
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14014
Raw data (stat): 14014 (bsolo_lpr-v2) R 14013 20224 20223 0 -1 0 31005 0 0 0 103908 107 0 0 25 0 1 0 894809117 121806848 28812 4294967295 134512640 134716908 3221224576 3221222816 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29738 28812 1111 63 0 29675 0
vsize: 118952
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14014
Raw data (stat): 14014 (bsolo_lpr-v2) R 14013 20224 20223 0 -1 0 31015 0 0 0 104908 107 0 0 25 0 1 0 894809117 121843712 28822 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29747 28822 1111 63 0 29684 0
vsize: 118988
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14014
Raw data (stat): 14014 (bsolo_lpr-v2) R 14013 20224 20223 0 -1 0 31156 0 0 0 105906 109 0 0 25 0 1 0 894809117 122421248 28963 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29888 28963 1111 63 0 29825 0
vsize: 119552
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14014
Raw data (stat): 14014 (bsolo_lpr-v2) R 14013 20224 20223 0 -1 0 31166 0 0 0 106906 109 0 0 25 0 1 0 894809117 122458112 28973 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29897 28973 1111 63 0 29834 0
vsize: 119588
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14014
Raw data (stat): 14014 (bsolo_lpr-v2) R 14013 20224 20223 0 -1 0 31175 0 0 0 107905 110 0 0 25 0 1 0 894809117 122494976 28982 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29906 28982 1111 63 0 29843 0
vsize: 119624
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14014
Raw data (stat): 14014 (bsolo_lpr-v2) R 14013 20224 20223 0 -1 0 31184 0 0 0 108906 110 0 0 25 0 1 0 894809117 122527744 28991 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29914 28991 1111 63 0 29851 0
vsize: 119656
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14014
Raw data (stat): 14014 (bsolo_lpr-v2) R 14013 20224 20223 0 -1 0 31193 0 0 0 109905 111 0 0 25 0 1 0 894809117 122564608 29000 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29923 29000 1111 63 0 29860 0
vsize: 119692
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14014
Raw data (stat): 14014 (bsolo_lpr-v2) R 14013 20224 20223 0 -1 0 31202 0 0 0 110905 111 0 0 25 0 1 0 894809117 122601472 29009 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29932 29009 1111 63 0 29869 0
vsize: 119728
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14014
Raw data (stat): 14014 (bsolo_lpr-v2) R 14013 20224 20223 0 -1 0 31210 0 0 0 111904 112 0 0 25 0 1 0 894809117 122630144 29017 4294967295 134512640 134716908 3221224576 3221222784 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29939 29017 1111 63 0 29876 0
vsize: 119756
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14014
Raw data (stat): 14014 (bsolo_lpr-v2) R 14013 20224 20223 0 -1 0 31219 0 0 0 112905 112 0 0 25 0 1 0 894809117 122667008 29026 4294967295 134512640 134716908 3221224576 3221222784 1074153786 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29948 29026 1111 63 0 29885 0
vsize: 119792
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14014
Raw data (stat): 14014 (bsolo_lpr-v2) R 14013 20224 20223 0 -1 0 31228 0 0 0 113904 112 0 0 25 0 1 0 894809117 122699776 29035 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29956 29035 1111 63 0 29893 0
vsize: 119824
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14014
Raw data (stat): 14014 (bsolo_lpr-v2) R 14013 20224 20223 0 -1 0 31237 0 0 0 114904 113 0 0 25 0 1 0 894809117 122736640 29044 4294967295 134512640 134716908 3221224576 3221222784 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29965 29044 1111 63 0 29902 0
vsize: 119860
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14014
Raw data (stat): 14014 (bsolo_lpr-v2) R 14013 20224 20223 0 -1 0 31245 0 0 0 115904 113 0 0 25 0 1 0 894809117 122765312 29052 4294967295 134512640 134716908 3221224576 3221222816 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29972 29052 1111 63 0 29909 0
vsize: 119888
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14014
Raw data (stat): 14014 (bsolo_lpr-v2) R 14013 20224 20223 0 -1 0 31254 0 0 0 116904 113 0 0 25 0 1 0 894809117 122802176 29061 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29981 29061 1111 63 0 29918 0
vsize: 119924
[startup+1180.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14014
Raw data (stat): 14014 (bsolo_lpr-v2) R 14013 20224 20223 0 -1 0 31262 0 0 0 117904 113 0 0 25 0 1 0 894809117 122834944 29069 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29989 29069 1111 63 0 29926 0
vsize: 119956
[startup+1190.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14014
Raw data (stat): 14014 (bsolo_lpr-v2) R 14013 20224 20223 0 -1 0 31272 0 0 0 118904 113 0 0 25 0 1 0 894809117 122871808 29079 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29998 29079 1111 63 0 29935 0
vsize: 119992
[startup+1200.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14014
Raw data (stat): 14014 (bsolo_lpr-v2) R 14013 20224 20223 0 -1 0 31281 0 0 0 119904 114 0 0 25 0 1 0 894809117 122908672 29088 4294967295 134512640 134716908 3221224576 3221222784 1074153779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30007 29088 1111 63 0 29944 0
vsize: 120028
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.1 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 14014
Raw data (stat): 14014 (bsolo_lpr-v2) Z 14013 20224 20223 0 -1 1036 31281 0 0 0 119904 119 0 0 25 0 1 0 894809117 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 0 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.1
CPU time (s): 1200.24
CPU user time (s): 1199.05
CPU system time (s): 1.19582
CPU usage (%): 100.012
Max. virtual memory (Kb): 120028
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####