PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/submitted/een/normalized-p0282.opb
MD5SUM	dd62132555621025f45a5a6099c90742
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	258411
Optimality of the best value was proved	NO
Number of terms in the objective function	282
Biggest coefficient in the objective function	160646
Number of bits for the biggest coefficient in the objective function	18
Sum of the numbers in the objective function	1302615
Number of bits of the sum of numbers in the objective function	21
Biggest number in a constraint	160646
Number of bits of the biggest number in a constraint	18
Biggest sum of numbers in a constraint	1302615
Number of bits of the biggest sum of numbers	21
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.01884
Number of variables	282
Total number of constraints	221
Number of constraints which are clauses	177
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	44
Minimum length of a constraint	2
Maximum length of a constraint	57
Trace number 25082

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-16 15:13:27 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=5045 boxname=wulflinc31 idbench=389 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  dd62132555621025f45a5a6099c90742  /oldhome/oroussel/tmp/wulflinc31/normalized-p0282.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-p0282.opb
IDLAUNCH: 5045
/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:        791316 kB
Buffers:         49288 kB
Cached:         171800 kB
SwapCached:       1952 kB
Active:         180264 kB
Inactive:        44024 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        791064 kB
SwapTotal:     2097892 kB
SwapFree:      2095228 kB
Dirty:             188 kB
Writeback:           0 kB
Mapped:           5380 kB
Slab:            13448 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-16 15:33:03 (client local time) WITH STATUS 10 IN 1175.07 SECONDS
stats: 5045 0 1175.07 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 282 variables and 221 constraints.
c After prepocess the problem consists of 282 variables and 221 constraints.
c preprocess terminated 0.186 s
c Initial Lower Bound: 55117
c Lower Bound Elapsed time: 0.0368
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 500458 @ 3.659
c NEW SOLUTION FOUND: 363047 @ 3.66
c NEW SOLUTION FOUND: 362184 @ 3.669
c NEW SOLUTION FOUND: 355241 @ 3.684
c NEW SOLUTION FOUND: 343078 @ 3.685
c NEW SOLUTION FOUND: 341987 @ 3.701
c NEW SOLUTION FOUND: 329911 @ 5.051
c NEW SOLUTION FOUND: 324073 @ 5.763
c NEW SOLUTION FOUND: 322586 @ 5.838
c NEW SOLUTION FOUND: 312821 @ 5.912
c NEW SOLUTION FOUND: 300923 @ 6.032
c NEW SOLUTION FOUND: 296106 @ 6.057
c NEW SOLUTION FOUND: 284674 @ 6.675
c NEW SOLUTION FOUND: 281401 @ 12.765
c NEW SOLUTION FOUND: 280460 @ 13.427
c NEW SOLUTION FOUND: 278586 @ 25.142
c NEW SOLUTION FOUND: 272967 @ 128.55
s SATISFIABLE
v -x0 -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 x101 -x102 x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 x237 -x238 -x239 -x240 -x241 x242 -x243 x244 -x245 x246 -x247 x248 x249 -x250 x251 x252 x253 x254 -x255 x256 x257 x258 -x259 x260 x261 x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 x273 -x274 x275 -x276 x277 x278 x279 -x280 x281 
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): 0.92 0.97 0.99 1/55 14190
Raw data (stat): 14190 (runsolver) R 14189 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 762082143 1056768 100 4294967295 134512640 135381576 3221221696 3221216916 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.0001 s]
Raw data (loadavg): 0.93 0.97 0.99 2/55 14190
Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 10104 0 0 0 961 34 0 0 25 0 1 0 762082143 9150464 1551 4294967295 134512640 134714508 3221221792 3221220236 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2307 1554 1111 63 0 2244 0
vsize: 8936
[startup+20.0001 s]
Raw data (loadavg): 0.94 0.97 0.99 2/55 14190
Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 26851 0 0 0 1913 83 0 0 25 0 1 0 762082143 12599296 2394 4294967295 134512640 134714508 3221221792 3221220040 1077374049 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3076 2394 1111 63 0 3013 0
vsize: 12304
[startup+30.001 s]
Raw data (loadavg): 0.95 0.97 0.99 2/55 14190
Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 45603 0 0 0 2861 135 0 0 25 0 1 0 762082143 16801792 3415 4294967295 134512640 134714508 3221221792 3221219768 1077410182 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4102 3415 1111 63 0 4039 0
vsize: 16408
[startup+40.0009 s]
Raw data (loadavg): 0.96 0.97 0.99 2/55 14190
Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 58126 0 0 0 3827 169 0 0 25 0 1 0 762082143 18370560 3789 4294967295 134512640 134714508 3221221792 3221220192 1074118815 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4485 3789 1111 63 0 4422 0
vsize: 17940
[startup+50.0008 s]
Raw data (loadavg): 0.96 0.97 0.99 2/55 14190
Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 64154 0 0 0 4812 184 0 0 25 0 1 0 762082143 19197952 4010 4294967295 134512640 134714508 3221221792 3221220080 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4687 4010 1111 63 0 4624 0
vsize: 18748
[startup+60.0008 s]
Raw data (loadavg): 0.97 0.97 0.99 2/55 14190
Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 66845 0 0 0 5806 191 0 0 25 0 1 0 762082143 19591168 4106 4294967295 134512640 134714508 3221221792 3221220608 134622252 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4783 4106 1111 63 0 4720 0
vsize: 19132
[startup+70.0007 s]
Raw data (loadavg): 0.97 0.97 0.99 2/55 14190
Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 72289 0 0 0 6791 205 0 0 25 0 1 0 762082143 18874368 3931 4294967295 134512640 134714508 3221221792 3221220080 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4608 3931 1111 63 0 4545 0
vsize: 18432
[startup+80.0016 s]
Raw data (loadavg): 0.98 0.97 0.99 2/55 14190
Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 88103 0 0 0 7755 241 0 0 25 0 1 0 762082143 19025920 3968 4294967295 134512640 134714508 3221221792 3221220416 134650099 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4645 3968 1111 63 0 4582 0
vsize: 18580
[startup+90.0015 s]
Raw data (loadavg): 1.05 0.99 0.99 2/55 14190
Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 108531 0 0 0 8706 290 0 0 25 0 1 0 762082143 19611648 4111 4294967295 134512640 134714508 3221221792 3221219956 1077378598 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4788 4111 1111 63 0 4725 0
vsize: 19152
[startup+100.002 s]
Raw data (loadavg): 1.04 0.99 0.99 2/55 14190
Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 127313 0 0 0 9662 335 0 0 25 0 1 0 762082143 23244800 4448 4294967295 134512640 134714508 3221221792 3221217952 1075091317 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5675 4448 1111 63 0 5612 0
vsize: 22700
[startup+110.002 s]
Raw data (loadavg): 1.03 0.99 0.99 2/55 14190
Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 164174 0 0 0 10576 421 0 0 25 0 1 0 762082143 21979136 4686 4294967295 134512640 134714508 3221221792 3221220128 1074153736 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5366 4686 1111 63 0 5303 0
vsize: 21464
[startup+120.002 s]
Raw data (loadavg): 1.11 1.00 1.00 2/55 14190
Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 201070 0 0 0 11488 509 0 0 25 0 1 0 762082143 24707072 5288 4294967295 134512640 134714508 3221221792 3221220096 1074153822 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6032 5288 1111 63 0 5969 0
vsize: 24128
[startup+130.002 s]
Raw data (loadavg): 1.16 1.02 1.00 2/55 14190
Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 246426 0 0 0 12385 612 0 0 25 0 1 0 762082143 28532736 6201 4294967295 134512640 134714508 3221221792 3221219520 1075828224 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6966 6201 1111 63 0 6903 0
vsize: 27864
[startup+140.002 s]
Raw data (loadavg): 1.14 1.02 1.00 2/55 14190
Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 271612 0 0 0 13327 670 0 0 25 0 1 0 762082143 30887936 6768 4294967295 134512640 134714508 3221221792 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7541 6768 1111 63 0 7478 0
vsize: 30164
[startup+150.002 s]
Raw data (loadavg): 1.12 1.02 1.00 2/55 14190
Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 271752 0 0 0 14325 672 0 0 25 0 1 0 762082143 31313920 6882 4294967295 134512640 134714508 3221221792 3221220080 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7645 6882 1111 63 0 7582 0
vsize: 30580
[startup+160.002 s]
Raw data (loadavg): 1.10 1.02 1.00 2/55 14190
Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 272646 0 0 0 15322 675 0 0 25 0 1 0 762082143 33820672 7492 4294967295 134512640 134714508 3221221792 3221219792 1074918583 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8257 7492 1111 63 0 8194 0
vsize: 33028
[startup+170.002 s]
Raw data (loadavg): 1.08 1.02 1.00 2/55 14190
Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 276281 0 0 0 16313 685 0 0 25 0 1 0 762082143 31682560 6972 4294967295 134512640 134714508 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7735 6972 1111 63 0 7672 0
vsize: 30940
[startup+180.002 s]
Raw data (loadavg): 1.07 1.01 1.00 2/55 14190
Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 276281 0 0 0 17313 685 0 0 25 0 1 0 762082143 31682560 6972 4294967295 134512640 134714508 3221221792 3221220504 134543187 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7735 6972 1111 63 0 7672 0
vsize: 30940
[startup+190.002 s]
Raw data (loadavg): 1.06 1.01 1.00 2/55 14190
Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 277862 0 0 0 18309 689 0 0 25 0 1 0 762082143 37072896 7876 4294967295 134512640 134714508 3221221792 3221217968 1074882610 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9051 7876 1111 63 0 8988 0
vsize: 36204
[startup+200.002 s]
Raw data (loadavg): 1.05 1.01 1.00 2/55 14190
Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 281197 0 0 0 19301 697 0 0 25 0 1 0 762082143 31109120 6832 4294967295 134512640 134714508 3221221792 3221220596 134622267 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7595 6832 1111 63 0 7532 0
vsize: 30380
[startup+210.002 s]
Raw data (loadavg): 1.04 1.01 1.00 2/55 14190
Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 283783 0 0 0 20295 703 0 0 25 0 1 0 762082143 30781440 6752 4294967295 134512640 134714508 3221221792 3221220128 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7515 6752 1111 63 0 7452 0
vsize: 30060
[startup+220.003 s]
Raw data (loadavg): 1.03 1.01 1.00 2/55 14190
Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 286048 0 0 0 21290 708 0 0 25 0 1 0 762082143 31145984 6841 4294967295 134512640 134714508 3221221792 3221220048 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7604 6841 1111 63 0 7541 0
vsize: 30416
[startup+230.004 s]
Raw data (loadavg): 1.03 1.01 1.00 2/55 14190
Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 286132 0 0 0 22289 709 0 0 25 0 1 0 762082143 31490048 6925 4294967295 134512640 134714508 3221221792 3221220080 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7688 6925 1111 63 0 7625 0
vsize: 30752
[startup+240.004 s]
Raw data (loadavg): 1.02 1.01 1.00 2/55 14190
Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 287064 0 0 0 23287 712 0 0 25 0 1 0 762082143 34095104 7559 4294967295 134512640 134714508 3221221792 3221219792 1074918597 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8324 7559 1111 63 0 8261 0
vsize: 33296
[startup+250.004 s]
Raw data (loadavg): 1.02 1.01 1.00 2/55 14190
Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 290815 0 0 0 24279 720 0 0 25 0 1 0 762082143 31723520 6982 4294967295 134512640 134714508 3221221792 3221220504 134558617 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7745 6982 1111 63 0 7682 0
vsize: 30980
[startup+260.004 s]
Raw data (loadavg): 1.02 1.01 1.00 2/55 14190
Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 295630 0 0 0 25267 732 0 0 25 0 1 0 762082143 30597120 6707 4294967295 134512640 134714508 3221221792 3221220504 134543187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7470 6707 1111 63 0 7407 0
vsize: 29880
[startup+270.004 s]
Raw data (loadavg): 1.01 1.01 1.00 2/55 14190
Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 301630 0 0 0 26251 748 0 0 25 0 1 0 762082143 35475456 6886 4294967295 134512640 134714508 3221221792 3221217952 1074794542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8661 6886 1111 63 0 8598 0
vsize: 34644
[startup+280.005 s]
Raw data (loadavg): 1.01 1.00 1.00 2/55 14190
Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 322903 0 0 0 27204 795 0 0 25 0 1 0 762082143 31461376 6918 4294967295 134512640 134714508 3221221792 3221220048 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7681 6918 1111 63 0 7618 0
vsize: 30724
[startup+290.006 s]
Raw data (loadavg): 1.01 1.00 1.00 2/55 14190
Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 323052 0 0 0 28202 797 0 0 25 0 1 0 762082143 32202752 7067 4294967295 134512640 134714508 3221221792 3221220096 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7862 7067 1111 63 0 7799 0
vsize: 31448
[startup+300.005 s]
Raw data (loadavg): 1.01 1.00 1.00 2/55 14190
Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 323934 0 0 0 29200 800 0 0 25 0 1 0 762082143 34607104 7683 4294967295 134512640 134714508 3221221792 3221219792 1074918597 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8449 7683 1111 63 0 8386 0
vsize: 33796
[startup+310.005 s]
Raw data (loadavg): 1.01 1.00 1.00 2/55 14190
Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 325593 0 0 0 30197 803 0 0 25 0 1 0 762082143 38875136 8437 4294967295 134512640 134714508 3221221792 3221217804 1074788944 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9491 8437 1111 63 0 9428 0
vsize: 37964
[startup+320.005 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 14190
Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 327349 0 0 0 31193 807 0 0 25 0 1 0 762082143 32456704 7161 4294967295 134512640 134714508 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7924 7161 1111 63 0 7861 0
vsize: 31696
[startup+330.006 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 14190
Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 329122 0 0 0 32190 811 0 0 25 0 1 0 762082143 31387648 6900 4294967295 134512640 134714508 3221221792 3221220096 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7663 6900 1111 63 0 7600 0
vsize: 30652
[startup+340.006 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 14190
Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 334316 0 0 0 33178 822 0 0 25 0 1 0 762082143 31715328 6968 4294967295 134512640 134714508 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7743 6968 1111 63 0 7680 0
vsize: 30972
[startup+350.006 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 14190
Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 339053 0 0 0 34167 834 0 0 25 0 1 0 762082143 31920128 7009 4294967295 134512640 134714508 3221221792 3221220080 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7793 7009 1111 63 0 7730 0
vsize: 31172
[startup+360.007 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 14190
Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 339210 0 0 0 35165 836 0 0 25 0 1 0 762082143 32260096 7113 4294967295 134512640 134714508 3221221792 3221220080 1074153792 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7876 7113 1111 63 0 7813 0
vsize: 31504
[startup+370.007 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 14190
Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 339276 0 0 0 36164 837 0 0 25 0 1 0 762082143 32661504 7179 4294967295 134512640 134714508 3221221792 3221220128 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7974 7179 1111 63 0 7911 0
vsize: 31896
[startup+380.008 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 14190
Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 341846 0 0 0 37159 842 0 0 25 0 1 0 762082143 40747008 8830 4294967295 134512640 134714508 3221221792 3221217968 1074882610 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9948 8830 1111 63 0 9885 0
vsize: 39792
[startup+390.007 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 14190
Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 344010 0 0 0 38153 849 0 0 25 0 1 0 762082143 32305152 7124 4294967295 134512640 134714508 3221221792 3221220048 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7887 7124 1111 63 0 7824 0
vsize: 31548
[startup+400.008 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 14190
Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 344072 0 0 0 39151 850 0 0 25 0 1 0 762082143 32559104 7186 4294967295 134512640 134714508 3221221792 3221220096 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7949 7186 1111 63 0 7886 0
vsize: 31796
[startup+410.009 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 14190
Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 348734 0 0 0 40142 860 0 0 25 0 1 0 762082143 32698368 7220 4294967295 134512640 134714508 3221221792 3221220504 134543168 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7983 7220 1111 63 0 7920 0
vsize: 31932
[startup+420.008 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 14190
Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 348734 0 0 0 41142 860 0 0 25 0 1 0 762082143 32698368 7220 4294967295 134512640 134714508 3221221792 3221220588 134536888 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7983 7220 1111 63 0 7920 0
vsize: 31932
[startup+430.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 14190
Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 348734 0 0 0 42142 860 0 0 25 0 1 0 762082143 32698368 7220 4294967295 134512640 134714508 3221221792 3221220600 134622628 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7983 7220 1111 63 0 7920 0
vsize: 31932
[startup+440.009 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 14190
Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 348734 0 0 0 43142 860 0 0 25 0 1 0 762082143 32698368 7220 4294967295 134512640 134714508 3221221792 3221220584 134543552 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7983 7220 1111 63 0 7920 0
vsize: 31932
[startup+450.009 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 14190
Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 349449 0 0 0 44140 862 0 0 25 0 1 0 762082143 33771520 7468 4294967295 134512640 134714508 3221221792 3221219792 1074918597 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8245 7468 1111 63 0 8182 0
vsize: 32980
[startup+460.009 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 14190
Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 352087 0 0 0 45134 868 0 0 25 0 1 0 762082143 32239616 7108 4294967295 134512640 134714508 3221221792 3221220588 134542400 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7871 7108 1111 63 0 7808 0
vsize: 31484
[startup+470.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 14190
Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 355658 0 0 0 46126 877 0 0 25 0 1 0 762082143 31305728 6880 4294967295 134512640 134714508 3221221792 3221219704 1074138237 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7643 6880 1111 63 0 7580 0
vsize: 30572
[startup+480.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 14190
Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 365460 0 0 0 47105 898 0 0 25 0 1 0 762082143 31617024 6958 4294967295 134512640 134714508 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7719 6958 1111 63 0 7656 0
vsize: 30876
[startup+490.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 14190
Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 367947 0 0 0 48099 905 0 0 25 0 1 0 762082143 32145408 7073 4294967295 134512640 134714508 3221221792 3221219728 1077814665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7848 7073 1111 63 0 7785 0
vsize: 31392
[startup+500.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 14190
Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 370780 0 0 0 49091 912 0 0 25 0 1 0 762082143 32239616 7111 4294967295 134512640 134714508 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7871 7111 1111 63 0 7808 0
vsize: 31484
[startup+510.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 14190
Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 372547 0 0 0 50088 915 0 0 25 0 1 0 762082143 31797248 7003 4294967295 134512640 134714508 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7763 7003 1111 63 0 7700 0
vsize: 31052
[startup+520.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 14190
Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 377824 0 0 0 51076 928 0 0 25 0 1 0 762082143 32010240 7060 4294967295 134512640 134714508 3221221792 3221220584 134543552 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7815 7060 1111 63 0 7752 0
vsize: 31260
[startup+530.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 14190
Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 381196 0 0 0 52067 936 0 0 25 0 1 0 762082143 31387648 6910 4294967295 134512640 134714508 3221221792 3221219520 1075829494 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7663 6910 1111 63 0 7600 0
vsize: 30652
[startup+540.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 14190
Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 400194 0 0 0 53024 980 0 0 25 0 1 0 762082143 32509952 7182 4294967295 134512640 134714508 3221221792 3221219792 1074918599 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7937 7182 1111 63 0 7874 0
vsize: 31748
[startup+550.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 14190
Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 418177 0 0 0 53982 1022 0 0 25 0 1 0 762082143 32456704 7173 4294967295 134512640 134714508 3221221792 3221220596 134622413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7924 7173 1111 63 0 7861 0
vsize: 31696
[startup+560.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 14190
Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 439778 0 0 0 54929 1075 0 0 25 0 1 0 762082143 33124352 7335 4294967295 134512640 134714508 3221221792 3221220076 1077402400 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8087 7335 1111 63 0 8024 0
vsize: 32348
[startup+570.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 14190
Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 480043 0 0 0 55823 1181 0 0 25 0 1 0 762082143 40529920 8394 4294967295 134512640 134714508 3221221792 3221218780 1077404742 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9176 8388 1111 63 0 9113 0
vsize: 39580
[startup+580.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 14190
Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 522011 0 0 0 56721 1283 0 0 25 0 1 0 762082143 42434560 9446 4294967295 134512640 134714508 3221221792 3221220188 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10360 9446 1111 63 0 10297 0
vsize: 41440
[startup+590.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 14190
Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 558486 0 0 0 57631 1373 0 0 25 0 1 0 762082143 46411776 10318 4294967295 134512640 134714508 3221221792 3221219948 1077404823 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11331 10318 1111 63 0 11268 0
vsize: 45324
[startup+600.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 14190
Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 598478 0 0 0 58530 1475 0 0 25 0 1 0 762082143 50630656 11302 4294967295 134512640 134714508 3221221792 3221220068 1073986859 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12361 11302 1111 63 0 12298 0
vsize: 49444
[startup+610.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 14190
Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 638927 0 0 0 59427 1578 0 0 25 0 1 0 762082143 54415360 12218 4294967295 134512640 134714508 3221221792 3221220188 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13285 12218 1111 63 0 13222 0
vsize: 53140
[startup+620.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 14190
Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 680448 0 0 0 60323 1682 0 0 25 0 1 0 762082143 58785792 13225 4294967295 134512640 134714508 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14352 13225 1111 63 0 14289 0
vsize: 57408
[startup+630.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 14190
Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 721507 0 0 0 61219 1786 0 0 25 0 1 0 762082143 62644224 14184 4294967295 134512640 134714508 3221221792 3221220188 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15294 14184 1111 63 0 15231 0
vsize: 61176
[startup+640.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 14190
Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 731898 0 0 0 62194 1811 0 0 25 0 1 0 762082143 65748992 14936 4294967295 134512640 134714508 3221221792 3221219792 1074918599 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16052 14936 1111 63 0 15989 0
vsize: 64208
[startup+650.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 14190
Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 736723 0 0 0 63185 1821 0 0 25 0 1 0 762082143 64684032 14671 4294967295 134512640 134714508 3221221792 3221219792 1074918597 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15792 14671 1111 63 0 15729 0
vsize: 63168
[startup+660.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 14190
Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 746068 0 0 0 64162 1844 0 0 25 0 1 0 762082143 65757184 14926 4294967295 134512640 134714508 3221221792 3221219792 1074918599 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16054 14926 1111 63 0 15991 0
vsize: 64216
[startup+670.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 14190
Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 756699 0 0 0 65139 1867 0 0 25 0 1 0 762082143 64401408 14609 4294967295 134512640 134714508 3221221792 3221220512 134622865 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15723 14609 1111 63 0 15660 0
vsize: 62892
[startup+680.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 14190
Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 764629 0 0 0 66121 1885 0 0 25 0 1 0 762082143 66584576 15124 4294967295 134512640 134714508 3221221792 3221219792 1074918597 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16256 15124 1111 63 0 16193 0
vsize: 65024
[startup+690.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 14190
Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 767003 0 0 0 67115 1891 0 0 25 0 1 0 762082143 65646592 14915 4294967295 134512640 134714508 3221221792 3221220080 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16027 14915 1111 63 0 15964 0
vsize: 64108
[startup+700.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 14190
Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 767060 0 0 0 68114 1892 0 0 25 0 1 0 762082143 65880064 14972 4294967295 134512640 134714508 3221221792 3221220080 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16084 14972 1111 63 0 16021 0
vsize: 64336
[startup+710.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 14190
Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 767120 0 0 0 69114 1893 0 0 25 0 1 0 762082143 66256896 15032 4294967295 134512640 134714508 3221221792 3221220048 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16176 15032 1111 63 0 16113 0
vsize: 64704
[startup+720.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 14190
Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 768335 0 0 0 70110 1897 0 0 25 0 1 0 762082143 69431296 15826 4294967295 134512640 134714508 3221221792 3221219792 1074918591 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16951 15826 1111 63 0 16888 0
vsize: 67804
[startup+730.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 14190
Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 768335 0 0 0 71110 1897 0 0 25 0 1 0 762082143 69431296 15826 4294967295 134512640 134714508 3221221792 3221219792 1074918583 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16951 15826 1111 63 0 16888 0
vsize: 67804
[startup+740.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 14190
Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 768335 0 0 0 72110 1897 0 0 25 0 1 0 762082143 69431296 15826 4294967295 134512640 134714508 3221221792 3221219792 1074918576 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16951 15826 1111 63 0 16888 0
vsize: 67804
[startup+750.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 14190
Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 772711 0 0 0 73100 1908 0 0 25 0 1 0 762082143 66596864 15147 4294967295 134512640 134714508 3221221792 3221220528 134622896 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16259 15147 1111 63 0 16196 0
vsize: 65036
[startup+760.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 14190
Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 772711 0 0 0 74100 1908 0 0 25 0 1 0 762082143 66596864 15147 4294967295 134512640 134714508 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16259 15147 1111 63 0 16196 0
vsize: 65036
[startup+770.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 14190
Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 772711 0 0 0 75100 1908 0 0 25 0 1 0 762082143 66596864 15147 4294967295 134512640 134714508 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16259 15147 1111 63 0 16196 0
vsize: 65036
[startup+780.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 14190
Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 772711 0 0 0 76100 1908 0 0 25 0 1 0 762082143 66596864 15147 4294967295 134512640 134714508 3221221792 3221220520 134622752 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16259 15147 1111 63 0 16196 0
vsize: 65036
[startup+790.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 14190
Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 772711 0 0 0 77100 1908 0 0 25 0 1 0 762082143 66596864 15147 4294967295 134512640 134714508 3221221792 3221220584 134542409 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16259 15147 1111 63 0 16196 0
vsize: 65036
[startup+800.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 14190
Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 774582 0 0 0 78096 1912 0 0 25 0 1 0 762082143 65581056 14899 4294967295 134512640 134714508 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16011 14899 1111 63 0 15948 0
vsize: 64044
[startup+810.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 14190
Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 781309 0 0 0 79080 1929 0 0 25 0 1 0 762082143 65359872 14817 4294967295 134512640 134714508 3221221792 3221220080 1074153786 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15957 14817 1111 63 0 15894 0
vsize: 63828
[startup+820.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 14190
Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 783858 0 0 0 80073 1935 0 0 25 0 1 0 762082143 65740800 14940 4294967295 134512640 134714508 3221221792 3221220584 134543552 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16050 14940 1111 63 0 15987 0
vsize: 64200
[startup+830.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 14190
Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 784059 0 0 0 81073 1936 0 0 25 0 1 0 762082143 66138112 14930 4294967295 134512640 134714508 3221221792 3221219072 1074140041 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16147 14936 1111 63 0 16084 0
vsize: 64588
[startup+840.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 14190
Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 793332 0 0 0 82053 1956 0 0 25 0 1 0 762082143 65363968 14848 4294967295 134512640 134714508 3221221792 3221220528 134622896 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15958 14848 1111 63 0 15895 0
vsize: 63832
[startup+850.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 14190
Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 801253 0 0 0 83034 1975 0 0 25 0 1 0 762082143 65941504 14972 4294967295 134512640 134714508 3221221792 3221220096 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16099 14972 1111 63 0 16036 0
vsize: 64396
[startup+860.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 14190
Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 801858 0 0 0 84032 1977 0 0 25 0 1 0 762082143 67760128 15413 4294967295 134512640 134714508 3221221792 3221219792 1074918597 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16543 15413 1111 63 0 16480 0
vsize: 66172
[startup+870.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 14190
Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 804259 0 0 0 85027 1982 0 0 25 0 1 0 762082143 66441216 15112 4294967295 134512640 134714508 3221221792 3221220528 134622902 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16221 15112 1111 63 0 16158 0
vsize: 64884
[startup+880.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 14190
Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 812434 0 0 0 86008 2001 0 0 25 0 1 0 762082143 65736704 14949 4294967295 134512640 134714508 3221221792 3221220204 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16049 14949 1111 63 0 15986 0
vsize: 64196
[startup+890.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 14190
Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 824958 0 0 0 86978 2031 0 0 25 0 1 0 762082143 67280896 15306 4294967295 134512640 134714508 3221221792 3221220588 134536888 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16426 15306 1111 63 0 16363 0
vsize: 65704
[startup+900.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 14190
Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 842989 0 0 0 87934 2076 0 0 25 0 1 0 762082143 67588096 15395 4294967295 134512640 134714508 3221221792 3221220188 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16501 15395 1111 63 0 16438 0
vsize: 66004
[startup+910.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 14190
Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 881632 0 0 0 88837 2173 0 0 25 0 1 0 762082143 71290880 16302 4294967295 134512640 134714508 3221221792 3221220240 1073990032 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17405 16302 1111 63 0 17342 0
vsize: 69620
[startup+920.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 14190
Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 921286 0 0 0 89732 2278 0 0 25 0 1 0 762082143 76115968 17467 4294967295 134512640 134714508 3221221792 3221220236 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18583 17467 1111 63 0 18520 0
vsize: 74332
[startup+930.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 14190
Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 960474 0 0 0 90638 2373 0 0 25 0 1 0 762082143 83271680 18886 4294967295 134512640 134714508 3221221792 3221220128 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20330 18886 1111 63 0 20267 0
vsize: 81320
[startup+940.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 14190
Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 966013 0 0 0 91627 2384 0 0 25 0 1 0 762082143 82886656 18795 4294967295 134512640 134714508 3221221792 3221220096 1074153779 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20236 18795 1111 63 0 20173 0
vsize: 80944
[startup+950.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 14190
Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 1001049 0 0 0 92548 2463 0 0 25 0 1 0 762082143 85233664 19325 4294967295 134512640 134714508 3221221792 3221220096 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20809 19325 1111 63 0 20746 0
vsize: 83236
[startup+960.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 14190
Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 1017154 0 0 0 93509 2502 0 0 25 0 1 0 762082143 85884928 19477 4294967295 134512640 134714508 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20968 19477 1111 63 0 20905 0
vsize: 83872
[startup+970.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 14190
Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 1027750 0 0 0 94482 2529 0 0 25 0 1 0 762082143 87293952 19760 4294967295 134512640 134714508 3221221792 3221219632 1077814665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21312 19760 1111 63 0 21249 0
vsize: 85248
[startup+980.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 14190
Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 1027838 0 0 0 95481 2531 0 0 25 0 1 0 762082143 87642112 19848 4294967295 134512640 134714508 3221221792 3221220032 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21397 19848 1111 63 0 21334 0
vsize: 85588
[startup+990.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 14190
Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 1027897 0 0 0 96480 2532 0 0 25 0 1 0 762082143 87871488 19907 4294967295 134512640 134714508 3221221792 3221220032 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21453 19907 1111 63 0 21390 0
vsize: 85812
[startup+1000.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 14190
Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 1027958 0 0 0 97479 2533 0 0 25 0 1 0 762082143 88047616 19968 4294967295 134512640 134714508 3221221792 3221220048 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21496 19968 1111 63 0 21433 0
vsize: 85984
[startup+1010.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 14190
Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 1029321 0 0 0 98476 2536 0 0 25 0 1 0 762082143 91705344 20856 4294967295 134512640 134714508 3221221792 3221219792 1074918583 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22389 20856 1111 63 0 22326 0
vsize: 89556
[startup+1020.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 14190
Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 1029321 0 0 0 99476 2536 0 0 25 0 1 0 762082143 91705344 20856 4294967295 134512640 134714508 3221221792 3221219792 1074918597 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22389 20856 1111 63 0 22326 0
vsize: 89556
[startup+1030.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 14190
Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 1029321 0 0 0 100476 2536 0 0 25 0 1 0 762082143 91705344 20856 4294967295 134512640 134714508 3221221792 3221219792 1074918594 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22389 20856 1111 63 0 22326 0
vsize: 89556
[startup+1040.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 14190
Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 1029321 0 0 0 101476 2536 0 0 25 0 1 0 762082143 91705344 20856 4294967295 134512640 134714508 3221221792 3221219792 1074918597 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22389 20856 1111 63 0 22326 0
vsize: 89556
[startup+1050.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 14190
Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 1029321 0 0 0 102477 2536 0 0 25 0 1 0 762082143 91705344 20856 4294967295 134512640 134714508 3221221792 3221219792 1074918597 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22389 20856 1111 63 0 22326 0
vsize: 89556
[startup+1060.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 14190
Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 1033225 0 0 0 103468 2545 0 0 25 0 1 0 762082143 92524544 20851 4294967295 134512640 134714508 3221221792 3221218984 1074138315 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22589 20851 1111 63 0 22526 0
vsize: 90356
[startup+1070.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 14190
Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 1034499 0 0 0 104465 2548 0 0 25 0 1 0 762082143 87654400 19880 4294967295 134512640 134714508 3221221792 3221220048 1074153792 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21400 19880 1111 63 0 21337 0
vsize: 85600
[startup+1080.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 14190
Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 1035307 0 0 0 105463 2550 0 0 25 0 1 0 762082143 89907200 20427 4294967295 134512640 134714508 3221221792 3221219792 1074918597 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21950 20427 1111 63 0 21887 0
vsize: 87800
[startup+1090.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 14190
Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 1035307 0 0 0 106463 2550 0 0 25 0 1 0 762082143 89907200 20427 4294967295 134512640 134714508 3221221792 3221219792 1074918583 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21950 20427 1111 63 0 21887 0
vsize: 87800
[startup+1100.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 14190
Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 1038815 0 0 0 107454 2559 0 0 25 0 1 0 762082143 87916544 19944 4294967295 134512640 134714508 3221221792 3221220584 134536900 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21464 19944 1111 63 0 21401 0
vsize: 85856
[startup+1110.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 14190
Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 1038815 0 0 0 108455 2559 0 0 25 0 1 0 762082143 87916544 19944 4294967295 134512640 134714508 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21464 19944 1111 63 0 21401 0
vsize: 85856
[startup+1120.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 14190
Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 1038815 0 0 0 109455 2559 0 0 25 0 1 0 762082143 87916544 19944 4294967295 134512640 134714508 3221221792 3221220608 134622335 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21464 19944 1111 63 0 21401 0
vsize: 85856
[startup+1130.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 14190
Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 1041094 0 0 0 110449 2565 0 0 25 0 1 0 762082143 87203840 19770 4294967295 134512640 134714508 3221221792 3221220592 134622422 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21290 19770 1111 63 0 21227 0
vsize: 85160
[startup+1140.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 14190
Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 1043011 0 0 0 111444 2570 0 0 25 0 1 0 762082143 87142400 19755 4294967295 134512640 134714508 3221221792 3221220048 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21275 19755 1111 63 0 21212 0
vsize: 85100
[startup+1150.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 14190
Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 1045398 0 0 0 112439 2575 0 0 25 0 1 0 762082143 87240704 19779 4294967295 134512640 134714508 3221221792 3221220596 134622267 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21299 19779 1111 63 0 21236 0
vsize: 85196
[startup+1160.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 14190
Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 1047584 0 0 0 113434 2581 0 0 25 0 1 0 762082143 86884352 19692 4294967295 134512640 134714508 3221221792 3221220596 134622267 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21212 19692 1111 63 0 21149 0
vsize: 84848
[startup+1170.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 14190
Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 1059894 0 0 0 114406 2609 0 0 25 0 1 0 762082143 86859776 19701 4294967295 134512640 134714508 3221221792 3221219576 1077410163 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21206 19701 1111 63 0 21143 0
vsize: 84824
[startup+1174.94 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 14190
Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 1059894 0 0 0 114406 2609 0 0 25 0 1 0 762082143 86859776 19701 4294967295 134512640 134714508 3221221792 3221219576 1077410163 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21206 19701 1111 63 0 21143 0
vsize: 0

Child status: 10
Real time (s): 1174.94
CPU time (s): 1175.07
CPU user time (s): 1148.68
CPU system time (s): 26.387
CPU usage (%): 100.011
Max. virtual memory (Kb): 90356
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	272967
#### END VERIFIER DATA ####