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-1.opb
MD5SUM	94f501465233508e2f652cf118ddaf2d
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.06
Number of variables	760
Total number of constraints	41314
Number of constraints which are clauses	41314
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 24757

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-12 14:37:12 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2908 boxname=wulflinc31 idbench=324 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  94f501465233508e2f652cf118ddaf2d  /oldhome/oroussel/tmp/wulflinc31/normalized-frb40-19-1.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-frb40-19-1.opb
IDLAUNCH: 2908
/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:        886364 kB
Buffers:         34792 kB
Cached:          91792 kB
SwapCached:       1936 kB
Active:          92532 kB
Inactive:        37280 kB
HighTotal:      131008 kB
HighFree:        38388 kB
LowTotal:       903652 kB
LowFree:        847976 kB
SwapTotal:     2097892 kB
SwapFree:      2095224 kB
Dirty:             652 kB
Writeback:           0 kB
Mapped:           5360 kB
Slab:            12928 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-12 14:57:14 (client local time) WITH STATUS 0 IN 1200.22 SECONDS
stats: 2908 7 1200.22 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 760 variables and 41314 constraints.
c After prepocess the problem consists of 760 variables and 30189 constraints.
c preprocess terminated 282.693 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.93 0.98 0.98 2/55 9900
Raw data (stat): 9900 (runsolver) R 9899 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 727300601 1056768 100 4294967295 134512640 135381576 3221221696 3221216916 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0004 s]
Raw data (loadavg): 0.94 0.98 0.98 2/55 9900
Raw data (stat): 9900 (bsolo_lpr) R 9899 7876 7672 0 -1 0 15633 0 0 0 952 43 0 0 25 0 1 0 727300601 67137536 15553 4294967295 134512640 134714508 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16391 15553 1111 63 0 16328 0
vsize: 65564
[startup+20.0003 s]
Raw data (loadavg): 0.95 0.98 0.98 2/55 9900
Raw data (stat): 9900 (bsolo_lpr) R 9899 7876 7672 0 -1 0 16069 0 0 0 1951 45 0 0 25 0 1 0 727300601 69033984 15989 4294967295 134512640 134714508 3221221792 3221220432 134606498 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16854 15989 1111 63 0 16791 0
vsize: 67416
[startup+30.0013 s]
Raw data (loadavg): 0.95 0.98 0.98 2/55 9900
Raw data (stat): 9900 (bsolo_lpr) R 9899 7876 7672 0 -1 0 18139 0 0 0 2946 50 0 0 25 0 1 0 727300601 77418496 18059 4294967295 134512640 134714508 3221221792 3221220188 134543615 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18901 18059 1111 63 0 18838 0
vsize: 75604
[startup+40.0011 s]
Raw data (loadavg): 0.96 0.98 0.98 2/55 9900
Raw data (stat): 9900 (bsolo_lpr) R 9899 7876 7672 0 -1 0 18139 0 0 0 3946 50 0 0 25 0 1 0 727300601 77418496 18059 4294967295 134512640 134714508 3221221792 3221220368 134535750 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18901 18059 1111 63 0 18838 0
vsize: 75604
[startup+50.0026 s]
Raw data (loadavg): 0.97 0.98 0.98 2/55 9900
Raw data (stat): 9900 (bsolo_lpr) R 9899 7876 7672 0 -1 0 18139 0 0 0 4946 50 0 0 25 0 1 0 727300601 77418496 18059 4294967295 134512640 134714508 3221221792 3221220308 1077374543 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18901 18059 1111 63 0 18838 0
vsize: 75604
[startup+60.003 s]
Raw data (loadavg): 0.97 0.98 0.98 2/55 9900
Raw data (stat): 9900 (bsolo_lpr) R 9899 7876 7672 0 -1 0 18139 0 0 0 5945 50 0 0 25 0 1 0 727300601 77418496 18059 4294967295 134512640 134714508 3221221792 3221220176 134542347 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18901 18059 1111 63 0 18838 0
vsize: 75604
[startup+70.0029 s]
Raw data (loadavg): 0.97 0.98 0.98 2/55 9900
Raw data (stat): 9900 (bsolo_lpr) R 9899 7876 7672 0 -1 0 18139 0 0 0 6945 51 0 0 25 0 1 0 727300601 77418496 18059 4294967295 134512640 134714508 3221221792 3221220272 134539374 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18901 18059 1111 63 0 18838 0
vsize: 75604
[startup+80.0039 s]
Raw data (loadavg): 0.98 0.98 0.98 2/55 9900
Raw data (stat): 9900 (bsolo_lpr) R 9899 7876 7672 0 -1 0 18139 0 0 0 7944 51 0 0 25 0 1 0 727300601 77418496 18059 4294967295 134512640 134714508 3221221792 3221220184 1077378310 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18901 18059 1111 63 0 18838 0
vsize: 75604
[startup+90.0038 s]
Raw data (loadavg): 0.98 0.98 0.98 2/55 9900
Raw data (stat): 9900 (bsolo_lpr) R 9899 7876 7672 0 -1 0 18139 0 0 0 8944 52 0 0 25 0 1 0 727300601 77418496 18059 4294967295 134512640 134714508 3221221792 3221220256 134542306 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18901 18059 1111 63 0 18838 0
vsize: 75604
[startup+100.005 s]
Raw data (loadavg): 0.98 0.98 0.98 2/55 9900
Raw data (stat): 9900 (bsolo_lpr) R 9899 7876 7672 0 -1 0 18139 0 0 0 9944 52 0 0 25 0 1 0 727300601 77418496 18059 4294967295 134512640 134714508 3221221792 3221220156 134539296 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18901 18059 1111 63 0 18838 0
vsize: 75604
[startup+110.006 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 9900
Raw data (stat): 9900 (bsolo_lpr) R 9899 7876 7672 0 -1 0 18139 0 0 0 10944 53 0 0 25 0 1 0 727300601 77418496 18059 4294967295 134512640 134714508 3221221792 3221220320 134542848 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18901 18059 1111 63 0 18838 0
vsize: 75604
[startup+120.007 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 9900
Raw data (stat): 9900 (bsolo_lpr) R 9899 7876 7672 0 -1 0 18139 0 0 0 11944 53 0 0 25 0 1 0 727300601 77418496 18059 4294967295 134512640 134714508 3221221792 3221220304 134543712 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18901 18059 1111 63 0 18838 0
vsize: 75604
[startup+130.007 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 9900
Raw data (stat): 9900 (bsolo_lpr) R 9899 7876 7672 0 -1 0 18139 0 0 0 12944 53 0 0 25 0 1 0 727300601 77418496 18059 4294967295 134512640 134714508 3221221792 3221220176 134542297 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18901 18059 1111 63 0 18838 0
vsize: 75604
[startup+140.006 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 9900
Raw data (stat): 9900 (bsolo_lpr) R 9899 7876 7672 0 -1 0 18139 0 0 0 13943 54 0 0 25 0 1 0 727300601 77418496 18059 4294967295 134512640 134714508 3221221792 3221220356 134535756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18901 18059 1111 63 0 18838 0
vsize: 75604
[startup+150.007 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 9900
Raw data (stat): 9900 (bsolo_lpr) R 9899 7876 7672 0 -1 0 18139 0 0 0 14943 54 0 0 25 0 1 0 727300601 77418496 18059 4294967295 134512640 134714508 3221221792 3221220156 134539235 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18901 18059 1111 63 0 18838 0
vsize: 75604
[startup+160.007 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 9900
Raw data (stat): 9900 (bsolo_lpr) R 9899 7876 7672 0 -1 0 18139 0 0 0 15943 54 0 0 25 0 1 0 727300601 77418496 18059 4294967295 134512640 134714508 3221221792 3221220408 134543804 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18901 18059 1111 63 0 18838 0
vsize: 75604
[startup+170.008 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 9900
Raw data (stat): 9900 (bsolo_lpr) R 9899 7876 7672 0 -1 0 18139 0 0 0 16943 54 0 0 25 0 1 0 727300601 77418496 18059 4294967295 134512640 134714508 3221221792 3221220272 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18901 18059 1111 63 0 18838 0
vsize: 75604
[startup+180.008 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 9900
Raw data (stat): 9900 (bsolo_lpr) R 9899 7876 7672 0 -1 0 18139 0 0 0 17943 55 0 0 25 0 1 0 727300601 77418496 18059 4294967295 134512640 134714508 3221221792 3221220200 134543614 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18901 18059 1111 63 0 18838 0
vsize: 75604
[startup+190.009 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 9900
Raw data (stat): 9900 (bsolo_lpr) R 9899 7876 7672 0 -1 0 18139 0 0 0 18943 55 0 0 25 0 1 0 727300601 77418496 18059 4294967295 134512640 134714508 3221221792 3221220156 134539298 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18901 18059 1111 63 0 18838 0
vsize: 75604
[startup+200.01 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 9900
Raw data (stat): 9900 (bsolo_lpr) R 9899 7876 7672 0 -1 0 18139 0 0 0 19943 55 0 0 25 0 1 0 727300601 77418496 18059 4294967295 134512640 134714508 3221221792 3221220272 134542347 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18901 18059 1111 63 0 18838 0
vsize: 75604
[startup+210.01 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 9900
Raw data (stat): 9900 (bsolo_lpr) R 9899 7876 7672 0 -1 0 18139 0 0 0 20942 56 0 0 25 0 1 0 727300601 77418496 18059 4294967295 134512640 134714508 3221221792 3221220464 134627187 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18901 18059 1111 63 0 18838 0
vsize: 75604
[startup+220.01 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 9900
Raw data (stat): 9900 (bsolo_lpr) R 9899 7876 7672 0 -1 0 18139 0 0 0 21942 56 0 0 25 0 1 0 727300601 77418496 18059 4294967295 134512640 134714508 3221221792 3221220464 134627250 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18901 18059 1111 63 0 18838 0
vsize: 75604
[startup+230.01 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 9900
Raw data (stat): 9900 (bsolo_lpr) R 9899 7876 7672 0 -1 0 18139 0 0 0 22941 57 0 0 25 0 1 0 727300601 77418496 18059 4294967295 134512640 134714508 3221221792 3221220456 134627195 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18901 18059 1111 63 0 18838 0
vsize: 75604
[startup+240.01 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 9900
Raw data (stat): 9900 (bsolo_lpr) R 9899 7876 7672 0 -1 0 18139 0 0 0 23941 57 0 0 25 0 1 0 727300601 77418496 18059 4294967295 134512640 134714508 3221221792 3221220456 134627195 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18901 18059 1111 63 0 18838 0
vsize: 75604
[startup+250.011 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 9900
Raw data (stat): 9900 (bsolo_lpr) R 9899 7876 7672 0 -1 0 18139 0 0 0 24941 58 0 0 25 0 1 0 727300601 77418496 18059 4294967295 134512640 134714508 3221221792 3221220464 134627187 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18901 18059 1111 63 0 18838 0
vsize: 75604
[startup+260.012 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 9900
Raw data (stat): 9900 (bsolo_lpr) R 9899 7876 7672 0 -1 0 18139 0 0 0 25941 58 0 0 25 0 1 0 727300601 77418496 18059 4294967295 134512640 134714508 3221221792 3221220452 134627138 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18901 18059 1111 63 0 18838 0
vsize: 75604
[startup+270.012 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 9900
Raw data (stat): 9900 (bsolo_lpr) R 9899 7876 7672 0 -1 0 18140 0 0 0 26941 59 0 0 25 0 1 0 727300601 77418496 18060 4294967295 134512640 134714508 3221221792 3221220660 134622267 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18901 18060 1111 63 0 18838 0
vsize: 75604
[startup+280.012 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 9900
Raw data (stat): 9900 (bsolo_lpr) R 9899 7876 7672 0 -1 0 18140 0 0 0 27940 59 0 0 25 0 1 0 727300601 77418496 18060 4294967295 134512640 134714508 3221221792 3221220648 134542412 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18901 18060 1111 63 0 18838 0
vsize: 75604
[startup+290.012 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 9900
Raw data (stat): 9900 (bsolo_lpr) R 9899 7876 7672 0 -1 0 18169 0 0 0 28940 60 0 0 25 0 1 0 727300601 77762560 18089 4294967295 134512640 134714508 3221221792 3221220096 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18985 18089 1111 63 0 18922 0
vsize: 75940
[startup+300.013 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 9900
Raw data (stat): 9900 (bsolo_lpr) R 9899 7876 7672 0 -1 0 18283 0 0 0 29938 61 0 0 25 0 1 0 727300601 78209024 18203 4294967295 134512640 134714508 3221221792 3221220096 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19094 18203 1111 63 0 19031 0
vsize: 76376
[startup+310.012 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 9900
Raw data (stat): 9900 (bsolo_lpr) R 9899 7876 7672 0 -1 0 18308 0 0 0 30937 63 0 0 25 0 1 0 727300601 78303232 18228 4294967295 134512640 134714508 3221221792 3221220096 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19117 18228 1111 63 0 19054 0
vsize: 76468
[startup+320.012 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 9900
Raw data (stat): 9900 (bsolo_lpr) R 9899 7876 7672 0 -1 0 18330 0 0 0 31935 65 0 0 25 0 1 0 727300601 78385152 18250 4294967295 134512640 134714508 3221221792 3221220096 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19137 18250 1111 63 0 19074 0
vsize: 76548
[startup+330.013 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 9900
Raw data (stat): 9900 (bsolo_lpr) R 9899 7876 7672 0 -1 0 18434 0 0 0 32932 68 0 0 25 0 1 0 727300601 78807040 18354 4294967295 134512640 134714508 3221221792 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19240 18354 1111 63 0 19177 0
vsize: 76960
[startup+340.013 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 9900
Raw data (stat): 9900 (bsolo_lpr) R 9899 7876 7672 0 -1 0 18458 0 0 0 33931 69 0 0 25 0 1 0 727300601 78901248 18378 4294967295 134512640 134714508 3221221792 3221220288 134650161 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19263 18378 1111 63 0 19200 0
vsize: 77052
[startup+350.015 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 9900
Raw data (stat): 9900 (bsolo_lpr) R 9899 7876 7672 0 -1 0 18478 0 0 0 34930 70 0 0 25 0 1 0 727300601 78974976 18398 4294967295 134512640 134714508 3221221792 3221220096 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19281 18398 1111 63 0 19218 0
vsize: 77124
[startup+360.015 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 9900
Raw data (stat): 9900 (bsolo_lpr) R 9899 7876 7672 0 -1 0 18500 0 0 0 35929 71 0 0 25 0 1 0 727300601 79060992 18420 4294967295 134512640 134714508 3221221792 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19302 18420 1111 63 0 19239 0
vsize: 77208
[startup+370.015 s]
Raw data (loadavg): 0.99 0.98 0.98 3/55 9900
Raw data (stat): 9900 (bsolo_lpr) R 9899 7876 7672 0 -1 0 18519 0 0 0 36928 72 0 0 25 0 1 0 727300601 79134720 18439 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19320 18439 1111 63 0 19257 0
vsize: 77280
[startup+380.016 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 9900
Raw data (stat): 9900 (bsolo_lpr) R 9899 7876 7672 0 -1 0 18538 0 0 0 37927 73 0 0 25 0 1 0 727300601 79208448 18458 4294967295 134512640 134714508 3221221792 3221220064 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19338 18458 1111 63 0 19275 0
vsize: 77352
[startup+390.016 s]
Raw data (loadavg): 0.99 0.98 0.98 3/55 9900
Raw data (stat): 9900 (bsolo_lpr) R 9899 7876 7672 0 -1 0 18557 0 0 0 38926 74 0 0 25 0 1 0 727300601 79282176 18477 4294967295 134512640 134714508 3221221792 3221220048 1074153786 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19356 18477 1111 63 0 19293 0
vsize: 77424
[startup+400.018 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 9900
Raw data (stat): 9900 (bsolo_lpr) R 9899 7876 7672 0 -1 0 18573 0 0 0 39925 75 0 0 25 0 1 0 727300601 79347712 18493 4294967295 134512640 134714508 3221221792 3221220064 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19372 18493 1111 63 0 19309 0
vsize: 77488
[startup+410.019 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 9900
Raw data (stat): 9900 (bsolo_lpr) R 9899 7876 7672 0 -1 0 18591 0 0 0 40924 76 0 0 25 0 1 0 727300601 79417344 18511 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19389 18511 1111 63 0 19326 0
vsize: 77556
[startup+420.019 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 9900
Raw data (stat): 9900 (bsolo_lpr) R 9899 7876 7672 0 -1 0 18611 0 0 0 41924 77 0 0 25 0 1 0 727300601 79495168 18531 4294967295 134512640 134714508 3221221792 3221220016 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19408 18531 1111 63 0 19345 0
vsize: 77632
[startup+430.02 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 9900
Raw data (stat): 9900 (bsolo_lpr) R 9899 7876 7672 0 -1 0 18633 0 0 0 42923 77 0 0 25 0 1 0 727300601 79581184 18553 4294967295 134512640 134714508 3221221792 3221220000 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19429 18553 1111 63 0 19366 0
vsize: 77716
[startup+440.02 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 9900
Raw data (stat): 9900 (bsolo_lpr) R 9899 7876 7672 0 -1 0 18652 0 0 0 43923 78 0 0 25 0 1 0 727300601 79654912 18572 4294967295 134512640 134714508 3221221792 3221220048 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19447 18572 1111 63 0 19384 0
vsize: 77788
[startup+450.021 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 9900
Raw data (stat): 9900 (bsolo_lpr) R 9899 7876 7672 0 -1 0 18666 0 0 0 44922 78 0 0 25 0 1 0 727300601 79712256 18586 4294967295 134512640 134714508 3221221792 3221219712 1077814665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19461 18586 1111 63 0 19398 0
vsize: 77844
[startup+460.021 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 9900
Raw data (stat): 9900 (bsolo_lpr) R 9899 7876 7672 0 -1 0 18682 0 0 0 45922 79 0 0 25 0 1 0 727300601 79773696 18602 4294967295 134512640 134714508 3221221792 3221220064 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19476 18602 1111 63 0 19413 0
vsize: 77904
[startup+470.022 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 9900
Raw data (stat): 9900 (bsolo_lpr) R 9899 7876 7672 0 -1 0 18699 0 0 0 46922 79 0 0 25 0 1 0 727300601 79839232 18619 4294967295 134512640 134714508 3221221792 3221220048 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19492 18619 1111 63 0 19429 0
vsize: 77968
[startup+480.022 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 9900
Raw data (stat): 9900 (bsolo_lpr) R 9899 7876 7672 0 -1 0 18715 0 0 0 47922 80 0 0 25 0 1 0 727300601 79900672 18635 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19507 18635 1111 63 0 19444 0
vsize: 78028
[startup+490.022 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 9900
Raw data (stat): 9900 (bsolo_lpr) R 9899 7876 7672 0 -1 0 23918 0 0 0 48909 93 0 0 25 0 1 0 727300601 101445632 21889 4294967295 134512640 134714508 3221221792 3221217856 1074969458 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24767 21889 1111 63 0 24704 0
vsize: 99068
[startup+500.023 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 9900
Raw data (stat): 9900 (bsolo_lpr) R 9899 7876 7672 0 -1 0 25099 0 0 0 49907 95 0 0 25 0 1 0 727300601 103673856 23068 4294967295 134512640 134714508 3221221792 3221217856 1074969458 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25311 23068 1111 63 0 25248 0
vsize: 101244
[startup+510.023 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 9900
Raw data (stat): 9900 (bsolo_lpr) R 9899 7876 7672 0 -1 0 25298 0 0 0 50906 96 0 0 25 0 1 0 727300601 99229696 22269 4294967295 134512640 134714508 3221221792 3221217596 1074788953 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24226 22269 1111 63 0 24163 0
vsize: 96904
[startup+520.023 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 9900
Raw data (stat): 9900 (bsolo_lpr) R 9899 7876 7672 0 -1 0 25334 0 0 0 51906 96 0 0 25 0 1 0 727300601 99229696 22301 4294967295 134512640 134714508 3221221792 3221217936 1075895652 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24226 22301 1111 63 0 24163 0
vsize: 96904
[startup+530.024 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 9900
Raw data (stat): 9900 (bsolo_lpr) R 9899 7876 7672 0 -1 0 25357 0 0 0 52906 96 0 0 25 0 1 0 727300601 99229696 22322 4294967295 134512640 134714508 3221221792 3221217856 1074969440 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24226 22322 1111 63 0 24163 0
vsize: 96904
[startup+540.024 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 9900
Raw data (stat): 9900 (bsolo_lpr) R 9899 7876 7672 0 -1 0 25396 0 0 0 53906 96 0 0 25 0 1 0 727300601 99676160 22359 4294967295 134512640 134714508 3221221792 3221217856 1074969685 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24335 22359 1111 63 0 24272 0
vsize: 97340
[startup+550.025 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 9900
Raw data (stat): 9900 (bsolo_lpr) R 9899 7876 7672 0 -1 0 25419 0 0 0 54907 96 0 0 25 0 1 0 727300601 99676160 22380 4294967295 134512640 134714508 3221221792 3221217940 1075115065 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24335 22380 1111 63 0 24272 0
vsize: 97340
[startup+560.025 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 9900
Raw data (stat): 9900 (bsolo_lpr) R 9899 7876 7672 0 -1 0 25448 0 0 0 55907 96 0 0 25 0 1 0 727300601 99676160 22407 4294967295 134512640 134714508 3221221792 3221217856 1074969440 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24335 22407 1111 63 0 24272 0
vsize: 97340
[startup+570.025 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 9900
Raw data (stat): 9900 (bsolo_lpr) R 9899 7876 7672 0 -1 0 25475 0 0 0 56907 96 0 0 25 0 1 0 727300601 100376576 22434 4294967295 134512640 134714508 3221221792 3221218304 1074886213 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24506 22434 1111 63 0 24443 0
vsize: 98024
[startup+580.026 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 9900
Raw data (stat): 9900 (bsolo_lpr) R 9899 7876 7672 0 -1 0 25531 0 0 0 57907 96 0 0 25 0 1 0 727300601 100134912 22488 4294967295 134512640 134714508 3221221792 3221217952 1075115715 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24447 22488 1111 63 0 24384 0
vsize: 97788
[startup+590.026 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 9900
Raw data (stat): 9900 (bsolo_lpr) R 9899 7876 7672 0 -1 0 25552 0 0 0 58907 97 0 0 25 0 1 0 727300601 100134912 22507 4294967295 134512640 134714508 3221221792 3221217936 1075895670 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24447 22507 1111 63 0 24384 0
vsize: 97788
[startup+600.027 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 9900
Raw data (stat): 9900 (bsolo_lpr) R 9899 7876 7672 0 -1 0 25567 0 0 0 59907 97 0 0 25 0 1 0 727300601 100134912 22520 4294967295 134512640 134714508 3221221792 3221217596 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24447 22520 1111 63 0 24384 0
vsize: 97788
[startup+610.027 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 9900
Raw data (stat): 9900 (bsolo_lpr) R 9899 7876 7672 0 -1 0 25591 0 0 0 60907 97 0 0 25 0 1 0 727300601 100134912 22542 4294967295 134512640 134714508 3221221792 3221217936 1075895652 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24447 22542 1111 63 0 24384 0
vsize: 97788
[startup+620.026 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 9900
Raw data (stat): 9900 (bsolo_lpr) R 9899 7876 7672 0 -1 0 25602 0 0 0 61907 97 0 0 25 0 1 0 727300601 100134912 22551 4294967295 134512640 134714508 3221221792 3221217984 1074961487 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24447 22551 1111 63 0 24384 0
vsize: 97788
[startup+630.027 s]
Raw data (loadavg): 1.07 1.00 0.99 2/55 9900
Raw data (stat): 9900 (bsolo_lpr) R 9899 7876 7672 0 -1 0 25615 0 0 0 62907 98 0 0 25 0 1 0 727300601 100134912 22562 4294967295 134512640 134714508 3221221792 3221217856 1074969463 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24447 22562 1111 63 0 24384 0
vsize: 97788
[startup+640.028 s]
Raw data (loadavg): 1.06 1.00 0.99 2/55 9900
Raw data (stat): 9900 (bsolo_lpr) R 9899 7876 7672 0 -1 0 25690 0 0 0 63907 98 0 0 25 0 1 0 727300601 100626432 22635 4294967295 134512640 134714508 3221221792 3221217856 1074969685 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24567 22635 1111 63 0 24504 0
vsize: 98268
[startup+650.029 s]
Raw data (loadavg): 1.05 1.00 0.99 2/55 9900
Raw data (stat): 9900 (bsolo_lpr) R 9899 7876 7672 0 -1 0 25705 0 0 0 64907 98 0 0 25 0 1 0 727300601 100626432 22648 4294967295 134512640 134714508 3221221792 3221217920 1074815241 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24567 22648 1111 63 0 24504 0
vsize: 98268
[startup+660.03 s]
Raw data (loadavg): 1.04 1.00 0.99 2/55 9900
Raw data (stat): 9900 (bsolo_lpr) R 9899 7876 7672 0 -1 0 25713 0 0 0 65907 98 0 0 25 0 1 0 727300601 100626432 22654 4294967295 134512640 134714508 3221221792 3221217724 1074788953 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24567 22654 1111 63 0 24504 0
vsize: 98268
[startup+670.03 s]
Raw data (loadavg): 1.03 1.00 0.99 2/55 9900
Raw data (stat): 9900 (bsolo_lpr) R 9899 7876 7672 0 -1 0 25793 0 0 0 66907 98 0 0 25 0 1 0 727300601 101146624 22732 4294967295 134512640 134714508 3221221792 3221217672 1075964745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24694 22732 1111 63 0 24631 0
vsize: 98776
[startup+680.031 s]
Raw data (loadavg): 1.03 1.00 0.99 2/55 9900
Raw data (stat): 9900 (bsolo_lpr) R 9899 7876 7672 0 -1 0 25811 0 0 0 67907 98 0 0 25 0 1 0 727300601 101146624 22746 4294967295 134512640 134714508 3221221792 3221217596 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24694 22746 1111 63 0 24631 0
vsize: 98776
[startup+690.031 s]
Raw data (loadavg): 1.02 1.00 0.99 2/55 9900
Raw data (stat): 9900 (bsolo_lpr) R 9899 7876 7672 0 -1 0 25825 0 0 0 68907 98 0 0 25 0 1 0 727300601 101146624 22760 4294967295 134512640 134714508 3221221792 3221217856 1074969467 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24694 22760 1111 63 0 24631 0
vsize: 98776
[startup+700.032 s]
Raw data (loadavg): 1.02 1.00 0.99 2/55 9900
Raw data (stat): 9900 (bsolo_lpr) R 9899 7876 7672 0 -1 0 25832 0 0 0 69907 98 0 0 25 0 1 0 727300601 101146624 22763 4294967295 134512640 134714508 3221221792 3221217724 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24694 22763 1111 63 0 24631 0
vsize: 98776
[startup+710.033 s]
Raw data (loadavg): 1.02 1.00 0.99 2/55 9900
Raw data (stat): 9900 (bsolo_lpr) R 9899 7876 7672 0 -1 0 25838 0 0 0 70908 98 0 0 25 0 1 0 727300601 101146624 22767 4294967295 134512640 134714508 3221221792 3221217940 1075115049 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24694 22767 1111 63 0 24631 0
vsize: 98776
[startup+720.033 s]
Raw data (loadavg): 1.01 1.00 0.99 2/55 9900
Raw data (stat): 9900 (bsolo_lpr) R 9899 7876 7672 0 -1 0 25916 0 0 0 71907 99 0 0 25 0 1 0 727300601 101687296 22841 4294967295 134512640 134714508 3221221792 3221217952 1075115709 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24826 22841 1111 63 0 24763 0
vsize: 99304
[startup+730.034 s]
Raw data (loadavg): 1.01 1.00 0.99 2/55 9900
Raw data (stat): 9900 (bsolo_lpr) R 9899 7876 7672 0 -1 0 25920 0 0 0 72908 99 0 0 25 0 1 0 727300601 101687296 22843 4294967295 134512640 134714508 3221221792 3221217856 1074969463 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24826 22843 1111 63 0 24763 0
vsize: 99304
[startup+740.035 s]
Raw data (loadavg): 1.01 1.00 0.99 2/55 9900
Raw data (stat): 9900 (bsolo_lpr) R 9899 7876 7672 0 -1 0 25995 0 0 0 73907 99 0 0 25 0 1 0 727300601 102248448 22916 4294967295 134512640 134714508 3221221792 3221217940 1075115065 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24963 22916 1111 63 0 24900 0
vsize: 99852
[startup+750.036 s]
Raw data (loadavg): 1.01 1.00 0.99 2/55 9900
Raw data (stat): 9900 (bsolo_lpr) R 9899 7876 7672 0 -1 0 26042 0 0 0 74908 99 0 0 25 0 1 0 727300601 102248448 22961 4294967295 134512640 134714508 3221221792 3221217596 1074788950 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24963 22961 1111 63 0 24900 0
vsize: 99852
[startup+760.035 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9900
Raw data (stat): 9900 (bsolo_lpr) R 9899 7876 7672 0 -1 0 26061 0 0 0 75908 99 0 0 25 0 1 0 727300601 102248448 22978 4294967295 134512640 134714508 3221221792 3221217596 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24963 22978 1111 63 0 24900 0
vsize: 99852
[startup+770.036 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9900
Raw data (stat): 9900 (bsolo_lpr) R 9899 7876 7672 0 -1 0 26147 0 0 0 76908 99 0 0 25 0 1 0 727300601 102850560 23060 4294967295 134512640 134714508 3221221792 3221217952 1075115715 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25110 23060 1111 63 0 25047 0
vsize: 100440
[startup+780.036 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9900
Raw data (stat): 9900 (bsolo_lpr) R 9899 7876 7672 0 -1 0 26154 0 0 0 77908 99 0 0 25 0 1 0 727300601 102850560 23065 4294967295 134512640 134714508 3221221792 3221217872 1075095094 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25110 23065 1111 63 0 25047 0
vsize: 100440
[startup+790.036 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9900
Raw data (stat): 9900 (bsolo_lpr) R 9899 7876 7672 0 -1 0 26174 0 0 0 78908 100 0 0 25 0 1 0 727300601 102850560 23081 4294967295 134512640 134714508 3221221792 3221217644 1074788153 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25110 23081 1111 63 0 25047 0
vsize: 100440
[startup+800.037 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9900
Raw data (stat): 9900 (bsolo_lpr) R 9899 7876 7672 0 -1 0 26176 0 0 0 79908 100 0 0 25 0 1 0 727300601 102850560 23081 4294967295 134512640 134714508 3221221792 3221217596 1074788953 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25110 23081 1111 63 0 25047 0
vsize: 100440
[startup+810.038 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9900
Raw data (stat): 9900 (bsolo_lpr) R 9899 7876 7672 0 -1 0 26287 0 0 0 80908 100 0 0 25 0 1 0 727300601 103473152 23190 4294967295 134512640 134714508 3221221792 3221217940 1075115062 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25262 23190 1111 63 0 25199 0
vsize: 101048
[startup+820.038 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9900
Raw data (stat): 9900 (bsolo_lpr) R 9899 7876 7672 0 -1 0 26295 0 0 0 81909 100 0 0 25 0 1 0 727300601 103473152 23194 4294967295 134512640 134714508 3221221792 3221217596 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25262 23194 1111 63 0 25199 0
vsize: 101048
[startup+830.039 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9900
Raw data (stat): 9900 (bsolo_lpr) R 9899 7876 7672 0 -1 0 26307 0 0 0 82909 100 0 0 25 0 1 0 727300601 103473152 23204 4294967295 134512640 134714508 3221221792 3221217856 1074969461 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25262 23204 1111 63 0 25199 0
vsize: 101048
[startup+840.039 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9900
Raw data (stat): 9900 (bsolo_lpr) R 9899 7876 7672 0 -1 0 26311 0 0 0 83909 100 0 0 25 0 1 0 727300601 103473152 23204 4294967295 134512640 134714508 3221221792 3221218080 1075894487 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25262 23204 1111 63 0 25199 0
vsize: 101048
[startup+850.04 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9900
Raw data (stat): 9900 (bsolo_lpr) R 9899 7876 7672 0 -1 0 26313 0 0 0 84909 100 0 0 25 0 1 0 727300601 103473152 23204 4294967295 134512640 134714508 3221221792 3221217724 1074788950 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25262 23204 1111 63 0 25199 0
vsize: 101048
[startup+860.04 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9900
Raw data (stat): 9900 (bsolo_lpr) R 9899 7876 7672 0 -1 0 26315 0 0 0 85909 100 0 0 25 0 1 0 727300601 103473152 23204 4294967295 134512640 134714508 3221221792 3221217856 1074969461 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25262 23204 1111 63 0 25199 0
vsize: 101048
[startup+870.04 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9900
Raw data (stat): 9900 (bsolo_lpr) R 9899 7876 7672 0 -1 0 26319 0 0 0 86909 100 0 0 25 0 1 0 727300601 103473152 23204 4294967295 134512640 134714508 3221221792 3221217920 1074815284 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25262 23204 1111 63 0 25199 0
vsize: 101048
[startup+880.041 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9900
Raw data (stat): 9900 (bsolo_lpr) R 9899 7876 7672 0 -1 0 26321 0 0 0 87909 100 0 0 25 0 1 0 727300601 103473152 23204 4294967295 134512640 134714508 3221221792 3221217672 1075964771 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25262 23204 1111 63 0 25199 0
vsize: 101048
[startup+890.041 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9900
Raw data (stat): 9900 (bsolo_lpr) R 9899 7876 7672 0 -1 0 26323 0 0 0 88909 100 0 0 25 0 1 0 727300601 103473152 23204 4294967295 134512640 134714508 3221221792 3221217812 1075964227 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25262 23204 1111 63 0 25199 0
vsize: 101048
[startup+900.042 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9900
Raw data (stat): 9900 (bsolo_lpr) R 9899 7876 7672 0 -1 0 26329 0 0 0 89910 100 0 0 25 0 1 0 727300601 103714816 23208 4294967295 134512640 134714508 3221221792 3221218368 1075967935 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25321 23208 1111 63 0 25258 0
vsize: 101284
[startup+910.042 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9900
Raw data (stat): 9900 (bsolo_lpr) R 9899 7876 7672 0 -1 0 26332 0 0 0 90910 100 0 0 25 0 1 0 727300601 103473152 23207 4294967295 134512640 134714508 3221221792 3221217776 1075084528 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25262 23207 1111 63 0 25199 0
vsize: 101048
[startup+920.041 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9900
Raw data (stat): 9900 (bsolo_lpr) R 9899 7876 7672 0 -1 0 26339 0 0 0 91910 100 0 0 25 0 1 0 727300601 103473152 23212 4294967295 134512640 134714508 3221221792 3221217872 1075095094 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25262 23212 1111 63 0 25199 0
vsize: 101048
[startup+930.042 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9900
Raw data (stat): 9900 (bsolo_lpr) R 9899 7876 7672 0 -1 0 26341 0 0 0 92910 100 0 0 25 0 1 0 727300601 103473152 23212 4294967295 134512640 134714508 3221221792 3221217920 1074815231 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25262 23212 1111 63 0 25199 0
vsize: 101048
[startup+940.042 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9900
Raw data (stat): 9900 (bsolo_lpr) R 9899 7876 7672 0 -1 0 26343 0 0 0 93910 100 0 0 25 0 1 0 727300601 103473152 23212 4294967295 134512640 134714508 3221221792 3221217984 1074961304 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25262 23212 1111 63 0 25199 0
vsize: 101048
[startup+950.043 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9900
Raw data (stat): 9900 (bsolo_lpr) R 9899 7876 7672 0 -1 0 26347 0 0 0 94910 100 0 0 25 0 1 0 727300601 103473152 23212 4294967295 134512640 134714508 3221221792 3221217872 1074883509 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25262 23212 1111 63 0 25199 0
vsize: 101048
[startup+960.044 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9900
Raw data (stat): 9900 (bsolo_lpr) R 9899 7876 7672 0 -1 0 26349 0 0 0 95911 100 0 0 25 0 1 0 727300601 103473152 23212 4294967295 134512640 134714508 3221221792 3221218080 1075894562 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25262 23212 1111 63 0 25199 0
vsize: 101048
[startup+970.044 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9900
Raw data (stat): 9900 (bsolo_lpr) R 9899 7876 7672 0 -1 0 26352 0 0 0 96911 100 0 0 25 0 1 0 727300601 103473152 23213 4294967295 134512640 134714508 3221221792 3221217984 1074961191 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25262 23213 1111 63 0 25199 0
vsize: 101048
[startup+980.045 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9900
Raw data (stat): 9900 (bsolo_lpr) R 9899 7876 7672 0 -1 0 26354 0 0 0 97911 100 0 0 25 0 1 0 727300601 103473152 23213 4294967295 134512640 134714508 3221221792 3221217984 1074960868 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25262 23213 1111 63 0 25199 0
vsize: 101048
[startup+990.046 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9900
Raw data (stat): 9900 (bsolo_lpr) R 9899 7876 7672 0 -1 0 26427 0 0 0 98911 101 0 0 25 0 1 0 727300601 104128512 23280 4294967295 134512640 134714508 3221221792 3221217620 1074786556 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25422 23280 1111 63 0 25359 0
vsize: 101688
[startup+1000.05 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9900
Raw data (stat): 9900 (bsolo_lpr) R 9899 7876 7672 0 -1 0 26468 0 0 0 99911 101 0 0 25 0 1 0 727300601 104128512 23319 4294967295 134512640 134714508 3221221792 3221217940 1075115039 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25422 23319 1111 63 0 25359 0
vsize: 101688
[startup+1010.05 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9900
Raw data (stat): 9900 (bsolo_lpr) R 9899 7876 7672 0 -1 0 26472 0 0 0 100911 101 0 0 25 0 1 0 727300601 104128512 23321 4294967295 134512640 134714508 3221221792 3221217940 1075115065 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25422 23321 1111 63 0 25359 0
vsize: 101688
[startup+1020.05 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9900
Raw data (stat): 9900 (bsolo_lpr) R 9899 7876 7672 0 -1 0 26479 0 0 0 101911 101 0 0 25 0 1 0 727300601 104128512 23326 4294967295 134512640 134714508 3221221792 3221217596 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25422 23326 1111 63 0 25359 0
vsize: 101688
[startup+1030.05 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9900
Raw data (stat): 9900 (bsolo_lpr) R 9899 7876 7672 0 -1 0 26483 0 0 0 102912 101 0 0 25 0 1 0 727300601 104128512 23328 4294967295 134512640 134714508 3221221792 3221217940 1075115039 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25422 23328 1111 63 0 25359 0
vsize: 101688
[startup+1040.05 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9900
Raw data (stat): 9900 (bsolo_lpr) R 9899 7876 7672 0 -1 0 26601 0 0 0 103911 101 0 0 25 0 1 0 727300601 105058304 23444 4294967295 134512640 134714508 3221221792 3221218752 1075971386 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25649 23444 1111 63 0 25586 0
vsize: 102596
[startup+1050.05 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9900
Raw data (stat): 9900 (bsolo_lpr) R 9899 7876 7672 0 -1 0 26604 0 0 0 104912 101 0 0 25 0 1 0 727300601 104816640 23443 4294967295 134512640 134714508 3221221792 3221217940 1075115060 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25590 23443 1111 63 0 25527 0
vsize: 102360
[startup+1060.05 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9900
Raw data (stat): 9900 (bsolo_lpr) R 9899 7876 7672 0 -1 0 26608 0 0 0 105912 101 0 0 25 0 1 0 727300601 104816640 23445 4294967295 134512640 134714508 3221221792 3221217940 1075115060 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25590 23445 1111 63 0 25527 0
vsize: 102360
[startup+1070.05 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9900
Raw data (stat): 9900 (bsolo_lpr) R 9899 7876 7672 0 -1 0 26611 0 0 0 106912 101 0 0 25 0 1 0 727300601 104816640 23446 4294967295 134512640 134714508 3221221792 3221218240 1075397167 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25590 23446 1111 63 0 25527 0
vsize: 102360
[startup+1080.05 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9900
Raw data (stat): 9900 (bsolo_lpr) R 9899 7876 7672 0 -1 0 26614 0 0 0 107912 101 0 0 25 0 1 0 727300601 104816640 23447 4294967295 134512640 134714508 3221221792 3221217724 1074788950 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25590 23447 1111 63 0 25527 0
vsize: 102360
[startup+1090.05 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9900
Raw data (stat): 9900 (bsolo_lpr) R 9899 7876 7672 0 -1 0 26620 0 0 0 108912 101 0 0 25 0 1 0 727300601 104816640 23451 4294967295 134512640 134714508 3221221792 3221217644 1074788177 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25590 23451 1111 63 0 25527 0
vsize: 102360
[startup+1100.05 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9900
Raw data (stat): 9900 (bsolo_lpr) R 9899 7876 7672 0 -1 0 26751 0 0 0 109912 102 0 0 25 0 1 0 727300601 105541632 23580 4294967295 134512640 134714508 3221221792 3221217804 1075663503 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25767 23580 1111 63 0 25704 0
vsize: 103068
[startup+1110.05 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9900
Raw data (stat): 9900 (bsolo_lpr) R 9899 7876 7672 0 -1 0 26770 0 0 0 110912 102 0 0 25 0 1 0 727300601 105541632 23595 4294967295 134512640 134714508 3221221792 3221217596 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25767 23595 1111 63 0 25704 0
vsize: 103068
[startup+1120.05 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9900
Raw data (stat): 9900 (bsolo_lpr) R 9899 7876 7672 0 -1 0 26773 0 0 0 111912 102 0 0 25 0 1 0 727300601 105541632 23596 4294967295 134512640 134714508 3221221792 3221217856 1074969949 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25767 23596 1111 63 0 25704 0
vsize: 103068
[startup+1130.06 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9900
Raw data (stat): 9900 (bsolo_lpr) R 9899 7876 7672 0 -1 0 26775 0 0 0 112913 102 0 0 25 0 1 0 727300601 105541632 23596 4294967295 134512640 134714508 3221221792 3221217724 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25767 23596 1111 63 0 25704 0
vsize: 103068
[startup+1140.06 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9900
Raw data (stat): 9900 (bsolo_lpr) R 9899 7876 7672 0 -1 0 26777 0 0 0 113913 102 0 0 25 0 1 0 727300601 105541632 23596 4294967295 134512640 134714508 3221221792 3221217620 1074786537 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25767 23596 1111 63 0 25704 0
vsize: 103068
[startup+1150.06 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9900
Raw data (stat): 9900 (bsolo_lpr) R 9899 7876 7672 0 -1 0 26785 0 0 0 114913 102 0 0 25 0 1 0 727300601 105541632 23602 4294967295 134512640 134714508 3221221792 3221217724 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25767 23602 1111 63 0 25704 0
vsize: 103068
[startup+1160.06 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9900
Raw data (stat): 9900 (bsolo_lpr) R 9899 7876 7672 0 -1 0 26789 0 0 0 115913 102 0 0 25 0 1 0 727300601 105541632 23604 4294967295 134512640 134714508 3221221792 3221217940 1075115043 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25767 23604 1111 63 0 25704 0
vsize: 103068
[startup+1170.06 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9900
Raw data (stat): 9900 (bsolo_lpr) R 9899 7876 7672 0 -1 0 26796 0 0 0 116913 102 0 0 25 0 1 0 727300601 105783296 23609 4294967295 134512640 134714508 3221221792 3221218480 1076084152 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25826 23609 1111 63 0 25763 0
vsize: 103304
[startup+1180.06 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9900
Raw data (stat): 9900 (bsolo_lpr) R 9899 7876 7672 0 -1 0 26799 0 0 0 117914 102 0 0 25 0 1 0 727300601 105541632 23608 4294967295 134512640 134714508 3221221792 3221217952 1075115715 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25767 23608 1111 63 0 25704 0
vsize: 103068
[startup+1190.06 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9900
Raw data (stat): 9900 (bsolo_lpr) R 9899 7876 7672 0 -1 0 26807 0 0 0 118914 102 0 0 25 0 1 0 727300601 105541632 23614 4294967295 134512640 134714508 3221221792 3221218256 1075088563 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25767 23614 1111 63 0 25704 0
vsize: 103068
[startup+1200.06 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9900
Raw data (stat): 9900 (bsolo_lpr) R 9899 7876 7672 0 -1 0 26815 0 0 0 119914 103 0 0 25 0 1 0 727300601 105541632 23620 4294967295 134512640 134714508 3221221792 3221217680 1075965256 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25767 23620 1111 63 0 25704 0
vsize: 103068
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.11 s]
Raw data (loadavg): 1.00 1.00 0.99 1/55 9900
Raw data (stat): 9900 (bsolo_lpr) Z 9899 7876 7672 0 -1 1036 26815 0 0 0 119914 107 0 0 25 0 1 0 727300601 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.22
CPU user time (s): 1199.14
CPU system time (s): 1.07684
CPU usage (%): 100.009
Max. virtual memory (Kb): 103304
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####