PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran12x12.opb
MD5SUM	eac61d4d68844395596b0518195dd6df
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	493056
Optimality of the best value was proved	NO
Number of terms in the objective function	3024
Biggest coefficient in the objective function	5242880
Number of bits for the biggest coefficient in the objective function	23
Sum of the numbers in the objective function	839045346
Number of bits of the sum of numbers in the objective function	30
Biggest number in a constraint	5242880
Number of bits of the biggest number in a constraint	23
Biggest sum of numbers in a constraint	839045346
Number of bits of the biggest sum of numbers	30
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	41.1977
Number of variables	3024
Total number of constraints	168
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	168
Minimum length of a constraint	21
Maximum length of a constraint	240
Trace number 26888

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc29 THE 2005-05-24 17:41:52 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=19254 boxname=wulflinc29 idbench=1482 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  eac61d4d68844395596b0518195dd6df  /oldhome/oroussel/tmp/wulflinc29/normalized-mps-v2-13-7-ran12x12.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc29/normalized-mps-v2-13-7-ran12x12.opb
IDLAUNCH: 19254
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.020
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	: 3
cpu MHz		: 451.020
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:        813380 kB
Buffers:          6544 kB
Cached:         193348 kB
SwapCached:        776 kB
Active:          33084 kB
Inactive:       169352 kB
HighTotal:      131008 kB
HighFree:         3472 kB
LowTotal:       903652 kB
LowFree:        809908 kB
SwapTotal:     2097892 kB
SwapFree:      2096724 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5640 kB
Slab:            13124 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-24 18:01:27 (client local time) WITH STATUS 0 IN 1175.03 SECONDS
stats: 19254 7 1175.03 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 3024 variables and 192 constraints.
c After prepocess the problem consists of 1700 variables and 246 constraints.
c preprocess terminated 2.33 s
c Initial Lower Bound: 233801
c Lower Bound Elapsed time: 0.45975
c Use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.01 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.95 0.96 0.97 2/54 22266
Raw data (stat): 22266 (runsolver) R 22265 20001 20000 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 832115728 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0001 s]
Raw data (loadavg): 0.95 0.96 0.97 2/54 22266
Raw data (stat): 22266 (bsolo_lpr) R 22265 20001 20000 0 -1 0 12821 0 0 0 971 26 0 0 25 0 1 0 832115728 25378816 5481 4294967295 134512640 134714508 3221224592 3221223232 134649077 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6196 5481 1111 63 0 6133 0
vsize: 24784
[startup+20.0009 s]
Raw data (loadavg): 0.96 0.96 0.97 2/54 22266
Raw data (stat): 22266 (bsolo_lpr) R 22265 20001 20000 0 -1 0 20369 0 0 0 1956 42 0 0 25 0 1 0 832115728 25681920 5555 4294967295 134512640 134714508 3221224592 3221222592 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6270 5555 1111 63 0 6207 0
vsize: 25080
[startup+30.001 s]
Raw data (loadavg): 0.97 0.96 0.97 2/54 22266
Raw data (stat): 22266 (bsolo_lpr) R 22265 20001 20000 0 -1 0 28011 0 0 0 2938 60 0 0 25 0 1 0 832115728 25669632 5556 4294967295 134512640 134714508 3221224592 3221220664 1074950215 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6267 5556 1111 63 0 6204 0
vsize: 25068
[startup+40.0014 s]
Raw data (loadavg): 0.97 0.96 0.97 2/54 22266
Raw data (stat): 22266 (bsolo_lpr) R 22265 20001 20000 0 -1 0 35571 0 0 0 3923 76 0 0 25 0 1 0 832115728 25669632 5556 4294967295 134512640 134714508 3221224592 3221220664 1074950210 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6267 5556 1111 63 0 6204 0
vsize: 25068
[startup+50.0023 s]
Raw data (loadavg): 0.98 0.96 0.97 2/54 22266
Raw data (stat): 22266 (bsolo_lpr) R 22265 20001 20000 0 -1 0 43787 0 0 0 4903 95 0 0 25 0 1 0 832115728 25657344 5534 4294967295 134512640 134714508 3221224592 3221221784 1074138316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6264 5534 1111 63 0 6201 0
vsize: 25056
[startup+60.0027 s]
Raw data (loadavg): 0.98 0.96 0.97 2/54 22266
Raw data (stat): 22266 (bsolo_lpr) R 22265 20001 20000 0 -1 0 52311 0 0 0 5885 113 0 0 25 0 1 0 832115728 25657344 5553 4294967295 134512640 134714508 3221224592 3221222512 1075799556 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6264 5553 1111 63 0 6201 0
vsize: 25056
[startup+70.0028 s]
Raw data (loadavg): 0.98 0.96 0.97 2/54 22266
Raw data (stat): 22266 (bsolo_lpr) R 22265 20001 20000 0 -1 0 60600 0 0 0 6868 131 0 0 25 0 1 0 832115728 25645056 5550 4294967295 134512640 134714508 3221224592 3221220556 1074860617 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6261 5550 1111 63 0 6198 0
vsize: 25044
[startup+80.0026 s]
Raw data (loadavg): 0.98 0.97 0.97 2/54 22266
Raw data (stat): 22266 (bsolo_lpr) R 22265 20001 20000 0 -1 0 69091 0 0 0 7852 147 0 0 25 0 1 0 832115728 25362432 5482 4294967295 134512640 134714508 3221224592 3221222944 1074115342 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6192 5482 1111 63 0 6129 0
vsize: 24768
[startup+90.0039 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 22266
Raw data (stat): 22266 (bsolo_lpr) R 22265 20001 20000 0 -1 0 77161 0 0 0 8834 164 0 0 25 0 1 0 832115728 25735168 5516 4294967295 134512640 134714508 3221224592 3221222704 1074867340 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6283 5516 1111 63 0 6220 0
vsize: 25132
[startup+100.004 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 22266
Raw data (stat): 22266 (bsolo_lpr) R 22265 20001 20000 0 -1 0 81030 0 0 0 9825 174 0 0 25 0 1 0 832115728 25227264 5449 4294967295 134512640 134714508 3221224592 3221222792 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6159 5449 1111 63 0 6096 0
vsize: 24636
[startup+110.004 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 22266
Raw data (stat): 22266 (bsolo_lpr) R 22265 20001 20000 0 -1 0 84578 0 0 0 10816 183 0 0 25 0 1 0 832115728 25731072 5540 4294967295 134512640 134714508 3221224592 3221220752 1075084528 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6282 5540 1111 63 0 6219 0
vsize: 25128
[startup+120.005 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 22266
Raw data (stat): 22266 (bsolo_lpr) R 22265 20001 20000 0 -1 0 88168 0 0 0 11807 192 0 0 25 0 1 0 832115728 25595904 5507 4294967295 134512640 134714508 3221224592 3221221712 1074833352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6249 5507 1111 63 0 6186 0
vsize: 24996
[startup+130.006 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 22266
Raw data (stat): 22266 (bsolo_lpr) R 22265 20001 20000 0 -1 0 91652 0 0 0 12798 202 0 0 25 0 1 0 832115728 25468928 5506 4294967295 134512640 134714508 3221224592 3221222592 1074918935 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6218 5506 1111 63 0 6155 0
vsize: 24872
[startup+140.006 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 22266
Raw data (stat): 22266 (bsolo_lpr) R 22265 20001 20000 0 -1 0 95009 0 0 0 13790 209 0 0 25 0 1 0 832115728 25227264 5450 4294967295 134512640 134714508 3221224592 3221221584 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6159 5450 1111 63 0 6096 0
vsize: 24636
[startup+150.008 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 22266
Raw data (stat): 22266 (bsolo_lpr) R 22265 20001 20000 0 -1 0 98440 0 0 0 14779 220 0 0 25 0 1 0 832115728 25673728 5502 4294967295 134512640 134714508 3221224592 3221222704 1074867340 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6268 5502 1111 63 0 6205 0
vsize: 25072
[startup+160.007 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 22266
Raw data (stat): 22266 (bsolo_lpr) R 22265 20001 20000 0 -1 0 101812 0 0 0 15770 229 0 0 25 0 1 0 832115728 25227264 5450 4294967295 134512640 134714508 3221224592 3221222880 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6159 5450 1111 63 0 6096 0
vsize: 24636
[startup+170.008 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 22266
Raw data (stat): 22266 (bsolo_lpr) R 22265 20001 20000 0 -1 0 104414 0 0 0 16764 236 0 0 25 0 1 0 832115728 25227264 5452 4294967295 134512640 134714508 3221224592 3221223136 134650104 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6159 5452 1111 63 0 6096 0
vsize: 24636
[startup+180.008 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 22266
Raw data (stat): 22266 (bsolo_lpr) R 22265 20001 20000 0 -1 0 104414 0 0 0 17764 236 0 0 25 0 1 0 832115728 25227264 5452 4294967295 134512640 134714508 3221224592 3221221984 1074153792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6159 5452 1111 63 0 6096 0
vsize: 24636
[startup+190.009 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 22266
Raw data (stat): 22266 (bsolo_lpr) R 22265 20001 20000 0 -1 0 104414 0 0 0 18763 237 0 0 25 0 1 0 832115728 25227264 5452 4294967295 134512640 134714508 3221224592 3221222572 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6159 5452 1111 63 0 6096 0
vsize: 24636
[startup+200.009 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 22266
Raw data (stat): 22266 (bsolo_lpr) R 22265 20001 20000 0 -1 0 104414 0 0 0 19762 238 0 0 25 0 1 0 832115728 25227264 5452 4294967295 134512640 134714508 3221224592 3221222320 1075828451 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6159 5452 1111 63 0 6096 0
vsize: 24636
[startup+210.009 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 22266
Raw data (stat): 22266 (bsolo_lpr) R 22265 20001 20000 0 -1 0 104414 0 0 0 20762 239 0 0 25 0 1 0 832115728 25227264 5452 4294967295 134512640 134714508 3221224592 3221223008 1074116233 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6159 5452 1111 63 0 6096 0
vsize: 24636
[startup+220.01 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 22266
Raw data (stat): 22266 (bsolo_lpr) R 22265 20001 20000 0 -1 0 104414 0 0 0 21761 239 0 0 25 0 1 0 832115728 25227264 5452 4294967295 134512640 134714508 3221224592 3221221712 1074834461 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6159 5452 1111 63 0 6096 0
vsize: 24636
[startup+230.01 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 22266
Raw data (stat): 22266 (bsolo_lpr) R 22265 20001 20000 0 -1 0 104414 0 0 0 22760 240 0 0 25 0 1 0 832115728 25227264 5452 4294967295 134512640 134714508 3221224592 3221222412 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6159 5452 1111 63 0 6096 0
vsize: 24636
[startup+240.011 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 22266
Raw data (stat): 22266 (bsolo_lpr) R 22265 20001 20000 0 -1 0 104414 0 0 0 23760 241 0 0 25 0 1 0 832115728 25227264 5452 4294967295 134512640 134714508 3221224592 3221222992 1074119066 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6159 5452 1111 63 0 6096 0
vsize: 24636
[startup+250.011 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 22266
Raw data (stat): 22266 (bsolo_lpr) R 22265 20001 20000 0 -1 0 104415 0 0 0 24759 241 0 0 25 0 1 0 832115728 25227264 5453 4294967295 134512640 134714508 3221224592 3221222888 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6159 5453 1111 63 0 6096 0
vsize: 24636
[startup+260.011 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 22266
Raw data (stat): 22266 (bsolo_lpr) R 22265 20001 20000 0 -1 0 104416 0 0 0 25759 242 0 0 25 0 1 0 832115728 25227264 5454 4294967295 134512640 134714508 3221224592 3221221560 1075960165 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6159 5454 1111 63 0 6096 0
vsize: 24636
[startup+270.011 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 22266
Raw data (stat): 22266 (bsolo_lpr) R 22265 20001 20000 0 -1 0 104418 0 0 0 26758 242 0 0 25 0 1 0 832115728 25227264 5456 4294967295 134512640 134714508 3221224592 3221222792 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6159 5456 1111 63 0 6096 0
vsize: 24636
[startup+280.011 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 22266
Raw data (stat): 22266 (bsolo_lpr) R 22265 20001 20000 0 -1 0 104418 0 0 0 27758 243 0 0 25 0 1 0 832115728 25227264 5456 4294967295 134512640 134714508 3221224592 3221222992 1074118790 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6159 5456 1111 63 0 6096 0
vsize: 24636
[startup+290.012 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 22266
Raw data (stat): 22266 (bsolo_lpr) R 22265 20001 20000 0 -1 0 104418 0 0 0 28757 244 0 0 25 0 1 0 832115728 25227264 5456 4294967295 134512640 134714508 3221224592 3221222976 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6159 5456 1111 63 0 6096 0
vsize: 24636
[startup+300.013 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 22266
Raw data (stat): 22266 (bsolo_lpr) R 22265 20001 20000 0 -1 0 104418 0 0 0 29755 246 0 0 25 0 1 0 832115728 25227264 5456 4294967295 134512640 134714508 3221224592 3221222688 1074143852 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6159 5456 1111 63 0 6096 0
vsize: 24636
[startup+310.013 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 22266
Raw data (stat): 22266 (bsolo_lpr) R 22265 20001 20000 0 -1 0 104418 0 0 0 30754 247 0 0 25 0 1 0 832115728 25227264 5456 4294967295 134512640 134714508 3221224592 3221222760 1074138158 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6159 5456 1111 63 0 6096 0
vsize: 24636
[startup+320.013 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 22266
Raw data (stat): 22266 (bsolo_lpr) R 22265 20001 20000 0 -1 0 104418 0 0 0 31753 248 0 0 25 0 1 0 832115728 25227264 5456 4294967295 134512640 134714508 3221224592 3221222888 1074138166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6159 5456 1111 63 0 6096 0
vsize: 24636
[startup+330.013 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 22266
Raw data (stat): 22266 (bsolo_lpr) R 22265 20001 20000 0 -1 0 104418 0 0 0 32752 249 0 0 25 0 1 0 832115728 25227264 5456 4294967295 134512640 134714508 3221224592 3221222568 1077380592 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6159 5456 1111 63 0 6096 0
vsize: 24636
[startup+340.015 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 22266
Raw data (stat): 22266 (bsolo_lpr) R 22265 20001 20000 0 -1 0 104418 0 0 0 33751 250 0 0 25 0 1 0 832115728 25227264 5456 4294967295 134512640 134714508 3221224592 3221223136 1073989433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6159 5456 1111 63 0 6096 0
vsize: 24636
[startup+350.015 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 22266
Raw data (stat): 22266 (bsolo_lpr) R 22265 20001 20000 0 -1 0 104418 0 0 0 34751 251 0 0 25 0 1 0 832115728 25227264 5456 4294967295 134512640 134714508 3221224592 3221222752 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6159 5456 1111 63 0 6096 0
vsize: 24636
[startup+360.015 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 22266
Raw data (stat): 22266 (bsolo_lpr) R 22265 20001 20000 0 -1 0 104418 0 0 0 35749 252 0 0 25 0 1 0 832115728 25227264 5456 4294967295 134512640 134714508 3221224592 3221221148 1075509044 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6159 5456 1111 63 0 6096 0
vsize: 24636
[startup+370.016 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 22266
Raw data (stat): 22266 (bsolo_lpr) R 22265 20001 20000 0 -1 0 104418 0 0 0 36748 253 0 0 25 0 1 0 832115728 25227264 5456 4294967295 134512640 134714508 3221224592 3221222576 1074051973 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6159 5456 1111 63 0 6096 0
vsize: 24636
[startup+380.016 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 22266
Raw data (stat): 22266 (bsolo_lpr) R 22265 20001 20000 0 -1 0 104418 0 0 0 37747 254 0 0 25 0 1 0 832115728 25227264 5456 4294967295 134512640 134714508 3221224592 3221222336 1075646688 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6159 5456 1111 63 0 6096 0
vsize: 24636
[startup+390.017 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 22266
Raw data (stat): 22266 (bsolo_lpr) R 22265 20001 20000 0 -1 0 104418 0 0 0 38747 255 0 0 25 0 1 0 832115728 25227264 5456 4294967295 134512640 134714508 3221224592 3221223056 1074121015 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6159 5456 1111 63 0 6096 0
vsize: 24636
[startup+400.017 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 22266
Raw data (stat): 22266 (bsolo_lpr) R 22265 20001 20000 0 -1 0 104418 0 0 0 39745 256 0 0 25 0 1 0 832115728 25227264 5456 4294967295 134512640 134714508 3221224592 3221222928 134650104 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6159 5456 1111 63 0 6096 0
vsize: 24636
[startup+410.017 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 22266
Raw data (stat): 22266 (bsolo_lpr) R 22265 20001 20000 0 -1 0 104418 0 0 0 40744 257 0 0 25 0 1 0 832115728 25227264 5456 4294967295 134512640 134714508 3221224592 3221220752 1074795043 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6159 5456 1111 63 0 6096 0
vsize: 24636
[startup+420.018 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 22266
Raw data (stat): 22266 (bsolo_lpr) R 22265 20001 20000 0 -1 0 104418 0 0 0 41743 258 0 0 25 0 1 0 832115728 25227264 5456 4294967295 134512640 134714508 3221224592 3221223332 134556744 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6159 5456 1111 63 0 6096 0
vsize: 24636
[startup+430.019 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 22266
Raw data (stat): 22266 (bsolo_lpr) R 22265 20001 20000 0 -1 0 104418 0 0 0 42743 259 0 0 25 0 1 0 832115728 25227264 5456 4294967295 134512640 134714508 3221224592 3221222992 1074153779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6159 5456 1111 63 0 6096 0
vsize: 24636
[startup+440.019 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 22266
Raw data (stat): 22266 (bsolo_lpr) R 22265 20001 20000 0 -1 0 104418 0 0 0 43741 260 0 0 25 0 1 0 832115728 25227264 5456 4294967295 134512640 134714508 3221224592 3221223008 1074116193 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6159 5456 1111 63 0 6096 0
vsize: 24636
[startup+450.019 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 22266
Raw data (stat): 22266 (bsolo_lpr) R 22265 20001 20000 0 -1 0 104418 0 0 0 44740 262 0 0 25 0 1 0 832115728 25227264 5456 4294967295 134512640 134714508 3221224592 3221222992 1074118790 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6159 5456 1111 63 0 6096 0
vsize: 24636
[startup+460.019 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 22266
Raw data (stat): 22266 (bsolo_lpr) R 22265 20001 20000 0 -1 0 104418 0 0 0 45739 263 0 0 25 0 1 0 832115728 25227264 5456 4294967295 134512640 134714508 3221224592 3221222288 1074050884 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6159 5456 1111 63 0 6096 0
vsize: 24636
[startup+470.019 s]
Raw data (loadavg): 1.07 0.99 0.97 2/54 22266
Raw data (stat): 22266 (bsolo_lpr) R 22265 20001 20000 0 -1 0 104418 0 0 0 46738 263 0 0 25 0 1 0 832115728 25227264 5456 4294967295 134512640 134714508 3221224592 3221222992 1074119066 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6159 5456 1111 63 0 6096 0
vsize: 24636
[startup+480.02 s]
Raw data (loadavg): 1.06 0.99 0.97 2/54 22266
Raw data (stat): 22266 (bsolo_lpr) R 22265 20001 20000 0 -1 0 104418 0 0 0 47737 265 0 0 25 0 1 0 832115728 25227264 5456 4294967295 134512640 134714508 3221224592 3221222704 1074867340 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6159 5456 1111 63 0 6096 0
vsize: 24636
[startup+490.021 s]
Raw data (loadavg): 1.05 0.99 0.97 2/54 22266
Raw data (stat): 22266 (bsolo_lpr) R 22265 20001 20000 0 -1 0 104418 0 0 0 48736 266 0 0 25 0 1 0 832115728 25227264 5456 4294967295 134512640 134714508 3221224592 3221222976 1074153648 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6159 5456 1111 63 0 6096 0
vsize: 24636
[startup+500.022 s]
Raw data (loadavg): 1.04 0.99 0.97 2/54 22266
Raw data (stat): 22266 (bsolo_lpr) R 22265 20001 20000 0 -1 0 104418 0 0 0 49736 266 0 0 25 0 1 0 832115728 25227264 5456 4294967295 134512640 134714508 3221224592 3221220556 1074860617 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6159 5456 1111 63 0 6096 0
vsize: 24636
[startup+510.022 s]
Raw data (loadavg): 1.04 0.99 0.97 2/54 22266
Raw data (stat): 22266 (bsolo_lpr) R 22265 20001 20000 0 -1 0 104418 0 0 0 50734 268 0 0 25 0 1 0 832115728 25227264 5456 4294967295 134512640 134714508 3221224592 3221222944 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6159 5456 1111 63 0 6096 0
vsize: 24636
[startup+520.022 s]
Raw data (loadavg): 1.03 0.99 0.97 2/54 22266
Raw data (stat): 22266 (bsolo_lpr) R 22265 20001 20000 0 -1 0 104418 0 0 0 51733 269 0 0 25 0 1 0 832115728 25227264 5456 4294967295 134512640 134714508 3221224592 3221221576 1074831431 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6159 5456 1111 63 0 6096 0
vsize: 24636
[startup+530.022 s]
Raw data (loadavg): 1.11 1.00 0.98 2/54 22266
Raw data (stat): 22266 (bsolo_lpr) R 22265 20001 20000 0 -1 0 104418 0 0 0 52732 270 0 0 25 0 1 0 832115728 25227264 5456 4294967295 134512640 134714508 3221224592 3221222220 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6159 5456 1111 63 0 6096 0
vsize: 24636
[startup+540.023 s]
Raw data (loadavg): 1.09 1.00 0.98 2/54 22266
Raw data (stat): 22266 (bsolo_lpr) R 22265 20001 20000 0 -1 0 104418 0 0 0 53731 271 0 0 25 0 1 0 832115728 25227264 5456 4294967295 134512640 134714508 3221224592 3221220656 1075084533 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6159 5456 1111 63 0 6096 0
vsize: 24636
[startup+550.024 s]
Raw data (loadavg): 1.07 1.00 0.98 2/54 22266
Raw data (stat): 22266 (bsolo_lpr) R 22265 20001 20000 0 -1 0 104418 0 0 0 54730 272 0 0 25 0 1 0 832115728 25227264 5456 4294967295 134512640 134714508 3221224592 3221222888 1074138166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6159 5456 1111 63 0 6096 0
vsize: 24636
[startup+560.025 s]
Raw data (loadavg): 1.06 1.00 0.98 2/54 22266
Raw data (stat): 22266 (bsolo_lpr) R 22265 20001 20000 0 -1 0 104418 0 0 0 55730 272 0 0 25 0 1 0 832115728 25227264 5456 4294967295 134512640 134714508 3221224592 3221222736 1074153749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6159 5456 1111 63 0 6096 0
vsize: 24636
[startup+570.024 s]
Raw data (loadavg): 1.05 1.00 0.98 2/54 22266
Raw data (stat): 22266 (bsolo_lpr) R 22265 20001 20000 0 -1 0 104418 0 0 0 56729 273 0 0 25 0 1 0 832115728 25227264 5456 4294967295 134512640 134714508 3221224592 3221220556 1074860826 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6159 5456 1111 63 0 6096 0
vsize: 24636
[startup+580.025 s]
Raw data (loadavg): 1.04 1.00 0.98 2/54 22266
Raw data (stat): 22266 (bsolo_lpr) R 22265 20001 20000 0 -1 0 104418 0 0 0 57728 274 0 0 25 0 1 0 832115728 25227264 5456 4294967295 134512640 134714508 3221224592 3221222640 1074140701 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6159 5456 1111 63 0 6096 0
vsize: 24636
[startup+590.025 s]
Raw data (loadavg): 1.04 1.00 0.98 2/54 22266
Raw data (stat): 22266 (bsolo_lpr) R 22265 20001 20000 0 -1 0 104418 0 0 0 58727 275 0 0 25 0 1 0 832115728 25227264 5456 4294967295 134512640 134714508 3221224592 3221222908 1074138442 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6159 5456 1111 63 0 6096 0
vsize: 24636
[startup+600.026 s]
Raw data (loadavg): 1.03 1.00 0.98 2/54 22266
Raw data (stat): 22266 (bsolo_lpr) R 22265 20001 20000 0 -1 0 104418 0 0 0 59726 276 0 0 25 0 1 0 832115728 25227264 5456 4294967295 134512640 134714508 3221224592 3221222944 1074115298 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6159 5456 1111 63 0 6096 0
vsize: 24636
[startup+610.026 s]
Raw data (loadavg): 1.03 1.00 0.98 2/54 22266
Raw data (stat): 22266 (bsolo_lpr) R 22265 20001 20000 0 -1 0 104418 0 0 0 60726 277 0 0 25 0 1 0 832115728 25227264 5456 4294967295 134512640 134714508 3221224592 3221222280 1077380592 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6159 5456 1111 63 0 6096 0
vsize: 24636
[startup+620.026 s]
Raw data (loadavg): 1.02 1.00 0.98 2/54 22266
Raw data (stat): 22266 (bsolo_lpr) R 22265 20001 20000 0 -1 0 104418 0 0 0 61725 278 0 0 25 0 1 0 832115728 25227264 5456 4294967295 134512640 134714508 3221224592 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6159 5456 1111 63 0 6096 0
vsize: 24636
[startup+630.027 s]
Raw data (loadavg): 1.02 1.00 0.98 2/54 22266
Raw data (stat): 22266 (bsolo_lpr) R 22265 20001 20000 0 -1 0 104418 0 0 0 62724 279 0 0 25 0 1 0 832115728 25227264 5456 4294967295 134512640 134714508 3221224592 3221222856 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6159 5456 1111 63 0 6096 0
vsize: 24636
[startup+640.028 s]
Raw data (loadavg): 1.01 1.00 0.98 2/54 22266
Raw data (stat): 22266 (bsolo_lpr) R 22265 20001 20000 0 -1 0 104418 0 0 0 63723 280 0 0 25 0 1 0 832115728 25227264 5456 4294967295 134512640 134714508 3221224592 3221222640 1074153749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6159 5456 1111 63 0 6096 0
vsize: 24636
[startup+650.029 s]
Raw data (loadavg): 1.01 1.00 0.98 2/54 22266
Raw data (stat): 22266 (bsolo_lpr) R 22265 20001 20000 0 -1 0 104418 0 0 0 64722 281 0 0 25 0 1 0 832115728 25227264 5456 4294967295 134512640 134714508 3221224592 3221222752 134650068 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6159 5456 1111 63 0 6096 0
vsize: 24636
[startup+660.029 s]
Raw data (loadavg): 1.01 1.00 0.98 2/54 22266
Raw data (stat): 22266 (bsolo_lpr) R 22265 20001 20000 0 -1 0 104418 0 0 0 65722 282 0 0 25 0 1 0 832115728 25227264 5456 4294967295 134512640 134714508 3221224592 3221222992 1074118815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6159 5456 1111 63 0 6096 0
vsize: 24636
[startup+670.03 s]
Raw data (loadavg): 1.01 1.00 0.98 2/54 22266
Raw data (stat): 22266 (bsolo_lpr) R 22265 20001 20000 0 -1 0 104418 0 0 0 66721 283 0 0 25 0 1 0 832115728 25227264 5456 4294967295 134512640 134714508 3221224592 3221222728 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6159 5456 1111 63 0 6096 0
vsize: 24636
[startup+680.03 s]
Raw data (loadavg): 1.01 1.00 0.98 2/54 22266
Raw data (stat): 22266 (bsolo_lpr) R 22265 20001 20000 0 -1 0 104418 0 0 0 67720 284 0 0 25 0 1 0 832115728 25227264 5456 4294967295 134512640 134714508 3221224592 3221222844 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6159 5456 1111 63 0 6096 0
vsize: 24636
[startup+690.031 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 22266
Raw data (stat): 22266 (bsolo_lpr) R 22265 20001 20000 0 -1 0 104418 0 0 0 68719 285 0 0 25 0 1 0 832115728 25227264 5456 4294967295 134512640 134714508 3221224592 3221221512 1074950114 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6159 5456 1111 63 0 6096 0
vsize: 24636
[startup+700.032 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 22266
Raw data (stat): 22266 (bsolo_lpr) R 22265 20001 20000 0 -1 0 104418 0 0 0 69719 286 0 0 25 0 1 0 832115728 25227264 5456 4294967295 134512640 134714508 3221224592 3221223008 1074116278 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6159 5456 1111 63 0 6096 0
vsize: 24636
[startup+710.031 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 22266
Raw data (stat): 22266 (bsolo_lpr) R 22265 20001 20000 0 -1 0 104418 0 0 0 70718 286 0 0 25 0 1 0 832115728 25227264 5456 4294967295 134512640 134714508 3221224592 3221222688 1074153749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6159 5456 1111 63 0 6096 0
vsize: 24636
[startup+720.033 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 22266
Raw data (stat): 22266 (bsolo_lpr) R 22265 20001 20000 0 -1 0 104418 0 0 0 71717 287 0 0 25 0 1 0 832115728 25227264 5456 4294967295 134512640 134714508 3221224592 3221221712 1074834346 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6159 5456 1111 63 0 6096 0
vsize: 24636
[startup+730.034 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 22266
Raw data (stat): 22266 (bsolo_lpr) R 22265 20001 20000 0 -1 0 104418 0 0 0 72717 288 0 0 25 0 1 0 832115728 25227264 5456 4294967295 134512640 134714508 3221224592 3221222732 1077410224 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6159 5456 1111 63 0 6096 0
vsize: 24636
[startup+740.035 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 22266
Raw data (stat): 22266 (bsolo_lpr) R 22265 20001 20000 0 -1 0 104418 0 0 0 73716 289 0 0 25 0 1 0 832115728 25227264 5456 4294967295 134512640 134714508 3221224592 3221222976 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6159 5456 1111 63 0 6096 0
vsize: 24636
[startup+750.035 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 22266
Raw data (stat): 22266 (bsolo_lpr) R 22265 20001 20000 0 -1 0 104418 0 0 0 74715 290 0 0 25 0 1 0 832115728 25227264 5456 4294967295 134512640 134714508 3221224592 3221222944 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6159 5456 1111 63 0 6096 0
vsize: 24636
[startup+760.035 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 22266
Raw data (stat): 22266 (bsolo_lpr) R 22265 20001 20000 0 -1 0 104418 0 0 0 75714 291 0 0 25 0 1 0 832115728 25227264 5456 4294967295 134512640 134714508 3221224592 3221222976 1074153749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6159 5456 1111 63 0 6096 0
vsize: 24636
[startup+770.035 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 22266
Raw data (stat): 22266 (bsolo_lpr) R 22265 20001 20000 0 -1 0 104418 0 0 0 76713 292 0 0 25 0 1 0 832115728 25227264 5456 4294967295 134512640 134714508 3221224592 3221221424 1075115450 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6159 5456 1111 63 0 6096 0
vsize: 24636
[startup+780.035 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 22266
Raw data (stat): 22266 (bsolo_lpr) R 22265 20001 20000 0 -1 0 104418 0 0 0 77713 292 0 0 25 0 1 0 832115728 25227264 5456 4294967295 134512640 134714508 3221224592 3221222360 1077380594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6159 5456 1111 63 0 6096 0
vsize: 24636
[startup+790.036 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 22266
Raw data (stat): 22266 (bsolo_lpr) R 22265 20001 20000 0 -1 0 104418 0 0 0 78713 293 0 0 25 0 1 0 832115728 25227264 5456 4294967295 134512640 134714508 3221224592 3221222704 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6159 5456 1111 63 0 6096 0
vsize: 24636
[startup+800.035 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 22266
Raw data (stat): 22266 (bsolo_lpr) R 22265 20001 20000 0 -1 0 104418 0 0 0 79712 293 0 0 25 0 1 0 832115728 25227264 5456 4294967295 134512640 134714508 3221224592 3221223184 134650104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6159 5456 1111 63 0 6096 0
vsize: 24636
[startup+810.035 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 22266
Raw data (stat): 22266 (bsolo_lpr) R 22265 20001 20000 0 -1 0 104418 0 0 0 80712 294 0 0 25 0 1 0 832115728 25227264 5456 4294967295 134512640 134714508 3221224592 3221222944 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6159 5456 1111 63 0 6096 0
vsize: 24636
[startup+820.035 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 22266
Raw data (stat): 22266 (bsolo_lpr) R 22265 20001 20000 0 -1 0 104418 0 0 0 81711 294 0 0 25 0 1 0 832115728 25227264 5456 4294967295 134512640 134714508 3221224592 3221222568 1074138309 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6159 5456 1111 63 0 6096 0
vsize: 24636
[startup+830.035 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 22266
Raw data (stat): 22266 (bsolo_lpr) R 22265 20001 20000 0 -1 0 104418 0 0 0 82711 295 0 0 25 0 1 0 832115728 25227264 5456 4294967295 134512640 134714508 3221224592 3221222524 1077411564 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6159 5456 1111 63 0 6096 0
vsize: 24636
[startup+840.036 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 22266
Raw data (stat): 22266 (bsolo_lpr) R 22265 20001 20000 0 -1 0 104418 0 0 0 83710 296 0 0 25 0 1 0 832115728 25227264 5456 4294967295 134512640 134714508 3221224592 3221221696 1074138611 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6159 5456 1111 63 0 6096 0
vsize: 24636
[startup+850.035 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 22266
Raw data (stat): 22266 (bsolo_lpr) R 22265 20001 20000 0 -1 0 104418 0 0 0 84710 296 0 0 25 0 1 0 832115728 25227264 5456 4294967295 134512640 134714508 3221224592 3221222656 1074153743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6159 5456 1111 63 0 6096 0
vsize: 24636
[startup+860.035 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 22266
Raw data (stat): 22266 (bsolo_lpr) R 22265 20001 20000 0 -1 0 104418 0 0 0 85709 297 0 0 25 0 1 0 832115728 25227264 5456 4294967295 134512640 134714508 3221224592 3221221636 1074846118 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6159 5456 1111 63 0 6096 0
vsize: 24636
[startup+870.035 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 22266
Raw data (stat): 22266 (bsolo_lpr) R 22265 20001 20000 0 -1 0 104418 0 0 0 86708 298 0 0 25 0 1 0 832115728 25227264 5456 4294967295 134512640 134714508 3221224592 3221223440 134623464 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6159 5456 1111 63 0 6096 0
vsize: 24636
[startup+880.035 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 22266
Raw data (stat): 22266 (bsolo_lpr) R 22265 20001 20000 0 -1 0 104418 0 0 0 87708 299 0 0 25 0 1 0 832115728 25227264 5456 4294967295 134512640 134714508 3221224592 3221222552 1074138150 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6159 5456 1111 63 0 6096 0
vsize: 24636
[startup+890.035 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 22266
Raw data (stat): 22266 (bsolo_lpr) R 22265 20001 20000 0 -1 0 104418 0 0 0 88707 299 0 0 25 0 1 0 832115728 25227264 5456 4294967295 134512640 134714508 3221224592 3221222568 1074138150 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6159 5456 1111 63 0 6096 0
vsize: 24636
[startup+900.036 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 22266
Raw data (stat): 22266 (bsolo_lpr) R 22265 20001 20000 0 -1 0 104418 0 0 0 89707 300 0 0 25 0 1 0 832115728 25227264 5456 4294967295 134512640 134714508 3221224592 3221222944 1074115304 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6159 5456 1111 63 0 6096 0
vsize: 24636
[startup+910.036 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 22266
Raw data (stat): 22266 (bsolo_lpr) R 22265 20001 20000 0 -1 0 104418 0 0 0 90707 301 0 0 25 0 1 0 832115728 25227264 5456 4294967295 134512640 134714508 3221224592 3221222992 1074118784 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6159 5456 1111 63 0 6096 0
vsize: 24636
[startup+920.037 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 22266
Raw data (stat): 22266 (bsolo_lpr) R 22265 20001 20000 0 -1 0 104418 0 0 0 91706 301 0 0 25 0 1 0 832115728 25227264 5456 4294967295 134512640 134714508 3221224592 3221222592 1074056641 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6159 5456 1111 63 0 6096 0
vsize: 24636
[startup+930.036 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 22266
Raw data (stat): 22266 (bsolo_lpr) R 22265 20001 20000 0 -1 0 104418 0 0 0 92706 302 0 0 25 0 1 0 832115728 25227264 5456 4294967295 134512640 134714508 3221224592 3221222944 1074153648 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6159 5456 1111 63 0 6096 0
vsize: 24636
[startup+940.036 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 22266
Raw data (stat): 22266 (bsolo_lpr) R 22265 20001 20000 0 -1 0 104418 0 0 0 93705 303 0 0 25 0 1 0 832115728 25227264 5456 4294967295 134512640 134714508 3221224592 3221222408 1074138150 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6159 5456 1111 63 0 6096 0
vsize: 24636
[startup+950.037 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 22266
Raw data (stat): 22266 (bsolo_lpr) R 22265 20001 20000 0 -1 0 104418 0 0 0 94705 303 0 0 25 0 1 0 832115728 25227264 5456 4294967295 134512640 134714508 3221224592 3221222336 1075640562 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6159 5456 1111 63 0 6096 0
vsize: 24636
[startup+960.037 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 22266
Raw data (stat): 22266 (bsolo_lpr) R 22265 20001 20000 0 -1 0 104418 0 0 0 95705 304 0 0 25 0 1 0 832115728 25227264 5456 4294967295 134512640 134714508 3221224592 3221222856 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6159 5456 1111 63 0 6096 0
vsize: 24636
[startup+970.038 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 22266
Raw data (stat): 22266 (bsolo_lpr) R 22265 20001 20000 0 -1 0 104418 0 0 0 96704 304 0 0 25 0 1 0 832115728 25227264 5456 4294967295 134512640 134714508 3221224592 3221222524 1077411564 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6159 5456 1111 63 0 6096 0
vsize: 24636
[startup+980.038 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 22266
Raw data (stat): 22266 (bsolo_lpr) R 22265 20001 20000 0 -1 0 104418 0 0 0 97704 305 0 0 25 0 1 0 832115728 25227264 5456 4294967295 134512640 134714508 3221224592 3221222776 1077378310 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6159 5456 1111 63 0 6096 0
vsize: 24636
[startup+990.039 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 22266
Raw data (stat): 22266 (bsolo_lpr) R 22265 20001 20000 0 -1 0 104418 0 0 0 98704 305 0 0 25 0 1 0 832115728 25227264 5456 4294967295 134512640 134714508 3221224592 3221222312 1077380592 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6159 5456 1111 63 0 6096 0
vsize: 24636
[startup+1000.04 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 22266
Raw data (stat): 22266 (bsolo_lpr) R 22265 20001 20000 0 -1 0 104418 0 0 0 99703 306 0 0 25 0 1 0 832115728 25227264 5456 4294967295 134512640 134714508 3221224592 3221222856 1074138150 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6159 5456 1111 63 0 6096 0
vsize: 24636
[startup+1010.04 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 22266
Raw data (stat): 22266 (bsolo_lpr) R 22265 20001 20000 0 -1 0 104418 0 0 0 100702 307 0 0 25 0 1 0 832115728 25227264 5456 4294967295 134512640 134714508 3221224592 3221222976 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6159 5456 1111 63 0 6096 0
vsize: 24636
[startup+1020.04 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 22266
Raw data (stat): 22266 (bsolo_lpr) R 22265 20001 20000 0 -1 0 104418 0 0 0 101702 308 0 0 25 0 1 0 832115728 25227264 5456 4294967295 134512640 134714508 3221224592 3221222376 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6159 5456 1111 63 0 6096 0
vsize: 24636
[startup+1030.04 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 22266
Raw data (stat): 22266 (bsolo_lpr) R 22265 20001 20000 0 -1 0 104418 0 0 0 102702 308 0 0 25 0 1 0 832115728 25227264 5456 4294967295 134512640 134714508 3221224592 3221223036 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6159 5456 1111 63 0 6096 0
vsize: 24636
[startup+1040.04 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 22266
Raw data (stat): 22266 (bsolo_lpr) R 22265 20001 20000 0 -1 0 104418 0 0 0 103701 309 0 0 25 0 1 0 832115728 25227264 5456 4294967295 134512640 134714508 3221224592 3221223296 134652538 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6159 5456 1111 63 0 6096 0
vsize: 24636
[startup+1050.04 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 22266
Raw data (stat): 22266 (bsolo_lpr) R 22265 20001 20000 0 -1 0 104418 0 0 0 104701 309 0 0 25 0 1 0 832115728 25227264 5456 4294967295 134512640 134714508 3221224592 3221222512 1075799503 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6159 5456 1111 63 0 6096 0
vsize: 24636
[startup+1060.04 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 22266
Raw data (stat): 22266 (bsolo_lpr) R 22265 20001 20000 0 -1 0 104418 0 0 0 105700 310 0 0 25 0 1 0 832115728 25227264 5456 4294967295 134512640 134714508 3221224592 3221222240 1075818352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6159 5456 1111 63 0 6096 0
vsize: 24636
[startup+1070.04 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 22266
Raw data (stat): 22266 (bsolo_lpr) R 22265 20001 20000 0 -1 0 104418 0 0 0 106700 311 0 0 25 0 1 0 832115728 25227264 5456 4294967295 134512640 134714508 3221224592 3221222336 1075640427 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6159 5456 1111 63 0 6096 0
vsize: 24636
[startup+1080.04 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 22266
Raw data (stat): 22266 (bsolo_lpr) R 22265 20001 20000 0 -1 0 104418 0 0 0 107700 311 0 0 25 0 1 0 832115728 25227264 5456 4294967295 134512640 134714508 3221224592 3221223036 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6159 5456 1111 63 0 6096 0
vsize: 24636
[startup+1090.04 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 22266
Raw data (stat): 22266 (bsolo_lpr) R 22265 20001 20000 0 -1 0 104418 0 0 0 108699 312 0 0 25 0 1 0 832115728 25227264 5456 4294967295 134512640 134714508 3221224592 3221222852 1077374469 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6159 5456 1111 63 0 6096 0
vsize: 24636
[startup+1100.04 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 22319
Raw data (stat): 22266 (bsolo_lpr) R 22265 20001 20000 0 -1 0 104418 0 0 0 109698 313 0 0 25 0 1 0 832115728 25227264 5456 4294967295 134512640 134714508 3221224592 3221222888 1074138150 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6159 5456 1111 63 0 6096 0
vsize: 24636
[startup+1110.04 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 22319
Raw data (stat): 22266 (bsolo_lpr) R 22265 20001 20000 0 -1 0 104418 0 0 0 110697 313 0 0 25 0 1 0 832115728 25227264 5456 4294967295 134512640 134714508 3221224592 3221222976 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6159 5456 1111 63 0 6096 0
vsize: 24636
[startup+1120.04 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 22319
Raw data (stat): 22266 (bsolo_lpr) R 22265 20001 20000 0 -1 0 104418 0 0 0 111697 314 0 0 25 0 1 0 832115728 25227264 5456 4294967295 134512640 134714508 3221224592 3221220864 1074961146 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6159 5456 1111 63 0 6096 0
vsize: 24636
[startup+1130.04 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 22319
Raw data (stat): 22266 (bsolo_lpr) R 22265 20001 20000 0 -1 0 104418 0 0 0 112696 315 0 0 25 0 1 0 832115728 25227264 5456 4294967295 134512640 134714508 3221224592 3221222592 1074917072 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6159 5456 1111 63 0 6096 0
vsize: 24636
[startup+1140.05 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 22319
Raw data (stat): 22266 (bsolo_lpr) R 22265 20001 20000 0 -1 0 104418 0 0 0 113696 316 0 0 25 0 1 0 832115728 25227264 5456 4294967295 134512640 134714508 3221224592 3221220556 1074860640 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6159 5456 1111 63 0 6096 0
vsize: 24636
[startup+1150.06 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 22319
Raw data (stat): 22266 (bsolo_lpr) R 22265 20001 20000 0 -1 0 104418 0 0 0 114697 316 0 0 25 0 1 0 832115728 25227264 5456 4294967295 134512640 134714508 3221224592 3221222880 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6159 5456 1111 63 0 6096 0
vsize: 24636
[startup+1160.06 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 22321
Raw data (stat): 22266 (bsolo_lpr) R 22265 20001 20000 0 -1 0 104418 0 0 0 115697 317 0 0 25 0 1 0 832115728 25227264 5456 4294967295 134512640 134714508 3221224592 3221222920 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6159 5456 1111 63 0 6096 0
vsize: 24636
[startup+1170.06 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 22321
Raw data (stat): 22266 (bsolo_lpr) R 22265 20001 20000 0 -1 0 104418 0 0 0 116696 318 0 0 25 0 1 0 832115728 25227264 5456 4294967295 134512640 134714508 3221224592 3221222336 1075640218 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6159 5456 1111 63 0 6096 0
vsize: 24636
[startup+1174.95 s]
Raw data (loadavg): 1.00 1.00 0.98 1/53 22321
Raw data (stat): 22266 (bsolo_lpr) R 22265 20001 20000 0 -1 0 104418 0 0 0 116696 318 0 0 25 0 1 0 832115728 25227264 5456 4294967295 134512640 134714508 3221224592 3221222336 1075640218 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6159 5456 1111 63 0 6096 0
vsize: 0

Child status: 0
Real time (s): 1174.95
CPU time (s): 1175.03
CPU user time (s): 1171.83
CPU system time (s): 3.19451
CPU usage (%): 100.007
Max. virtual memory (Kb): 25132
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####