Name | normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-vpm2.opb |
MD5SUM | fae1fae180d772ad3ee6c1acfa1c8b4f |
Bench Category | optimization, medium integers (OPTMEDINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 122 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 168 |
Biggest coefficient in the objective function | 5 |
Number of bits for the biggest coefficient in the objective function | 3 |
Sum of the numbers in the objective function | 504 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 2000000 |
Number of bits of the biggest number in a constraint | 21 |
Biggest sum of numbers in a constraint | 30041153 |
Number of bits of the biggest sum of numbers | 25 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1189.01 |
Number of variables | 2124 |
Total number of constraints | 444 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 444 |
Minimum length of a constraint | 8 |
Maximum length of a constraint | 64 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc2 THE 2005-06-09 17:03:15 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=29674 boxname=wulflinc2 idbench=1458 idsolver=21 numberseed=0 MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2 MD5SUM BENCH: fae1fae180d772ad3ee6c1acfa1c8b4f /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-vpm2.opb REAL COMMAND: bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-vpm2.opb IDLAUNCH: 29674 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.191 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.191 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: 893820 kB Buffers: 14176 kB Cached: 105968 kB SwapCached: 1440 kB Active: 27748 kB Inactive: 94428 kB HighTotal: 131008 kB HighFree: 64596 kB LowTotal: 903652 kB LowFree: 829224 kB SwapTotal: 2097136 kB SwapFree: 2094656 kB Dirty: 24 kB Writeback: 0 kB Mapped: 4976 kB Slab: 13012 kB Committed_AS: 71792 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-09 17:22:50 (client local time) WITH STATUS 0 IN 1175.15 SECONDS stats: 29674 7 1175.15 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. c Initial problem consists of 2124 variables and 486 constraints. c After prepocess the problem consists of 1392 variables and 289 constraints. c preprocess terminated 47.742 s c Initial Lower Bound: 39 c Lower Bound Elapsed time: 0.1795 c Use computed LB before first solution. s UNKNOWN c Exit Code: 0 c Total time: 1175.13 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 Enforcing Stack size limit: 67108864 bytes Current StackSize limit: 67108864 bytes Raw data (loadavg): 0.93 0.98 0.91 1/54 31202 Raw data (stat): 31202 (runsolver) R 31201 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 911929384 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0 Raw data (statm): 216 94 205 205 0 11 0 vsize: 864 [startup+10.0004 s] Raw data (loadavg): 0.94 0.98 0.91 2/54 31202 Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 5955 0 0 0 980 17 0 0 25 0 1 0 911929384 27557888 5873 4294967295 134512640 134716908 3221224560 3221222940 1077379930 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6728 5873 1111 63 0 6665 0 vsize: 26912 [startup+20.0014 s] Raw data (loadavg): 0.95 0.98 0.91 2/54 31202 Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 6003 0 0 0 1980 17 0 0 25 0 1 0 911929384 27803648 5921 4294967295 134512640 134716908 3221224560 3221223200 134606510 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6788 5921 1111 63 0 6725 0 vsize: 27152 [startup+30.0017 s] Raw data (loadavg): 0.96 0.98 0.91 2/54 31202 Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 6003 0 0 0 2981 17 0 0 25 0 1 0 911929384 27803648 5921 4294967295 134512640 134716908 3221224560 3221223200 134606510 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6788 5921 1111 63 0 6725 0 vsize: 27152 [startup+40.0014 s] Raw data (loadavg): 0.96 0.98 0.91 2/54 31202 Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 6003 0 0 0 3981 17 0 0 25 0 1 0 911929384 27803648 5921 4294967295 134512640 134716908 3221224560 3221223200 134606490 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6788 5921 1111 63 0 6725 0 vsize: 27152 [startup+50.0027 s] Raw data (loadavg): 0.97 0.98 0.91 2/54 31202 Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 6688 0 0 0 4978 19 0 0 25 0 1 0 911929384 28135424 6111 4294967295 134512640 134716908 3221224560 3221221504 1074620117 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6869 6111 1111 63 0 6806 0 vsize: 27476 [startup+60.0018 s] Raw data (loadavg): 0.97 0.98 0.91 2/54 31202 Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 8023 0 0 0 5973 24 0 0 25 0 1 0 911929384 27803648 6090 4294967295 134512640 134716908 3221224560 3221222320 1074153751 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6788 6090 1111 63 0 6725 0 vsize: 27152 [startup+70.0025 s] Raw data (loadavg): 0.98 0.98 0.91 2/54 31202 Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 9399 0 0 0 6968 30 0 0 25 0 1 0 911929384 27803648 6091 4294967295 134512640 134716908 3221224560 3221223200 134651142 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6788 6091 1111 63 0 6725 0 vsize: 27152 [startup+80.0025 s] Raw data (loadavg): 0.98 0.98 0.91 2/54 31202 Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 10960 0 0 0 7963 35 0 0 25 0 1 0 911929384 27840512 6095 4294967295 134512640 134716908 3221224560 3221222304 1075640275 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6797 6095 1111 63 0 6734 0 vsize: 27188 [startup+90.0028 s] Raw data (loadavg): 0.98 0.98 0.91 2/54 31202 Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 12713 0 0 0 8958 40 0 0 25 0 1 0 911929384 27844608 6104 4294967295 134512640 134716908 3221224560 3221222560 1074918583 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6798 6104 1111 63 0 6735 0 vsize: 27192 [startup+100.003 s] Raw data (loadavg): 0.98 0.98 0.91 2/54 31202 Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 14720 0 0 0 9951 47 0 0 25 0 1 0 911929384 28020736 6110 4294967295 134512640 134716908 3221224560 3221220824 1074950114 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6841 6110 1111 63 0 6778 0 vsize: 27364 [startup+110.003 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 31202 Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 16459 0 0 0 10944 54 0 0 25 0 1 0 911929384 27803648 6094 4294967295 134512640 134716908 3221224560 3221223168 134652541 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6788 6094 1111 63 0 6725 0 vsize: 27152 [startup+120.003 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 31202 Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 18402 0 0 0 11938 60 0 0 25 0 1 0 911929384 27840512 6101 4294967295 134512640 134716908 3221224560 3221222616 1074138155 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6797 6101 1111 63 0 6734 0 vsize: 27188 [startup+130.003 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 31202 Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 20407 0 0 0 12932 67 0 0 25 0 1 0 911929384 27803648 6094 4294967295 134512640 134716908 3221224560 3221222288 1074050884 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6788 6094 1111 63 0 6725 0 vsize: 27152 [startup+140.003 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 31202 Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 22746 0 0 0 13925 74 0 0 25 0 1 0 911929384 27803648 6094 4294967295 134512640 134716908 3221224560 3221222416 1074153749 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6788 6094 1111 63 0 6725 0 vsize: 27152 [startup+150.003 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 31202 Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 24956 0 0 0 14918 81 0 0 25 0 1 0 911929384 27803648 6094 4294967295 134512640 134716908 3221224560 3221222416 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6788 6094 1111 63 0 6725 0 vsize: 27152 [startup+160.003 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 31202 Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 26865 0 0 0 15910 89 0 0 25 0 1 0 911929384 27840512 6102 4294967295 134512640 134716908 3221224560 3221222944 1074153675 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6797 6102 1111 63 0 6734 0 vsize: 27188 [startup+170.002 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 31202 Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 28411 0 0 0 16905 94 0 0 25 0 1 0 911929384 27840512 6100 4294967295 134512640 134716908 3221224560 3221222384 1074153734 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6797 6100 1111 63 0 6734 0 vsize: 27188 [startup+180.002 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 31204 Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 29895 0 0 0 17900 99 0 0 25 0 1 0 911929384 27840512 6103 4294967295 134512640 134716908 3221224560 3221222392 1077410279 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6797 6103 1111 63 0 6734 0 vsize: 27188 [startup+190.003 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 31204 Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 31757 0 0 0 18894 105 0 0 25 0 1 0 911929384 28196864 6123 4294967295 134512640 134716908 3221224560 3221220632 1074950169 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6884 6123 1111 63 0 6821 0 vsize: 27536 [startup+200.003 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 31204 Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 33565 0 0 0 19888 112 0 0 25 0 1 0 911929384 27840512 6103 4294967295 134512640 134716908 3221224560 3221222960 1074153675 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6797 6103 1111 63 0 6734 0 vsize: 27188 [startup+210.002 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 31204 Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 35475 0 0 0 20881 120 0 0 25 0 1 0 911929384 27963392 6096 4294967295 134512640 134716908 3221224560 3221222480 1075799685 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6827 6096 1111 63 0 6764 0 vsize: 27308 [startup+220.003 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 31204 Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 37707 0 0 0 21873 127 0 0 25 0 1 0 911929384 27832320 6097 4294967295 134512640 134716908 3221224560 3221222992 134652402 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6795 6097 1111 63 0 6732 0 vsize: 27180 [startup+230.003 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 31204 Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 39327 0 0 0 22867 133 0 0 25 0 1 0 911929384 27803648 6094 4294967295 134512640 134716908 3221224560 3221223008 1073990196 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6788 6094 1111 63 0 6725 0 vsize: 27152 [startup+240.003 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 31204 Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 39973 0 0 0 23864 137 0 0 25 0 1 0 911929384 28008448 6097 4294967295 134512640 134716908 3221224560 3221221404 1077782939 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6838 6101 1111 63 0 6775 0 vsize: 27352 [startup+250.004 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 31204 Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 41829 0 0 0 24858 143 0 0 25 0 1 0 911929384 27803648 6094 4294967295 134512640 134716908 3221224560 3221222344 1077410205 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6788 6094 1111 63 0 6725 0 vsize: 27152 [startup+260.003 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 31204 Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 43899 0 0 0 25849 152 0 0 25 0 1 0 911929384 27803648 6094 4294967295 134512640 134716908 3221224560 3221222392 1077380592 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6788 6094 1111 63 0 6725 0 vsize: 27152 [startup+270.003 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 31204 Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 45956 0 0 0 26843 158 0 0 25 0 1 0 911929384 27832320 6096 4294967295 134512640 134716908 3221224560 3221222912 1074115339 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6795 6096 1111 63 0 6732 0 vsize: 27180 [startup+280.003 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 31204 Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 48068 0 0 0 27835 166 0 0 25 0 1 0 911929384 27803648 6094 4294967295 134512640 134716908 3221224560 3221222480 1074153822 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6788 6094 1111 63 0 6725 0 vsize: 27152 [startup+290.003 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 31204 Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 50172 0 0 0 28827 175 0 0 25 0 1 0 911929384 28024832 6114 4294967295 134512640 134716908 3221224560 3221220668 1075093130 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6842 6114 1111 63 0 6779 0 vsize: 27368 [startup+300.003 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 31204 Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 52158 0 0 0 29819 182 0 0 25 0 1 0 911929384 27803648 6094 4294967295 134512640 134716908 3221224560 3221222312 1074138162 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6788 6094 1111 63 0 6725 0 vsize: 27152 [startup+310.003 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 31204 Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 53630 0 0 0 30812 190 0 0 25 0 1 0 911929384 27803648 6094 4294967295 134512640 134716908 3221224560 3221222608 1074153660 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6788 6094 1111 63 0 6725 0 vsize: 27152 [startup+320.003 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 31204 Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 55345 0 0 0 31806 196 0 0 25 0 1 0 911929384 27803648 6094 4294967295 134512640 134716908 3221224560 3221222512 1074918472 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6788 6094 1111 63 0 6725 0 vsize: 27152 [startup+330.003 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 31204 Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 57405 0 0 0 32799 203 0 0 25 0 1 0 911929384 27803648 6094 4294967295 134512640 134716908 3221224560 3221222104 1077380592 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6788 6094 1111 63 0 6725 0 vsize: 27152 [startup+340.004 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 31204 Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 59663 0 0 0 33791 211 0 0 25 0 1 0 911929384 28020736 6117 4294967295 134512640 134716908 3221224560 3221220716 1075563857 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6841 6117 1111 63 0 6778 0 vsize: 27364 [startup+350.003 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 31204 Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 61574 0 0 0 34784 218 0 0 25 0 1 0 911929384 27803648 6094 4294967295 134512640 134716908 3221224560 3221222960 1074153672 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6788 6094 1111 63 0 6725 0 vsize: 27152 [startup+360.003 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 31204 Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 63773 0 0 0 35778 225 0 0 25 0 1 0 911929384 27832320 6097 4294967295 134512640 134716908 3221224560 3221221616 1074139054 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6834 6100 1111 63 0 6771 0 vsize: 27180 [startup+370.004 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 31204 Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 65857 0 0 0 36769 234 0 0 25 0 1 0 911929384 27803648 6094 4294967295 134512640 134716908 3221224560 3221222400 1074153760 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6788 6094 1111 63 0 6725 0 vsize: 27152 [startup+380.003 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 31204 Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 67919 0 0 0 37760 243 0 0 25 0 1 0 911929384 27803648 6094 4294967295 134512640 134716908 3221224560 3221222616 1077410279 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6788 6094 1111 63 0 6725 0 vsize: 27152 [startup+390.003 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 31204 Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 69493 0 0 0 38754 250 0 0 25 0 1 0 911929384 27803648 6094 4294967295 134512640 134716908 3221224560 3221222736 1073978447 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6788 6094 1111 63 0 6725 0 vsize: 27152 [startup+400.004 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 31204 Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 70415 0 0 0 39749 255 0 0 25 0 1 0 911929384 27803648 6094 4294967295 134512640 134716908 3221224560 3221222740 1077374168 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6788 6094 1111 63 0 6725 0 vsize: 27152 [startup+410.003 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 31204 Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 72219 0 0 0 40742 262 0 0 25 0 1 0 911929384 27975680 6104 4294967295 134512640 134716908 3221224560 3221220984 1075111335 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6830 6104 1111 63 0 6767 0 vsize: 27320 [startup+420.003 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 31204 Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 73094 0 0 0 41737 267 0 0 25 0 1 0 911929384 27832320 6101 4294967295 134512640 134716908 3221224560 3221223296 134556388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6795 6101 1111 63 0 6732 0 vsize: 27180 [startup+430.004 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 31204 Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 73992 0 0 0 42734 270 0 0 25 0 1 0 911929384 27832320 6101 4294967295 134512640 134716908 3221224560 3221223232 134652567 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6795 6101 1111 63 0 6732 0 vsize: 27180 [startup+440.004 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 31204 Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 75939 0 0 0 43727 278 0 0 25 0 1 0 911929384 27832320 6101 4294967295 134512640 134716908 3221224560 3221222976 1074121049 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6795 6101 1111 63 0 6732 0 vsize: 27180 [startup+450.004 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 31204 Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 77395 0 0 0 44720 285 0 0 25 0 1 0 911929384 27996160 6112 4294967295 134512640 134716908 3221224560 3221220532 1074786571 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6835 6112 1111 63 0 6772 0 vsize: 27340 [startup+460.004 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 31204 Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 79445 0 0 0 45715 290 0 0 25 0 1 0 911929384 28037120 6113 4294967295 134512640 134716908 3221224560 3221221504 1074620304 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6845 6113 1111 63 0 6782 0 vsize: 27380 [startup+470.004 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 31204 Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 81659 0 0 0 46708 297 0 0 25 0 1 0 911929384 28016640 6118 4294967295 134512640 134716908 3221224560 3221220784 1074961363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6840 6118 1111 63 0 6777 0 vsize: 27360 [startup+480.005 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 31204 Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 83974 0 0 0 47700 305 0 0 25 0 1 0 911929384 27959296 6097 4294967295 134512640 134716908 3221224560 3221222672 1074867320 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6826 6097 1111 63 0 6763 0 vsize: 27304 [startup+490.005 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 31204 Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 86377 0 0 0 48692 313 0 0 25 0 1 0 911929384 27803648 6095 4294967295 134512640 134716908 3221224560 3221222688 1074153663 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6788 6095 1111 63 0 6725 0 vsize: 27152 [startup+500.006 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 31204 Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 89412 0 0 0 49682 324 0 0 25 0 1 0 911929384 28282880 6143 4294967295 134512640 134716908 3221224560 3221220924 1075522564 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6905 6143 1111 63 0 6842 0 vsize: 27620 [startup+510.006 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 31204 Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 92525 0 0 0 50672 334 0 0 25 0 1 0 911929384 28012544 6142 4294967295 134512640 134716908 3221224560 3221222512 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6839 6142 1111 63 0 6776 0 vsize: 27356 [startup+520.006 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 31204 Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 95152 0 0 0 51663 343 0 0 25 0 1 0 911929384 27959296 6133 4294967295 134512640 134716908 3221224560 3221221840 1074140013 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6826 6133 1111 63 0 6763 0 vsize: 27304 [startup+530.006 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 31204 Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 97754 0 0 0 52655 351 0 0 25 0 1 0 911929384 27983872 6136 4294967295 134512640 134716908 3221224560 3221222728 1074138150 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6832 6136 1111 63 0 6769 0 vsize: 27328 [startup+540.007 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 31204 Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 100621 0 0 0 53647 360 0 0 25 0 1 0 911929384 28119040 6136 4294967295 134512640 134716908 3221224560 3221222464 1075809068 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6865 6136 1111 63 0 6802 0 vsize: 27460 [startup+550.006 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 31204 Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 103555 0 0 0 54637 369 0 0 25 0 1 0 911929384 28065792 6150 4294967295 134512640 134716908 3221224560 3221222336 1074153660 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6852 6150 1111 63 0 6789 0 vsize: 27408 [startup+560.006 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 31204 Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 107050 0 0 0 55626 381 0 0 25 0 1 0 911929384 27938816 6129 4294967295 134512640 134716908 3221224560 3221222596 1077378774 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6821 6129 1111 63 0 6758 0 vsize: 27284 [startup+570.007 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 31204 Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 110574 0 0 0 56616 391 0 0 25 0 1 0 911929384 27938816 6129 4294967295 134512640 134716908 3221224560 3221222416 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6821 6129 1111 63 0 6758 0 vsize: 27284 [startup+580.007 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 31204 Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 112822 0 0 0 57609 399 0 0 25 0 1 0 911929384 27938816 6129 4294967295 134512640 134716908 3221224560 3221222824 1074138166 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6821 6129 1111 63 0 6758 0 vsize: 27284 [startup+590.007 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 31204 Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 115229 0 0 0 58601 406 0 0 25 0 1 0 911929384 28188672 6139 4294967295 134512640 134716908 3221224560 3221221792 1074140374 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6882 6139 1111 63 0 6819 0 vsize: 27528 [startup+600.007 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 31204 Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 117489 0 0 0 59593 415 0 0 25 0 1 0 911929384 27959296 6133 4294967295 134512640 134716908 3221224560 3221222776 1074138166 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6826 6133 1111 63 0 6763 0 vsize: 27304 [startup+610.007 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 31204 Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 120279 0 0 0 60585 423 0 0 25 0 1 0 911929384 28110848 6130 4294967295 134512640 134716908 3221224560 3221222288 1075828211 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6863 6130 1111 63 0 6800 0 vsize: 27452 [startup+620.007 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 31204 Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 123804 0 0 0 61573 434 0 0 25 0 1 0 911929384 28024832 6150 4294967295 134512640 134716908 3221224560 3221222200 1077410163 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6842 6150 1111 63 0 6779 0 vsize: 27368 [startup+630.007 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 31204 Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 127376 0 0 0 62563 445 0 0 25 0 1 0 911929384 27983872 6140 4294967295 134512640 134716908 3221224560 3221222824 1074138150 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6832 6140 1111 63 0 6769 0 vsize: 27328 [startup+640.008 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 31204 Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 130476 0 0 0 63552 457 0 0 25 0 1 0 911929384 27959296 6128 4294967295 134512640 134716908 3221224560 3221222560 1074916864 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6826 6128 1111 63 0 6763 0 vsize: 27304 [startup+650.007 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 31204 Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 134104 0 0 0 64539 470 0 0 25 0 1 0 911929384 28270592 6147 4294967295 134512640 134716908 3221224560 3221222988 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6902 6147 1111 63 0 6839 0 vsize: 27608 [startup+660.007 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 31204 Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 138105 0 0 0 65526 483 0 0 25 0 1 0 911929384 28012544 6137 4294967295 134512640 134716908 3221224560 3221222972 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6839 6137 1111 63 0 6776 0 vsize: 27356 [startup+670.008 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 31204 Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 142105 0 0 0 66514 495 0 0 25 0 1 0 911929384 27987968 6141 4294967295 134512640 134716908 3221224560 3221222752 1074153663 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6833 6141 1111 63 0 6770 0 vsize: 27332 [startup+680.009 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 31204 Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 145124 0 0 0 67506 503 0 0 25 0 1 0 911929384 28192768 6184 4294967295 134512640 134716908 3221224560 3221222912 1074118815 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6883 6184 1111 63 0 6820 0 vsize: 27532 [startup+690.009 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 31204 Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 147268 0 0 0 68499 511 0 0 25 0 1 0 911929384 28119040 6173 4294967295 134512640 134716908 3221224560 3221222464 1074153779 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6865 6173 1111 63 0 6802 0 vsize: 27460 [startup+700.009 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 31204 Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 149598 0 0 0 69493 517 0 0 25 0 1 0 911929384 28422144 6247 4294967295 134512640 134716908 3221224560 3221222680 1074138166 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6939 6247 1111 63 0 6876 0 vsize: 27756 [startup+710.008 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 31204 Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 151366 0 0 0 70487 523 0 0 25 0 1 0 911929384 28516352 6270 4294967295 134512640 134716908 3221224560 3221222896 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6962 6270 1111 63 0 6899 0 vsize: 27848 [startup+720.008 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 31204 Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 152048 0 0 0 71485 525 0 0 25 0 1 0 911929384 28491776 6264 4294967295 134512640 134716908 3221224560 3221222672 1074867331 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6956 6264 1111 63 0 6893 0 vsize: 27824 [startup+730.008 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 31204 Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 152524 0 0 0 72482 528 0 0 25 0 1 0 911929384 28491776 6264 4294967295 134512640 134716908 3221224560 3221222976 1074115878 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6956 6264 1111 63 0 6893 0 vsize: 27824 [startup+740.009 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 31204 Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 153052 0 0 0 73480 530 0 0 25 0 1 0 911929384 28491776 6264 4294967295 134512640 134716908 3221224560 3221222400 1074153669 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6956 6264 1111 63 0 6893 0 vsize: 27824 [startup+750.01 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 31204 Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 153532 0 0 0 74477 533 0 0 25 0 1 0 911929384 28491776 6264 4294967295 134512640 134716908 3221224560 3221222256 1075646784 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6956 6264 1111 63 0 6893 0 vsize: 27824 [startup+760.009 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 31204 Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 154012 0 0 0 75475 536 0 0 25 0 1 0 911929384 28491776 6264 4294967295 134512640 134716908 3221224560 3221222384 1074153822 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6956 6264 1111 63 0 6893 0 vsize: 27824 [startup+770.01 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 31204 Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 154613 0 0 0 76472 539 0 0 25 0 1 0 911929384 28491776 6264 4294967295 134512640 134716908 3221224560 3221222416 1074153773 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6956 6264 1111 63 0 6893 0 vsize: 27824 [startup+780.01 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 31204 Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 155140 0 0 0 77469 542 0 0 25 0 1 0 911929384 28491776 6264 4294967295 134512640 134716908 3221224560 3221221632 1074834473 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6956 6264 1111 63 0 6893 0 vsize: 27824 [startup+790.01 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 31204 Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 155662 0 0 0 78468 544 0 0 25 0 1 0 911929384 28491776 6264 4294967295 134512640 134716908 3221224560 3221220524 1074788944 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6956 6264 1111 63 0 6893 0 vsize: 27824 [startup+800.01 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 31204 Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 156314 0 0 0 79465 546 0 0 25 0 1 0 911929384 28516352 6268 4294967295 134512640 134716908 3221224560 3221222680 1077378283 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6962 6268 1111 63 0 6899 0 vsize: 27848 [startup+810.01 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 31204 Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 157201 0 0 0 80461 550 0 0 25 0 1 0 911929384 28794880 6268 4294967295 134512640 134716908 3221224560 3221221504 1074620306 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7030 6268 1111 63 0 6967 0 vsize: 28120 [startup+820.01 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 31204 Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 157944 0 0 0 81457 555 0 0 25 0 1 0 911929384 28516352 6270 4294967295 134512640 134716908 3221224560 3221222816 1074153822 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6962 6270 1111 63 0 6899 0 vsize: 27848 [startup+830.01 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 31204 Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 159432 0 0 0 82451 560 0 0 25 0 1 0 911929384 28573696 6273 4294967295 134512640 134716908 3221224560 3221222512 1074916773 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6976 6273 1111 63 0 6913 0 vsize: 27904 [startup+840.009 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 31204 Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 161793 0 0 0 83445 567 0 0 25 0 1 0 911929384 28524544 6267 4294967295 134512640 134716908 3221224560 3221222824 1074138166 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6964 6267 1111 63 0 6901 0 vsize: 27856 [startup+850.011 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 31204 Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 164563 0 0 0 84436 577 0 0 25 0 1 0 911929384 28606464 6292 4294967295 134512640 134716908 3221224560 3221221840 1074140023 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6984 6292 1111 63 0 6921 0 vsize: 27936 [startup+860.011 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 31204 Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 167513 0 0 0 85425 587 0 0 25 0 1 0 911929384 28786688 6334 4294967295 134512640 134716908 3221224560 3221222864 1074115244 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7028 6334 1111 63 0 6965 0 vsize: 28112 [startup+870.01 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 31204 Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 170261 0 0 0 86417 596 0 0 25 0 1 0 911929384 28749824 6327 4294967295 134512640 134716908 3221224560 3221222672 1074153663 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7019 6327 1111 63 0 6956 0 vsize: 28076 [startup+880.011 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 31204 Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 172521 0 0 0 87408 605 0 0 25 0 1 0 911929384 28725248 6321 4294967295 134512640 134716908 3221224560 3221222560 1074153663 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7013 6321 1111 63 0 6950 0 vsize: 28052 [startup+890.011 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 31204 Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 175035 0 0 0 88402 612 0 0 25 0 1 0 911929384 29138944 6362 4294967295 134512640 134716908 3221224560 3221220724 1075964278 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7114 6362 1111 63 0 7051 0 vsize: 28456 [startup+900.011 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 31204 Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 177476 0 0 0 89395 619 0 0 25 0 1 0 911929384 28725248 6321 4294967295 134512640 134716908 3221224560 3221222972 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7013 6321 1111 63 0 6950 0 vsize: 28052 [startup+910.011 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 31204 Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 178934 0 0 0 90390 624 0 0 25 0 1 0 911929384 29159424 6352 4294967295 134512640 134716908 3221224560 3221221216 1075966495 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7119 6352 1111 63 0 7056 0 vsize: 28476 [startup+920.012 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 31204 Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 181411 0 0 0 91383 631 0 0 25 0 1 0 911929384 29061120 6341 4294967295 134512640 134716908 3221224560 3221221328 1076083898 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7095 6341 1111 63 0 7032 0 vsize: 28380 [startup+930.012 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 31204 Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 183583 0 0 0 92376 637 0 0 25 0 1 0 911929384 29208576 6375 4294967295 134512640 134716908 3221224560 3221221552 1075971283 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7131 6375 1111 63 0 7068 0 vsize: 28524 [startup+940.012 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 31204 Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 185903 0 0 0 93369 645 0 0 25 0 1 0 911929384 28725248 6321 4294967295 134512640 134716908 3221224560 3221222912 134652546 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7013 6321 1111 63 0 6950 0 vsize: 28052 [startup+950.011 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 31204 Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 188785 0 0 0 94361 653 0 0 25 0 1 0 911929384 28749824 6327 4294967295 134512640 134716908 3221224560 3221221616 1074138880 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7019 6327 1111 63 0 6956 0 vsize: 28076 [startup+960.011 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 31204 Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 190960 0 0 0 95353 661 0 0 25 0 1 0 911929384 28725248 6321 4294967295 134512640 134716908 3221224560 3221222720 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7013 6321 1111 63 0 6950 0 vsize: 28052 [startup+970.011 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 31204 Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 193983 0 0 0 96343 671 0 0 25 0 1 0 911929384 28725248 6321 4294967295 134512640 134716908 3221224560 3221222476 1077411564 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7013 6321 1111 63 0 6950 0 vsize: 28052 [startup+980.011 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 31204 Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 197416 0 0 0 97333 681 0 0 25 0 1 0 911929384 28725248 6321 4294967295 134512640 134716908 3221224560 3221222544 1074140701 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7013 6321 1111 63 0 6950 0 vsize: 28052 [startup+990.012 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 31204 Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 199700 0 0 0 98326 688 0 0 25 0 1 0 911929384 29224960 6368 4294967295 134512640 134716908 3221224560 3221221584 1074810508 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7135 6368 1111 63 0 7072 0 vsize: 28540 [startup+1000.01 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 31204 Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 202615 0 0 0 99317 698 0 0 25 0 1 0 911929384 28753920 6328 4294967295 134512640 134716908 3221224560 3221222560 1074056648 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7020 6328 1111 63 0 6957 0 vsize: 28080 [startup+1010.01 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 31204 Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 205789 0 0 0 100306 709 0 0 25 0 1 0 911929384 28962816 6379 4294967295 134512640 134716908 3221224560 3221222412 1077411564 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7071 6379 1111 63 0 7008 0 vsize: 28284 [startup+1020.01 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 31204 Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 208719 0 0 0 101297 718 0 0 25 0 1 0 911929384 29020160 6393 4294967295 134512640 134716908 3221224560 3221222864 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7085 6393 1111 63 0 7022 0 vsize: 28340 [startup+1030.01 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 31204 Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 211458 0 0 0 102289 726 0 0 25 0 1 0 911929384 28975104 6382 4294967295 134512640 134716908 3221224560 3221222296 1077380592 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7074 6382 1111 63 0 7011 0 vsize: 28296 [startup+1040.01 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 31204 Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 214633 0 0 0 103279 736 0 0 25 0 1 0 911929384 29003776 6379 4294967295 134512640 134716908 3221224560 3221222304 1074153736 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7081 6379 1111 63 0 7018 0 vsize: 28324 [startup+1050.01 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 31204 Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 217925 0 0 0 104268 747 0 0 25 0 1 0 911929384 29065216 6397 4294967295 134512640 134716908 3221224560 3221222912 1074115304 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7096 6397 1111 63 0 7033 0 vsize: 28384 [startup+1060.01 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 31204 Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 220690 0 0 0 105258 757 0 0 25 0 1 0 911929384 29044736 6399 4294967295 134512640 134716908 3221224560 3221222476 1077411564 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7091 6399 1111 63 0 7028 0 vsize: 28364 [startup+1070.01 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 31204 Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 223152 0 0 0 106251 765 0 0 25 0 1 0 911929384 29130752 6407 4294967295 134512640 134716908 3221224560 3221222792 1074138274 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7112 6407 1111 63 0 7049 0 vsize: 28448 [startup+1080.01 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 31204 Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 225225 0 0 0 107246 770 0 0 25 0 1 0 911929384 29044736 6399 4294967295 134512640 134716908 3221224560 3221222432 1074153753 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7091 6399 1111 63 0 7028 0 vsize: 28364 [startup+1090.01 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 31204 Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 227513 0 0 0 108238 778 0 0 25 0 1 0 911929384 29102080 6401 4294967295 134512640 134716908 3221224560 3221222560 1074915841 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7105 6401 1111 63 0 7042 0 vsize: 28420 [startup+1100.01 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 31204 Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 229391 0 0 0 109231 786 0 0 25 0 1 0 911929384 29044736 6399 4294967295 134512640 134716908 3221224560 3221221664 1074138693 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7091 6399 1111 63 0 7028 0 vsize: 28364 [startup+1110.01 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 31204 Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 231508 0 0 0 110224 792 0 0 25 0 1 0 911929384 29143040 6420 4294967295 134512640 134716908 3221224560 3221222136 1077410205 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7115 6420 1111 63 0 7052 0 vsize: 28460 [startup+1120.01 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 31204 Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 233690 0 0 0 111217 799 0 0 25 0 1 0 911929384 29421568 6431 4294967295 134512640 134716908 3221224560 3221221624 1075007302 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7183 6431 1111 63 0 7120 0 vsize: 28732 [startup+1130.01 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 31204 Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 236535 0 0 0 112208 809 0 0 25 0 1 0 911929384 29515776 6454 4294967295 134512640 134716908 3221224560 3221220688 1075561218 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7206 6454 1111 63 0 7143 0 vsize: 28824 [startup+1140.01 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 31204 Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 239073 0 0 0 113200 818 0 0 25 0 1 0 911929384 29466624 6459 4294967295 134512640 134716908 3221224560 3221222224 1075828469 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7194 6459 1111 63 0 7131 0 vsize: 28776 [startup+1150.02 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 31204 Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 241262 0 0 0 114191 826 0 0 25 0 1 0 911929384 29634560 6484 4294967295 134512640 134716908 3221224560 3221221160 1075850673 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7235 6484 1111 63 0 7172 0 vsize: 28940 [startup+1160.02 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 31204 Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 243476 0 0 0 115183 835 0 0 25 0 1 0 911929384 29327360 6460 4294967295 134512640 134716908 3221224560 3221222560 1074918285 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7160 6460 1111 63 0 7097 0 vsize: 28640 [startup+1170.02 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 31204 Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 245955 0 0 0 116174 844 0 0 25 0 1 0 911929384 29282304 6457 4294967295 134512640 134716908 3221224560 3221222656 134652452 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7149 6457 1111 63 0 7086 0 vsize: 28596 [startup+1174.98 s] Raw data (loadavg): 0.99 0.98 0.91 1/53 31204 Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 245955 0 0 0 116174 844 0 0 25 0 1 0 911929384 29282304 6457 4294967295 134512640 134716908 3221224560 3221222656 134652452 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7149 6457 1111 63 0 7086 0 vsize: 0 Child status: 0 Real time (s): 1174.98 CPU time (s): 1175.15 CPU user time (s): 1166.65 CPU system time (s): 8.49471 CPU usage (%): 100.015 Max. virtual memory (Kb): 28940 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####