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-ii32b1.opb
MD5SUM	c4653389ddee2820797c664a0856c651
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	191
Optimality of the best value was proved	NO
Number of terms in the objective function	456
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	456
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	456
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.02784
Number of variables	456
Total number of constraints	1602
Number of constraints which are clauses	1602
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 40695

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-06-08 18:57:57 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28761 boxname=wulflinc1 idbench=147 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  c4653389ddee2820797c664a0856c651  /oldhome/oroussel/tmp/wulflinc1/normalized-ii32b1.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-ii32b1.opb
IDLAUNCH: 28761
/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:        854992 kB
Buffers:         24868 kB
Cached:         130588 kB
SwapCached:       1148 kB
Active:          35656 kB
Inactive:       122084 kB
HighTotal:      131008 kB
HighFree:         1960 kB
LowTotal:       903652 kB
LowFree:        853032 kB
SwapTotal:     2097136 kB
SwapFree:      2094836 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5264 kB
Slab:            16256 kB
Committed_AS:    92720 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 19:17:32 (client local time) WITH STATUS 10 IN 1175.2 SECONDS
stats: 28761 0 1175.2 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 456 variables and 1602 constraints.
c After prepocess the problem consists of 456 variables and 1602 constraints.
c preprocess terminated 1.438 s
c Initial Lower Bound: 139
c Lower Bound Elapsed time: 0.6394
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: 228 @ 8.067
c NEW SOLUTION FOUND: 227 @ 8.069
c NEW SOLUTION FOUND: 226 @ 8.076
c NEW SOLUTION FOUND: 224 @ 8.111
c NEW SOLUTION FOUND: 223 @ 8.134
c NEW SOLUTION FOUND: 222 @ 18.65
c NEW SOLUTION FOUND: 219 @ 19.466
c NEW SOLUTION FOUND: 215 @ 72.999
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 
c Exit Code: 10
c Total time: 1175.19 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.92 0.97 0.91 2/55 25233
Raw data (stat): 25233 (runsolver) R 25232 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 847115875 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.0004 s]
Raw data (loadavg): 0.93 0.97 0.91 2/55 25233
Raw data (stat): 25233 (bsolo_lpr_cuts-) R 25232 8378 8377 0 -1 0 5474 0 0 0 982 15 0 0 25 0 1 0 847115875 8380416 1237 4294967295 134512640 134716908 3221224576 3221221616 1075971404 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2046 1237 1111 63 0 1983 0
vsize: 8184
[startup+20.0012 s]
Raw data (loadavg): 0.94 0.97 0.91 2/55 25233
Raw data (stat): 25233 (bsolo_lpr_cuts-) R 25232 8378 8377 0 -1 0 12871 0 0 0 1963 35 0 0 25 0 1 0 847115875 8208384 1334 4294967295 134512640 134716908 3221224576 3221223248 134652567 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2004 1334 1111 63 0 1941 0
vsize: 8016
[startup+30.002 s]
Raw data (loadavg): 0.95 0.97 0.91 2/55 25233
Raw data (stat): 25233 (bsolo_lpr_cuts-) R 25232 8378 8377 0 -1 0 20025 0 0 0 2943 55 0 0 25 0 1 0 847115875 9678848 1582 4294967295 134512640 134716908 3221224576 3221220704 1075561210 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2363 1582 1111 63 0 2300 0
vsize: 9452
[startup+40.0018 s]
Raw data (loadavg): 0.96 0.97 0.91 2/55 25233
Raw data (stat): 25233 (bsolo_lpr_cuts-) R 25232 8378 8377 0 -1 0 27320 0 0 0 3924 74 0 0 25 0 1 0 847115875 10436608 1706 4294967295 134512640 134716908 3221224576 3221220392 1074788468 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2548 1706 1111 63 0 2485 0
vsize: 10192
[startup+50.0026 s]
Raw data (loadavg): 0.96 0.97 0.91 2/55 25233
Raw data (stat): 25233 (bsolo_lpr_cuts-) R 25232 8378 8377 0 -1 0 32903 0 0 0 4908 90 0 0 25 0 1 0 847115875 9371648 1610 4294967295 134512640 134716908 3221224576 3221221696 1074865236 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2288 1610 1111 63 0 2225 0
vsize: 9152
[startup+60.0023 s]
Raw data (loadavg): 0.97 0.97 0.91 2/55 25233
Raw data (stat): 25233 (bsolo_lpr_cuts-) R 25232 8378 8377 0 -1 0 39020 0 0 0 5890 108 0 0 25 0 1 0 847115875 9629696 1648 4294967295 134512640 134716908 3221224576 3221222224 1075818396 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2351 1648 1111 63 0 2288 0
vsize: 9404
[startup+70.0021 s]
Raw data (loadavg): 0.97 0.97 0.91 2/55 25233
Raw data (stat): 25233 (bsolo_lpr_cuts-) R 25232 8378 8377 0 -1 0 43991 0 0 0 6880 118 0 0 25 0 1 0 847115875 9687040 1697 4294967295 134512640 134716908 3221224576 3221223224 134542401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2365 1697 1111 63 0 2302 0
vsize: 9460
[startup+80.0029 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 25233
Raw data (stat): 25233 (bsolo_lpr_cuts-) R 25232 8378 8377 0 -1 0 50276 0 0 0 7863 136 0 0 25 0 1 0 847115875 9687040 1697 4294967295 134512640 134716908 3221224576 3221222728 1074950096 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2365 1697 1111 63 0 2302 0
vsize: 9460
[startup+90.0027 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 25233
Raw data (stat): 25233 (bsolo_lpr_cuts-) R 25232 8378 8377 0 -1 0 57148 0 0 0 8846 153 0 0 25 0 1 0 847115875 9986048 1770 4294967295 134512640 134716908 3221224576 3221222728 1074950124 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2438 1770 1111 63 0 2375 0
vsize: 9752
[startup+100.004 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 25233
Raw data (stat): 25233 (bsolo_lpr_cuts-) R 25232 8378 8377 0 -1 0 64377 0 0 0 9827 172 0 0 25 0 1 0 847115875 11526144 1966 4294967295 134512640 134716908 3221224576 3221220816 1075115704 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2814 1966 1111 63 0 2751 0
vsize: 11256
[startup+110.004 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 25233
Raw data (stat): 25233 (bsolo_lpr_cuts-) R 25232 8378 8377 0 -1 0 71935 0 0 0 10807 192 0 0 25 0 1 0 847115875 10801152 1963 4294967295 134512640 134716908 3221224576 3221222720 1074790230 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2637 1963 1111 63 0 2574 0
vsize: 10548
[startup+120.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25233
Raw data (stat): 25233 (bsolo_lpr_cuts-) R 25232 8378 8377 0 -1 0 79955 0 0 0 11788 212 0 0 25 0 1 0 847115875 11681792 2098 4294967295 134512640 134716908 3221224576 3221220460 1074788950 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2852 2098 1111 63 0 2789 0
vsize: 11408
[startup+130.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25286
Raw data (stat): 25233 (bsolo_lpr_cuts-) R 25232 8378 8377 0 -1 0 87164 0 0 0 12767 233 0 0 25 0 1 0 847115875 11362304 2090 4294967295 134512640 134716908 3221224576 3221222992 1073989433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2774 2090 1111 63 0 2711 0
vsize: 11096
[startup+140.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25286
Raw data (stat): 25233 (bsolo_lpr_cuts-) R 25232 8378 8377 0 -1 0 92932 0 0 0 13749 250 0 0 25 0 1 0 847115875 12066816 2200 4294967295 134512640 134716908 3221224576 3221220460 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2946 2200 1111 63 0 2883 0
vsize: 11784
[startup+150.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25286
Raw data (stat): 25233 (bsolo_lpr_cuts-) R 25232 8378 8377 0 -1 0 99196 0 0 0 14732 268 0 0 25 0 1 0 847115875 13029376 2482 4294967295 134512640 134716908 3221224576 3221220720 1074970240 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3181 2482 1111 63 0 3118 0
vsize: 12724
[startup+160.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25286
Raw data (stat): 25233 (bsolo_lpr_cuts-) R 25232 8378 8377 0 -1 0 103778 0 0 0 15723 277 0 0 25 0 1 0 847115875 13045760 2471 4294967295 134512640 134716908 3221224576 3221220752 1074882610 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3185 2471 1111 63 0 3122 0
vsize: 12740
[startup+170.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25286
Raw data (stat): 25233 (bsolo_lpr_cuts-) R 25232 8378 8377 0 -1 0 108195 0 0 0 16712 289 0 0 25 0 1 0 847115875 11743232 2201 4294967295 134512640 134716908 3221224576 3221222912 134652452 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2867 2201 1111 63 0 2804 0
vsize: 11468
[startup+180.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25286
Raw data (stat): 25233 (bsolo_lpr_cuts-) R 25232 8378 8377 0 -1 0 113103 0 0 0 17699 301 0 0 25 0 1 0 847115875 13135872 2444 4294967295 134512640 134716908 3221224576 3221220848 1074808069 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3207 2444 1111 63 0 3144 0
vsize: 12828
[startup+190.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25288
Raw data (stat): 25233 (bsolo_lpr_cuts-) R 25232 8378 8377 0 -1 0 117144 0 0 0 18689 311 0 0 25 0 1 0 847115875 11792384 2213 4294967295 134512640 134716908 3221224576 3221222880 1074207534 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2879 2213 1111 63 0 2816 0
vsize: 11516
[startup+200.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25290
Raw data (stat): 25233 (bsolo_lpr_cuts-) R 25232 8378 8377 0 -1 0 122116 0 0 0 19679 321 0 0 25 0 1 0 847115875 11862016 2230 4294967295 134512640 134716908 3221224576 3221223216 134539362 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2896 2230 1111 63 0 2833 0
vsize: 11584
[startup+210.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25290
Raw data (stat): 25233 (bsolo_lpr_cuts-) R 25232 8378 8377 0 -1 0 128548 0 0 0 20663 337 0 0 25 0 1 0 847115875 13119488 2372 4294967295 134512640 134716908 3221224576 3221221040 1075603007 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3203 2372 1111 63 0 3140 0
vsize: 12812
[startup+220.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25290
Raw data (stat): 25233 (bsolo_lpr_cuts-) R 25232 8378 8377 0 -1 0 135934 0 0 0 21645 356 0 0 25 0 1 0 847115875 13373440 2447 4294967295 134512640 134716908 3221224576 3221220816 1075115715 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3265 2447 1111 63 0 3202 0
vsize: 13060
[startup+230.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25290
Raw data (stat): 25233 (bsolo_lpr_cuts-) R 25232 8378 8377 0 -1 0 140028 0 0 0 22636 365 0 0 25 0 1 0 847115875 12001280 2264 4294967295 134512640 134716908 3221224576 3221222976 1074153749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2930 2264 1111 63 0 2867 0
vsize: 11720
[startup+240.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25290
Raw data (stat): 25233 (bsolo_lpr_cuts-) R 25232 8378 8377 0 -1 0 145234 0 0 0 23623 378 0 0 25 0 1 0 847115875 13209600 2372 4294967295 134512640 134716908 3221224576 3221221640 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3225 2377 1111 63 0 3162 0
vsize: 12900
[startup+250.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25290
Raw data (stat): 25233 (bsolo_lpr_cuts-) R 25232 8378 8377 0 -1 0 151401 0 0 0 24608 393 0 0 25 0 1 0 847115875 13529088 2598 4294967295 134512640 134716908 3221224576 3221220540 1074788143 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3303 2598 1111 63 0 3240 0
vsize: 13212
[startup+260.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25290
Raw data (stat): 25233 (bsolo_lpr_cuts-) R 25232 8378 8377 0 -1 0 156443 0 0 0 25596 405 0 0 25 0 1 0 847115875 13819904 2650 4294967295 134512640 134716908 3221224576 3221220736 1075095387 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3374 2650 1111 63 0 3311 0
vsize: 13496
[startup+270.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25290
Raw data (stat): 25233 (bsolo_lpr_cuts-) R 25232 8378 8377 0 -1 0 160735 0 0 0 26587 414 0 0 25 0 1 0 847115875 12386304 2358 4294967295 134512640 134716908 3221224576 3221222640 1074153786 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3024 2358 1111 63 0 2961 0
vsize: 12096
[startup+280.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25290
Raw data (stat): 25233 (bsolo_lpr_cuts-) R 25232 8378 8377 0 -1 0 165572 0 0 0 27575 427 0 0 25 0 1 0 847115875 12333056 2323 4294967295 134512640 134716908 3221224576 3221222780 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3011 2323 1111 63 0 2948 0
vsize: 12044
[startup+290.007 s]
Raw data (loadavg): 0.99 0.97 0.91 3/55 25290
Raw data (stat): 25233 (bsolo_lpr_cuts-) R 25232 8378 8377 0 -1 0 171599 0 0 0 28560 442 0 0 25 0 1 0 847115875 12636160 2387 4294967295 134512640 134716908 3221224576 3221222780 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3085 2387 1111 63 0 3022 0
vsize: 12340
[startup+300.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25290
Raw data (stat): 25233 (bsolo_lpr_cuts-) R 25232 8378 8377 0 -1 0 179411 0 0 0 29539 463 0 0 25 0 1 0 847115875 13910016 2632 4294967295 134512640 134716908 3221224576 3221220816 1075115709 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3396 2632 1111 63 0 3333 0
vsize: 13584
[startup+310.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25290
Raw data (stat): 25233 (bsolo_lpr_cuts-) R 25232 8378 8377 0 -1 0 187384 0 0 0 30520 482 0 0 25 0 1 0 847115875 14049280 2681 4294967295 134512640 134716908 3221224576 3221220544 1075965246 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3430 2681 1111 63 0 3367 0
vsize: 13720
[startup+320.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25290
Raw data (stat): 25233 (bsolo_lpr_cuts-) R 25232 8378 8377 0 -1 0 194782 0 0 0 31501 501 0 0 25 0 1 0 847115875 14462976 2787 4294967295 134512640 134716908 3221224576 3221220784 1074815265 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3531 2787 1111 63 0 3468 0
vsize: 14124
[startup+330.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25290
Raw data (stat): 25233 (bsolo_lpr_cuts-) R 25232 8378 8377 0 -1 0 200353 0 0 0 32488 515 0 0 25 0 1 0 847115875 14155776 2684 4294967295 134512640 134716908 3221224576 3221220588 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3456 2685 1111 63 0 3393 0
vsize: 13824
[startup+340.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25290
Raw data (stat): 25233 (bsolo_lpr_cuts-) R 25232 8378 8377 0 -1 0 207056 0 0 0 33469 533 0 0 25 0 1 0 847115875 14282752 2716 4294967295 134512640 134716908 3221224576 3221220848 1074960857 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3487 2716 1111 63 0 3424 0
vsize: 13948
[startup+350.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25290
Raw data (stat): 25233 (bsolo_lpr_cuts-) R 25232 8378 8377 0 -1 0 213672 0 0 0 34451 552 0 0 25 0 1 0 847115875 13479936 2593 4294967295 134512640 134716908 3221224576 3221222780 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3291 2593 1111 63 0 3228 0
vsize: 13164
[startup+360.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25290
Raw data (stat): 25233 (bsolo_lpr_cuts-) R 25232 8378 8377 0 -1 0 218704 0 0 0 35440 563 0 0 25 0 1 0 847115875 15032320 2948 4294967295 134512640 134716908 3221224576 3221220588 1074788950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3670 2948 1111 63 0 3607 0
vsize: 14680
[startup+370.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25290
Raw data (stat): 25233 (bsolo_lpr_cuts-) R 25232 8378 8377 0 -1 0 223228 0 0 0 36431 573 0 0 25 0 1 0 847115875 15007744 2914 4294967295 134512640 134716908 3221224576 3221220848 1074960872 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3664 2914 1111 63 0 3601 0
vsize: 14656
[startup+380.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25290
Raw data (stat): 25233 (bsolo_lpr_cuts-) R 25232 8378 8377 0 -1 0 229837 0 0 0 37415 589 0 0 25 0 1 0 847115875 13647872 2666 4294967295 134512640 134716908 3221224576 3221222264 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3332 2666 1111 63 0 3269 0
vsize: 13328
[startup+390.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25290
Raw data (stat): 25233 (bsolo_lpr_cuts-) R 25232 8378 8377 0 -1 0 236391 0 0 0 38399 605 0 0 25 0 1 0 847115875 13877248 2706 4294967295 134512640 134716908 3221224576 3221222728 1074950114 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3388 2706 1111 63 0 3325 0
vsize: 13552
[startup+400.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25290
Raw data (stat): 25233 (bsolo_lpr_cuts-) R 25232 8378 8377 0 -1 0 243290 0 0 0 39381 623 0 0 25 0 1 0 847115875 15142912 2809 4294967295 134512640 134716908 3221224576 3221220668 1075663503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3697 2809 1111 63 0 3634 0
vsize: 14788
[startup+410.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25290
Raw data (stat): 25233 (bsolo_lpr_cuts-) R 25232 8378 8377 0 -1 0 249172 0 0 0 40365 640 0 0 25 0 1 0 847115875 13938688 2737 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3403 2737 1111 63 0 3340 0
vsize: 13612
[startup+420.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25290
Raw data (stat): 25233 (bsolo_lpr_cuts-) R 25232 8378 8377 0 -1 0 254166 0 0 0 41354 650 0 0 25 0 1 0 847115875 14196736 2789 4294967295 134512640 134716908 3221224576 3221222524 1074205872 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3466 2789 1111 63 0 3403 0
vsize: 13864
[startup+430.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25290
Raw data (stat): 25233 (bsolo_lpr_cuts-) R 25232 8378 8377 0 -1 0 261487 0 0 0 42335 670 0 0 25 0 1 0 847115875 14319616 2830 4294967295 134512640 134716908 3221224576 3221223240 134543600 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3496 2830 1111 63 0 3433 0
vsize: 13984
[startup+440.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25290
Raw data (stat): 25233 (bsolo_lpr_cuts-) R 25232 8378 8377 0 -1 0 268443 0 0 0 43318 687 0 0 25 0 1 0 847115875 15527936 3062 4294967295 134512640 134716908 3221224576 3221220816 1075115715 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3791 3062 1111 63 0 3728 0
vsize: 15164
[startup+450.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25290
Raw data (stat): 25233 (bsolo_lpr_cuts-) R 25232 8378 8377 0 -1 0 275639 0 0 0 44300 705 0 0 25 0 1 0 847115875 14811136 2930 4294967295 134512640 134716908 3221224576 3221222864 1074153786 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3616 2930 1111 63 0 3553 0
vsize: 14464
[startup+460.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25292
Raw data (stat): 25233 (bsolo_lpr_cuts-) R 25232 8378 8377 0 -1 0 280425 0 0 0 45288 717 0 0 25 0 1 0 847115875 15142912 3031 4294967295 134512640 134716908 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3697 3031 1111 63 0 3634 0
vsize: 14788
[startup+470.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25292
Raw data (stat): 25233 (bsolo_lpr_cuts-) R 25232 8378 8377 0 -1 0 285349 0 0 0 46276 729 0 0 25 0 1 0 847115875 16695296 3207 4294967295 134512640 134716908 3221224576 3221220804 1075115039 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4076 3207 1111 63 0 4013 0
vsize: 16304
[startup+480.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25292
Raw data (stat): 25233 (bsolo_lpr_cuts-) R 25232 8378 8377 0 -1 0 289260 0 0 0 47267 738 0 0 25 0 1 0 847115875 14651392 2911 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3577 2911 1111 63 0 3514 0
vsize: 14308
[startup+490.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25292
Raw data (stat): 25233 (bsolo_lpr_cuts-) R 25232 8378 8377 0 -1 0 293837 0 0 0 48257 749 0 0 25 0 1 0 847115875 16580608 3206 4294967295 134512640 134716908 3221224576 3221220804 1075115065 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4048 3206 1111 63 0 3985 0
vsize: 16192
[startup+500.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25292
Raw data (stat): 25233 (bsolo_lpr_cuts-) R 25232 8378 8377 0 -1 0 296832 0 0 0 49250 756 0 0 25 0 1 0 847115875 16760832 3348 4294967295 134512640 134716908 3221224576 3221220780 1075564297 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4092 3348 1111 63 0 4029 0
vsize: 16368
[startup+510.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25292
Raw data (stat): 25233 (bsolo_lpr_cuts-) R 25232 8378 8377 0 -1 0 300199 0 0 0 50242 764 0 0 25 0 1 0 847115875 14651392 2911 4294967295 134512640 134716908 3221224576 3221222976 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3577 2911 1111 63 0 3514 0
vsize: 14308
[startup+520.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25292
Raw data (stat): 25233 (bsolo_lpr_cuts-) R 25232 8378 8377 0 -1 0 304577 0 0 0 51232 774 0 0 25 0 1 0 847115875 14831616 2926 4294967295 134512640 134716908 3221224576 3221222056 1077380786 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3621 2926 1111 63 0 3558 0
vsize: 14484
[startup+530.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25292
Raw data (stat): 25233 (bsolo_lpr_cuts-) R 25232 8378 8377 0 -1 0 310559 0 0 0 52217 790 0 0 25 0 1 0 847115875 16633856 3165 4294967295 134512640 134716908 3221224576 3221220804 1075115039 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4061 3165 1111 63 0 3998 0
vsize: 16244
[startup+540.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25292
Raw data (stat): 25233 (bsolo_lpr_cuts-) R 25232 8378 8377 0 -1 0 315858 0 0 0 53202 805 0 0 25 0 1 0 847115875 15003648 2997 4294967295 134512640 134716908 3221224576 3221222976 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3663 2997 1111 63 0 3600 0
vsize: 14652
[startup+550.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25292
Raw data (stat): 25233 (bsolo_lpr_cuts-) R 25232 8378 8377 0 -1 0 323177 0 0 0 54181 826 0 0 25 0 1 0 847115875 16023552 3070 4294967295 134512640 134716908 3221224576 3221222536 1077410163 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3912 3078 1111 63 0 3849 0
vsize: 15648
[startup+560.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25292
Raw data (stat): 25233 (bsolo_lpr_cuts-) R 25232 8378 8377 0 -1 0 329911 0 0 0 55163 844 0 0 25 0 1 0 847115875 16871424 3301 4294967295 134512640 134716908 3221224576 3221220720 1074969467 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4119 3301 1111 63 0 4056 0
vsize: 16476
[startup+570.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25292
Raw data (stat): 25233 (bsolo_lpr_cuts-) R 25232 8378 8377 0 -1 0 336138 0 0 0 56148 859 0 0 25 0 1 0 847115875 16117760 3106 4294967295 134512640 134716908 3221224576 3221222536 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3935 3106 1111 63 0 3872 0
vsize: 15740
[startup+580.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25292
Raw data (stat): 25233 (bsolo_lpr_cuts-) R 25232 8378 8377 0 -1 0 344193 0 0 0 57127 881 0 0 25 0 1 0 847115875 16515072 3245 4294967295 134512640 134716908 3221224576 3221220460 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4032 3245 1111 63 0 3969 0
vsize: 16128
[startup+590.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25292
Raw data (stat): 25233 (bsolo_lpr_cuts-) R 25232 8378 8377 0 -1 0 352121 0 0 0 58106 902 0 0 25 0 1 0 847115875 16875520 3210 4294967295 134512640 134716908 3221224576 3221220848 1074960970 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4120 3210 1111 63 0 4057 0
vsize: 16480
[startup+600.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25292
Raw data (stat): 25233 (bsolo_lpr_cuts-) R 25232 8378 8377 0 -1 0 357044 0 0 0 59095 913 0 0 25 0 1 0 847115875 17362944 3325 4294967295 134512640 134716908 3221224576 3221220664 1074789413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4239 3325 1111 63 0 4176 0
vsize: 16956
[startup+610.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25292
Raw data (stat): 25233 (bsolo_lpr_cuts-) R 25232 8378 8377 0 -1 0 363446 0 0 0 60078 930 0 0 25 0 1 0 847115875 17158144 3285 4294967295 134512640 134716908 3221224576 3221221388 1074788950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4189 3285 1111 63 0 4126 0
vsize: 16756
[startup+620.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25292
Raw data (stat): 25233 (bsolo_lpr_cuts-) R 25232 8378 8377 0 -1 0 368290 0 0 0 61067 942 0 0 25 0 1 0 847115875 17350656 3449 4294967295 134512640 134716908 3221224576 3221220736 1075090174 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4236 3449 1111 63 0 4173 0
vsize: 16944
[startup+630.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25292
Raw data (stat): 25233 (bsolo_lpr_cuts-) R 25232 8378 8377 0 -1 0 372862 0 0 0 62055 953 0 0 25 0 1 0 847115875 15699968 3167 4294967295 134512640 134716908 3221224576 3221222576 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3833 3167 1111 63 0 3770 0
vsize: 15332
[startup+640.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25292
Raw data (stat): 25233 (bsolo_lpr_cuts-) R 25232 8378 8377 0 -1 0 380289 0 0 0 63035 974 0 0 25 0 1 0 847115875 15904768 3210 4294967295 134512640 134716908 3221224576 3221221328 1074247409 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3883 3210 1111 63 0 3820 0
vsize: 15532
[startup+650.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25292
Raw data (stat): 25233 (bsolo_lpr_cuts-) R 25232 8378 8377 0 -1 0 389627 0 0 0 64012 997 0 0 25 0 1 0 847115875 16240640 3283 4294967295 134512640 134716908 3221224576 3221222876 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3965 3283 1111 63 0 3902 0
vsize: 15860
[startup+660.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25292
Raw data (stat): 25233 (bsolo_lpr_cuts-) R 25232 8378 8377 0 -1 0 397866 0 0 0 64992 1017 0 0 25 0 1 0 847115875 16297984 3281 4294967295 134512640 134716908 3221224576 3221222780 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3979 3281 1111 63 0 3916 0
vsize: 15916
[startup+670.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25292
Raw data (stat): 25233 (bsolo_lpr_cuts-) R 25232 8378 8377 0 -1 0 402839 0 0 0 65980 1029 0 0 25 0 1 0 847115875 16179200 3284 4294967295 134512640 134716908 3221224576 3221222768 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3950 3284 1111 63 0 3887 0
vsize: 15800
[startup+680.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25292
Raw data (stat): 25233 (bsolo_lpr_cuts-) R 25232 8378 8377 0 -1 0 407519 0 0 0 66970 1039 0 0 25 0 1 0 847115875 16179200 3284 4294967295 134512640 134716908 3221224576 3221222544 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3950 3284 1111 63 0 3887 0
vsize: 15800
[startup+690.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25292
Raw data (stat): 25233 (bsolo_lpr_cuts-) R 25232 8378 8377 0 -1 0 412711 0 0 0 67959 1051 0 0 25 0 1 0 847115875 17793024 3559 4294967295 134512640 134716908 3221224576 3221220804 1075115046 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4344 3559 1111 63 0 4281 0
vsize: 17376
[startup+700.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25292
Raw data (stat): 25233 (bsolo_lpr_cuts-) R 25232 8378 8377 0 -1 0 418631 0 0 0 68944 1066 0 0 25 0 1 0 847115875 16711680 3382 4294967295 134512640 134716908 3221224576 3221222576 1074918583 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4080 3382 1111 63 0 4017 0
vsize: 16320
[startup+710.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25292
Raw data (stat): 25233 (bsolo_lpr_cuts-) R 25232 8378 8377 0 -1 0 424838 0 0 0 69930 1080 0 0 25 0 1 0 847115875 16842752 3414 4294967295 134512640 134716908 3221224576 3221223200 134551454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4112 3414 1111 63 0 4049 0
vsize: 16448
[startup+720.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25292
Raw data (stat): 25233 (bsolo_lpr_cuts-) R 25232 8378 8377 0 -1 0 430256 0 0 0 70917 1093 0 0 25 0 1 0 847115875 16887808 3425 4294967295 134512640 134716908 3221224576 3221222640 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4123 3425 1111 63 0 4060 0
vsize: 16492
[startup+730.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25292
Raw data (stat): 25233 (bsolo_lpr_cuts-) R 25232 8378 8377 0 -1 0 437533 0 0 0 71898 1112 0 0 25 0 1 0 847115875 16785408 3400 4294967295 134512640 134716908 3221224576 3221222880 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4098 3400 1111 63 0 4035 0
vsize: 16392
[startup+740.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25292
Raw data (stat): 25233 (bsolo_lpr_cuts-) R 25232 8378 8377 0 -1 0 442993 0 0 0 72885 1125 0 0 25 0 1 0 847115875 17408000 3583 4294967295 134512640 134716908 3221224576 3221222576 1074918583 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4250 3583 1111 63 0 4187 0
vsize: 17000
[startup+750.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25292
Raw data (stat): 25233 (bsolo_lpr_cuts-) R 25232 8378 8377 0 -1 0 446203 0 0 0 73878 1133 0 0 25 0 1 0 847115875 18501632 3782 4294967295 134512640 134716908 3221224576 3221220460 1074788964 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4517 3782 1111 63 0 4454 0
vsize: 18068
[startup+760.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25292
Raw data (stat): 25233 (bsolo_lpr_cuts-) R 25232 8378 8377 0 -1 0 454040 0 0 0 74857 1154 0 0 25 0 1 0 847115875 16748544 3423 4294967295 134512640 134716908 3221224576 3221222556 1074206265 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4089 3423 1111 63 0 4026 0
vsize: 16356
[startup+770.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25292
Raw data (stat): 25233 (bsolo_lpr_cuts-) R 25232 8378 8377 0 -1 0 457864 0 0 0 75846 1164 0 0 25 0 1 0 847115875 18944000 3880 4294967295 134512640 134716908 3221224576 3221220804 1075115060 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4625 3880 1111 63 0 4562 0
vsize: 18500
[startup+780.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25292
Raw data (stat): 25233 (bsolo_lpr_cuts-) R 25232 8378 8377 0 -1 0 461637 0 0 0 76837 1174 0 0 25 0 1 0 847115875 18571264 3808 4294967295 134512640 134716908 3221224576 3221220544 1074872805 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4534 3808 1111 63 0 4471 0
vsize: 18136
[startup+790.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25292
Raw data (stat): 25233 (bsolo_lpr_cuts-) R 25232 8378 8377 0 -1 0 467332 0 0 0 77822 1189 0 0 25 0 1 0 847115875 17317888 3530 4294967295 134512640 134716908 3221224576 3221222728 1074950114 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4228 3530 1111 63 0 4165 0
vsize: 16912
[startup+800.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25292
Raw data (stat): 25233 (bsolo_lpr_cuts-) R 25232 8378 8377 0 -1 0 472914 0 0 0 78808 1203 0 0 25 0 1 0 847115875 17268736 3550 4294967295 134512640 134716908 3221224576 3221222880 1074153800 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4216 3550 1111 63 0 4153 0
vsize: 16864
[startup+810.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25292
Raw data (stat): 25233 (bsolo_lpr_cuts-) R 25232 8378 8377 0 -1 0 478283 0 0 0 79796 1215 0 0 25 0 1 0 847115875 17645568 3627 4294967295 134512640 134716908 3221224576 3221222576 1074918938 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4308 3627 1111 63 0 4245 0
vsize: 17232
[startup+820.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25292
Raw data (stat): 25233 (bsolo_lpr_cuts-) R 25232 8378 8377 0 -1 0 483950 0 0 0 80782 1229 0 0 25 0 1 0 847115875 18743296 3785 4294967295 134512640 134716908 3221224576 3221220512 1075965256 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4576 3785 1111 63 0 4513 0
vsize: 18304
[startup+830.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25292
Raw data (stat): 25233 (bsolo_lpr_cuts-) R 25232 8378 8377 0 -1 0 490870 0 0 0 81765 1247 0 0 25 0 1 0 847115875 17874944 3667 4294967295 134512640 134716908 3221224576 3221221680 1074138892 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4364 3667 1111 63 0 4301 0
vsize: 17456
[startup+840.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25292
Raw data (stat): 25233 (bsolo_lpr_cuts-) R 25232 8378 8377 0 -1 0 498629 0 0 0 82744 1268 0 0 25 0 1 0 847115875 18788352 3741 4294967295 134512640 134716908 3221224576 3221222536 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4587 3746 1111 63 0 4524 0
vsize: 18348
[startup+850.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25292
Raw data (stat): 25233 (bsolo_lpr_cuts-) R 25232 8378 8377 0 -1 0 503909 0 0 0 83731 1281 0 0 25 0 1 0 847115875 17616896 3635 4294967295 134512640 134716908 3221224576 3221222592 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4301 3635 1111 63 0 4238 0
vsize: 17204
[startup+860.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25292
Raw data (stat): 25233 (bsolo_lpr_cuts-) R 25232 8378 8377 0 -1 0 508128 0 0 0 84722 1290 0 0 25 0 1 0 847115875 20033536 3994 4294967295 134512640 134716908 3221224576 3221220848 1074961244 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4891 3994 1111 63 0 4828 0
vsize: 19564
[startup+870.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25292
Raw data (stat): 25233 (bsolo_lpr_cuts-) R 25232 8378 8377 0 -1 0 512145 0 0 0 85713 1299 0 0 25 0 1 0 847115875 19079168 3888 4294967295 134512640 134716908 3221224576 3221220736 1075094850 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4658 3888 1111 63 0 4595 0
vsize: 18632
[startup+880.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25292
Raw data (stat): 25233 (bsolo_lpr_cuts-) R 25232 8378 8377 0 -1 0 518707 0 0 0 86698 1315 0 0 25 0 1 0 847115875 19513344 3840 4294967295 134512640 134716908 3221224576 3221220848 1074961246 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4764 3840 1111 63 0 4701 0
vsize: 19056
[startup+890.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25292
Raw data (stat): 25233 (bsolo_lpr_cuts-) R 25232 8378 8377 0 -1 0 525478 0 0 0 87680 1333 0 0 25 0 1 0 847115875 19574784 3854 4294967295 134512640 134716908 3221224576 3221220796 1074878548 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4779 3854 1111 63 0 4716 0
vsize: 19116
[startup+900.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25292
Raw data (stat): 25233 (bsolo_lpr_cuts-) R 25232 8378 8377 0 -1 0 533043 0 0 0 88659 1354 0 0 25 0 1 0 847115875 18276352 3764 4294967295 134512640 134716908 3221224576 3221222876 1074206848 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4462 3764 1111 63 0 4399 0
vsize: 17848
[startup+910.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25292
Raw data (stat): 25233 (bsolo_lpr_cuts-) R 25232 8378 8377 0 -1 0 538065 0 0 0 89645 1368 0 0 25 0 1 0 847115875 18186240 3772 4294967295 134512640 134716908 3221224576 3221222976 1074153779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4440 3772 1111 63 0 4377 0
vsize: 17760
[startup+920.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25292
Raw data (stat): 25233 (bsolo_lpr_cuts-) R 25232 8378 8377 0 -1 0 543533 0 0 0 90631 1382 0 0 25 0 1 0 847115875 18169856 3762 4294967295 134512640 134716908 3221224576 3221222976 1074153779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4436 3762 1111 63 0 4373 0
vsize: 17744
[startup+930.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25292
Raw data (stat): 25233 (bsolo_lpr_cuts-) R 25232 8378 8377 0 -1 0 550728 0 0 0 91615 1398 0 0 25 0 1 0 847115875 20107264 4125 4294967295 134512640 134716908 3221224576 3221220804 1075115070 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4909 4125 1111 63 0 4846 0
vsize: 19636
[startup+940.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25292
Raw data (stat): 25233 (bsolo_lpr_cuts-) R 25232 8378 8377 0 -1 0 557319 0 0 0 92599 1414 0 0 25 0 1 0 847115875 20140032 4158 4294967295 134512640 134716908 3221224576 3221220640 1075084533 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4917 4158 1111 63 0 4854 0
vsize: 19668
[startup+950.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25292
Raw data (stat): 25233 (bsolo_lpr_cuts-) R 25232 8378 8377 0 -1 0 563416 0 0 0 93582 1432 0 0 25 0 1 0 847115875 20152320 4035 4294967295 134512640 134716908 3221224576 3221220816 1075115747 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4920 4035 1111 63 0 4857 0
vsize: 19680
[startup+960.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25292
Raw data (stat): 25233 (bsolo_lpr_cuts-) R 25232 8378 8377 0 -1 0 570031 0 0 0 94563 1450 0 0 25 0 1 0 847115875 20295680 4046 4294967295 134512640 134716908 3221224576 3221221496 1074950102 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4955 4046 1111 63 0 4892 0
vsize: 19820
[startup+970.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25292
Raw data (stat): 25233 (bsolo_lpr_cuts-) R 25232 8378 8377 0 -1 0 576731 0 0 0 95547 1467 0 0 25 0 1 0 847115875 20406272 4233 4294967295 134512640 134716908 3221224576 3221220816 1075115715 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4982 4233 1111 63 0 4919 0
vsize: 19928
[startup+980.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25292
Raw data (stat): 25233 (bsolo_lpr_cuts-) R 25232 8378 8377 0 -1 0 579559 0 0 0 96541 1474 0 0 25 0 1 0 847115875 20434944 4250 4294967295 134512640 134716908 3221224576 3221220676 1075964227 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4989 4250 1111 63 0 4926 0
vsize: 19956
[startup+990.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25292
Raw data (stat): 25233 (bsolo_lpr_cuts-) R 25232 8378 8377 0 -1 0 582620 0 0 0 97532 1482 0 0 25 0 1 0 847115875 20373504 4252 4294967295 134512640 134716908 3221224576 3221220848 1074960771 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4974 4252 1111 63 0 4911 0
vsize: 19896
[startup+1000.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25292
Raw data (stat): 25233 (bsolo_lpr_cuts-) R 25232 8378 8377 0 -1 0 587820 0 0 0 98520 1494 0 0 25 0 1 0 847115875 18771968 3917 4294967295 134512640 134716908 3221224576 3221222000 1076056917 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4583 3917 1111 63 0 4520 0
vsize: 18332
[startup+1010.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25292
Raw data (stat): 25233 (bsolo_lpr_cuts-) R 25232 8378 8377 0 -1 0 594185 0 0 0 99504 1511 0 0 25 0 1 0 847115875 18780160 3919 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4585 3919 1111 63 0 4522 0
vsize: 18340
[startup+1020.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25292
Raw data (stat): 25233 (bsolo_lpr_cuts-) R 25232 8378 8377 0 -1 0 600538 0 0 0 100488 1526 0 0 25 0 1 0 847115875 20733952 4321 4294967295 134512640 134716908 3221224576 3221220912 1075114268 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5062 4321 1111 63 0 4999 0
vsize: 20248
[startup+1030.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25292
Raw data (stat): 25233 (bsolo_lpr_cuts-) R 25232 8378 8377 0 -1 0 606372 0 0 0 101475 1540 0 0 25 0 1 0 847115875 19185664 4018 4294967295 134512640 134716908 3221224576 3221222784 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4684 4018 1111 63 0 4621 0
vsize: 18736
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25292
Raw data (stat): 25233 (bsolo_lpr_cuts-) R 25232 8378 8377 0 -1 0 611207 0 0 0 102465 1550 0 0 25 0 1 0 847115875 19607552 4089 4294967295 134512640 134716908 3221224576 3221222720 1074790221 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4787 4089 1111 63 0 4724 0
vsize: 19148
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25292
Raw data (stat): 25233 (bsolo_lpr_cuts-) R 25232 8378 8377 0 -1 0 617927 0 0 0 103448 1567 0 0 25 0 1 0 847115875 19292160 4042 4294967295 134512640 134716908 3221224576 3221222976 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4710 4042 1111 63 0 4647 0
vsize: 18840
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25292
Raw data (stat): 25233 (bsolo_lpr_cuts-) R 25232 8378 8377 0 -1 0 621541 0 0 0 104440 1576 0 0 25 0 1 0 847115875 20996096 4385 4294967295 134512640 134716908 3221224576 3221220720 1074969471 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5126 4385 1111 63 0 5063 0
vsize: 20504
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25292
Raw data (stat): 25233 (bsolo_lpr_cuts-) R 25232 8378 8377 0 -1 0 626094 0 0 0 105430 1586 0 0 25 0 1 0 847115875 20996096 4375 4294967295 134512640 134716908 3221224576 3221220460 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5126 4375 1111 63 0 5063 0
vsize: 20504
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25292
Raw data (stat): 25233 (bsolo_lpr_cuts-) R 25232 8378 8377 0 -1 0 632361 0 0 0 106414 1602 0 0 25 0 1 0 847115875 19587072 4104 4294967295 134512640 134716908 3221224576 3221222960 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4782 4104 1111 63 0 4719 0
vsize: 19128
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25292
Raw data (stat): 25233 (bsolo_lpr_cuts-) R 25232 8378 8377 0 -1 0 640144 0 0 0 107396 1620 0 0 25 0 1 0 847115875 21286912 4392 4294967295 134512640 134716908 3221224576 3221220460 1074788950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5197 4392 1111 63 0 5134 0
vsize: 20788
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25292
Raw data (stat): 25233 (bsolo_lpr_cuts-) R 25232 8378 8377 0 -1 0 648802 0 0 0 108375 1641 0 0 25 0 1 0 847115875 19857408 4172 4294967295 134512640 134716908 3221224576 3221222828 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4848 4172 1111 63 0 4785 0
vsize: 19392
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25292
Raw data (stat): 25233 (bsolo_lpr_cuts-) R 25232 8378 8377 0 -1 0 656048 0 0 0 109357 1660 0 0 25 0 1 0 847115875 20082688 4205 4294967295 134512640 134716908 3221224576 3221222768 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4903 4205 1111 63 0 4840 0
vsize: 19612
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25292
Raw data (stat): 25233 (bsolo_lpr_cuts-) R 25232 8378 8377 0 -1 0 661782 0 0 0 110340 1676 0 0 25 0 1 0 847115875 20123648 4243 4294967295 134512640 134716908 3221224576 3221222696 1074138155 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4913 4243 1111 63 0 4850 0
vsize: 19652
[startup+1130.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25292
Raw data (stat): 25233 (bsolo_lpr_cuts-) R 25232 8378 8377 0 -1 0 669390 0 0 0 111320 1697 0 0 25 0 1 0 847115875 21786624 4506 4294967295 134512640 134716908 3221224576 3221220812 1074789876 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5319 4506 1111 63 0 5256 0
vsize: 21276
[startup+1140.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25292
Raw data (stat): 25233 (bsolo_lpr_cuts-) R 25232 8378 8377 0 -1 0 676993 0 0 0 112301 1716 0 0 25 0 1 0 847115875 23011328 4795 4294967295 134512640 134716908 3221224576 3221221108 1074260540 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5618 4795 1111 63 0 5555 0
vsize: 22472
[startup+1150.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25292
Raw data (stat): 25233 (bsolo_lpr_cuts-) R 25232 8378 8377 0 -1 0 680114 0 0 0 113294 1724 0 0 25 0 1 0 847115875 22089728 4635 4294967295 134512640 134716908 3221224576 3221221232 1075968414 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5393 4635 1111 63 0 5330 0
vsize: 21572
[startup+1160.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25292
Raw data (stat): 25233 (bsolo_lpr_cuts-) R 25232 8378 8377 0 -1 0 684216 0 0 0 114285 1733 0 0 25 0 1 0 847115875 21708800 4338 4294967295 134512640 134716908 3221224576 3221221072 1076048786 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5300 4338 1111 63 0 5237 0
vsize: 21200
[startup+1170.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25292
Raw data (stat): 25233 (bsolo_lpr_cuts-) R 25232 8378 8377 0 -1 0 688492 0 0 0 115275 1743 0 0 25 0 1 0 847115875 20201472 4266 4294967295 134512640 134716908 3221224576 3221222976 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4932 4266 1111 63 0 4869 0
vsize: 19728
[startup+1175.04 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 25292
Raw data (stat): 25233 (bsolo_lpr_cuts-) R 25232 8378 8377 0 -1 0 688492 0 0 0 115275 1743 0 0 25 0 1 0 847115875 20201472 4266 4294967295 134512640 134716908 3221224576 3221222976 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4932 4266 1111 63 0 4869 0
vsize: 0

Child status: 10
Real time (s): 1175.04
CPU time (s): 1175.2
CPU user time (s): 1157.66
CPU system time (s): 17.5423
CPU usage (%): 100.014
Max. virtual memory (Kb): 22472
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	215
#### END VERIFIER DATA ####