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/primes-dimacs-cnf/normalized-ii32b2.opb
MD5SUM	4c322f6b4009d273fbdff10efcd1c54f
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	244
Optimality of the best value was proved	NO
Number of terms in the objective function	522
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	522
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	522
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.03184
Number of variables	522
Total number of constraints	2819
Number of constraints which are clauses	2819
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	32
Trace number 23877

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-05 22:28:13 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=1324 boxname=wulflinc31 idbench=148 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  4c322f6b4009d273fbdff10efcd1c54f  /oldhome/oroussel/tmp/wulflinc31/normalized-ii32b2.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-ii32b2.opb
IDLAUNCH: 1324
/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:        157252 kB
Buffers:         35160 kB
Cached:         808284 kB
SwapCached:        640 kB
Active:         481776 kB
Inactive:       363724 kB
HighTotal:      131008 kB
HighFree:        13496 kB
LowTotal:       903652 kB
LowFree:        143756 kB
SwapTotal:     2097892 kB
SwapFree:      2096612 kB
Dirty:             196 kB
Writeback:           0 kB
Mapped:           5024 kB
Slab:            26244 kB
Committed_AS:    63376 kB
PageTables:        304 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-05 22:47:49 (client local time) WITH STATUS 10 IN 1175.12 SECONDS
stats: 1324 0 1175.12 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 522 variables and 2819 constraints.
c After prepocess the problem consists of 522 variables and 2819 constraints.
c preprocess terminated 3.86 s
c Initial Lower Bound: 173
c Lower Bound Elapsed time: 1.4848
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: 261 @ 18.946
c NEW SOLUTION FOUND: 260 @ 18.948
c NEW SOLUTION FOUND: 259 @ 18.956
c NEW SOLUTION FOUND: 258 @ 18.965
c NEW SOLUTION FOUND: 257 @ 18.972
c NEW SOLUTION FOUND: 256 @ 18.98
c NEW SOLUTION FOUND: 255 @ 18.989
c NEW SOLUTION FOUND: 254 @ 18.996
c NEW SOLUTION FOUND: 246 @ 19.184
c NEW SOLUTION FOUND: 245 @ 39.075
c NEW SOLUTION FOUND: 244 @ 167.234
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 
c Exit Code: 10
c Total time: 1175.08 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.99 1.00 0.95 2/53 18546
Raw data (stat): 18546 (runsolver) R 18545 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 669640139 1056768 100 4294967295 134512640 135381576 3221221696 3221216916 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+9.99996 s]
Raw data (loadavg): 0.99 1.00 0.95 2/53 18546
Raw data (stat): 18546 (bsolo_lpr) R 18545 7876 7672 0 -1 0 4735 0 0 0 976 14 0 0 25 0 1 0 669640139 10035200 1722 4294967295 134512640 134714508 3221221792 3221220012 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2450 1722 1111 63 0 2387 0
vsize: 9800
[startup+20.0008 s]
Raw data (loadavg): 0.99 1.00 0.95 2/53 18546
Raw data (stat): 18546 (bsolo_lpr) R 18545 7876 7672 0 -1 0 9677 0 0 0 1964 26 0 0 25 0 1 0 669640139 10821632 1676 4294967295 134512640 134714508 3221221792 3221218796 1074621048 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2642 1676 1111 63 0 2579 0
vsize: 10568
[startup+30.0013 s]
Raw data (loadavg): 0.99 1.00 0.95 2/53 18546
Raw data (stat): 18546 (bsolo_lpr) R 18545 7876 7672 0 -1 0 13702 0 0 0 2954 36 0 0 25 0 1 0 669640139 10981376 1841 4294967295 134512640 134714508 3221221792 3221217804 1074788950 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2681 1841 1111 63 0 2618 0
vsize: 10724
[startup+40.0009 s]
Raw data (loadavg): 0.99 1.00 0.95 2/53 18546
Raw data (stat): 18546 (bsolo_lpr) R 18545 7876 7672 0 -1 0 18728 0 0 0 3941 49 0 0 25 0 1 0 669640139 10821632 1672 4294967295 134512640 134714508 3221221792 3221218324 1075863666 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2642 1672 1111 63 0 2579 0
vsize: 10568
[startup+50.0018 s]
Raw data (loadavg): 0.99 1.00 0.95 2/53 18546
Raw data (stat): 18546 (bsolo_lpr) R 18545 7876 7672 0 -1 0 22581 0 0 0 4932 58 0 0 25 0 1 0 669640139 9428992 1634 4294967295 134512640 134714508 3221221792 3221219968 1074206903 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2302 1634 1111 63 0 2239 0
vsize: 9208
[startup+60.0019 s]
Raw data (loadavg): 0.99 1.00 0.95 2/53 18546
Raw data (stat): 18546 (bsolo_lpr) R 18545 7876 7672 0 -1 0 25916 0 0 0 5923 68 0 0 25 0 1 0 669640139 11018240 1712 4294967295 134512640 134714508 3221221792 3221217996 1075564165 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2690 1712 1111 63 0 2627 0
vsize: 10760
[startup+70.0027 s]
Raw data (loadavg): 0.99 1.00 0.95 2/53 18546
Raw data (stat): 18546 (bsolo_lpr) R 18545 7876 7672 0 -1 0 29197 0 0 0 6915 76 0 0 25 0 1 0 669640139 11091968 1730 4294967295 134512640 134714508 3221221792 3221218020 1075114984 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2708 1730 1111 63 0 2645 0
vsize: 10832
[startup+80.0033 s]
Raw data (loadavg): 0.99 1.00 0.95 2/53 18546
Raw data (stat): 18546 (bsolo_lpr) R 18545 7876 7672 0 -1 0 32710 0 0 0 7906 85 0 0 25 0 1 0 669640139 10870784 1688 4294967295 134512640 134714508 3221221792 3221217672 1074788440 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2654 1688 1111 63 0 2591 0
vsize: 10616
[startup+90.0036 s]
Raw data (loadavg): 0.99 1.00 0.95 2/53 18546
Raw data (stat): 18546 (bsolo_lpr) R 18545 7876 7672 0 -1 0 36628 0 0 0 8895 96 0 0 25 0 1 0 669640139 11198464 1740 4294967295 134512640 134714508 3221221792 3221217936 1074970240 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2734 1740 1111 63 0 2671 0
vsize: 10936
[startup+100.005 s]
Raw data (loadavg): 0.99 1.00 0.95 2/53 18546
Raw data (stat): 18546 (bsolo_lpr) R 18545 7876 7672 0 -1 0 40272 0 0 0 9886 105 0 0 25 0 1 0 669640139 9547776 1663 4294967295 134512640 134714508 3221221792 3221220192 1074153792 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2331 1663 1111 63 0 2268 0
vsize: 9324
[startup+110.005 s]
Raw data (loadavg): 0.99 1.00 0.95 2/53 18546
Raw data (stat): 18546 (bsolo_lpr) R 18545 7876 7672 0 -1 0 44515 0 0 0 10875 116 0 0 25 0 1 0 669640139 9588736 1673 4294967295 134512640 134714508 3221221792 3221220192 1074153786 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2341 1673 1111 63 0 2278 0
vsize: 9364
[startup+120.006 s]
Raw data (loadavg): 0.99 1.00 0.95 2/53 18546
Raw data (stat): 18546 (bsolo_lpr) R 18545 7876 7672 0 -1 0 47960 0 0 0 11866 126 0 0 25 0 1 0 669640139 9605120 1677 4294967295 134512640 134714508 3221221792 3221219792 1074052214 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2345 1677 1111 63 0 2282 0
vsize: 9380
[startup+130.006 s]
Raw data (loadavg): 0.99 1.00 0.95 2/53 18546
Raw data (stat): 18546 (bsolo_lpr) R 18545 7876 7672 0 -1 0 51896 0 0 0 12856 136 0 0 25 0 1 0 669640139 9605120 1677 4294967295 134512640 134714508 3221221792 3221220192 1074153822 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2345 1677 1111 63 0 2282 0
vsize: 9380
[startup+140.006 s]
Raw data (loadavg): 0.99 1.00 0.95 2/53 18546
Raw data (stat): 18546 (bsolo_lpr) R 18545 7876 7672 0 -1 0 55554 0 0 0 13844 148 0 0 25 0 1 0 669640139 11530240 1833 4294967295 134512640 134714508 3221221792 3221218064 1074961129 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2815 1833 1111 63 0 2752 0
vsize: 11260
[startup+150.026 s]
Raw data (loadavg): 0.99 1.00 0.95 2/53 18546
Raw data (stat): 18546 (bsolo_lpr) R 18545 7876 7672 0 -1 0 58814 0 0 0 14837 157 0 0 25 0 1 0 669640139 9732096 1708 4294967295 134512640 134714508 3221221792 3221220192 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2376 1708 1111 63 0 2313 0
vsize: 9504
[startup+160.026 s]
Raw data (loadavg): 0.99 1.00 0.95 2/53 18546
Raw data (stat): 18546 (bsolo_lpr) R 18545 7876 7672 0 -1 0 62014 0 0 0 15828 166 0 0 25 0 1 0 669640139 11329536 1804 4294967295 134512640 134714508 3221221792 3221217764 1074786567 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2766 1804 1111 63 0 2703 0
vsize: 11064
[startup+170.027 s]
Raw data (loadavg): 0.99 1.00 0.95 2/53 18546
Raw data (stat): 18546 (bsolo_lpr) R 18545 7876 7672 0 -1 0 65958 0 0 0 16819 176 0 0 25 0 1 0 669640139 9732096 1708 4294967295 134512640 134714508 3221221792 3221220192 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2376 1708 1111 63 0 2313 0
vsize: 9504
[startup+180.028 s]
Raw data (loadavg): 0.99 1.00 0.95 2/53 18546
Raw data (stat): 18546 (bsolo_lpr) R 18545 7876 7672 0 -1 0 69385 0 0 0 17810 184 0 0 25 0 1 0 669640139 9785344 1721 4294967295 134512640 134714508 3221221792 3221220240 1074039235 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2389 1721 1111 63 0 2326 0
vsize: 9556
[startup+190.029 s]
Raw data (loadavg): 0.99 1.00 0.95 2/53 18546
Raw data (stat): 18546 (bsolo_lpr) R 18545 7876 7672 0 -1 0 72999 0 0 0 18800 195 0 0 25 0 1 0 669640139 11194368 1753 4294967295 134512640 134714508 3221221792 3221218032 1075115715 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2733 1753 1111 63 0 2670 0
vsize: 10932
[startup+200.03 s]
Raw data (loadavg): 0.99 1.00 0.95 2/53 18546
Raw data (stat): 18546 (bsolo_lpr) R 18545 7876 7672 0 -1 0 77076 0 0 0 19788 207 0 0 25 0 1 0 669640139 9838592 1734 4294967295 134512640 134714508 3221221792 3221220176 1074153779 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2402 1734 1111 63 0 2339 0
vsize: 9608
[startup+210.03 s]
Raw data (loadavg): 0.99 1.00 0.95 2/53 18546
Raw data (stat): 18546 (bsolo_lpr) R 18545 7876 7672 0 -1 0 80863 0 0 0 20779 217 0 0 25 0 1 0 669640139 11534336 1873 4294967295 134512640 134714508 3221221792 3221218064 1074960912 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2816 1873 1111 63 0 2753 0
vsize: 11264
[startup+220.032 s]
Raw data (loadavg): 0.99 1.00 0.95 2/53 18546
Raw data (stat): 18546 (bsolo_lpr) R 18545 7876 7672 0 -1 0 85383 0 0 0 21768 228 0 0 25 0 1 0 669640139 11526144 1840 4294967295 134512640 134714508 3221221792 3221218384 1074887946 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2814 1840 1111 63 0 2751 0
vsize: 11256
[startup+230.033 s]
Raw data (loadavg): 0.99 1.00 0.95 2/53 18546
Raw data (stat): 18546 (bsolo_lpr) R 18545 7876 7672 0 -1 0 89862 0 0 0 22756 239 0 0 25 0 1 0 669640139 11665408 1898 4294967295 134512640 134714508 3221221792 3221217672 1074788384 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2848 1898 1111 63 0 2785 0
vsize: 11392
[startup+240.033 s]
Raw data (loadavg): 0.99 1.00 0.95 2/53 18546
Raw data (stat): 18546 (bsolo_lpr) R 18545 7876 7672 0 -1 0 93736 0 0 0 23746 250 0 0 25 0 1 0 669640139 11661312 1908 4294967295 134512640 134714508 3221221792 3221218064 1074960865 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2847 1908 1111 63 0 2784 0
vsize: 11388
[startup+250.034 s]
Raw data (loadavg): 0.99 1.00 0.95 2/53 18546
Raw data (stat): 18546 (bsolo_lpr) R 18545 7876 7672 0 -1 0 98066 0 0 0 24733 262 0 0 25 0 1 0 669640139 10178560 1785 4294967295 134512640 134714508 3221221792 3221219440 1075818335 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2485 1785 1111 63 0 2422 0
vsize: 9940
[startup+260.034 s]
Raw data (loadavg): 0.99 1.00 0.95 2/53 18546
Raw data (stat): 18546 (bsolo_lpr) R 18545 7876 7672 0 -1 0 101852 0 0 0 25724 272 0 0 25 0 1 0 669640139 9965568 1765 4294967295 134512640 134714508 3221221792 3221220128 1074153786 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2433 1765 1111 63 0 2370 0
vsize: 9732
[startup+270.036 s]
Raw data (loadavg): 0.99 1.00 0.95 2/53 18546
Raw data (stat): 18546 (bsolo_lpr) R 18545 7876 7672 0 -1 0 105560 0 0 0 26714 283 0 0 25 0 1 0 669640139 11874304 2056 4294967295 134512640 134714508 3221221792 3221217676 1074788964 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2899 2056 1111 63 0 2836 0
vsize: 11596
[startup+280.037 s]
Raw data (loadavg): 0.99 1.00 0.95 2/53 18546
Raw data (stat): 18546 (bsolo_lpr) R 18545 7876 7672 0 -1 0 109821 0 0 0 27702 294 0 0 25 0 1 0 669640139 11010048 1868 4294967295 134512640 134714508 3221221792 3221218624 1075115295 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2688 1868 1111 63 0 2625 0
vsize: 10752
[startup+290.038 s]
Raw data (loadavg): 0.99 1.00 0.95 2/53 18546
Raw data (stat): 18546 (bsolo_lpr) R 18545 7876 7672 0 -1 0 113398 0 0 0 28694 302 0 0 25 0 1 0 669640139 10137600 1807 4294967295 134512640 134714508 3221221792 3221220028 1077377137 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2475 1807 1111 63 0 2412 0
vsize: 9900
[startup+300.038 s]
Raw data (loadavg): 0.99 1.00 0.95 2/53 18546
Raw data (stat): 18546 (bsolo_lpr) R 18545 7876 7672 0 -1 0 116551 0 0 0 29687 310 0 0 25 0 1 0 669640139 10137600 1807 4294967295 134512640 134714508 3221221792 3221220440 134542409 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2475 1807 1111 63 0 2412 0
vsize: 9900
[startup+310.039 s]
Raw data (loadavg): 0.99 1.00 0.95 2/53 18546
Raw data (stat): 18546 (bsolo_lpr) R 18545 7876 7672 0 -1 0 119568 0 0 0 30679 318 0 0 25 0 1 0 669640139 11759616 1896 4294967295 134512640 134714508 3221221792 3221218064 1074960868 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2871 1896 1111 63 0 2808 0
vsize: 11484
[startup+320.04 s]
Raw data (loadavg): 0.99 1.00 0.95 2/53 18546
Raw data (stat): 18546 (bsolo_lpr) R 18545 7876 7672 0 -1 0 122635 0 0 0 31670 327 0 0 25 0 1 0 669640139 11735040 1901 4294967295 134512640 134714508 3221221792 3221218448 1075967705 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2865 1901 1111 63 0 2802 0
vsize: 11460
[startup+330.041 s]
Raw data (loadavg): 0.99 1.00 0.95 2/53 18546
Raw data (stat): 18546 (bsolo_lpr) R 18545 7876 7672 0 -1 0 126085 0 0 0 32662 334 0 0 25 0 1 0 669640139 11825152 1925 4294967295 134512640 134714508 3221221792 3221217736 1074788257 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2887 1925 1111 63 0 2824 0
vsize: 11548
[startup+340.041 s]
Raw data (loadavg): 0.99 1.00 0.95 2/53 18546
Raw data (stat): 18546 (bsolo_lpr) R 18545 7876 7672 0 -1 0 129755 0 0 0 33653 344 0 0 25 0 1 0 669640139 11874304 1944 4294967295 134512640 134714508 3221221792 3221218020 1075115092 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2899 1944 1111 63 0 2836 0
vsize: 11596
[startup+350.042 s]
Raw data (loadavg): 0.99 1.00 0.95 2/53 18546
Raw data (stat): 18546 (bsolo_lpr) R 18545 7876 7672 0 -1 0 133408 0 0 0 34644 353 0 0 25 0 1 0 669640139 10240000 1832 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2500 1832 1111 63 0 2437 0
vsize: 10000
[startup+360.043 s]
Raw data (loadavg): 0.99 1.00 0.95 2/53 18546
Raw data (stat): 18546 (bsolo_lpr) R 18545 7876 7672 0 -1 0 137150 0 0 0 35635 363 0 0 25 0 1 0 669640139 11812864 1894 4294967295 134512640 134714508 3221221792 3221217856 1075084533 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2884 1894 1111 63 0 2821 0
vsize: 11536
[startup+370.044 s]
Raw data (loadavg): 0.99 1.00 0.95 2/53 18546
Raw data (stat): 18546 (bsolo_lpr) R 18545 7876 7672 0 -1 0 140950 0 0 0 36622 375 0 0 25 0 1 0 669640139 10285056 1843 4294967295 134512640 134714508 3221221792 3221220080 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2511 1843 1111 63 0 2448 0
vsize: 10044
[startup+380.045 s]
Raw data (loadavg): 0.99 1.00 0.95 2/53 18546
Raw data (stat): 18546 (bsolo_lpr) R 18545 7876 7672 0 -1 0 144695 0 0 0 37611 386 0 0 25 0 1 0 669640139 11501568 1992 4294967295 134512640 134714508 3221221792 3221217668 1074786491 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2808 1992 1111 63 0 2745 0
vsize: 11232
[startup+390.045 s]
Raw data (loadavg): 0.99 1.00 0.95 2/53 18546
Raw data (stat): 18546 (bsolo_lpr) R 18545 7876 7672 0 -1 0 148748 0 0 0 38599 398 0 0 25 0 1 0 669640139 12525568 2096 4294967295 134512640 134714508 3221221792 3221218032 1075115709 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3058 2096 1111 63 0 2995 0
vsize: 12232
[startup+400.046 s]
Raw data (loadavg): 0.99 1.00 0.95 2/53 18546
Raw data (stat): 18546 (bsolo_lpr) R 18545 7876 7672 0 -1 0 151912 0 0 0 39591 407 0 0 25 0 1 0 669640139 12099584 1980 4294967295 134512640 134714508 3221221792 3221218856 1077410205 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2954 1980 1111 63 0 2891 0
vsize: 11816
[startup+410.047 s]
Raw data (loadavg): 0.99 1.00 0.95 2/53 18546
Raw data (stat): 18546 (bsolo_lpr) R 18545 7876 7672 0 -1 0 155197 0 0 0 40583 415 0 0 25 0 1 0 669640139 12361728 2081 4294967295 134512640 134714508 3221221792 3221218320 1075397144 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3018 2081 1111 63 0 2955 0
vsize: 12072
[startup+420.048 s]
Raw data (loadavg): 0.99 1.00 0.95 2/53 18546
Raw data (stat): 18546 (bsolo_lpr) R 18545 7876 7672 0 -1 0 158911 0 0 0 41573 425 0 0 25 0 1 0 669640139 10559488 1910 4294967295 134512640 134714508 3221221792 3221220140 1074064918 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2578 1910 1111 63 0 2515 0
vsize: 10312
[startup+430.049 s]
Raw data (loadavg): 0.99 1.00 0.95 2/53 18546
Raw data (stat): 18546 (bsolo_lpr) R 18545 7876 7672 0 -1 0 162376 0 0 0 42565 433 0 0 25 0 1 0 669640139 12173312 2025 4294967295 134512640 134714508 3221221792 3221218448 1075968688 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2972 2025 1111 63 0 2909 0
vsize: 11888
[startup+440.048 s]
Raw data (loadavg): 0.99 1.00 0.95 2/53 18546
Raw data (stat): 18546 (bsolo_lpr) R 18545 7876 7672 0 -1 0 165576 0 0 0 43557 441 0 0 25 0 1 0 669640139 12029952 2115 4294967295 134512640 134714508 3221221792 3221217952 1075094304 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2937 2115 1111 63 0 2874 0
vsize: 11748
[startup+450.048 s]
Raw data (loadavg): 0.99 1.00 0.95 2/53 18546
Raw data (stat): 18546 (bsolo_lpr) R 18545 7876 7672 0 -1 0 169375 0 0 0 44548 450 0 0 25 0 1 0 669640139 12353536 2185 4294967295 134512640 134714508 3221221792 3221218176 1074972354 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3016 2185 1111 63 0 2953 0
vsize: 12064
[startup+460.049 s]
Raw data (loadavg): 0.99 1.00 0.95 2/53 18546
Raw data (stat): 18546 (bsolo_lpr) R 18545 7876 7672 0 -1 0 172994 0 0 0 45538 461 0 0 25 0 1 0 669640139 10530816 1903 4294967295 134512640 134714508 3221221792 3221219888 1074153779 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2571 1903 1111 63 0 2508 0
vsize: 10284
[startup+470.051 s]
Raw data (loadavg): 0.99 1.00 0.95 2/53 18546
Raw data (stat): 18546 (bsolo_lpr) R 18545 7876 7672 0 -1 0 176526 0 0 0 46529 470 0 0 25 0 1 0 669640139 10530816 1903 4294967295 134512640 134714508 3221221792 3221220104 1074138144 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2571 1903 1111 63 0 2508 0
vsize: 10284
[startup+480.052 s]
Raw data (loadavg): 0.99 1.00 0.95 2/53 18546
Raw data (stat): 18546 (bsolo_lpr) R 18545 7876 7672 0 -1 0 180505 0 0 0 47518 481 0 0 25 0 1 0 669640139 10584064 1916 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2584 1916 1111 63 0 2521 0
vsize: 10336
[startup+490.052 s]
Raw data (loadavg): 0.99 1.00 0.95 2/53 18546
Raw data (stat): 18546 (bsolo_lpr) R 18545 7876 7672 0 -1 0 184112 0 0 0 48508 491 0 0 25 0 1 0 669640139 10670080 1937 4294967295 134512640 134714508 3221221792 3221220124 1073971880 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2605 1937 1111 63 0 2542 0
vsize: 10420
[startup+500.053 s]
Raw data (loadavg): 0.99 1.00 0.95 2/53 18546
Raw data (stat): 18546 (bsolo_lpr) R 18545 7876 7672 0 -1 0 187912 0 0 0 49497 502 0 0 25 0 1 0 669640139 10641408 1930 4294967295 134512640 134714508 3221221792 3221219936 1074153822 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2598 1930 1111 63 0 2535 0
vsize: 10392
[startup+510.053 s]
Raw data (loadavg): 0.99 1.00 0.95 2/53 18546
Raw data (stat): 18546 (bsolo_lpr) R 18545 7876 7672 0 -1 0 191574 0 0 0 50488 512 0 0 25 0 1 0 669640139 10686464 1941 4294967295 134512640 134714508 3221221792 3221219368 1077410163 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2609 1941 1111 63 0 2546 0
vsize: 10436
[startup+520.054 s]
Raw data (loadavg): 0.99 1.00 0.95 2/53 18546
Raw data (stat): 18546 (bsolo_lpr) R 18545 7876 7672 0 -1 0 195602 0 0 0 51477 522 0 0 25 0 1 0 669640139 12673024 2113 4294967295 134512640 134714508 3221221792 3221218032 1075115768 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3094 2113 1111 63 0 3031 0
vsize: 12376
[startup+530.055 s]
Raw data (loadavg): 0.99 1.00 0.95 2/53 18546
Raw data (stat): 18546 (bsolo_lpr) R 18545 7876 7672 0 -1 0 199311 0 0 0 52468 531 0 0 25 0 1 0 669640139 10756096 1958 4294967295 134512640 134714508 3221221792 3221219952 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2626 1958 1111 63 0 2563 0
vsize: 10504
[startup+540.056 s]
Raw data (loadavg): 0.99 1.00 0.95 2/53 18546
Raw data (stat): 18546 (bsolo_lpr) R 18545 7876 7672 0 -1 0 202978 0 0 0 53458 541 0 0 25 0 1 0 669640139 12152832 1989 4294967295 134512640 134714508 3221221792 3221218448 1075967895 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2967 1989 1111 63 0 2904 0
vsize: 11868
[startup+550.057 s]
Raw data (loadavg): 0.99 1.00 0.95 2/53 18546
Raw data (stat): 18546 (bsolo_lpr) R 18545 7876 7672 0 -1 0 206678 0 0 0 54449 551 0 0 25 0 1 0 669640139 12369920 2020 4294967295 134512640 134714508 3221221792 3221217952 1075090563 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3020 2020 1111 63 0 2957 0
vsize: 12080
[startup+560.057 s]
Raw data (loadavg): 0.99 1.00 0.95 2/53 18546
Raw data (stat): 18546 (bsolo_lpr) R 18545 7876 7672 0 -1 0 210334 0 0 0 55439 561 0 0 25 0 1 0 669640139 12410880 2043 4294967295 134512640 134714508 3221221792 3221218792 1077410279 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3030 2043 1111 63 0 2967 0
vsize: 12120
[startup+570.059 s]
Raw data (loadavg): 0.99 1.00 0.95 2/53 18546
Raw data (stat): 18546 (bsolo_lpr) R 18545 7876 7672 0 -1 0 213376 0 0 0 56429 571 0 0 25 0 1 0 669640139 10883072 1989 4294967295 134512640 134714508 3221221792 3221220192 1074153800 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2657 1989 1111 63 0 2594 0
vsize: 10628
[startup+580.06 s]
Raw data (loadavg): 0.99 1.00 0.95 2/53 18546
Raw data (stat): 18546 (bsolo_lpr) R 18545 7876 7672 0 -1 0 216782 0 0 0 57420 580 0 0 25 0 1 0 669640139 10964992 2009 4294967295 134512640 134714508 3221221792 3221220192 1074153792 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2677 2009 1111 63 0 2614 0
vsize: 10708
[startup+590.06 s]
Raw data (loadavg): 0.99 1.00 0.95 2/53 18546
Raw data (stat): 18546 (bsolo_lpr) R 18545 7876 7672 0 -1 0 220168 0 0 0 58411 589 0 0 25 0 1 0 669640139 11059200 2032 4294967295 134512640 134714508 3221221792 3221220096 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2700 2032 1111 63 0 2637 0
vsize: 10800
[startup+600.06 s]
Raw data (loadavg): 0.99 1.00 0.95 2/53 18546
Raw data (stat): 18546 (bsolo_lpr) R 18545 7876 7672 0 -1 0 223409 0 0 0 59403 597 0 0 25 0 1 0 669640139 11059200 2032 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2700 2032 1111 63 0 2637 0
vsize: 10800
[startup+610.061 s]
Raw data (loadavg): 0.99 1.00 0.95 2/53 18546
Raw data (stat): 18546 (bsolo_lpr) R 18545 7876 7672 0 -1 0 226900 0 0 0 60395 605 0 0 25 0 1 0 669640139 13094912 2179 4294967295 134512640 134714508 3221221792 3221218864 1074867320 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3197 2179 1111 63 0 3134 0
vsize: 12788
[startup+620.062 s]
Raw data (loadavg): 0.99 1.00 0.95 2/53 18546
Raw data (stat): 18546 (bsolo_lpr) R 18545 7876 7672 0 -1 0 230355 0 0 0 61385 615 0 0 25 0 1 0 669640139 11059200 2032 4294967295 134512640 134714508 3221221792 3221220192 1074153786 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2700 2032 1111 63 0 2637 0
vsize: 10800
[startup+630.062 s]
Raw data (loadavg): 0.99 1.00 0.95 2/53 18546
Raw data (stat): 18546 (bsolo_lpr) R 18545 7876 7672 0 -1 0 233985 0 0 0 62376 625 0 0 25 0 1 0 669640139 11059200 2032 4294967295 134512640 134714508 3221221792 3221220064 1074206180 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2700 2032 1111 63 0 2637 0
vsize: 10800
[startup+640.063 s]
Raw data (loadavg): 0.99 1.00 0.95 2/53 18546
Raw data (stat): 18546 (bsolo_lpr) R 18545 7876 7672 0 -1 0 237915 0 0 0 63367 634 0 0 25 0 1 0 669640139 11059200 2032 4294967295 134512640 134714508 3221221792 3221219816 1077380592 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2700 2032 1111 63 0 2637 0
vsize: 10800
[startup+650.064 s]
Raw data (loadavg): 0.99 1.00 0.95 2/53 18546
Raw data (stat): 18546 (bsolo_lpr) R 18545 7876 7672 0 -1 0 241585 0 0 0 64357 644 0 0 25 0 1 0 669640139 12808192 2186 4294967295 134512640 134714508 3221221792 3221218560 1076083615 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3127 2186 1111 63 0 3064 0
vsize: 12508
[startup+660.065 s]
Raw data (loadavg): 0.99 1.00 0.95 2/53 18546
Raw data (stat): 18546 (bsolo_lpr) R 18545 7876 7672 0 -1 0 244734 0 0 0 65350 652 0 0 25 0 1 0 669640139 11132928 2050 4294967295 134512640 134714508 3221221792 3221220424 134543552 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2718 2050 1111 63 0 2655 0
vsize: 10872
[startup+670.067 s]
Raw data (loadavg): 0.99 1.00 0.95 2/53 18546
Raw data (stat): 18546 (bsolo_lpr) R 18545 7876 7672 0 -1 0 248160 0 0 0 66341 661 0 0 25 0 1 0 669640139 12722176 2113 4294967295 134512640 134714508 3221221792 3221218128 1075113493 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3106 2113 1111 63 0 3043 0
vsize: 12424
[startup+680.067 s]
Raw data (loadavg): 0.99 1.00 0.95 2/53 18546
Raw data (stat): 18546 (bsolo_lpr) R 18545 7876 7672 0 -1 0 251859 0 0 0 67331 670 0 0 25 0 1 0 669640139 11165696 2058 4294967295 134512640 134714508 3221221792 3221220136 1074206925 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2726 2058 1111 63 0 2663 0
vsize: 10904
[startup+690.068 s]
Raw data (loadavg): 0.99 1.00 0.95 2/53 18546
Raw data (stat): 18546 (bsolo_lpr) R 18545 7876 7672 0 -1 0 255290 0 0 0 68321 680 0 0 25 0 1 0 669640139 11223040 2072 4294967295 134512640 134714508 3221221792 3221220192 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2740 2072 1111 63 0 2677 0
vsize: 10960
[startup+700.069 s]
Raw data (loadavg): 0.99 1.00 0.95 2/53 18546
Raw data (stat): 18546 (bsolo_lpr) R 18545 7876 7672 0 -1 0 259031 0 0 0 69310 692 0 0 25 0 1 0 669640139 12890112 2177 4294967295 134512640 134714508 3221221792 3221217848 1074789686 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3147 2177 1111 63 0 3084 0
vsize: 12588
[startup+710.07 s]
Raw data (loadavg): 0.99 1.00 0.95 2/53 18546
Raw data (stat): 18546 (bsolo_lpr) R 18545 7876 7672 0 -1 0 263138 0 0 0 70300 702 0 0 25 0 1 0 669640139 11603968 2111 4294967295 134512640 134714508 3221221792 3221219616 1075823337 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2833 2111 1111 63 0 2770 0
vsize: 11332
[startup+720.071 s]
Raw data (loadavg): 0.99 1.00 0.95 2/53 18546
Raw data (stat): 18546 (bsolo_lpr) R 18545 7876 7672 0 -1 0 267320 0 0 0 71288 714 0 0 25 0 1 0 669640139 12976128 2178 4294967295 134512640 134714508 3221221792 3221217876 1075964393 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3168 2178 1111 63 0 3105 0
vsize: 12672
[startup+730.072 s]
Raw data (loadavg): 0.99 1.00 0.95 2/53 18546
Raw data (stat): 18546 (bsolo_lpr) R 18545 7876 7672 0 -1 0 271041 0 0 0 72278 725 0 0 25 0 1 0 669640139 11329536 2098 4294967295 134512640 134714508 3221221792 3221220192 1074153800 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2766 2098 1111 63 0 2703 0
vsize: 11064
[startup+740.071 s]
Raw data (loadavg): 0.99 1.00 0.95 2/53 18546
Raw data (stat): 18546 (bsolo_lpr) R 18545 7876 7672 0 -1 0 274424 0 0 0 73268 735 0 0 25 0 1 0 669640139 13062144 2238 4294967295 134512640 134714508 3221221792 3221218232 1077410205 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3189 2238 1111 63 0 3126 0
vsize: 12756
[startup+750.072 s]
Raw data (loadavg): 0.99 1.00 0.95 2/53 18546
Raw data (stat): 18546 (bsolo_lpr) R 18545 7876 7672 0 -1 0 278190 0 0 0 74257 745 0 0 25 0 1 0 669640139 11599872 2164 4294967295 134512640 134714508 3221221792 3221220420 134649040 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2832 2164 1111 63 0 2769 0
vsize: 11328
[startup+760.073 s]
Raw data (loadavg): 0.99 1.00 0.95 2/53 18546
Raw data (stat): 18546 (bsolo_lpr) R 18545 7876 7672 0 -1 0 281917 0 0 0 75246 757 0 0 25 0 1 0 669640139 11534336 2148 4294967295 134512640 134714508 3221221792 3221220420 134543092 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2816 2148 1111 63 0 2753 0
vsize: 11264
[startup+770.074 s]
Raw data (loadavg): 1.07 1.02 0.95 2/54 18578
Raw data (stat): 18546 (bsolo_lpr) R 18545 7876 7672 0 -1 0 285791 0 0 0 76235 768 0 0 25 0 1 0 669640139 11501568 2140 4294967295 134512640 134714508 3221221792 3221220104 1074138166 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2808 2140 1111 63 0 2745 0
vsize: 11232
[startup+780.074 s]
Raw data (loadavg): 1.06 1.02 0.95 2/54 18578
Raw data (stat): 18546 (bsolo_lpr) R 18545 7876 7672 0 -1 0 290441 0 0 0 77225 778 0 0 25 0 1 0 669640139 11530240 2147 4294967295 134512640 134714508 3221221792 3221220144 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2815 2147 1111 63 0 2752 0
vsize: 11260
[startup+790.074 s]
Raw data (loadavg): 1.05 1.01 0.95 2/54 18578
Raw data (stat): 18546 (bsolo_lpr) R 18545 7876 7672 0 -1 0 294241 0 0 0 78215 788 0 0 25 0 1 0 669640139 11530240 2147 4294967295 134512640 134714508 3221221792 3221220192 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2815 2147 1111 63 0 2752 0
vsize: 11260
[startup+800.074 s]
Raw data (loadavg): 1.04 1.01 0.95 2/54 18578
Raw data (stat): 18546 (bsolo_lpr) R 18545 7876 7672 0 -1 0 298202 0 0 0 79204 799 0 0 25 0 1 0 669640139 13443072 2329 4294967295 134512640 134714508 3221221792 3221218128 1075113481 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3282 2329 1111 63 0 3219 0
vsize: 13128
[startup+810.075 s]
Raw data (loadavg): 1.04 1.01 0.95 2/54 18578
Raw data (stat): 18546 (bsolo_lpr) R 18545 7876 7672 0 -1 0 302371 0 0 0 80193 811 0 0 25 0 1 0 669640139 13660160 2356 4294967295 134512640 134714508 3221221792 3221218448 1075966250 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3335 2356 1111 63 0 3272 0
vsize: 13340
[startup+820.075 s]
Raw data (loadavg): 1.03 1.01 0.95 2/54 18578
Raw data (stat): 18546 (bsolo_lpr) R 18545 7876 7672 0 -1 0 306403 0 0 0 81183 821 0 0 25 0 1 0 669640139 13447168 2296 4294967295 134512640 134714508 3221221792 3221218064 1074960876 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3283 2296 1111 63 0 3220 0
vsize: 13132
[startup+830.075 s]
Raw data (loadavg): 1.03 1.01 0.95 2/54 18578
Raw data (stat): 18546 (bsolo_lpr) R 18545 7876 7672 0 -1 0 310319 0 0 0 82172 832 0 0 25 0 1 0 669640139 11636736 2173 4294967295 134512640 134714508 3221221792 3221220104 1074138162 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2841 2173 1111 63 0 2778 0
vsize: 11364
[startup+840.076 s]
Raw data (loadavg): 1.02 1.01 0.95 2/54 18578
Raw data (stat): 18546 (bsolo_lpr) R 18545 7876 7672 0 -1 0 314753 0 0 0 83160 844 0 0 25 0 1 0 669640139 11743232 2199 4294967295 134512640 134714508 3221221792 3221220192 1074153786 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2867 2199 1111 63 0 2804 0
vsize: 11468
[startup+850.076 s]
Raw data (loadavg): 1.02 1.01 0.95 2/54 18578
Raw data (stat): 18546 (bsolo_lpr) R 18545 7876 7672 0 -1 0 320771 0 0 0 84145 859 0 0 25 0 1 0 669640139 13332480 2299 4294967295 134512640 134714508 3221221792 3221218336 1075088566 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3255 2299 1111 63 0 3192 0
vsize: 13020
[startup+860.076 s]
Raw data (loadavg): 1.01 1.01 0.95 2/54 18578
Raw data (stat): 18546 (bsolo_lpr) R 18545 7876 7672 0 -1 0 324944 0 0 0 85133 870 0 0 25 0 1 0 669640139 11743232 2199 4294967295 134512640 134714508 3221221792 3221220008 1074138162 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2867 2199 1111 63 0 2804 0
vsize: 11468
[startup+870.077 s]
Raw data (loadavg): 1.01 1.01 0.95 2/54 18578
Raw data (stat): 18546 (bsolo_lpr) R 18545 7876 7672 0 -1 0 331662 0 0 0 86117 887 0 0 25 0 1 0 669640139 11743232 2199 4294967295 134512640 134714508 3221221792 3221220096 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2867 2199 1111 63 0 2804 0
vsize: 11468
[startup+880.077 s]
Raw data (loadavg): 1.01 1.01 0.95 2/54 18578
Raw data (stat): 18546 (bsolo_lpr) R 18545 7876 7672 0 -1 0 335279 0 0 0 87108 896 0 0 25 0 1 0 669640139 13479936 2475 4294967295 134512640 134714508 3221221792 3221217952 1075093350 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3291 2475 1111 63 0 3228 0
vsize: 13164
[startup+890.077 s]
Raw data (loadavg): 1.01 1.00 0.95 2/54 18578
Raw data (stat): 18546 (bsolo_lpr) R 18545 7876 7672 0 -1 0 338233 0 0 0 88099 905 0 0 25 0 1 0 669640139 11984896 2258 4294967295 134512640 134714508 3221221792 3221220104 1074138155 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2926 2258 1111 63 0 2863 0
vsize: 11704
[startup+900.078 s]
Raw data (loadavg): 1.01 1.00 0.95 2/54 18578
Raw data (stat): 18546 (bsolo_lpr) R 18545 7876 7672 0 -1 0 341288 0 0 0 89092 913 0 0 25 0 1 0 669640139 13860864 2467 4294967295 134512640 134714508 3221221792 3221218176 1074973180 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3384 2467 1111 63 0 3321 0
vsize: 13536
[startup+910.078 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18578
Raw data (stat): 18546 (bsolo_lpr) R 18545 7876 7672 0 -1 0 344441 0 0 0 90083 921 0 0 25 0 1 0 669640139 13737984 2374 4294967295 134512640 134714508 3221221792 3221217920 1075561094 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3354 2374 1111 63 0 3291 0
vsize: 13416
[startup+920.079 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18578
Raw data (stat): 18546 (bsolo_lpr) R 18545 7876 7672 0 -1 0 347247 0 0 0 91075 930 0 0 25 0 1 0 669640139 11984896 2258 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2926 2258 1111 63 0 2863 0
vsize: 11704
[startup+930.079 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18578
Raw data (stat): 18546 (bsolo_lpr) R 18545 7876 7672 0 -1 0 350242 0 0 0 92067 938 0 0 25 0 1 0 669640139 12124160 2292 4294967295 134512640 134714508 3221221792 3221220192 1074153815 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2960 2292 1111 63 0 2897 0
vsize: 11840
[startup+940.079 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18578
Raw data (stat): 18546 (bsolo_lpr) R 18545 7876 7672 0 -1 0 353445 0 0 0 93058 947 0 0 25 0 1 0 669640139 13516800 2344 4294967295 134512640 134714508 3221221792 3221218112 1075895196 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3300 2344 1111 63 0 3237 0
vsize: 13200
[startup+950.079 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18578
Raw data (stat): 18546 (bsolo_lpr) R 18545 7876 7672 0 -1 0 356686 0 0 0 94049 956 0 0 25 0 1 0 669640139 12124160 2292 4294967295 134512640 134714508 3221221792 3221220064 1074056202 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2960 2292 1111 63 0 2897 0
vsize: 11840
[startup+960.08 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18578
Raw data (stat): 18546 (bsolo_lpr) R 18545 7876 7672 0 -1 0 359771 0 0 0 95041 964 0 0 25 0 1 0 669640139 13668352 2359 4294967295 134512640 134714508 3221221792 3221218064 1074960847 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3337 2359 1111 63 0 3274 0
vsize: 13348
[startup+970.081 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18578
Raw data (stat): 18546 (bsolo_lpr) R 18545 7876 7672 0 -1 0 362921 0 0 0 96033 972 0 0 25 0 1 0 669640139 14053376 2491 4294967295 134512640 134714508 3221221792 3221218448 1075968600 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3431 2491 1111 63 0 3368 0
vsize: 13724
[startup+980.081 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18578
Raw data (stat): 18546 (bsolo_lpr) R 18545 7876 7672 0 -1 0 365852 0 0 0 97027 979 0 0 25 0 1 0 669640139 12173312 2304 4294967295 134512640 134714508 3221221792 3221220192 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2972 2304 1111 63 0 2909 0
vsize: 11888
[startup+990.081 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18578
Raw data (stat): 18546 (bsolo_lpr) R 18545 7876 7672 0 -1 0 368588 0 0 0 98019 988 0 0 25 0 1 0 669640139 12173312 2304 4294967295 134512640 134714508 3221221792 3221220192 1074153792 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2972 2304 1111 63 0 2909 0
vsize: 11888
[startup+1000.08 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18578
Raw data (stat): 18546 (bsolo_lpr) R 18545 7876 7672 0 -1 0 371565 0 0 0 99011 996 0 0 25 0 1 0 669640139 13955072 2447 4294967295 134512640 134714508 3221221792 3221218324 1075863612 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3407 2447 1111 63 0 3344 0
vsize: 13628
[startup+1010.08 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18578
Raw data (stat): 18546 (bsolo_lpr) R 18545 7876 7672 0 -1 0 374699 0 0 0 100002 1004 0 0 25 0 1 0 669640139 13742080 2378 4294967295 134512640 134714508 3221221792 3221218032 1075115768 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3355 2379 1111 63 0 3292 0
vsize: 13420
[startup+1020.08 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18578
Raw data (stat): 18546 (bsolo_lpr) R 18545 7876 7672 0 -1 0 378271 0 0 0 100993 1013 0 0 25 0 1 0 669640139 12234752 2319 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2987 2319 1111 63 0 2924 0
vsize: 11948
[startup+1030.08 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18578
Raw data (stat): 18546 (bsolo_lpr) R 18545 7876 7672 0 -1 0 381769 0 0 0 101984 1023 0 0 25 0 1 0 669640139 13971456 2428 4294967295 134512640 134714508 3221221792 3221218912 1074837205 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3411 2428 1111 63 0 3348 0
vsize: 13644
[startup+1040.08 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18578
Raw data (stat): 18546 (bsolo_lpr) R 18545 7876 7672 0 -1 0 385619 0 0 0 102972 1036 0 0 25 0 1 0 669640139 13905920 2432 4294967295 134512640 134714508 3221221792 3221218852 1074617631 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3395 2432 1111 63 0 3332 0
vsize: 13580
[startup+1050.08 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18578
Raw data (stat): 18546 (bsolo_lpr) R 18545 7876 7672 0 -1 0 389344 0 0 0 103961 1047 0 0 25 0 1 0 669640139 13955072 2417 4294967295 134512640 134714508 3221221792 3221218128 1075113628 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3407 2417 1111 63 0 3344 0
vsize: 13628
[startup+1060.08 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18578
Raw data (stat): 18546 (bsolo_lpr) R 18545 7876 7672 0 -1 0 393057 0 0 0 104951 1057 0 0 25 0 1 0 669640139 14073856 2450 4294967295 134512640 134714508 3221221792 3221217884 1075663518 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3436 2450 1111 63 0 3373 0
vsize: 13744
[startup+1070.08 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18578
Raw data (stat): 18546 (bsolo_lpr) R 18545 7876 7672 0 -1 0 396630 0 0 0 105941 1066 0 0 25 0 1 0 669640139 14131200 2485 4294967295 134512640 134714508 3221221792 3221218032 1075115734 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3450 2485 1111 63 0 3387 0
vsize: 13800
[startup+1080.09 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18578
Raw data (stat): 18546 (bsolo_lpr) R 18545 7876 7672 0 -1 0 400185 0 0 0 106932 1076 0 0 25 0 1 0 669640139 12578816 2403 4294967295 134512640 134714508 3221221792 3221220192 1074153792 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3071 2403 1111 63 0 3008 0
vsize: 12284
[startup+1090.09 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18578
Raw data (stat): 18546 (bsolo_lpr) R 18545 7876 7672 0 -1 0 403815 0 0 0 107922 1087 0 0 25 0 1 0 669640139 14139392 2466 4294967295 134512640 134714508 3221221792 3221218020 1075115158 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3452 2466 1111 63 0 3389 0
vsize: 13808
[startup+1100.09 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18578
Raw data (stat): 18546 (bsolo_lpr) R 18545 7876 7672 0 -1 0 407483 0 0 0 108911 1097 0 0 25 0 1 0 669640139 14319616 2546 4294967295 134512640 134714508 3221221792 3221218032 1075115715 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3496 2546 1111 63 0 3433 0
vsize: 13984
[startup+1110.09 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18578
Raw data (stat): 18546 (bsolo_lpr) R 18545 7876 7672 0 -1 0 411332 0 0 0 109900 1109 0 0 25 0 1 0 669640139 14348288 2533 4294967295 134512640 134714508 3221221792 3221217876 1075964437 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3503 2533 1111 63 0 3440 0
vsize: 14012
[startup+1120.09 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18578
Raw data (stat): 18546 (bsolo_lpr) R 18545 7876 7672 0 -1 0 415064 0 0 0 110891 1118 0 0 25 0 1 0 669640139 14548992 2588 4294967295 134512640 134714508 3221221792 3221217608 1074788567 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3552 2588 1111 63 0 3489 0
vsize: 14208
[startup+1130.09 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18578
Raw data (stat): 18546 (bsolo_lpr) R 18545 7876 7672 0 -1 0 418464 0 0 0 111882 1127 0 0 25 0 1 0 669640139 12726272 2439 4294967295 134512640 134714508 3221221792 3221220192 1074153779 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3107 2439 1111 63 0 3044 0
vsize: 12428
[startup+1140.09 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18578
Raw data (stat): 18546 (bsolo_lpr) R 18545 7876 7672 0 -1 0 421829 0 0 0 112872 1137 0 0 25 0 1 0 669640139 12779520 2452 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3120 2452 1111 63 0 3057 0
vsize: 12480
[startup+1150.09 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18578
Raw data (stat): 18546 (bsolo_lpr) R 18545 7876 7672 0 -1 0 425607 0 0 0 113862 1147 0 0 25 0 1 0 669640139 12763136 2448 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3116 2448 1111 63 0 3053 0
vsize: 12464
[startup+1160.09 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18578
Raw data (stat): 18546 (bsolo_lpr) R 18545 7876 7672 0 -1 0 429072 0 0 0 114855 1155 0 0 25 0 1 0 669640139 14426112 2543 4294967295 134512640 134714508 3221221792 3221217952 1074794536 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3522 2543 1111 63 0 3459 0
vsize: 14088
[startup+1170.09 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18578
Raw data (stat): 18546 (bsolo_lpr) R 18545 7876 7672 0 -1 0 432876 0 0 0 115843 1166 0 0 25 0 1 0 669640139 12840960 2467 4294967295 134512640 134714508 3221221792 3221220036 1077374180 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3135 2467 1111 63 0 3072 0
vsize: 12540
[startup+1175.1 s]
Raw data (loadavg): 1.00 1.00 0.95 1/53 18578
Raw data (stat): 18546 (bsolo_lpr) R 18545 7876 7672 0 -1 0 432876 0 0 0 115843 1166 0 0 25 0 1 0 669640139 12840960 2467 4294967295 134512640 134714508 3221221792 3221220036 1077374180 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3135 2467 1111 63 0 3072 0
vsize: 0

Child status: 10
Real time (s): 1175.1
CPU time (s): 1175.12
CPU user time (s): 1163.39
CPU system time (s): 11.7252
CPU usage (%): 100.001
Max. virtual memory (Kb): 14208
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	244
#### END VERIFIER DATA ####