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/submitted/manquinho/primes-dimacs-cnf/normalized-par32-1.opb
MD5SUM	64e81a7b23abbb8a6da4e2377ea69dee
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	6352
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	6352
Number of bits of the sum of numbers in the objective function	13
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	6352
Number of bits of the biggest sum of numbers	13
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables	6352
Total number of constraints	13453
Number of constraints which are clauses	13453
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	1
Maximum length of a constraint	3
Trace number 39580

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-06-07 14:17:07 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27646 boxname=wulflinc1 idbench=204 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  64e81a7b23abbb8a6da4e2377ea69dee  /oldhome/oroussel/tmp/wulflinc1/normalized-par32-1.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-par32-1.opb
IDLAUNCH: 27646
/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:        874600 kB
Buffers:         33788 kB
Cached:          95108 kB
SwapCached:       7036 kB
Active:          38932 kB
Inactive:        98120 kB
HighTotal:      131008 kB
HighFree:        95172 kB
LowTotal:       903652 kB
LowFree:        779428 kB
SwapTotal:     2097136 kB
SwapFree:      2089016 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5700 kB
Slab:            17256 kB
Committed_AS:    92716 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-07 14:37:09 (client local time) WITH STATUS 0 IN 1200.26 SECONDS
stats: 27646 7 1200.26 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 6352 variables and 13453 constraints.
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.91 0.95 0.90 2/55 6637
Raw data (stat): 6637 (runsolver) R 6636 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 836789525 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+9.99965 s]
Raw data (loadavg): 0.93 0.95 0.90 2/55 6637
Raw data (stat): 6637 (bsolo_lpr-v2) R 6636 8378 8377 0 -1 0 26265 0 0 0 928 69 0 0 25 0 1 0 836789525 110571520 26130 4294967295 134512640 134716908 3221224576 3221223300 134618177 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26995 26130 1111 63 0 26932 0
vsize: 107980
[startup+20.0004 s]
Raw data (loadavg): 0.94 0.96 0.91 2/55 6637
Raw data (stat): 6637 (bsolo_lpr-v2) R 6636 8378 8377 0 -1 0 26265 0 0 0 1928 69 0 0 25 0 1 0 836789525 110571520 26130 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26995 26130 1111 63 0 26932 0
vsize: 107980
[startup+30.0001 s]
Raw data (loadavg): 0.95 0.96 0.91 2/55 6637
Raw data (stat): 6637 (bsolo_lpr-v2) R 6636 8378 8377 0 -1 0 26265 0 0 0 2928 69 0 0 25 0 1 0 836789525 110571520 26130 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26995 26130 1111 63 0 26932 0
vsize: 107980
[startup+40.001 s]
Raw data (loadavg): 0.95 0.96 0.91 2/55 6637
Raw data (stat): 6637 (bsolo_lpr-v2) R 6636 8378 8377 0 -1 0 26265 0 0 0 3929 69 0 0 25 0 1 0 836789525 110571520 26130 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26995 26130 1111 63 0 26932 0
vsize: 107980
[startup+50.0017 s]
Raw data (loadavg): 0.96 0.96 0.91 2/55 6637
Raw data (stat): 6637 (bsolo_lpr-v2) R 6636 8378 8377 0 -1 0 26265 0 0 0 4929 69 0 0 25 0 1 0 836789525 110571520 26130 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26995 26130 1111 63 0 26932 0
vsize: 107980
[startup+60.0015 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 6637
Raw data (stat): 6637 (bsolo_lpr-v2) R 6636 8378 8377 0 -1 0 26265 0 0 0 5929 69 0 0 25 0 1 0 836789525 110571520 26130 4294967295 134512640 134716908 3221224576 3221223216 134606514 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26995 26130 1111 63 0 26932 0
vsize: 107980
[startup+70.0023 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 6637
Raw data (stat): 6637 (bsolo_lpr-v2) R 6636 8378 8377 0 -1 0 26265 0 0 0 6929 69 0 0 25 0 1 0 836789525 110571520 26130 4294967295 134512640 134716908 3221224576 3221223188 134557790 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26995 26130 1111 63 0 26932 0
vsize: 107980
[startup+80.0031 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 6637
Raw data (stat): 6637 (bsolo_lpr-v2) R 6636 8378 8377 0 -1 0 26265 0 0 0 7929 69 0 0 25 0 1 0 836789525 110571520 26130 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26995 26130 1111 63 0 26932 0
vsize: 107980
[startup+90.0039 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 6637
Raw data (stat): 6637 (bsolo_lpr-v2) R 6636 8378 8377 0 -1 0 26265 0 0 0 8929 69 0 0 25 0 1 0 836789525 110571520 26130 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26995 26130 1111 63 0 26932 0
vsize: 107980
[startup+100.004 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 6637
Raw data (stat): 6637 (bsolo_lpr-v2) R 6636 8378 8377 0 -1 0 26265 0 0 0 9929 69 0 0 25 0 1 0 836789525 110571520 26130 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26995 26130 1111 63 0 26932 0
vsize: 107980
[startup+110.003 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 6637
Raw data (stat): 6637 (bsolo_lpr-v2) R 6636 8378 8377 0 -1 0 26265 0 0 0 10930 69 0 0 25 0 1 0 836789525 110571520 26130 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26995 26130 1111 63 0 26932 0
vsize: 107980
[startup+120.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6637
Raw data (stat): 6637 (bsolo_lpr-v2) R 6636 8378 8377 0 -1 0 26265 0 0 0 11930 70 0 0 25 0 1 0 836789525 110571520 26130 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26995 26130 1111 63 0 26932 0
vsize: 107980
[startup+130.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6637
Raw data (stat): 6637 (bsolo_lpr-v2) R 6636 8378 8377 0 -1 0 27539 0 0 0 12927 73 0 0 25 0 1 0 836789525 110571520 26130 4294967295 134512640 134716908 3221224576 3221223124 1077374446 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26995 26130 1111 63 0 26932 0
vsize: 107980
[startup+140.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6637
Raw data (stat): 6637 (bsolo_lpr-v2) R 6636 8378 8377 0 -1 0 27539 0 0 0 13927 73 0 0 25 0 1 0 836789525 110571520 26130 4294967295 134512640 134716908 3221224576 3221223216 134606484 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26995 26130 1111 63 0 26932 0
vsize: 107980
[startup+150.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6637
Raw data (stat): 6637 (bsolo_lpr-v2) R 6636 8378 8377 0 -1 0 27539 0 0 0 14927 73 0 0 25 0 1 0 836789525 110571520 26130 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26995 26130 1111 63 0 26932 0
vsize: 107980
[startup+160.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6637
Raw data (stat): 6637 (bsolo_lpr-v2) R 6636 8378 8377 0 -1 0 31017 0 0 0 15919 81 0 0 25 0 1 0 836789525 110571520 26130 4294967295 134512640 134716908 3221224576 3221223216 134606472 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26995 26130 1111 63 0 26932 0
vsize: 107980
[startup+170.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6637
Raw data (stat): 6637 (bsolo_lpr-v2) R 6636 8378 8377 0 -1 0 31017 0 0 0 16919 82 0 0 25 0 1 0 836789525 110571520 26130 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26995 26130 1111 63 0 26932 0
vsize: 107980
[startup+180.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6637
Raw data (stat): 6637 (bsolo_lpr-v2) R 6636 8378 8377 0 -1 0 31017 0 0 0 17919 82 0 0 25 0 1 0 836789525 110571520 26130 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26995 26130 1111 63 0 26932 0
vsize: 107980
[startup+190.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6637
Raw data (stat): 6637 (bsolo_lpr-v2) R 6636 8378 8377 0 -1 0 31639 0 0 0 18917 84 0 0 25 0 1 0 836789525 110571520 26130 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26995 26130 1111 63 0 26932 0
vsize: 107980
[startup+200.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6637
Raw data (stat): 6637 (bsolo_lpr-v2) R 6636 8378 8377 0 -1 0 31639 0 0 0 19917 84 0 0 25 0 1 0 836789525 110571520 26130 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26995 26130 1111 63 0 26932 0
vsize: 107980
[startup+210.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6637
Raw data (stat): 6637 (bsolo_lpr-v2) R 6636 8378 8377 0 -1 0 31639 0 0 0 20918 84 0 0 25 0 1 0 836789525 110571520 26130 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26995 26130 1111 63 0 26932 0
vsize: 107980
[startup+220.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6637
Raw data (stat): 6637 (bsolo_lpr-v2) R 6636 8378 8377 0 -1 0 34084 0 0 0 21912 89 0 0 25 0 1 0 836789525 110571520 26130 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26995 26130 1111 63 0 26932 0
vsize: 107980
[startup+230.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6637
Raw data (stat): 6637 (bsolo_lpr-v2) R 6636 8378 8377 0 -1 0 34084 0 0 0 22912 89 0 0 25 0 1 0 836789525 110571520 26130 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26995 26130 1111 63 0 26932 0
vsize: 107980
[startup+240.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6637
Raw data (stat): 6637 (bsolo_lpr-v2) R 6636 8378 8377 0 -1 0 34084 0 0 0 23912 89 0 0 25 0 1 0 836789525 110571520 26130 4294967295 134512640 134716908 3221224576 3221223216 134606495 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26995 26130 1111 63 0 26932 0
vsize: 107980
[startup+250.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6637
Raw data (stat): 6637 (bsolo_lpr-v2) R 6636 8378 8377 0 -1 0 34772 0 0 0 24910 91 0 0 25 0 1 0 836789525 110571520 26130 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26995 26130 1111 63 0 26932 0
vsize: 107980
[startup+260.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6637
Raw data (stat): 6637 (bsolo_lpr-v2) R 6636 8378 8377 0 -1 0 38457 0 0 0 25901 101 0 0 25 0 1 0 836789525 110571520 26130 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26995 26130 1111 63 0 26932 0
vsize: 107980
[startup+270.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6637
Raw data (stat): 6637 (bsolo_lpr-v2) R 6636 8378 8377 0 -1 0 40311 0 0 0 26896 106 0 0 25 0 1 0 836789525 110571520 26130 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26995 26130 1111 63 0 26932 0
vsize: 107980
[startup+280.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6637
Raw data (stat): 6637 (bsolo_lpr-v2) R 6636 8378 8377 0 -1 0 42617 0 0 0 27890 113 0 0 25 0 1 0 836789525 110624768 26143 4294967295 134512640 134716908 3221224576 3221223216 134606495 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27008 26143 1111 63 0 26945 0
vsize: 108032
[startup+290.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6637
Raw data (stat): 6637 (bsolo_lpr-v2) R 6636 8378 8377 0 -1 0 48122 0 0 0 28876 127 0 0 25 0 1 0 836789525 113360896 26811 4294967295 134512640 134716908 3221224576 3221223216 134606484 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27676 26811 1111 63 0 27613 0
vsize: 110704
[startup+300.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6637
Raw data (stat): 6637 (bsolo_lpr-v2) R 6636 8378 8377 0 -1 0 48122 0 0 0 29876 127 0 0 25 0 1 0 836789525 113360896 26811 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27676 26811 1111 63 0 27613 0
vsize: 110704
[startup+310.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6637
Raw data (stat): 6637 (bsolo_lpr-v2) R 6636 8378 8377 0 -1 0 48122 0 0 0 30876 127 0 0 25 0 1 0 836789525 113360896 26811 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27676 26811 1111 63 0 27613 0
vsize: 110704
[startup+320.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6637
Raw data (stat): 6637 (bsolo_lpr-v2) R 6636 8378 8377 0 -1 0 49732 0 0 0 31872 131 0 0 25 0 1 0 836789525 113360896 26811 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27676 26811 1111 63 0 27613 0
vsize: 110704
[startup+330.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6637
Raw data (stat): 6637 (bsolo_lpr-v2) R 6636 8378 8377 0 -1 0 49732 0 0 0 32872 131 0 0 25 0 1 0 836789525 113360896 26811 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27676 26811 1111 63 0 27613 0
vsize: 110704
[startup+340.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6637
Raw data (stat): 6637 (bsolo_lpr-v2) R 6636 8378 8377 0 -1 0 49732 0 0 0 33873 131 0 0 25 0 1 0 836789525 113360896 26811 4294967295 134512640 134716908 3221224576 3221223216 134606484 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27676 26811 1111 63 0 27613 0
vsize: 110704
[startup+350.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6637
Raw data (stat): 6637 (bsolo_lpr-v2) R 6636 8378 8377 0 -1 0 51696 0 0 0 34867 137 0 0 25 0 1 0 836789525 113360896 26811 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27676 26811 1111 63 0 27613 0
vsize: 110704
[startup+360.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6637
Raw data (stat): 6637 (bsolo_lpr-v2) R 6636 8378 8377 0 -1 0 51696 0 0 0 35868 137 0 0 25 0 1 0 836789525 113360896 26811 4294967295 134512640 134716908 3221224576 3221223216 134606484 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27676 26811 1111 63 0 27613 0
vsize: 110704
[startup+370.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6637
Raw data (stat): 6637 (bsolo_lpr-v2) R 6636 8378 8377 0 -1 0 51696 0 0 0 36868 137 0 0 25 0 1 0 836789525 113360896 26811 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27676 26811 1111 63 0 27613 0
vsize: 110704
[startup+380.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6637
Raw data (stat): 6637 (bsolo_lpr-v2) R 6636 8378 8377 0 -1 0 58536 0 0 0 37851 154 0 0 25 0 1 0 836789525 116264960 27500 4294967295 134512640 134716908 3221224576 3221223084 134543615 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28385 27500 1111 63 0 28322 0
vsize: 113540
[startup+390.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6637
Raw data (stat): 6637 (bsolo_lpr-v2) R 6636 8378 8377 0 -1 0 60599 0 0 0 38846 159 0 0 25 0 1 0 836789525 115474432 27327 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28192 27327 1111 63 0 28129 0
vsize: 112768
[startup+400.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6637
Raw data (stat): 6637 (bsolo_lpr-v2) R 6636 8378 8377 0 -1 0 60599 0 0 0 39846 159 0 0 25 0 1 0 836789525 115474432 27327 4294967295 134512640 134716908 3221224576 3221223216 134606484 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28192 27327 1111 63 0 28129 0
vsize: 112768
[startup+410.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6637
Raw data (stat): 6637 (bsolo_lpr-v2) R 6636 8378 8377 0 -1 0 61171 0 0 0 40845 160 0 0 25 0 1 0 836789525 116543488 27564 4294967295 134512640 134716908 3221224576 3221223216 134606484 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28453 27571 1111 63 0 28390 0
vsize: 113812
[startup+420.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6637
Raw data (stat): 6637 (bsolo_lpr-v2) R 6636 8378 8377 0 -1 0 61993 0 0 0 41843 163 0 0 25 0 1 0 836789525 115474432 27327 4294967295 134512640 134716908 3221224576 3221223224 134532457 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28192 27327 1111 63 0 28129 0
vsize: 112768
[startup+430.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6637
Raw data (stat): 6637 (bsolo_lpr-v2) R 6636 8378 8377 0 -1 0 61993 0 0 0 42843 163 0 0 25 0 1 0 836789525 115474432 27327 4294967295 134512640 134716908 3221224576 3221223216 134606495 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28192 27327 1111 63 0 28129 0
vsize: 112768
[startup+440.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6637
Raw data (stat): 6637 (bsolo_lpr-v2) R 6636 8378 8377 0 -1 0 61993 0 0 0 43843 163 0 0 25 0 1 0 836789525 115474432 27327 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28192 27327 1111 63 0 28129 0
vsize: 112768
[startup+450.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6637
Raw data (stat): 6637 (bsolo_lpr-v2) R 6636 8378 8377 0 -1 0 62141 0 0 0 44843 163 0 0 25 0 1 0 836789525 115474432 27327 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28192 27327 1111 63 0 28129 0
vsize: 112768
[startup+460.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6637
Raw data (stat): 6637 (bsolo_lpr-v2) R 6636 8378 8377 0 -1 0 62141 0 0 0 45843 163 0 0 25 0 1 0 836789525 115474432 27327 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28192 27327 1111 63 0 28129 0
vsize: 112768
[startup+470.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6637
Raw data (stat): 6637 (bsolo_lpr-v2) R 6636 8378 8377 0 -1 0 62141 0 0 0 46843 163 0 0 25 0 1 0 836789525 115474432 27327 4294967295 134512640 134716908 3221224576 3221223300 134618691 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28192 27327 1111 63 0 28129 0
vsize: 112768
[startup+480.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6637
Raw data (stat): 6637 (bsolo_lpr-v2) R 6636 8378 8377 0 -1 0 64107 0 0 0 47837 169 0 0 25 0 1 0 836789525 115474432 27327 4294967295 134512640 134716908 3221224576 3221223216 134606484 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28192 27327 1111 63 0 28129 0
vsize: 112768
[startup+490.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6637
Raw data (stat): 6637 (bsolo_lpr-v2) R 6636 8378 8377 0 -1 0 64107 0 0 0 48837 169 0 0 25 0 1 0 836789525 115474432 27327 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28192 27327 1111 63 0 28129 0
vsize: 112768
[startup+500.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6637
Raw data (stat): 6637 (bsolo_lpr-v2) R 6636 8378 8377 0 -1 0 64107 0 0 0 49838 169 0 0 25 0 1 0 836789525 115474432 27327 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28192 27327 1111 63 0 28129 0
vsize: 112768
[startup+510.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6637
Raw data (stat): 6637 (bsolo_lpr-v2) R 6636 8378 8377 0 -1 0 64949 0 0 0 50835 172 0 0 25 0 1 0 836789525 115474432 27327 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28192 27327 1111 63 0 28129 0
vsize: 112768
[startup+520.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6637
Raw data (stat): 6637 (bsolo_lpr-v2) R 6636 8378 8377 0 -1 0 64949 0 0 0 51835 172 0 0 25 0 1 0 836789525 115474432 27327 4294967295 134512640 134716908 3221224576 3221223304 134675265 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28192 27327 1111 63 0 28129 0
vsize: 112768
[startup+530.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6637
Raw data (stat): 6637 (bsolo_lpr-v2) R 6636 8378 8377 0 -1 0 64949 0 0 0 52835 172 0 0 25 0 1 0 836789525 115474432 27327 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28192 27327 1111 63 0 28129 0
vsize: 112768
[startup+540.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6637
Raw data (stat): 6637 (bsolo_lpr-v2) R 6636 8378 8377 0 -1 0 68745 0 0 0 53827 181 0 0 25 0 1 0 836789525 115474432 27327 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28192 27327 1111 63 0 28129 0
vsize: 112768
[startup+550.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6637
Raw data (stat): 6637 (bsolo_lpr-v2) R 6636 8378 8377 0 -1 0 70388 0 0 0 54823 185 0 0 25 0 1 0 836789525 115474432 27327 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28192 27327 1111 63 0 28129 0
vsize: 112768
[startup+560.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6637
Raw data (stat): 6637 (bsolo_lpr-v2) R 6636 8378 8377 0 -1 0 72991 0 0 0 55817 191 0 0 25 0 1 0 836789525 115474432 27327 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28192 27327 1111 63 0 28129 0
vsize: 112768
[startup+570.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6637
Raw data (stat): 6637 (bsolo_lpr-v2) R 6636 8378 8377 0 -1 0 77438 0 0 0 56807 201 0 0 25 0 1 0 836789525 115474432 27327 4294967295 134512640 134716908 3221224576 3221223216 134606484 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28192 27327 1111 63 0 28129 0
vsize: 112768
[startup+580.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6637
Raw data (stat): 6637 (bsolo_lpr-v2) R 6636 8378 8377 0 -1 0 81681 0 0 0 57798 211 0 0 25 0 1 0 836789525 115736576 27391 4294967295 134512640 134716908 3221224576 3221223216 134606472 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28256 27391 1111 63 0 28193 0
vsize: 113024
[startup+590.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6637
Raw data (stat): 6637 (bsolo_lpr-v2) R 6636 8378 8377 0 -1 0 83725 0 0 0 58793 216 0 0 25 0 1 0 836789525 115736576 27391 4294967295 134512640 134716908 3221224576 3221223328 134630808 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28256 27391 1111 63 0 28193 0
vsize: 113024
[startup+600.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6637
Raw data (stat): 6637 (bsolo_lpr-v2) R 6636 8378 8377 0 -1 0 87625 0 0 0 59784 225 0 0 25 0 1 0 836789525 116195328 27477 4294967295 134512640 134716908 3221224576 3221223248 134606733 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28368 27477 1111 63 0 28305 0
vsize: 113472
[startup+610.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6637
Raw data (stat): 6637 (bsolo_lpr-v2) R 6636 8378 8377 0 -1 0 91451 0 0 0 60775 233 0 0 25 0 1 0 836789525 115736576 27391 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28256 27391 1111 63 0 28193 0
vsize: 113024
[startup+620.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6637
Raw data (stat): 6637 (bsolo_lpr-v2) R 6636 8378 8377 0 -1 0 95672 0 0 0 61766 243 0 0 25 0 1 0 836789525 115736576 27391 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28256 27391 1111 63 0 28193 0
vsize: 113024
[startup+630.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6637
Raw data (stat): 6637 (bsolo_lpr-v2) R 6636 8378 8377 0 -1 0 102055 0 0 0 62750 259 0 0 25 0 1 0 836789525 115736576 27391 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28256 27391 1111 63 0 28193 0
vsize: 113024
[startup+640.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6637
Raw data (stat): 6637 (bsolo_lpr-v2) R 6636 8378 8377 0 -1 0 107679 0 0 0 63737 272 0 0 25 0 1 0 836789525 115736576 27391 4294967295 134512640 134716908 3221224576 3221223216 134606495 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28256 27391 1111 63 0 28193 0
vsize: 113024
[startup+650.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6637
Raw data (stat): 6637 (bsolo_lpr-v2) R 6636 8378 8377 0 -1 0 113675 0 0 0 64723 286 0 0 25 0 1 0 836789525 115736576 27391 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28256 27391 1111 63 0 28193 0
vsize: 113024
[startup+660.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6637
Raw data (stat): 6637 (bsolo_lpr-v2) R 6636 8378 8377 0 -1 0 123917 0 0 0 65699 310 0 0 25 0 1 0 836789525 115736576 27391 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28256 27391 1111 63 0 28193 0
vsize: 113024
[startup+670.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6637
Raw data (stat): 6637 (bsolo_lpr-v2) R 6636 8378 8377 0 -1 0 132959 0 0 0 66677 332 0 0 25 0 1 0 836789525 115736576 27391 4294967295 134512640 134716908 3221224576 3221223188 1077374082 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28256 27391 1111 63 0 28193 0
vsize: 113024
[startup+680.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6637
Raw data (stat): 6637 (bsolo_lpr-v2) R 6636 8378 8377 0 -1 0 142243 0 0 0 67656 354 0 0 25 0 1 0 836789525 116039680 27458 4294967295 134512640 134716908 3221224576 3221223216 134606484 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28330 27458 1111 63 0 28267 0
vsize: 113320
[startup+690.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6637
Raw data (stat): 6637 (bsolo_lpr-v2) R 6636 8378 8377 0 -1 0 148059 0 0 0 68642 368 0 0 25 0 1 0 836789525 119001088 28188 4294967295 134512640 134716908 3221224576 3221223216 134606472 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29053 28188 1111 63 0 28990 0
vsize: 116212
[startup+700.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6637
Raw data (stat): 6637 (bsolo_lpr-v2) R 6636 8378 8377 0 -1 0 148059 0 0 0 69642 368 0 0 25 0 1 0 836789525 119001088 28188 4294967295 134512640 134716908 3221224576 3221223216 134606484 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29053 28188 1111 63 0 28990 0
vsize: 116212
[startup+710.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6637
Raw data (stat): 6637 (bsolo_lpr-v2) R 6636 8378 8377 0 -1 0 148059 0 0 0 70642 368 0 0 25 0 1 0 836789525 119001088 28188 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29053 28188 1111 63 0 28990 0
vsize: 116212
[startup+720.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6637
Raw data (stat): 6637 (bsolo_lpr-v2) R 6636 8378 8377 0 -1 0 150522 0 0 0 71636 375 0 0 25 0 1 0 836789525 119001088 28188 4294967295 134512640 134716908 3221224576 3221223304 134675274 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29053 28188 1111 63 0 28990 0
vsize: 116212
[startup+730.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6637
Raw data (stat): 6637 (bsolo_lpr-v2) R 6636 8378 8377 0 -1 0 150522 0 0 0 72636 375 0 0 25 0 1 0 836789525 119001088 28188 4294967295 134512640 134716908 3221224576 3221223216 134606472 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29053 28188 1111 63 0 28990 0
vsize: 116212
[startup+740.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6637
Raw data (stat): 6637 (bsolo_lpr-v2) R 6636 8378 8377 0 -1 0 150522 0 0 0 73636 375 0 0 25 0 1 0 836789525 119001088 28188 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29053 28188 1111 63 0 28990 0
vsize: 116212
[startup+750.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6637
Raw data (stat): 6637 (bsolo_lpr-v2) R 6636 8378 8377 0 -1 0 150570 0 0 0 74637 375 0 0 25 0 1 0 836789525 119001088 28188 4294967295 134512640 134716908 3221224576 3221223304 134675300 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29053 28188 1111 63 0 28990 0
vsize: 116212
[startup+760.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6637
Raw data (stat): 6637 (bsolo_lpr-v2) R 6636 8378 8377 0 -1 0 150570 0 0 0 75637 375 0 0 25 0 1 0 836789525 119001088 28188 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29053 28188 1111 63 0 28990 0
vsize: 116212
[startup+770.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6637
Raw data (stat): 6637 (bsolo_lpr-v2) R 6636 8378 8377 0 -1 0 150570 0 0 0 76637 375 0 0 25 0 1 0 836789525 119001088 28188 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29053 28188 1111 63 0 28990 0
vsize: 116212
[startup+780.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6637
Raw data (stat): 6637 (bsolo_lpr-v2) R 6636 8378 8377 0 -1 0 152446 0 0 0 77632 380 0 0 25 0 1 0 836789525 119001088 28188 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29053 28188 1111 63 0 28990 0
vsize: 116212
[startup+790.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6637
Raw data (stat): 6637 (bsolo_lpr-v2) R 6636 8378 8377 0 -1 0 152446 0 0 0 78632 380 0 0 25 0 1 0 836789525 119001088 28188 4294967295 134512640 134716908 3221224576 3221223216 134606484 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29053 28188 1111 63 0 28990 0
vsize: 116212
[startup+800.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6637
Raw data (stat): 6637 (bsolo_lpr-v2) R 6636 8378 8377 0 -1 0 152446 0 0 0 79632 381 0 0 25 0 1 0 836789525 119001088 28188 4294967295 134512640 134716908 3221224576 3221223216 134606495 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29053 28188 1111 63 0 28990 0
vsize: 116212
[startup+810.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6637
Raw data (stat): 6637 (bsolo_lpr-v2) R 6636 8378 8377 0 -1 0 153500 0 0 0 80630 383 0 0 25 0 1 0 836789525 119001088 28188 4294967295 134512640 134716908 3221224576 3221223056 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29053 28188 1111 63 0 28990 0
vsize: 116212
[startup+820.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6637
Raw data (stat): 6637 (bsolo_lpr-v2) R 6636 8378 8377 0 -1 0 154597 0 0 0 81627 385 0 0 25 0 1 0 836789525 119001088 28188 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29053 28188 1111 63 0 28990 0
vsize: 116212
[startup+830.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6637
Raw data (stat): 6637 (bsolo_lpr-v2) R 6636 8378 8377 0 -1 0 154597 0 0 0 82627 386 0 0 25 0 1 0 836789525 119001088 28188 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29053 28188 1111 63 0 28990 0
vsize: 116212
[startup+840.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6637
Raw data (stat): 6637 (bsolo_lpr-v2) R 6636 8378 8377 0 -1 0 154597 0 0 0 83627 386 0 0 25 0 1 0 836789525 119001088 28188 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29053 28188 1111 63 0 28990 0
vsize: 116212
[startup+850.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6637
Raw data (stat): 6637 (bsolo_lpr-v2) R 6636 8378 8377 0 -1 0 159705 0 0 0 84616 397 0 0 25 0 1 0 836789525 119001088 28188 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29053 28188 1111 63 0 28990 0
vsize: 116212
[startup+860.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6637
Raw data (stat): 6637 (bsolo_lpr-v2) R 6636 8378 8377 0 -1 0 159705 0 0 0 85616 397 0 0 25 0 1 0 836789525 119001088 28188 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29053 28188 1111 63 0 28990 0
vsize: 116212
[startup+870.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6637
Raw data (stat): 6637 (bsolo_lpr-v2) R 6636 8378 8377 0 -1 0 159705 0 0 0 86617 397 0 0 25 0 1 0 836789525 119001088 28188 4294967295 134512640 134716908 3221224576 3221223376 134617640 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29053 28188 1111 63 0 28990 0
vsize: 116212
[startup+880.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6637
Raw data (stat): 6637 (bsolo_lpr-v2) R 6636 8378 8377 0 -1 0 163446 0 0 0 87607 407 0 0 25 0 1 0 836789525 119001088 28188 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29053 28188 1111 63 0 28990 0
vsize: 116212
[startup+890.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6637
Raw data (stat): 6637 (bsolo_lpr-v2) R 6636 8378 8377 0 -1 0 165516 0 0 0 88603 411 0 0 25 0 1 0 836789525 119001088 28188 4294967295 134512640 134716908 3221224576 3221223216 134606514 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29053 28188 1111 63 0 28990 0
vsize: 116212
[startup+900.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6637
Raw data (stat): 6637 (bsolo_lpr-v2) R 6636 8378 8377 0 -1 0 168223 0 0 0 89597 418 0 0 25 0 1 0 836789525 119001088 28188 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29053 28188 1111 63 0 28990 0
vsize: 116212
[startup+910.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6637
Raw data (stat): 6637 (bsolo_lpr-v2) R 6636 8378 8377 0 -1 0 172570 0 0 0 90587 427 0 0 25 0 1 0 836789525 119001088 28188 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29053 28188 1111 63 0 28990 0
vsize: 116212
[startup+920.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6637
Raw data (stat): 6637 (bsolo_lpr-v2) R 6636 8378 8377 0 -1 0 177115 0 0 0 91576 438 0 0 25 0 1 0 836789525 119001088 28188 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29053 28188 1111 63 0 28990 0
vsize: 116212
[startup+930.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6637
Raw data (stat): 6637 (bsolo_lpr-v2) R 6636 8378 8377 0 -1 0 181993 0 0 0 92565 450 0 0 25 0 1 0 836789525 119001088 28188 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29053 28188 1111 63 0 28990 0
vsize: 116212
[startup+940.026 s]
Raw data (loadavg): 1.07 0.99 0.91 2/55 6637
Raw data (stat): 6637 (bsolo_lpr-v2) R 6636 8378 8377 0 -1 0 190316 0 0 0 93545 470 0 0 25 0 1 0 836789525 119566336 28326 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29191 28326 1111 63 0 29128 0
vsize: 116764
[startup+950.027 s]
Raw data (loadavg): 1.06 0.99 0.91 2/55 6637
Raw data (stat): 6637 (bsolo_lpr-v2) R 6636 8378 8377 0 -1 0 191564 0 0 0 94543 473 0 0 25 0 1 0 836789525 119566336 28326 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29191 28326 1111 63 0 29128 0
vsize: 116764
[startup+960.026 s]
Raw data (loadavg): 1.05 0.99 0.91 2/55 6637
Raw data (stat): 6637 (bsolo_lpr-v2) R 6636 8378 8377 0 -1 0 193071 0 0 0 95539 476 0 0 25 0 1 0 836789525 119566336 28326 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29191 28326 1111 63 0 29128 0
vsize: 116764
[startup+970.028 s]
Raw data (loadavg): 1.04 0.99 0.91 2/55 6637
Raw data (stat): 6637 (bsolo_lpr-v2) R 6636 8378 8377 0 -1 0 195565 0 0 0 96533 483 0 0 25 0 1 0 836789525 119808000 28385 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29250 28385 1111 63 0 29187 0
vsize: 117000
[startup+980.028 s]
Raw data (loadavg): 1.03 0.99 0.91 2/55 6637
Raw data (stat): 6637 (bsolo_lpr-v2) R 6636 8378 8377 0 -1 0 196177 0 0 0 97531 485 0 0 25 0 1 0 836789525 119808000 28385 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29250 28385 1111 63 0 29187 0
vsize: 117000
[startup+990.028 s]
Raw data (loadavg): 1.03 0.99 0.91 2/55 6637
Raw data (stat): 6637 (bsolo_lpr-v2) R 6636 8378 8377 0 -1 0 197005 0 0 0 98530 486 0 0 25 0 1 0 836789525 119808000 28385 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29250 28385 1111 63 0 29187 0
vsize: 117000
[startup+1000.03 s]
Raw data (loadavg): 1.02 0.99 0.91 2/55 6637
Raw data (stat): 6637 (bsolo_lpr-v2) R 6636 8378 8377 0 -1 0 199873 0 0 0 99522 494 0 0 25 0 1 0 836789525 119808000 28385 4294967295 134512640 134716908 3221224576 3221223376 134617624 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29250 28385 1111 63 0 29187 0
vsize: 117000
[startup+1010.03 s]
Raw data (loadavg): 1.02 0.99 0.91 2/55 6637
Raw data (stat): 6637 (bsolo_lpr-v2) R 6636 8378 8377 0 -1 0 202200 0 0 0 100517 500 0 0 25 0 1 0 836789525 119808000 28385 4294967295 134512640 134716908 3221224576 3221223216 134606484 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29250 28385 1111 63 0 29187 0
vsize: 117000
[startup+1020.03 s]
Raw data (loadavg): 1.02 0.99 0.91 2/55 6637
Raw data (stat): 6637 (bsolo_lpr-v2) R 6636 8378 8377 0 -1 0 204972 0 0 0 101510 506 0 0 25 0 1 0 836789525 119808000 28385 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29250 28385 1111 63 0 29187 0
vsize: 117000
[startup+1030.03 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 6637
Raw data (stat): 6637 (bsolo_lpr-v2) R 6636 8378 8377 0 -1 0 212435 0 0 0 102493 524 0 0 25 0 1 0 836789525 119808000 28385 4294967295 134512640 134716908 3221224576 3221223216 134606514 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29250 28385 1111 63 0 29187 0
vsize: 117000
[startup+1040.03 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 6637
Raw data (stat): 6637 (bsolo_lpr-v2) R 6636 8378 8377 0 -1 0 217941 0 0 0 103478 539 0 0 25 0 1 0 836789525 119808000 28385 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29250 28385 1111 63 0 29187 0
vsize: 117000
[startup+1050.03 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 6637
Raw data (stat): 6637 (bsolo_lpr-v2) R 6636 8378 8377 0 -1 0 224079 0 0 0 104464 553 0 0 25 0 1 0 836789525 120569856 28539 4294967295 134512640 134716908 3221224576 3221223156 1077374560 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29436 28539 1111 63 0 29373 0
vsize: 117744
[startup+1060.03 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 6637
Raw data (stat): 6637 (bsolo_lpr-v2) R 6636 8378 8377 0 -1 0 233055 0 0 0 105445 573 0 0 25 0 1 0 836789525 119943168 28418 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29283 28418 1111 63 0 29220 0
vsize: 117132
[startup+1070.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 6637
Raw data (stat): 6637 (bsolo_lpr-v2) R 6636 8378 8377 0 -1 0 240736 0 0 0 106427 590 0 0 25 0 1 0 836789525 119943168 28418 4294967295 134512640 134716908 3221224576 3221223216 134606514 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29283 28418 1111 63 0 29220 0
vsize: 117132
[startup+1080.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 6637
Raw data (stat): 6637 (bsolo_lpr-v2) R 6636 8378 8377 0 -1 0 245215 0 0 0 107417 601 0 0 25 0 1 0 836789525 120856576 28623 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29506 28623 1111 63 0 29443 0
vsize: 118024
[startup+1090.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 6637
Raw data (stat): 6637 (bsolo_lpr-v2) R 6636 8378 8377 0 -1 0 248044 0 0 0 108409 609 0 0 25 0 1 0 836789525 120971264 28669 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29534 28669 1111 63 0 29471 0
vsize: 118136
[startup+1100.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 6637
Raw data (stat): 6637 (bsolo_lpr-v2) R 6636 8378 8377 0 -1 0 248566 0 0 0 109408 610 0 0 25 0 1 0 836789525 120971264 28669 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29534 28669 1111 63 0 29471 0
vsize: 118136
[startup+1110.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 6637
Raw data (stat): 6637 (bsolo_lpr-v2) R 6636 8378 8377 0 -1 0 249460 0 0 0 110405 613 0 0 25 0 1 0 836789525 120971264 28669 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29534 28669 1111 63 0 29471 0
vsize: 118136
[startup+1120.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 6637
Raw data (stat): 6637 (bsolo_lpr-v2) R 6636 8378 8377 0 -1 0 253066 0 0 0 111397 621 0 0 25 0 1 0 836789525 120971264 28669 4294967295 134512640 134716908 3221224576 3221223056 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29534 28669 1111 63 0 29471 0
vsize: 118136
[startup+1130.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 6637
Raw data (stat): 6637 (bsolo_lpr-v2) R 6636 8378 8377 0 -1 0 256899 0 0 0 112389 629 0 0 25 0 1 0 836789525 120971264 28669 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29534 28669 1111 63 0 29471 0
vsize: 118136
[startup+1140.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 6637
Raw data (stat): 6637 (bsolo_lpr-v2) R 6636 8378 8377 0 -1 0 260529 0 0 0 113381 638 0 0 25 0 1 0 836789525 120971264 28669 4294967295 134512640 134716908 3221224576 3221223216 134606514 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29534 28669 1111 63 0 29471 0
vsize: 118136
[startup+1150.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 6637
Raw data (stat): 6637 (bsolo_lpr-v2) R 6636 8378 8377 0 -1 0 264301 0 0 0 114372 647 0 0 25 0 1 0 836789525 120971264 28669 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29534 28669 1111 63 0 29471 0
vsize: 118136
[startup+1160.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 6637
Raw data (stat): 6637 (bsolo_lpr-v2) R 6636 8378 8377 0 -1 0 273068 0 0 0 115351 668 0 0 25 0 1 0 836789525 121995264 28919 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29784 28919 1111 63 0 29721 0
vsize: 119136
[startup+1170.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 6637
Raw data (stat): 6637 (bsolo_lpr-v2) R 6636 8378 8377 0 -1 0 273068 0 0 0 116351 669 0 0 25 0 1 0 836789525 121995264 28919 4294967295 134512640 134716908 3221224576 3221223216 134606514 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29784 28919 1111 63 0 29721 0
vsize: 119136
[startup+1180.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 6637
Raw data (stat): 6637 (bsolo_lpr-v2) R 6636 8378 8377 0 -1 0 273068 0 0 0 117351 669 0 0 25 0 1 0 836789525 121995264 28919 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29784 28919 1111 63 0 29721 0
vsize: 119136
[startup+1190.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 6637
Raw data (stat): 6637 (bsolo_lpr-v2) R 6636 8378 8377 0 -1 0 278348 0 0 0 118339 681 0 0 25 0 1 0 836789525 122658816 29081 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29946 29081 1111 63 0 29883 0
vsize: 119784
[startup+1200.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 6637
Raw data (stat): 6637 (bsolo_lpr-v2) R 6636 8378 8377 0 -1 0 278348 0 0 0 119339 681 0 0 25 0 1 0 836789525 122658816 29081 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29946 29081 1111 63 0 29883 0
vsize: 119784
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.09 s]
Raw data (loadavg): 1.00 0.99 0.91 1/55 6637
Raw data (stat): 6637 (bsolo_lpr-v2) Z 6636 8378 8377 0 -1 1036 278348 0 0 0 119339 687 0 0 25 0 1 0 836789525 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.09
CPU time (s): 1200.26
CPU user time (s): 1193.39
CPU system time (s): 6.87396
CPU usage (%): 100.015
Max. virtual memory (Kb): 119784
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####