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 23958

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-07 01:25:42 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=1469 boxname=wulflinc31 idbench=164 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  6005a01d3f2ae55b0ca9c19f876c5827  /oldhome/oroussel/tmp/wulflinc31/normalized-ii8a2.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-ii8a2.opb
IDLAUNCH: 1469
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        149460 kB
Buffers:         37796 kB
Cached:         813192 kB
SwapCached:        644 kB
Active:         487340 kB
Inactive:       365948 kB
HighTotal:      131008 kB
HighFree:         8400 kB
LowTotal:       903652 kB
LowFree:        141060 kB
SwapTotal:     2097892 kB
SwapFree:      2096612 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5608 kB
Slab:            26152 kB
Committed_AS:    63644 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-07 01:45:28 (client local time) WITH STATUS 10 IN 1185.67 SECONDS
stats: 1469 0 1185.67 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.633 s
c Initial Lower Bound: 127
c Lower Bound Elapsed time: 0.4001
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 148 @ 16.331
c NEW SOLUTION FOUND: 147 @ 16.68
c NEW SOLUTION FOUND: 144 @ 17.965
c NEW SOLUTION FOUND: 143 @ 61.643
c NEW SOLUTION FOUND: 142 @ 108.804
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: 1185.63 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.85 0.97 0.99 2/54 27910
Raw data (stat): 27910 (runsolver) R 27909 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 679346085 1056768 100 4294967295 134512640 135381576 3221221680 3221216896 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0001 s]
Raw data (loadavg): 0.87 0.97 0.99 2/54 27910
Raw data (stat): 27910 (bsolo_lpr_cuts) R 27909 7876 7672 0 -1 0 5152 0 0 0 979 17 0 0 25 0 1 0 679346085 7938048 1113 4294967295 134512640 134714508 3221221792 3221218848 1075084533 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1938 1113 1111 63 0 1875 0
vsize: 7752
[startup+20.0014 s]
Raw data (loadavg): 0.89 0.97 0.99 2/54 27910
Raw data (stat): 27910 (bsolo_lpr_cuts) R 27909 7876 7672 0 -1 0 9076 0 0 0 1967 29 0 0 25 0 1 0 679346085 7172096 1083 4294967295 134512640 134714508 3221221792 3221219904 1074867352 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1751 1083 1111 63 0 1688 0
vsize: 7004
[startup+30.0019 s]
Raw data (loadavg): 0.91 0.97 0.99 2/54 27910
Raw data (stat): 27910 (bsolo_lpr_cuts) R 27909 7876 7672 0 -1 0 16973 0 0 0 2943 53 0 0 25 0 1 0 679346085 7663616 1203 4294967295 134512640 134714508 3221221792 3221218832 1074052248 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1871 1203 1111 63 0 1808 0
vsize: 7484
[startup+40.0018 s]
Raw data (loadavg): 0.92 0.97 0.99 2/54 27910
Raw data (stat): 27910 (bsolo_lpr_cuts) R 27909 7876 7672 0 -1 0 25685 0 0 0 3920 76 0 0 25 0 1 0 679346085 8273920 1322 4294967295 134512640 134714508 3221221792 3221219904 1074867344 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2020 1322 1111 63 0 1957 0
vsize: 8080
[startup+50.0032 s]
Raw data (loadavg): 0.93 0.97 0.99 2/54 27910
Raw data (stat): 27910 (bsolo_lpr_cuts) R 27909 7876 7672 0 -1 0 36107 0 0 0 4891 105 0 0 25 0 1 0 679346085 8830976 1449 4294967295 134512640 134714508 3221221792 3221219904 1074867308 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2156 1449 1111 63 0 2093 0
vsize: 8624
[startup+60.0027 s]
Raw data (loadavg): 0.94 0.97 0.99 2/54 27910
Raw data (stat): 27910 (bsolo_lpr_cuts) R 27909 7876 7672 0 -1 0 47257 0 0 0 5864 133 0 0 25 0 1 0 679346085 9342976 1583 4294967295 134512640 134714508 3221221792 3221219944 1074950114 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2281 1583 1111 63 0 2218 0
vsize: 9124
[startup+70.0037 s]
Raw data (loadavg): 0.95 0.97 0.99 2/54 27910
Raw data (stat): 27910 (bsolo_lpr_cuts) R 27909 7876 7672 0 -1 0 55741 0 0 0 6843 154 0 0 25 0 1 0 679346085 9781248 1657 4294967295 134512640 134714508 3221221792 3221220044 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2388 1657 1111 63 0 2325 0
vsize: 9552
[startup+80.005 s]
Raw data (loadavg): 0.96 0.97 0.99 2/54 27910
Raw data (stat): 27910 (bsolo_lpr_cuts) R 27909 7876 7672 0 -1 0 64105 0 0 0 7821 176 0 0 25 0 1 0 679346085 9732096 1677 4294967295 134512640 134714508 3221221792 3221219792 1074916489 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2376 1677 1111 63 0 2313 0
vsize: 9504
[startup+90.0045 s]
Raw data (loadavg): 0.96 0.97 0.99 2/54 27910
Raw data (stat): 27910 (bsolo_lpr_cuts) R 27909 7876 7672 0 -1 0 74311 0 0 0 8795 202 0 0 25 0 1 0 679346085 9453568 1641 4294967295 134512640 134714508 3221221792 3221220192 1074153786 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2308 1641 1111 63 0 2245 0
vsize: 9232
[startup+100.004 s]
Raw data (loadavg): 0.97 0.97 0.99 2/54 27910
Raw data (stat): 27910 (bsolo_lpr_cuts) R 27909 7876 7672 0 -1 0 84913 0 0 0 9767 230 0 0 25 0 1 0 679346085 10153984 1801 4294967295 134512640 134714508 3221221792 3221219136 1074839088 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2520 1801 1111 63 0 2457 0
vsize: 9916
[startup+110.004 s]
Raw data (loadavg): 0.97 0.97 0.99 2/54 27910
Raw data (stat): 27910 (bsolo_lpr_cuts) R 27909 7876 7672 0 -1 0 95313 0 0 0 10739 259 0 0 25 0 1 0 679346085 11403264 2088 4294967295 134512640 134714508 3221221792 3221217724 1074788195 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2784 2088 1111 63 0 2721 0
vsize: 11136
[startup+120.005 s]
Raw data (loadavg): 0.98 0.97 0.99 2/54 27910
Raw data (stat): 27910 (bsolo_lpr_cuts) R 27909 7876 7672 0 -1 0 103684 0 0 0 11719 279 0 0 25 0 1 0 679346085 10555392 1904 4294967295 134512640 134714508 3221221792 3221219888 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2577 1904 1111 63 0 2514 0
vsize: 10308
[startup+130.005 s]
Raw data (loadavg): 0.98 0.97 0.99 2/54 27910
Raw data (stat): 27910 (bsolo_lpr_cuts) R 27909 7876 7672 0 -1 0 111990 0 0 0 12701 297 0 0 25 0 1 0 679346085 10866688 1954 4294967295 134512640 134714508 3221221792 3221220164 1077378730 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2653 1954 1111 63 0 2590 0
vsize: 10612
[startup+140.006 s]
Raw data (loadavg): 0.98 0.97 0.99 2/54 27910
Raw data (stat): 27910 (bsolo_lpr_cuts) R 27909 7876 7672 0 -1 0 119434 0 0 0 13683 316 0 0 25 0 1 0 679346085 10571776 1914 4294967295 134512640 134714508 3221221792 3221220144 1074153815 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2581 1914 1111 63 0 2518 0
vsize: 10324
[startup+150.006 s]
Raw data (loadavg): 0.98 0.97 0.99 2/54 27910
Raw data (stat): 27910 (bsolo_lpr_cuts) R 27909 7876 7672 0 -1 0 127746 0 0 0 14661 338 0 0 25 0 1 0 679346085 11014144 2017 4294967295 134512640 134714508 3221221792 3221220236 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2722 2018 1111 63 0 2659 0
vsize: 10756
[startup+160.006 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 27910
Raw data (stat): 27910 (bsolo_lpr_cuts) R 27909 7876 7672 0 -1 0 137530 0 0 0 15636 363 0 0 25 0 1 0 679346085 12541952 2368 4294967295 134512640 134714508 3221221792 3221217920 1075112110 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3062 2368 1111 63 0 2999 0
vsize: 12248
[startup+170.007 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 27910
Raw data (stat): 27910 (bsolo_lpr_cuts) R 27909 7876 7672 0 -1 0 145498 0 0 0 16615 384 0 0 25 0 1 0 679346085 11071488 2036 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2703 2036 1111 63 0 2640 0
vsize: 10812
[startup+180.008 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 27910
Raw data (stat): 27910 (bsolo_lpr_cuts) R 27909 7876 7672 0 -1 0 156420 0 0 0 17589 410 0 0 25 0 1 0 679346085 12742656 2291 4294967295 134512640 134714508 3221221792 3221218864 1074867308 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3111 2291 1111 63 0 3048 0
vsize: 12444
[startup+190.008 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 27910
Raw data (stat): 27910 (bsolo_lpr_cuts) R 27909 7876 7672 0 -1 0 166505 0 0 0 18564 435 0 0 25 0 1 0 679346085 11333632 2099 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2767 2099 1111 63 0 2704 0
vsize: 11068
[startup+200.008 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 27910
Raw data (stat): 27910 (bsolo_lpr_cuts) R 27909 7876 7672 0 -1 0 174798 0 0 0 19542 457 0 0 25 0 1 0 679346085 11931648 2236 4294967295 134512640 134714508 3221221792 3221220112 1074039443 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2913 2236 1111 63 0 2850 0
vsize: 11652
[startup+210.008 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 27910
Raw data (stat): 27910 (bsolo_lpr_cuts) R 27909 7876 7672 0 -1 0 184864 0 0 0 20517 483 0 0 25 0 1 0 679346085 12107776 2257 4294967295 134512640 134714508 3221221792 3221219944 1074950096 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2956 2257 1111 63 0 2893 0
vsize: 11824
[startup+220.009 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 27910
Raw data (stat): 27910 (bsolo_lpr_cuts) R 27909 7876 7672 0 -1 0 192611 0 0 0 21498 502 0 0 25 0 1 0 679346085 13131776 2516 4294967295 134512640 134714508 3221221792 3221217804 1074788950 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3206 2516 1111 63 0 3143 0
vsize: 12824
[startup+230.009 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 27910
Raw data (stat): 27910 (bsolo_lpr_cuts) R 27909 7876 7672 0 -1 0 202202 0 0 0 22476 524 0 0 25 0 1 0 679346085 11649024 2177 4294967295 134512640 134714508 3221221792 3221219264 1074153792 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2844 2177 1111 63 0 2781 0
vsize: 11376
[startup+240.009 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 27910
Raw data (stat): 27910 (bsolo_lpr_cuts) R 27909 7876 7672 0 -1 0 211659 0 0 0 23454 547 0 0 25 0 1 0 679346085 12206080 2276 4294967295 134512640 134714508 3221221792 3221219536 1075640400 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2980 2276 1111 63 0 2917 0
vsize: 11920
[startup+250.009 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 27910
Raw data (stat): 27910 (bsolo_lpr_cuts) R 27909 7876 7672 0 -1 0 218560 0 0 0 24437 563 0 0 25 0 1 0 679346085 14229504 2757 4294967295 134512640 134714508 3221221792 3221217836 1074873490 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3474 2757 1111 63 0 3411 0
vsize: 13896
[startup+260.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 27910
Raw data (stat): 27910 (bsolo_lpr_cuts) R 27909 7876 7672 0 -1 0 224360 0 0 0 25423 578 0 0 25 0 1 0 679346085 12922880 2488 4294967295 134512640 134714508 3221221792 3221218984 1074138316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3155 2488 1111 63 0 3092 0
vsize: 12620
[startup+270.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 27910
Raw data (stat): 27910 (bsolo_lpr_cuts) R 27909 7876 7672 0 -1 0 231143 0 0 0 26408 593 0 0 25 0 1 0 679346085 12304384 2337 4294967295 134512640 134714508 3221221792 3221219840 134650104 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3004 2337 1111 63 0 2941 0
vsize: 12016
[startup+280.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 27910
Raw data (stat): 27910 (bsolo_lpr_cuts) R 27909 7876 7672 0 -1 0 237385 0 0 0 27394 607 0 0 25 0 1 0 679346085 14135296 2742 4294967295 134512640 134714508 3221221792 3221217760 1075965250 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3451 2742 1111 63 0 3388 0
vsize: 13804
[startup+290.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 27910
Raw data (stat): 27910 (bsolo_lpr_cuts) R 27909 7876 7672 0 -1 0 244116 0 0 0 28379 622 0 0 25 0 1 0 679346085 14626816 2875 4294967295 134512640 134714508 3221221792 3221217952 1075095317 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3571 2875 1111 63 0 3508 0
vsize: 14284
[startup+300.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 27910
Raw data (stat): 27910 (bsolo_lpr_cuts) R 27909 7876 7672 0 -1 0 250316 0 0 0 29365 636 0 0 25 0 1 0 679346085 14622720 2858 4294967295 134512640 134714508 3221221792 3221218020 1075115136 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3570 2858 1111 63 0 3507 0
vsize: 14280
[startup+310.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 27910
Raw data (stat): 27910 (bsolo_lpr_cuts) R 27909 7876 7672 0 -1 0 257329 0 0 0 30349 652 0 0 25 0 1 0 679346085 14700544 2862 4294967295 134512640 134714508 3221221792 3221217688 1074789596 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3589 2862 1111 63 0 3526 0
vsize: 14356
[startup+320.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 27910
Raw data (stat): 27910 (bsolo_lpr_cuts) R 27909 7876 7672 0 -1 0 264526 0 0 0 31332 669 0 0 25 0 1 0 679346085 13193216 2522 4294967295 134512640 134714508 3221221792 3221219944 1074950114 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3221 2522 1111 63 0 3158 0
vsize: 12884
[startup+330.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 27910
Raw data (stat): 27910 (bsolo_lpr_cuts) R 27909 7876 7672 0 -1 0 271755 0 0 0 32316 686 0 0 25 0 1 0 679346085 14831616 2919 4294967295 134512640 134714508 3221221792 3221218560 1076083427 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3621 2919 1111 63 0 3558 0
vsize: 14484
[startup+340.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 27910
Raw data (stat): 27910 (bsolo_lpr_cuts) R 27909 7876 7672 0 -1 0 279598 0 0 0 33297 705 0 0 25 0 1 0 679346085 13361152 2584 4294967295 134512640 134714508 3221221792 3221218984 1074138300 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3262 2584 1111 63 0 3199 0
vsize: 13048
[startup+350.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 27910
Raw data (stat): 27910 (bsolo_lpr_cuts) R 27909 7876 7672 0 -1 0 287139 0 0 0 34279 723 0 0 25 0 1 0 679346085 14553088 2852 4294967295 134512640 134714508 3221221792 3221217804 1074788959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3553 2852 1111 63 0 3490 0
vsize: 14212
[startup+360.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 27910
Raw data (stat): 27910 (bsolo_lpr_cuts) R 27909 7876 7672 0 -1 0 297015 0 0 0 35260 743 0 0 25 0 1 0 679346085 14905344 2840 4294967295 134512640 134714508 3221221792 3221217636 1074786464 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3639 2840 1111 63 0 3576 0
vsize: 14556
[startup+370.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 27910
Raw data (stat): 27910 (bsolo_lpr_cuts) R 27909 7876 7672 0 -1 0 306017 0 0 0 36237 765 0 0 25 0 1 0 679346085 13410304 2604 4294967295 134512640 134714508 3221221792 3221219792 1074919257 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3274 2604 1111 63 0 3211 0
vsize: 13096
[startup+380.015 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 27910
Raw data (stat): 27910 (bsolo_lpr_cuts) R 27909 7876 7672 0 -1 0 317697 0 0 0 37214 789 0 0 25 0 1 0 679346085 13148160 2543 4294967295 134512640 134714508 3221221792 3221219820 1077379966 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3210 2543 1111 63 0 3147 0
vsize: 12840
[startup+390.015 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 27910
Raw data (stat): 27910 (bsolo_lpr_cuts) R 27909 7876 7672 0 -1 0 328482 0 0 0 38191 812 0 0 25 0 1 0 679346085 15474688 2925 4294967295 134512640 134714508 3221221792 3221218864 1074867331 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3778 2925 1111 63 0 3715 0
vsize: 15112
[startup+400.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 27910
Raw data (stat): 27910 (bsolo_lpr_cuts) R 27909 7876 7672 0 -1 0 339604 0 0 0 39164 839 0 0 25 0 1 0 679346085 13471744 2622 4294967295 134512640 134714508 3221221792 3221219672 1077380592 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3289 2622 1111 63 0 3226 0
vsize: 13156
[startup+410.015 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 27910
Raw data (stat): 27910 (bsolo_lpr_cuts) R 27909 7876 7672 0 -1 0 350150 0 0 0 40140 863 0 0 25 0 1 0 679346085 13688832 2661 4294967295 134512640 134714508 3221221792 3221220144 1074153786 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3342 2661 1111 63 0 3279 0
vsize: 13368
[startup+420.015 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 27910
Raw data (stat): 27910 (bsolo_lpr_cuts) R 27909 7876 7672 0 -1 0 360283 0 0 0 41117 886 0 0 25 0 1 0 679346085 14372864 2834 4294967295 134512640 134714508 3221221792 3221219792 1074918599 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3509 2834 1111 63 0 3446 0
vsize: 14036
[startup+430.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 27910
Raw data (stat): 27910 (bsolo_lpr_cuts) R 27909 7876 7672 0 -1 0 368479 0 0 0 42099 904 0 0 25 0 1 0 679346085 17047552 3412 4294967295 134512640 134714508 3221221792 3221217760 1074872799 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4162 3412 1111 63 0 4099 0
vsize: 16648
[startup+440.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 27910
Raw data (stat): 27910 (bsolo_lpr_cuts) R 27909 7876 7672 0 -1 0 377155 0 0 0 43079 925 0 0 25 0 1 0 679346085 14942208 2978 4294967295 134512640 134714508 3221221792 3221220044 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3648 2978 1111 63 0 3585 0
vsize: 14592
[startup+450.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 27910
Raw data (stat): 27910 (bsolo_lpr_cuts) R 27909 7876 7672 0 -1 0 384070 0 0 0 44064 940 0 0 25 0 1 0 679346085 16699392 3200 4294967295 134512640 134714508 3221221792 3221218712 1074950114 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4077 3200 1111 63 0 4014 0
vsize: 16308
[startup+460.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 27910
Raw data (stat): 27910 (bsolo_lpr_cuts) R 27909 7876 7672 0 -1 0 392230 0 0 0 45046 958 0 0 25 0 1 0 679346085 14544896 2884 4294967295 134512640 134714508 3221221792 3221220256 1074121049 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3551 2884 1111 63 0 3488 0
vsize: 14204
[startup+470.017 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 27910
Raw data (stat): 27910 (bsolo_lpr_cuts) R 27909 7876 7672 0 -1 0 400152 0 0 0 46028 976 0 0 25 0 1 0 679346085 15589376 3108 4294967295 134512640 134714508 3221221792 3221219440 1075819090 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3806 3108 1111 63 0 3743 0
vsize: 15224
[startup+480.018 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 27910
Raw data (stat): 27910 (bsolo_lpr_cuts) R 27909 7876 7672 0 -1 0 407979 0 0 0 47013 992 0 0 25 0 1 0 679346085 17420288 3514 4294967295 134512640 134714508 3221221792 3221217740 1074788959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4253 3514 1111 63 0 4190 0
vsize: 17012
[startup+490.018 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 27910
Raw data (stat): 27910 (bsolo_lpr_cuts) R 27909 7876 7672 0 -1 0 415399 0 0 0 47997 1008 0 0 25 0 1 0 679346085 17211392 3494 4294967295 134512640 134714508 3221221792 3221218020 1075114937 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4202 3494 1111 63 0 4139 0
vsize: 16808
[startup+500.019 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 27910
Raw data (stat): 27910 (bsolo_lpr_cuts) R 27909 7876 7672 0 -1 0 422065 0 0 0 48982 1023 0 0 25 0 1 0 679346085 14843904 2957 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3624 2957 1111 63 0 3561 0
vsize: 14496
[startup+510.019 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 27910
Raw data (stat): 27910 (bsolo_lpr_cuts) R 27909 7876 7672 0 -1 0 427725 0 0 0 49969 1037 0 0 25 0 1 0 679346085 14843904 2957 4294967295 134512640 134714508 3221221792 3221220176 1074153815 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3624 2957 1111 63 0 3561 0
vsize: 14496
[startup+520.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 27910
Raw data (stat): 27910 (bsolo_lpr_cuts) R 27909 7876 7672 0 -1 0 434180 0 0 0 50955 1050 0 0 25 0 1 0 679346085 17465344 3546 4294967295 134512640 134714508 3221221792 3221218232 1077410205 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4264 3546 1111 63 0 4201 0
vsize: 17056
[startup+530.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 27910
Raw data (stat): 27910 (bsolo_lpr_cuts) R 27909 7876 7672 0 -1 0 442515 0 0 0 51936 1070 0 0 25 0 1 0 679346085 15474688 3107 4294967295 134512640 134714508 3221221792 3221219996 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3778 3107 1111 63 0 3715 0
vsize: 15112
[startup+540.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 27910
Raw data (stat): 27910 (bsolo_lpr_cuts) R 27909 7876 7672 0 -1 0 449559 0 0 0 52919 1087 0 0 25 0 1 0 679346085 17326080 3415 4294967295 134512640 134714508 3221221792 3221218020 1075115039 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4230 3415 1111 63 0 4167 0
vsize: 16920
[startup+550.021 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 27910
Raw data (stat): 27910 (bsolo_lpr_cuts) R 27909 7876 7672 0 -1 0 456555 0 0 0 53903 1103 0 0 25 0 1 0 679346085 17715200 3624 4294967295 134512640 134714508 3221221792 3221218448 1075967945 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4325 3624 1111 63 0 4262 0
vsize: 17300
[startup+560.021 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 27910
Raw data (stat): 27910 (bsolo_lpr_cuts) R 27909 7876 7672 0 -1 0 463087 0 0 0 54889 1118 0 0 25 0 1 0 679346085 17276928 3329 4294967295 134512640 134714508 3221221792 3221218256 1075602651 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4218 3331 1111 63 0 4155 0
vsize: 16872
[startup+570.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 27910
Raw data (stat): 27910 (bsolo_lpr_cuts) R 27909 7876 7672 0 -1 0 471767 0 0 0 55869 1138 0 0 25 0 1 0 679346085 14843904 2957 4294967295 134512640 134714508 3221221792 3221219312 1074153815 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3624 2957 1111 63 0 3561 0
vsize: 14496
[startup+580.021 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 27910
Raw data (stat): 27910 (bsolo_lpr_cuts) R 27909 7876 7672 0 -1 0 481713 0 0 0 56845 1162 0 0 25 0 1 0 679346085 15085568 3016 4294967295 134512640 134714508 3221221792 3221219424 1074153779 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3683 3016 1111 63 0 3620 0
vsize: 14732
[startup+590.022 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 27910
Raw data (stat): 27910 (bsolo_lpr_cuts) R 27909 7876 7672 0 -1 0 492431 0 0 0 57821 1186 0 0 25 0 1 0 679346085 15306752 3070 4294967295 134512640 134714508 3221221792 3221218880 1077814665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3737 3070 1111 63 0 3674 0
vsize: 14948
[startup+600.022 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 27910
Raw data (stat): 27910 (bsolo_lpr_cuts) R 27909 7876 7672 0 -1 0 501695 0 0 0 58801 1206 0 0 25 0 1 0 679346085 16379904 3285 4294967295 134512640 134714508 3221221792 3221219440 1075818276 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3999 3285 1111 63 0 3936 0
vsize: 15996
[startup+610.022 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 27910
Raw data (stat): 27910 (bsolo_lpr_cuts) R 27909 7876 7672 0 -1 0 510357 0 0 0 59782 1226 0 0 25 0 1 0 679346085 15585280 3138 4294967295 134512640 134714508 3221221792 3221218976 1077814665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3805 3138 1111 63 0 3742 0
vsize: 15220
[startup+620.022 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 27910
Raw data (stat): 27910 (bsolo_lpr_cuts) R 27909 7876 7672 0 -1 0 520066 0 0 0 60760 1248 0 0 25 0 1 0 679346085 16986112 3324 4294967295 134512640 134714508 3221221792 3221219432 1075850409 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4147 3324 1111 63 0 4084 0
vsize: 16588
[startup+630.022 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 27910
Raw data (stat): 27910 (bsolo_lpr_cuts) R 27909 7876 7672 0 -1 0 529096 0 0 0 61739 1269 0 0 25 0 1 0 679346085 16449536 3317 4294967295 134512640 134714508 3221221792 3221219944 1074950114 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4016 3317 1111 63 0 3953 0
vsize: 16064
[startup+640.022 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 27910
Raw data (stat): 27910 (bsolo_lpr_cuts) R 27909 7876 7672 0 -1 0 538969 0 0 0 62718 1290 0 0 25 0 1 0 679346085 18534400 3799 4294967295 134512640 134714508 3221221792 3221218128 1075113493 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4525 3799 1111 63 0 4462 0
vsize: 18100
[startup+650.023 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 27910
Raw data (stat): 27910 (bsolo_lpr_cuts) R 27909 7876 7672 0 -1 0 547741 0 0 0 63700 1308 0 0 25 0 1 0 679346085 18538496 3800 4294967295 134512640 134714508 3221221792 3221217740 1074788950 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4526 3800 1111 63 0 4463 0
vsize: 18104
[startup+660.023 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 27910
Raw data (stat): 27910 (bsolo_lpr_cuts) R 27909 7876 7672 0 -1 0 557814 0 0 0 64678 1330 0 0 25 0 1 0 679346085 16457728 3319 4294967295 134512640 134714508 3221221792 3221219788 1074788959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4018 3319 1111 63 0 3955 0
vsize: 16072
[startup+670.023 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 27910
Raw data (stat): 27910 (bsolo_lpr_cuts) R 27909 7876 7672 0 -1 0 566562 0 0 0 65657 1351 0 0 25 0 1 0 679346085 15990784 3209 4294967295 134512640 134714508 3221221792 3221219984 1074153760 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3904 3209 1111 63 0 3841 0
vsize: 15616
[startup+680.023 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 27910
Raw data (stat): 27910 (bsolo_lpr_cuts) R 27909 7876 7672 0 -1 0 574665 0 0 0 66640 1368 0 0 25 0 1 0 679346085 16756736 3419 4294967295 134512640 134714508 3221221792 3221219788 1074788959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4091 3419 1111 63 0 4028 0
vsize: 16364
[startup+690.023 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 27910
Raw data (stat): 27910 (bsolo_lpr_cuts) R 27909 7876 7672 0 -1 0 585325 0 0 0 67619 1390 0 0 25 0 1 0 679346085 18841600 3759 4294967295 134512640 134714508 3221221792 3221218020 1075115039 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4600 3759 1111 63 0 4537 0
vsize: 18400
[startup+700.023 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 27910
Raw data (stat): 27910 (bsolo_lpr_cuts) R 27909 7876 7672 0 -1 0 595348 0 0 0 68597 1412 0 0 25 0 1 0 679346085 16289792 3310 4294967295 134512640 134714508 3221221792 3221220176 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3977 3310 1111 63 0 3914 0
vsize: 15908
[startup+710.023 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 27910
Raw data (stat): 27910 (bsolo_lpr_cuts) R 27909 7876 7672 0 -1 0 606488 0 0 0 69571 1438 0 0 25 0 1 0 679346085 16351232 3325 4294967295 134512640 134714508 3221221792 3221219984 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3992 3325 1111 63 0 3929 0
vsize: 15968
[startup+720.022 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 27910
Raw data (stat): 27910 (bsolo_lpr_cuts) R 27909 7876 7672 0 -1 0 615522 0 0 0 70549 1460 0 0 25 0 1 0 679346085 18788352 3852 4294967295 134512640 134714508 3221221792 3221217804 1074788959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4587 3852 1111 63 0 4524 0
vsize: 18348
[startup+730.023 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 27910
Raw data (stat): 27910 (bsolo_lpr_cuts) R 27909 7876 7672 0 -1 0 626380 0 0 0 71524 1486 0 0 25 0 1 0 679346085 16965632 3435 4294967295 134512640 134714508 3221221792 3221219536 1075645384 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4142 3435 1111 63 0 4079 0
vsize: 16568
[startup+740.023 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 27910
Raw data (stat): 27910 (bsolo_lpr_cuts) R 27909 7876 7672 0 -1 0 634702 0 0 0 72502 1507 0 0 25 0 1 0 679346085 19439616 4018 4294967295 134512640 134714508 3221221792 3221217804 1074788964 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4746 4018 1111 63 0 4683 0
vsize: 18984
[startup+750.023 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 27910
Raw data (stat): 27910 (bsolo_lpr_cuts) R 27909 7876 7672 0 -1 0 642203 0 0 0 73486 1524 0 0 25 0 1 0 679346085 16953344 3472 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4139 3472 1111 63 0 4076 0
vsize: 16556
[startup+760.023 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 27910
Raw data (stat): 27910 (bsolo_lpr_cuts) R 27909 7876 7672 0 -1 0 648588 0 0 0 74469 1541 0 0 25 0 1 0 679346085 16969728 3476 4294967295 134512640 134714508 3221221792 3221219792 1074153822 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4143 3476 1111 63 0 4080 0
vsize: 16572
[startup+770.023 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 27910
Raw data (stat): 27910 (bsolo_lpr_cuts) R 27909 7876 7672 0 -1 0 655526 0 0 0 75455 1555 0 0 25 0 1 0 679346085 20041728 4147 4294967295 134512640 134714508 3221221792 3221218232 1077410205 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4893 4147 1111 63 0 4830 0
vsize: 19572
[startup+780.023 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 27910
Raw data (stat): 27910 (bsolo_lpr_cuts) R 27909 7876 7672 0 -1 0 663099 0 0 0 76439 1571 0 0 25 0 1 0 679346085 20160512 4192 4294967295 134512640 134714508 3221221792 3221217740 1074788959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4922 4192 1111 63 0 4859 0
vsize: 19688
[startup+790.023 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 27910
Raw data (stat): 27910 (bsolo_lpr_cuts) R 27909 7876 7672 0 -1 0 671988 0 0 0 77418 1592 0 0 25 0 1 0 679346085 17154048 3521 4294967295 134512640 134714508 3221221792 3221219504 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4188 3521 1111 63 0 4125 0
vsize: 16752
[startup+800.024 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 27910
Raw data (stat): 27910 (bsolo_lpr_cuts) R 27909 7876 7672 0 -1 0 681932 0 0 0 78397 1614 0 0 25 0 1 0 679346085 17027072 3490 4294967295 134512640 134714508 3221221792 3221219936 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4157 3490 1111 63 0 4094 0
vsize: 16628
[startup+810.024 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 27910
Raw data (stat): 27910 (bsolo_lpr_cuts) R 27909 7876 7672 0 -1 0 690615 0 0 0 79376 1635 0 0 25 0 1 0 679346085 17203200 3512 4294967295 134512640 134714508 3221221792 3221219792 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4200 3512 1111 63 0 4137 0
vsize: 16800
[startup+820.024 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 27910
Raw data (stat): 27910 (bsolo_lpr_cuts) R 27909 7876 7672 0 -1 0 699619 0 0 0 80356 1655 0 0 25 0 1 0 679346085 20094976 4153 4294967295 134512640 134714508 3221221792 3221217936 1074971855 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4906 4153 1111 63 0 4843 0
vsize: 19624
[startup+830.024 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 27910
Raw data (stat): 27910 (bsolo_lpr_cuts) R 27909 7876 7672 0 -1 0 708831 0 0 0 81335 1676 0 0 25 0 1 0 679346085 17989632 3722 4294967295 134512640 134714508 3221221792 3221220112 1074039440 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4392 3722 1111 63 0 4329 0
vsize: 17568
[startup+840.024 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 27910
Raw data (stat): 27910 (bsolo_lpr_cuts) R 27909 7876 7672 0 -1 0 716364 0 0 0 82318 1693 0 0 25 0 1 0 679346085 20697088 4326 4294967295 134512640 134714508 3221221792 3221218020 1075115039 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5053 4326 1111 63 0 4990 0
vsize: 20212
[startup+850.025 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 27910
Raw data (stat): 27910 (bsolo_lpr_cuts) R 27909 7876 7672 0 -1 0 723661 0 0 0 83299 1713 0 0 25 0 1 0 679346085 18530304 3838 4294967295 134512640 134714508 3221221792 3221219792 1074918576 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4524 3838 1111 63 0 4461 0
vsize: 18096
[startup+860.026 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 27910
Raw data (stat): 27910 (bsolo_lpr_cuts) R 27909 7876 7672 0 -1 0 731250 0 0 0 84281 1731 0 0 25 0 1 0 679346085 17682432 3650 4294967295 134512640 134714508 3221221792 3221219984 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4317 3650 1111 63 0 4254 0
vsize: 17268
[startup+870.025 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 27910
Raw data (stat): 27910 (bsolo_lpr_cuts) R 27909 7876 7672 0 -1 0 739660 0 0 0 85262 1750 0 0 25 0 1 0 679346085 20652032 4331 4294967295 134512640 134714508 3221221792 3221217804 1074788950 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5042 4331 1111 63 0 4979 0
vsize: 20168
[startup+880.025 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 27910
Raw data (stat): 27910 (bsolo_lpr_cuts) R 27909 7876 7672 0 -1 0 748552 0 0 0 86240 1772 0 0 25 0 1 0 679346085 18853888 3936 4294967295 134512640 134714508 3221221792 3221219904 1074867340 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4603 3936 1111 63 0 4540 0
vsize: 18412
[startup+890.026 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 27910
Raw data (stat): 27910 (bsolo_lpr_cuts) R 27909 7876 7672 0 -1 0 757914 0 0 0 87219 1793 0 0 25 0 1 0 679346085 17502208 3606 4294967295 134512640 134714508 3221221792 3221220192 1074153786 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4273 3606 1111 63 0 4210 0
vsize: 17092
[startup+900.026 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 27910
Raw data (stat): 27910 (bsolo_lpr_cuts) R 27909 7876 7672 0 -1 0 765718 0 0 0 88199 1813 0 0 25 0 1 0 679346085 18853888 3936 4294967295 134512640 134714508 3221221792 3221219792 1074918599 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4603 3936 1111 63 0 4540 0
vsize: 18412
[startup+910.027 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 27910
Raw data (stat): 27910 (bsolo_lpr_cuts) R 27909 7876 7672 0 -1 0 773723 0 0 0 89180 1832 0 0 25 0 1 0 679346085 20783104 4331 4294967295 134512640 134714508 3221221792 3221217672 1074788427 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5074 4331 1111 63 0 5011 0
vsize: 20296
[startup+920.027 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 27910
Raw data (stat): 27910 (bsolo_lpr_cuts) R 27909 7876 7672 0 -1 0 779692 0 0 0 90166 1846 0 0 25 0 1 0 679346085 20348928 4218 4294967295 134512640 134714508 3221221792 3221217892 1075964252 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4968 4218 1111 63 0 4905 0
vsize: 19872
[startup+930.027 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 27910
Raw data (stat): 27910 (bsolo_lpr_cuts) R 27909 7876 7672 0 -1 0 789279 0 0 0 91145 1868 0 0 25 0 1 0 679346085 18812928 3926 4294967295 134512640 134714508 3221221792 3221219792 1074918591 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4593 3926 1111 63 0 4530 0
vsize: 18372
[startup+940.027 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 27910
Raw data (stat): 27910 (bsolo_lpr_cuts) R 27909 7876 7672 0 -1 0 797414 0 0 0 92127 1886 0 0 25 0 1 0 679346085 20938752 4373 4294967295 134512640 134714508 3221221792 3221218604 1074788950 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5112 4373 1111 63 0 5049 0
vsize: 20448
[startup+950.027 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 27910
Raw data (stat): 27910 (bsolo_lpr_cuts) R 27909 7876 7672 0 -1 0 803801 0 0 0 93112 1902 0 0 25 0 1 0 679346085 20447232 4267 4294967295 134512640 134714508 3221221792 3221217892 1075964278 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4992 4267 1111 63 0 4929 0
vsize: 19968
[startup+960.028 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 27910
Raw data (stat): 27910 (bsolo_lpr_cuts) R 27909 7876 7672 0 -1 0 812113 0 0 0 94090 1923 0 0 25 0 1 0 679346085 18243584 3760 4294967295 134512640 134714508 3221221792 3221220144 1074153800 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4454 3760 1111 63 0 4391 0
vsize: 17816
[startup+970.028 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 27910
Raw data (stat): 27910 (bsolo_lpr_cuts) R 27909 7876 7672 0 -1 0 821827 0 0 0 95066 1947 0 0 25 0 1 0 679346085 18706432 3893 4294967295 134512640 134714508 3221221792 3221220188 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4567 3893 1111 63 0 4504 0
vsize: 18268
[startup+980.029 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 27910
Raw data (stat): 27910 (bsolo_lpr_cuts) R 27909 7876 7672 0 -1 0 828156 0 0 0 96052 1962 0 0 25 0 1 0 679346085 19648512 4130 4294967295 134512640 134714508 3221221792 3221219904 1074867334 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4797 4130 1111 63 0 4734 0
vsize: 19188
[startup+990.029 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 27910
Raw data (stat): 27910 (bsolo_lpr_cuts) R 27909 7876 7672 0 -1 0 834766 0 0 0 97036 1978 0 0 25 0 1 0 679346085 21544960 4439 4294967295 134512640 134714508 3221221792 3221218020 1075115073 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5260 4439 1111 63 0 5197 0
vsize: 21040
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 27910
Raw data (stat): 27910 (bsolo_lpr_cuts) R 27909 7876 7672 0 -1 0 843091 0 0 0 98017 1997 0 0 25 0 1 0 679346085 19587072 4115 4294967295 134512640 134714508 3221221792 3221219632 1075798484 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4782 4115 1111 63 0 4719 0
vsize: 19128
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 27910
Raw data (stat): 27910 (bsolo_lpr_cuts) R 27909 7876 7672 0 -1 0 850847 0 0 0 99000 2014 0 0 25 0 1 0 679346085 22335488 4666 4294967295 134512640 134714508 3221221792 3221218064 1074961149 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5453 4666 1111 63 0 5390 0
vsize: 21812
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 27910
Raw data (stat): 27910 (bsolo_lpr_cuts) R 27909 7876 7672 0 -1 0 856875 0 0 0 99985 2029 0 0 25 0 1 0 679346085 19640320 4095 4294967295 134512640 134714508 3221221792 3221219936 1074790233 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4795 4095 1111 63 0 4732 0
vsize: 19180
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 27910
Raw data (stat): 27910 (bsolo_lpr_cuts) R 27909 7876 7672 0 -1 0 862848 0 0 0 100973 2042 0 0 25 0 1 0 679346085 21708800 4553 4294967295 134512640 134714508 3221221792 3221217804 1074788959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5300 4553 1111 63 0 5237 0
vsize: 21200
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 27910
Raw data (stat): 27910 (bsolo_lpr_cuts) R 27909 7876 7672 0 -1 0 871611 0 0 0 101953 2062 0 0 25 0 1 0 679346085 18763776 3883 4294967295 134512640 134714508 3221221792 3221219952 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4581 3883 1111 63 0 4518 0
vsize: 18324
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 27910
Raw data (stat): 27910 (bsolo_lpr_cuts) R 27909 7876 7672 0 -1 0 877066 0 0 0 102941 2074 0 0 25 0 1 0 679346085 19804160 4164 4294967295 134512640 134714508 3221221792 3221219788 1074788959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4835 4164 1111 63 0 4772 0
vsize: 19340
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 27910
Raw data (stat): 27910 (bsolo_lpr_cuts) R 27909 7876 7672 0 -1 0 882645 0 0 0 103927 2089 0 0 25 0 1 0 679346085 19927040 4164 4294967295 134512640 134714508 3221221792 3221219996 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4865 4164 1111 63 0 4802 0
vsize: 19460
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 27910
Raw data (stat): 27910 (bsolo_lpr_cuts) R 27909 7876 7672 0 -1 0 891050 0 0 0 104907 2108 0 0 25 0 1 0 679346085 22450176 4730 4294967295 134512640 134714508 3221221792 3221217804 1074788959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5481 4730 1111 63 0 5418 0
vsize: 21924
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 27910
Raw data (stat): 27910 (bsolo_lpr_cuts) R 27909 7876 7672 0 -1 0 899960 0 0 0 105889 2127 0 0 25 0 1 0 679346085 22544384 4703 4294967295 134512640 134714508 3221221792 3221218020 1075115035 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5504 4703 1111 63 0 5441 0
vsize: 22016
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 27910
Raw data (stat): 27910 (bsolo_lpr_cuts) R 27909 7876 7672 0 -1 0 907267 0 0 0 106872 2144 0 0 25 0 1 0 679346085 19570688 4103 4294967295 134512640 134714508 3221221792 3221220092 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4778 4103 1111 63 0 4715 0
vsize: 19112
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 27910
Raw data (stat): 27910 (bsolo_lpr_cuts) R 27909 7876 7672 0 -1 0 916952 0 0 0 107851 2165 0 0 25 0 1 0 679346085 19881984 4103 4294967295 134512640 134714508 3221221792 3221218984 1074138303 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4854 4114 1111 63 0 4791 0
vsize: 19416
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 27910
Raw data (stat): 27910 (bsolo_lpr_cuts) R 27909 7876 7672 0 -1 0 924665 0 0 0 108833 2183 0 0 25 0 1 0 679346085 22482944 4684 4294967295 134512640 134714508 3221221792 3221217740 1074788959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5489 4684 1111 63 0 5426 0
vsize: 21956
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 27910
Raw data (stat): 27910 (bsolo_lpr_cuts) R 27909 7876 7672 0 -1 0 933298 0 0 0 109812 2204 0 0 25 0 1 0 679346085 22700032 4785 4294967295 134512640 134714508 3221221792 3221218008 1074950114 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5542 4785 1111 63 0 5479 0
vsize: 22168
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 27910
Raw data (stat): 27910 (bsolo_lpr_cuts) R 27909 7876 7672 0 -1 0 940739 0 0 0 110796 2221 0 0 25 0 1 0 679346085 20312064 4292 4294967295 134512640 134714508 3221221792 3221218896 1074138832 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4959 4292 1111 63 0 4896 0
vsize: 19836
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 27910
Raw data (stat): 27910 (bsolo_lpr_cuts) R 27909 7876 7672 0 -1 0 949880 0 0 0 111776 2241 0 0 25 0 1 0 679346085 22900736 4811 4294967295 134512640 134714508 3221221792 3221218832 1075971413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5591 4811 1111 63 0 5528 0
vsize: 22364
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 27910
Raw data (stat): 27910 (bsolo_lpr_cuts) R 27909 7876 7672 0 -1 0 957943 0 0 0 112756 2261 0 0 25 0 1 0 679346085 22872064 4788 4294967295 134512640 134714508 3221221792 3221218320 1075397167 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5584 4788 1111 63 0 5521 0
vsize: 22336
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 27910
Raw data (stat): 27910 (bsolo_lpr_cuts) R 27909 7876 7672 0 -1 0 964326 0 0 0 113742 2276 0 0 25 0 1 0 679346085 23580672 4979 4294967295 134512640 134714508 3221221792 3221217740 1074788950 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5757 4979 1111 63 0 5694 0
vsize: 23028
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 27910
Raw data (stat): 27910 (bsolo_lpr_cuts) R 27909 7876 7672 0 -1 0 973574 0 0 0 114720 2298 0 0 25 0 1 0 679346085 22654976 4648 4294967295 134512640 134714508 3221221792 3221218020 1075115049 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5531 4648 1111 63 0 5468 0
vsize: 22124
[startup+1180.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 27910
Raw data (stat): 27910 (bsolo_lpr_cuts) R 27909 7876 7672 0 -1 0 977828 0 0 0 115710 2308 0 0 25 0 1 0 679346085 22790144 4823 4294967295 134512640 134714508 3221221792 3221218020 1075115049 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5564 4823 1111 63 0 5501 0
vsize: 22256
[startup+1185.52 s]
Raw data (loadavg): 0.99 0.97 0.99 1/53 27910
Raw data (stat): 27910 (bsolo_lpr_cuts) R 27909 7876 7672 0 -1 0 977828 0 0 0 115710 2308 0 0 25 0 1 0 679346085 22790144 4823 4294967295 134512640 134714508 3221221792 3221218020 1075115049 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5564 4823 1111 63 0 5501 0
vsize: 0

Child status: 10
Real time (s): 1185.52
CPU time (s): 1185.67
CPU user time (s): 1162.47
CPU system time (s): 23.1995
CPU usage (%): 100.012
Max. virtual memory (Kb): 23028
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	142
#### END VERIFIER DATA ####