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-ii32c2.opb
MD5SUM	b78d16df5ec546c41fce5f9f07c0fd92
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	207
Optimality of the best value was proved	NO
Number of terms in the objective function	498
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	498
Number of bits of the sum of numbers in the objective function	9
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	498
Number of bits of the biggest sum of numbers	9
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.03184
Number of variables	498
Total number of constraints	2431
Number of constraints which are clauses	2431
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 40700

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-06-08 19:16:01 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28766 boxname=wulflinc6 idbench=152 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  b78d16df5ec546c41fce5f9f07c0fd92  /oldhome/oroussel/tmp/wulflinc6/normalized-ii32c2.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-ii32c2.opb
IDLAUNCH: 28766
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
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.042
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:        923724 kB
Buffers:         25612 kB
Cached:          64080 kB
SwapCached:       1292 kB
Active:          26792 kB
Inactive:        65264 kB
HighTotal:      131008 kB
HighFree:        82880 kB
LowTotal:       903652 kB
LowFree:        840844 kB
SwapTotal:     2097136 kB
SwapFree:      2094824 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4988 kB
Slab:            13148 kB
Committed_AS:    63732 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 19:35:36 (client local time) WITH STATUS 10 IN 1175.77 SECONDS
stats: 28766 0 1175.77 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 498 variables and 2431 constraints.
c After prepocess the problem consists of 498 variables and 2431 constraints.
c preprocess terminated 3.122 s
c Initial Lower Bound: 160
c Lower Bound Elapsed time: 0.880444
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: 249 @ 11.086
c NEW SOLUTION FOUND: 248 @ 11.087
c NEW SOLUTION FOUND: 247 @ 11.101
c NEW SOLUTION FOUND: 246 @ 11.109
c NEW SOLUTION FOUND: 241 @ 11.121
c NEW SOLUTION FOUND: 240 @ 11.14
c NEW SOLUTION FOUND: 239 @ 11.178
c NEW SOLUTION FOUND: 238 @ 11.227
c NEW SOLUTION FOUND: 237 @ 11.282
c NEW SOLUTION FOUND: 236 @ 11.535
c NEW SOLUTION FOUND: 235 @ 11.85
c NEW SOLUTION FOUND: 234 @ 12.202
c NEW SOLUTION FOUND: 233 @ 12.477
c NEW SOLUTION FOUND: 232 @ 13.023
c NEW SOLUTION FOUND: 231 @ 13.183
c NEW SOLUTION FOUND: 230 @ 13.355
c NEW SOLUTION FOUND: 229 @ 13.516
c NEW SOLUTION FOUND: 228 @ 13.688
c NEW SOLUTION FOUND: 227 @ 13.858
c NEW SOLUTION FOUND: 226 @ 15.965
c NEW SOLUTION FOUND: 224 @ 20.526
c NEW SOLUTION FOUND: 221 @ 145.457
c NEW SOLUTION FOUND: 220 @ 146.992
c NEW SOLUTION FOUND: 219 @ 148.5
c NEW SOLUTION FOUND: 218 @ 197.704
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 
c Exit Code: 10
c Total time: 1175.75 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/54 1345
Raw data (stat): 1345 (runsolver) R 1344 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 904080259 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+9.99982 s]
Raw data (loadavg): 0.93 0.95 0.90 2/54 1345
Raw data (stat): 1345 (bsolo_lpr_cuts-) R 1344 25568 25567 0 -1 0 5887 0 0 0 982 15 0 0 25 0 1 0 904080259 9428992 1557 4294967295 134512640 134716908 3221224576 3221222592 1074867334 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2302 1557 1111 63 0 2239 0
vsize: 9208
[startup+19.9998 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 1345
Raw data (stat): 1345 (bsolo_lpr_cuts-) R 1344 25568 25567 0 -1 0 15477 0 0 0 1958 39 0 0 25 0 1 0 904080259 8916992 1506 4294967295 134512640 134716908 3221224576 3221222976 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2177 1506 1111 63 0 2114 0
vsize: 8708
[startup+30.0003 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 1345
Raw data (stat): 1345 (bsolo_lpr_cuts-) R 1344 25568 25567 0 -1 0 21984 0 0 0 2939 59 0 0 25 0 1 0 904080259 10665984 1690 4294967295 134512640 134716908 3221224576 3221221616 1075859942 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2604 1690 1111 63 0 2541 0
vsize: 10416
[startup+40.0001 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 1345
Raw data (stat): 1345 (bsolo_lpr_cuts-) R 1344 25568 25567 0 -1 0 27389 0 0 0 3924 74 0 0 25 0 1 0 904080259 9469952 1642 4294967295 134512640 134716908 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2312 1642 1111 63 0 2249 0
vsize: 9248
[startup+50.0002 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 1345
Raw data (stat): 1345 (bsolo_lpr_cuts-) R 1344 25568 25567 0 -1 0 32939 0 0 0 4906 92 0 0 25 0 1 0 904080259 10952704 1779 4294967295 134512640 134716908 3221224576 3221220912 1075113502 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2674 1779 1111 63 0 2611 0
vsize: 10696
[startup+59.9997 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 1345
Raw data (stat): 1345 (bsolo_lpr_cuts-) R 1344 25568 25567 0 -1 0 39616 0 0 0 5885 113 0 0 25 0 1 0 904080259 11251712 1831 4294967295 134512640 134716908 3221224576 3221220632 1074789701 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2747 1831 1111 63 0 2684 0
vsize: 10988
[startup+69.9995 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 1345
Raw data (stat): 1345 (bsolo_lpr_cuts-) R 1344 25568 25567 0 -1 0 44819 0 0 0 6869 130 0 0 25 0 1 0 904080259 10285056 1810 4294967295 134512640 134716908 3221224576 3221222928 1074153660 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2511 1810 1111 63 0 2448 0
vsize: 10044
[startup+80 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 1345
Raw data (stat): 1345 (bsolo_lpr_cuts-) R 1344 25568 25567 0 -1 0 50135 0 0 0 7855 144 0 0 25 0 1 0 904080259 10178560 1816 4294967295 134512640 134716908 3221224576 3221222976 1074153800 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2485 1816 1111 63 0 2422 0
vsize: 9940
[startup+90.0001 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 1345
Raw data (stat): 1345 (bsolo_lpr_cuts-) R 1344 25568 25567 0 -1 0 54280 0 0 0 8844 156 0 0 25 0 1 0 904080259 11698176 1923 4294967295 134512640 134716908 3221224576 3221220848 1074961304 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2856 1923 1111 63 0 2793 0
vsize: 11424
[startup+99.9999 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 1345
Raw data (stat): 1345 (bsolo_lpr_cuts-) R 1344 25568 25567 0 -1 0 58314 0 0 0 9833 167 0 0 25 0 1 0 904080259 12099584 2091 4294967295 134512640 134716908 3221224576 3221221104 1075397189 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2954 2091 1111 63 0 2891 0
vsize: 11816
[startup+110 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 1345
Raw data (stat): 1345 (bsolo_lpr_cuts-) R 1344 25568 25567 0 -1 0 62890 0 0 0 10819 181 0 0 25 0 1 0 904080259 11898880 1987 4294967295 134512640 134716908 3221224576 3221220736 1074794536 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2905 1987 1111 63 0 2842 0
vsize: 11620
[startup+120.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1345
Raw data (stat): 1345 (bsolo_lpr_cuts-) R 1344 25568 25567 0 -1 0 69016 0 0 0 11803 197 0 0 25 0 1 0 904080259 12115968 2073 4294967295 134512640 134716908 3221224576 3221220472 1074789711 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2958 2073 1111 63 0 2895 0
vsize: 11832
[startup+130 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1345
Raw data (stat): 1345 (bsolo_lpr_cuts-) R 1344 25568 25567 0 -1 0 74325 0 0 0 12785 216 0 0 25 0 1 0 904080259 11214848 2043 4294967295 134512640 134716908 3221224576 3221222960 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2738 2043 1111 63 0 2675 0
vsize: 10952
[startup+140 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1345
Raw data (stat): 1345 (bsolo_lpr_cuts-) R 1344 25568 25567 0 -1 0 79068 0 0 0 13772 229 0 0 25 0 1 0 904080259 11296768 2089 4294967295 134512640 134716908 3221224576 3221222672 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2758 2089 1111 63 0 2695 0
vsize: 11032
[startup+150 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1345
Raw data (stat): 1345 (bsolo_lpr_cuts-) R 1344 25568 25567 0 -1 0 85459 0 0 0 14752 248 0 0 25 0 1 0 904080259 11878400 2217 4294967295 134512640 134716908 3221224576 3221222828 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2900 2217 1111 63 0 2837 0
vsize: 11600
[startup+160 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1345
Raw data (stat): 1345 (bsolo_lpr_cuts-) R 1344 25568 25567 0 -1 0 90907 0 0 0 15736 265 0 0 25 0 1 0 904080259 13152256 2335 4294967295 134512640 134716908 3221224576 3221220736 1075090392 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3211 2335 1111 63 0 3148 0
vsize: 12844
[startup+169.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1345
Raw data (stat): 1345 (bsolo_lpr_cuts-) R 1344 25568 25567 0 -1 0 95417 0 0 0 16723 279 0 0 25 0 1 0 904080259 13299712 2363 4294967295 134512640 134716908 3221224576 3221221696 1074837183 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3247 2363 1111 63 0 3184 0
vsize: 12988
[startup+179.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1345
Raw data (stat): 1345 (bsolo_lpr_cuts-) R 1344 25568 25567 0 -1 0 100589 0 0 0 17708 293 0 0 25 0 1 0 904080259 12976128 2402 4294967295 134512640 134716908 3221224576 3221220848 1074960964 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3168 2402 1111 63 0 3105 0
vsize: 12672
[startup+189.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1345
Raw data (stat): 1345 (bsolo_lpr_cuts-) R 1344 25568 25567 0 -1 0 104624 0 0 0 18697 305 0 0 25 0 1 0 904080259 12054528 2265 4294967295 134512640 134716908 3221224576 3221222728 1074950131 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2943 2265 1111 63 0 2880 0
vsize: 11772
[startup+199.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1345
Raw data (stat): 1345 (bsolo_lpr_cuts-) R 1344 25568 25567 0 -1 0 111444 0 0 0 19680 322 0 0 25 0 1 0 904080259 12263424 2309 4294967295 134512640 134716908 3221224576 3221222780 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2994 2309 1111 63 0 2931 0
vsize: 11976
[startup+209.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1345
Raw data (stat): 1345 (bsolo_lpr_cuts-) R 1344 25568 25567 0 -1 0 118281 0 0 0 20658 344 0 0 25 0 1 0 904080259 14008320 2523 4294967295 134512640 134716908 3221224576 3221220780 1075564159 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3420 2523 1111 63 0 3357 0
vsize: 13680
[startup+219.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1345
Raw data (stat): 1345 (bsolo_lpr_cuts-) R 1344 25568 25567 0 -1 0 124554 0 0 0 21641 362 0 0 25 0 1 0 904080259 12894208 2480 4294967295 134512640 134716908 3221224576 3221222536 1074138277 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3148 2480 1111 63 0 3085 0
vsize: 12592
[startup+229.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1345
Raw data (stat): 1345 (bsolo_lpr_cuts-) R 1344 25568 25567 0 -1 0 131159 0 0 0 22623 380 0 0 25 0 1 0 904080259 13000704 2495 4294967295 134512640 134716908 3221224576 3221222780 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3174 2495 1111 63 0 3111 0
vsize: 12696
[startup+239.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1345
Raw data (stat): 1345 (bsolo_lpr_cuts-) R 1344 25568 25567 0 -1 0 137123 0 0 0 23608 396 0 0 25 0 1 0 904080259 13799424 2578 4294967295 134512640 134716908 3221224576 3221221648 1074867305 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3369 2578 1111 63 0 3306 0
vsize: 13476
[startup+249.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1345
Raw data (stat): 1345 (bsolo_lpr_cuts-) R 1344 25568 25567 0 -1 0 143049 0 0 0 24593 411 0 0 25 0 1 0 904080259 15224832 2842 4294967295 134512640 134716908 3221224576 3221220632 1074789711 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3717 2842 1111 63 0 3654 0
vsize: 14868
[startup+260 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1345
Raw data (stat): 1345 (bsolo_lpr_cuts-) R 1344 25568 25567 0 -1 0 147641 0 0 0 25581 423 0 0 25 0 1 0 904080259 13438976 2613 4294967295 134512640 134716908 3221224576 3221222976 1074153779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3281 2613 1111 63 0 3218 0
vsize: 13124
[startup+270 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1345
Raw data (stat): 1345 (bsolo_lpr_cuts-) R 1344 25568 25567 0 -1 0 153346 0 0 0 26567 438 0 0 25 0 1 0 904080259 13881344 2689 4294967295 134512640 134716908 3221224576 3221222780 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3389 2689 1111 63 0 3326 0
vsize: 13556
[startup+280 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1345
Raw data (stat): 1345 (bsolo_lpr_cuts-) R 1344 25568 25567 0 -1 0 159391 0 0 0 27551 454 0 0 25 0 1 0 904080259 13619200 2657 4294967295 134512640 134716908 3221224576 3221222864 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3325 2657 1111 63 0 3262 0
vsize: 13300
[startup+290 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1345
Raw data (stat): 1345 (bsolo_lpr_cuts-) R 1344 25568 25567 0 -1 0 165697 0 0 0 28536 469 0 0 25 0 1 0 904080259 14061568 2754 4294967295 134512640 134716908 3221224576 3221222828 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3433 2754 1111 63 0 3370 0
vsize: 13732
[startup+299.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1345
Raw data (stat): 1345 (bsolo_lpr_cuts-) R 1344 25568 25567 0 -1 0 171502 0 0 0 29521 485 0 0 25 0 1 0 904080259 14467072 2863 4294967295 134512640 134716908 3221224576 3221222876 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3532 2863 1111 63 0 3469 0
vsize: 14128
[startup+309.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1345
Raw data (stat): 1345 (bsolo_lpr_cuts-) R 1344 25568 25567 0 -1 0 175558 0 0 0 30508 498 0 0 25 0 1 0 904080259 15093760 2874 4294967295 134512640 134716908 3221224576 3221221176 1075850762 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3685 2874 1111 63 0 3622 0
vsize: 14740
[startup+319.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1345
Raw data (stat): 1345 (bsolo_lpr_cuts-) R 1344 25568 25567 0 -1 0 182137 0 0 0 31489 517 0 0 25 0 1 0 904080259 15777792 2968 4294967295 134512640 134716908 3221224576 3221221696 1074834473 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3852 2968 1111 63 0 3789 0
vsize: 15408
[startup+330 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1345
Raw data (stat): 1345 (bsolo_lpr_cuts-) R 1344 25568 25567 0 -1 0 187893 0 0 0 32472 534 0 0 25 0 1 0 904080259 14671872 2882 4294967295 134512640 134716908 3221224576 3221222976 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3582 2882 1111 63 0 3519 0
vsize: 14328
[startup+340 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1345
Raw data (stat): 1345 (bsolo_lpr_cuts-) R 1344 25568 25567 0 -1 0 193461 0 0 0 33455 552 0 0 25 0 1 0 904080259 14512128 2875 4294967295 134512640 134716908 3221224576 3221222976 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3543 2875 1111 63 0 3480 0
vsize: 14172
[startup+350 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1345
Raw data (stat): 1345 (bsolo_lpr_cuts-) R 1344 25568 25567 0 -1 0 198586 0 0 0 34442 565 0 0 25 0 1 0 904080259 14934016 2946 4294967295 134512640 134716908 3221224576 3221222832 1073990306 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3646 2946 1111 63 0 3583 0
vsize: 14584
[startup+360 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1345
Raw data (stat): 1345 (bsolo_lpr_cuts-) R 1344 25568 25567 0 -1 0 204597 0 0 0 35425 583 0 0 25 0 1 0 904080259 15077376 3010 4294967295 134512640 134716908 3221224576 3221222876 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3681 3010 1111 63 0 3618 0
vsize: 14724
[startup+370 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1345
Raw data (stat): 1345 (bsolo_lpr_cuts-) R 1344 25568 25567 0 -1 0 209793 0 0 0 36412 596 0 0 25 0 1 0 904080259 15261696 3026 4294967295 134512640 134716908 3221224576 3221222856 1074138290 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3726 3026 1111 63 0 3663 0
vsize: 14904
[startup+380 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1345
Raw data (stat): 1345 (bsolo_lpr_cuts-) R 1344 25568 25567 0 -1 0 215840 0 0 0 37394 614 0 0 25 0 1 0 904080259 15253504 3041 4294967295 134512640 134716908 3221224576 3221222992 1073989433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3724 3041 1111 63 0 3661 0
vsize: 14896
[startup+390 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1345
Raw data (stat): 1345 (bsolo_lpr_cuts-) R 1344 25568 25567 0 -1 0 219898 0 0 0 38383 625 0 0 25 0 1 0 904080259 16896000 3329 4294967295 134512640 134716908 3221224576 3221221096 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4125 3329 1111 63 0 4062 0
vsize: 16500
[startup+400 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1345
Raw data (stat): 1345 (bsolo_lpr_cuts-) R 1344 25568 25567 0 -1 0 224808 0 0 0 39369 640 0 0 25 0 1 0 904080259 15409152 3089 4294967295 134512640 134716908 3221224576 3221222780 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3762 3089 1111 63 0 3699 0
vsize: 15048
[startup+410 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1345
Raw data (stat): 1345 (bsolo_lpr_cuts-) R 1344 25568 25567 0 -1 0 231007 0 0 0 40354 656 0 0 25 0 1 0 904080259 17055744 3326 4294967295 134512640 134716908 3221224576 3221220848 1074961353 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4164 3327 1111 63 0 4101 0
vsize: 16656
[startup+419.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1345
Raw data (stat): 1345 (bsolo_lpr_cuts-) R 1344 25568 25567 0 -1 0 234825 0 0 0 41343 666 0 0 25 0 1 0 904080259 17084416 3437 4294967295 134512640 134716908 3221224576 3221221124 1075115065 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4171 3437 1111 63 0 4108 0
vsize: 16684
[startup+429.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1345
Raw data (stat): 1345 (bsolo_lpr_cuts-) R 1344 25568 25567 0 -1 0 239637 0 0 0 42331 679 0 0 25 0 1 0 904080259 15589376 3134 4294967295 134512640 134716908 3221224576 3221222828 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3806 3134 1111 63 0 3743 0
vsize: 15224
[startup+439.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1345
Raw data (stat): 1345 (bsolo_lpr_cuts-) R 1344 25568 25567 0 -1 0 244030 0 0 0 43317 693 0 0 25 0 1 0 904080259 15663104 3146 4294967295 134512640 134716908 3221224576 3221222720 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3824 3146 1111 63 0 3761 0
vsize: 15296
[startup+449.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1345
Raw data (stat): 1345 (bsolo_lpr_cuts-) R 1344 25568 25567 0 -1 0 249055 0 0 0 44304 706 0 0 25 0 1 0 904080259 15749120 3145 4294967295 134512640 134716908 3221224576 3221222828 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3845 3145 1111 63 0 3782 0
vsize: 15380
[startup+459.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1345
Raw data (stat): 1345 (bsolo_lpr_cuts-) R 1344 25568 25567 0 -1 0 254416 0 0 0 45289 721 0 0 25 0 1 0 904080259 17063936 3428 4294967295 134512640 134716908 3221224576 3221220460 1074788950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4166 3428 1111 63 0 4103 0
vsize: 16664
[startup+469.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1345
Raw data (stat): 1345 (bsolo_lpr_cuts-) R 1344 25568 25567 0 -1 0 258438 0 0 0 46278 734 0 0 25 0 1 0 904080259 15704064 3166 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3834 3166 1111 63 0 3771 0
vsize: 15336
[startup+479.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1345
Raw data (stat): 1345 (bsolo_lpr_cuts-) R 1344 25568 25567 0 -1 0 262299 0 0 0 47267 745 0 0 25 0 1 0 904080259 16142336 3239 4294967295 134512640 134716908 3221224576 3221221920 1074839088 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3941 3239 1111 63 0 3878 0
vsize: 15764
[startup+489.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1345
Raw data (stat): 1345 (bsolo_lpr_cuts-) R 1344 25568 25567 0 -1 0 266888 0 0 0 48254 758 0 0 25 0 1 0 904080259 16269312 3288 4294967295 134512640 134716908 3221224576 3221222780 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3972 3288 1111 63 0 3909 0
vsize: 15888
[startup+499.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1345
Raw data (stat): 1345 (bsolo_lpr_cuts-) R 1344 25568 25567 0 -1 0 270480 0 0 0 49243 769 0 0 25 0 1 0 904080259 15826944 3196 4294967295 134512640 134716908 3221224576 3221222720 1074153673 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3864 3196 1111 63 0 3801 0
vsize: 15456
[startup+509.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1345
Raw data (stat): 1345 (bsolo_lpr_cuts-) R 1344 25568 25567 0 -1 0 275233 0 0 0 50231 781 0 0 25 0 1 0 904080259 16404480 3305 4294967295 134512640 134716908 3221224576 3221222976 1074153786 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4005 3305 1111 63 0 3942 0
vsize: 16020
[startup+519.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1345
Raw data (stat): 1345 (bsolo_lpr_cuts-) R 1344 25568 25567 0 -1 0 279636 0 0 0 51217 796 0 0 25 0 1 0 904080259 16281600 3288 4294967295 134512640 134716908 3221224576 3221222828 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3975 3288 1111 63 0 3912 0
vsize: 15900
[startup+529.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1345
Raw data (stat): 1345 (bsolo_lpr_cuts-) R 1344 25568 25567 0 -1 0 284601 0 0 0 52203 810 0 0 25 0 1 0 904080259 16326656 3286 4294967295 134512640 134716908 3221224576 3221222828 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3986 3286 1111 63 0 3923 0
vsize: 15944
[startup+539.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1345
Raw data (stat): 1345 (bsolo_lpr_cuts-) R 1344 25568 25567 0 -1 0 288151 0 0 0 53193 820 0 0 25 0 1 0 904080259 16543744 3357 4294967295 134512640 134716908 3221224576 3221222780 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4039 3357 1111 63 0 3976 0
vsize: 16156
[startup+549.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1345
Raw data (stat): 1345 (bsolo_lpr_cuts-) R 1344 25568 25567 0 -1 0 291980 0 0 0 54182 831 0 0 25 0 1 0 904080259 17731584 3423 4294967295 134512640 134716908 3221224576 3221220720 1074970425 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4329 3423 1111 63 0 4266 0
vsize: 17316
[startup+559.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1345
Raw data (stat): 1345 (bsolo_lpr_cuts-) R 1344 25568 25567 0 -1 0 296296 0 0 0 55170 844 0 0 25 0 1 0 904080259 17747968 3422 4294967295 134512640 134716908 3221224576 3221220816 1075115715 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4333 3423 1111 63 0 4270 0
vsize: 17332
[startup+569.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1345
Raw data (stat): 1345 (bsolo_lpr_cuts-) R 1344 25568 25567 0 -1 0 300204 0 0 0 56159 855 0 0 25 0 1 0 904080259 18272256 3627 4294967295 134512640 134716908 3221224576 3221221648 1074867340 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4461 3627 1111 63 0 4398 0
vsize: 17844
[startup+579.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1345
Raw data (stat): 1345 (bsolo_lpr_cuts-) R 1344 25568 25567 0 -1 0 305608 0 0 0 57145 870 0 0 25 0 1 0 904080259 16842752 3434 4294967295 134512640 134716908 3221224576 3221222876 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4112 3434 1111 63 0 4049 0
vsize: 16448
[startup+589.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1345
Raw data (stat): 1345 (bsolo_lpr_cuts-) R 1344 25568 25567 0 -1 0 309626 0 0 0 58134 881 0 0 25 0 1 0 904080259 18202624 3558 4294967295 134512640 134716908 3221224576 3221221136 1076046556 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4444 3558 1111 63 0 4381 0
vsize: 17776
[startup+599.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1345
Raw data (stat): 1345 (bsolo_lpr_cuts-) R 1344 25568 25567 0 -1 0 314184 0 0 0 59123 892 0 0 25 0 1 0 904080259 17063936 3479 4294967295 134512640 134716908 3221224576 3221222828 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4166 3479 1111 63 0 4103 0
vsize: 16664
[startup+609.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1345
Raw data (stat): 1345 (bsolo_lpr_cuts-) R 1344 25568 25567 0 -1 0 319497 0 0 0 60107 909 0 0 25 0 1 0 904080259 16793600 3432 4294967295 134512640 134716908 3221224576 3221222888 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4100 3432 1111 63 0 4037 0
vsize: 16400
[startup+619.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1345
Raw data (stat): 1345 (bsolo_lpr_cuts-) R 1344 25568 25567 0 -1 0 325004 0 0 0 61090 926 0 0 25 0 1 0 904080259 16932864 3466 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4134 3466 1111 63 0 4071 0
vsize: 16536
[startup+629.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1345
Raw data (stat): 1345 (bsolo_lpr_cuts-) R 1344 25568 25567 0 -1 0 331347 0 0 0 62072 944 0 0 25 0 1 0 904080259 17432576 3575 4294967295 134512640 134716908 3221224576 3221222976 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4256 3575 1111 63 0 4193 0
vsize: 17024
[startup+639.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1345
Raw data (stat): 1345 (bsolo_lpr_cuts-) R 1344 25568 25567 0 -1 0 335557 0 0 0 63061 956 0 0 25 0 1 0 904080259 18583552 3651 4294967295 134512640 134716908 3221224576 3221220848 1074961183 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4537 3651 1111 63 0 4474 0
vsize: 18148
[startup+649.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1345
Raw data (stat): 1345 (bsolo_lpr_cuts-) R 1344 25568 25567 0 -1 0 339937 0 0 0 64047 970 0 0 25 0 1 0 904080259 17276928 3550 4294967295 134512640 134716908 3221224576 3221223184 134652538 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4218 3550 1111 63 0 4155 0
vsize: 16872
[startup+659.996 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1345
Raw data (stat): 1345 (bsolo_lpr_cuts-) R 1344 25568 25567 0 -1 0 343645 0 0 0 65039 979 0 0 25 0 1 0 904080259 18604032 3760 4294967295 134512640 134716908 3221224576 3221220804 1075115049 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4542 3760 1111 63 0 4479 0
vsize: 18168
[startup+669.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1345
Raw data (stat): 1345 (bsolo_lpr_cuts-) R 1344 25568 25567 0 -1 0 347207 0 0 0 66027 991 0 0 25 0 1 0 904080259 17731584 3646 4294967295 134512640 134716908 3221224576 3221222720 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4329 3646 1111 63 0 4266 0
vsize: 17316
[startup+679.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1345
Raw data (stat): 1345 (bsolo_lpr_cuts-) R 1344 25568 25567 0 -1 0 351329 0 0 0 67016 1002 0 0 25 0 1 0 904080259 17702912 3643 4294967295 134512640 134716908 3221224576 3221222712 1077377266 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4322 3643 1111 63 0 4259 0
vsize: 17288
[startup+689.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1345
Raw data (stat): 1345 (bsolo_lpr_cuts-) R 1344 25568 25567 0 -1 0 355107 0 0 0 68005 1014 0 0 25 0 1 0 904080259 18788352 3835 4294967295 134512640 134716908 3221224576 3221221124 1075115070 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4587 3835 1111 63 0 4524 0
vsize: 18348
[startup+699.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1345
Raw data (stat): 1345 (bsolo_lpr_cuts-) R 1344 25568 25567 0 -1 0 360445 0 0 0 68990 1029 0 0 25 0 1 0 904080259 19238912 3894 4294967295 134512640 134716908 3221224576 3221220952 1075112621 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4697 3894 1111 63 0 4634 0
vsize: 18788
[startup+709.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1345
Raw data (stat): 1345 (bsolo_lpr_cuts-) R 1344 25568 25567 0 -1 0 365338 0 0 0 69976 1043 0 0 25 0 1 0 904080259 18993152 3851 4294967295 134512640 134716908 3221224576 3221220848 1074960876 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4637 3851 1111 63 0 4574 0
vsize: 18548
[startup+719.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1345
Raw data (stat): 1345 (bsolo_lpr_cuts-) R 1344 25568 25567 0 -1 0 370868 0 0 0 70961 1059 0 0 25 0 1 0 904080259 19349504 3843 4294967295 134512640 134716908 3221224576 3221220604 1074788143 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4724 3843 1111 63 0 4661 0
vsize: 18896
[startup+729.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1345
Raw data (stat): 1345 (bsolo_lpr_cuts-) R 1344 25568 25567 0 -1 0 375618 0 0 0 71948 1072 0 0 25 0 1 0 904080259 18337792 3804 4294967295 134512640 134716908 3221224576 3221223064 134543168 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4477 3804 1111 63 0 4414 0
vsize: 17908
[startup+739.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1345
Raw data (stat): 1345 (bsolo_lpr_cuts-) R 1344 25568 25567 0 -1 0 380624 0 0 0 72934 1086 0 0 25 0 1 0 904080259 19795968 3955 4294967295 134512640 134716908 3221224576 3221221696 1074834346 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4833 3955 1111 63 0 4770 0
vsize: 19332
[startup+749.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1345
Raw data (stat): 1345 (bsolo_lpr_cuts-) R 1344 25568 25567 0 -1 0 385360 0 0 0 73922 1098 0 0 25 0 1 0 904080259 19308544 3947 4294967295 134512640 134716908 3221224576 3221220640 1075084533 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4714 3947 1111 63 0 4651 0
vsize: 18856
[startup+759.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1345
Raw data (stat): 1345 (bsolo_lpr_cuts-) R 1344 25568 25567 0 -1 0 389504 0 0 0 74911 1110 0 0 25 0 1 0 904080259 18276352 3794 4294967295 134512640 134716908 3221224576 3221222768 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4462 3794 1111 63 0 4399 0
vsize: 17848
[startup+769.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1345
Raw data (stat): 1345 (bsolo_lpr_cuts-) R 1344 25568 25567 0 -1 0 395686 0 0 0 75894 1127 0 0 25 0 1 0 904080259 18726912 3882 4294967295 134512640 134716908 3221224576 3221222688 1074867308 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4572 3882 1111 63 0 4509 0
vsize: 18288
[startup+779.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1345
Raw data (stat): 1345 (bsolo_lpr_cuts-) R 1344 25568 25567 0 -1 0 400431 0 0 0 76881 1141 0 0 25 0 1 0 904080259 20357120 4076 4294967295 134512640 134716908 3221224576 3221220804 1075115003 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4970 4076 1111 63 0 4907 0
vsize: 19880
[startup+789.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1345
Raw data (stat): 1345 (bsolo_lpr_cuts-) R 1344 25568 25567 0 -1 0 404451 0 0 0 77870 1152 0 0 25 0 1 0 904080259 18919424 3919 4294967295 134512640 134716908 3221224576 3221222360 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4619 3919 1111 63 0 4556 0
vsize: 18476
[startup+799.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1345
Raw data (stat): 1345 (bsolo_lpr_cuts-) R 1344 25568 25567 0 -1 0 409888 0 0 0 78858 1165 0 0 25 0 1 0 904080259 20058112 4032 4294967295 134512640 134716908 3221224576 3221221096 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4897 4032 1111 63 0 4834 0
vsize: 19588
[startup+809.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1345
Raw data (stat): 1345 (bsolo_lpr_cuts-) R 1344 25568 25567 0 -1 0 414450 0 0 0 79844 1178 0 0 25 0 1 0 904080259 20148224 4180 4294967295 134512640 134716908 3221224576 3221221016 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4919 4180 1111 63 0 4856 0
vsize: 19676
[startup+819.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1345
Raw data (stat): 1345 (bsolo_lpr_cuts-) R 1344 25568 25567 0 -1 0 420548 0 0 0 80827 1196 0 0 25 0 1 0 904080259 19103744 3959 4294967295 134512640 134716908 3221224576 3221222416 1075795877 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4664 3959 1111 63 0 4601 0
vsize: 18656
[startup+829.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1345
Raw data (stat): 1345 (bsolo_lpr_cuts-) R 1344 25568 25567 0 -1 0 426092 0 0 0 81811 1212 0 0 25 0 1 0 904080259 20262912 4189 4294967295 134512640 134716908 3221224576 3221220708 1074786495 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4947 4189 1111 63 0 4884 0
vsize: 19788
[startup+839.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1345
Raw data (stat): 1345 (bsolo_lpr_cuts-) R 1344 25568 25567 0 -1 0 432622 0 0 0 82794 1229 0 0 25 0 1 0 904080259 19529728 4055 4294967295 134512640 134716908 3221224576 3221222780 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4768 4055 1111 63 0 4705 0
vsize: 19072
[startup+849.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1345
Raw data (stat): 1345 (bsolo_lpr_cuts-) R 1344 25568 25567 0 -1 0 437720 0 0 0 83779 1245 0 0 25 0 1 0 904080259 20393984 4194 4294967295 134512640 134716908 3221224576 3221220720 1074969499 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4979 4194 1111 63 0 4916 0
vsize: 19916
[startup+859.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1345
Raw data (stat): 1345 (bsolo_lpr_cuts-) R 1344 25568 25567 0 -1 0 443611 0 0 0 84763 1262 0 0 25 0 1 0 904080259 20787200 4167 4294967295 134512640 134716908 3221224576 3221220620 1074873480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5075 4167 1111 63 0 5012 0
vsize: 20300
[startup+869.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1345
Raw data (stat): 1345 (bsolo_lpr_cuts-) R 1344 25568 25567 0 -1 0 448722 0 0 0 85747 1278 0 0 25 0 1 0 904080259 20439040 4204 4294967295 134512640 134716908 3221224576 3221220840 1076079125 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4990 4204 1111 63 0 4927 0
vsize: 19960
[startup+879.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1345
Raw data (stat): 1345 (bsolo_lpr_cuts-) R 1344 25568 25567 0 -1 0 454494 0 0 0 86729 1296 0 0 25 0 1 0 904080259 21094400 4314 4294967295 134512640 134716908 3221224576 3221220780 1075564181 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5150 4314 1111 63 0 5087 0
vsize: 20600
[startup+889.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1345
Raw data (stat): 1345 (bsolo_lpr_cuts-) R 1344 25568 25567 0 -1 0 460489 0 0 0 87714 1311 0 0 25 0 1 0 904080259 21090304 4285 4294967295 134512640 134716908 3221224576 3221221088 1075084536 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5149 4285 1111 63 0 5086 0
vsize: 20596
[startup+899.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1345
Raw data (stat): 1345 (bsolo_lpr_cuts-) R 1344 25568 25567 0 -1 0 467750 0 0 0 88695 1331 0 0 25 0 1 0 904080259 19484672 4089 4294967295 134512640 134716908 3221224576 3221222912 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4757 4089 1111 63 0 4694 0
vsize: 19028
[startup+909.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1345
Raw data (stat): 1345 (bsolo_lpr_cuts-) R 1344 25568 25567 0 -1 0 475758 0 0 0 89673 1353 0 0 25 0 1 0 904080259 19750912 4132 4294967295 134512640 134716908 3221224576 3221222780 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4822 4132 1111 63 0 4759 0
vsize: 19288
[startup+919.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1345
Raw data (stat): 1345 (bsolo_lpr_cuts-) R 1344 25568 25567 0 -1 0 482726 0 0 0 90656 1371 0 0 25 0 1 0 904080259 21598208 4436 4294967295 134512640 134716908 3221224576 3221220848 1074961146 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5273 4436 1111 63 0 5210 0
vsize: 21092
[startup+929.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1345
Raw data (stat): 1345 (bsolo_lpr_cuts-) R 1344 25568 25567 0 -1 0 488352 0 0 0 91639 1388 0 0 25 0 1 0 904080259 20865024 4294 4294967295 134512640 134716908 3221224576 3221222216 1075850409 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5094 4294 1111 63 0 5031 0
vsize: 20376
[startup+940 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1345
Raw data (stat): 1345 (bsolo_lpr_cuts-) R 1344 25568 25567 0 -1 0 492281 0 0 0 92629 1398 0 0 25 0 1 0 904080259 21520384 4394 4294967295 134512640 134716908 3221224576 3221220736 1074794482 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5254 4394 1111 63 0 5191 0
vsize: 21016
[startup+950 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1345
Raw data (stat): 1345 (bsolo_lpr_cuts-) R 1344 25568 25567 0 -1 0 496694 0 0 0 93617 1410 0 0 25 0 1 0 904080259 21323776 4326 4294967295 134512640 134716908 3221224576 3221220452 1074786582 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5206 4326 1111 63 0 5143 0
vsize: 20824
[startup+960 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1345
Raw data (stat): 1345 (bsolo_lpr_cuts-) R 1344 25568 25567 0 -1 0 502148 0 0 0 94601 1427 0 0 25 0 1 0 904080259 20451328 4317 4294967295 134512640 134716908 3221224576 3221222828 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4993 4317 1111 63 0 4930 0
vsize: 19972
[startup+970 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1345
Raw data (stat): 1345 (bsolo_lpr_cuts-) R 1344 25568 25567 0 -1 0 508050 0 0 0 95583 1445 0 0 25 0 1 0 904080259 22081536 4510 4294967295 134512640 134716908 3221224576 3221220848 1074961146 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5391 4510 1111 63 0 5328 0
vsize: 21564
[startup+980 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1345
Raw data (stat): 1345 (bsolo_lpr_cuts-) R 1344 25568 25567 0 -1 0 513530 0 0 0 96568 1460 0 0 25 0 1 0 904080259 22155264 4493 4294967295 134512640 134716908 3221224576 3221220456 1074788501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5409 4495 1111 63 0 5346 0
vsize: 21636
[startup+990 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1345
Raw data (stat): 1345 (bsolo_lpr_cuts-) R 1344 25568 25567 0 -1 0 519978 0 0 0 97549 1480 0 0 25 0 1 0 904080259 21217280 4502 4294967295 134512640 134716908 3221224576 3221222828 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5180 4502 1111 63 0 5117 0
vsize: 20720
[startup+1000 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1345
Raw data (stat): 1345 (bsolo_lpr_cuts-) R 1344 25568 25567 0 -1 0 526041 0 0 0 98534 1495 0 0 25 0 1 0 904080259 21356544 4514 4294967295 134512640 134716908 3221224576 3221222876 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5214 4514 1111 63 0 5151 0
vsize: 20856
[startup+1010 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1345
Raw data (stat): 1345 (bsolo_lpr_cuts-) R 1344 25568 25567 0 -1 0 531854 0 0 0 99518 1511 0 0 25 0 1 0 904080259 21241856 4502 4294967295 134512640 134716908 3221224576 3221222828 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5186 4502 1111 63 0 5123 0
vsize: 20744
[startup+1020 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1345
Raw data (stat): 1345 (bsolo_lpr_cuts-) R 1344 25568 25567 0 -1 0 537759 0 0 0 100502 1528 0 0 25 0 1 0 904080259 22745088 4657 4294967295 134512640 134716908 3221224576 3221221728 1075969871 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5553 4662 1111 63 0 5490 0
vsize: 22212
[startup+1030 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1345
Raw data (stat): 1345 (bsolo_lpr_cuts-) R 1344 25568 25567 0 -1 0 542959 0 0 0 101486 1544 0 0 25 0 1 0 904080259 22331392 4679 4294967295 134512640 134716908 3221224576 3221220588 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5452 4679 1111 63 0 5389 0
vsize: 21808
[startup+1040 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1345
Raw data (stat): 1345 (bsolo_lpr_cuts-) R 1344 25568 25567 0 -1 0 549213 0 0 0 102470 1560 0 0 25 0 1 0 904080259 22994944 4724 4294967295 134512640 134716908 3221224576 3221221232 1075967448 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5614 4724 1111 63 0 5551 0
vsize: 22456
[startup+1050 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1345
Raw data (stat): 1345 (bsolo_lpr_cuts-) R 1344 25568 25567 0 -1 0 555435 0 0 0 103452 1578 0 0 25 0 1 0 904080259 22282240 4740 4294967295 134512640 134716908 3221224576 3221222816 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5440 4740 1111 63 0 5377 0
vsize: 21760
[startup+1060 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1345
Raw data (stat): 1345 (bsolo_lpr_cuts-) R 1344 25568 25567 0 -1 0 562686 0 0 0 104434 1597 0 0 25 0 1 0 904080259 21889024 4676 4294967295 134512640 134716908 3221224576 3221223252 134535756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5344 4676 1111 63 0 5281 0
vsize: 21376
[startup+1070 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1345
Raw data (stat): 1345 (bsolo_lpr_cuts-) R 1344 25568 25567 0 -1 0 570181 0 0 0 105415 1616 0 0 25 0 1 0 904080259 24043520 5010 4294967295 134512640 134716908 3221224576 3221220824 1077410165 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5870 5010 1111 63 0 5807 0
vsize: 23480
[startup+1080 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1345
Raw data (stat): 1345 (bsolo_lpr_cuts-) R 1344 25568 25567 0 -1 0 575864 0 0 0 106401 1631 0 0 25 0 1 0 904080259 22532096 4829 4294967295 134512640 134716908 3221224576 3221222576 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5501 4829 1111 63 0 5438 0
vsize: 22004
[startup+1090 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1345
Raw data (stat): 1345 (bsolo_lpr_cuts-) R 1344 25568 25567 0 -1 0 582475 0 0 0 107383 1649 0 0 25 0 1 0 904080259 22663168 4865 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5533 4865 1111 63 0 5470 0
vsize: 22132
[startup+1100 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1345
Raw data (stat): 1345 (bsolo_lpr_cuts-) R 1344 25568 25567 0 -1 0 589739 0 0 0 108363 1669 0 0 25 0 1 0 904080259 22839296 4896 4294967295 134512640 134716908 3221224576 3221222576 1074919272 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5576 4896 1111 63 0 5513 0
vsize: 22304
[startup+1110 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1345
Raw data (stat): 1345 (bsolo_lpr_cuts-) R 1344 25568 25567 0 -1 0 596558 0 0 0 109347 1686 0 0 25 0 1 0 904080259 24485888 5131 4294967295 134512640 134716908 3221224576 3221221504 1075960378 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5978 5131 1111 63 0 5915 0
vsize: 23912
[startup+1120 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1345
Raw data (stat): 1345 (bsolo_lpr_cuts-) R 1344 25568 25567 0 -1 0 603676 0 0 0 110331 1703 0 0 25 0 1 0 904080259 23478272 5032 4294967295 134512640 134716908 3221224576 3221222828 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5732 5032 1111 63 0 5669 0
vsize: 22928
[startup+1130 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1345
Raw data (stat): 1345 (bsolo_lpr_cuts-) R 1344 25568 25567 0 -1 0 609066 0 0 0 111318 1716 0 0 25 0 1 0 904080259 23846912 5148 4294967295 134512640 134716908 3221224576 3221222828 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5822 5148 1111 63 0 5759 0
vsize: 23288
[startup+1140 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1345
Raw data (stat): 1345 (bsolo_lpr_cuts-) R 1344 25568 25567 0 -1 0 615590 0 0 0 112298 1736 0 0 25 0 1 0 904080259 23691264 5116 4294967295 134512640 134716908 3221224576 3221222576 1074916702 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5784 5116 1111 63 0 5721 0
vsize: 23136
[startup+1150 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1345
Raw data (stat): 1345 (bsolo_lpr_cuts-) R 1344 25568 25567 0 -1 0 621562 0 0 0 113281 1753 0 0 25 0 1 0 904080259 25718784 5505 4294967295 134512640 134716908 3221224576 3221220380 1074787933 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6279 5505 1111 63 0 6216 0
vsize: 25116
[startup+1160 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1345
Raw data (stat): 1345 (bsolo_lpr_cuts-) R 1344 25568 25567 0 -1 0 627074 0 0 0 114268 1767 0 0 25 0 1 0 904080259 25407488 5285 4294967295 134512640 134716908 3221224576 3221220912 1075113557 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6203 5285 1111 63 0 6140 0
vsize: 24812
[startup+1170 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1345
Raw data (stat): 1345 (bsolo_lpr_cuts-) R 1344 25568 25567 0 -1 0 633486 0 0 0 115250 1785 0 0 25 0 1 0 904080259 25677824 5432 4294967295 134512640 134716908 3221224576 3221221568 1075338882 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6269 5432 1111 63 0 6206 0
vsize: 25076
[startup+1175.41 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 1345
Raw data (stat): 1345 (bsolo_lpr_cuts-) R 1344 25568 25567 0 -1 0 633486 0 0 0 115250 1785 0 0 25 0 1 0 904080259 25677824 5432 4294967295 134512640 134716908 3221224576 3221221568 1075338882 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6269 5432 1111 63 0 6206 0
vsize: 0

Child status: 10
Real time (s): 1175.41
CPU time (s): 1175.77
CPU user time (s): 1157.79
CPU system time (s): 17.9763
CPU usage (%): 100.03
Max. virtual memory (Kb): 25116
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	218
#### END VERIFIER DATA ####