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-5.opb
MD5SUM	7850e0b228f4ef5ee038a9c3595683ab
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	58579
Number of constraints which are clauses	58579
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 24803

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-13 06:06:23 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2990 boxname=wulflinc31 idbench=333 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  7850e0b228f4ef5ee038a9c3595683ab  /oldhome/oroussel/tmp/wulflinc31/normalized-frb45-21-5.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-frb45-21-5.opb
IDLAUNCH: 2990
/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:        873564 kB
Buffers:         36128 kB
Cached:         103444 kB
SwapCached:       1936 kB
Active:         107172 kB
Inactive:        35576 kB
HighTotal:      131008 kB
HighFree:        26740 kB
LowTotal:       903652 kB
LowFree:        846824 kB
SwapTotal:     2097892 kB
SwapFree:      2095224 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5360 kB
Slab:            12744 kB
Committed_AS:    63856 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-13 06:26:26 (client local time) WITH STATUS 0 IN 1200.21 SECONDS
stats: 2990 7 1200.21 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 945 variables and 58579 constraints.
c After prepocess the problem consists of 945 variables and 40813 constraints.
c preprocess terminated 392.944 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.92 0.97 0.95 2/55 15216
Raw data (stat): 15216 (runsolver) R 15215 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 732876354 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.0007 s]
Raw data (loadavg): 0.93 0.97 0.95 2/55 15216
Raw data (stat): 15216 (bsolo_lpr_cuts) R 15215 7876 7672 0 -1 0 19664 0 0 0 944 51 0 0 25 0 1 0 732876354 80957440 18932 4294967295 134512640 134714508 3221221776 3221220256 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19765 18932 1111 63 0 19702 0
vsize: 79060
[startup+20.0011 s]
Raw data (loadavg): 0.94 0.97 0.95 2/55 15216
Raw data (stat): 15216 (bsolo_lpr_cuts) R 15215 7876 7672 0 -1 0 23932 0 0 0 1935 61 0 0 25 0 1 0 732876354 85671936 20083 4294967295 134512640 134714508 3221221776 3221220220 134536817 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20916 20083 1111 63 0 20853 0
vsize: 83664
[startup+30.0021 s]
Raw data (loadavg): 0.95 0.97 0.95 2/55 15216
Raw data (stat): 15216 (bsolo_lpr_cuts) R 15215 7876 7672 0 -1 0 28772 0 0 0 2925 71 0 0 25 0 1 0 732876354 105541632 24923 4294967295 134512640 134714508 3221221776 3221220416 134606468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25767 24923 1111 63 0 25704 0
vsize: 103068
[startup+40.0028 s]
Raw data (loadavg): 0.96 0.97 0.95 2/55 15216
Raw data (stat): 15216 (bsolo_lpr_cuts) R 15215 7876 7672 0 -1 0 29181 0 0 0 3924 72 0 0 25 0 1 0 732876354 106962944 25281 4294967295 134512640 134714508 3221221776 3221220240 134536655 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26114 25281 1111 63 0 26051 0
vsize: 104456
[startup+50.0039 s]
Raw data (loadavg): 0.96 0.97 0.95 2/55 15216
Raw data (stat): 15216 (bsolo_lpr_cuts) R 15215 7876 7672 0 -1 0 29181 0 0 0 4923 73 0 0 25 0 1 0 732876354 106962944 25281 4294967295 134512640 134714508 3221221776 3221220168 1077378310 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26114 25281 1111 63 0 26051 0
vsize: 104456
[startup+60.0038 s]
Raw data (loadavg): 0.97 0.97 0.95 2/55 15216
Raw data (stat): 15216 (bsolo_lpr_cuts) R 15215 7876 7672 0 -1 0 29181 0 0 0 5923 74 0 0 25 0 1 0 732876354 106962944 25281 4294967295 134512640 134714508 3221221776 3221220140 134539235 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26114 25281 1111 63 0 26051 0
vsize: 104456
[startup+70.0037 s]
Raw data (loadavg): 0.97 0.97 0.95 2/55 15216
Raw data (stat): 15216 (bsolo_lpr_cuts) R 15215 7876 7672 0 -1 0 29181 0 0 0 6922 74 0 0 25 0 1 0 732876354 106962944 25281 4294967295 134512640 134714508 3221221776 3221220172 134543615 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26114 25281 1111 63 0 26051 0
vsize: 104456
[startup+80.0051 s]
Raw data (loadavg): 0.98 0.97 0.95 2/55 15216
Raw data (stat): 15216 (bsolo_lpr_cuts) R 15215 7876 7672 0 -1 0 29181 0 0 0 7922 74 0 0 25 0 1 0 732876354 106962944 25281 4294967295 134512640 134714508 3221221776 3221220416 134606456 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26114 25281 1111 63 0 26051 0
vsize: 104456
[startup+90.0046 s]
Raw data (loadavg): 0.98 0.97 0.95 2/55 15216
Raw data (stat): 15216 (bsolo_lpr_cuts) R 15215 7876 7672 0 -1 0 29181 0 0 0 8922 75 0 0 25 0 1 0 732876354 106962944 25281 4294967295 134512640 134714508 3221221776 3221220160 134542306 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26114 25281 1111 63 0 26051 0
vsize: 104456
[startup+100.006 s]
Raw data (loadavg): 0.98 0.97 0.95 2/55 15216
Raw data (stat): 15216 (bsolo_lpr_cuts) R 15215 7876 7672 0 -1 0 29181 0 0 0 9922 75 0 0 25 0 1 0 732876354 106962944 25281 4294967295 134512640 134714508 3221221776 3221220168 134542370 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26114 25281 1111 63 0 26051 0
vsize: 104456
[startup+110.007 s]
Raw data (loadavg): 0.98 0.97 0.95 2/55 15216
Raw data (stat): 15216 (bsolo_lpr_cuts) R 15215 7876 7672 0 -1 0 29181 0 0 0 10922 76 0 0 25 0 1 0 732876354 106962944 25281 4294967295 134512640 134714508 3221221776 3221220256 134539376 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26114 25281 1111 63 0 26051 0
vsize: 104456
[startup+120.006 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 15216
Raw data (stat): 15216 (bsolo_lpr_cuts) R 15215 7876 7672 0 -1 0 29181 0 0 0 11922 76 0 0 25 0 1 0 732876354 106962944 25281 4294967295 134512640 134714508 3221221776 3221220140 134539237 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26114 25281 1111 63 0 26051 0
vsize: 104456
[startup+130.006 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 15216
Raw data (stat): 15216 (bsolo_lpr_cuts) R 15215 7876 7672 0 -1 0 29181 0 0 0 12922 76 0 0 25 0 1 0 732876354 106962944 25281 4294967295 134512640 134714508 3221221776 3221220140 134539301 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26114 25281 1111 63 0 26051 0
vsize: 104456
[startup+140.007 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 15216
Raw data (stat): 15216 (bsolo_lpr_cuts) R 15215 7876 7672 0 -1 0 29181 0 0 0 13922 76 0 0 25 0 1 0 732876354 106962944 25281 4294967295 134512640 134714508 3221221776 3221220164 134542296 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26114 25281 1111 63 0 26051 0
vsize: 104456
[startup+150.007 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 15216
Raw data (stat): 15216 (bsolo_lpr_cuts) R 15215 7876 7672 0 -1 0 29181 0 0 0 14922 76 0 0 25 0 1 0 732876354 106962944 25281 4294967295 134512640 134714508 3221221776 3221220256 134542352 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26114 25281 1111 63 0 26051 0
vsize: 104456
[startup+160.007 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 15216
Raw data (stat): 15216 (bsolo_lpr_cuts) R 15215 7876 7672 0 -1 0 29181 0 0 0 15922 77 0 0 25 0 1 0 732876354 106962944 25281 4294967295 134512640 134714508 3221221776 3221220392 134543796 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26114 25281 1111 63 0 26051 0
vsize: 104456
[startup+170.007 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 15216
Raw data (stat): 15216 (bsolo_lpr_cuts) R 15215 7876 7672 0 -1 0 29181 0 0 0 16922 77 0 0 25 0 1 0 732876354 106962944 25281 4294967295 134512640 134714508 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26114 25281 1111 63 0 26051 0
vsize: 104456
[startup+180.008 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 15216
Raw data (stat): 15216 (bsolo_lpr_cuts) R 15215 7876 7672 0 -1 0 29181 0 0 0 17922 77 0 0 25 0 1 0 732876354 106962944 25281 4294967295 134512640 134714508 3221221776 3221220184 134543600 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26114 25281 1111 63 0 26051 0
vsize: 104456
[startup+190.008 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 15216
Raw data (stat): 15216 (bsolo_lpr_cuts) R 15215 7876 7672 0 -1 0 29181 0 0 0 18921 77 0 0 25 0 1 0 732876354 106962944 25281 4294967295 134512640 134714508 3221221776 3221220140 134539237 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26114 25281 1111 63 0 26051 0
vsize: 104456
[startup+200.008 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 15216
Raw data (stat): 15216 (bsolo_lpr_cuts) R 15215 7876 7672 0 -1 0 29181 0 0 0 19921 78 0 0 25 0 1 0 732876354 106962944 25281 4294967295 134512640 134714508 3221221776 3221220140 134539237 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26114 25281 1111 63 0 26051 0
vsize: 104456
[startup+210.009 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 15216
Raw data (stat): 15216 (bsolo_lpr_cuts) R 15215 7876 7672 0 -1 0 29181 0 0 0 20921 78 0 0 25 0 1 0 732876354 106962944 25281 4294967295 134512640 134714508 3221221776 3221220240 134542344 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26114 25281 1111 63 0 26051 0
vsize: 104456
[startup+220.009 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 15216
Raw data (stat): 15216 (bsolo_lpr_cuts) R 15215 7876 7672 0 -1 0 29181 0 0 0 21921 78 0 0 25 0 1 0 732876354 106962944 25281 4294967295 134512640 134714508 3221221776 3221220340 134535756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26114 25281 1111 63 0 26051 0
vsize: 104456
[startup+230.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 15216
Raw data (stat): 15216 (bsolo_lpr_cuts) R 15215 7876 7672 0 -1 0 29181 0 0 0 22921 78 0 0 25 0 1 0 732876354 106962944 25281 4294967295 134512640 134714508 3221221776 3221220188 134543653 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26114 25281 1111 63 0 26051 0
vsize: 104456
[startup+240.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 15216
Raw data (stat): 15216 (bsolo_lpr_cuts) R 15215 7876 7672 0 -1 0 29181 0 0 0 23921 78 0 0 25 0 1 0 732876354 106962944 25281 4294967295 134512640 134714508 3221221776 3221220392 134543796 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26114 25281 1111 63 0 26051 0
vsize: 104456
[startup+250.011 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 15216
Raw data (stat): 15216 (bsolo_lpr_cuts) R 15215 7876 7672 0 -1 0 29181 0 0 0 24922 78 0 0 25 0 1 0 732876354 106962944 25281 4294967295 134512640 134714508 3221221776 3221220192 134542668 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26114 25281 1111 63 0 26051 0
vsize: 104456
[startup+260.011 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 15216
Raw data (stat): 15216 (bsolo_lpr_cuts) R 15215 7876 7672 0 -1 0 29181 0 0 0 25922 78 0 0 25 0 1 0 732876354 106962944 25281 4294967295 134512640 134714508 3221221776 3221220256 134542350 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26114 25281 1111 63 0 26051 0
vsize: 104456
[startup+270.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 15216
Raw data (stat): 15216 (bsolo_lpr_cuts) R 15215 7876 7672 0 -1 0 29181 0 0 0 26922 79 0 0 25 0 1 0 732876354 106962944 25281 4294967295 134512640 134714508 3221221776 3221220160 134542350 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26114 25281 1111 63 0 26051 0
vsize: 104456
[startup+280.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 15216
Raw data (stat): 15216 (bsolo_lpr_cuts) R 15215 7876 7672 0 -1 0 29181 0 0 0 27922 79 0 0 25 0 1 0 732876354 106962944 25281 4294967295 134512640 134714508 3221221776 3221220256 134542303 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26114 25281 1111 63 0 26051 0
vsize: 104456
[startup+290.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 15216
Raw data (stat): 15216 (bsolo_lpr_cuts) R 15215 7876 7672 0 -1 0 29181 0 0 0 28922 79 0 0 25 0 1 0 732876354 106962944 25281 4294967295 134512640 134714508 3221221776 3221220256 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26114 25281 1111 63 0 26051 0
vsize: 104456
[startup+300.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 15216
Raw data (stat): 15216 (bsolo_lpr_cuts) R 15215 7876 7672 0 -1 0 29181 0 0 0 29922 79 0 0 25 0 1 0 732876354 106962944 25281 4294967295 134512640 134714508 3221221776 3221220416 134594947 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26114 25281 1111 63 0 26051 0
vsize: 104456
[startup+310.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 15216
Raw data (stat): 15216 (bsolo_lpr_cuts) R 15215 7876 7672 0 -1 0 29181 0 0 0 30921 80 0 0 25 0 1 0 732876354 106962944 25281 4294967295 134512640 134714508 3221221776 3221220528 134630795 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26114 25281 1111 63 0 26051 0
vsize: 104456
[startup+320.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 15216
Raw data (stat): 15216 (bsolo_lpr_cuts) R 15215 7876 7672 0 -1 0 29181 0 0 0 31921 80 0 0 25 0 1 0 732876354 106962944 25281 4294967295 134512640 134714508 3221221776 3221220448 134627187 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26114 25281 1111 63 0 26051 0
vsize: 104456
[startup+330.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 15216
Raw data (stat): 15216 (bsolo_lpr_cuts) R 15215 7876 7672 0 -1 0 29181 0 0 0 32921 81 0 0 25 0 1 0 732876354 106962944 25281 4294967295 134512640 134714508 3221221776 3221220448 134627241 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26114 25281 1111 63 0 26051 0
vsize: 104456
[startup+340.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 15216
Raw data (stat): 15216 (bsolo_lpr_cuts) R 15215 7876 7672 0 -1 0 29181 0 0 0 33920 81 0 0 25 0 1 0 732876354 106962944 25281 4294967295 134512640 134714508 3221221776 3221220448 134627187 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26114 25281 1111 63 0 26051 0
vsize: 104456
[startup+350.014 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 15216
Raw data (stat): 15216 (bsolo_lpr_cuts) R 15215 7876 7672 0 -1 0 29181 0 0 0 34920 82 0 0 25 0 1 0 732876354 106962944 25281 4294967295 134512640 134714508 3221221776 3221220448 134627250 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26114 25281 1111 63 0 26051 0
vsize: 104456
[startup+360.014 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 15216
Raw data (stat): 15216 (bsolo_lpr_cuts) R 15215 7876 7672 0 -1 0 29181 0 0 0 35920 82 0 0 25 0 1 0 732876354 106962944 25281 4294967295 134512640 134714508 3221221776 3221220448 134627187 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26114 25281 1111 63 0 26051 0
vsize: 104456
[startup+370.014 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 15216
Raw data (stat): 15216 (bsolo_lpr_cuts) R 15215 7876 7672 0 -1 0 29181 0 0 0 36919 83 0 0 25 0 1 0 732876354 106962944 25281 4294967295 134512640 134714508 3221221776 3221220464 134629396 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26114 25281 1111 63 0 26051 0
vsize: 104456
[startup+380.015 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 15216
Raw data (stat): 15216 (bsolo_lpr_cuts) R 15215 7876 7672 0 -1 0 29182 0 0 0 37919 83 0 0 25 0 1 0 732876354 106962944 25282 4294967295 134512640 134714508 3221221776 3221220656 134622252 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26114 25282 1111 63 0 26051 0
vsize: 104456
[startup+390.015 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 15216
Raw data (stat): 15216 (bsolo_lpr_cuts) R 15215 7876 7672 0 -1 0 29182 0 0 0 38919 84 0 0 25 0 1 0 732876354 106962944 25282 4294967295 134512640 134714508 3221221776 3221220656 134622252 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26114 25282 1111 63 0 26051 0
vsize: 104456
[startup+400.015 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 15216
Raw data (stat): 15216 (bsolo_lpr_cuts) R 15215 7876 7672 0 -1 0 29204 0 0 0 39919 84 0 0 25 0 1 0 732876354 106962944 25304 4294967295 134512640 134714508 3221221776 3221220080 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26114 25304 1111 63 0 26051 0
vsize: 104456
[startup+410.015 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 15216
Raw data (stat): 15216 (bsolo_lpr_cuts) R 15215 7876 7672 0 -1 0 29204 0 0 0 40918 84 0 0 25 0 1 0 732876354 106962944 25304 4294967295 134512640 134714508 3221221776 3221220080 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26114 25304 1111 63 0 26051 0
vsize: 104456
[startup+420.014 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 15216
Raw data (stat): 15216 (bsolo_lpr_cuts) R 15215 7876 7672 0 -1 0 29204 0 0 0 41918 84 0 0 25 0 1 0 732876354 106962944 25304 4294967295 134512640 134714508 3221221776 3221220048 1074153779 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26114 25304 1111 63 0 26051 0
vsize: 104456
[startup+430.014 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 15216
Raw data (stat): 15216 (bsolo_lpr_cuts) R 15215 7876 7672 0 -1 0 29204 0 0 0 42918 85 0 0 25 0 1 0 732876354 106962944 25304 4294967295 134512640 134714508 3221221776 3221220032 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26114 25304 1111 63 0 26051 0
vsize: 104456
[startup+440.015 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 15216
Raw data (stat): 15216 (bsolo_lpr_cuts) R 15215 7876 7672 0 -1 0 29204 0 0 0 43918 85 0 0 25 0 1 0 732876354 106962944 25304 4294967295 134512640 134714508 3221221776 3221220048 1074153786 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26114 25304 1111 63 0 26051 0
vsize: 104456
[startup+450.015 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 15216
Raw data (stat): 15216 (bsolo_lpr_cuts) R 15215 7876 7672 0 -1 0 29204 0 0 0 44917 86 0 0 25 0 1 0 732876354 106962944 25304 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26114 25304 1111 63 0 26051 0
vsize: 104456
[startup+460.015 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 15216
Raw data (stat): 15216 (bsolo_lpr_cuts) R 15215 7876 7672 0 -1 0 29204 0 0 0 45917 86 0 0 25 0 1 0 732876354 106962944 25304 4294967295 134512640 134714508 3221221776 3221220032 1074153779 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26114 25304 1111 63 0 26051 0
vsize: 104456
[startup+470.015 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 15216
Raw data (stat): 15216 (bsolo_lpr_cuts) R 15215 7876 7672 0 -1 0 29204 0 0 0 46917 86 0 0 25 0 1 0 732876354 106962944 25304 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26114 25304 1111 63 0 26051 0
vsize: 104456
[startup+480.016 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 15216
Raw data (stat): 15216 (bsolo_lpr_cuts) R 15215 7876 7672 0 -1 0 29204 0 0 0 47917 87 0 0 25 0 1 0 732876354 106962944 25304 4294967295 134512640 134714508 3221221776 3221220048 1074153760 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26114 25304 1111 63 0 26051 0
vsize: 104456
[startup+490.016 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 15216
Raw data (stat): 15216 (bsolo_lpr_cuts) R 15215 7876 7672 0 -1 0 29204 0 0 0 48916 87 0 0 25 0 1 0 732876354 106962944 25304 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26114 25304 1111 63 0 26051 0
vsize: 104456
[startup+500.016 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 15216
Raw data (stat): 15216 (bsolo_lpr_cuts) R 15215 7876 7672 0 -1 0 29204 0 0 0 49916 88 0 0 25 0 1 0 732876354 106962944 25304 4294967295 134512640 134714508 3221221776 3221220032 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26114 25304 1111 63 0 26051 0
vsize: 104456
[startup+510.016 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 15216
Raw data (stat): 15216 (bsolo_lpr_cuts) R 15215 7876 7672 0 -1 0 29204 0 0 0 50916 88 0 0 25 0 1 0 732876354 106962944 25304 4294967295 134512640 134714508 3221221776 3221220032 1074153760 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26114 25304 1111 63 0 26051 0
vsize: 104456
[startup+520.016 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 15216
Raw data (stat): 15216 (bsolo_lpr_cuts) R 15215 7876 7672 0 -1 0 29204 0 0 0 51915 88 0 0 25 0 1 0 732876354 106962944 25304 4294967295 134512640 134714508 3221221776 3221220032 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26114 25304 1111 63 0 26051 0
vsize: 104456
[startup+530.017 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 15216
Raw data (stat): 15216 (bsolo_lpr_cuts) R 15215 7876 7672 0 -1 0 29204 0 0 0 52915 89 0 0 25 0 1 0 732876354 106962944 25304 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26114 25304 1111 63 0 26051 0
vsize: 104456
[startup+540.017 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 15216
Raw data (stat): 15216 (bsolo_lpr_cuts) R 15215 7876 7672 0 -1 0 29204 0 0 0 53915 89 0 0 25 0 1 0 732876354 106962944 25304 4294967295 134512640 134714508 3221221776 3221220000 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26114 25304 1111 63 0 26051 0
vsize: 104456
[startup+550.016 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 15216
Raw data (stat): 15216 (bsolo_lpr_cuts) R 15215 7876 7672 0 -1 0 29204 0 0 0 54914 90 0 0 25 0 1 0 732876354 106962944 25304 4294967295 134512640 134714508 3221221776 3221220032 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26114 25304 1111 63 0 26051 0
vsize: 104456
[startup+560.018 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 15216
Raw data (stat): 15216 (bsolo_lpr_cuts) R 15215 7876 7672 0 -1 0 29204 0 0 0 55914 90 0 0 25 0 1 0 732876354 106962944 25304 4294967295 134512640 134714508 3221221776 3221220048 1074153779 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26114 25304 1111 63 0 26051 0
vsize: 104456
[startup+570.017 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 15216
Raw data (stat): 15216 (bsolo_lpr_cuts) R 15215 7876 7672 0 -1 0 29204 0 0 0 56914 90 0 0 25 0 1 0 732876354 106962944 25304 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26114 25304 1111 63 0 26051 0
vsize: 104456
[startup+580.018 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 15216
Raw data (stat): 15216 (bsolo_lpr_cuts) R 15215 7876 7672 0 -1 0 29204 0 0 0 57913 91 0 0 25 0 1 0 732876354 106962944 25304 4294967295 134512640 134714508 3221221776 3221220032 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26114 25304 1111 63 0 26051 0
vsize: 104456
[startup+590.018 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 15216
Raw data (stat): 15216 (bsolo_lpr_cuts) R 15215 7876 7672 0 -1 0 29204 0 0 0 58914 91 0 0 25 0 1 0 732876354 106962944 25304 4294967295 134512640 134714508 3221221776 3221220080 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26114 25304 1111 63 0 26051 0
vsize: 104456
[startup+600.019 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 15216
Raw data (stat): 15216 (bsolo_lpr_cuts) R 15215 7876 7672 0 -1 0 29204 0 0 0 59913 91 0 0 25 0 1 0 732876354 106962944 25304 4294967295 134512640 134714508 3221221776 3221220048 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26114 25304 1111 63 0 26051 0
vsize: 104456
[startup+610.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 15216
Raw data (stat): 15216 (bsolo_lpr_cuts) R 15215 7876 7672 0 -1 0 29204 0 0 0 60913 92 0 0 25 0 1 0 732876354 106962944 25304 4294967295 134512640 134714508 3221221776 3221220032 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26114 25304 1111 63 0 26051 0
vsize: 104456
[startup+620.019 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 15216
Raw data (stat): 15216 (bsolo_lpr_cuts) R 15215 7876 7672 0 -1 0 29204 0 0 0 61913 92 0 0 25 0 1 0 732876354 106962944 25304 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26114 25304 1111 63 0 26051 0
vsize: 104456
[startup+630.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 15216
Raw data (stat): 15216 (bsolo_lpr_cuts) R 15215 7876 7672 0 -1 0 29592 0 0 0 62911 93 0 0 25 0 1 0 732876354 108548096 25692 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26501 25692 1111 63 0 26438 0
vsize: 106004
[startup+640.021 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 15216
Raw data (stat): 15216 (bsolo_lpr_cuts) R 15215 7876 7672 0 -1 0 29599 0 0 0 63910 94 0 0 25 0 1 0 732876354 108576768 25699 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26508 25699 1111 63 0 26445 0
vsize: 106032
[startup+650.021 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 15216
Raw data (stat): 15216 (bsolo_lpr_cuts) R 15215 7876 7672 0 -1 0 29607 0 0 0 64910 94 0 0 25 0 1 0 732876354 108609536 25707 4294967295 134512640 134714508 3221221776 3221220032 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26516 25707 1111 63 0 26453 0
vsize: 106064
[startup+660.022 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 15216
Raw data (stat): 15216 (bsolo_lpr_cuts) R 15215 7876 7672 0 -1 0 29614 0 0 0 65909 96 0 0 25 0 1 0 732876354 108638208 25714 4294967295 134512640 134714508 3221221776 3221220032 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26523 25714 1111 63 0 26460 0
vsize: 106092
[startup+670.022 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 15216
Raw data (stat): 15216 (bsolo_lpr_cuts) R 15215 7876 7672 0 -1 0 29623 0 0 0 66908 97 0 0 25 0 1 0 732876354 108675072 25723 4294967295 134512640 134714508 3221221776 3221219984 1074153792 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26532 25723 1111 63 0 26469 0
vsize: 106128
[startup+680.022 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 15216
Raw data (stat): 15216 (bsolo_lpr_cuts) R 15215 7876 7672 0 -1 0 29630 0 0 0 67907 97 0 0 25 0 1 0 732876354 108703744 25730 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26539 25730 1111 63 0 26476 0
vsize: 106156
[startup+690.023 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 15216
Raw data (stat): 15216 (bsolo_lpr_cuts) R 15215 7876 7672 0 -1 0 29638 0 0 0 68907 98 0 0 25 0 1 0 732876354 108736512 25738 4294967295 134512640 134714508 3221221776 3221220032 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26547 25738 1111 63 0 26484 0
vsize: 106188
[startup+700.024 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 15216
Raw data (stat): 15216 (bsolo_lpr_cuts) R 15215 7876 7672 0 -1 0 29645 0 0 0 69907 98 0 0 25 0 1 0 732876354 108765184 25745 4294967295 134512640 134714508 3221221776 3221220048 1074153792 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26554 25745 1111 63 0 26491 0
vsize: 106216
[startup+710.025 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 15216
Raw data (stat): 15216 (bsolo_lpr_cuts) R 15215 7876 7672 0 -1 0 29652 0 0 0 70907 99 0 0 25 0 1 0 732876354 108793856 25752 4294967295 134512640 134714508 3221221776 3221220048 1074153773 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26561 25752 1111 63 0 26498 0
vsize: 106244
[startup+720.025 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 15216
Raw data (stat): 15216 (bsolo_lpr_cuts) R 15215 7876 7672 0 -1 0 29658 0 0 0 71906 100 0 0 25 0 1 0 732876354 108818432 25758 4294967295 134512640 134714508 3221221776 3221220032 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26567 25758 1111 63 0 26504 0
vsize: 106268
[startup+730.025 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 15216
Raw data (stat): 15216 (bsolo_lpr_cuts) R 15215 7876 7672 0 -1 0 29665 0 0 0 72905 100 0 0 25 0 1 0 732876354 108847104 25765 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26574 25765 1111 63 0 26511 0
vsize: 106296
[startup+740.026 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 15216
Raw data (stat): 15216 (bsolo_lpr_cuts) R 15215 7876 7672 0 -1 0 29672 0 0 0 73905 101 0 0 25 0 1 0 732876354 108875776 25772 4294967295 134512640 134714508 3221221776 3221220032 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26581 25772 1111 63 0 26518 0
vsize: 106324
[startup+750.026 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 15216
Raw data (stat): 15216 (bsolo_lpr_cuts) R 15215 7876 7672 0 -1 0 29681 0 0 0 74904 102 0 0 25 0 1 0 732876354 108912640 25781 4294967295 134512640 134714508 3221221776 3221220032 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26590 25781 1111 63 0 26527 0
vsize: 106360
[startup+760.026 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 15216
Raw data (stat): 15216 (bsolo_lpr_cuts) R 15215 7876 7672 0 -1 0 35857 0 0 0 75891 115 0 0 25 0 1 0 732876354 135327744 29481 4294967295 134512640 134714508 3221221776 3221217728 1075965256 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33039 29481 1111 63 0 32976 0
vsize: 132156
[startup+770.026 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 15216
Raw data (stat): 15216 (bsolo_lpr_cuts) R 15215 7876 7672 0 -1 0 35956 0 0 0 76891 115 0 0 25 0 1 0 732876354 135327744 29580 4294967295 134512640 134714508 3221221776 3221217840 1074969455 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33039 29580 1111 63 0 32976 0
vsize: 132156
[startup+780.027 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 15216
Raw data (stat): 15216 (bsolo_lpr_cuts) R 15215 7876 7672 0 -1 0 37434 0 0 0 77888 118 0 0 25 0 1 0 732876354 138317824 31056 4294967295 134512640 134714508 3221221776 3221217840 1074969461 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33769 31056 1111 63 0 33706 0
vsize: 135076
[startup+790.027 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 15216
Raw data (stat): 15216 (bsolo_lpr_cuts) R 15215 7876 7672 0 -1 0 37469 0 0 0 78887 119 0 0 25 0 1 0 732876354 138317824 31091 4294967295 134512640 134714508 3221221776 3221217856 1075093377 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33769 31091 1111 63 0 33706 0
vsize: 135076
[startup+800.027 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 15216
Raw data (stat): 15216 (bsolo_lpr_cuts) R 15215 7876 7672 0 -1 0 37712 0 0 0 79886 120 0 0 25 0 1 0 732876354 132341760 30004 4294967295 134512640 134714508 3221221776 3221217840 1074969461 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32310 30004 1111 63 0 32247 0
vsize: 129240
[startup+810.028 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 15216
Raw data (stat): 15216 (bsolo_lpr_cuts) R 15215 7876 7672 0 -1 0 37742 0 0 0 80886 121 0 0 25 0 1 0 732876354 132341760 30032 4294967295 134512640 134714508 3221221776 3221217856 1074883672 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32310 30032 1111 63 0 32247 0
vsize: 129240
[startup+820.028 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 15216
Raw data (stat): 15216 (bsolo_lpr_cuts) R 15215 7876 7672 0 -1 0 37754 0 0 0 81886 121 0 0 25 0 1 0 732876354 132341760 30042 4294967295 134512640 134714508 3221221776 3221217904 1074815284 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32310 30042 1111 63 0 32247 0
vsize: 129240
[startup+830.029 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 15216
Raw data (stat): 15216 (bsolo_lpr_cuts) R 15215 7876 7672 0 -1 0 37770 0 0 0 82885 122 0 0 25 0 1 0 732876354 132341760 30056 4294967295 134512640 134714508 3221221776 3221217580 1074788959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32310 30056 1111 63 0 32247 0
vsize: 129240
[startup+840.029 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 15216
Raw data (stat): 15216 (bsolo_lpr_cuts) R 15215 7876 7672 0 -1 0 37783 0 0 0 83885 122 0 0 25 0 1 0 732876354 132341760 30069 4294967295 134512640 134714508 3221221776 3221217824 1075112103 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32310 30069 1111 63 0 32247 0
vsize: 129240
[startup+850.029 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 15216
Raw data (stat): 15216 (bsolo_lpr_cuts) R 15215 7876 7672 0 -1 0 37816 0 0 0 84884 123 0 0 25 0 1 0 732876354 132341760 30100 4294967295 134512640 134714508 3221221776 3221217840 1074969461 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32310 30100 1111 63 0 32247 0
vsize: 129240
[startup+860.029 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 15216
Raw data (stat): 15216 (bsolo_lpr_cuts) R 15215 7876 7672 0 -1 0 37819 0 0 0 85884 123 0 0 25 0 1 0 732876354 132341760 30103 4294967295 134512640 134714508 3221221776 3221217840 1074969461 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32310 30103 1111 63 0 32247 0
vsize: 129240
[startup+870.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 15216
Raw data (stat): 15216 (bsolo_lpr_cuts) R 15215 7876 7672 0 -1 0 37833 0 0 0 86884 124 0 0 25 0 1 0 732876354 132341760 30115 4294967295 134512640 134714508 3221221776 3221217924 1075115039 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32310 30115 1111 63 0 32247 0
vsize: 129240
[startup+880.031 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 15216
Raw data (stat): 15216 (bsolo_lpr_cuts) R 15215 7876 7672 0 -1 0 37849 0 0 0 87884 124 0 0 25 0 1 0 732876354 132341760 30129 4294967295 134512640 134714508 3221221776 3221217840 1074969463 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32310 30129 1111 63 0 32247 0
vsize: 129240
[startup+890.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 15216
Raw data (stat): 15216 (bsolo_lpr_cuts) R 15215 7876 7672 0 -1 0 37851 0 0 0 88884 124 0 0 25 0 1 0 732876354 132341760 30131 4294967295 134512640 134714508 3221221776 3221217840 1074969461 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32310 30131 1111 63 0 32247 0
vsize: 129240
[startup+900.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 15216
Raw data (stat): 15216 (bsolo_lpr_cuts) R 15215 7876 7672 0 -1 0 37865 0 0 0 89884 125 0 0 25 0 1 0 732876354 132341760 30143 4294967295 134512640 134714508 3221221776 3221217840 1074969461 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32310 30143 1111 63 0 32247 0
vsize: 129240
[startup+910.031 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 15216
Raw data (stat): 15216 (bsolo_lpr_cuts) R 15215 7876 7672 0 -1 0 37870 0 0 0 90884 125 0 0 25 0 1 0 732876354 132341760 30148 4294967295 134512640 134714508 3221221776 3221217840 1074969461 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32310 30148 1111 63 0 32247 0
vsize: 129240
[startup+920.031 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 15216
Raw data (stat): 15216 (bsolo_lpr_cuts) R 15215 7876 7672 0 -1 0 37931 0 0 0 91883 126 0 0 25 0 1 0 732876354 132935680 30207 4294967295 134512640 134714508 3221221776 3221217924 1075115070 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32455 30207 1111 63 0 32392 0
vsize: 129820
[startup+930.031 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 15216
Raw data (stat): 15216 (bsolo_lpr_cuts) R 15215 7876 7672 0 -1 0 37965 0 0 0 92882 126 0 0 25 0 1 0 732876354 132935680 30239 4294967295 134512640 134714508 3221221776 3221218528 1075115385 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32455 30239 1111 63 0 32392 0
vsize: 129820
[startup+940.032 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 15216
Raw data (stat): 15216 (bsolo_lpr_cuts) R 15215 7876 7672 0 -1 0 37969 0 0 0 93882 127 0 0 25 0 1 0 732876354 132935680 30241 4294967295 134512640 134714508 3221221776 3221218816 1074835532 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32455 30241 1111 63 0 32392 0
vsize: 129820
[startup+950.033 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 15216
Raw data (stat): 15216 (bsolo_lpr_cuts) R 15215 7876 7672 0 -1 0 37970 0 0 0 94881 128 0 0 25 0 1 0 732876354 132935680 30242 4294967295 134512640 134714508 3221221776 3221217580 1074788953 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32455 30242 1111 63 0 32392 0
vsize: 129820
[startup+960.033 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 15216
Raw data (stat): 15216 (bsolo_lpr_cuts) R 15215 7876 7672 0 -1 0 37975 0 0 0 95881 128 0 0 25 0 1 0 732876354 132935680 30245 4294967295 134512640 134714508 3221221776 3221217968 1074961301 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32455 30245 1111 63 0 32392 0
vsize: 129820
[startup+970.033 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 15216
Raw data (stat): 15216 (bsolo_lpr_cuts) R 15215 7876 7672 0 -1 0 37979 0 0 0 96881 128 0 0 25 0 1 0 732876354 132935680 30249 4294967295 134512640 134714508 3221221776 3221217840 1074969458 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32455 30249 1111 63 0 32392 0
vsize: 129820
[startup+980.033 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 15216
Raw data (stat): 15216 (bsolo_lpr_cuts) R 15215 7876 7672 0 -1 0 38001 0 0 0 97881 129 0 0 25 0 1 0 732876354 132935680 30269 4294967295 134512640 134714508 3221221776 3221217708 1074788950 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32455 30269 1111 63 0 32392 0
vsize: 129820
[startup+990.033 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 15216
Raw data (stat): 15216 (bsolo_lpr_cuts) R 15215 7876 7672 0 -1 0 38001 0 0 0 98881 129 0 0 25 0 1 0 732876354 132935680 30269 4294967295 134512640 134714508 3221221776 3221217920 1075895656 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32455 30269 1111 63 0 32392 0
vsize: 129820
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 15216
Raw data (stat): 15216 (bsolo_lpr_cuts) R 15215 7876 7672 0 -1 0 38010 0 0 0 99881 129 0 0 25 0 1 0 732876354 132935680 30276 4294967295 134512640 134714508 3221221776 3221217968 1074961433 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32455 30276 1111 63 0 32392 0
vsize: 129820
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 15216
Raw data (stat): 15216 (bsolo_lpr_cuts) R 15215 7876 7672 0 -1 0 38015 0 0 0 100880 130 0 0 25 0 1 0 732876354 132935680 30279 4294967295 134512640 134714508 3221221776 3221217924 1075115035 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32455 30279 1111 63 0 32392 0
vsize: 129820
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 15216
Raw data (stat): 15216 (bsolo_lpr_cuts) R 15215 7876 7672 0 -1 0 38020 0 0 0 101880 130 0 0 25 0 1 0 732876354 133263360 30284 4294967295 134512640 134714508 3221221776 3221218768 1074867305 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32535 30284 1111 63 0 32472 0
vsize: 130140
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 15216
Raw data (stat): 15216 (bsolo_lpr_cuts) R 15215 7876 7672 0 -1 0 38025 0 0 0 102880 130 0 0 25 0 1 0 732876354 132935680 30287 4294967295 134512640 134714508 3221221776 3221217924 1075115065 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32455 30287 1111 63 0 32392 0
vsize: 129820
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 15216
Raw data (stat): 15216 (bsolo_lpr_cuts) R 15215 7876 7672 0 -1 0 38040 0 0 0 103880 131 0 0 25 0 1 0 732876354 132935680 30302 4294967295 134512640 134714508 3221221776 3221217580 1074788953 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32455 30302 1111 63 0 32392 0
vsize: 129820
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 15216
Raw data (stat): 15216 (bsolo_lpr_cuts) R 15215 7876 7672 0 -1 0 38064 0 0 0 104880 131 0 0 25 0 1 0 732876354 132935680 30324 4294967295 134512640 134714508 3221221776 3221217840 1074969461 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32455 30324 1111 63 0 32392 0
vsize: 129820
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 15216
Raw data (stat): 15216 (bsolo_lpr_cuts) R 15215 7876 7672 0 -1 0 38073 0 0 0 105880 132 0 0 25 0 1 0 732876354 132935680 30331 4294967295 134512640 134714508 3221221776 3221217760 1075084533 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32455 30331 1111 63 0 32392 0
vsize: 129820
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 15216
Raw data (stat): 15216 (bsolo_lpr_cuts) R 15215 7876 7672 0 -1 0 38076 0 0 0 106879 132 0 0 25 0 1 0 732876354 132935680 30332 4294967295 134512640 134714508 3221221776 3221217840 1074969458 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32455 30332 1111 63 0 32392 0
vsize: 129820
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 15216
Raw data (stat): 15216 (bsolo_lpr_cuts) R 15215 7876 7672 0 -1 0 38081 0 0 0 107879 132 0 0 25 0 1 0 732876354 132935680 30335 4294967295 134512640 134714508 3221221776 3221217708 1074788950 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32455 30335 1111 63 0 32392 0
vsize: 129820
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 15216
Raw data (stat): 15216 (bsolo_lpr_cuts) R 15215 7876 7672 0 -1 0 38082 0 0 0 108879 133 0 0 25 0 1 0 732876354 132935680 30336 4294967295 134512640 134714508 3221221776 3221217580 1074788950 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32455 30336 1111 63 0 32392 0
vsize: 129820
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 15216
Raw data (stat): 15216 (bsolo_lpr_cuts) R 15215 7876 7672 0 -1 0 38095 0 0 0 109878 134 0 0 25 0 1 0 732876354 132935680 30347 4294967295 134512640 134714508 3221221776 3221217580 1074788959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32455 30347 1111 63 0 32392 0
vsize: 129820
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 15216
Raw data (stat): 15216 (bsolo_lpr_cuts) R 15215 7876 7672 0 -1 0 38096 0 0 0 110878 134 0 0 25 0 1 0 732876354 132935680 30348 4294967295 134512640 134714508 3221221776 3221217840 1074971016 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32455 30348 1111 63 0 32392 0
vsize: 129820
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 15216
Raw data (stat): 15216 (bsolo_lpr_cuts) R 15215 7876 7672 0 -1 0 38184 0 0 0 111877 135 0 0 25 0 1 0 732876354 133558272 30434 4294967295 134512640 134714508 3221221776 3221217760 1075084533 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32607 30434 1111 63 0 32544 0
vsize: 130428
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 15216
Raw data (stat): 15216 (bsolo_lpr_cuts) R 15215 7876 7672 0 -1 0 38209 0 0 0 112877 135 0 0 25 0 1 0 732876354 133558272 30457 4294967295 134512640 134714508 3221221776 3221217904 1074815312 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32607 30457 1111 63 0 32544 0
vsize: 130428
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 15216
Raw data (stat): 15216 (bsolo_lpr_cuts) R 15215 7876 7672 0 -1 0 38209 0 0 0 113877 135 0 0 25 0 1 0 732876354 133558272 30457 4294967295 134512640 134714508 3221221776 3221217580 1074788956 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32607 30457 1111 63 0 32544 0
vsize: 130428
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 15216
Raw data (stat): 15216 (bsolo_lpr_cuts) R 15215 7876 7672 0 -1 0 38217 0 0 0 114877 135 0 0 25 0 1 0 732876354 133558272 30463 4294967295 134512640 134714508 3221221776 3221218240 1075088564 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32607 30463 1111 63 0 32544 0
vsize: 130428
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 15216
Raw data (stat): 15216 (bsolo_lpr_cuts) R 15215 7876 7672 0 -1 0 38252 0 0 0 115878 136 0 0 25 0 1 0 732876354 133558272 30496 4294967295 134512640 134714508 3221221776 3221217824 1075112086 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32607 30496 1111 63 0 32544 0
vsize: 130428
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 15216
Raw data (stat): 15216 (bsolo_lpr_cuts) R 15215 7876 7672 0 -1 0 38346 0 0 0 116878 136 0 0 25 0 1 0 732876354 134225920 30588 4294967295 134512640 134714508 3221221776 3221217840 1074969461 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32770 30588 1111 63 0 32707 0
vsize: 131080
[startup+1180.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 15216
Raw data (stat): 15216 (bsolo_lpr_cuts) R 15215 7876 7672 0 -1 0 38390 0 0 0 117878 136 0 0 25 0 1 0 732876354 134225920 30630 4294967295 134512640 134714508 3221221776 3221217580 1074788950 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32770 30630 1111 63 0 32707 0
vsize: 131080
[startup+1190.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 15216
Raw data (stat): 15216 (bsolo_lpr_cuts) R 15215 7876 7672 0 -1 0 38392 0 0 0 118878 136 0 0 25 0 1 0 732876354 134553600 30632 4294967295 134512640 134714508 3221221776 3221218768 1074867320 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32850 30632 1111 63 0 32787 0
vsize: 131400
[startup+1200.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 15216
Raw data (stat): 15216 (bsolo_lpr_cuts) R 15215 7876 7672 0 -1 0 38396 0 0 0 119878 136 0 0 25 0 1 0 732876354 134225920 30634 4294967295 134512640 134714508 3221221776 3221217856 1075094841 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32770 30634 1111 63 0 32707 0
vsize: 131080
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.1 s]
Raw data (loadavg): 0.99 0.97 0.95 1/55 15216
Raw data (stat): 15216 (bsolo_lpr_cuts) Z 15215 7876 7672 0 -1 1036 38396 0 0 0 119878 141 0 0 25 0 1 0 732876354 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.1
CPU time (s): 1200.21
CPU user time (s): 1198.79
CPU system time (s): 1.41878
CPU usage (%): 100.009
Max. virtual memory (Kb): 135076
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####