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 24918

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-14 20:50:17 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=3197 boxname=wulflinc31 idbench=356 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  5d90b7cbb5bac2aa14257b9c5448f25d  /oldhome/oroussel/tmp/wulflinc31/normalized-ss97-6.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-ss97-6.opb
IDLAUNCH: 3197
/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:        822828 kB
Buffers:         39736 kB
Cached:         150704 kB
SwapCached:       1932 kB
Active:         155048 kB
Inactive:        38584 kB
HighTotal:      131008 kB
HighFree:         1316 kB
LowTotal:       903652 kB
LowFree:        821512 kB
SwapTotal:     2097892 kB
SwapFree:      2095228 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           5364 kB
Slab:            12556 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-14 21:09:52 (client local time) WITH STATUS 10 IN 1175.2 SECONDS
stats: 3197 0 1175.2 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.125 s
c Initial Lower Bound: 303
c Lower Bound Elapsed time: 0.016
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 4133 @ 0.562
c NEW SOLUTION FOUND: 4038 @ 0.635
c NEW SOLUTION FOUND: 4037 @ 0.662
c NEW SOLUTION FOUND: 4036 @ 0.685
c NEW SOLUTION FOUND: 4035 @ 0.708
c NEW SOLUTION FOUND: 4034 @ 0.731
c NEW SOLUTION FOUND: 4033 @ 0.754
c NEW SOLUTION FOUND: 3933 @ 0.821
c NEW SOLUTION FOUND: 3833 @ 0.894
c NEW SOLUTION FOUND: 3733 @ 0.977
c NEW SOLUTION FOUND: 3633 @ 1.075
c NEW SOLUTION FOUND: 3533 @ 1.18
c NEW SOLUTION FOUND: 3433 @ 1.293
c NEW SOLUTION FOUND: 3432 @ 1.399
c NEW SOLUTION FOUND: 3332 @ 1.511
c NEW SOLUTION FOUND: 3331 @ 1.705
c NEW SOLUTION FOUND: 3231 @ 1.995
c NEW SOLUTION FOUND: 3230 @ 2.328
c NEW SOLUTION FOUND: 3130 @ 2.593
c NEW SOLUTION FOUND: 3129 @ 2.898
c NEW SOLUTION FOUND: 3029 @ 3.134
c NEW SOLUTION FOUND: 3028 @ 3.434
c NEW SOLUTION FOUND: 2928 @ 3.675
c NEW SOLUTION FOUND: 2927 @ 4.035
c NEW SOLUTION FOUND: 2827 @ 4.351
c NEW SOLUTION FOUND: 2826 @ 4.786
c NEW SOLUTION FOUND: 2726 @ 5.113
c NEW SOLUTION FOUND: 2725 @ 5.565
c NEW SOLUTION FOUND: 2626 @ 5.938
c NEW SOLUTION FOUND: 2625 @ 6.139
c NEW SOLUTION FOUND: 2624 @ 6.672
c NEW SOLUTION FOUND: 2525 @ 7.088
c NEW SOLUTION FOUND: 2524 @ 7.264
c NEW SOLUTION FOUND: 2523 @ 7.86
c NEW SOLUTION FOUND: 2424 @ 8.41
c NEW SOLUTION FOUND: 2423 @ 8.575
c NEW SOLUTION FOUND: 2422 @ 9.212
c NEW SOLUTION FOUND: 2323 @ 9.653
c NEW SOLUTION FOUND: 2322 @ 9.875
c NEW SOLUTION FOUND: 2321 @ 10.473
c NEW SOLUTION FOUND: 2221 @ 10.969
c NEW SOLUTION FOUND: 2122 @ 11.651
c NEW SOLUTION FOUND: 2121 @ 11.812
c NEW SOLUTION FOUND: 2120 @ 12.418
c NEW SOLUTION FOUND: 2021 @ 13.058
c NEW SOLUTION FOUND: 2020 @ 13.276
c NEW SOLUTION FOUND: 2019 @ 13.777
c NEW SOLUTION FOUND: 2018 @ 14.544
c NEW SOLUTION FOUND: 1919 @ 15.037
c NEW SOLUTION FOUND: 1918 @ 15.507
c NEW SOLUTION FOUND: 1917 @ 16.497
c NEW SOLUTION FOUND: 1819 @ 17.147
c NEW SOLUTION FOUND: 1818 @ 17.394
c NEW SOLUTION FOUND: 1817 @ 18.403
c NEW SOLUTION FOUND: 1816 @ 19.282
c NEW SOLUTION FOUND: 1719 @ 20.061
c NEW SOLUTION FOUND: 1718 @ 20.226
c NEW SOLUTION FOUND: 1717 @ 20.549
c NEW SOLUTION FOUND: 1716 @ 21.704
c NEW SOLUTION FOUND: 1715 @ 23.408
c NEW SOLUTION FOUND: 1618 @ 24.198
c NEW SOLUTION FOUND: 1617 @ 24.803
c NEW SOLUTION FOUND: 1616 @ 25.816
c NEW SOLUTION FOUND: 1615 @ 27.228
c NEW SOLUTION FOUND: 1518 @ 41.539
c NEW SOLUTION FOUND: 1517 @ 42.01
c NEW SOLUTION FOUND: 1516 @ 42.585
c NEW SOLUTION FOUND: 1515 @ 46.006
c NEW SOLUTION FOUND: 1514 @ 139.212
c NEW SOLUTION FOUND: 1417 @ 233.466
c NEW SOLUTION FOUND: 1416 @ 265.767
c NEW SOLUTION FOUND: 1415 @ 311.951
c NEW SOLUTION FOUND: 1414 @ 337.652
c NEW SOLUTION FOUND: 1413 @ 451.233
c NEW SOLUTION FOUND: 1317 @ 567.139
c NEW SOLUTION FOUND: 1316 @ 567.405
c NEW SOLUTION FOUND: 1315 @ 577.84
c NEW SOLUTION FOUND: 1314 @ 579.108
c NEW SOLUTION FOUND: 1313 @ 580.969
c NEW SOLUTION FOUND: 1312 @ 668.022
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: 1175.01 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): 1.14 1.00 0.99 2/55 28367
Raw data (stat): 28367 (runsolver) R 28366 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 746821342 1056768 100 4294967295 134512640 135381576 3221221680 3221216896 135158418 0 0 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0004 s]
Raw data (loadavg): 1.11 1.00 0.99 2/55 28367
Raw data (stat): 28367 (bsolo_lpr_cuts) R 28366 7876 7672 0 -1 0 7200 0 0 0 959 35 0 0 25 0 1 0 746821342 11419648 2092 4294967295 134512640 134714508 3221221792 3221219712 1075799819 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2788 2092 1111 63 0 2725 0
vsize: 11152
[startup+20.001 s]
Raw data (loadavg): 1.10 1.00 0.99 2/55 28367
Raw data (stat): 28367 (bsolo_lpr_cuts) R 28366 7876 7672 0 -1 0 13170 0 0 0 1932 63 0 0 25 0 1 0 746821342 16592896 3349 4294967295 134512640 134714508 3221221792 3221220188 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4051 3349 1111 63 0 3988 0
vsize: 16204
[startup+30.0009 s]
Raw data (loadavg): 1.08 1.00 0.99 2/55 28367
Raw data (stat): 28367 (bsolo_lpr_cuts) R 28366 7876 7672 0 -1 0 18484 0 0 0 2909 85 0 0 25 0 1 0 746821342 21016576 4440 4294967295 134512640 134714508 3221221792 3221220452 134649897 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5131 4440 1111 63 0 5068 0
vsize: 20524
[startup+40.0026 s]
Raw data (loadavg): 1.07 1.00 0.99 2/55 28367
Raw data (stat): 28367 (bsolo_lpr_cuts) R 28366 7876 7672 0 -1 0 23187 0 0 0 3889 106 0 0 25 0 1 0 746821342 26136576 5654 4294967295 134512640 134714508 3221221792 3221218964 1077374174 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6417 5656 1111 63 0 6354 0
vsize: 25524
[startup+50.0027 s]
Raw data (loadavg): 1.06 1.00 0.99 2/55 28367
Raw data (stat): 28367 (bsolo_lpr_cuts) R 28366 7876 7672 0 -1 0 29126 0 0 0 4868 127 0 0 25 0 1 0 746821342 30212096 6679 4294967295 134512640 134714508 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7376 6679 1111 63 0 7313 0
vsize: 29504
[startup+60.0026 s]
Raw data (loadavg): 1.05 1.00 0.99 2/55 28367
Raw data (stat): 28367 (bsolo_lpr_cuts) R 28366 7876 7672 0 -1 0 40778 0 0 0 5838 157 0 0 25 0 1 0 746821342 31801344 7057 4294967295 134512640 134714508 3221221792 3221219792 1074918599 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7764 7057 1111 63 0 7701 0
vsize: 31056
[startup+70.0039 s]
Raw data (loadavg): 1.04 1.00 0.99 2/55 28367
Raw data (stat): 28367 (bsolo_lpr_cuts) R 28366 7876 7672 0 -1 0 51663 0 0 0 6809 187 0 0 25 0 1 0 746821342 33054720 7370 4294967295 134512640 134714508 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8070 7370 1111 63 0 8007 0
vsize: 32280
[startup+80.0045 s]
Raw data (loadavg): 1.03 1.00 0.99 2/55 28367
Raw data (stat): 28367 (bsolo_lpr_cuts) R 28366 7876 7672 0 -1 0 64387 0 0 0 7780 216 0 0 25 0 1 0 746821342 34189312 7631 4294967295 134512640 134714508 3221221792 3221220108 1074063728 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8347 7631 1111 63 0 8284 0
vsize: 33388
[startup+90.0054 s]
Raw data (loadavg): 1.03 1.00 0.99 2/55 28367
Raw data (stat): 28367 (bsolo_lpr_cuts) R 28366 7876 7672 0 -1 0 74926 0 0 0 8757 239 0 0 25 0 1 0 746821342 35741696 7962 4294967295 134512640 134714508 3221221792 3221217952 1075095094 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8726 7962 1111 63 0 8663 0
vsize: 34904
[startup+100.006 s]
Raw data (loadavg): 1.02 1.00 0.99 2/55 28367
Raw data (stat): 28367 (bsolo_lpr_cuts) R 28366 7876 7672 0 -1 0 84494 0 0 0 9732 264 0 0 25 0 1 0 746821342 36048896 8103 4294967295 134512640 134714508 3221221792 3221220008 1074138162 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8801 8103 1111 63 0 8738 0
vsize: 35204
[startup+110.006 s]
Raw data (loadavg): 1.02 1.00 0.99 2/55 28367
Raw data (stat): 28367 (bsolo_lpr_cuts) R 28366 7876 7672 0 -1 0 94674 0 0 0 10707 289 0 0 25 0 1 0 746821342 38477824 8566 4294967295 134512640 134714508 3221221792 3221220512 134622817 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9394 8566 1111 63 0 9331 0
vsize: 37576
[startup+120.007 s]
Raw data (loadavg): 1.02 1.00 0.99 2/55 28367
Raw data (stat): 28367 (bsolo_lpr_cuts) R 28366 7876 7672 0 -1 0 114068 0 0 0 11658 338 0 0 25 0 1 0 746821342 41431040 9273 4294967295 134512640 134714508 3221221792 3221220188 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10115 9273 1111 63 0 10052 0
vsize: 40460
[startup+130.008 s]
Raw data (loadavg): 1.01 1.00 0.99 2/55 28367
Raw data (stat): 28367 (bsolo_lpr_cuts) R 28366 7876 7672 0 -1 0 138541 0 0 0 12598 399 0 0 25 0 1 0 746821342 47095808 10571 4294967295 134512640 134714508 3221221792 3221217952 1075095166 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11498 10575 1111 63 0 11435 0
vsize: 45992
[startup+140.008 s]
Raw data (loadavg): 1.01 1.00 0.99 2/55 28367
Raw data (stat): 28367 (bsolo_lpr_cuts) R 28366 7876 7672 0 -1 0 164702 0 0 0 13536 461 0 0 25 0 1 0 746821342 51474432 11704 4294967295 134512640 134714508 3221221792 3221219616 1075823373 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12567 11704 1111 63 0 12504 0
vsize: 50268
[startup+150.009 s]
Raw data (loadavg): 1.01 1.00 0.99 2/55 28367
Raw data (stat): 28367 (bsolo_lpr_cuts) R 28366 7876 7672 0 -1 0 190146 0 0 0 14472 525 0 0 25 0 1 0 746821342 56201216 12860 4294967295 134512640 134714508 3221221792 3221220236 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13820 12862 1111 63 0 13757 0
vsize: 54884
[startup+160.01 s]
Raw data (loadavg): 1.01 1.00 0.99 2/55 28367
Raw data (stat): 28367 (bsolo_lpr_cuts) R 28366 7876 7672 0 -1 0 216581 0 0 0 15409 588 0 0 25 0 1 0 746821342 60903424 14007 4294967295 134512640 134714508 3221221792 3221220192 1074118870 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14869 14007 1111 63 0 14806 0
vsize: 59476
[startup+170.01 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 28367
Raw data (stat): 28367 (bsolo_lpr_cuts) R 28366 7876 7672 0 -1 0 243373 0 0 0 16346 652 0 0 25 0 1 0 746821342 66752512 15436 4294967295 134512640 134714508 3221221792 3221219704 1074138155 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16297 15436 1111 63 0 16234 0
vsize: 65188
[startup+180.01 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 28367
Raw data (stat): 28367 (bsolo_lpr_cuts) R 28366 7876 7672 0 -1 0 262826 0 0 0 17297 701 0 0 25 0 1 0 746821342 73502720 16747 4294967295 134512640 134714508 3221221792 3221217952 1075091317 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17945 16747 1111 63 0 17882 0
vsize: 71780
[startup+190.01 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 28367
Raw data (stat): 28367 (bsolo_lpr_cuts) R 28366 7876 7672 0 -1 0 291139 0 0 0 18228 770 0 0 25 0 1 0 746821342 77582336 17748 4294967295 134512640 134714508 3221221792 3221220236 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18941 17748 1111 63 0 18878 0
vsize: 75764
[startup+200.011 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 28367
Raw data (stat): 28367 (bsolo_lpr_cuts) R 28366 7876 7672 0 -1 0 315439 0 0 0 19170 828 0 0 25 0 1 0 746821342 81571840 18704 4294967295 134512640 134714508 3221221792 3221220236 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19915 18704 1111 63 0 19852 0
vsize: 79660
[startup+210.011 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 28367
Raw data (stat): 28367 (bsolo_lpr_cuts) R 28366 7876 7672 0 -1 0 340778 0 0 0 20116 882 0 0 25 0 1 0 746821342 86765568 19973 4294967295 134512640 134714508 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21183 19973 1111 63 0 21120 0
vsize: 84732
[startup+220.012 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 28367
Raw data (stat): 28367 (bsolo_lpr_cuts) R 28366 7876 7672 0 -1 0 364774 0 0 0 21054 944 0 0 25 0 1 0 746821342 91480064 21062 4294967295 134512640 134714508 3221221792 3221219996 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22334 21062 1111 63 0 22271 0
vsize: 89336
[startup+230.012 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 28367
Raw data (stat): 28367 (bsolo_lpr_cuts) R 28366 7876 7672 0 -1 0 388007 0 0 0 22000 998 0 0 25 0 1 0 746821342 96456704 22306 4294967295 134512640 134714508 3221221792 3221220176 1074153806 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23549 22306 1111 63 0 23486 0
vsize: 94196
[startup+240.012 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 28367
Raw data (stat): 28367 (bsolo_lpr_cuts) R 28366 7876 7672 0 -1 0 403979 0 0 0 22961 1037 0 0 25 0 1 0 746821342 102768640 23776 4294967295 134512640 134714508 3221221792 3221217924 1075112444 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25090 23776 1111 63 0 25027 0
vsize: 100360
[startup+250.012 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 28367
Raw data (stat): 28367 (bsolo_lpr_cuts) R 28366 7876 7672 0 -1 0 412610 0 0 0 23942 1056 0 0 25 0 1 0 746821342 99893248 23163 4294967295 134512640 134714508 3221221792 3221220096 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24388 23163 1111 63 0 24325 0
vsize: 97552
[startup+260.012 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 28367
Raw data (stat): 28367 (bsolo_lpr_cuts) R 28366 7876 7672 0 -1 0 421669 0 0 0 24921 1078 0 0 25 0 1 0 746821342 101330944 23280 4294967295 134512640 134714508 3221221792 3221218832 1075971404 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24499 23274 1111 63 0 24436 0
vsize: 98956
[startup+270.012 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 28367
Raw data (stat): 28367 (bsolo_lpr_cuts) R 28366 7876 7672 0 -1 0 464242 0 0 0 25824 1175 0 0 25 0 1 0 746821342 106262528 24595 4294967295 134512640 134714508 3221221792 3221219960 1077377425 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25943 24595 1111 63 0 25880 0
vsize: 103772
[startup+280.013 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 28367
Raw data (stat): 28367 (bsolo_lpr_cuts) R 28366 7876 7672 0 -1 0 483520 0 0 0 26781 1217 0 0 25 0 1 0 746821342 108630016 25172 4294967295 134512640 134714508 3221221792 3221219792 1074918533 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26521 25172 1111 63 0 26458 0
vsize: 106084
[startup+290.013 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 28367
Raw data (stat): 28367 (bsolo_lpr_cuts) R 28366 7876 7672 0 -1 0 489439 0 0 0 27770 1229 0 0 25 0 1 0 746821342 109260800 25327 4294967295 134512640 134714508 3221221792 3221220568 134542401 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26675 25327 1111 63 0 26612 0
vsize: 106700
[startup+300.013 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 28367
Raw data (stat): 28367 (bsolo_lpr_cuts) R 28366 7876 7672 0 -1 0 521241 0 0 0 28702 1296 0 0 25 0 1 0 746821342 112709632 26172 4294967295 134512640 134714508 3221221792 3221220512 134622889 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27517 26172 1111 63 0 27454 0
vsize: 110068
[startup+310.013 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 28367
Raw data (stat): 28367 (bsolo_lpr_cuts) R 28366 7876 7672 0 -1 0 562425 0 0 0 29618 1381 0 0 25 0 1 0 746821342 118497280 27370 4294967295 134512640 134714508 3221221792 3221217952 1075095166 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28930 27371 1111 63 0 28867 0
vsize: 115720
[startup+320.014 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 28367
Raw data (stat): 28367 (bsolo_lpr_cuts) R 28366 7876 7672 0 -1 0 589029 0 0 0 30561 1438 0 0 25 0 1 0 746821342 121274368 28071 4294967295 134512640 134714508 3221221792 3221217952 1075091317 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29608 28074 1111 63 0 29545 0
vsize: 118432
[startup+330.014 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 28367
Raw data (stat): 28367 (bsolo_lpr_cuts) R 28366 7876 7672 0 -1 0 631427 0 0 0 31470 1528 0 0 25 0 1 0 746821342 125521920 29310 4294967295 134512640 134714508 3221221792 3221220188 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30645 29310 1111 63 0 30582 0
vsize: 122580
[startup+340.014 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 28367
Raw data (stat): 28367 (bsolo_lpr_cuts) R 28366 7876 7672 0 -1 0 671358 0 0 0 32390 1609 0 0 25 0 1 0 746821342 130912256 30432 4294967295 134512640 134714508 3221221792 3221217952 1075095166 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31961 30435 1111 63 0 31898 0
vsize: 127844
[startup+350.014 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 28367
Raw data (stat): 28367 (bsolo_lpr_cuts) R 28366 7876 7672 0 -1 0 677968 0 0 0 33376 1623 0 0 25 0 1 0 746821342 131207168 30720 4294967295 134512640 134714508 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32033 30720 1111 63 0 31970 0
vsize: 128132
[startup+360.014 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 28367
Raw data (stat): 28367 (bsolo_lpr_cuts) R 28366 7876 7672 0 -1 0 700666 0 0 0 34327 1672 0 0 25 0 1 0 746821342 133971968 31128 4294967295 134512640 134714508 3221221792 3221218776 1074831929 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32708 31136 1111 63 0 32645 0
vsize: 130832
[startup+370.015 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 28367
Raw data (stat): 28367 (bsolo_lpr_cuts) R 28366 7876 7672 0 -1 0 743101 0 0 0 35238 1761 0 0 25 0 1 0 746821342 137625600 32249 4294967295 134512640 134714508 3221221792 3221220204 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33600 32252 1111 63 0 33537 0
vsize: 134400
[startup+380.014 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 28367
Raw data (stat): 28367 (bsolo_lpr_cuts) R 28366 7876 7672 0 -1 0 786985 0 0 0 36143 1857 0 0 25 0 1 0 746821342 147574784 33888 4294967295 134512640 134714508 3221221792 3221217952 1075095166 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36029 33890 1111 63 0 35966 0
vsize: 144116
[startup+390.014 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 28367
Raw data (stat): 28367 (bsolo_lpr_cuts) R 28366 7876 7672 0 -1 0 828079 0 0 0 37057 1943 0 0 25 0 1 0 746821342 152809472 35005 4294967295 134512640 134714508 3221221792 3221218320 1075119996 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 37307 35005 1111 63 0 37244 0
vsize: 149228
[startup+400.016 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 28367
Raw data (stat): 28367 (bsolo_lpr_cuts) R 28366 7876 7672 0 -1 0 870086 0 0 0 37967 2033 0 0 25 0 1 0 746821342 157028352 36095 4294967295 134512640 134714508 3221221792 3221220236 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38337 36095 1111 63 0 38274 0
vsize: 153348
[startup+410.015 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 28367
Raw data (stat): 28367 (bsolo_lpr_cuts) R 28366 7876 7672 0 -1 0 913284 0 0 0 38873 2127 0 0 25 0 1 0 746821342 163184640 37301 4294967295 134512640 134714508 3221221792 3221217952 1075095166 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39840 37304 1111 63 0 39777 0
vsize: 159360
[startup+420.015 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 28367
Raw data (stat): 28367 (bsolo_lpr_cuts) R 28366 7876 7672 0 -1 0 956303 0 0 0 39783 2217 0 0 25 0 1 0 746821342 167641088 38527 4294967295 134512640 134714508 3221221792 3221219660 1074206158 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40928 38527 1111 63 0 40865 0
vsize: 163712
[startup+430.015 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 28367
Raw data (stat): 28367 (bsolo_lpr_cuts) R 28366 7876 7672 0 -1 0 999172 0 0 0 40694 2307 0 0 25 0 1 0 746821342 172642304 39750 4294967295 134512640 134714508 3221221792 3221220172 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42149 39750 1111 63 0 42086 0
vsize: 168596
[startup+440.015 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 28367
Raw data (stat): 28367 (bsolo_lpr_cuts) R 28366 7876 7672 0 -1 0 1042132 0 0 0 41600 2401 0 0 25 0 1 0 746821342 178003968 40986 4294967295 134512640 134714508 3221221792 3221220120 1077799185 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43458 40986 1111 63 0 43395 0
vsize: 173832
[startup+450.015 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 28367
Raw data (stat): 28367 (bsolo_lpr_cuts) R 28366 7876 7672 0 -1 0 1084245 0 0 0 42515 2486 0 0 25 0 1 0 746821342 182882304 42184 4294967295 134512640 134714508 3221221792 3221220252 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44649 42184 1111 63 0 44586 0
vsize: 178596
[startup+460.015 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 28367
Raw data (stat): 28367 (bsolo_lpr_cuts) R 28366 7876 7672 0 -1 0 1122110 0 0 0 43441 2559 0 0 25 0 1 0 746821342 187080704 43191 4294967295 134512640 134714508 3221221792 3221219576 1077410205 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 45674 43191 1111 63 0 45611 0
vsize: 182696
[startup+470.016 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 28367
Raw data (stat): 28367 (bsolo_lpr_cuts) R 28366 7876 7672 0 -1 0 1165681 0 0 0 44342 2658 0 0 25 0 1 0 746821342 194236416 44647 4294967295 134512640 134714508 3221221792 3221217952 1075095166 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 47421 44660 1111 63 0 47358 0
vsize: 189684
[startup+480.015 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 28367
Raw data (stat): 28367 (bsolo_lpr_cuts) R 28366 7876 7672 0 -1 0 1208772 0 0 0 45253 2748 0 0 25 0 1 0 746821342 199180288 45797 4294967295 134512640 134714508 3221221792 3221218780 1077404742 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 48628 45797 1111 63 0 48565 0
vsize: 194512
[startup+490.015 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 28367
Raw data (stat): 28367 (bsolo_lpr_cuts) R 28366 7876 7672 0 -1 0 1252149 0 0 0 46160 2841 0 0 25 0 1 0 746821342 204161024 47032 4294967295 134512640 134714508 3221221792 3221217952 1075091317 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 49664 47000 1111 63 0 49601 0
vsize: 199376
[startup+500.017 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 28367
Raw data (stat): 28367 (bsolo_lpr_cuts) R 28366 7876 7672 0 -1 0 1295275 0 0 0 47072 2929 0 0 25 0 1 0 746821342 208293888 48204 4294967295 134512640 134714508 3221221792 3221220364 134538944 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 50853 48204 1111 63 0 50790 0
vsize: 203412
[startup+510.016 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 28367
Raw data (stat): 28367 (bsolo_lpr_cuts) R 28366 7876 7672 0 -1 0 1338424 0 0 0 47985 3016 0 0 25 0 1 0 746821342 214532096 49398 4294967295 134512640 134714508 3221221792 3221218416 1075895363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 52136 49392 1111 63 0 52073 0
vsize: 209504
[startup+520.016 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 28367
Raw data (stat): 28367 (bsolo_lpr_cuts) R 28366 7876 7672 0 -1 0 1381852 0 0 0 48894 3108 0 0 25 0 1 0 746821342 218595328 50605 4294967295 134512640 134714508 3221221792 3221220528 134528943 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 53368 50605 1111 63 0 53305 0
vsize: 213472
[startup+530.016 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 28367
Raw data (stat): 28367 (bsolo_lpr_cuts) R 28366 7876 7672 0 -1 0 1423471 0 0 0 49806 3196 0 0 25 0 1 0 746821342 223133696 51745 4294967295 134512640 134714508 3221221792 3221220188 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 54536 51745 1111 63 0 54473 0
vsize: 217904
[startup+540.016 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 28367
Raw data (stat): 28367 (bsolo_lpr_cuts) R 28366 7876 7672 0 -1 0 1466349 0 0 0 50720 3282 0 0 25 0 1 0 746821342 229482496 53077 4294967295 134512640 134714508 3221221792 3221218560 1076083427 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 56026 53083 1111 63 0 55963 0
vsize: 224104
[startup+550.016 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 28367
Raw data (stat): 28367 (bsolo_lpr_cuts) R 28366 7876 7672 0 -1 0 1508429 0 0 0 51629 3373 0 0 25 0 1 0 746821342 232947712 54199 4294967295 134512640 134714508 3221221792 3221220144 1074142992 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 56872 54199 1111 63 0 56809 0
vsize: 227488
[startup+560.016 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 28367
Raw data (stat): 28367 (bsolo_lpr_cuts) R 28366 7876 7672 0 -1 0 1547015 0 0 0 52543 3459 0 0 25 0 1 0 746821342 237830144 55361 4294967295 134512640 134714508 3221221792 3221220192 1074118797 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 58064 55361 1111 63 0 58001 0
vsize: 232256
[startup+570.017 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 28367
Raw data (stat): 28367 (bsolo_lpr_cuts) R 28366 7876 7672 0 -1 0 1570791 0 0 0 53488 3514 0 0 25 0 1 0 746821342 240730112 56083 4294967295 134512640 134714508 3221221792 3221219792 1074918591 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 58772 56083 1111 63 0 58709 0
vsize: 235088
[startup+580.017 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 28367
Raw data (stat): 28367 (bsolo_lpr_cuts) R 28366 7876 7672 0 -1 0 1588095 0 0 0 54447 3556 0 0 25 0 1 0 746821342 241528832 56310 4294967295 134512640 134714508 3221221792 3221220528 134556870 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 58967 56310 1111 63 0 58904 0
vsize: 235868
[startup+590.017 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 28368
Raw data (stat): 28367 (bsolo_lpr_cuts) R 28366 7876 7672 0 -1 0 1603449 0 0 0 55407 3594 0 0 25 0 1 0 746821342 243609600 56827 4294967295 134512640 134714508 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 59475 56827 1111 63 0 59412 0
vsize: 237900
[startup+600.018 s]
Raw data (loadavg): 1.23 1.05 1.01 2/59 28410
Raw data (stat): 28367 (bsolo_lpr_cuts) R 28366 7876 7672 0 -1 0 1614205 0 0 0 56379 3623 0 0 25 0 1 0 746821342 243834880 56863 4294967295 134512640 134714508 3221221792 3221220236 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 59530 56863 1111 63 0 59467 0
vsize: 238120
[startup+610.198 s]
Raw data (loadavg): 1.35 1.08 1.02 2/55 28420
Raw data (stat): 28367 (bsolo_lpr_cuts) R 28366 7876 7672 0 -1 0 1643517 0 0 0 57336 3684 0 0 25 0 1 0 746821342 247472128 57595 4294967295 134512640 134714508 3221221792 3221217952 1075095166 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 60418 57597 1111 63 0 60355 0
vsize: 241672
[startup+620.199 s]
Raw data (loadavg): 1.29 1.08 1.02 2/55 28420
Raw data (stat): 28367 (bsolo_lpr_cuts) R 28366 7876 7672 0 -1 0 1681368 0 0 0 58250 3770 0 0 25 0 1 0 746821342 250601472 58370 4294967295 134512640 134714508 3221221792 3221217952 1075091317 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 61182 58371 1111 63 0 61119 0
vsize: 244728
[startup+630.272 s]
Raw data (loadavg): 1.25 1.07 1.02 2/55 28420
Raw data (stat): 28367 (bsolo_lpr_cuts) R 28366 7876 7672 0 -1 0 1720426 0 0 0 59178 3849 0 0 25 0 1 0 746821342 253136896 59232 4294967295 134512640 134714508 3221221792 3221220236 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 61801 59232 1111 63 0 61738 0
vsize: 247204
[startup+640.273 s]
Raw data (loadavg): 1.21 1.07 1.02 2/55 28420
Raw data (stat): 28367 (bsolo_lpr_cuts) R 28366 7876 7672 0 -1 0 1762685 0 0 0 60087 3941 0 0 25 0 1 0 746821342 257863680 60342 4294967295 134512640 134714508 3221221792 3221219616 1075824332 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 62955 60342 1111 63 0 62892 0
vsize: 251820
[startup+650.273 s]
Raw data (loadavg): 1.18 1.07 1.02 2/55 28420
Raw data (stat): 28367 (bsolo_lpr_cuts) R 28366 7876 7672 0 -1 0 1805091 0 0 0 60996 4032 0 0 25 0 1 0 746821342 261992448 61399 4294967295 134512640 134714508 3221221792 3221219904 1074867337 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 63963 61399 1111 63 0 63900 0
vsize: 255852
[startup+660.272 s]
Raw data (loadavg): 1.15 1.06 1.02 2/55 28420
Raw data (stat): 28367 (bsolo_lpr_cuts) R 28366 7876 7672 0 -1 0 1847248 0 0 0 61911 4117 0 0 25 0 1 0 746821342 266858496 62441 4294967295 134512640 134714508 3221221792 3221217952 1075091317 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 65151 62442 1111 63 0 65088 0
vsize: 260604
[startup+670.273 s]
Raw data (loadavg): 1.12 1.06 1.01 2/55 28422
Raw data (stat): 28367 (bsolo_lpr_cuts) R 28366 7876 7672 0 -1 0 1885174 0 0 0 62832 4196 0 0 25 0 1 0 746821342 269246464 63222 4294967295 134512640 134714508 3221221792 3221220252 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 65734 63222 1111 63 0 65671 0
vsize: 262936
[startup+680.273 s]
Raw data (loadavg): 1.10 1.06 1.01 2/55 28422
Raw data (stat): 28367 (bsolo_lpr_cuts) R 28366 7876 7672 0 -1 0 1928174 0 0 0 63746 4282 0 0 25 0 1 0 746821342 279957504 64553 4294967295 134512640 134714508 3221221792 3221220176 1074153660 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 68349 64553 1111 63 0 68286 0
vsize: 273396
[startup+690.273 s]
Raw data (loadavg): 1.09 1.06 1.01 2/55 28422
Raw data (stat): 28367 (bsolo_lpr_cuts) R 28366 7876 7672 0 -1 0 1970532 0 0 0 64662 4366 0 0 25 0 1 0 746821342 285085696 65527 4294967295 134512640 134714508 3221221792 3221220120 1077799185 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69541 65525 1111 63 0 69478 0
vsize: 278404
[startup+700.274 s]
Raw data (loadavg): 1.07 1.05 1.01 2/55 28422
Raw data (stat): 28367 (bsolo_lpr_cuts) R 28366 7876 7672 0 -1 0 2012677 0 0 0 65572 4457 0 0 25 0 1 0 746821342 288862208 66441 4294967295 134512640 134714508 3221221792 3221220188 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 70523 66441 1111 63 0 70460 0
vsize: 282092
[startup+710.275 s]
Raw data (loadavg): 1.06 1.05 1.01 2/55 28422
Raw data (stat): 28367 (bsolo_lpr_cuts) R 28366 7876 7672 0 -1 0 2054886 0 0 0 66480 4549 0 0 25 0 1 0 746821342 294100992 67639 4294967295 134512640 134714508 3221221792 3221220220 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 71802 67639 1111 63 0 71739 0
vsize: 287208
[startup+720.276 s]
Raw data (loadavg): 1.05 1.05 1.01 2/55 28422
Raw data (stat): 28367 (bsolo_lpr_cuts) R 28366 7876 7672 0 -1 0 2094145 0 0 0 67398 4631 0 0 25 0 1 0 746821342 300290048 68984 4294967295 134512640 134714508 3221221792 3221220188 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 73313 68984 1111 63 0 73250 0
vsize: 293252
[startup+730.276 s]
Raw data (loadavg): 1.04 1.05 1.01 2/55 28422
Raw data (stat): 28367 (bsolo_lpr_cuts) R 28366 7876 7672 0 -1 0 2124939 0 0 0 68333 4696 0 0 25 0 1 0 746821342 304693248 69933 4294967295 134512640 134714508 3221221792 3221219804 134697487 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 74388 69933 1111 63 0 74325 0
vsize: 297552
[startup+740.276 s]
Raw data (loadavg): 1.04 1.05 1.01 2/55 28422
Raw data (stat): 28367 (bsolo_lpr_cuts) R 28366 7876 7672 0 -1 0 2164037 0 0 0 69248 4782 0 0 25 0 1 0 746821342 309542912 70938 4294967295 134512640 134714508 3221221792 3221219792 1074056578 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 75572 70938 1111 63 0 75509 0
vsize: 302288
[startup+750.277 s]
Raw data (loadavg): 1.03 1.04 1.01 2/55 28422
Raw data (stat): 28367 (bsolo_lpr_cuts) R 28366 7876 7672 0 -1 0 2196815 0 0 0 70176 4854 0 0 25 0 1 0 746821342 313606144 71743 4294967295 134512640 134714508 3221221792 3221219324 1077404742 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 76564 71743 1111 63 0 76501 0
vsize: 306256
[startup+760.277 s]
Raw data (loadavg): 1.03 1.04 1.01 2/55 28422
Raw data (stat): 28367 (bsolo_lpr_cuts) R 28366 7876 7672 0 -1 0 2218549 0 0 0 71132 4898 0 0 25 0 1 0 746821342 315555840 72412 4294967295 134512640 134714508 3221221792 3221220504 134543144 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 77040 72412 1111 63 0 76977 0
vsize: 308160
[startup+770.278 s]
Raw data (loadavg): 1.02 1.04 1.00 2/55 28422
Raw data (stat): 28367 (bsolo_lpr_cuts) R 28366 7876 7672 0 -1 0 2219594 0 0 0 72129 4901 0 0 25 0 1 0 746821342 315486208 72395 4294967295 134512640 134714508 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 77023 72395 1111 63 0 76960 0
vsize: 308092
[startup+780.279 s]
Raw data (loadavg): 1.02 1.04 1.00 2/55 28422
Raw data (stat): 28367 (bsolo_lpr_cuts) R 28366 7876 7672 0 -1 0 2244927 0 0 0 73076 4955 0 0 25 0 1 0 746821342 318558208 73073 4294967295 134512640 134714508 3221221792 3221220236 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 77833 73073 1111 63 0 77770 0
vsize: 311092
[startup+790.278 s]
Raw data (loadavg): 1.01 1.04 1.00 2/55 28422
Raw data (stat): 28367 (bsolo_lpr_cuts) R 28366 7876 7672 0 -1 0 2274758 0 0 0 74010 5021 0 0 25 0 1 0 746821342 321724416 73879 4294967295 134512640 134714508 3221221792 3221219996 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 78546 73879 1111 63 0 78483 0
vsize: 314184
[startup+800.278 s]
Raw data (loadavg): 1.01 1.04 1.00 2/55 28422
Raw data (stat): 28367 (bsolo_lpr_cuts) R 28366 7876 7672 0 -1 0 2290135 0 0 0 74975 5056 0 0 25 0 1 0 746821342 323928064 74381 4294967295 134512640 134714508 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 79084 74381 1111 63 0 79021 0
vsize: 316336
[startup+810.278 s]
Raw data (loadavg): 1.01 1.03 1.00 2/55 28422
Raw data (stat): 28367 (bsolo_lpr_cuts) R 28366 7876 7672 0 -1 0 2315094 0 0 0 75923 5108 0 0 25 0 1 0 746821342 326471680 74941 4294967295 134512640 134714508 3221221792 3221220220 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 79705 74941 1111 63 0 79642 0
vsize: 318820
[startup+820.279 s]
Raw data (loadavg): 1.01 1.03 1.00 2/55 28422
Raw data (stat): 28367 (bsolo_lpr_cuts) R 28366 7876 7672 0 -1 0 2335994 0 0 0 76877 5154 0 0 25 0 1 0 746821342 329711616 75698 4294967295 134512640 134714508 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 80496 75698 1111 63 0 80433 0
vsize: 321984
[startup+830.279 s]
Raw data (loadavg): 1.01 1.03 1.00 2/55 28422
Raw data (stat): 28367 (bsolo_lpr_cuts) R 28366 7876 7672 0 -1 0 2337201 0 0 0 77875 5156 0 0 25 0 1 0 746821342 329515008 75661 4294967295 134512640 134714508 3221221792 3221220584 134543552 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 80448 75661 1111 63 0 80385 0
vsize: 321792
[startup+840.279 s]
Raw data (loadavg): 1.00 1.03 1.00 2/55 28422
Raw data (stat): 28367 (bsolo_lpr_cuts) R 28366 7876 7672 0 -1 0 2347464 0 0 0 78851 5180 0 0 25 0 1 0 746821342 330104832 75786 4294967295 134512640 134714508 3221221792 3221219520 1075828444 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 80592 75786 1111 63 0 80529 0
vsize: 322368
[startup+850.28 s]
Raw data (loadavg): 1.00 1.03 1.00 2/55 28422
Raw data (stat): 28367 (bsolo_lpr_cuts) R 28366 7876 7672 0 -1 0 2362809 0 0 0 79816 5216 0 0 25 0 1 0 746821342 330555392 75916 4294967295 134512640 134714508 3221221792 3221218912 1074865100 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 80702 75916 1111 63 0 80639 0
vsize: 322808
[startup+860.28 s]
Raw data (loadavg): 1.00 1.03 1.00 2/55 28422
Raw data (stat): 28367 (bsolo_lpr_cuts) R 28366 7876 7672 0 -1 0 2374285 0 0 0 80789 5243 0 0 25 0 1 0 746821342 331546624 76108 4294967295 134512640 134714508 3221221792 3221220120 1077799185 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 80884 76106 1111 63 0 80821 0
vsize: 323776
[startup+870.281 s]
Raw data (loadavg): 1.00 1.03 1.00 2/55 28422
Raw data (stat): 28367 (bsolo_lpr_cuts) R 28366 7876 7672 0 -1 0 2385077 0 0 0 81764 5268 0 0 25 0 1 0 746821342 332496896 76374 4294967295 134512640 134714508 3221221792 3221219792 1074918591 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 81176 76374 1111 63 0 81113 0
vsize: 324704
[startup+880.281 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 28422
Raw data (stat): 28367 (bsolo_lpr_cuts) R 28366 7876 7672 0 -1 0 2393780 0 0 0 82745 5288 0 0 25 0 1 0 746821342 332500992 76408 4294967295 134512640 134714508 3221221792 3221220096 1074153773 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 81177 76408 1111 63 0 81114 0
vsize: 324708
[startup+890.281 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 28422
Raw data (stat): 28367 (bsolo_lpr_cuts) R 28366 7876 7672 0 -1 0 2405986 0 0 0 83718 5314 0 0 25 0 1 0 746821342 334729216 76967 4294967295 134512640 134714508 3221221792 3221220048 1074153773 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 81721 76967 1111 63 0 81658 0
vsize: 326884
[startup+900.282 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 28422
Raw data (stat): 28367 (bsolo_lpr_cuts) R 28366 7876 7672 0 -1 0 2411937 0 0 0 84707 5326 0 0 25 0 1 0 746821342 334827520 76991 4294967295 134512640 134714508 3221221792 3221220508 134558493 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 81745 76991 1111 63 0 81682 0
vsize: 326980
[startup+910.281 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 28422
Raw data (stat): 28367 (bsolo_lpr_cuts) R 28366 7876 7672 0 -1 0 2411937 0 0 0 85707 5326 0 0 25 0 1 0 746821342 334827520 76991 4294967295 134512640 134714508 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 81745 76991 1111 63 0 81682 0
vsize: 326980
[startup+920.283 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 28422
Raw data (stat): 28367 (bsolo_lpr_cuts) R 28366 7876 7672 0 -1 0 2411937 0 0 0 86707 5326 0 0 25 0 1 0 746821342 334827520 76991 4294967295 134512640 134714508 3221221792 3221220584 134543552 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 81745 76991 1111 63 0 81682 0
vsize: 326980
[startup+930.283 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 28424
Raw data (stat): 28367 (bsolo_lpr_cuts) R 28366 7876 7672 0 -1 0 2417764 0 0 0 87693 5340 0 0 25 0 1 0 746821342 334843904 76963 4294967295 134512640 134714508 3221221792 3221219792 1074918576 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 81749 76963 1111 63 0 81686 0
vsize: 326996
[startup+940.282 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 28424
Raw data (stat): 28367 (bsolo_lpr_cuts) R 28366 7876 7672 0 -1 0 2435596 0 0 0 88656 5378 0 0 25 0 1 0 746821342 336134144 77238 4294967295 134512640 134714508 3221221792 3221220188 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 82064 77238 1111 63 0 82001 0
vsize: 328256
[startup+950.283 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 28424
Raw data (stat): 28367 (bsolo_lpr_cuts) R 28366 7876 7672 0 -1 0 2463447 0 0 0 89595 5439 0 0 25 0 1 0 746821342 338063360 77760 4294967295 134512640 134714508 3221221792 3221220588 134536922 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 82535 77760 1111 63 0 82472 0
vsize: 330140
[startup+960.283 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 28424
Raw data (stat): 28367 (bsolo_lpr_cuts) R 28366 7876 7672 0 -1 0 2495848 0 0 0 90525 5509 0 0 25 0 1 0 746821342 342351872 78393 4294967295 134512640 134714508 3221221792 3221218368 1076047446 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 83582 78393 1111 63 0 83519 0
vsize: 334328
[startup+970.284 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 28424
Raw data (stat): 28367 (bsolo_lpr_cuts) R 28366 7876 7672 0 -1 0 2521946 0 0 0 91464 5569 0 0 25 0 1 0 746821342 341893120 78654 4294967295 134512640 134714508 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 83470 78654 1111 63 0 83407 0
vsize: 333880
[startup+980.284 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 28424
Raw data (stat): 28367 (bsolo_lpr_cuts) R 28366 7876 7672 0 -1 0 2540293 0 0 0 92420 5614 0 0 25 0 1 0 746821342 342278144 78752 4294967295 134512640 134714508 3221221792 3221220588 134536888 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 83564 78752 1111 63 0 83501 0
vsize: 334256
[startup+990.284 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 28424
Raw data (stat): 28367 (bsolo_lpr_cuts) R 28366 7876 7672 0 -1 0 2559127 0 0 0 93377 5658 0 0 25 0 1 0 746821342 343732224 79084 4294967295 134512640 134714508 3221221792 3221219952 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 83919 79084 1111 63 0 83856 0
vsize: 335676
[startup+1000.28 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 28424
Raw data (stat): 28367 (bsolo_lpr_cuts) R 28366 7876 7672 0 -1 0 2563805 0 0 0 94367 5667 0 0 25 0 1 0 746821342 343646208 79090 4294967295 134512640 134714508 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 83898 79090 1111 63 0 83835 0
vsize: 335592
[startup+1010.28 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 28424
Raw data (stat): 28367 (bsolo_lpr_cuts) R 28366 7876 7672 0 -1 0 2577510 0 0 0 95337 5698 0 0 25 0 1 0 746821342 344510464 79292 4294967295 134512640 134714508 3221221792 3221219792 1074918597 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 84109 79292 1111 63 0 84046 0
vsize: 336436
[startup+1020.29 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 28424
Raw data (stat): 28367 (bsolo_lpr_cuts) R 28366 7876 7672 0 -1 0 2601808 0 0 0 96281 5754 0 0 25 0 1 0 746821342 345640960 79495 4294967295 134512640 134714508 3221221792 3221220080 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 84385 79495 1111 63 0 84322 0
vsize: 337540
[startup+1030.29 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 28424
Raw data (stat): 28367 (bsolo_lpr_cuts) R 28366 7876 7672 0 -1 0 2620612 0 0 0 97237 5798 0 0 25 0 1 0 746821342 346591232 79749 4294967295 134512640 134714508 3221221792 3221220128 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 84617 79749 1111 63 0 84554 0
vsize: 338468
[startup+1040.29 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 28424
Raw data (stat): 28367 (bsolo_lpr_cuts) R 28366 7876 7672 0 -1 0 2645797 0 0 0 98176 5859 0 0 25 0 1 0 746821342 349671424 79988 4294967295 134512640 134714508 3221221792 3221219432 1075850512 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 85369 79988 1111 63 0 85306 0
vsize: 341476
[startup+1050.29 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 28424
Raw data (stat): 28367 (bsolo_lpr_cuts) R 28366 7876 7672 0 -1 0 2648652 0 0 0 99169 5867 0 0 25 0 1 0 746821342 348737536 80282 4294967295 134512640 134714508 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 85141 80282 1111 63 0 85078 0
vsize: 340564
[startup+1060.29 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 28424
Raw data (stat): 28367 (bsolo_lpr_cuts) R 28366 7876 7672 0 -1 0 2650091 0 0 0 100166 5870 0 0 25 0 1 0 746821342 348065792 80152 4294967295 134512640 134714508 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 84977 80152 1111 63 0 84914 0
vsize: 339908
[startup+1070.29 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 28424
Raw data (stat): 28367 (bsolo_lpr_cuts) R 28366 7876 7672 0 -1 0 2655089 0 0 0 101155 5881 0 0 25 0 1 0 746821342 348442624 80187 4294967295 134512640 134714508 3221221792 3221220176 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 85069 80187 1111 63 0 85006 0
vsize: 340276
[startup+1080.29 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 28424
Raw data (stat): 28367 (bsolo_lpr_cuts) R 28366 7876 7672 0 -1 0 2656747 0 0 0 102151 5885 0 0 25 0 1 0 746821342 348061696 80094 4294967295 134512640 134714508 3221221792 3221220096 1074153822 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 84976 80094 1111 63 0 84913 0
vsize: 339904
[startup+1090.29 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 28424
Raw data (stat): 28367 (bsolo_lpr_cuts) R 28366 7876 7672 0 -1 0 2661512 0 0 0 103140 5897 0 0 25 0 1 0 746821342 348430336 80184 4294967295 134512640 134714508 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 85066 80184 1111 63 0 85003 0
vsize: 340264
[startup+1100.29 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 28424
Raw data (stat): 28367 (bsolo_lpr_cuts) R 28366 7876 7672 0 -1 0 2679738 0 0 0 104101 5935 0 0 25 0 1 0 746821342 351617024 80432 4294967295 134512640 134714508 3221221792 3221217952 1075091317 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 85844 80432 1111 63 0 85781 0
vsize: 343376
[startup+1110.29 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 28424
Raw data (stat): 28367 (bsolo_lpr_cuts) R 28366 7876 7672 0 -1 0 2708539 0 0 0 105042 5994 0 0 25 0 1 0 746821342 352022528 81083 4294967295 134512640 134714508 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 85943 81083 1111 63 0 85880 0
vsize: 343772
[startup+1120.29 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 28424
Raw data (stat): 28367 (bsolo_lpr_cuts) R 28366 7876 7672 0 -1 0 2741792 0 0 0 105971 6066 0 0 25 0 1 0 746821342 354762752 81699 4294967295 134512640 134714508 3221221792 3221219904 1074867358 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 86612 81699 1111 63 0 86549 0
vsize: 346448
[startup+1130.29 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 28424
Raw data (stat): 28367 (bsolo_lpr_cuts) R 28366 7876 7672 0 -1 0 2784832 0 0 0 106878 6159 0 0 25 0 1 0 746821342 360685568 82666 4294967295 134512640 134714508 3221221792 3221217952 1075091317 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 88058 82667 1111 63 0 87995 0
vsize: 352232
[startup+1140.29 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 28424
Raw data (stat): 28367 (bsolo_lpr_cuts) R 28366 7876 7672 0 -1 0 2827268 0 0 0 107778 6259 0 0 25 0 1 0 746821342 362004480 83483 4294967295 134512640 134714508 3221221792 3221219792 1074918597 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 88380 83483 1111 63 0 88317 0
vsize: 353520
[startup+1150.29 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 28424
Raw data (stat): 28367 (bsolo_lpr_cuts) R 28366 7876 7672 0 -1 0 2856691 0 0 0 108711 6327 0 0 25 0 1 0 746821342 366387200 84056 4294967295 134512640 134714508 3221221792 3221217952 1075091317 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 89450 84057 1111 63 0 89387 0
vsize: 357800
[startup+1160.29 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 28424
Raw data (stat): 28367 (bsolo_lpr_cuts) R 28366 7876 7672 0 -1 0 2886764 0 0 0 109643 6395 0 0 25 0 1 0 746821342 367177728 84480 4294967295 134512640 134714508 3221221792 3221219112 1075006769 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 89787 84480 1111 63 0 89724 0
vsize: 358572
[startup+1170.29 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 28424
Raw data (stat): 28367 (bsolo_lpr_cuts) R 28366 7876 7672 0 -1 0 2900473 0 0 0 110613 6425 0 0 25 0 1 0 746821342 369426432 84977 4294967295 134512640 134714508 3221221792 3221219792 1074918583 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 90192 84977 1111 63 0 90129 0
vsize: 360768
[startup+1175.11 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 28424
Raw data (stat): 28367 (bsolo_lpr_cuts) R 28366 7876 7672 0 -1 0 2900473 0 0 0 110613 6425 0 0 25 0 1 0 746821342 369426432 84977 4294967295 134512640 134714508 3221221792 3221219792 1074918583 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 90192 84977 1111 63 0 90129 0
vsize: 0

Child status: 10
Real time (s): 1175.1
CPU time (s): 1175.2
CPU user time (s): 1110.74
CPU system time (s): 64.4542
CPU usage (%): 100.008
Max. virtual memory (Kb): 360768
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	1312
#### END VERIFIER DATA ####