Name | normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii8a3.opb |
MD5SUM | a430664a9b4f203a5896b33ca2b0e0e5 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 191 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 528 |
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 | 528 |
Number of bits of the sum of numbers in the objective function | 10 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 528 |
Number of bits of the biggest sum of numbers | 10 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1.02384 |
Number of variables | 528 |
Total number of constraints | 1816 |
Number of constraints which are clauses | 1816 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 8 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc31 THE 2005-05-07 03:25:59 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=1479 boxname=wulflinc31 idbench=165 idsolver=3 numberseed=0 MD5SUM SOLVER: 03a6a792daea978e4202f78851741568 /oldhome/oroussel/solvers/bsolo_mis MD5SUM BENCH: a430664a9b4f203a5896b33ca2b0e0e5 /oldhome/oroussel/tmp/wulflinc31/normalized-ii8a3.opb REAL COMMAND: bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-ii8a3.opb IDLAUNCH: 1479 /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: 149392 kB Buffers: 37948 kB Cached: 813244 kB SwapCached: 644 kB Active: 487472 kB Inactive: 365996 kB HighTotal: 131008 kB HighFree: 8428 kB LowTotal: 903652 kB LowFree: 140964 kB SwapTotal: 2097892 kB SwapFree: 2096612 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5608 kB Slab: 26184 kB Committed_AS: 63652 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-07 03:45:34 (client local time) WITH STATUS 10 IN 1175.05 SECONDS stats: 1479 0 1175.05 10 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c Initial problem consists of 528 variables and 1816 constraints. c After prepocess the problem consists of 528 variables and 1804 constraints. c preprocess terminated 0.855 s c Initial Lower Bound: 100 c Lower Bound Elapsed time: 0 c Use computed LB before first solution. c NEW SOLUTION FOUND: 225 @ 1.33 c NEW SOLUTION FOUND: 224 @ 7.281 c NEW SOLUTION FOUND: 223 @ 7.33 c NEW SOLUTION FOUND: 222 @ 7.435 c NEW SOLUTION FOUND: 217 @ 8.546 c NEW SOLUTION FOUND: 216 @ 8.551 c NEW SOLUTION FOUND: 215 @ 8.555 c NEW SOLUTION FOUND: 214 @ 8.562 c NEW SOLUTION FOUND: 208 @ 9.553 c NEW SOLUTION FOUND: 203 @ 9.563 c NEW SOLUTION FOUND: 202 @ 9.775 c NEW SOLUTION FOUND: 199 @ 9.784 c NEW SOLUTION FOUND: 193 @ 9.798 c NEW SOLUTION FOUND: 192 @ 9.82 c NEW SOLUTION FOUND: 191 @ 60.241 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 -x374 -x375 -x376 -x377 x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 x386 -x387 x388 -x389 x390 -x391 x392 -x393 x394 x395 -x396 x397 -x398 -x399 -x400 -x401 x402 -x403 -x404 -x405 -x406 -x407 -x408 x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 x421 -x422 -x423 -x424 -x425 x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 x434 -x435 x436 -x437 x438 -x439 x440 -x441 x442 x443 -x444 x445 -x446 -x447 -x448 -x449 x450 -x451 -x452 -x453 -x454 -x455 x456 -x457 -x458 -x459 -x460 -x461 x462 -x463 -x464 x465 -x466 -x467 x468 x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 x481 -x482 -x483 -x484 -x485 x486 -x487 -x488 -x489 -x490 -x491 x492 -x493 x494 -x495 x496 x497 -x498 -x499 x500 -x501 x502 -x503 x504 -x505 x506 -x507 x508 -x509 x510 -x511 x512 -x513 x514 x515 -x516 -x517 x518 -x519 x520 -x521 x522 -x523 x524 -x525 x526 x527 -x528 c Exit Code: 10 c Total time: 1175.02 s #### END SOLVER DATA #### #### BEGIN WATCHER DATA #### Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds Enforcing VSIZE limit: 943718400 bytes Raw data (loadavg): 1.14 1.03 1.01 2/54 28597 Raw data (stat): 28597 (runsolver) R 28596 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 680067883 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): 1.12 1.03 1.01 2/54 28597 Raw data (stat): 28597 (bsolo_mis) R 28596 7876 7672 0 -1 0 930 0 0 0 991 4 0 0 25 0 1 0 680067883 7434240 904 4294967295 134512640 134714540 3221221792 3221220492 134535620 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1815 904 1111 63 0 1752 0 vsize: 7260 [startup+20.0009 s] Raw data (loadavg): 1.10 1.03 1.01 2/54 28597 Raw data (stat): 28597 (bsolo_mis) R 28596 7876 7672 0 -1 0 1008 0 0 0 1989 6 0 0 25 0 1 0 680067883 7704576 982 4294967295 134512640 134714540 3221221792 3221220552 134542412 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1881 982 1111 63 0 1818 0 vsize: 7524 [startup+30.0018 s] Raw data (loadavg): 1.08 1.03 1.01 2/54 28597 Raw data (stat): 28597 (bsolo_mis) R 28596 7876 7672 0 -1 0 1022 0 0 0 2988 7 0 0 25 0 1 0 680067883 7815168 996 4294967295 134512640 134714540 3221221792 3221220512 134625095 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1908 996 1111 63 0 1845 0 vsize: 7632 [startup+40.0022 s] Raw data (loadavg): 1.07 1.03 1.01 2/54 28597 Raw data (stat): 28597 (bsolo_mis) R 28596 7876 7672 0 -1 0 1100 0 0 0 3987 8 0 0 25 0 1 0 680067883 8073216 1074 4294967295 134512640 134714540 3221221792 3221220408 134543600 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1971 1074 1111 63 0 1908 0 vsize: 7884 [startup+50.0027 s] Raw data (loadavg): 1.06 1.03 1.01 2/54 28597 Raw data (stat): 28597 (bsolo_mis) R 28596 7876 7672 0 -1 0 1113 0 0 0 4986 9 0 0 25 0 1 0 680067883 8208384 1087 4294967295 134512640 134714540 3221221792 3221220688 134621515 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2004 1087 1111 63 0 1941 0 vsize: 8016 [startup+60.0027 s] Raw data (loadavg): 1.05 1.02 1.00 2/54 28597 Raw data (stat): 28597 (bsolo_mis) R 28596 7876 7672 0 -1 0 1113 0 0 0 5985 10 0 0 25 0 1 0 680067883 8208384 1087 4294967295 134512640 134714540 3221221792 3221220588 134695725 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2004 1087 1111 63 0 1941 0 vsize: 8016 [startup+70.0041 s] Raw data (loadavg): 1.04 1.02 1.00 2/54 28597 Raw data (stat): 28597 (bsolo_mis) R 28596 7876 7672 0 -1 0 1198 0 0 0 6984 11 0 0 25 0 1 0 680067883 8478720 1172 4294967295 134512640 134714540 3221221792 3221220596 134611006 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2070 1172 1111 63 0 2007 0 vsize: 8280 [startup+80.0046 s] Raw data (loadavg): 1.04 1.02 1.00 2/54 28597 Raw data (stat): 28597 (bsolo_mis) R 28596 7876 7672 0 -1 0 1245 0 0 0 7984 12 0 0 25 0 1 0 680067883 8749056 1219 4294967295 134512640 134714540 3221221792 3221220576 134590035 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2136 1219 1111 63 0 2073 0 vsize: 8544 [startup+90.0049 s] Raw data (loadavg): 1.03 1.02 1.00 2/54 28597 Raw data (stat): 28597 (bsolo_mis) R 28596 7876 7672 0 -1 0 1245 0 0 0 8982 13 0 0 25 0 1 0 680067883 8749056 1219 4294967295 134512640 134714540 3221221792 3221220584 134543174 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2136 1219 1111 63 0 2073 0 vsize: 8544 [startup+100.005 s] Raw data (loadavg): 1.02 1.02 1.00 2/54 28597 Raw data (stat): 28597 (bsolo_mis) R 28596 7876 7672 0 -1 0 1268 0 0 0 9981 15 0 0 25 0 1 0 680067883 8749056 1242 4294967295 134512640 134714540 3221221792 3221220504 134543187 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2136 1242 1111 63 0 2073 0 vsize: 8544 [startup+110.006 s] Raw data (loadavg): 1.02 1.02 1.00 2/54 28597 Raw data (stat): 28597 (bsolo_mis) R 28596 7876 7672 0 -1 0 1270 0 0 0 10980 16 0 0 25 0 1 0 680067883 8880128 1244 4294967295 134512640 134714540 3221221792 3221220092 1077377137 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2168 1244 1111 63 0 2105 0 vsize: 8672 [startup+120.006 s] Raw data (loadavg): 1.02 1.02 1.00 2/54 28597 Raw data (stat): 28597 (bsolo_mis) R 28596 7876 7672 0 -1 0 1302 0 0 0 11979 17 0 0 25 0 1 0 680067883 9015296 1276 4294967295 134512640 134714540 3221221792 3221220564 134624859 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2201 1276 1111 63 0 2138 0 vsize: 8804 [startup+130.006 s] Raw data (loadavg): 1.01 1.02 1.00 2/54 28597 Raw data (stat): 28597 (bsolo_mis) R 28596 7876 7672 0 -1 0 1339 0 0 0 12978 18 0 0 25 0 1 0 680067883 9150464 1313 4294967295 134512640 134714540 3221221792 3221220608 134622124 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2234 1313 1111 63 0 2171 0 vsize: 8936 [startup+140.007 s] Raw data (loadavg): 1.01 1.02 1.00 2/54 28597 Raw data (stat): 28597 (bsolo_mis) R 28596 7876 7672 0 -1 0 1339 0 0 0 13978 19 0 0 25 0 1 0 680067883 9150464 1313 4294967295 134512640 134714540 3221221792 3221220536 134536879 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2234 1313 1111 63 0 2171 0 vsize: 8936 [startup+150.008 s] Raw data (loadavg): 1.01 1.02 1.00 2/54 28597 Raw data (stat): 28597 (bsolo_mis) R 28596 7876 7672 0 -1 0 1339 0 0 0 14977 19 0 0 25 0 1 0 680067883 9150464 1313 4294967295 134512640 134714540 3221221792 3221220500 134603388 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2234 1313 1111 63 0 2171 0 vsize: 8936 [startup+160.007 s] Raw data (loadavg): 1.01 1.02 1.00 2/54 28597 Raw data (stat): 28597 (bsolo_mis) R 28596 7876 7672 0 -1 0 1339 0 0 0 15977 20 0 0 25 0 1 0 680067883 9150464 1313 4294967295 134512640 134714540 3221221792 3221220608 134610900 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2234 1313 1111 63 0 2171 0 vsize: 8936 [startup+170.009 s] Raw data (loadavg): 1.01 1.01 1.00 2/54 28597 Raw data (stat): 28597 (bsolo_mis) R 28596 7876 7672 0 -1 0 1339 0 0 0 16976 21 0 0 25 0 1 0 680067883 9150464 1313 4294967295 134512640 134714540 3221221792 3221220504 134543187 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2234 1313 1111 63 0 2171 0 vsize: 8936 [startup+180.009 s] Raw data (loadavg): 1.00 1.01 1.00 2/54 28597 Raw data (stat): 28597 (bsolo_mis) R 28596 7876 7672 0 -1 0 1339 0 0 0 17976 21 0 0 25 0 1 0 680067883 9150464 1313 4294967295 134512640 134714540 3221221792 3221220440 134524449 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2234 1313 1111 63 0 2171 0 vsize: 8936 [startup+190.009 s] Raw data (loadavg): 1.00 1.01 1.00 2/54 28597 Raw data (stat): 28597 (bsolo_mis) R 28596 7876 7672 0 -1 0 1347 0 0 0 18974 23 0 0 25 0 1 0 680067883 9150464 1321 4294967295 134512640 134714540 3221221792 3221220384 134535032 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2234 1321 1111 63 0 2171 0 vsize: 8936 [startup+200.009 s] Raw data (loadavg): 1.00 1.01 1.00 2/54 28597 Raw data (stat): 28597 (bsolo_mis) R 28596 7876 7672 0 -1 0 1364 0 0 0 19973 24 0 0 25 0 1 0 680067883 9150464 1338 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2234 1338 1111 63 0 2171 0 vsize: 8936 [startup+210.009 s] Raw data (loadavg): 1.00 1.01 1.00 2/54 28597 Raw data (stat): 28597 (bsolo_mis) R 28596 7876 7672 0 -1 0 1364 0 0 0 20972 25 0 0 25 0 1 0 680067883 9150464 1338 4294967295 134512640 134714540 3221221792 3221220584 134543552 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2234 1338 1111 63 0 2171 0 vsize: 8936 [startup+220.01 s] Raw data (loadavg): 1.00 1.01 1.00 2/54 28597 Raw data (stat): 28597 (bsolo_mis) R 28596 7876 7672 0 -1 0 1364 0 0 0 21972 26 0 0 25 0 1 0 680067883 9150464 1338 4294967295 134512640 134714540 3221221792 3221220504 134543191 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2234 1338 1111 63 0 2171 0 vsize: 8936 [startup+230.01 s] Raw data (loadavg): 1.00 1.01 1.00 2/54 28597 Raw data (stat): 28597 (bsolo_mis) R 28596 7876 7672 0 -1 0 1364 0 0 0 22972 26 0 0 25 0 1 0 680067883 9150464 1338 4294967295 134512640 134714540 3221221792 3221220584 134558492 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2234 1338 1111 63 0 2171 0 vsize: 8936 [startup+240.009 s] Raw data (loadavg): 1.00 1.01 1.00 2/54 28597 Raw data (stat): 28597 (bsolo_mis) R 28596 7876 7672 0 -1 0 1364 0 0 0 23971 26 0 0 25 0 1 0 680067883 9150464 1338 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2234 1338 1111 63 0 2171 0 vsize: 8936 [startup+250.01 s] Raw data (loadavg): 1.00 1.01 1.00 2/54 28597 Raw data (stat): 28597 (bsolo_mis) R 28596 7876 7672 0 -1 0 1365 0 0 0 24971 27 0 0 25 0 1 0 680067883 9150464 1339 4294967295 134512640 134714540 3221221792 3221220520 134622854 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2234 1339 1111 63 0 2171 0 vsize: 8936 [startup+260.011 s] Raw data (loadavg): 1.00 1.01 1.00 2/54 28597 Raw data (stat): 28597 (bsolo_mis) R 28596 7876 7672 0 -1 0 1375 0 0 0 25971 27 0 0 25 0 1 0 680067883 9285632 1349 4294967295 134512640 134714540 3221221792 3221220028 1077379835 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2267 1349 1111 63 0 2204 0 vsize: 9068 [startup+270.012 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 28597 Raw data (stat): 28597 (bsolo_mis) R 28596 7876 7672 0 -1 0 1407 0 0 0 26971 28 0 0 25 0 1 0 680067883 9420800 1381 4294967295 134512640 134714540 3221221792 3221220608 134610714 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2300 1381 1111 63 0 2237 0 vsize: 9200 [startup+280.012 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 28597 Raw data (stat): 28597 (bsolo_mis) R 28596 7876 7672 0 -1 0 1407 0 0 0 27970 28 0 0 25 0 1 0 680067883 9420800 1381 4294967295 134512640 134714540 3221221792 3221220512 134542598 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2300 1381 1111 63 0 2237 0 vsize: 9200 [startup+290.012 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 28597 Raw data (stat): 28597 (bsolo_mis) R 28596 7876 7672 0 -1 0 1407 0 0 0 28970 29 0 0 25 0 1 0 680067883 9420800 1381 4294967295 134512640 134714540 3221221792 3221220608 134622651 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2300 1381 1111 63 0 2237 0 vsize: 9200 [startup+300.012 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 28597 Raw data (stat): 28597 (bsolo_mis) R 28596 7876 7672 0 -1 0 1407 0 0 0 29969 29 0 0 25 0 1 0 680067883 9420800 1381 4294967295 134512640 134714540 3221221792 3221220508 134558476 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2300 1381 1111 63 0 2237 0 vsize: 9200 [startup+310.012 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 28597 Raw data (stat): 28597 (bsolo_mis) R 28596 7876 7672 0 -1 0 1412 0 0 0 30969 30 0 0 25 0 1 0 680067883 9420800 1386 4294967295 134512640 134714540 3221221792 3221220304 134542350 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2300 1386 1111 63 0 2237 0 vsize: 9200 [startup+320.012 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 28597 Raw data (stat): 28597 (bsolo_mis) R 28596 7876 7672 0 -1 0 1437 0 0 0 31969 30 0 0 25 0 1 0 680067883 9555968 1411 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2333 1411 1111 63 0 2270 0 vsize: 9332 [startup+330.012 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 28597 Raw data (stat): 28597 (bsolo_mis) R 28596 7876 7672 0 -1 0 1437 0 0 0 32968 31 0 0 25 0 1 0 680067883 9555968 1411 4294967295 134512640 134714540 3221221792 3221220596 134610916 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2333 1411 1111 63 0 2270 0 vsize: 9332 [startup+340.012 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 28597 Raw data (stat): 28597 (bsolo_mis) R 28596 7876 7672 0 -1 0 1439 0 0 0 33968 31 0 0 25 0 1 0 680067883 9555968 1413 4294967295 134512640 134714540 3221221792 3221220576 134624467 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2333 1413 1111 63 0 2270 0 vsize: 9332 [startup+350.012 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 28597 Raw data (stat): 28597 (bsolo_mis) R 28596 7876 7672 0 -1 0 1439 0 0 0 34967 32 0 0 25 0 1 0 680067883 9555968 1413 4294967295 134512640 134714540 3221221792 3221220504 134543187 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2333 1413 1111 63 0 2270 0 vsize: 9332 [startup+360.012 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 28597 Raw data (stat): 28597 (bsolo_mis) R 28596 7876 7672 0 -1 0 1462 0 0 0 35967 33 0 0 25 0 1 0 680067883 9555968 1436 4294967295 134512640 134714540 3221221792 3221220516 134542593 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2333 1436 1111 63 0 2270 0 vsize: 9332 [startup+370.013 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 28597 Raw data (stat): 28597 (bsolo_mis) R 28596 7876 7672 0 -1 0 1462 0 0 0 36966 34 0 0 25 0 1 0 680067883 9555968 1436 4294967295 134512640 134714540 3221221792 3221220504 134543168 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2333 1436 1111 63 0 2270 0 vsize: 9332 [startup+380.013 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 28597 Raw data (stat): 28597 (bsolo_mis) R 28596 7876 7672 0 -1 0 1462 0 0 0 37966 34 0 0 25 0 1 0 680067883 9555968 1436 4294967295 134512640 134714540 3221221792 3221220348 134539237 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2333 1436 1111 63 0 2270 0 vsize: 9332 [startup+390.013 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 28597 Raw data (stat): 28597 (bsolo_mis) R 28596 7876 7672 0 -1 0 1462 0 0 0 38966 34 0 0 25 0 1 0 680067883 9555968 1436 4294967295 134512640 134714540 3221221792 3221220584 134558492 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2333 1436 1111 63 0 2270 0 vsize: 9332 [startup+400.013 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 28597 Raw data (stat): 28597 (bsolo_mis) R 28596 7876 7672 0 -1 0 1469 0 0 0 39966 35 0 0 25 0 1 0 680067883 9691136 1443 4294967295 134512640 134714540 3221221792 3221220596 134611006 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2366 1443 1111 63 0 2303 0 vsize: 9464 [startup+410.014 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 28597 Raw data (stat): 28597 (bsolo_mis) R 28596 7876 7672 0 -1 0 1475 0 0 0 40965 35 0 0 25 0 1 0 680067883 9682944 1449 4294967295 134512640 134714540 3221221792 3221220528 134584937 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2364 1449 1111 63 0 2301 0 vsize: 9456 [startup+420.014 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 28597 Raw data (stat): 28597 (bsolo_mis) R 28596 7876 7672 0 -1 0 1489 0 0 0 41965 36 0 0 25 0 1 0 680067883 9682944 1463 4294967295 134512640 134714540 3221221792 3221220596 134611006 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2364 1463 1111 63 0 2301 0 vsize: 9456 [startup+430.014 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 28597 Raw data (stat): 28597 (bsolo_mis) R 28596 7876 7672 0 -1 0 1489 0 0 0 42963 37 0 0 25 0 1 0 680067883 9682944 1463 4294967295 134512640 134714540 3221221792 3221220448 134523859 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2364 1463 1111 63 0 2301 0 vsize: 9456 [startup+440.014 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 28597 Raw data (stat): 28597 (bsolo_mis) R 28596 7876 7672 0 -1 0 1489 0 0 0 43963 37 0 0 25 0 1 0 680067883 9682944 1463 4294967295 134512640 134714540 3221221792 3221220640 134623453 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2364 1463 1111 63 0 2301 0 vsize: 9456 [startup+450.015 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 28597 Raw data (stat): 28597 (bsolo_mis) R 28596 7876 7672 0 -1 0 1534 0 0 0 44962 38 0 0 25 0 1 0 680067883 9953280 1508 4294967295 134512640 134714540 3221221792 3221220584 134542409 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2430 1508 1111 63 0 2367 0 vsize: 9720 [startup+460.015 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 28597 Raw data (stat): 28597 (bsolo_mis) R 28596 7876 7672 0 -1 0 1534 0 0 0 45962 39 0 0 25 0 1 0 680067883 9953280 1508 4294967295 134512640 134714540 3221221792 3221220504 134558485 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2430 1508 1111 63 0 2367 0 vsize: 9720 [startup+470.015 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 28597 Raw data (stat): 28597 (bsolo_mis) R 28596 7876 7672 0 -1 0 1534 0 0 0 46962 39 0 0 25 0 1 0 680067883 9953280 1508 4294967295 134512640 134714540 3221221792 3221220568 134543144 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2430 1508 1111 63 0 2367 0 vsize: 9720 [startup+480.015 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 28597 Raw data (stat): 28597 (bsolo_mis) R 28596 7876 7672 0 -1 0 1534 0 0 0 47962 39 0 0 25 0 1 0 680067883 9953280 1508 4294967295 134512640 134714540 3221221792 3221220408 134543617 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2430 1508 1111 63 0 2367 0 vsize: 9720 [startup+490.015 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 28597 Raw data (stat): 28597 (bsolo_mis) R 28596 7876 7672 0 -1 0 1534 0 0 0 48961 40 0 0 25 0 1 0 680067883 9953280 1508 4294967295 134512640 134714540 3221221792 3221220596 134622267 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2430 1508 1111 63 0 2367 0 vsize: 9720 [startup+500.016 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 28597 Raw data (stat): 28597 (bsolo_mis) R 28596 7876 7672 0 -1 0 1534 0 0 0 49961 40 0 0 25 0 1 0 680067883 9953280 1508 4294967295 134512640 134714540 3221221792 3221220576 134624731 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2430 1508 1111 63 0 2367 0 vsize: 9720 [startup+510.016 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 28597 Raw data (stat): 28597 (bsolo_mis) R 28596 7876 7672 0 -1 0 1534 0 0 0 50961 41 0 0 25 0 1 0 680067883 9953280 1508 4294967295 134512640 134714540 3221221792 3221220412 134542654 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2430 1508 1111 63 0 2367 0 vsize: 9720 [startup+520.017 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 28597 Raw data (stat): 28597 (bsolo_mis) R 28596 7876 7672 0 -1 0 1534 0 0 0 51961 41 0 0 25 0 1 0 680067883 9953280 1508 4294967295 134512640 134714540 3221221792 3221220348 134536845 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2430 1508 1111 63 0 2367 0 vsize: 9720 [startup+530.017 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 28597 Raw data (stat): 28597 (bsolo_mis) R 28596 7876 7672 0 -1 0 1534 0 0 0 52961 41 0 0 25 0 1 0 680067883 9953280 1508 4294967295 134512640 134714540 3221221792 3221220584 134556377 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2430 1508 1111 63 0 2367 0 vsize: 9720 [startup+540.017 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 28597 Raw data (stat): 28597 (bsolo_mis) R 28596 7876 7672 0 -1 0 1534 0 0 0 53960 42 0 0 25 0 1 0 680067883 9953280 1508 4294967295 134512640 134714540 3221221792 3221220524 134558560 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2430 1508 1111 63 0 2367 0 vsize: 9720 [startup+550.017 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 28597 Raw data (stat): 28597 (bsolo_mis) R 28596 7876 7672 0 -1 0 1534 0 0 0 54960 43 0 0 25 0 1 0 680067883 9953280 1508 4294967295 134512640 134714540 3221221792 3221220508 134543192 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2430 1508 1111 63 0 2367 0 vsize: 9720 [startup+560.017 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 28597 Raw data (stat): 28597 (bsolo_mis) R 28596 7876 7672 0 -1 0 1556 0 0 0 55959 43 0 0 25 0 1 0 680067883 9953280 1530 4294967295 134512640 134714540 3221221792 3221220508 134558476 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2430 1530 1111 63 0 2367 0 vsize: 9720 [startup+570.018 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 28597 Raw data (stat): 28597 (bsolo_mis) R 28596 7876 7672 0 -1 0 1556 0 0 0 56959 44 0 0 25 0 1 0 680067883 9953280 1530 4294967295 134512640 134714540 3221221792 3221220584 134542448 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2430 1530 1111 63 0 2367 0 vsize: 9720 [startup+580.017 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 28597 Raw data (stat): 28597 (bsolo_mis) R 28596 7876 7672 0 -1 0 1569 0 0 0 57958 44 0 0 25 0 1 0 680067883 10076160 1543 4294967295 134512640 134714540 3221221792 3221220584 134558477 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2460 1543 1111 63 0 2397 0 vsize: 9840 [startup+590.018 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 28597 Raw data (stat): 28597 (bsolo_mis) R 28596 7876 7672 0 -1 0 1569 0 0 0 58958 45 0 0 25 0 1 0 680067883 10076160 1543 4294967295 134512640 134714540 3221221792 3221220376 134543090 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2460 1543 1111 63 0 2397 0 vsize: 9840 [startup+600.018 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 28597 Raw data (stat): 28597 (bsolo_mis) R 28596 7876 7672 0 -1 0 1569 0 0 0 59958 45 0 0 25 0 1 0 680067883 10076160 1543 4294967295 134512640 134714540 3221221792 3221220528 134622796 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2460 1543 1111 63 0 2397 0 vsize: 9840 [startup+610.018 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 28597 Raw data (stat): 28597 (bsolo_mis) R 28596 7876 7672 0 -1 0 1569 0 0 0 60957 46 0 0 25 0 1 0 680067883 10076160 1543 4294967295 134512640 134714540 3221221792 3221220304 134540186 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2460 1543 1111 63 0 2397 0 vsize: 9840 [startup+620.018 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 28597 Raw data (stat): 28597 (bsolo_mis) R 28596 7876 7672 0 -1 0 1569 0 0 0 61957 46 0 0 25 0 1 0 680067883 10076160 1543 4294967295 134512640 134714540 3221221792 3221220584 134558492 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2460 1543 1111 63 0 2397 0 vsize: 9840 [startup+630.018 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 28597 Raw data (stat): 28597 (bsolo_mis) R 28596 7876 7672 0 -1 0 1569 0 0 0 62957 47 0 0 25 0 1 0 680067883 10076160 1543 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2460 1543 1111 63 0 2397 0 vsize: 9840 [startup+640.018 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 28597 Raw data (stat): 28597 (bsolo_mis) R 28596 7876 7672 0 -1 0 1569 0 0 0 63956 48 0 0 25 0 1 0 680067883 10076160 1543 4294967295 134512640 134714540 3221221792 3221220400 134536736 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2460 1543 1111 63 0 2397 0 vsize: 9840 [startup+650.018 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 28597 Raw data (stat): 28597 (bsolo_mis) R 28596 7876 7672 0 -1 0 1587 0 0 0 64956 48 0 0 25 0 1 0 680067883 10076160 1561 4294967295 134512640 134714540 3221221792 3221220252 134535967 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2460 1561 1111 63 0 2397 0 vsize: 9840 [startup+660.018 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 28597 Raw data (stat): 28597 (bsolo_mis) R 28596 7876 7672 0 -1 0 1587 0 0 0 65956 48 0 0 25 0 1 0 680067883 10076160 1561 4294967295 134512640 134714540 3221221792 3221220588 134542400 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2460 1561 1111 63 0 2397 0 vsize: 9840 [startup+670.019 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 28597 Raw data (stat): 28597 (bsolo_mis) R 28596 7876 7672 0 -1 0 1587 0 0 0 66956 49 0 0 25 0 1 0 680067883 10076160 1561 4294967295 134512640 134714540 3221221792 3221220608 134610900 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2460 1561 1111 63 0 2397 0 vsize: 9840 [startup+680.019 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 28597 Raw data (stat): 28597 (bsolo_mis) R 28596 7876 7672 0 -1 0 1587 0 0 0 67955 49 0 0 25 0 1 0 680067883 10076160 1561 4294967295 134512640 134714540 3221221792 3221220576 134622285 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2460 1561 1111 63 0 2397 0 vsize: 9840 [startup+690.019 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 28597 Raw data (stat): 28597 (bsolo_mis) R 28596 7876 7672 0 -1 0 1587 0 0 0 68955 49 0 0 25 0 1 0 680067883 10076160 1561 4294967295 134512640 134714540 3221221792 3221220596 134622267 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2460 1561 1111 63 0 2397 0 vsize: 9840 [startup+700.019 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 28597 Raw data (stat): 28597 (bsolo_mis) R 28596 7876 7672 0 -1 0 1607 0 0 0 69955 50 0 0 25 0 1 0 680067883 10211328 1581 4294967295 134512640 134714540 3221221792 3221220504 134543600 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2493 1581 1111 63 0 2430 0 vsize: 9972 [startup+710.019 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 28597 Raw data (stat): 28597 (bsolo_mis) R 28596 7876 7672 0 -1 0 1607 0 0 0 70955 50 0 0 25 0 1 0 680067883 10211328 1581 4294967295 134512640 134714540 3221221792 3221220520 134622780 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2493 1581 1111 63 0 2430 0 vsize: 9972 [startup+720.019 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 28597 Raw data (stat): 28597 (bsolo_mis) R 28596 7876 7672 0 -1 0 1607 0 0 0 71954 50 0 0 25 0 1 0 680067883 10211328 1581 4294967295 134512640 134714540 3221221792 3221220372 134543092 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2493 1581 1111 63 0 2430 0 vsize: 9972 [startup+730.019 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 28597 Raw data (stat): 28597 (bsolo_mis) R 28596 7876 7672 0 -1 0 1607 0 0 0 72954 51 0 0 25 0 1 0 680067883 10211328 1581 4294967295 134512640 134714540 3221221792 3221220352 134542350 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2493 1581 1111 63 0 2430 0 vsize: 9972 [startup+740.019 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 28597 Raw data (stat): 28597 (bsolo_mis) R 28596 7876 7672 0 -1 0 1607 0 0 0 73954 51 0 0 25 0 1 0 680067883 10211328 1581 4294967295 134512640 134714540 3221221792 3221220576 134624498 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2493 1581 1111 63 0 2430 0 vsize: 9972 [startup+750.019 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 28597 Raw data (stat): 28597 (bsolo_mis) R 28596 7876 7672 0 -1 0 1607 0 0 0 74954 52 0 0 25 0 1 0 680067883 10211328 1581 4294967295 134512640 134714540 3221221792 3221220540 134542422 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2493 1581 1111 63 0 2430 0 vsize: 9972 [startup+760.018 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 28597 Raw data (stat): 28597 (bsolo_mis) R 28596 7876 7672 0 -1 0 1639 0 0 0 75954 52 0 0 25 0 1 0 680067883 10346496 1613 4294967295 134512640 134714540 3221221792 3221220504 134543191 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2526 1613 1111 63 0 2463 0 vsize: 10104 [startup+770.018 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 28597 Raw data (stat): 28597 (bsolo_mis) R 28596 7876 7672 0 -1 0 1639 0 0 0 76953 53 0 0 25 0 1 0 680067883 10346496 1613 4294967295 134512640 134714540 3221221792 3221220500 134603388 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2526 1613 1111 63 0 2463 0 vsize: 10104 [startup+780.018 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 28597 Raw data (stat): 28597 (bsolo_mis) R 28596 7876 7672 0 -1 0 1639 0 0 0 77953 53 0 0 25 0 1 0 680067883 10346496 1613 4294967295 134512640 134714540 3221221792 3221220468 1076648040 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2526 1613 1111 63 0 2463 0 vsize: 10104 [startup+790.018 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 28597 Raw data (stat): 28597 (bsolo_mis) R 28596 7876 7672 0 -1 0 1639 0 0 0 78952 54 0 0 25 0 1 0 680067883 10346496 1613 4294967295 134512640 134714540 3221221792 3221220576 134624467 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2526 1613 1111 63 0 2463 0 vsize: 10104 [startup+800.018 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 28597 Raw data (stat): 28597 (bsolo_mis) R 28596 7876 7672 0 -1 0 1671 0 0 0 79952 54 0 0 25 0 1 0 680067883 10481664 1645 4294967295 134512640 134714540 3221221792 3221220608 134622261 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2559 1645 1111 63 0 2496 0 vsize: 10236 [startup+810.018 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 28597 Raw data (stat): 28597 (bsolo_mis) R 28596 7876 7672 0 -1 0 1671 0 0 0 80952 54 0 0 25 0 1 0 680067883 10481664 1645 4294967295 134512640 134714540 3221221792 3221220480 134558542 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2559 1645 1111 63 0 2496 0 vsize: 10236 [startup+820.019 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 28597 Raw data (stat): 28597 (bsolo_mis) R 28596 7876 7672 0 -1 0 1672 0 0 0 81952 55 0 0 25 0 1 0 680067883 10481664 1646 4294967295 134512640 134714540 3221221792 3221220488 134558485 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2559 1646 1111 63 0 2496 0 vsize: 10236 [startup+830.019 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 28597 Raw data (stat): 28597 (bsolo_mis) R 28596 7876 7672 0 -1 0 1684 0 0 0 82951 55 0 0 25 0 1 0 680067883 10481664 1658 4294967295 134512640 134714540 3221221792 3221220392 134542370 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2559 1658 1111 63 0 2496 0 vsize: 10236 [startup+840.019 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 28597 Raw data (stat): 28597 (bsolo_mis) R 28596 7876 7672 0 -1 0 1733 0 0 0 83951 56 0 0 25 0 1 0 680067883 10752000 1707 4294967295 134512640 134714540 3221221792 3221220372 1077377189 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2625 1707 1111 63 0 2562 0 vsize: 10500 [startup+850.02 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 28597 Raw data (stat): 28597 (bsolo_mis) R 28596 7876 7672 0 -1 0 1746 0 0 0 84951 56 0 0 25 0 1 0 680067883 10752000 1720 4294967295 134512640 134714540 3221221792 3221220568 134543557 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2625 1720 1111 63 0 2562 0 vsize: 10500 [startup+860.02 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 28597 Raw data (stat): 28597 (bsolo_mis) R 28596 7876 7672 0 -1 0 1746 0 0 0 85950 57 0 0 25 0 1 0 680067883 10752000 1720 4294967295 134512640 134714540 3221221792 3221220276 1077374077 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2625 1720 1111 63 0 2562 0 vsize: 10500 [startup+870.02 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 28597 Raw data (stat): 28597 (bsolo_mis) R 28596 7876 7672 0 -1 0 1746 0 0 0 86950 58 0 0 25 0 1 0 680067883 10752000 1720 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2625 1720 1111 63 0 2562 0 vsize: 10500 [startup+880.021 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 28597 Raw data (stat): 28597 (bsolo_mis) R 28596 7876 7672 0 -1 0 1746 0 0 0 87950 58 0 0 25 0 1 0 680067883 10752000 1720 4294967295 134512640 134714540 3221221792 3221220528 134529298 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2625 1720 1111 63 0 2562 0 vsize: 10500 [startup+890.021 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 28597 Raw data (stat): 28597 (bsolo_mis) R 28596 7876 7672 0 -1 0 1746 0 0 0 88949 58 0 0 25 0 1 0 680067883 10752000 1720 4294967295 134512640 134714540 3221221792 3221220584 134543541 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2625 1720 1111 63 0 2562 0 vsize: 10500 [startup+900.021 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 28597 Raw data (stat): 28597 (bsolo_mis) R 28596 7876 7672 0 -1 0 1746 0 0 0 89949 59 0 0 25 0 1 0 680067883 10752000 1720 4294967295 134512640 134714540 3221221792 3221220572 134543556 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2625 1720 1111 63 0 2562 0 vsize: 10500 [startup+910.02 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 28597 Raw data (stat): 28597 (bsolo_mis) R 28596 7876 7672 0 -1 0 1746 0 0 0 90949 59 0 0 25 0 1 0 680067883 10752000 1720 4294967295 134512640 134714540 3221221792 3221220584 134543174 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2625 1720 1111 63 0 2562 0 vsize: 10500 [startup+920.021 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 28597 Raw data (stat): 28597 (bsolo_mis) R 28596 7876 7672 0 -1 0 1746 0 0 0 91949 59 0 0 25 0 1 0 680067883 10752000 1720 4294967295 134512640 134714540 3221221792 3221220504 134558492 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2625 1720 1111 63 0 2562 0 vsize: 10500 [startup+930.022 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 28597 Raw data (stat): 28597 (bsolo_mis) R 28596 7876 7672 0 -1 0 1760 0 0 0 92949 60 0 0 25 0 1 0 680067883 10887168 1734 4294967295 134512640 134714540 3221221792 3221220400 134538828 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2658 1734 1111 63 0 2595 0 vsize: 10632 [startup+940.021 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 28597 Raw data (stat): 28597 (bsolo_mis) R 28596 7876 7672 0 -1 0 1824 0 0 0 93948 61 0 0 25 0 1 0 680067883 11038720 1798 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2695 1798 1111 63 0 2632 0 vsize: 10780 [startup+950.022 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 28597 Raw data (stat): 28597 (bsolo_mis) R 28596 7876 7672 0 -1 0 1827 0 0 0 94947 61 0 0 25 0 1 0 680067883 11038720 1801 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2695 1801 1111 63 0 2632 0 vsize: 10780 [startup+960.022 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 28597 Raw data (stat): 28597 (bsolo_mis) R 28596 7876 7672 0 -1 0 1837 0 0 0 95947 62 0 0 25 0 1 0 680067883 11173888 1811 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2728 1811 1111 63 0 2665 0 vsize: 10912 [startup+970.022 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 28597 Raw data (stat): 28597 (bsolo_mis) R 28596 7876 7672 0 -1 0 1865 0 0 0 96947 62 0 0 25 0 1 0 680067883 11309056 1839 4294967295 134512640 134714540 3221221792 3221220512 134592104 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2761 1839 1111 63 0 2698 0 vsize: 11044 [startup+980.022 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 28597 Raw data (stat): 28597 (bsolo_mis) R 28596 7876 7672 0 -1 0 1865 0 0 0 97947 63 0 0 25 0 1 0 680067883 11309056 1839 4294967295 134512640 134714540 3221221792 3221220528 134622873 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2761 1839 1111 63 0 2698 0 vsize: 11044 [startup+990.022 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 28597 Raw data (stat): 28597 (bsolo_mis) R 28596 7876 7672 0 -1 0 1892 0 0 0 98946 63 0 0 25 0 1 0 680067883 11309056 1866 4294967295 134512640 134714540 3221221792 3221220320 134540332 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2761 1866 1111 63 0 2698 0 vsize: 11044 [startup+1000.02 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 28597 Raw data (stat): 28597 (bsolo_mis) R 28596 7876 7672 0 -1 0 1910 0 0 0 99946 64 0 0 25 0 1 0 680067883 11444224 1884 4294967295 134512640 134714540 3221221792 3221220528 134622749 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2794 1884 1111 63 0 2731 0 vsize: 11176 [startup+1010.02 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 28597 Raw data (stat): 28597 (bsolo_mis) R 28596 7876 7672 0 -1 0 1910 0 0 0 100946 64 0 0 25 0 1 0 680067883 11444224 1884 4294967295 134512640 134714540 3221221792 3221220300 134539214 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2794 1884 1111 63 0 2731 0 vsize: 11176 [startup+1020.02 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 28597 Raw data (stat): 28597 (bsolo_mis) R 28596 7876 7672 0 -1 0 1910 0 0 0 101946 64 0 0 25 0 1 0 680067883 11444224 1884 4294967295 134512640 134714540 3221221792 3221220348 134535545 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2794 1884 1111 63 0 2731 0 vsize: 11176 [startup+1030.02 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 28597 Raw data (stat): 28597 (bsolo_mis) R 28596 7876 7672 0 -1 0 1910 0 0 0 102946 64 0 0 25 0 1 0 680067883 11444224 1884 4294967295 134512640 134714540 3221221792 3221220584 134542448 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2794 1884 1111 63 0 2731 0 vsize: 11176 [startup+1040.02 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 28597 Raw data (stat): 28597 (bsolo_mis) R 28596 7876 7672 0 -1 0 1916 0 0 0 103946 65 0 0 25 0 1 0 680067883 11444224 1890 4294967295 134512640 134714540 3221221792 3221220488 134558477 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2794 1890 1111 63 0 2731 0 vsize: 11176 [startup+1050.02 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 28597 Raw data (stat): 28597 (bsolo_mis) R 28596 7876 7672 0 -1 0 1936 0 0 0 104945 65 0 0 25 0 1 0 680067883 11505664 1910 4294967295 134512640 134714540 3221221792 3221220608 134622252 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2809 1910 1111 63 0 2746 0 vsize: 11236 [startup+1060.02 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 28597 Raw data (stat): 28597 (bsolo_mis) R 28596 7876 7672 0 -1 0 1939 0 0 0 105945 65 0 0 25 0 1 0 680067883 11505664 1913 4294967295 134512640 134714540 3221221792 3221220596 134611006 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2809 1913 1111 63 0 2746 0 vsize: 11236 [startup+1070.02 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 28597 Raw data (stat): 28597 (bsolo_mis) R 28596 7876 7672 0 -1 0 1939 0 0 0 106945 66 0 0 25 0 1 0 680067883 11505664 1913 4294967295 134512640 134714540 3221221792 3221220544 134558521 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2809 1913 1111 63 0 2746 0 vsize: 11236 [startup+1080.02 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 28597 Raw data (stat): 28597 (bsolo_mis) R 28596 7876 7672 0 -1 0 1940 0 0 0 107945 66 0 0 25 0 1 0 680067883 11505664 1914 4294967295 134512640 134714540 3221221792 3221220512 134528789 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2809 1914 1111 63 0 2746 0 vsize: 11236 [startup+1090.02 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 28597 Raw data (stat): 28597 (bsolo_mis) R 28596 7876 7672 0 -1 0 1947 0 0 0 108945 66 0 0 25 0 1 0 680067883 11624448 1921 4294967295 134512640 134714540 3221221792 3221220608 134622252 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2838 1921 1111 63 0 2775 0 vsize: 11352 [startup+1100.02 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 28597 Raw data (stat): 28597 (bsolo_mis) R 28596 7876 7672 0 -1 0 1947 0 0 0 109944 67 0 0 25 0 1 0 680067883 11616256 1921 4294967295 134512640 134714540 3221221792 3221220504 134543606 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2836 1921 1111 63 0 2773 0 vsize: 11344 [startup+1110.02 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 28597 Raw data (stat): 28597 (bsolo_mis) R 28596 7876 7672 0 -1 0 1952 0 0 0 110944 68 0 0 25 0 1 0 680067883 11616256 1926 4294967295 134512640 134714540 3221221792 3221220368 134696392 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2836 1926 1111 63 0 2773 0 vsize: 11344 [startup+1120.02 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 28597 Raw data (stat): 28597 (bsolo_mis) R 28596 7876 7672 0 -1 0 2001 0 0 0 111943 68 0 0 25 0 1 0 680067883 11751424 1975 4294967295 134512640 134714540 3221221792 3221220516 134556893 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2869 1975 1111 63 0 2806 0 vsize: 11476 [startup+1130.02 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 28597 Raw data (stat): 28597 (bsolo_mis) R 28596 7876 7672 0 -1 0 2001 0 0 0 112943 69 0 0 25 0 1 0 680067883 11751424 1975 4294967295 134512640 134714540 3221221792 3221220384 134539376 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2869 1975 1111 63 0 2806 0 vsize: 11476 [startup+1140.02 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 28597 Raw data (stat): 28597 (bsolo_mis) R 28596 7876 7672 0 -1 0 2001 0 0 0 113942 69 0 0 25 0 1 0 680067883 11751424 1975 4294967295 134512640 134714540 3221221792 3221220564 134624473 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2869 1975 1111 63 0 2806 0 vsize: 11476 [startup+1150.02 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 28597 Raw data (stat): 28597 (bsolo_mis) R 28596 7876 7672 0 -1 0 2001 0 0 0 114942 70 0 0 25 0 1 0 680067883 11751424 1975 4294967295 134512640 134714540 3221221792 3221220492 134558493 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2869 1975 1111 63 0 2806 0 vsize: 11476 [startup+1160.02 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 28597 Raw data (stat): 28597 (bsolo_mis) R 28596 7876 7672 0 -1 0 2001 0 0 0 115942 70 0 0 25 0 1 0 680067883 11751424 1975 4294967295 134512640 134714540 3221221792 3221220464 134523872 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2869 1975 1111 63 0 2806 0 vsize: 11476 [startup+1170.02 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 28597 Raw data (stat): 28597 (bsolo_mis) R 28596 7876 7672 0 -1 0 2003 0 0 0 116941 71 0 0 25 0 1 0 680067883 11886592 1977 4294967295 134512640 134714540 3221221792 3221220688 134621515 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2902 1977 1111 63 0 2839 0 vsize: 11608 [startup+1174.94 s] Raw data (loadavg): 1.00 1.00 1.00 1/53 28597 Raw data (stat): 28597 (bsolo_mis) R 28596 7876 7672 0 -1 0 2003 0 0 0 116941 71 0 0 25 0 1 0 680067883 11886592 1977 4294967295 134512640 134714540 3221221792 3221220688 134621515 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2902 1977 1111 63 0 2839 0 vsize: 0 Child status: 10 Real time (s): 1174.94 CPU time (s): 1175.05 CPU user time (s): 1174.33 CPU system time (s): 0.724889 CPU usage (%): 100.009 Max. virtual memory (Kb): 11608 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### Verifier: OK 191 #### END VERIFIER DATA ####