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 39379

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-06-07 07:08:09 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27443 boxname=wulflinc1 idbench=1 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  5a251e27b2dc8cbc7d3f3836a6772e10  /oldhome/oroussel/tmp/wulflinc1/normalized-fpga10_10_sat_pb.cnf.cr.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-fpga10_10_sat_pb.cnf.cr.opb
IDLAUNCH: 27443
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
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	: 2
cpu MHz		: 451.053
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:        296716 kB
Buffers:         34372 kB
Cached:         678416 kB
SwapCached:        668 kB
Active:          68544 kB
Inactive:       646524 kB
HighTotal:      131008 kB
HighFree:         2548 kB
LowTotal:       903652 kB
LowFree:        294168 kB
SwapTotal:     2097136 kB
SwapFree:      2095384 kB
Dirty:               4 kB
Writeback:           0 kB
Mapped:           5840 kB
Slab:            17348 kB
Committed_AS:    92720 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-07 07:22:58 (client local time) WITH STATUS 10 IN 887.817 SECONDS
stats: 27443 0 887.817 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 @ 887.749
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: 887.752 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.00 0.00 0.00 2/55 3434
Raw data (stat): 3434 (runsolver) R 3433 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 834215485 884736 94 4294967295 134512640 135332820 3221224448 3221219628 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0007 s]
Raw data (loadavg): 0.15 0.03 0.01 2/55 3434
Raw data (stat): 3434 (bsolo_lpr-v2) R 3433 8378 8377 0 -1 0 2109 0 14 0 935 7 0 0 25 0 1 0 834215485 11837440 2041 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2890 2041 1111 63 0 2827 0
vsize: 11560
[startup+20.0015 s]
Raw data (loadavg): 0.28 0.06 0.02 2/55 3434
Raw data (stat): 3434 (bsolo_lpr-v2) R 3433 8378 8377 0 -1 0 3351 0 14 0 1930 13 0 0 25 0 1 0 834215485 16977920 3283 4294967295 134512640 134716908 3221224560 3221223148 134535903 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4145 3283 1111 63 0 4082 0
vsize: 16580
[startup+30.0022 s]
Raw data (loadavg): 0.39 0.09 0.03 2/55 3434
Raw data (stat): 3434 (bsolo_lpr-v2) R 3433 8378 8377 0 -1 0 4334 0 14 0 2926 17 0 0 25 0 1 0 834215485 20946944 4265 4294967295 134512640 134716908 3221224560 3221223296 134523930 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5114 4265 1111 63 0 5051 0
vsize: 20456
[startup+40.003 s]
Raw data (loadavg): 0.49 0.12 0.04 2/55 3434
Raw data (stat): 3434 (bsolo_lpr-v2) R 3433 8378 8377 0 -1 0 5019 0 14 0 3924 19 0 0 25 0 1 0 834215485 23801856 4949 4294967295 134512640 134716908 3221224560 3221223112 134698829 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5811 4949 1111 63 0 5748 0
vsize: 23244
[startup+50.0028 s]
Raw data (loadavg): 0.56 0.15 0.05 2/55 3434
Raw data (stat): 3434 (bsolo_lpr-v2) R 3433 8378 8377 0 -1 0 5808 0 14 0 4921 22 0 0 25 0 1 0 834215485 27103232 5735 4294967295 134512640 134716908 3221224560 3221223328 134529281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6617 5735 1111 63 0 6554 0
vsize: 26468
[startup+60.0036 s]
Raw data (loadavg): 0.63 0.18 0.06 2/55 3434
Raw data (stat): 3434 (bsolo_lpr-v2) R 3433 8378 8377 0 -1 0 6454 0 14 0 5919 25 0 0 25 0 1 0 834215485 29818880 6381 4294967295 134512640 134716908 3221224560 3221223296 134524141 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7280 6381 1111 63 0 7217 0
vsize: 29120
[startup+70.0034 s]
Raw data (loadavg): 0.69 0.21 0.07 2/55 3434
Raw data (stat): 3434 (bsolo_lpr-v2) R 3433 8378 8377 0 -1 0 7272 0 14 0 6915 28 0 0 25 0 1 0 834215485 33218560 7199 4294967295 134512640 134716908 3221224560 3221223320 134552570 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8110 7199 1111 63 0 8047 0
vsize: 32440
[startup+80.0041 s]
Raw data (loadavg): 0.73 0.23 0.08 2/55 3434
Raw data (stat): 3434 (bsolo_lpr-v2) R 3433 8378 8377 0 -1 0 7922 0 14 0 7912 32 0 0 25 0 1 0 834215485 35786752 7847 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8737 7847 1111 63 0 8674 0
vsize: 34948
[startup+90.0038 s]
Raw data (loadavg): 0.77 0.26 0.09 2/55 3434
Raw data (stat): 3434 (bsolo_lpr-v2) R 3433 8378 8377 0 -1 0 8359 0 14 0 8909 34 0 0 25 0 1 0 834215485 37552128 8284 4294967295 134512640 134716908 3221224560 3221223180 134549508 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9168 8284 1111 63 0 9105 0
vsize: 36672
[startup+100.004 s]
Raw data (loadavg): 0.81 0.28 0.10 2/55 3434
Raw data (stat): 3434 (bsolo_lpr-v2) R 3433 8378 8377 0 -1 0 8770 0 14 0 9908 36 0 0 25 0 1 0 834215485 39321600 8695 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9600 8695 1111 63 0 9537 0
vsize: 38400
[startup+110.004 s]
Raw data (loadavg): 0.84 0.30 0.11 2/55 3434
Raw data (stat): 3434 (bsolo_lpr-v2) R 3433 8378 8377 0 -1 0 9290 0 14 0 10906 38 0 0 25 0 1 0 834215485 41349120 9215 4294967295 134512640 134716908 3221224560 3221223344 134529097 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10095 9215 1111 63 0 10032 0
vsize: 40380
[startup+120.005 s]
Raw data (loadavg): 0.86 0.33 0.12 2/55 3434
Raw data (stat): 3434 (bsolo_lpr-v2) R 3433 8378 8377 0 -1 0 9796 0 14 0 11904 40 0 0 25 0 1 0 834215485 43511808 9721 4294967295 134512640 134716908 3221224560 3221223264 134528735 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10623 9721 1111 63 0 10560 0
vsize: 42492
[startup+130.006 s]
Raw data (loadavg): 0.88 0.35 0.12 2/55 3434
Raw data (stat): 3434 (bsolo_lpr-v2) R 3433 8378 8377 0 -1 0 10264 0 14 0 12903 42 0 0 25 0 1 0 834215485 45457408 10187 4294967295 134512640 134716908 3221224560 3221223344 134529091 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11098 10187 1111 63 0 11035 0
vsize: 44392
[startup+140.006 s]
Raw data (loadavg): 0.90 0.37 0.13 2/55 3434
Raw data (stat): 3434 (bsolo_lpr-v2) R 3433 8378 8377 0 -1 0 10623 0 14 0 13902 43 0 0 25 0 1 0 834215485 46944256 10546 4294967295 134512640 134716908 3221224560 3221223344 134529328 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11461 10546 1111 63 0 11398 0
vsize: 45844
[startup+150.005 s]
Raw data (loadavg): 0.92 0.39 0.14 2/55 3434
Raw data (stat): 3434 (bsolo_lpr-v2) R 3433 8378 8377 0 -1 0 10997 0 14 0 14901 44 0 0 25 0 1 0 834215485 48431104 10919 4294967295 134512640 134716908 3221224560 3221223216 134536740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11824 10919 1111 63 0 11761 0
vsize: 47296
[startup+160.005 s]
Raw data (loadavg): 0.93 0.41 0.15 2/55 3434
Raw data (stat): 3434 (bsolo_lpr-v2) R 3433 8378 8377 0 -1 0 11324 0 14 0 15899 46 0 0 25 0 1 0 834215485 49782784 11246 4294967295 134512640 134716908 3221224560 3221223296 134535740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12154 11246 1111 63 0 12091 0
vsize: 48616
[startup+170.005 s]
Raw data (loadavg): 0.94 0.43 0.16 3/55 3434
Raw data (stat): 3434 (bsolo_lpr-v2) R 3433 8378 8377 0 -1 0 11636 0 14 0 16898 47 0 0 25 0 1 0 834215485 50999296 11557 4294967295 134512640 134716908 3221224560 3221223212 134536779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12451 11557 1111 63 0 12388 0
vsize: 49804
[startup+180.006 s]
Raw data (loadavg): 0.95 0.45 0.17 2/55 3434
Raw data (stat): 3434 (bsolo_lpr-v2) R 3433 8378 8377 0 -1 0 11884 0 14 0 17897 48 0 0 25 0 1 0 834215485 52080640 11805 4294967295 134512640 134716908 3221224560 3221223344 134529091 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12715 11805 1111 63 0 12652 0
vsize: 50860
[startup+190.007 s]
Raw data (loadavg): 0.95 0.46 0.18 2/55 3434
Raw data (stat): 3434 (bsolo_lpr-v2) R 3433 8378 8377 0 -1 0 12124 0 14 0 18897 49 0 0 25 0 1 0 834215485 53026816 12045 4294967295 134512640 134716908 3221224560 3221223264 134528647 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12946 12045 1111 63 0 12883 0
vsize: 51784
[startup+200.006 s]
Raw data (loadavg): 0.96 0.48 0.19 2/55 3434
Raw data (stat): 3434 (bsolo_lpr-v2) R 3433 8378 8377 0 -1 0 12337 0 14 0 19896 50 0 0 25 0 1 0 834215485 53972992 12258 4294967295 134512640 134716908 3221224560 3221223116 134535967 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13177 12258 1111 63 0 13114 0
vsize: 52708
[startup+210.006 s]
Raw data (loadavg): 0.97 0.50 0.19 2/55 3434
Raw data (stat): 3434 (bsolo_lpr-v2) R 3433 8378 8377 0 -1 0 12604 0 14 0 20895 52 0 0 25 0 1 0 834215485 55087104 12525 4294967295 134512640 134716908 3221224560 3221223136 134549635 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13449 12525 1111 63 0 13386 0
vsize: 53796
[startup+220.006 s]
Raw data (loadavg): 0.97 0.51 0.20 2/55 3434
Raw data (stat): 3434 (bsolo_lpr-v2) R 3433 8378 8377 0 -1 0 12814 0 14 0 21894 52 0 0 25 0 1 0 834215485 55918592 12734 4294967295 134512640 134716908 3221224560 3221223184 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13652 12734 1111 63 0 13589 0
vsize: 54608
[startup+230.006 s]
Raw data (loadavg): 0.98 0.53 0.21 2/55 3434
Raw data (stat): 3434 (bsolo_lpr-v2) R 3433 8378 8377 0 -1 0 12987 0 14 0 22894 52 0 0 25 0 1 0 834215485 56664064 12906 4294967295 134512640 134716908 3221224560 3221223264 134528595 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13834 12906 1111 63 0 13771 0
vsize: 55336
[startup+240.006 s]
Raw data (loadavg): 0.98 0.54 0.22 2/55 3434
Raw data (stat): 3434 (bsolo_lpr-v2) R 3433 8378 8377 0 -1 0 13209 0 14 0 23893 53 0 0 25 0 1 0 834215485 57610240 13128 4294967295 134512640 134716908 3221224560 3221223216 134536730 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14065 13128 1111 63 0 14002 0
vsize: 56260
[startup+250.005 s]
Raw data (loadavg): 0.98 0.56 0.22 2/55 3434
Raw data (stat): 3434 (bsolo_lpr-v2) R 3433 8378 8377 0 -1 0 13383 0 14 0 24892 54 0 0 25 0 1 0 834215485 58421248 13302 4294967295 134512640 134716908 3221224560 3221223152 134549668 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14263 13302 1111 63 0 14200 0
vsize: 57052
[startup+260.006 s]
Raw data (loadavg): 0.98 0.57 0.23 2/55 3434
Raw data (stat): 3434 (bsolo_lpr-v2) R 3433 8378 8377 0 -1 0 13727 0 14 0 25891 56 0 0 25 0 1 0 834215485 59822080 13646 4294967295 134512640 134716908 3221224560 3221223056 134535442 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14605 13646 1111 63 0 14542 0
vsize: 58420
[startup+270.006 s]
Raw data (loadavg): 0.99 0.59 0.24 2/55 3434
Raw data (stat): 3434 (bsolo_lpr-v2) R 3433 8378 8377 0 -1 0 14542 0 14 0 26888 60 0 0 25 0 1 0 834215485 63201280 14461 4294967295 134512640 134716908 3221224560 3221223328 134592104 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15430 14461 1111 63 0 15367 0
vsize: 61720
[startup+280.005 s]
Raw data (loadavg): 0.99 0.60 0.25 2/55 3434
Raw data (stat): 3434 (bsolo_lpr-v2) R 3433 8378 8377 0 -1 0 15103 0 14 0 27885 62 0 0 25 0 1 0 834215485 65363968 15022 4294967295 134512640 134716908 3221224560 3221223344 134529091 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15958 15022 1111 63 0 15895 0
vsize: 63832
[startup+290.006 s]
Raw data (loadavg): 0.99 0.61 0.26 2/55 3434
Raw data (stat): 3434 (bsolo_lpr-v2) R 3433 8378 8377 0 -1 0 15564 0 14 0 28883 64 0 0 25 0 1 0 834215485 67272704 15483 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16424 15483 1111 63 0 16361 0
vsize: 65696
[startup+300.006 s]
Raw data (loadavg): 0.99 0.62 0.26 2/55 3434
Raw data (stat): 3434 (bsolo_lpr-v2) R 3433 8378 8377 0 -1 0 15854 0 14 0 29882 66 0 0 25 0 1 0 834215485 68489216 15773 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16721 15773 1111 63 0 16658 0
vsize: 66884
[startup+310.007 s]
Raw data (loadavg): 0.99 0.64 0.27 2/55 3434
Raw data (stat): 3434 (bsolo_lpr-v2) R 3433 8378 8377 0 -1 0 16107 0 14 0 30881 67 0 0 25 0 1 0 834215485 69435392 16026 4294967295 134512640 134716908 3221224560 3221223324 134552651 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16952 16026 1111 63 0 16889 0
vsize: 67808
[startup+320.007 s]
Raw data (loadavg): 0.99 0.65 0.28 2/55 3434
Raw data (stat): 3434 (bsolo_lpr-v2) R 3433 8378 8377 0 -1 0 16601 0 14 0 31880 68 0 0 25 0 1 0 834215485 71680000 16519 4294967295 134512640 134716908 3221224560 3221223152 134549533 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17500 16519 1111 63 0 17437 0
vsize: 70000
[startup+330.006 s]
Raw data (loadavg): 0.99 0.66 0.29 2/55 3434
Raw data (stat): 3434 (bsolo_lpr-v2) R 3433 8378 8377 0 -1 0 17078 0 14 0 32878 70 0 0 25 0 1 0 834215485 73646080 16995 4294967295 134512640 134716908 3221224560 3221223204 134523868 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17980 16995 1111 63 0 17917 0
vsize: 71920
[startup+340.006 s]
Raw data (loadavg): 0.99 0.67 0.29 2/55 3434
Raw data (stat): 3434 (bsolo_lpr-v2) R 3433 8378 8377 0 -1 0 17539 0 14 0 33876 72 0 0 25 0 1 0 834215485 75567104 17454 4294967295 134512640 134716908 3221224560 3221223344 134529177 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18449 17455 1111 63 0 18386 0
vsize: 73796
[startup+350.006 s]
Raw data (loadavg): 0.99 0.68 0.30 2/55 3434
Raw data (stat): 3434 (bsolo_lpr-v2) R 3433 8378 8377 0 -1 0 17915 0 14 0 34875 74 0 0 25 0 1 0 834215485 77053952 17830 4294967295 134512640 134716908 3221224560 3221223216 134536736 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18812 17830 1111 63 0 18749 0
vsize: 75248
[startup+360.007 s]
Raw data (loadavg): 0.99 0.69 0.31 2/55 3434
Raw data (stat): 3434 (bsolo_lpr-v2) R 3433 8378 8377 0 -1 0 18236 0 14 0 35874 75 0 0 25 0 1 0 834215485 78286848 18151 4294967295 134512640 134716908 3221224560 3221223296 134535742 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19113 18151 1111 63 0 19050 0
vsize: 76452
[startup+370.006 s]
Raw data (loadavg): 0.99 0.70 0.31 2/55 3434
Raw data (stat): 3434 (bsolo_lpr-v2) R 3433 8378 8377 0 -1 0 18494 0 14 0 36873 76 0 0 25 0 1 0 834215485 79523840 18404 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19415 18404 1111 63 0 19352 0
vsize: 77660
[startup+380.006 s]
Raw data (loadavg): 0.99 0.71 0.32 2/55 3434
Raw data (stat): 3434 (bsolo_lpr-v2) R 3433 8378 8377 0 -1 0 18846 0 14 0 37872 77 0 0 25 0 1 0 834215485 80920576 18754 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19756 18754 1111 63 0 19693 0
vsize: 79024
[startup+390.007 s]
Raw data (loadavg): 0.99 0.72 0.33 2/55 3434
Raw data (stat): 3434 (bsolo_lpr-v2) R 3433 8378 8377 0 -1 0 19151 0 14 0 38871 78 0 0 25 0 1 0 834215485 82391040 19057 4294967295 134512640 134716908 3221224560 3221223236 134551958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20115 19057 1111 63 0 20052 0
vsize: 80460
[startup+400.007 s]
Raw data (loadavg): 0.99 0.73 0.33 2/55 3434
Raw data (stat): 3434 (bsolo_lpr-v2) R 3433 8378 8377 0 -1 0 19357 0 14 0 39870 79 0 0 25 0 1 0 834215485 83206144 19263 4294967295 134512640 134716908 3221224560 3221223232 134551963 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20314 19263 1111 63 0 20251 0
vsize: 81256
[startup+410.007 s]
Raw data (loadavg): 0.99 0.74 0.34 2/55 3434
Raw data (stat): 3434 (bsolo_lpr-v2) R 3433 8378 8377 0 -1 0 19762 0 14 0 40869 81 0 0 25 0 1 0 834215485 85045248 19659 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20763 19659 1111 63 0 20700 0
vsize: 83052
[startup+420.007 s]
Raw data (loadavg): 0.99 0.74 0.35 2/55 3434
Raw data (stat): 3434 (bsolo_lpr-v2) R 3433 8378 8377 0 -1 0 20203 0 14 0 41868 82 0 0 25 0 1 0 834215485 87003136 20098 4294967295 134512640 134716908 3221224560 3221223152 134549594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21241 20098 1111 63 0 21178 0
vsize: 84964
[startup+430.006 s]
Raw data (loadavg): 0.99 0.75 0.35 2/55 3434
Raw data (stat): 3434 (bsolo_lpr-v2) R 3433 8378 8377 0 -1 0 20626 0 14 0 42866 84 0 0 25 0 1 0 834215485 88633344 20521 4294967295 134512640 134716908 3221224560 3221223200 134698448 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21639 20521 1111 63 0 21576 0
vsize: 86556
[startup+440.006 s]
Raw data (loadavg): 0.99 0.76 0.36 2/55 3434
Raw data (stat): 3434 (bsolo_lpr-v2) R 3433 8378 8377 0 -1 0 20892 0 14 0 43865 85 0 0 25 0 1 0 834215485 89849856 20787 4294967295 134512640 134716908 3221224560 3221223212 134536817 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21936 20787 1111 63 0 21873 0
vsize: 87744
[startup+450.006 s]
Raw data (loadavg): 0.99 0.77 0.37 2/55 3434
Raw data (stat): 3434 (bsolo_lpr-v2) R 3433 8378 8377 0 -1 0 21108 0 14 0 44864 86 0 0 25 0 1 0 834215485 90660864 21003 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22134 21003 1111 63 0 22071 0
vsize: 88536
[startup+460.006 s]
Raw data (loadavg): 0.99 0.77 0.37 2/55 3434
Raw data (stat): 3434 (bsolo_lpr-v2) R 3433 8378 8377 0 -1 0 21333 0 14 0 45864 87 0 0 25 0 1 0 834215485 91607040 21228 4294967295 134512640 134716908 3221224560 3221223248 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22365 21228 1111 63 0 22302 0
vsize: 89460
[startup+470.006 s]
Raw data (loadavg): 0.99 0.78 0.38 2/55 3434
Raw data (stat): 3434 (bsolo_lpr-v2) R 3433 8378 8377 0 -1 0 21561 0 14 0 46863 87 0 0 25 0 1 0 834215485 92635136 21450 4294967295 134512640 134716908 3221224560 3221223228 134536852 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22616 21450 1111 63 0 22553 0
vsize: 90464
[startup+480.007 s]
Raw data (loadavg): 0.99 0.79 0.38 2/55 3434
Raw data (stat): 3434 (bsolo_lpr-v2) R 3433 8378 8377 0 -1 0 21742 0 14 0 47862 88 0 0 25 0 1 0 834215485 93310976 21631 4294967295 134512640 134716908 3221224560 3221223152 134549668 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22781 21631 1111 63 0 22718 0
vsize: 91124
[startup+490.007 s]
Raw data (loadavg): 0.99 0.79 0.39 2/55 3434
Raw data (stat): 3434 (bsolo_lpr-v2) R 3433 8378 8377 0 -1 0 22005 0 14 0 48861 90 0 0 25 0 1 0 834215485 94535680 21886 4294967295 134512640 134716908 3221224560 3221223296 134529091 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23080 21886 1111 63 0 23017 0
vsize: 92320
[startup+500.006 s]
Raw data (loadavg): 0.99 0.80 0.40 2/55 3434
Raw data (stat): 3434 (bsolo_lpr-v2) R 3433 8378 8377 0 -1 0 22164 0 14 0 49860 91 0 0 25 0 1 0 834215485 95227904 22045 4294967295 134512640 134716908 3221224560 3221222952 134613981 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23249 22045 1111 63 0 23186 0
vsize: 92996
[startup+510.006 s]
Raw data (loadavg): 0.99 0.81 0.40 2/55 3434
Raw data (stat): 3434 (bsolo_lpr-v2) R 3433 8378 8377 0 -1 0 22314 0 14 0 50860 92 0 0 25 0 1 0 834215485 95768576 22195 4294967295 134512640 134716908 3221224560 3221222964 134699567 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23381 22195 1111 63 0 23318 0
vsize: 93524
[startup+520.006 s]
Raw data (loadavg): 0.99 0.81 0.41 2/55 3434
Raw data (stat): 3434 (bsolo_lpr-v2) R 3433 8378 8377 0 -1 0 22597 0 14 0 51859 92 0 0 25 0 1 0 834215485 97050624 22474 4294967295 134512640 134716908 3221224560 3221223248 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23694 22474 1111 63 0 23631 0
vsize: 94776
[startup+530.006 s]
Raw data (loadavg): 0.99 0.82 0.41 2/55 3434
Raw data (stat): 3434 (bsolo_lpr-v2) R 3433 8378 8377 0 -1 0 23004 0 14 0 52858 94 0 0 25 0 1 0 834215485 98709504 22881 4294967295 134512640 134716908 3221224560 3221223264 134528595 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24099 22881 1111 63 0 24036 0
vsize: 96396
[startup+540.006 s]
Raw data (loadavg): 0.99 0.82 0.42 2/55 3434
Raw data (stat): 3434 (bsolo_lpr-v2) R 3433 8378 8377 0 -1 0 23245 0 14 0 53857 95 0 0 25 0 1 0 834215485 99655680 23122 4294967295 134512640 134716908 3221224560 3221223232 134551963 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24330 23122 1111 63 0 24267 0
vsize: 97320
[startup+550.005 s]
Raw data (loadavg): 0.99 0.83 0.43 2/55 3434
Raw data (stat): 3434 (bsolo_lpr-v2) R 3433 8378 8377 0 -1 0 23454 0 14 0 54856 96 0 0 25 0 1 0 834215485 100601856 23331 4294967295 134512640 134716908 3221224560 3221223184 134549548 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24561 23331 1111 63 0 24498 0
vsize: 98244
[startup+560.006 s]
Raw data (loadavg): 0.99 0.83 0.43 2/55 3434
Raw data (stat): 3434 (bsolo_lpr-v2) R 3433 8378 8377 0 -1 0 23746 0 14 0 55855 97 0 0 25 0 1 0 834215485 101830656 23620 4294967295 134512640 134716908 3221224560 3221223056 134535462 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24861 23620 1111 63 0 24798 0
vsize: 99444
[startup+570.007 s]
Raw data (loadavg): 0.99 0.84 0.44 2/55 3434
Raw data (stat): 3434 (bsolo_lpr-v2) R 3433 8378 8377 0 -1 0 24079 0 14 0 56854 98 0 0 25 0 1 0 834215485 103239680 23953 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25205 23953 1111 63 0 25142 0
vsize: 100820
[startup+580.007 s]
Raw data (loadavg): 0.99 0.84 0.44 2/55 3434
Raw data (stat): 3434 (bsolo_lpr-v2) R 3433 8378 8377 0 -1 0 24312 0 14 0 57853 100 0 0 25 0 1 0 834215485 104259584 24185 4294967295 134512640 134716908 3221224560 3221223172 134549630 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25454 24185 1111 63 0 25391 0
vsize: 101816
[startup+590.006 s]
Raw data (loadavg): 0.99 0.85 0.45 2/55 3434
Raw data (stat): 3434 (bsolo_lpr-v2) R 3433 8378 8377 0 -1 0 24469 0 14 0 58852 100 0 0 25 0 1 0 834215485 104935424 24342 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25619 24342 1111 63 0 25556 0
vsize: 102476
[startup+600.007 s]
Raw data (loadavg): 0.99 0.85 0.45 2/55 3434
Raw data (stat): 3434 (bsolo_lpr-v2) R 3433 8378 8377 0 -1 0 24667 0 14 0 59852 101 0 0 25 0 1 0 834215485 105775104 24539 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25824 24539 1111 63 0 25761 0
vsize: 103296
[startup+610.007 s]
Raw data (loadavg): 0.99 0.86 0.46 2/55 3434
Raw data (stat): 3434 (bsolo_lpr-v2) R 3433 8378 8377 0 -1 0 24870 0 14 0 60851 102 0 0 25 0 1 0 834215485 106651648 24735 4294967295 134512640 134716908 3221224560 3221223216 134536721 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26038 24735 1111 63 0 25975 0
vsize: 104152
[startup+620.007 s]
Raw data (loadavg): 0.99 0.86 0.46 2/55 3434
Raw data (stat): 3434 (bsolo_lpr-v2) R 3433 8378 8377 0 -1 0 25034 0 14 0 61850 103 0 0 25 0 1 0 834215485 107397120 24898 4294967295 134512640 134716908 3221224560 3221223144 134543600 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26220 24898 1111 63 0 26157 0
vsize: 104880
[startup+630.007 s]
Raw data (loadavg): 0.99 0.86 0.47 2/55 3434
Raw data (stat): 3434 (bsolo_lpr-v2) R 3433 8378 8377 0 -1 0 25323 0 14 0 62849 104 0 0 25 0 1 0 834215485 108544000 25178 4294967295 134512640 134716908 3221224560 3221223236 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26500 25178 1111 63 0 26437 0
vsize: 106000
[startup+640.007 s]
Raw data (loadavg): 0.99 0.87 0.47 2/55 3434
Raw data (stat): 3434 (bsolo_lpr-v2) R 3433 8378 8377 0 -1 0 25534 0 14 0 63848 105 0 0 25 0 1 0 834215485 109518848 25389 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26738 25389 1111 63 0 26675 0
vsize: 106952
[startup+650.007 s]
Raw data (loadavg): 0.99 0.87 0.48 2/55 3434
Raw data (stat): 3434 (bsolo_lpr-v2) R 3433 8378 8377 0 -1 0 25800 0 14 0 64848 106 0 0 25 0 1 0 834215485 110465024 25655 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26969 25655 1111 63 0 26906 0
vsize: 107876
[startup+660.008 s]
Raw data (loadavg): 0.99 0.88 0.48 2/55 3434
Raw data (stat): 3434 (bsolo_lpr-v2) R 3433 8378 8377 0 -1 0 26083 0 14 0 65847 107 0 0 25 0 1 0 834215485 111824896 25931 4294967295 134512640 134716908 3221224560 3221223116 134535967 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27301 25931 1111 63 0 27238 0
vsize: 109204
[startup+670.009 s]
Raw data (loadavg): 0.99 0.88 0.49 2/55 3434
Raw data (stat): 3434 (bsolo_lpr-v2) R 3433 8378 8377 0 -1 0 26254 0 14 0 66847 108 0 0 25 0 1 0 834215485 112500736 26102 4294967295 134512640 134716908 3221224560 3221223240 134552650 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27466 26102 1111 63 0 27403 0
vsize: 109864
[startup+680.008 s]
Raw data (loadavg): 0.99 0.88 0.49 2/55 3434
Raw data (stat): 3434 (bsolo_lpr-v2) R 3433 8378 8377 0 -1 0 26454 0 14 0 67846 108 0 0 25 0 1 0 834215485 113311744 26302 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27664 26302 1111 63 0 27601 0
vsize: 110656
[startup+690.008 s]
Raw data (loadavg): 0.99 0.89 0.50 2/55 3434
Raw data (stat): 3434 (bsolo_lpr-v2) R 3433 8378 8377 0 -1 0 26665 0 14 0 68845 109 0 0 25 0 1 0 834215485 114130944 26511 4294967295 134512640 134716908 3221224560 3221223344 134529243 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27864 26511 1111 63 0 27801 0
vsize: 111456
[startup+700.008 s]
Raw data (loadavg): 0.99 0.89 0.50 2/55 3434
Raw data (stat): 3434 (bsolo_lpr-v2) R 3433 8378 8377 0 -1 0 26847 0 14 0 69845 110 0 0 25 0 1 0 834215485 114806784 26693 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28029 26693 1111 63 0 27966 0
vsize: 112116
[startup+710.009 s]
Raw data (loadavg): 0.99 0.89 0.51 2/55 3434
Raw data (stat): 3434 (bsolo_lpr-v2) R 3433 8378 8377 0 -1 0 27017 0 14 0 70845 110 0 0 25 0 1 0 834215485 115617792 26863 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28227 26863 1111 63 0 28164 0
vsize: 112908
[startup+720.009 s]
Raw data (loadavg): 0.99 0.90 0.51 2/55 3434
Raw data (stat): 3434 (bsolo_lpr-v2) R 3433 8378 8377 0 -1 0 27228 0 14 0 71844 111 0 0 25 0 1 0 834215485 116490240 27074 4294967295 134512640 134716908 3221224560 3221223212 134536763 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28440 27074 1111 63 0 28377 0
vsize: 113760
[startup+730.008 s]
Raw data (loadavg): 0.99 0.90 0.52 2/55 3434
Raw data (stat): 3434 (bsolo_lpr-v2) R 3433 8378 8377 0 -1 0 27427 0 14 0 72842 113 0 0 25 0 1 0 834215485 117301248 27273 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28638 27273 1111 63 0 28575 0
vsize: 114552
[startup+740.009 s]
Raw data (loadavg): 0.99 0.90 0.52 2/55 3434
Raw data (stat): 3434 (bsolo_lpr-v2) R 3433 8378 8377 0 -1 0 27615 0 14 0 73841 114 0 0 25 0 1 0 834215485 118112256 27461 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28836 27461 1111 63 0 28773 0
vsize: 115344
[startup+750.009 s]
Raw data (loadavg): 0.99 0.90 0.53 2/55 3434
Raw data (stat): 3434 (bsolo_lpr-v2) R 3433 8378 8377 0 -1 0 27763 0 14 0 74841 115 0 0 25 0 1 0 834215485 118652928 27609 4294967295 134512640 134716908 3221224560 3221223320 134552573 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28968 27609 1111 63 0 28905 0
vsize: 115872
[startup+760.009 s]
Raw data (loadavg): 0.99 0.91 0.53 2/55 3434
Raw data (stat): 3434 (bsolo_lpr-v2) R 3433 8378 8377 0 -1 0 27920 0 14 0 75841 115 0 0 25 0 1 0 834215485 119394304 27757 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29149 27757 1111 63 0 29086 0
vsize: 116596
[startup+770.008 s]
Raw data (loadavg): 0.99 0.91 0.54 2/55 3434
Raw data (stat): 3434 (bsolo_lpr-v2) R 3433 8378 8377 0 -1 0 28095 0 14 0 76840 116 0 0 25 0 1 0 834215485 120135680 27926 4294967295 134512640 134716908 3221224560 3221223320 134523849 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29330 27926 1111 63 0 29267 0
vsize: 117320
[startup+780.009 s]
Raw data (loadavg): 0.99 0.91 0.54 2/55 3434
Raw data (stat): 3434 (bsolo_lpr-v2) R 3433 8378 8377 0 -1 0 28329 0 14 0 77839 117 0 0 25 0 1 0 834215485 121147392 28154 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29577 28154 1111 63 0 29514 0
vsize: 118308
[startup+790.009 s]
Raw data (loadavg): 0.99 0.91 0.55 2/55 3434
Raw data (stat): 3434 (bsolo_lpr-v2) R 3433 8378 8377 0 -1 0 28472 0 14 0 78839 118 0 0 25 0 1 0 834215485 121868288 28295 4294967295 134512640 134716908 3221224560 3221223236 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29753 28295 1111 63 0 29690 0
vsize: 119012
[startup+800.009 s]
Raw data (loadavg): 0.99 0.92 0.55 2/55 3434
Raw data (stat): 3434 (bsolo_lpr-v2) R 3433 8378 8377 0 -1 0 28632 0 14 0 79838 118 0 0 25 0 1 0 834215485 122544128 28455 4294967295 134512640 134716908 3221224560 3221223148 134535967 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29918 28455 1111 63 0 29855 0
vsize: 119672
[startup+810.01 s]
Raw data (loadavg): 0.99 0.92 0.56 2/55 3434
Raw data (stat): 3434 (bsolo_lpr-v2) R 3433 8378 8377 0 -1 0 28830 0 14 0 80837 119 0 0 25 0 1 0 834215485 123420672 28648 4294967295 134512640 134716908 3221224560 3221223232 134551963 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30132 28648 1111 63 0 30069 0
vsize: 120528
[startup+820.009 s]
Raw data (loadavg): 0.99 0.92 0.56 2/55 3434
Raw data (stat): 3434 (bsolo_lpr-v2) R 3433 8378 8377 0 -1 0 28968 0 14 0 81837 120 0 0 25 0 1 0 834215485 123961344 28786 4294967295 134512640 134716908 3221224560 3221223108 134535481 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30264 28786 1111 63 0 30201 0
vsize: 121056
[startup+830.009 s]
Raw data (loadavg): 0.99 0.92 0.56 2/55 3434
Raw data (stat): 3434 (bsolo_lpr-v2) R 3433 8378 8377 0 -1 0 29094 0 14 0 82837 120 0 0 25 0 1 0 834215485 124502016 28912 4294967295 134512640 134716908 3221224560 3221223136 134549635 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30396 28912 1111 63 0 30333 0
vsize: 121584
[startup+840.009 s]
Raw data (loadavg): 0.99 0.92 0.57 2/55 3434
Raw data (stat): 3434 (bsolo_lpr-v2) R 3433 8378 8377 0 -1 0 29189 0 14 0 83837 120 0 0 25 0 1 0 834215485 124936192 29007 4294967295 134512640 134716908 3221224560 3221223116 134535664 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30502 29007 1111 63 0 30439 0
vsize: 122008
[startup+850.01 s]
Raw data (loadavg): 0.99 0.93 0.57 2/55 3434
Raw data (stat): 3434 (bsolo_lpr-v2) R 3433 8378 8377 0 -1 0 29291 0 14 0 84836 121 0 0 25 0 1 0 834215485 125341696 29109 4294967295 134512640 134716908 3221224560 3221223240 134552642 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30601 29109 1111 63 0 30538 0
vsize: 122404
[startup+860.01 s]
Raw data (loadavg): 0.99 0.93 0.58 2/55 3434
Raw data (stat): 3434 (bsolo_lpr-v2) R 3433 8378 8377 0 -1 0 29396 0 14 0 85836 122 0 0 25 0 1 0 834215485 125747200 29214 4294967295 134512640 134716908 3221224560 3221223216 134524067 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30700 29214 1111 63 0 30637 0
vsize: 122800
[startup+870.01 s]
Raw data (loadavg): 0.99 0.93 0.58 2/55 3434
Raw data (stat): 3434 (bsolo_lpr-v2) R 3433 8378 8377 0 -1 0 29496 0 14 0 86835 122 0 0 25 0 1 0 834215485 126017536 29314 4294967295 134512640 134716908 3221224560 3221223136 134549635 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30766 29314 1111 63 0 30703 0
vsize: 123064
[startup+880.01 s]
Raw data (loadavg): 0.99 0.93 0.58 2/55 3434
Raw data (stat): 3434 (bsolo_lpr-v2) R 3433 8378 8377 0 -1 0 29571 0 14 0 87835 123 0 0 25 0 1 0 834215485 126439424 29388 4294967295 134512640 134716908 3221224560 3221222948 1077378683 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30869 29388 1111 63 0 30806 0
vsize: 123476
[startup+888.239 s]
Raw data (loadavg): 0.99 0.93 0.59 1/54 3434
Raw data (stat): 3434 (bsolo_lpr-v2) R 3433 8378 8377 0 -1 0 29571 0 14 0 87835 123 0 0 25 0 1 0 834215485 126439424 29388 4294967295 134512640 134716908 3221224560 3221222948 1077378683 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30869 29388 1111 63 0 30806 0
vsize: 0

Child status: 10
Real time (s): 888.239
CPU time (s): 887.817
CPU user time (s): 886.531
CPU system time (s): 1.2858
CPU usage (%): 99.9525
Max. virtual memory (Kb): 123476
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	0
#### END VERIFIER DATA ####