Name | normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-mod008.opb |
MD5SUM | 581d778a36086562107993896110e0a2 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 307 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 319 |
Biggest coefficient in the objective function | 87 |
Number of bits for the biggest coefficient in the objective function | 7 |
Sum of the numbers in the objective function | 23554 |
Number of bits of the sum of numbers in the objective function | 15 |
Biggest number in a constraint | 22000 |
Number of bits of the biggest number in a constraint | 15 |
Biggest sum of numbers in a constraint | 1027256 |
Number of bits of the biggest sum of numbers | 20 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1.02084 |
Number of variables | 319 |
Total number of constraints | 325 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 319 |
Number of constraints which are nor clauses,nor cardinality constraints | 6 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 231 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc23 THE 2005-05-24 19:04:17 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=18617 boxname=wulflinc23 idbench=1433 idsolver=1 numberseed=0 MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef /oldhome/oroussel/solvers/bsolo_lpr MD5SUM BENCH: 581d778a36086562107993896110e0a2 /oldhome/oroussel/tmp/wulflinc23/normalized-mps-v2-13-7-mod008.opb REAL COMMAND: bsolo_lpr /oldhome/oroussel/tmp/wulflinc23/normalized-mps-v2-13-7-mod008.opb IDLAUNCH: 18617 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.037 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 890.88 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.037 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 899.07 /proc/meminfo: MemTotal: 1034660 kB MemFree: 834860 kB Buffers: 35592 kB Cached: 142652 kB SwapCached: 664 kB Active: 73500 kB Inactive: 107276 kB HighTotal: 131008 kB HighFree: 1960 kB LowTotal: 903652 kB LowFree: 832900 kB SwapTotal: 2097136 kB SwapFree: 2096032 kB Dirty: 340 kB Writeback: 0 kB Mapped: 5652 kB Slab: 13484 kB Committed_AS: 63600 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-05-24 19:12:57 (client local time) WITH STATUS 30 IN 519.785 SECONDS stats: 18617 0 519.785 30 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. c Initial problem consists of 319 variables and 6 constraints. c After prepocess the problem consists of 319 variables and 6 constraints. c preprocess terminated 0.257 s c Initial Lower Bound: 291 c Lower Bound Elapsed time: 0.0175 c Use computed LB before first solution. c NEW SOLUTION FOUND: 378 @ 0.393 c NEW SOLUTION FOUND: 327 @ 0.652 c NEW SOLUTION FOUND: 326 @ 9.974 c NEW SOLUTION FOUND: 325 @ 10.362 c NEW SOLUTION FOUND: 308 @ 77.888 c NEW SOLUTION FOUND: 307 @ 210.641 s OPTIMUM FOUND v -C2_0x2e__bit0 -C3_0x2e__bit0 C4_0x2e__bit0 -C5_0x2e__bit0 -C6_0x2e__bit0 -C7_0x2e__bit0 -C8_0x2e__bit0 -C9_0x2e__bit0 -C10_0x2e__bit0 -C11_0x2e__bit0 -C12_0x2e__bit0 -C13_0x2e__bit0 -C14_0x2e__bit0 -C15_0x2e__bit0 -C16_0x2e__bit0 -C17_0x2e__bit0 -C18_0x2e__bit0 -C19_0x2e__bit0 -C20_0x2e__bit0 -C21_0x2e__bit0 -C22_0x2e__bit0 -C23_0x2e__bit0 -C24_0x2e__bit0 -C25_0x2e__bit0 -C26_0x2e__bit0 -C27_0x2e__bit0 -C28_0x2e__bit0 -C29_0x2e__bit0 -C30_0x2e__bit0 -C31_0x2e__bit0 -C32_0x2e__bit0 -C33_0x2e__bit0 -C34_0x2e__bit0 -C35_0x2e__bit0 -C36_0x2e__bit0 -C37_0x2e__bit0 -C38_0x2e__bit0 -C39_0x2e__bit0 -C40_0x2e__bit0 -C41_0x2e__bit0 -C42_0x2e__bit0 -C43_0x2e__bit0 -C44_0x2e__bit0 -C45_0x2e__bit0 -C46_0x2e__bit0 -C47_0x2e__bit0 -C48_0x2e__bit0 -C49_0x2e__bit0 -C50_0x2e__bit0 -C51_0x2e__bit0 -C52_0x2e__bit0 -C53_0x2e__bit0 -C54_0x2e__bit0 -C55_0x2e__bit0 -C56_0x2e__bit0 -C57_0x2e__bit0 -C58_0x2e__bit0 -C59_0x2e__bit0 -C60_0x2e__bit0 C61_0x2e__bit0 -C62_0x2e__bit0 -C63_0x2e__bit0 -C64_0x2e__bit0 -C65_0x2e__bit0 -C66_0x2e__bit0 -C67_0x2e__bit0 -C68_0x2e__bit0 -C69_0x2e__bit0 -C70_0x2e__bit0 C71_0x2e__bit0 -C72_0x2e__bit0 -C73_0x2e__bit0 -C74_0x2e__bit0 -C75_0x2e__bit0 -C76_0x2e__bit0 -C77_0x2e__bit0 -C78_0x2e__bit0 -C79_0x2e__bit0 -C80_0x2e__bit0 -C81_0x2e__bit0 -C82_0x2e__bit0 -C83_0x2e__bit0 -C84_0x2e__bit0 -C85_0x2e__bit0 -C86_0x2e__bit0 -C87_0x2e__bit0 -C88_0x2e__bit0 -C89_0x2e__bit0 -C90_0x2e__bit0 -C91_0x2e__bit0 -C92_0x2e__bit0 -C93_0x2e__bit0 -C94_0x2e__bit0 -C95_0x2e__bit0 -C96_0x2e__bit0 -C97_0x2e__bit0 -C98_0x2e__bit0 -C99_0x2e__bit0 -C100_0x2e__bit0 -C101_0x2e__bit0 -C102_0x2e__bit0 -C103_0x2e__bit0 -C104_0x2e__bit0 -C105_0x2e__bit0 -C106_0x2e__bit0 -C107_0x2e__bit0 -C108_0x2e__bit0 -C109_0x2e__bit0 -C110_0x2e__bit0 -C111_0x2e__bit0 -C112_0x2e__bit0 -C113_0x2e__bit0 -C114_0x2e__bit0 -C115_0x2e__bit0 -C116_0x2e__bit0 -C117_0x2e__bit0 C118_0x2e__bit0 -C119_0x2e__bit0 -C120_0x2e__bit0 -C121_0x2e__bit0 -C122_0x2e__bit0 -C123_0x2e__bit0 -C124_0x2e__bit0 C125_0x2e__bit0 -C126_0x2e__bit0 -C127_0x2e__bit0 -C128_0x2e__bit0 -C129_0x2e__bit0 -C130_0x2e__bit0 -C131_0x2e__bit0 -C132_0x2e__bit0 -C133_0x2e__bit0 -C134_0x2e__bit0 -C135_0x2e__bit0 -C136_0x2e__bit0 -C137_0x2e__bit0 -C138_0x2e__bit0 -C139_0x2e__bit0 -C140_0x2e__bit0 -C141_0x2e__bit0 -C142_0x2e__bit0 -C143_0x2e__bit0 -C144_0x2e__bit0 -C145_0x2e__bit0 -C146_0x2e__bit0 -C147_0x2e__bit0 -C148_0x2e__bit0 -C149_0x2e__bit0 -C150_0x2e__bit0 -C151_0x2e__bit0 -C152_0x2e__bit0 -C153_0x2e__bit0 -C154_0x2e__bit0 -C155_0x2e__bit0 -C156_0x2e__bit0 -C157_0x2e__bit0 -C158_0x2e__bit0 -C159_0x2e__bit0 -C160_0x2e__bit0 -C161_0x2e__bit0 -C162_0x2e__bit0 -C163_0x2e__bit0 -C164_0x2e__bit0 -C165_0x2e__bit0 -C166_0x2e__bit0 -C167_0x2e__bit0 -C168_0x2e__bit0 -C169_0x2e__bit0 -C170_0x2e__bit0 -C171_0x2e__bit0 -C172_0x2e__bit0 -C173_0x2e__bit0 -C174_0x2e__bit0 -C175_0x2e__bit0 -C176_0x2e__bit0 -C177_0x2e__bit0 -C178_0x2e__bit0 -C179_0x2e__bit0 -C180_0x2e__bit0 -C181_0x2e__bit0 -C182_0x2e__bit0 -C183_0x2e__bit0 -C184_0x2e__bit0 -C185_0x2e__bit0 -C186_0x2e__bit0 -C187_0x2e__bit0 -C188_0x2e__bit0 -C189_0x2e__bit0 -C190_0x2e__bit0 -C191_0x2e__bit0 -C192_0x2e__bit0 -C193_0x2e__bit0 -C194_0x2e__bit0 -C195_0x2e__bit0 -C196_0x2e__bit0 -C197_0x2e__bit0 -C198_0x2e__bit0 -C199_0x2e__bit0 -C200_0x2e__bit0 -C201_0x2e__bit0 -C202_0x2e__bit0 -C203_0x2e__bit0 -C204_0x2e__bit0 -C205_0x2e__bit0 -C206_0x2e__bit0 -C207_0x2e__bit0 -C208_0x2e__bit0 -C209_0x2e__bit0 -C210_0x2e__bit0 -C211_0x2e__bit0 -C212_0x2e__bit0 -C213_0x2e__bit0 -C214_0x2e__bit0 -C215_0x2e__bit0 -C216_0x2e__bit0 -C217_0x2e__bit0 -C218_0x2e__bit0 -C219_0x2e__bit0 -C220_0x2e__bit0 -C221_0x2e__bit0 -C222_0x2e__bit0 -C223_0x2e__bit0 -C224_0x2e__bit0 -C225_0x2e__bit0 -C226_0x2e__bit0 -C227_0x2e__bit0 -C228_0x2e__bit0 -C229_0x2e__bit0 -C230_0x2e__bit0 -C231_0x2e__bit0 -C232_0x2e__bit0 -C233_0x2e__bit0 -C234_0x2e__bit0 -C235_0x2e__bit0 -C236_0x2e__bit0 -C237_0x2e__bit0 -C238_0x2e__bit0 -C239_0x2e__bit0 -C240_0x2e__bit0 -C241_0x2e__bit0 -C242_0x2e__bit0 -C243_0x2e__bit0 -C244_0x2e__bit0 -C245_0x2e__bit0 -C246_0x2e__bit0 -C247_0x2e__bit0 -C248_0x2e__bit0 -C249_0x2e__bit0 -C250_0x2e__bit0 -C251_0x2e__bit0 -C252_0x2e__bit0 -C253_0x2e__bit0 -C254_0x2e__bit0 -C255_0x2e__bit0 -C256_0x2e__bit0 -C257_0x2e__bit0 -C258_0x2e__bit0 -C259_0x2e__bit0 -C260_0x2e__bit0 -C261_0x2e__bit0 -C262_0x2e__bit0 -C263_0x2e__bit0 -C264_0x2e__bit0 -C265_0x2e__bit0 -C266_0x2e__bit0 -C267_0x2e__bit0 -C268_0x2e__bit0 -C269_0x2e__bit0 -C270_0x2e__bit0 -C271_0x2e__bit0 -C272_0x2e__bit0 -C273_0x2e__bit0 -C274_0x2e__bit0 -C275_0x2e__bit0 -C276_0x2e__bit0 -C277_0x2e__bit0 -C278_0x2e__bit0 -C279_0x2e__bit0 -C280_0x2e__bit0 -C281_0x2e__bit0 -C282_0x2e__bit0 -C283_0x2e__bit0 -C284_0x2e__bit0 -C285_0x2e__bit0 -C286_0x2e__bit0 -C287_0x2e__bit0 -C288_0x2e__bit0 -C289_0x2e__bit0 -C290_0x2e__bit0 -C291_0x2e__bit0 -C292_0x2e__bit0 -C293_0x2e__bit0 -C294_0x2e__bit0 -C295_0x2e__bit0 -C296_0x2e__bit0 -C297_0x2e__bit0 -C298_0x2e__bit0 -C299_0x2e__bit0 -C300_0x2e__bit0 -C301_0x2e__bit0 -C302_0x2e__bit0 -C303_0x2e__bit0 -C304_0x2e__bit0 -C305_0x2e__bit0 -C306_0x2e__bit0 -C307_0x2e__bit0 -C308_0x2e__bit0 -C309_0x2e__bit0 -C310_0x2e__bit0 -C311_0x2e__bit0 -C312_0x2e__bit0 -C313_0x2e__bit0 -C314_0x2e__bit0 -C315_0x2e__bit0 -C316_0x2e__bit0 -C317_0x2e__bit0 -C318_0x2e__bit0 -C319_0x2e__bit0 -C320_0x2e__bit0 c Exit Code: 30 c Total time: 519.717 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.91 0.95 0.92 2/54 8739 Raw data (stat): 8739 (runsolver) R 8738 5562 5561 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 832616873 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0 Raw data (statm): 257 99 215 215 0 42 0 vsize: 1028 [startup+9.99986 s] Raw data (loadavg): 0.93 0.95 0.92 2/54 8739 Raw data (stat): 8739 (bsolo_lpr) R 8738 5562 5561 0 -1 0 6447 0 0 0 969 28 0 0 25 0 1 0 832616873 15839232 3176 4294967295 134512640 134714508 3221224592 3221222512 1075799712 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3867 3176 1111 63 0 3804 0 vsize: 15468 [startup+20.0006 s] Raw data (loadavg): 0.94 0.96 0.92 2/54 8739 Raw data (stat): 8739 (bsolo_lpr) R 8738 5562 5561 0 -1 0 10524 0 0 0 1945 53 0 0 25 0 1 0 832616873 18874368 3920 4294967295 134512640 134714508 3221224592 3221222844 1077411564 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4608 3920 1111 63 0 4545 0 vsize: 18432 [startup+30.0008 s] Raw data (loadavg): 0.95 0.96 0.92 2/54 8739 Raw data (stat): 8739 (bsolo_lpr) R 8738 5562 5561 0 -1 0 14824 0 0 0 2919 79 0 0 25 0 1 0 832616873 22515712 4773 4294967295 134512640 134714508 3221224592 3221221708 1077404826 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5497 4773 1111 63 0 5434 0 vsize: 21988 [startup+40.0019 s] Raw data (loadavg): 0.95 0.96 0.92 2/54 8739 Raw data (stat): 8739 (bsolo_lpr) R 8738 5562 5561 0 -1 0 18712 0 0 0 3896 102 0 0 25 0 1 0 832616873 25329664 5483 4294967295 134512640 134714508 3221224592 3221222916 1077374508 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6184 5483 1111 63 0 6121 0 vsize: 24736 [startup+50.0025 s] Raw data (loadavg): 0.96 0.96 0.92 2/54 8739 Raw data (stat): 8739 (bsolo_lpr) R 8738 5562 5561 0 -1 0 22901 0 0 0 4873 125 0 0 25 0 1 0 832616873 28655616 6305 4294967295 134512640 134714508 3221224592 3221221216 1074146286 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6996 6305 1111 63 0 6933 0 vsize: 27984 [startup+60.0018 s] Raw data (loadavg): 0.97 0.96 0.92 2/54 8739 Raw data (stat): 8739 (bsolo_lpr) R 8738 5562 5561 0 -1 0 27199 0 0 0 5849 149 0 0 25 0 1 0 832616873 33087488 7378 4294967295 134512640 134714508 3221224592 3221223488 134621515 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8078 7378 1111 63 0 8015 0 vsize: 32312 [startup+70.0028 s] Raw data (loadavg): 0.97 0.96 0.92 2/54 8739 Raw data (stat): 8739 (bsolo_lpr) R 8738 5562 5561 0 -1 0 30618 0 0 0 6833 165 0 0 25 0 1 0 832616873 35946496 8079 4294967295 134512640 134714508 3221224592 3221222512 1075799735 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8776 8079 1111 63 0 8713 0 vsize: 35104 [startup+80.0034 s] Raw data (loadavg): 0.98 0.96 0.92 2/54 8739 Raw data (stat): 8739 (bsolo_lpr) R 8738 5562 5561 0 -1 0 34437 0 0 0 7811 188 0 0 25 0 1 0 832616873 40161280 9094 4294967295 134512640 134714508 3221224592 3221223464 134536900 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9805 9094 1111 63 0 9742 0 vsize: 39220 [startup+90.0037 s] Raw data (loadavg): 0.98 0.96 0.92 2/54 8739 Raw data (stat): 8739 (bsolo_lpr) R 8738 5562 5561 0 -1 0 35877 0 0 0 8802 197 0 0 25 0 1 0 832616873 43220992 9847 4294967295 134512640 134714508 3221224592 3221222592 1074913812 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10552 9847 1111 63 0 10489 0 vsize: 42208 [startup+100.004 s] Raw data (loadavg): 0.98 0.96 0.92 2/54 8741 Raw data (stat): 8739 (bsolo_lpr) R 8738 5562 5561 0 -1 0 37268 0 0 0 9792 207 0 0 25 0 1 0 832616873 44507136 10159 4294967295 134512640 134714508 3221224592 3221222772 1077378674 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10866 10159 1111 63 0 10803 0 vsize: 43464 [startup+110.003 s] Raw data (loadavg): 0.98 0.96 0.92 2/54 8741 Raw data (stat): 8739 (bsolo_lpr) R 8738 5562 5561 0 -1 0 41438 0 0 0 10772 227 0 0 25 0 1 0 832616873 49700864 11411 4294967295 134512640 134714508 3221224592 3221221936 1074839045 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 12134 11411 1111 63 0 12071 0 vsize: 48536 [startup+120.004 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 8741 Raw data (stat): 8739 (bsolo_lpr) R 8738 5562 5561 0 -1 0 42943 0 0 0 11764 236 0 0 25 0 1 0 832616873 52744192 12165 4294967295 134512640 134714508 3221224592 3221222512 1075799635 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 12877 12165 1111 63 0 12814 0 vsize: 51508 [startup+130.004 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 8741 Raw data (stat): 8739 (bsolo_lpr) R 8738 5562 5561 0 -1 0 43542 0 0 0 12758 241 0 0 25 0 1 0 832616873 53661696 12390 4294967295 134512640 134714508 3221224592 3221223376 134624874 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 13101 12390 1111 63 0 13038 0 vsize: 52404 [startup+140.004 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 8741 Raw data (stat): 8739 (bsolo_lpr) R 8738 5562 5561 0 -1 0 45141 0 0 0 13752 247 0 0 25 0 1 0 832616873 57118720 13236 4294967295 134512640 134714508 3221224592 3221222560 1075961312 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 13945 13236 1111 63 0 13882 0 vsize: 55780 [startup+150.005 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 8741 Raw data (stat): 8739 (bsolo_lpr) R 8738 5562 5561 0 -1 0 48275 0 0 0 14739 260 0 0 25 0 1 0 832616873 58474496 13571 4294967295 134512640 134714508 3221224592 3221221480 134543187 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 14276 13571 1111 63 0 14213 0 vsize: 57104 [startup+160.005 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 8741 Raw data (stat): 8739 (bsolo_lpr) R 8738 5562 5561 0 -1 0 53088 0 0 0 15721 279 0 0 25 0 1 0 832616873 60866560 14154 4294967295 134512640 134714508 3221224592 3221222512 1075799732 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 14860 14154 1111 63 0 14797 0 vsize: 59440 [startup+170.005 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 8741 Raw data (stat): 8739 (bsolo_lpr) R 8738 5562 5561 0 -1 0 57838 0 0 0 16696 304 0 0 25 0 1 0 832616873 65978368 15378 4294967295 134512640 134714508 3221224592 3221223464 134536921 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 16108 15378 1111 63 0 16045 0 vsize: 64432 [startup+180.005 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 8741 Raw data (stat): 8739 (bsolo_lpr) R 8738 5562 5561 0 -1 0 59420 0 0 0 17688 312 0 0 25 0 1 0 832616873 69349376 16160 4294967295 134512640 134714508 3221224592 3221221168 1076047591 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 16931 16160 1111 63 0 16868 0 vsize: 67724 [startup+190.005 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 8741 Raw data (stat): 8739 (bsolo_lpr) R 8738 5562 5561 0 -1 0 59887 0 0 0 18684 316 0 0 25 0 1 0 832616873 70131712 16393 4294967295 134512640 134714508 3221224592 3221223464 134543609 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17122 16393 1111 63 0 17059 0 vsize: 68488 [startup+200.005 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 8741 Raw data (stat): 8739 (bsolo_lpr) R 8738 5562 5561 0 -1 0 61013 0 0 0 19677 323 0 0 25 0 1 0 832616873 72298496 16919 4294967295 134512640 134714508 3221224592 3221223216 1074028310 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17651 16919 1111 63 0 17588 0 vsize: 70604 [startup+210.005 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 8741 Raw data (stat): 8739 (bsolo_lpr) R 8738 5562 5561 0 -1 0 61217 0 0 0 20675 325 0 0 25 0 1 0 832616873 72757248 17018 4294967295 134512640 134714508 3221224592 3221222776 1077379963 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17763 17018 1111 63 0 17700 0 vsize: 71052 [startup+220.005 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 8741 Raw data (stat): 8739 (bsolo_lpr) R 8738 5562 5561 0 -1 0 63773 0 0 0 21661 339 0 0 25 0 1 0 832616873 77737984 18250 4294967295 134512640 134714508 3221224592 3221222944 1074115298 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18979 18250 1111 63 0 18916 0 vsize: 75916 [startup+230.005 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 8741 Raw data (stat): 8739 (bsolo_lpr) R 8738 5562 5561 0 -1 0 64804 0 0 0 22654 347 0 0 25 0 1 0 832616873 80039936 18783 4294967295 134512640 134714508 3221224592 3221223488 134621530 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 19541 18783 1111 63 0 19478 0 vsize: 78164 [startup+240.006 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 8741 Raw data (stat): 8739 (bsolo_lpr) R 8738 5562 5561 0 -1 0 64804 0 0 0 23651 349 0 0 25 0 1 0 832616873 80011264 18783 4294967295 134512640 134714508 3221224592 3221223184 1074121501 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 19534 18783 1111 63 0 19471 0 vsize: 78136 [startup+250.006 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 8741 Raw data (stat): 8739 (bsolo_lpr) R 8738 5562 5561 0 -1 0 64834 0 0 0 24648 353 0 0 25 0 1 0 832616873 80011264 18790 4294967295 134512640 134714508 3221224592 3221221696 1074138723 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 19534 18790 1111 63 0 19471 0 vsize: 78136 [startup+260.006 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 8741 Raw data (stat): 8739 (bsolo_lpr) R 8738 5562 5561 0 -1 0 68603 0 0 0 25629 372 0 0 25 0 1 0 832616873 82407424 19365 4294967295 134512640 134714508 3221224592 3221221512 1074950119 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20119 19365 1111 63 0 20056 0 vsize: 80476 [startup+270.007 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 8741 Raw data (stat): 8739 (bsolo_lpr) R 8738 5562 5561 0 -1 0 72749 0 0 0 26611 389 0 0 25 0 1 0 832616873 84660224 19916 4294967295 134512640 134714508 3221224592 3221221696 1074138847 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20669 19916 1111 63 0 20606 0 vsize: 82676 [startup+280.006 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 8741 Raw data (stat): 8739 (bsolo_lpr) R 8738 5562 5561 0 -1 0 76176 0 0 0 27593 408 0 0 25 0 1 0 832616873 89767936 21143 4294967295 134512640 134714508 3221224592 3221223072 134543030 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21916 21143 1111 63 0 21853 0 vsize: 87664 [startup+290.007 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 8741 Raw data (stat): 8739 (bsolo_lpr) R 8738 5562 5561 0 -1 0 77179 0 0 0 28587 414 0 0 25 0 1 0 832616873 91693056 21617 4294967295 134512640 134714508 3221224592 3221222592 1074918825 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 22386 21617 1111 63 0 22323 0 vsize: 89544 [startup+300.008 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 8741 Raw data (stat): 8739 (bsolo_lpr) R 8738 5562 5561 0 -1 0 77185 0 0 0 29585 416 0 0 25 0 1 0 832616873 91693056 21620 4294967295 134512640 134714508 3221224592 3221221712 1074834346 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 22386 21620 1111 63 0 22323 0 vsize: 89544 [startup+310.007 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 8741 Raw data (stat): 8739 (bsolo_lpr) R 8738 5562 5561 0 -1 0 78876 0 0 0 30575 426 0 0 25 0 1 0 832616873 95100928 22455 4294967295 134512640 134714508 3221224592 3221221696 1074138623 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 23218 22455 1111 63 0 23155 0 vsize: 92872 [startup+320.007 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 8741 Raw data (stat): 8739 (bsolo_lpr) R 8738 5562 5561 0 -1 0 79091 0 0 0 31572 430 0 0 25 0 1 0 832616873 95473664 22531 4294967295 134512640 134714508 3221224592 3221223368 134613542 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 23309 22531 1111 63 0 23246 0 vsize: 93236 [startup+330.008 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 8741 Raw data (stat): 8739 (bsolo_lpr) R 8738 5562 5561 0 -1 0 81001 0 0 0 32561 441 0 0 25 0 1 0 832616873 99495936 23495 4294967295 134512640 134714508 3221224592 3221223464 134536904 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 24291 23495 1111 63 0 24228 0 vsize: 97164 [startup+340.008 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 8741 Raw data (stat): 8739 (bsolo_lpr) R 8738 5562 5561 0 -1 0 81492 0 0 0 33558 444 0 0 25 0 1 0 832616873 100253696 23687 4294967295 134512640 134714508 3221224592 3221222700 1075463961 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 24476 23687 1111 63 0 24413 0 vsize: 97904 [startup+350.008 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 8741 Raw data (stat): 8739 (bsolo_lpr) R 8738 5562 5561 0 -1 0 83688 0 0 0 34549 453 0 0 25 0 1 0 832616873 104767488 24752 4294967295 134512640 134714508 3221224592 3221220704 1075895555 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 25578 24752 1111 63 0 25515 0 vsize: 102312 [startup+360.009 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 8741 Raw data (stat): 8739 (bsolo_lpr) R 8738 5562 5561 0 -1 0 83692 0 0 0 35546 456 0 0 25 0 1 0 832616873 104767488 24755 4294967295 134512640 134714508 3221224592 3221221712 1074865092 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 25578 24755 1111 63 0 25515 0 vsize: 102312 [startup+370.009 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 8741 Raw data (stat): 8739 (bsolo_lpr) R 8738 5562 5561 0 -1 0 85982 0 0 0 36535 467 0 0 25 0 1 0 832616873 107372544 25385 4294967295 134512640 134714508 3221224592 3221223056 1074120291 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 26214 25385 1111 63 0 26151 0 vsize: 104856 [startup+380.009 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 8741 Raw data (stat): 8739 (bsolo_lpr) R 8738 5562 5561 0 -1 0 87838 0 0 0 37528 474 0 0 25 0 1 0 832616873 110813184 26234 4294967295 134512640 134714508 3221224592 3221223488 134621530 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 27054 26234 1111 63 0 26991 0 vsize: 108216 [startup+390.009 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 8741 Raw data (stat): 8739 (bsolo_lpr) R 8738 5562 5561 0 -1 0 88097 0 0 0 38525 477 0 0 25 0 1 0 832616873 111308800 26358 4294967295 134512640 134714508 3221224592 3221220556 1074860626 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 27175 26358 1111 63 0 27112 0 vsize: 108700 [startup+400.01 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 8741 Raw data (stat): 8739 (bsolo_lpr) R 8738 5562 5561 0 -1 0 90419 0 0 0 39516 486 0 0 25 0 1 0 832616873 115785728 27437 4294967295 134512640 134714508 3221224592 3221222336 1075646987 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28268 27437 1111 63 0 28205 0 vsize: 113072 [startup+410.01 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 8741 Raw data (stat): 8739 (bsolo_lpr) R 8738 5562 5561 0 -1 0 90635 0 0 0 40513 490 0 0 25 0 1 0 832616873 116244480 27543 4294967295 134512640 134714508 3221224592 3221223472 134621636 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28380 27543 1111 63 0 28317 0 vsize: 113520 [startup+420.011 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 8741 Raw data (stat): 8739 (bsolo_lpr) R 8738 5562 5561 0 -1 0 92383 0 0 0 41506 497 0 0 25 0 1 0 832616873 119861248 28419 4294967295 134512640 134714508 3221224592 3221221632 1075860595 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 29263 28419 1111 63 0 29200 0 vsize: 117052 [startup+430.011 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 8741 Raw data (stat): 8739 (bsolo_lpr) R 8738 5562 5561 0 -1 0 92384 0 0 0 42503 500 0 0 25 0 1 0 832616873 119861248 28420 4294967295 134512640 134714508 3221224592 3221223212 134558476 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 29263 28420 1111 63 0 29200 0 vsize: 117052 [startup+440.012 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 8741 Raw data (stat): 8739 (bsolo_lpr) R 8738 5562 5561 0 -1 0 92395 0 0 0 43500 503 0 0 25 0 1 0 832616873 119873536 28423 4294967295 134512640 134714508 3221224592 3221222592 1074921338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 29266 28423 1111 63 0 29203 0 vsize: 117064 [startup+450.012 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 8741 Raw data (stat): 8739 (bsolo_lpr) R 8738 5562 5561 0 -1 0 95527 0 0 0 44486 517 0 0 25 0 1 0 832616873 125198336 29704 4294967295 134512640 134714508 3221224592 3221221324 1077411564 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30566 29704 1111 63 0 30503 0 vsize: 122264 [startup+460.013 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 8741 Raw data (stat): 8739 (bsolo_lpr) R 8738 5562 5561 0 -1 0 96152 0 0 0 45481 522 0 0 25 0 1 0 832616873 126349312 29998 4294967295 134512640 134714508 3221224592 3221223440 134623456 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30847 29998 1111 63 0 30784 0 vsize: 123388 [startup+470.013 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 8741 Raw data (stat): 8739 (bsolo_lpr) R 8738 5562 5561 0 -1 0 96168 0 0 0 46479 524 0 0 25 0 1 0 832616873 126349312 30006 4294967295 134512640 134714508 3221224592 3221222872 1074138290 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30847 30006 1111 63 0 30784 0 vsize: 123388 [startup+480.013 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 8741 Raw data (stat): 8739 (bsolo_lpr) R 8738 5562 5561 0 -1 0 98768 0 0 0 47467 537 0 0 25 0 1 0 832616873 129888256 30846 4294967295 134512640 134714508 3221224592 3221220664 1074950142 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 31711 30846 1111 63 0 31648 0 vsize: 126844 [startup+490.013 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 8741 Raw data (stat): 8739 (bsolo_lpr) R 8738 5562 5561 0 -1 0 98786 0 0 0 48464 540 0 0 25 0 1 0 832616873 129888256 30856 4294967295 134512640 134714508 3221224592 3221222944 1074115296 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 31711 30856 1111 63 0 31648 0 vsize: 126844 [startup+500.014 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 8741 Raw data (stat): 8739 (bsolo_lpr) R 8738 5562 5561 0 -1 0 101281 0 0 0 49451 553 0 0 25 0 1 0 832616873 135016448 32060 4294967295 134512640 134714508 3221224592 3221222704 1074867331 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 32963 32060 1111 63 0 32900 0 vsize: 131852 [startup+510.013 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 8741 Raw data (stat): 8739 (bsolo_lpr) R 8738 5562 5561 0 -1 0 101281 0 0 0 50448 556 0 0 25 0 1 0 832616873 135016448 32060 4294967295 134512640 134714508 3221224592 3221222512 1075799488 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 32963 32060 1111 63 0 32900 0 vsize: 131852 [startup+519.749 s] Raw data (loadavg): 0.99 0.97 0.92 1/53 8741 Raw data (stat): 8739 (bsolo_lpr) R 8738 5562 5561 0 -1 0 101281 0 0 0 50448 556 0 0 25 0 1 0 832616873 135016448 32060 4294967295 134512640 134714508 3221224592 3221222512 1075799488 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 32963 32060 1111 63 0 32900 0 vsize: 0 Child status: 30 Real time (s): 519.749 CPU time (s): 519.785 CPU user time (s): 514.001 CPU system time (s): 5.78412 CPU usage (%): 100.007 Max. virtual memory (Kb): 131852 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### Verifier: OK 307 #### END VERIFIER DATA ####