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-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-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	13.9929
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 27909

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc9 THE 2005-05-24 23:37:13 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=15250 boxname=wulflinc9 idbench=1174 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  9565d6b3010c78b37c39352cc9731cb7  /oldhome/oroussel/tmp/wulflinc9/normalized-mps-v2-20-10-sp98ar.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc9/normalized-mps-v2-20-10-sp98ar.opb
IDLAUNCH: 15250
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.242
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.242
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:        850508 kB
Buffers:         12428 kB
Cached:         151088 kB
SwapCached:        364 kB
Active:          52084 kB
Inactive:       114000 kB
HighTotal:      131008 kB
HighFree:          308 kB
LowTotal:       903652 kB
LowFree:        850200 kB
SwapTotal:     2097136 kB
SwapFree:      2096368 kB
Dirty:              60 kB
Writeback:           0 kB
Mapped:           6348 kB
Slab:            12460 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-24 23:57:25 (client local time) WITH STATUS 0 IN 1210.1 SECONDS
stats: 15250 7 1210.1 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 657.605 s
c Initial Lower Bound: -2147483648
c Lower Bound Elapsed time: 38.9353
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: -2011398412 @ 784.778
c NEW SOLUTION FOUND: -2147483648 @ 784.926
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.82 0.93 0.90 1/54 12584
Raw data (stat): 12584 (runsolver) D 12583 3944 3943 0 -1 64 4 0 0 0 0 0 0 0 18 0 1 0 776030086 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 135158418 0 2147483391 7 90112 3225161850 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10 s]
Raw data (loadavg): 0.85 0.93 0.91 2/54 12584
Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 17533 0 0 0 930 36 0 0 25 0 1 0 776030086 84619264 17457 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20659 17457 1111 63 0 20596 0
vsize: 82636
[startup+20.0069 s]
Raw data (loadavg): 0.87 0.93 0.91 2/54 12584
Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 34875 0 0 0 1899 67 0 0 25 0 1 0 776030086 155664384 34799 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38004 34799 1111 63 0 37941 0
vsize: 152016
[startup+30.0071 s]
Raw data (loadavg): 0.89 0.93 0.91 2/54 12584
Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 52349 0 0 0 2869 97 0 0 25 0 1 0 776030086 227328000 52273 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 55500 52273 1111 63 0 55437 0
vsize: 222000
[startup+40.0079 s]
Raw data (loadavg): 0.91 0.94 0.91 2/54 12584
Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 71655 0 0 0 3834 133 0 0 25 0 1 0 776030086 306454528 71579 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 74818 71579 1111 63 0 74755 0
vsize: 299272
[startup+50.0211 s]
Raw data (loadavg): 0.92 0.94 0.91 2/54 12584
Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 90082 0 0 0 4805 163 0 0 25 0 1 0 776030086 381853696 90006 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93226 90006 1111 63 0 93163 0
vsize: 372904
[startup+60.0204 s]
Raw data (loadavg): 0.93 0.94 0.91 2/54 12584
Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 93136 0 0 0 5797 170 0 0 25 0 1 0 776030086 394375168 93060 4294967295 134512640 134714508 3221224592 3221222868 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96283 93060 1111 63 0 96220 0
vsize: 385132
[startup+70.0202 s]
Raw data (loadavg): 0.94 0.94 0.91 2/54 12584
Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 93819 0 0 0 6795 172 0 0 25 0 1 0 776030086 397275136 93742 4294967295 134512640 134714508 3221224592 3221222876 1077399562 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96991 93742 1111 63 0 96928 0
vsize: 387964
[startup+80.0214 s]
Raw data (loadavg): 0.95 0.94 0.91 2/54 12584
Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 94466 0 0 0 7794 174 0 0 25 0 1 0 776030086 400011264 94388 4294967295 134512640 134714508 3221224592 3221222876 1077399562 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 97659 94388 1111 63 0 97596 0
vsize: 390636
[startup+90.0217 s]
Raw data (loadavg): 0.96 0.94 0.91 2/54 12584
Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 95252 0 0 0 8791 176 0 0 25 0 1 0 776030086 403279872 95174 4294967295 134512640 134714508 3221224592 3221222868 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 98457 95174 1111 63 0 98394 0
vsize: 393828
[startup+100.037 s]
Raw data (loadavg): 0.96 0.94 0.91 2/54 12584
Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 96140 0 0 0 9790 179 0 0 25 0 1 0 776030086 406958080 96062 4294967295 134512640 134714508 3221224592 3221222868 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 99355 96062 1111 63 0 99292 0
vsize: 397420
[startup+110.047 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 12584
Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 97019 0 0 0 10788 181 0 0 25 0 1 0 776030086 410628096 96941 4294967295 134512640 134714508 3221224592 3221222876 1077399562 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 100251 96941 1111 63 0 100188 0
vsize: 401004
[startup+120.048 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 12584
Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 97922 0 0 0 11786 184 0 0 25 0 1 0 776030086 414310400 97844 4294967295 134512640 134714508 3221224592 3221222884 134566536 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 101150 97844 1111 63 0 101087 0
vsize: 404600
[startup+130.048 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 12584
Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 98718 0 0 0 12783 187 0 0 25 0 1 0 776030086 417579008 98640 4294967295 134512640 134714508 3221224592 3221222896 134566799 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 101948 98640 1111 63 0 101885 0
vsize: 407792
[startup+140.048 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 12584
Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 99598 0 0 0 13781 189 0 0 25 0 1 0 776030086 421253120 99520 4294967295 134512640 134714508 3221224592 3221222868 1077414382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 102845 99521 1111 63 0 102782 0
vsize: 411380
[startup+150.049 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 12584
Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 101381 0 0 0 14777 193 0 0 25 0 1 0 776030086 419033088 101221 4294967295 134512640 134714508 3221224592 3221223056 134543030 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 102303 101221 1111 63 0 102240 0
vsize: 409212
[startup+160.049 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 12584
Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 101433 0 0 0 15777 193 0 0 25 0 1 0 776030086 419168256 101273 4294967295 134512640 134714508 3221224592 3221223036 134536766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 102336 101273 1111 63 0 102273 0
vsize: 409344
[startup+170.05 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 12584
Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 101486 0 0 0 16777 194 0 0 25 0 1 0 776030086 419438592 101326 4294967295 134512640 134714508 3221224592 3221223036 134535900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 102402 101326 1111 63 0 102339 0
vsize: 409608
[startup+180.05 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 12584
Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 101541 0 0 0 17777 194 0 0 25 0 1 0 776030086 419573760 101381 4294967295 134512640 134714508 3221224592 3221223344 134630795 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 102435 101381 1111 63 0 102372 0
vsize: 409740
[startup+190.051 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 12584
Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 101619 0 0 0 18777 194 0 0 25 0 1 0 776030086 419979264 101459 4294967295 134512640 134714508 3221224592 3221223036 134536766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 102534 101459 1111 63 0 102471 0
vsize: 410136
[startup+200.051 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 12584
Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 101705 0 0 0 19777 194 0 0 25 0 1 0 776030086 420249600 101545 4294967295 134512640 134714508 3221224592 3221223208 134536900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 102600 101545 1111 63 0 102537 0
vsize: 410400
[startup+210.051 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 12584
Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 101764 0 0 0 20777 194 0 0 25 0 1 0 776030086 420519936 101604 4294967295 134512640 134714508 3221224592 3221223036 134535900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 102666 101604 1111 63 0 102603 0
vsize: 410664
[startup+220.052 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 12584
Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 101814 0 0 0 21777 194 0 0 25 0 1 0 776030086 420790272 101654 4294967295 134512640 134714508 3221224592 3221223036 134535900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 102732 101654 1111 63 0 102669 0
vsize: 410928
[startup+230.051 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 12584
Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 101881 0 0 0 22777 194 0 0 25 0 1 0 776030086 421060608 101721 4294967295 134512640 134714508 3221224592 3221223036 134535978 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 102798 101721 1111 63 0 102735 0
vsize: 411192
[startup+240.052 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 12584
Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 101931 0 0 0 23777 195 0 0 25 0 1 0 776030086 421195776 101771 4294967295 134512640 134714508 3221224592 3221223056 134543030 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 102831 101771 1111 63 0 102768 0
vsize: 411324
[startup+250.052 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 12584
Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 101981 0 0 0 24777 195 0 0 25 0 1 0 776030086 421466112 101821 4294967295 134512640 134714508 3221224592 3221223036 134536766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 102897 101821 1111 63 0 102834 0
vsize: 411588
[startup+260.052 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 12584
Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 102056 0 0 0 25777 195 0 0 25 0 1 0 776030086 421736448 101896 4294967295 134512640 134714508 3221224592 3221223036 134535895 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 102963 101896 1111 63 0 102900 0
vsize: 411852
[startup+270.052 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 12584
Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 102119 0 0 0 26777 195 0 0 25 0 1 0 776030086 422006784 101959 4294967295 134512640 134714508 3221224592 3221223072 134543070 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 103029 101959 1111 63 0 102966 0
vsize: 412116
[startup+280.051 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 12584
Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 102184 0 0 0 27777 195 0 0 25 0 1 0 776030086 422277120 102024 4294967295 134512640 134714508 3221224592 3221223056 134543097 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 103095 102024 1111 63 0 103032 0
vsize: 412380
[startup+290.052 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 12584
Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 102237 0 0 0 28777 196 0 0 25 0 1 0 776030086 422416384 102077 4294967295 134512640 134714508 3221224592 3221223056 134543097 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 103129 102077 1111 63 0 103066 0
vsize: 412516
[startup+300.052 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 12584
Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 102300 0 0 0 29777 196 0 0 25 0 1 0 776030086 422686720 102140 4294967295 134512640 134714508 3221224592 3221223056 134543030 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 103195 102140 1111 63 0 103132 0
vsize: 412780
[startup+310.052 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 12584
Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 102349 0 0 0 30777 196 0 0 25 0 1 0 776030086 422957056 102189 4294967295 134512640 134714508 3221224592 3221223056 134543097 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 103261 102189 1111 63 0 103198 0
vsize: 413044
[startup+320.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12584
Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 102418 0 0 0 31777 196 0 0 25 0 1 0 776030086 423227392 102258 4294967295 134512640 134714508 3221224592 3221223036 134536802 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 103327 102258 1111 63 0 103264 0
vsize: 413308
[startup+330.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12584
Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 102463 0 0 0 32777 196 0 0 25 0 1 0 776030086 423362560 102303 4294967295 134512640 134714508 3221224592 3221223036 134535900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 103360 102303 1111 63 0 103297 0
vsize: 413440
[startup+340.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12584
Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 102528 0 0 0 33777 196 0 0 25 0 1 0 776030086 423632896 102368 4294967295 134512640 134714508 3221224592 3221223056 134543097 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 103426 102368 1111 63 0 103363 0
vsize: 413704
[startup+350.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12584
Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 102577 0 0 0 34777 196 0 0 25 0 1 0 776030086 423903232 102417 4294967295 134512640 134714508 3221224592 3221223036 134535956 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 103492 102417 1111 63 0 103429 0
vsize: 413968
[startup+360.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12584
Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 102625 0 0 0 35777 196 0 0 25 0 1 0 776030086 424038400 102465 4294967295 134512640 134714508 3221224592 3221223056 134543030 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 103525 102465 1111 63 0 103462 0
vsize: 414100
[startup+370.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12584
Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 102697 0 0 0 36777 197 0 0 25 0 1 0 776030086 424308736 102537 4294967295 134512640 134714508 3221224592 3221223040 134535881 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 103591 102537 1111 63 0 103528 0
vsize: 414364
[startup+380.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12584
Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 102760 0 0 0 37777 197 0 0 25 0 1 0 776030086 424579072 102600 4294967295 134512640 134714508 3221224592 3221223036 134535900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 103657 102600 1111 63 0 103594 0
vsize: 414628
[startup+390.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12584
Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 102815 0 0 0 38778 197 0 0 25 0 1 0 776030086 424849408 102655 4294967295 134512640 134714508 3221224592 3221223036 134535956 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 103723 102655 1111 63 0 103660 0
vsize: 414892
[startup+400.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12584
Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 102874 0 0 0 39778 197 0 0 25 0 1 0 776030086 425119744 102714 4294967295 134512640 134714508 3221224592 3221223036 134535970 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 103789 102714 1111 63 0 103726 0
vsize: 415156
[startup+410.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12584
Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 102934 0 0 0 40777 198 0 0 25 0 1 0 776030086 425390080 102774 4294967295 134512640 134714508 3221224592 3221223036 134536766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 103855 102774 1111 63 0 103792 0
vsize: 415420
[startup+420.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12584
Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 102984 0 0 0 41777 198 0 0 25 0 1 0 776030086 425525248 102824 4294967295 134512640 134714508 3221224592 3221223072 134543043 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 103888 102824 1111 63 0 103825 0
vsize: 415552
[startup+430.054 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12584
Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 103046 0 0 0 42777 198 0 0 25 0 1 0 776030086 425795584 102886 4294967295 134512640 134714508 3221224592 3221223056 134543097 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 103954 102886 1111 63 0 103891 0
vsize: 415816
[startup+440.055 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12584
Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 103119 0 0 0 43777 199 0 0 25 0 1 0 776030086 426065920 102959 4294967295 134512640 134714508 3221224592 3221223056 134543030 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 104020 102959 1111 63 0 103957 0
vsize: 416080
[startup+450.055 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12584
Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 103175 0 0 0 44776 199 0 0 25 0 1 0 776030086 426336256 103015 4294967295 134512640 134714508 3221224592 3221223036 134535925 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 104086 103015 1111 63 0 104023 0
vsize: 416344
[startup+460.055 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12584
Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 103250 0 0 0 45776 200 0 0 25 0 1 0 776030086 426610688 103090 4294967295 134512640 134714508 3221224592 3221223344 134630795 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 104153 103090 1111 63 0 104090 0
vsize: 416612
[startup+470.055 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12584
Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 103350 0 0 0 46776 200 0 0 25 0 1 0 776030086 427016192 103190 4294967295 134512640 134714508 3221224592 3221223036 134535956 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 104252 103190 1111 63 0 104189 0
vsize: 417008
[startup+480.055 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12584
Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 103470 0 0 0 47775 201 0 0 25 0 1 0 776030086 427556864 103310 4294967295 134512640 134714508 3221224592 3221223056 134543097 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 104384 103310 1111 63 0 104321 0
vsize: 417536
[startup+490.056 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12584
Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 103542 0 0 0 48775 201 0 0 25 0 1 0 776030086 427827200 103382 4294967295 134512640 134714508 3221224592 3221223056 134543097 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 104450 103382 1111 63 0 104387 0
vsize: 417800
[startup+500.057 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12584
Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 103594 0 0 0 49775 202 0 0 25 0 1 0 776030086 427962368 103434 4294967295 134512640 134714508 3221224592 3221223036 134535895 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 104483 103434 1111 63 0 104420 0
vsize: 417932
[startup+510.057 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12584
Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 103635 0 0 0 50775 202 0 0 25 0 1 0 776030086 428232704 103475 4294967295 134512640 134714508 3221224592 3221223036 134536766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 104549 103475 1111 63 0 104486 0
vsize: 418196
[startup+520.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12584
Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 103694 0 0 0 51775 202 0 0 25 0 1 0 776030086 428367872 103534 4294967295 134512640 134714508 3221224592 3221223100 134536568 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 104582 103534 1111 63 0 104519 0
vsize: 418328
[startup+530.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12584
Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 103745 0 0 0 52775 202 0 0 25 0 1 0 776030086 428638208 103585 4294967295 134512640 134714508 3221224592 3221223036 134535967 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 104648 103585 1111 63 0 104585 0
vsize: 418592
[startup+540.057 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12584
Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 103794 0 0 0 53775 203 0 0 25 0 1 0 776030086 428773376 103634 4294967295 134512640 134714508 3221224592 3221223072 134543041 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 104681 103634 1111 63 0 104618 0
vsize: 418724
[startup+550.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12584
Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 103846 0 0 0 54775 203 0 0 25 0 1 0 776030086 429043712 103686 4294967295 134512640 134714508 3221224592 3221223056 134543097 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 104747 103686 1111 63 0 104684 0
vsize: 418988
[startup+560.057 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12584
Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 103929 0 0 0 55775 203 0 0 25 0 1 0 776030086 429314048 103769 4294967295 134512640 134714508 3221224592 3221223232 134594947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 104813 103769 1111 63 0 104750 0
vsize: 419252
[startup+570.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12584
Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 103998 0 0 0 56775 203 0 0 25 0 1 0 776030086 429584384 103838 4294967295 134512640 134714508 3221224592 3221223056 134543030 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 104879 103838 1111 63 0 104816 0
vsize: 419516
[startup+580.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12584
Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 104066 0 0 0 57775 204 0 0 25 0 1 0 776030086 429854720 103906 4294967295 134512640 134714508 3221224592 3221223044 134536752 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 104945 103906 1111 63 0 104882 0
vsize: 419780
[startup+590.057 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12584
Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 104134 0 0 0 58775 204 0 0 25 0 1 0 776030086 430125056 103974 4294967295 134512640 134714508 3221224592 3221223036 134536766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 105011 103974 1111 63 0 104948 0
vsize: 420044
[startup+600.057 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12584
Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 104248 0 0 0 59774 204 0 0 25 0 1 0 776030086 430665728 104088 4294967295 134512640 134714508 3221224592 3221223264 134627187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 105143 104088 1111 63 0 105080 0
vsize: 420572
[startup+610.057 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12584
Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 104250 0 0 0 60774 204 0 0 25 0 1 0 776030086 430665728 104090 4294967295 134512640 134714508 3221224592 3221223264 134627125 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 105143 104090 1111 63 0 105080 0
vsize: 420572
[startup+620.057 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12584
Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 104254 0 0 0 61774 204 0 0 25 0 1 0 776030086 430665728 104094 4294967295 134512640 134714508 3221224592 3221223256 134627195 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 105143 104094 1111 63 0 105080 0
vsize: 420572
[startup+630.056 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12584
Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 104256 0 0 0 62774 205 0 0 25 0 1 0 776030086 430665728 104096 4294967295 134512640 134714508 3221224592 3221223264 134627241 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 105143 104096 1111 63 0 105080 0
vsize: 420572
[startup+640.057 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12584
Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 104258 0 0 0 63775 205 0 0 25 0 1 0 776030086 430665728 104098 4294967295 134512640 134714508 3221224592 3221223264 134627241 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 105143 104098 1111 63 0 105080 0
vsize: 420572
[startup+650.057 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12584
Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 104265 0 0 0 64775 205 0 0 25 0 1 0 776030086 430665728 104105 4294967295 134512640 134714508 3221224592 3221223264 134627333 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.057 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12584
Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 105730 0 0 0 65772 208 0 0 25 0 1 0 776030086 436690944 105545 4294967295 134512640 134714508 3221224592 3221197408 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 106614 105545 1111 63 0 106551 0
vsize: 426456
[startup+670.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12584
Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 106118 0 0 0 66770 210 0 0 25 0 1 0 776030086 438280192 105933 4294967295 134512640 134714508 3221224592 3221222672 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 107002 105933 1111 63 0 106939 0
vsize: 428008
[startup+680.059 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12584
Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 106148 0 0 0 67770 210 0 0 25 0 1 0 776030086 438403072 105963 4294967295 134512640 134714508 3221224592 3221222656 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 107032 105963 1111 63 0 106969 0
vsize: 428128
[startup+690.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12584
Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 106182 0 0 0 68770 210 0 0 25 0 1 0 776030086 438534144 105997 4294967295 134512640 134714508 3221224592 3221222816 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 107064 105997 1111 63 0 107001 0
vsize: 428256
[startup+700.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12584
Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 112931 0 0 0 69755 225 0 0 25 0 1 0 776030086 450138112 108814 4294967295 134512640 134714508 3221224592 3221220584 1074950210 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.059 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12584
Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 112937 0 0 0 70755 225 0 0 25 0 1 0 776030086 450138112 108820 4294967295 134512640 134714508 3221224592 3221221168 1075969185 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 109897 108820 1111 63 0 109834 0
vsize: 439588
[startup+720.059 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12584
Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 118579 0 0 0 71742 238 0 0 25 0 1 0 776030086 439992320 106513 4294967295 134512640 134714508 3221224592 3221222816 1074039267 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 107420 106513 1111 63 0 107357 0
vsize: 429680
[startup+730.059 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12584
Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 119576 0 0 0 72740 240 0 0 25 0 1 0 776030086 441257984 106790 4294967295 134512640 134714508 3221224592 3221222832 1074039443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 107729 106790 1111 63 0 107666 0
vsize: 430916
[startup+740.059 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12584
Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 126643 0 0 0 73726 254 0 0 25 0 1 0 776030086 452571136 109444 4294967295 134512640 134714508 3221224592 3221221480 1075112553 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 110491 109444 1111 63 0 110428 0
vsize: 441964
[startup+750.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12584
Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 131842 0 0 0 74715 266 0 0 25 0 1 0 776030086 442224640 107058 4294967295 134512640 134714508 3221224592 3221222664 1074950114 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 107965 107058 1111 63 0 107902 0
vsize: 431860
[startup+760.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12584
Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 131842 0 0 0 75715 266 0 0 25 0 1 0 776030086 442224640 107058 4294967295 134512640 134714508 3221224592 3221222976 134606848 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 107965 107058 1111 63 0 107902 0
vsize: 431860
[startup+770.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12584
Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 134274 0 0 0 76711 271 0 0 25 0 1 0 776030086 452849664 109457 4294967295 134512640 134714508 3221224592 3221222624 1074867340 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 110559 109457 1111 63 0 110496 0
vsize: 442236
[startup+780.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12584
Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 143484 0 0 0 77689 293 0 0 25 0 1 0 776030086 442114048 107031 4294967295 134512640 134714508 3221224592 3221223392 134597777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 107938 107031 1111 63 0 107875 0
vsize: 431752
[startup+790.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12584
Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 159601 0 0 0 78652 329 0 0 25 0 1 0 776030086 437211136 105835 4294967295 134512640 134714508 3221224592 3221222944 1074115298 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106741 105835 1111 63 0 106678 0
vsize: 426964
[startup+800.061 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12584
Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 185161 0 0 0 79599 382 0 0 25 0 1 0 776030086 438190080 105899 4294967295 134512640 134714508 3221224592 3221222704 1074867274 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106980 105899 1111 63 0 106917 0
vsize: 427920
[startup+810.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12584
Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 204942 0 0 0 80557 424 0 0 25 0 1 0 776030086 437211136 105835 4294967295 134512640 134714508 3221224592 3221222856 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106741 105835 1111 63 0 106678 0
vsize: 426964
[startup+820.063 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12584
Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 220862 0 0 0 81523 459 0 0 25 0 1 0 776030086 437235712 105835 4294967295 134512640 134714508 3221224592 3221222792 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106747 105835 1111 63 0 106684 0
vsize: 426988
[startup+830.063 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12584
Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 233572 0 0 0 82496 487 0 0 25 0 1 0 776030086 437235712 105835 4294967295 134512640 134714508 3221224592 3221222920 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106747 105835 1111 63 0 106684 0
vsize: 426988
[startup+840.063 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12584
Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 245032 0 0 0 83471 512 0 0 25 0 1 0 776030086 437211136 105835 4294967295 134512640 134714508 3221224592 3221222664 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106741 105835 1111 63 0 106678 0
vsize: 426964
[startup+850.065 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12584
Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 255378 0 0 0 84447 535 0 0 25 0 1 0 776030086 437235712 105835 4294967295 134512640 134714508 3221224592 3221223056 1074121006 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106747 105835 1111 63 0 106684 0
vsize: 426988
[startup+860.064 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12584
Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 265503 0 0 0 85424 558 0 0 25 0 1 0 776030086 438231040 105907 4294967295 134512640 134714508 3221224592 3221222512 1075802501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106990 105907 1111 63 0 106927 0
vsize: 427960
[startup+870.064 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12584
Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 275302 0 0 0 86402 581 0 0 25 0 1 0 776030086 437235712 105835 4294967295 134512640 134714508 3221224592 3221222832 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106747 105835 1111 63 0 106684 0
vsize: 426988
[startup+880.064 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12584
Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 284297 0 0 0 87380 603 0 0 25 0 1 0 776030086 437211136 105835 4294967295 134512640 134714508 3221224592 3221222704 1074153736 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106741 105835 1111 63 0 106678 0
vsize: 426964
[startup+890.065 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12584
Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 292667 0 0 0 88361 622 0 0 25 0 1 0 776030086 437211136 105835 4294967295 134512640 134714508 3221224592 3221222616 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106741 105835 1111 63 0 106678 0
vsize: 426964
[startup+900.065 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12584
Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 300574 0 0 0 89344 639 0 0 25 0 1 0 776030086 437235712 105835 4294967295 134512640 134714508 3221224592 3221222736 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106747 105835 1111 63 0 106684 0
vsize: 426988
[startup+910.065 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12584
Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 308210 0 0 0 90327 657 0 0 25 0 1 0 776030086 438677504 106001 4294967295 134512640 134714508 3221224592 3221220664 1074950227 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 107099 106002 1111 63 0 107036 0
vsize: 428396
[startup+920.066 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12584
Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 315484 0 0 0 91309 675 0 0 25 0 1 0 776030086 438231040 105906 4294967295 134512640 134714508 3221224592 3221222320 1075828232 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106990 105906 1111 63 0 106927 0
vsize: 427960
[startup+930.066 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12584
Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 322828 0 0 0 92292 692 0 0 25 0 1 0 776030086 437235712 105841 4294967295 134512640 134714508 3221224592 3221222844 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106747 105841 1111 63 0 106684 0
vsize: 426988
[startup+940.066 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12584
Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 329877 0 0 0 93277 707 0 0 25 0 1 0 776030086 437809152 105945 4294967295 134512640 134714508 3221224592 3221222944 1074115331 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106887 105949 1111 63 0 106824 0
vsize: 427548
[startup+950.066 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12584
Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 336946 0 0 0 94263 722 0 0 25 0 1 0 776030086 437211136 105835 4294967295 134512640 134714508 3221224592 3221222736 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106741 105835 1111 63 0 106678 0
vsize: 426964
[startup+960.066 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12584
Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 343627 0 0 0 95248 736 0 0 25 0 1 0 776030086 438214656 105865 4294967295 134512640 134714508 3221224592 3221221632 1075860321 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106986 105865 1111 63 0 106923 0
vsize: 427944
[startup+970.066 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12584
Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 350242 0 0 0 96232 752 0 0 25 0 1 0 776030086 437235712 105841 4294967295 134512640 134714508 3221224592 3221222896 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106747 105841 1111 63 0 106684 0
vsize: 426988
[startup+980.066 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12584
Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 356725 0 0 0 97218 767 0 0 25 0 1 0 776030086 438247424 105907 4294967295 134512640 134714508 3221224592 3221222704 1074867340 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106994 105907 1111 63 0 106931 0
vsize: 427976
[startup+990.065 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12584
Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 363120 0 0 0 98203 782 0 0 25 0 1 0 776030086 438247424 105908 4294967295 134512640 134714508 3221224592 3221222704 1074867308 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106994 105908 1111 63 0 106931 0
vsize: 427976
[startup+1000.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12584
Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 369346 0 0 0 99187 798 0 0 25 0 1 0 776030086 437235712 105841 4294967295 134512640 134714508 3221224592 3221222736 1074153669 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106747 105841 1111 63 0 106684 0
vsize: 426988
[startup+1010.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12584
Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 375646 0 0 0 100172 813 0 0 25 0 1 0 776030086 437211136 105835 4294967295 134512640 134714508 3221224592 3221222944 1074142962 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106741 105835 1111 63 0 106678 0
vsize: 426964
[startup+1020.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12584
Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 381696 0 0 0 101160 826 0 0 25 0 1 0 776030086 437235712 105835 4294967295 134512640 134714508 3221224592 3221222784 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106747 105835 1111 63 0 106684 0
vsize: 426988
[startup+1030.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12584
Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 387711 0 0 0 102145 840 0 0 25 0 1 0 776030086 437235712 105835 4294967295 134512640 134714508 3221224592 3221222704 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106747 105835 1111 63 0 106684 0
vsize: 426988
[startup+1040.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12584
Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 393692 0 0 0 103133 853 0 0 25 0 1 0 776030086 437211136 105835 4294967295 134512640 134714508 3221224592 3221222384 1074050884 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106741 105835 1111 63 0 106678 0
vsize: 426964
[startup+1050.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12584
Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 399220 0 0 0 104120 866 0 0 25 0 1 0 776030086 437235712 105841 4294967295 134512640 134714508 3221224592 3221222792 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106747 105841 1111 63 0 106684 0
vsize: 426988
[startup+1060.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12584
Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 405244 0 0 0 105108 878 0 0 25 0 1 0 776030086 437538816 105845 4294967295 134512640 134714508 3221224592 3221221712 1074865662 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106821 105845 1111 63 0 106758 0
vsize: 427284
[startup+1070.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12584
Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 411235 0 0 0 106093 894 0 0 25 0 1 0 776030086 437211136 105835 4294967295 134512640 134714508 3221224592 3221222896 1074153794 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106741 105835 1111 63 0 106678 0
vsize: 426964
[startup+1080.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12584
Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 417015 0 0 0 107080 907 0 0 25 0 1 0 776030086 437211136 105835 4294967295 134512640 134714508 3221224592 3221222856 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106741 105835 1111 63 0 106678 0
vsize: 426964
[startup+1090.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12584
Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 422360 0 0 0 108068 919 0 0 25 0 1 0 776030086 438247424 105908 4294967295 134512640 134714508 3221224592 3221222320 1075828608 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106994 105908 1111 63 0 106931 0
vsize: 427976
[startup+1100.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12584
Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 428449 0 0 0 109055 932 0 0 25 0 1 0 776030086 437231616 105835 4294967295 134512640 134714508 3221224592 3221222288 1074050818 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106746 105835 1111 63 0 106683 0
vsize: 426984
[startup+1110.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12584
Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 433945 0 0 0 110041 946 0 0 25 0 1 0 776030086 437235712 105835 4294967295 134512640 134714508 3221224592 3221222696 1074138158 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106747 105835 1111 63 0 106684 0
vsize: 426988
[startup+1120.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12584
Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 439444 0 0 0 111027 960 0 0 25 0 1 0 776030086 437235712 105835 4294967295 134512640 134714508 3221224592 3221222944 1074153648 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106747 105835 1111 63 0 106684 0
vsize: 426988
[startup+1130.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12584
Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 444599 0 0 0 112014 974 0 0 25 0 1 0 776030086 437342208 105867 4294967295 134512640 134714508 3221224592 3221222944 1074115304 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106773 105867 1111 63 0 106710 0
vsize: 427092
[startup+1140.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12584
Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 449650 0 0 0 113001 987 0 0 25 0 1 0 776030086 437235712 105841 4294967295 134512640 134714508 3221224592 3221222752 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106747 105841 1111 63 0 106684 0
vsize: 426988
[startup+1150.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12584
Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 455008 0 0 0 113988 1000 0 0 25 0 1 0 776030086 437211136 105835 4294967295 134512640 134714508 3221224592 3221222664 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106741 105835 1111 63 0 106678 0
vsize: 426964
[startup+1160.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12584
Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 459770 0 0 0 114977 1011 0 0 25 0 1 0 776030086 437235712 105841 4294967295 134512640 134714508 3221224592 3221222784 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106747 105841 1111 63 0 106684 0
vsize: 426988
[startup+1170.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12584
Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 464474 0 0 0 115965 1023 0 0 25 0 1 0 776030086 437260288 105847 4294967295 134512640 134714508 3221224592 3221222976 1074153669 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106753 105847 1111 63 0 106690 0
vsize: 427012
[startup+1180.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12584
Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 469343 0 0 0 116954 1034 0 0 25 0 1 0 776030086 438235136 105931 4294967295 134512640 134714508 3221224592 3221221936 1074839039 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106991 105931 1111 63 0 106928 0
vsize: 427964
[startup+1190.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12584
Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 474193 0 0 0 117942 1046 0 0 25 0 1 0 776030086 437424128 105887 4294967295 134512640 134714508 3221224592 3221223056 1074121071 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106793 105887 1111 63 0 106730 0
vsize: 427172
[startup+1200.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12584
Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 478746 0 0 0 118931 1058 0 0 25 0 1 0 776030086 437395456 105866 4294967295 134512640 134714508 3221224592 3221222592 1074918937 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106786 105866 1111 63 0 106723 0
vsize: 427144
[startup+1210.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12584
Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 483431 0 0 0 119921 1068 0 0 25 0 1 0 776030086 437260288 105847 4294967295 134512640 134714508 3221224592 3221222944 1074153786 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106753 105847 1111 63 0 106690 0
vsize: 427012
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1210.27 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 12584
Raw data (stat): 12584 (bsolo_lpr) Z 12583 3944 3943 0 -1 1036 483431 0 0 0 119921 1088 0 0 25 0 1 0 776030086 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): 1210.27
CPU time (s): 1210.1
CPU user time (s): 1199.22
CPU system time (s): 10.8803
CPU usage (%): 99.986
Max. virtual memory (Kb): 442236
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####