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/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-railway_8_1_0.opb
MD5SUM	9689869ef48b5a0c26d142f61d149c48
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	51200
Optimality of the best value was proved	NO
Number of terms in the objective function	123
Biggest coefficient in the objective function	524288
Number of bits for the biggest coefficient in the objective function	20
Sum of the numbers in the objective function	1061759
Number of bits of the sum of numbers in the objective function	21
Biggest number in a constraint	128000000
Number of bits of the biggest number in a constraint	27
Biggest sum of numbers in a constraint	268469758
Number of bits of the biggest sum of numbers	29
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1189.08
Number of variables	17883
Total number of constraints	4322
Number of constraints which are clauses	426
Number of constraints which are cardinality constraints (but not clauses)	1177
Number of constraints which are nor clauses,nor cardinality constraints	2719
Minimum length of a constraint	1
Maximum length of a constraint	55
Trace number 40532

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-06-08 13:36:52 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28598 boxname=wulflinc6 idbench=1554 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  9689869ef48b5a0c26d142f61d149c48  /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-railway_8_1_0.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-railway_8_1_0.opb
IDLAUNCH: 28598
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
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.042
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:        608064 kB
Buffers:         28916 kB
Cached:         376036 kB
SwapCached:        940 kB
Active:          38340 kB
Inactive:       368716 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        607812 kB
SwapTotal:     2097136 kB
SwapFree:      2095212 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5012 kB
Slab:            13824 kB
Committed_AS:    63724 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 13:56:28 (client local time) WITH STATUS 0 IN 1175.15 SECONDS
stats: 28598 7 1175.15 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 17883 variables and 3146 constraints.
c After prepocess the problem consists of 17825 variables and 3144 constraints.
c preprocess terminated 30.097 s
c Initial Lower Bound: 50816
c Lower Bound Elapsed time: 6.6435
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.84 0.94 0.90 2/54 31510
Raw data (stat): 31510 (runsolver) R 31509 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 902045207 884736 94 4294967295 134512640 135332820 3221224448 3221219628 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0017 s]
Raw data (loadavg): 0.86 0.94 0.90 2/54 31510
Raw data (stat): 31510 (bsolo_lpr-v2) R 31509 25568 25567 0 -1 0 40109 0 0 0 908 89 0 0 25 0 1 0 902045207 167714816 39987 4294967295 134512640 134716908 3221224560 3221222892 134535903 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40946 39987 1111 63 0 40883 0
vsize: 163784
[startup+20.0028 s]
Raw data (loadavg): 0.88 0.94 0.90 2/54 31510
Raw data (stat): 31510 (bsolo_lpr-v2) R 31509 25568 25567 0 -1 0 40109 0 0 0 1908 89 0 0 25 0 1 0 902045207 167714816 39987 4294967295 134512640 134716908 3221224560 3221223232 134627203 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40946 39987 1111 63 0 40883 0
vsize: 163784
[startup+30.0039 s]
Raw data (loadavg): 0.90 0.94 0.90 2/54 31510
Raw data (stat): 31510 (bsolo_lpr-v2) R 31509 25568 25567 0 -1 0 40112 0 0 0 2908 90 0 0 25 0 1 0 902045207 167714816 39990 4294967295 134512640 134716908 3221224560 3221223424 134613061 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40946 39990 1111 63 0 40883 0
vsize: 163784
[startup+40.0053 s]
Raw data (loadavg): 0.91 0.94 0.90 2/54 31510
Raw data (stat): 31510 (bsolo_lpr-v2) R 31509 25568 25567 0 -1 0 40397 0 0 0 3907 91 0 0 25 0 1 0 902045207 168792064 40275 4294967295 134512640 134716908 3221224560 3221222224 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41209 40275 1111 63 0 41146 0
vsize: 164836
[startup+50.0063 s]
Raw data (loadavg): 0.93 0.94 0.90 2/54 31510
Raw data (stat): 31510 (bsolo_lpr-v2) R 31509 25568 25567 0 -1 0 42901 0 0 0 4900 98 0 0 25 0 1 0 902045207 173907968 41381 4294967295 134512640 134716908 3221224560 3221220800 1075113502 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42458 41381 1111 63 0 42395 0
vsize: 169832
[startup+60.0074 s]
Raw data (loadavg): 0.94 0.95 0.90 2/54 31510
Raw data (stat): 31510 (bsolo_lpr-v2) R 31509 25568 25567 0 -1 0 56923 0 0 0 5870 129 0 0 25 0 1 0 902045207 169320448 40522 4294967295 134512640 134716908 3221224560 3221223360 134597769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41338 40522 1111 63 0 41275 0
vsize: 165352
[startup+70.0085 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 31510
Raw data (stat): 31510 (bsolo_lpr-v2) R 31509 25568 25567 0 -1 0 56924 0 0 0 6870 129 0 0 25 0 1 0 902045207 169320448 40523 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41338 40523 1111 63 0 41275 0
vsize: 165352
[startup+80.0097 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 31510
Raw data (stat): 31510 (bsolo_lpr-v2) R 31509 25568 25567 0 -1 0 56926 0 0 0 7870 129 0 0 25 0 1 0 902045207 169320448 40525 4294967295 134512640 134716908 3221224560 3221223336 134613555 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41338 40525 1111 63 0 41275 0
vsize: 165352
[startup+90.0098 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 31510
Raw data (stat): 31510 (bsolo_lpr-v2) R 31509 25568 25567 0 -1 0 56926 0 0 0 8869 130 0 0 25 0 1 0 902045207 169320448 40525 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41338 40525 1111 63 0 41275 0
vsize: 165352
[startup+100.01 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 31510
Raw data (stat): 31510 (bsolo_lpr-v2) R 31509 25568 25567 0 -1 0 56928 0 0 0 9868 131 0 0 25 0 1 0 902045207 169320448 40527 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41338 40527 1111 63 0 41275 0
vsize: 165352
[startup+110.01 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 31510
Raw data (stat): 31510 (bsolo_lpr-v2) R 31509 25568 25567 0 -1 0 56928 0 0 0 10868 131 0 0 25 0 1 0 902045207 169320448 40527 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41338 40527 1111 63 0 41275 0
vsize: 165352
[startup+120.01 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 31510
Raw data (stat): 31510 (bsolo_lpr-v2) R 31509 25568 25567 0 -1 0 56930 0 0 0 11868 132 0 0 25 0 1 0 902045207 169320448 40529 4294967295 134512640 134716908 3221224560 3221223336 134613555 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41338 40529 1111 63 0 41275 0
vsize: 165352
[startup+130.01 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 31510
Raw data (stat): 31510 (bsolo_lpr-v2) R 31509 25568 25567 0 -1 0 56932 0 0 0 12868 132 0 0 25 0 1 0 902045207 169320448 40531 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41338 40531 1111 63 0 41275 0
vsize: 165352
[startup+140.011 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 31510
Raw data (stat): 31510 (bsolo_lpr-v2) R 31509 25568 25567 0 -1 0 56932 0 0 0 13867 133 0 0 25 0 1 0 902045207 169320448 40531 4294967295 134512640 134716908 3221224560 3221223360 134597769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41338 40531 1111 63 0 41275 0
vsize: 165352
[startup+150.011 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 31510
Raw data (stat): 31510 (bsolo_lpr-v2) R 31509 25568 25567 0 -1 0 56934 0 0 0 14867 133 0 0 25 0 1 0 902045207 169320448 40533 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41338 40533 1111 63 0 41275 0
vsize: 165352
[startup+160.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 31510
Raw data (stat): 31510 (bsolo_lpr-v2) R 31509 25568 25567 0 -1 0 56934 0 0 0 15867 134 0 0 25 0 1 0 902045207 169320448 40533 4294967295 134512640 134716908 3221224560 3221223336 134613555 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41338 40533 1111 63 0 41275 0
vsize: 165352
[startup+170.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 31510
Raw data (stat): 31510 (bsolo_lpr-v2) R 31509 25568 25567 0 -1 0 56934 0 0 0 16866 134 0 0 25 0 1 0 902045207 169320448 40533 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41338 40533 1111 63 0 41275 0
vsize: 165352
[startup+180.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 31510
Raw data (stat): 31510 (bsolo_lpr-v2) R 31509 25568 25567 0 -1 0 56934 0 0 0 17866 135 0 0 25 0 1 0 902045207 169320448 40533 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41338 40533 1111 63 0 41275 0
vsize: 165352
[startup+190.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 31510
Raw data (stat): 31510 (bsolo_lpr-v2) R 31509 25568 25567 0 -1 0 56934 0 0 0 18866 135 0 0 25 0 1 0 902045207 169320448 40533 4294967295 134512640 134716908 3221224560 3221223360 134597769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41338 40533 1111 63 0 41275 0
vsize: 165352
[startup+200.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 31510
Raw data (stat): 31510 (bsolo_lpr-v2) R 31509 25568 25567 0 -1 0 56934 0 0 0 19865 136 0 0 25 0 1 0 902045207 169320448 40533 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41338 40533 1111 63 0 41275 0
vsize: 165352
[startup+210.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 31510
Raw data (stat): 31510 (bsolo_lpr-v2) R 31509 25568 25567 0 -1 0 56934 0 0 0 20865 137 0 0 25 0 1 0 902045207 169320448 40533 4294967295 134512640 134716908 3221224560 3221223360 134597769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41338 40533 1111 63 0 41275 0
vsize: 165352
[startup+220.013 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 31510
Raw data (stat): 31510 (bsolo_lpr-v2) R 31509 25568 25567 0 -1 0 56934 0 0 0 21865 137 0 0 25 0 1 0 902045207 169320448 40533 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41338 40533 1111 63 0 41275 0
vsize: 165352
[startup+230.013 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 31510
Raw data (stat): 31510 (bsolo_lpr-v2) R 31509 25568 25567 0 -1 0 56934 0 0 0 22865 137 0 0 25 0 1 0 902045207 169320448 40533 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41338 40533 1111 63 0 41275 0
vsize: 165352
[startup+240.013 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 31510
Raw data (stat): 31510 (bsolo_lpr-v2) R 31509 25568 25567 0 -1 0 56934 0 0 0 23865 137 0 0 25 0 1 0 902045207 169320448 40533 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41338 40533 1111 63 0 41275 0
vsize: 165352
[startup+250.013 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 31510
Raw data (stat): 31510 (bsolo_lpr-v2) R 31509 25568 25567 0 -1 0 56934 0 0 0 24865 138 0 0 25 0 1 0 902045207 169320448 40533 4294967295 134512640 134716908 3221224560 3221223324 134613559 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41338 40533 1111 63 0 41275 0
vsize: 165352
[startup+260.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31510
Raw data (stat): 31510 (bsolo_lpr-v2) R 31509 25568 25567 0 -1 0 56934 0 0 0 25865 138 0 0 25 0 1 0 902045207 169320448 40533 4294967295 134512640 134716908 3221224560 3221223336 134600364 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41338 40533 1111 63 0 41275 0
vsize: 165352
[startup+270.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31510
Raw data (stat): 31510 (bsolo_lpr-v2) R 31509 25568 25567 0 -1 0 56934 0 0 0 26865 138 0 0 25 0 1 0 902045207 169320448 40533 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41338 40533 1111 63 0 41275 0
vsize: 165352
[startup+280.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31510
Raw data (stat): 31510 (bsolo_lpr-v2) R 31509 25568 25567 0 -1 0 56934 0 0 0 27865 139 0 0 25 0 1 0 902045207 169320448 40533 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41338 40533 1111 63 0 41275 0
vsize: 165352
[startup+290.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31510
Raw data (stat): 31510 (bsolo_lpr-v2) R 31509 25568 25567 0 -1 0 56934 0 0 0 28865 139 0 0 25 0 1 0 902045207 169320448 40533 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41338 40533 1111 63 0 41275 0
vsize: 165352
[startup+300.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31510
Raw data (stat): 31510 (bsolo_lpr-v2) R 31509 25568 25567 0 -1 0 56934 0 0 0 29865 139 0 0 25 0 1 0 902045207 169320448 40533 4294967295 134512640 134716908 3221224560 3221223360 134597733 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41338 40533 1111 63 0 41275 0
vsize: 165352
[startup+310.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31510
Raw data (stat): 31510 (bsolo_lpr-v2) R 31509 25568 25567 0 -1 0 56934 0 0 0 30865 140 0 0 25 0 1 0 902045207 169320448 40533 4294967295 134512640 134716908 3221224560 3221223360 134597769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41338 40533 1111 63 0 41275 0
vsize: 165352
[startup+320.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31510
Raw data (stat): 31510 (bsolo_lpr-v2) R 31509 25568 25567 0 -1 0 56934 0 0 0 31865 140 0 0 25 0 1 0 902045207 169320448 40533 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41338 40533 1111 63 0 41275 0
vsize: 165352
[startup+330.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31510
Raw data (stat): 31510 (bsolo_lpr-v2) R 31509 25568 25567 0 -1 0 56934 0 0 0 32866 140 0 0 25 0 1 0 902045207 169320448 40533 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41338 40533 1111 63 0 41275 0
vsize: 165352
[startup+340.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31510
Raw data (stat): 31510 (bsolo_lpr-v2) R 31509 25568 25567 0 -1 0 56934 0 0 0 33866 141 0 0 25 0 1 0 902045207 169320448 40533 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41338 40533 1111 63 0 41275 0
vsize: 165352
[startup+350.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31510
Raw data (stat): 31510 (bsolo_lpr-v2) R 31509 25568 25567 0 -1 0 56934 0 0 0 34865 141 0 0 25 0 1 0 902045207 169320448 40533 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41338 40533 1111 63 0 41275 0
vsize: 165352
[startup+360.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31510
Raw data (stat): 31510 (bsolo_lpr-v2) R 31509 25568 25567 0 -1 0 56934 0 0 0 35866 141 0 0 25 0 1 0 902045207 169320448 40533 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41338 40533 1111 63 0 41275 0
vsize: 165352
[startup+370.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31510
Raw data (stat): 31510 (bsolo_lpr-v2) R 31509 25568 25567 0 -1 0 56934 0 0 0 36865 142 0 0 25 0 1 0 902045207 169320448 40533 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41338 40533 1111 63 0 41275 0
vsize: 165352
[startup+380.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31510
Raw data (stat): 31510 (bsolo_lpr-v2) R 31509 25568 25567 0 -1 0 56934 0 0 0 37865 142 0 0 25 0 1 0 902045207 169320448 40533 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41338 40533 1111 63 0 41275 0
vsize: 165352
[startup+390.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31510
Raw data (stat): 31510 (bsolo_lpr-v2) R 31509 25568 25567 0 -1 0 56934 0 0 0 38866 142 0 0 25 0 1 0 902045207 169320448 40533 4294967295 134512640 134716908 3221224560 3221223360 134597735 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41338 40533 1111 63 0 41275 0
vsize: 165352
[startup+400.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31510
Raw data (stat): 31510 (bsolo_lpr-v2) R 31509 25568 25567 0 -1 0 56934 0 0 0 39866 143 0 0 25 0 1 0 902045207 169320448 40533 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41338 40533 1111 63 0 41275 0
vsize: 165352
[startup+410.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31510
Raw data (stat): 31510 (bsolo_lpr-v2) R 31509 25568 25567 0 -1 0 56934 0 0 0 40866 143 0 0 25 0 1 0 902045207 169320448 40533 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41338 40533 1111 63 0 41275 0
vsize: 165352
[startup+420.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31510
Raw data (stat): 31510 (bsolo_lpr-v2) R 31509 25568 25567 0 -1 0 56934 0 0 0 41866 143 0 0 25 0 1 0 902045207 169320448 40533 4294967295 134512640 134716908 3221224560 3221223352 134597569 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41338 40533 1111 63 0 41275 0
vsize: 165352
[startup+430.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31510
Raw data (stat): 31510 (bsolo_lpr-v2) R 31509 25568 25567 0 -1 0 56934 0 0 0 42866 144 0 0 25 0 1 0 902045207 169320448 40533 4294967295 134512640 134716908 3221224560 3221223340 134613559 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41338 40533 1111 63 0 41275 0
vsize: 165352
[startup+440.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31510
Raw data (stat): 31510 (bsolo_lpr-v2) R 31509 25568 25567 0 -1 0 56934 0 0 0 43866 144 0 0 25 0 1 0 902045207 169320448 40533 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41338 40533 1111 63 0 41275 0
vsize: 165352
[startup+450.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31510
Raw data (stat): 31510 (bsolo_lpr-v2) R 31509 25568 25567 0 -1 0 56934 0 0 0 44866 144 0 0 25 0 1 0 902045207 169320448 40533 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41338 40533 1111 63 0 41275 0
vsize: 165352
[startup+460.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31510
Raw data (stat): 31510 (bsolo_lpr-v2) R 31509 25568 25567 0 -1 0 56934 0 0 0 45866 144 0 0 25 0 1 0 902045207 169320448 40533 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41338 40533 1111 63 0 41275 0
vsize: 165352
[startup+470.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31510
Raw data (stat): 31510 (bsolo_lpr-v2) R 31509 25568 25567 0 -1 0 56934 0 0 0 46867 144 0 0 25 0 1 0 902045207 169320448 40533 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41338 40533 1111 63 0 41275 0
vsize: 165352
[startup+480.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31510
Raw data (stat): 31510 (bsolo_lpr-v2) R 31509 25568 25567 0 -1 0 56934 0 0 0 47867 144 0 0 25 0 1 0 902045207 169320448 40533 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41338 40533 1111 63 0 41275 0
vsize: 165352
[startup+490.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31510
Raw data (stat): 31510 (bsolo_lpr-v2) R 31509 25568 25567 0 -1 0 56934 0 0 0 48866 145 0 0 25 0 1 0 902045207 169320448 40533 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41338 40533 1111 63 0 41275 0
vsize: 165352
[startup+500.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31510
Raw data (stat): 31510 (bsolo_lpr-v2) R 31509 25568 25567 0 -1 0 56934 0 0 0 49867 145 0 0 25 0 1 0 902045207 169320448 40533 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41338 40533 1111 63 0 41275 0
vsize: 165352
[startup+510.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31510
Raw data (stat): 31510 (bsolo_lpr-v2) R 31509 25568 25567 0 -1 0 57161 0 0 0 50866 146 0 0 25 0 1 0 902045207 170266624 40760 4294967295 134512640 134716908 3221224560 3221223360 134597769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41569 40760 1111 63 0 41506 0
vsize: 166276
[startup+520.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31510
Raw data (stat): 31510 (bsolo_lpr-v2) R 31509 25568 25567 0 -1 0 57681 0 0 0 51864 148 0 0 25 0 1 0 902045207 172429312 41280 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42097 41280 1111 63 0 42034 0
vsize: 168388
[startup+530.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31510
Raw data (stat): 31510 (bsolo_lpr-v2) R 31509 25568 25567 0 -1 0 58194 0 0 0 52863 150 0 0 25 0 1 0 902045207 174592000 41793 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42625 41793 1111 63 0 42562 0
vsize: 170500
[startup+540.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31510
Raw data (stat): 31510 (bsolo_lpr-v2) R 31509 25568 25567 0 -1 0 58718 0 0 0 53861 152 0 0 25 0 1 0 902045207 176754688 42317 4294967295 134512640 134716908 3221224560 3221223344 134585138 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43153 42317 1111 63 0 43090 0
vsize: 172612
[startup+550.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31510
Raw data (stat): 31510 (bsolo_lpr-v2) R 31509 25568 25567 0 -1 0 59236 0 0 0 54860 153 0 0 25 0 1 0 902045207 178782208 42835 4294967295 134512640 134716908 3221224560 3221223336 134613555 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43648 42835 1111 63 0 43585 0
vsize: 174592
[startup+560.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31510
Raw data (stat): 31510 (bsolo_lpr-v2) R 31509 25568 25567 0 -1 0 59757 0 0 0 55859 154 0 0 25 0 1 0 902045207 180944896 43356 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44176 43356 1111 63 0 44113 0
vsize: 176704
[startup+570.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31510
Raw data (stat): 31510 (bsolo_lpr-v2) R 31509 25568 25567 0 -1 0 60283 0 0 0 56858 156 0 0 25 0 1 0 902045207 183123968 43881 4294967295 134512640 134716908 3221224560 3221223128 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44708 43881 1111 63 0 44645 0
vsize: 178832
[startup+580.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31510
Raw data (stat): 31510 (bsolo_lpr-v2) R 31509 25568 25567 0 -1 0 60803 0 0 0 57857 158 0 0 25 0 1 0 902045207 185286656 44401 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45236 44401 1111 63 0 45173 0
vsize: 180944
[startup+590.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31510
Raw data (stat): 31510 (bsolo_lpr-v2) R 31509 25568 25567 0 -1 0 61322 0 0 0 58856 159 0 0 25 0 1 0 902045207 187449344 44920 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45764 44920 1111 63 0 45701 0
vsize: 183056
[startup+600.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31510
Raw data (stat): 31510 (bsolo_lpr-v2) R 31509 25568 25567 0 -1 0 61838 0 0 0 59854 161 0 0 25 0 1 0 902045207 189509632 45436 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46267 45436 1111 63 0 46204 0
vsize: 185068
[startup+610.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31510
Raw data (stat): 31510 (bsolo_lpr-v2) R 31509 25568 25567 0 -1 0 62351 0 0 0 60852 163 0 0 25 0 1 0 902045207 191672320 45949 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46795 45949 1111 63 0 46732 0
vsize: 187180
[startup+620.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31510
Raw data (stat): 31510 (bsolo_lpr-v2) R 31509 25568 25567 0 -1 0 62837 0 0 0 61850 166 0 0 25 0 1 0 902045207 193699840 46435 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47290 46435 1111 63 0 47227 0
vsize: 189160
[startup+630.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31510
Raw data (stat): 31510 (bsolo_lpr-v2) R 31509 25568 25567 0 -1 0 63306 0 0 0 62848 168 0 0 25 0 1 0 902045207 195592192 46904 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47752 46904 1111 63 0 47689 0
vsize: 191008
[startup+640.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31510
Raw data (stat): 31510 (bsolo_lpr-v2) R 31509 25568 25567 0 -1 0 63752 0 0 0 63848 169 0 0 25 0 1 0 902045207 197349376 47350 4294967295 134512640 134716908 3221224560 3221223360 134597779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 48181 47350 1111 63 0 48118 0
vsize: 192724
[startup+650.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31510
Raw data (stat): 31510 (bsolo_lpr-v2) R 31509 25568 25567 0 -1 0 64178 0 0 0 64847 170 0 0 25 0 1 0 902045207 199106560 47776 4294967295 134512640 134716908 3221224560 3221223144 134543652 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 48610 47776 1111 63 0 48547 0
vsize: 194440
[startup+660.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31510
Raw data (stat): 31510 (bsolo_lpr-v2) R 31509 25568 25567 0 -1 0 64592 0 0 0 65846 171 0 0 25 0 1 0 902045207 200863744 48190 4294967295 134512640 134716908 3221224560 3221223360 134597692 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49039 48190 1111 63 0 48976 0
vsize: 196156
[startup+670.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31510
Raw data (stat): 31510 (bsolo_lpr-v2) R 31509 25568 25567 0 -1 0 64996 0 0 0 66844 173 0 0 25 0 1 0 902045207 202485760 48592 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49435 48592 1111 63 0 49372 0
vsize: 197740
[startup+680.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31510
Raw data (stat): 31510 (bsolo_lpr-v2) R 31509 25568 25567 0 -1 0 65382 0 0 0 67844 174 0 0 25 0 1 0 902045207 204107776 48978 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49831 48978 1111 63 0 49768 0
vsize: 199324
[startup+690.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31510
Raw data (stat): 31510 (bsolo_lpr-v2) R 31509 25568 25567 0 -1 0 65760 0 0 0 68843 175 0 0 25 0 1 0 902045207 205594624 49356 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50194 49356 1111 63 0 50131 0
vsize: 200776
[startup+700.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31510
Raw data (stat): 31510 (bsolo_lpr-v2) R 31509 25568 25567 0 -1 0 66121 0 0 0 69842 176 0 0 25 0 1 0 902045207 207081472 49717 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50557 49717 1111 63 0 50494 0
vsize: 202228
[startup+710.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31510
Raw data (stat): 31510 (bsolo_lpr-v2) R 31509 25568 25567 0 -1 0 66471 0 0 0 70841 178 0 0 25 0 1 0 902045207 208568320 50067 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50920 50067 1111 63 0 50857 0
vsize: 203680
[startup+720.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31510
Raw data (stat): 31510 (bsolo_lpr-v2) R 31509 25568 25567 0 -1 0 66814 0 0 0 71841 179 0 0 25 0 1 0 902045207 209920000 50410 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51250 50410 1111 63 0 51187 0
vsize: 205000
[startup+730.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31510
Raw data (stat): 31510 (bsolo_lpr-v2) R 31509 25568 25567 0 -1 0 67154 0 0 0 72840 180 0 0 25 0 1 0 902045207 211271680 50750 4294967295 134512640 134716908 3221224560 3221223200 134613467 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51580 50750 1111 63 0 51517 0
vsize: 206320
[startup+740.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31510
Raw data (stat): 31510 (bsolo_lpr-v2) R 31509 25568 25567 0 -1 0 67484 0 0 0 73839 181 0 0 25 0 1 0 902045207 212623360 51080 4294967295 134512640 134716908 3221224560 3221223128 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51910 51080 1111 63 0 51847 0
vsize: 207640
[startup+750.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31510
Raw data (stat): 31510 (bsolo_lpr-v2) R 31509 25568 25567 0 -1 0 67867 0 0 0 74839 181 0 0 25 0 1 0 902045207 214282240 51455 4294967295 134512640 134716908 3221224560 3221223336 134613529 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52315 51455 1111 63 0 52252 0
vsize: 209260
[startup+760.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31510
Raw data (stat): 31510 (bsolo_lpr-v2) R 31509 25568 25567 0 -1 0 68171 0 0 0 75838 182 0 0 25 0 1 0 902045207 215498752 51759 4294967295 134512640 134716908 3221224560 3221223336 134613555 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52612 51759 1111 63 0 52549 0
vsize: 210448
[startup+770.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31510
Raw data (stat): 31510 (bsolo_lpr-v2) R 31509 25568 25567 0 -1 0 68489 0 0 0 76838 183 0 0 25 0 1 0 902045207 216850432 52077 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52942 52077 1111 63 0 52879 0
vsize: 211768
[startup+780.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31510
Raw data (stat): 31510 (bsolo_lpr-v2) R 31509 25568 25567 0 -1 0 68806 0 0 0 77837 184 0 0 25 0 1 0 902045207 218066944 52394 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 53239 52394 1111 63 0 53176 0
vsize: 212956
[startup+790.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31510
Raw data (stat): 31510 (bsolo_lpr-v2) R 31509 25568 25567 0 -1 0 69120 0 0 0 78836 185 0 0 25 0 1 0 902045207 219422720 52708 4294967295 134512640 134716908 3221224560 3221223360 134597777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 53570 52708 1111 63 0 53507 0
vsize: 214280
[startup+800.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31510
Raw data (stat): 31510 (bsolo_lpr-v2) R 31509 25568 25567 0 -1 0 69445 0 0 0 79836 186 0 0 25 0 1 0 902045207 220774400 53033 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 53900 53033 1111 63 0 53837 0
vsize: 215600
[startup+810.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31510
Raw data (stat): 31510 (bsolo_lpr-v2) R 31509 25568 25567 0 -1 0 69779 0 0 0 80835 188 0 0 25 0 1 0 902045207 222126080 53367 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 54230 53367 1111 63 0 54167 0
vsize: 216920
[startup+820.022 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 31510
Raw data (stat): 31510 (bsolo_lpr-v2) R 31509 25568 25567 0 -1 0 70110 0 0 0 81834 189 0 0 25 0 1 0 902045207 223477760 53698 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 54560 53698 1111 63 0 54497 0
vsize: 218240
[startup+830.022 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 31510
Raw data (stat): 31510 (bsolo_lpr-v2) R 31509 25568 25567 0 -1 0 70461 0 0 0 82833 190 0 0 25 0 1 0 902045207 224968704 54049 4294967295 134512640 134716908 3221224560 3221223360 134597597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 54924 54049 1111 63 0 54861 0
vsize: 219696
[startup+840.022 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 31510
Raw data (stat): 31510 (bsolo_lpr-v2) R 31509 25568 25567 0 -1 0 70819 0 0 0 83833 191 0 0 25 0 1 0 902045207 226320384 54407 4294967295 134512640 134716908 3221224560 3221223360 134597777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 55254 54407 1111 63 0 55191 0
vsize: 221016
[startup+850.022 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 31510
Raw data (stat): 31510 (bsolo_lpr-v2) R 31509 25568 25567 0 -1 0 71185 0 0 0 84832 192 0 0 25 0 1 0 902045207 227942400 54773 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 55650 54773 1111 63 0 55587 0
vsize: 222600
[startup+860.022 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 31510
Raw data (stat): 31510 (bsolo_lpr-v2) R 31509 25568 25567 0 -1 0 71567 0 0 0 85832 192 0 0 25 0 1 0 902045207 229429248 55154 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 56013 55154 1111 63 0 55950 0
vsize: 224052
[startup+870.023 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 31510
Raw data (stat): 31510 (bsolo_lpr-v2) R 31509 25568 25567 0 -1 0 71971 0 0 0 86831 193 0 0 25 0 1 0 902045207 231112704 55552 4294967295 134512640 134716908 3221224560 3221223032 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 56424 55552 1111 63 0 56361 0
vsize: 225696
[startup+880.022 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 31510
Raw data (stat): 31510 (bsolo_lpr-v2) R 31509 25568 25567 0 -1 0 72374 0 0 0 87829 195 0 0 25 0 1 0 902045207 232869888 55955 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 56853 55955 1111 63 0 56790 0
vsize: 227412
[startup+890.023 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 31510
Raw data (stat): 31510 (bsolo_lpr-v2) R 31509 25568 25567 0 -1 0 72798 0 0 0 88828 197 0 0 25 0 1 0 902045207 234491904 56379 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57249 56379 1111 63 0 57186 0
vsize: 228996
[startup+900.023 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 31510
Raw data (stat): 31510 (bsolo_lpr-v2) R 31509 25568 25567 0 -1 0 73240 0 0 0 89827 198 0 0 25 0 1 0 902045207 236396544 56819 4294967295 134512640 134716908 3221224560 3221223336 134600364 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57714 56819 1111 63 0 57651 0
vsize: 230856
[startup+910.023 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 31510
Raw data (stat): 31510 (bsolo_lpr-v2) R 31509 25568 25567 0 -1 0 73699 0 0 0 90826 199 0 0 25 0 1 0 902045207 238288896 57278 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 58176 57278 1111 63 0 58113 0
vsize: 232704
[startup+920.023 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 31510
Raw data (stat): 31510 (bsolo_lpr-v2) R 31509 25568 25567 0 -1 0 74174 0 0 0 91826 201 0 0 25 0 1 0 902045207 240181248 57753 4294967295 134512640 134716908 3221224560 3221223352 134597609 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 58638 57753 1111 63 0 58575 0
vsize: 234552
[startup+930.024 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 31510
Raw data (stat): 31510 (bsolo_lpr-v2) R 31509 25568 25567 0 -1 0 74674 0 0 0 92824 203 0 0 25 0 1 0 902045207 242208768 58253 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59133 58253 1111 63 0 59070 0
vsize: 236532
[startup+940.024 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 31510
Raw data (stat): 31510 (bsolo_lpr-v2) R 31509 25568 25567 0 -1 0 75201 0 0 0 93824 204 0 0 25 0 1 0 902045207 244371456 58780 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59661 58780 1111 63 0 59598 0
vsize: 238644
[startup+950.024 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 31510
Raw data (stat): 31510 (bsolo_lpr-v2) R 31509 25568 25567 0 -1 0 75730 0 0 0 94822 205 0 0 25 0 1 0 902045207 246534144 59309 4294967295 134512640 134716908 3221224560 3221223360 134597777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60189 59309 1111 63 0 60126 0
vsize: 240756
[startup+960.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31510
Raw data (stat): 31510 (bsolo_lpr-v2) R 31509 25568 25567 0 -1 0 76263 0 0 0 95821 207 0 0 25 0 1 0 902045207 248700928 59842 4294967295 134512640 134716908 3221224560 3221223336 134600364 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60718 59842 1111 63 0 60655 0
vsize: 242872
[startup+970.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31510
Raw data (stat): 31510 (bsolo_lpr-v2) R 31509 25568 25567 0 -1 0 76790 0 0 0 96820 208 0 0 25 0 1 0 902045207 250863616 60369 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 61246 60369 1111 63 0 61183 0
vsize: 244984
[startup+980.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31510
Raw data (stat): 31510 (bsolo_lpr-v2) R 31509 25568 25567 0 -1 0 77315 0 0 0 97818 210 0 0 25 0 1 0 902045207 253026304 60894 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 61774 60894 1111 63 0 61711 0
vsize: 247096
[startup+990.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31510
Raw data (stat): 31510 (bsolo_lpr-v2) R 31509 25568 25567 0 -1 0 77857 0 0 0 98816 212 0 0 25 0 1 0 902045207 255328256 61432 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 62336 61432 1111 63 0 62273 0
vsize: 249344
[startup+1000.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31510
Raw data (stat): 31510 (bsolo_lpr-v2) R 31509 25568 25567 0 -1 0 78370 0 0 0 99816 214 0 0 25 0 1 0 902045207 257490944 61945 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 62864 61945 1111 63 0 62801 0
vsize: 251456
[startup+1010.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31510
Raw data (stat): 31510 (bsolo_lpr-v2) R 31509 25568 25567 0 -1 0 78897 0 0 0 100814 215 0 0 25 0 1 0 902045207 259518464 62472 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 63359 62472 1111 63 0 63296 0
vsize: 253436
[startup+1020.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31510
Raw data (stat): 31510 (bsolo_lpr-v2) R 31509 25568 25567 0 -1 0 79424 0 0 0 101813 217 0 0 25 0 1 0 902045207 261681152 62999 4294967295 134512640 134716908 3221224560 3221223232 134543686 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 63887 63000 1111 63 0 63824 0
vsize: 255548
[startup+1030.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31510
Raw data (stat): 31510 (bsolo_lpr-v2) R 31509 25568 25567 0 -1 0 79947 0 0 0 102812 218 0 0 25 0 1 0 902045207 263843840 63522 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 64415 63522 1111 63 0 64352 0
vsize: 257660
[startup+1040.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31510
Raw data (stat): 31510 (bsolo_lpr-v2) R 31509 25568 25567 0 -1 0 80474 0 0 0 103811 219 0 0 25 0 1 0 902045207 266006528 64049 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 64943 64049 1111 63 0 64880 0
vsize: 259772
[startup+1050.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31510
Raw data (stat): 31510 (bsolo_lpr-v2) R 31509 25568 25567 0 -1 0 80998 0 0 0 104810 220 0 0 25 0 1 0 902045207 268169216 64573 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 65471 64573 1111 63 0 65408 0
vsize: 261884
[startup+1060.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31510
Raw data (stat): 31510 (bsolo_lpr-v2) R 31509 25568 25567 0 -1 0 81529 0 0 0 105810 222 0 0 25 0 1 0 902045207 270331904 65104 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 65999 65104 1111 63 0 65936 0
vsize: 263996
[startup+1070.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31510
Raw data (stat): 31510 (bsolo_lpr-v2) R 31509 25568 25567 0 -1 0 82051 0 0 0 106809 223 0 0 25 0 1 0 902045207 272494592 65626 4294967295 134512640 134716908 3221224560 3221223324 134613516 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 66527 65626 1111 63 0 66464 0
vsize: 266108
[startup+1080.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31510
Raw data (stat): 31510 (bsolo_lpr-v2) R 31509 25568 25567 0 -1 0 82580 0 0 0 107807 225 0 0 25 0 1 0 902045207 274657280 66155 4294967295 134512640 134716908 3221224560 3221223320 134613538 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67055 66155 1111 63 0 66992 0
vsize: 268220
[startup+1090.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31510
Raw data (stat): 31510 (bsolo_lpr-v2) R 31509 25568 25567 0 -1 0 83105 0 0 0 108806 227 0 0 25 0 1 0 902045207 276819968 66680 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67583 66680 1111 63 0 67520 0
vsize: 270332
[startup+1100.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31510
Raw data (stat): 31510 (bsolo_lpr-v2) R 31509 25568 25567 0 -1 0 83635 0 0 0 109805 227 0 0 25 0 1 0 902045207 278982656 67210 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 68111 67210 1111 63 0 68048 0
vsize: 272444
[startup+1110.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31510
Raw data (stat): 31510 (bsolo_lpr-v2) R 31509 25568 25567 0 -1 0 84213 0 0 0 110804 229 0 0 25 0 1 0 902045207 281464832 67768 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 68717 67768 1111 63 0 68654 0
vsize: 274868
[startup+1120.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31510
Raw data (stat): 31510 (bsolo_lpr-v2) R 31509 25568 25567 0 -1 0 84739 0 0 0 111803 231 0 0 25 0 1 0 902045207 283627520 68294 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69245 68294 1111 63 0 69182 0
vsize: 276980
[startup+1130.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31510
Raw data (stat): 31510 (bsolo_lpr-v2) R 31509 25568 25567 0 -1 0 85252 0 0 0 112802 232 0 0 25 0 1 0 902045207 285655040 68807 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69740 68807 1111 63 0 69677 0
vsize: 278960
[startup+1140.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31510
Raw data (stat): 31510 (bsolo_lpr-v2) R 31509 25568 25567 0 -1 0 85748 0 0 0 113800 234 0 0 25 0 1 0 902045207 287682560 69303 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70235 69303 1111 63 0 70172 0
vsize: 280940
[startup+1150.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31510
Raw data (stat): 31510 (bsolo_lpr-v2) R 31509 25568 25567 0 -1 0 86235 0 0 0 114800 235 0 0 25 0 1 0 902045207 289710080 69790 4294967295 134512640 134716908 3221224560 3221223360 134597703 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70730 69790 1111 63 0 70667 0
vsize: 282920
[startup+1160.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31510
Raw data (stat): 31510 (bsolo_lpr-v2) R 31509 25568 25567 0 -1 0 86727 0 0 0 115799 236 0 0 25 0 1 0 902045207 291749888 70282 4294967295 134512640 134716908 3221224560 3221223360 134597703 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71228 70282 1111 63 0 71165 0
vsize: 284912
[startup+1170.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31510
Raw data (stat): 31510 (bsolo_lpr-v2) R 31509 25568 25567 0 -1 0 87222 0 0 0 116799 236 0 0 25 0 1 0 902045207 293777408 70777 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71723 70777 1111 63 0 71660 0
vsize: 286892
[startup+1174.82 s]
Raw data (loadavg): 1.00 0.99 0.91 1/53 31510
Raw data (stat): 31510 (bsolo_lpr-v2) R 31509 25568 25567 0 -1 0 87222 0 0 0 116799 236 0 0 25 0 1 0 902045207 293777408 70777 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71723 70777 1111 63 0 71660 0
vsize: 0

Child status: 0
Real time (s): 1174.82
CPU time (s): 1175.15
CPU user time (s): 1172.64
CPU system time (s): 2.50462
CPU usage (%): 100.028
Max. virtual memory (Kb): 286892
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####