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/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-3.opb
MD5SUM	b3a3f977e810fc2043ea057a8d94a7d8
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-34
Optimality of the best value was proved	NO
Number of terms in the objective function	945
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	945
Number of bits of the sum of numbers in the objective function	10
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	945
Number of bits of the biggest sum of numbers	10
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.07
Number of variables	945
Total number of constraints	58245
Number of constraints which are clauses	58245
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	2
Trace number 24792

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-13 02:24:03 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2971 boxname=wulflinc31 idbench=331 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  b3a3f977e810fc2043ea057a8d94a7d8  /oldhome/oroussel/tmp/wulflinc31/normalized-frb45-21-3.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-frb45-21-3.opb
IDLAUNCH: 2971
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
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.153
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:        876084 kB
Buffers:         35832 kB
Cached:         100748 kB
SwapCached:       1936 kB
Active:         103100 kB
Inactive:        36656 kB
HighTotal:      131008 kB
HighFree:        29428 kB
LowTotal:       903652 kB
LowFree:        846656 kB
SwapTotal:     2097892 kB
SwapFree:      2095224 kB
Dirty:            1284 kB
Writeback:           0 kB
Mapped:           5360 kB
Slab:            13104 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-13 02:44:06 (client local time) WITH STATUS 0 IN 1200.25 SECONDS
stats: 2971 7 1200.25 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 945 variables and 58245 constraints.
c After prepocess the problem consists of 945 variables and 38467 constraints.
c preprocess terminated 380.425 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.91 0.97 0.96 2/55 13940
Raw data (stat): 13940 (runsolver) R 13939 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 731542228 1056768 100 4294967295 134512640 135381576 3221221680 3221216900 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+9.99989 s]
Raw data (loadavg): 0.93 0.97 0.96 2/55 13940
Raw data (stat): 13940 (bsolo_lpr) R 13939 7876 7672 0 -1 0 17665 0 0 0 948 46 0 0 25 0 1 0 731542228 75497472 17585 4294967295 134512640 134714508 3221221792 3221220432 134606488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18432 17585 1111 63 0 18369 0
vsize: 73728
[startup+20.0007 s]
Raw data (loadavg): 0.94 0.97 0.96 2/55 13940
Raw data (stat): 13940 (bsolo_lpr) R 13939 7876 7672 0 -1 0 20138 0 0 0 1943 52 0 0 25 0 1 0 731542228 82321408 19265 4294967295 134512640 134714508 3221221792 3221220432 134606488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20098 19265 1111 63 0 20035 0
vsize: 80392
[startup+30.0007 s]
Raw data (loadavg): 0.95 0.97 0.96 2/55 13940
Raw data (stat): 13940 (bsolo_lpr) R 13939 7876 7672 0 -1 0 20779 0 0 0 2941 54 0 0 25 0 1 0 731542228 83197952 19479 4294967295 134512640 134714508 3221221792 3221220260 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20312 19479 1111 63 0 20249 0
vsize: 81248
[startup+40.0016 s]
Raw data (loadavg): 0.95 0.97 0.96 2/55 13940
Raw data (stat): 13940 (bsolo_lpr) R 13939 7876 7672 0 -1 0 21232 0 0 0 3939 56 0 0 25 0 1 0 731542228 84840448 19880 4294967295 134512640 134714508 3221221792 3221220272 134539374 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20713 19880 1111 63 0 20650 0
vsize: 82852
[startup+50.0025 s]
Raw data (loadavg): 0.96 0.97 0.96 2/55 13940
Raw data (stat): 13940 (bsolo_lpr) R 13939 7876 7672 0 -1 0 21232 0 0 0 4939 57 0 0 25 0 1 0 731542228 84840448 19880 4294967295 134512640 134714508 3221221792 3221220260 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20713 19880 1111 63 0 20650 0
vsize: 82852
[startup+60.0025 s]
Raw data (loadavg): 0.97 0.97 0.96 2/55 13940
Raw data (stat): 13940 (bsolo_lpr) R 13939 7876 7672 0 -1 0 21232 0 0 0 5938 57 0 0 25 0 1 0 731542228 84840448 19880 4294967295 134512640 134714508 3221221792 3221220272 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20713 19880 1111 63 0 20650 0
vsize: 82852
[startup+70.0034 s]
Raw data (loadavg): 0.97 0.97 0.96 2/55 13940
Raw data (stat): 13940 (bsolo_lpr) R 13939 7876 7672 0 -1 0 21232 0 0 0 6938 58 0 0 25 0 1 0 731542228 84840448 19880 4294967295 134512640 134714508 3221221792 3221220408 134543804 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20713 19880 1111 63 0 20650 0
vsize: 82852
[startup+80.0033 s]
Raw data (loadavg): 0.98 0.97 0.96 2/55 13940
Raw data (stat): 13940 (bsolo_lpr) R 13939 7876 7672 0 -1 0 21232 0 0 0 7937 58 0 0 25 0 1 0 731542228 84840448 19880 4294967295 134512640 134714508 3221221792 3221220216 134542822 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20713 19880 1111 63 0 20650 0
vsize: 82852
[startup+90.0032 s]
Raw data (loadavg): 0.98 0.97 0.96 2/55 13940
Raw data (stat): 13940 (bsolo_lpr) R 13939 7876 7672 0 -1 0 21232 0 0 0 8937 59 0 0 25 0 1 0 731542228 84840448 19880 4294967295 134512640 134714508 3221221792 3221220272 134539376 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20713 19880 1111 63 0 20650 0
vsize: 82852
[startup+100.003 s]
Raw data (loadavg): 0.98 0.97 0.96 2/55 13940
Raw data (stat): 13940 (bsolo_lpr) R 13939 7876 7672 0 -1 0 21232 0 0 0 9937 60 0 0 25 0 1 0 731542228 84840448 19880 4294967295 134512640 134714508 3221221792 3221220272 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20713 19880 1111 63 0 20650 0
vsize: 82852
[startup+110.003 s]
Raw data (loadavg): 0.98 0.97 0.96 2/55 13940
Raw data (stat): 13940 (bsolo_lpr) R 13939 7876 7672 0 -1 0 21232 0 0 0 10936 60 0 0 25 0 1 0 731542228 84840448 19880 4294967295 134512640 134714508 3221221792 3221220272 134539462 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20713 19880 1111 63 0 20650 0
vsize: 82852
[startup+120.004 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 13940
Raw data (stat): 13940 (bsolo_lpr) R 13939 7876 7672 0 -1 0 21232 0 0 0 11936 60 0 0 25 0 1 0 731542228 84840448 19880 4294967295 134512640 134714508 3221221792 3221220256 134540529 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20713 19880 1111 63 0 20650 0
vsize: 82852
[startup+130.004 s]
Raw data (loadavg): 0.99 0.97 0.96 3/55 13940
Raw data (stat): 13940 (bsolo_lpr) R 13939 7876 7672 0 -1 0 21232 0 0 0 12936 61 0 0 25 0 1 0 731542228 84840448 19880 4294967295 134512640 134714508 3221221792 3221220200 134543600 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20713 19880 1111 63 0 20650 0
vsize: 82852
[startup+140.004 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 13940
Raw data (stat): 13940 (bsolo_lpr) R 13939 7876 7672 0 -1 0 21232 0 0 0 13935 62 0 0 25 0 1 0 731542228 84840448 19880 4294967295 134512640 134714508 3221221792 3221220156 134539235 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20713 19880 1111 63 0 20650 0
vsize: 82852
[startup+150.005 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 13940
Raw data (stat): 13940 (bsolo_lpr) R 13939 7876 7672 0 -1 0 21232 0 0 0 14935 62 0 0 25 0 1 0 731542228 84840448 19880 4294967295 134512640 134714508 3221221792 3221220176 134542303 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20713 19880 1111 63 0 20650 0
vsize: 82852
[startup+160.005 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 13940
Raw data (stat): 13940 (bsolo_lpr) R 13939 7876 7672 0 -1 0 21232 0 0 0 15934 63 0 0 25 0 1 0 731542228 84840448 19880 4294967295 134512640 134714508 3221221792 3221220272 134542350 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20713 19880 1111 63 0 20650 0
vsize: 82852
[startup+170.006 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 13940
Raw data (stat): 13940 (bsolo_lpr) R 13939 7876 7672 0 -1 0 21232 0 0 0 16934 63 0 0 25 0 1 0 731542228 84840448 19880 4294967295 134512640 134714508 3221221792 3221220176 134542347 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20713 19880 1111 63 0 20650 0
vsize: 82852
[startup+180.006 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 13940
Raw data (stat): 13940 (bsolo_lpr) R 13939 7876 7672 0 -1 0 21232 0 0 0 17934 63 0 0 25 0 1 0 731542228 84840448 19880 4294967295 134512640 134714508 3221221792 3221220408 134543804 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20713 19880 1111 63 0 20650 0
vsize: 82852
[startup+190.007 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 13940
Raw data (stat): 13940 (bsolo_lpr) R 13939 7876 7672 0 -1 0 21232 0 0 0 18934 63 0 0 25 0 1 0 731542228 84840448 19880 4294967295 134512640 134714508 3221221792 3221220260 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20713 19880 1111 63 0 20650 0
vsize: 82852
[startup+200.008 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 13940
Raw data (stat): 13940 (bsolo_lpr) R 13939 7876 7672 0 -1 0 21232 0 0 0 19934 64 0 0 25 0 1 0 731542228 84840448 19880 4294967295 134512640 134714508 3221221792 3221220156 134539223 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20713 19880 1111 63 0 20650 0
vsize: 82852
[startup+210.008 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 13940
Raw data (stat): 13940 (bsolo_lpr) R 13939 7876 7672 0 -1 0 21232 0 0 0 20934 64 0 0 25 0 1 0 731542228 84840448 19880 4294967295 134512640 134714508 3221221792 3221220284 134543616 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20713 19880 1111 63 0 20650 0
vsize: 82852
[startup+220.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 13940
Raw data (stat): 13940 (bsolo_lpr) R 13939 7876 7672 0 -1 0 21232 0 0 0 21934 65 0 0 25 0 1 0 731542228 84840448 19880 4294967295 134512640 134714508 3221221792 3221220272 134542352 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20713 19880 1111 63 0 20650 0
vsize: 82852
[startup+230.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 13940
Raw data (stat): 13940 (bsolo_lpr) R 13939 7876 7672 0 -1 0 21232 0 0 0 22934 65 0 0 25 0 1 0 731542228 84840448 19880 4294967295 134512640 134714508 3221221792 3221220208 134542668 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20713 19880 1111 63 0 20650 0
vsize: 82852
[startup+240.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 13940
Raw data (stat): 13940 (bsolo_lpr) R 13939 7876 7672 0 -1 0 21232 0 0 0 23933 65 0 0 25 0 1 0 731542228 84840448 19880 4294967295 134512640 134714508 3221221792 3221220420 134594953 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20713 19880 1111 63 0 20650 0
vsize: 82852
[startup+250.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 13940
Raw data (stat): 13940 (bsolo_lpr) R 13939 7876 7672 0 -1 0 21320 0 0 0 24933 66 0 0 25 0 1 0 731542228 84840448 19880 4294967295 134512640 134714508 3221221792 3221220296 134543600 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20713 19880 1111 63 0 20650 0
vsize: 82852
[startup+260.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 13940
Raw data (stat): 13940 (bsolo_lpr) R 13939 7876 7672 0 -1 0 21320 0 0 0 25933 66 0 0 25 0 1 0 731542228 84840448 19880 4294967295 134512640 134714508 3221221792 3221220272 134536630 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20713 19880 1111 63 0 20650 0
vsize: 82852
[startup+270.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 13940
Raw data (stat): 13940 (bsolo_lpr) R 13939 7876 7672 0 -1 0 21320 0 0 0 26933 66 0 0 25 0 1 0 731542228 84840448 19880 4294967295 134512640 134714508 3221221792 3221220408 134543804 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20713 19880 1111 63 0 20650 0
vsize: 82852
[startup+280.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 13940
Raw data (stat): 13940 (bsolo_lpr) R 13939 7876 7672 0 -1 0 21320 0 0 0 27933 67 0 0 25 0 1 0 731542228 84840448 19880 4294967295 134512640 134714508 3221221792 3221220200 134543600 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20713 19880 1111 63 0 20650 0
vsize: 82852
[startup+290.011 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 13940
Raw data (stat): 13940 (bsolo_lpr) R 13939 7876 7672 0 -1 0 21320 0 0 0 28932 67 0 0 25 0 1 0 731542228 84840448 19880 4294967295 134512640 134714508 3221221792 3221220272 134539462 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20713 19880 1111 63 0 20650 0
vsize: 82852
[startup+300.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 13940
Raw data (stat): 13940 (bsolo_lpr) R 13939 7876 7672 0 -1 0 21320 0 0 0 29932 68 0 0 25 0 1 0 731542228 84840448 19880 4294967295 134512640 134714508 3221221792 3221220464 134627250 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20713 19880 1111 63 0 20650 0
vsize: 82852
[startup+310.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 13940
Raw data (stat): 13940 (bsolo_lpr) R 13939 7876 7672 0 -1 0 21320 0 0 0 30932 68 0 0 25 0 1 0 731542228 84840448 19880 4294967295 134512640 134714508 3221221792 3221220456 134627195 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20713 19880 1111 63 0 20650 0
vsize: 82852
[startup+320.013 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 13940
Raw data (stat): 13940 (bsolo_lpr) R 13939 7876 7672 0 -1 0 21320 0 0 0 31932 68 0 0 25 0 1 0 731542228 84840448 19880 4294967295 134512640 134714508 3221221792 3221220464 134627187 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20713 19880 1111 63 0 20650 0
vsize: 82852
[startup+330.014 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 13940
Raw data (stat): 13940 (bsolo_lpr) R 13939 7876 7672 0 -1 0 21320 0 0 0 32932 68 0 0 25 0 1 0 731542228 84840448 19880 4294967295 134512640 134714508 3221221792 3221220464 134627184 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20713 19880 1111 63 0 20650 0
vsize: 82852
[startup+340.015 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 13940
Raw data (stat): 13940 (bsolo_lpr) R 13939 7876 7672 0 -1 0 21320 0 0 0 33933 68 0 0 25 0 1 0 731542228 84840448 19880 4294967295 134512640 134714508 3221221792 3221220464 134627250 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20713 19880 1111 63 0 20650 0
vsize: 82852
[startup+350.015 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 13940
Raw data (stat): 13940 (bsolo_lpr) R 13939 7876 7672 0 -1 0 21320 0 0 0 34932 69 0 0 25 0 1 0 731542228 84840448 19880 4294967295 134512640 134714508 3221221792 3221220464 134627187 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20713 19880 1111 63 0 20650 0
vsize: 82852
[startup+360.016 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 13940
Raw data (stat): 13940 (bsolo_lpr) R 13939 7876 7672 0 -1 0 21437 0 0 0 35932 69 0 0 25 0 1 0 731542228 85315584 19997 4294967295 134512640 134714508 3221221792 3221220660 134622267 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20829 19997 1111 63 0 20766 0
vsize: 83316
[startup+370.017 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 13940
Raw data (stat): 13940 (bsolo_lpr) R 13939 7876 7672 0 -1 0 21437 0 0 0 36932 69 0 0 25 0 1 0 731542228 85315584 19997 4294967295 134512640 134714508 3221221792 3221220592 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20829 19997 1111 63 0 20766 0
vsize: 83316
[startup+380.016 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 13940
Raw data (stat): 13940 (bsolo_lpr) R 13939 7876 7672 0 -1 0 21437 0 0 0 37932 69 0 0 25 0 1 0 731542228 85315584 19997 4294967295 134512640 134714508 3221221792 3221220660 134622413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20829 19997 1111 63 0 20766 0
vsize: 83316
[startup+390.017 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 13940
Raw data (stat): 13940 (bsolo_lpr) R 13939 7876 7672 0 -1 0 21797 0 0 0 38929 73 0 0 25 0 1 0 731542228 87166976 20357 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21281 20357 1111 63 0 21218 0
vsize: 85124
[startup+400.019 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 13940
Raw data (stat): 13940 (bsolo_lpr) R 13939 7876 7672 0 -1 0 21940 0 0 0 39928 75 0 0 25 0 1 0 731542228 87732224 20500 4294967295 134512640 134714508 3221221792 3221220048 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21419 20500 1111 63 0 21356 0
vsize: 85676
[startup+410.019 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 13940
Raw data (stat): 13940 (bsolo_lpr) R 13939 7876 7672 0 -1 0 21975 0 0 0 40926 76 0 0 25 0 1 0 731542228 87867392 20535 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21452 20535 1111 63 0 21389 0
vsize: 85808
[startup+420.019 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 13940
Raw data (stat): 13940 (bsolo_lpr) R 13939 7876 7672 0 -1 0 22009 0 0 0 41925 78 0 0 25 0 1 0 731542228 87977984 20569 4294967295 134512640 134714508 3221221792 3221220096 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21479 20569 1111 63 0 21416 0
vsize: 85916
[startup+430.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 13940
Raw data (stat): 13940 (bsolo_lpr) R 13939 7876 7672 0 -1 0 22112 0 0 0 42923 80 0 0 25 0 1 0 731542228 88129536 20607 4294967295 134512640 134714508 3221221792 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21516 20607 1111 63 0 21453 0
vsize: 86064
[startup+440.021 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 13940
Raw data (stat): 13940 (bsolo_lpr) R 13939 7876 7672 0 -1 0 22137 0 0 0 43922 81 0 0 25 0 1 0 731542228 88227840 20632 4294967295 134512640 134714508 3221221792 3221220048 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21540 20632 1111 63 0 21477 0
vsize: 86160
[startup+450.021 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 13940
Raw data (stat): 13940 (bsolo_lpr) R 13939 7876 7672 0 -1 0 22160 0 0 0 44921 82 0 0 25 0 1 0 731542228 88313856 20655 4294967295 134512640 134714508 3221221792 3221220016 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21561 20655 1111 63 0 21498 0
vsize: 86244
[startup+460.021 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 13940
Raw data (stat): 13940 (bsolo_lpr) R 13939 7876 7672 0 -1 0 22243 0 0 0 45920 83 0 0 25 0 1 0 731542228 88649728 20738 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21643 20738 1111 63 0 21580 0
vsize: 86572
[startup+470.022 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 13940
Raw data (stat): 13940 (bsolo_lpr) R 13939 7876 7672 0 -1 0 22264 0 0 0 46919 84 0 0 25 0 1 0 731542228 88731648 20759 4294967295 134512640 134714508 3221221792 3221220064 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21663 20759 1111 63 0 21600 0
vsize: 86652
[startup+480.023 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 13940
Raw data (stat): 13940 (bsolo_lpr) R 13939 7876 7672 0 -1 0 22284 0 0 0 47919 85 0 0 25 0 1 0 731542228 88809472 20779 4294967295 134512640 134714508 3221221792 3221220048 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21682 20779 1111 63 0 21619 0
vsize: 86728
[startup+490.024 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 13940
Raw data (stat): 13940 (bsolo_lpr) R 13939 7876 7672 0 -1 0 22302 0 0 0 48918 85 0 0 25 0 1 0 731542228 88883200 20797 4294967295 134512640 134714508 3221221792 3221219712 1077814665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21700 20797 1111 63 0 21637 0
vsize: 86800
[startup+500.025 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 13940
Raw data (stat): 13940 (bsolo_lpr) R 13939 7876 7672 0 -1 0 22401 0 0 0 49918 86 0 0 25 0 1 0 731542228 89284608 20896 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21798 20896 1111 63 0 21735 0
vsize: 87192
[startup+510.025 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 13940
Raw data (stat): 13940 (bsolo_lpr) R 13939 7876 7672 0 -1 0 22417 0 0 0 50917 87 0 0 25 0 1 0 731542228 89346048 20912 4294967295 134512640 134714508 3221221792 3221220048 1074153779 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21813 20912 1111 63 0 21750 0
vsize: 87252
[startup+520.026 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 13940
Raw data (stat): 13940 (bsolo_lpr) R 13939 7876 7672 0 -1 0 22432 0 0 0 51917 87 0 0 25 0 1 0 731542228 89403392 20927 4294967295 134512640 134714508 3221221792 3221220096 1074153792 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21827 20927 1111 63 0 21764 0
vsize: 87308
[startup+530.026 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 13940
Raw data (stat): 13940 (bsolo_lpr) R 13939 7876 7672 0 -1 0 22448 0 0 0 52916 88 0 0 25 0 1 0 731542228 89464832 20943 4294967295 134512640 134714508 3221221792 3221220016 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21842 20943 1111 63 0 21779 0
vsize: 87368
[startup+540.026 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 13940
Raw data (stat): 13940 (bsolo_lpr) R 13939 7876 7672 0 -1 0 22462 0 0 0 53916 88 0 0 25 0 1 0 731542228 89518080 20957 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21855 20957 1111 63 0 21792 0
vsize: 87420
[startup+550.026 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 13940
Raw data (stat): 13940 (bsolo_lpr) R 13939 7876 7672 0 -1 0 22521 0 0 0 54916 89 0 0 25 0 1 0 731542228 89759744 21016 4294967295 134512640 134714508 3221221792 3221220064 1074153760 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21914 21016 1111 63 0 21851 0
vsize: 87656
[startup+560.026 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 13940
Raw data (stat): 13940 (bsolo_lpr) R 13939 7876 7672 0 -1 0 22534 0 0 0 55915 89 0 0 25 0 1 0 731542228 89808896 21029 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21926 21029 1111 63 0 21863 0
vsize: 87704
[startup+570.027 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 13940
Raw data (stat): 13940 (bsolo_lpr) R 13939 7876 7672 0 -1 0 22549 0 0 0 56915 90 0 0 25 0 1 0 731542228 89866240 21044 4294967295 134512640 134714508 3221221792 3221220064 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21940 21044 1111 63 0 21877 0
vsize: 87760
[startup+580.027 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 13940
Raw data (stat): 13940 (bsolo_lpr) R 13939 7876 7672 0 -1 0 22562 0 0 0 57915 90 0 0 25 0 1 0 731542228 89915392 21057 4294967295 134512640 134714508 3221221792 3221220064 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21952 21057 1111 63 0 21889 0
vsize: 87808
[startup+590.028 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 13940
Raw data (stat): 13940 (bsolo_lpr) R 13939 7876 7672 0 -1 0 22575 0 0 0 58915 91 0 0 25 0 1 0 731542228 89968640 21070 4294967295 134512640 134714508 3221221792 3221220064 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21965 21070 1111 63 0 21902 0
vsize: 87860
[startup+600.029 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 13940
Raw data (stat): 13940 (bsolo_lpr) R 13939 7876 7672 0 -1 0 22590 0 0 0 59915 91 0 0 25 0 1 0 731542228 90025984 21085 4294967295 134512640 134714508 3221221792 3221220048 1074153760 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21979 21085 1111 63 0 21916 0
vsize: 87916
[startup+610.029 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 13940
Raw data (stat): 13940 (bsolo_lpr) R 13939 7876 7672 0 -1 0 22603 0 0 0 60915 91 0 0 25 0 1 0 731542228 90075136 21098 4294967295 134512640 134714508 3221221792 3221220048 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21991 21098 1111 63 0 21928 0
vsize: 87964
[startup+620.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 13940
Raw data (stat): 13940 (bsolo_lpr) R 13939 7876 7672 0 -1 0 22615 0 0 0 61914 92 0 0 25 0 1 0 731542228 90124288 21110 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22003 21110 1111 63 0 21940 0
vsize: 88012
[startup+630.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 13940
Raw data (stat): 13940 (bsolo_lpr) R 13939 7876 7672 0 -1 0 22760 0 0 0 62914 92 0 0 25 0 1 0 731542228 90271744 21147 4294967295 134512640 134714508 3221221792 3221220048 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22039 21147 1111 63 0 21976 0
vsize: 88156
[startup+640.031 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 13940
Raw data (stat): 13940 (bsolo_lpr) R 13939 7876 7672 0 -1 0 22772 0 0 0 63914 92 0 0 25 0 1 0 731542228 90320896 21159 4294967295 134512640 134714508 3221221792 3221220064 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22051 21159 1111 63 0 21988 0
vsize: 88204
[startup+650.031 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 13940
Raw data (stat): 13940 (bsolo_lpr) R 13939 7876 7672 0 -1 0 22785 0 0 0 64914 93 0 0 25 0 1 0 731542228 90370048 21172 4294967295 134512640 134714508 3221221792 3221220064 1074153792 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22063 21172 1111 63 0 22000 0
vsize: 88252
[startup+660.031 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 13940
Raw data (stat): 13940 (bsolo_lpr) R 13939 7876 7672 0 -1 0 22796 0 0 0 65914 93 0 0 25 0 1 0 731542228 90411008 21183 4294967295 134512640 134714508 3221221792 3221220064 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22073 21183 1111 63 0 22010 0
vsize: 88292
[startup+670.032 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 13940
Raw data (stat): 13940 (bsolo_lpr) R 13939 7876 7672 0 -1 0 22810 0 0 0 66914 93 0 0 25 0 1 0 731542228 90468352 21197 4294967295 134512640 134714508 3221221792 3221220064 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22087 21197 1111 63 0 22024 0
vsize: 88348
[startup+680.032 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 13940
Raw data (stat): 13940 (bsolo_lpr) R 13939 7876 7672 0 -1 0 22821 0 0 0 67914 94 0 0 25 0 1 0 731542228 90509312 21208 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22097 21208 1111 63 0 22034 0
vsize: 88388
[startup+690.033 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 13940
Raw data (stat): 13940 (bsolo_lpr) R 13939 7876 7672 0 -1 0 22833 0 0 0 68913 94 0 0 25 0 1 0 731542228 90558464 21220 4294967295 134512640 134714508 3221221792 3221220048 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22109 21220 1111 63 0 22046 0
vsize: 88436
[startup+700.033 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 13940
Raw data (stat): 13940 (bsolo_lpr) R 13939 7876 7672 0 -1 0 22846 0 0 0 69913 95 0 0 25 0 1 0 731542228 90607616 21233 4294967295 134512640 134714508 3221221792 3221219648 1077814665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22121 21233 1111 63 0 22058 0
vsize: 88484
[startup+710.034 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 13940
Raw data (stat): 13940 (bsolo_lpr) R 13939 7876 7672 0 -1 0 22858 0 0 0 70913 95 0 0 25 0 1 0 731542228 90656768 21245 4294967295 134512640 134714508 3221221792 3221219968 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22133 21245 1111 63 0 22070 0
vsize: 88532
[startup+720.034 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 13940
Raw data (stat): 13940 (bsolo_lpr) R 13939 7876 7672 0 -1 0 22871 0 0 0 71913 95 0 0 25 0 1 0 731542228 90705920 21258 4294967295 134512640 134714508 3221221792 3221220016 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22145 21258 1111 63 0 22082 0
vsize: 88580
[startup+730.034 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 13940
Raw data (stat): 13940 (bsolo_lpr) R 13939 7876 7672 0 -1 0 30371 0 0 0 72897 112 0 0 25 0 1 0 731542228 119525376 25737 4294967295 134512640 134714508 3221221792 3221217984 1074961293 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29181 25737 1111 63 0 29118 0
vsize: 116724
[startup+740.035 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 13940
Raw data (stat): 13940 (bsolo_lpr) R 13939 7876 7672 0 -1 0 30452 0 0 0 73896 112 0 0 25 0 1 0 731542228 119525376 25818 4294967295 134512640 134714508 3221221792 3221217856 1074969461 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29181 25818 1111 63 0 29118 0
vsize: 116724
[startup+750.035 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 13940
Raw data (stat): 13940 (bsolo_lpr) R 13939 7876 7672 0 -1 0 31846 0 0 0 74894 114 0 0 25 0 1 0 731542228 122335232 27210 4294967295 134512640 134714508 3221221792 3221217984 1074961146 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29867 27210 1111 63 0 29804 0
vsize: 119468
[startup+760.035 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 13940
Raw data (stat): 13940 (bsolo_lpr) R 13939 7876 7672 0 -1 0 31880 0 0 0 75894 114 0 0 25 0 1 0 731542228 122335232 27244 4294967295 134512640 134714508 3221221792 3221217596 1074788950 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29867 27244 1111 63 0 29804 0
vsize: 119468
[startup+770.036 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 13940
Raw data (stat): 13940 (bsolo_lpr) R 13939 7876 7672 0 -1 0 32139 0 0 0 76894 115 0 0 25 0 1 0 731542228 117268480 26241 4294967295 134512640 134714508 3221221792 3221217704 1075964740 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28630 26241 1111 63 0 28567 0
vsize: 114520
[startup+780.037 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 13940
Raw data (stat): 13940 (bsolo_lpr) R 13939 7876 7672 0 -1 0 32169 0 0 0 77893 116 0 0 25 0 1 0 731542228 117268480 26269 4294967295 134512640 134714508 3221221792 3221217856 1074969455 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28630 26269 1111 63 0 28567 0
vsize: 114520
[startup+790.038 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 13940
Raw data (stat): 13940 (bsolo_lpr) R 13939 7876 7672 0 -1 0 32183 0 0 0 78893 116 0 0 25 0 1 0 731542228 117268480 26281 4294967295 134512640 134714508 3221221792 3221217724 1074788950 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28630 26281 1111 63 0 28567 0
vsize: 114520
[startup+800.038 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 13940
Raw data (stat): 13940 (bsolo_lpr) R 13939 7876 7672 0 -1 0 32206 0 0 0 79893 116 0 0 25 0 1 0 731542228 117268480 26302 4294967295 134512640 134714508 3221221792 3221217856 1074969474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28630 26302 1111 63 0 28567 0
vsize: 114520
[startup+810.038 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 13940
Raw data (stat): 13940 (bsolo_lpr) R 13939 7876 7672 0 -1 0 32211 0 0 0 80893 116 0 0 25 0 1 0 731542228 117268480 26307 4294967295 134512640 134714508 3221221792 3221217856 1074969455 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28630 26307 1111 63 0 28567 0
vsize: 114520
[startup+820.038 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 13940
Raw data (stat): 13940 (bsolo_lpr) R 13939 7876 7672 0 -1 0 32230 0 0 0 81893 117 0 0 25 0 1 0 731542228 117268480 26324 4294967295 134512640 134714508 3221221792 3221217596 1074788953 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28630 26324 1111 63 0 28567 0
vsize: 114520
[startup+830.039 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 13940
Raw data (stat): 13940 (bsolo_lpr) R 13939 7876 7672 0 -1 0 32236 0 0 0 82894 117 0 0 25 0 1 0 731542228 117268480 26328 4294967295 134512640 134714508 3221221792 3221217756 1074873512 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28630 26328 1111 63 0 28567 0
vsize: 114520
[startup+840.039 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 13940
Raw data (stat): 13940 (bsolo_lpr) R 13939 7876 7672 0 -1 0 32244 0 0 0 83894 117 0 0 25 0 1 0 731542228 117268480 26334 4294967295 134512640 134714508 3221221792 3221217856 1074969680 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28630 26334 1111 63 0 28567 0
vsize: 114520
[startup+850.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 13940
Raw data (stat): 13940 (bsolo_lpr) R 13939 7876 7672 0 -1 0 32280 0 0 0 84894 117 0 0 25 0 1 0 731542228 117268480 26368 4294967295 134512640 134714508 3221221792 3221217596 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28630 26368 1111 63 0 28567 0
vsize: 114520
[startup+860.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 13940
Raw data (stat): 13940 (bsolo_lpr) R 13939 7876 7672 0 -1 0 32280 0 0 0 85894 117 0 0 25 0 1 0 731542228 117268480 26368 4294967295 134512640 134714508 3221221792 3221217724 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28630 26368 1111 63 0 28567 0
vsize: 114520
[startup+870.041 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 13940
Raw data (stat): 13940 (bsolo_lpr) R 13939 7876 7672 0 -1 0 32305 0 0 0 86894 117 0 0 25 0 1 0 731542228 117268480 26391 4294967295 134512640 134714508 3221221792 3221217856 1074969458 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28630 26391 1111 63 0 28567 0
vsize: 114520
[startup+880.042 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 13940
Raw data (stat): 13940 (bsolo_lpr) R 13939 7876 7672 0 -1 0 32319 0 0 0 87894 117 0 0 25 0 1 0 731542228 117268480 26403 4294967295 134512640 134714508 3221221792 3221217984 1074961146 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28630 26403 1111 63 0 28567 0
vsize: 114520
[startup+890.043 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 13940
Raw data (stat): 13940 (bsolo_lpr) R 13939 7876 7672 0 -1 0 32321 0 0 0 88894 117 0 0 25 0 1 0 731542228 117268480 26405 4294967295 134512640 134714508 3221221792 3221217856 1074969461 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28630 26405 1111 63 0 28567 0
vsize: 114520
[startup+900.044 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 13940
Raw data (stat): 13940 (bsolo_lpr) R 13939 7876 7672 0 -1 0 32333 0 0 0 89895 117 0 0 25 0 1 0 731542228 117268480 26415 4294967295 134512640 134714508 3221221792 3221217856 1074969458 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28630 26415 1111 63 0 28567 0
vsize: 114520
[startup+910.044 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 13940
Raw data (stat): 13940 (bsolo_lpr) R 13939 7876 7672 0 -1 0 32354 0 0 0 90895 117 0 0 25 0 1 0 731542228 117579776 26436 4294967295 134512640 134714508 3221221792 3221218368 1075967695 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28706 26436 1111 63 0 28643 0
vsize: 114824
[startup+920.045 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 13940
Raw data (stat): 13940 (bsolo_lpr) R 13939 7876 7672 0 -1 0 32361 0 0 0 91895 117 0 0 25 0 1 0 731542228 117268480 26441 4294967295 134512640 134714508 3221221792 3221217596 1074788953 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28630 26441 1111 63 0 28567 0
vsize: 114520
[startup+930.045 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 13940
Raw data (stat): 13940 (bsolo_lpr) R 13939 7876 7672 0 -1 0 32378 0 0 0 92895 117 0 0 25 0 1 0 731542228 117268480 26456 4294967295 134512640 134714508 3221221792 3221217920 1074815208 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28630 26456 1111 63 0 28567 0
vsize: 114520
[startup+940.046 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 13940
Raw data (stat): 13940 (bsolo_lpr) R 13939 7876 7672 0 -1 0 32382 0 0 0 93895 117 0 0 25 0 1 0 731542228 117268480 26458 4294967295 134512640 134714508 3221221792 3221217596 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28630 26458 1111 63 0 28567 0
vsize: 114520
[startup+950.047 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 13940
Raw data (stat): 13940 (bsolo_lpr) R 13939 7876 7672 0 -1 0 32382 0 0 0 94896 117 0 0 25 0 1 0 731542228 117268480 26458 4294967295 134512640 134714508 3221221792 3221217920 1074815309 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28630 26458 1111 63 0 28567 0
vsize: 114520
[startup+960.047 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 13940
Raw data (stat): 13940 (bsolo_lpr) R 13939 7876 7672 0 -1 0 32386 0 0 0 95896 117 0 0 25 0 1 0 731542228 117268480 26460 4294967295 134512640 134714508 3221221792 3221217940 1075115046 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28630 26460 1111 63 0 28567 0
vsize: 114520
[startup+970.048 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 13940
Raw data (stat): 13940 (bsolo_lpr) R 13939 7876 7672 0 -1 0 32403 0 0 0 96896 117 0 0 25 0 1 0 731542228 117268480 26475 4294967295 134512640 134714508 3221221792 3221217724 1074788953 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28630 26475 1111 63 0 28567 0
vsize: 114520
[startup+980.047 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 13940
Raw data (stat): 13940 (bsolo_lpr) R 13939 7876 7672 0 -1 0 32404 0 0 0 97896 117 0 0 25 0 1 0 731542228 117268480 26476 4294967295 134512640 134714508 3221221792 3221217596 1074788950 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28630 26476 1111 63 0 28567 0
vsize: 114520
[startup+990.048 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 13940
Raw data (stat): 13940 (bsolo_lpr) R 13939 7876 7672 0 -1 0 32424 0 0 0 98896 117 0 0 25 0 1 0 731542228 117268480 26494 4294967295 134512640 134714508 3221221792 3221217872 1075095052 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28630 26494 1111 63 0 28567 0
vsize: 114520
[startup+1000.05 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 13940
Raw data (stat): 13940 (bsolo_lpr) R 13939 7876 7672 0 -1 0 32427 0 0 0 99896 118 0 0 25 0 1 0 731542228 117268480 26495 4294967295 134512640 134714508 3221221792 3221217856 1074969455 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28630 26495 1111 63 0 28567 0
vsize: 114520
[startup+1010.05 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 13940
Raw data (stat): 13940 (bsolo_lpr) R 13939 7876 7672 0 -1 0 32431 0 0 0 100897 118 0 0 25 0 1 0 731542228 117268480 26497 4294967295 134512640 134714508 3221221792 3221217812 1075964227 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28630 26497 1111 63 0 28567 0
vsize: 114520
[startup+1020.05 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 13940
Raw data (stat): 13940 (bsolo_lpr) R 13939 7876 7672 0 -1 0 32488 0 0 0 101897 118 0 0 25 0 1 0 731542228 117858304 26552 4294967295 134512640 134714508 3221221792 3221217776 1075084533 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28774 26552 1111 63 0 28711 0
vsize: 115096
[startup+1030.05 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 13940
Raw data (stat): 13940 (bsolo_lpr) R 13939 7876 7672 0 -1 0 32521 0 0 0 102897 118 0 0 25 0 1 0 731542228 117858304 26583 4294967295 134512640 134714508 3221221792 3221217940 1075115046 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28774 26583 1111 63 0 28711 0
vsize: 115096
[startup+1040.05 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 13940
Raw data (stat): 13940 (bsolo_lpr) R 13939 7876 7672 0 -1 0 32523 0 0 0 103897 118 0 0 25 0 1 0 731542228 117858304 26583 4294967295 134512640 134714508 3221221792 3221217984 1074961304 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28774 26583 1111 63 0 28711 0
vsize: 115096
[startup+1050.05 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 13940
Raw data (stat): 13940 (bsolo_lpr) R 13939 7876 7672 0 -1 0 32530 0 0 0 104897 118 0 0 25 0 1 0 731542228 117858304 26588 4294967295 134512640 134714508 3221221792 3221217856 1074969461 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28774 26588 1111 63 0 28711 0
vsize: 115096
[startup+1060.05 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 13940
Raw data (stat): 13940 (bsolo_lpr) R 13939 7876 7672 0 -1 0 32542 0 0 0 105897 118 0 0 25 0 1 0 731542228 117858304 26600 4294967295 134512640 134714508 3221221792 3221217856 1074969463 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28774 26600 1111 63 0 28711 0
vsize: 115096
[startup+1070.05 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 13940
Raw data (stat): 13940 (bsolo_lpr) R 13939 7876 7672 0 -1 0 32673 0 0 0 106897 118 0 0 25 0 1 0 731542228 118480896 26729 4294967295 134512640 134714508 3221221792 3221217596 1074788953 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28926 26729 1111 63 0 28863 0
vsize: 115704
[startup+1080.05 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 13940
Raw data (stat): 13940 (bsolo_lpr) R 13939 7876 7672 0 -1 0 32707 0 0 0 107897 119 0 0 25 0 1 0 731542228 118480896 26761 4294967295 134512640 134714508 3221221792 3221217856 1074969471 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28926 26761 1111 63 0 28863 0
vsize: 115704
[startup+1090.05 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 13940
Raw data (stat): 13940 (bsolo_lpr) R 13939 7876 7672 0 -1 0 32711 0 0 0 108897 119 0 0 25 0 1 0 731542228 118480896 26763 4294967295 134512640 134714508 3221221792 3221217920 1074815253 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28926 26763 1111 63 0 28863 0
vsize: 115704
[startup+1100.06 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 13940
Raw data (stat): 13940 (bsolo_lpr) R 13939 7876 7672 0 -1 0 32716 0 0 0 109898 119 0 0 25 0 1 0 731542228 118480896 26766 4294967295 134512640 134714508 3221221792 3221217856 1074969465 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28926 26766 1111 63 0 28863 0
vsize: 115704
[startup+1110.06 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 13940
Raw data (stat): 13940 (bsolo_lpr) R 13939 7876 7672 0 -1 0 32720 0 0 0 110898 119 0 0 25 0 1 0 731542228 118480896 26770 4294967295 134512640 134714508 3221221792 3221217724 1074788953 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28926 26770 1111 63 0 28863 0
vsize: 115704
[startup+1120.06 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 13940
Raw data (stat): 13940 (bsolo_lpr) R 13939 7876 7672 0 -1 0 32729 0 0 0 111898 119 0 0 25 0 1 0 731542228 118480896 26777 4294967295 134512640 134714508 3221221792 3221217856 1074969458 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28926 26777 1111 63 0 28863 0
vsize: 115704
[startup+1130.06 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 13940
Raw data (stat): 13940 (bsolo_lpr) R 13939 7876 7672 0 -1 0 32737 0 0 0 112898 119 0 0 25 0 1 0 731542228 118480896 26783 4294967295 134512640 134714508 3221221792 3221217724 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28926 26783 1111 63 0 28863 0
vsize: 115704
[startup+1140.06 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 13940
Raw data (stat): 13940 (bsolo_lpr) R 13939 7876 7672 0 -1 0 32742 0 0 0 113898 119 0 0 25 0 1 0 731542228 118480896 26786 4294967295 134512640 134714508 3221221792 3221217724 1074788953 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28926 26786 1111 63 0 28863 0
vsize: 115704
[startup+1150.06 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 13940
Raw data (stat): 13940 (bsolo_lpr) R 13939 7876 7672 0 -1 0 32756 0 0 0 114898 119 0 0 25 0 1 0 731542228 118480896 26798 4294967295 134512640 134714508 3221221792 3221217940 1075115039 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28926 26798 1111 63 0 28863 0
vsize: 115704
[startup+1160.06 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 13940
Raw data (stat): 13940 (bsolo_lpr) R 13939 7876 7672 0 -1 0 32767 0 0 0 115898 119 0 0 25 0 1 0 731542228 118480896 26809 4294967295 134512640 134714508 3221221792 3221217856 1074969458 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28926 26809 1111 63 0 28863 0
vsize: 115704
[startup+1170.06 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 13940
Raw data (stat): 13940 (bsolo_lpr) R 13939 7876 7672 0 -1 0 32775 0 0 0 116899 119 0 0 25 0 1 0 731542228 118792192 26815 4294967295 134512640 134714508 3221221792 3221218784 1074867320 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29002 26815 1111 63 0 28939 0
vsize: 116008
[startup+1180.06 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 13940
Raw data (stat): 13940 (bsolo_lpr) R 13939 7876 7672 0 -1 0 32777 0 0 0 117899 119 0 0 25 0 1 0 731542228 118480896 26813 4294967295 134512640 134714508 3221221792 3221217940 1075115039 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28926 26813 1111 63 0 28863 0
vsize: 115704
[startup+1190.06 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 13940
Raw data (stat): 13940 (bsolo_lpr) R 13939 7876 7672 0 -1 0 32779 0 0 0 118899 119 0 0 25 0 1 0 731542228 118480896 26813 4294967295 134512640 134714508 3221221792 3221217704 1075964737 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28926 26813 1111 63 0 28863 0
vsize: 115704
[startup+1200.06 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 13940
Raw data (stat): 13940 (bsolo_lpr) R 13939 7876 7672 0 -1 0 32779 0 0 0 119899 119 0 0 25 0 1 0 731542228 118480896 26813 4294967295 134512640 134714508 3221221792 3221217984 1074961138 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28926 26813 1111 63 0 28863 0
vsize: 115704
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.11 s]
Raw data (loadavg): 0.99 0.97 0.96 1/55 13940
Raw data (stat): 13940 (bsolo_lpr) Z 13939 7876 7672 0 -1 1036 32779 0 0 0 119899 124 0 0 25 0 1 0 731542228 0 0 4294967295 0 0 0 0 0 0 0 1 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.11
CPU time (s): 1200.25
CPU user time (s): 1199
CPU system time (s): 1.24681
CPU usage (%): 100.011
Max. virtual memory (Kb): 119468
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####