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/frb40-19-opb/normalized-frb40-19-5.opb
MD5SUM	38d41fdbe49543e8928c5210e4323f00
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-31
Optimality of the best value was proved	NO
Number of terms in the objective function	760
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	760
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	760
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	760
Total number of constraints	41619
Number of constraints which are clauses	41619
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 39704

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-06-07 16:59:53 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27770 boxname=wulflinc1 idbench=328 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  38d41fdbe49543e8928c5210e4323f00  /oldhome/oroussel/tmp/wulflinc1/normalized-frb40-19-5.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-frb40-19-5.opb
IDLAUNCH: 27770
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
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.053
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:        928208 kB
Buffers:         27400 kB
Cached:          53840 kB
SwapCached:       1176 kB
Active:          20060 kB
Inactive:        63480 kB
HighTotal:      131008 kB
HighFree:        82572 kB
LowTotal:       903652 kB
LowFree:        845636 kB
SwapTotal:     2097136 kB
SwapFree:      2094852 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5684 kB
Slab:            17152 kB
Committed_AS:    92716 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-07 17:19:55 (client local time) WITH STATUS 0 IN 1200.22 SECONDS
stats: 27770 7 1200.22 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 760 variables and 41619 constraints.
c After prepocess the problem consists of 760 variables and 29766 constraints.
c preprocess terminated 264.661 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.84 0.95 0.90 2/55 7775
Raw data (stat): 7775 (runsolver) R 7774 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 837766256 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0002 s]
Raw data (loadavg): 0.87 0.95 0.90 2/55 7775
Raw data (stat): 7775 (bsolo_lpr-v2) R 7774 8378 8377 0 -1 0 19878 0 0 0 945 52 0 0 25 0 1 0 837766256 81436672 19046 4294967295 134512640 134716908 3221224576 3221223000 1077377790 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19882 19046 1111 63 0 19819 0
vsize: 79528
[startup+20.001 s]
Raw data (loadavg): 0.89 0.95 0.91 2/55 7828
Raw data (stat): 7775 (bsolo_lpr-v2) R 7774 8378 8377 0 -1 0 21990 0 0 0 1938 58 0 0 25 0 1 0 837766256 88358912 20722 4294967295 134512640 134716908 3221224576 3221223104 134528410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21572 20722 1111 63 0 21509 0
vsize: 86288
[startup+30.0017 s]
Raw data (loadavg): 0.90 0.95 0.91 2/55 7828
Raw data (stat): 7775 (bsolo_lpr-v2) R 7774 8378 8377 0 -1 0 21990 0 0 0 2938 58 0 0 25 0 1 0 837766256 88358912 20722 4294967295 134512640 134716908 3221224576 3221223044 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21572 20722 1111 63 0 21509 0
vsize: 86288
[startup+40.0018 s]
Raw data (loadavg): 0.92 0.95 0.91 2/55 7828
Raw data (stat): 7775 (bsolo_lpr-v2) R 7774 8378 8377 0 -1 0 21990 0 0 0 3938 58 0 0 25 0 1 0 837766256 88358912 20722 4294967295 134512640 134716908 3221224576 3221223056 134539376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21572 20722 1111 63 0 21509 0
vsize: 86288
[startup+50.0021 s]
Raw data (loadavg): 0.93 0.96 0.91 2/55 7828
Raw data (stat): 7775 (bsolo_lpr-v2) R 7774 8378 8377 0 -1 0 21990 0 0 0 4938 58 0 0 25 0 1 0 837766256 88358912 20722 4294967295 134512640 134716908 3221224576 3221223056 134542368 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21572 20722 1111 63 0 21509 0
vsize: 86288
[startup+60.0019 s]
Raw data (loadavg): 0.94 0.96 0.91 2/55 7828
Raw data (stat): 7775 (bsolo_lpr-v2) R 7774 8378 8377 0 -1 0 21990 0 0 0 5938 58 0 0 25 0 1 0 837766256 88358912 20722 4294967295 134512640 134716908 3221224576 3221222960 134542344 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21572 20722 1111 63 0 21509 0
vsize: 86288
[startup+70.0028 s]
Raw data (loadavg): 0.95 0.96 0.91 2/55 7830
Raw data (stat): 7775 (bsolo_lpr-v2) R 7774 8378 8377 0 -1 0 21990 0 0 0 6937 59 0 0 25 0 1 0 837766256 88358912 20722 4294967295 134512640 134716908 3221224576 3221223056 134542303 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21572 20722 1111 63 0 21509 0
vsize: 86288
[startup+80.0035 s]
Raw data (loadavg): 0.96 0.96 0.91 2/55 7832
Raw data (stat): 7775 (bsolo_lpr-v2) R 7774 8378 8377 0 -1 0 21990 0 0 0 7937 59 0 0 25 0 1 0 837766256 88358912 20722 4294967295 134512640 134716908 3221224576 3221223056 134542352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21572 20722 1111 63 0 21509 0
vsize: 86288
[startup+90.0033 s]
Raw data (loadavg): 0.96 0.96 0.91 2/55 7832
Raw data (stat): 7775 (bsolo_lpr-v2) R 7774 8378 8377 0 -1 0 21990 0 0 0 8937 59 0 0 25 0 1 0 837766256 88358912 20722 4294967295 134512640 134716908 3221224576 3221222940 134539237 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21572 20722 1111 63 0 21509 0
vsize: 86288
[startup+100.003 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 7832
Raw data (stat): 7775 (bsolo_lpr-v2) R 7774 8378 8377 0 -1 0 21990 0 0 0 9937 59 0 0 25 0 1 0 837766256 88358912 20722 4294967295 134512640 134716908 3221224576 3221223040 134542352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21572 20722 1111 63 0 21509 0
vsize: 86288
[startup+110.004 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 7832
Raw data (stat): 7775 (bsolo_lpr-v2) R 7774 8378 8377 0 -1 0 21990 0 0 0 10937 59 0 0 25 0 1 0 837766256 88358912 20722 4294967295 134512640 134716908 3221224576 3221222940 134539237 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21572 20722 1111 63 0 21509 0
vsize: 86288
[startup+120.005 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 7832
Raw data (stat): 7775 (bsolo_lpr-v2) R 7774 8378 8377 0 -1 0 21990 0 0 0 11938 59 0 0 25 0 1 0 837766256 88358912 20722 4294967295 134512640 134716908 3221224576 3221223192 134543804 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21572 20722 1111 63 0 21509 0
vsize: 86288
[startup+130.004 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 7832
Raw data (stat): 7775 (bsolo_lpr-v2) R 7774 8378 8377 0 -1 0 21990 0 0 0 12938 59 0 0 25 0 1 0 837766256 88358912 20722 4294967295 134512640 134716908 3221224576 3221223068 134542288 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21572 20722 1111 63 0 21509 0
vsize: 86288
[startup+140.004 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 7832
Raw data (stat): 7775 (bsolo_lpr-v2) R 7774 8378 8377 0 -1 0 21990 0 0 0 13938 59 0 0 25 0 1 0 837766256 88358912 20722 4294967295 134512640 134716908 3221224576 3221222940 134539237 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21572 20722 1111 63 0 21509 0
vsize: 86288
[startup+150.005 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 7832
Raw data (stat): 7775 (bsolo_lpr-v2) R 7774 8378 8377 0 -1 0 21990 0 0 0 14938 59 0 0 25 0 1 0 837766256 88358912 20722 4294967295 134512640 134716908 3221224576 3221222984 134543600 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21572 20722 1111 63 0 21509 0
vsize: 86288
[startup+160.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7832
Raw data (stat): 7775 (bsolo_lpr-v2) R 7774 8378 8377 0 -1 0 21990 0 0 0 15938 59 0 0 25 0 1 0 837766256 88358912 20722 4294967295 134512640 134716908 3221224576 3221222960 134542352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21572 20722 1111 63 0 21509 0
vsize: 86288
[startup+170.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7832
Raw data (stat): 7775 (bsolo_lpr-v2) R 7774 8378 8377 0 -1 0 21990 0 0 0 16938 59 0 0 25 0 1 0 837766256 88358912 20722 4294967295 134512640 134716908 3221224576 3221223056 134539374 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21572 20722 1111 63 0 21509 0
vsize: 86288
[startup+180.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7832
Raw data (stat): 7775 (bsolo_lpr-v2) R 7774 8378 8377 0 -1 0 21990 0 0 0 17938 60 0 0 25 0 1 0 837766256 88358912 20722 4294967295 134512640 134716908 3221224576 3221223328 134630808 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21572 20722 1111 63 0 21509 0
vsize: 86288
[startup+190.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7832
Raw data (stat): 7775 (bsolo_lpr-v2) R 7774 8378 8377 0 -1 0 21990 0 0 0 18939 60 0 0 25 0 1 0 837766256 88358912 20722 4294967295 134512640 134716908 3221224576 3221223056 134539462 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21572 20722 1111 63 0 21509 0
vsize: 86288
[startup+200.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7832
Raw data (stat): 7775 (bsolo_lpr-v2) R 7774 8378 8377 0 -1 0 21990 0 0 0 19939 60 0 0 25 0 1 0 837766256 88358912 20722 4294967295 134512640 134716908 3221224576 3221223248 134627266 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21572 20722 1111 63 0 21509 0
vsize: 86288
[startup+210.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7832
Raw data (stat): 7775 (bsolo_lpr-v2) R 7774 8378 8377 0 -1 0 21990 0 0 0 20939 60 0 0 25 0 1 0 837766256 88358912 20722 4294967295 134512640 134716908 3221224576 3221223248 134627266 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21572 20722 1111 63 0 21509 0
vsize: 86288
[startup+220.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7832
Raw data (stat): 7775 (bsolo_lpr-v2) R 7774 8378 8377 0 -1 0 21990 0 0 0 21939 60 0 0 25 0 1 0 837766256 88358912 20722 4294967295 134512640 134716908 3221224576 3221223248 134627266 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21572 20722 1111 63 0 21509 0
vsize: 86288
[startup+230.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7832
Raw data (stat): 7775 (bsolo_lpr-v2) R 7774 8378 8377 0 -1 0 21990 0 0 0 22939 60 0 0 25 0 1 0 837766256 88358912 20722 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21572 20722 1111 63 0 21509 0
vsize: 86288
[startup+240.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7832
Raw data (stat): 7775 (bsolo_lpr-v2) R 7774 8378 8377 0 -1 0 21990 0 0 0 23939 60 0 0 25 0 1 0 837766256 88358912 20722 4294967295 134512640 134716908 3221224576 3221223240 134627211 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21572 20722 1111 63 0 21509 0
vsize: 86288
[startup+250.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7832
Raw data (stat): 7775 (bsolo_lpr-v2) R 7774 8378 8377 0 -1 0 21990 0 0 0 24940 60 0 0 25 0 1 0 837766256 88358912 20722 4294967295 134512640 134716908 3221224576 3221223264 134629350 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21572 20722 1111 63 0 21509 0
vsize: 86288
[startup+260.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7832
Raw data (stat): 7775 (bsolo_lpr-v2) R 7774 8378 8377 0 -1 0 21991 0 0 0 25939 60 0 0 25 0 1 0 837766256 88358912 20723 4294967295 134512640 134716908 3221224576 3221223432 134542412 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21572 20723 1111 63 0 21509 0
vsize: 86288
[startup+270.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7832
Raw data (stat): 7775 (bsolo_lpr-v2) R 7774 8378 8377 0 -1 0 22012 0 0 0 26939 60 0 0 25 0 1 0 837766256 88358912 20744 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21572 20744 1111 63 0 21509 0
vsize: 86288
[startup+280.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7832
Raw data (stat): 7775 (bsolo_lpr-v2) R 7774 8378 8377 0 -1 0 22012 0 0 0 27939 60 0 0 25 0 1 0 837766256 88358912 20744 4294967295 134512640 134716908 3221224576 3221222864 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21572 20744 1111 63 0 21509 0
vsize: 86288
[startup+290.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7832
Raw data (stat): 7775 (bsolo_lpr-v2) R 7774 8378 8377 0 -1 0 22012 0 0 0 28940 60 0 0 25 0 1 0 837766256 88358912 20744 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21572 20744 1111 63 0 21509 0
vsize: 86288
[startup+300.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7832
Raw data (stat): 7775 (bsolo_lpr-v2) R 7774 8378 8377 0 -1 0 22012 0 0 0 29940 60 0 0 25 0 1 0 837766256 88358912 20744 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21572 20744 1111 63 0 21509 0
vsize: 86288
[startup+310.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7832
Raw data (stat): 7775 (bsolo_lpr-v2) R 7774 8378 8377 0 -1 0 22012 0 0 0 30940 60 0 0 25 0 1 0 837766256 88358912 20744 4294967295 134512640 134716908 3221224576 3221222816 1074153786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21572 20744 1111 63 0 21509 0
vsize: 86288
[startup+320.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7832
Raw data (stat): 7775 (bsolo_lpr-v2) R 7774 8378 8377 0 -1 0 22012 0 0 0 31940 60 0 0 25 0 1 0 837766256 88358912 20744 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21572 20744 1111 63 0 21509 0
vsize: 86288
[startup+330.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7832
Raw data (stat): 7775 (bsolo_lpr-v2) R 7774 8378 8377 0 -1 0 22012 0 0 0 32940 60 0 0 25 0 1 0 837766256 88358912 20744 4294967295 134512640 134716908 3221224576 3221222864 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21572 20744 1111 63 0 21509 0
vsize: 86288
[startup+340.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7832
Raw data (stat): 7775 (bsolo_lpr-v2) R 7774 8378 8377 0 -1 0 22012 0 0 0 33940 60 0 0 25 0 1 0 837766256 88358912 20744 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21572 20744 1111 63 0 21509 0
vsize: 86288
[startup+350.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7832
Raw data (stat): 7775 (bsolo_lpr-v2) R 7774 8378 8377 0 -1 0 22012 0 0 0 34941 60 0 0 25 0 1 0 837766256 88358912 20744 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21572 20744 1111 63 0 21509 0
vsize: 86288
[startup+360.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7834
Raw data (stat): 7775 (bsolo_lpr-v2) R 7774 8378 8377 0 -1 0 22012 0 0 0 35941 60 0 0 25 0 1 0 837766256 88358912 20744 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21572 20744 1111 63 0 21509 0
vsize: 86288
[startup+370.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7834
Raw data (stat): 7775 (bsolo_lpr-v2) R 7774 8378 8377 0 -1 0 22012 0 0 0 36941 60 0 0 25 0 1 0 837766256 88358912 20744 4294967295 134512640 134716908 3221224576 3221222832 1074153792 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21572 20744 1111 63 0 21509 0
vsize: 86288
[startup+380.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7834
Raw data (stat): 7775 (bsolo_lpr-v2) R 7774 8378 8377 0 -1 0 22012 0 0 0 37941 61 0 0 25 0 1 0 837766256 88358912 20744 4294967295 134512640 134716908 3221224576 3221222768 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21572 20744 1111 63 0 21509 0
vsize: 86288
[startup+390.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7834
Raw data (stat): 7775 (bsolo_lpr-v2) R 7774 8378 8377 0 -1 0 22012 0 0 0 38941 61 0 0 25 0 1 0 837766256 88358912 20744 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21572 20744 1111 63 0 21509 0
vsize: 86288
[startup+400.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7834
Raw data (stat): 7775 (bsolo_lpr-v2) R 7774 8378 8377 0 -1 0 22012 0 0 0 39941 61 0 0 25 0 1 0 837766256 88358912 20744 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21572 20744 1111 63 0 21509 0
vsize: 86288
[startup+410.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7834
Raw data (stat): 7775 (bsolo_lpr-v2) R 7774 8378 8377 0 -1 0 22012 0 0 0 40941 61 0 0 25 0 1 0 837766256 88358912 20744 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21572 20744 1111 63 0 21509 0
vsize: 86288
[startup+420.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7834
Raw data (stat): 7775 (bsolo_lpr-v2) R 7774 8378 8377 0 -1 0 22012 0 0 0 41941 61 0 0 25 0 1 0 837766256 88358912 20744 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21572 20744 1111 63 0 21509 0
vsize: 86288
[startup+430.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7834
Raw data (stat): 7775 (bsolo_lpr-v2) R 7774 8378 8377 0 -1 0 22315 0 0 0 42941 62 0 0 25 0 1 0 837766256 89595904 21047 4294967295 134512640 134716908 3221224576 3221222768 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21874 21047 1111 63 0 21811 0
vsize: 87496
[startup+440.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7834
Raw data (stat): 7775 (bsolo_lpr-v2) R 7774 8378 8377 0 -1 0 22327 0 0 0 43940 62 0 0 25 0 1 0 837766256 89645056 21059 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21886 21059 1111 63 0 21823 0
vsize: 87544
[startup+450.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7834
Raw data (stat): 7775 (bsolo_lpr-v2) R 7774 8378 8377 0 -1 0 22339 0 0 0 44940 63 0 0 25 0 1 0 837766256 89694208 21071 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21898 21071 1111 63 0 21835 0
vsize: 87592
[startup+460.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7834
Raw data (stat): 7775 (bsolo_lpr-v2) R 7774 8378 8377 0 -1 0 26343 0 0 0 45931 71 0 0 25 0 1 0 837766256 108396544 23680 4294967295 134512640 134716908 3221224576 3221220624 1074969467 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26464 23680 1111 63 0 26401 0
vsize: 105856
[startup+470.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7834
Raw data (stat): 7775 (bsolo_lpr-v2) R 7774 8378 8377 0 -1 0 26441 0 0 0 46931 72 0 0 25 0 1 0 837766256 108396544 23778 4294967295 134512640 134716908 3221224576 3221220752 1074961267 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26464 23778 1111 63 0 26401 0
vsize: 105856
[startup+480.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7834
Raw data (stat): 7775 (bsolo_lpr-v2) R 7774 8378 8377 0 -1 0 27215 0 0 0 47929 74 0 0 25 0 1 0 837766256 108396544 24552 4294967295 134512640 134716908 3221224576 3221220816 1075114265 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26464 24552 1111 63 0 26401 0
vsize: 105856
[startup+490.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7834
Raw data (stat): 7775 (bsolo_lpr-v2) R 7774 8378 8377 0 -1 0 27489 0 0 0 48929 74 0 0 25 0 1 0 837766256 106201088 24026 4294967295 134512640 134716908 3221224576 3221220492 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25928 24026 1111 63 0 25865 0
vsize: 103712
[startup+500.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7834
Raw data (stat): 7775 (bsolo_lpr-v2) R 7774 8378 8377 0 -1 0 27876 0 0 0 49928 75 0 0 25 0 1 0 837766256 110583808 24413 4294967295 134512640 134716908 3221224576 3221220708 1075115065 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26998 24413 1111 63 0 26935 0
vsize: 107992
[startup+510.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7834
Raw data (stat): 7775 (bsolo_lpr-v2) R 7774 8378 8377 0 -1 0 27933 0 0 0 50928 76 0 0 25 0 1 0 837766256 110583808 24470 4294967295 134512640 134716908 3221224576 3221220708 1075115065 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26998 24470 1111 63 0 26935 0
vsize: 107992
[startup+520.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7834
Raw data (stat): 7775 (bsolo_lpr-v2) R 7774 8378 8377 0 -1 0 28595 0 0 0 51927 77 0 0 25 0 1 0 837766256 110583808 25130 4294967295 134512640 134716908 3221224576 3221220688 1075895652 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26998 25130 1111 63 0 26935 0
vsize: 107992
[startup+530.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7834
Raw data (stat): 7775 (bsolo_lpr-v2) R 7774 8378 8377 0 -1 0 28731 0 0 0 52926 78 0 0 25 0 1 0 837766256 106643456 24236 4294967295 134512640 134716908 3221224576 3221220624 1074969461 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26036 24236 1111 63 0 25973 0
vsize: 104144
[startup+540.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7834
Raw data (stat): 7775 (bsolo_lpr-v2) R 7774 8378 8377 0 -1 0 28757 0 0 0 53927 78 0 0 25 0 1 0 837766256 106643456 24262 4294967295 134512640 134716908 3221224576 3221220444 1074788950 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26036 24262 1111 63 0 25973 0
vsize: 104144
[startup+550.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7834
Raw data (stat): 7775 (bsolo_lpr-v2) R 7774 8378 8377 0 -1 0 28818 0 0 0 54926 78 0 0 25 0 1 0 837766256 107102208 24323 4294967295 134512640 134716908 3221224576 3221220708 1075115049 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26148 24323 1111 63 0 26085 0
vsize: 104592
[startup+560.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7834
Raw data (stat): 7775 (bsolo_lpr-v2) R 7774 8378 8377 0 -1 0 28890 0 0 0 55926 78 0 0 25 0 1 0 837766256 107589632 24395 4294967295 134512640 134716908 3221224576 3221220444 1074788953 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26267 24395 1111 63 0 26204 0
vsize: 105068
[startup+570.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7834
Raw data (stat): 7775 (bsolo_lpr-v2) R 7774 8378 8377 0 -1 0 28917 0 0 0 56927 78 0 0 25 0 1 0 837766256 107589632 24422 4294967295 134512640 134716908 3221224576 3221220640 1075093350 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26267 24422 1111 63 0 26204 0
vsize: 105068
[startup+580.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7834
Raw data (stat): 7775 (bsolo_lpr-v2) R 7774 8378 8377 0 -1 0 28922 0 0 0 57927 78 0 0 25 0 1 0 837766256 107589632 24427 4294967295 134512640 134716908 3221224576 3221220580 1075964271 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26267 24427 1111 63 0 26204 0
vsize: 105068
[startup+590.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7834
Raw data (stat): 7775 (bsolo_lpr-v2) R 7774 8378 8377 0 -1 0 28984 0 0 0 58927 78 0 0 25 0 1 0 837766256 108097536 24489 4294967295 134512640 134716908 3221224576 3221220708 1075115065 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26391 24489 1111 63 0 26328 0
vsize: 105564
[startup+600.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7834
Raw data (stat): 7775 (bsolo_lpr-v2) R 7774 8378 8377 0 -1 0 29007 0 0 0 59927 79 0 0 25 0 1 0 837766256 108097536 24512 4294967295 134512640 134716908 3221224576 3221220592 1075895652 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26391 24512 1111 63 0 26328 0
vsize: 105564
[startup+610.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7834
Raw data (stat): 7775 (bsolo_lpr-v2) R 7774 8378 8377 0 -1 0 29010 0 0 0 60927 79 0 0 25 0 1 0 837766256 108097536 24515 4294967295 134512640 134716908 3221224576 3221220640 1075094874 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26391 24515 1111 63 0 26328 0
vsize: 105564
[startup+620.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7834
Raw data (stat): 7775 (bsolo_lpr-v2) R 7774 8378 8377 0 -1 0 29011 0 0 0 61927 79 0 0 25 0 1 0 837766256 108097536 24516 4294967295 134512640 134716908 3221224576 3221220492 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26391 24516 1111 63 0 26328 0
vsize: 105564
[startup+630.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7834
Raw data (stat): 7775 (bsolo_lpr-v2) R 7774 8378 8377 0 -1 0 29014 0 0 0 62927 79 0 0 25 0 1 0 837766256 108097536 24519 4294967295 134512640 134716908 3221224576 3221220444 1074788964 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26391 24519 1111 63 0 26328 0
vsize: 105564
[startup+640.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7834
Raw data (stat): 7775 (bsolo_lpr-v2) R 7774 8378 8377 0 -1 0 29017 0 0 0 63927 79 0 0 25 0 1 0 837766256 108097536 24522 4294967295 134512640 134716908 3221224576 3221220848 1075894487 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26391 24522 1111 63 0 26328 0
vsize: 105564
[startup+650.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7834
Raw data (stat): 7775 (bsolo_lpr-v2) R 7774 8378 8377 0 -1 0 29018 0 0 0 64927 79 0 0 25 0 1 0 837766256 108097536 24523 4294967295 134512640 134716908 3221224576 3221220640 1075093350 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26391 24523 1111 63 0 26328 0
vsize: 105564
[startup+660.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7834
Raw data (stat): 7775 (bsolo_lpr-v2) R 7774 8378 8377 0 -1 0 29023 0 0 0 65927 79 0 0 25 0 1 0 837766256 108097536 24528 4294967295 134512640 134716908 3221224576 3221220444 1074788953 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26391 24528 1111 63 0 26328 0
vsize: 105564
[startup+670.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7834
Raw data (stat): 7775 (bsolo_lpr-v2) R 7774 8378 8377 0 -1 0 29025 0 0 0 66927 79 0 0 25 0 1 0 837766256 108097536 24530 4294967295 134512640 134716908 3221224576 3221220688 1074815241 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26391 24530 1111 63 0 26328 0
vsize: 105564
[startup+680.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7834
Raw data (stat): 7775 (bsolo_lpr-v2) R 7774 8378 8377 0 -1 0 29028 0 0 0 67928 79 0 0 25 0 1 0 837766256 108097536 24533 4294967295 134512640 134716908 3221224576 3221220688 1075895849 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26391 24533 1111 63 0 26328 0
vsize: 105564
[startup+690.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7834
Raw data (stat): 7775 (bsolo_lpr-v2) R 7774 8378 8377 0 -1 0 29032 0 0 0 68928 79 0 0 25 0 1 0 837766256 108097536 24537 4294967295 134512640 134716908 3221224576 3221220848 1075894487 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26391 24537 1111 63 0 26328 0
vsize: 105564
[startup+700.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7834
Raw data (stat): 7775 (bsolo_lpr-v2) R 7774 8378 8377 0 -1 0 29038 0 0 0 69928 79 0 0 25 0 1 0 837766256 108097536 24543 4294967295 134512640 134716908 3221224576 3221220440 1075964740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26391 24543 1111 63 0 26328 0
vsize: 105564
[startup+710.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7834
Raw data (stat): 7775 (bsolo_lpr-v2) R 7774 8378 8377 0 -1 0 29039 0 0 0 70928 79 0 0 25 0 1 0 837766256 108097536 24544 4294967295 134512640 134716908 3221224576 3221220720 1075115715 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26391 24544 1111 63 0 26328 0
vsize: 105564
[startup+720.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7834
Raw data (stat): 7775 (bsolo_lpr-v2) R 7774 8378 8377 0 -1 0 29039 0 0 0 71928 79 0 0 25 0 1 0 837766256 108097536 24544 4294967295 134512640 134716908 3221224576 3221220992 1075084533 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26391 24544 1111 63 0 26328 0
vsize: 105564
[startup+730.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7834
Raw data (stat): 7775 (bsolo_lpr-v2) R 7774 8378 8377 0 -1 0 29041 0 0 0 72929 79 0 0 25 0 1 0 837766256 108097536 24546 4294967295 134512640 134716908 3221224576 3221220444 1074788953 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26391 24546 1111 63 0 26328 0
vsize: 105564
[startup+740.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7834
Raw data (stat): 7775 (bsolo_lpr-v2) R 7774 8378 8377 0 -1 0 29043 0 0 0 73929 79 0 0 25 0 1 0 837766256 108097536 24548 4294967295 134512640 134716908 3221224576 3221220364 1074788953 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26391 24548 1111 63 0 26328 0
vsize: 105564
[startup+750.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7834
Raw data (stat): 7775 (bsolo_lpr-v2) R 7774 8378 8377 0 -1 0 29043 0 0 0 74929 79 0 0 25 0 1 0 837766256 108097536 24548 4294967295 134512640 134716908 3221224576 3221220444 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26391 24548 1111 63 0 26328 0
vsize: 105564
[startup+760.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7834
Raw data (stat): 7775 (bsolo_lpr-v2) R 7774 8378 8377 0 -1 0 29044 0 0 0 75929 79 0 0 25 0 1 0 837766256 108097536 24549 4294967295 134512640 134716908 3221224576 3221220752 1074961264 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26391 24549 1111 63 0 26328 0
vsize: 105564
[startup+770.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7834
Raw data (stat): 7775 (bsolo_lpr-v2) R 7774 8378 8377 0 -1 0 29044 0 0 0 76929 79 0 0 25 0 1 0 837766256 108097536 24549 4294967295 134512640 134716908 3221224576 3221220364 1074788953 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26391 24549 1111 63 0 26328 0
vsize: 105564
[startup+780.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7834
Raw data (stat): 7775 (bsolo_lpr-v2) R 7774 8378 8377 0 -1 0 29044 0 0 0 77929 79 0 0 25 0 1 0 837766256 108097536 24549 4294967295 134512640 134716908 3221224576 3221220580 1075964227 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26391 24549 1111 63 0 26328 0
vsize: 105564
[startup+790.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7834
Raw data (stat): 7775 (bsolo_lpr-v2) R 7774 8378 8377 0 -1 0 29044 0 0 0 78929 79 0 0 25 0 1 0 837766256 108097536 24549 4294967295 134512640 134716908 3221224576 3221220448 1075965232 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26391 24549 1111 63 0 26328 0
vsize: 105564
[startup+800.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7834
Raw data (stat): 7775 (bsolo_lpr-v2) R 7774 8378 8377 0 -1 0 29049 0 0 0 79930 79 0 0 25 0 1 0 837766256 108097536 24554 4294967295 134512640 134716908 3221224576 3221220992 1075084533 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26391 24554 1111 63 0 26328 0
vsize: 105564
[startup+810.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7834
Raw data (stat): 7775 (bsolo_lpr-v2) R 7774 8378 8377 0 -1 0 29052 0 0 0 80930 79 0 0 25 0 1 0 837766256 108097536 24557 4294967295 134512640 134716908 3221224576 3221220848 1075894554 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26391 24557 1111 63 0 26328 0
vsize: 105564
[startup+820.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7834
Raw data (stat): 7775 (bsolo_lpr-v2) R 7774 8378 8377 0 -1 0 29053 0 0 0 81930 79 0 0 25 0 1 0 837766256 108097536 24558 4294967295 134512640 134716908 3221224576 3221220544 1075084533 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26391 24558 1111 63 0 26328 0
vsize: 105564
[startup+830.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7834
Raw data (stat): 7775 (bsolo_lpr-v2) R 7774 8378 8377 0 -1 0 29054 0 0 0 82930 79 0 0 25 0 1 0 837766256 108097536 24559 4294967295 134512640 134716908 3221224576 3221220492 1074788953 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26391 24559 1111 63 0 26328 0
vsize: 105564
[startup+840.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7834
Raw data (stat): 7775 (bsolo_lpr-v2) R 7774 8378 8377 0 -1 0 29055 0 0 0 83930 79 0 0 25 0 1 0 837766256 108097536 24560 4294967295 134512640 134716908 3221224576 3221220544 1075084533 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26391 24560 1111 63 0 26328 0
vsize: 105564
[startup+850.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7834
Raw data (stat): 7775 (bsolo_lpr-v2) R 7774 8378 8377 0 -1 0 29061 0 0 0 84931 79 0 0 25 0 1 0 837766256 108097536 24566 4294967295 134512640 134716908 3221224576 3221221136 1075967916 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26391 24566 1111 63 0 26328 0
vsize: 105564
[startup+860.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7834
Raw data (stat): 7775 (bsolo_lpr-v2) R 7774 8378 8377 0 -1 0 29065 0 0 0 85931 79 0 0 25 0 1 0 837766256 108097536 24570 4294967295 134512640 134716908 3221224576 3221220492 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26391 24570 1111 63 0 26328 0
vsize: 105564
[startup+870.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7834
Raw data (stat): 7775 (bsolo_lpr-v2) R 7774 8378 8377 0 -1 0 29066 0 0 0 86931 79 0 0 25 0 1 0 837766256 108097536 24571 4294967295 134512640 134716908 3221224576 3221220708 1075115065 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26391 24571 1111 63 0 26328 0
vsize: 105564
[startup+880.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7834
Raw data (stat): 7775 (bsolo_lpr-v2) R 7774 8378 8377 0 -1 0 29120 0 0 0 87931 80 0 0 25 0 1 0 837766256 108625920 24625 4294967295 134512640 134716908 3221224576 3221220468 1074786547 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26520 24625 1111 63 0 26457 0
vsize: 106080
[startup+890.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7834
Raw data (stat): 7775 (bsolo_lpr-v2) R 7774 8378 8377 0 -1 0 29207 0 0 0 88931 80 0 0 25 0 1 0 837766256 109182976 24712 4294967295 134512640 134716908 3221224576 3221220720 1075115747 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26656 24712 1111 63 0 26593 0
vsize: 106624
[startup+900.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7834
Raw data (stat): 7775 (bsolo_lpr-v2) R 7774 8378 8377 0 -1 0 29338 0 0 0 89931 80 0 0 25 0 1 0 837766256 109772800 24843 4294967295 134512640 134716908 3221224576 3221220580 1075964227 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26800 24843 1111 63 0 26737 0
vsize: 107200
[startup+910.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7834
Raw data (stat): 7775 (bsolo_lpr-v2) R 7774 8378 8377 0 -1 0 29355 0 0 0 90931 80 0 0 25 0 1 0 837766256 109772800 24860 4294967295 134512640 134716908 3221224576 3221220848 1075894487 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26800 24860 1111 63 0 26737 0
vsize: 107200
[startup+920.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7834
Raw data (stat): 7775 (bsolo_lpr-v2) R 7774 8378 8377 0 -1 0 29456 0 0 0 91931 80 0 0 25 0 1 0 837766256 110391296 24961 4294967295 134512640 134716908 3221224576 3221220708 1075115039 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26951 24961 1111 63 0 26888 0
vsize: 107804
[startup+930.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7834
Raw data (stat): 7775 (bsolo_lpr-v2) R 7774 8378 8377 0 -1 0 29457 0 0 0 92931 81 0 0 25 0 1 0 837766256 110391296 24962 4294967295 134512640 134716908 3221224576 3221220920 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26951 24962 1111 63 0 26888 0
vsize: 107804
[startup+940.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7834
Raw data (stat): 7775 (bsolo_lpr-v2) R 7774 8378 8377 0 -1 0 29464 0 0 0 93931 81 0 0 25 0 1 0 837766256 110391296 24969 4294967295 134512640 134716908 3221224576 3221220720 1075115715 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26951 24969 1111 63 0 26888 0
vsize: 107804
[startup+950.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7834
Raw data (stat): 7775 (bsolo_lpr-v2) R 7774 8378 8377 0 -1 0 29467 0 0 0 94931 81 0 0 25 0 1 0 837766256 110391296 24972 4294967295 134512640 134716908 3221224576 3221220708 1075115046 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26951 24972 1111 63 0 26888 0
vsize: 107804
[startup+960.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7834
Raw data (stat): 7775 (bsolo_lpr-v2) R 7774 8378 8377 0 -1 0 29534 0 0 0 95931 81 0 0 25 0 1 0 837766256 111034368 25039 4294967295 134512640 134716908 3221224576 3221220708 1075115065 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27108 25039 1111 63 0 27045 0
vsize: 108432
[startup+970.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7834
Raw data (stat): 7775 (bsolo_lpr-v2) R 7774 8378 8377 0 -1 0 29587 0 0 0 96931 81 0 0 25 0 1 0 837766256 111034368 25092 4294967295 134512640 134716908 3221224576 3221221024 1075088564 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27108 25092 1111 63 0 27045 0
vsize: 108432
[startup+980.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7834
Raw data (stat): 7775 (bsolo_lpr-v2) R 7774 8378 8377 0 -1 0 29588 0 0 0 97931 82 0 0 25 0 1 0 837766256 111034368 25093 4294967295 134512640 134716908 3221224576 3221220492 1074788953 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27108 25093 1111 63 0 27045 0
vsize: 108432
[startup+990.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7834
Raw data (stat): 7775 (bsolo_lpr-v2) R 7774 8378 8377 0 -1 0 29599 0 0 0 98931 82 0 0 25 0 1 0 837766256 111034368 25104 4294967295 134512640 134716908 3221224576 3221220708 1075115039 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27108 25104 1111 63 0 27045 0
vsize: 108432
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7834
Raw data (stat): 7775 (bsolo_lpr-v2) R 7774 8378 8377 0 -1 0 29601 0 0 0 99931 82 0 0 25 0 1 0 837766256 111034368 25106 4294967295 134512640 134716908 3221224576 3221220640 1075095094 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27108 25106 1111 63 0 27045 0
vsize: 108432
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7834
Raw data (stat): 7775 (bsolo_lpr-v2) R 7774 8378 8377 0 -1 0 29609 0 0 0 100931 82 0 0 25 0 1 0 837766256 111034368 25114 4294967295 134512640 134716908 3221224576 3221220448 1075965246 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27108 25114 1111 63 0 27045 0
vsize: 108432
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7834
Raw data (stat): 7775 (bsolo_lpr-v2) R 7774 8378 8377 0 -1 0 29690 0 0 0 101931 82 0 0 25 0 1 0 837766256 111718400 25195 4294967295 134512640 134716908 3221224576 3221220364 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27275 25195 1111 63 0 27212 0
vsize: 109100
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7834
Raw data (stat): 7775 (bsolo_lpr-v2) R 7774 8378 8377 0 -1 0 29728 0 0 0 102931 82 0 0 25 0 1 0 837766256 111718400 25233 4294967295 134512640 134716908 3221224576 3221220708 1075115035 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27275 25233 1111 63 0 27212 0
vsize: 109100
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7834
Raw data (stat): 7775 (bsolo_lpr-v2) R 7774 8378 8377 0 -1 0 29728 0 0 0 103931 82 0 0 25 0 1 0 837766256 111718400 25233 4294967295 134512640 134716908 3221224576 3221220388 1074786537 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27275 25233 1111 63 0 27212 0
vsize: 109100
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7834
Raw data (stat): 7775 (bsolo_lpr-v2) R 7774 8378 8377 0 -1 0 29737 0 0 0 104931 82 0 0 25 0 1 0 837766256 111718400 25242 4294967295 134512640 134716908 3221224576 3221220364 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27275 25242 1111 63 0 27212 0
vsize: 109100
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7834
Raw data (stat): 7775 (bsolo_lpr-v2) R 7774 8378 8377 0 -1 0 29839 0 0 0 105931 83 0 0 25 0 1 0 837766256 112427008 25344 4294967295 134512640 134716908 3221224576 3221220920 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27448 25344 1111 63 0 27385 0
vsize: 109792
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7834
Raw data (stat): 7775 (bsolo_lpr-v2) R 7774 8378 8377 0 -1 0 29888 0 0 0 106931 83 0 0 25 0 1 0 837766256 112427008 25393 4294967295 134512640 134716908 3221224576 3221220364 1074788953 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27448 25393 1111 63 0 27385 0
vsize: 109792
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7834
Raw data (stat): 7775 (bsolo_lpr-v2) R 7774 8378 8377 0 -1 0 29895 0 0 0 107931 83 0 0 25 0 1 0 837766256 112427008 25400 4294967295 134512640 134716908 3221224576 3221220720 1075115730 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27448 25400 1111 63 0 27385 0
vsize: 109792
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7834
Raw data (stat): 7775 (bsolo_lpr-v2) R 7774 8378 8377 0 -1 0 29906 0 0 0 108932 83 0 0 25 0 1 0 837766256 112427008 25411 4294967295 134512640 134716908 3221224576 3221220752 1074960771 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27448 25411 1111 63 0 27385 0
vsize: 109792
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7834
Raw data (stat): 7775 (bsolo_lpr-v2) R 7774 8378 8377 0 -1 0 29910 0 0 0 109932 83 0 0 25 0 1 0 837766256 112427008 25415 4294967295 134512640 134716908 3221224576 3221220708 1075115035 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27448 25415 1111 63 0 27385 0
vsize: 109792
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7834
Raw data (stat): 7775 (bsolo_lpr-v2) R 7774 8378 8377 0 -1 0 29911 0 0 0 110932 83 0 0 25 0 1 0 837766256 112427008 25416 4294967295 134512640 134716908 3221224576 3221220492 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27448 25416 1111 63 0 27385 0
vsize: 109792
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7834
Raw data (stat): 7775 (bsolo_lpr-v2) R 7774 8378 8377 0 -1 0 29913 0 0 0 111932 83 0 0 25 0 1 0 837766256 112427008 25418 4294967295 134512640 134716908 3221224576 3221220708 1075115046 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27448 25418 1111 63 0 27385 0
vsize: 109792
[startup+1130.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7834
Raw data (stat): 7775 (bsolo_lpr-v2) R 7774 8378 8377 0 -1 0 29913 0 0 0 112932 83 0 0 25 0 1 0 837766256 112427008 25418 4294967295 134512640 134716908 3221224576 3221220492 1074788964 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27448 25418 1111 63 0 27385 0
vsize: 109792
[startup+1140.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7834
Raw data (stat): 7775 (bsolo_lpr-v2) R 7774 8378 8377 0 -1 0 29914 0 0 0 113932 83 0 0 25 0 1 0 837766256 112427008 25419 4294967295 134512640 134716908 3221224576 3221220752 1074960909 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27448 25419 1111 63 0 27385 0
vsize: 109792
[startup+1150.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7834
Raw data (stat): 7775 (bsolo_lpr-v2) R 7774 8378 8377 0 -1 0 29918 0 0 0 114933 83 0 0 25 0 1 0 837766256 112427008 25423 4294967295 134512640 134716908 3221224576 3221220364 1074788950 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27448 25423 1111 63 0 27385 0
vsize: 109792
[startup+1160.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7834
Raw data (stat): 7775 (bsolo_lpr-v2) R 7774 8378 8377 0 -1 0 29924 0 0 0 115933 83 0 0 25 0 1 0 837766256 112427008 25429 4294967295 134512640 134716908 3221224576 3221221072 1074886219 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27448 25429 1111 63 0 27385 0
vsize: 109792
[startup+1170.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7834
Raw data (stat): 7775 (bsolo_lpr-v2) R 7774 8378 8377 0 -1 0 29924 0 0 0 116933 83 0 0 25 0 1 0 837766256 112427008 25429 4294967295 134512640 134716908 3221224576 3221220708 1075115039 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27448 25429 1111 63 0 27385 0
vsize: 109792
[startup+1180.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7834
Raw data (stat): 7775 (bsolo_lpr-v2) R 7774 8378 8377 0 -1 0 29924 0 0 0 117933 83 0 0 25 0 1 0 837766256 112427008 25429 4294967295 134512640 134716908 3221224576 3221220388 1074786556 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27448 25429 1111 63 0 27385 0
vsize: 109792
[startup+1190.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7834
Raw data (stat): 7775 (bsolo_lpr-v2) R 7774 8378 8377 0 -1 0 29935 0 0 0 118933 83 0 0 25 0 1 0 837766256 112427008 25440 4294967295 134512640 134716908 3221224576 3221220640 1075094841 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27448 25440 1111 63 0 27385 0
vsize: 109792
[startup+1200.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7834
Raw data (stat): 7775 (bsolo_lpr-v2) R 7774 8378 8377 0 -1 0 29942 0 0 0 119933 83 0 0 25 0 1 0 837766256 112427008 25447 4294967295 134512640 134716908 3221224576 3221220708 1075115049 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27448 25447 1111 63 0 27385 0
vsize: 109792
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.07 s]
Raw data (loadavg): 0.99 0.97 0.91 1/55 7834
Raw data (stat): 7775 (bsolo_lpr-v2) Z 7774 8378 8377 0 -1 1036 29942 0 0 0 119933 88 0 0 25 0 1 0 837766256 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.07
CPU time (s): 1200.22
CPU user time (s): 1199.34
CPU system time (s): 0.883865
CPU usage (%): 100.013
Max. virtual memory (Kb): 109792
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####