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 39524

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-06-07 11:49:42 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27590 boxname=wulflinc5 idbench=148 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  4c322f6b4009d273fbdff10efcd1c54f  /oldhome/oroussel/tmp/wulflinc5/normalized-ii32b2.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc5/normalized-ii32b2.opb
IDLAUNCH: 27590
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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	: 2
cpu MHz		: 451.007
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	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        344736 kB
Buffers:         34576 kB
Cached:         630712 kB
SwapCached:        568 kB
Active:          57956 kB
Inactive:       609420 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        344484 kB
SwapTotal:     2097136 kB
SwapFree:      2095632 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5160 kB
Slab:            16796 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-07 12:09:18 (client local time) WITH STATUS 10 IN 1175.28 SECONDS
stats: 27590 0 1175.28 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.729 s
c Initial Lower Bound: 160
c Lower Bound Elapsed time: 0.38975
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: 261 @ 6.355
c NEW SOLUTION FOUND: 260 @ 6.357
c NEW SOLUTION FOUND: 259 @ 6.365
c NEW SOLUTION FOUND: 258 @ 11.702
c NEW SOLUTION FOUND: 253 @ 11.759
c NEW SOLUTION FOUND: 244 @ 108.477
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.27 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
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.92 0.95 0.90 1/54 4793
Raw data (stat): 4793 (runsolver) R 4792 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 892761796 884736 94 4294967295 134512640 135332820 3221224480 3221219660 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0002 s]
Raw data (loadavg): 0.93 0.96 0.91 2/54 4793
Raw data (stat): 4793 (bsolo_lpr-v2) R 4792 7266 7265 0 -1 0 4160 0 0 0 985 12 0 0 25 0 1 0 892761796 10276864 1590 4294967295 134512640 134716908 3221224592 3221220636 1074873512 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2509 1590 1111 63 0 2446 0
vsize: 10036
[startup+20.0203 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 4793
Raw data (stat): 4793 (bsolo_lpr-v2) R 4792 7266 7265 0 -1 0 8743 0 0 0 1974 24 0 0 25 0 1 0 892761796 10678272 1682 4294967295 134512640 134716908 3221224592 3221221080 1077410163 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2607 1682 1111 63 0 2544 0
vsize: 10428
[startup+30.0356 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 4793
Raw data (stat): 4793 (bsolo_lpr-v2) R 4792 7266 7265 0 -1 0 13217 0 0 0 2964 36 0 0 25 0 1 0 892761796 9220096 1574 4294967295 134512640 134716908 3221224592 3221223248 134652244 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2251 1574 1111 63 0 2188 0
vsize: 9004
[startup+40.0361 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 4793
Raw data (stat): 4793 (bsolo_lpr-v2) R 4792 7266 7265 0 -1 0 16959 0 0 0 3954 45 0 0 25 0 1 0 892761796 10489856 1612 4294967295 134512640 134716908 3221224592 3221220820 1075115003 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2561 1612 1111 63 0 2498 0
vsize: 10244
[startup+50.0376 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 4793
Raw data (stat): 4793 (bsolo_lpr-v2) R 4792 7266 7265 0 -1 0 22642 0 0 0 4941 59 0 0 25 0 1 0 892761796 9220096 1574 4294967295 134512640 134716908 3221224592 3221222904 1074138155 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2251 1574 1111 63 0 2188 0
vsize: 9004
[startup+60.0379 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 4793
Raw data (stat): 4793 (bsolo_lpr-v2) R 4792 7266 7265 0 -1 0 28023 0 0 0 5928 72 0 0 25 0 1 0 892761796 10489856 1616 4294967295 134512640 134716908 3221224592 3221221100 1075110596 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2561 1616 1111 63 0 2498 0
vsize: 10244
[startup+70.0391 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 4793
Raw data (stat): 4793 (bsolo_lpr-v2) R 4792 7266 7265 0 -1 0 32126 0 0 0 6918 82 0 0 25 0 1 0 892761796 10530816 1629 4294967295 134512640 134716908 3221224592 3221220832 1075115696 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2571 1629 1111 63 0 2508 0
vsize: 10284
[startup+80.0398 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 4793
Raw data (stat): 4793 (bsolo_lpr-v2) R 4792 7266 7265 0 -1 0 36483 0 0 0 7906 94 0 0 25 0 1 0 892761796 10776576 1668 4294967295 134512640 134716908 3221224592 3221220864 1074961264 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2631 1668 1111 63 0 2568 0
vsize: 10524
[startup+90.0391 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 4793
Raw data (stat): 4793 (bsolo_lpr-v2) R 4792 7266 7265 0 -1 0 40820 0 0 0 8893 106 0 0 25 0 1 0 892761796 9584640 1622 4294967295 134512640 134716908 3221224592 3221222240 1075818322 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2340 1622 1111 63 0 2277 0
vsize: 9360
[startup+100.041 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 4793
Raw data (stat): 4793 (bsolo_lpr-v2) R 4792 7266 7265 0 -1 0 44867 0 0 0 9884 115 0 0 25 0 1 0 892761796 11083776 1790 4294967295 134512640 134716908 3221224592 3221221712 1074834297 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2706 1790 1111 63 0 2643 0
vsize: 10824
[startup+110.041 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 4793
Raw data (stat): 4793 (bsolo_lpr-v2) R 4792 7266 7265 0 -1 0 49755 0 0 0 10871 129 0 0 25 0 1 0 892761796 9592832 1665 4294967295 134512640 134716908 3221224592 3221222992 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2342 1665 1111 63 0 2279 0
vsize: 9368
[startup+120.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4793
Raw data (stat): 4793 (bsolo_lpr-v2) R 4792 7266 7265 0 -1 0 53723 0 0 0 11861 139 0 0 25 0 1 0 892761796 11042816 1766 4294967295 134512640 134716908 3221224592 3221221248 1075967953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2696 1766 1111 63 0 2633 0
vsize: 10784
[startup+130.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4793
Raw data (stat): 4793 (bsolo_lpr-v2) R 4792 7266 7265 0 -1 0 57469 0 0 0 12851 149 0 0 25 0 1 0 892761796 9592832 1665 4294967295 134512640 134716908 3221224592 3221222992 1074153773 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2342 1665 1111 63 0 2279 0
vsize: 9368
[startup+140.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4793
Raw data (stat): 4793 (bsolo_lpr-v2) R 4792 7266 7265 0 -1 0 61889 0 0 0 13840 160 0 0 25 0 1 0 892761796 9592832 1665 4294967295 134512640 134716908 3221224592 3221222992 1074153786 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2342 1665 1111 63 0 2279 0
vsize: 9368
[startup+150.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4793
Raw data (stat): 4793 (bsolo_lpr-v2) R 4792 7266 7265 0 -1 0 66046 0 0 0 14830 170 0 0 25 0 1 0 892761796 9592832 1665 4294967295 134512640 134716908 3221224592 3221223264 134652561 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2342 1665 1111 63 0 2279 0
vsize: 9368
[startup+160.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4793
Raw data (stat): 4793 (bsolo_lpr-v2) R 4792 7266 7265 0 -1 0 69660 0 0 0 15821 179 0 0 25 0 1 0 892761796 11489280 1872 4294967295 134512640 134716908 3221224592 3221221712 1074834321 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2805 1872 1111 63 0 2742 0
vsize: 11220
[startup+170.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4793
Raw data (stat): 4793 (bsolo_lpr-v2) R 4792 7266 7265 0 -1 0 73416 0 0 0 16809 190 0 0 25 0 1 0 892761796 9707520 1693 4294967295 134512640 134716908 3221224592 3221222992 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2370 1693 1111 63 0 2307 0
vsize: 9480
[startup+180.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4793
Raw data (stat): 4793 (bsolo_lpr-v2) R 4792 7266 7265 0 -1 0 78770 0 0 0 17796 203 0 0 25 0 1 0 892761796 11128832 1726 4294967295 134512640 134716908 3221224592 3221220736 1074970267 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2717 1726 1111 63 0 2654 0
vsize: 10868
[startup+190.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4793
Raw data (stat): 4793 (bsolo_lpr-v2) R 4792 7266 7265 0 -1 0 83827 0 0 0 18783 216 0 0 25 0 1 0 892761796 9764864 1707 4294967295 134512640 134716908 3221224592 3221222904 1074138144 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2384 1707 1111 63 0 2321 0
vsize: 9536
[startup+200.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4793
Raw data (stat): 4793 (bsolo_lpr-v2) R 4792 7266 7265 0 -1 0 87746 0 0 0 19773 226 0 0 25 0 1 0 892761796 11493376 1874 4294967295 134512640 134716908 3221224592 3221220820 1075114926 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2806 1874 1111 63 0 2743 0
vsize: 11224
[startup+210.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4793
Raw data (stat): 4793 (bsolo_lpr-v2) R 4792 7266 7265 0 -1 0 91217 0 0 0 20764 235 0 0 25 0 1 0 892761796 9961472 1727 4294967295 134512640 134716908 3221224592 3221222240 1075817957 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2432 1727 1111 63 0 2369 0
vsize: 9728
[startup+220.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4793
Raw data (stat): 4793 (bsolo_lpr-v2) R 4792 7266 7265 0 -1 0 94860 0 0 0 21756 244 0 0 25 0 1 0 892761796 11239424 1747 4294967295 134512640 134716908 3221224592 3221221632 1075971414 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2744 1752 1111 63 0 2681 0
vsize: 10976
[startup+230.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4793
Raw data (stat): 4793 (bsolo_lpr-v2) R 4792 7266 7265 0 -1 0 98160 0 0 0 22749 251 0 0 25 0 1 0 892761796 9805824 1719 4294967295 134512640 134716908 3221224592 3221223224 134536665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2394 1719 1111 63 0 2331 0
vsize: 9576
[startup+240.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4793
Raw data (stat): 4793 (bsolo_lpr-v2) R 4792 7266 7265 0 -1 0 102378 0 0 0 23738 262 0 0 25 0 1 0 892761796 11075584 1743 4294967295 134512640 134716908 3221224592 3221220648 1074789631 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2704 1743 1111 63 0 2641 0
vsize: 10816
[startup+250.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4793
Raw data (stat): 4793 (bsolo_lpr-v2) R 4792 7266 7265 0 -1 0 106225 0 0 0 24730 270 0 0 25 0 1 0 892761796 9805824 1719 4294967295 134512640 134716908 3221224592 3221222992 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2394 1719 1111 63 0 2331 0
vsize: 9576
[startup+260.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4793
Raw data (stat): 4793 (bsolo_lpr-v2) R 4792 7266 7265 0 -1 0 112388 0 0 0 25715 285 0 0 25 0 1 0 892761796 11603968 1875 4294967295 134512640 134716908 3221224592 3221220864 1074961138 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2833 1875 1111 63 0 2770 0
vsize: 11332
[startup+270.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4793
Raw data (stat): 4793 (bsolo_lpr-v2) R 4792 7266 7265 0 -1 0 116793 0 0 0 26706 295 0 0 25 0 1 0 892761796 11104256 1760 4294967295 134512640 134716908 3221224592 3221221248 1075968176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2711 1761 1111 63 0 2648 0
vsize: 10844
[startup+280.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4793
Raw data (stat): 4793 (bsolo_lpr-v2) R 4792 7266 7265 0 -1 0 121186 0 0 0 27696 305 0 0 25 0 1 0 892761796 9834496 1726 4294967295 134512640 134716908 3221224592 3221222592 1074915844 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2401 1726 1111 63 0 2338 0
vsize: 9604
[startup+290.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4793
Raw data (stat): 4793 (bsolo_lpr-v2) R 4792 7266 7265 0 -1 0 126211 0 0 0 28684 317 0 0 25 0 1 0 892761796 9908224 1744 4294967295 134512640 134716908 3221224592 3221223312 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2419 1744 1111 63 0 2356 0
vsize: 9676
[startup+300.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4793
Raw data (stat): 4793 (bsolo_lpr-v2) R 4792 7266 7265 0 -1 0 130418 0 0 0 29673 328 0 0 25 0 1 0 892761796 11309056 1772 4294967295 134512640 134716908 3221224592 3221221248 1075967904 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2761 1772 1111 63 0 2698 0
vsize: 11044
[startup+310.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4793
Raw data (stat): 4793 (bsolo_lpr-v2) R 4792 7266 7265 0 -1 0 135281 0 0 0 30662 340 0 0 25 0 1 0 892761796 9990144 1764 4294967295 134512640 134716908 3221224592 3221222904 1074138162 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2439 1764 1111 63 0 2376 0
vsize: 9756
[startup+320.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4793
Raw data (stat): 4793 (bsolo_lpr-v2) R 4792 7266 7265 0 -1 0 141447 0 0 0 31647 354 0 0 25 0 1 0 892761796 11866112 1941 4294967295 134512640 134716908 3221224592 3221221184 1074885325 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2897 1941 1111 63 0 2834 0
vsize: 11588
[startup+330.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4793
Raw data (stat): 4793 (bsolo_lpr-v2) R 4792 7266 7265 0 -1 0 145263 0 0 0 32638 364 0 0 25 0 1 0 892761796 10031104 1774 4294967295 134512640 134716908 3221224592 3221222992 1074153800 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2449 1774 1111 63 0 2386 0
vsize: 9796
[startup+340.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4793
Raw data (stat): 4793 (bsolo_lpr-v2) R 4792 7266 7265 0 -1 0 149215 0 0 0 33629 373 0 0 25 0 1 0 892761796 11489280 1859 4294967295 134512640 134716908 3221224592 3221220796 1075564192 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2805 1859 1111 63 0 2742 0
vsize: 11220
[startup+350.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4793
Raw data (stat): 4793 (bsolo_lpr-v2) R 4792 7266 7265 0 -1 0 152626 0 0 0 34622 381 0 0 25 0 1 0 892761796 10383360 1851 4294967295 134512640 134716908 3221224592 3221222772 1077782939 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2511 1834 1111 63 0 2448 0
vsize: 10140
[startup+360.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4793
Raw data (stat): 4793 (bsolo_lpr-v2) R 4792 7266 7265 0 -1 0 156399 0 0 0 35613 389 0 0 25 0 1 0 892761796 10465280 1857 4294967295 134512640 134716908 3221224592 3221221784 1074138316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2710 1859 1111 63 0 2647 0
vsize: 10220
[startup+370.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4793
Raw data (stat): 4793 (bsolo_lpr-v2) R 4792 7266 7265 0 -1 0 160125 0 0 0 36605 398 0 0 25 0 1 0 892761796 12197888 2045 4294967295 134512640 134716908 3221224592 3221220720 1075561089 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2978 2045 1111 63 0 2915 0
vsize: 11912
[startup+380.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4793
Raw data (stat): 4793 (bsolo_lpr-v2) R 4792 7266 7265 0 -1 0 163196 0 0 0 37598 405 0 0 25 0 1 0 892761796 10457088 1878 4294967295 134512640 134716908 3221224592 3221222992 1074153786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2553 1878 1111 63 0 2490 0
vsize: 10212
[startup+390.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4793
Raw data (stat): 4793 (bsolo_lpr-v2) R 4792 7266 7265 0 -1 0 166595 0 0 0 38590 413 0 0 25 0 1 0 892761796 11927552 1959 4294967295 134512640 134716908 3221224592 3221220820 1075115000 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2912 1959 1111 63 0 2849 0
vsize: 11648
[startup+400.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4793
Raw data (stat): 4793 (bsolo_lpr-v2) R 4792 7266 7265 0 -1 0 169970 0 0 0 39583 421 0 0 25 0 1 0 892761796 11898880 1962 4294967295 134512640 134716908 3221224592 3221221712 1074834508 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2905 1962 1111 63 0 2842 0
vsize: 11620
[startup+410.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4793
Raw data (stat): 4793 (bsolo_lpr-v2) R 4792 7266 7265 0 -1 0 173599 0 0 0 40576 428 0 0 25 0 1 0 892761796 12009472 1993 4294967295 134512640 134716908 3221224592 3221221184 1074887635 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2932 1993 1111 63 0 2869 0
vsize: 11728
[startup+420.054 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4793
Raw data (stat): 4793 (bsolo_lpr-v2) R 4792 7266 7265 0 -1 0 177533 0 0 0 41565 439 0 0 25 0 1 0 892761796 10465280 1880 4294967295 134512640 134716908 3221224592 3221222988 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2555 1880 1111 63 0 2492 0
vsize: 10220
[startup+430.055 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4793
Raw data (stat): 4793 (bsolo_lpr-v2) R 4792 7266 7265 0 -1 0 181091 0 0 0 42559 446 0 0 25 0 1 0 892761796 10526720 1895 4294967295 134512640 134716908 3221224592 3221222992 1074153669 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2570 1895 1111 63 0 2507 0
vsize: 10280
[startup+440.054 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4793
Raw data (stat): 4793 (bsolo_lpr-v2) R 4792 7266 7265 0 -1 0 184943 0 0 0 43550 454 0 0 25 0 1 0 892761796 12193792 2053 4294967295 134512640 134716908 3221224592 3221220736 1074969943 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2977 2053 1111 63 0 2914 0
vsize: 11908
[startup+450.055 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4793
Raw data (stat): 4793 (bsolo_lpr-v2) R 4792 7266 7265 0 -1 0 188102 0 0 0 44543 462 0 0 25 0 1 0 892761796 10641408 1923 4294967295 134512640 134716908 3221224592 3221222992 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2598 1923 1111 63 0 2535 0
vsize: 10392
[startup+460.055 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4793
Raw data (stat): 4793 (bsolo_lpr-v2) R 4792 7266 7265 0 -1 0 191830 0 0 0 45534 471 0 0 25 0 1 0 892761796 12083200 1958 4294967295 134512640 134716908 3221224592 3221221576 1074831910 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2950 1958 1111 63 0 2887 0
vsize: 11800
[startup+470.055 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4793
Raw data (stat): 4793 (bsolo_lpr-v2) R 4792 7266 7265 0 -1 0 195659 0 0 0 46526 479 0 0 25 0 1 0 892761796 10645504 1924 4294967295 134512640 134716908 3221224592 3221222832 1074153751 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2599 1924 1111 63 0 2536 0
vsize: 10396
[startup+480.055 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4793
Raw data (stat): 4793 (bsolo_lpr-v2) R 4792 7266 7265 0 -1 0 199658 0 0 0 47515 490 0 0 25 0 1 0 892761796 11583488 2019 4294967295 134512640 134716908 3221224592 3221220476 1074788930 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2828 2019 1111 63 0 2765 0
vsize: 11312
[startup+490.055 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4793
Raw data (stat): 4793 (bsolo_lpr-v2) R 4792 7266 7265 0 -1 0 203382 0 0 0 48506 499 0 0 25 0 1 0 892761796 12259328 2016 4294967295 134512640 134716908 3221224592 3221221136 1076047647 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2993 2016 1111 63 0 2930 0
vsize: 11972
[startup+500.056 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4793
Raw data (stat): 4793 (bsolo_lpr-v2) R 4792 7266 7265 0 -1 0 207440 0 0 0 49497 508 0 0 25 0 1 0 892761796 12439552 2102 4294967295 134512640 134716908 3221224592 3221220928 1075113502 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3037 2102 1111 63 0 2974 0
vsize: 12148
[startup+510.055 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4793
Raw data (stat): 4793 (bsolo_lpr-v2) R 4792 7266 7265 0 -1 0 211078 0 0 0 50489 517 0 0 25 0 1 0 892761796 12173312 2024 4294967295 134512640 134716908 3221224592 3221220928 1075113493 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2972 2024 1111 63 0 2909 0
vsize: 11888
[startup+520.057 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4793
Raw data (stat): 4793 (bsolo_lpr-v2) R 4792 7266 7265 0 -1 0 215280 0 0 0 51479 527 0 0 25 0 1 0 892761796 10903552 1987 4294967295 134512640 134716908 3221224592 3221223176 134543600 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2662 1987 1111 63 0 2599 0
vsize: 10648
[startup+530.057 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4793
Raw data (stat): 4793 (bsolo_lpr-v2) R 4792 7266 7265 0 -1 0 218871 0 0 0 52472 534 0 0 25 0 1 0 892761796 10981376 2006 4294967295 134512640 134716908 3221224592 3221222992 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2681 2006 1111 63 0 2618 0
vsize: 10724
[startup+540.057 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4793
Raw data (stat): 4793 (bsolo_lpr-v2) R 4792 7266 7265 0 -1 0 222505 0 0 0 53464 542 0 0 25 0 1 0 892761796 10981376 2006 4294967295 134512640 134716908 3221224592 3221222992 1074153673 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2681 2006 1111 63 0 2618 0
vsize: 10724
[startup+550.057 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4793
Raw data (stat): 4793 (bsolo_lpr-v2) R 4792 7266 7265 0 -1 0 226625 0 0 0 54456 551 0 0 25 0 1 0 892761796 11022336 2016 4294967295 134512640 134716908 3221224592 3221222776 1077377259 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2691 2016 1111 63 0 2628 0
vsize: 10764
[startup+560.056 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4793
Raw data (stat): 4793 (bsolo_lpr-v2) R 4792 7266 7265 0 -1 0 230349 0 0 0 55447 560 0 0 25 0 1 0 892761796 11067392 2027 4294967295 134512640 134716908 3221224592 3221222992 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2702 2027 1111 63 0 2639 0
vsize: 10808
[startup+570.057 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4793
Raw data (stat): 4793 (bsolo_lpr-v2) R 4792 7266 7265 0 -1 0 234244 0 0 0 56437 570 0 0 25 0 1 0 892761796 12533760 2075 4294967295 134512640 134716908 3221224592 3221220656 1075084533 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3060 2075 1111 63 0 2997 0
vsize: 12240
[startup+580.057 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4793
Raw data (stat): 4793 (bsolo_lpr-v2) R 4792 7266 7265 0 -1 0 238031 0 0 0 57428 579 0 0 25 0 1 0 892761796 11145216 2046 4294967295 134512640 134716908 3221224592 3221222776 1077377470 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2721 2046 1111 63 0 2658 0
vsize: 10884
[startup+590.056 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4793
Raw data (stat): 4793 (bsolo_lpr-v2) R 4792 7266 7265 0 -1 0 241690 0 0 0 58420 588 0 0 25 0 1 0 892761796 12902400 2203 4294967295 134512640 134716908 3221224592 3221221120 1075397189 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3150 2203 1111 63 0 3087 0
vsize: 12600
[startup+600.057 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4793
Raw data (stat): 4793 (bsolo_lpr-v2) R 4792 7266 7265 0 -1 0 245275 0 0 0 59410 598 0 0 25 0 1 0 892761796 11235328 2068 4294967295 134512640 134716908 3221224592 3221222928 1074207495 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2743 2068 1111 63 0 2680 0
vsize: 10972
[startup+610.057 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4793
Raw data (stat): 4793 (bsolo_lpr-v2) R 4792 7266 7265 0 -1 0 249520 0 0 0 60400 608 0 0 25 0 1 0 892761796 12939264 2209 4294967295 134512640 134716908 3221224592 3221220720 1075561201 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3159 2209 1111 63 0 3096 0
vsize: 12636
[startup+620.057 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4793
Raw data (stat): 4793 (bsolo_lpr-v2) R 4792 7266 7265 0 -1 0 253743 0 0 0 61389 618 0 0 25 0 1 0 892761796 12582912 2128 4294967295 134512640 134716908 3221224592 3221220928 1075113655 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3072 2128 1111 63 0 3009 0
vsize: 12288
[startup+630.058 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 4846
Raw data (stat): 4793 (bsolo_lpr-v2) R 4792 7266 7265 0 -1 0 257175 0 0 0 62381 626 0 0 25 0 1 0 892761796 11325440 2090 4294967295 134512640 134716908 3221224592 3221221696 1074138729 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2765 2090 1111 63 0 2702 0
vsize: 11060
[startup+640.058 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 4846
Raw data (stat): 4793 (bsolo_lpr-v2) R 4792 7266 7265 0 -1 0 260724 0 0 0 63372 635 0 0 25 0 1 0 892761796 13152256 2276 4294967295 134512640 134716908 3221224592 3221220740 1075964386 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3211 2276 1111 63 0 3148 0
vsize: 12844
[startup+650.059 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 4846
Raw data (stat): 4793 (bsolo_lpr-v2) R 4792 7266 7265 0 -1 0 264282 0 0 0 64364 644 0 0 25 0 1 0 892761796 12808192 2149 4294967295 134512640 134716908 3221224592 3221220736 1074970267 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3127 2149 1111 63 0 3064 0
vsize: 12508
[startup+660.058 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 4846
Raw data (stat): 4793 (bsolo_lpr-v2) R 4792 7266 7265 0 -1 0 267552 0 0 0 65357 651 0 0 25 0 1 0 892761796 11509760 2103 4294967295 134512640 134716908 3221224592 3221222240 1075819084 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2810 2103 1111 63 0 2747 0
vsize: 11240
[startup+670.059 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 4846
Raw data (stat): 4793 (bsolo_lpr-v2) R 4792 7266 7265 0 -1 0 270940 0 0 0 66350 658 0 0 25 0 1 0 892761796 12910592 2188 4294967295 134512640 134716908 3221224592 3221220468 1074786582 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3152 2188 1111 63 0 3089 0
vsize: 12608
[startup+680.059 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 4846
Raw data (stat): 4793 (bsolo_lpr-v2) R 4792 7266 7265 0 -1 0 274703 0 0 0 67340 668 0 0 25 0 1 0 892761796 13299712 2289 4294967295 134512640 134716908 3221224592 3221221248 1075968828 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3247 2289 1111 63 0 3184 0
vsize: 12988
[startup+690.059 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 4846
Raw data (stat): 4793 (bsolo_lpr-v2) R 4792 7266 7265 0 -1 0 278984 0 0 0 68332 676 0 0 25 0 1 0 892761796 11628544 2164 4294967295 134512640 134716908 3221224592 3221222992 1074153786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2839 2164 1111 63 0 2776 0
vsize: 11356
[startup+700.059 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 4848
Raw data (stat): 4793 (bsolo_lpr-v2) R 4792 7266 7265 0 -1 0 282622 0 0 0 69322 686 0 0 25 0 1 0 892761796 11702272 2182 4294967295 134512640 134716908 3221224592 3221222592 1074918583 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2857 2182 1111 63 0 2794 0
vsize: 11428
[startup+710.058 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 4848
Raw data (stat): 4793 (bsolo_lpr-v2) R 4792 7266 7265 0 -1 0 285804 0 0 0 70316 693 0 0 25 0 1 0 892761796 11702272 2182 4294967295 134512640 134716908 3221224592 3221222992 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2857 2182 1111 63 0 2794 0
vsize: 11428
[startup+720.059 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 4848
Raw data (stat): 4793 (bsolo_lpr-v2) R 4792 7266 7265 0 -1 0 289459 0 0 0 71307 702 0 0 25 0 1 0 892761796 13479936 2348 4294967295 134512640 134716908 3221224592 3221220832 1075115732 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3291 2348 1111 63 0 3228 0
vsize: 13164
[startup+730.059 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 4848
Raw data (stat): 4793 (bsolo_lpr-v2) R 4792 7266 7265 0 -1 0 292947 0 0 0 72299 710 0 0 25 0 1 0 892761796 13094912 2259 4294967295 134512640 134716908 3221224592 3221221520 1075960349 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3197 2259 1111 63 0 3134 0
vsize: 12788
[startup+740.058 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 4848
Raw data (stat): 4793 (bsolo_lpr-v2) R 4792 7266 7265 0 -1 0 296796 0 0 0 73291 718 0 0 25 0 1 0 892761796 11894784 2229 4294967295 134512640 134716908 3221224592 3221223048 134543187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2904 2229 1111 63 0 2841 0
vsize: 11616
[startup+750.059 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 4848
Raw data (stat): 4793 (bsolo_lpr-v2) R 4792 7266 7265 0 -1 0 300417 0 0 0 74281 728 0 0 25 0 1 0 892761796 11894784 2229 4294967295 134512640 134716908 3221224592 3221222904 1074138144 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2904 2229 1111 63 0 2841 0
vsize: 11616
[startup+760.059 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4848
Raw data (stat): 4793 (bsolo_lpr-v2) R 4792 7266 7265 0 -1 0 304284 0 0 0 75271 738 0 0 25 0 1 0 892761796 12926976 2331 4294967295 134512640 134716908 3221224592 3221220820 1075115046 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3156 2331 1111 63 0 3093 0
vsize: 12624
[startup+770.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4848
Raw data (stat): 4793 (bsolo_lpr-v2) R 4792 7266 7265 0 -1 0 307763 0 0 0 76264 746 0 0 25 0 1 0 892761796 11960320 2245 4294967295 134512640 134716908 3221224592 3221222800 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2920 2245 1111 63 0 2857 0
vsize: 11680
[startup+780.061 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4848
Raw data (stat): 4793 (bsolo_lpr-v2) R 4792 7266 7265 0 -1 0 311124 0 0 0 77255 754 0 0 25 0 1 0 892761796 11960320 2245 4294967295 134512640 134716908 3221224592 3221222992 1074153792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2920 2245 1111 63 0 2857 0
vsize: 11680
[startup+790.061 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4848
Raw data (stat): 4793 (bsolo_lpr-v2) R 4792 7266 7265 0 -1 0 314101 0 0 0 78247 763 0 0 25 0 1 0 892761796 13230080 2299 4294967295 134512640 134716908 3221224592 3221220700 1073950936 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3230 2299 1111 63 0 3167 0
vsize: 12920
[startup+800.062 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4848
Raw data (stat): 4793 (bsolo_lpr-v2) R 4792 7266 7265 0 -1 0 317444 0 0 0 79239 771 0 0 25 0 1 0 892761796 11960320 2245 4294967295 134512640 134716908 3221224592 3221222992 1074153800 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2920 2245 1111 63 0 2857 0
vsize: 11680
[startup+810.062 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4848
Raw data (stat): 4793 (bsolo_lpr-v2) R 4792 7266 7265 0 -1 0 320875 0 0 0 80230 780 0 0 25 0 1 0 892761796 11960320 2245 4294967295 134512640 134716908 3221224592 3221222844 1077404779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2920 2245 1111 63 0 2857 0
vsize: 11680
[startup+820.064 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4848
Raw data (stat): 4793 (bsolo_lpr-v2) R 4792 7266 7265 0 -1 0 324703 0 0 0 81222 789 0 0 25 0 1 0 892761796 12189696 2276 4294967295 134512640 134716908 3221224592 3221222240 1075818331 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2976 2276 1111 63 0 2913 0
vsize: 11904
[startup+830.064 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4848
Raw data (stat): 4793 (bsolo_lpr-v2) R 4792 7266 7265 0 -1 0 328826 0 0 0 82210 801 0 0 25 0 1 0 892761796 12054528 2268 4294967295 134512640 134716908 3221224592 3221222992 1074153766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2943 2268 1111 63 0 2880 0
vsize: 11772
[startup+840.064 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4848
Raw data (stat): 4793 (bsolo_lpr-v2) R 4792 7266 7265 0 -1 0 332991 0 0 0 83200 811 0 0 25 0 1 0 892761796 13389824 2317 4294967295 134512640 134716908 3221224592 3221221640 1077377356 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3269 2317 1111 63 0 3206 0
vsize: 13076
[startup+850.066 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4848
Raw data (stat): 4793 (bsolo_lpr-v2) R 4792 7266 7265 0 -1 0 336854 0 0 0 84190 821 0 0 25 0 1 0 892761796 13643776 2390 4294967295 134512640 134716908 3221224592 3221220832 1075115696 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3331 2390 1111 63 0 3268 0
vsize: 13324
[startup+860.065 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4848
Raw data (stat): 4793 (bsolo_lpr-v2) R 4792 7266 7265 0 -1 0 340347 0 0 0 85180 831 0 0 25 0 1 0 892761796 12120064 2284 4294967295 134512640 134716908 3221224592 3221222904 1074138166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2959 2284 1111 63 0 2896 0
vsize: 11836
[startup+870.067 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4848
Raw data (stat): 4793 (bsolo_lpr-v2) R 4792 7266 7265 0 -1 0 344042 0 0 0 86171 841 0 0 25 0 1 0 892761796 13688832 2384 4294967295 134512640 134716908 3221224592 3221221424 1075115419 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3342 2384 1111 63 0 3279 0
vsize: 13368
[startup+880.067 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4848
Raw data (stat): 4793 (bsolo_lpr-v2) R 4792 7266 7265 0 -1 0 348055 0 0 0 87159 852 0 0 25 0 1 0 892761796 13692928 2349 4294967295 134512640 134716908 3221224592 3221220820 1075115065 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3343 2349 1111 63 0 3280 0
vsize: 13372
[startup+890.068 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4848
Raw data (stat): 4793 (bsolo_lpr-v2) R 4792 7266 7265 0 -1 0 351582 0 0 0 88152 860 0 0 25 0 1 0 892761796 12378112 2347 4294967295 134512640 134716908 3221224592 3221222904 1074138155 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3022 2347 1111 63 0 2959 0
vsize: 12088
[startup+900.069 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4848
Raw data (stat): 4793 (bsolo_lpr-v2) R 4792 7266 7265 0 -1 0 355007 0 0 0 89143 868 0 0 25 0 1 0 892761796 12378112 2347 4294967295 134512640 134716908 3221224592 3221222992 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3022 2347 1111 63 0 2959 0
vsize: 12088
[startup+910.069 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4848
Raw data (stat): 4793 (bsolo_lpr-v2) R 4792 7266 7265 0 -1 0 359540 0 0 0 90131 881 0 0 25 0 1 0 892761796 13709312 2389 4294967295 134512640 134716908 3221224592 3221220832 1075115765 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3347 2389 1111 63 0 3284 0
vsize: 13388
[startup+920.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4848
Raw data (stat): 4793 (bsolo_lpr-v2) R 4792 7266 7265 0 -1 0 363963 0 0 0 91119 893 0 0 25 0 1 0 892761796 13975552 2450 4294967295 134512640 134716908 3221224592 3221221248 1075967425 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3412 2450 1111 63 0 3349 0
vsize: 13648
[startup+930.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4848
Raw data (stat): 4793 (bsolo_lpr-v2) R 4792 7266 7265 0 -1 0 367527 0 0 0 92110 902 0 0 25 0 1 0 892761796 13828096 2410 4294967295 134512640 134716908 3221224592 3221221636 1074846224 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3376 2410 1111 63 0 3313 0
vsize: 13504
[startup+940.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4848
Raw data (stat): 4793 (bsolo_lpr-v2) R 4792 7266 7265 0 -1 0 371776 0 0 0 93098 914 0 0 25 0 1 0 892761796 12558336 2391 4294967295 134512640 134716908 3221224592 3221223008 1074116354 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3066 2391 1111 63 0 3003 0
vsize: 12264
[startup+950.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4848
Raw data (stat): 4793 (bsolo_lpr-v2) R 4792 7266 7265 0 -1 0 376028 0 0 0 94089 923 0 0 25 0 1 0 892761796 14127104 2488 4294967295 134512640 134716908 3221224592 3221220740 1075964413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3449 2488 1111 63 0 3386 0
vsize: 13796
[startup+960.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4848
Raw data (stat): 4793 (bsolo_lpr-v2) R 4792 7266 7265 0 -1 0 380028 0 0 0 95080 932 0 0 25 0 1 0 892761796 12705792 2427 4294967295 134512640 134716908 3221224592 3221222896 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3102 2427 1111 63 0 3039 0
vsize: 12408
[startup+970.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4848
Raw data (stat): 4793 (bsolo_lpr-v2) R 4792 7266 7265 0 -1 0 383997 0 0 0 96070 943 0 0 25 0 1 0 892761796 14237696 2515 4294967295 134512640 134716908 3221224592 3221220736 1074970022 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3476 2515 1111 63 0 3413 0
vsize: 13904
[startup+980.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4848
Raw data (stat): 4793 (bsolo_lpr-v2) R 4792 7266 7265 0 -1 0 387277 0 0 0 97060 952 0 0 25 0 1 0 892761796 14262272 2480 4294967295 134512640 134716908 3221224592 3221221248 1075966250 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3482 2480 1111 63 0 3419 0
vsize: 13928
[startup+990.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4850
Raw data (stat): 4793 (bsolo_lpr-v2) R 4792 7266 7265 0 -1 0 391064 0 0 0 98051 962 0 0 25 0 1 0 892761796 12865536 2466 4294967295 134512640 134716908 3221224592 3221222992 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3141 2466 1111 63 0 3078 0
vsize: 12564
[startup+1000.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4850
Raw data (stat): 4793 (bsolo_lpr-v2) R 4792 7266 7265 0 -1 0 394772 0 0 0 99041 971 0 0 25 0 1 0 892761796 13025280 2505 4294967295 134512640 134716908 3221224592 3221222992 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3180 2505 1111 63 0 3117 0
vsize: 12720
[startup+1010.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4850
Raw data (stat): 4793 (bsolo_lpr-v2) R 4792 7266 7265 0 -1 0 398196 0 0 0 100034 979 0 0 25 0 1 0 892761796 14483456 2565 4294967295 134512640 134716908 3221224592 3221220820 1075115023 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3536 2565 1111 63 0 3473 0
vsize: 14144
[startup+1020.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4850
Raw data (stat): 4793 (bsolo_lpr-v2) R 4792 7266 7265 0 -1 0 401989 0 0 0 101026 987 0 0 25 0 1 0 892761796 13058048 2513 4294967295 134512640 134716908 3221224592 3221222992 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3188 2513 1111 63 0 3125 0
vsize: 12752
[startup+1030.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4850
Raw data (stat): 4793 (bsolo_lpr-v2) R 4792 7266 7265 0 -1 0 405684 0 0 0 102016 996 0 0 25 0 1 0 892761796 14327808 2549 4294967295 134512640 134716908 3221224592 3221220736 1074970237 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3498 2549 1111 63 0 3435 0
vsize: 13992
[startup+1040.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4850
Raw data (stat): 4793 (bsolo_lpr-v2) R 4792 7266 7265 0 -1 0 409703 0 0 0 103007 1006 0 0 25 0 1 0 892761796 14626816 2611 4294967295 134512640 134716908 3221224592 3221221248 1075967692 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3571 2611 1111 63 0 3508 0
vsize: 14284
[startup+1050.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4850
Raw data (stat): 4793 (bsolo_lpr-v2) R 4792 7266 7265 0 -1 0 413549 0 0 0 103995 1018 0 0 25 0 1 0 892761796 14512128 2600 4294967295 134512640 134716908 3221224592 3221220472 1074788565 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3543 2600 1111 63 0 3480 0
vsize: 14172
[startup+1060.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4850
Raw data (stat): 4793 (bsolo_lpr-v2) R 4792 7266 7265 0 -1 0 416984 0 0 0 104987 1026 0 0 25 0 1 0 892761796 13332480 2580 4294967295 134512640 134716908 3221224592 3221222832 1074153786 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3255 2580 1111 63 0 3192 0
vsize: 13020
[startup+1070.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4850
Raw data (stat): 4793 (bsolo_lpr-v2) R 4792 7266 7265 0 -1 0 420452 0 0 0 105979 1035 0 0 25 0 1 0 892761796 14897152 2716 4294967295 134512640 134716908 3221224592 3221221080 1076116629 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3637 2716 1111 63 0 3574 0
vsize: 14548
[startup+1080.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4850
Raw data (stat): 4793 (bsolo_lpr-v2) R 4792 7266 7265 0 -1 0 423935 0 0 0 106969 1044 0 0 25 0 1 0 892761796 14667776 2634 4294967295 134512640 134716908 3221224592 3221220432 1075965240 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3581 2634 1111 63 0 3518 0
vsize: 14324
[startup+1090.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4850
Raw data (stat): 4793 (bsolo_lpr-v2) R 4792 7266 7265 0 -1 0 427340 0 0 0 107961 1053 0 0 25 0 1 0 892761796 13398016 2596 4294967295 134512640 134716908 3221224592 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3271 2596 1111 63 0 3208 0
vsize: 13084
[startup+1100.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4850
Raw data (stat): 4793 (bsolo_lpr-v2) R 4792 7266 7265 0 -1 0 431121 0 0 0 108951 1062 0 0 25 0 1 0 892761796 14925824 2676 4294967295 134512640 134716908 3221224592 3221220860 1075115567 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3644 2676 1111 63 0 3581 0
vsize: 14576
[startup+1110.08 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4850
Raw data (stat): 4793 (bsolo_lpr-v2) R 4792 7266 7265 0 -1 0 435109 0 0 0 109942 1072 0 0 25 0 1 0 892761796 14921728 2659 4294967295 134512640 134716908 3221224592 3221220864 1074961288 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3643 2659 1111 63 0 3580 0
vsize: 14572
[startup+1120.08 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4850
Raw data (stat): 4793 (bsolo_lpr-v2) R 4792 7266 7265 0 -1 0 438907 0 0 0 110932 1082 0 0 25 0 1 0 892761796 13471744 2614 4294967295 134512640 134716908 3221224592 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3289 2614 1111 63 0 3226 0
vsize: 13156
[startup+1130.08 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4850
Raw data (stat): 4793 (bsolo_lpr-v2) R 4792 7266 7265 0 -1 0 442433 0 0 0 111922 1092 0 0 25 0 1 0 892761796 13598720 2645 4294967295 134512640 134716908 3221224592 3221222784 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3320 2645 1111 63 0 3257 0
vsize: 13280
[startup+1140.08 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4850
Raw data (stat): 4793 (bsolo_lpr-v2) R 4792 7266 7265 0 -1 0 446874 0 0 0 112910 1104 0 0 25 0 1 0 892761796 13627392 2652 4294967295 134512640 134716908 3221224592 3221222764 1074206158 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3327 2652 1111 63 0 3264 0
vsize: 13308
[startup+1150.08 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4850
Raw data (stat): 4793 (bsolo_lpr-v2) R 4792 7266 7265 0 -1 0 450542 0 0 0 113901 1113 0 0 25 0 1 0 892761796 15212544 2762 4294967295 134512640 134716908 3221224592 3221220736 1074970267 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3714 2762 1111 63 0 3651 0
vsize: 14856
[startup+1160.08 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4850
Raw data (stat): 4793 (bsolo_lpr-v2) R 4792 7266 7265 0 -1 0 454585 0 0 0 114890 1124 0 0 25 0 1 0 892761796 13688832 2667 4294967295 134512640 134716908 3221224592 3221222992 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3342 2667 1111 63 0 3279 0
vsize: 13368
[startup+1170.08 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4850
Raw data (stat): 4793 (bsolo_lpr-v2) R 4792 7266 7265 0 -1 0 458735 0 0 0 115879 1135 0 0 25 0 1 0 892761796 15020032 2709 4294967295 134512640 134716908 3221224592 3221221124 1075863600 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3667 2709 1111 63 0 3604 0
vsize: 14668
[startup+1175.21 s]
Raw data (loadavg): 1.00 0.99 0.91 1/53 4850
Raw data (stat): 4793 (bsolo_lpr-v2) R 4792 7266 7265 0 -1 0 458735 0 0 0 115879 1135 0 0 25 0 1 0 892761796 15020032 2709 4294967295 134512640 134716908 3221224592 3221221124 1075863600 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3667 2709 1111 63 0 3604 0
vsize: 0

Child status: 10
Real time (s): 1175.21
CPU time (s): 1175.28
CPU user time (s): 1163.85
CPU system time (s): 11.4303
CPU usage (%): 100.006
Max. virtual memory (Kb): 14856
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	244
#### END VERIFIER DATA ####