Name | normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-1.opb |
MD5SUM | 84d0b0ba659c599a6c66454cd956a06b |
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.04684 |
Number of variables | 450 |
Total number of constraints | 17827 |
Number of constraints which are clauses | 17827 |
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 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc31 THE 2005-05-11 22:14:26 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=2819 boxname=wulflinc31 idbench=314 idsolver=2 numberseed=0 MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7 /oldhome/oroussel/solvers/bsolo_lpr_cuts MD5SUM BENCH: 84d0b0ba659c599a6c66454cd956a06b /oldhome/oroussel/tmp/wulflinc31/normalized-frb30-15-1.opb REAL COMMAND: bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-frb30-15-1.opb IDLAUNCH: 2819 /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: 916968 kB Buffers: 11756 kB Cached: 84704 kB SwapCached: 1936 kB Active: 56412 kB Inactive: 43232 kB HighTotal: 131008 kB HighFree: 45472 kB LowTotal: 903652 kB LowFree: 871496 kB SwapTotal: 2097892 kB SwapFree: 2095224 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5352 kB Slab: 12464 kB Committed_AS: 63860 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-11 22:34:01 (client local time) WITH STATUS 10 IN 1175.28 SECONDS stats: 2819 0 1175.28 10 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. c Initial problem consists of 450 variables and 17827 constraints. c After prepocess the problem consists of 450 variables and 13930 constraints. c preprocess terminated 85.414 s c Initial Lower Bound: -51 c Lower Bound Elapsed time: 214.044 c Not use computed LB before first solution. c NEW SOLUTION FOUND: -2 @ 299.692 c NEW SOLUTION FOUND: -3 @ 299.724 c NEW SOLUTION FOUND: -4 @ 299.739 c NEW SOLUTION FOUND: -5 @ 299.757 c NEW SOLUTION FOUND: -6 @ 299.96 c NEW SOLUTION FOUND: -7 @ 299.999 c NEW SOLUTION FOUND: -8 @ 300.086 c NEW SOLUTION FOUND: -9 @ 300.203 c NEW SOLUTION FOUND: -10 @ 300.372 c NEW SOLUTION FOUND: -11 @ 300.72 c NEW SOLUTION FOUND: -12 @ 302.009 c NEW SOLUTION FOUND: -13 @ 304.145 c NEW SOLUTION FOUND: -14 @ 305.008 c NEW SOLUTION FOUND: -15 @ 308.784 c NEW SOLUTION FOUND: -16 @ 353.656 c NEW SOLUTION FOUND: -17 @ 409.54 c NEW SOLUTION FOUND: -18 @ 495.88 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: 1175.24 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 4279 Raw data (stat): 4279 (runsolver) R 4278 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 721403318 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.001 s] Raw data (loadavg): 0.93 0.98 0.95 2/55 4279 Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 5645 0 0 0 980 15 0 0 25 0 1 0 721403318 24621056 5181 4294967295 134512640 134714508 3221221776 3221220504 134618371 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6011 5181 1111 63 0 5948 0 vsize: 24044 [startup+20.0018 s] Raw data (loadavg): 0.94 0.98 0.95 2/55 4279 Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 5695 0 0 0 1980 15 0 0 25 0 1 0 721403318 24715264 5204 4294967295 134512640 134714508 3221221776 3221220404 134594953 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6034 5204 1111 63 0 5971 0 vsize: 24136 [startup+30.0018 s] Raw data (loadavg): 0.95 0.98 0.95 2/55 4279 Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 6080 0 0 0 2979 16 0 0 25 0 1 0 721403318 25698304 5428 4294967295 134512640 134714508 3221221776 3221220160 134542350 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6274 5428 1111 63 0 6211 0 vsize: 25096 [startup+40.0017 s] Raw data (loadavg): 0.96 0.98 0.95 2/55 4279 Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 6080 0 0 0 3979 16 0 0 25 0 1 0 721403318 25698304 5428 4294967295 134512640 134714508 3221221776 3221220416 134594970 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6274 5428 1111 63 0 6211 0 vsize: 25096 [startup+50.0016 s] Raw data (loadavg): 0.96 0.98 0.95 2/55 4279 Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 6097 0 0 0 4980 16 0 0 25 0 1 0 721403318 25833472 5445 4294967295 134512640 134714508 3221221776 3221220448 134627187 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6307 5445 1111 63 0 6244 0 vsize: 25228 [startup+60.0015 s] Raw data (loadavg): 0.97 0.98 0.95 2/55 4279 Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 6156 0 0 0 5979 16 0 0 25 0 1 0 721403318 25968640 5504 4294967295 134512640 134714508 3221221776 3221220448 134627250 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6340 5504 1111 63 0 6277 0 vsize: 25360 [startup+70.0015 s] Raw data (loadavg): 0.97 0.98 0.95 2/55 4279 Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 6298 0 0 0 6979 16 0 0 25 0 1 0 721403318 26644480 5646 4294967295 134512640 134714508 3221221776 3221220440 134627195 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6505 5646 1111 63 0 6442 0 vsize: 26020 [startup+80.0014 s] Raw data (loadavg): 0.98 0.98 0.95 2/55 4279 Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 6472 0 0 0 7979 17 0 0 25 0 1 0 721403318 27320320 5820 4294967295 134512640 134714508 3221221776 3221220556 1077781665 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6670 5820 1111 63 0 6607 0 vsize: 26680 [startup+90.0013 s] Raw data (loadavg): 0.98 0.98 0.95 2/55 4279 Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 7046 0 0 0 8977 19 0 0 25 0 1 0 721403318 29728768 6394 4294967295 134512640 134714508 3221221776 3221220080 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7258 6394 1111 63 0 7195 0 vsize: 29032 [startup+100.001 s] Raw data (loadavg): 0.98 0.98 0.95 2/55 4279 Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 7194 0 0 0 9975 21 0 0 25 0 1 0 721403318 30363648 6542 4294967295 134512640 134714508 3221221776 3221220032 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7413 6542 1111 63 0 7350 0 vsize: 29652 [startup+110.002 s] Raw data (loadavg): 0.98 0.98 0.95 2/55 4279 Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 7227 0 0 0 10974 22 0 0 25 0 1 0 721403318 30490624 6575 4294967295 134512640 134714508 3221221776 3221220032 1074153770 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7444 6575 1111 63 0 7381 0 vsize: 29776 [startup+120.002 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 4279 Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 9751 0 0 0 11968 29 0 0 25 0 1 0 721403318 40927232 8203 4294967295 134512640 134714508 3221221776 3221217840 1074969458 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 9992 8203 1111 63 0 9929 0 vsize: 39968 [startup+130.003 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 4279 Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 10409 0 0 0 12966 30 0 0 25 0 1 0 721403318 40087552 8457 4294967295 134512640 134714508 3221221776 3221217708 1074788953 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 9787 8457 1111 63 0 9724 0 vsize: 39148 [startup+140.003 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 4279 Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 10466 0 0 0 13966 30 0 0 25 0 1 0 721403318 40304640 8514 4294967295 134512640 134714508 3221221776 3221217904 1074815253 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 9840 8514 1111 63 0 9777 0 vsize: 39360 [startup+150.003 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 4279 Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 10527 0 0 0 14966 30 0 0 25 0 1 0 721403318 40546304 8575 4294967295 134512640 134714508 3221221776 3221217856 1075094874 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 9899 8575 1111 63 0 9836 0 vsize: 39596 [startup+160.004 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 4279 Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 10590 0 0 0 15966 31 0 0 25 0 1 0 721403318 40779776 8638 4294967295 134512640 134714508 3221221776 3221217924 1075115039 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 9956 8638 1111 63 0 9893 0 vsize: 39824 [startup+170.004 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 4279 Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 10643 0 0 0 16966 31 0 0 25 0 1 0 721403318 41037824 8691 4294967295 134512640 134714508 3221221776 3221217580 1074788959 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 10019 8691 1111 63 0 9956 0 vsize: 40076 [startup+180.004 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 4279 Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 10657 0 0 0 17966 31 0 0 25 0 1 0 721403318 41037824 8705 4294967295 134512640 134714508 3221221776 3221217968 1074961149 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 10019 8705 1111 63 0 9956 0 vsize: 40076 [startup+190.005 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 4279 Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 10778 0 0 0 18967 31 0 0 25 0 1 0 721403318 41594880 8824 4294967295 134512640 134714508 3221221776 3221217924 1075115065 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 10155 8824 1111 63 0 10092 0 vsize: 40620 [startup+200.005 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 4279 Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 10836 0 0 0 19966 31 0 0 25 0 1 0 721403318 41889792 8882 4294967295 134512640 134714508 3221221776 3221217968 1074960854 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 10227 8882 1111 63 0 10164 0 vsize: 40908 [startup+210.005 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 4279 Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 10841 0 0 0 20967 31 0 0 25 0 1 0 721403318 41889792 8887 4294967295 134512640 134714508 3221221776 3221217924 1075115046 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 10227 8887 1111 63 0 10164 0 vsize: 40908 [startup+220.006 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 4279 Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 10908 0 0 0 21967 32 0 0 25 0 1 0 721403318 42201088 8954 4294967295 134512640 134714508 3221221776 3221217936 1075115739 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 10303 8954 1111 63 0 10240 0 vsize: 41212 [startup+230.005 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 4279 Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 10983 0 0 0 22966 32 0 0 25 0 1 0 721403318 42516480 9029 4294967295 134512640 134714508 3221221776 3221217580 1074788950 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 10380 9029 1111 63 0 10317 0 vsize: 41520 [startup+240.005 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 4279 Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 11012 0 0 0 23966 32 0 0 25 0 1 0 721403318 42516480 9058 4294967295 134512640 134714508 3221221776 3221217708 1074788950 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 10380 9058 1111 63 0 10317 0 vsize: 41520 [startup+250.006 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 4279 Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 11015 0 0 0 24966 32 0 0 25 0 1 0 721403318 42516480 9061 4294967295 134512640 134714508 3221221776 3221218240 1075088563 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 10380 9061 1111 63 0 10317 0 vsize: 41520 [startup+260.006 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 4279 Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 11017 0 0 0 25967 32 0 0 25 0 1 0 721403318 42516480 9063 4294967295 134512640 134714508 3221221776 3221217580 1074788959 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 10380 9063 1111 63 0 10317 0 vsize: 41520 [startup+270.006 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 4279 Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 11020 0 0 0 26967 32 0 0 25 0 1 0 721403318 42516480 9066 4294967295 134512640 134714508 3221221776 3221217968 1074960765 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 10380 9066 1111 63 0 10317 0 vsize: 41520 [startup+280.006 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 4279 Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 11024 0 0 0 27967 32 0 0 25 0 1 0 721403318 42516480 9070 4294967295 134512640 134714508 3221221776 3221217936 1075115709 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 10380 9070 1111 63 0 10317 0 vsize: 41520 [startup+290.007 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 4279 Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 14943 0 0 0 28957 42 0 0 25 0 1 0 721403318 34123776 7555 4294967295 134512640 134714508 3221221776 3221220016 1074039443 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 8331 7555 1111 63 0 8268 0 vsize: 33324 [startup+300.007 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 4279 Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 16497 0 0 0 29952 47 0 0 25 0 1 0 721403318 30371840 6707 4294967295 134512640 134714508 3221221776 3221220176 1074153794 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7415 6707 1111 63 0 7352 0 vsize: 29660 [startup+310.008 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 4279 Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 32603 0 0 0 30909 91 0 0 25 0 1 0 721403318 40665088 8001 4294967295 134512640 134714508 3221221776 3221218004 1075115049 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 9928 8001 1111 63 0 9865 0 vsize: 39712 [startup+320.008 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 4279 Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 51114 0 0 0 31858 142 0 0 25 0 1 0 721403318 40665088 6772 4294967295 134512640 134714508 3221221776 3221218016 1075115747 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 9928 6772 1111 63 0 9865 0 vsize: 39712 [startup+330.008 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 4279 Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 66144 0 0 0 32815 184 0 0 25 0 1 0 721403318 30388224 6717 4294967295 134512640 134714508 3221221776 3221220160 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7419 6717 1111 63 0 7356 0 vsize: 29676 [startup+340.008 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 4279 Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 83655 0 0 0 33768 232 0 0 25 0 1 0 721403318 30388224 6717 4294967295 134512640 134714508 3221221776 3221219056 1074140701 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7419 6717 1111 63 0 7356 0 vsize: 29676 [startup+350.008 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 4279 Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 103891 0 0 0 34712 288 0 0 25 0 1 0 721403318 30375936 6714 4294967295 134512640 134714508 3221221776 3221219916 1077379924 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7416 6714 1111 63 0 7353 0 vsize: 29664 [startup+360.009 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 4279 Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 119743 0 0 0 35667 332 0 0 25 0 1 0 721403318 40812544 8034 4294967295 134512640 134714508 3221221776 3221217788 1074788959 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 9964 8034 1111 63 0 9901 0 vsize: 39856 [startup+370.009 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 4279 Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 137147 0 0 0 36618 381 0 0 25 0 1 0 721403318 30380032 6715 4294967295 134512640 134714508 3221221776 3221219776 1076999581 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7417 6715 1111 63 0 7354 0 vsize: 29668 [startup+380.009 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 4279 Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 153143 0 0 0 37572 427 0 0 25 0 1 0 721403318 40665088 6785 4294967295 134512640 134714508 3221221776 3221218376 1077410279 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 9928 6785 1111 63 0 9865 0 vsize: 39712 [startup+390.009 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 4279 Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 169360 0 0 0 38526 474 0 0 25 0 1 0 721403318 30388224 6717 4294967295 134512640 134714508 3221221776 3221220128 1073986885 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7419 6717 1111 63 0 7356 0 vsize: 29676 [startup+400.01 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 4279 Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 191790 0 0 0 39466 534 0 0 25 0 1 0 721403318 30380032 6715 4294967295 134512640 134714508 3221221776 3221220084 1073987050 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7417 6715 1111 63 0 7354 0 vsize: 29668 [startup+410.011 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 4279 Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 205848 0 0 0 40427 573 0 0 25 0 1 0 721403318 30384128 6716 4294967295 134512640 134714508 3221221776 3221220088 1074138166 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7418 6716 1111 63 0 7355 0 vsize: 29672 [startup+420.011 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 4279 Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 225752 0 0 0 41371 629 0 0 25 0 1 0 721403318 40980480 8019 4294967295 134512640 134714508 3221221776 3221217936 1075095344 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10005 8019 1111 63 0 9942 0 vsize: 40020 [startup+430.013 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 4279 Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 241686 0 0 0 42326 674 0 0 25 0 1 0 721403318 40833024 6817 4294967295 134512640 134714508 3221221776 3221218048 1074960912 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 9969 6817 1111 63 0 9906 0 vsize: 39876 [startup+440.013 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 4279 Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 259985 0 0 0 43275 725 0 0 25 0 1 0 721403318 40812544 6841 4294967295 134512640 134714508 3221221776 3221218048 1074960837 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 9964 6841 1111 63 0 9901 0 vsize: 39856 [startup+450.013 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 4279 Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 274612 0 0 0 44234 766 0 0 25 0 1 0 721403318 41127936 8104 4294967295 134512640 134714508 3221221776 3221217744 1075965307 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10041 8104 1111 63 0 9978 0 vsize: 40164 [startup+460.014 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 4279 Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 289553 0 0 0 45193 807 0 0 25 0 1 0 721403318 40665088 7243 4294967295 134512640 134714508 3221221776 3221217936 1075095371 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 9928 7243 1111 63 0 9865 0 vsize: 39712 [startup+470.015 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 4279 Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 306534 0 0 0 46147 854 0 0 25 0 1 0 721403318 40656896 6757 4294967295 134512640 134714508 3221221776 3221218432 1075969182 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 9926 6757 1111 63 0 9863 0 vsize: 39704 [startup+480.015 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 4279 Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 326159 0 0 0 47093 908 0 0 25 0 1 0 721403318 30380032 6715 4294967295 134512640 134714508 3221221776 3221219956 1077378774 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7417 6715 1111 63 0 7354 0 vsize: 29668 [startup+490.015 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 4279 Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 341365 0 0 0 48050 951 0 0 25 0 1 0 721403318 30388224 6717 4294967295 134512640 134714508 3221221776 3221220160 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7419 6717 1111 63 0 7356 0 vsize: 29676 [startup+500.016 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 4279 Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 353702 0 0 0 49016 985 0 0 25 0 1 0 721403318 30404608 6721 4294967295 134512640 134714508 3221221776 3221220160 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7423 6721 1111 63 0 7360 0 vsize: 29692 [startup+510.017 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 4279 Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 368278 0 0 0 49975 1026 0 0 25 0 1 0 721403318 41201664 6867 4294967295 134512640 134714508 3221221776 3221218432 1075967531 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10059 6867 1111 63 0 9996 0 vsize: 40236 [startup+520.017 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 4279 Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 383032 0 0 0 50935 1067 0 0 25 0 1 0 721403318 41017344 6915 4294967295 134512640 134714508 3221221776 3221218048 1074961301 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10014 6915 1111 63 0 9951 0 vsize: 40056 [startup+530.016 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 4279 Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 398805 0 0 0 51891 1111 0 0 25 0 1 0 721403318 40837120 6856 4294967295 134512640 134714508 3221221776 3221218544 1076083615 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 9970 6856 1111 63 0 9907 0 vsize: 39880 [startup+540.017 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 4279 Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 419736 0 0 0 52832 1170 0 0 25 0 1 0 721403318 30375936 6714 4294967295 134512640 134714508 3221221776 3221220176 1074153760 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7416 6714 1111 63 0 7353 0 vsize: 29664 [startup+550.018 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 4279 Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 438275 0 0 0 53781 1221 0 0 25 0 1 0 721403318 40660992 6769 4294967295 134512640 134714508 3221221776 3221218720 1074620241 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 9927 6769 1111 63 0 9864 0 vsize: 39708 [startup+560.018 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 4279 Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 455282 0 0 0 54732 1270 0 0 25 0 1 0 721403318 30392320 6718 4294967295 134512640 134714508 3221221776 3221220160 1074153770 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7420 6718 1111 63 0 7357 0 vsize: 29680 [startup+570.019 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 4279 Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 467707 0 0 0 55698 1304 0 0 25 0 1 0 721403318 30404608 6721 4294967295 134512640 134714508 3221221776 3221220316 1073989844 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7423 6721 1111 63 0 7360 0 vsize: 29692 [startup+580.019 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 4279 Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 484340 0 0 0 56651 1351 0 0 25 0 1 0 721403318 40665088 7385 4294967295 134512640 134714508 3221221776 3221217936 1075095371 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 9928 7385 1111 63 0 9865 0 vsize: 39712 [startup+590.02 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 4279 Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 499936 0 0 0 57608 1395 0 0 25 0 1 0 721403318 41324544 8167 4294967295 134512640 134714508 3221221776 3221218004 1075115003 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10089 8167 1111 63 0 10026 0 vsize: 40356 [startup+600.021 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 4279 Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 512465 0 0 0 58573 1430 0 0 25 0 1 0 721403318 40988672 6851 4294967295 134512640 134714508 3221221776 3221218432 1075968377 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10007 6851 1111 63 0 9944 0 vsize: 40028 [startup+610.022 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 4279 Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 523530 0 0 0 59542 1460 0 0 25 0 1 0 721403318 30396416 6719 4294967295 134512640 134714508 3221221776 3221220160 1074153760 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7421 6719 1111 63 0 7358 0 vsize: 29684 [startup+620.023 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 4279 Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 537139 0 0 0 60503 1500 0 0 25 0 1 0 721403318 40660992 6769 4294967295 134512640 134714508 3221221776 3221218048 1074960920 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 9927 6769 1111 63 0 9864 0 vsize: 39708 [startup+630.023 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 4279 Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 554064 0 0 0 61457 1546 0 0 25 0 1 0 721403318 30388224 6717 4294967295 134512640 134714508 3221221776 3221220176 1074153779 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7419 6717 1111 63 0 7356 0 vsize: 29676 [startup+640.024 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 4279 Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 568979 0 0 0 62415 1588 0 0 25 0 1 0 721403318 30392320 6718 4294967295 134512640 134714508 3221221776 3221220128 1074153786 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7420 6718 1111 63 0 7357 0 vsize: 29680 [startup+650.024 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 4279 Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 583635 0 0 0 63376 1628 0 0 25 0 1 0 721403318 30404608 6721 4294967295 134512640 134714508 3221221776 3221219776 1074918559 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7423 6721 1111 63 0 7360 0 vsize: 29692 [startup+660.025 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 4279 Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 596292 0 0 0 64340 1663 0 0 25 0 1 0 721403318 41148416 6889 4294967295 134512640 134714508 3221221776 3221217656 1074788488 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10046 6889 1111 63 0 9983 0 vsize: 40184 [startup+670.026 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 4279 Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 612295 0 0 0 65297 1707 0 0 25 0 1 0 721403318 40669184 6797 4294967295 134512640 134714508 3221221776 3221218432 1075967926 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 9929 6797 1111 63 0 9866 0 vsize: 39716 [startup+680.027 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 4279 Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 628291 0 0 0 66252 1752 0 0 25 0 1 0 721403318 40808448 6790 4294967295 134512640 134714508 3221221776 3221218048 1074960918 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 9963 6790 1111 63 0 9900 0 vsize: 39852 [startup+690.026 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 4279 Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 649440 0 0 0 67193 1810 0 0 25 0 1 0 721403318 40660992 6773 4294967295 134512640 134714508 3221221776 3221218720 1074620241 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 9927 6773 1111 63 0 9864 0 vsize: 39708 [startup+700.027 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 4279 Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 667074 0 0 0 68143 1861 0 0 25 0 1 0 721403318 40665088 6773 4294967295 134512640 134714508 3221221776 3221218004 1075115039 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 9928 6773 1111 63 0 9865 0 vsize: 39712 [startup+710.028 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 4279 Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 679475 0 0 0 69111 1893 0 0 25 0 1 0 721403318 30384128 6716 4294967295 134512640 134714508 3221221776 3221220176 1074153786 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7418 6716 1111 63 0 7355 0 vsize: 29672 [startup+720.028 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 4279 Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 694395 0 0 0 70070 1934 0 0 25 0 1 0 721403318 30404608 6721 4294967295 134512640 134714508 3221221776 3221219056 1074140058 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7423 6721 1111 63 0 7360 0 vsize: 29692 [startup+730.029 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 4279 Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 708069 0 0 0 71030 1974 0 0 25 0 1 0 721403318 30396416 6719 4294967295 134512640 134714508 3221221776 3221219424 1075818335 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7421 6719 1111 63 0 7358 0 vsize: 29684 [startup+740.029 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 4279 Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 722967 0 0 0 71988 2016 0 0 25 0 1 0 721403318 30396416 6719 4294967295 134512640 134714508 3221221776 3221220160 1074153786 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7421 6719 1111 63 0 7358 0 vsize: 29684 [startup+750.029 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 4279 Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 740482 0 0 0 72939 2066 0 0 25 0 1 0 721403318 30380032 6715 4294967295 134512640 134714508 3221221776 3221220064 1074057922 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7417 6715 1111 63 0 7354 0 vsize: 29668 [startup+760.031 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 4279 Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 757659 0 0 0 73891 2114 0 0 25 0 1 0 721403318 37425152 7218 4294967295 134512640 134714508 3221221776 3221218840 1077799185 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 9137 7218 1111 63 0 9074 0 vsize: 36548 [startup+770.032 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 4279 Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 773878 0 0 0 74846 2159 0 0 25 0 1 0 721403318 41021440 6853 4294967295 134512640 134714508 3221221776 3221217920 1074969614 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10015 6853 1111 63 0 9952 0 vsize: 40060 [startup+780.032 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 4279 Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 788683 0 0 0 75805 2200 0 0 25 0 1 0 721403318 30392320 6718 4294967295 134512640 134714508 3221221776 3221219704 1077378730 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7420 6718 1111 63 0 7357 0 vsize: 29680 [startup+790.032 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 4279 Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 802399 0 0 0 76765 2240 0 0 25 0 1 0 721403318 30375936 6714 4294967295 134512640 134714508 3221221776 3221220088 1074138162 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7416 6714 1111 63 0 7353 0 vsize: 29664 [startup+800.031 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 4279 Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 820704 0 0 0 77714 2291 0 0 25 0 1 0 721403318 30384128 6716 4294967295 134512640 134714508 3221221776 3221220160 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7418 6716 1111 63 0 7355 0 vsize: 29672 [startup+810.032 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 4279 Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 839507 0 0 0 78661 2345 0 0 25 0 1 0 721403318 30380032 6715 4294967295 134512640 134714508 3221221776 3221219728 1074057893 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7417 6715 1111 63 0 7354 0 vsize: 29668 [startup+820.032 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 4279 Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 859424 0 0 0 79603 2402 0 0 25 0 1 0 721403318 30392320 6718 4294967295 134512640 134714508 3221221776 3221220176 1074118815 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7420 6718 1111 63 0 7357 0 vsize: 29680 [startup+830.032 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 4279 Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 877926 0 0 0 80553 2453 0 0 25 0 1 0 721403318 30371840 6713 4294967295 134512640 134714508 3221221776 3221220088 1074138166 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7415 6713 1111 63 0 7352 0 vsize: 29660 [startup+840.033 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 4279 Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 890447 0 0 0 81516 2490 0 0 25 0 1 0 721403318 30388224 6717 4294967295 134512640 134714508 3221221776 3221219888 1074867334 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7419 6717 1111 63 0 7356 0 vsize: 29676 [startup+850.033 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 4279 Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 906666 0 0 0 82472 2535 0 0 25 0 1 0 721403318 30384128 6716 4294967295 134512640 134714508 3221221776 3221220176 1074153760 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7418 6716 1111 63 0 7355 0 vsize: 29672 [startup+860.034 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 4279 Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 920261 0 0 0 83434 2573 0 0 25 0 1 0 721403318 37543936 7264 4294967295 134512640 134714508 3221221776 3221218432 1075968211 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 9166 7264 1111 63 0 9103 0 vsize: 36664 [startup+870.034 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 4279 Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 937672 0 0 0 84386 2621 0 0 25 0 1 0 721403318 30380032 6715 4294967295 134512640 134714508 3221221776 3221220176 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7417 6715 1111 63 0 7354 0 vsize: 29668 [startup+880.034 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 4279 Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 955274 0 0 0 85338 2669 0 0 25 0 1 0 721403318 30380032 6715 4294967295 134512640 134714508 3221221776 3221220176 1074153773 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7417 6715 1111 63 0 7354 0 vsize: 29668 [startup+890.034 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 4279 Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 966982 0 0 0 86302 2705 0 0 25 0 1 0 721403318 40652800 6743 4294967295 134512640 134714508 3221221776 3221218760 1077410205 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 9925 6743 1111 63 0 9862 0 vsize: 39700 [startup+900.034 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 4279 Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 979379 0 0 0 87265 2742 0 0 25 0 1 0 721403318 40984576 6842 4294967295 134512640 134714508 3221221776 3221217920 1074970218 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 10006 6842 1111 63 0 9943 0 vsize: 40024 [startup+910.035 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 4279 Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 995233 0 0 0 88220 2787 0 0 25 0 1 0 721403318 30388224 6717 4294967295 134512640 134714508 3221221776 3221219352 1077410163 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7419 6717 1111 63 0 7356 0 vsize: 29676 [startup+920.035 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 4279 Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 1013821 0 0 0 89168 2840 0 0 25 0 1 0 721403318 30392320 6718 4294967295 134512640 134714508 3221221776 3221220240 1074121076 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7420 6718 1111 63 0 7357 0 vsize: 29680 [startup+930.035 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 4279 Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 1027419 0 0 0 90132 2876 0 0 25 0 1 0 721403318 41062400 8089 4294967295 134512640 134714508 3221221776 3221218048 1074960909 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 10025 8089 1111 63 0 9962 0 vsize: 40100 [startup+940.034 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 4279 Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 1044719 0 0 0 91082 2926 0 0 25 0 1 0 721403318 30396416 6719 4294967295 134512640 134714508 3221221776 3221220112 1075552823 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7421 6719 1111 63 0 7358 0 vsize: 29684 [startup+950.034 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 4279 Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 1060677 0 0 0 92038 2970 0 0 25 0 1 0 721403318 40665088 6772 4294967295 134512640 134714508 3221221776 3221217920 1074969455 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 9928 6772 1111 63 0 9865 0 vsize: 39712 [startup+960.034 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 4279 Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 1080315 0 0 0 92983 3026 0 0 25 0 1 0 721403318 30384128 6716 4294967295 134512640 134714508 3221221776 3221220176 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7418 6716 1111 63 0 7355 0 vsize: 29672 [startup+970.035 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 4279 Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 1097626 0 0 0 93934 3075 0 0 25 0 1 0 721403318 30384128 6716 4294967295 134512640 134714508 3221221776 3221220176 1074153663 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7418 6716 1111 63 0 7355 0 vsize: 29672 [startup+980.034 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 4279 Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 1112482 0 0 0 94892 3117 0 0 25 0 1 0 721403318 30396416 6719 4294967295 134512640 134714508 3221221776 3221219424 1075818184 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7421 6719 1111 63 0 7358 0 vsize: 29684 [startup+990.034 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 4279 Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 1130646 0 0 0 95844 3165 0 0 25 0 1 0 721403318 37646336 7292 4294967295 134512640 134714508 3221221776 3221218848 1074867340 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 9191 7292 1111 63 0 9128 0 vsize: 36764 [startup+1000.03 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 4279 Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 1144202 0 0 0 96806 3203 0 0 25 0 1 0 721403318 41168896 6925 4294967295 134512640 134714508 3221221776 3221218432 1075968658 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 10051 6925 1111 63 0 9988 0 vsize: 40204 [startup+1010.03 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 4279 Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 1159160 0 0 0 97764 3245 0 0 25 0 1 0 721403318 30388224 6717 4294967295 134512640 134714508 3221221776 3221220128 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7419 6717 1111 63 0 7356 0 vsize: 29676 [startup+1020.03 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 4279 Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 1170461 0 0 0 98732 3278 0 0 25 0 1 0 721403318 30384128 6716 4294967295 134512640 134714508 3221221776 3221220160 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7418 6716 1111 63 0 7355 0 vsize: 29672 [startup+1030.04 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 4279 Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 1184004 0 0 0 99695 3315 0 0 25 0 1 0 721403318 30392320 6718 4294967295 134512640 134714508 3221221776 3221220160 1074153660 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7420 6718 1111 63 0 7357 0 vsize: 29680 [startup+1040.04 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 4279 Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 1202489 0 0 0 100643 3367 0 0 25 0 1 0 721403318 30380032 6715 4294967295 134512640 134714508 3221221776 3221220176 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7417 6715 1111 63 0 7354 0 vsize: 29668 [startup+1050.04 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 4279 Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 1218393 0 0 0 101597 3412 0 0 25 0 1 0 721403318 30404608 6721 4294967295 134512640 134714508 3221221776 3221219776 1074917897 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7423 6721 1111 63 0 7360 0 vsize: 29692 [startup+1060.04 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 4279 Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 1231202 0 0 0 102562 3448 0 0 25 0 1 0 721403318 30392320 6718 4294967295 134512640 134714508 3221221776 3221220176 1074153760 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7420 6718 1111 63 0 7357 0 vsize: 29680 [startup+1070.04 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 4279 Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 1248695 0 0 0 103513 3497 0 0 25 0 1 0 721403318 37580800 7229 4294967295 134512640 134714508 3221221776 3221218840 1077799185 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 9175 7229 1111 63 0 9112 0 vsize: 36700 [startup+1080.04 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 4279 Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 1259039 0 0 0 104484 3527 0 0 25 0 1 0 721403318 30384128 6716 4294967295 134512640 134714508 3221221776 3221220176 1074153822 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7418 6716 1111 63 0 7355 0 vsize: 29672 [startup+1090.04 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 4279 Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 1272663 0 0 0 105445 3566 0 0 25 0 1 0 721403318 30396416 6719 4294967295 134512640 134714508 3221221776 3221220368 134650198 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7421 6719 1111 63 0 7358 0 vsize: 29684 [startup+1100.04 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 4279 Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 1286326 0 0 0 106405 3605 0 0 25 0 1 0 721403318 41160704 6905 4294967295 134512640 134714508 3221221776 3221218016 1075115715 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 10049 6905 1111 63 0 9986 0 vsize: 40196 [startup+1110.04 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 4279 Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 1299293 0 0 0 107369 3642 0 0 25 0 1 0 721403318 40665088 7403 4294967295 134512640 134714508 3221221776 3221217936 1075095371 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 9928 7411 1111 63 0 9865 0 vsize: 39712 [startup+1120.04 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 4279 Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 1309965 0 0 0 108339 3672 0 0 25 0 1 0 721403318 38137856 7387 4294967295 134512640 134714508 3221221776 3221217744 1075965234 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 9311 7387 1111 63 0 9248 0 vsize: 37244 [startup+1130.04 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 4279 Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 1325153 0 0 0 109297 3714 0 0 25 0 1 0 721403318 30384128 6716 4294967295 134512640 134714508 3221221776 3221220176 1074153815 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7418 6716 1111 63 0 7355 0 vsize: 29672 [startup+1140.04 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 4279 Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 1342604 0 0 0 110248 3764 0 0 25 0 1 0 721403318 30388224 6717 4294967295 134512640 134714508 3221221776 3221220176 1074153770 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7419 6717 1111 63 0 7356 0 vsize: 29676 [startup+1150.04 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 4279 Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 1357568 0 0 0 111206 3806 0 0 25 0 1 0 721403318 30392320 6718 4294967295 134512640 134714508 3221221776 3221220160 1074153770 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7420 6718 1111 63 0 7357 0 vsize: 29680 [startup+1160.04 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 4279 Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 1373841 0 0 0 112160 3852 0 0 25 0 1 0 721403318 30384128 6716 4294967295 134512640 134714508 3221221776 3221220160 1074153770 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7418 6716 1111 63 0 7355 0 vsize: 29672 [startup+1170.04 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 4279 Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 1390107 0 0 0 113112 3900 0 0 25 0 1 0 721403318 30392320 6718 4294967295 134512640 134714508 3221221776 3221220088 1074138162 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7420 6718 1111 63 0 7357 0 vsize: 29680 [startup+1175.19 s] Raw data (loadavg): 0.99 0.98 0.95 1/54 4279 Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 1390107 0 0 0 113112 3900 0 0 25 0 1 0 721403318 30392320 6718 4294967295 134512640 134714508 3221221776 3221220088 1074138162 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7420 6718 1111 63 0 7357 0 vsize: 0 Child status: 10 Real time (s): 1175.19 CPU time (s): 1175.28 CPU user time (s): 1136.08 CPU system time (s): 39.197 CPU usage (%): 100.008 Max. virtual memory (Kb): 41520 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### Verifier: OK -18 #### END VERIFIER DATA ####