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-ii32e1.opb
MD5SUM	33d46caaa6c22613488909eddb5a530f
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	162
Optimality of the best value was proved	NO
Number of terms in the objective function	444
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	444
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	444
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.02184
Number of variables	444
Total number of constraints	1408
Number of constraints which are clauses	1408
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	32
Trace number 40708

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        923004 kB
Buffers:         26288 kB
Cached:          64084 kB
SwapCached:       1292 kB
Active:          27092 kB
Inactive:        65664 kB
HighTotal:      131008 kB
HighFree:        82824 kB
LowTotal:       903652 kB
LowFree:        840180 kB
SwapTotal:     2097136 kB
SwapFree:      2094824 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4988 kB
Slab:            13128 kB
Committed_AS:    63732 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 19:55:20 (client local time) WITH STATUS 10 IN 1175.99 SECONDS
stats: 28772 0 1175.99 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 444 variables and 1408 constraints.
c After prepocess the problem consists of 444 variables and 1408 constraints.
c preprocess terminated 1.292 s
c Initial Lower Bound: 131
c Lower Bound Elapsed time: 0.490571
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 199 @ 9.748
c NEW SOLUTION FOUND: 179 @ 9.808
c NEW SOLUTION FOUND: 175 @ 547.224
c NEW SOLUTION FOUND: 163 @ 1038.62
s SATISFIABLE
v x1 -x2 -x3 -x4 -x5 -x6 x7 -x8 -x9 -x10 x11 -x12 x13 -x14 -x15 x16 -x17 -x18 x19 -x20 -x21 -x22 x23 -x24 x25 -x26 -x27 x28 x29 -x30 -x31 -x32 x33 -x34 -x35 -x36 x37 -x38 -x39 -x40 x41 -x42 -x43 -x44 -x45 -x46 x47 -x48 x49 -x50 -x51 -x52 -x53 -x54 x55 -x56 -x57 -x58 x59 -x60 -x61 -x62 x63 -x64 -x65 -x66 x67 -x68 -x69 -x70 x71 -x72 x73 -x74 -x75 -x76 x77 -x78 -x79 -x80 -x81 -x82 x83 -x84 -x85 -x86 x87 -x88 -x89 x90 x91 -x92 x93 -x94 x95 -x96 x97 -x98 -x99 -x100 x101 -x102 -x103 -x104 x105 -x106 -x107 -x108 x109 -x110 -x111 -x112 -x113 -x114 x115 -x116 x117 -x118 -x119 -x120 x121 -x122 -x123 -x124 -x125 -x126 x127 -x128 -x129 -x130 x131 -x132 x133 -x134 -x135 -x136 -x137 -x138 x139 -x140 x141 -x142 -x143 -x144 x145 -x146 -x147 -x148 -x149 -x150 x151 -x152 -x153 -x154 x155 -x156 -x157 -x158 x159 -x160 -x161 -x162 x163 -x164 -x165 -x166 x167 -x168 x169 -x170 -x171 -x172 -x173 -x174 x175 -x176 x177 -x178 -x179 -x180 x181 -x182 -x183 -x184 x185 -x186 -x187 -x188 -x189 -x190 x191 -x192 x193 -x194 -x195 -x196 x197 -x198 -x199 -x200 x201 -x202 -x203 -x204 x205 -x206 -x207 -x208 x209 -x210 -x211 x212 x213 -x214 -x215 -x216 -x217 x218 x219 -x220 x221 -x222 -x223 -x224 -x225 -x226 x227 -x228 x229 -x230 -x231 -x232 x233 -x234 -x235 -x236 -x237 x238 x239 -x240 -x241 -x242 x243 -x244 -x245 -x246 x247 -x248 x249 -x250 -x251 -x252 -x253 -x254 x255 -x256 x257 -x258 x259 -x260 -x261 x262 x263 -x264 x265 -x266 x267 -x268 x269 -x270 x271 -x272 -x273 -x274 x275 -x276 x277 -x278 x279 -x280 x281 -x282 x283 -x284 x285 -x286 x287 -x288 x289 -x290 x291 -x292 x293 -x294 x295 -x296 x297 -x298 x299 -x300 x301 -x302 x303 -x304 x305 -x306 x307 -x308 x309 -x310 x311 -x312 x313 -x314 x315 -x316 x317 -x318 x319 -x320 x321 -x322 x323 -x324 x325 -x326 x327 -x328 x329 -x330 x331 -x332 x333 -x334 x335 -x336 x337 -x338 x339 -x340 x341 -x342 x343 -x344 x345 -x346 x347 -x348 x349 -x350 x351 -x352 x353 -x354 x355 -x356 x357 -x358 x359 -x360 x361 -x362 x363 -x364 x365 -x366 x367 -x368 -x369 x370 x371 -x372 x373 -x374 x375 -x376 x377 -x378 -x379 x380 x381 -x382 x383 -x384 -x385 x386 -x387 x388 x389 -x390 -x391 x392 -x393 x394 x395 -x396 -x397 x398 x399 -x400 -x401 x402 x403 -x404 -x405 x406 -x407 -x408 -x409 x410 -x411 x412 x413 -x414 -x415 x416 -x417 x418 x419 -x420 -x421 x422 -x423 x424 x425 -x426 -x427 x428 -x429 x430 x431 -x432 -x433 x434 -x435 x436 x437 -x438 -x439 x440 -x441 x442 x443 -x444 
c Exit Code: 10
c Total time: 1175.96 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.84 0.94 0.90 2/54 1439
Raw data (stat): 1439 (runsolver) R 1438 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 904198610 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0007 s]
Raw data (loadavg): 0.87 0.94 0.90 2/54 1439
Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 5088 0 0 0 983 14 0 0 25 0 1 0 904198610 7925760 1213 4294967295 134512640 134716908 3221224576 3221220452 1074786586 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1935 1213 1111 63 0 1872 0
vsize: 7740
[startup+20.0014 s]
Raw data (loadavg): 0.89 0.94 0.90 2/54 1439
Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 13006 0 0 0 1958 38 0 0 25 0 1 0 904198610 8822784 1367 4294967295 134512640 134716908 3221224576 3221220944 1075894558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2154 1367 1111 63 0 2091 0
vsize: 8616
[startup+30.0027 s]
Raw data (loadavg): 0.90 0.94 0.90 2/54 1439
Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 19364 0 0 0 2937 60 0 0 25 0 1 0 904198610 9289728 1515 4294967295 134512640 134716908 3221224576 3221220540 1074788217 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2268 1515 1111 63 0 2205 0
vsize: 9072
[startup+40.0028 s]
Raw data (loadavg): 0.92 0.94 0.90 2/54 1439
Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 25721 0 0 0 3917 80 0 0 25 0 1 0 904198610 10579968 1829 4294967295 134512640 134716908 3221224576 3221220848 1074961275 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2583 1829 1111 63 0 2520 0
vsize: 10332
[startup+50.0036 s]
Raw data (loadavg): 0.93 0.94 0.90 2/54 1439
Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 32669 0 0 0 4896 102 0 0 25 0 1 0 904198610 12476416 2292 4294967295 134512640 134716908 3221224576 3221220816 1075115709 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3046 2292 1111 63 0 2983 0
vsize: 12184
[startup+60.0044 s]
Raw data (loadavg): 0.94 0.95 0.90 2/54 1439
Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 36456 0 0 0 5882 116 0 0 25 0 1 0 904198610 12124160 2290 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2960 2290 1111 63 0 2897 0
vsize: 11840
[startup+70.0052 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 1439
Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 41312 0 0 0 6865 134 0 0 25 0 1 0 904198610 12509184 2384 4294967295 134512640 134716908 3221224576 3221222976 1074153792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3054 2384 1111 63 0 2991 0
vsize: 12216
[startup+80.0061 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 1439
Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 48358 0 0 0 7841 159 0 0 25 0 1 0 904198610 14729216 2821 4294967295 134512640 134716908 3221224576 3221221648 1074867305 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3596 2821 1111 63 0 3533 0
vsize: 14384
[startup+90.0065 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 1439
Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 52796 0 0 0 8825 174 0 0 25 0 1 0 904198610 15028224 2913 4294967295 134512640 134716908 3221224576 3221220588 1074788950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3669 2913 1111 63 0 3606 0
vsize: 14676
[startup+100.007 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 1439
Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 57492 0 0 0 9810 189 0 0 25 0 1 0 904198610 14528512 2877 4294967295 134512640 134716908 3221224576 3221222780 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3547 2877 1111 63 0 3484 0
vsize: 14188
[startup+110.008 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 1439
Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 61809 0 0 0 10796 204 0 0 25 0 1 0 904198610 14528512 2877 4294967295 134512640 134716908 3221224576 3221223112 1077377398 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3547 2877 1111 63 0 3484 0
vsize: 14188
[startup+120.008 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 1439
Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 67870 0 0 0 11777 223 0 0 25 0 1 0 904198610 15400960 3090 4294967295 134512640 134716908 3221224576 3221222304 1075828503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3760 3090 1111 63 0 3697 0
vsize: 15040
[startup+130.009 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 1439
Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 73003 0 0 0 12762 239 0 0 25 0 1 0 904198610 15908864 3134 4294967295 134512640 134716908 3221224576 3221220804 1075114984 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3884 3134 1111 63 0 3821 0
vsize: 15536
[startup+140.009 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 1439
Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 78479 0 0 0 13746 255 0 0 25 0 1 0 904198610 15761408 3119 4294967295 134512640 134716908 3221224576 3221222828 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3848 3119 1111 63 0 3785 0
vsize: 15392
[startup+150.009 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 1439
Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 85684 0 0 0 14724 277 0 0 25 0 1 0 904198610 17031168 3427 4294967295 134512640 134716908 3221224576 3221222828 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4158 3427 1111 63 0 4095 0
vsize: 16632
[startup+160.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 1439
Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 92790 0 0 0 15705 297 0 0 25 0 1 0 904198610 18178048 3768 4294967295 134512640 134716908 3221224576 3221222900 1074207528 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4438 3768 1111 63 0 4375 0
vsize: 17752
[startup+170.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 1439
Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 99311 0 0 0 16686 317 0 0 25 0 1 0 904198610 19374080 3987 4294967295 134512640 134716908 3221224576 3221221648 1074867317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4730 3987 1111 63 0 4667 0
vsize: 18920
[startup+180.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 1439
Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 104748 0 0 0 17668 335 0 0 25 0 1 0 904198610 19267584 3977 4294967295 134512640 134716908 3221224576 3221220816 1075115717 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4704 3978 1111 63 0 4641 0
vsize: 18816
[startup+190.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 1439
Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 111032 0 0 0 18649 354 0 0 25 0 1 0 904198610 20320256 4214 4294967295 134512640 134716908 3221224576 3221220460 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4961 4214 1111 63 0 4898 0
vsize: 19844
[startup+200.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 1439
Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 116862 0 0 0 19632 372 0 0 25 0 1 0 904198610 21061632 4400 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5142 4400 1111 63 0 5079 0
vsize: 20568
[startup+210.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 1439
Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 122366 0 0 0 20615 389 0 0 25 0 1 0 904198610 22224896 4649 4294967295 134512640 134716908 3221224576 3221220736 1075093374 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5426 4649 1111 63 0 5363 0
vsize: 21704
[startup+220.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 1439
Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 128005 0 0 0 21598 406 0 0 25 0 1 0 904198610 23306240 4885 4294967295 134512640 134716908 3221224576 3221220960 1074972710 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5690 4885 1111 63 0 5627 0
vsize: 22760
[startup+230.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 1439
Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 134270 0 0 0 22580 425 0 0 25 0 1 0 904198610 23740416 4947 4294967295 134512640 134716908 3221224576 3221221728 1075969848 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5796 4953 1111 63 0 5733 0
vsize: 23184
[startup+240.013 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 1439
Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 141183 0 0 0 23562 443 0 0 25 0 1 0 904198610 23429120 5050 4294967295 134512640 134716908 3221224576 3221223292 134558476 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5720 5050 1111 63 0 5657 0
vsize: 22880
[startup+250.014 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 1439
Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 148164 0 0 0 24541 464 0 0 25 0 1 0 904198610 24735744 5369 4294967295 134512640 134716908 3221224576 3221222688 1074867314 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6039 5369 1111 63 0 5976 0
vsize: 24156
[startup+260.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1439
Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 154618 0 0 0 25523 483 0 0 25 0 1 0 904198610 26365952 5681 4294967295 134512640 134716908 3221224576 3221220668 1075663518 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6437 5681 1111 63 0 6374 0
vsize: 25748
[startup+270.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1439
Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 160695 0 0 0 26506 500 0 0 25 0 1 0 904198610 27316224 5994 4294967295 134512640 134716908 3221224576 3221222536 1074138316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6669 5996 1111 63 0 6606 0
vsize: 26676
[startup+280.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1439
Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 167338 0 0 0 27487 520 0 0 25 0 1 0 904198610 28807168 6292 4294967295 134512640 134716908 3221224576 3221220588 1074788937 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7033 6293 1111 63 0 6970 0
vsize: 28132
[startup+290.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1439
Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 173185 0 0 0 28469 538 0 0 25 0 1 0 904198610 29655040 6515 4294967295 134512640 134716908 3221224576 3221222876 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7240 6515 1111 63 0 7177 0
vsize: 28960
[startup+300.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1439
Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 178213 0 0 0 29455 553 0 0 25 0 1 0 904198610 30244864 6634 4294967295 134512640 134716908 3221224576 3221220804 1075115039 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7384 6634 1111 63 0 7321 0
vsize: 29536
[startup+310.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1439
Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 182252 0 0 0 30442 566 0 0 25 0 1 0 904198610 29892608 6628 4294967295 134512640 134716908 3221224576 3221223372 134542400 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7298 6628 1111 63 0 7235 0
vsize: 29192
[startup+320.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1439
Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 188282 0 0 0 31425 583 0 0 25 0 1 0 904198610 30683136 6821 4294967295 134512640 134716908 3221224576 3221222864 1074153648 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7491 6821 1111 63 0 7428 0
vsize: 29964
[startup+330.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1439
Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 193449 0 0 0 32413 596 0 0 25 0 1 0 904198610 31240192 6957 4294967295 134512640 134716908 3221224576 3221222816 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7627 6957 1111 63 0 7564 0
vsize: 30508
[startup+340.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1439
Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 197793 0 0 0 33402 607 0 0 25 0 1 0 904198610 32215040 7029 4294967295 134512640 134716908 3221224576 3221221640 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7865 7029 1111 63 0 7802 0
vsize: 31460
[startup+350.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1439
Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 201866 0 0 0 34391 619 0 0 25 0 1 0 904198610 31739904 7002 4294967295 134512640 134716908 3221224576 3221220752 1074882610 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7749 7002 1111 63 0 7686 0
vsize: 30996
[startup+360.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1439
Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 205785 0 0 0 35377 633 0 0 25 0 1 0 904198610 31993856 7042 4294967295 134512640 134716908 3221224576 3221220736 1075095371 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7811 7048 1111 63 0 7748 0
vsize: 31244
[startup+370.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1439
Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 209834 0 0 0 36366 644 0 0 25 0 1 0 904198610 31760384 7020 4294967295 134512640 134716908 3221224576 3221221696 1074834346 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7754 7020 1111 63 0 7691 0
vsize: 31016
[startup+380.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1439
Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 214676 0 0 0 37353 658 0 0 25 0 1 0 904198610 31903744 7019 4294967295 134512640 134716908 3221224576 3221220460 1074788950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7789 7019 1111 63 0 7726 0
vsize: 31156
[startup+390.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1439
Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 220028 0 0 0 38337 674 0 0 25 0 1 0 904198610 32227328 7032 4294967295 134512640 134716908 3221224576 3221221640 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7868 7032 1111 63 0 7805 0
vsize: 31472
[startup+400.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1439
Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 226366 0 0 0 39319 692 0 0 25 0 1 0 904198610 31514624 6975 4294967295 134512640 134716908 3221224576 3221222828 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7694 6975 1111 63 0 7631 0
vsize: 30776
[startup+410.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1439
Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 231365 0 0 0 40305 707 0 0 25 0 1 0 904198610 32010240 7048 4294967295 134512640 134716908 3221224576 3221220588 1074788950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7815 7048 1111 63 0 7752 0
vsize: 31260
[startup+420.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1439
Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 236916 0 0 0 41289 723 0 0 25 0 1 0 904198610 31748096 7026 4294967295 134512640 134716908 3221224576 3221222780 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7751 7026 1111 63 0 7688 0
vsize: 31004
[startup+430.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1439
Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 243564 0 0 0 42271 742 0 0 25 0 1 0 904198610 32559104 7173 4294967295 134512640 134716908 3221224576 3221220460 1074788937 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7949 7173 1111 63 0 7886 0
vsize: 31796
[startup+440.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1439
Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 251117 0 0 0 43252 761 0 0 25 0 1 0 904198610 33239040 7392 4294967295 134512640 134716908 3221224576 3221222688 1074153786 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8115 7392 1111 63 0 8052 0
vsize: 32460
[startup+450.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1439
Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 259308 0 0 0 44231 782 0 0 25 0 1 0 904198610 33935360 7545 4294967295 134512640 134716908 3221224576 3221222876 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8285 7545 1111 63 0 8222 0
vsize: 33140
[startup+460.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1439
Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 267018 0 0 0 45212 802 0 0 25 0 1 0 904198610 35655680 7958 4294967295 134512640 134716908 3221224576 3221220640 1075084533 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8705 7958 1111 63 0 8642 0
vsize: 34820
[startup+470.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1439
Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 275397 0 0 0 46188 826 0 0 25 0 1 0 904198610 35540992 7993 4294967295 134512640 134716908 3221224576 3221222576 1074918599 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8677 7993 1111 63 0 8614 0
vsize: 34708
[startup+480.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1439
Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 283389 0 0 0 47168 846 0 0 25 0 1 0 904198610 36859904 8248 4294967295 134512640 134716908 3221224576 3221220848 1074961138 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8999 8248 1111 63 0 8936 0
vsize: 35996
[startup+490.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1439
Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 291123 0 0 0 48148 867 0 0 25 0 1 0 904198610 36851712 8327 4294967295 134512640 134716908 3221224576 3221222976 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8997 8327 1111 63 0 8934 0
vsize: 35988
[startup+500.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1439
Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 299667 0 0 0 49124 891 0 0 25 0 1 0 904198610 37580800 8505 4294967295 134512640 134716908 3221224576 3221223168 134539362 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9175 8505 1111 63 0 9112 0
vsize: 36700
[startup+510.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1439
Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 303449 0 0 0 50112 904 0 0 25 0 1 0 904198610 37511168 8488 4294967295 134512640 134716908 3221224576 3221222540 1077378310 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9158 8488 1111 63 0 9095 0
vsize: 36632
[startup+520.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1439
Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 307871 0 0 0 51099 917 0 0 25 0 1 0 904198610 37511168 8488 4294967295 134512640 134716908 3221224576 3221222688 1074867308 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9158 8488 1111 63 0 9095 0
vsize: 36632
[startup+530.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1439
Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 311971 0 0 0 52087 929 0 0 25 0 1 0 904198610 37511168 8488 4294967295 134512640 134716908 3221224576 3221222624 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9158 8488 1111 63 0 9095 0
vsize: 36632
[startup+540.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1439
Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 315320 0 0 0 53078 939 0 0 25 0 1 0 904198610 38395904 8637 4294967295 134512640 134716908 3221224576 3221220540 1074788143 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9374 8637 1111 63 0 9311 0
vsize: 37496
[startup+550.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1439
Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 319372 0 0 0 54065 952 0 0 25 0 1 0 904198610 37425152 8467 4294967295 134512640 134716908 3221224576 3221222828 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9137 8467 1111 63 0 9074 0
vsize: 36548
[startup+560.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1439
Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 322895 0 0 0 55056 962 0 0 25 0 1 0 904198610 38547456 8645 4294967295 134512640 134716908 3221224576 3221220816 1075115734 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9411 8645 1111 63 0 9348 0
vsize: 37644
[startup+570.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1439
Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 325820 0 0 0 56047 971 0 0 25 0 1 0 904198610 37515264 8489 4294967295 134512640 134716908 3221224576 3221222780 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9159 8489 1111 63 0 9096 0
vsize: 36636
[startup+580.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1439
Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 329446 0 0 0 57036 982 0 0 25 0 1 0 904198610 37425152 8467 4294967295 134512640 134716908 3221224576 3221222576 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9137 8467 1111 63 0 9074 0
vsize: 36548
[startup+590.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1439
Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 332925 0 0 0 58026 992 0 0 25 0 1 0 904198610 37425152 8468 4294967295 134512640 134716908 3221224576 3221222312 1077380592 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9137 8468 1111 63 0 9074 0
vsize: 36548
[startup+600.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1439
Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 336002 0 0 0 59017 1002 0 0 25 0 1 0 904198610 37425152 8468 4294967295 134512640 134716908 3221224576 3221222976 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9137 8468 1111 63 0 9074 0
vsize: 36548
[startup+610.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1439
Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 338814 0 0 0 60008 1011 0 0 25 0 1 0 904198610 37425152 8468 4294967295 134512640 134716908 3221224576 3221222728 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9137 8468 1111 63 0 9074 0
vsize: 36548
[startup+620.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1439
Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 341757 0 0 0 60997 1022 0 0 25 0 1 0 904198610 37924864 8515 4294967295 134512640 134716908 3221224576 3221220804 1075114984 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9259 8515 1111 63 0 9196 0
vsize: 37036
[startup+630.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1439
Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 344689 0 0 0 61988 1032 0 0 25 0 1 0 904198610 38174720 8503 4294967295 134512640 134716908 3221224576 3221220640 1075084533 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9320 8503 1111 63 0 9257 0
vsize: 37280
[startup+640.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1439
Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 347445 0 0 0 62979 1041 0 0 25 0 1 0 904198610 37425152 8468 4294967295 134512640 134716908 3221224576 3221222576 1074915833 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9137 8468 1111 63 0 9074 0
vsize: 36548
[startup+650.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1439
Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 350837 0 0 0 63969 1052 0 0 25 0 1 0 904198610 37425152 8468 4294967295 134512640 134716908 3221224576 3221222976 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9137 8468 1111 63 0 9074 0
vsize: 36548
[startup+660.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1439
Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 354058 0 0 0 64959 1062 0 0 25 0 1 0 904198610 38350848 8619 4294967295 134512640 134716908 3221224576 3221220460 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9363 8619 1111 63 0 9300 0
vsize: 37452
[startup+670.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1439
Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 357925 0 0 0 65947 1074 0 0 25 0 1 0 904198610 38379520 8541 4294967295 134512640 134716908 3221224576 3221220960 1075133410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9370 8541 1111 63 0 9307 0
vsize: 37480
[startup+680.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1439
Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 362207 0 0 0 66936 1086 0 0 25 0 1 0 904198610 38293504 8601 4294967295 134512640 134716908 3221224576 3221221648 1074867340 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9349 8601 1111 63 0 9286 0
vsize: 37396
[startup+690.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1439
Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 365515 0 0 0 67927 1095 0 0 25 0 1 0 904198610 37949440 8522 4294967295 134512640 134716908 3221224576 3221221648 1074867308 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9265 8522 1111 63 0 9202 0
vsize: 37060
[startup+700.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1439
Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 369056 0 0 0 68919 1104 0 0 25 0 1 0 904198610 37425152 8468 4294967295 134512640 134716908 3221224576 3221222756 1077378716 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9137 8468 1111 63 0 9074 0
vsize: 36548
[startup+710.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1439
Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 372324 0 0 0 69911 1113 0 0 25 0 1 0 904198610 37425152 8468 4294967295 134512640 134716908 3221224576 3221222876 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9137 8468 1111 63 0 9074 0
vsize: 36548
[startup+720.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1439
Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 376392 0 0 0 70900 1124 0 0 25 0 1 0 904198610 37625856 8506 4294967295 134512640 134716908 3221224576 3221222828 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9186 8506 1111 63 0 9123 0
vsize: 36744
[startup+730.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1439
Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 381792 0 0 0 71885 1139 0 0 25 0 1 0 904198610 38617088 8616 4294967295 134512640 134716908 3221224576 3221220452 1074788003 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9428 8616 1111 63 0 9365 0
vsize: 37712
[startup+740.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1439
Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 386612 0 0 0 72872 1152 0 0 25 0 1 0 904198610 38703104 8639 4294967295 134512640 134716908 3221224576 3221220784 1074815253 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9449 8639 1111 63 0 9386 0
vsize: 37796
[startup+750.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1439
Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 391158 0 0 0 73859 1165 0 0 25 0 1 0 904198610 38539264 8572 4294967295 134512640 134716908 3221224576 3221221616 1075971414 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9409 8577 1111 63 0 9346 0
vsize: 37636
[startup+760.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1439
Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 395446 0 0 0 74847 1179 0 0 25 0 1 0 904198610 38666240 8610 4294967295 134512640 134716908 3221224576 3221220848 1074961146 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9440 8610 1111 63 0 9377 0
vsize: 37760
[startup+770.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1439
Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 399902 0 0 0 75836 1189 0 0 25 0 1 0 904198610 37617664 8507 4294967295 134512640 134716908 3221224576 3221222576 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9184 8507 1111 63 0 9121 0
vsize: 36736
[startup+780.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1439
Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 403913 0 0 0 76824 1202 0 0 25 0 1 0 904198610 37527552 8494 4294967295 134512640 134716908 3221224576 3221222828 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9162 8494 1111 63 0 9099 0
vsize: 36648
[startup+790.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1439
Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 408316 0 0 0 77813 1213 0 0 25 0 1 0 904198610 38080512 8508 4294967295 134512640 134716908 3221224576 3221222144 1075972440 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9297 8514 1111 63 0 9234 0
vsize: 37188
[startup+800.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1439
Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 412610 0 0 0 78800 1227 0 0 25 0 1 0 904198610 38735872 8731 4294967295 134512640 134716908 3221224576 3221220848 1074961207 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9457 8731 1111 63 0 9394 0
vsize: 37828
[startup+810.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1439
Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 418116 0 0 0 79785 1242 0 0 25 0 1 0 904198610 38834176 8773 4294967295 134512640 134716908 3221224576 3221220736 1075095356 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9481 8773 1111 63 0 9418 0
vsize: 37924
[startup+820.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1439
Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 423233 0 0 0 80770 1257 0 0 25 0 1 0 904198610 37855232 8542 4294967295 134512640 134716908 3221224576 3221222876 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9242 8542 1111 63 0 9179 0
vsize: 36968
[startup+830.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1439
Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 428908 0 0 0 81755 1272 0 0 25 0 1 0 904198610 37711872 8507 4294967295 134512640 134716908 3221224576 3221222728 1074950114 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9207 8507 1111 63 0 9144 0
vsize: 36828
[startup+840.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1439
Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 433851 0 0 0 82742 1285 0 0 25 0 1 0 904198610 38768640 8676 4294967295 134512640 134716908 3221224576 3221221616 1075860483 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9465 8676 1111 63 0 9402 0
vsize: 37860
[startup+850.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1439
Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 439490 0 0 0 83728 1300 0 0 25 0 1 0 904198610 37777408 8523 4294967295 134512640 134716908 3221224576 3221221680 1074138729 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9223 8523 1111 63 0 9160 0
vsize: 36892
[startup+860.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1439
Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 445887 0 0 0 84712 1317 0 0 25 0 1 0 904198610 38883328 8730 4294967295 134512640 134716908 3221224576 3221221040 1075602782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9493 8730 1111 63 0 9430 0
vsize: 37972
[startup+870.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1439
Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 451575 0 0 0 85696 1333 0 0 25 0 1 0 904198610 37830656 8536 4294967295 134512640 134716908 3221224576 3221222828 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9236 8536 1111 63 0 9173 0
vsize: 36944
[startup+880.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1439
Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 457836 0 0 0 86680 1349 0 0 25 0 1 0 904198610 37785600 8525 4294967295 134512640 134716908 3221224576 3221222828 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9225 8525 1111 63 0 9162 0
vsize: 36900
[startup+890.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1439
Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 464229 0 0 0 87665 1364 0 0 25 0 1 0 904198610 37937152 8561 4294967295 134512640 134716908 3221224576 3221222576 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9262 8561 1111 63 0 9199 0
vsize: 37048
[startup+900.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1439
Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 469772 0 0 0 88653 1377 0 0 25 0 1 0 904198610 37425152 8469 4294967295 134512640 134716908 3221224576 3221222792 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9137 8469 1111 63 0 9074 0
vsize: 36548
[startup+910.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1439
Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 475618 0 0 0 89639 1391 0 0 25 0 1 0 904198610 37425152 8469 4294967295 134512640 134716908 3221224576 3221222296 1077380592 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9137 8469 1111 63 0 9074 0
vsize: 36548
[startup+920.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1439
Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 481934 0 0 0 90624 1406 0 0 25 0 1 0 904198610 38924288 8716 4294967295 134512640 134716908 3221224576 3221220752 1074882601 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9503 8716 1111 63 0 9440 0
vsize: 38012
[startup+930.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1439
Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 487904 0 0 0 91611 1420 0 0 25 0 1 0 904198610 39104512 8746 4294967295 134512640 134716908 3221224576 3221221648 1074867320 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9547 8746 1111 63 0 9484 0
vsize: 38188
[startup+940.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1439
Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 493374 0 0 0 92599 1432 0 0 25 0 1 0 904198610 37425152 8469 4294967295 134512640 134716908 3221224576 3221222408 1077380592 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9137 8469 1111 63 0 9074 0
vsize: 36548
[startup+950.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1439
Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 497650 0 0 0 93589 1443 0 0 25 0 1 0 904198610 38866944 8752 4294967295 134512640 134716908 3221224576 3221220460 1074788953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9489 8752 1111 63 0 9426 0
vsize: 37956
[startup+960.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1439
Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 503664 0 0 0 94576 1456 0 0 25 0 1 0 904198610 37842944 8539 4294967295 134512640 134716908 3221224576 3221222828 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9239 8539 1111 63 0 9176 0
vsize: 36956
[startup+970.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1439
Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 509238 0 0 0 95562 1470 0 0 25 0 1 0 904198610 39096320 8802 4294967295 134512640 134716908 3221224576 3221220736 1075093361 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9545 8802 1111 63 0 9482 0
vsize: 38180
[startup+980.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1439
Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 514750 0 0 0 96549 1483 0 0 25 0 1 0 904198610 38957056 8780 4294967295 134512640 134716908 3221224576 3221220676 1075964214 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9511 8780 1111 63 0 9448 0
vsize: 38044
[startup+990.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1439
Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 520485 0 0 0 97534 1498 0 0 25 0 1 0 904198610 38162432 8618 4294967295 134512640 134716908 3221224576 3221222688 1074867308 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9317 8618 1111 63 0 9254 0
vsize: 37268
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1439
Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 526913 0 0 0 98519 1514 0 0 25 0 1 0 904198610 37425152 8469 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9137 8469 1111 63 0 9074 0
vsize: 36548
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1439
Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 531379 0 0 0 99508 1525 0 0 25 0 1 0 904198610 37842944 8571 4294967295 134512640 134716908 3221224576 3221222904 1077378064 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9239 8571 1111 63 0 9176 0
vsize: 36956
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1439
Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 536475 0 0 0 100497 1537 0 0 25 0 1 0 904198610 38162432 8618 4294967295 134512640 134716908 3221224576 3221222688 1074867340 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9317 8618 1111 63 0 9254 0
vsize: 37268
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1439
Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 541545 0 0 0 101484 1550 0 0 25 0 1 0 904198610 37879808 8567 4294967295 134512640 134716908 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9248 8567 1111 63 0 9185 0
vsize: 36992
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1439
Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 546927 0 0 0 102473 1561 0 0 25 0 1 0 904198610 39108608 8683 4294967295 134512640 134716908 3221224576 3221220784 1074815265 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9548 8683 1111 63 0 9485 0
vsize: 38192
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1439
Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 551131 0 0 0 103463 1571 0 0 25 0 1 0 904198610 38195200 8625 4294967295 134512640 134716908 3221224576 3221222416 1075798484 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9325 8625 1111 63 0 9262 0
vsize: 37300
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1439
Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 555500 0 0 0 104452 1582 0 0 25 0 1 0 904198610 37761024 8519 4294967295 134512640 134716908 3221224576 3221222304 1075828447 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9219 8519 1111 63 0 9156 0
vsize: 36876
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1439
Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 560900 0 0 0 105439 1596 0 0 25 0 1 0 904198610 38121472 8607 4294967295 134512640 134716908 3221224576 3221222688 1074867337 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9307 8607 1111 63 0 9244 0
vsize: 37228
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1439
Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 564885 0 0 0 106429 1606 0 0 25 0 1 0 904198610 37425152 8469 4294967295 134512640 134716908 3221224576 3221222360 1077380592 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9137 8469 1111 63 0 9074 0
vsize: 36548
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1439
Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 570168 0 0 0 107417 1618 0 0 25 0 1 0 904198610 37642240 8522 4294967295 134512640 134716908 3221224576 3221222624 1077814665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9190 8522 1111 63 0 9127 0
vsize: 36760
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1439
Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 575399 0 0 0 108403 1633 0 0 25 0 1 0 904198610 38506496 8610 4294967295 134512640 134716908 3221224576 3221220676 1075964296 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9401 8610 1111 63 0 9338 0
vsize: 37604
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1439
Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 580327 0 0 0 109389 1646 0 0 25 0 1 0 904198610 38887424 8733 4294967295 134512640 134716908 3221224576 3221220460 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9494 8733 1111 63 0 9431 0
vsize: 37976
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1439
Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 585854 0 0 0 110377 1659 0 0 25 0 1 0 904198610 38944768 8769 4294967295 134512640 134716908 3221224576 3221221104 1075397195 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9508 8769 1111 63 0 9445 0
vsize: 38032
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1439
Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 591585 0 0 0 111364 1672 0 0 25 0 1 0 904198610 38944768 8782 4294967295 134512640 134716908 3221224576 3221220804 1075115049 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9508 8782 1111 63 0 9445 0
vsize: 38032
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1439
Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 596383 0 0 0 112353 1684 0 0 25 0 1 0 904198610 38961152 8753 4294967295 134512640 134716908 3221224576 3221220804 1075115039 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9512 8753 1111 63 0 9449 0
vsize: 38048
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1439
Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 600467 0 0 0 113342 1695 0 0 25 0 1 0 904198610 38608896 8640 4294967295 134512640 134716908 3221224576 3221220752 1074882616 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9426 8640 1111 63 0 9363 0
vsize: 37704
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1439
Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 604106 0 0 0 114334 1704 0 0 25 0 1 0 904198610 37879808 8548 4294967295 134512640 134716908 3221224576 3221222840 134543187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9248 8548 1111 63 0 9185 0
vsize: 36992
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1439
Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 607716 0 0 0 115325 1713 0 0 25 0 1 0 904198610 38076416 8596 4294967295 134512640 134716908 3221224576 3221222728 1074950114 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9296 8596 1111 63 0 9233 0
vsize: 37184
[startup+1175.64 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 1439
Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 607716 0 0 0 115325 1713 0 0 25 0 1 0 904198610 38076416 8596 4294967295 134512640 134716908 3221224576 3221222728 1074950114 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9296 8596 1111 63 0 9233 0
vsize: 0

Child status: 10
Real time (s): 1175.64
CPU time (s): 1175.99
CPU user time (s): 1158.77
CPU system time (s): 17.2134
CPU usage (%): 100.03
Max. virtual memory (Kb): 38192
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	163
#### END VERIFIER DATA ####