Name | normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-stein45.opb |
MD5SUM | 980dd801f0823d520b47724b99fabded |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 30 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 45 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 45 |
Number of bits of the sum of numbers in the objective function | 6 |
Biggest number in a constraint | 22 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 67 |
Number of bits of the biggest sum of numbers | 7 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1.01984 |
Number of variables | 45 |
Total number of constraints | 376 |
Number of constraints which are clauses | 330 |
Number of constraints which are cardinality constraints (but not clauses) | 46 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 45 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc27 THE 2005-05-25 03:01:57 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=12339 boxname=wulflinc27 idbench=950 idsolver=2 numberseed=0 MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7 /oldhome/oroussel/solvers/bsolo_lpr_cuts MD5SUM BENCH: 980dd801f0823d520b47724b99fabded /oldhome/oroussel/tmp/wulflinc27/normalized-mps-v2-20-10-stein45.opb REAL COMMAND: bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc27/normalized-mps-v2-20-10-stein45.opb IDLAUNCH: 12339 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 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 : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 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: 683340 kB Buffers: 28088 kB Cached: 301888 kB SwapCached: 640 kB Active: 51160 kB Inactive: 281304 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 683088 kB SwapTotal: 2097892 kB SwapFree: 2096760 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5648 kB Slab: 13068 kB Committed_AS: 63600 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-25 03:21:33 (client local time) WITH STATUS 10 IN 1175.55 SECONDS stats: 12339 0 1175.55 10 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. c Initial problem consists of 45 variables and 331 constraints. c After prepocess the problem consists of 45 variables and 331 constraints. c preprocess terminated 0.123 s c Initial Lower Bound: 22 c Lower Bound Elapsed time: 0.03975 c Not use computed LB before first solution. c NEW SOLUTION FOUND: 37 @ 0.285 c NEW SOLUTION FOUND: 36 @ 0.289 c NEW SOLUTION FOUND: 35 @ 0.291 c NEW SOLUTION FOUND: 34 @ 0.294 c NEW SOLUTION FOUND: 33 @ 0.296 c NEW SOLUTION FOUND: 32 @ 0.301 c NEW SOLUTION FOUND: 31 @ 0.429 c NEW SOLUTION FOUND: 30 @ 437.66 s SATISFIABLE v V0001_bit0 V0002_bit0 V0003_bit0 -V0004_bit0 V0005_bit0 V0006_bit0 V0007_bit0 V0008_bit0 -V0009_bit0 -V0010_bit0 V0011_bit0 V0012_bit0 V0013_bit0 V0014_bit0 V0015_bit0 -V0016_bit0 V0017_bit0 V0018_bit0 -V0019_bit0 V0020_bit0 V0021_bit0 V0022_bit0 -V0023_bit0 -V0024_bit0 V0025_bit0 V0026_bit0 -V0027_bit0 V0028_bit0 -V0029_bit0 V0030_bit0 V0031_bit0 V0032_bit0 -V0033_bit0 V0034_bit0 -V0035_bit0 -V0036_bit0 -V0037_bit0 V0038_bit0 V0039_bit0 V0040_bit0 V0041_bit0 V0042_bit0 -V0043_bit0 V0044_bit0 -V0045_bit0 c Exit Code: 10 c Total time: 1175.53 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.87 0.95 0.90 2/54 11975 Raw data (stat): 11975 (runsolver) R 11974 3394 3393 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 835475716 1052672 99 4294967295 134512640 135381576 3221224480 3221219692 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0 Raw data (statm): 257 99 215 215 0 42 0 vsize: 1028 [startup+10.0003 s] Raw data (loadavg): 0.89 0.96 0.91 2/54 11975 Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 16198 0 0 0 957 41 0 0 25 0 1 0 835475716 7471104 1140 4294967295 134512640 134714508 3221224576 3221222576 1074918613 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1824 1140 1111 63 0 1761 0 vsize: 7296 [startup+20.0048 s] Raw data (loadavg): 0.91 0.96 0.91 2/54 11975 Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 33315 0 0 0 1916 82 0 0 25 0 1 0 835475716 8265728 1314 4294967295 134512640 134714508 3221224576 3221222904 1077799185 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2018 1314 1111 63 0 1955 0 vsize: 8072 [startup+30.0125 s] Raw data (loadavg): 0.92 0.96 0.91 2/54 11975 Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 49466 0 0 0 2881 118 0 0 25 0 1 0 835475716 8704000 1442 4294967295 134512640 134714508 3221224576 3221222576 1074916558 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2125 1442 1111 63 0 2062 0 vsize: 8500 [startup+40.0146 s] Raw data (loadavg): 0.93 0.96 0.91 2/54 11975 Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 65553 0 0 0 3842 158 0 0 25 0 1 0 835475716 9109504 1542 4294967295 134512640 134714508 3221224576 3221222928 1073986885 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2224 1542 1111 63 0 2161 0 vsize: 8896 [startup+50.0195 s] Raw data (loadavg): 0.94 0.96 0.91 2/54 11975 Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 81820 0 0 0 4804 196 0 0 25 0 1 0 835475716 9662464 1677 4294967295 134512640 134714508 3221224576 3221221696 1074866184 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2359 1677 1111 63 0 2296 0 vsize: 9436 [startup+60.019 s] Raw data (loadavg): 0.95 0.96 0.91 2/54 11975 Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 97510 0 0 0 5767 233 0 0 25 0 1 0 835475716 10559488 1843 4294967295 134512640 134714508 3221224576 3221220736 1075095139 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2578 1843 1111 63 0 2515 0 vsize: 10312 [startup+70.0202 s] Raw data (loadavg): 0.96 0.96 0.91 2/54 11975 Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 114144 0 0 0 6729 271 0 0 25 0 1 0 835475716 10379264 1852 4294967295 134512640 134714508 3221224576 3221222960 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2534 1852 1111 63 0 2471 0 vsize: 10136 [startup+80.0211 s] Raw data (loadavg): 0.96 0.96 0.91 2/54 11975 Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 129600 0 0 0 7693 308 0 0 25 0 1 0 835475716 11259904 1977 4294967295 134512640 134714508 3221224576 3221221176 1075850774 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2749 1977 1111 63 0 2686 0 vsize: 10996 [startup+90.0214 s] Raw data (loadavg): 0.97 0.96 0.91 2/54 11975 Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 146820 0 0 0 8650 351 0 0 25 0 1 0 835475716 11177984 2047 4294967295 134512640 134714508 3221224576 3221222576 1074918472 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2729 2047 1111 63 0 2666 0 vsize: 10916 [startup+100.022 s] Raw data (loadavg): 0.97 0.96 0.91 2/54 11975 Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 163072 0 0 0 9611 389 0 0 25 0 1 0 835475716 11337728 2092 4294967295 134512640 134714508 3221224576 3221222792 1077377190 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2768 2092 1111 63 0 2705 0 vsize: 11072 [startup+110.023 s] Raw data (loadavg): 0.98 0.97 0.91 2/54 11975 Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 179968 0 0 0 10573 428 0 0 25 0 1 0 835475716 11841536 2201 4294967295 134512640 134714508 3221224576 3221222944 1074140704 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2891 2201 1111 63 0 2828 0 vsize: 11564 [startup+120.023 s] Raw data (loadavg): 0.98 0.97 0.91 2/54 11975 Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 195393 0 0 0 11534 466 0 0 25 0 1 0 835475716 12918784 2311 4294967295 134512640 134714508 3221224576 3221221616 1075971404 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3154 2311 1111 63 0 3091 0 vsize: 12616 [startup+130.028 s] Raw data (loadavg): 0.98 0.97 0.91 2/54 11975 Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 212226 0 0 0 12496 505 0 0 25 0 1 0 835475716 12460032 2335 4294967295 134512640 134714508 3221224576 3221222688 1074867320 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3042 2335 1111 63 0 2979 0 vsize: 12168 [startup+140.033 s] Raw data (loadavg): 0.98 0.97 0.91 2/54 11975 Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 228863 0 0 0 13457 545 0 0 25 0 1 0 835475716 12668928 2408 4294967295 134512640 134714508 3221224576 3221223236 134649897 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3093 2408 1111 63 0 3030 0 vsize: 12372 [startup+150.033 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11975 Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 246156 0 0 0 14416 586 0 0 25 0 1 0 835475716 13447168 2528 4294967295 134512640 134714508 3221224576 3221220736 1075095166 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3283 2528 1111 63 0 3220 0 vsize: 13132 [startup+160.036 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11975 Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 262628 0 0 0 15377 625 0 0 25 0 1 0 835475716 13512704 2604 4294967295 134512640 134714508 3221224576 3221221856 1074140048 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3299 2604 1111 63 0 3236 0 vsize: 13196 [startup+170.038 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11975 Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 278933 0 0 0 16339 663 0 0 25 0 1 0 835475716 14262272 2697 4294967295 134512640 134714508 3221224576 3221220576 1075965246 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3482 2697 1111 63 0 3419 0 vsize: 13928 [startup+180.038 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11975 Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 294177 0 0 0 17304 699 0 0 25 0 1 0 835475716 13684736 2665 4294967295 134512640 134714508 3221224576 3221222352 1077379970 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3341 2665 1111 63 0 3278 0 vsize: 13364 [startup+190.039 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11975 Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 311856 0 0 0 18261 741 0 0 25 0 1 0 835475716 15085568 2759 4294967295 134512640 134714508 3221224576 3221221616 1075971389 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3683 2759 1111 63 0 3620 0 vsize: 14732 [startup+200.044 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11975 Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 329547 0 0 0 19224 780 0 0 25 0 1 0 835475716 15884288 3039 4294967295 134512640 134714508 3221224576 3221220588 1074788959 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3878 3039 1111 63 0 3815 0 vsize: 15512 [startup+210.043 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11975 Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 346965 0 0 0 20186 817 0 0 25 0 1 0 835475716 15360000 2867 4294967295 134512640 134714508 3221224576 3221221620 1074846206 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3750 2867 1111 63 0 3687 0 vsize: 15000 [startup+220.043 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11975 Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 367262 0 0 0 21138 866 0 0 25 0 1 0 835475716 14880768 2957 4294967295 134512640 134714508 3221224576 3221222576 1074918512 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3633 2957 1111 63 0 3570 0 vsize: 14532 [startup+230.043 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11975 Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 386656 0 0 0 22093 910 0 0 25 0 1 0 835475716 15069184 3003 4294967295 134512640 134714508 3221224576 3221222880 1073990361 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3679 3003 1111 63 0 3616 0 vsize: 14716 [startup+240.044 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11977 Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 404364 0 0 0 23053 951 0 0 25 0 1 0 835475716 15712256 3160 4294967295 134512640 134714508 3221224576 3221223136 134542347 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3836 3160 1111 63 0 3773 0 vsize: 15344 [startup+250.044 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11977 Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 422040 0 0 0 24014 990 0 0 25 0 1 0 835475716 15458304 3098 4294967295 134512640 134714508 3221224576 3221222912 1074153773 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3774 3098 1111 63 0 3711 0 vsize: 15096 [startup+260.044 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11977 Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 439463 0 0 0 24975 1029 0 0 25 0 1 0 835475716 15708160 3159 4294967295 134512640 134714508 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3835 3159 1111 63 0 3772 0 vsize: 15340 [startup+270.044 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11977 Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 458584 0 0 0 25932 1071 0 0 25 0 1 0 835475716 16916480 3249 4294967295 134512640 134714508 3221224576 3221221176 1075850761 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4130 3249 1111 63 0 4067 0 vsize: 16520 [startup+280.045 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11977 Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 477125 0 0 0 26891 1113 0 0 25 0 1 0 835475716 17207296 3301 4294967295 134512640 134714508 3221224576 3221221616 1075971395 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4201 3301 1111 63 0 4138 0 vsize: 16804 [startup+290.045 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11977 Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 494928 0 0 0 27851 1153 0 0 25 0 1 0 835475716 16605184 3351 4294967295 134512640 134714508 3221224576 3221222928 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4054 3351 1111 63 0 3991 0 vsize: 16216 [startup+300.046 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11977 Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 514370 0 0 0 28806 1198 0 0 25 0 1 0 835475716 16756736 3415 4294967295 134512640 134714508 3221224576 3221222864 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4091 3415 1111 63 0 4028 0 vsize: 16364 [startup+310.046 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11977 Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 532834 0 0 0 29763 1242 0 0 25 0 1 0 835475716 16957440 3464 4294967295 134512640 134714508 3221224576 3221222548 1077378699 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4140 3464 1111 63 0 4077 0 vsize: 16560 [startup+320.046 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11977 Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 551201 0 0 0 30720 1285 0 0 25 0 1 0 835475716 17342464 3558 4294967295 134512640 134714508 3221224576 3221222488 1074138265 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4234 3558 1111 63 0 4171 0 vsize: 16936 [startup+330.047 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11977 Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 570413 0 0 0 31674 1330 0 0 25 0 1 0 835475716 18071552 3704 4294967295 134512640 134714508 3221224576 3221222576 1074918591 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4412 3704 1111 63 0 4349 0 vsize: 17648 [startup+340.049 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11977 Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 589712 0 0 0 32630 1375 0 0 25 0 1 0 835475716 18132992 3751 4294967295 134512640 134714508 3221224576 3221222216 1077410163 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4427 3751 1111 63 0 4364 0 vsize: 17708 [startup+350.049 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11977 Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 608286 0 0 0 33587 1418 0 0 25 0 1 0 835475716 18223104 3773 4294967295 134512640 134714508 3221224576 3221222676 1074208084 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4449 3773 1111 63 0 4386 0 vsize: 17796 [startup+360.049 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11977 Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 621234 0 0 0 34558 1447 0 0 25 0 1 0 835475716 18853888 3927 4294967295 134512640 134714508 3221224576 3221222720 1074153770 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4603 3927 1111 63 0 4540 0 vsize: 18412 [startup+370.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11977 Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 637473 0 0 0 35517 1488 0 0 25 0 1 0 835475716 19927040 3913 4294967295 134512640 134714508 3221224576 3221221720 1075850716 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4865 3913 1111 63 0 4802 0 vsize: 19460 [startup+380.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11977 Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 651946 0 0 0 36487 1518 0 0 25 0 1 0 835475716 19218432 4016 4294967295 134512640 134714508 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4692 4016 1111 63 0 4629 0 vsize: 18768 [startup+390.051 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11977 Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 668464 0 0 0 37448 1557 0 0 25 0 1 0 835475716 19836928 4164 4294967295 134512640 134714508 3221224576 3221222768 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4843 4164 1111 63 0 4780 0 vsize: 19372 [startup+400.053 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11977 Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 684365 0 0 0 38409 1597 0 0 25 0 1 0 835475716 21516288 4130 4294967295 134512640 134714508 3221224576 3221221616 1075971413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5253 4130 1111 63 0 5190 0 vsize: 21012 [startup+410.052 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11977 Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 702735 0 0 0 39367 1639 0 0 25 0 1 0 835475716 20348928 4261 4294967295 134512640 134714508 3221224576 3221222688 1074867340 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4968 4261 1111 63 0 4905 0 vsize: 19872 [startup+420.052 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11977 Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 718384 0 0 0 40332 1674 0 0 25 0 1 0 835475716 23109632 4746 4294967295 134512640 134714508 3221224576 3221221808 1075552832 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5642 4746 1111 63 0 5579 0 vsize: 22568 [startup+430.052 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11977 Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 733693 0 0 0 41297 1710 0 0 25 0 1 0 835475716 20242432 4266 4294967295 134512640 134714508 3221224576 3221222712 1077377457 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4942 4266 1111 63 0 4879 0 vsize: 19768 [startup+440.053 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11977 Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 748265 0 0 0 42264 1743 0 0 25 0 1 0 835475716 20652032 4336 4294967295 134512640 134714508 3221224576 3221222656 1074064567 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5042 4336 1111 63 0 4979 0 vsize: 20168 [startup+450.053 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11977 Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 760600 0 0 0 43236 1771 0 0 25 0 1 0 835475716 20807680 4405 4294967295 134512640 134714508 3221224576 3221222784 1074153770 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5080 4405 1111 63 0 5017 0 vsize: 20320 [startup+460.053 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11977 Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 774331 0 0 0 44205 1802 0 0 25 0 1 0 835475716 21311488 4491 4294967295 134512640 134714508 3221224576 3221221856 1074140020 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5203 4491 1111 63 0 5140 0 vsize: 20812 [startup+470.054 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11977 Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 787793 0 0 0 45176 1831 0 0 25 0 1 0 835475716 21204992 4470 4294967295 134512640 134714508 3221224576 3221222576 1074918597 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5177 4470 1111 63 0 5114 0 vsize: 20708 [startup+480.054 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11977 Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 801541 0 0 0 46144 1863 0 0 25 0 1 0 835475716 20910080 4430 4294967295 134512640 134714508 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5105 4430 1111 63 0 5042 0 vsize: 20420 [startup+490.055 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11977 Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 814721 0 0 0 47113 1894 0 0 25 0 1 0 835475716 21311488 4528 4294967295 134512640 134714508 3221224576 3221222784 1074153792 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5203 4528 1111 63 0 5140 0 vsize: 20812 [startup+500.055 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11977 Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 825000 0 0 0 48089 1918 0 0 25 0 1 0 835475716 21381120 4545 4294967295 134512640 134714508 3221224576 3221221920 1074839017 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5220 4545 1111 63 0 5157 0 vsize: 20880 [startup+510.055 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11977 Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 839096 0 0 0 49060 1947 0 0 25 0 1 0 835475716 21319680 4530 4294967295 134512640 134714508 3221224576 3221222616 1077377291 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5205 4530 1111 63 0 5142 0 vsize: 20820 [startup+520.055 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11977 Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 848435 0 0 0 50037 1970 0 0 25 0 1 0 835475716 24293376 4977 4294967295 134512640 134714508 3221224576 3221220784 1074815500 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5931 4977 1111 63 0 5868 0 vsize: 23724 [startup+530.055 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11977 Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 862084 0 0 0 51008 2000 0 0 25 0 1 0 835475716 21807104 4649 4294967295 134512640 134714508 3221224576 3221222768 1074153760 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5324 4649 1111 63 0 5261 0 vsize: 21296 [startup+540.056 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11977 Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 875503 0 0 0 51976 2031 0 0 25 0 1 0 835475716 21692416 4621 4294967295 134512640 134714508 3221224576 3221222768 1074153792 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5296 4621 1111 63 0 5233 0 vsize: 21184 [startup+550.056 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11977 Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 889559 0 0 0 52944 2064 0 0 25 0 1 0 835475716 22491136 4785 4294967295 134512640 134714508 3221224576 3221222224 1075818300 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5491 4785 1111 63 0 5428 0 vsize: 21964 [startup+560.056 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11977 Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 904622 0 0 0 53910 2098 0 0 25 0 1 0 835475716 21843968 4658 4294967295 134512640 134714508 3221224576 3221223248 134650219 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5333 4658 1111 63 0 5270 0 vsize: 21332 [startup+570.056 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11977 Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 915264 0 0 0 54885 2123 0 0 25 0 1 0 835475716 22237184 4754 4294967295 134512640 134714508 3221224576 3221222848 1074056063 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5429 4754 1111 63 0 5366 0 vsize: 21716 [startup+580.057 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11977 Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 928503 0 0 0 55851 2157 0 0 25 0 1 0 835475716 22228992 4752 4294967295 134512640 134714508 3221224576 3221222960 1074153770 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5427 4752 1111 63 0 5364 0 vsize: 21708 [startup+590.058 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11977 Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 941286 0 0 0 56821 2187 0 0 25 0 1 0 835475716 23732224 4874 4294967295 134512640 134714508 3221224576 3221222216 1075850409 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5794 4874 1111 63 0 5731 0 vsize: 23176 [startup+600.058 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11977 Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 955552 0 0 0 57785 2223 0 0 25 0 1 0 835475716 24903680 4987 4294967295 134512640 134714508 3221224576 3221221344 1076083342 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6080 4987 1111 63 0 6017 0 vsize: 24320 [startup+610.058 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11977 Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 969042 0 0 0 58753 2256 0 0 25 0 1 0 835475716 24862720 5043 4294967295 134512640 134714508 3221224576 3221221408 1075115385 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6070 5043 1111 63 0 6007 0 vsize: 24280 [startup+620.058 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11977 Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 984652 0 0 0 59715 2293 0 0 25 0 1 0 835475716 24772608 5145 4294967295 134512640 134714508 3221224576 3221220804 1075115060 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6048 5145 1111 63 0 5985 0 vsize: 24192 [startup+630.058 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11977 Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 998642 0 0 0 60682 2326 0 0 25 0 1 0 835475716 22798336 4891 4294967295 134512640 134714508 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5566 4891 1111 63 0 5503 0 vsize: 22264 [startup+640.059 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11977 Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 1012888 0 0 0 61651 2357 0 0 25 0 1 0 835475716 22986752 4937 4294967295 134512640 134714508 3221224576 3221223168 134542350 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5612 4937 1111 63 0 5549 0 vsize: 22448 [startup+650.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11977 Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 1027786 0 0 0 62617 2392 0 0 25 0 1 0 835475716 23044096 4951 4294967295 134512640 134714508 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5626 4951 1111 63 0 5563 0 vsize: 22504 [startup+660.059 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11977 Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 1042021 0 0 0 63584 2425 0 0 25 0 1 0 835475716 23269376 5006 4294967295 134512640 134714508 3221224576 3221222928 1074115528 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5681 5006 1111 63 0 5618 0 vsize: 22724 [startup+670.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11977 Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 1052946 0 0 0 64559 2451 0 0 25 0 1 0 835475716 23945216 5171 4294967295 134512640 134714508 3221224576 3221222812 1074208080 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5846 5171 1111 63 0 5783 0 vsize: 23384 [startup+680.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11977 Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 1059719 0 0 0 65542 2467 0 0 25 0 1 0 835475716 23801856 5132 4294967295 134512640 134714508 3221224576 3221222784 1074153770 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5811 5132 1111 63 0 5748 0 vsize: 23244 [startup+690.061 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11977 Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 1072970 0 0 0 66511 2499 0 0 25 0 1 0 835475716 23752704 5124 4294967295 134512640 134714508 3221224576 3221222392 1077380592 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5799 5124 1111 63 0 5736 0 vsize: 23196 [startup+700.061 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11977 Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 1082002 0 0 0 67489 2521 0 0 25 0 1 0 835475716 24682496 5300 4294967295 134512640 134714508 3221224576 3221222688 1074867340 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6026 5300 1111 63 0 5963 0 vsize: 24104 [startup+710.062 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11977 Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 1095045 0 0 0 68458 2552 0 0 25 0 1 0 835475716 26927104 5514 4294967295 134512640 134714508 3221224576 3221220816 1075115752 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6574 5514 1111 63 0 6511 0 vsize: 26296 [startup+720.061 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11977 Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 1108938 0 0 0 69428 2582 0 0 25 0 1 0 835475716 23764992 5127 4294967295 134512640 134714508 3221224576 3221222880 1074153770 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5802 5127 1111 63 0 5739 0 vsize: 23208 [startup+730.062 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11977 Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 1121968 0 0 0 70398 2612 0 0 25 0 1 0 835475716 24666112 5323 4294967295 134512640 134714508 3221224576 3221222856 1074138316 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6022 5323 1111 63 0 5959 0 vsize: 24088 [startup+740.063 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11977 Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 1131487 0 0 0 71374 2637 0 0 25 0 1 0 835475716 24649728 5320 4294967295 134512640 134714508 3221224576 3221222784 1074153770 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6018 5320 1111 63 0 5955 0 vsize: 24072 [startup+750.063 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11977 Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 1145244 0 0 0 72342 2668 0 0 25 0 1 0 835475716 24772608 5344 4294967295 134512640 134714508 3221224576 3221222304 1075828514 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6048 5344 1111 63 0 5985 0 vsize: 24192 [startup+760.063 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11977 Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 1160218 0 0 0 73309 2702 0 0 25 0 1 0 835475716 27975680 5978 4294967295 134512640 134714508 3221224576 3221221120 1075088563 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6830 5978 1111 63 0 6767 0 vsize: 27320 [startup+770.064 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11977 Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 1174419 0 0 0 74275 2735 0 0 25 0 1 0 835475716 27471872 5612 4294967295 134512640 134714508 3221224576 3221220720 1074969685 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6707 5612 1111 63 0 6644 0 vsize: 26828 [startup+780.064 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11977 Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 1186057 0 0 0 75249 2762 0 0 25 0 1 0 835475716 24952832 5415 4294967295 134512640 134714508 3221224576 3221222572 1074788959 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6092 5415 1111 63 0 6029 0 vsize: 24368 [startup+790.066 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11977 Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 1197761 0 0 0 76223 2788 0 0 25 0 1 0 835475716 24715264 5359 4294967295 134512640 134714508 3221224576 3221223072 134650078 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6034 5359 1111 63 0 5971 0 vsize: 24136 [startup+800.066 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11977 Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 1212275 0 0 0 77191 2821 0 0 25 0 1 0 835475716 24743936 5366 4294967295 134512640 134714508 3221224576 3221222784 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6041 5366 1111 63 0 5978 0 vsize: 24164 [startup+810.066 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11977 Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 1225939 0 0 0 78160 2852 0 0 25 0 1 0 835475716 27869184 5694 4294967295 134512640 134714508 3221224576 3221221388 1074788953 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6804 5694 1111 63 0 6741 0 vsize: 27216 [startup+820.066 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11977 Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 1235010 0 0 0 79139 2872 0 0 25 0 1 0 835475716 24961024 5419 4294967295 134512640 134714508 3221224576 3221222696 1074057994 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6094 5419 1111 63 0 6031 0 vsize: 24376 [startup+830.066 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11977 Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 1250598 0 0 0 80105 2906 0 0 25 0 1 0 835475716 24961024 5419 4294967295 134512640 134714508 3221224576 3221222928 1074153770 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6094 5419 1111 63 0 6031 0 vsize: 24376 [startup+840.066 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11977 Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 1263876 0 0 0 81074 2938 0 0 25 0 1 0 835475716 27705344 5566 4294967295 134512640 134714508 3221224576 3221221696 1074837200 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6764 5566 1111 63 0 6701 0 vsize: 27056 [startup+850.067 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11977 Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 1278739 0 0 0 82037 2975 0 0 25 0 1 0 835475716 25477120 5544 4294967295 134512640 134714508 3221224576 3221222576 1074916750 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6220 5544 1111 63 0 6157 0 vsize: 24880 [startup+860.067 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11977 Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 1293279 0 0 0 83003 3009 0 0 25 0 1 0 835475716 28258304 5692 4294967295 134512640 134714508 3221224576 3221221696 1074834461 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6899 5692 1111 63 0 6836 0 vsize: 27596 [startup+870.068 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11977 Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 1307024 0 0 0 83972 3040 0 0 25 0 1 0 835475716 25841664 5609 4294967295 134512640 134714508 3221224576 3221222880 1074153786 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6309 5609 1111 63 0 6246 0 vsize: 25236 [startup+880.069 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11977 Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 1321243 0 0 0 84938 3075 0 0 25 0 1 0 835475716 26079232 5661 4294967295 134512640 134714508 3221224576 3221222768 1074153786 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6367 5661 1111 63 0 6304 0 vsize: 25468 [startup+890.069 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11977 Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 1334421 0 0 0 85906 3107 0 0 25 0 1 0 835475716 28848128 5886 4294967295 134512640 134714508 3221224576 3221220632 1074860243 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7043 5886 1111 63 0 6980 0 vsize: 28172 [startup+900.069 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11977 Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 1349202 0 0 0 86872 3141 0 0 25 0 1 0 835475716 26025984 5679 4294967295 134512640 134714508 3221224576 3221222912 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6354 5679 1111 63 0 6291 0 vsize: 25416 [startup+910.07 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11977 Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 1366143 0 0 0 87833 3180 0 0 25 0 1 0 835475716 26824704 5866 4294967295 134512640 134714508 3221224576 3221222576 1074918583 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6549 5866 1111 63 0 6486 0 vsize: 26196 [startup+920.07 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11977 Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 1380935 0 0 0 88798 3215 0 0 25 0 1 0 835475716 26484736 5766 4294967295 134512640 134714508 3221224576 3221222768 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6466 5766 1111 63 0 6403 0 vsize: 25864 [startup+930.07 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11977 Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 1395379 0 0 0 89764 3249 0 0 25 0 1 0 835475716 26836992 5846 4294967295 134512640 134714508 3221224576 3221222304 1075828373 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6552 5846 1111 63 0 6489 0 vsize: 26208 [startup+940.071 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11977 Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 1407461 0 0 0 90736 3277 0 0 25 0 1 0 835475716 26836992 5877 4294967295 134512640 134714508 3221224576 3221222216 1077410205 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6552 5877 1111 63 0 6489 0 vsize: 26208 [startup+950.072 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11977 Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 1418508 0 0 0 91711 3303 0 0 25 0 1 0 835475716 26836992 5877 4294967295 134512640 134714508 3221224576 3221222728 1074138150 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6552 5877 1111 63 0 6489 0 vsize: 26208 [startup+960.071 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11977 Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 1433424 0 0 0 92675 3339 0 0 25 0 1 0 835475716 29421568 5999 4294967295 134512640 134714508 3221224576 3221221232 1075967692 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7183 5999 1111 63 0 7120 0 vsize: 28732 [startup+970.073 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11977 Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 1448677 0 0 0 93637 3377 0 0 25 0 1 0 835475716 29814784 6116 4294967295 134512640 134714508 3221224576 3221221388 1074788950 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7279 6116 1111 63 0 7216 0 vsize: 29116 [startup+980.073 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11977 Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 1458951 0 0 0 94612 3402 0 0 25 0 1 0 835475716 30281728 6311 4294967295 134512640 134714508 3221224576 3221220848 1074960952 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7393 6311 1111 63 0 7330 0 vsize: 29572 [startup+990.074 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11977 Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 1472339 0 0 0 95584 3431 0 0 25 0 1 0 835475716 29020160 6098 4294967295 134512640 134714508 3221224576 3221221932 1074788964 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7085 6098 1111 63 0 7022 0 vsize: 28340 [startup+1000.07 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11977 Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 1486394 0 0 0 96552 3462 0 0 25 0 1 0 835475716 28098560 6155 4294967295 134512640 134714508 3221224576 3221222960 1074153770 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6860 6155 1111 63 0 6797 0 vsize: 27440 [startup+1010.07 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11977 Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 1497857 0 0 0 97525 3489 0 0 25 0 1 0 835475716 27533312 6047 4294967295 134512640 134714508 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6722 6047 1111 63 0 6659 0 vsize: 26888 [startup+1020.07 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11977 Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 1511514 0 0 0 98494 3521 0 0 25 0 1 0 835475716 27725824 6094 4294967295 134512640 134714508 3221224576 3221222660 1077374514 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6769 6094 1111 63 0 6706 0 vsize: 27076 [startup+1030.07 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11977 Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 1524085 0 0 0 99466 3549 0 0 25 0 1 0 835475716 28450816 6190 4294967295 134512640 134714508 3221224576 3221221856 1074140035 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6946 6195 1111 63 0 6883 0 vsize: 27784 [startup+1040.07 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11977 Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 1538288 0 0 0 100433 3582 0 0 25 0 1 0 835475716 28065792 6177 4294967295 134512640 134714508 3221224576 3221222928 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6852 6177 1111 63 0 6789 0 vsize: 27408 [startup+1050.08 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11977 Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 1551336 0 0 0 101404 3612 0 0 25 0 1 0 835475716 28774400 6338 4294967295 134512640 134714508 3221224576 3221222576 1074918594 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7025 6338 1111 63 0 6962 0 vsize: 28100 [startup+1060.08 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11977 Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 1566182 0 0 0 102367 3649 0 0 25 0 1 0 835475716 28901376 6339 4294967295 134512640 134714508 3221224576 3221222688 1074867302 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7056 6339 1111 63 0 6993 0 vsize: 28224 [startup+1070.08 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11977 Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 1577865 0 0 0 103339 3677 0 0 25 0 1 0 835475716 28688384 6329 4294967295 134512640 134714508 3221224576 3221222368 1077814665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7004 6329 1111 63 0 6941 0 vsize: 28016 [startup+1080.08 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11977 Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 1580580 0 0 0 104332 3685 0 0 25 0 1 0 835475716 29204480 6435 4294967295 134512640 134714508 3221224576 3221222864 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7130 6435 1111 63 0 7067 0 vsize: 28520 [startup+1090.08 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11977 Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 1585761 0 0 0 105320 3696 0 0 25 0 1 0 835475716 28913664 6353 4294967295 134512640 134714508 3221224576 3221222784 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7059 6353 1111 63 0 6996 0 vsize: 28236 [startup+1100.08 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11977 Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 1598858 0 0 0 106293 3724 0 0 25 0 1 0 835475716 28483584 6279 4294967295 134512640 134714508 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6954 6279 1111 63 0 6891 0 vsize: 27816 [startup+1110.08 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11977 Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 1609692 0 0 0 107267 3750 0 0 25 0 1 0 835475716 32006144 6531 4294967295 134512640 134714508 3221224576 3221221520 1074620117 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7814 6531 1111 63 0 7751 0 vsize: 31256 [startup+1120.08 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11977 Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 1622851 0 0 0 108237 3780 0 0 25 0 1 0 835475716 28725248 6338 4294967295 134512640 134714508 3221224576 3221222864 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7013 6338 1111 63 0 6950 0 vsize: 28052 [startup+1130.08 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11977 Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 1635663 0 0 0 109208 3809 0 0 25 0 1 0 835475716 32849920 6823 4294967295 134512640 134714508 3221224576 3221220804 1075115039 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8020 6823 1111 63 0 7957 0 vsize: 32080 [startup+1140.08 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11977 Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 1649126 0 0 0 110177 3840 0 0 25 0 1 0 835475716 32096256 6506 4294967295 134512640 134714508 3221224576 3221221648 1074867340 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7836 6506 1111 63 0 7773 0 vsize: 31344 [startup+1150.08 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11977 Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 1661470 0 0 0 111149 3869 0 0 25 0 1 0 835475716 28987392 6402 4294967295 134512640 134714508 3221224576 3221222736 1074153770 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7077 6402 1111 63 0 7014 0 vsize: 28308 [startup+1160.08 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11977 Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 1673610 0 0 0 112121 3897 0 0 25 0 1 0 835475716 32681984 6737 4294967295 134512640 134714508 3221224576 3221220736 1074794515 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7979 6737 1111 63 0 7916 0 vsize: 31916 [startup+1170.08 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11977 Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 1682037 0 0 0 113100 3918 0 0 25 0 1 0 835475716 29925376 6610 4294967295 134512640 134714508 3221224576 3221222768 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7306 6610 1111 63 0 7243 0 vsize: 29224 [startup+1175.44 s] Raw data (loadavg): 0.99 0.97 0.91 1/53 11977 Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 1682037 0 0 0 113100 3918 0 0 25 0 1 0 835475716 29925376 6610 4294967295 134512640 134714508 3221224576 3221222768 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7306 6610 1111 63 0 7243 0 vsize: 0 Child status: 10 Real time (s): 1175.44 CPU time (s): 1175.55 CPU user time (s): 1136.22 CPU system time (s): 39.322 CPU usage (%): 100.009 Max. virtual memory (Kb): 32080 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### Verifier: OK 30 #### END VERIFIER DATA ####