PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-d6cube.opb
MD5SUM	889599bea53ff906bd4dd516c552c027
Bench Category	optimization, medium integers (OPTMEDINT)
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	123680
Biggest coefficient in the objective function	524288
Number of bits for the biggest coefficient in the objective function	20
Sum of the numbers in the objective function	6484387800
Number of bits of the sum of numbers in the objective function	33
Biggest number in a constraint	188743680
Number of bits of the biggest number in a constraint	28
Biggest sum of numbers in a constraint	10767194085
Number of bits of the biggest sum of numbers	34
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	1.12283
Number of variables	123680
Total number of constraints	404
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	404
Minimum length of a constraint	20
Maximum length of a constraint	123680
Trace number 27855

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc20 THE 2005-05-24 23:23:25 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=15666 boxname=wulflinc20 idbench=1206 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  889599bea53ff906bd4dd516c552c027  /oldhome/oroussel/tmp/wulflinc20/normalized-mps-v2-13-7-d6cube.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc20/normalized-mps-v2-13-7-d6cube.opb
IDLAUNCH: 15666
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.215
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.215
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:        771096 kB
Buffers:         25200 kB
Cached:         216912 kB
SwapCached:        716 kB
Active:          45148 kB
Inactive:       199076 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        770844 kB
SwapTotal:     2097892 kB
SwapFree:      2096336 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5064 kB
Slab:            13780 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-24 23:43:28 (client local time) WITH STATUS 0 IN 1200.36 SECONDS
stats: 15666 7 1200.36 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.94 0.96 2/54 30815
Raw data (stat): 30815 (runsolver) R 30814 25399 25398 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 834169465 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.0002 s]
Raw data (loadavg): 0.96 0.96 0.97 2/54 30815
Raw data (stat): 30815 (bsolo_lpr) R 30814 25399 25398 0 -1 0 1186 0 0 0 994 3 0 0 25 0 1 0 834169465 16052224 1110 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3919 1110 1111 63 0 3856 0
vsize: 15676
[startup+20.0012 s]
Raw data (loadavg): 0.96 0.96 0.97 2/54 30815
Raw data (stat): 30815 (bsolo_lpr) R 30814 25399 25398 0 -1 0 1400 0 0 0 1994 4 0 0 25 0 1 0 834169465 16900096 1324 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4126 1324 1111 63 0 4063 0
vsize: 16504
[startup+30.0008 s]
Raw data (loadavg): 0.97 0.96 0.97 2/54 30815
Raw data (stat): 30815 (bsolo_lpr) R 30814 25399 25398 0 -1 0 1620 0 0 0 2994 4 0 0 25 0 1 0 834169465 17743872 1544 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4332 1544 1111 63 0 4269 0
vsize: 17328
[startup+40.0013 s]
Raw data (loadavg): 0.97 0.96 0.97 2/54 30815
Raw data (stat): 30815 (bsolo_lpr) R 30814 25399 25398 0 -1 0 1837 0 0 0 3993 5 0 0 25 0 1 0 834169465 18604032 1761 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4542 1761 1111 63 0 4479 0
vsize: 18168
[startup+50.0023 s]
Raw data (loadavg): 0.98 0.96 0.97 2/54 30815
Raw data (stat): 30815 (bsolo_lpr) R 30814 25399 25398 0 -1 0 2056 0 0 0 4993 6 0 0 25 0 1 0 834169465 19587072 1980 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4782 1980 1111 63 0 4719 0
vsize: 19128
[startup+60.0021 s]
Raw data (loadavg): 0.98 0.96 0.97 2/54 30815
Raw data (stat): 30815 (bsolo_lpr) R 30814 25399 25398 0 -1 0 2276 0 0 0 5993 6 0 0 25 0 1 0 834169465 20430848 2200 4294967295 134512640 134714508 3221224592 3221222820 1077414357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4988 2200 1111 63 0 4925 0
vsize: 19952
[startup+70.0024 s]
Raw data (loadavg): 0.98 0.96 0.97 2/54 30815
Raw data (stat): 30815 (bsolo_lpr) R 30814 25399 25398 0 -1 0 2501 0 0 0 6992 6 0 0 25 0 1 0 834169465 21413888 2425 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5228 2425 1111 63 0 5165 0
vsize: 20912
[startup+80.0025 s]
Raw data (loadavg): 0.98 0.96 0.97 2/54 30815
Raw data (stat): 30815 (bsolo_lpr) R 30814 25399 25398 0 -1 0 2722 0 0 0 7992 7 0 0 25 0 1 0 834169465 22261760 2646 4294967295 134512640 134714508 3221224592 3221222820 1077414357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5435 2646 1111 63 0 5372 0
vsize: 21740
[startup+90.0032 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30815
Raw data (stat): 30815 (bsolo_lpr) R 30814 25399 25398 0 -1 0 2941 0 0 0 8992 7 0 0 25 0 1 0 834169465 23240704 2865 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5674 2865 1111 63 0 5611 0
vsize: 22696
[startup+100.004 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30815
Raw data (stat): 30815 (bsolo_lpr) R 30814 25399 25398 0 -1 0 3162 0 0 0 9991 8 0 0 25 0 1 0 834169465 24088576 3086 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5881 3086 1111 63 0 5818 0
vsize: 23524
[startup+110.004 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30815
Raw data (stat): 30815 (bsolo_lpr) R 30814 25399 25398 0 -1 0 3376 0 0 0 10991 9 0 0 25 0 1 0 834169465 24932352 3300 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6087 3300 1111 63 0 6024 0
vsize: 24348
[startup+120.004 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30815
Raw data (stat): 30815 (bsolo_lpr) R 30814 25399 25398 0 -1 0 3596 0 0 0 11991 9 0 0 25 0 1 0 834169465 25923584 3520 4294967295 134512640 134714508 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6329 3520 1111 63 0 6266 0
vsize: 25316
[startup+130.004 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30815
Raw data (stat): 30815 (bsolo_lpr) R 30814 25399 25398 0 -1 0 3822 0 0 0 12990 10 0 0 25 0 1 0 834169465 26779648 3746 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6538 3746 1111 63 0 6475 0
vsize: 26152
[startup+140.005 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30815
Raw data (stat): 30815 (bsolo_lpr) R 30814 25399 25398 0 -1 0 4049 0 0 0 13990 10 0 0 25 0 1 0 834169465 27770880 3973 4294967295 134512640 134714508 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6780 3973 1111 63 0 6717 0
vsize: 27120
[startup+150.005 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30815
Raw data (stat): 30815 (bsolo_lpr) R 30814 25399 25398 0 -1 0 4270 0 0 0 14990 11 0 0 25 0 1 0 834169465 28614656 4194 4294967295 134512640 134714508 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6986 4194 1111 63 0 6923 0
vsize: 27944
[startup+160.005 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30815
Raw data (stat): 30815 (bsolo_lpr) R 30814 25399 25398 0 -1 0 4491 0 0 0 15990 11 0 0 25 0 1 0 834169465 29601792 4415 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7227 4415 1111 63 0 7164 0
vsize: 28908
[startup+170.006 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30815
Raw data (stat): 30815 (bsolo_lpr) R 30814 25399 25398 0 -1 0 4711 0 0 0 16990 11 0 0 25 0 1 0 834169465 30441472 4635 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7432 4635 1111 63 0 7369 0
vsize: 29728
[startup+180.006 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30815
Raw data (stat): 30815 (bsolo_lpr) R 30814 25399 25398 0 -1 0 4932 0 0 0 17989 11 0 0 25 0 1 0 834169465 31289344 4856 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7639 4856 1111 63 0 7576 0
vsize: 30556
[startup+190.006 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30815
Raw data (stat): 30815 (bsolo_lpr) R 30814 25399 25398 0 -1 0 5154 0 0 0 18989 12 0 0 25 0 1 0 834169465 32276480 5078 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7880 5078 1111 63 0 7817 0
vsize: 31520
[startup+200.006 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30815
Raw data (stat): 30815 (bsolo_lpr) R 30814 25399 25398 0 -1 0 5381 0 0 0 19989 13 0 0 25 0 1 0 834169465 33124352 5305 4294967295 134512640 134714508 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8087 5305 1111 63 0 8024 0
vsize: 32348
[startup+210.006 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30815
Raw data (stat): 30815 (bsolo_lpr) R 30814 25399 25398 0 -1 0 5600 0 0 0 20988 13 0 0 25 0 1 0 834169465 34103296 5524 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8326 5524 1111 63 0 8263 0
vsize: 33304
[startup+220.007 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30815
Raw data (stat): 30815 (bsolo_lpr) R 30814 25399 25398 0 -1 0 5827 0 0 0 21988 14 0 0 25 0 1 0 834169465 34951168 5751 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8533 5751 1111 63 0 8470 0
vsize: 34132
[startup+230.006 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30815
Raw data (stat): 30815 (bsolo_lpr) R 30814 25399 25398 0 -1 0 6048 0 0 0 22987 14 0 0 25 0 1 0 834169465 35938304 5972 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8774 5972 1111 63 0 8711 0
vsize: 35096
[startup+240.007 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30815
Raw data (stat): 30815 (bsolo_lpr) R 30814 25399 25398 0 -1 0 6275 0 0 0 23987 15 0 0 25 0 1 0 834169465 36782080 6199 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8980 6199 1111 63 0 8917 0
vsize: 35920
[startup+250.007 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30815
Raw data (stat): 30815 (bsolo_lpr) R 30814 25399 25398 0 -1 0 6506 0 0 0 24987 16 0 0 25 0 1 0 834169465 37765120 6430 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9220 6430 1111 63 0 9157 0
vsize: 36880
[startup+260.006 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30815
Raw data (stat): 30815 (bsolo_lpr) R 30814 25399 25398 0 -1 0 6732 0 0 0 25986 16 0 0 25 0 1 0 834169465 38760448 6656 4294967295 134512640 134714508 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9463 6656 1111 63 0 9400 0
vsize: 37852
[startup+270.006 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30815
Raw data (stat): 30815 (bsolo_lpr) R 30814 25399 25398 0 -1 0 6953 0 0 0 26986 17 0 0 25 0 1 0 834169465 39608320 6877 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9670 6877 1111 63 0 9607 0
vsize: 38680
[startup+280.006 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30815
Raw data (stat): 30815 (bsolo_lpr) R 30814 25399 25398 0 -1 0 7186 0 0 0 27985 17 0 0 25 0 1 0 834169465 40595456 7110 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9911 7110 1111 63 0 9848 0
vsize: 39644
[startup+290.006 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30815
Raw data (stat): 30815 (bsolo_lpr) R 30814 25399 25398 0 -1 0 7410 0 0 0 28985 18 0 0 25 0 1 0 834169465 41582592 7334 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10152 7334 1111 63 0 10089 0
vsize: 40608
[startup+300.006 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30815
Raw data (stat): 30815 (bsolo_lpr) R 30814 25399 25398 0 -1 0 7635 0 0 0 29985 18 0 0 25 0 1 0 834169465 42422272 7559 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10357 7559 1111 63 0 10294 0
vsize: 41428
[startup+310.006 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30815
Raw data (stat): 30815 (bsolo_lpr) R 30814 25399 25398 0 -1 0 7862 0 0 0 30984 19 0 0 25 0 1 0 834169465 43409408 7786 4294967295 134512640 134714508 3221224592 3221222820 1077414357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10598 7786 1111 63 0 10535 0
vsize: 42392
[startup+320.006 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30815
Raw data (stat): 30815 (bsolo_lpr) R 30814 25399 25398 0 -1 0 8091 0 0 0 31984 20 0 0 25 0 1 0 834169465 44257280 8015 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10805 8015 1111 63 0 10742 0
vsize: 43220
[startup+330.006 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30815
Raw data (stat): 30815 (bsolo_lpr) R 30814 25399 25398 0 -1 0 8319 0 0 0 32983 21 0 0 25 0 1 0 834169465 45244416 8243 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11046 8243 1111 63 0 10983 0
vsize: 44184
[startup+340.006 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30815
Raw data (stat): 30815 (bsolo_lpr) R 30814 25399 25398 0 -1 0 8544 0 0 0 33983 21 0 0 25 0 1 0 834169465 46223360 8468 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11285 8468 1111 63 0 11222 0
vsize: 45140
[startup+350.007 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30815
Raw data (stat): 30815 (bsolo_lpr) R 30814 25399 25398 0 -1 0 8774 0 0 0 34982 22 0 0 25 0 1 0 834169465 47071232 8698 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11492 8698 1111 63 0 11429 0
vsize: 45968
[startup+360.008 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30815
Raw data (stat): 30815 (bsolo_lpr) R 30814 25399 25398 0 -1 0 9001 0 0 0 35982 22 0 0 25 0 1 0 834169465 48054272 8925 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11732 8925 1111 63 0 11669 0
vsize: 46928
[startup+370.008 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30815
Raw data (stat): 30815 (bsolo_lpr) R 30814 25399 25398 0 -1 0 9228 0 0 0 36982 23 0 0 25 0 1 0 834169465 48902144 9152 4294967295 134512640 134714508 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11939 9152 1111 63 0 11876 0
vsize: 47756
[startup+380.008 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30815
Raw data (stat): 30815 (bsolo_lpr) R 30814 25399 25398 0 -1 0 9464 0 0 0 37981 23 0 0 25 0 1 0 834169465 49885184 9388 4294967295 134512640 134714508 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12179 9388 1111 63 0 12116 0
vsize: 48716
[startup+390.009 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30815
Raw data (stat): 30815 (bsolo_lpr) R 30814 25399 25398 0 -1 0 9690 0 0 0 38981 24 0 0 25 0 1 0 834169465 50868224 9614 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12419 9614 1111 63 0 12356 0
vsize: 49676
[startup+400.01 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30815
Raw data (stat): 30815 (bsolo_lpr) R 30814 25399 25398 0 -1 0 9917 0 0 0 39981 24 0 0 25 0 1 0 834169465 51716096 9841 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12626 9841 1111 63 0 12563 0
vsize: 50504
[startup+410.009 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30815
Raw data (stat): 30815 (bsolo_lpr) R 30814 25399 25398 0 -1 0 10153 0 0 0 40981 25 0 0 25 0 1 0 834169465 52703232 10077 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12867 10077 1111 63 0 12804 0
vsize: 51468
[startup+420.009 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30815
Raw data (stat): 30815 (bsolo_lpr) R 30814 25399 25398 0 -1 0 10380 0 0 0 41980 26 0 0 25 0 1 0 834169465 53690368 10304 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13108 10304 1111 63 0 13045 0
vsize: 52432
[startup+430.01 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30815
Raw data (stat): 30815 (bsolo_lpr) R 30814 25399 25398 0 -1 0 10607 0 0 0 42979 26 0 0 25 0 1 0 834169465 54530048 10531 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13313 10531 1111 63 0 13250 0
vsize: 53252
[startup+440.01 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30815
Raw data (stat): 30815 (bsolo_lpr) R 30814 25399 25398 0 -1 0 10842 0 0 0 43979 27 0 0 25 0 1 0 834169465 55517184 10766 4294967295 134512640 134714508 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13554 10766 1111 63 0 13491 0
vsize: 54216
[startup+450.01 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30815
Raw data (stat): 30815 (bsolo_lpr) R 30814 25399 25398 0 -1 0 11076 0 0 0 44979 27 0 0 25 0 1 0 834169465 56504320 11000 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13795 11000 1111 63 0 13732 0
vsize: 55180
[startup+460.01 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30815
Raw data (stat): 30815 (bsolo_lpr) R 30814 25399 25398 0 -1 0 11304 0 0 0 45979 27 0 0 25 0 1 0 834169465 57491456 11228 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14036 11228 1111 63 0 13973 0
vsize: 56144
[startup+470.011 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30815
Raw data (stat): 30815 (bsolo_lpr) R 30814 25399 25398 0 -1 0 11537 0 0 0 46979 28 0 0 25 0 1 0 834169465 58331136 11461 4294967295 134512640 134714508 3221224592 3221221308 1077191778 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14241 11461 1111 63 0 14178 0
vsize: 56964
[startup+480.011 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30815
Raw data (stat): 30815 (bsolo_lpr) R 30814 25399 25398 0 -1 0 11770 0 0 0 47978 29 0 0 25 0 1 0 834169465 59318272 11694 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14482 11694 1111 63 0 14419 0
vsize: 57928
[startup+490.011 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30815
Raw data (stat): 30815 (bsolo_lpr) R 30814 25399 25398 0 -1 0 11998 0 0 0 48978 29 0 0 25 0 1 0 834169465 60305408 11922 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14723 11922 1111 63 0 14660 0
vsize: 58892
[startup+500.012 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30815
Raw data (stat): 30815 (bsolo_lpr) R 30814 25399 25398 0 -1 0 12250 0 0 0 49978 30 0 0 25 0 1 0 834169465 61370368 12174 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14983 12174 1111 63 0 14920 0
vsize: 59932
[startup+510.012 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30815
Raw data (stat): 30815 (bsolo_lpr) R 30814 25399 25398 0 -1 0 12484 0 0 0 50977 30 0 0 25 0 1 0 834169465 62357504 12408 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15224 12408 1111 63 0 15161 0
vsize: 60896
[startup+520.013 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30815
Raw data (stat): 30815 (bsolo_lpr) R 30814 25399 25398 0 -1 0 12719 0 0 0 51977 31 0 0 25 0 1 0 834169465 63340544 12643 4294967295 134512640 134714508 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15464 12643 1111 63 0 15401 0
vsize: 61856
[startup+530.013 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30815
Raw data (stat): 30815 (bsolo_lpr) R 30814 25399 25398 0 -1 0 12952 0 0 0 52976 31 0 0 25 0 1 0 834169465 64327680 12876 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15705 12876 1111 63 0 15642 0
vsize: 62820
[startup+540.013 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30815
Raw data (stat): 30815 (bsolo_lpr) R 30814 25399 25398 0 -1 0 13187 0 0 0 53976 32 0 0 25 0 1 0 834169465 65310720 13111 4294967295 134512640 134714508 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15945 13111 1111 63 0 15882 0
vsize: 63780
[startup+550.012 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30815
Raw data (stat): 30815 (bsolo_lpr) R 30814 25399 25398 0 -1 0 13422 0 0 0 54976 32 0 0 25 0 1 0 834169465 66158592 13346 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16152 13346 1111 63 0 16089 0
vsize: 64608
[startup+560.012 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30815
Raw data (stat): 30815 (bsolo_lpr) R 30814 25399 25398 0 -1 0 13663 0 0 0 55976 32 0 0 25 0 1 0 834169465 67145728 13587 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16393 13587 1111 63 0 16330 0
vsize: 65572
[startup+570.013 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30815
Raw data (stat): 30815 (bsolo_lpr) R 30814 25399 25398 0 -1 0 13898 0 0 0 56976 33 0 0 25 0 1 0 834169465 68124672 13822 4294967295 134512640 134714508 3221224592 3221222820 1077414424 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16632 13822 1111 63 0 16569 0
vsize: 66528
[startup+580.013 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30815
Raw data (stat): 30815 (bsolo_lpr) R 30814 25399 25398 0 -1 0 14138 0 0 0 57976 33 0 0 25 0 1 0 834169465 69111808 14062 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16873 14062 1111 63 0 16810 0
vsize: 67492
[startup+590.013 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30815
Raw data (stat): 30815 (bsolo_lpr) R 30814 25399 25398 0 -1 0 14372 0 0 0 58975 34 0 0 25 0 1 0 834169465 70098944 14296 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17114 14296 1111 63 0 17051 0
vsize: 68456
[startup+600.013 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30815
Raw data (stat): 30815 (bsolo_lpr) R 30814 25399 25398 0 -1 0 14608 0 0 0 59975 34 0 0 25 0 1 0 834169465 71086080 14532 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17355 14532 1111 63 0 17292 0
vsize: 69420
[startup+610.013 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30815
Raw data (stat): 30815 (bsolo_lpr) R 30814 25399 25398 0 -1 0 14849 0 0 0 60975 34 0 0 25 0 1 0 834169465 72073216 14773 4294967295 134512640 134714508 3221224592 3221222820 1077414399 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17596 14773 1111 63 0 17533 0
vsize: 70384
[startup+620.013 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30815
Raw data (stat): 30815 (bsolo_lpr) R 30814 25399 25398 0 -1 0 15084 0 0 0 61974 35 0 0 25 0 1 0 834169465 73060352 15008 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17837 15008 1111 63 0 17774 0
vsize: 71348
[startup+630.013 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30815
Raw data (stat): 30815 (bsolo_lpr) R 30814 25399 25398 0 -1 0 15324 0 0 0 62974 36 0 0 25 0 1 0 834169465 74039296 15248 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18076 15248 1111 63 0 18013 0
vsize: 72304
[startup+640.012 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30815
Raw data (stat): 30815 (bsolo_lpr) R 30814 25399 25398 0 -1 0 15559 0 0 0 63973 36 0 0 25 0 1 0 834169465 74887168 15483 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18283 15483 1111 63 0 18220 0
vsize: 73132
[startup+650.013 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30815
Raw data (stat): 30815 (bsolo_lpr) R 30814 25399 25398 0 -1 0 15800 0 0 0 64973 37 0 0 25 0 1 0 834169465 75874304 15724 4294967295 134512640 134714508 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18524 15724 1111 63 0 18461 0
vsize: 74096
[startup+660.013 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30815
Raw data (stat): 30815 (bsolo_lpr) R 30814 25399 25398 0 -1 0 16042 0 0 0 65972 38 0 0 25 0 1 0 834169465 76861440 15966 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18765 15966 1111 63 0 18702 0
vsize: 75060
[startup+670.013 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30815
Raw data (stat): 30815 (bsolo_lpr) R 30814 25399 25398 0 -1 0 16284 0 0 0 66972 38 0 0 25 0 1 0 834169465 77848576 16208 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19006 16208 1111 63 0 18943 0
vsize: 76024
[startup+680.013 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30815
Raw data (stat): 30815 (bsolo_lpr) R 30814 25399 25398 0 -1 0 16523 0 0 0 67972 39 0 0 25 0 1 0 834169465 78827520 16447 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19245 16447 1111 63 0 19182 0
vsize: 76980
[startup+690.017 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30815
Raw data (stat): 30815 (bsolo_lpr) R 30814 25399 25398 0 -1 0 16765 0 0 0 68972 39 0 0 25 0 1 0 834169465 79814656 16689 4294967295 134512640 134714508 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19486 16689 1111 63 0 19423 0
vsize: 77944
[startup+700.017 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30815
Raw data (stat): 30815 (bsolo_lpr) R 30814 25399 25398 0 -1 0 17007 0 0 0 69971 40 0 0 25 0 1 0 834169465 80801792 16931 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19727 16931 1111 63 0 19664 0
vsize: 78908
[startup+710.016 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30815
Raw data (stat): 30815 (bsolo_lpr) R 30814 25399 25398 0 -1 0 17248 0 0 0 70971 40 0 0 25 0 1 0 834169465 81788928 17172 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19968 17172 1111 63 0 19905 0
vsize: 79872
[startup+720.017 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30815
Raw data (stat): 30815 (bsolo_lpr) R 30814 25399 25398 0 -1 0 17490 0 0 0 71971 41 0 0 25 0 1 0 834169465 82776064 17414 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20209 17414 1111 63 0 20146 0
vsize: 80836
[startup+730.016 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30815
Raw data (stat): 30815 (bsolo_lpr) R 30814 25399 25398 0 -1 0 17738 0 0 0 72970 41 0 0 25 0 1 0 834169465 83902464 17662 4294967295 134512640 134714508 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20484 17662 1111 63 0 20421 0
vsize: 81936
[startup+740.057 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30815
Raw data (stat): 30815 (bsolo_lpr) R 30814 25399 25398 0 -1 0 17978 0 0 0 73974 41 0 0 25 0 1 0 834169465 84881408 17902 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20723 17902 1111 63 0 20660 0
vsize: 82892
[startup+750.057 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30815
Raw data (stat): 30815 (bsolo_lpr) R 30814 25399 25398 0 -1 0 18220 0 0 0 74974 42 0 0 25 0 1 0 834169465 85868544 18144 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20964 18144 1111 63 0 20901 0
vsize: 83856
[startup+760.057 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30815
Raw data (stat): 30815 (bsolo_lpr) R 30814 25399 25398 0 -1 0 18468 0 0 0 75973 43 0 0 25 0 1 0 834169465 86855680 18392 4294967295 134512640 134714508 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21205 18392 1111 63 0 21142 0
vsize: 84820
[startup+770.058 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30815
Raw data (stat): 30815 (bsolo_lpr) R 30814 25399 25398 0 -1 0 18716 0 0 0 76973 43 0 0 25 0 1 0 834169465 87842816 18640 4294967295 134512640 134714508 3221224592 3221222552 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21446 18640 1111 63 0 21383 0
vsize: 85784
[startup+780.063 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30815
Raw data (stat): 30815 (bsolo_lpr) R 30814 25399 25398 0 -1 0 18959 0 0 0 77973 44 0 0 25 0 1 0 834169465 88829952 18883 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21687 18883 1111 63 0 21624 0
vsize: 86748
[startup+790.062 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30815
Raw data (stat): 30815 (bsolo_lpr) R 30814 25399 25398 0 -1 0 19200 0 0 0 78973 44 0 0 25 0 1 0 834169465 89817088 19124 4294967295 134512640 134714508 3221224592 3221222820 1077414382 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21928 19124 1111 63 0 21865 0
vsize: 87712
[startup+800.062 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30815
Raw data (stat): 30815 (bsolo_lpr) R 30814 25399 25398 0 -1 0 19447 0 0 0 79972 45 0 0 25 0 1 0 834169465 90796032 19371 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22167 19371 1111 63 0 22104 0
vsize: 88668
[startup+810.066 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30815
Raw data (stat): 30815 (bsolo_lpr) R 30814 25399 25398 0 -1 0 19696 0 0 0 80973 45 0 0 25 0 1 0 834169465 91783168 19620 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22408 19620 1111 63 0 22345 0
vsize: 89632
[startup+820.067 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30815
Raw data (stat): 30815 (bsolo_lpr) R 30814 25399 25398 0 -1 0 19943 0 0 0 81972 46 0 0 25 0 1 0 834169465 92909568 19867 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22683 19867 1111 63 0 22620 0
vsize: 90732
[startup+830.073 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30815
Raw data (stat): 30815 (bsolo_lpr) R 30814 25399 25398 0 -1 0 20192 0 0 0 82972 46 0 0 25 0 1 0 834169465 93896704 20116 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22924 20116 1111 63 0 22861 0
vsize: 91696
[startup+840.084 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30815
Raw data (stat): 30815 (bsolo_lpr) R 30814 25399 25398 0 -1 0 20441 0 0 0 83973 47 0 0 25 0 1 0 834169465 94883840 20365 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23165 20365 1111 63 0 23102 0
vsize: 92660
[startup+850.103 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30815
Raw data (stat): 30815 (bsolo_lpr) R 30814 25399 25398 0 -1 0 20689 0 0 0 84975 48 0 0 25 0 1 0 834169465 95870976 20613 4294967295 134512640 134714508 3221224592 3221222824 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23406 20613 1111 63 0 23343 0
vsize: 93624
[startup+860.108 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30815
Raw data (stat): 30815 (bsolo_lpr) R 30814 25399 25398 0 -1 0 20936 0 0 0 85975 48 0 0 25 0 1 0 834169465 96849920 20860 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23645 20860 1111 63 0 23582 0
vsize: 94580
[startup+870.109 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30815
Raw data (stat): 30815 (bsolo_lpr) R 30814 25399 25398 0 -1 0 21185 0 0 0 86975 48 0 0 25 0 1 0 834169465 97976320 21109 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23920 21109 1111 63 0 23857 0
vsize: 95680
[startup+880.11 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30815
Raw data (stat): 30815 (bsolo_lpr) R 30814 25399 25398 0 -1 0 21432 0 0 0 87975 48 0 0 25 0 1 0 834169465 98963456 21356 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24161 21356 1111 63 0 24098 0
vsize: 96644
[startup+890.11 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30815
Raw data (stat): 30815 (bsolo_lpr) R 30814 25399 25398 0 -1 0 21681 0 0 0 88974 49 0 0 25 0 1 0 834169465 99950592 21605 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24402 21605 1111 63 0 24339 0
vsize: 97608
[startup+900.11 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30815
Raw data (stat): 30815 (bsolo_lpr) R 30814 25399 25398 0 -1 0 21930 0 0 0 89974 50 0 0 25 0 1 0 834169465 100937728 21854 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24643 21854 1111 63 0 24580 0
vsize: 98572
[startup+910.11 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30815
Raw data (stat): 30815 (bsolo_lpr) R 30814 25399 25398 0 -1 0 22184 0 0 0 90973 51 0 0 25 0 1 0 834169465 102064128 22108 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24918 22108 1111 63 0 24855 0
vsize: 99672
[startup+920.114 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30815
Raw data (stat): 30815 (bsolo_lpr) R 30814 25399 25398 0 -1 0 22440 0 0 0 91973 52 0 0 25 0 1 0 834169465 103051264 22364 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25159 22364 1111 63 0 25096 0
vsize: 100636
[startup+930.114 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30815
Raw data (stat): 30815 (bsolo_lpr) R 30814 25399 25398 0 -1 0 22686 0 0 0 92973 52 0 0 25 0 1 0 834169465 104030208 22610 4294967295 134512640 134714508 3221224592 3221223248 134527948 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25398 22610 1111 63 0 25335 0
vsize: 101592
[startup+940.114 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30815
Raw data (stat): 30815 (bsolo_lpr) R 30814 25399 25398 0 -1 0 22934 0 0 0 93972 53 0 0 25 0 1 0 834169465 105017344 22858 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25639 22858 1111 63 0 25576 0
vsize: 102556
[startup+950.115 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30815
Raw data (stat): 30815 (bsolo_lpr) R 30814 25399 25398 0 -1 0 23222 0 0 0 94972 53 0 0 25 0 1 0 834169465 106504192 23146 4294967295 134512640 134714508 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26002 23146 1111 63 0 25939 0
vsize: 104008
[startup+960.114 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30815
Raw data (stat): 30815 (bsolo_lpr) R 30814 25399 25398 0 -1 0 23476 0 0 0 95971 54 0 0 25 0 1 0 834169465 107491328 23400 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26243 23400 1111 63 0 26180 0
vsize: 104972
[startup+970.114 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30815
Raw data (stat): 30815 (bsolo_lpr) R 30814 25399 25398 0 -1 0 23726 0 0 0 96971 55 0 0 25 0 1 0 834169465 108617728 23650 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26518 23650 1111 63 0 26455 0
vsize: 106072
[startup+980.114 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30815
Raw data (stat): 30815 (bsolo_lpr) R 30814 25399 25398 0 -1 0 23981 0 0 0 97970 55 0 0 25 0 1 0 834169465 109604864 23905 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26759 23905 1111 63 0 26696 0
vsize: 107036
[startup+990.113 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30815
Raw data (stat): 30815 (bsolo_lpr) R 30814 25399 25398 0 -1 0 24236 0 0 0 98970 56 0 0 25 0 1 0 834169465 110583808 24160 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26998 24160 1111 63 0 26935 0
vsize: 107992
[startup+1000.11 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30815
Raw data (stat): 30815 (bsolo_lpr) R 30814 25399 25398 0 -1 0 24485 0 0 0 99970 56 0 0 25 0 1 0 834169465 111710208 24409 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27273 24409 1111 63 0 27210 0
vsize: 109092
[startup+1010.11 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30815
Raw data (stat): 30815 (bsolo_lpr) R 30814 25399 25398 0 -1 0 24745 0 0 0 100970 56 0 0 25 0 1 0 834169465 112701440 24669 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27515 24669 1111 63 0 27452 0
vsize: 110060
[startup+1020.11 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30815
Raw data (stat): 30815 (bsolo_lpr) R 30814 25399 25398 0 -1 0 24994 0 0 0 101969 57 0 0 25 0 1 0 834169465 113684480 24918 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27755 24918 1111 63 0 27692 0
vsize: 111020
[startup+1030.11 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30815
Raw data (stat): 30815 (bsolo_lpr) R 30814 25399 25398 0 -1 0 25256 0 0 0 102969 58 0 0 25 0 1 0 834169465 114810880 25180 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28030 25180 1111 63 0 27967 0
vsize: 112120
[startup+1040.11 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30815
Raw data (stat): 30815 (bsolo_lpr) R 30814 25399 25398 0 -1 0 25505 0 0 0 103969 58 0 0 25 0 1 0 834169465 115802112 25429 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28272 25429 1111 63 0 28209 0
vsize: 113088
[startup+1050.11 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30815
Raw data (stat): 30815 (bsolo_lpr) R 30814 25399 25398 0 -1 0 25767 0 0 0 104968 58 0 0 25 0 1 0 834169465 116928512 25691 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28547 25691 1111 63 0 28484 0
vsize: 114188
[startup+1060.11 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30815
Raw data (stat): 30815 (bsolo_lpr) R 30814 25399 25398 0 -1 0 26022 0 0 0 105968 59 0 0 25 0 1 0 834169465 117911552 25946 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28787 25946 1111 63 0 28724 0
vsize: 115148
[startup+1070.11 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30815
Raw data (stat): 30815 (bsolo_lpr) R 30814 25399 25398 0 -1 0 26277 0 0 0 106968 59 0 0 25 0 1 0 834169465 119037952 26201 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29062 26201 1111 63 0 28999 0
vsize: 116248
[startup+1080.11 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30815
Raw data (stat): 30815 (bsolo_lpr) R 30814 25399 25398 0 -1 0 26538 0 0 0 107967 60 0 0 25 0 1 0 834169465 120020992 26462 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29302 26462 1111 63 0 29239 0
vsize: 117208
[startup+1090.11 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30815
Raw data (stat): 30815 (bsolo_lpr) R 30814 25399 25398 0 -1 0 26793 0 0 0 108967 61 0 0 25 0 1 0 834169465 121147392 26717 4294967295 134512640 134714508 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29577 26717 1111 63 0 29514 0
vsize: 118308
[startup+1100.11 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30815
Raw data (stat): 30815 (bsolo_lpr) R 30814 25399 25398 0 -1 0 27048 0 0 0 109966 62 0 0 25 0 1 0 834169465 122134528 26972 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29818 26972 1111 63 0 29755 0
vsize: 119272
[startup+1110.11 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30815
Raw data (stat): 30815 (bsolo_lpr) R 30814 25399 25398 0 -1 0 27311 0 0 0 110965 62 0 0 25 0 1 0 834169465 123260928 27235 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30093 27235 1111 63 0 30030 0
vsize: 120372
[startup+1120.11 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30815
Raw data (stat): 30815 (bsolo_lpr) R 30814 25399 25398 0 -1 0 27573 0 0 0 111965 63 0 0 25 0 1 0 834169465 124248064 27497 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30334 27497 1111 63 0 30271 0
vsize: 121336
[startup+1130.11 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30815
Raw data (stat): 30815 (bsolo_lpr) R 30814 25399 25398 0 -1 0 27834 0 0 0 112965 63 0 0 25 0 1 0 834169465 125374464 27758 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30609 27758 1111 63 0 30546 0
vsize: 122436
[startup+1140.11 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30815
Raw data (stat): 30815 (bsolo_lpr) R 30814 25399 25398 0 -1 0 28091 0 0 0 113965 64 0 0 25 0 1 0 834169465 126361600 28015 4294967295 134512640 134714508 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30850 28015 1111 63 0 30787 0
vsize: 123400
[startup+1150.11 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30815
Raw data (stat): 30815 (bsolo_lpr) R 30814 25399 25398 0 -1 0 28352 0 0 0 114965 64 0 0 25 0 1 0 834169465 127488000 28276 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31125 28276 1111 63 0 31062 0
vsize: 124500
[startup+1160.11 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30815
Raw data (stat): 30815 (bsolo_lpr) R 30814 25399 25398 0 -1 0 28614 0 0 0 115964 65 0 0 25 0 1 0 834169465 128466944 28538 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31364 28538 1111 63 0 31301 0
vsize: 125456
[startup+1170.11 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30815
Raw data (stat): 30815 (bsolo_lpr) R 30814 25399 25398 0 -1 0 28875 0 0 0 116964 65 0 0 25 0 1 0 834169465 129597440 28799 4294967295 134512640 134714508 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31640 28799 1111 63 0 31577 0
vsize: 126560
[startup+1180.11 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30815
Raw data (stat): 30815 (bsolo_lpr) R 30814 25399 25398 0 -1 0 29131 0 0 0 117963 66 0 0 25 0 1 0 834169465 130580480 29055 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31880 29055 1111 63 0 31817 0
vsize: 127520
[startup+1190.11 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30815
Raw data (stat): 30815 (bsolo_lpr) R 30814 25399 25398 0 -1 0 29400 0 0 0 118963 66 0 0 25 0 1 0 834169465 131706880 29324 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32155 29324 1111 63 0 32092 0
vsize: 128620
[startup+1200.11 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30815
Raw data (stat): 30815 (bsolo_lpr) R 30814 25399 25398 0 -1 0 29662 0 0 0 119963 66 0 0 25 0 1 0 834169465 132833280 29586 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32430 29586 1111 63 0 32367 0
vsize: 129720
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.17 s]
Raw data (loadavg): 0.99 0.97 0.97 1/54 30815
Raw data (stat): 30815 (bsolo_lpr) Z 30814 25399 25398 0 -1 1036 29662 0 0 0 119963 72 0 0 25 0 1 0 834169465 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.17
CPU time (s): 1200.36
CPU user time (s): 1199.64
CPU system time (s): 0.725889
CPU usage (%): 100.016
Max. virtual memory (Kb): 129720
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####