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/frb40-19-opb/normalized-frb40-19-5.opb
MD5SUM	38d41fdbe49543e8928c5210e4323f00
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-31
Optimality of the best value was proved	NO
Number of terms in the objective function	760
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	760
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	760
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.08
Number of variables	760
Total number of constraints	41619
Number of constraints which are clauses	41619
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 24777

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-12 21:21:04 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2944 boxname=wulflinc31 idbench=328 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  38d41fdbe49543e8928c5210e4323f00  /oldhome/oroussel/tmp/wulflinc31/normalized-frb40-19-5.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-frb40-19-5.opb
IDLAUNCH: 2944
/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:        881664 kB
Buffers:         35388 kB
Cached:          95956 kB
SwapCached:       1936 kB
Active:          98888 kB
Inactive:        35656 kB
HighTotal:      131008 kB
HighFree:        34160 kB
LowTotal:       903652 kB
LowFree:        847504 kB
SwapTotal:     2097892 kB
SwapFree:      2095224 kB
Dirty:             924 kB
Writeback:           0 kB
Mapped:           5360 kB
Slab:            12932 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-12 21:41:06 (client local time) WITH STATUS 0 IN 1200.22 SECONDS
stats: 2944 7 1200.22 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 760 variables and 41619 constraints.
c After prepocess the problem consists of 760 variables and 29747 constraints.
c preprocess terminated 272.212 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.97 1/55 12221
Raw data (stat): 12221 (runsolver) R 12220 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 729724057 1056768 100 4294967295 134512640 135381576 3221221680 3221216900 135158418 0 0 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0017 s]
Raw data (loadavg): 0.93 0.97 0.97 2/55 12221
Raw data (stat): 12221 (bsolo_lpr) R 12220 7876 7672 0 -1 0 19389 0 0 0 945 51 0 0 25 0 1 0 729724057 81186816 18986 4294967295 134512640 134714508 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19821 18986 1111 63 0 19758 0
vsize: 79284
[startup+20.0021 s]
Raw data (loadavg): 0.94 0.97 0.97 3/55 12221
Raw data (stat): 12221 (bsolo_lpr) R 12220 7876 7672 0 -1 0 21571 0 0 0 1941 55 0 0 25 0 1 0 729724057 88317952 20702 4294967295 134512640 134714508 3221221792 3221220308 1077377141 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21562 20702 1111 63 0 21499 0
vsize: 86248
[startup+30.0021 s]
Raw data (loadavg): 0.95 0.97 0.97 2/55 12221
Raw data (stat): 12221 (bsolo_lpr) R 12220 7876 7672 0 -1 0 21571 0 0 0 2940 56 0 0 25 0 1 0 729724057 88317952 20702 4294967295 134512640 134714508 3221221792 3221220320 134528668 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21562 20702 1111 63 0 21499 0
vsize: 86248
[startup+40.0024 s]
Raw data (loadavg): 0.95 0.97 0.97 2/55 12221
Raw data (stat): 12221 (bsolo_lpr) R 12220 7876 7672 0 -1 0 21571 0 0 0 3940 56 0 0 25 0 1 0 729724057 88317952 20702 4294967295 134512640 134714508 3221221792 3221220408 134543796 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21562 20702 1111 63 0 21499 0
vsize: 86248
[startup+50.0031 s]
Raw data (loadavg): 0.96 0.97 0.97 2/55 12221
Raw data (stat): 12221 (bsolo_lpr) R 12220 7876 7672 0 -1 0 21571 0 0 0 4940 56 0 0 25 0 1 0 729724057 88317952 20702 4294967295 134512640 134714508 3221221792 3221220272 134542352 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21562 20702 1111 63 0 21499 0
vsize: 86248
[startup+60.0041 s]
Raw data (loadavg): 0.97 0.97 0.97 2/55 12221
Raw data (stat): 12221 (bsolo_lpr) R 12220 7876 7672 0 -1 0 21571 0 0 0 5941 56 0 0 25 0 1 0 729724057 88317952 20702 4294967295 134512640 134714508 3221221792 3221220176 134542350 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21562 20702 1111 63 0 21499 0
vsize: 86248
[startup+70.0052 s]
Raw data (loadavg): 0.97 0.97 0.97 2/55 12221
Raw data (stat): 12221 (bsolo_lpr) R 12220 7876 7672 0 -1 0 21571 0 0 0 6941 56 0 0 25 0 1 0 729724057 88317952 20702 4294967295 134512640 134714508 3221221792 3221220320 134528671 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21562 20702 1111 63 0 21499 0
vsize: 86248
[startup+80.0057 s]
Raw data (loadavg): 0.98 0.97 0.97 2/55 12221
Raw data (stat): 12221 (bsolo_lpr) R 12220 7876 7672 0 -1 0 21571 0 0 0 7941 56 0 0 25 0 1 0 729724057 88317952 20702 4294967295 134512640 134714508 3221221792 3221220368 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21562 20702 1111 63 0 21499 0
vsize: 86248
[startup+90.0057 s]
Raw data (loadavg): 0.98 0.97 0.97 2/55 12221
Raw data (stat): 12221 (bsolo_lpr) R 12220 7876 7672 0 -1 0 21571 0 0 0 8941 56 0 0 25 0 1 0 729724057 88317952 20702 4294967295 134512640 134714508 3221221792 3221220156 134539237 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21562 20702 1111 63 0 21499 0
vsize: 86248
[startup+100.006 s]
Raw data (loadavg): 0.98 0.97 0.97 2/55 12221
Raw data (stat): 12221 (bsolo_lpr) R 12220 7876 7672 0 -1 0 21571 0 0 0 9941 56 0 0 25 0 1 0 729724057 88317952 20702 4294967295 134512640 134714508 3221221792 3221220320 134542898 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21562 20702 1111 63 0 21499 0
vsize: 86248
[startup+110.007 s]
Raw data (loadavg): 0.98 0.97 0.97 2/55 12221
Raw data (stat): 12221 (bsolo_lpr) R 12220 7876 7672 0 -1 0 21571 0 0 0 10941 56 0 0 25 0 1 0 729724057 88317952 20702 4294967295 134512640 134714508 3221221792 3221220272 134539427 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21562 20702 1111 63 0 21499 0
vsize: 86248
[startup+120.008 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12221
Raw data (stat): 12221 (bsolo_lpr) R 12220 7876 7672 0 -1 0 21571 0 0 0 11942 56 0 0 25 0 1 0 729724057 88317952 20702 4294967295 134512640 134714508 3221221792 3221220420 134594953 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21562 20702 1111 63 0 21499 0
vsize: 86248
[startup+130.008 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12221
Raw data (stat): 12221 (bsolo_lpr) R 12220 7876 7672 0 -1 0 21571 0 0 0 12942 56 0 0 25 0 1 0 729724057 88317952 20702 4294967295 134512640 134714508 3221221792 3221220272 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21562 20702 1111 63 0 21499 0
vsize: 86248
[startup+140.008 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12221
Raw data (stat): 12221 (bsolo_lpr) R 12220 7876 7672 0 -1 0 21571 0 0 0 13942 56 0 0 25 0 1 0 729724057 88317952 20702 4294967295 134512640 134714508 3221221792 3221220176 134542352 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21562 20702 1111 63 0 21499 0
vsize: 86248
[startup+150.008 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12221
Raw data (stat): 12221 (bsolo_lpr) R 12220 7876 7672 0 -1 0 21571 0 0 0 14942 56 0 0 25 0 1 0 729724057 88317952 20702 4294967295 134512640 134714508 3221221792 3221220176 134542303 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21562 20702 1111 63 0 21499 0
vsize: 86248
[startup+160.01 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12221
Raw data (stat): 12221 (bsolo_lpr) R 12220 7876 7672 0 -1 0 21571 0 0 0 15942 56 0 0 25 0 1 0 729724057 88317952 20702 4294967295 134512640 134714508 3221221792 3221220256 134542368 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21562 20702 1111 63 0 21499 0
vsize: 86248
[startup+170.01 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12221
Raw data (stat): 12221 (bsolo_lpr) R 12220 7876 7672 0 -1 0 21571 0 0 0 16942 56 0 0 25 0 1 0 729724057 88317952 20702 4294967295 134512640 134714508 3221221792 3221220204 134543615 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21562 20702 1111 63 0 21499 0
vsize: 86248
[startup+180.009 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12221
Raw data (stat): 12221 (bsolo_lpr) R 12220 7876 7672 0 -1 0 21571 0 0 0 17943 56 0 0 25 0 1 0 729724057 88317952 20702 4294967295 134512640 134714508 3221221792 3221220304 134543686 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21562 20702 1111 63 0 21499 0
vsize: 86248
[startup+190.01 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12221
Raw data (stat): 12221 (bsolo_lpr) R 12220 7876 7672 0 -1 0 21571 0 0 0 18943 56 0 0 25 0 1 0 729724057 88317952 20702 4294967295 134512640 134714508 3221221792 3221220176 134542352 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21562 20702 1111 63 0 21499 0
vsize: 86248
[startup+200.01 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12221
Raw data (stat): 12221 (bsolo_lpr) R 12220 7876 7672 0 -1 0 21571 0 0 0 19943 56 0 0 25 0 1 0 729724057 88317952 20702 4294967295 134512640 134714508 3221221792 3221220464 134627187 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21562 20702 1111 63 0 21499 0
vsize: 86248
[startup+210.011 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12221
Raw data (stat): 12221 (bsolo_lpr) R 12220 7876 7672 0 -1 0 21571 0 0 0 20943 57 0 0 25 0 1 0 729724057 88317952 20702 4294967295 134512640 134714508 3221221792 3221220464 134627241 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21562 20702 1111 63 0 21499 0
vsize: 86248
[startup+220.012 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12221
Raw data (stat): 12221 (bsolo_lpr) R 12220 7876 7672 0 -1 0 21571 0 0 0 21943 57 0 0 25 0 1 0 729724057 88317952 20702 4294967295 134512640 134714508 3221221792 3221220444 134558476 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21562 20702 1111 63 0 21499 0
vsize: 86248
[startup+230.012 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12221
Raw data (stat): 12221 (bsolo_lpr) R 12220 7876 7672 0 -1 0 21571 0 0 0 22943 57 0 0 25 0 1 0 729724057 88317952 20702 4294967295 134512640 134714508 3221221792 3221220456 134627195 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21562 20702 1111 63 0 21499 0
vsize: 86248
[startup+240.013 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12221
Raw data (stat): 12221 (bsolo_lpr) R 12220 7876 7672 0 -1 0 21571 0 0 0 23943 57 0 0 25 0 1 0 729724057 88317952 20702 4294967295 134512640 134714508 3221221792 3221220464 134627250 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21562 20702 1111 63 0 21499 0
vsize: 86248
[startup+250.013 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12221
Raw data (stat): 12221 (bsolo_lpr) R 12220 7876 7672 0 -1 0 21571 0 0 0 24944 57 0 0 25 0 1 0 729724057 88317952 20702 4294967295 134512640 134714508 3221221792 3221220452 134627197 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21562 20702 1111 63 0 21499 0
vsize: 86248
[startup+260.014 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12221
Raw data (stat): 12221 (bsolo_lpr) R 12220 7876 7672 0 -1 0 21572 0 0 0 25944 57 0 0 25 0 1 0 729724057 88317952 20703 4294967295 134512640 134714508 3221221792 3221220672 134622252 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21562 20703 1111 63 0 21499 0
vsize: 86248
[startup+270.014 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12221
Raw data (stat): 12221 (bsolo_lpr) R 12220 7876 7672 0 -1 0 21572 0 0 0 26944 57 0 0 25 0 1 0 729724057 88317952 20703 4294967295 134512640 134714508 3221221792 3221220592 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21562 20703 1111 63 0 21499 0
vsize: 86248
[startup+280.014 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12221
Raw data (stat): 12221 (bsolo_lpr) R 12220 7876 7672 0 -1 0 21594 0 0 0 27943 57 0 0 25 0 1 0 729724057 88317952 20725 4294967295 134512640 134714508 3221221792 3221220096 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21562 20725 1111 63 0 21499 0
vsize: 86248
[startup+290.015 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12221
Raw data (stat): 12221 (bsolo_lpr) R 12220 7876 7672 0 -1 0 21594 0 0 0 28944 57 0 0 25 0 1 0 729724057 88317952 20725 4294967295 134512640 134714508 3221221792 3221220096 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21562 20725 1111 63 0 21499 0
vsize: 86248
[startup+300.014 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12221
Raw data (stat): 12221 (bsolo_lpr) R 12220 7876 7672 0 -1 0 21594 0 0 0 29944 57 0 0 25 0 1 0 729724057 88317952 20725 4294967295 134512640 134714508 3221221792 3221220096 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21562 20725 1111 63 0 21499 0
vsize: 86248
[startup+310.016 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12221
Raw data (stat): 12221 (bsolo_lpr) R 12220 7876 7672 0 -1 0 21594 0 0 0 30944 57 0 0 25 0 1 0 729724057 88317952 20725 4294967295 134512640 134714508 3221221792 3221220096 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21562 20725 1111 63 0 21499 0
vsize: 86248
[startup+320.016 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12221
Raw data (stat): 12221 (bsolo_lpr) R 12220 7876 7672 0 -1 0 21594 0 0 0 31944 57 0 0 25 0 1 0 729724057 88317952 20725 4294967295 134512640 134714508 3221221792 3221220096 1074153786 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21562 20725 1111 63 0 21499 0
vsize: 86248
[startup+330.016 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12221
Raw data (stat): 12221 (bsolo_lpr) R 12220 7876 7672 0 -1 0 21594 0 0 0 32944 57 0 0 25 0 1 0 729724057 88317952 20725 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21562 20725 1111 63 0 21499 0
vsize: 86248
[startup+340.016 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12221
Raw data (stat): 12221 (bsolo_lpr) R 12220 7876 7672 0 -1 0 21594 0 0 0 33945 57 0 0 25 0 1 0 729724057 88317952 20725 4294967295 134512640 134714508 3221221792 3221220064 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21562 20725 1111 63 0 21499 0
vsize: 86248
[startup+350.016 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12221
Raw data (stat): 12221 (bsolo_lpr) R 12220 7876 7672 0 -1 0 21594 0 0 0 34945 57 0 0 25 0 1 0 729724057 88317952 20725 4294967295 134512640 134714508 3221221792 3221220064 1074153786 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21562 20725 1111 63 0 21499 0
vsize: 86248
[startup+360.017 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12221
Raw data (stat): 12221 (bsolo_lpr) R 12220 7876 7672 0 -1 0 21594 0 0 0 35945 57 0 0 25 0 1 0 729724057 88317952 20725 4294967295 134512640 134714508 3221221792 3221220064 1074153760 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21562 20725 1111 63 0 21499 0
vsize: 86248
[startup+370.017 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12221
Raw data (stat): 12221 (bsolo_lpr) R 12220 7876 7672 0 -1 0 21594 0 0 0 36945 57 0 0 25 0 1 0 729724057 88317952 20725 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21562 20725 1111 63 0 21499 0
vsize: 86248
[startup+380.017 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12221
Raw data (stat): 12221 (bsolo_lpr) R 12220 7876 7672 0 -1 0 21594 0 0 0 37945 57 0 0 25 0 1 0 729724057 88317952 20725 4294967295 134512640 134714508 3221221792 3221220048 1074153773 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21562 20725 1111 63 0 21499 0
vsize: 86248
[startup+390.017 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12221
Raw data (stat): 12221 (bsolo_lpr) R 12220 7876 7672 0 -1 0 21594 0 0 0 38945 57 0 0 25 0 1 0 729724057 88317952 20725 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21562 20725 1111 63 0 21499 0
vsize: 86248
[startup+400.017 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12221
Raw data (stat): 12221 (bsolo_lpr) R 12220 7876 7672 0 -1 0 21594 0 0 0 39946 57 0 0 25 0 1 0 729724057 88317952 20725 4294967295 134512640 134714508 3221221792 3221220064 1074153786 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21562 20725 1111 63 0 21499 0
vsize: 86248
[startup+410.018 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12221
Raw data (stat): 12221 (bsolo_lpr) R 12220 7876 7672 0 -1 0 21594 0 0 0 40946 57 0 0 25 0 1 0 729724057 88317952 20725 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21562 20725 1111 63 0 21499 0
vsize: 86248
[startup+420.019 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12221
Raw data (stat): 12221 (bsolo_lpr) R 12220 7876 7672 0 -1 0 21594 0 0 0 41946 57 0 0 25 0 1 0 729724057 88317952 20725 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21562 20725 1111 63 0 21499 0
vsize: 86248
[startup+430.019 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12221
Raw data (stat): 12221 (bsolo_lpr) R 12220 7876 7672 0 -1 0 21594 0 0 0 42946 57 0 0 25 0 1 0 729724057 88317952 20725 4294967295 134512640 134714508 3221221792 3221220000 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21562 20725 1111 63 0 21499 0
vsize: 86248
[startup+440.019 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12221
Raw data (stat): 12221 (bsolo_lpr) R 12220 7876 7672 0 -1 0 21594 0 0 0 43946 57 0 0 25 0 1 0 729724057 88317952 20725 4294967295 134512640 134714508 3221221792 3221220016 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21562 20725 1111 63 0 21499 0
vsize: 86248
[startup+450.018 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12221
Raw data (stat): 12221 (bsolo_lpr) R 12220 7876 7672 0 -1 0 21594 0 0 0 44947 57 0 0 25 0 1 0 729724057 88317952 20725 4294967295 134512640 134714508 3221221792 3221220048 1074153779 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21562 20725 1111 63 0 21499 0
vsize: 86248
[startup+460.019 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12221
Raw data (stat): 12221 (bsolo_lpr) R 12220 7876 7672 0 -1 0 26118 0 0 0 45937 67 0 0 25 0 1 0 729724057 108097536 23498 4294967295 134512640 134714508 3221221792 3221217856 1074969458 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26391 23498 1111 63 0 26328 0
vsize: 105564
[startup+470.021 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12221
Raw data (stat): 12221 (bsolo_lpr) R 12220 7876 7672 0 -1 0 26205 0 0 0 46937 67 0 0 25 0 1 0 729724057 108097536 23585 4294967295 134512640 134714508 3221221792 3221217660 1074788944 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26391 23585 1111 63 0 26328 0
vsize: 105564
[startup+480.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12221
Raw data (stat): 12221 (bsolo_lpr) R 12220 7876 7672 0 -1 0 27111 0 0 0 47936 69 0 0 25 0 1 0 729724057 108097536 24489 4294967295 134512640 134714508 3221221792 3221217872 1075095329 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26391 24489 1111 63 0 26328 0
vsize: 105564
[startup+490.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12221
Raw data (stat): 12221 (bsolo_lpr) R 12220 7876 7672 0 -1 0 27392 0 0 0 48934 70 0 0 25 0 1 0 729724057 105902080 23924 4294967295 134512640 134714508 3221221792 3221217672 1075964740 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25855 23924 1111 63 0 25792 0
vsize: 103420
[startup+500.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12221
Raw data (stat): 12221 (bsolo_lpr) R 12220 7876 7672 0 -1 0 27404 0 0 0 49935 70 0 0 25 0 1 0 729724057 105902080 23934 4294967295 134512640 134714508 3221221792 3221217856 1074969461 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25855 23934 1111 63 0 25792 0
vsize: 103420
[startup+510.021 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12221
Raw data (stat): 12221 (bsolo_lpr) R 12220 7876 7672 0 -1 0 27445 0 0 0 50935 70 0 0 25 0 1 0 729724057 105902080 23973 4294967295 134512640 134714508 3221221792 3221217856 1074969680 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25855 23973 1111 63 0 25792 0
vsize: 103420
[startup+520.021 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12221
Raw data (stat): 12221 (bsolo_lpr) R 12220 7876 7672 0 -1 0 27462 0 0 0 51935 70 0 0 25 0 1 0 729724057 105902080 23988 4294967295 134512640 134714508 3221221792 3221217672 1075964733 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25855 23988 1111 63 0 25792 0
vsize: 103420
[startup+530.021 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12221
Raw data (stat): 12221 (bsolo_lpr) R 12220 7876 7672 0 -1 0 27471 0 0 0 52935 70 0 0 25 0 1 0 729724057 105902080 23995 4294967295 134512640 134714508 3221221792 3221217856 1074969461 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25855 23995 1111 63 0 25792 0
vsize: 103420
[startup+540.022 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12221
Raw data (stat): 12221 (bsolo_lpr) R 12220 7876 7672 0 -1 0 27533 0 0 0 53935 71 0 0 25 0 1 0 729724057 106340352 24055 4294967295 134512640 134714508 3221221792 3221217856 1074969455 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25962 24055 1111 63 0 25899 0
vsize: 103848
[startup+550.022 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12221
Raw data (stat): 12221 (bsolo_lpr) R 12220 7876 7672 0 -1 0 27557 0 0 0 54935 71 0 0 25 0 1 0 729724057 106340352 24077 4294967295 134512640 134714508 3221221792 3221217856 1074969461 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25962 24077 1111 63 0 25899 0
vsize: 103848
[startup+560.023 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12221
Raw data (stat): 12221 (bsolo_lpr) R 12220 7876 7672 0 -1 0 27570 0 0 0 55935 71 0 0 25 0 1 0 729724057 106340352 24088 4294967295 134512640 134714508 3221221792 3221217940 1075115039 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25962 24088 1111 63 0 25899 0
vsize: 103848
[startup+570.024 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12221
Raw data (stat): 12221 (bsolo_lpr) R 12220 7876 7672 0 -1 0 27584 0 0 0 56935 71 0 0 25 0 1 0 729724057 106340352 24102 4294967295 134512640 134714508 3221221792 3221217920 1074815276 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25962 24102 1111 63 0 25899 0
vsize: 103848
[startup+580.024 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12221
Raw data (stat): 12221 (bsolo_lpr) R 12220 7876 7672 0 -1 0 27667 0 0 0 57935 71 0 0 25 0 1 0 729724057 106799104 24181 4294967295 134512640 134714508 3221221792 3221217856 1074969471 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26074 24181 1111 63 0 26011 0
vsize: 104296
[startup+590.024 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12221
Raw data (stat): 12221 (bsolo_lpr) R 12220 7876 7672 0 -1 0 27671 0 0 0 58935 71 0 0 25 0 1 0 729724057 106799104 24183 4294967295 134512640 134714508 3221221792 3221217856 1074969458 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26074 24183 1111 63 0 26011 0
vsize: 104296
[startup+600.023 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12221
Raw data (stat): 12221 (bsolo_lpr) R 12220 7876 7672 0 -1 0 27693 0 0 0 59935 71 0 0 25 0 1 0 729724057 107520000 24205 4294967295 134512640 134714508 3221221792 3221218784 1074867308 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26250 24205 1111 63 0 26187 0
vsize: 105000
[startup+610.024 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12221
Raw data (stat): 12221 (bsolo_lpr) R 12220 7876 7672 0 -1 0 27737 0 0 0 60935 71 0 0 25 0 1 0 729724057 107278336 24245 4294967295 134512640 134714508 3221221792 3221217856 1074969458 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26191 24245 1111 63 0 26128 0
vsize: 104764
[startup+620.024 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12221
Raw data (stat): 12221 (bsolo_lpr) R 12220 7876 7672 0 -1 0 27746 0 0 0 61935 72 0 0 25 0 1 0 729724057 107278336 24252 4294967295 134512640 134714508 3221221792 3221218048 1075114265 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26191 24252 1111 63 0 26128 0
vsize: 104764
[startup+630.024 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12221
Raw data (stat): 12221 (bsolo_lpr) R 12220 7876 7672 0 -1 0 27765 0 0 0 62935 72 0 0 25 0 1 0 729724057 107278336 24271 4294967295 134512640 134714508 3221221792 3221217856 1074969458 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26191 24271 1111 63 0 26128 0
vsize: 104764
[startup+640.025 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12221
Raw data (stat): 12221 (bsolo_lpr) R 12220 7876 7672 0 -1 0 27860 0 0 0 63935 72 0 0 25 0 1 0 729724057 107786240 24362 4294967295 134512640 134714508 3221221792 3221217596 1074788953 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26315 24362 1111 63 0 26252 0
vsize: 105260
[startup+650.025 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12221
Raw data (stat): 12221 (bsolo_lpr) R 12220 7876 7672 0 -1 0 27864 0 0 0 64935 72 0 0 25 0 1 0 729724057 107786240 24364 4294967295 134512640 134714508 3221221792 3221217856 1074969440 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26315 24364 1111 63 0 26252 0
vsize: 105260
[startup+660.026 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12221
Raw data (stat): 12221 (bsolo_lpr) R 12220 7876 7672 0 -1 0 27938 0 0 0 65935 72 0 0 25 0 1 0 729724057 108322816 24436 4294967295 134512640 134714508 3221221792 3221217920 1074815176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26446 24436 1111 63 0 26383 0
vsize: 105784
[startup+670.026 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12221
Raw data (stat): 12221 (bsolo_lpr) R 12220 7876 7672 0 -1 0 27962 0 0 0 66935 72 0 0 25 0 1 0 729724057 108322816 24456 4294967295 134512640 134714508 3221221792 3221217856 1074969461 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26446 24456 1111 63 0 26383 0
vsize: 105784
[startup+680.026 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12221
Raw data (stat): 12221 (bsolo_lpr) R 12220 7876 7672 0 -1 0 27971 0 0 0 67935 72 0 0 25 0 1 0 729724057 108322816 24465 4294967295 134512640 134714508 3221221792 3221217596 1074788953 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26446 24465 1111 63 0 26383 0
vsize: 105784
[startup+690.026 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12221
Raw data (stat): 12221 (bsolo_lpr) R 12220 7876 7672 0 -1 0 27987 0 0 0 68936 73 0 0 25 0 1 0 729724057 108322816 24477 4294967295 134512640 134714508 3221221792 3221217984 1074961264 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26446 24477 1111 63 0 26383 0
vsize: 105784
[startup+700.026 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12221
Raw data (stat): 12221 (bsolo_lpr) R 12220 7876 7672 0 -1 0 27990 0 0 0 69936 73 0 0 25 0 1 0 729724057 108322816 24478 4294967295 134512640 134714508 3221221792 3221217724 1074788959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26446 24478 1111 63 0 26383 0
vsize: 105784
[startup+710.027 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12221
Raw data (stat): 12221 (bsolo_lpr) R 12220 7876 7672 0 -1 0 28066 0 0 0 70936 73 0 0 25 0 1 0 729724057 108879872 24550 4294967295 134512640 134714508 3221221792 3221217724 1074788950 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26582 24550 1111 63 0 26519 0
vsize: 106328
[startup+720.028 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12221
Raw data (stat): 12221 (bsolo_lpr) R 12220 7876 7672 0 -1 0 28071 0 0 0 71936 73 0 0 25 0 1 0 729724057 108879872 24553 4294967295 134512640 134714508 3221221792 3221217856 1074969458 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26582 24553 1111 63 0 26519 0
vsize: 106328
[startup+730.028 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12221
Raw data (stat): 12221 (bsolo_lpr) R 12220 7876 7672 0 -1 0 28180 0 0 0 72936 73 0 0 25 0 1 0 729724057 109469696 24660 4294967295 134512640 134714508 3221221792 3221217776 1075084533 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26726 24660 1111 63 0 26663 0
vsize: 106904
[startup+740.029 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12221
Raw data (stat): 12221 (bsolo_lpr) R 12220 7876 7672 0 -1 0 28191 0 0 0 73936 73 0 0 25 0 1 0 729724057 109469696 24667 4294967295 134512640 134714508 3221221792 3221217724 1074788953 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26726 24667 1111 63 0 26663 0
vsize: 106904
[startup+750.028 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12221
Raw data (stat): 12221 (bsolo_lpr) R 12220 7876 7672 0 -1 0 28208 0 0 0 74937 73 0 0 25 0 1 0 729724057 109469696 24682 4294967295 134512640 134714508 3221221792 3221217984 1074961304 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26726 24682 1111 63 0 26663 0
vsize: 106904
[startup+760.029 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12221
Raw data (stat): 12221 (bsolo_lpr) R 12220 7876 7672 0 -1 0 28210 0 0 0 75937 73 0 0 25 0 1 0 729724057 109469696 24682 4294967295 134512640 134714508 3221221792 3221217940 1075115065 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26726 24682 1111 63 0 26663 0
vsize: 106904
[startup+770.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12221
Raw data (stat): 12221 (bsolo_lpr) R 12220 7876 7672 0 -1 0 28215 0 0 0 76937 73 0 0 25 0 1 0 729724057 109469696 24683 4294967295 134512640 134714508 3221221792 3221217724 1074788950 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26726 24683 1111 63 0 26663 0
vsize: 106904
[startup+780.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12221
Raw data (stat): 12221 (bsolo_lpr) R 12220 7876 7672 0 -1 0 28219 0 0 0 77937 73 0 0 25 0 1 0 729724057 109711360 24685 4294967295 134512640 134714508 3221221792 3221218784 1074867305 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26785 24685 1111 63 0 26722 0
vsize: 107140
[startup+790.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12221
Raw data (stat): 12221 (bsolo_lpr) R 12220 7876 7672 0 -1 0 28222 0 0 0 78937 73 0 0 25 0 1 0 729724057 109469696 24684 4294967295 134512640 134714508 3221221792 3221217940 1075115043 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26726 24684 1111 63 0 26663 0
vsize: 106904
[startup+800.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12221
Raw data (stat): 12221 (bsolo_lpr) R 12220 7876 7672 0 -1 0 28247 0 0 0 79937 73 0 0 25 0 1 0 729724057 109469696 24707 4294967295 134512640 134714508 3221221792 3221217672 1075964771 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26726 24707 1111 63 0 26663 0
vsize: 106904
[startup+810.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12221
Raw data (stat): 12221 (bsolo_lpr) R 12220 7876 7672 0 -1 0 28258 0 0 0 80937 73 0 0 25 0 1 0 729724057 109469696 24716 4294967295 134512640 134714508 3221221792 3221217724 1074788964 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26726 24716 1111 63 0 26663 0
vsize: 106904
[startup+820.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12221
Raw data (stat): 12221 (bsolo_lpr) R 12220 7876 7672 0 -1 0 28265 0 0 0 81937 73 0 0 25 0 1 0 729724057 109469696 24719 4294967295 134512640 134714508 3221221792 3221217596 1074788950 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26726 24719 1111 63 0 26663 0
vsize: 106904
[startup+830.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12221
Raw data (stat): 12221 (bsolo_lpr) R 12220 7876 7672 0 -1 0 28267 0 0 0 82937 73 0 0 25 0 1 0 729724057 109469696 24719 4294967295 134512640 134714508 3221221792 3221217644 1074788136 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26726 24719 1111 63 0 26663 0
vsize: 106904
[startup+840.031 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12221
Raw data (stat): 12221 (bsolo_lpr) R 12220 7876 7672 0 -1 0 28271 0 0 0 83938 73 0 0 25 0 1 0 729724057 109469696 24719 4294967295 134512640 134714508 3221221792 3221217820 1074788959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26726 24719 1111 63 0 26663 0
vsize: 106904
[startup+850.031 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12221
Raw data (stat): 12221 (bsolo_lpr) R 12220 7876 7672 0 -1 0 28274 0 0 0 84938 73 0 0 25 0 1 0 729724057 109469696 24720 4294967295 134512640 134714508 3221221792 3221217812 1075964218 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26726 24720 1111 63 0 26663 0
vsize: 106904
[startup+860.031 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12221
Raw data (stat): 12221 (bsolo_lpr) R 12220 7876 7672 0 -1 0 28278 0 0 0 85938 73 0 0 25 0 1 0 729724057 109469696 24720 4294967295 134512640 134714508 3221221792 3221217984 1074961132 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26726 24720 1111 63 0 26663 0
vsize: 106904
[startup+870.031 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12221
Raw data (stat): 12221 (bsolo_lpr) R 12220 7876 7672 0 -1 0 28281 0 0 0 86938 73 0 0 25 0 1 0 729724057 109469696 24721 4294967295 134512640 134714508 3221221792 3221217620 1074786547 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26726 24721 1111 63 0 26663 0
vsize: 106904
[startup+880.031 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12221
Raw data (stat): 12221 (bsolo_lpr) R 12220 7876 7672 0 -1 0 28284 0 0 0 87938 73 0 0 25 0 1 0 729724057 109469696 24722 4294967295 134512640 134714508 3221221792 3221217952 1075115715 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26726 24722 1111 63 0 26663 0
vsize: 106904
[startup+890.031 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12221
Raw data (stat): 12221 (bsolo_lpr) R 12220 7876 7672 0 -1 0 28286 0 0 0 88938 73 0 0 25 0 1 0 729724057 109469696 24722 4294967295 134512640 134714508 3221221792 3221217676 1074788143 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26726 24722 1111 63 0 26663 0
vsize: 106904
[startup+900.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12221
Raw data (stat): 12221 (bsolo_lpr) R 12220 7876 7672 0 -1 0 28292 0 0 0 89938 73 0 0 25 0 1 0 729724057 109469696 24724 4294967295 134512640 134714508 3221221792 3221217920 1074815253 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26726 24724 1111 63 0 26663 0
vsize: 106904
[startup+910.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12221
Raw data (stat): 12221 (bsolo_lpr) R 12220 7876 7672 0 -1 0 28294 0 0 0 90938 73 0 0 25 0 1 0 729724057 109469696 24724 4294967295 134512640 134714508 3221221792 3221217724 1074788930 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26726 24724 1111 63 0 26663 0
vsize: 106904
[startup+920.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12221
Raw data (stat): 12221 (bsolo_lpr) R 12220 7876 7672 0 -1 0 28296 0 0 0 91939 73 0 0 25 0 1 0 729724057 109469696 24724 4294967295 134512640 134714508 3221221792 3221217940 1075115039 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26726 24724 1111 63 0 26663 0
vsize: 106904
[startup+930.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12221
Raw data (stat): 12221 (bsolo_lpr) R 12220 7876 7672 0 -1 0 28300 0 0 0 92939 73 0 0 25 0 1 0 729724057 109469696 24724 4294967295 134512640 134714508 3221221792 3221217940 1075115039 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26726 24724 1111 63 0 26663 0
vsize: 106904
[startup+940.031 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12221
Raw data (stat): 12221 (bsolo_lpr) R 12220 7876 7672 0 -1 0 28302 0 0 0 93939 73 0 0 25 0 1 0 729724057 109469696 24724 4294967295 134512640 134714508 3221221792 3221217724 1074788950 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26726 24724 1111 63 0 26663 0
vsize: 106904
[startup+950.032 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12221
Raw data (stat): 12221 (bsolo_lpr) R 12220 7876 7672 0 -1 0 28304 0 0 0 94939 73 0 0 25 0 1 0 729724057 109469696 24724 4294967295 134512640 134714508 3221221792 3221217984 1074961304 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26726 24724 1111 63 0 26663 0
vsize: 106904
[startup+960.031 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12221
Raw data (stat): 12221 (bsolo_lpr) R 12220 7876 7672 0 -1 0 28306 0 0 0 95939 74 0 0 25 0 1 0 729724057 109469696 24724 4294967295 134512640 134714508 3221221792 3221217872 1075095124 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26726 24724 1111 63 0 26663 0
vsize: 106904
[startup+970.032 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12221
Raw data (stat): 12221 (bsolo_lpr) R 12220 7876 7672 0 -1 0 28310 0 0 0 96939 74 0 0 25 0 1 0 729724057 109469696 24724 4294967295 134512640 134714508 3221221792 3221217712 1075965234 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26726 24724 1111 63 0 26663 0
vsize: 106904
[startup+980.032 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12221
Raw data (stat): 12221 (bsolo_lpr) R 12220 7876 7672 0 -1 0 28405 0 0 0 97939 74 0 0 25 0 1 0 729724057 110080000 24815 4294967295 134512640 134714508 3221221792 3221217620 1074786571 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26875 24815 1111 63 0 26812 0
vsize: 107500
[startup+990.032 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12221
Raw data (stat): 12221 (bsolo_lpr) R 12220 7876 7672 0 -1 0 28517 0 0 0 98939 74 0 0 25 0 1 0 729724057 110731264 24923 4294967295 134512640 134714508 3221221792 3221217680 1075965234 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27034 24923 1111 63 0 26971 0
vsize: 108136
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12221
Raw data (stat): 12221 (bsolo_lpr) R 12220 7876 7672 0 -1 0 28519 0 0 0 99939 74 0 0 25 0 1 0 729724057 110731264 24923 4294967295 134512640 134714508 3221221792 3221217724 1074788950 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27034 24923 1111 63 0 26971 0
vsize: 108136
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12221
Raw data (stat): 12221 (bsolo_lpr) R 12220 7876 7672 0 -1 0 28521 0 0 0 100939 74 0 0 25 0 1 0 729724057 110731264 24923 4294967295 134512640 134714508 3221221792 3221217812 1075964248 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27034 24923 1111 63 0 26971 0
vsize: 108136
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12221
Raw data (stat): 12221 (bsolo_lpr) R 12220 7876 7672 0 -1 0 28523 0 0 0 101940 74 0 0 25 0 1 0 729724057 110731264 24923 4294967295 134512640 134714508 3221221792 3221218152 1077410205 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27034 24923 1111 63 0 26971 0
vsize: 108136
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12221
Raw data (stat): 12221 (bsolo_lpr) R 12220 7876 7672 0 -1 0 28533 0 0 0 102940 74 0 0 25 0 1 0 729724057 110731264 24929 4294967295 134512640 134714508 3221221792 3221217812 1075964248 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27034 24929 1111 63 0 26971 0
vsize: 108136
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12221
Raw data (stat): 12221 (bsolo_lpr) R 12220 7876 7672 0 -1 0 28535 0 0 0 103940 74 0 0 25 0 1 0 729724057 110731264 24929 4294967295 134512640 134714508 3221221792 3221217872 1075095169 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27034 24929 1111 63 0 26971 0
vsize: 108136
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12221
Raw data (stat): 12221 (bsolo_lpr) R 12220 7876 7672 0 -1 0 28540 0 0 0 104940 75 0 0 25 0 1 0 729724057 110731264 24932 4294967295 134512640 134714508 3221221792 3221218152 1077410205 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27034 24932 1111 63 0 26971 0
vsize: 108136
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12221
Raw data (stat): 12221 (bsolo_lpr) R 12220 7876 7672 0 -1 0 28549 0 0 0 105939 75 0 0 25 0 1 0 729724057 110731264 24939 4294967295 134512640 134714508 3221221792 3221217596 1074788959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27034 24939 1111 63 0 26971 0
vsize: 108136
[startup+1070.03 s]
Raw data (loadavg): 1.07 0.99 0.97 2/55 12221
Raw data (stat): 12221 (bsolo_lpr) R 12220 7876 7672 0 -1 0 28678 0 0 0 106939 75 0 0 25 0 1 0 729724057 111407104 25066 4294967295 134512640 134714508 3221221792 3221217620 1074786571 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27199 25066 1111 63 0 27136 0
vsize: 108796
[startup+1080.03 s]
Raw data (loadavg): 1.06 0.99 0.97 2/55 12221
Raw data (stat): 12221 (bsolo_lpr) R 12220 7876 7672 0 -1 0 28690 0 0 0 107939 75 0 0 25 0 1 0 729724057 111407104 25074 4294967295 134512640 134714508 3221221792 3221217940 1075115046 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27199 25074 1111 63 0 27136 0
vsize: 108796
[startup+1090.03 s]
Raw data (loadavg): 1.05 0.99 0.97 2/55 12221
Raw data (stat): 12221 (bsolo_lpr) R 12220 7876 7672 0 -1 0 28694 0 0 0 108940 75 0 0 25 0 1 0 729724057 111407104 25076 4294967295 134512640 134714508 3221221792 3221217724 1074788959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27199 25076 1111 63 0 27136 0
vsize: 108796
[startup+1100.03 s]
Raw data (loadavg): 1.04 0.99 0.97 2/55 12221
Raw data (stat): 12221 (bsolo_lpr) R 12220 7876 7672 0 -1 0 28699 0 0 0 109940 75 0 0 25 0 1 0 729724057 111407104 25079 4294967295 134512640 134714508 3221221792 3221218152 1077410205 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27199 25079 1111 63 0 27136 0
vsize: 108796
[startup+1110.03 s]
Raw data (loadavg): 1.04 0.99 0.97 2/55 12221
Raw data (stat): 12221 (bsolo_lpr) R 12220 7876 7672 0 -1 0 28707 0 0 0 110940 75 0 0 25 0 1 0 729724057 111407104 25085 4294967295 134512640 134714508 3221221792 3221217596 1074788959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27199 25085 1111 63 0 27136 0
vsize: 108796
[startup+1120.03 s]
Raw data (loadavg): 1.03 0.99 0.97 2/55 12221
Raw data (stat): 12221 (bsolo_lpr) R 12220 7876 7672 0 -1 0 28713 0 0 0 111940 75 0 0 25 0 1 0 729724057 111407104 25089 4294967295 134512640 134714508 3221221792 3221217648 1075965234 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27199 25089 1111 63 0 27136 0
vsize: 108796
[startup+1130.03 s]
Raw data (loadavg): 1.03 0.99 0.97 2/55 12221
Raw data (stat): 12221 (bsolo_lpr) R 12220 7876 7672 0 -1 0 28722 0 0 0 112940 75 0 0 25 0 1 0 729724057 111407104 25094 4294967295 134512640 134714508 3221221792 3221217724 1074788959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27199 25094 1111 63 0 27136 0
vsize: 108796
[startup+1140.04 s]
Raw data (loadavg): 1.02 0.99 0.97 2/55 12221
Raw data (stat): 12221 (bsolo_lpr) R 12220 7876 7672 0 -1 0 28734 0 0 0 113940 75 0 0 25 0 1 0 729724057 111407104 25104 4294967295 134512640 134714508 3221221792 3221217984 1074960865 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27199 25104 1111 63 0 27136 0
vsize: 108796
[startup+1150.04 s]
Raw data (loadavg): 1.02 0.99 0.97 2/55 12221
Raw data (stat): 12221 (bsolo_lpr) R 12220 7876 7672 0 -1 0 28844 0 0 0 114940 75 0 0 25 0 1 0 729724057 112123904 25212 4294967295 134512640 134714508 3221221792 3221217596 1074788959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27374 25212 1111 63 0 27311 0
vsize: 109496
[startup+1160.04 s]
Raw data (loadavg): 1.01 0.99 0.97 2/55 12221
Raw data (stat): 12221 (bsolo_lpr) R 12220 7876 7672 0 -1 0 28874 0 0 0 115940 76 0 0 25 0 1 0 729724057 112123904 25240 4294967295 134512640 134714508 3221221792 3221217984 1074960765 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27374 25240 1111 63 0 27311 0
vsize: 109496
[startup+1170.04 s]
Raw data (loadavg): 1.01 0.99 0.97 2/55 12221
Raw data (stat): 12221 (bsolo_lpr) R 12220 7876 7672 0 -1 0 28884 0 0 0 116941 76 0 0 25 0 1 0 729724057 112123904 25248 4294967295 134512640 134714508 3221221792 3221217596 1074788950 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27374 25248 1111 63 0 27311 0
vsize: 109496
[startup+1180.04 s]
Raw data (loadavg): 1.01 0.99 0.97 2/55 12221
Raw data (stat): 12221 (bsolo_lpr) R 12220 7876 7672 0 -1 0 28891 0 0 0 117940 76 0 0 25 0 1 0 729724057 112123904 25253 4294967295 134512640 134714508 3221221792 3221217952 1075115696 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27374 25253 1111 63 0 27311 0
vsize: 109496
[startup+1190.04 s]
Raw data (loadavg): 1.01 0.99 0.97 2/55 12221
Raw data (stat): 12221 (bsolo_lpr) R 12220 7876 7672 0 -1 0 28906 0 0 0 118940 76 0 0 25 0 1 0 729724057 112123904 25264 4294967295 134512640 134714508 3221221792 3221217984 1074960903 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27374 25264 1111 63 0 27311 0
vsize: 109496
[startup+1200.04 s]
Raw data (loadavg): 1.01 0.99 0.97 2/55 12221
Raw data (stat): 12221 (bsolo_lpr) R 12220 7876 7672 0 -1 0 28910 0 0 0 119940 76 0 0 25 0 1 0 729724057 112123904 25266 4294967295 134512640 134714508 3221221792 3221217596 1074788950 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27374 25266 1111 63 0 27311 0
vsize: 109496
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.09 s]
Raw data (loadavg): 1.01 0.99 0.97 1/55 12221
Raw data (stat): 12221 (bsolo_lpr) Z 12220 7876 7672 0 -1 1036 28910 0 0 0 119941 81 0 0 25 0 1 0 729724057 0 0 4294967295 0 0 0 0 0 0 0 1 0 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.09
CPU time (s): 1200.22
CPU user time (s): 1199.41
CPU system time (s): 0.813876
CPU usage (%): 100.012
Max. virtual memory (Kb): 109496
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####