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/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-2.opb
MD5SUM	25130921f4384cc034832ca1cd52ec48
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-30
Optimality of the best value was proved	NO
Number of terms in the objective function	450
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	450
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	450
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.05584
Number of variables	450
Total number of constraints	17874
Number of constraints which are clauses	17874
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	2
Trace number 24713

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-11 23:54:28 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2828 boxname=wulflinc31 idbench=315 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  25130921f4384cc034832ca1cd52ec48  /oldhome/oroussel/tmp/wulflinc31/normalized-frb30-15-2.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-frb30-15-2.opb
IDLAUNCH: 2828
/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:        907748 kB
Buffers:         20128 kB
Cached:          85580 kB
SwapCached:       1936 kB
Active:          57044 kB
Inactive:        51820 kB
HighTotal:      131008 kB
HighFree:        44604 kB
LowTotal:       903652 kB
LowFree:        863144 kB
SwapTotal:     2097892 kB
SwapFree:      2095224 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5352 kB
Slab:            12432 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-12 00:14:07 (client local time) WITH STATUS 10 IN 1178.25 SECONDS
stats: 2828 0 1178.25 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 450 variables and 17874 constraints.
c After prepocess the problem consists of 450 variables and 13695 constraints.
c preprocess terminated 89.647 s
c Initial Lower Bound: -49
c Lower Bound Elapsed time: 213.431
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: -2 @ 303.306
c NEW SOLUTION FOUND: -3 @ 303.333
c NEW SOLUTION FOUND: -4 @ 303.343
c NEW SOLUTION FOUND: -5 @ 303.367
c NEW SOLUTION FOUND: -6 @ 303.377
c NEW SOLUTION FOUND: -7 @ 303.389
c NEW SOLUTION FOUND: -8 @ 303.436
c NEW SOLUTION FOUND: -9 @ 303.46
c NEW SOLUTION FOUND: -10 @ 303.632
c NEW SOLUTION FOUND: -11 @ 304.079
c NEW SOLUTION FOUND: -12 @ 305.104
c NEW SOLUTION FOUND: -13 @ 305.792
c NEW SOLUTION FOUND: -14 @ 306.447
c NEW SOLUTION FOUND: -15 @ 308.945
c NEW SOLUTION FOUND: -16 @ 315.779
c NEW SOLUTION FOUND: -17 @ 330.518
c NEW SOLUTION FOUND: -18 @ 336.999
s SATISFIABLE
v -C450 -C449 -C448 -C447 C446 -C445 -C444 -C443 -C442 -C441 -C440 -C439 -C438 -C437 -C436 -C435 -C434 C433 -C432 -C431 -C430 -C429 -C428 -C427 -C426 -C425 -C424 -C423 -C422 -C421 -C420 -C419 -C418 -C417 -C416 -C415 -C414 -C413 -C412 -C411 -C410 -C409 -C408 -C407 C406 -C405 -C404 -C403 -C402 -C401 -C400 -C399 -C398 -C397 -C396 -C395 -C394 -C393 -C392 -C391 -C390 -C389 -C388 -C387 -C386 C385 -C384 -C383 -C382 -C381 -C380 -C379 -C378 -C377 -C376 -C375 -C374 -C373 -C372 -C371 -C370 -C369 -C368 -C367 -C366 -C365 -C364 C363 -C362 -C361 -C360 -C359 -C358 -C357 -C356 -C355 -C354 -C353 -C352 -C351 -C350 -C349 -C348 -C347 -C346 -C345 -C344 -C343 -C342 -C341 -C340 C339 -C338 -C337 -C336 -C335 -C334 -C333 -C332 -C331 -C330 -C329 -C328 -C327 -C326 -C325 -C324 -C323 C322 -C321 -C320 -C319 -C318 -C317 -C316 -C315 -C314 -C313 -C312 C311 -C310 -C309 -C308 -C307 -C306 -C305 -C304 -C303 -C302 -C301 -C300 -C299 -C298 -C297 -C296 C295 -C294 -C293 -C292 -C291 -C290 -C289 -C288 -C287 -C286 -C285 -C284 -C283 -C282 -C281 -C280 -C279 -C278 -C277 -C276 -C275 C274 -C273 -C272 -C271 -C270 -C269 -C268 -C267 -C266 C265 -C264 -C263 -C262 -C261 -C260 -C259 -C258 -C257 -C256 -C255 -C254 -C253 -C252 -C251 -C250 -C249 -C248 -C247 -C246 -C245 -C244 -C243 -C242 -C241 -C240 -C239 -C238 -C237 -C236 -C235 -C234 -C233 -C232 -C231 -C230 C229 -C228 -C227 -C226 -C225 -C224 -C223 C222 -C221 -C220 -C219 -C218 -C217 -C216 -C215 -C214 -C213 -C212 -C211 -C210 -C209 -C208 -C207 -C206 -C205 -C204 -C203 -C202 -C201 -C200 -C199 -C198 -C197 -C196 -C195 -C194 -C193 -C192 -C191 -C190 -C189 -C188 -C187 -C186 -C185 -C184 -C183 -C182 -C181 -C180 C179 -C178 -C177 -C176 -C175 -C174 -C173 -C172 -C171 -C170 -C169 -C168 -C167 -C166 -C165 -C164 -C163 -C162 -C161 C160 -C159 -C158 -C157 -C156 -C155 -C154 -C153 -C152 -C151 -C150 -C149 -C148 -C147 -C146 -C145 -C144 -C143 -C142 -C141 -C140 -C139 -C138 -C137 -C136 -C135 -C134 -C133 -C132 -C131 -C130 -C129 -C128 -C127 -C126 -C125 -C124 -C123 -C122 -C121 -C120 -C119 -C118 -C117 -C116 -C115 -C114 -C113 -C112 -C111 -C110 -C109 -C108 -C107 -C106 -C105 -C104 -C103 -C102 -C101 -C100 -C99 -C98 -C97 -C96 -C95 -C94 -C93 -C92 -C91 -C90 -C89 -C88 -C87 -C86 -C85 -C84 -C83 -C82 -C81 -C80 -C79 -C78 -C77 -C76 -C75 -C74 -C73 -C72 -C71 -C70 -C69 -C68 -C67 -C66 -C65 -C64 -C63 -C62 -C61 -C60 -C59 -C58 -C57 -C56 -C55 -C54 -C53 -C52 -C51 C50 -C49 -C48 -C47 -C46 -C45 C44 -C43 -C42 -C41 -C40 -C39 -C38 -C37 -C36 -C35 -C34 -C33 -C32 -C31 -C30 C29 -C28 -C27 -C26 -C25 -C24 -C23 -C22 -C21 -C20 -C19 -C18 -C17 -C16 -C15 -C14 -C13 -C12 -C11 -C10 -C9 -C8 -C7 -C6 -C5 -C4 -C3 -C2 -C1 
c Exit Code: 10
c Total time: 1178.21 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.92 0.98 0.95 2/55 4816
Raw data (stat): 4816 (runsolver) R 4815 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 722003636 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.0004 s]
Raw data (loadavg): 0.93 0.98 0.95 2/55 4816
Raw data (stat): 4816 (bsolo_lpr_cuts) R 4815 7876 7672 0 -1 0 6241 0 0 0 976 20 0 0 25 0 1 0 722003636 27774976 5951 4294967295 134512640 134714508 3221221776 3221220256 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6781 5951 1111 63 0 6718 0
vsize: 27124
[startup+20.0013 s]
Raw data (loadavg): 0.94 0.98 0.95 2/55 4816
Raw data (stat): 4816 (bsolo_lpr_cuts) R 4815 7876 7672 0 -1 0 6241 0 0 0 1975 20 0 0 25 0 1 0 722003636 27774976 5951 4294967295 134512640 134714508 3221221776 3221220184 134543600 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6781 5951 1111 63 0 6718 0
vsize: 27124
[startup+30.0022 s]
Raw data (loadavg): 0.95 0.98 0.95 2/55 4816
Raw data (stat): 4816 (bsolo_lpr_cuts) R 4815 7876 7672 0 -1 0 6241 0 0 0 2975 21 0 0 25 0 1 0 722003636 27774976 5951 4294967295 134512640 134714508 3221221776 3221220256 134542350 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6781 5951 1111 63 0 6718 0
vsize: 27124
[startup+40.0032 s]
Raw data (loadavg): 0.96 0.98 0.95 2/55 4816
Raw data (stat): 4816 (bsolo_lpr_cuts) R 4815 7876 7672 0 -1 0 6241 0 0 0 3975 21 0 0 25 0 1 0 722003636 27774976 5951 4294967295 134512640 134714508 3221221776 3221220240 134536700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6781 5951 1111 63 0 6718 0
vsize: 27124
[startup+50.0041 s]
Raw data (loadavg): 0.96 0.98 0.95 2/55 4816
Raw data (stat): 4816 (bsolo_lpr_cuts) R 4815 7876 7672 0 -1 0 6241 0 0 0 4975 21 0 0 25 0 1 0 722003636 27774976 5951 4294967295 134512640 134714508 3221221776 3221220160 134542350 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6781 5951 1111 63 0 6718 0
vsize: 27124
[startup+60.004 s]
Raw data (loadavg): 0.97 0.98 0.95 2/55 4816
Raw data (stat): 4816 (bsolo_lpr_cuts) R 4815 7876 7672 0 -1 0 6241 0 0 0 5974 22 0 0 25 0 1 0 722003636 27774976 5951 4294967295 134512640 134714508 3221221776 3221220436 134627197 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6781 5951 1111 63 0 6718 0
vsize: 27124
[startup+70.0049 s]
Raw data (loadavg): 0.97 0.98 0.95 2/55 4816
Raw data (stat): 4816 (bsolo_lpr_cuts) R 4815 7876 7672 0 -1 0 6325 0 0 0 6974 22 0 0 25 0 1 0 722003636 28180480 6035 4294967295 134512640 134714508 3221221776 3221220440 134627195 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6880 6035 1111 63 0 6817 0
vsize: 27520
[startup+80.0058 s]
Raw data (loadavg): 0.98 0.98 0.95 2/55 4816
Raw data (stat): 4816 (bsolo_lpr_cuts) R 4815 7876 7672 0 -1 0 6476 0 0 0 7973 23 0 0 25 0 1 0 722003636 28856320 6186 4294967295 134512640 134714508 3221221776 3221220448 134627187 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7045 6186 1111 63 0 6982 0
vsize: 28180
[startup+90.0068 s]
Raw data (loadavg): 0.98 0.98 0.95 2/55 4816
Raw data (stat): 4816 (bsolo_lpr_cuts) R 4815 7876 7672 0 -1 0 6928 0 0 0 8972 25 0 0 25 0 1 0 722003636 30785536 6638 4294967295 134512640 134714508 3221221776 3221220080 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7516 6638 1111 63 0 7453 0
vsize: 30064
[startup+100.007 s]
Raw data (loadavg): 0.98 0.98 0.95 2/55 4816
Raw data (stat): 4816 (bsolo_lpr_cuts) R 4815 7876 7672 0 -1 0 7226 0 0 0 9970 27 0 0 25 0 1 0 722003636 31821824 6929 4294967295 134512640 134714508 3221221776 3221220080 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7769 6929 1111 63 0 7706 0
vsize: 31076
[startup+110.008 s]
Raw data (loadavg): 0.98 0.98 0.95 2/55 4816
Raw data (stat): 4816 (bsolo_lpr_cuts) R 4815 7876 7672 0 -1 0 7265 0 0 0 10968 29 0 0 25 0 1 0 722003636 31903744 6951 4294967295 134512640 134714508 3221221776 3221220080 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7789 6951 1111 63 0 7726 0
vsize: 31156
[startup+120.009 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 4816
Raw data (stat): 4816 (bsolo_lpr_cuts) R 4815 7876 7672 0 -1 0 7341 0 0 0 11966 31 0 0 25 0 1 0 722003636 32206848 7027 4294967295 134512640 134714508 3221221776 3221220032 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7863 7027 1111 63 0 7800 0
vsize: 31452
[startup+130.009 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 4816
Raw data (stat): 4816 (bsolo_lpr_cuts) R 4815 7876 7672 0 -1 0 10423 0 0 0 12960 37 0 0 25 0 1 0 722003636 41709568 8842 4294967295 134512640 134714508 3221221776 3221217968 1074961267 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10183 8842 1111 63 0 10120 0
vsize: 40732
[startup+140.009 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 4816
Raw data (stat): 4816 (bsolo_lpr_cuts) R 4815 7876 7672 0 -1 0 10495 0 0 0 13959 38 0 0 25 0 1 0 722003636 41922560 8914 4294967295 134512640 134714508 3221221776 3221217924 1075115046 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10235 8914 1111 63 0 10172 0
vsize: 40940
[startup+150.01 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 4816
Raw data (stat): 4816 (bsolo_lpr_cuts) R 4815 7876 7672 0 -1 0 10563 0 0 0 14959 39 0 0 25 0 1 0 722003636 42135552 8982 4294967295 134512640 134714508 3221221776 3221217840 1074969455 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10287 8982 1111 63 0 10224 0
vsize: 41148
[startup+160.01 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 4816
Raw data (stat): 4816 (bsolo_lpr_cuts) R 4815 7876 7672 0 -1 0 10609 0 0 0 15958 39 0 0 25 0 1 0 722003636 42364928 9028 4294967295 134512640 134714508 3221221776 3221217904 1074815265 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10343 9028 1111 63 0 10280 0
vsize: 41372
[startup+170.011 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 4816
Raw data (stat): 4816 (bsolo_lpr_cuts) R 4815 7876 7672 0 -1 0 10635 0 0 0 16959 39 0 0 25 0 1 0 722003636 42364928 9054 4294967295 134512640 134714508 3221221776 3221217968 1074961301 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10343 9054 1111 63 0 10280 0
vsize: 41372
[startup+180.011 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 4816
Raw data (stat): 4816 (bsolo_lpr_cuts) R 4815 7876 7672 0 -1 0 10636 0 0 0 17958 40 0 0 25 0 1 0 722003636 42364928 9055 4294967295 134512640 134714508 3221221776 3221217856 1074883509 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10343 9055 1111 63 0 10280 0
vsize: 41372
[startup+190.013 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 4816
Raw data (stat): 4816 (bsolo_lpr_cuts) R 4815 7876 7672 0 -1 0 10665 0 0 0 18958 40 0 0 25 0 1 0 722003636 42598400 9082 4294967295 134512640 134714508 3221221776 3221217824 1075112103 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10400 9082 1111 63 0 10337 0
vsize: 41600
[startup+200.013 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 4816
Raw data (stat): 4816 (bsolo_lpr_cuts) R 4815 7876 7672 0 -1 0 10737 0 0 0 19958 40 0 0 25 0 1 0 722003636 42856448 9154 4294967295 134512640 134714508 3221221776 3221218240 1075088563 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10463 9154 1111 63 0 10400 0
vsize: 41852
[startup+210.013 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 4816
Raw data (stat): 4816 (bsolo_lpr_cuts) R 4815 7876 7672 0 -1 0 10846 0 0 0 20957 41 0 0 25 0 1 0 722003636 43397120 9263 4294967295 134512640 134714508 3221221776 3221218224 1075397211 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10595 9263 1111 63 0 10532 0
vsize: 42380
[startup+220.014 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 4816
Raw data (stat): 4816 (bsolo_lpr_cuts) R 4815 7876 7672 0 -1 0 10966 0 0 0 21957 41 0 0 25 0 1 0 722003636 43991040 9383 4294967295 134512640 134714508 3221221776 3221218240 1075088563 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10740 9383 1111 63 0 10677 0
vsize: 42960
[startup+230.014 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 4816
Raw data (stat): 4816 (bsolo_lpr_cuts) R 4815 7876 7672 0 -1 0 10971 0 0 0 22957 41 0 0 25 0 1 0 722003636 43991040 9388 4294967295 134512640 134714508 3221221776 3221217580 1074788959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10740 9388 1111 63 0 10677 0
vsize: 42960
[startup+240.014 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 4816
Raw data (stat): 4816 (bsolo_lpr_cuts) R 4815 7876 7672 0 -1 0 11025 0 0 0 23957 42 0 0 25 0 1 0 722003636 44314624 9442 4294967295 134512640 134714508 3221221776 3221217936 1075115709 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10819 9442 1111 63 0 10756 0
vsize: 43276
[startup+250.014 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 4816
Raw data (stat): 4816 (bsolo_lpr_cuts) R 4815 7876 7672 0 -1 0 11076 0 0 0 24957 42 0 0 25 0 1 0 722003636 44314624 9493 4294967295 134512640 134714508 3221221776 3221217580 1074788964 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10819 9493 1111 63 0 10756 0
vsize: 43276
[startup+260.015 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 4816
Raw data (stat): 4816 (bsolo_lpr_cuts) R 4815 7876 7672 0 -1 0 11077 0 0 0 25956 42 0 0 25 0 1 0 722003636 44314624 9494 4294967295 134512640 134714508 3221221776 3221217796 1075964218 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10819 9494 1111 63 0 10756 0
vsize: 43276
[startup+270.016 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 4816
Raw data (stat): 4816 (bsolo_lpr_cuts) R 4815 7876 7672 0 -1 0 11078 0 0 0 26956 43 0 0 25 0 1 0 722003636 44314624 9495 4294967295 134512640 134714508 3221221776 3221217840 1074969458 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10819 9495 1111 63 0 10756 0
vsize: 43276
[startup+280.016 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 4816
Raw data (stat): 4816 (bsolo_lpr_cuts) R 4815 7876 7672 0 -1 0 11079 0 0 0 27956 43 0 0 25 0 1 0 722003636 44314624 9496 4294967295 134512640 134714508 3221221776 3221217968 1074960912 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10819 9496 1111 63 0 10756 0
vsize: 43276
[startup+290.015 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 4816
Raw data (stat): 4816 (bsolo_lpr_cuts) R 4815 7876 7672 0 -1 0 11079 0 0 0 28956 44 0 0 25 0 1 0 722003636 44314624 9496 4294967295 134512640 134714508 3221221776 3221217968 1074960771 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10819 9496 1111 63 0 10756 0
vsize: 43276
[startup+300.015 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 4816
Raw data (stat): 4816 (bsolo_lpr_cuts) R 4815 7876 7672 0 -1 0 14872 0 0 0 29946 53 0 0 25 0 1 0 722003636 35823616 7981 4294967295 134512640 134714508 3221221776 3221219800 1075964771 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8746 7981 1111 63 0 8683 0
vsize: 34984
[startup+310.015 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 4816
Raw data (stat): 4816 (bsolo_lpr_cuts) R 4815 7876 7672 0 -1 0 31479 0 0 0 30901 98 0 0 25 0 1 0 722003636 32997376 7345 4294967295 134512640 134714508 3221221776 3221220152 1077410279 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8056 7345 1111 63 0 7993 0
vsize: 32224
[startup+320.016 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 4816
Raw data (stat): 4816 (bsolo_lpr_cuts) R 4815 7876 7672 0 -1 0 39867 0 0 0 31877 123 0 0 25 0 1 0 722003636 43134976 8624 4294967295 134512640 134714508 3221221776 3221218216 1077410205 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10531 8624 1111 63 0 10468 0
vsize: 42124
[startup+330.017 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 4816
Raw data (stat): 4816 (bsolo_lpr_cuts) R 4815 7876 7672 0 -1 0 54539 0 0 0 32835 165 0 0 25 0 1 0 722003636 32997376 7345 4294967295 134512640 134714508 3221221776 3221220088 1074138237 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8056 7345 1111 63 0 7993 0
vsize: 32224
[startup+340.018 s]
Raw data (loadavg): 0.99 0.98 0.95 3/58 4854
Raw data (stat): 4816 (bsolo_lpr_cuts) R 4815 7876 7672 0 -1 0 69019 0 0 0 33785 207 0 0 25 0 1 0 722003636 43130880 7363 4294967295 134512640 134714508 3221221776 3221218928 1075969874 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10530 7368 1111 63 0 10467 0
vsize: 42120
[startup+350.195 s]
Raw data (loadavg): 1.15 1.02 0.96 4/60 4868
Raw data (stat): 4816 (bsolo_lpr_cuts) R 4815 7876 7672 0 -1 0 85436 0 0 0 34756 254 0 0 25 0 1 0 722003636 33009664 7353 4294967295 134512640 134714508 3221221776 3221220160 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8059 7353 1111 63 0 7996 0
vsize: 32236
[startup+360.196 s]
Raw data (loadavg): 1.20 1.03 0.97 2/55 4869
Raw data (stat): 4816 (bsolo_lpr_cuts) R 4815 7876 7672 0 -1 0 96626 0 0 0 35726 285 0 0 25 0 1 0 722003636 33013760 7358 4294967295 134512640 134714508 3221221776 3221220160 1074153815 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8060 7358 1111 63 0 7997 0
vsize: 32240
[startup+370.196 s]
Raw data (loadavg): 1.17 1.03 0.97 2/55 4869
Raw data (stat): 4816 (bsolo_lpr_cuts) R 4815 7876 7672 0 -1 0 113021 0 0 0 36679 332 0 0 25 0 1 0 722003636 33013760 7358 4294967295 134512640 134714508 3221221776 3221220176 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8060 7358 1111 63 0 7997 0
vsize: 32240
[startup+380.196 s]
Raw data (loadavg): 1.14 1.03 0.97 2/55 4869
Raw data (stat): 4816 (bsolo_lpr_cuts) R 4815 7876 7672 0 -1 0 123058 0 0 0 37651 360 0 0 25 0 1 0 722003636 33005568 7356 4294967295 134512640 134714508 3221221776 3221220176 1074153648 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8058 7356 1111 63 0 7995 0
vsize: 32232
[startup+390.196 s]
Raw data (loadavg): 1.12 1.03 0.97 2/55 4869
Raw data (stat): 4816 (bsolo_lpr_cuts) R 4815 7876 7672 0 -1 0 132957 0 0 0 38624 387 0 0 25 0 1 0 722003636 33026048 7361 4294967295 134512640 134714508 3221221776 3221220176 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8063 7361 1111 63 0 8000 0
vsize: 32252
[startup+400.197 s]
Raw data (loadavg): 1.10 1.03 0.97 2/55 4869
Raw data (stat): 4816 (bsolo_lpr_cuts) R 4815 7876 7672 0 -1 0 144375 0 0 0 39593 418 0 0 25 0 1 0 722003636 33017856 7359 4294967295 134512640 134714508 3221221776 3221220160 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8061 7359 1111 63 0 7998 0
vsize: 32244
[startup+410.196 s]
Raw data (loadavg): 1.08 1.03 0.97 2/55 4869
Raw data (stat): 4816 (bsolo_lpr_cuts) R 4815 7876 7672 0 -1 0 154371 0 0 0 40565 446 0 0 25 0 1 0 722003636 43143168 8665 4294967295 134512640 134714508 3221221776 3221217808 1074790226 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10533 8665 1111 63 0 10470 0
vsize: 42132
[startup+420.197 s]
Raw data (loadavg): 1.07 1.02 0.97 2/55 4871
Raw data (stat): 4816 (bsolo_lpr_cuts) R 4815 7876 7672 0 -1 0 163190 0 0 0 41541 470 0 0 25 0 1 0 722003636 33017856 7359 4294967295 134512640 134714508 3221221776 3221220176 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8061 7359 1111 63 0 7998 0
vsize: 32244
[startup+430.198 s]
Raw data (loadavg): 1.06 1.02 0.97 2/55 4871
Raw data (stat): 4816 (bsolo_lpr_cuts) R 4815 7876 7672 0 -1 0 174585 0 0 0 42511 501 0 0 25 0 1 0 722003636 32997376 7354 4294967295 134512640 134714508 3221221776 3221219500 1077404742 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8056 7354 1111 63 0 7993 0
vsize: 32224
[startup+440.197 s]
Raw data (loadavg): 1.05 1.02 0.97 2/55 4871
Raw data (stat): 4816 (bsolo_lpr_cuts) R 4815 7876 7672 0 -1 0 184592 0 0 0 43482 530 0 0 25 0 1 0 722003636 32993280 7353 4294967295 134512640 134714508 3221221776 3221220176 1074153054 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8055 7353 1111 63 0 7992 0
vsize: 32220
[startup+450.198 s]
Raw data (loadavg): 1.04 1.02 0.97 2/55 4871
Raw data (stat): 4816 (bsolo_lpr_cuts) R 4815 7876 7672 0 -1 0 197061 0 0 0 44447 565 0 0 25 0 1 0 722003636 32993280 7353 4294967295 134512640 134714508 3221221776 3221220088 1074138155 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8055 7353 1111 63 0 7992 0
vsize: 32220
[startup+460.197 s]
Raw data (loadavg): 1.04 1.02 0.97 2/55 4871
Raw data (stat): 4816 (bsolo_lpr_cuts) R 4815 7876 7672 0 -1 0 206925 0 0 0 45420 592 0 0 25 0 1 0 722003636 33001472 7363 4294967295 134512640 134714508 3221221776 3221220160 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8057 7363 1111 63 0 7994 0
vsize: 32228
[startup+470.198 s]
Raw data (loadavg): 1.03 1.02 0.97 2/55 4871
Raw data (stat): 4816 (bsolo_lpr_cuts) R 4815 7876 7672 0 -1 0 218279 0 0 0 46390 622 0 0 25 0 1 0 722003636 43298816 7480 4294967295 134512640 134714508 3221221776 3221218432 1075967692 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10571 7480 1111 63 0 10508 0
vsize: 42284
[startup+480.198 s]
Raw data (loadavg): 1.02 1.02 0.97 2/55 4871
Raw data (stat): 4816 (bsolo_lpr_cuts) R 4815 7876 7672 0 -1 0 226841 0 0 0 47367 645 0 0 25 0 1 0 722003636 33005568 7364 4294967295 134512640 134714508 3221221776 3221220176 1074153815 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8058 7364 1111 63 0 7995 0
vsize: 32232
[startup+490.198 s]
Raw data (loadavg): 1.02 1.02 0.97 2/55 4871
Raw data (stat): 4816 (bsolo_lpr_cuts) R 4815 7876 7672 0 -1 0 239266 0 0 0 48333 679 0 0 25 0 1 0 722003636 43343872 8688 4294967295 134512640 134714508 3221221776 3221217920 1074969669 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10582 8688 1111 63 0 10519 0
vsize: 42328
[startup+500.199 s]
Raw data (loadavg): 1.02 1.02 0.97 2/55 4871
Raw data (stat): 4816 (bsolo_lpr_cuts) R 4815 7876 7672 0 -1 0 245591 0 0 0 49316 697 0 0 25 0 1 0 722003636 43294720 7494 4294967295 134512640 134714508 3221221776 3221218004 1075115065 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10570 7494 1111 63 0 10507 0
vsize: 42280
[startup+510.199 s]
Raw data (loadavg): 1.01 1.02 0.97 2/55 4871
Raw data (stat): 4816 (bsolo_lpr_cuts) R 4815 7876 7672 0 -1 0 256739 0 0 0 50286 727 0 0 25 0 1 0 722003636 33009664 7365 4294967295 134512640 134714508 3221221776 3221220176 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8059 7365 1111 63 0 7996 0
vsize: 32236
[startup+520.2 s]
Raw data (loadavg): 1.01 1.01 0.97 2/55 4871
Raw data (stat): 4816 (bsolo_lpr_cuts) R 4815 7876 7672 0 -1 0 270417 0 0 0 51248 766 0 0 25 0 1 0 722003636 43315200 8716 4294967295 134512640 134714508 3221221776 3221217740 1074788060 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10575 8716 1111 63 0 10512 0
vsize: 42300
[startup+530.199 s]
Raw data (loadavg): 1.01 1.01 0.97 2/55 4871
Raw data (stat): 4816 (bsolo_lpr_cuts) R 4815 7876 7672 0 -1 0 276497 0 0 0 52231 783 0 0 25 0 1 0 722003636 33026048 7369 4294967295 134512640 134714508 3221221776 3221220176 1074153760 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8063 7369 1111 63 0 8000 0
vsize: 32252
[startup+540.2 s]
Raw data (loadavg): 1.01 1.01 0.97 2/55 4871
Raw data (stat): 4816 (bsolo_lpr_cuts) R 4815 7876 7672 0 -1 0 283837 0 0 0 53210 803 0 0 25 0 1 0 722003636 43134976 7442 4294967295 134512640 134714508 3221221776 3221218432 1075967895 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10531 7442 1111 63 0 10468 0
vsize: 42124
[startup+550.201 s]
Raw data (loadavg): 1.01 1.01 0.97 2/55 4871
Raw data (stat): 4816 (bsolo_lpr_cuts) R 4815 7876 7672 0 -1 0 294984 0 0 0 54179 834 0 0 25 0 1 0 722003636 33026048 7369 4294967295 134512640 134714508 3221221776 3221219800 1077380592 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8063 7369 1111 63 0 8000 0
vsize: 32252
[startup+560.2 s]
Raw data (loadavg): 1.00 1.01 0.97 2/55 4871
Raw data (stat): 4816 (bsolo_lpr_cuts) R 4815 7876 7672 0 -1 0 303746 0 0 0 55156 858 0 0 25 0 1 0 722003636 33009664 7365 4294967295 134512640 134714508 3221221776 3221220176 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8059 7365 1111 63 0 7996 0
vsize: 32236
[startup+570.202 s]
Raw data (loadavg): 1.00 1.01 0.97 2/55 4871
Raw data (stat): 4816 (bsolo_lpr_cuts) R 4815 7876 7672 0 -1 0 315038 0 0 0 56125 889 0 0 25 0 1 0 722003636 43294720 8690 4294967295 134512640 134714508 3221221776 3221217876 1075964248 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10570 8690 1111 63 0 10507 0
vsize: 42280
[startup+580.201 s]
Raw data (loadavg): 1.00 1.01 0.97 2/55 4871
Raw data (stat): 4816 (bsolo_lpr_cuts) R 4815 7876 7672 0 -1 0 325209 0 0 0 57098 917 0 0 25 0 1 0 722003636 33009664 7365 4294967295 134512640 134714508 3221221776 3221220136 1077410279 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8059 7365 1111 63 0 7996 0
vsize: 32236
[startup+590.201 s]
Raw data (loadavg): 1.00 1.01 0.97 2/55 4871
Raw data (stat): 4816 (bsolo_lpr_cuts) R 4815 7876 7672 0 -1 0 340326 0 0 0 58056 959 0 0 25 0 1 0 722003636 33005568 7364 4294967295 134512640 134714508 3221221776 3221220176 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8058 7364 1111 63 0 7995 0
vsize: 32232
[startup+600.202 s]
Raw data (loadavg): 1.00 1.01 0.97 2/55 4871
Raw data (stat): 4816 (bsolo_lpr_cuts) R 4815 7876 7672 0 -1 0 348835 0 0 0 59032 982 0 0 25 0 1 0 722003636 40189952 7904 4294967295 134512640 134714508 3221221776 3221219112 1077410163 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9812 7904 1111 63 0 9749 0
vsize: 39248
[startup+610.203 s]
Raw data (loadavg): 1.00 1.01 0.97 2/55 4871
Raw data (stat): 4816 (bsolo_lpr_cuts) R 4815 7876 7672 0 -1 0 355092 0 0 0 60014 1001 0 0 25 0 1 0 722003636 33038336 7372 4294967295 134512640 134714508 3221221776 3221219912 1077378266 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8066 7372 1111 63 0 8003 0
vsize: 32264
[startup+620.203 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 4871
Raw data (stat): 4816 (bsolo_lpr_cuts) R 4815 7876 7672 0 -1 0 363914 0 0 0 60990 1025 0 0 25 0 1 0 722003636 43143168 8661 4294967295 134512640 134714508 3221221776 3221217808 1074790226 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10533 8661 1111 63 0 10470 0
vsize: 42132
[startup+630.203 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 4871
Raw data (stat): 4816 (bsolo_lpr_cuts) R 4815 7876 7672 0 -1 0 372798 0 0 0 61966 1050 0 0 25 0 1 0 722003636 33017856 7367 4294967295 134512640 134714508 3221221776 3221220176 1074153779 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8061 7367 1111 63 0 7998 0
vsize: 32244
[startup+640.203 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 4871
Raw data (stat): 4816 (bsolo_lpr_cuts) R 4815 7876 7672 0 -1 0 383755 0 0 0 62935 1081 0 0 25 0 1 0 722003636 43634688 8363 4294967295 134512640 134714508 3221221776 3221217936 1075095371 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10653 8371 1111 63 0 10590 0
vsize: 42612
[startup+650.204 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 4871
Raw data (stat): 4816 (bsolo_lpr_cuts) R 4815 7876 7672 0 -1 0 390450 0 0 0 63916 1100 0 0 25 0 1 0 722003636 33013760 7366 4294967295 134512640 134714508 3221221776 3221220036 1077374446 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8060 7366 1111 63 0 7997 0
vsize: 32240
[startup+660.204 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 4871
Raw data (stat): 4816 (bsolo_lpr_cuts) R 4815 7876 7672 0 -1 0 400492 0 0 0 64887 1128 0 0 25 0 1 0 722003636 32993280 7361 4294967295 134512640 134714508 3221221776 3221220088 1074138150 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8055 7361 1111 63 0 7992 0
vsize: 32220
[startup+670.205 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 4871
Raw data (stat): 4816 (bsolo_lpr_cuts) R 4815 7876 7672 0 -1 0 410828 0 0 0 65858 1158 0 0 25 0 1 0 722003636 33013760 7366 4294967295 134512640 134714508 3221221776 3221220084 1074138453 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8060 7366 1111 63 0 7997 0
vsize: 32240
[startup+680.206 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 4871
Raw data (stat): 4816 (bsolo_lpr_cuts) R 4815 7876 7672 0 -1 0 423298 0 0 0 66825 1191 0 0 25 0 1 0 722003636 43143168 8663 4294967295 134512640 134714508 3221221776 3221217744 1074787235 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10533 8663 1111 63 0 10470 0
vsize: 42132
[startup+690.206 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 4871
Raw data (stat): 4816 (bsolo_lpr_cuts) R 4815 7876 7672 0 -1 0 434990 0 0 0 67791 1225 0 0 25 0 1 0 722003636 33017856 7367 4294967295 134512640 134714508 3221221776 3221220444 134543664 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8061 7367 1111 63 0 7998 0
vsize: 32244
[startup+700.207 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 4871
Raw data (stat): 4816 (bsolo_lpr_cuts) R 4815 7876 7672 0 -1 0 444098 0 0 0 68767 1250 0 0 25 0 1 0 722003636 43290624 7524 4294967295 134512640 134714508 3221221776 3221218048 1074961132 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10569 7524 1111 63 0 10506 0
vsize: 42276
[startup+710.207 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 4873
Raw data (stat): 4816 (bsolo_lpr_cuts) R 4815 7876 7672 0 -1 0 454104 0 0 0 69740 1277 0 0 25 0 1 0 722003636 43134976 7438 4294967295 134512640 134714508 3221221776 3221218160 1074972807 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10531 7438 1111 63 0 10468 0
vsize: 42124
[startup+720.207 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 4873
Raw data (stat): 4816 (bsolo_lpr_cuts) R 4815 7876 7672 0 -1 0 469328 0 0 0 70697 1320 0 0 25 0 1 0 722003636 33013760 7366 4294967295 134512640 134714508 3221221776 3221220176 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8060 7366 1111 63 0 7997 0
vsize: 32240
[startup+730.208 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 4873
Raw data (stat): 4816 (bsolo_lpr_cuts) R 4815 7876 7672 0 -1 0 482067 0 0 0 71663 1354 0 0 25 0 1 0 722003636 43302912 7484 4294967295 134512640 134714508 3221221776 3221218016 1075115704 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10572 7484 1111 63 0 10509 0
vsize: 42288
[startup+740.208 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 4873
Raw data (stat): 4816 (bsolo_lpr_cuts) R 4815 7876 7672 0 -1 0 494687 0 0 0 72628 1389 0 0 25 0 1 0 722003636 33013760 7366 4294967295 134512640 134714508 3221221776 3221220160 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8060 7366 1111 63 0 7997 0
vsize: 32240
[startup+750.208 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 4873
Raw data (stat): 4816 (bsolo_lpr_cuts) R 4815 7876 7672 0 -1 0 504587 0 0 0 73602 1416 0 0 25 0 1 0 722003636 33026048 7369 4294967295 134512640 134714508 3221221776 3221220088 1074138166 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8063 7369 1111 63 0 8000 0
vsize: 32252
[startup+760.208 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 4873
Raw data (stat): 4816 (bsolo_lpr_cuts) R 4815 7876 7672 0 -1 0 515836 0 0 0 74571 1446 0 0 25 0 1 0 722003636 33026048 7369 4294967295 134512640 134714508 3221221776 3221220160 1074153792 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8063 7369 1111 63 0 8000 0
vsize: 32252
[startup+770.209 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 4873
Raw data (stat): 4816 (bsolo_lpr_cuts) R 4815 7876 7672 0 -1 0 528418 0 0 0 75537 1481 0 0 25 0 1 0 722003636 32993280 7361 4294967295 134512640 134714508 3221221776 3221220088 1074138150 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8055 7361 1111 63 0 7992 0
vsize: 32220
[startup+780.21 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 4873
Raw data (stat): 4816 (bsolo_lpr_cuts) R 4815 7876 7672 0 -1 0 539834 0 0 0 76506 1512 0 0 25 0 1 0 722003636 43143168 7473 4294967295 134512640 134714508 3221221776 3221218004 1075115060 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10533 7473 1111 63 0 10470 0
vsize: 42132
[startup+790.21 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 4873
Raw data (stat): 4816 (bsolo_lpr_cuts) R 4815 7876 7672 0 -1 0 551971 0 0 0 77472 1546 0 0 25 0 1 0 722003636 43143168 8409 4294967295 134512640 134714508 3221221776 3221217936 1075095371 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10533 8418 1111 63 0 10470 0
vsize: 42132
[startup+800.211 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 4873
Raw data (stat): 4816 (bsolo_lpr_cuts) R 4815 7876 7672 0 -1 0 564992 0 0 0 78436 1583 0 0 25 0 1 0 722003636 33017856 7367 4294967295 134512640 134714508 3221221776 3221220160 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8061 7367 1111 63 0 7998 0
vsize: 32244
[startup+810.211 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 4873
Raw data (stat): 4816 (bsolo_lpr_cuts) R 4815 7876 7672 0 -1 0 577800 0 0 0 79401 1618 0 0 25 0 1 0 722003636 43343872 7487 4294967295 134512640 134714508 3221221776 3221218308 1075863609 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10582 7487 1111 63 0 10519 0
vsize: 42328
[startup+820.211 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 4873
Raw data (stat): 4816 (bsolo_lpr_cuts) R 4815 7876 7672 0 -1 0 587715 0 0 0 80372 1647 0 0 25 0 1 0 722003636 39772160 7846 4294967295 134512640 134714508 3221221776 3221218720 1074620117 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9710 7846 1111 63 0 9647 0
vsize: 38840
[startup+830.211 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 4873
Raw data (stat): 4816 (bsolo_lpr_cuts) R 4815 7876 7672 0 -1 0 600520 0 0 0 81336 1683 0 0 25 0 1 0 722003636 33005568 7364 4294967295 134512640 134714508 3221221776 3221220176 1074153753 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8058 7364 1111 63 0 7995 0
vsize: 32232
[startup+840.21 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 4873
Raw data (stat): 4816 (bsolo_lpr_cuts) R 4815 7876 7672 0 -1 0 607864 0 0 0 82317 1702 0 0 25 0 1 0 722003636 39915520 7865 4294967295 134512640 134714508 3221221776 3221218696 1074950114 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9745 7865 1111 63 0 9682 0
vsize: 38980
[startup+850.212 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 4873
Raw data (stat): 4816 (bsolo_lpr_cuts) R 4815 7876 7672 0 -1 0 617985 0 0 0 83290 1730 0 0 25 0 1 0 722003636 33030144 7370 4294967295 134512640 134714508 3221221776 3221220160 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8064 7370 1111 63 0 8001 0
vsize: 32256
[startup+860.212 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 4873
Raw data (stat): 4816 (bsolo_lpr_cuts) R 4815 7876 7672 0 -1 0 626630 0 0 0 84267 1753 0 0 25 0 1 0 722003636 39964672 7911 4294967295 134512640 134714508 3221221776 3221218720 1074620113 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9757 7911 1111 63 0 9694 0
vsize: 39028
[startup+870.212 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 4873
Raw data (stat): 4816 (bsolo_lpr_cuts) R 4815 7876 7672 0 -1 0 634116 0 0 0 85248 1772 0 0 25 0 1 0 722003636 33009664 7365 4294967295 134512640 134714508 3221221776 3221220176 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8059 7365 1111 63 0 7996 0
vsize: 32236
[startup+880.212 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 4873
Raw data (stat): 4816 (bsolo_lpr_cuts) R 4815 7876 7672 0 -1 0 645713 0 0 0 86216 1804 0 0 25 0 1 0 722003636 32997376 7362 4294967295 134512640 134714508 3221221776 3221220048 1074205872 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8056 7362 1111 63 0 7993 0
vsize: 32224
[startup+890.212 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 4873
Raw data (stat): 4816 (bsolo_lpr_cuts) R 4815 7876 7672 0 -1 0 655744 0 0 0 87187 1833 0 0 25 0 1 0 722003636 33026048 7369 4294967295 134512640 134714508 3221221776 3221219424 1075821169 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8063 7369 1111 63 0 8000 0
vsize: 32252
[startup+900.212 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 4873
Raw data (stat): 4816 (bsolo_lpr_cuts) R 4815 7876 7672 0 -1 0 664439 0 0 0 88163 1857 0 0 25 0 1 0 722003636 43339776 8687 4294967295 134512640 134714508 3221221776 3221218048 1074960898 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10581 8687 1111 63 0 10518 0
vsize: 42324
[startup+910.212 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 4873
Raw data (stat): 4816 (bsolo_lpr_cuts) R 4815 7876 7672 0 -1 0 674484 0 0 0 89136 1885 0 0 25 0 1 0 722003636 33017856 7367 4294967295 134512640 134714508 3221221776 3221220176 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8061 7367 1111 63 0 7998 0
vsize: 32244
[startup+920.213 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 4873
Raw data (stat): 4816 (bsolo_lpr_cuts) R 4815 7876 7672 0 -1 0 685686 0 0 0 90105 1916 0 0 25 0 1 0 722003636 33005568 7364 4294967295 134512640 134714508 3221221776 3221220160 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8058 7364 1111 63 0 7995 0
vsize: 32232
[startup+930.213 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 4873
Raw data (stat): 4816 (bsolo_lpr_cuts) R 4815 7876 7672 0 -1 0 701100 0 0 0 91063 1958 0 0 25 0 1 0 722003636 33013760 7366 4294967295 134512640 134714508 3221221776 3221220176 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8060 7366 1111 63 0 7997 0
vsize: 32240
[startup+940.213 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 4873
Raw data (stat): 4816 (bsolo_lpr_cuts) R 4815 7876 7672 0 -1 0 716591 0 0 0 92019 2002 0 0 25 0 1 0 722003636 33013760 7366 4294967295 134512640 134714508 3221221776 3221220160 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8060 7366 1111 63 0 7997 0
vsize: 32240
[startup+950.214 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 4873
Raw data (stat): 4816 (bsolo_lpr_cuts) R 4815 7876 7672 0 -1 0 730912 0 0 0 92980 2041 0 0 25 0 1 0 722003636 33013760 7366 4294967295 134512640 134714508 3221221776 3221220176 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8060 7366 1111 63 0 7997 0
vsize: 32240
[startup+960.213 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 4873
Raw data (stat): 4816 (bsolo_lpr_cuts) R 4815 7876 7672 0 -1 0 743332 0 0 0 93946 2076 0 0 25 0 1 0 722003636 33009664 7365 4294967295 134512640 134714508 3221221776 3221220176 1074153663 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8059 7365 1111 63 0 7996 0
vsize: 32236
[startup+970.214 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 4873
Raw data (stat): 4816 (bsolo_lpr_cuts) R 4815 7876 7672 0 -1 0 761229 0 0 0 94897 2124 0 0 25 0 1 0 722003636 32997376 7362 4294967295 134512640 134714508 3221221776 3221220416 134650068 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8056 7362 1111 63 0 7993 0
vsize: 32224
[startup+980.215 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 4873
Raw data (stat): 4816 (bsolo_lpr_cuts) R 4815 7876 7672 0 -1 0 775144 0 0 0 95859 2163 0 0 25 0 1 0 722003636 33005568 7364 4294967295 134512640 134714508 3221221776 3221220160 1074153822 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8058 7364 1111 63 0 7995 0
vsize: 32232
[startup+990.214 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 4873
Raw data (stat): 4816 (bsolo_lpr_cuts) R 4815 7876 7672 0 -1 0 793190 0 0 0 96807 2215 0 0 25 0 1 0 722003636 33005568 7364 4294967295 134512640 134714508 3221221776 3221220176 1074153792 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8058 7364 1111 63 0 7995 0
vsize: 32232
[startup+1000.21 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 4873
Raw data (stat): 4816 (bsolo_lpr_cuts) R 4815 7876 7672 0 -1 0 803292 0 0 0 97778 2244 0 0 25 0 1 0 722003636 33017856 7367 4294967295 134512640 134714508 3221221776 3221220176 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8061 7367 1111 63 0 7998 0
vsize: 32244
[startup+1010.21 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 4873
Raw data (stat): 4816 (bsolo_lpr_cuts) R 4815 7876 7672 0 -1 0 817282 0 0 0 98739 2283 0 0 25 0 1 0 722003636 33005568 7364 4294967295 134512640 134714508 3221221776 3221220020 1077374149 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8058 7364 1111 63 0 7995 0
vsize: 32232
[startup+1020.22 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 4873
Raw data (stat): 4816 (bsolo_lpr_cuts) R 4815 7876 7672 0 -1 0 826100 0 0 0 99715 2307 0 0 25 0 1 0 722003636 33026048 7369 4294967295 134512640 134714508 3221221776 3221220176 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8063 7369 1111 63 0 8000 0
vsize: 32252
[startup+1030.22 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 4873
Raw data (stat): 4816 (bsolo_lpr_cuts) R 4815 7876 7672 0 -1 0 838940 0 0 0 100681 2342 0 0 25 0 1 0 722003636 33009664 7365 4294967295 134512640 134714508 3221221776 3221220160 1074153760 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8059 7365 1111 63 0 7996 0
vsize: 32236
[startup+1040.22 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 4873
Raw data (stat): 4816 (bsolo_lpr_cuts) R 4815 7876 7672 0 -1 0 850689 0 0 0 101647 2376 0 0 25 0 1 0 722003636 33013760 7366 4294967295 134512640 134714508 3221221776 3221220176 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8060 7366 1111 63 0 7997 0
vsize: 32240
[startup+1050.22 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 4873
Raw data (stat): 4816 (bsolo_lpr_cuts) R 4815 7876 7672 0 -1 0 859517 0 0 0 102623 2400 0 0 25 0 1 0 722003636 40103936 7916 4294967295 134512640 134714508 3221221776 3221218376 1077410279 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9791 7916 1111 63 0 9728 0
vsize: 39164
[startup+1060.22 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 4873
Raw data (stat): 4816 (bsolo_lpr_cuts) R 4815 7876 7672 0 -1 0 871144 0 0 0 103589 2434 0 0 25 0 1 0 722003636 33013760 7366 4294967295 134512640 134714508 3221221776 3221220160 1074153786 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8060 7366 1111 63 0 7997 0
vsize: 32240
[startup+1070.22 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 4873
Raw data (stat): 4816 (bsolo_lpr_cuts) R 4815 7876 7672 0 -1 0 881042 0 0 0 104561 2463 0 0 25 0 1 0 722003636 33017856 7367 4294967295 134512640 134714508 3221221776 3221220176 1074153822 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8061 7367 1111 63 0 7998 0
vsize: 32244
[startup+1080.22 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 4873
Raw data (stat): 4816 (bsolo_lpr_cuts) R 4815 7876 7672 0 -1 0 893941 0 0 0 105525 2499 0 0 25 0 1 0 722003636 33001472 7363 4294967295 134512640 134714508 3221221776 3221220176 1074153672 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8057 7363 1111 63 0 7994 0
vsize: 32228
[startup+1090.22 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 4873
Raw data (stat): 4816 (bsolo_lpr_cuts) R 4815 7876 7672 0 -1 0 905304 0 0 0 106493 2531 0 0 25 0 1 0 722003636 33026048 7369 4294967295 134512640 134714508 3221221776 3221219056 1074140697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8063 7369 1111 63 0 8000 0
vsize: 32252
[startup+1100.22 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 4873
Raw data (stat): 4816 (bsolo_lpr_cuts) R 4815 7876 7672 0 -1 0 915327 0 0 0 107467 2557 0 0 25 0 1 0 722003636 33013760 7366 4294967295 134512640 134714508 3221221776 3221220176 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8060 7366 1111 63 0 7997 0
vsize: 32240
[startup+1110.22 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 4873
Raw data (stat): 4816 (bsolo_lpr_cuts) R 4815 7876 7672 0 -1 0 925424 0 0 0 108440 2585 0 0 25 0 1 0 722003636 33005568 7364 4294967295 134512640 134714508 3221221776 3221220176 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8058 7364 1111 63 0 7995 0
vsize: 32232
[startup+1120.22 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 4873
Raw data (stat): 4816 (bsolo_lpr_cuts) R 4815 7876 7672 0 -1 0 935381 0 0 0 109412 2613 0 0 25 0 1 0 722003636 43134976 7452 4294967295 134512640 134714508 3221221776 3221218108 1076111491 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10531 7452 1111 63 0 10468 0
vsize: 42124
[startup+1130.22 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 4873
Raw data (stat): 4816 (bsolo_lpr_cuts) R 4815 7876 7672 0 -1 0 946936 0 0 0 110380 2645 0 0 25 0 1 0 722003636 33013760 7366 4294967295 134512640 134714508 3221221776 3221220160 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8060 7366 1111 63 0 7997 0
vsize: 32240
[startup+1140.22 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 4873
Raw data (stat): 4816 (bsolo_lpr_cuts) R 4815 7876 7672 0 -1 0 961136 0 0 0 111340 2685 0 0 25 0 1 0 722003636 33009664 7365 4294967295 134512640 134714508 3221221776 3221220160 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8059 7365 1111 63 0 7996 0
vsize: 32236
[startup+1150.22 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 4873
Raw data (stat): 4816 (bsolo_lpr_cuts) R 4815 7876 7672 0 -1 0 971226 0 0 0 112312 2713 0 0 25 0 1 0 722003636 33013760 7366 4294967295 134512640 134714508 3221221776 3221220160 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8060 7366 1111 63 0 7997 0
vsize: 32240
[startup+1160.22 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 4873
Raw data (stat): 4816 (bsolo_lpr_cuts) R 4815 7876 7672 0 -1 0 983054 0 0 0 113280 2745 0 0 25 0 1 0 722003636 43134976 7847 4294967295 134512640 134714508 3221221776 3221217936 1075095371 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10531 7856 1111 63 0 10468 0
vsize: 42124
[startup+1170.22 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 4873
Raw data (stat): 4816 (bsolo_lpr_cuts) R 4815 7876 7672 0 -1 0 994141 0 0 0 114250 2775 0 0 25 0 1 0 722003636 43380736 7504 4294967295 134512640 134714508 3221221776 3221217912 1077410163 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10591 7504 1111 63 0 10528 0
vsize: 42364
[startup+1178.21 s]
Raw data (loadavg): 1.00 1.00 0.97 1/54 4873
Raw data (stat): 4816 (bsolo_lpr_cuts) R 4815 7876 7672 0 -1 0 994141 0 0 0 114250 2775 0 0 25 0 1 0 722003636 43380736 7504 4294967295 134512640 134714508 3221221776 3221217912 1077410163 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10591 7504 1111 63 0 10528 0
vsize: 0

Child status: 10
Real time (s): 1178.21
CPU time (s): 1178.25
CPU user time (s): 1150.28
CPU system time (s): 27.9707
CPU usage (%): 100.004
Max. virtual memory (Kb): 43276
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	-18
#### END VERIFIER DATA ####