PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-4.opb
MD5SUM	2b591d1b24a201f365bc505135aa0578
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-33
Optimality of the best value was proved	NO
Number of terms in the objective function	945
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	945
Number of bits of the sum of numbers in the objective function	10
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	945
Number of bits of the biggest sum of numbers	10
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.07
Number of variables	945
Total number of constraints	58549
Number of constraints which are clauses	58549
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 24798

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-13 04:25:18 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2981 boxname=wulflinc31 idbench=332 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  2b591d1b24a201f365bc505135aa0578  /oldhome/oroussel/tmp/wulflinc31/normalized-frb45-21-4.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-frb45-21-4.opb
IDLAUNCH: 2981
/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:        875132 kB
Buffers:         35992 kB
Cached:         102084 kB
SwapCached:       1936 kB
Active:         105780 kB
Inactive:        35472 kB
HighTotal:      131008 kB
HighFree:        28084 kB
LowTotal:       903652 kB
LowFree:        847048 kB
SwapTotal:     2097892 kB
SwapFree:      2095224 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5360 kB
Slab:            12716 kB
Committed_AS:    63840 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-13 04:45:20 (client local time) WITH STATUS 0 IN 1200.19 SECONDS
stats: 2981 7 1200.19 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 945 variables and 58549 constraints.
c After prepocess the problem consists of 945 variables and 39192 constraints.
c preprocess terminated 383.875 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.94 2/55 14624
Raw data (stat): 14624 (runsolver) R 14623 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 732269773 1056768 100 4294967295 134512640 135381576 3221221680 3221216896 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0004 s]
Raw data (loadavg): 0.88 0.94 0.94 2/55 14624
Raw data (stat): 14624 (bsolo_lpr_cuts) R 14623 7876 7672 0 -1 0 21760 0 0 0 938 57 0 0 25 0 1 0 732269773 92233728 21680 4294967295 134512640 134714508 3221221776 3221220416 134606474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22518 21680 1111 63 0 22455 0
vsize: 90072
[startup+20.0013 s]
Raw data (loadavg): 0.89 0.94 0.94 2/55 14624
Raw data (stat): 14624 (bsolo_lpr_cuts) R 14623 7876 7672 0 -1 0 24753 0 0 0 1931 64 0 0 25 0 1 0 732269773 100773888 23741 4294967295 134512640 134714508 3221221776 3221220140 134539235 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24603 23741 1111 63 0 24540 0
vsize: 98412
[startup+30.0023 s]
Raw data (loadavg): 0.91 0.94 0.94 2/55 14624
Raw data (stat): 14624 (bsolo_lpr_cuts) R 14623 7876 7672 0 -1 0 24753 0 0 0 2930 64 0 0 25 0 1 0 732269773 100773888 23741 4294967295 134512640 134714508 3221221776 3221220416 134606468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24603 23741 1111 63 0 24540 0
vsize: 98412
[startup+40.0022 s]
Raw data (loadavg): 0.92 0.94 0.94 2/55 14624
Raw data (stat): 14624 (bsolo_lpr_cuts) R 14623 7876 7672 0 -1 0 24753 0 0 0 3930 65 0 0 25 0 1 0 732269773 100773888 23741 4294967295 134512640 134714508 3221221776 3221220240 134542368 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24603 23741 1111 63 0 24540 0
vsize: 98412
[startup+50.0021 s]
Raw data (loadavg): 0.93 0.95 0.94 2/55 14624
Raw data (stat): 14624 (bsolo_lpr_cuts) R 14623 7876 7672 0 -1 0 24753 0 0 0 4930 65 0 0 25 0 1 0 732269773 100773888 23741 4294967295 134512640 134714508 3221221776 3221220140 134539237 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24603 23741 1111 63 0 24540 0
vsize: 98412
[startup+60.002 s]
Raw data (loadavg): 0.94 0.95 0.94 2/55 14624
Raw data (stat): 14624 (bsolo_lpr_cuts) R 14623 7876 7672 0 -1 0 24753 0 0 0 5929 66 0 0 25 0 1 0 732269773 100773888 23741 4294967295 134512640 134714508 3221221776 3221220140 134539282 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24603 23741 1111 63 0 24540 0
vsize: 98412
[startup+70.002 s]
Raw data (loadavg): 0.95 0.95 0.94 2/55 14624
Raw data (stat): 14624 (bsolo_lpr_cuts) R 14623 7876 7672 0 -1 0 24753 0 0 0 6929 66 0 0 25 0 1 0 732269773 100773888 23741 4294967295 134512640 134714508 3221221776 3221220256 134539376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24603 23741 1111 63 0 24540 0
vsize: 98412
[startup+80.0029 s]
Raw data (loadavg): 0.96 0.95 0.94 2/55 14624
Raw data (stat): 14624 (bsolo_lpr_cuts) R 14623 7876 7672 0 -1 0 24753 0 0 0 7929 67 0 0 25 0 1 0 732269773 100773888 23741 4294967295 134512640 134714508 3221221776 3221220340 134523868 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24603 23741 1111 63 0 24540 0
vsize: 98412
[startup+90.0028 s]
Raw data (loadavg): 0.96 0.95 0.94 2/55 14624
Raw data (stat): 14624 (bsolo_lpr_cuts) R 14623 7876 7672 0 -1 0 24753 0 0 0 8929 67 0 0 25 0 1 0 732269773 100773888 23741 4294967295 134512640 134714508 3221221776 3221220296 134543600 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24603 23741 1111 63 0 24540 0
vsize: 98412
[startup+100.003 s]
Raw data (loadavg): 0.97 0.95 0.94 2/55 14624
Raw data (stat): 14624 (bsolo_lpr_cuts) R 14623 7876 7672 0 -1 0 24753 0 0 0 9928 68 0 0 25 0 1 0 732269773 100773888 23741 4294967295 134512640 134714508 3221221776 3221220392 134536900 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24603 23741 1111 63 0 24540 0
vsize: 98412
[startup+110.004 s]
Raw data (loadavg): 0.97 0.95 0.94 2/55 14624
Raw data (stat): 14624 (bsolo_lpr_cuts) R 14623 7876 7672 0 -1 0 24753 0 0 0 10928 68 0 0 25 0 1 0 732269773 100773888 23741 4294967295 134512640 134714508 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24603 23741 1111 63 0 24540 0
vsize: 98412
[startup+120.005 s]
Raw data (loadavg): 0.98 0.95 0.94 2/55 14624
Raw data (stat): 14624 (bsolo_lpr_cuts) R 14623 7876 7672 0 -1 0 24753 0 0 0 11927 69 0 0 25 0 1 0 732269773 100773888 23741 4294967295 134512640 134714508 3221221776 3221220416 134594947 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24603 23741 1111 63 0 24540 0
vsize: 98412
[startup+130.006 s]
Raw data (loadavg): 0.98 0.95 0.94 2/55 14624
Raw data (stat): 14624 (bsolo_lpr_cuts) R 14623 7876 7672 0 -1 0 24753 0 0 0 12927 69 0 0 25 0 1 0 732269773 100773888 23741 4294967295 134512640 134714508 3221221776 3221220192 134543684 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24603 23741 1111 63 0 24540 0
vsize: 98412
[startup+140.005 s]
Raw data (loadavg): 0.98 0.95 0.94 2/55 14624
Raw data (stat): 14624 (bsolo_lpr_cuts) R 14623 7876 7672 0 -1 0 24753 0 0 0 13926 70 0 0 25 0 1 0 732269773 100773888 23741 4294967295 134512640 134714508 3221221776 3221220160 134542350 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24603 23741 1111 63 0 24540 0
vsize: 98412
[startup+150.005 s]
Raw data (loadavg): 0.98 0.95 0.94 2/55 14624
Raw data (stat): 14624 (bsolo_lpr_cuts) R 14623 7876 7672 0 -1 0 24753 0 0 0 14926 70 0 0 25 0 1 0 732269773 100773888 23741 4294967295 134512640 134714508 3221221776 3221220140 134539235 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24603 23741 1111 63 0 24540 0
vsize: 98412
[startup+160.006 s]
Raw data (loadavg): 0.99 0.96 0.94 2/55 14624
Raw data (stat): 14624 (bsolo_lpr_cuts) R 14623 7876 7672 0 -1 0 24753 0 0 0 15926 71 0 0 25 0 1 0 732269773 100773888 23741 4294967295 134512640 134714508 3221221776 3221220416 134606474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24603 23741 1111 63 0 24540 0
vsize: 98412
[startup+170.006 s]
Raw data (loadavg): 0.99 0.96 0.94 2/55 14624
Raw data (stat): 14624 (bsolo_lpr_cuts) R 14623 7876 7672 0 -1 0 24753 0 0 0 16926 71 0 0 25 0 1 0 732269773 100773888 23741 4294967295 134512640 134714508 3221221776 3221220200 1077377504 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24603 23741 1111 63 0 24540 0
vsize: 98412
[startup+180.007 s]
Raw data (loadavg): 0.99 0.96 0.94 2/55 14624
Raw data (stat): 14624 (bsolo_lpr_cuts) R 14623 7876 7672 0 -1 0 24753 0 0 0 17926 71 0 0 25 0 1 0 732269773 100773888 23741 4294967295 134512640 134714508 3221221776 3221220244 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24603 23741 1111 63 0 24540 0
vsize: 98412
[startup+190.008 s]
Raw data (loadavg): 0.99 0.96 0.94 2/55 14624
Raw data (stat): 14624 (bsolo_lpr_cuts) R 14623 7876 7672 0 -1 0 24753 0 0 0 18926 71 0 0 25 0 1 0 732269773 100773888 23741 4294967295 134512640 134714508 3221221776 3221220244 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24603 23741 1111 63 0 24540 0
vsize: 98412
[startup+200.008 s]
Raw data (loadavg): 0.99 0.96 0.94 2/55 14624
Raw data (stat): 14624 (bsolo_lpr_cuts) R 14623 7876 7672 0 -1 0 24753 0 0 0 19926 72 0 0 25 0 1 0 732269773 100773888 23741 4294967295 134512640 134714508 3221221776 3221220256 134539376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24603 23741 1111 63 0 24540 0
vsize: 98412
[startup+210.008 s]
Raw data (loadavg): 0.99 0.96 0.94 2/55 14624
Raw data (stat): 14624 (bsolo_lpr_cuts) R 14623 7876 7672 0 -1 0 24753 0 0 0 20925 72 0 0 25 0 1 0 732269773 100773888 23741 4294967295 134512640 134714508 3221221776 3221220192 134542677 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24603 23741 1111 63 0 24540 0
vsize: 98412
[startup+220.009 s]
Raw data (loadavg): 0.99 0.96 0.94 2/55 14624
Raw data (stat): 14624 (bsolo_lpr_cuts) R 14623 7876 7672 0 -1 0 24753 0 0 0 21925 72 0 0 25 0 1 0 732269773 100773888 23741 4294967295 134512640 134714508 3221221776 3221220280 134543600 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24603 23741 1111 63 0 24540 0
vsize: 98412
[startup+230.01 s]
Raw data (loadavg): 0.99 0.96 0.94 2/55 14624
Raw data (stat): 14624 (bsolo_lpr_cuts) R 14623 7876 7672 0 -1 0 24753 0 0 0 22925 73 0 0 25 0 1 0 732269773 100773888 23741 4294967295 134512640 134714508 3221221776 3221220160 134542350 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24603 23741 1111 63 0 24540 0
vsize: 98412
[startup+240.01 s]
Raw data (loadavg): 0.99 0.96 0.94 2/55 14624
Raw data (stat): 14624 (bsolo_lpr_cuts) R 14623 7876 7672 0 -1 0 24753 0 0 0 23924 73 0 0 25 0 1 0 732269773 100773888 23741 4294967295 134512640 134714508 3221221776 3221220160 134542350 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24603 23741 1111 63 0 24540 0
vsize: 98412
[startup+250.01 s]
Raw data (loadavg): 0.99 0.96 0.94 2/55 14624
Raw data (stat): 14624 (bsolo_lpr_cuts) R 14623 7876 7672 0 -1 0 24753 0 0 0 24924 74 0 0 25 0 1 0 732269773 100773888 23741 4294967295 134512640 134714508 3221221776 3221220188 134543615 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24603 23741 1111 63 0 24540 0
vsize: 98412
[startup+260.011 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 14624
Raw data (stat): 14624 (bsolo_lpr_cuts) R 14623 7876 7672 0 -1 0 24753 0 0 0 25924 74 0 0 25 0 1 0 732269773 100773888 23741 4294967295 134512640 134714508 3221221776 3221220256 134539462 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24603 23741 1111 63 0 24540 0
vsize: 98412
[startup+270.011 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 14624
Raw data (stat): 14624 (bsolo_lpr_cuts) R 14623 7876 7672 0 -1 0 24753 0 0 0 26923 75 0 0 25 0 1 0 732269773 100773888 23741 4294967295 134512640 134714508 3221221776 3221220140 134539301 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24603 23741 1111 63 0 24540 0
vsize: 98412
[startup+280.012 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 14624
Raw data (stat): 14624 (bsolo_lpr_cuts) R 14623 7876 7672 0 -1 0 24753 0 0 0 27923 75 0 0 25 0 1 0 732269773 100773888 23741 4294967295 134512640 134714508 3221221776 3221220344 134535787 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24603 23741 1111 63 0 24540 0
vsize: 98412
[startup+290.012 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 14624
Raw data (stat): 14624 (bsolo_lpr_cuts) R 14623 7876 7672 0 -1 0 24753 0 0 0 28923 76 0 0 25 0 1 0 732269773 100773888 23741 4294967295 134512640 134714508 3221221776 3221220160 134542352 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24603 23741 1111 63 0 24540 0
vsize: 98412
[startup+300.012 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 14624
Raw data (stat): 14624 (bsolo_lpr_cuts) R 14623 7876 7672 0 -1 0 24753 0 0 0 29922 76 0 0 25 0 1 0 732269773 100773888 23741 4294967295 134512640 134714508 3221221776 3221220256 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24603 23741 1111 63 0 24540 0
vsize: 98412
[startup+310.012 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 14624
Raw data (stat): 14624 (bsolo_lpr_cuts) R 14623 7876 7672 0 -1 0 24753 0 0 0 30922 77 0 0 25 0 1 0 732269773 100773888 23741 4294967295 134512640 134714508 3221221776 3221220436 134627197 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24603 23741 1111 63 0 24540 0
vsize: 98412
[startup+320.012 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 14624
Raw data (stat): 14624 (bsolo_lpr_cuts) R 14623 7876 7672 0 -1 0 24753 0 0 0 31922 77 0 0 25 0 1 0 732269773 100773888 23741 4294967295 134512640 134714508 3221221776 3221220448 134627187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24603 23741 1111 63 0 24540 0
vsize: 98412
[startup+330.013 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 14624
Raw data (stat): 14624 (bsolo_lpr_cuts) R 14623 7876 7672 0 -1 0 24753 0 0 0 32922 77 0 0 25 0 1 0 732269773 100773888 23741 4294967295 134512640 134714508 3221221776 3221220448 134627250 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24603 23741 1111 63 0 24540 0
vsize: 98412
[startup+340.014 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 14624
Raw data (stat): 14624 (bsolo_lpr_cuts) R 14623 7876 7672 0 -1 0 24753 0 0 0 33922 77 0 0 25 0 1 0 732269773 100773888 23741 4294967295 134512640 134714508 3221221776 3221220436 134627197 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24603 23741 1111 63 0 24540 0
vsize: 98412
[startup+350.013 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 14624
Raw data (stat): 14624 (bsolo_lpr_cuts) R 14623 7876 7672 0 -1 0 24753 0 0 0 34921 78 0 0 25 0 1 0 732269773 100773888 23741 4294967295 134512640 134714508 3221221776 3221220448 134627187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24603 23741 1111 63 0 24540 0
vsize: 98412
[startup+360.014 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 14624
Raw data (stat): 14624 (bsolo_lpr_cuts) R 14623 7876 7672 0 -1 0 24753 0 0 0 35922 78 0 0 25 0 1 0 732269773 100773888 23741 4294967295 134512640 134714508 3221221776 3221220436 134627197 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24603 23741 1111 63 0 24540 0
vsize: 98412
[startup+370.014 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 14624
Raw data (stat): 14624 (bsolo_lpr_cuts) R 14623 7876 7672 0 -1 0 24754 0 0 0 36921 78 0 0 25 0 1 0 732269773 100773888 23742 4294967295 134512640 134714508 3221221776 3221220656 134622335 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24603 23742 1111 63 0 24540 0
vsize: 98412
[startup+380.015 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 14624
Raw data (stat): 14624 (bsolo_lpr_cuts) R 14623 7876 7672 0 -1 0 24754 0 0 0 37921 78 0 0 25 0 1 0 732269773 100773888 23742 4294967295 134512640 134714508 3221221776 3221220656 134622261 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24603 23742 1111 63 0 24540 0
vsize: 98412
[startup+390.016 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 14624
Raw data (stat): 14624 (bsolo_lpr_cuts) R 14623 7876 7672 0 -1 0 24776 0 0 0 38921 79 0 0 25 0 1 0 732269773 100773888 23764 4294967295 134512640 134714508 3221221776 3221220032 1074153760 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24603 23764 1111 63 0 24540 0
vsize: 98412
[startup+400.016 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 14624
Raw data (stat): 14624 (bsolo_lpr_cuts) R 14623 7876 7672 0 -1 0 24776 0 0 0 39920 80 0 0 25 0 1 0 732269773 100773888 23764 4294967295 134512640 134714508 3221221776 3221220032 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24603 23764 1111 63 0 24540 0
vsize: 98412
[startup+410.017 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 14624
Raw data (stat): 14624 (bsolo_lpr_cuts) R 14623 7876 7672 0 -1 0 24776 0 0 0 40920 80 0 0 25 0 1 0 732269773 100773888 23764 4294967295 134512640 134714508 3221221776 3221220048 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24603 23764 1111 63 0 24540 0
vsize: 98412
[startup+420.017 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 14624
Raw data (stat): 14624 (bsolo_lpr_cuts) R 14623 7876 7672 0 -1 0 24776 0 0 0 41919 81 0 0 25 0 1 0 732269773 100773888 23764 4294967295 134512640 134714508 3221221776 3221220000 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24603 23764 1111 63 0 24540 0
vsize: 98412
[startup+430.018 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 14624
Raw data (stat): 14624 (bsolo_lpr_cuts) R 14623 7876 7672 0 -1 0 24776 0 0 0 42919 82 0 0 25 0 1 0 732269773 100773888 23764 4294967295 134512640 134714508 3221221776 3221220048 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24603 23764 1111 63 0 24540 0
vsize: 98412
[startup+440.018 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 14624
Raw data (stat): 14624 (bsolo_lpr_cuts) R 14623 7876 7672 0 -1 0 24776 0 0 0 43918 82 0 0 25 0 1 0 732269773 100773888 23764 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24603 23764 1111 63 0 24540 0
vsize: 98412
[startup+450.018 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 14624
Raw data (stat): 14624 (bsolo_lpr_cuts) R 14623 7876 7672 0 -1 0 24776 0 0 0 44917 83 0 0 25 0 1 0 732269773 100773888 23764 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24603 23764 1111 63 0 24540 0
vsize: 98412
[startup+460.019 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 14624
Raw data (stat): 14624 (bsolo_lpr_cuts) R 14623 7876 7672 0 -1 0 24776 0 0 0 45917 83 0 0 25 0 1 0 732269773 100773888 23764 4294967295 134512640 134714508 3221221776 3221220032 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24603 23764 1111 63 0 24540 0
vsize: 98412
[startup+470.019 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 14624
Raw data (stat): 14624 (bsolo_lpr_cuts) R 14623 7876 7672 0 -1 0 24776 0 0 0 46917 84 0 0 25 0 1 0 732269773 100773888 23764 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24603 23764 1111 63 0 24540 0
vsize: 98412
[startup+480.02 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 14624
Raw data (stat): 14624 (bsolo_lpr_cuts) R 14623 7876 7672 0 -1 0 24776 0 0 0 47917 84 0 0 25 0 1 0 732269773 100773888 23764 4294967295 134512640 134714508 3221221776 3221220080 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24603 23764 1111 63 0 24540 0
vsize: 98412
[startup+490.02 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 14624
Raw data (stat): 14624 (bsolo_lpr_cuts) R 14623 7876 7672 0 -1 0 24776 0 0 0 48917 84 0 0 25 0 1 0 732269773 100773888 23764 4294967295 134512640 134714508 3221221776 3221220080 1074153760 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24603 23764 1111 63 0 24540 0
vsize: 98412
[startup+500.021 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 14624
Raw data (stat): 14624 (bsolo_lpr_cuts) R 14623 7876 7672 0 -1 0 24776 0 0 0 49917 84 0 0 25 0 1 0 732269773 100773888 23764 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24603 23764 1111 63 0 24540 0
vsize: 98412
[startup+510.022 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 14624
Raw data (stat): 14624 (bsolo_lpr_cuts) R 14623 7876 7672 0 -1 0 24776 0 0 0 50916 85 0 0 25 0 1 0 732269773 100773888 23764 4294967295 134512640 134714508 3221221776 3221220032 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24603 23764 1111 63 0 24540 0
vsize: 98412
[startup+520.023 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 14624
Raw data (stat): 14624 (bsolo_lpr_cuts) R 14623 7876 7672 0 -1 0 24776 0 0 0 51916 85 0 0 25 0 1 0 732269773 100773888 23764 4294967295 134512640 134714508 3221221776 3221220032 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24603 23764 1111 63 0 24540 0
vsize: 98412
[startup+530.024 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 14624
Raw data (stat): 14624 (bsolo_lpr_cuts) R 14623 7876 7672 0 -1 0 24776 0 0 0 52916 85 0 0 25 0 1 0 732269773 100773888 23764 4294967295 134512640 134714508 3221221776 3221220032 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24603 23764 1111 63 0 24540 0
vsize: 98412
[startup+540.024 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 14624
Raw data (stat): 14624 (bsolo_lpr_cuts) R 14623 7876 7672 0 -1 0 24776 0 0 0 53916 86 0 0 25 0 1 0 732269773 100773888 23764 4294967295 134512640 134714508 3221221776 3221220032 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24603 23764 1111 63 0 24540 0
vsize: 98412
[startup+550.024 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 14624
Raw data (stat): 14624 (bsolo_lpr_cuts) R 14623 7876 7672 0 -1 0 24776 0 0 0 54916 86 0 0 25 0 1 0 732269773 100773888 23764 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24603 23764 1111 63 0 24540 0
vsize: 98412
[startup+560.025 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 14624
Raw data (stat): 14624 (bsolo_lpr_cuts) R 14623 7876 7672 0 -1 0 24776 0 0 0 55916 86 0 0 25 0 1 0 732269773 100773888 23764 4294967295 134512640 134714508 3221221776 3221220048 1074153786 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24603 23764 1111 63 0 24540 0
vsize: 98412
[startup+570.026 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 14624
Raw data (stat): 14624 (bsolo_lpr_cuts) R 14623 7876 7672 0 -1 0 24776 0 0 0 56916 86 0 0 25 0 1 0 732269773 100773888 23764 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24603 23764 1111 63 0 24540 0
vsize: 98412
[startup+580.027 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 14624
Raw data (stat): 14624 (bsolo_lpr_cuts) R 14623 7876 7672 0 -1 0 24776 0 0 0 57915 87 0 0 25 0 1 0 732269773 100773888 23764 4294967295 134512640 134714508 3221221776 3221220048 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24603 23764 1111 63 0 24540 0
vsize: 98412
[startup+590.028 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 14624
Raw data (stat): 14624 (bsolo_lpr_cuts) R 14623 7876 7672 0 -1 0 24776 0 0 0 58915 87 0 0 25 0 1 0 732269773 100773888 23764 4294967295 134512640 134714508 3221221776 3221220048 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24603 23764 1111 63 0 24540 0
vsize: 98412
[startup+600.029 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 14624
Raw data (stat): 14624 (bsolo_lpr_cuts) R 14623 7876 7672 0 -1 0 25143 0 0 0 59914 88 0 0 25 0 1 0 732269773 102273024 24131 4294967295 134512640 134714508 3221221776 3221220032 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24969 24131 1111 63 0 24906 0
vsize: 99876
[startup+610.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 14624
Raw data (stat): 14624 (bsolo_lpr_cuts) R 14623 7876 7672 0 -1 0 25153 0 0 0 60914 89 0 0 25 0 1 0 732269773 102313984 24141 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24979 24141 1111 63 0 24916 0
vsize: 99916
[startup+620.029 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 14624
Raw data (stat): 14624 (bsolo_lpr_cuts) R 14623 7876 7672 0 -1 0 25162 0 0 0 61913 89 0 0 25 0 1 0 732269773 102350848 24150 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24988 24150 1111 63 0 24925 0
vsize: 99952
[startup+630.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 14624
Raw data (stat): 14624 (bsolo_lpr_cuts) R 14623 7876 7672 0 -1 0 25172 0 0 0 62912 91 0 0 25 0 1 0 732269773 102391808 24160 4294967295 134512640 134714508 3221221776 3221220048 1074153773 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24998 24160 1111 63 0 24935 0
vsize: 99992
[startup+640.032 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 14624
Raw data (stat): 14624 (bsolo_lpr_cuts) R 14623 7876 7672 0 -1 0 25182 0 0 0 63911 92 0 0 25 0 1 0 732269773 102432768 24170 4294967295 134512640 134714508 3221221776 3221220032 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25008 24170 1111 63 0 24945 0
vsize: 100032
[startup+650.031 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 14624
Raw data (stat): 14624 (bsolo_lpr_cuts) R 14623 7876 7672 0 -1 0 25191 0 0 0 64911 92 0 0 25 0 1 0 732269773 102469632 24179 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25017 24179 1111 63 0 24954 0
vsize: 100068
[startup+660.032 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 14624
Raw data (stat): 14624 (bsolo_lpr_cuts) R 14623 7876 7672 0 -1 0 25201 0 0 0 65910 93 0 0 25 0 1 0 732269773 102510592 24189 4294967295 134512640 134714508 3221221776 3221220048 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25027 24189 1111 63 0 24964 0
vsize: 100108
[startup+670.033 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 14624
Raw data (stat): 14624 (bsolo_lpr_cuts) R 14623 7876 7672 0 -1 0 25211 0 0 0 66910 93 0 0 25 0 1 0 732269773 102551552 24199 4294967295 134512640 134714508 3221221776 3221220048 1074153779 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25037 24199 1111 63 0 24974 0
vsize: 100148
[startup+680.034 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 14624
Raw data (stat): 14624 (bsolo_lpr_cuts) R 14623 7876 7672 0 -1 0 25220 0 0 0 67909 94 0 0 25 0 1 0 732269773 102588416 24208 4294967295 134512640 134714508 3221221776 3221219984 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25046 24208 1111 63 0 24983 0
vsize: 100184
[startup+690.034 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 14624
Raw data (stat): 14624 (bsolo_lpr_cuts) R 14623 7876 7672 0 -1 0 26148 0 0 0 68907 96 0 0 25 0 1 0 732269773 106352640 25136 4294967295 134512640 134714508 3221221776 3221219656 1074138306 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25965 25136 1111 63 0 25902 0
vsize: 103860
[startup+700.034 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 14624
Raw data (stat): 14624 (bsolo_lpr_cuts) R 14623 7876 7672 0 -1 0 30879 0 0 0 69897 106 0 0 25 0 1 0 732269773 127639552 27837 4294967295 134512640 134714508 3221221776 3221217968 1074961264 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31162 27837 1111 63 0 31099 0
vsize: 124648
[startup+710.035 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 14624
Raw data (stat): 14624 (bsolo_lpr_cuts) R 14623 7876 7672 0 -1 0 30952 0 0 0 70898 106 0 0 25 0 1 0 732269773 127639552 27910 4294967295 134512640 134714508 3221221776 3221217840 1074969458 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31162 27910 1111 63 0 31099 0
vsize: 124648
[startup+720.035 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 14624
Raw data (stat): 14624 (bsolo_lpr_cuts) R 14623 7876 7672 0 -1 0 32333 0 0 0 71895 109 0 0 25 0 1 0 732269773 130514944 29289 4294967295 134512640 134714508 3221221776 3221217840 1074969458 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31864 29289 1111 63 0 31801 0
vsize: 127456
[startup+730.035 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 14624
Raw data (stat): 14624 (bsolo_lpr_cuts) R 14623 7876 7672 0 -1 0 32370 0 0 0 72895 109 0 0 25 0 1 0 732269773 130514944 29326 4294967295 134512640 134714508 3221221776 3221217840 1074969461 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31864 29326 1111 63 0 31801 0
vsize: 127456
[startup+740.035 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 14624
Raw data (stat): 14624 (bsolo_lpr_cuts) R 14623 7876 7672 0 -1 0 32577 0 0 0 73895 110 0 0 25 0 1 0 732269773 124772352 28246 4294967295 134512640 134714508 3221221776 3221217708 1074788950 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30462 28246 1111 63 0 30399 0
vsize: 121848
[startup+750.035 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 14624
Raw data (stat): 14624 (bsolo_lpr_cuts) R 14623 7876 7672 0 -1 0 32600 0 0 0 74895 110 0 0 25 0 1 0 732269773 125087744 28267 4294967295 134512640 134714508 3221221776 3221218768 1074867344 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30539 28267 1111 63 0 30476 0
vsize: 122156
[startup+760.036 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 14624
Raw data (stat): 14624 (bsolo_lpr_cuts) R 14623 7876 7672 0 -1 0 32606 0 0 0 75895 110 0 0 25 0 1 0 732269773 124772352 28271 4294967295 134512640 134714508 3221221776 3221217824 1075112110 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30462 28271 1111 63 0 30399 0
vsize: 121848
[startup+770.035 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 14624
Raw data (stat): 14624 (bsolo_lpr_cuts) R 14623 7876 7672 0 -1 0 32632 0 0 0 76895 110 0 0 25 0 1 0 732269773 124772352 28295 4294967295 134512640 134714508 3221221776 3221217936 1075115709 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30462 28295 1111 63 0 30399 0
vsize: 121848
[startup+780.036 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 14624
Raw data (stat): 14624 (bsolo_lpr_cuts) R 14623 7876 7672 0 -1 0 32657 0 0 0 77895 110 0 0 25 0 1 0 732269773 124772352 28318 4294967295 134512640 134714508 3221221776 3221217580 1074788953 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30462 28318 1111 63 0 30399 0
vsize: 121848
[startup+790.036 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 14624
Raw data (stat): 14624 (bsolo_lpr_cuts) R 14623 7876 7672 0 -1 0 32666 0 0 0 78895 110 0 0 25 0 1 0 732269773 124772352 28325 4294967295 134512640 134714508 3221221776 3221217840 1074969461 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30462 28325 1111 63 0 30399 0
vsize: 121848
[startup+800.036 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 14624
Raw data (stat): 14624 (bsolo_lpr_cuts) R 14623 7876 7672 0 -1 0 32669 0 0 0 79895 110 0 0 25 0 1 0 732269773 124772352 28328 4294967295 134512640 134714508 3221221776 3221217840 1074969461 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30462 28328 1111 63 0 30399 0
vsize: 121848
[startup+810.037 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 14624
Raw data (stat): 14624 (bsolo_lpr_cuts) R 14623 7876 7672 0 -1 0 32681 0 0 0 80895 110 0 0 25 0 1 0 732269773 124772352 28338 4294967295 134512640 134714508 3221221776 3221217924 1075115039 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30462 28338 1111 63 0 30399 0
vsize: 121848
[startup+820.037 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 14624
Raw data (stat): 14624 (bsolo_lpr_cuts) R 14623 7876 7672 0 -1 0 32711 0 0 0 81895 110 0 0 25 0 1 0 732269773 124772352 28366 4294967295 134512640 134714508 3221221776 3221217840 1074969461 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30462 28366 1111 63 0 30399 0
vsize: 121848
[startup+830.038 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 14624
Raw data (stat): 14624 (bsolo_lpr_cuts) R 14623 7876 7672 0 -1 0 32715 0 0 0 82896 110 0 0 25 0 1 0 732269773 124772352 28370 4294967295 134512640 134714508 3221221776 3221217580 1074788953 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30462 28370 1111 63 0 30399 0
vsize: 121848
[startup+840.038 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 14624
Raw data (stat): 14624 (bsolo_lpr_cuts) R 14623 7876 7672 0 -1 0 32737 0 0 0 83896 111 0 0 25 0 1 0 732269773 124772352 28390 4294967295 134512640 134714508 3221221776 3221217580 1074788959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30462 28390 1111 63 0 30399 0
vsize: 121848
[startup+850.038 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 14624
Raw data (stat): 14624 (bsolo_lpr_cuts) R 14623 7876 7672 0 -1 0 32747 0 0 0 84895 111 0 0 25 0 1 0 732269773 124772352 28398 4294967295 134512640 134714508 3221221776 3221217708 1074788959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30462 28398 1111 63 0 30399 0
vsize: 121848
[startup+860.038 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 14624
Raw data (stat): 14624 (bsolo_lpr_cuts) R 14623 7876 7672 0 -1 0 32753 0 0 0 85895 111 0 0 25 0 1 0 732269773 125087744 28404 4294967295 134512640 134714508 3221221776 3221218352 1075967926 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30539 28404 1111 63 0 30476 0
vsize: 122156
[startup+870.038 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 14624
Raw data (stat): 14624 (bsolo_lpr_cuts) R 14623 7876 7672 0 -1 0 32756 0 0 0 86895 111 0 0 25 0 1 0 732269773 124772352 28405 4294967295 134512640 134714508 3221221776 3221217840 1074969461 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30462 28405 1111 63 0 30399 0
vsize: 121848
[startup+880.039 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 14624
Raw data (stat): 14624 (bsolo_lpr_cuts) R 14623 7876 7672 0 -1 0 32774 0 0 0 87896 111 0 0 25 0 1 0 732269773 124772352 28421 4294967295 134512640 134714508 3221221776 3221217924 1075115046 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30462 28421 1111 63 0 30399 0
vsize: 121848
[startup+890.038 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 14624
Raw data (stat): 14624 (bsolo_lpr_cuts) R 14623 7876 7672 0 -1 0 32775 0 0 0 88896 111 0 0 25 0 1 0 732269773 124772352 28422 4294967295 134512640 134714508 3221221776 3221217840 1074969458 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30462 28422 1111 63 0 30399 0
vsize: 121848
[startup+900.038 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 14624
Raw data (stat): 14624 (bsolo_lpr_cuts) R 14623 7876 7672 0 -1 0 32823 0 0 0 89896 111 0 0 25 0 1 0 732269773 125345792 28468 4294967295 134512640 134714508 3221221776 3221217740 1074873537 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30602 28468 1111 63 0 30539 0
vsize: 122408
[startup+910.038 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 14624
Raw data (stat): 14624 (bsolo_lpr_cuts) R 14623 7876 7672 0 -1 0 32849 0 0 0 90896 112 0 0 25 0 1 0 732269773 125345792 28494 4294967295 134512640 134714508 3221221776 3221217708 1074788959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30602 28494 1111 63 0 30539 0
vsize: 122408
[startup+920.038 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 14624
Raw data (stat): 14624 (bsolo_lpr_cuts) R 14623 7876 7672 0 -1 0 32931 0 0 0 91896 112 0 0 25 0 1 0 732269773 125947904 28574 4294967295 134512640 134714508 3221221776 3221217856 1075093371 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30749 28574 1111 63 0 30686 0
vsize: 122996
[startup+930.038 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 14624
Raw data (stat): 14624 (bsolo_lpr_cuts) R 14623 7876 7672 0 -1 0 32950 0 0 0 92896 112 0 0 25 0 1 0 732269773 125947904 28591 4294967295 134512640 134714508 3221221776 3221217840 1074969461 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30749 28591 1111 63 0 30686 0
vsize: 122996
[startup+940.038 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 14624
Raw data (stat): 14624 (bsolo_lpr_cuts) R 14623 7876 7672 0 -1 0 32958 0 0 0 93896 112 0 0 25 0 1 0 732269773 125947904 28599 4294967295 134512640 134714508 3221221776 3221217904 1074815309 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30749 28599 1111 63 0 30686 0
vsize: 122996
[startup+950.038 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 14624
Raw data (stat): 14624 (bsolo_lpr_cuts) R 14623 7876 7672 0 -1 0 32971 0 0 0 94896 112 0 0 25 0 1 0 732269773 125947904 28610 4294967295 134512640 134714508 3221221776 3221217840 1074969461 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30749 28610 1111 63 0 30686 0
vsize: 122996
[startup+960.038 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 14624
Raw data (stat): 14624 (bsolo_lpr_cuts) R 14623 7876 7672 0 -1 0 32996 0 0 0 95896 112 0 0 25 0 1 0 732269773 125947904 28633 4294967295 134512640 134714508 3221221776 3221217796 1075964248 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30749 28633 1111 63 0 30686 0
vsize: 122996
[startup+970.038 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 14624
Raw data (stat): 14624 (bsolo_lpr_cuts) R 14623 7876 7672 0 -1 0 32996 0 0 0 96896 112 0 0 25 0 1 0 732269773 125947904 28633 4294967295 134512640 134714508 3221221776 3221217840 1074969458 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30749 28633 1111 63 0 30686 0
vsize: 122996
[startup+980.039 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 14624
Raw data (stat): 14624 (bsolo_lpr_cuts) R 14623 7876 7672 0 -1 0 33006 0 0 0 97896 112 0 0 25 0 1 0 732269773 125947904 28641 4294967295 134512640 134714508 3221221776 3221217904 1074815309 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30749 28641 1111 63 0 30686 0
vsize: 122996
[startup+990.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 14624
Raw data (stat): 14624 (bsolo_lpr_cuts) R 14623 7876 7672 0 -1 0 33007 0 0 0 98897 112 0 0 25 0 1 0 732269773 125947904 28642 4294967295 134512640 134714508 3221221776 3221217936 1075115726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30749 28642 1111 63 0 30686 0
vsize: 122996
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 14624
Raw data (stat): 14624 (bsolo_lpr_cuts) R 14623 7876 7672 0 -1 0 33016 0 0 0 99897 112 0 0 25 0 1 0 732269773 125947904 28649 4294967295 134512640 134714508 3221221776 3221217840 1074969455 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30749 28649 1111 63 0 30686 0
vsize: 122996
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 14624
Raw data (stat): 14624 (bsolo_lpr_cuts) R 14623 7876 7672 0 -1 0 33035 0 0 0 100897 112 0 0 25 0 1 0 732269773 125947904 28666 4294967295 134512640 134714508 3221221776 3221217840 1074969463 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30749 28666 1111 63 0 30686 0
vsize: 122996
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 14624
Raw data (stat): 14624 (bsolo_lpr_cuts) R 14623 7876 7672 0 -1 0 33035 0 0 0 101897 112 0 0 25 0 1 0 732269773 125947904 28666 4294967295 134512640 134714508 3221221776 3221217840 1074969461 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30749 28666 1111 63 0 30686 0
vsize: 122996
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 14624
Raw data (stat): 14624 (bsolo_lpr_cuts) R 14623 7876 7672 0 -1 0 33046 0 0 0 102897 112 0 0 25 0 1 0 732269773 125947904 28675 4294967295 134512640 134714508 3221221776 3221218252 1075240388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30749 28675 1111 63 0 30686 0
vsize: 122996
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 14624
Raw data (stat): 14624 (bsolo_lpr_cuts) R 14623 7876 7672 0 -1 0 33057 0 0 0 103897 112 0 0 25 0 1 0 732269773 125947904 28684 4294967295 134512640 134714508 3221221776 3221217840 1074969461 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30749 28684 1111 63 0 30686 0
vsize: 122996
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 14624
Raw data (stat): 14624 (bsolo_lpr_cuts) R 14623 7876 7672 0 -1 0 33068 0 0 0 104897 113 0 0 25 0 1 0 732269773 125947904 28693 4294967295 134512640 134714508 3221221776 3221217924 1075115060 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30749 28693 1111 63 0 30686 0
vsize: 122996
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 14624
Raw data (stat): 14624 (bsolo_lpr_cuts) R 14623 7876 7672 0 -1 0 33072 0 0 0 105897 113 0 0 25 0 1 0 732269773 125947904 28697 4294967295 134512640 134714508 3221221776 3221217840 1074969455 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30749 28697 1111 63 0 30686 0
vsize: 122996
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 14624
Raw data (stat): 14624 (bsolo_lpr_cuts) R 14623 7876 7672 0 -1 0 33084 0 0 0 106897 113 0 0 25 0 1 0 732269773 125947904 28707 4294967295 134512640 134714508 3221221776 3221218020 1075964237 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30749 28707 1111 63 0 30686 0
vsize: 122996
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 14624
Raw data (stat): 14624 (bsolo_lpr_cuts) R 14623 7876 7672 0 -1 0 33166 0 0 0 107897 113 0 0 25 0 1 0 732269773 126586880 28787 4294967295 134512640 134714508 3221221776 3221218064 1075894558 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30905 28787 1111 63 0 30842 0
vsize: 123620
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 14624
Raw data (stat): 14624 (bsolo_lpr_cuts) R 14623 7876 7672 0 -1 0 33193 0 0 0 108897 113 0 0 25 0 1 0 732269773 126586880 28812 4294967295 134512640 134714508 3221221776 3221217636 1074786556 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30905 28812 1111 63 0 30842 0
vsize: 123620
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 14624
Raw data (stat): 14624 (bsolo_lpr_cuts) R 14623 7876 7672 0 -1 0 33196 0 0 0 109897 113 0 0 25 0 1 0 732269773 126586880 28813 4294967295 134512640 134714508 3221221776 3221217840 1074969455 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30905 28813 1111 63 0 30842 0
vsize: 123620
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 14624
Raw data (stat): 14624 (bsolo_lpr_cuts) R 14623 7876 7672 0 -1 0 33203 0 0 0 110898 113 0 0 25 0 1 0 732269773 126586880 28820 4294967295 134512640 134714508 3221221776 3221217904 1074815306 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30905 28820 1111 63 0 30842 0
vsize: 123620
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 14624
Raw data (stat): 14624 (bsolo_lpr_cuts) R 14623 7876 7672 0 -1 0 33216 0 0 0 111898 113 0 0 25 0 1 0 732269773 126586880 28831 4294967295 134512640 134714508 3221221776 3221218064 1075894487 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30905 28831 1111 63 0 30842 0
vsize: 123620
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 14624
Raw data (stat): 14624 (bsolo_lpr_cuts) R 14623 7876 7672 0 -1 0 33226 0 0 0 112898 114 0 0 25 0 1 0 732269773 126586880 28839 4294967295 134512640 134714508 3221221776 3221217580 1074788964 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30905 28839 1111 63 0 30842 0
vsize: 123620
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 14624
Raw data (stat): 14624 (bsolo_lpr_cuts) R 14623 7876 7672 0 -1 0 33231 0 0 0 113898 114 0 0 25 0 1 0 732269773 126586880 28840 4294967295 134512640 134714508 3221221776 3221217936 1075115715 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30905 28840 1111 63 0 30842 0
vsize: 123620
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 14624
Raw data (stat): 14624 (bsolo_lpr_cuts) R 14623 7876 7672 0 -1 0 33234 0 0 0 114898 114 0 0 25 0 1 0 732269773 126586880 28843 4294967295 134512640 134714508 3221221776 3221217840 1074969461 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30905 28843 1111 63 0 30842 0
vsize: 123620
[startup+1160.05 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 14624
Raw data (stat): 14624 (bsolo_lpr_cuts) R 14623 7876 7672 0 -1 0 33242 0 0 0 115898 114 0 0 25 0 1 0 732269773 126586880 28849 4294967295 134512640 134714508 3221221776 3221217708 1074788959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30905 28849 1111 63 0 30842 0
vsize: 123620
[startup+1170.05 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 14624
Raw data (stat): 14624 (bsolo_lpr_cuts) R 14623 7876 7672 0 -1 0 33249 0 0 0 116898 114 0 0 25 0 1 0 732269773 126586880 28854 4294967295 134512640 134714508 3221221776 3221217572 1074786507 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30905 28854 1111 63 0 30842 0
vsize: 123620
[startup+1180.05 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 14624
Raw data (stat): 14624 (bsolo_lpr_cuts) R 14623 7876 7672 0 -1 0 33251 0 0 0 117898 114 0 0 25 0 1 0 732269773 126586880 28854 4294967295 134512640 134714508 3221221776 3221217708 1074788953 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30905 28854 1111 63 0 30842 0
vsize: 123620
[startup+1190.05 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 14624
Raw data (stat): 14624 (bsolo_lpr_cuts) R 14623 7876 7672 0 -1 0 33253 0 0 0 118899 114 0 0 25 0 1 0 732269773 126586880 28854 4294967295 134512640 134714508 3221221776 3221218240 1075088573 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30905 28854 1111 63 0 30842 0
vsize: 123620
[startup+1200.05 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 14624
Raw data (stat): 14624 (bsolo_lpr_cuts) R 14623 7876 7672 0 -1 0 33258 0 0 0 119899 114 0 0 25 0 1 0 732269773 126902272 28859 4294967295 134512640 134714508 3221221776 3221218768 1074867308 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30982 28859 1111 63 0 30919 0
vsize: 123928
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.1 s]
Raw data (loadavg): 0.99 0.97 0.94 1/55 14624
Raw data (stat): 14624 (bsolo_lpr_cuts) Z 14623 7876 7672 0 -1 1036 33258 0 0 0 119899 119 0 0 25 0 1 0 732269773 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.19
CPU user time (s): 1198.99
CPU system time (s): 1.19982
CPU usage (%): 100.007
Max. virtual memory (Kb): 127456
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####