PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-5.opb
MD5SUM	7850e0b228f4ef5ee038a9c3595683ab
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-33
Optimality of the best value was proved	NO
Number of terms in the objective function	945
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	945
Number of bits of the sum of numbers in the objective function	10
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	945
Number of bits of the biggest sum of numbers	10
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.08
Number of variables	945
Total number of constraints	58579
Number of constraints which are clauses	58579
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 24802

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-13 05:46:10 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2989 boxname=wulflinc31 idbench=333 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  7850e0b228f4ef5ee038a9c3595683ab  /oldhome/oroussel/tmp/wulflinc31/normalized-frb45-21-5.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-frb45-21-5.opb
IDLAUNCH: 2989
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
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	: 3
cpu MHz		: 451.153
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        873348 kB
Buffers:         36104 kB
Cached:         103468 kB
SwapCached:       1936 kB
Active:         105844 kB
Inactive:        36880 kB
HighTotal:      131008 kB
HighFree:        26740 kB
LowTotal:       903652 kB
LowFree:        846608 kB
SwapTotal:     2097892 kB
SwapFree:      2095224 kB
Dirty:            1272 kB
Writeback:           0 kB
Mapped:           5360 kB
Slab:            13072 kB
Committed_AS:    63856 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-13 06:06:13 (client local time) WITH STATUS 0 IN 1200.17 SECONDS
stats: 2989 7 1200.17 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 945 variables and 58579 constraints.
c After prepocess the problem consists of 945 variables and 40813 constraints.
c preprocess terminated 393.498 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
Raw data (loadavg): 0.91 0.97 0.95 2/55 15067
Raw data (stat): 15067 (runsolver) R 15066 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 732755054 1056768 100 4294967295 134512640 135381576 3221221680 3221216900 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0013 s]
Raw data (loadavg): 0.93 0.97 0.95 2/55 15067
Raw data (stat): 15067 (bsolo_lpr) R 15066 7876 7672 0 -1 0 19664 0 0 0 940 54 0 0 25 0 1 0 732755054 83759104 19584 4294967295 134512640 134714508 3221221792 3221220424 134558765 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20449 19584 1111 63 0 20386 0
vsize: 81796
[startup+20.0023 s]
Raw data (loadavg): 0.94 0.97 0.95 2/55 15067
Raw data (stat): 15067 (bsolo_lpr) R 15066 7876 7672 0 -1 0 23932 0 0 0 1930 64 0 0 25 0 1 0 732755054 85671936 20083 4294967295 134512640 134714508 3221221792 3221220528 134630810 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20916 20083 1111 63 0 20853 0
vsize: 83664
[startup+30.0022 s]
Raw data (loadavg): 0.95 0.97 0.95 2/55 15067
Raw data (stat): 15067 (bsolo_lpr) R 15066 7876 7672 0 -1 0 28772 0 0 0 2918 75 0 0 25 0 1 0 732755054 105541632 24923 4294967295 134512640 134714508 3221221792 3221220156 134539235 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25767 24923 1111 63 0 25704 0
vsize: 103068
[startup+40.003 s]
Raw data (loadavg): 0.95 0.97 0.95 2/55 15067
Raw data (stat): 15067 (bsolo_lpr) R 15066 7876 7672 0 -1 0 29181 0 0 0 3917 76 0 0 25 0 1 0 732755054 106962944 25281 4294967295 134512640 134714508 3221221792 3221220156 134539235 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26114 25281 1111 63 0 26051 0
vsize: 104456
[startup+50.004 s]
Raw data (loadavg): 0.96 0.97 0.95 2/55 15067
Raw data (stat): 15067 (bsolo_lpr) R 15066 7876 7672 0 -1 0 29181 0 0 0 4916 77 0 0 25 0 1 0 732755054 106962944 25281 4294967295 134512640 134714508 3221221792 3221220432 134594970 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26114 25281 1111 63 0 26051 0
vsize: 104456
[startup+60.0049 s]
Raw data (loadavg): 0.97 0.97 0.95 2/55 15067
Raw data (stat): 15067 (bsolo_lpr) R 15066 7876 7672 0 -1 0 29181 0 0 0 5916 78 0 0 25 0 1 0 732755054 106962944 25281 4294967295 134512640 134714508 3221221792 3221220256 134542306 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26114 25281 1111 63 0 26051 0
vsize: 104456
[startup+70.0059 s]
Raw data (loadavg): 0.97 0.97 0.95 2/55 15067
Raw data (stat): 15067 (bsolo_lpr) R 15066 7876 7672 0 -1 0 29181 0 0 0 6916 78 0 0 25 0 1 0 732755054 106962944 25281 4294967295 134512640 134714508 3221221792 3221220284 134542371 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26114 25281 1111 63 0 26051 0
vsize: 104456
[startup+80.0068 s]
Raw data (loadavg): 0.98 0.97 0.95 2/55 15067
Raw data (stat): 15067 (bsolo_lpr) R 15066 7876 7672 0 -1 0 29181 0 0 0 7915 78 0 0 25 0 1 0 732755054 106962944 25281 4294967295 134512640 134714508 3221221792 3221220272 134542352 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26114 25281 1111 63 0 26051 0
vsize: 104456
[startup+90.0073 s]
Raw data (loadavg): 0.98 0.97 0.95 2/55 15067
Raw data (stat): 15067 (bsolo_lpr) R 15066 7876 7672 0 -1 0 29181 0 0 0 8915 78 0 0 25 0 1 0 732755054 106962944 25281 4294967295 134512640 134714508 3221221792 3221220272 134539374 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26114 25281 1111 63 0 26051 0
vsize: 104456
[startup+100.008 s]
Raw data (loadavg): 0.98 0.97 0.95 2/55 15067
Raw data (stat): 15067 (bsolo_lpr) R 15066 7876 7672 0 -1 0 29181 0 0 0 9915 78 0 0 25 0 1 0 732755054 106962944 25281 4294967295 134512640 134714508 3221221792 3221220272 134539382 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26114 25281 1111 63 0 26051 0
vsize: 104456
[startup+110.01 s]
Raw data (loadavg): 0.98 0.97 0.95 2/55 15067
Raw data (stat): 15067 (bsolo_lpr) R 15066 7876 7672 0 -1 0 29181 0 0 0 10914 79 0 0 25 0 1 0 732755054 106962944 25281 4294967295 134512640 134714508 3221221792 3221220176 134542352 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26114 25281 1111 63 0 26051 0
vsize: 104456
[startup+120.011 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 15067
Raw data (stat): 15067 (bsolo_lpr) R 15066 7876 7672 0 -1 0 29181 0 0 0 11914 79 0 0 25 0 1 0 732755054 106962944 25281 4294967295 134512640 134714508 3221221792 3221220408 134543804 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26114 25281 1111 63 0 26051 0
vsize: 104456
[startup+130.011 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 15067
Raw data (stat): 15067 (bsolo_lpr) R 15066 7876 7672 0 -1 0 29181 0 0 0 12913 80 0 0 25 0 1 0 732755054 106962944 25281 4294967295 134512640 134714508 3221221792 3221220272 134539376 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26114 25281 1111 63 0 26051 0
vsize: 104456
[startup+140.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 15067
Raw data (stat): 15067 (bsolo_lpr) R 15066 7876 7672 0 -1 0 29181 0 0 0 13913 80 0 0 25 0 1 0 732755054 106962944 25281 4294967295 134512640 134714508 3221221792 3221220272 134539462 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26114 25281 1111 63 0 26051 0
vsize: 104456
[startup+150.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 15067
Raw data (stat): 15067 (bsolo_lpr) R 15066 7876 7672 0 -1 0 29181 0 0 0 14913 80 0 0 25 0 1 0 732755054 106962944 25281 4294967295 134512640 134714508 3221221792 3221220208 134543684 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26114 25281 1111 63 0 26051 0
vsize: 104456
[startup+160.014 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 15067
Raw data (stat): 15067 (bsolo_lpr) R 15066 7876 7672 0 -1 0 29181 0 0 0 15912 81 0 0 25 0 1 0 732755054 106962944 25281 4294967295 134512640 134714508 3221221792 3221220288 134543712 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26114 25281 1111 63 0 26051 0
vsize: 104456
[startup+170.015 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 15067
Raw data (stat): 15067 (bsolo_lpr) R 15066 7876 7672 0 -1 0 29181 0 0 0 16912 81 0 0 25 0 1 0 732755054 106962944 25281 4294967295 134512640 134714508 3221221792 3221220368 134535742 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26114 25281 1111 63 0 26051 0
vsize: 104456
[startup+180.016 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 15067
Raw data (stat): 15067 (bsolo_lpr) R 15066 7876 7672 0 -1 0 29181 0 0 0 17911 82 0 0 25 0 1 0 732755054 106962944 25281 4294967295 134512640 134714508 3221221792 3221220272 134539462 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26114 25281 1111 63 0 26051 0
vsize: 104456
[startup+190.017 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 15067
Raw data (stat): 15067 (bsolo_lpr) R 15066 7876 7672 0 -1 0 29181 0 0 0 18911 82 0 0 25 0 1 0 732755054 106962944 25281 4294967295 134512640 134714508 3221221792 3221220348 134542828 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26114 25281 1111 63 0 26051 0
vsize: 104456
[startup+200.018 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 15067
Raw data (stat): 15067 (bsolo_lpr) R 15066 7876 7672 0 -1 0 29181 0 0 0 19911 82 0 0 25 0 1 0 732755054 106962944 25281 4294967295 134512640 134714508 3221221792 3221220280 134542370 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26114 25281 1111 63 0 26051 0
vsize: 104456
[startup+210.018 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 15067
Raw data (stat): 15067 (bsolo_lpr) R 15066 7876 7672 0 -1 0 29181 0 0 0 20911 83 0 0 25 0 1 0 732755054 106962944 25281 4294967295 134512640 134714508 3221221792 3221220408 134543796 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26114 25281 1111 63 0 26051 0
vsize: 104456
[startup+220.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 15067
Raw data (stat): 15067 (bsolo_lpr) R 15066 7876 7672 0 -1 0 29181 0 0 0 21910 83 0 0 25 0 1 0 732755054 106962944 25281 4294967295 134512640 134714508 3221221792 3221220408 134543796 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26114 25281 1111 63 0 26051 0
vsize: 104456
[startup+230.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 15067
Raw data (stat): 15067 (bsolo_lpr) R 15066 7876 7672 0 -1 0 29181 0 0 0 22910 84 0 0 25 0 1 0 732755054 106962944 25281 4294967295 134512640 134714508 3221221792 3221220408 134543796 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26114 25281 1111 63 0 26051 0
vsize: 104456
[startup+240.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 15067
Raw data (stat): 15067 (bsolo_lpr) R 15066 7876 7672 0 -1 0 29181 0 0 0 23909 84 0 0 25 0 1 0 732755054 106962944 25281 4294967295 134512640 134714508 3221221792 3221220200 134543606 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26114 25281 1111 63 0 26051 0
vsize: 104456
[startup+250.021 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 15067
Raw data (stat): 15067 (bsolo_lpr) R 15066 7876 7672 0 -1 0 29181 0 0 0 24909 84 0 0 25 0 1 0 732755054 106962944 25281 4294967295 134512640 134714508 3221221792 3221220272 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26114 25281 1111 63 0 26051 0
vsize: 104456
[startup+260.023 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 15067
Raw data (stat): 15067 (bsolo_lpr) R 15066 7876 7672 0 -1 0 29181 0 0 0 25909 84 0 0 25 0 1 0 732755054 106962944 25281 4294967295 134512640 134714508 3221221792 3221220184 134542370 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26114 25281 1111 63 0 26051 0
vsize: 104456
[startup+270.023 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 15067
Raw data (stat): 15067 (bsolo_lpr) R 15066 7876 7672 0 -1 0 29181 0 0 0 26908 85 0 0 25 0 1 0 732755054 106962944 25281 4294967295 134512640 134714508 3221221792 3221220408 134543796 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26114 25281 1111 63 0 26051 0
vsize: 104456
[startup+280.023 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 15067
Raw data (stat): 15067 (bsolo_lpr) R 15066 7876 7672 0 -1 0 29181 0 0 0 27908 85 0 0 25 0 1 0 732755054 106962944 25281 4294967295 134512640 134714508 3221221792 3221220208 134543684 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26114 25281 1111 63 0 26051 0
vsize: 104456
[startup+290.025 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 15067
Raw data (stat): 15067 (bsolo_lpr) R 15066 7876 7672 0 -1 0 29181 0 0 0 28907 86 0 0 25 0 1 0 732755054 106962944 25281 4294967295 134512640 134714508 3221221792 3221220272 134539376 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26114 25281 1111 63 0 26051 0
vsize: 104456
[startup+300.025 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 15067
Raw data (stat): 15067 (bsolo_lpr) R 15066 7876 7672 0 -1 0 29181 0 0 0 29907 86 0 0 25 0 1 0 732755054 106962944 25281 4294967295 134512640 134714508 3221221792 3221220356 134535756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26114 25281 1111 63 0 26051 0
vsize: 104456
[startup+310.026 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 15067
Raw data (stat): 15067 (bsolo_lpr) R 15066 7876 7672 0 -1 0 29181 0 0 0 30907 86 0 0 25 0 1 0 732755054 106962944 25281 4294967295 134512640 134714508 3221221792 3221220432 134594947 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26114 25281 1111 63 0 26051 0
vsize: 104456
[startup+320.027 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 15067
Raw data (stat): 15067 (bsolo_lpr) R 15066 7876 7672 0 -1 0 29181 0 0 0 31906 87 0 0 25 0 1 0 732755054 106962944 25281 4294967295 134512640 134714508 3221221792 3221220456 134627195 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26114 25281 1111 63 0 26051 0
vsize: 104456
[startup+330.028 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 15067
Raw data (stat): 15067 (bsolo_lpr) R 15066 7876 7672 0 -1 0 29181 0 0 0 32906 88 0 0 25 0 1 0 732755054 106962944 25281 4294967295 134512640 134714508 3221221792 3221220448 134627203 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26114 25281 1111 63 0 26051 0
vsize: 104456
[startup+340.028 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 15067
Raw data (stat): 15067 (bsolo_lpr) R 15066 7876 7672 0 -1 0 29181 0 0 0 33906 88 0 0 25 0 1 0 732755054 106962944 25281 4294967295 134512640 134714508 3221221792 3221220452 134627197 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26114 25281 1111 63 0 26051 0
vsize: 104456
[startup+350.028 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 15067
Raw data (stat): 15067 (bsolo_lpr) R 15066 7876 7672 0 -1 0 29181 0 0 0 34905 88 0 0 25 0 1 0 732755054 106962944 25281 4294967295 134512640 134714508 3221221792 3221220464 134627250 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26114 25281 1111 63 0 26051 0
vsize: 104456
[startup+360.029 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 15067
Raw data (stat): 15067 (bsolo_lpr) R 15066 7876 7672 0 -1 0 29181 0 0 0 35905 89 0 0 25 0 1 0 732755054 106962944 25281 4294967295 134512640 134714508 3221221792 3221220444 134558608 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26114 25281 1111 63 0 26051 0
vsize: 104456
[startup+370.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 15067
Raw data (stat): 15067 (bsolo_lpr) R 15066 7876 7672 0 -1 0 29181 0 0 0 36905 89 0 0 25 0 1 0 732755054 106962944 25281 4294967295 134512640 134714508 3221221792 3221220464 134627187 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26114 25281 1111 63 0 26051 0
vsize: 104456
[startup+380.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 15067
Raw data (stat): 15067 (bsolo_lpr) R 15066 7876 7672 0 -1 0 29182 0 0 0 37905 89 0 0 25 0 1 0 732755054 106962944 25282 4294967295 134512640 134714508 3221221792 3221220568 134543144 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26114 25282 1111 63 0 26051 0
vsize: 104456
[startup+390.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 15067
Raw data (stat): 15067 (bsolo_lpr) R 15066 7876 7672 0 -1 0 29182 0 0 0 38905 90 0 0 25 0 1 0 732755054 106962944 25282 4294967295 134512640 134714508 3221221792 3221220660 134622267 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26114 25282 1111 63 0 26051 0
vsize: 104456
[startup+400.032 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 15067
Raw data (stat): 15067 (bsolo_lpr) R 15066 7876 7672 0 -1 0 29204 0 0 0 39905 90 0 0 25 0 1 0 732755054 106962944 25304 4294967295 134512640 134714508 3221221792 3221220064 1074153792 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26114 25304 1111 63 0 26051 0
vsize: 104456
[startup+410.033 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 15067
Raw data (stat): 15067 (bsolo_lpr) R 15066 7876 7672 0 -1 0 29204 0 0 0 40904 91 0 0 25 0 1 0 732755054 106962944 25304 4294967295 134512640 134714508 3221221792 3221220096 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26114 25304 1111 63 0 26051 0
vsize: 104456
[startup+420.033 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 15067
Raw data (stat): 15067 (bsolo_lpr) R 15066 7876 7672 0 -1 0 29204 0 0 0 41904 91 0 0 25 0 1 0 732755054 106962944 25304 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26114 25304 1111 63 0 26051 0
vsize: 104456
[startup+430.034 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 15067
Raw data (stat): 15067 (bsolo_lpr) R 15066 7876 7672 0 -1 0 29204 0 0 0 42903 91 0 0 25 0 1 0 732755054 106962944 25304 4294967295 134512640 134714508 3221221792 3221220064 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26114 25304 1111 63 0 26051 0
vsize: 104456
[startup+440.035 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 15067
Raw data (stat): 15067 (bsolo_lpr) R 15066 7876 7672 0 -1 0 29204 0 0 0 43903 92 0 0 25 0 1 0 732755054 106962944 25304 4294967295 134512640 134714508 3221221792 3221220096 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26114 25304 1111 63 0 26051 0
vsize: 104456
[startup+450.036 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 15067
Raw data (stat): 15067 (bsolo_lpr) R 15066 7876 7672 0 -1 0 29204 0 0 0 44903 92 0 0 25 0 1 0 732755054 106962944 25304 4294967295 134512640 134714508 3221221792 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26114 25304 1111 63 0 26051 0
vsize: 104456
[startup+460.037 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 15067
Raw data (stat): 15067 (bsolo_lpr) R 15066 7876 7672 0 -1 0 29204 0 0 0 45902 92 0 0 25 0 1 0 732755054 106962944 25304 4294967295 134512640 134714508 3221221792 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26114 25304 1111 63 0 26051 0
vsize: 104456
[startup+470.038 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 15067
Raw data (stat): 15067 (bsolo_lpr) R 15066 7876 7672 0 -1 0 29204 0 0 0 46902 93 0 0 25 0 1 0 732755054 106962944 25304 4294967295 134512640 134714508 3221221792 3221220064 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26114 25304 1111 63 0 26051 0
vsize: 104456
[startup+480.039 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 15067
Raw data (stat): 15067 (bsolo_lpr) R 15066 7876 7672 0 -1 0 29204 0 0 0 47902 93 0 0 25 0 1 0 732755054 106962944 25304 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26114 25304 1111 63 0 26051 0
vsize: 104456
[startup+490.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 15067
Raw data (stat): 15067 (bsolo_lpr) R 15066 7876 7672 0 -1 0 29204 0 0 0 48902 94 0 0 25 0 1 0 732755054 106962944 25304 4294967295 134512640 134714508 3221221792 3221220064 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26114 25304 1111 63 0 26051 0
vsize: 104456
[startup+500.041 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 15067
Raw data (stat): 15067 (bsolo_lpr) R 15066 7876 7672 0 -1 0 29204 0 0 0 49901 94 0 0 25 0 1 0 732755054 106962944 25304 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26114 25304 1111 63 0 26051 0
vsize: 104456
[startup+510.042 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 15067
Raw data (stat): 15067 (bsolo_lpr) R 15066 7876 7672 0 -1 0 29204 0 0 0 50901 94 0 0 25 0 1 0 732755054 106962944 25304 4294967295 134512640 134714508 3221221792 3221220048 1074153760 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26114 25304 1111 63 0 26051 0
vsize: 104456
[startup+520.042 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 15067
Raw data (stat): 15067 (bsolo_lpr) R 15066 7876 7672 0 -1 0 29204 0 0 0 51901 95 0 0 25 0 1 0 732755054 106962944 25304 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26114 25304 1111 63 0 26051 0
vsize: 104456
[startup+530.042 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 15067
Raw data (stat): 15067 (bsolo_lpr) R 15066 7876 7672 0 -1 0 29204 0 0 0 52900 95 0 0 25 0 1 0 732755054 106962944 25304 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26114 25304 1111 63 0 26051 0
vsize: 104456
[startup+540.043 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 15067
Raw data (stat): 15067 (bsolo_lpr) R 15066 7876 7672 0 -1 0 29204 0 0 0 53900 95 0 0 25 0 1 0 732755054 106962944 25304 4294967295 134512640 134714508 3221221792 3221220016 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26114 25304 1111 63 0 26051 0
vsize: 104456
[startup+550.044 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 15067
Raw data (stat): 15067 (bsolo_lpr) R 15066 7876 7672 0 -1 0 29204 0 0 0 54899 96 0 0 25 0 1 0 732755054 106962944 25304 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26114 25304 1111 63 0 26051 0
vsize: 104456
[startup+560.045 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 15067
Raw data (stat): 15067 (bsolo_lpr) R 15066 7876 7672 0 -1 0 29204 0 0 0 55899 96 0 0 25 0 1 0 732755054 106962944 25304 4294967295 134512640 134714508 3221221792 3221220064 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26114 25304 1111 63 0 26051 0
vsize: 104456
[startup+570.045 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 15067
Raw data (stat): 15067 (bsolo_lpr) R 15066 7876 7672 0 -1 0 29204 0 0 0 56898 97 0 0 25 0 1 0 732755054 106962944 25304 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26114 25304 1111 63 0 26051 0
vsize: 104456
[startup+580.045 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 15067
Raw data (stat): 15067 (bsolo_lpr) R 15066 7876 7672 0 -1 0 29204 0 0 0 57898 97 0 0 25 0 1 0 732755054 106962944 25304 4294967295 134512640 134714508 3221221792 3221220000 1074153760 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26114 25304 1111 63 0 26051 0
vsize: 104456
[startup+590.047 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 15067
Raw data (stat): 15067 (bsolo_lpr) R 15066 7876 7672 0 -1 0 29204 0 0 0 58898 97 0 0 25 0 1 0 732755054 106962944 25304 4294967295 134512640 134714508 3221221792 3221220064 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26114 25304 1111 63 0 26051 0
vsize: 104456
[startup+600.047 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 15067
Raw data (stat): 15067 (bsolo_lpr) R 15066 7876 7672 0 -1 0 29204 0 0 0 59897 98 0 0 25 0 1 0 732755054 106962944 25304 4294967295 134512640 134714508 3221221792 3221220064 1074153779 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26114 25304 1111 63 0 26051 0
vsize: 104456
[startup+610.048 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 15067
Raw data (stat): 15067 (bsolo_lpr) R 15066 7876 7672 0 -1 0 29204 0 0 0 60897 98 0 0 25 0 1 0 732755054 106962944 25304 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26114 25304 1111 63 0 26051 0
vsize: 104456
[startup+620.049 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 15067
Raw data (stat): 15067 (bsolo_lpr) R 15066 7876 7672 0 -1 0 29204 0 0 0 61896 99 0 0 25 0 1 0 732755054 106962944 25304 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26114 25304 1111 63 0 26051 0
vsize: 104456
[startup+630.049 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 15067
Raw data (stat): 15067 (bsolo_lpr) R 15066 7876 7672 0 -1 0 29591 0 0 0 62895 100 0 0 25 0 1 0 732755054 108544000 25691 4294967295 134512640 134714508 3221221792 3221220048 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26500 25691 1111 63 0 26437 0
vsize: 106000
[startup+640.05 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 15067
Raw data (stat): 15067 (bsolo_lpr) R 15066 7876 7672 0 -1 0 29598 0 0 0 63894 101 0 0 25 0 1 0 732755054 108572672 25698 4294967295 134512640 134714508 3221221792 3221220064 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26507 25698 1111 63 0 26444 0
vsize: 106028
[startup+650.051 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 15067
Raw data (stat): 15067 (bsolo_lpr) R 15066 7876 7672 0 -1 0 29605 0 0 0 64894 101 0 0 25 0 1 0 732755054 108601344 25705 4294967295 134512640 134714508 3221221792 3221220016 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26514 25705 1111 63 0 26451 0
vsize: 106056
[startup+660.053 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 15067
Raw data (stat): 15067 (bsolo_lpr) R 15066 7876 7672 0 -1 0 29613 0 0 0 65893 102 0 0 25 0 1 0 732755054 108634112 25713 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26522 25713 1111 63 0 26459 0
vsize: 106088
[startup+670.054 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 15067
Raw data (stat): 15067 (bsolo_lpr) R 15066 7876 7672 0 -1 0 29621 0 0 0 66892 103 0 0 25 0 1 0 732755054 108666880 25721 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26530 25721 1111 63 0 26467 0
vsize: 106120
[startup+680.055 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 15067
Raw data (stat): 15067 (bsolo_lpr) R 15066 7876 7672 0 -1 0 29629 0 0 0 67891 104 0 0 25 0 1 0 732755054 108699648 25729 4294967295 134512640 134714508 3221221792 3221220064 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26538 25729 1111 63 0 26475 0
vsize: 106152
[startup+690.056 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 15067
Raw data (stat): 15067 (bsolo_lpr) R 15066 7876 7672 0 -1 0 29636 0 0 0 68891 104 0 0 25 0 1 0 732755054 108728320 25736 4294967295 134512640 134714508 3221221792 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26545 25736 1111 63 0 26482 0
vsize: 106180
[startup+700.057 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 15067
Raw data (stat): 15067 (bsolo_lpr) R 15066 7876 7672 0 -1 0 29644 0 0 0 69890 105 0 0 25 0 1 0 732755054 108761088 25744 4294967295 134512640 134714508 3221221792 3221220064 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26553 25744 1111 63 0 26490 0
vsize: 106212
[startup+710.059 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 15067
Raw data (stat): 15067 (bsolo_lpr) R 15066 7876 7672 0 -1 0 29651 0 0 0 70890 105 0 0 25 0 1 0 732755054 108789760 25751 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26560 25751 1111 63 0 26497 0
vsize: 106240
[startup+720.06 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 15067
Raw data (stat): 15067 (bsolo_lpr) R 15066 7876 7672 0 -1 0 29657 0 0 0 71889 106 0 0 25 0 1 0 732755054 108814336 25757 4294967295 134512640 134714508 3221221792 3221220048 1074153760 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26566 25757 1111 63 0 26503 0
vsize: 106264
[startup+730.061 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 15067
Raw data (stat): 15067 (bsolo_lpr) R 15066 7876 7672 0 -1 0 29664 0 0 0 72888 107 0 0 25 0 1 0 732755054 108843008 25764 4294967295 134512640 134714508 3221221792 3221220048 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26573 25764 1111 63 0 26510 0
vsize: 106292
[startup+740.061 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 15067
Raw data (stat): 15067 (bsolo_lpr) R 15066 7876 7672 0 -1 0 29671 0 0 0 73887 108 0 0 25 0 1 0 732755054 108871680 25771 4294967295 134512640 134714508 3221221792 3221220016 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26580 25771 1111 63 0 26517 0
vsize: 106320
[startup+750.062 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 15067
Raw data (stat): 15067 (bsolo_lpr) R 15066 7876 7672 0 -1 0 29680 0 0 0 74886 109 0 0 25 0 1 0 732755054 108908544 25780 4294967295 134512640 134714508 3221221792 3221220048 1074153760 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26589 25780 1111 63 0 26526 0
vsize: 106356
[startup+760.063 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 15067
Raw data (stat): 15067 (bsolo_lpr) R 15066 7876 7672 0 -1 0 35836 0 0 0 75872 123 0 0 25 0 1 0 732755054 135327744 29460 4294967295 134512640 134714508 3221221792 3221217856 1074969461 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33039 29460 1111 63 0 32976 0
vsize: 132156
[startup+770.064 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 15067
Raw data (stat): 15067 (bsolo_lpr) R 15066 7876 7672 0 -1 0 35934 0 0 0 76872 124 0 0 25 0 1 0 732755054 135327744 29558 4294967295 134512640 134714508 3221221792 3221217940 1075115049 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33039 29558 1111 63 0 32976 0
vsize: 132156
[startup+780.065 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 15067
Raw data (stat): 15067 (bsolo_lpr) R 15066 7876 7672 0 -1 0 36229 0 0 0 77870 125 0 0 25 0 1 0 732755054 138645504 29853 4294967295 134512640 134714508 3221221792 3221218776 1077410205 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33849 29853 1111 63 0 33786 0
vsize: 135396
[startup+790.066 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 15067
Raw data (stat): 15067 (bsolo_lpr) R 15066 7876 7672 0 -1 0 37451 0 0 0 78867 129 0 0 25 0 1 0 732755054 138317824 31073 4294967295 134512640 134714508 3221221792 3221217704 1075964733 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33769 31073 1111 63 0 33706 0
vsize: 135076
[startup+800.066 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 15067
Raw data (stat): 15067 (bsolo_lpr) R 15066 7876 7672 0 -1 0 37712 0 0 0 79866 130 0 0 25 0 1 0 732755054 132341760 30004 4294967295 134512640 134714508 3221221792 3221217724 1074788959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32310 30004 1111 63 0 32247 0
vsize: 129240
[startup+810.067 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 15067
Raw data (stat): 15067 (bsolo_lpr) R 15066 7876 7672 0 -1 0 37734 0 0 0 80866 130 0 0 25 0 1 0 732755054 132669440 30026 4294967295 134512640 134714508 3221221792 3221218784 1074867334 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32390 30026 1111 63 0 32327 0
vsize: 129560
[startup+820.068 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 15067
Raw data (stat): 15067 (bsolo_lpr) R 15066 7876 7672 0 -1 0 37753 0 0 0 81865 131 0 0 25 0 1 0 732755054 132341760 30041 4294967295 134512640 134714508 3221221792 3221217812 1075964282 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32310 30041 1111 63 0 32247 0
vsize: 129240
[startup+830.068 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 15067
Raw data (stat): 15067 (bsolo_lpr) R 15066 7876 7672 0 -1 0 37757 0 0 0 82865 131 0 0 25 0 1 0 732755054 132341760 30045 4294967295 134512640 134714508 3221221792 3221217756 1074873512 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32310 30045 1111 63 0 32247 0
vsize: 129240
[startup+840.068 s]
Raw data (loadavg): 0.99 0.97 0.95 2/59 15110
Raw data (stat): 15067 (bsolo_lpr) R 15066 7876 7672 0 -1 0 37776 0 0 0 83862 134 0 0 25 0 1 0 732755054 132341760 30062 4294967295 134512640 134714508 3221221792 3221217920 1074815211 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32310 30062 1111 63 0 32247 0
vsize: 129240
[startup+850.144 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 15120
Raw data (stat): 15067 (bsolo_lpr) R 15066 7876 7672 0 -1 0 37790 0 0 0 84870 134 0 0 25 0 1 0 732755054 132341760 30076 4294967295 134512640 134714508 3221221792 3221217856 1074969461 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32310 30076 1111 63 0 32247 0
vsize: 129240
[startup+860.145 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 15120
Raw data (stat): 15067 (bsolo_lpr) R 15066 7876 7672 0 -1 0 37816 0 0 0 85870 134 0 0 25 0 1 0 732755054 132341760 30100 4294967295 134512640 134714508 3221221792 3221218048 1075114265 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32310 30100 1111 63 0 32247 0
vsize: 129240
[startup+870.145 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 15120
Raw data (stat): 15067 (bsolo_lpr) R 15066 7876 7672 0 -1 0 37833 0 0 0 86870 134 0 0 25 0 1 0 732755054 132341760 30115 4294967295 134512640 134714508 3221221792 3221217856 1074969455 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32310 30115 1111 63 0 32247 0
vsize: 129240
[startup+880.145 s]
Raw data (loadavg): 1.07 0.99 0.95 2/55 15120
Raw data (stat): 15067 (bsolo_lpr) R 15066 7876 7672 0 -1 0 37834 0 0 0 87870 134 0 0 25 0 1 0 732755054 132341760 30116 4294967295 134512640 134714508 3221221792 3221217856 1074969461 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32310 30116 1111 63 0 32247 0
vsize: 129240
[startup+890.146 s]
Raw data (loadavg): 1.06 0.99 0.95 2/55 15120
Raw data (stat): 15067 (bsolo_lpr) R 15066 7876 7672 0 -1 0 37849 0 0 0 88870 134 0 0 25 0 1 0 732755054 132341760 30129 4294967295 134512640 134714508 3221221792 3221217596 1074788950 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32310 30129 1111 63 0 32247 0
vsize: 129240
[startup+900.146 s]
Raw data (loadavg): 1.05 0.99 0.95 2/55 15120
Raw data (stat): 15067 (bsolo_lpr) R 15066 7876 7672 0 -1 0 37860 0 0 0 89871 134 0 0 25 0 1 0 732755054 132341760 30138 4294967295 134512640 134714508 3221221792 3221217856 1074969461 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32310 30138 1111 63 0 32247 0
vsize: 129240
[startup+910.147 s]
Raw data (loadavg): 1.04 0.99 0.95 2/55 15122
Raw data (stat): 15067 (bsolo_lpr) R 15066 7876 7672 0 -1 0 37868 0 0 0 90871 134 0 0 25 0 1 0 732755054 132341760 30146 4294967295 134512640 134714508 3221221792 3221217920 1074815234 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32310 30146 1111 63 0 32247 0
vsize: 129240
[startup+920.148 s]
Raw data (loadavg): 1.04 0.99 0.95 2/55 15122
Raw data (stat): 15067 (bsolo_lpr) R 15066 7876 7672 0 -1 0 37873 0 0 0 91871 134 0 0 25 0 1 0 732755054 132341760 30151 4294967295 134512640 134714508 3221221792 3221217856 1074969461 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32310 30151 1111 63 0 32247 0
vsize: 129240
[startup+930.147 s]
Raw data (loadavg): 1.03 0.99 0.95 2/55 15122
Raw data (stat): 15067 (bsolo_lpr) R 15066 7876 7672 0 -1 0 37941 0 0 0 92871 135 0 0 25 0 1 0 732755054 132935680 30217 4294967295 134512640 134714508 3221221792 3221217952 1075115715 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32455 30217 1111 63 0 32392 0
vsize: 129820
[startup+940.148 s]
Raw data (loadavg): 1.03 0.99 0.95 2/55 15122
Raw data (stat): 15067 (bsolo_lpr) R 15066 7876 7672 0 -1 0 37965 0 0 0 93871 135 0 0 25 0 1 0 732755054 132935680 30239 4294967295 134512640 134714508 3221221792 3221217776 1075084536 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32455 30239 1111 63 0 32392 0
vsize: 129820
[startup+950.149 s]
Raw data (loadavg): 1.02 0.99 0.95 2/55 15122
Raw data (stat): 15067 (bsolo_lpr) R 15066 7876 7672 0 -1 0 37969 0 0 0 94871 135 0 0 25 0 1 0 732755054 132935680 30241 4294967295 134512640 134714508 3221221792 3221217940 1075115065 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32455 30241 1111 63 0 32392 0
vsize: 129820
[startup+960.149 s]
Raw data (loadavg): 1.02 0.99 0.95 2/55 15122
Raw data (stat): 15067 (bsolo_lpr) R 15066 7876 7672 0 -1 0 37970 0 0 0 95871 135 0 0 25 0 1 0 732755054 132935680 30242 4294967295 134512640 134714508 3221221792 3221217872 1075095094 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32455 30242 1111 63 0 32392 0
vsize: 129820
[startup+970.149 s]
Raw data (loadavg): 1.01 0.99 0.95 2/55 15122
Raw data (stat): 15067 (bsolo_lpr) R 15066 7876 7672 0 -1 0 37975 0 0 0 96871 135 0 0 25 0 1 0 732755054 132935680 30245 4294967295 134512640 134714508 3221221792 3221217660 1074788950 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32455 30245 1111 63 0 32392 0
vsize: 129820
[startup+980.149 s]
Raw data (loadavg): 1.01 0.99 0.95 2/55 15122
Raw data (stat): 15067 (bsolo_lpr) R 15066 7876 7672 0 -1 0 37979 0 0 0 97871 135 0 0 25 0 1 0 732755054 132935680 30249 4294967295 134512640 134714508 3221221792 3221217856 1074969461 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32455 30249 1111 63 0 32392 0
vsize: 129820
[startup+990.15 s]
Raw data (loadavg): 1.01 0.99 0.95 2/55 15122
Raw data (stat): 15067 (bsolo_lpr) R 15066 7876 7672 0 -1 0 38001 0 0 0 98872 135 0 0 25 0 1 0 732755054 132935680 30269 4294967295 134512640 134714508 3221221792 3221217596 1074788950 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32455 30269 1111 63 0 32392 0
vsize: 129820
[startup+1000.15 s]
Raw data (loadavg): 1.01 0.99 0.95 2/55 15122
Raw data (stat): 15067 (bsolo_lpr) R 15066 7876 7672 0 -1 0 38010 0 0 0 99872 135 0 0 25 0 1 0 732755054 132935680 30276 4294967295 134512640 134714508 3221221792 3221217724 1074788950 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32455 30276 1111 63 0 32392 0
vsize: 129820
[startup+1010.15 s]
Raw data (loadavg): 1.01 0.99 0.95 2/55 15122
Raw data (stat): 15067 (bsolo_lpr) R 15066 7876 7672 0 -1 0 38010 0 0 0 100872 135 0 0 25 0 1 0 732755054 132935680 30276 4294967295 134512640 134714508 3221221792 3221217596 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32455 30276 1111 63 0 32392 0
vsize: 129820
[startup+1020.15 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 15122
Raw data (stat): 15067 (bsolo_lpr) R 15066 7876 7672 0 -1 0 38015 0 0 0 101872 135 0 0 25 0 1 0 732755054 132935680 30279 4294967295 134512640 134714508 3221221792 3221217920 1074815500 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32455 30279 1111 63 0 32392 0
vsize: 129820
[startup+1030.15 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 15122
Raw data (stat): 15067 (bsolo_lpr) R 15066 7876 7672 0 -1 0 38023 0 0 0 102872 135 0 0 25 0 1 0 732755054 132935680 30285 4294967295 134512640 134714508 3221221792 3221217672 1075964771 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32455 30285 1111 63 0 32392 0
vsize: 129820
[startup+1040.15 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 15122
Raw data (stat): 15067 (bsolo_lpr) R 15066 7876 7672 0 -1 0 38029 0 0 0 103872 135 0 0 25 0 1 0 732755054 132935680 30291 4294967295 134512640 134714508 3221221792 3221217856 1074969461 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32455 30291 1111 63 0 32392 0
vsize: 129820
[startup+1050.15 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 15122
Raw data (stat): 15067 (bsolo_lpr) R 15066 7876 7672 0 -1 0 38041 0 0 0 104872 136 0 0 25 0 1 0 732755054 132935680 30303 4294967295 134512640 134714508 3221221792 3221217856 1074969461 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32455 30303 1111 63 0 32392 0
vsize: 129820
[startup+1060.15 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 15122
Raw data (stat): 15067 (bsolo_lpr) R 15066 7876 7672 0 -1 0 38064 0 0 0 105872 136 0 0 25 0 1 0 732755054 132935680 30324 4294967295 134512640 134714508 3221221792 3221217856 1074969461 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32455 30324 1111 63 0 32392 0
vsize: 129820
[startup+1070.15 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 15122
Raw data (stat): 15067 (bsolo_lpr) R 15066 7876 7672 0 -1 0 38073 0 0 0 106873 136 0 0 25 0 1 0 732755054 132935680 30331 4294967295 134512640 134714508 3221221792 3221217920 1074815473 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32455 30331 1111 63 0 32392 0
vsize: 129820
[startup+1080.15 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 15122
Raw data (stat): 15067 (bsolo_lpr) R 15066 7876 7672 0 -1 0 38076 0 0 0 107873 136 0 0 25 0 1 0 732755054 132935680 30332 4294967295 134512640 134714508 3221221792 3221217940 1075115049 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32455 30332 1111 63 0 32392 0
vsize: 129820
[startup+1090.15 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 15122
Raw data (stat): 15067 (bsolo_lpr) R 15066 7876 7672 0 -1 0 38081 0 0 0 108873 136 0 0 25 0 1 0 732755054 132935680 30335 4294967295 134512640 134714508 3221221792 3221217984 1074961267 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32455 30335 1111 63 0 32392 0
vsize: 129820
[startup+1100.15 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 15122
Raw data (stat): 15067 (bsolo_lpr) R 15066 7876 7672 0 -1 0 38082 0 0 0 109873 136 0 0 25 0 1 0 732755054 132935680 30336 4294967295 134512640 134714508 3221221792 3221217856 1074969458 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32455 30336 1111 63 0 32392 0
vsize: 129820
[startup+1110.16 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 15122
Raw data (stat): 15067 (bsolo_lpr) R 15066 7876 7672 0 -1 0 38095 0 0 0 110873 136 0 0 25 0 1 0 732755054 132935680 30347 4294967295 134512640 134714508 3221221792 3221217724 1074788964 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32455 30347 1111 63 0 32392 0
vsize: 129820
[startup+1120.16 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 15122
Raw data (stat): 15067 (bsolo_lpr) R 15066 7876 7672 0 -1 0 38096 0 0 0 111874 136 0 0 25 0 1 0 732755054 132935680 30348 4294967295 134512640 134714508 3221221792 3221217856 1074969463 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32455 30348 1111 63 0 32392 0
vsize: 129820
[startup+1130.16 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 15122
Raw data (stat): 15067 (bsolo_lpr) R 15066 7876 7672 0 -1 0 38184 0 0 0 112874 136 0 0 25 0 1 0 732755054 133558272 30434 4294967295 134512640 134714508 3221221792 3221217872 1075095094 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32607 30434 1111 63 0 32544 0
vsize: 130428
[startup+1140.16 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 15122
Raw data (stat): 15067 (bsolo_lpr) R 15066 7876 7672 0 -1 0 38209 0 0 0 113874 136 0 0 25 0 1 0 732755054 133558272 30457 4294967295 134512640 134714508 3221221792 3221217776 1075084533 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32607 30457 1111 63 0 32544 0
vsize: 130428
[startup+1150.16 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 15122
Raw data (stat): 15067 (bsolo_lpr) R 15066 7876 7672 0 -1 0 38209 0 0 0 114874 136 0 0 25 0 1 0 732755054 133558272 30457 4294967295 134512640 134714508 3221221792 3221218256 1075088560 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32607 30457 1111 63 0 32544 0
vsize: 130428
[startup+1160.16 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 15122
Raw data (stat): 15067 (bsolo_lpr) R 15066 7876 7672 0 -1 0 38214 0 0 0 115874 136 0 0 25 0 1 0 732755054 133558272 30460 4294967295 134512640 134714508 3221221792 3221217724 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32607 30460 1111 63 0 32544 0
vsize: 130428
[startup+1170.16 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 15122
Raw data (stat): 15067 (bsolo_lpr) R 15066 7876 7672 0 -1 0 38252 0 0 0 116874 136 0 0 25 0 1 0 732755054 133558272 30496 4294967295 134512640 134714508 3221221792 3221217596 1074788950 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32607 30496 1111 63 0 32544 0
vsize: 130428
[startup+1180.16 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 15122
Raw data (stat): 15067 (bsolo_lpr) R 15066 7876 7672 0 -1 0 38278 0 0 0 117874 136 0 0 25 0 1 0 732755054 134553600 30522 4294967295 134512640 134714508 3221221792 3221218776 1077410205 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32850 30522 1111 63 0 32787 0
vsize: 131400
[startup+1190.16 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 15124
Raw data (stat): 15067 (bsolo_lpr) R 15066 7876 7672 0 -1 0 38389 0 0 0 118874 136 0 0 25 0 1 0 732755054 134553600 30631 4294967295 134512640 134714508 3221221792 3221218304 1074887658 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32850 30631 1111 63 0 32787 0
vsize: 131400
[startup+1200.16 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 15124
Raw data (stat): 15067 (bsolo_lpr) R 15066 7876 7672 0 -1 0 38390 0 0 0 119874 136 0 0 25 0 1 0 732755054 134225920 30630 4294967295 134512640 134714508 3221221792 3221217920 1074815309 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32770 30630 1111 63 0 32707 0
vsize: 131080
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.22 s]
Raw data (loadavg): 1.00 0.99 0.95 1/55 15124
Raw data (stat): 15067 (bsolo_lpr) Z 15066 7876 7672 0 -1 1036 38390 0 0 0 119874 142 0 0 25 0 1 0 732755054 0 0 4294967295 0 0 0 0 0 0 0 1 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.22
CPU time (s): 1200.17
CPU user time (s): 1198.75
CPU system time (s): 1.42578
CPU usage (%): 99.9964
Max. virtual memory (Kb): 135396
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####