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/fctp/normalized-mps-v2-13-7-ran16x16.opb
MD5SUM	9ccd6fd38eec7ec6eedca3a615a280ba
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	1042560
Optimality of the best value was proved	NO
Number of terms in the objective function	5376
Biggest coefficient in the objective function	5242880
Number of bits for the biggest coefficient in the objective function	23
Sum of the numbers in the objective function	1526874453
Number of bits of the sum of numbers in the objective function	31
Biggest number in a constraint	5242880
Number of bits of the biggest number in a constraint	23
Biggest sum of numbers in a constraint	1526874453
Number of bits of the biggest sum of numbers	31
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.06
Number of variables	5376
Total number of constraints	288
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	288
Minimum length of a constraint	21
Maximum length of a constraint	320
Trace number 40464

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-06-08 11:42:40 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28530 boxname=wulflinc6 idbench=1486 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  9ccd6fd38eec7ec6eedca3a615a280ba  /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-ran16x16.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-ran16x16.opb
IDLAUNCH: 28530
/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:        864312 kB
Buffers:         24324 kB
Cached:         124800 kB
SwapCached:        952 kB
Active:          31100 kB
Inactive:       120128 kB
HighTotal:      131008 kB
HighFree:         6132 kB
LowTotal:       903652 kB
LowFree:        858180 kB
SwapTotal:     2097136 kB
SwapFree:      2095200 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5012 kB
Slab:            13476 kB
Committed_AS:    63736 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 12:02:15 (client local time) WITH STATUS 0 IN 1175.05 SECONDS
stats: 28530 7 1175.05 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 5376 variables and 320 constraints.
c After prepocess the problem consists of 2954 variables and 455 constraints.
c preprocess terminated 12.691 s
c Initial Lower Bound: 398903
c Lower Bound Elapsed time: 0.22875
c Use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.03 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.91 0.95 0.90 2/54 30001
Raw data (stat): 30001 (runsolver) R 30000 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 901359883 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+9.99996 s]
Raw data (loadavg): 0.93 0.95 0.90 2/54 30001
Raw data (stat): 30001 (bsolo_lpr-v2) R 30000 25568 25567 0 -1 0 6877 0 0 0 981 16 0 0 25 0 1 0 901359883 31277056 6774 4294967295 134512640 134716908 3221224576 3221223240 134627211 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7636 6774 1111 63 0 7573 0
vsize: 30544
[startup+20 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 30001
Raw data (stat): 30001 (bsolo_lpr-v2) R 30000 25568 25567 0 -1 0 9560 0 0 0 1975 22 0 0 25 0 1 0 901359883 33505280 7441 4294967295 134512640 134716908 3221224576 3221222576 1074918496 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8180 7441 1111 63 0 8117 0
vsize: 32720
[startup+29.9999 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 30001
Raw data (stat): 30001 (bsolo_lpr-v2) R 30000 25568 25567 0 -1 0 12435 0 0 0 2969 28 0 0 25 0 1 0 901359883 33505280 7437 4294967295 134512640 134716908 3221224576 3221222216 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8180 7437 1111 63 0 8117 0
vsize: 32720
[startup+39.9993 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 30001
Raw data (stat): 30001 (bsolo_lpr-v2) R 30000 25568 25567 0 -1 0 15281 0 0 0 3962 36 0 0 25 0 1 0 901359883 33452032 7428 4294967295 134512640 134716908 3221224576 3221221008 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8167 7428 1111 63 0 8104 0
vsize: 32668
[startup+49.9995 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 30001
Raw data (stat): 30001 (bsolo_lpr-v2) R 30000 25568 25567 0 -1 0 18123 0 0 0 4955 43 0 0 25 0 1 0 901359883 33452032 7429 4294967295 134512640 134716908 3221224576 3221221152 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8167 7429 1111 63 0 8104 0
vsize: 32668
[startup+59.9993 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 30001
Raw data (stat): 30001 (bsolo_lpr-v2) R 30000 25568 25567 0 -1 0 20917 0 0 0 5949 50 0 0 25 0 1 0 901359883 33796096 7438 4294967295 134512640 134716908 3221224576 3221222304 1075829526 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8251 7438 1111 63 0 8188 0
vsize: 33004
[startup+69.9998 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 30001
Raw data (stat): 30001 (bsolo_lpr-v2) R 30000 25568 25567 0 -1 0 23860 0 0 0 6941 57 0 0 25 0 1 0 901359883 33452032 7429 4294967295 134512640 134716908 3221224576 3221222792 1074138144 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8167 7429 1111 63 0 8104 0
vsize: 32668
[startup+79.9999 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 30001
Raw data (stat): 30001 (bsolo_lpr-v2) R 30000 25568 25567 0 -1 0 26736 0 0 0 7934 65 0 0 25 0 1 0 901359883 34136064 7531 4294967295 134512640 134716908 3221224576 3221220944 1075894487 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8334 7531 1111 63 0 8271 0
vsize: 33336
[startup+89.9997 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 30001
Raw data (stat): 30001 (bsolo_lpr-v2) R 30000 25568 25567 0 -1 0 29641 0 0 0 8927 72 0 0 25 0 1 0 901359883 33452032 7429 4294967295 134512640 134716908 3221224576 3221223104 134652452 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8167 7429 1111 63 0 8104 0
vsize: 32668
[startup+99.9992 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 30001
Raw data (stat): 30001 (bsolo_lpr-v2) R 30000 25568 25567 0 -1 0 32439 0 0 0 9921 79 0 0 25 0 1 0 901359883 33505280 7433 4294967295 134512640 134716908 3221224576 3221222576 1074918288 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8180 7433 1111 63 0 8117 0
vsize: 32720
[startup+109.999 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 30001
Raw data (stat): 30001 (bsolo_lpr-v2) R 30000 25568 25567 0 -1 0 35352 0 0 0 10915 85 0 0 25 0 1 0 901359883 33783808 7436 4294967295 134512640 134716908 3221224576 3221222304 1075828447 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8248 7437 1111 63 0 8185 0
vsize: 32992
[startup+119.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30001
Raw data (stat): 30001 (bsolo_lpr-v2) R 30000 25568 25567 0 -1 0 38335 0 0 0 11908 92 0 0 25 0 1 0 901359883 34119680 7527 4294967295 134512640 134716908 3221224576 3221220648 1074950210 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8330 7527 1111 63 0 8267 0
vsize: 33320
[startup+129.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30001
Raw data (stat): 30001 (bsolo_lpr-v2) R 30000 25568 25567 0 -1 0 41168 0 0 0 12901 100 0 0 25 0 1 0 901359883 33452032 7429 4294967295 134512640 134716908 3221224576 3221222792 1074138166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8167 7429 1111 63 0 8104 0
vsize: 32668
[startup+139.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30001
Raw data (stat): 30001 (bsolo_lpr-v2) R 30000 25568 25567 0 -1 0 44050 0 0 0 13894 107 0 0 25 0 1 0 901359883 33452032 7429 4294967295 134512640 134716908 3221224576 3221222864 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8167 7429 1111 63 0 8104 0
vsize: 32668
[startup+149.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30001
Raw data (stat): 30001 (bsolo_lpr-v2) R 30000 25568 25567 0 -1 0 46905 0 0 0 14886 115 0 0 25 0 1 0 901359883 33452032 7430 4294967295 134512640 134716908 3221224576 3221222744 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8167 7430 1111 63 0 8104 0
vsize: 32668
[startup+159.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30001
Raw data (stat): 30001 (bsolo_lpr-v2) R 30000 25568 25567 0 -1 0 49738 0 0 0 15879 123 0 0 25 0 1 0 901359883 33452032 7430 4294967295 134512640 134716908 3221224576 3221221448 134543187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8167 7430 1111 63 0 8104 0
vsize: 32668
[startup+169.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30001
Raw data (stat): 30001 (bsolo_lpr-v2) R 30000 25568 25567 0 -1 0 52583 0 0 0 16873 129 0 0 25 0 1 0 901359883 33681408 7477 4294967295 134512640 134716908 3221224576 3221221680 1074138758 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8223 7477 1111 63 0 8160 0
vsize: 32892
[startup+179.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30001
Raw data (stat): 30001 (bsolo_lpr-v2) R 30000 25568 25567 0 -1 0 55258 0 0 0 17865 137 0 0 25 0 1 0 901359883 33452032 7430 4294967295 134512640 134716908 3221224576 3221222864 1074153736 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8167 7430 1111 63 0 8104 0
vsize: 32668
[startup+189.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30001
Raw data (stat): 30001 (bsolo_lpr-v2) R 30000 25568 25567 0 -1 0 57865 0 0 0 18859 143 0 0 25 0 1 0 901359883 33783808 7434 4294967295 134512640 134716908 3221224576 3221222496 1075799685 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8248 7434 1111 63 0 8185 0
vsize: 32992
[startup+199.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30001
Raw data (stat): 30001 (bsolo_lpr-v2) R 30000 25568 25567 0 -1 0 60532 0 0 0 19853 150 0 0 25 0 1 0 901359883 33452032 7430 4294967295 134512640 134716908 3221224576 3221221344 1074153673 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8167 7430 1111 63 0 8104 0
vsize: 32668
[startup+209.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30001
Raw data (stat): 30001 (bsolo_lpr-v2) R 30000 25568 25567 0 -1 0 63197 0 0 0 20846 157 0 0 25 0 1 0 901359883 33452032 7430 4294967295 134512640 134716908 3221224576 3221222864 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8167 7430 1111 63 0 8104 0
vsize: 32668
[startup+219.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30001
Raw data (stat): 30001 (bsolo_lpr-v2) R 30000 25568 25567 0 -1 0 65799 0 0 0 21839 165 0 0 25 0 1 0 901359883 33452032 7430 4294967295 134512640 134716908 3221224576 3221221328 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8167 7430 1111 63 0 8104 0
vsize: 32668
[startup+229.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30001
Raw data (stat): 30001 (bsolo_lpr-v2) R 30000 25568 25567 0 -1 0 68375 0 0 0 22833 171 0 0 25 0 1 0 901359883 33505280 7443 4294967295 134512640 134716908 3221224576 3221223216 134651140 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8180 7443 1111 63 0 8117 0
vsize: 32720
[startup+239.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30001
Raw data (stat): 30001 (bsolo_lpr-v2) R 30000 25568 25567 0 -1 0 70840 0 0 0 23828 177 0 0 25 0 1 0 901359883 33452032 7430 4294967295 134512640 134716908 3221224576 3221221632 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8167 7430 1111 63 0 8104 0
vsize: 32668
[startup+249.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30001
Raw data (stat): 30001 (bsolo_lpr-v2) R 30000 25568 25567 0 -1 0 73363 0 0 0 24821 184 0 0 25 0 1 0 901359883 33452032 7430 4294967295 134512640 134716908 3221224576 3221222824 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8167 7430 1111 63 0 8104 0
vsize: 32668
[startup+259.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30001
Raw data (stat): 30001 (bsolo_lpr-v2) R 30000 25568 25567 0 -1 0 75839 0 0 0 25815 190 0 0 25 0 1 0 901359883 33452032 7430 4294967295 134512640 134716908 3221224576 3221222856 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8167 7430 1111 63 0 8104 0
vsize: 32668
[startup+269.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30001
Raw data (stat): 30001 (bsolo_lpr-v2) R 30000 25568 25567 0 -1 0 78313 0 0 0 26809 196 0 0 25 0 1 0 901359883 33636352 7432 4294967295 134512640 134716908 3221224576 3221222304 1075828224 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8212 7432 1111 63 0 8149 0
vsize: 32848
[startup+279.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30001
Raw data (stat): 30001 (bsolo_lpr-v2) R 30000 25568 25567 0 -1 0 80836 0 0 0 27803 203 0 0 25 0 1 0 901359883 33505280 7443 4294967295 134512640 134716908 3221224576 3221222956 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8180 7443 1111 63 0 8117 0
vsize: 32720
[startup+289.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30001
Raw data (stat): 30001 (bsolo_lpr-v2) R 30000 25568 25567 0 -1 0 83203 0 0 0 28797 209 0 0 25 0 1 0 901359883 33452032 7430 4294967295 134512640 134716908 3221224576 3221222912 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8167 7430 1111 63 0 8104 0
vsize: 32668
[startup+299.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30001
Raw data (stat): 30001 (bsolo_lpr-v2) R 30000 25568 25567 0 -1 0 85669 0 0 0 29791 215 0 0 25 0 1 0 901359883 33452032 7430 4294967295 134512640 134716908 3221224576 3221222776 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8167 7430 1111 63 0 8104 0
vsize: 32668
[startup+309.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30001
Raw data (stat): 30001 (bsolo_lpr-v2) R 30000 25568 25567 0 -1 0 88096 0 0 0 30786 221 0 0 25 0 1 0 901359883 33505280 7443 4294967295 134512640 134716908 3221224576 3221222828 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8180 7443 1111 63 0 8117 0
vsize: 32720
[startup+319.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30001
Raw data (stat): 30001 (bsolo_lpr-v2) R 30000 25568 25567 0 -1 0 90337 0 0 0 31780 226 0 0 25 0 1 0 901359883 33452032 7430 4294967295 134512640 134716908 3221224576 3221222880 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8167 7430 1111 63 0 8104 0
vsize: 32668
[startup+329.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30001
Raw data (stat): 30001 (bsolo_lpr-v2) R 30000 25568 25567 0 -1 0 92749 0 0 0 32775 233 0 0 25 0 1 0 901359883 33640448 7446 4294967295 134512640 134716908 3221224576 3221221520 1074620040 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8213 7446 1111 63 0 8150 0
vsize: 32852
[startup+339.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30001
Raw data (stat): 30001 (bsolo_lpr-v2) R 30000 25568 25567 0 -1 0 95251 0 0 0 33767 240 0 0 25 0 1 0 901359883 33505280 7443 4294967295 134512640 134716908 3221224576 3221221680 1074138636 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8180 7443 1111 63 0 8117 0
vsize: 32720
[startup+349.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30001
Raw data (stat): 30001 (bsolo_lpr-v2) R 30000 25568 25567 0 -1 0 97714 0 0 0 34762 246 0 0 25 0 1 0 901359883 33452032 7430 4294967295 134512640 134716908 3221224576 3221222840 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8167 7430 1111 63 0 8104 0
vsize: 32668
[startup+359.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30001
Raw data (stat): 30001 (bsolo_lpr-v2) R 30000 25568 25567 0 -1 0 100119 0 0 0 35756 252 0 0 25 0 1 0 901359883 33452032 7430 4294967295 134512640 134716908 3221224576 3221222880 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8167 7430 1111 63 0 8104 0
vsize: 32668
[startup+369.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30001
Raw data (stat): 30001 (bsolo_lpr-v2) R 30000 25568 25567 0 -1 0 102580 0 0 0 36750 258 0 0 25 0 1 0 901359883 33452032 7430 4294967295 134512640 134716908 3221224576 3221222928 1074153736 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8167 7430 1111 63 0 8104 0
vsize: 32668
[startup+379.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30001
Raw data (stat): 30001 (bsolo_lpr-v2) R 30000 25568 25567 0 -1 0 104785 0 0 0 37746 263 0 0 25 0 1 0 901359883 33636352 7432 4294967295 134512640 134716908 3221224576 3221222640 1075961758 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8212 7432 1111 63 0 8149 0
vsize: 32848
[startup+389.996 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30001
Raw data (stat): 30001 (bsolo_lpr-v2) R 30000 25568 25567 0 -1 0 106997 0 0 0 38740 269 0 0 25 0 1 0 901359883 33636352 7433 4294967295 134512640 134716908 3221224576 3221222304 1075828447 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8212 7433 1111 63 0 8149 0
vsize: 32848
[startup+399.996 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30001
Raw data (stat): 30001 (bsolo_lpr-v2) R 30000 25568 25567 0 -1 0 109214 0 0 0 39735 274 0 0 25 0 1 0 901359883 33923072 7486 4294967295 134512640 134716908 3221224576 3221220736 1074794578 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8282 7486 1111 63 0 8219 0
vsize: 33128
[startup+409.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30001
Raw data (stat): 30001 (bsolo_lpr-v2) R 30000 25568 25567 0 -1 0 111373 0 0 0 40729 281 0 0 25 0 1 0 901359883 33452032 7431 4294967295 134512640 134716908 3221224576 3221222912 1074153794 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8167 7431 1111 63 0 8104 0
vsize: 32668
[startup+419.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30001
Raw data (stat): 30001 (bsolo_lpr-v2) R 30000 25568 25567 0 -1 0 113458 0 0 0 41723 288 0 0 25 0 1 0 901359883 33452032 7431 4294967295 134512640 134716908 3221224576 3221221824 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8167 7431 1111 63 0 8104 0
vsize: 32668
[startup+429.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30001
Raw data (stat): 30001 (bsolo_lpr-v2) R 30000 25568 25567 0 -1 0 115687 0 0 0 42716 295 0 0 25 0 1 0 901359883 33452032 7431 4294967295 134512640 134716908 3221224576 3221222888 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8167 7431 1111 63 0 8104 0
vsize: 32668
[startup+439.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30001
Raw data (stat): 30001 (bsolo_lpr-v2) R 30000 25568 25567 0 -1 0 117510 0 0 0 43712 299 0 0 25 0 1 0 901359883 33636352 7433 4294967295 134512640 134716908 3221224576 3221222304 1075829526 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8212 7433 1111 63 0 8149 0
vsize: 32848
[startup+449.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30001
Raw data (stat): 30001 (bsolo_lpr-v2) R 30000 25568 25567 0 -1 0 119324 0 0 0 44707 304 0 0 25 0 1 0 901359883 33452032 7431 4294967295 134512640 134716908 3221224576 3221221920 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8167 7431 1111 63 0 8104 0
vsize: 32668
[startup+459.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30001
Raw data (stat): 30001 (bsolo_lpr-v2) R 30000 25568 25567 0 -1 0 121134 0 0 0 45702 310 0 0 25 0 1 0 901359883 33452032 7432 4294967295 134512640 134716908 3221224576 3221222872 1074138166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8167 7432 1111 63 0 8104 0
vsize: 32668
[startup+469.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30001
Raw data (stat): 30001 (bsolo_lpr-v2) R 30000 25568 25567 0 -1 0 122907 0 0 0 46697 315 0 0 25 0 1 0 901359883 33452032 7432 4294967295 134512640 134716908 3221224576 3221222840 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8167 7432 1111 63 0 8104 0
vsize: 32668
[startup+479.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30001
Raw data (stat): 30001 (bsolo_lpr-v2) R 30000 25568 25567 0 -1 0 124642 0 0 0 47691 321 0 0 25 0 1 0 901359883 33452032 7432 4294967295 134512640 134716908 3221224576 3221222928 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8167 7432 1111 63 0 8104 0
vsize: 32668
[startup+489.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30001
Raw data (stat): 30001 (bsolo_lpr-v2) R 30000 25568 25567 0 -1 0 126363 0 0 0 48688 325 0 0 25 0 1 0 901359883 33927168 7471 4294967295 134512640 134716908 3221224576 3221221232 1075966495 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8283 7471 1111 63 0 8220 0
vsize: 33132
[startup+499.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30001
Raw data (stat): 30001 (bsolo_lpr-v2) R 30000 25568 25567 0 -1 0 127943 0 0 0 49684 329 0 0 25 0 1 0 901359883 33452032 7432 4294967295 134512640 134716908 3221224576 3221222096 1074153660 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8167 7432 1111 63 0 8104 0
vsize: 32668
[startup+509.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30001
Raw data (stat): 30001 (bsolo_lpr-v2) R 30000 25568 25567 0 -1 0 129336 0 0 0 50680 334 0 0 25 0 1 0 901359883 33452032 7432 4294967295 134512640 134716908 3221224576 3221222192 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8167 7432 1111 63 0 8104 0
vsize: 32668
[startup+519.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30001
Raw data (stat): 30001 (bsolo_lpr-v2) R 30000 25568 25567 0 -1 0 130722 0 0 0 51677 337 0 0 25 0 1 0 901359883 33505280 7442 4294967295 134512640 134716908 3221224576 3221222928 1074115304 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8180 7442 1111 63 0 8117 0
vsize: 32720
[startup+529.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30001
Raw data (stat): 30001 (bsolo_lpr-v2) R 30000 25568 25567 0 -1 0 132032 0 0 0 52673 340 0 0 25 0 1 0 901359883 33452032 7432 4294967295 134512640 134716908 3221224576 3221221928 1074138166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8167 7432 1111 63 0 8104 0
vsize: 32668
[startup+539.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30001
Raw data (stat): 30001 (bsolo_lpr-v2) R 30000 25568 25567 0 -1 0 133397 0 0 0 53671 344 0 0 25 0 1 0 901359883 33452032 7432 4294967295 134512640 134716908 3221224576 3221222688 1074867320 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8167 7432 1111 63 0 8104 0
vsize: 32668
[startup+549.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30001
Raw data (stat): 30001 (bsolo_lpr-v2) R 30000 25568 25567 0 -1 0 134719 0 0 0 54667 347 0 0 25 0 1 0 901359883 33452032 7432 4294967295 134512640 134716908 3221224576 3221222576 1074918533 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8167 7432 1111 63 0 8104 0
vsize: 32668
[startup+559.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30001
Raw data (stat): 30001 (bsolo_lpr-v2) R 30000 25568 25567 0 -1 0 136014 0 0 0 55663 352 0 0 25 0 1 0 901359883 33787904 7450 4294967295 134512640 134716908 3221224576 3221220540 1074860626 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8249 7450 1111 63 0 8186 0
vsize: 32996
[startup+569.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30001
Raw data (stat): 30001 (bsolo_lpr-v2) R 30000 25568 25567 0 -1 0 137478 0 0 0 56658 357 0 0 25 0 1 0 901359883 33452032 7432 4294967295 134512640 134716908 3221224576 3221222576 1074056563 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8167 7432 1111 63 0 8104 0
vsize: 32668
[startup+579.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30001
Raw data (stat): 30001 (bsolo_lpr-v2) R 30000 25568 25567 0 -1 0 138571 0 0 0 57654 362 0 0 25 0 1 0 901359883 33452032 7432 4294967295 134512640 134716908 3221224576 3221222336 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8167 7432 1111 63 0 8104 0
vsize: 32668
[startup+590 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30001
Raw data (stat): 30001 (bsolo_lpr-v2) R 30000 25568 25567 0 -1 0 139528 0 0 0 58650 366 0 0 25 0 1 0 901359883 33505280 7432 4294967295 134512640 134716908 3221224576 3221223004 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8180 7432 1111 63 0 8117 0
vsize: 32720
[startup+600 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30001
Raw data (stat): 30001 (bsolo_lpr-v2) R 30000 25568 25567 0 -1 0 140460 0 0 0 59648 369 0 0 25 0 1 0 901359883 33452032 7432 4294967295 134512640 134716908 3221224576 3221222904 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8167 7432 1111 63 0 8104 0
vsize: 32668
[startup+610 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30001
Raw data (stat): 30001 (bsolo_lpr-v2) R 30000 25568 25567 0 -1 0 141408 0 0 0 60644 372 0 0 25 0 1 0 901359883 33452032 7432 4294967295 134512640 134716908 3221224576 3221222688 134652402 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8167 7432 1111 63 0 8104 0
vsize: 32668
[startup+620 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30001
Raw data (stat): 30001 (bsolo_lpr-v2) R 30000 25568 25567 0 -1 0 142412 0 0 0 61641 376 0 0 25 0 1 0 901359883 33505280 7440 4294967295 134512640 134716908 3221224576 3221223320 134536866 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8180 7440 1111 63 0 8117 0
vsize: 32720
[startup+630 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30001
Raw data (stat): 30001 (bsolo_lpr-v2) R 30000 25568 25567 0 -1 0 143429 0 0 0 62638 379 0 0 25 0 1 0 901359883 33505280 7441 4294967295 134512640 134716908 3221224576 3221221680 1074139038 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8180 7441 1111 63 0 8117 0
vsize: 32720
[startup+640 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30001
Raw data (stat): 30001 (bsolo_lpr-v2) R 30000 25568 25567 0 -1 0 144393 0 0 0 63635 383 0 0 25 0 1 0 901359883 33505280 7440 4294967295 134512640 134716908 3221224576 3221223216 134651140 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8180 7440 1111 63 0 8117 0
vsize: 32720
[startup+650 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30001
Raw data (stat): 30001 (bsolo_lpr-v2) R 30000 25568 25567 0 -1 0 145254 0 0 0 64633 385 0 0 25 0 1 0 901359883 33452032 7433 4294967295 134512640 134716908 3221224576 3221222448 1074050963 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8167 7433 1111 63 0 8104 0
vsize: 32668
[startup+660.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30001
Raw data (stat): 30001 (bsolo_lpr-v2) R 30000 25568 25567 0 -1 0 146040 0 0 0 65630 389 0 0 25 0 1 0 901359883 33452032 7433 4294967295 134512640 134716908 3221224576 3221222696 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8167 7433 1111 63 0 8104 0
vsize: 32668
[startup+670 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30001
Raw data (stat): 30001 (bsolo_lpr-v2) R 30000 25568 25567 0 -1 0 146862 0 0 0 66628 391 0 0 25 0 1 0 901359883 33505280 7446 4294967295 134512640 134716908 3221224576 3221222928 1074115339 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8180 7446 1111 63 0 8117 0
vsize: 32720
[startup+680.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30001
Raw data (stat): 30001 (bsolo_lpr-v2) R 30000 25568 25567 0 -1 0 147504 0 0 0 67626 394 0 0 25 0 1 0 901359883 33452032 7433 4294967295 134512640 134716908 3221224576 3221222320 1075646652 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8167 7433 1111 63 0 8104 0
vsize: 32668
[startup+690.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30001
Raw data (stat): 30001 (bsolo_lpr-v2) R 30000 25568 25567 0 -1 0 148603 0 0 0 68622 398 0 0 25 0 1 0 901359883 33824768 7525 4294967295 134512640 134716908 3221224576 3221222488 1074138285 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8258 7525 1111 63 0 8195 0
vsize: 33032
[startup+700.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30001
Raw data (stat): 30001 (bsolo_lpr-v2) R 30000 25568 25567 0 -1 0 151316 0 0 0 69614 406 0 0 25 0 1 0 901359883 33824768 7525 4294967295 134512640 134716908 3221224576 3221222864 134652452 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8258 7525 1111 63 0 8195 0
vsize: 33032
[startup+710.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30001
Raw data (stat): 30001 (bsolo_lpr-v2) R 30000 25568 25567 0 -1 0 158116 0 0 0 70596 424 0 0 25 0 1 0 901359883 34287616 7606 4294967295 134512640 134716908 3221224576 3221222928 1074115331 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8371 7606 1111 63 0 8308 0
vsize: 33484
[startup+720.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30001
Raw data (stat): 30001 (bsolo_lpr-v2) R 30000 25568 25567 0 -1 0 165824 0 0 0 71576 444 0 0 25 0 1 0 901359883 34185216 7579 4294967295 134512640 134716908 3221224576 3221222508 1077386340 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8390 7582 1111 63 0 8327 0
vsize: 33384
[startup+730.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30001
Raw data (stat): 30001 (bsolo_lpr-v2) R 30000 25568 25567 0 -1 0 171938 0 0 0 72560 461 0 0 25 0 1 0 901359883 34148352 7604 4294967295 134512640 134716908 3221224576 3221222960 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8337 7604 1111 63 0 8274 0
vsize: 33348
[startup+740.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30001
Raw data (stat): 30001 (bsolo_lpr-v2) R 30000 25568 25567 0 -1 0 174551 0 0 0 73551 470 0 0 25 0 1 0 901359883 34201600 7617 4294967295 134512640 134716908 3221224576 3221222956 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8350 7617 1111 63 0 8287 0
vsize: 33400
[startup+750.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30001
Raw data (stat): 30001 (bsolo_lpr-v2) R 30000 25568 25567 0 -1 0 177701 0 0 0 74542 479 0 0 25 0 1 0 901359883 34201600 7617 4294967295 134512640 134716908 3221224576 3221223280 134556763 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8350 7617 1111 63 0 8287 0
vsize: 33400
[startup+760.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30001
Raw data (stat): 30001 (bsolo_lpr-v2) R 30000 25568 25567 0 -1 0 181397 0 0 0 75532 490 0 0 25 0 1 0 901359883 34148352 7604 4294967295 134512640 134716908 3221224576 3221222888 1074138166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8337 7604 1111 63 0 8274 0
vsize: 33348
[startup+770.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30001
Raw data (stat): 30001 (bsolo_lpr-v2) R 30000 25568 25567 0 -1 0 186539 0 0 0 76520 503 0 0 25 0 1 0 901359883 34201600 7617 4294967295 134512640 134716908 3221224576 3221222828 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8350 7617 1111 63 0 8287 0
vsize: 33400
[startup+780.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30001
Raw data (stat): 30001 (bsolo_lpr-v2) R 30000 25568 25567 0 -1 0 192652 0 0 0 77504 519 0 0 25 0 1 0 901359883 34148352 7604 4294967295 134512640 134716908 3221224576 3221222960 1074153660 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8337 7604 1111 63 0 8274 0
vsize: 33348
[startup+790.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30001
Raw data (stat): 30001 (bsolo_lpr-v2) R 30000 25568 25567 0 -1 0 200224 0 0 0 78486 537 0 0 25 0 1 0 901359883 34455552 7651 4294967295 134512640 134716908 3221224576 3221222976 1074118797 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8412 7651 1111 63 0 8349 0
vsize: 33648
[startup+800.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30001
Raw data (stat): 30001 (bsolo_lpr-v2) R 30000 25568 25567 0 -1 0 208760 0 0 0 79465 558 0 0 25 0 1 0 901359883 34828288 7709 4294967295 134512640 134716908 3221224576 3221221788 1074206191 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8503 7709 1111 63 0 8440 0
vsize: 34012
[startup+810.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30001
Raw data (stat): 30001 (bsolo_lpr-v2) R 30000 25568 25567 0 -1 0 217506 0 0 0 80445 579 0 0 25 0 1 0 901359883 34414592 7659 4294967295 134512640 134716908 3221224576 3221222992 1074116660 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8402 7659 1111 63 0 8339 0
vsize: 33608
[startup+820.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30001
Raw data (stat): 30001 (bsolo_lpr-v2) R 30000 25568 25567 0 -1 0 226878 0 0 0 81424 601 0 0 25 0 1 0 901359883 34414592 7669 4294967295 134512640 134716908 3221224576 3221222928 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8402 7669 1111 63 0 8339 0
vsize: 33608
[startup+830.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30001
Raw data (stat): 30001 (bsolo_lpr-v2) R 30000 25568 25567 0 -1 0 235672 0 0 0 82402 624 0 0 25 0 1 0 901359883 34578432 7699 4294967295 134512640 134716908 3221224576 3221222988 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8442 7699 1111 63 0 8379 0
vsize: 33768
[startup+840.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30001
Raw data (stat): 30001 (bsolo_lpr-v2) R 30000 25568 25567 0 -1 0 244408 0 0 0 83382 643 0 0 25 0 1 0 901359883 35008512 7741 4294967295 134512640 134716908 3221224576 3221222640 1075961600 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8547 7741 1111 63 0 8484 0
vsize: 34188
[startup+850.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30001
Raw data (stat): 30001 (bsolo_lpr-v2) R 30000 25568 25567 0 -1 0 250928 0 0 0 84364 662 0 0 25 0 1 0 901359883 34684928 7735 4294967295 134512640 134716908 3221224576 3221222936 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8468 7735 1111 63 0 8405 0
vsize: 33872
[startup+860.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30001
Raw data (stat): 30001 (bsolo_lpr-v2) R 30000 25568 25567 0 -1 0 258254 0 0 0 85348 679 0 0 25 0 1 0 901359883 34844672 7774 4294967295 134512640 134716908 3221224576 3221222320 1075640213 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8507 7774 1111 63 0 8444 0
vsize: 34028
[startup+870.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30001
Raw data (stat): 30001 (bsolo_lpr-v2) R 30000 25568 25567 0 -1 0 269474 0 0 0 86324 703 0 0 25 0 1 0 901359883 34897920 7787 4294967295 134512640 134716908 3221224576 3221222952 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8520 7787 1111 63 0 8457 0
vsize: 34080
[startup+880.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30001
Raw data (stat): 30001 (bsolo_lpr-v2) R 30000 25568 25567 0 -1 0 276754 0 0 0 87306 721 0 0 25 0 1 0 901359883 34897920 7787 4294967295 134512640 134716908 3221224576 3221222688 1074153815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8520 7787 1111 63 0 8457 0
vsize: 34080
[startup+890.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30001
Raw data (stat): 30001 (bsolo_lpr-v2) R 30000 25568 25567 0 -1 0 282260 0 0 0 88290 737 0 0 25 0 1 0 901359883 34955264 7801 4294967295 134512640 134716908 3221224576 3221222216 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8534 7801 1111 63 0 8471 0
vsize: 34136
[startup+900.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30001
Raw data (stat): 30001 (bsolo_lpr-v2) R 30000 25568 25567 0 -1 0 287805 0 0 0 89275 753 0 0 25 0 1 0 901359883 34897920 7787 4294967295 134512640 134716908 3221224576 3221222976 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8520 7787 1111 63 0 8457 0
vsize: 34080
[startup+910.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30001
Raw data (stat): 30001 (bsolo_lpr-v2) R 30000 25568 25567 0 -1 0 293496 0 0 0 90258 770 0 0 25 0 1 0 901359883 34897920 7787 4294967295 134512640 134716908 3221224576 3221222792 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8520 7787 1111 63 0 8457 0
vsize: 34080
[startup+920.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30001
Raw data (stat): 30001 (bsolo_lpr-v2) R 30000 25568 25567 0 -1 0 299131 0 0 0 91244 784 0 0 25 0 1 0 901359883 35225600 7794 4294967295 134512640 134716908 3221224576 3221222688 1074867358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8600 7794 1111 63 0 8537 0
vsize: 34400
[startup+930.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30001
Raw data (stat): 30001 (bsolo_lpr-v2) R 30000 25568 25567 0 -1 0 306549 0 0 0 92225 804 0 0 25 0 1 0 901359883 34897920 7787 4294967295 134512640 134716908 3221224576 3221222888 1074138166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8520 7787 1111 63 0 8457 0
vsize: 34080
[startup+940.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30001
Raw data (stat): 30001 (bsolo_lpr-v2) R 30000 25568 25567 0 -1 0 313245 0 0 0 93208 821 0 0 25 0 1 0 901359883 34897920 7787 4294967295 134512640 134716908 3221224576 3221222936 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8520 7787 1111 63 0 8457 0
vsize: 34080
[startup+950.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30001
Raw data (stat): 30001 (bsolo_lpr-v2) R 30000 25568 25567 0 -1 0 320380 0 0 0 94188 841 0 0 25 0 1 0 901359883 34897920 7787 4294967295 134512640 134716908 3221224576 3221222840 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8520 7787 1111 63 0 8457 0
vsize: 34080
[startup+960.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30001
Raw data (stat): 30001 (bsolo_lpr-v2) R 30000 25568 25567 0 -1 0 326326 0 0 0 95173 857 0 0 25 0 1 0 901359883 35278848 7853 4294967295 134512640 134716908 3221224576 3221222976 1074118815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8613 7853 1111 63 0 8550 0
vsize: 34452
[startup+970.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30001
Raw data (stat): 30001 (bsolo_lpr-v2) R 30000 25568 25567 0 -1 0 332739 0 0 0 96156 873 0 0 25 0 1 0 901359883 35008512 7814 4294967295 134512640 134716908 3221224576 3221222960 1074153749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8547 7814 1111 63 0 8484 0
vsize: 34188
[startup+980.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30001
Raw data (stat): 30001 (bsolo_lpr-v2) R 30000 25568 25567 0 -1 0 340681 0 0 0 97135 895 0 0 25 0 1 0 901359883 35115008 7830 4294967295 134512640 134716908 3221224576 3221222576 1074916862 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8573 7830 1111 63 0 8510 0
vsize: 34292
[startup+990.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30001
Raw data (stat): 30001 (bsolo_lpr-v2) R 30000 25568 25567 0 -1 0 350495 0 0 0 98115 915 0 0 25 0 1 0 901359883 35008512 7814 4294967295 134512640 134716908 3221224576 3221222976 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8547 7814 1111 63 0 8484 0
vsize: 34188
[startup+1000.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30001
Raw data (stat): 30001 (bsolo_lpr-v2) R 30000 25568 25567 0 -1 0 361790 0 0 0 99090 940 0 0 25 0 1 0 901359883 35225600 7856 4294967295 134512640 134716908 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8600 7856 1111 63 0 8537 0
vsize: 34400
[startup+1010.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30001
Raw data (stat): 30001 (bsolo_lpr-v2) R 30000 25568 25567 0 -1 0 373282 0 0 0 100063 968 0 0 25 0 1 0 901359883 35225600 7867 4294967295 134512640 134716908 3221224576 3221222304 1075635512 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8600 7867 1111 63 0 8537 0
vsize: 34400
[startup+1020.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30001
Raw data (stat): 30001 (bsolo_lpr-v2) R 30000 25568 25567 0 -1 0 385687 0 0 0 101034 998 0 0 25 0 1 0 901359883 35102720 7837 4294967295 134512640 134716908 3221224576 3221222960 1074153749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8570 7837 1111 63 0 8507 0
vsize: 34280
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30001
Raw data (stat): 30001 (bsolo_lpr-v2) R 30000 25568 25567 0 -1 0 391902 0 0 0 102018 1014 0 0 25 0 1 0 901359883 36012032 7965 4294967295 134512640 134716908 3221224576 3221221640 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8736 7957 1111 63 0 8673 0
vsize: 35168
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30001
Raw data (stat): 30001 (bsolo_lpr-v2) R 30000 25568 25567 0 -1 0 395201 0 0 0 103010 1022 0 0 25 0 1 0 901359883 35360768 7900 4294967295 134512640 134716908 3221224576 3221222552 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8633 7900 1111 63 0 8570 0
vsize: 34532
[startup+1050.02 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 30054
Raw data (stat): 30001 (bsolo_lpr-v2) R 30000 25568 25567 0 -1 0 397939 0 0 0 104002 1031 0 0 25 0 1 0 901359883 35360768 7900 4294967295 134512640 134716908 3221224576 3221222960 1074153812 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8633 7900 1111 63 0 8570 0
vsize: 34532
[startup+1060.02 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 30054
Raw data (stat): 30001 (bsolo_lpr-v2) R 30000 25568 25567 0 -1 0 400877 0 0 0 104993 1041 0 0 25 0 1 0 901359883 35360768 7900 4294967295 134512640 134716908 3221224576 3221222696 1074138162 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8633 7900 1111 63 0 8570 0
vsize: 34532
[startup+1070.02 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 30054
Raw data (stat): 30001 (bsolo_lpr-v2) R 30000 25568 25567 0 -1 0 403602 0 0 0 105985 1048 0 0 25 0 1 0 901359883 35684352 7903 4294967295 134512640 134716908 3221224576 3221222496 1075802495 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8712 7903 1111 63 0 8649 0
vsize: 34848
[startup+1080.02 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 30054
Raw data (stat): 30001 (bsolo_lpr-v2) R 30000 25568 25567 0 -1 0 406492 0 0 0 106976 1058 0 0 25 0 1 0 901359883 35360768 7900 4294967295 134512640 134716908 3221224576 3221222960 1074153736 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8633 7900 1111 63 0 8570 0
vsize: 34532
[startup+1090.02 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 30054
Raw data (stat): 30001 (bsolo_lpr-v2) R 30000 25568 25567 0 -1 0 409435 0 0 0 107969 1065 0 0 25 0 1 0 901359883 35360768 7900 4294967295 134512640 134716908 3221224576 3221222672 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8633 7900 1111 63 0 8570 0
vsize: 34532
[startup+1100.02 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 30054
Raw data (stat): 30001 (bsolo_lpr-v2) R 30000 25568 25567 0 -1 0 412296 0 0 0 108961 1074 0 0 25 0 1 0 901359883 35360768 7900 4294967295 134512640 134716908 3221224576 3221222396 1077411564 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8633 7900 1111 63 0 8570 0
vsize: 34532
[startup+1110.02 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 30054
Raw data (stat): 30001 (bsolo_lpr-v2) R 30000 25568 25567 0 -1 0 417123 0 0 0 109948 1087 0 0 25 0 1 0 901359883 35414016 7913 4294967295 134512640 134716908 3221224576 3221222928 1074115540 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8683 7915 1111 63 0 8620 0
vsize: 34584
[startup+1120.02 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 30054
Raw data (stat): 30001 (bsolo_lpr-v2) R 30000 25568 25567 0 -1 0 422203 0 0 0 110935 1100 0 0 25 0 1 0 901359883 36044800 7960 4294967295 134512640 134716908 3221224576 3221220688 1075895685 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8800 7960 1111 63 0 8737 0
vsize: 35200
[startup+1130.02 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 30056
Raw data (stat): 30001 (bsolo_lpr-v2) R 30000 25568 25567 0 -1 0 426411 0 0 0 111924 1112 0 0 25 0 1 0 901359883 35360768 7900 4294967295 134512640 134716908 3221224576 3221222960 1074153794 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8633 7900 1111 63 0 8570 0
vsize: 34532
[startup+1140.02 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 30056
Raw data (stat): 30001 (bsolo_lpr-v2) R 30000 25568 25567 0 -1 0 430411 0 0 0 112911 1125 0 0 25 0 1 0 901359883 35360768 7900 4294967295 134512640 134716908 3221224576 3221222960 1074153794 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8633 7900 1111 63 0 8570 0
vsize: 34532
[startup+1150.02 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 30056
Raw data (stat): 30001 (bsolo_lpr-v2) R 30000 25568 25567 0 -1 0 434354 0 0 0 113903 1134 0 0 25 0 1 0 901359883 35991552 7949 4294967295 134512640 134716908 3221224576 3221220600 1074860223 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8787 7949 1111 63 0 8724 0
vsize: 35148
[startup+1160.02 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 30056
Raw data (stat): 30001 (bsolo_lpr-v2) R 30000 25568 25567 0 -1 0 438617 0 0 0 114891 1145 0 0 25 0 1 0 901359883 35360768 7900 4294967295 134512640 134716908 3221224576 3221222976 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8633 7900 1111 63 0 8570 0
vsize: 34532
[startup+1170.02 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 30056
Raw data (stat): 30001 (bsolo_lpr-v2) R 30000 25568 25567 0 -1 0 442632 0 0 0 115878 1159 0 0 25 0 1 0 901359883 35360768 7900 4294967295 134512640 134716908 3221224576 3221222960 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8633 7900 1111 63 0 8570 0
vsize: 34532
[startup+1174.69 s]
Raw data (loadavg): 1.01 0.99 0.91 1/53 30056
Raw data (stat): 30001 (bsolo_lpr-v2) R 30000 25568 25567 0 -1 0 442632 0 0 0 115878 1159 0 0 25 0 1 0 901359883 35360768 7900 4294967295 134512640 134716908 3221224576 3221222960 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8633 7900 1111 63 0 8570 0
vsize: 0

Child status: 0
Real time (s): 1174.69
CPU time (s): 1175.05
CPU user time (s): 1163.39
CPU system time (s): 11.6622
CPU usage (%): 100.031
Max. virtual memory (Kb): 35200
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####