PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/submitted/manquinho/logic-synthesis/normalized-e64.b.opb
MD5SUM	bf7f8537c6faa135d25c67c53576abb5
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	49
Optimality of the best value was proved	NO
Number of terms in the objective function	608
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	608
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	608
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.03484
Number of variables	607
Total number of constraints	1053
Number of constraints which are clauses	1022
Number of constraints which are cardinality constraints (but not clauses)	31
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	3
Maximum length of a constraint	32
Trace number 23467

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-03 21:56:39 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=586 boxname=wulflinc31 idbench=66 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  bf7f8537c6faa135d25c67c53576abb5  /oldhome/oroussel/tmp/wulflinc31/normalized-e64.b.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-e64.b.opb
IDLAUNCH: 586
/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:        917684 kB
Buffers:         40884 kB
Cached:          54052 kB
SwapCached:        944 kB
Active:          79420 kB
Inactive:        18020 kB
HighTotal:      131008 kB
HighFree:        75992 kB
LowTotal:       903652 kB
LowFree:        841692 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:             176 kB
Writeback:           0 kB
Mapped:           5540 kB
Slab:            14076 kB
Committed_AS:    63656 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-03 22:16:15 (client local time) WITH STATUS 10 IN 1175.2 SECONDS
stats: 586 0 1175.2 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 608 variables and 1022 constraints.
c After prepocess the problem consists of 608 variables and 958 constraints.
c preprocess terminated 0.474 s
c Initial Lower Bound: 37
c Lower Bound Elapsed time: 0.38275
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 53 @ 8.437
c NEW SOLUTION FOUND: 52 @ 14.219
c NEW SOLUTION FOUND: 51 @ 275.227
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 -x578 -x579 -x580 -x581 -x582 x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 
c Exit Code: 10
c Total time: 1175.09 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.91 0.95 0.98 2/54 6544
Raw data (stat): 6544 (runsolver) R 6543 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 652168739 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.0009 s]
Raw data (loadavg): 0.93 0.95 0.98 2/54 6544
Raw data (stat): 6544 (bsolo_lpr) R 6543 7876 7672 0 -1 0 6662 0 0 0 977 19 0 0 25 0 1 0 652168739 8265728 1263 4294967295 134512640 134714508 3221221792 3221218384 1074885370 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2018 1263 1111 63 0 1955 0
vsize: 8072
[startup+20.0024 s]
Raw data (loadavg): 0.94 0.96 0.98 2/54 6544
Raw data (stat): 6544 (bsolo_lpr) R 6543 7876 7672 0 -1 0 19195 0 0 0 1944 52 0 0 25 0 1 0 652168739 9887744 1721 4294967295 134512640 134714508 3221221792 3221219712 1074052553 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2414 1721 1111 63 0 2351 0
vsize: 9656
[startup+30.0033 s]
Raw data (loadavg): 0.95 0.96 0.98 2/54 6544
Raw data (stat): 6544 (bsolo_lpr) R 6543 7876 7672 0 -1 0 30481 0 0 0 2912 83 0 0 25 0 1 0 652168739 11972608 2146 4294967295 134512640 134714508 3221221792 3221218776 1074831583 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2923 2146 1111 63 0 2860 0
vsize: 11692
[startup+40.0037 s]
Raw data (loadavg): 0.95 0.96 0.98 2/54 6544
Raw data (stat): 6544 (bsolo_lpr) R 6543 7876 7672 0 -1 0 42549 0 0 0 3879 117 0 0 25 0 1 0 652168739 13635584 2643 4294967295 134512640 134714508 3221221792 3221220572 134542400 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3329 2643 1111 63 0 3266 0
vsize: 13316
[startup+50.0046 s]
Raw data (loadavg): 0.96 0.96 0.98 2/54 6544
Raw data (stat): 6544 (bsolo_lpr) R 6543 7876 7672 0 -1 0 51806 0 0 0 4851 145 0 0 25 0 1 0 652168739 14893056 2940 4294967295 134512640 134714508 3221221792 3221220240 1074039480 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3636 2940 1111 63 0 3573 0
vsize: 14544
[startup+60.0051 s]
Raw data (loadavg): 0.97 0.96 0.98 2/54 6544
Raw data (stat): 6544 (bsolo_lpr) R 6543 7876 7672 0 -1 0 62063 0 0 0 5823 173 0 0 25 0 1 0 652168739 16490496 3331 4294967295 134512640 134714508 3221221792 3221219904 1074867305 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4026 3331 1111 63 0 3963 0
vsize: 16104
[startup+70.0066 s]
Raw data (loadavg): 0.97 0.96 0.98 2/54 6544
Raw data (stat): 6544 (bsolo_lpr) R 6543 7876 7672 0 -1 0 73490 0 0 0 6794 203 0 0 25 0 1 0 652168739 17944576 3695 4294967295 134512640 134714508 3221221792 3221219792 1074916549 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4381 3695 1111 63 0 4318 0
vsize: 17524
[startup+80.007 s]
Raw data (loadavg): 0.98 0.96 0.98 2/54 6544
Raw data (stat): 6544 (bsolo_lpr) R 6543 7876 7672 0 -1 0 84155 0 0 0 7766 231 0 0 25 0 1 0 652168739 20049920 4138 4294967295 134512640 134714508 3221221792 3221217936 1074969469 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4895 4138 1111 63 0 4832 0
vsize: 19580
[startup+90.0069 s]
Raw data (loadavg): 0.98 0.96 0.98 2/54 6544
Raw data (stat): 6544 (bsolo_lpr) R 6543 7876 7672 0 -1 0 96289 0 0 0 8736 260 0 0 25 0 1 0 652168739 22237184 4740 4294967295 134512640 134714508 3221221792 3221220056 1074138162 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5429 4740 1111 63 0 5366 0
vsize: 21716
[startup+100.008 s]
Raw data (loadavg): 0.98 0.96 0.98 2/54 6544
Raw data (stat): 6544 (bsolo_lpr) R 6543 7876 7672 0 -1 0 107905 0 0 0 9707 290 0 0 25 0 1 0 652168739 24514560 5207 4294967295 134512640 134714508 3221221792 3221218960 1074821042 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5985 5207 1111 63 0 5922 0
vsize: 23940
[startup+110.009 s]
Raw data (loadavg): 0.98 0.96 0.98 2/54 6544
Raw data (stat): 6544 (bsolo_lpr) R 6543 7876 7672 0 -1 0 119383 0 0 0 10677 320 0 0 25 0 1 0 652168739 26316800 5665 4294967295 134512640 134714508 3221221792 3221218320 1074884907 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6425 5665 1111 63 0 6362 0
vsize: 25700
[startup+120.011 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 6544
Raw data (stat): 6544 (bsolo_lpr) R 6543 7876 7672 0 -1 0 130841 0 0 0 11650 347 0 0 25 0 1 0 652168739 27791360 6094 4294967295 134512640 134714508 3221221792 3221220432 134649075 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6785 6094 1111 63 0 6722 0
vsize: 27140
[startup+130.011 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 6544
Raw data (stat): 6544 (bsolo_lpr) R 6543 7876 7672 0 -1 0 142892 0 0 0 12620 377 0 0 25 0 1 0 652168739 29663232 6552 4294967295 134512640 134714508 3221221792 3221220176 1074153794 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7242 6552 1111 63 0 7179 0
vsize: 28968
[startup+140.011 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 6544
Raw data (stat): 6544 (bsolo_lpr) R 6543 7876 7672 0 -1 0 155101 0 0 0 13586 412 0 0 25 0 1 0 652168739 31649792 7041 4294967295 134512640 134714508 3221221792 3221219792 1074918550 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7727 7041 1111 63 0 7664 0
vsize: 30908
[startup+150.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 6544
Raw data (stat): 6544 (bsolo_lpr) R 6543 7876 7672 0 -1 0 164879 0 0 0 14558 439 0 0 25 0 1 0 652168739 33464320 7402 4294967295 134512640 134714508 3221221792 3221218912 1074834346 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8170 7402 1111 63 0 8107 0
vsize: 32680
[startup+160.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 6544
Raw data (stat): 6544 (bsolo_lpr) R 6543 7876 7672 0 -1 0 174556 0 0 0 15533 465 0 0 25 0 1 0 652168739 34639872 7768 4294967295 134512640 134714508 3221221792 3221219824 1075088363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8457 7768 1111 63 0 8394 0
vsize: 33828
[startup+170.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 6544
Raw data (stat): 6544 (bsolo_lpr) R 6543 7876 7672 0 -1 0 184847 0 0 0 16507 491 0 0 25 0 1 0 652168739 37384192 8391 4294967295 134512640 134714508 3221221792 3221219672 1077380592 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9127 8391 1111 63 0 9064 0
vsize: 36508
[startup+180.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 6544
Raw data (stat): 6544 (bsolo_lpr) R 6543 7876 7672 0 -1 0 195746 0 0 0 17479 519 0 0 25 0 1 0 652168739 39391232 8876 4294967295 134512640 134714508 3221221792 3221220584 134536900 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9617 8876 1111 63 0 9554 0
vsize: 38468
[startup+190.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 6544
Raw data (stat): 6544 (bsolo_lpr) R 6543 7876 7672 0 -1 0 209651 0 0 0 18440 558 0 0 25 0 1 0 652168739 41672704 9438 4294967295 134512640 134714508 3221221792 3221220176 1074153669 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10174 9438 1111 63 0 10111 0
vsize: 40696
[startup+200.013 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 6544
Raw data (stat): 6544 (bsolo_lpr) R 6543 7876 7672 0 -1 0 223081 0 0 0 19404 595 0 0 25 0 1 0 652168739 44339200 10020 4294967295 134512640 134714508 3221221792 3221217756 1074788206 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10825 10020 1111 63 0 10762 0
vsize: 43300
[startup+210.393 s]
Raw data (loadavg): 0.99 0.97 0.98 5/59 6570
Raw data (stat): 6544 (bsolo_lpr) R 6543 7876 7672 0 -1 0 236361 0 0 0 20404 632 0 0 25 0 1 0 652168739 46546944 10574 4294967295 134512640 134714508 3221221792 3221218256 1075602754 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11364 10574 1111 63 0 11301 0
vsize: 45456
[startup+220.394 s]
Raw data (loadavg): 1.07 0.99 0.99 2/58 6587
Raw data (stat): 6544 (bsolo_lpr) R 6543 7876 7672 0 -1 0 249335 0 0 0 21369 668 0 0 25 0 1 0 652168739 48570368 11124 4294967295 134512640 134714508 3221221792 3221219520 1075828201 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11858 11124 1111 63 0 11795 0
vsize: 47432
[startup+230.411 s]
Raw data (loadavg): 1.29 1.04 1.01 3/58 6597
Raw data (stat): 6544 (bsolo_lpr) R 6543 7876 7672 0 -1 0 261914 0 0 0 22338 700 0 0 25 0 1 0 652168739 50827264 11667 4294967295 134512640 134714508 3221221792 3221220208 1074116974 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12409 11667 1111 63 0 12346 0
vsize: 49636
[startup+240.412 s]
Raw data (loadavg): 1.32 1.05 1.01 2/54 6597
Raw data (stat): 6544 (bsolo_lpr) R 6543 7876 7672 0 -1 0 273640 0 0 0 23306 732 0 0 25 0 1 0 652168739 52813824 12168 4294967295 134512640 134714508 3221221792 3221220144 1074153786 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12894 12168 1111 63 0 12831 0
vsize: 51576
[startup+250.412 s]
Raw data (loadavg): 1.27 1.05 1.01 2/54 6597
Raw data (stat): 6544 (bsolo_lpr) R 6543 7876 7672 0 -1 0 289080 0 0 0 24268 770 0 0 25 0 1 0 652168739 55623680 12842 4294967295 134512640 134714508 3221221792 3221220088 1074138166 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13580 12842 1111 63 0 13517 0
vsize: 54320
[startup+260.413 s]
Raw data (loadavg): 1.23 1.05 1.01 2/54 6597
Raw data (stat): 6544 (bsolo_lpr) R 6543 7876 7672 0 -1 0 305618 0 0 0 25229 809 0 0 25 0 1 0 652168739 58908672 13599 4294967295 134512640 134714508 3221221792 3221217756 1074786323 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14382 13599 1111 63 0 14319 0
vsize: 57528
[startup+270.413 s]
Raw data (loadavg): 1.19 1.05 1.01 2/54 6597
Raw data (stat): 6544 (bsolo_lpr) R 6543 7876 7672 0 -1 0 321778 0 0 0 26189 850 0 0 25 0 1 0 652168739 61493248 14275 4294967295 134512640 134714508 3221221792 3221220520 134558477 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15013 14275 1111 63 0 14950 0
vsize: 60052
[startup+280.414 s]
Raw data (loadavg): 1.16 1.04 1.01 2/54 6597
Raw data (stat): 6544 (bsolo_lpr) R 6543 7876 7672 0 -1 0 335640 0 0 0 27150 889 0 0 25 0 1 0 652168739 63807488 14841 4294967295 134512640 134714508 3221221792 3221220372 134543092 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15578 14841 1111 63 0 15515 0
vsize: 62312
[startup+290.415 s]
Raw data (loadavg): 1.14 1.04 1.00 2/54 6599
Raw data (stat): 6544 (bsolo_lpr) R 6543 7876 7672 0 -1 0 343381 0 0 0 28127 911 0 0 25 0 1 0 652168739 65351680 15132 4294967295 134512640 134714508 3221221792 3221218064 1074960837 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15955 15132 1111 63 0 15892 0
vsize: 63820
[startup+300.415 s]
Raw data (loadavg): 1.12 1.04 1.00 2/54 6599
Raw data (stat): 6544 (bsolo_lpr) R 6543 7876 7672 0 -1 0 351020 0 0 0 29106 932 0 0 25 0 1 0 652168739 67084288 15533 4294967295 134512640 134714508 3221221792 3221220176 1074153648 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16378 15533 1111 63 0 16315 0
vsize: 65512
[startup+310.416 s]
Raw data (loadavg): 1.10 1.04 1.00 2/54 6599
Raw data (stat): 6544 (bsolo_lpr) R 6543 7876 7672 0 -1 0 358189 0 0 0 30088 950 0 0 25 0 1 0 652168739 69767168 16013 4294967295 134512640 134714508 3221221792 3221220156 1074207648 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17033 16013 1111 63 0 16970 0
vsize: 68132
[startup+320.416 s]
Raw data (loadavg): 1.08 1.04 1.00 2/54 6599
Raw data (stat): 6544 (bsolo_lpr) R 6543 7876 7672 0 -1 0 367511 0 0 0 31064 974 0 0 25 0 1 0 652168739 71086080 16347 4294967295 134512640 134714508 3221221792 3221220128 1074153672 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17355 16347 1111 63 0 17292 0
vsize: 69420
[startup+330.417 s]
Raw data (loadavg): 1.07 1.03 1.00 2/54 6599
Raw data (stat): 6544 (bsolo_lpr) R 6543 7876 7672 0 -1 0 374861 0 0 0 32043 995 0 0 25 0 1 0 652168739 72097792 16585 4294967295 134512640 134714508 3221221792 3221220208 1074117065 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17602 16585 1111 63 0 17539 0
vsize: 70408
[startup+340.417 s]
Raw data (loadavg): 1.06 1.03 1.00 2/54 6599
Raw data (stat): 6544 (bsolo_lpr) R 6543 7876 7672 0 -1 0 383271 0 0 0 33023 1016 0 0 25 0 1 0 652168739 73457664 16915 4294967295 134512640 134714508 3221221792 3221220512 134625095 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17934 16915 1111 63 0 17871 0
vsize: 71736
[startup+350.418 s]
Raw data (loadavg): 1.05 1.03 1.00 2/54 6599
Raw data (stat): 6544 (bsolo_lpr) R 6543 7876 7672 0 -1 0 392781 0 0 0 33996 1043 0 0 25 0 1 0 652168739 74792960 17250 4294967295 134512640 134714508 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18260 17250 1111 63 0 18197 0
vsize: 73040
[startup+360.419 s]
Raw data (loadavg): 1.04 1.03 1.00 2/54 6599
Raw data (stat): 6544 (bsolo_lpr) R 6543 7876 7672 0 -1 0 399112 0 0 0 34980 1059 0 0 25 0 1 0 652168739 76083200 17575 4294967295 134512640 134714508 3221221792 3221220504 134543168 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18575 17575 1111 63 0 18512 0
vsize: 74300
[startup+370.42 s]
Raw data (loadavg): 1.03 1.03 1.00 2/54 6599
Raw data (stat): 6544 (bsolo_lpr) R 6543 7876 7672 0 -1 0 408145 0 0 0 35956 1084 0 0 25 0 1 0 652168739 77119488 17703 4294967295 134512640 134714508 3221221792 3221217928 1077410285 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18828 17703 1111 63 0 18765 0
vsize: 75312
[startup+380.421 s]
Raw data (loadavg): 1.03 1.03 1.00 2/54 6599
Raw data (stat): 6544 (bsolo_lpr) R 6543 7876 7672 0 -1 0 417629 0 0 0 36931 1108 0 0 25 0 1 0 652168739 77922304 17921 4294967295 134512640 134714508 3221221792 3221218000 1076111669 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19024 17921 1111 63 0 18961 0
vsize: 76096
[startup+390.421 s]
Raw data (loadavg): 1.02 1.03 1.00 2/54 6599
Raw data (stat): 6544 (bsolo_lpr) R 6543 7876 7672 0 -1 0 426564 0 0 0 37909 1131 0 0 25 0 1 0 652168739 78761984 18105 4294967295 134512640 134714508 3221221792 3221218384 1074885712 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19229 18105 1111 63 0 19166 0
vsize: 76916
[startup+400.422 s]
Raw data (loadavg): 1.02 1.02 1.00 2/54 6599
Raw data (stat): 6544 (bsolo_lpr) R 6543 7876 7672 0 -1 0 434885 0 0 0 38889 1151 0 0 25 0 1 0 652168739 79114240 18306 4294967295 134512640 134714508 3221221792 3221220236 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19315 18306 1111 63 0 19252 0
vsize: 77260
[startup+410.422 s]
Raw data (loadavg): 1.02 1.02 1.00 2/54 6599
Raw data (stat): 6544 (bsolo_lpr) R 6543 7876 7672 0 -1 0 445630 0 0 0 39862 1178 0 0 25 0 1 0 652168739 80248832 18594 4294967295 134512640 134714508 3221221792 3221220464 134650219 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19592 18594 1111 63 0 19529 0
vsize: 78368
[startup+420.422 s]
Raw data (loadavg): 1.01 1.02 1.00 2/54 6599
Raw data (stat): 6544 (bsolo_lpr) R 6543 7876 7672 0 -1 0 458363 0 0 0 40831 1209 0 0 25 0 1 0 652168739 82448384 19001 4294967295 134512640 134714508 3221221792 3221218856 1077410205 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20129 19001 1111 63 0 20066 0
vsize: 80516
[startup+430.424 s]
Raw data (loadavg): 1.01 1.02 1.00 2/54 6599
Raw data (stat): 6544 (bsolo_lpr) R 6543 7876 7672 0 -1 0 472039 0 0 0 41801 1240 0 0 25 0 1 0 652168739 83763200 19452 4294967295 134512640 134714508 3221221792 3221220144 1074153822 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20450 19452 1111 63 0 20387 0
vsize: 81800
[startup+440.423 s]
Raw data (loadavg): 1.01 1.02 1.00 2/54 6599
Raw data (stat): 6544 (bsolo_lpr) R 6543 7876 7672 0 -1 0 487291 0 0 0 42765 1275 0 0 25 0 1 0 652168739 85643264 19924 4294967295 134512640 134714508 3221221792 3221220592 134622489 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20909 19924 1111 63 0 20846 0
vsize: 83636
[startup+450.423 s]
Raw data (loadavg): 1.01 1.02 1.00 2/54 6599
Raw data (stat): 6544 (bsolo_lpr) R 6543 7876 7672 0 -1 0 500731 0 0 0 43735 1306 0 0 25 0 1 0 652168739 87240704 20294 4294967295 134512640 134714508 3221221792 3221219816 1077380312 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21299 20294 1111 63 0 21236 0
vsize: 85196
[startup+460.423 s]
Raw data (loadavg): 1.00 1.02 1.00 2/54 6599
Raw data (stat): 6544 (bsolo_lpr) R 6543 7876 7672 0 -1 0 514096 0 0 0 44706 1335 0 0 25 0 1 0 652168739 89288704 20702 4294967295 134512640 134714508 3221221792 3221217996 1075564348 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21799 20702 1111 63 0 21736 0
vsize: 87196
[startup+470.423 s]
Raw data (loadavg): 1.00 1.02 1.00 2/54 6599
Raw data (stat): 6544 (bsolo_lpr) R 6543 7876 7672 0 -1 0 523239 0 0 0 45684 1357 0 0 25 0 1 0 652168739 89772032 20938 4294967295 134512640 134714508 3221221792 3221220072 1074138271 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21917 20938 1111 63 0 21854 0
vsize: 87668
[startup+480.423 s]
Raw data (loadavg): 1.00 1.02 1.00 2/54 6599
Raw data (stat): 6544 (bsolo_lpr) R 6543 7876 7672 0 -1 0 533302 0 0 0 46661 1380 0 0 25 0 1 0 652168739 90939392 21226 4294967295 134512640 134714508 3221221792 3221219440 1075818322 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22202 21226 1111 63 0 22139 0
vsize: 88808
[startup+490.423 s]
Raw data (loadavg): 1.00 1.02 1.00 2/54 6599
Raw data (stat): 6544 (bsolo_lpr) R 6543 7876 7672 0 -1 0 544746 0 0 0 47633 1408 0 0 25 0 1 0 652168739 93118464 21638 4294967295 134512640 134714508 3221221792 3221218160 1075894549 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22734 21638 1111 63 0 22671 0
vsize: 90936
[startup+500.424 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 6599
Raw data (stat): 6544 (bsolo_lpr) R 6543 7876 7672 0 -1 0 555521 0 0 0 48604 1437 0 0 25 0 1 0 652168739 93544448 21866 4294967295 134512640 134714508 3221221792 3221220364 134534136 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22838 21866 1111 63 0 22775 0
vsize: 91352
[startup+510.424 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 6599
Raw data (stat): 6544 (bsolo_lpr) R 6543 7876 7672 0 -1 0 566598 0 0 0 49578 1464 0 0 25 0 1 0 652168739 95416320 22233 4294967295 134512640 134714508 3221221792 3221218032 1075115712 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23295 22233 1111 63 0 23232 0
vsize: 93180
[startup+520.424 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 6599
Raw data (stat): 6544 (bsolo_lpr) R 6543 7876 7672 0 -1 0 577157 0 0 0 50554 1488 0 0 25 0 1 0 652168739 96604160 22487 4294967295 134512640 134714508 3221221792 3221218856 1077410205 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23585 22487 1111 63 0 23522 0
vsize: 94340
[startup+530.424 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 6599
Raw data (stat): 6544 (bsolo_lpr) R 6543 7876 7672 0 -1 0 587521 0 0 0 51528 1514 0 0 25 0 1 0 652168739 97386496 22813 4294967295 134512640 134714508 3221221792 3221220056 1077410205 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23776 22813 1111 63 0 23713 0
vsize: 95104
[startup+540.424 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 6599
Raw data (stat): 6544 (bsolo_lpr) R 6543 7876 7672 0 -1 0 598020 0 0 0 52503 1539 0 0 25 0 1 0 652168739 99368960 23193 4294967295 134512640 134714508 3221221792 3221218108 1075169392 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24260 23193 1111 63 0 24197 0
vsize: 97040
[startup+550.424 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 6599
Raw data (stat): 6544 (bsolo_lpr) R 6543 7876 7672 0 -1 0 609174 0 0 0 53476 1567 0 0 25 0 1 0 652168739 100372480 23507 4294967295 134512640 134714508 3221221792 3221219792 1074916549 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24505 23507 1111 63 0 24442 0
vsize: 98020
[startup+560.423 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 6601
Raw data (stat): 6544 (bsolo_lpr) R 6543 7876 7672 0 -1 0 617609 0 0 0 54455 1588 0 0 25 0 1 0 652168739 101453824 23771 4294967295 134512640 134714508 3221221792 3221219792 1074916673 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24769 23771 1111 63 0 24706 0
vsize: 99076
[startup+570.423 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 6601
Raw data (stat): 6544 (bsolo_lpr) R 6543 7876 7672 0 -1 0 627119 0 0 0 55433 1610 0 0 25 0 1 0 652168739 103251968 24081 4294967295 134512640 134714508 3221221792 3221218736 1074620113 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25208 24081 1111 63 0 25145 0
vsize: 100832
[startup+580.424 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 6601
Raw data (stat): 6544 (bsolo_lpr) R 6543 7876 7672 0 -1 0 640827 0 0 0 56401 1642 0 0 25 0 1 0 652168739 104808448 24486 4294967295 134512640 134714508 3221221792 3221218912 1074834353 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25453 24479 1111 63 0 25390 0
vsize: 102352
[startup+590.424 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 6601
Raw data (stat): 6544 (bsolo_lpr) R 6543 7876 7672 0 -1 0 657882 0 0 0 57361 1682 0 0 25 0 1 0 652168739 106848256 24993 4294967295 134512640 134714508 3221221792 3221218020 1075114931 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26086 24993 1111 63 0 26023 0
vsize: 104344
[startup+600.424 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6601
Raw data (stat): 6544 (bsolo_lpr) R 6543 7876 7672 0 -1 0 671183 0 0 0 58327 1716 0 0 25 0 1 0 652168739 107933696 25383 4294967295 134512640 134714508 3221221792 3221220000 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26351 25383 1111 63 0 26288 0
vsize: 105404
[startup+610.424 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6601
Raw data (stat): 6544 (bsolo_lpr) R 6543 7876 7672 0 -1 0 682724 0 0 0 59301 1742 0 0 25 0 1 0 652168739 109060096 25666 4294967295 134512640 134714508 3221221792 3221220220 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26626 25666 1111 63 0 26563 0
vsize: 106504
[startup+620.424 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6601
Raw data (stat): 6544 (bsolo_lpr) R 6543 7876 7672 0 -1 0 696885 0 0 0 60268 1775 0 0 25 0 1 0 652168739 110751744 26069 4294967295 134512640 134714508 3221221792 3221219904 1074867331 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27039 26069 1111 63 0 26976 0
vsize: 108156
[startup+630.424 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6601
Raw data (stat): 6544 (bsolo_lpr) R 6543 7876 7672 0 -1 0 708946 0 0 0 61240 1803 0 0 25 0 1 0 652168739 112680960 26418 4294967295 134512640 134714508 3221221792 3221218316 1076048759 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27510 26418 1111 63 0 27447 0
vsize: 110040
[startup+640.424 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6601
Raw data (stat): 6544 (bsolo_lpr) R 6543 7876 7672 0 -1 0 720197 0 0 0 62213 1831 0 0 25 0 1 0 652168739 113213440 26666 4294967295 134512640 134714508 3221221792 3221219440 1075818215 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27640 26666 1111 63 0 27577 0
vsize: 110560
[startup+650.425 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6601
Raw data (stat): 6544 (bsolo_lpr) R 6543 7876 7672 0 -1 0 730200 0 0 0 63190 1854 0 0 25 0 1 0 652168739 114176000 26906 4294967295 134512640 134714508 3221221792 3221219908 1077378699 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27875 26906 1111 63 0 27812 0
vsize: 111500
[startup+660.425 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6601
Raw data (stat): 6544 (bsolo_lpr) R 6543 7876 7672 0 -1 0 744088 0 0 0 64157 1887 0 0 25 0 1 0 652168739 115609600 27262 4294967295 134512640 134714508 3221221792 3221220128 1074153601 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28225 27262 1111 63 0 28162 0
vsize: 112900
[startup+670.425 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6601
Raw data (stat): 6544 (bsolo_lpr) R 6543 7876 7672 0 -1 0 760107 0 0 0 65122 1922 0 0 25 0 1 0 652168739 118419456 27792 4294967295 134512640 134714508 3221221792 3221218176 1076116676 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28911 27792 1111 63 0 28848 0
vsize: 115644
[startup+680.426 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6601
Raw data (stat): 6544 (bsolo_lpr) R 6543 7876 7672 0 -1 0 776448 0 0 0 66082 1963 0 0 25 0 1 0 652168739 119586816 28169 4294967295 134512640 134714508 3221221792 3221219520 1075635454 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29196 28169 1111 63 0 29133 0
vsize: 116784
[startup+690.426 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6601
Raw data (stat): 6544 (bsolo_lpr) R 6543 7876 7672 0 -1 0 791970 0 0 0 67047 1997 0 0 25 0 1 0 652168739 121327616 28615 4294967295 134512640 134714508 3221221792 3221220188 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29621 28615 1111 63 0 29558 0
vsize: 118484
[startup+700.426 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6601
Raw data (stat): 6544 (bsolo_lpr) R 6543 7876 7672 0 -1 0 809238 0 0 0 68005 2040 0 0 25 0 1 0 652168739 123453440 29143 4294967295 134512640 134714508 3221221792 3221220176 1074153672 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30140 29143 1111 63 0 30077 0
vsize: 120560
[startup+710.427 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6601
Raw data (stat): 6544 (bsolo_lpr) R 6543 7876 7672 0 -1 0 824650 0 0 0 68970 2075 0 0 25 0 1 0 652168739 125476864 29628 4294967295 134512640 134714508 3221221792 3221219792 1074056591 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30634 29628 1111 63 0 30571 0
vsize: 122536
[startup+720.426 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6601
Raw data (stat): 6544 (bsolo_lpr) R 6543 7876 7672 0 -1 0 839027 0 0 0 69935 2110 0 0 25 0 1 0 652168739 127467520 30060 4294967295 134512640 134714508 3221221792 3221219808 1074143086 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31120 30060 1111 63 0 31057 0
vsize: 124480
[startup+730.427 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6601
Raw data (stat): 6544 (bsolo_lpr) R 6543 7876 7672 0 -1 0 855984 0 0 0 70897 2149 0 0 25 0 1 0 652168739 128368640 30295 4294967295 134512640 134714508 3221221792 3221220056 1074138166 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31340 30295 1111 63 0 31277 0
vsize: 125360
[startup+740.426 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6601
Raw data (stat): 6544 (bsolo_lpr) R 6543 7876 7672 0 -1 0 874816 0 0 0 71853 2193 0 0 25 0 1 0 652168739 129933312 30672 4294967295 134512640 134714508 3221221792 3221219816 1077380269 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31722 30672 1111 63 0 31659 0
vsize: 126888
[startup+750.427 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6601
Raw data (stat): 6544 (bsolo_lpr) R 6543 7876 7672 0 -1 0 890018 0 0 0 72816 2230 0 0 25 0 1 0 652168739 130912256 30904 4294967295 134512640 134714508 3221221792 3221220128 1074153660 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31961 30904 1111 63 0 31898 0
vsize: 127844
[startup+760.427 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6601
Raw data (stat): 6544 (bsolo_lpr) R 6543 7876 7672 0 -1 0 904530 0 0 0 73779 2267 0 0 25 0 1 0 652168739 132550656 31178 4294967295 134512640 134714508 3221221792 3221217700 1074786513 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32361 31178 1111 63 0 32298 0
vsize: 129444
[startup+770.427 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6601
Raw data (stat): 6544 (bsolo_lpr) R 6543 7876 7672 0 -1 0 919253 0 0 0 74746 2301 0 0 25 0 1 0 652168739 135622656 31777 4294967295 134512640 134714508 3221221792 3221220512 134625095 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33111 31777 1111 63 0 33048 0
vsize: 132444
[startup+780.428 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6601
Raw data (stat): 6544 (bsolo_lpr) R 6543 7876 7672 0 -1 0 932724 0 0 0 75715 2332 0 0 25 0 1 0 652168739 140152832 32479 4294967295 134512640 134714508 3221221792 3221220028 1074206265 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34217 32479 1111 63 0 34154 0
vsize: 136868
[startup+790.428 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6601
Raw data (stat): 6544 (bsolo_lpr) R 6543 7876 7672 0 -1 0 944520 0 0 0 76688 2358 0 0 25 0 1 0 652168739 142016512 32792 4294967295 134512640 134714508 3221221792 3221218780 1077404742 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34672 32792 1111 63 0 34609 0
vsize: 138688
[startup+800.429 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6601
Raw data (stat): 6544 (bsolo_lpr) R 6543 7876 7672 0 -1 0 960024 0 0 0 77652 2395 0 0 25 0 1 0 652168739 143298560 33257 4294967295 134512640 134714508 3221221792 3221219536 1075640375 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34985 33257 1111 63 0 34922 0
vsize: 139940
[startup+810.429 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6601
Raw data (stat): 6544 (bsolo_lpr) R 6543 7876 7672 0 -1 0 972815 0 0 0 78622 2425 0 0 25 0 1 0 652168739 145387520 33663 4294967295 134512640 134714508 3221221792 3221217968 1074882421 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35495 33663 1111 63 0 35432 0
vsize: 141980
[startup+820.429 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6601
Raw data (stat): 6544 (bsolo_lpr) R 6543 7876 7672 0 -1 0 983262 0 0 0 79595 2452 0 0 25 0 1 0 652168739 145903616 33909 4294967295 134512640 134714508 3221221792 3221220144 1074153792 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35621 33909 1111 63 0 35558 0
vsize: 142484
[startup+830.429 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6601
Raw data (stat): 6544 (bsolo_lpr) R 6543 7876 7672 0 -1 0 998328 0 0 0 80558 2490 0 0 25 0 1 0 652168739 147361792 34267 4294967295 134512640 134714508 3221221792 3221220236 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35977 34267 1111 63 0 35914 0
vsize: 143908
[startup+840.429 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6601
Raw data (stat): 6544 (bsolo_lpr) R 6543 7876 7672 0 -1 0 1014907 0 0 0 81520 2527 0 0 25 0 1 0 652168739 149053440 34675 4294967295 134512640 134714508 3221221792 3221220176 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36390 34675 1111 63 0 36327 0
vsize: 145560
[startup+850.43 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6601
Raw data (stat): 6544 (bsolo_lpr) R 6543 7876 7672 0 -1 0 1025961 0 0 0 82497 2551 0 0 25 0 1 0 652168739 150212608 34958 4294967295 134512640 134714508 3221221792 3221220252 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36673 34958 1111 63 0 36610 0
vsize: 146692
[startup+860.429 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6601
Raw data (stat): 6544 (bsolo_lpr) R 6543 7876 7672 0 -1 0 1038519 0 0 0 83464 2584 0 0 25 0 1 0 652168739 151916544 35282 4294967295 134512640 134714508 3221221792 3221217756 1074860675 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 37089 35282 1111 63 0 37026 0
vsize: 148356
[startup+870.429 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6601
Raw data (stat): 6544 (bsolo_lpr) R 6543 7876 7672 0 -1 0 1052571 0 0 0 84432 2616 0 0 25 0 1 0 652168739 153137152 35681 4294967295 134512640 134714508 3221221792 3221220120 1074143073 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 37387 35681 1111 63 0 37324 0
vsize: 149548
[startup+880.431 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6601
Raw data (stat): 6544 (bsolo_lpr) R 6543 7876 7672 0 -1 0 1067660 0 0 0 85401 2648 0 0 25 0 1 0 652168739 154914816 36095 4294967295 134512640 134714508 3221221792 3221220336 134650068 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 37821 36095 1111 63 0 37758 0
vsize: 151284
[startup+890.431 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6601
Raw data (stat): 6544 (bsolo_lpr) R 6543 7876 7672 0 -1 0 1080557 0 0 0 86369 2680 0 0 25 0 1 0 652168739 156721152 36531 4294967295 134512640 134714508 3221221792 3221219992 1074138166 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 38262 36531 1111 63 0 38199 0
vsize: 153048
[startup+900.431 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6601
Raw data (stat): 6544 (bsolo_lpr) R 6543 7876 7672 0 -1 0 1093552 0 0 0 87336 2713 0 0 25 0 1 0 652168739 158232576 36905 4294967295 134512640 134714508 3221221792 3221220560 134624602 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 38631 36905 1111 63 0 38568 0
vsize: 154524
[startup+910.431 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6601
Raw data (stat): 6544 (bsolo_lpr) R 6543 7876 7672 0 -1 0 1106074 0 0 0 88305 2744 0 0 25 0 1 0 652168739 160358400 37342 4294967295 134512640 134714508 3221221792 3221218128 1075114268 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 39150 37342 1111 63 0 39087 0
vsize: 156600
[startup+920.431 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6601
Raw data (stat): 6544 (bsolo_lpr) R 6543 7876 7672 0 -1 0 1117506 0 0 0 89277 2772 0 0 25 0 1 0 652168739 161615872 37618 4294967295 134512640 134714508 3221221792 3221218856 1077410205 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 39457 37618 1111 63 0 39394 0
vsize: 157828
[startup+930.432 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6601
Raw data (stat): 6544 (bsolo_lpr) R 6543 7876 7672 0 -1 0 1125028 0 0 0 90257 2792 0 0 25 0 1 0 652168739 161681408 37731 4294967295 134512640 134714508 3221221792 3221220128 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 39473 37731 1111 63 0 39410 0
vsize: 157892
[startup+940.432 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6601
Raw data (stat): 6544 (bsolo_lpr) R 6543 7876 7672 0 -1 0 1138260 0 0 0 91226 2823 0 0 25 0 1 0 652168739 163532800 38117 4294967295 134512640 134714508 3221221792 3221218320 1074885000 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 39925 38117 1111 63 0 39862 0
vsize: 159700
[startup+950.433 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6601
Raw data (stat): 6544 (bsolo_lpr) R 6543 7876 7672 0 -1 0 1149773 0 0 0 92198 2852 0 0 25 0 1 0 652168739 164327424 38399 4294967295 134512640 134714508 3221221792 3221220128 1074153663 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 40119 38399 1111 63 0 40056 0
vsize: 160476
[startup+960.434 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6601
Raw data (stat): 6544 (bsolo_lpr) R 6543 7876 7672 0 -1 0 1160589 0 0 0 93172 2878 0 0 25 0 1 0 652168739 165801984 38745 4294967295 134512640 134714508 3221221792 3221220064 1074206853 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 40479 38745 1111 63 0 40416 0
vsize: 161916
[startup+970.434 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6601
Raw data (stat): 6544 (bsolo_lpr) R 6543 7876 7672 0 -1 0 1173400 0 0 0 94142 2908 0 0 25 0 1 0 652168739 167976960 39138 4294967295 134512640 134714508 3221221792 3221218856 1077410205 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 41010 39138 1111 63 0 40947 0
vsize: 164040
[startup+980.435 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6601
Raw data (stat): 6544 (bsolo_lpr) R 6543 7876 7672 0 -1 0 1184614 0 0 0 95114 2936 0 0 25 0 1 0 652168739 169463808 39508 4294967295 134512640 134714508 3221221792 3221219056 1075894372 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 41373 39508 1111 63 0 41310 0
vsize: 165492
[startup+990.435 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6601
Raw data (stat): 6544 (bsolo_lpr) R 6543 7876 7672 0 -1 0 1196772 0 0 0 96085 2965 0 0 25 0 1 0 652168739 170340352 39802 4294967295 134512640 134714508 3221221792 3221218780 1077404742 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 41688 39808 1111 63 0 41625 0
vsize: 166348
[startup+1000.43 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6601
Raw data (stat): 6544 (bsolo_lpr) R 6543 7876 7672 0 -1 0 1207631 0 0 0 97060 2990 0 0 25 0 1 0 652168739 171442176 40096 4294967295 134512640 134714508 3221221792 3221219792 1074915850 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 41856 40096 1111 63 0 41793 0
vsize: 167424
[startup+1010.44 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6601
Raw data (stat): 6544 (bsolo_lpr) R 6543 7876 7672 0 -1 0 1219380 0 0 0 98034 3016 0 0 25 0 1 0 652168739 172892160 40436 4294967295 134512640 134714508 3221221792 3221218856 1077378037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42244 40439 1111 63 0 42181 0
vsize: 168840
[startup+1020.44 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6601
Raw data (stat): 6544 (bsolo_lpr) R 6543 7876 7672 0 -1 0 1232326 0 0 0 99004 3047 0 0 25 0 1 0 652168739 174297088 40803 4294967295 134512640 134714508 3221221792 3221219628 1074206250 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42553 40803 1111 63 0 42490 0
vsize: 170212
[startup+1030.44 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6601
Raw data (stat): 6544 (bsolo_lpr) R 6543 7876 7672 0 -1 0 1246572 0 0 0 99971 3081 0 0 25 0 1 0 652168739 176074752 41193 4294967295 134512640 134714508 3221221792 3221219792 1074915844 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42987 41193 1111 63 0 42924 0
vsize: 171948
[startup+1040.44 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6601
Raw data (stat): 6544 (bsolo_lpr) R 6543 7876 7672 0 -1 0 1257249 0 0 0 100947 3105 0 0 25 0 1 0 652168739 177082368 41466 4294967295 134512640 134714508 3221221792 3221219928 1077377428 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43233 41466 1111 63 0 43170 0
vsize: 172932
[startup+1050.44 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6601
Raw data (stat): 6544 (bsolo_lpr) R 6543 7876 7672 0 -1 0 1267968 0 0 0 101919 3132 0 0 25 0 1 0 652168739 178872320 41814 4294967295 134512640 134714508 3221221792 3221218864 1074867325 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43670 41814 1111 63 0 43607 0
vsize: 174680
[startup+1060.44 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6601
Raw data (stat): 6544 (bsolo_lpr) R 6543 7876 7672 0 -1 0 1277986 0 0 0 102893 3159 0 0 25 0 1 0 652168739 179400704 42031 4294967295 134512640 134714508 3221221792 3221219972 1077374101 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43799 42031 1111 63 0 43736 0
vsize: 175196
[startup+1070.44 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6601
Raw data (stat): 6544 (bsolo_lpr) R 6543 7876 7672 0 -1 0 1287889 0 0 0 103869 3183 0 0 25 0 1 0 652168739 180482048 42303 4294967295 134512640 134714508 3221221792 3221220040 1074138150 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 44063 42303 1111 63 0 44000 0
vsize: 176252
[startup+1080.44 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6601
Raw data (stat): 6544 (bsolo_lpr) R 6543 7876 7672 0 -1 0 1296998 0 0 0 104846 3206 0 0 25 0 1 0 652168739 181477376 42539 4294967295 134512640 134714508 3221221792 3221220144 1074153736 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 44306 42539 1111 63 0 44243 0
vsize: 177224
[startup+1090.44 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6601
Raw data (stat): 6544 (bsolo_lpr) R 6543 7876 7672 0 -1 0 1307088 0 0 0 105822 3231 0 0 25 0 1 0 652168739 182648832 42832 4294967295 134512640 134714508 3221221792 3221220128 1074153822 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 44592 42832 1111 63 0 44529 0
vsize: 178368
[startup+1100.44 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6601
Raw data (stat): 6544 (bsolo_lpr) R 6543 7876 7672 0 -1 0 1317196 0 0 0 106798 3255 0 0 25 0 1 0 652168739 184516608 43178 4294967295 134512640 134714508 3221221792 3221217824 1074790272 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45048 43178 1111 63 0 44985 0
vsize: 180192
[startup+1110.44 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6601
Raw data (stat): 6544 (bsolo_lpr) R 6543 7876 7672 0 -1 0 1326538 0 0 0 107776 3277 0 0 25 0 1 0 652168739 184721408 43354 4294967295 134512640 134714508 3221221792 3221219836 1077379843 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45098 43354 1111 63 0 45035 0
vsize: 180392
[startup+1120.44 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6601
Raw data (stat): 6544 (bsolo_lpr) R 6543 7876 7672 0 -1 0 1336931 0 0 0 108748 3304 0 0 25 0 1 0 652168739 185872384 43635 4294967295 134512640 134714508 3221221792 3221220128 1074153749 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45379 43635 1111 63 0 45316 0
vsize: 181516
[startup+1130.44 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6601
Raw data (stat): 6544 (bsolo_lpr) R 6543 7876 7672 0 -1 0 1346269 0 0 0 109727 3326 0 0 25 0 1 0 652168739 186892288 43883 4294967295 134512640 134714508 3221221792 3221220104 1077410279 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45628 43883 1111 63 0 45565 0
vsize: 182512
[startup+1140.44 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6601
Raw data (stat): 6544 (bsolo_lpr) R 6543 7876 7672 0 -1 0 1354518 0 0 0 110706 3347 0 0 25 0 1 0 652168739 187666432 44073 4294967295 134512640 134714508 3221221792 3221220128 1074153672 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45817 44073 1111 63 0 45754 0
vsize: 183268
[startup+1150.44 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6601
Raw data (stat): 6544 (bsolo_lpr) R 6543 7876 7672 0 -1 0 1361990 0 0 0 111687 3366 0 0 25 0 1 0 652168739 188227584 44210 4294967295 134512640 134714508 3221221792 3221220176 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45954 44210 1111 63 0 45891 0
vsize: 183816
[startup+1160.44 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6601
Raw data (stat): 6544 (bsolo_lpr) R 6543 7876 7672 0 -1 0 1370624 0 0 0 112667 3386 0 0 25 0 1 0 652168739 189046784 44407 4294967295 134512640 134714508 3221221792 3221219440 1075818365 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46154 44407 1111 63 0 46091 0
vsize: 184616
[startup+1170.44 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6601
Raw data (stat): 6544 (bsolo_lpr) R 6543 7876 7672 0 -1 0 1378929 0 0 0 113646 3407 0 0 25 0 1 0 652168739 190398464 44645 4294967295 134512640 134714508 3221221792 3221218284 1074798916 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46484 44645 1111 63 0 46421 0
vsize: 185936
[startup+1175.1 s]
Raw data (loadavg): 1.00 1.00 1.00 1/53 6601
Raw data (stat): 6544 (bsolo_lpr) R 6543 7876 7672 0 -1 0 1378929 0 0 0 113646 3407 0 0 25 0 1 0 652168739 190398464 44645 4294967295 134512640 134714508 3221221792 3221218284 1074798916 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46484 44645 1111 63 0 46421 0
vsize: 0

Child status: 10
Real time (s): 1175.1
CPU time (s): 1175.2
CPU user time (s): 1140.94
CPU system time (s): 34.2598
CPU usage (%): 100.009
Max. virtual memory (Kb): 185936
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	51
#### END VERIFIER DATA ####