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/fctp/normalized-mps-v2-20-10-n3705.opb
MD5SUM	8eea845826d64e6d5753fad916c185c9
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	155000
Biggest coefficient in the objective function	4294967296
Number of bits for the biggest coefficient in the objective function	33
Sum of the numbers in the objective function	29593306649763
Number of bits of the sum of numbers in the objective function	45
Biggest number in a constraint	4294967296
Number of bits of the biggest number in a constraint	33
Biggest sum of numbers in a constraint	29593306649763
Number of bits of the biggest sum of numbers	45
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	1.43278
Number of variables	155000
Total number of constraints	5150
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	5150
Minimum length of a constraint	31
Maximum length of a constraint	3000
Trace number 28191

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc30 THE 2005-05-25 00:56:39 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=14067 boxname=wulflinc30 idbench=1083 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  8eea845826d64e6d5753fad916c185c9  /oldhome/oroussel/tmp/wulflinc30/normalized-mps-v2-20-10-n3705.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc30/normalized-mps-v2-20-10-n3705.opb
IDLAUNCH: 14067
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.072
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.072
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        414152 kB
Buffers:         26372 kB
Cached:         564648 kB
SwapCached:        716 kB
Active:          48896 kB
Inactive:       544236 kB
HighTotal:      131008 kB
HighFree:          280 kB
LowTotal:       903652 kB
LowFree:        413872 kB
SwapTotal:     2097892 kB
SwapFree:      2096344 kB
Dirty:          348084 kB
Writeback:           0 kB
Mapped:           5016 kB
Slab:            21776 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 01:16:42 (client local time) WITH STATUS 0 IN 1200.24 SECONDS
stats: 14067 7 1200.24 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
#### 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): 2.29 1.32 1.05 2/56 30087
Raw data (stat): 30087 (runsolver) R 30086 22056 22055 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 834724370 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+9.99974 s]
Raw data (loadavg): 2.09 1.31 1.05 2/54 30087
Raw data (stat): 30087 (bsolo_lpr) R 30086 22056 22055 0 -1 0 1296 0 0 0 992 5 0 0 25 0 1 0 834724370 15511552 1220 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3787 1220 1111 63 0 3724 0
vsize: 15148
[startup+20.0036 s]
Raw data (loadavg): 1.92 1.29 1.05 2/54 30087
Raw data (stat): 30087 (bsolo_lpr) R 30086 22056 22055 0 -1 0 1406 0 0 0 1992 6 0 0 25 0 1 0 834724370 15941632 1330 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3892 1330 1111 63 0 3829 0
vsize: 15568
[startup+30.0033 s]
Raw data (loadavg): 1.78 1.28 1.05 2/54 30087
Raw data (stat): 30087 (bsolo_lpr) R 30086 22056 22055 0 -1 0 1515 0 0 0 2991 7 0 0 25 0 1 0 834724370 16379904 1439 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3999 1439 1111 63 0 3936 0
vsize: 15996
[startup+40.0044 s]
Raw data (loadavg): 1.66 1.27 1.05 2/54 30087
Raw data (stat): 30087 (bsolo_lpr) R 30086 22056 22055 0 -1 0 1625 0 0 0 3991 7 0 0 25 0 1 0 834724370 16834560 1549 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4110 1549 1111 63 0 4047 0
vsize: 16440
[startup+50.005 s]
Raw data (loadavg): 1.56 1.27 1.05 2/54 30087
Raw data (stat): 30087 (bsolo_lpr) R 30086 22056 22055 0 -1 0 1737 0 0 0 4991 7 0 0 25 0 1 0 834724370 17412096 1661 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4251 1661 1111 63 0 4188 0
vsize: 17004
[startup+60.0047 s]
Raw data (loadavg): 1.47 1.26 1.05 2/54 30087
Raw data (stat): 30087 (bsolo_lpr) R 30086 22056 22055 0 -1 0 1848 0 0 0 5990 8 0 0 25 0 1 0 834724370 17862656 1772 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4361 1772 1111 63 0 4298 0
vsize: 17444
[startup+70.0055 s]
Raw data (loadavg): 1.40 1.25 1.05 2/54 30087
Raw data (stat): 30087 (bsolo_lpr) R 30086 22056 22055 0 -1 0 1951 0 0 0 6990 8 0 0 25 0 1 0 834724370 18161664 1875 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4434 1875 1111 63 0 4371 0
vsize: 17736
[startup+80.0068 s]
Raw data (loadavg): 1.34 1.24 1.05 2/54 30087
Raw data (stat): 30087 (bsolo_lpr) R 30086 22056 22055 0 -1 0 2067 0 0 0 7990 9 0 0 25 0 1 0 834724370 18763776 1991 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4581 1991 1111 63 0 4518 0
vsize: 18324
[startup+90.0071 s]
Raw data (loadavg): 1.28 1.23 1.04 2/54 30087
Raw data (stat): 30087 (bsolo_lpr) R 30086 22056 22055 0 -1 0 2176 0 0 0 8990 9 0 0 25 0 1 0 834724370 19197952 2100 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4687 2100 1111 63 0 4624 0
vsize: 18748
[startup+100.008 s]
Raw data (loadavg): 1.24 1.22 1.04 2/54 30087
Raw data (stat): 30087 (bsolo_lpr) R 30086 22056 22055 0 -1 0 2292 0 0 0 9990 9 0 0 25 0 1 0 834724370 19656704 2216 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4799 2216 1111 63 0 4736 0
vsize: 19196
[startup+110.008 s]
Raw data (loadavg): 1.20 1.21 1.04 2/54 30087
Raw data (stat): 30087 (bsolo_lpr) R 30086 22056 22055 0 -1 0 2395 0 0 0 10990 9 0 0 25 0 1 0 834724370 20103168 2319 4294967295 134512640 134714508 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4908 2319 1111 63 0 4845 0
vsize: 19632
[startup+120.009 s]
Raw data (loadavg): 1.17 1.21 1.04 2/54 30087
Raw data (stat): 30087 (bsolo_lpr) R 30086 22056 22055 0 -1 0 2512 0 0 0 11989 10 0 0 25 0 1 0 834724370 20557824 2436 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5019 2436 1111 63 0 4956 0
vsize: 20076
[startup+130.008 s]
Raw data (loadavg): 1.14 1.20 1.04 2/54 30087
Raw data (stat): 30087 (bsolo_lpr) R 30086 22056 22055 0 -1 0 2615 0 0 0 12989 10 0 0 25 0 1 0 834724370 21004288 2539 4294967295 134512640 134714508 3221224592 3221222820 1077414399 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5128 2539 1111 63 0 5065 0
vsize: 20512
[startup+140.009 s]
Raw data (loadavg): 1.12 1.19 1.04 2/54 30087
Raw data (stat): 30087 (bsolo_lpr) R 30086 22056 22055 0 -1 0 2731 0 0 0 13988 11 0 0 25 0 1 0 834724370 21434368 2655 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5233 2655 1111 63 0 5170 0
vsize: 20932
[startup+150.01 s]
Raw data (loadavg): 1.10 1.19 1.04 2/54 30087
Raw data (stat): 30087 (bsolo_lpr) R 30086 22056 22055 0 -1 0 2835 0 0 0 14988 12 0 0 25 0 1 0 834724370 21872640 2759 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5340 2759 1111 63 0 5277 0
vsize: 21360
[startup+160.01 s]
Raw data (loadavg): 1.09 1.18 1.04 2/54 30087
Raw data (stat): 30087 (bsolo_lpr) R 30086 22056 22055 0 -1 0 2951 0 0 0 15988 12 0 0 25 0 1 0 834724370 22323200 2875 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5450 2875 1111 63 0 5387 0
vsize: 21800
[startup+170.011 s]
Raw data (loadavg): 1.07 1.17 1.04 2/54 30087
Raw data (stat): 30087 (bsolo_lpr) R 30086 22056 22055 0 -1 0 3054 0 0 0 16988 12 0 0 25 0 1 0 834724370 22773760 2978 4294967295 134512640 134714508 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5560 2978 1111 63 0 5497 0
vsize: 22240
[startup+180.011 s]
Raw data (loadavg): 1.06 1.17 1.04 2/54 30087
Raw data (stat): 30087 (bsolo_lpr) R 30086 22056 22055 0 -1 0 3178 0 0 0 17987 13 0 0 25 0 1 0 834724370 23232512 3102 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5672 3102 1111 63 0 5609 0
vsize: 22688
[startup+190.012 s]
Raw data (loadavg): 1.05 1.16 1.03 2/54 30087
Raw data (stat): 30087 (bsolo_lpr) R 30086 22056 22055 0 -1 0 3281 0 0 0 18986 14 0 0 25 0 1 0 834724370 23662592 3205 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5777 3205 1111 63 0 5714 0
vsize: 23108
[startup+200.012 s]
Raw data (loadavg): 1.04 1.15 1.03 2/54 30087
Raw data (stat): 30087 (bsolo_lpr) R 30086 22056 22055 0 -1 0 3397 0 0 0 19985 15 0 0 25 0 1 0 834724370 24113152 3321 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5887 3321 1111 63 0 5824 0
vsize: 23548
[startup+210.012 s]
Raw data (loadavg): 1.12 1.17 1.04 2/54 30140
Raw data (stat): 30087 (bsolo_lpr) R 30086 22056 22055 0 -1 0 3501 0 0 0 20975 23 0 0 25 0 1 0 834724370 24559616 3425 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5996 3425 1111 63 0 5933 0
vsize: 23984
[startup+220.015 s]
Raw data (loadavg): 1.10 1.16 1.04 2/54 30140
Raw data (stat): 30087 (bsolo_lpr) R 30086 22056 22055 0 -1 0 3618 0 0 0 21975 23 0 0 25 0 1 0 834724370 25010176 3542 4294967295 134512640 134714508 3221224592 3221222820 1077414432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6106 3542 1111 63 0 6043 0
vsize: 24424
[startup+230.015 s]
Raw data (loadavg): 1.08 1.15 1.04 2/54 30140
Raw data (stat): 30087 (bsolo_lpr) R 30086 22056 22055 0 -1 0 3722 0 0 0 22975 24 0 0 25 0 1 0 834724370 25460736 3646 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6216 3646 1111 63 0 6153 0
vsize: 24864
[startup+240.016 s]
Raw data (loadavg): 1.07 1.15 1.04 2/54 30140
Raw data (stat): 30087 (bsolo_lpr) R 30086 22056 22055 0 -1 0 3838 0 0 0 23976 24 0 0 25 0 1 0 834724370 25911296 3762 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6326 3762 1111 63 0 6263 0
vsize: 25304
[startup+250.017 s]
Raw data (loadavg): 1.06 1.14 1.03 2/54 30140
Raw data (stat): 30087 (bsolo_lpr) R 30086 22056 22055 0 -1 0 3941 0 0 0 24976 24 0 0 25 0 1 0 834724370 26357760 3865 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6435 3865 1111 63 0 6372 0
vsize: 25740
[startup+260.017 s]
Raw data (loadavg): 1.05 1.14 1.03 2/54 30140
Raw data (stat): 30087 (bsolo_lpr) R 30086 22056 22055 0 -1 0 4059 0 0 0 25976 24 0 0 25 0 1 0 834724370 26804224 3983 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6544 3983 1111 63 0 6481 0
vsize: 26176
[startup+270.017 s]
Raw data (loadavg): 1.04 1.13 1.03 2/54 30140
Raw data (stat): 30087 (bsolo_lpr) R 30086 22056 22055 0 -1 0 4163 0 0 0 26976 24 0 0 25 0 1 0 834724370 27258880 4087 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6655 4087 1111 63 0 6592 0
vsize: 26620
[startup+280.018 s]
Raw data (loadavg): 1.03 1.13 1.03 2/54 30140
Raw data (stat): 30087 (bsolo_lpr) R 30086 22056 22055 0 -1 0 4279 0 0 0 27976 24 0 0 25 0 1 0 834724370 27705344 4203 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6764 4203 1111 63 0 6701 0
vsize: 27056
[startup+290.019 s]
Raw data (loadavg): 1.03 1.12 1.03 2/54 30142
Raw data (stat): 30087 (bsolo_lpr) R 30086 22056 22055 0 -1 0 4382 0 0 0 28976 25 0 0 25 0 1 0 834724370 28160000 4306 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6875 4306 1111 63 0 6812 0
vsize: 27500
[startup+300.019 s]
Raw data (loadavg): 1.02 1.12 1.03 2/54 30142
Raw data (stat): 30087 (bsolo_lpr) R 30086 22056 22055 0 -1 0 4500 0 0 0 29976 25 0 0 25 0 1 0 834724370 28602368 4424 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6983 4424 1111 63 0 6920 0
vsize: 27932
[startup+310.018 s]
Raw data (loadavg): 1.02 1.11 1.03 2/54 30142
Raw data (stat): 30087 (bsolo_lpr) R 30086 22056 22055 0 -1 0 4603 0 0 0 30975 25 0 0 25 0 1 0 834724370 29028352 4527 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7087 4527 1111 63 0 7024 0
vsize: 28348
[startup+320.019 s]
Raw data (loadavg): 1.02 1.11 1.03 2/54 30142
Raw data (stat): 30087 (bsolo_lpr) R 30086 22056 22055 0 -1 0 4720 0 0 0 31976 25 0 0 25 0 1 0 834724370 29626368 4644 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7233 4644 1111 63 0 7170 0
vsize: 28932
[startup+330.02 s]
Raw data (loadavg): 1.01 1.11 1.03 2/54 30142
Raw data (stat): 30087 (bsolo_lpr) R 30086 22056 22055 0 -1 0 4823 0 0 0 32976 25 0 0 25 0 1 0 834724370 29925376 4747 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7306 4747 1111 63 0 7243 0
vsize: 29224
[startup+340.021 s]
Raw data (loadavg): 1.01 1.10 1.03 2/54 30142
Raw data (stat): 30087 (bsolo_lpr) R 30086 22056 22055 0 -1 0 4939 0 0 0 33975 26 0 0 25 0 1 0 834724370 30527488 4863 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7453 4863 1111 63 0 7390 0
vsize: 29812
[startup+350.022 s]
Raw data (loadavg): 1.01 1.10 1.02 2/54 30142
Raw data (stat): 30087 (bsolo_lpr) R 30086 22056 22055 0 -1 0 5042 0 0 0 34975 26 0 0 25 0 1 0 834724370 30826496 4966 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7526 4966 1111 63 0 7463 0
vsize: 30104
[startup+360.022 s]
Raw data (loadavg): 1.01 1.09 1.02 2/54 30142
Raw data (stat): 30087 (bsolo_lpr) R 30086 22056 22055 0 -1 0 5171 0 0 0 35975 26 0 0 25 0 1 0 834724370 31461376 5095 4294967295 134512640 134714508 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7681 5095 1111 63 0 7618 0
vsize: 30724
[startup+370.022 s]
Raw data (loadavg): 1.00 1.09 1.02 2/54 30142
Raw data (stat): 30087 (bsolo_lpr) R 30086 22056 22055 0 -1 0 5280 0 0 0 36975 27 0 0 25 0 1 0 834724370 31911936 5204 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7791 5204 1111 63 0 7728 0
vsize: 31164
[startup+380.022 s]
Raw data (loadavg): 1.00 1.09 1.02 2/54 30142
Raw data (stat): 30087 (bsolo_lpr) R 30086 22056 22055 0 -1 0 5391 0 0 0 37975 27 0 0 25 0 1 0 834724370 32362496 5315 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7901 5315 1111 63 0 7838 0
vsize: 31604
[startup+390.023 s]
Raw data (loadavg): 1.00 1.08 1.02 2/54 30142
Raw data (stat): 30087 (bsolo_lpr) R 30086 22056 22055 0 -1 0 5501 0 0 0 38975 27 0 0 25 0 1 0 834724370 32813056 5425 4294967295 134512640 134714508 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8011 5425 1111 63 0 7948 0
vsize: 32044
[startup+400.023 s]
Raw data (loadavg): 1.00 1.08 1.02 2/54 30142
Raw data (stat): 30087 (bsolo_lpr) R 30086 22056 22055 0 -1 0 5611 0 0 0 39975 28 0 0 25 0 1 0 834724370 33263616 5535 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8121 5535 1111 63 0 8058 0
vsize: 32484
[startup+410.022 s]
Raw data (loadavg): 1.00 1.08 1.02 2/54 30142
Raw data (stat): 30087 (bsolo_lpr) R 30086 22056 22055 0 -1 0 5728 0 0 0 40975 28 0 0 25 0 1 0 834724370 33710080 5652 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8230 5652 1111 63 0 8167 0
vsize: 32920
[startup+420.023 s]
Raw data (loadavg): 1.00 1.07 1.02 2/54 30142
Raw data (stat): 30087 (bsolo_lpr) R 30086 22056 22055 0 -1 0 5832 0 0 0 41975 28 0 0 25 0 1 0 834724370 34160640 5756 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8340 5756 1111 63 0 8277 0
vsize: 33360
[startup+430.023 s]
Raw data (loadavg): 1.00 1.07 1.02 2/54 30142
Raw data (stat): 30087 (bsolo_lpr) R 30086 22056 22055 0 -1 0 5949 0 0 0 42975 28 0 0 25 0 1 0 834724370 34611200 5873 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8450 5873 1111 63 0 8387 0
vsize: 33800
[startup+440.024 s]
Raw data (loadavg): 1.00 1.07 1.02 2/54 30142
Raw data (stat): 30087 (bsolo_lpr) R 30086 22056 22055 0 -1 0 6060 0 0 0 43975 28 0 0 25 0 1 0 834724370 35061760 5984 4294967295 134512640 134714508 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8560 5984 1111 63 0 8497 0
vsize: 34240
[startup+450.024 s]
Raw data (loadavg): 1.00 1.07 1.01 2/54 30142
Raw data (stat): 30087 (bsolo_lpr) R 30086 22056 22055 0 -1 0 6170 0 0 0 44975 28 0 0 25 0 1 0 834724370 35508224 6094 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8669 6094 1111 63 0 8606 0
vsize: 34676
[startup+460.024 s]
Raw data (loadavg): 1.00 1.06 1.01 2/54 30142
Raw data (stat): 30087 (bsolo_lpr) R 30086 22056 22055 0 -1 0 6287 0 0 0 45975 29 0 0 25 0 1 0 834724370 35958784 6211 4294967295 134512640 134714508 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8779 6211 1111 63 0 8716 0
vsize: 35116
[startup+470.024 s]
Raw data (loadavg): 1.00 1.06 1.01 2/54 30142
Raw data (stat): 30087 (bsolo_lpr) R 30086 22056 22055 0 -1 0 6391 0 0 0 46975 29 0 0 25 0 1 0 834724370 36409344 6315 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8889 6315 1111 63 0 8826 0
vsize: 35556
[startup+480.024 s]
Raw data (loadavg): 1.00 1.06 1.01 2/54 30142
Raw data (stat): 30087 (bsolo_lpr) R 30086 22056 22055 0 -1 0 6508 0 0 0 47975 29 0 0 25 0 1 0 834724370 36859904 6432 4294967295 134512640 134714508 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8999 6432 1111 63 0 8936 0
vsize: 35996
[startup+490.025 s]
Raw data (loadavg): 1.00 1.06 1.01 2/54 30142
Raw data (stat): 30087 (bsolo_lpr) R 30086 22056 22055 0 -1 0 6618 0 0 0 48975 29 0 0 25 0 1 0 834724370 37306368 6542 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9108 6542 1111 63 0 9045 0
vsize: 36432
[startup+500.025 s]
Raw data (loadavg): 1.00 1.05 1.01 2/54 30142
Raw data (stat): 30087 (bsolo_lpr) R 30086 22056 22055 0 -1 0 6729 0 0 0 49975 30 0 0 25 0 1 0 834724370 37761024 6653 4294967295 134512640 134714508 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9219 6653 1111 63 0 9156 0
vsize: 36876
[startup+510.024 s]
Raw data (loadavg): 1.00 1.05 1.01 2/54 30142
Raw data (stat): 30087 (bsolo_lpr) R 30086 22056 22055 0 -1 0 6844 0 0 0 50975 30 0 0 25 0 1 0 834724370 38354944 6768 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9364 6768 1111 63 0 9301 0
vsize: 37456
[startup+520.026 s]
Raw data (loadavg): 1.00 1.05 1.01 2/54 30144
Raw data (stat): 30087 (bsolo_lpr) R 30086 22056 22055 0 -1 0 6956 0 0 0 51974 30 0 0 25 0 1 0 834724370 38809600 6880 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9475 6880 1111 63 0 9412 0
vsize: 37900
[startup+530.026 s]
Raw data (loadavg): 1.00 1.05 1.01 2/54 30144
Raw data (stat): 30087 (bsolo_lpr) R 30086 22056 22055 0 -1 0 7066 0 0 0 52974 31 0 0 25 0 1 0 834724370 39256064 6990 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9584 6990 1111 63 0 9521 0
vsize: 38336
[startup+540.027 s]
Raw data (loadavg): 1.00 1.05 1.01 2/54 30144
Raw data (stat): 30087 (bsolo_lpr) R 30086 22056 22055 0 -1 0 7184 0 0 0 53974 31 0 0 25 0 1 0 834724370 39710720 7108 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9695 7108 1111 63 0 9632 0
vsize: 38780
[startup+550.027 s]
Raw data (loadavg): 1.00 1.04 1.00 2/54 30144
Raw data (stat): 30087 (bsolo_lpr) R 30086 22056 22055 0 -1 0 7293 0 0 0 54974 32 0 0 25 0 1 0 834724370 40153088 7217 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9803 7217 1111 63 0 9740 0
vsize: 39212
[startup+560.026 s]
Raw data (loadavg): 1.00 1.04 1.00 2/54 30144
Raw data (stat): 30087 (bsolo_lpr) R 30086 22056 22055 0 -1 0 7405 0 0 0 55973 32 0 0 25 0 1 0 834724370 40607744 7329 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9914 7329 1111 63 0 9851 0
vsize: 39656
[startup+570.027 s]
Raw data (loadavg): 1.00 1.04 1.00 2/54 30144
Raw data (stat): 30087 (bsolo_lpr) R 30086 22056 22055 0 -1 0 7521 0 0 0 56973 32 0 0 25 0 1 0 834724370 41054208 7445 4294967295 134512640 134714508 3221224592 3221222820 1077414432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10023 7445 1111 63 0 9960 0
vsize: 40092
[startup+580.027 s]
Raw data (loadavg): 1.00 1.04 1.00 2/54 30144
Raw data (stat): 30087 (bsolo_lpr) R 30086 22056 22055 0 -1 0 7633 0 0 0 57973 33 0 0 25 0 1 0 834724370 41508864 7557 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10134 7557 1111 63 0 10071 0
vsize: 40536
[startup+590.028 s]
Raw data (loadavg): 1.00 1.04 1.00 2/54 30144
Raw data (stat): 30087 (bsolo_lpr) R 30086 22056 22055 0 -1 0 7742 0 0 0 58973 33 0 0 25 0 1 0 834724370 41951232 7666 4294967295 134512640 134714508 3221224592 3221222820 1077414349 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10242 7666 1111 63 0 10179 0
vsize: 40968
[startup+600.029 s]
Raw data (loadavg): 1.00 1.03 1.00 2/54 30144
Raw data (stat): 30087 (bsolo_lpr) R 30086 22056 22055 0 -1 0 7859 0 0 0 59973 33 0 0 25 0 1 0 834724370 42405888 7783 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10353 7783 1111 63 0 10290 0
vsize: 41412
[startup+610.028 s]
Raw data (loadavg): 1.00 1.03 1.00 2/54 30144
Raw data (stat): 30087 (bsolo_lpr) R 30086 22056 22055 0 -1 0 7970 0 0 0 60973 33 0 0 25 0 1 0 834724370 42852352 7894 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10462 7894 1111 63 0 10399 0
vsize: 41848
[startup+620.029 s]
Raw data (loadavg): 1.00 1.03 1.00 2/54 30144
Raw data (stat): 30087 (bsolo_lpr) R 30086 22056 22055 0 -1 0 8087 0 0 0 61973 34 0 0 25 0 1 0 834724370 43307008 8011 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10573 8011 1111 63 0 10510 0
vsize: 42292
[startup+630.029 s]
Raw data (loadavg): 1.00 1.03 1.00 2/54 30144
Raw data (stat): 30087 (bsolo_lpr) R 30086 22056 22055 0 -1 0 8197 0 0 0 62973 34 0 0 25 0 1 0 834724370 43753472 8121 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10682 8121 1111 63 0 10619 0
vsize: 42728
[startup+640.03 s]
Raw data (loadavg): 1.00 1.03 1.00 2/54 30144
Raw data (stat): 30087 (bsolo_lpr) R 30086 22056 22055 0 -1 0 8314 0 0 0 63973 34 0 0 25 0 1 0 834724370 44326912 8238 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10822 8238 1111 63 0 10759 0
vsize: 43288
[startup+650.03 s]
Raw data (loadavg): 1.00 1.03 1.00 2/54 30144
Raw data (stat): 30087 (bsolo_lpr) R 30086 22056 22055 0 -1 0 8424 0 0 0 64973 35 0 0 25 0 1 0 834724370 44769280 8348 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10930 8348 1111 63 0 10867 0
vsize: 43720
[startup+660.03 s]
Raw data (loadavg): 1.00 1.03 1.00 2/54 30144
Raw data (stat): 30087 (bsolo_lpr) R 30086 22056 22055 0 -1 0 8536 0 0 0 65973 35 0 0 25 0 1 0 834724370 45223936 8460 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11041 8460 1111 63 0 10978 0
vsize: 44164
[startup+670.031 s]
Raw data (loadavg): 1.00 1.02 1.00 2/54 30144
Raw data (stat): 30087 (bsolo_lpr) R 30086 22056 22055 0 -1 0 8651 0 0 0 66973 35 0 0 25 0 1 0 834724370 45670400 8575 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11150 8575 1111 63 0 11087 0
vsize: 44600
[startup+680.031 s]
Raw data (loadavg): 1.00 1.02 1.00 2/54 30144
Raw data (stat): 30087 (bsolo_lpr) R 30086 22056 22055 0 -1 0 8768 0 0 0 67972 36 0 0 25 0 1 0 834724370 46125056 8692 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11261 8692 1111 63 0 11198 0
vsize: 45044
[startup+690.032 s]
Raw data (loadavg): 1.00 1.02 1.00 2/54 30144
Raw data (stat): 30087 (bsolo_lpr) R 30086 22056 22055 0 -1 0 8878 0 0 0 68972 36 0 0 25 0 1 0 834724370 46567424 8802 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11369 8802 1111 63 0 11306 0
vsize: 45476
[startup+700.033 s]
Raw data (loadavg): 1.00 1.02 1.00 2/54 30144
Raw data (stat): 30087 (bsolo_lpr) R 30086 22056 22055 0 -1 0 8996 0 0 0 69972 36 0 0 25 0 1 0 834724370 47022080 8920 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11480 8920 1111 63 0 11417 0
vsize: 45920
[startup+710.032 s]
Raw data (loadavg): 1.00 1.02 1.00 2/54 30144
Raw data (stat): 30087 (bsolo_lpr) R 30086 22056 22055 0 -1 0 9125 0 0 0 70972 37 0 0 25 0 1 0 834724370 47718400 9049 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11650 9049 1111 63 0 11587 0
vsize: 46600
[startup+720.033 s]
Raw data (loadavg): 1.00 1.02 1.00 2/54 30144
Raw data (stat): 30087 (bsolo_lpr) R 30086 22056 22055 0 -1 0 9242 0 0 0 71972 37 0 0 25 0 1 0 834724370 48144384 9166 4294967295 134512640 134714508 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11754 9166 1111 63 0 11691 0
vsize: 47016
[startup+730.033 s]
Raw data (loadavg): 1.00 1.02 1.00 2/54 30144
Raw data (stat): 30087 (bsolo_lpr) R 30086 22056 22055 0 -1 0 9358 0 0 0 72972 37 0 0 25 0 1 0 834724370 48738304 9282 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11899 9282 1111 63 0 11836 0
vsize: 47596
[startup+740.034 s]
Raw data (loadavg): 1.00 1.02 1.00 2/54 30144
Raw data (stat): 30087 (bsolo_lpr) R 30086 22056 22055 0 -1 0 9469 0 0 0 73972 38 0 0 25 0 1 0 834724370 49192960 9393 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12010 9393 1111 63 0 11947 0
vsize: 48040
[startup+750.034 s]
Raw data (loadavg): 1.00 1.02 1.00 2/54 30144
Raw data (stat): 30087 (bsolo_lpr) R 30086 22056 22055 0 -1 0 9582 0 0 0 74972 38 0 0 25 0 1 0 834724370 49639424 9506 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12119 9506 1111 63 0 12056 0
vsize: 48476
[startup+760.034 s]
Raw data (loadavg): 1.00 1.02 1.00 2/54 30144
Raw data (stat): 30087 (bsolo_lpr) R 30086 22056 22055 0 -1 0 9699 0 0 0 75972 38 0 0 25 0 1 0 834724370 50094080 9623 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12230 9623 1111 63 0 12167 0
vsize: 48920
[startup+770.034 s]
Raw data (loadavg): 1.00 1.02 1.00 2/54 30144
Raw data (stat): 30087 (bsolo_lpr) R 30086 22056 22055 0 -1 0 9816 0 0 0 76972 38 0 0 25 0 1 0 834724370 50536448 9740 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12338 9740 1111 63 0 12275 0
vsize: 49352
[startup+780.034 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 30144
Raw data (stat): 30087 (bsolo_lpr) R 30086 22056 22055 0 -1 0 9932 0 0 0 77972 38 0 0 25 0 1 0 834724370 50958336 9856 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12441 9856 1111 63 0 12378 0
vsize: 49764
[startup+790.035 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 30144
Raw data (stat): 30087 (bsolo_lpr) R 30086 22056 22055 0 -1 0 10044 0 0 0 78972 38 0 0 25 0 1 0 834724370 51408896 9968 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12551 9968 1111 63 0 12488 0
vsize: 50204
[startup+800.035 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 30144
Raw data (stat): 30087 (bsolo_lpr) R 30086 22056 22055 0 -1 0 10161 0 0 0 79972 38 0 0 25 0 1 0 834724370 52011008 10085 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12698 10085 1111 63 0 12635 0
vsize: 50792
[startup+810.035 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 30144
Raw data (stat): 30087 (bsolo_lpr) R 30086 22056 22055 0 -1 0 10272 0 0 0 80972 38 0 0 25 0 1 0 834724370 52461568 10196 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12808 10196 1111 63 0 12745 0
vsize: 51232
[startup+820.036 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 30144
Raw data (stat): 30087 (bsolo_lpr) R 30086 22056 22055 0 -1 0 10388 0 0 0 81972 39 0 0 25 0 1 0 834724370 52908032 10312 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12917 10312 1111 63 0 12854 0
vsize: 51668
[startup+830.037 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 30144
Raw data (stat): 30087 (bsolo_lpr) R 30086 22056 22055 0 -1 0 10506 0 0 0 82972 39 0 0 25 0 1 0 834724370 53362688 10430 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13028 10430 1111 63 0 12965 0
vsize: 52112
[startup+840.038 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 30144
Raw data (stat): 30087 (bsolo_lpr) R 30086 22056 22055 0 -1 0 10624 0 0 0 83972 39 0 0 25 0 1 0 834724370 53809152 10548 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13137 10548 1111 63 0 13074 0
vsize: 52548
[startup+850.037 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 30144
Raw data (stat): 30087 (bsolo_lpr) R 30086 22056 22055 0 -1 0 10741 0 0 0 84972 40 0 0 25 0 1 0 834724370 54259712 10665 4294967295 134512640 134714508 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13247 10665 1111 63 0 13184 0
vsize: 52988
[startup+860.037 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 30144
Raw data (stat): 30087 (bsolo_lpr) R 30086 22056 22055 0 -1 0 10851 0 0 0 85972 40 0 0 25 0 1 0 834724370 54710272 10775 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13357 10775 1111 63 0 13294 0
vsize: 53428
[startup+870.038 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 30144
Raw data (stat): 30087 (bsolo_lpr) R 30086 22056 22055 0 -1 0 10969 0 0 0 86972 40 0 0 25 0 1 0 834724370 55308288 10893 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13503 10893 1111 63 0 13440 0
vsize: 54012
[startup+880.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 30144
Raw data (stat): 30087 (bsolo_lpr) R 30086 22056 22055 0 -1 0 11086 0 0 0 87972 41 0 0 25 0 1 0 834724370 55754752 11010 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13612 11010 1111 63 0 13549 0
vsize: 54448
[startup+890.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 30144
Raw data (stat): 30087 (bsolo_lpr) R 30086 22056 22055 0 -1 0 11198 0 0 0 88972 41 0 0 25 0 1 0 834724370 56209408 11122 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13723 11122 1111 63 0 13660 0
vsize: 54892
[startup+900.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 30144
Raw data (stat): 30087 (bsolo_lpr) R 30086 22056 22055 0 -1 0 11314 0 0 0 89972 41 0 0 25 0 1 0 834724370 56655872 11238 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13832 11238 1111 63 0 13769 0
vsize: 55328
[startup+910.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 30144
Raw data (stat): 30087 (bsolo_lpr) R 30086 22056 22055 0 -1 0 11432 0 0 0 90972 41 0 0 25 0 1 0 834724370 57110528 11356 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13943 11356 1111 63 0 13880 0
vsize: 55772
[startup+920.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 30144
Raw data (stat): 30087 (bsolo_lpr) R 30086 22056 22055 0 -1 0 11549 0 0 0 91972 41 0 0 25 0 1 0 834724370 57552896 11473 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14051 11473 1111 63 0 13988 0
vsize: 56204
[startup+930.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 30144
Raw data (stat): 30087 (bsolo_lpr) R 30086 22056 22055 0 -1 0 11668 0 0 0 92972 41 0 0 25 0 1 0 834724370 58155008 11592 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14198 11592 1111 63 0 14135 0
vsize: 56792
[startup+940.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 30144
Raw data (stat): 30087 (bsolo_lpr) R 30086 22056 22055 0 -1 0 11784 0 0 0 93972 42 0 0 25 0 1 0 834724370 58605568 11708 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14308 11708 1111 63 0 14245 0
vsize: 57232
[startup+950.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 30144
Raw data (stat): 30087 (bsolo_lpr) R 30086 22056 22055 0 -1 0 11902 0 0 0 94972 42 0 0 25 0 1 0 834724370 59056128 11826 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14418 11826 1111 63 0 14355 0
vsize: 57672
[startup+960.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 30144
Raw data (stat): 30087 (bsolo_lpr) R 30086 22056 22055 0 -1 0 12019 0 0 0 95972 42 0 0 25 0 1 0 834724370 59502592 11943 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14527 11943 1111 63 0 14464 0
vsize: 58108
[startup+970.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 30144
Raw data (stat): 30087 (bsolo_lpr) R 30086 22056 22055 0 -1 0 12138 0 0 0 96972 42 0 0 25 0 1 0 834724370 59953152 12062 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14637 12062 1111 63 0 14574 0
vsize: 58548
[startup+980.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 30144
Raw data (stat): 30087 (bsolo_lpr) R 30086 22056 22055 0 -1 0 12255 0 0 0 97972 42 0 0 25 0 1 0 834724370 60555264 12179 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14784 12179 1111 63 0 14721 0
vsize: 59136
[startup+990.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 30144
Raw data (stat): 30087 (bsolo_lpr) R 30086 22056 22055 0 -1 0 12366 0 0 0 98972 43 0 0 25 0 1 0 834724370 61005824 12290 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14894 12290 1111 63 0 14831 0
vsize: 59576
[startup+1000.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 30144
Raw data (stat): 30087 (bsolo_lpr) R 30086 22056 22055 0 -1 0 12483 0 0 0 99972 43 0 0 25 0 1 0 834724370 61456384 12407 4294967295 134512640 134714508 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15004 12407 1111 63 0 14941 0
vsize: 60016
[startup+1010.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 30144
Raw data (stat): 30087 (bsolo_lpr) R 30086 22056 22055 0 -1 0 12599 0 0 0 100972 43 0 0 25 0 1 0 834724370 61902848 12523 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15113 12523 1111 63 0 15050 0
vsize: 60452
[startup+1020.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 30144
Raw data (stat): 30087 (bsolo_lpr) R 30086 22056 22055 0 -1 0 12718 0 0 0 101972 43 0 0 25 0 1 0 834724370 62353408 12642 4294967295 134512640 134714508 3221224592 3221222820 1077414432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15223 12642 1111 63 0 15160 0
vsize: 60892
[startup+1030.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 30144
Raw data (stat): 30087 (bsolo_lpr) R 30086 22056 22055 0 -1 0 12835 0 0 0 102971 44 0 0 25 0 1 0 834724370 62803968 12759 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15333 12759 1111 63 0 15270 0
vsize: 61332
[startup+1040.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 30144
Raw data (stat): 30087 (bsolo_lpr) R 30086 22056 22055 0 -1 0 12952 0 0 0 103971 44 0 0 25 0 1 0 834724370 63406080 12876 4294967295 134512640 134714508 3221224592 3221222820 1077414399 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15480 12876 1111 63 0 15417 0
vsize: 61920
[startup+1050.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 30144
Raw data (stat): 30087 (bsolo_lpr) R 30086 22056 22055 0 -1 0 13070 0 0 0 104971 44 0 0 25 0 1 0 834724370 63848448 12994 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15588 12994 1111 63 0 15525 0
vsize: 62352
[startup+1060.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 30144
Raw data (stat): 30087 (bsolo_lpr) R 30086 22056 22055 0 -1 0 13189 0 0 0 105971 45 0 0 25 0 1 0 834724370 64303104 13113 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15699 13113 1111 63 0 15636 0
vsize: 62796
[startup+1070.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 30144
Raw data (stat): 30087 (bsolo_lpr) R 30086 22056 22055 0 -1 0 13305 0 0 0 106971 45 0 0 25 0 1 0 834724370 64749568 13229 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15808 13229 1111 63 0 15745 0
vsize: 63232
[startup+1080.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 30144
Raw data (stat): 30087 (bsolo_lpr) R 30086 22056 22055 0 -1 0 13423 0 0 0 107971 45 0 0 25 0 1 0 834724370 65204224 13347 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15919 13347 1111 63 0 15856 0
vsize: 63676
[startup+1090.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 30144
Raw data (stat): 30087 (bsolo_lpr) R 30086 22056 22055 0 -1 0 13546 0 0 0 108971 46 0 0 25 0 1 0 834724370 65798144 13470 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16064 13470 1111 63 0 16001 0
vsize: 64256
[startup+1100.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 30144
Raw data (stat): 30087 (bsolo_lpr) R 30086 22056 22055 0 -1 0 13665 0 0 0 109972 46 0 0 25 0 1 0 834724370 66248704 13589 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16174 13589 1111 63 0 16111 0
vsize: 64696
[startup+1110.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 30144
Raw data (stat): 30087 (bsolo_lpr) R 30086 22056 22055 0 -1 0 13782 0 0 0 110973 46 0 0 25 0 1 0 834724370 66699264 13706 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16284 13706 1111 63 0 16221 0
vsize: 65136
[startup+1120.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 30144
Raw data (stat): 30087 (bsolo_lpr) R 30086 22056 22055 0 -1 0 13900 0 0 0 111972 46 0 0 25 0 1 0 834724370 67149824 13824 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16394 13824 1111 63 0 16331 0
vsize: 65576
[startup+1130.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 30144
Raw data (stat): 30087 (bsolo_lpr) R 30086 22056 22055 0 -1 0 14019 0 0 0 112972 47 0 0 25 0 1 0 834724370 67751936 13943 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16541 13943 1111 63 0 16478 0
vsize: 66164
[startup+1140.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 30144
Raw data (stat): 30087 (bsolo_lpr) R 30086 22056 22055 0 -1 0 14136 0 0 0 113973 47 0 0 25 0 1 0 834724370 68198400 14060 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16650 14060 1111 63 0 16587 0
vsize: 66600
[startup+1150.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 30144
Raw data (stat): 30087 (bsolo_lpr) R 30086 22056 22055 0 -1 0 14254 0 0 0 114972 47 0 0 25 0 1 0 834724370 68653056 14178 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16761 14178 1111 63 0 16698 0
vsize: 67044
[startup+1160.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 30144
Raw data (stat): 30087 (bsolo_lpr) R 30086 22056 22055 0 -1 0 14371 0 0 0 115972 47 0 0 25 0 1 0 834724370 69099520 14295 4294967295 134512640 134714508 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16870 14295 1111 63 0 16807 0
vsize: 67480
[startup+1170.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 30144
Raw data (stat): 30087 (bsolo_lpr) R 30086 22056 22055 0 -1 0 14490 0 0 0 116972 47 0 0 25 0 1 0 834724370 69550080 14414 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16980 14414 1111 63 0 16917 0
vsize: 67920
[startup+1180.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 30144
Raw data (stat): 30087 (bsolo_lpr) R 30086 22056 22055 0 -1 0 14612 0 0 0 117972 48 0 0 25 0 1 0 834724370 70148096 14536 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17126 14536 1111 63 0 17063 0
vsize: 68504
[startup+1190.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 30144
Raw data (stat): 30087 (bsolo_lpr) R 30086 22056 22055 0 -1 0 14731 0 0 0 118972 48 0 0 25 0 1 0 834724370 70598656 14655 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17236 14655 1111 63 0 17173 0
vsize: 68944
[startup+1200.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 30144
Raw data (stat): 30087 (bsolo_lpr) R 30086 22056 22055 0 -1 0 14848 0 0 0 119972 49 0 0 25 0 1 0 834724370 71045120 14772 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17345 14772 1111 63 0 17282 0
vsize: 69380
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.1 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 30144
Raw data (stat): 30087 (bsolo_lpr) Z 30086 22056 22055 0 -1 1036 14848 0 0 0 119972 51 0 0 25 0 1 0 834724370 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.1
CPU time (s): 1200.24
CPU user time (s): 1199.72
CPU system time (s): 0.518921
CPU usage (%): 100.012
Max. virtual memory (Kb): 69380
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####