Name | normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-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.01784 |
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 wulflinc13 THE 2005-05-25 01:32:15 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=13625 boxname=wulflinc13 idbench=1049 idsolver=1 numberseed=0 MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef /oldhome/oroussel/solvers/bsolo_lpr MD5SUM BENCH: 581d778a36086562107993896110e0a2 /oldhome/oroussel/tmp/wulflinc13/normalized-mps-v2-20-10-mod008.opb REAL COMMAND: bsolo_lpr /oldhome/oroussel/tmp/wulflinc13/normalized-mps-v2-20-10-mod008.opb IDLAUNCH: 13625 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.242 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.242 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: 753104 kB Buffers: 25280 kB Cached: 236188 kB SwapCached: 604 kB Active: 33152 kB Inactive: 230964 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 752852 kB SwapTotal: 2097136 kB SwapFree: 2096148 kB Dirty: 28 kB Writeback: 0 kB Mapped: 6148 kB Slab: 11752 kB Committed_AS: 63600 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-05-25 01:40:57 (client local time) WITH STATUS 30 IN 521.483 SECONDS stats: 13625 0 521.483 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.256 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.391 c NEW SOLUTION FOUND: 327 @ 0.648 c NEW SOLUTION FOUND: 326 @ 9.96 c NEW SOLUTION FOUND: 325 @ 10.343 c NEW SOLUTION FOUND: 308 @ 78.322 c NEW SOLUTION FOUND: 307 @ 211.374 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: 521.412 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.95 0.91 2/54 7309 Raw data (stat): 7309 (runsolver) R 7308 1269 1268 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 776727921 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+10.0009 s] Raw data (loadavg): 0.93 0.96 0.91 2/54 7309 Raw data (stat): 7309 (bsolo_lpr) R 7308 1269 1268 0 -1 0 6450 0 0 0 969 28 0 0 25 0 1 0 776727921 15867904 3176 4294967295 134512640 134714508 3221224592 3221222232 1077410205 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3874 3176 1111 63 0 3811 0 vsize: 15496 [startup+20.0017 s] Raw data (loadavg): 0.94 0.96 0.91 2/54 7309 Raw data (stat): 7309 (bsolo_lpr) R 7308 1269 1268 0 -1 0 10496 0 0 0 1945 53 0 0 25 0 1 0 776727921 18845696 3913 4294967295 134512640 134714508 3221224592 3221223232 134594336 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4601 3913 1111 63 0 4538 0 vsize: 18404 [startup+30.0018 s] Raw data (loadavg): 0.95 0.96 0.91 2/54 7309 Raw data (stat): 7309 (bsolo_lpr) R 7308 1269 1268 0 -1 0 14746 0 0 0 2922 76 0 0 25 0 1 0 776727921 22302720 4751 4294967295 134512640 134714508 3221224592 3221222592 1074918290 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5445 4751 1111 63 0 5382 0 vsize: 21780 [startup+40.0019 s] Raw data (loadavg): 0.96 0.96 0.91 2/54 7309 Raw data (stat): 7309 (bsolo_lpr) R 7308 1269 1268 0 -1 0 18626 0 0 0 3900 98 0 0 25 0 1 0 776727921 25206784 5463 4294967295 134512640 134714508 3221224592 3221223488 134621530 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6154 5463 1111 63 0 6091 0 vsize: 24616 [startup+50.0027 s] Raw data (loadavg): 0.96 0.96 0.91 2/54 7309 Raw data (stat): 7309 (bsolo_lpr) R 7308 1269 1268 0 -1 0 22790 0 0 0 4875 123 0 0 25 0 1 0 776727921 28786688 6288 4294967295 134512640 134714508 3221224592 3221221644 1074206272 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7008 6288 1111 63 0 6945 0 vsize: 28112 [startup+60.0028 s] Raw data (loadavg): 0.97 0.96 0.91 2/54 7309 Raw data (stat): 7309 (bsolo_lpr) R 7308 1269 1268 0 -1 0 27199 0 0 0 5852 147 0 0 25 0 1 0 776727921 33087488 7378 4294967295 134512640 134714508 3221224592 3221222992 1074118815 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8078 7378 1111 63 0 8015 0 vsize: 32312 [startup+70.0029 s] Raw data (loadavg): 0.97 0.96 0.91 2/54 7309 Raw data (stat): 7309 (bsolo_lpr) R 7308 1269 1268 0 -1 0 30504 0 0 0 6833 165 0 0 25 0 1 0 776727921 35889152 8056 4294967295 134512640 134714508 3221224592 3221223172 134542296 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8762 8056 1111 63 0 8699 0 vsize: 35048 [startup+80.0037 s] Raw data (loadavg): 0.98 0.96 0.91 2/54 7309 Raw data (stat): 7309 (bsolo_lpr) R 7308 1269 1268 0 -1 0 34238 0 0 0 7810 189 0 0 25 0 1 0 776727921 39796736 9002 4294967295 134512640 134714508 3221224592 3221222336 1075640210 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9716 9002 1111 63 0 9653 0 vsize: 38864 [startup+90.0038 s] Raw data (loadavg): 0.98 0.96 0.91 2/54 7309 Raw data (stat): 7309 (bsolo_lpr) R 7308 1269 1268 0 -1 0 35877 0 0 0 8801 197 0 0 25 0 1 0 776727921 43220992 9847 4294967295 134512640 134714508 3221224592 3221222320 1075828514 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10552 9847 1111 63 0 10489 0 vsize: 42208 [startup+100.005 s] Raw data (loadavg): 0.98 0.96 0.91 2/54 7309 Raw data (stat): 7309 (bsolo_lpr) R 7308 1269 1268 0 -1 0 37007 0 0 0 9794 204 0 0 25 0 1 0 776727921 44249088 10101 4294967295 134512640 134714508 3221224592 3221222320 1075828473 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10803 10101 1111 63 0 10740 0 vsize: 43212 [startup+110.005 s] Raw data (loadavg): 0.98 0.97 0.91 2/54 7309 Raw data (stat): 7309 (bsolo_lpr) R 7308 1269 1268 0 -1 0 41223 0 0 0 10775 224 0 0 25 0 1 0 776727921 49233920 11301 4294967295 134512640 134714508 3221224592 3221222560 1074247367 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 12012 11301 1111 63 0 11949 0 vsize: 48080 [startup+120.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 7309 Raw data (stat): 7309 (bsolo_lpr) R 7308 1269 1268 0 -1 0 42943 0 0 0 11765 234 0 0 25 0 1 0 776727921 52744192 12165 4294967295 134512640 134714508 3221224592 3221221696 1074138803 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 12877 12165 1111 63 0 12814 0 vsize: 51508 [startup+130.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 7309 Raw data (stat): 7309 (bsolo_lpr) R 7308 1269 1268 0 -1 0 43232 0 0 0 12761 238 0 0 25 0 1 0 776727921 53268480 12263 4294967295 134512640 134714508 3221224592 3221221512 1077378037 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 13005 12263 1111 63 0 12942 0 vsize: 52020 [startup+140.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 7309 Raw data (stat): 7309 (bsolo_lpr) R 7308 1269 1268 0 -1 0 45141 0 0 0 13751 249 0 0 25 0 1 0 776727921 57118720 13236 4294967295 134512640 134714508 3221224592 3221223464 134536900 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 13945 13236 1111 63 0 13882 0 vsize: 55780 [startup+150.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 7309 Raw data (stat): 7309 (bsolo_lpr) R 7308 1269 1268 0 -1 0 47926 0 0 0 14740 259 0 0 25 0 1 0 776727921 58413056 13510 4294967295 134512640 134714508 3221224592 3221221512 1074950105 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14214 13509 1111 63 0 14151 0 vsize: 57044 [startup+160.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 7309 Raw data (stat): 7309 (bsolo_lpr) R 7308 1269 1268 0 -1 0 52805 0 0 0 15721 279 0 0 25 0 1 0 776727921 60915712 14117 4294967295 134512640 134714508 3221224592 3221221512 1074950102 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14852 14117 1111 63 0 14789 0 vsize: 59488 [startup+170.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 7309 Raw data (stat): 7309 (bsolo_lpr) R 7308 1269 1268 0 -1 0 57491 0 0 0 16698 302 0 0 25 0 1 0 776727921 65261568 15211 4294967295 134512640 134714508 3221224592 3221223464 134543614 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 15933 15211 1111 63 0 15870 0 vsize: 63732 [startup+180.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 7309 Raw data (stat): 7309 (bsolo_lpr) R 7308 1269 1268 0 -1 0 58961 0 0 0 17690 310 0 0 25 0 1 0 776727921 68403200 15935 4294967295 134512640 134714508 3221224592 3221221248 1075966438 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 16658 15934 1111 63 0 16595 0 vsize: 66800 [startup+190.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 7309 Raw data (stat): 7309 (bsolo_lpr) R 7308 1269 1268 0 -1 0 59887 0 0 0 18684 316 0 0 25 0 1 0 776727921 70131712 16393 4294967295 134512640 134714508 3221224592 3221223488 134621515 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 17122 16393 1111 63 0 17059 0 vsize: 68488 [startup+200.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 7309 Raw data (stat): 7309 (bsolo_lpr) R 7308 1269 1268 0 -1 0 61013 0 0 0 19678 323 0 0 25 0 1 0 776727921 72298496 16919 4294967295 134512640 134714508 3221224592 3221223036 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 17651 16919 1111 63 0 17588 0 vsize: 70604 [startup+210.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 7309 Raw data (stat): 7309 (bsolo_lpr) R 7308 1269 1268 0 -1 0 61017 0 0 0 20676 325 0 0 25 0 1 0 776727921 72298496 16923 4294967295 134512640 134714508 3221224592 3221221696 1074138617 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 17651 16923 1111 63 0 17588 0 vsize: 70604 [startup+220.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 7309 Raw data (stat): 7309 (bsolo_lpr) R 7308 1269 1268 0 -1 0 63773 0 0 0 21663 338 0 0 25 0 1 0 776727921 77737984 18250 4294967295 134512640 134714508 3221224592 3221223212 1073992768 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.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 7309 Raw data (stat): 7309 (bsolo_lpr) R 7308 1269 1268 0 -1 0 64602 0 0 0 22656 344 0 0 25 0 1 0 776727921 79511552 18675 4294967295 134512640 134714508 3221224592 3221223464 134536921 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19412 18675 1111 63 0 19349 0 vsize: 77648 [startup+240.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 7309 Raw data (stat): 7309 (bsolo_lpr) R 7308 1269 1268 0 -1 0 64804 0 0 0 23653 348 0 0 25 0 1 0 776727921 80011264 18783 4294967295 134512640 134714508 3221224592 3221222988 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19534 18783 1111 63 0 19471 0 vsize: 78136 [startup+250.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 7309 Raw data (stat): 7309 (bsolo_lpr) R 7308 1269 1268 0 -1 0 64806 0 0 0 24651 350 0 0 25 0 1 0 776727921 80011264 18785 4294967295 134512640 134714508 3221224592 3221223312 134592104 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19534 18785 1111 63 0 19471 0 vsize: 78136 [startup+260.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 7309 Raw data (stat): 7309 (bsolo_lpr) R 7308 1269 1268 0 -1 0 68264 0 0 0 25631 370 0 0 25 0 1 0 776727921 82202624 19286 4294967295 134512640 134714508 3221224592 3221221512 1077378037 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20069 19286 1111 63 0 20006 0 vsize: 80276 [startup+270.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 7309 Raw data (stat): 7309 (bsolo_lpr) R 7308 1269 1268 0 -1 0 72236 0 0 0 26612 389 0 0 25 0 1 0 776727921 84328448 19836 4294967295 134512640 134714508 3221224592 3221222992 1074118815 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20588 19836 1111 63 0 20525 0 vsize: 82352 [startup+280.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 7309 Raw data (stat): 7309 (bsolo_lpr) R 7308 1269 1268 0 -1 0 76176 0 0 0 27594 407 0 0 25 0 1 0 776727921 89767936 21143 4294967295 134512640 134714508 3221224592 3221222552 1074138306 0 0 7 0 0 0 0 17 1 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.91 2/54 7309 Raw data (stat): 7309 (bsolo_lpr) R 7308 1269 1268 0 -1 0 77179 0 0 0 28589 412 0 0 25 0 1 0 776727921 91693056 21617 4294967295 134512640 134714508 3221224592 3221222592 1074056584 0 0 7 0 0 0 0 17 1 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.91 2/54 7309 Raw data (stat): 7309 (bsolo_lpr) R 7308 1269 1268 0 -1 0 77185 0 0 0 29588 414 0 0 25 0 1 0 776727921 91693056 21620 4294967295 134512640 134714508 3221224592 3221223232 134649077 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22386 21620 1111 63 0 22323 0 vsize: 89544 [startup+310.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 7309 Raw data (stat): 7309 (bsolo_lpr) R 7308 1269 1268 0 -1 0 78876 0 0 0 30578 424 0 0 25 0 1 0 776727921 95100928 22455 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 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.91 2/54 7309 Raw data (stat): 7309 (bsolo_lpr) R 7308 1269 1268 0 -1 0 78876 0 0 0 31576 426 0 0 25 0 1 0 776727921 95100928 22455 4294967295 134512640 134714508 3221224592 3221223020 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 23218 22455 1111 63 0 23155 0 vsize: 92872 [startup+330.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 7309 Raw data (stat): 7309 (bsolo_lpr) R 7308 1269 1268 0 -1 0 80683 0 0 0 32567 436 0 0 25 0 1 0 776727921 98938880 23370 4294967295 134512640 134714508 3221224592 3221223488 134621515 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24155 23370 1111 63 0 24092 0 vsize: 96620 [startup+340.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 7309 Raw data (stat): 7309 (bsolo_lpr) R 7308 1269 1268 0 -1 0 81492 0 0 0 33562 441 0 0 25 0 1 0 776727921 100253696 23687 4294967295 134512640 134714508 3221224592 3221220864 1074960771 0 0 7 0 0 0 0 17 1 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.91 2/54 7309 Raw data (stat): 7309 (bsolo_lpr) R 7308 1269 1268 0 -1 0 83688 0 0 0 34551 452 0 0 25 0 1 0 776727921 104767488 24752 4294967295 134512640 134714508 3221224592 3221223312 134625099 0 0 7 0 0 0 0 17 1 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.91 2/54 7309 Raw data (stat): 7309 (bsolo_lpr) R 7308 1269 1268 0 -1 0 83692 0 0 0 35548 454 0 0 25 0 1 0 776727921 104767488 24755 4294967295 134512640 134714508 3221224592 3221223052 1077781665 0 0 7 0 0 0 0 17 1 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.91 2/54 7309 Raw data (stat): 7309 (bsolo_lpr) R 7308 1269 1268 0 -1 0 85215 0 0 0 36539 464 0 0 25 0 1 0 776727921 105963520 25058 4294967295 134512640 134714508 3221224592 3221223036 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 25870 25058 1111 63 0 25807 0 vsize: 103480 [startup+380.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 7309 Raw data (stat): 7309 (bsolo_lpr) R 7308 1269 1268 0 -1 0 87148 0 0 0 37530 474 0 0 25 0 1 0 776727921 109309952 25867 4294967295 134512640 134714508 3221224592 3221222320 1075828451 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 26687 25867 1111 63 0 26624 0 vsize: 106748 [startup+390.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 7309 Raw data (stat): 7309 (bsolo_lpr) R 7308 1269 1268 0 -1 0 88097 0 0 0 38524 479 0 0 25 0 1 0 776727921 111308800 26358 4294967295 134512640 134714508 3221224592 3221223384 134543165 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 27175 26358 1111 63 0 27112 0 vsize: 108700 [startup+400.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 7309 Raw data (stat): 7309 (bsolo_lpr) R 7308 1269 1268 0 -1 0 90419 0 0 0 39513 491 0 0 25 0 1 0 776727921 115785728 27437 4294967295 134512640 134714508 3221224592 3221223036 1077781665 0 0 7 0 0 0 0 17 1 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.91 2/54 7309 Raw data (stat): 7309 (bsolo_lpr) R 7308 1269 1268 0 -1 0 90420 0 0 0 40512 492 0 0 25 0 1 0 776727921 115785728 27438 4294967295 134512640 134714508 3221224592 3221222704 1074867347 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 28268 27438 1111 63 0 28205 0 vsize: 113072 [startup+420.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 7309 Raw data (stat): 7309 (bsolo_lpr) R 7308 1269 1268 0 -1 0 92383 0 0 0 41504 500 0 0 25 0 1 0 776727921 119861248 28419 4294967295 134512640 134714508 3221224592 3221223488 134621515 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 29263 28419 1111 63 0 29200 0 vsize: 117052 [startup+430.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 7309 Raw data (stat): 7309 (bsolo_lpr) R 7308 1269 1268 0 -1 0 92384 0 0 0 42503 502 0 0 25 0 1 0 776727921 119861248 28420 4294967295 134512640 134714508 3221224592 3221222972 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 29263 28420 1111 63 0 29200 0 vsize: 117052 [startup+440.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 7309 Raw data (stat): 7309 (bsolo_lpr) R 7308 1269 1268 0 -1 0 92384 0 0 0 43500 504 0 0 25 0 1 0 776727921 119861248 28420 4294967295 134512640 134714508 3221224592 3221221576 1074831816 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 29263 28420 1111 63 0 29200 0 vsize: 117052 [startup+450.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 7309 Raw data (stat): 7309 (bsolo_lpr) R 7308 1269 1268 0 -1 0 95527 0 0 0 44489 516 0 0 25 0 1 0 776727921 125198336 29704 4294967295 134512640 134714508 3221224592 3221222988 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 30566 29704 1111 63 0 30503 0 vsize: 122264 [startup+460.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 7309 Raw data (stat): 7309 (bsolo_lpr) R 7308 1269 1268 0 -1 0 96152 0 0 0 45484 521 0 0 25 0 1 0 776727921 126349312 29998 4294967295 134512640 134714508 3221224592 3221221680 1074138986 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 30847 29998 1111 63 0 30784 0 vsize: 123388 [startup+470.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 7309 Raw data (stat): 7309 (bsolo_lpr) R 7308 1269 1268 0 -1 0 96152 0 0 0 46482 523 0 0 25 0 1 0 776727921 126349312 29998 4294967295 134512640 134714508 3221224592 3221220556 1074860626 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 30847 29998 1111 63 0 30784 0 vsize: 123388 [startup+480.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 7309 Raw data (stat): 7309 (bsolo_lpr) R 7308 1269 1268 0 -1 0 98768 0 0 0 47470 535 0 0 25 0 1 0 776727921 129888256 30846 4294967295 134512640 134714508 3221224592 3221221600 1074153672 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 31711 30846 1111 63 0 31648 0 vsize: 126844 [startup+490.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 7309 Raw data (stat): 7309 (bsolo_lpr) R 7308 1269 1268 0 -1 0 98784 0 0 0 48469 537 0 0 25 0 1 0 776727921 129888256 30854 4294967295 134512640 134714508 3221224592 3221222552 1074138315 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 31711 30854 1111 63 0 31648 0 vsize: 126844 [startup+500.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 7309 Raw data (stat): 7309 (bsolo_lpr) R 7308 1269 1268 0 -1 0 101281 0 0 0 49455 550 0 0 25 0 1 0 776727921 135016448 32060 4294967295 134512640 134714508 3221224592 3221221712 1074866254 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 32963 32060 1111 63 0 32900 0 vsize: 131852 [startup+510.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 7309 Raw data (stat): 7309 (bsolo_lpr) R 7308 1269 1268 0 -1 0 101281 0 0 0 50453 553 0 0 25 0 1 0 776727921 135016448 32060 4294967295 134512640 134714508 3221224592 3221222504 1074138256 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 32963 32060 1111 63 0 32900 0 vsize: 131852 [startup+520.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 7309 Raw data (stat): 7309 (bsolo_lpr) R 7308 1269 1268 0 -1 0 104556 0 0 0 51439 567 0 0 25 0 1 0 776727921 136945664 32484 4294967295 134512640 134714508 3221224592 3221223036 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 33434 32484 1111 63 0 33371 0 vsize: 133736 [startup+521.426 s] Raw data (loadavg): 0.99 0.97 0.91 1/53 7309 Raw data (stat): 7309 (bsolo_lpr) R 7308 1269 1268 0 -1 0 104556 0 0 0 51439 567 0 0 25 0 1 0 776727921 136945664 32484 4294967295 134512640 134714508 3221224592 3221223036 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 33434 32484 1111 63 0 33371 0 vsize: 0 Child status: 30 Real time (s): 521.425 CPU time (s): 521.483 CPU user time (s): 515.72 CPU system time (s): 5.76312 CPU usage (%): 100.011 Max. virtual memory (Kb): 133736 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### Verifier: OK 307 #### END VERIFIER DATA ####