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/manquinho/primes-dimacs-cnf/normalized-ii8a2.opb
MD5SUM	6005a01d3f2ae55b0ca9c19f876c5827
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	139
Optimality of the best value was proved	NO
Number of terms in the objective function	360
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	360
Number of bits of the sum of numbers in the objective function	9
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	360
Number of bits of the biggest sum of numbers	9
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.02584
Number of variables	360
Total number of constraints	980
Number of constraints which are clauses	980
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	8
Trace number 23957

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-07 01:05:56 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=1468 boxname=wulflinc31 idbench=164 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  6005a01d3f2ae55b0ca9c19f876c5827  /oldhome/oroussel/tmp/wulflinc31/normalized-ii8a2.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-ii8a2.opb
IDLAUNCH: 1468
/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:        149364 kB
Buffers:         37776 kB
Cached:         813144 kB
SwapCached:        644 kB
Active:         487312 kB
Inactive:       365944 kB
HighTotal:      131008 kB
HighFree:         8400 kB
LowTotal:       903652 kB
LowFree:        140964 kB
SwapTotal:     2097892 kB
SwapFree:      2096612 kB
Dirty:              36 kB
Writeback:           0 kB
Mapped:           5608 kB
Slab:            26308 kB
Committed_AS:    63652 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-07 01:25:32 (client local time) WITH STATUS 10 IN 1175.29 SECONDS
stats: 1468 0 1175.29 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 360 variables and 980 constraints.
c After prepocess the problem consists of 360 variables and 998 constraints.
c preprocess terminated 0.627 s
c Initial Lower Bound: 127
c Lower Bound Elapsed time: 0.3934
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 148 @ 16.436
c NEW SOLUTION FOUND: 147 @ 16.789
c NEW SOLUTION FOUND: 145 @ 17.186
c NEW SOLUTION FOUND: 144 @ 17.368
c NEW SOLUTION FOUND: 143 @ 31.899
c NEW SOLUTION FOUND: 142 @ 75.196
s SATISFIABLE
v 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 -x282 x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 x292 -x293 -x294 x295 -x296 -x297 x298 -x299 x300 -x301 -x302 -x303 x304 -x305 -x306 x307 -x308 -x309 x310 -x311 x312 -x313 x314 -x315 x316 -x317 x318 -x319 x320 -x321 x322 x323 -x324 -x325 -x326 -x327 x328 -x329 -x330 x331 -x332 -x333 -x334 -x335 -x336 -x337 x338 x339 -x340 -x341 x342 -x343 x344 -x345 x346 -x347 x348 -x349 -x350 -x351 x352 -x353 -x354 x355 -x356 -x357 x358 -x359 x360 
c Exit Code: 10
c Total time: 1175.25 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.18 1.04 1.01 2/54 27817
Raw data (stat): 27817 (runsolver) R 27816 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 679227506 1056768 100 4294967295 134512640 135381576 3221221696 3221216916 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.001 s]
Raw data (loadavg): 1.16 1.04 1.01 2/54 27817
Raw data (stat): 27817 (bsolo_lpr) R 27816 7876 7672 0 -1 0 5112 0 0 0 978 16 0 0 25 0 1 0 679227506 7172096 1073 4294967295 134512640 134714508 3221221792 3221219792 1074918490 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1751 1073 1111 63 0 1688 0
vsize: 7004
[startup+20.0009 s]
Raw data (loadavg): 1.13 1.04 1.01 2/54 27817
Raw data (stat): 27817 (bsolo_lpr) R 27816 7876 7672 0 -1 0 8819 0 0 0 1968 26 0 0 25 0 1 0 679227506 7585792 1110 4294967295 134512640 134714508 3221221792 3221217952 1075093344 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1852 1110 1111 63 0 1789 0
vsize: 7408
[startup+30.0022 s]
Raw data (loadavg): 1.11 1.04 1.01 2/54 27817
Raw data (stat): 27817 (bsolo_lpr) R 27816 7876 7672 0 -1 0 14734 0 0 0 2951 44 0 0 25 0 1 0 679227506 7901184 1187 4294967295 134512640 134714508 3221221792 3221217904 1075895610 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1929 1187 1111 63 0 1866 0
vsize: 7716
[startup+40.0017 s]
Raw data (loadavg): 1.09 1.04 1.01 2/54 27817
Raw data (stat): 27817 (bsolo_lpr) R 27816 7876 7672 0 -1 0 21520 0 0 0 3934 61 0 0 25 0 1 0 679227506 7979008 1280 4294967295 134512640 134714508 3221221792 3221220464 134650231 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1948 1280 1111 63 0 1885 0
vsize: 7792
[startup+50.002 s]
Raw data (loadavg): 1.08 1.03 1.01 2/54 27817
Raw data (stat): 27817 (bsolo_lpr) R 27816 7876 7672 0 -1 0 27960 0 0 0 4913 81 0 0 25 0 1 0 679227506 9056256 1453 4294967295 134512640 134714508 3221221792 3221218128 1075114277 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2211 1453 1111 63 0 2148 0
vsize: 8844
[startup+60.003 s]
Raw data (loadavg): 1.07 1.03 1.01 2/54 27817
Raw data (stat): 27817 (bsolo_lpr) R 27816 7876 7672 0 -1 0 34473 0 0 0 5896 99 0 0 25 0 1 0 679227506 9637888 1610 4294967295 134512640 134714508 3221221792 3221217952 1075093350 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2353 1610 1111 63 0 2290 0
vsize: 9412
[startup+70.0035 s]
Raw data (loadavg): 1.06 1.03 1.01 2/54 27817
Raw data (stat): 27817 (bsolo_lpr) R 27816 7876 7672 0 -1 0 41251 0 0 0 6876 119 0 0 25 0 1 0 679227506 9375744 1621 4294967295 134512640 134714508 3221221792 3221220104 1074138144 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2289 1621 1111 63 0 2226 0
vsize: 9156
[startup+80.0045 s]
Raw data (loadavg): 1.05 1.03 1.00 2/54 27817
Raw data (stat): 27817 (bsolo_lpr) R 27816 7876 7672 0 -1 0 47416 0 0 0 7858 137 0 0 25 0 1 0 679227506 9854976 1738 4294967295 134512640 134714508 3221221792 3221219904 1074867308 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2406 1738 1111 63 0 2343 0
vsize: 9624
[startup+90.0048 s]
Raw data (loadavg): 1.04 1.03 1.00 2/54 27817
Raw data (stat): 27817 (bsolo_lpr) R 27816 7876 7672 0 -1 0 53791 0 0 0 8840 155 0 0 25 0 1 0 679227506 10280960 1842 4294967295 134512640 134714508 3221221792 3221220056 1074138162 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2510 1842 1111 63 0 2447 0
vsize: 10040
[startup+100.004 s]
Raw data (loadavg): 1.03 1.03 1.00 2/54 27817
Raw data (stat): 27817 (bsolo_lpr) R 27816 7876 7672 0 -1 0 60397 0 0 0 9822 173 0 0 25 0 1 0 679227506 11096064 1972 4294967295 134512640 134714508 3221221792 3221218864 1075896030 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2709 1972 1111 63 0 2646 0
vsize: 10836
[startup+110.006 s]
Raw data (loadavg): 1.03 1.03 1.00 2/54 27817
Raw data (stat): 27817 (bsolo_lpr) R 27816 7876 7672 0 -1 0 66441 0 0 0 10807 189 0 0 25 0 1 0 679227506 11153408 2055 4294967295 134512640 134714508 3221221792 3221220356 134536752 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2723 2055 1111 63 0 2660 0
vsize: 10892
[startup+120.007 s]
Raw data (loadavg): 1.02 1.02 1.00 2/54 27817
Raw data (stat): 27817 (bsolo_lpr) R 27816 7876 7672 0 -1 0 72461 0 0 0 11790 206 0 0 25 0 1 0 679227506 11919360 2171 4294967295 134512640 134714508 3221221792 3221218324 1075863635 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2910 2171 1111 63 0 2847 0
vsize: 11640
[startup+130.007 s]
Raw data (loadavg): 1.02 1.02 1.00 2/54 27817
Raw data (stat): 27817 (bsolo_lpr) R 27816 7876 7672 0 -1 0 78976 0 0 0 12774 222 0 0 25 0 1 0 679227506 11898880 2237 4294967295 134512640 134714508 3221221792 3221219704 1077378730 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2905 2237 1111 63 0 2842 0
vsize: 11620
[startup+140.007 s]
Raw data (loadavg): 1.02 1.02 1.00 2/54 27817
Raw data (stat): 27817 (bsolo_lpr) R 27816 7876 7672 0 -1 0 85251 0 0 0 13757 239 0 0 25 0 1 0 679227506 12382208 2355 4294967295 134512640 134714508 3221221792 3221220408 134543176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3023 2355 1111 63 0 2960 0
vsize: 12092
[startup+150.007 s]
Raw data (loadavg): 1.01 1.02 1.00 2/54 27817
Raw data (stat): 27817 (bsolo_lpr) R 27816 7876 7672 0 -1 0 91435 0 0 0 14742 254 0 0 25 0 1 0 679227506 13545472 2549 4294967295 134512640 134714508 3221221792 3221218000 1074815423 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3307 2549 1111 63 0 3244 0
vsize: 13228
[startup+160.008 s]
Raw data (loadavg): 1.01 1.02 1.00 2/54 27817
Raw data (stat): 27817 (bsolo_lpr) R 27816 7876 7672 0 -1 0 97495 0 0 0 15728 268 0 0 25 0 1 0 679227506 13905920 2572 4294967295 134512640 134714508 3221221792 3221217816 1074860223 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3395 2572 1111 63 0 3332 0
vsize: 13580
[startup+170.008 s]
Raw data (loadavg): 1.01 1.02 1.00 2/54 27817
Raw data (stat): 27817 (bsolo_lpr) R 27816 7876 7672 0 -1 0 103529 0 0 0 16715 282 0 0 25 0 1 0 679227506 14036992 2670 4294967295 134512640 134714508 3221221792 3221218128 1075114277 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3427 2670 1111 63 0 3364 0
vsize: 13708
[startup+180.009 s]
Raw data (loadavg): 1.01 1.02 1.00 2/54 27817
Raw data (stat): 27817 (bsolo_lpr) R 27816 7876 7672 0 -1 0 108448 0 0 0 17701 296 0 0 25 0 1 0 679227506 13991936 2749 4294967295 134512640 134714508 3221221792 3221220516 134622833 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3416 2749 1111 63 0 3353 0
vsize: 13664
[startup+190.01 s]
Raw data (loadavg): 1.00 1.02 1.00 2/54 27817
Raw data (stat): 27817 (bsolo_lpr) R 27816 7876 7672 0 -1 0 117661 0 0 0 18680 317 0 0 25 0 1 0 679227506 13987840 2748 4294967295 134512640 134714508 3221221792 3221220192 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3415 2748 1111 63 0 3352 0
vsize: 13660
[startup+200.01 s]
Raw data (loadavg): 1.00 1.02 1.00 2/54 27817
Raw data (stat): 27817 (bsolo_lpr) R 27816 7876 7672 0 -1 0 127009 0 0 0 19657 340 0 0 25 0 1 0 679227506 14438400 2858 4294967295 134512640 134714508 3221221792 3221220204 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3525 2858 1111 63 0 3462 0
vsize: 14100
[startup+210.01 s]
Raw data (loadavg): 1.00 1.02 1.00 2/54 27817
Raw data (stat): 27817 (bsolo_lpr) R 27816 7876 7672 0 -1 0 136593 0 0 0 20633 364 0 0 25 0 1 0 679227506 14782464 2942 4294967295 134512640 134714508 3221221792 3221219792 1074917086 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3609 2942 1111 63 0 3546 0
vsize: 14436
[startup+220.011 s]
Raw data (loadavg): 1.00 1.02 1.00 2/54 27817
Raw data (stat): 27817 (bsolo_lpr) R 27816 7876 7672 0 -1 0 145297 0 0 0 21612 385 0 0 25 0 1 0 679227506 16310272 3063 4294967295 134512640 134714508 3221221792 3221218336 1075088581 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3982 3063 1111 63 0 3919 0
vsize: 15928
[startup+230.011 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 27817
Raw data (stat): 27817 (bsolo_lpr) R 27816 7876 7672 0 -1 0 153650 0 0 0 22592 406 0 0 25 0 1 0 679227506 15429632 3100 4294967295 134512640 134714508 3221221792 3221220192 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3767 3100 1111 63 0 3704 0
vsize: 15068
[startup+240.011 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 27817
Raw data (stat): 27817 (bsolo_lpr) R 27816 7876 7672 0 -1 0 161517 0 0 0 23573 425 0 0 25 0 1 0 679227506 16048128 3251 4294967295 134512640 134714508 3221221792 3221220192 1074153675 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3918 3251 1111 63 0 3855 0
vsize: 15672
[startup+250.01 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 27817
Raw data (stat): 27817 (bsolo_lpr) R 27816 7876 7672 0 -1 0 169209 0 0 0 24555 443 0 0 25 0 1 0 679227506 16232448 3296 4294967295 134512640 134714508 3221221792 3221220192 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3963 3296 1111 63 0 3900 0
vsize: 15852
[startup+260.011 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 27817
Raw data (stat): 27817 (bsolo_lpr) R 27816 7876 7672 0 -1 0 176947 0 0 0 25538 461 0 0 25 0 1 0 679227506 16302080 3313 4294967295 134512640 134714508 3221221792 3221220176 1074153660 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3980 3313 1111 63 0 3917 0
vsize: 15920
[startup+270.012 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 27817
Raw data (stat): 27817 (bsolo_lpr) R 27816 7876 7672 0 -1 0 183146 0 0 0 26522 476 0 0 25 0 1 0 679227506 16420864 3342 4294967295 134512640 134714508 3221221792 3221220144 1074153736 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4009 3342 1111 63 0 3946 0
vsize: 16036
[startup+280.012 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 27817
Raw data (stat): 27817 (bsolo_lpr) R 27816 7876 7672 0 -1 0 189935 0 0 0 27505 494 0 0 25 0 1 0 679227506 16633856 3382 4294967295 134512640 134714508 3221221792 3221219792 1074918562 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4061 3382 1111 63 0 3998 0
vsize: 16244
[startup+290.012 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 27817
Raw data (stat): 27817 (bsolo_lpr) R 27816 7876 7672 0 -1 0 196845 0 0 0 28488 510 0 0 25 0 1 0 679227506 16949248 3465 4294967295 134512640 134714508 3221221792 3221220192 1074153786 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4138 3465 1111 63 0 4075 0
vsize: 16552
[startup+300.012 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 27817
Raw data (stat): 27817 (bsolo_lpr) R 27816 7876 7672 0 -1 0 202066 0 0 0 29477 522 0 0 25 0 1 0 679227506 17092608 3506 4294967295 134512640 134714508 3221221792 3221220144 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4173 3506 1111 63 0 4110 0
vsize: 16692
[startup+310.013 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 27817
Raw data (stat): 27817 (bsolo_lpr) R 27816 7876 7672 0 -1 0 209597 0 0 0 30460 539 0 0 25 0 1 0 679227506 18030592 3597 4294967295 134512640 134714508 3221221792 3221217788 1074788136 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4402 3597 1111 63 0 4339 0
vsize: 17608
[startup+320.013 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 27817
Raw data (stat): 27817 (bsolo_lpr) R 27816 7876 7672 0 -1 0 215781 0 0 0 31445 554 0 0 25 0 1 0 679227506 17506304 3607 4294967295 134512640 134714508 3221221792 3221220452 134649897 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4274 3607 1111 63 0 4211 0
vsize: 17096
[startup+330.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27817
Raw data (stat): 27817 (bsolo_lpr) R 27816 7876 7672 0 -1 0 223452 0 0 0 32429 571 0 0 25 0 1 0 679227506 18739200 3762 4294967295 134512640 134714508 3221221792 3221218912 1074834317 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4444 3708 1111 63 0 4381 0
vsize: 18300
[startup+340.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27817
Raw data (stat): 27817 (bsolo_lpr) R 27816 7876 7672 0 -1 0 228789 0 0 0 33415 585 0 0 25 0 1 0 679227506 18096128 3751 4294967295 134512640 134714508 3221221792 3221220176 1074153779 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4418 3751 1111 63 0 4355 0
vsize: 17672
[startup+350.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27817
Raw data (stat): 27817 (bsolo_lpr) R 27816 7876 7672 0 -1 0 234029 0 0 0 34402 597 0 0 25 0 1 0 679227506 18477056 3844 4294967295 134512640 134714508 3221221792 3221220504 134543125 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4511 3844 1111 63 0 4448 0
vsize: 18044
[startup+360.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27817
Raw data (stat): 27817 (bsolo_lpr) R 27816 7876 7672 0 -1 0 238951 0 0 0 35391 609 0 0 25 0 1 0 679227506 19922944 3951 4294967295 134512640 134714508 3221221792 3221217920 1075112080 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4864 3951 1111 63 0 4801 0
vsize: 19456
[startup+370.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27817
Raw data (stat): 27817 (bsolo_lpr) R 27816 7876 7672 0 -1 0 244890 0 0 0 36377 623 0 0 25 0 1 0 679227506 18599936 3874 4294967295 134512640 134714508 3221221792 3221219720 1077378619 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4541 3874 1111 63 0 4478 0
vsize: 18164
[startup+380.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27817
Raw data (stat): 27817 (bsolo_lpr) R 27816 7876 7672 0 -1 0 250388 0 0 0 37363 637 0 0 25 0 1 0 679227506 20238336 3971 4294967295 134512640 134714508 3221221792 3221218064 1074960903 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4941 3971 1111 63 0 4878 0
vsize: 19764
[startup+390.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27817
Raw data (stat): 27817 (bsolo_lpr) R 27816 7876 7672 0 -1 0 255430 0 0 0 38350 650 0 0 25 0 1 0 679227506 19185664 4017 4294967295 134512640 134714508 3221221792 3221220516 134622811 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4684 4017 1111 63 0 4621 0
vsize: 18736
[startup+400.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27817
Raw data (stat): 27817 (bsolo_lpr) R 27816 7876 7672 0 -1 0 260174 0 0 0 39338 663 0 0 25 0 1 0 679227506 20512768 4026 4294967295 134512640 134714508 3221221792 3221218176 1074972176 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5008 4026 1111 63 0 4945 0
vsize: 20032
[startup+410.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27817
Raw data (stat): 27817 (bsolo_lpr) R 27816 7876 7672 0 -1 0 266259 0 0 0 40322 679 0 0 25 0 1 0 679227506 19247104 4032 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4699 4032 1111 63 0 4636 0
vsize: 18796
[startup+420.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27817
Raw data (stat): 27817 (bsolo_lpr) R 27816 7876 7672 0 -1 0 272133 0 0 0 41307 694 0 0 25 0 1 0 679227506 21278720 4318 4294967295 134512640 134714508 3221221792 3221217740 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5195 4318 1111 63 0 5132 0
vsize: 20780
[startup+430.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27817
Raw data (stat): 27817 (bsolo_lpr) R 27816 7876 7672 0 -1 0 278438 0 0 0 42292 710 0 0 25 0 1 0 679227506 21139456 4179 4294967295 134512640 134714508 3221221792 3221217832 1074860373 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5161 4179 1111 63 0 5098 0
vsize: 20644
[startup+440.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27817
Raw data (stat): 27817 (bsolo_lpr) R 27816 7876 7672 0 -1 0 285862 0 0 0 43272 730 0 0 25 0 1 0 679227506 21286912 4232 4294967295 134512640 134714508 3221221792 3221217740 1074788926 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5197 4233 1111 63 0 5134 0
vsize: 20788
[startup+450.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27817
Raw data (stat): 27817 (bsolo_lpr) R 27816 7876 7672 0 -1 0 293899 0 0 0 44253 748 0 0 25 0 1 0 679227506 21454848 4263 4294967295 134512640 134714508 3221221792 3221218912 1074834340 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5238 4263 1111 63 0 5175 0
vsize: 20952
[startup+460.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27817
Raw data (stat): 27817 (bsolo_lpr) R 27816 7876 7672 0 -1 0 299384 0 0 0 45241 761 0 0 25 0 1 0 679227506 21659648 4294 4294967295 134512640 134714508 3221221792 3221218148 1075522726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5288 4294 1111 63 0 5225 0
vsize: 21152
[startup+470.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27817
Raw data (stat): 27817 (bsolo_lpr) R 27816 7876 7672 0 -1 0 304500 0 0 0 46228 774 0 0 25 0 1 0 679227506 20295680 4288 4294967295 134512640 134714508 3221221792 3221219840 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4955 4288 1111 63 0 4892 0
vsize: 19820
[startup+480.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27817
Raw data (stat): 27817 (bsolo_lpr) R 27816 7876 7672 0 -1 0 310556 0 0 0 47215 787 0 0 25 0 1 0 679227506 20258816 4279 4294967295 134512640 134714508 3221221792 3221220032 1074153779 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4946 4279 1111 63 0 4883 0
vsize: 19784
[startup+490.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27817
Raw data (stat): 27817 (bsolo_lpr) R 27816 7876 7672 0 -1 0 317926 0 0 0 48199 804 0 0 25 0 1 0 679227506 20451328 4326 4294967295 134512640 134714508 3221221792 3221220508 134558493 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4993 4326 1111 63 0 4930 0
vsize: 19972
[startup+500.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27817
Raw data (stat): 27817 (bsolo_lpr) R 27816 7876 7672 0 -1 0 324654 0 0 0 49182 821 0 0 25 0 1 0 679227506 20647936 4374 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5041 4374 1111 63 0 4978 0
vsize: 20164
[startup+510.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27817
Raw data (stat): 27817 (bsolo_lpr) R 27816 7876 7672 0 -1 0 331091 0 0 0 50166 836 0 0 25 0 1 0 679227506 20443136 4324 4294967295 134512640 134714508 3221221792 3221219840 1074153792 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4991 4324 1111 63 0 4928 0
vsize: 19964
[startup+520.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27817
Raw data (stat): 27817 (bsolo_lpr) R 27816 7876 7672 0 -1 0 337187 0 0 0 51153 849 0 0 25 0 1 0 679227506 22618112 4607 4294967295 134512640 134714508 3221221792 3221217936 1074969474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5522 4607 1111 63 0 5459 0
vsize: 22088
[startup+530.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27817
Raw data (stat): 27817 (bsolo_lpr) R 27816 7876 7672 0 -1 0 343723 0 0 0 52138 865 0 0 25 0 1 0 679227506 20758528 4401 4294967295 134512640 134714508 3221221792 3221219840 1077814665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5068 4401 1111 63 0 5005 0
vsize: 20272
[startup+540.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27817
Raw data (stat): 27817 (bsolo_lpr) R 27816 7876 7672 0 -1 0 350821 0 0 0 53121 883 0 0 25 0 1 0 679227506 22859776 4734 4294967295 134512640 134714508 3221221792 3221217740 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5581 4734 1111 63 0 5518 0
vsize: 22324
[startup+550.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27817
Raw data (stat): 27817 (bsolo_lpr) R 27816 7876 7672 0 -1 0 357924 0 0 0 54104 900 0 0 25 0 1 0 679227506 22269952 4571 4294967295 134512640 134714508 3221221792 3221217952 1075093371 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5437 4572 1111 63 0 5374 0
vsize: 21748
[startup+560.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27817
Raw data (stat): 27817 (bsolo_lpr) R 27816 7876 7672 0 -1 0 365568 0 0 0 55086 917 0 0 25 0 1 0 679227506 22949888 4688 4294967295 134512640 134714508 3221221792 3221217952 1075091819 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5603 4688 1111 63 0 5540 0
vsize: 22412
[startup+570.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27817
Raw data (stat): 27817 (bsolo_lpr) R 27816 7876 7672 0 -1 0 371367 0 0 0 56074 930 0 0 25 0 1 0 679227506 22847488 4634 4294967295 134512640 134714508 3221221792 3221218448 1075967895 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5578 4634 1111 63 0 5515 0
vsize: 22312
[startup+580.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27817
Raw data (stat): 27817 (bsolo_lpr) R 27816 7876 7672 0 -1 0 376944 0 0 0 57061 943 0 0 25 0 1 0 679227506 21471232 4544 4294967295 134512640 134714508 3221221792 3221220192 1074153779 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5242 4544 1111 63 0 5179 0
vsize: 20968
[startup+590.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27817
Raw data (stat): 27817 (bsolo_lpr) R 27816 7876 7672 0 -1 0 382694 0 0 0 58047 957 0 0 25 0 1 0 679227506 23339008 4757 4294967295 134512640 134714508 3221221792 3221218128 1075113628 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5698 4758 1111 63 0 5635 0
vsize: 22792
[startup+600.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27817
Raw data (stat): 27817 (bsolo_lpr) R 27816 7876 7672 0 -1 0 388700 0 0 0 59033 971 0 0 25 0 1 0 679227506 21327872 4540 4294967295 134512640 134714508 3221221792 3221220368 134539460 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5207 4540 1111 63 0 5144 0
vsize: 20828
[startup+610.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27817
Raw data (stat): 27817 (bsolo_lpr) R 27816 7876 7672 0 -1 0 394387 0 0 0 60019 986 0 0 25 0 1 0 679227506 21827584 4662 4294967295 134512640 134714508 3221221792 3221219840 1074153786 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5329 4662 1111 63 0 5266 0
vsize: 21316
[startup+620.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27817
Raw data (stat): 27817 (bsolo_lpr) R 27816 7876 7672 0 -1 0 397118 0 0 0 61012 992 0 0 25 0 1 0 679227506 22044672 4664 4294967295 134512640 134714508 3221221792 3221219432 1077410205 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5382 4669 1111 63 0 5319 0
vsize: 21528
[startup+630.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27817
Raw data (stat): 27817 (bsolo_lpr) R 27816 7876 7672 0 -1 0 408543 0 0 0 61986 1019 0 0 25 0 1 0 679227506 22941696 4708 4294967295 134512640 134714508 3221221792 3221218448 1075966495 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5601 4708 1111 63 0 5538 0
vsize: 22404
[startup+640.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27817
Raw data (stat): 27817 (bsolo_lpr) R 27816 7876 7672 0 -1 0 422564 0 0 0 62952 1053 0 0 25 0 1 0 679227506 22081536 4724 4294967295 134512640 134714508 3221221792 3221219880 1075635093 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5391 4724 1111 63 0 5328 0
vsize: 21564
[startup+650.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27817
Raw data (stat): 27817 (bsolo_lpr) R 27816 7876 7672 0 -1 0 434931 0 0 0 63923 1082 0 0 25 0 1 0 679227506 22446080 4813 4294967295 134512640 134714508 3221221792 3221220396 134543192 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5480 4813 1111 63 0 5417 0
vsize: 21920
[startup+660.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27817
Raw data (stat): 27817 (bsolo_lpr) R 27816 7876 7672 0 -1 0 440865 0 0 0 64908 1098 0 0 25 0 1 0 679227506 23654400 5104 4294967295 134512640 134714508 3221221792 3221219792 1074918576 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5775 5104 1111 63 0 5712 0
vsize: 23100
[startup+670.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27817
Raw data (stat): 27817 (bsolo_lpr) R 27816 7876 7672 0 -1 0 444765 0 0 0 65898 1107 0 0 25 0 1 0 679227506 24752128 4996 4294967295 134512640 134714508 3221221792 3221217724 1074788156 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6043 4996 1111 63 0 5980 0
vsize: 24172
[startup+680.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27817
Raw data (stat): 27817 (bsolo_lpr) R 27816 7876 7672 0 -1 0 450308 0 0 0 66886 1120 0 0 25 0 1 0 679227506 24670208 5129 4294967295 134512640 134714508 3221221792 3221217956 1075964221 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6023 5129 1111 63 0 5960 0
vsize: 24092
[startup+690.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27817
Raw data (stat): 27817 (bsolo_lpr) R 27816 7876 7672 0 -1 0 455734 0 0 0 67873 1133 0 0 25 0 1 0 679227506 22982656 4944 4294967295 134512640 134714508 3221221792 3221220504 134558585 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5611 4944 1111 63 0 5548 0
vsize: 22444
[startup+700.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27817
Raw data (stat): 27817 (bsolo_lpr) R 27816 7876 7672 0 -1 0 460885 0 0 0 68860 1146 0 0 25 0 1 0 679227506 23248896 4995 4294967295 134512640 134714508 3221221792 3221219792 1074917100 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5676 4995 1111 63 0 5613 0
vsize: 22704
[startup+710.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27817
Raw data (stat): 27817 (bsolo_lpr) R 27816 7876 7672 0 -1 0 465334 0 0 0 69849 1158 0 0 25 0 1 0 679227506 25112576 5073 4294967295 134512640 134714508 3221221792 3221217724 1074788159 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6131 5073 1111 63 0 6068 0
vsize: 24524
[startup+720.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27817
Raw data (stat): 27817 (bsolo_lpr) R 27816 7876 7672 0 -1 0 471494 0 0 0 70834 1173 0 0 25 0 1 0 679227506 23666688 5111 4294967295 134512640 134714508 3221221792 3221220516 134622811 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5778 5111 1111 63 0 5715 0
vsize: 23112
[startup+730.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27817
Raw data (stat): 27817 (bsolo_lpr) R 27816 7876 7672 0 -1 0 476045 0 0 0 71823 1184 0 0 25 0 1 0 679227506 23838720 5153 4294967295 134512640 134714508 3221221792 3221219696 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5820 5153 1111 63 0 5757 0
vsize: 23280
[startup+740.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27817
Raw data (stat): 27817 (bsolo_lpr) R 27816 7876 7672 0 -1 0 478392 0 0 0 72818 1189 0 0 25 0 1 0 679227506 24285184 5262 4294967295 134512640 134714508 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5929 5262 1111 63 0 5866 0
vsize: 23716
[startup+750.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27817
Raw data (stat): 27817 (bsolo_lpr) R 27816 7876 7672 0 -1 0 484612 0 0 0 73802 1205 0 0 25 0 1 0 679227506 24174592 5214 4294967295 134512640 134714508 3221221792 3221220192 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5902 5214 1111 63 0 5839 0
vsize: 23608
[startup+760.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27817
Raw data (stat): 27817 (bsolo_lpr) R 27816 7876 7672 0 -1 0 490903 0 0 0 74786 1221 0 0 25 0 1 0 679227506 24268800 5231 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5925 5231 1111 63 0 5862 0
vsize: 23700
[startup+770.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27817
Raw data (stat): 27817 (bsolo_lpr) R 27816 7876 7672 0 -1 0 496085 0 0 0 75773 1234 0 0 25 0 1 0 679227506 24457216 5275 4294967295 134512640 134714508 3221221792 3221219664 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5971 5275 1111 63 0 5908 0
vsize: 23884
[startup+780.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27817
Raw data (stat): 27817 (bsolo_lpr) R 27816 7876 7672 0 -1 0 501409 0 0 0 76760 1247 0 0 25 0 1 0 679227506 24178688 5236 4294967295 134512640 134714508 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5903 5236 1111 63 0 5840 0
vsize: 23612
[startup+790.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27817
Raw data (stat): 27817 (bsolo_lpr) R 27816 7876 7672 0 -1 0 509033 0 0 0 77743 1265 0 0 25 0 1 0 679227506 24547328 5326 4294967295 134512640 134714508 3221221792 3221220584 134558492 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5993 5326 1111 63 0 5930 0
vsize: 23972
[startup+800.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27817
Raw data (stat): 27817 (bsolo_lpr) R 27816 7876 7672 0 -1 0 512847 0 0 0 78733 1275 0 0 25 0 1 0 679227506 24207360 5243 4294967295 134512640 134714508 3221221792 3221220528 134622873 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5910 5243 1111 63 0 5847 0
vsize: 23640
[startup+810.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27817
Raw data (stat): 27817 (bsolo_lpr) R 27816 7876 7672 0 -1 0 520983 0 0 0 79713 1295 0 0 25 0 1 0 679227506 26095616 5656 4294967295 134512640 134714508 3221221792 3221219520 1075828939 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6371 5656 1111 63 0 6308 0
vsize: 25484
[startup+820.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27817
Raw data (stat): 27817 (bsolo_lpr) R 27816 7876 7672 0 -1 0 525356 0 0 0 80704 1304 0 0 25 0 1 0 679227506 25214976 5472 4294967295 134512640 134714508 3221221792 3221219952 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6156 5472 1111 63 0 6093 0
vsize: 24624
[startup+830.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27817
Raw data (stat): 27817 (bsolo_lpr) R 27816 7876 7672 0 -1 0 530629 0 0 0 81690 1319 0 0 25 0 1 0 679227506 25612288 5562 4294967295 134512640 134714508 3221221792 3221219296 1077814665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6253 5562 1111 63 0 6190 0
vsize: 25012
[startup+840.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27817
Raw data (stat): 27817 (bsolo_lpr) R 27816 7876 7672 0 -1 0 533542 0 0 0 82682 1326 0 0 25 0 1 0 679227506 26140672 5698 4294967295 134512640 134714508 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6382 5698 1111 63 0 6319 0
vsize: 25528
[startup+850.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27817
Raw data (stat): 27817 (bsolo_lpr) R 27816 7876 7672 0 -1 0 538244 0 0 0 83671 1338 0 0 25 0 1 0 679227506 28106752 5552 4294967295 134512640 134714508 3221221792 3221218128 1075113493 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6862 5552 1111 63 0 6799 0
vsize: 27448
[startup+860.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27817
Raw data (stat): 27817 (bsolo_lpr) R 27816 7876 7672 0 -1 0 541231 0 0 0 84664 1345 0 0 25 0 1 0 679227506 26320896 5739 4294967295 134512640 134714508 3221221792 3221220512 134622815 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6426 5739 1111 63 0 6363 0
vsize: 25704
[startup+870.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27817
Raw data (stat): 27817 (bsolo_lpr) R 27816 7876 7672 0 -1 0 545442 0 0 0 85653 1356 0 0 25 0 1 0 679227506 26120192 5693 4294967295 134512640 134714508 3221221792 3221219904 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6377 5693 1111 63 0 6314 0
vsize: 25508
[startup+880.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27817
Raw data (stat): 27817 (bsolo_lpr) R 27816 7876 7672 0 -1 0 547960 0 0 0 86648 1361 0 0 25 0 1 0 679227506 26267648 5729 4294967295 134512640 134714508 3221221792 3221220512 134622839 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6413 5729 1111 63 0 6350 0
vsize: 25652
[startup+890.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27817
Raw data (stat): 27817 (bsolo_lpr) R 27816 7876 7672 0 -1 0 559374 0 0 0 87621 1388 0 0 25 0 1 0 679227506 25649152 5578 4294967295 134512640 134714508 3221221792 3221220176 1074153800 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6262 5578 1111 63 0 6199 0
vsize: 25048
[startup+900.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27817
Raw data (stat): 27817 (bsolo_lpr) R 27816 7876 7672 0 -1 0 566893 0 0 0 88605 1405 0 0 25 0 1 0 679227506 28848128 5742 4294967295 134512640 134714508 3221221792 3221218856 1077410205 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7043 5742 1111 63 0 6980 0
vsize: 28172
[startup+910.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27817
Raw data (stat): 27817 (bsolo_lpr) R 27816 7876 7672 0 -1 0 572704 0 0 0 89592 1418 0 0 25 0 1 0 679227506 26177536 5707 4294967295 134512640 134714508 3221221792 3221220504 134558490 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6391 5707 1111 63 0 6328 0
vsize: 25564
[startup+920.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27817
Raw data (stat): 27817 (bsolo_lpr) R 27816 7876 7672 0 -1 0 579727 0 0 0 90576 1434 0 0 25 0 1 0 679227506 29052928 5782 4294967295 134512640 134714508 3221221792 3221218448 1075966250 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7093 5782 1111 63 0 7030 0
vsize: 28372
[startup+930.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27817
Raw data (stat): 27817 (bsolo_lpr) R 27816 7876 7672 0 -1 0 585376 0 0 0 91564 1446 0 0 25 0 1 0 679227506 26284032 5733 4294967295 134512640 134714508 3221221792 3221220192 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6417 5733 1111 63 0 6354 0
vsize: 25668
[startup+940.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27817
Raw data (stat): 27817 (bsolo_lpr) R 27816 7876 7672 0 -1 0 588558 0 0 0 92557 1454 0 0 25 0 1 0 679227506 27066368 5923 4294967295 134512640 134714508 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6608 5923 1111 63 0 6545 0
vsize: 26432
[startup+950.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27817
Raw data (stat): 27817 (bsolo_lpr) R 27816 7876 7672 0 -1 0 593452 0 0 0 93546 1465 0 0 25 0 1 0 679227506 27029504 5915 4294967295 134512640 134714508 3221221792 3221219808 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6599 5915 1111 63 0 6536 0
vsize: 26396
[startup+960.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27817
Raw data (stat): 27817 (bsolo_lpr) R 27816 7876 7672 0 -1 0 596067 0 0 0 94541 1470 0 0 25 0 1 0 679227506 26517504 5790 4294967295 134512640 134714508 3221221792 3221219888 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6474 5790 1111 63 0 6411 0
vsize: 25896
[startup+970.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27817
Raw data (stat): 27817 (bsolo_lpr) R 27816 7876 7672 0 -1 0 598978 0 0 0 95535 1476 0 0 25 0 1 0 679227506 27209728 5957 4294967295 134512640 134714508 3221221792 3221220588 134542400 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6643 5957 1111 63 0 6580 0
vsize: 26572
[startup+980.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27817
Raw data (stat): 27817 (bsolo_lpr) R 27816 7876 7672 0 -1 0 602011 0 0 0 96528 1484 0 0 25 0 1 0 679227506 27197440 5956 4294967295 134512640 134714508 3221221792 3221220504 134543165 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6640 5956 1111 63 0 6577 0
vsize: 26560
[startup+990.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27817
Raw data (stat): 27817 (bsolo_lpr) R 27816 7876 7672 0 -1 0 605709 0 0 0 97518 1494 0 0 25 0 1 0 679227506 27127808 5939 4294967295 134512640 134714508 3221221792 3221220192 1074153760 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6623 5939 1111 63 0 6560 0
vsize: 26492
[startup+1000.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27817
Raw data (stat): 27817 (bsolo_lpr) R 27816 7876 7672 0 -1 0 610963 0 0 0 98507 1505 0 0 25 0 1 0 679227506 29396992 5862 4294967295 134512640 134714508 3221221792 3221218160 1076117130 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7177 5862 1111 63 0 7114 0
vsize: 28708
[startup+1010.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27817
Raw data (stat): 27817 (bsolo_lpr) R 27816 7876 7672 0 -1 0 621277 0 0 0 99481 1531 0 0 25 0 1 0 679227506 28786688 6283 4294967295 134512640 134714508 3221221792 3221219904 1074867305 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7028 6283 1111 63 0 6965 0
vsize: 28112
[startup+1020.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27817
Raw data (stat): 27817 (bsolo_lpr) R 27816 7876 7672 0 -1 0 625526 0 0 0 100471 1541 0 0 25 0 1 0 679227506 27009024 5910 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6594 5910 1111 63 0 6531 0
vsize: 26376
[startup+1030.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27817
Raw data (stat): 27817 (bsolo_lpr) R 27816 7876 7672 0 -1 0 629062 0 0 0 101462 1551 0 0 25 0 1 0 679227506 30310400 6179 4294967295 134512640 134714508 3221221792 3221217688 1074789548 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7400 6179 1111 63 0 7337 0
vsize: 29600
[startup+1040.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27817
Raw data (stat): 27817 (bsolo_lpr) R 27816 7876 7672 0 -1 0 633111 0 0 0 102452 1561 0 0 25 0 1 0 679227506 27635712 6061 4294967295 134512640 134714508 3221221792 3221220512 134622812 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6747 6061 1111 63 0 6684 0
vsize: 26988
[startup+1050.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27817
Raw data (stat): 27817 (bsolo_lpr) R 27816 7876 7672 0 -1 0 635529 0 0 0 103447 1566 0 0 25 0 1 0 679227506 28569600 6291 4294967295 134512640 134714508 3221221792 3221219904 1074867308 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6975 6291 1111 63 0 6912 0
vsize: 27900
[startup+1060.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27817
Raw data (stat): 27817 (bsolo_lpr) R 27816 7876 7672 0 -1 0 639580 0 0 0 104439 1575 0 0 25 0 1 0 679227506 27598848 6054 4294967295 134512640 134714508 3221221792 3221220584 134543552 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6738 6054 1111 63 0 6675 0
vsize: 26952
[startup+1070.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27817
Raw data (stat): 27817 (bsolo_lpr) R 27816 7876 7672 0 -1 0 643281 0 0 0 105431 1582 0 0 25 0 1 0 679227506 31416320 6649 4294967295 134512640 134714508 3221221792 3221218032 1075115696 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7670 6649 1111 63 0 7607 0
vsize: 30680
[startup+1080.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27817
Raw data (stat): 27817 (bsolo_lpr) R 27816 7876 7672 0 -1 0 646647 0 0 0 106423 1590 0 0 25 0 1 0 679227506 27394048 5981 4294967295 134512640 134714508 3221221792 3221219856 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6688 5981 1111 63 0 6625 0
vsize: 26752
[startup+1090.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27817
Raw data (stat): 27817 (bsolo_lpr) R 27816 7876 7672 0 -1 0 650995 0 0 0 107413 1600 0 0 25 0 1 0 679227506 27860992 6118 4294967295 134512640 134714508 3221221792 3221220516 134622905 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6802 6118 1111 63 0 6739 0
vsize: 27208
[startup+1100.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27817
Raw data (stat): 27817 (bsolo_lpr) R 27816 7876 7672 0 -1 0 655071 0 0 0 108404 1610 0 0 25 0 1 0 679227506 31252480 6457 4294967295 134512640 134714508 3221221792 3221218032 1075115768 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7630 6457 1111 63 0 7567 0
vsize: 30520
[startup+1110.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27817
Raw data (stat): 27817 (bsolo_lpr) R 27816 7876 7672 0 -1 0 659499 0 0 0 109394 1620 0 0 25 0 1 0 679227506 31207424 6703 4294967295 134512640 134714508 3221221792 3221218064 1074961246 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7619 6703 1111 63 0 7556 0
vsize: 30476
[startup+1120.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27817
Raw data (stat): 27817 (bsolo_lpr) R 27816 7876 7672 0 -1 0 669178 0 0 0 110372 1642 0 0 25 0 1 0 679227506 29306880 6119 4294967295 134512640 134714508 3221221792 3221217920 1075561223 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7155 6119 1111 63 0 7092 0
vsize: 28620
[startup+1130.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27817
Raw data (stat): 27817 (bsolo_lpr) R 27816 7876 7672 0 -1 0 686805 0 0 0 111332 1683 0 0 25 0 1 0 679227506 29585408 6223 4294967295 134512640 134714508 3221221792 3221218824 1077410163 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7223 6223 1111 63 0 7160 0
vsize: 28892
[startup+1140.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27817
Raw data (stat): 27817 (bsolo_lpr) R 27816 7876 7672 0 -1 0 702491 0 0 0 112295 1719 0 0 25 0 1 0 679227506 31166464 6286 4294967295 134512640 134714508 3221221792 3221217936 1074969458 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7609 6286 1111 63 0 7546 0
vsize: 30436
[startup+1150.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27817
Raw data (stat): 27817 (bsolo_lpr) R 27816 7876 7672 0 -1 0 718342 0 0 0 113256 1759 0 0 25 0 1 0 679227506 28557312 6288 4294967295 134512640 134714508 3221221792 3221220172 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6972 6288 1111 63 0 6909 0
vsize: 27888
[startup+1160.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27817
Raw data (stat): 27817 (bsolo_lpr) R 27816 7876 7672 0 -1 0 732031 0 0 0 114222 1793 0 0 25 0 1 0 679227506 29138944 6392 4294967295 134512640 134714508 3221221792 3221219520 1075829986 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7114 6392 1111 63 0 7051 0
vsize: 28456
[startup+1170.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27817
Raw data (stat): 27817 (bsolo_lpr) R 27816 7876 7672 0 -1 0 745769 0 0 0 115190 1825 0 0 25 0 1 0 679227506 29286400 6466 4294967295 134512640 134714508 3221221792 3221219848 1074138150 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7150 6466 1111 63 0 7087 0
vsize: 28600
[startup+1175.17 s]
Raw data (loadavg): 1.00 1.00 1.00 1/53 27817
Raw data (stat): 27817 (bsolo_lpr) R 27816 7876 7672 0 -1 0 745769 0 0 0 115190 1825 0 0 25 0 1 0 679227506 29286400 6466 4294967295 134512640 134714508 3221221792 3221219848 1074138150 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7150 6466 1111 63 0 7087 0
vsize: 0

Child status: 10
Real time (s): 1175.17
CPU time (s): 1175.29
CPU user time (s): 1156.8
CPU system time (s): 18.4892
CPU usage (%): 100.01
Max. virtual memory (Kb): 30680
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	142
#### END VERIFIER DATA ####