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-n3709.opb
MD5SUM	bd3b7059f5a46c39741d1666410238f7
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	29610373267604
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	29610373267604
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.42678
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 28206

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc26 THE 2005-05-25 01:02:22 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=14119 boxname=wulflinc26 idbench=1087 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  bd3b7059f5a46c39741d1666410238f7  /oldhome/oroussel/tmp/wulflinc26/normalized-mps-v2-20-10-n3709.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc26/normalized-mps-v2-20-10-n3709.opb
IDLAUNCH: 14119
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.061
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.061
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:        750556 kB
Buffers:         30408 kB
Cached:         229852 kB
SwapCached:        656 kB
Active:          75896 kB
Inactive:       187024 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        750304 kB
SwapTotal:     2097892 kB
SwapFree:      2096880 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6032 kB
Slab:            15540 kB
Committed_AS:    63732 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 01:22:25 (client local time) WITH STATUS 0 IN 1200.22 SECONDS
stats: 14119 7 1200.22 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): 0.85 0.95 0.91 2/54 28412
Raw data (stat): 28412 (runsolver) R 28411 20687 20686 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 834770093 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 135158418 0 2147483391 7 90112 0 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.87 0.95 0.91 2/54 28412
Raw data (stat): 28412 (bsolo_lpr) R 28411 20687 20686 0 -1 0 1296 0 0 0 992 5 0 0 25 0 1 0 834770093 15511552 1220 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3787 1220 1111 63 0 3724 0
vsize: 15148
[startup+20.0015 s]
Raw data (loadavg): 0.89 0.96 0.91 2/54 28412
Raw data (stat): 28412 (bsolo_lpr) R 28411 20687 20686 0 -1 0 1406 0 0 0 1992 5 0 0 25 0 1 0 834770093 15941632 1330 4294967295 134512640 134714508 3221224592 3221222944 134566708 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3892 1330 1111 63 0 3829 0
vsize: 15568
[startup+30.0022 s]
Raw data (loadavg): 0.91 0.96 0.91 2/54 28412
Raw data (stat): 28412 (bsolo_lpr) R 28411 20687 20686 0 -1 0 1515 0 0 0 2993 5 0 0 25 0 1 0 834770093 16379904 1439 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3999 1439 1111 63 0 3936 0
vsize: 15996
[startup+40.0018 s]
Raw data (loadavg): 0.92 0.96 0.91 2/54 28412
Raw data (stat): 28412 (bsolo_lpr) R 28411 20687 20686 0 -1 0 1625 0 0 0 3993 6 0 0 25 0 1 0 834770093 16834560 1549 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4110 1549 1111 63 0 4047 0
vsize: 16440
[startup+50.0025 s]
Raw data (loadavg): 0.93 0.96 0.91 2/54 28412
Raw data (stat): 28412 (bsolo_lpr) R 28411 20687 20686 0 -1 0 1737 0 0 0 4993 6 0 0 25 0 1 0 834770093 17412096 1661 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4251 1661 1111 63 0 4188 0
vsize: 17004
[startup+60.0022 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 28412
Raw data (stat): 28412 (bsolo_lpr) R 28411 20687 20686 0 -1 0 1848 0 0 0 5993 6 0 0 25 0 1 0 834770093 17862656 1772 4294967295 134512640 134714508 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4361 1772 1111 63 0 4298 0
vsize: 17444
[startup+70.0029 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 28412
Raw data (stat): 28412 (bsolo_lpr) R 28411 20687 20686 0 -1 0 1951 0 0 0 6993 6 0 0 25 0 1 0 834770093 18161664 1875 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4434 1875 1111 63 0 4371 0
vsize: 17736
[startup+80.0036 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 28412
Raw data (stat): 28412 (bsolo_lpr) R 28411 20687 20686 0 -1 0 2067 0 0 0 7993 6 0 0 25 0 1 0 834770093 18763776 1991 4294967295 134512640 134714508 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4581 1991 1111 63 0 4518 0
vsize: 18324
[startup+90.0033 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 28412
Raw data (stat): 28412 (bsolo_lpr) R 28411 20687 20686 0 -1 0 2176 0 0 0 8993 7 0 0 25 0 1 0 834770093 19197952 2100 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4687 2100 1111 63 0 4624 0
vsize: 18748
[startup+100.004 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 28412
Raw data (stat): 28412 (bsolo_lpr) R 28411 20687 20686 0 -1 0 2292 0 0 0 9993 7 0 0 25 0 1 0 834770093 19656704 2216 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4799 2216 1111 63 0 4736 0
vsize: 19196
[startup+110.005 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 28412
Raw data (stat): 28412 (bsolo_lpr) R 28411 20687 20686 0 -1 0 2395 0 0 0 10993 7 0 0 25 0 1 0 834770093 20103168 2319 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4908 2319 1111 63 0 4845 0
vsize: 19632
[startup+120.005 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 28412
Raw data (stat): 28412 (bsolo_lpr) R 28411 20687 20686 0 -1 0 2512 0 0 0 11993 7 0 0 25 0 1 0 834770093 20557824 2436 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5019 2436 1111 63 0 4956 0
vsize: 20076
[startup+130.006 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 28412
Raw data (stat): 28412 (bsolo_lpr) R 28411 20687 20686 0 -1 0 2615 0 0 0 12993 7 0 0 25 0 1 0 834770093 21004288 2539 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5128 2539 1111 63 0 5065 0
vsize: 20512
[startup+140.006 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 28412
Raw data (stat): 28412 (bsolo_lpr) R 28411 20687 20686 0 -1 0 2731 0 0 0 13993 8 0 0 25 0 1 0 834770093 21434368 2655 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5233 2655 1111 63 0 5170 0
vsize: 20932
[startup+150.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28412
Raw data (stat): 28412 (bsolo_lpr) R 28411 20687 20686 0 -1 0 2835 0 0 0 14993 8 0 0 25 0 1 0 834770093 21872640 2759 4294967295 134512640 134714508 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5340 2759 1111 63 0 5277 0
vsize: 21360
[startup+160.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28412
Raw data (stat): 28412 (bsolo_lpr) R 28411 20687 20686 0 -1 0 2951 0 0 0 15993 8 0 0 25 0 1 0 834770093 22323200 2875 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5450 2875 1111 63 0 5387 0
vsize: 21800
[startup+170.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28412
Raw data (stat): 28412 (bsolo_lpr) R 28411 20687 20686 0 -1 0 3054 0 0 0 16993 8 0 0 25 0 1 0 834770093 22773760 2978 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5560 2978 1111 63 0 5497 0
vsize: 22240
[startup+180.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28412
Raw data (stat): 28412 (bsolo_lpr) R 28411 20687 20686 0 -1 0 3178 0 0 0 17993 8 0 0 25 0 1 0 834770093 23232512 3102 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5672 3102 1111 63 0 5609 0
vsize: 22688
[startup+190.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28412
Raw data (stat): 28412 (bsolo_lpr) R 28411 20687 20686 0 -1 0 3281 0 0 0 18993 9 0 0 25 0 1 0 834770093 23662592 3205 4294967295 134512640 134714508 3221224592 3221222820 1077414382 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5777 3205 1111 63 0 5714 0
vsize: 23108
[startup+200.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28414
Raw data (stat): 28412 (bsolo_lpr) R 28411 20687 20686 0 -1 0 3397 0 0 0 19993 9 0 0 25 0 1 0 834770093 24113152 3321 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5887 3321 1111 63 0 5824 0
vsize: 23548
[startup+210.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28414
Raw data (stat): 28412 (bsolo_lpr) R 28411 20687 20686 0 -1 0 3507 0 0 0 20993 9 0 0 25 0 1 0 834770093 24559616 3431 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5996 3431 1111 63 0 5933 0
vsize: 23984
[startup+220.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28414
Raw data (stat): 28412 (bsolo_lpr) R 28411 20687 20686 0 -1 0 3618 0 0 0 21992 10 0 0 25 0 1 0 834770093 25010176 3542 4294967295 134512640 134714508 3221224592 3221222820 1077414345 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.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28414
Raw data (stat): 28412 (bsolo_lpr) R 28411 20687 20686 0 -1 0 3728 0 0 0 22992 10 0 0 25 0 1 0 834770093 25460736 3652 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6216 3652 1111 63 0 6153 0
vsize: 24864
[startup+240.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28414
Raw data (stat): 28412 (bsolo_lpr) R 28411 20687 20686 0 -1 0 3839 0 0 0 23992 10 0 0 25 0 1 0 834770093 25911296 3763 4294967295 134512640 134714508 3221224592 3221222820 1077414357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6326 3763 1111 63 0 6263 0
vsize: 25304
[startup+250.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28414
Raw data (stat): 28412 (bsolo_lpr) R 28411 20687 20686 0 -1 0 3948 0 0 0 24993 10 0 0 25 0 1 0 834770093 26357760 3872 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6435 3872 1111 63 0 6372 0
vsize: 25740
[startup+260.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28414
Raw data (stat): 28412 (bsolo_lpr) R 28411 20687 20686 0 -1 0 4060 0 0 0 25993 10 0 0 25 0 1 0 834770093 26804224 3984 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6544 3984 1111 63 0 6481 0
vsize: 26176
[startup+270.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28414
Raw data (stat): 28412 (bsolo_lpr) R 28411 20687 20686 0 -1 0 4176 0 0 0 26993 10 0 0 25 0 1 0 834770093 27406336 4100 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6691 4100 1111 63 0 6628 0
vsize: 26764
[startup+280.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28414
Raw data (stat): 28412 (bsolo_lpr) R 28411 20687 20686 0 -1 0 4287 0 0 0 27993 10 0 0 25 0 1 0 834770093 27860992 4211 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6802 4211 1111 63 0 6739 0
vsize: 27208
[startup+290.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28414
Raw data (stat): 28412 (bsolo_lpr) R 28411 20687 20686 0 -1 0 4396 0 0 0 28993 11 0 0 25 0 1 0 834770093 28307456 4320 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6911 4320 1111 63 0 6848 0
vsize: 27644
[startup+300.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28414
Raw data (stat): 28412 (bsolo_lpr) R 28411 20687 20686 0 -1 0 4508 0 0 0 29993 11 0 0 25 0 1 0 834770093 28737536 4432 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7016 4432 1111 63 0 6953 0
vsize: 28064
[startup+310.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28414
Raw data (stat): 28412 (bsolo_lpr) R 28411 20687 20686 0 -1 0 4617 0 0 0 30993 11 0 0 25 0 1 0 834770093 29175808 4541 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7123 4541 1111 63 0 7060 0
vsize: 28492
[startup+320.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28414
Raw data (stat): 28412 (bsolo_lpr) R 28411 20687 20686 0 -1 0 4734 0 0 0 31993 11 0 0 25 0 1 0 834770093 29626368 4658 4294967295 134512640 134714508 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7233 4658 1111 63 0 7170 0
vsize: 28932
[startup+330.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28414
Raw data (stat): 28412 (bsolo_lpr) R 28411 20687 20686 0 -1 0 4844 0 0 0 32993 11 0 0 25 0 1 0 834770093 30076928 4768 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7343 4768 1111 63 0 7280 0
vsize: 29372
[startup+340.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28414
Raw data (stat): 28412 (bsolo_lpr) R 28411 20687 20686 0 -1 0 4955 0 0 0 33992 12 0 0 25 0 1 0 834770093 30527488 4879 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7453 4879 1111 63 0 7390 0
vsize: 29812
[startup+350.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28414
Raw data (stat): 28412 (bsolo_lpr) R 28411 20687 20686 0 -1 0 5070 0 0 0 34992 12 0 0 25 0 1 0 834770093 30973952 4994 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7562 4994 1111 63 0 7499 0
vsize: 30248
[startup+360.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28414
Raw data (stat): 28412 (bsolo_lpr) R 28411 20687 20686 0 -1 0 5186 0 0 0 35992 12 0 0 25 0 1 0 834770093 31461376 5110 4294967295 134512640 134714508 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7681 5110 1111 63 0 7618 0
vsize: 30724
[startup+370.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28414
Raw data (stat): 28412 (bsolo_lpr) R 28411 20687 20686 0 -1 0 5302 0 0 0 36992 12 0 0 25 0 1 0 834770093 32059392 5226 4294967295 134512640 134714508 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7827 5226 1111 63 0 7764 0
vsize: 31308
[startup+380.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28414
Raw data (stat): 28412 (bsolo_lpr) R 28411 20687 20686 0 -1 0 5414 0 0 0 37993 13 0 0 25 0 1 0 834770093 32514048 5338 4294967295 134512640 134714508 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7938 5338 1111 63 0 7875 0
vsize: 31752
[startup+390.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28414
Raw data (stat): 28412 (bsolo_lpr) R 28411 20687 20686 0 -1 0 5523 0 0 0 38993 13 0 0 25 0 1 0 834770093 32956416 5447 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8046 5447 1111 63 0 7983 0
vsize: 32184
[startup+400.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28414
Raw data (stat): 28412 (bsolo_lpr) R 28411 20687 20686 0 -1 0 5641 0 0 0 39993 13 0 0 25 0 1 0 834770093 33411072 5565 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8157 5565 1111 63 0 8094 0
vsize: 32628
[startup+410.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28414
Raw data (stat): 28412 (bsolo_lpr) R 28411 20687 20686 0 -1 0 5750 0 0 0 40993 13 0 0 25 0 1 0 834770093 33857536 5674 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8266 5674 1111 63 0 8203 0
vsize: 33064
[startup+420.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28414
Raw data (stat): 28412 (bsolo_lpr) R 28411 20687 20686 0 -1 0 5862 0 0 0 41993 14 0 0 25 0 1 0 834770093 34312192 5786 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8377 5786 1111 63 0 8314 0
vsize: 33508
[startup+430.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28414
Raw data (stat): 28412 (bsolo_lpr) R 28411 20687 20686 0 -1 0 5978 0 0 0 42992 14 0 0 25 0 1 0 834770093 34758656 5902 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8486 5902 1111 63 0 8423 0
vsize: 33944
[startup+440.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28414
Raw data (stat): 28412 (bsolo_lpr) R 28411 20687 20686 0 -1 0 6089 0 0 0 43992 14 0 0 25 0 1 0 834770093 35213312 6013 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8597 6013 1111 63 0 8534 0
vsize: 34388
[startup+450.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28414
Raw data (stat): 28412 (bsolo_lpr) R 28411 20687 20686 0 -1 0 6205 0 0 0 44992 15 0 0 25 0 1 0 834770093 35655680 6129 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8705 6129 1111 63 0 8642 0
vsize: 34820
[startup+460.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28414
Raw data (stat): 28412 (bsolo_lpr) R 28411 20687 20686 0 -1 0 6317 0 0 0 45992 15 0 0 25 0 1 0 834770093 36110336 6241 4294967295 134512640 134714508 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8816 6241 1111 63 0 8753 0
vsize: 35264
[startup+470.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28414
Raw data (stat): 28412 (bsolo_lpr) R 28411 20687 20686 0 -1 0 6433 0 0 0 46992 15 0 0 25 0 1 0 834770093 36556800 6357 4294967295 134512640 134714508 3221224592 3221222820 1077414393 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8925 6357 1111 63 0 8862 0
vsize: 35700
[startup+480.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28414
Raw data (stat): 28412 (bsolo_lpr) R 28411 20687 20686 0 -1 0 6544 0 0 0 47992 16 0 0 25 0 1 0 834770093 37011456 6468 4294967295 134512640 134714508 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9036 6468 1111 63 0 8973 0
vsize: 36144
[startup+490.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28414
Raw data (stat): 28412 (bsolo_lpr) R 28411 20687 20686 0 -1 0 6655 0 0 0 48992 16 0 0 25 0 1 0 834770093 37453824 6579 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9144 6579 1111 63 0 9081 0
vsize: 36576
[startup+500.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28414
Raw data (stat): 28412 (bsolo_lpr) R 28411 20687 20686 0 -1 0 6772 0 0 0 49992 16 0 0 25 0 1 0 834770093 38055936 6696 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9291 6696 1111 63 0 9228 0
vsize: 37164
[startup+510.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28414
Raw data (stat): 28412 (bsolo_lpr) R 28411 20687 20686 0 -1 0 6883 0 0 0 50992 16 0 0 25 0 1 0 834770093 38506496 6807 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9401 6807 1111 63 0 9338 0
vsize: 37604
[startup+520.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28414
Raw data (stat): 28412 (bsolo_lpr) R 28411 20687 20686 0 -1 0 7000 0 0 0 51992 17 0 0 25 0 1 0 834770093 38957056 6924 4294967295 134512640 134714508 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9511 6924 1111 63 0 9448 0
vsize: 38044
[startup+530.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28414
Raw data (stat): 28412 (bsolo_lpr) R 28411 20687 20686 0 -1 0 7110 0 0 0 52992 17 0 0 25 0 1 0 834770093 39403520 7034 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9620 7034 1111 63 0 9557 0
vsize: 38480
[startup+540.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28414
Raw data (stat): 28412 (bsolo_lpr) R 28411 20687 20686 0 -1 0 7228 0 0 0 53992 17 0 0 25 0 1 0 834770093 39854080 7152 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9730 7152 1111 63 0 9667 0
vsize: 38920
[startup+550.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28414
Raw data (stat): 28412 (bsolo_lpr) R 28411 20687 20686 0 -1 0 7337 0 0 0 54991 18 0 0 25 0 1 0 834770093 40304640 7261 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9840 7261 1111 63 0 9777 0
vsize: 39360
[startup+560.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28414
Raw data (stat): 28412 (bsolo_lpr) R 28411 20687 20686 0 -1 0 7455 0 0 0 55991 18 0 0 25 0 1 0 834770093 40755200 7379 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9950 7379 1111 63 0 9887 0
vsize: 39800
[startup+570.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28414
Raw data (stat): 28412 (bsolo_lpr) R 28411 20687 20686 0 -1 0 7565 0 0 0 56991 18 0 0 25 0 1 0 834770093 41205760 7489 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10060 7489 1111 63 0 9997 0
vsize: 40240
[startup+580.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28414
Raw data (stat): 28412 (bsolo_lpr) R 28411 20687 20686 0 -1 0 7684 0 0 0 57990 19 0 0 25 0 1 0 834770093 41656320 7608 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10170 7608 1111 63 0 10107 0
vsize: 40680
[startup+590.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28414
Raw data (stat): 28412 (bsolo_lpr) R 28411 20687 20686 0 -1 0 7801 0 0 0 58991 19 0 0 25 0 1 0 834770093 42250240 7725 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10315 7725 1111 63 0 10252 0
vsize: 41260
[startup+600.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28414
Raw data (stat): 28412 (bsolo_lpr) R 28411 20687 20686 0 -1 0 7912 0 0 0 59990 19 0 0 25 0 1 0 834770093 42704896 7836 4294967295 134512640 134714508 3221224592 3221222820 1077414357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10426 7836 1111 63 0 10363 0
vsize: 41704
[startup+610.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28414
Raw data (stat): 28412 (bsolo_lpr) R 28411 20687 20686 0 -1 0 8029 0 0 0 60990 20 0 0 25 0 1 0 834770093 43151360 7953 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10535 7953 1111 63 0 10472 0
vsize: 42140
[startup+620.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28414
Raw data (stat): 28412 (bsolo_lpr) R 28411 20687 20686 0 -1 0 8139 0 0 0 61990 20 0 0 25 0 1 0 834770093 43606016 8063 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10646 8063 1111 63 0 10583 0
vsize: 42584
[startup+630.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28414
Raw data (stat): 28412 (bsolo_lpr) R 28411 20687 20686 0 -1 0 8256 0 0 0 62990 20 0 0 25 0 1 0 834770093 44048384 8180 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10754 8180 1111 63 0 10691 0
vsize: 43016
[startup+640.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28414
Raw data (stat): 28412 (bsolo_lpr) R 28411 20687 20686 0 -1 0 8373 0 0 0 63990 20 0 0 25 0 1 0 834770093 44470272 8297 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10857 8297 1111 63 0 10794 0
vsize: 43428
[startup+650.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28414
Raw data (stat): 28412 (bsolo_lpr) R 28411 20687 20686 0 -1 0 8484 0 0 0 64990 21 0 0 25 0 1 0 834770093 44920832 8408 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10967 8408 1111 63 0 10904 0
vsize: 43868
[startup+660.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28414
Raw data (stat): 28412 (bsolo_lpr) R 28411 20687 20686 0 -1 0 8600 0 0 0 65990 21 0 0 25 0 1 0 834770093 45522944 8524 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11114 8524 1111 63 0 11051 0
vsize: 44456
[startup+670.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28414
Raw data (stat): 28412 (bsolo_lpr) R 28411 20687 20686 0 -1 0 8712 0 0 0 66990 21 0 0 25 0 1 0 834770093 45973504 8636 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11224 8636 1111 63 0 11161 0
vsize: 44896
[startup+680.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28414
Raw data (stat): 28412 (bsolo_lpr) R 28411 20687 20686 0 -1 0 8827 0 0 0 67990 21 0 0 25 0 1 0 834770093 46419968 8751 4294967295 134512640 134714508 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11333 8751 1111 63 0 11270 0
vsize: 45332
[startup+690.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28414
Raw data (stat): 28412 (bsolo_lpr) R 28411 20687 20686 0 -1 0 8945 0 0 0 68990 22 0 0 25 0 1 0 834770093 46874624 8869 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11444 8869 1111 63 0 11381 0
vsize: 45776
[startup+700.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28414
Raw data (stat): 28412 (bsolo_lpr) R 28411 20687 20686 0 -1 0 9080 0 0 0 69990 22 0 0 25 0 1 0 834770093 47579136 9004 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11616 9004 1111 63 0 11553 0
vsize: 46464
[startup+710.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28414
Raw data (stat): 28412 (bsolo_lpr) R 28411 20687 20686 0 -1 0 9198 0 0 0 70990 22 0 0 25 0 1 0 834770093 47996928 9122 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11718 9122 1111 63 0 11655 0
vsize: 46872
[startup+720.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28414
Raw data (stat): 28412 (bsolo_lpr) R 28411 20687 20686 0 -1 0 9308 0 0 0 71990 22 0 0 25 0 1 0 834770093 48439296 9232 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11826 9232 1111 63 0 11763 0
vsize: 47304
[startup+730.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28414
Raw data (stat): 28412 (bsolo_lpr) R 28411 20687 20686 0 -1 0 9426 0 0 0 72989 23 0 0 25 0 1 0 834770093 48893952 9350 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11937 9350 1111 63 0 11874 0
vsize: 47748
[startup+740.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28414
Raw data (stat): 28412 (bsolo_lpr) R 28411 20687 20686 0 -1 0 9542 0 0 0 73989 23 0 0 25 0 1 0 834770093 49491968 9466 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12083 9466 1111 63 0 12020 0
vsize: 48332
[startup+750.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28414
Raw data (stat): 28412 (bsolo_lpr) R 28411 20687 20686 0 -1 0 9655 0 0 0 74989 23 0 0 25 0 1 0 834770093 49942528 9579 4294967295 134512640 134714508 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12193 9579 1111 63 0 12130 0
vsize: 48772
[startup+760.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28414
Raw data (stat): 28412 (bsolo_lpr) R 28411 20687 20686 0 -1 0 9771 0 0 0 75989 24 0 0 25 0 1 0 834770093 50388992 9695 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12302 9695 1111 63 0 12239 0
vsize: 49208
[startup+770.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28414
Raw data (stat): 28412 (bsolo_lpr) R 28411 20687 20686 0 -1 0 9889 0 0 0 76988 24 0 0 25 0 1 0 834770093 50814976 9813 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12406 9813 1111 63 0 12343 0
vsize: 49624
[startup+780.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28414
Raw data (stat): 28412 (bsolo_lpr) R 28411 20687 20686 0 -1 0 10005 0 0 0 77988 25 0 0 25 0 1 0 834770093 51257344 9929 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12514 9929 1111 63 0 12451 0
vsize: 50056
[startup+790.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28414
Raw data (stat): 28412 (bsolo_lpr) R 28411 20687 20686 0 -1 0 10125 0 0 0 78988 25 0 0 25 0 1 0 834770093 51859456 10049 4294967295 134512640 134714508 3221224592 3221222820 1077414382 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12661 10049 1111 63 0 12598 0
vsize: 50644
[startup+800.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28414
Raw data (stat): 28412 (bsolo_lpr) R 28411 20687 20686 0 -1 0 10241 0 0 0 79988 25 0 0 25 0 1 0 834770093 52310016 10165 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12771 10165 1111 63 0 12708 0
vsize: 51084
[startup+810.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28414
Raw data (stat): 28412 (bsolo_lpr) R 28411 20687 20686 0 -1 0 10358 0 0 0 80988 25 0 0 25 0 1 0 834770093 52760576 10282 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12881 10282 1111 63 0 12818 0
vsize: 51524
[startup+820.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28414
Raw data (stat): 28412 (bsolo_lpr) R 28411 20687 20686 0 -1 0 10476 0 0 0 81988 25 0 0 25 0 1 0 834770093 53207040 10400 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12990 10400 1111 63 0 12927 0
vsize: 51960
[startup+830.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28414
Raw data (stat): 28412 (bsolo_lpr) R 28411 20687 20686 0 -1 0 10587 0 0 0 82988 26 0 0 25 0 1 0 834770093 53657600 10511 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13100 10511 1111 63 0 13037 0
vsize: 52400
[startup+840.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28414
Raw data (stat): 28412 (bsolo_lpr) R 28411 20687 20686 0 -1 0 10706 0 0 0 83988 26 0 0 25 0 1 0 834770093 54108160 10630 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13210 10630 1111 63 0 13147 0
vsize: 52840
[startup+850.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28414
Raw data (stat): 28412 (bsolo_lpr) R 28411 20687 20686 0 -1 0 10822 0 0 0 84986 27 0 0 25 0 1 0 834770093 54710272 10746 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13357 10746 1111 63 0 13294 0
vsize: 53428
[startup+860.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28414
Raw data (stat): 28412 (bsolo_lpr) R 28411 20687 20686 0 -1 0 10933 0 0 0 85986 27 0 0 25 0 1 0 834770093 55160832 10857 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13467 10857 1111 63 0 13404 0
vsize: 53868
[startup+870.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28414
Raw data (stat): 28412 (bsolo_lpr) R 28411 20687 20686 0 -1 0 11050 0 0 0 86985 28 0 0 25 0 1 0 834770093 55607296 10974 4294967295 134512640 134714508 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13576 10974 1111 63 0 13513 0
vsize: 54304
[startup+880.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28414
Raw data (stat): 28412 (bsolo_lpr) R 28411 20687 20686 0 -1 0 11169 0 0 0 87985 29 0 0 25 0 1 0 834770093 56057856 11093 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13686 11093 1111 63 0 13623 0
vsize: 54744
[startup+890.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28414
Raw data (stat): 28412 (bsolo_lpr) R 28411 20687 20686 0 -1 0 11285 0 0 0 88984 30 0 0 25 0 1 0 834770093 56508416 11209 4294967295 134512640 134714508 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13796 11209 1111 63 0 13733 0
vsize: 55184
[startup+900.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28414
Raw data (stat): 28412 (bsolo_lpr) R 28411 20687 20686 0 -1 0 11403 0 0 0 89983 30 0 0 25 0 1 0 834770093 56958976 11327 4294967295 134512640 134714508 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13906 11327 1111 63 0 13843 0
vsize: 55624
[startup+910.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28414
Raw data (stat): 28412 (bsolo_lpr) R 28411 20687 20686 0 -1 0 11520 0 0 0 90983 31 0 0 25 0 1 0 834770093 57552896 11444 4294967295 134512640 134714508 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14051 11444 1111 63 0 13988 0
vsize: 56204
[startup+920.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28414
Raw data (stat): 28412 (bsolo_lpr) R 28411 20687 20686 0 -1 0 11638 0 0 0 91983 32 0 0 25 0 1 0 834770093 58007552 11562 4294967295 134512640 134714508 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14162 11562 1111 63 0 14099 0
vsize: 56648
[startup+930.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28414
Raw data (stat): 28412 (bsolo_lpr) R 28411 20687 20686 0 -1 0 11748 0 0 0 92982 32 0 0 25 0 1 0 834770093 58454016 11672 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14271 11672 1111 63 0 14208 0
vsize: 57084
[startup+940.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28414
Raw data (stat): 28412 (bsolo_lpr) R 28411 20687 20686 0 -1 0 11866 0 0 0 93982 33 0 0 25 0 1 0 834770093 58908672 11790 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14382 11790 1111 63 0 14319 0
vsize: 57528
[startup+950.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28414
Raw data (stat): 28412 (bsolo_lpr) R 28411 20687 20686 0 -1 0 11982 0 0 0 94981 34 0 0 25 0 1 0 834770093 59351040 11906 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14490 11906 1111 63 0 14427 0
vsize: 57960
[startup+960.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28414
Raw data (stat): 28412 (bsolo_lpr) R 28411 20687 20686 0 -1 0 12101 0 0 0 95980 34 0 0 25 0 1 0 834770093 59805696 12025 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14601 12025 1111 63 0 14538 0
vsize: 58404
[startup+970.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28414
Raw data (stat): 28412 (bsolo_lpr) R 28411 20687 20686 0 -1 0 12218 0 0 0 96980 35 0 0 25 0 1 0 834770093 60403712 12142 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14747 12142 1111 63 0 14684 0
vsize: 58988
[startup+980.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28414
Raw data (stat): 28412 (bsolo_lpr) R 28411 20687 20686 0 -1 0 12330 0 0 0 97979 36 0 0 25 0 1 0 834770093 60854272 12254 4294967295 134512640 134714508 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14857 12254 1111 63 0 14794 0
vsize: 59428
[startup+990.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28414
Raw data (stat): 28412 (bsolo_lpr) R 28411 20687 20686 0 -1 0 12446 0 0 0 98979 36 0 0 25 0 1 0 834770093 61300736 12370 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14966 12370 1111 63 0 14903 0
vsize: 59864
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28414
Raw data (stat): 28412 (bsolo_lpr) R 28411 20687 20686 0 -1 0 12564 0 0 0 99979 37 0 0 25 0 1 0 834770093 61755392 12488 4294967295 134512640 134714508 3221224592 3221222820 1077414432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15077 12488 1111 63 0 15014 0
vsize: 60308
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28414
Raw data (stat): 28412 (bsolo_lpr) R 28411 20687 20686 0 -1 0 12682 0 0 0 100978 37 0 0 25 0 1 0 834770093 62201856 12606 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15186 12606 1111 63 0 15123 0
vsize: 60744
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28414
Raw data (stat): 28412 (bsolo_lpr) R 28411 20687 20686 0 -1 0 12799 0 0 0 101977 38 0 0 25 0 1 0 834770093 62652416 12723 4294967295 134512640 134714508 3221224592 3221222820 1077414424 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15296 12723 1111 63 0 15233 0
vsize: 61184
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28414
Raw data (stat): 28412 (bsolo_lpr) R 28411 20687 20686 0 -1 0 12916 0 0 0 102977 39 0 0 25 0 1 0 834770093 63254528 12840 4294967295 134512640 134714508 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15443 12840 1111 63 0 15380 0
vsize: 61772
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28414
Raw data (stat): 28412 (bsolo_lpr) R 28411 20687 20686 0 -1 0 13034 0 0 0 103976 40 0 0 25 0 1 0 834770093 63700992 12958 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15552 12958 1111 63 0 15489 0
vsize: 62208
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28414
Raw data (stat): 28412 (bsolo_lpr) R 28411 20687 20686 0 -1 0 13153 0 0 0 104976 40 0 0 25 0 1 0 834770093 64155648 13077 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15663 13077 1111 63 0 15600 0
vsize: 62652
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28414
Raw data (stat): 28412 (bsolo_lpr) R 28411 20687 20686 0 -1 0 13269 0 0 0 105975 41 0 0 25 0 1 0 834770093 64602112 13193 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15772 13193 1111 63 0 15709 0
vsize: 63088
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28414
Raw data (stat): 28412 (bsolo_lpr) R 28411 20687 20686 0 -1 0 13387 0 0 0 106974 42 0 0 25 0 1 0 834770093 65052672 13311 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15882 13311 1111 63 0 15819 0
vsize: 63528
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28414
Raw data (stat): 28412 (bsolo_lpr) R 28411 20687 20686 0 -1 0 13504 0 0 0 107974 42 0 0 25 0 1 0 834770093 65650688 13428 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16028 13428 1111 63 0 15965 0
vsize: 64112
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28414
Raw data (stat): 28412 (bsolo_lpr) R 28411 20687 20686 0 -1 0 13623 0 0 0 108974 43 0 0 25 0 1 0 834770093 66105344 13547 4294967295 134512640 134714508 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16139 13547 1111 63 0 16076 0
vsize: 64556
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28414
Raw data (stat): 28412 (bsolo_lpr) R 28411 20687 20686 0 -1 0 13739 0 0 0 109973 43 0 0 25 0 1 0 834770093 66547712 13663 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16247 13663 1111 63 0 16184 0
vsize: 64988
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28414
Raw data (stat): 28412 (bsolo_lpr) R 28411 20687 20686 0 -1 0 13863 0 0 0 110973 44 0 0 25 0 1 0 834770093 67002368 13787 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16358 13787 1111 63 0 16295 0
vsize: 65432
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28414
Raw data (stat): 28412 (bsolo_lpr) R 28411 20687 20686 0 -1 0 13981 0 0 0 111973 44 0 0 25 0 1 0 834770093 67600384 13905 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16504 13905 1111 63 0 16441 0
vsize: 66016
[startup+1130.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28414
Raw data (stat): 28412 (bsolo_lpr) R 28411 20687 20686 0 -1 0 14099 0 0 0 112973 45 0 0 25 0 1 0 834770093 68050944 14023 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16614 14023 1111 63 0 16551 0
vsize: 66456
[startup+1140.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28414
Raw data (stat): 28412 (bsolo_lpr) R 28411 20687 20686 0 -1 0 14216 0 0 0 113972 45 0 0 25 0 1 0 834770093 68497408 14140 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16723 14140 1111 63 0 16660 0
vsize: 66892
[startup+1150.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28414
Raw data (stat): 28412 (bsolo_lpr) R 28411 20687 20686 0 -1 0 14340 0 0 0 114972 46 0 0 25 0 1 0 834770093 68947968 14264 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16833 14264 1111 63 0 16770 0
vsize: 67332
[startup+1160.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28414
Raw data (stat): 28412 (bsolo_lpr) R 28411 20687 20686 0 -1 0 14460 0 0 0 115972 46 0 0 25 0 1 0 834770093 69550080 14384 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16980 14384 1111 63 0 16917 0
vsize: 67920
[startup+1170.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28414
Raw data (stat): 28412 (bsolo_lpr) R 28411 20687 20686 0 -1 0 14576 0 0 0 116972 46 0 0 25 0 1 0 834770093 70000640 14500 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17090 14500 1111 63 0 17027 0
vsize: 68360
[startup+1180.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28414
Raw data (stat): 28412 (bsolo_lpr) R 28411 20687 20686 0 -1 0 14696 0 0 0 117972 46 0 0 25 0 1 0 834770093 70451200 14620 4294967295 134512640 134714508 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17200 14620 1111 63 0 17137 0
vsize: 68800
[startup+1190.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28414
Raw data (stat): 28412 (bsolo_lpr) R 28411 20687 20686 0 -1 0 14818 0 0 0 118972 47 0 0 25 0 1 0 834770093 70897664 14742 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17309 14742 1111 63 0 17246 0
vsize: 69236
[startup+1200.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28414
Raw data (stat): 28412 (bsolo_lpr) R 28411 20687 20686 0 -1 0 14937 0 0 0 119972 47 0 0 25 0 1 0 834770093 71499776 14861 4294967295 134512640 134714508 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17456 14861 1111 63 0 17393 0
vsize: 69824
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.08 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 28414
Raw data (stat): 28412 (bsolo_lpr) Z 28411 20687 20686 0 -1 1036 14937 0 0 0 119972 49 0 0 23 0 1 0 834770093 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.07
CPU time (s): 1200.22
CPU user time (s): 1199.72
CPU system time (s): 0.499924
CPU usage (%): 100.012
Max. virtual memory (Kb): 69824
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####