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/frb56-25-opb/normalized-frb56-25-2.opb
MD5SUM	550a32227cb0042826e9d8b0433b2655
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-42
Optimality of the best value was proved	NO
Number of terms in the objective function	1400
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	1400
Number of bits of the sum of numbers in the objective function	11
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	1400
Number of bits of the biggest sum of numbers	11
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.12
Number of variables	1400
Total number of constraints	109401
Number of constraints which are clauses	109401
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 24863

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-14 02:19:32 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=3098 boxname=wulflinc31 idbench=345 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  550a32227cb0042826e9d8b0433b2655  /oldhome/oroussel/tmp/wulflinc31/normalized-frb56-25-2.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-frb56-25-2.opb
IDLAUNCH: 3098
/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:        843564 kB
Buffers:         38024 kB
Cached:         131132 kB
SwapCached:       1932 kB
Active:         133932 kB
Inactive:        38396 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        843312 kB
SwapTotal:     2097892 kB
SwapFree:      2095228 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5360 kB
Slab:            13052 kB
Committed_AS:    63856 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-14 02:39:35 (client local time) WITH STATUS 0 IN 1200.26 SECONDS
stats: 3098 7 1200.26 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 1400 variables and 109401 constraints.
c After prepocess the problem consists of 1400 variables and 75630 constraints.
c preprocess terminated 906.924 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.78 0.95 0.94 2/55 22093
Raw data (stat): 22093 (runsolver) R 22092 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 740156120 1056768 100 4294967295 134512640 135381576 3221221680 3221216896 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+9.99968 s]
Raw data (loadavg): 0.81 0.95 0.94 2/55 22093
Raw data (stat): 22093 (bsolo_lpr_cuts) R 22092 7876 7672 0 -1 0 11085 0 0 0 956 37 0 0 25 0 1 0 740156120 58613760 11008 4294967295 134512640 134714508 3221221776 3221219820 1076999584 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14310 11008 1111 63 0 14247 0
vsize: 57240
[startup+20.0007 s]
Raw data (loadavg): 0.84 0.95 0.94 2/55 22093
Raw data (stat): 22093 (bsolo_lpr_cuts) R 22092 7876 7672 0 -1 0 44834 0 0 0 1880 113 0 0 25 0 1 0 740156120 186855424 44753 4294967295 134512640 134714508 3221221776 3221220392 134543804 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45619 44753 1111 63 0 45556 0
vsize: 182476
[startup+30.0018 s]
Raw data (loadavg): 0.86 0.95 0.94 2/55 22093
Raw data (stat): 22093 (bsolo_lpr_cuts) R 22092 7876 7672 0 -1 0 46215 0 0 0 2877 116 0 0 25 0 1 0 740156120 192450560 46134 4294967295 134512640 134714508 3221221776 3221220160 134542350 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46985 46134 1111 63 0 46922 0
vsize: 187940
[startup+40.0027 s]
Raw data (loadavg): 0.89 0.95 0.94 2/55 22093
Raw data (stat): 22093 (bsolo_lpr_cuts) R 22092 7876 7672 0 -1 0 47586 0 0 0 3875 118 0 0 25 0 1 0 740156120 198045696 47505 4294967295 134512640 134714508 3221221776 3221220420 134609105 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 48351 47505 1111 63 0 48288 0
vsize: 193404
[startup+50.0033 s]
Raw data (loadavg): 0.90 0.96 0.94 2/55 22093
Raw data (stat): 22093 (bsolo_lpr_cuts) R 22092 7876 7672 0 -1 0 47586 0 0 0 4875 118 0 0 25 0 1 0 740156120 198045696 47505 4294967295 134512640 134714508 3221221776 3221220108 134535956 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 48351 47505 1111 63 0 48288 0
vsize: 193404
[startup+60.0036 s]
Raw data (loadavg): 0.92 0.96 0.94 2/55 22093
Raw data (stat): 22093 (bsolo_lpr_cuts) R 22092 7876 7672 0 -1 0 49724 0 0 0 5872 122 0 0 25 0 1 0 740156120 206905344 49643 4294967295 134512640 134714508 3221221776 3221220392 134543796 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50514 49643 1111 63 0 50451 0
vsize: 202056
[startup+70.0042 s]
Raw data (loadavg): 0.93 0.96 0.94 2/55 22093
Raw data (stat): 22093 (bsolo_lpr_cuts) R 22092 7876 7672 0 -1 0 49724 0 0 0 6872 122 0 0 25 0 1 0 740156120 206905344 49643 4294967295 134512640 134714508 3221221776 3221220108 134535900 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50514 49643 1111 63 0 50451 0
vsize: 202056
[startup+80.0041 s]
Raw data (loadavg): 0.94 0.96 0.94 2/55 22093
Raw data (stat): 22093 (bsolo_lpr_cuts) R 22092 7876 7672 0 -1 0 49724 0 0 0 7872 123 0 0 25 0 1 0 740156120 206905344 49643 4294967295 134512640 134714508 3221221776 3221220392 134543804 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50514 49643 1111 63 0 50451 0
vsize: 202056
[startup+90.0054 s]
Raw data (loadavg): 0.95 0.96 0.94 2/55 22093
Raw data (stat): 22093 (bsolo_lpr_cuts) R 22092 7876 7672 0 -1 0 49724 0 0 0 8872 123 0 0 25 0 1 0 740156120 206905344 49643 4294967295 134512640 134714508 3221221776 3221220256 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50514 49643 1111 63 0 50451 0
vsize: 202056
[startup+100.006 s]
Raw data (loadavg): 0.96 0.96 0.94 2/55 22093
Raw data (stat): 22093 (bsolo_lpr_cuts) R 22092 7876 7672 0 -1 0 49724 0 0 0 9872 123 0 0 25 0 1 0 740156120 206905344 49643 4294967295 134512640 134714508 3221221776 3221220512 134630815 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50514 49643 1111 63 0 50451 0
vsize: 202056
[startup+110.006 s]
Raw data (loadavg): 0.96 0.96 0.94 2/55 22093
Raw data (stat): 22093 (bsolo_lpr_cuts) R 22092 7876 7672 0 -1 0 49724 0 0 0 10872 123 0 0 25 0 1 0 740156120 206905344 49643 4294967295 134512640 134714508 3221221776 3221220240 134542368 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50514 49643 1111 63 0 50451 0
vsize: 202056
[startup+120.007 s]
Raw data (loadavg): 0.97 0.96 0.94 2/55 22093
Raw data (stat): 22093 (bsolo_lpr_cuts) R 22092 7876 7672 0 -1 0 49724 0 0 0 11873 123 0 0 25 0 1 0 740156120 206905344 49643 4294967295 134512640 134714508 3221221776 3221220160 134542352 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50514 49643 1111 63 0 50451 0
vsize: 202056
[startup+130.007 s]
Raw data (loadavg): 0.97 0.96 0.94 2/55 22093
Raw data (stat): 22093 (bsolo_lpr_cuts) R 22092 7876 7672 0 -1 0 49724 0 0 0 12873 123 0 0 25 0 1 0 740156120 206905344 49643 4294967295 134512640 134714508 3221221776 3221220220 134542656 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50514 49643 1111 63 0 50451 0
vsize: 202056
[startup+140.008 s]
Raw data (loadavg): 0.98 0.96 0.94 2/55 22093
Raw data (stat): 22093 (bsolo_lpr_cuts) R 22092 7876 7672 0 -1 0 49724 0 0 0 13873 123 0 0 25 0 1 0 740156120 206905344 49643 4294967295 134512640 134714508 3221221776 3221220160 134542352 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50514 49643 1111 63 0 50451 0
vsize: 202056
[startup+150.009 s]
Raw data (loadavg): 0.98 0.97 0.94 2/55 22093
Raw data (stat): 22093 (bsolo_lpr_cuts) R 22092 7876 7672 0 -1 0 49724 0 0 0 14873 123 0 0 25 0 1 0 740156120 206905344 49643 4294967295 134512640 134714508 3221221776 3221220256 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50514 49643 1111 63 0 50451 0
vsize: 202056
[startup+160.009 s]
Raw data (loadavg): 0.98 0.97 0.94 2/55 22093
Raw data (stat): 22093 (bsolo_lpr_cuts) R 22092 7876 7672 0 -1 0 49724 0 0 0 15873 123 0 0 25 0 1 0 740156120 206905344 49643 4294967295 134512640 134714508 3221221776 3221220432 134609196 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50514 49643 1111 63 0 50451 0
vsize: 202056
[startup+170.01 s]
Raw data (loadavg): 0.98 0.97 0.94 2/55 22093
Raw data (stat): 22093 (bsolo_lpr_cuts) R 22092 7876 7672 0 -1 0 49724 0 0 0 16874 123 0 0 25 0 1 0 740156120 206905344 49643 4294967295 134512640 134714508 3221221776 3221220340 134535756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50514 49643 1111 63 0 50451 0
vsize: 202056
[startup+180.01 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 22093
Raw data (stat): 22093 (bsolo_lpr_cuts) R 22092 7876 7672 0 -1 0 49724 0 0 0 17874 123 0 0 25 0 1 0 740156120 206905344 49643 4294967295 134512640 134714508 3221221776 3221220140 134539237 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50514 49643 1111 63 0 50451 0
vsize: 202056
[startup+190.01 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 22093
Raw data (stat): 22093 (bsolo_lpr_cuts) R 22092 7876 7672 0 -1 0 49724 0 0 0 18874 123 0 0 25 0 1 0 740156120 206905344 49643 4294967295 134512640 134714508 3221221776 3221220320 134538905 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50514 49643 1111 63 0 50451 0
vsize: 202056
[startup+200.01 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 22093
Raw data (stat): 22093 (bsolo_lpr_cuts) R 22092 7876 7672 0 -1 0 49724 0 0 0 19874 123 0 0 25 0 1 0 740156120 206905344 49643 4294967295 134512640 134714508 3221221776 3221220200 1077378064 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50514 49643 1111 63 0 50451 0
vsize: 202056
[startup+210.011 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 22093
Raw data (stat): 22093 (bsolo_lpr_cuts) R 22092 7876 7672 0 -1 0 49724 0 0 0 20874 123 0 0 25 0 1 0 740156120 206905344 49643 4294967295 134512640 134714508 3221221776 3221220416 134606498 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50514 49643 1111 63 0 50451 0
vsize: 202056
[startup+220.012 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 22093
Raw data (stat): 22093 (bsolo_lpr_cuts) R 22092 7876 7672 0 -1 0 49724 0 0 0 21874 123 0 0 25 0 1 0 740156120 206905344 49643 4294967295 134512640 134714508 3221221776 3221220504 134672906 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50514 49643 1111 63 0 50451 0
vsize: 202056
[startup+230.011 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 22093
Raw data (stat): 22093 (bsolo_lpr_cuts) R 22092 7876 7672 0 -1 0 49724 0 0 0 22875 123 0 0 25 0 1 0 740156120 206905344 49643 4294967295 134512640 134714508 3221221776 3221220416 134606498 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50514 49643 1111 63 0 50451 0
vsize: 202056
[startup+240.012 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 22093
Raw data (stat): 22093 (bsolo_lpr_cuts) R 22092 7876 7672 0 -1 0 49724 0 0 0 23875 123 0 0 25 0 1 0 740156120 206905344 49643 4294967295 134512640 134714508 3221221776 3221220288 134543740 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50514 49643 1111 63 0 50451 0
vsize: 202056
[startup+250.013 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 22093
Raw data (stat): 22093 (bsolo_lpr_cuts) R 22092 7876 7672 0 -1 0 49724 0 0 0 24875 123 0 0 25 0 1 0 740156120 206905344 49643 4294967295 134512640 134714508 3221221776 3221220240 134542306 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50514 49643 1111 63 0 50451 0
vsize: 202056
[startup+260.013 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 22093
Raw data (stat): 22093 (bsolo_lpr_cuts) R 22092 7876 7672 0 -1 0 49724 0 0 0 25875 123 0 0 25 0 1 0 740156120 206905344 49643 4294967295 134512640 134714508 3221221776 3221220392 134543796 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50514 49643 1111 63 0 50451 0
vsize: 202056
[startup+270.014 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 22093
Raw data (stat): 22093 (bsolo_lpr_cuts) R 22092 7876 7672 0 -1 0 49724 0 0 0 26876 123 0 0 25 0 1 0 740156120 206905344 49643 4294967295 134512640 134714508 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50514 49643 1111 63 0 50451 0
vsize: 202056
[startup+280.014 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 22093
Raw data (stat): 22093 (bsolo_lpr_cuts) R 22092 7876 7672 0 -1 0 49724 0 0 0 27876 123 0 0 25 0 1 0 740156120 206905344 49643 4294967295 134512640 134714508 3221221776 3221220416 134606474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50514 49643 1111 63 0 50451 0
vsize: 202056
[startup+290.015 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 22093
Raw data (stat): 22093 (bsolo_lpr_cuts) R 22092 7876 7672 0 -1 0 49724 0 0 0 28876 123 0 0 25 0 1 0 740156120 206905344 49643 4294967295 134512640 134714508 3221221776 3221220416 134594947 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50514 49643 1111 63 0 50451 0
vsize: 202056
[startup+300.015 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 22093
Raw data (stat): 22093 (bsolo_lpr_cuts) R 22092 7876 7672 0 -1 0 49724 0 0 0 29876 123 0 0 25 0 1 0 740156120 206905344 49643 4294967295 134512640 134714508 3221221776 3221220140 134539235 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50514 49643 1111 63 0 50451 0
vsize: 202056
[startup+310.016 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 22093
Raw data (stat): 22093 (bsolo_lpr_cuts) R 22092 7876 7672 0 -1 0 49724 0 0 0 30876 123 0 0 25 0 1 0 740156120 206905344 49643 4294967295 134512640 134714508 3221221776 3221220392 134543796 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50514 49643 1111 63 0 50451 0
vsize: 202056
[startup+320.016 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 22093
Raw data (stat): 22093 (bsolo_lpr_cuts) R 22092 7876 7672 0 -1 0 49724 0 0 0 31876 123 0 0 25 0 1 0 740156120 206905344 49643 4294967295 134512640 134714508 3221221776 3221220256 134539376 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50514 49643 1111 63 0 50451 0
vsize: 202056
[startup+330.016 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 22093
Raw data (stat): 22093 (bsolo_lpr_cuts) R 22092 7876 7672 0 -1 0 49724 0 0 0 32877 123 0 0 25 0 1 0 740156120 206905344 49643 4294967295 134512640 134714508 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50514 49643 1111 63 0 50451 0
vsize: 202056
[startup+340.017 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 22093
Raw data (stat): 22093 (bsolo_lpr_cuts) R 22092 7876 7672 0 -1 0 49724 0 0 0 33877 123 0 0 25 0 1 0 740156120 206905344 49643 4294967295 134512640 134714508 3221221776 3221220160 134542352 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50514 49643 1111 63 0 50451 0
vsize: 202056
[startup+350.017 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 22093
Raw data (stat): 22093 (bsolo_lpr_cuts) R 22092 7876 7672 0 -1 0 49724 0 0 0 34877 123 0 0 25 0 1 0 740156120 206905344 49643 4294967295 134512640 134714508 3221221776 3221220160 134542347 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50514 49643 1111 63 0 50451 0
vsize: 202056
[startup+360.018 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 22093
Raw data (stat): 22093 (bsolo_lpr_cuts) R 22092 7876 7672 0 -1 0 49724 0 0 0 35877 123 0 0 25 0 1 0 740156120 206905344 49643 4294967295 134512640 134714508 3221221776 3221220416 134594947 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50514 49643 1111 63 0 50451 0
vsize: 202056
[startup+370.018 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 22093
Raw data (stat): 22093 (bsolo_lpr_cuts) R 22092 7876 7672 0 -1 0 49724 0 0 0 36877 123 0 0 25 0 1 0 740156120 206905344 49643 4294967295 134512640 134714508 3221221776 3221220244 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50514 49643 1111 63 0 50451 0
vsize: 202056
[startup+380.018 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 22093
Raw data (stat): 22093 (bsolo_lpr_cuts) R 22092 7876 7672 0 -1 0 49724 0 0 0 37878 123 0 0 25 0 1 0 740156120 206905344 49643 4294967295 134512640 134714508 3221221776 3221220160 134542352 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50514 49643 1111 63 0 50451 0
vsize: 202056
[startup+390.019 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 22093
Raw data (stat): 22093 (bsolo_lpr_cuts) R 22092 7876 7672 0 -1 0 49724 0 0 0 38878 123 0 0 25 0 1 0 740156120 206905344 49643 4294967295 134512640 134714508 3221221776 3221220192 134543684 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50514 49643 1111 63 0 50451 0
vsize: 202056
[startup+400.02 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 22093
Raw data (stat): 22093 (bsolo_lpr_cuts) R 22092 7876 7672 0 -1 0 49724 0 0 0 39878 123 0 0 25 0 1 0 740156120 206905344 49643 4294967295 134512640 134714508 3221221776 3221220392 134543785 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50514 49643 1111 63 0 50451 0
vsize: 202056
[startup+410.02 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 22093
Raw data (stat): 22093 (bsolo_lpr_cuts) R 22092 7876 7672 0 -1 0 49724 0 0 0 40878 123 0 0 25 0 1 0 740156120 206905344 49643 4294967295 134512640 134714508 3221221776 3221220416 134606474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50514 49643 1111 63 0 50451 0
vsize: 202056
[startup+420.02 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 22093
Raw data (stat): 22093 (bsolo_lpr_cuts) R 22092 7876 7672 0 -1 0 49724 0 0 0 41878 123 0 0 25 0 1 0 740156120 206905344 49643 4294967295 134512640 134714508 3221221776 3221220352 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50514 49643 1111 63 0 50451 0
vsize: 202056
[startup+430.021 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 22093
Raw data (stat): 22093 (bsolo_lpr_cuts) R 22092 7876 7672 0 -1 0 49724 0 0 0 42879 123 0 0 25 0 1 0 740156120 206905344 49643 4294967295 134512640 134714508 3221221776 3221220448 134527650 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50514 49643 1111 63 0 50451 0
vsize: 202056
[startup+440.022 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 22093
Raw data (stat): 22093 (bsolo_lpr_cuts) R 22092 7876 7672 0 -1 0 49724 0 0 0 43879 123 0 0 25 0 1 0 740156120 206905344 49643 4294967295 134512640 134714508 3221221776 3221220168 134543614 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50514 49643 1111 63 0 50451 0
vsize: 202056
[startup+450.024 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 22093
Raw data (stat): 22093 (bsolo_lpr_cuts) R 22092 7876 7672 0 -1 0 49724 0 0 0 44879 123 0 0 25 0 1 0 740156120 206905344 49643 4294967295 134512640 134714508 3221221776 3221220392 134543793 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50514 49643 1111 63 0 50451 0
vsize: 202056
[startup+460.024 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 22093
Raw data (stat): 22093 (bsolo_lpr_cuts) R 22092 7876 7672 0 -1 0 49724 0 0 0 45879 123 0 0 25 0 1 0 740156120 206905344 49643 4294967295 134512640 134714508 3221221776 3221220256 134542352 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50514 49643 1111 63 0 50451 0
vsize: 202056
[startup+470.025 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 22093
Raw data (stat): 22093 (bsolo_lpr_cuts) R 22092 7876 7672 0 -1 0 49724 0 0 0 46880 123 0 0 25 0 1 0 740156120 206905344 49643 4294967295 134512640 134714508 3221221776 3221220192 134542731 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50514 49643 1111 63 0 50451 0
vsize: 202056
[startup+480.025 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 22093
Raw data (stat): 22093 (bsolo_lpr_cuts) R 22092 7876 7672 0 -1 0 49724 0 0 0 47880 123 0 0 25 0 1 0 740156120 206905344 49643 4294967295 134512640 134714508 3221221776 3221220172 134543588 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50514 49643 1111 63 0 50451 0
vsize: 202056
[startup+490.025 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 22093
Raw data (stat): 22093 (bsolo_lpr_cuts) R 22092 7876 7672 0 -1 0 49724 0 0 0 48880 123 0 0 25 0 1 0 740156120 206905344 49643 4294967295 134512640 134714508 3221221776 3221220256 134539376 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50514 49643 1111 63 0 50451 0
vsize: 202056
[startup+500.026 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 22093
Raw data (stat): 22093 (bsolo_lpr_cuts) R 22092 7876 7672 0 -1 0 49724 0 0 0 49880 123 0 0 25 0 1 0 740156120 206905344 49643 4294967295 134512640 134714508 3221221776 3221220288 134543700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50514 49643 1111 63 0 50451 0
vsize: 202056
[startup+510.027 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 22093
Raw data (stat): 22093 (bsolo_lpr_cuts) R 22092 7876 7672 0 -1 0 49724 0 0 0 50880 123 0 0 25 0 1 0 740156120 206905344 49643 4294967295 134512640 134714508 3221221776 3221220160 134542368 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50514 49643 1111 63 0 50451 0
vsize: 202056
[startup+520.028 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 22093
Raw data (stat): 22093 (bsolo_lpr_cuts) R 22092 7876 7672 0 -1 0 49724 0 0 0 51881 123 0 0 25 0 1 0 740156120 206905344 49643 4294967295 134512640 134714508 3221221776 3221220160 134542350 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50514 49643 1111 63 0 50451 0
vsize: 202056
[startup+530.027 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 22093
Raw data (stat): 22093 (bsolo_lpr_cuts) R 22092 7876 7672 0 -1 0 49724 0 0 0 52881 123 0 0 25 0 1 0 740156120 206905344 49643 4294967295 134512640 134714508 3221221776 3221220404 134594953 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50514 49643 1111 63 0 50451 0
vsize: 202056
[startup+540.028 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 22093
Raw data (stat): 22093 (bsolo_lpr_cuts) R 22092 7876 7672 0 -1 0 49724 0 0 0 53881 123 0 0 25 0 1 0 740156120 206905344 49643 4294967295 134512640 134714508 3221221776 3221220160 134542347 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50514 49643 1111 63 0 50451 0
vsize: 202056
[startup+550.028 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 22093
Raw data (stat): 22093 (bsolo_lpr_cuts) R 22092 7876 7672 0 -1 0 49724 0 0 0 54881 123 0 0 25 0 1 0 740156120 206905344 49643 4294967295 134512640 134714508 3221221776 3221220160 134542352 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50514 49643 1111 63 0 50451 0
vsize: 202056
[startup+560.028 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 22093
Raw data (stat): 22093 (bsolo_lpr_cuts) R 22092 7876 7672 0 -1 0 49724 0 0 0 55881 123 0 0 25 0 1 0 740156120 206905344 49643 4294967295 134512640 134714508 3221221776 3221220160 134542347 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50514 49643 1111 63 0 50451 0
vsize: 202056
[startup+570.029 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 22093
Raw data (stat): 22093 (bsolo_lpr_cuts) R 22092 7876 7672 0 -1 0 49724 0 0 0 56881 123 0 0 25 0 1 0 740156120 206905344 49643 4294967295 134512640 134714508 3221221776 3221220140 134539237 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50514 49643 1111 63 0 50451 0
vsize: 202056
[startup+580.029 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 22093
Raw data (stat): 22093 (bsolo_lpr_cuts) R 22092 7876 7672 0 -1 0 49724 0 0 0 57882 123 0 0 25 0 1 0 740156120 206905344 49643 4294967295 134512640 134714508 3221221776 3221220416 134594947 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50514 49643 1111 63 0 50451 0
vsize: 202056
[startup+590.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 22093
Raw data (stat): 22093 (bsolo_lpr_cuts) R 22092 7876 7672 0 -1 0 49724 0 0 0 58882 123 0 0 25 0 1 0 740156120 206905344 49643 4294967295 134512640 134714508 3221221776 3221220184 134543606 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50514 49643 1111 63 0 50451 0
vsize: 202056
[startup+600.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 22093
Raw data (stat): 22093 (bsolo_lpr_cuts) R 22092 7876 7672 0 -1 0 49724 0 0 0 59882 123 0 0 25 0 1 0 740156120 206905344 49643 4294967295 134512640 134714508 3221221776 3221220272 134542350 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50514 49643 1111 63 0 50451 0
vsize: 202056
[startup+610.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 22093
Raw data (stat): 22093 (bsolo_lpr_cuts) R 22092 7876 7672 0 -1 0 49724 0 0 0 60882 123 0 0 25 0 1 0 740156120 206905344 49643 4294967295 134512640 134714508 3221221776 3221220272 134543740 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50514 49643 1111 63 0 50451 0
vsize: 202056
[startup+620.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 22093
Raw data (stat): 22093 (bsolo_lpr_cuts) R 22092 7876 7672 0 -1 0 49724 0 0 0 61882 123 0 0 25 0 1 0 740156120 206905344 49643 4294967295 134512640 134714508 3221221776 3221220140 134539237 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50514 49643 1111 63 0 50451 0
vsize: 202056
[startup+630.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 22093
Raw data (stat): 22093 (bsolo_lpr_cuts) R 22092 7876 7672 0 -1 0 49724 0 0 0 62882 123 0 0 25 0 1 0 740156120 206905344 49643 4294967295 134512640 134714508 3221221776 3221220392 134543796 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50514 49643 1111 63 0 50451 0
vsize: 202056
[startup+640.031 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 22093
Raw data (stat): 22093 (bsolo_lpr_cuts) R 22092 7876 7672 0 -1 0 49724 0 0 0 63882 123 0 0 25 0 1 0 740156120 206905344 49643 4294967295 134512640 134714508 3221221776 3221220392 134543796 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50514 49643 1111 63 0 50451 0
vsize: 202056
[startup+650.031 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 22093
Raw data (stat): 22093 (bsolo_lpr_cuts) R 22092 7876 7672 0 -1 0 49724 0 0 0 64883 123 0 0 25 0 1 0 740156120 206905344 49643 4294967295 134512640 134714508 3221221776 3221220392 134543804 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50514 49643 1111 63 0 50451 0
vsize: 202056
[startup+660.032 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 22093
Raw data (stat): 22093 (bsolo_lpr_cuts) R 22092 7876 7672 0 -1 0 49724 0 0 0 65883 123 0 0 25 0 1 0 740156120 206905344 49643 4294967295 134512640 134714508 3221221776 3221220336 134535760 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50514 49643 1111 63 0 50451 0
vsize: 202056
[startup+670.032 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 22093
Raw data (stat): 22093 (bsolo_lpr_cuts) R 22092 7876 7672 0 -1 0 49724 0 0 0 66883 123 0 0 25 0 1 0 740156120 206905344 49643 4294967295 134512640 134714508 3221221776 3221220140 134539237 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50514 49643 1111 63 0 50451 0
vsize: 202056
[startup+680.032 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 22093
Raw data (stat): 22093 (bsolo_lpr_cuts) R 22092 7876 7672 0 -1 0 49724 0 0 0 67883 123 0 0 25 0 1 0 740156120 206905344 49643 4294967295 134512640 134714508 3221221776 3221220256 134539462 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50514 49643 1111 63 0 50451 0
vsize: 202056
[startup+690.033 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 22093
Raw data (stat): 22093 (bsolo_lpr_cuts) R 22092 7876 7672 0 -1 0 49724 0 0 0 68883 123 0 0 25 0 1 0 740156120 206905344 49643 4294967295 134512640 134714508 3221221776 3221220268 134543616 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50514 49643 1111 63 0 50451 0
vsize: 202056
[startup+700.035 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 22093
Raw data (stat): 22093 (bsolo_lpr_cuts) R 22092 7876 7672 0 -1 0 49724 0 0 0 69884 123 0 0 25 0 1 0 740156120 206905344 49643 4294967295 134512640 134714508 3221221776 3221220160 134542350 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50514 49643 1111 63 0 50451 0
vsize: 202056
[startup+710.035 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 22093
Raw data (stat): 22093 (bsolo_lpr_cuts) R 22092 7876 7672 0 -1 0 49724 0 0 0 70884 123 0 0 25 0 1 0 740156120 206905344 49643 4294967295 134512640 134714508 3221221776 3221220140 134539237 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50514 49643 1111 63 0 50451 0
vsize: 202056
[startup+720.035 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 22093
Raw data (stat): 22093 (bsolo_lpr_cuts) R 22092 7876 7672 0 -1 0 49724 0 0 0 71884 123 0 0 25 0 1 0 740156120 206905344 49643 4294967295 134512640 134714508 3221221776 3221220192 134543707 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50514 49643 1111 63 0 50451 0
vsize: 202056
[startup+730.035 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 22093
Raw data (stat): 22093 (bsolo_lpr_cuts) R 22092 7876 7672 0 -1 0 49724 0 0 0 72884 123 0 0 25 0 1 0 740156120 206905344 49643 4294967295 134512640 134714508 3221221776 3221220140 134539235 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50514 49643 1111 63 0 50451 0
vsize: 202056
[startup+740.036 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 22093
Raw data (stat): 22093 (bsolo_lpr_cuts) R 22092 7876 7672 0 -1 0 49724 0 0 0 73884 123 0 0 25 0 1 0 740156120 206905344 49643 4294967295 134512640 134714508 3221221776 3221220404 134594953 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50514 49643 1111 63 0 50451 0
vsize: 202056
[startup+750.037 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 22093
Raw data (stat): 22093 (bsolo_lpr_cuts) R 22092 7876 7672 0 -1 0 49724 0 0 0 74885 123 0 0 25 0 1 0 740156120 206905344 49643 4294967295 134512640 134714508 3221221776 3221220256 134539462 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50514 49643 1111 63 0 50451 0
vsize: 202056
[startup+760.037 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 22093
Raw data (stat): 22093 (bsolo_lpr_cuts) R 22092 7876 7672 0 -1 0 49724 0 0 0 75885 123 0 0 25 0 1 0 740156120 206905344 49643 4294967295 134512640 134714508 3221221776 3221220256 134539374 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50514 49643 1111 63 0 50451 0
vsize: 202056
[startup+770.038 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 22093
Raw data (stat): 22093 (bsolo_lpr_cuts) R 22092 7876 7672 0 -1 0 49724 0 0 0 76885 123 0 0 25 0 1 0 740156120 206905344 49643 4294967295 134512640 134714508 3221221776 3221220256 134542303 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50514 49643 1111 63 0 50451 0
vsize: 202056
[startup+780.038 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 22093
Raw data (stat): 22093 (bsolo_lpr_cuts) R 22092 7876 7672 0 -1 0 49724 0 0 0 77885 123 0 0 25 0 1 0 740156120 206905344 49643 4294967295 134512640 134714508 3221221776 3221220208 134543700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50514 49643 1111 63 0 50451 0
vsize: 202056
[startup+790.038 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 22093
Raw data (stat): 22093 (bsolo_lpr_cuts) R 22092 7876 7672 0 -1 0 49724 0 0 0 78885 123 0 0 25 0 1 0 740156120 206905344 49643 4294967295 134512640 134714508 3221221776 3221220416 134594970 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50514 49643 1111 63 0 50451 0
vsize: 202056
[startup+800.037 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 22093
Raw data (stat): 22093 (bsolo_lpr_cuts) R 22092 7876 7672 0 -1 0 49724 0 0 0 79885 123 0 0 25 0 1 0 740156120 206905344 49643 4294967295 134512640 134714508 3221221776 3221220448 134627250 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50514 49643 1111 63 0 50451 0
vsize: 202056
[startup+810.038 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 22093
Raw data (stat): 22093 (bsolo_lpr_cuts) R 22092 7876 7672 0 -1 0 49724 0 0 0 80885 124 0 0 25 0 1 0 740156120 206905344 49643 4294967295 134512640 134714508 3221221776 3221220448 134627187 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50514 49643 1111 63 0 50451 0
vsize: 202056
[startup+820.039 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 22093
Raw data (stat): 22093 (bsolo_lpr_cuts) R 22092 7876 7672 0 -1 0 49724 0 0 0 81885 124 0 0 25 0 1 0 740156120 206905344 49643 4294967295 134512640 134714508 3221221776 3221220448 134627250 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50514 49643 1111 63 0 50451 0
vsize: 202056
[startup+830.038 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 22093
Raw data (stat): 22093 (bsolo_lpr_cuts) R 22092 7876 7672 0 -1 0 49724 0 0 0 82885 124 0 0 25 0 1 0 740156120 206905344 49643 4294967295 134512640 134714508 3221221776 3221220440 134627195 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50514 49643 1111 63 0 50451 0
vsize: 202056
[startup+840.038 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 22093
Raw data (stat): 22093 (bsolo_lpr_cuts) R 22092 7876 7672 0 -1 0 49724 0 0 0 83886 124 0 0 25 0 1 0 740156120 206905344 49643 4294967295 134512640 134714508 3221221776 3221220448 134627187 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50514 49643 1111 63 0 50451 0
vsize: 202056
[startup+850.039 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 22093
Raw data (stat): 22093 (bsolo_lpr_cuts) R 22092 7876 7672 0 -1 0 49724 0 0 0 84886 124 0 0 25 0 1 0 740156120 206905344 49643 4294967295 134512640 134714508 3221221776 3221220448 134627187 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50514 49643 1111 63 0 50451 0
vsize: 202056
[startup+860.039 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 22093
Raw data (stat): 22093 (bsolo_lpr_cuts) R 22092 7876 7672 0 -1 0 49725 0 0 0 85886 124 0 0 25 0 1 0 740156120 206905344 49644 4294967295 134512640 134714508 3221221776 3221220644 134622267 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50514 49644 1111 63 0 50451 0
vsize: 202056
[startup+870.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 22093
Raw data (stat): 22093 (bsolo_lpr_cuts) R 22092 7876 7672 0 -1 0 49725 0 0 0 86886 124 0 0 25 0 1 0 740156120 206905344 49644 4294967295 134512640 134714508 3221221776 3221220632 134543552 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50514 49644 1111 63 0 50451 0
vsize: 202056
[startup+880.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 22093
Raw data (stat): 22093 (bsolo_lpr_cuts) R 22092 7876 7672 0 -1 0 49725 0 0 0 87886 124 0 0 25 0 1 0 740156120 206905344 49644 4294967295 134512640 134714508 3221221776 3221220632 134543552 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50514 49644 1111 63 0 50451 0
vsize: 202056
[startup+890.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 22093
Raw data (stat): 22093 (bsolo_lpr_cuts) R 22092 7876 7672 0 -1 0 49725 0 0 0 88886 124 0 0 25 0 1 0 740156120 206905344 49644 4294967295 134512640 134714508 3221221776 3221220632 134543552 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50514 49644 1111 63 0 50451 0
vsize: 202056
[startup+900.041 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 22093
Raw data (stat): 22093 (bsolo_lpr_cuts) R 22092 7876 7672 0 -1 0 49725 0 0 0 89887 124 0 0 25 0 1 0 740156120 206905344 49644 4294967295 134512640 134714508 3221221776 3221220552 134543176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50514 49644 1111 63 0 50451 0
vsize: 202056
[startup+910.041 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 22093
Raw data (stat): 22093 (bsolo_lpr_cuts) R 22092 7876 7672 0 -1 0 49747 0 0 0 90886 124 0 0 25 0 1 0 740156120 206905344 49666 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50514 49666 1111 63 0 50451 0
vsize: 202056
[startup+920.041 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 22093
Raw data (stat): 22093 (bsolo_lpr_cuts) R 22092 7876 7672 0 -1 0 49747 0 0 0 91886 124 0 0 25 0 1 0 740156120 206905344 49666 4294967295 134512640 134714508 3221221776 3221220008 1077410279 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50514 49666 1111 63 0 50451 0
vsize: 202056
[startup+930.041 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 22093
Raw data (stat): 22093 (bsolo_lpr_cuts) R 22092 7876 7672 0 -1 0 49747 0 0 0 92886 124 0 0 25 0 1 0 740156120 206905344 49666 4294967295 134512640 134714508 3221221776 3221219704 1077380592 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50514 49666 1111 63 0 50451 0
vsize: 202056
[startup+940.041 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 22093
Raw data (stat): 22093 (bsolo_lpr_cuts) R 22092 7876 7672 0 -1 0 49747 0 0 0 93887 124 0 0 25 0 1 0 740156120 206905344 49666 4294967295 134512640 134714508 3221221776 3221220080 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50514 49666 1111 63 0 50451 0
vsize: 202056
[startup+950.042 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 22093
Raw data (stat): 22093 (bsolo_lpr_cuts) R 22092 7876 7672 0 -1 0 49747 0 0 0 94887 124 0 0 25 0 1 0 740156120 206905344 49666 4294967295 134512640 134714508 3221221776 3221220080 1074153675 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50514 49666 1111 63 0 50451 0
vsize: 202056
[startup+960.042 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 22093
Raw data (stat): 22093 (bsolo_lpr_cuts) R 22092 7876 7672 0 -1 0 49747 0 0 0 95887 124 0 0 25 0 1 0 740156120 206905344 49666 4294967295 134512640 134714508 3221221776 3221220048 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50514 49666 1111 63 0 50451 0
vsize: 202056
[startup+970.042 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 22093
Raw data (stat): 22093 (bsolo_lpr_cuts) R 22092 7876 7672 0 -1 0 49747 0 0 0 96887 124 0 0 25 0 1 0 740156120 206905344 49666 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50514 49666 1111 63 0 50451 0
vsize: 202056
[startup+980.042 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 22093
Raw data (stat): 22093 (bsolo_lpr_cuts) R 22092 7876 7672 0 -1 0 49747 0 0 0 97887 124 0 0 25 0 1 0 740156120 206905344 49666 4294967295 134512640 134714508 3221221776 3221220080 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50514 49666 1111 63 0 50451 0
vsize: 202056
[startup+990.043 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 22093
Raw data (stat): 22093 (bsolo_lpr_cuts) R 22092 7876 7672 0 -1 0 49747 0 0 0 98888 124 0 0 25 0 1 0 740156120 206905344 49666 4294967295 134512640 134714508 3221221776 3221220048 1074153760 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50514 49666 1111 63 0 50451 0
vsize: 202056
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 22093
Raw data (stat): 22093 (bsolo_lpr_cuts) R 22092 7876 7672 0 -1 0 49747 0 0 0 99888 124 0 0 25 0 1 0 740156120 206905344 49666 4294967295 134512640 134714508 3221221776 3221220032 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50514 49666 1111 63 0 50451 0
vsize: 202056
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 22093
Raw data (stat): 22093 (bsolo_lpr_cuts) R 22092 7876 7672 0 -1 0 49986 0 0 0 100887 125 0 0 25 0 1 0 740156120 207880192 49905 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50752 49905 1111 63 0 50689 0
vsize: 203008
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 22093
Raw data (stat): 22093 (bsolo_lpr_cuts) R 22092 7876 7672 0 -1 0 49997 0 0 0 101887 126 0 0 25 0 1 0 740156120 207925248 49916 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50763 49916 1111 63 0 50700 0
vsize: 203052
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 22093
Raw data (stat): 22093 (bsolo_lpr_cuts) R 22092 7876 7672 0 -1 0 50007 0 0 0 102887 126 0 0 25 0 1 0 740156120 207966208 49926 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50773 49926 1111 63 0 50710 0
vsize: 203092
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 22093
Raw data (stat): 22093 (bsolo_lpr_cuts) R 22092 7876 7672 0 -1 0 50018 0 0 0 103887 126 0 0 25 0 1 0 740156120 208011264 49937 4294967295 134512640 134714508 3221221776 3221219936 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50784 49937 1111 63 0 50721 0
vsize: 203136
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 22093
Raw data (stat): 22093 (bsolo_lpr_cuts) R 22092 7876 7672 0 -1 0 50029 0 0 0 104886 127 0 0 25 0 1 0 740156120 208056320 49948 4294967295 134512640 134714508 3221221776 3221220048 1074153760 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50795 49948 1111 63 0 50732 0
vsize: 203180
[startup+1060.05 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 22093
Raw data (stat): 22093 (bsolo_lpr_cuts) R 22092 7876 7672 0 -1 0 50039 0 0 0 105886 127 0 0 25 0 1 0 740156120 208097280 49958 4294967295 134512640 134714508 3221221776 3221220048 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50805 49958 1111 63 0 50742 0
vsize: 203220
[startup+1070.05 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 22093
Raw data (stat): 22093 (bsolo_lpr_cuts) R 22092 7876 7672 0 -1 0 50048 0 0 0 106886 128 0 0 25 0 1 0 740156120 208134144 49967 4294967295 134512640 134714508 3221221776 3221220048 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50814 49967 1111 63 0 50751 0
vsize: 203256
[startup+1080.05 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 22093
Raw data (stat): 22093 (bsolo_lpr_cuts) R 22092 7876 7672 0 -1 0 50058 0 0 0 107885 128 0 0 25 0 1 0 740156120 208175104 49977 4294967295 134512640 134714508 3221221776 3221220032 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50824 49977 1111 63 0 50761 0
vsize: 203296
[startup+1090.05 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 22093
Raw data (stat): 22093 (bsolo_lpr_cuts) R 22092 7876 7672 0 -1 0 50068 0 0 0 108885 128 0 0 25 0 1 0 740156120 208216064 49987 4294967295 134512640 134714508 3221221776 3221220028 1077410225 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50834 49987 1111 63 0 50771 0
vsize: 203336
[startup+1100.05 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 22093
Raw data (stat): 22093 (bsolo_lpr_cuts) R 22092 7876 7672 0 -1 0 50077 0 0 0 109885 129 0 0 25 0 1 0 740156120 208252928 49996 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50843 49996 1111 63 0 50780 0
vsize: 203372
[startup+1110.05 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 22093
Raw data (stat): 22093 (bsolo_lpr_cuts) R 22092 7876 7672 0 -1 0 50087 0 0 0 110885 130 0 0 25 0 1 0 740156120 208293888 50006 4294967295 134512640 134714508 3221221776 3221220048 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50853 50006 1111 63 0 50790 0
vsize: 203412
[startup+1120.05 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 22093
Raw data (stat): 22093 (bsolo_lpr_cuts) R 22092 7876 7672 0 -1 0 50096 0 0 0 111884 130 0 0 25 0 1 0 740156120 208330752 50015 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50862 50015 1111 63 0 50799 0
vsize: 203448
[startup+1130.05 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 22093
Raw data (stat): 22093 (bsolo_lpr_cuts) R 22092 7876 7672 0 -1 0 50105 0 0 0 112884 130 0 0 25 0 1 0 740156120 208367616 50024 4294967295 134512640 134714508 3221221776 3221220048 1074153792 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50871 50024 1111 63 0 50808 0
vsize: 203484
[startup+1140.05 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 22093
Raw data (stat): 22093 (bsolo_lpr_cuts) R 22092 7876 7672 0 -1 0 50112 0 0 0 113884 131 0 0 25 0 1 0 740156120 208396288 50031 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50878 50031 1111 63 0 50815 0
vsize: 203512
[startup+1150.05 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 22093
Raw data (stat): 22093 (bsolo_lpr_cuts) R 22092 7876 7672 0 -1 0 50120 0 0 0 114884 131 0 0 25 0 1 0 740156120 208429056 50039 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50886 50039 1111 63 0 50823 0
vsize: 203544
[startup+1160.05 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 22093
Raw data (stat): 22093 (bsolo_lpr_cuts) R 22092 7876 7672 0 -1 0 50128 0 0 0 115883 132 0 0 25 0 1 0 740156120 208461824 50047 4294967295 134512640 134714508 3221221776 3221220048 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50894 50047 1111 63 0 50831 0
vsize: 203576
[startup+1170.05 s]
Raw data (loadavg): 0.99 0.97 0.94 3/55 22093
Raw data (stat): 22093 (bsolo_lpr_cuts) R 22092 7876 7672 0 -1 0 50135 0 0 0 116883 132 0 0 25 0 1 0 740156120 208490496 50054 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50901 50054 1111 63 0 50838 0
vsize: 203604
[startup+1180.05 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 22093
Raw data (stat): 22093 (bsolo_lpr_cuts) R 22092 7876 7672 0 -1 0 50141 0 0 0 117883 132 0 0 25 0 1 0 740156120 208515072 50060 4294967295 134512640 134714508 3221221776 3221220048 1074153760 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50907 50060 1111 63 0 50844 0
vsize: 203628
[startup+1190.05 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 22093
Raw data (stat): 22093 (bsolo_lpr_cuts) R 22092 7876 7672 0 -1 0 50148 0 0 0 118883 133 0 0 25 0 1 0 740156120 208543744 50067 4294967295 134512640 134714508 3221221776 3221220048 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50914 50067 1111 63 0 50851 0
vsize: 203656
[startup+1200.05 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 22093
Raw data (stat): 22093 (bsolo_lpr_cuts) R 22092 7876 7672 0 -1 0 50155 0 0 0 119883 133 0 0 25 0 1 0 740156120 208572416 50074 4294967295 134512640 134714508 3221221776 3221220048 1074153760 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50921 50074 1111 63 0 50858 0
vsize: 203684
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.15 s]
Raw data (loadavg): 0.99 0.97 0.94 1/55 22093
Raw data (stat): 22093 (bsolo_lpr_cuts) Z 22092 7876 7672 0 -1 1036 50155 0 0 0 119883 142 0 0 25 0 1 0 740156120 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.15
CPU time (s): 1200.26
CPU user time (s): 1198.83
CPU system time (s): 1.42878
CPU usage (%): 100.01
Max. virtual memory (Kb): 203684
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####