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 24543

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-11 00:34:52 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2522 boxname=wulflinc31 idbench=281 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  447ba4f56421c253ecaa010c1957f4f6  /oldhome/oroussel/tmp/wulflinc31/normalized-cache-ibm-q-unbounded.Icl2arity.ucl.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-cache-ibm-q-unbounded.Icl2arity.ucl.opb
IDLAUNCH: 2522
/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:        918096 kB
Buffers:         32388 kB
Cached:          59524 kB
SwapCached:       1588 kB
Active:          52184 kB
Inactive:        42468 kB
HighTotal:      131008 kB
HighFree:        74200 kB
LowTotal:       903652 kB
LowFree:        843896 kB
SwapTotal:     2097892 kB
SwapFree:      2095268 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4812 kB
Slab:            16236 kB
Committed_AS:    63652 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-11 00:54:55 (client local time) WITH STATUS 0 IN 1200.44 SECONDS
stats: 2522 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.92 0.97 0.92 2/54 19914
Raw data (stat): 19914 (runsolver) R 19913 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 713605021 1056768 100 4294967295 134512640 135381576 3221221664 3221216880 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0004 s]
Raw data (loadavg): 0.93 0.97 0.92 2/54 19914
Raw data (stat): 19914 (bsolo_lpr_cuts) R 19913 7876 7672 0 -1 0 14573 0 0 0 958 37 0 0 25 0 1 0 713605021 47779840 8338 4294967295 134512640 134714508 3221221760 3221219804 1077386340 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11665 8346 1111 63 0 11602 0
vsize: 46660
[startup+20.0014 s]
Raw data (loadavg): 0.94 0.97 0.92 2/54 19914
Raw data (stat): 19914 (bsolo_lpr_cuts) R 19913 7876 7672 0 -1 0 53830 0 0 0 1868 128 0 0 25 0 1 0 713605021 151199744 35939 4294967295 134512640 134714508 3221221760 3221220488 134672913 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.0013 s]
Raw data (loadavg): 0.95 0.97 0.92 2/54 19914
Raw data (stat): 19914 (bsolo_lpr_cuts) R 19913 7876 7672 0 -1 0 59199 0 0 0 2856 140 0 0 25 0 1 0 713605021 173035520 41270 4294967295 134512640 134714508 3221221760 3221220400 134606488 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.0026 s]
Raw data (loadavg): 0.96 0.97 0.92 2/54 19914
Raw data (stat): 19914 (bsolo_lpr_cuts) R 19913 7876 7672 0 -1 0 59199 0 0 0 3856 140 0 0 25 0 1 0 713605021 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.0031 s]
Raw data (loadavg): 0.96 0.97 0.92 2/54 19914
Raw data (stat): 19914 (bsolo_lpr_cuts) R 19913 7876 7672 0 -1 0 70063 0 0 0 4831 165 0 0 25 0 1 0 713605021 217378816 52096 4294967295 134512640 134714508 3221221760 3221220512 134630792 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.0031 s]
Raw data (loadavg): 0.97 0.97 0.92 2/54 19914
Raw data (stat): 19914 (bsolo_lpr_cuts) R 19913 7876 7672 0 -1 0 86888 0 0 0 5791 205 0 0 25 0 1 0 713605021 286138368 68883 4294967295 134512640 134714508 3221221760 3221220144 134542306 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.004 s]
Raw data (loadavg): 0.97 0.97 0.92 2/54 19914
Raw data (stat): 19914 (bsolo_lpr_cuts) R 19913 7876 7672 0 -1 0 86888 0 0 0 6791 205 0 0 25 0 1 0 713605021 286138368 68883 4294967295 134512640 134714508 3221221760 3221220140 134539235 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.0039 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 19914
Raw data (stat): 19914 (bsolo_lpr_cuts) R 19913 7876 7672 0 -1 0 86888 0 0 0 7790 206 0 0 25 0 1 0 713605021 286138368 68883 4294967295 134512640 134714508 3221221760 3221220512 134630798 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.0049 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 19914
Raw data (stat): 19914 (bsolo_lpr_cuts) R 19913 7876 7672 0 -1 0 86888 0 0 0 8790 207 0 0 25 0 1 0 713605021 286138368 68883 4294967295 134512640 134714508 3221221760 3221220240 134542347 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.005 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 19914
Raw data (stat): 19914 (bsolo_lpr_cuts) R 19913 7876 7672 0 -1 0 86888 0 0 0 9789 207 0 0 25 0 1 0 713605021 286138368 68883 4294967295 134512640 134714508 3221221760 3221220144 134542303 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.005 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 19914
Raw data (stat): 19914 (bsolo_lpr_cuts) R 19913 7876 7672 0 -1 0 86888 0 0 0 10789 207 0 0 25 0 1 0 713605021 286138368 68883 4294967295 134512640 134714508 3221221760 3221220512 134630792 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.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19914
Raw data (stat): 19914 (bsolo_lpr_cuts) R 19913 7876 7672 0 -1 0 86888 0 0 0 11789 208 0 0 25 0 1 0 713605021 286138368 68883 4294967295 134512640 134714508 3221221760 3221220560 134617242 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.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19914
Raw data (stat): 19914 (bsolo_lpr_cuts) R 19913 7876 7672 0 -1 0 86888 0 0 0 12789 208 0 0 25 0 1 0 713605021 286138368 68883 4294967295 134512640 134714508 3221221760 3221220512 134630792 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.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19914
Raw data (stat): 19914 (bsolo_lpr_cuts) R 19913 7876 7672 0 -1 0 86888 0 0 0 13789 208 0 0 25 0 1 0 713605021 286138368 68883 4294967295 134512640 134714508 3221221760 3221220316 134542828 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.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19914
Raw data (stat): 19914 (bsolo_lpr_cuts) R 19913 7876 7672 0 -1 0 86888 0 0 0 14789 208 0 0 25 0 1 0 713605021 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.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19914
Raw data (stat): 19914 (bsolo_lpr_cuts) R 19913 7876 7672 0 -1 0 86888 0 0 0 15789 209 0 0 25 0 1 0 713605021 286138368 68883 4294967295 134512640 134714508 3221221760 3221220320 134535790 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+170.008 s]
Raw data (loadavg): 1.07 0.99 0.93 2/54 19914
Raw data (stat): 19914 (bsolo_lpr_cuts) R 19913 7876 7672 0 -1 0 86888 0 0 0 16788 209 0 0 25 0 1 0 713605021 286138368 68883 4294967295 134512640 134714508 3221221760 3221220560 134617242 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+180.008 s]
Raw data (loadavg): 1.06 0.99 0.93 2/54 19914
Raw data (stat): 19914 (bsolo_lpr_cuts) R 19913 7876 7672 0 -1 0 86888 0 0 0 17788 210 0 0 25 0 1 0 713605021 286138368 68883 4294967295 134512640 134714508 3221221760 3221220400 134606488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+190.009 s]
Raw data (loadavg): 1.05 0.99 0.93 2/54 19914
Raw data (stat): 19914 (bsolo_lpr_cuts) R 19913 7876 7672 0 -1 0 86888 0 0 0 18788 210 0 0 25 0 1 0 713605021 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+200.009 s]
Raw data (loadavg): 1.04 0.99 0.93 2/54 19914
Raw data (stat): 19914 (bsolo_lpr_cuts) R 19913 7876 7672 0 -1 0 86888 0 0 0 19788 210 0 0 25 0 1 0 713605021 286138368 68883 4294967295 134512640 134714508 3221221760 3221220512 134630792 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+210.009 s]
Raw data (loadavg): 1.03 0.99 0.93 2/54 19914
Raw data (stat): 19914 (bsolo_lpr_cuts) R 19913 7876 7672 0 -1 0 86888 0 0 0 20788 211 0 0 25 0 1 0 713605021 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+220.011 s]
Raw data (loadavg): 1.03 0.99 0.93 2/54 19914
Raw data (stat): 19914 (bsolo_lpr_cuts) R 19913 7876 7672 0 -1 0 86888 0 0 0 21788 211 0 0 25 0 1 0 713605021 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+230.011 s]
Raw data (loadavg): 1.02 0.99 0.93 2/54 19914
Raw data (stat): 19914 (bsolo_lpr_cuts) R 19913 7876 7672 0 -1 0 86888 0 0 0 22787 211 0 0 25 0 1 0 713605021 286138368 68883 4294967295 134512640 134714508 3221221760 3221220124 134539235 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+240.012 s]
Raw data (loadavg): 1.02 0.99 0.93 2/54 19914
Raw data (stat): 19914 (bsolo_lpr_cuts) R 19913 7876 7672 0 -1 0 86888 0 0 0 23787 212 0 0 25 0 1 0 713605021 286138368 68883 4294967295 134512640 134714508 3221221760 3221220388 134594953 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+250.013 s]
Raw data (loadavg): 1.02 0.99 0.93 2/54 19914
Raw data (stat): 19914 (bsolo_lpr_cuts) R 19913 7876 7672 0 -1 0 86888 0 0 0 24787 213 0 0 25 0 1 0 713605021 286138368 68883 4294967295 134512640 134714508 3221221760 3221220312 134528393 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+260.013 s]
Raw data (loadavg): 1.01 0.99 0.93 2/54 19914
Raw data (stat): 19914 (bsolo_lpr_cuts) R 19913 7876 7672 0 -1 0 86888 0 0 0 25786 213 0 0 25 0 1 0 713605021 286138368 68883 4294967295 134512640 134714508 3221221760 3221220144 134542350 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+270.013 s]
Raw data (loadavg): 1.01 0.99 0.93 2/54 19914
Raw data (stat): 19914 (bsolo_lpr_cuts) R 19913 7876 7672 0 -1 0 86888 0 0 0 26786 213 0 0 25 0 1 0 713605021 286138368 68883 4294967295 134512640 134714508 3221221760 3221220400 134594970 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+280.013 s]
Raw data (loadavg): 1.01 0.99 0.93 2/54 19914
Raw data (stat): 19914 (bsolo_lpr_cuts) R 19913 7876 7672 0 -1 0 86888 0 0 0 27786 214 0 0 25 0 1 0 713605021 286138368 68883 4294967295 134512640 134714508 3221221760 3221220376 134543796 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+290.015 s]
Raw data (loadavg): 1.01 0.99 0.93 2/54 19914
Raw data (stat): 19914 (bsolo_lpr_cuts) R 19913 7876 7672 0 -1 0 86888 0 0 0 28786 214 0 0 25 0 1 0 713605021 286138368 68883 4294967295 134512640 134714508 3221221760 3221220488 134672913 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+300.014 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19914
Raw data (stat): 19914 (bsolo_lpr_cuts) R 19913 7876 7672 0 -1 0 86888 0 0 0 29786 215 0 0 25 0 1 0 713605021 286138368 68883 4294967295 134512640 134714508 3221221760 3221220400 134606474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+310.015 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19914
Raw data (stat): 19914 (bsolo_lpr_cuts) R 19913 7876 7672 0 -1 0 86888 0 0 0 30785 215 0 0 25 0 1 0 713605021 286138368 68883 4294967295 134512640 134714508 3221221760 3221220264 134539345 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+320.015 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19914
Raw data (stat): 19914 (bsolo_lpr_cuts) R 19913 7876 7672 0 -1 0 86888 0 0 0 31785 215 0 0 25 0 1 0 713605021 286138368 68883 4294967295 134512640 134714508 3221221760 3221220128 134539213 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+330.015 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19914
Raw data (stat): 19914 (bsolo_lpr_cuts) R 19913 7876 7672 0 -1 0 86888 0 0 0 32785 216 0 0 25 0 1 0 713605021 286138368 68883 4294967295 134512640 134714508 3221221760 3221220124 134539243 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+340.017 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19914
Raw data (stat): 19914 (bsolo_lpr_cuts) R 19913 7876 7672 0 -1 0 86888 0 0 0 33785 216 0 0 25 0 1 0 713605021 286138368 68883 4294967295 134512640 134714508 3221221760 3221220488 134672897 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+350.017 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19914
Raw data (stat): 19914 (bsolo_lpr_cuts) R 19913 7876 7672 0 -1 0 86888 0 0 0 34785 216 0 0 25 0 1 0 713605021 286138368 68883 4294967295 134512640 134714508 3221221760 3221220368 134529157 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+360.017 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19914
Raw data (stat): 19914 (bsolo_lpr_cuts) R 19913 7876 7672 0 -1 0 86888 0 0 0 35785 216 0 0 25 0 1 0 713605021 286138368 68883 4294967295 134512640 134714508 3221221760 3221220488 134672911 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+370.017 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19914
Raw data (stat): 19914 (bsolo_lpr_cuts) R 19913 7876 7672 0 -1 0 86888 0 0 0 36785 216 0 0 25 0 1 0 713605021 286138368 68883 4294967295 134512640 134714508 3221221760 3221220160 134542694 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+380.018 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19914
Raw data (stat): 19914 (bsolo_lpr_cuts) R 19913 7876 7672 0 -1 0 86888 0 0 0 37785 217 0 0 25 0 1 0 713605021 286138368 68883 4294967295 134512640 134714508 3221221760 3221220488 134543552 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+390.019 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19914
Raw data (stat): 19914 (bsolo_lpr_cuts) R 19913 7876 7672 0 -1 0 86888 0 0 0 38784 217 0 0 25 0 1 0 713605021 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+400.02 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19914
Raw data (stat): 19914 (bsolo_lpr_cuts) R 19913 7876 7672 0 -1 0 86888 0 0 0 39784 217 0 0 25 0 1 0 713605021 286138368 68883 4294967295 134512640 134714508 3221221760 3221220400 134606479 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+410.02 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19914
Raw data (stat): 19914 (bsolo_lpr_cuts) R 19913 7876 7672 0 -1 0 86888 0 0 0 40784 218 0 0 25 0 1 0 713605021 286138368 68883 4294967295 134512640 134714508 3221221760 3221220400 134606474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+420.02 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19914
Raw data (stat): 19914 (bsolo_lpr_cuts) R 19913 7876 7672 0 -1 0 86888 0 0 0 41784 218 0 0 25 0 1 0 713605021 286138368 68883 4294967295 134512640 134714508 3221221760 3221220388 134594953 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+430.02 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19914
Raw data (stat): 19914 (bsolo_lpr_cuts) R 19913 7876 7672 0 -1 0 86888 0 0 0 42784 218 0 0 25 0 1 0 713605021 286138368 68883 4294967295 134512640 134714508 3221221760 3221220300 134543664 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+440.021 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19914
Raw data (stat): 19914 (bsolo_lpr_cuts) R 19913 7876 7672 0 -1 0 86888 0 0 0 43784 219 0 0 25 0 1 0 713605021 286138368 68883 4294967295 134512640 134714508 3221221760 3221220272 134543710 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+450.021 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19914
Raw data (stat): 19914 (bsolo_lpr_cuts) R 19913 7876 7672 0 -1 0 86888 0 0 0 44783 219 0 0 25 0 1 0 713605021 286138368 68883 4294967295 134512640 134714508 3221221760 3221220400 134606468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+460.021 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19914
Raw data (stat): 19914 (bsolo_lpr_cuts) R 19913 7876 7672 0 -1 0 86888 0 0 0 45783 220 0 0 25 0 1 0 713605021 286138368 68883 4294967295 134512640 134714508 3221221760 3221220512 134630792 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+470.021 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19914
Raw data (stat): 19914 (bsolo_lpr_cuts) R 19913 7876 7672 0 -1 0 86888 0 0 0 46783 220 0 0 25 0 1 0 713605021 286138368 68883 4294967295 134512640 134714508 3221221760 3221220240 134524117 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+480.021 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19914
Raw data (stat): 19914 (bsolo_lpr_cuts) R 19913 7876 7672 0 -1 0 86888 0 0 0 47783 220 0 0 25 0 1 0 713605021 286138368 68883 4294967295 134512640 134714508 3221221760 3221220488 134672906 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+490.023 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19914
Raw data (stat): 19914 (bsolo_lpr_cuts) R 19913 7876 7672 0 -1 0 86888 0 0 0 48783 221 0 0 25 0 1 0 713605021 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+500.023 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19914
Raw data (stat): 19914 (bsolo_lpr_cuts) R 19913 7876 7672 0 -1 0 86888 0 0 0 49782 221 0 0 25 0 1 0 713605021 286138368 68883 4294967295 134512640 134714508 3221221760 3221220388 134594953 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+510.023 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19914
Raw data (stat): 19914 (bsolo_lpr_cuts) R 19913 7876 7672 0 -1 0 86888 0 0 0 50782 222 0 0 25 0 1 0 713605021 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+520.024 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19914
Raw data (stat): 19914 (bsolo_lpr_cuts) R 19913 7876 7672 0 -1 0 86888 0 0 0 51782 222 0 0 25 0 1 0 713605021 286138368 68883 4294967295 134512640 134714508 3221221760 3221220168 134543600 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+530.024 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19914
Raw data (stat): 19914 (bsolo_lpr_cuts) R 19913 7876 7672 0 -1 0 86888 0 0 0 52782 222 0 0 25 0 1 0 713605021 286138368 68883 4294967295 134512640 134714508 3221221760 3221220512 134630792 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+540.025 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19914
Raw data (stat): 19914 (bsolo_lpr_cuts) R 19913 7876 7672 0 -1 0 86888 0 0 0 53782 223 0 0 25 0 1 0 713605021 286138368 68883 4294967295 134512640 134714508 3221221760 3221220512 134630792 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+550.025 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19914
Raw data (stat): 19914 (bsolo_lpr_cuts) R 19913 7876 7672 0 -1 0 86888 0 0 0 54782 223 0 0 25 0 1 0 713605021 286138368 68883 4294967295 134512640 134714508 3221221760 3221220488 134672913 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+560.026 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19914
Raw data (stat): 19914 (bsolo_lpr_cuts) R 19913 7876 7672 0 -1 0 86888 0 0 0 55781 223 0 0 25 0 1 0 713605021 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+570.026 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19914
Raw data (stat): 19914 (bsolo_lpr_cuts) R 19913 7876 7672 0 -1 0 86888 0 0 0 56781 224 0 0 25 0 1 0 713605021 286138368 68883 4294967295 134512640 134714508 3221221760 3221220400 134606474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+580.026 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19914
Raw data (stat): 19914 (bsolo_lpr_cuts) R 19913 7876 7672 0 -1 0 86888 0 0 0 57781 224 0 0 25 0 1 0 713605021 286138368 68883 4294967295 134512640 134714508 3221221760 3221220240 134539462 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+590.028 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19914
Raw data (stat): 19914 (bsolo_lpr_cuts) R 19913 7876 7672 0 -1 0 86888 0 0 0 58781 225 0 0 25 0 1 0 713605021 286138368 68883 4294967295 134512640 134714508 3221221760 3221220400 134606468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+600.028 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19914
Raw data (stat): 19914 (bsolo_lpr_cuts) R 19913 7876 7672 0 -1 0 86888 0 0 0 59781 225 0 0 25 0 1 0 713605021 286138368 68883 4294967295 134512640 134714508 3221221760 3221220168 134543589 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+610.028 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19914
Raw data (stat): 19914 (bsolo_lpr_cuts) R 19913 7876 7672 0 -1 0 86888 0 0 0 60781 225 0 0 25 0 1 0 713605021 286138368 68883 4294967295 134512640 134714508 3221221760 3221220252 134543616 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+620.028 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19914
Raw data (stat): 19914 (bsolo_lpr_cuts) R 19913 7876 7672 0 -1 0 86888 0 0 0 61780 226 0 0 25 0 1 0 713605021 286138368 68883 4294967295 134512640 134714508 3221221760 3221220488 134672913 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+630.028 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19914
Raw data (stat): 19914 (bsolo_lpr_cuts) R 19913 7876 7672 0 -1 0 86888 0 0 0 62780 226 0 0 25 0 1 0 713605021 286138368 68883 4294967295 134512640 134714508 3221221760 3221220172 134543588 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+640.03 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19914
Raw data (stat): 19914 (bsolo_lpr_cuts) R 19913 7876 7672 0 -1 0 86888 0 0 0 63780 227 0 0 25 0 1 0 713605021 286138368 68883 4294967295 134512640 134714508 3221221760 3221220376 134543804 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+650.03 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19914
Raw data (stat): 19914 (bsolo_lpr_cuts) R 19913 7876 7672 0 -1 0 86888 0 0 0 64779 227 0 0 25 0 1 0 713605021 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+660.03 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19914
Raw data (stat): 19914 (bsolo_lpr_cuts) R 19913 7876 7672 0 -1 0 86888 0 0 0 65779 227 0 0 25 0 1 0 713605021 286138368 68883 4294967295 134512640 134714508 3221221760 3221220488 134672913 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+670.03 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19914
Raw data (stat): 19914 (bsolo_lpr_cuts) R 19913 7876 7672 0 -1 0 86888 0 0 0 66779 227 0 0 25 0 1 0 713605021 286138368 68883 4294967295 134512640 134714508 3221221760 3221220400 134606488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+680.031 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19914
Raw data (stat): 19914 (bsolo_lpr_cuts) R 19913 7876 7672 0 -1 0 86888 0 0 0 67779 228 0 0 25 0 1 0 713605021 286138368 68883 4294967295 134512640 134714508 3221221760 3221220512 134630792 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+690.031 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19914
Raw data (stat): 19914 (bsolo_lpr_cuts) R 19913 7876 7672 0 -1 0 86888 0 0 0 68779 228 0 0 25 0 1 0 713605021 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+700.032 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19914
Raw data (stat): 19914 (bsolo_lpr_cuts) R 19913 7876 7672 0 -1 0 86888 0 0 0 69778 229 0 0 25 0 1 0 713605021 286138368 68883 4294967295 134512640 134714508 3221221760 3221220124 134539237 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+710.032 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19914
Raw data (stat): 19914 (bsolo_lpr_cuts) R 19913 7876 7672 0 -1 0 86888 0 0 0 70778 230 0 0 25 0 1 0 713605021 286138368 68883 4294967295 134512640 134714508 3221221760 3221220512 134630792 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+720.033 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19914
Raw data (stat): 19914 (bsolo_lpr_cuts) R 19913 7876 7672 0 -1 0 86888 0 0 0 71777 230 0 0 25 0 1 0 713605021 286138368 68883 4294967295 134512640 134714508 3221221760 3221220512 134630792 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+730.033 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19914
Raw data (stat): 19914 (bsolo_lpr_cuts) R 19913 7876 7672 0 -1 0 86888 0 0 0 72777 230 0 0 25 0 1 0 713605021 286138368 68883 4294967295 134512640 134714508 3221221760 3221220488 134672913 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+740.033 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19914
Raw data (stat): 19914 (bsolo_lpr_cuts) R 19913 7876 7672 0 -1 0 86888 0 0 0 73777 231 0 0 25 0 1 0 713605021 286138368 68883 4294967295 134512640 134714508 3221221760 3221220240 134536643 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+750.034 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19914
Raw data (stat): 19914 (bsolo_lpr_cuts) R 19913 7876 7672 0 -1 0 86888 0 0 0 74776 231 0 0 25 0 1 0 713605021 286138368 68883 4294967295 134512640 134714508 3221221760 3221220240 134543108 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+760.034 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19914
Raw data (stat): 19914 (bsolo_lpr_cuts) R 19913 7876 7672 0 -1 0 86888 0 0 0 75776 232 0 0 25 0 1 0 713605021 286138368 68883 4294967295 134512640 134714508 3221221760 3221220400 134606479 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+770.035 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19914
Raw data (stat): 19914 (bsolo_lpr_cuts) R 19913 7876 7672 0 -1 0 86888 0 0 0 76777 232 0 0 25 0 1 0 713605021 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+780.034 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19914
Raw data (stat): 19914 (bsolo_lpr_cuts) R 19913 7876 7672 0 -1 0 86888 0 0 0 77776 232 0 0 25 0 1 0 713605021 286138368 68883 4294967295 134512640 134714508 3221221760 3221220488 134672913 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+790.035 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19914
Raw data (stat): 19914 (bsolo_lpr_cuts) R 19913 7876 7672 0 -1 0 86888 0 0 0 78776 232 0 0 25 0 1 0 713605021 286138368 68883 4294967295 134512640 134714508 3221221760 3221220368 134529138 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+800.035 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19914
Raw data (stat): 19914 (bsolo_lpr_cuts) R 19913 7876 7672 0 -1 0 86888 0 0 0 79776 232 0 0 25 0 1 0 713605021 286138368 68883 4294967295 134512640 134714508 3221221760 3221220312 134523157 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+810.035 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19914
Raw data (stat): 19914 (bsolo_lpr_cuts) R 19913 7876 7672 0 -1 0 86888 0 0 0 80776 233 0 0 25 0 1 0 713605021 286138368 68883 4294967295 134512640 134714508 3221221760 3221220240 134539374 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+820.037 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19914
Raw data (stat): 19914 (bsolo_lpr_cuts) R 19913 7876 7672 0 -1 0 86888 0 0 0 81776 233 0 0 25 0 1 0 713605021 286138368 68883 4294967295 134512640 134714508 3221221760 3221220288 134528410 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+830.037 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19914
Raw data (stat): 19914 (bsolo_lpr_cuts) R 19913 7876 7672 0 -1 0 86888 0 0 0 82776 234 0 0 25 0 1 0 713605021 286138368 68883 4294967295 134512640 134714508 3221221760 3221220400 134594947 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+840.037 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19914
Raw data (stat): 19914 (bsolo_lpr_cuts) R 19913 7876 7672 0 -1 0 86888 0 0 0 83775 234 0 0 25 0 1 0 713605021 286138368 68883 4294967295 134512640 134714508 3221221760 3221220400 134594970 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+850.037 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19914
Raw data (stat): 19914 (bsolo_lpr_cuts) R 19913 7876 7672 0 -1 0 86888 0 0 0 84775 234 0 0 25 0 1 0 713605021 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+860.038 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19914
Raw data (stat): 19914 (bsolo_lpr_cuts) R 19913 7876 7672 0 -1 0 86888 0 0 0 85775 235 0 0 25 0 1 0 713605021 286138368 68883 4294967295 134512640 134714508 3221221760 3221220400 134606468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+870.038 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19914
Raw data (stat): 19914 (bsolo_lpr_cuts) R 19913 7876 7672 0 -1 0 86888 0 0 0 86775 235 0 0 25 0 1 0 713605021 286138368 68883 4294967295 134512640 134714508 3221221760 3221220640 134616612 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+880.038 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19914
Raw data (stat): 19914 (bsolo_lpr_cuts) R 19913 7876 7672 0 -1 0 86888 0 0 0 87775 235 0 0 25 0 1 0 713605021 286138368 68883 4294967295 134512640 134714508 3221221760 3221220488 134672932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+890.039 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19914
Raw data (stat): 19914 (bsolo_lpr_cuts) R 19913 7876 7672 0 -1 0 86888 0 0 0 88775 236 0 0 25 0 1 0 713605021 286138368 68883 4294967295 134512640 134714508 3221221760 3221220488 134672906 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+900.038 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19914
Raw data (stat): 19914 (bsolo_lpr_cuts) R 19913 7876 7672 0 -1 0 86888 0 0 0 89774 236 0 0 25 0 1 0 713605021 286138368 68883 4294967295 134512640 134714508 3221221760 3221220560 134617242 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+910.039 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19914
Raw data (stat): 19914 (bsolo_lpr_cuts) R 19913 7876 7672 0 -1 0 86888 0 0 0 90774 236 0 0 25 0 1 0 713605021 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+920.039 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19914
Raw data (stat): 19914 (bsolo_lpr_cuts) R 19913 7876 7672 0 -1 0 86888 0 0 0 91774 237 0 0 25 0 1 0 713605021 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+930.04 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19914
Raw data (stat): 19914 (bsolo_lpr_cuts) R 19913 7876 7672 0 -1 0 86888 0 0 0 92774 237 0 0 25 0 1 0 713605021 286138368 68883 4294967295 134512640 134714508 3221221760 3221220388 134594953 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+940.041 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19914
Raw data (stat): 19914 (bsolo_lpr_cuts) R 19913 7876 7672 0 -1 0 86888 0 0 0 93774 237 0 0 25 0 1 0 713605021 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+950.041 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19914
Raw data (stat): 19914 (bsolo_lpr_cuts) R 19913 7876 7672 0 -1 0 86888 0 0 0 94774 238 0 0 25 0 1 0 713605021 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+960.041 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19914
Raw data (stat): 19914 (bsolo_lpr_cuts) R 19913 7876 7672 0 -1 0 86888 0 0 0 95773 238 0 0 25 0 1 0 713605021 286138368 68883 4294967295 134512640 134714508 3221221760 3221220288 134528653 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+970.042 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19914
Raw data (stat): 19914 (bsolo_lpr_cuts) R 19913 7876 7672 0 -1 0 86888 0 0 0 96773 238 0 0 25 0 1 0 713605021 286138368 68883 4294967295 134512640 134714508 3221221760 3221220512 134630789 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+980.041 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19914
Raw data (stat): 19914 (bsolo_lpr_cuts) R 19913 7876 7672 0 -1 0 86888 0 0 0 97773 239 0 0 25 0 1 0 713605021 286138368 68883 4294967295 134512640 134714508 3221221760 3221220376 134536921 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+990.041 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19914
Raw data (stat): 19914 (bsolo_lpr_cuts) R 19913 7876 7672 0 -1 0 86888 0 0 0 98773 239 0 0 25 0 1 0 713605021 286138368 68883 4294967295 134512640 134714508 3221221760 3221220360 134543589 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+1000.04 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19914
Raw data (stat): 19914 (bsolo_lpr_cuts) R 19913 7876 7672 0 -1 0 86888 0 0 0 99773 239 0 0 25 0 1 0 713605021 286138368 68883 4294967295 134512640 134714508 3221221760 3221220152 134543606 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+1010.04 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19914
Raw data (stat): 19914 (bsolo_lpr_cuts) R 19913 7876 7672 0 -1 0 86888 0 0 0 100773 239 0 0 25 0 1 0 713605021 286138368 68883 4294967295 134512640 134714508 3221221760 3221220144 134542350 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+1020.04 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19914
Raw data (stat): 19914 (bsolo_lpr_cuts) R 19913 7876 7672 0 -1 0 86888 0 0 0 101773 240 0 0 25 0 1 0 713605021 286138368 68883 4294967295 134512640 134714508 3221221760 3221220400 134606479 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+1030.04 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19914
Raw data (stat): 19914 (bsolo_lpr_cuts) R 19913 7876 7672 0 -1 0 86888 0 0 0 102773 240 0 0 25 0 1 0 713605021 286138368 68883 4294967295 134512640 134714508 3221221760 3221220560 134617242 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+1040.04 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19914
Raw data (stat): 19914 (bsolo_lpr_cuts) R 19913 7876 7672 0 -1 0 86888 0 0 0 103773 240 0 0 25 0 1 0 713605021 286138368 68883 4294967295 134512640 134714508 3221221760 3221220376 134536879 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+1050.04 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19914
Raw data (stat): 19914 (bsolo_lpr_cuts) R 19913 7876 7672 0 -1 0 86888 0 0 0 104773 240 0 0 25 0 1 0 713605021 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+1060.04 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19914
Raw data (stat): 19914 (bsolo_lpr_cuts) R 19913 7876 7672 0 -1 0 86888 0 0 0 105772 241 0 0 25 0 1 0 713605021 286138368 68883 4294967295 134512640 134714508 3221221760 3221220400 134606474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+1070.04 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19914
Raw data (stat): 19914 (bsolo_lpr_cuts) R 19913 7876 7672 0 -1 0 86888 0 0 0 106772 241 0 0 25 0 1 0 713605021 286138368 68883 4294967295 134512640 134714508 3221221760 3221220488 134672944 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+1080.04 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19914
Raw data (stat): 19914 (bsolo_lpr_cuts) R 19913 7876 7672 0 -1 0 86888 0 0 0 107772 241 0 0 25 0 1 0 713605021 286138368 68883 4294967295 134512640 134714508 3221221760 3221220400 134606468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+1090.04 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19914
Raw data (stat): 19914 (bsolo_lpr_cuts) R 19913 7876 7672 0 -1 0 86888 0 0 0 108772 241 0 0 25 0 1 0 713605021 286138368 68883 4294967295 134512640 134714508 3221221760 3221220400 134606488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+1100.05 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19914
Raw data (stat): 19914 (bsolo_lpr_cuts) R 19913 7876 7672 0 -1 0 86888 0 0 0 109772 242 0 0 25 0 1 0 713605021 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+1110.05 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19914
Raw data (stat): 19914 (bsolo_lpr_cuts) R 19913 7876 7672 0 -1 0 86888 0 0 0 110772 242 0 0 25 0 1 0 713605021 286138368 68883 4294967295 134512640 134714508 3221221760 3221220276 134543734 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+1120.05 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19914
Raw data (stat): 19914 (bsolo_lpr_cuts) R 19913 7876 7672 0 -1 0 86888 0 0 0 111772 242 0 0 25 0 1 0 713605021 286138368 68883 4294967295 134512640 134714508 3221221760 3221220400 134594947 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+1130.05 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19914
Raw data (stat): 19914 (bsolo_lpr_cuts) R 19913 7876 7672 0 -1 0 86888 0 0 0 112772 243 0 0 25 0 1 0 713605021 286138368 68883 4294967295 134512640 134714508 3221221760 3221220240 134539374 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+1140.05 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19914
Raw data (stat): 19914 (bsolo_lpr_cuts) R 19913 7876 7672 0 -1 0 86888 0 0 0 113772 243 0 0 25 0 1 0 713605021 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+1150.05 s]
Raw data (loadavg): 1.07 1.00 0.93 2/54 19914
Raw data (stat): 19914 (bsolo_lpr_cuts) R 19913 7876 7672 0 -1 0 86888 0 0 0 114771 243 0 0 25 0 1 0 713605021 286138368 68883 4294967295 134512640 134714508 3221221760 3221220400 134606474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+1160.05 s]
Raw data (loadavg): 1.06 1.00 0.93 2/54 19914
Raw data (stat): 19914 (bsolo_lpr_cuts) R 19913 7876 7672 0 -1 0 86888 0 0 0 115771 244 0 0 25 0 1 0 713605021 286138368 68883 4294967295 134512640 134714508 3221221760 3221220268 134542288 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+1170.05 s]
Raw data (loadavg): 1.05 1.00 0.93 2/54 19914
Raw data (stat): 19914 (bsolo_lpr_cuts) R 19913 7876 7672 0 -1 0 86888 0 0 0 116771 244 0 0 25 0 1 0 713605021 286138368 68883 4294967295 134512640 134714508 3221221760 3221220388 134594953 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+1180.05 s]
Raw data (loadavg): 1.04 1.00 0.93 2/54 19914
Raw data (stat): 19914 (bsolo_lpr_cuts) R 19913 7876 7672 0 -1 0 86888 0 0 0 117771 244 0 0 25 0 1 0 713605021 286138368 68883 4294967295 134512640 134714508 3221221760 3221220140 134539220 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+1190.05 s]
Raw data (loadavg): 1.04 1.00 0.93 2/54 19914
Raw data (stat): 19914 (bsolo_lpr_cuts) R 19913 7876 7672 0 -1 0 86888 0 0 0 118771 245 0 0 25 0 1 0 713605021 286138368 68883 4294967295 134512640 134714508 3221221760 3221220512 134630798 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69858 68883 1111 63 0 69795 0
vsize: 279432
[startup+1200.05 s]
Raw data (loadavg): 1.03 1.00 0.93 2/54 19914
Raw data (stat): 19914 (bsolo_lpr_cuts) R 19913 7876 7672 0 -1 0 163160 0 0 0 119604 412 0 0 25 0 1 0 713605021 598392832 145117 4294967295 134512640 134714508 3221221760 3221220400 134606468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 146092 145117 1111 63 0 146029 0
vsize: 584368
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.32 s]
Raw data (loadavg): 1.03 1.00 0.93 1/54 19914
Raw data (stat): 19914 (bsolo_lpr_cuts) Z 19913 7876 7672 0 -1 1036 163160 0 0 0 119604 439 0 0 25 0 1 0 713605021 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.04
CPU system time (s): 4.39433
CPU usage (%): 100.01
Max. virtual memory (Kb): 584368
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####