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/MIPLIB/miplib3/normalized-mps-v2-13-7-vpm1.opb
MD5SUM	ec9e3281577e2d3f7b25c1cc88cac9ea
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	20
Optimality of the best value was proved	NO
Number of terms in the objective function	168
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	168
Number of bits of the sum of numbers in the objective function	8
Biggest number in a constraint	102400
Number of bits of the biggest number in a constraint	17
Biggest sum of numbers in a constraint	615983
Number of bits of the biggest sum of numbers	20
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.06884
Number of variables	2124
Total number of constraints	612
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	168
Number of constraints which are nor clauses,nor cardinality constraints	444
Minimum length of a constraint	1
Maximum length of a constraint	64
Trace number 25598

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-21 03:45:17 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=18930 boxname=wulflinc31 idbench=1457 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  ec9e3281577e2d3f7b25c1cc88cac9ea  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-vpm1.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-vpm1.opb
IDLAUNCH: 18930
/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:        585688 kB
Buffers:         34856 kB
Cached:         393256 kB
SwapCached:       1172 kB
Active:         297432 kB
Inactive:       133096 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        585436 kB
SwapTotal:     2097892 kB
SwapFree:      2095980 kB
Dirty:             216 kB
Writeback:           0 kB
Mapped:           5356 kB
Slab:            12744 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-21 04:04:53 (client local time) WITH STATUS 0 IN 1175.12 SECONDS
stats: 18930 7 1175.12 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 2124 variables and 486 constraints.
c After prepocess the problem consists of 1459 variables and 357 constraints.
c preprocess terminated 48.196 s
c Initial Lower Bound: 16
c Lower Bound Elapsed time: 0.18175
c Use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.08 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): 1.14 1.00 0.92 2/55 4804
Raw data (stat): 4804 (runsolver) R 4803 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 801157599 1056768 100 4294967295 134512640 135381576 3221221680 3221216896 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0007 s]
Raw data (loadavg): 1.11 1.00 0.92 2/55 4804
Raw data (stat): 4804 (bsolo_lpr_cuts) R 4803 7876 7672 0 -1 0 5919 0 0 0 978 17 0 0 25 0 1 0 801157599 27406336 5840 4294967295 134512640 134714508 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6691 5840 1111 63 0 6628 0
vsize: 26764
[startup+20.0006 s]
Raw data (loadavg): 1.10 1.00 0.92 2/55 4804
Raw data (stat): 4804 (bsolo_lpr_cuts) R 4803 7876 7672 0 -1 0 5962 0 0 0 1979 17 0 0 25 0 1 0 801157599 27533312 5883 4294967295 134512640 134714508 3221221776 3221220416 134606498 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6722 5883 1111 63 0 6659 0
vsize: 26888
[startup+30.0017 s]
Raw data (loadavg): 1.08 1.00 0.92 2/55 4804
Raw data (stat): 4804 (bsolo_lpr_cuts) R 4803 7876 7672 0 -1 0 6064 0 0 0 2978 17 0 0 25 0 1 0 801157599 27783168 5929 4294967295 134512640 134714508 3221221776 3221220200 1077377227 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6783 5929 1111 63 0 6720 0
vsize: 27132
[startup+40.0015 s]
Raw data (loadavg): 1.07 1.00 0.92 2/55 4804
Raw data (stat): 4804 (bsolo_lpr_cuts) R 4803 7876 7672 0 -1 0 6072 0 0 0 3978 18 0 0 25 0 1 0 801157599 27783168 5937 4294967295 134512640 134714508 3221221776 3221220416 134606468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6783 5937 1111 63 0 6720 0
vsize: 27132
[startup+50.003 s]
Raw data (loadavg): 1.06 1.00 0.92 2/55 4804
Raw data (stat): 4804 (bsolo_lpr_cuts) R 4803 7876 7672 0 -1 0 6356 0 0 0 4977 18 0 0 25 0 1 0 801157599 27930624 6124 4294967295 134512640 134714508 3221221776 3221219600 1074153822 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6819 6124 1111 63 0 6756 0
vsize: 27276
[startup+60.0033 s]
Raw data (loadavg): 1.05 1.00 0.92 2/55 4804
Raw data (stat): 4804 (bsolo_lpr_cuts) R 4803 7876 7672 0 -1 0 6804 0 0 0 5975 20 0 0 25 0 1 0 801157599 27930624 6124 4294967295 134512640 134714508 3221221776 3221219776 1074916993 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6819 6124 1111 63 0 6756 0
vsize: 27276
[startup+70.0032 s]
Raw data (loadavg): 1.04 1.00 0.92 2/55 4804
Raw data (stat): 4804 (bsolo_lpr_cuts) R 4803 7876 7672 0 -1 0 7203 0 0 0 6973 23 0 0 25 0 1 0 801157599 27930624 6124 4294967295 134512640 134714508 3221221776 3221218968 1074138279 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6879 6125 1111 63 0 6816 0
vsize: 27276
[startup+80.0041 s]
Raw data (loadavg): 1.03 1.00 0.92 2/55 4804
Raw data (stat): 4804 (bsolo_lpr_cuts) R 4803 7876 7672 0 -1 0 7367 0 0 0 7971 24 0 0 25 0 1 0 801157599 27930624 6124 4294967295 134512640 134714508 3221221776 3221220112 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6819 6124 1111 63 0 6756 0
vsize: 27276
[startup+90.0041 s]
Raw data (loadavg): 1.03 1.00 0.92 2/55 4804
Raw data (stat): 4804 (bsolo_lpr_cuts) R 4803 7876 7672 0 -1 0 7554 0 0 0 8970 25 0 0 25 0 1 0 801157599 27930624 6124 4294967295 134512640 134714508 3221221776 3221220160 1074153675 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6819 6124 1111 63 0 6756 0
vsize: 27276
[startup+100.004 s]
Raw data (loadavg): 1.02 1.00 0.92 2/55 4804
Raw data (stat): 4804 (bsolo_lpr_cuts) R 4803 7876 7672 0 -1 0 7750 0 0 0 9968 28 0 0 25 0 1 0 801157599 27930624 6124 4294967295 134512640 134714508 3221221776 3221219752 1077410279 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6819 6124 1111 63 0 6756 0
vsize: 27276
[startup+110.004 s]
Raw data (loadavg): 1.02 1.00 0.92 2/55 4804
Raw data (stat): 4804 (bsolo_lpr_cuts) R 4803 7876 7672 0 -1 0 7933 0 0 0 10966 30 0 0 25 0 1 0 801157599 27930624 6124 4294967295 134512640 134714508 3221221776 3221219936 134650068 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6819 6124 1111 63 0 6756 0
vsize: 27276
[startup+120.004 s]
Raw data (loadavg): 1.02 1.00 0.92 2/55 4804
Raw data (stat): 4804 (bsolo_lpr_cuts) R 4803 7876 7672 0 -1 0 8111 0 0 0 11964 32 0 0 25 0 1 0 801157599 27930624 6124 4294967295 134512640 134714508 3221221776 3221219992 1074138150 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6819 6124 1111 63 0 6756 0
vsize: 27276
[startup+130.004 s]
Raw data (loadavg): 1.01 1.00 0.92 2/55 4804
Raw data (stat): 4804 (bsolo_lpr_cuts) R 4803 7876 7672 0 -1 0 8315 0 0 0 12962 35 0 0 25 0 1 0 801157599 28114944 6125 4294967295 134512640 134714508 3221221776 3221217740 1074860626 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6864 6125 1111 63 0 6801 0
vsize: 27456
[startup+140.004 s]
Raw data (loadavg): 1.01 1.00 0.92 2/55 4804
Raw data (stat): 4804 (bsolo_lpr_cuts) R 4803 7876 7672 0 -1 0 8499 0 0 0 13959 38 0 0 25 0 1 0 801157599 28114944 6125 4294967295 134512640 134714508 3221221776 3221215276 1075363984 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6864 6125 1111 63 0 6801 0
vsize: 27456
[startup+150.005 s]
Raw data (loadavg): 1.01 1.00 0.92 2/55 4804
Raw data (stat): 4804 (bsolo_lpr_cuts) R 4803 7876 7672 0 -1 0 8700 0 0 0 14956 40 0 0 25 0 1 0 801157599 27930624 6125 4294967295 134512640 134714508 3221221776 3221220160 1074153675 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6819 6125 1111 63 0 6756 0
vsize: 27276
[startup+160.005 s]
Raw data (loadavg): 1.01 1.00 0.92 2/55 4804
Raw data (stat): 4804 (bsolo_lpr_cuts) R 4803 7876 7672 0 -1 0 8918 0 0 0 15953 43 0 0 25 0 1 0 801157599 27930624 6125 4294967295 134512640 134714508 3221221776 3221219824 1074153672 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6819 6125 1111 63 0 6756 0
vsize: 27276
[startup+170.005 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4804
Raw data (stat): 4804 (bsolo_lpr_cuts) R 4803 7876 7672 0 -1 0 9148 0 0 0 16951 46 0 0 25 0 1 0 801157599 27930624 6125 4294967295 134512640 134714508 3221221776 3221220220 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6819 6125 1111 63 0 6756 0
vsize: 27276
[startup+180.005 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4804
Raw data (stat): 4804 (bsolo_lpr_cuts) R 4803 7876 7672 0 -1 0 9390 0 0 0 17948 49 0 0 25 0 1 0 801157599 27930624 6125 4294967295 134512640 134714508 3221221776 3221220152 1077410279 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6819 6125 1111 63 0 6756 0
vsize: 27276
[startup+190.006 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4804
Raw data (stat): 4804 (bsolo_lpr_cuts) R 4803 7876 7672 0 -1 0 9637 0 0 0 18946 51 0 0 25 0 1 0 801157599 27930624 6125 4294967295 134512640 134714508 3221221776 3221219504 1075635580 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6819 6125 1111 63 0 6756 0
vsize: 27276
[startup+200.006 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4804
Raw data (stat): 4804 (bsolo_lpr_cuts) R 4803 7876 7672 0 -1 0 9889 0 0 0 19942 55 0 0 25 0 1 0 801157599 27930624 6125 4294967295 134512640 134714508 3221221776 3221219520 1075646667 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6819 6125 1111 63 0 6756 0
vsize: 27276
[startup+210.006 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4804
Raw data (stat): 4804 (bsolo_lpr_cuts) R 4803 7876 7672 0 -1 0 10142 0 0 0 20940 58 0 0 25 0 1 0 801157599 27930624 6125 4294967295 134512640 134714508 3221221776 3221220352 134650027 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6819 6125 1111 63 0 6756 0
vsize: 27276
[startup+220.007 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4804
Raw data (stat): 4804 (bsolo_lpr_cuts) R 4803 7876 7672 0 -1 0 10394 0 0 0 21937 61 0 0 25 0 1 0 801157599 27930624 6125 4294967295 134512640 134714508 3221221776 3221219696 1075799512 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6819 6125 1111 63 0 6756 0
vsize: 27276
[startup+230.008 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4804
Raw data (stat): 4804 (bsolo_lpr_cuts) R 4803 7876 7672 0 -1 0 10642 0 0 0 22935 63 0 0 25 0 1 0 801157599 27930624 6125 4294967295 134512640 134714508 3221221776 3221220080 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6819 6125 1111 63 0 6756 0
vsize: 27276
[startup+240.007 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4804
Raw data (stat): 4804 (bsolo_lpr_cuts) R 4803 7876 7672 0 -1 0 10893 0 0 0 23932 66 0 0 25 0 1 0 801157599 27930624 6125 4294967295 134512640 134714508 3221221776 3221220176 1074118815 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6819 6125 1111 63 0 6756 0
vsize: 27276
[startup+250.008 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4804
Raw data (stat): 4804 (bsolo_lpr_cuts) R 4803 7876 7672 0 -1 0 11146 0 0 0 24931 68 0 0 25 0 1 0 801157599 27930624 6125 4294967295 134512640 134714508 3221221776 3221219504 1075828510 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6819 6125 1111 63 0 6756 0
vsize: 27276
[startup+260.008 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4804
Raw data (stat): 4804 (bsolo_lpr_cuts) R 4803 7876 7672 0 -1 0 11400 0 0 0 25928 70 0 0 25 0 1 0 801157599 27930624 6125 4294967295 134512640 134714508 3221221776 3221220032 1074153815 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6819 6125 1111 63 0 6756 0
vsize: 27276
[startup+270.008 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4804
Raw data (stat): 4804 (bsolo_lpr_cuts) R 4803 7876 7672 0 -1 0 11651 0 0 0 26925 74 0 0 25 0 1 0 801157599 28114944 6126 4294967295 134512640 134714508 3221221776 3221218896 1074837180 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6864 6126 1111 63 0 6801 0
vsize: 27456
[startup+280.008 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4804
Raw data (stat): 4804 (bsolo_lpr_cuts) R 4803 7876 7672 0 -1 0 11900 0 0 0 27922 77 0 0 25 0 1 0 801157599 27930624 6125 4294967295 134512640 134714508 3221221776 3221220028 1077411566 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6819 6125 1111 63 0 6756 0
vsize: 27276
[startup+290.009 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4804
Raw data (stat): 4804 (bsolo_lpr_cuts) R 4803 7876 7672 0 -1 0 12152 0 0 0 28921 78 0 0 25 0 1 0 801157599 27930624 6125 4294967295 134512640 134714508 3221221776 3221219776 1074916785 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6819 6125 1111 63 0 6756 0
vsize: 27276
[startup+300.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4804
Raw data (stat): 4804 (bsolo_lpr_cuts) R 4803 7876 7672 0 -1 0 12404 0 0 0 29918 81 0 0 25 0 1 0 801157599 27930624 6125 4294967295 134512640 134714508 3221221776 3221219920 1074153822 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6819 6125 1111 63 0 6756 0
vsize: 27276
[startup+310.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4804
Raw data (stat): 4804 (bsolo_lpr_cuts) R 4803 7876 7672 0 -1 0 14012 0 0 0 30911 89 0 0 25 0 1 0 801157599 27930624 6125 4294967295 134512640 134714508 3221221776 3221219456 1075895015 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6819 6125 1111 63 0 6756 0
vsize: 27276
[startup+320.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4804
Raw data (stat): 4804 (bsolo_lpr_cuts) R 4803 7876 7672 0 -1 0 18910 0 0 0 31898 102 0 0 25 0 1 0 801157599 27930624 6125 4294967295 134512640 134714508 3221221776 3221219872 1074153669 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6819 6125 1111 63 0 6756 0
vsize: 27276
[startup+330.009 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4804
Raw data (stat): 4804 (bsolo_lpr_cuts) R 4803 7876 7672 0 -1 0 26160 0 0 0 32878 122 0 0 25 0 1 0 801157599 27930624 6125 4294967295 134512640 134714508 3221221776 3221219776 1074056223 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6819 6125 1111 63 0 6756 0
vsize: 27276
[startup+340.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4804
Raw data (stat): 4804 (bsolo_lpr_cuts) R 4803 7876 7672 0 -1 0 36666 0 0 0 33850 150 0 0 25 0 1 0 801157599 27967488 6134 4294967295 134512640 134714508 3221221776 3221219872 1074153792 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6828 6134 1111 63 0 6765 0
vsize: 27312
[startup+350.011 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4804
Raw data (stat): 4804 (bsolo_lpr_cuts) R 4803 7876 7672 0 -1 0 47340 0 0 0 34826 174 0 0 25 0 1 0 801157599 28094464 6165 4294967295 134512640 134714508 3221221776 3221219784 1074138150 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6859 6165 1111 63 0 6796 0
vsize: 27436
[startup+360.011 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4804
Raw data (stat): 4804 (bsolo_lpr_cuts) R 4803 7876 7672 0 -1 0 53017 0 0 0 35810 190 0 0 25 0 1 0 801157599 28540928 6274 4294967295 134512640 134714508 3221221776 3221220176 1074153673 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6968 6274 1111 63 0 6905 0
vsize: 27872
[startup+370.012 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4804
Raw data (stat): 4804 (bsolo_lpr_cuts) R 4803 7876 7672 0 -1 0 61254 0 0 0 36791 210 0 0 25 0 1 0 801157599 28540928 6274 4294967295 134512640 134714508 3221221776 3221220080 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6968 6274 1111 63 0 6905 0
vsize: 27872
[startup+380.012 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4804
Raw data (stat): 4804 (bsolo_lpr_cuts) R 4803 7876 7672 0 -1 0 70278 0 0 0 37768 233 0 0 25 0 1 0 801157599 28852224 6350 4294967295 134512640 134714508 3221221776 3221219708 1077411564 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7044 6350 1111 63 0 6981 0
vsize: 28176
[startup+390.012 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4804
Raw data (stat): 4804 (bsolo_lpr_cuts) R 4803 7876 7672 0 -1 0 76772 0 0 0 38751 250 0 0 25 0 1 0 801157599 29143040 6418 4294967295 134512640 134714508 3221221776 3221220640 134643241 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7115 6418 1111 63 0 7052 0
vsize: 28460
[startup+400.013 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4804
Raw data (stat): 4804 (bsolo_lpr_cuts) R 4803 7876 7672 0 -1 0 84345 0 0 0 39731 270 0 0 25 0 1 0 801157599 29364224 6450 4294967295 134512640 134714508 3221221776 3221218840 1077378037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7169 6450 1111 63 0 7106 0
vsize: 28676
[startup+410.013 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4804
Raw data (stat): 4804 (bsolo_lpr_cuts) R 4803 7876 7672 0 -1 0 93469 0 0 0 40708 293 0 0 25 0 1 0 801157599 29495296 6507 4294967295 134512640 134714508 3221221776 3221219936 1074153663 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7201 6507 1111 63 0 7138 0
vsize: 28804
[startup+420.013 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4804
Raw data (stat): 4804 (bsolo_lpr_cuts) R 4803 7876 7672 0 -1 0 99350 0 0 0 41693 308 0 0 25 0 1 0 801157599 29814784 6586 4294967295 134512640 134714508 3221221776 3221220040 1074138150 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7279 6586 1111 63 0 7216 0
vsize: 29116
[startup+430.014 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4804
Raw data (stat): 4804 (bsolo_lpr_cuts) R 4803 7876 7672 0 -1 0 102114 0 0 0 42685 317 0 0 25 0 1 0 801157599 30048256 6644 4294967295 134512640 134714508 3221221776 3221219888 1074867278 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7336 6644 1111 63 0 7273 0
vsize: 29344
[startup+440.014 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4804
Raw data (stat): 4804 (bsolo_lpr_cuts) R 4803 7876 7672 0 -1 0 104117 0 0 0 43680 322 0 0 25 0 1 0 801157599 30048256 6644 4294967295 134512640 134714508 3221221776 3221219504 1075828201 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7336 6644 1111 63 0 7273 0
vsize: 29344
[startup+450.015 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4804
Raw data (stat): 4804 (bsolo_lpr_cuts) R 4803 7876 7672 0 -1 0 107406 0 0 0 44670 332 0 0 25 0 1 0 801157599 30466048 6746 4294967295 134512640 134714508 3221221776 3221219120 1074839039 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7438 6746 1111 63 0 7375 0
vsize: 29752
[startup+460.016 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4804
Raw data (stat): 4804 (bsolo_lpr_cuts) R 4803 7876 7672 0 -1 0 107631 0 0 0 45668 334 0 0 25 0 1 0 801157599 30437376 6739 4294967295 134512640 134714508 3221221776 3221219776 1074153663 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7431 6739 1111 63 0 7368 0
vsize: 29724
[startup+470.016 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4804
Raw data (stat): 4804 (bsolo_lpr_cuts) R 4803 7876 7672 0 -1 0 108604 0 0 0 46664 338 0 0 25 0 1 0 801157599 30437376 6739 4294967295 134512640 134714508 3221221776 3221220024 1074138162 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7431 6739 1111 63 0 7368 0
vsize: 29724
[startup+480.017 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4804
Raw data (stat): 4804 (bsolo_lpr_cuts) R 4803 7876 7672 0 -1 0 111021 0 0 0 47656 347 0 0 25 0 1 0 801157599 30437376 6739 4294967295 134512640 134714508 3221221776 3221219976 1077377899 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7431 6739 1111 63 0 7368 0
vsize: 29724
[startup+490.017 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4804
Raw data (stat): 4804 (bsolo_lpr_cuts) R 4803 7876 7672 0 -1 0 115416 0 0 0 48642 361 0 0 25 0 1 0 801157599 30437376 6739 4294967295 134512640 134714508 3221221776 3221220128 1074153822 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7431 6739 1111 63 0 7368 0
vsize: 29724
[startup+500.017 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4804
Raw data (stat): 4804 (bsolo_lpr_cuts) R 4803 7876 7672 0 -1 0 121184 0 0 0 49624 380 0 0 25 0 1 0 801157599 30437376 6739 4294967295 134512640 134714508 3221221776 3221220112 1074153675 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7431 6739 1111 63 0 7368 0
vsize: 29724
[startup+510.017 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4804
Raw data (stat): 4804 (bsolo_lpr_cuts) R 4803 7876 7672 0 -1 0 128681 0 0 0 50605 398 0 0 25 0 1 0 801157599 30724096 6804 4294967295 134512640 134714508 3221221776 3221219520 1075640407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7501 6804 1111 63 0 7438 0
vsize: 30004
[startup+520.018 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4804
Raw data (stat): 4804 (bsolo_lpr_cuts) R 4803 7876 7672 0 -1 0 137100 0 0 0 51584 419 0 0 25 0 1 0 801157599 30822400 6833 4294967295 134512640 134714508 3221221776 3221220176 1074153663 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7525 6833 1111 63 0 7462 0
vsize: 30100
[startup+530.019 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4804
Raw data (stat): 4804 (bsolo_lpr_cuts) R 4803 7876 7672 0 -1 0 141545 0 0 0 52572 431 0 0 25 0 1 0 801157599 31948800 7105 4294967295 134512640 134714508 3221221776 3221219776 1074918599 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7800 7105 1111 63 0 7737 0
vsize: 31200
[startup+540.018 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4804
Raw data (stat): 4804 (bsolo_lpr_cuts) R 4803 7876 7672 0 -1 0 146145 0 0 0 53561 443 0 0 25 0 1 0 801157599 31563776 7018 4294967295 134512640 134714508 3221221776 3221220192 1074117082 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7706 7018 1111 63 0 7643 0
vsize: 30824
[startup+550.019 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4804
Raw data (stat): 4804 (bsolo_lpr_cuts) R 4803 7876 7672 0 -1 0 151165 0 0 0 54551 453 0 0 25 0 1 0 801157599 31223808 6907 4294967295 134512640 134714508 3221221776 3221219424 1075817695 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7623 6907 1111 63 0 7560 0
vsize: 30492
[startup+560.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4804
Raw data (stat): 4804 (bsolo_lpr_cuts) R 4803 7876 7672 0 -1 0 157272 0 0 0 55535 469 0 0 25 0 1 0 801157599 32608256 7272 4294967295 134512640 134714508 3221221776 3221219776 1074918591 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7961 7272 1111 63 0 7898 0
vsize: 31844
[startup+570.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4804
Raw data (stat): 4804 (bsolo_lpr_cuts) R 4803 7876 7672 0 -1 0 160587 0 0 0 56527 477 0 0 25 0 1 0 801157599 33267712 7423 4294967295 134512640 134714508 3221221776 3221219776 1074918599 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8122 7423 1111 63 0 8059 0
vsize: 32488
[startup+580.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4804
Raw data (stat): 4804 (bsolo_lpr_cuts) R 4803 7876 7672 0 -1 0 164557 0 0 0 57517 487 0 0 25 0 1 0 801157599 32219136 7148 4294967295 134512640 134714508 3221221776 3221219888 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7866 7148 1111 63 0 7803 0
vsize: 31464
[startup+590.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4804
Raw data (stat): 4804 (bsolo_lpr_cuts) R 4803 7876 7672 0 -1 0 167946 0 0 0 58509 496 0 0 25 0 1 0 801157599 31571968 7022 4294967295 134512640 134714508 3221221776 3221220176 1074153663 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7708 7022 1111 63 0 7645 0
vsize: 30832
[startup+600.021 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4804
Raw data (stat): 4804 (bsolo_lpr_cuts) R 4803 7876 7672 0 -1 0 171095 0 0 0 59500 505 0 0 25 0 1 0 801157599 33878016 7552 4294967295 134512640 134714508 3221221776 3221219888 1074867320 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8271 7552 1111 63 0 8208 0
vsize: 33084
[startup+610.021 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4804
Raw data (stat): 4804 (bsolo_lpr_cuts) R 4803 7876 7672 0 -1 0 174785 0 0 0 60492 513 0 0 25 0 1 0 801157599 32317440 7204 4294967295 134512640 134714508 3221221776 3221219600 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7890 7204 1111 63 0 7827 0
vsize: 31560
[startup+620.021 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4804
Raw data (stat): 4804 (bsolo_lpr_cuts) R 4803 7876 7672 0 -1 0 179612 0 0 0 61480 525 0 0 25 0 1 0 801157599 31645696 7040 4294967295 134512640 134714508 3221221776 3221220088 1074138162 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7726 7040 1111 63 0 7663 0
vsize: 30904
[startup+630.021 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4804
Raw data (stat): 4804 (bsolo_lpr_cuts) R 4803 7876 7672 0 -1 0 181912 0 0 0 62475 531 0 0 25 0 1 0 801157599 32333824 7208 4294967295 134512640 134714508 3221221776 3221219872 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7894 7208 1111 63 0 7831 0
vsize: 31576
[startup+640.021 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4804
Raw data (stat): 4804 (bsolo_lpr_cuts) R 4803 7876 7672 0 -1 0 184454 0 0 0 63469 537 0 0 25 0 1 0 801157599 33845248 7571 4294967295 134512640 134714508 3221221776 3221219776 1074918597 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8263 7571 1111 63 0 8200 0
vsize: 33052
[startup+650.022 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4804
Raw data (stat): 4804 (bsolo_lpr_cuts) R 4803 7876 7672 0 -1 0 188437 0 0 0 64460 546 0 0 25 0 1 0 801157599 32137216 7160 4294967295 134512640 134714508 3221221776 3221220160 1074153786 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7846 7160 1111 63 0 7783 0
vsize: 31384
[startup+660.022 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4804
Raw data (stat): 4804 (bsolo_lpr_cuts) R 4803 7876 7672 0 -1 0 192295 0 0 0 65450 556 0 0 25 0 1 0 801157599 32653312 7286 4294967295 134512640 134714508 3221221776 3221219056 1074140406 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7972 7286 1111 63 0 7909 0
vsize: 31888
[startup+670.023 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4804
Raw data (stat): 4804 (bsolo_lpr_cuts) R 4803 7876 7672 0 -1 0 196543 0 0 0 66439 567 0 0 25 0 1 0 801157599 31842304 7088 4294967295 134512640 134714508 3221221776 3221219600 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7774 7088 1111 63 0 7711 0
vsize: 31096
[startup+680.023 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4804
Raw data (stat): 4804 (bsolo_lpr_cuts) R 4803 7876 7672 0 -1 0 199951 0 0 0 67432 575 0 0 25 0 1 0 801157599 32088064 7148 4294967295 134512640 134714508 3221221776 3221219360 1074153760 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7834 7148 1111 63 0 7771 0
vsize: 31336
[startup+690.023 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4804
Raw data (stat): 4804 (bsolo_lpr_cuts) R 4803 7876 7672 0 -1 0 203843 0 0 0 68422 585 0 0 25 0 1 0 801157599 32366592 7216 4294967295 134512640 134714508 3221221776 3221220240 1074121071 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7902 7216 1111 63 0 7839 0
vsize: 31608
[startup+700.024 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4804
Raw data (stat): 4804 (bsolo_lpr_cuts) R 4803 7876 7672 0 -1 0 207807 0 0 0 69413 594 0 0 25 0 1 0 801157599 31645696 7040 4294967295 134512640 134714508 3221221776 3221219736 1074138150 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7726 7040 1111 63 0 7663 0
vsize: 30904
[startup+710.025 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4804
Raw data (stat): 4804 (bsolo_lpr_cuts) R 4803 7876 7672 0 -1 0 211695 0 0 0 70402 605 0 0 25 0 1 0 801157599 32223232 7151 4294967295 134512640 134714508 3221221776 3221219600 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7867 7151 1111 63 0 7804 0
vsize: 31468
[startup+720.025 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4804
Raw data (stat): 4804 (bsolo_lpr_cuts) R 4803 7876 7672 0 -1 0 215419 0 0 0 71394 614 0 0 25 0 1 0 801157599 31645696 7040 4294967295 134512640 134714508 3221221776 3221220128 1074153675 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7726 7040 1111 63 0 7663 0
vsize: 30904
[startup+730.025 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4804
Raw data (stat): 4804 (bsolo_lpr_cuts) R 4803 7876 7672 0 -1 0 218963 0 0 0 72385 622 0 0 25 0 1 0 801157599 31850496 7041 4294967295 134512640 134714508 3221221776 3221219600 1075823498 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7776 7041 1111 63 0 7713 0
vsize: 31104
[startup+740.025 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4804
Raw data (stat): 4804 (bsolo_lpr_cuts) R 4803 7876 7672 0 -1 0 222248 0 0 0 73376 631 0 0 25 0 1 0 801157599 31907840 7072 4294967295 134512640 134714508 3221221776 3221218880 1074138740 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7790 7072 1111 63 0 7727 0
vsize: 31160
[startup+750.026 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4804
Raw data (stat): 4804 (bsolo_lpr_cuts) R 4803 7876 7672 0 -1 0 225266 0 0 0 74369 638 0 0 25 0 1 0 801157599 32116736 7155 4294967295 134512640 134714508 3221221776 3221219552 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7841 7155 1111 63 0 7778 0
vsize: 31364
[startup+760.026 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4804
Raw data (stat): 4804 (bsolo_lpr_cuts) R 4803 7876 7672 0 -1 0 228594 0 0 0 75359 648 0 0 25 0 1 0 801157599 32169984 7168 4294967295 134512640 134714508 3221221776 3221220488 134543168 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7854 7168 1111 63 0 7791 0
vsize: 31416
[startup+770.026 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4804
Raw data (stat): 4804 (bsolo_lpr_cuts) R 4803 7876 7672 0 -1 0 231322 0 0 0 76351 655 0 0 25 0 1 0 801157599 32100352 7151 4294967295 134512640 134714508 3221221776 3221220160 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7837 7151 1111 63 0 7774 0
vsize: 31348
[startup+780.027 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4804
Raw data (stat): 4804 (bsolo_lpr_cuts) R 4803 7876 7672 0 -1 0 235691 0 0 0 77340 667 0 0 25 0 1 0 801157599 31703040 7051 4294967295 134512640 134714508 3221221776 3221219776 1074918591 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7740 7051 1111 63 0 7677 0
vsize: 30960
[startup+790.026 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4804
Raw data (stat): 4804 (bsolo_lpr_cuts) R 4803 7876 7672 0 -1 0 239270 0 0 0 78331 676 0 0 25 0 1 0 801157599 31645696 7040 4294967295 134512640 134714508 3221221776 3221220176 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7726 7040 1111 63 0 7663 0
vsize: 30904
[startup+800.027 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4804
Raw data (stat): 4804 (bsolo_lpr_cuts) R 4803 7876 7672 0 -1 0 242906 0 0 0 79323 685 0 0 25 0 1 0 801157599 32247808 7118 4294967295 134512640 134714508 3221221776 3221218160 1075133410 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7873 7118 1111 63 0 7810 0
vsize: 31492
[startup+810.028 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4804
Raw data (stat): 4804 (bsolo_lpr_cuts) R 4803 7876 7672 0 -1 0 245483 0 0 0 80316 692 0 0 25 0 1 0 801157599 33878016 7572 4294967295 134512640 134714508 3221221776 3221219776 1074918599 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8271 7572 1111 63 0 8208 0
vsize: 33084
[startup+820.028 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4804
Raw data (stat): 4804 (bsolo_lpr_cuts) R 4803 7876 7672 0 -1 0 249270 0 0 0 81308 700 0 0 25 0 1 0 801157599 33992704 7553 4294967295 134512640 134714508 3221221776 3221219600 1075823591 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8299 7553 1111 63 0 8236 0
vsize: 33196
[startup+830.029 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4804
Raw data (stat): 4804 (bsolo_lpr_cuts) R 4803 7876 7672 0 -1 0 252475 0 0 0 82300 708 0 0 25 0 1 0 801157599 32104448 7152 4294967295 134512640 134714508 3221221776 3221220080 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7838 7152 1111 63 0 7775 0
vsize: 31352
[startup+840.029 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4804
Raw data (stat): 4804 (bsolo_lpr_cuts) R 4803 7876 7672 0 -1 0 256112 0 0 0 83290 718 0 0 25 0 1 0 801157599 31645696 7040 4294967295 134512640 134714508 3221221776 3221219584 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7726 7040 1111 63 0 7663 0
vsize: 30904
[startup+850.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4804
Raw data (stat): 4804 (bsolo_lpr_cuts) R 4803 7876 7672 0 -1 0 259592 0 0 0 84283 726 0 0 25 0 1 0 801157599 31883264 7098 4294967295 134512640 134714508 3221221776 3221219824 1077814665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7784 7098 1111 63 0 7721 0
vsize: 31136
[startup+860.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4804
Raw data (stat): 4804 (bsolo_lpr_cuts) R 4803 7876 7672 0 -1 0 264818 0 0 0 85270 739 0 0 25 0 1 0 801157599 32219136 7089 4294967295 134512640 134714508 3221221776 3221218344 1077410163 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7866 7089 1111 63 0 7803 0
vsize: 31464
[startup+870.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4804
Raw data (stat): 4804 (bsolo_lpr_cuts) R 4803 7876 7672 0 -1 0 267752 0 0 0 86263 745 0 0 25 0 1 0 801157599 33886208 7475 4294967295 134512640 134714508 3221221776 3221218016 1075115709 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8273 7475 1111 63 0 8210 0
vsize: 33092
[startup+880.031 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4804
Raw data (stat): 4804 (bsolo_lpr_cuts) R 4803 7876 7672 0 -1 0 270774 0 0 0 87257 752 0 0 25 0 1 0 801157599 33890304 7574 4294967295 134512640 134714508 3221221776 3221219776 1074918594 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8274 7574 1111 63 0 8211 0
vsize: 33096
[startup+890.032 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4857
Raw data (stat): 4804 (bsolo_lpr_cuts) R 4803 7876 7672 0 -1 0 275858 0 0 0 88245 764 0 0 25 0 1 0 801157599 32505856 7250 4294967295 134512640 134714508 3221221776 3221220112 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7936 7250 1111 63 0 7873 0
vsize: 31744
[startup+900.033 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4857
Raw data (stat): 4804 (bsolo_lpr_cuts) R 4803 7876 7672 0 -1 0 279686 0 0 0 89236 774 0 0 25 0 1 0 801157599 32108544 7125 4294967295 134512640 134714508 3221221776 3221219632 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7840 7126 1111 63 0 7777 0
vsize: 31356
[startup+910.034 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4857
Raw data (stat): 4804 (bsolo_lpr_cuts) R 4803 7876 7672 0 -1 0 283727 0 0 0 90226 783 0 0 25 0 1 0 801157599 32219136 7167 4294967295 134512640 134714508 3221221776 3221219792 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7866 7167 1111 63 0 7803 0
vsize: 31464
[startup+920.034 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4857
Raw data (stat): 4804 (bsolo_lpr_cuts) R 4803 7876 7672 0 -1 0 288144 0 0 0 91216 794 0 0 25 0 1 0 801157599 32333824 7208 4294967295 134512640 134714508 3221221776 3221219504 1074153760 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7894 7208 1111 63 0 7831 0
vsize: 31576
[startup+930.035 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4857
Raw data (stat): 4804 (bsolo_lpr_cuts) R 4803 7876 7672 0 -1 0 295389 0 0 0 92200 810 0 0 25 0 1 0 801157599 32260096 7191 4294967295 134512640 134714508 3221221776 3221219776 1074918594 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7876 7191 1111 63 0 7813 0
vsize: 31504
[startup+940.036 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4857
Raw data (stat): 4804 (bsolo_lpr_cuts) R 4803 7876 7672 0 -1 0 297259 0 0 0 93194 816 0 0 25 0 1 0 801157599 32489472 7247 4294967295 134512640 134714508 3221221776 3221219560 1077410279 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7932 7247 1111 63 0 7869 0
vsize: 31728
[startup+950.037 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4857
Raw data (stat): 4804 (bsolo_lpr_cuts) R 4803 7876 7672 0 -1 0 299862 0 0 0 94188 823 0 0 25 0 1 0 801157599 34422784 7719 4294967295 134512640 134714508 3221221776 3221219776 1074918591 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8404 7719 1111 63 0 8341 0
vsize: 33616
[startup+960.038 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4857
Raw data (stat): 4804 (bsolo_lpr_cuts) R 4803 7876 7672 0 -1 0 303022 0 0 0 95180 831 0 0 25 0 1 0 801157599 32260096 7191 4294967295 134512640 134714508 3221221776 3221219776 1074918576 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7876 7191 1111 63 0 7813 0
vsize: 31504
[startup+970.038 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4859
Raw data (stat): 4804 (bsolo_lpr_cuts) R 4803 7876 7672 0 -1 0 305845 0 0 0 96173 838 0 0 25 0 1 0 801157599 32325632 7202 4294967295 134512640 134714508 3221221776 3221219776 1074918562 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7892 7202 1111 63 0 7829 0
vsize: 31568
[startup+980.038 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4859
Raw data (stat): 4804 (bsolo_lpr_cuts) R 4803 7876 7672 0 -1 0 308520 0 0 0 97166 846 0 0 25 0 1 0 801157599 32616448 7196 4294967295 134512640 134714508 3221221776 3221218840 1077410205 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7963 7196 1111 63 0 7900 0
vsize: 31852
[startup+990.038 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4859
Raw data (stat): 4804 (bsolo_lpr_cuts) R 4803 7876 7672 0 -1 0 310947 0 0 0 98160 851 0 0 25 0 1 0 801157599 32428032 7205 4294967295 134512640 134714508 3221221776 3221219584 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7917 7205 1111 63 0 7854 0
vsize: 31668
[startup+1000.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4859
Raw data (stat): 4804 (bsolo_lpr_cuts) R 4803 7876 7672 0 -1 0 314277 0 0 0 99153 859 0 0 25 0 1 0 801157599 32260096 7191 4294967295 134512640 134714508 3221221776 3221220176 1074153675 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7876 7191 1111 63 0 7813 0
vsize: 31504
[startup+1010.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4859
Raw data (stat): 4804 (bsolo_lpr_cuts) R 4803 7876 7672 0 -1 0 315923 0 0 0 100148 864 0 0 25 0 1 0 801157599 32256000 7190 4294967295 134512640 134714508 3221221776 3221219776 1074918591 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7875 7190 1111 63 0 7812 0
vsize: 31500
[startup+1020.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4859
Raw data (stat): 4804 (bsolo_lpr_cuts) R 4803 7876 7672 0 -1 0 317675 0 0 0 101143 869 0 0 25 0 1 0 801157599 32256000 7190 4294967295 134512640 134714508 3221221776 3221220160 1074153648 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7875 7190 1111 63 0 7812 0
vsize: 31500
[startup+1030.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4859
Raw data (stat): 4804 (bsolo_lpr_cuts) R 4803 7876 7672 0 -1 0 318393 0 0 0 102138 874 0 0 25 0 1 0 801157599 32256000 7190 4294967295 134512640 134714508 3221221776 3221220224 1073990361 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7875 7190 1111 63 0 7812 0
vsize: 31500
[startup+1040.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4859
Raw data (stat): 4804 (bsolo_lpr_cuts) R 4803 7876 7672 0 -1 0 319439 0 0 0 103133 879 0 0 25 0 1 0 801157599 32256000 7190 4294967295 134512640 134714508 3221221776 3221219776 1074918533 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7875 7190 1111 63 0 7812 0
vsize: 31500
[startup+1050.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4859
Raw data (stat): 4804 (bsolo_lpr_cuts) R 4803 7876 7672 0 -1 0 321711 0 0 0 104126 887 0 0 25 0 1 0 801157599 32256000 7190 4294967295 134512640 134714508 3221221776 3221219520 1075640490 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7875 7190 1111 63 0 7812 0
vsize: 31500
[startup+1060.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4859
Raw data (stat): 4804 (bsolo_lpr_cuts) R 4803 7876 7672 0 -1 0 325778 0 0 0 105114 899 0 0 25 0 1 0 801157599 32268288 7190 4294967295 134512640 134714508 3221221776 3221219776 1074916322 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7878 7190 1111 63 0 7815 0
vsize: 31512
[startup+1070.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4859
Raw data (stat): 4804 (bsolo_lpr_cuts) R 4803 7876 7672 0 -1 0 333735 0 0 0 106091 922 0 0 25 0 1 0 801157599 32448512 7215 4294967295 134512640 134714508 3221221776 3221220188 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7922 7215 1111 63 0 7859 0
vsize: 31688
[startup+1080.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4859
Raw data (stat): 4804 (bsolo_lpr_cuts) R 4803 7876 7672 0 -1 0 344761 0 0 0 107066 948 0 0 25 0 1 0 801157599 33026048 7287 4294967295 134512640 134714508 3221221776 3221218760 1074831413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8063 7287 1111 63 0 8000 0
vsize: 32252
[startup+1090.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4859
Raw data (stat): 4804 (bsolo_lpr_cuts) R 4803 7876 7672 0 -1 0 356175 0 0 0 108037 976 0 0 25 0 1 0 801157599 32657408 7261 4294967295 134512640 134714508 3221221776 3221219560 1077410205 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7973 7269 1111 63 0 7910 0
vsize: 31892
[startup+1100.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4859
Raw data (stat): 4804 (bsolo_lpr_cuts) R 4803 7876 7672 0 -1 0 367373 0 0 0 109009 1004 0 0 25 0 1 0 801157599 32972800 7309 4294967295 134512640 134714508 3221221776 3221219696 1075799638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8050 7309 1111 63 0 7987 0
vsize: 32200
[startup+1110.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4859
Raw data (stat): 4804 (bsolo_lpr_cuts) R 4803 7876 7672 0 -1 0 378095 0 0 0 109982 1031 0 0 25 0 1 0 801157599 33480704 7404 4294967295 134512640 134714508 3221221776 3221217936 1075091317 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8174 7405 1111 63 0 8111 0
vsize: 32696
[startup+1120.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4859
Raw data (stat): 4804 (bsolo_lpr_cuts) R 4803 7876 7672 0 -1 0 387473 0 0 0 110956 1058 0 0 25 0 1 0 801157599 33427456 7470 4294967295 134512640 134714508 3221221776 3221219600 1075138262 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8161 7470 1111 63 0 8098 0
vsize: 32644
[startup+1130.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4859
Raw data (stat): 4804 (bsolo_lpr_cuts) R 4803 7876 7672 0 -1 0 397799 0 0 0 111933 1082 0 0 25 0 1 0 801157599 33751040 7489 4294967295 134512640 134714508 3221221776 3221218668 1077386340 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8284 7492 1111 63 0 8221 0
vsize: 32960
[startup+1140.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4859
Raw data (stat): 4804 (bsolo_lpr_cuts) R 4803 7876 7672 0 -1 0 407718 0 0 0 112910 1104 0 0 25 0 1 0 801157599 33562624 7472 4294967295 134512640 134714508 3221221776 3221219580 1077386340 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8194 7477 1111 63 0 8131 0
vsize: 32776
[startup+1150.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4859
Raw data (stat): 4804 (bsolo_lpr_cuts) R 4803 7876 7672 0 -1 0 417143 0 0 0 113888 1127 0 0 25 0 1 0 801157599 33599488 7518 4294967295 134512640 134714508 3221221776 3221220128 1074142734 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8203 7518 1111 63 0 8140 0
vsize: 32812
[startup+1160.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4859
Raw data (stat): 4804 (bsolo_lpr_cuts) R 4803 7876 7672 0 -1 0 426241 0 0 0 114866 1149 0 0 25 0 1 0 801157599 34017280 7620 4294967295 134512640 134714508 3221221776 3221219920 1074153794 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8305 7620 1111 63 0 8242 0
vsize: 33220
[startup+1170.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4859
Raw data (stat): 4804 (bsolo_lpr_cuts) R 4803 7876 7672 0 -1 0 433682 0 0 0 115847 1168 0 0 25 0 1 0 801157599 34377728 7651 4294967295 134512640 134714508 3221221776 3221219504 1075828581 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8393 7651 1111 63 0 8330 0
vsize: 33572
[startup+1175 s]
Raw data (loadavg): 1.00 1.00 0.92 1/54 4859
Raw data (stat): 4804 (bsolo_lpr_cuts) R 4803 7876 7672 0 -1 0 433682 0 0 0 115847 1168 0 0 25 0 1 0 801157599 34377728 7651 4294967295 134512640 134714508 3221221776 3221219504 1075828581 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8393 7651 1111 63 0 8330 0
vsize: 0

Child status: 0
Real time (s): 1175
CPU time (s): 1175.12
CPU user time (s): 1163.31
CPU system time (s): 11.8052
CPU usage (%): 100.01
Max. virtual memory (Kb): 33616
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####