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-ship08l.opb
MD5SUM	0a05016ca1456223450d9ec498a510c4
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	85660
Biggest coefficient in the objective function	425249996800
Number of bits for the biggest coefficient in the objective function	39
Sum of the numbers in the objective function	200022778005600
Number of bits of the sum of numbers in the objective function	48
Biggest number in a constraint	425249996800
Number of bits of the biggest number in a constraint	39
Biggest sum of numbers in a constraint	200022778005600
Number of bits of the biggest sum of numbers	48
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.776881
Number of variables	85660
Total number of constraints	712
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	712
Minimum length of a constraint	20
Maximum length of a constraint	1700
Trace number 27623

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc7 THE 2005-05-24 22:44:40 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=16420 boxname=wulflinc7 idbench=1264 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  0a05016ca1456223450d9ec498a510c4  /oldhome/oroussel/tmp/wulflinc7/normalized-mps-v2-13-7-ship08l.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc7/normalized-mps-v2-13-7-ship08l.opb
IDLAUNCH: 16420
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.050
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.050
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        550196 kB
Buffers:         35788 kB
Cached:         426920 kB
SwapCached:        100 kB
Active:         114220 kB
Inactive:       351272 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        549944 kB
SwapTotal:     2097136 kB
SwapFree:      2096820 kB
Dirty:              44 kB
Writeback:           0 kB
Mapped:           6740 kB
Slab:            13244 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-24 23:04:43 (client local time) WITH STATUS 0 IN 1200.25 SECONDS
stats: 16420 7 1200.25 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.78 0.91 0.89 2/54 32595
Raw data (stat): 32595 (runsolver) R 32594 24300 24299 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 775724030 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.0008 s]
Raw data (loadavg): 0.81 0.91 0.89 2/54 32595
Raw data (stat): 32595 (bsolo_lpr) R 32594 24300 24299 0 -1 0 1159 0 0 0 995 2 0 0 25 0 1 0 775724030 15917056 1083 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3886 1083 1111 63 0 3823 0
vsize: 15544
[startup+20.001 s]
Raw data (loadavg): 0.84 0.92 0.89 2/54 32595
Raw data (stat): 32595 (bsolo_lpr) R 32594 24300 24299 0 -1 0 1339 0 0 0 1994 3 0 0 25 0 1 0 775724030 16621568 1263 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4058 1263 1111 63 0 3995 0
vsize: 16232
[startup+30.0075 s]
Raw data (loadavg): 0.87 0.92 0.90 2/54 32595
Raw data (stat): 32595 (bsolo_lpr) R 32594 24300 24299 0 -1 0 1546 0 0 0 2994 3 0 0 25 0 1 0 775724030 17473536 1470 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4266 1470 1111 63 0 4203 0
vsize: 17064
[startup+40.0147 s]
Raw data (loadavg): 0.89 0.92 0.90 2/54 32595
Raw data (stat): 32595 (bsolo_lpr) R 32594 24300 24299 0 -1 0 1762 0 0 0 3995 4 0 0 25 0 1 0 775724030 18325504 1686 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4474 1686 1111 63 0 4411 0
vsize: 17896
[startup+50.0153 s]
Raw data (loadavg): 0.90 0.92 0.90 2/54 32595
Raw data (stat): 32595 (bsolo_lpr) R 32594 24300 24299 0 -1 0 1976 0 0 0 4994 5 0 0 25 0 1 0 775724030 19177472 1900 4294967295 134512640 134714508 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4682 1900 1111 63 0 4619 0
vsize: 18728
[startup+60.015 s]
Raw data (loadavg): 0.92 0.92 0.90 2/54 32595
Raw data (stat): 32595 (bsolo_lpr) R 32594 24300 24299 0 -1 0 2190 0 0 0 5993 6 0 0 25 0 1 0 775724030 20025344 2114 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4889 2114 1111 63 0 4826 0
vsize: 19556
[startup+70.0172 s]
Raw data (loadavg): 0.93 0.93 0.90 2/54 32595
Raw data (stat): 32595 (bsolo_lpr) R 32594 24300 24299 0 -1 0 2409 0 0 0 6993 6 0 0 25 0 1 0 775724030 21008384 2333 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5129 2333 1111 63 0 5066 0
vsize: 20516
[startup+80.0192 s]
Raw data (loadavg): 0.94 0.93 0.90 2/54 32595
Raw data (stat): 32595 (bsolo_lpr) R 32594 24300 24299 0 -1 0 2621 0 0 0 7993 7 0 0 25 0 1 0 775724030 21852160 2545 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5335 2545 1111 63 0 5272 0
vsize: 21340
[startup+90.0189 s]
Raw data (loadavg): 0.95 0.93 0.90 2/54 32595
Raw data (stat): 32595 (bsolo_lpr) R 32594 24300 24299 0 -1 0 2837 0 0 0 8992 7 0 0 25 0 1 0 775724030 22700032 2761 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5542 2761 1111 63 0 5479 0
vsize: 22168
[startup+100.019 s]
Raw data (loadavg): 0.96 0.93 0.90 2/54 32595
Raw data (stat): 32595 (bsolo_lpr) R 32594 24300 24299 0 -1 0 3051 0 0 0 9992 8 0 0 25 0 1 0 775724030 23552000 2975 4294967295 134512640 134714508 3221224592 3221222820 1077414349 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5750 2975 1111 63 0 5687 0
vsize: 23000
[startup+110.019 s]
Raw data (loadavg): 0.96 0.93 0.90 2/54 32595
Raw data (stat): 32595 (bsolo_lpr) R 32594 24300 24299 0 -1 0 3264 0 0 0 10992 8 0 0 25 0 1 0 775724030 24535040 3188 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5990 3188 1111 63 0 5927 0
vsize: 23960
[startup+120.021 s]
Raw data (loadavg): 0.97 0.94 0.90 2/54 32595
Raw data (stat): 32595 (bsolo_lpr) R 32594 24300 24299 0 -1 0 3478 0 0 0 11992 9 0 0 25 0 1 0 775724030 25382912 3402 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6197 3402 1111 63 0 6134 0
vsize: 24788
[startup+130.021 s]
Raw data (loadavg): 0.97 0.94 0.91 2/54 32595
Raw data (stat): 32595 (bsolo_lpr) R 32594 24300 24299 0 -1 0 3698 0 0 0 12991 9 0 0 25 0 1 0 775724030 26234880 3622 4294967295 134512640 134714508 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6405 3622 1111 63 0 6342 0
vsize: 25620
[startup+140.021 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 32595
Raw data (stat): 32595 (bsolo_lpr) R 32594 24300 24299 0 -1 0 3919 0 0 0 13991 10 0 0 25 0 1 0 775724030 27242496 3843 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6651 3843 1111 63 0 6588 0
vsize: 26604
[startup+150.022 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 32595
Raw data (stat): 32595 (bsolo_lpr) R 32594 24300 24299 0 -1 0 4133 0 0 0 14990 11 0 0 25 0 1 0 775724030 28086272 4057 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6857 4057 1111 63 0 6794 0
vsize: 27428
[startup+160.022 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 32595
Raw data (stat): 32595 (bsolo_lpr) R 32594 24300 24299 0 -1 0 4347 0 0 0 15990 11 0 0 25 0 1 0 775724030 28934144 4271 4294967295 134512640 134714508 3221224592 3221222820 1077414374 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7064 4271 1111 63 0 7001 0
vsize: 28256
[startup+170.022 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 32595
Raw data (stat): 32595 (bsolo_lpr) R 32594 24300 24299 0 -1 0 4569 0 0 0 16989 11 0 0 25 0 1 0 775724030 29782016 4493 4294967295 134512640 134714508 3221224592 3221222820 1077414349 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7271 4493 1111 63 0 7208 0
vsize: 29084
[startup+180.023 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 32595
Raw data (stat): 32595 (bsolo_lpr) R 32594 24300 24299 0 -1 0 4791 0 0 0 17989 12 0 0 25 0 1 0 775724030 30773248 4715 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7513 4715 1111 63 0 7450 0
vsize: 30052
[startup+190.023 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 32595
Raw data (stat): 32595 (bsolo_lpr) R 32594 24300 24299 0 -1 0 5011 0 0 0 18988 13 0 0 25 0 1 0 775724030 31617024 4935 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7719 4935 1111 63 0 7656 0
vsize: 30876
[startup+200.024 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 32595
Raw data (stat): 32595 (bsolo_lpr) R 32594 24300 24299 0 -1 0 5233 0 0 0 19988 13 0 0 25 0 1 0 775724030 32604160 5157 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7960 5157 1111 63 0 7897 0
vsize: 31840
[startup+210.023 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 32595
Raw data (stat): 32595 (bsolo_lpr) R 32594 24300 24299 0 -1 0 5455 0 0 0 20987 14 0 0 25 0 1 0 775724030 33456128 5379 4294967295 134512640 134714508 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8168 5379 1111 63 0 8105 0
vsize: 32672
[startup+220.025 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 32595
Raw data (stat): 32595 (bsolo_lpr) R 32594 24300 24299 0 -1 0 5682 0 0 0 21987 15 0 0 25 0 1 0 775724030 34443264 5606 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8409 5606 1111 63 0 8346 0
vsize: 33636
[startup+230.026 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 32595
Raw data (stat): 32595 (bsolo_lpr) R 32594 24300 24299 0 -1 0 5902 0 0 0 22986 16 0 0 25 0 1 0 775724030 35287040 5826 4294967295 134512640 134714508 3221224592 3221222820 1077414399 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8615 5826 1111 63 0 8552 0
vsize: 34460
[startup+240.025 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 32595
Raw data (stat): 32595 (bsolo_lpr) R 32594 24300 24299 0 -1 0 6123 0 0 0 23985 17 0 0 25 0 1 0 775724030 36134912 6047 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8822 6047 1111 63 0 8759 0
vsize: 35288
[startup+250.026 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 32595
Raw data (stat): 32595 (bsolo_lpr) R 32594 24300 24299 0 -1 0 6344 0 0 0 24985 17 0 0 25 0 1 0 775724030 37126144 6268 4294967295 134512640 134714508 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9064 6268 1111 63 0 9001 0
vsize: 36256
[startup+260.027 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 32595
Raw data (stat): 32595 (bsolo_lpr) R 32594 24300 24299 0 -1 0 6577 0 0 0 25984 18 0 0 25 0 1 0 775724030 38125568 6501 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9308 6501 1111 63 0 9245 0
vsize: 37232
[startup+270.027 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 32595
Raw data (stat): 32595 (bsolo_lpr) R 32594 24300 24299 0 -1 0 6803 0 0 0 26983 19 0 0 25 0 1 0 775724030 38969344 6727 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9514 6727 1111 63 0 9451 0
vsize: 38056
[startup+280.028 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 32595
Raw data (stat): 32595 (bsolo_lpr) R 32594 24300 24299 0 -1 0 7031 0 0 0 27983 20 0 0 25 0 1 0 775724030 39956480 6955 4294967295 134512640 134714508 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9755 6955 1111 63 0 9692 0
vsize: 39020
[startup+290.028 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 32595
Raw data (stat): 32595 (bsolo_lpr) R 32594 24300 24299 0 -1 0 7254 0 0 0 28982 20 0 0 25 0 1 0 775724030 40808448 7178 4294967295 134512640 134714508 3221224592 3221222820 1077414432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9963 7178 1111 63 0 9900 0
vsize: 39852
[startup+300.029 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 32595
Raw data (stat): 32595 (bsolo_lpr) R 32594 24300 24299 0 -1 0 7475 0 0 0 29982 21 0 0 25 0 1 0 775724030 41799680 7399 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10205 7399 1111 63 0 10142 0
vsize: 40820
[startup+310.03 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 32595
Raw data (stat): 32595 (bsolo_lpr) R 32594 24300 24299 0 -1 0 7695 0 0 0 30982 21 0 0 25 0 1 0 775724030 42639360 7619 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10410 7619 1111 63 0 10347 0
vsize: 41640
[startup+320.03 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 32595
Raw data (stat): 32595 (bsolo_lpr) R 32594 24300 24299 0 -1 0 7918 0 0 0 31981 22 0 0 25 0 1 0 775724030 43630592 7842 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10652 7842 1111 63 0 10589 0
vsize: 42608
[startup+330.031 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 32595
Raw data (stat): 32595 (bsolo_lpr) R 32594 24300 24299 0 -1 0 8139 0 0 0 32980 23 0 0 25 0 1 0 775724030 44478464 8063 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10859 8063 1111 63 0 10796 0
vsize: 43436
[startup+340.031 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 32595
Raw data (stat): 32595 (bsolo_lpr) R 32594 24300 24299 0 -1 0 8367 0 0 0 33980 24 0 0 25 0 1 0 775724030 45469696 8291 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11101 8291 1111 63 0 11038 0
vsize: 44404
[startup+350.031 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 32595
Raw data (stat): 32595 (bsolo_lpr) R 32594 24300 24299 0 -1 0 8593 0 0 0 34979 25 0 0 25 0 1 0 775724030 46313472 8517 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11307 8517 1111 63 0 11244 0
vsize: 45228
[startup+360.032 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 32595
Raw data (stat): 32595 (bsolo_lpr) R 32594 24300 24299 0 -1 0 8822 0 0 0 35978 25 0 0 25 0 1 0 775724030 47300608 8746 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11548 8746 1111 63 0 11485 0
vsize: 46192
[startup+370.033 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 32595
Raw data (stat): 32595 (bsolo_lpr) R 32594 24300 24299 0 -1 0 9051 0 0 0 36978 26 0 0 25 0 1 0 775724030 48148480 8975 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11755 8975 1111 63 0 11692 0
vsize: 47020
[startup+380.033 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 32595
Raw data (stat): 32595 (bsolo_lpr) R 32594 24300 24299 0 -1 0 9286 0 0 0 37977 27 0 0 25 0 1 0 775724030 49139712 9210 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11997 9210 1111 63 0 11934 0
vsize: 47988
[startup+390.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32595
Raw data (stat): 32595 (bsolo_lpr) R 32594 24300 24299 0 -1 0 9515 0 0 0 38977 27 0 0 25 0 1 0 775724030 50126848 9439 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12238 9439 1111 63 0 12175 0
vsize: 48952
[startup+400.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32595
Raw data (stat): 32595 (bsolo_lpr) R 32594 24300 24299 0 -1 0 9749 0 0 0 39976 28 0 0 25 0 1 0 775724030 51113984 9673 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12479 9673 1111 63 0 12416 0
vsize: 49916
[startup+410.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32595
Raw data (stat): 32595 (bsolo_lpr) R 32594 24300 24299 0 -1 0 9990 0 0 0 40976 29 0 0 25 0 1 0 775724030 52101120 9914 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12720 9914 1111 63 0 12657 0
vsize: 50880
[startup+420.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32595
Raw data (stat): 32595 (bsolo_lpr) R 32594 24300 24299 0 -1 0 10225 0 0 0 41975 29 0 0 25 0 1 0 775724030 52948992 10149 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12927 10149 1111 63 0 12864 0
vsize: 51708
[startup+430.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32595
Raw data (stat): 32595 (bsolo_lpr) R 32594 24300 24299 0 -1 0 10461 0 0 0 42975 30 0 0 25 0 1 0 775724030 53940224 10385 4294967295 134512640 134714508 3221224592 3221222820 1077414432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13169 10385 1111 63 0 13106 0
vsize: 52676
[startup+440.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32595
Raw data (stat): 32595 (bsolo_lpr) R 32594 24300 24299 0 -1 0 10697 0 0 0 43975 30 0 0 25 0 1 0 775724030 54927360 10621 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13410 10621 1111 63 0 13347 0
vsize: 53640
[startup+450.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32595
Raw data (stat): 32595 (bsolo_lpr) R 32594 24300 24299 0 -1 0 10930 0 0 0 44975 30 0 0 25 0 1 0 775724030 55914496 10854 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13651 10854 1111 63 0 13588 0
vsize: 54604
[startup+460.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32595
Raw data (stat): 32595 (bsolo_lpr) R 32594 24300 24299 0 -1 0 11172 0 0 0 45974 31 0 0 25 0 1 0 775724030 56901632 11096 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13892 11096 1111 63 0 13829 0
vsize: 55568
[startup+470.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32595
Raw data (stat): 32595 (bsolo_lpr) R 32594 24300 24299 0 -1 0 11408 0 0 0 46974 31 0 0 25 0 1 0 775724030 57892864 11332 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14134 11332 1111 63 0 14071 0
vsize: 56536
[startup+480.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32595
Raw data (stat): 32595 (bsolo_lpr) R 32594 24300 24299 0 -1 0 11649 0 0 0 47974 32 0 0 25 0 1 0 775724030 58880000 11573 4294967295 134512640 134714508 3221224592 3221222680 1077378037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14375 11573 1111 63 0 14312 0
vsize: 57500
[startup+490.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32595
Raw data (stat): 32595 (bsolo_lpr) R 32594 24300 24299 0 -1 0 11884 0 0 0 48973 33 0 0 25 0 1 0 775724030 59731968 11808 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14583 11808 1111 63 0 14520 0
vsize: 58332
[startup+500.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32595
Raw data (stat): 32595 (bsolo_lpr) R 32594 24300 24299 0 -1 0 12149 0 0 0 49973 33 0 0 25 0 1 0 775724030 60936192 12073 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14877 12073 1111 63 0 14814 0
vsize: 59508
[startup+510.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32595
Raw data (stat): 32595 (bsolo_lpr) R 32594 24300 24299 0 -1 0 12392 0 0 0 50972 34 0 0 25 0 1 0 775724030 61923328 12316 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15118 12316 1111 63 0 15055 0
vsize: 60472
[startup+520.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32595
Raw data (stat): 32595 (bsolo_lpr) R 32594 24300 24299 0 -1 0 12634 0 0 0 51972 35 0 0 25 0 1 0 775724030 62914560 12558 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15360 12558 1111 63 0 15297 0
vsize: 61440
[startup+530.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32595
Raw data (stat): 32595 (bsolo_lpr) R 32594 24300 24299 0 -1 0 12883 0 0 0 52971 35 0 0 25 0 1 0 775724030 64040960 12807 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15635 12807 1111 63 0 15572 0
vsize: 62540
[startup+540.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32595
Raw data (stat): 32595 (bsolo_lpr) R 32594 24300 24299 0 -1 0 13126 0 0 0 53971 36 0 0 25 0 1 0 775724030 65032192 13050 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15877 13050 1111 63 0 15814 0
vsize: 63508
[startup+550.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32595
Raw data (stat): 32595 (bsolo_lpr) R 32594 24300 24299 0 -1 0 13367 0 0 0 54971 36 0 0 25 0 1 0 775724030 66023424 13291 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16119 13291 1111 63 0 16056 0
vsize: 64476
[startup+560.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32595
Raw data (stat): 32595 (bsolo_lpr) R 32594 24300 24299 0 -1 0 13614 0 0 0 55971 37 0 0 25 0 1 0 775724030 67006464 13538 4294967295 134512640 134714508 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16359 13538 1111 63 0 16296 0
vsize: 65436
[startup+570.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32595
Raw data (stat): 32595 (bsolo_lpr) R 32594 24300 24299 0 -1 0 13863 0 0 0 56970 38 0 0 25 0 1 0 775724030 67993600 13787 4294967295 134512640 134714508 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16600 13787 1111 63 0 16537 0
vsize: 66400
[startup+580.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32595
Raw data (stat): 32595 (bsolo_lpr) R 32594 24300 24299 0 -1 0 14112 0 0 0 57969 38 0 0 25 0 1 0 775724030 68984832 14036 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16842 14036 1111 63 0 16779 0
vsize: 67368
[startup+590.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32595
Raw data (stat): 32595 (bsolo_lpr) R 32594 24300 24299 0 -1 0 14362 0 0 0 58969 38 0 0 25 0 1 0 775724030 69971968 14286 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17083 14286 1111 63 0 17020 0
vsize: 68332
[startup+600.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32595
Raw data (stat): 32595 (bsolo_lpr) R 32594 24300 24299 0 -1 0 14604 0 0 0 59969 39 0 0 25 0 1 0 775724030 70963200 14528 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17325 14528 1111 63 0 17262 0
vsize: 69300
[startup+610.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32595
Raw data (stat): 32595 (bsolo_lpr) R 32594 24300 24299 0 -1 0 14847 0 0 0 60969 39 0 0 25 0 1 0 775724030 71954432 14771 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17567 14771 1111 63 0 17504 0
vsize: 70268
[startup+620.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32595
Raw data (stat): 32595 (bsolo_lpr) R 32594 24300 24299 0 -1 0 15094 0 0 0 61968 40 0 0 25 0 1 0 775724030 73076736 15018 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17841 15018 1111 63 0 17778 0
vsize: 71364
[startup+630.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32595
Raw data (stat): 32595 (bsolo_lpr) R 32594 24300 24299 0 -1 0 15342 0 0 0 62968 40 0 0 25 0 1 0 775724030 74067968 15266 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18083 15266 1111 63 0 18020 0
vsize: 72332
[startup+640.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32595
Raw data (stat): 32595 (bsolo_lpr) R 32594 24300 24299 0 -1 0 15586 0 0 0 63967 41 0 0 25 0 1 0 775724030 75055104 15510 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18324 15510 1111 63 0 18261 0
vsize: 73296
[startup+650.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32595
Raw data (stat): 32595 (bsolo_lpr) R 32594 24300 24299 0 -1 0 15835 0 0 0 64968 41 0 0 25 0 1 0 775724030 76046336 15759 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18566 15759 1111 63 0 18503 0
vsize: 74264
[startup+660.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32595
Raw data (stat): 32595 (bsolo_lpr) R 32594 24300 24299 0 -1 0 16090 0 0 0 65968 41 0 0 25 0 1 0 775724030 77033472 16014 4294967295 134512640 134714508 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18807 16014 1111 63 0 18744 0
vsize: 75228
[startup+670.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32595
Raw data (stat): 32595 (bsolo_lpr) R 32594 24300 24299 0 -1 0 16340 0 0 0 66967 42 0 0 25 0 1 0 775724030 78163968 16264 4294967295 134512640 134714508 3221224592 3221222944 134566799 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19083 16264 1111 63 0 19020 0
vsize: 76332
[startup+680.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32595
Raw data (stat): 32595 (bsolo_lpr) R 32594 24300 24299 0 -1 0 16603 0 0 0 67967 42 0 0 25 0 1 0 775724030 79155200 16527 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19325 16527 1111 63 0 19262 0
vsize: 77300
[startup+690.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32595
Raw data (stat): 32595 (bsolo_lpr) R 32594 24300 24299 0 -1 0 16857 0 0 0 68967 43 0 0 25 0 1 0 775724030 80277504 16781 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19599 16781 1111 63 0 19536 0
vsize: 78396
[startup+700.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32595
Raw data (stat): 32595 (bsolo_lpr) R 32594 24300 24299 0 -1 0 17113 0 0 0 69966 44 0 0 25 0 1 0 775724030 81268736 17037 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19841 17037 1111 63 0 19778 0
vsize: 79364
[startup+710.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32595
Raw data (stat): 32595 (bsolo_lpr) R 32594 24300 24299 0 -1 0 17376 0 0 0 70966 44 0 0 25 0 1 0 775724030 82399232 17300 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20117 17300 1111 63 0 20054 0
vsize: 80468
[startup+720.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32595
Raw data (stat): 32595 (bsolo_lpr) R 32594 24300 24299 0 -1 0 17633 0 0 0 71966 44 0 0 25 0 1 0 775724030 83386368 17557 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20358 17557 1111 63 0 20295 0
vsize: 81432
[startup+730.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32595
Raw data (stat): 32595 (bsolo_lpr) R 32594 24300 24299 0 -1 0 17895 0 0 0 72965 45 0 0 25 0 1 0 775724030 84516864 17819 4294967295 134512640 134714508 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20634 17819 1111 63 0 20571 0
vsize: 82536
[startup+740.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32595
Raw data (stat): 32595 (bsolo_lpr) R 32594 24300 24299 0 -1 0 18151 0 0 0 73965 45 0 0 25 0 1 0 775724030 85508096 18075 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20876 18075 1111 63 0 20813 0
vsize: 83504
[startup+750.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32595
Raw data (stat): 32595 (bsolo_lpr) R 32594 24300 24299 0 -1 0 18414 0 0 0 74965 46 0 0 25 0 1 0 775724030 86634496 18338 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21151 18338 1111 63 0 21088 0
vsize: 84604
[startup+760.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32595
Raw data (stat): 32595 (bsolo_lpr) R 32594 24300 24299 0 -1 0 18677 0 0 0 75964 46 0 0 25 0 1 0 775724030 87625728 18601 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21393 18601 1111 63 0 21330 0
vsize: 85572
[startup+770.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32595
Raw data (stat): 32595 (bsolo_lpr) R 32594 24300 24299 0 -1 0 18931 0 0 0 76964 47 0 0 25 0 1 0 775724030 88752128 18855 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21668 18855 1111 63 0 21605 0
vsize: 86672
[startup+780.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32595
Raw data (stat): 32595 (bsolo_lpr) R 32594 24300 24299 0 -1 0 19201 0 0 0 77964 47 0 0 25 0 1 0 775724030 89739264 19125 4294967295 134512640 134714508 3221224592 3221222820 1077414399 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21909 19125 1111 63 0 21846 0
vsize: 87636
[startup+790.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32595
Raw data (stat): 32595 (bsolo_lpr) R 32594 24300 24299 0 -1 0 19464 0 0 0 78964 48 0 0 25 0 1 0 775724030 90869760 19388 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22185 19388 1111 63 0 22122 0
vsize: 88740
[startup+800.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32595
Raw data (stat): 32595 (bsolo_lpr) R 32594 24300 24299 0 -1 0 19734 0 0 0 79964 48 0 0 25 0 1 0 775724030 92000256 19658 4294967295 134512640 134714508 3221224592 3221222820 1077414424 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22461 19658 1111 63 0 22398 0
vsize: 89844
[startup+810.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32595
Raw data (stat): 32595 (bsolo_lpr) R 32594 24300 24299 0 -1 0 19997 0 0 0 80963 48 0 0 25 0 1 0 775724030 92991488 19921 4294967295 134512640 134714508 3221224592 3221222820 1077414382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22703 19921 1111 63 0 22640 0
vsize: 90812
[startup+820.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32595
Raw data (stat): 32595 (bsolo_lpr) R 32594 24300 24299 0 -1 0 20266 0 0 0 81963 49 0 0 25 0 1 0 775724030 94117888 20190 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22978 20190 1111 63 0 22915 0
vsize: 91912
[startup+830.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32595
Raw data (stat): 32595 (bsolo_lpr) R 32594 24300 24299 0 -1 0 20536 0 0 0 82963 49 0 0 25 0 1 0 775724030 95248384 20460 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23254 20460 1111 63 0 23191 0
vsize: 93016
[startup+840.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32595
Raw data (stat): 32595 (bsolo_lpr) R 32594 24300 24299 0 -1 0 20806 0 0 0 83962 50 0 0 25 0 1 0 775724030 96378880 20730 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23530 20730 1111 63 0 23467 0
vsize: 94120
[startup+850.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32595
Raw data (stat): 32595 (bsolo_lpr) R 32594 24300 24299 0 -1 0 21070 0 0 0 84962 50 0 0 25 0 1 0 775724030 97370112 20994 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23772 20994 1111 63 0 23709 0
vsize: 95088
[startup+860.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32595
Raw data (stat): 32595 (bsolo_lpr) R 32594 24300 24299 0 -1 0 21345 0 0 0 85962 50 0 0 25 0 1 0 775724030 98496512 21269 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24047 21269 1111 63 0 23984 0
vsize: 96188
[startup+870.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32595
Raw data (stat): 32595 (bsolo_lpr) R 32594 24300 24299 0 -1 0 21616 0 0 0 86961 51 0 0 25 0 1 0 775724030 99622912 21540 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24322 21540 1111 63 0 24259 0
vsize: 97288
[startup+880.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32595
Raw data (stat): 32595 (bsolo_lpr) R 32594 24300 24299 0 -1 0 21884 0 0 0 87961 52 0 0 25 0 1 0 775724030 100753408 21808 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24598 21808 1111 63 0 24535 0
vsize: 98392
[startup+890.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32595
Raw data (stat): 32595 (bsolo_lpr) R 32594 24300 24299 0 -1 0 22154 0 0 0 88961 53 0 0 25 0 1 0 775724030 101883904 22078 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24874 22078 1111 63 0 24811 0
vsize: 99496
[startup+900.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32595
Raw data (stat): 32595 (bsolo_lpr) R 32594 24300 24299 0 -1 0 22423 0 0 0 89960 53 0 0 25 0 1 0 775724030 103010304 22347 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25149 22347 1111 63 0 25086 0
vsize: 100596
[startup+910.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32595
Raw data (stat): 32595 (bsolo_lpr) R 32594 24300 24299 0 -1 0 22692 0 0 0 90960 54 0 0 25 0 1 0 775724030 104001536 22616 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25391 22616 1111 63 0 25328 0
vsize: 101564
[startup+920.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32595
Raw data (stat): 32595 (bsolo_lpr) R 32594 24300 24299 0 -1 0 22961 0 0 0 91960 54 0 0 25 0 1 0 775724030 105132032 22885 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25667 22885 1111 63 0 25604 0
vsize: 102668
[startup+930.033 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 32648
Raw data (stat): 32595 (bsolo_lpr) R 32594 24300 24299 0 -1 0 23277 0 0 0 92959 54 0 0 25 0 1 0 775724030 106651648 23201 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26038 23201 1111 63 0 25975 0
vsize: 104152
[startup+940.033 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 32648
Raw data (stat): 32595 (bsolo_lpr) R 32594 24300 24299 0 -1 0 23553 0 0 0 93959 55 0 0 25 0 1 0 775724030 107782144 23477 4294967295 134512640 134714508 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26314 23477 1111 63 0 26251 0
vsize: 105256
[startup+950.034 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 32648
Raw data (stat): 32595 (bsolo_lpr) R 32594 24300 24299 0 -1 0 23837 0 0 0 94959 55 0 0 25 0 1 0 775724030 109051904 23761 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26624 23761 1111 63 0 26561 0
vsize: 106496
[startup+960.033 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 32648
Raw data (stat): 32595 (bsolo_lpr) R 32594 24300 24299 0 -1 0 24121 0 0 0 95959 56 0 0 25 0 1 0 775724030 110178304 24045 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26899 24045 1111 63 0 26836 0
vsize: 107596
[startup+970.033 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 32648
Raw data (stat): 32595 (bsolo_lpr) R 32594 24300 24299 0 -1 0 24404 0 0 0 96958 56 0 0 25 0 1 0 775724030 111308800 24328 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27175 24328 1111 63 0 27112 0
vsize: 108700
[startup+980.032 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 32648
Raw data (stat): 32595 (bsolo_lpr) R 32594 24300 24299 0 -1 0 24688 0 0 0 97958 57 0 0 25 0 1 0 775724030 112439296 24612 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27451 24612 1111 63 0 27388 0
vsize: 109804
[startup+990.032 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 32648
Raw data (stat): 32595 (bsolo_lpr) R 32594 24300 24299 0 -1 0 24971 0 0 0 98958 57 0 0 25 0 1 0 775724030 113569792 24895 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27727 24895 1111 63 0 27664 0
vsize: 110908
[startup+1000.03 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 32650
Raw data (stat): 32595 (bsolo_lpr) R 32594 24300 24299 0 -1 0 25256 0 0 0 99957 58 0 0 25 0 1 0 775724030 114839552 25180 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28037 25180 1111 63 0 27974 0
vsize: 112148
[startup+1010.03 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 32650
Raw data (stat): 32595 (bsolo_lpr) R 32594 24300 24299 0 -1 0 25539 0 0 0 100957 58 0 0 25 0 1 0 775724030 115970048 25463 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28313 25463 1111 63 0 28250 0
vsize: 113252
[startup+1020.03 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 32650
Raw data (stat): 32595 (bsolo_lpr) R 32594 24300 24299 0 -1 0 25829 0 0 0 101956 59 0 0 25 0 1 0 775724030 117100544 25753 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28589 25753 1111 63 0 28526 0
vsize: 114356
[startup+1030.03 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 32650
Raw data (stat): 32595 (bsolo_lpr) R 32594 24300 24299 0 -1 0 26119 0 0 0 102957 59 0 0 25 0 1 0 775724030 118370304 26043 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28899 26043 1111 63 0 28836 0
vsize: 115596
[startup+1040.03 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 32650
Raw data (stat): 32595 (bsolo_lpr) R 32594 24300 24299 0 -1 0 26409 0 0 0 103956 60 0 0 25 0 1 0 775724030 119500800 26333 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29175 26333 1111 63 0 29112 0
vsize: 116700
[startup+1050.03 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 32650
Raw data (stat): 32595 (bsolo_lpr) R 32594 24300 24299 0 -1 0 26701 0 0 0 104955 61 0 0 25 0 1 0 775724030 120631296 26625 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29451 26625 1111 63 0 29388 0
vsize: 117804
[startup+1060.03 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 32650
Raw data (stat): 32595 (bsolo_lpr) R 32594 24300 24299 0 -1 0 26991 0 0 0 105955 61 0 0 25 0 1 0 775724030 121901056 26915 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29761 26915 1111 63 0 29698 0
vsize: 119044
[startup+1070.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32650
Raw data (stat): 32595 (bsolo_lpr) R 32594 24300 24299 0 -1 0 27282 0 0 0 106955 62 0 0 25 0 1 0 775724030 123031552 27206 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30037 27206 1111 63 0 29974 0
vsize: 120148
[startup+1080.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32650
Raw data (stat): 32595 (bsolo_lpr) R 32594 24300 24299 0 -1 0 27579 0 0 0 107954 62 0 0 25 0 1 0 775724030 124301312 27503 4294967295 134512640 134714508 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30347 27503 1111 63 0 30284 0
vsize: 121388
[startup+1090.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32650
Raw data (stat): 32595 (bsolo_lpr) R 32594 24300 24299 0 -1 0 27875 0 0 0 108953 63 0 0 25 0 1 0 775724030 125431808 27799 4294967295 134512640 134714508 3221224592 3221222820 1077414432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30623 27799 1111 63 0 30560 0
vsize: 122492
[startup+1100.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32650
Raw data (stat): 32595 (bsolo_lpr) R 32594 24300 24299 0 -1 0 28167 0 0 0 109953 64 0 0 25 0 1 0 775724030 126701568 28091 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30933 28091 1111 63 0 30870 0
vsize: 123732
[startup+1110.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32650
Raw data (stat): 32595 (bsolo_lpr) R 32594 24300 24299 0 -1 0 28463 0 0 0 110953 64 0 0 25 0 1 0 775724030 127832064 28387 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31209 28387 1111 63 0 31146 0
vsize: 124836
[startup+1120.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32650
Raw data (stat): 32595 (bsolo_lpr) R 32594 24300 24299 0 -1 0 28762 0 0 0 111952 65 0 0 25 0 1 0 775724030 129101824 28686 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31519 28686 1111 63 0 31456 0
vsize: 126076
[startup+1130.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32650
Raw data (stat): 32595 (bsolo_lpr) R 32594 24300 24299 0 -1 0 29058 0 0 0 112952 65 0 0 25 0 1 0 775724030 130375680 28982 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31830 28982 1111 63 0 31767 0
vsize: 127320
[startup+1140.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32650
Raw data (stat): 32595 (bsolo_lpr) R 32594 24300 24299 0 -1 0 29354 0 0 0 113951 66 0 0 25 0 1 0 775724030 131506176 29278 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32106 29278 1111 63 0 32043 0
vsize: 128424
[startup+1150.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32650
Raw data (stat): 32595 (bsolo_lpr) R 32594 24300 24299 0 -1 0 29646 0 0 0 114951 67 0 0 25 0 1 0 775724030 132771840 29570 4294967295 134512640 134714508 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32415 29570 1111 63 0 32352 0
vsize: 129660
[startup+1160.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32650
Raw data (stat): 32595 (bsolo_lpr) R 32594 24300 24299 0 -1 0 29949 0 0 0 115951 67 0 0 25 0 1 0 775724030 133902336 29873 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32691 29873 1111 63 0 32628 0
vsize: 130764
[startup+1170.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32650
Raw data (stat): 32595 (bsolo_lpr) R 32594 24300 24299 0 -1 0 30240 0 0 0 116950 68 0 0 25 0 1 0 775724030 135176192 30164 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33002 30164 1111 63 0 32939 0
vsize: 132008
[startup+1180.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32650
Raw data (stat): 32595 (bsolo_lpr) R 32594 24300 24299 0 -1 0 30543 0 0 0 117950 68 0 0 25 0 1 0 775724030 136445952 30467 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33312 30467 1111 63 0 33249 0
vsize: 133248
[startup+1190.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32650
Raw data (stat): 32595 (bsolo_lpr) R 32594 24300 24299 0 -1 0 30848 0 0 0 118949 69 0 0 25 0 1 0 775724030 137576448 30772 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33588 30772 1111 63 0 33525 0
vsize: 134352
[startup+1200.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32650
Raw data (stat): 32595 (bsolo_lpr) R 32594 24300 24299 0 -1 0 31151 0 0 0 119949 69 0 0 25 0 1 0 775724030 138846208 31075 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33898 31076 1111 63 0 33835 0
vsize: 135592
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.09 s]
Raw data (loadavg): 1.00 0.99 0.91 1/54 32650
Raw data (stat): 32595 (bsolo_lpr) Z 32594 24300 24299 0 -1 1036 31152 0 0 0 119949 75 0 0 25 0 1 0 775724030 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.09
CPU time (s): 1200.25
CPU user time (s): 1199.49
CPU system time (s): 0.756884
CPU usage (%): 100.014
Max. virtual memory (Kb): 135592
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####