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/frb50-23-opb/normalized-frb50-23-1.opb
MD5SUM	ed1ca962177baf0f135b785abad8adea
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-37
Optimality of the best value was proved	NO
Number of terms in the objective function	1150
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	1150
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	1150
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.08
Number of variables	1150
Total number of constraints	80072
Number of constraints which are clauses	80072
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 24808

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-13 07:47:24 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2999 boxname=wulflinc31 idbench=334 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  ed1ca962177baf0f135b785abad8adea  /oldhome/oroussel/tmp/wulflinc31/normalized-frb50-23-1.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-frb50-23-1.opb
IDLAUNCH: 2999
/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:        870704 kB
Buffers:         36288 kB
Cached:         105800 kB
SwapCached:       1936 kB
Active:         109564 kB
Inactive:        35696 kB
HighTotal:      131008 kB
HighFree:        24360 kB
LowTotal:       903652 kB
LowFree:        846344 kB
SwapTotal:     2097892 kB
SwapFree:      2095224 kB
Dirty:              32 kB
Writeback:           0 kB
Mapped:           5360 kB
Slab:            12928 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-13 08:07:27 (client local time) WITH STATUS 0 IN 1200.23 SECONDS
stats: 2999 7 1200.23 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 1150 variables and 80072 constraints.
c After prepocess the problem consists of 1150 variables and 52059 constraints.
c preprocess terminated 551.495 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.85 0.94 0.91 2/55 15751
Raw data (stat): 15751 (runsolver) R 15750 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 733482546 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+10.0003 s]
Raw data (loadavg): 0.88 0.94 0.91 2/55 15751
Raw data (stat): 15751 (bsolo_lpr_cuts) R 15750 7876 7672 0 -1 0 21557 0 0 0 940 55 0 0 25 0 1 0 733482546 91406336 21476 4294967295 134512640 134714508 3221221776 3221220392 134543804 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22316 21476 1111 63 0 22253 0
vsize: 89264
[startup+20.0007 s]
Raw data (loadavg): 0.89 0.94 0.91 2/55 15751
Raw data (stat): 15751 (bsolo_lpr_cuts) R 15750 7876 7672 0 -1 0 24909 0 0 0 1932 62 0 0 25 0 1 0 733482546 101859328 24035 4294967295 134512640 134714508 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24868 24035 1111 63 0 24805 0
vsize: 99472
[startup+30.0012 s]
Raw data (loadavg): 0.91 0.94 0.91 2/55 15751
Raw data (stat): 15751 (bsolo_lpr_cuts) R 15750 7876 7672 0 -1 0 24909 0 0 0 2932 63 0 0 25 0 1 0 733482546 101859328 24035 4294967295 134512640 134714508 3221221776 3221220200 1077377422 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24868 24035 1111 63 0 24805 0
vsize: 99472
[startup+40.0011 s]
Raw data (loadavg): 0.92 0.94 0.91 2/55 15751
Raw data (stat): 15751 (bsolo_lpr_cuts) R 15750 7876 7672 0 -1 0 25348 0 0 0 3930 65 0 0 25 0 1 0 733482546 102129664 24101 4294967295 134512640 134714508 3221221776 3221220280 134543600 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24934 24101 1111 63 0 24871 0
vsize: 99736
[startup+50.0024 s]
Raw data (loadavg): 0.93 0.95 0.91 2/55 15751
Raw data (stat): 15751 (bsolo_lpr_cuts) R 15750 7876 7672 0 -1 0 26221 0 0 0 4928 68 0 0 25 0 1 0 733482546 102129664 24101 4294967295 134512640 134714508 3221221776 3221220416 134606468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24934 24101 1111 63 0 24871 0
vsize: 99736
[startup+60.002 s]
Raw data (loadavg): 0.94 0.95 0.91 2/55 15751
Raw data (stat): 15751 (bsolo_lpr_cuts) R 15750 7876 7672 0 -1 0 26807 0 0 0 5926 70 0 0 25 0 1 0 733482546 103088128 24335 4294967295 134512640 134714508 3221221776 3221220416 134606474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25168 24335 1111 63 0 25105 0
vsize: 100672
[startup+70.0019 s]
Raw data (loadavg): 0.95 0.95 0.91 2/55 15751
Raw data (stat): 15751 (bsolo_lpr_cuts) R 15750 7876 7672 0 -1 0 26867 0 0 0 6925 71 0 0 25 0 1 0 733482546 103088128 24335 4294967295 134512640 134714508 3221221776 3221220256 134543110 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25168 24335 1111 63 0 25105 0
vsize: 100672
[startup+80.0032 s]
Raw data (loadavg): 0.96 0.95 0.91 2/55 15751
Raw data (stat): 15751 (bsolo_lpr_cuts) R 15750 7876 7672 0 -1 0 26867 0 0 0 7925 71 0 0 25 0 1 0 733482546 103088128 24335 4294967295 134512640 134714508 3221221776 3221220340 1077378648 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25168 24335 1111 63 0 25105 0
vsize: 100672
[startup+90.0028 s]
Raw data (loadavg): 0.96 0.95 0.91 2/55 15751
Raw data (stat): 15751 (bsolo_lpr_cuts) R 15750 7876 7672 0 -1 0 27322 0 0 0 8923 73 0 0 25 0 1 0 733482546 103092224 24336 4294967295 134512640 134714508 3221221776 3221220256 134536643 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25169 24336 1111 63 0 25106 0
vsize: 100676
[startup+100.003 s]
Raw data (loadavg): 0.97 0.95 0.91 2/55 15751
Raw data (stat): 15751 (bsolo_lpr_cuts) R 15750 7876 7672 0 -1 0 27322 0 0 0 9923 73 0 0 25 0 1 0 733482546 103092224 24336 4294967295 134512640 134714508 3221221776 3221220256 134539429 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25169 24336 1111 63 0 25106 0
vsize: 100676
[startup+110.003 s]
Raw data (loadavg): 0.97 0.95 0.91 2/55 15751
Raw data (stat): 15751 (bsolo_lpr_cuts) R 15750 7876 7672 0 -1 0 27322 0 0 0 10923 74 0 0 25 0 1 0 733482546 103092224 24336 4294967295 134512640 134714508 3221221776 3221220220 134536817 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25169 24336 1111 63 0 25106 0
vsize: 100676
[startup+120.003 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 15751
Raw data (stat): 15751 (bsolo_lpr_cuts) R 15750 7876 7672 0 -1 0 31307 0 0 0 11912 84 0 0 25 0 1 0 733482546 106446848 25154 4294967295 134512640 134714508 3221221776 3221220352 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25988 25154 1111 63 0 25925 0
vsize: 103952
[startup+130.002 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 15751
Raw data (stat): 15751 (bsolo_lpr_cuts) R 15750 7876 7672 0 -1 0 31307 0 0 0 12912 85 0 0 25 0 1 0 733482546 106037248 25055 4294967295 134512640 134714508 3221221776 3221220504 134672948 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25888 25055 1111 63 0 25825 0
vsize: 103552
[startup+140.003 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 15751
Raw data (stat): 15751 (bsolo_lpr_cuts) R 15750 7876 7672 0 -1 0 31685 0 0 0 13911 86 0 0 25 0 1 0 733482546 106176512 25062 4294967295 134512640 134714508 3221221776 3221220220 134536817 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25922 25062 1111 63 0 25859 0
vsize: 103688
[startup+150.003 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 15751
Raw data (stat): 15751 (bsolo_lpr_cuts) R 15750 7876 7672 0 -1 0 31685 0 0 0 14910 87 0 0 25 0 1 0 733482546 106037248 25055 4294967295 134512640 134714508 3221221776 3221220192 134543684 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25888 25055 1111 63 0 25825 0
vsize: 103552
[startup+160.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 15751
Raw data (stat): 15751 (bsolo_lpr_cuts) R 15750 7876 7672 0 -1 0 31685 0 0 0 15910 87 0 0 25 0 1 0 733482546 106037248 25055 4294967295 134512640 134714508 3221221776 3221220256 134539374 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25888 25055 1111 63 0 25825 0
vsize: 103552
[startup+170.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 15751
Raw data (stat): 15751 (bsolo_lpr_cuts) R 15750 7876 7672 0 -1 0 31685 0 0 0 16910 87 0 0 25 0 1 0 733482546 106037248 25055 4294967295 134512640 134714508 3221221776 3221220160 134542352 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25888 25055 1111 63 0 25825 0
vsize: 103552
[startup+180.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 15751
Raw data (stat): 15751 (bsolo_lpr_cuts) R 15750 7876 7672 0 -1 0 31685 0 0 0 17910 88 0 0 25 0 1 0 733482546 106037248 25055 4294967295 134512640 134714508 3221221776 3221220240 134542352 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25888 25055 1111 63 0 25825 0
vsize: 103552
[startup+190.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 15751
Raw data (stat): 15751 (bsolo_lpr_cuts) R 15750 7876 7672 0 -1 0 31685 0 0 0 18909 88 0 0 25 0 1 0 733482546 106037248 25055 4294967295 134512640 134714508 3221221776 3221220184 134543606 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25888 25055 1111 63 0 25825 0
vsize: 103552
[startup+200.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 15751
Raw data (stat): 15751 (bsolo_lpr_cuts) R 15750 7876 7672 0 -1 0 31685 0 0 0 19909 89 0 0 25 0 1 0 733482546 106037248 25055 4294967295 134512640 134714508 3221221776 3221220188 134542288 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25888 25055 1111 63 0 25825 0
vsize: 103552
[startup+210.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 15751
Raw data (stat): 15751 (bsolo_lpr_cuts) R 15750 7876 7672 0 -1 0 31685 0 0 0 20909 89 0 0 25 0 1 0 733482546 106037248 25055 4294967295 134512640 134714508 3221221776 3221220256 134542303 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25888 25055 1111 63 0 25825 0
vsize: 103552
[startup+220.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 15751
Raw data (stat): 15751 (bsolo_lpr_cuts) R 15750 7876 7672 0 -1 0 31685 0 0 0 21908 90 0 0 25 0 1 0 733482546 106037248 25055 4294967295 134512640 134714508 3221221776 3221220256 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25888 25055 1111 63 0 25825 0
vsize: 103552
[startup+230.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 15751
Raw data (stat): 15751 (bsolo_lpr_cuts) R 15750 7876 7672 0 -1 0 31685 0 0 0 22908 90 0 0 25 0 1 0 733482546 106037248 25055 4294967295 134512640 134714508 3221221776 3221220192 134543681 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25888 25055 1111 63 0 25825 0
vsize: 103552
[startup+240.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 15751
Raw data (stat): 15751 (bsolo_lpr_cuts) R 15750 7876 7672 0 -1 0 31685 0 0 0 23908 91 0 0 25 0 1 0 733482546 106037248 25055 4294967295 134512640 134714508 3221221776 3221220160 134542303 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25888 25055 1111 63 0 25825 0
vsize: 103552
[startup+250.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 15751
Raw data (stat): 15751 (bsolo_lpr_cuts) R 15750 7876 7672 0 -1 0 31685 0 0 0 24907 91 0 0 25 0 1 0 733482546 106037248 25055 4294967295 134512640 134714508 3221221776 3221220256 134539376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25888 25055 1111 63 0 25825 0
vsize: 103552
[startup+260.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15751
Raw data (stat): 15751 (bsolo_lpr_cuts) R 15750 7876 7672 0 -1 0 31685 0 0 0 25907 92 0 0 25 0 1 0 733482546 106037248 25055 4294967295 134512640 134714508 3221221776 3221220160 134542347 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25888 25055 1111 63 0 25825 0
vsize: 103552
[startup+270.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15751
Raw data (stat): 15751 (bsolo_lpr_cuts) R 15750 7876 7672 0 -1 0 31685 0 0 0 26907 92 0 0 25 0 1 0 733482546 106037248 25055 4294967295 134512640 134714508 3221221776 3221220160 134542350 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25888 25055 1111 63 0 25825 0
vsize: 103552
[startup+280.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15751
Raw data (stat): 15751 (bsolo_lpr_cuts) R 15750 7876 7672 0 -1 0 31685 0 0 0 27907 93 0 0 25 0 1 0 733482546 106037248 25055 4294967295 134512640 134714508 3221221776 3221220244 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25888 25055 1111 63 0 25825 0
vsize: 103552
[startup+290.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15751
Raw data (stat): 15751 (bsolo_lpr_cuts) R 15750 7876 7672 0 -1 0 31685 0 0 0 28907 93 0 0 25 0 1 0 733482546 106037248 25055 4294967295 134512640 134714508 3221221776 3221220256 134542352 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25888 25055 1111 63 0 25825 0
vsize: 103552
[startup+300.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15751
Raw data (stat): 15751 (bsolo_lpr_cuts) R 15750 7876 7672 0 -1 0 31685 0 0 0 29907 93 0 0 25 0 1 0 733482546 106037248 25055 4294967295 134512640 134714508 3221221776 3221220392 134543796 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25888 25055 1111 63 0 25825 0
vsize: 103552
[startup+310.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15751
Raw data (stat): 15751 (bsolo_lpr_cuts) R 15750 7876 7672 0 -1 0 31685 0 0 0 30907 93 0 0 25 0 1 0 733482546 106037248 25055 4294967295 134512640 134714508 3221221776 3221220340 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25888 25055 1111 63 0 25825 0
vsize: 103552
[startup+320.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15751
Raw data (stat): 15751 (bsolo_lpr_cuts) R 15750 7876 7672 0 -1 0 31685 0 0 0 31906 94 0 0 25 0 1 0 733482546 106037248 25055 4294967295 134512640 134714508 3221221776 3221220404 134594953 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25888 25055 1111 63 0 25825 0
vsize: 103552
[startup+330.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15751
Raw data (stat): 15751 (bsolo_lpr_cuts) R 15750 7876 7672 0 -1 0 31685 0 0 0 32906 94 0 0 25 0 1 0 733482546 106037248 25055 4294967295 134512640 134714508 3221221776 3221220256 134542352 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25888 25055 1111 63 0 25825 0
vsize: 103552
[startup+340.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15751
Raw data (stat): 15751 (bsolo_lpr_cuts) R 15750 7876 7672 0 -1 0 31685 0 0 0 33906 95 0 0 25 0 1 0 733482546 106037248 25055 4294967295 134512640 134714508 3221221776 3221220160 134542352 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25888 25055 1111 63 0 25825 0
vsize: 103552
[startup+350.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15751
Raw data (stat): 15751 (bsolo_lpr_cuts) R 15750 7876 7672 0 -1 0 31685 0 0 0 34906 95 0 0 25 0 1 0 733482546 106037248 25055 4294967295 134512640 134714508 3221221776 3221220280 134543652 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25888 25055 1111 63 0 25825 0
vsize: 103552
[startup+360.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15751
Raw data (stat): 15751 (bsolo_lpr_cuts) R 15750 7876 7672 0 -1 0 31685 0 0 0 35906 95 0 0 25 0 1 0 733482546 106037248 25055 4294967295 134512640 134714508 3221221776 3221220256 134539448 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25888 25055 1111 63 0 25825 0
vsize: 103552
[startup+370.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15751
Raw data (stat): 15751 (bsolo_lpr_cuts) R 15750 7876 7672 0 -1 0 31787 0 0 0 36905 96 0 0 25 0 1 0 733482546 106389504 25141 4294967295 134512640 134714508 3221221776 3221220160 134542303 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25974 25141 1111 63 0 25911 0
vsize: 103896
[startup+380.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15751
Raw data (stat): 15751 (bsolo_lpr_cuts) R 15750 7876 7672 0 -1 0 31787 0 0 0 37905 96 0 0 25 0 1 0 733482546 106389504 25141 4294967295 134512640 134714508 3221221776 3221220140 134539301 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25974 25141 1111 63 0 25911 0
vsize: 103896
[startup+390.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15751
Raw data (stat): 15751 (bsolo_lpr_cuts) R 15750 7876 7672 0 -1 0 31828 0 0 0 38904 97 0 0 25 0 1 0 733482546 106389504 25141 4294967295 134512640 134714508 3221221776 3221220256 134539446 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25974 25141 1111 63 0 25911 0
vsize: 103896
[startup+400.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15751
Raw data (stat): 15751 (bsolo_lpr_cuts) R 15750 7876 7672 0 -1 0 31828 0 0 0 39904 97 0 0 25 0 1 0 733482546 106389504 25141 4294967295 134512640 134714508 3221221776 3221220140 134539237 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25974 25141 1111 63 0 25911 0
vsize: 103896
[startup+410.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15751
Raw data (stat): 15751 (bsolo_lpr_cuts) R 15750 7876 7672 0 -1 0 31959 0 0 0 40904 98 0 0 25 0 1 0 733482546 106389504 25141 4294967295 134512640 134714508 3221221776 3221220272 134543710 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25974 25141 1111 63 0 25911 0
vsize: 103896
[startup+420.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15751
Raw data (stat): 15751 (bsolo_lpr_cuts) R 15750 7876 7672 0 -1 0 32438 0 0 0 41903 99 0 0 25 0 1 0 733482546 107896832 25502 4294967295 134512640 134714508 3221221776 3221220352 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26342 25502 1111 63 0 26279 0
vsize: 105368
[startup+430.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15751
Raw data (stat): 15751 (bsolo_lpr_cuts) R 15750 7876 7672 0 -1 0 32438 0 0 0 42902 100 0 0 25 0 1 0 733482546 107896832 25502 4294967295 134512640 134714508 3221221776 3221220416 134594970 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26342 25502 1111 63 0 26279 0
vsize: 105368
[startup+440.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15751
Raw data (stat): 15751 (bsolo_lpr_cuts) R 15750 7876 7672 0 -1 0 32438 0 0 0 43902 100 0 0 25 0 1 0 733482546 107896832 25502 4294967295 134512640 134714508 3221221776 3221220140 134539243 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26342 25502 1111 63 0 26279 0
vsize: 105368
[startup+450.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15751
Raw data (stat): 15751 (bsolo_lpr_cuts) R 15750 7876 7672 0 -1 0 32438 0 0 0 44902 100 0 0 25 0 1 0 733482546 107896832 25502 4294967295 134512640 134714508 3221221776 3221220392 134543804 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26342 25502 1111 63 0 26279 0
vsize: 105368
[startup+460.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15751
Raw data (stat): 15751 (bsolo_lpr_cuts) R 15750 7876 7672 0 -1 0 32603 0 0 0 45901 102 0 0 25 0 1 0 733482546 108007424 25536 4294967295 134512640 134714508 3221221776 3221220436 134627197 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26369 25536 1111 63 0 26306 0
vsize: 105476
[startup+470.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15751
Raw data (stat): 15751 (bsolo_lpr_cuts) R 15750 7876 7672 0 -1 0 32603 0 0 0 46901 102 0 0 25 0 1 0 733482546 108007424 25536 4294967295 134512640 134714508 3221221776 3221220448 134627187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26369 25536 1111 63 0 26306 0
vsize: 105476
[startup+480.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15751
Raw data (stat): 15751 (bsolo_lpr_cuts) R 15750 7876 7672 0 -1 0 32603 0 0 0 47901 102 0 0 25 0 1 0 733482546 108007424 25536 4294967295 134512640 134714508 3221221776 3221220448 134627187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26369 25536 1111 63 0 26306 0
vsize: 105476
[startup+490.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15751
Raw data (stat): 15751 (bsolo_lpr_cuts) R 15750 7876 7672 0 -1 0 32603 0 0 0 48900 103 0 0 25 0 1 0 733482546 108007424 25536 4294967295 134512640 134714508 3221221776 3221220448 134627187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26369 25536 1111 63 0 26306 0
vsize: 105476
[startup+500.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15751
Raw data (stat): 15751 (bsolo_lpr_cuts) R 15750 7876 7672 0 -1 0 32603 0 0 0 49900 103 0 0 25 0 1 0 733482546 108007424 25536 4294967295 134512640 134714508 3221221776 3221220448 134627187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26369 25536 1111 63 0 26306 0
vsize: 105476
[startup+510.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15751
Raw data (stat): 15751 (bsolo_lpr_cuts) R 15750 7876 7672 0 -1 0 32603 0 0 0 50900 103 0 0 25 0 1 0 733482546 108007424 25536 4294967295 134512640 134714508 3221221776 3221220448 134627187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26369 25536 1111 63 0 26306 0
vsize: 105476
[startup+520.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15751
Raw data (stat): 15751 (bsolo_lpr_cuts) R 15750 7876 7672 0 -1 0 33236 0 0 0 51898 106 0 0 25 0 1 0 733482546 110596096 26169 4294967295 134512640 134714508 3221221776 3221220632 134558492 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27001 26169 1111 63 0 26938 0
vsize: 108004
[startup+530.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15751
Raw data (stat): 15751 (bsolo_lpr_cuts) R 15750 7876 7672 0 -1 0 33236 0 0 0 52898 106 0 0 25 0 1 0 733482546 110596096 26169 4294967295 134512640 134714508 3221221776 3221220656 134622252 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27001 26169 1111 63 0 26938 0
vsize: 108004
[startup+540.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15751
Raw data (stat): 15751 (bsolo_lpr_cuts) R 15750 7876 7672 0 -1 0 33236 0 0 0 53898 106 0 0 25 0 1 0 733482546 110596096 26169 4294967295 134512640 134714508 3221221776 3221220656 134622252 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27001 26169 1111 63 0 26938 0
vsize: 108004
[startup+550.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15751
Raw data (stat): 15751 (bsolo_lpr_cuts) R 15750 7876 7672 0 -1 0 33236 0 0 0 54898 107 0 0 25 0 1 0 733482546 110596096 26169 4294967295 134512640 134714508 3221221776 3221220656 134622261 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27001 26169 1111 63 0 26938 0
vsize: 108004
[startup+560.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15751
Raw data (stat): 15751 (bsolo_lpr_cuts) R 15750 7876 7672 0 -1 0 33721 0 0 0 55895 109 0 0 25 0 1 0 733482546 113176576 26646 4294967295 134512640 134714508 3221221776 3221220048 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27631 26646 1111 63 0 27568 0
vsize: 110524
[startup+570.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15751
Raw data (stat): 15751 (bsolo_lpr_cuts) R 15750 7876 7672 0 -1 0 33769 0 0 0 56894 111 0 0 25 0 1 0 733482546 113491968 26694 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27708 26694 1111 63 0 27645 0
vsize: 110832
[startup+580.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15751
Raw data (stat): 15751 (bsolo_lpr_cuts) R 15750 7876 7672 0 -1 0 33809 0 0 0 57892 113 0 0 25 0 1 0 733482546 113631232 26734 4294967295 134512640 134714508 3221221776 3221220080 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27742 26734 1111 63 0 27679 0
vsize: 110968
[startup+590.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15751
Raw data (stat): 15751 (bsolo_lpr_cuts) R 15750 7876 7672 0 -1 0 33913 0 0 0 58890 115 0 0 25 0 1 0 733482546 114032640 26838 4294967295 134512640 134714508 3221221776 3221220048 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27840 26838 1111 63 0 27777 0
vsize: 111360
[startup+600.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15751
Raw data (stat): 15751 (bsolo_lpr_cuts) R 15750 7876 7672 0 -1 0 33935 0 0 0 59889 116 0 0 25 0 1 0 733482546 114118656 26860 4294967295 134512640 134714508 3221221776 3221220080 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27861 26860 1111 63 0 27798 0
vsize: 111444
[startup+610.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15751
Raw data (stat): 15751 (bsolo_lpr_cuts) R 15750 7876 7672 0 -1 0 33975 0 0 0 60888 118 0 0 25 0 1 0 733482546 114249728 26900 4294967295 134512640 134714508 3221221776 3221220048 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27893 26900 1111 63 0 27830 0
vsize: 111572
[startup+620.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15751
Raw data (stat): 15751 (bsolo_lpr_cuts) R 15750 7876 7672 0 -1 0 33997 0 0 0 61887 118 0 0 25 0 1 0 733482546 114335744 26922 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27914 26922 1111 63 0 27851 0
vsize: 111656
[startup+630.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15751
Raw data (stat): 15751 (bsolo_lpr_cuts) R 15750 7876 7672 0 -1 0 34089 0 0 0 62886 120 0 0 25 0 1 0 733482546 114675712 27014 4294967295 134512640 134714508 3221221776 3221220048 1074153779 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27997 27014 1111 63 0 27934 0
vsize: 111988
[startup+640.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15751
Raw data (stat): 15751 (bsolo_lpr_cuts) R 15750 7876 7672 0 -1 0 34108 0 0 0 63885 121 0 0 25 0 1 0 733482546 114749440 27033 4294967295 134512640 134714508 3221221776 3221220032 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28015 27033 1111 63 0 27952 0
vsize: 112060
[startup+650.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15751
Raw data (stat): 15751 (bsolo_lpr_cuts) R 15750 7876 7672 0 -1 0 34127 0 0 0 64885 121 0 0 25 0 1 0 733482546 114823168 27052 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28033 27052 1111 63 0 27970 0
vsize: 112132
[startup+660.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15751
Raw data (stat): 15751 (bsolo_lpr_cuts) R 15750 7876 7672 0 -1 0 34143 0 0 0 65884 122 0 0 25 0 1 0 733482546 114884608 27068 4294967295 134512640 134714508 3221221776 3221220048 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28048 27068 1111 63 0 27985 0
vsize: 112192
[startup+670.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15751
Raw data (stat): 15751 (bsolo_lpr_cuts) R 15750 7876 7672 0 -1 0 34195 0 0 0 66883 123 0 0 25 0 1 0 733482546 115056640 27120 4294967295 134512640 134714508 3221221776 3221220080 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28090 27120 1111 63 0 28027 0
vsize: 112360
[startup+680.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15751
Raw data (stat): 15751 (bsolo_lpr_cuts) R 15750 7876 7672 0 -1 0 34211 0 0 0 67883 124 0 0 25 0 1 0 733482546 115118080 27136 4294967295 134512640 134714508 3221221776 3221220080 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28105 27136 1111 63 0 28042 0
vsize: 112420
[startup+690.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15751
Raw data (stat): 15751 (bsolo_lpr_cuts) R 15750 7876 7672 0 -1 0 34227 0 0 0 68881 126 0 0 25 0 1 0 733482546 115179520 27152 4294967295 134512640 134714508 3221221776 3221220048 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28120 27152 1111 63 0 28057 0
vsize: 112480
[startup+700.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15751
Raw data (stat): 15751 (bsolo_lpr_cuts) R 15750 7876 7672 0 -1 0 34241 0 0 0 69881 126 0 0 25 0 1 0 733482546 115236864 27166 4294967295 134512640 134714508 3221221776 3221220032 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28134 27166 1111 63 0 28071 0
vsize: 112536
[startup+710.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15751
Raw data (stat): 15751 (bsolo_lpr_cuts) R 15750 7876 7672 0 -1 0 34255 0 0 0 70881 127 0 0 25 0 1 0 733482546 115290112 27180 4294967295 134512640 134714508 3221221776 3221220048 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28147 27180 1111 63 0 28084 0
vsize: 112588
[startup+720.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15751
Raw data (stat): 15751 (bsolo_lpr_cuts) R 15750 7876 7672 0 -1 0 34270 0 0 0 71880 128 0 0 25 0 1 0 733482546 115347456 27195 4294967295 134512640 134714508 3221221776 3221219936 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28161 27195 1111 63 0 28098 0
vsize: 112644
[startup+730.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15751
Raw data (stat): 15751 (bsolo_lpr_cuts) R 15750 7876 7672 0 -1 0 34384 0 0 0 72879 129 0 0 25 0 1 0 733482546 115658752 27272 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28237 27272 1111 63 0 28174 0
vsize: 112948
[startup+740.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15751
Raw data (stat): 15751 (bsolo_lpr_cuts) R 15750 7876 7672 0 -1 0 34398 0 0 0 73879 129 0 0 25 0 1 0 733482546 115712000 27286 4294967295 134512640 134714508 3221221776 3221220048 1074153760 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28250 27286 1111 63 0 28187 0
vsize: 113000
[startup+750.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15751
Raw data (stat): 15751 (bsolo_lpr_cuts) R 15750 7876 7672 0 -1 0 34410 0 0 0 74878 130 0 0 25 0 1 0 733482546 115761152 27298 4294967295 134512640 134714508 3221221776 3221220048 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28262 27298 1111 63 0 28199 0
vsize: 113048
[startup+760.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 15752
Raw data (stat): 15751 (bsolo_lpr_cuts) R 15750 7876 7672 0 -1 0 34425 0 0 0 75875 134 0 0 25 0 1 0 733482546 115818496 27313 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28276 27313 1111 63 0 28213 0
vsize: 113104
[startup+770.027 s]
Raw data (loadavg): 1.07 0.99 0.91 2/55 15804
Raw data (stat): 15751 (bsolo_lpr_cuts) R 15750 7876 7672 0 -1 0 34436 0 0 0 76869 139 0 0 25 0 1 0 733482546 115859456 27324 4294967295 134512640 134714508 3221221776 3221220000 1074153783 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28286 27324 1111 63 0 28223 0
vsize: 113144
[startup+780.027 s]
Raw data (loadavg): 1.06 0.99 0.91 2/55 15804
Raw data (stat): 15751 (bsolo_lpr_cuts) R 15750 7876 7672 0 -1 0 34447 0 0 0 77869 139 0 0 25 0 1 0 733482546 115904512 27335 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28297 27335 1111 63 0 28234 0
vsize: 113188
[startup+790.027 s]
Raw data (loadavg): 1.05 0.99 0.91 2/55 15804
Raw data (stat): 15751 (bsolo_lpr_cuts) R 15750 7876 7672 0 -1 0 34460 0 0 0 78869 140 0 0 25 0 1 0 733482546 115953664 27348 4294967295 134512640 134714508 3221221776 3221220080 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28309 27348 1111 63 0 28246 0
vsize: 113236
[startup+800.028 s]
Raw data (loadavg): 1.04 0.99 0.91 2/55 15804
Raw data (stat): 15751 (bsolo_lpr_cuts) R 15750 7876 7672 0 -1 0 34471 0 0 0 79868 141 0 0 25 0 1 0 733482546 115994624 27359 4294967295 134512640 134714508 3221221776 3221220032 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28319 27359 1111 63 0 28256 0
vsize: 113276
[startup+810.029 s]
Raw data (loadavg): 1.03 0.99 0.91 2/55 15804
Raw data (stat): 15751 (bsolo_lpr_cuts) R 15750 7876 7672 0 -1 0 34534 0 0 0 80868 141 0 0 25 0 1 0 733482546 116252672 27422 4294967295 134512640 134714508 3221221776 3221220032 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28382 27422 1111 63 0 28319 0
vsize: 113528
[startup+820.029 s]
Raw data (loadavg): 1.03 0.99 0.91 2/55 15804
Raw data (stat): 15751 (bsolo_lpr_cuts) R 15750 7876 7672 0 -1 0 34547 0 0 0 81868 141 0 0 25 0 1 0 733482546 116301824 27435 4294967295 134512640 134714508 3221221776 3221220000 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28394 27435 1111 63 0 28331 0
vsize: 113576
[startup+830.03 s]
Raw data (loadavg): 1.02 0.99 0.91 2/55 15804
Raw data (stat): 15751 (bsolo_lpr_cuts) R 15750 7876 7672 0 -1 0 34557 0 0 0 82868 142 0 0 25 0 1 0 733482546 116342784 27445 4294967295 134512640 134714508 3221221776 3221220032 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28404 27445 1111 63 0 28341 0
vsize: 113616
[startup+840.03 s]
Raw data (loadavg): 1.02 0.99 0.91 2/55 15806
Raw data (stat): 15751 (bsolo_lpr_cuts) R 15750 7876 7672 0 -1 0 34569 0 0 0 83867 142 0 0 25 0 1 0 733482546 116387840 27457 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28415 27457 1111 63 0 28352 0
vsize: 113660
[startup+850.031 s]
Raw data (loadavg): 1.02 0.99 0.91 2/55 15806
Raw data (stat): 15751 (bsolo_lpr_cuts) R 15750 7876 7672 0 -1 0 34580 0 0 0 84867 143 0 0 25 0 1 0 733482546 116428800 27468 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28425 27468 1111 63 0 28362 0
vsize: 113700
[startup+860.031 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 15806
Raw data (stat): 15751 (bsolo_lpr_cuts) R 15750 7876 7672 0 -1 0 34591 0 0 0 85866 144 0 0 25 0 1 0 733482546 116473856 27479 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28436 27479 1111 63 0 28373 0
vsize: 113744
[startup+870.03 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 15806
Raw data (stat): 15751 (bsolo_lpr_cuts) R 15750 7876 7672 0 -1 0 34604 0 0 0 86866 144 0 0 25 0 1 0 733482546 116523008 27492 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28448 27492 1111 63 0 28385 0
vsize: 113792
[startup+880.032 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 15806
Raw data (stat): 15751 (bsolo_lpr_cuts) R 15750 7876 7672 0 -1 0 34616 0 0 0 87867 144 0 0 25 0 1 0 733482546 116572160 27504 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28460 27504 1111 63 0 28397 0
vsize: 113840
[startup+890.032 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 15806
Raw data (stat): 15751 (bsolo_lpr_cuts) R 15750 7876 7672 0 -1 0 34626 0 0 0 88866 145 0 0 25 0 1 0 733482546 116609024 27514 4294967295 134512640 134714508 3221221776 3221220032 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28469 27514 1111 63 0 28406 0
vsize: 113876
[startup+900.032 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 15806
Raw data (stat): 15751 (bsolo_lpr_cuts) R 15750 7876 7672 0 -1 0 34636 0 0 0 89866 145 0 0 25 0 1 0 733482546 116649984 27524 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28479 27524 1111 63 0 28416 0
vsize: 113916
[startup+910.032 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 15806
Raw data (stat): 15751 (bsolo_lpr_cuts) R 15750 7876 7672 0 -1 0 34648 0 0 0 90865 146 0 0 25 0 1 0 733482546 116695040 27536 4294967295 134512640 134714508 3221221776 3221219696 1077814665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28490 27536 1111 63 0 28427 0
vsize: 113960
[startup+920.032 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 15806
Raw data (stat): 15751 (bsolo_lpr_cuts) R 15750 7876 7672 0 -1 0 34718 0 0 0 91865 146 0 0 25 0 1 0 733482546 116981760 27606 4294967295 134512640 134714508 3221221776 3221220032 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28560 27606 1111 63 0 28497 0
vsize: 114240
[startup+930.033 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 15806
Raw data (stat): 15751 (bsolo_lpr_cuts) R 15750 7876 7672 0 -1 0 34728 0 0 0 92865 146 0 0 25 0 1 0 733482546 117018624 27616 4294967295 134512640 134714508 3221221776 3221220000 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28569 27616 1111 63 0 28506 0
vsize: 114276
[startup+940.033 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 15806
Raw data (stat): 15751 (bsolo_lpr_cuts) R 15750 7876 7672 0 -1 0 34739 0 0 0 93865 147 0 0 25 0 1 0 733482546 117063680 27627 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28580 27627 1111 63 0 28517 0
vsize: 114320
[startup+950.034 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 15806
Raw data (stat): 15751 (bsolo_lpr_cuts) R 15750 7876 7672 0 -1 0 34749 0 0 0 94865 147 0 0 25 0 1 0 733482546 117100544 27637 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28589 27637 1111 63 0 28526 0
vsize: 114356
[startup+960.034 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 15806
Raw data (stat): 15751 (bsolo_lpr_cuts) R 15750 7876 7672 0 -1 0 34758 0 0 0 95864 148 0 0 25 0 1 0 733482546 117137408 27646 4294967295 134512640 134714508 3221221776 3221220048 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28598 27646 1111 63 0 28535 0
vsize: 114392
[startup+970.034 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 15806
Raw data (stat): 15751 (bsolo_lpr_cuts) R 15750 7876 7672 0 -1 0 34768 0 0 0 96864 148 0 0 25 0 1 0 733482546 117174272 27656 4294967295 134512640 134714508 3221221776 3221220048 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28607 27656 1111 63 0 28544 0
vsize: 114428
[startup+980.034 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 15806
Raw data (stat): 15751 (bsolo_lpr_cuts) R 15750 7876 7672 0 -1 0 34777 0 0 0 97864 148 0 0 25 0 1 0 733482546 117211136 27665 4294967295 134512640 134714508 3221221776 3221220000 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28616 27665 1111 63 0 28553 0
vsize: 114464
[startup+990.035 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 15806
Raw data (stat): 15751 (bsolo_lpr_cuts) R 15750 7876 7672 0 -1 0 34787 0 0 0 98864 148 0 0 25 0 1 0 733482546 117248000 27675 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28625 27675 1111 63 0 28562 0
vsize: 114500
[startup+1000.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 15806
Raw data (stat): 15751 (bsolo_lpr_cuts) R 15750 7876 7672 0 -1 0 34796 0 0 0 99864 149 0 0 25 0 1 0 733482546 117284864 27684 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28634 27684 1111 63 0 28571 0
vsize: 114536
[startup+1010.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 15806
Raw data (stat): 15751 (bsolo_lpr_cuts) R 15750 7876 7672 0 -1 0 34806 0 0 0 100864 149 0 0 25 0 1 0 733482546 117321728 27694 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28643 27694 1111 63 0 28580 0
vsize: 114572
[startup+1020.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 15806
Raw data (stat): 15751 (bsolo_lpr_cuts) R 15750 7876 7672 0 -1 0 34815 0 0 0 101864 149 0 0 25 0 1 0 733482546 117358592 27703 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28652 27703 1111 63 0 28589 0
vsize: 114608
[startup+1030.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 15806
Raw data (stat): 15751 (bsolo_lpr_cuts) R 15750 7876 7672 0 -1 0 34825 0 0 0 102864 149 0 0 25 0 1 0 733482546 117395456 27713 4294967295 134512640 134714508 3221221776 3221220000 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28661 27713 1111 63 0 28598 0
vsize: 114644
[startup+1040.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 15806
Raw data (stat): 15751 (bsolo_lpr_cuts) R 15750 7876 7672 0 -1 0 34832 0 0 0 103864 150 0 0 25 0 1 0 733482546 117424128 27720 4294967295 134512640 134714508 3221221776 3221220048 1074153792 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28668 27720 1111 63 0 28605 0
vsize: 114672
[startup+1050.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 15806
Raw data (stat): 15751 (bsolo_lpr_cuts) R 15750 7876 7672 0 -1 0 34841 0 0 0 104864 150 0 0 25 0 1 0 733482546 117460992 27729 4294967295 134512640 134714508 3221221776 3221220048 1074153786 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28677 27729 1111 63 0 28614 0
vsize: 114708
[startup+1060.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 15806
Raw data (stat): 15751 (bsolo_lpr_cuts) R 15750 7876 7672 0 -1 0 34850 0 0 0 105864 150 0 0 25 0 1 0 733482546 117493760 27738 4294967295 134512640 134714508 3221221776 3221220048 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28685 27738 1111 63 0 28622 0
vsize: 114740
[startup+1070.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 15806
Raw data (stat): 15751 (bsolo_lpr_cuts) R 15750 7876 7672 0 -1 0 34859 0 0 0 106863 151 0 0 25 0 1 0 733482546 117530624 27747 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28694 27747 1111 63 0 28631 0
vsize: 114776
[startup+1080.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 15806
Raw data (stat): 15751 (bsolo_lpr_cuts) R 15750 7876 7672 0 -1 0 34870 0 0 0 107864 151 0 0 25 0 1 0 733482546 117571584 27758 4294967295 134512640 134714508 3221221776 3221220000 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28704 27758 1111 63 0 28641 0
vsize: 114816
[startup+1090.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 15806
Raw data (stat): 15751 (bsolo_lpr_cuts) R 15750 7876 7672 0 -1 0 35070 0 0 0 108863 152 0 0 25 0 1 0 733482546 117964800 27854 4294967295 134512640 134714508 3221221776 3221220032 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28800 27854 1111 63 0 28737 0
vsize: 115200
[startup+1100.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 15806
Raw data (stat): 15751 (bsolo_lpr_cuts) R 15750 7876 7672 0 -1 0 35080 0 0 0 109863 152 0 0 25 0 1 0 733482546 118001664 27864 4294967295 134512640 134714508 3221221776 3221220048 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28809 27864 1111 63 0 28746 0
vsize: 115236
[startup+1110.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 15806
Raw data (stat): 15751 (bsolo_lpr_cuts) R 15750 7876 7672 0 -1 0 35089 0 0 0 110863 152 0 0 25 0 1 0 733482546 118038528 27873 4294967295 134512640 134714508 3221221776 3221219984 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28818 27873 1111 63 0 28755 0
vsize: 115272
[startup+1120.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 15808
Raw data (stat): 15751 (bsolo_lpr_cuts) R 15750 7876 7672 0 -1 0 35097 0 0 0 111862 152 0 0 25 0 1 0 733482546 118071296 27881 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28826 27881 1111 63 0 28763 0
vsize: 115304
[startup+1130.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 15808
Raw data (stat): 15751 (bsolo_lpr_cuts) R 15750 7876 7672 0 -1 0 35107 0 0 0 112863 152 0 0 25 0 1 0 733482546 118108160 27891 4294967295 134512640 134714508 3221221776 3221220032 1074153786 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28835 27891 1111 63 0 28772 0
vsize: 115340
[startup+1140.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 15808
Raw data (stat): 15751 (bsolo_lpr_cuts) R 15750 7876 7672 0 -1 0 35114 0 0 0 113863 152 0 0 25 0 1 0 733482546 118136832 27898 4294967295 134512640 134714508 3221221776 3221220048 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28842 27898 1111 63 0 28779 0
vsize: 115368
[startup+1150.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 15808
Raw data (stat): 15751 (bsolo_lpr_cuts) R 15750 7876 7672 0 -1 0 35123 0 0 0 114863 152 0 0 25 0 1 0 733482546 118169600 27907 4294967295 134512640 134714508 3221221776 3221220032 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28850 27907 1111 63 0 28787 0
vsize: 115400
[startup+1160.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 15808
Raw data (stat): 15751 (bsolo_lpr_cuts) R 15750 7876 7672 0 -1 0 35132 0 0 0 115863 153 0 0 25 0 1 0 733482546 118206464 27916 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28859 27916 1111 63 0 28796 0
vsize: 115436
[startup+1170.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 15808
Raw data (stat): 15751 (bsolo_lpr_cuts) R 15750 7876 7672 0 -1 0 35141 0 0 0 116863 153 0 0 25 0 1 0 733482546 118243328 27925 4294967295 134512640 134714508 3221221776 3221220000 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28868 27925 1111 63 0 28805 0
vsize: 115472
[startup+1180.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 15808
Raw data (stat): 15751 (bsolo_lpr_cuts) R 15750 7876 7672 0 -1 0 35151 0 0 0 117862 154 0 0 25 0 1 0 733482546 118280192 27935 4294967295 134512640 134714508 3221221776 3221220000 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28877 27935 1111 63 0 28814 0
vsize: 115508
[startup+1190.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 15808
Raw data (stat): 15751 (bsolo_lpr_cuts) R 15750 7876 7672 0 -1 0 35160 0 0 0 118863 154 0 0 25 0 1 0 733482546 118317056 27944 4294967295 134512640 134714508 3221221776 3221220000 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28886 27944 1111 63 0 28823 0
vsize: 115544
[startup+1200.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 15808
Raw data (stat): 15751 (bsolo_lpr_cuts) R 15750 7876 7672 0 -1 0 40817 0 0 0 119851 165 0 0 25 0 1 0 733482546 135438336 30482 4294967295 134512640 134714508 3221221776 3221218976 1074140697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33066 30482 1111 63 0 33003 0
vsize: 132264
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.1 s]
Raw data (loadavg): 1.00 0.99 0.91 1/55 15808
Raw data (stat): 15751 (bsolo_lpr_cuts) Z 15750 7876 7672 0 -1 1036 40817 0 0 0 119851 171 0 0 25 0 1 0 733482546 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.1
CPU time (s): 1200.23
CPU user time (s): 1198.52
CPU system time (s): 1.71674
CPU usage (%): 100.011
Max. virtual memory (Kb): 132264
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####