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-3.opb
MD5SUM	140696e76e8ed6af142b84a22a9a8f01
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-38
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.09
Number of variables	1150
Total number of constraints	81068
Number of constraints which are clauses	81068
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 24818

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-13 11:09:33 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=3017 boxname=wulflinc31 idbench=336 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  140696e76e8ed6af142b84a22a9a8f01  /oldhome/oroussel/tmp/wulflinc31/normalized-frb50-23-3.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-frb50-23-3.opb
IDLAUNCH: 3017
/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:        866328 kB
Buffers:         36608 kB
Cached:         110036 kB
SwapCached:       1936 kB
Active:         113388 kB
Inactive:        36452 kB
HighTotal:      131008 kB
HighFree:        20160 kB
LowTotal:       903652 kB
LowFree:        846168 kB
SwapTotal:     2097892 kB
SwapFree:      2095224 kB
Dirty:              28 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 11:29:35 (client local time) WITH STATUS 0 IN 1200.21 SECONDS
stats: 3017 7 1200.21 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 1150 variables and 81068 constraints.
c After prepocess the problem consists of 1150 variables and 54854 constraints.
c preprocess terminated 565.755 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.86 0.97 0.91 2/55 16935
Raw data (stat): 16935 (runsolver) R 16934 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 734695547 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.0004 s]
Raw data (loadavg): 0.88 0.97 0.91 2/55 16935
Raw data (stat): 16935 (bsolo_lpr_cuts) R 16934 7876 7672 0 -1 0 24588 0 0 0 931 64 0 0 25 0 1 0 734695547 103907328 24507 4294967295 134512640 134714508 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25368 24507 1111 63 0 25305 0
vsize: 101472
[startup+20.001 s]
Raw data (loadavg): 0.90 0.97 0.91 2/55 16935
Raw data (stat): 16935 (bsolo_lpr_cuts) R 16934 7876 7672 0 -1 0 27497 0 0 0 1926 70 0 0 25 0 1 0 734695547 113016832 26750 4294967295 134512640 134714508 3221221776 3221220100 1077374174 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27592 26750 1111 63 0 27529 0
vsize: 110368
[startup+30.0009 s]
Raw data (loadavg): 0.91 0.97 0.91 2/55 16935
Raw data (stat): 16935 (bsolo_lpr_cuts) R 16934 7876 7672 0 -1 0 27952 0 0 0 2925 71 0 0 25 0 1 0 734695547 114098176 27015 4294967295 134512640 134714508 3221221776 3221220272 134543759 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27856 27015 1111 63 0 27793 0
vsize: 111424
[startup+40.0023 s]
Raw data (loadavg): 0.93 0.97 0.91 2/55 16935
Raw data (stat): 16935 (bsolo_lpr_cuts) R 16934 7876 7672 0 -1 0 29812 0 0 0 3921 75 0 0 25 0 1 0 734695547 116998144 27730 4294967295 134512640 134714508 3221221776 3221220256 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28564 27730 1111 63 0 28501 0
vsize: 114256
[startup+50.0028 s]
Raw data (loadavg): 0.94 0.97 0.91 2/55 16935
Raw data (stat): 16935 (bsolo_lpr_cuts) R 16934 7876 7672 0 -1 0 30435 0 0 0 4920 75 0 0 25 0 1 0 734695547 117633024 27885 4294967295 134512640 134714508 3221221776 3221220040 1077377249 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28719 27885 1111 63 0 28656 0
vsize: 114876
[startup+60.0028 s]
Raw data (loadavg): 0.95 0.97 0.91 2/55 16935
Raw data (stat): 16935 (bsolo_lpr_cuts) R 16934 7876 7672 0 -1 0 30435 0 0 0 5920 75 0 0 25 0 1 0 734695547 117633024 27885 4294967295 134512640 134714508 3221221776 3221220304 134528595 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28719 27885 1111 63 0 28656 0
vsize: 114876
[startup+70.0037 s]
Raw data (loadavg): 0.95 0.97 0.91 2/55 16935
Raw data (stat): 16935 (bsolo_lpr_cuts) R 16934 7876 7672 0 -1 0 30435 0 0 0 6920 76 0 0 25 0 1 0 734695547 117633024 27885 4294967295 134512640 134714508 3221221776 3221220404 134594953 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28719 27885 1111 63 0 28656 0
vsize: 114876
[startup+80.0036 s]
Raw data (loadavg): 0.96 0.97 0.91 2/55 16935
Raw data (stat): 16935 (bsolo_lpr_cuts) R 16934 7876 7672 0 -1 0 30435 0 0 0 7920 76 0 0 25 0 1 0 734695547 117633024 27885 4294967295 134512640 134714508 3221221776 3221220296 134543589 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28719 27885 1111 63 0 28656 0
vsize: 114876
[startup+90.0046 s]
Raw data (loadavg): 0.97 0.97 0.91 2/55 16935
Raw data (stat): 16935 (bsolo_lpr_cuts) R 16934 7876 7672 0 -1 0 30435 0 0 0 8920 76 0 0 25 0 1 0 734695547 117633024 27885 4294967295 134512640 134714508 3221221776 3221220500 134618349 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28719 27885 1111 63 0 28656 0
vsize: 114876
[startup+100.005 s]
Raw data (loadavg): 0.97 0.97 0.91 2/55 16935
Raw data (stat): 16935 (bsolo_lpr_cuts) R 16934 7876 7672 0 -1 0 30435 0 0 0 9920 77 0 0 25 0 1 0 734695547 117633024 27885 4294967295 134512640 134714508 3221221776 3221220200 1077377790 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28719 27885 1111 63 0 28656 0
vsize: 114876
[startup+110.005 s]
Raw data (loadavg): 0.97 0.97 0.91 2/55 16935
Raw data (stat): 16935 (bsolo_lpr_cuts) R 16934 7876 7672 0 -1 0 30435 0 0 0 10920 77 0 0 25 0 1 0 734695547 117633024 27885 4294967295 134512640 134714508 3221221776 3221220392 134543796 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28719 27885 1111 63 0 28656 0
vsize: 114876
[startup+120.006 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 16935
Raw data (stat): 16935 (bsolo_lpr_cuts) R 16934 7876 7672 0 -1 0 30435 0 0 0 11920 77 0 0 25 0 1 0 734695547 117633024 27885 4294967295 134512640 134714508 3221221776 3221220416 134594947 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28719 27885 1111 63 0 28656 0
vsize: 114876
[startup+130.006 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 16935
Raw data (stat): 16935 (bsolo_lpr_cuts) R 16934 7876 7672 0 -1 0 30435 0 0 0 12919 78 0 0 25 0 1 0 734695547 117633024 27885 4294967295 134512640 134714508 3221221776 3221220256 134539376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28719 27885 1111 63 0 28656 0
vsize: 114876
[startup+140.007 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 16935
Raw data (stat): 16935 (bsolo_lpr_cuts) R 16934 7876 7672 0 -1 0 30435 0 0 0 13919 78 0 0 25 0 1 0 734695547 117633024 27885 4294967295 134512640 134714508 3221221776 3221220140 134539237 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28719 27885 1111 63 0 28656 0
vsize: 114876
[startup+150.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16935
Raw data (stat): 16935 (bsolo_lpr_cuts) R 16934 7876 7672 0 -1 0 30435 0 0 0 14919 79 0 0 25 0 1 0 734695547 117633024 27885 4294967295 134512640 134714508 3221221776 3221220392 134543804 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28719 27885 1111 63 0 28656 0
vsize: 114876
[startup+160.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16935
Raw data (stat): 16935 (bsolo_lpr_cuts) R 16934 7876 7672 0 -1 0 30435 0 0 0 15919 79 0 0 25 0 1 0 734695547 117633024 27885 4294967295 134512640 134714508 3221221776 3221220220 134536817 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28719 27885 1111 63 0 28656 0
vsize: 114876
[startup+170.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16935
Raw data (stat): 16935 (bsolo_lpr_cuts) R 16934 7876 7672 0 -1 0 30435 0 0 0 16918 80 0 0 25 0 1 0 734695547 117633024 27885 4294967295 134512640 134714508 3221221776 3221220160 134542359 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28719 27885 1111 63 0 28656 0
vsize: 114876
[startup+180.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16935
Raw data (stat): 16935 (bsolo_lpr_cuts) R 16934 7876 7672 0 -1 0 30435 0 0 0 17918 80 0 0 25 0 1 0 734695547 117633024 27885 4294967295 134512640 134714508 3221221776 3221220244 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28719 27885 1111 63 0 28656 0
vsize: 114876
[startup+190.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16935
Raw data (stat): 16935 (bsolo_lpr_cuts) R 16934 7876 7672 0 -1 0 30435 0 0 0 18918 81 0 0 25 0 1 0 734695547 117633024 27885 4294967295 134512640 134714508 3221221776 3221220416 134606498 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28719 27885 1111 63 0 28656 0
vsize: 114876
[startup+200.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16935
Raw data (stat): 16935 (bsolo_lpr_cuts) R 16934 7876 7672 0 -1 0 30435 0 0 0 19917 81 0 0 25 0 1 0 734695547 117633024 27885 4294967295 134512640 134714508 3221221776 3221220140 134539243 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28719 27885 1111 63 0 28656 0
vsize: 114876
[startup+210.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16935
Raw data (stat): 16935 (bsolo_lpr_cuts) R 16934 7876 7672 0 -1 0 30435 0 0 0 20917 82 0 0 25 0 1 0 734695547 117633024 27885 4294967295 134512640 134714508 3221221776 3221220416 134594970 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28719 27885 1111 63 0 28656 0
vsize: 114876
[startup+220.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16935
Raw data (stat): 16935 (bsolo_lpr_cuts) R 16934 7876 7672 0 -1 0 30435 0 0 0 21917 82 0 0 25 0 1 0 734695547 117633024 27885 4294967295 134512640 134714508 3221221776 3221220332 134543664 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28719 27885 1111 63 0 28656 0
vsize: 114876
[startup+230.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16935
Raw data (stat): 16935 (bsolo_lpr_cuts) R 16934 7876 7672 0 -1 0 30435 0 0 0 22917 82 0 0 25 0 1 0 734695547 117633024 27885 4294967295 134512640 134714508 3221221776 3221220140 134539235 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28719 27885 1111 63 0 28656 0
vsize: 114876
[startup+240.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16935
Raw data (stat): 16935 (bsolo_lpr_cuts) R 16934 7876 7672 0 -1 0 30435 0 0 0 23917 83 0 0 25 0 1 0 734695547 117633024 27885 4294967295 134512640 134714508 3221221776 3221220404 134594953 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28719 27885 1111 63 0 28656 0
vsize: 114876
[startup+250.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16935
Raw data (stat): 16935 (bsolo_lpr_cuts) R 16934 7876 7672 0 -1 0 30435 0 0 0 24917 83 0 0 25 0 1 0 734695547 117633024 27885 4294967295 134512640 134714508 3221221776 3221220352 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28719 27885 1111 63 0 28656 0
vsize: 114876
[startup+260.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16935
Raw data (stat): 16935 (bsolo_lpr_cuts) R 16934 7876 7672 0 -1 0 30435 0 0 0 25916 84 0 0 25 0 1 0 734695547 117633024 27885 4294967295 134512640 134714508 3221221776 3221220220 134542824 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28719 27885 1111 63 0 28656 0
vsize: 114876
[startup+270.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16935
Raw data (stat): 16935 (bsolo_lpr_cuts) R 16934 7876 7672 0 -1 0 30435 0 0 0 26916 84 0 0 25 0 1 0 734695547 117633024 27885 4294967295 134512640 134714508 3221221776 3221220192 134543684 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28719 27885 1111 63 0 28656 0
vsize: 114876
[startup+280.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16935
Raw data (stat): 16935 (bsolo_lpr_cuts) R 16934 7876 7672 0 -1 0 30435 0 0 0 27916 84 0 0 25 0 1 0 734695547 117633024 27885 4294967295 134512640 134714508 3221221776 3221220160 134542352 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28719 27885 1111 63 0 28656 0
vsize: 114876
[startup+290.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16935
Raw data (stat): 16935 (bsolo_lpr_cuts) R 16934 7876 7672 0 -1 0 30435 0 0 0 28915 85 0 0 25 0 1 0 734695547 117633024 27885 4294967295 134512640 134714508 3221221776 3221220256 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28719 27885 1111 63 0 28656 0
vsize: 114876
[startup+300.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16935
Raw data (stat): 16935 (bsolo_lpr_cuts) R 16934 7876 7672 0 -1 0 30435 0 0 0 29915 85 0 0 25 0 1 0 734695547 117633024 27885 4294967295 134512640 134714508 3221221776 3221220256 134539462 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28719 27885 1111 63 0 28656 0
vsize: 114876
[startup+310.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16935
Raw data (stat): 16935 (bsolo_lpr_cuts) R 16934 7876 7672 0 -1 0 30435 0 0 0 30915 86 0 0 25 0 1 0 734695547 117633024 27885 4294967295 134512640 134714508 3221221776 3221220192 134542731 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28719 27885 1111 63 0 28656 0
vsize: 114876
[startup+320.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16935
Raw data (stat): 16935 (bsolo_lpr_cuts) R 16934 7876 7672 0 -1 0 30435 0 0 0 31914 86 0 0 25 0 1 0 734695547 117633024 27885 4294967295 134512640 134714508 3221221776 3221220392 134536921 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28719 27885 1111 63 0 28656 0
vsize: 114876
[startup+330.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16935
Raw data (stat): 16935 (bsolo_lpr_cuts) R 16934 7876 7672 0 -1 0 30435 0 0 0 32914 87 0 0 25 0 1 0 734695547 117633024 27885 4294967295 134512640 134714508 3221221776 3221220140 134539254 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28719 27885 1111 63 0 28656 0
vsize: 114876
[startup+340.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16935
Raw data (stat): 16935 (bsolo_lpr_cuts) R 16934 7876 7672 0 -1 0 30435 0 0 0 33914 87 0 0 25 0 1 0 734695547 117633024 27885 4294967295 134512640 134714508 3221221776 3221220160 134542347 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28719 27885 1111 63 0 28656 0
vsize: 114876
[startup+350.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16935
Raw data (stat): 16935 (bsolo_lpr_cuts) R 16934 7876 7672 0 -1 0 30435 0 0 0 34914 87 0 0 25 0 1 0 734695547 117633024 27885 4294967295 134512640 134714508 3221221776 3221220160 134542352 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28719 27885 1111 63 0 28656 0
vsize: 114876
[startup+360.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16935
Raw data (stat): 16935 (bsolo_lpr_cuts) R 16934 7876 7672 0 -1 0 30435 0 0 0 35913 88 0 0 25 0 1 0 734695547 117633024 27885 4294967295 134512640 134714508 3221221776 3221220392 134543796 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28719 27885 1111 63 0 28656 0
vsize: 114876
[startup+370.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16935
Raw data (stat): 16935 (bsolo_lpr_cuts) R 16934 7876 7672 0 -1 0 30435 0 0 0 36913 88 0 0 25 0 1 0 734695547 117633024 27885 4294967295 134512640 134714508 3221221776 3221220256 134539374 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28719 27885 1111 63 0 28656 0
vsize: 114876
[startup+380.012 s]
Raw data (loadavg): 1.07 0.99 0.92 2/55 16935
Raw data (stat): 16935 (bsolo_lpr_cuts) R 16934 7876 7672 0 -1 0 30435 0 0 0 37913 88 0 0 25 0 1 0 734695547 117633024 27885 4294967295 134512640 134714508 3221221776 3221220192 134542717 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28719 27885 1111 63 0 28656 0
vsize: 114876
[startup+390.012 s]
Raw data (loadavg): 1.06 0.99 0.92 2/55 16935
Raw data (stat): 16935 (bsolo_lpr_cuts) R 16934 7876 7672 0 -1 0 30435 0 0 0 38913 88 0 0 25 0 1 0 734695547 117633024 27885 4294967295 134512640 134714508 3221221776 3221220140 134539237 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28719 27885 1111 63 0 28656 0
vsize: 114876
[startup+400.013 s]
Raw data (loadavg): 1.05 0.99 0.92 2/55 16935
Raw data (stat): 16935 (bsolo_lpr_cuts) R 16934 7876 7672 0 -1 0 30435 0 0 0 39913 88 0 0 25 0 1 0 734695547 117633024 27885 4294967295 134512640 134714508 3221221776 3221220160 134542347 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28719 27885 1111 63 0 28656 0
vsize: 114876
[startup+410.013 s]
Raw data (loadavg): 1.04 0.99 0.92 2/55 16935
Raw data (stat): 16935 (bsolo_lpr_cuts) R 16934 7876 7672 0 -1 0 30435 0 0 0 40913 88 0 0 25 0 1 0 734695547 117633024 27885 4294967295 134512640 134714508 3221221776 3221220140 134539298 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28719 27885 1111 63 0 28656 0
vsize: 114876
[startup+420.012 s]
Raw data (loadavg): 1.04 0.99 0.92 2/55 16935
Raw data (stat): 16935 (bsolo_lpr_cuts) R 16934 7876 7672 0 -1 0 30435 0 0 0 41913 88 0 0 25 0 1 0 734695547 117633024 27885 4294967295 134512640 134714508 3221221776 3221220172 134543588 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28719 27885 1111 63 0 28656 0
vsize: 114876
[startup+430.012 s]
Raw data (loadavg): 1.03 0.99 0.92 2/55 16935
Raw data (stat): 16935 (bsolo_lpr_cuts) R 16934 7876 7672 0 -1 0 30435 0 0 0 42914 88 0 0 25 0 1 0 734695547 117633024 27885 4294967295 134512640 134714508 3221221776 3221220140 134539298 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28719 27885 1111 63 0 28656 0
vsize: 114876
[startup+440.013 s]
Raw data (loadavg): 1.03 0.99 0.92 2/55 16935
Raw data (stat): 16935 (bsolo_lpr_cuts) R 16934 7876 7672 0 -1 0 30435 0 0 0 43914 89 0 0 25 0 1 0 734695547 117633024 27885 4294967295 134512640 134714508 3221221776 3221220160 134542347 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28719 27885 1111 63 0 28656 0
vsize: 114876
[startup+450.013 s]
Raw data (loadavg): 1.02 0.99 0.92 2/55 16935
Raw data (stat): 16935 (bsolo_lpr_cuts) R 16934 7876 7672 0 -1 0 30435 0 0 0 44914 89 0 0 25 0 1 0 734695547 117633024 27885 4294967295 134512640 134714508 3221221776 3221220160 134542300 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28719 27885 1111 63 0 28656 0
vsize: 114876
[startup+460.014 s]
Raw data (loadavg): 1.02 0.99 0.92 2/55 16935
Raw data (stat): 16935 (bsolo_lpr_cuts) R 16934 7876 7672 0 -1 0 30435 0 0 0 45914 89 0 0 25 0 1 0 734695547 117633024 27885 4294967295 134512640 134714508 3221221776 3221220416 134594947 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28719 27885 1111 63 0 28656 0
vsize: 114876
[startup+470.014 s]
Raw data (loadavg): 1.01 0.99 0.92 2/55 16935
Raw data (stat): 16935 (bsolo_lpr_cuts) R 16934 7876 7672 0 -1 0 30435 0 0 0 46914 89 0 0 25 0 1 0 734695547 117633024 27885 4294967295 134512640 134714508 3221221776 3221220184 134543600 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28719 27885 1111 63 0 28656 0
vsize: 114876
[startup+480.014 s]
Raw data (loadavg): 1.01 0.99 0.92 2/55 16935
Raw data (stat): 16935 (bsolo_lpr_cuts) R 16934 7876 7672 0 -1 0 30435 0 0 0 47914 89 0 0 25 0 1 0 734695547 117633024 27885 4294967295 134512640 134714508 3221221776 3221220448 134627252 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28719 27885 1111 63 0 28656 0
vsize: 114876
[startup+490.014 s]
Raw data (loadavg): 1.01 0.99 0.92 2/55 16935
Raw data (stat): 16935 (bsolo_lpr_cuts) R 16934 7876 7672 0 -1 0 30435 0 0 0 48914 89 0 0 25 0 1 0 734695547 117633024 27885 4294967295 134512640 134714508 3221221776 3221220440 134627195 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28719 27885 1111 63 0 28656 0
vsize: 114876
[startup+500.015 s]
Raw data (loadavg): 1.01 0.99 0.92 2/55 16935
Raw data (stat): 16935 (bsolo_lpr_cuts) R 16934 7876 7672 0 -1 0 30435 0 0 0 49915 89 0 0 25 0 1 0 734695547 117633024 27885 4294967295 134512640 134714508 3221221776 3221220440 134627195 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28719 27885 1111 63 0 28656 0
vsize: 114876
[startup+510.015 s]
Raw data (loadavg): 1.01 0.99 0.92 2/55 16935
Raw data (stat): 16935 (bsolo_lpr_cuts) R 16934 7876 7672 0 -1 0 30435 0 0 0 50915 89 0 0 25 0 1 0 734695547 117633024 27885 4294967295 134512640 134714508 3221221776 3221220436 134627197 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28719 27885 1111 63 0 28656 0
vsize: 114876
[startup+520.015 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 16935
Raw data (stat): 16935 (bsolo_lpr_cuts) R 16934 7876 7672 0 -1 0 30435 0 0 0 51915 89 0 0 25 0 1 0 734695547 117633024 27885 4294967295 134512640 134714508 3221221776 3221220424 134558492 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28719 27885 1111 63 0 28656 0
vsize: 114876
[startup+530.015 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 16935
Raw data (stat): 16935 (bsolo_lpr_cuts) R 16934 7876 7672 0 -1 0 30435 0 0 0 52915 89 0 0 25 0 1 0 734695547 117633024 27885 4294967295 134512640 134714508 3221221776 3221220448 134627187 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28719 27885 1111 63 0 28656 0
vsize: 114876
[startup+540.015 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 16935
Raw data (stat): 16935 (bsolo_lpr_cuts) R 16934 7876 7672 0 -1 0 30436 0 0 0 53915 89 0 0 25 0 1 0 734695547 117633024 27886 4294967295 134512640 134714508 3221221776 3221220552 134558617 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28719 27886 1111 63 0 28656 0
vsize: 114876
[startup+550.015 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 16935
Raw data (stat): 16935 (bsolo_lpr_cuts) R 16934 7876 7672 0 -1 0 30436 0 0 0 54915 89 0 0 25 0 1 0 734695547 117633024 27886 4294967295 134512640 134714508 3221221776 3221220656 134622252 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28719 27886 1111 63 0 28656 0
vsize: 114876
[startup+560.015 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 16935
Raw data (stat): 16935 (bsolo_lpr_cuts) R 16934 7876 7672 0 -1 0 30436 0 0 0 55915 89 0 0 25 0 1 0 734695547 117633024 27886 4294967295 134512640 134714508 3221221776 3221220632 134536900 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28719 27886 1111 63 0 28656 0
vsize: 114876
[startup+570.016 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 16935
Raw data (stat): 16935 (bsolo_lpr_cuts) R 16934 7876 7672 0 -1 0 30464 0 0 0 56915 89 0 0 25 0 1 0 734695547 118288384 27914 4294967295 134512640 134714508 3221221776 3221220048 1074153800 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28879 27914 1111 63 0 28816 0
vsize: 115516
[startup+580.016 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 16935
Raw data (stat): 16935 (bsolo_lpr_cuts) R 16934 7876 7672 0 -1 0 30468 0 0 0 57914 89 0 0 25 0 1 0 734695547 118288384 27918 4294967295 134512640 134714508 3221221776 3221220080 1074153773 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28879 27918 1111 63 0 28816 0
vsize: 115516
[startup+590.015 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 16935
Raw data (stat): 16935 (bsolo_lpr_cuts) R 16934 7876 7672 0 -1 0 30471 0 0 0 58915 89 0 0 25 0 1 0 734695547 118288384 27921 4294967295 134512640 134714508 3221221776 3221220048 1074153786 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28879 27921 1111 63 0 28816 0
vsize: 115516
[startup+600.015 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 16935
Raw data (stat): 16935 (bsolo_lpr_cuts) R 16934 7876 7672 0 -1 0 30472 0 0 0 59915 89 0 0 25 0 1 0 734695547 118288384 27922 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28879 27922 1111 63 0 28816 0
vsize: 115516
[startup+610.015 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 16935
Raw data (stat): 16935 (bsolo_lpr_cuts) R 16934 7876 7672 0 -1 0 30639 0 0 0 60914 90 0 0 25 0 1 0 734695547 118960128 28089 4294967295 134512640 134714508 3221221776 3221220048 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29043 28089 1111 63 0 28980 0
vsize: 116172
[startup+620.015 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 16935
Raw data (stat): 16935 (bsolo_lpr_cuts) R 16934 7876 7672 0 -1 0 30655 0 0 0 61914 91 0 0 25 0 1 0 734695547 119021568 28105 4294967295 134512640 134714508 3221221776 3221220048 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29058 28105 1111 63 0 28995 0
vsize: 116232
[startup+630.015 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 16935
Raw data (stat): 16935 (bsolo_lpr_cuts) R 16934 7876 7672 0 -1 0 30671 0 0 0 62913 91 0 0 25 0 1 0 734695547 119078912 28121 4294967295 134512640 134714508 3221221776 3221220032 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29072 28121 1111 63 0 29009 0
vsize: 116288
[startup+640.015 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 16935
Raw data (stat): 16935 (bsolo_lpr_cuts) R 16934 7876 7672 0 -1 0 30686 0 0 0 63912 92 0 0 25 0 1 0 734695547 119136256 28136 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29086 28136 1111 63 0 29023 0
vsize: 116344
[startup+650.016 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 16935
Raw data (stat): 16935 (bsolo_lpr_cuts) R 16934 7876 7672 0 -1 0 30700 0 0 0 64912 93 0 0 25 0 1 0 734695547 119189504 28150 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29099 28150 1111 63 0 29036 0
vsize: 116396
[startup+660.016 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 16935
Raw data (stat): 16935 (bsolo_lpr_cuts) R 16934 7876 7672 0 -1 0 30834 0 0 0 65911 94 0 0 25 0 1 0 734695547 119734272 28284 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29232 28284 1111 63 0 29169 0
vsize: 116928
[startup+670.016 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 16935
Raw data (stat): 16935 (bsolo_lpr_cuts) R 16934 7876 7672 0 -1 0 30853 0 0 0 66911 95 0 0 25 0 1 0 734695547 119808000 28303 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29250 28303 1111 63 0 29187 0
vsize: 117000
[startup+680.017 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 16935
Raw data (stat): 16935 (bsolo_lpr_cuts) R 16934 7876 7672 0 -1 0 30869 0 0 0 67910 96 0 0 25 0 1 0 734695547 119869440 28319 4294967295 134512640 134714508 3221221776 3221220080 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29265 28319 1111 63 0 29202 0
vsize: 117060
[startup+690.017 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 16935
Raw data (stat): 16935 (bsolo_lpr_cuts) R 16934 7876 7672 0 -1 0 30885 0 0 0 68909 97 0 0 25 0 1 0 734695547 119930880 28335 4294967295 134512640 134714508 3221221776 3221220080 1074153760 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29280 28335 1111 63 0 29217 0
vsize: 117120
[startup+700.017 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 16935
Raw data (stat): 16935 (bsolo_lpr_cuts) R 16934 7876 7672 0 -1 0 30899 0 0 0 69909 97 0 0 25 0 1 0 734695547 119984128 28349 4294967295 134512640 134714508 3221221776 3221220080 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29293 28349 1111 63 0 29230 0
vsize: 117172
[startup+710.018 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 16935
Raw data (stat): 16935 (bsolo_lpr_cuts) R 16934 7876 7672 0 -1 0 30914 0 0 0 70908 98 0 0 25 0 1 0 734695547 120041472 28364 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29307 28364 1111 63 0 29244 0
vsize: 117228
[startup+720.018 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 16935
Raw data (stat): 16935 (bsolo_lpr_cuts) R 16934 7876 7672 0 -1 0 30927 0 0 0 71908 98 0 0 25 0 1 0 734695547 120094720 28377 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29320 28377 1111 63 0 29257 0
vsize: 117280
[startup+730.018 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 16935
Raw data (stat): 16935 (bsolo_lpr_cuts) R 16934 7876 7672 0 -1 0 30942 0 0 0 72908 99 0 0 25 0 1 0 734695547 120152064 28392 4294967295 134512640 134714508 3221221776 3221220048 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29334 28392 1111 63 0 29271 0
vsize: 117336
[startup+740.018 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 16935
Raw data (stat): 16935 (bsolo_lpr_cuts) R 16934 7876 7672 0 -1 0 30956 0 0 0 73907 99 0 0 25 0 1 0 734695547 120205312 28406 4294967295 134512640 134714508 3221221776 3221220048 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29347 28406 1111 63 0 29284 0
vsize: 117388
[startup+750.018 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 16935
Raw data (stat): 16935 (bsolo_lpr_cuts) R 16934 7876 7672 0 -1 0 30971 0 0 0 74907 100 0 0 25 0 1 0 734695547 120262656 28421 4294967295 134512640 134714508 3221221776 3221220032 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29361 28421 1111 63 0 29298 0
vsize: 117444
[startup+760.019 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 16935
Raw data (stat): 16935 (bsolo_lpr_cuts) R 16934 7876 7672 0 -1 0 30983 0 0 0 75907 100 0 0 25 0 1 0 734695547 120311808 28433 4294967295 134512640 134714508 3221221776 3221220080 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29373 28433 1111 63 0 29310 0
vsize: 117492
[startup+770.019 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 16935
Raw data (stat): 16935 (bsolo_lpr_cuts) R 16934 7876 7672 0 -1 0 30996 0 0 0 76907 100 0 0 25 0 1 0 734695547 120360960 28446 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29385 28446 1111 63 0 29322 0
vsize: 117540
[startup+780.019 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 16935
Raw data (stat): 16935 (bsolo_lpr_cuts) R 16934 7876 7672 0 -1 0 31007 0 0 0 77906 101 0 0 25 0 1 0 734695547 120401920 28457 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29395 28457 1111 63 0 29332 0
vsize: 117580
[startup+790.019 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 16935
Raw data (stat): 16935 (bsolo_lpr_cuts) R 16934 7876 7672 0 -1 0 31019 0 0 0 78906 101 0 0 25 0 1 0 734695547 120451072 28469 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29407 28469 1111 63 0 29344 0
vsize: 117628
[startup+800.019 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 16935
Raw data (stat): 16935 (bsolo_lpr_cuts) R 16934 7876 7672 0 -1 0 31193 0 0 0 79906 102 0 0 25 0 1 0 734695547 121159680 28643 4294967295 134512640 134714508 3221221776 3221220048 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29580 28643 1111 63 0 29517 0
vsize: 118320
[startup+810.019 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 16935
Raw data (stat): 16935 (bsolo_lpr_cuts) R 16934 7876 7672 0 -1 0 31206 0 0 0 80906 102 0 0 25 0 1 0 734695547 121208832 28656 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29592 28656 1111 63 0 29529 0
vsize: 118368
[startup+820.02 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 16935
Raw data (stat): 16935 (bsolo_lpr_cuts) R 16934 7876 7672 0 -1 0 31219 0 0 0 81905 103 0 0 25 0 1 0 734695547 121262080 28669 4294967295 134512640 134714508 3221221776 3221220048 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29605 28669 1111 63 0 29542 0
vsize: 118420
[startup+830.02 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 16935
Raw data (stat): 16935 (bsolo_lpr_cuts) R 16934 7876 7672 0 -1 0 31232 0 0 0 82905 103 0 0 25 0 1 0 734695547 121311232 28682 4294967295 134512640 134714508 3221221776 3221220048 1074153783 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29617 28682 1111 63 0 29554 0
vsize: 118468
[startup+840.02 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 16935
Raw data (stat): 16935 (bsolo_lpr_cuts) R 16934 7876 7672 0 -1 0 31244 0 0 0 83905 103 0 0 25 0 1 0 734695547 121360384 28694 4294967295 134512640 134714508 3221221776 3221220032 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29629 28694 1111 63 0 29566 0
vsize: 118516
[startup+850.021 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 16935
Raw data (stat): 16935 (bsolo_lpr_cuts) R 16934 7876 7672 0 -1 0 31256 0 0 0 84905 103 0 0 25 0 1 0 734695547 121405440 28706 4294967295 134512640 134714508 3221221776 3221220048 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29640 28706 1111 63 0 29577 0
vsize: 118560
[startup+860.021 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 16935
Raw data (stat): 16935 (bsolo_lpr_cuts) R 16934 7876 7672 0 -1 0 31267 0 0 0 85905 104 0 0 25 0 1 0 734695547 121446400 28717 4294967295 134512640 134714508 3221221776 3221220048 1074153773 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29650 28717 1111 63 0 29587 0
vsize: 118600
[startup+870.021 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 16935
Raw data (stat): 16935 (bsolo_lpr_cuts) R 16934 7876 7672 0 -1 0 31276 0 0 0 86904 104 0 0 25 0 1 0 734695547 121483264 28726 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29659 28726 1111 63 0 29596 0
vsize: 118636
[startup+880.021 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 16935
Raw data (stat): 16935 (bsolo_lpr_cuts) R 16934 7876 7672 0 -1 0 31288 0 0 0 87904 105 0 0 25 0 1 0 734695547 121528320 28738 4294967295 134512640 134714508 3221221776 3221220048 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29670 28738 1111 63 0 29607 0
vsize: 118680
[startup+890.021 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 16935
Raw data (stat): 16935 (bsolo_lpr_cuts) R 16934 7876 7672 0 -1 0 31297 0 0 0 88904 106 0 0 25 0 1 0 734695547 121565184 28747 4294967295 134512640 134714508 3221221776 3221220048 1074153760 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29679 28747 1111 63 0 29616 0
vsize: 118716
[startup+900.02 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 16935
Raw data (stat): 16935 (bsolo_lpr_cuts) R 16934 7876 7672 0 -1 0 31307 0 0 0 89904 106 0 0 25 0 1 0 734695547 121602048 28757 4294967295 134512640 134714508 3221221776 3221220032 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29688 28757 1111 63 0 29625 0
vsize: 118752
[startup+910.02 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 16935
Raw data (stat): 16935 (bsolo_lpr_cuts) R 16934 7876 7672 0 -1 0 31346 0 0 0 90903 106 0 0 25 0 1 0 734695547 121761792 28796 4294967295 134512640 134714508 3221221776 3221220048 1074153760 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29727 28796 1111 63 0 29664 0
vsize: 118908
[startup+920.021 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 16935
Raw data (stat): 16935 (bsolo_lpr_cuts) R 16934 7876 7672 0 -1 0 31356 0 0 0 91903 107 0 0 25 0 1 0 734695547 121798656 28806 4294967295 134512640 134714508 3221221776 3221220048 1074153760 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29736 28806 1111 63 0 29673 0
vsize: 118944
[startup+930.021 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 16935
Raw data (stat): 16935 (bsolo_lpr_cuts) R 16934 7876 7672 0 -1 0 31365 0 0 0 92903 107 0 0 25 0 1 0 734695547 121835520 28815 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29745 28815 1111 63 0 29682 0
vsize: 118980
[startup+940.022 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 16935
Raw data (stat): 16935 (bsolo_lpr_cuts) R 16934 7876 7672 0 -1 0 31376 0 0 0 93903 107 0 0 25 0 1 0 734695547 121876480 28826 4294967295 134512640 134714508 3221221776 3221220032 1074153786 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29755 28826 1111 63 0 29692 0
vsize: 119020
[startup+950.022 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 16935
Raw data (stat): 16935 (bsolo_lpr_cuts) R 16934 7876 7672 0 -1 0 31385 0 0 0 94903 107 0 0 25 0 1 0 734695547 121913344 28835 4294967295 134512640 134714508 3221221776 3221220080 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29764 28835 1111 63 0 29701 0
vsize: 119056
[startup+960.022 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 16935
Raw data (stat): 16935 (bsolo_lpr_cuts) R 16934 7876 7672 0 -1 0 31394 0 0 0 95903 108 0 0 25 0 1 0 734695547 121946112 28844 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29772 28844 1111 63 0 29709 0
vsize: 119088
[startup+970.023 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 16935
Raw data (stat): 16935 (bsolo_lpr_cuts) R 16934 7876 7672 0 -1 0 31403 0 0 0 96903 108 0 0 25 0 1 0 734695547 121982976 28853 4294967295 134512640 134714508 3221221776 3221220048 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29781 28853 1111 63 0 29718 0
vsize: 119124
[startup+980.023 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 16935
Raw data (stat): 16935 (bsolo_lpr_cuts) R 16934 7876 7672 0 -1 0 31413 0 0 0 97903 108 0 0 25 0 1 0 734695547 122019840 28863 4294967295 134512640 134714508 3221221776 3221220048 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29790 28863 1111 63 0 29727 0
vsize: 119160
[startup+990.023 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 16935
Raw data (stat): 16935 (bsolo_lpr_cuts) R 16934 7876 7672 0 -1 0 31422 0 0 0 98902 109 0 0 25 0 1 0 734695547 122056704 28872 4294967295 134512640 134714508 3221221776 3221220000 1074153786 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29799 28872 1111 63 0 29736 0
vsize: 119196
[startup+1000.02 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 16935
Raw data (stat): 16935 (bsolo_lpr_cuts) R 16934 7876 7672 0 -1 0 31430 0 0 0 99902 109 0 0 25 0 1 0 734695547 122085376 28880 4294967295 134512640 134714508 3221221776 3221219992 1074138166 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29806 28880 1111 63 0 29743 0
vsize: 119224
[startup+1010.02 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 16935
Raw data (stat): 16935 (bsolo_lpr_cuts) R 16934 7876 7672 0 -1 0 31439 0 0 0 100902 109 0 0 25 0 1 0 734695547 122122240 28889 4294967295 134512640 134714508 3221221776 3221220048 1074153760 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29815 28889 1111 63 0 29752 0
vsize: 119260
[startup+1020.02 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 16935
Raw data (stat): 16935 (bsolo_lpr_cuts) R 16934 7876 7672 0 -1 0 31448 0 0 0 101901 110 0 0 25 0 1 0 734695547 122155008 28898 4294967295 134512640 134714508 3221221776 3221220048 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29823 28898 1111 63 0 29760 0
vsize: 119292
[startup+1030.02 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 16935
Raw data (stat): 16935 (bsolo_lpr_cuts) R 16934 7876 7672 0 -1 0 31455 0 0 0 102901 111 0 0 25 0 1 0 734695547 122183680 28905 4294967295 134512640 134714508 3221221776 3221220048 1074153760 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29830 28905 1111 63 0 29767 0
vsize: 119320
[startup+1040.02 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 16935
Raw data (stat): 16935 (bsolo_lpr_cuts) R 16934 7876 7672 0 -1 0 31464 0 0 0 103901 111 0 0 25 0 1 0 734695547 122216448 28914 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29838 28914 1111 63 0 29775 0
vsize: 119352
[startup+1050.02 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 16935
Raw data (stat): 16935 (bsolo_lpr_cuts) R 16934 7876 7672 0 -1 0 31473 0 0 0 104901 111 0 0 25 0 1 0 734695547 122253312 28923 4294967295 134512640 134714508 3221221776 3221220032 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29847 28923 1111 63 0 29784 0
vsize: 119388
[startup+1060.02 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 16935
Raw data (stat): 16935 (bsolo_lpr_cuts) R 16934 7876 7672 0 -1 0 31480 0 0 0 105901 112 0 0 25 0 1 0 734695547 122281984 28930 4294967295 134512640 134714508 3221221776 3221220080 1074153779 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29854 28930 1111 63 0 29791 0
vsize: 119416
[startup+1070.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 16935
Raw data (stat): 16935 (bsolo_lpr_cuts) R 16934 7876 7672 0 -1 0 31489 0 0 0 106900 112 0 0 25 0 1 0 734695547 122314752 28939 4294967295 134512640 134714508 3221221776 3221220048 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29862 28939 1111 63 0 29799 0
vsize: 119448
[startup+1080.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 16935
Raw data (stat): 16935 (bsolo_lpr_cuts) R 16934 7876 7672 0 -1 0 31536 0 0 0 107900 112 0 0 25 0 1 0 734695547 122507264 28986 4294967295 134512640 134714508 3221221776 3221220048 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29909 28986 1111 63 0 29846 0
vsize: 119636
[startup+1090.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 16935
Raw data (stat): 16935 (bsolo_lpr_cuts) R 16934 7876 7672 0 -1 0 31544 0 0 0 108900 113 0 0 25 0 1 0 734695547 122535936 28994 4294967295 134512640 134714508 3221221776 3221219984 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29916 28994 1111 63 0 29853 0
vsize: 119664
[startup+1100.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 16935
Raw data (stat): 16935 (bsolo_lpr_cuts) R 16934 7876 7672 0 -1 0 31553 0 0 0 109900 113 0 0 25 0 1 0 734695547 122572800 29003 4294967295 134512640 134714508 3221221776 3221220048 1074153760 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29925 29003 1111 63 0 29862 0
vsize: 119700
[startup+1110.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 16935
Raw data (stat): 16935 (bsolo_lpr_cuts) R 16934 7876 7672 0 -1 0 31562 0 0 0 110900 113 0 0 25 0 1 0 734695547 122605568 29012 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29933 29012 1111 63 0 29870 0
vsize: 119732
[startup+1120.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 16935
Raw data (stat): 16935 (bsolo_lpr_cuts) R 16934 7876 7672 0 -1 0 31569 0 0 0 111900 113 0 0 25 0 1 0 734695547 122634240 29019 4294967295 134512640 134714508 3221221776 3221220000 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29940 29019 1111 63 0 29877 0
vsize: 119760
[startup+1130.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 16935
Raw data (stat): 16935 (bsolo_lpr_cuts) R 16934 7876 7672 0 -1 0 31578 0 0 0 112900 114 0 0 25 0 1 0 734695547 122671104 29028 4294967295 134512640 134714508 3221221776 3221220032 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29949 29028 1111 63 0 29886 0
vsize: 119796
[startup+1140.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 16935
Raw data (stat): 16935 (bsolo_lpr_cuts) R 16934 7876 7672 0 -1 0 31587 0 0 0 113899 114 0 0 25 0 1 0 734695547 122703872 29037 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29957 29037 1111 63 0 29894 0
vsize: 119828
[startup+1150.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 16935
Raw data (stat): 16935 (bsolo_lpr_cuts) R 16934 7876 7672 0 -1 0 31596 0 0 0 114899 115 0 0 25 0 1 0 734695547 122740736 29046 4294967295 134512640 134714508 3221221776 3221220032 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29966 29046 1111 63 0 29903 0
vsize: 119864
[startup+1160.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 16935
Raw data (stat): 16935 (bsolo_lpr_cuts) R 16934 7876 7672 0 -1 0 31604 0 0 0 115899 115 0 0 25 0 1 0 734695547 122769408 29054 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29973 29054 1111 63 0 29910 0
vsize: 119892
[startup+1170.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 16935
Raw data (stat): 16935 (bsolo_lpr_cuts) R 16934 7876 7672 0 -1 0 31612 0 0 0 116899 115 0 0 25 0 1 0 734695547 122802176 29062 4294967295 134512640 134714508 3221221776 3221220032 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29981 29062 1111 63 0 29918 0
vsize: 119924
[startup+1180.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 16935
Raw data (stat): 16935 (bsolo_lpr_cuts) R 16934 7876 7672 0 -1 0 31619 0 0 0 117899 115 0 0 25 0 1 0 734695547 122830848 29069 4294967295 134512640 134714508 3221221776 3221220048 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29988 29069 1111 63 0 29925 0
vsize: 119952
[startup+1190.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 16935
Raw data (stat): 16935 (bsolo_lpr_cuts) R 16934 7876 7672 0 -1 0 31629 0 0 0 118899 116 0 0 25 0 1 0 734695547 122867712 29079 4294967295 134512640 134714508 3221221776 3221219984 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29997 29079 1111 63 0 29934 0
vsize: 119988
[startup+1200.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 16935
Raw data (stat): 16935 (bsolo_lpr_cuts) R 16934 7876 7672 0 -1 0 31637 0 0 0 119899 116 0 0 25 0 1 0 734695547 122900480 29087 4294967295 134512640 134714508 3221221776 3221220048 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30005 29087 1111 63 0 29942 0
vsize: 120020
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.09 s]
Raw data (loadavg): 1.00 0.99 0.92 1/55 16935
Raw data (stat): 16935 (bsolo_lpr_cuts) Z 16934 7876 7672 0 -1 1036 31637 0 0 0 119899 121 0 0 25 0 1 0 734695547 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.09
CPU time (s): 1200.21
CPU user time (s): 1199
CPU system time (s): 1.21781
CPU usage (%): 100.011
Max. virtual memory (Kb): 120020
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####