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/web/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-ss97-6.opb
MD5SUM	5d90b7cbb5bac2aa14257b9c5448f25d
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	304
Optimality of the best value was proved	NO
Number of terms in the objective function	173
Biggest coefficient in the objective function	100
Number of bits for the biggest coefficient in the objective function	7
Sum of the numbers in the objective function	8448
Number of bits of the sum of numbers in the objective function	14
Biggest number in a constraint	100
Number of bits of the biggest number in a constraint	7
Biggest sum of numbers in a constraint	8448
Number of bits of the biggest sum of numbers	14
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.05184
Number of variables	257
Total number of constraints	353
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	353
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	44
Trace number 40904

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-06-09 01:38:35 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28970 boxname=wulflinc3 idbench=356 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  5d90b7cbb5bac2aa14257b9c5448f25d  /oldhome/oroussel/tmp/wulflinc3/normalized-ss97-6.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc3/normalized-ss97-6.opb
IDLAUNCH: 28970
/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:        891896 kB
Buffers:         25420 kB
Cached:          95004 kB
SwapCached:       3472 kB
Active:          30548 kB
Inactive:        94648 kB
HighTotal:      131008 kB
HighFree:        43568 kB
LowTotal:       903652 kB
LowFree:        848328 kB
SwapTotal:     2097136 kB
SwapFree:      2092672 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5020 kB
Slab:            12048 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 01:58:12 (client local time) WITH STATUS 10 IN 1176.83 SECONDS
stats: 28970 0 1176.83 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 257 variables and 181 constraints.
c After prepocess the problem consists of 216 variables and 98 constraints.
c preprocess terminated 0.124 s
c Initial Lower Bound: 303
c Lower Bound Elapsed time: 0.017
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 4133 @ 0.558
c NEW SOLUTION FOUND: 4038 @ 0.632
c NEW SOLUTION FOUND: 4037 @ 0.659
c NEW SOLUTION FOUND: 4036 @ 0.683
c NEW SOLUTION FOUND: 4035 @ 0.707
c NEW SOLUTION FOUND: 4034 @ 0.731
c NEW SOLUTION FOUND: 4033 @ 0.755
c NEW SOLUTION FOUND: 3933 @ 0.822
c NEW SOLUTION FOUND: 3833 @ 0.896
c NEW SOLUTION FOUND: 3733 @ 0.98
c NEW SOLUTION FOUND: 3633 @ 1.08
c NEW SOLUTION FOUND: 3533 @ 1.187
c NEW SOLUTION FOUND: 3433 @ 1.302
c NEW SOLUTION FOUND: 3432 @ 1.41
c NEW SOLUTION FOUND: 3332 @ 1.523
c NEW SOLUTION FOUND: 3331 @ 1.718
c NEW SOLUTION FOUND: 3231 @ 2.01
c NEW SOLUTION FOUND: 3230 @ 2.343
c NEW SOLUTION FOUND: 3130 @ 2.613
c NEW SOLUTION FOUND: 3129 @ 2.92
c NEW SOLUTION FOUND: 3029 @ 3.161
c NEW SOLUTION FOUND: 3028 @ 3.465
c NEW SOLUTION FOUND: 2928 @ 3.712
c NEW SOLUTION FOUND: 2927 @ 4.058
c NEW SOLUTION FOUND: 2827 @ 4.357
c NEW SOLUTION FOUND: 2826 @ 4.722
c NEW SOLUTION FOUND: 2726 @ 5.029
c NEW SOLUTION FOUND: 2725 @ 5.45
c NEW SOLUTION FOUND: 2625 @ 5.768
c NEW SOLUTION FOUND: 2624 @ 6.184
c NEW SOLUTION FOUND: 2524 @ 6.515
c NEW SOLUTION FOUND: 2523 @ 6.994
c NEW SOLUTION FOUND: 2423 @ 7.347
c NEW SOLUTION FOUND: 2422 @ 7.834
c NEW SOLUTION FOUND: 2322 @ 8.231
c NEW SOLUTION FOUND: 2321 @ 8.751
c NEW SOLUTION FOUND: 2221 @ 9.193
c NEW SOLUTION FOUND: 2121 @ 9.823
c NEW SOLUTION FOUND: 2120 @ 10.341
c NEW SOLUTION FOUND: 2119 @ 11.01
c NEW SOLUTION FOUND: 2019 @ 11.482
c NEW SOLUTION FOUND: 1919 @ 12.239
c NEW SOLUTION FOUND: 1918 @ 12.803
c NEW SOLUTION FOUND: 1917 @ 13.77
c NEW SOLUTION FOUND: 1819 @ 14.468
c NEW SOLUTION FOUND: 1818 @ 15.091
c NEW SOLUTION FOUND: 1817 @ 15.883
c NEW SOLUTION FOUND: 1816 @ 18.601
c NEW SOLUTION FOUND: 1720 @ 19.458
c NEW SOLUTION FOUND: 1719 @ 20.078
c NEW SOLUTION FOUND: 1718 @ 22.106
c NEW SOLUTION FOUND: 1717 @ 24.132
c NEW SOLUTION FOUND: 1716 @ 25.787
c NEW SOLUTION FOUND: 1715 @ 27.413
c NEW SOLUTION FOUND: 1620 @ 28.301
c NEW SOLUTION FOUND: 1619 @ 30.138
c NEW SOLUTION FOUND: 1618 @ 31.416
c NEW SOLUTION FOUND: 1617 @ 33.617
c NEW SOLUTION FOUND: 1616 @ 36.225
c NEW SOLUTION FOUND: 1615 @ 40.946
s SATISFIABLE
v -v133 v177 -v217 -v3 v179 v7 -v8 -v96 v184 -v224 v185 -v225 v10 -v98 -v142 -v186 v226 -v99 -v12 -v13 -v14 -v58 -v103 -v60 -v104 v148 v229 -v61 -v19 -v107 -v108 v152 -v21 -v109 -v153 -v110 v154 -v111 v191 -v231 v26 -v70 v236 v117 v197 -v237 v198 -v238 v118 v199 -v239 v163 v120 v201 -v241 v202 -v242 v121 v203 -v243 -v123 v167 v205 -v245 v124 v246 -v37 -v125 v169 -v207 v247 v126 v248 v39 -v171 v249 -v212 v252 v129 -v213 v253 v130 -v214 v254 v131 -v215 v255 v132 v256 v1 -v45 -v89 v90 -v178 v47 -v219 -v221 -v223 v52 -v140 v11 -v55 -v143 -v227 v56 -v144 -v228 v57 -v145 v102 -v146 v15 -v147 v17 -v149 v18 -v62 -v106 -v150 v151 v65 v23 -v67 -v155 v24 -v68 -v112 -v156 -v190 v230 -v158 -v232 -v233 -v234 -v235 -v29 -v73 -v161 -v30 -v74 -v162 -v75 -v119 -v240 -v32 -v76 -v164 -v33 -v165 -v34 -v78 -v244 -v79 -v80 -v168 -v81 -v38 -v82 -v170 -v83 -v127 -v41 -v85 -v173 -v42 -v86 -v174 -v43 -v87 -v175 -v176 -v216 one -v2 -v4 -v5 -v6 -v9 -v16 -v20 -v22 -v25 -v27 v28 -v31 -v35 -v36 -v40 -v44 -v46 v48 v49 v50 -v51 -v53 -v54 -v59 -v63 -v64 -v66 -v69 -v71 -v72 -v77 -v84 -v88 -v91 -v92 -v93 -v94 -v95 -v97 -v100 -v101 -v105 -v113 -v114 -v115 -v116 -v122 -v128 -v134 -v135 -v136 -v137 -v138 -v139 v141 v157 v159 -v160 v166 v172 -v180 v181 -v182 v183 v187 v188 -v189 v192 v193 v194 v195 -v196 v200 v204 -v206 -v208 -v209 -v210 -v211 v218 v220 v222 v250 v251 
c Exit Code: 10
c Total time: 1176.73 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.84 0.95 0.91 2/54 1973
Raw data (stat): 1973 (runsolver) R 1972 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 906368322 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.0006 s]
Raw data (loadavg): 0.87 0.95 0.91 2/54 1973
Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 6825 0 0 0 965 31 0 0 25 0 1 0 906368322 10465280 1852 4294967295 134512640 134716908 3221224576 3221222496 1075799421 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2555 1852 1111 63 0 2492 0
vsize: 10220
[startup+20.0017 s]
Raw data (loadavg): 0.89 0.95 0.91 2/54 1973
Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 15537 0 0 0 1932 65 0 0 25 0 1 0 906368322 15978496 3192 4294967295 134512640 134716908 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3901 3192 1111 63 0 3838 0
vsize: 15604
[startup+30.0022 s]
Raw data (loadavg): 0.90 0.95 0.91 2/54 1973
Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 26883 0 0 0 2896 100 0 0 25 0 1 0 906368322 20099072 4214 4294967295 134512640 134716908 3221224576 3221222452 1077782939 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4907 4214 1111 63 0 4844 0
vsize: 19628
[startup+40.0029 s]
Raw data (loadavg): 0.92 0.95 0.91 2/54 1973
Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 37943 0 0 0 3861 135 0 0 25 0 1 0 906368322 24666112 5264 4294967295 134512640 134716908 3221224576 3221222224 1075818290 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6022 5264 1111 63 0 5959 0
vsize: 24088
[startup+50.0042 s]
Raw data (loadavg): 0.93 0.96 0.91 2/54 1973
Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 52780 0 0 0 4820 176 0 0 25 0 1 0 906368322 29245440 6400 4294967295 134512640 134716908 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7224 6403 1111 63 0 7161 0
vsize: 28560
[startup+60.0037 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 1973
Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 67779 0 0 0 5782 215 0 0 25 0 1 0 906368322 32919552 7293 4294967295 134512640 134716908 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8126 7295 1111 63 0 8063 0
vsize: 32148
[startup+70.0065 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 1973
Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 83995 0 0 0 6743 255 0 0 25 0 1 0 906368322 36470784 8166 4294967295 134512640 134716908 3221224576 3221222756 1077782939 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8897 8166 1111 63 0 8834 0
vsize: 35616
[startup+80.0077 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 1973
Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 100482 0 0 0 7701 296 0 0 25 0 1 0 906368322 41984000 9309 4294967295 134512640 134716908 3221224576 3221221640 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10250 9309 1111 63 0 10187 0
vsize: 41000
[startup+90.0082 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 1973
Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 119189 0 0 0 8655 343 0 0 25 0 1 0 906368322 45916160 10349 4294967295 134512640 134716908 3221224576 3221222400 1075823542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11210 10349 1111 63 0 11147 0
vsize: 44840
[startup+100.008 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 1973
Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 136834 0 0 0 9608 390 0 0 25 0 1 0 906368322 50978816 11527 4294967295 134512640 134716908 3221224576 3221221468 1077387418 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12446 11529 1111 63 0 12383 0
vsize: 49784
[startup+110.009 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 1973
Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 154359 0 0 0 10565 433 0 0 25 0 1 0 906368322 55570432 12665 4294967295 134512640 134716908 3221224576 3221220736 1075095166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13567 12674 1111 63 0 13504 0
vsize: 54268
[startup+120.009 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 1973
Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 169126 0 0 0 11526 472 0 0 25 0 1 0 906368322 58253312 13387 4294967295 134512640 134716908 3221224576 3221222500 1075823076 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14222 13387 1111 63 0 14159 0
vsize: 56888
[startup+130.009 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 1973
Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 188101 0 0 0 12478 521 0 0 25 0 1 0 906368322 63582208 14620 4294967295 134512640 134716908 3221224576 3221220736 1075095166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15523 14622 1111 63 0 15460 0
vsize: 62092
[startup+140.009 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 1973
Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 203789 0 0 0 13436 562 0 0 25 0 1 0 906368322 67551232 15691 4294967295 134512640 134716908 3221224576 3221223452 134558476 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16492 15691 1111 63 0 16429 0
vsize: 65968
[startup+150.009 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 1973
Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 209724 0 0 0 14422 577 0 0 25 0 1 0 906368322 68440064 15907 4294967295 134512640 134716908 3221224576 3221222304 1075828228 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16707 15905 1111 63 0 16644 0
vsize: 66836
[startup+160.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1973
Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 229752 0 0 0 15370 629 0 0 25 0 1 0 906368322 77299712 17732 4294967295 134512640 134716908 3221224576 3221223312 134622759 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18872 17732 1111 63 0 18809 0
vsize: 75488
[startup+170.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1973
Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 246711 0 0 0 16326 673 0 0 25 0 1 0 906368322 82620416 18933 4294967295 134512640 134716908 3221224576 3221220736 1075091317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20171 18936 1111 63 0 20108 0
vsize: 80684
[startup+180.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1973
Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 264772 0 0 0 17276 724 0 0 25 0 1 0 906368322 87085056 20066 4294967295 134512640 134716908 3221224576 3221222340 1077374203 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21261 20066 1111 63 0 21198 0
vsize: 85044
[startup+190.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1973
Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 283501 0 0 0 18223 777 0 0 25 0 1 0 906368322 92585984 21380 4294967295 134512640 134716908 3221224576 3221223216 1074057621 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22604 21380 1111 63 0 22541 0
vsize: 90416
[startup+200.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1973
Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 301375 0 0 0 19176 823 0 0 25 0 1 0 906368322 98369536 22796 4294967295 134512640 134716908 3221224576 3221223372 134542400 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24016 22796 1111 63 0 23953 0
vsize: 96064
[startup+210.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1973
Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 321800 0 0 0 20127 873 0 0 25 0 1 0 906368322 101314560 23400 4294967295 134512640 134716908 3221224576 3221220736 1075091317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24735 23400 1111 63 0 24672 0
vsize: 98940
[startup+220.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1973
Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 357196 0 0 0 21055 945 0 0 25 0 1 0 906368322 106618880 24661 4294967295 134512640 134716908 3221224576 3221221776 1075966713 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25898 24655 1111 63 0 25835 0
vsize: 104120
[startup+230.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1973
Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 389804 0 0 0 21985 1015 0 0 25 0 1 0 906368322 111099904 25855 4294967295 134512640 134716908 3221224576 3221222832 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27124 25855 1111 63 0 27061 0
vsize: 108496
[startup+240.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1973
Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 420642 0 0 0 22921 1079 0 0 25 0 1 0 906368322 115433472 26918 4294967295 134512640 134716908 3221224576 3221222496 1075799512 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28182 26918 1111 63 0 28119 0
vsize: 112728
[startup+250.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1973
Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 455498 0 0 0 23847 1154 0 0 25 0 1 0 906368322 121589760 28331 4294967295 134512640 134716908 3221224576 3221220736 1075091317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29685 28334 1111 63 0 29622 0
vsize: 118740
[startup+260.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1973
Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 480353 0 0 0 24794 1206 0 0 25 0 1 0 906368322 125616128 29390 4294967295 134512640 134716908 3221224576 3221223368 134542414 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30668 29390 1111 63 0 30605 0
vsize: 122672
[startup+270.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1973
Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 498484 0 0 0 25756 1245 0 0 25 0 1 0 906368322 127684608 29904 4294967295 134512640 134716908 3221224576 3221222988 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31173 29904 1111 63 0 31110 0
vsize: 124692
[startup+280.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1973
Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 529862 0 0 0 26687 1314 0 0 25 0 1 0 906368322 132808704 31196 4294967295 134512640 134716908 3221224576 3221223372 134543553 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32424 31196 1111 63 0 32361 0
vsize: 129696
[startup+290.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1973
Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 564831 0 0 0 27614 1387 0 0 25 0 1 0 906368322 138178560 32421 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33735 32421 1111 63 0 33672 0
vsize: 134940
[startup+300.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1973
Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 590322 0 0 0 28561 1440 0 0 25 0 1 0 906368322 147566592 33927 4294967295 134512640 134716908 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36159 33933 1111 63 0 36096 0
vsize: 144108
[startup+310.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1973
Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 625030 0 0 0 29490 1512 0 0 25 0 1 0 906368322 153939968 35157 4294967295 134512640 134716908 3221224576 3221220780 1075564292 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37583 35157 1111 63 0 37520 0
vsize: 150332
[startup+320.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1973
Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 652060 0 0 0 30428 1573 0 0 25 0 1 0 906368322 157745152 36058 4294967295 134512640 134716908 3221224576 3221222956 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38512 36058 1111 63 0 38449 0
vsize: 154048
[startup+330.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1973
Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 672810 0 0 0 31383 1619 0 0 25 0 1 0 906368322 161599488 36843 4294967295 134512640 134716908 3221224576 3221221616 1075971414 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39453 36851 1111 63 0 39390 0
vsize: 157812
[startup+340.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1973
Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 681713 0 0 0 32361 1641 0 0 25 0 1 0 906368322 162447360 37172 4294967295 134512640 134716908 3221224576 3221223368 134536901 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39660 37172 1111 63 0 39597 0
vsize: 158640
[startup+350.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1973
Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 698968 0 0 0 33324 1678 0 0 25 0 1 0 906368322 163528704 37437 4294967295 134512640 134716908 3221224576 3221222736 1075604191 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39924 37437 1111 63 0 39861 0
vsize: 159696
[startup+360.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1973
Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 724308 0 0 0 34267 1736 0 0 25 0 1 0 906368322 166019072 38019 4294967295 134512640 134716908 3221224576 3221222880 1074153648 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40532 38019 1111 63 0 40469 0
vsize: 162128
[startup+370.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1973
Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 733635 0 0 0 35245 1758 0 0 25 0 1 0 906368322 167264256 38323 4294967295 134512640 134716908 3221224576 3221223288 134543176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40836 38323 1111 63 0 40773 0
vsize: 163344
[startup+380.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1973
Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 759277 0 0 0 36191 1812 0 0 25 0 1 0 906368322 170459136 38890 4294967295 134512640 134716908 3221224576 3221220736 1075091317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41616 38891 1111 63 0 41553 0
vsize: 166464
[startup+390.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1973
Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 794659 0 0 0 37114 1889 0 0 25 0 1 0 906368322 174063616 39741 4294967295 134512640 134716908 3221224576 3221220736 1075091317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42496 39744 1111 63 0 42433 0
vsize: 169984
[startup+400.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1973
Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 814183 0 0 0 38073 1930 0 0 25 0 1 0 906368322 177324032 40674 4294967295 134512640 134716908 3221224576 3221222576 1074918585 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43292 40674 1111 63 0 43229 0
vsize: 173168
[startup+410.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1973
Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 818110 0 0 0 39065 1938 0 0 25 0 1 0 906368322 175943680 40368 4294967295 134512640 134716908 3221224576 3221223288 134543187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42955 40368 1111 63 0 42892 0
vsize: 171820
[startup+420.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1973
Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 824504 0 0 0 40051 1953 0 0 25 0 1 0 906368322 175546368 40263 4294967295 134512640 134716908 3221224576 3221223140 1073987108 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42858 40263 1111 63 0 42795 0
vsize: 171432
[startup+430.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1973
Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 860115 0 0 0 40978 2025 0 0 25 0 1 0 906368322 178585600 41024 4294967295 134512640 134716908 3221224576 3221222952 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43600 41024 1111 63 0 43537 0
vsize: 174400
[startup+440.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1973
Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 892316 0 0 0 41910 2094 0 0 25 0 1 0 906368322 182665216 41803 4294967295 134512640 134716908 3221224576 3221220736 1075095166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44596 41815 1111 63 0 44533 0
vsize: 178384
[startup+450.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1973
Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 916341 0 0 0 42856 2148 0 0 25 0 1 0 906368322 183939072 42333 4294967295 134512640 134716908 3221224576 3221223216 134528607 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44907 42333 1111 63 0 44844 0
vsize: 179628
[startup+460.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1973
Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 937291 0 0 0 43809 2195 0 0 25 0 1 0 906368322 185659392 42749 4294967295 134512640 134716908 3221224576 3221222740 1077374467 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45327 42749 1111 63 0 45264 0
vsize: 181308
[startup+470.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1973
Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 952307 0 0 0 44776 2228 0 0 25 0 1 0 906368322 186834944 43028 4294967295 134512640 134716908 3221224576 3221222816 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45614 43028 1111 63 0 45551 0
vsize: 182456
[startup+480.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1973
Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 970332 0 0 0 45737 2268 0 0 25 0 1 0 906368322 187850752 43294 4294967295 134512640 134716908 3221224576 3221222536 1074138306 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45862 43294 1111 63 0 45799 0
vsize: 183448
[startup+490.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1973
Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 989126 0 0 0 46692 2313 0 0 25 0 1 0 906368322 190197760 43695 4294967295 134512640 134716908 3221224576 3221221200 1075895379 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46435 43695 1111 63 0 46372 0
vsize: 185740
[startup+500.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1973
Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 1006098 0 0 0 47655 2350 0 0 25 0 1 0 906368322 190459904 43933 4294967295 134512640 134716908 3221224576 3221222912 1074153786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46499 43933 1111 63 0 46436 0
vsize: 185996
[startup+510.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1973
Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 1018529 0 0 0 48629 2376 0 0 25 0 1 0 906368322 191221760 44108 4294967295 134512640 134716908 3221224576 3221222576 1074916744 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46685 44108 1111 63 0 46622 0
vsize: 186740
[startup+520.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1973
Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 1022944 0 0 0 49619 2386 0 0 25 0 1 0 906368322 192012288 44267 4294967295 134512640 134716908 3221224576 3221223312 134622819 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46878 44267 1111 63 0 46815 0
vsize: 187512
[startup+530.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1973
Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 1037890 0 0 0 50584 2422 0 0 25 0 1 0 906368322 192606208 44449 4294967295 134512640 134716908 3221224576 3221223392 134622347 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47023 44449 1111 63 0 46960 0
vsize: 188092
[startup+540.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1973
Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 1048307 0 0 0 51560 2446 0 0 25 0 1 0 906368322 193273856 44595 4294967295 134512640 134716908 3221224576 3221223312 134622759 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47186 44595 1111 63 0 47123 0
vsize: 188744
[startup+550.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1973
Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 1057850 0 0 0 52539 2467 0 0 25 0 1 0 906368322 194420736 44718 4294967295 134512640 134716908 3221224576 3221220540 1074860626 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47466 44718 1111 63 0 47403 0
vsize: 189864
[startup+560.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1973
Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 1065885 0 0 0 53521 2486 0 0 25 0 1 0 906368322 193662976 44721 4294967295 134512640 134716908 3221224576 3221222576 1074918576 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47281 44721 1111 63 0 47218 0
vsize: 189124
[startup+570.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1973
Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 1076047 0 0 0 54496 2511 0 0 25 0 1 0 906368322 193990656 44805 4294967295 134512640 134716908 3221224576 3221222400 1075823644 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47361 44805 1111 63 0 47298 0
vsize: 189444
[startup+580.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1973
Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 1087594 0 0 0 55468 2538 0 0 25 0 1 0 906368322 195112960 45069 4294967295 134512640 134716908 3221224576 3221222576 1074918597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47635 45069 1111 63 0 47572 0
vsize: 190540
[startup+590.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1973
Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 1102893 0 0 0 56432 2574 0 0 25 0 1 0 906368322 196300800 45367 4294967295 134512640 134716908 3221224576 3221222576 1074918576 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47925 45367 1111 63 0 47862 0
vsize: 191700
[startup+600.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1973
Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 1118287 0 0 0 57399 2608 0 0 25 0 1 0 906368322 196812800 45494 4294967295 134512640 134716908 3221224576 3221222576 1074918771 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 48050 45494 1111 63 0 47987 0
vsize: 192200
[startup+610.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1973
Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 1133303 0 0 0 58365 2642 0 0 25 0 1 0 906368322 198172672 45833 4294967295 134512640 134716908 3221224576 3221223380 134622499 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 48382 45833 1111 63 0 48319 0
vsize: 193528
[startup+620.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1973
Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 1144218 0 0 0 59341 2666 0 0 25 0 1 0 906368322 198991872 46035 4294967295 134512640 134716908 3221224576 3221222576 1074918496 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 48582 46035 1111 63 0 48519 0
vsize: 194328
[startup+630.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1973
Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 1150840 0 0 0 60326 2682 0 0 25 0 1 0 906368322 199446528 46115 4294967295 134512640 134716908 3221224576 3221222864 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 48693 46115 1111 63 0 48630 0
vsize: 194772
[startup+640.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1973
Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 1159846 0 0 0 61305 2702 0 0 25 0 1 0 906368322 199421952 46141 4294967295 134512640 134716908 3221224576 3221222488 1074138265 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 48687 46141 1111 63 0 48624 0
vsize: 194748
[startup+650.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1973
Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 1170247 0 0 0 62280 2728 0 0 25 0 1 0 906368322 200310784 46337 4294967295 134512640 134716908 3221224576 3221222480 1077814665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 48904 46337 1111 63 0 48841 0
vsize: 195616
[startup+660.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1973
Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 1171681 0 0 0 63275 2733 0 0 25 0 1 0 906368322 200888320 46502 4294967295 134512640 134716908 3221224576 3221222480 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49045 46502 1111 63 0 48982 0
vsize: 196180
[startup+670.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1973
Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 1172701 0 0 0 64272 2737 0 0 25 0 1 0 906368322 203821056 47208 4294967295 134512640 134716908 3221224576 3221222576 1074918591 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49761 47208 1111 63 0 49698 0
vsize: 199044
[startup+680.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1973
Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 1173958 0 0 0 65269 2739 0 0 25 0 1 0 906368322 208240640 47772 4294967295 134512640 134716908 3221224576 3221221648 1074867328 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50840 47772 1111 63 0 50777 0
vsize: 203360
[startup+690.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1973
Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 1176721 0 0 0 66264 2745 0 0 25 0 1 0 906368322 203116544 46948 4294967295 134512640 134716908 3221224576 3221223312 134622759 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49589 46948 1111 63 0 49526 0
vsize: 198356
[startup+700.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1973
Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 1176721 0 0 0 67264 2745 0 0 25 0 1 0 906368322 203116544 46948 4294967295 134512640 134716908 3221224576 3221223380 134622283 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49589 46948 1111 63 0 49526 0
vsize: 198356
[startup+710.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1973
Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 1176721 0 0 0 68264 2745 0 0 25 0 1 0 906368322 203116544 46948 4294967295 134512640 134716908 3221224576 3221223288 134543187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49589 46948 1111 63 0 49526 0
vsize: 198356
[startup+720.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1973
Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 1176871 0 0 0 69264 2745 0 0 25 0 1 0 906368322 202305536 46801 4294967295 134512640 134716908 3221224576 3221222672 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49391 46801 1111 63 0 49328 0
vsize: 197564
[startup+730.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1973
Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 1179851 0 0 0 70257 2752 0 0 25 0 1 0 906368322 201916416 46726 4294967295 134512640 134716908 3221224576 3221223312 134622763 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49296 46726 1111 63 0 49233 0
vsize: 197184
[startup+740.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1973
Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 1185768 0 0 0 71242 2768 0 0 25 0 1 0 906368322 203120640 46456 4294967295 134512640 134716908 3221224576 3221221640 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49590 46456 1111 63 0 49527 0
vsize: 198360
[startup+750.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1973
Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 1188898 0 0 0 72235 2775 0 0 25 0 1 0 906368322 201216000 46583 4294967295 134512640 134716908 3221224576 3221223288 134558492 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49125 46583 1111 63 0 49062 0
vsize: 196500
[startup+760.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1973
Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 1193245 0 0 0 73227 2783 0 0 25 0 1 0 906368322 201039872 46508 4294967295 134512640 134716908 3221224576 3221222576 1074918583 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49082 46508 1111 63 0 49019 0
vsize: 196328
[startup+770.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1973
Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 1201200 0 0 0 74208 2803 0 0 25 0 1 0 906368322 200650752 46445 4294967295 134512640 134716908 3221224576 3221221856 1074140374 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49138 46445 1111 63 0 49075 0
vsize: 195948
[startup+780.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1973
Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 1217989 0 0 0 75168 2842 0 0 25 0 1 0 906368322 202424320 46847 4294967295 134512640 134716908 3221224576 3221223312 134622759 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49420 46847 1111 63 0 49357 0
vsize: 197680
[startup+790.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1973
Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 1222042 0 0 0 76159 2852 0 0 25 0 1 0 906368322 201654272 46658 4294967295 134512640 134716908 3221224576 3221222520 1077380592 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49232 46658 1111 63 0 49169 0
vsize: 196928
[startup+800.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1973
Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 1233314 0 0 0 77132 2879 0 0 25 0 1 0 906368322 201719808 46674 4294967295 134512640 134716908 3221224576 3221223368 134543552 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49248 46674 1111 63 0 49185 0
vsize: 196992
[startup+810.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1973
Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 1252917 0 0 0 78087 2925 0 0 25 0 1 0 906368322 202141696 46810 4294967295 134512640 134716908 3221224576 3221222912 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49351 46810 1111 63 0 49288 0
vsize: 197404
[startup+820.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1973
Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 1256907 0 0 0 79079 2932 0 0 25 0 1 0 906368322 202518528 46870 4294967295 134512640 134716908 3221224576 3221223288 134543176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49443 46870 1111 63 0 49380 0
vsize: 197772
[startup+830.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1973
Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 1279334 0 0 0 80025 2986 0 0 25 0 1 0 906368322 204890112 47040 4294967295 134512640 134716908 3221224576 3221220720 1074969600 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50022 47040 1111 63 0 49959 0
vsize: 200088
[startup+840.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1973
Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 1293549 0 0 0 80992 3019 0 0 25 0 1 0 906368322 203042816 47031 4294967295 134512640 134716908 3221224576 3221222824 1074138162 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49571 47031 1111 63 0 49508 0
vsize: 198284
[startup+850.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1973
Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 1312185 0 0 0 81947 3065 0 0 25 0 1 0 906368322 203350016 47124 4294967295 134512640 134716908 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49646 47124 1111 63 0 49583 0
vsize: 198584
[startup+860.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1973
Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 1338792 0 0 0 82887 3125 0 0 25 0 1 0 906368322 207953920 47794 4294967295 134512640 134716908 3221224576 3221220588 1074788950 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50770 47795 1111 63 0 50707 0
vsize: 203080
[startup+870.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1973
Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 1349762 0 0 0 83861 3152 0 0 25 0 1 0 906368322 206643200 47889 4294967295 134512640 134716908 3221224576 3221223312 134622759 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50450 47889 1111 63 0 50387 0
vsize: 201800
[startup+880.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1973
Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 1367923 0 0 0 84818 3194 0 0 25 0 1 0 906368322 207269888 48054 4294967295 134512640 134716908 3221224576 3221222576 1074918597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50603 48054 1111 63 0 50540 0
vsize: 202412
[startup+890.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1973
Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 1379123 0 0 0 85791 3222 0 0 25 0 1 0 906368322 207511552 48146 4294967295 134512640 134716908 3221224576 3221222576 1074918576 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50662 48146 1111 63 0 50599 0
vsize: 202648
[startup+900.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1973
Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 1393732 0 0 0 86758 3255 0 0 25 0 1 0 906368322 212926464 48535 4294967295 134512640 134716908 3221224576 3221221648 1074867305 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51984 48535 1111 63 0 51921 0
vsize: 207936
[startup+910.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1973
Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 1399565 0 0 0 87745 3269 0 0 25 0 1 0 906368322 209367040 48486 4294967295 134512640 134716908 3221224576 3221222576 1074918583 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51115 48486 1111 63 0 51052 0
vsize: 204460
[startup+920.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1973
Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 1407088 0 0 0 88726 3287 0 0 25 0 1 0 906368322 209657856 48581 4294967295 134512640 134716908 3221224576 3221223288 134558492 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51186 48581 1111 63 0 51123 0
vsize: 204744
[startup+930.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1973
Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 1419466 0 0 0 89699 3314 0 0 25 0 1 0 906368322 209485824 48542 4294967295 134512640 134716908 3221224576 3221222152 1077410163 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51130 48528 1111 63 0 51067 0
vsize: 204576
[startup+940.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1973
Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 1432080 0 0 0 90668 3345 0 0 25 0 1 0 906368322 212226048 48771 4294967295 134512640 134716908 3221224576 3221221640 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51813 48771 1111 63 0 51750 0
vsize: 207252
[startup+950.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1973
Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 1444987 0 0 0 91638 3376 0 0 25 0 1 0 906368322 210436096 48749 4294967295 134512640 134716908 3221224576 3221222408 1077380592 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51376 48749 1111 63 0 51313 0
vsize: 205504
[startup+960.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1973
Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 1445745 0 0 0 92636 3378 0 0 25 0 1 0 906368322 211779584 49046 4294967295 134512640 134716908 3221224576 3221222768 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51704 49046 1111 63 0 51641 0
vsize: 206816
[startup+970.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1973
Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 1446616 0 0 0 93634 3380 0 0 25 0 1 0 906368322 214118400 49637 4294967295 134512640 134716908 3221224576 3221222576 1074918583 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52275 49637 1111 63 0 52212 0
vsize: 209100
[startup+980.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1973
Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 1450182 0 0 0 94626 3388 0 0 25 0 1 0 906368322 213446656 49397 4294967295 134512640 134716908 3221224576 3221223312 134622759 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52111 49397 1111 63 0 52048 0
vsize: 208444
[startup+990.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1973
Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 1450182 0 0 0 95627 3388 0 0 25 0 1 0 906368322 213446656 49397 4294967295 134512640 134716908 3221224576 3221223288 134543176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52111 49397 1111 63 0 52048 0
vsize: 208444
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1973
Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 1450182 0 0 0 96627 3388 0 0 25 0 1 0 906368322 213446656 49397 4294967295 134512640 134716908 3221224576 3221223392 134622484 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52111 49397 1111 63 0 52048 0
vsize: 208444
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1973
Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 1450414 0 0 0 97626 3389 0 0 25 0 1 0 906368322 213086208 49362 4294967295 134512640 134716908 3221224576 3221222720 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52023 49362 1111 63 0 51960 0
vsize: 208092
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1973
Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 1451079 0 0 0 98625 3391 0 0 25 0 1 0 906368322 214110208 49626 4294967295 134512640 134716908 3221224576 3221222576 1074918597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52273 49626 1111 63 0 52210 0
vsize: 209092
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1973
Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 1453617 0 0 0 99620 3395 0 0 25 0 1 0 906368322 212049920 49141 4294967295 134512640 134716908 3221224576 3221222768 1074153792 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51770 49141 1111 63 0 51707 0
vsize: 207080
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1973
Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 1455903 0 0 0 100615 3401 0 0 25 0 1 0 906368322 211599360 49033 4294967295 134512640 134716908 3221224576 3221222720 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51660 49033 1111 63 0 51597 0
vsize: 206640
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1973
Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 1460025 0 0 0 101605 3411 0 0 25 0 1 0 906368322 211599360 49033 4294967295 134512640 134716908 3221224576 3221222960 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51660 49033 1111 63 0 51597 0
vsize: 206640
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1973
Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 1473334 0 0 0 102574 3442 0 0 25 0 1 0 906368322 210657280 48803 4294967295 134512640 134716908 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51430 48803 1111 63 0 51367 0
vsize: 205720
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1973
Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 1491403 0 0 0 103534 3482 0 0 25 0 1 0 906368322 212819968 49332 4294967295 134512640 134716908 3221224576 3221222576 1074918597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51958 49332 1111 63 0 51895 0
vsize: 207832
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1973
Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 1506529 0 0 0 104498 3519 0 0 25 0 1 0 906368322 211992576 49131 4294967295 134512640 134716908 3221224576 3221223300 134622875 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51756 49131 1111 63 0 51693 0
vsize: 207024
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1973
Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 1540915 0 0 0 105426 3591 0 0 25 0 1 0 906368322 219353088 50095 4294967295 134512640 134716908 3221224576 3221221520 1074620363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 53553 50095 1111 63 0 53490 0
vsize: 214212
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1973
Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 1560909 0 0 0 106382 3635 0 0 25 0 1 0 906368322 216125440 50084 4294967295 134512640 134716908 3221224576 3221222688 1074867344 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52765 50084 1111 63 0 52702 0
vsize: 211060
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1973
Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 1562947 0 0 0 107376 3641 0 0 25 0 1 0 906368322 218890240 50784 4294967295 134512640 134716908 3221224576 3221222576 1074918597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 53440 50784 1111 63 0 53377 0
vsize: 213760
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1973
Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 1569014 0 0 0 108363 3654 0 0 25 0 1 0 906368322 217092096 50353 4294967295 134512640 134716908 3221224576 3221223380 134622283 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 53001 50353 1111 63 0 52938 0
vsize: 212004
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1973
Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 1572175 0 0 0 109356 3662 0 0 25 0 1 0 906368322 217784320 50483 4294967295 134512640 134716908 3221224576 3221223304 134622768 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 53170 50483 1111 63 0 53107 0
vsize: 212680
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1973
Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 1574227 0 0 0 110352 3666 0 0 25 0 1 0 906368322 217141248 50360 4294967295 134512640 134716908 3221224576 3221222576 1074918597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 53013 50360 1111 63 0 52950 0
vsize: 212052
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1973
Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 1591483 0 0 0 111315 3703 0 0 25 0 1 0 906368322 219148288 50420 4294967295 134512640 134716908 3221224576 3221221576 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 53503 50420 1111 63 0 53440 0
vsize: 214012
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1973
Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 1602281 0 0 0 112290 3728 0 0 25 0 1 0 906368322 217214976 50352 4294967295 134512640 134716908 3221224576 3221222688 1074867340 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 53031 50352 1111 63 0 52968 0
vsize: 212124
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1973
Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 1608807 0 0 0 113272 3747 0 0 25 0 1 0 906368322 219193344 50858 4294967295 134512640 134716908 3221224576 3221222576 1074918591 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 53514 50858 1111 63 0 53451 0
vsize: 214056
[startup+1176.68 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 1973
Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 1608807 0 0 0 113272 3747 0 0 25 0 1 0 906368322 219193344 50858 4294967295 134512640 134716908 3221224576 3221222576 1074918591 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 53514 50858 1111 63 0 53451 0
vsize: 0

Child status: 10
Real time (s): 1176.68
CPU time (s): 1176.83
CPU user time (s): 1139.21
CPU system time (s): 37.6173
CPU usage (%): 100.013
Max. virtual memory (Kb): 214212
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	1615
#### END VERIFIER DATA ####