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-4.opb
MD5SUM	b85a90571dde4fe12541342d5605d680
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-37
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.1
Number of variables	1150
Total number of constraints	80258
Number of constraints which are clauses	80258
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 39713

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-06-07 17:32:53 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27779 boxname=wulflinc5 idbench=337 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  b85a90571dde4fe12541342d5605d680  /oldhome/oroussel/tmp/wulflinc5/normalized-frb50-23-4.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc5/normalized-frb50-23-4.opb
IDLAUNCH: 27779
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        892576 kB
Buffers:         33704 kB
Cached:          83808 kB
SwapCached:        604 kB
Active:          29164 kB
Inactive:        90404 kB
HighTotal:      131008 kB
HighFree:       101864 kB
LowTotal:       903652 kB
LowFree:        790712 kB
SwapTotal:     2097136 kB
SwapFree:      2095596 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5160 kB
Slab:            16964 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-07 17:52:56 (client local time) WITH STATUS 0 IN 1200.27 SECONDS
stats: 27779 7 1200.27 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 1150 variables and 80258 constraints.
c After prepocess the problem consists of 1150 variables and 55197 constraints.
c preprocess terminated 563.233 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.91 0.97 0.94 1/54 6896
Raw data (stat): 6896 (runsolver) R 6895 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 894821196 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+9.99961 s]
Raw data (loadavg): 0.93 0.97 0.94 2/54 6896
Raw data (stat): 6896 (bsolo_lpr-v2) R 6895 7266 7265 0 -1 0 22460 0 0 0 934 63 0 0 25 0 1 0 894821196 95133696 22376 4294967295 134512640 134716908 3221224576 3221222968 1077378310 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23226 22376 1111 63 0 23163 0
vsize: 92904
[startup+20.0006 s]
Raw data (loadavg): 0.94 0.97 0.94 2/54 6896
Raw data (stat): 6896 (bsolo_lpr-v2) R 6895 7266 7265 0 -1 0 27767 0 0 0 1922 75 0 0 25 0 1 0 894821196 113422336 26854 4294967295 134512640 134716908 3221224576 3221223140 134526874 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27691 26854 1111 63 0 27628 0
vsize: 110764
[startup+30.0012 s]
Raw data (loadavg): 0.95 0.97 0.94 2/54 6896
Raw data (stat): 6896 (bsolo_lpr-v2) R 6895 7266 7265 0 -1 0 27767 0 0 0 2922 75 0 0 25 0 1 0 894821196 113422336 26854 4294967295 134512640 134716908 3221224576 3221223216 134606495 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27691 26854 1111 63 0 27628 0
vsize: 110764
[startup+40.0022 s]
Raw data (loadavg): 0.95 0.97 0.94 2/54 6896
Raw data (stat): 6896 (bsolo_lpr-v2) R 6895 7266 7265 0 -1 0 30252 0 0 0 3917 80 0 0 25 0 1 0 894821196 122916864 29162 4294967295 134512640 134716908 3221224576 3221222928 134543030 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30009 29162 1111 63 0 29946 0
vsize: 120036
[startup+50.0029 s]
Raw data (loadavg): 0.96 0.97 0.94 2/54 6896
Raw data (stat): 6896 (bsolo_lpr-v2) R 6895 7266 7265 0 -1 0 30252 0 0 0 4918 80 0 0 25 0 1 0 894821196 122916864 29162 4294967295 134512640 134716908 3221224576 3221223068 134543653 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30009 29162 1111 63 0 29946 0
vsize: 120036
[startup+60.0023 s]
Raw data (loadavg): 0.97 0.97 0.94 2/54 6896
Raw data (stat): 6896 (bsolo_lpr-v2) R 6895 7266 7265 0 -1 0 30252 0 0 0 5918 80 0 0 25 0 1 0 894821196 122916864 29162 4294967295 134512640 134716908 3221224576 3221223080 134543614 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30009 29162 1111 63 0 29946 0
vsize: 120036
[startup+70.0031 s]
Raw data (loadavg): 0.97 0.97 0.94 2/54 6896
Raw data (stat): 6896 (bsolo_lpr-v2) R 6895 7266 7265 0 -1 0 30252 0 0 0 6918 80 0 0 25 0 1 0 894821196 122916864 29162 4294967295 134512640 134716908 3221224576 3221223200 134667268 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30009 29162 1111 63 0 29946 0
vsize: 120036
[startup+80.0032 s]
Raw data (loadavg): 0.98 0.97 0.94 2/54 6896
Raw data (stat): 6896 (bsolo_lpr-v2) R 6895 7266 7265 0 -1 0 30252 0 0 0 7918 80 0 0 25 0 1 0 894821196 122916864 29162 4294967295 134512640 134716908 3221224576 3221223036 134543664 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30009 29162 1111 63 0 29946 0
vsize: 120036
[startup+90.0036 s]
Raw data (loadavg): 0.98 0.97 0.94 2/54 6896
Raw data (stat): 6896 (bsolo_lpr-v2) R 6895 7266 7265 0 -1 0 30252 0 0 0 8918 80 0 0 25 0 1 0 894821196 122916864 29162 4294967295 134512640 134716908 3221224576 3221223104 134528738 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30009 29162 1111 63 0 29946 0
vsize: 120036
[startup+100.004 s]
Raw data (loadavg): 0.98 0.97 0.94 2/54 6896
Raw data (stat): 6896 (bsolo_lpr-v2) R 6895 7266 7265 0 -1 0 30252 0 0 0 9918 80 0 0 25 0 1 0 894821196 122916864 29162 4294967295 134512640 134716908 3221224576 3221222940 134539237 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30009 29162 1111 63 0 29946 0
vsize: 120036
[startup+110.003 s]
Raw data (loadavg): 0.98 0.97 0.94 2/54 6896
Raw data (stat): 6896 (bsolo_lpr-v2) R 6895 7266 7265 0 -1 0 30252 0 0 0 10919 80 0 0 25 0 1 0 894821196 122916864 29162 4294967295 134512640 134716908 3221224576 3221223216 134606484 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30009 29162 1111 63 0 29946 0
vsize: 120036
[startup+120.004 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 6896
Raw data (stat): 6896 (bsolo_lpr-v2) R 6895 7266 7265 0 -1 0 30252 0 0 0 11919 80 0 0 25 0 1 0 894821196 122916864 29162 4294967295 134512640 134716908 3221224576 3221223204 134594953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30009 29162 1111 63 0 29946 0
vsize: 120036
[startup+130.004 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 6896
Raw data (stat): 6896 (bsolo_lpr-v2) R 6895 7266 7265 0 -1 0 30252 0 0 0 12919 80 0 0 25 0 1 0 894821196 122916864 29162 4294967295 134512640 134716908 3221224576 3221223192 134543804 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30009 29162 1111 63 0 29946 0
vsize: 120036
[startup+140.005 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 6896
Raw data (stat): 6896 (bsolo_lpr-v2) R 6895 7266 7265 0 -1 0 30252 0 0 0 13919 80 0 0 25 0 1 0 894821196 122916864 29162 4294967295 134512640 134716908 3221224576 3221223216 134606484 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30009 29162 1111 63 0 29946 0
vsize: 120036
[startup+150.005 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 6896
Raw data (stat): 6896 (bsolo_lpr-v2) R 6895 7266 7265 0 -1 0 30252 0 0 0 14919 80 0 0 25 0 1 0 894821196 122916864 29162 4294967295 134512640 134716908 3221224576 3221222960 134542350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30009 29162 1111 63 0 29946 0
vsize: 120036
[startup+160.005 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 6896
Raw data (stat): 6896 (bsolo_lpr-v2) R 6895 7266 7265 0 -1 0 30252 0 0 0 15920 80 0 0 25 0 1 0 894821196 122916864 29162 4294967295 134512640 134716908 3221224576 3221223184 134542598 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30009 29162 1111 63 0 29946 0
vsize: 120036
[startup+170.006 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 6896
Raw data (stat): 6896 (bsolo_lpr-v2) R 6895 7266 7265 0 -1 0 30252 0 0 0 16920 80 0 0 25 0 1 0 894821196 122916864 29162 4294967295 134512640 134716908 3221224576 3221223056 134539376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30009 29162 1111 63 0 29946 0
vsize: 120036
[startup+180.005 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 6896
Raw data (stat): 6896 (bsolo_lpr-v2) R 6895 7266 7265 0 -1 0 30252 0 0 0 17920 80 0 0 25 0 1 0 894821196 122916864 29162 4294967295 134512640 134716908 3221224576 3221223056 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30009 29162 1111 63 0 29946 0
vsize: 120036
[startup+190.006 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 6896
Raw data (stat): 6896 (bsolo_lpr-v2) R 6895 7266 7265 0 -1 0 30252 0 0 0 18920 80 0 0 25 0 1 0 894821196 122916864 29162 4294967295 134512640 134716908 3221224576 3221223204 134594953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30009 29162 1111 63 0 29946 0
vsize: 120036
[startup+200.006 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 6896
Raw data (stat): 6896 (bsolo_lpr-v2) R 6895 7266 7265 0 -1 0 30252 0 0 0 19920 80 0 0 25 0 1 0 894821196 122916864 29162 4294967295 134512640 134716908 3221224576 3221223060 1077378730 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30009 29162 1111 63 0 29946 0
vsize: 120036
[startup+210.006 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 6896
Raw data (stat): 6896 (bsolo_lpr-v2) R 6895 7266 7265 0 -1 0 30252 0 0 0 20921 80 0 0 25 0 1 0 894821196 122916864 29162 4294967295 134512640 134716908 3221224576 3221223040 134542362 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30009 29162 1111 63 0 29946 0
vsize: 120036
[startup+220.007 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 6896
Raw data (stat): 6896 (bsolo_lpr-v2) R 6895 7266 7265 0 -1 0 30252 0 0 0 21921 80 0 0 25 0 1 0 894821196 122916864 29162 4294967295 134512640 134716908 3221224576 3221222992 134543740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30009 29162 1111 63 0 29946 0
vsize: 120036
[startup+230.006 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 6896
Raw data (stat): 6896 (bsolo_lpr-v2) R 6895 7266 7265 0 -1 0 30252 0 0 0 22921 80 0 0 25 0 1 0 894821196 122916864 29162 4294967295 134512640 134716908 3221224576 3221223104 134528650 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30009 29162 1111 63 0 29946 0
vsize: 120036
[startup+240.007 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 6896
Raw data (stat): 6896 (bsolo_lpr-v2) R 6895 7266 7265 0 -1 0 30252 0 0 0 23921 80 0 0 25 0 1 0 894821196 122916864 29162 4294967295 134512640 134716908 3221224576 3221223080 134542289 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30009 29162 1111 63 0 29946 0
vsize: 120036
[startup+250.007 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 6896
Raw data (stat): 6896 (bsolo_lpr-v2) R 6895 7266 7265 0 -1 0 30252 0 0 0 24921 80 0 0 25 0 1 0 894821196 122916864 29162 4294967295 134512640 134716908 3221224576 3221223192 134543796 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30009 29162 1111 63 0 29946 0
vsize: 120036
[startup+260.007 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 6896
Raw data (stat): 6896 (bsolo_lpr-v2) R 6895 7266 7265 0 -1 0 30252 0 0 0 25921 80 0 0 25 0 1 0 894821196 122916864 29162 4294967295 134512640 134716908 3221224576 3221223204 134594953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30009 29162 1111 63 0 29946 0
vsize: 120036
[startup+270.007 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 6896
Raw data (stat): 6896 (bsolo_lpr-v2) R 6895 7266 7265 0 -1 0 30252 0 0 0 26922 80 0 0 25 0 1 0 894821196 122916864 29162 4294967295 134512640 134716908 3221224576 3221223056 134539376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30009 29162 1111 63 0 29946 0
vsize: 120036
[startup+280.007 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 6896
Raw data (stat): 6896 (bsolo_lpr-v2) R 6895 7266 7265 0 -1 0 30252 0 0 0 27922 80 0 0 25 0 1 0 894821196 122916864 29162 4294967295 134512640 134716908 3221224576 3221223140 134535756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30009 29162 1111 63 0 29946 0
vsize: 120036
[startup+290.009 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 6896
Raw data (stat): 6896 (bsolo_lpr-v2) R 6895 7266 7265 0 -1 0 30252 0 0 0 28922 80 0 0 25 0 1 0 894821196 122916864 29162 4294967295 134512640 134716908 3221224576 3221223088 134543671 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30009 29162 1111 63 0 29946 0
vsize: 120036
[startup+300.009 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 6896
Raw data (stat): 6896 (bsolo_lpr-v2) R 6895 7266 7265 0 -1 0 30252 0 0 0 29922 80 0 0 25 0 1 0 894821196 122916864 29162 4294967295 134512640 134716908 3221224576 3221223192 134543796 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30009 29162 1111 63 0 29946 0
vsize: 120036
[startup+310.009 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 6896
Raw data (stat): 6896 (bsolo_lpr-v2) R 6895 7266 7265 0 -1 0 30252 0 0 0 30922 80 0 0 25 0 1 0 894821196 122916864 29162 4294967295 134512640 134716908 3221224576 3221223196 134543776 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30009 29162 1111 63 0 29946 0
vsize: 120036
[startup+320.01 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 6896
Raw data (stat): 6896 (bsolo_lpr-v2) R 6895 7266 7265 0 -1 0 30252 0 0 0 31923 80 0 0 25 0 1 0 894821196 122916864 29162 4294967295 134512640 134716908 3221224576 3221222940 134539276 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30009 29162 1111 63 0 29946 0
vsize: 120036
[startup+330.01 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 6896
Raw data (stat): 6896 (bsolo_lpr-v2) R 6895 7266 7265 0 -1 0 30252 0 0 0 32923 80 0 0 25 0 1 0 894821196 122916864 29162 4294967295 134512640 134716908 3221224576 3221222908 134535900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30009 29162 1111 63 0 29946 0
vsize: 120036
[startup+340.012 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 6896
Raw data (stat): 6896 (bsolo_lpr-v2) R 6895 7266 7265 0 -1 0 30252 0 0 0 33923 81 0 0 25 0 1 0 894821196 122916864 29162 4294967295 134512640 134716908 3221224576 3221222940 134539237 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30009 29162 1111 63 0 29946 0
vsize: 120036
[startup+350.012 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 6896
Raw data (stat): 6896 (bsolo_lpr-v2) R 6895 7266 7265 0 -1 0 30252 0 0 0 34923 81 0 0 25 0 1 0 894821196 122916864 29162 4294967295 134512640 134716908 3221224576 3221222960 134542303 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30009 29162 1111 63 0 29946 0
vsize: 120036
[startup+360.013 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 6896
Raw data (stat): 6896 (bsolo_lpr-v2) R 6895 7266 7265 0 -1 0 30252 0 0 0 35923 81 0 0 25 0 1 0 894821196 122916864 29162 4294967295 134512640 134716908 3221224576 3221222960 134542347 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30009 29162 1111 63 0 29946 0
vsize: 120036
[startup+370.013 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 6896
Raw data (stat): 6896 (bsolo_lpr-v2) R 6895 7266 7265 0 -1 0 30252 0 0 0 36923 81 0 0 25 0 1 0 894821196 122916864 29162 4294967295 134512640 134716908 3221224576 3221223216 134606495 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30009 29162 1111 63 0 29946 0
vsize: 120036
[startup+380.013 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 6896
Raw data (stat): 6896 (bsolo_lpr-v2) R 6895 7266 7265 0 -1 0 30252 0 0 0 37923 81 0 0 25 0 1 0 894821196 122916864 29162 4294967295 134512640 134716908 3221224576 3221223152 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30009 29162 1111 63 0 29946 0
vsize: 120036
[startup+390.013 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 6896
Raw data (stat): 6896 (bsolo_lpr-v2) R 6895 7266 7265 0 -1 0 30252 0 0 0 38923 81 0 0 25 0 1 0 894821196 122916864 29162 4294967295 134512640 134716908 3221224576 3221223216 134594947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30009 29162 1111 63 0 29946 0
vsize: 120036
[startup+400.014 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 6896
Raw data (stat): 6896 (bsolo_lpr-v2) R 6895 7266 7265 0 -1 0 30252 0 0 0 39923 81 0 0 25 0 1 0 894821196 122916864 29162 4294967295 134512640 134716908 3221224576 3221223216 134594947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30009 29162 1111 63 0 29946 0
vsize: 120036
[startup+410.014 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 6896
Raw data (stat): 6896 (bsolo_lpr-v2) R 6895 7266 7265 0 -1 0 30252 0 0 0 40924 81 0 0 25 0 1 0 894821196 122916864 29162 4294967295 134512640 134716908 3221224576 3221223020 134542656 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30009 29162 1111 63 0 29946 0
vsize: 120036
[startup+420.014 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 6896
Raw data (stat): 6896 (bsolo_lpr-v2) R 6895 7266 7265 0 -1 0 30252 0 0 0 41924 81 0 0 25 0 1 0 894821196 122916864 29162 4294967295 134512640 134716908 3221224576 3221222960 134542350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30009 29162 1111 63 0 29946 0
vsize: 120036
[startup+430.014 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 6896
Raw data (stat): 6896 (bsolo_lpr-v2) R 6895 7266 7265 0 -1 0 30252 0 0 0 42924 81 0 0 25 0 1 0 894821196 122916864 29162 4294967295 134512640 134716908 3221224576 3221223192 134543796 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30009 29162 1111 63 0 29946 0
vsize: 120036
[startup+440.015 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 6896
Raw data (stat): 6896 (bsolo_lpr-v2) R 6895 7266 7265 0 -1 0 30252 0 0 0 43924 81 0 0 25 0 1 0 894821196 122916864 29162 4294967295 134512640 134716908 3221224576 3221223056 134542347 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30009 29162 1111 63 0 29946 0
vsize: 120036
[startup+450.015 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 6896
Raw data (stat): 6896 (bsolo_lpr-v2) R 6895 7266 7265 0 -1 0 30252 0 0 0 44924 82 0 0 25 0 1 0 894821196 122916864 29162 4294967295 134512640 134716908 3221224576 3221223056 134536643 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30009 29162 1111 63 0 29946 0
vsize: 120036
[startup+460.018 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 6896
Raw data (stat): 6896 (bsolo_lpr-v2) R 6895 7266 7265 0 -1 0 30252 0 0 0 45925 82 0 0 25 0 1 0 894821196 122916864 29162 4294967295 134512640 134716908 3221224576 3221223056 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30009 29162 1111 63 0 29946 0
vsize: 120036
[startup+470.018 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 6896
Raw data (stat): 6896 (bsolo_lpr-v2) R 6895 7266 7265 0 -1 0 30252 0 0 0 46925 82 0 0 25 0 1 0 894821196 122916864 29162 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30009 29162 1111 63 0 29946 0
vsize: 120036
[startup+480.018 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 6896
Raw data (stat): 6896 (bsolo_lpr-v2) R 6895 7266 7265 0 -1 0 30252 0 0 0 47925 82 0 0 25 0 1 0 894821196 122916864 29162 4294967295 134512640 134716908 3221224576 3221223224 134558492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30009 29162 1111 63 0 29946 0
vsize: 120036
[startup+490.019 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 6896
Raw data (stat): 6896 (bsolo_lpr-v2) R 6895 7266 7265 0 -1 0 30252 0 0 0 48925 82 0 0 25 0 1 0 894821196 122916864 29162 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30009 29162 1111 63 0 29946 0
vsize: 120036
[startup+500.019 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 6896
Raw data (stat): 6896 (bsolo_lpr-v2) R 6895 7266 7265 0 -1 0 30252 0 0 0 49925 82 0 0 25 0 1 0 894821196 122916864 29162 4294967295 134512640 134716908 3221224576 3221223224 134558617 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30009 29162 1111 63 0 29946 0
vsize: 120036
[startup+510.019 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 6896
Raw data (stat): 6896 (bsolo_lpr-v2) R 6895 7266 7265 0 -1 0 30252 0 0 0 50926 82 0 0 25 0 1 0 894821196 122916864 29162 4294967295 134512640 134716908 3221224576 3221223228 134558476 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30009 29162 1111 63 0 29946 0
vsize: 120036
[startup+520.019 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 6896
Raw data (stat): 6896 (bsolo_lpr-v2) R 6895 7266 7265 0 -1 0 30252 0 0 0 51926 82 0 0 25 0 1 0 894821196 122916864 29162 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30009 29162 1111 63 0 29946 0
vsize: 120036
[startup+530.02 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 6896
Raw data (stat): 6896 (bsolo_lpr-v2) R 6895 7266 7265 0 -1 0 30253 0 0 0 52926 82 0 0 25 0 1 0 894821196 122916864 29163 4294967295 134512640 134716908 3221224576 3221223444 134622283 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30009 29163 1111 63 0 29946 0
vsize: 120036
[startup+540.02 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 6896
Raw data (stat): 6896 (bsolo_lpr-v2) R 6895 7266 7265 0 -1 0 30253 0 0 0 53926 82 0 0 25 0 1 0 894821196 122916864 29163 4294967295 134512640 134716908 3221224576 3221223352 134543157 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30009 29163 1111 63 0 29946 0
vsize: 120036
[startup+550.02 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 6896
Raw data (stat): 6896 (bsolo_lpr-v2) R 6895 7266 7265 0 -1 0 30253 0 0 0 54926 82 0 0 25 0 1 0 894821196 122916864 29163 4294967295 134512640 134716908 3221224576 3221223352 134543181 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30009 29163 1111 63 0 29946 0
vsize: 120036
[startup+560.02 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 6896
Raw data (stat): 6896 (bsolo_lpr-v2) R 6895 7266 7265 0 -1 0 30253 0 0 0 55926 82 0 0 25 0 1 0 894821196 122916864 29163 4294967295 134512640 134716908 3221224576 3221223456 134622268 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30009 29163 1111 63 0 29946 0
vsize: 120036
[startup+570.02 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 6896
Raw data (stat): 6896 (bsolo_lpr-v2) R 6895 7266 7265 0 -1 0 30274 0 0 0 56926 82 0 0 25 0 1 0 894821196 122916864 29184 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30009 29184 1111 63 0 29946 0
vsize: 120036
[startup+580.021 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 6896
Raw data (stat): 6896 (bsolo_lpr-v2) R 6895 7266 7265 0 -1 0 30274 0 0 0 57926 82 0 0 25 0 1 0 894821196 122916864 29184 4294967295 134512640 134716908 3221224576 3221222864 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30009 29184 1111 63 0 29946 0
vsize: 120036
[startup+590.021 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 6896
Raw data (stat): 6896 (bsolo_lpr-v2) R 6895 7266 7265 0 -1 0 30274 0 0 0 58926 82 0 0 25 0 1 0 894821196 122916864 29184 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30009 29184 1111 63 0 29946 0
vsize: 120036
[startup+600.022 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 6896
Raw data (stat): 6896 (bsolo_lpr-v2) R 6895 7266 7265 0 -1 0 30274 0 0 0 59927 82 0 0 25 0 1 0 894821196 122916864 29184 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30009 29184 1111 63 0 29946 0
vsize: 120036
[startup+610.022 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 6896
Raw data (stat): 6896 (bsolo_lpr-v2) R 6895 7266 7265 0 -1 0 30274 0 0 0 60927 82 0 0 25 0 1 0 894821196 122916864 29184 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30009 29184 1111 63 0 29946 0
vsize: 120036
[startup+620.022 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 6896
Raw data (stat): 6896 (bsolo_lpr-v2) R 6895 7266 7265 0 -1 0 30274 0 0 0 61927 82 0 0 25 0 1 0 894821196 122916864 29184 4294967295 134512640 134716908 3221224576 3221222864 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30009 29184 1111 63 0 29946 0
vsize: 120036
[startup+630.022 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 6896
Raw data (stat): 6896 (bsolo_lpr-v2) R 6895 7266 7265 0 -1 0 30274 0 0 0 62927 82 0 0 25 0 1 0 894821196 122916864 29184 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30009 29184 1111 63 0 29946 0
vsize: 120036
[startup+640.023 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 6896
Raw data (stat): 6896 (bsolo_lpr-v2) R 6895 7266 7265 0 -1 0 30274 0 0 0 63927 82 0 0 25 0 1 0 894821196 122916864 29184 4294967295 134512640 134716908 3221224576 3221222864 1074153792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30009 29184 1111 63 0 29946 0
vsize: 120036
[startup+650.023 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 6896
Raw data (stat): 6896 (bsolo_lpr-v2) R 6895 7266 7265 0 -1 0 30274 0 0 0 64927 82 0 0 25 0 1 0 894821196 122916864 29184 4294967295 134512640 134716908 3221224576 3221222832 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30009 29184 1111 63 0 29946 0
vsize: 120036
[startup+660.022 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 6896
Raw data (stat): 6896 (bsolo_lpr-v2) R 6895 7266 7265 0 -1 0 30274 0 0 0 65928 82 0 0 25 0 1 0 894821196 122916864 29184 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30009 29184 1111 63 0 29946 0
vsize: 120036
[startup+670.022 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 6896
Raw data (stat): 6896 (bsolo_lpr-v2) R 6895 7266 7265 0 -1 0 30528 0 0 0 66927 83 0 0 25 0 1 0 894821196 123953152 29438 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30262 29438 1111 63 0 30199 0
vsize: 121048
[startup+680.023 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 6896
Raw data (stat): 6896 (bsolo_lpr-v2) R 6895 7266 7265 0 -1 0 30539 0 0 0 67926 84 0 0 25 0 1 0 894821196 123998208 29449 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30273 29449 1111 63 0 30210 0
vsize: 121092
[startup+690.023 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 6896
Raw data (stat): 6896 (bsolo_lpr-v2) R 6895 7266 7265 0 -1 0 30551 0 0 0 68926 84 0 0 25 0 1 0 894821196 124047360 29461 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30285 29461 1111 63 0 30222 0
vsize: 121140
[startup+700.024 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 6896
Raw data (stat): 6896 (bsolo_lpr-v2) R 6895 7266 7265 0 -1 0 30561 0 0 0 69926 85 0 0 25 0 1 0 894821196 124088320 29471 4294967295 134512640 134716908 3221224576 3221222864 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30295 29471 1111 63 0 30232 0
vsize: 121180
[startup+710.024 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 6896
Raw data (stat): 6896 (bsolo_lpr-v2) R 6895 7266 7265 0 -1 0 30570 0 0 0 70926 85 0 0 25 0 1 0 894821196 124125184 29480 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30304 29480 1111 63 0 30241 0
vsize: 121216
[startup+720.025 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 6896
Raw data (stat): 6896 (bsolo_lpr-v2) R 6895 7266 7265 0 -1 0 30581 0 0 0 71926 85 0 0 25 0 1 0 894821196 124170240 29491 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30315 29491 1111 63 0 30252 0
vsize: 121260
[startup+730.025 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 6896
Raw data (stat): 6896 (bsolo_lpr-v2) R 6895 7266 7265 0 -1 0 30590 0 0 0 72925 86 0 0 25 0 1 0 894821196 124207104 29500 4294967295 134512640 134716908 3221224576 3221222736 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30324 29500 1111 63 0 30261 0
vsize: 121296
[startup+740.025 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 6896
Raw data (stat): 6896 (bsolo_lpr-v2) R 6895 7266 7265 0 -1 0 30599 0 0 0 73925 86 0 0 25 0 1 0 894821196 124243968 29509 4294967295 134512640 134716908 3221224576 3221222864 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30333 29509 1111 63 0 30270 0
vsize: 121332
[startup+750.026 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 6896
Raw data (stat): 6896 (bsolo_lpr-v2) R 6895 7266 7265 0 -1 0 30607 0 0 0 74925 86 0 0 25 0 1 0 894821196 124276736 29517 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30341 29517 1111 63 0 30278 0
vsize: 121364
[startup+760.026 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 6896
Raw data (stat): 6896 (bsolo_lpr-v2) R 6895 7266 7265 0 -1 0 30616 0 0 0 75925 87 0 0 25 0 1 0 894821196 124313600 29526 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30350 29526 1111 63 0 30287 0
vsize: 121400
[startup+770.027 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 6896
Raw data (stat): 6896 (bsolo_lpr-v2) R 6895 7266 7265 0 -1 0 30624 0 0 0 76925 87 0 0 25 0 1 0 894821196 124346368 29534 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30358 29534 1111 63 0 30295 0
vsize: 121432
[startup+780.027 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 6896
Raw data (stat): 6896 (bsolo_lpr-v2) R 6895 7266 7265 0 -1 0 30631 0 0 0 77924 88 0 0 25 0 1 0 894821196 124375040 29541 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30365 29541 1111 63 0 30302 0
vsize: 121460
[startup+790.027 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 6896
Raw data (stat): 6896 (bsolo_lpr-v2) R 6895 7266 7265 0 -1 0 30639 0 0 0 78924 88 0 0 25 0 1 0 894821196 124407808 29549 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30373 29549 1111 63 0 30310 0
vsize: 121492
[startup+800.028 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 6896
Raw data (stat): 6896 (bsolo_lpr-v2) R 6895 7266 7265 0 -1 0 30833 0 0 0 79923 89 0 0 25 0 1 0 894821196 125202432 29743 4294967295 134512640 134716908 3221224576 3221222816 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30567 29743 1111 63 0 30504 0
vsize: 122268
[startup+810.027 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 6896
Raw data (stat): 6896 (bsolo_lpr-v2) R 6895 7266 7265 0 -1 0 30845 0 0 0 80923 90 0 0 25 0 1 0 894821196 125251584 29755 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30579 29755 1111 63 0 30516 0
vsize: 122316
[startup+820.029 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 6896
Raw data (stat): 6896 (bsolo_lpr-v2) R 6895 7266 7265 0 -1 0 30856 0 0 0 81923 90 0 0 25 0 1 0 894821196 125296640 29766 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30590 29766 1111 63 0 30527 0
vsize: 122360
[startup+830.029 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 6896
Raw data (stat): 6896 (bsolo_lpr-v2) R 6895 7266 7265 0 -1 0 30866 0 0 0 82922 91 0 0 25 0 1 0 894821196 125337600 29776 4294967295 134512640 134716908 3221224576 3221222864 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30600 29776 1111 63 0 30537 0
vsize: 122400
[startup+840.029 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 6896
Raw data (stat): 6896 (bsolo_lpr-v2) R 6895 7266 7265 0 -1 0 30878 0 0 0 83922 91 0 0 25 0 1 0 894821196 125386752 29788 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30612 29788 1111 63 0 30549 0
vsize: 122448
[startup+850.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 6896
Raw data (stat): 6896 (bsolo_lpr-v2) R 6895 7266 7265 0 -1 0 30890 0 0 0 84922 92 0 0 25 0 1 0 894821196 125435904 29800 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30624 29800 1111 63 0 30561 0
vsize: 122496
[startup+860.029 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 6896
Raw data (stat): 6896 (bsolo_lpr-v2) R 6895 7266 7265 0 -1 0 30902 0 0 0 85921 92 0 0 25 0 1 0 894821196 125485056 29812 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30636 29812 1111 63 0 30573 0
vsize: 122544
[startup+870.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 6896
Raw data (stat): 6896 (bsolo_lpr-v2) R 6895 7266 7265 0 -1 0 30914 0 0 0 86922 93 0 0 25 0 1 0 894821196 125534208 29824 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30648 29824 1111 63 0 30585 0
vsize: 122592
[startup+880.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 6896
Raw data (stat): 6896 (bsolo_lpr-v2) R 6895 7266 7265 0 -1 0 30925 0 0 0 87921 93 0 0 25 0 1 0 894821196 125579264 29835 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30659 29835 1111 63 0 30596 0
vsize: 122636
[startup+890.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 6896
Raw data (stat): 6896 (bsolo_lpr-v2) R 6895 7266 7265 0 -1 0 30935 0 0 0 88921 93 0 0 25 0 1 0 894821196 125620224 29845 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30669 29845 1111 63 0 30606 0
vsize: 122676
[startup+900.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 6896
Raw data (stat): 6896 (bsolo_lpr-v2) R 6895 7266 7265 0 -1 0 30944 0 0 0 89921 93 0 0 25 0 1 0 894821196 125657088 29854 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30678 29854 1111 63 0 30615 0
vsize: 122712
[startup+910.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 6896
Raw data (stat): 6896 (bsolo_lpr-v2) R 6895 7266 7265 0 -1 0 30953 0 0 0 90921 94 0 0 25 0 1 0 894821196 125693952 29863 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30687 29863 1111 63 0 30624 0
vsize: 122748
[startup+920.031 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 6896
Raw data (stat): 6896 (bsolo_lpr-v2) R 6895 7266 7265 0 -1 0 30964 0 0 0 91921 94 0 0 25 0 1 0 894821196 125739008 29874 4294967295 134512640 134716908 3221224576 3221222816 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30698 29874 1111 63 0 30635 0
vsize: 122792
[startup+930.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 6896
Raw data (stat): 6896 (bsolo_lpr-v2) R 6895 7266 7265 0 -1 0 30974 0 0 0 92921 94 0 0 25 0 1 0 894821196 125779968 29884 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30708 29884 1111 63 0 30645 0
vsize: 122832
[startup+940.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 6896
Raw data (stat): 6896 (bsolo_lpr-v2) R 6895 7266 7265 0 -1 0 30983 0 0 0 93920 95 0 0 25 0 1 0 894821196 125816832 29893 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30717 29893 1111 63 0 30654 0
vsize: 122868
[startup+950.031 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 6896
Raw data (stat): 6896 (bsolo_lpr-v2) R 6895 7266 7265 0 -1 0 30994 0 0 0 94920 96 0 0 25 0 1 0 894821196 125861888 29904 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30728 29904 1111 63 0 30665 0
vsize: 122912
[startup+960.032 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 6896
Raw data (stat): 6896 (bsolo_lpr-v2) R 6895 7266 7265 0 -1 0 31001 0 0 0 95920 96 0 0 25 0 1 0 894821196 125890560 29911 4294967295 134512640 134716908 3221224576 3221222784 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30735 29911 1111 63 0 30672 0
vsize: 122940
[startup+970.031 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 6896
Raw data (stat): 6896 (bsolo_lpr-v2) R 6895 7266 7265 0 -1 0 31010 0 0 0 96920 96 0 0 25 0 1 0 894821196 125927424 29920 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30744 29920 1111 63 0 30681 0
vsize: 122976
[startup+980.031 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 6896
Raw data (stat): 6896 (bsolo_lpr-v2) R 6895 7266 7265 0 -1 0 31021 0 0 0 97920 97 0 0 25 0 1 0 894821196 125972480 29931 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30755 29931 1111 63 0 30692 0
vsize: 123020
[startup+990.031 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 6896
Raw data (stat): 6896 (bsolo_lpr-v2) R 6895 7266 7265 0 -1 0 31030 0 0 0 98920 97 0 0 25 0 1 0 894821196 126009344 29940 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30764 29940 1111 63 0 30701 0
vsize: 123056
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 6896
Raw data (stat): 6896 (bsolo_lpr-v2) R 6895 7266 7265 0 -1 0 31039 0 0 0 99919 97 0 0 25 0 1 0 894821196 126046208 29949 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30773 29949 1111 63 0 30710 0
vsize: 123092
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 6896
Raw data (stat): 6896 (bsolo_lpr-v2) R 6895 7266 7265 0 -1 0 31046 0 0 0 100919 98 0 0 25 0 1 0 894821196 126074880 29956 4294967295 134512640 134716908 3221224576 3221222688 1074153792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30780 29956 1111 63 0 30717 0
vsize: 123120
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 6896
Raw data (stat): 6896 (bsolo_lpr-v2) R 6895 7266 7265 0 -1 0 31057 0 0 0 101919 98 0 0 25 0 1 0 894821196 126119936 29967 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30791 29967 1111 63 0 30728 0
vsize: 123164
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 6896
Raw data (stat): 6896 (bsolo_lpr-v2) R 6895 7266 7265 0 -1 0 31067 0 0 0 102919 98 0 0 25 0 1 0 894821196 126160896 29977 4294967295 134512640 134716908 3221224576 3221222784 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30801 29977 1111 63 0 30738 0
vsize: 123204
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 6896
Raw data (stat): 6896 (bsolo_lpr-v2) R 6895 7266 7265 0 -1 0 31076 0 0 0 103919 99 0 0 25 0 1 0 894821196 126197760 29986 4294967295 134512640 134716908 3221224576 3221222816 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30810 29986 1111 63 0 30747 0
vsize: 123240
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 6896
Raw data (stat): 6896 (bsolo_lpr-v2) R 6895 7266 7265 0 -1 0 31087 0 0 0 104919 99 0 0 25 0 1 0 894821196 126242816 29997 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30821 29997 1111 63 0 30758 0
vsize: 123284
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 6896
Raw data (stat): 6896 (bsolo_lpr-v2) R 6895 7266 7265 0 -1 0 31094 0 0 0 105919 99 0 0 25 0 1 0 894821196 126271488 30004 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30828 30004 1111 63 0 30765 0
vsize: 123312
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 6896
Raw data (stat): 6896 (bsolo_lpr-v2) R 6895 7266 7265 0 -1 0 31103 0 0 0 106919 99 0 0 25 0 1 0 894821196 126308352 30013 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30837 30013 1111 63 0 30774 0
vsize: 123348
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 6896
Raw data (stat): 6896 (bsolo_lpr-v2) R 6895 7266 7265 0 -1 0 31112 0 0 0 107919 99 0 0 25 0 1 0 894821196 126345216 30022 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30846 30022 1111 63 0 30783 0
vsize: 123384
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 6896
Raw data (stat): 6896 (bsolo_lpr-v2) R 6895 7266 7265 0 -1 0 31120 0 0 0 108918 100 0 0 25 0 1 0 894821196 126377984 30030 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30854 30030 1111 63 0 30791 0
vsize: 123416
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 6896
Raw data (stat): 6896 (bsolo_lpr-v2) R 6895 7266 7265 0 -1 0 31127 0 0 0 109918 100 0 0 25 0 1 0 894821196 126406656 30037 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30861 30037 1111 63 0 30798 0
vsize: 123444
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 6896
Raw data (stat): 6896 (bsolo_lpr-v2) R 6895 7266 7265 0 -1 0 31135 0 0 0 110918 100 0 0 25 0 1 0 894821196 126439424 30045 4294967295 134512640 134716908 3221224576 3221222832 1074153792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30869 30045 1111 63 0 30806 0
vsize: 123476
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 6896
Raw data (stat): 6896 (bsolo_lpr-v2) R 6895 7266 7265 0 -1 0 31144 0 0 0 111918 101 0 0 25 0 1 0 894821196 126476288 30054 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30878 30054 1111 63 0 30815 0
vsize: 123512
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 6896
Raw data (stat): 6896 (bsolo_lpr-v2) R 6895 7266 7265 0 -1 0 31153 0 0 0 112918 101 0 0 25 0 1 0 894821196 126513152 30063 4294967295 134512640 134716908 3221224576 3221222768 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30887 30063 1111 63 0 30824 0
vsize: 123548
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 6896
Raw data (stat): 6896 (bsolo_lpr-v2) R 6895 7266 7265 0 -1 0 31162 0 0 0 113918 101 0 0 25 0 1 0 894821196 126550016 30072 4294967295 134512640 134716908 3221224576 3221222816 1074153786 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30896 30072 1111 63 0 30833 0
vsize: 123584
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 6896
Raw data (stat): 6896 (bsolo_lpr-v2) R 6895 7266 7265 0 -1 0 31169 0 0 0 114918 102 0 0 25 0 1 0 894821196 126578688 30079 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30903 30079 1111 63 0 30840 0
vsize: 123612
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 6896
Raw data (stat): 6896 (bsolo_lpr-v2) R 6895 7266 7265 0 -1 0 31177 0 0 0 115917 102 0 0 25 0 1 0 894821196 126611456 30087 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30911 30087 1111 63 0 30848 0
vsize: 123644
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 6896
Raw data (stat): 6896 (bsolo_lpr-v2) R 6895 7266 7265 0 -1 0 31186 0 0 0 116917 103 0 0 25 0 1 0 894821196 126648320 30096 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30920 30096 1111 63 0 30857 0
vsize: 123680
[startup+1180.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 6896
Raw data (stat): 6896 (bsolo_lpr-v2) R 6895 7266 7265 0 -1 0 31193 0 0 0 117917 103 0 0 25 0 1 0 894821196 126676992 30103 4294967295 134512640 134716908 3221224576 3221222816 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30927 30103 1111 63 0 30864 0
vsize: 123708
[startup+1190.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 6896
Raw data (stat): 6896 (bsolo_lpr-v2) R 6895 7266 7265 0 -1 0 31202 0 0 0 118917 103 0 0 25 0 1 0 894821196 126713856 30112 4294967295 134512640 134716908 3221224576 3221222464 1077814665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30936 30112 1111 63 0 30873 0
vsize: 123744
[startup+1200.03 s]
Raw data (loadavg): 0.99 0.97 0.94 3/54 6896
Raw data (stat): 6896 (bsolo_lpr-v2) R 6895 7266 7265 0 -1 0 31210 0 0 0 119917 103 0 0 25 0 1 0 894821196 126746624 30120 4294967295 134512640 134716908 3221224576 3221222832 1074153779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30944 30120 1111 63 0 30881 0
vsize: 123776
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.09 s]
Raw data (loadavg): 0.99 0.97 0.94 1/54 6896
Raw data (stat): 6896 (bsolo_lpr-v2) Z 6895 7266 7265 0 -1 1036 31210 0 0 0 119917 109 0 0 25 0 1 0 894821196 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.09
CPU time (s): 1200.27
CPU user time (s): 1199.17
CPU system time (s): 1.09683
CPU usage (%): 100.015
Max. virtual memory (Kb): 123776
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####