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/frb45-21-opb/normalized-frb45-21-2.opb
MD5SUM	a931f7e9a55cb6836807387327525e8b
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-35
Optimality of the best value was proved	NO
Number of terms in the objective function	945
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	945
Number of bits of the sum of numbers in the objective function	10
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	945
Number of bits of the biggest sum of numbers	10
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.08
Number of variables	945
Total number of constraints	58624
Number of constraints which are clauses	58624
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 39706

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-06-07 17:12:07 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27772 boxname=wulflinc3 idbench=330 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  a931f7e9a55cb6836807387327525e8b  /oldhome/oroussel/tmp/wulflinc3/normalized-frb45-21-2.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc3/normalized-frb45-21-2.opb
IDLAUNCH: 27772
/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:        897236 kB
Buffers:         33812 kB
Cached:          75568 kB
SwapCached:       6016 kB
Active:          36796 kB
Inactive:        79944 kB
HighTotal:      131008 kB
HighFree:        96880 kB
LowTotal:       903652 kB
LowFree:        800356 kB
SwapTotal:     2097136 kB
SwapFree:      2090192 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5052 kB
Slab:            15000 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-07 17:32:09 (client local time) WITH STATUS 0 IN 1200.27 SECONDS
stats: 27772 7 1200.27 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 945 variables and 58624 constraints.
c After prepocess the problem consists of 945 variables and 40213 constraints.
c preprocess terminated 392.148 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.93 0.98 0.92 2/54 13922
Raw data (stat): 13922 (runsolver) R 13921 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 894688044 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.0008 s]
Raw data (loadavg): 0.94 0.98 0.92 2/54 13922
Raw data (stat): 13922 (bsolo_lpr-v2) R 13921 20224 20223 0 -1 0 22301 0 0 0 938 59 0 0 25 0 1 0 894688044 94433280 22218 4294967295 134512640 134716908 3221224576 3221223136 1076648059 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23055 22218 1111 63 0 22992 0
vsize: 92220
[startup+20.0017 s]
Raw data (loadavg): 0.95 0.98 0.92 2/54 13922
Raw data (stat): 13922 (bsolo_lpr-v2) R 13921 20224 20223 0 -1 0 24000 0 0 0 1934 63 0 0 25 0 1 0 894688044 98455552 23203 4294967295 134512640 134716908 3221224576 3221223224 134543594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24037 23203 1111 63 0 23974 0
vsize: 96148
[startup+30.0027 s]
Raw data (loadavg): 0.95 0.98 0.92 2/54 13922
Raw data (stat): 13922 (bsolo_lpr-v2) R 13921 20224 20223 0 -1 0 24000 0 0 0 2934 63 0 0 25 0 1 0 894688044 98455552 23203 4294967295 134512640 134716908 3221224576 3221223376 134617258 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24037 23203 1111 63 0 23974 0
vsize: 96148
[startup+40.0021 s]
Raw data (loadavg): 0.96 0.98 0.92 2/54 13922
Raw data (stat): 13922 (bsolo_lpr-v2) R 13921 20224 20223 0 -1 0 24000 0 0 0 3934 63 0 0 25 0 1 0 894688044 98455552 23203 4294967295 134512640 134716908 3221224576 3221223204 134594953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24037 23203 1111 63 0 23974 0
vsize: 96148
[startup+50.0029 s]
Raw data (loadavg): 0.97 0.98 0.92 2/54 13922
Raw data (stat): 13922 (bsolo_lpr-v2) R 13921 20224 20223 0 -1 0 24000 0 0 0 4934 63 0 0 25 0 1 0 894688044 98455552 23203 4294967295 134512640 134716908 3221224576 3221223036 134543664 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24037 23203 1111 63 0 23974 0
vsize: 96148
[startup+60.003 s]
Raw data (loadavg): 0.97 0.98 0.92 2/54 13922
Raw data (stat): 13922 (bsolo_lpr-v2) R 13921 20224 20223 0 -1 0 24000 0 0 0 5934 63 0 0 25 0 1 0 894688044 98455552 23203 4294967295 134512640 134716908 3221224576 3221223144 134675203 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24037 23203 1111 63 0 23974 0
vsize: 96148
[startup+70.0036 s]
Raw data (loadavg): 0.97 0.98 0.92 2/54 13922
Raw data (stat): 13922 (bsolo_lpr-v2) R 13921 20224 20223 0 -1 0 24000 0 0 0 6935 63 0 0 25 0 1 0 894688044 98455552 23203 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24037 23203 1111 63 0 23974 0
vsize: 96148
[startup+80.0048 s]
Raw data (loadavg): 0.98 0.98 0.92 2/54 13922
Raw data (stat): 13922 (bsolo_lpr-v2) R 13921 20224 20223 0 -1 0 24000 0 0 0 7935 63 0 0 25 0 1 0 894688044 98455552 23203 4294967295 134512640 134716908 3221224576 3221223192 134543796 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24037 23203 1111 63 0 23974 0
vsize: 96148
[startup+90.0046 s]
Raw data (loadavg): 0.98 0.98 0.92 2/54 13922
Raw data (stat): 13922 (bsolo_lpr-v2) R 13921 20224 20223 0 -1 0 24000 0 0 0 8935 63 0 0 25 0 1 0 894688044 98455552 23203 4294967295 134512640 134716908 3221224576 3221223056 134539374 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24037 23203 1111 63 0 23974 0
vsize: 96148
[startup+100.005 s]
Raw data (loadavg): 0.98 0.98 0.92 2/54 13922
Raw data (stat): 13922 (bsolo_lpr-v2) R 13921 20224 20223 0 -1 0 24000 0 0 0 9935 63 0 0 25 0 1 0 894688044 98455552 23203 4294967295 134512640 134716908 3221224576 3221223284 134618255 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24037 23203 1111 63 0 23974 0
vsize: 96148
[startup+110.005 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 13922
Raw data (stat): 13922 (bsolo_lpr-v2) R 13921 20224 20223 0 -1 0 24000 0 0 0 10935 63 0 0 25 0 1 0 894688044 98455552 23203 4294967295 134512640 134716908 3221224576 3221223080 134543606 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24037 23203 1111 63 0 23974 0
vsize: 96148
[startup+120.006 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 13922
Raw data (stat): 13922 (bsolo_lpr-v2) R 13921 20224 20223 0 -1 0 24000 0 0 0 11935 63 0 0 25 0 1 0 894688044 98455552 23203 4294967295 134512640 134716908 3221224576 3221222960 134542303 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24037 23203 1111 63 0 23974 0
vsize: 96148
[startup+130.006 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 13922
Raw data (stat): 13922 (bsolo_lpr-v2) R 13921 20224 20223 0 -1 0 24000 0 0 0 12936 63 0 0 25 0 1 0 894688044 98455552 23203 4294967295 134512640 134716908 3221224576 3221223056 134542350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24037 23203 1111 63 0 23974 0
vsize: 96148
[startup+140.006 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 13922
Raw data (stat): 13922 (bsolo_lpr-v2) R 13921 20224 20223 0 -1 0 24000 0 0 0 13936 63 0 0 25 0 1 0 894688044 98455552 23203 4294967295 134512640 134716908 3221224576 3221223104 134542848 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24037 23203 1111 63 0 23974 0
vsize: 96148
[startup+150.007 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 13922
Raw data (stat): 13922 (bsolo_lpr-v2) R 13921 20224 20223 0 -1 0 24000 0 0 0 14936 63 0 0 25 0 1 0 894688044 98455552 23203 4294967295 134512640 134716908 3221224576 3221223204 134594953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24037 23203 1111 63 0 23974 0
vsize: 96148
[startup+160.006 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 13922
Raw data (stat): 13922 (bsolo_lpr-v2) R 13921 20224 20223 0 -1 0 24000 0 0 0 15936 63 0 0 25 0 1 0 894688044 98455552 23203 4294967295 134512640 134716908 3221224576 3221222940 134539301 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24037 23203 1111 63 0 23974 0
vsize: 96148
[startup+170.007 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 13922
Raw data (stat): 13922 (bsolo_lpr-v2) R 13921 20224 20223 0 -1 0 24000 0 0 0 16936 63 0 0 25 0 1 0 894688044 98455552 23203 4294967295 134512640 134716908 3221224576 3221223080 134543652 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24037 23203 1111 63 0 23974 0
vsize: 96148
[startup+180.007 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 13922
Raw data (stat): 13922 (bsolo_lpr-v2) R 13921 20224 20223 0 -1 0 24000 0 0 0 17936 63 0 0 25 0 1 0 894688044 98455552 23203 4294967295 134512640 134716908 3221224576 3221223104 134543700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24037 23203 1111 63 0 23974 0
vsize: 96148
[startup+190.007 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 13922
Raw data (stat): 13922 (bsolo_lpr-v2) R 13921 20224 20223 0 -1 0 24000 0 0 0 18937 63 0 0 25 0 1 0 894688044 98455552 23203 4294967295 134512640 134716908 3221224576 3221223056 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24037 23203 1111 63 0 23974 0
vsize: 96148
[startup+200.007 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 13922
Raw data (stat): 13922 (bsolo_lpr-v2) R 13921 20224 20223 0 -1 0 24000 0 0 0 19937 63 0 0 25 0 1 0 894688044 98455552 23203 4294967295 134512640 134716908 3221224576 3221223216 134594970 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24037 23203 1111 63 0 23974 0
vsize: 96148
[startup+210.007 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 13922
Raw data (stat): 13922 (bsolo_lpr-v2) R 13921 20224 20223 0 -1 0 24000 0 0 0 20937 63 0 0 25 0 1 0 894688044 98455552 23203 4294967295 134512640 134716908 3221224576 3221222960 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24037 23203 1111 63 0 23974 0
vsize: 96148
[startup+220.007 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 13922
Raw data (stat): 13922 (bsolo_lpr-v2) R 13921 20224 20223 0 -1 0 24000 0 0 0 21937 63 0 0 25 0 1 0 894688044 98455552 23203 4294967295 134512640 134716908 3221224576 3221223140 134535756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24037 23203 1111 63 0 23974 0
vsize: 96148
[startup+230.007 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 13922
Raw data (stat): 13922 (bsolo_lpr-v2) R 13921 20224 20223 0 -1 0 24000 0 0 0 22937 63 0 0 25 0 1 0 894688044 98455552 23203 4294967295 134512640 134716908 3221224576 3221223216 134594970 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24037 23203 1111 63 0 23974 0
vsize: 96148
[startup+240.007 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 13922
Raw data (stat): 13922 (bsolo_lpr-v2) R 13921 20224 20223 0 -1 0 24000 0 0 0 23937 63 0 0 25 0 1 0 894688044 98455552 23203 4294967295 134512640 134716908 3221224576 3221223152 134535844 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24037 23203 1111 63 0 23974 0
vsize: 96148
[startup+250.008 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 13922
Raw data (stat): 13922 (bsolo_lpr-v2) R 13921 20224 20223 0 -1 0 24000 0 0 0 24938 63 0 0 25 0 1 0 894688044 98455552 23203 4294967295 134512640 134716908 3221224576 3221222992 134542677 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24037 23203 1111 63 0 23974 0
vsize: 96148
[startup+260.008 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 13922
Raw data (stat): 13922 (bsolo_lpr-v2) R 13921 20224 20223 0 -1 0 24000 0 0 0 25938 63 0 0 25 0 1 0 894688044 98455552 23203 4294967295 134512640 134716908 3221224576 3221223204 134594953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24037 23203 1111 63 0 23974 0
vsize: 96148
[startup+270.009 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 13922
Raw data (stat): 13922 (bsolo_lpr-v2) R 13921 20224 20223 0 -1 0 24000 0 0 0 26938 63 0 0 25 0 1 0 894688044 98455552 23203 4294967295 134512640 134716908 3221224576 3221223192 134543796 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24037 23203 1111 63 0 23974 0
vsize: 96148
[startup+280.009 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 13922
Raw data (stat): 13922 (bsolo_lpr-v2) R 13921 20224 20223 0 -1 0 24000 0 0 0 27938 63 0 0 25 0 1 0 894688044 98455552 23203 4294967295 134512640 134716908 3221224576 3221222992 134543684 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24037 23203 1111 63 0 23974 0
vsize: 96148
[startup+290.009 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 13922
Raw data (stat): 13922 (bsolo_lpr-v2) R 13921 20224 20223 0 -1 0 24000 0 0 0 28938 63 0 0 25 0 1 0 894688044 98455552 23203 4294967295 134512640 134716908 3221224576 3221223204 134594953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24037 23203 1111 63 0 23974 0
vsize: 96148
[startup+300.009 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 13922
Raw data (stat): 13922 (bsolo_lpr-v2) R 13921 20224 20223 0 -1 0 24000 0 0 0 29938 63 0 0 25 0 1 0 894688044 98455552 23203 4294967295 134512640 134716908 3221224576 3221223068 134542288 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24037 23203 1111 63 0 23974 0
vsize: 96148
[startup+310.009 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 13922
Raw data (stat): 13922 (bsolo_lpr-v2) R 13921 20224 20223 0 -1 0 24000 0 0 0 30939 63 0 0 25 0 1 0 894688044 98455552 23203 4294967295 134512640 134716908 3221224576 3221223224 134558490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24037 23203 1111 63 0 23974 0
vsize: 96148
[startup+320.01 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 13922
Raw data (stat): 13922 (bsolo_lpr-v2) R 13921 20224 20223 0 -1 0 24000 0 0 0 31939 63 0 0 25 0 1 0 894688044 98455552 23203 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24037 23203 1111 63 0 23974 0
vsize: 96148
[startup+330.011 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 13922
Raw data (stat): 13922 (bsolo_lpr-v2) R 13921 20224 20223 0 -1 0 24000 0 0 0 32939 63 0 0 25 0 1 0 894688044 98455552 23203 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24037 23203 1111 63 0 23974 0
vsize: 96148
[startup+340.01 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 13922
Raw data (stat): 13922 (bsolo_lpr-v2) R 13921 20224 20223 0 -1 0 24000 0 0 0 33939 63 0 0 25 0 1 0 894688044 98455552 23203 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24037 23203 1111 63 0 23974 0
vsize: 96148
[startup+350.01 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 13922
Raw data (stat): 13922 (bsolo_lpr-v2) R 13921 20224 20223 0 -1 0 24000 0 0 0 34939 64 0 0 25 0 1 0 894688044 98455552 23203 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24037 23203 1111 63 0 23974 0
vsize: 96148
[startup+360.011 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 13922
Raw data (stat): 13922 (bsolo_lpr-v2) R 13921 20224 20223 0 -1 0 24000 0 0 0 35940 64 0 0 25 0 1 0 894688044 98455552 23203 4294967295 134512640 134716908 3221224576 3221223248 134627266 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24037 23203 1111 63 0 23974 0
vsize: 96148
[startup+370.012 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 13922
Raw data (stat): 13922 (bsolo_lpr-v2) R 13921 20224 20223 0 -1 0 24001 0 0 0 36940 64 0 0 25 0 1 0 894688044 98455552 23204 4294967295 134512640 134716908 3221224576 3221223356 134543156 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24037 23204 1111 63 0 23974 0
vsize: 96148
[startup+380.012 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 13922
Raw data (stat): 13922 (bsolo_lpr-v2) R 13921 20224 20223 0 -1 0 24001 0 0 0 37940 64 0 0 25 0 1 0 894688044 98455552 23204 4294967295 134512640 134716908 3221224576 3221223444 134622283 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24037 23204 1111 63 0 23974 0
vsize: 96148
[startup+390.012 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 13922
Raw data (stat): 13922 (bsolo_lpr-v2) R 13921 20224 20223 0 -1 0 24001 0 0 0 38940 64 0 0 25 0 1 0 894688044 98455552 23204 4294967295 134512640 134716908 3221224576 3221223356 134558476 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24037 23204 1111 63 0 23974 0
vsize: 96148
[startup+400.012 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 13922
Raw data (stat): 13922 (bsolo_lpr-v2) R 13921 20224 20223 0 -1 0 24022 0 0 0 39940 64 0 0 25 0 1 0 894688044 98455552 23225 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24037 23225 1111 63 0 23974 0
vsize: 96148
[startup+410.012 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 13922
Raw data (stat): 13922 (bsolo_lpr-v2) R 13921 20224 20223 0 -1 0 24197 0 0 0 40939 64 0 0 25 0 1 0 894688044 99168256 23400 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24211 23400 1111 63 0 24148 0
vsize: 96844
[startup+420.013 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 13922
Raw data (stat): 13922 (bsolo_lpr-v2) R 13921 20224 20223 0 -1 0 24226 0 0 0 41939 65 0 0 25 0 1 0 894688044 99287040 23429 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24240 23429 1111 63 0 24177 0
vsize: 96960
[startup+430.014 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 13922
Raw data (stat): 13922 (bsolo_lpr-v2) R 13921 20224 20223 0 -1 0 24250 0 0 0 42938 66 0 0 25 0 1 0 894688044 99385344 23453 4294967295 134512640 134716908 3221224576 3221222864 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24264 23453 1111 63 0 24201 0
vsize: 97056
[startup+440.014 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 13922
Raw data (stat): 13922 (bsolo_lpr-v2) R 13921 20224 20223 0 -1 0 24271 0 0 0 43938 66 0 0 25 0 1 0 894688044 99471360 23474 4294967295 134512640 134716908 3221224576 3221222832 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24285 23474 1111 63 0 24222 0
vsize: 97140
[startup+450.015 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 13922
Raw data (stat): 13922 (bsolo_lpr-v2) R 13921 20224 20223 0 -1 0 24292 0 0 0 44937 67 0 0 25 0 1 0 894688044 99557376 23495 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24306 23495 1111 63 0 24243 0
vsize: 97224
[startup+460.014 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 13922
Raw data (stat): 13922 (bsolo_lpr-v2) R 13921 20224 20223 0 -1 0 24310 0 0 0 45937 68 0 0 25 0 1 0 894688044 99631104 23513 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24324 23513 1111 63 0 24261 0
vsize: 97296
[startup+470.015 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 13922
Raw data (stat): 13922 (bsolo_lpr-v2) R 13921 20224 20223 0 -1 0 24326 0 0 0 46936 69 0 0 25 0 1 0 894688044 99696640 23529 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24340 23529 1111 63 0 24277 0
vsize: 97360
[startup+480.017 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 13922
Raw data (stat): 13922 (bsolo_lpr-v2) R 13921 20224 20223 0 -1 0 24344 0 0 0 47936 69 0 0 25 0 1 0 894688044 99770368 23547 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24358 23547 1111 63 0 24295 0
vsize: 97432
[startup+490.016 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 13922
Raw data (stat): 13922 (bsolo_lpr-v2) R 13921 20224 20223 0 -1 0 24361 0 0 0 48935 70 0 0 25 0 1 0 894688044 99840000 23564 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24375 23564 1111 63 0 24312 0
vsize: 97500
[startup+500.017 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 13922
Raw data (stat): 13922 (bsolo_lpr-v2) R 13921 20224 20223 0 -1 0 24376 0 0 0 49935 71 0 0 25 0 1 0 894688044 99901440 23579 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24390 23579 1111 63 0 24327 0
vsize: 97560
[startup+510.018 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 13922
Raw data (stat): 13922 (bsolo_lpr-v2) R 13921 20224 20223 0 -1 0 24448 0 0 0 50934 72 0 0 25 0 1 0 894688044 100196352 23651 4294967295 134512640 134716908 3221224576 3221222816 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24462 23651 1111 63 0 24399 0
vsize: 97848
[startup+520.018 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 13922
Raw data (stat): 13922 (bsolo_lpr-v2) R 13921 20224 20223 0 -1 0 24462 0 0 0 51933 72 0 0 25 0 1 0 894688044 100253696 23665 4294967295 134512640 134716908 3221224576 3221222816 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24476 23665 1111 63 0 24413 0
vsize: 97904
[startup+530.02 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 13922
Raw data (stat): 13922 (bsolo_lpr-v2) R 13921 20224 20223 0 -1 0 24475 0 0 0 52933 73 0 0 25 0 1 0 894688044 100306944 23678 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24489 23678 1111 63 0 24426 0
vsize: 97956
[startup+540.019 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 13922
Raw data (stat): 13922 (bsolo_lpr-v2) R 13921 20224 20223 0 -1 0 24489 0 0 0 53933 73 0 0 25 0 1 0 894688044 100364288 23692 4294967295 134512640 134716908 3221224576 3221222832 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24503 23692 1111 63 0 24440 0
vsize: 98012
[startup+550.02 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 13922
Raw data (stat): 13922 (bsolo_lpr-v2) R 13921 20224 20223 0 -1 0 24502 0 0 0 54933 74 0 0 25 0 1 0 894688044 100417536 23705 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24516 23705 1111 63 0 24453 0
vsize: 98064
[startup+560.021 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 13922
Raw data (stat): 13922 (bsolo_lpr-v2) R 13921 20224 20223 0 -1 0 24516 0 0 0 55933 74 0 0 25 0 1 0 894688044 100474880 23719 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24530 23719 1111 63 0 24467 0
vsize: 98120
[startup+570.021 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 13922
Raw data (stat): 13922 (bsolo_lpr-v2) R 13921 20224 20223 0 -1 0 24606 0 0 0 56932 75 0 0 25 0 1 0 894688044 100843520 23809 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24620 23809 1111 63 0 24557 0
vsize: 98480
[startup+580.021 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 13922
Raw data (stat): 13922 (bsolo_lpr-v2) R 13921 20224 20223 0 -1 0 24618 0 0 0 57931 76 0 0 25 0 1 0 894688044 100892672 23821 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24632 23821 1111 63 0 24569 0
vsize: 98528
[startup+590.022 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 13922
Raw data (stat): 13922 (bsolo_lpr-v2) R 13921 20224 20223 0 -1 0 24630 0 0 0 58931 76 0 0 25 0 1 0 894688044 100941824 23833 4294967295 134512640 134716908 3221224576 3221222864 1074153792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24644 23833 1111 63 0 24581 0
vsize: 98576
[startup+600.022 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 13922
Raw data (stat): 13922 (bsolo_lpr-v2) R 13921 20224 20223 0 -1 0 24642 0 0 0 59931 76 0 0 25 0 1 0 894688044 100990976 23845 4294967295 134512640 134716908 3221224576 3221222784 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24656 23845 1111 63 0 24593 0
vsize: 98624
[startup+610.022 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 13922
Raw data (stat): 13922 (bsolo_lpr-v2) R 13921 20224 20223 0 -1 0 24654 0 0 0 60931 77 0 0 25 0 1 0 894688044 101040128 23857 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24668 23857 1111 63 0 24605 0
vsize: 98672
[startup+620.023 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 13922
Raw data (stat): 13922 (bsolo_lpr-v2) R 13921 20224 20223 0 -1 0 24667 0 0 0 61930 78 0 0 25 0 1 0 894688044 101093376 23870 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24681 23870 1111 63 0 24618 0
vsize: 98724
[startup+630.024 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 13922
Raw data (stat): 13922 (bsolo_lpr-v2) R 13921 20224 20223 0 -1 0 24679 0 0 0 62930 78 0 0 25 0 1 0 894688044 101142528 23882 4294967295 134512640 134716908 3221224576 3221222816 1074153786 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24693 23882 1111 63 0 24630 0
vsize: 98772
[startup+640.023 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 13922
Raw data (stat): 13922 (bsolo_lpr-v2) R 13921 20224 20223 0 -1 0 24690 0 0 0 63930 78 0 0 25 0 1 0 894688044 101187584 23893 4294967295 134512640 134716908 3221224576 3221222864 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24704 23893 1111 63 0 24641 0
vsize: 98816
[startup+650.025 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 13922
Raw data (stat): 13922 (bsolo_lpr-v2) R 13921 20224 20223 0 -1 0 24700 0 0 0 64930 79 0 0 25 0 1 0 894688044 101228544 23903 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24714 23903 1111 63 0 24651 0
vsize: 98856
[startup+660.024 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 13922
Raw data (stat): 13922 (bsolo_lpr-v2) R 13921 20224 20223 0 -1 0 24817 0 0 0 65929 79 0 0 25 0 1 0 894688044 101707776 24020 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24831 24020 1111 63 0 24768 0
vsize: 99324
[startup+670.025 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 13922
Raw data (stat): 13922 (bsolo_lpr-v2) R 13921 20224 20223 0 -1 0 24829 0 0 0 66929 80 0 0 25 0 1 0 894688044 101756928 24032 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24843 24032 1111 63 0 24780 0
vsize: 99372
[startup+680.026 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 13922
Raw data (stat): 13922 (bsolo_lpr-v2) R 13921 20224 20223 0 -1 0 24839 0 0 0 67929 80 0 0 25 0 1 0 894688044 101797888 24042 4294967295 134512640 134716908 3221224576 3221222832 1074153786 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24853 24042 1111 63 0 24790 0
vsize: 99412
[startup+690.026 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 13922
Raw data (stat): 13922 (bsolo_lpr-v2) R 13921 20224 20223 0 -1 0 24850 0 0 0 68929 80 0 0 25 0 1 0 894688044 101842944 24053 4294967295 134512640 134716908 3221224576 3221222832 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24864 24053 1111 63 0 24801 0
vsize: 99456
[startup+700.026 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 13922
Raw data (stat): 13922 (bsolo_lpr-v2) R 13921 20224 20223 0 -1 0 24860 0 0 0 69929 81 0 0 25 0 1 0 894688044 101883904 24063 4294967295 134512640 134716908 3221224576 3221222816 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24874 24063 1111 63 0 24811 0
vsize: 99496
[startup+710.027 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 13922
Raw data (stat): 13922 (bsolo_lpr-v2) R 13921 20224 20223 0 -1 0 24869 0 0 0 70929 81 0 0 25 0 1 0 894688044 101920768 24072 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24883 24072 1111 63 0 24820 0
vsize: 99532
[startup+720.027 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 13922
Raw data (stat): 13922 (bsolo_lpr-v2) R 13921 20224 20223 0 -1 0 24881 0 0 0 71929 81 0 0 25 0 1 0 894688044 101969920 24084 4294967295 134512640 134716908 3221224576 3221222784 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24895 24084 1111 63 0 24832 0
vsize: 99580
[startup+730.028 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 13922
Raw data (stat): 13922 (bsolo_lpr-v2) R 13921 20224 20223 0 -1 0 24893 0 0 0 72928 82 0 0 25 0 1 0 894688044 102019072 24096 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24907 24096 1111 63 0 24844 0
vsize: 99628
[startup+740.028 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 13922
Raw data (stat): 13922 (bsolo_lpr-v2) R 13921 20224 20223 0 -1 0 24904 0 0 0 73928 83 0 0 25 0 1 0 894688044 102064128 24107 4294967295 134512640 134716908 3221224576 3221222816 1074153779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24918 24107 1111 63 0 24855 0
vsize: 99672
[startup+750.029 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 13922
Raw data (stat): 13922 (bsolo_lpr-v2) R 13921 20224 20223 0 -1 0 24914 0 0 0 74928 83 0 0 25 0 1 0 894688044 102105088 24117 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24928 24117 1111 63 0 24865 0
vsize: 99712
[startup+760.029 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 13922
Raw data (stat): 13922 (bsolo_lpr-v2) R 13921 20224 20223 0 -1 0 24928 0 0 0 75928 83 0 0 25 0 1 0 894688044 102162432 24131 4294967295 134512640 134716908 3221224576 3221222784 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24942 24131 1111 63 0 24879 0
vsize: 99768
[startup+770.03 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 13922
Raw data (stat): 13922 (bsolo_lpr-v2) R 13921 20224 20223 0 -1 0 24940 0 0 0 76928 84 0 0 25 0 1 0 894688044 102211584 24143 4294967295 134512640 134716908 3221224576 3221222784 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24954 24143 1111 63 0 24891 0
vsize: 99816
[startup+780.03 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 13922
Raw data (stat): 13922 (bsolo_lpr-v2) R 13921 20224 20223 0 -1 0 24950 0 0 0 77928 84 0 0 25 0 1 0 894688044 102252544 24153 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24964 24153 1111 63 0 24901 0
vsize: 99856
[startup+790.03 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 13922
Raw data (stat): 13922 (bsolo_lpr-v2) R 13921 20224 20223 0 -1 0 25007 0 0 0 78927 85 0 0 25 0 1 0 894688044 102486016 24210 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25021 24210 1111 63 0 24958 0
vsize: 100084
[startup+800.03 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 13922
Raw data (stat): 13922 (bsolo_lpr-v2) R 13921 20224 20223 0 -1 0 25022 0 0 0 79927 85 0 0 25 0 1 0 894688044 102547456 24225 4294967295 134512640 134716908 3221224576 3221222768 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25036 24225 1111 63 0 24973 0
vsize: 100144
[startup+810.031 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 13922
Raw data (stat): 13922 (bsolo_lpr-v2) R 13921 20224 20223 0 -1 0 32697 0 0 0 80911 101 0 0 25 0 1 0 894688044 133177344 28913 4294967295 134512640 134716908 3221224576 3221220616 1077410163 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32514 28913 1111 63 0 32451 0
vsize: 130056
[startup+820.032 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 13922
Raw data (stat): 13922 (bsolo_lpr-v2) R 13921 20224 20223 0 -1 0 32811 0 0 0 81911 101 0 0 25 0 1 0 894688044 133177344 29027 4294967295 134512640 134716908 3221224576 3221220624 1074969461 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32514 29027 1111 63 0 32451 0
vsize: 130056
[startup+830.032 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 13922
Raw data (stat): 13922 (bsolo_lpr-v2) R 13921 20224 20223 0 -1 0 34248 0 0 0 82908 104 0 0 25 0 1 0 894688044 136126464 30462 4294967295 134512640 134716908 3221224576 3221220624 1074969458 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33234 30462 1111 63 0 33171 0
vsize: 132936
[startup+840.032 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 13922
Raw data (stat): 13922 (bsolo_lpr-v2) R 13921 20224 20223 0 -1 0 34505 0 0 0 83908 105 0 0 25 0 1 0 894688044 130236416 29395 4294967295 134512640 134716908 3221224576 3221220640 1075093367 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31796 29395 1111 63 0 31733 0
vsize: 127184
[startup+850.032 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 13922
Raw data (stat): 13922 (bsolo_lpr-v2) R 13921 20224 20223 0 -1 0 34522 0 0 0 84908 105 0 0 25 0 1 0 894688044 130236416 29410 4294967295 134512640 134716908 3221224576 3221220492 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31796 29410 1111 63 0 31733 0
vsize: 127184
[startup+860.033 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 13922
Raw data (stat): 13922 (bsolo_lpr-v2) R 13921 20224 20223 0 -1 0 34530 0 0 0 85908 105 0 0 25 0 1 0 894688044 130236416 29416 4294967295 134512640 134716908 3221224576 3221220580 1075964227 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31796 29416 1111 63 0 31733 0
vsize: 127184
[startup+870.033 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 13922
Raw data (stat): 13922 (bsolo_lpr-v2) R 13921 20224 20223 0 -1 0 35038 0 0 0 86907 106 0 0 25 0 1 0 894688044 136126464 29922 4294967295 134512640 134716908 3221224576 3221220624 1074969685 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33234 29922 1111 63 0 33171 0
vsize: 132936
[startup+880.034 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 13922
Raw data (stat): 13922 (bsolo_lpr-v2) R 13921 20224 20223 0 -1 0 35083 0 0 0 87907 106 0 0 25 0 1 0 894688044 136126464 29967 4294967295 134512640 134716908 3221224576 3221220624 1074969461 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33234 29967 1111 63 0 33171 0
vsize: 132936
[startup+890.034 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 13922
Raw data (stat): 13922 (bsolo_lpr-v2) R 13921 20224 20223 0 -1 0 35126 0 0 0 88907 106 0 0 25 0 1 0 894688044 136126464 30010 4294967295 134512640 134716908 3221224576 3221220624 1074969461 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33234 30010 1111 63 0 33171 0
vsize: 132936
[startup+900.034 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 13922
Raw data (stat): 13922 (bsolo_lpr-v2) R 13921 20224 20223 0 -1 0 35913 0 0 0 89906 108 0 0 25 0 1 0 894688044 136126464 30795 4294967295 134512640 134716908 3221224576 3221220624 1074969461 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33234 30795 1111 63 0 33171 0
vsize: 132936
[startup+910.034 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 13922
Raw data (stat): 13922 (bsolo_lpr-v2) R 13921 20224 20223 0 -1 0 35941 0 0 0 90906 108 0 0 25 0 1 0 894688044 136126464 30823 4294967295 134512640 134716908 3221224576 3221220624 1074969461 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33234 30823 1111 63 0 33171 0
vsize: 132936
[startup+920.035 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 13922
Raw data (stat): 13922 (bsolo_lpr-v2) R 13921 20224 20223 0 -1 0 36125 0 0 0 91905 109 0 0 25 0 1 0 894688044 130826240 29669 4294967295 134512640 134716908 3221224576 3221220364 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31940 29669 1111 63 0 31877 0
vsize: 127760
[startup+930.036 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 13922
Raw data (stat): 13922 (bsolo_lpr-v2) R 13921 20224 20223 0 -1 0 36136 0 0 0 92906 109 0 0 25 0 1 0 894688044 130826240 29678 4294967295 134512640 134716908 3221224576 3221220364 1074788950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31940 29678 1111 63 0 31877 0
vsize: 127760
[startup+940.036 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 13922
Raw data (stat): 13922 (bsolo_lpr-v2) R 13921 20224 20223 0 -1 0 36143 0 0 0 93906 109 0 0 25 0 1 0 894688044 130826240 29683 4294967295 134512640 134716908 3221224576 3221220624 1074969458 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31940 29683 1111 63 0 31877 0
vsize: 127760
[startup+950.036 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 13922
Raw data (stat): 13922 (bsolo_lpr-v2) R 13921 20224 20223 0 -1 0 36143 0 0 0 94906 109 0 0 25 0 1 0 894688044 130826240 29683 4294967295 134512640 134716908 3221224576 3221220720 1075115715 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31940 29683 1111 63 0 31877 0
vsize: 127760
[startup+960.037 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 13922
Raw data (stat): 13922 (bsolo_lpr-v2) R 13921 20224 20223 0 -1 0 36148 0 0 0 95906 109 0 0 25 0 1 0 894688044 130826240 29686 4294967295 134512640 134716908 3221224576 3221220624 1074969458 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31940 29686 1111 63 0 31877 0
vsize: 127760
[startup+970.037 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 13922
Raw data (stat): 13922 (bsolo_lpr-v2) R 13921 20224 20223 0 -1 0 36152 0 0 0 96906 109 0 0 25 0 1 0 894688044 130826240 29690 4294967295 134512640 134716908 3221224576 3221220624 1074969458 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31940 29690 1111 63 0 31877 0
vsize: 127760
[startup+980.037 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 13922
Raw data (stat): 13922 (bsolo_lpr-v2) R 13921 20224 20223 0 -1 0 36222 0 0 0 97906 109 0 0 25 0 1 0 894688044 131444736 29758 4294967295 134512640 134716908 3221224576 3221220624 1074969461 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32091 29758 1111 63 0 32028 0
vsize: 128364
[startup+990.038 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 13922
Raw data (stat): 13922 (bsolo_lpr-v2) R 13921 20224 20223 0 -1 0 36241 0 0 0 98906 109 0 0 25 0 1 0 894688044 131444736 29777 4294967295 134512640 134716908 3221224576 3221220624 1074969458 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32091 29777 1111 63 0 32028 0
vsize: 128364
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 13922
Raw data (stat): 13922 (bsolo_lpr-v2) R 13921 20224 20223 0 -1 0 36263 0 0 0 99906 109 0 0 25 0 1 0 894688044 131444736 29797 4294967295 134512640 134716908 3221224576 3221220524 1074873512 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32091 29797 1111 63 0 32028 0
vsize: 128364
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 13922
Raw data (stat): 13922 (bsolo_lpr-v2) R 13921 20224 20223 0 -1 0 36263 0 0 0 100907 109 0 0 25 0 1 0 894688044 131444736 29797 4294967295 134512640 134716908 3221224576 3221220624 1074969455 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32091 29797 1111 63 0 32028 0
vsize: 128364
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 13922
Raw data (stat): 13922 (bsolo_lpr-v2) R 13921 20224 20223 0 -1 0 36265 0 0 0 101907 109 0 0 25 0 1 0 894688044 131444736 29797 4294967295 134512640 134716908 3221224576 3221220592 1075895887 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32091 29797 1111 63 0 32028 0
vsize: 128364
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 13922
Raw data (stat): 13922 (bsolo_lpr-v2) R 13921 20224 20223 0 -1 0 36268 0 0 0 102907 109 0 0 25 0 1 0 894688044 131444736 29798 4294967295 134512640 134716908 3221224576 3221221512 1077410163 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32091 29798 1111 63 0 32028 0
vsize: 128364
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 13922
Raw data (stat): 13922 (bsolo_lpr-v2) R 13921 20224 20223 0 -1 0 36271 0 0 0 103907 109 0 0 25 0 1 0 894688044 131444736 29801 4294967295 134512640 134716908 3221224576 3221220708 1075115076 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32091 29801 1111 63 0 32028 0
vsize: 128364
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 13922
Raw data (stat): 13922 (bsolo_lpr-v2) R 13921 20224 20223 0 -1 0 36290 0 0 0 104907 110 0 0 25 0 1 0 894688044 132411392 29820 4294967295 134512640 134716908 3221224576 3221221072 1074886988 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32327 29820 1111 63 0 32264 0
vsize: 129308
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 13922
Raw data (stat): 13922 (bsolo_lpr-v2) R 13921 20224 20223 0 -1 0 36368 0 0 0 105907 110 0 0 25 0 1 0 894688044 132087808 29896 4294967295 134512640 134716908 3221224576 3221220608 1075112080 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32248 29896 1111 63 0 32185 0
vsize: 128992
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 13922
Raw data (stat): 13922 (bsolo_lpr-v2) R 13921 20224 20223 0 -1 0 36392 0 0 0 106907 110 0 0 25 0 1 0 894688044 132087808 29918 4294967295 134512640 134716908 3221224576 3221220624 1074969461 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32248 29918 1111 63 0 32185 0
vsize: 128992
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 13922
Raw data (stat): 13922 (bsolo_lpr-v2) R 13921 20224 20223 0 -1 0 36392 0 0 0 107907 110 0 0 25 0 1 0 894688044 132087808 29918 4294967295 134512640 134716908 3221224576 3221220624 1074969680 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32248 29918 1111 63 0 32185 0
vsize: 128992
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 13922
Raw data (stat): 13922 (bsolo_lpr-v2) R 13921 20224 20223 0 -1 0 36399 0 0 0 108907 111 0 0 25 0 1 0 894688044 132087808 29923 4294967295 134512640 134716908 3221224576 3221220624 1074969461 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32248 29923 1111 63 0 32185 0
vsize: 128992
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 13922
Raw data (stat): 13922 (bsolo_lpr-v2) R 13921 20224 20223 0 -1 0 36403 0 0 0 109907 111 0 0 25 0 1 0 894688044 132087808 29925 4294967295 134512640 134716908 3221224576 3221220708 1075115039 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32248 29925 1111 63 0 32185 0
vsize: 128992
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 13922
Raw data (stat): 13922 (bsolo_lpr-v2) R 13921 20224 20223 0 -1 0 36405 0 0 0 110907 111 0 0 25 0 1 0 894688044 132087808 29927 4294967295 134512640 134716908 3221224576 3221220492 1074788950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32248 29927 1111 63 0 32185 0
vsize: 128992
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 13922
Raw data (stat): 13922 (bsolo_lpr-v2) R 13921 20224 20223 0 -1 0 36421 0 0 0 111907 111 0 0 25 0 1 0 894688044 132087808 29941 4294967295 134512640 134716908 3221224576 3221220624 1074969458 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32248 29941 1111 63 0 32185 0
vsize: 128992
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 13922
Raw data (stat): 13922 (bsolo_lpr-v2) R 13921 20224 20223 0 -1 0 36421 0 0 0 112908 111 0 0 25 0 1 0 894688044 132087808 29941 4294967295 134512640 134716908 3221224576 3221221024 1075088563 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32248 29941 1111 63 0 32185 0
vsize: 128992
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 13922
Raw data (stat): 13922 (bsolo_lpr-v2) R 13921 20224 20223 0 -1 0 36448 0 0 0 113908 111 0 0 25 0 1 0 894688044 132087808 29966 4294967295 134512640 134716908 3221224576 3221220364 1074788950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32248 29966 1111 63 0 32185 0
vsize: 128992
[startup+1150.05 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 13922
Raw data (stat): 13922 (bsolo_lpr-v2) R 13921 20224 20223 0 -1 0 36458 0 0 0 114908 111 0 0 25 0 1 0 894688044 132087808 29974 4294967295 134512640 134716908 3221224576 3221220624 1074969458 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32248 29974 1111 63 0 32185 0
vsize: 128992
[startup+1160.05 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 13922
Raw data (stat): 13922 (bsolo_lpr-v2) R 13921 20224 20223 0 -1 0 36458 0 0 0 115908 111 0 0 25 0 1 0 894688044 132087808 29974 4294967295 134512640 134716908 3221224576 3221220752 1074961138 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32248 29974 1111 63 0 32185 0
vsize: 128992
[startup+1170.05 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 13922
Raw data (stat): 13922 (bsolo_lpr-v2) R 13921 20224 20223 0 -1 0 36467 0 0 0 116908 111 0 0 25 0 1 0 894688044 132087808 29981 4294967295 134512640 134716908 3221224576 3221220708 1075115039 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32248 29981 1111 63 0 32185 0
vsize: 128992
[startup+1180.05 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 13922
Raw data (stat): 13922 (bsolo_lpr-v2) R 13921 20224 20223 0 -1 0 36474 0 0 0 117908 111 0 0 25 0 1 0 894688044 132087808 29988 4294967295 134512640 134716908 3221224576 3221220708 1075115065 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32248 29988 1111 63 0 32185 0
vsize: 128992
[startup+1190.05 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 13922
Raw data (stat): 13922 (bsolo_lpr-v2) R 13921 20224 20223 0 -1 0 36570 0 0 0 118908 112 0 0 25 0 1 0 894688044 132771840 30082 4294967295 134512640 134716908 3221224576 3221220704 1075895652 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32415 30082 1111 63 0 32352 0
vsize: 129660
[startup+1200.05 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 13922
Raw data (stat): 13922 (bsolo_lpr-v2) R 13921 20224 20223 0 -1 0 36595 0 0 0 119908 112 0 0 25 0 1 0 894688044 132771840 30105 4294967295 134512640 134716908 3221224576 3221221024 1075088564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32415 30105 1111 63 0 32352 0
vsize: 129660
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.11 s]
Raw data (loadavg): 0.99 0.98 0.92 1/54 13922
Raw data (stat): 13922 (bsolo_lpr-v2) Z 13921 20224 20223 0 -1 1036 36595 0 0 0 119908 117 0 0 25 0 1 0 894688044 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.11
CPU time (s): 1200.27
CPU user time (s): 1199.09
CPU system time (s): 1.17782
CPU usage (%): 100.013
Max. virtual memory (Kb): 132936
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####