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/logic-synthesis/normalized-clip.b.opb
MD5SUM	cddae768b283c2db142f16fe9d163db1
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	15
Optimality of the best value was proved	NO
Number of terms in the objective function	350
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	350
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	350
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.05084
Number of variables	349
Total number of constraints	715
Number of constraints which are clauses	707
Number of constraints which are cardinality constraints (but not clauses)	8
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	111
Trace number 23459

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-03 20:24:43 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=570 boxname=wulflinc31 idbench=64 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  cddae768b283c2db142f16fe9d163db1  /oldhome/oroussel/tmp/wulflinc31/normalized-clip.b.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-clip.b.opb
IDLAUNCH: 570
/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:        917824 kB
Buffers:         40672 kB
Cached:          54060 kB
SwapCached:        944 kB
Active:          79252 kB
Inactive:        17952 kB
HighTotal:      131008 kB
HighFree:        75964 kB
LowTotal:       903652 kB
LowFree:        841860 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5540 kB
Slab:            14176 kB
Committed_AS:    63656 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-03 20:44:31 (client local time) WITH STATUS 10 IN 1187.3 SECONDS
stats: 570 0 1187.3 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Initial problem consists of 350 variables and 707 constraints.
c After prepocess the problem consists of 349 variables and 587 constraints.
c preprocess terminated 1.054 s
c Initial Lower Bound: 11
c Lower Bound Elapsed time: 0
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 18 @ 1.1
c NEW SOLUTION FOUND: 17 @ 1.11
c NEW SOLUTION FOUND: 16 @ 21.512
c NEW SOLUTION FOUND: 15 @ 209.679
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 
c Exit Code: 10
c Total time: 1187.23 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.83 0.95 0.98 2/54 5714
Raw data (stat): 5714 (runsolver) R 5713 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 651617070 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.0004 s]
Raw data (loadavg): 0.86 0.95 0.98 2/54 5714
Raw data (stat): 5714 (bsolo_mis) R 5713 7876 7672 0 -1 0 2927 0 0 0 986 10 0 0 25 0 1 0 651617070 15626240 2898 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3815 2898 1111 63 0 3752 0
vsize: 15260
[startup+20.0006 s]
Raw data (loadavg): 0.88 0.95 0.98 2/54 5714
Raw data (stat): 5714 (bsolo_mis) R 5713 7876 7672 0 -1 0 3313 0 0 0 1985 11 0 0 25 0 1 0 651617070 17252352 3282 4294967295 134512640 134714540 3221221792 3221220584 134543552 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4212 3282 1111 63 0 4149 0
vsize: 16848
[startup+30.0012 s]
Raw data (loadavg): 0.90 0.95 0.98 2/54 5714
Raw data (stat): 5714 (bsolo_mis) R 5713 7876 7672 0 -1 0 5874 0 0 0 2976 20 0 0 25 0 1 0 651617070 28037120 5820 4294967295 134512640 134714540 3221221792 3221220508 134558476 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6845 5820 1111 63 0 6782 0
vsize: 27380
[startup+40.0012 s]
Raw data (loadavg): 0.91 0.96 0.98 2/54 5714
Raw data (stat): 5714 (bsolo_mis) R 5713 7876 7672 0 -1 0 6296 0 0 0 3975 21 0 0 25 0 1 0 651617070 29855744 6234 4294967295 134512640 134714540 3221221792 3221220504 134543168 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7289 6234 1111 63 0 7226 0
vsize: 29156
[startup+50.0014 s]
Raw data (loadavg): 0.92 0.96 0.98 2/54 5714
Raw data (stat): 5714 (bsolo_mis) R 5713 7876 7672 0 -1 0 7015 0 0 0 4973 23 0 0 25 0 1 0 651617070 32714752 6947 4294967295 134512640 134714540 3221221792 3221220504 134543165 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7987 6947 1111 63 0 7924 0
vsize: 31948
[startup+60.002 s]
Raw data (loadavg): 0.94 0.96 0.98 2/54 5714
Raw data (stat): 5714 (bsolo_mis) R 5713 7876 7672 0 -1 0 7390 0 0 0 5972 24 0 0 25 0 1 0 651617070 34263040 7319 4294967295 134512640 134714540 3221221792 3221220528 134622851 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8365 7319 1111 63 0 8302 0
vsize: 33460
[startup+70.0019 s]
Raw data (loadavg): 0.95 0.96 0.98 2/54 5714
Raw data (stat): 5714 (bsolo_mis) R 5713 7876 7672 0 -1 0 7390 0 0 0 6972 24 0 0 25 0 1 0 651617070 34263040 7319 4294967295 134512640 134714540 3221221792 3221220504 134543187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8365 7319 1111 63 0 8302 0
vsize: 33460
[startup+80.0061 s]
Raw data (loadavg): 0.95 0.96 0.98 2/54 5714
Raw data (stat): 5714 (bsolo_mis) R 5713 7876 7672 0 -1 0 7392 0 0 0 7973 24 0 0 25 0 1 0 651617070 34398208 7321 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8398 7321 1111 63 0 8335 0
vsize: 33592
[startup+90.0058 s]
Raw data (loadavg): 0.96 0.96 0.98 2/54 5714
Raw data (stat): 5714 (bsolo_mis) R 5713 7876 7672 0 -1 0 8090 0 0 0 8971 27 0 0 25 0 1 0 651617070 37117952 8017 4294967295 134512640 134714540 3221221792 3221220608 134622551 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9062 8017 1111 63 0 8999 0
vsize: 36248
[startup+100.006 s]
Raw data (loadavg): 0.97 0.96 0.98 2/54 5714
Raw data (stat): 5714 (bsolo_mis) R 5713 7876 7672 0 -1 0 8413 0 0 0 9970 28 0 0 25 0 1 0 651617070 38481920 8332 4294967295 134512640 134714540 3221221792 3221220528 134622896 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9395 8332 1111 63 0 9332 0
vsize: 37580
[startup+110.007 s]
Raw data (loadavg): 0.97 0.96 0.98 2/54 5714
Raw data (stat): 5714 (bsolo_mis) R 5713 7876 7672 0 -1 0 8415 0 0 0 10970 28 0 0 25 0 1 0 651617070 38621184 8334 4294967295 134512640 134714540 3221221792 3221220508 134558493 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9429 8334 1111 63 0 9366 0
vsize: 37716
[startup+120.008 s]
Raw data (loadavg): 0.97 0.96 0.98 2/54 5714
Raw data (stat): 5714 (bsolo_mis) R 5713 7876 7672 0 -1 0 8415 0 0 0 11970 28 0 0 25 0 1 0 651617070 38621184 8334 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9429 8334 1111 63 0 9366 0
vsize: 37716
[startup+130.008 s]
Raw data (loadavg): 0.98 0.96 0.98 2/54 5714
Raw data (stat): 5714 (bsolo_mis) R 5713 7876 7672 0 -1 0 8415 0 0 0 12970 28 0 0 25 0 1 0 651617070 38621184 8334 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9429 8334 1111 63 0 9366 0
vsize: 37716
[startup+140.007 s]
Raw data (loadavg): 0.98 0.97 0.98 2/54 5714
Raw data (stat): 5714 (bsolo_mis) R 5713 7876 7672 0 -1 0 8416 0 0 0 13970 28 0 0 25 0 1 0 651617070 38621184 8335 4294967295 134512640 134714540 3221221792 3221220516 134622811 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9429 8335 1111 63 0 9366 0
vsize: 37716
[startup+150.007 s]
Raw data (loadavg): 0.98 0.97 0.98 2/54 5714
Raw data (stat): 5714 (bsolo_mis) R 5713 7876 7672 0 -1 0 8416 0 0 0 14971 28 0 0 25 0 1 0 651617070 38621184 8335 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9429 8335 1111 63 0 9366 0
vsize: 37716
[startup+160.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5714
Raw data (stat): 5714 (bsolo_mis) R 5713 7876 7672 0 -1 0 8416 0 0 0 15971 28 0 0 25 0 1 0 651617070 38621184 8335 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9429 8335 1111 63 0 9366 0
vsize: 37716
[startup+170.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5714
Raw data (stat): 5714 (bsolo_mis) R 5713 7876 7672 0 -1 0 8418 0 0 0 16971 28 0 0 25 0 1 0 651617070 38621184 8337 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9429 8337 1111 63 0 9366 0
vsize: 37716
[startup+180.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5714
Raw data (stat): 5714 (bsolo_mis) R 5713 7876 7672 0 -1 0 8418 0 0 0 17971 28 0 0 25 0 1 0 651617070 38621184 8337 4294967295 134512640 134714540 3221221792 3221220608 134622477 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9429 8337 1111 63 0 9366 0
vsize: 37716
[startup+190.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5714
Raw data (stat): 5714 (bsolo_mis) R 5713 7876 7672 0 -1 0 8419 0 0 0 18971 28 0 0 25 0 1 0 651617070 38621184 8338 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9429 8338 1111 63 0 9366 0
vsize: 37716
[startup+200.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5714
Raw data (stat): 5714 (bsolo_mis) R 5713 7876 7672 0 -1 0 8421 0 0 0 19971 28 0 0 25 0 1 0 651617070 38621184 8340 4294967295 134512640 134714540 3221221792 3221220576 134622506 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9429 8340 1111 63 0 9366 0
vsize: 37716
[startup+210.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5714
Raw data (stat): 5714 (bsolo_mis) R 5713 7876 7672 0 -1 0 10429 0 0 0 20966 33 0 0 25 0 1 0 651617070 46968832 10322 4294967295 134512640 134714540 3221221792 3221220584 134536889 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11467 10322 1111 63 0 11404 0
vsize: 45868
[startup+220.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5714
Raw data (stat): 5714 (bsolo_mis) R 5713 7876 7672 0 -1 0 11523 0 0 0 21963 37 0 0 25 0 1 0 651617070 51601408 11383 4294967295 134512640 134714540 3221221792 3221220120 1077378037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12598 11383 1111 63 0 12535 0
vsize: 50392
[startup+230.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5714
Raw data (stat): 5714 (bsolo_mis) R 5713 7876 7672 0 -1 0 12552 0 0 0 22960 39 0 0 25 0 1 0 651617070 55922688 12403 4294967295 134512640 134714540 3221221792 3221220584 134543552 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13653 12403 1111 63 0 13590 0
vsize: 54612
[startup+240.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5714
Raw data (stat): 5714 (bsolo_mis) R 5713 7876 7672 0 -1 0 12555 0 0 0 23961 39 0 0 25 0 1 0 651617070 55922688 12406 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13653 12406 1111 63 0 13590 0
vsize: 54612
[startup+250.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5714
Raw data (stat): 5714 (bsolo_mis) R 5713 7876 7672 0 -1 0 13117 0 0 0 24959 41 0 0 25 0 1 0 651617070 58286080 12962 4294967295 134512640 134714540 3221221792 3221220504 134543191 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14230 12962 1111 63 0 14167 0
vsize: 56920
[startup+260.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5714
Raw data (stat): 5714 (bsolo_mis) R 5713 7876 7672 0 -1 0 14323 0 0 0 25956 44 0 0 25 0 1 0 651617070 63193088 14161 4294967295 134512640 134714540 3221221792 3221220584 134558492 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15428 14161 1111 63 0 15365 0
vsize: 61712
[startup+270.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5714
Raw data (stat): 5714 (bsolo_mis) R 5713 7876 7672 0 -1 0 14529 0 0 0 26955 45 0 0 25 0 1 0 651617070 64036864 14361 4294967295 134512640 134714540 3221221792 3221220608 134622477 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15634 14361 1111 63 0 15571 0
vsize: 62536
[startup+280.011 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5714
Raw data (stat): 5714 (bsolo_mis) R 5713 7876 7672 0 -1 0 14532 0 0 0 27955 45 0 0 25 0 1 0 651617070 64036864 14364 4294967295 134512640 134714540 3221221792 3221220528 134622896 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15634 14364 1111 63 0 15571 0
vsize: 62536
[startup+290.011 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5714
Raw data (stat): 5714 (bsolo_mis) R 5713 7876 7672 0 -1 0 14673 0 0 0 28955 46 0 0 25 0 1 0 651617070 64577536 14505 4294967295 134512640 134714540 3221221792 3221220572 134623145 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15766 14505 1111 63 0 15703 0
vsize: 63064
[startup+300.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5714
Raw data (stat): 5714 (bsolo_mis) R 5713 7876 7672 0 -1 0 15057 0 0 0 29955 46 0 0 25 0 1 0 651617070 66265088 14880 4294967295 134512640 134714540 3221221792 3221220504 134543144 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16178 14880 1111 63 0 16115 0
vsize: 64712
[startup+310.011 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5714
Raw data (stat): 5714 (bsolo_mis) R 5713 7876 7672 0 -1 0 15408 0 0 0 30954 47 0 0 25 0 1 0 651617070 67616768 15231 4294967295 134512640 134714540 3221221792 3221220504 134543187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16508 15231 1111 63 0 16445 0
vsize: 66032
[startup+320.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5714
Raw data (stat): 5714 (bsolo_mis) R 5713 7876 7672 0 -1 0 15408 0 0 0 31954 47 0 0 25 0 1 0 651617070 67616768 15231 4294967295 134512640 134714540 3221221792 3221220516 134622811 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16508 15231 1111 63 0 16445 0
vsize: 66032
[startup+330.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5714
Raw data (stat): 5714 (bsolo_mis) R 5713 7876 7672 0 -1 0 15410 0 0 0 32954 47 0 0 25 0 1 0 651617070 67616768 15233 4294967295 134512640 134714540 3221221792 3221220504 134558492 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16508 15233 1111 63 0 16445 0
vsize: 66032
[startup+340.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5714
Raw data (stat): 5714 (bsolo_mis) R 5713 7876 7672 0 -1 0 15411 0 0 0 33954 47 0 0 25 0 1 0 651617070 67616768 15234 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16508 15234 1111 63 0 16445 0
vsize: 66032
[startup+350.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5714
Raw data (stat): 5714 (bsolo_mis) R 5713 7876 7672 0 -1 0 15411 0 0 0 34954 48 0 0 25 0 1 0 651617070 67616768 15234 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16508 15234 1111 63 0 16445 0
vsize: 66032
[startup+360.013 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5714
Raw data (stat): 5714 (bsolo_mis) R 5713 7876 7672 0 -1 0 15413 0 0 0 35954 48 0 0 25 0 1 0 651617070 67616768 15236 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16508 15236 1111 63 0 16445 0
vsize: 66032
[startup+370.013 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5714
Raw data (stat): 5714 (bsolo_mis) R 5713 7876 7672 0 -1 0 15413 0 0 0 36954 48 0 0 25 0 1 0 651617070 67616768 15236 4294967295 134512640 134714540 3221221792 3221220588 134542400 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16508 15236 1111 63 0 16445 0
vsize: 66032
[startup+380.014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5714
Raw data (stat): 5714 (bsolo_mis) R 5713 7876 7672 0 -1 0 15414 0 0 0 37954 48 0 0 25 0 1 0 651617070 67751936 15237 4294967295 134512640 134714540 3221221792 3221220508 134543156 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16541 15237 1111 63 0 16478 0
vsize: 66164
[startup+390.014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5714
Raw data (stat): 5714 (bsolo_mis) R 5713 7876 7672 0 -1 0 15416 0 0 0 38954 48 0 0 25 0 1 0 651617070 67751936 15239 4294967295 134512640 134714540 3221221792 3221220504 134543168 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16541 15239 1111 63 0 16478 0
vsize: 66164
[startup+400.014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5714
Raw data (stat): 5714 (bsolo_mis) R 5713 7876 7672 0 -1 0 15417 0 0 0 39955 48 0 0 25 0 1 0 651617070 67751936 15240 4294967295 134512640 134714540 3221221792 3221220512 134622884 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16541 15240 1111 63 0 16478 0
vsize: 66164
[startup+410.014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5714
Raw data (stat): 5714 (bsolo_mis) R 5713 7876 7672 0 -1 0 16583 0 0 0 40951 52 0 0 25 0 1 0 651617070 72396800 16395 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17675 16395 1111 63 0 17612 0
vsize: 70700
[startup+420.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5714
Raw data (stat): 5714 (bsolo_mis) R 5713 7876 7672 0 -1 0 16583 0 0 0 41951 52 0 0 25 0 1 0 651617070 72396800 16395 4294967295 134512640 134714540 3221221792 3221220592 134622638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17675 16395 1111 63 0 17612 0
vsize: 70700
[startup+430.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5714
Raw data (stat): 5714 (bsolo_mis) R 5713 7876 7672 0 -1 0 16831 0 0 0 42951 53 0 0 25 0 1 0 651617070 73478144 16643 4294967295 134512640 134714540 3221221792 3221220512 134622815 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17939 16643 1111 63 0 17876 0
vsize: 71756
[startup+440.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5714
Raw data (stat): 5714 (bsolo_mis) R 5713 7876 7672 0 -1 0 17955 0 0 0 43947 56 0 0 25 0 1 0 651617070 78000128 17749 4294967295 134512640 134714540 3221221792 3221220584 134536915 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19043 17749 1111 63 0 18980 0
vsize: 76172
[startup+450.014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5714
Raw data (stat): 5714 (bsolo_mis) R 5713 7876 7672 0 -1 0 19637 0 0 0 44943 61 0 0 25 0 1 0 651617070 85250048 19300 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20813 19300 1111 63 0 20750 0
vsize: 83252
[startup+460.014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5714
Raw data (stat): 5714 (bsolo_mis) R 5713 7876 7672 0 -1 0 20124 0 0 0 45942 61 0 0 25 0 1 0 651617070 87453696 19762 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21351 19762 1111 63 0 21288 0
vsize: 85404
[startup+470.014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5714
Raw data (stat): 5714 (bsolo_mis) R 5713 7876 7672 0 -1 0 21861 0 0 0 46938 66 0 0 25 0 1 0 651617070 93995008 21353 4294967295 134512640 134714540 3221221792 3221220584 134543187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22948 21353 1111 63 0 22885 0
vsize: 91792
[startup+480.014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5714
Raw data (stat): 5714 (bsolo_mis) R 5713 7876 7672 0 -1 0 22559 0 0 0 47936 68 0 0 25 0 1 0 651617070 96788480 22046 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23630 22046 1111 63 0 23567 0
vsize: 94520
[startup+490.014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5714
Raw data (stat): 5714 (bsolo_mis) R 5713 7876 7672 0 -1 0 23246 0 0 0 48934 70 0 0 25 0 1 0 651617070 99823616 22716 4294967295 134512640 134714540 3221221792 3221220520 134622806 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24371 22716 1111 63 0 24308 0
vsize: 97484
[startup+500.014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5714
Raw data (stat): 5714 (bsolo_mis) R 5713 7876 7672 0 -1 0 23248 0 0 0 49934 70 0 0 25 0 1 0 651617070 99823616 22718 4294967295 134512640 134714540 3221221792 3221220504 134558488 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24371 22718 1111 63 0 24308 0
vsize: 97484
[startup+510.014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5714
Raw data (stat): 5714 (bsolo_mis) R 5713 7876 7672 0 -1 0 23251 0 0 0 50934 70 0 0 25 0 1 0 651617070 99823616 22721 4294967295 134512640 134714540 3221221792 3221220504 134543191 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24371 22721 1111 63 0 24308 0
vsize: 97484
[startup+520.014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5714
Raw data (stat): 5714 (bsolo_mis) R 5713 7876 7672 0 -1 0 23864 0 0 0 51933 72 0 0 25 0 1 0 651617070 102326272 23325 4294967295 134512640 134714540 3221221792 3221220608 134622340 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24982 23325 1111 63 0 24919 0
vsize: 99928
[startup+530.014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5714
Raw data (stat): 5714 (bsolo_mis) R 5713 7876 7672 0 -1 0 23911 0 0 0 52932 73 0 0 25 0 1 0 651617070 102477824 23372 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25019 23372 1111 63 0 24956 0
vsize: 100076
[startup+540.014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5714
Raw data (stat): 5714 (bsolo_mis) R 5713 7876 7672 0 -1 0 23913 0 0 0 53932 73 0 0 25 0 1 0 651617070 102477824 23374 4294967295 134512640 134714540 3221221792 3221220520 134622758 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25019 23374 1111 63 0 24956 0
vsize: 100076
[startup+550.014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5714
Raw data (stat): 5714 (bsolo_mis) R 5713 7876 7672 0 -1 0 24274 0 0 0 54932 73 0 0 25 0 1 0 651617070 103972864 23735 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25384 23735 1111 63 0 25321 0
vsize: 101536
[startup+560.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5714
Raw data (stat): 5714 (bsolo_mis) R 5713 7876 7672 0 -1 0 24274 0 0 0 55932 73 0 0 25 0 1 0 651617070 103972864 23735 4294967295 134512640 134714540 3221221792 3221220568 134543568 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25384 23735 1111 63 0 25321 0
vsize: 101536
[startup+570.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5714
Raw data (stat): 5714 (bsolo_mis) R 5713 7876 7672 0 -1 0 24792 0 0 0 56931 74 0 0 25 0 1 0 651617070 106016768 24251 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25883 24251 1111 63 0 25820 0
vsize: 103532
[startup+580.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5714
Raw data (stat): 5714 (bsolo_mis) R 5713 7876 7672 0 -1 0 24793 0 0 0 57931 74 0 0 25 0 1 0 651617070 106016768 24252 4294967295 134512640 134714540 3221221792 3221220504 134543168 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25883 24252 1111 63 0 25820 0
vsize: 103532
[startup+590.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5714
Raw data (stat): 5714 (bsolo_mis) R 5713 7876 7672 0 -1 0 24793 0 0 0 58932 74 0 0 25 0 1 0 651617070 106016768 24252 4294967295 134512640 134714540 3221221792 3221220504 134543187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25883 24252 1111 63 0 25820 0
vsize: 103532
[startup+600.014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5714
Raw data (stat): 5714 (bsolo_mis) R 5713 7876 7672 0 -1 0 24795 0 0 0 59932 74 0 0 25 0 1 0 651617070 106016768 24254 4294967295 134512640 134714540 3221221792 3221220504 134543191 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25883 24254 1111 63 0 25820 0
vsize: 103532
[startup+610.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5714
Raw data (stat): 5714 (bsolo_mis) R 5713 7876 7672 0 -1 0 24798 0 0 0 60932 74 0 0 25 0 1 0 651617070 106016768 24257 4294967295 134512640 134714540 3221221792 3221220592 134622574 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25883 24257 1111 63 0 25820 0
vsize: 103532
[startup+620.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5714
Raw data (stat): 5714 (bsolo_mis) R 5713 7876 7672 0 -1 0 24798 0 0 0 61932 74 0 0 25 0 1 0 651617070 106016768 24257 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25883 24257 1111 63 0 25820 0
vsize: 103532
[startup+630.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5714
Raw data (stat): 5714 (bsolo_mis) R 5713 7876 7672 0 -1 0 24799 0 0 0 62932 74 0 0 25 0 1 0 651617070 106016768 24258 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25883 24258 1111 63 0 25820 0
vsize: 103532
[startup+640.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5714
Raw data (stat): 5714 (bsolo_mis) R 5713 7876 7672 0 -1 0 24799 0 0 0 63932 74 0 0 25 0 1 0 651617070 106016768 24258 4294967295 134512640 134714540 3221221792 3221220504 134543168 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25883 24258 1111 63 0 25820 0
vsize: 103532
[startup+650.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5714
Raw data (stat): 5714 (bsolo_mis) R 5713 7876 7672 0 -1 0 24801 0 0 0 64932 74 0 0 25 0 1 0 651617070 106016768 24260 4294967295 134512640 134714540 3221221792 3221220596 134622267 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25883 24260 1111 63 0 25820 0
vsize: 103532
[startup+660.017 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5714
Raw data (stat): 5714 (bsolo_mis) R 5713 7876 7672 0 -1 0 24802 0 0 0 65933 74 0 0 25 0 1 0 651617070 106016768 24261 4294967295 134512640 134714540 3221221792 3221220528 134622851 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25883 24261 1111 63 0 25820 0
vsize: 103532
[startup+670.017 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5714
Raw data (stat): 5714 (bsolo_mis) R 5713 7876 7672 0 -1 0 24802 0 0 0 66933 74 0 0 25 0 1 0 651617070 106016768 24261 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25883 24261 1111 63 0 25820 0
vsize: 103532
[startup+680.018 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5714
Raw data (stat): 5714 (bsolo_mis) R 5713 7876 7672 0 -1 0 24804 0 0 0 67933 74 0 0 25 0 1 0 651617070 106016768 24263 4294967295 134512640 134714540 3221221792 3221220608 134622252 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25883 24263 1111 63 0 25820 0
vsize: 103532
[startup+690.019 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5714
Raw data (stat): 5714 (bsolo_mis) R 5713 7876 7672 0 -1 0 24804 0 0 0 68933 74 0 0 25 0 1 0 651617070 106016768 24263 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25883 24263 1111 63 0 25820 0
vsize: 103532
[startup+700.019 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5714
Raw data (stat): 5714 (bsolo_mis) R 5713 7876 7672 0 -1 0 24804 0 0 0 69933 74 0 0 25 0 1 0 651617070 106016768 24263 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25883 24263 1111 63 0 25820 0
vsize: 103532
[startup+710.019 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5714
Raw data (stat): 5714 (bsolo_mis) R 5713 7876 7672 0 -1 0 24805 0 0 0 70934 74 0 0 25 0 1 0 651617070 106016768 24264 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25883 24264 1111 63 0 25820 0
vsize: 103532
[startup+720.019 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5714
Raw data (stat): 5714 (bsolo_mis) R 5713 7876 7672 0 -1 0 24807 0 0 0 71934 74 0 0 25 0 1 0 651617070 106016768 24266 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25883 24266 1111 63 0 25820 0
vsize: 103532
[startup+730.019 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5714
Raw data (stat): 5714 (bsolo_mis) R 5713 7876 7672 0 -1 0 24807 0 0 0 72934 74 0 0 25 0 1 0 651617070 106016768 24266 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25883 24266 1111 63 0 25820 0
vsize: 103532
[startup+740.019 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5714
Raw data (stat): 5714 (bsolo_mis) R 5713 7876 7672 0 -1 0 24808 0 0 0 73934 74 0 0 25 0 1 0 651617070 106151936 24267 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25916 24267 1111 63 0 25853 0
vsize: 103664
[startup+750.019 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5714
Raw data (stat): 5714 (bsolo_mis) R 5713 7876 7672 0 -1 0 24810 0 0 0 74934 74 0 0 25 0 1 0 651617070 106151936 24269 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25916 24269 1111 63 0 25853 0
vsize: 103664
[startup+760.019 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5714
Raw data (stat): 5714 (bsolo_mis) R 5713 7876 7672 0 -1 0 25120 0 0 0 75934 75 0 0 25 0 1 0 651617070 107319296 24493 4294967295 134512640 134714540 3221221792 3221220532 134622704 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26201 24493 1111 63 0 26138 0
vsize: 104804
[startup+770.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5714
Raw data (stat): 5714 (bsolo_mis) R 5713 7876 7672 0 -1 0 25239 0 0 0 76934 75 0 0 25 0 1 0 651617070 107724800 24612 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26300 24612 1111 63 0 26237 0
vsize: 105200
[startup+780.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5714
Raw data (stat): 5714 (bsolo_mis) R 5713 7876 7672 0 -1 0 25239 0 0 0 77934 75 0 0 25 0 1 0 651617070 107724800 24612 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26300 24612 1111 63 0 26237 0
vsize: 105200
[startup+790.022 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5714
Raw data (stat): 5714 (bsolo_mis) R 5713 7876 7672 0 -1 0 25239 0 0 0 78934 75 0 0 25 0 1 0 651617070 107724800 24612 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26300 24612 1111 63 0 26237 0
vsize: 105200
[startup+800.021 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5714
Raw data (stat): 5714 (bsolo_mis) R 5713 7876 7672 0 -1 0 25317 0 0 0 79934 75 0 0 25 0 1 0 651617070 107995136 24690 4294967295 134512640 134714540 3221221792 3221220504 134558485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26366 24690 1111 63 0 26303 0
vsize: 105464
[startup+810.022 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5714
Raw data (stat): 5714 (bsolo_mis) R 5713 7876 7672 0 -1 0 25628 0 0 0 80934 76 0 0 25 0 1 0 651617070 109211648 25001 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26663 25001 1111 63 0 26600 0
vsize: 106652
[startup+820.022 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5714
Raw data (stat): 5714 (bsolo_mis) R 5713 7876 7672 0 -1 0 25628 0 0 0 81934 76 0 0 25 0 1 0 651617070 109211648 25001 4294967295 134512640 134714540 3221221792 3221220504 134543125 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26663 25001 1111 63 0 26600 0
vsize: 106652
[startup+830.023 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5714
Raw data (stat): 5714 (bsolo_mis) R 5713 7876 7672 0 -1 0 25628 0 0 0 82934 76 0 0 25 0 1 0 651617070 109211648 25001 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26663 25001 1111 63 0 26600 0
vsize: 106652
[startup+840.023 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5714
Raw data (stat): 5714 (bsolo_mis) R 5713 7876 7672 0 -1 0 26229 0 0 0 83933 77 0 0 25 0 1 0 651617070 111112192 25431 4294967295 134512640 134714540 3221221792 3221220536 134623143 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27127 25431 1111 63 0 27064 0
vsize: 108508
[startup+850.023 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5714
Raw data (stat): 5714 (bsolo_mis) R 5713 7876 7672 0 -1 0 26484 0 0 0 84933 78 0 0 25 0 1 0 651617070 112058368 25686 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27358 25686 1111 63 0 27295 0
vsize: 109432
[startup+860.024 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5714
Raw data (stat): 5714 (bsolo_mis) R 5713 7876 7672 0 -1 0 26484 0 0 0 85933 78 0 0 25 0 1 0 651617070 112058368 25686 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27358 25686 1111 63 0 27295 0
vsize: 109432
[startup+870.024 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5714
Raw data (stat): 5714 (bsolo_mis) R 5713 7876 7672 0 -1 0 26484 0 0 0 86933 78 0 0 25 0 1 0 651617070 112058368 25686 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27358 25686 1111 63 0 27295 0
vsize: 109432
[startup+880.025 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5714
Raw data (stat): 5714 (bsolo_mis) R 5713 7876 7672 0 -1 0 26484 0 0 0 87934 78 0 0 25 0 1 0 651617070 112058368 25686 4294967295 134512640 134714540 3221221792 3221220520 134622828 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27358 25686 1111 63 0 27295 0
vsize: 109432
[startup+890.026 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5714
Raw data (stat): 5714 (bsolo_mis) R 5713 7876 7672 0 -1 0 26484 0 0 0 88934 78 0 0 25 0 1 0 651617070 112058368 25686 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27358 25686 1111 63 0 27295 0
vsize: 109432
[startup+900.025 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5714
Raw data (stat): 5714 (bsolo_mis) R 5713 7876 7672 0 -1 0 26484 0 0 0 89934 78 0 0 25 0 1 0 651617070 112058368 25686 4294967295 134512640 134714540 3221221792 3221220584 134536921 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27358 25686 1111 63 0 27295 0
vsize: 109432
[startup+910.026 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5714
Raw data (stat): 5714 (bsolo_mis) R 5713 7876 7672 0 -1 0 26484 0 0 0 90934 78 0 0 25 0 1 0 651617070 112058368 25686 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27358 25686 1111 63 0 27295 0
vsize: 109432
[startup+920.025 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5714
Raw data (stat): 5714 (bsolo_mis) R 5713 7876 7672 0 -1 0 26484 0 0 0 91934 78 0 0 25 0 1 0 651617070 112058368 25686 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27358 25686 1111 63 0 27295 0
vsize: 109432
[startup+930.026 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5714
Raw data (stat): 5714 (bsolo_mis) R 5713 7876 7672 0 -1 0 26484 0 0 0 92934 78 0 0 25 0 1 0 651617070 112058368 25686 4294967295 134512640 134714540 3221221792 3221220592 134622484 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27358 25686 1111 63 0 27295 0
vsize: 109432
[startup+940.026 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5714
Raw data (stat): 5714 (bsolo_mis) R 5713 7876 7672 0 -1 0 26484 0 0 0 93935 78 0 0 25 0 1 0 651617070 112058368 25686 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27358 25686 1111 63 0 27295 0
vsize: 109432
[startup+950.027 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5714
Raw data (stat): 5714 (bsolo_mis) R 5713 7876 7672 0 -1 0 26484 0 0 0 94934 78 0 0 25 0 1 0 651617070 112058368 25686 4294967295 134512640 134714540 3221221792 3221220504 134543144 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27358 25686 1111 63 0 27295 0
vsize: 109432
[startup+960.027 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5714
Raw data (stat): 5714 (bsolo_mis) R 5713 7876 7672 0 -1 0 26484 0 0 0 95934 78 0 0 25 0 1 0 651617070 112058368 25686 4294967295 134512640 134714540 3221221792 3221220508 134558476 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27358 25686 1111 63 0 27295 0
vsize: 109432
[startup+970.027 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5714
Raw data (stat): 5714 (bsolo_mis) R 5713 7876 7672 0 -1 0 26484 0 0 0 96934 78 0 0 25 0 1 0 651617070 112058368 25686 4294967295 134512640 134714540 3221221792 3221220512 134622865 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27358 25686 1111 63 0 27295 0
vsize: 109432
[startup+980.028 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5714
Raw data (stat): 5714 (bsolo_mis) R 5713 7876 7672 0 -1 0 26484 0 0 0 97935 79 0 0 25 0 1 0 651617070 112058368 25686 4294967295 134512640 134714540 3221221792 3221220516 134622811 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27358 25686 1111 63 0 27295 0
vsize: 109432
[startup+990.028 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5714
Raw data (stat): 5714 (bsolo_mis) R 5713 7876 7672 0 -1 0 26484 0 0 0 98935 79 0 0 25 0 1 0 651617070 112058368 25686 4294967295 134512640 134714540 3221221792 3221220588 134536888 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27358 25686 1111 63 0 27295 0
vsize: 109432
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5714
Raw data (stat): 5714 (bsolo_mis) R 5713 7876 7672 0 -1 0 26485 0 0 0 99935 79 0 0 25 0 1 0 651617070 112058368 25687 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27358 25687 1111 63 0 27295 0
vsize: 109432
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5714
Raw data (stat): 5714 (bsolo_mis) R 5713 7876 7672 0 -1 0 26485 0 0 0 100935 79 0 0 25 0 1 0 651617070 112058368 25687 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27358 25687 1111 63 0 27295 0
vsize: 109432
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5714
Raw data (stat): 5714 (bsolo_mis) R 5713 7876 7672 0 -1 0 26485 0 0 0 101935 79 0 0 25 0 1 0 651617070 112058368 25687 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27358 25687 1111 63 0 27295 0
vsize: 109432
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5714
Raw data (stat): 5714 (bsolo_mis) R 5713 7876 7672 0 -1 0 26487 0 0 0 102935 79 0 0 25 0 1 0 651617070 112058368 25689 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27358 25689 1111 63 0 27295 0
vsize: 109432
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5714
Raw data (stat): 5714 (bsolo_mis) R 5713 7876 7672 0 -1 0 26487 0 0 0 103935 79 0 0 25 0 1 0 651617070 112058368 25689 4294967295 134512640 134714540 3221221792 3221220512 134622865 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27358 25689 1111 63 0 27295 0
vsize: 109432
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5714
Raw data (stat): 5714 (bsolo_mis) R 5713 7876 7672 0 -1 0 26488 0 0 0 104935 79 0 0 25 0 1 0 651617070 112058368 25690 4294967295 134512640 134714540 3221221792 3221220504 134543144 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27358 25690 1111 63 0 27295 0
vsize: 109432
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5714
Raw data (stat): 5714 (bsolo_mis) R 5713 7876 7672 0 -1 0 26488 0 0 0 105935 79 0 0 25 0 1 0 651617070 112058368 25690 4294967295 134512640 134714540 3221221792 3221220504 134543168 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27358 25690 1111 63 0 27295 0
vsize: 109432
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5714
Raw data (stat): 5714 (bsolo_mis) R 5713 7876 7672 0 -1 0 26488 0 0 0 106935 79 0 0 25 0 1 0 651617070 112058368 25690 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27358 25690 1111 63 0 27295 0
vsize: 109432
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5714
Raw data (stat): 5714 (bsolo_mis) R 5713 7876 7672 0 -1 0 26490 0 0 0 107936 79 0 0 25 0 1 0 651617070 112058368 25692 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27358 25692 1111 63 0 27295 0
vsize: 109432
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5714
Raw data (stat): 5714 (bsolo_mis) R 5713 7876 7672 0 -1 0 26490 0 0 0 108936 79 0 0 25 0 1 0 651617070 112058368 25692 4294967295 134512640 134714540 3221221792 3221220608 134622464 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27358 25692 1111 63 0 27295 0
vsize: 109432
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5714
Raw data (stat): 5714 (bsolo_mis) R 5713 7876 7672 0 -1 0 26491 0 0 0 109936 79 0 0 25 0 1 0 651617070 112058368 25693 4294967295 134512640 134714540 3221221792 3221220584 134558492 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27358 25693 1111 63 0 27295 0
vsize: 109432
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5714
Raw data (stat): 5714 (bsolo_mis) R 5713 7876 7672 0 -1 0 26493 0 0 0 110936 79 0 0 25 0 1 0 651617070 112058368 25695 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27358 25695 1111 63 0 27295 0
vsize: 109432
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5714
Raw data (stat): 5714 (bsolo_mis) R 5713 7876 7672 0 -1 0 27660 0 0 0 111932 83 0 0 25 0 1 0 651617070 117231616 26823 4294967295 134512640 134714540 3221221792 3221220584 134543191 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28621 26823 1111 63 0 28558 0
vsize: 114484
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5714
Raw data (stat): 5714 (bsolo_mis) R 5713 7876 7672 0 -1 0 27967 0 0 0 112932 83 0 0 25 0 1 0 651617070 118648832 27118 4294967295 134512640 134714540 3221221792 3221220496 134625113 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28967 27118 1111 63 0 28904 0
vsize: 115868
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5714
Raw data (stat): 5714 (bsolo_mis) R 5713 7876 7672 0 -1 0 28393 0 0 0 113932 84 0 0 25 0 1 0 651617070 120336384 27535 4294967295 134512640 134714540 3221221792 3221220584 134536900 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29379 27535 1111 63 0 29316 0
vsize: 117516
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5714
Raw data (stat): 5714 (bsolo_mis) R 5713 7876 7672 0 -1 0 28516 0 0 0 114931 84 0 0 25 0 1 0 651617070 120877056 27658 4294967295 134512640 134714540 3221221792 3221220504 134558492 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29511 27658 1111 63 0 29448 0
vsize: 118044
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5714
Raw data (stat): 5714 (bsolo_mis) R 5713 7876 7672 0 -1 0 28516 0 0 0 115932 84 0 0 25 0 1 0 651617070 120877056 27658 4294967295 134512640 134714540 3221221792 3221220584 134542409 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29511 27658 1111 63 0 29448 0
vsize: 118044
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5714
Raw data (stat): 5714 (bsolo_mis) R 5713 7876 7672 0 -1 0 28517 0 0 0 116932 84 0 0 25 0 1 0 651617070 120877056 27659 4294967295 134512640 134714540 3221221792 3221220504 134543191 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29511 27659 1111 63 0 29448 0
vsize: 118044
[startup+1180.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5714
Raw data (stat): 5714 (bsolo_mis) R 5713 7876 7672 0 -1 0 28519 0 0 0 117932 85 0 0 25 0 1 0 651617070 120877056 27661 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29511 27661 1111 63 0 29448 0
vsize: 118044
[startup+1187.16 s]
Raw data (loadavg): 0.99 0.97 0.98 1/53 5714
Raw data (stat): 5714 (bsolo_mis) R 5713 7876 7672 0 -1 0 28519 0 0 0 117932 85 0 0 25 0 1 0 651617070 120877056 27661 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29511 27661 1111 63 0 29448 0
vsize: 0

Child status: 10
Real time (s): 1187.16
CPU time (s): 1187.3
CPU user time (s): 1186.4
CPU system time (s): 0.901862
CPU usage (%): 100.012
Max. virtual memory (Kb): 118044
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	15
#### END VERIFIER DATA ####