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-sp98ar.opb
MD5SUM	9565d6b3010c78b37c39352cc9731cb7
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	2147483647
Optimality of the best value was proved	NO
Number of terms in the objective function	15085
Biggest coefficient in the objective function	504328818
Number of bits for the biggest coefficient in the objective function	29
Sum of the numbers in the objective function	2067304124713
Number of bits of the sum of numbers in the objective function	41
Biggest number in a constraint	504328818
Number of bits of the biggest number in a constraint	29
Biggest sum of numbers in a constraint	2067304124713
Number of bits of the biggest sum of numbers	41
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	14.4348
Number of variables	15085
Total number of constraints	16520
Number of constraints which are clauses	181
Number of constraints which are cardinality constraints (but not clauses)	15927
Number of constraints which are nor clauses,nor cardinality constraints	412
Minimum length of a constraint	1
Maximum length of a constraint	4222
Trace number 40547

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-06-08 13:56:06 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28603 boxname=wulflinc1 idbench=1559 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  9565d6b3010c78b37c39352cc9731cb7  /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-13-7-sp98ar.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-13-7-sp98ar.opb
IDLAUNCH: 28603
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        868452 kB
Buffers:          8952 kB
Cached:         132228 kB
SwapCached:       1144 kB
Active:          32352 kB
Inactive:       111060 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        868200 kB
SwapTotal:     2097136 kB
SwapFree:      2094836 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5256 kB
Slab:            16868 kB
Committed_AS:    92708 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 14:16:09 (client local time) WITH STATUS 0 IN 1200.36 SECONDS
stats: 28603 7 1200.36 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 15085 variables and 1430 constraints.
c After prepocess the problem consists of 15076 variables and 1368 constraints.
c preprocess terminated 658.838 s
c Initial Lower Bound: -2147483648
c Lower Bound Elapsed time: 20.6387
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: 762924732 @ 730.903
c NEW SOLUTION FOUND: -2147483648 @ 731.055
#### 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.99 0.97 0.91 2/55 23455
Raw data (stat): 23455 (runsolver) R 23454 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 845304535 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23455
Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 18294 0 0 0 959 38 0 0 25 0 1 0 845304535 87756800 18214 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21425 18214 1111 63 0 21362 0
vsize: 85700
[startup+20.0021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23455
Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 36238 0 0 0 1925 72 0 0 25 0 1 0 845304535 161337344 36158 4294967295 134512640 134716908 3221224576 3221223232 134527930 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39389 36158 1111 63 0 39326 0
vsize: 157556
[startup+30.0025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23455
Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 54009 0 0 0 2896 102 0 0 25 0 1 0 845304535 234192896 53929 4294967295 134512640 134716908 3221224576 3221222928 134567410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57176 53929 1111 63 0 57113 0
vsize: 228704
[startup+40.0033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23455
Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 73377 0 0 0 3861 137 0 0 25 0 1 0 845304535 313475072 73297 4294967295 134512640 134716908 3221224576 3221221292 1077197737 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 76532 73301 1111 63 0 76469 0
vsize: 306128
[startup+50.0031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23455
Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 91633 0 0 0 4832 166 0 0 25 0 1 0 845304535 388124672 91553 4294967295 134512640 134716908 3221224576 3221223232 134527972 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 94757 91553 1111 63 0 94694 0
vsize: 379028
[startup+60.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23455
Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 93225 0 0 0 5828 170 0 0 25 0 1 0 845304535 394649600 93145 4294967295 134512640 134716908 3221224576 3221222852 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96350 93145 1111 63 0 96287 0
vsize: 385400
[startup+70.0026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23455
Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 93851 0 0 0 6827 171 0 0 25 0 1 0 845304535 397430784 93769 4294967295 134512640 134716908 3221224576 3221223056 134540030 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 97029 93769 1111 63 0 96966 0
vsize: 388116
[startup+80.0038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23455
Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 94537 0 0 0 7825 173 0 0 25 0 1 0 845304535 400285696 94455 4294967295 134512640 134716908 3221224576 3221222860 1077399575 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 97726 94455 1111 63 0 97663 0
vsize: 390904
[startup+90.0032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23455
Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 95282 0 0 0 8822 175 0 0 25 0 1 0 845304535 403279872 95200 4294967295 134512640 134716908 3221224576 3221222852 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 98457 95200 1111 63 0 98394 0
vsize: 393828
[startup+100.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23455
Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 96226 0 0 0 9821 177 0 0 25 0 1 0 845304535 407228416 96144 4294967295 134512640 134716908 3221224576 3221222864 134566780 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 99421 96144 1111 63 0 99358 0
vsize: 397684
[startup+110.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23455
Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 97053 0 0 0 10818 180 0 0 25 0 1 0 845304535 410763264 96971 4294967295 134512640 134716908 3221224576 3221222852 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 100284 96971 1111 63 0 100221 0
vsize: 401136
[startup+120.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23455
Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 97950 0 0 0 11816 182 0 0 25 0 1 0 845304535 414453760 97868 4294967295 134512640 134716908 3221224576 3221223136 134564784 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 101185 97868 1111 63 0 101122 0
vsize: 404740
[startup+130.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23455
Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 98750 0 0 0 12814 184 0 0 25 0 1 0 845304535 417714176 98668 4294967295 134512640 134716908 3221224576 3221222852 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 101981 98668 1111 63 0 101918 0
vsize: 407924
[startup+140.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23455
Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 99665 0 0 0 13811 187 0 0 25 0 1 0 845304535 421523456 99583 4294967295 134512640 134716908 3221224576 3221222860 1077399562 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 102911 99583 1111 63 0 102848 0
vsize: 411644
[startup+150.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23455
Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 101388 0 0 0 14806 191 0 0 25 0 1 0 845304535 419033088 101224 4294967295 134512640 134716908 3221224576 3221223020 134535895 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 102303 101224 1111 63 0 102240 0
vsize: 409212
[startup+160.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23455
Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 101443 0 0 0 15806 191 0 0 25 0 1 0 845304535 419168256 101279 4294967295 134512640 134716908 3221224576 3221223328 134630811 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 102336 101279 1111 63 0 102273 0
vsize: 409344
[startup+170.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23455
Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 101493 0 0 0 16806 192 0 0 25 0 1 0 845304535 419438592 101329 4294967295 134512640 134716908 3221224576 3221223020 134535900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 102402 101329 1111 63 0 102339 0
vsize: 409608
[startup+180.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23455
Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 101548 0 0 0 17806 192 0 0 25 0 1 0 845304535 419573760 101384 4294967295 134512640 134716908 3221224576 3221223040 134543030 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 102435 101384 1111 63 0 102372 0
vsize: 409740
[startup+190.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23455
Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 101632 0 0 0 18806 192 0 0 25 0 1 0 845304535 419979264 101468 4294967295 134512640 134716908 3221224576 3221223020 134536817 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 102534 101468 1111 63 0 102471 0
vsize: 410136
[startup+200.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23455
Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 101712 0 0 0 19806 192 0 0 25 0 1 0 845304535 420249600 101548 4294967295 134512640 134716908 3221224576 3221223020 134535900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 102600 101548 1111 63 0 102537 0
vsize: 410400
[startup+210.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23455
Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 101772 0 0 0 20806 192 0 0 25 0 1 0 845304535 420519936 101608 4294967295 134512640 134716908 3221224576 3221223056 134539518 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 102666 101608 1111 63 0 102603 0
vsize: 410664
[startup+220.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23455
Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 101821 0 0 0 21806 193 0 0 25 0 1 0 845304535 420790272 101657 4294967295 134512640 134716908 3221224576 3221223020 134535956 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 102732 101657 1111 63 0 102669 0
vsize: 410928
[startup+230.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23455
Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 101889 0 0 0 22806 193 0 0 25 0 1 0 845304535 421060608 101725 4294967295 134512640 134716908 3221224576 3221223040 134543030 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 102798 101725 1111 63 0 102735 0
vsize: 411192
[startup+240.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23508
Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 101939 0 0 0 23805 193 0 0 25 0 1 0 845304535 421195776 101775 4294967295 134512640 134716908 3221224576 3221223020 134535956 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 102831 101775 1111 63 0 102768 0
vsize: 411324
[startup+250.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23508
Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 101989 0 0 0 24806 193 0 0 25 0 1 0 845304535 421466112 101825 4294967295 134512640 134716908 3221224576 3221223020 134535900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 102897 101825 1111 63 0 102834 0
vsize: 411588
[startup+260.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23508
Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 102064 0 0 0 25806 194 0 0 25 0 1 0 845304535 421736448 101900 4294967295 134512640 134716908 3221224576 3221223020 134536766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 102963 101900 1111 63 0 102900 0
vsize: 411852
[startup+270.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23508
Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 102127 0 0 0 26806 194 0 0 25 0 1 0 845304535 422006784 101963 4294967295 134512640 134716908 3221224576 3221223328 134630811 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 103029 101963 1111 63 0 102966 0
vsize: 412116
[startup+280.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23508
Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 102191 0 0 0 27806 194 0 0 25 0 1 0 845304535 422277120 102027 4294967295 134512640 134716908 3221224576 3221223020 134535956 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 103095 102027 1111 63 0 103032 0
vsize: 412380
[startup+290.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23508
Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 102244 0 0 0 28806 194 0 0 25 0 1 0 845304535 422416384 102080 4294967295 134512640 134716908 3221224576 3221223040 134543097 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 103129 102080 1111 63 0 103066 0
vsize: 412516
[startup+300.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23510
Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 102307 0 0 0 29806 194 0 0 25 0 1 0 845304535 422686720 102143 4294967295 134512640 134716908 3221224576 3221223020 134536766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 103195 102143 1111 63 0 103132 0
vsize: 412780
[startup+310.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23512
Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 102356 0 0 0 30806 194 0 0 25 0 1 0 845304535 422957056 102192 4294967295 134512640 134716908 3221224576 3221223040 134543030 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 103261 102192 1111 63 0 103198 0
vsize: 413044
[startup+320.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23512
Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 102425 0 0 0 31805 195 0 0 25 0 1 0 845304535 423227392 102261 4294967295 134512640 134716908 3221224576 3221223040 134543030 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 103327 102261 1111 63 0 103264 0
vsize: 413308
[startup+330.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23512
Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 102470 0 0 0 32806 195 0 0 25 0 1 0 845304535 423362560 102306 4294967295 134512640 134716908 3221224576 3221223020 134535900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 103360 102306 1111 63 0 103297 0
vsize: 413440
[startup+340.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23512
Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 102534 0 0 0 33806 195 0 0 25 0 1 0 845304535 423632896 102370 4294967295 134512640 134716908 3221224576 3221223328 134630808 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 103426 102370 1111 63 0 103363 0
vsize: 413704
[startup+350.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23512
Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 102583 0 0 0 34806 195 0 0 25 0 1 0 845304535 423903232 102419 4294967295 134512640 134716908 3221224576 3221223328 134630811 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 103492 102419 1111 63 0 103429 0
vsize: 413968
[startup+360.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23512
Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 102631 0 0 0 35806 195 0 0 25 0 1 0 845304535 424038400 102467 4294967295 134512640 134716908 3221224576 3221223020 134536766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 103525 102467 1111 63 0 103462 0
vsize: 414100
[startup+370.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23512
Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 102703 0 0 0 36805 196 0 0 25 0 1 0 845304535 424308736 102539 4294967295 134512640 134716908 3221224576 3221223020 134535900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 103591 102539 1111 63 0 103528 0
vsize: 414364
[startup+380.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23512
Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 102763 0 0 0 37806 196 0 0 25 0 1 0 845304535 424579072 102599 4294967295 134512640 134716908 3221224576 3221223040 134543030 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 103657 102599 1111 63 0 103594 0
vsize: 414628
[startup+390.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23512
Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 102821 0 0 0 38806 196 0 0 25 0 1 0 845304535 424849408 102657 4294967295 134512640 134716908 3221224576 3221223020 134536817 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 103723 102657 1111 63 0 103660 0
vsize: 414892
[startup+400.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23512
Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 102880 0 0 0 39806 196 0 0 25 0 1 0 845304535 425119744 102716 4294967295 134512640 134716908 3221224576 3221223056 134543043 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 103789 102716 1111 63 0 103726 0
vsize: 415156
[startup+410.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23512
Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 102940 0 0 0 40806 196 0 0 25 0 1 0 845304535 425390080 102776 4294967295 134512640 134716908 3221224576 3221223020 134535900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 103855 102776 1111 63 0 103792 0
vsize: 415420
[startup+420.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23512
Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 102990 0 0 0 41806 196 0 0 25 0 1 0 845304535 425525248 102826 4294967295 134512640 134716908 3221224576 3221223056 134542300 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 103888 102826 1111 63 0 103825 0
vsize: 415552
[startup+430.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23512
Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 103052 0 0 0 42806 197 0 0 25 0 1 0 845304535 425795584 102888 4294967295 134512640 134716908 3221224576 3221223020 134536784 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 103954 102888 1111 63 0 103891 0
vsize: 415816
[startup+440.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23512
Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 103124 0 0 0 43805 197 0 0 25 0 1 0 845304535 426070016 102960 4294967295 134512640 134716908 3221224576 3221223020 134536763 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 104021 102960 1111 63 0 103958 0
vsize: 416084
[startup+450.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23512
Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 103180 0 0 0 44806 197 0 0 25 0 1 0 845304535 426340352 103016 4294967295 134512640 134716908 3221224576 3221223020 134536817 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 104087 103016 1111 63 0 104024 0
vsize: 416348
[startup+460.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23512
Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 103253 0 0 0 45806 197 0 0 25 0 1 0 845304535 426610688 103089 4294967295 134512640 134716908 3221224576 3221223020 134535956 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 104153 103089 1111 63 0 104090 0
vsize: 416612
[startup+470.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23512
Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 103355 0 0 0 46805 198 0 0 25 0 1 0 845304535 427016192 103191 4294967295 134512640 134716908 3221224576 3221223328 134630808 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 104252 103191 1111 63 0 104189 0
vsize: 417008
[startup+480.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23512
Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 103471 0 0 0 47805 198 0 0 25 0 1 0 845304535 427421696 103307 4294967295 134512640 134716908 3221224576 3221223020 134536766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 104351 103307 1111 63 0 104288 0
vsize: 417404
[startup+490.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23512
Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 103543 0 0 0 48805 198 0 0 25 0 1 0 845304535 427827200 103379 4294967295 134512640 134716908 3221224576 3221223056 134543041 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 104450 103379 1111 63 0 104387 0
vsize: 417800
[startup+500.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23512
Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 103596 0 0 0 49805 198 0 0 25 0 1 0 845304535 427962368 103432 4294967295 134512640 134716908 3221224576 3221223020 134536766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 104483 103432 1111 63 0 104420 0
vsize: 417932
[startup+510.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23512
Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 103640 0 0 0 50806 198 0 0 25 0 1 0 845304535 428097536 103476 4294967295 134512640 134716908 3221224576 3221223040 134543102 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 104516 103476 1111 63 0 104453 0
vsize: 418064
[startup+520.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23512
Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 103694 0 0 0 51806 198 0 0 25 0 1 0 845304535 428367872 103530 4294967295 134512640 134716908 3221224576 3221223020 134536817 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 104582 103530 1111 63 0 104519 0
vsize: 418328
[startup+530.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23512
Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 103744 0 0 0 52806 199 0 0 25 0 1 0 845304535 428638208 103580 4294967295 134512640 134716908 3221224576 3221223044 134543025 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 104648 103580 1111 63 0 104585 0
vsize: 418592
[startup+540.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23512
Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 103794 0 0 0 53806 199 0 0 25 0 1 0 845304535 428773376 103630 4294967295 134512640 134716908 3221224576 3221223020 134535900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 104681 103630 1111 63 0 104618 0
vsize: 418724
[startup+550.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23512
Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 103848 0 0 0 54805 199 0 0 25 0 1 0 845304535 429043712 103684 4294967295 134512640 134716908 3221224576 3221223020 134535956 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 104747 103684 1111 63 0 104684 0
vsize: 418988
[startup+560.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23512
Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 103930 0 0 0 55805 199 0 0 25 0 1 0 845304535 429314048 103766 4294967295 134512640 134716908 3221224576 3221223020 134535900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 104813 103766 1111 63 0 104750 0
vsize: 419252
[startup+570.015 s]
Raw data (loadavg): 1.15 1.00 0.92 2/55 23514
Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 103997 0 0 0 56806 199 0 0 25 0 1 0 845304535 429584384 103833 4294967295 134512640 134716908 3221224576 3221223020 134535956 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 104879 103833 1111 63 0 104816 0
vsize: 419516
[startup+580.016 s]
Raw data (loadavg): 1.13 1.00 0.92 2/55 23514
Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 104071 0 0 0 57805 200 0 0 25 0 1 0 845304535 429854720 103907 4294967295 134512640 134716908 3221224576 3221223020 134536814 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 104945 103907 1111 63 0 104882 0
vsize: 419780
[startup+590.016 s]
Raw data (loadavg): 1.11 1.00 0.92 2/55 23514
Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 104132 0 0 0 58805 200 0 0 25 0 1 0 845304535 430125056 103968 4294967295 134512640 134716908 3221224576 3221223328 134630811 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 105011 103968 1111 63 0 104948 0
vsize: 420044
[startup+600.015 s]
Raw data (loadavg): 1.09 1.00 0.92 2/55 23514
Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 104253 0 0 0 59805 201 0 0 25 0 1 0 845304535 430665728 104089 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 105143 104089 1111 63 0 105080 0
vsize: 420572
[startup+610.016 s]
Raw data (loadavg): 1.08 1.00 0.92 2/55 23514
Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 104255 0 0 0 60805 201 0 0 25 0 1 0 845304535 430665728 104091 4294967295 134512640 134716908 3221224576 3221223236 134627213 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 105143 104091 1111 63 0 105080 0
vsize: 420572
[startup+620.017 s]
Raw data (loadavg): 1.07 1.00 0.92 2/55 23514
Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 104257 0 0 0 61806 201 0 0 25 0 1 0 845304535 430665728 104093 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 105143 104093 1111 63 0 105080 0
vsize: 420572
[startup+630.018 s]
Raw data (loadavg): 1.06 1.00 0.92 2/55 23514
Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 104261 0 0 0 62806 201 0 0 25 0 1 0 845304535 430665728 104097 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 105143 104097 1111 63 0 105080 0
vsize: 420572
[startup+640.019 s]
Raw data (loadavg): 1.05 1.00 0.92 2/55 23514
Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 104263 0 0 0 63806 201 0 0 25 0 1 0 845304535 430665728 104099 4294967295 134512640 134716908 3221224576 3221223248 134627266 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 105143 104099 1111 63 0 105080 0
vsize: 420572
[startup+650.018 s]
Raw data (loadavg): 1.04 1.00 0.92 2/55 23514
Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 104269 0 0 0 64806 201 0 0 25 0 1 0 845304535 430665728 104105 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 105143 104105 1111 63 0 105080 0
vsize: 420572
[startup+660.018 s]
Raw data (loadavg): 1.03 1.00 0.92 2/55 23514
Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 105544 0 0 0 65803 204 0 0 25 0 1 0 845304535 435929088 105355 4294967295 134512640 134716908 3221224576 3221194352 1074153822 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 106428 105355 1111 63 0 106365 0
vsize: 425712
[startup+670.018 s]
Raw data (loadavg): 1.03 1.00 0.92 2/55 23514
Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 106111 0 0 0 66800 206 0 0 25 0 1 0 845304535 438231040 105922 4294967295 134512640 134716908 3221224576 3221222576 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106990 105922 1111 63 0 106927 0
vsize: 427960
[startup+680.019 s]
Raw data (loadavg): 1.02 1.00 0.92 2/55 23514
Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 106152 0 0 0 67800 206 0 0 25 0 1 0 845304535 438394880 105963 4294967295 134512640 134716908 3221224576 3221222576 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 107030 105963 1111 63 0 106967 0
vsize: 428120
[startup+690.019 s]
Raw data (loadavg): 1.02 1.00 0.92 2/55 23514
Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 106187 0 0 0 68800 207 0 0 25 0 1 0 845304535 438534144 105998 4294967295 134512640 134716908 3221224576 3221222768 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 107064 105998 1111 63 0 107001 0
vsize: 428256
[startup+700.019 s]
Raw data (loadavg): 1.02 1.00 0.92 2/55 23514
Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 112935 0 0 0 69786 221 0 0 25 0 1 0 845304535 450138112 108814 4294967295 134512640 134716908 3221224576 3221220752 1074807031 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 109897 108814 1111 63 0 109834 0
vsize: 439588
[startup+710.02 s]
Raw data (loadavg): 1.01 1.00 0.92 2/55 23514
Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 112942 0 0 0 70787 221 0 0 25 0 1 0 845304535 450138112 108821 4294967295 134512640 134716908 3221224576 3221220444 1074860620 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 109897 108821 1111 63 0 109834 0
vsize: 439588
[startup+720.02 s]
Raw data (loadavg): 1.01 1.00 0.92 2/55 23514
Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 137933 0 0 0 71732 275 0 0 25 0 1 0 845304535 444051456 107174 4294967295 134512640 134716908 3221224576 3221222392 1074138303 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 108411 107176 1111 63 0 108348 0
vsize: 433644
[startup+730.021 s]
Raw data (loadavg): 1.01 1.00 0.92 2/55 23514
Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 141009 0 0 0 72725 282 0 0 25 0 1 0 845304535 439107584 106290 4294967295 134512640 134716908 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 107204 106290 1111 63 0 107141 0
vsize: 428816
[startup+740.021 s]
Raw data (loadavg): 1.01 1.00 0.92 2/55 23514
Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 180263 0 0 0 73640 367 0 0 25 0 1 0 845304535 434212864 105098 4294967295 134512640 134716908 3221224576 3221222904 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 106009 105098 1111 63 0 105946 0
vsize: 424036
[startup+750.021 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 23514
Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 212215 0 0 0 74568 439 0 0 25 0 1 0 845304535 434995200 105259 4294967295 134512640 134716908 3221224576 3221222976 1074118815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106200 105259 1111 63 0 106137 0
vsize: 424800
[startup+760.021 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 23514
Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 237699 0 0 0 75514 493 0 0 25 0 1 0 845304535 434212864 105098 4294967295 134512640 134716908 3221224576 3221222300 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106009 105098 1111 63 0 105946 0
vsize: 424036
[startup+770.021 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 23514
Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 259613 0 0 0 76467 540 0 0 25 0 1 0 845304535 434237440 105098 4294967295 134512640 134716908 3221224576 3221222976 1074153815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106015 105098 1111 63 0 105952 0
vsize: 424060
[startup+780.022 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 23514
Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 280249 0 0 0 77422 586 0 0 25 0 1 0 845304535 434356224 105127 4294967295 134512640 134716908 3221224576 3221222928 1074115308 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106044 105127 1111 63 0 105981 0
vsize: 424176
[startup+790.022 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 23514
Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 298428 0 0 0 78383 625 0 0 25 0 1 0 845304535 434257920 105109 4294967295 134512640 134716908 3221224576 3221222736 1074153660 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106020 105109 1111 63 0 105957 0
vsize: 424080
[startup+800.022 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 23514
Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 315374 0 0 0 79346 662 0 0 25 0 1 0 845304535 435879936 105296 4294967295 134512640 134716908 3221224576 3221222496 1075799558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106416 105296 1111 63 0 106353 0
vsize: 425664
[startup+810.023 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 23514
Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 331601 0 0 0 80315 693 0 0 25 0 1 0 845304535 434282496 105109 4294967295 134512640 134716908 3221224576 3221222776 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106026 105109 1111 63 0 105963 0
vsize: 424104
[startup+820.023 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 23514
Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 347293 0 0 0 81280 728 0 0 25 0 1 0 845304535 434257920 105109 4294967295 134512640 134716908 3221224576 3221222632 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106020 105109 1111 63 0 105957 0
vsize: 424080
[startup+830.023 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 23514
Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 362128 0 0 0 82248 760 0 0 25 0 1 0 845304535 434257920 105109 4294967295 134512640 134716908 3221224576 3221222928 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106020 105109 1111 63 0 105957 0
vsize: 424080
[startup+840.024 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 23514
Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 376181 0 0 0 83216 793 0 0 25 0 1 0 845304535 434257920 105109 4294967295 134512640 134716908 3221224576 3221222584 1074138166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106020 105109 1111 63 0 105957 0
vsize: 424080
[startup+850.024 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 23514
Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 389438 0 0 0 84185 824 0 0 25 0 1 0 845304535 434282496 105109 4294967295 134512640 134716908 3221224576 3221222680 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106026 105109 1111 63 0 105963 0
vsize: 424104
[startup+860.024 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 23514
Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 402336 0 0 0 85157 852 0 0 25 0 1 0 845304535 434737152 105183 4294967295 134512640 134716908 3221224576 3221222320 1075640218 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106137 105183 1111 63 0 106074 0
vsize: 424548
[startup+870.024 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 23514
Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 414936 0 0 0 86130 879 0 0 25 0 1 0 845304535 435838976 105282 4294967295 134512640 134716908 3221224576 3221221644 1074831252 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106406 105282 1111 63 0 106343 0
vsize: 425624
[startup+880.024 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 23514
Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 426872 0 0 0 87102 907 0 0 25 0 1 0 845304535 434282496 105115 4294967295 134512640 134716908 3221224576 3221222744 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106026 105115 1111 63 0 105963 0
vsize: 424104
[startup+890.025 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 23514
Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 438109 0 0 0 88075 934 0 0 25 0 1 0 845304535 434356224 105127 4294967295 134512640 134716908 3221224576 3221222720 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106044 105127 1111 63 0 105981 0
vsize: 424176
[startup+900.025 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 23514
Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 448519 0 0 0 89051 958 0 0 25 0 1 0 845304535 434954240 105279 4294967295 134512640 134716908 3221224576 3221222304 1075635436 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106190 105279 1111 63 0 106127 0
vsize: 424760
[startup+910.026 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 23514
Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 458708 0 0 0 90028 982 0 0 25 0 1 0 845304535 434188288 104922 4294967295 134512640 134716908 3221224576 3221222412 1077404742 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106038 104933 1111 63 0 105975 0
vsize: 424012
[startup+920.026 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 23514
Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 468303 0 0 0 91007 1003 0 0 25 0 1 0 845304535 434356224 105133 4294967295 134512640 134716908 3221224576 3221222880 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106044 105133 1111 63 0 105981 0
vsize: 424176
[startup+930.026 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 23514
Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 478106 0 0 0 91984 1026 0 0 25 0 1 0 845304535 434659328 105207 4294967295 134512640 134716908 3221224576 3221222216 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106118 105207 1111 63 0 106055 0
vsize: 424472
[startup+940.026 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 23514
Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 487545 0 0 0 92962 1048 0 0 25 0 1 0 845304535 434884608 105238 4294967295 134512640 134716908 3221224576 3221223040 1074119510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106173 105238 1111 63 0 106110 0
vsize: 424692
[startup+950.026 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 23514
Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 496436 0 0 0 93941 1070 0 0 25 0 1 0 845304535 436006912 105323 4294967295 134512640 134716908 3221224576 3221222496 1075799535 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106447 105323 1111 63 0 106384 0
vsize: 425788
[startup+960.027 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 23514
Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 505536 0 0 0 94921 1090 0 0 25 0 1 0 845304535 434356224 105127 4294967295 134512640 134716908 3221224576 3221222720 1074153648 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106044 105127 1111 63 0 105981 0
vsize: 424176
[startup+970.027 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 23514
Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 514026 0 0 0 95901 1110 0 0 25 0 1 0 845304535 434802688 105231 4294967295 134512640 134716908 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106192 105231 1111 63 0 106129 0
vsize: 424612
[startup+980.028 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 23514
Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 522488 0 0 0 96882 1129 0 0 25 0 1 0 845304535 434356224 105133 4294967295 134512640 134716908 3221224576 3221222720 1074153648 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106044 105133 1111 63 0 105981 0
vsize: 424176
[startup+990.028 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 23514
Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 530971 0 0 0 97865 1146 0 0 25 0 1 0 845304535 435998720 105340 4294967295 134512640 134716908 3221224576 3221222688 1074867302 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106445 105340 1111 63 0 106382 0
vsize: 425780
[startup+1000.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 23514
Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 539564 0 0 0 98846 1166 0 0 25 0 1 0 845304535 436797440 105552 4294967295 134512640 134716908 3221224576 3221220572 1074860959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106640 105552 1111 63 0 106577 0
vsize: 426560
[startup+1010.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 23514
Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 547847 0 0 0 99826 1185 0 0 25 0 1 0 845304535 436797440 105484 4294967295 134512640 134716908 3221224576 3221221644 1074831198 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106640 105484 1111 63 0 106577 0
vsize: 426560
[startup+1020.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 23514
Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 555805 0 0 0 100806 1206 0 0 25 0 1 0 845304535 434356224 105133 4294967295 134512640 134716908 3221224576 3221222200 1077379378 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106044 105133 1111 63 0 105981 0
vsize: 424176
[startup+1030.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 23514
Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 564753 0 0 0 101785 1227 0 0 25 0 1 0 845304535 434286592 105096 4294967295 134512640 134716908 3221224576 3221222976 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106027 105096 1111 63 0 105964 0
vsize: 424108
[startup+1040.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 23514
Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 574073 0 0 0 102763 1249 0 0 25 0 1 0 845304535 434323456 105111 4294967295 134512640 134716908 3221224576 3221222624 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106036 105111 1111 63 0 105973 0
vsize: 424144
[startup+1050.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 23514
Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 583361 0 0 0 103742 1270 0 0 25 0 1 0 845304535 434434048 105139 4294967295 134512640 134716908 3221224576 3221222936 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106063 105139 1111 63 0 106000 0
vsize: 424252
[startup+1060.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 23514
Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 592116 0 0 0 104721 1291 0 0 25 0 1 0 845304535 434409472 105146 4294967295 134512640 134716908 3221224576 3221222688 1074153673 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106057 105146 1111 63 0 105994 0
vsize: 424228
[startup+1070.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 23514
Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 599481 0 0 0 105706 1307 0 0 25 0 1 0 845304535 434409472 105146 4294967295 134512640 134716908 3221224576 3221222864 1074153806 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106057 105146 1111 63 0 105994 0
vsize: 424228
[startup+1080.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 23514
Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 607662 0 0 0 106686 1327 0 0 25 0 1 0 845304535 434159616 105079 4294967295 134512640 134716908 3221224576 3221222672 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 105996 105079 1111 63 0 105933 0
vsize: 423984
[startup+1090.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 23514
Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 615853 0 0 0 107668 1345 0 0 25 0 1 0 845304535 436097024 105361 4294967295 134512640 134716908 3221224576 3221222304 1075828579 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106469 105361 1111 63 0 106406 0
vsize: 425876
[startup+1100.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 23514
Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 624431 0 0 0 108650 1363 0 0 25 0 1 0 845304535 434282496 105095 4294967295 134512640 134716908 3221224576 3221222720 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106026 105095 1111 63 0 105963 0
vsize: 424104
[startup+1110.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 23514
Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 632393 0 0 0 109631 1383 0 0 25 0 1 0 845304535 434438144 105140 4294967295 134512640 134716908 3221224576 3221222840 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106064 105140 1111 63 0 106001 0
vsize: 424256
[startup+1120.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 23514
Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 640483 0 0 0 110612 1402 0 0 25 0 1 0 845304535 436187136 105366 4294967295 134512640 134716908 3221224576 3221222688 1074867358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106491 105366 1111 63 0 106428 0
vsize: 425964
[startup+1130.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 23514
Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 648605 0 0 0 111593 1422 0 0 25 0 1 0 845304535 435179520 105334 4294967295 134512640 134716908 3221224576 3221222152 1077410163 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106245 105334 1111 63 0 106182 0
vsize: 424980
[startup+1140.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 23514
Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 656461 0 0 0 112575 1439 0 0 25 0 1 0 845304535 436908032 105551 4294967295 134512640 134716908 3221224576 3221221616 1075860117 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106667 105551 1111 63 0 106604 0
vsize: 426668
[startup+1150.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 23514
Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 664045 0 0 0 113556 1458 0 0 25 0 1 0 845304535 436203520 105370 4294967295 134512640 134716908 3221224576 3221222496 1075799695 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106495 105370 1111 63 0 106432 0
vsize: 425980
[startup+1160.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 23514
Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 671619 0 0 0 114539 1475 0 0 25 0 1 0 845304535 434442240 105141 4294967295 134512640 134716908 3221224576 3221222720 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106065 105141 1111 63 0 106002 0
vsize: 424260
[startup+1170.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 23514
Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 679457 0 0 0 115520 1495 0 0 25 0 1 0 845304535 434286592 105096 4294967295 134512640 134716908 3221224576 3221222960 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106027 105096 1111 63 0 105964 0
vsize: 424108
[startup+1180.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 23514
Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 686518 0 0 0 116503 1512 0 0 25 0 1 0 845304535 436154368 105347 4294967295 134512640 134716908 3221224576 3221222304 1075828208 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106483 105353 1111 63 0 106420 0
vsize: 425932
[startup+1190.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 23514
Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 694093 0 0 0 117486 1529 0 0 25 0 1 0 845304535 434380800 105125 4294967295 134512640 134716908 3221224576 3221222688 1074153812 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106050 105125 1111 63 0 105987 0
vsize: 424200
[startup+1200.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 23514
Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 700925 0 0 0 118468 1548 0 0 25 0 1 0 845304535 434368512 105136 4294967295 134512640 134716908 3221224576 3221222936 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106047 105136 1111 63 0 105984 0
vsize: 424188
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.23 s]
Raw data (loadavg): 1.00 1.00 0.92 1/55 23514
Raw data (stat): 23455 (bsolo_lpr-v2) Z 23454 8378 8377 0 -1 1036 700925 0 0 0 118468 1567 0 0 25 0 1 0 845304535 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.23
CPU time (s): 1200.36
CPU user time (s): 1184.68
CPU system time (s): 15.6756
CPU usage (%): 100.011
Max. virtual memory (Kb): 439588
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####