Name | normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-pipex.opb |
MD5SUM | b9c1029cc1d97a8d60e984f96f5d3267 |
Bench Category | optimization, medium integers (OPTMEDINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 788263 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 48 |
Biggest coefficient in the objective function | 107865 |
Number of bits for the biggest coefficient in the objective function | 17 |
Sum of the numbers in the objective function | 2514082 |
Number of bits of the sum of numbers in the objective function | 22 |
Biggest number in a constraint | 107865 |
Number of bits of the biggest number in a constraint | 17 |
Biggest sum of numbers in a constraint | 2514082 |
Number of bits of the biggest sum of numbers | 22 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1.02684 |
Number of variables | 48 |
Total number of constraints | 73 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 64 |
Number of constraints which are nor clauses,nor cardinality constraints | 9 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 16 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc4 THE 2005-05-24 22:22:10 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=17188 boxname=wulflinc4 idbench=1323 idsolver=2 numberseed=0 MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7 /oldhome/oroussel/solvers/bsolo_lpr_cuts MD5SUM BENCH: b9c1029cc1d97a8d60e984f96f5d3267 /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-pipex.opb REAL COMMAND: bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-pipex.opb IDLAUNCH: 17188 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.169 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 : 2 cpu MHz : 451.169 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: 824312 kB Buffers: 34556 kB Cached: 155476 kB SwapCached: 504 kB Active: 58972 kB Inactive: 133536 kB HighTotal: 131008 kB HighFree: 392 kB LowTotal: 903652 kB LowFree: 823920 kB SwapTotal: 2097136 kB SwapFree: 2096156 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5948 kB Slab: 12064 kB Committed_AS: 71796 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-05-24 22:41:51 (client local time) WITH STATUS 10 IN 1180.77 SECONDS stats: 17188 0 1180.77 10 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. c Initial problem consists of 48 variables and 41 constraints. c After prepocess the problem consists of 48 variables and 41 constraints. c preprocess terminated 0.057 s c Initial Lower Bound: 773839 c Lower Bound Elapsed time: 0.0079 c Use computed LB before first solution. c NEW SOLUTION FOUND: 860146 @ 0.313 c NEW SOLUTION FOUND: 853660 @ 8.457 c NEW SOLUTION FOUND: 852572 @ 9.333 c NEW SOLUTION FOUND: 843805 @ 9.979 c NEW SOLUTION FOUND: 839325 @ 10.584 c NEW SOLUTION FOUND: 836685 @ 10.604 c NEW SOLUTION FOUND: 833685 @ 12.196 c NEW SOLUTION FOUND: 828950 @ 25.525 c NEW SOLUTION FOUND: 827319 @ 40.182 c NEW SOLUTION FOUND: 825481 @ 63.186 c NEW SOLUTION FOUND: 819714 @ 63.594 c NEW SOLUTION FOUND: 819381 @ 71.67 c NEW SOLUTION FOUND: 817338 @ 90.355 c NEW SOLUTION FOUND: 816629 @ 141.331 c NEW SOLUTION FOUND: 810199 @ 141.78 c NEW SOLUTION FOUND: 809779 @ 383.679 c NEW SOLUTION FOUND: 805682 @ 495.088 c NEW SOLUTION FOUND: 801381 @ 954.688 s SATISFIABLE v QUAN0101_bit0 QUAN0102_bit0 -QUAN0103_bit0 -QUAN0104_bit0 -QUAN0105_bit0 -QUAN0106_bit0 -QUAN0107_bit0 -QUAN0108_bit0 QUAN0109_bit0 -QUAN0110_bit0 -QUAN0111_bit0 -QUAN0112_bit0 -QUAN0113_bit0 QUAN0114_bit0 -QUAN0115_bit0 -QUAN0116_bit0 -QUAN0201_bit0 -QUAN0202_bit0 -QUAN0203_bit0 QUAN0204_bit0 -QUAN0205_bit0 -QUAN0206_bit0 -QUAN0207_bit0 QUAN0208_bit0 -QUAN0209_bit0 -QUAN0210_bit0 QUAN0211_bit0 QUAN0212_bit0 -QUAN0213_bit0 -QUAN0214_bit0 QUAN0215_bit0 QUAN0216_bit0 -QUAN0301_bit0 -QUAN0302_bit0 QUAN0303_bit0 -QUAN0304_bit0 QUAN0305_bit0 QUAN0306_bit0 QUAN0307_bit0 -QUAN0308_bit0 -QUAN0309_bit0 QUAN0310_bit0 -QUAN0311_bit0 -QUAN0312_bit0 QUAN0313_bit0 -QUAN0314_bit0 -QUAN0315_bit0 -QUAN0316_bit0 c Exit Code: 10 c Total time: 1180.73 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.84 0.95 0.96 2/54 24055 Raw data (stat): 24055 (runsolver) R 24054 21152 21151 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 775572551 1052672 99 4294967295 134512640 135381576 3221224496 3221219708 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.0016 s] Raw data (loadavg): 0.87 0.95 0.96 2/54 24055 Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 13723 0 0 0 958 39 0 0 25 0 1 0 775572551 7561216 1164 4294967295 134512640 134714508 3221224592 3221222676 1077374550 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1846 1164 1111 63 0 1783 0 vsize: 7384 [startup+20.0019 s] Raw data (loadavg): 0.89 0.95 0.96 2/54 24055 Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 35706 0 0 0 1902 95 0 0 25 0 1 0 775572551 8998912 1471 4294967295 134512640 134714508 3221224592 3221221092 1074846221 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2197 1471 1111 63 0 2134 0 vsize: 8788 [startup+30.0021 s] Raw data (loadavg): 0.90 0.95 0.96 2/54 24055 Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 51844 0 0 0 2861 135 0 0 25 0 1 0 775572551 9474048 1632 4294967295 134512640 134714508 3221224592 3221222592 1074918591 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2313 1632 1111 63 0 2250 0 vsize: 9252 [startup+40.003 s] Raw data (loadavg): 0.92 0.95 0.96 2/54 24055 Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 68141 0 0 0 3822 174 0 0 25 0 1 0 775572551 10207232 1811 4294967295 134512640 134714508 3221224592 3221222512 1075799725 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2492 1811 1111 63 0 2429 0 vsize: 9968 [startup+50.0035 s] Raw data (loadavg): 0.93 0.96 0.96 2/54 24055 Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 87575 0 0 0 4776 220 0 0 25 0 1 0 775572551 11038720 2007 4294967295 134512640 134714508 3221224592 3221222592 1074918591 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2695 2007 1111 63 0 2632 0 vsize: 10780 [startup+60.0034 s] Raw data (loadavg): 0.94 0.96 0.96 2/54 24055 Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 105110 0 0 0 5732 265 0 0 25 0 1 0 775572551 11952128 2199 4294967295 134512640 134714508 3221224592 3221222844 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2918 2199 1111 63 0 2855 0 vsize: 11672 [startup+70.0038 s] Raw data (loadavg): 0.95 0.96 0.96 2/54 24055 Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 125753 0 0 0 6677 319 0 0 25 0 1 0 775572551 12685312 2416 4294967295 134512640 134714508 3221224592 3221222592 1074918811 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3097 2416 1111 63 0 3034 0 vsize: 12388 [startup+80.0041 s] Raw data (loadavg): 0.96 0.96 0.96 2/54 24055 Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 147404 0 0 0 7624 372 0 0 25 0 1 0 775572551 13623296 2644 4294967295 134512640 134714508 3221224592 3221222592 1074918005 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3326 2644 1111 63 0 3263 0 vsize: 13304 [startup+90.0043 s] Raw data (loadavg): 0.96 0.96 0.96 2/54 24055 Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 167457 0 0 0 8574 422 0 0 25 0 1 0 775572551 14442496 2845 4294967295 134512640 134714508 3221224592 3221222972 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3526 2845 1111 63 0 3463 0 vsize: 14104 [startup+100.004 s] Raw data (loadavg): 0.97 0.96 0.96 2/54 24055 Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 187711 0 0 0 9523 473 0 0 25 0 1 0 775572551 15577088 3059 4294967295 134512640 134714508 3221224592 3221220752 1075095166 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3803 3062 1111 63 0 3740 0 vsize: 15212 [startup+110.005 s] Raw data (loadavg): 0.97 0.96 0.96 2/54 24055 Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 206640 0 0 0 10479 518 0 0 25 0 1 0 775572551 16068608 3242 4294967295 134512640 134714508 3221224592 3221222592 1074918588 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3923 3242 1111 63 0 3860 0 vsize: 15692 [startup+120.005 s] Raw data (loadavg): 0.98 0.96 0.96 2/54 24055 Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 228943 0 0 0 11423 574 0 0 25 0 1 0 775572551 16969728 3462 4294967295 134512640 134714508 3221224592 3221222592 1074918938 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4143 3462 1111 63 0 4080 0 vsize: 16572 [startup+130.005 s] Raw data (loadavg): 0.98 0.96 0.96 2/54 24055 Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 245607 0 0 0 12385 612 0 0 25 0 1 0 775572551 17776640 3651 4294967295 134512640 134714508 3221224592 3221222592 1074918591 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4340 3651 1111 63 0 4277 0 vsize: 17360 [startup+140.005 s] Raw data (loadavg): 0.98 0.96 0.96 2/54 24055 Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 262630 0 0 0 13344 653 0 0 25 0 1 0 775572551 18804736 3880 4294967295 134512640 134714508 3221224592 3221222796 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4591 3880 1111 63 0 4528 0 vsize: 18364 [startup+150.006 s] Raw data (loadavg): 0.98 0.97 0.96 2/54 24055 Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 280979 0 0 0 14300 697 0 0 25 0 1 0 775572551 19595264 4049 4294967295 134512640 134714508 3221224592 3221220976 1074972301 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4784 4049 1111 63 0 4721 0 vsize: 19136 [startup+160.006 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 24055 Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 295564 0 0 0 15262 735 0 0 25 0 1 0 775572551 19992576 4196 4294967295 134512640 134714508 3221224592 3221222592 1074918347 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4881 4196 1111 63 0 4818 0 vsize: 19524 [startup+170.006 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 24055 Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 312933 0 0 0 16220 778 0 0 25 0 1 0 775572551 20561920 4338 4294967295 134512640 134714508 3221224592 3221222988 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5020 4338 1111 63 0 4957 0 vsize: 20080 [startup+180.006 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 24055 Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 332283 0 0 0 17174 824 0 0 25 0 1 0 775572551 21397504 4535 4294967295 134512640 134714508 3221224592 3221222988 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5224 4535 1111 63 0 5161 0 vsize: 20896 [startup+190.006 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 24055 Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 349338 0 0 0 18134 864 0 0 25 0 1 0 775572551 22413312 4724 4294967295 134512640 134714508 3221224592 3221220928 1075114268 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5472 4724 1111 63 0 5409 0 vsize: 21888 [startup+200.006 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 24055 Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 363731 0 0 0 19098 900 0 0 25 0 1 0 775572551 22638592 4848 4294967295 134512640 134714508 3221224592 3221221872 1074140013 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5527 4848 1111 63 0 5464 0 vsize: 22108 [startup+210.007 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 24055 Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 382491 0 0 0 20054 944 0 0 25 0 1 0 775572551 23887872 5066 4294967295 134512640 134714508 3221224592 3221221664 1074867278 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5832 5066 1111 63 0 5769 0 vsize: 23328 [startup+220.007 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 24055 Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 398833 0 0 0 21014 984 0 0 25 0 1 0 775572551 23924736 5157 4294967295 134512640 134714508 3221224592 3221222656 1075961760 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5841 5157 1111 63 0 5778 0 vsize: 23364 [startup+230.006 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 24055 Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 418781 0 0 0 21968 1030 0 0 25 0 1 0 775572551 24932352 5323 4294967295 134512640 134714508 3221224592 3221221792 1075966495 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6087 5326 1111 63 0 6024 0 vsize: 24348 [startup+240.007 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 24055 Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 441269 0 0 0 22917 1082 0 0 25 0 1 0 775572551 25341952 5508 4294967295 134512640 134714508 3221224592 3221222592 1074918597 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6187 5508 1111 63 0 6124 0 vsize: 24748 [startup+250.007 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 24055 Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 458497 0 0 0 23879 1120 0 0 25 0 1 0 775572551 26247168 5665 4294967295 134512640 134714508 3221224592 3221222844 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6408 5665 1111 63 0 6345 0 vsize: 25632 [startup+260.008 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 24055 Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 472516 0 0 0 24848 1152 0 0 25 0 1 0 775572551 26456064 5780 4294967295 134512640 134714508 3221224592 3221221936 1074839014 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6459 5780 1111 63 0 6396 0 vsize: 25836 [startup+270.008 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 24055 Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 488102 0 0 0 25810 1189 0 0 25 0 1 0 775572551 27123712 5939 4294967295 134512640 134714508 3221224592 3221222592 1074918583 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6622 5939 1111 63 0 6559 0 vsize: 26488 [startup+280.008 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 24055 Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 500816 0 0 0 26782 1218 0 0 25 0 1 0 775572551 27955200 6072 4294967295 134512640 134714508 3221224592 3221220820 1075115057 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6825 6072 1111 63 0 6762 0 vsize: 27300 [startup+290.008 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 24055 Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 516316 0 0 0 27745 1255 0 0 25 0 1 0 775572551 28430336 6197 4294967295 134512640 134714508 3221224592 3221220752 1074794536 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6941 6197 1111 63 0 6878 0 vsize: 27764 [startup+300.008 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 24055 Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 528168 0 0 0 28719 1281 0 0 25 0 1 0 775572551 28536832 6281 4294967295 134512640 134714508 3221224592 3221222592 1074918599 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6967 6281 1111 63 0 6904 0 vsize: 27868 [startup+310.008 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 24055 Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 543838 0 0 0 29679 1321 0 0 25 0 1 0 775572551 29515776 6461 4294967295 134512640 134714508 3221224592 3221220800 1074815312 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7206 6461 1111 63 0 7143 0 vsize: 28824 [startup+320.008 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 24055 Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 558455 0 0 0 30647 1354 0 0 25 0 1 0 775572551 29859840 6561 4294967295 134512640 134714508 3221224592 3221222892 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7290 6561 1111 63 0 7227 0 vsize: 29160 [startup+330.008 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 24055 Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 574383 0 0 0 31610 1391 0 0 25 0 1 0 775572551 30691328 6755 4294967295 134512640 134714508 3221224592 3221221656 1077410205 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7493 6755 1111 63 0 7430 0 vsize: 29972 [startup+340.009 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 24055 Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 590374 0 0 0 32570 1431 0 0 25 0 1 0 775572551 30949376 6868 4294967295 134512640 134714508 3221224592 3221222592 1074918591 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7556 6868 1111 63 0 7493 0 vsize: 30224 [startup+350.009 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 24055 Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 605279 0 0 0 33536 1464 0 0 25 0 1 0 775572551 31928320 7052 4294967295 134512640 134714508 3221224592 3221221712 1074834350 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7795 7052 1111 63 0 7732 0 vsize: 31180 [startup+360.009 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 24055 Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 624004 0 0 0 34493 1508 0 0 25 0 1 0 775572551 32587776 7213 4294967295 134512640 134714508 3221224592 3221221192 1075850662 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7956 7213 1111 63 0 7893 0 vsize: 31824 [startup+370.01 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 24055 Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 649104 0 0 0 35436 1565 0 0 25 0 1 0 775572551 32903168 7354 4294967295 134512640 134714508 3221224592 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8033 7354 1111 63 0 7970 0 vsize: 32132 [startup+380.009 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 24055 Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 663506 0 0 0 36402 1599 0 0 25 0 1 0 775572551 33726464 7501 4294967295 134512640 134714508 3221224592 3221222796 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8234 7501 1111 63 0 8171 0 vsize: 32936 [startup+390.01 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 24055 Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 687880 0 0 0 37346 1656 0 0 25 0 1 0 775572551 34484224 7675 4294967295 134512640 134714508 3221224592 3221223120 134648654 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8356 7668 1111 63 0 8293 0 vsize: 33676 [startup+400.01 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 24055 Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 713839 0 0 0 38283 1718 0 0 25 0 1 0 775572551 35344384 7884 4294967295 134512640 134714508 3221224592 3221222796 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8629 7884 1111 63 0 8566 0 vsize: 34516 [startup+410.011 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 24055 Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 730496 0 0 0 39243 1759 0 0 25 0 1 0 775572551 35794944 8060 4294967295 134512640 134714508 3221224592 3221222336 1075646241 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8739 8060 1111 63 0 8676 0 vsize: 34956 [startup+420.011 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 24055 Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 746701 0 0 0 40207 1794 0 0 25 0 1 0 775572551 36302848 8180 4294967295 134512640 134714508 3221224592 3221222592 1074918597 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8863 8180 1111 63 0 8800 0 vsize: 35452 [startup+430.011 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 24055 Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 764515 0 0 0 41167 1835 0 0 25 0 1 0 775572551 37249024 8340 4294967295 134512640 134714508 3221224592 3221220752 1075095166 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9094 8341 1111 63 0 9031 0 vsize: 36376 [startup+440.011 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 24055 Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 781584 0 0 0 42126 1876 0 0 25 0 1 0 775572551 37605376 8502 4294967295 134512640 134714508 3221224592 3221222592 1074918591 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9181 8502 1111 63 0 9118 0 vsize: 36724 [startup+450.012 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 24055 Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 799328 0 0 0 43084 1918 0 0 25 0 1 0 775572551 38621184 8658 4294967295 134512640 134714508 3221224592 3221221248 1075966759 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9339 8650 1111 63 0 9276 0 vsize: 37716 [startup+460.012 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 24055 Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 813787 0 0 0 44050 1952 0 0 25 0 1 0 775572551 39030784 8792 4294967295 134512640 134714508 3221224592 3221222844 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9529 8792 1111 63 0 9466 0 vsize: 38116 [startup+470.012 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 24055 Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 835345 0 0 0 45001 2002 0 0 25 0 1 0 775572551 39878656 8966 4294967295 134512640 134714508 3221224592 3221221184 1074884307 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9736 8966 1111 63 0 9673 0 vsize: 38944 [startup+480.012 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 24055 Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 852191 0 0 0 45965 2038 0 0 25 0 1 0 775572551 40173568 9129 4294967295 134512640 134714508 3221224592 3221222504 1074138265 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9808 9129 1111 63 0 9745 0 vsize: 39232 [startup+490.012 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 24055 Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 876210 0 0 0 46907 2096 0 0 25 0 1 0 775572551 41234432 9314 4294967295 134512640 134714508 3221224592 3221220688 1074879831 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10067 9314 1111 63 0 10004 0 vsize: 40268 [startup+500.012 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 24055 Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 895437 0 0 0 47866 2137 0 0 25 0 1 0 775572551 41439232 9427 4294967295 134512640 134714508 3221224592 3221222320 1075828447 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10117 9427 1111 63 0 10054 0 vsize: 40468 [startup+510.012 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 24055 Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 913831 0 0 0 48825 2178 0 0 25 0 1 0 775572551 42196992 9621 4294967295 134512640 134714508 3221224592 3221222052 1077782939 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10302 9621 1111 63 0 10239 0 vsize: 41208 [startup+520.013 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 24055 Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 930239 0 0 0 49789 2214 0 0 25 0 1 0 775572551 43253760 9820 4294967295 134512640 134714508 3221224592 3221223076 1077374528 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10560 9820 1111 63 0 10497 0 vsize: 42240 [startup+530.012 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 24055 Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 945308 0 0 0 50755 2248 0 0 25 0 1 0 775572551 43290624 9879 4294967295 134512640 134714508 3221224592 3221221872 1074140038 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10569 9879 1111 63 0 10506 0 vsize: 42276 [startup+540.012 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 24055 Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 965199 0 0 0 51708 2296 0 0 25 0 1 0 775572551 43970560 10054 4294967295 134512640 134714508 3221224592 3221223036 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10735 10054 1111 63 0 10672 0 vsize: 42940 [startup+550.012 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 24055 Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 982377 0 0 0 52667 2336 0 0 25 0 1 0 775572551 44965888 10216 4294967295 134512640 134714508 3221224592 3221220752 1075095166 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10978 10219 1111 63 0 10915 0 vsize: 43912 [startup+560.013 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 24055 Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 998661 0 0 0 53632 2372 0 0 25 0 1 0 775572551 45629440 10345 4294967295 134512640 134714508 3221224592 3221222856 1077799185 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11086 10341 1111 63 0 11023 0 vsize: 44560 [startup+570.013 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 24055 Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 1015480 0 0 0 54593 2411 0 0 25 0 1 0 775572551 45658112 10466 4294967295 134512640 134714508 3221224592 3221222592 1074918599 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11147 10466 1111 63 0 11084 0 vsize: 44588 [startup+580.013 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 24055 Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 1035302 0 0 0 55545 2459 0 0 25 0 1 0 775572551 46415872 10651 4294967295 134512640 134714508 3221224592 3221223036 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11332 10651 1111 63 0 11269 0 vsize: 45328 [startup+590.013 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 24055 Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 1053545 0 0 0 56504 2500 0 0 25 0 1 0 775572551 47742976 10930 4294967295 134512640 134714508 3221224592 3221220588 1074788146 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11656 10930 1111 63 0 11593 0 vsize: 46624 [startup+600.013 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 24055 Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 1072511 0 0 0 57461 2543 0 0 25 0 1 0 775572551 48345088 11067 4294967295 134512640 134714508 3221224592 3221221632 1075971404 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11803 11067 1111 63 0 11740 0 vsize: 47212 [startup+610.014 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 24055 Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 1085686 0 0 0 58431 2574 0 0 25 0 1 0 775572551 48738304 11219 4294967295 134512640 134714508 3221224592 3221222592 1074918591 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11899 11219 1111 63 0 11836 0 vsize: 47596 [startup+620.014 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 24055 Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 1099026 0 0 0 59400 2605 0 0 25 0 1 0 775572551 49041408 11177 4294967295 134512640 134714508 3221224592 3221221656 1077410205 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11973 11177 1111 63 0 11910 0 vsize: 47892 [startup+630.014 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 24055 Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 1123730 0 0 0 60347 2658 0 0 25 0 1 0 775572551 49172480 11328 4294967295 134512640 134714508 3221224592 3221223052 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 12005 11328 1111 63 0 11942 0 vsize: 48020 [startup+640.015 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 24055 Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 1145231 0 0 0 61300 2705 0 0 25 0 1 0 775572551 50401280 11541 4294967295 134512640 134714508 3221224592 3221220820 1075115049 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 12305 11541 1111 63 0 12242 0 vsize: 49220 [startup+650.015 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 24055 Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 1160655 0 0 0 62267 2738 0 0 25 0 1 0 775572551 50524160 11640 4294967295 134512640 134714508 3221224592 3221222592 1074918594 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 12335 11640 1111 63 0 12272 0 vsize: 49340 [startup+660.015 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 24055 Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 1175324 0 0 0 63236 2769 0 0 25 0 1 0 775572551 51048448 11780 4294967295 134512640 134714508 3221224592 3221222592 1074918583 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 12463 11780 1111 63 0 12400 0 vsize: 49852 [startup+670.016 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 24055 Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 1195631 0 0 0 64193 2812 0 0 25 0 1 0 775572551 51785728 11949 4294967295 134512640 134714508 3221224592 3221222592 1074918599 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 12643 11949 1111 63 0 12580 0 vsize: 50572 [startup+680.015 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 24055 Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 1214671 0 0 0 65153 2853 0 0 25 0 1 0 775572551 53833728 12312 4294967295 134512640 134714508 3221224592 3221221712 1074834239 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 13143 12312 1111 63 0 13080 0 vsize: 52572 [startup+690.016 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 24055 Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 1227391 0 0 0 66124 2882 0 0 25 0 1 0 775572551 53440512 12243 4294967295 134512640 134714508 3221224592 3221222320 1074867433 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 13047 12243 1111 63 0 12984 0 vsize: 52188 [startup+700.016 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 24055 Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 1249152 0 0 0 67074 2932 0 0 25 0 1 0 775572551 53436416 12356 4294967295 134512640 134714508 3221224592 3221222592 1074918280 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 13046 12356 1111 63 0 12983 0 vsize: 52184 [startup+710.017 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 24055 Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 1265938 0 0 0 68040 2966 0 0 25 0 1 0 775572551 54091776 12520 4294967295 134512640 134714508 3221224592 3221222592 1074918599 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 13206 12520 1111 63 0 13143 0 vsize: 52824 [startup+720.017 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 24055 Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 1284423 0 0 0 69001 3006 0 0 25 0 1 0 775572551 54616064 12637 4294967295 134512640 134714508 3221224592 3221223160 134543144 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 13334 12637 1111 63 0 13271 0 vsize: 53336 [startup+730.017 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 24055 Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 1305177 0 0 0 69955 3051 0 0 25 0 1 0 775572551 55320576 12809 4294967295 134512640 134714508 3221224592 3221222704 1074867340 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 13506 12809 1111 63 0 13443 0 vsize: 54024 [startup+740.017 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 24055 Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 1326778 0 0 0 70910 3097 0 0 25 0 1 0 775572551 56426496 13077 4294967295 134512640 134714508 3221224592 3221222592 1074918591 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 13776 13077 1111 63 0 13713 0 vsize: 55104 [startup+750.018 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 24055 Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 1347503 0 0 0 71863 3145 0 0 25 0 1 0 775572551 57024512 13114 4294967295 134512640 134714508 3221224592 3221220752 1075095166 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 13922 13126 1111 63 0 13859 0 vsize: 55688 [startup+760.019 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 24055 Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 1367891 0 0 0 72819 3189 0 0 25 0 1 0 775572551 57790464 13324 4294967295 134512640 134714508 3221224592 3221220920 1074815601 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14109 13324 1111 63 0 14046 0 vsize: 56436 [startup+770.018 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 24055 Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 1390675 0 0 0 73771 3236 0 0 25 0 1 0 775572551 58593280 13486 4294967295 134512640 134714508 3221224592 3221221536 1074620117 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14305 13492 1111 63 0 14242 0 vsize: 57220 [startup+780.018 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 24055 Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 1410510 0 0 0 74728 3279 0 0 25 0 1 0 775572551 58875904 13645 4294967295 134512640 134714508 3221224592 3221222320 1075829534 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14374 13645 1111 63 0 14311 0 vsize: 57496 [startup+790.018 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 24055 Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 1436785 0 0 0 75675 3333 0 0 25 0 1 0 775572551 60002304 13826 4294967295 134512640 134714508 3221224592 3221221248 1075966559 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14649 13826 1111 63 0 14586 0 vsize: 58596 [startup+800.019 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 24055 Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 1455556 0 0 0 76632 3376 0 0 25 0 1 0 775572551 60698624 14029 4294967295 134512640 134714508 3221224592 3221220768 1074882601 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14819 14029 1111 63 0 14756 0 vsize: 59276 [startup+810.019 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 24055 Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 1473325 0 0 0 77593 3416 0 0 25 0 1 0 775572551 60764160 14134 4294967295 134512640 134714508 3221224592 3221223036 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14835 14134 1111 63 0 14772 0 vsize: 59340 [startup+820.019 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 24055 Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 1489487 0 0 0 78556 3453 0 0 25 0 1 0 775572551 61341696 14271 4294967295 134512640 134714508 3221224592 3221222844 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14976 14271 1111 63 0 14913 0 vsize: 59904 [startup+830.018 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 24055 Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 1504095 0 0 0 79519 3489 0 0 25 0 1 0 775572551 61853696 14396 4294967295 134512640 134714508 3221224592 3221222592 1074918597 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 15101 14396 1111 63 0 15038 0 vsize: 60404 [startup+840.019 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 24055 Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 1522994 0 0 0 80478 3531 0 0 25 0 1 0 775572551 62484480 14550 4294967295 134512640 134714508 3221224592 3221222892 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 15255 14550 1111 63 0 15192 0 vsize: 61020 [startup+850.019 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 24055 Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 1540238 0 0 0 81441 3568 0 0 25 0 1 0 775572551 63062016 14684 4294967295 134512640 134714508 3221224592 3221222592 1074916905 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 15396 14684 1111 63 0 15333 0 vsize: 61584 [startup+860.02 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 24055 Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 1557928 0 0 0 82407 3602 0 0 25 0 1 0 775572551 64561152 15013 4294967295 134512640 134714508 3221224592 3221220704 1074790226 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 15762 15013 1111 63 0 15699 0 vsize: 63048 [startup+870.021 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 24055 Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 1573723 0 0 0 83371 3638 0 0 25 0 1 0 775572551 64184320 14961 4294967295 134512640 134714508 3221224592 3221222760 1077410279 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 15670 14961 1111 63 0 15607 0 vsize: 62680 [startup+880.021 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 24055 Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 1593099 0 0 0 84329 3681 0 0 25 0 1 0 775572551 65269760 15123 4294967295 134512640 134714508 3221224592 3221220752 1075095166 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 15935 15130 1111 63 0 15872 0 vsize: 63740 [startup+890.021 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 24055 Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 1605410 0 0 0 85302 3708 0 0 25 0 1 0 775572551 67158016 15658 4294967295 134512640 134714508 3221224592 3221222592 1074918583 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 16396 15658 1111 63 0 16333 0 vsize: 65584 [startup+900.022 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 24055 Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 1612000 0 0 0 86288 3722 0 0 25 0 1 0 775572551 67182592 15690 4294967295 134512640 134714508 3221224592 3221222592 1074918594 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 16402 15690 1111 63 0 16339 0 vsize: 65608 [startup+910.022 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 24055 Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 1618362 0 0 0 87273 3737 0 0 25 0 1 0 775572551 67289088 15704 4294967295 134512640 134714508 3221224592 3221222592 1074918594 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 16428 15704 1111 63 0 16365 0 vsize: 65712 [startup+920.022 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 24055 Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 1624815 0 0 0 88261 3750 0 0 25 0 1 0 775572551 67358720 15721 4294967295 134512640 134714508 3221224592 3221222592 1074918594 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 16445 15721 1111 63 0 16382 0 vsize: 65780 [startup+930.022 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 24055 Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 1633729 0 0 0 89240 3771 0 0 25 0 1 0 775572551 68046848 15427 4294967295 134512640 134714508 3221224592 3221222232 1075850393 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 16613 15427 1111 63 0 16550 0 vsize: 66452 [startup+940.023 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 24055 Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 1644001 0 0 0 90219 3791 0 0 25 0 1 0 775572551 69210112 15509 4294967295 134512640 134714508 3221224592 3221220800 1074815259 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 16897 15510 1111 63 0 16834 0 vsize: 67588 [startup+950.023 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 24055 Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 1667901 0 0 0 91162 3849 0 0 25 0 1 0 775572551 65863680 15368 4294967295 134512640 134714508 3221224592 3221222592 1074918583 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 16080 15368 1111 63 0 16017 0 vsize: 64320 [startup+960.023 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 24055 Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 1699447 0 0 0 92092 3918 0 0 25 0 1 0 775572551 66273280 15468 4294967295 134512640 134714508 3221224592 3221222592 1074916935 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 16180 15468 1111 63 0 16117 0 vsize: 64720 [startup+970.029 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 24055 Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 1724481 0 0 0 93036 3974 0 0 25 0 1 0 775572551 67584000 15739 4294967295 134512640 134714508 3221224592 3221222704 1074867334 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 16500 15739 1111 63 0 16437 0 vsize: 66000 [startup+980.028 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 24055 Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 1737688 0 0 0 94006 4004 0 0 25 0 1 0 775572551 66875392 15615 4294967295 134512640 134714508 3221224592 3221222704 1074867308 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 16327 15615 1111 63 0 16264 0 vsize: 65308 [startup+990.028 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 24055 Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 1770571 0 0 0 94932 4079 0 0 25 0 1 0 775572551 68055040 15892 4294967295 134512640 134714508 3221224592 3221222592 1074918594 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 16615 15892 1111 63 0 16552 0 vsize: 66460 [startup+1000.03 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 24055 Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 1779356 0 0 0 95911 4099 0 0 25 0 1 0 775572551 67866624 15855 4294967295 134512640 134714508 3221224592 3221222592 1074918594 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 16569 15855 1111 63 0 16506 0 vsize: 66276 [startup+1010.03 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 24055 Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 1788045 0 0 0 96892 4119 0 0 25 0 1 0 775572551 68026368 15895 4294967295 134512640 134714508 3221224592 3221222232 1077410205 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 16608 15895 1111 63 0 16545 0 vsize: 66432 [startup+1020.03 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 24055 Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 1796368 0 0 0 97873 4138 0 0 25 0 1 0 775572551 70430720 16208 4294967295 134512640 134714508 3221224592 3221220476 1074788950 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 17195 16208 1111 63 0 17132 0 vsize: 68780 [startup+1030.03 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 24055 Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 1806174 0 0 0 98850 4161 0 0 25 0 1 0 775572551 68579328 16026 4294967295 134512640 134714508 3221224592 3221222592 1074918597 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 16743 16026 1111 63 0 16680 0 vsize: 66972 [startup+1040.03 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 24055 Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 1812242 0 0 0 99833 4178 0 0 25 0 1 0 775572551 68423680 15992 4294967295 134512640 134714508 3221224592 3221222592 1074918553 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 16705 15992 1111 63 0 16642 0 vsize: 66820 [startup+1050.03 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 24055 Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 1818916 0 0 0 100819 4193 0 0 25 0 1 0 775572551 68890624 16106 4294967295 134512640 134714508 3221224592 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 16819 16106 1111 63 0 16756 0 vsize: 67276 [startup+1060.03 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 24055 Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 1826890 0 0 0 101802 4210 0 0 25 0 1 0 775572551 69955584 16353 4294967295 134512640 134714508 3221224592 3221222592 1074918594 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 17079 16353 1111 63 0 17016 0 vsize: 68316 [startup+1070.03 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 24055 Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 1836834 0 0 0 102780 4232 0 0 25 0 1 0 775572551 73510912 16413 4294967295 134512640 134714508 3221224592 3221221744 1075969899 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 17947 16418 1111 63 0 17884 0 vsize: 71788 [startup+1080.03 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 24055 Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 1843259 0 0 0 103766 4246 0 0 25 0 1 0 775572551 71491584 16226 4294967295 134512640 134714508 3221224592 3221222232 1075850267 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 17454 16226 1111 63 0 17391 0 vsize: 69816 [startup+1090.03 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 24055 Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 1852622 0 0 0 104746 4267 0 0 25 0 1 0 775572551 70090752 16386 4294967295 134512640 134714508 3221224592 3221222592 1074918583 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 17112 16386 1111 63 0 17049 0 vsize: 68448 [startup+1100.03 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 24055 Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 1861786 0 0 0 105726 4286 0 0 25 0 1 0 775572551 68726784 16066 4294967295 134512640 134714508 3221224592 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 16779 16066 1111 63 0 16716 0 vsize: 67116 [startup+1110.03 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 24055 Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 1873002 0 0 0 106701 4312 0 0 25 0 1 0 775572551 69574656 16241 4294967295 134512640 134714508 3221224592 3221221784 1074138271 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 16986 16241 1111 63 0 16923 0 vsize: 67944 [startup+1120.03 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 24055 Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 1890572 0 0 0 107659 4354 0 0 25 0 1 0 775572551 69275648 16199 4294967295 134512640 134714508 3221224592 3221222944 1074115298 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 16913 16199 1111 63 0 16850 0 vsize: 67652 [startup+1130.03 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 24055 Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 1908616 0 0 0 108618 4395 0 0 25 0 1 0 775572551 69591040 16270 4294967295 134512640 134714508 3221224592 3221222592 1074918591 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 16990 16270 1111 63 0 16927 0 vsize: 67960 [startup+1140.03 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 24055 Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 1940542 0 0 0 109546 4467 0 0 25 0 1 0 775572551 71704576 16430 4294967295 134512640 134714508 3221224592 3221220820 1075115039 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 17506 16430 1111 63 0 17443 0 vsize: 70024 [startup+1150.03 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 24055 Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 1964772 0 0 0 110493 4521 0 0 25 0 1 0 775572551 72331264 16596 4294967295 134512640 134714508 3221224592 3221220752 1075095115 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 17659 16596 1111 63 0 17596 0 vsize: 70636 [startup+1160.03 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 24055 Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 1995130 0 0 0 111421 4593 0 0 25 0 1 0 775572551 70721536 16521 4294967295 134512640 134714508 3221224592 3221223072 1074031972 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 17266 16521 1111 63 0 17203 0 vsize: 69064 [startup+1170.03 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 24055 Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 2013566 0 0 0 112380 4634 0 0 25 0 1 0 775572551 74891264 17250 4294967295 134512640 134714508 3221224592 3221221120 1075397167 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18284 17250 1111 63 0 18221 0 vsize: 73136 [startup+1180.03 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 24055 Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 2023819 0 0 0 113358 4656 0 0 25 0 1 0 775572551 71708672 16791 4294967295 134512640 134714508 3221224592 3221222592 1074918594 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 17507 16791 1111 63 0 17444 0 vsize: 70028 [startup+1180.66 s] Raw data (loadavg): 0.99 0.97 0.96 1/53 24055 Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 2023819 0 0 0 113358 4656 0 0 25 0 1 0 775572551 71708672 16791 4294967295 134512640 134714508 3221224592 3221222592 1074918594 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 17507 16791 1111 63 0 17444 0 vsize: 0 Child status: 10 Real time (s): 1180.65 CPU time (s): 1180.77 CPU user time (s): 1134.17 CPU system time (s): 46.6019 CPU usage (%): 100.01 Max. virtual memory (Kb): 73136 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### Verifier: OK 801381 #### END VERIFIER DATA ####