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-ii32c3.opb
MD5SUM	00d830716ad6728e4af33fe898d69922
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	261
Optimality of the best value was proved	NO
Number of terms in the objective function	558
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	558
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	558
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.03284
Number of variables	558
Total number of constraints	3551
Number of constraints which are clauses	3551
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 23902

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-06 04:45:58 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=1369 boxname=wulflinc31 idbench=153 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  00d830716ad6728e4af33fe898d69922  /oldhome/oroussel/tmp/wulflinc31/normalized-ii32c3.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-ii32c3.opb
IDLAUNCH: 1369
/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:        154920 kB
Buffers:         35816 kB
Cached:         809664 kB
SwapCached:        644 kB
Active:         483340 kB
Inactive:       364460 kB
HighTotal:      131008 kB
HighFree:        11900 kB
LowTotal:       903652 kB
LowFree:        143020 kB
SwapTotal:     2097892 kB
SwapFree:      2096612 kB
Dirty:             304 kB
Writeback:           0 kB
Mapped:           5608 kB
Slab:            26356 kB
Committed_AS:    63652 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-06 05:05:33 (client local time) WITH STATUS 10 IN 1175.17 SECONDS
stats: 1369 0 1175.17 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 558 variables and 3551 constraints.
c After prepocess the problem consists of 558 variables and 3551 constraints.
c preprocess terminated 6.028 s
c Initial Lower Bound: 189
c Lower Bound Elapsed time: 1.826
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: 279 @ 31.682
c NEW SOLUTION FOUND: 278 @ 31.684
c NEW SOLUTION FOUND: 277 @ 31.692
c NEW SOLUTION FOUND: 276 @ 31.699
c NEW SOLUTION FOUND: 275 @ 31.713
c NEW SOLUTION FOUND: 274 @ 31.72
c NEW SOLUTION FOUND: 265 @ 32.948
s SATISFIABLE
v x1 -x2 x3 -x4 -x5 x6 x7 -x8 x9 -x10 x11 -x12 x13 -x14 x15 -x16 x17 -x18 x19 -x20 x21 -x22 x23 -x24 x25 -x26 x27 -x28 x29 -x30 x31 -x32 x33 -x34 x35 -x36 x37 -x38 x39 -x40 x41 -x42 x43 -x44 x45 -x46 x47 -x48 x49 -x50 x51 -x52 x53 -x54 x55 -x56 x57 -x58 x59 -x60 x61 -x62 x63 -x64 x65 -x66 x67 -x68 x69 -x70 x71 -x72 x73 -x74 x75 -x76 x77 -x78 -x79 x80 x81 -x82 x83 -x84 x85 -x86 x87 -x88 x89 -x90 x91 -x92 x93 -x94 x95 -x96 x97 -x98 x99 -x100 x101 -x102 x103 -x104 x105 -x106 x107 -x108 x109 -x110 x111 -x112 x113 -x114 x115 -x116 x117 -x118 x119 -x120 x121 -x122 x123 -x124 -x125 x126 x127 -x128 -x129 -x130 x131 -x132 -x133 -x134 x135 -x136 x137 -x138 x139 -x140 x141 -x142 -x143 -x144 x145 -x146 x147 -x148 -x149 -x150 x151 -x152 -x153 -x154 x155 -x156 x157 -x158 x159 -x160 x161 -x162 x163 -x164 x165 -x166 x167 -x168 x169 -x170 x171 -x172 x173 -x174 x175 -x176 x177 -x178 x179 -x180 x181 -x182 x183 -x184 x185 -x186 -x187 -x188 x189 -x190 -x191 x192 x193 -x194 -x195 -x196 x197 -x198 -x199 -x200 -x201 -x202 x203 -x204 -x205 x206 x207 -x208 x209 -x210 -x211 -x212 x213 -x214 -x215 -x216 x217 -x218 -x219 x220 -x221 -x222 x223 -x224 x225 -x226 -x227 -x228 -x229 x230 x231 -x232 x233 -x234 x235 -x236 -x237 x238 x239 -x240 x241 -x242 x243 -x244 x245 -x246 x247 -x248 x249 -x250 x251 -x252 x253 -x254 x255 -x256 x257 -x258 x259 -x260 -x261 x262 x263 -x264 -x265 x266 x267 -x268 x269 -x270 x271 -x272 x273 -x274 x275 -x276 x277 -x278 x279 -x280 x281 -x282 x283 -x284 x285 -x286 x287 -x288 x289 -x290 x291 -x292 x293 -x294 x295 -x296 x297 -x298 x299 -x300 x301 -x302 x303 -x304 x305 -x306 x307 -x308 x309 -x310 x311 -x312 -x313 x314 x315 -x316 x317 -x318 x319 -x320 x321 -x322 x323 -x324 x325 -x326 x327 -x328 -x329 x330 x331 -x332 x333 -x334 x335 -x336 x337 -x338 x339 -x340 x341 -x342 x343 -x344 x345 -x346 x347 -x348 x349 -x350 -x351 x352 x353 -x354 x355 -x356 x357 -x358 x359 -x360 x361 -x362 x363 -x364 x365 -x366 x367 -x368 x369 -x370 x371 -x372 x373 -x374 x375 -x376 -x377 x378 x379 -x380 x381 -x382 x383 -x384 x385 -x386 -x387 x388 -x389 x390 x391 -x392 -x393 x394 -x395 x396 x397 -x398 -x399 x400 -x401 x402 x403 -x404 -x405 x406 -x407 x408 x409 -x410 -x411 x412 -x413 x414 x415 -x416 -x417 x418 -x419 x420 -x421 x422 -x423 x424 x425 -x426 -x427 x428 -x429 x430 x431 -x432 x433 -x434 -x435 x436 -x437 x438 x439 -x440 -x441 x442 -x443 x444 x445 -x446 -x447 x448 -x449 x450 -x451 -x452 -x453 x454 x455 -x456 -x457 x458 -x459 x460 x461 -x462 x463 -x464 -x465 x466 -x467 x468 x469 -x470 -x471 x472 -x473 x474 x475 -x476 -x477 x478 -x479 x480 -x481 x482 x483 -x484 -x485 x486 x487 -x488 -x489 x490 -x491 x492 x493 -x494 -x495 x496 -x497 x498 x499 -x500 -x501 x502 -x503 x504 x505 -x506 -x507 x508 -x509 x510 x511 -x512 -x513 x514 -x515 x516 -x517 x518 x519 -x520 -x521 x522 x523 -x524 -x525 x526 -x527 x528 -x529 x530 -x531 x532 x533 -x534 x535 -x536 -x537 x538 -x539 x540 x541 -x542 -x543 x544 -x545 x546 -x547 x548 -x549 x550 x551 -x552 x553 -x554 -x555 x556 -x557 x558 
c Exit Code: 10
c Total time: 1175.14 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.91 0.97 0.99 2/54 21314
Raw data (stat): 21314 (runsolver) R 21313 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 671906851 1056768 100 4294967295 134512640 135381576 3221221696 3221216916 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0006 s]
Raw data (loadavg): 0.93 0.97 0.99 2/54 21314
Raw data (stat): 21314 (bsolo_lpr) R 21313 7876 7672 0 -1 0 4716 0 0 0 981 14 0 0 25 0 1 0 671906851 12447744 2111 4294967295 134512640 134714508 3221221792 3221218544 1075115385 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3039 2111 1111 63 0 2976 0
vsize: 12156
[startup+20.0015 s]
Raw data (loadavg): 0.94 0.97 0.99 2/54 21314
Raw data (stat): 21314 (bsolo_lpr) R 21313 7876 7672 0 -1 0 11168 0 0 0 1964 31 0 0 25 0 1 0 671906851 11554816 2070 4294967295 134512640 134714508 3221221792 3221219708 1074788953 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2821 2070 1111 63 0 2758 0
vsize: 11284
[startup+30.0029 s]
Raw data (loadavg): 0.95 0.97 0.99 2/54 21314
Raw data (stat): 21314 (bsolo_lpr) R 21313 7876 7672 0 -1 0 13398 0 0 0 2957 38 0 0 25 0 1 0 671906851 10838016 1968 4294967295 134512640 134714508 3221221792 3221220352 134542312 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2646 1968 1111 63 0 2583 0
vsize: 10584
[startup+40.0023 s]
Raw data (loadavg): 0.95 0.97 0.99 2/54 21314
Raw data (stat): 21314 (bsolo_lpr) R 21313 7876 7672 0 -1 0 16443 0 0 0 3947 46 0 0 25 0 1 0 671906851 11075584 2034 4294967295 134512640 134714508 3221221792 3221220096 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2704 2034 1111 63 0 2641 0
vsize: 10816
[startup+50.0035 s]
Raw data (loadavg): 0.96 0.97 0.99 2/54 21314
Raw data (stat): 21314 (bsolo_lpr) R 21313 7876 7672 0 -1 0 19752 0 0 0 4938 56 0 0 25 0 1 0 671906851 12673024 2077 4294967295 134512640 134714508 3221221792 3221217760 1074872826 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3094 2077 1111 63 0 3031 0
vsize: 12376
[startup+60.0035 s]
Raw data (loadavg): 0.97 0.97 0.99 2/54 21314
Raw data (stat): 21314 (bsolo_lpr) R 21313 7876 7672 0 -1 0 23271 0 0 0 5929 65 0 0 25 0 1 0 671906851 13025280 2157 4294967295 134512640 134714508 3221221792 3221218176 1074972137 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3180 2157 1111 63 0 3117 0
vsize: 12720
[startup+70.0041 s]
Raw data (loadavg): 0.97 0.97 0.99 2/54 21314
Raw data (stat): 21314 (bsolo_lpr) R 21313 7876 7672 0 -1 0 27295 0 0 0 6918 76 0 0 25 0 1 0 671906851 12816384 2114 4294967295 134512640 134714508 3221221792 3221218020 1075115125 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3129 2114 1111 63 0 3066 0
vsize: 12516
[startup+80.0051 s]
Raw data (loadavg): 0.98 0.97 0.99 2/54 21314
Raw data (stat): 21314 (bsolo_lpr) R 21313 7876 7672 0 -1 0 30984 0 0 0 7910 85 0 0 25 0 1 0 671906851 11161600 2055 4294967295 134512640 134714508 3221221792 3221220192 1074153786 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2725 2055 1111 63 0 2662 0
vsize: 10900
[startup+90.0053 s]
Raw data (loadavg): 0.98 0.97 0.99 2/54 21314
Raw data (stat): 21314 (bsolo_lpr) R 21313 7876 7672 0 -1 0 34326 0 0 0 8900 94 0 0 25 0 1 0 671906851 11296768 2056 4294967295 134512640 134714508 3221221792 3221219520 1075828449 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2758 2056 1111 63 0 2695 0
vsize: 11032
[startup+100.006 s]
Raw data (loadavg): 0.98 0.97 0.99 2/54 21314
Raw data (stat): 21314 (bsolo_lpr) R 21313 7876 7672 0 -1 0 37721 0 0 0 9891 104 0 0 25 0 1 0 671906851 12759040 2105 4294967295 134512640 134714508 3221221792 3221218880 1075661523 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3115 2105 1111 63 0 3052 0
vsize: 12460
[startup+110.006 s]
Raw data (loadavg): 0.98 0.97 0.99 2/54 21314
Raw data (stat): 21314 (bsolo_lpr) R 21313 7876 7672 0 -1 0 41376 0 0 0 10881 114 0 0 25 0 1 0 671906851 13004800 2159 4294967295 134512640 134714508 3221221792 3221218032 1075115730 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3175 2159 1111 63 0 3112 0
vsize: 12700
[startup+120.007 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 21314
Raw data (stat): 21314 (bsolo_lpr) R 21313 7876 7672 0 -1 0 45273 0 0 0 11870 125 0 0 25 0 1 0 671906851 13201408 2207 4294967295 134512640 134714508 3221221792 3221218032 1075115715 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3223 2207 1111 63 0 3160 0
vsize: 12892
[startup+130.007 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 21314
Raw data (stat): 21314 (bsolo_lpr) R 21313 7876 7672 0 -1 0 49507 0 0 0 12859 137 0 0 25 0 1 0 671906851 13283328 2232 4294967295 134512640 134714508 3221221792 3221218020 1075115057 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3243 2232 1111 63 0 3180 0
vsize: 12972
[startup+140.007 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 21314
Raw data (stat): 21314 (bsolo_lpr) R 21313 7876 7672 0 -1 0 54489 0 0 0 13845 151 0 0 25 0 1 0 671906851 13119488 2200 4294967295 134512640 134714508 3221221792 3221218064 1074961301 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3203 2200 1111 63 0 3140 0
vsize: 12812
[startup+150.008 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 21314
Raw data (stat): 21314 (bsolo_lpr) R 21313 7876 7672 0 -1 0 59465 0 0 0 14832 164 0 0 25 0 1 0 671906851 11218944 2069 4294967295 134512640 134714508 3221221792 3221220192 1074153822 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2739 2069 1111 63 0 2676 0
vsize: 10956
[startup+160.008 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 21314
Raw data (stat): 21314 (bsolo_lpr) R 21313 7876 7672 0 -1 0 63136 0 0 0 15823 173 0 0 25 0 1 0 671906851 13631488 2352 4294967295 134512640 134714508 3221221792 3221218064 1074960837 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3328 2352 1111 63 0 3265 0
vsize: 13312
[startup+170.009 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 21314
Raw data (stat): 21314 (bsolo_lpr) R 21313 7876 7672 0 -1 0 66051 0 0 0 16816 180 0 0 25 0 1 0 671906851 11583488 2158 4294967295 134512640 134714508 3221221792 3221220452 134649897 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2828 2158 1111 63 0 2765 0
vsize: 11312
[startup+180.017 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 21314
Raw data (stat): 21314 (bsolo_lpr) R 21313 7876 7672 0 -1 0 68646 0 0 0 17810 187 0 0 25 0 1 0 671906851 13332480 2243 4294967295 134512640 134714508 3221221792 3221218304 1075084533 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3255 2243 1111 63 0 3192 0
vsize: 13020
[startup+190.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 21314
Raw data (stat): 21314 (bsolo_lpr) R 21313 7876 7672 0 -1 0 72072 0 0 0 18801 197 0 0 25 0 1 0 671906851 13881344 2433 4294967295 134512640 134714508 3221221792 3221217920 1075561204 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3389 2433 1111 63 0 3326 0
vsize: 13556
[startup+200.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 21314
Raw data (stat): 21314 (bsolo_lpr) R 21313 7876 7672 0 -1 0 74979 0 0 0 19792 205 0 0 25 0 1 0 671906851 13574144 2351 4294967295 134512640 134714508 3221221792 3221218032 1075115704 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3314 2351 1111 63 0 3251 0
vsize: 13256
[startup+210.017 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 21314
Raw data (stat): 21314 (bsolo_lpr) R 21313 7876 7672 0 -1 0 77903 0 0 0 20786 212 0 0 25 0 1 0 671906851 13549568 2344 4294967295 134512640 134714508 3221221792 3221218032 1075115747 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3308 2344 1111 63 0 3245 0
vsize: 13232
[startup+220.017 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 21314
Raw data (stat): 21314 (bsolo_lpr) R 21313 7876 7672 0 -1 0 80631 0 0 0 21780 218 0 0 25 0 1 0 671906851 13565952 2289 4294967295 134512640 134714508 3221221792 3221218032 1075115715 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3312 2289 1111 63 0 3249 0
vsize: 13248
[startup+230.018 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 21314
Raw data (stat): 21314 (bsolo_lpr) R 21313 7876 7672 0 -1 0 83287 0 0 0 22773 225 0 0 25 0 1 0 671906851 11665408 2178 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2848 2178 1111 63 0 2785 0
vsize: 11392
[startup+240.017 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 21314
Raw data (stat): 21314 (bsolo_lpr) R 21313 7876 7672 0 -1 0 86057 0 0 0 23765 233 0 0 25 0 1 0 671906851 11665408 2178 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2848 2178 1111 63 0 2785 0
vsize: 11392
[startup+250.018 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 21314
Raw data (stat): 21314 (bsolo_lpr) R 21313 7876 7672 0 -1 0 89117 0 0 0 24757 242 0 0 25 0 1 0 671906851 13750272 2376 4294967295 134512640 134714508 3221221792 3221218560 1076083615 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3357 2376 1111 63 0 3294 0
vsize: 13428
[startup+260.018 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 21314
Raw data (stat): 21314 (bsolo_lpr) R 21313 7876 7672 0 -1 0 92384 0 0 0 25748 250 0 0 25 0 1 0 671906851 11665408 2178 4294967295 134512640 134714508 3221221792 3221220528 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2848 2178 1111 63 0 2785 0
vsize: 11392
[startup+270.019 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 21314
Raw data (stat): 21314 (bsolo_lpr) R 21313 7876 7672 0 -1 0 96122 0 0 0 26739 260 0 0 25 0 1 0 671906851 13733888 2351 4294967295 134512640 134714508 3221221792 3221217952 1074883521 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3353 2351 1111 63 0 3290 0
vsize: 13412
[startup+280.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 21314
Raw data (stat): 21314 (bsolo_lpr) R 21313 7876 7672 0 -1 0 99912 0 0 0 27727 272 0 0 25 0 1 0 671906851 11689984 2184 4294967295 134512640 134714508 3221221792 3221220048 1074153822 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2854 2184 1111 63 0 2791 0
vsize: 11416
[startup+290.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 21314
Raw data (stat): 21314 (bsolo_lpr) R 21313 7876 7672 0 -1 0 103413 0 0 0 28718 282 0 0 25 0 1 0 671906851 11689984 2184 4294967295 134512640 134714508 3221221792 3221220192 1074153779 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2854 2184 1111 63 0 2791 0
vsize: 11416
[startup+300.021 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 21314
Raw data (stat): 21314 (bsolo_lpr) R 21313 7876 7672 0 -1 0 107016 0 0 0 29708 292 0 0 25 0 1 0 671906851 13508608 2299 4294967295 134512640 134714508 3221221792 3221218032 1075115747 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3298 2299 1111 63 0 3235 0
vsize: 13192
[startup+310.021 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 21314
Raw data (stat): 21314 (bsolo_lpr) R 21313 7876 7672 0 -1 0 110099 0 0 0 30700 300 0 0 25 0 1 0 671906851 13778944 2378 4294967295 134512640 134714508 3221221792 3221218232 1077410205 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3364 2378 1111 63 0 3301 0
vsize: 13456
[startup+320.022 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 21314
Raw data (stat): 21314 (bsolo_lpr) R 21313 7876 7672 0 -1 0 114136 0 0 0 31689 311 0 0 25 0 1 0 671906851 11747328 2198 4294967295 134512640 134714508 3221221792 3221220192 1074153792 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2868 2198 1111 63 0 2805 0
vsize: 11472
[startup+330.022 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 21314
Raw data (stat): 21314 (bsolo_lpr) R 21313 7876 7672 0 -1 0 118141 0 0 0 32679 321 0 0 25 0 1 0 671906851 13955072 2441 4294967295 134512640 134714508 3221221792 3221217920 1075561237 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3407 2441 1111 63 0 3344 0
vsize: 13628
[startup+340.022 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 21314
Raw data (stat): 21314 (bsolo_lpr) R 21313 7876 7672 0 -1 0 122095 0 0 0 33669 332 0 0 25 0 1 0 671906851 11747328 2198 4294967295 134512640 134714508 3221221792 3221219656 1077380592 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2868 2198 1111 63 0 2805 0
vsize: 11472
[startup+350.023 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 21314
Raw data (stat): 21314 (bsolo_lpr) R 21313 7876 7672 0 -1 0 126260 0 0 0 34657 344 0 0 25 0 1 0 671906851 11747328 2198 4294967295 134512640 134714508 3221221792 3221220192 1074153675 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2868 2198 1111 63 0 2805 0
vsize: 11472
[startup+360.023 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 21314
Raw data (stat): 21314 (bsolo_lpr) R 21313 7876 7672 0 -1 0 130405 0 0 0 35648 353 0 0 25 0 1 0 671906851 13484032 2258 4294967295 134512640 134714508 3221221792 3221218384 1074886213 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3292 2258 1111 63 0 3229 0
vsize: 13168
[startup+370.023 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 21314
Raw data (stat): 21314 (bsolo_lpr) R 21313 7876 7672 0 -1 0 134115 0 0 0 36638 363 0 0 25 0 1 0 671906851 13672448 2342 4294967295 134512640 134714508 3221221792 3221217952 1074794593 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3338 2342 1111 63 0 3275 0
vsize: 13352
[startup+380.023 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 21314
Raw data (stat): 21314 (bsolo_lpr) R 21313 7876 7672 0 -1 0 137646 0 0 0 37628 373 0 0 25 0 1 0 671906851 13873152 2390 4294967295 134512640 134714508 3221221792 3221218064 1074960795 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3387 2390 1111 63 0 3324 0
vsize: 13548
[startup+390.024 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 21314
Raw data (stat): 21314 (bsolo_lpr) R 21313 7876 7672 0 -1 0 140321 0 0 0 38622 380 0 0 25 0 1 0 671906851 12140544 2294 4294967295 134512640 134714508 3221221792 3221220192 1074153792 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2964 2294 1111 63 0 2901 0
vsize: 11856
[startup+400.024 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 21314
Raw data (stat): 21314 (bsolo_lpr) R 21313 7876 7672 0 -1 0 143529 0 0 0 39613 388 0 0 25 0 1 0 671906851 12075008 2278 4294967295 134512640 134714508 3221221792 3221220096 1073978447 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2948 2278 1111 63 0 2885 0
vsize: 11792
[startup+410.025 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 21314
Raw data (stat): 21314 (bsolo_lpr) R 21313 7876 7672 0 -1 0 146858 0 0 0 40605 396 0 0 25 0 1 0 671906851 14430208 2575 4294967295 134512640 134714508 3221221792 3221217920 1075561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3523 2575 1111 63 0 3460 0
vsize: 14092
[startup+420.026 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 21314
Raw data (stat): 21314 (bsolo_lpr) R 21313 7876 7672 0 -1 0 149954 0 0 0 41597 405 0 0 25 0 1 0 671906851 13860864 2362 4294967295 134512640 134714508 3221221792 3221218320 1075397167 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3384 2362 1111 63 0 3321 0
vsize: 13536
[startup+430.025 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 21314
Raw data (stat): 21314 (bsolo_lpr) R 21313 7876 7672 0 -1 0 153152 0 0 0 42589 413 0 0 25 0 1 0 671906851 12124160 2290 4294967295 134512640 134714508 3221221792 3221220252 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2960 2290 1111 63 0 2897 0
vsize: 11840
[startup+440.025 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 21314
Raw data (stat): 21314 (bsolo_lpr) R 21313 7876 7672 0 -1 0 156277 0 0 0 43580 422 0 0 25 0 1 0 671906851 13774848 2339 4294967295 134512640 134714508 3221221792 3221217920 1075112103 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3363 2339 1111 63 0 3300 0
vsize: 13452
[startup+450.025 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 21314
Raw data (stat): 21314 (bsolo_lpr) R 21313 7876 7672 0 -1 0 159454 0 0 0 44570 433 0 0 25 0 1 0 671906851 14499840 2596 4294967295 134512640 134714508 3221221792 3221218560 1076084148 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3540 2596 1111 63 0 3477 0
vsize: 14160
[startup+460.026 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 21314
Raw data (stat): 21314 (bsolo_lpr) R 21313 7876 7672 0 -1 0 162732 0 0 0 45562 441 0 0 25 0 1 0 671906851 13721600 2326 4294967295 134512640 134714508 3221221792 3221218020 1075115065 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3350 2326 1111 63 0 3287 0
vsize: 13400
[startup+470.027 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 21314
Raw data (stat): 21314 (bsolo_lpr) R 21313 7876 7672 0 -1 0 166603 0 0 0 46551 452 0 0 25 0 1 0 671906851 13881344 2353 4294967295 134512640 134714508 3221221792 3221217740 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3389 2353 1111 63 0 3326 0
vsize: 13556
[startup+480.027 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 21314
Raw data (stat): 21314 (bsolo_lpr) R 21313 7876 7672 0 -1 0 170233 0 0 0 47541 462 0 0 25 0 1 0 671906851 14569472 2592 4294967295 134512640 134714508 3221221792 3221217740 1074788953 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3557 2592 1111 63 0 3494 0
vsize: 14228
[startup+490.027 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 21314
Raw data (stat): 21314 (bsolo_lpr) R 21313 7876 7672 0 -1 0 173409 0 0 0 48534 470 0 0 25 0 1 0 671906851 12288000 2330 4294967295 134512640 134714508 3221221792 3221220192 1074153792 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3000 2330 1111 63 0 2937 0
vsize: 12000
[startup+500.027 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 21314
Raw data (stat): 21314 (bsolo_lpr) R 21313 7876 7672 0 -1 0 176712 0 0 0 49526 478 0 0 25 0 1 0 671906851 14147584 2617 4294967295 134512640 134714508 3221221792 3221218032 1075115704 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3454 2617 1111 63 0 3391 0
vsize: 13816
[startup+510.027 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 21314
Raw data (stat): 21314 (bsolo_lpr) R 21313 7876 7672 0 -1 0 180374 0 0 0 50517 487 0 0 25 0 1 0 671906851 12288000 2330 4294967295 134512640 134714508 3221221792 3221220088 1074138150 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3000 2330 1111 63 0 2937 0
vsize: 12000
[startup+520.028 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 21314
Raw data (stat): 21314 (bsolo_lpr) R 21313 7876 7672 0 -1 0 183848 0 0 0 51508 496 0 0 25 0 1 0 671906851 12333056 2341 4294967295 134512640 134714508 3221221792 3221220412 134543156 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3011 2341 1111 63 0 2948 0
vsize: 12044
[startup+530.029 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 21314
Raw data (stat): 21314 (bsolo_lpr) R 21313 7876 7672 0 -1 0 187343 0 0 0 52499 505 0 0 25 0 1 0 671906851 13885440 2367 4294967295 134512640 134714508 3221221792 3221217824 1075965307 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3390 2367 1111 63 0 3327 0
vsize: 13560
[startup+540.029 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 21314
Raw data (stat): 21314 (bsolo_lpr) R 21313 7876 7672 0 -1 0 191255 0 0 0 53490 514 0 0 25 0 1 0 671906851 14458880 2557 4294967295 134512640 134714508 3221221792 3221218856 1077410205 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3530 2557 1111 63 0 3467 0
vsize: 14120
[startup+550.029 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 21314
Raw data (stat): 21314 (bsolo_lpr) R 21313 7876 7672 0 -1 0 195217 0 0 0 54480 524 0 0 25 0 1 0 671906851 14123008 2620 4294967295 134512640 134714508 3221221792 3221218064 1074960909 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3448 2620 1111 63 0 3385 0
vsize: 13792
[startup+560.029 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 21314
Raw data (stat): 21314 (bsolo_lpr) R 21313 7876 7672 0 -1 0 198786 0 0 0 55471 533 0 0 25 0 1 0 671906851 12492800 2380 4294967295 134512640 134714508 3221221792 3221220192 1074153736 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3050 2380 1111 63 0 2987 0
vsize: 12200
[startup+570.031 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 21314
Raw data (stat): 21314 (bsolo_lpr) R 21313 7876 7672 0 -1 0 201883 0 0 0 56462 543 0 0 25 0 1 0 671906851 12509184 2384 4294967295 134512640 134714508 3221221792 3221220188 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3054 2384 1111 63 0 2991 0
vsize: 12216
[startup+580.031 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 21314
Raw data (stat): 21314 (bsolo_lpr) R 21313 7876 7672 0 -1 0 205090 0 0 0 57453 552 0 0 25 0 1 0 671906851 14274560 2447 4294967295 134512640 134714508 3221221792 3221217884 1075663503 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3485 2447 1111 63 0 3422 0
vsize: 13940
[startup+590.032 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 21314
Raw data (stat): 21314 (bsolo_lpr) R 21313 7876 7672 0 -1 0 208215 0 0 0 58447 558 0 0 25 0 1 0 671906851 12492800 2380 4294967295 134512640 134714508 3221221792 3221219932 1077404715 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3050 2380 1111 63 0 2987 0
vsize: 12200
[startup+600.033 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 21314
Raw data (stat): 21314 (bsolo_lpr) R 21313 7876 7672 0 -1 0 211574 0 0 0 59438 568 0 0 25 0 1 0 671906851 14528512 2514 4294967295 134512640 134714508 3221221792 3221218128 1075113502 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3547 2514 1111 63 0 3484 0
vsize: 14188
[startup+610.032 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 21314
Raw data (stat): 21314 (bsolo_lpr) R 21313 7876 7672 0 -1 0 215316 0 0 0 60428 578 0 0 25 0 1 0 671906851 12492800 2380 4294967295 134512640 134714508 3221221792 3221220192 1074153800 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3050 2380 1111 63 0 2987 0
vsize: 12200
[startup+620.033 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 21314
Raw data (stat): 21314 (bsolo_lpr) R 21313 7876 7672 0 -1 0 219438 0 0 0 61417 589 0 0 25 0 1 0 671906851 14319616 2444 4294967295 134512640 134714508 3221221792 3221217672 1074788363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3496 2444 1111 63 0 3433 0
vsize: 13984
[startup+630.034 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 21314
Raw data (stat): 21314 (bsolo_lpr) R 21313 7876 7672 0 -1 0 223231 0 0 0 62408 599 0 0 25 0 1 0 671906851 12492800 2380 4294967295 134512640 134714508 3221221792 3221220104 1074138144 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3050 2380 1111 63 0 2987 0
vsize: 12200
[startup+640.034 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 21314
Raw data (stat): 21314 (bsolo_lpr) R 21313 7876 7672 0 -1 0 226694 0 0 0 63398 608 0 0 25 0 1 0 671906851 12910592 2482 4294967295 134512640 134714508 3221221792 3221219720 1077378776 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3152 2482 1111 63 0 3089 0
vsize: 12608
[startup+650.034 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 21314
Raw data (stat): 21314 (bsolo_lpr) R 21313 7876 7672 0 -1 0 229441 0 0 0 64391 615 0 0 25 0 1 0 671906851 14884864 2617 4294967295 134512640 134714508 3221221792 3221218712 1074950114 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3634 2617 1111 63 0 3571 0
vsize: 14536
[startup+660.034 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 21314
Raw data (stat): 21314 (bsolo_lpr) R 21313 7876 7672 0 -1 0 232303 0 0 0 65384 622 0 0 25 0 1 0 671906851 12910592 2482 4294967295 134512640 134714508 3221221792 3221220116 1077402435 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3152 2482 1111 63 0 3089 0
vsize: 12608
[startup+670.035 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 21314
Raw data (stat): 21314 (bsolo_lpr) R 21313 7876 7672 0 -1 0 234983 0 0 0 66377 630 0 0 25 0 1 0 671906851 12910592 2482 4294967295 134512640 134714508 3221221792 3221220176 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3152 2482 1111 63 0 3089 0
vsize: 12608
[startup+680.035 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 21314
Raw data (stat): 21314 (bsolo_lpr) R 21313 7876 7672 0 -1 0 238176 0 0 0 67366 641 0 0 25 0 1 0 671906851 14905344 2666 4294967295 134512640 134714508 3221221792 3221218032 1075115709 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3639 2666 1111 63 0 3576 0
vsize: 14556
[startup+690.035 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 21314
Raw data (stat): 21314 (bsolo_lpr) R 21313 7876 7672 0 -1 0 240750 0 0 0 68358 649 0 0 25 0 1 0 671906851 12910592 2482 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3152 2482 1111 63 0 3089 0
vsize: 12608
[startup+700.036 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 21314
Raw data (stat): 21314 (bsolo_lpr) R 21313 7876 7672 0 -1 0 243961 0 0 0 69351 657 0 0 25 0 1 0 671906851 14692352 2564 4294967295 134512640 134714508 3221221792 3221218624 1075115840 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3587 2564 1111 63 0 3524 0
vsize: 14348
[startup+710.036 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 21314
Raw data (stat): 21314 (bsolo_lpr) R 21313 7876 7672 0 -1 0 247784 0 0 0 70342 666 0 0 25 0 1 0 671906851 14872576 2623 4294967295 134512640 134714508 3221221792 3221217660 1074787525 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3631 2623 1111 63 0 3568 0
vsize: 14524
[startup+720.037 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 21314
Raw data (stat): 21314 (bsolo_lpr) R 21313 7876 7672 0 -1 0 251295 0 0 0 71332 675 0 0 25 0 1 0 671906851 12910592 2482 4294967295 134512640 134714508 3221221792 3221220464 134650233 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3152 2482 1111 63 0 3089 0
vsize: 12608
[startup+730.037 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 21314
Raw data (stat): 21314 (bsolo_lpr) R 21313 7876 7672 0 -1 0 254596 0 0 0 72324 683 0 0 25 0 1 0 671906851 12931072 2483 4294967295 134512640 134714508 3221221792 3221220144 1074115241 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3157 2483 1111 63 0 3094 0
vsize: 12628
[startup+740.036 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 21314
Raw data (stat): 21314 (bsolo_lpr) R 21313 7876 7672 0 -1 0 257707 0 0 0 73316 692 0 0 25 0 1 0 671906851 12910592 2482 4294967295 134512640 134714508 3221221792 3221220192 1074153800 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3152 2482 1111 63 0 3089 0
vsize: 12608
[startup+750.037 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 21314
Raw data (stat): 21314 (bsolo_lpr) R 21313 7876 7672 0 -1 0 260753 0 0 0 74309 699 0 0 25 0 1 0 671906851 12910592 2482 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3152 2482 1111 63 0 3089 0
vsize: 12608
[startup+760.036 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 21314
Raw data (stat): 21314 (bsolo_lpr) R 21313 7876 7672 0 -1 0 263650 0 0 0 75302 707 0 0 25 0 1 0 671906851 13201408 2523 4294967295 134512640 134714508 3221221792 3221220192 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3223 2523 1111 63 0 3160 0
vsize: 12892
[startup+770.038 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 21314
Raw data (stat): 21314 (bsolo_lpr) R 21313 7876 7672 0 -1 0 266719 0 0 0 76293 715 0 0 25 0 1 0 671906851 13094912 2527 4294967295 134512640 134714508 3221221792 3221219816 1077380592 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3197 2527 1111 63 0 3134 0
vsize: 12788
[startup+780.038 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 21314
Raw data (stat): 21314 (bsolo_lpr) R 21313 7876 7672 0 -1 0 269755 0 0 0 77285 723 0 0 25 0 1 0 671906851 15097856 2715 4294967295 134512640 134714508 3221221792 3221217660 1074787806 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3686 2715 1111 63 0 3623 0
vsize: 14744
[startup+790.037 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 21314
Raw data (stat): 21314 (bsolo_lpr) R 21313 7876 7672 0 -1 0 272974 0 0 0 78277 732 0 0 25 0 1 0 671906851 15155200 2724 4294967295 134512640 134714508 3221221792 3221217876 1075964386 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3700 2724 1111 63 0 3637 0
vsize: 14800
[startup+800.037 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 21314
Raw data (stat): 21314 (bsolo_lpr) R 21313 7876 7672 0 -1 0 276764 0 0 0 79267 742 0 0 25 0 1 0 671906851 13094912 2527 4294967295 134512640 134714508 3221221792 3221220192 1074153794 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3197 2527 1111 63 0 3134 0
vsize: 12788
[startup+810.037 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 21314
Raw data (stat): 21314 (bsolo_lpr) R 21313 7876 7672 0 -1 0 280327 0 0 0 80257 752 0 0 25 0 1 0 671906851 13434880 2556 4294967295 134512640 134714508 3221221792 3221219904 1074867314 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3226 2551 1111 63 0 3163 0
vsize: 13120
[startup+820.037 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 21314
Raw data (stat): 21314 (bsolo_lpr) R 21313 7876 7672 0 -1 0 284325 0 0 0 81245 764 0 0 25 0 1 0 671906851 15187968 2699 4294967295 134512640 134714508 3221221792 3221218448 1075967935 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3708 2699 1111 63 0 3645 0
vsize: 14832
[startup+830.037 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 21314
Raw data (stat): 21314 (bsolo_lpr) R 21313 7876 7672 0 -1 0 288249 0 0 0 82235 775 0 0 25 0 1 0 671906851 15044608 2682 4294967295 134512640 134714508 3221221792 3221218020 1075115065 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3673 2682 1111 63 0 3610 0
vsize: 14692
[startup+840.037 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 21314
Raw data (stat): 21314 (bsolo_lpr) R 21313 7876 7672 0 -1 0 291898 0 0 0 83225 784 0 0 25 0 1 0 671906851 13242368 2559 4294967295 134512640 134714508 3221221792 3221219792 1074916167 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3233 2559 1111 63 0 3170 0
vsize: 12932
[startup+850.043 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 21315
Raw data (stat): 21314 (bsolo_lpr) R 21313 7876 7672 0 -1 0 295157 0 0 0 84216 794 0 0 25 0 1 0 671906851 13225984 2559 4294967295 134512640 134714508 3221221792 3221220040 1074138150 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3229 2559 1111 63 0 3166 0
vsize: 12916
[startup+860.043 s]
Raw data (loadavg): 1.07 0.99 0.99 2/58 21357
Raw data (stat): 21314 (bsolo_lpr) R 21313 7876 7672 0 -1 0 299027 0 0 0 85206 805 0 0 25 0 1 0 671906851 14823424 2600 4294967295 134512640 134714508 3221221792 3221218864 1074867331 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3619 2600 1111 63 0 3556 0
vsize: 14476
[startup+870.154 s]
Raw data (loadavg): 1.21 1.02 1.01 3/57 21363
Raw data (stat): 21314 (bsolo_lpr) R 21313 7876 7672 0 -1 0 302298 0 0 0 86208 813 0 0 25 0 1 0 671906851 13377536 2596 4294967295 134512640 134714508 3221221792 3221220128 1074153800 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3266 2596 1111 63 0 3203 0
vsize: 13064
[startup+880.402 s]
Raw data (loadavg): 1.18 1.02 1.00 2/54 21367
Raw data (stat): 21314 (bsolo_lpr) R 21313 7876 7672 0 -1 0 305544 0 0 0 87225 822 0 0 25 0 1 0 671906851 15523840 2827 4294967295 134512640 134714508 3221221792 3221218632 1077410279 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3790 2829 1111 63 0 3727 0
vsize: 15160
[startup+890.402 s]
Raw data (loadavg): 1.15 1.02 1.00 2/54 21367
Raw data (stat): 21314 (bsolo_lpr) R 21313 7876 7672 0 -1 0 308540 0 0 0 88215 831 0 0 25 0 1 0 671906851 13377536 2596 4294967295 134512640 134714508 3221221792 3221220460 134543588 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3266 2596 1111 63 0 3203 0
vsize: 13064
[startup+900.647 s]
Raw data (loadavg): 1.13 1.02 1.00 2/54 21367
Raw data (stat): 21314 (bsolo_lpr) R 21313 7876 7672 0 -1 0 311691 0 0 0 89231 840 0 0 25 0 1 0 671906851 15409152 2756 4294967295 134512640 134714508 3221221792 3221218836 1074846155 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3762 2756 1111 63 0 3699 0
vsize: 15048
[startup+910.648 s]
Raw data (loadavg): 1.11 1.02 1.00 2/54 21367
Raw data (stat): 21314 (bsolo_lpr) R 21313 7876 7672 0 -1 0 315794 0 0 0 90221 850 0 0 25 0 1 0 671906851 14987264 2837 4294967295 134512640 134714508 3221221792 3221218448 1075967945 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3659 2837 1111 63 0 3596 0
vsize: 14636
[startup+920.936 s]
Raw data (loadavg): 1.09 1.02 1.00 2/54 21367
Raw data (stat): 21314 (bsolo_lpr) R 21313 7876 7672 0 -1 0 320663 0 0 0 91237 864 0 0 25 0 1 0 671906851 13889536 2688 4294967295 134512640 134714508 3221221792 3221219904 1074867305 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3391 2688 1111 63 0 3328 0
vsize: 13564
[startup+930.936 s]
Raw data (loadavg): 1.08 1.01 1.00 2/54 21367
Raw data (stat): 21314 (bsolo_lpr) R 21313 7876 7672 0 -1 0 324143 0 0 0 92228 873 0 0 25 0 1 0 671906851 15101952 2678 4294967295 134512640 134714508 3221221792 3221218560 1076083339 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3687 2678 1111 63 0 3624 0
vsize: 14748
[startup+940.936 s]
Raw data (loadavg): 1.06 1.01 1.00 2/54 21369
Raw data (stat): 21314 (bsolo_lpr) R 21313 7876 7672 0 -1 0 327140 0 0 0 93220 880 0 0 25 0 1 0 671906851 13504512 2627 4294967295 134512640 134714508 3221221792 3221220128 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3297 2627 1111 63 0 3234 0
vsize: 13188
[startup+950.937 s]
Raw data (loadavg): 1.05 1.01 1.00 2/54 21369
Raw data (stat): 21314 (bsolo_lpr) R 21313 7876 7672 0 -1 0 330249 0 0 0 94211 890 0 0 25 0 1 0 671906851 13619200 2655 4294967295 134512640 134714508 3221221792 3221219840 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3325 2655 1111 63 0 3262 0
vsize: 13300
[startup+960.937 s]
Raw data (loadavg): 1.04 1.01 1.00 2/54 21369
Raw data (stat): 21314 (bsolo_lpr) R 21313 7876 7672 0 -1 0 333506 0 0 0 95202 900 0 0 25 0 1 0 671906851 13619200 2655 4294967295 134512640 134714508 3221221792 3221219736 1077377218 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3325 2655 1111 63 0 3262 0
vsize: 13300
[startup+970.938 s]
Raw data (loadavg): 1.04 1.01 1.00 2/54 21369
Raw data (stat): 21314 (bsolo_lpr) R 21313 7876 7672 0 -1 0 336701 0 0 0 96193 908 0 0 25 0 1 0 671906851 13619200 2655 4294967295 134512640 134714508 3221221792 3221219816 1077380592 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3325 2655 1111 63 0 3262 0
vsize: 13300
[startup+980.939 s]
Raw data (loadavg): 1.03 1.01 1.00 2/54 21369
Raw data (stat): 21314 (bsolo_lpr) R 21313 7876 7672 0 -1 0 340361 0 0 0 97183 919 0 0 25 0 1 0 671906851 15478784 2753 4294967295 134512640 134714508 3221221792 3221218712 1074950105 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3760 2753 1111 63 0 3697 0
vsize: 15116
[startup+990.939 s]
Raw data (loadavg): 1.03 1.01 1.00 2/54 21369
Raw data (stat): 21314 (bsolo_lpr) R 21313 7876 7672 0 -1 0 344253 0 0 0 98173 928 0 0 25 0 1 0 671906851 13582336 2646 4294967295 134512640 134714508 3221221792 3221220192 1074153786 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3316 2646 1111 63 0 3253 0
vsize: 13264
[startup+1000.94 s]
Raw data (loadavg): 1.02 1.01 1.00 2/54 21369
Raw data (stat): 21314 (bsolo_lpr) R 21313 7876 7672 0 -1 0 348208 0 0 0 99164 938 0 0 25 0 1 0 671906851 13737984 2684 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3354 2684 1111 63 0 3291 0
vsize: 13416
[startup+1010.94 s]
Raw data (loadavg): 1.02 1.01 1.00 2/54 21369
Raw data (stat): 21314 (bsolo_lpr) R 21313 7876 7672 0 -1 0 351239 0 0 0 100157 945 0 0 25 0 1 0 671906851 13893632 2687 4294967295 134512640 134714508 3221221792 3221219904 1074867302 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3392 2687 1111 63 0 3329 0
vsize: 13568
[startup+1020.94 s]
Raw data (loadavg): 1.01 1.01 1.00 2/54 21369
Raw data (stat): 21314 (bsolo_lpr) R 21313 7876 7672 0 -1 0 354320 0 0 0 101149 953 0 0 25 0 1 0 671906851 16138240 3002 4294967295 134512640 134714508 3221221792 3221217928 1074814576 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3940 3002 1111 63 0 3877 0
vsize: 15760
[startup+1030.94 s]
Raw data (loadavg): 1.01 1.00 1.00 2/54 21369
Raw data (stat): 21314 (bsolo_lpr) R 21313 7876 7672 0 -1 0 358246 0 0 0 102140 962 0 0 25 0 1 0 671906851 13737984 2686 4294967295 134512640 134714508 3221221792 3221219944 1074138166 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3354 2686 1111 63 0 3291 0
vsize: 13416
[startup+1040.94 s]
Raw data (loadavg): 1.01 1.00 1.00 2/54 21369
Raw data (stat): 21314 (bsolo_lpr) R 21313 7876 7672 0 -1 0 361617 0 0 0 103131 972 0 0 25 0 1 0 671906851 13737984 2686 4294967295 134512640 134714508 3221221792 3221220104 1074138155 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3354 2686 1111 63 0 3291 0
vsize: 13416
[startup+1050.94 s]
Raw data (loadavg): 1.01 1.00 1.00 2/54 21369
Raw data (stat): 21314 (bsolo_lpr) R 21313 7876 7672 0 -1 0 365140 0 0 0 104123 980 0 0 25 0 1 0 671906851 15421440 2746 4294967295 134512640 134714508 3221221792 3221217688 1074786323 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3765 2746 1111 63 0 3702 0
vsize: 15060
[startup+1060.94 s]
Raw data (loadavg): 1.01 1.00 1.00 2/54 21369
Raw data (stat): 21314 (bsolo_lpr) R 21313 7876 7672 0 -1 0 369116 0 0 0 105112 991 0 0 25 0 1 0 671906851 13758464 2691 4294967295 134512640 134714508 3221221792 3221220176 1074153794 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3359 2691 1111 63 0 3296 0
vsize: 13436
[startup+1070.94 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21369
Raw data (stat): 21314 (bsolo_lpr) R 21313 7876 7672 0 -1 0 372897 0 0 0 106103 1001 0 0 25 0 1 0 671906851 13864960 2717 4294967295 134512640 134714508 3221221792 3221220192 1074153760 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3385 2717 1111 63 0 3322 0
vsize: 13540
[startup+1080.94 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21369
Raw data (stat): 21314 (bsolo_lpr) R 21313 7876 7672 0 -1 0 376153 0 0 0 107093 1010 0 0 25 0 1 0 671906851 13864960 2717 4294967295 134512640 134714508 3221221792 3221219792 1074919728 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3385 2717 1111 63 0 3322 0
vsize: 13540
[startup+1090.94 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21369
Raw data (stat): 21314 (bsolo_lpr) R 21313 7876 7672 0 -1 0 379686 0 0 0 108083 1020 0 0 25 0 1 0 671906851 14004224 2751 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3419 2751 1111 63 0 3356 0
vsize: 13676
[startup+1100.94 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21369
Raw data (stat): 21314 (bsolo_lpr) R 21313 7876 7672 0 -1 0 383267 0 0 0 109073 1031 0 0 25 0 1 0 671906851 14036992 2759 4294967295 134512640 134714508 3221221792 3221220080 1074153786 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3427 2759 1111 63 0 3364 0
vsize: 13708
[startup+1110.94 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21369
Raw data (stat): 21314 (bsolo_lpr) R 21313 7876 7672 0 -1 0 386959 0 0 0 110063 1041 0 0 25 0 1 0 671906851 14036992 2759 4294967295 134512640 134714508 3221221792 3221220192 1074153663 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3427 2759 1111 63 0 3364 0
vsize: 13708
[startup+1120.94 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21369
Raw data (stat): 21314 (bsolo_lpr) R 21313 7876 7672 0 -1 0 390961 0 0 0 111053 1052 0 0 25 0 1 0 671906851 14036992 2759 4294967295 134512640 134714508 3221221792 3221219520 1075828392 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3427 2759 1111 63 0 3364 0
vsize: 13708
[startup+1130.94 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21369
Raw data (stat): 21314 (bsolo_lpr) R 21313 7876 7672 0 -1 0 394663 0 0 0 112043 1061 0 0 25 0 1 0 671906851 14036992 2759 4294967295 134512640 134714508 3221221792 3221220104 1074138162 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3427 2759 1111 63 0 3364 0
vsize: 13708
[startup+1140.94 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21369
Raw data (stat): 21314 (bsolo_lpr) R 21313 7876 7672 0 -1 0 398268 0 0 0 113035 1070 0 0 25 0 1 0 671906851 14036992 2759 4294967295 134512640 134714508 3221221792 3221220192 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3427 2759 1111 63 0 3364 0
vsize: 13708
[startup+1150.94 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21369
Raw data (stat): 21314 (bsolo_lpr) R 21313 7876 7672 0 -1 0 401771 0 0 0 114027 1078 0 0 25 0 1 0 671906851 14036992 2759 4294967295 134512640 134714508 3221221792 3221220192 1074153794 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3427 2759 1111 63 0 3364 0
vsize: 13708
[startup+1160.94 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21369
Raw data (stat): 21314 (bsolo_lpr) R 21313 7876 7672 0 -1 0 405524 0 0 0 115016 1089 0 0 25 0 1 0 671906851 15683584 2805 4294967295 134512640 134714508 3221221792 3221218064 1074961171 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3829 2805 1111 63 0 3766 0
vsize: 15316
[startup+1170.94 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21369
Raw data (stat): 21314 (bsolo_lpr) R 21313 7876 7672 0 -1 0 409447 0 0 0 116005 1100 0 0 25 0 1 0 671906851 14036992 2759 4294967295 134512640 134714508 3221221792 3221220192 1074153822 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3427 2759 1111 63 0 3364 0
vsize: 13708
[startup+1175.05 s]
Raw data (loadavg): 1.00 1.00 1.00 1/53 21371
Raw data (stat): 21314 (bsolo_lpr) R 21313 7876 7672 0 -1 0 409447 0 0 0 116005 1100 0 0 25 0 1 0 671906851 14036992 2759 4294967295 134512640 134714508 3221221792 3221220192 1074153822 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3427 2759 1111 63 0 3364 0
vsize: 0

Child status: 10
Real time (s): 1175.05
CPU time (s): 1175.17
CPU user time (s): 1164.12
CPU system time (s): 11.0533
CPU usage (%): 100.01
Max. virtual memory (Kb): 15760
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	265
#### END VERIFIER DATA ####