PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

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

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-12 23:22:14 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2954 boxname=wulflinc31 idbench=329 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  aa1ea44fce5b7bfbe62733720f941ebb  /oldhome/oroussel/tmp/wulflinc31/normalized-frb45-21-1.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-frb45-21-1.opb
IDLAUNCH: 2954
/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:        879572 kB
Buffers:         35560 kB
Cached:          97756 kB
SwapCached:       1936 kB
Active:         101636 kB
Inactive:        34832 kB
HighTotal:      131008 kB
HighFree:        32452 kB
LowTotal:       903652 kB
LowFree:        847120 kB
SwapTotal:     2097892 kB
SwapFree:      2095224 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5360 kB
Slab:            12828 kB
Committed_AS:    63852 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-12 23:42:17 (client local time) WITH STATUS 0 IN 1200.21 SECONDS
stats: 2954 7 1200.21 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 945 variables and 59186 constraints.
c After prepocess the problem consists of 945 variables and 42392 constraints.
c preprocess terminated 372.248 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.85 0.95 0.97 2/55 12905
Raw data (stat): 12905 (runsolver) R 12904 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 730451187 1056768 100 4294967295 134512640 135381576 3221221680 3221216896 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.0006 s]
Raw data (loadavg): 0.88 0.95 0.97 2/55 12905
Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 20297 0 0 0 944 51 0 0 25 0 1 0 730451187 86319104 20217 4294967295 134512640 134714508 3221221776 3221220108 134535903 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21074 20217 1111 63 0 21011 0
vsize: 84296
[startup+20.0015 s]
Raw data (loadavg): 0.89 0.95 0.97 2/55 12905
Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 24005 0 0 0 1936 59 0 0 25 0 1 0 730451187 98779136 23266 4294967295 134512640 134714508 3221221776 3221220140 134539235 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24116 23266 1111 63 0 24053 0
vsize: 96464
[startup+30.0028 s]
Raw data (loadavg): 0.91 0.95 0.97 2/55 12905
Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 24005 0 0 0 2936 59 0 0 25 0 1 0 730451187 98779136 23266 4294967295 134512640 134714508 3221221776 3221220352 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24116 23266 1111 63 0 24053 0
vsize: 96464
[startup+40.0039 s]
Raw data (loadavg): 0.92 0.95 0.97 2/55 12905
Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 24005 0 0 0 3936 59 0 0 25 0 1 0 730451187 98779136 23266 4294967295 134512640 134714508 3221221776 3221220504 134672906 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24116 23266 1111 63 0 24053 0
vsize: 96464
[startup+50.0043 s]
Raw data (loadavg): 0.93 0.96 0.97 2/55 12905
Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 24005 0 0 0 4936 60 0 0 25 0 1 0 730451187 98779136 23266 4294967295 134512640 134714508 3221221776 3221220288 134543740 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24116 23266 1111 63 0 24053 0
vsize: 96464
[startup+60.0046 s]
Raw data (loadavg): 0.94 0.96 0.97 2/55 12905
Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 24005 0 0 0 5936 60 0 0 25 0 1 0 730451187 98779136 23266 4294967295 134512640 134714508 3221221776 3221220404 134594953 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24116 23266 1111 63 0 24053 0
vsize: 96464
[startup+70.0052 s]
Raw data (loadavg): 0.95 0.96 0.97 2/55 12905
Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 24005 0 0 0 6935 60 0 0 25 0 1 0 730451187 98779136 23266 4294967295 134512640 134714508 3221221776 3221220528 134630792 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24116 23266 1111 63 0 24053 0
vsize: 96464
[startup+80.0061 s]
Raw data (loadavg): 0.96 0.96 0.97 2/55 12905
Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 24005 0 0 0 7935 61 0 0 25 0 1 0 730451187 98779136 23266 4294967295 134512640 134714508 3221221776 3221220208 134543728 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24116 23266 1111 63 0 24053 0
vsize: 96464
[startup+90.0065 s]
Raw data (loadavg): 0.96 0.96 0.97 2/55 12905
Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 24005 0 0 0 8935 61 0 0 25 0 1 0 730451187 98779136 23266 4294967295 134512640 134714508 3221221776 3221220140 134539223 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24116 23266 1111 63 0 24053 0
vsize: 96464
[startup+100.006 s]
Raw data (loadavg): 0.97 0.96 0.97 2/55 12905
Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 24005 0 0 0 9935 61 0 0 25 0 1 0 730451187 98779136 23266 4294967295 134512640 134714508 3221221776 3221220280 134543652 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24116 23266 1111 63 0 24053 0
vsize: 96464
[startup+110.007 s]
Raw data (loadavg): 0.97 0.96 0.97 2/55 12905
Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 24005 0 0 0 10935 62 0 0 25 0 1 0 730451187 98779136 23266 4294967295 134512640 134714508 3221221776 3221220340 134535756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24116 23266 1111 63 0 24053 0
vsize: 96464
[startup+120.008 s]
Raw data (loadavg): 0.98 0.96 0.97 2/55 12905
Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 24005 0 0 0 11935 62 0 0 25 0 1 0 730451187 98779136 23266 4294967295 134512640 134714508 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24116 23266 1111 63 0 24053 0
vsize: 96464
[startup+130.009 s]
Raw data (loadavg): 0.98 0.96 0.97 2/55 12905
Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 24005 0 0 0 12935 62 0 0 25 0 1 0 730451187 98779136 23266 4294967295 134512640 134714508 3221221776 3221220256 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24116 23266 1111 63 0 24053 0
vsize: 96464
[startup+140.009 s]
Raw data (loadavg): 0.98 0.96 0.97 2/55 12905
Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 24005 0 0 0 13935 62 0 0 25 0 1 0 730451187 98779136 23266 4294967295 134512640 134714508 3221221776 3221220392 134543796 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24116 23266 1111 63 0 24053 0
vsize: 96464
[startup+150.009 s]
Raw data (loadavg): 0.98 0.97 0.97 2/55 12905
Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 24005 0 0 0 14935 62 0 0 25 0 1 0 730451187 98779136 23266 4294967295 134512640 134714508 3221221776 3221220192 134542680 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24116 23266 1111 63 0 24053 0
vsize: 96464
[startup+160.01 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12905
Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 24005 0 0 0 15935 62 0 0 25 0 1 0 730451187 98779136 23266 4294967295 134512640 134714508 3221221776 3221220256 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24116 23266 1111 63 0 24053 0
vsize: 96464
[startup+170.009 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12905
Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 24005 0 0 0 16935 62 0 0 25 0 1 0 730451187 98779136 23266 4294967295 134512640 134714508 3221221776 3221220416 134594947 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24116 23266 1111 63 0 24053 0
vsize: 96464
[startup+180.011 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12905
Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 24005 0 0 0 17936 62 0 0 25 0 1 0 730451187 98779136 23266 4294967295 134512640 134714508 3221221776 3221220416 134594970 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24116 23266 1111 63 0 24053 0
vsize: 96464
[startup+190.011 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12905
Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 24005 0 0 0 18936 62 0 0 25 0 1 0 730451187 98779136 23266 4294967295 134512640 134714508 3221221776 3221220256 134542352 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24116 23266 1111 63 0 24053 0
vsize: 96464
[startup+200.011 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12905
Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 24005 0 0 0 19936 62 0 0 25 0 1 0 730451187 98779136 23266 4294967295 134512640 134714508 3221221776 3221220256 134539462 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24116 23266 1111 63 0 24053 0
vsize: 96464
[startup+210.012 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12905
Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 24005 0 0 0 20936 62 0 0 25 0 1 0 730451187 98779136 23266 4294967295 134512640 134714508 3221221776 3221220256 134539419 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24116 23266 1111 63 0 24053 0
vsize: 96464
[startup+220.012 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12905
Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 24005 0 0 0 21936 62 0 0 25 0 1 0 730451187 98779136 23266 4294967295 134512640 134714508 3221221776 3221220256 134539460 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24116 23266 1111 63 0 24053 0
vsize: 96464
[startup+230.013 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12905
Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 24005 0 0 0 22937 62 0 0 25 0 1 0 730451187 98779136 23266 4294967295 134512640 134714508 3221221776 3221220160 134542303 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24116 23266 1111 63 0 24053 0
vsize: 96464
[startup+240.013 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12905
Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 24005 0 0 0 23937 62 0 0 25 0 1 0 730451187 98779136 23266 4294967295 134512640 134714508 3221221776 3221220140 134539237 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24116 23266 1111 63 0 24053 0
vsize: 96464
[startup+250.013 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12905
Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 24005 0 0 0 24937 62 0 0 25 0 1 0 730451187 98779136 23266 4294967295 134512640 134714508 3221221776 3221220416 134594970 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24116 23266 1111 63 0 24053 0
vsize: 96464
[startup+260.014 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12905
Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 24005 0 0 0 25937 62 0 0 25 0 1 0 730451187 98779136 23266 4294967295 134512640 134714508 3221221776 3221220284 134543615 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24116 23266 1111 63 0 24053 0
vsize: 96464
[startup+270.014 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12905
Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 24005 0 0 0 26937 62 0 0 25 0 1 0 730451187 98779136 23266 4294967295 134512640 134714508 3221221776 3221220256 134539374 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24116 23266 1111 63 0 24053 0
vsize: 96464
[startup+280.015 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12905
Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 24005 0 0 0 27937 62 0 0 25 0 1 0 730451187 98779136 23266 4294967295 134512640 134714508 3221221776 3221220140 134539237 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24116 23266 1111 63 0 24053 0
vsize: 96464
[startup+290.016 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12905
Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 24005 0 0 0 28938 62 0 0 25 0 1 0 730451187 98779136 23266 4294967295 134512640 134714508 3221221776 3221220440 134627195 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24116 23266 1111 63 0 24053 0
vsize: 96464
[startup+300.016 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12905
Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 24005 0 0 0 29938 62 0 0 25 0 1 0 730451187 98779136 23266 4294967295 134512640 134714508 3221221776 3221220448 134627187 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24116 23266 1111 63 0 24053 0
vsize: 96464
[startup+310.016 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12905
Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 24005 0 0 0 30938 62 0 0 25 0 1 0 730451187 98779136 23266 4294967295 134512640 134714508 3221221776 3221220448 134627250 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24116 23266 1111 63 0 24053 0
vsize: 96464
[startup+320.016 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12905
Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 24005 0 0 0 31938 62 0 0 25 0 1 0 730451187 98779136 23266 4294967295 134512640 134714508 3221221776 3221220424 134558492 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24116 23266 1111 63 0 24053 0
vsize: 96464
[startup+330.018 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12905
Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 24005 0 0 0 32938 62 0 0 25 0 1 0 730451187 98779136 23266 4294967295 134512640 134714508 3221221776 3221220448 134627187 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24116 23266 1111 63 0 24053 0
vsize: 96464
[startup+340.018 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12905
Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 24005 0 0 0 33938 62 0 0 25 0 1 0 730451187 98779136 23266 4294967295 134512640 134714508 3221221776 3221220448 134627241 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24116 23266 1111 63 0 24053 0
vsize: 96464
[startup+350.017 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12905
Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 24006 0 0 0 34938 62 0 0 25 0 1 0 730451187 98779136 23267 4294967295 134512640 134714508 3221221776 3221220576 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24116 23267 1111 63 0 24053 0
vsize: 96464
[startup+360.018 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12905
Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 24006 0 0 0 35938 62 0 0 25 0 1 0 730451187 98779136 23267 4294967295 134512640 134714508 3221221776 3221220632 134543552 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24116 23267 1111 63 0 24053 0
vsize: 96464
[startup+370.018 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12905
Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 24006 0 0 0 36938 62 0 0 25 0 1 0 730451187 98779136 23267 4294967295 134512640 134714508 3221221776 3221220564 134622760 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24116 23267 1111 63 0 24053 0
vsize: 96464
[startup+380.019 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12905
Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 24028 0 0 0 37937 62 0 0 25 0 1 0 730451187 98779136 23289 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24116 23289 1111 63 0 24053 0
vsize: 96464
[startup+390.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12905
Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 24028 0 0 0 38936 63 0 0 25 0 1 0 730451187 98779136 23289 4294967295 134512640 134714508 3221221776 3221220032 1074153773 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24116 23289 1111 63 0 24053 0
vsize: 96464
[startup+400.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12905
Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 24028 0 0 0 39936 63 0 0 25 0 1 0 730451187 98779136 23289 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24116 23289 1111 63 0 24053 0
vsize: 96464
[startup+410.021 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12905
Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 24028 0 0 0 40936 63 0 0 25 0 1 0 730451187 98779136 23289 4294967295 134512640 134714508 3221221776 3221219992 1074138166 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24116 23289 1111 63 0 24053 0
vsize: 96464
[startup+420.021 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12905
Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 24028 0 0 0 41936 63 0 0 25 0 1 0 730451187 98779136 23289 4294967295 134512640 134714508 3221221776 3221220048 1074153663 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24116 23289 1111 63 0 24053 0
vsize: 96464
[startup+430.022 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12905
Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 24028 0 0 0 42937 63 0 0 25 0 1 0 730451187 98779136 23289 4294967295 134512640 134714508 3221221776 3221220080 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24116 23289 1111 63 0 24053 0
vsize: 96464
[startup+440.022 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12905
Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 24028 0 0 0 43937 63 0 0 25 0 1 0 730451187 98779136 23289 4294967295 134512640 134714508 3221221776 3221220048 1074153760 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24116 23289 1111 63 0 24053 0
vsize: 96464
[startup+450.022 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12905
Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 24028 0 0 0 44937 63 0 0 25 0 1 0 730451187 98779136 23289 4294967295 134512640 134714508 3221221776 3221220080 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24116 23289 1111 63 0 24053 0
vsize: 96464
[startup+460.023 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12905
Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 24028 0 0 0 45937 63 0 0 25 0 1 0 730451187 98779136 23289 4294967295 134512640 134714508 3221221776 3221220048 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24116 23289 1111 63 0 24053 0
vsize: 96464
[startup+470.023 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12905
Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 24028 0 0 0 46937 63 0 0 25 0 1 0 730451187 98779136 23289 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24116 23289 1111 63 0 24053 0
vsize: 96464
[startup+480.025 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12905
Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 24028 0 0 0 47938 63 0 0 25 0 1 0 730451187 98779136 23289 4294967295 134512640 134714508 3221221776 3221220080 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24116 23289 1111 63 0 24053 0
vsize: 96464
[startup+490.024 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12905
Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 24028 0 0 0 48938 63 0 0 25 0 1 0 730451187 98779136 23289 4294967295 134512640 134714508 3221221776 3221220048 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24116 23289 1111 63 0 24053 0
vsize: 96464
[startup+500.024 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12905
Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 24028 0 0 0 49938 63 0 0 25 0 1 0 730451187 98779136 23289 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24116 23289 1111 63 0 24053 0
vsize: 96464
[startup+510.024 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12905
Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 24028 0 0 0 50938 63 0 0 25 0 1 0 730451187 98779136 23289 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24116 23289 1111 63 0 24053 0
vsize: 96464
[startup+520.024 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12905
Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 24319 0 0 0 51938 64 0 0 25 0 1 0 730451187 99966976 23580 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24406 23580 1111 63 0 24343 0
vsize: 97624
[startup+530.025 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12905
Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 24327 0 0 0 52937 64 0 0 25 0 1 0 730451187 99999744 23588 4294967295 134512640 134714508 3221221776 3221220080 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24414 23588 1111 63 0 24351 0
vsize: 97656
[startup+540.026 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12905
Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 24335 0 0 0 53937 65 0 0 25 0 1 0 730451187 100032512 23596 4294967295 134512640 134714508 3221221776 3221220080 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24422 23596 1111 63 0 24359 0
vsize: 97688
[startup+550.026 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12905
Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 24344 0 0 0 54937 65 0 0 25 0 1 0 730451187 100069376 23605 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24431 23605 1111 63 0 24368 0
vsize: 97724
[startup+560.026 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12905
Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 24352 0 0 0 55937 65 0 0 25 0 1 0 730451187 100102144 23613 4294967295 134512640 134714508 3221221776 3221220080 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24439 23613 1111 63 0 24376 0
vsize: 97756
[startup+570.026 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12905
Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 24360 0 0 0 56937 66 0 0 25 0 1 0 730451187 100134912 23621 4294967295 134512640 134714508 3221221776 3221220032 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24447 23621 1111 63 0 24384 0
vsize: 97788
[startup+580.027 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12905
Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 24368 0 0 0 57936 66 0 0 25 0 1 0 730451187 100167680 23629 4294967295 134512640 134714508 3221221776 3221220032 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24455 23629 1111 63 0 24392 0
vsize: 97820
[startup+590.028 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12905
Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 24375 0 0 0 58936 67 0 0 25 0 1 0 730451187 100196352 23636 4294967295 134512640 134714508 3221221776 3221220048 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24462 23636 1111 63 0 24399 0
vsize: 97848
[startup+600.028 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12905
Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 24382 0 0 0 59936 67 0 0 25 0 1 0 730451187 100225024 23643 4294967295 134512640 134714508 3221221776 3221220048 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24469 23643 1111 63 0 24406 0
vsize: 97876
[startup+610.029 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12905
Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 24390 0 0 0 60936 67 0 0 25 0 1 0 730451187 100257792 23651 4294967295 134512640 134714508 3221221776 3221220048 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24477 23651 1111 63 0 24414 0
vsize: 97908
[startup+620.028 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12905
Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 24397 0 0 0 61936 68 0 0 25 0 1 0 730451187 100286464 23658 4294967295 134512640 134714508 3221221776 3221220080 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24484 23658 1111 63 0 24421 0
vsize: 97936
[startup+630.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12905
Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 24404 0 0 0 62935 68 0 0 25 0 1 0 730451187 100315136 23665 4294967295 134512640 134714508 3221221776 3221219696 1077814665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24491 23665 1111 63 0 24428 0
vsize: 97964
[startup+640.031 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12905
Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 24411 0 0 0 63935 69 0 0 25 0 1 0 730451187 100343808 23672 4294967295 134512640 134714508 3221221776 3221220032 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24498 23672 1111 63 0 24435 0
vsize: 97992
[startup+650.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12905
Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 24418 0 0 0 64935 69 0 0 25 0 1 0 730451187 100372480 23679 4294967295 134512640 134714508 3221221776 3221220080 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24505 23679 1111 63 0 24442 0
vsize: 98020
[startup+660.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12905
Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 24425 0 0 0 65935 69 0 0 25 0 1 0 730451187 100401152 23686 4294967295 134512640 134714508 3221221776 3221220032 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24512 23686 1111 63 0 24449 0
vsize: 98048
[startup+670.031 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12905
Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 24431 0 0 0 66935 70 0 0 25 0 1 0 730451187 100425728 23692 4294967295 134512640 134714508 3221221776 3221220048 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24518 23692 1111 63 0 24455 0
vsize: 98072
[startup+680.032 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12905
Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 24439 0 0 0 67935 70 0 0 25 0 1 0 730451187 100458496 23700 4294967295 134512640 134714508 3221221776 3221220032 1074153760 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24526 23700 1111 63 0 24463 0
vsize: 98104
[startup+690.032 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12905
Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 24446 0 0 0 68935 70 0 0 25 0 1 0 730451187 100487168 23707 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24533 23707 1111 63 0 24470 0
vsize: 98132
[startup+700.032 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12905
Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 24453 0 0 0 69934 71 0 0 25 0 1 0 730451187 100515840 23714 4294967295 134512640 134714508 3221221776 3221220048 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24540 23714 1111 63 0 24477 0
vsize: 98160
[startup+710.033 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12905
Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 24460 0 0 0 70934 71 0 0 25 0 1 0 730451187 100544512 23721 4294967295 134512640 134714508 3221221776 3221220048 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24547 23721 1111 63 0 24484 0
vsize: 98188
[startup+720.033 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12905
Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 24467 0 0 0 71934 71 0 0 25 0 1 0 730451187 100573184 23728 4294967295 134512640 134714508 3221221776 3221219728 1077814665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24554 23728 1111 63 0 24491 0
vsize: 98216
[startup+730.034 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12905
Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 24474 0 0 0 72934 71 0 0 25 0 1 0 730451187 100601856 23735 4294967295 134512640 134714508 3221221776 3221220032 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24561 23735 1111 63 0 24498 0
vsize: 98244
[startup+740.034 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12905
Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 24481 0 0 0 73934 72 0 0 25 0 1 0 730451187 100630528 23742 4294967295 134512640 134714508 3221221776 3221220032 1074153675 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24568 23742 1111 63 0 24505 0
vsize: 98272
[startup+750.034 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12905
Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 24488 0 0 0 74934 72 0 0 25 0 1 0 730451187 100659200 23749 4294967295 134512640 134714508 3221221776 3221220032 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24575 23749 1111 63 0 24512 0
vsize: 98300
[startup+760.035 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12905
Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 26028 0 0 0 75931 75 0 0 25 0 1 0 730451187 109527040 25277 4294967295 134512640 134714508 3221221776 3221219808 1074867340 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26740 25277 1111 63 0 26677 0
vsize: 106960
[startup+770.035 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12905
Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 31436 0 0 0 76920 87 0 0 25 0 1 0 730451187 130260992 28043 4294967295 134512640 134714508 3221221776 3221217840 1074969461 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31802 28043 1111 63 0 31739 0
vsize: 127208
[startup+780.037 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12905
Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 31506 0 0 0 77920 87 0 0 25 0 1 0 730451187 130260992 28113 4294967295 134512640 134714508 3221221776 3221217840 1074969458 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31802 28113 1111 63 0 31739 0
vsize: 127208
[startup+790.036 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12905
Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 33142 0 0 0 78916 90 0 0 25 0 1 0 730451187 133357568 29747 4294967295 134512640 134714508 3221221776 3221217840 1074969455 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32558 29747 1111 63 0 32495 0
vsize: 130232
[startup+800.036 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12905
Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 33171 0 0 0 79917 90 0 0 25 0 1 0 730451187 133357568 29776 4294967295 134512640 134714508 3221221776 3221217580 1074788950 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32558 29776 1111 63 0 32495 0
vsize: 130232
[startup+810.037 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12905
Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 33357 0 0 0 80916 91 0 0 25 0 1 0 730451187 127156224 28528 4294967295 134512640 134714508 3221221776 3221217968 1074961267 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31044 28528 1111 63 0 30981 0
vsize: 124176
[startup+820.036 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12905
Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 33375 0 0 0 81916 91 0 0 25 0 1 0 730451187 127156224 28544 4294967295 134512640 134714508 3221221776 3221217708 1074788959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31044 28544 1111 63 0 30981 0
vsize: 124176
[startup+830.037 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12905
Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 33386 0 0 0 82916 91 0 0 25 0 1 0 730451187 127156224 28553 4294967295 134512640 134714508 3221221776 3221217840 1074969461 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31044 28553 1111 63 0 30981 0
vsize: 124176
[startup+840.038 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12905
Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 33397 0 0 0 83917 91 0 0 25 0 1 0 730451187 127156224 28562 4294967295 134512640 134714508 3221221776 3221217920 1075895652 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31044 28562 1111 63 0 30981 0
vsize: 124176
[startup+850.038 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12905
Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 33406 0 0 0 84917 91 0 0 25 0 1 0 730451187 127156224 28571 4294967295 134512640 134714508 3221221776 3221217840 1074969471 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31044 28571 1111 63 0 30981 0
vsize: 124176
[startup+860.038 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12905
Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 33414 0 0 0 85917 91 0 0 25 0 1 0 730451187 127156224 28579 4294967295 134512640 134714508 3221221776 3221217796 1075964214 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31044 28579 1111 63 0 30981 0
vsize: 124176
[startup+870.038 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12905
Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 33484 0 0 0 86917 91 0 0 25 0 1 0 730451187 127778816 28647 4294967295 134512640 134714508 3221221776 3221217840 1074969455 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31196 28647 1111 63 0 31133 0
vsize: 124784
[startup+880.039 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12905
Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 33511 0 0 0 87917 92 0 0 25 0 1 0 730451187 127778816 28672 4294967295 134512640 134714508 3221221776 3221217796 1075964214 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31196 28672 1111 63 0 31133 0
vsize: 124784
[startup+890.039 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12905
Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 33511 0 0 0 88917 92 0 0 25 0 1 0 730451187 127778816 28672 4294967295 134512640 134714508 3221221776 3221217840 1074969458 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31196 28672 1111 63 0 31133 0
vsize: 124784
[startup+900.039 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12905
Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 33528 0 0 0 89917 92 0 0 25 0 1 0 730451187 128118784 28689 4294967295 134512640 134714508 3221221776 3221218352 1075968391 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31279 28689 1111 63 0 31216 0
vsize: 125116
[startup+910.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12905
Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 33528 0 0 0 90917 92 0 0 25 0 1 0 730451187 127778816 28687 4294967295 134512640 134714508 3221221776 3221217840 1074969685 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31196 28687 1111 63 0 31133 0
vsize: 124784
[startup+920.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12905
Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 33539 0 0 0 91918 92 0 0 25 0 1 0 730451187 127778816 28696 4294967295 134512640 134714508 3221221776 3221218724 1075964248 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31196 28696 1111 63 0 31133 0
vsize: 124784
[startup+930.041 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12905
Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 33542 0 0 0 92918 92 0 0 25 0 1 0 730451187 127778816 28699 4294967295 134512640 134714508 3221221776 3221217840 1074969461 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31196 28699 1111 63 0 31133 0
vsize: 124784
[startup+940.042 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12905
Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 33574 0 0 0 93918 92 0 0 25 0 1 0 730451187 128118784 28731 4294967295 134512640 134714508 3221221776 3221218760 1077410205 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31279 28731 1111 63 0 31216 0
vsize: 125116
[startup+950.041 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12905
Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 33581 0 0 0 94918 92 0 0 25 0 1 0 730451187 127778816 28736 4294967295 134512640 134714508 3221221776 3221217840 1074969471 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31196 28736 1111 63 0 31133 0
vsize: 124784
[startup+960.043 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12905
Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 33586 0 0 0 95918 92 0 0 25 0 1 0 730451187 127778816 28739 4294967295 134512640 134714508 3221221776 3221217968 1074961304 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31196 28739 1111 63 0 31133 0
vsize: 124784
[startup+970.042 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12905
Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 33592 0 0 0 96918 92 0 0 25 0 1 0 730451187 127778816 28743 4294967295 134512640 134714508 3221221776 3221218960 1075894378 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31196 28743 1111 63 0 31133 0
vsize: 124784
[startup+980.043 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12905
Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 33592 0 0 0 97919 92 0 0 25 0 1 0 730451187 127778816 28743 4294967295 134512640 134714508 3221221776 3221217660 1074788201 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31196 28743 1111 63 0 31133 0
vsize: 124784
[startup+990.044 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12905
Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 33601 0 0 0 98919 92 0 0 25 0 1 0 730451187 127778816 28750 4294967295 134512640 134714508 3221221776 3221217840 1074969455 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31196 28750 1111 63 0 31133 0
vsize: 124784
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12905
Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 33607 0 0 0 99919 92 0 0 25 0 1 0 730451187 127778816 28756 4294967295 134512640 134714508 3221221776 3221217840 1074969455 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31196 28756 1111 63 0 31133 0
vsize: 124784
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12905
Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 33626 0 0 0 100919 92 0 0 25 0 1 0 730451187 127778816 28773 4294967295 134512640 134714508 3221221776 3221217904 1074815253 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31196 28773 1111 63 0 31133 0
vsize: 124784
[startup+1020.05 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12905
Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 33627 0 0 0 101919 92 0 0 25 0 1 0 730451187 127778816 28774 4294967295 134512640 134714508 3221221776 3221217796 1075964282 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31196 28774 1111 63 0 31133 0
vsize: 124784
[startup+1030.05 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12905
Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 33641 0 0 0 102919 92 0 0 25 0 1 0 730451187 127778816 28786 4294967295 134512640 134714508 3221221776 3221217840 1074969465 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31196 28786 1111 63 0 31133 0
vsize: 124784
[startup+1040.05 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12905
Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 33643 0 0 0 103919 92 0 0 25 0 1 0 730451187 127778816 28788 4294967295 134512640 134714508 3221221776 3221217656 1075964778 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31196 28788 1111 63 0 31133 0
vsize: 124784
[startup+1050.05 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12905
Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 33652 0 0 0 104919 92 0 0 25 0 1 0 730451187 127778816 28795 4294967295 134512640 134714508 3221221776 3221217708 1074788950 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31196 28795 1111 63 0 31133 0
vsize: 124784
[startup+1060.05 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12905
Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 33661 0 0 0 105920 92 0 0 25 0 1 0 730451187 127778816 28802 4294967295 134512640 134714508 3221221776 3221217688 1075964733 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31196 28802 1111 63 0 31133 0
vsize: 124784
[startup+1070.05 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12905
Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 33663 0 0 0 106920 92 0 0 25 0 1 0 730451187 127778816 28804 4294967295 134512640 134714508 3221221776 3221217840 1074969461 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31196 28804 1111 63 0 31133 0
vsize: 124784
[startup+1080.05 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12905
Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 33681 0 0 0 107920 92 0 0 25 0 1 0 730451187 127778816 28820 4294967295 134512640 134714508 3221221776 3221217580 1074788953 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31196 28820 1111 63 0 31133 0
vsize: 124784
[startup+1090.05 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12905
Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 33687 0 0 0 108920 92 0 0 25 0 1 0 730451187 127778816 28826 4294967295 134512640 134714508 3221221776 3221217708 1074788953 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31196 28826 1111 63 0 31133 0
vsize: 124784
[startup+1100.05 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12905
Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 33744 0 0 0 109920 93 0 0 25 0 1 0 730451187 128430080 28881 4294967295 134512640 134714508 3221221776 3221217840 1074969458 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31355 28881 1111 63 0 31292 0
vsize: 125420
[startup+1110.05 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12905
Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 33767 0 0 0 110920 93 0 0 25 0 1 0 730451187 128430080 28902 4294967295 134512640 134714508 3221221776 3221217904 1074815253 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31355 28902 1111 63 0 31292 0
vsize: 125420
[startup+1120.05 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12905
Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 33771 0 0 0 111920 93 0 0 25 0 1 0 730451187 128430080 28906 4294967295 134512640 134714508 3221221776 3221217580 1074788950 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31355 28906 1111 63 0 31292 0
vsize: 125420
[startup+1130.05 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12905
Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 33780 0 0 0 112921 93 0 0 25 0 1 0 730451187 128430080 28911 4294967295 134512640 134714508 3221221776 3221217580 1074788953 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31355 28911 1111 63 0 31292 0
vsize: 125420
[startup+1140.05 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12905
Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 33785 0 0 0 113921 93 0 0 25 0 1 0 730451187 128430080 28916 4294967295 134512640 134714508 3221221776 3221217824 1075112080 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31355 28916 1111 63 0 31292 0
vsize: 125420
[startup+1150.05 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12905
Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 33797 0 0 0 114921 93 0 0 25 0 1 0 730451187 128430080 28928 4294967295 134512640 134714508 3221221776 3221217708 1074788953 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31355 28928 1111 63 0 31292 0
vsize: 125420
[startup+1160.05 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12905
Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 33892 0 0 0 115921 93 0 0 25 0 1 0 730451187 129118208 29021 4294967295 134512640 134714508 3221221776 3221217924 1075115028 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31523 29021 1111 63 0 31460 0
vsize: 126092
[startup+1170.05 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12905
Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 33918 0 0 0 116921 93 0 0 25 0 1 0 730451187 129118208 29045 4294967295 134512640 134714508 3221221776 3221217840 1074969461 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31523 29045 1111 63 0 31460 0
vsize: 126092
[startup+1180.05 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12905
Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 33918 0 0 0 117921 93 0 0 25 0 1 0 730451187 129118208 29045 4294967295 134512640 134714508 3221221776 3221217660 1074788183 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31523 29045 1111 63 0 31460 0
vsize: 126092
[startup+1190.05 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12905
Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 33949 0 0 0 118921 93 0 0 25 0 1 0 730451187 129118208 29074 4294967295 134512640 134714508 3221221776 3221217708 1074788959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31523 29074 1111 63 0 31460 0
vsize: 126092
[startup+1200.05 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 12905
Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 33961 0 0 0 119921 94 0 0 25 0 1 0 730451187 129118208 29084 4294967295 134512640 134714508 3221221776 3221217840 1074969461 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31523 29084 1111 63 0 31460 0
vsize: 126092
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.11 s]
Raw data (loadavg): 0.99 0.97 0.97 1/55 12905
Raw data (stat): 12905 (bsolo_lpr_cuts) Z 12904 7876 7672 0 -1 1036 33961 0 0 0 119921 99 0 0 25 0 1 0 730451187 0 0 4294967295 0 0 0 0 0 0 0 1 0 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.11
CPU time (s): 1200.21
CPU user time (s): 1199.22
CPU system time (s): 0.995848
CPU usage (%): 100.009
Max. virtual memory (Kb): 130232
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####