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-3.opb
MD5SUM	b3a3f977e810fc2043ea057a8d94a7d8
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-34
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	58245
Number of constraints which are clauses	58245
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 24793

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-13 02:44:16 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2972 boxname=wulflinc31 idbench=331 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  b3a3f977e810fc2043ea057a8d94a7d8  /oldhome/oroussel/tmp/wulflinc31/normalized-frb45-21-3.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-frb45-21-3.opb
IDLAUNCH: 2972
/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:        876364 kB
Buffers:         35852 kB
Cached:         100728 kB
SwapCached:       1936 kB
Active:         104424 kB
Inactive:        35364 kB
HighTotal:      131008 kB
HighFree:        29428 kB
LowTotal:       903652 kB
LowFree:        846936 kB
SwapTotal:     2097892 kB
SwapFree:      2095224 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5360 kB
Slab:            12816 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-13 03:04:18 (client local time) WITH STATUS 0 IN 1200.21 SECONDS
stats: 2972 7 1200.21 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 945 variables and 58245 constraints.
c After prepocess the problem consists of 945 variables and 38467 constraints.
c preprocess terminated 376.479 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.95 2/55 14032
Raw data (stat): 14032 (runsolver) R 14031 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 731663502 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.0008 s]
Raw data (loadavg): 0.88 0.94 0.95 2/55 14032
Raw data (stat): 14032 (bsolo_lpr_cuts) R 14031 7876 7672 0 -1 0 17665 0 0 0 946 49 0 0 25 0 1 0 731663502 75497472 17585 4294967295 134512640 134714508 3221221776 3221220416 134606456 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18432 17585 1111 63 0 18369 0
vsize: 73728
[startup+20.0012 s]
Raw data (loadavg): 0.89 0.94 0.95 2/55 14032
Raw data (stat): 14032 (bsolo_lpr_cuts) R 14031 7876 7672 0 -1 0 20138 0 0 0 1940 54 0 0 25 0 1 0 731663502 82321408 19265 4294967295 134512640 134714508 3221221776 3221220416 134606474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20098 19265 1111 63 0 20035 0
vsize: 80392
[startup+30.002 s]
Raw data (loadavg): 0.91 0.94 0.95 2/55 14032
Raw data (stat): 14032 (bsolo_lpr_cuts) R 14031 7876 7672 0 -1 0 20779 0 0 0 2940 55 0 0 25 0 1 0 731663502 83197952 19479 4294967295 134512640 134714508 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20312 19479 1111 63 0 20249 0
vsize: 81248
[startup+40.0025 s]
Raw data (loadavg): 0.92 0.94 0.95 2/55 14032
Raw data (stat): 14032 (bsolo_lpr_cuts) R 14031 7876 7672 0 -1 0 21232 0 0 0 3939 55 0 0 25 0 1 0 731663502 84840448 19880 4294967295 134512640 134714508 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20713 19880 1111 63 0 20650 0
vsize: 82852
[startup+50.0029 s]
Raw data (loadavg): 0.93 0.95 0.95 2/55 14032
Raw data (stat): 14032 (bsolo_lpr_cuts) R 14031 7876 7672 0 -1 0 21232 0 0 0 4939 55 0 0 25 0 1 0 731663502 84840448 19880 4294967295 134512640 134714508 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20713 19880 1111 63 0 20650 0
vsize: 82852
[startup+60.0028 s]
Raw data (loadavg): 0.94 0.95 0.95 2/55 14032
Raw data (stat): 14032 (bsolo_lpr_cuts) R 14031 7876 7672 0 -1 0 21232 0 0 0 5939 55 0 0 25 0 1 0 731663502 84840448 19880 4294967295 134512640 134714508 3221221776 3221220352 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20713 19880 1111 63 0 20650 0
vsize: 82852
[startup+70.0027 s]
Raw data (loadavg): 0.95 0.95 0.95 2/55 14032
Raw data (stat): 14032 (bsolo_lpr_cuts) R 14031 7876 7672 0 -1 0 21232 0 0 0 6940 55 0 0 25 0 1 0 731663502 84840448 19880 4294967295 134512640 134714508 3221221776 3221220256 134542347 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20713 19880 1111 63 0 20650 0
vsize: 82852
[startup+80.0037 s]
Raw data (loadavg): 0.96 0.95 0.95 2/55 14032
Raw data (stat): 14032 (bsolo_lpr_cuts) R 14031 7876 7672 0 -1 0 21232 0 0 0 7940 55 0 0 25 0 1 0 731663502 84840448 19880 4294967295 134512640 134714508 3221221776 3221220140 134539235 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20713 19880 1111 63 0 20650 0
vsize: 82852
[startup+90.0036 s]
Raw data (loadavg): 0.96 0.95 0.95 2/55 14032
Raw data (stat): 14032 (bsolo_lpr_cuts) R 14031 7876 7672 0 -1 0 21232 0 0 0 8940 55 0 0 25 0 1 0 731663502 84840448 19880 4294967295 134512640 134714508 3221221776 3221220244 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20713 19880 1111 63 0 20650 0
vsize: 82852
[startup+100.004 s]
Raw data (loadavg): 0.97 0.95 0.95 2/55 14032
Raw data (stat): 14032 (bsolo_lpr_cuts) R 14031 7876 7672 0 -1 0 21232 0 0 0 9940 55 0 0 25 0 1 0 731663502 84840448 19880 4294967295 134512640 134714508 3221221776 3221220392 134543804 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20713 19880 1111 63 0 20650 0
vsize: 82852
[startup+110.004 s]
Raw data (loadavg): 0.97 0.95 0.95 2/55 14032
Raw data (stat): 14032 (bsolo_lpr_cuts) R 14031 7876 7672 0 -1 0 21232 0 0 0 10940 55 0 0 25 0 1 0 731663502 84840448 19880 4294967295 134512640 134714508 3221221776 3221220140 134539237 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20713 19880 1111 63 0 20650 0
vsize: 82852
[startup+120.004 s]
Raw data (loadavg): 0.98 0.95 0.95 2/55 14032
Raw data (stat): 14032 (bsolo_lpr_cuts) R 14031 7876 7672 0 -1 0 21232 0 0 0 11940 55 0 0 25 0 1 0 731663502 84840448 19880 4294967295 134512640 134714508 3221221776 3221220140 134539237 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20713 19880 1111 63 0 20650 0
vsize: 82852
[startup+130.006 s]
Raw data (loadavg): 0.98 0.95 0.95 2/55 14032
Raw data (stat): 14032 (bsolo_lpr_cuts) R 14031 7876 7672 0 -1 0 21232 0 0 0 12941 56 0 0 25 0 1 0 731663502 84840448 19880 4294967295 134512640 134714508 3221221776 3221220280 134543614 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20713 19880 1111 63 0 20650 0
vsize: 82852
[startup+140.005 s]
Raw data (loadavg): 0.98 0.95 0.95 2/55 14032
Raw data (stat): 14032 (bsolo_lpr_cuts) R 14031 7876 7672 0 -1 0 21232 0 0 0 13941 56 0 0 25 0 1 0 731663502 84840448 19880 4294967295 134512640 134714508 3221221776 3221220140 134539237 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20713 19880 1111 63 0 20650 0
vsize: 82852
[startup+150.005 s]
Raw data (loadavg): 0.98 0.96 0.95 2/55 14032
Raw data (stat): 14032 (bsolo_lpr_cuts) R 14031 7876 7672 0 -1 0 21232 0 0 0 14941 56 0 0 25 0 1 0 731663502 84840448 19880 4294967295 134512640 134714508 3221221776 3221220256 134539462 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20713 19880 1111 63 0 20650 0
vsize: 82852
[startup+160.006 s]
Raw data (loadavg): 0.99 0.96 0.95 2/55 14032
Raw data (stat): 14032 (bsolo_lpr_cuts) R 14031 7876 7672 0 -1 0 21232 0 0 0 15941 56 0 0 25 0 1 0 731663502 84840448 19880 4294967295 134512640 134714508 3221221776 3221220416 134606456 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20713 19880 1111 63 0 20650 0
vsize: 82852
[startup+170.006 s]
Raw data (loadavg): 0.99 0.96 0.95 2/55 14032
Raw data (stat): 14032 (bsolo_lpr_cuts) R 14031 7876 7672 0 -1 0 21232 0 0 0 16941 56 0 0 25 0 1 0 731663502 84840448 19880 4294967295 134512640 134714508 3221221776 3221220304 134528650 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20713 19880 1111 63 0 20650 0
vsize: 82852
[startup+180.007 s]
Raw data (loadavg): 0.99 0.96 0.95 2/55 14032
Raw data (stat): 14032 (bsolo_lpr_cuts) R 14031 7876 7672 0 -1 0 21232 0 0 0 17941 56 0 0 25 0 1 0 731663502 84840448 19880 4294967295 134512640 134714508 3221221776 3221220140 134539235 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20713 19880 1111 63 0 20650 0
vsize: 82852
[startup+190.008 s]
Raw data (loadavg): 0.99 0.96 0.95 2/55 14032
Raw data (stat): 14032 (bsolo_lpr_cuts) R 14031 7876 7672 0 -1 0 21232 0 0 0 18941 56 0 0 25 0 1 0 731663502 84840448 19880 4294967295 134512640 134714508 3221221776 3221220404 134594953 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20713 19880 1111 63 0 20650 0
vsize: 82852
[startup+200.008 s]
Raw data (loadavg): 0.99 0.96 0.95 2/55 14032
Raw data (stat): 14032 (bsolo_lpr_cuts) R 14031 7876 7672 0 -1 0 21232 0 0 0 19941 56 0 0 25 0 1 0 731663502 84840448 19880 4294967295 134512640 134714508 3221221776 3221220256 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20713 19880 1111 63 0 20650 0
vsize: 82852
[startup+210.008 s]
Raw data (loadavg): 0.99 0.96 0.95 2/55 14032
Raw data (stat): 14032 (bsolo_lpr_cuts) R 14031 7876 7672 0 -1 0 21232 0 0 0 20941 56 0 0 25 0 1 0 731663502 84840448 19880 4294967295 134512640 134714508 3221221776 3221220244 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20713 19880 1111 63 0 20650 0
vsize: 82852
[startup+220.008 s]
Raw data (loadavg): 0.99 0.96 0.95 2/55 14032
Raw data (stat): 14032 (bsolo_lpr_cuts) R 14031 7876 7672 0 -1 0 21232 0 0 0 21941 57 0 0 25 0 1 0 731663502 84840448 19880 4294967295 134512640 134714508 3221221776 3221220160 134542303 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20713 19880 1111 63 0 20650 0
vsize: 82852
[startup+230.009 s]
Raw data (loadavg): 0.99 0.96 0.95 2/55 14032
Raw data (stat): 14032 (bsolo_lpr_cuts) R 14031 7876 7672 0 -1 0 21232 0 0 0 22942 57 0 0 25 0 1 0 731663502 84840448 19880 4294967295 134512640 134714508 3221221776 3221220140 134539237 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20713 19880 1111 63 0 20650 0
vsize: 82852
[startup+240.009 s]
Raw data (loadavg): 0.99 0.96 0.95 2/55 14032
Raw data (stat): 14032 (bsolo_lpr_cuts) R 14031 7876 7672 0 -1 0 21232 0 0 0 23942 57 0 0 25 0 1 0 731663502 84840448 19880 4294967295 134512640 134714508 3221221776 3221220176 134542694 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20713 19880 1111 63 0 20650 0
vsize: 82852
[startup+250.009 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 14032
Raw data (stat): 14032 (bsolo_lpr_cuts) R 14031 7876 7672 0 -1 0 21320 0 0 0 24942 57 0 0 25 0 1 0 731663502 84840448 19880 4294967295 134512640 134714508 3221221776 3221220184 134543589 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20713 19880 1111 63 0 20650 0
vsize: 82852
[startup+260.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 14032
Raw data (stat): 14032 (bsolo_lpr_cuts) R 14031 7876 7672 0 -1 0 21320 0 0 0 25942 57 0 0 25 0 1 0 731663502 84840448 19880 4294967295 134512640 134714508 3221221776 3221220392 134543796 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20713 19880 1111 63 0 20650 0
vsize: 82852
[startup+270.009 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 14032
Raw data (stat): 14032 (bsolo_lpr_cuts) R 14031 7876 7672 0 -1 0 21320 0 0 0 26942 57 0 0 25 0 1 0 731663502 84840448 19880 4294967295 134512640 134714508 3221221776 3221220392 134543804 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20713 19880 1111 63 0 20650 0
vsize: 82852
[startup+280.011 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 14032
Raw data (stat): 14032 (bsolo_lpr_cuts) R 14031 7876 7672 0 -1 0 21320 0 0 0 27942 57 0 0 25 0 1 0 731663502 84840448 19880 4294967295 134512640 134714508 3221221776 3221220160 134542347 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20713 19880 1111 63 0 20650 0
vsize: 82852
[startup+290.011 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 14032
Raw data (stat): 14032 (bsolo_lpr_cuts) R 14031 7876 7672 0 -1 0 21320 0 0 0 28942 57 0 0 25 0 1 0 731663502 84840448 19880 4294967295 134512640 134714508 3221221776 3221220416 134594947 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20713 19880 1111 63 0 20650 0
vsize: 82852
[startup+300.011 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 14032
Raw data (stat): 14032 (bsolo_lpr_cuts) R 14031 7876 7672 0 -1 0 21320 0 0 0 29943 57 0 0 25 0 1 0 731663502 84840448 19880 4294967295 134512640 134714508 3221221776 3221220448 134627250 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20713 19880 1111 63 0 20650 0
vsize: 82852
[startup+310.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 14032
Raw data (stat): 14032 (bsolo_lpr_cuts) R 14031 7876 7672 0 -1 0 21320 0 0 0 30943 57 0 0 25 0 1 0 731663502 84840448 19880 4294967295 134512640 134714508 3221221776 3221220448 134627250 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20713 19880 1111 63 0 20650 0
vsize: 82852
[startup+320.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 14032
Raw data (stat): 14032 (bsolo_lpr_cuts) R 14031 7876 7672 0 -1 0 21320 0 0 0 31943 57 0 0 25 0 1 0 731663502 84840448 19880 4294967295 134512640 134714508 3221221776 3221220448 134627187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20713 19880 1111 63 0 20650 0
vsize: 82852
[startup+330.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 14032
Raw data (stat): 14032 (bsolo_lpr_cuts) R 14031 7876 7672 0 -1 0 21320 0 0 0 32943 57 0 0 25 0 1 0 731663502 84840448 19880 4294967295 134512640 134714508 3221221776 3221220440 134627195 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20713 19880 1111 63 0 20650 0
vsize: 82852
[startup+340.014 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 14032
Raw data (stat): 14032 (bsolo_lpr_cuts) R 14031 7876 7672 0 -1 0 21320 0 0 0 33943 57 0 0 25 0 1 0 731663502 84840448 19880 4294967295 134512640 134714508 3221221776 3221220448 134627187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20713 19880 1111 63 0 20650 0
vsize: 82852
[startup+350.014 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 14032
Raw data (stat): 14032 (bsolo_lpr_cuts) R 14031 7876 7672 0 -1 0 21320 0 0 0 34943 57 0 0 25 0 1 0 731663502 84840448 19880 4294967295 134512640 134714508 3221221776 3221220440 134627195 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20713 19880 1111 63 0 20650 0
vsize: 82852
[startup+360.014 s]
Raw data (loadavg): 1.07 0.99 0.95 2/55 14032
Raw data (stat): 14032 (bsolo_lpr_cuts) R 14031 7876 7672 0 -1 0 21437 0 0 0 35943 57 0 0 25 0 1 0 731663502 85315584 19997 4294967295 134512640 134714508 3221221776 3221220656 134622252 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20829 19997 1111 63 0 20766 0
vsize: 83316
[startup+370.014 s]
Raw data (loadavg): 1.06 0.99 0.95 2/55 14032
Raw data (stat): 14032 (bsolo_lpr_cuts) R 14031 7876 7672 0 -1 0 21437 0 0 0 36943 57 0 0 25 0 1 0 731663502 85315584 19997 4294967295 134512640 134714508 3221221776 3221220576 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20829 19997 1111 63 0 20766 0
vsize: 83316
[startup+380.015 s]
Raw data (loadavg): 1.05 0.99 0.95 2/55 14032
Raw data (stat): 14032 (bsolo_lpr_cuts) R 14031 7876 7672 0 -1 0 21750 0 0 0 37942 59 0 0 25 0 1 0 731663502 87044096 20310 4294967295 134512640 134714508 3221221776 3221220032 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21251 20310 1111 63 0 21188 0
vsize: 85004
[startup+390.016 s]
Raw data (loadavg): 1.04 0.99 0.95 2/55 14032
Raw data (stat): 14032 (bsolo_lpr_cuts) R 14031 7876 7672 0 -1 0 21910 0 0 0 38939 61 0 0 25 0 1 0 731663502 87633920 20470 4294967295 134512640 134714508 3221221776 3221220048 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21395 20470 1111 63 0 21332 0
vsize: 85580
[startup+400.016 s]
Raw data (loadavg): 1.03 0.99 0.95 2/55 14032
Raw data (stat): 14032 (bsolo_lpr_cuts) R 14031 7876 7672 0 -1 0 21954 0 0 0 39938 63 0 0 25 0 1 0 731663502 87785472 20514 4294967295 134512640 134714508 3221221776 3221220048 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21432 20514 1111 63 0 21369 0
vsize: 85728
[startup+410.017 s]
Raw data (loadavg): 1.03 0.99 0.95 2/55 14032
Raw data (stat): 14032 (bsolo_lpr_cuts) R 14031 7876 7672 0 -1 0 21990 0 0 0 40937 64 0 0 25 0 1 0 731663502 87904256 20550 4294967295 134512640 134714508 3221221776 3221219680 1077814665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21461 20550 1111 63 0 21398 0
vsize: 85844
[startup+420.016 s]
Raw data (loadavg): 1.02 0.99 0.95 2/55 14032
Raw data (stat): 14032 (bsolo_lpr_cuts) R 14031 7876 7672 0 -1 0 22016 0 0 0 41936 65 0 0 25 0 1 0 731663502 88006656 20576 4294967295 134512640 134714508 3221221776 3221219696 1077814665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21486 20576 1111 63 0 21423 0
vsize: 85944
[startup+430.017 s]
Raw data (loadavg): 1.02 0.99 0.95 2/55 14032
Raw data (stat): 14032 (bsolo_lpr_cuts) R 14031 7876 7672 0 -1 0 22120 0 0 0 42936 66 0 0 25 0 1 0 731663502 88162304 20615 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21524 20615 1111 63 0 21461 0
vsize: 86096
[startup+440.017 s]
Raw data (loadavg): 1.02 0.99 0.95 2/55 14032
Raw data (stat): 14032 (bsolo_lpr_cuts) R 14031 7876 7672 0 -1 0 22145 0 0 0 43935 67 0 0 25 0 1 0 731663502 88256512 20640 4294967295 134512640 134714508 3221221776 3221220032 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21547 20640 1111 63 0 21484 0
vsize: 86188
[startup+450.017 s]
Raw data (loadavg): 1.17 1.02 0.96 2/55 14032
Raw data (stat): 14032 (bsolo_lpr_cuts) R 14031 7876 7672 0 -1 0 22166 0 0 0 44934 68 0 0 25 0 1 0 731663502 88338432 20661 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21567 20661 1111 63 0 21504 0
vsize: 86268
[startup+460.018 s]
Raw data (loadavg): 1.14 1.02 0.96 2/55 14032
Raw data (stat): 14032 (bsolo_lpr_cuts) R 14031 7876 7672 0 -1 0 22249 0 0 0 45933 70 0 0 25 0 1 0 731663502 88674304 20744 4294967295 134512640 134714508 3221221776 3221220080 1074153786 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21649 20744 1111 63 0 21586 0
vsize: 86596
[startup+470.017 s]
Raw data (loadavg): 1.12 1.02 0.96 2/55 14032
Raw data (stat): 14032 (bsolo_lpr_cuts) R 14031 7876 7672 0 -1 0 22270 0 0 0 46932 70 0 0 25 0 1 0 731663502 88756224 20765 4294967295 134512640 134714508 3221221776 3221220048 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21669 20765 1111 63 0 21606 0
vsize: 86676
[startup+480.018 s]
Raw data (loadavg): 1.10 1.02 0.96 2/55 14032
Raw data (stat): 14032 (bsolo_lpr_cuts) R 14031 7876 7672 0 -1 0 22290 0 0 0 47932 71 0 0 25 0 1 0 731663502 88834048 20785 4294967295 134512640 134714508 3221221776 3221220048 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21688 20785 1111 63 0 21625 0
vsize: 86752
[startup+490.019 s]
Raw data (loadavg): 1.08 1.02 0.96 2/55 14032
Raw data (stat): 14032 (bsolo_lpr_cuts) R 14031 7876 7672 0 -1 0 22391 0 0 0 48931 71 0 0 25 0 1 0 731663502 89243648 20886 4294967295 134512640 134714508 3221221776 3221220048 1074153786 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21788 20886 1111 63 0 21725 0
vsize: 87152
[startup+500.019 s]
Raw data (loadavg): 1.07 1.02 0.96 2/55 14032
Raw data (stat): 14032 (bsolo_lpr_cuts) R 14031 7876 7672 0 -1 0 22407 0 0 0 49931 72 0 0 25 0 1 0 731663502 89305088 20902 4294967295 134512640 134714508 3221221776 3221220000 1074153760 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21803 20902 1111 63 0 21740 0
vsize: 87212
[startup+510.019 s]
Raw data (loadavg): 1.06 1.01 0.96 2/55 14032
Raw data (stat): 14032 (bsolo_lpr_cuts) R 14031 7876 7672 0 -1 0 22423 0 0 0 50931 72 0 0 25 0 1 0 731663502 89366528 20918 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21818 20918 1111 63 0 21755 0
vsize: 87272
[startup+520.019 s]
Raw data (loadavg): 1.05 1.01 0.96 2/55 14032
Raw data (stat): 14032 (bsolo_lpr_cuts) R 14031 7876 7672 0 -1 0 22436 0 0 0 51930 73 0 0 25 0 1 0 731663502 89419776 20931 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21831 20931 1111 63 0 21768 0
vsize: 87324
[startup+530.02 s]
Raw data (loadavg): 1.04 1.01 0.96 2/55 14032
Raw data (stat): 14032 (bsolo_lpr_cuts) R 14031 7876 7672 0 -1 0 22452 0 0 0 52930 73 0 0 25 0 1 0 731663502 89481216 20947 4294967295 134512640 134714508 3221221776 3221220048 1074153675 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21846 20947 1111 63 0 21783 0
vsize: 87384
[startup+540.02 s]
Raw data (loadavg): 1.04 1.01 0.96 2/55 14032
Raw data (stat): 14032 (bsolo_lpr_cuts) R 14031 7876 7672 0 -1 0 22467 0 0 0 53930 73 0 0 25 0 1 0 731663502 89538560 20962 4294967295 134512640 134714508 3221221776 3221220032 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21860 20962 1111 63 0 21797 0
vsize: 87440
[startup+550.02 s]
Raw data (loadavg): 1.03 1.01 0.96 2/55 14032
Raw data (stat): 14032 (bsolo_lpr_cuts) R 14031 7876 7672 0 -1 0 22527 0 0 0 54930 74 0 0 25 0 1 0 731663502 89780224 21022 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21919 21022 1111 63 0 21856 0
vsize: 87676
[startup+560.021 s]
Raw data (loadavg): 1.02 1.01 0.96 2/55 14032
Raw data (stat): 14032 (bsolo_lpr_cuts) R 14031 7876 7672 0 -1 0 22539 0 0 0 55930 74 0 0 25 0 1 0 731663502 89829376 21034 4294967295 134512640 134714508 3221221776 3221220000 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21931 21034 1111 63 0 21868 0
vsize: 87724
[startup+570.02 s]
Raw data (loadavg): 1.02 1.01 0.96 2/55 14032
Raw data (stat): 14032 (bsolo_lpr_cuts) R 14031 7876 7672 0 -1 0 22552 0 0 0 56930 75 0 0 25 0 1 0 731663502 89878528 21047 4294967295 134512640 134714508 3221221776 3221220032 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21943 21047 1111 63 0 21880 0
vsize: 87772
[startup+580.022 s]
Raw data (loadavg): 1.02 1.01 0.96 2/55 14032
Raw data (stat): 14032 (bsolo_lpr_cuts) R 14031 7876 7672 0 -1 0 22566 0 0 0 57929 75 0 0 25 0 1 0 731663502 89931776 21061 4294967295 134512640 134714508 3221221776 3221220048 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21956 21061 1111 63 0 21893 0
vsize: 87824
[startup+590.022 s]
Raw data (loadavg): 1.01 1.01 0.96 2/55 14032
Raw data (stat): 14032 (bsolo_lpr_cuts) R 14031 7876 7672 0 -1 0 22578 0 0 0 58929 76 0 0 25 0 1 0 731663502 89980928 21073 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21968 21073 1111 63 0 21905 0
vsize: 87872
[startup+600.022 s]
Raw data (loadavg): 1.01 1.01 0.96 2/55 14032
Raw data (stat): 14032 (bsolo_lpr_cuts) R 14031 7876 7672 0 -1 0 22593 0 0 0 59928 77 0 0 25 0 1 0 731663502 90038272 21088 4294967295 134512640 134714508 3221221776 3221220032 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21982 21088 1111 63 0 21919 0
vsize: 87928
[startup+610.022 s]
Raw data (loadavg): 1.01 1.00 0.96 2/55 14032
Raw data (stat): 14032 (bsolo_lpr_cuts) R 14031 7876 7672 0 -1 0 22607 0 0 0 60928 77 0 0 25 0 1 0 731663502 90091520 21102 4294967295 134512640 134714508 3221221776 3221220048 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21995 21102 1111 63 0 21932 0
vsize: 87980
[startup+620.022 s]
Raw data (loadavg): 1.01 1.00 0.96 2/55 14032
Raw data (stat): 14032 (bsolo_lpr_cuts) R 14031 7876 7672 0 -1 0 22619 0 0 0 61928 78 0 0 25 0 1 0 731663502 90140672 21114 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22007 21114 1111 63 0 21944 0
vsize: 88028
[startup+630.023 s]
Raw data (loadavg): 1.01 1.00 0.96 2/55 14032
Raw data (stat): 14032 (bsolo_lpr_cuts) R 14031 7876 7672 0 -1 0 22763 0 0 0 62927 78 0 0 25 0 1 0 731663502 90284032 21150 4294967295 134512640 134714508 3221221776 3221220032 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22042 21150 1111 63 0 21979 0
vsize: 88168
[startup+640.023 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 14032
Raw data (stat): 14032 (bsolo_lpr_cuts) R 14031 7876 7672 0 -1 0 22776 0 0 0 63927 79 0 0 25 0 1 0 731663502 90333184 21163 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22054 21163 1111 63 0 21991 0
vsize: 88216
[startup+650.023 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 14032
Raw data (stat): 14032 (bsolo_lpr_cuts) R 14031 7876 7672 0 -1 0 22788 0 0 0 64927 79 0 0 25 0 1 0 731663502 90382336 21175 4294967295 134512640 134714508 3221221776 3221220048 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22066 21175 1111 63 0 22003 0
vsize: 88264
[startup+660.024 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 14032
Raw data (stat): 14032 (bsolo_lpr_cuts) R 14031 7876 7672 0 -1 0 22799 0 0 0 65927 79 0 0 25 0 1 0 731663502 90423296 21186 4294967295 134512640 134714508 3221221776 3221220000 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22076 21186 1111 63 0 22013 0
vsize: 88304
[startup+670.024 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 14032
Raw data (stat): 14032 (bsolo_lpr_cuts) R 14031 7876 7672 0 -1 0 22811 0 0 0 66926 80 0 0 25 0 1 0 731663502 90472448 21198 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22088 21198 1111 63 0 22025 0
vsize: 88352
[startup+680.025 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 14032
Raw data (stat): 14032 (bsolo_lpr_cuts) R 14031 7876 7672 0 -1 0 22824 0 0 0 67926 80 0 0 25 0 1 0 731663502 90521600 21211 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22100 21211 1111 63 0 22037 0
vsize: 88400
[startup+690.026 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 14032
Raw data (stat): 14032 (bsolo_lpr_cuts) R 14031 7876 7672 0 -1 0 22836 0 0 0 68926 81 0 0 25 0 1 0 731663502 90570752 21223 4294967295 134512640 134714508 3221221776 3221220000 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22112 21223 1111 63 0 22049 0
vsize: 88448
[startup+700.026 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 14032
Raw data (stat): 14032 (bsolo_lpr_cuts) R 14031 7876 7672 0 -1 0 22849 0 0 0 69926 81 0 0 25 0 1 0 731663502 90619904 21236 4294967295 134512640 134714508 3221221776 3221220032 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22124 21236 1111 63 0 22061 0
vsize: 88496
[startup+710.027 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 14032
Raw data (stat): 14032 (bsolo_lpr_cuts) R 14031 7876 7672 0 -1 0 22862 0 0 0 70926 81 0 0 25 0 1 0 731663502 90669056 21249 4294967295 134512640 134714508 3221221776 3221220048 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22136 21249 1111 63 0 22073 0
vsize: 88544
[startup+720.027 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 14032
Raw data (stat): 14032 (bsolo_lpr_cuts) R 14031 7876 7672 0 -1 0 22874 0 0 0 71925 82 0 0 25 0 1 0 731663502 90718208 21261 4294967295 134512640 134714508 3221221776 3221220000 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22148 21261 1111 63 0 22085 0
vsize: 88592
[startup+730.027 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 14032
Raw data (stat): 14032 (bsolo_lpr_cuts) R 14031 7876 7672 0 -1 0 30397 0 0 0 72910 98 0 0 25 0 1 0 731663502 119525376 25763 4294967295 134512640 134714508 3221221776 3221217900 1075563791 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29181 25763 1111 63 0 29118 0
vsize: 116724
[startup+740.027 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 14032
Raw data (stat): 14032 (bsolo_lpr_cuts) R 14031 7876 7672 0 -1 0 30846 0 0 0 73909 99 0 0 25 0 1 0 731663502 122646528 26212 4294967295 134512640 134714508 3221221776 3221218760 1077410205 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29943 26217 1111 63 0 29880 0
vsize: 119772
[startup+750.027 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 14032
Raw data (stat): 14032 (bsolo_lpr_cuts) R 14031 7876 7672 0 -1 0 31866 0 0 0 74907 101 0 0 25 0 1 0 731663502 122335232 27230 4294967295 134512640 134714508 3221221776 3221217840 1074969455 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29867 27230 1111 63 0 29804 0
vsize: 119468
[startup+760.029 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 14032
Raw data (stat): 14032 (bsolo_lpr_cuts) R 14031 7876 7672 0 -1 0 32096 0 0 0 75906 102 0 0 25 0 1 0 731663502 117579776 26200 4294967295 134512640 134714508 3221221776 3221218352 1075967892 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28706 26200 1111 63 0 28643 0
vsize: 114824
[startup+770.029 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 14032
Raw data (stat): 14032 (bsolo_lpr_cuts) R 14031 7876 7672 0 -1 0 32168 0 0 0 76904 103 0 0 25 0 1 0 731663502 117268480 26268 4294967295 134512640 134714508 3221221776 3221217688 1075964745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28630 26268 1111 63 0 28567 0
vsize: 114520
[startup+780.03 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 14032
Raw data (stat): 14032 (bsolo_lpr_cuts) R 14031 7876 7672 0 -1 0 32183 0 0 0 77904 103 0 0 25 0 1 0 731663502 117268480 26281 4294967295 134512640 134714508 3221221776 3221217796 1075964227 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28630 26281 1111 63 0 28567 0
vsize: 114520
[startup+790.031 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 14032
Raw data (stat): 14032 (bsolo_lpr_cuts) R 14031 7876 7672 0 -1 0 32189 0 0 0 78904 103 0 0 25 0 1 0 731663502 117268480 26287 4294967295 134512640 134714508 3221221776 3221217840 1074969458 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28630 26287 1111 63 0 28567 0
vsize: 114520
[startup+800.031 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 14032
Raw data (stat): 14032 (bsolo_lpr_cuts) R 14031 7876 7672 0 -1 0 32208 0 0 0 79904 103 0 0 25 0 1 0 731663502 117268480 26304 4294967295 134512640 134714508 3221221776 3221218064 1075894487 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28630 26304 1111 63 0 28567 0
vsize: 114520
[startup+810.031 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 14032
Raw data (stat): 14032 (bsolo_lpr_cuts) R 14031 7876 7672 0 -1 0 32228 0 0 0 80905 103 0 0 25 0 1 0 731663502 117268480 26322 4294967295 134512640 134714508 3221221776 3221217708 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28630 26322 1111 63 0 28567 0
vsize: 114520
[startup+820.031 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 14032
Raw data (stat): 14032 (bsolo_lpr_cuts) R 14031 7876 7672 0 -1 0 32236 0 0 0 81904 103 0 0 25 0 1 0 731663502 117268480 26328 4294967295 134512640 134714508 3221221776 3221218064 1075894487 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28630 26328 1111 63 0 28567 0
vsize: 114520
[startup+830.032 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 14032
Raw data (stat): 14032 (bsolo_lpr_cuts) R 14031 7876 7672 0 -1 0 32242 0 0 0 82905 103 0 0 25 0 1 0 731663502 117268480 26332 4294967295 134512640 134714508 3221221776 3221217708 1074788953 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28630 26332 1111 63 0 28567 0
vsize: 114520
[startup+840.032 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 14032
Raw data (stat): 14032 (bsolo_lpr_cuts) R 14031 7876 7672 0 -1 0 32280 0 0 0 83905 104 0 0 25 0 1 0 731663502 117579776 26370 4294967295 134512640 134714508 3221221776 3221218352 1075967858 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28706 26370 1111 63 0 28643 0
vsize: 114824
[startup+850.032 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 14032
Raw data (stat): 14032 (bsolo_lpr_cuts) R 14031 7876 7672 0 -1 0 32280 0 0 0 84905 104 0 0 25 0 1 0 731663502 117268480 26368 4294967295 134512640 134714508 3221221776 3221217580 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28630 26368 1111 63 0 28567 0
vsize: 114520
[startup+860.033 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 14032
Raw data (stat): 14032 (bsolo_lpr_cuts) R 14031 7876 7672 0 -1 0 32305 0 0 0 85905 104 0 0 25 0 1 0 731663502 117268480 26391 4294967295 134512640 134714508 3221221776 3221217708 1074788964 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28630 26391 1111 63 0 28567 0
vsize: 114520
[startup+870.033 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 14032
Raw data (stat): 14032 (bsolo_lpr_cuts) R 14031 7876 7672 0 -1 0 32319 0 0 0 86905 104 0 0 25 0 1 0 731663502 117268480 26403 4294967295 134512640 134714508 3221221776 3221217656 1075964733 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28630 26403 1111 63 0 28567 0
vsize: 114520
[startup+880.034 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 14032
Raw data (stat): 14032 (bsolo_lpr_cuts) R 14031 7876 7672 0 -1 0 32321 0 0 0 87905 104 0 0 25 0 1 0 731663502 117268480 26405 4294967295 134512640 134714508 3221221776 3221217840 1074969458 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28630 26405 1111 63 0 28567 0
vsize: 114520
[startup+890.033 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 14032
Raw data (stat): 14032 (bsolo_lpr_cuts) R 14031 7876 7672 0 -1 0 32333 0 0 0 88905 104 0 0 25 0 1 0 731663502 117268480 26415 4294967295 134512640 134714508 3221221776 3221217580 1074788953 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28630 26415 1111 63 0 28567 0
vsize: 114520
[startup+900.033 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 14032
Raw data (stat): 14032 (bsolo_lpr_cuts) R 14031 7876 7672 0 -1 0 32361 0 0 0 89905 104 0 0 25 0 1 0 731663502 117268480 26441 4294967295 134512640 134714508 3221221776 3221217840 1074969463 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28630 26441 1111 63 0 28567 0
vsize: 114520
[startup+910.033 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 14032
Raw data (stat): 14032 (bsolo_lpr_cuts) R 14031 7876 7672 0 -1 0 32361 0 0 0 90905 104 0 0 25 0 1 0 731663502 117268480 26441 4294967295 134512640 134714508 3221221776 3221217604 1074786507 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28630 26441 1111 63 0 28567 0
vsize: 114520
[startup+920.033 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 14032
Raw data (stat): 14032 (bsolo_lpr_cuts) R 14031 7876 7672 0 -1 0 32378 0 0 0 91905 104 0 0 25 0 1 0 731663502 117268480 26456 4294967295 134512640 134714508 3221221776 3221217708 1074788964 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28630 26456 1111 63 0 28567 0
vsize: 114520
[startup+930.034 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 14032
Raw data (stat): 14032 (bsolo_lpr_cuts) R 14031 7876 7672 0 -1 0 32382 0 0 0 92906 104 0 0 25 0 1 0 731663502 117268480 26458 4294967295 134512640 134714508 3221221776 3221217924 1075115049 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28630 26458 1111 63 0 28567 0
vsize: 114520
[startup+940.034 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 14032
Raw data (stat): 14032 (bsolo_lpr_cuts) R 14031 7876 7672 0 -1 0 32384 0 0 0 93906 104 0 0 25 0 1 0 731663502 117268480 26458 4294967295 134512640 134714508 3221221776 3221217968 1074961132 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28630 26458 1111 63 0 28567 0
vsize: 114520
[startup+950.034 s]
Raw data (loadavg): 1.00 1.00 0.96 2/58 14067
Raw data (stat): 14032 (bsolo_lpr_cuts) R 14031 7876 7672 0 -1 0 32387 0 0 0 94906 104 0 0 25 0 1 0 731663502 117268480 26461 4294967295 134512640 134714508 3221221776 3221217840 1074969461 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28630 26461 1111 63 0 28567 0
vsize: 114520
[startup+960.034 s]
Raw data (loadavg): 1.07 1.02 0.97 2/55 14085
Raw data (stat): 14032 (bsolo_lpr_cuts) R 14031 7876 7672 0 -1 0 32403 0 0 0 95905 105 0 0 25 0 1 0 731663502 117268480 26475 4294967295 134512640 134714508 3221221776 3221217580 1074788953 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28630 26475 1111 63 0 28567 0
vsize: 114520
[startup+970.034 s]
Raw data (loadavg): 1.06 1.02 0.97 2/55 14085
Raw data (stat): 14032 (bsolo_lpr_cuts) R 14031 7876 7672 0 -1 0 32424 0 0 0 96905 106 0 0 25 0 1 0 731663502 117268480 26494 4294967295 134512640 134714508 3221221776 3221217856 1074883513 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28630 26494 1111 63 0 28567 0
vsize: 114520
[startup+980.035 s]
Raw data (loadavg): 1.05 1.01 0.97 2/55 14085
Raw data (stat): 14032 (bsolo_lpr_cuts) R 14031 7876 7672 0 -1 0 32427 0 0 0 97905 106 0 0 25 0 1 0 731663502 117268480 26495 4294967295 134512640 134714508 3221221776 3221217708 1074788953 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28630 26495 1111 63 0 28567 0
vsize: 114520
[startup+990.036 s]
Raw data (loadavg): 1.04 1.01 0.97 2/55 14085
Raw data (stat): 14032 (bsolo_lpr_cuts) R 14031 7876 7672 0 -1 0 32429 0 0 0 98904 107 0 0 25 0 1 0 731663502 117268480 26495 4294967295 134512640 134714508 3221221776 3221217840 1074969458 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28630 26495 1111 63 0 28567 0
vsize: 114520
[startup+1000.04 s]
Raw data (loadavg): 1.04 1.01 0.97 2/55 14085
Raw data (stat): 14032 (bsolo_lpr_cuts) R 14031 7876 7672 0 -1 0 32433 0 0 0 99904 107 0 0 25 0 1 0 731663502 117268480 26499 4294967295 134512640 134714508 3221221776 3221217936 1075115709 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28630 26499 1111 63 0 28567 0
vsize: 114520
[startup+1010.04 s]
Raw data (loadavg): 1.03 1.01 0.97 2/55 14085
Raw data (stat): 14032 (bsolo_lpr_cuts) R 14031 7876 7672 0 -1 0 32504 0 0 0 100903 108 0 0 25 0 1 0 731663502 117858304 26568 4294967295 134512640 134714508 3221221776 3221217708 1074788953 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28774 26568 1111 63 0 28711 0
vsize: 115096
[startup+1020.04 s]
Raw data (loadavg): 1.02 1.01 0.97 2/55 14085
Raw data (stat): 14032 (bsolo_lpr_cuts) R 14031 7876 7672 0 -1 0 32521 0 0 0 101903 108 0 0 25 0 1 0 731663502 117858304 26583 4294967295 134512640 134714508 3221221776 3221217708 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28774 26583 1111 63 0 28711 0
vsize: 115096
[startup+1030.04 s]
Raw data (loadavg): 1.02 1.01 0.97 2/55 14087
Raw data (stat): 14032 (bsolo_lpr_cuts) R 14031 7876 7672 0 -1 0 32523 0 0 0 102903 109 0 0 25 0 1 0 731663502 117858304 26583 4294967295 134512640 134714508 3221221776 3221217936 1075115747 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28774 26583 1111 63 0 28711 0
vsize: 115096
[startup+1040.04 s]
Raw data (loadavg): 1.02 1.01 0.97 2/55 14087
Raw data (stat): 14032 (bsolo_lpr_cuts) R 14031 7876 7672 0 -1 0 32538 0 0 0 103903 109 0 0 25 0 1 0 731663502 117858304 26596 4294967295 134512640 134714508 3221221776 3221217840 1074969461 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28774 26596 1111 63 0 28711 0
vsize: 115096
[startup+1050.04 s]
Raw data (loadavg): 1.01 1.01 0.97 2/55 14087
Raw data (stat): 14032 (bsolo_lpr_cuts) R 14031 7876 7672 0 -1 0 32660 0 0 0 104902 110 0 0 25 0 1 0 731663502 118480896 26716 4294967295 134512640 134714508 3221221776 3221217824 1075112103 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28926 26716 1111 63 0 28863 0
vsize: 115704
[startup+1060.04 s]
Raw data (loadavg): 1.01 1.01 0.97 2/55 14087
Raw data (stat): 14032 (bsolo_lpr_cuts) R 14031 7876 7672 0 -1 0 32697 0 0 0 105902 110 0 0 25 0 1 0 731663502 118480896 26753 4294967295 134512640 134714508 3221221776 3221217904 1074815253 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28926 26753 1111 63 0 28863 0
vsize: 115704
[startup+1070.04 s]
Raw data (loadavg): 1.01 1.01 0.97 2/55 14087
Raw data (stat): 14032 (bsolo_lpr_cuts) R 14031 7876 7672 0 -1 0 32707 0 0 0 106902 111 0 0 25 0 1 0 731663502 118480896 26761 4294967295 134512640 134714508 3221221776 3221217856 1075094874 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28926 26761 1111 63 0 28863 0
vsize: 115704
[startup+1080.04 s]
Raw data (loadavg): 1.01 1.00 0.97 2/55 14087
Raw data (stat): 14032 (bsolo_lpr_cuts) R 14031 7876 7672 0 -1 0 32716 0 0 0 107901 111 0 0 25 0 1 0 731663502 118480896 26766 4294967295 134512640 134714508 3221221776 3221218528 1075115375 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28926 26766 1111 63 0 28863 0
vsize: 115704
[startup+1090.04 s]
Raw data (loadavg): 1.01 1.00 0.97 2/55 14087
Raw data (stat): 14032 (bsolo_lpr_cuts) R 14031 7876 7672 0 -1 0 32718 0 0 0 108901 112 0 0 25 0 1 0 731663502 118480896 26768 4294967295 134512640 134714508 3221221776 3221217580 1074788950 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28926 26768 1111 63 0 28863 0
vsize: 115704
[startup+1100.04 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 14087
Raw data (stat): 14032 (bsolo_lpr_cuts) R 14031 7876 7672 0 -1 0 32729 0 0 0 109900 113 0 0 25 0 1 0 731663502 118480896 26777 4294967295 134512640 134714508 3221221776 3221218240 1075088573 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28926 26777 1111 63 0 28863 0
vsize: 115704
[startup+1110.04 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 14087
Raw data (stat): 14032 (bsolo_lpr_cuts) R 14031 7876 7672 0 -1 0 32737 0 0 0 110900 113 0 0 25 0 1 0 731663502 118480896 26783 4294967295 134512640 134714508 3221221776 3221217580 1074788953 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28926 26783 1111 63 0 28863 0
vsize: 115704
[startup+1120.04 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 14087
Raw data (stat): 14032 (bsolo_lpr_cuts) R 14031 7876 7672 0 -1 0 32742 0 0 0 111900 113 0 0 25 0 1 0 731663502 118480896 26786 4294967295 134512640 134714508 3221221776 3221217924 1075115049 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28926 26786 1111 63 0 28863 0
vsize: 115704
[startup+1130.04 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 14087
Raw data (stat): 14032 (bsolo_lpr_cuts) R 14031 7876 7672 0 -1 0 32756 0 0 0 112900 114 0 0 25 0 1 0 731663502 118480896 26798 4294967295 134512640 134714508 3221221776 3221217708 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28926 26798 1111 63 0 28863 0
vsize: 115704
[startup+1140.04 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 14087
Raw data (stat): 14032 (bsolo_lpr_cuts) R 14031 7876 7672 0 -1 0 32762 0 0 0 113899 115 0 0 25 0 1 0 731663502 118480896 26804 4294967295 134512640 134714508 3221221776 3221217840 1074969461 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28926 26804 1111 63 0 28863 0
vsize: 115704
[startup+1150.05 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 14087
Raw data (stat): 14032 (bsolo_lpr_cuts) R 14031 7876 7672 0 -1 0 32773 0 0 0 114899 115 0 0 25 0 1 0 731663502 118480896 26813 4294967295 134512640 134714508 3221221776 3221217840 1074969467 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28926 26813 1111 63 0 28863 0
vsize: 115704
[startup+1160.05 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 14087
Raw data (stat): 14032 (bsolo_lpr_cuts) R 14031 7876 7672 0 -1 0 32777 0 0 0 115899 116 0 0 25 0 1 0 731663502 118480896 26813 4294967295 134512640 134714508 3221221776 3221217708 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28926 26813 1111 63 0 28863 0
vsize: 115704
[startup+1170.05 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 14087
Raw data (stat): 14032 (bsolo_lpr_cuts) R 14031 7876 7672 0 -1 0 32779 0 0 0 116898 116 0 0 25 0 1 0 731663502 118480896 26813 4294967295 134512640 134714508 3221221776 3221218064 1075894487 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28926 26813 1111 63 0 28863 0
vsize: 115704
[startup+1180.05 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 14087
Raw data (stat): 14032 (bsolo_lpr_cuts) R 14031 7876 7672 0 -1 0 32779 0 0 0 117898 117 0 0 25 0 1 0 731663502 118480896 26813 4294967295 134512640 134714508 3221221776 3221217628 1074788177 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28926 26813 1111 63 0 28863 0
vsize: 115704
[startup+1190.05 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 14087
Raw data (stat): 14032 (bsolo_lpr_cuts) R 14031 7876 7672 0 -1 0 32786 0 0 0 118898 117 0 0 25 0 1 0 731663502 118480896 26818 4294967295 134512640 134714508 3221221776 3221217840 1074969680 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28926 26818 1111 63 0 28863 0
vsize: 115704
[startup+1200.05 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 14087
Raw data (stat): 14032 (bsolo_lpr_cuts) R 14031 7876 7672 0 -1 0 32790 0 0 0 119898 117 0 0 25 0 1 0 731663502 118480896 26818 4294967295 134512640 134714508 3221221776 3221217708 1074788950 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28926 26818 1111 63 0 28863 0
vsize: 115704
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.1 s]
Raw data (loadavg): 1.00 1.00 0.97 1/55 14087
Raw data (stat): 14032 (bsolo_lpr_cuts) Z 14031 7876 7672 0 -1 1036 32790 0 0 0 119898 122 0 0 25 0 1 0 731663502 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.21
CPU user time (s): 1198.98
CPU system time (s): 1.22981
CPU usage (%): 100.009
Max. virtual memory (Kb): 119772
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####