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-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-vpm1.opb
MD5SUM	9d68724ddc6098af63bcc619f21688cc
Bench Category	optimization, medium integers (OPTMEDINT)
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	819200
Number of bits of the biggest number in a constraint	20
Biggest sum of numbers in a constraint	4941871
Number of bits of the biggest sum of numbers	23
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	459.704
Number of variables	2754
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	82
Trace number 41103

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-06-09 05:54:13 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=29168 boxname=wulflinc4 idbench=952 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  9d68724ddc6098af63bcc619f21688cc  /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-20-10-vpm1.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-20-10-vpm1.opb
IDLAUNCH: 29168
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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	: 2
cpu MHz		: 451.169
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:        742584 kB
Buffers:         32728 kB
Cached:         237876 kB
SwapCached:       1192 kB
Active:          35084 kB
Inactive:       237876 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        742332 kB
SwapTotal:     2097136 kB
SwapFree:      2094880 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4912 kB
Slab:            13468 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 06:13:48 (client local time) WITH STATUS 0 IN 1175.14 SECONDS
stats: 29168 7 1175.14 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 2754 variables and 486 constraints.
c After prepocess the problem consists of 1909 variables and 372 constraints.
c preprocess terminated 77.897 s
c Initial Lower Bound: 16
c Lower Bound Elapsed time: 0.20475
c Use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.13 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
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.85 0.94 0.91 1/54 9899
Raw data (stat): 9899 (runsolver) R 9898 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 907901301 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0005 s]
Raw data (loadavg): 0.87 0.94 0.91 2/54 9899
Raw data (stat): 9899 (bsolo_lpr_cuts-) R 9898 21152 21151 0 -1 0 6456 0 0 0 982 15 0 0 25 0 1 0 907901301 29597696 6374 4294967295 134512640 134716908 3221224560 3221223200 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7226 6374 1111 63 0 7163 0
vsize: 28904
[startup+20.0016 s]
Raw data (loadavg): 0.89 0.94 0.91 2/54 9899
Raw data (stat): 9899 (bsolo_lpr_cuts-) R 9898 21152 21151 0 -1 0 6495 0 0 0 1981 15 0 0 25 0 1 0 907901301 29761536 6413 4294967295 134512640 134716908 3221224560 3221223200 134606490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7266 6413 1111 63 0 7203 0
vsize: 29064
[startup+30.0024 s]
Raw data (loadavg): 0.91 0.94 0.91 2/54 9899
Raw data (stat): 9899 (bsolo_lpr_cuts-) R 9898 21152 21151 0 -1 0 6522 0 0 0 2981 15 0 0 25 0 1 0 907901301 29835264 6440 4294967295 134512640 134716908 3221224560 3221223200 134606490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7284 6440 1111 63 0 7221 0
vsize: 29136
[startup+40.0029 s]
Raw data (loadavg): 0.92 0.94 0.91 2/54 9899
Raw data (stat): 9899 (bsolo_lpr_cuts-) R 9898 21152 21151 0 -1 0 6546 0 0 0 3982 15 0 0 25 0 1 0 907901301 29904896 6457 4294967295 134512640 134716908 3221224560 3221223200 134606472 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7301 6457 1111 63 0 7238 0
vsize: 29204
[startup+50.0042 s]
Raw data (loadavg): 0.93 0.94 0.91 2/54 9899
Raw data (stat): 9899 (bsolo_lpr_cuts-) R 9898 21152 21151 0 -1 0 6607 0 0 0 4982 15 0 0 25 0 1 0 907901301 30126080 6498 4294967295 134512640 134716908 3221224560 3221223200 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7355 6498 1111 63 0 7292 0
vsize: 29420
[startup+60.004 s]
Raw data (loadavg): 0.94 0.95 0.91 2/54 9899
Raw data (stat): 9899 (bsolo_lpr_cuts-) R 9898 21152 21151 0 -1 0 6621 0 0 0 5982 15 0 0 25 0 1 0 907901301 30126080 6511 4294967295 134512640 134716908 3221224560 3221223200 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7355 6511 1111 63 0 7292 0
vsize: 29420
[startup+70.0045 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 9899
Raw data (stat): 9899 (bsolo_lpr_cuts-) R 9898 21152 21151 0 -1 0 6621 0 0 0 6982 15 0 0 25 0 1 0 907901301 30126080 6511 4294967295 134512640 134716908 3221224560 3221223200 134606484 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7355 6511 1111 63 0 7292 0
vsize: 29420
[startup+80.0059 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 9899
Raw data (stat): 9899 (bsolo_lpr_cuts-) R 9898 21152 21151 0 -1 0 7144 0 0 0 7981 16 0 0 25 0 1 0 907901301 30314496 6697 4294967295 134512640 134716908 3221224560 3221222828 1074208560 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7401 6697 1111 63 0 7338 0
vsize: 29604
[startup+90.0069 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 9899
Raw data (stat): 9899 (bsolo_lpr_cuts-) R 9898 21152 21151 0 -1 0 8782 0 0 0 8976 21 0 0 25 0 1 0 907901301 30314496 6697 4294967295 134512640 134716908 3221224560 3221222056 1074138144 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7401 6697 1111 63 0 7338 0
vsize: 29604
[startup+100.007 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 9899
Raw data (stat): 9899 (bsolo_lpr_cuts-) R 9898 21152 21151 0 -1 0 8905 0 0 0 9975 22 0 0 25 0 1 0 907901301 30314496 6697 4294967295 134512640 134716908 3221224560 3221222960 1074153822 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7401 6697 1111 63 0 7338 0
vsize: 29604
[startup+110.007 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 9899
Raw data (stat): 9899 (bsolo_lpr_cuts-) R 9898 21152 21151 0 -1 0 9074 0 0 0 10973 24 0 0 25 0 1 0 907901301 30314496 6697 4294967295 134512640 134716908 3221224560 3221222864 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7401 6697 1111 63 0 7338 0
vsize: 29604
[startup+120.008 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 9899
Raw data (stat): 9899 (bsolo_lpr_cuts-) R 9898 21152 21151 0 -1 0 9251 0 0 0 11971 26 0 0 25 0 1 0 907901301 30314496 6697 4294967295 134512640 134716908 3221224560 3221222424 1074138166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7401 6697 1111 63 0 7338 0
vsize: 29604
[startup+130.008 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 9899
Raw data (stat): 9899 (bsolo_lpr_cuts-) R 9898 21152 21151 0 -1 0 9432 0 0 0 12970 27 0 0 25 0 1 0 907901301 30314496 6698 4294967295 134512640 134716908 3221224560 3221222128 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7401 6698 1111 63 0 7338 0
vsize: 29604
[startup+140.009 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 9899
Raw data (stat): 9899 (bsolo_lpr_cuts-) R 9898 21152 21151 0 -1 0 9591 0 0 0 13968 29 0 0 25 0 1 0 907901301 30314496 6698 4294967295 134512640 134716908 3221224560 3221222856 1074138150 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7401 6698 1111 63 0 7338 0
vsize: 29604
[startup+150.01 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 9899
Raw data (stat): 9899 (bsolo_lpr_cuts-) R 9898 21152 21151 0 -1 0 9754 0 0 0 14967 31 0 0 25 0 1 0 907901301 30314496 6699 4294967295 134512640 134716908 3221224560 3221222848 1074153800 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7401 6699 1111 63 0 7338 0
vsize: 29604
[startup+160.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 9899
Raw data (stat): 9899 (bsolo_lpr_cuts-) R 9898 21152 21151 0 -1 0 9881 0 0 0 15966 32 0 0 25 0 1 0 907901301 30314496 6699 4294967295 134512640 134716908 3221224560 3221223200 134651168 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7401 6699 1111 63 0 7338 0
vsize: 29604
[startup+170.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 9899
Raw data (stat): 9899 (bsolo_lpr_cuts-) R 9898 21152 21151 0 -1 0 10009 0 0 0 16965 33 0 0 25 0 1 0 907901301 30314496 6700 4294967295 134512640 134716908 3221224560 3221222128 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7401 6700 1111 63 0 7338 0
vsize: 29604
[startup+180.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 9899
Raw data (stat): 9899 (bsolo_lpr_cuts-) R 9898 21152 21151 0 -1 0 10168 0 0 0 17964 34 0 0 25 0 1 0 907901301 30314496 6700 4294967295 134512640 134716908 3221224560 3221222448 1074206235 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7401 6700 1111 63 0 7338 0
vsize: 29604
[startup+190.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 9899
Raw data (stat): 9899 (bsolo_lpr_cuts-) R 9898 21152 21151 0 -1 0 10319 0 0 0 18963 35 0 0 25 0 1 0 907901301 30314496 6700 4294967295 134512640 134716908 3221224560 3221222944 1074153753 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7401 6700 1111 63 0 7338 0
vsize: 29604
[startup+200.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 9899
Raw data (stat): 9899 (bsolo_lpr_cuts-) R 9898 21152 21151 0 -1 0 10460 0 0 0 19963 36 0 0 25 0 1 0 907901301 30314496 6700 4294967295 134512640 134716908 3221224560 3221223200 134651140 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7401 6700 1111 63 0 7338 0
vsize: 29604
[startup+210.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 9899
Raw data (stat): 9899 (bsolo_lpr_cuts-) R 9898 21152 21151 0 -1 0 10592 0 0 0 20962 37 0 0 25 0 1 0 907901301 30314496 6700 4294967295 134512640 134716908 3221224560 3221222776 1074138155 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7401 6700 1111 63 0 7338 0
vsize: 29604
[startup+220.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 9899
Raw data (stat): 9899 (bsolo_lpr_cuts-) R 9898 21152 21151 0 -1 0 10758 0 0 0 21961 38 0 0 25 0 1 0 907901301 30314496 6700 4294967295 134512640 134716908 3221224560 3221222768 1074153767 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7401 6700 1111 63 0 7338 0
vsize: 29604
[startup+230.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 9899
Raw data (stat): 9899 (bsolo_lpr_cuts-) R 9898 21152 21151 0 -1 0 10926 0 0 0 22960 40 0 0 25 0 1 0 907901301 30314496 6700 4294967295 134512640 134716908 3221224560 3221223200 134651140 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7401 6700 1111 63 0 7338 0
vsize: 29604
[startup+240.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 9899
Raw data (stat): 9899 (bsolo_lpr_cuts-) R 9898 21152 21151 0 -1 0 11076 0 0 0 23959 41 0 0 25 0 1 0 907901301 30466048 6701 4294967295 134512640 134716908 3221224560 3221222480 1075799638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7438 6701 1111 63 0 7375 0
vsize: 29752
[startup+250.013 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 9899
Raw data (stat): 9899 (bsolo_lpr_cuts-) R 9898 21152 21151 0 -1 0 11242 0 0 0 24958 42 0 0 25 0 1 0 907901301 30314496 6700 4294967295 134512640 134716908 3221224560 3221222560 1074916756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7401 6700 1111 63 0 7338 0
vsize: 29604
[startup+260.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9899
Raw data (stat): 9899 (bsolo_lpr_cuts-) R 9898 21152 21151 0 -1 0 11424 0 0 0 25956 43 0 0 25 0 1 0 907901301 30564352 6703 4294967295 134512640 134716908 3221224560 3221220924 1075115856 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7462 6703 1111 63 0 7399 0
vsize: 29848
[startup+270.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9899
Raw data (stat): 9899 (bsolo_lpr_cuts-) R 9898 21152 21151 0 -1 0 11545 0 0 0 26956 44 0 0 25 0 1 0 907901301 30502912 6702 4294967295 134512640 134716908 3221224560 3221220944 1075133386 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7447 6702 1111 63 0 7384 0
vsize: 29788
[startup+280.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9899
Raw data (stat): 9899 (bsolo_lpr_cuts-) R 9898 21152 21151 0 -1 0 11676 0 0 0 27954 45 0 0 25 0 1 0 907901301 30314496 6700 4294967295 134512640 134716908 3221224560 3221222768 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7401 6700 1111 63 0 7338 0
vsize: 29604
[startup+290.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9899
Raw data (stat): 9899 (bsolo_lpr_cuts-) R 9898 21152 21151 0 -1 0 11801 0 0 0 28953 47 0 0 25 0 1 0 907901301 30502912 6701 4294967295 134512640 134716908 3221224560 3221220928 1075894503 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7447 6701 1111 63 0 7384 0
vsize: 29788
[startup+300.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9899
Raw data (stat): 9899 (bsolo_lpr_cuts-) R 9898 21152 21151 0 -1 0 11922 0 0 0 29952 48 0 0 25 0 1 0 907901301 30314496 6700 4294967295 134512640 134716908 3221224560 3221222176 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7401 6700 1111 63 0 7338 0
vsize: 29604
[startup+310.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9899
Raw data (stat): 9899 (bsolo_lpr_cuts-) R 9898 21152 21151 0 -1 0 12027 0 0 0 30951 49 0 0 25 0 1 0 907901301 30564352 6701 4294967295 134512640 134716908 3221224560 3221220788 1075114940 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7462 6701 1111 63 0 7399 0
vsize: 29848
[startup+320.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9899
Raw data (stat): 9899 (bsolo_lpr_cuts-) R 9898 21152 21151 0 -1 0 12137 0 0 0 31950 51 0 0 25 0 1 0 907901301 30502912 6702 4294967295 134512640 134716908 3221224560 3221220560 1075965246 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7447 6702 1111 63 0 7384 0
vsize: 29788
[startup+330.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9899
Raw data (stat): 9899 (bsolo_lpr_cuts-) R 9898 21152 21151 0 -1 0 12237 0 0 0 32950 51 0 0 25 0 1 0 907901301 30564352 6702 4294967295 134512640 134716908 3221224560 3221221480 1074950099 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7462 6702 1111 63 0 7399 0
vsize: 29848
[startup+340.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9899
Raw data (stat): 9899 (bsolo_lpr_cuts-) R 9898 21152 21151 0 -1 0 12323 0 0 0 33949 52 0 0 25 0 1 0 907901301 30314496 6700 4294967295 134512640 134716908 3221224560 3221222912 1074115244 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7401 6700 1111 63 0 7338 0
vsize: 29604
[startup+350.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9899
Raw data (stat): 9899 (bsolo_lpr_cuts-) R 9898 21152 21151 0 -1 0 12453 0 0 0 34948 53 0 0 25 0 1 0 907901301 30314496 6700 4294967295 134512640 134716908 3221224560 3221222872 1074138166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7401 6700 1111 63 0 7338 0
vsize: 29604
[startup+360.425 s]
Raw data (loadavg): 1.15 1.00 0.92 3/57 9948
Raw data (stat): 9899 (bsolo_lpr_cuts-) R 9898 21152 21151 0 -1 0 12566 0 0 0 35984 58 0 0 25 0 1 0 907901301 30314496 6700 4294967295 134512640 134716908 3221224560 3221222560 1074918597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7401 6700 1111 63 0 7338 0
vsize: 29604
[startup+370.425 s]
Raw data (loadavg): 1.20 1.02 0.93 2/54 9952
Raw data (stat): 9899 (bsolo_lpr_cuts-) R 9898 21152 21151 0 -1 0 12733 0 0 0 36982 60 0 0 25 0 1 0 907901301 30314496 6700 4294967295 134512640 134716908 3221224560 3221222288 1075635913 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7401 6700 1111 63 0 7338 0
vsize: 29604
[startup+380.425 s]
Raw data (loadavg): 1.17 1.02 0.93 2/54 9952
Raw data (stat): 9899 (bsolo_lpr_cuts-) R 9898 21152 21151 0 -1 0 12837 0 0 0 37982 61 0 0 25 0 1 0 907901301 30502912 6702 4294967295 134512640 134716908 3221224560 3221220572 1074788950 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7447 6702 1111 63 0 7384 0
vsize: 29788
[startup+390.427 s]
Raw data (loadavg): 1.14 1.02 0.93 2/54 9952
Raw data (stat): 9899 (bsolo_lpr_cuts-) R 9898 21152 21151 0 -1 0 12933 0 0 0 38981 62 0 0 25 0 1 0 907901301 30314496 6700 4294967295 134512640 134716908 3221224560 3221222320 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7401 6700 1111 63 0 7338 0
vsize: 29604
[startup+400.427 s]
Raw data (loadavg): 1.12 1.02 0.93 2/54 9952
Raw data (stat): 9899 (bsolo_lpr_cuts-) R 9898 21152 21151 0 -1 0 13065 0 0 0 39981 62 0 0 25 0 1 0 907901301 30314496 6700 4294967295 134512640 134716908 3221224560 3221222696 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7401 6700 1111 63 0 7338 0
vsize: 29604
[startup+410.427 s]
Raw data (loadavg): 1.10 1.02 0.93 2/54 9952
Raw data (stat): 9899 (bsolo_lpr_cuts-) R 9898 21152 21151 0 -1 0 13185 0 0 0 40979 64 0 0 25 0 1 0 907901301 30314496 6700 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7401 6700 1111 63 0 7338 0
vsize: 29604
[startup+420.427 s]
Raw data (loadavg): 1.08 1.01 0.93 2/54 9952
Raw data (stat): 9899 (bsolo_lpr_cuts-) R 9898 21152 21151 0 -1 0 13324 0 0 0 41978 65 0 0 25 0 1 0 907901301 30314496 6700 4294967295 134512640 134716908 3221224560 3221222336 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7401 6700 1111 63 0 7338 0
vsize: 29604
[startup+430.428 s]
Raw data (loadavg): 1.07 1.01 0.93 2/54 9954
Raw data (stat): 9899 (bsolo_lpr_cuts-) R 9898 21152 21151 0 -1 0 13462 0 0 0 42978 66 0 0 25 0 1 0 907901301 30314496 6702 4294967295 134512640 134716908 3221224560 3221222288 1075828921 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7401 6702 1111 63 0 7338 0
vsize: 29604
[startup+440.428 s]
Raw data (loadavg): 1.06 1.01 0.93 2/54 9954
Raw data (stat): 9899 (bsolo_lpr_cuts-) R 9898 21152 21151 0 -1 0 13587 0 0 0 43977 67 0 0 25 0 1 0 907901301 30314496 6702 4294967295 134512640 134716908 3221224560 3221223024 1074120992 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7401 6702 1111 63 0 7338 0
vsize: 29604
[startup+450.429 s]
Raw data (loadavg): 1.05 1.01 0.93 2/54 9954
Raw data (stat): 9899 (bsolo_lpr_cuts-) R 9898 21152 21151 0 -1 0 13679 0 0 0 44976 68 0 0 25 0 1 0 907901301 30314496 6702 4294967295 134512640 134716908 3221224560 3221222672 1074867331 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7401 6702 1111 63 0 7338 0
vsize: 29604
[startup+460.429 s]
Raw data (loadavg): 1.04 1.01 0.93 2/54 9954
Raw data (stat): 9899 (bsolo_lpr_cuts-) R 9898 21152 21151 0 -1 0 13823 0 0 0 45975 69 0 0 25 0 1 0 907901301 30314496 6702 4294967295 134512640 134716908 3221224560 3221221664 1074138626 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7401 6702 1111 63 0 7338 0
vsize: 29604
[startup+470.43 s]
Raw data (loadavg): 1.04 1.01 0.93 2/54 9954
Raw data (stat): 9899 (bsolo_lpr_cuts-) R 9898 21152 21151 0 -1 0 13954 0 0 0 46974 71 0 0 25 0 1 0 907901301 30314496 6702 4294967295 134512640 134716908 3221224560 3221221616 1074153822 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7401 6702 1111 63 0 7338 0
vsize: 29604
[startup+480.431 s]
Raw data (loadavg): 1.03 1.01 0.93 2/54 9954
Raw data (stat): 9899 (bsolo_lpr_cuts-) R 9898 21152 21151 0 -1 0 14086 0 0 0 47973 72 0 0 25 0 1 0 907901301 30314496 6702 4294967295 134512640 134716908 3221224560 3221222240 1074153673 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7401 6702 1111 63 0 7338 0
vsize: 29604
[startup+490.432 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 9954
Raw data (stat): 9899 (bsolo_lpr_cuts-) R 9898 21152 21151 0 -1 0 14182 0 0 0 48972 73 0 0 25 0 1 0 907901301 30314496 6702 4294967295 134512640 134716908 3221224560 3221221896 1077380592 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7401 6702 1111 63 0 7338 0
vsize: 29604
[startup+500.433 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 9954
Raw data (stat): 9899 (bsolo_lpr_cuts-) R 9898 21152 21151 0 -1 0 14289 0 0 0 49970 75 0 0 25 0 1 0 907901301 30314496 6702 4294967295 134512640 134716908 3221224560 3221222720 1074050818 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7401 6702 1111 63 0 7338 0
vsize: 29604
[startup+510.432 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 9954
Raw data (stat): 9899 (bsolo_lpr_cuts-) R 9898 21152 21151 0 -1 0 14463 0 0 0 50970 76 0 0 25 0 1 0 907901301 30314496 6702 4294967295 134512640 134716908 3221224560 3221222912 1074115318 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7401 6702 1111 63 0 7338 0
vsize: 29604
[startup+520.432 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 9954
Raw data (stat): 9899 (bsolo_lpr_cuts-) R 9898 21152 21151 0 -1 0 14637 0 0 0 51969 77 0 0 25 0 1 0 907901301 30314496 6702 4294967295 134512640 134716908 3221224560 3221222960 1074153766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7401 6702 1111 63 0 7338 0
vsize: 29604
[startup+530.433 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 9954
Raw data (stat): 9899 (bsolo_lpr_cuts-) R 9898 21152 21151 0 -1 0 14807 0 0 0 52968 78 0 0 25 0 1 0 907901301 30314496 6702 4294967295 134512640 134716908 3221224560 3221222088 1074138162 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7401 6702 1111 63 0 7338 0
vsize: 29604
[startup+540.434 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 9954
Raw data (stat): 9899 (bsolo_lpr_cuts-) R 9898 21152 21151 0 -1 0 15466 0 0 0 53965 81 0 0 25 0 1 0 907901301 30593024 6708 4294967295 134512640 134716908 3221224560 3221221632 1074867274 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7469 6708 1111 63 0 7406 0
vsize: 29876
[startup+550.434 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 9954
Raw data (stat): 9899 (bsolo_lpr_cuts-) R 9898 21152 21151 0 -1 0 15997 0 0 0 54962 84 0 0 25 0 1 0 907901301 30314496 6702 4294967295 134512640 134716908 3221224560 3221222876 1074138442 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7401 6702 1111 63 0 7338 0
vsize: 29604
[startup+560.434 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 9954
Raw data (stat): 9899 (bsolo_lpr_cuts-) R 9898 21152 21151 0 -1 0 16515 0 0 0 55960 87 0 0 25 0 1 0 907901301 30314496 6702 4294967295 134512640 134716908 3221224560 3221222368 1074153722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7401 6702 1111 63 0 7338 0
vsize: 29604
[startup+570.434 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 9954
Raw data (stat): 9899 (bsolo_lpr_cuts-) R 9898 21152 21151 0 -1 0 17025 0 0 0 56957 89 0 0 25 0 1 0 907901301 30593024 6707 4294967295 134512640 134716908 3221224560 3221221048 1075169397 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7469 6707 1111 63 0 7406 0
vsize: 29876
[startup+580.434 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 9954
Raw data (stat): 9899 (bsolo_lpr_cuts-) R 9898 21152 21151 0 -1 0 17741 0 0 0 57955 92 0 0 25 0 1 0 907901301 30453760 6706 4294967295 134512640 134716908 3221224560 3221221160 1075850635 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7435 6706 1111 63 0 7372 0
vsize: 29740
[startup+590.436 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 9954
Raw data (stat): 9899 (bsolo_lpr_cuts-) R 9898 21152 21151 0 -1 0 18359 0 0 0 58952 95 0 0 25 0 1 0 907901301 30466048 6703 4294967295 134512640 134716908 3221224560 3221222672 1074867352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7438 6703 1111 63 0 7375 0
vsize: 29752
[startup+600.436 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 9954
Raw data (stat): 9899 (bsolo_lpr_cuts-) R 9898 21152 21151 0 -1 0 19483 0 0 0 59949 98 0 0 25 0 1 0 907901301 30593024 6709 4294967295 134512640 134716908 3221224560 3221220524 1074860620 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7469 6709 1111 63 0 7406 0
vsize: 29876
[startup+610.436 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 9954
Raw data (stat): 9899 (bsolo_lpr_cuts-) R 9898 21152 21151 0 -1 0 20364 0 0 0 60946 101 0 0 25 0 1 0 907901301 30314496 6702 4294967295 134512640 134716908 3221224560 3221222944 1074153822 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7401 6702 1111 63 0 7338 0
vsize: 29604
[startup+620.437 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 9954
Raw data (stat): 9899 (bsolo_lpr_cuts-) R 9898 21152 21151 0 -1 0 21063 0 0 0 61944 104 0 0 25 0 1 0 907901301 30314496 6702 4294967295 134512640 134716908 3221224560 3221222760 1074138166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7401 6702 1111 63 0 7338 0
vsize: 29604
[startup+630.436 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 9954
Raw data (stat): 9899 (bsolo_lpr_cuts-) R 9898 21152 21151 0 -1 0 21565 0 0 0 62942 106 0 0 25 0 1 0 907901301 30314496 6702 4294967295 134512640 134716908 3221224560 3221222480 1075799509 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7401 6702 1111 63 0 7338 0
vsize: 29604
[startup+640.438 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 9954
Raw data (stat): 9899 (bsolo_lpr_cuts-) R 9898 21152 21151 0 -1 0 22080 0 0 0 63939 109 0 0 25 0 1 0 907901301 30314496 6702 4294967295 134512640 134716908 3221224560 3221222824 1077410163 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7401 6702 1111 63 0 7338 0
vsize: 29604
[startup+650.438 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 9954
Raw data (stat): 9899 (bsolo_lpr_cuts-) R 9898 21152 21151 0 -1 0 22593 0 0 0 64936 112 0 0 25 0 1 0 907901301 30314496 6702 4294967295 134512640 134716908 3221224560 3221222896 1074153660 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7401 6702 1111 63 0 7338 0
vsize: 29604
[startup+660.437 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 9954
Raw data (stat): 9899 (bsolo_lpr_cuts-) R 9898 21152 21151 0 -1 0 23112 0 0 0 65933 115 0 0 25 0 1 0 907901301 30314496 6702 4294967295 134512640 134716908 3221224560 3221222288 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7401 6702 1111 63 0 7338 0
vsize: 29604
[startup+670.438 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 9954
Raw data (stat): 9899 (bsolo_lpr_cuts-) R 9898 21152 21151 0 -1 0 23640 0 0 0 66931 118 0 0 25 0 1 0 907901301 30314496 6702 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7401 6702 1111 63 0 7338 0
vsize: 29604
[startup+680.438 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 9956
Raw data (stat): 9899 (bsolo_lpr_cuts-) R 9898 21152 21151 0 -1 0 24167 0 0 0 67928 121 0 0 25 0 1 0 907901301 30314496 6702 4294967295 134512640 134716908 3221224560 3221222956 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7401 6702 1111 63 0 7338 0
vsize: 29604
[startup+690.439 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 9956
Raw data (stat): 9899 (bsolo_lpr_cuts-) R 9898 21152 21151 0 -1 0 24691 0 0 0 68926 123 0 0 25 0 1 0 907901301 30466048 6703 4294967295 134512640 134716908 3221224560 3221222384 1075823494 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7438 6703 1111 63 0 7375 0
vsize: 29752
[startup+700.439 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 9956
Raw data (stat): 9899 (bsolo_lpr_cuts-) R 9898 21152 21151 0 -1 0 25223 0 0 0 69923 126 0 0 25 0 1 0 907901301 30314496 6702 4294967295 134512640 134716908 3221224560 3221221816 1077380592 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7401 6702 1111 63 0 7338 0
vsize: 29604
[startup+710.44 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 9956
Raw data (stat): 9899 (bsolo_lpr_cuts-) R 9898 21152 21151 0 -1 0 26618 0 0 0 70919 130 0 0 25 0 1 0 907901301 30527488 6711 4294967295 134512640 134716908 3221224560 3221222480 1075799503 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7453 6711 1111 63 0 7390 0
vsize: 29812
[startup+720.44 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 9956
Raw data (stat): 9899 (bsolo_lpr_cuts-) R 9898 21152 21151 0 -1 0 27542 0 0 0 71916 133 0 0 25 0 1 0 907901301 30347264 6710 4294967295 134512640 134716908 3221224560 3221222704 1073986742 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7409 6710 1111 63 0 7346 0
vsize: 29636
[startup+730.44 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 9956
Raw data (stat): 9899 (bsolo_lpr_cuts-) R 9898 21152 21151 0 -1 0 28474 0 0 0 72912 138 0 0 25 0 1 0 907901301 30380032 6718 4294967295 134512640 134716908 3221224560 3221222304 1075636586 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7417 6718 1111 63 0 7354 0
vsize: 29668
[startup+740.44 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 9956
Raw data (stat): 9899 (bsolo_lpr_cuts-) R 9898 21152 21151 0 -1 0 29428 0 0 0 73908 141 0 0 25 0 1 0 907901301 30347264 6710 4294967295 134512640 134716908 3221224560 3221222840 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7409 6710 1111 63 0 7346 0
vsize: 29636
[startup+750.44 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 9956
Raw data (stat): 9899 (bsolo_lpr_cuts-) R 9898 21152 21151 0 -1 0 30346 0 0 0 74904 146 0 0 25 0 1 0 907901301 30347264 6710 4294967295 134512640 134716908 3221224560 3221222936 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7409 6710 1111 63 0 7346 0
vsize: 29636
[startup+760.44 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 9956
Raw data (stat): 9899 (bsolo_lpr_cuts-) R 9898 21152 21151 0 -1 0 31232 0 0 0 75901 149 0 0 25 0 1 0 907901301 30527488 6711 4294967295 134512640 134716908 3221224560 3221222288 1075828490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7453 6711 1111 63 0 7390 0
vsize: 29812
[startup+770.441 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 9956
Raw data (stat): 9899 (bsolo_lpr_cuts-) R 9898 21152 21151 0 -1 0 32217 0 0 0 76897 153 0 0 25 0 1 0 907901301 30380032 6718 4294967295 134512640 134716908 3221224560 3221222940 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7417 6718 1111 63 0 7354 0
vsize: 29668
[startup+780.441 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 9956
Raw data (stat): 9899 (bsolo_lpr_cuts-) R 9898 21152 21151 0 -1 0 33528 0 0 0 77893 158 0 0 25 0 1 0 907901301 30519296 6722 4294967295 134512640 134716908 3221224560 3221221544 1074831919 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7451 6722 1111 63 0 7388 0
vsize: 29804
[startup+790.441 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 9956
Raw data (stat): 9899 (bsolo_lpr_cuts-) R 9898 21152 21151 0 -1 0 35145 0 0 0 78888 162 0 0 25 0 1 0 907901301 30347264 6712 4294967295 134512640 134716908 3221224560 3221222944 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7409 6712 1111 63 0 7346 0
vsize: 29636
[startup+800.441 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 9956
Raw data (stat): 9899 (bsolo_lpr_cuts-) R 9898 21152 21151 0 -1 0 36223 0 0 0 79885 166 0 0 25 0 1 0 907901301 30380032 6712 4294967295 134512640 134716908 3221224560 3221222696 1077377854 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7417 6712 1111 63 0 7354 0
vsize: 29668
[startup+810.442 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 9956
Raw data (stat): 9899 (bsolo_lpr_cuts-) R 9898 21152 21151 0 -1 0 37263 0 0 0 80881 170 0 0 25 0 1 0 907901301 30527488 6713 4294967295 134512640 134716908 3221224560 3221222672 1074867296 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7417 6712 1111 63 0 7354 0
vsize: 29812
[startup+820.443 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 9956
Raw data (stat): 9899 (bsolo_lpr_cuts-) R 9898 21152 21151 0 -1 0 38252 0 0 0 81877 175 0 0 25 0 1 0 907901301 30679040 6725 4294967295 134512640 134716908 3221224560 3221221816 1075332533 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7490 6725 1111 63 0 7427 0
vsize: 29960
[startup+830.443 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 9956
Raw data (stat): 9899 (bsolo_lpr_cuts-) R 9898 21152 21151 0 -1 0 39296 0 0 0 82873 179 0 0 25 0 1 0 907901301 30347264 6712 4294967295 134512640 134716908 3221224560 3221222960 1074153673 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7409 6712 1111 63 0 7346 0
vsize: 29636
[startup+840.443 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 9956
Raw data (stat): 9899 (bsolo_lpr_cuts-) R 9898 21152 21151 0 -1 0 40378 0 0 0 83868 184 0 0 25 0 1 0 907901301 30347264 6712 4294967295 134512640 134716908 3221224560 3221223120 134652370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7409 6712 1111 63 0 7346 0
vsize: 29636
[startup+850.443 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 9956
Raw data (stat): 9899 (bsolo_lpr_cuts-) R 9898 21152 21151 0 -1 0 41498 0 0 0 84864 188 0 0 25 0 1 0 907901301 30527488 6713 4294967295 134512640 134716908 3221224560 3221222480 1075799535 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7453 6713 1111 63 0 7390 0
vsize: 29812
[startup+860.444 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 9956
Raw data (stat): 9899 (bsolo_lpr_cuts-) R 9898 21152 21151 0 -1 0 42641 0 0 0 85860 192 0 0 25 0 1 0 907901301 30347264 6712 4294967295 134512640 134716908 3221224560 3221223216 134652244 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7409 6712 1111 63 0 7346 0
vsize: 29636
[startup+870.444 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 9956
Raw data (stat): 9899 (bsolo_lpr_cuts-) R 9898 21152 21151 0 -1 0 43634 0 0 0 86856 196 0 0 25 0 1 0 907901301 30347264 6712 4294967295 134512640 134716908 3221224560 3221222344 1074138166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7409 6712 1111 63 0 7346 0
vsize: 29636
[startup+880.445 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 9956
Raw data (stat): 9899 (bsolo_lpr_cuts-) R 9898 21152 21151 0 -1 0 44842 0 0 0 87853 200 0 0 25 0 1 0 907901301 30380032 6720 4294967295 134512640 134716908 3221224560 3221223200 134651140 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7417 6720 1111 63 0 7354 0
vsize: 29668
[startup+890.445 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 9956
Raw data (stat): 9899 (bsolo_lpr_cuts-) R 9898 21152 21151 0 -1 0 45422 0 0 0 88850 203 0 0 25 0 1 0 907901301 30347264 6712 4294967295 134512640 134716908 3221224560 3221222200 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7409 6712 1111 63 0 7346 0
vsize: 29636
[startup+900.446 s]
Raw data (loadavg): 1.08 1.02 0.93 2/54 9956
Raw data (stat): 9899 (bsolo_lpr_cuts-) R 9898 21152 21151 0 -1 0 45947 0 0 0 89847 206 0 0 25 0 1 0 907901301 30347264 6712 4294967295 134512640 134716908 3221224560 3221222032 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7409 6712 1111 63 0 7346 0
vsize: 29636
[startup+910.446 s]
Raw data (loadavg): 1.07 1.02 0.93 2/54 9956
Raw data (stat): 9899 (bsolo_lpr_cuts-) R 9898 21152 21151 0 -1 0 46962 0 0 0 90843 210 0 0 25 0 1 0 907901301 30679040 6728 4294967295 134512640 134716908 3221224560 3221221216 1075966271 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7490 6728 1111 63 0 7427 0
vsize: 29960
[startup+920.447 s]
Raw data (loadavg): 1.06 1.01 0.93 2/54 9956
Raw data (stat): 9899 (bsolo_lpr_cuts-) R 9898 21152 21151 0 -1 0 48146 0 0 0 91840 214 0 0 25 0 1 0 907901301 30347264 6712 4294967295 134512640 134716908 3221224560 3221222728 1074138150 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7409 6712 1111 63 0 7346 0
vsize: 29636
[startup+930.447 s]
Raw data (loadavg): 1.05 1.01 0.93 2/54 9956
Raw data (stat): 9899 (bsolo_lpr_cuts-) R 9898 21152 21151 0 -1 0 49375 0 0 0 92835 218 0 0 25 0 1 0 907901301 30380032 6720 4294967295 134512640 134716908 3221224560 3221222832 1074056262 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7409 6712 1111 63 0 7346 0
vsize: 29668
[startup+940.446 s]
Raw data (loadavg): 1.04 1.01 0.93 2/54 9956
Raw data (stat): 9899 (bsolo_lpr_cuts-) R 9898 21152 21151 0 -1 0 50576 0 0 0 93831 223 0 0 25 0 1 0 907901301 30347264 6712 4294967295 134512640 134716908 3221224560 3221222960 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7409 6712 1111 63 0 7346 0
vsize: 29636
[startup+950.448 s]
Raw data (loadavg): 1.03 1.01 0.93 2/54 9956
Raw data (stat): 9899 (bsolo_lpr_cuts-) R 9898 21152 21151 0 -1 0 52188 0 0 0 94826 228 0 0 25 0 1 0 907901301 30380032 6716 4294967295 134512640 134716908 3221224560 3221221904 1074839109 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7417 6716 1111 63 0 7354 0
vsize: 29668
[startup+960.448 s]
Raw data (loadavg): 1.03 1.01 0.93 2/54 9956
Raw data (stat): 9899 (bsolo_lpr_cuts-) R 9898 21152 21151 0 -1 0 53832 0 0 0 95821 233 0 0 25 0 1 0 907901301 30728192 6735 4294967295 134512640 134716908 3221224560 3221220672 1075895677 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7502 6735 1111 63 0 7439 0
vsize: 30008
[startup+970.449 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 9956
Raw data (stat): 9899 (bsolo_lpr_cuts-) R 9898 21152 21151 0 -1 0 55433 0 0 0 96818 237 0 0 25 0 1 0 907901301 30347264 6712 4294967295 134512640 134716908 3221224560 3221222384 1074153779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7409 6712 1111 63 0 7346 0
vsize: 29636
[startup+980.45 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 9956
Raw data (stat): 9899 (bsolo_lpr_cuts-) R 9898 21152 21151 0 -1 0 57022 0 0 0 97814 240 0 0 25 0 1 0 907901301 30380032 6716 4294967295 134512640 134716908 3221224560 3221222136 1077410163 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7417 6716 1111 63 0 7354 0
vsize: 29668
[startup+990.45 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 9956
Raw data (stat): 9899 (bsolo_lpr_cuts-) R 9898 21152 21151 0 -1 0 58561 0 0 0 98809 246 0 0 25 0 1 0 907901301 30347264 6712 4294967295 134512640 134716908 3221224560 3221222012 1077411564 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7409 6712 1111 63 0 7346 0
vsize: 29636
[startup+1000.45 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 9956
Raw data (stat): 9899 (bsolo_lpr_cuts-) R 9898 21152 21151 0 -1 0 60119 0 0 0 99804 251 0 0 25 0 1 0 907901301 30724096 6734 4294967295 134512640 134716908 3221224560 3221220556 1074788168 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7501 6734 1111 63 0 7438 0
vsize: 30004
[startup+1010.45 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 9956
Raw data (stat): 9899 (bsolo_lpr_cuts-) R 9898 21152 21151 0 -1 0 61713 0 0 0 100800 255 0 0 25 0 1 0 907901301 30347264 6712 4294967295 134512640 134716908 3221224560 3221222824 1074138166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7409 6712 1111 63 0 7346 0
vsize: 29636
[startup+1020.45 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 9956
Raw data (stat): 9899 (bsolo_lpr_cuts-) R 9898 21152 21151 0 -1 0 63365 0 0 0 101795 261 0 0 25 0 1 0 907901301 30724096 6735 4294967295 134512640 134716908 3221224560 3221221392 1075115375 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7501 6735 1111 63 0 7438 0
vsize: 30004
[startup+1030.45 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 9956
Raw data (stat): 9899 (bsolo_lpr_cuts-) R 9898 21152 21151 0 -1 0 65083 0 0 0 102789 266 0 0 25 0 1 0 907901301 30720000 6735 4294967295 134512640 134716908 3221224560 3221221136 1076048143 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7500 6735 1111 63 0 7437 0
vsize: 30000
[startup+1040.45 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 9956
Raw data (stat): 9899 (bsolo_lpr_cuts-) R 9898 21152 21151 0 -1 0 66812 0 0 0 103784 272 0 0 25 0 1 0 907901301 30724096 6735 4294967295 134512640 134716908 3221224560 3221220788 1075114912 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7501 6735 1111 63 0 7438 0
vsize: 30004
[startup+1050.45 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 9956
Raw data (stat): 9899 (bsolo_lpr_cuts-) R 9898 21152 21151 0 -1 0 68399 0 0 0 104779 278 0 0 25 0 1 0 907901301 30720000 6717 4294967295 134512640 134716908 3221224560 3221221480 1074950102 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7500 6717 1111 63 0 7437 0
vsize: 30000
[startup+1060.45 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 9956
Raw data (stat): 9899 (bsolo_lpr_cuts-) R 9898 21152 21151 0 -1 0 69472 0 0 0 105776 281 0 0 25 0 1 0 907901301 30347264 6712 4294967295 134512640 134716908 3221224560 3221222624 1074153779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7409 6712 1111 63 0 7346 0
vsize: 29636
[startup+1070.45 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 9956
Raw data (stat): 9899 (bsolo_lpr_cuts-) R 9898 21152 21151 0 -1 0 69958 0 0 0 106773 283 0 0 25 0 1 0 907901301 30347264 6712 4294967295 134512640 134716908 3221224560 3221221932 1075463961 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7409 6712 1111 63 0 7346 0
vsize: 29636
[startup+1080.45 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 9956
Raw data (stat): 9899 (bsolo_lpr_cuts-) R 9898 21152 21151 0 -1 0 72293 0 0 0 107767 290 0 0 25 0 1 0 907901301 30347264 6712 4294967295 134512640 134716908 3221224560 3221222836 1077374516 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7409 6712 1111 63 0 7346 0
vsize: 29636
[startup+1090.45 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 9956
Raw data (stat): 9899 (bsolo_lpr_cuts-) R 9898 21152 21151 0 -1 0 76081 0 0 0 108756 301 0 0 25 0 1 0 907901301 31207424 6882 4294967295 134512640 134716908 3221224560 3221220560 1075965240 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7619 6882 1111 63 0 7556 0
vsize: 30476
[startup+1100.45 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 9956
Raw data (stat): 9899 (bsolo_lpr_cuts-) R 9898 21152 21151 0 -1 0 80037 0 0 0 109746 311 0 0 25 0 1 0 907901301 30392320 6723 4294967295 134512640 134716908 3221224560 3221222812 1077404740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7420 6723 1111 63 0 7357 0
vsize: 29680
[startup+1110.45 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 9956
Raw data (stat): 9899 (bsolo_lpr_cuts-) R 9898 21152 21151 0 -1 0 83882 0 0 0 110735 322 0 0 25 0 1 0 907901301 30425088 6731 4294967295 134512640 134716908 3221224560 3221222712 1074138166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7428 6731 1111 63 0 7365 0
vsize: 29712
[startup+1120.45 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 9956
Raw data (stat): 9899 (bsolo_lpr_cuts-) R 9898 21152 21151 0 -1 0 87291 0 0 0 111725 333 0 0 25 0 1 0 907901301 30482432 6745 4294967295 134512640 134716908 3221224560 3221222272 1074153753 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7442 6745 1111 63 0 7379 0
vsize: 29768
[startup+1130.45 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 9956
Raw data (stat): 9899 (bsolo_lpr_cuts-) R 9898 21152 21151 0 -1 0 90099 0 0 0 112717 341 0 0 25 0 1 0 907901301 30851072 6773 4294967295 134512640 134716908 3221224560 3221220720 1075091317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7532 6773 1111 63 0 7469 0
vsize: 30128
[startup+1140.45 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 9956
Raw data (stat): 9899 (bsolo_lpr_cuts-) R 9898 21152 21151 0 -1 0 93459 0 0 0 113708 350 0 0 25 0 1 0 907901301 30736384 6798 4294967295 134512640 134716908 3221224560 3221222560 1074918559 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7504 6798 1111 63 0 7441 0
vsize: 30016
[startup+1150.45 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 9956
Raw data (stat): 9899 (bsolo_lpr_cuts-) R 9898 21152 21151 0 -1 0 97101 0 0 0 114698 360 0 0 25 0 1 0 907901301 30978048 6799 4294967295 134512640 134716908 3221224560 3221222288 1075829025 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7563 6799 1111 63 0 7500 0
vsize: 30252
[startup+1160.45 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 9956
Raw data (stat): 9899 (bsolo_lpr_cuts-) R 9898 21152 21151 0 -1 0 100408 0 0 0 115689 370 0 0 25 0 1 0 907901301 31191040 6835 4294967295 134512640 134716908 3221224560 3221220720 1075091317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7615 6835 1111 63 0 7552 0
vsize: 30460
[startup+1170.46 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 9956
Raw data (stat): 9899 (bsolo_lpr_cuts-) R 9898 21152 21151 0 -1 0 103583 0 0 0 116679 380 0 0 25 0 1 0 907901301 30658560 6788 4294967295 134512640 134716908 3221224560 3221222344 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7485 6788 1111 63 0 7422 0
vsize: 29940
[startup+1175.01 s]
Raw data (loadavg): 1.00 1.00 0.93 1/53 9956
Raw data (stat): 9899 (bsolo_lpr_cuts-) R 9898 21152 21151 0 -1 0 103583 0 0 0 116679 380 0 0 25 0 1 0 907901301 30658560 6788 4294967295 134512640 134716908 3221224560 3221222344 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7485 6788 1111 63 0 7422 0
vsize: 0

Child status: 0
Real time (s): 1175.01
CPU time (s): 1175.14
CPU user time (s): 1171.3
CPU system time (s): 3.84342
CPU usage (%): 100.012
Max. virtual memory (Kb): 30476
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####