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/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran10x12.opb
MD5SUM	ddd1f838c1e3a248aad1987162b1d40d
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	656964
Optimality of the best value was proved	NO
Number of terms in the objective function	2520
Biggest coefficient in the objective function	5242880
Number of bits for the biggest coefficient in the objective function	23
Sum of the numbers in the objective function	666682247
Number of bits of the sum of numbers in the objective function	30
Biggest number in a constraint	5242880
Number of bits of the biggest number in a constraint	23
Biggest sum of numbers in a constraint	666682247
Number of bits of the biggest sum of numbers	30
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.04
Number of variables	2520
Total number of constraints	142
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	142
Minimum length of a constraint	21
Maximum length of a constraint	240
Trace number 25556

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-20 14:20:29 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=19229 boxname=wulflinc31 idbench=1480 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  ddd1f838c1e3a248aad1987162b1d40d  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-ran10x12.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-ran10x12.opb
IDLAUNCH: 19229
/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:        701840 kB
Buffers:         28904 kB
Cached:         283476 kB
SwapCached:       1168 kB
Active:         197852 kB
Inactive:       116944 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        701588 kB
SwapTotal:     2097892 kB
SwapFree:      2095980 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5352 kB
Slab:            12504 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-20 14:40:05 (client local time) WITH STATUS 0 IN 1175.06 SECONDS
stats: 19229 7 1175.06 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 2520 variables and 164 constraints.
c After prepocess the problem consists of 1326 variables and 233 constraints.
c preprocess terminated 2.384 s
c Initial Lower Bound: 310558
c Lower Bound Elapsed time: 0.2678
c Use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.04 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.92 0.98 0.99 2/55 32548
Raw data (stat): 32548 (runsolver) R 32547 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 796328259 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.0002 s]
Raw data (loadavg): 0.93 0.98 0.99 2/55 32548
Raw data (stat): 32548 (bsolo_lpr_cuts) R 32547 7876 7672 0 -1 0 7618 0 0 0 976 17 0 0 25 0 1 0 796328259 21098496 4422 4294967295 134512640 134714508 3221221776 3221219736 1074138316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5151 4422 1111 63 0 5088 0
vsize: 20604
[startup+20.0003 s]
Raw data (loadavg): 0.94 0.98 0.99 2/55 32548
Raw data (stat): 32548 (bsolo_lpr_cuts) R 32547 7876 7672 0 -1 0 10509 0 0 0 1969 24 0 0 25 0 1 0 796328259 20996096 4415 4294967295 134512640 134714508 3221221776 3221219520 1075645384 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5126 4415 1111 63 0 5063 0
vsize: 20504
[startup+30.0009 s]
Raw data (loadavg): 0.95 0.98 0.99 2/55 32548
Raw data (stat): 32548 (bsolo_lpr_cuts) R 32547 7876 7672 0 -1 0 13331 0 0 0 2962 31 0 0 25 0 1 0 796328259 21282816 4457 4294967295 134512640 134714508 3221221776 3221217848 1074950192 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5196 4457 1111 63 0 5133 0
vsize: 20784
[startup+40.0012 s]
Raw data (loadavg): 0.96 0.98 0.99 2/55 32548
Raw data (stat): 32548 (bsolo_lpr_cuts) R 32547 7876 7672 0 -1 0 16237 0 0 0 3955 39 0 0 25 0 1 0 796328259 21082112 4437 4294967295 134512640 134714508 3221221776 3221220224 1073990306 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5147 4437 1111 63 0 5084 0
vsize: 20588
[startup+50.0021 s]
Raw data (loadavg): 0.96 0.98 0.99 2/55 32548
Raw data (stat): 32548 (bsolo_lpr_cuts) R 32547 7876 7672 0 -1 0 19132 0 0 0 4948 46 0 0 25 0 1 0 796328259 20983808 4413 4294967295 134512640 134714508 3221221776 3221220240 1074121067 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5123 4413 1111 63 0 5060 0
vsize: 20492
[startup+60.0017 s]
Raw data (loadavg): 0.97 0.98 0.99 2/55 32548
Raw data (stat): 32548 (bsolo_lpr_cuts) R 32547 7876 7672 0 -1 0 21909 0 0 0 5941 53 0 0 25 0 1 0 796328259 20893696 4391 4294967295 134512640 134714508 3221221776 3221220064 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5101 4391 1111 63 0 5038 0
vsize: 20404
[startup+70.0016 s]
Raw data (loadavg): 0.97 0.98 0.99 2/55 32548
Raw data (stat): 32548 (bsolo_lpr_cuts) R 32547 7876 7672 0 -1 0 24691 0 0 0 6935 60 0 0 25 0 1 0 796328259 20893696 4391 4294967295 134512640 134714508 3221221776 3221220112 1074153648 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5101 4391 1111 63 0 5038 0
vsize: 20404
[startup+80.0028 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 32548
Raw data (stat): 32548 (bsolo_lpr_cuts) R 32547 7876 7672 0 -1 0 26871 0 0 0 7929 66 0 0 25 0 1 0 796328259 20975616 4398 4294967295 134512640 134714508 3221221776 3221218880 1074138732 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5121 4398 1111 63 0 5058 0
vsize: 20484
[startup+90.0025 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 32548
Raw data (stat): 32548 (bsolo_lpr_cuts) R 32547 7876 7672 0 -1 0 27211 0 0 0 8928 67 0 0 25 0 1 0 796328259 20893696 4391 4294967295 134512640 134714508 3221221776 3221220176 1074153792 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5101 4391 1111 63 0 5038 0
vsize: 20404
[startup+100.003 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 32548
Raw data (stat): 32548 (bsolo_lpr_cuts) R 32547 7876 7672 0 -1 0 27273 0 0 0 9927 68 0 0 25 0 1 0 796328259 20893696 4391 4294967295 134512640 134714508 3221221776 3221220128 1074115298 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5101 4391 1111 63 0 5038 0
vsize: 20404
[startup+110.004 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 32548
Raw data (stat): 32548 (bsolo_lpr_cuts) R 32547 7876 7672 0 -1 0 27342 0 0 0 10926 69 0 0 25 0 1 0 796328259 20893696 4391 4294967295 134512640 134714508 3221221776 3221219840 1075961624 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5101 4391 1111 63 0 5038 0
vsize: 20404
[startup+120.003 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32548
Raw data (stat): 32548 (bsolo_lpr_cuts) R 32547 7876 7672 0 -1 0 27359 0 0 0 11925 70 0 0 25 0 1 0 796328259 20893696 4391 4294967295 134512640 134714508 3221221776 3221219488 1074153753 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5101 4391 1111 63 0 5038 0
vsize: 20404
[startup+130.003 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32548
Raw data (stat): 32548 (bsolo_lpr_cuts) R 32547 7876 7672 0 -1 0 27363 0 0 0 12925 70 0 0 25 0 1 0 796328259 20766720 4364 4294967295 134512640 134714508 3221221776 3221220176 1074118815 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5070 4364 1111 63 0 5007 0
vsize: 20280
[startup+140.003 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32548
Raw data (stat): 32548 (bsolo_lpr_cuts) R 32547 7876 7672 0 -1 0 27363 0 0 0 13925 70 0 0 25 0 1 0 796328259 20766720 4364 4294967295 134512640 134714508 3221221776 3221219680 1075460134 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5070 4364 1111 63 0 5007 0
vsize: 20280
[startup+150.004 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32548
Raw data (stat): 32548 (bsolo_lpr_cuts) R 32547 7876 7672 0 -1 0 27363 0 0 0 14925 71 0 0 25 0 1 0 796328259 20766720 4364 4294967295 134512640 134714508 3221221776 3221219584 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5070 4364 1111 63 0 5007 0
vsize: 20280
[startup+160.004 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32548
Raw data (stat): 32548 (bsolo_lpr_cuts) R 32547 7876 7672 0 -1 0 27363 0 0 0 15925 71 0 0 25 0 1 0 796328259 20766720 4364 4294967295 134512640 134714508 3221221776 3221219696 1075799512 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5070 4364 1111 63 0 5007 0
vsize: 20280
[startup+170.004 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32548
Raw data (stat): 32548 (bsolo_lpr_cuts) R 32547 7876 7672 0 -1 0 27363 0 0 0 16924 72 0 0 25 0 1 0 796328259 20766720 4364 4294967295 134512640 134714508 3221221776 3221218844 1074831252 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5070 4364 1111 63 0 5007 0
vsize: 20280
[startup+180.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32548
Raw data (stat): 32548 (bsolo_lpr_cuts) R 32547 7876 7672 0 -1 0 27363 0 0 0 17924 72 0 0 25 0 1 0 796328259 20766720 4364 4294967295 134512640 134714508 3221221776 3221220136 1077410279 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5070 4364 1111 63 0 5007 0
vsize: 20280
[startup+190.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32548
Raw data (stat): 32548 (bsolo_lpr_cuts) R 32547 7876 7672 0 -1 0 27363 0 0 0 18924 73 0 0 25 0 1 0 796328259 20766720 4364 4294967295 134512640 134714508 3221221776 3221220040 1074138150 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5070 4364 1111 63 0 5007 0
vsize: 20280
[startup+200.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32548
Raw data (stat): 32548 (bsolo_lpr_cuts) R 32547 7876 7672 0 -1 0 27363 0 0 0 19923 73 0 0 25 0 1 0 796328259 20766720 4364 4294967295 134512640 134714508 3221221776 3221220176 1074118870 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5070 4364 1111 63 0 5007 0
vsize: 20280
[startup+210.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32548
Raw data (stat): 32548 (bsolo_lpr_cuts) R 32547 7876 7672 0 -1 0 27363 0 0 0 20923 73 0 0 25 0 1 0 796328259 20766720 4364 4294967295 134512640 134714508 3221221776 3221218880 1074139033 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5070 4364 1111 63 0 5007 0
vsize: 20280
[startup+220.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32548
Raw data (stat): 32548 (bsolo_lpr_cuts) R 32547 7876 7672 0 -1 0 27363 0 0 0 21922 74 0 0 25 0 1 0 796328259 20766720 4364 4294967295 134512640 134714508 3221221776 3221219200 1076062471 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5070 4364 1111 63 0 5007 0
vsize: 20280
[startup+230.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32548
Raw data (stat): 32548 (bsolo_lpr_cuts) R 32547 7876 7672 0 -1 0 27363 0 0 0 22921 76 0 0 25 0 1 0 796328259 20766720 4364 4294967295 134512640 134714508 3221221776 3221220128 1074153779 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5070 4364 1111 63 0 5007 0
vsize: 20280
[startup+240.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32548
Raw data (stat): 32548 (bsolo_lpr_cuts) R 32547 7876 7672 0 -1 0 27363 0 0 0 23921 76 0 0 25 0 1 0 796328259 20766720 4364 4294967295 134512640 134714508 3221221776 3221219776 1074918544 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5070 4364 1111 63 0 5007 0
vsize: 20280
[startup+250.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32548
Raw data (stat): 32548 (bsolo_lpr_cuts) R 32547 7876 7672 0 -1 0 27363 0 0 0 24921 77 0 0 25 0 1 0 796328259 20766720 4364 4294967295 134512640 134714508 3221221776 3221219736 1074138309 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5070 4364 1111 63 0 5007 0
vsize: 20280
[startup+260.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32548
Raw data (stat): 32548 (bsolo_lpr_cuts) R 32547 7876 7672 0 -1 0 27363 0 0 0 25920 77 0 0 25 0 1 0 796328259 20766720 4364 4294967295 134512640 134714508 3221221776 3221219424 1075817687 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5070 4364 1111 63 0 5007 0
vsize: 20280
[startup+270.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32548
Raw data (stat): 32548 (bsolo_lpr_cuts) R 32547 7876 7672 0 -1 0 27363 0 0 0 26920 78 0 0 25 0 1 0 796328259 20766720 4364 4294967295 134512640 134714508 3221221776 3221218860 1075006951 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5070 4364 1111 63 0 5007 0
vsize: 20280
[startup+280.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32548
Raw data (stat): 32548 (bsolo_lpr_cuts) R 32547 7876 7672 0 -1 0 27363 0 0 0 27919 79 0 0 25 0 1 0 796328259 20766720 4364 4294967295 134512640 134714508 3221221776 3221219520 1075640405 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5070 4364 1111 63 0 5007 0
vsize: 20280
[startup+290.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32548
Raw data (stat): 32548 (bsolo_lpr_cuts) R 32547 7876 7672 0 -1 0 27363 0 0 0 28919 79 0 0 25 0 1 0 796328259 20766720 4364 4294967295 134512640 134714508 3221221776 3221220172 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5070 4364 1111 63 0 5007 0
vsize: 20280
[startup+300.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32548
Raw data (stat): 32548 (bsolo_lpr_cuts) R 32547 7876 7672 0 -1 0 27363 0 0 0 29919 80 0 0 25 0 1 0 796328259 20766720 4364 4294967295 134512640 134714508 3221221776 3221220416 134649016 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5070 4364 1111 63 0 5007 0
vsize: 20280
[startup+310.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32548
Raw data (stat): 32548 (bsolo_lpr_cuts) R 32547 7876 7672 0 -1 0 27363 0 0 0 30918 80 0 0 25 0 1 0 796328259 20766720 4364 4294967295 134512640 134714508 3221221776 3221220240 1074121006 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5070 4364 1111 63 0 5007 0
vsize: 20280
[startup+320.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32548
Raw data (stat): 32548 (bsolo_lpr_cuts) R 32547 7876 7672 0 -1 0 27363 0 0 0 31918 80 0 0 25 0 1 0 796328259 20766720 4364 4294967295 134512640 134714508 3221221776 3221219696 1075799660 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5070 4364 1111 63 0 5007 0
vsize: 20280
[startup+330.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32548
Raw data (stat): 32548 (bsolo_lpr_cuts) R 32547 7876 7672 0 -1 0 27363 0 0 0 32918 81 0 0 25 0 1 0 796328259 20766720 4364 4294967295 134512640 134714508 3221221776 3221219808 1074867341 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5070 4364 1111 63 0 5007 0
vsize: 20280
[startup+340.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32548
Raw data (stat): 32548 (bsolo_lpr_cuts) R 32547 7876 7672 0 -1 0 27363 0 0 0 33918 81 0 0 25 0 1 0 796328259 20766720 4364 4294967295 134512640 134714508 3221221776 3221220480 134652519 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5070 4364 1111 63 0 5007 0
vsize: 20280
[startup+350.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32548
Raw data (stat): 32548 (bsolo_lpr_cuts) R 32547 7876 7672 0 -1 0 27363 0 0 0 34918 82 0 0 25 0 1 0 796328259 20766720 4364 4294967295 134512640 134714508 3221221776 3221219744 1075809065 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5070 4364 1111 63 0 5007 0
vsize: 20280
[startup+360.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32548
Raw data (stat): 32548 (bsolo_lpr_cuts) R 32547 7876 7672 0 -1 0 27363 0 0 0 35917 82 0 0 25 0 1 0 796328259 20766720 4364 4294967295 134512640 134714508 3221221776 3221217920 1074968822 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5070 4364 1111 63 0 5007 0
vsize: 20280
[startup+370.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32548
Raw data (stat): 32548 (bsolo_lpr_cuts) R 32547 7876 7672 0 -1 0 27363 0 0 0 36917 83 0 0 25 0 1 0 796328259 20766720 4364 4294967295 134512640 134714508 3221221776 3221218864 1074138986 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5070 4364 1111 63 0 5007 0
vsize: 20280
[startup+380.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32548
Raw data (stat): 32548 (bsolo_lpr_cuts) R 32547 7876 7672 0 -1 0 27363 0 0 0 37916 84 0 0 25 0 1 0 796328259 20766720 4364 4294967295 134512640 134714508 3221221776 3221219276 1077411564 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5070 4364 1111 63 0 5007 0
vsize: 20280
[startup+390.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32548
Raw data (stat): 32548 (bsolo_lpr_cuts) R 32547 7876 7672 0 -1 0 27363 0 0 0 38916 84 0 0 25 0 1 0 796328259 20766720 4364 4294967295 134512640 134714508 3221221776 3221219736 1077380592 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5070 4364 1111 63 0 5007 0
vsize: 20280
[startup+400.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32548
Raw data (stat): 32548 (bsolo_lpr_cuts) R 32547 7876 7672 0 -1 0 27363 0 0 0 39915 85 0 0 25 0 1 0 796328259 20766720 4364 4294967295 134512640 134714508 3221221776 3221218268 1075522564 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5070 4364 1111 63 0 5007 0
vsize: 20280
[startup+410.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32548
Raw data (stat): 32548 (bsolo_lpr_cuts) R 32547 7876 7672 0 -1 0 27363 0 0 0 40915 86 0 0 25 0 1 0 796328259 20766720 4364 4294967295 134512640 134714508 3221221776 3221217872 1074790208 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5070 4364 1111 63 0 5007 0
vsize: 20280
[startup+420.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32548
Raw data (stat): 32548 (bsolo_lpr_cuts) R 32547 7876 7672 0 -1 0 27363 0 0 0 41915 86 0 0 25 0 1 0 796328259 20766720 4364 4294967295 134512640 134714508 3221221776 3221219504 1075829539 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5070 4364 1111 63 0 5007 0
vsize: 20280
[startup+430.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32548
Raw data (stat): 32548 (bsolo_lpr_cuts) R 32547 7876 7672 0 -1 0 27363 0 0 0 42915 86 0 0 25 0 1 0 796328259 20766720 4364 4294967295 134512640 134714508 3221221776 3221219936 1074153749 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5070 4364 1111 63 0 5007 0
vsize: 20280
[startup+440.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32548
Raw data (stat): 32548 (bsolo_lpr_cuts) R 32547 7876 7672 0 -1 0 27363 0 0 0 43915 86 0 0 25 0 1 0 796328259 20766720 4364 4294967295 134512640 134714508 3221221776 3221218528 1074247416 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5070 4364 1111 63 0 5007 0
vsize: 20280
[startup+450.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32548
Raw data (stat): 32548 (bsolo_lpr_cuts) R 32547 7876 7672 0 -1 0 27363 0 0 0 44915 86 0 0 25 0 1 0 796328259 20766720 4364 4294967295 134512640 134714508 3221221776 3221219696 1075799619 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5070 4364 1111 63 0 5007 0
vsize: 20280
[startup+460.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32548
Raw data (stat): 32548 (bsolo_lpr_cuts) R 32547 7876 7672 0 -1 0 27363 0 0 0 45914 87 0 0 25 0 1 0 796328259 20766720 4364 4294967295 134512640 134714508 3221221776 3221220128 1074115298 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5070 4364 1111 63 0 5007 0
vsize: 20280
[startup+470.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32548
Raw data (stat): 32548 (bsolo_lpr_cuts) R 32547 7876 7672 0 -1 0 27363 0 0 0 46914 88 0 0 25 0 1 0 796328259 20766720 4364 4294967295 134512640 134714508 3221221776 3221220088 1077410279 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5070 4364 1111 63 0 5007 0
vsize: 20280
[startup+480.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32548
Raw data (stat): 32548 (bsolo_lpr_cuts) R 32547 7876 7672 0 -1 0 27363 0 0 0 47913 89 0 0 25 0 1 0 796328259 20766720 4364 4294967295 134512640 134714508 3221221776 3221218836 1074617722 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5070 4364 1111 63 0 5007 0
vsize: 20280
[startup+490.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32548
Raw data (stat): 32548 (bsolo_lpr_cuts) R 32547 7876 7672 0 -1 0 27363 0 0 0 48913 89 0 0 25 0 1 0 796328259 20766720 4364 4294967295 134512640 134714508 3221221776 3221219520 1075645381 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5070 4364 1111 63 0 5007 0
vsize: 20280
[startup+500.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32548
Raw data (stat): 32548 (bsolo_lpr_cuts) R 32547 7876 7672 0 -1 0 27363 0 0 0 49913 89 0 0 25 0 1 0 796328259 20766720 4364 4294967295 134512640 134714508 3221221776 3221220112 1074153760 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5070 4364 1111 63 0 5007 0
vsize: 20280
[startup+510.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32548
Raw data (stat): 32548 (bsolo_lpr_cuts) R 32547 7876 7672 0 -1 0 27363 0 0 0 50912 90 0 0 25 0 1 0 796328259 20766720 4364 4294967295 134512640 134714508 3221221776 3221219968 1074153675 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5070 4364 1111 63 0 5007 0
vsize: 20280
[startup+520.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32548
Raw data (stat): 32548 (bsolo_lpr_cuts) R 32547 7876 7672 0 -1 0 27363 0 0 0 51912 91 0 0 25 0 1 0 796328259 20766720 4364 4294967295 134512640 134714508 3221221776 3221220176 1074118870 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5070 4364 1111 63 0 5007 0
vsize: 20280
[startup+530.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32548
Raw data (stat): 32548 (bsolo_lpr_cuts) R 32547 7876 7672 0 -1 0 27363 0 0 0 52911 92 0 0 25 0 1 0 796328259 20766720 4364 4294967295 134512640 134714508 3221221776 3221219352 1077410163 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5070 4364 1111 63 0 5007 0
vsize: 20280
[startup+540.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32548
Raw data (stat): 32548 (bsolo_lpr_cuts) R 32547 7876 7672 0 -1 0 27363 0 0 0 53911 92 0 0 25 0 1 0 796328259 20766720 4364 4294967295 134512640 134714508 3221221776 3221220160 1074153648 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5070 4364 1111 63 0 5007 0
vsize: 20280
[startup+550.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32548
Raw data (stat): 32548 (bsolo_lpr_cuts) R 32547 7876 7672 0 -1 0 27363 0 0 0 54910 93 0 0 25 0 1 0 796328259 20766720 4364 4294967295 134512640 134714508 3221221776 3221219560 1077410205 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5070 4364 1111 63 0 5007 0
vsize: 20280
[startup+560.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32548
Raw data (stat): 32548 (bsolo_lpr_cuts) R 32547 7876 7672 0 -1 0 27363 0 0 0 55910 94 0 0 25 0 1 0 796328259 20766720 4364 4294967295 134512640 134714508 3221221776 3221218880 1074139054 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5070 4364 1111 63 0 5007 0
vsize: 20280
[startup+570.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32548
Raw data (stat): 32548 (bsolo_lpr_cuts) R 32547 7876 7672 0 -1 0 27363 0 0 0 56909 95 0 0 25 0 1 0 796328259 20766720 4364 4294967295 134512640 134714508 3221221776 3221219776 1074918559 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5070 4364 1111 63 0 5007 0
vsize: 20280
[startup+580.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32548
Raw data (stat): 32548 (bsolo_lpr_cuts) R 32547 7876 7672 0 -1 0 27363 0 0 0 57908 95 0 0 25 0 1 0 796328259 20766720 4364 4294967295 134512640 134714508 3221221776 3221219736 1077380592 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5070 4364 1111 63 0 5007 0
vsize: 20280
[startup+590.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32548
Raw data (stat): 32548 (bsolo_lpr_cuts) R 32547 7876 7672 0 -1 0 27363 0 0 0 58908 96 0 0 25 0 1 0 796328259 20766720 4364 4294967295 134512640 134714508 3221221776 3221217832 1074860249 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5070 4364 1111 63 0 5007 0
vsize: 20280
[startup+600.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32548
Raw data (stat): 32548 (bsolo_lpr_cuts) R 32547 7876 7672 0 -1 0 27363 0 0 0 59908 96 0 0 25 0 1 0 796328259 20766720 4364 4294967295 134512640 134714508 3221221776 3221219728 1074153663 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5070 4364 1111 63 0 5007 0
vsize: 20280
[startup+610.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32548
Raw data (stat): 32548 (bsolo_lpr_cuts) R 32547 7876 7672 0 -1 0 27363 0 0 0 60907 97 0 0 25 0 1 0 796328259 20766720 4364 4294967295 134512640 134714508 3221221776 3221219680 1075460081 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5070 4364 1111 63 0 5007 0
vsize: 20280
[startup+620.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32548
Raw data (stat): 32548 (bsolo_lpr_cuts) R 32547 7876 7672 0 -1 0 27363 0 0 0 61906 98 0 0 25 0 1 0 796328259 20766720 4364 4294967295 134512640 134714508 3221221776 3221217740 1074860626 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5070 4364 1111 63 0 5007 0
vsize: 20280
[startup+630.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32548
Raw data (stat): 32548 (bsolo_lpr_cuts) R 32547 7876 7672 0 -1 0 27363 0 0 0 62906 99 0 0 25 0 1 0 796328259 20766720 4364 4294967295 134512640 134714508 3221221776 3221220128 1074115334 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5070 4364 1111 63 0 5007 0
vsize: 20280
[startup+640.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32548
Raw data (stat): 32548 (bsolo_lpr_cuts) R 32547 7876 7672 0 -1 0 27363 0 0 0 63906 99 0 0 25 0 1 0 796328259 20766720 4364 4294967295 134512640 134714508 3221221776 3221219776 1074918520 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5070 4364 1111 63 0 5007 0
vsize: 20280
[startup+650.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32548
Raw data (stat): 32548 (bsolo_lpr_cuts) R 32547 7876 7672 0 -1 0 27363 0 0 0 64906 99 0 0 25 0 1 0 796328259 20766720 4364 4294967295 134512640 134714508 3221221776 3221220012 1074207687 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5070 4364 1111 63 0 5007 0
vsize: 20280
[startup+660.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32548
Raw data (stat): 32548 (bsolo_lpr_cuts) R 32547 7876 7672 0 -1 0 27363 0 0 0 65905 100 0 0 25 0 1 0 796328259 20766720 4364 4294967295 134512640 134714508 3221221776 3221219592 1074138285 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5070 4364 1111 63 0 5007 0
vsize: 20280
[startup+670.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32548
Raw data (stat): 32548 (bsolo_lpr_cuts) R 32547 7876 7672 0 -1 0 27363 0 0 0 66905 100 0 0 25 0 1 0 796328259 20766720 4364 4294967295 134512640 134714508 3221221776 3221220112 1074153822 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5070 4364 1111 63 0 5007 0
vsize: 20280
[startup+680.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32548
Raw data (stat): 32548 (bsolo_lpr_cuts) R 32547 7876 7672 0 -1 0 27363 0 0 0 67904 101 0 0 25 0 1 0 796328259 20766720 4364 4294967295 134512640 134714508 3221221776 3221219624 1077410279 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5070 4364 1111 63 0 5007 0
vsize: 20280
[startup+690.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32548
Raw data (stat): 32548 (bsolo_lpr_cuts) R 32547 7876 7672 0 -1 0 27363 0 0 0 68904 102 0 0 25 0 1 0 796328259 20766720 4364 4294967295 134512640 134714508 3221221776 3221220128 1074115298 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5070 4364 1111 63 0 5007 0
vsize: 20280
[startup+700.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32548
Raw data (stat): 32548 (bsolo_lpr_cuts) R 32547 7876 7672 0 -1 0 27363 0 0 0 69904 102 0 0 25 0 1 0 796328259 20766720 4364 4294967295 134512640 134714508 3221221776 3221220160 1074153815 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5070 4364 1111 63 0 5007 0
vsize: 20280
[startup+710.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32548
Raw data (stat): 32548 (bsolo_lpr_cuts) R 32547 7876 7672 0 -1 0 27363 0 0 0 70904 102 0 0 25 0 1 0 796328259 20766720 4364 4294967295 134512640 134714508 3221221776 3221219692 1074152822 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5070 4364 1111 63 0 5007 0
vsize: 20280
[startup+720.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32548
Raw data (stat): 32548 (bsolo_lpr_cuts) R 32547 7876 7672 0 -1 0 27363 0 0 0 71903 103 0 0 25 0 1 0 796328259 20766720 4364 4294967295 134512640 134714508 3221221776 3221220040 1074138166 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5070 4364 1111 63 0 5007 0
vsize: 20280
[startup+730.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32548
Raw data (stat): 32548 (bsolo_lpr_cuts) R 32547 7876 7672 0 -1 0 27363 0 0 0 72903 104 0 0 25 0 1 0 796328259 20766720 4364 4294967295 134512640 134714508 3221221776 3221220024 1074138166 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5070 4364 1111 63 0 5007 0
vsize: 20280
[startup+740.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32548
Raw data (stat): 32548 (bsolo_lpr_cuts) R 32547 7876 7672 0 -1 0 27363 0 0 0 73903 104 0 0 25 0 1 0 796328259 20766720 4364 4294967295 134512640 134714508 3221221776 3221219888 1074867344 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5070 4364 1111 63 0 5007 0
vsize: 20280
[startup+750.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32548
Raw data (stat): 32548 (bsolo_lpr_cuts) R 32547 7876 7672 0 -1 0 27363 0 0 0 74902 105 0 0 25 0 1 0 796328259 20766720 4364 4294967295 134512640 134714508 3221221776 3221220128 1074115317 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5070 4364 1111 63 0 5007 0
vsize: 20280
[startup+760.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32548
Raw data (stat): 32548 (bsolo_lpr_cuts) R 32547 7876 7672 0 -1 0 27363 0 0 0 75902 105 0 0 25 0 1 0 796328259 20766720 4364 4294967295 134512640 134714508 3221221776 3221219424 1075817992 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5070 4364 1111 63 0 5007 0
vsize: 20280
[startup+770.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32548
Raw data (stat): 32548 (bsolo_lpr_cuts) R 32547 7876 7672 0 -1 0 27363 0 0 0 76901 106 0 0 25 0 1 0 796328259 20766720 4364 4294967295 134512640 134714508 3221221776 3221220112 1074153794 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5070 4364 1111 63 0 5007 0
vsize: 20280
[startup+780.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32548
Raw data (stat): 32548 (bsolo_lpr_cuts) R 32547 7876 7672 0 -1 0 27363 0 0 0 77901 107 0 0 25 0 1 0 796328259 20766720 4364 4294967295 134512640 134714508 3221221776 3221219320 1077380592 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5070 4364 1111 63 0 5007 0
vsize: 20280
[startup+790.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32548
Raw data (stat): 32548 (bsolo_lpr_cuts) R 32547 7876 7672 0 -1 0 27363 0 0 0 78900 107 0 0 25 0 1 0 796328259 20766720 4364 4294967295 134512640 134714508 3221221776 3221219640 1074138150 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5070 4364 1111 63 0 5007 0
vsize: 20280
[startup+800.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32548
Raw data (stat): 32548 (bsolo_lpr_cuts) R 32547 7876 7672 0 -1 0 27363 0 0 0 79900 108 0 0 25 0 1 0 796328259 20766720 4364 4294967295 134512640 134714508 3221221776 3221219512 1074138155 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5070 4364 1111 63 0 5007 0
vsize: 20280
[startup+810.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32548
Raw data (stat): 32548 (bsolo_lpr_cuts) R 32547 7876 7672 0 -1 0 27363 0 0 0 80900 108 0 0 25 0 1 0 796328259 20766720 4364 4294967295 134512640 134714508 3221221776 3221220160 1074153749 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5070 4364 1111 63 0 5007 0
vsize: 20280
[startup+820.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32548
Raw data (stat): 32548 (bsolo_lpr_cuts) R 32547 7876 7672 0 -1 0 27363 0 0 0 81899 109 0 0 25 0 1 0 796328259 20766720 4364 4294967295 134512640 134714508 3221221776 3221220056 1074138265 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5070 4364 1111 63 0 5007 0
vsize: 20280
[startup+830.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32548
Raw data (stat): 32548 (bsolo_lpr_cuts) R 32547 7876 7672 0 -1 0 27363 0 0 0 82899 110 0 0 25 0 1 0 796328259 20766720 4364 4294967295 134512640 134714508 3221221776 3221220512 134644829 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5070 4364 1111 63 0 5007 0
vsize: 20280
[startup+840.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32548
Raw data (stat): 32548 (bsolo_lpr_cuts) R 32547 7876 7672 0 -1 0 27363 0 0 0 83899 110 0 0 25 0 1 0 796328259 20766720 4364 4294967295 134512640 134714508 3221221776 3221220392 134543168 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5070 4364 1111 63 0 5007 0
vsize: 20280
[startup+850.031 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32548
Raw data (stat): 32548 (bsolo_lpr_cuts) R 32547 7876 7672 0 -1 0 27363 0 0 0 84898 111 0 0 25 0 1 0 796328259 20766720 4364 4294967295 134512640 134714508 3221221776 3221219352 1077380592 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5070 4364 1111 63 0 5007 0
vsize: 20280
[startup+860.032 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32548
Raw data (stat): 32548 (bsolo_lpr_cuts) R 32547 7876 7672 0 -1 0 27363 0 0 0 85898 111 0 0 25 0 1 0 796328259 20766720 4364 4294967295 134512640 134714508 3221221776 3221219888 1074867305 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5070 4364 1111 63 0 5007 0
vsize: 20280
[startup+870.032 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32548
Raw data (stat): 32548 (bsolo_lpr_cuts) R 32547 7876 7672 0 -1 0 27363 0 0 0 86897 112 0 0 25 0 1 0 796328259 20766720 4364 4294967295 134512640 134714508 3221221776 3221219608 1074138166 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5070 4364 1111 63 0 5007 0
vsize: 20280
[startup+880.033 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32548
Raw data (stat): 32548 (bsolo_lpr_cuts) R 32547 7876 7672 0 -1 0 27363 0 0 0 87897 113 0 0 25 0 1 0 796328259 20766720 4364 4294967295 134512640 134714508 3221221776 3221220176 1074118806 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5070 4364 1111 63 0 5007 0
vsize: 20280
[startup+890.033 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32548
Raw data (stat): 32548 (bsolo_lpr_cuts) R 32547 7876 7672 0 -1 0 27363 0 0 0 88896 114 0 0 25 0 1 0 796328259 20766720 4364 4294967295 134512640 134714508 3221221776 3221219776 1074056570 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5070 4364 1111 63 0 5007 0
vsize: 20280
[startup+900.034 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32548
Raw data (stat): 32548 (bsolo_lpr_cuts) R 32547 7876 7672 0 -1 0 27363 0 0 0 89896 114 0 0 25 0 1 0 796328259 20766720 4364 4294967295 134512640 134714508 3221221776 3221219696 1074153669 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5070 4364 1111 63 0 5007 0
vsize: 20280
[startup+910.035 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32548
Raw data (stat): 32548 (bsolo_lpr_cuts) R 32547 7876 7672 0 -1 0 27363 0 0 0 90896 115 0 0 25 0 1 0 796328259 20766720 4364 4294967295 134512640 134714508 3221221776 3221219756 1077411564 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5070 4364 1111 63 0 5007 0
vsize: 20280
[startup+920.034 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32548
Raw data (stat): 32548 (bsolo_lpr_cuts) R 32547 7876 7672 0 -1 0 27363 0 0 0 91895 115 0 0 25 0 1 0 796328259 20766720 4364 4294967295 134512640 134714508 3221221776 3221220112 1074153675 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5070 4364 1111 63 0 5007 0
vsize: 20280
[startup+930.034 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32548
Raw data (stat): 32548 (bsolo_lpr_cuts) R 32547 7876 7672 0 -1 0 27363 0 0 0 92895 116 0 0 25 0 1 0 796328259 20766720 4364 4294967295 134512640 134714508 3221221776 3221219832 1077374791 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5070 4364 1111 63 0 5007 0
vsize: 20280
[startup+940.035 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32548
Raw data (stat): 32548 (bsolo_lpr_cuts) R 32547 7876 7672 0 -1 0 27363 0 0 0 93895 116 0 0 25 0 1 0 796328259 20766720 4364 4294967295 134512640 134714508 3221221776 3221220112 1074153749 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5070 4364 1111 63 0 5007 0
vsize: 20280
[startup+950.036 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32548
Raw data (stat): 32548 (bsolo_lpr_cuts) R 32547 7876 7672 0 -1 0 27363 0 0 0 94894 117 0 0 25 0 1 0 796328259 20766720 4364 4294967295 134512640 134714508 3221221776 3221219696 1075799758 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5070 4364 1111 63 0 5007 0
vsize: 20280
[startup+960.036 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32548
Raw data (stat): 32548 (bsolo_lpr_cuts) R 32547 7876 7672 0 -1 0 27363 0 0 0 95894 117 0 0 25 0 1 0 796328259 20766720 4364 4294967295 134512640 134714508 3221221776 3221220128 1074153812 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5070 4364 1111 63 0 5007 0
vsize: 20280
[startup+970.036 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32548
Raw data (stat): 32548 (bsolo_lpr_cuts) R 32547 7876 7672 0 -1 0 27363 0 0 0 96894 118 0 0 25 0 1 0 796328259 20766720 4364 4294967295 134512640 134714508 3221221776 3221219600 1075824339 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5070 4364 1111 63 0 5007 0
vsize: 20280
[startup+980.037 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32548
Raw data (stat): 32548 (bsolo_lpr_cuts) R 32547 7876 7672 0 -1 0 27363 0 0 0 97893 119 0 0 25 0 1 0 796328259 20766720 4364 4294967295 134512640 134714508 3221221776 3221220228 1077374556 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5070 4364 1111 63 0 5007 0
vsize: 20280
[startup+990.037 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32548
Raw data (stat): 32548 (bsolo_lpr_cuts) R 32547 7876 7672 0 -1 0 27363 0 0 0 98893 119 0 0 25 0 1 0 796328259 20766720 4364 4294967295 134512640 134714508 3221221776 3221219776 1074916974 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5070 4364 1111 63 0 5007 0
vsize: 20280
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32548
Raw data (stat): 32548 (bsolo_lpr_cuts) R 32547 7876 7672 0 -1 0 27363 0 0 0 99892 120 0 0 25 0 1 0 796328259 20766720 4364 4294967295 134512640 134714508 3221221776 3221220060 1074206265 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5070 4364 1111 63 0 5007 0
vsize: 20280
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32548
Raw data (stat): 32548 (bsolo_lpr_cuts) R 32547 7876 7672 0 -1 0 27363 0 0 0 100892 120 0 0 25 0 1 0 796328259 20766720 4364 4294967295 134512640 134714508 3221221776 3221220128 1074153675 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5070 4364 1111 63 0 5007 0
vsize: 20280
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32548
Raw data (stat): 32548 (bsolo_lpr_cuts) R 32547 7876 7672 0 -1 0 27363 0 0 0 101891 121 0 0 25 0 1 0 796328259 20766720 4364 4294967295 134512640 134714508 3221221776 3221219368 1077380592 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5070 4364 1111 63 0 5007 0
vsize: 20280
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32548
Raw data (stat): 32548 (bsolo_lpr_cuts) R 32547 7876 7672 0 -1 0 27363 0 0 0 102890 122 0 0 25 0 1 0 796328259 20766720 4364 4294967295 134512640 134714508 3221221776 3221219056 1074140374 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5070 4364 1111 63 0 5007 0
vsize: 20280
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32548
Raw data (stat): 32548 (bsolo_lpr_cuts) R 32547 7876 7672 0 -1 0 27363 0 0 0 103890 123 0 0 25 0 1 0 796328259 20766720 4364 4294967295 134512640 134714508 3221221776 3221219744 1074153815 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5070 4364 1111 63 0 5007 0
vsize: 20280
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32548
Raw data (stat): 32548 (bsolo_lpr_cuts) R 32547 7876 7672 0 -1 0 27363 0 0 0 104889 124 0 0 25 0 1 0 796328259 20766720 4364 4294967295 134512640 134714508 3221221776 3221219776 1074153766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5070 4364 1111 63 0 5007 0
vsize: 20280
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32548
Raw data (stat): 32548 (bsolo_lpr_cuts) R 32547 7876 7672 0 -1 0 27363 0 0 0 105889 124 0 0 25 0 1 0 796328259 20766720 4364 4294967295 134512640 134714508 3221221776 3221219212 1077411564 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5070 4364 1111 63 0 5007 0
vsize: 20280
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32548
Raw data (stat): 32548 (bsolo_lpr_cuts) R 32547 7876 7672 0 -1 0 27363 0 0 0 106888 125 0 0 25 0 1 0 796328259 20766720 4364 4294967295 134512640 134714508 3221221776 3221220004 1077374528 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5070 4364 1111 63 0 5007 0
vsize: 20280
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32548
Raw data (stat): 32548 (bsolo_lpr_cuts) R 32547 7876 7672 0 -1 0 27363 0 0 0 107887 126 0 0 25 0 1 0 796328259 20766720 4364 4294967295 134512640 134714508 3221221776 3221217740 1074860819 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5070 4364 1111 63 0 5007 0
vsize: 20280
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32548
Raw data (stat): 32548 (bsolo_lpr_cuts) R 32547 7876 7672 0 -1 0 27363 0 0 0 108887 126 0 0 25 0 1 0 796328259 20766720 4364 4294967295 134512640 134714508 3221221776 3221219680 1075460146 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5070 4364 1111 63 0 5007 0
vsize: 20280
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32548
Raw data (stat): 32548 (bsolo_lpr_cuts) R 32547 7876 7672 0 -1 0 27363 0 0 0 109886 128 0 0 25 0 1 0 796328259 20766720 4364 4294967295 134512640 134714508 3221221776 3221219504 1075828508 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5070 4364 1111 63 0 5007 0
vsize: 20280
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32548
Raw data (stat): 32548 (bsolo_lpr_cuts) R 32547 7876 7672 0 -1 0 27363 0 0 0 110886 128 0 0 25 0 1 0 796328259 20766720 4364 4294967295 134512640 134714508 3221221776 3221220128 1074153749 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5070 4364 1111 63 0 5007 0
vsize: 20280
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32548
Raw data (stat): 32548 (bsolo_lpr_cuts) R 32547 7876 7672 0 -1 0 27363 0 0 0 111885 129 0 0 25 0 1 0 796328259 20766720 4364 4294967295 134512640 134714508 3221221776 3221220480 134652491 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5070 4364 1111 63 0 5007 0
vsize: 20280
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32548
Raw data (stat): 32548 (bsolo_lpr_cuts) R 32547 7876 7672 0 -1 0 27363 0 0 0 112885 129 0 0 25 0 1 0 796328259 20766720 4364 4294967295 134512640 134714508 3221221776 3221220024 1074138166 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5070 4364 1111 63 0 5007 0
vsize: 20280
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32548
Raw data (stat): 32548 (bsolo_lpr_cuts) R 32547 7876 7672 0 -1 0 27363 0 0 0 113885 130 0 0 25 0 1 0 796328259 20766720 4364 4294967295 134512640 134714508 3221221776 3221218896 1074865627 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5070 4364 1111 63 0 5007 0
vsize: 20280
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32548
Raw data (stat): 32548 (bsolo_lpr_cuts) R 32547 7876 7672 0 -1 0 27363 0 0 0 114885 130 0 0 25 0 1 0 796328259 20766720 4364 4294967295 134512640 134714508 3221221776 3221219776 1074916721 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5070 4364 1111 63 0 5007 0
vsize: 20280
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32548
Raw data (stat): 32548 (bsolo_lpr_cuts) R 32547 7876 7672 0 -1 0 27363 0 0 0 115884 131 0 0 25 0 1 0 796328259 20766720 4364 4294967295 134512640 134714508 3221221776 3221220128 1074153663 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5070 4364 1111 63 0 5007 0
vsize: 20280
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32548
Raw data (stat): 32548 (bsolo_lpr_cuts) R 32547 7876 7672 0 -1 0 27363 0 0 0 116884 131 0 0 25 0 1 0 796328259 20766720 4364 4294967295 134512640 134714508 3221221776 3221220224 1074039475 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5070 4364 1111 63 0 5007 0
vsize: 20280
[startup+1174.94 s]
Raw data (loadavg): 0.99 0.98 0.99 1/54 32548
Raw data (stat): 32548 (bsolo_lpr_cuts) R 32547 7876 7672 0 -1 0 27363 0 0 0 116884 131 0 0 25 0 1 0 796328259 20766720 4364 4294967295 134512640 134714508 3221221776 3221220224 1074039475 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5070 4364 1111 63 0 5007 0
vsize: 0

Child status: 0
Real time (s): 1174.94
CPU time (s): 1175.06
CPU user time (s): 1173.73
CPU system time (s): 1.3248
CPU usage (%): 100.01
Max. virtual memory (Kb): 20784
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####