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/uclid_pb_benchmarks/normalized-cache-ibm-q-unbounded.Icl2arity.ucl.opb
MD5SUM	447ba4f56421c253ecaa010c1957f4f6
Bench Category	no optimization function (SAT)
Has Objective Function	NO
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	0
Biggest coefficient in the objective function	0
Number of bits for the biggest coefficient in the objective function	0
Sum of the numbers in the objective function	0
Number of bits of the sum of numbers in the objective function	0
Biggest number in a constraint	66
Number of bits of the biggest number in a constraint	7
Biggest sum of numbers in a constraint	256
Number of bits of the biggest sum of numbers	9
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	5.59415
Number of variables	23837
Total number of constraints	67568
Number of constraints which are clauses	64398
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	3170
Minimum length of a constraint	1
Maximum length of a constraint	13
Trace number 24542

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-11 00:14:39 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2521 boxname=wulflinc31 idbench=281 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  447ba4f56421c253ecaa010c1957f4f6  /oldhome/oroussel/tmp/wulflinc31/normalized-cache-ibm-q-unbounded.Icl2arity.ucl.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-cache-ibm-q-unbounded.Icl2arity.ucl.opb
IDLAUNCH: 2521
/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:        918352 kB
Buffers:         31848 kB
Cached:          59520 kB
SwapCached:       1588 kB
Active:          49624 kB
Inactive:        44488 kB
HighTotal:      131008 kB
HighFree:        74144 kB
LowTotal:       903652 kB
LowFree:        844208 kB
SwapTotal:     2097892 kB
SwapFree:      2095268 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           4812 kB
Slab:            16528 kB
Committed_AS:    63652 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-11 00:34:42 (client local time) WITH STATUS 0 IN 1200.44 SECONDS
stats: 2521 7 1200.44 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c INFO: No cost function. Find solution and finish.
c Initial problem consists of 23837 variables and 67568 constraints.
#### 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.93 2/54 19822
Raw data (stat): 19822 (runsolver) R 19821 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 713483747 1056768 100 4294967295 134512640 135381576 3221221664 3221216884 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.001 s]
Raw data (loadavg): 0.94 0.98 0.93 2/54 19822
Raw data (stat): 19822 (bsolo_lpr) R 19821 7876 7672 0 -1 0 14390 0 0 0 958 37 0 0 25 0 1 0 713483747 47525888 8316 4294967295 134512640 134714508 3221221760 3221220156 1076647540 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11603 8316 1111 63 0 11540 0
vsize: 46412
[startup+20.0021 s]
Raw data (loadavg): 0.95 0.98 0.93 2/54 19822
Raw data (stat): 19822 (bsolo_lpr) R 19821 7876 7672 0 -1 0 53830 0 0 0 1867 128 0 0 25 0 1 0 713483747 151199744 35939 4294967295 134512640 134714508 3221221760 3221220400 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36914 35939 1111 63 0 36851 0
vsize: 147656
[startup+30.0029 s]
Raw data (loadavg): 0.95 0.98 0.93 2/54 19822
Raw data (stat): 19822 (bsolo_lpr) R 19821 7876 7672 0 -1 0 59199 0 0 0 2855 140 0 0 25 0 1 0 713483747 173035520 41270 4294967295 134512640 134714508 3221221760 3221220368 134529376 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42245 41270 1111 63 0 42182 0
vsize: 168980
[startup+40.0037 s]
Raw data (loadavg): 0.96 0.98 0.93 2/54 19822
Raw data (stat): 19822 (bsolo_lpr) R 19821 7876 7672 0 -1 0 59199 0 0 0 3855 140 0 0 25 0 1 0 713483747 173035520 41270 4294967295 134512640 134714508 3221221760 3221220488 134672906 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42245 41270 1111 63 0 42182 0
vsize: 168980
[startup+50.0046 s]
Raw data (loadavg): 0.97 0.98 0.93 2/54 19822
Raw data (stat): 19822 (bsolo_lpr) R 19821 7876 7672 0 -1 0 70063 0 0 0 4829 166 0 0 25 0 1 0 713483747 217378816 52096 4294967295 134512640 134714508 3221221760 3221220560 134617242 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 53071 52096 1111 63 0 53008 0
vsize: 212284
[startup+60.0056 s]
Raw data (loadavg): 0.97 0.98 0.93 2/54 19822
Raw data (stat): 19822 (bsolo_lpr) R 19821 7876 7672 0 -1 0 86888 0 0 0 5790 205 0 0 25 0 1 0 713483747 286138368 68883 4294967295 134512640 134714508 3221221760 3221220512 134630795 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+70.0056 s]
Raw data (loadavg): 0.97 0.98 0.93 2/54 19822
Raw data (stat): 19822 (bsolo_lpr) R 19821 7876 7672 0 -1 0 86888 0 0 0 6790 205 0 0 25 0 1 0 713483747 286138368 68883 4294967295 134512640 134714508 3221221760 3221220288 134542851 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+80.0065 s]
Raw data (loadavg): 0.98 0.98 0.93 2/54 19822
Raw data (stat): 19822 (bsolo_lpr) R 19821 7876 7672 0 -1 0 86888 0 0 0 7790 205 0 0 25 0 1 0 713483747 286138368 68883 4294967295 134512640 134714508 3221221760 3221220400 134606494 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+90.0075 s]
Raw data (loadavg): 0.98 0.98 0.93 2/54 19822
Raw data (stat): 19822 (bsolo_lpr) R 19821 7876 7672 0 -1 0 86888 0 0 0 8790 206 0 0 25 0 1 0 713483747 286138368 68883 4294967295 134512640 134714508 3221221760 3221220144 134542352 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+100.008 s]
Raw data (loadavg): 0.98 0.98 0.93 2/54 19822
Raw data (stat): 19822 (bsolo_lpr) R 19821 7876 7672 0 -1 0 86888 0 0 0 9790 206 0 0 25 0 1 0 713483747 286138368 68883 4294967295 134512640 134714508 3221221760 3221220092 134535952 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+110.009 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19822
Raw data (stat): 19822 (bsolo_lpr) R 19821 7876 7672 0 -1 0 86888 0 0 0 10789 206 0 0 25 0 1 0 713483747 286138368 68883 4294967295 134512640 134714508 3221221760 3221220560 134617624 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+120.01 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19822
Raw data (stat): 19822 (bsolo_lpr) R 19821 7876 7672 0 -1 0 86888 0 0 0 11789 207 0 0 25 0 1 0 713483747 286138368 68883 4294967295 134512640 134714508 3221221760 3221220400 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+130.011 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19822
Raw data (stat): 19822 (bsolo_lpr) R 19821 7876 7672 0 -1 0 86888 0 0 0 12789 207 0 0 25 0 1 0 713483747 286138368 68883 4294967295 134512640 134714508 3221221760 3221220268 134523848 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+140.012 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19822
Raw data (stat): 19822 (bsolo_lpr) R 19821 7876 7672 0 -1 0 86888 0 0 0 13789 207 0 0 25 0 1 0 713483747 286138368 68883 4294967295 134512640 134714508 3221221760 3221220560 134617624 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+150.013 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19822
Raw data (stat): 19822 (bsolo_lpr) R 19821 7876 7672 0 -1 0 86888 0 0 0 14788 208 0 0 25 0 1 0 713483747 286138368 68883 4294967295 134512640 134714508 3221221760 3221220400 134606498 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+160.014 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19822
Raw data (stat): 19822 (bsolo_lpr) R 19821 7876 7672 0 -1 0 86888 0 0 0 15788 208 0 0 25 0 1 0 713483747 286138368 68883 4294967295 134512640 134714508 3221221760 3221220368 134529381 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+170.014 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19822
Raw data (stat): 19822 (bsolo_lpr) R 19821 7876 7672 0 -1 0 86888 0 0 0 16788 208 0 0 25 0 1 0 713483747 286138368 68883 4294967295 134512640 134714508 3221221760 3221220144 134542352 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+180.015 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19822
Raw data (stat): 19822 (bsolo_lpr) R 19821 7876 7672 0 -1 0 86888 0 0 0 17788 208 0 0 25 0 1 0 713483747 286138368 68883 4294967295 134512640 134714508 3221221760 3221220400 134606474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+190.015 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19822
Raw data (stat): 19822 (bsolo_lpr) R 19821 7876 7672 0 -1 0 86888 0 0 0 18788 209 0 0 25 0 1 0 713483747 286138368 68883 4294967295 134512640 134714508 3221221760 3221220124 134539223 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+200.016 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19822
Raw data (stat): 19822 (bsolo_lpr) R 19821 7876 7672 0 -1 0 86888 0 0 0 19788 209 0 0 25 0 1 0 713483747 286138368 68883 4294967295 134512640 134714508 3221221760 3221220492 134672896 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+210.016 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19822
Raw data (stat): 19822 (bsolo_lpr) R 19821 7876 7672 0 -1 0 86888 0 0 0 20788 209 0 0 25 0 1 0 713483747 286138368 68883 4294967295 134512640 134714508 3221221760 3221220252 134543615 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+220.016 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19822
Raw data (stat): 19822 (bsolo_lpr) R 19821 7876 7672 0 -1 0 86888 0 0 0 21788 209 0 0 25 0 1 0 713483747 286138368 68883 4294967295 134512640 134714508 3221221760 3221220092 134535978 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+230.017 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19822
Raw data (stat): 19822 (bsolo_lpr) R 19821 7876 7672 0 -1 0 86888 0 0 0 22789 209 0 0 25 0 1 0 713483747 286138368 68883 4294967295 134512640 134714508 3221221760 3221220400 134606479 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+240.017 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19822
Raw data (stat): 19822 (bsolo_lpr) R 19821 7876 7672 0 -1 0 86888 0 0 0 23789 209 0 0 25 0 1 0 713483747 286138368 68883 4294967295 134512640 134714508 3221221760 3221220512 134630798 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+250.018 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19822
Raw data (stat): 19822 (bsolo_lpr) R 19821 7876 7672 0 -1 0 86888 0 0 0 24789 209 0 0 25 0 1 0 713483747 286138368 68883 4294967295 134512640 134714508 3221221760 3221220400 134606494 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+260.019 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19822
Raw data (stat): 19822 (bsolo_lpr) R 19821 7876 7672 0 -1 0 86888 0 0 0 25789 209 0 0 25 0 1 0 713483747 286138368 68883 4294967295 134512640 134714508 3221221760 3221220492 134543553 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+270.019 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19822
Raw data (stat): 19822 (bsolo_lpr) R 19821 7876 7672 0 -1 0 86888 0 0 0 26789 209 0 0 25 0 1 0 713483747 286138368 68883 4294967295 134512640 134714508 3221221760 3221220376 134543796 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+280.02 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19822
Raw data (stat): 19822 (bsolo_lpr) R 19821 7876 7672 0 -1 0 86888 0 0 0 27789 209 0 0 25 0 1 0 713483747 286138368 68883 4294967295 134512640 134714508 3221221760 3221220488 134672906 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+290.021 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19822
Raw data (stat): 19822 (bsolo_lpr) R 19821 7876 7672 0 -1 0 86888 0 0 0 28790 209 0 0 25 0 1 0 713483747 286138368 68883 4294967295 134512640 134714508 3221221760 3221220124 134539301 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+300.021 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19822
Raw data (stat): 19822 (bsolo_lpr) R 19821 7876 7672 0 -1 0 86888 0 0 0 29790 209 0 0 25 0 1 0 713483747 286138368 68883 4294967295 134512640 134714508 3221221760 3221220400 134606468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+310.022 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19822
Raw data (stat): 19822 (bsolo_lpr) R 19821 7876 7672 0 -1 0 86888 0 0 0 30790 209 0 0 25 0 1 0 713483747 286138368 68883 4294967295 134512640 134714508 3221221760 3221220512 134630792 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+320.022 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19822
Raw data (stat): 19822 (bsolo_lpr) R 19821 7876 7672 0 -1 0 86888 0 0 0 31790 209 0 0 25 0 1 0 713483747 286138368 68883 4294967295 134512640 134714508 3221221760 3221220384 134529030 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+330.023 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19822
Raw data (stat): 19822 (bsolo_lpr) R 19821 7876 7672 0 -1 0 86888 0 0 0 32790 210 0 0 25 0 1 0 713483747 286138368 68883 4294967295 134512640 134714508 3221221760 3221220388 134594953 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+340.022 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19822
Raw data (stat): 19822 (bsolo_lpr) R 19821 7876 7672 0 -1 0 86888 0 0 0 33790 210 0 0 25 0 1 0 713483747 286138368 68883 4294967295 134512640 134714508 3221221760 3221220376 134543804 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+350.023 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19822
Raw data (stat): 19822 (bsolo_lpr) R 19821 7876 7672 0 -1 0 86888 0 0 0 34791 210 0 0 25 0 1 0 713483747 286138368 68883 4294967295 134512640 134714508 3221221760 3221220512 134630792 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+360.023 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19822
Raw data (stat): 19822 (bsolo_lpr) R 19821 7876 7672 0 -1 0 86888 0 0 0 35791 210 0 0 25 0 1 0 713483747 286138368 68883 4294967295 134512640 134714508 3221221760 3221220240 134539374 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+370.023 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19822
Raw data (stat): 19822 (bsolo_lpr) R 19821 7876 7672 0 -1 0 86888 0 0 0 36791 210 0 0 25 0 1 0 713483747 286138368 68883 4294967295 134512640 134714508 3221221760 3221220400 134606474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+380.024 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19822
Raw data (stat): 19822 (bsolo_lpr) R 19821 7876 7672 0 -1 0 86888 0 0 0 37791 210 0 0 25 0 1 0 713483747 286138368 68883 4294967295 134512640 134714508 3221221760 3221220488 134672913 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+390.025 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19822
Raw data (stat): 19822 (bsolo_lpr) R 19821 7876 7672 0 -1 0 86888 0 0 0 38791 210 0 0 25 0 1 0 713483747 286138368 68883 4294967295 134512640 134714508 3221221760 3221220512 134630792 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+400.025 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19822
Raw data (stat): 19822 (bsolo_lpr) R 19821 7876 7672 0 -1 0 86888 0 0 0 39791 210 0 0 25 0 1 0 713483747 286138368 68883 4294967295 134512640 134714508 3221221760 3221220224 134542350 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+410.025 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19822
Raw data (stat): 19822 (bsolo_lpr) R 19821 7876 7672 0 -1 0 86888 0 0 0 40792 210 0 0 25 0 1 0 713483747 286138368 68883 4294967295 134512640 134714508 3221221760 3221220400 134606494 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+420.025 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19822
Raw data (stat): 19822 (bsolo_lpr) R 19821 7876 7672 0 -1 0 86888 0 0 0 41792 210 0 0 25 0 1 0 713483747 286138368 68883 4294967295 134512640 134714508 3221221760 3221220488 134672913 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+430.026 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19822
Raw data (stat): 19822 (bsolo_lpr) R 19821 7876 7672 0 -1 0 86888 0 0 0 42792 210 0 0 25 0 1 0 713483747 286138368 68883 4294967295 134512640 134714508 3221221760 3221220268 134543615 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+440.026 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19822
Raw data (stat): 19822 (bsolo_lpr) R 19821 7876 7672 0 -1 0 86888 0 0 0 43792 210 0 0 25 0 1 0 713483747 286138368 68883 4294967295 134512640 134714508 3221221760 3221220240 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+450.026 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19822
Raw data (stat): 19822 (bsolo_lpr) R 19821 7876 7672 0 -1 0 86888 0 0 0 44792 210 0 0 25 0 1 0 713483747 286138368 68883 4294967295 134512640 134714508 3221221760 3221220240 134524067 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+460.027 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19822
Raw data (stat): 19822 (bsolo_lpr) R 19821 7876 7672 0 -1 0 86888 0 0 0 45792 210 0 0 25 0 1 0 713483747 286138368 68883 4294967295 134512640 134714508 3221221760 3221220220 134536748 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+470.027 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19822
Raw data (stat): 19822 (bsolo_lpr) R 19821 7876 7672 0 -1 0 86888 0 0 0 46792 210 0 0 25 0 1 0 713483747 286138368 68883 4294967295 134512640 134714508 3221221760 3221220512 134630792 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+480.028 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19822
Raw data (stat): 19822 (bsolo_lpr) R 19821 7876 7672 0 -1 0 86888 0 0 0 47793 210 0 0 25 0 1 0 713483747 286138368 68883 4294967295 134512640 134714508 3221221760 3221220560 134617242 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+490.027 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19822
Raw data (stat): 19822 (bsolo_lpr) R 19821 7876 7672 0 -1 0 86888 0 0 0 48793 210 0 0 25 0 1 0 713483747 286138368 68883 4294967295 134512640 134714508 3221221760 3221220488 134543552 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+500.027 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19822
Raw data (stat): 19822 (bsolo_lpr) R 19821 7876 7672 0 -1 0 86888 0 0 0 49793 210 0 0 25 0 1 0 713483747 286138368 68883 4294967295 134512640 134714508 3221221760 3221220376 134543796 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+510.027 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19822
Raw data (stat): 19822 (bsolo_lpr) R 19821 7876 7672 0 -1 0 86888 0 0 0 50793 210 0 0 25 0 1 0 713483747 286138368 68883 4294967295 134512640 134714508 3221221760 3221220400 134606488 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+520.027 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19822
Raw data (stat): 19822 (bsolo_lpr) R 19821 7876 7672 0 -1 0 86888 0 0 0 51793 210 0 0 25 0 1 0 713483747 286138368 68883 4294967295 134512640 134714508 3221221760 3221220376 134543793 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+530.029 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19822
Raw data (stat): 19822 (bsolo_lpr) R 19821 7876 7672 0 -1 0 86888 0 0 0 52793 210 0 0 25 0 1 0 713483747 286138368 68883 4294967295 134512640 134714508 3221221760 3221220400 134606485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+540.029 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19822
Raw data (stat): 19822 (bsolo_lpr) R 19821 7876 7672 0 -1 0 86888 0 0 0 53794 210 0 0 25 0 1 0 713483747 286138368 68883 4294967295 134512640 134714508 3221221760 3221220092 134535928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+550.029 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19822
Raw data (stat): 19822 (bsolo_lpr) R 19821 7876 7672 0 -1 0 86888 0 0 0 54794 210 0 0 25 0 1 0 713483747 286138368 68883 4294967295 134512640 134714508 3221221760 3221220488 134672906 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+560.03 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19822
Raw data (stat): 19822 (bsolo_lpr) R 19821 7876 7672 0 -1 0 86888 0 0 0 55794 210 0 0 25 0 1 0 713483747 286138368 68883 4294967295 134512640 134714508 3221221760 3221220240 134539411 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+570.03 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19822
Raw data (stat): 19822 (bsolo_lpr) R 19821 7876 7672 0 -1 0 86888 0 0 0 56794 210 0 0 25 0 1 0 713483747 286138368 68883 4294967295 134512640 134714508 3221221760 3221220228 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+580.031 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19822
Raw data (stat): 19822 (bsolo_lpr) R 19821 7876 7672 0 -1 0 86888 0 0 0 57795 210 0 0 25 0 1 0 713483747 286138368 68883 4294967295 134512640 134714508 3221221760 3221220376 134543804 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+590.032 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19822
Raw data (stat): 19822 (bsolo_lpr) R 19821 7876 7672 0 -1 0 86888 0 0 0 58795 210 0 0 25 0 1 0 713483747 286138368 68883 4294967295 134512640 134714508 3221221760 3221220488 134672911 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+600.032 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19822
Raw data (stat): 19822 (bsolo_lpr) R 19821 7876 7672 0 -1 0 86888 0 0 0 59795 210 0 0 25 0 1 0 713483747 286138368 68883 4294967295 134512640 134714508 3221221760 3221220376 134543796 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+610.033 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19822
Raw data (stat): 19822 (bsolo_lpr) R 19821 7876 7672 0 -1 0 86888 0 0 0 60795 210 0 0 25 0 1 0 713483747 286138368 68883 4294967295 134512640 134714508 3221221760 3221220488 134672932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+620.033 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19822
Raw data (stat): 19822 (bsolo_lpr) R 19821 7876 7672 0 -1 0 86888 0 0 0 61795 210 0 0 25 0 1 0 713483747 286138368 68883 4294967295 134512640 134714508 3221221760 3221220240 134543110 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+630.034 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19822
Raw data (stat): 19822 (bsolo_lpr) R 19821 7876 7672 0 -1 0 86888 0 0 0 62795 210 0 0 25 0 1 0 713483747 286138368 68883 4294967295 134512640 134714508 3221221760 3221220500 134630830 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+640.033 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19822
Raw data (stat): 19822 (bsolo_lpr) R 19821 7876 7672 0 -1 0 86888 0 0 0 63796 210 0 0 25 0 1 0 713483747 286138368 68883 4294967295 134512640 134714508 3221221760 3221220488 134672897 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+650.034 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19822
Raw data (stat): 19822 (bsolo_lpr) R 19821 7876 7672 0 -1 0 86888 0 0 0 64796 210 0 0 25 0 1 0 713483747 286138368 68883 4294967295 134512640 134714508 3221221760 3221220400 134594947 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+660.034 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19822
Raw data (stat): 19822 (bsolo_lpr) R 19821 7876 7672 0 -1 0 86888 0 0 0 65796 210 0 0 25 0 1 0 713483747 286138368 68883 4294967295 134512640 134714508 3221221760 3221220092 134535956 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+670.034 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19822
Raw data (stat): 19822 (bsolo_lpr) R 19821 7876 7672 0 -1 0 86888 0 0 0 66796 210 0 0 25 0 1 0 713483747 286138368 68883 4294967295 134512640 134714508 3221221760 3221220168 134543589 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+680.035 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19822
Raw data (stat): 19822 (bsolo_lpr) R 19821 7876 7672 0 -1 0 86888 0 0 0 67796 210 0 0 25 0 1 0 713483747 286138368 68883 4294967295 134512640 134714508 3221221760 3221220240 134536630 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+690.036 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19822
Raw data (stat): 19822 (bsolo_lpr) R 19821 7876 7672 0 -1 0 86888 0 0 0 68797 210 0 0 25 0 1 0 713483747 286138368 68883 4294967295 134512640 134714508 3221221760 3221220232 134543078 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+700.036 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19822
Raw data (stat): 19822 (bsolo_lpr) R 19821 7876 7672 0 -1 0 86888 0 0 0 69797 210 0 0 25 0 1 0 713483747 286138368 68883 4294967295 134512640 134714508 3221221760 3221220400 134606474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+710.037 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19822
Raw data (stat): 19822 (bsolo_lpr) R 19821 7876 7672 0 -1 0 86888 0 0 0 70797 210 0 0 25 0 1 0 713483747 286138368 68883 4294967295 134512640 134714508 3221221760 3221220400 134594947 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+720.037 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19822
Raw data (stat): 19822 (bsolo_lpr) R 19821 7876 7672 0 -1 0 86888 0 0 0 71797 210 0 0 25 0 1 0 713483747 286138368 68883 4294967295 134512640 134714508 3221221760 3221220376 134543793 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+730.038 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19822
Raw data (stat): 19822 (bsolo_lpr) R 19821 7876 7672 0 -1 0 86888 0 0 0 72797 210 0 0 25 0 1 0 713483747 286138368 68883 4294967295 134512640 134714508 3221221760 3221220288 134528410 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+740.038 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19822
Raw data (stat): 19822 (bsolo_lpr) R 19821 7876 7672 0 -1 0 86888 0 0 0 73797 210 0 0 25 0 1 0 713483747 286138368 68883 4294967295 134512640 134714508 3221221760 3221220400 134606494 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+750.038 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19822
Raw data (stat): 19822 (bsolo_lpr) R 19821 7876 7672 0 -1 0 86888 0 0 0 74798 210 0 0 25 0 1 0 713483747 286138368 68883 4294967295 134512640 134714508 3221221760 3221220400 134594970 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+760.039 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19822
Raw data (stat): 19822 (bsolo_lpr) R 19821 7876 7672 0 -1 0 86888 0 0 0 75798 210 0 0 25 0 1 0 713483747 286138368 68883 4294967295 134512640 134714508 3221221760 3221220512 134630792 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+770.039 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19822
Raw data (stat): 19822 (bsolo_lpr) R 19821 7876 7672 0 -1 0 86888 0 0 0 76798 210 0 0 25 0 1 0 713483747 286138368 68883 4294967295 134512640 134714508 3221221760 3221220560 134617242 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+780.039 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19822
Raw data (stat): 19822 (bsolo_lpr) R 19821 7876 7672 0 -1 0 86888 0 0 0 77798 210 0 0 25 0 1 0 713483747 286138368 68883 4294967295 134512640 134714508 3221221760 3221220536 134586765 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+790.039 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19822
Raw data (stat): 19822 (bsolo_lpr) R 19821 7876 7672 0 -1 0 86888 0 0 0 78798 211 0 0 25 0 1 0 713483747 286138368 68883 4294967295 134512640 134714508 3221221760 3221220240 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+800.039 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19822
Raw data (stat): 19822 (bsolo_lpr) R 19821 7876 7672 0 -1 0 86888 0 0 0 79798 211 0 0 25 0 1 0 713483747 286138368 68883 4294967295 134512640 134714508 3221221760 3221220400 134606494 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+810.04 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19822
Raw data (stat): 19822 (bsolo_lpr) R 19821 7876 7672 0 -1 0 86888 0 0 0 80798 211 0 0 25 0 1 0 713483747 286138368 68883 4294967295 134512640 134714508 3221221760 3221220540 134630764 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+820.04 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19822
Raw data (stat): 19822 (bsolo_lpr) R 19821 7876 7672 0 -1 0 86888 0 0 0 81798 211 0 0 25 0 1 0 713483747 286138368 68883 4294967295 134512640 134714508 3221221760 3221220124 134539301 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+830.041 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19822
Raw data (stat): 19822 (bsolo_lpr) R 19821 7876 7672 0 -1 0 86888 0 0 0 82798 211 0 0 25 0 1 0 713483747 286138368 68883 4294967295 134512640 134714508 3221221760 3221220240 134539462 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+840.042 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19822
Raw data (stat): 19822 (bsolo_lpr) R 19821 7876 7672 0 -1 0 86888 0 0 0 83798 211 0 0 25 0 1 0 713483747 286138368 68883 4294967295 134512640 134714508 3221221760 3221220488 134672913 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+850.042 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19822
Raw data (stat): 19822 (bsolo_lpr) R 19821 7876 7672 0 -1 0 86888 0 0 0 84799 211 0 0 25 0 1 0 713483747 286138368 68883 4294967295 134512640 134714508 3221221760 3221220400 134606474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+860.043 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19822
Raw data (stat): 19822 (bsolo_lpr) R 19821 7876 7672 0 -1 0 86888 0 0 0 85799 211 0 0 25 0 1 0 713483747 286138368 68883 4294967295 134512640 134714508 3221221760 3221220512 134630795 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+870.044 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19822
Raw data (stat): 19822 (bsolo_lpr) R 19821 7876 7672 0 -1 0 86888 0 0 0 86799 211 0 0 25 0 1 0 713483747 286138368 68883 4294967295 134512640 134714508 3221221760 3221220400 134606488 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+880.044 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19822
Raw data (stat): 19822 (bsolo_lpr) R 19821 7876 7672 0 -1 0 86888 0 0 0 87799 211 0 0 25 0 1 0 713483747 286138368 68883 4294967295 134512640 134714508 3221221760 3221220488 134543541 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+890.044 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19822
Raw data (stat): 19822 (bsolo_lpr) R 19821 7876 7672 0 -1 0 86888 0 0 0 88799 211 0 0 25 0 1 0 713483747 286138368 68883 4294967295 134512640 134714508 3221221760 3221220268 134543653 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+900.045 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19822
Raw data (stat): 19822 (bsolo_lpr) R 19821 7876 7672 0 -1 0 86888 0 0 0 89799 211 0 0 25 0 1 0 713483747 286138368 68883 4294967295 134512640 134714508 3221221760 3221220400 134606498 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+910.046 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19822
Raw data (stat): 19822 (bsolo_lpr) R 19821 7876 7672 0 -1 0 86888 0 0 0 90800 211 0 0 25 0 1 0 713483747 286138368 68883 4294967295 134512640 134714508 3221221760 3221220488 134672913 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+920.046 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19822
Raw data (stat): 19822 (bsolo_lpr) R 19821 7876 7672 0 -1 0 86888 0 0 0 91800 211 0 0 25 0 1 0 713483747 286138368 68883 4294967295 134512640 134714508 3221221760 3221220488 134672906 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+930.047 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19822
Raw data (stat): 19822 (bsolo_lpr) R 19821 7876 7672 0 -1 0 86888 0 0 0 92800 212 0 0 25 0 1 0 713483747 286138368 68883 4294967295 134512640 134714508 3221221760 3221220400 134594947 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+940.047 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19822
Raw data (stat): 19822 (bsolo_lpr) R 19821 7876 7672 0 -1 0 86888 0 0 0 93800 212 0 0 25 0 1 0 713483747 286138368 68883 4294967295 134512640 134714508 3221221760 3221220168 134543606 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+950.048 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19822
Raw data (stat): 19822 (bsolo_lpr) R 19821 7876 7672 0 -1 0 86888 0 0 0 94800 212 0 0 25 0 1 0 713483747 286138368 68883 4294967295 134512640 134714508 3221221760 3221220400 134595011 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+960.048 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19822
Raw data (stat): 19822 (bsolo_lpr) R 19821 7876 7672 0 -1 0 86888 0 0 0 95801 212 0 0 25 0 1 0 713483747 286138368 68883 4294967295 134512640 134714508 3221221760 3221220264 134543614 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+970.048 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19822
Raw data (stat): 19822 (bsolo_lpr) R 19821 7876 7672 0 -1 0 86888 0 0 0 96801 212 0 0 25 0 1 0 713483747 286138368 68883 4294967295 134512640 134714508 3221221760 3221220240 134536600 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+980.049 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19822
Raw data (stat): 19822 (bsolo_lpr) R 19821 7876 7672 0 -1 0 86888 0 0 0 97801 212 0 0 25 0 1 0 713483747 286138368 68883 4294967295 134512640 134714508 3221221760 3221220180 134543703 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+990.049 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19822
Raw data (stat): 19822 (bsolo_lpr) R 19821 7876 7672 0 -1 0 86888 0 0 0 98801 212 0 0 25 0 1 0 713483747 286138368 68883 4294967295 134512640 134714508 3221221760 3221220172 134543653 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+1000.05 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19822
Raw data (stat): 19822 (bsolo_lpr) R 19821 7876 7672 0 -1 0 86888 0 0 0 99801 212 0 0 25 0 1 0 713483747 286138368 68883 4294967295 134512640 134714508 3221221760 3221220560 134617242 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+1010.05 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19822
Raw data (stat): 19822 (bsolo_lpr) R 19821 7876 7672 0 -1 0 86888 0 0 0 100801 212 0 0 25 0 1 0 713483747 286138368 68883 4294967295 134512640 134714508 3221221760 3221220400 134606494 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+1020.05 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19822
Raw data (stat): 19822 (bsolo_lpr) R 19821 7876 7672 0 -1 0 86888 0 0 0 101801 212 0 0 25 0 1 0 713483747 286138368 68883 4294967295 134512640 134714508 3221221760 3221220240 134539374 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+1030.05 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19822
Raw data (stat): 19822 (bsolo_lpr) R 19821 7876 7672 0 -1 0 86888 0 0 0 102802 212 0 0 25 0 1 0 713483747 286138368 68883 4294967295 134512640 134714508 3221221760 3221220240 134539516 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+1040.05 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19822
Raw data (stat): 19822 (bsolo_lpr) R 19821 7876 7672 0 -1 0 86888 0 0 0 103802 212 0 0 25 0 1 0 713483747 286138368 68883 4294967295 134512640 134714508 3221221760 3221220388 134594953 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+1050.05 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19822
Raw data (stat): 19822 (bsolo_lpr) R 19821 7876 7672 0 -1 0 86888 0 0 0 104802 212 0 0 25 0 1 0 713483747 286138368 68883 4294967295 134512640 134714508 3221221760 3221220400 134606494 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+1060.05 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19822
Raw data (stat): 19822 (bsolo_lpr) R 19821 7876 7672 0 -1 0 86888 0 0 0 105802 212 0 0 25 0 1 0 713483747 286138368 68883 4294967295 134512640 134714508 3221221760 3221220124 134539301 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+1070.05 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19822
Raw data (stat): 19822 (bsolo_lpr) R 19821 7876 7672 0 -1 0 86888 0 0 0 106802 212 0 0 25 0 1 0 713483747 286138368 68883 4294967295 134512640 134714508 3221221760 3221220400 134606468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+1080.05 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19822
Raw data (stat): 19822 (bsolo_lpr) R 19821 7876 7672 0 -1 0 86888 0 0 0 107803 212 0 0 25 0 1 0 713483747 286138368 68883 4294967295 134512640 134714508 3221221760 3221220400 134606479 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+1090.05 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19822
Raw data (stat): 19822 (bsolo_lpr) R 19821 7876 7672 0 -1 0 86888 0 0 0 108803 212 0 0 25 0 1 0 713483747 286138368 68883 4294967295 134512640 134714508 3221221760 3221220400 134606488 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+1100.05 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19822
Raw data (stat): 19822 (bsolo_lpr) R 19821 7876 7672 0 -1 0 86888 0 0 0 109803 212 0 0 25 0 1 0 713483747 286138368 68883 4294967295 134512640 134714508 3221221760 3221220400 134606479 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+1110.05 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19822
Raw data (stat): 19822 (bsolo_lpr) R 19821 7876 7672 0 -1 0 86888 0 0 0 110803 212 0 0 25 0 1 0 713483747 286138368 68883 4294967295 134512640 134714508 3221221760 3221220168 134543606 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+1120.05 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19822
Raw data (stat): 19822 (bsolo_lpr) R 19821 7876 7672 0 -1 0 86888 0 0 0 111803 212 0 0 25 0 1 0 713483747 286138368 68883 4294967295 134512640 134714508 3221221760 3221220228 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+1130.06 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19822
Raw data (stat): 19822 (bsolo_lpr) R 19821 7876 7672 0 -1 0 86888 0 0 0 112803 212 0 0 25 0 1 0 713483747 286138368 68883 4294967295 134512640 134714508 3221221760 3221220376 134543804 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+1140.06 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19822
Raw data (stat): 19822 (bsolo_lpr) R 19821 7876 7672 0 -1 0 86888 0 0 0 113804 212 0 0 25 0 1 0 713483747 286138368 68883 4294967295 134512640 134714508 3221221760 3221220272 134543684 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+1150.06 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19822
Raw data (stat): 19822 (bsolo_lpr) R 19821 7876 7672 0 -1 0 86888 0 0 0 114804 212 0 0 25 0 1 0 713483747 286138368 68883 4294967295 134512640 134714508 3221221760 3221220176 134542677 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+1160.06 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19822
Raw data (stat): 19822 (bsolo_lpr) R 19821 7876 7672 0 -1 0 86888 0 0 0 115804 212 0 0 25 0 1 0 713483747 286138368 68883 4294967295 134512640 134714508 3221221760 3221220400 134584866 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+1170.06 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19822
Raw data (stat): 19822 (bsolo_lpr) R 19821 7876 7672 0 -1 0 86888 0 0 0 116804 212 0 0 25 0 1 0 713483747 286138368 68883 4294967295 134512640 134714508 3221221760 3221220400 134594970 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+1180.06 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19822
Raw data (stat): 19822 (bsolo_lpr) R 19821 7876 7672 0 -1 0 86888 0 0 0 117804 212 0 0 25 0 1 0 713483747 286138368 68883 4294967295 134512640 134714508 3221221760 3221220172 1076533124 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+1190.06 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19822
Raw data (stat): 19822 (bsolo_lpr) R 19821 7876 7672 0 -1 0 163160 0 0 0 118630 387 0 0 25 0 1 0 713483747 598392832 145117 4294967295 134512640 134714508 3221221760 3221220368 134529136 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 146092 145117 1111 63 0 146029 0
vsize: 584368
[startup+1200.06 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19822
Raw data (stat): 19822 (bsolo_lpr) R 19821 7876 7672 0 -1 0 163160 0 0 0 119630 387 0 0 25 0 1 0 713483747 598392832 145117 4294967295 134512640 134714508 3221221760 3221220376 134543804 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 146092 145117 1111 63 0 146029 0
vsize: 584368
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.33 s]
Raw data (loadavg): 0.99 0.98 0.93 1/54 19822
Raw data (stat): 19822 (bsolo_lpr) Z 19821 7876 7672 0 -1 1036 163160 0 0 0 119630 414 0 0 25 0 1 0 713483747 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.32
CPU time (s): 1200.44
CPU user time (s): 1196.3
CPU system time (s): 4.14137
CPU usage (%): 100.01
Max. virtual memory (Kb): 584368
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####