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/synthesis-ptl-cmos-circuits/normalized-my_adder.opb
MD5SUM	fe8f615a95a6852516985b8e3e78bd85
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	4561
Optimality of the best value was proved	NO
Number of terms in the objective function	577
Biggest coefficient in the objective function	61
Number of bits for the biggest coefficient in the objective function	6
Sum of the numbers in the objective function	24510
Number of bits of the sum of numbers in the objective function	15
Biggest number in a constraint	61
Number of bits of the biggest number in a constraint	6
Biggest sum of numbers in a constraint	24510
Number of bits of the biggest sum of numbers	15
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.02584
Number of variables	577
Total number of constraints	1322
Number of constraints which are clauses	1306
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	16
Minimum length of a constraint	2
Maximum length of a constraint	17
Trace number 24414

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-10 04:54:19 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2289 boxname=wulflinc31 idbench=255 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  fe8f615a95a6852516985b8e3e78bd85  /oldhome/oroussel/tmp/wulflinc31/normalized-my_adder.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-my_adder.opb
IDLAUNCH: 2289
/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:        301392 kB
Buffers:         45784 kB
Cached:         653768 kB
SwapCached:        644 kB
Active:         303312 kB
Inactive:       398524 kB
HighTotal:      131008 kB
HighFree:        36848 kB
LowTotal:       903652 kB
LowFree:        264544 kB
SwapTotal:     2097892 kB
SwapFree:      2096612 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5608 kB
Slab:            25752 kB
Committed_AS:    63652 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-10 05:13:54 (client local time) WITH STATUS 10 IN 1175.03 SECONDS
stats: 2289 0 1175.03 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Initial problem consists of 577 variables and 1322 constraints.
c After prepocess the problem consists of 550 variables and 887 constraints.
c preprocess terminated 0.45 s
c Initial Lower Bound: 3475
c Lower Bound Elapsed time: 0
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 6236 @ 0.563
c NEW SOLUTION FOUND: 6235 @ 0.565
c NEW SOLUTION FOUND: 6227 @ 0.568
c NEW SOLUTION FOUND: 6202 @ 0.569
c NEW SOLUTION FOUND: 6201 @ 0.571
c NEW SOLUTION FOUND: 6185 @ 0.574
c NEW SOLUTION FOUND: 6184 @ 0.575
c NEW SOLUTION FOUND: 6168 @ 0.58
c NEW SOLUTION FOUND: 6167 @ 0.582
c NEW SOLUTION FOUND: 6151 @ 0.595
c NEW SOLUTION FOUND: 6150 @ 0.598
c NEW SOLUTION FOUND: 6134 @ 0.641
c NEW SOLUTION FOUND: 6133 @ 0.643
c NEW SOLUTION FOUND: 6117 @ 0.687
c NEW SOLUTION FOUND: 6116 @ 0.689
c NEW SOLUTION FOUND: 6100 @ 0.743
c NEW SOLUTION FOUND: 6099 @ 0.744
c NEW SOLUTION FOUND: 6083 @ 0.835
c NEW SOLUTION FOUND: 6082 @ 0.837
c NEW SOLUTION FOUND: 6066 @ 0.979
c NEW SOLUTION FOUND: 6065 @ 0.981
c NEW SOLUTION FOUND: 6049 @ 1.24
c NEW SOLUTION FOUND: 6048 @ 1.242
c NEW SOLUTION FOUND: 6032 @ 1.541
c NEW SOLUTION FOUND: 6031 @ 1.543
c NEW SOLUTION FOUND: 6014 @ 2.235
c NEW SOLUTION FOUND: 5997 @ 3.078
c NEW SOLUTION FOUND: 5980 @ 4.408
c NEW SOLUTION FOUND: 5974 @ 5.248
c NEW SOLUTION FOUND: 5973 @ 5.249
c NEW SOLUTION FOUND: 5972 @ 6.6
c NEW SOLUTION FOUND: 5956 @ 6.607
c NEW SOLUTION FOUND: 5949 @ 7.48
c NEW SOLUTION FOUND: 5948 @ 8.867
c NEW SOLUTION FOUND: 5932 @ 8.881
c NEW SOLUTION FOUND: 5925 @ 9.942
c NEW SOLUTION FOUND: 5924 @ 11.731
c NEW SOLUTION FOUND: 5908 @ 11.761
c NEW SOLUTION FOUND: 5901 @ 16.95
c NEW SOLUTION FOUND: 5900 @ 19.746
c NEW SOLUTION FOUND: 5884 @ 19.794
c NEW SOLUTION FOUND: 5877 @ 29.185
c NEW SOLUTION FOUND: 5876 @ 29.187
c NEW SOLUTION FOUND: 5869 @ 29.191
c NEW SOLUTION FOUND: 5868 @ 29.195
c NEW SOLUTION FOUND: 5861 @ 38.346
c NEW SOLUTION FOUND: 5860 @ 38.348
c NEW SOLUTION FOUND: 5853 @ 38.4
c NEW SOLUTION FOUND: 5852 @ 38.402
c NEW SOLUTION FOUND: 5844 @ 48.103
c NEW SOLUTION FOUND: 5836 @ 48.168
c NEW SOLUTION FOUND: 5829 @ 92.079
c NEW SOLUTION FOUND: 5828 @ 92.083
c NEW SOLUTION FOUND: 5821 @ 92.115
c NEW SOLUTION FOUND: 5820 @ 92.119
c NEW SOLUTION FOUND: 5813 @ 123.422
c NEW SOLUTION FOUND: 5812 @ 178.312
c NEW SOLUTION FOUND: 5804 @ 178.413
c NEW SOLUTION FOUND: 5796 @ 178.435
c NEW SOLUTION FOUND: 5789 @ 252.656
c NEW SOLUTION FOUND: 5788 @ 252.659
c NEW SOLUTION FOUND: 5780 @ 334
c NEW SOLUTION FOUND: 5772 @ 389.158
c NEW SOLUTION FOUND: 5764 @ 560.36
c NEW SOLUTION FOUND: 5756 @ 852.005
c NEW SOLUTION FOUND: 5748 @ 1113.92
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 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 x577 
c Exit Code: 10
c Total time: 1175 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.84 0.93 0.90 2/54 7620
Raw data (stat): 7620 (runsolver) R 7619 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 706520940 1056768 100 4294967295 134512640 135381576 3221221696 3221216916 135158418 0 0 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0003 s]
Raw data (loadavg): 0.86 0.93 0.90 2/54 7620
Raw data (stat): 7620 (bsolo_mis) R 7619 7876 7672 0 -1 0 846 0 0 0 990 6 0 0 25 0 1 0 706520940 7086080 820 4294967295 134512640 134714540 3221221792 3221220480 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1730 820 1111 63 0 1667 0
vsize: 6920
[startup+20.0016 s]
Raw data (loadavg): 0.88 0.93 0.90 2/54 7620
Raw data (stat): 7620 (bsolo_mis) R 7619 7876 7672 0 -1 0 849 0 0 0 1987 9 0 0 25 0 1 0 706520940 7086080 823 4294967295 134512640 134714540 3221221792 3221220560 134590151 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1730 823 1111 63 0 1667 0
vsize: 6920
[startup+30.0021 s]
Raw data (loadavg): 0.90 0.93 0.90 2/54 7620
Raw data (stat): 7620 (bsolo_mis) R 7619 7876 7672 0 -1 0 849 0 0 0 2985 12 0 0 25 0 1 0 706520940 7086080 823 4294967295 134512640 134714540 3221221792 3221220368 134535433 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1730 823 1111 63 0 1667 0
vsize: 6920
[startup+40.002 s]
Raw data (loadavg): 0.91 0.93 0.90 2/54 7620
Raw data (stat): 7620 (bsolo_mis) R 7619 7876 7672 0 -1 0 849 0 0 0 3983 14 0 0 25 0 1 0 706520940 7086080 823 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1730 823 1111 63 0 1667 0
vsize: 6920
[startup+50.0033 s]
Raw data (loadavg): 0.93 0.94 0.90 2/54 7620
Raw data (stat): 7620 (bsolo_mis) R 7619 7876 7672 0 -1 0 851 0 0 0 4981 16 0 0 25 0 1 0 706520940 7086080 825 4294967295 134512640 134714540 3221221792 3221220456 134558492 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1730 825 1111 63 0 1667 0
vsize: 6920
[startup+60.0029 s]
Raw data (loadavg): 0.94 0.94 0.90 2/54 7620
Raw data (stat): 7620 (bsolo_mis) R 7619 7876 7672 0 -1 0 854 0 0 0 5979 18 0 0 25 0 1 0 706520940 7086080 828 4294967295 134512640 134714540 3221221792 3221220320 134540342 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1730 828 1111 63 0 1667 0
vsize: 6920
[startup+70.0038 s]
Raw data (loadavg): 0.95 0.94 0.91 2/54 7620
Raw data (stat): 7620 (bsolo_mis) R 7619 7876 7672 0 -1 0 854 0 0 0 6976 21 0 0 25 0 1 0 706520940 7086080 828 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1730 828 1111 63 0 1667 0
vsize: 6920
[startup+80.0051 s]
Raw data (loadavg): 0.95 0.94 0.91 2/54 7620
Raw data (stat): 7620 (bsolo_mis) R 7619 7876 7672 0 -1 0 854 0 0 0 7974 24 0 0 25 0 1 0 706520940 7086080 828 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1730 828 1111 63 0 1667 0
vsize: 6920
[startup+90.0047 s]
Raw data (loadavg): 0.96 0.94 0.91 2/54 7620
Raw data (stat): 7620 (bsolo_mis) R 7619 7876 7672 0 -1 0 854 0 0 0 8972 26 0 0 25 0 1 0 706520940 7086080 828 4294967295 134512640 134714540 3221221792 3221220512 134592104 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1730 828 1111 63 0 1667 0
vsize: 6920
[startup+100.005 s]
Raw data (loadavg): 0.97 0.94 0.91 2/54 7620
Raw data (stat): 7620 (bsolo_mis) R 7619 7876 7672 0 -1 0 854 0 0 0 9970 28 0 0 25 0 1 0 706520940 7086080 828 4294967295 134512640 134714540 3221221792 3221220512 134592116 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1730 828 1111 63 0 1667 0
vsize: 6920
[startup+110.005 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 7620
Raw data (stat): 7620 (bsolo_mis) R 7619 7876 7672 0 -1 0 854 0 0 0 10968 30 0 0 25 0 1 0 706520940 7086080 828 4294967295 134512640 134714540 3221221792 3221220472 134543614 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1730 828 1111 63 0 1667 0
vsize: 6920
[startup+120.005 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 7620
Raw data (stat): 7620 (bsolo_mis) R 7619 7876 7672 0 -1 0 854 0 0 0 11966 33 0 0 25 0 1 0 706520940 7086080 828 4294967295 134512640 134714540 3221221792 3221220320 134540040 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1730 828 1111 63 0 1667 0
vsize: 6920
[startup+130.005 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 7620
Raw data (stat): 7620 (bsolo_mis) R 7619 7876 7672 0 -1 0 854 0 0 0 12964 35 0 0 25 0 1 0 706520940 7086080 828 4294967295 134512640 134714540 3221221792 3221220448 134524415 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1730 828 1111 63 0 1667 0
vsize: 6920
[startup+140.006 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 7620
Raw data (stat): 7620 (bsolo_mis) R 7619 7876 7672 0 -1 0 854 0 0 0 13962 37 0 0 25 0 1 0 706520940 7086080 828 4294967295 134512640 134714540 3221221792 3221220488 134558490 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1730 828 1111 63 0 1667 0
vsize: 6920
[startup+150.006 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 7620
Raw data (stat): 7620 (bsolo_mis) R 7619 7876 7672 0 -1 0 854 0 0 0 14959 40 0 0 25 0 1 0 706520940 7086080 828 4294967295 134512640 134714540 3221221792 3221220448 134528665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1730 828 1111 63 0 1667 0
vsize: 6920
[startup+160.006 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 7620
Raw data (stat): 7620 (bsolo_mis) R 7619 7876 7672 0 -1 0 854 0 0 0 15956 43 0 0 25 0 1 0 706520940 7086080 828 4294967295 134512640 134714540 3221221792 3221220492 134535671 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1730 828 1111 63 0 1667 0
vsize: 6920
[startup+170.007 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 7620
Raw data (stat): 7620 (bsolo_mis) R 7619 7876 7672 0 -1 0 854 0 0 0 16953 46 0 0 25 0 1 0 706520940 7086080 828 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1730 828 1111 63 0 1667 0
vsize: 6920
[startup+180.008 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 7620
Raw data (stat): 7620 (bsolo_mis) R 7619 7876 7672 0 -1 0 854 0 0 0 17950 49 0 0 25 0 1 0 706520940 7086080 828 4294967295 134512640 134714540 3221221792 3221220320 134540030 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1730 828 1111 63 0 1667 0
vsize: 6920
[startup+190.008 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 7620
Raw data (stat): 7620 (bsolo_mis) R 7619 7876 7672 0 -1 0 854 0 0 0 18949 51 0 0 25 0 1 0 706520940 7086080 828 4294967295 134512640 134714540 3221221792 3221220552 134538553 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1730 828 1111 63 0 1667 0
vsize: 6920
[startup+200.008 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 7620
Raw data (stat): 7620 (bsolo_mis) R 7619 7876 7672 0 -1 0 854 0 0 0 19946 54 0 0 25 0 1 0 706520940 7086080 828 4294967295 134512640 134714540 3221221792 3221220368 134535433 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1730 828 1111 63 0 1667 0
vsize: 6920
[startup+210.008 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 7620
Raw data (stat): 7620 (bsolo_mis) R 7619 7876 7672 0 -1 0 854 0 0 0 20943 57 0 0 25 0 1 0 706520940 7086080 828 4294967295 134512640 134714540 3221221792 3221220400 134523886 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1730 828 1111 63 0 1667 0
vsize: 6920
[startup+220.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 7620
Raw data (stat): 7620 (bsolo_mis) R 7619 7876 7672 0 -1 0 854 0 0 0 21940 61 0 0 25 0 1 0 706520940 7086080 828 4294967295 134512640 134714540 3221221792 3221220384 134535032 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1730 828 1111 63 0 1667 0
vsize: 6920
[startup+230.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 7620
Raw data (stat): 7620 (bsolo_mis) R 7619 7876 7672 0 -1 0 854 0 0 0 22936 64 0 0 25 0 1 0 706520940 7086080 828 4294967295 134512640 134714540 3221221792 3221220480 134591875 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1730 828 1111 63 0 1667 0
vsize: 6920
[startup+240.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 7620
Raw data (stat): 7620 (bsolo_mis) R 7619 7876 7672 0 -1 0 854 0 0 0 23935 66 0 0 25 0 1 0 706520940 7086080 828 4294967295 134512640 134714540 3221221792 3221220528 134584858 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1730 828 1111 63 0 1667 0
vsize: 6920
[startup+250.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 7620
Raw data (stat): 7620 (bsolo_mis) R 7619 7876 7672 0 -1 0 854 0 0 0 24933 68 0 0 25 0 1 0 706520940 7086080 828 4294967295 134512640 134714540 3221221792 3221220384 134535433 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1730 828 1111 63 0 1667 0
vsize: 6920
[startup+260.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 7620
Raw data (stat): 7620 (bsolo_mis) R 7619 7876 7672 0 -1 0 854 0 0 0 25931 70 0 0 25 0 1 0 706520940 7086080 828 4294967295 134512640 134714540 3221221792 3221220480 134558507 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1730 828 1111 63 0 1667 0
vsize: 6920
[startup+270.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 7620
Raw data (stat): 7620 (bsolo_mis) R 7619 7876 7672 0 -1 0 856 0 0 0 26929 73 0 0 25 0 1 0 706520940 7086080 830 4294967295 134512640 134714540 3221221792 3221220304 134696544 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1730 830 1111 63 0 1667 0
vsize: 6920
[startup+280.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 7620
Raw data (stat): 7620 (bsolo_mis) R 7619 7876 7672 0 -1 0 856 0 0 0 27927 75 0 0 25 0 1 0 706520940 7086080 830 4294967295 134512640 134714540 3221221792 3221220440 134543614 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1730 830 1111 63 0 1667 0
vsize: 6920
[startup+290.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 7620
Raw data (stat): 7620 (bsolo_mis) R 7619 7876 7672 0 -1 0 856 0 0 0 28925 77 0 0 25 0 1 0 706520940 7086080 830 4294967295 134512640 134714540 3221221792 3221220480 134558529 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1730 830 1111 63 0 1667 0
vsize: 6920
[startup+300.013 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 7620
Raw data (stat): 7620 (bsolo_mis) R 7619 7876 7672 0 -1 0 856 0 0 0 29923 78 0 0 25 0 1 0 706520940 7086080 830 4294967295 134512640 134714540 3221221792 3221220536 134558593 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1730 830 1111 63 0 1667 0
vsize: 6920
[startup+310.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 7620
Raw data (stat): 7620 (bsolo_mis) R 7619 7876 7672 0 -1 0 856 0 0 0 30921 81 0 0 25 0 1 0 706520940 7086080 830 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1730 830 1111 63 0 1667 0
vsize: 6920
[startup+320.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7620
Raw data (stat): 7620 (bsolo_mis) R 7619 7876 7672 0 -1 0 856 0 0 0 31919 83 0 0 25 0 1 0 706520940 7086080 830 4294967295 134512640 134714540 3221221792 3221220044 1077379936 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1730 830 1111 63 0 1667 0
vsize: 6920
[startup+330.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7620
Raw data (stat): 7620 (bsolo_mis) R 7619 7876 7672 0 -1 0 856 0 0 0 32917 85 0 0 25 0 1 0 706520940 7086080 830 4294967295 134512640 134714540 3221221792 3221220276 1077374082 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1730 830 1111 63 0 1667 0
vsize: 6920
[startup+340.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7620
Raw data (stat): 7620 (bsolo_mis) R 7619 7876 7672 0 -1 0 856 0 0 0 33915 87 0 0 25 0 1 0 706520940 7086080 830 4294967295 134512640 134714540 3221221792 3221220416 1077378560 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1730 830 1111 63 0 1667 0
vsize: 6920
[startup+350.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7620
Raw data (stat): 7620 (bsolo_mis) R 7619 7876 7672 0 -1 0 856 0 0 0 34912 91 0 0 25 0 1 0 706520940 7086080 830 4294967295 134512640 134714540 3221221792 3221220312 1077377221 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1730 830 1111 63 0 1667 0
vsize: 6920
[startup+360.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7620
Raw data (stat): 7620 (bsolo_mis) R 7619 7876 7672 0 -1 0 856 0 0 0 35910 93 0 0 25 0 1 0 706520940 7086080 830 4294967295 134512640 134714540 3221221792 3221220320 134540089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1730 830 1111 63 0 1667 0
vsize: 6920
[startup+370.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7620
Raw data (stat): 7620 (bsolo_mis) R 7619 7876 7672 0 -1 0 856 0 0 0 36909 94 0 0 25 0 1 0 706520940 7086080 830 4294967295 134512640 134714540 3221221792 3221220224 1076647868 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1730 830 1111 63 0 1667 0
vsize: 6920
[startup+380.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7620
Raw data (stat): 7620 (bsolo_mis) R 7619 7876 7672 0 -1 0 856 0 0 0 37907 96 0 0 25 0 1 0 706520940 7086080 830 4294967295 134512640 134714540 3221221792 3221220488 134558477 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1730 830 1111 63 0 1667 0
vsize: 6920
[startup+390.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7620
Raw data (stat): 7620 (bsolo_mis) R 7619 7876 7672 0 -1 0 856 0 0 0 38905 98 0 0 25 0 1 0 706520940 7086080 830 4294967295 134512640 134714540 3221221792 3221220204 1076533524 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1730 830 1111 63 0 1667 0
vsize: 6920
[startup+400.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7620
Raw data (stat): 7620 (bsolo_mis) R 7619 7876 7672 0 -1 0 856 0 0 0 39903 100 0 0 25 0 1 0 706520940 7086080 830 4294967295 134512640 134714540 3221221792 3221220336 134543712 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1730 830 1111 63 0 1667 0
vsize: 6920
[startup+410.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7620
Raw data (stat): 7620 (bsolo_mis) R 7619 7876 7672 0 -1 0 856 0 0 0 40901 103 0 0 25 0 1 0 706520940 7086080 830 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1730 830 1111 63 0 1667 0
vsize: 6920
[startup+420.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7620
Raw data (stat): 7620 (bsolo_mis) R 7619 7876 7672 0 -1 0 856 0 0 0 41900 104 0 0 25 0 1 0 706520940 7086080 830 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1730 830 1111 63 0 1667 0
vsize: 6920
[startup+430.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7620
Raw data (stat): 7620 (bsolo_mis) R 7619 7876 7672 0 -1 0 856 0 0 0 42898 107 0 0 25 0 1 0 706520940 7086080 830 4294967295 134512640 134714540 3221221792 3221220512 134542598 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1730 830 1111 63 0 1667 0
vsize: 6920
[startup+440.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7620
Raw data (stat): 7620 (bsolo_mis) R 7619 7876 7672 0 -1 0 856 0 0 0 43895 109 0 0 25 0 1 0 706520940 7086080 830 4294967295 134512640 134714540 3221221792 3221220492 134535620 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1730 830 1111 63 0 1667 0
vsize: 6920
[startup+450.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7620
Raw data (stat): 7620 (bsolo_mis) R 7619 7876 7672 0 -1 0 858 0 0 0 44893 112 0 0 25 0 1 0 706520940 7086080 832 4294967295 134512640 134714540 3221221792 3221220432 134524436 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1730 832 1111 63 0 1667 0
vsize: 6920
[startup+460.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7620
Raw data (stat): 7620 (bsolo_mis) R 7619 7876 7672 0 -1 0 858 0 0 0 45891 114 0 0 25 0 1 0 706520940 7086080 832 4294967295 134512640 134714540 3221221792 3221220028 1077379843 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1730 832 1111 63 0 1667 0
vsize: 6920
[startup+470.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7620
Raw data (stat): 7620 (bsolo_mis) R 7619 7876 7672 0 -1 0 859 0 0 0 46888 117 0 0 25 0 1 0 706520940 7086080 833 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1730 833 1111 63 0 1667 0
vsize: 6920
[startup+480.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7620
Raw data (stat): 7620 (bsolo_mis) R 7619 7876 7672 0 -1 0 859 0 0 0 47887 119 0 0 25 0 1 0 706520940 7086080 833 4294967295 134512640 134714540 3221221792 3221220432 134594227 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1730 833 1111 63 0 1667 0
vsize: 6920
[startup+490.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7620
Raw data (stat): 7620 (bsolo_mis) R 7619 7876 7672 0 -1 0 859 0 0 0 48884 121 0 0 25 0 1 0 706520940 7086080 833 4294967295 134512640 134714540 3221221792 3221220508 134543588 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1730 833 1111 63 0 1667 0
vsize: 6920
[startup+500.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7620
Raw data (stat): 7620 (bsolo_mis) R 7619 7876 7672 0 -1 0 859 0 0 0 49882 124 0 0 25 0 1 0 706520940 7086080 833 4294967295 134512640 134714540 3221221792 3221220496 134603759 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1730 833 1111 63 0 1667 0
vsize: 6920
[startup+510.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7620
Raw data (stat): 7620 (bsolo_mis) R 7619 7876 7672 0 -1 0 859 0 0 0 50880 126 0 0 25 0 1 0 706520940 7086080 833 4294967295 134512640 134714540 3221221792 3221220304 134540107 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1730 833 1111 63 0 1667 0
vsize: 6920
[startup+520.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7620
Raw data (stat): 7620 (bsolo_mis) R 7619 7876 7672 0 -1 0 859 0 0 0 51878 128 0 0 25 0 1 0 706520940 7086080 833 4294967295 134512640 134714540 3221221792 3221220440 134543614 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1730 833 1111 63 0 1667 0
vsize: 6920
[startup+530.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7620
Raw data (stat): 7620 (bsolo_mis) R 7619 7876 7672 0 -1 0 859 0 0 0 52875 131 0 0 25 0 1 0 706520940 7086080 833 4294967295 134512640 134714540 3221221792 3221220336 134543740 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1730 833 1111 63 0 1667 0
vsize: 6920
[startup+540.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7620
Raw data (stat): 7620 (bsolo_mis) R 7619 7876 7672 0 -1 0 859 0 0 0 53873 133 0 0 25 0 1 0 706520940 7086080 833 4294967295 134512640 134714540 3221221792 3221220148 1077374134 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1730 833 1111 63 0 1667 0
vsize: 6920
[startup+550.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7620
Raw data (stat): 7620 (bsolo_mis) R 7619 7876 7672 0 -1 0 859 0 0 0 54870 136 0 0 25 0 1 0 706520940 7086080 833 4294967295 134512640 134714540 3221221792 3221220492 134535664 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1730 833 1111 63 0 1667 0
vsize: 6920
[startup+560.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7620
Raw data (stat): 7620 (bsolo_mis) R 7619 7876 7672 0 -1 0 859 0 0 0 55868 139 0 0 25 0 1 0 706520940 7086080 833 4294967295 134512640 134714540 3221221792 3221220304 134540342 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1730 833 1111 63 0 1667 0
vsize: 6920
[startup+570.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7620
Raw data (stat): 7620 (bsolo_mis) R 7619 7876 7672 0 -1 0 859 0 0 0 56864 142 0 0 25 0 1 0 706520940 7086080 833 4294967295 134512640 134714540 3221221792 3221220384 134538754 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1730 833 1111 63 0 1667 0
vsize: 6920
[startup+580.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7620
Raw data (stat): 7620 (bsolo_mis) R 7619 7876 7672 0 -1 0 859 0 0 0 57862 145 0 0 25 0 1 0 706520940 7086080 833 4294967295 134512640 134714540 3221221792 3221220496 134534146 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1730 833 1111 63 0 1667 0
vsize: 6920
[startup+590.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7620
Raw data (stat): 7620 (bsolo_mis) R 7619 7876 7672 0 -1 0 860 0 0 0 58859 148 0 0 25 0 1 0 706520940 7086080 834 4294967295 134512640 134714540 3221221792 3221220384 134613442 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1730 834 1111 63 0 1667 0
vsize: 6920
[startup+600.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7620
Raw data (stat): 7620 (bsolo_mis) R 7619 7876 7672 0 -1 0 860 0 0 0 59857 150 0 0 25 0 1 0 706520940 7086080 834 4294967295 134512640 134714540 3221221792 3221220364 134523613 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1730 834 1111 63 0 1667 0
vsize: 6920
[startup+610.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7620
Raw data (stat): 7620 (bsolo_mis) R 7619 7876 7672 0 -1 0 860 0 0 0 60855 152 0 0 25 0 1 0 706520940 7086080 834 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1730 834 1111 63 0 1667 0
vsize: 6920
[startup+620.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7620
Raw data (stat): 7620 (bsolo_mis) R 7619 7876 7672 0 -1 0 860 0 0 0 61853 155 0 0 25 0 1 0 706520940 7086080 834 4294967295 134512640 134714540 3221221792 3221220088 1077377398 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1730 834 1111 63 0 1667 0
vsize: 6920
[startup+630.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7620
Raw data (stat): 7620 (bsolo_mis) R 7619 7876 7672 0 -1 0 860 0 0 0 62851 157 0 0 25 0 1 0 706520940 7086080 834 4294967295 134512640 134714540 3221221792 3221220492 134535620 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1730 834 1111 63 0 1667 0
vsize: 6920
[startup+640.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7620
Raw data (stat): 7620 (bsolo_mis) R 7619 7876 7672 0 -1 0 860 0 0 0 63848 160 0 0 25 0 1 0 706520940 7086080 834 4294967295 134512640 134714540 3221221792 3221220044 1077379843 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1730 834 1111 63 0 1667 0
vsize: 6920
[startup+650.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7620
Raw data (stat): 7620 (bsolo_mis) R 7619 7876 7672 0 -1 0 860 0 0 0 64847 162 0 0 25 0 1 0 706520940 7086080 834 4294967295 134512640 134714540 3221221792 3221220320 134540077 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1730 834 1111 63 0 1667 0
vsize: 6920
[startup+660.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7620
Raw data (stat): 7620 (bsolo_mis) R 7619 7876 7672 0 -1 0 860 0 0 0 65844 164 0 0 25 0 1 0 706520940 7086080 834 4294967295 134512640 134714540 3221221792 3221220384 134535448 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1730 834 1111 63 0 1667 0
vsize: 6920
[startup+670.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7620
Raw data (stat): 7620 (bsolo_mis) R 7619 7876 7672 0 -1 0 860 0 0 0 66842 166 0 0 25 0 1 0 706520940 7086080 834 4294967295 134512640 134714540 3221221792 3221220304 134539757 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1730 834 1111 63 0 1667 0
vsize: 6920
[startup+680.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7620
Raw data (stat): 7620 (bsolo_mis) R 7619 7876 7672 0 -1 0 860 0 0 0 67840 168 0 0 25 0 1 0 706520940 7086080 834 4294967295 134512640 134714540 3221221792 3221220512 134535433 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1730 834 1111 63 0 1667 0
vsize: 6920
[startup+690.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7620
Raw data (stat): 7620 (bsolo_mis) R 7619 7876 7672 0 -1 0 860 0 0 0 68839 170 0 0 25 0 1 0 706520940 7086080 834 4294967295 134512640 134714540 3221221792 3221220400 134535032 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1730 834 1111 63 0 1667 0
vsize: 6920
[startup+700.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7620
Raw data (stat): 7620 (bsolo_mis) R 7619 7876 7672 0 -1 0 860 0 0 0 69837 172 0 0 25 0 1 0 706520940 7086080 834 4294967295 134512640 134714540 3221221792 3221220444 1076533124 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1730 834 1111 63 0 1667 0
vsize: 6920
[startup+710.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7620
Raw data (stat): 7620 (bsolo_mis) R 7619 7876 7672 0 -1 0 860 0 0 0 70835 174 0 0 25 0 1 0 706520940 7086080 834 4294967295 134512640 134714540 3221221792 3221220484 134594953 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1730 834 1111 63 0 1667 0
vsize: 6920
[startup+720.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7620
Raw data (stat): 7620 (bsolo_mis) R 7619 7876 7672 0 -1 0 860 0 0 0 71833 176 0 0 25 0 1 0 706520940 7086080 834 4294967295 134512640 134714540 3221221792 3221220304 134539608 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1730 834 1111 63 0 1667 0
vsize: 6920
[startup+730.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7620
Raw data (stat): 7620 (bsolo_mis) R 7619 7876 7672 0 -1 0 860 0 0 0 72831 178 0 0 25 0 1 0 706520940 7086080 834 4294967295 134512640 134714540 3221221792 3221220328 1077377797 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1730 834 1111 63 0 1667 0
vsize: 6920
[startup+740.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7620
Raw data (stat): 7620 (bsolo_mis) R 7619 7876 7672 0 -1 0 860 0 0 0 73829 181 0 0 25 0 1 0 706520940 7086080 834 4294967295 134512640 134714540 3221221792 3221220484 134558543 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1730 834 1111 63 0 1667 0
vsize: 6920
[startup+750.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7620
Raw data (stat): 7620 (bsolo_mis) R 7619 7876 7672 0 -1 0 860 0 0 0 74827 183 0 0 25 0 1 0 706520940 7086080 834 4294967295 134512640 134714540 3221221792 3221220440 134524426 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1730 834 1111 63 0 1667 0
vsize: 6920
[startup+760.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7620
Raw data (stat): 7620 (bsolo_mis) R 7619 7876 7672 0 -1 0 860 0 0 0 75825 185 0 0 25 0 1 0 706520940 7086080 834 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1730 834 1111 63 0 1667 0
vsize: 6920
[startup+770.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7620
Raw data (stat): 7620 (bsolo_mis) R 7619 7876 7672 0 -1 0 860 0 0 0 76823 187 0 0 25 0 1 0 706520940 7086080 834 4294967295 134512640 134714540 3221221792 3221220468 134603699 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1730 834 1111 63 0 1667 0
vsize: 6920
[startup+780.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7620
Raw data (stat): 7620 (bsolo_mis) R 7619 7876 7672 0 -1 0 860 0 0 0 77821 189 0 0 25 0 1 0 706520940 7086080 834 4294967295 134512640 134714540 3221221792 3221220384 134613454 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1730 834 1111 63 0 1667 0
vsize: 6920
[startup+790.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7620
Raw data (stat): 7620 (bsolo_mis) R 7619 7876 7672 0 -1 0 860 0 0 0 78818 193 0 0 25 0 1 0 706520940 7086080 834 4294967295 134512640 134714540 3221221792 3221220388 1077374149 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1730 834 1111 63 0 1667 0
vsize: 6920
[startup+800.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7620
Raw data (stat): 7620 (bsolo_mis) R 7619 7876 7672 0 -1 0 862 0 0 0 79816 195 0 0 25 0 1 0 706520940 7196672 836 4294967295 134512640 134714540 3221221792 3221220352 134543674 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1757 836 1111 63 0 1694 0
vsize: 7028
[startup+810.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7620
Raw data (stat): 7620 (bsolo_mis) R 7619 7876 7672 0 -1 0 862 0 0 0 80814 197 0 0 25 0 1 0 706520940 7196672 836 4294967295 134512640 134714540 3221221792 3221220492 134535620 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1757 836 1111 63 0 1694 0
vsize: 7028
[startup+820.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7620
Raw data (stat): 7620 (bsolo_mis) R 7619 7876 7672 0 -1 0 862 0 0 0 81811 200 0 0 25 0 1 0 706520940 7196672 836 4294967295 134512640 134714540 3221221792 3221220320 134539900 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1757 836 1111 63 0 1694 0
vsize: 7028
[startup+830.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7620
Raw data (stat): 7620 (bsolo_mis) R 7619 7876 7672 0 -1 0 862 0 0 0 82809 202 0 0 25 0 1 0 706520940 7196672 836 4294967295 134512640 134714540 3221221792 3221220304 134539628 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1757 836 1111 63 0 1694 0
vsize: 7028
[startup+840.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7620
Raw data (stat): 7620 (bsolo_mis) R 7619 7876 7672 0 -1 0 862 0 0 0 83807 204 0 0 25 0 1 0 706520940 7196672 836 4294967295 134512640 134714540 3221221792 3221220512 134592104 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1757 836 1111 63 0 1694 0
vsize: 7028
[startup+850.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7620
Raw data (stat): 7620 (bsolo_mis) R 7619 7876 7672 0 -1 0 862 0 0 0 84805 206 0 0 25 0 1 0 706520940 7196672 836 4294967295 134512640 134714540 3221221792 3221220304 134540067 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1757 836 1111 63 0 1694 0
vsize: 7028
[startup+860.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7620
Raw data (stat): 7620 (bsolo_mis) R 7619 7876 7672 0 -1 0 862 0 0 0 85803 208 0 0 25 0 1 0 706520940 7196672 836 4294967295 134512640 134714540 3221221792 3221220696 134579082 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1757 836 1111 63 0 1694 0
vsize: 7028
[startup+870.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7620
Raw data (stat): 7620 (bsolo_mis) R 7619 7876 7672 0 -1 0 862 0 0 0 86800 211 0 0 25 0 1 0 706520940 7196672 836 4294967295 134512640 134714540 3221221792 3221220368 134535330 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1757 836 1111 63 0 1694 0
vsize: 7028
[startup+880.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7620
Raw data (stat): 7620 (bsolo_mis) R 7619 7876 7672 0 -1 0 862 0 0 0 87798 213 0 0 25 0 1 0 706520940 7196672 836 4294967295 134512640 134714540 3221221792 3221220444 134543588 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1757 836 1111 63 0 1694 0
vsize: 7028
[startup+890.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7620
Raw data (stat): 7620 (bsolo_mis) R 7619 7876 7672 0 -1 0 862 0 0 0 88796 216 0 0 25 0 1 0 706520940 7196672 836 4294967295 134512640 134714540 3221221792 3221220484 134535871 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1757 836 1111 63 0 1694 0
vsize: 7028
[startup+900.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7620
Raw data (stat): 7620 (bsolo_mis) R 7619 7876 7672 0 -1 0 862 0 0 0 89794 218 0 0 25 0 1 0 706520940 7196672 836 4294967295 134512640 134714540 3221221792 3221220044 1077379860 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1757 836 1111 63 0 1694 0
vsize: 7028
[startup+910.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7620
Raw data (stat): 7620 (bsolo_mis) R 7619 7876 7672 0 -1 0 862 0 0 0 90791 220 0 0 25 0 1 0 706520940 7196672 836 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1757 836 1111 63 0 1694 0
vsize: 7028
[startup+920.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7620
Raw data (stat): 7620 (bsolo_mis) R 7619 7876 7672 0 -1 0 862 0 0 0 91789 223 0 0 25 0 1 0 706520940 7196672 836 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1757 836 1111 63 0 1694 0
vsize: 7028
[startup+930.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7620
Raw data (stat): 7620 (bsolo_mis) R 7619 7876 7672 0 -1 0 862 0 0 0 92787 225 0 0 25 0 1 0 706520940 7196672 836 4294967295 134512640 134714540 3221221792 3221220028 1077379908 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1757 836 1111 63 0 1694 0
vsize: 7028
[startup+940.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7620
Raw data (stat): 7620 (bsolo_mis) R 7619 7876 7672 0 -1 0 862 0 0 0 93786 227 0 0 25 0 1 0 706520940 7196672 836 4294967295 134512640 134714540 3221221792 3221220328 1077377241 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1757 836 1111 63 0 1694 0
vsize: 7028
[startup+950.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7620
Raw data (stat): 7620 (bsolo_mis) R 7619 7876 7672 0 -1 0 862 0 0 0 94784 229 0 0 25 0 1 0 706520940 7196672 836 4294967295 134512640 134714540 3221221792 3221220656 134588446 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1757 836 1111 63 0 1694 0
vsize: 7028
[startup+960.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7620
Raw data (stat): 7620 (bsolo_mis) R 7619 7876 7672 0 -1 0 862 0 0 0 95781 232 0 0 25 0 1 0 706520940 7196672 836 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1757 836 1111 63 0 1694 0
vsize: 7028
[startup+970.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7620
Raw data (stat): 7620 (bsolo_mis) R 7619 7876 7672 0 -1 0 862 0 0 0 96779 234 0 0 25 0 1 0 706520940 7196672 836 4294967295 134512640 134714540 3221221792 3221220384 134539376 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1757 836 1111 63 0 1694 0
vsize: 7028
[startup+980.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7620
Raw data (stat): 7620 (bsolo_mis) R 7619 7876 7672 0 -1 0 862 0 0 0 97778 236 0 0 25 0 1 0 706520940 7196672 836 4294967295 134512640 134714540 3221221792 3221220320 134539943 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1757 836 1111 63 0 1694 0
vsize: 7028
[startup+990.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7620
Raw data (stat): 7620 (bsolo_mis) R 7619 7876 7672 0 -1 0 862 0 0 0 98776 237 0 0 25 0 1 0 706520940 7196672 836 4294967295 134512640 134714540 3221221792 3221220360 1077377190 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1757 836 1111 63 0 1694 0
vsize: 7028
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7620
Raw data (stat): 7620 (bsolo_mis) R 7619 7876 7672 0 -1 0 862 0 0 0 99774 240 0 0 25 0 1 0 706520940 7196672 836 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1757 836 1111 63 0 1694 0
vsize: 7028
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7620
Raw data (stat): 7620 (bsolo_mis) R 7619 7876 7672 0 -1 0 862 0 0 0 100771 243 0 0 25 0 1 0 706520940 7196672 836 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1757 836 1111 63 0 1694 0
vsize: 7028
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7620
Raw data (stat): 7620 (bsolo_mis) R 7619 7876 7672 0 -1 0 862 0 0 0 101768 246 0 0 25 0 1 0 706520940 7196672 836 4294967295 134512640 134714540 3221221792 3221220440 134543614 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1757 836 1111 63 0 1694 0
vsize: 7028
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7620
Raw data (stat): 7620 (bsolo_mis) R 7619 7876 7672 0 -1 0 862 0 0 0 102765 249 0 0 25 0 1 0 706520940 7196672 836 4294967295 134512640 134714540 3221221792 3221220496 134603836 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1757 836 1111 63 0 1694 0
vsize: 7028
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7620
Raw data (stat): 7620 (bsolo_mis) R 7619 7876 7672 0 -1 0 862 0 0 0 103763 251 0 0 25 0 1 0 706520940 7196672 836 4294967295 134512640 134714540 3221221792 3221220252 1076533524 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1757 836 1111 63 0 1694 0
vsize: 7028
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7620
Raw data (stat): 7620 (bsolo_mis) R 7619 7876 7672 0 -1 0 862 0 0 0 104761 254 0 0 25 0 1 0 706520940 7196672 836 4294967295 134512640 134714540 3221221792 3221220492 134535671 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1757 836 1111 63 0 1694 0
vsize: 7028
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7620
Raw data (stat): 7620 (bsolo_mis) R 7619 7876 7672 0 -1 0 862 0 0 0 105759 256 0 0 25 0 1 0 706520940 7196672 836 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1757 836 1111 63 0 1694 0
vsize: 7028
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7620
Raw data (stat): 7620 (bsolo_mis) R 7619 7876 7672 0 -1 0 862 0 0 0 106757 258 0 0 25 0 1 0 706520940 7196672 836 4294967295 134512640 134714540 3221221792 3221220320 134540342 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1757 836 1111 63 0 1694 0
vsize: 7028
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7620
Raw data (stat): 7620 (bsolo_mis) R 7619 7876 7672 0 -1 0 862 0 0 0 107755 260 0 0 25 0 1 0 706520940 7196672 836 4294967295 134512640 134714540 3221221792 3221220552 134556493 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1757 836 1111 63 0 1694 0
vsize: 7028
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7620
Raw data (stat): 7620 (bsolo_mis) R 7619 7876 7672 0 -1 0 862 0 0 0 108753 262 0 0 25 0 1 0 706520940 7196672 836 4294967295 134512640 134714540 3221221792 3221220384 134613454 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1757 836 1111 63 0 1694 0
vsize: 7028
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7620
Raw data (stat): 7620 (bsolo_mis) R 7619 7876 7672 0 -1 0 862 0 0 0 109751 264 0 0 25 0 1 0 706520940 7196672 836 4294967295 134512640 134714540 3221221792 3221220044 1077379846 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1757 836 1111 63 0 1694 0
vsize: 7028
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7620
Raw data (stat): 7620 (bsolo_mis) R 7619 7876 7672 0 -1 0 862 0 0 0 110749 267 0 0 25 0 1 0 706520940 7196672 836 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1757 836 1111 63 0 1694 0
vsize: 7028
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7620
Raw data (stat): 7620 (bsolo_mis) R 7619 7876 7672 0 -1 0 862 0 0 0 111746 269 0 0 25 0 1 0 706520940 7196672 836 4294967295 134512640 134714540 3221221792 3221220028 1077379843 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1757 836 1111 63 0 1694 0
vsize: 7028
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7620
Raw data (stat): 7620 (bsolo_mis) R 7619 7876 7672 0 -1 0 862 0 0 0 112743 272 0 0 25 0 1 0 706520940 7196672 836 4294967295 134512640 134714540 3221221792 3221220304 134540335 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1757 836 1111 63 0 1694 0
vsize: 7028
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7620
Raw data (stat): 7620 (bsolo_mis) R 7619 7876 7672 0 -1 0 862 0 0 0 113740 275 0 0 25 0 1 0 706520940 7196672 836 4294967295 134512640 134714540 3221221792 3221220320 134539757 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1757 836 1111 63 0 1694 0
vsize: 7028
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7620
Raw data (stat): 7620 (bsolo_mis) R 7619 7876 7672 0 -1 0 862 0 0 0 114739 276 0 0 25 0 1 0 706520940 7196672 836 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1757 836 1111 63 0 1694 0
vsize: 7028
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7620
Raw data (stat): 7620 (bsolo_mis) R 7619 7876 7672 0 -1 0 862 0 0 0 115737 278 0 0 25 0 1 0 706520940 7196672 836 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1757 836 1111 63 0 1694 0
vsize: 7028
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7620
Raw data (stat): 7620 (bsolo_mis) R 7619 7876 7672 0 -1 0 862 0 0 0 116735 280 0 0 25 0 1 0 706520940 7196672 836 4294967295 134512640 134714540 3221221792 3221220400 134535026 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1757 836 1111 63 0 1694 0
vsize: 7028
[startup+1174.9 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 7620
Raw data (stat): 7620 (bsolo_mis) R 7619 7876 7672 0 -1 0 862 0 0 0 116735 280 0 0 25 0 1 0 706520940 7196672 836 4294967295 134512640 134714540 3221221792 3221220400 134535026 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1757 836 1111 63 0 1694 0
vsize: 0

Child status: 10
Real time (s): 1174.9
CPU time (s): 1175.03
CPU user time (s): 1172.21
CPU system time (s): 2.81757
CPU usage (%): 100.011
Max. virtual memory (Kb): 7028
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	5748
#### END VERIFIER DATA ####