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 23959

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-07 01:45:38 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=1470 boxname=wulflinc31 idbench=164 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  6005a01d3f2ae55b0ca9c19f876c5827  /oldhome/oroussel/tmp/wulflinc31/normalized-ii8a2.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-ii8a2.opb
IDLAUNCH: 1470
/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:        149508 kB
Buffers:         37812 kB
Cached:         813176 kB
SwapCached:        644 kB
Active:         487352 kB
Inactive:       365960 kB
HighTotal:      131008 kB
HighFree:         8456 kB
LowTotal:       903652 kB
LowFree:        141052 kB
SwapTotal:     2097892 kB
SwapFree:      2096612 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           5608 kB
Slab:            26228 kB
Committed_AS:    63652 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-07 02:05:36 (client local time) WITH STATUS 10 IN 1198.38 SECONDS
stats: 1470 0 1198.38 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Initial problem consists of 360 variables and 980 constraints.
c After prepocess the problem consists of 360 variables and 974 constraints.
c preprocess terminated 0.344 s
c Initial Lower Bound: 86
c Lower Bound Elapsed time: 0
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 154 @ 0.508
c NEW SOLUTION FOUND: 153 @ 0.556
c NEW SOLUTION FOUND: 152 @ 0.589
c NEW SOLUTION FOUND: 151 @ 0.604
c NEW SOLUTION FOUND: 150 @ 0.624
c NEW SOLUTION FOUND: 149 @ 0.641
c NEW SOLUTION FOUND: 148 @ 0.664
c NEW SOLUTION FOUND: 147 @ 0.678
c NEW SOLUTION FOUND: 146 @ 0.693
c NEW SOLUTION FOUND: 145 @ 0.708
c NEW SOLUTION FOUND: 144 @ 0.725
c NEW SOLUTION FOUND: 143 @ 0.747
c NEW SOLUTION FOUND: 142 @ 0.78
c NEW SOLUTION FOUND: 141 @ 1.166
c NEW SOLUTION FOUND: 140 @ 569.071
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: 1198.32 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.91 0.95 0.98 2/54 28003
Raw data (stat): 28003 (runsolver) R 28002 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 679465691 1056768 100 4294967295 134512640 135381576 3221221696 3221216916 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0002 s]
Raw data (loadavg): 0.93 0.95 0.98 2/54 28003
Raw data (stat): 28003 (bsolo_mis) R 28002 7876 7672 0 -1 0 724 0 0 0 991 5 0 0 25 0 1 0 679465691 6541312 699 4294967295 134512640 134714540 3221221792 3221220512 134592104 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1597 699 1111 63 0 1534 0
vsize: 6388
[startup+20.001 s]
Raw data (loadavg): 0.94 0.96 0.98 2/54 28003
Raw data (stat): 28003 (bsolo_mis) R 28002 7876 7672 0 -1 0 724 0 0 0 1990 7 0 0 25 0 1 0 679465691 6541312 699 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1597 699 1111 63 0 1534 0
vsize: 6388
[startup+30.0019 s]
Raw data (loadavg): 0.95 0.96 0.98 2/54 28003
Raw data (stat): 28003 (bsolo_mis) R 28002 7876 7672 0 -1 0 724 0 0 0 2989 8 0 0 25 0 1 0 679465691 6541312 699 4294967295 134512640 134714540 3221221792 3221220320 134539757 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1597 699 1111 63 0 1534 0
vsize: 6388
[startup+40.0018 s]
Raw data (loadavg): 0.95 0.96 0.98 2/54 28003
Raw data (stat): 28003 (bsolo_mis) R 28002 7876 7672 0 -1 0 727 0 0 0 3988 9 0 0 25 0 1 0 679465691 6541312 702 4294967295 134512640 134714540 3221221792 3221220384 134535433 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1597 702 1111 63 0 1534 0
vsize: 6388
[startup+50.0018 s]
Raw data (loadavg): 0.96 0.96 0.98 2/54 28003
Raw data (stat): 28003 (bsolo_mis) R 28002 7876 7672 0 -1 0 737 0 0 0 4987 10 0 0 25 0 1 0 679465691 6672384 712 4294967295 134512640 134714540 3221221792 3221220476 134518100 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1629 712 1111 63 0 1566 0
vsize: 6516
[startup+60.0017 s]
Raw data (loadavg): 0.97 0.96 0.98 2/54 28003
Raw data (stat): 28003 (bsolo_mis) R 28002 7876 7672 0 -1 0 737 0 0 0 5986 11 0 0 25 0 1 0 679465691 6656000 712 4294967295 134512640 134714540 3221221792 3221220512 134592104 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1625 712 1111 63 0 1562 0
vsize: 6500
[startup+70.0016 s]
Raw data (loadavg): 0.97 0.96 0.98 2/54 28003
Raw data (stat): 28003 (bsolo_mis) R 28002 7876 7672 0 -1 0 755 0 0 0 6985 12 0 0 25 0 1 0 679465691 6656000 730 4294967295 134512640 134714540 3221221792 3221220500 134603388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1625 730 1111 63 0 1562 0
vsize: 6500
[startup+80.0026 s]
Raw data (loadavg): 0.98 0.96 0.98 2/54 28003
Raw data (stat): 28003 (bsolo_mis) R 28002 7876 7672 0 -1 0 755 0 0 0 7984 14 0 0 25 0 1 0 679465691 6656000 730 4294967295 134512640 134714540 3221221792 3221220504 134592337 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1625 730 1111 63 0 1562 0
vsize: 6500
[startup+90.0025 s]
Raw data (loadavg): 0.98 0.96 0.98 2/54 28003
Raw data (stat): 28003 (bsolo_mis) R 28002 7876 7672 0 -1 0 857 0 0 0 8983 15 0 0 25 0 1 0 679465691 7176192 832 4294967295 134512640 134714540 3221221792 3221220584 134558593 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1752 832 1111 63 0 1689 0
vsize: 7008
[startup+100.002 s]
Raw data (loadavg): 0.98 0.96 0.98 2/54 28003
Raw data (stat): 28003 (bsolo_mis) R 28002 7876 7672 0 -1 0 913 0 0 0 9981 16 0 0 25 0 1 0 679465691 7303168 888 4294967295 134512640 134714540 3221221792 3221220528 134529266 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1783 888 1111 63 0 1720 0
vsize: 7132
[startup+110.003 s]
Raw data (loadavg): 0.98 0.96 0.98 2/54 28003
Raw data (stat): 28003 (bsolo_mis) R 28002 7876 7672 0 -1 0 1117 0 0 0 10980 18 0 0 25 0 1 0 679465691 8212480 1092 4294967295 134512640 134714540 3221221792 3221220216 1077377249 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2005 1092 1111 63 0 1942 0
vsize: 8020
[startup+120.003 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 28003
Raw data (stat): 28003 (bsolo_mis) R 28002 7876 7672 0 -1 0 1135 0 0 0 11979 19 0 0 25 0 1 0 679465691 8212480 1110 4294967295 134512640 134714540 3221221792 3221220432 134534112 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2005 1110 1111 63 0 1942 0
vsize: 8020
[startup+130.003 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 28003
Raw data (stat): 28003 (bsolo_mis) R 28002 7876 7672 0 -1 0 1184 0 0 0 12977 21 0 0 25 0 1 0 679465691 8482816 1159 4294967295 134512640 134714540 3221221792 3221220412 134543615 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2071 1159 1111 63 0 2008 0
vsize: 8284
[startup+140.003 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 28003
Raw data (stat): 28003 (bsolo_mis) R 28002 7876 7672 0 -1 0 1278 0 0 0 13976 22 0 0 25 0 1 0 679465691 8880128 1253 4294967295 134512640 134714540 3221221792 3221220384 134542352 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2168 1253 1111 63 0 2105 0
vsize: 8672
[startup+150.003 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 28003
Raw data (stat): 28003 (bsolo_mis) R 28002 7876 7672 0 -1 0 1379 0 0 0 14975 23 0 0 25 0 1 0 679465691 9285632 1354 4294967295 134512640 134714540 3221221792 3221220504 134543187 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2267 1354 1111 63 0 2204 0
vsize: 9068
[startup+160.003 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 28003
Raw data (stat): 28003 (bsolo_mis) R 28002 7876 7672 0 -1 0 1394 0 0 0 15974 24 0 0 25 0 1 0 679465691 9285632 1369 4294967295 134512640 134714540 3221221792 3221220544 134604507 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2267 1369 1111 63 0 2204 0
vsize: 9068
[startup+170.003 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 28003
Raw data (stat): 28003 (bsolo_mis) R 28002 7876 7672 0 -1 0 1664 0 0 0 16972 27 0 0 25 0 1 0 679465691 10489856 1639 4294967295 134512640 134714540 3221221792 3221220592 134611186 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2561 1639 1111 63 0 2498 0
vsize: 10244
[startup+180.003 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 28003
Raw data (stat): 28003 (bsolo_mis) R 28002 7876 7672 0 -1 0 1747 0 0 0 17972 27 0 0 25 0 1 0 679465691 10760192 1722 4294967295 134512640 134714540 3221221792 3221220384 134696095 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2627 1722 1111 63 0 2564 0
vsize: 10508
[startup+190.003 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 28003
Raw data (stat): 28003 (bsolo_mis) R 28002 7876 7672 0 -1 0 1918 0 0 0 18971 28 0 0 25 0 1 0 679465691 11436032 1893 4294967295 134512640 134714540 3221221792 3221220532 134584851 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2792 1893 1111 63 0 2729 0
vsize: 11168
[startup+200.003 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 28003
Raw data (stat): 28003 (bsolo_mis) R 28002 7876 7672 0 -1 0 2156 0 0 0 19969 30 0 0 25 0 1 0 679465691 12488704 2131 4294967295 134512640 134714540 3221221792 3221220444 134543615 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3049 2131 1111 63 0 2986 0
vsize: 12196
[startup+210.003 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 28003
Raw data (stat): 28003 (bsolo_mis) R 28002 7876 7672 0 -1 0 2287 0 0 0 20968 31 0 0 25 0 1 0 679465691 13029376 2262 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3181 2262 1111 63 0 3118 0
vsize: 12724
[startup+220.003 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 28003
Raw data (stat): 28003 (bsolo_mis) R 28002 7876 7672 0 -1 0 3582 0 0 0 21964 35 0 0 25 0 1 0 679465691 18300928 3557 4294967295 134512640 134714540 3221221792 3221220384 134542350 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4468 3557 1111 63 0 4405 0
vsize: 17872
[startup+230.003 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 28003
Raw data (stat): 28003 (bsolo_mis) R 28002 7876 7672 0 -1 0 4159 0 0 0 22962 37 0 0 25 0 1 0 679465691 20647936 4134 4294967295 134512640 134714540 3221221792 3221220384 134538795 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5041 4134 1111 63 0 4978 0
vsize: 20164
[startup+240.003 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 28003
Raw data (stat): 28003 (bsolo_mis) R 28002 7876 7672 0 -1 0 4513 0 0 0 23960 39 0 0 25 0 1 0 679465691 22204416 4488 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5421 4488 1111 63 0 5358 0
vsize: 21684
[startup+250.002 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 28003
Raw data (stat): 28003 (bsolo_mis) R 28002 7876 7672 0 -1 0 4724 0 0 0 24959 41 0 0 25 0 1 0 679465691 23056384 4699 4294967295 134512640 134714540 3221221792 3221220492 134518132 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5629 4699 1111 63 0 5566 0
vsize: 22516
[startup+260.003 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 28003
Raw data (stat): 28003 (bsolo_mis) R 28002 7876 7672 0 -1 0 4936 0 0 0 25957 43 0 0 25 0 1 0 679465691 23887872 4911 4294967295 134512640 134714540 3221221792 3221220368 134535433 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5832 4911 1111 63 0 5769 0
vsize: 23328
[startup+270.002 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 28003
Raw data (stat): 28003 (bsolo_mis) R 28002 7876 7672 0 -1 0 5008 0 0 0 26956 44 0 0 25 0 1 0 679465691 24240128 4983 4294967295 134512640 134714540 3221221792 3221220492 134535506 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5918 4983 1111 63 0 5855 0
vsize: 23672
[startup+280.002 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 28003
Raw data (stat): 28003 (bsolo_mis) R 28002 7876 7672 0 -1 0 5105 0 0 0 27955 45 0 0 25 0 1 0 679465691 24633344 5080 4294967295 134512640 134714540 3221221792 3221220584 134543176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6014 5080 1111 63 0 5951 0
vsize: 24056
[startup+290.002 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 28003
Raw data (stat): 28003 (bsolo_mis) R 28002 7876 7672 0 -1 0 5209 0 0 0 28954 46 0 0 25 0 1 0 679465691 25194496 5178 4294967295 134512640 134714540 3221221792 3221220508 134558476 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6151 5178 1111 63 0 6088 0
vsize: 24604
[startup+300.002 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 28003
Raw data (stat): 28003 (bsolo_mis) R 28002 7876 7672 0 -1 0 5384 0 0 0 29954 47 0 0 25 0 1 0 679465691 26042368 5353 4294967295 134512640 134714540 3221221792 3221220584 134542450 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6358 5353 1111 63 0 6295 0
vsize: 25432
[startup+310.002 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 28003
Raw data (stat): 28003 (bsolo_mis) R 28002 7876 7672 0 -1 0 5433 0 0 0 30953 48 0 0 25 0 1 0 679465691 26165248 5402 4294967295 134512640 134714540 3221221792 3221220288 134696503 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6388 5402 1111 63 0 6325 0
vsize: 25552
[startup+320.002 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 28003
Raw data (stat): 28003 (bsolo_mis) R 28002 7876 7672 0 -1 0 5511 0 0 0 31951 50 0 0 25 0 1 0 679465691 26537984 5480 4294967295 134512640 134714540 3221221792 3221220348 134536817 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6479 5480 1111 63 0 6416 0
vsize: 25916
[startup+330.003 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 28003
Raw data (stat): 28003 (bsolo_mis) R 28002 7876 7672 0 -1 0 5548 0 0 0 32951 51 0 0 25 0 1 0 679465691 26660864 5517 4294967295 134512640 134714540 3221221792 3221220384 134613454 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6509 5517 1111 63 0 6446 0
vsize: 26036
[startup+340.003 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 28003
Raw data (stat): 28003 (bsolo_mis) R 28002 7876 7672 0 -1 0 5604 0 0 0 33950 51 0 0 25 0 1 0 679465691 26931200 5573 4294967295 134512640 134714540 3221221792 3221220592 134611010 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6575 5573 1111 63 0 6512 0
vsize: 26300
[startup+350.003 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 28003
Raw data (stat): 28003 (bsolo_mis) R 28002 7876 7672 0 -1 0 5619 0 0 0 34949 52 0 0 25 0 1 0 679465691 26931200 5588 4294967295 134512640 134714540 3221221792 3221220564 134624473 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6575 5588 1111 63 0 6512 0
vsize: 26300
[startup+360.004 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 28003
Raw data (stat): 28003 (bsolo_mis) R 28002 7876 7672 0 -1 0 5643 0 0 0 35949 53 0 0 25 0 1 0 679465691 27054080 5612 4294967295 134512640 134714540 3221221792 3221220396 134523384 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6605 5612 1111 63 0 6542 0
vsize: 26420
[startup+370.004 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 28003
Raw data (stat): 28003 (bsolo_mis) R 28002 7876 7672 0 -1 0 5705 0 0 0 36948 54 0 0 25 0 1 0 679465691 27283456 5674 4294967295 134512640 134714540 3221221792 3221220504 134543191 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6661 5674 1111 63 0 6598 0
vsize: 26644
[startup+380.004 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 28003
Raw data (stat): 28003 (bsolo_mis) R 28002 7876 7672 0 -1 0 5747 0 0 0 37948 54 0 0 25 0 1 0 679465691 27447296 5716 4294967295 134512640 134714540 3221221792 3221220432 134528425 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6701 5716 1111 63 0 6638 0
vsize: 26804
[startup+390.005 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 28003
Raw data (stat): 28003 (bsolo_mis) R 28002 7876 7672 0 -1 0 5758 0 0 0 38948 55 0 0 25 0 1 0 679465691 27582464 5727 4294967295 134512640 134714540 3221221792 3221220384 134538741 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6734 5727 1111 63 0 6671 0
vsize: 26936
[startup+400.005 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 28003
Raw data (stat): 28003 (bsolo_mis) R 28002 7876 7672 0 -1 0 5766 0 0 0 39948 55 0 0 25 0 1 0 679465691 27582464 5735 4294967295 134512640 134714540 3221221792 3221220584 134542412 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6734 5735 1111 63 0 6671 0
vsize: 26936
[startup+410.004 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 28003
Raw data (stat): 28003 (bsolo_mis) R 28002 7876 7672 0 -1 0 5785 0 0 0 40948 55 0 0 25 0 1 0 679465691 27582464 5754 4294967295 134512640 134714540 3221221792 3221220504 134558609 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6734 5754 1111 63 0 6671 0
vsize: 26936
[startup+420.004 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 28003
Raw data (stat): 28003 (bsolo_mis) R 28002 7876 7672 0 -1 0 5863 0 0 0 41947 56 0 0 25 0 1 0 679465691 27922432 5832 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6817 5832 1111 63 0 6754 0
vsize: 27268
[startup+430.005 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 28003
Raw data (stat): 28003 (bsolo_mis) R 28002 7876 7672 0 -1 0 5928 0 0 0 42947 57 0 0 25 0 1 0 679465691 28180480 5897 4294967295 134512640 134714540 3221221792 3221220704 134601742 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6880 5897 1111 63 0 6817 0
vsize: 27520
[startup+440.006 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 28003
Raw data (stat): 28003 (bsolo_mis) R 28002 7876 7672 0 -1 0 5993 0 0 0 43946 57 0 0 25 0 1 0 679465691 28450816 5962 4294967295 134512640 134714540 3221221792 3221220596 134611006 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6946 5962 1111 63 0 6883 0
vsize: 27784
[startup+450.005 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 28003
Raw data (stat): 28003 (bsolo_mis) R 28002 7876 7672 0 -1 0 6181 0 0 0 44945 58 0 0 25 0 1 0 679465691 29212672 6149 4294967295 134512640 134714540 3221221792 3221220560 134624533 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7132 6149 1111 63 0 7069 0
vsize: 28528
[startup+460.006 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 28003
Raw data (stat): 28003 (bsolo_mis) R 28002 7876 7672 0 -1 0 6616 0 0 0 45944 60 0 0 25 0 1 0 679465691 31019008 6582 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7573 6582 1111 63 0 7510 0
vsize: 30292
[startup+470.006 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 28003
Raw data (stat): 28003 (bsolo_mis) R 28002 7876 7672 0 -1 0 6900 0 0 0 46942 61 0 0 25 0 1 0 679465691 32161792 6864 4294967295 134512640 134714540 3221221792 3221220516 134622833 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7852 6864 1111 63 0 7789 0
vsize: 31408
[startup+480.006 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 28003
Raw data (stat): 28003 (bsolo_mis) R 28002 7876 7672 0 -1 0 6956 0 0 0 47942 62 0 0 25 0 1 0 679465691 32432128 6920 4294967295 134512640 134714540 3221221792 3221220520 134558582 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7918 6920 1111 63 0 7855 0
vsize: 31672
[startup+490.006 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 28003
Raw data (stat): 28003 (bsolo_mis) R 28002 7876 7672 0 -1 0 7320 0 0 0 48941 63 0 0 25 0 1 0 679465691 33882112 7283 4294967295 134512640 134714540 3221221792 3221220320 134543030 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8272 7283 1111 63 0 8209 0
vsize: 33088
[startup+500.006 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 28003
Raw data (stat): 28003 (bsolo_mis) R 28002 7876 7672 0 -1 0 7329 0 0 0 49940 65 0 0 25 0 1 0 679465691 34025472 7292 4294967295 134512640 134714540 3221221792 3221220492 134535671 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8307 7292 1111 63 0 8244 0
vsize: 33228
[startup+510.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 28003
Raw data (stat): 28003 (bsolo_mis) R 28002 7876 7672 0 -1 0 7337 0 0 0 50939 65 0 0 25 0 1 0 679465691 34025472 7300 4294967295 134512640 134714540 3221221792 3221220564 134590244 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8307 7300 1111 63 0 8244 0
vsize: 33228
[startup+520.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 28003
Raw data (stat): 28003 (bsolo_mis) R 28002 7876 7672 0 -1 0 7337 0 0 0 51938 67 0 0 25 0 1 0 679465691 34025472 7300 4294967295 134512640 134714540 3221221792 3221220488 134558492 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8307 7300 1111 63 0 8244 0
vsize: 33228
[startup+530.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 28003
Raw data (stat): 28003 (bsolo_mis) R 28002 7876 7672 0 -1 0 7356 0 0 0 52938 67 0 0 25 0 1 0 679465691 34025472 7319 4294967295 134512640 134714540 3221221792 3221220328 134543628 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8307 7319 1111 63 0 8244 0
vsize: 33228
[startup+540.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 28003
Raw data (stat): 28003 (bsolo_mis) R 28002 7876 7672 0 -1 0 7356 0 0 0 53937 68 0 0 25 0 1 0 679465691 34025472 7319 4294967295 134512640 134714540 3221221792 3221220480 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8307 7319 1111 63 0 8244 0
vsize: 33228
[startup+550.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 28003
Raw data (stat): 28003 (bsolo_mis) R 28002 7876 7672 0 -1 0 7356 0 0 0 54935 70 0 0 25 0 1 0 679465691 34025472 7319 4294967295 134512640 134714540 3221221792 3221220584 134542448 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8307 7319 1111 63 0 8244 0
vsize: 33228
[startup+560.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 28003
Raw data (stat): 28003 (bsolo_mis) R 28002 7876 7672 0 -1 0 7379 0 0 0 55935 71 0 0 25 0 1 0 679465691 34140160 7342 4294967295 134512640 134714540 3221221792 3221220304 134542306 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8335 7342 1111 63 0 8272 0
vsize: 33340
[startup+570.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 28003
Raw data (stat): 28003 (bsolo_mis) R 28002 7876 7672 0 -1 0 7394 0 0 0 56933 72 0 0 25 0 1 0 679465691 34263040 7357 4294967295 134512640 134714540 3221221792 3221220328 1077377249 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8365 7357 1111 63 0 8302 0
vsize: 33460
[startup+580.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 28003
Raw data (stat): 28003 (bsolo_mis) R 28002 7876 7672 0 -1 0 7574 0 0 0 57931 73 0 0 25 0 1 0 679465691 34893824 7537 4294967295 134512640 134714540 3221221792 3221220560 134624618 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8519 7537 1111 63 0 8456 0
vsize: 34076
[startup+590.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 28003
Raw data (stat): 28003 (bsolo_mis) R 28002 7876 7672 0 -1 0 7857 0 0 0 58930 75 0 0 25 0 1 0 679465691 36167680 7820 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8830 7820 1111 63 0 8767 0
vsize: 35320
[startup+600.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 28003
Raw data (stat): 28003 (bsolo_mis) R 28002 7876 7672 0 -1 0 8295 0 0 0 59927 78 0 0 25 0 1 0 679465691 37957632 8258 4294967295 134512640 134714540 3221221792 3221220496 134592438 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9267 8258 1111 63 0 9204 0
vsize: 37068
[startup+610.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 28003
Raw data (stat): 28003 (bsolo_mis) R 28002 7876 7672 0 -1 0 8330 0 0 0 60926 80 0 0 25 0 1 0 679465691 38072320 8293 4294967295 134512640 134714540 3221221792 3221220552 134558492 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9295 8293 1111 63 0 9232 0
vsize: 37180
[startup+620.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 28003
Raw data (stat): 28003 (bsolo_mis) R 28002 7876 7672 0 -1 0 8742 0 0 0 61924 82 0 0 25 0 1 0 679465691 39739392 8705 4294967295 134512640 134714540 3221221792 3221220488 134558492 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9702 8705 1111 63 0 9639 0
vsize: 38808
[startup+630.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 28003
Raw data (stat): 28003 (bsolo_mis) R 28002 7876 7672 0 -1 0 8916 0 0 0 62922 84 0 0 25 0 1 0 679465691 40378368 8878 4294967295 134512640 134714540 3221221792 3221220584 134558492 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9858 8878 1111 63 0 9795 0
vsize: 39432
[startup+640.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 28003
Raw data (stat): 28003 (bsolo_mis) R 28002 7876 7672 0 -1 0 9014 0 0 0 63921 85 0 0 25 0 1 0 679465691 40894464 8976 4294967295 134512640 134714540 3221221792 3221220632 134531428 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9984 8976 1111 63 0 9921 0
vsize: 39936
[startup+650.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 28003
Raw data (stat): 28003 (bsolo_mis) R 28002 7876 7672 0 -1 0 9348 0 0 0 64919 87 0 0 25 0 1 0 679465691 42258432 9310 4294967295 134512640 134714540 3221221792 3221220608 134610880 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10317 9310 1111 63 0 10254 0
vsize: 41268
[startup+660.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 28003
Raw data (stat): 28003 (bsolo_mis) R 28002 7876 7672 0 -1 0 9414 0 0 0 65918 88 0 0 25 0 1 0 679465691 42487808 9376 4294967295 134512640 134714540 3221221792 3221220576 134624731 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10373 9376 1111 63 0 10310 0
vsize: 41492
[startup+670.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 28003
Raw data (stat): 28003 (bsolo_mis) R 28002 7876 7672 0 -1 0 9427 0 0 0 66917 89 0 0 25 0 1 0 679465691 42622976 9389 4294967295 134512640 134714540 3221221792 3221220564 134624473 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10406 9389 1111 63 0 10343 0
vsize: 41624
[startup+680.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 28003
Raw data (stat): 28003 (bsolo_mis) R 28002 7876 7672 0 -1 0 9494 0 0 0 67916 90 0 0 25 0 1 0 679465691 42860544 9456 4294967295 134512640 134714540 3221221792 3221220584 134558582 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10464 9456 1111 63 0 10401 0
vsize: 41856
[startup+690.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 28003
Raw data (stat): 28003 (bsolo_mis) R 28002 7876 7672 0 -1 0 9505 0 0 0 68916 91 0 0 25 0 1 0 679465691 42860544 9467 4294967295 134512640 134714540 3221221792 3221220384 134613454 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10464 9467 1111 63 0 10401 0
vsize: 41856
[startup+700.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 28003
Raw data (stat): 28003 (bsolo_mis) R 28002 7876 7672 0 -1 0 10092 0 0 0 69914 93 0 0 25 0 1 0 679465691 45985792 10019 4294967295 134512640 134714540 3221221792 3221220452 134524590 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11227 10019 1111 63 0 11164 0
vsize: 44908
[startup+710.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 28003
Raw data (stat): 28003 (bsolo_mis) R 28002 7876 7672 0 -1 0 10230 0 0 0 70913 94 0 0 25 0 1 0 679465691 46526464 10157 4294967295 134512640 134714540 3221221792 3221220564 134624473 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11359 10157 1111 63 0 11296 0
vsize: 45436
[startup+720.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 28003
Raw data (stat): 28003 (bsolo_mis) R 28002 7876 7672 0 -1 0 10461 0 0 0 71912 95 0 0 25 0 1 0 679465691 47456256 10387 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11586 10387 1111 63 0 11523 0
vsize: 46344
[startup+730.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 28003
Raw data (stat): 28003 (bsolo_mis) R 28002 7876 7672 0 -1 0 10587 0 0 0 72911 97 0 0 25 0 1 0 679465691 47976448 10513 4294967295 134512640 134714540 3221221792 3221220412 134543615 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11713 10513 1111 63 0 11650 0
vsize: 46852
[startup+740.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 28003
Raw data (stat): 28003 (bsolo_mis) R 28002 7876 7672 0 -1 0 10759 0 0 0 73909 99 0 0 25 0 1 0 679465691 48754688 10685 4294967295 134512640 134714540 3221221792 3221220348 134539237 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11903 10685 1111 63 0 11840 0
vsize: 47612
[startup+750.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 28003
Raw data (stat): 28003 (bsolo_mis) R 28002 7876 7672 0 -1 0 11277 0 0 0 74907 101 0 0 25 0 1 0 679465691 50905088 11200 4294967295 134512640 134714540 3221221792 3221220504 134543179 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12428 11200 1111 63 0 12365 0
vsize: 49712
[startup+760.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 28003
Raw data (stat): 28003 (bsolo_mis) R 28002 7876 7672 0 -1 0 11534 0 0 0 75906 102 0 0 25 0 1 0 679465691 51851264 11457 4294967295 134512640 134714540 3221221792 3221220572 134542422 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12659 11457 1111 63 0 12596 0
vsize: 50636
[startup+770.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 28003
Raw data (stat): 28003 (bsolo_mis) R 28002 7876 7672 0 -1 0 11984 0 0 0 76904 104 0 0 25 0 1 0 679465691 53866496 11903 4294967295 134512640 134714540 3221221792 3221220388 1077374149 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13151 11903 1111 63 0 13088 0
vsize: 52604
[startup+780.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 28003
Raw data (stat): 28003 (bsolo_mis) R 28002 7876 7672 0 -1 0 12418 0 0 0 77902 106 0 0 25 0 1 0 679465691 55554048 12337 4294967295 134512640 134714540 3221221792 3221220492 134535620 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13563 12337 1111 63 0 13500 0
vsize: 54252
[startup+790.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 28003
Raw data (stat): 28003 (bsolo_mis) R 28002 7876 7672 0 -1 0 12511 0 0 0 78901 107 0 0 25 0 1 0 679465691 55926784 12430 4294967295 134512640 134714540 3221221792 3221220544 134558521 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13654 12430 1111 63 0 13591 0
vsize: 54616
[startup+800.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 28003
Raw data (stat): 28003 (bsolo_mis) R 28002 7876 7672 0 -1 0 12515 0 0 0 79899 109 0 0 25 0 1 0 679465691 55926784 12434 4294967295 134512640 134714540 3221221792 3221220384 134538892 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13654 12434 1111 63 0 13591 0
vsize: 54616
[startup+810.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 28003
Raw data (stat): 28003 (bsolo_mis) R 28002 7876 7672 0 -1 0 12552 0 0 0 80899 110 0 0 25 0 1 0 679465691 56193024 12469 4294967295 134512640 134714540 3221221792 3221220544 134558537 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13719 12469 1111 63 0 13656 0
vsize: 54876
[startup+820.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 28003
Raw data (stat): 28003 (bsolo_mis) R 28002 7876 7672 0 -1 0 12639 0 0 0 81898 111 0 0 25 0 1 0 679465691 56516608 12556 4294967295 134512640 134714540 3221221792 3221220500 134603750 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13798 12556 1111 63 0 13735 0
vsize: 55192
[startup+830.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 28003
Raw data (stat): 28003 (bsolo_mis) R 28002 7876 7672 0 -1 0 12642 0 0 0 82898 111 0 0 25 0 1 0 679465691 56516608 12559 4294967295 134512640 134714540 3221221792 3221220584 134543552 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13798 12559 1111 63 0 13735 0
vsize: 55192
[startup+840.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 28003
Raw data (stat): 28003 (bsolo_mis) R 28002 7876 7672 0 -1 0 12843 0 0 0 83897 112 0 0 25 0 1 0 679465691 57311232 12760 4294967295 134512640 134714540 3221221792 3221220448 134524417 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13992 12760 1111 63 0 13929 0
vsize: 55968
[startup+850.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 28003
Raw data (stat): 28003 (bsolo_mis) R 28002 7876 7672 0 -1 0 13126 0 0 0 84895 114 0 0 25 0 1 0 679465691 58519552 13040 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14287 13040 1111 63 0 14224 0
vsize: 57148
[startup+860.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 28003
Raw data (stat): 28003 (bsolo_mis) R 28002 7876 7672 0 -1 0 13275 0 0 0 85894 115 0 0 25 0 1 0 679465691 59019264 13189 4294967295 134512640 134714540 3221221792 3221220528 134622873 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14409 13189 1111 63 0 14346 0
vsize: 57636
[startup+870.01 s]
Raw data (loadavg): 1.07 0.99 0.99 3/57 28043
Raw data (stat): 28003 (bsolo_mis) R 28002 7876 7672 0 -1 0 13324 0 0 0 86894 115 0 0 25 0 1 0 679465691 59289600 13237 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14475 13237 1111 63 0 14412 0
vsize: 57900
[startup+880.012 s]
Raw data (loadavg): 1.06 0.99 0.99 2/54 28056
Raw data (stat): 28003 (bsolo_mis) R 28002 7876 7672 0 -1 0 13454 0 0 0 87892 116 0 0 25 0 1 0 679465691 59842560 13366 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14610 13366 1111 63 0 14547 0
vsize: 58440
[startup+890.097 s]
Raw data (loadavg): 1.05 0.99 0.99 2/54 28056
Raw data (stat): 28003 (bsolo_mis) R 28002 7876 7672 0 -1 0 13660 0 0 0 88900 117 0 0 25 0 1 0 679465691 60690432 13568 4294967295 134512640 134714540 3221221792 3221220508 134543156 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14817 13568 1111 63 0 14754 0
vsize: 59268
[startup+900.097 s]
Raw data (loadavg): 1.04 0.99 0.99 2/54 28056
Raw data (stat): 28003 (bsolo_mis) R 28002 7876 7672 0 -1 0 13660 0 0 0 89901 117 0 0 25 0 1 0 679465691 60690432 13568 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14817 13568 1111 63 0 14754 0
vsize: 59268
[startup+910.097 s]
Raw data (loadavg): 1.04 0.99 0.99 2/54 28056
Raw data (stat): 28003 (bsolo_mis) R 28002 7876 7672 0 -1 0 13797 0 0 0 90900 118 0 0 25 0 1 0 679465691 61337600 13705 4294967295 134512640 134714540 3221221792 3221220576 134624467 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14975 13705 1111 63 0 14912 0
vsize: 59900
[startup+920.098 s]
Raw data (loadavg): 1.03 0.99 0.99 2/54 28056
Raw data (stat): 28003 (bsolo_mis) R 28002 7876 7672 0 -1 0 14092 0 0 0 91899 119 0 0 25 0 1 0 679465691 62525440 13998 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15265 13998 1111 63 0 15202 0
vsize: 61060
[startup+930.098 s]
Raw data (loadavg): 1.03 0.99 0.99 2/54 28056
Raw data (stat): 28003 (bsolo_mis) R 28002 7876 7672 0 -1 0 14215 0 0 0 92899 119 0 0 25 0 1 0 679465691 63066112 14121 4294967295 134512640 134714540 3221221792 3221220528 134622849 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15397 14121 1111 63 0 15334 0
vsize: 61588
[startup+940.098 s]
Raw data (loadavg): 1.02 0.99 0.99 2/54 28056
Raw data (stat): 28003 (bsolo_mis) R 28002 7876 7672 0 -1 0 14537 0 0 0 93898 120 0 0 25 0 1 0 679465691 64299008 14443 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15698 14443 1111 63 0 15635 0
vsize: 62792
[startup+950.098 s]
Raw data (loadavg): 1.02 0.99 0.99 2/54 28058
Raw data (stat): 28003 (bsolo_mis) R 28002 7876 7672 0 -1 0 14916 0 0 0 94897 121 0 0 25 0 1 0 679465691 65781760 14822 4294967295 134512640 134714540 3221221792 3221220596 134610916 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16060 14822 1111 63 0 15997 0
vsize: 64240
[startup+960.099 s]
Raw data (loadavg): 1.01 0.99 0.99 2/54 28058
Raw data (stat): 28003 (bsolo_mis) R 28002 7876 7672 0 -1 0 15028 0 0 0 95897 122 0 0 25 0 1 0 679465691 66170880 14934 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16155 14934 1111 63 0 16092 0
vsize: 64620
[startup+970.099 s]
Raw data (loadavg): 1.01 0.99 0.99 2/54 28058
Raw data (stat): 28003 (bsolo_mis) R 28002 7876 7672 0 -1 0 15028 0 0 0 96897 122 0 0 25 0 1 0 679465691 66170880 14934 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16155 14934 1111 63 0 16092 0
vsize: 64620
[startup+980.1 s]
Raw data (loadavg): 1.01 0.99 0.99 2/54 28058
Raw data (stat): 28003 (bsolo_mis) R 28002 7876 7672 0 -1 0 15028 0 0 0 97897 122 0 0 25 0 1 0 679465691 66170880 14934 4294967295 134512640 134714540 3221221792 3221220520 134622854 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16155 14934 1111 63 0 16092 0
vsize: 64620
[startup+990.101 s]
Raw data (loadavg): 1.01 0.99 0.99 2/54 28058
Raw data (stat): 28003 (bsolo_mis) R 28002 7876 7672 0 -1 0 15049 0 0 0 98897 122 0 0 25 0 1 0 679465691 66306048 14955 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16188 14955 1111 63 0 16125 0
vsize: 64752
[startup+1000.1 s]
Raw data (loadavg): 1.01 0.99 0.99 2/54 28058
Raw data (stat): 28003 (bsolo_mis) R 28002 7876 7672 0 -1 0 15342 0 0 0 99896 123 0 0 25 0 1 0 679465691 67600384 15238 4294967295 134512640 134714540 3221221792 3221220504 134543187 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16504 15238 1111 63 0 16441 0
vsize: 66016
[startup+1010.1 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 28058
Raw data (stat): 28003 (bsolo_mis) R 28002 7876 7672 0 -1 0 15673 0 0 0 100896 124 0 0 25 0 1 0 679465691 68976640 15564 4294967295 134512640 134714540 3221221792 3221220584 134543552 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16840 15564 1111 63 0 16777 0
vsize: 67360
[startup+1020.1 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 28058
Raw data (stat): 28003 (bsolo_mis) R 28002 7876 7672 0 -1 0 15673 0 0 0 101896 124 0 0 25 0 1 0 679465691 68976640 15564 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16840 15564 1111 63 0 16777 0
vsize: 67360
[startup+1030.1 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 28058
Raw data (stat): 28003 (bsolo_mis) R 28002 7876 7672 0 -1 0 15673 0 0 0 102896 124 0 0 25 0 1 0 679465691 68976640 15564 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16840 15564 1111 63 0 16777 0
vsize: 67360
[startup+1040.1 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 28058
Raw data (stat): 28003 (bsolo_mis) R 28002 7876 7672 0 -1 0 15673 0 0 0 103896 124 0 0 25 0 1 0 679465691 68976640 15564 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16840 15564 1111 63 0 16777 0
vsize: 67360
[startup+1050.1 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 28058
Raw data (stat): 28003 (bsolo_mis) R 28002 7876 7672 0 -1 0 15786 0 0 0 104896 124 0 0 25 0 1 0 679465691 69517312 15677 4294967295 134512640 134714540 3221221792 3221220508 134543156 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16972 15677 1111 63 0 16909 0
vsize: 67888
[startup+1060.11 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 28058
Raw data (stat): 28003 (bsolo_mis) R 28002 7876 7672 0 -1 0 15786 0 0 0 105896 124 0 0 25 0 1 0 679465691 69517312 15677 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16972 15677 1111 63 0 16909 0
vsize: 67888
[startup+1070.11 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 28058
Raw data (stat): 28003 (bsolo_mis) R 28002 7876 7672 0 -1 0 15786 0 0 0 106896 125 0 0 25 0 1 0 679465691 69517312 15677 4294967295 134512640 134714540 3221221792 3221220504 134543187 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16972 15677 1111 63 0 16909 0
vsize: 67888
[startup+1080.11 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 28058
Raw data (stat): 28003 (bsolo_mis) R 28002 7876 7672 0 -1 0 15839 0 0 0 107897 125 0 0 25 0 1 0 679465691 69652480 15730 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17005 15730 1111 63 0 16942 0
vsize: 68020
[startup+1090.11 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 28058
Raw data (stat): 28003 (bsolo_mis) R 28002 7876 7672 0 -1 0 15839 0 0 0 108897 125 0 0 25 0 1 0 679465691 69652480 15730 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17005 15730 1111 63 0 16942 0
vsize: 68020
[startup+1100.11 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 28058
Raw data (stat): 28003 (bsolo_mis) R 28002 7876 7672 0 -1 0 15839 0 0 0 109897 125 0 0 25 0 1 0 679465691 69652480 15730 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17005 15730 1111 63 0 16942 0
vsize: 68020
[startup+1110.11 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 28058
Raw data (stat): 28003 (bsolo_mis) R 28002 7876 7672 0 -1 0 15839 0 0 0 110897 125 0 0 25 0 1 0 679465691 69652480 15730 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17005 15730 1111 63 0 16942 0
vsize: 68020
[startup+1120.11 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 28058
Raw data (stat): 28003 (bsolo_mis) R 28002 7876 7672 0 -1 0 15970 0 0 0 111897 125 0 0 25 0 1 0 679465691 70193152 15861 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17137 15861 1111 63 0 17074 0
vsize: 68548
[startup+1130.11 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 28058
Raw data (stat): 28003 (bsolo_mis) R 28002 7876 7672 0 -1 0 16173 0 0 0 112897 125 0 0 25 0 1 0 679465691 71041024 16062 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17344 16062 1111 63 0 17281 0
vsize: 69376
[startup+1140.11 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 28058
Raw data (stat): 28003 (bsolo_mis) R 28002 7876 7672 0 -1 0 16239 0 0 0 113896 126 0 0 25 0 1 0 679465691 71286784 16128 4294967295 134512640 134714540 3221221792 3221220504 134543174 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17404 16128 1111 63 0 17341 0
vsize: 69616
[startup+1150.11 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 28058
Raw data (stat): 28003 (bsolo_mis) R 28002 7876 7672 0 -1 0 16239 0 0 0 114896 126 0 0 25 0 1 0 679465691 71286784 16128 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17404 16128 1111 63 0 17341 0
vsize: 69616
[startup+1160.11 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 28058
Raw data (stat): 28003 (bsolo_mis) R 28002 7876 7672 0 -1 0 16239 0 0 0 115897 126 0 0 25 0 1 0 679465691 71286784 16128 4294967295 134512640 134714540 3221221792 3221220504 134558492 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17404 16128 1111 63 0 17341 0
vsize: 69616
[startup+1170.11 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 28058
Raw data (stat): 28003 (bsolo_mis) R 28002 7876 7672 0 -1 0 16239 0 0 0 116897 126 0 0 25 0 1 0 679465691 71286784 16128 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17404 16128 1111 63 0 17341 0
vsize: 69616
[startup+1180.11 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 28058
Raw data (stat): 28003 (bsolo_mis) R 28002 7876 7672 0 -1 0 16239 0 0 0 117897 127 0 0 25 0 1 0 679465691 71286784 16128 4294967295 134512640 134714540 3221221792 3221220504 134543144 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17404 16128 1111 63 0 17341 0
vsize: 69616
[startup+1190.11 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 28060
Raw data (stat): 28003 (bsolo_mis) R 28002 7876 7672 0 -1 0 16239 0 0 0 118897 127 0 0 25 0 1 0 679465691 71286784 16128 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17404 16128 1111 63 0 17341 0
vsize: 69616
[startup+1198.25 s]
Raw data (loadavg): 1.00 0.99 0.99 1/53 28060
Raw data (stat): 28003 (bsolo_mis) R 28002 7876 7672 0 -1 0 16239 0 0 0 118897 127 0 0 25 0 1 0 679465691 71286784 16128 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17404 16128 1111 63 0 17341 0
vsize: 0

Child status: 10
Real time (s): 1198.25
CPU time (s): 1198.38
CPU user time (s): 1197.08
CPU system time (s): 1.3048
CPU usage (%): 100.011
Max. virtual memory (Kb): 69616
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	140
#### END VERIFIER DATA ####