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-sao2.b.opb
MD5SUM	3e273bcee52631aeea0b7b1138e7d68d
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	25
Optimality of the best value was proved	NO
Number of terms in the objective function	373
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	373
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	373
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.03784
Number of variables	372
Total number of constraints	779
Number of constraints which are clauses	772
Number of constraints which are cardinality constraints (but not clauses)	7
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	98
Trace number 23504

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-04 09:19:19 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=651 boxname=wulflinc31 idbench=73 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  3e273bcee52631aeea0b7b1138e7d68d  /oldhome/oroussel/tmp/wulflinc31/normalized-sao2.b.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-sao2.b.opb
IDLAUNCH: 651
/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:        914092 kB
Buffers:         41820 kB
Cached:          56652 kB
SwapCached:        944 kB
Active:          81664 kB
Inactive:        19256 kB
HighTotal:      131008 kB
HighFree:        73360 kB
LowTotal:       903652 kB
LowFree:        840732 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5540 kB
Slab:            14152 kB
Committed_AS:    63656 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-04 09:39:07 (client local time) WITH STATUS 10 IN 1187.55 SECONDS
stats: 651 0 1187.55 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Initial problem consists of 373 variables and 772 constraints.
c After prepocess the problem consists of 368 variables and 508 constraints.
c preprocess terminated 0.913 s
c Initial Lower Bound: 23
c Lower Bound Elapsed time: 0
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 32 @ 0.968
c NEW SOLUTION FOUND: 31 @ 0.969
c NEW SOLUTION FOUND: 30 @ 0.974
c NEW SOLUTION FOUND: 29 @ 1.011
c NEW SOLUTION FOUND: 28 @ 1.039
c NEW SOLUTION FOUND: 27 @ 301.725
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 -x361 x362 -x363 -x364 x365 x366 -x367 -x368 -x369 x370 -x371 -x372 -x373 
c Exit Code: 10
c Total time: 1187.5 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.99 0.99 2/54 10761
Raw data (stat): 10761 (runsolver) R 10760 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 656265202 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.0005 s]
Raw data (loadavg): 0.92 0.99 0.99 2/54 10761
Raw data (stat): 10761 (bsolo_mis) R 10760 7876 7672 0 -1 0 4308 0 0 0 982 13 0 0 25 0 1 0 656265202 21581824 4261 4294967295 134512640 134714540 3221221792 3221220504 134558490 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5269 4261 1111 63 0 5206 0
vsize: 21076
[startup+20.0013 s]
Raw data (loadavg): 0.93 0.99 0.99 2/54 10761
Raw data (stat): 10761 (bsolo_mis) R 10760 7876 7672 0 -1 0 6622 0 0 0 1976 19 0 0 25 0 1 0 656265202 31092736 6569 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7591 6569 1111 63 0 7528 0
vsize: 30364
[startup+30.0015 s]
Raw data (loadavg): 0.94 0.99 0.99 2/54 10761
Raw data (stat): 10761 (bsolo_mis) R 10760 7876 7672 0 -1 0 7047 0 0 0 2975 20 0 0 25 0 1 0 656265202 32718848 6991 4294967295 134512640 134714540 3221221792 3221220592 134610922 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7988 6991 1111 63 0 7925 0
vsize: 31952
[startup+40.0021 s]
Raw data (loadavg): 0.95 0.99 0.99 2/54 10761
Raw data (stat): 10761 (bsolo_mis) R 10760 7876 7672 0 -1 0 8091 0 0 0 3972 23 0 0 25 0 1 0 656265202 37412864 7995 4294967295 134512640 134714540 3221221792 3221220516 134622833 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9134 7995 1111 63 0 9071 0
vsize: 36536
[startup+50.0021 s]
Raw data (loadavg): 0.96 0.99 0.99 2/54 10761
Raw data (stat): 10761 (bsolo_mis) R 10760 7876 7672 0 -1 0 8091 0 0 0 4972 23 0 0 25 0 1 0 656265202 37412864 7995 4294967295 134512640 134714540 3221221792 3221220580 134622605 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9134 7995 1111 63 0 9071 0
vsize: 36536
[startup+60.0034 s]
Raw data (loadavg): 0.96 0.99 0.99 2/54 10761
Raw data (stat): 10761 (bsolo_mis) R 10760 7876 7672 0 -1 0 8093 0 0 0 5973 23 0 0 25 0 1 0 656265202 37412864 7997 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9134 7997 1111 63 0 9071 0
vsize: 36536
[startup+70.0039 s]
Raw data (loadavg): 0.97 0.99 0.99 2/54 10761
Raw data (stat): 10761 (bsolo_mis) R 10760 7876 7672 0 -1 0 8098 0 0 0 6973 23 0 0 25 0 1 0 656265202 37548032 8002 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9167 8002 1111 63 0 9104 0
vsize: 36668
[startup+80.0039 s]
Raw data (loadavg): 0.97 0.99 0.99 2/54 10761
Raw data (stat): 10761 (bsolo_mis) R 10760 7876 7672 0 -1 0 8332 0 0 0 7973 24 0 0 25 0 1 0 656265202 38383616 8236 4294967295 134512640 134714540 3221221792 3221220504 134543179 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9371 8236 1111 63 0 9308 0
vsize: 37484
[startup+90.004 s]
Raw data (loadavg): 0.98 0.99 0.99 2/54 10761
Raw data (stat): 10761 (bsolo_mis) R 10760 7876 7672 0 -1 0 8332 0 0 0 8973 24 0 0 25 0 1 0 656265202 38383616 8236 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9371 8236 1111 63 0 9308 0
vsize: 37484
[startup+100.004 s]
Raw data (loadavg): 0.98 0.99 0.99 2/54 10761
Raw data (stat): 10761 (bsolo_mis) R 10760 7876 7672 0 -1 0 8543 0 0 0 9972 25 0 0 25 0 1 0 656265202 39411712 8441 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9622 8441 1111 63 0 9559 0
vsize: 38488
[startup+110.005 s]
Raw data (loadavg): 0.98 0.99 0.99 2/54 10761
Raw data (stat): 10761 (bsolo_mis) R 10760 7876 7672 0 -1 0 8581 0 0 0 10972 25 0 0 25 0 1 0 656265202 39546880 8479 4294967295 134512640 134714540 3221221792 3221220516 134622883 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9655 8479 1111 63 0 9592 0
vsize: 38620
[startup+120.005 s]
Raw data (loadavg): 0.98 0.99 0.99 2/54 10761
Raw data (stat): 10761 (bsolo_mis) R 10760 7876 7672 0 -1 0 8840 0 0 0 11971 26 0 0 25 0 1 0 656265202 40566784 8732 4294967295 134512640 134714540 3221221792 3221220504 134543187 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9904 8732 1111 63 0 9841 0
vsize: 39616
[startup+130.004 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 10761
Raw data (stat): 10761 (bsolo_mis) R 10760 7876 7672 0 -1 0 8840 0 0 0 12971 26 0 0 25 0 1 0 656265202 40566784 8732 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9904 8732 1111 63 0 9841 0
vsize: 39616
[startup+140.006 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 10761
Raw data (stat): 10761 (bsolo_mis) R 10760 7876 7672 0 -1 0 9443 0 0 0 13970 28 0 0 25 0 1 0 656265202 43020288 9332 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10503 9332 1111 63 0 10440 0
vsize: 42012
[startup+150.006 s]
Raw data (loadavg): 0.99 0.99 0.99 3/54 10761
Raw data (stat): 10761 (bsolo_mis) R 10760 7876 7672 0 -1 0 9443 0 0 0 14970 28 0 0 25 0 1 0 656265202 43020288 9332 4294967295 134512640 134714540 3221221792 3221220504 134558485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10503 9332 1111 63 0 10440 0
vsize: 42012
[startup+160.007 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 10761
Raw data (stat): 10761 (bsolo_mis) R 10760 7876 7672 0 -1 0 9443 0 0 0 15970 28 0 0 25 0 1 0 656265202 43020288 9332 4294967295 134512640 134714540 3221221792 3221220504 134558609 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10503 9332 1111 63 0 10440 0
vsize: 42012
[startup+170.008 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 10761
Raw data (stat): 10761 (bsolo_mis) R 10760 7876 7672 0 -1 0 9443 0 0 0 16970 28 0 0 25 0 1 0 656265202 43020288 9332 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10503 9332 1111 63 0 10440 0
vsize: 42012
[startup+180.008 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 10761
Raw data (stat): 10761 (bsolo_mis) R 10760 7876 7672 0 -1 0 9443 0 0 0 17971 28 0 0 25 0 1 0 656265202 43020288 9332 4294967295 134512640 134714540 3221221792 3221220584 134558492 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10503 9332 1111 63 0 10440 0
vsize: 42012
[startup+190.008 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 10761
Raw data (stat): 10761 (bsolo_mis) R 10760 7876 7672 0 -1 0 9445 0 0 0 18971 28 0 0 25 0 1 0 656265202 43020288 9334 4294967295 134512640 134714540 3221221792 3221220592 134622574 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10503 9334 1111 63 0 10440 0
vsize: 42012
[startup+200.008 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 10761
Raw data (stat): 10761 (bsolo_mis) R 10760 7876 7672 0 -1 0 9445 0 0 0 19971 28 0 0 25 0 1 0 656265202 43020288 9334 4294967295 134512640 134714540 3221221792 3221220508 134543192 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10503 9334 1111 63 0 10440 0
vsize: 42012
[startup+210.009 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 10761
Raw data (stat): 10761 (bsolo_mis) R 10760 7876 7672 0 -1 0 9446 0 0 0 20971 28 0 0 25 0 1 0 656265202 43020288 9335 4294967295 134512640 134714540 3221221792 3221220504 134543187 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10503 9335 1111 63 0 10440 0
vsize: 42012
[startup+220.01 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 10761
Raw data (stat): 10761 (bsolo_mis) R 10760 7876 7672 0 -1 0 9446 0 0 0 21971 28 0 0 25 0 1 0 656265202 43020288 9335 4294967295 134512640 134714540 3221221792 3221220504 134543191 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10503 9335 1111 63 0 10440 0
vsize: 42012
[startup+230.01 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 10761
Raw data (stat): 10761 (bsolo_mis) R 10760 7876 7672 0 -1 0 9446 0 0 0 22971 28 0 0 25 0 1 0 656265202 43020288 9335 4294967295 134512640 134714540 3221221792 3221220584 134558485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10503 9335 1111 63 0 10440 0
vsize: 42012
[startup+240.011 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 10761
Raw data (stat): 10761 (bsolo_mis) R 10760 7876 7672 0 -1 0 9448 0 0 0 23971 28 0 0 25 0 1 0 656265202 43020288 9337 4294967295 134512640 134714540 3221221792 3221220504 134558490 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10503 9337 1111 63 0 10440 0
vsize: 42012
[startup+250.011 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 10761
Raw data (stat): 10761 (bsolo_mis) R 10760 7876 7672 0 -1 0 9449 0 0 0 24971 28 0 0 25 0 1 0 656265202 43020288 9338 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10503 9338 1111 63 0 10440 0
vsize: 42012
[startup+260.012 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 10761
Raw data (stat): 10761 (bsolo_mis) R 10760 7876 7672 0 -1 0 9543 0 0 0 25971 29 0 0 25 0 1 0 656265202 43425792 9432 4294967295 134512640 134714540 3221221792 3221220512 134622889 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10602 9432 1111 63 0 10539 0
vsize: 42408
[startup+270.012 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 10761
Raw data (stat): 10761 (bsolo_mis) R 10760 7876 7672 0 -1 0 9543 0 0 0 26971 29 0 0 25 0 1 0 656265202 43425792 9432 4294967295 134512640 134714540 3221221792 3221220584 134536906 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10602 9432 1111 63 0 10539 0
vsize: 42408
[startup+280.012 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 10761
Raw data (stat): 10761 (bsolo_mis) R 10760 7876 7672 0 -1 0 9984 0 0 0 27970 30 0 0 25 0 1 0 656265202 45268992 9868 4294967295 134512640 134714540 3221221792 3221220528 134622851 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11052 9868 1111 63 0 10989 0
vsize: 44208
[startup+290.014 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 10761
Raw data (stat): 10761 (bsolo_mis) R 10760 7876 7672 0 -1 0 10275 0 0 0 28969 31 0 0 25 0 1 0 656265202 46489600 10158 4294967295 134512640 134714540 3221221792 3221220608 134622645 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11350 10158 1111 63 0 11287 0
vsize: 45400
[startup+300.014 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 10761
Raw data (stat): 10761 (bsolo_mis) R 10760 7876 7672 0 -1 0 10336 0 0 0 29969 32 0 0 25 0 1 0 656265202 46624768 10219 4294967295 134512640 134714540 3221221792 3221220588 134543540 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11383 10219 1111 63 0 11320 0
vsize: 45532
[startup+310.015 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 10761
Raw data (stat): 10761 (bsolo_mis) R 10760 7876 7672 0 -1 0 11374 0 0 0 30966 35 0 0 25 0 1 0 656265202 50872320 11253 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12420 11253 1111 63 0 12357 0
vsize: 49680
[startup+320.016 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 10761
Raw data (stat): 10761 (bsolo_mis) R 10760 7876 7672 0 -1 0 11374 0 0 0 31966 35 0 0 25 0 1 0 656265202 50872320 11253 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12420 11253 1111 63 0 12357 0
vsize: 49680
[startup+330.016 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 10761
Raw data (stat): 10761 (bsolo_mis) R 10760 7876 7672 0 -1 0 11374 0 0 0 32966 35 0 0 25 0 1 0 656265202 50872320 11253 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12420 11253 1111 63 0 12357 0
vsize: 49680
[startup+340.016 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 10761
Raw data (stat): 10761 (bsolo_mis) R 10760 7876 7672 0 -1 0 11555 0 0 0 33966 35 0 0 25 0 1 0 656265202 51548160 11433 4294967295 134512640 134714540 3221221792 3221220532 134622704 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12585 11433 1111 63 0 12522 0
vsize: 50340
[startup+350.016 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 10761
Raw data (stat): 10761 (bsolo_mis) R 10760 7876 7672 0 -1 0 11765 0 0 0 34965 36 0 0 25 0 1 0 656265202 52506624 11641 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12819 11641 1111 63 0 12756 0
vsize: 51276
[startup+360.017 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 10761
Raw data (stat): 10761 (bsolo_mis) R 10760 7876 7672 0 -1 0 11765 0 0 0 35965 36 0 0 25 0 1 0 656265202 52506624 11641 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12819 11641 1111 63 0 12756 0
vsize: 51276
[startup+370.017 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 10761
Raw data (stat): 10761 (bsolo_mis) R 10760 7876 7672 0 -1 0 11766 0 0 0 36965 36 0 0 25 0 1 0 656265202 52506624 11642 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12819 11642 1111 63 0 12756 0
vsize: 51276
[startup+380.017 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 10761
Raw data (stat): 10761 (bsolo_mis) R 10760 7876 7672 0 -1 0 11766 0 0 0 37966 36 0 0 25 0 1 0 656265202 52506624 11642 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12819 11642 1111 63 0 12756 0
vsize: 51276
[startup+390.018 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 10761
Raw data (stat): 10761 (bsolo_mis) R 10760 7876 7672 0 -1 0 11766 0 0 0 38966 36 0 0 25 0 1 0 656265202 52506624 11642 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12819 11642 1111 63 0 12756 0
vsize: 51276
[startup+400.018 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 10761
Raw data (stat): 10761 (bsolo_mis) R 10760 7876 7672 0 -1 0 11768 0 0 0 39966 36 0 0 25 0 1 0 656265202 52506624 11644 4294967295 134512640 134714540 3221221792 3221220508 134558493 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12819 11644 1111 63 0 12756 0
vsize: 51276
[startup+410.019 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 10761
Raw data (stat): 10761 (bsolo_mis) R 10760 7876 7672 0 -1 0 11768 0 0 0 40966 37 0 0 25 0 1 0 656265202 52506624 11644 4294967295 134512640 134714540 3221221792 3221220528 134622825 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12819 11644 1111 63 0 12756 0
vsize: 51276
[startup+420.019 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 10761
Raw data (stat): 10761 (bsolo_mis) R 10760 7876 7672 0 -1 0 11768 0 0 0 41966 37 0 0 25 0 1 0 656265202 52506624 11644 4294967295 134512640 134714540 3221221792 3221220504 134543144 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12819 11644 1111 63 0 12756 0
vsize: 51276
[startup+430.019 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 10761
Raw data (stat): 10761 (bsolo_mis) R 10760 7876 7672 0 -1 0 11768 0 0 0 42966 37 0 0 25 0 1 0 656265202 52506624 11644 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12819 11644 1111 63 0 12756 0
vsize: 51276
[startup+440.019 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 10761
Raw data (stat): 10761 (bsolo_mis) R 10760 7876 7672 0 -1 0 11769 0 0 0 43966 37 0 0 25 0 1 0 656265202 52506624 11645 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12819 11645 1111 63 0 12756 0
vsize: 51276
[startup+450.019 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 10761
Raw data (stat): 10761 (bsolo_mis) R 10760 7876 7672 0 -1 0 11769 0 0 0 44967 37 0 0 25 0 1 0 656265202 52506624 11645 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12819 11645 1111 63 0 12756 0
vsize: 51276
[startup+460.02 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 10761
Raw data (stat): 10761 (bsolo_mis) R 10760 7876 7672 0 -1 0 11769 0 0 0 45967 37 0 0 25 0 1 0 656265202 52506624 11645 4294967295 134512640 134714540 3221221792 3221220584 134536900 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12819 11645 1111 63 0 12756 0
vsize: 51276
[startup+470.021 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 10761
Raw data (stat): 10761 (bsolo_mis) R 10760 7876 7672 0 -1 0 11771 0 0 0 46967 37 0 0 25 0 1 0 656265202 52506624 11647 4294967295 134512640 134714540 3221221792 3221220584 134542412 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12819 11647 1111 63 0 12756 0
vsize: 51276
[startup+480.02 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 10761
Raw data (stat): 10761 (bsolo_mis) R 10760 7876 7672 0 -1 0 11771 0 0 0 47967 37 0 0 25 0 1 0 656265202 52506624 11647 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12819 11647 1111 63 0 12756 0
vsize: 51276
[startup+490.021 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 10761
Raw data (stat): 10761 (bsolo_mis) R 10760 7876 7672 0 -1 0 11772 0 0 0 48967 37 0 0 25 0 1 0 656265202 52506624 11648 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12819 11648 1111 63 0 12756 0
vsize: 51276
[startup+500.021 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 10761
Raw data (stat): 10761 (bsolo_mis) R 10760 7876 7672 0 -1 0 11772 0 0 0 49967 37 0 0 25 0 1 0 656265202 52506624 11648 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12819 11648 1111 63 0 12756 0
vsize: 51276
[startup+510.022 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 10761
Raw data (stat): 10761 (bsolo_mis) R 10760 7876 7672 0 -1 0 11774 0 0 0 50967 37 0 0 25 0 1 0 656265202 52506624 11650 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12819 11650 1111 63 0 12756 0
vsize: 51276
[startup+520.023 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 10761
Raw data (stat): 10761 (bsolo_mis) R 10760 7876 7672 0 -1 0 11775 0 0 0 51968 37 0 0 25 0 1 0 656265202 52506624 11651 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12819 11651 1111 63 0 12756 0
vsize: 51276
[startup+530.023 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 10761
Raw data (stat): 10761 (bsolo_mis) R 10760 7876 7672 0 -1 0 11775 0 0 0 52968 37 0 0 25 0 1 0 656265202 52506624 11651 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12819 11651 1111 63 0 12756 0
vsize: 51276
[startup+540.024 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 10761
Raw data (stat): 10761 (bsolo_mis) R 10760 7876 7672 0 -1 0 11775 0 0 0 53968 37 0 0 25 0 1 0 656265202 52506624 11651 4294967295 134512640 134714540 3221221792 3221220588 134543553 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12819 11651 1111 63 0 12756 0
vsize: 51276
[startup+550.023 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 10761
Raw data (stat): 10761 (bsolo_mis) R 10760 7876 7672 0 -1 0 11775 0 0 0 54968 37 0 0 25 0 1 0 656265202 52506624 11651 4294967295 134512640 134714540 3221221792 3221220504 134543144 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12819 11651 1111 63 0 12756 0
vsize: 51276
[startup+560.024 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 10761
Raw data (stat): 10761 (bsolo_mis) R 10760 7876 7672 0 -1 0 11781 0 0 0 55968 37 0 0 25 0 1 0 656265202 52506624 11657 4294967295 134512640 134714540 3221221792 3221220504 134543168 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12819 11657 1111 63 0 12756 0
vsize: 51276
[startup+570.024 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 10761
Raw data (stat): 10761 (bsolo_mis) R 10760 7876 7672 0 -1 0 11781 0 0 0 56968 37 0 0 25 0 1 0 656265202 52506624 11657 4294967295 134512640 134714540 3221221792 3221220584 134543552 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12819 11657 1111 63 0 12756 0
vsize: 51276
[startup+580.024 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 10761
Raw data (stat): 10761 (bsolo_mis) R 10760 7876 7672 0 -1 0 11781 0 0 0 57968 37 0 0 25 0 1 0 656265202 52506624 11657 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12819 11657 1111 63 0 12756 0
vsize: 51276
[startup+590.026 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 10761
Raw data (stat): 10761 (bsolo_mis) R 10760 7876 7672 0 -1 0 11836 0 0 0 58968 38 0 0 25 0 1 0 656265202 52781056 11712 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12886 11712 1111 63 0 12823 0
vsize: 51544
[startup+600.026 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 10761
Raw data (stat): 10761 (bsolo_mis) R 10760 7876 7672 0 -1 0 11872 0 0 0 59968 38 0 0 25 0 1 0 656265202 52916224 11748 4294967295 134512640 134714540 3221221792 3221220584 134542412 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12919 11748 1111 63 0 12856 0
vsize: 51676
[startup+610.027 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 10761
Raw data (stat): 10761 (bsolo_mis) R 10760 7876 7672 0 -1 0 11898 0 0 0 60968 38 0 0 25 0 1 0 656265202 53051392 11774 4294967295 134512640 134714540 3221221792 3221220504 134558492 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12952 11774 1111 63 0 12889 0
vsize: 51808
[startup+620.027 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 10761
Raw data (stat): 10761 (bsolo_mis) R 10760 7876 7672 0 -1 0 11898 0 0 0 61969 38 0 0 25 0 1 0 656265202 53051392 11774 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12952 11774 1111 63 0 12889 0
vsize: 51808
[startup+630.027 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 10761
Raw data (stat): 10761 (bsolo_mis) R 10760 7876 7672 0 -1 0 12517 0 0 0 62966 41 0 0 25 0 1 0 656265202 55496704 12390 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13549 12390 1111 63 0 13486 0
vsize: 54196
[startup+640.027 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 10761
Raw data (stat): 10761 (bsolo_mis) R 10760 7876 7672 0 -1 0 12517 0 0 0 63966 41 0 0 25 0 1 0 656265202 55496704 12390 4294967295 134512640 134714540 3221221792 3221220508 134543192 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13549 12390 1111 63 0 13486 0
vsize: 54196
[startup+650.027 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 10761
Raw data (stat): 10761 (bsolo_mis) R 10760 7876 7672 0 -1 0 12517 0 0 0 64966 41 0 0 25 0 1 0 656265202 55496704 12390 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13549 12390 1111 63 0 13486 0
vsize: 54196
[startup+660.029 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 10761
Raw data (stat): 10761 (bsolo_mis) R 10760 7876 7672 0 -1 0 12517 0 0 0 65967 41 0 0 25 0 1 0 656265202 55496704 12390 4294967295 134512640 134714540 3221221792 3221220504 134543168 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13549 12390 1111 63 0 13486 0
vsize: 54196
[startup+670.029 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 10761
Raw data (stat): 10761 (bsolo_mis) R 10760 7876 7672 0 -1 0 12517 0 0 0 66967 41 0 0 25 0 1 0 656265202 55496704 12390 4294967295 134512640 134714540 3221221792 3221220504 134543187 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13549 12390 1111 63 0 13486 0
vsize: 54196
[startup+680.028 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 10761
Raw data (stat): 10761 (bsolo_mis) R 10760 7876 7672 0 -1 0 12517 0 0 0 67967 41 0 0 25 0 1 0 656265202 55496704 12390 4294967295 134512640 134714540 3221221792 3221220508 134558493 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13549 12390 1111 63 0 13486 0
vsize: 54196
[startup+690.028 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 10761
Raw data (stat): 10761 (bsolo_mis) R 10760 7876 7672 0 -1 0 12517 0 0 0 68967 41 0 0 25 0 1 0 656265202 55496704 12390 4294967295 134512640 134714540 3221221792 3221220588 134558476 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13549 12390 1111 63 0 13486 0
vsize: 54196
[startup+700.028 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 10761
Raw data (stat): 10761 (bsolo_mis) R 10760 7876 7672 0 -1 0 12517 0 0 0 69967 41 0 0 25 0 1 0 656265202 55496704 12390 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13549 12390 1111 63 0 13486 0
vsize: 54196
[startup+710.029 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 10761
Raw data (stat): 10761 (bsolo_mis) R 10760 7876 7672 0 -1 0 12517 0 0 0 70967 41 0 0 25 0 1 0 656265202 55496704 12390 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13549 12390 1111 63 0 13486 0
vsize: 54196
[startup+720.029 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 10761
Raw data (stat): 10761 (bsolo_mis) R 10760 7876 7672 0 -1 0 12517 0 0 0 71967 41 0 0 25 0 1 0 656265202 55496704 12390 4294967295 134512640 134714540 3221221792 3221220512 134622812 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13549 12390 1111 63 0 13486 0
vsize: 54196
[startup+730.029 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 10761
Raw data (stat): 10761 (bsolo_mis) R 10760 7876 7672 0 -1 0 12517 0 0 0 72967 41 0 0 25 0 1 0 656265202 55496704 12390 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13549 12390 1111 63 0 13486 0
vsize: 54196
[startup+740.029 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 10761
Raw data (stat): 10761 (bsolo_mis) R 10760 7876 7672 0 -1 0 12517 0 0 0 73967 41 0 0 25 0 1 0 656265202 55496704 12390 4294967295 134512640 134714540 3221221792 3221220504 134543187 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13549 12390 1111 63 0 13486 0
vsize: 54196
[startup+750.029 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 10761
Raw data (stat): 10761 (bsolo_mis) R 10760 7876 7672 0 -1 0 12517 0 0 0 74968 41 0 0 25 0 1 0 656265202 55496704 12390 4294967295 134512640 134714540 3221221792 3221220504 134543191 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13549 12390 1111 63 0 13486 0
vsize: 54196
[startup+760.029 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 10761
Raw data (stat): 10761 (bsolo_mis) R 10760 7876 7672 0 -1 0 12517 0 0 0 75968 41 0 0 25 0 1 0 656265202 55496704 12390 4294967295 134512640 134714540 3221221792 3221220504 134543168 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13549 12390 1111 63 0 13486 0
vsize: 54196
[startup+770.03 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 10761
Raw data (stat): 10761 (bsolo_mis) R 10760 7876 7672 0 -1 0 12517 0 0 0 76968 41 0 0 25 0 1 0 656265202 55496704 12390 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13549 12390 1111 63 0 13486 0
vsize: 54196
[startup+780.03 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 10761
Raw data (stat): 10761 (bsolo_mis) R 10760 7876 7672 0 -1 0 12517 0 0 0 77968 41 0 0 25 0 1 0 656265202 55496704 12390 4294967295 134512640 134714540 3221221792 3221220504 134543144 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13549 12390 1111 63 0 13486 0
vsize: 54196
[startup+790.03 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 10761
Raw data (stat): 10761 (bsolo_mis) R 10760 7876 7672 0 -1 0 12517 0 0 0 78968 41 0 0 25 0 1 0 656265202 55496704 12390 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13549 12390 1111 63 0 13486 0
vsize: 54196
[startup+800.03 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 10761
Raw data (stat): 10761 (bsolo_mis) R 10760 7876 7672 0 -1 0 12517 0 0 0 79968 42 0 0 25 0 1 0 656265202 55496704 12390 4294967295 134512640 134714540 3221221792 3221220528 134622873 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13549 12390 1111 63 0 13486 0
vsize: 54196
[startup+810.029 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 10761
Raw data (stat): 10761 (bsolo_mis) R 10760 7876 7672 0 -1 0 12517 0 0 0 80968 42 0 0 25 0 1 0 656265202 55496704 12390 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13549 12390 1111 63 0 13486 0
vsize: 54196
[startup+820.029 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 10761
Raw data (stat): 10761 (bsolo_mis) R 10760 7876 7672 0 -1 0 12517 0 0 0 81968 42 0 0 25 0 1 0 656265202 55496704 12390 4294967295 134512640 134714540 3221221792 3221220584 134536921 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13549 12390 1111 63 0 13486 0
vsize: 54196
[startup+830.03 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 10761
Raw data (stat): 10761 (bsolo_mis) R 10760 7876 7672 0 -1 0 12518 0 0 0 82968 42 0 0 25 0 1 0 656265202 55496704 12391 4294967295 134512640 134714540 3221221792 3221220504 134543144 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13549 12391 1111 63 0 13486 0
vsize: 54196
[startup+840.031 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 10761
Raw data (stat): 10761 (bsolo_mis) R 10760 7876 7672 0 -1 0 12518 0 0 0 83968 42 0 0 25 0 1 0 656265202 55496704 12391 4294967295 134512640 134714540 3221221792 3221220528 134622851 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13549 12391 1111 63 0 13486 0
vsize: 54196
[startup+850.03 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 10761
Raw data (stat): 10761 (bsolo_mis) R 10760 7876 7672 0 -1 0 12518 0 0 0 84968 42 0 0 25 0 1 0 656265202 55496704 12391 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13549 12391 1111 63 0 13486 0
vsize: 54196
[startup+860.03 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 10761
Raw data (stat): 10761 (bsolo_mis) R 10760 7876 7672 0 -1 0 12520 0 0 0 85969 42 0 0 25 0 1 0 656265202 55496704 12393 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13549 12393 1111 63 0 13486 0
vsize: 54196
[startup+870.031 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 10761
Raw data (stat): 10761 (bsolo_mis) R 10760 7876 7672 0 -1 0 12520 0 0 0 86969 42 0 0 25 0 1 0 656265202 55496704 12393 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13549 12393 1111 63 0 13486 0
vsize: 54196
[startup+880.031 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 10761
Raw data (stat): 10761 (bsolo_mis) R 10760 7876 7672 0 -1 0 12521 0 0 0 87969 42 0 0 25 0 1 0 656265202 55496704 12394 4294967295 134512640 134714540 3221221792 3221220584 134542414 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13549 12394 1111 63 0 13486 0
vsize: 54196
[startup+890.031 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 10761
Raw data (stat): 10761 (bsolo_mis) R 10760 7876 7672 0 -1 0 12521 0 0 0 88969 42 0 0 25 0 1 0 656265202 55496704 12394 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13549 12394 1111 63 0 13486 0
vsize: 54196
[startup+900.031 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 10761
Raw data (stat): 10761 (bsolo_mis) R 10760 7876 7672 0 -1 0 12523 0 0 0 89969 42 0 0 25 0 1 0 656265202 55496704 12396 4294967295 134512640 134714540 3221221792 3221220584 134536900 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13549 12396 1111 63 0 13486 0
vsize: 54196
[startup+910.031 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 10761
Raw data (stat): 10761 (bsolo_mis) R 10760 7876 7672 0 -1 0 12523 0 0 0 90969 42 0 0 25 0 1 0 656265202 55496704 12396 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13549 12396 1111 63 0 13486 0
vsize: 54196
[startup+920.031 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 10761
Raw data (stat): 10761 (bsolo_mis) R 10760 7876 7672 0 -1 0 12523 0 0 0 91969 42 0 0 25 0 1 0 656265202 55496704 12396 4294967295 134512640 134714540 3221221792 3221220584 134558492 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13549 12396 1111 63 0 13486 0
vsize: 54196
[startup+930.031 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 10761
Raw data (stat): 10761 (bsolo_mis) R 10760 7876 7672 0 -1 0 12523 0 0 0 92969 42 0 0 25 0 1 0 656265202 55496704 12396 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13549 12396 1111 63 0 13486 0
vsize: 54196
[startup+940.032 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 10761
Raw data (stat): 10761 (bsolo_mis) R 10760 7876 7672 0 -1 0 12523 0 0 0 93970 42 0 0 25 0 1 0 656265202 55496704 12396 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13549 12396 1111 63 0 13486 0
vsize: 54196
[startup+950.032 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 10761
Raw data (stat): 10761 (bsolo_mis) R 10760 7876 7672 0 -1 0 12523 0 0 0 94970 42 0 0 25 0 1 0 656265202 55496704 12396 4294967295 134512640 134714540 3221221792 3221220504 134543191 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13549 12396 1111 63 0 13486 0
vsize: 54196
[startup+960.032 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 10761
Raw data (stat): 10761 (bsolo_mis) R 10760 7876 7672 0 -1 0 12523 0 0 0 95970 43 0 0 25 0 1 0 656265202 55496704 12396 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13549 12396 1111 63 0 13486 0
vsize: 54196
[startup+970.032 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 10761
Raw data (stat): 10761 (bsolo_mis) R 10760 7876 7672 0 -1 0 12523 0 0 0 96970 43 0 0 25 0 1 0 656265202 55496704 12396 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13549 12396 1111 63 0 13486 0
vsize: 54196
[startup+980.032 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 10761
Raw data (stat): 10761 (bsolo_mis) R 10760 7876 7672 0 -1 0 12523 0 0 0 97970 43 0 0 25 0 1 0 656265202 55496704 12396 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13549 12396 1111 63 0 13486 0
vsize: 54196
[startup+990.033 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 10761
Raw data (stat): 10761 (bsolo_mis) R 10760 7876 7672 0 -1 0 12523 0 0 0 98970 43 0 0 25 0 1 0 656265202 55496704 12396 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13549 12396 1111 63 0 13486 0
vsize: 54196
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 10761
Raw data (stat): 10761 (bsolo_mis) R 10760 7876 7672 0 -1 0 12523 0 0 0 99971 43 0 0 25 0 1 0 656265202 55496704 12396 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13549 12396 1111 63 0 13486 0
vsize: 54196
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 10761
Raw data (stat): 10761 (bsolo_mis) R 10760 7876 7672 0 -1 0 12523 0 0 0 100971 43 0 0 25 0 1 0 656265202 55496704 12396 4294967295 134512640 134714540 3221221792 3221220584 134542412 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13549 12396 1111 63 0 13486 0
vsize: 54196
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 10761
Raw data (stat): 10761 (bsolo_mis) R 10760 7876 7672 0 -1 0 12523 0 0 0 101971 43 0 0 25 0 1 0 656265202 55496704 12396 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13549 12396 1111 63 0 13486 0
vsize: 54196
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 10761
Raw data (stat): 10761 (bsolo_mis) R 10760 7876 7672 0 -1 0 12523 0 0 0 102971 43 0 0 25 0 1 0 656265202 55496704 12396 4294967295 134512640 134714540 3221221792 3221220588 134536888 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13549 12396 1111 63 0 13486 0
vsize: 54196
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 10761
Raw data (stat): 10761 (bsolo_mis) R 10760 7876 7672 0 -1 0 12523 0 0 0 103971 43 0 0 25 0 1 0 656265202 55496704 12396 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13549 12396 1111 63 0 13486 0
vsize: 54196
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 10761
Raw data (stat): 10761 (bsolo_mis) R 10760 7876 7672 0 -1 0 12523 0 0 0 104971 43 0 0 25 0 1 0 656265202 55496704 12396 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13549 12396 1111 63 0 13486 0
vsize: 54196
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 10761
Raw data (stat): 10761 (bsolo_mis) R 10760 7876 7672 0 -1 0 12523 0 0 0 105971 43 0 0 25 0 1 0 656265202 55496704 12396 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13549 12396 1111 63 0 13486 0
vsize: 54196
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 10761
Raw data (stat): 10761 (bsolo_mis) R 10760 7876 7672 0 -1 0 12523 0 0 0 106972 43 0 0 25 0 1 0 656265202 55496704 12396 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13549 12396 1111 63 0 13486 0
vsize: 54196
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 10761
Raw data (stat): 10761 (bsolo_mis) R 10760 7876 7672 0 -1 0 12523 0 0 0 107972 43 0 0 25 0 1 0 656265202 55496704 12396 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13549 12396 1111 63 0 13486 0
vsize: 54196
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 10761
Raw data (stat): 10761 (bsolo_mis) R 10760 7876 7672 0 -1 0 12523 0 0 0 108972 43 0 0 25 0 1 0 656265202 55496704 12396 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13549 12396 1111 63 0 13486 0
vsize: 54196
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 10761
Raw data (stat): 10761 (bsolo_mis) R 10760 7876 7672 0 -1 0 12523 0 0 0 109972 43 0 0 25 0 1 0 656265202 55496704 12396 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13549 12396 1111 63 0 13486 0
vsize: 54196
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 10761
Raw data (stat): 10761 (bsolo_mis) R 10760 7876 7672 0 -1 0 12523 0 0 0 110972 43 0 0 25 0 1 0 656265202 55496704 12396 4294967295 134512640 134714540 3221221792 3221220508 134558493 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13549 12396 1111 63 0 13486 0
vsize: 54196
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 10761
Raw data (stat): 10761 (bsolo_mis) R 10760 7876 7672 0 -1 0 12523 0 0 0 111972 43 0 0 25 0 1 0 656265202 55496704 12396 4294967295 134512640 134714540 3221221792 3221220608 134622477 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13549 12396 1111 63 0 13486 0
vsize: 54196
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 10761
Raw data (stat): 10761 (bsolo_mis) R 10760 7876 7672 0 -1 0 12523 0 0 0 112973 43 0 0 25 0 1 0 656265202 55496704 12396 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13549 12396 1111 63 0 13486 0
vsize: 54196
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 10761
Raw data (stat): 10761 (bsolo_mis) R 10760 7876 7672 0 -1 0 12523 0 0 0 113973 43 0 0 25 0 1 0 656265202 55496704 12396 4294967295 134512640 134714540 3221221792 3221220584 134558492 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13549 12396 1111 63 0 13486 0
vsize: 54196
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 10761
Raw data (stat): 10761 (bsolo_mis) R 10760 7876 7672 0 -1 0 12523 0 0 0 114973 43 0 0 25 0 1 0 656265202 55496704 12396 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13549 12396 1111 63 0 13486 0
vsize: 54196
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 10761
Raw data (stat): 10761 (bsolo_mis) R 10760 7876 7672 0 -1 0 12523 0 0 0 115973 43 0 0 25 0 1 0 656265202 55496704 12396 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13549 12396 1111 63 0 13486 0
vsize: 54196
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 10761
Raw data (stat): 10761 (bsolo_mis) R 10760 7876 7672 0 -1 0 12523 0 0 0 116973 43 0 0 25 0 1 0 656265202 55496704 12396 4294967295 134512640 134714540 3221221792 3221220576 134622534 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13549 12396 1111 63 0 13486 0
vsize: 54196
[startup+1180.04 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 10761
Raw data (stat): 10761 (bsolo_mis) R 10760 7876 7672 0 -1 0 12523 0 0 0 117973 43 0 0 25 0 1 0 656265202 55496704 12396 4294967295 134512640 134714540 3221221792 3221220584 134542412 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13549 12396 1111 63 0 13486 0
vsize: 54196
[startup+1187.41 s]
Raw data (loadavg): 0.99 0.99 0.99 1/53 10761
Raw data (stat): 10761 (bsolo_mis) R 10760 7876 7672 0 -1 0 12523 0 0 0 117973 43 0 0 25 0 1 0 656265202 55496704 12396 4294967295 134512640 134714540 3221221792 3221220584 134542412 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13549 12396 1111 63 0 13486 0
vsize: 0

Child status: 10
Real time (s): 1187.41
CPU time (s): 1187.55
CPU user time (s): 1187.08
CPU system time (s): 0.461929
CPU usage (%): 100.011
Max. virtual memory (Kb): 54196
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	27
#### END VERIFIER DATA ####