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-ii8a2.opb
MD5SUM	6005a01d3f2ae55b0ca9c19f876c5827
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	139
Optimality of the best value was proved	NO
Number of terms in the objective function	360
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	360
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	360
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.02584
Number of variables	360
Total number of constraints	980
Number of constraints which are clauses	980
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	8
Trace number 40712

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-06-08 19:42:29 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28778 boxname=wulflinc3 idbench=164 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  6005a01d3f2ae55b0ca9c19f876c5827  /oldhome/oroussel/tmp/wulflinc3/normalized-ii8a2.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc3/normalized-ii8a2.opb
IDLAUNCH: 28778
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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:        742544 kB
Buffers:         24944 kB
Cached:         247064 kB
SwapCached:        808 kB
Active:          40232 kB
Inactive:       233900 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        742292 kB
SwapTotal:     2097136 kB
SwapFree:      2095332 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5012 kB
Slab:            12184 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 20:02:05 (client local time) WITH STATUS 10 IN 1175.73 SECONDS
stats: 28778 0 1175.73 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 360 variables and 980 constraints.
c After prepocess the problem consists of 360 variables and 998 constraints.
c preprocess terminated 0.616 s
c Initial Lower Bound: 129
c Lower Bound Elapsed time: 0.3305
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 154 @ 17.851
c NEW SOLUTION FOUND: 152 @ 18.267
c NEW SOLUTION FOUND: 151 @ 18.409
c NEW SOLUTION FOUND: 150 @ 18.744
c NEW SOLUTION FOUND: 146 @ 22.788
c NEW SOLUTION FOUND: 145 @ 73.139
c NEW SOLUTION FOUND: 144 @ 100.812
c NEW SOLUTION FOUND: 143 @ 491.32
c NEW SOLUTION FOUND: 142 @ 1012.75
c NEW SOLUTION FOUND: 141 @ 1147.48
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 
c Exit Code: 10
c Total time: 1175.72 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.85 0.94 0.90 1/54 29709
Raw data (stat): 29709 (runsolver) R 29708 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 904231488 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0004 s]
Raw data (loadavg): 0.87 0.94 0.90 2/54 29709
Raw data (stat): 29709 (bsolo_lpr_cuts-) R 29708 20224 20223 0 -1 0 4934 0 0 0 984 13 0 0 25 0 1 0 904231488 7442432 1010 4294967295 134512640 134716908 3221224576 3221220896 1075170119 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1817 1010 1111 63 0 1754 0
vsize: 7268
[startup+20.0015 s]
Raw data (loadavg): 0.89 0.94 0.90 2/54 29709
Raw data (stat): 29709 (bsolo_lpr_cuts-) R 29708 20224 20223 0 -1 0 10179 0 0 0 1969 28 0 0 25 0 1 0 904231488 7356416 1032 4294967295 134512640 134716908 3221224576 3221221152 1076046856 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1796 1032 1111 63 0 1733 0
vsize: 7184
[startup+30.0018 s]
Raw data (loadavg): 0.91 0.94 0.90 2/54 29709
Raw data (stat): 29709 (bsolo_lpr_cuts-) R 29708 20224 20223 0 -1 0 17715 0 0 0 2949 47 0 0 25 0 1 0 904231488 7094272 1062 4294967295 134512640 134716908 3221224576 3221222976 1074153792 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1732 1062 1111 63 0 1669 0
vsize: 6928
[startup+40.0019 s]
Raw data (loadavg): 0.92 0.94 0.90 2/54 29709
Raw data (stat): 29709 (bsolo_lpr_cuts-) R 29708 20224 20223 0 -1 0 23151 0 0 0 3934 62 0 0 25 0 1 0 904231488 7307264 1114 4294967295 134512640 134716908 3221224576 3221222828 1077404768 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1784 1114 1111 63 0 1721 0
vsize: 7136
[startup+50.0027 s]
Raw data (loadavg): 0.93 0.94 0.90 2/54 29709
Raw data (stat): 29709 (bsolo_lpr_cuts-) R 29708 20224 20223 0 -1 0 28667 0 0 0 4916 81 0 0 25 0 1 0 904231488 7860224 1187 4294967295 134512640 134716908 3221224576 3221222976 1074153672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1919 1187 1111 63 0 1856 0
vsize: 7676
[startup+60.0022 s]
Raw data (loadavg): 0.94 0.95 0.91 2/54 29709
Raw data (stat): 29709 (bsolo_lpr_cuts-) R 29708 20224 20223 0 -1 0 34405 0 0 0 5900 97 0 0 25 0 1 0 904231488 8556544 1329 4294967295 134512640 134716908 3221224576 3221220912 1075114312 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2089 1329 1111 63 0 2026 0
vsize: 8356
[startup+70.0034 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 29709
Raw data (stat): 29709 (bsolo_lpr_cuts-) R 29708 20224 20223 0 -1 0 39732 0 0 0 6884 114 0 0 25 0 1 0 904231488 8404992 1288 4294967295 134512640 134716908 3221224576 3221220944 1075894554 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2052 1288 1111 63 0 1989 0
vsize: 8208
[startup+80.0042 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 29709
Raw data (stat): 29709 (bsolo_lpr_cuts-) R 29708 20224 20223 0 -1 0 45397 0 0 0 7868 130 0 0 25 0 1 0 904231488 8491008 1345 4294967295 134512640 134716908 3221224576 3221221232 1075966240 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2073 1345 1111 63 0 2010 0
vsize: 8292
[startup+90.0038 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 29709
Raw data (stat): 29709 (bsolo_lpr_cuts-) R 29708 20224 20223 0 -1 0 51293 0 0 0 8850 148 0 0 25 0 1 0 904231488 8404992 1325 4294967295 134512640 134716908 3221224576 3221222780 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2052 1325 1111 63 0 1989 0
vsize: 8208
[startup+100.004 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 29709
Raw data (stat): 29709 (bsolo_lpr_cuts-) R 29708 20224 20223 0 -1 0 57577 0 0 0 9833 165 0 0 25 0 1 0 904231488 8581120 1361 4294967295 134512640 134716908 3221224576 3221222876 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2095 1361 1111 63 0 2032 0
vsize: 8380
[startup+110.005 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 29709
Raw data (stat): 29709 (bsolo_lpr_cuts-) R 29708 20224 20223 0 -1 0 63103 0 0 0 10816 181 0 0 25 0 1 0 904231488 8687616 1382 4294967295 134512640 134716908 3221224576 3221220804 1075115009 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2121 1382 1111 63 0 2058 0
vsize: 8484
[startup+120.005 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 29709
Raw data (stat): 29709 (bsolo_lpr_cuts-) R 29708 20224 20223 0 -1 0 69029 0 0 0 11799 198 0 0 25 0 1 0 904231488 9359360 1481 4294967295 134512640 134716908 3221224576 3221220480 1075965234 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2285 1481 1111 63 0 2222 0
vsize: 9140
[startup+130.005 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 29709
Raw data (stat): 29709 (bsolo_lpr_cuts-) R 29708 20224 20223 0 -1 0 74157 0 0 0 12786 212 0 0 25 0 1 0 904231488 8970240 1469 4294967295 134512640 134716908 3221224576 3221222876 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2190 1469 1111 63 0 2127 0
vsize: 8760
[startup+140.005 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 29709
Raw data (stat): 29709 (bsolo_lpr_cuts-) R 29708 20224 20223 0 -1 0 80398 0 0 0 13770 227 0 0 25 0 1 0 904231488 9568256 1575 4294967295 134512640 134716908 3221224576 3221220472 1074789559 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2336 1575 1111 63 0 2273 0
vsize: 9344
[startup+150.006 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 29709
Raw data (stat): 29709 (bsolo_lpr_cuts-) R 29708 20224 20223 0 -1 0 85166 0 0 0 14757 241 0 0 25 0 1 0 904231488 9728000 1581 4294967295 134512640 134716908 3221224576 3221220544 1075965253 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2375 1581 1111 63 0 2312 0
vsize: 9500
[startup+160.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 29709
Raw data (stat): 29709 (bsolo_lpr_cuts-) R 29708 20224 20223 0 -1 0 90510 0 0 0 15744 255 0 0 25 0 1 0 904231488 9818112 1629 4294967295 134512640 134716908 3221224576 3221220848 1074960909 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2397 1629 1111 63 0 2334 0
vsize: 9588
[startup+170.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 29709
Raw data (stat): 29709 (bsolo_lpr_cuts-) R 29708 20224 20223 0 -1 0 95716 0 0 0 16729 269 0 0 25 0 1 0 904231488 9150464 1564 4294967295 134512640 134716908 3221224576 3221222976 1074153786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2234 1564 1111 63 0 2171 0
vsize: 8936
[startup+180.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 29709
Raw data (stat): 29709 (bsolo_lpr_cuts-) R 29708 20224 20223 0 -1 0 101124 0 0 0 17715 284 0 0 25 0 1 0 904231488 9650176 1634 4294967295 134512640 134716908 3221224576 3221222904 1077377534 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2356 1634 1111 63 0 2293 0
vsize: 9424
[startup+190.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 29709
Raw data (stat): 29709 (bsolo_lpr_cuts-) R 29708 20224 20223 0 -1 0 106474 0 0 0 18700 298 0 0 25 0 1 0 904231488 9891840 1697 4294967295 134512640 134716908 3221224576 3221222976 1074153800 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2415 1697 1111 63 0 2352 0
vsize: 9660
[startup+200.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 29709
Raw data (stat): 29709 (bsolo_lpr_cuts-) R 29708 20224 20223 0 -1 0 112041 0 0 0 19685 314 0 0 25 0 1 0 904231488 9977856 1716 4294967295 134512640 134716908 3221224576 3221222832 1073990361 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2436 1716 1111 63 0 2373 0
vsize: 9744
[startup+210.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 29709
Raw data (stat): 29709 (bsolo_lpr_cuts-) R 29708 20224 20223 0 -1 0 117775 0 0 0 20670 329 0 0 25 0 1 0 904231488 9961472 1710 4294967295 134512640 134716908 3221224576 3221222780 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2432 1710 1111 63 0 2369 0
vsize: 9728
[startup+220.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 29709
Raw data (stat): 29709 (bsolo_lpr_cuts-) R 29708 20224 20223 0 -1 0 122992 0 0 0 21656 344 0 0 25 0 1 0 904231488 10633216 1779 4294967295 134512640 134716908 3221224576 3221221648 1074867220 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2596 1779 1111 63 0 2533 0
vsize: 10384
[startup+230.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 29709
Raw data (stat): 29709 (bsolo_lpr_cuts-) R 29708 20224 20223 0 -1 0 128540 0 0 0 22641 359 0 0 25 0 1 0 904231488 10600448 1832 4294967295 134512640 134716908 3221224576 3221221016 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2588 1832 1111 63 0 2525 0
vsize: 10352
[startup+240.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 29709
Raw data (stat): 29709 (bsolo_lpr_cuts-) R 29708 20224 20223 0 -1 0 133704 0 0 0 23627 373 0 0 25 0 1 0 904231488 11116544 1952 4294967295 134512640 134716908 3221224576 3221221016 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2714 1952 1111 63 0 2651 0
vsize: 10856
[startup+250.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 29709
Raw data (stat): 29709 (bsolo_lpr_cuts-) R 29708 20224 20223 0 -1 0 139329 0 0 0 24612 388 0 0 25 0 1 0 904231488 11313152 2006 4294967295 134512640 134716908 3221224576 3221220804 1075115109 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2762 2006 1111 63 0 2699 0
vsize: 11048
[startup+260.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29709
Raw data (stat): 29709 (bsolo_lpr_cuts-) R 29708 20224 20223 0 -1 0 144615 0 0 0 25598 402 0 0 25 0 1 0 904231488 10866688 1912 4294967295 134512640 134716908 3221224576 3221221468 1077387418 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2736 1920 1111 63 0 2673 0
vsize: 10612
[startup+270.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29709
Raw data (stat): 29709 (bsolo_lpr_cuts-) R 29708 20224 20223 0 -1 0 151182 0 0 0 26584 417 0 0 25 0 1 0 904231488 10911744 1968 4294967295 134512640 134716908 3221224576 3221222876 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2664 1968 1111 63 0 2601 0
vsize: 10656
[startup+280.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29709
Raw data (stat): 29709 (bsolo_lpr_cuts-) R 29708 20224 20223 0 -1 0 157328 0 0 0 27568 432 0 0 25 0 1 0 904231488 10731520 1918 4294967295 134512640 134716908 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2620 1919 1111 63 0 2557 0
vsize: 10480
[startup+290.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29709
Raw data (stat): 29709 (bsolo_lpr_cuts-) R 29708 20224 20223 0 -1 0 163304 0 0 0 28553 447 0 0 25 0 1 0 904231488 10702848 1943 4294967295 134512640 134716908 3221224576 3221222816 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2613 1943 1111 63 0 2550 0
vsize: 10452
[startup+300.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29709
Raw data (stat): 29709 (bsolo_lpr_cuts-) R 29708 20224 20223 0 -1 0 169629 0 0 0 29537 464 0 0 25 0 1 0 904231488 11726848 2057 4294967295 134512640 134716908 3221224576 3221220736 1075091643 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2863 2057 1111 63 0 2800 0
vsize: 11452
[startup+310.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29709
Raw data (stat): 29709 (bsolo_lpr_cuts-) R 29708 20224 20223 0 -1 0 174206 0 0 0 30526 475 0 0 25 0 1 0 904231488 11878400 2144 4294967295 134512640 134716908 3221224576 3221221232 1075967926 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2900 2144 1111 63 0 2837 0
vsize: 11600
[startup+320.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29709
Raw data (stat): 29709 (bsolo_lpr_cuts-) R 29708 20224 20223 0 -1 0 179071 0 0 0 31512 489 0 0 25 0 1 0 904231488 11034624 2024 4294967295 134512640 134716908 3221224576 3221223120 134652452 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2694 2024 1111 63 0 2631 0
vsize: 10776
[startup+330.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29709
Raw data (stat): 29709 (bsolo_lpr_cuts-) R 29708 20224 20223 0 -1 0 184819 0 0 0 32497 505 0 0 25 0 1 0 904231488 11567104 2110 4294967295 134512640 134716908 3221224576 3221222976 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2824 2110 1111 63 0 2761 0
vsize: 11296
[startup+340.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29709
Raw data (stat): 29709 (bsolo_lpr_cuts-) R 29708 20224 20223 0 -1 0 190256 0 0 0 33481 521 0 0 25 0 1 0 904231488 12206080 2229 4294967295 134512640 134716908 3221224576 3221220460 1074788968 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2980 2229 1111 63 0 2917 0
vsize: 11920
[startup+350.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29709
Raw data (stat): 29709 (bsolo_lpr_cuts-) R 29708 20224 20223 0 -1 0 195771 0 0 0 34467 535 0 0 25 0 1 0 904231488 12394496 2252 4294967295 134512640 134716908 3221224576 3221220704 1075112103 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3026 2252 1111 63 0 2963 0
vsize: 12104
[startup+360.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29709
Raw data (stat): 29709 (bsolo_lpr_cuts-) R 29708 20224 20223 0 -1 0 200425 0 0 0 35453 549 0 0 25 0 1 0 904231488 12460032 2292 4294967295 134512640 134716908 3221224576 3221220848 1074960909 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3042 2292 1111 63 0 2979 0
vsize: 12168
[startup+370.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29709
Raw data (stat): 29709 (bsolo_lpr_cuts-) R 29708 20224 20223 0 -1 0 204831 0 0 0 36442 560 0 0 25 0 1 0 904231488 12505088 2301 4294967295 134512640 134716908 3221224576 3221221112 1075132865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3053 2301 1111 63 0 2990 0
vsize: 12212
[startup+380.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29709
Raw data (stat): 29709 (bsolo_lpr_cuts-) R 29708 20224 20223 0 -1 0 209357 0 0 0 37432 570 0 0 25 0 1 0 904231488 12193792 2233 4294967295 134512640 134716908 3221224576 3221222536 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3014 2239 1111 63 0 2951 0
vsize: 11908
[startup+390.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29709
Raw data (stat): 29709 (bsolo_lpr_cuts-) R 29708 20224 20223 0 -1 0 214476 0 0 0 38419 584 0 0 25 0 1 0 904231488 12210176 2275 4294967295 134512640 134716908 3221224576 3221222780 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2981 2275 1111 63 0 2918 0
vsize: 11924
[startup+400.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29709
Raw data (stat): 29709 (bsolo_lpr_cuts-) R 29708 20224 20223 0 -1 0 219436 0 0 0 39405 598 0 0 25 0 1 0 904231488 12390400 2309 4294967295 134512640 134716908 3221224576 3221222924 1074143344 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3025 2309 1111 63 0 2962 0
vsize: 12100
[startup+410.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29709
Raw data (stat): 29709 (bsolo_lpr_cuts-) R 29708 20224 20223 0 -1 0 224448 0 0 0 40391 612 0 0 25 0 1 0 904231488 12320768 2335 4294967295 134512640 134716908 3221224576 3221223036 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3008 2335 1111 63 0 2945 0
vsize: 12032
[startup+420.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29709
Raw data (stat): 29709 (bsolo_lpr_cuts-) R 29708 20224 20223 0 -1 0 230027 0 0 0 41376 627 0 0 25 0 1 0 904231488 12996608 2459 4294967295 134512640 134716908 3221224576 3221220848 1074960912 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3173 2459 1111 63 0 3110 0
vsize: 12692
[startup+430.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29709
Raw data (stat): 29709 (bsolo_lpr_cuts-) R 29708 20224 20223 0 -1 0 234032 0 0 0 42366 637 0 0 25 0 1 0 904231488 13246464 2505 4294967295 134512640 134716908 3221224576 3221220544 1075965181 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3234 2505 1111 63 0 3171 0
vsize: 12936
[startup+440.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29709
Raw data (stat): 29709 (bsolo_lpr_cuts-) R 29708 20224 20223 0 -1 0 238213 0 0 0 43355 649 0 0 25 0 1 0 904231488 12828672 2415 4294967295 134512640 134716908 3221224576 3221222888 1074138274 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3132 2415 1111 63 0 3069 0
vsize: 12528
[startup+450.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29709
Raw data (stat): 29709 (bsolo_lpr_cuts-) R 29708 20224 20223 0 -1 0 242378 0 0 0 44344 660 0 0 25 0 1 0 904231488 13582336 2542 4294967295 134512640 134716908 3221224576 3221221040 1075602899 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3316 2542 1111 63 0 3253 0
vsize: 13264
[startup+460.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29709
Raw data (stat): 29709 (bsolo_lpr_cuts-) R 29708 20224 20223 0 -1 0 247079 0 0 0 45331 673 0 0 25 0 1 0 904231488 13058048 2473 4294967295 134512640 134716908 3221224576 3221223192 134543176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3188 2473 1111 63 0 3125 0
vsize: 12752
[startup+470.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29709
Raw data (stat): 29709 (bsolo_lpr_cuts-) R 29708 20224 20223 0 -1 0 252439 0 0 0 46317 687 0 0 25 0 1 0 904231488 13099008 2468 4294967295 134512640 134716908 3221224576 3221222828 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3198 2468 1111 63 0 3135 0
vsize: 12792
[startup+480.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29709
Raw data (stat): 29709 (bsolo_lpr_cuts-) R 29708 20224 20223 0 -1 0 258025 0 0 0 47302 702 0 0 25 0 1 0 904231488 12808192 2459 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3127 2459 1111 63 0 3064 0
vsize: 12508
[startup+490.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29709
Raw data (stat): 29709 (bsolo_lpr_cuts-) R 29708 20224 20223 0 -1 0 263518 0 0 0 48288 717 0 0 25 0 1 0 904231488 12935168 2490 4294967295 134512640 134716908 3221224576 3221222976 1074153786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3158 2490 1111 63 0 3095 0
vsize: 12632
[startup+500.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29709
Raw data (stat): 29709 (bsolo_lpr_cuts-) R 29708 20224 20223 0 -1 0 267751 0 0 0 49278 726 0 0 25 0 1 0 904231488 13008896 2508 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3176 2508 1111 63 0 3113 0
vsize: 12704
[startup+510.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29709
Raw data (stat): 29709 (bsolo_lpr_cuts-) R 29708 20224 20223 0 -1 0 272997 0 0 0 50267 738 0 0 25 0 1 0 904231488 13635584 2626 4294967295 134512640 134716908 3221224576 3221222544 1075961074 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3329 2626 1111 63 0 3266 0
vsize: 13316
[startup+520.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29709
Raw data (stat): 29709 (bsolo_lpr_cuts-) R 29708 20224 20223 0 -1 0 277580 0 0 0 51255 750 0 0 25 0 1 0 904231488 13262848 2570 4294967295 134512640 134716908 3221224576 3221222720 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3238 2570 1111 63 0 3175 0
vsize: 12952
[startup+530.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29709
Raw data (stat): 29709 (bsolo_lpr_cuts-) R 29708 20224 20223 0 -1 0 282429 0 0 0 52243 762 0 0 25 0 1 0 904231488 14512128 2800 4294967295 134512640 134716908 3221224576 3221220676 1075964227 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3543 2800 1111 63 0 3480 0
vsize: 14172
[startup+540.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29709
Raw data (stat): 29709 (bsolo_lpr_cuts-) R 29708 20224 20223 0 -1 0 287546 0 0 0 53230 775 0 0 25 0 1 0 904231488 13451264 2616 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3284 2616 1111 63 0 3221 0
vsize: 13136
[startup+550.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29709
Raw data (stat): 29709 (bsolo_lpr_cuts-) R 29708 20224 20223 0 -1 0 292714 0 0 0 54219 786 0 0 25 0 1 0 904231488 14487552 2767 4294967295 134512640 134716908 3221224576 3221220452 1074786513 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3537 2767 1111 63 0 3474 0
vsize: 14148
[startup+560.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29709
Raw data (stat): 29709 (bsolo_lpr_cuts-) R 29708 20224 20223 0 -1 0 298282 0 0 0 55206 800 0 0 25 0 1 0 904231488 14909440 2881 4294967295 134512640 134716908 3221224576 3221220804 1075115051 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3640 2881 1111 63 0 3577 0
vsize: 14560
[startup+570.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29709
Raw data (stat): 29709 (bsolo_lpr_cuts-) R 29708 20224 20223 0 -1 0 302685 0 0 0 56195 811 0 0 25 0 1 0 904231488 14487552 2797 4294967295 134512640 134716908 3221224576 3221222780 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3537 2797 1111 63 0 3474 0
vsize: 14148
[startup+580.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29709
Raw data (stat): 29709 (bsolo_lpr_cuts-) R 29708 20224 20223 0 -1 0 308111 0 0 0 57182 824 0 0 25 0 1 0 904231488 14839808 2844 4294967295 134512640 134716908 3221224576 3221220804 1075115039 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3623 2844 1111 63 0 3560 0
vsize: 14492
[startup+590.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29709
Raw data (stat): 29709 (bsolo_lpr_cuts-) R 29708 20224 20223 0 -1 0 314147 0 0 0 58168 838 0 0 25 0 1 0 904231488 14987264 2878 4294967295 134512640 134716908 3221224576 3221220452 1074786513 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3659 2878 1111 63 0 3596 0
vsize: 14636
[startup+600.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29709
Raw data (stat): 29709 (bsolo_lpr_cuts-) R 29708 20224 20223 0 -1 0 319958 0 0 0 59155 851 0 0 25 0 1 0 904231488 14802944 2872 4294967295 134512640 134716908 3221224576 3221222780 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3614 2872 1111 63 0 3551 0
vsize: 14456
[startup+610.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29709
Raw data (stat): 29709 (bsolo_lpr_cuts-) R 29708 20224 20223 0 -1 0 324388 0 0 0 60142 864 0 0 25 0 1 0 904231488 14315520 2817 4294967295 134512640 134716908 3221224576 3221222576 1074916465 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3495 2817 1111 63 0 3432 0
vsize: 13980
[startup+620.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29709
Raw data (stat): 29709 (bsolo_lpr_cuts-) R 29708 20224 20223 0 -1 0 329768 0 0 0 61129 878 0 0 25 0 1 0 904231488 14766080 2893 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3605 2893 1111 63 0 3542 0
vsize: 14420
[startup+630.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29709
Raw data (stat): 29709 (bsolo_lpr_cuts-) R 29708 20224 20223 0 -1 0 334642 0 0 0 62116 891 0 0 25 0 1 0 904231488 15470592 3017 4294967295 134512640 134716908 3221224576 3221221640 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3777 3017 1111 63 0 3714 0
vsize: 15108
[startup+640.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29709
Raw data (stat): 29709 (bsolo_lpr_cuts-) R 29708 20224 20223 0 -1 0 339116 0 0 0 63106 901 0 0 25 0 1 0 904231488 15179776 2965 4294967295 134512640 134716908 3221224576 3221223024 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3706 2965 1111 63 0 3643 0
vsize: 14824
[startup+650.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29709
Raw data (stat): 29709 (bsolo_lpr_cuts-) R 29708 20224 20223 0 -1 0 343486 0 0 0 64095 912 0 0 25 0 1 0 904231488 14557184 2886 4294967295 134512640 134716908 3221224576 3221222912 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3554 2886 1111 63 0 3491 0
vsize: 14216
[startup+660.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29709
Raw data (stat): 29709 (bsolo_lpr_cuts-) R 29708 20224 20223 0 -1 0 348147 0 0 0 65084 924 0 0 25 0 1 0 904231488 15802368 3019 4294967295 134512640 134716908 3221224576 3221220572 1074860959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3858 3019 1111 63 0 3795 0
vsize: 15432
[startup+670.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29709
Raw data (stat): 29709 (bsolo_lpr_cuts-) R 29708 20224 20223 0 -1 0 353220 0 0 0 66071 936 0 0 25 0 1 0 904231488 14778368 2940 4294967295 134512640 134716908 3221224576 3221222976 1074153792 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3608 2940 1111 63 0 3545 0
vsize: 14432
[startup+680.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29709
Raw data (stat): 29709 (bsolo_lpr_cuts-) R 29708 20224 20223 0 -1 0 357490 0 0 0 67061 947 0 0 25 0 1 0 904231488 16236544 3237 4294967295 134512640 134716908 3221224576 3221220488 1074788504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3964 3237 1111 63 0 3901 0
vsize: 15856
[startup+690.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29709
Raw data (stat): 29709 (bsolo_lpr_cuts-) R 29708 20224 20223 0 -1 0 362883 0 0 0 68047 961 0 0 25 0 1 0 904231488 15929344 3081 4294967295 134512640 134716908 3221224576 3221220816 1075115732 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3889 3081 1111 63 0 3826 0
vsize: 15556
[startup+700.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29709
Raw data (stat): 29709 (bsolo_lpr_cuts-) R 29708 20224 20223 0 -1 0 367826 0 0 0 69036 973 0 0 25 0 1 0 904231488 15458304 3081 4294967295 134512640 134716908 3221224576 3221222688 1074867340 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3774 3081 1111 63 0 3711 0
vsize: 15096
[startup+710.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29709
Raw data (stat): 29709 (bsolo_lpr_cuts-) R 29708 20224 20223 0 -1 0 372322 0 0 0 70024 985 0 0 25 0 1 0 904231488 15798272 3111 4294967295 134512640 134716908 3221224576 3221222828 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3857 3111 1111 63 0 3794 0
vsize: 15428
[startup+720.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29709
Raw data (stat): 29709 (bsolo_lpr_cuts-) R 29708 20224 20223 0 -1 0 377230 0 0 0 71012 997 0 0 25 0 1 0 904231488 16588800 3250 4294967295 134512640 134716908 3221224576 3221220784 1074815186 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4050 3250 1111 63 0 3987 0
vsize: 16200
[startup+730.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29709
Raw data (stat): 29709 (bsolo_lpr_cuts-) R 29708 20224 20223 0 -1 0 382002 0 0 0 72000 1008 0 0 25 0 1 0 904231488 16568320 3279 4294967295 134512640 134716908 3221224576 3221220804 1075115039 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4045 3279 1111 63 0 3982 0
vsize: 16180
[startup+740.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29709
Raw data (stat): 29709 (bsolo_lpr_cuts-) R 29708 20224 20223 0 -1 0 386703 0 0 0 72987 1022 0 0 25 0 1 0 904231488 16154624 3196 4294967295 134512640 134716908 3221224576 3221222860 1074206220 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3944 3196 1111 63 0 3881 0
vsize: 15776
[startup+750.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29709
Raw data (stat): 29709 (bsolo_lpr_cuts-) R 29708 20224 20223 0 -1 0 392964 0 0 0 73972 1037 0 0 25 0 1 0 904231488 15986688 3187 4294967295 134512640 134716908 3221224576 3221222780 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3903 3187 1111 63 0 3840 0
vsize: 15612
[startup+760.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29709
Raw data (stat): 29709 (bsolo_lpr_cuts-) R 29708 20224 20223 0 -1 0 399372 0 0 0 74957 1053 0 0 25 0 1 0 904231488 16547840 3243 4294967295 134512640 134716908 3221224576 3221220544 1074872805 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4040 3243 1111 63 0 3977 0
vsize: 16160
[startup+770.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29709
Raw data (stat): 29709 (bsolo_lpr_cuts-) R 29708 20224 20223 0 -1 0 405323 0 0 0 75944 1066 0 0 25 0 1 0 904231488 16007168 3193 4294967295 134512640 134716908 3221224576 3221222688 1074867344 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3908 3193 1111 63 0 3845 0
vsize: 15632
[startup+780.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29709
Raw data (stat): 29709 (bsolo_lpr_cuts-) R 29708 20224 20223 0 -1 0 410783 0 0 0 76931 1079 0 0 25 0 1 0 904231488 15859712 3204 4294967295 134512640 134716908 3221224576 3221221696 1074865165 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3915 3207 1111 63 0 3852 0
vsize: 15488
[startup+790.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29709
Raw data (stat): 29709 (bsolo_lpr_cuts-) R 29708 20224 20223 0 -1 0 415804 0 0 0 77920 1090 0 0 25 0 1 0 904231488 16998400 3362 4294967295 134512640 134716908 3221224576 3221221696 1074837221 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4150 3362 1111 63 0 4087 0
vsize: 16600
[startup+800.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29709
Raw data (stat): 29709 (bsolo_lpr_cuts-) R 29708 20224 20223 0 -1 0 421136 0 0 0 78907 1103 0 0 25 0 1 0 904231488 16105472 3264 4294967295 134512640 134716908 3221224576 3221222976 1074153786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3932 3264 1111 63 0 3869 0
vsize: 15728
[startup+810.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29709
Raw data (stat): 29709 (bsolo_lpr_cuts-) R 29708 20224 20223 0 -1 0 425045 0 0 0 79897 1114 0 0 25 0 1 0 904231488 17264640 3371 4294967295 134512640 134716908 3221224576 3221220736 1075091819 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4215 3371 1111 63 0 4152 0
vsize: 16860
[startup+820.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29709
Raw data (stat): 29709 (bsolo_lpr_cuts-) R 29708 20224 20223 0 -1 0 430016 0 0 0 80885 1126 0 0 25 0 1 0 904231488 17281024 3473 4294967295 134512640 134716908 3221224576 3221220816 1075115709 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4219 3473 1111 63 0 4156 0
vsize: 16876
[startup+830.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29709
Raw data (stat): 29709 (bsolo_lpr_cuts-) R 29708 20224 20223 0 -1 0 436320 0 0 0 81870 1141 0 0 25 0 1 0 904231488 17551360 3475 4294967295 134512640 134716908 3221224576 3221220912 1075113481 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4285 3475 1111 63 0 4222 0
vsize: 17140
[startup+840.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29709
Raw data (stat): 29709 (bsolo_lpr_cuts-) R 29708 20224 20223 0 -1 0 441066 0 0 0 82858 1153 0 0 25 0 1 0 904231488 16822272 3436 4294967295 134512640 134716908 3221224576 3221222816 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4107 3436 1111 63 0 4044 0
vsize: 16428
[startup+850.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29709
Raw data (stat): 29709 (bsolo_lpr_cuts-) R 29708 20224 20223 0 -1 0 445739 0 0 0 83847 1165 0 0 25 0 1 0 904231488 17813504 3550 4294967295 134512640 134716908 3221224576 3221220452 1074786531 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4349 3550 1111 63 0 4286 0
vsize: 17396
[startup+860.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29709
Raw data (stat): 29709 (bsolo_lpr_cuts-) R 29708 20224 20223 0 -1 0 451017 0 0 0 84833 1179 0 0 25 0 1 0 904231488 18051072 3681 4294967295 134512640 134716908 3221224576 3221220512 1075965246 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4407 3681 1111 63 0 4344 0
vsize: 17628
[startup+870.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29709
Raw data (stat): 29709 (bsolo_lpr_cuts-) R 29708 20224 20223 0 -1 0 455088 0 0 0 85822 1190 0 0 25 0 1 0 904231488 18202624 3719 4294967295 134512640 134716908 3221224576 3221220512 1075965260 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4444 3719 1111 63 0 4381 0
vsize: 17776
[startup+880.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29709
Raw data (stat): 29709 (bsolo_lpr_cuts-) R 29708 20224 20223 0 -1 0 460090 0 0 0 86810 1202 0 0 25 0 1 0 904231488 17068032 3499 4294967295 134512640 134716908 3221224576 3221223168 134542350 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4167 3499 1111 63 0 4104 0
vsize: 16668
[startup+890.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29709
Raw data (stat): 29709 (bsolo_lpr_cuts-) R 29708 20224 20223 0 -1 0 464448 0 0 0 87798 1214 0 0 25 0 1 0 904231488 17805312 3581 4294967295 134512640 134716908 3221224576 3221221888 1076083593 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4347 3582 1111 63 0 4284 0
vsize: 17388
[startup+900.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29709
Raw data (stat): 29709 (bsolo_lpr_cuts-) R 29708 20224 20223 0 -1 0 468401 0 0 0 88788 1224 0 0 25 0 1 0 904231488 18243584 3669 4294967295 134512640 134716908 3221224576 3221221608 1077410163 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4454 3669 1111 63 0 4391 0
vsize: 17816
[startup+910.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29709
Raw data (stat): 29709 (bsolo_lpr_cuts-) R 29708 20224 20223 0 -1 0 472046 0 0 0 89780 1232 0 0 25 0 1 0 904231488 17309696 3558 4294967295 134512640 134716908 3221224576 3221222928 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4226 3558 1111 63 0 4163 0
vsize: 16904
[startup+920.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29709
Raw data (stat): 29709 (bsolo_lpr_cuts-) R 29708 20224 20223 0 -1 0 475747 0 0 0 90771 1242 0 0 25 0 1 0 904231488 17498112 3593 4294967295 134512640 134716908 3221224576 3221222928 1074153815 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4272 3593 1111 63 0 4209 0
vsize: 17088
[startup+930.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29709
Raw data (stat): 29709 (bsolo_lpr_cuts-) R 29708 20224 20223 0 -1 0 480728 0 0 0 91758 1255 0 0 25 0 1 0 904231488 17682432 3617 4294967295 134512640 134716908 3221224576 3221222780 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4317 3617 1111 63 0 4254 0
vsize: 17268
[startup+940.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29709
Raw data (stat): 29709 (bsolo_lpr_cuts-) R 29708 20224 20223 0 -1 0 485469 0 0 0 92746 1267 0 0 25 0 1 0 904231488 18567168 3818 4294967295 134512640 134716908 3221224576 3221220804 1075115049 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4533 3818 1111 63 0 4470 0
vsize: 18132
[startup+950.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29709
Raw data (stat): 29709 (bsolo_lpr_cuts-) R 29708 20224 20223 0 -1 0 490761 0 0 0 93733 1280 0 0 25 0 1 0 904231488 18563072 3695 4294967295 134512640 134716908 3221224576 3221220896 1075170490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4532 3695 1111 63 0 4469 0
vsize: 18128
[startup+960.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29709
Raw data (stat): 29709 (bsolo_lpr_cuts-) R 29708 20224 20223 0 -1 0 496427 0 0 0 94718 1296 0 0 25 0 1 0 904231488 18628608 3723 4294967295 134512640 134716908 3221224576 3221220848 1074803656 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4548 3723 1111 63 0 4485 0
vsize: 18192
[startup+970.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29709
Raw data (stat): 29709 (bsolo_lpr_cuts-) R 29708 20224 20223 0 -1 0 501726 0 0 0 95705 1309 0 0 25 0 1 0 904231488 18296832 3744 4294967295 134512640 134716908 3221224576 3221222828 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4467 3744 1111 63 0 4404 0
vsize: 17868
[startup+980.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29709
Raw data (stat): 29709 (bsolo_lpr_cuts-) R 29708 20224 20223 0 -1 0 505755 0 0 0 96694 1320 0 0 25 0 1 0 904231488 18993152 3852 4294967295 134512640 134716908 3221224576 3221220524 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4637 3852 1111 63 0 4574 0
vsize: 18548
[startup+990.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29709
Raw data (stat): 29709 (bsolo_lpr_cuts-) R 29708 20224 20223 0 -1 0 509882 0 0 0 97682 1332 0 0 25 0 1 0 904231488 18157568 3745 4294967295 134512640 134716908 3221224576 3221222976 134652450 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4433 3745 1111 63 0 4370 0
vsize: 17732
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29709
Raw data (stat): 29709 (bsolo_lpr_cuts-) R 29708 20224 20223 0 -1 0 514578 0 0 0 98670 1345 0 0 25 0 1 0 904231488 19169280 3836 4294967295 134512640 134716908 3221224576 3221221640 1075007302 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4680 3836 1111 63 0 4617 0
vsize: 18720
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29709
Raw data (stat): 29709 (bsolo_lpr_cuts-) R 29708 20224 20223 0 -1 0 519326 0 0 0 99659 1355 0 0 25 0 1 0 904231488 19456000 3957 4294967295 134512640 134716908 3221224576 3221220480 1075965256 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4750 3957 1111 63 0 4687 0
vsize: 19000
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29709
Raw data (stat): 29709 (bsolo_lpr_cuts-) R 29708 20224 20223 0 -1 0 523921 0 0 0 100647 1367 0 0 25 0 1 0 904231488 19345408 3987 4294967295 134512640 134716908 3221224576 3221220460 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4723 3987 1111 63 0 4660 0
vsize: 18892
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29709
Raw data (stat): 29709 (bsolo_lpr_cuts-) R 29708 20224 20223 0 -1 0 528064 0 0 0 101637 1376 0 0 25 0 1 0 904231488 19550208 3998 4294967295 134512640 134716908 3221224576 3221220380 1074787742 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4773 3998 1111 63 0 4710 0
vsize: 19092
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29709
Raw data (stat): 29709 (bsolo_lpr_cuts-) R 29708 20224 20223 0 -1 0 532023 0 0 0 102627 1386 0 0 25 0 1 0 904231488 19714048 4042 4294967295 134512640 134716908 3221224576 3221220824 1077410129 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4813 4042 1111 63 0 4750 0
vsize: 19252
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29709
Raw data (stat): 29709 (bsolo_lpr_cuts-) R 29708 20224 20223 0 -1 0 537216 0 0 0 103613 1400 0 0 25 0 1 0 904231488 19087360 3936 4294967295 134512640 134716908 3221224576 3221222976 1074153786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4660 3936 1111 63 0 4597 0
vsize: 18640
[startup+1060.04 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 29762
Raw data (stat): 29709 (bsolo_lpr_cuts-) R 29708 20224 20223 0 -1 0 542436 0 0 0 104596 1416 0 0 25 0 1 0 904231488 19853312 4020 4294967295 134512640 134716908 3221224576 3221220512 1075965250 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4847 4020 1111 63 0 4784 0
vsize: 19388
[startup+1070.04 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 29762
Raw data (stat): 29709 (bsolo_lpr_cuts-) R 29708 20224 20223 0 -1 0 547716 0 0 0 105583 1430 0 0 25 0 1 0 904231488 19079168 3990 4294967295 134512640 134716908 3221224576 3221222508 1077404766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4658 3990 1111 63 0 4595 0
vsize: 18632
[startup+1080.04 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 29762
Raw data (stat): 29709 (bsolo_lpr_cuts-) R 29708 20224 20223 0 -1 0 551508 0 0 0 106573 1440 0 0 25 0 1 0 904231488 20168704 4207 4294967295 134512640 134716908 3221224576 3221220512 1075965246 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4924 4207 1111 63 0 4861 0
vsize: 19696
[startup+1090.04 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 29762
Raw data (stat): 29709 (bsolo_lpr_cuts-) R 29708 20224 20223 0 -1 0 555276 0 0 0 107564 1449 0 0 25 0 1 0 904231488 20168704 4123 4294967295 134512640 134716908 3221224576 3221221408 1075115406 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4924 4123 1111 63 0 4861 0
vsize: 19696
[startup+1100.04 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 29762
Raw data (stat): 29709 (bsolo_lpr_cuts-) R 29708 20224 20223 0 -1 0 559454 0 0 0 108554 1460 0 0 25 0 1 0 904231488 20238336 4174 4294967295 134512640 134716908 3221224576 3221220472 1074789587 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4941 4174 1111 63 0 4878 0
vsize: 19764
[startup+1110.04 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 29762
Raw data (stat): 29709 (bsolo_lpr_cuts-) R 29708 20224 20223 0 -1 0 563285 0 0 0 109544 1470 0 0 25 0 1 0 904231488 20389888 4196 4294967295 134512640 134716908 3221224576 3221220912 1075113502 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4978 4196 1111 63 0 4915 0
vsize: 19912
[startup+1120.04 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 29764
Raw data (stat): 29709 (bsolo_lpr_cuts-) R 29708 20224 20223 0 -1 0 567661 0 0 0 110534 1480 0 0 25 0 1 0 904231488 19255296 4033 4294967295 134512640 134716908 3221224576 3221222736 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4701 4033 1111 63 0 4638 0
vsize: 18804
[startup+1130.04 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 29764
Raw data (stat): 29709 (bsolo_lpr_cuts-) R 29708 20224 20223 0 -1 0 573209 0 0 0 111521 1493 0 0 25 0 1 0 904231488 20762624 4326 4294967295 134512640 134716908 3221224576 3221220588 1074788950 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5069 4326 1111 63 0 5006 0
vsize: 20276
[startup+1140.04 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 29764
Raw data (stat): 29709 (bsolo_lpr_cuts-) R 29708 20224 20223 0 -1 0 577388 0 0 0 112510 1504 0 0 25 0 1 0 904231488 19628032 4124 4294967295 134512640 134716908 3221224576 3221221660 1074247360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4792 4124 1111 63 0 4729 0
vsize: 19168
[startup+1150.04 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 29764
Raw data (stat): 29709 (bsolo_lpr_cuts-) R 29708 20224 20223 0 -1 0 582098 0 0 0 113499 1514 0 0 25 0 1 0 904231488 19918848 4184 4294967295 134512640 134716908 3221224576 3221222828 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4863 4184 1111 63 0 4800 0
vsize: 19452
[startup+1160.04 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 29764
Raw data (stat): 29709 (bsolo_lpr_cuts-) R 29708 20224 20223 0 -1 0 586812 0 0 0 114487 1527 0 0 25 0 1 0 904231488 20361216 4172 4294967295 134512640 134716908 3221224576 3221222216 1075850409 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4971 4172 1111 63 0 4908 0
vsize: 19884
[startup+1170.05 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 29764
Raw data (stat): 29709 (bsolo_lpr_cuts-) R 29708 20224 20223 0 -1 0 590578 0 0 0 115476 1538 0 0 25 0 1 0 904231488 21114880 4291 4294967295 134512640 134716908 3221224576 3221221644 1074831198 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5155 4291 1111 63 0 5092 0
vsize: 20620
[startup+1175.63 s]
Raw data (loadavg): 1.01 0.99 0.91 1/53 29764
Raw data (stat): 29709 (bsolo_lpr_cuts-) R 29708 20224 20223 0 -1 0 590578 0 0 0 115476 1538 0 0 25 0 1 0 904231488 21114880 4291 4294967295 134512640 134716908 3221224576 3221221644 1074831198 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5155 4291 1111 63 0 5092 0
vsize: 0

Child status: 10
Real time (s): 1175.63
CPU time (s): 1175.73
CPU user time (s): 1160.27
CPU system time (s): 15.4606
CPU usage (%): 100.009
Max. virtual memory (Kb): 20620
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	141
#### END VERIFIER DATA ####