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/miplib2003/normalized-mps-v2-13-7-vpm2.opb
MD5SUM	8c44064d4224b1d41c28f152218dd39f
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	98
Optimality of the best value was proved	NO
Number of terms in the objective function	168
Biggest coefficient in the objective function	5
Number of bits for the biggest coefficient in the objective function	3
Sum of the numbers in the objective function	504
Number of bits of the sum of numbers in the objective function	9
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.05084
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 41550

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-06-09 15:30:04 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=29611 boxname=wulflinc3 idbench=1395 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  8c44064d4224b1d41c28f152218dd39f  /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-13-7-vpm2.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-13-7-vpm2.opb
IDLAUNCH: 29611
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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.190
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:        839644 kB
Buffers:           220 kB
Cached:         174956 kB
SwapCached:        672 kB
Active:          29556 kB
Inactive:       147588 kB
HighTotal:      131008 kB
HighFree:        12768 kB
LowTotal:       903652 kB
LowFree:        826876 kB
SwapTotal:     2097136 kB
SwapFree:      2095384 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5004 kB
Slab:            11996 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 15:49:39 (client local time) WITH STATUS 0 IN 1175.45 SECONDS
stats: 29611 7 1175.45 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 1392 variables and 289 constraints.
c preprocess terminated 44.71 s
c Initial Lower Bound: 40
c Lower Bound Elapsed time: 0.1745
c Use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.44 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.93 0.90 1/54 12063
Raw data (stat): 12063 (runsolver) R 12062 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 911357827 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.0004 s]
Raw data (loadavg): 0.87 0.93 0.90 2/54 12063
Raw data (stat): 12063 (bsolo_lpr_cuts-) R 12062 20224 20223 0 -1 0 5996 0 0 0 981 16 0 0 25 0 1 0 911357827 27754496 5914 4294967295 134512640 134716908 3221224560 3221223200 134606495 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6776 5914 1111 63 0 6713 0
vsize: 27104
[startup+20.0012 s]
Raw data (loadavg): 0.89 0.93 0.90 2/54 12063
Raw data (stat): 12063 (bsolo_lpr_cuts-) R 12062 20224 20223 0 -1 0 5996 0 0 0 1981 16 0 0 25 0 1 0 911357827 27754496 5914 4294967295 134512640 134716908 3221224560 3221223200 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6776 5914 1111 63 0 6713 0
vsize: 27104
[startup+30.0024 s]
Raw data (loadavg): 0.91 0.93 0.90 2/54 12063
Raw data (stat): 12063 (bsolo_lpr_cuts-) R 12062 20224 20223 0 -1 0 5996 0 0 0 2981 16 0 0 25 0 1 0 911357827 27754496 5914 4294967295 134512640 134716908 3221224560 3221223200 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6776 5914 1111 63 0 6713 0
vsize: 27104
[startup+40.0019 s]
Raw data (loadavg): 0.92 0.94 0.90 2/54 12063
Raw data (stat): 12063 (bsolo_lpr_cuts-) R 12062 20224 20223 0 -1 0 5996 0 0 0 3982 16 0 0 25 0 1 0 911357827 27754496 5914 4294967295 134512640 134716908 3221224560 3221223200 134606504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6776 5914 1111 63 0 6713 0
vsize: 27104
[startup+50.0028 s]
Raw data (loadavg): 0.93 0.94 0.90 2/54 12063
Raw data (stat): 12063 (bsolo_lpr_cuts-) R 12062 20224 20223 0 -1 0 7323 0 0 0 4978 20 0 0 25 0 1 0 911357827 27779072 6082 4294967295 134512640 134716908 3221224560 3221222728 1077377368 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6782 6082 1111 63 0 6719 0
vsize: 27128
[startup+60.0028 s]
Raw data (loadavg): 0.94 0.94 0.90 2/54 12063
Raw data (stat): 12063 (bsolo_lpr_cuts-) R 12062 20224 20223 0 -1 0 8666 0 0 0 5973 24 0 0 25 0 1 0 911357827 27779072 6082 4294967295 134512640 134716908 3221224560 3221222560 1074918562 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6782 6082 1111 63 0 6719 0
vsize: 27128
[startup+70.0033 s]
Raw data (loadavg): 0.95 0.94 0.91 2/54 12063
Raw data (stat): 12063 (bsolo_lpr_cuts-) R 12062 20224 20223 0 -1 0 10302 0 0 0 6969 28 0 0 25 0 1 0 911357827 27947008 6088 4294967295 134512640 134716908 3221224560 3221222288 1075828447 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6823 6088 1111 63 0 6760 0
vsize: 27292
[startup+80.0031 s]
Raw data (loadavg): 0.96 0.94 0.91 2/54 12063
Raw data (stat): 12063 (bsolo_lpr_cuts-) R 12062 20224 20223 0 -1 0 12010 0 0 0 7964 33 0 0 25 0 1 0 911357827 27820032 6095 4294967295 134512640 134716908 3221224560 3221222896 1074153753 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6792 6095 1111 63 0 6729 0
vsize: 27168
[startup+90.0033 s]
Raw data (loadavg): 0.96 0.94 0.91 2/54 12063
Raw data (stat): 12063 (bsolo_lpr_cuts-) R 12062 20224 20223 0 -1 0 13845 0 0 0 8959 39 0 0 25 0 1 0 911357827 28041216 6111 4294967295 134512640 134716908 3221224560 3221220720 1075091282 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6846 6111 1111 63 0 6783 0
vsize: 27384
[startup+100.004 s]
Raw data (loadavg): 0.97 0.94 0.91 2/54 12063
Raw data (stat): 12063 (bsolo_lpr_cuts-) R 12062 20224 20223 0 -1 0 15902 0 0 0 9952 46 0 0 25 0 1 0 911357827 27779072 6087 4294967295 134512640 134716908 3221224560 3221222848 1074153815 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6782 6087 1111 63 0 6719 0
vsize: 27128
[startup+110.004 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 12063
Raw data (stat): 12063 (bsolo_lpr_cuts-) R 12062 20224 20223 0 -1 0 17833 0 0 0 10947 51 0 0 25 0 1 0 911357827 27815936 6092 4294967295 134512640 134716908 3221224560 3221223200 134651140 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6791 6092 1111 63 0 6728 0
vsize: 27164
[startup+120.005 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 12063
Raw data (stat): 12063 (bsolo_lpr_cuts-) R 12062 20224 20223 0 -1 0 19654 0 0 0 11941 57 0 0 25 0 1 0 911357827 27811840 6093 4294967295 134512640 134716908 3221224560 3221222088 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6790 6093 1111 63 0 6727 0
vsize: 27160
[startup+130.004 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 12063
Raw data (stat): 12063 (bsolo_lpr_cuts-) R 12062 20224 20223 0 -1 0 21437 0 0 0 12935 64 0 0 25 0 1 0 911357827 27815936 6090 4294967295 134512640 134716908 3221224560 3221222816 1074153660 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6791 6090 1111 63 0 6728 0
vsize: 27164
[startup+140.004 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 12063
Raw data (stat): 12063 (bsolo_lpr_cuts-) R 12062 20224 20223 0 -1 0 23186 0 0 0 13929 69 0 0 25 0 1 0 911357827 27779072 6087 4294967295 134512640 134716908 3221224560 3221222584 1074138162 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6782 6087 1111 63 0 6719 0
vsize: 27128
[startup+150.005 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 12063
Raw data (stat): 12063 (bsolo_lpr_cuts-) R 12062 20224 20223 0 -1 0 24950 0 0 0 14924 75 0 0 25 0 1 0 911357827 28004352 6114 4294967295 134512640 134716908 3221224560 3221220704 1074950918 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6837 6114 1111 63 0 6774 0
vsize: 27348
[startup+160.005 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 12063
Raw data (stat): 12063 (bsolo_lpr_cuts-) R 12062 20224 20223 0 -1 0 26816 0 0 0 15918 81 0 0 25 0 1 0 911357827 27779072 6087 4294967295 134512640 134716908 3221224560 3221222316 1077411564 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6782 6087 1111 63 0 6719 0
vsize: 27128
[startup+170.005 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 12063
Raw data (stat): 12063 (bsolo_lpr_cuts-) R 12062 20224 20223 0 -1 0 28659 0 0 0 16912 87 0 0 25 0 1 0 911357827 27815936 6096 4294967295 134512640 134716908 3221224560 3221222424 1077380592 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6791 6096 1111 63 0 6728 0
vsize: 27164
[startup+180.005 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 12063
Raw data (stat): 12063 (bsolo_lpr_cuts-) R 12062 20224 20223 0 -1 0 30510 0 0 0 17906 94 0 0 25 0 1 0 911357827 27779072 6087 4294967295 134512640 134716908 3221224560 3221222800 1074153660 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6782 6087 1111 63 0 6719 0
vsize: 27128
[startup+190.005 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 12063
Raw data (stat): 12063 (bsolo_lpr_cuts-) R 12062 20224 20223 0 -1 0 33056 0 0 0 18899 101 0 0 25 0 1 0 911357827 27779072 6088 4294967295 134512640 134716908 3221224560 3221222944 134652402 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6782 6088 1111 63 0 6719 0
vsize: 27128
[startup+200.005 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 12063
Raw data (stat): 12063 (bsolo_lpr_cuts-) R 12062 20224 20223 0 -1 0 35341 0 0 0 19893 106 0 0 25 0 1 0 911357827 27820032 6098 4294967295 134512640 134716908 3221224560 3221222712 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6792 6098 1111 63 0 6729 0
vsize: 27168
[startup+210.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 12063
Raw data (stat): 12063 (bsolo_lpr_cuts-) R 12062 20224 20223 0 -1 0 37563 0 0 0 20885 115 0 0 25 0 1 0 911357827 27856896 6096 4294967295 134512640 134716908 3221224560 3221223024 1074119512 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6801 6096 1111 63 0 6738 0
vsize: 27204
[startup+220.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 12063
Raw data (stat): 12063 (bsolo_lpr_cuts-) R 12062 20224 20223 0 -1 0 39836 0 0 0 21877 123 0 0 25 0 1 0 911357827 27815936 6095 4294967295 134512640 134716908 3221224560 3221222816 1074153822 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6791 6095 1111 63 0 6728 0
vsize: 27164
[startup+230.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 12063
Raw data (stat): 12063 (bsolo_lpr_cuts-) R 12062 20224 20223 0 -1 0 41953 0 0 0 22869 131 0 0 25 0 1 0 911357827 27815936 6095 4294967295 134512640 134716908 3221224560 3221222540 1077411564 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6791 6095 1111 63 0 6728 0
vsize: 27164
[startup+240.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 12063
Raw data (stat): 12063 (bsolo_lpr_cuts-) R 12062 20224 20223 0 -1 0 43791 0 0 0 23862 138 0 0 25 0 1 0 911357827 28000256 6109 4294967295 134512640 134716908 3221224560 3221221480 1074950114 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6836 6109 1111 63 0 6773 0
vsize: 27344
[startup+250.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 12063
Raw data (stat): 12063 (bsolo_lpr_cuts-) R 12062 20224 20223 0 -1 0 45899 0 0 0 24857 144 0 0 25 0 1 0 911357827 27983872 6107 4294967295 134512640 134716908 3221224560 3221220672 1075091320 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6832 6107 1111 63 0 6769 0
vsize: 27328
[startup+260.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 12063
Raw data (stat): 12063 (bsolo_lpr_cuts-) R 12062 20224 20223 0 -1 0 47896 0 0 0 25850 151 0 0 25 0 1 0 911357827 27779072 6088 4294967295 134512640 134716908 3221224560 3221222576 1074153625 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6782 6088 1111 63 0 6719 0
vsize: 27128
[startup+270.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 12063
Raw data (stat): 12063 (bsolo_lpr_cuts-) R 12062 20224 20223 0 -1 0 49875 0 0 0 26845 156 0 0 25 0 1 0 911357827 27811840 6091 4294967295 134512640 134716908 3221224560 3221223344 134624483 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6790 6091 1111 63 0 6727 0
vsize: 27160
[startup+280.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 12063
Raw data (stat): 12063 (bsolo_lpr_cuts-) R 12062 20224 20223 0 -1 0 51897 0 0 0 27839 162 0 0 25 0 1 0 911357827 27992064 6110 4294967295 134512640 134716908 3221224560 3221220516 1074875773 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6834 6110 1111 63 0 6771 0
vsize: 27336
[startup+290.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 12063
Raw data (stat): 12063 (bsolo_lpr_cuts-) R 12062 20224 20223 0 -1 0 53960 0 0 0 28833 168 0 0 25 0 1 0 911357827 27848704 6105 4294967295 134512640 134716908 3221224560 3221223004 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6799 6105 1111 63 0 6736 0
vsize: 27196
[startup+300.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 12063
Raw data (stat): 12063 (bsolo_lpr_cuts-) R 12062 20224 20223 0 -1 0 56115 0 0 0 29829 173 0 0 25 0 1 0 911357827 27779072 6088 4294967295 134512640 134716908 3221224560 3221222304 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6782 6088 1111 63 0 6719 0
vsize: 27128
[startup+310.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12063
Raw data (stat): 12063 (bsolo_lpr_cuts-) R 12062 20224 20223 0 -1 0 58341 0 0 0 30824 178 0 0 25 0 1 0 911357827 27779072 6088 4294967295 134512640 134716908 3221224560 3221222872 1074138162 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6782 6088 1111 63 0 6719 0
vsize: 27128
[startup+320.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12063
Raw data (stat): 12063 (bsolo_lpr_cuts-) R 12062 20224 20223 0 -1 0 60501 0 0 0 31818 184 0 0 25 0 1 0 911357827 27811840 6091 4294967295 134512640 134716908 3221224560 3221223004 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6790 6091 1111 63 0 6727 0
vsize: 27160
[startup+330.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12063
Raw data (stat): 12063 (bsolo_lpr_cuts-) R 12062 20224 20223 0 -1 0 62713 0 0 0 32812 190 0 0 25 0 1 0 911357827 27779072 6088 4294967295 134512640 134716908 3221224560 3221221880 1077380592 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6782 6088 1111 63 0 6719 0
vsize: 27128
[startup+340.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12063
Raw data (stat): 12063 (bsolo_lpr_cuts-) R 12062 20224 20223 0 -1 0 64965 0 0 0 33805 198 0 0 25 0 1 0 911357827 27815936 6097 4294967295 134512640 134716908 3221224560 3221222560 1074918536 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6791 6097 1111 63 0 6728 0
vsize: 27164
[startup+350.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12063
Raw data (stat): 12063 (bsolo_lpr_cuts-) R 12062 20224 20223 0 -1 0 67191 0 0 0 34799 204 0 0 25 0 1 0 911357827 28000256 6109 4294967295 134512640 134716908 3221224560 3221220824 1074950105 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6836 6109 1111 63 0 6773 0
vsize: 27344
[startup+360.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12063
Raw data (stat): 12063 (bsolo_lpr_cuts-) R 12062 20224 20223 0 -1 0 69477 0 0 0 35793 210 0 0 25 0 1 0 911357827 28008448 6102 4294967295 134512640 134716908 3221224560 3221221216 1075966262 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6838 6102 1111 63 0 6775 0
vsize: 27352
[startup+370.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12063
Raw data (stat): 12063 (bsolo_lpr_cuts-) R 12062 20224 20223 0 -1 0 71742 0 0 0 36786 217 0 0 25 0 1 0 911357827 27820032 6098 4294967295 134512640 134716908 3221224560 3221222896 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6792 6098 1111 63 0 6729 0
vsize: 27168
[startup+380.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12063
Raw data (stat): 12063 (bsolo_lpr_cuts-) R 12062 20224 20223 0 -1 0 73907 0 0 0 37781 223 0 0 25 0 1 0 911357827 27779072 6088 4294967295 134512640 134716908 3221224560 3221222812 1074152825 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6782 6088 1111 63 0 6719 0
vsize: 27128
[startup+390.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12063
Raw data (stat): 12063 (bsolo_lpr_cuts-) R 12062 20224 20223 0 -1 0 76282 0 0 0 38777 229 0 0 25 0 1 0 911357827 27934720 6097 4294967295 134512640 134716908 3221224560 3221222608 1074867320 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6820 6097 1111 63 0 6757 0
vsize: 27280
[startup+400.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12063
Raw data (stat): 12063 (bsolo_lpr_cuts-) R 12062 20224 20223 0 -1 0 78479 0 0 0 39771 234 0 0 25 0 1 0 911357827 27815936 6097 4294967295 134512640 134716908 3221224560 3221222656 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6791 6097 1111 63 0 6728 0
vsize: 27164
[startup+410.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12063
Raw data (stat): 12063 (bsolo_lpr_cuts-) R 12062 20224 20223 0 -1 0 80759 0 0 0 40764 241 0 0 25 0 1 0 911357827 27815936 6097 4294967295 134512640 134716908 3221224560 3221222376 1077380592 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6791 6097 1111 63 0 6728 0
vsize: 27164
[startup+420.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12063
Raw data (stat): 12063 (bsolo_lpr_cuts-) R 12062 20224 20223 0 -1 0 82800 0 0 0 41758 247 0 0 25 0 1 0 911357827 27979776 6109 4294967295 134512640 134716908 3221224560 3221220516 1074875856 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6831 6109 1111 63 0 6768 0
vsize: 27324
[startup+430.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12063
Raw data (stat): 12063 (bsolo_lpr_cuts-) R 12062 20224 20223 0 -1 0 84923 0 0 0 42753 253 0 0 25 0 1 0 911357827 27779072 6088 4294967295 134512640 134716908 3221224560 3221222296 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6782 6088 1111 63 0 6719 0
vsize: 27128
[startup+440.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12063
Raw data (stat): 12063 (bsolo_lpr_cuts-) R 12062 20224 20223 0 -1 0 87049 0 0 0 43747 259 0 0 25 0 1 0 911357827 27815936 6092 4294967295 134512640 134716908 3221224560 3221222232 1074138265 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6791 6092 1111 63 0 6728 0
vsize: 27164
[startup+450.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12063
Raw data (stat): 12063 (bsolo_lpr_cuts-) R 12062 20224 20223 0 -1 0 89174 0 0 0 44741 266 0 0 25 0 1 0 911357827 27992064 6103 4294967295 134512640 134716908 3221224560 3221220720 1075095166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6834 6104 1111 63 0 6771 0
vsize: 27336
[startup+460.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12063
Raw data (stat): 12063 (bsolo_lpr_cuts-) R 12062 20224 20223 0 -1 0 91265 0 0 0 45733 274 0 0 25 0 1 0 911357827 27779072 6088 4294967295 134512640 134716908 3221224560 3221222840 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6782 6088 1111 63 0 6719 0
vsize: 27128
[startup+470.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12063
Raw data (stat): 12063 (bsolo_lpr_cuts-) R 12062 20224 20223 0 -1 0 93462 0 0 0 46725 281 0 0 25 0 1 0 911357827 27779072 6088 4294967295 134512640 134716908 3221224560 3221222752 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6782 6088 1111 63 0 6719 0
vsize: 27128
[startup+480.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12063
Raw data (stat): 12063 (bsolo_lpr_cuts-) R 12062 20224 20223 0 -1 0 95960 0 0 0 47718 289 0 0 25 0 1 0 911357827 28172288 6115 4294967295 134512640 134716908 3221224560 3221220524 1074860632 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6878 6115 1111 63 0 6815 0
vsize: 27512
[startup+490.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12063
Raw data (stat): 12063 (bsolo_lpr_cuts-) R 12062 20224 20223 0 -1 0 99186 0 0 0 48708 298 0 0 25 0 1 0 911357827 28213248 6123 4294967295 134512640 134716908 3221224560 3221220944 1074973527 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6888 6123 1111 63 0 6825 0
vsize: 27552
[startup+500.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12063
Raw data (stat): 12063 (bsolo_lpr_cuts-) R 12062 20224 20223 0 -1 0 102539 0 0 0 49699 308 0 0 25 0 1 0 911357827 27983872 6096 4294967295 134512640 134716908 3221224560 3221222624 1075961814 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6832 6096 1111 63 0 6769 0
vsize: 27328
[startup+510.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12063
Raw data (stat): 12063 (bsolo_lpr_cuts-) R 12062 20224 20223 0 -1 0 106017 0 0 0 50690 317 0 0 25 0 1 0 911357827 28135424 6129 4294967295 134512640 134716908 3221224560 3221220592 1075965280 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6869 6129 1111 63 0 6806 0
vsize: 27476
[startup+520.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12063
Raw data (stat): 12063 (bsolo_lpr_cuts-) R 12062 20224 20223 0 -1 0 109961 0 0 0 51679 328 0 0 25 0 1 0 911357827 27889664 6113 4294967295 134512640 134716908 3221224560 3221222016 1074050966 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6809 6113 1111 63 0 6746 0
vsize: 27236
[startup+530.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12063
Raw data (stat): 12063 (bsolo_lpr_cuts-) R 12062 20224 20223 0 -1 0 113914 0 0 0 52667 340 0 0 25 0 1 0 911357827 27779072 6088 4294967295 134512640 134716908 3221224560 3221222888 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6782 6088 1111 63 0 6719 0
vsize: 27128
[startup+540.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12063
Raw data (stat): 12063 (bsolo_lpr_cuts-) R 12062 20224 20223 0 -1 0 117792 0 0 0 53656 351 0 0 25 0 1 0 911357827 27881472 6113 4294967295 134512640 134716908 3221224560 3221223208 134542412 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6807 6113 1111 63 0 6744 0
vsize: 27228
[startup+550.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12063
Raw data (stat): 12063 (bsolo_lpr_cuts-) R 12062 20224 20223 0 -1 0 121213 0 0 0 54645 362 0 0 25 0 1 0 911357827 27992064 6104 4294967295 134512640 134716908 3221224560 3221222480 1075799556 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6834 6104 1111 63 0 6771 0
vsize: 27336
[startup+560.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12063
Raw data (stat): 12063 (bsolo_lpr_cuts-) R 12062 20224 20223 0 -1 0 125011 0 0 0 55636 372 0 0 25 0 1 0 911357827 28123136 6128 4294967295 134512640 134716908 3221224560 3221220544 1074875068 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6866 6128 1111 63 0 6803 0
vsize: 27464
[startup+570.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12063
Raw data (stat): 12063 (bsolo_lpr_cuts-) R 12062 20224 20223 0 -1 0 128681 0 0 0 56624 384 0 0 25 0 1 0 911357827 27865088 6109 4294967295 134512640 134716908 3221224560 3221222956 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6803 6109 1111 63 0 6740 0
vsize: 27212
[startup+580.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12063
Raw data (stat): 12063 (bsolo_lpr_cuts-) R 12062 20224 20223 0 -1 0 131613 0 0 0 57615 393 0 0 25 0 1 0 911357827 28168192 6143 4294967295 134512640 134716908 3221224560 3221221512 1075066341 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6877 6143 1111 63 0 6814 0
vsize: 27508
[startup+590.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12063
Raw data (stat): 12063 (bsolo_lpr_cuts-) R 12062 20224 20223 0 -1 0 134262 0 0 0 58608 401 0 0 25 0 1 0 911357827 28360704 6162 4294967295 134512640 134716908 3221224560 3221221328 1076083768 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6924 6162 1111 63 0 6861 0
vsize: 27696
[startup+600.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12063
Raw data (stat): 12063 (bsolo_lpr_cuts-) R 12062 20224 20223 0 -1 0 136853 0 0 0 59601 408 0 0 25 0 1 0 911357827 27910144 6120 4294967295 134512640 134716908 3221224560 3221222912 1074153672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6814 6120 1111 63 0 6751 0
vsize: 27256
[startup+610.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12063
Raw data (stat): 12063 (bsolo_lpr_cuts-) R 12062 20224 20223 0 -1 0 139710 0 0 0 60593 416 0 0 25 0 1 0 911357827 27942912 6128 4294967295 134512640 134716908 3221224560 3221222568 1074138144 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6822 6128 1111 63 0 6759 0
vsize: 27288
[startup+620.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12063
Raw data (stat): 12063 (bsolo_lpr_cuts-) R 12062 20224 20223 0 -1 0 142123 0 0 0 61586 423 0 0 25 0 1 0 911357827 28352512 6160 4294967295 134512640 134716908 3221224560 3221220604 1074873504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6922 6160 1111 63 0 6859 0
vsize: 27688
[startup+630.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12063
Raw data (stat): 12063 (bsolo_lpr_cuts-) R 12062 20224 20223 0 -1 0 144345 0 0 0 62580 430 0 0 25 0 1 0 911357827 28278784 6210 4294967295 134512640 134716908 3221224560 3221222560 1074918347 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6904 6210 1111 63 0 6841 0
vsize: 27616
[startup+640.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12063
Raw data (stat): 12063 (bsolo_lpr_cuts-) R 12062 20224 20223 0 -1 0 145926 0 0 0 63576 434 0 0 25 0 1 0 911357827 28278784 6210 4294967295 134512640 134716908 3221224560 3221222912 1074115298 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6904 6210 1111 63 0 6841 0
vsize: 27616
[startup+650.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12063
Raw data (stat): 12063 (bsolo_lpr_cuts-) R 12062 20224 20223 0 -1 0 148267 0 0 0 64569 441 0 0 25 0 1 0 911357827 28459008 6254 4294967295 134512640 134716908 3221224560 3221222624 1075961606 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6948 6254 1111 63 0 6885 0
vsize: 27792
[startup+660.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12063
Raw data (stat): 12063 (bsolo_lpr_cuts-) R 12062 20224 20223 0 -1 0 148480 0 0 0 65568 442 0 0 25 0 1 0 911357827 28438528 6249 4294967295 134512640 134716908 3221224560 3221222416 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6943 6249 1111 63 0 6880 0
vsize: 27772
[startup+670.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12063
Raw data (stat): 12063 (bsolo_lpr_cuts-) R 12062 20224 20223 0 -1 0 148744 0 0 0 66566 444 0 0 25 0 1 0 911357827 28438528 6249 4294967295 134512640 134716908 3221224560 3221222976 1074121071 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6943 6249 1111 63 0 6880 0
vsize: 27772
[startup+680.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12063
Raw data (stat): 12063 (bsolo_lpr_cuts-) R 12062 20224 20223 0 -1 0 149274 0 0 0 67563 447 0 0 25 0 1 0 911357827 28459008 6254 4294967295 134512640 134716908 3221224560 3221222872 1074138150 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6948 6254 1111 63 0 6885 0
vsize: 27792
[startup+690.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12063
Raw data (stat): 12063 (bsolo_lpr_cuts-) R 12062 20224 20223 0 -1 0 149759 0 0 0 68560 450 0 0 25 0 1 0 911357827 28688384 6255 4294967295 134512640 134716908 3221224560 3221221552 1075338867 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7004 6255 1111 63 0 6941 0
vsize: 28016
[startup+700.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12063
Raw data (stat): 12063 (bsolo_lpr_cuts-) R 12062 20224 20223 0 -1 0 150401 0 0 0 69557 453 0 0 25 0 1 0 911357827 28606464 6263 4294967295 134512640 134716908 3221224560 3221220420 1074786498 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6984 6263 1111 63 0 6921 0
vsize: 27936
[startup+710.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12063
Raw data (stat): 12063 (bsolo_lpr_cuts-) R 12062 20224 20223 0 -1 0 151278 0 0 0 70554 456 0 0 25 0 1 0 911357827 28667904 6256 4294967295 134512640 134716908 3221224560 3221220844 1075006387 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6999 6256 1111 63 0 6936 0
vsize: 27996
[startup+720.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12063
Raw data (stat): 12063 (bsolo_lpr_cuts-) R 12062 20224 20223 0 -1 0 152249 0 0 0 71551 460 0 0 25 0 1 0 911357827 28459008 6254 4294967295 134512640 134716908 3221224560 3221222288 1075829023 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6948 6254 1111 63 0 6885 0
vsize: 27792
[startup+730.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12063
Raw data (stat): 12063 (bsolo_lpr_cuts-) R 12062 20224 20223 0 -1 0 153139 0 0 0 72547 464 0 0 25 0 1 0 911357827 28459008 6252 4294967295 134512640 134716908 3221224560 3221222384 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6948 6252 1111 63 0 6885 0
vsize: 27792
[startup+740.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12063
Raw data (stat): 12063 (bsolo_lpr_cuts-) R 12062 20224 20223 0 -1 0 154341 0 0 0 73543 468 0 0 25 0 1 0 911357827 28459008 6254 4294967295 134512640 134716908 3221224560 3221223200 134651140 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6948 6254 1111 63 0 6885 0
vsize: 27792
[startup+750.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12063
Raw data (stat): 12063 (bsolo_lpr_cuts-) R 12062 20224 20223 0 -1 0 154612 0 0 0 74541 471 0 0 25 0 1 0 911357827 28438528 6249 4294967295 134512640 134716908 3221224560 3221222608 1074153815 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6943 6249 1111 63 0 6880 0
vsize: 27772
[startup+760.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12063
Raw data (stat): 12063 (bsolo_lpr_cuts-) R 12062 20224 20223 0 -1 0 154862 0 0 0 75540 472 0 0 25 0 1 0 911357827 28459008 6252 4294967295 134512640 134716908 3221224560 3221222768 1074153672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6948 6252 1111 63 0 6885 0
vsize: 27792
[startup+770.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12063
Raw data (stat): 12063 (bsolo_lpr_cuts-) R 12062 20224 20223 0 -1 0 155247 0 0 0 76538 474 0 0 25 0 1 0 911357827 28438528 6249 4294967295 134512640 134716908 3221224560 3221222864 1074153736 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6943 6249 1111 63 0 6880 0
vsize: 27772
[startup+780.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12063
Raw data (stat): 12063 (bsolo_lpr_cuts-) R 12062 20224 20223 0 -1 0 155405 0 0 0 77537 475 0 0 25 0 1 0 911357827 28438528 6249 4294967295 134512640 134716908 3221224560 3221222672 1074153815 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6943 6249 1111 63 0 6880 0
vsize: 27772
[startup+790.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12063
Raw data (stat): 12063 (bsolo_lpr_cuts-) R 12062 20224 20223 0 -1 0 155585 0 0 0 78536 476 0 0 25 0 1 0 911357827 28663808 6252 4294967295 134512640 134716908 3221224560 3221220640 1075561192 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6998 6252 1111 63 0 6935 0
vsize: 27992
[startup+800.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12063
Raw data (stat): 12063 (bsolo_lpr_cuts-) R 12062 20224 20223 0 -1 0 155734 0 0 0 79535 478 0 0 25 0 1 0 911357827 28438528 6249 4294967295 134512640 134716908 3221224560 3221222368 1074153815 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6943 6249 1111 63 0 6880 0
vsize: 27772
[startup+810.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12063
Raw data (stat): 12063 (bsolo_lpr_cuts-) R 12062 20224 20223 0 -1 0 156145 0 0 0 80533 480 0 0 25 0 1 0 911357827 28688384 6255 4294967295 134512640 134716908 3221224560 3221220524 1074860516 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7004 6255 1111 63 0 6941 0
vsize: 28016
[startup+820.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12063
Raw data (stat): 12063 (bsolo_lpr_cuts-) R 12062 20224 20223 0 -1 0 156461 0 0 0 81531 482 0 0 25 0 1 0 911357827 28688384 6255 4294967295 134512640 134716908 3221224560 3221220544 1074875123 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7004 6255 1111 63 0 6941 0
vsize: 28016
[startup+830.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12063
Raw data (stat): 12063 (bsolo_lpr_cuts-) R 12062 20224 20223 0 -1 0 156719 0 0 0 82530 483 0 0 25 0 1 0 911357827 28438528 6249 4294967295 134512640 134716908 3221224560 3221222792 1074138315 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6943 6249 1111 63 0 6880 0
vsize: 27772
[startup+840.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12063
Raw data (stat): 12063 (bsolo_lpr_cuts-) R 12062 20224 20223 0 -1 0 156921 0 0 0 83528 485 0 0 25 0 1 0 911357827 28688384 6253 4294967295 134512640 134716908 3221224560 3221220788 1075115125 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7004 6253 1111 63 0 6941 0
vsize: 28016
[startup+850.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12063
Raw data (stat): 12063 (bsolo_lpr_cuts-) R 12062 20224 20223 0 -1 0 157082 0 0 0 84528 485 0 0 25 0 1 0 911357827 28667904 6256 4294967295 134512640 134716908 3221224560 3221220788 1075114937 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6999 6256 1111 63 0 6936 0
vsize: 27996
[startup+860.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12063
Raw data (stat): 12063 (bsolo_lpr_cuts-) R 12062 20224 20223 0 -1 0 157553 0 0 0 85526 487 0 0 25 0 1 0 911357827 28459008 6254 4294967295 134512640 134716908 3221224560 3221222768 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6948 6254 1111 63 0 6885 0
vsize: 27792
[startup+870.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12063
Raw data (stat): 12063 (bsolo_lpr_cuts-) R 12062 20224 20223 0 -1 0 158130 0 0 0 86523 491 0 0 25 0 1 0 911357827 28676096 6280 4294967295 134512640 134716908 3221224560 3221220720 1074815312 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7001 6280 1111 63 0 6938 0
vsize: 28004
[startup+880.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12063
Raw data (stat): 12063 (bsolo_lpr_cuts-) R 12062 20224 20223 0 -1 0 158658 0 0 0 87520 494 0 0 25 0 1 0 911357827 28704768 6273 4294967295 134512640 134716908 3221224560 3221221544 1074831591 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7008 6273 1111 63 0 6945 0
vsize: 28032
[startup+890.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12063
Raw data (stat): 12063 (bsolo_lpr_cuts-) R 12062 20224 20223 0 -1 0 158991 0 0 0 88518 496 0 0 25 0 1 0 911357827 28532736 6269 4294967295 134512640 134716908 3221224560 3221222960 1074153660 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6966 6269 1111 63 0 6903 0
vsize: 27864
[startup+900.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12063
Raw data (stat): 12063 (bsolo_lpr_cuts-) R 12062 20224 20223 0 -1 0 159256 0 0 0 89517 498 0 0 25 0 1 0 911357827 28884992 6280 4294967295 134512640 134716908 3221224560 3221221616 1075277558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7052 6280 1111 63 0 6989 0
vsize: 28208
[startup+910.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12063
Raw data (stat): 12063 (bsolo_lpr_cuts-) R 12062 20224 20223 0 -1 0 160065 0 0 0 90514 501 0 0 25 0 1 0 911357827 28635136 6297 4294967295 134512640 134716908 3221224560 3221221456 1074620096 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6991 6297 1111 63 0 6928 0
vsize: 27964
[startup+920.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12063
Raw data (stat): 12063 (bsolo_lpr_cuts-) R 12062 20224 20223 0 -1 0 160218 0 0 0 91513 502 0 0 25 0 1 0 911357827 28635136 6297 4294967295 134512640 134716908 3221224560 3221222816 1074153672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6991 6297 1111 63 0 6928 0
vsize: 27964
[startup+930.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12063
Raw data (stat): 12063 (bsolo_lpr_cuts-) R 12062 20224 20223 0 -1 0 160269 0 0 0 92513 503 0 0 25 0 1 0 911357827 28635136 6297 4294967295 134512640 134716908 3221224560 3221221680 1074834446 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6991 6297 1111 63 0 6928 0
vsize: 27964
[startup+940.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12063
Raw data (stat): 12063 (bsolo_lpr_cuts-) R 12062 20224 20223 0 -1 0 160307 0 0 0 93512 503 0 0 25 0 1 0 911357827 28659712 6299 4294967295 134512640 134716908 3221224560 3221220524 1074860604 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6997 6299 1111 63 0 6934 0
vsize: 27988
[startup+950.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12063
Raw data (stat): 12063 (bsolo_lpr_cuts-) R 12062 20224 20223 0 -1 0 160339 0 0 0 94512 503 0 0 25 0 1 0 911357827 28659712 6299 4294967295 134512640 134716908 3221224560 3221222392 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6997 6299 1111 63 0 6934 0
vsize: 27988
[startup+960.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12063
Raw data (stat): 12063 (bsolo_lpr_cuts-) R 12062 20224 20223 0 -1 0 160576 0 0 0 95510 506 0 0 25 0 1 0 911357827 28659712 6299 4294967295 134512640 134716908 3221224560 3221222520 1074138155 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6997 6299 1111 63 0 6934 0
vsize: 27988
[startup+970.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12063
Raw data (stat): 12063 (bsolo_lpr_cuts-) R 12062 20224 20223 0 -1 0 160636 0 0 0 96509 506 0 0 25 0 1 0 911357827 28635136 6297 4294967295 134512640 134716908 3221224560 3221222956 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6991 6297 1111 63 0 6928 0
vsize: 27964
[startup+980.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12063
Raw data (stat): 12063 (bsolo_lpr_cuts-) R 12062 20224 20223 0 -1 0 160699 0 0 0 97509 507 0 0 25 0 1 0 911357827 28659712 6298 4294967295 134512640 134716908 3221224560 3221222960 1074153822 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6997 6298 1111 63 0 6934 0
vsize: 27988
[startup+990.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12063
Raw data (stat): 12063 (bsolo_lpr_cuts-) R 12062 20224 20223 0 -1 0 160782 0 0 0 98508 508 0 0 25 0 1 0 911357827 28635136 6297 4294967295 134512640 134716908 3221224560 3221222792 1074138312 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6991 6297 1111 63 0 6928 0
vsize: 27964
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12063
Raw data (stat): 12063 (bsolo_lpr_cuts-) R 12062 20224 20223 0 -1 0 160872 0 0 0 99507 509 0 0 25 0 1 0 911357827 28659712 6298 4294967295 134512640 134716908 3221224560 3221222440 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6997 6298 1111 63 0 6934 0
vsize: 27988
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12063
Raw data (stat): 12063 (bsolo_lpr_cuts-) R 12062 20224 20223 0 -1 0 160952 0 0 0 100507 510 0 0 25 0 1 0 911357827 28659712 6301 4294967295 134512640 134716908 3221224560 3221223324 134556732 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6997 6301 1111 63 0 6934 0
vsize: 27988
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12063
Raw data (stat): 12063 (bsolo_lpr_cuts-) R 12062 20224 20223 0 -1 0 161020 0 0 0 101506 510 0 0 25 0 1 0 911357827 28659712 6299 4294967295 134512640 134716908 3221224560 3221222808 1074138162 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6997 6299 1111 63 0 6934 0
vsize: 27988
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12063
Raw data (stat): 12063 (bsolo_lpr_cuts-) R 12062 20224 20223 0 -1 0 161204 0 0 0 102505 512 0 0 25 0 1 0 911357827 28659712 6302 4294967295 134512640 134716908 3221224560 3221222956 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6997 6302 1111 63 0 6934 0
vsize: 27988
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12063
Raw data (stat): 12063 (bsolo_lpr_cuts-) R 12062 20224 20223 0 -1 0 161397 0 0 0 103503 514 0 0 25 0 1 0 911357827 28659712 6301 4294967295 134512640 134716908 3221224560 3221222288 1075829464 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6997 6301 1111 63 0 6934 0
vsize: 27988
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12063
Raw data (stat): 12063 (bsolo_lpr_cuts-) R 12062 20224 20223 0 -1 0 161472 0 0 0 104503 515 0 0 25 0 1 0 911357827 28635136 6297 4294967295 134512640 134716908 3221224560 3221222248 1074138155 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6991 6297 1111 63 0 6928 0
vsize: 27964
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12063
Raw data (stat): 12063 (bsolo_lpr_cuts-) R 12062 20224 20223 0 -1 0 161499 0 0 0 105502 516 0 0 25 0 1 0 911357827 28635136 6298 4294967295 134512640 134716908 3221224560 3221222672 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6991 6298 1111 63 0 6928 0
vsize: 27964
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12063
Raw data (stat): 12063 (bsolo_lpr_cuts-) R 12062 20224 20223 0 -1 0 161542 0 0 0 106501 516 0 0 25 0 1 0 911357827 28635136 6298 4294967295 134512640 134716908 3221224560 3221222496 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6991 6298 1111 63 0 6928 0
vsize: 27964
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12063
Raw data (stat): 12063 (bsolo_lpr_cuts-) R 12062 20224 20223 0 -1 0 161603 0 0 0 107501 517 0 0 25 0 1 0 911357827 28770304 6299 4294967295 134512640 134716908 3221224560 3221221168 1075966495 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7024 6299 1111 63 0 6961 0
vsize: 28096
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12063
Raw data (stat): 12063 (bsolo_lpr_cuts-) R 12062 20224 20223 0 -1 0 161675 0 0 0 108500 518 0 0 25 0 1 0 911357827 28635136 6298 4294967295 134512640 134716908 3221224560 3221222728 1074138162 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6991 6298 1111 63 0 6928 0
vsize: 27964
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12063
Raw data (stat): 12063 (bsolo_lpr_cuts-) R 12062 20224 20223 0 -1 0 161749 0 0 0 109499 519 0 0 25 0 1 0 911357827 28659712 6300 4294967295 134512640 134716908 3221224560 3221221584 1074810486 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6997 6300 1111 63 0 6934 0
vsize: 27988
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12063
Raw data (stat): 12063 (bsolo_lpr_cuts-) R 12062 20224 20223 0 -1 0 161807 0 0 0 110498 520 0 0 25 0 1 0 911357827 28659712 6300 4294967295 134512640 134716908 3221224560 3221222304 1075640562 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6997 6300 1111 63 0 6934 0
vsize: 27988
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12063
Raw data (stat): 12063 (bsolo_lpr_cuts-) R 12062 20224 20223 0 -1 0 161929 0 0 0 111497 521 0 0 25 0 1 0 911357827 28659712 6300 4294967295 134512640 134716908 3221224560 3221222336 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6997 6300 1111 63 0 6934 0
vsize: 27988
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12063
Raw data (stat): 12063 (bsolo_lpr_cuts-) R 12062 20224 20223 0 -1 0 161988 0 0 0 112497 522 0 0 25 0 1 0 911357827 28659712 6300 4294967295 134512640 134716908 3221224560 3221221752 1074138265 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6997 6300 1111 63 0 6934 0
vsize: 27988
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12063
Raw data (stat): 12063 (bsolo_lpr_cuts-) R 12062 20224 20223 0 -1 0 162130 0 0 0 113497 522 0 0 25 0 1 0 911357827 28659712 6300 4294967295 134512640 134716908 3221224560 3221223004 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6997 6300 1111 63 0 6934 0
vsize: 27988
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12063
Raw data (stat): 12063 (bsolo_lpr_cuts-) R 12062 20224 20223 0 -1 0 163304 0 0 0 114493 526 0 0 25 0 1 0 911357827 28684288 6308 4294967295 134512640 134716908 3221224560 3221222304 1075640393 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7003 6308 1111 63 0 6940 0
vsize: 28012
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12063
Raw data (stat): 12063 (bsolo_lpr_cuts-) R 12062 20224 20223 0 -1 0 164578 0 0 0 115488 531 0 0 25 0 1 0 911357827 28659712 6304 4294967295 134512640 134716908 3221224560 3221222384 1074153792 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6997 6304 1111 63 0 6934 0
vsize: 27988
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12063
Raw data (stat): 12063 (bsolo_lpr_cuts-) R 12062 20224 20223 0 -1 0 166049 0 0 0 116483 536 0 0 25 0 1 0 911357827 28971008 6323 4294967295 134512640 134716908 3221224560 3221221504 1074620304 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7073 6323 1111 63 0 7010 0
vsize: 28292
[startup+1175.3 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 12063
Raw data (stat): 12063 (bsolo_lpr_cuts-) R 12062 20224 20223 0 -1 0 166049 0 0 0 116483 536 0 0 25 0 1 0 911357827 28971008 6323 4294967295 134512640 134716908 3221224560 3221221504 1074620304 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7073 6323 1111 63 0 7010 0
vsize: 0

Child status: 0
Real time (s): 1175.3
CPU time (s): 1175.45
CPU user time (s): 1170.05
CPU system time (s): 5.40218
CPU usage (%): 100.013
Max. virtual memory (Kb): 28292
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####