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 40701

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-06-08 19:17:40 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28767 boxname=wulflinc1 idbench=153 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  00d830716ad6728e4af33fe898d69922  /oldhome/oroussel/tmp/wulflinc1/normalized-ii32c3.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-ii32c3.opb
IDLAUNCH: 28767
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        853868 kB
Buffers:         25584 kB
Cached:         130892 kB
SwapCached:       1148 kB
Active:          36700 kB
Inactive:       122036 kB
HighTotal:      131008 kB
HighFree:         1652 kB
LowTotal:       903652 kB
LowFree:        852216 kB
SwapTotal:     2097136 kB
SwapFree:      2094836 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5268 kB
Slab:            16264 kB
Committed_AS:    92720 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 19:37:16 (client local time) WITH STATUS 10 IN 1175.44 SECONDS
stats: 28767 0 1175.44 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 5.901 s
c Initial Lower Bound: 189
c Lower Bound Elapsed time: 1.84433
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: 279 @ 270.448
c NEW SOLUTION FOUND: 278 @ 270.45
c NEW SOLUTION FOUND: 277 @ 270.461
c NEW SOLUTION FOUND: 276 @ 270.476
c NEW SOLUTION FOUND: 275 @ 270.487
c NEW SOLUTION FOUND: 274 @ 270.525
c NEW SOLUTION FOUND: 273 @ 270.553
c NEW SOLUTION FOUND: 272 @ 270.569
c NEW SOLUTION FOUND: 271 @ 270.603
c NEW SOLUTION FOUND: 270 @ 298.671
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.41 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.91 0.95 0.90 2/55 25385
Raw data (stat): 25385 (runsolver) R 25384 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 847234174 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0007 s]
Raw data (loadavg): 0.93 0.95 0.90 2/55 25385
Raw data (stat): 25385 (bsolo_lpr_cuts-) R 25384 8378 8377 0 -1 0 4948 0 0 0 983 12 0 0 25 0 1 0 847234174 11272192 2028 4294967295 134512640 134716908 3221224576 3221222632 1074950114 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2752 2028 1111 63 0 2689 0
vsize: 11008
[startup+20.0014 s]
Raw data (loadavg): 0.94 0.96 0.91 2/55 25385
Raw data (stat): 25385 (bsolo_lpr_cuts-) R 25384 8378 8377 0 -1 0 11034 0 0 0 1966 30 0 0 25 0 1 0 847234174 11362304 2045 4294967295 134512640 134716908 3221224576 3221222632 1074950114 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2774 2045 1111 63 0 2711 0
vsize: 11096
[startup+30.0022 s]
Raw data (loadavg): 1.02 0.97 0.91 2/55 25385
Raw data (stat): 25385 (bsolo_lpr_cuts-) R 25384 8378 8377 0 -1 0 12592 0 0 0 2961 34 0 0 25 0 1 0 847234174 11968512 2233 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2922 2233 1111 63 0 2859 0
vsize: 11688
[startup+40.002 s]
Raw data (loadavg): 1.02 0.97 0.91 2/55 25385
Raw data (stat): 25385 (bsolo_lpr_cuts-) R 25384 8378 8377 0 -1 0 12949 0 0 0 3960 36 0 0 25 0 1 0 847234174 13451264 2590 4294967295 134512640 134716908 3221224576 3221223216 134698468 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3284 2590 1111 63 0 3221 0
vsize: 13136
[startup+50.0027 s]
Raw data (loadavg): 1.01 0.97 0.91 2/55 25385
Raw data (stat): 25385 (bsolo_lpr_cuts-) R 25384 8378 8377 0 -1 0 13233 0 0 0 4960 36 0 0 25 0 1 0 847234174 14667776 2874 4294967295 134512640 134716908 3221224576 3221223168 134549541 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3581 2874 1111 63 0 3518 0
vsize: 14324
[startup+60.0026 s]
Raw data (loadavg): 1.01 0.97 0.91 2/55 25385
Raw data (stat): 25385 (bsolo_lpr_cuts-) R 25384 8378 8377 0 -1 0 13528 0 0 0 5959 37 0 0 25 0 1 0 847234174 15884288 3169 4294967295 134512640 134716908 3221224576 3221223192 134613981 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3878 3169 1111 63 0 3815 0
vsize: 15512
[startup+70.0033 s]
Raw data (loadavg): 1.01 0.97 0.91 2/55 25385
Raw data (stat): 25385 (bsolo_lpr_cuts-) R 25384 8378 8377 0 -1 0 13866 0 0 0 6957 39 0 0 25 0 1 0 847234174 17235968 3507 4294967295 134512640 134716908 3221224576 3221223236 134543680 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4208 3507 1111 63 0 4145 0
vsize: 16832
[startup+80.0041 s]
Raw data (loadavg): 1.01 0.97 0.91 2/55 25385
Raw data (stat): 25385 (bsolo_lpr_cuts-) R 25384 8378 8377 0 -1 0 14177 0 0 0 7956 40 0 0 25 0 1 0 847234174 18452480 3818 4294967295 134512640 134716908 3221224576 3221223360 134597619 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4505 3818 1111 63 0 4442 0
vsize: 18020
[startup+90.0039 s]
Raw data (loadavg): 1.01 0.97 0.91 2/55 25385
Raw data (stat): 25385 (bsolo_lpr_cuts-) R 25384 8378 8377 0 -1 0 14438 0 0 0 8955 41 0 0 25 0 1 0 847234174 19533824 4079 4294967295 134512640 134716908 3221224576 3221223280 134528617 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4769 4079 1111 63 0 4706 0
vsize: 19076
[startup+100.004 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 25385
Raw data (stat): 25385 (bsolo_lpr_cuts-) R 25384 8378 8377 0 -1 0 14731 0 0 0 9954 43 0 0 25 0 1 0 847234174 20750336 4372 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5066 4372 1111 63 0 5003 0
vsize: 20264
[startup+110.003 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 25385
Raw data (stat): 25385 (bsolo_lpr_cuts-) R 25384 8378 8377 0 -1 0 15059 0 0 0 10953 44 0 0 25 0 1 0 847234174 22102016 4700 4294967295 134512640 134716908 3221224576 3221223332 134655231 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5396 4700 1111 63 0 5333 0
vsize: 21584
[startup+120.005 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 25385
Raw data (stat): 25385 (bsolo_lpr_cuts-) R 25384 8378 8377 0 -1 0 15374 0 0 0 11951 46 0 0 25 0 1 0 847234174 23453696 5015 4294967295 134512640 134716908 3221224576 3221223108 134543025 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5726 5015 1111 63 0 5663 0
vsize: 22904
[startup+130.005 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 25385
Raw data (stat): 25385 (bsolo_lpr_cuts-) R 25384 8378 8377 0 -1 0 15602 0 0 0 12950 47 0 0 25 0 1 0 847234174 24264704 5243 4294967295 134512640 134716908 3221224576 3221223248 134542977 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5924 5243 1111 63 0 5861 0
vsize: 23696
[startup+140.005 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 25385
Raw data (stat): 25385 (bsolo_lpr_cuts-) R 25384 8378 8377 0 -1 0 15824 0 0 0 13949 48 0 0 25 0 1 0 847234174 25206784 5465 4294967295 134512640 134716908 3221224576 3221223248 134543700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6154 5465 1111 63 0 6091 0
vsize: 24616
[startup+150.006 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 25385
Raw data (stat): 25385 (bsolo_lpr_cuts-) R 25384 8378 8377 0 -1 0 16086 0 0 0 14948 50 0 0 25 0 1 0 847234174 26288128 5727 4294967295 134512640 134716908 3221224576 3221223304 134543804 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6418 5727 1111 63 0 6355 0
vsize: 25672
[startup+160.005 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 25385
Raw data (stat): 25385 (bsolo_lpr_cuts-) R 25384 8378 8377 0 -1 0 16465 0 0 0 15947 51 0 0 25 0 1 0 847234174 27910144 6106 4294967295 134512640 134716908 3221224576 3221223216 134539376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6814 6106 1111 63 0 6751 0
vsize: 27256
[startup+170.006 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 25385
Raw data (stat): 25385 (bsolo_lpr_cuts-) R 25384 8378 8377 0 -1 0 16829 0 0 0 16946 52 0 0 25 0 1 0 847234174 29396992 6470 4294967295 134512640 134716908 3221224576 3221223136 134542342 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7177 6470 1111 63 0 7114 0
vsize: 28708
[startup+180.006 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 25385
Raw data (stat): 25385 (bsolo_lpr_cuts-) R 25384 8378 8377 0 -1 0 17118 0 0 0 17945 53 0 0 25 0 1 0 847234174 30478336 6759 4294967295 134512640 134716908 3221224576 3221223200 134536680 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7441 6759 1111 63 0 7378 0
vsize: 29764
[startup+190.007 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 25385
Raw data (stat): 25385 (bsolo_lpr_cuts-) R 25384 8378 8377 0 -1 0 17466 0 0 0 18944 54 0 0 25 0 1 0 847234174 31965184 7107 4294967295 134512640 134716908 3221224576 3221223312 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7804 7107 1111 63 0 7741 0
vsize: 31216
[startup+200.007 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 25385
Raw data (stat): 25385 (bsolo_lpr_cuts-) R 25384 8378 8377 0 -1 0 17851 0 0 0 19943 56 0 0 25 0 1 0 847234174 33587200 7492 4294967295 134512640 134716908 3221224576 3221223144 134542370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8200 7492 1111 63 0 8137 0
vsize: 32800
[startup+210.006 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 25385
Raw data (stat): 25385 (bsolo_lpr_cuts-) R 25384 8378 8377 0 -1 0 18175 0 0 0 20941 57 0 0 25 0 1 0 847234174 34799616 7816 4294967295 134512640 134716908 3221224576 3221223380 134554892 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8496 7816 1111 63 0 8433 0
vsize: 33984
[startup+220.007 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 25385
Raw data (stat): 25385 (bsolo_lpr_cuts-) R 25384 8378 8377 0 -1 0 18402 0 0 0 21941 58 0 0 25 0 1 0 847234174 35885056 8043 4294967295 134512640 134716908 3221224576 3221223296 134535757 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8761 8043 1111 63 0 8698 0
vsize: 35044
[startup+230.007 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 25385
Raw data (stat): 25385 (bsolo_lpr_cuts-) R 25384 8378 8377 0 -1 0 18490 0 0 0 22941 59 0 0 25 0 1 0 847234174 36155392 8131 4294967295 134512640 134716908 3221224576 3221223168 134549668 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8827 8131 1111 63 0 8764 0
vsize: 35308
[startup+240.007 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 25385
Raw data (stat): 25385 (bsolo_lpr_cuts-) R 25384 8378 8377 0 -1 0 18626 0 0 0 23940 60 0 0 25 0 1 0 847234174 36700160 8267 4294967295 134512640 134716908 3221224576 3221223168 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8960 8267 1111 63 0 8897 0
vsize: 35840
[startup+250.007 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 25385
Raw data (stat): 25385 (bsolo_lpr_cuts-) R 25384 8378 8377 0 -1 0 18763 0 0 0 24939 61 0 0 25 0 1 0 847234174 37240832 8404 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9092 8404 1111 63 0 9029 0
vsize: 36368
[startup+260.008 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 25385
Raw data (stat): 25385 (bsolo_lpr_cuts-) R 25384 8378 8377 0 -1 0 18892 0 0 0 25939 61 0 0 25 0 1 0 847234174 37781504 8533 4294967295 134512640 134716908 3221224576 3221223168 134549780 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9224 8533 1111 63 0 9161 0
vsize: 36896
[startup+270.009 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 25385
Raw data (stat): 25385 (bsolo_lpr_cuts-) R 25384 8378 8377 0 -1 0 19042 0 0 0 26938 62 0 0 25 0 1 0 847234174 38457344 8683 4294967295 134512640 134716908 3221224576 3221223312 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9389 8683 1111 63 0 9326 0
vsize: 37556
[startup+280.009 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 25385
Raw data (stat): 25385 (bsolo_lpr_cuts-) R 25384 8378 8377 0 -1 0 22344 0 0 0 27928 71 0 0 25 0 1 0 847234174 38871040 8793 4294967295 134512640 134716908 3221224576 3221222664 1077377546 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9490 8793 1111 63 0 9427 0
vsize: 37960
[startup+290.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 25385
Raw data (stat): 25385 (bsolo_lpr_cuts-) R 25384 8378 8377 0 -1 0 25725 0 0 0 28918 81 0 0 25 0 1 0 847234174 38871040 8793 4294967295 134512640 134716908 3221224576 3221222832 1074153792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9490 8793 1111 63 0 9427 0
vsize: 37960
[startup+300.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 25385
Raw data (stat): 25385 (bsolo_lpr_cuts-) R 25384 8378 8377 0 -1 0 29570 0 0 0 29908 92 0 0 25 0 1 0 847234174 40923136 8941 4294967295 134512640 134716908 3221224576 3221220816 1075115704 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9991 8941 1111 63 0 9928 0
vsize: 39964
[startup+310.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 25385
Raw data (stat): 25385 (bsolo_lpr_cuts-) R 25384 8378 8377 0 -1 0 33630 0 0 0 30897 103 0 0 25 0 1 0 847234174 39227392 8861 4294967295 134512640 134716908 3221224576 3221222876 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9577 8861 1111 63 0 9514 0
vsize: 38308
[startup+320.011 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 25385
Raw data (stat): 25385 (bsolo_lpr_cuts-) R 25384 8378 8377 0 -1 0 38534 0 0 0 31883 116 0 0 25 0 1 0 847234174 39305216 8901 4294967295 134512640 134716908 3221224576 3221222780 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9596 8901 1111 63 0 9533 0
vsize: 38384
[startup+330.012 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 25385
Raw data (stat): 25385 (bsolo_lpr_cuts-) R 25384 8378 8377 0 -1 0 43050 0 0 0 32871 129 0 0 25 0 1 0 847234174 41414656 9073 4294967295 134512640 134716908 3221224576 3221220640 1075084533 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10111 9073 1111 63 0 10048 0
vsize: 40444
[startup+340.012 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 25385
Raw data (stat): 25385 (bsolo_lpr_cuts-) R 25384 8378 8377 0 -1 0 47026 0 0 0 33859 141 0 0 25 0 1 0 847234174 42287104 9338 4294967295 134512640 134716908 3221224576 3221220720 1074969499 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10324 9338 1111 63 0 10261 0
vsize: 41296
[startup+350.011 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 25385
Raw data (stat): 25385 (bsolo_lpr_cuts-) R 25384 8378 8377 0 -1 0 49822 0 0 0 34852 149 0 0 25 0 1 0 847234174 41627648 9338 4294967295 134512640 134716908 3221224576 3221221696 1074837202 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10200 9339 1111 63 0 10137 0
vsize: 40652
[startup+360.012 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 25385
Raw data (stat): 25385 (bsolo_lpr_cuts-) R 25384 8378 8377 0 -1 0 53089 0 0 0 35844 156 0 0 25 0 1 0 847234174 42287104 9461 4294967295 134512640 134716908 3221224576 3221220736 1074794549 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10324 9461 1111 63 0 10261 0
vsize: 41296
[startup+370.012 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 25385
Raw data (stat): 25385 (bsolo_lpr_cuts-) R 25384 8378 8377 0 -1 0 56460 0 0 0 36836 165 0 0 25 0 1 0 847234174 40067072 9067 4294967295 134512640 134716908 3221224576 3221223088 134646691 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9782 9067 1111 63 0 9719 0
vsize: 39128
[startup+380.012 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 25385
Raw data (stat): 25385 (bsolo_lpr_cuts-) R 25384 8378 8377 0 -1 0 59879 0 0 0 37825 176 0 0 25 0 1 0 847234174 40026112 9077 4294967295 134512640 134716908 3221224576 3221222888 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9772 9077 1111 63 0 9709 0
vsize: 39088
[startup+390.011 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 25385
Raw data (stat): 25385 (bsolo_lpr_cuts-) R 25384 8378 8377 0 -1 0 63491 0 0 0 38817 184 0 0 25 0 1 0 847234174 42119168 9300 4294967295 134512640 134716908 3221224576 3221220456 1074788427 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10283 9300 1111 63 0 10220 0
vsize: 41132
[startup+400.012 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 25385
Raw data (stat): 25385 (bsolo_lpr_cuts-) R 25384 8378 8377 0 -1 0 66960 0 0 0 39807 194 0 0 25 0 1 0 847234174 41951232 9232 4294967295 134512640 134716908 3221224576 3221220620 1074873439 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10242 9232 1111 63 0 10179 0
vsize: 40968
[startup+410.012 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 25385
Raw data (stat): 25385 (bsolo_lpr_cuts-) R 25384 8378 8377 0 -1 0 71490 0 0 0 40794 207 0 0 25 0 1 0 847234174 40075264 9089 4294967295 134512640 134716908 3221224576 3221222544 1075552862 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9784 9089 1111 63 0 9721 0
vsize: 39136
[startup+420.013 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 25385
Raw data (stat): 25385 (bsolo_lpr_cuts-) R 25384 8378 8377 0 -1 0 78243 0 0 0 41778 224 0 0 25 0 1 0 847234174 40464384 9185 4294967295 134512640 134716908 3221224576 3221222440 1074138271 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9879 9185 1111 63 0 9816 0
vsize: 39516
[startup+430.014 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 25385
Raw data (stat): 25385 (bsolo_lpr_cuts-) R 25384 8378 8377 0 -1 0 82834 0 0 0 42767 235 0 0 25 0 1 0 847234174 40480768 9189 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9883 9189 1111 63 0 9820 0
vsize: 39532
[startup+440.013 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 25385
Raw data (stat): 25385 (bsolo_lpr_cuts-) R 25384 8378 8377 0 -1 0 86656 0 0 0 43757 245 0 0 25 0 1 0 847234174 42606592 9407 4294967295 134512640 134716908 3221224576 3221221232 1075968394 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10402 9407 1111 63 0 10339 0
vsize: 41608
[startup+450.013 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 25385
Raw data (stat): 25385 (bsolo_lpr_cuts-) R 25384 8378 8377 0 -1 0 90557 0 0 0 44745 257 0 0 25 0 1 0 847234174 40783872 9259 4294967295 134512640 134716908 3221224576 3221223080 134646703 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9957 9259 1111 63 0 9894 0
vsize: 39828
[startup+460.013 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 25385
Raw data (stat): 25385 (bsolo_lpr_cuts-) R 25384 8378 8377 0 -1 0 94095 0 0 0 45734 268 0 0 25 0 1 0 847234174 42471424 9319 4294967295 134512640 134716908 3221224576 3221220848 1074961146 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10369 9320 1111 63 0 10306 0
vsize: 41476
[startup+470.014 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 25385
Raw data (stat): 25385 (bsolo_lpr_cuts-) R 25384 8378 8377 0 -1 0 96955 0 0 0 46727 276 0 0 25 0 1 0 847234174 43204608 9612 4294967295 134512640 134716908 3221224576 3221220452 1074786567 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10548 9612 1111 63 0 10485 0
vsize: 42192
[startup+480.015 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 25385
Raw data (stat): 25385 (bsolo_lpr_cuts-) R 25384 8378 8377 0 -1 0 99978 0 0 0 47719 283 0 0 25 0 1 0 847234174 43040768 9677 4294967295 134512640 134716908 3221224576 3221220824 1077410163 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10508 9677 1111 63 0 10445 0
vsize: 42032
[startup+490.014 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 25385
Raw data (stat): 25385 (bsolo_lpr_cuts-) R 25384 8378 8377 0 -1 0 103349 0 0 0 48712 291 0 0 25 0 1 0 847234174 40927232 9298 4294967295 134512640 134716908 3221224576 3221222928 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9992 9298 1111 63 0 9929 0
vsize: 39968
[startup+500.015 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 25385
Raw data (stat): 25385 (bsolo_lpr_cuts-) R 25384 8378 8377 0 -1 0 106765 0 0 0 49704 299 0 0 25 0 1 0 847234174 42835968 9607 4294967295 134512640 134716908 3221224576 3221220588 1074788953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10458 9607 1111 63 0 10395 0
vsize: 41832
[startup+510.015 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 25385
Raw data (stat): 25385 (bsolo_lpr_cuts-) R 25384 8378 8377 0 -1 0 110175 0 0 0 50696 307 0 0 25 0 1 0 847234174 43352064 9583 4294967295 134512640 134716908 3221224576 3221220804 1075115065 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10584 9583 1111 63 0 10521 0
vsize: 42336
[startup+520.016 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 25385
Raw data (stat): 25385 (bsolo_lpr_cuts-) R 25384 8378 8377 0 -1 0 113112 0 0 0 51689 314 0 0 25 0 1 0 847234174 42672128 9412 4294967295 134512640 134716908 3221224576 3221220380 1074787861 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10418 9412 1111 63 0 10355 0
vsize: 41672
[startup+530.015 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 25385
Raw data (stat): 25385 (bsolo_lpr_cuts-) R 25384 8378 8377 0 -1 0 116223 0 0 0 52678 325 0 0 25 0 1 0 847234174 41181184 9359 4294967295 134512640 134716908 3221224576 3221222976 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10054 9359 1111 63 0 9991 0
vsize: 40216
[startup+540.016 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 25385
Raw data (stat): 25385 (bsolo_lpr_cuts-) R 25384 8378 8377 0 -1 0 119867 0 0 0 53669 335 0 0 25 0 1 0 847234174 43118592 9542 4294967295 134512640 134716908 3221224576 3221221168 1074886766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10527 9542 1111 63 0 10464 0
vsize: 42108
[startup+550.016 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 25385
Raw data (stat): 25385 (bsolo_lpr_cuts-) R 25384 8378 8377 0 -1 0 122838 0 0 0 54662 342 0 0 25 0 1 0 847234174 43634688 9689 4294967295 134512640 134716908 3221224576 3221220804 1075115051 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10653 9689 1111 63 0 10590 0
vsize: 42612
[startup+560.016 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 25385
Raw data (stat): 25385 (bsolo_lpr_cuts-) R 25384 8378 8377 0 -1 0 125672 0 0 0 55655 350 0 0 25 0 1 0 847234174 43155456 9532 4294967295 134512640 134716908 3221224576 3221220736 1074794528 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10536 9532 1111 63 0 10473 0
vsize: 42144
[startup+570.017 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 25385
Raw data (stat): 25385 (bsolo_lpr_cuts-) R 25384 8378 8377 0 -1 0 128495 0 0 0 56646 358 0 0 25 0 1 0 847234174 42971136 9440 4294967295 134512640 134716908 3221224576 3221220804 1075115084 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10491 9440 1111 63 0 10428 0
vsize: 41964
[startup+580.016 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 25385
Raw data (stat): 25385 (bsolo_lpr_cuts-) R 25384 8378 8377 0 -1 0 133382 0 0 0 57632 373 0 0 25 0 1 0 847234174 41582592 9426 4294967295 134512640 134716908 3221224576 3221222876 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10152 9426 1111 63 0 10089 0
vsize: 40608
[startup+590.016 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 25385
Raw data (stat): 25385 (bsolo_lpr_cuts-) R 25384 8378 8377 0 -1 0 137905 0 0 0 58620 384 0 0 25 0 1 0 847234174 43474944 9766 4294967295 134512640 134716908 3221224576 3221220816 1075115709 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10614 9766 1111 63 0 10551 0
vsize: 42456
[startup+600.016 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 25385
Raw data (stat): 25385 (bsolo_lpr_cuts-) R 25384 8378 8377 0 -1 0 141190 0 0 0 59613 392 0 0 25 0 1 0 847234174 41840640 9489 4294967295 134512640 134716908 3221224576 3221222780 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10215 9489 1111 63 0 10152 0
vsize: 40860
[startup+610.017 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 25385
Raw data (stat): 25385 (bsolo_lpr_cuts-) R 25384 8378 8377 0 -1 0 146274 0 0 0 60600 405 0 0 25 0 1 0 847234174 41971712 9535 4294967295 134512640 134716908 3221224576 3221222928 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10247 9535 1111 63 0 10184 0
vsize: 40988
[startup+620.018 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 25385
Raw data (stat): 25385 (bsolo_lpr_cuts-) R 25384 8378 8377 0 -1 0 151075 0 0 0 61590 416 0 0 25 0 1 0 847234174 43786240 9828 4294967295 134512640 134716908 3221224576 3221222000 1076064134 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10690 9828 1111 63 0 10627 0
vsize: 42760
[startup+630.017 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 25385
Raw data (stat): 25385 (bsolo_lpr_cuts-) R 25384 8378 8377 0 -1 0 156118 0 0 0 62579 426 0 0 25 0 1 0 847234174 42561536 9678 4294967295 134512640 134716908 3221224576 3221222828 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10391 9678 1111 63 0 10328 0
vsize: 41564
[startup+640.017 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 25385
Raw data (stat): 25385 (bsolo_lpr_cuts-) R 25384 8378 8377 0 -1 0 160259 0 0 0 63568 438 0 0 25 0 1 0 847234174 42565632 9662 4294967295 134512640 134716908 3221224576 3221221612 1077386340 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10392 9664 1111 63 0 10329 0
vsize: 41568
[startup+650.017 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 25385
Raw data (stat): 25385 (bsolo_lpr_cuts-) R 25384 8378 8377 0 -1 0 163353 0 0 0 64561 445 0 0 25 0 1 0 847234174 42766336 9689 4294967295 134512640 134716908 3221224576 3221222224 1075818396 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10441 9689 1111 63 0 10378 0
vsize: 41764
[startup+660.017 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 25385
Raw data (stat): 25385 (bsolo_lpr_cuts-) R 25384 8378 8377 0 -1 0 166949 0 0 0 65551 455 0 0 25 0 1 0 847234174 42409984 9660 4294967295 134512640 134716908 3221224576 3221222672 1073978447 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10354 9660 1111 63 0 10291 0
vsize: 41416
[startup+670.017 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 25385
Raw data (stat): 25385 (bsolo_lpr_cuts-) R 25384 8378 8377 0 -1 0 170854 0 0 0 66541 465 0 0 25 0 1 0 847234174 44634112 9887 4294967295 134512640 134716908 3221224576 3221221016 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10897 9887 1111 63 0 10834 0
vsize: 43588
[startup+680.018 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 25385
Raw data (stat): 25385 (bsolo_lpr_cuts-) R 25384 8378 8377 0 -1 0 174005 0 0 0 67532 474 0 0 25 0 1 0 847234174 44683264 10080 4294967295 134512640 134716908 3221224576 3221220848 1074961396 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10909 10080 1111 63 0 10846 0
vsize: 43636
[startup+690.018 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 25385
Raw data (stat): 25385 (bsolo_lpr_cuts-) R 25384 8378 8377 0 -1 0 175930 0 0 0 68527 479 0 0 25 0 1 0 847234174 45228032 10093 4294967295 134512640 134716908 3221224576 3221220476 1074787518 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11042 10093 1111 63 0 10979 0
vsize: 44168
[startup+700.018 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 25385
Raw data (stat): 25385 (bsolo_lpr_cuts-) R 25384 8378 8377 0 -1 0 178767 0 0 0 69520 487 0 0 25 0 1 0 847234174 42844160 9766 4294967295 134512640 134716908 3221224576 3221222976 1074153779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10460 9766 1111 63 0 10397 0
vsize: 41840
[startup+710.018 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 25385
Raw data (stat): 25385 (bsolo_lpr_cuts-) R 25384 8378 8377 0 -1 0 181205 0 0 0 70514 493 0 0 25 0 1 0 847234174 44613632 10050 4294967295 134512640 134716908 3221224576 3221220460 1074788950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10892 10050 1111 63 0 10829 0
vsize: 43568
[startup+720.019 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 25385
Raw data (stat): 25385 (bsolo_lpr_cuts-) R 25384 8378 8377 0 -1 0 184036 0 0 0 71507 500 0 0 25 0 1 0 847234174 45133824 10057 4294967295 134512640 134716908 3221224576 3221220704 1075112086 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11019 10057 1111 63 0 10956 0
vsize: 44076
[startup+730.019 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 25385
Raw data (stat): 25385 (bsolo_lpr_cuts-) R 25384 8378 8377 0 -1 0 186838 0 0 0 72499 508 0 0 25 0 1 0 847234174 42811392 9758 4294967295 134512640 134716908 3221224576 3221222672 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10452 9758 1111 63 0 10389 0
vsize: 41808
[startup+740.019 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 25385
Raw data (stat): 25385 (bsolo_lpr_cuts-) R 25384 8378 8377 0 -1 0 190046 0 0 0 73492 516 0 0 25 0 1 0 847234174 42835968 9764 4294967295 134512640 134716908 3221224576 3221222976 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10458 9764 1111 63 0 10395 0
vsize: 41832
[startup+750.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 25385
Raw data (stat): 25385 (bsolo_lpr_cuts-) R 25384 8378 8377 0 -1 0 194259 0 0 0 74479 529 0 0 25 0 1 0 847234174 42799104 9755 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10449 9755 1111 63 0 10386 0
vsize: 41796
[startup+760.019 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 25385
Raw data (stat): 25385 (bsolo_lpr_cuts-) R 25384 8378 8377 0 -1 0 199325 0 0 0 75465 543 0 0 25 0 1 0 847234174 43421696 9875 4294967295 134512640 134716908 3221224576 3221222828 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10601 9875 1111 63 0 10538 0
vsize: 42404
[startup+770.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 25385
Raw data (stat): 25385 (bsolo_lpr_cuts-) R 25384 8378 8377 0 -1 0 204309 0 0 0 76448 560 0 0 25 0 1 0 847234174 44851200 9898 4294967295 134512640 134716908 3221224576 3221220544 1074872824 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10950 9898 1111 63 0 10887 0
vsize: 43800
[startup+780.021 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 25385
Raw data (stat): 25385 (bsolo_lpr_cuts-) R 25384 8378 8377 0 -1 0 208636 0 0 0 77436 573 0 0 25 0 1 0 847234174 45326336 10085 4294967295 134512640 134716908 3221224576 3221220632 1074789596 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11066 10085 1111 63 0 11003 0
vsize: 44264
[startup+790.021 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 25385
Raw data (stat): 25385 (bsolo_lpr_cuts-) R 25384 8378 8377 0 -1 0 212367 0 0 0 78426 582 0 0 25 0 1 0 847234174 44240896 10049 4294967295 134512640 134716908 3221224576 3221220748 1074794352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10801 10049 1111 63 0 10738 0
vsize: 43204
[startup+800.021 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 25385
Raw data (stat): 25385 (bsolo_lpr_cuts-) R 25384 8378 8377 0 -1 0 216533 0 0 0 79414 595 0 0 25 0 1 0 847234174 45809664 10234 4294967295 134512640 134716908 3221224576 3221221640 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11184 10234 1111 63 0 11121 0
vsize: 44736
[startup+810.021 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 25385
Raw data (stat): 25385 (bsolo_lpr_cuts-) R 25384 8378 8377 0 -1 0 219297 0 0 0 80408 601 0 0 25 0 1 0 847234174 45867008 10348 4294967295 134512640 134716908 3221224576 3221220460 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11198 10348 1111 63 0 11135 0
vsize: 44792
[startup+820.021 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 25385
Raw data (stat): 25385 (bsolo_lpr_cuts-) R 25384 8378 8377 0 -1 0 221713 0 0 0 81403 606 0 0 25 0 1 0 847234174 46084096 10413 4294967295 134512640 134716908 3221224576 3221220704 1075561089 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11251 10413 1111 63 0 11188 0
vsize: 45004
[startup+830.021 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 25385
Raw data (stat): 25385 (bsolo_lpr_cuts-) R 25384 8378 8377 0 -1 0 224766 0 0 0 82397 613 0 0 25 0 1 0 847234174 45408256 10242 4294967295 134512640 134716908 3221224576 3221220944 1075894480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11086 10242 1111 63 0 11023 0
vsize: 44344
[startup+840.022 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 25385
Raw data (stat): 25385 (bsolo_lpr_cuts-) R 25384 8378 8377 0 -1 0 227983 0 0 0 83390 620 0 0 25 0 1 0 847234174 43675648 9969 4294967295 134512640 134716908 3221224576 3221222688 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10663 9969 1111 63 0 10600 0
vsize: 42652
[startup+850.023 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 25385
Raw data (stat): 25385 (bsolo_lpr_cuts-) R 25384 8378 8377 0 -1 0 231299 0 0 0 84382 628 0 0 25 0 1 0 847234174 45617152 10133 4294967295 134512640 134716908 3221224576 3221220804 1075115065 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11137 10133 1111 63 0 11074 0
vsize: 44548
[startup+860.022 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 25385
Raw data (stat): 25385 (bsolo_lpr_cuts-) R 25384 8378 8377 0 -1 0 234921 0 0 0 85373 637 0 0 25 0 1 0 847234174 45715456 10138 4294967295 134512640 134716908 3221224576 3221220704 1075112091 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11161 10138 1111 63 0 11098 0
vsize: 44644
[startup+870.023 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 25385
Raw data (stat): 25385 (bsolo_lpr_cuts-) R 25384 8378 8377 0 -1 0 238499 0 0 0 86364 646 0 0 25 0 1 0 847234174 45244416 10186 4294967295 134512640 134716908 3221224576 3221220720 1074969685 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11046 10186 1111 63 0 10983 0
vsize: 44184
[startup+880.024 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 25385
Raw data (stat): 25385 (bsolo_lpr_cuts-) R 25384 8378 8377 0 -1 0 242126 0 0 0 87353 658 0 0 25 0 1 0 847234174 43868160 10016 4294967295 134512640 134716908 3221224576 3221222976 1074153800 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10710 10016 1111 63 0 10647 0
vsize: 42840
[startup+890.024 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 25385
Raw data (stat): 25385 (bsolo_lpr_cuts-) R 25384 8378 8377 0 -1 0 245064 0 0 0 88345 666 0 0 25 0 1 0 847234174 45576192 10078 4294967295 134512640 134716908 3221224576 3221221560 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11127 10078 1111 63 0 11064 0
vsize: 44508
[startup+900.024 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 25385
Raw data (stat): 25385 (bsolo_lpr_cuts-) R 25384 8378 8377 0 -1 0 249146 0 0 0 89335 676 0 0 25 0 1 0 847234174 45895680 10179 4294967295 134512640 134716908 3221224576 3221220804 1075114937 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11205 10179 1111 63 0 11142 0
vsize: 44820
[startup+910.023 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 25385
Raw data (stat): 25385 (bsolo_lpr_cuts-) R 25384 8378 8377 0 -1 0 252903 0 0 0 90325 686 0 0 25 0 1 0 847234174 46256128 10326 4294967295 134512640 134716908 3221224576 3221221232 1075967886 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11293 10326 1111 63 0 11230 0
vsize: 45172
[startup+920.024 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 25385
Raw data (stat): 25385 (bsolo_lpr_cuts-) R 25384 8378 8377 0 -1 0 257486 0 0 0 91311 700 0 0 25 0 1 0 847234174 46383104 10382 4294967295 134512640 134716908 3221224576 3221220804 1075115003 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11324 10382 1111 63 0 11261 0
vsize: 45296
[startup+930.024 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 25385
Raw data (stat): 25385 (bsolo_lpr_cuts-) R 25384 8378 8377 0 -1 0 261352 0 0 0 92301 710 0 0 25 0 1 0 847234174 44376064 10140 4294967295 134512640 134716908 3221224576 3221222816 1074153779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10834 10140 1111 63 0 10771 0
vsize: 43336
[startup+940.024 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 25385
Raw data (stat): 25385 (bsolo_lpr_cuts-) R 25384 8378 8377 0 -1 0 264353 0 0 0 93294 717 0 0 25 0 1 0 847234174 44503040 10164 4294967295 134512640 134716908 3221224576 3221223248 134652581 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10865 10164 1111 63 0 10802 0
vsize: 43460
[startup+950.023 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 25385
Raw data (stat): 25385 (bsolo_lpr_cuts-) R 25384 8378 8377 0 -1 0 266730 0 0 0 94288 723 0 0 25 0 1 0 847234174 44347392 10133 4294967295 134512640 134716908 3221224576 3221222976 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10827 10133 1111 63 0 10764 0
vsize: 43308
[startup+960.024 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 25385
Raw data (stat): 25385 (bsolo_lpr_cuts-) R 25384 8378 8377 0 -1 0 269498 0 0 0 95279 732 0 0 25 0 1 0 847234174 46612480 10541 4294967295 134512640 134716908 3221224576 3221220640 1075084536 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11380 10541 1111 63 0 11317 0
vsize: 45520
[startup+970.024 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 25385
Raw data (stat): 25385 (bsolo_lpr_cuts-) R 25384 8378 8377 0 -1 0 272590 0 0 0 96272 740 0 0 25 0 1 0 847234174 44535808 10178 4294967295 134512640 134716908 3221224576 3221222828 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10873 10178 1111 63 0 10810 0
vsize: 43492
[startup+980.024 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 25385
Raw data (stat): 25385 (bsolo_lpr_cuts-) R 25384 8378 8377 0 -1 0 278115 0 0 0 97257 755 0 0 25 0 1 0 847234174 46788608 10603 4294967295 134512640 134716908 3221224576 3221220688 1075895901 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11423 10603 1111 63 0 11360 0
vsize: 45692
[startup+990.024 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 25385
Raw data (stat): 25385 (bsolo_lpr_cuts-) R 25384 8378 8377 0 -1 0 281339 0 0 0 98249 764 0 0 25 0 1 0 847234174 46592000 10338 4294967295 134512640 134716908 3221224576 3221220736 1074794652 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11375 10338 1111 63 0 11312 0
vsize: 45500
[startup+1000.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 25385
Raw data (stat): 25385 (bsolo_lpr_cuts-) R 25384 8378 8377 0 -1 0 285766 0 0 0 99238 775 0 0 25 0 1 0 847234174 46809088 10423 4294967295 134512640 134716908 3221224576 3221220632 1074789806 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11428 10423 1111 63 0 11365 0
vsize: 45712
[startup+1010.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 25385
Raw data (stat): 25385 (bsolo_lpr_cuts-) R 25384 8378 8377 0 -1 0 290370 0 0 0 100223 790 0 0 25 0 1 0 847234174 47542272 10621 4294967295 134512640 134716908 3221224576 3221221520 1074620107 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11607 10621 1111 63 0 11544 0
vsize: 46428
[startup+1020.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 25385
Raw data (stat): 25385 (bsolo_lpr_cuts-) R 25384 8378 8377 0 -1 0 292759 0 0 0 101218 794 0 0 25 0 1 0 847234174 47230976 10689 4294967295 134512640 134716908 3221224576 3221220736 1075093350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11531 10689 1111 63 0 11468 0
vsize: 46124
[startup+1030.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 25385
Raw data (stat): 25385 (bsolo_lpr_cuts-) R 25384 8378 8377 0 -1 0 295533 0 0 0 102212 801 0 0 25 0 1 0 847234174 47579136 10611 4294967295 134512640 134716908 3221224576 3221220640 1075084533 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11616 10611 1111 63 0 11553 0
vsize: 46464
[startup+1040.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 25385
Raw data (stat): 25385 (bsolo_lpr_cuts-) R 25384 8378 8377 0 -1 0 297942 0 0 0 103206 807 0 0 25 0 1 0 847234174 47550464 10678 4294967295 134512640 134716908 3221224576 3221220816 1075115715 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11609 10678 1111 63 0 11546 0
vsize: 46436
[startup+1050.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 25385
Raw data (stat): 25385 (bsolo_lpr_cuts-) R 25384 8378 8377 0 -1 0 300690 0 0 0 104200 813 0 0 25 0 1 0 847234174 47677440 10698 4294967295 134512640 134716908 3221224576 3221220912 1075113493 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11640 10698 1111 63 0 11577 0
vsize: 46560
[startup+1060.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 25385
Raw data (stat): 25385 (bsolo_lpr_cuts-) R 25384 8378 8377 0 -1 0 303366 0 0 0 105194 820 0 0 25 0 1 0 847234174 47276032 10573 4294967295 134512640 134716908 3221224576 3221221344 1076083339 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11542 10573 1111 63 0 11479 0
vsize: 46168
[startup+1070.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 25385
Raw data (stat): 25385 (bsolo_lpr_cuts-) R 25384 8378 8377 0 -1 0 306454 0 0 0 106185 828 0 0 25 0 1 0 847234174 47312896 10703 4294967295 134512640 134716908 3221224576 3221220720 1074969609 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11551 10703 1111 63 0 11488 0
vsize: 46204
[startup+1080.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 25385
Raw data (stat): 25385 (bsolo_lpr_cuts-) R 25384 8378 8377 0 -1 0 309235 0 0 0 107179 835 0 0 25 0 1 0 847234174 46923776 10616 4294967295 134512640 134716908 3221224576 3221220544 1075965246 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11456 10616 1111 63 0 11393 0
vsize: 45824
[startup+1090.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 25385
Raw data (stat): 25385 (bsolo_lpr_cuts-) R 25384 8378 8377 0 -1 0 313096 0 0 0 108169 845 0 0 25 0 1 0 847234174 47341568 10682 4294967295 134512640 134716908 3221224576 3221220608 1074790233 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11558 10682 1111 63 0 11495 0
vsize: 46232
[startup+1100.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 25385
Raw data (stat): 25385 (bsolo_lpr_cuts-) R 25384 8378 8377 0 -1 0 317275 0 0 0 109156 858 0 0 25 0 1 0 847234174 47837184 10671 4294967295 134512640 134716908 3221224576 3221220736 1074883513 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11679 10671 1111 63 0 11616 0
vsize: 46716
[startup+1110.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 25385
Raw data (stat): 25385 (bsolo_lpr_cuts-) R 25384 8378 8377 0 -1 0 320084 0 0 0 110149 866 0 0 25 0 1 0 847234174 45846528 10483 4294967295 134512640 134716908 3221224576 3221222780 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11193 10483 1111 63 0 11130 0
vsize: 44772
[startup+1120.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 25385
Raw data (stat): 25385 (bsolo_lpr_cuts-) R 25384 8378 8377 0 -1 0 323007 0 0 0 111142 873 0 0 25 0 1 0 847234174 46456832 10572 4294967295 134512640 134716908 3221224576 3221222304 1075828674 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11342 10572 1111 63 0 11279 0
vsize: 45368
[startup+1130.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 25385
Raw data (stat): 25385 (bsolo_lpr_cuts-) R 25384 8378 8377 0 -1 0 326194 0 0 0 112134 881 0 0 25 0 1 0 847234174 47931392 10692 4294967295 134512640 134716908 3221224576 3221220536 1074789711 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11702 10692 1111 63 0 11639 0
vsize: 46808
[startup+1140.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 25385
Raw data (stat): 25385 (bsolo_lpr_cuts-) R 25384 8378 8377 0 -1 0 330188 0 0 0 113124 891 0 0 25 0 1 0 847234174 48062464 10691 4294967295 134512640 134716908 3221224576 3221220816 1075115715 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11734 10691 1111 63 0 11671 0
vsize: 46936
[startup+1150.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 25385
Raw data (stat): 25385 (bsolo_lpr_cuts-) R 25384 8378 8377 0 -1 0 333731 0 0 0 114117 898 0 0 25 0 1 0 847234174 45789184 10485 4294967295 134512640 134716908 3221224576 3221221920 1074839017 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11179 10485 1111 63 0 11116 0
vsize: 44716
[startup+1160.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 25385
Raw data (stat): 25385 (bsolo_lpr_cuts-) R 25384 8378 8377 0 -1 0 337793 0 0 0 115108 908 0 0 25 0 1 0 847234174 47927296 10665 4294967295 134512640 134716908 3221224576 3221221696 1074834317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11701 10665 1111 63 0 11638 0
vsize: 46804
[startup+1170.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 25385
Raw data (stat): 25385 (bsolo_lpr_cuts-) R 25384 8378 8377 0 -1 0 340752 0 0 0 116100 915 0 0 25 0 1 0 847234174 45780992 10483 4294967295 134512640 134716908 3221224576 3221222296 1077380592 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11177 10483 1111 63 0 11114 0
vsize: 44708
[startup+1175.31 s]
Raw data (loadavg): 1.00 0.97 0.91 1/54 25385
Raw data (stat): 25385 (bsolo_lpr_cuts-) R 25384 8378 8377 0 -1 0 340752 0 0 0 116100 915 0 0 25 0 1 0 847234174 45780992 10483 4294967295 134512640 134716908 3221224576 3221222296 1077380592 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11177 10483 1111 63 0 11114 0
vsize: 0

Child status: 10
Real time (s): 1175.3
CPU time (s): 1175.44
CPU user time (s): 1166.21
CPU system time (s): 9.2296
CPU usage (%): 100.011
Max. virtual memory (Kb): 46936
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	270
#### END VERIFIER DATA ####