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/miplib/normalized-mps-v2-13-7-vpm1.opb
MD5SUM	96fe6be9d2b9e3e89a4b05733b0daf45
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.07084
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 27374

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc19 THE 2005-05-24 21:21:34 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=17357 boxname=wulflinc19 idbench=1336 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  96fe6be9d2b9e3e89a4b05733b0daf45  /oldhome/oroussel/tmp/wulflinc19/normalized-mps-v2-13-7-vpm1.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc19/normalized-mps-v2-13-7-vpm1.opb
IDLAUNCH: 17357
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.037
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.037
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	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        876388 kB
Buffers:         25924 kB
Cached:         105204 kB
SwapCached:        520 kB
Active:          29264 kB
Inactive:       104240 kB
HighTotal:      131008 kB
HighFree:        55580 kB
LowTotal:       903652 kB
LowFree:        820808 kB
SwapTotal:     2097892 kB
SwapFree:      2096796 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5676 kB
Slab:            19124 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-24 21:41:09 (client local time) WITH STATUS 0 IN 1175.08 SECONDS
stats: 17357 7 1175.08 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 50.247 s
c Initial Lower Bound: 16
c Lower Bound Elapsed time: 0.18325
c Use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.05 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.97 0.91 2/54 15039
Raw data (stat): 15039 (runsolver) R 15038 10795 10794 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 833431211 1052672 99 4294967295 134512640 135381576 3221224480 3221219692 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0011 s]
Raw data (loadavg): 0.87 0.97 0.91 2/54 15039
Raw data (stat): 15039 (bsolo_lpr_cuts) R 15038 10795 10794 0 -1 0 5917 0 0 0 983 15 0 0 25 0 1 0 833431211 27402240 5839 4294967295 134512640 134714508 3221224592 3221223232 134606488 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6690 5839 1111 63 0 6627 0
vsize: 26760
[startup+20.0018 s]
Raw data (loadavg): 0.89 0.97 0.91 2/54 15039
Raw data (stat): 15039 (bsolo_lpr_cuts) R 15038 10795 10794 0 -1 0 5957 0 0 0 1983 15 0 0 25 0 1 0 833431211 27529216 5879 4294967295 134512640 134714508 3221224592 3221223232 134606474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6721 5879 1111 63 0 6658 0
vsize: 26884
[startup+30.0023 s]
Raw data (loadavg): 0.91 0.97 0.91 2/54 15039
Raw data (stat): 15039 (bsolo_lpr_cuts) R 15038 10795 10794 0 -1 0 6057 0 0 0 2983 15 0 0 25 0 1 0 833431211 27779072 5923 4294967295 134512640 134714508 3221224592 3221223232 134606474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6782 5923 1111 63 0 6719 0
vsize: 27128
[startup+40.0024 s]
Raw data (loadavg): 0.92 0.97 0.91 2/54 15039
Raw data (stat): 15039 (bsolo_lpr_cuts) R 15038 10795 10794 0 -1 0 6070 0 0 0 3983 15 0 0 25 0 1 0 833431211 27779072 5936 4294967295 134512640 134714508 3221224592 3221223232 134606494 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6782 5936 1111 63 0 6719 0
vsize: 27128
[startup+50.0031 s]
Raw data (loadavg): 0.93 0.97 0.91 2/54 15039
Raw data (stat): 15039 (bsolo_lpr_cuts) R 15038 10795 10794 0 -1 0 6087 0 0 0 4983 16 0 0 25 0 1 0 833431211 27918336 5953 4294967295 134512640 134714508 3221224592 3221223372 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6816 5953 1111 63 0 6753 0
vsize: 27264
[startup+60.0037 s]
Raw data (loadavg): 0.94 0.97 0.91 2/54 15039
Raw data (stat): 15039 (bsolo_lpr_cuts) R 15038 10795 10794 0 -1 0 6656 0 0 0 5981 18 0 0 25 0 1 0 833431211 28041216 6137 4294967295 134512640 134714508 3221224592 3221222772 1077782939 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6818 6123 1111 63 0 6755 0
vsize: 27384
[startup+70.0048 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 15039
Raw data (stat): 15039 (bsolo_lpr_cuts) R 15038 10795 10794 0 -1 0 7167 0 0 0 6979 20 0 0 25 0 1 0 833431211 27926528 6123 4294967295 134512640 134714508 3221224592 3221222488 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6818 6123 1111 63 0 6755 0
vsize: 27272
[startup+80.0045 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 15039
Raw data (stat): 15039 (bsolo_lpr_cuts) R 15038 10795 10794 0 -1 0 7329 0 0 0 7978 21 0 0 25 0 1 0 833431211 27926528 6123 4294967295 134512640 134714508 3221224592 3221223328 134556745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6818 6123 1111 63 0 6755 0
vsize: 27272
[startup+90.005 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 15039
Raw data (stat): 15039 (bsolo_lpr_cuts) R 15038 10795 10794 0 -1 0 7511 0 0 0 8976 24 0 0 25 0 1 0 833431211 27926528 6123 4294967295 134512640 134714508 3221224592 3221222976 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6818 6123 1111 63 0 6755 0
vsize: 27272
[startup+100.005 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 15039
Raw data (stat): 15039 (bsolo_lpr_cuts) R 15038 10795 10794 0 -1 0 7705 0 0 0 9974 25 0 0 25 0 1 0 833431211 27926528 6123 4294967295 134512640 134714508 3221224592 3221222896 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6818 6123 1111 63 0 6755 0
vsize: 27272
[startup+110.006 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 15039
Raw data (stat): 15039 (bsolo_lpr_cuts) R 15038 10795 10794 0 -1 0 7889 0 0 0 10973 27 0 0 25 0 1 0 833431211 27926528 6123 4294967295 134512640 134714508 3221224592 3221222256 1074056202 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6818 6123 1111 63 0 6755 0
vsize: 27272
[startup+120.005 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 15039
Raw data (stat): 15039 (bsolo_lpr_cuts) R 15038 10795 10794 0 -1 0 8073 0 0 0 11970 30 0 0 25 0 1 0 833431211 27926528 6123 4294967295 134512640 134714508 3221224592 3221222992 1074153812 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6818 6123 1111 63 0 6755 0
vsize: 27272
[startup+130.006 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 15039
Raw data (stat): 15039 (bsolo_lpr_cuts) R 15038 10795 10794 0 -1 0 8264 0 0 0 12968 32 0 0 25 0 1 0 833431211 27926528 6123 4294967295 134512640 134714508 3221224592 3221222592 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6818 6123 1111 63 0 6755 0
vsize: 27272
[startup+140.006 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 15039
Raw data (stat): 15039 (bsolo_lpr_cuts) R 15038 10795 10794 0 -1 0 8453 0 0 0 13966 34 0 0 25 0 1 0 833431211 27926528 6123 4294967295 134512640 134714508 3221224592 3221222512 1075799720 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6818 6123 1111 63 0 6755 0
vsize: 27272
[startup+150.007 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 15039
Raw data (stat): 15039 (bsolo_lpr_cuts) R 15038 10795 10794 0 -1 0 8649 0 0 0 14964 36 0 0 25 0 1 0 833431211 28110848 6125 4294967295 134512640 134714508 3221224592 3221221248 1075966534 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6863 6125 1111 63 0 6800 0
vsize: 27452
[startup+160.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15039
Raw data (stat): 15039 (bsolo_lpr_cuts) R 15038 10795 10794 0 -1 0 8862 0 0 0 15961 39 0 0 25 0 1 0 833431211 27926528 6124 4294967295 134512640 134714508 3221224592 3221222664 1074138166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6818 6124 1111 63 0 6755 0
vsize: 27272
[startup+170.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15039
Raw data (stat): 15039 (bsolo_lpr_cuts) R 15038 10795 10794 0 -1 0 9092 0 0 0 16959 41 0 0 25 0 1 0 833431211 27926528 6124 4294967295 134512640 134714508 3221224592 3221222592 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6818 6124 1111 63 0 6755 0
vsize: 27272
[startup+180.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15039
Raw data (stat): 15039 (bsolo_lpr_cuts) R 15038 10795 10794 0 -1 0 9328 0 0 0 17956 44 0 0 25 0 1 0 833431211 27926528 6124 4294967295 134512640 134714508 3221224592 3221222944 1074153669 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6818 6124 1111 63 0 6755 0
vsize: 27272
[startup+190.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15039
Raw data (stat): 15039 (bsolo_lpr_cuts) R 15038 10795 10794 0 -1 0 9574 0 0 0 18954 47 0 0 25 0 1 0 833431211 27926528 6124 4294967295 134512640 134714508 3221224592 3221223252 134649897 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6818 6124 1111 63 0 6755 0
vsize: 27272
[startup+200.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15039
Raw data (stat): 15039 (bsolo_lpr_cuts) R 15038 10795 10794 0 -1 0 9824 0 0 0 19951 49 0 0 25 0 1 0 833431211 27926528 6124 4294967295 134512640 134714508 3221224592 3221222416 1075824339 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6818 6124 1111 63 0 6755 0
vsize: 27272
[startup+210.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15039
Raw data (stat): 15039 (bsolo_lpr_cuts) R 15038 10795 10794 0 -1 0 10075 0 0 0 20948 53 0 0 25 0 1 0 833431211 28110848 6125 4294967295 134512640 134714508 3221224592 3221220864 1074961635 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6863 6125 1111 63 0 6800 0
vsize: 27452
[startup+220.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15039
Raw data (stat): 15039 (bsolo_lpr_cuts) R 15038 10795 10794 0 -1 0 10328 0 0 0 21946 55 0 0 25 0 1 0 833431211 27926528 6124 4294967295 134512640 134714508 3221224592 3221222560 1074247426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6818 6124 1111 63 0 6755 0
vsize: 27272
[startup+230.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15039
Raw data (stat): 15039 (bsolo_lpr_cuts) R 15038 10795 10794 0 -1 0 10576 0 0 0 22943 58 0 0 25 0 1 0 833431211 27926528 6124 4294967295 134512640 134714508 3221224592 3221222744 1074138166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6818 6124 1111 63 0 6755 0
vsize: 27272
[startup+240.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15039
Raw data (stat): 15039 (bsolo_lpr_cuts) R 15038 10795 10794 0 -1 0 10825 0 0 0 23940 61 0 0 25 0 1 0 833431211 27926528 6124 4294967295 134512640 134714508 3221224592 3221221904 1075006855 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6818 6124 1111 63 0 6755 0
vsize: 27272
[startup+250.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15039
Raw data (stat): 15039 (bsolo_lpr_cuts) R 15038 10795 10794 0 -1 0 11078 0 0 0 24937 65 0 0 25 0 1 0 833431211 27926528 6124 4294967295 134512640 134714508 3221224592 3221222928 1074153794 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6818 6124 1111 63 0 6755 0
vsize: 27272
[startup+260.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15039
Raw data (stat): 15039 (bsolo_lpr_cuts) R 15038 10795 10794 0 -1 0 11330 0 0 0 25936 66 0 0 25 0 1 0 833431211 27926528 6124 4294967295 134512640 134714508 3221224592 3221222944 134650104 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6818 6124 1111 63 0 6755 0
vsize: 27272
[startup+270.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15039
Raw data (stat): 15039 (bsolo_lpr_cuts) R 15038 10795 10794 0 -1 0 11582 0 0 0 26932 70 0 0 25 0 1 0 833431211 27926528 6124 4294967295 134512640 134714508 3221224592 3221222752 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6818 6124 1111 63 0 6755 0
vsize: 27272
[startup+280.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15039
Raw data (stat): 15039 (bsolo_lpr_cuts) R 15038 10795 10794 0 -1 0 11829 0 0 0 27930 72 0 0 25 0 1 0 833431211 28110848 6125 4294967295 134512640 134714508 3221224592 3221220864 1074807397 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6863 6125 1111 63 0 6800 0
vsize: 27452
[startup+290.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15039
Raw data (stat): 15039 (bsolo_lpr_cuts) R 15038 10795 10794 0 -1 0 12081 0 0 0 28928 75 0 0 25 0 1 0 833431211 28110848 6125 4294967295 134512640 134714508 3221224592 3221220912 1075171790 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6863 6125 1111 63 0 6800 0
vsize: 27452
[startup+300.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15039
Raw data (stat): 15039 (bsolo_lpr_cuts) R 15038 10795 10794 0 -1 0 12330 0 0 0 29925 77 0 0 25 0 1 0 833431211 27926528 6124 4294967295 134512640 134714508 3221224592 3221222992 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6818 6124 1111 63 0 6755 0
vsize: 27272
[startup+310.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15039
Raw data (stat): 15039 (bsolo_lpr_cuts) R 15038 10795 10794 0 -1 0 13097 0 0 0 30922 80 0 0 25 0 1 0 833431211 27926528 6124 4294967295 134512640 134714508 3221224592 3221222928 1074153792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6818 6124 1111 63 0 6755 0
vsize: 27272
[startup+320.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15039
Raw data (stat): 15039 (bsolo_lpr_cuts) R 15038 10795 10794 0 -1 0 17351 0 0 0 31911 92 0 0 25 0 1 0 833431211 27926528 6124 4294967295 134512640 134714508 3221224592 3221222336 1075640218 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6818 6124 1111 63 0 6755 0
vsize: 27272
[startup+330.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15039
Raw data (stat): 15039 (bsolo_lpr_cuts) R 15038 10795 10794 0 -1 0 23750 0 0 0 32894 109 0 0 25 0 1 0 833431211 27926528 6124 4294967295 134512640 134714508 3221224592 3221222808 1074138144 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6818 6124 1111 63 0 6755 0
vsize: 27272
[startup+340.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15039
Raw data (stat): 15039 (bsolo_lpr_cuts) R 15038 10795 10794 0 -1 0 33421 0 0 0 33867 137 0 0 25 0 1 0 833431211 27947008 6129 4294967295 134512640 134714508 3221224592 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6823 6129 1111 63 0 6760 0
vsize: 27292
[startup+350.01 s]
Raw data (loadavg): 1.15 1.00 0.92 2/54 15039
Raw data (stat): 15039 (bsolo_lpr_cuts) R 15038 10795 10794 0 -1 0 44240 0 0 0 34837 167 0 0 25 0 1 0 833431211 28205056 6191 4294967295 134512640 134714508 3221224592 3221223440 134623453 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6886 6191 1111 63 0 6823 0
vsize: 27544
[startup+360.011 s]
Raw data (loadavg): 1.12 1.00 0.92 2/54 15039
Raw data (stat): 15039 (bsolo_lpr_cuts) R 15038 10795 10794 0 -1 0 51531 0 0 0 35817 187 0 0 25 0 1 0 833431211 28672000 6274 4294967295 134512640 134714508 3221224592 3221222320 1075829483 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7000 6274 1111 63 0 6937 0
vsize: 28000
[startup+370.011 s]
Raw data (loadavg): 1.10 1.00 0.92 2/54 15039
Raw data (stat): 15039 (bsolo_lpr_cuts) R 15038 10795 10794 0 -1 0 58152 0 0 0 36797 207 0 0 25 0 1 0 833431211 28536832 6273 4294967295 134512640 134714508 3221224592 3221223040 1074039238 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6967 6273 1111 63 0 6904 0
vsize: 27868
[startup+380.011 s]
Raw data (loadavg): 1.09 1.00 0.92 2/54 15039
Raw data (stat): 15039 (bsolo_lpr_cuts) R 15038 10795 10794 0 -1 0 67855 0 0 0 37773 231 0 0 25 0 1 0 833431211 28798976 6335 4294967295 134512640 134714508 3221224592 3221222992 1074118815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7031 6335 1111 63 0 6968 0
vsize: 28124
[startup+390.011 s]
Raw data (loadavg): 1.07 1.00 0.92 2/54 15039
Raw data (stat): 15039 (bsolo_lpr_cuts) R 15038 10795 10794 0 -1 0 75402 0 0 0 38751 253 0 0 25 0 1 0 833431211 29417472 6440 4294967295 134512640 134714508 3221224592 3221220752 1075091317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7182 6440 1111 63 0 7119 0
vsize: 28728
[startup+400.012 s]
Raw data (loadavg): 1.14 1.02 0.93 2/54 15039
Raw data (stat): 15039 (bsolo_lpr_cuts) R 15038 10795 10794 0 -1 0 81267 0 0 0 39736 268 0 0 25 0 1 0 833431211 29184000 6431 4294967295 134512640 134714508 3221224592 3221222928 1074153736 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7125 6431 1111 63 0 7062 0
vsize: 28500
[startup+410.012 s]
Raw data (loadavg): 1.12 1.02 0.93 2/54 15039
Raw data (stat): 15039 (bsolo_lpr_cuts) R 15038 10795 10794 0 -1 0 89820 0 0 0 40710 295 0 0 25 0 1 0 833431211 29450240 6496 4294967295 134512640 134714508 3221224592 3221223304 134553169 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7190 6496 1111 63 0 7127 0
vsize: 28760
[startup+420.013 s]
Raw data (loadavg): 1.10 1.01 0.93 2/54 15039
Raw data (stat): 15039 (bsolo_lpr_cuts) R 15038 10795 10794 0 -1 0 97786 0 0 0 41688 317 0 0 25 0 1 0 833431211 29810688 6585 4294967295 134512640 134714508 3221224592 3221222472 1074138155 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7278 6585 1111 63 0 7215 0
vsize: 29112
[startup+430.013 s]
Raw data (loadavg): 1.08 1.01 0.93 2/54 15039
Raw data (stat): 15039 (bsolo_lpr_cuts) R 15038 10795 10794 0 -1 0 101842 0 0 0 42678 328 0 0 25 0 1 0 833431211 30400512 6661 4294967295 134512640 134714508 3221224592 3221220752 1075091291 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7422 6662 1111 63 0 7359 0
vsize: 29688
[startup+440.013 s]
Raw data (loadavg): 1.07 1.01 0.93 2/54 15039
Raw data (stat): 15039 (bsolo_lpr_cuts) R 15038 10795 10794 0 -1 0 103148 0 0 0 43672 333 0 0 25 0 1 0 833431211 30044160 6643 4294967295 134512640 134714508 3221224592 3221222832 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7335 6643 1111 63 0 7272 0
vsize: 29340
[startup+450.013 s]
Raw data (loadavg): 1.06 1.01 0.93 2/54 15039
Raw data (stat): 15039 (bsolo_lpr_cuts) R 15038 10795 10794 0 -1 0 106111 0 0 0 44663 343 0 0 25 0 1 0 833431211 30142464 6667 4294967295 134512640 134714508 3221224592 3221222512 1075799556 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7359 6667 1111 63 0 7296 0
vsize: 29436
[startup+460.013 s]
Raw data (loadavg): 1.05 1.01 0.93 2/54 15039
Raw data (stat): 15039 (bsolo_lpr_cuts) R 15038 10795 10794 0 -1 0 107502 0 0 0 45658 348 0 0 25 0 1 0 833431211 30433280 6738 4294967295 134512640 134714508 3221224592 3221222976 1074153648 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7430 6738 1111 63 0 7367 0
vsize: 29720
[startup+470.013 s]
Raw data (loadavg): 1.04 1.01 0.93 2/54 15039
Raw data (stat): 15039 (bsolo_lpr_cuts) R 15038 10795 10794 0 -1 0 108166 0 0 0 46654 352 0 0 25 0 1 0 833431211 30433280 6738 4294967295 134512640 134714508 3221224592 3221222808 1074138144 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7430 6738 1111 63 0 7367 0
vsize: 29720
[startup+480.013 s]
Raw data (loadavg): 1.04 1.01 0.93 2/54 15039
Raw data (stat): 15039 (bsolo_lpr_cuts) R 15038 10795 10794 0 -1 0 109980 0 0 0 47648 358 0 0 25 0 1 0 833431211 30433280 6738 4294967295 134512640 134714508 3221224592 3221223264 134650219 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7430 6738 1111 63 0 7367 0
vsize: 29720
[startup+490.014 s]
Raw data (loadavg): 1.03 1.01 0.93 2/54 15039
Raw data (stat): 15039 (bsolo_lpr_cuts) R 15038 10795 10794 0 -1 0 113391 0 0 0 48637 370 0 0 25 0 1 0 833431211 30433280 6738 4294967295 134512640 134714508 3221224592 3221222896 1074153749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7430 6738 1111 63 0 7367 0
vsize: 29720
[startup+500.013 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 15039
Raw data (stat): 15039 (bsolo_lpr_cuts) R 15038 10795 10794 0 -1 0 118569 0 0 0 49620 386 0 0 25 0 1 0 833431211 30957568 6766 4294967295 134512640 134714508 3221224592 3221221632 1075971414 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7558 6766 1111 63 0 7495 0
vsize: 30232
[startup+510.014 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 15039
Raw data (stat): 15039 (bsolo_lpr_cuts) R 15038 10795 10794 0 -1 0 125954 0 0 0 50599 408 0 0 25 0 1 0 833431211 30478336 6749 4294967295 134512640 134714508 3221224592 3221222840 1074138155 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7441 6749 1111 63 0 7378 0
vsize: 29764
[startup+520.014 s]
Raw data (loadavg): 1.02 1.00 0.93 2/54 15039
Raw data (stat): 15039 (bsolo_lpr_cuts) R 15038 10795 10794 0 -1 0 133264 0 0 0 51580 427 0 0 25 0 1 0 833431211 30810112 6829 4294967295 134512640 134714508 3221224592 3221223056 1074119517 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7522 6829 1111 63 0 7459 0
vsize: 30088
[startup+530.014 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 15039
Raw data (stat): 15039 (bsolo_lpr_cuts) R 15038 10795 10794 0 -1 0 139888 0 0 0 52564 443 0 0 25 0 1 0 833431211 31678464 7007 4294967295 134512640 134714508 3221224592 3221222336 1075640218 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7734 7007 1111 63 0 7671 0
vsize: 30936
[startup+540.015 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 15039
Raw data (stat): 15039 (bsolo_lpr_cuts) R 15038 10795 10794 0 -1 0 144210 0 0 0 53555 452 0 0 25 0 1 0 833431211 31723520 7058 4294967295 134512640 134714508 3221224592 3221222592 1074918599 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7745 7058 1111 63 0 7682 0
vsize: 30980
[startup+550.015 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 15039
Raw data (stat): 15039 (bsolo_lpr_cuts) R 15038 10795 10794 0 -1 0 148754 0 0 0 54543 464 0 0 25 0 1 0 833431211 31055872 6896 4294967295 134512640 134714508 3221224592 3221222848 134650105 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7582 6896 1111 63 0 7519 0
vsize: 30328
[startup+560.015 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 15039
Raw data (stat): 15039 (bsolo_lpr_cuts) R 15038 10795 10794 0 -1 0 155693 0 0 0 55523 484 0 0 25 0 1 0 833431211 32108544 7124 4294967295 134512640 134714508 3221224592 3221222592 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7839 7124 1111 63 0 7776 0
vsize: 31356
[startup+570.015 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 15039
Raw data (stat): 15039 (bsolo_lpr_cuts) R 15038 10795 10794 0 -1 0 159154 0 0 0 56515 492 0 0 25 0 1 0 833431211 31514624 7008 4294967295 134512640 134714508 3221224592 3221222680 1077374653 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7694 7008 1111 63 0 7631 0
vsize: 30776
[startup+580.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15039
Raw data (stat): 15039 (bsolo_lpr_cuts) R 15038 10795 10794 0 -1 0 162754 0 0 0 57507 501 0 0 25 0 1 0 833431211 31907840 7104 4294967295 134512640 134714508 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7790 7104 1111 63 0 7727 0
vsize: 31160
[startup+590.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15039
Raw data (stat): 15039 (bsolo_lpr_cuts) R 15038 10795 10794 0 -1 0 166248 0 0 0 58499 510 0 0 25 0 1 0 833431211 31567872 7021 4294967295 134512640 134714508 3221224592 3221222328 1077380592 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7707 7021 1111 63 0 7644 0
vsize: 30828
[startup+600.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15039
Raw data (stat): 15039 (bsolo_lpr_cuts) R 15038 10795 10794 0 -1 0 168590 0 0 0 59492 517 0 0 25 0 1 0 833431211 32337920 7209 4294967295 134512640 134714508 3221224592 3221222944 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7895 7209 1111 63 0 7832 0
vsize: 31580
[startup+610.017 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15039
Raw data (stat): 15039 (bsolo_lpr_cuts) R 15038 10795 10794 0 -1 0 172671 0 0 0 60481 528 0 0 25 0 1 0 833431211 32014336 7130 4294967295 134512640 134714508 3221224592 3221222400 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7816 7130 1111 63 0 7753 0
vsize: 31264
[startup+620.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15039
Raw data (stat): 15039 (bsolo_lpr_cuts) R 15038 10795 10794 0 -1 0 176608 0 0 0 61471 538 0 0 25 0 1 0 833431211 31641600 7036 4294967295 134512640 134714508 3221224592 3221222808 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7725 7036 1111 63 0 7662 0
vsize: 30900
[startup+630.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15039
Raw data (stat): 15039 (bsolo_lpr_cuts) R 15038 10795 10794 0 -1 0 179875 0 0 0 62462 547 0 0 25 0 1 0 833431211 32419840 7225 4294967295 134512640 134714508 3221224592 3221222736 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7915 7225 1111 63 0 7852 0
vsize: 31660
[startup+640.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15039
Raw data (stat): 15039 (bsolo_lpr_cuts) R 15038 10795 10794 0 -1 0 182447 0 0 0 63455 554 0 0 25 0 1 0 833431211 33804288 7567 4294967295 134512640 134714508 3221224592 3221222592 1074918591 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8253 7567 1111 63 0 8190 0
vsize: 33012
[startup+650.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15039
Raw data (stat): 15039 (bsolo_lpr_cuts) R 15038 10795 10794 0 -1 0 186264 0 0 0 64445 564 0 0 25 0 1 0 833431211 32772096 7245 4294967295 134512640 134714508 3221224592 3221220832 1075115715 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8001 7245 1111 63 0 7938 0
vsize: 32004
[startup+660.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15039
Raw data (stat): 15039 (bsolo_lpr_cuts) R 15038 10795 10794 0 -1 0 188828 0 0 0 65439 570 0 0 25 0 1 0 833431211 33214464 7423 4294967295 134512640 134714508 3221224592 3221222592 1074918206 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8109 7423 1111 63 0 8046 0
vsize: 32436
[startup+670.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15039
Raw data (stat): 15039 (bsolo_lpr_cuts) R 15038 10795 10794 0 -1 0 192547 0 0 0 66430 580 0 0 25 0 1 0 833431211 32116736 7155 4294967295 134512640 134714508 3221224592 3221222928 1074153779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7841 7155 1111 63 0 7778 0
vsize: 31364
[startup+680.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15039
Raw data (stat): 15039 (bsolo_lpr_cuts) R 15038 10795 10794 0 -1 0 196606 0 0 0 67419 590 0 0 25 0 1 0 833431211 32104448 7152 4294967295 134512640 134714508 3221224592 3221222928 1074153792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7838 7152 1111 63 0 7775 0
vsize: 31352
[startup+690.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15039
Raw data (stat): 15039 (bsolo_lpr_cuts) R 15038 10795 10794 0 -1 0 200007 0 0 0 68410 600 0 0 25 0 1 0 833431211 32251904 7188 4294967295 134512640 134714508 3221224592 3221222464 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7874 7188 1111 63 0 7811 0
vsize: 31496
[startup+700.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15039
Raw data (stat): 15039 (bsolo_lpr_cuts) R 15038 10795 10794 0 -1 0 202843 0 0 0 69404 606 0 0 25 0 1 0 833431211 34594816 7601 4294967295 134512640 134714508 3221224592 3221221784 1074138316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8446 7602 1111 63 0 8383 0
vsize: 33784
[startup+710.017 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15039
Raw data (stat): 15039 (bsolo_lpr_cuts) R 15038 10795 10794 0 -1 0 207586 0 0 0 70391 619 0 0 25 0 1 0 833431211 31641600 7039 4294967295 134512640 134714508 3221224592 3221222552 1077380592 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7725 7039 1111 63 0 7662 0
vsize: 30900
[startup+720.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15039
Raw data (stat): 15039 (bsolo_lpr_cuts) R 15038 10795 10794 0 -1 0 211358 0 0 0 71380 630 0 0 25 0 1 0 833431211 31797248 7047 4294967295 134512640 134714508 3221224592 3221222320 1075829548 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7763 7047 1111 63 0 7700 0
vsize: 31052
[startup+730.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15039
Raw data (stat): 15039 (bsolo_lpr_cuts) R 15038 10795 10794 0 -1 0 215037 0 0 0 72371 639 0 0 25 0 1 0 833431211 32165888 7167 4294967295 134512640 134714508 3221224592 3221223316 134622760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7853 7167 1111 63 0 7790 0
vsize: 31412
[startup+740.017 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15039
Raw data (stat): 15039 (bsolo_lpr_cuts) R 15038 10795 10794 0 -1 0 217663 0 0 0 73364 646 0 0 25 0 1 0 833431211 33083392 7391 4294967295 134512640 134714508 3221224592 3221222336 1075636586 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8077 7391 1111 63 0 8014 0
vsize: 32308
[startup+750.017 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15039
Raw data (stat): 15039 (bsolo_lpr_cuts) R 15038 10795 10794 0 -1 0 220411 0 0 0 74357 654 0 0 25 0 1 0 833431211 33841152 7570 4294967295 134512640 134714508 3221224592 3221222592 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8262 7570 1111 63 0 8199 0
vsize: 33048
[startup+760.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15039
Raw data (stat): 15039 (bsolo_lpr_cuts) R 15038 10795 10794 0 -1 0 224626 0 0 0 75347 664 0 0 25 0 1 0 833431211 32108544 7117 4294967295 134512640 134714508 3221224592 3221221784 1074138316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7839 7117 1111 63 0 7776 0
vsize: 31356
[startup+770.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15039
Raw data (stat): 15039 (bsolo_lpr_cuts) R 15038 10795 10794 0 -1 0 227552 0 0 0 76340 671 0 0 25 0 1 0 833431211 33390592 7427 4294967295 134512640 134714508 3221224592 3221222704 1074867344 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8152 7427 1111 63 0 8089 0
vsize: 32608
[startup+780.017 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15039
Raw data (stat): 15039 (bsolo_lpr_cuts) R 15038 10795 10794 0 -1 0 229931 0 0 0 77334 678 0 0 25 0 1 0 833431211 33873920 7571 4294967295 134512640 134714508 3221224592 3221222592 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8270 7571 1111 63 0 8207 0
vsize: 33080
[startup+790.017 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15039
Raw data (stat): 15039 (bsolo_lpr_cuts) R 15038 10795 10794 0 -1 0 234523 0 0 0 78321 690 0 0 25 0 1 0 833431211 31641600 7039 4294967295 134512640 134714508 3221224592 3221222608 1074153779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7725 7039 1111 63 0 7662 0
vsize: 30900
[startup+800.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15039
Raw data (stat): 15039 (bsolo_lpr_cuts) R 15038 10795 10794 0 -1 0 237540 0 0 0 79313 698 0 0 25 0 1 0 833431211 33873920 7571 4294967295 134512640 134714508 3221224592 3221222592 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8270 7571 1111 63 0 8207 0
vsize: 33080
[startup+810.019 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15039
Raw data (stat): 15039 (bsolo_lpr_cuts) R 15038 10795 10794 0 -1 0 240303 0 0 0 80306 706 0 0 25 0 1 0 833431211 33873920 7571 4294967295 134512640 134714508 3221224592 3221222592 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8270 7571 1111 63 0 8207 0
vsize: 33080
[startup+820.019 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15039
Raw data (stat): 15039 (bsolo_lpr_cuts) R 15038 10795 10794 0 -1 0 244934 0 0 0 81293 720 0 0 25 0 1 0 833431211 32305152 7201 4294967295 134512640 134714508 3221224592 3221222608 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7887 7201 1111 63 0 7824 0
vsize: 31548
[startup+830.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15039
Raw data (stat): 15039 (bsolo_lpr_cuts) R 15038 10795 10794 0 -1 0 247517 0 0 0 82286 726 0 0 25 0 1 0 833431211 33738752 7546 4294967295 134512640 134714508 3221224592 3221222592 1074918591 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8237 7546 1111 63 0 8174 0
vsize: 32948
[startup+840.019 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15039
Raw data (stat): 15039 (bsolo_lpr_cuts) R 15038 10795 10794 0 -1 0 251221 0 0 0 83277 736 0 0 25 0 1 0 833431211 33607680 7503 4294967295 134512640 134714508 3221224592 3221222592 1074918591 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8205 7503 1111 63 0 8142 0
vsize: 32820
[startup+850.019 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15039
Raw data (stat): 15039 (bsolo_lpr_cuts) R 15038 10795 10794 0 -1 0 254257 0 0 0 84269 743 0 0 25 0 1 0 833431211 32092160 7149 4294967295 134512640 134714508 3221224592 3221222928 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7835 7149 1111 63 0 7772 0
vsize: 31340
[startup+860.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15039
Raw data (stat): 15039 (bsolo_lpr_cuts) R 15038 10795 10794 0 -1 0 257659 0 0 0 85261 752 0 0 25 0 1 0 833431211 32559104 7254 4294967295 134512640 134714508 3221224592 3221221936 1074839039 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7949 7254 1111 63 0 7886 0
vsize: 31796
[startup+870.019 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15039
Raw data (stat): 15039 (bsolo_lpr_cuts) R 15038 10795 10794 0 -1 0 261080 0 0 0 86252 761 0 0 25 0 1 0 833431211 33873920 7571 4294967295 134512640 134714508 3221224592 3221222592 1074918599 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8270 7571 1111 63 0 8207 0
vsize: 33080
[startup+880.019 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15039
Raw data (stat): 15039 (bsolo_lpr_cuts) R 15038 10795 10794 0 -1 0 265601 0 0 0 87242 771 0 0 25 0 1 0 833431211 33873920 7571 4294967295 134512640 134714508 3221224592 3221222592 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8270 7571 1111 63 0 8207 0
vsize: 33080
[startup+890.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15039
Raw data (stat): 15039 (bsolo_lpr_cuts) R 15038 10795 10794 0 -1 0 269824 0 0 0 88231 783 0 0 25 0 1 0 833431211 31801344 7078 4294967295 134512640 134714508 3221224592 3221222856 1074138166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7764 7078 1111 63 0 7701 0
vsize: 31056
[startup+900.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15039
Raw data (stat): 15039 (bsolo_lpr_cuts) R 15038 10795 10794 0 -1 0 273857 0 0 0 89220 794 0 0 25 0 1 0 833431211 31641600 7039 4294967295 134512640 134714508 3221224592 3221222416 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7725 7039 1111 63 0 7662 0
vsize: 30900
[startup+910.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15039
Raw data (stat): 15039 (bsolo_lpr_cuts) R 15038 10795 10794 0 -1 0 276416 0 0 0 90213 801 0 0 25 0 1 0 833431211 33943552 7588 4294967295 134512640 134714508 3221224592 3221222592 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8287 7588 1111 63 0 8224 0
vsize: 33148
[startup+920.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15039
Raw data (stat): 15039 (bsolo_lpr_cuts) R 15038 10795 10794 0 -1 0 280863 0 0 0 91202 812 0 0 25 0 1 0 833431211 31641600 7039 4294967295 134512640 134714508 3221224592 3221222976 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7725 7039 1111 63 0 7662 0
vsize: 30900
[startup+930.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15039
Raw data (stat): 15039 (bsolo_lpr_cuts) R 15038 10795 10794 0 -1 0 284143 0 0 0 92193 821 0 0 25 0 1 0 833431211 33464320 7453 4294967295 134512640 134714508 3221224592 3221222592 1074918591 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8170 7453 1111 63 0 8107 0
vsize: 32680
[startup+940.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15039
Raw data (stat): 15039 (bsolo_lpr_cuts) R 15038 10795 10794 0 -1 0 288928 0 0 0 93181 833 0 0 25 0 1 0 833431211 34295808 7640 4294967295 134512640 134714508 3221224592 3221221696 1074138752 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8373 7640 1111 63 0 8310 0
vsize: 33492
[startup+950.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15039
Raw data (stat): 15039 (bsolo_lpr_cuts) R 15038 10795 10794 0 -1 0 295725 0 0 0 94162 852 0 0 25 0 1 0 833431211 32768000 7224 4294967295 134512640 134714508 3221224592 3221220796 1075563861 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8000 7224 1111 63 0 7937 0
vsize: 32000
[startup+960.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15039
Raw data (stat): 15039 (bsolo_lpr_cuts) R 15038 10795 10794 0 -1 0 297350 0 0 0 95157 858 0 0 25 0 1 0 833431211 32866304 7339 4294967295 134512640 134714508 3221224592 3221222448 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8024 7339 1111 63 0 7961 0
vsize: 32096
[startup+970.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15039
Raw data (stat): 15039 (bsolo_lpr_cuts) R 15038 10795 10794 0 -1 0 299860 0 0 0 96149 866 0 0 25 0 1 0 833431211 34418688 7718 4294967295 134512640 134714508 3221224592 3221222592 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8403 7718 1111 63 0 8340 0
vsize: 33612
[startup+980.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15039
Raw data (stat): 15039 (bsolo_lpr_cuts) R 15038 10795 10794 0 -1 0 303089 0 0 0 97140 875 0 0 25 0 1 0 833431211 32256000 7190 4294967295 134512640 134714508 3221224592 3221223008 1074116396 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7875 7190 1111 63 0 7812 0
vsize: 31500
[startup+990.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15039
Raw data (stat): 15039 (bsolo_lpr_cuts) R 15038 10795 10794 0 -1 0 305842 0 0 0 98134 881 0 0 25 0 1 0 833431211 32432128 7203 4294967295 134512640 134714508 3221224592 3221222416 1075823604 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7918 7203 1111 63 0 7855 0
vsize: 31672
[startup+1000.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15039
Raw data (stat): 15039 (bsolo_lpr_cuts) R 15038 10795 10794 0 -1 0 308487 0 0 0 99126 889 0 0 25 0 1 0 833431211 32256000 7190 4294967295 134512640 134714508 3221224592 3221222640 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7875 7190 1111 63 0 7812 0
vsize: 31500
[startup+1010.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15039
Raw data (stat): 15039 (bsolo_lpr_cuts) R 15038 10795 10794 0 -1 0 309628 0 0 0 100122 893 0 0 25 0 1 0 833431211 34467840 7730 4294967295 134512640 134714508 3221224592 3221222592 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8415 7730 1111 63 0 8352 0
vsize: 33660
[startup+1020.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15039
Raw data (stat): 15039 (bsolo_lpr_cuts) R 15038 10795 10794 0 -1 0 313887 0 0 0 101111 905 0 0 25 0 1 0 833431211 32321536 7201 4294967295 134512640 134714508 3221224592 3221222592 1074916528 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7891 7201 1111 63 0 7828 0
vsize: 31564
[startup+1030.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15039
Raw data (stat): 15039 (bsolo_lpr_cuts) R 15038 10795 10794 0 -1 0 315584 0 0 0 102105 911 0 0 25 0 1 0 833431211 32251904 7189 4294967295 134512640 134714508 3221224592 3221222416 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7874 7189 1111 63 0 7811 0
vsize: 31496
[startup+1040.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15039
Raw data (stat): 15039 (bsolo_lpr_cuts) R 15038 10795 10794 0 -1 0 317530 0 0 0 103098 918 0 0 25 0 1 0 833431211 32251904 7189 4294967295 134512640 134714508 3221224592 3221222840 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7874 7189 1111 63 0 7811 0
vsize: 31496
[startup+1050.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15039
Raw data (stat): 15039 (bsolo_lpr_cuts) R 15038 10795 10794 0 -1 0 318279 0 0 0 104095 922 0 0 25 0 1 0 833431211 32251904 7189 4294967295 134512640 134714508 3221224592 3221222944 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7874 7189 1111 63 0 7811 0
vsize: 31496
[startup+1060.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15039
Raw data (stat): 15039 (bsolo_lpr_cuts) R 15038 10795 10794 0 -1 0 319153 0 0 0 105091 926 0 0 25 0 1 0 833431211 32251904 7189 4294967295 134512640 134714508 3221224592 3221222656 1074153794 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7874 7189 1111 63 0 7811 0
vsize: 31496
[startup+1070.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15039
Raw data (stat): 15039 (bsolo_lpr_cuts) R 15038 10795 10794 0 -1 0 321112 0 0 0 106085 932 0 0 25 0 1 0 833431211 32251904 7189 4294967295 134512640 134714508 3221224592 3221222856 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7874 7189 1111 63 0 7811 0
vsize: 31496
[startup+1080.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15039
Raw data (stat): 15039 (bsolo_lpr_cuts) R 15038 10795 10794 0 -1 0 324697 0 0 0 107071 946 0 0 25 0 1 0 833431211 32403456 7190 4294967295 134512640 134714508 3221224592 3221222512 1075799783 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7911 7190 1111 63 0 7848 0
vsize: 31644
[startup+1090.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15039
Raw data (stat): 15039 (bsolo_lpr_cuts) R 15038 10795 10794 0 -1 0 331763 0 0 0 108050 967 0 0 25 0 1 0 833431211 32292864 7199 4294967295 134512640 134714508 3221224592 3221222888 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7884 7199 1111 63 0 7821 0
vsize: 31536
[startup+1100.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15039
Raw data (stat): 15039 (bsolo_lpr_cuts) R 15038 10795 10794 0 -1 0 342298 0 0 0 109022 996 0 0 25 0 1 0 833431211 32534528 7257 4294967295 134512640 134714508 3221224592 3221222844 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7943 7257 1111 63 0 7880 0
vsize: 31772
[startup+1110.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15039
Raw data (stat): 15039 (bsolo_lpr_cuts) R 15038 10795 10794 0 -1 0 353526 0 0 0 109993 1024 0 0 25 0 1 0 833431211 33189888 7314 4294967295 134512640 134714508 3221224592 3221220752 1075095166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8103 7324 1111 63 0 8040 0
vsize: 32412
[startup+1120.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15039
Raw data (stat): 15039 (bsolo_lpr_cuts) R 15038 10795 10794 0 -1 0 364795 0 0 0 110963 1055 0 0 25 0 1 0 833431211 32759808 7312 4294967295 134512640 134714508 3221224592 3221223208 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7998 7312 1111 63 0 7935 0
vsize: 31992
[startup+1130.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15039
Raw data (stat): 15039 (bsolo_lpr_cuts) R 15038 10795 10794 0 -1 0 374983 0 0 0 111935 1083 0 0 25 0 1 0 833431211 32927744 7333 4294967295 134512640 134714508 3221224592 3221222592 1074916908 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8039 7333 1111 63 0 7976 0
vsize: 32156
[startup+1140.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15039
Raw data (stat): 15039 (bsolo_lpr_cuts) R 15038 10795 10794 0 -1 0 384362 0 0 0 112909 1109 0 0 25 0 1 0 833431211 33525760 7412 4294967295 134512640 134714508 3221224592 3221221536 1074620068 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8185 7412 1111 63 0 8122 0
vsize: 32740
[startup+1150.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15039
Raw data (stat): 15039 (bsolo_lpr_cuts) R 15038 10795 10794 0 -1 0 394519 0 0 0 113880 1138 0 0 25 0 1 0 833431211 33460224 7481 4294967295 134512640 134714508 3221224592 3221223316 134556757 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8169 7481 1111 63 0 8106 0
vsize: 32676
[startup+1160.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15039
Raw data (stat): 15039 (bsolo_lpr_cuts) R 15038 10795 10794 0 -1 0 404361 0 0 0 114852 1167 0 0 25 0 1 0 833431211 33562624 7504 4294967295 134512640 134714508 3221224592 3221223036 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8194 7504 1111 63 0 8131 0
vsize: 32776
[startup+1170.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15039
Raw data (stat): 15039 (bsolo_lpr_cuts) R 15038 10795 10794 0 -1 0 413617 0 0 0 115827 1193 0 0 25 0 1 0 833431211 33722368 7518 4294967295 134512640 134714508 3221224592 3221222320 1075828441 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8233 7518 1111 63 0 8170 0
vsize: 32932
[startup+1174.91 s]
Raw data (loadavg): 1.00 1.00 0.93 1/53 15039
Raw data (stat): 15039 (bsolo_lpr_cuts) R 15038 10795 10794 0 -1 0 413617 0 0 0 115827 1193 0 0 25 0 1 0 833431211 33722368 7518 4294967295 134512640 134714508 3221224592 3221222320 1075828441 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8233 7518 1111 63 0 8170 0
vsize: 0

Child status: 0
Real time (s): 1174.91
CPU time (s): 1175.08
CPU user time (s): 1162.98
CPU system time (s): 12.0942
CPU usage (%): 100.015
Max. virtual memory (Kb): 33784
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####