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.ps.uni-sb.de/~walser/benchmarks/ppp-problems/normalized-ppp:1-13.opb
MD5SUM	4caec1e880871fcef3276cf001aca352
Bench Category	no optimization function (SAT)
Has Objective Function	NO
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	0
Optimality of the best value was proved	NO
Number of terms in the objective function	0
Biggest coefficient in the objective function	0
Number of bits for the biggest coefficient in the objective function	0
Sum of the numbers in the objective function	0
Number of bits of the sum of numbers in the objective function	0
Biggest number in a constraint	10
Number of bits of the biggest number in a constraint	4
Biggest sum of numbers in a constraint	104
Number of bits of the biggest sum of numbers	7
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	7.63384
Number of variables	4632
Total number of constraints	35596
Number of constraints which are clauses	29940
Number of constraints which are cardinality constraints (but not clauses)	5578
Number of constraints which are nor clauses,nor cardinality constraints	78
Minimum length of a constraint	1
Maximum length of a constraint	29
Trace number 39739

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-06-07 18:58:51 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27805 boxname=wulflinc2 idbench=363 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  4caec1e880871fcef3276cf001aca352  /oldhome/oroussel/tmp/wulflinc2/normalized-ppp:1-13.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-ppp:1-13.opb
IDLAUNCH: 27805
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
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.191
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:        910828 kB
Buffers:         34012 kB
Cached:          66840 kB
SwapCached:       1488 kB
Active:          29200 kB
Inactive:        73800 kB
HighTotal:      131008 kB
HighFree:        86184 kB
LowTotal:       903652 kB
LowFree:        824644 kB
SwapTotal:     2097136 kB
SwapFree:      2094668 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4992 kB
Slab:            15232 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-07 19:18:26 (client local time) WITH STATUS 0 IN 1175.05 SECONDS
stats: 27805 7 1175.05 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c INFO: No cost function. Find solution and finish.
c Initial problem consists of 4632 variables and 31138 constraints.
c After prepocess the problem consists of 4632 variables and 31138 constraints.
c preprocess terminated 50.852 s
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.01 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.92 0.98 0.91 1/54 29098
Raw data (stat): 29098 (runsolver) R 29097 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 895340650 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0012 s]
Raw data (loadavg): 0.93 0.98 0.91 2/54 29098
Raw data (stat): 29098 (bsolo_lpr-v2) R 29097 31399 31398 0 -1 0 43585 0 0 0 878 119 0 0 25 0 1 0 895340650 52555776 11965 4294967295 134512640 134716908 3221224576 3221223224 134558492 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12831 11965 1111 63 0 12768 0
vsize: 51324
[startup+20.0013 s]
Raw data (loadavg): 0.94 0.98 0.91 2/54 29098
Raw data (stat): 29098 (bsolo_lpr-v2) R 29097 31399 31398 0 -1 0 73601 0 0 0 1793 203 0 0 25 0 1 0 895340650 70672384 16393 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16393 1111 63 0 17191 0
vsize: 69016
[startup+30.0018 s]
Raw data (loadavg): 0.95 0.98 0.91 2/54 29098
Raw data (stat): 29098 (bsolo_lpr-v2) R 29097 31399 31398 0 -1 0 86700 0 0 0 2756 241 0 0 25 0 1 0 895340650 73637888 17112 4294967295 134512640 134716908 3221224576 3221223208 134558765 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17978 17112 1111 63 0 17915 0
vsize: 71912
[startup+40.002 s]
Raw data (loadavg): 0.96 0.98 0.91 2/54 29098
Raw data (stat): 29098 (bsolo_lpr-v2) R 29097 31399 31398 0 -1 0 100635 0 0 0 3717 280 0 0 25 0 1 0 895340650 70672384 16393 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16393 1111 63 0 17191 0
vsize: 69016
[startup+50.0022 s]
Raw data (loadavg): 0.96 0.98 0.91 2/54 29098
Raw data (stat): 29098 (bsolo_lpr-v2) R 29097 31399 31398 0 -1 0 107314 0 0 0 4698 299 0 0 25 0 1 0 895340650 70672384 16393 4294967295 134512640 134716908 3221224576 3221223216 134594947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16393 1111 63 0 17191 0
vsize: 69016
[startup+60.002 s]
Raw data (loadavg): 0.97 0.98 0.91 2/54 29098
Raw data (stat): 29098 (bsolo_lpr-v2) R 29097 31399 31398 0 -1 0 107329 0 0 0 5696 301 0 0 25 0 1 0 895340650 70672384 16408 4294967295 134512640 134716908 3221224576 3221223168 134539376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+70.002 s]
Raw data (loadavg): 0.97 0.98 0.91 2/54 29098
Raw data (stat): 29098 (bsolo_lpr-v2) R 29097 31399 31398 0 -1 0 107329 0 0 0 6695 301 0 0 25 0 1 0 895340650 70672384 16408 4294967295 134512640 134716908 3221224576 3221223288 134543665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+80.0024 s]
Raw data (loadavg): 1.05 1.00 0.92 2/54 29151
Raw data (stat): 29098 (bsolo_lpr-v2) R 29097 31399 31398 0 -1 0 107329 0 0 0 7694 302 0 0 25 0 1 0 895340650 70672384 16408 4294967295 134512640 134716908 3221224576 3221223224 134543652 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+90.002 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 29151
Raw data (stat): 29098 (bsolo_lpr-v2) R 29097 31399 31398 0 -1 0 107329 0 0 0 8693 304 0 0 25 0 1 0 895340650 70672384 16408 4294967295 134512640 134716908 3221224576 3221223248 134551963 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+100.002 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 29151
Raw data (stat): 29098 (bsolo_lpr-v2) R 29097 31399 31398 0 -1 0 107329 0 0 0 9692 305 0 0 25 0 1 0 895340650 70672384 16408 4294967295 134512640 134716908 3221224576 3221223360 134529252 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+110.003 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 29151
Raw data (stat): 29098 (bsolo_lpr-v2) R 29097 31399 31398 0 -1 0 107329 0 0 0 10691 306 0 0 25 0 1 0 895340650 70672384 16408 4294967295 134512640 134716908 3221224576 3221223128 134698829 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+120.003 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 29151
Raw data (stat): 29098 (bsolo_lpr-v2) R 29097 31399 31398 0 -1 0 107329 0 0 0 11691 307 0 0 25 0 1 0 895340650 70672384 16408 4294967295 134512640 134716908 3221224576 3221223200 134698636 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+130.004 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 29151
Raw data (stat): 29098 (bsolo_lpr-v2) R 29097 31399 31398 0 -1 0 107329 0 0 0 12690 307 0 0 25 0 1 0 895340650 70672384 16408 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+140.004 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 29151
Raw data (stat): 29098 (bsolo_lpr-v2) R 29097 31399 31398 0 -1 0 107329 0 0 0 13690 308 0 0 25 0 1 0 895340650 70672384 16408 4294967295 134512640 134716908 3221224576 3221223220 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+150.003 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 29153
Raw data (stat): 29098 (bsolo_lpr-v2) R 29097 31399 31398 0 -1 0 107329 0 0 0 14689 309 0 0 25 0 1 0 895340650 70672384 16408 4294967295 134512640 134716908 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+160.003 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 29153
Raw data (stat): 29098 (bsolo_lpr-v2) R 29097 31399 31398 0 -1 0 107329 0 0 0 15688 310 0 0 25 0 1 0 895340650 70672384 16408 4294967295 134512640 134716908 3221224576 3221223132 134539237 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+170.003 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 29153
Raw data (stat): 29098 (bsolo_lpr-v2) R 29097 31399 31398 0 -1 0 107329 0 0 0 16687 311 0 0 25 0 1 0 895340650 70672384 16408 4294967295 134512640 134716908 3221224576 3221223228 134536766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+180.003 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 29153
Raw data (stat): 29098 (bsolo_lpr-v2) R 29097 31399 31398 0 -1 0 107329 0 0 0 17687 311 0 0 25 0 1 0 895340650 70672384 16408 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+190.004 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 29153
Raw data (stat): 29098 (bsolo_lpr-v2) R 29097 31399 31398 0 -1 0 107329 0 0 0 18687 312 0 0 25 0 1 0 895340650 70672384 16408 4294967295 134512640 134716908 3221224576 3221223296 134535795 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+200.004 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29153
Raw data (stat): 29098 (bsolo_lpr-v2) R 29097 31399 31398 0 -1 0 107329 0 0 0 19686 313 0 0 25 0 1 0 895340650 70672384 16408 4294967295 134512640 134716908 3221224576 3221223132 134539324 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+210.003 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29153
Raw data (stat): 29098 (bsolo_lpr-v2) R 29097 31399 31398 0 -1 0 107329 0 0 0 20685 314 0 0 25 0 1 0 895340650 70672384 16408 4294967295 134512640 134716908 3221224576 3221223280 134528595 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+220.004 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29153
Raw data (stat): 29098 (bsolo_lpr-v2) R 29097 31399 31398 0 -1 0 107329 0 0 0 21685 314 0 0 25 0 1 0 895340650 70672384 16408 4294967295 134512640 134716908 3221224576 3221223220 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+230.005 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29153
Raw data (stat): 29098 (bsolo_lpr-v2) R 29097 31399 31398 0 -1 0 107329 0 0 0 22685 314 0 0 25 0 1 0 895340650 70672384 16408 4294967295 134512640 134716908 3221224576 3221223340 134543556 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+240.006 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29153
Raw data (stat): 29098 (bsolo_lpr-v2) R 29097 31399 31398 0 -1 0 107329 0 0 0 23685 315 0 0 25 0 1 0 895340650 70672384 16408 4294967295 134512640 134716908 3221224576 3221223360 134529266 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+250.005 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29153
Raw data (stat): 29098 (bsolo_lpr-v2) R 29097 31399 31398 0 -1 0 107329 0 0 0 24684 316 0 0 25 0 1 0 895340650 70672384 16408 4294967295 134512640 134716908 3221224576 3221223136 134698912 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+260.005 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29153
Raw data (stat): 29098 (bsolo_lpr-v2) R 29097 31399 31398 0 -1 0 107329 0 0 0 25683 317 0 0 25 0 1 0 895340650 70672384 16408 4294967295 134512640 134716908 3221224576 3221223340 134592362 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+270.005 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29153
Raw data (stat): 29098 (bsolo_lpr-v2) R 29097 31399 31398 0 -1 0 107329 0 0 0 26682 318 0 0 25 0 1 0 895340650 70672384 16408 4294967295 134512640 134716908 3221224576 3221223288 134552673 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+280.005 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29153
Raw data (stat): 29098 (bsolo_lpr-v2) R 29097 31399 31398 0 -1 0 107329 0 0 0 27682 318 0 0 25 0 1 0 895340650 70672384 16408 4294967295 134512640 134716908 3221224576 3221223084 134535903 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+290.007 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29153
Raw data (stat): 29098 (bsolo_lpr-v2) R 29097 31399 31398 0 -1 0 107329 0 0 0 28681 320 0 0 25 0 1 0 895340650 70672384 16408 4294967295 134512640 134716908 3221224576 3221223168 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+300.006 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29153
Raw data (stat): 29098 (bsolo_lpr-v2) R 29097 31399 31398 0 -1 0 107329 0 0 0 29679 321 0 0 25 0 1 0 895340650 70672384 16408 4294967295 134512640 134716908 3221224576 3221223232 134536736 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+310.005 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29153
Raw data (stat): 29098 (bsolo_lpr-v2) R 29097 31399 31398 0 -1 0 107329 0 0 0 30679 322 0 0 25 0 1 0 895340650 70672384 16408 4294967295 134512640 134716908 3221224576 3221223280 134528595 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+320.006 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29153
Raw data (stat): 29098 (bsolo_lpr-v2) R 29097 31399 31398 0 -1 0 107329 0 0 0 31679 322 0 0 25 0 1 0 895340650 70672384 16408 4294967295 134512640 134716908 3221224576 3221223328 134592345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+330.007 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29153
Raw data (stat): 29098 (bsolo_lpr-v2) R 29097 31399 31398 0 -1 0 107329 0 0 0 32678 323 0 0 25 0 1 0 895340650 70672384 16408 4294967295 134512640 134716908 3221224576 3221222892 134613982 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+340.007 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29153
Raw data (stat): 29098 (bsolo_lpr-v2) R 29097 31399 31398 0 -1 0 107329 0 0 0 33678 324 0 0 25 0 1 0 895340650 70672384 16408 4294967295 134512640 134716908 3221224576 3221223184 134549463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+350.007 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29153
Raw data (stat): 29098 (bsolo_lpr-v2) R 29097 31399 31398 0 -1 0 107329 0 0 0 34677 325 0 0 25 0 1 0 895340650 70672384 16408 4294967295 134512640 134716908 3221224576 3221223232 134536736 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+360.007 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29153
Raw data (stat): 29098 (bsolo_lpr-v2) R 29097 31399 31398 0 -1 0 107329 0 0 0 35677 325 0 0 25 0 1 0 895340650 70672384 16408 4294967295 134512640 134716908 3221224576 3221223148 134543615 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+370.007 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29153
Raw data (stat): 29098 (bsolo_lpr-v2) R 29097 31399 31398 0 -1 0 107329 0 0 0 36676 326 0 0 25 0 1 0 895340650 70672384 16408 4294967295 134512640 134716908 3221224576 3221223104 134543030 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+380.006 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29153
Raw data (stat): 29098 (bsolo_lpr-v2) R 29097 31399 31398 0 -1 0 107329 0 0 0 37676 327 0 0 25 0 1 0 895340650 70672384 16408 4294967295 134512640 134716908 3221224576 3221223136 134699108 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+390.006 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29155
Raw data (stat): 29098 (bsolo_lpr-v2) R 29097 31399 31398 0 -1 0 107329 0 0 0 38675 328 0 0 25 0 1 0 895340650 70672384 16408 4294967295 134512640 134716908 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+400.006 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29155
Raw data (stat): 29098 (bsolo_lpr-v2) R 29097 31399 31398 0 -1 0 107329 0 0 0 39674 328 0 0 25 0 1 0 895340650 70672384 16408 4294967295 134512640 134716908 3221224576 3221223148 134543615 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+410.007 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29155
Raw data (stat): 29098 (bsolo_lpr-v2) R 29097 31399 31398 0 -1 0 107329 0 0 0 40673 329 0 0 25 0 1 0 895340650 70672384 16408 4294967295 134512640 134716908 3221224576 3221223220 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+420.006 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29155
Raw data (stat): 29098 (bsolo_lpr-v2) R 29097 31399 31398 0 -1 0 107329 0 0 0 41672 331 0 0 25 0 1 0 895340650 70672384 16408 4294967295 134512640 134716908 3221224576 3221223408 134551454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+430.006 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29155
Raw data (stat): 29098 (bsolo_lpr-v2) R 29097 31399 31398 0 -1 0 107329 0 0 0 42671 332 0 0 25 0 1 0 895340650 70672384 16408 4294967295 134512640 134716908 3221224576 3221223200 134698604 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+440.006 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29155
Raw data (stat): 29098 (bsolo_lpr-v2) R 29097 31399 31398 0 -1 0 107329 0 0 0 43671 332 0 0 25 0 1 0 895340650 70672384 16408 4294967295 134512640 134716908 3221224576 3221223292 134558493 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+450.005 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29155
Raw data (stat): 29098 (bsolo_lpr-v2) R 29097 31399 31398 0 -1 0 107329 0 0 0 44670 333 0 0 25 0 1 0 895340650 70672384 16408 4294967295 134512640 134716908 3221224576 3221223264 134523345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+460.005 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29155
Raw data (stat): 29098 (bsolo_lpr-v2) R 29097 31399 31398 0 -1 0 107329 0 0 0 45669 334 0 0 25 0 1 0 895340650 70672384 16408 4294967295 134512640 134716908 3221224576 3221223216 134543108 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+470.005 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29155
Raw data (stat): 29098 (bsolo_lpr-v2) R 29097 31399 31398 0 -1 0 107329 0 0 0 46669 334 0 0 25 0 1 0 895340650 70672384 16408 4294967295 134512640 134716908 3221224576 3221223116 134539237 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+480.005 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29155
Raw data (stat): 29098 (bsolo_lpr-v2) R 29097 31399 31398 0 -1 0 107329 0 0 0 47669 335 0 0 25 0 1 0 895340650 70672384 16408 4294967295 134512640 134716908 3221224576 3221223208 134698385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+490.005 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29155
Raw data (stat): 29098 (bsolo_lpr-v2) R 29097 31399 31398 0 -1 0 107329 0 0 0 48668 336 0 0 25 0 1 0 895340650 70672384 16408 4294967295 134512640 134716908 3221224576 3221223108 134543025 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+500.005 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29155
Raw data (stat): 29098 (bsolo_lpr-v2) R 29097 31399 31398 0 -1 0 107329 0 0 0 49667 337 0 0 25 0 1 0 895340650 70672384 16408 4294967295 134512640 134716908 3221224576 3221223348 134529109 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+510.006 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29155
Raw data (stat): 29098 (bsolo_lpr-v2) R 29097 31399 31398 0 -1 0 107329 0 0 0 50667 338 0 0 25 0 1 0 895340650 70672384 16408 4294967295 134512640 134716908 3221224576 3221223180 134536766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+520.005 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29155
Raw data (stat): 29098 (bsolo_lpr-v2) R 29097 31399 31398 0 -1 0 107329 0 0 0 51666 338 0 0 25 0 1 0 895340650 70672384 16408 4294967295 134512640 134716908 3221224576 3221223084 134535891 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+530.005 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29155
Raw data (stat): 29098 (bsolo_lpr-v2) R 29097 31399 31398 0 -1 0 107329 0 0 0 52665 339 0 0 25 0 1 0 895340650 70672384 16408 4294967295 134512640 134716908 3221224576 3221223168 134539374 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+540.006 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29155
Raw data (stat): 29098 (bsolo_lpr-v2) R 29097 31399 31398 0 -1 0 107329 0 0 0 53664 341 0 0 25 0 1 0 895340650 70672384 16408 4294967295 134512640 134716908 3221224576 3221223216 134543110 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+550.005 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29155
Raw data (stat): 29098 (bsolo_lpr-v2) R 29097 31399 31398 0 -1 0 107329 0 0 0 54662 343 0 0 25 0 1 0 895340650 70672384 16408 4294967295 134512640 134716908 3221224576 3221223184 134549327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+560.005 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29155
Raw data (stat): 29098 (bsolo_lpr-v2) R 29097 31399 31398 0 -1 0 107329 0 0 0 55662 343 0 0 25 0 1 0 895340650 70672384 16408 4294967295 134512640 134716908 3221224576 3221223184 134543707 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+570.005 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29155
Raw data (stat): 29098 (bsolo_lpr-v2) R 29097 31399 31398 0 -1 0 107329 0 0 0 56660 345 0 0 25 0 1 0 895340650 70672384 16408 4294967295 134512640 134716908 3221224576 3221223168 134549809 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+580.004 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29155
Raw data (stat): 29098 (bsolo_lpr-v2) R 29097 31399 31398 0 -1 0 107329 0 0 0 57660 346 0 0 25 0 1 0 895340650 70672384 16408 4294967295 134512640 134716908 3221224576 3221223280 134528650 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+590.005 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29155
Raw data (stat): 29098 (bsolo_lpr-v2) R 29097 31399 31398 0 -1 0 107329 0 0 0 58659 346 0 0 25 0 1 0 895340650 70672384 16408 4294967295 134512640 134716908 3221224576 3221223184 134549480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+600.004 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29155
Raw data (stat): 29098 (bsolo_lpr-v2) R 29097 31399 31398 0 -1 0 107329 0 0 0 59659 347 0 0 25 0 1 0 895340650 70672384 16408 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+610.004 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29155
Raw data (stat): 29098 (bsolo_lpr-v2) R 29097 31399 31398 0 -1 0 107329 0 0 0 60658 348 0 0 25 0 1 0 895340650 70672384 16408 4294967295 134512640 134716908 3221224576 3221223204 134698632 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+620.004 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29155
Raw data (stat): 29098 (bsolo_lpr-v2) R 29097 31399 31398 0 -1 0 107329 0 0 0 61658 348 0 0 25 0 1 0 895340650 70672384 16408 4294967295 134512640 134716908 3221224576 3221223252 134551958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+630.004 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29155
Raw data (stat): 29098 (bsolo_lpr-v2) R 29097 31399 31398 0 -1 0 107329 0 0 0 62658 349 0 0 25 0 1 0 895340650 70672384 16408 4294967295 134512640 134716908 3221224576 3221223184 134549480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+640.004 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29155
Raw data (stat): 29098 (bsolo_lpr-v2) R 29097 31399 31398 0 -1 0 107329 0 0 0 63657 349 0 0 25 0 1 0 895340650 70672384 16408 4294967295 134512640 134716908 3221224576 3221223196 1077377137 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+650.004 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29155
Raw data (stat): 29098 (bsolo_lpr-v2) R 29097 31399 31398 0 -1 0 107329 0 0 0 64656 351 0 0 25 0 1 0 895340650 70672384 16408 4294967295 134512640 134716908 3221224576 3221223312 134591875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+660.004 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29155
Raw data (stat): 29098 (bsolo_lpr-v2) R 29097 31399 31398 0 -1 0 107329 0 0 0 65656 351 0 0 25 0 1 0 895340650 70672384 16408 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+670.004 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29155
Raw data (stat): 29098 (bsolo_lpr-v2) R 29097 31399 31398 0 -1 0 107329 0 0 0 66654 353 0 0 25 0 1 0 895340650 70672384 16408 4294967295 134512640 134716908 3221224576 3221223152 134549457 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+680.003 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29155
Raw data (stat): 29098 (bsolo_lpr-v2) R 29097 31399 31398 0 -1 0 107329 0 0 0 67654 353 0 0 25 0 1 0 895340650 70672384 16408 4294967295 134512640 134716908 3221224576 3221223184 134549327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+690.004 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29155
Raw data (stat): 29098 (bsolo_lpr-v2) R 29097 31399 31398 0 -1 0 107329 0 0 0 68654 354 0 0 25 0 1 0 895340650 70672384 16408 4294967295 134512640 134716908 3221224576 3221223180 134536766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+700.004 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29155
Raw data (stat): 29098 (bsolo_lpr-v2) R 29097 31399 31398 0 -1 0 107329 0 0 0 69653 354 0 0 25 0 1 0 895340650 70672384 16408 4294967295 134512640 134716908 3221224576 3221223332 134588016 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+710.004 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29155
Raw data (stat): 29098 (bsolo_lpr-v2) R 29097 31399 31398 0 -1 0 107329 0 0 0 70653 355 0 0 25 0 1 0 895340650 70672384 16408 4294967295 134512640 134716908 3221224576 3221223400 134590243 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+720.004 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29155
Raw data (stat): 29098 (bsolo_lpr-v2) R 29097 31399 31398 0 -1 0 107329 0 0 0 71652 356 0 0 25 0 1 0 895340650 70672384 16408 4294967295 134512640 134716908 3221224576 3221223184 134549467 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+730.004 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29155
Raw data (stat): 29098 (bsolo_lpr-v2) R 29097 31399 31398 0 -1 0 107329 0 0 0 72651 357 0 0 25 0 1 0 895340650 70672384 16408 4294967295 134512640 134716908 3221224576 3221223332 134655223 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+740.004 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29155
Raw data (stat): 29098 (bsolo_lpr-v2) R 29097 31399 31398 0 -1 0 107329 0 0 0 73650 358 0 0 25 0 1 0 895340650 70672384 16408 4294967295 134512640 134716908 3221224576 3221223204 134551958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+750.003 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29155
Raw data (stat): 29098 (bsolo_lpr-v2) R 29097 31399 31398 0 -1 0 107329 0 0 0 74650 359 0 0 25 0 1 0 895340650 70672384 16408 4294967295 134512640 134716908 3221224576 3221223296 134535795 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+760.004 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29155
Raw data (stat): 29098 (bsolo_lpr-v2) R 29097 31399 31398 0 -1 0 107329 0 0 0 75649 360 0 0 25 0 1 0 895340650 70672384 16408 4294967295 134512640 134716908 3221224576 3221223220 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+770.004 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29155
Raw data (stat): 29098 (bsolo_lpr-v2) R 29097 31399 31398 0 -1 0 107329 0 0 0 76648 361 0 0 25 0 1 0 895340650 70672384 16408 4294967295 134512640 134716908 3221224576 3221223084 134535885 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+780.004 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29155
Raw data (stat): 29098 (bsolo_lpr-v2) R 29097 31399 31398 0 -1 0 107329 0 0 0 77648 361 0 0 25 0 1 0 895340650 70672384 16408 4294967295 134512640 134716908 3221224576 3221223360 134529174 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+790.004 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29155
Raw data (stat): 29098 (bsolo_lpr-v2) R 29097 31399 31398 0 -1 0 107329 0 0 0 78647 363 0 0 25 0 1 0 895340650 70672384 16408 4294967295 134512640 134716908 3221224576 3221223240 134543600 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+800.004 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29155
Raw data (stat): 29098 (bsolo_lpr-v2) R 29097 31399 31398 0 -1 0 107329 0 0 0 79645 364 0 0 25 0 1 0 895340650 70672384 16408 4294967295 134512640 134716908 3221224576 3221223184 134548617 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+810.004 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29155
Raw data (stat): 29098 (bsolo_lpr-v2) R 29097 31399 31398 0 -1 0 107329 0 0 0 80645 364 0 0 25 0 1 0 895340650 70672384 16408 4294967295 134512640 134716908 3221224576 3221223336 134588015 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+820.003 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29155
Raw data (stat): 29098 (bsolo_lpr-v2) R 29097 31399 31398 0 -1 0 107329 0 0 0 81644 365 0 0 25 0 1 0 895340650 70672384 16408 4294967295 134512640 134716908 3221224576 3221223160 134543589 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+830.004 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29155
Raw data (stat): 29098 (bsolo_lpr-v2) R 29097 31399 31398 0 -1 0 107329 0 0 0 82644 366 0 0 25 0 1 0 895340650 70672384 16408 4294967295 134512640 134716908 3221224576 3221223096 134535987 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+840.004 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29155
Raw data (stat): 29098 (bsolo_lpr-v2) R 29097 31399 31398 0 -1 0 107329 0 0 0 83644 366 0 0 25 0 1 0 895340650 70672384 16408 4294967295 134512640 134716908 3221224576 3221223228 134542288 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+850.003 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29155
Raw data (stat): 29098 (bsolo_lpr-v2) R 29097 31399 31398 0 -1 0 107329 0 0 0 84643 368 0 0 25 0 1 0 895340650 70672384 16408 4294967295 134512640 134716908 3221224576 3221223216 134542350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+860.004 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29155
Raw data (stat): 29098 (bsolo_lpr-v2) R 29097 31399 31398 0 -1 0 107329 0 0 0 85642 369 0 0 25 0 1 0 895340650 70672384 16408 4294967295 134512640 134716908 3221224576 3221223208 134523385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+870.004 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29155
Raw data (stat): 29098 (bsolo_lpr-v2) R 29097 31399 31398 0 -1 0 107329 0 0 0 86641 370 0 0 25 0 1 0 895340650 70672384 16408 4294967295 134512640 134716908 3221224576 3221223204 1077374210 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+880.004 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29155
Raw data (stat): 29098 (bsolo_lpr-v2) R 29097 31399 31398 0 -1 0 107329 0 0 0 87640 370 0 0 25 0 1 0 895340650 70672384 16408 4294967295 134512640 134716908 3221224576 3221223180 134536766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+890.004 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29155
Raw data (stat): 29098 (bsolo_lpr-v2) R 29097 31399 31398 0 -1 0 107329 0 0 0 88640 371 0 0 25 0 1 0 895340650 70672384 16408 4294967295 134512640 134716908 3221224576 3221223116 134539235 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+900.004 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29155
Raw data (stat): 29098 (bsolo_lpr-v2) R 29097 31399 31398 0 -1 0 107329 0 0 0 89640 371 0 0 25 0 1 0 895340650 70672384 16408 4294967295 134512640 134716908 3221224576 3221223048 134613981 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+910.004 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29155
Raw data (stat): 29098 (bsolo_lpr-v2) R 29097 31399 31398 0 -1 0 107329 0 0 0 90639 373 0 0 25 0 1 0 895340650 70672384 16408 4294967295 134512640 134716908 3221224576 3221223336 134543557 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+920.003 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29155
Raw data (stat): 29098 (bsolo_lpr-v2) R 29097 31399 31398 0 -1 0 107329 0 0 0 91639 373 0 0 25 0 1 0 895340650 70672384 16408 4294967295 134512640 134716908 3221224576 3221223312 134558529 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+930.003 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29155
Raw data (stat): 29098 (bsolo_lpr-v2) R 29097 31399 31398 0 -1 0 107329 0 0 0 92638 374 0 0 25 0 1 0 895340650 70672384 16408 4294967295 134512640 134716908 3221224576 3221223264 134542848 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+940.003 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29155
Raw data (stat): 29098 (bsolo_lpr-v2) R 29097 31399 31398 0 -1 0 107329 0 0 0 93637 374 0 0 25 0 1 0 895340650 70672384 16408 4294967295 134512640 134716908 3221224576 3221223280 134528410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+950.003 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29155
Raw data (stat): 29098 (bsolo_lpr-v2) R 29097 31399 31398 0 -1 0 107329 0 0 0 94636 376 0 0 25 0 1 0 895340650 70672384 16408 4294967295 134512640 134716908 3221224576 3221223312 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+960.003 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29155
Raw data (stat): 29098 (bsolo_lpr-v2) R 29097 31399 31398 0 -1 0 107329 0 0 0 95636 376 0 0 25 0 1 0 895340650 70672384 16408 4294967295 134512640 134716908 3221224576 3221223272 134552681 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+970.004 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29155
Raw data (stat): 29098 (bsolo_lpr-v2) R 29097 31399 31398 0 -1 0 107329 0 0 0 96635 377 0 0 25 0 1 0 895340650 70672384 16408 4294967295 134512640 134716908 3221224576 3221223320 134675289 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+980.004 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29155
Raw data (stat): 29098 (bsolo_lpr-v2) R 29097 31399 31398 0 -1 0 107329 0 0 0 97635 378 0 0 25 0 1 0 895340650 70672384 16408 4294967295 134512640 134716908 3221224576 3221223196 134613982 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+990.003 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29155
Raw data (stat): 29098 (bsolo_lpr-v2) R 29097 31399 31398 0 -1 0 107329 0 0 0 98634 379 0 0 25 0 1 0 895340650 70672384 16408 4294967295 134512640 134716908 3221224576 3221223136 134542350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+1000 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29155
Raw data (stat): 29098 (bsolo_lpr-v2) R 29097 31399 31398 0 -1 0 107329 0 0 0 99633 380 0 0 25 0 1 0 895340650 70672384 16408 4294967295 134512640 134716908 3221224576 3221223264 134543698 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+1010 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29155
Raw data (stat): 29098 (bsolo_lpr-v2) R 29097 31399 31398 0 -1 0 107329 0 0 0 100633 380 0 0 25 0 1 0 895340650 70672384 16408 4294967295 134512640 134716908 3221224576 3221223168 134549544 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+1020 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29155
Raw data (stat): 29098 (bsolo_lpr-v2) R 29097 31399 31398 0 -1 0 107329 0 0 0 101632 381 0 0 25 0 1 0 895340650 70672384 16408 4294967295 134512640 134716908 3221224576 3221223360 134529091 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+1030 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29155
Raw data (stat): 29098 (bsolo_lpr-v2) R 29097 31399 31398 0 -1 0 107329 0 0 0 102631 382 0 0 25 0 1 0 895340650 70672384 16408 4294967295 134512640 134716908 3221224576 3221223136 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+1040 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29155
Raw data (stat): 29098 (bsolo_lpr-v2) R 29097 31399 31398 0 -1 0 107329 0 0 0 103631 383 0 0 25 0 1 0 895340650 70672384 16408 4294967295 134512640 134716908 3221224576 3221223344 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+1050 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29155
Raw data (stat): 29098 (bsolo_lpr-v2) R 29097 31399 31398 0 -1 0 107329 0 0 0 104631 383 0 0 25 0 1 0 895340650 70672384 16408 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+1060 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29155
Raw data (stat): 29098 (bsolo_lpr-v2) R 29097 31399 31398 0 -1 0 107329 0 0 0 105630 384 0 0 25 0 1 0 895340650 70672384 16408 4294967295 134512640 134716908 3221224576 3221223344 134592104 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+1070 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29155
Raw data (stat): 29098 (bsolo_lpr-v2) R 29097 31399 31398 0 -1 0 107329 0 0 0 106629 385 0 0 25 0 1 0 895340650 70672384 16408 4294967295 134512640 134716908 3221224576 3221223280 134528650 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+1080 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29155
Raw data (stat): 29098 (bsolo_lpr-v2) R 29097 31399 31398 0 -1 0 107329 0 0 0 107628 386 0 0 25 0 1 0 895340650 70672384 16408 4294967295 134512640 134716908 3221224576 3221223072 134535433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+1090 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29155
Raw data (stat): 29098 (bsolo_lpr-v2) R 29097 31399 31398 0 -1 0 107329 0 0 0 108628 387 0 0 25 0 1 0 895340650 70672384 16408 4294967295 134512640 134716908 3221224576 3221223084 134535956 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+1100 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29155
Raw data (stat): 29098 (bsolo_lpr-v2) R 29097 31399 31398 0 -1 0 107341 0 0 0 109627 388 0 0 25 0 1 0 895340650 70807552 16420 4294967295 134512640 134716908 3221224576 3221223252 134551958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17287 16420 1111 63 0 17224 0
vsize: 69148
[startup+1110 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29155
Raw data (stat): 29098 (bsolo_lpr-v2) R 29097 31399 31398 0 -1 0 107341 0 0 0 110625 389 0 0 25 0 1 0 895340650 70807552 16420 4294967295 134512640 134716908 3221224576 3221223084 134535903 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17287 16420 1111 63 0 17224 0
vsize: 69148
[startup+1120 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29155
Raw data (stat): 29098 (bsolo_lpr-v2) R 29097 31399 31398 0 -1 0 107373 0 0 0 111624 390 0 0 25 0 1 0 895340650 70942720 16452 4294967295 134512640 134716908 3221224576 3221223232 134536730 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17320 16452 1111 63 0 17257 0
vsize: 69280
[startup+1130 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29155
Raw data (stat): 29098 (bsolo_lpr-v2) R 29097 31399 31398 0 -1 0 107379 0 0 0 112624 391 0 0 25 0 1 0 895340650 70942720 16458 4294967295 134512640 134716908 3221224576 3221223184 134549318 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17320 16458 1111 63 0 17257 0
vsize: 69280
[startup+1140 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29155
Raw data (stat): 29098 (bsolo_lpr-v2) R 29097 31399 31398 0 -1 0 107379 0 0 0 113623 392 0 0 25 0 1 0 895340650 70942720 16458 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17320 16458 1111 63 0 17257 0
vsize: 69280
[startup+1150 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29155
Raw data (stat): 29098 (bsolo_lpr-v2) R 29097 31399 31398 0 -1 0 107387 0 0 0 114622 393 0 0 25 0 1 0 895340650 70942720 16466 4294967295 134512640 134716908 3221224576 3221223280 134528617 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17320 16466 1111 63 0 17257 0
vsize: 69280
[startup+1160 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29155
Raw data (stat): 29098 (bsolo_lpr-v2) R 29097 31399 31398 0 -1 0 107418 0 0 0 115622 394 0 0 25 0 1 0 895340650 71045120 16497 4294967295 134512640 134716908 3221224576 3221223184 134549305 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17345 16497 1111 63 0 17282 0
vsize: 69380
[startup+1170 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29155
Raw data (stat): 29098 (bsolo_lpr-v2) R 29097 31399 31398 0 -1 0 107459 0 0 0 116621 395 0 0 25 0 1 0 895340650 71315456 16538 4294967295 134512640 134716908 3221224576 3221223312 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17411 16538 1111 63 0 17348 0
vsize: 69644
[startup+1174.89 s]
Raw data (loadavg): 1.00 1.00 0.92 1/53 29155
Raw data (stat): 29098 (bsolo_lpr-v2) R 29097 31399 31398 0 -1 0 107459 0 0 0 116621 395 0 0 25 0 1 0 895340650 71315456 16538 4294967295 134512640 134716908 3221224576 3221223312 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17411 16538 1111 63 0 17348 0
vsize: 0

Child status: 0
Real time (s): 1174.89
CPU time (s): 1175.05
CPU user time (s): 1171.06
CPU system time (s): 3.98639
CPU usage (%): 100.014
Max. virtual memory (Kb): 71912
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####