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/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-aflow30a.opb
MD5SUM	b74fb9cd57e8b4068255c4ac98aa23ca
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	3191
Optimality of the best value was proved	NO
Number of terms in the objective function	421
Biggest coefficient in the objective function	500
Number of bits for the biggest coefficient in the objective function	9
Sum of the numbers in the objective function	72290
Number of bits of the sum of numbers in the objective function	17
Biggest number in a constraint	12800
Number of bits of the biggest number in a constraint	14
Biggest sum of numbers in a constraint	416734
Number of bits of the biggest sum of numbers	19
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1189.12
Number of variables	5932
Total number of constraints	1321
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	450
Number of constraints which are nor clauses,nor cardinality constraints	871
Minimum length of a constraint	1
Maximum length of a constraint	453
Trace number 27363

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc24 THE 2005-05-24 21:13:25 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=17395 boxname=wulflinc24 idbench=1339 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  b74fb9cd57e8b4068255c4ac98aa23ca  /oldhome/oroussel/tmp/wulflinc24/normalized-mps-v2-13-7-aflow30a.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc24/normalized-mps-v2-13-7-aflow30a.opb
IDLAUNCH: 17395
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.080
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.080
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:        797688 kB
Buffers:         36572 kB
Cached:         177072 kB
SwapCached:        624 kB
Active:          61720 kB
Inactive:       154360 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        797436 kB
SwapTotal:     2097892 kB
SwapFree:      2096776 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5652 kB
Slab:            15220 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-24 21:33:00 (client local time) WITH STATUS 0 IN 1175.08 SECONDS
stats: 17395 7 1175.08 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 5932 variables and 958 constraints.
c After prepocess the problem consists of 5910 variables and 1000 constraints.
c preprocess terminated 94.172 s
c Initial Lower Bound: 986
c Lower Bound Elapsed time: 3.58575
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.03 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.86 0.95 0.97 2/54 8173
Raw data (stat): 8173 (runsolver) R 8172 4613 4612 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 833387351 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0004 s]
Raw data (loadavg): 0.88 0.96 0.97 2/54 8173
Raw data (stat): 8173 (bsolo_lpr) R 8172 4613 4612 0 -1 0 27734 0 0 0 930 67 0 0 25 0 1 0 833387351 61190144 14075 4294967295 134512640 134714508 3221224592 3221223208 134543830 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14939 14075 1111 63 0 14876 0
vsize: 59756
[startup+20.0001 s]
Raw data (loadavg): 0.90 0.96 0.97 2/54 8173
Raw data (stat): 8173 (bsolo_lpr) R 8172 4613 4612 0 -1 0 33439 0 0 0 1920 77 0 0 25 0 1 0 833387351 83525632 19525 4294967295 134512640 134714508 3221224592 3221223072 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20392 19525 1111 63 0 20329 0
vsize: 81568
[startup+30.0005 s]
Raw data (loadavg): 0.91 0.96 0.97 2/54 8173
Raw data (stat): 8173 (bsolo_lpr) R 8172 4613 4612 0 -1 0 35475 0 0 0 2915 82 0 0 25 0 1 0 833387351 91750400 21527 4294967295 134512640 134714508 3221224592 3221223264 134627187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22400 21527 1111 63 0 22337 0
vsize: 89600
[startup+40.0002 s]
Raw data (loadavg): 0.93 0.96 0.97 2/54 8173
Raw data (stat): 8173 (bsolo_lpr) R 8172 4613 4612 0 -1 0 35475 0 0 0 3915 82 0 0 25 0 1 0 833387351 91750400 21527 4294967295 134512640 134714508 3221224592 3221223264 134627187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22400 21527 1111 63 0 22337 0
vsize: 89600
[startup+50.0012 s]
Raw data (loadavg): 0.94 0.96 0.97 2/54 8173
Raw data (stat): 8173 (bsolo_lpr) R 8172 4613 4612 0 -1 0 35476 0 0 0 4916 82 0 0 25 0 1 0 833387351 91750400 21528 4294967295 134512640 134714508 3221224592 3221223252 134627197 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22400 21528 1111 63 0 22337 0
vsize: 89600
[startup+60.0007 s]
Raw data (loadavg): 0.95 0.96 0.97 2/54 8173
Raw data (stat): 8173 (bsolo_lpr) R 8172 4613 4612 0 -1 0 35479 0 0 0 5916 82 0 0 25 0 1 0 833387351 91750400 21531 4294967295 134512640 134714508 3221224592 3221223264 134627187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22400 21531 1111 63 0 22337 0
vsize: 89600
[startup+70.0006 s]
Raw data (loadavg): 0.95 0.96 0.97 2/54 8173
Raw data (stat): 8173 (bsolo_lpr) R 8172 4613 4612 0 -1 0 35486 0 0 0 6916 82 0 0 25 0 1 0 833387351 91885568 21538 4294967295 134512640 134714508 3221224592 3221223240 134558477 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22433 21538 1111 63 0 22370 0
vsize: 89732
[startup+80.0013 s]
Raw data (loadavg): 0.96 0.96 0.97 2/54 8173
Raw data (stat): 8173 (bsolo_lpr) R 8172 4613 4612 0 -1 0 35493 0 0 0 7916 82 0 0 25 0 1 0 833387351 91885568 21545 4294967295 134512640 134714508 3221224592 3221223264 134627250 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22433 21545 1111 63 0 22370 0
vsize: 89732
[startup+90.0007 s]
Raw data (loadavg): 0.97 0.96 0.97 2/54 8173
Raw data (stat): 8173 (bsolo_lpr) R 8172 4613 4612 0 -1 0 35499 0 0 0 8916 82 0 0 25 0 1 0 833387351 91885568 21551 4294967295 134512640 134714508 3221224592 3221223264 134627250 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22433 21551 1111 63 0 22370 0
vsize: 89732
[startup+100 s]
Raw data (loadavg): 0.97 0.96 0.97 2/54 8173
Raw data (stat): 8173 (bsolo_lpr) R 8172 4613 4612 0 -1 0 39917 0 0 0 9905 93 0 0 25 0 1 0 833387351 98582528 23280 4294967295 134512640 134714508 3221224592 3221222160 1075817789 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24068 23280 1111 63 0 24005 0
vsize: 96272
[startup+110.001 s]
Raw data (loadavg): 0.97 0.97 0.97 2/54 8173
Raw data (stat): 8173 (bsolo_lpr) R 8172 4613 4612 0 -1 0 43759 0 0 0 10897 102 0 0 25 0 1 0 833387351 97533952 23092 4294967295 134512640 134714508 3221224592 3221223352 134613542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23812 23092 1111 63 0 23749 0
vsize: 95248
[startup+120 s]
Raw data (loadavg): 0.98 0.97 0.97 2/54 8173
Raw data (stat): 8173 (bsolo_lpr) R 8172 4613 4612 0 -1 0 43768 0 0 0 11894 104 0 0 25 0 1 0 833387351 97533952 23101 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23812 23101 1111 63 0 23749 0
vsize: 95248
[startup+130 s]
Raw data (loadavg): 0.98 0.97 0.97 2/54 8173
Raw data (stat): 8173 (bsolo_lpr) R 8172 4613 4612 0 -1 0 43768 0 0 0 12894 104 0 0 25 0 1 0 833387351 97533952 23101 4294967295 134512640 134714508 3221224592 3221223180 134543616 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23812 23101 1111 63 0 23749 0
vsize: 95248
[startup+140 s]
Raw data (loadavg): 0.98 0.97 0.97 2/54 8173
Raw data (stat): 8173 (bsolo_lpr) R 8172 4613 4612 0 -1 0 43768 0 0 0 13894 105 0 0 25 0 1 0 833387351 97533952 23101 4294967295 134512640 134714508 3221224592 3221223336 134672936 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23812 23101 1111 63 0 23749 0
vsize: 95248
[startup+150 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8173
Raw data (stat): 8173 (bsolo_lpr) R 8172 4613 4612 0 -1 0 43768 0 0 0 14893 105 0 0 25 0 1 0 833387351 97533952 23101 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23812 23101 1111 63 0 23749 0
vsize: 95248
[startup+160 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8173
Raw data (stat): 8173 (bsolo_lpr) R 8172 4613 4612 0 -1 0 43768 0 0 0 15893 106 0 0 25 0 1 0 833387351 97533952 23101 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23812 23101 1111 63 0 23749 0
vsize: 95248
[startup+170 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8173
Raw data (stat): 8173 (bsolo_lpr) R 8172 4613 4612 0 -1 0 43768 0 0 0 16891 107 0 0 25 0 1 0 833387351 97533952 23101 4294967295 134512640 134714508 3221224592 3221223324 134554932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23812 23101 1111 63 0 23749 0
vsize: 95248
[startup+180 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8173
Raw data (stat): 8173 (bsolo_lpr) R 8172 4613 4612 0 -1 0 43768 0 0 0 17890 109 0 0 25 0 1 0 833387351 97533952 23101 4294967295 134512640 134714508 3221224592 3221223352 134613501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23812 23101 1111 63 0 23749 0
vsize: 95248
[startup+190 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8173
Raw data (stat): 8173 (bsolo_lpr) R 8172 4613 4612 0 -1 0 43815 0 0 0 18890 109 0 0 25 0 1 0 833387351 97775616 23148 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23871 23148 1111 63 0 23808 0
vsize: 95484
[startup+200.001 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8173
Raw data (stat): 8173 (bsolo_lpr) R 8172 4613 4612 0 -1 0 43815 0 0 0 19889 110 0 0 25 0 1 0 833387351 97775616 23148 4294967295 134512640 134714508 3221224592 3221223392 134597769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23871 23148 1111 63 0 23808 0
vsize: 95484
[startup+210 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8173
Raw data (stat): 8173 (bsolo_lpr) R 8172 4613 4612 0 -1 0 44151 0 0 0 20887 113 0 0 25 0 1 0 833387351 99192832 23484 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24217 23484 1111 63 0 24154 0
vsize: 96868
[startup+220 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8173
Raw data (stat): 8173 (bsolo_lpr) R 8172 4613 4612 0 -1 0 44151 0 0 0 21887 113 0 0 25 0 1 0 833387351 99192832 23484 4294967295 134512640 134714508 3221224592 3221223232 134696276 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24217 23484 1111 63 0 24154 0
vsize: 96868
[startup+230 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8173
Raw data (stat): 8173 (bsolo_lpr) R 8172 4613 4612 0 -1 0 44151 0 0 0 22887 113 0 0 25 0 1 0 833387351 99192832 23484 4294967295 134512640 134714508 3221224592 3221223248 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24217 23484 1111 63 0 24154 0
vsize: 96868
[startup+239.999 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8173
Raw data (stat): 8173 (bsolo_lpr) R 8172 4613 4612 0 -1 0 44151 0 0 0 23885 115 0 0 25 0 1 0 833387351 98988032 23456 4294967295 134512640 134714508 3221224592 3221223196 134543653 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24167 23456 1111 63 0 24104 0
vsize: 96668
[startup+250 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8173
Raw data (stat): 8173 (bsolo_lpr) R 8172 4613 4612 0 -1 0 44151 0 0 0 24884 116 0 0 25 0 1 0 833387351 98988032 23456 4294967295 134512640 134714508 3221224592 3221223352 134613542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24167 23456 1111 63 0 24104 0
vsize: 96668
[startup+260 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8173
Raw data (stat): 8173 (bsolo_lpr) R 8172 4613 4612 0 -1 0 44151 0 0 0 25884 117 0 0 25 0 1 0 833387351 98988032 23456 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24167 23456 1111 63 0 24104 0
vsize: 96668
[startup+269.999 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8173
Raw data (stat): 8173 (bsolo_lpr) R 8172 4613 4612 0 -1 0 44151 0 0 0 26883 117 0 0 25 0 1 0 833387351 98988032 23456 4294967295 134512640 134714508 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24167 23456 1111 63 0 24104 0
vsize: 96668
[startup+279.999 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8173
Raw data (stat): 8173 (bsolo_lpr) R 8172 4613 4612 0 -1 0 44151 0 0 0 27883 118 0 0 25 0 1 0 833387351 98988032 23456 4294967295 134512640 134714508 3221224592 3221223200 134549313 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24167 23456 1111 63 0 24104 0
vsize: 96668
[startup+289.999 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8173
Raw data (stat): 8173 (bsolo_lpr) R 8172 4613 4612 0 -1 0 44151 0 0 0 28882 119 0 0 25 0 1 0 833387351 98988032 23456 4294967295 134512640 134714508 3221224592 3221223392 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24167 23456 1111 63 0 24104 0
vsize: 96668
[startup+299.998 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8173
Raw data (stat): 8173 (bsolo_lpr) R 8172 4613 4612 0 -1 0 44151 0 0 0 29882 119 0 0 25 0 1 0 833387351 98988032 23456 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24167 23456 1111 63 0 24104 0
vsize: 96668
[startup+309.999 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8173
Raw data (stat): 8173 (bsolo_lpr) R 8172 4613 4612 0 -1 0 44151 0 0 0 30882 119 0 0 25 0 1 0 833387351 98988032 23456 4294967295 134512640 134714508 3221224592 3221223336 134558492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24167 23456 1111 63 0 24104 0
vsize: 96668
[startup+319.998 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8173
Raw data (stat): 8173 (bsolo_lpr) R 8172 4613 4612 0 -1 0 44151 0 0 0 31882 120 0 0 25 0 1 0 833387351 98988032 23456 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24167 23456 1111 63 0 24104 0
vsize: 96668
[startup+329.999 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8173
Raw data (stat): 8173 (bsolo_lpr) R 8172 4613 4612 0 -1 0 44151 0 0 0 32882 120 0 0 25 0 1 0 833387351 98988032 23456 4294967295 134512640 134714508 3221224592 3221223232 134696123 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24167 23456 1111 63 0 24104 0
vsize: 96668
[startup+339.999 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8173
Raw data (stat): 8173 (bsolo_lpr) R 8172 4613 4612 0 -1 0 44151 0 0 0 33881 120 0 0 25 0 1 0 833387351 98988032 23456 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24167 23456 1111 63 0 24104 0
vsize: 96668
[startup+349.999 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8173
Raw data (stat): 8173 (bsolo_lpr) R 8172 4613 4612 0 -1 0 44157 0 0 0 34881 121 0 0 25 0 1 0 833387351 99123200 23462 4294967295 134512640 134714508 3221224592 3221223200 134549457 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24200 23462 1111 63 0 24137 0
vsize: 96800
[startup+359.999 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8173
Raw data (stat): 8173 (bsolo_lpr) R 8172 4613 4612 0 -1 0 44157 0 0 0 35881 121 0 0 25 0 1 0 833387351 99123200 23462 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24200 23462 1111 63 0 24137 0
vsize: 96800
[startup+369.999 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8173
Raw data (stat): 8173 (bsolo_lpr) R 8172 4613 4612 0 -1 0 44157 0 0 0 36881 121 0 0 25 0 1 0 833387351 99123200 23462 4294967295 134512640 134714508 3221224592 3221223200 134549327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24200 23462 1111 63 0 24137 0
vsize: 96800
[startup+379.999 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8173
Raw data (stat): 8173 (bsolo_lpr) R 8172 4613 4612 0 -1 0 44157 0 0 0 37881 122 0 0 25 0 1 0 833387351 99123200 23462 4294967295 134512640 134714508 3221224592 3221223336 134558492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24200 23462 1111 63 0 24137 0
vsize: 96800
[startup+389.999 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8173
Raw data (stat): 8173 (bsolo_lpr) R 8172 4613 4612 0 -1 0 44157 0 0 0 38880 122 0 0 25 0 1 0 833387351 99123200 23462 4294967295 134512640 134714508 3221224592 3221223216 134542359 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24200 23462 1111 63 0 24137 0
vsize: 96800
[startup+400 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8173
Raw data (stat): 8173 (bsolo_lpr) R 8172 4613 4612 0 -1 0 44157 0 0 0 39880 123 0 0 25 0 1 0 833387351 99123200 23462 4294967295 134512640 134714508 3221224592 3221223336 134594992 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24200 23462 1111 63 0 24137 0
vsize: 96800
[startup+409.999 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8173
Raw data (stat): 8173 (bsolo_lpr) R 8172 4613 4612 0 -1 0 44157 0 0 0 40879 124 0 0 25 0 1 0 833387351 99123200 23462 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24200 23462 1111 63 0 24137 0
vsize: 96800
[startup+419.999 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8173
Raw data (stat): 8173 (bsolo_lpr) R 8172 4613 4612 0 -1 0 44157 0 0 0 41879 124 0 0 25 0 1 0 833387351 99123200 23462 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24200 23462 1111 63 0 24137 0
vsize: 96800
[startup+430 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8173
Raw data (stat): 8173 (bsolo_lpr) R 8172 4613 4612 0 -1 0 44162 0 0 0 42879 125 0 0 25 0 1 0 833387351 99053568 23467 4294967295 134512640 134714508 3221224592 3221223200 134549327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24183 23467 1111 63 0 24120 0
vsize: 96732
[startup+439.999 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8173
Raw data (stat): 8173 (bsolo_lpr) R 8172 4613 4612 0 -1 0 44197 0 0 0 43878 125 0 0 25 0 1 0 833387351 99188736 23500 4294967295 134512640 134714508 3221224592 3221223376 134585130 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24216 23500 1111 63 0 24153 0
vsize: 96864
[startup+449.999 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8173
Raw data (stat): 8173 (bsolo_lpr) R 8172 4613 4612 0 -1 0 44277 0 0 0 44877 126 0 0 25 0 1 0 833387351 99504128 23580 4294967295 134512640 134714508 3221224592 3221223200 134549321 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24293 23580 1111 63 0 24230 0
vsize: 97172
[startup+459.999 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8173
Raw data (stat): 8173 (bsolo_lpr) R 8172 4613 4612 0 -1 0 44277 0 0 0 45877 126 0 0 25 0 1 0 833387351 99504128 23580 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24293 23580 1111 63 0 24230 0
vsize: 97172
[startup+469.998 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8173
Raw data (stat): 8173 (bsolo_lpr) R 8172 4613 4612 0 -1 0 44277 0 0 0 46877 127 0 0 25 0 1 0 833387351 99504128 23580 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24293 23580 1111 63 0 24230 0
vsize: 97172
[startup+479.998 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8173
Raw data (stat): 8173 (bsolo_lpr) R 8172 4613 4612 0 -1 0 44294 0 0 0 47877 127 0 0 25 0 1 0 833387351 99639296 23597 4294967295 134512640 134714508 3221224592 3221223200 134549480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24326 23597 1111 63 0 24263 0
vsize: 97304
[startup+489.998 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8173
Raw data (stat): 8173 (bsolo_lpr) R 8172 4613 4612 0 -1 0 44363 0 0 0 48877 127 0 0 25 0 1 0 833387351 99909632 23666 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24392 23666 1111 63 0 24329 0
vsize: 97568
[startup+499.999 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8173
Raw data (stat): 8173 (bsolo_lpr) R 8172 4613 4612 0 -1 0 44366 0 0 0 49877 128 0 0 25 0 1 0 833387351 99528704 23588 4294967295 134512640 134714508 3221224592 3221223312 134584775 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24299 23588 1111 63 0 24236 0
vsize: 97196
[startup+509.998 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8173
Raw data (stat): 8173 (bsolo_lpr) R 8172 4613 4612 0 -1 0 44366 0 0 0 50877 128 0 0 25 0 1 0 833387351 99528704 23588 4294967295 134512640 134714508 3221224592 3221223092 134697500 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24299 23588 1111 63 0 24236 0
vsize: 97196
[startup+519.998 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8173
Raw data (stat): 8173 (bsolo_lpr) R 8172 4613 4612 0 -1 0 44366 0 0 0 51877 128 0 0 25 0 1 0 833387351 99528704 23588 4294967295 134512640 134714508 3221224592 3221223200 134549327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24299 23588 1111 63 0 24236 0
vsize: 97196
[startup+529.999 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8173
Raw data (stat): 8173 (bsolo_lpr) R 8172 4613 4612 0 -1 0 44366 0 0 0 52877 128 0 0 25 0 1 0 833387351 99528704 23588 4294967295 134512640 134714508 3221224592 3221223148 134539237 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24299 23588 1111 63 0 24236 0
vsize: 97196
[startup+539.998 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8173
Raw data (stat): 8173 (bsolo_lpr) R 8172 4613 4612 0 -1 0 44366 0 0 0 53877 128 0 0 25 0 1 0 833387351 99528704 23588 4294967295 134512640 134714508 3221224592 3221223200 134549305 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24299 23588 1111 63 0 24236 0
vsize: 97196
[startup+549.999 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8173
Raw data (stat): 8173 (bsolo_lpr) R 8172 4613 4612 0 -1 0 44366 0 0 0 54877 129 0 0 25 0 1 0 833387351 99528704 23588 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24299 23588 1111 63 0 24236 0
vsize: 97196
[startup+559.999 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8173
Raw data (stat): 8173 (bsolo_lpr) R 8172 4613 4612 0 -1 0 44366 0 0 0 55877 129 0 0 25 0 1 0 833387351 99528704 23588 4294967295 134512640 134714508 3221224592 3221223200 134549313 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24299 23588 1111 63 0 24236 0
vsize: 97196
[startup+569.998 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8173
Raw data (stat): 8173 (bsolo_lpr) R 8172 4613 4612 0 -1 0 44366 0 0 0 56877 129 0 0 25 0 1 0 833387351 99528704 23588 4294967295 134512640 134714508 3221224592 3221223184 134543684 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24299 23588 1111 63 0 24236 0
vsize: 97196
[startup+579.998 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8173
Raw data (stat): 8173 (bsolo_lpr) R 8172 4613 4612 0 -1 0 44366 0 0 0 57877 129 0 0 25 0 1 0 833387351 99528704 23588 4294967295 134512640 134714508 3221224592 3221223200 134549327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24299 23588 1111 63 0 24236 0
vsize: 97196
[startup+589.998 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8173
Raw data (stat): 8173 (bsolo_lpr) R 8172 4613 4612 0 -1 0 44366 0 0 0 58877 129 0 0 25 0 1 0 833387351 99528704 23588 4294967295 134512640 134714508 3221224592 3221223200 134549474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24299 23588 1111 63 0 24236 0
vsize: 97196
[startup+599.999 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8173
Raw data (stat): 8173 (bsolo_lpr) R 8172 4613 4612 0 -1 0 44366 0 0 0 59877 129 0 0 25 0 1 0 833387351 99528704 23588 4294967295 134512640 134714508 3221224592 3221223200 134549463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24299 23588 1111 63 0 24236 0
vsize: 97196
[startup+609.999 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8173
Raw data (stat): 8173 (bsolo_lpr) R 8172 4613 4612 0 -1 0 44366 0 0 0 60877 129 0 0 25 0 1 0 833387351 99528704 23588 4294967295 134512640 134714508 3221224592 3221223248 134536630 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24299 23588 1111 63 0 24236 0
vsize: 97196
[startup+619.998 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8173
Raw data (stat): 8173 (bsolo_lpr) R 8172 4613 4612 0 -1 0 44414 0 0 0 61877 130 0 0 25 0 1 0 833387351 99799040 23627 4294967295 134512640 134714508 3221224592 3221223200 134549327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24365 23627 1111 63 0 24302 0
vsize: 97460
[startup+629.998 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8173
Raw data (stat): 8173 (bsolo_lpr) R 8172 4613 4612 0 -1 0 44414 0 0 0 62877 130 0 0 25 0 1 0 833387351 99532800 23589 4294967295 134512640 134714508 3221224592 3221223184 134549594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24300 23589 1111 63 0 24237 0
vsize: 97200
[startup+639.998 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8173
Raw data (stat): 8173 (bsolo_lpr) R 8172 4613 4612 0 -1 0 44414 0 0 0 63876 130 0 0 25 0 1 0 833387351 99532800 23589 4294967295 134512640 134714508 3221224592 3221223188 134543680 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24300 23589 1111 63 0 24237 0
vsize: 97200
[startup+649.998 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8173
Raw data (stat): 8173 (bsolo_lpr) R 8172 4613 4612 0 -1 0 44414 0 0 0 64876 131 0 0 25 0 1 0 833387351 99532800 23589 4294967295 134512640 134714508 3221224592 3221222988 1077379908 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24300 23589 1111 63 0 24237 0
vsize: 97200
[startup+659.998 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8173
Raw data (stat): 8173 (bsolo_lpr) R 8172 4613 4612 0 -1 0 44414 0 0 0 65876 131 0 0 25 0 1 0 833387351 99532800 23589 4294967295 134512640 134714508 3221224592 3221223280 134594338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24300 23589 1111 63 0 24237 0
vsize: 97200
[startup+669.998 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8173
Raw data (stat): 8173 (bsolo_lpr) R 8172 4613 4612 0 -1 0 44414 0 0 0 66875 132 0 0 25 0 1 0 833387351 99532800 23589 4294967295 134512640 134714508 3221224592 3221223148 134535973 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24300 23589 1111 63 0 24237 0
vsize: 97200
[startup+679.998 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8173
Raw data (stat): 8173 (bsolo_lpr) R 8172 4613 4612 0 -1 0 44414 0 0 0 67874 133 0 0 25 0 1 0 833387351 99532800 23589 4294967295 134512640 134714508 3221224592 3221223200 134549305 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24300 23589 1111 63 0 24237 0
vsize: 97200
[startup+689.998 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8173
Raw data (stat): 8173 (bsolo_lpr) R 8172 4613 4612 0 -1 0 44414 0 0 0 68874 134 0 0 25 0 1 0 833387351 99532800 23589 4294967295 134512640 134714508 3221224592 3221223392 134597712 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24300 23589 1111 63 0 24237 0
vsize: 97200
[startup+699.998 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8173
Raw data (stat): 8173 (bsolo_lpr) R 8172 4613 4612 0 -1 0 44414 0 0 0 69874 134 0 0 25 0 1 0 833387351 99532800 23589 4294967295 134512640 134714508 3221224592 3221223132 134539237 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24300 23589 1111 63 0 24237 0
vsize: 97200
[startup+709.999 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8173
Raw data (stat): 8173 (bsolo_lpr) R 8172 4613 4612 0 -1 0 44414 0 0 0 70874 134 0 0 25 0 1 0 833387351 99532800 23589 4294967295 134512640 134714508 3221224592 3221223200 134549470 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24300 23589 1111 63 0 24237 0
vsize: 97200
[startup+719.998 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8173
Raw data (stat): 8173 (bsolo_lpr) R 8172 4613 4612 0 -1 0 44414 0 0 0 71874 134 0 0 25 0 1 0 833387351 99532800 23589 4294967295 134512640 134714508 3221224592 3221223200 134549327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24300 23589 1111 63 0 24237 0
vsize: 97200
[startup+729.998 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8173
Raw data (stat): 8173 (bsolo_lpr) R 8172 4613 4612 0 -1 0 44414 0 0 0 72874 135 0 0 25 0 1 0 833387351 99532800 23589 4294967295 134512640 134714508 3221224592 3221223200 134549474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24300 23589 1111 63 0 24237 0
vsize: 97200
[startup+739.998 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8173
Raw data (stat): 8173 (bsolo_lpr) R 8172 4613 4612 0 -1 0 44414 0 0 0 73874 135 0 0 25 0 1 0 833387351 99532800 23589 4294967295 134512640 134714508 3221224592 3221223200 134549480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24300 23589 1111 63 0 24237 0
vsize: 97200
[startup+749.998 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8173
Raw data (stat): 8173 (bsolo_lpr) R 8172 4613 4612 0 -1 0 44414 0 0 0 74874 135 0 0 25 0 1 0 833387351 99532800 23589 4294967295 134512640 134714508 3221224592 3221223200 134549318 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24300 23589 1111 63 0 24237 0
vsize: 97200
[startup+759.998 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8173
Raw data (stat): 8173 (bsolo_lpr) R 8172 4613 4612 0 -1 0 44414 0 0 0 75874 135 0 0 25 0 1 0 833387351 99532800 23589 4294967295 134512640 134714508 3221224592 3221223200 134549463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24300 23589 1111 63 0 24237 0
vsize: 97200
[startup+769.997 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8173
Raw data (stat): 8173 (bsolo_lpr) R 8172 4613 4612 0 -1 0 44461 0 0 0 76874 135 0 0 25 0 1 0 833387351 99532800 23589 4294967295 134512640 134714508 3221224592 3221223200 134549327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24300 23589 1111 63 0 24237 0
vsize: 97200
[startup+779.998 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8173
Raw data (stat): 8173 (bsolo_lpr) R 8172 4613 4612 0 -1 0 44461 0 0 0 77874 136 0 0 25 0 1 0 833387351 99532800 23589 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24300 23589 1111 63 0 24237 0
vsize: 97200
[startup+789.998 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8173
Raw data (stat): 8173 (bsolo_lpr) R 8172 4613 4612 0 -1 0 44461 0 0 0 78873 136 0 0 25 0 1 0 833387351 99532800 23589 4294967295 134512640 134714508 3221224592 3221223280 134524469 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24300 23589 1111 63 0 24237 0
vsize: 97200
[startup+799.999 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8173
Raw data (stat): 8173 (bsolo_lpr) R 8172 4613 4612 0 -1 0 44598 0 0 0 79873 136 0 0 25 0 1 0 833387351 100208640 23726 4294967295 134512640 134714508 3221224592 3221223316 134535756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24465 23726 1111 63 0 24402 0
vsize: 97860
[startup+809.998 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8173
Raw data (stat): 8173 (bsolo_lpr) R 8172 4613 4612 0 -1 0 44690 0 0 0 80873 137 0 0 25 0 1 0 833387351 100102144 23700 4294967295 134512640 134714508 3221224592 3221223152 134542303 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24439 23700 1111 63 0 24376 0
vsize: 97756
[startup+819.998 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8173
Raw data (stat): 8173 (bsolo_lpr) R 8172 4613 4612 0 -1 0 44756 0 0 0 81873 137 0 0 25 0 1 0 833387351 100376576 23766 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24506 23766 1111 63 0 24443 0
vsize: 98024
[startup+829.998 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8173
Raw data (stat): 8173 (bsolo_lpr) R 8172 4613 4612 0 -1 0 44761 0 0 0 82873 137 0 0 25 0 1 0 833387351 100319232 23771 4294967295 134512640 134714508 3221224592 3221223200 134549474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24492 23771 1111 63 0 24429 0
vsize: 97968
[startup+839.997 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8173
Raw data (stat): 8173 (bsolo_lpr) R 8172 4613 4612 0 -1 0 45017 0 0 0 83873 137 0 0 25 0 1 0 833387351 101416960 24027 4294967295 134512640 134714508 3221224592 3221223200 134549327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24760 24027 1111 63 0 24697 0
vsize: 99040
[startup+849.998 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8173
Raw data (stat): 8173 (bsolo_lpr) R 8172 4613 4612 0 -1 0 45017 0 0 0 84873 137 0 0 25 0 1 0 833387351 101416960 24027 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24760 24027 1111 63 0 24697 0
vsize: 99040
[startup+859.998 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8173
Raw data (stat): 8173 (bsolo_lpr) R 8172 4613 4612 0 -1 0 45085 0 0 0 85873 138 0 0 25 0 1 0 833387351 101687296 24095 4294967295 134512640 134714508 3221224592 3221223132 134539296 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24826 24095 1111 63 0 24763 0
vsize: 99304
[startup+869.997 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8173
Raw data (stat): 8173 (bsolo_lpr) R 8172 4613 4612 0 -1 0 45130 0 0 0 86873 138 0 0 25 0 1 0 833387351 101822464 24140 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24859 24140 1111 63 0 24796 0
vsize: 99436
[startup+879.998 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8173
Raw data (stat): 8173 (bsolo_lpr) R 8172 4613 4612 0 -1 0 45145 0 0 0 87873 138 0 0 25 0 1 0 833387351 101957632 24155 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24892 24155 1111 63 0 24829 0
vsize: 99568
[startup+889.998 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8173
Raw data (stat): 8173 (bsolo_lpr) R 8172 4613 4612 0 -1 0 45145 0 0 0 88872 139 0 0 25 0 1 0 833387351 101957632 24155 4294967295 134512640 134714508 3221224592 3221223392 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24892 24155 1111 63 0 24829 0
vsize: 99568
[startup+899.999 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8173
Raw data (stat): 8173 (bsolo_lpr) R 8172 4613 4612 0 -1 0 45145 0 0 0 89872 140 0 0 25 0 1 0 833387351 101957632 24155 4294967295 134512640 134714508 3221224592 3221223200 134549463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24892 24155 1111 63 0 24829 0
vsize: 99568
[startup+909.999 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8173
Raw data (stat): 8173 (bsolo_lpr) R 8172 4613 4612 0 -1 0 45145 0 0 0 90872 140 0 0 25 0 1 0 833387351 101957632 24155 4294967295 134512640 134714508 3221224592 3221223200 134549334 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24892 24155 1111 63 0 24829 0
vsize: 99568
[startup+919.998 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8173
Raw data (stat): 8173 (bsolo_lpr) R 8172 4613 4612 0 -1 0 45145 0 0 0 91872 140 0 0 25 0 1 0 833387351 101957632 24155 4294967295 134512640 134714508 3221224592 3221223200 134549305 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24892 24155 1111 63 0 24829 0
vsize: 99568
[startup+929.999 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8173
Raw data (stat): 8173 (bsolo_lpr) R 8172 4613 4612 0 -1 0 45145 0 0 0 92872 140 0 0 25 0 1 0 833387351 101957632 24155 4294967295 134512640 134714508 3221224592 3221223200 134549313 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24892 24155 1111 63 0 24829 0
vsize: 99568
[startup+939.998 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8173
Raw data (stat): 8173 (bsolo_lpr) R 8172 4613 4612 0 -1 0 45145 0 0 0 93872 141 0 0 25 0 1 0 833387351 101957632 24155 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24892 24155 1111 63 0 24829 0
vsize: 99568
[startup+949.999 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8173
Raw data (stat): 8173 (bsolo_lpr) R 8172 4613 4612 0 -1 0 45145 0 0 0 94872 141 0 0 25 0 1 0 833387351 101957632 24155 4294967295 134512640 134714508 3221224592 3221222988 1077379908 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24892 24155 1111 63 0 24829 0
vsize: 99568
[startup+959.999 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8173
Raw data (stat): 8173 (bsolo_lpr) R 8172 4613 4612 0 -1 0 45145 0 0 0 95871 141 0 0 25 0 1 0 833387351 101957632 24155 4294967295 134512640 134714508 3221224592 3221223200 134549444 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24892 24155 1111 63 0 24829 0
vsize: 99568
[startup+969.999 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8173
Raw data (stat): 8173 (bsolo_lpr) R 8172 4613 4612 0 -1 0 45145 0 0 0 96871 142 0 0 25 0 1 0 833387351 101957632 24155 4294967295 134512640 134714508 3221224592 3221223348 134652863 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24892 24155 1111 63 0 24829 0
vsize: 99568
[startup+980 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8173
Raw data (stat): 8173 (bsolo_lpr) R 8172 4613 4612 0 -1 0 45145 0 0 0 97871 142 0 0 25 0 1 0 833387351 101957632 24155 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24892 24155 1111 63 0 24829 0
vsize: 99568
[startup+989.999 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8173
Raw data (stat): 8173 (bsolo_lpr) R 8172 4613 4612 0 -1 0 45145 0 0 0 98871 142 0 0 25 0 1 0 833387351 101957632 24155 4294967295 134512640 134714508 3221224592 3221223200 134549460 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24892 24155 1111 63 0 24829 0
vsize: 99568
[startup+999.999 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8173
Raw data (stat): 8173 (bsolo_lpr) R 8172 4613 4612 0 -1 0 45145 0 0 0 99871 143 0 0 25 0 1 0 833387351 101957632 24155 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24892 24155 1111 63 0 24829 0
vsize: 99568
[startup+1010 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8173
Raw data (stat): 8173 (bsolo_lpr) R 8172 4613 4612 0 -1 0 45145 0 0 0 100871 143 0 0 25 0 1 0 833387351 101957632 24155 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24892 24155 1111 63 0 24829 0
vsize: 99568
[startup+1020 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8173
Raw data (stat): 8173 (bsolo_lpr) R 8172 4613 4612 0 -1 0 45145 0 0 0 101871 143 0 0 25 0 1 0 833387351 101957632 24155 4294967295 134512640 134714508 3221224592 3221223160 1077377720 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24892 24155 1111 63 0 24829 0
vsize: 99568
[startup+1030 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8173
Raw data (stat): 8173 (bsolo_lpr) R 8172 4613 4612 0 -1 0 45145 0 0 0 102871 143 0 0 25 0 1 0 833387351 101957632 24155 4294967295 134512640 134714508 3221224592 3221223200 134549480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24892 24155 1111 63 0 24829 0
vsize: 99568
[startup+1040 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8173
Raw data (stat): 8173 (bsolo_lpr) R 8172 4613 4612 0 -1 0 45145 0 0 0 103870 144 0 0 25 0 1 0 833387351 101957632 24155 4294967295 134512640 134714508 3221224592 3221223200 134549318 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24892 24155 1111 63 0 24829 0
vsize: 99568
[startup+1050 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8173
Raw data (stat): 8173 (bsolo_lpr) R 8172 4613 4612 0 -1 0 45145 0 0 0 104870 144 0 0 25 0 1 0 833387351 101957632 24155 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24892 24155 1111 63 0 24829 0
vsize: 99568
[startup+1060 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8173
Raw data (stat): 8173 (bsolo_lpr) R 8172 4613 4612 0 -1 0 45145 0 0 0 105870 144 0 0 25 0 1 0 833387351 101957632 24155 4294967295 134512640 134714508 3221224592 3221223200 134549467 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24892 24155 1111 63 0 24829 0
vsize: 99568
[startup+1070 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8173
Raw data (stat): 8173 (bsolo_lpr) R 8172 4613 4612 0 -1 0 45145 0 0 0 106870 144 0 0 25 0 1 0 833387351 101957632 24155 4294967295 134512640 134714508 3221224592 3221223200 134549474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24892 24155 1111 63 0 24829 0
vsize: 99568
[startup+1080 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8173
Raw data (stat): 8173 (bsolo_lpr) R 8172 4613 4612 0 -1 0 45145 0 0 0 107870 145 0 0 25 0 1 0 833387351 101957632 24155 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24892 24155 1111 63 0 24829 0
vsize: 99568
[startup+1090 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8173
Raw data (stat): 8173 (bsolo_lpr) R 8172 4613 4612 0 -1 0 45145 0 0 0 108870 145 0 0 25 0 1 0 833387351 101957632 24155 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24892 24155 1111 63 0 24829 0
vsize: 99568
[startup+1100 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8173
Raw data (stat): 8173 (bsolo_lpr) R 8172 4613 4612 0 -1 0 45145 0 0 0 109870 145 0 0 25 0 1 0 833387351 101957632 24155 4294967295 134512640 134714508 3221224592 3221223200 134549467 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24892 24155 1111 63 0 24829 0
vsize: 99568
[startup+1110 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8173
Raw data (stat): 8173 (bsolo_lpr) R 8172 4613 4612 0 -1 0 45145 0 0 0 110870 146 0 0 25 0 1 0 833387351 101957632 24155 4294967295 134512640 134714508 3221224592 3221223200 134549313 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24892 24155 1111 63 0 24829 0
vsize: 99568
[startup+1120 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8173
Raw data (stat): 8173 (bsolo_lpr) R 8172 4613 4612 0 -1 0 45145 0 0 0 111870 146 0 0 25 0 1 0 833387351 101957632 24155 4294967295 134512640 134714508 3221224592 3221223200 134549313 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24892 24155 1111 63 0 24829 0
vsize: 99568
[startup+1130 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8173
Raw data (stat): 8173 (bsolo_lpr) R 8172 4613 4612 0 -1 0 45145 0 0 0 112870 146 0 0 25 0 1 0 833387351 101957632 24155 4294967295 134512640 134714508 3221224592 3221223300 134535798 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24892 24155 1111 63 0 24829 0
vsize: 99568
[startup+1140 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8173
Raw data (stat): 8173 (bsolo_lpr) R 8172 4613 4612 0 -1 0 45145 0 0 0 113870 146 0 0 25 0 1 0 833387351 101957632 24155 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24892 24155 1111 63 0 24829 0
vsize: 99568
[startup+1150 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8173
Raw data (stat): 8173 (bsolo_lpr) R 8172 4613 4612 0 -1 0 45145 0 0 0 114870 146 0 0 25 0 1 0 833387351 101957632 24155 4294967295 134512640 134714508 3221224592 3221223200 134549463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24892 24155 1111 63 0 24829 0
vsize: 99568
[startup+1160 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8173
Raw data (stat): 8173 (bsolo_lpr) R 8172 4613 4612 0 -1 0 45145 0 0 0 115870 146 0 0 25 0 1 0 833387351 101957632 24155 4294967295 134512640 134714508 3221224592 3221223368 134613542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24892 24155 1111 63 0 24829 0
vsize: 99568
[startup+1170 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8173
Raw data (stat): 8173 (bsolo_lpr) R 8172 4613 4612 0 -1 0 45145 0 0 0 116869 147 0 0 25 0 1 0 833387351 101957632 24155 4294967295 134512640 134714508 3221224592 3221223360 134592104 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24892 24155 1111 63 0 24829 0
vsize: 99568
[startup+1174.91 s]
Raw data (loadavg): 0.99 0.97 0.97 1/53 8173
Raw data (stat): 8173 (bsolo_lpr) R 8172 4613 4612 0 -1 0 45145 0 0 0 116869 147 0 0 25 0 1 0 833387351 101957632 24155 4294967295 134512640 134714508 3221224592 3221223360 134592104 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24892 24155 1111 63 0 24829 0
vsize: 0

Child status: 0
Real time (s): 1174.91
CPU time (s): 1175.08
CPU user time (s): 1173.56
CPU system time (s): 1.52077
CPU usage (%): 100.015
Max. virtual memory (Kb): 99568
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####