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-ii32e2.opb
MD5SUM	4e882bbd92f288daf6e68ac3de757136
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	235
Optimality of the best value was proved	NO
Number of terms in the objective function	534
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	534
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	534
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.03084
Number of variables	534
Total number of constraints	3013
Number of constraints which are clauses	3013
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 23932

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-06 14:29:56 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=1423 boxname=wulflinc31 idbench=159 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  4e882bbd92f288daf6e68ac3de757136  /oldhome/oroussel/tmp/wulflinc31/normalized-ii32e2.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-ii32e2.opb
IDLAUNCH: 1423
/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:        151928 kB
Buffers:         36628 kB
Cached:         811912 kB
SwapCached:        644 kB
Active:         485904 kB
Inactive:       364972 kB
HighTotal:      131008 kB
HighFree:         9660 kB
LowTotal:       903652 kB
LowFree:        142268 kB
SwapTotal:     2097892 kB
SwapFree:      2096612 kB
Dirty:             136 kB
Writeback:           0 kB
Mapped:           5608 kB
Slab:            26292 kB
Committed_AS:    63652 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-06 14:49:31 (client local time) WITH STATUS 10 IN 1175.03 SECONDS
stats: 1423 0 1175.03 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 534 variables and 3013 constraints.
c After prepocess the problem consists of 534 variables and 3013 constraints.
c preprocess terminated 4.197 s
c Initial Lower Bound: 177
c Lower Bound Elapsed time: 1.60111
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: 267 @ 18.856
c NEW SOLUTION FOUND: 265 @ 18.866
c NEW SOLUTION FOUND: 264 @ 18.876
c NEW SOLUTION FOUND: 262 @ 18.914
c NEW SOLUTION FOUND: 260 @ 35.817
c NEW SOLUTION FOUND: 259 @ 57.934
c NEW SOLUTION FOUND: 258 @ 105.795
c NEW SOLUTION FOUND: 244 @ 234.546
c NEW SOLUTION FOUND: 241 @ 546.532
c NEW SOLUTION FOUND: 240 @ 768.891
s SATISFIABLE
v x1 -x2 x3 -x4 x5 -x6 x7 -x8 x9 -x10 x11 -x12 x13 -x14 x15 -x16 x17 -x18 x19 -x20 x21 -x22 x23 -x24 x25 -x26 x27 -x28 x29 -x30 x31 -x32 -x33 x34 x35 -x36 -x37 x38 x39 -x40 x41 -x42 x43 -x44 x45 -x46 x47 -x48 x49 -x50 x51 -x52 x53 -x54 x55 -x56 x57 -x58 x59 -x60 x61 -x62 x63 -x64 x65 -x66 x67 -x68 x69 -x70 x71 -x72 x73 -x74 x75 -x76 x77 -x78 x79 -x80 x81 -x82 x83 -x84 x85 -x86 x87 -x88 -x89 x90 x91 -x92 x93 -x94 x95 -x96 x97 -x98 x99 -x100 x101 -x102 x103 -x104 x105 -x106 x107 -x108 x109 -x110 x111 -x112 x113 -x114 x115 -x116 x117 -x118 x119 -x120 x121 -x122 x123 -x124 x125 -x126 x127 -x128 x129 -x130 x131 -x132 -x133 x134 x135 -x136 x137 -x138 x139 -x140 x141 -x142 x143 -x144 x145 -x146 x147 -x148 x149 -x150 x151 -x152 x153 -x154 x155 -x156 x157 -x158 x159 -x160 x161 -x162 x163 -x164 x165 -x166 x167 -x168 x169 -x170 x171 -x172 x173 -x174 x175 -x176 x177 -x178 x179 -x180 x181 -x182 x183 -x184 x185 -x186 x187 -x188 x189 -x190 x191 -x192 x193 -x194 x195 -x196 x197 -x198 x199 -x200 x201 -x202 x203 -x204 x205 -x206 x207 -x208 x209 -x210 x211 -x212 x213 -x214 x215 -x216 x217 -x218 x219 -x220 x221 -x222 x223 -x224 x225 -x226 x227 -x228 x229 -x230 x231 -x232 x233 -x234 x235 -x236 x237 -x238 x239 -x240 -x241 x242 x243 -x244 x245 -x246 x247 -x248 x249 -x250 -x251 x252 x253 -x254 x255 -x256 x257 -x258 -x259 -x260 x261 -x262 -x263 -x264 x265 -x266 x267 -x268 x269 -x270 -x271 -x272 x273 -x274 -x275 -x276 x277 -x278 -x279 -x280 -x281 -x282 x283 -x284 -x285 -x286 x287 -x288 -x289 -x290 x291 -x292 x293 -x294 x295 -x296 x297 -x298 -x299 -x300 x301 -x302 -x303 -x304 -x305 -x306 x307 -x308 -x309 -x310 x311 -x312 x313 -x314 x315 -x316 x317 -x318 -x319 x320 -x321 -x322 x323 -x324 -x325 x326 x327 -x328 -x329 -x330 x331 -x332 x333 -x334 x335 -x336 x337 -x338 -x339 -x340 -x341 -x342 x343 -x344 x345 -x346 -x347 -x348 x349 -x350 -x351 -x352 -x353 -x354 x355 -x356 -x357 -x358 x359 -x360 -x361 -x362 x363 -x364 -x365 -x366 x367 -x368 x369 -x370 -x371 -x372 x373 -x374 -x375 x376 x377 -x378 -x379 -x380 -x381 -x382 x383 -x384 -x385 x386 x387 -x388 -x389 x390 -x391 x392 x393 -x394 -x395 x396 x397 -x398 -x399 x400 -x401 x402 -x403 x404 x405 -x406 -x407 x408 -x409 -x410 x411 -x412 -x413 x414 -x415 x416 x417 -x418 -x419 x420 -x421 x422 x423 -x424 -x425 x426 -x427 x428 x429 -x430 -x431 x432 -x433 x434 x435 -x436 -x437 x438 -x439 x440 x441 -x442 -x443 x444 x445 -x446 -x447 x448 -x449 x450 -x451 x452 x453 -x454 -x455 x456 x457 -x458 -x459 x460 -x461 x462 x463 -x464 -x465 x466 -x467 x468 x469 -x470 -x471 x472 -x473 x474 x475 -x476 -x477 x478 -x479 x480 x481 -x482 -x483 x484 -x485 x486 x487 -x488 -x489 x490 -x491 x492 -x493 x494 x495 -x496 -x497 x498 x499 -x500 -x501 x502 -x503 x504 -x505 -x506 x507 -x508 -x509 x510 -x511 x512 x513 -x514 -x515 x516 -x517 x518 x519 -x520 -x521 x522 -x523 x524 x525 -x526 -x527 x528 x529 -x530 -x531 x532 -x533 x534 
c Exit Code: 10
c Total time: 1175.01 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.93 0.98 0.98 2/54 24746
Raw data (stat): 24746 (runsolver) R 24745 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 675411040 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+10.0005 s]
Raw data (loadavg): 0.94 0.98 0.98 2/54 24746
Raw data (stat): 24746 (bsolo_lpr) R 24745 7876 7672 0 -1 0 4391 0 0 0 980 15 0 0 25 0 1 0 675411040 9936896 1678 4294967295 134512640 134714508 3221221792 3221219440 1075828422 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2426 1678 1111 63 0 2363 0
vsize: 9704
[startup+20.0019 s]
Raw data (loadavg): 0.95 0.98 0.98 2/54 24746
Raw data (stat): 24746 (bsolo_lpr) R 24745 7876 7672 0 -1 0 9093 0 0 0 1966 29 0 0 25 0 1 0 675411040 11620352 2011 4294967295 134512640 134714508 3221221792 3221218160 1075894487 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2837 2011 1111 63 0 2774 0
vsize: 11348
[startup+30.0024 s]
Raw data (loadavg): 0.95 0.98 0.98 2/54 24746
Raw data (stat): 24746 (bsolo_lpr) R 24745 7876 7672 0 -1 0 12403 0 0 0 2957 38 0 0 25 0 1 0 675411040 10944512 1662 4294967295 134512640 134714508 3221221792 3221218832 1075971389 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2672 1662 1111 63 0 2609 0
vsize: 10688
[startup+40.0023 s]
Raw data (loadavg): 0.96 0.98 0.98 2/54 24746
Raw data (stat): 24746 (bsolo_lpr) R 24745 7876 7672 0 -1 0 16215 0 0 0 3945 50 0 0 25 0 1 0 675411040 9478144 1645 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2314 1645 1111 63 0 2251 0
vsize: 9256
[startup+50.0039 s]
Raw data (loadavg): 0.97 0.98 0.98 2/54 24746
Raw data (stat): 24746 (bsolo_lpr) R 24745 7876 7672 0 -1 0 19126 0 0 0 4937 58 0 0 25 0 1 0 675411040 11100160 1725 4294967295 134512640 134714508 3221221792 3221218064 1074960865 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2710 1725 1111 63 0 2647 0
vsize: 10840
[startup+60.0041 s]
Raw data (loadavg): 0.97 0.98 0.98 2/54 24746
Raw data (stat): 24746 (bsolo_lpr) R 24745 7876 7672 0 -1 0 21912 0 0 0 5928 67 0 0 25 0 1 0 675411040 10944512 1688 4294967295 134512640 134714508 3221221792 3221217760 1074872805 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2672 1688 1111 63 0 2609 0
vsize: 10688
[startup+70.0051 s]
Raw data (loadavg): 0.97 0.98 0.98 2/54 24746
Raw data (stat): 24746 (bsolo_lpr) R 24745 7876 7672 0 -1 0 25565 0 0 0 6919 77 0 0 25 0 1 0 675411040 9478144 1645 4294967295 134512640 134714508 3221221792 3221220048 1077404827 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2314 1645 1111 63 0 2251 0
vsize: 9256
[startup+80.0064 s]
Raw data (loadavg): 0.98 0.98 0.98 2/54 24746
Raw data (stat): 24746 (bsolo_lpr) R 24745 7876 7672 0 -1 0 28705 0 0 0 7909 86 0 0 25 0 1 0 675411040 9576448 1669 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2338 1669 1111 63 0 2275 0
vsize: 9352
[startup+90.0059 s]
Raw data (loadavg): 0.98 0.98 0.98 2/54 24746
Raw data (stat): 24746 (bsolo_lpr) R 24745 7876 7672 0 -1 0 32188 0 0 0 8898 97 0 0 25 0 1 0 675411040 11194368 1731 4294967295 134512640 134714508 3221221792 3221217740 1074788959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2733 1731 1111 63 0 2670 0
vsize: 10932
[startup+100.007 s]
Raw data (loadavg): 0.98 0.98 0.98 2/54 24746
Raw data (stat): 24746 (bsolo_lpr) R 24745 7876 7672 0 -1 0 35142 0 0 0 9890 105 0 0 25 0 1 0 675411040 9535488 1659 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2328 1659 1111 63 0 2265 0
vsize: 9312
[startup+110.009 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 24746
Raw data (stat): 24746 (bsolo_lpr) R 24745 7876 7672 0 -1 0 38762 0 0 0 10880 116 0 0 25 0 1 0 675411040 9535488 1659 4294967295 134512640 134714508 3221221792 3221220192 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2328 1659 1111 63 0 2265 0
vsize: 9312
[startup+120.01 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 24746
Raw data (stat): 24746 (bsolo_lpr) R 24745 7876 7672 0 -1 0 42422 0 0 0 11871 125 0 0 25 0 1 0 675411040 11366400 1794 4294967295 134512640 134714508 3221221792 3221217668 1074786559 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2775 1794 1111 63 0 2712 0
vsize: 11100
[startup+130.01 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 24746
Raw data (stat): 24746 (bsolo_lpr) R 24745 7876 7672 0 -1 0 45775 0 0 0 12861 135 0 0 25 0 1 0 675411040 11161600 1713 4294967295 134512640 134714508 3221221792 3221218176 1074972807 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2725 1713 1111 63 0 2662 0
vsize: 10900
[startup+140.01 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 24746
Raw data (stat): 24746 (bsolo_lpr) R 24745 7876 7672 0 -1 0 49651 0 0 0 13851 146 0 0 25 0 1 0 675411040 11001856 1694 4294967295 134512640 134714508 3221221792 3221217676 1074788944 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2686 1694 1111 63 0 2623 0
vsize: 10744
[startup+150.012 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 24746
Raw data (stat): 24746 (bsolo_lpr) R 24745 7876 7672 0 -1 0 53535 0 0 0 14841 156 0 0 25 0 1 0 675411040 11587584 1878 4294967295 134512640 134714508 3221221792 3221219024 1075552814 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2829 1878 1111 63 0 2766 0
vsize: 11316
[startup+160.011 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 24746
Raw data (stat): 24746 (bsolo_lpr) R 24745 7876 7672 0 -1 0 57028 0 0 0 15830 167 0 0 25 0 1 0 675411040 11890688 1919 4294967295 134512640 134714508 3221221792 3221218064 1074961129 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2903 1919 1111 63 0 2840 0
vsize: 11612
[startup+170.013 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 24746
Raw data (stat): 24746 (bsolo_lpr) R 24745 7876 7672 0 -1 0 59941 0 0 0 16822 175 0 0 25 0 1 0 675411040 11943936 1968 4294967295 134512640 134714508 3221221792 3221218320 1075397211 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2916 1968 1111 63 0 2853 0
vsize: 11664
[startup+180.013 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 24746
Raw data (stat): 24746 (bsolo_lpr) R 24745 7876 7672 0 -1 0 62743 0 0 0 17814 184 0 0 25 0 1 0 675411040 11317248 1964 4294967295 134512640 134714508 3221221792 3221218320 1075397167 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2763 1964 1111 63 0 2700 0
vsize: 11052
[startup+190.014 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 24746
Raw data (stat): 24746 (bsolo_lpr) R 24745 7876 7672 0 -1 0 65599 0 0 0 18806 192 0 0 25 0 1 0 675411040 9785344 1720 4294967295 134512640 134714508 3221221792 3221220168 1077410279 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2389 1720 1111 63 0 2326 0
vsize: 9556
[startup+200.016 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 24746
Raw data (stat): 24746 (bsolo_lpr) R 24745 7876 7672 0 -1 0 68565 0 0 0 19798 199 0 0 25 0 1 0 675411040 11472896 1826 4294967295 134512640 134714508 3221221792 3221217936 1074969471 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2801 1826 1111 63 0 2738 0
vsize: 11204
[startup+210.016 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 24746
Raw data (stat): 24746 (bsolo_lpr) R 24745 7876 7672 0 -1 0 71250 0 0 0 20792 206 0 0 25 0 1 0 675411040 11251712 1761 4294967295 134512640 134714508 3221221792 3221217952 1075092837 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2747 1761 1111 63 0 2684 0
vsize: 10988
[startup+220.017 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 24746
Raw data (stat): 24746 (bsolo_lpr) R 24745 7876 7672 0 -1 0 74174 0 0 0 21784 214 0 0 25 0 1 0 675411040 11849728 1963 4294967295 134512640 134714508 3221221792 3221218736 1074620107 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2893 1963 1111 63 0 2830 0
vsize: 11572
[startup+230.018 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 24746
Raw data (stat): 24746 (bsolo_lpr) R 24745 7876 7672 0 -1 0 77891 0 0 0 22773 225 0 0 25 0 1 0 675411040 11337728 1765 4294967295 134512640 134714508 3221221792 3221217936 1074970218 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2768 1765 1111 63 0 2705 0
vsize: 11072
[startup+240.018 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 24746
Raw data (stat): 24746 (bsolo_lpr) R 24745 7876 7672 0 -1 0 82569 0 0 0 23760 238 0 0 25 0 1 0 675411040 11894784 1942 4294967295 134512640 134714508 3221221792 3221218864 1074867340 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2904 1942 1111 63 0 2841 0
vsize: 11616
[startup+250.019 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 24746
Raw data (stat): 24746 (bsolo_lpr) R 24745 7876 7672 0 -1 0 85802 0 0 0 24751 247 0 0 25 0 1 0 675411040 11923456 1900 4294967295 134512640 134714508 3221221792 3221217936 1074969631 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2911 1900 1111 63 0 2848 0
vsize: 11644
[startup+260.02 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 24746
Raw data (stat): 24746 (bsolo_lpr) R 24745 7876 7672 0 -1 0 90046 0 0 0 25741 257 0 0 25 0 1 0 675411040 11849728 1960 4294967295 134512640 134714508 3221221792 3221217724 1074788136 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2893 1960 1111 63 0 2830 0
vsize: 11572
[startup+270.021 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 24746
Raw data (stat): 24746 (bsolo_lpr) R 24745 7876 7672 0 -1 0 93482 0 0 0 26731 267 0 0 25 0 1 0 675411040 12001280 1954 4294967295 134512640 134714508 3221221792 3221218712 1074950114 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2930 1954 1111 63 0 2867 0
vsize: 11720
[startup+280.021 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 24746
Raw data (stat): 24746 (bsolo_lpr) R 24745 7876 7672 0 -1 0 97480 0 0 0 27720 279 0 0 25 0 1 0 675411040 11583488 1833 4294967295 134512640 134714508 3221221792 3221218112 1075169419 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2828 1833 1111 63 0 2765 0
vsize: 11312
[startup+290.022 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 24746
Raw data (stat): 24746 (bsolo_lpr) R 24745 7876 7672 0 -1 0 100592 0 0 0 28710 289 0 0 25 0 1 0 675411040 11620352 1861 4294967295 134512640 134714508 3221221792 3221218320 1075119993 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2837 1861 1111 63 0 2774 0
vsize: 11348
[startup+300.022 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 24746
Raw data (stat): 24746 (bsolo_lpr) R 24745 7876 7672 0 -1 0 103991 0 0 0 29701 298 0 0 25 0 1 0 675411040 10932224 1837 4294967295 134512640 134714508 3221221792 3221217792 1075965250 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2669 1837 1111 63 0 2606 0
vsize: 10676
[startup+310.022 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 24746
Raw data (stat): 24746 (bsolo_lpr) R 24745 7876 7672 0 -1 0 107610 0 0 0 30690 309 0 0 25 0 1 0 675411040 11497472 1828 4294967295 134512640 134714508 3221221792 3221217688 1074789559 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2807 1828 1111 63 0 2744 0
vsize: 11228
[startup+320.024 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 24746
Raw data (stat): 24746 (bsolo_lpr) R 24745 7876 7672 0 -1 0 110720 0 0 0 31681 319 0 0 25 0 1 0 675411040 10080256 1796 4294967295 134512640 134714508 3221221792 3221220192 1074153766 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2461 1796 1111 63 0 2398 0
vsize: 9844
[startup+330.024 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 24746
Raw data (stat): 24746 (bsolo_lpr) R 24745 7876 7672 0 -1 0 114213 0 0 0 32670 329 0 0 25 0 1 0 675411040 11788288 1872 4294967295 134512640 134714508 3221221792 3221217688 1074789596 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2878 1872 1111 63 0 2815 0
vsize: 11512
[startup+340.024 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 24746
Raw data (stat): 24746 (bsolo_lpr) R 24745 7876 7672 0 -1 0 117510 0 0 0 33661 339 0 0 25 0 1 0 675411040 10186752 1822 4294967295 134512640 134714508 3221221792 3221220104 1074138147 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2487 1822 1111 63 0 2424 0
vsize: 9948
[startup+350.026 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 24746
Raw data (stat): 24746 (bsolo_lpr) R 24745 7876 7672 0 -1 0 120996 0 0 0 34651 349 0 0 25 0 1 0 675411040 10248192 1837 4294967295 134512640 134714508 3221221792 3221220192 1074153760 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2502 1837 1111 63 0 2439 0
vsize: 10008
[startup+360.026 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 24746
Raw data (stat): 24746 (bsolo_lpr) R 24745 7876 7672 0 -1 0 124699 0 0 0 35641 359 0 0 25 0 1 0 675411040 10342400 1860 4294967295 134512640 134714508 3221221792 3221220368 134549457 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2525 1860 1111 63 0 2462 0
vsize: 10100
[startup+370.027 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 24746
Raw data (stat): 24746 (bsolo_lpr) R 24745 7876 7672 0 -1 0 128129 0 0 0 36631 369 0 0 25 0 1 0 675411040 12054528 1984 4294967295 134512640 134714508 3221221792 3221218124 1076111473 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2943 1984 1111 63 0 2880 0
vsize: 11772
[startup+380.027 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 24746
Raw data (stat): 24746 (bsolo_lpr) R 24745 7876 7672 0 -1 0 131200 0 0 0 37622 378 0 0 25 0 1 0 675411040 10321920 1855 4294967295 134512640 134714508 3221221792 3221219972 1077374177 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2520 1855 1111 63 0 2457 0
vsize: 10080
[startup+390.027 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 24746
Raw data (stat): 24746 (bsolo_lpr) R 24745 7876 7672 0 -1 0 135153 0 0 0 38611 389 0 0 25 0 1 0 675411040 11849728 1895 4294967295 134512640 134714508 3221221792 3221218032 1075115747 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2893 1895 1111 63 0 2830 0
vsize: 11572
[startup+400.028 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 24746
Raw data (stat): 24746 (bsolo_lpr) R 24745 7876 7672 0 -1 0 138947 0 0 0 39601 399 0 0 25 0 1 0 675411040 12361728 2051 4294967295 134512640 134714508 3221221792 3221217948 1075091140 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3018 2051 1111 63 0 2955 0
vsize: 12072
[startup+410.028 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 24746
Raw data (stat): 24746 (bsolo_lpr) R 24745 7876 7672 0 -1 0 142705 0 0 0 40592 408 0 0 25 0 1 0 675411040 10346496 1861 4294967295 134512640 134714508 3221221792 3221220120 1077402401 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2526 1861 1111 63 0 2463 0
vsize: 10104
[startup+420.03 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 24746
Raw data (stat): 24746 (bsolo_lpr) R 24745 7876 7672 0 -1 0 146569 0 0 0 41579 421 0 0 25 0 1 0 675411040 10346496 1861 4294967295 134512640 134714508 3221221792 3221220192 1074153800 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2526 1861 1111 63 0 2463 0
vsize: 10104
[startup+430.031 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 24746
Raw data (stat): 24746 (bsolo_lpr) R 24745 7876 7672 0 -1 0 150188 0 0 0 42569 432 0 0 25 0 1 0 675411040 12140544 1988 4294967295 134512640 134714508 3221221792 3221217940 1075964409 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2964 1988 1111 63 0 2901 0
vsize: 11856
[startup+440.031 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 24746
Raw data (stat): 24746 (bsolo_lpr) R 24745 7876 7672 0 -1 0 154054 0 0 0 43557 444 0 0 25 0 1 0 675411040 10473472 1892 4294967295 134512640 134714508 3221221792 3221220144 1074115328 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2557 1892 1111 63 0 2494 0
vsize: 10228
[startup+450.031 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 24746
Raw data (stat): 24746 (bsolo_lpr) R 24745 7876 7672 0 -1 0 157386 0 0 0 44548 453 0 0 25 0 1 0 675411040 12136448 1955 4294967295 134512640 134714508 3221221792 3221218020 1075114984 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2963 1955 1111 63 0 2900 0
vsize: 11852
[startup+460.032 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 24746
Raw data (stat): 24746 (bsolo_lpr) R 24745 7876 7672 0 -1 0 161156 0 0 0 45537 464 0 0 25 0 1 0 675411040 10522624 1904 4294967295 134512640 134714508 3221221792 3221220192 1074153812 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2569 1904 1111 63 0 2506 0
vsize: 10276
[startup+470.033 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 24746
Raw data (stat): 24746 (bsolo_lpr) R 24745 7876 7672 0 -1 0 164570 0 0 0 46527 474 0 0 25 0 1 0 675411040 12214272 1988 4294967295 134512640 134714508 3221221792 3221217596 1074787463 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2982 1988 1111 63 0 2919 0
vsize: 11928
[startup+480.033 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 24746
Raw data (stat): 24746 (bsolo_lpr) R 24745 7876 7672 0 -1 0 168007 0 0 0 47517 484 0 0 25 0 1 0 675411040 10649600 1935 4294967295 134512640 134714508 3221221792 3221220104 1074138166 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2600 1935 1111 63 0 2537 0
vsize: 10400
[startup+490.033 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 24746
Raw data (stat): 24746 (bsolo_lpr) R 24745 7876 7672 0 -1 0 171389 0 0 0 48508 494 0 0 25 0 1 0 675411040 12996608 2345 4294967295 134512640 134714508 3221221792 3221218232 1077410205 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3173 2345 1111 63 0 3110 0
vsize: 12692
[startup+500.034 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 24746
Raw data (stat): 24746 (bsolo_lpr) R 24745 7876 7672 0 -1 0 174715 0 0 0 49499 503 0 0 25 0 1 0 675411040 10690560 1945 4294967295 134512640 134714508 3221221792 3221220144 1074153822 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2610 1945 1111 63 0 2547 0
vsize: 10440
[startup+510.035 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 24746
Raw data (stat): 24746 (bsolo_lpr) R 24745 7876 7672 0 -1 0 178107 0 0 0 50489 513 0 0 25 0 1 0 675411040 12402688 2033 4294967295 134512640 134714508 3221221792 3221218736 1074620113 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3028 2033 1111 63 0 2965 0
vsize: 12112
[startup+520.035 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 24746
Raw data (stat): 24746 (bsolo_lpr) R 24745 7876 7672 0 -1 0 180889 0 0 0 51481 521 0 0 25 0 1 0 675411040 12402688 2063 4294967295 134512640 134714508 3221221792 3221217952 1075092784 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3028 2063 1111 63 0 2965 0
vsize: 12112
[startup+530.037 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 24746
Raw data (stat): 24746 (bsolo_lpr) R 24745 7876 7672 0 -1 0 183530 0 0 0 52474 528 0 0 25 0 1 0 675411040 10936320 2005 4294967295 134512640 134714508 3221221792 3221219656 1077380592 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2670 2005 1111 63 0 2607 0
vsize: 10680
[startup+540.037 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 24746
Raw data (stat): 24746 (bsolo_lpr) R 24745 7876 7672 0 -1 0 185881 0 0 0 53467 536 0 0 25 0 1 0 675411040 12697600 2125 4294967295 134512640 134714508 3221221792 3221218032 1075115715 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3100 2125 1111 63 0 3037 0
vsize: 12400
[startup+550.038 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 24746
Raw data (stat): 24746 (bsolo_lpr) R 24745 7876 7672 0 -1 0 188576 0 0 0 54458 544 0 0 25 0 1 0 675411040 12574720 2086 4294967295 134512640 134714508 3221221792 3221218032 1075115765 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3070 2086 1111 63 0 3007 0
vsize: 12280
[startup+560.038 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 24746
Raw data (stat): 24746 (bsolo_lpr) R 24745 7876 7672 0 -1 0 191158 0 0 0 55452 551 0 0 25 0 1 0 675411040 12402688 2052 4294967295 134512640 134714508 3221221792 3221217608 1074788481 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3028 2052 1111 63 0 2965 0
vsize: 12112
[startup+570.039 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 24746
Raw data (stat): 24746 (bsolo_lpr) R 24745 7876 7672 0 -1 0 193911 0 0 0 56444 559 0 0 25 0 1 0 675411040 12546048 2063 4294967295 134512640 134714508 3221221792 3221218448 1075967401 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3063 2063 1111 63 0 3000 0
vsize: 12252
[startup+580.039 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 24746
Raw data (stat): 24746 (bsolo_lpr) R 24745 7876 7672 0 -1 0 198144 0 0 0 57433 570 0 0 25 0 1 0 675411040 12546048 2053 4294967295 134512640 134714508 3221221792 3221218064 1074960800 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3063 2053 1111 63 0 3000 0
vsize: 12252
[startup+590.039 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 24746
Raw data (stat): 24746 (bsolo_lpr) R 24745 7876 7672 0 -1 0 201809 0 0 0 58423 580 0 0 25 0 1 0 675411040 12627968 2078 4294967295 134512640 134714508 3221221792 3221217740 1074788953 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3083 2078 1111 63 0 3020 0
vsize: 12332
[startup+600.04 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 24746
Raw data (stat): 24746 (bsolo_lpr) R 24745 7876 7672 0 -1 0 204931 0 0 0 59415 588 0 0 25 0 1 0 675411040 12402688 2046 4294967295 134512640 134714508 3221221792 3221218320 1075397167 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3028 2046 1111 63 0 2965 0
vsize: 12112
[startup+610.04 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 24746
Raw data (stat): 24746 (bsolo_lpr) R 24745 7876 7672 0 -1 0 209036 0 0 0 60404 600 0 0 25 0 1 0 675411040 12554240 2034 4294967295 134512640 134714508 3221221792 3221217752 1074789806 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3065 2034 1111 63 0 3002 0
vsize: 12260
[startup+620.041 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 24746
Raw data (stat): 24746 (bsolo_lpr) R 24745 7876 7672 0 -1 0 213348 0 0 0 61390 613 0 0 25 0 1 0 675411040 10936320 2005 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2670 2005 1111 63 0 2607 0
vsize: 10680
[startup+630.041 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 24746
Raw data (stat): 24746 (bsolo_lpr) R 24745 7876 7672 0 -1 0 217699 0 0 0 62379 625 0 0 25 0 1 0 675411040 12656640 2064 4294967295 134512640 134714508 3221221792 3221218832 1075971379 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3090 2064 1111 63 0 3027 0
vsize: 12360
[startup+640.042 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 24746
Raw data (stat): 24746 (bsolo_lpr) R 24745 7876 7672 0 -1 0 222888 0 0 0 63365 639 0 0 25 0 1 0 675411040 12652544 2113 4294967295 134512640 134714508 3221221792 3221218560 1076083619 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3089 2113 1111 63 0 3026 0
vsize: 12356
[startup+650.044 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 24746
Raw data (stat): 24746 (bsolo_lpr) R 24745 7876 7672 0 -1 0 227442 0 0 0 64353 651 0 0 25 0 1 0 675411040 10936320 2005 4294967295 134512640 134714508 3221221792 3221220192 1074153736 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2670 2005 1111 63 0 2607 0
vsize: 10680
[startup+660.044 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 24746
Raw data (stat): 24746 (bsolo_lpr) R 24745 7876 7672 0 -1 0 231988 0 0 0 65340 664 0 0 25 0 1 0 675411040 12636160 2091 4294967295 134512640 134714508 3221221792 3221217952 1074794682 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3085 2091 1111 63 0 3022 0
vsize: 12340
[startup+670.044 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 24746
Raw data (stat): 24746 (bsolo_lpr) R 24745 7876 7672 0 -1 0 236957 0 0 0 66325 679 0 0 25 0 1 0 675411040 12705792 2102 4294967295 134512640 134714508 3221221792 3221218824 1077410279 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3102 2102 1111 63 0 3039 0
vsize: 12408
[startup+680.044 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 24746
Raw data (stat): 24746 (bsolo_lpr) R 24745 7876 7672 0 -1 0 241638 0 0 0 67312 692 0 0 25 0 1 0 675411040 11067392 2037 4294967295 134512640 134714508 3221221792 3221220096 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2702 2037 1111 63 0 2639 0
vsize: 10808
[startup+690.044 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 24746
Raw data (stat): 24746 (bsolo_lpr) R 24745 7876 7672 0 -1 0 244956 0 0 0 68304 701 0 0 25 0 1 0 675411040 13225984 2211 4294967295 134512640 134714508 3221221792 3221217856 1074791300 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3229 2211 1111 63 0 3166 0
vsize: 12916
[startup+700.045 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 24746
Raw data (stat): 24746 (bsolo_lpr) R 24745 7876 7672 0 -1 0 247893 0 0 0 69295 709 0 0 25 0 1 0 675411040 13160448 2209 4294967295 134512640 134714508 3221221792 3221218020 1075115049 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3213 2209 1111 63 0 3150 0
vsize: 12852
[startup+710.046 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 24746
Raw data (stat): 24746 (bsolo_lpr) R 24745 7876 7672 0 -1 0 250802 0 0 0 70286 718 0 0 25 0 1 0 675411040 12926976 2162 4294967295 134512640 134714508 3221221792 3221218020 1075115046 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3156 2162 1111 63 0 3093 0
vsize: 12624
[startup+720.047 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 24746
Raw data (stat): 24746 (bsolo_lpr) R 24745 7876 7672 0 -1 0 253599 0 0 0 71279 726 0 0 25 0 1 0 675411040 11497472 2139 4294967295 134512640 134714508 3221221792 3221218984 1074138377 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2807 2139 1111 63 0 2744 0
vsize: 11228
[startup+730.047 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 24746
Raw data (stat): 24746 (bsolo_lpr) R 24745 7876 7672 0 -1 0 256775 0 0 0 72270 735 0 0 25 0 1 0 675411040 11313152 2097 4294967295 134512640 134714508 3221221792 3221220104 1074138166 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2762 2097 1111 63 0 2699 0
vsize: 11048
[startup+740.048 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 24746
Raw data (stat): 24746 (bsolo_lpr) R 24745 7876 7672 0 -1 0 259561 0 0 0 73262 743 0 0 25 0 1 0 675411040 13307904 2449 4294967295 134512640 134714508 3221221792 3221218064 1074960874 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3249 2449 1111 63 0 3186 0
vsize: 12996
[startup+750.048 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 24746
Raw data (stat): 24746 (bsolo_lpr) R 24745 7876 7672 0 -1 0 262612 0 0 0 74255 750 0 0 25 0 1 0 675411040 13189120 2294 4294967295 134512640 134714508 3221221792 3221218448 1075967861 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3220 2294 1111 63 0 3157 0
vsize: 12880
[startup+760.048 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 24746
Raw data (stat): 24746 (bsolo_lpr) R 24745 7876 7672 0 -1 0 265726 0 0 0 75246 759 0 0 25 0 1 0 675411040 13275136 2264 4294967295 134512640 134714508 3221221792 3221218020 1075115112 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3241 2264 1111 63 0 3178 0
vsize: 12964
[startup+770.049 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 24746
Raw data (stat): 24746 (bsolo_lpr) R 24745 7876 7672 0 -1 0 269045 0 0 0 76238 767 0 0 25 0 1 0 675411040 11313152 2098 4294967295 134512640 134714508 3221221792 3221220192 1074153822 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2762 2098 1111 63 0 2699 0
vsize: 11048
[startup+780.049 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 24746
Raw data (stat): 24746 (bsolo_lpr) R 24745 7876 7672 0 -1 0 272069 0 0 0 77230 775 0 0 25 0 1 0 675411040 12922880 2160 4294967295 134512640 134714508 3221221792 3221218448 1075969182 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3155 2160 1111 63 0 3092 0
vsize: 12620
[startup+790.049 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 24746
Raw data (stat): 24746 (bsolo_lpr) R 24745 7876 7672 0 -1 0 275136 0 0 0 78220 785 0 0 25 0 1 0 675411040 12980224 2192 4294967295 134512640 134714508 3221221792 3221218064 1074960901 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3169 2192 1111 63 0 3106 0
vsize: 12676
[startup+800.05 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 24746
Raw data (stat): 24746 (bsolo_lpr) R 24745 7876 7672 0 -1 0 278591 0 0 0 79210 796 0 0 25 0 1 0 675411040 13156352 2228 4294967295 134512640 134714508 3221221792 3221217884 1075663442 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3212 2228 1111 63 0 3149 0
vsize: 12848
[startup+810.051 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 24746
Raw data (stat): 24746 (bsolo_lpr) R 24745 7876 7672 0 -1 0 281811 0 0 0 80200 806 0 0 25 0 1 0 675411040 13340672 2307 4294967295 134512640 134714508 3221221792 3221218820 1075964271 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3257 2307 1111 63 0 3194 0
vsize: 13028
[startup+820.051 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 24746
Raw data (stat): 24746 (bsolo_lpr) R 24745 7876 7672 0 -1 0 285466 0 0 0 81190 816 0 0 25 0 1 0 675411040 11411456 2122 4294967295 134512640 134714508 3221221792 3221220192 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2786 2122 1111 63 0 2723 0
vsize: 11144
[startup+830.053 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 24746
Raw data (stat): 24746 (bsolo_lpr) R 24745 7876 7672 0 -1 0 289043 0 0 0 82180 826 0 0 25 0 1 0 675411040 13373440 2264 4294967295 134512640 134714508 3221221792 3221218064 1074961290 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3265 2264 1111 63 0 3202 0
vsize: 13060
[startup+840.053 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 24746
Raw data (stat): 24746 (bsolo_lpr) R 24745 7876 7672 0 -1 0 292598 0 0 0 83170 837 0 0 25 0 1 0 675411040 13291520 2262 4294967295 134512640 134714508 3221221792 3221218064 1074960865 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3245 2262 1111 63 0 3182 0
vsize: 12980
[startup+850.054 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 24746
Raw data (stat): 24746 (bsolo_lpr) R 24745 7876 7672 0 -1 0 296000 0 0 0 84163 844 0 0 25 0 1 0 675411040 11362304 2110 4294967295 134512640 134714508 3221221792 3221218912 1074865024 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2774 2110 1111 63 0 2711 0
vsize: 11096
[startup+860.055 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 24746
Raw data (stat): 24746 (bsolo_lpr) R 24745 7876 7672 0 -1 0 299714 0 0 0 85152 855 0 0 25 0 1 0 675411040 12996608 2168 4294967295 134512640 134714508 3221221792 3221218064 1074961387 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3173 2168 1111 63 0 3110 0
vsize: 12692
[startup+870.054 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 24746
Raw data (stat): 24746 (bsolo_lpr) R 24745 7876 7672 0 -1 0 303080 0 0 0 86143 864 0 0 25 0 1 0 675411040 13930496 2450 4294967295 134512640 134714508 3221221792 3221218032 1075115717 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3401 2450 1111 63 0 3338 0
vsize: 13604
[startup+880.054 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 24746
Raw data (stat): 24746 (bsolo_lpr) R 24745 7876 7672 0 -1 0 305947 0 0 0 87135 872 0 0 25 0 1 0 675411040 13475840 2322 4294967295 134512640 134714508 3221221792 3221218912 1074834317 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3290 2322 1111 63 0 3227 0
vsize: 13160
[startup+890.056 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 24746
Raw data (stat): 24746 (bsolo_lpr) R 24745 7876 7672 0 -1 0 308812 0 0 0 88126 881 0 0 25 0 1 0 675411040 13107200 2228 4294967295 134512640 134714508 3221221792 3221217952 1074794557 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3200 2228 1111 63 0 3137 0
vsize: 12800
[startup+900.056 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 24746
Raw data (stat): 24746 (bsolo_lpr) R 24745 7876 7672 0 -1 0 311971 0 0 0 89118 890 0 0 25 0 1 0 675411040 11640832 2178 4294967295 134512640 134714508 3221221792 3221220192 1074153766 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2842 2178 1111 63 0 2779 0
vsize: 11368
[startup+910.056 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 24746
Raw data (stat): 24746 (bsolo_lpr) R 24745 7876 7672 0 -1 0 316455 0 0 0 90105 903 0 0 25 0 1 0 675411040 13107200 2208 4294967295 134512640 134714508 3221221792 3221217952 1074794585 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3200 2208 1111 63 0 3137 0
vsize: 12800
[startup+920.057 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 24746
Raw data (stat): 24746 (bsolo_lpr) R 24745 7876 7672 0 -1 0 320787 0 0 0 91093 914 0 0 25 0 1 0 675411040 11640832 2178 4294967295 134512640 134714508 3221221792 3221220192 1074153749 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2842 2178 1111 63 0 2779 0
vsize: 11368
[startup+930.057 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 24746
Raw data (stat): 24746 (bsolo_lpr) R 24745 7876 7672 0 -1 0 324632 0 0 0 92084 923 0 0 25 0 1 0 675411040 13250560 2225 4294967295 134512640 134714508 3221221792 3221217940 1075964396 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3235 2225 1111 63 0 3172 0
vsize: 12940
[startup+940.057 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 24746
Raw data (stat): 24746 (bsolo_lpr) R 24745 7876 7672 0 -1 0 327574 0 0 0 93076 932 0 0 25 0 1 0 675411040 11640832 2178 4294967295 134512640 134714508 3221221792 3221219720 1077380592 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2842 2178 1111 63 0 2779 0
vsize: 11368
[startup+950.059 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 24746
Raw data (stat): 24746 (bsolo_lpr) R 24745 7876 7672 0 -1 0 332097 0 0 0 94064 945 0 0 25 0 1 0 675411040 11640832 2178 4294967295 134512640 134714508 3221221792 3221220192 1074153760 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2842 2178 1111 63 0 2779 0
vsize: 11368
[startup+960.059 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 24746
Raw data (stat): 24746 (bsolo_lpr) R 24745 7876 7672 0 -1 0 335611 0 0 0 95053 955 0 0 25 0 1 0 675411040 11669504 2185 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2849 2185 1111 63 0 2786 0
vsize: 11396
[startup+970.059 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 24746
Raw data (stat): 24746 (bsolo_lpr) R 24745 7876 7672 0 -1 0 339605 0 0 0 96044 964 0 0 25 0 1 0 675411040 11702272 2193 4294967295 134512640 134714508 3221221792 3221219976 1077377885 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2857 2193 1111 63 0 2794 0
vsize: 11428
[startup+980.059 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 24746
Raw data (stat): 24746 (bsolo_lpr) R 24745 7876 7672 0 -1 0 344075 0 0 0 97034 974 0 0 25 0 1 0 675411040 13398016 2281 4294967295 134512640 134714508 3221221792 3221217728 1075965263 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3271 2281 1111 63 0 3208 0
vsize: 13084
[startup+990.059 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 24746
Raw data (stat): 24746 (bsolo_lpr) R 24745 7876 7672 0 -1 0 348426 0 0 0 98023 986 0 0 25 0 1 0 675411040 13438976 2303 4294967295 134512640 134714508 3221221792 3221218020 1075115039 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3281 2303 1111 63 0 3218 0
vsize: 13124
[startup+1000.06 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 24746
Raw data (stat): 24746 (bsolo_lpr) R 24745 7876 7672 0 -1 0 352286 0 0 0 99014 995 0 0 25 0 1 0 675411040 11714560 2196 4294967295 134512640 134714508 3221221792 3221220028 1077410225 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2860 2196 1111 63 0 2797 0
vsize: 11440
[startup+1010.06 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 24746
Raw data (stat): 24746 (bsolo_lpr) R 24745 7876 7672 0 -1 0 356705 0 0 0 100001 1008 0 0 25 0 1 0 675411040 11714560 2196 4294967295 134512640 134714508 3221221792 3221219960 1077377382 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2860 2196 1111 63 0 2797 0
vsize: 11440
[startup+1020.06 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 24746
Raw data (stat): 24746 (bsolo_lpr) R 24745 7876 7672 0 -1 0 361830 0 0 0 100988 1022 0 0 25 0 1 0 675411040 11755520 2206 4294967295 134512640 134714508 3221221792 3221219072 1074139935 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2870 2206 1111 63 0 2807 0
vsize: 11480
[startup+1030.06 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 24746
Raw data (stat): 24746 (bsolo_lpr) R 24745 7876 7672 0 -1 0 366737 0 0 0 101974 1035 0 0 25 0 1 0 675411040 11792384 2215 4294967295 134512640 134714508 3221221792 3221219976 1077377368 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2879 2215 1111 63 0 2816 0
vsize: 11516
[startup+1040.06 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 24746
Raw data (stat): 24746 (bsolo_lpr) R 24745 7876 7672 0 -1 0 371405 0 0 0 102962 1048 0 0 25 0 1 0 675411040 13492224 2292 4294967295 134512640 134714508 3221221792 3221217688 1074789527 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3294 2292 1111 63 0 3231 0
vsize: 13176
[startup+1050.06 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 24746
Raw data (stat): 24746 (bsolo_lpr) R 24745 7876 7672 0 -1 0 375259 0 0 0 103953 1057 0 0 25 0 1 0 675411040 13492224 2292 4294967295 134512640 134714508 3221221792 3221218324 1075863609 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3294 2292 1111 63 0 3231 0
vsize: 13176
[startup+1060.06 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 24746
Raw data (stat): 24746 (bsolo_lpr) R 24745 7876 7672 0 -1 0 380251 0 0 0 104940 1070 0 0 25 0 1 0 675411040 11837440 2216 4294967295 134512640 134714508 3221221792 3221219792 1074915852 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2890 2216 1111 63 0 2827 0
vsize: 11560
[startup+1070.06 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 24746
Raw data (stat): 24746 (bsolo_lpr) R 24745 7876 7672 0 -1 0 385175 0 0 0 105926 1085 0 0 25 0 1 0 675411040 13549568 2309 4294967295 134512640 134714508 3221221792 3221217848 1074789527 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3308 2309 1111 63 0 3245 0
vsize: 13232
[startup+1080.06 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 24746
Raw data (stat): 24746 (bsolo_lpr) R 24745 7876 7672 0 -1 0 389032 0 0 0 106916 1095 0 0 25 0 1 0 675411040 11927552 2248 4294967295 134512640 134714508 3221221792 3221220124 1077402400 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2912 2248 1111 63 0 2849 0
vsize: 11648
[startup+1090.06 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 24746
Raw data (stat): 24746 (bsolo_lpr) R 24745 7876 7672 0 -1 0 394574 0 0 0 107902 1108 0 0 25 0 1 0 675411040 11927552 2248 4294967295 134512640 134714508 3221221792 3221220192 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2912 2248 1111 63 0 2849 0
vsize: 11648
[startup+1100.06 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 24746
Raw data (stat): 24746 (bsolo_lpr) R 24745 7876 7672 0 -1 0 399540 0 0 0 108889 1121 0 0 25 0 1 0 675411040 11980800 2261 4294967295 134512640 134714508 3221221792 3221220192 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2925 2261 1111 63 0 2862 0
vsize: 11700
[startup+1110.06 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 24746
Raw data (stat): 24746 (bsolo_lpr) R 24745 7876 7672 0 -1 0 406638 0 0 0 109871 1140 0 0 25 0 1 0 675411040 13447168 2298 4294967295 134512640 134714508 3221221792 3221218912 1074834317 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3283 2298 1111 63 0 3220 0
vsize: 13132
[startup+1120.06 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 24746
Raw data (stat): 24746 (bsolo_lpr) R 24745 7876 7672 0 -1 0 412818 0 0 0 110856 1155 0 0 25 0 1 0 675411040 11980800 2261 4294967295 134512640 134714508 3221221792 3221220192 1074153648 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2925 2261 1111 63 0 2862 0
vsize: 11700
[startup+1130.06 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 24746
Raw data (stat): 24746 (bsolo_lpr) R 24745 7876 7672 0 -1 0 416394 0 0 0 111847 1165 0 0 25 0 1 0 675411040 13615104 2324 4294967295 134512640 134714508 3221221792 3221218000 1074815430 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3324 2324 1111 63 0 3261 0
vsize: 13296
[startup+1140.06 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 24746
Raw data (stat): 24746 (bsolo_lpr) R 24745 7876 7672 0 -1 0 419847 0 0 0 112837 1174 0 0 25 0 1 0 675411040 11964416 2257 4294967295 134512640 134714508 3221221792 3221219792 1074056557 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2921 2257 1111 63 0 2858 0
vsize: 11684
[startup+1150.06 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 24746
Raw data (stat): 24746 (bsolo_lpr) R 24745 7876 7672 0 -1 0 424209 0 0 0 113825 1187 0 0 25 0 1 0 675411040 11976704 2260 4294967295 134512640 134714508 3221221792 3221220144 1074115296 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2924 2260 1111 63 0 2861 0
vsize: 11696
[startup+1160.06 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 24746
Raw data (stat): 24746 (bsolo_lpr) R 24745 7876 7672 0 -1 0 428199 0 0 0 114815 1197 0 0 25 0 1 0 675411040 11948032 2253 4294967295 134512640 134714508 3221221792 3221220240 1073990361 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2917 2253 1111 63 0 2854 0
vsize: 11668
[startup+1170.06 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 24746
Raw data (stat): 24746 (bsolo_lpr) R 24745 7876 7672 0 -1 0 433003 0 0 0 115801 1211 0 0 25 0 1 0 675411040 11948032 2253 4294967295 134512640 134714508 3221221792 3221219576 1077410205 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2957 2259 1111 63 0 2894 0
vsize: 11668
[startup+1174.97 s]
Raw data (loadavg): 0.99 0.98 0.98 1/53 24746
Raw data (stat): 24746 (bsolo_lpr) R 24745 7876 7672 0 -1 0 433003 0 0 0 115801 1211 0 0 25 0 1 0 675411040 11948032 2253 4294967295 134512640 134714508 3221221792 3221219576 1077410205 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2957 2259 1111 63 0 2894 0
vsize: 0

Child status: 10
Real time (s): 1174.97
CPU time (s): 1175.03
CPU user time (s): 1162.86
CPU system time (s): 12.1761
CPU usage (%): 100.006
Max. virtual memory (Kb): 13604
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	240
#### END VERIFIER DATA ####