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/submitted/aloul/FPGA_SAT05/normalized-fpga10_10_sat_pb.cnf.cr.opb
MD5SUM	5a251e27b2dc8cbc7d3f3836a6772e10
Bench Category	no optimization function (SAT)
Has Objective Function	NO
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	0
Optimality of the best value was proved	NO
Number of terms in the objective function	0
Biggest coefficient in the objective function	0
Number of bits for the biggest coefficient in the objective function	0
Sum of the numbers in the objective function	0
Number of bits of the sum of numbers in the objective function	0
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	11
Number of bits of the biggest sum of numbers	4
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	0.044992
Number of variables	150
Total number of constraints	130
Number of constraints which are clauses	110
Number of constraints which are cardinality constraints (but not clauses)	20
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	5
Maximum length of a constraint	10
Trace number 23142

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-04-30 19:31:54 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=1 boxname=wulflinc31 idbench=1 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  5a251e27b2dc8cbc7d3f3836a6772e10  /oldhome/oroussel/tmp/wulflinc31/normalized-fpga10_10_sat_pb.cnf.cr.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-fpga10_10_sat_pb.cnf.cr.opb
IDLAUNCH: 1
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        943852 kB
Buffers:         34892 kB
Cached:          34216 kB
SwapCached:        864 kB
Active:          57112 kB
Inactive:        14440 kB
HighTotal:      131008 kB
HighFree:        95704 kB
LowTotal:       903652 kB
LowFree:        848148 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:               4 kB
Writeback:           0 kB
Mapped:           5512 kB
Slab:            13608 kB
Committed_AS:    63668 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-30 19:47:17 (client local time) WITH STATUS 10 IN 921.984 SECONDS
stats: 1 0 921.984 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c INFO: No cost function. Find solution and finish.
c Initial problem consists of 150 variables and 130 constraints.
c After prepocess the problem consists of 150 variables and 130 constraints.
c preprocess terminated 0.085 s
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: 0 @ 921.895
s SATISFIABLE
v -v30 v146 -v147 -v148 -v149 -v150 -v80 v39 -v141 -v142 v143 -v144 -v145 v27 -v131 -v132 -v133 -v134 v135 -v18 -v136 -v137 -v138 v139 -v140 -v11 -v12 -v13 -v14 -v15 v16 -v17 -v19 -v20 -v40 -v81 -v82 -v83 -v84 -v85 -v86 -v87 -v88 -v89 v90 -v49 -v93 v111 -v112 -v113 -v114 -v115 -v73 -v21 -v101 -v102 -v103 v104 -v105 -v7 -v106 -v107 v108 -v109 -v110 -v75 -v121 -v122 -v123 -v124 v125 -v65 -v9 -v35 -v99 -v31 -v61 -v8 -v24 -v116 v117 -v118 -v119 -v120 -v22 -v23 -v25 -v26 -v28 -v29 -v52 v78 -v70 v45 -v50 -v97 -v126 v127 -v128 -v129 -v130 -v1 v2 -v3 -v4 -v5 -v6 -v10 -v62 -v36 -v32 -v46 -v55 -v33 -v58 -v96 -v98 -v79 -v59 -v37 -v63 v64 -v66 -v67 -v68 -v69 -v47 v91 -v44 -v76 -v34 -v38 -v92 -v94 -v95 -v100 -v54 -v72 v53 -v57 -v41 -v42 -v43 -v48 -v60 -v71 -v74 -v77 -v51 -v56 
c Exit Code: 10
c Total time: 921.897 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.08 0.02 0.01 2/54 3782
Raw data (stat): 3782 (runsolver) R 3781 3722 3553 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 625377159 1056768 100 4294967295 134512640 135381576 3221221648 3221216868 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0007 s]
Raw data (loadavg): 0.22 0.05 0.02 2/54 3782
Raw data (stat): 3782 (bsolo_lpr) R 3781 3722 3553 0 -1 0 2091 0 6 0 920 12 0 0 25 0 1 0 625377159 11694080 2018 4294967295 134512640 134714508 3221221744 3221220432 134551897 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2855 2018 1111 63 0 2792 0
vsize: 11420
[startup+20.0016 s]
Raw data (loadavg): 0.34 0.08 0.02 2/54 3782
Raw data (stat): 3782 (bsolo_lpr) R 3781 3722 3553 0 -1 0 3306 0 6 0 1913 18 0 0 25 0 1 0 625377159 16699392 3233 4294967295 134512640 134714508 3221221744 3221220336 134549686 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4077 3233 1111 63 0 4014 0
vsize: 16308
[startup+30.0028 s]
Raw data (loadavg): 0.44 0.11 0.03 2/54 3782
Raw data (stat): 3782 (bsolo_lpr) R 3781 3722 3553 0 -1 0 4212 0 6 0 2910 22 0 0 25 0 1 0 625377159 20508672 4138 4294967295 134512640 134714508 3221221744 3221220668 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5007 4138 1111 63 0 4944 0
vsize: 20028
[startup+40.0024 s]
Raw data (loadavg): 0.53 0.14 0.04 2/54 3782
Raw data (stat): 3782 (bsolo_lpr) R 3781 3722 3553 0 -1 0 4934 0 6 0 3907 25 0 0 25 0 1 0 625377159 23523328 4859 4294967295 134512640 134714508 3221221744 3221220336 134549541 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5743 4859 1111 63 0 5680 0
vsize: 22972
[startup+50.0036 s]
Raw data (loadavg): 0.60 0.17 0.05 2/54 3782
Raw data (stat): 3782 (bsolo_lpr) R 3781 3722 3553 0 -1 0 5689 0 6 0 4903 29 0 0 25 0 1 0 625377159 26660864 5611 4294967295 134512640 134714508 3221221744 3221220400 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6509 5611 1111 63 0 6446 0
vsize: 26036
[startup+60.0035 s]
Raw data (loadavg): 0.66 0.19 0.06 2/54 3782
Raw data (stat): 3782 (bsolo_lpr) R 3781 3722 3553 0 -1 0 6117 0 6 0 5900 32 0 0 25 0 1 0 625377159 28438528 6039 4294967295 134512640 134714508 3221221744 3221220400 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6943 6039 1111 63 0 6880 0
vsize: 27772
[startup+70.0031 s]
Raw data (loadavg): 0.71 0.22 0.07 2/54 3782
Raw data (stat): 3782 (bsolo_lpr) R 3781 3722 3553 0 -1 0 7119 0 6 0 6895 38 0 0 25 0 1 0 625377159 32489472 7041 4294967295 134512640 134714508 3221221744 3221220396 134536779 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7932 7041 1111 63 0 7869 0
vsize: 31728
[startup+80.0044 s]
Raw data (loadavg): 0.76 0.24 0.08 2/54 3782
Raw data (stat): 3782 (bsolo_lpr) R 3781 3722 3553 0 -1 0 7739 0 6 0 7892 41 0 0 25 0 1 0 625377159 35057664 7661 4294967295 134512640 134714508 3221221744 3221220668 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8559 7661 1111 63 0 8496 0
vsize: 34236
[startup+90.0043 s]
Raw data (loadavg): 0.79 0.27 0.09 2/54 3782
Raw data (stat): 3782 (bsolo_lpr) R 3781 3722 3553 0 -1 0 8225 0 6 0 8889 43 0 0 25 0 1 0 625377159 36970496 8145 4294967295 134512640 134714508 3221221744 3221220336 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9026 8145 1111 63 0 8963 0
vsize: 36104
[startup+100.005 s]
Raw data (loadavg): 0.82 0.29 0.10 2/54 3782
Raw data (stat): 3782 (bsolo_lpr) R 3781 3722 3553 0 -1 0 8607 0 6 0 9887 46 0 0 25 0 1 0 625377159 38596608 8527 4294967295 134512640 134714508 3221221744 3221220336 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9423 8527 1111 63 0 9360 0
vsize: 37692
[startup+110.006 s]
Raw data (loadavg): 0.85 0.31 0.11 2/54 3782
Raw data (stat): 3782 (bsolo_lpr) R 3781 3722 3553 0 -1 0 9100 0 6 0 10885 48 0 0 25 0 1 0 625377159 40624128 9020 4294967295 134512640 134714508 3221221744 3221220336 134549686 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9918 9020 1111 63 0 9855 0
vsize: 39672
[startup+120.006 s]
Raw data (loadavg): 0.87 0.34 0.12 2/54 3782
Raw data (stat): 3782 (bsolo_lpr) R 3781 3722 3553 0 -1 0 9602 0 6 0 11883 51 0 0 25 0 1 0 625377159 42651648 9522 4294967295 134512640 134714508 3221221744 3221220552 134558490 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10413 9522 1111 63 0 10350 0
vsize: 41652
[startup+130.007 s]
Raw data (loadavg): 0.89 0.36 0.13 2/54 3782
Raw data (stat): 3782 (bsolo_lpr) R 3781 3722 3553 0 -1 0 10046 0 6 0 12881 53 0 0 25 0 1 0 625377159 44544000 9965 4294967295 134512640 134714508 3221221744 3221220420 134551958 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10875 9965 1111 63 0 10812 0
vsize: 43500
[startup+140.007 s]
Raw data (loadavg): 0.91 0.38 0.14 2/54 3782
Raw data (stat): 3782 (bsolo_lpr) R 3781 3722 3553 0 -1 0 10450 0 6 0 13880 54 0 0 25 0 1 0 625377159 46178304 10368 4294967295 134512640 134714508 3221221744 3221220388 134524123 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11274 10368 1111 63 0 11211 0
vsize: 45096
[startup+150.008 s]
Raw data (loadavg): 0.92 0.40 0.15 2/54 3782
Raw data (stat): 3782 (bsolo_lpr) R 3781 3722 3553 0 -1 0 10744 0 6 0 14879 55 0 0 25 0 1 0 625377159 47394816 10662 4294967295 134512640 134714508 3221221744 3221220432 134536707 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11571 10662 1111 63 0 11508 0
vsize: 46284
[startup+160.007 s]
Raw data (loadavg): 0.93 0.42 0.15 2/54 3782
Raw data (stat): 3782 (bsolo_lpr) R 3781 3722 3553 0 -1 0 11171 0 6 0 15877 57 0 0 25 0 1 0 625377159 49160192 11088 4294967295 134512640 134714508 3221221744 3221220320 134549635 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12002 11088 1111 63 0 11939 0
vsize: 48008
[startup+170.007 s]
Raw data (loadavg): 0.94 0.44 0.16 2/54 3782
Raw data (stat): 3782 (bsolo_lpr) R 3781 3722 3553 0 -1 0 11434 0 6 0 16876 58 0 0 25 0 1 0 625377159 50106368 11351 4294967295 134512640 134714508 3221221744 3221220332 134535664 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12233 11351 1111 63 0 12170 0
vsize: 48932
[startup+180.007 s]
Raw data (loadavg): 0.95 0.45 0.17 2/54 3782
Raw data (stat): 3782 (bsolo_lpr) R 3781 3722 3553 0 -1 0 11733 0 6 0 17875 59 0 0 25 0 1 0 625377159 51322880 11649 4294967295 134512640 134714508 3221221744 3221220436 134528601 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12530 11649 1111 63 0 12467 0
vsize: 50120
[startup+190.008 s]
Raw data (loadavg): 0.96 0.47 0.18 2/54 3782
Raw data (stat): 3782 (bsolo_lpr) R 3781 3722 3553 0 -1 0 11968 0 6 0 18875 60 0 0 25 0 1 0 625377159 52420608 11884 4294967295 134512640 134714508 3221221744 3221220240 134535462 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12798 11884 1111 63 0 12735 0
vsize: 51192
[startup+200.008 s]
Raw data (loadavg): 0.96 0.49 0.19 2/54 3782
Raw data (stat): 3782 (bsolo_lpr) R 3781 3722 3553 0 -1 0 12178 0 6 0 19874 61 0 0 25 0 1 0 625377159 53231616 12094 4294967295 134512640 134714508 3221221744 3221220504 134552578 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12996 12094 1111 63 0 12933 0
vsize: 51984
[startup+210.008 s]
Raw data (loadavg): 0.97 0.51 0.20 2/54 3782
Raw data (stat): 3782 (bsolo_lpr) R 3781 3722 3553 0 -1 0 12394 0 6 0 20874 62 0 0 25 0 1 0 625377159 54079488 12310 4294967295 134512640 134714508 3221221744 3221220384 134539362 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13203 12310 1111 63 0 13140 0
vsize: 52812
[startup+220.008 s]
Raw data (loadavg): 0.97 0.52 0.20 2/54 3782
Raw data (stat): 3782 (bsolo_lpr) R 3781 3722 3553 0 -1 0 12646 0 6 0 21873 62 0 0 25 0 1 0 625377159 55185408 12562 4294967295 134512640 134714508 3221221744 3221220336 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13473 12562 1111 63 0 13410 0
vsize: 53892
[startup+230.008 s]
Raw data (loadavg): 0.98 0.54 0.21 2/54 3782
Raw data (stat): 3782 (bsolo_lpr) R 3781 3722 3553 0 -1 0 12852 0 6 0 22872 63 0 0 25 0 1 0 625377159 56156160 12767 4294967295 134512640 134714508 3221221744 3221220400 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13710 12767 1111 63 0 13647 0
vsize: 54840
[startup+240.008 s]
Raw data (loadavg): 0.98 0.55 0.22 2/54 3782
Raw data (stat): 3782 (bsolo_lpr) R 3781 3722 3553 0 -1 0 13021 0 6 0 23872 64 0 0 25 0 1 0 625377159 56881152 12935 4294967295 134512640 134714508 3221221744 3221220668 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13887 12935 1111 63 0 13824 0
vsize: 55548
[startup+250.009 s]
Raw data (loadavg): 0.98 0.57 0.23 2/54 3782
Raw data (stat): 3782 (bsolo_lpr) R 3781 3722 3553 0 -1 0 13223 0 6 0 24871 64 0 0 25 0 1 0 625377159 57696256 13137 4294967295 134512640 134714508 3221221744 3221220400 134524132 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14086 13137 1111 63 0 14023 0
vsize: 56344
[startup+260.009 s]
Raw data (loadavg): 0.98 0.58 0.24 2/54 3782
Raw data (stat): 3782 (bsolo_lpr) R 3781 3722 3553 0 -1 0 13391 0 6 0 25871 65 0 0 25 0 1 0 625377159 58384384 13305 4294967295 134512640 134714508 3221221744 3221220324 134549630 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14254 13305 1111 63 0 14191 0
vsize: 57016
[startup+270.009 s]
Raw data (loadavg): 0.99 0.59 0.24 2/54 3782
Raw data (stat): 3782 (bsolo_lpr) R 3781 3722 3553 0 -1 0 13705 0 6 0 26869 67 0 0 25 0 1 0 625377159 59744256 13619 4294967295 134512640 134714508 3221221744 3221220508 134552560 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14586 13619 1111 63 0 14523 0
vsize: 58344
[startup+280.008 s]
Raw data (loadavg): 0.99 0.61 0.25 2/54 3782
Raw data (stat): 3782 (bsolo_lpr) R 3781 3722 3553 0 -1 0 14504 0 6 0 27866 70 0 0 25 0 1 0 625377159 62992384 14418 4294967295 134512640 134714508 3221221744 3221220388 134523868 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15379 14418 1111 63 0 15316 0
vsize: 61516
[startup+290.008 s]
Raw data (loadavg): 0.99 0.62 0.26 2/54 3782
Raw data (stat): 3782 (bsolo_lpr) R 3781 3722 3553 0 -1 0 15072 0 6 0 28863 74 0 0 25 0 1 0 625377159 65290240 14986 4294967295 134512640 134714508 3221221744 3221220480 134523930 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15940 14986 1111 63 0 15877 0
vsize: 63760
[startup+300.008 s]
Raw data (loadavg): 0.99 0.63 0.27 2/54 3782
Raw data (stat): 3782 (bsolo_lpr) R 3781 3722 3553 0 -1 0 15537 0 6 0 29860 76 0 0 25 0 1 0 625377159 67182592 15451 4294967295 134512640 134714508 3221221744 3221220528 134529288 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16402 15451 1111 63 0 16339 0
vsize: 65608
[startup+310.008 s]
Raw data (loadavg): 0.99 0.64 0.28 2/54 3782
Raw data (stat): 3782 (bsolo_lpr) R 3781 3722 3553 0 -1 0 15817 0 6 0 30859 77 0 0 25 0 1 0 625377159 68263936 15731 4294967295 134512640 134714508 3221221744 3221220480 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16666 15731 1111 63 0 16603 0
vsize: 66664
[startup+320.008 s]
Raw data (loadavg): 0.99 0.65 0.28 2/54 3782
Raw data (stat): 3782 (bsolo_lpr) R 3781 3722 3553 0 -1 0 16073 0 6 0 31858 79 0 0 25 0 1 0 625377159 69345280 15987 4294967295 134512640 134714508 3221221744 3221220388 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16930 15987 1111 63 0 16867 0
vsize: 67720
[startup+330.009 s]
Raw data (loadavg): 0.99 0.66 0.29 2/54 3782
Raw data (stat): 3782 (bsolo_lpr) R 3781 3722 3553 0 -1 0 16473 0 6 0 32857 80 0 0 25 0 1 0 625377159 71143424 16386 4294967295 134512640 134714508 3221221744 3221220336 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17369 16386 1111 63 0 17306 0
vsize: 69476
[startup+340.009 s]
Raw data (loadavg): 0.99 0.67 0.30 2/54 3782
Raw data (stat): 3782 (bsolo_lpr) R 3781 3722 3553 0 -1 0 16988 0 6 0 33855 82 0 0 25 0 1 0 625377159 73244672 16900 4294967295 134512640 134714508 3221221744 3221220480 134523930 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17882 16900 1111 63 0 17819 0
vsize: 71528
[startup+350.009 s]
Raw data (loadavg): 0.99 0.68 0.30 2/54 3782
Raw data (stat): 3782 (bsolo_lpr) R 3781 3722 3553 0 -1 0 17441 0 6 0 34853 85 0 0 25 0 1 0 625377159 75165696 17351 4294967295 134512640 134714508 3221221744 3221220396 134536831 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18351 17351 1111 63 0 18288 0
vsize: 73404
[startup+360.009 s]
Raw data (loadavg): 0.99 0.69 0.31 2/54 3782
Raw data (stat): 3782 (bsolo_lpr) R 3781 3722 3553 0 -1 0 17813 0 6 0 35851 87 0 0 25 0 1 0 625377159 76652544 17723 4294967295 134512640 134714508 3221221744 3221220376 134552681 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18714 17723 1111 63 0 18651 0
vsize: 74856
[startup+370.009 s]
Raw data (loadavg): 0.99 0.70 0.32 2/54 3782
Raw data (stat): 3782 (bsolo_lpr) R 3781 3722 3553 0 -1 0 18140 0 6 0 36849 89 0 0 25 0 1 0 625377159 77885440 18050 4294967295 134512640 134714508 3221221744 3221220448 134528656 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19015 18050 1111 63 0 18952 0
vsize: 76060
[startup+380.009 s]
Raw data (loadavg): 0.99 0.71 0.32 2/54 3782
Raw data (stat): 3782 (bsolo_lpr) R 3781 3722 3553 0 -1 0 18379 0 6 0 37848 90 0 0 25 0 1 0 625377159 79048704 18286 4294967295 134512640 134714508 3221221744 3221220468 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19299 18286 1111 63 0 19236 0
vsize: 77196
[startup+390.009 s]
Raw data (loadavg): 0.99 0.72 0.33 2/54 3782
Raw data (stat): 3782 (bsolo_lpr) R 3781 3722 3553 0 -1 0 18699 0 6 0 38846 92 0 0 25 0 1 0 625377159 80203776 18604 4294967295 134512640 134714508 3221221744 3221220336 134549686 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19581 18604 1111 63 0 19518 0
vsize: 78324
[startup+400.009 s]
Raw data (loadavg): 0.99 0.73 0.34 2/54 3782
Raw data (stat): 3782 (bsolo_lpr) R 3781 3722 3553 0 -1 0 19021 0 6 0 39845 94 0 0 25 0 1 0 625377159 81678336 18922 4294967295 134512640 134714508 3221221744 3221220336 134549686 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19941 18922 1111 63 0 19878 0
vsize: 79764
[startup+410.009 s]
Raw data (loadavg): 0.99 0.74 0.34 2/54 3782
Raw data (stat): 3782 (bsolo_lpr) R 3781 3722 3553 0 -1 0 19274 0 6 0 40843 95 0 0 25 0 1 0 625377159 82939904 19175 4294967295 134512640 134714508 3221221744 3221220388 134523868 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20249 19175 1111 63 0 20186 0
vsize: 80996
[startup+420.009 s]
Raw data (loadavg): 0.99 0.75 0.35 2/54 3782
Raw data (stat): 3782 (bsolo_lpr) R 3781 3722 3553 0 -1 0 19456 0 6 0 41843 96 0 0 25 0 1 0 625377159 83681280 19348 4294967295 134512640 134714508 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20430 19348 1111 63 0 20367 0
vsize: 81720
[startup+430.01 s]
Raw data (loadavg): 0.99 0.76 0.36 2/54 3782
Raw data (stat): 3782 (bsolo_lpr) R 3781 3722 3553 0 -1 0 19937 0 6 0 42840 98 0 0 25 0 1 0 625377159 85790720 19827 4294967295 134512640 134714508 3221221744 3221220416 134551963 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20945 19827 1111 63 0 20882 0
vsize: 83780
[startup+440.01 s]
Raw data (loadavg): 0.99 0.76 0.36 2/54 3782
Raw data (stat): 3782 (bsolo_lpr) R 3781 3722 3553 0 -1 0 20427 0 6 0 43838 101 0 0 25 0 1 0 625377159 87818240 20317 4294967295 134512640 134714508 3221221744 3221220512 134592104 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21440 20317 1111 63 0 21377 0
vsize: 85760
[startup+450.011 s]
Raw data (loadavg): 0.99 0.77 0.37 2/54 3782
Raw data (stat): 3782 (bsolo_lpr) R 3781 3722 3553 0 -1 0 20740 0 6 0 44837 102 0 0 25 0 1 0 625377159 89178112 20630 4294967295 134512640 134714508 3221221744 3221220456 134552681 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21772 20630 1111 63 0 21709 0
vsize: 87088
[startup+460.012 s]
Raw data (loadavg): 0.99 0.78 0.38 2/54 3782
Raw data (stat): 3782 (bsolo_lpr) R 3781 3722 3553 0 -1 0 20968 0 6 0 45836 103 0 0 25 0 1 0 625377159 90124288 20858 4294967295 134512640 134714508 3221221744 3221220336 134549686 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22003 20858 1111 63 0 21940 0
vsize: 88012
[startup+470.012 s]
Raw data (loadavg): 0.99 0.78 0.38 2/54 3782
Raw data (stat): 3782 (bsolo_lpr) R 3781 3722 3553 0 -1 0 21159 0 6 0 46835 104 0 0 25 0 1 0 625377159 90800128 21049 4294967295 134512640 134714508 3221221744 3221220388 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22168 21049 1111 63 0 22105 0
vsize: 88672
[startup+480.012 s]
Raw data (loadavg): 0.99 0.79 0.39 2/54 3782
Raw data (stat): 3782 (bsolo_lpr) R 3781 3722 3553 0 -1 0 21427 0 6 0 47835 105 0 0 25 0 1 0 625377159 92082176 21311 4294967295 134512640 134714508 3221221744 3221220336 134549668 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22481 21311 1111 63 0 22418 0
vsize: 89924
[startup+490.012 s]
Raw data (loadavg): 0.99 0.80 0.39 2/54 3782
Raw data (stat): 3782 (bsolo_lpr) R 3781 3722 3553 0 -1 0 21614 0 6 0 48833 107 0 0 25 0 1 0 625377159 92774400 21498 4294967295 134512640 134714508 3221221744 3221220528 134529091 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22650 21498 1111 63 0 22587 0
vsize: 90600
[startup+500.013 s]
Raw data (loadavg): 0.99 0.80 0.40 2/54 3782
Raw data (stat): 3782 (bsolo_lpr) R 3781 3722 3553 0 -1 0 21788 0 6 0 49833 108 0 0 25 0 1 0 625377159 93634560 21672 4294967295 134512640 134714508 3221221744 3221220300 134535967 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22860 21672 1111 63 0 22797 0
vsize: 91440
[startup+510.014 s]
Raw data (loadavg): 0.99 0.81 0.41 2/54 3782
Raw data (stat): 3782 (bsolo_lpr) R 3781 3722 3553 0 -1 0 22036 0 6 0 50831 109 0 0 25 0 1 0 625377159 94674944 21912 4294967295 134512640 134714508 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23114 21912 1111 63 0 23051 0
vsize: 92456
[startup+520.013 s]
Raw data (loadavg): 0.99 0.81 0.41 2/54 3782
Raw data (stat): 3782 (bsolo_lpr) R 3781 3722 3553 0 -1 0 22183 0 6 0 51830 110 0 0 25 0 1 0 625377159 95232000 22059 4294967295 134512640 134714508 3221221744 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23250 22059 1111 63 0 23187 0
vsize: 93000
[startup+530.014 s]
Raw data (loadavg): 0.99 0.82 0.42 2/54 3782
Raw data (stat): 3782 (bsolo_lpr) R 3781 3722 3553 0 -1 0 22328 0 6 0 52830 111 0 0 25 0 1 0 625377159 95772672 22204 4294967295 134512640 134714508 3221221744 3221220432 134551897 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23382 22204 1111 63 0 23319 0
vsize: 93528
[startup+540.014 s]
Raw data (loadavg): 0.99 0.83 0.42 2/54 3782
Raw data (stat): 3782 (bsolo_lpr) R 3781 3722 3553 0 -1 0 22609 0 6 0 53830 111 0 0 25 0 1 0 625377159 97054720 22481 4294967295 134512640 134714508 3221221744 3221220448 134528650 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23695 22481 1111 63 0 23632 0
vsize: 94780
[startup+550.015 s]
Raw data (loadavg): 0.99 0.83 0.43 2/54 3782
Raw data (stat): 3782 (bsolo_lpr) R 3781 3722 3553 0 -1 0 23008 0 6 0 54829 112 0 0 25 0 1 0 625377159 98713600 22880 4294967295 134512640 134714508 3221221744 3221220528 134529091 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24100 22880 1111 63 0 24037 0
vsize: 96400
[startup+560.015 s]
Raw data (loadavg): 0.99 0.84 0.43 2/54 3782
Raw data (stat): 3782 (bsolo_lpr) R 3781 3722 3553 0 -1 0 23237 0 6 0 55827 114 0 0 25 0 1 0 625377159 99659776 23109 4294967295 134512640 134714508 3221221744 3221220320 134549635 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24331 23109 1111 63 0 24268 0
vsize: 97324
[startup+570.015 s]
Raw data (loadavg): 0.99 0.84 0.44 2/54 3782
Raw data (stat): 3782 (bsolo_lpr) R 3781 3722 3553 0 -1 0 23452 0 6 0 56826 115 0 0 25 0 1 0 625377159 100470784 23324 4294967295 134512640 134714508 3221221744 3221220272 134543030 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24529 23324 1111 63 0 24466 0
vsize: 98116
[startup+580.016 s]
Raw data (loadavg): 0.99 0.85 0.45 2/54 3782
Raw data (stat): 3782 (bsolo_lpr) R 3781 3722 3553 0 -1 0 23717 0 6 0 57825 117 0 0 25 0 1 0 625377159 101629952 23589 4294967295 134512640 134714508 3221221744 3221220356 134549630 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24812 23589 1111 63 0 24749 0
vsize: 99248
[startup+590.016 s]
Raw data (loadavg): 0.99 0.85 0.45 2/54 3782
Raw data (stat): 3782 (bsolo_lpr) R 3781 3722 3553 0 -1 0 24049 0 6 0 58823 119 0 0 25 0 1 0 625377159 103108608 23918 4294967295 134512640 134714508 3221221744 3221220376 134552681 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25173 23918 1111 63 0 25110 0
vsize: 100692
[startup+600.017 s]
Raw data (loadavg): 0.99 0.85 0.46 2/54 3782
Raw data (stat): 3782 (bsolo_lpr) R 3781 3722 3553 0 -1 0 24275 0 6 0 59822 120 0 0 25 0 1 0 625377159 104128512 24143 4294967295 134512640 134714508 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25422 24143 1111 63 0 25359 0
vsize: 101688
[startup+610.017 s]
Raw data (loadavg): 0.99 0.86 0.46 2/54 3782
Raw data (stat): 3782 (bsolo_lpr) R 3781 3722 3553 0 -1 0 24449 0 6 0 60821 121 0 0 25 0 1 0 625377159 104804352 24317 4294967295 134512640 134714508 3221221744 3221220468 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25587 24317 1111 63 0 25524 0
vsize: 102348
[startup+620.017 s]
Raw data (loadavg): 0.99 0.86 0.47 2/54 3782
Raw data (stat): 3782 (bsolo_lpr) R 3781 3722 3553 0 -1 0 24612 0 6 0 61820 122 0 0 25 0 1 0 625377159 105508864 24480 4294967295 134512640 134714508 3221221744 3221220400 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25759 24480 1111 63 0 25696 0
vsize: 103036
[startup+630.018 s]
Raw data (loadavg): 0.99 0.87 0.47 2/54 3782
Raw data (stat): 3782 (bsolo_lpr) R 3781 3722 3553 0 -1 0 24825 0 6 0 62820 123 0 0 25 0 1 0 625377159 106520576 24685 4294967295 134512640 134714508 3221221744 3221220480 134523980 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26006 24685 1111 63 0 25943 0
vsize: 104024
[startup+640.019 s]
Raw data (loadavg): 0.99 0.87 0.48 2/54 3782
Raw data (stat): 3782 (bsolo_lpr) R 3781 3722 3553 0 -1 0 24979 0 6 0 63819 124 0 0 25 0 1 0 625377159 107061248 24839 4294967295 134512640 134714508 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26138 24839 1111 63 0 26075 0
vsize: 104552
[startup+650.019 s]
Raw data (loadavg): 0.99 0.87 0.48 2/54 3782
Raw data (stat): 3782 (bsolo_lpr) R 3781 3722 3553 0 -1 0 25218 0 6 0 64819 124 0 0 25 0 1 0 625377159 108077056 25077 4294967295 134512640 134714508 3221221744 3221220300 134535956 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26386 25077 1111 63 0 26323 0
vsize: 105544
[startup+660.019 s]
Raw data (loadavg): 0.99 0.88 0.49 2/54 3782
Raw data (stat): 3782 (bsolo_lpr) R 3781 3722 3553 0 -1 0 25463 0 6 0 65818 126 0 0 25 0 1 0 625377159 109117440 25313 4294967295 134512640 134714508 3221221744 3221220320 134549635 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26640 25313 1111 63 0 26577 0
vsize: 106560
[startup+670.019 s]
Raw data (loadavg): 0.99 0.88 0.49 2/54 3782
Raw data (stat): 3782 (bsolo_lpr) R 3781 3722 3553 0 -1 0 25638 0 6 0 66817 127 0 0 25 0 1 0 625377159 109793280 25488 4294967295 134512640 134714508 3221221744 3221220300 134535942 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26805 25488 1111 63 0 26742 0
vsize: 107220
[startup+680.02 s]
Raw data (loadavg): 0.99 0.89 0.50 2/54 3782
Raw data (stat): 3782 (bsolo_lpr) R 3781 3722 3553 0 -1 0 25966 0 6 0 67816 128 0 0 25 0 1 0 625377159 111288320 25809 4294967295 134512640 134714508 3221221744 3221220468 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27170 25809 1111 63 0 27107 0
vsize: 108680
[startup+690.02 s]
Raw data (loadavg): 0.99 0.89 0.50 2/54 3782
Raw data (stat): 3782 (bsolo_lpr) R 3781 3722 3553 0 -1 0 26160 0 6 0 68815 129 0 0 25 0 1 0 625377159 112099328 26003 4294967295 134512640 134714508 3221221744 3221220400 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27368 26003 1111 63 0 27305 0
vsize: 109472
[startup+700.021 s]
Raw data (loadavg): 0.99 0.89 0.51 2/54 3782
Raw data (stat): 3782 (bsolo_lpr) R 3781 3722 3553 0 -1 0 26350 0 6 0 69815 130 0 0 25 0 1 0 625377159 112775168 26193 4294967295 134512640 134714508 3221221744 3221220480 134535740 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27533 26193 1111 63 0 27470 0
vsize: 110132
[startup+710.022 s]
Raw data (loadavg): 0.99 0.89 0.51 2/54 3782
Raw data (stat): 3782 (bsolo_lpr) R 3781 3722 3553 0 -1 0 26539 0 6 0 70814 130 0 0 25 0 1 0 625377159 113586176 26382 4294967295 134512640 134714508 3221221744 3221220480 134535750 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27731 26382 1111 63 0 27668 0
vsize: 110924
[startup+720.022 s]
Raw data (loadavg): 0.99 0.90 0.52 2/54 3782
Raw data (stat): 3782 (bsolo_lpr) R 3781 3722 3553 0 -1 0 26739 0 6 0 71814 131 0 0 25 0 1 0 625377159 114405376 26580 4294967295 134512640 134714508 3221221744 3221220348 134549858 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27931 26580 1111 63 0 27868 0
vsize: 111724
[startup+730.023 s]
Raw data (loadavg): 0.99 0.90 0.52 2/54 3782
Raw data (stat): 3782 (bsolo_lpr) R 3781 3722 3553 0 -1 0 26910 0 6 0 72814 131 0 0 25 0 1 0 625377159 115081216 26751 4294967295 134512640 134714508 3221221744 3221220384 134536653 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28096 26751 1111 63 0 28033 0
vsize: 112384
[startup+740.024 s]
Raw data (loadavg): 0.99 0.90 0.53 2/54 3782
Raw data (stat): 3782 (bsolo_lpr) R 3781 3722 3553 0 -1 0 27064 0 6 0 73813 132 0 0 25 0 1 0 625377159 115757056 26905 4294967295 134512640 134714508 3221221744 3221220336 134549686 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28261 26905 1111 63 0 28198 0
vsize: 113044
[startup+750.025 s]
Raw data (loadavg): 0.99 0.91 0.53 2/54 3782
Raw data (stat): 3782 (bsolo_lpr) R 3781 3722 3553 0 -1 0 27281 0 6 0 74813 133 0 0 25 0 1 0 625377159 116629504 27122 4294967295 134512640 134714508 3221221744 3221220252 134535956 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28474 27122 1111 63 0 28411 0
vsize: 113896
[startup+760.025 s]
Raw data (loadavg): 0.99 0.91 0.54 2/54 3782
Raw data (stat): 3782 (bsolo_lpr) R 3781 3722 3553 0 -1 0 27480 0 6 0 75812 133 0 0 25 0 1 0 625377159 117440512 27321 4294967295 134512640 134714508 3221221744 3221220396 134536817 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28672 27321 1111 63 0 28609 0
vsize: 114688
[startup+770.024 s]
Raw data (loadavg): 0.99 0.91 0.54 2/54 3782
Raw data (stat): 3782 (bsolo_lpr) R 3781 3722 3553 0 -1 0 27645 0 6 0 76812 134 0 0 25 0 1 0 625377159 118116352 27486 4294967295 134512640 134714508 3221221744 3221220336 134549686 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28837 27486 1111 63 0 28774 0
vsize: 115348
[startup+780.025 s]
Raw data (loadavg): 0.99 0.91 0.55 2/54 3782
Raw data (stat): 3782 (bsolo_lpr) R 3781 3722 3553 0 -1 0 27790 0 6 0 77812 134 0 0 25 0 1 0 625377159 118792192 27631 4294967295 134512640 134714508 3221221744 3221220388 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29002 27631 1111 63 0 28939 0
vsize: 116008
[startup+790.025 s]
Raw data (loadavg): 0.99 0.92 0.55 2/54 3782
Raw data (stat): 3782 (bsolo_lpr) R 3781 3722 3553 0 -1 0 27937 0 6 0 78811 135 0 0 25 0 1 0 625377159 119398400 27769 4294967295 134512640 134714508 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29150 27769 1111 63 0 29087 0
vsize: 116600
[startup+800.026 s]
Raw data (loadavg): 0.99 0.92 0.55 2/54 3782
Raw data (stat): 3782 (bsolo_lpr) R 3781 3722 3553 0 -1 0 28118 0 6 0 79811 135 0 0 25 0 1 0 625377159 120274944 27944 4294967295 134512640 134714508 3221221744 3221220468 134529109 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29364 27944 1111 63 0 29301 0
vsize: 117456
[startup+810.027 s]
Raw data (loadavg): 0.99 0.92 0.56 2/54 3782
Raw data (stat): 3782 (bsolo_lpr) R 3781 3722 3553 0 -1 0 28337 0 6 0 80810 136 0 0 25 0 1 0 625377159 121151488 28157 4294967295 134512640 134714508 3221221744 3221220420 134551958 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29578 28157 1111 63 0 29515 0
vsize: 118312
[startup+820.027 s]
Raw data (loadavg): 0.99 0.92 0.56 2/54 3782
Raw data (stat): 3782 (bsolo_lpr) R 3781 3722 3553 0 -1 0 28480 0 6 0 81810 137 0 0 25 0 1 0 625377159 121872384 28298 4294967295 134512640 134714508 3221221744 3221220256 134535017 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29754 28298 1111 63 0 29691 0
vsize: 119016
[startup+830.028 s]
Raw data (loadavg): 0.99 0.92 0.57 2/54 3782
Raw data (stat): 3782 (bsolo_lpr) R 3781 3722 3553 0 -1 0 28636 0 6 0 82809 138 0 0 25 0 1 0 625377159 122548224 28454 4294967295 134512640 134714508 3221221744 3221220320 134549802 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29919 28454 1111 63 0 29856 0
vsize: 119676
[startup+840.028 s]
Raw data (loadavg): 0.99 0.93 0.57 2/54 3782
Raw data (stat): 3782 (bsolo_lpr) R 3781 3722 3553 0 -1 0 28826 0 6 0 83807 140 0 0 25 0 1 0 625377159 123424768 28639 4294967295 134512640 134714508 3221221744 3221220396 134536845 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30133 28639 1111 63 0 30070 0
vsize: 120532
[startup+850.029 s]
Raw data (loadavg): 0.99 0.93 0.57 2/54 3782
Raw data (stat): 3782 (bsolo_lpr) R 3781 3722 3553 0 -1 0 28961 0 6 0 84807 140 0 0 25 0 1 0 625377159 123830272 28774 4294967295 134512640 134714508 3221221744 3221220420 134551958 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30232 28774 1111 63 0 30169 0
vsize: 120928
[startup+860.029 s]
Raw data (loadavg): 0.99 0.93 0.58 2/54 3782
Raw data (stat): 3782 (bsolo_lpr) R 3781 3722 3553 0 -1 0 29081 0 6 0 85806 141 0 0 25 0 1 0 625377159 124370944 28894 4294967295 134512640 134714508 3221221744 3221220240 134535448 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30364 28894 1111 63 0 30301 0
vsize: 121456
[startup+870.029 s]
Raw data (loadavg): 0.99 0.93 0.58 2/54 3782
Raw data (stat): 3782 (bsolo_lpr) R 3781 3722 3553 0 -1 0 29175 0 6 0 86806 142 0 0 25 0 1 0 625377159 124805120 28988 4294967295 134512640 134714508 3221221744 3221220396 134536779 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30470 28988 1111 63 0 30407 0
vsize: 121880
[startup+880.03 s]
Raw data (loadavg): 0.99 0.93 0.58 2/54 3782
Raw data (stat): 3782 (bsolo_lpr) R 3781 3722 3553 0 -1 0 29273 0 6 0 87806 142 0 0 25 0 1 0 625377159 125210624 29086 4294967295 134512640 134714508 3221221744 3221220436 134528601 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30569 29086 1111 63 0 30506 0
vsize: 122276
[startup+890.029 s]
Raw data (loadavg): 0.99 0.94 0.59 2/54 3782
Raw data (stat): 3782 (bsolo_lpr) R 3781 3722 3553 0 -1 0 29372 0 6 0 88806 142 0 0 25 0 1 0 625377159 125616128 29185 4294967295 134512640 134714508 3221221744 3221220480 134523930 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30668 29185 1111 63 0 30605 0
vsize: 122672
[startup+900.029 s]
Raw data (loadavg): 0.99 0.94 0.59 2/54 3782
Raw data (stat): 3782 (bsolo_lpr) R 3781 3722 3553 0 -1 0 29471 0 6 0 89805 143 0 0 25 0 1 0 625377159 126021632 29284 4294967295 134512640 134714508 3221221744 3221220336 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30767 29284 1111 63 0 30704 0
vsize: 123068
[startup+910.029 s]
Raw data (loadavg): 0.99 0.94 0.60 2/54 3782
Raw data (stat): 3782 (bsolo_lpr) R 3781 3722 3553 0 -1 0 29545 0 6 0 90805 143 0 0 25 0 1 0 625377159 126291968 29358 4294967295 134512640 134714508 3221221744 3221220480 134528650 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30833 29358 1111 63 0 30770 0
vsize: 123332
[startup+920.029 s]
Raw data (loadavg): 0.99 0.94 0.60 2/54 3782
Raw data (stat): 3782 (bsolo_lpr) R 3781 3722 3553 0 -1 0 29608 0 6 0 91805 143 0 0 25 0 1 0 625377159 126582784 29420 4294967295 134512640 134714508 3221221744 3221220480 134523930 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30904 29420 1111 63 0 30841 0
vsize: 123616
[startup+922.52 s]
Raw data (loadavg): 0.99 0.94 0.60 1/53 3782
Raw data (stat): 3782 (bsolo_lpr) R 3781 3722 3553 0 -1 0 29608 0 6 0 91805 143 0 0 25 0 1 0 625377159 126582784 29420 4294967295 134512640 134714508 3221221744 3221220480 134523930 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30904 29420 1111 63 0 30841 0
vsize: 0

Child status: 10
Real time (s): 922.519
CPU time (s): 921.984
CPU user time (s): 920.489
CPU system time (s): 1.49477
CPU usage (%): 99.9419
Max. virtual memory (Kb): 123616
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	0
#### END VERIFIER DATA ####