Name | normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran12x21.opb |
MD5SUM | 0d744fe957d41a18692933adc6be4af7 |
Bench Category | optimization, medium integers (OPTMEDINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 1493203 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 5292 |
Biggest coefficient in the objective function | 5242880 |
Number of bits for the biggest coefficient in the objective function | 23 |
Sum of the numbers in the objective function | 1511880035 |
Number of bits of the sum of numbers in the objective function | 31 |
Biggest number in a constraint | 5242880 |
Number of bits of the biggest number in a constraint | 23 |
Biggest sum of numbers in a constraint | 1511880035 |
Number of bits of the biggest sum of numbers | 31 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1189.04 |
Number of variables | 5292 |
Total number of constraints | 285 |
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 | 285 |
Minimum length of a constraint | 21 |
Maximum length of a constraint | 420 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc5 THE 2005-06-08 11:29:12 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=28527 boxname=wulflinc5 idbench=1483 idsolver=20 numberseed=0 MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048 /oldhome/oroussel/solvers/bsolo_lpr-v2 MD5SUM BENCH: 0d744fe957d41a18692933adc6be4af7 /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-ran12x21.opb REAL COMMAND: bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-ran12x21.opb IDLAUNCH: 28527 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.007 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.007 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: 876368 kB Buffers: 21744 kB Cached: 114852 kB SwapCached: 696 kB Active: 22588 kB Inactive: 116088 kB HighTotal: 131008 kB HighFree: 26124 kB LowTotal: 903652 kB LowFree: 850244 kB SwapTotal: 2097136 kB SwapFree: 2095476 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5080 kB Slab: 14160 kB Committed_AS: 63604 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-08 11:48:47 (client local time) WITH STATUS 0 IN 1175.15 SECONDS stats: 28527 7 1175.15 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. c Initial problem consists of 5292 variables and 318 constraints. c After prepocess the problem consists of 2942 variables and 409 constraints. c preprocess terminated 7.649 s c Initial Lower Bound: 404145 c Lower Bound Elapsed time: 0.2185 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.91 0.95 0.93 2/54 18616 Raw data (stat): 18616 (runsolver) R 18615 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 901279909 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0 Raw data (statm): 216 94 205 205 0 11 0 vsize: 864 [startup+10.0001 s] Raw data (loadavg): 0.93 0.95 0.93 2/54 18616 Raw data (stat): 18616 (bsolo_lpr-v2) R 18615 7266 7265 0 -1 0 7972 0 0 0 977 19 0 0 25 0 1 0 901279909 32567296 7211 4294967295 134512640 134716908 3221224576 3221222828 1077411564 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7951 7211 1111 63 0 7888 0 vsize: 31804 [startup+20.0001 s] Raw data (loadavg): 0.94 0.96 0.93 2/54 18616 Raw data (stat): 18616 (bsolo_lpr-v2) R 18615 7266 7265 0 -1 0 10848 0 0 0 1970 26 0 0 25 0 1 0 901279909 32567296 7207 4294967295 134512640 134716908 3221224576 3221222576 1074916565 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7951 7207 1111 63 0 7888 0 vsize: 31804 [startup+30.0011 s] Raw data (loadavg): 0.95 0.96 0.93 2/54 18616 Raw data (stat): 18616 (bsolo_lpr-v2) R 18615 7266 7265 0 -1 0 13723 0 0 0 2964 32 0 0 25 0 1 0 901279909 32845824 7206 4294967295 134512640 134716908 3221224576 3221222304 1075828545 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8019 7206 1111 63 0 7956 0 vsize: 32076 [startup+40.0012 s] Raw data (loadavg): 0.95 0.96 0.93 2/54 18616 Raw data (stat): 18616 (bsolo_lpr-v2) R 18615 7266 7265 0 -1 0 16558 0 0 0 3957 40 0 0 25 0 1 0 901279909 32509952 7198 4294967295 134512640 134716908 3221224576 3221222864 1074153766 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7937 7198 1111 63 0 7874 0 vsize: 31748 [startup+50.0013 s] Raw data (loadavg): 0.96 0.96 0.93 2/54 18616 Raw data (stat): 18616 (bsolo_lpr-v2) R 18615 7266 7265 0 -1 0 19533 0 0 0 4950 47 0 0 25 0 1 0 901279909 32509952 7198 4294967295 134512640 134716908 3221224576 3221219944 1077380592 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7937 7198 1111 63 0 7874 0 vsize: 31748 [startup+60.0021 s] Raw data (loadavg): 0.97 0.96 0.93 2/54 18616 Raw data (stat): 18616 (bsolo_lpr-v2) R 18615 7266 7265 0 -1 0 22383 0 0 0 5943 54 0 0 25 0 1 0 901279909 32563200 7201 4294967295 134512640 134716908 3221224576 3221222856 1074138262 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7950 7201 1111 63 0 7887 0 vsize: 31800 [startup+70.0025 s] Raw data (loadavg): 0.97 0.96 0.93 2/54 18616 Raw data (stat): 18616 (bsolo_lpr-v2) R 18615 7266 7265 0 -1 0 25212 0 0 0 6936 61 0 0 25 0 1 0 901279909 32509952 7198 4294967295 134512640 134716908 3221224576 3221221376 1074153736 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7937 7198 1111 63 0 7874 0 vsize: 31748 [startup+80.0037 s] Raw data (loadavg): 0.98 0.96 0.93 2/54 18616 Raw data (stat): 18616 (bsolo_lpr-v2) R 18615 7266 7265 0 -1 0 28098 0 0 0 7930 68 0 0 25 0 1 0 901279909 32563200 7211 4294967295 134512640 134716908 3221224576 3221222976 1074118784 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7950 7211 1111 63 0 7887 0 vsize: 31800 [startup+90.0046 s] Raw data (loadavg): 0.98 0.96 0.93 2/54 18616 Raw data (stat): 18616 (bsolo_lpr-v2) R 18615 7266 7265 0 -1 0 30811 0 0 0 8925 73 0 0 25 0 1 0 901279909 32509952 7198 4294967295 134512640 134716908 3221224576 3221222880 1074153822 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7937 7198 1111 63 0 7874 0 vsize: 31748 [startup+100.004 s] Raw data (loadavg): 0.98 0.96 0.93 2/54 18616 Raw data (stat): 18616 (bsolo_lpr-v2) R 18615 7266 7265 0 -1 0 33489 0 0 0 9920 78 0 0 25 0 1 0 901279909 32563200 7211 4294967295 134512640 134716908 3221224576 3221222976 1074119057 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7950 7211 1111 63 0 7887 0 vsize: 31800 [startup+110.005 s] Raw data (loadavg): 0.98 0.96 0.93 2/54 18616 Raw data (stat): 18616 (bsolo_lpr-v2) R 18615 7266 7265 0 -1 0 36164 0 0 0 10913 86 0 0 25 0 1 0 901279909 33136640 7290 4294967295 134512640 134716908 3221224576 3221220576 1075965253 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8090 7290 1111 63 0 8027 0 vsize: 32360 [startup+120.005 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 18616 Raw data (stat): 18616 (bsolo_lpr-v2) R 18615 7266 7265 0 -1 0 38698 0 0 0 11906 93 0 0 25 0 1 0 901279909 32837632 7201 4294967295 134512640 134716908 3221224576 3221222304 1075828224 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8017 7201 1111 63 0 7954 0 vsize: 32068 [startup+130.005 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 18616 Raw data (stat): 18616 (bsolo_lpr-v2) R 18615 7266 7265 0 -1 0 41406 0 0 0 12900 99 0 0 25 0 1 0 901279909 32792576 7212 4294967295 134512640 134716908 3221224576 3221221696 1074834632 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8006 7212 1111 63 0 7943 0 vsize: 32024 [startup+140.006 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 18616 Raw data (stat): 18616 (bsolo_lpr-v2) R 18615 7266 7265 0 -1 0 43982 0 0 0 13893 106 0 0 25 0 1 0 901279909 32509952 7198 4294967295 134512640 134716908 3221224576 3221222864 1074153736 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7937 7198 1111 63 0 7874 0 vsize: 31748 [startup+150.006 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 18616 Raw data (stat): 18616 (bsolo_lpr-v2) R 18615 7266 7265 0 -1 0 46582 0 0 0 14886 113 0 0 25 0 1 0 901279909 32509952 7198 4294967295 134512640 134716908 3221224576 3221222864 1074153779 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7937 7198 1111 63 0 7874 0 vsize: 31748 [startup+160.006 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 18616 Raw data (stat): 18616 (bsolo_lpr-v2) R 18615 7266 7265 0 -1 0 49158 0 0 0 15881 119 0 0 25 0 1 0 901279909 32509952 7198 4294967295 134512640 134716908 3221224576 3221222792 1074138150 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7937 7198 1111 63 0 7874 0 vsize: 31748 [startup+170.006 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 18616 Raw data (stat): 18616 (bsolo_lpr-v2) R 18615 7266 7265 0 -1 0 51704 0 0 0 16875 124 0 0 25 0 1 0 901279909 32509952 7198 4294967295 134512640 134716908 3221224576 3221222880 1074153822 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7937 7198 1111 63 0 7874 0 vsize: 31748 [startup+180.007 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 18616 Raw data (stat): 18616 (bsolo_lpr-v2) R 18615 7266 7265 0 -1 0 54239 0 0 0 17869 131 0 0 25 0 1 0 901279909 32563200 7211 4294967295 134512640 134716908 3221224576 3221222736 1074050818 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7937 7198 1111 63 0 7874 0 vsize: 31800 [startup+190.006 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 18616 Raw data (stat): 18616 (bsolo_lpr-v2) R 18615 7266 7265 0 -1 0 56735 0 0 0 18864 136 0 0 25 0 1 0 901279909 32563200 7211 4294967295 134512640 134716908 3221224576 3221222928 1074115298 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7950 7211 1111 63 0 7887 0 vsize: 31800 [startup+200.006 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 18616 Raw data (stat): 18616 (bsolo_lpr-v2) R 18615 7266 7265 0 -1 0 59185 0 0 0 19857 143 0 0 25 0 1 0 901279909 32509952 7198 4294967295 134512640 134716908 3221224576 3221222040 1077782939 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7937 7198 1111 63 0 7874 0 vsize: 31748 [startup+210.008 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 18616 Raw data (stat): 18616 (bsolo_lpr-v2) R 18615 7266 7265 0 -1 0 61571 0 0 0 20853 148 0 0 25 0 1 0 901279909 32509952 7199 4294967295 134512640 134716908 3221224576 3221221952 1074153794 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7937 7199 1111 63 0 7874 0 vsize: 31748 [startup+220.007 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 18616 Raw data (stat): 18616 (bsolo_lpr-v2) R 18615 7266 7265 0 -1 0 64007 0 0 0 21848 152 0 0 25 0 1 0 901279909 32509952 7199 4294967295 134512640 134716908 3221224576 3221222880 1074153663 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7937 7199 1111 63 0 7874 0 vsize: 31748 [startup+230.008 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 18616 Raw data (stat): 18616 (bsolo_lpr-v2) R 18615 7266 7265 0 -1 0 66456 0 0 0 22843 158 0 0 25 0 1 0 901279909 32509952 7199 4294967295 134512640 134716908 3221224576 3221222792 1074138166 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7937 7199 1111 63 0 7874 0 vsize: 31748 [startup+240.007 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 18616 Raw data (stat): 18616 (bsolo_lpr-v2) R 18615 7266 7265 0 -1 0 68835 0 0 0 23836 165 0 0 25 0 1 0 901279909 32509952 7199 4294967295 134512640 134716908 3221224576 3221220912 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7937 7199 1111 63 0 7874 0 vsize: 31748 [startup+250.007 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 18616 Raw data (stat): 18616 (bsolo_lpr-v2) R 18615 7266 7265 0 -1 0 71265 0 0 0 24831 170 0 0 25 0 1 0 901279909 32563200 7212 4294967295 134512640 134716908 3221224576 3221223192 134543176 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7950 7212 1111 63 0 7887 0 vsize: 31800 [startup+260.008 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 18616 Raw data (stat): 18616 (bsolo_lpr-v2) R 18615 7266 7265 0 -1 0 73586 0 0 0 25827 175 0 0 25 0 1 0 901279909 32694272 7201 4294967295 134512640 134716908 3221224576 3221222304 1075828581 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7982 7201 1111 63 0 7919 0 vsize: 31928 [startup+270.008 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 18616 Raw data (stat): 18616 (bsolo_lpr-v2) R 18615 7266 7265 0 -1 0 75963 0 0 0 26820 182 0 0 25 0 1 0 901279909 32509952 7199 4294967295 134512640 134716908 3221224576 3221221824 1074153767 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7937 7199 1111 63 0 7874 0 vsize: 31748 [startup+280.008 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 18616 Raw data (stat): 18616 (bsolo_lpr-v2) R 18615 7266 7265 0 -1 0 78339 0 0 0 27815 187 0 0 25 0 1 0 901279909 33050624 7268 4294967295 134512640 134716908 3221224576 3221220812 1076111236 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8069 7268 1111 63 0 8006 0 vsize: 32276 [startup+290.008 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 18616 Raw data (stat): 18616 (bsolo_lpr-v2) R 18615 7266 7265 0 -1 0 80666 0 0 0 28809 193 0 0 25 0 1 0 901279909 32509952 7199 4294967295 134512640 134716908 3221224576 3221222776 1074138150 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7937 7199 1111 63 0 7874 0 vsize: 31748 [startup+300.008 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 18616 Raw data (stat): 18616 (bsolo_lpr-v2) R 18615 7266 7265 0 -1 0 82905 0 0 0 29804 198 0 0 25 0 1 0 901279909 32509952 7199 4294967295 134512640 134716908 3221224576 3221222624 1074140697 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7937 7199 1111 63 0 7874 0 vsize: 31748 [startup+310.008 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 18616 Raw data (stat): 18616 (bsolo_lpr-v2) R 18615 7266 7265 0 -1 0 85135 0 0 0 30798 204 0 0 25 0 1 0 901279909 32509952 7199 4294967295 134512640 134716908 3221224576 3221222880 1074153672 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7937 7199 1111 63 0 7874 0 vsize: 31748 [startup+320.008 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 18616 Raw data (stat): 18616 (bsolo_lpr-v2) R 18615 7266 7265 0 -1 0 87296 0 0 0 31792 210 0 0 25 0 1 0 901279909 32509952 7199 4294967295 134512640 134716908 3221224576 3221222912 1074153822 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7937 7199 1111 63 0 7874 0 vsize: 31748 [startup+330.009 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 18616 Raw data (stat): 18616 (bsolo_lpr-v2) R 18615 7266 7265 0 -1 0 89432 0 0 0 32787 216 0 0 25 0 1 0 901279909 32509952 7199 4294967295 134512640 134716908 3221224576 3221222824 1074138150 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7937 7199 1111 63 0 7874 0 vsize: 31748 [startup+340.01 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 18616 Raw data (stat): 18616 (bsolo_lpr-v2) R 18615 7266 7265 0 -1 0 91528 0 0 0 33782 221 0 0 25 0 1 0 901279909 32509952 7199 4294967295 134512640 134716908 3221224576 3221222824 1074138150 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7937 7199 1111 63 0 7874 0 vsize: 31748 [startup+350.01 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 18616 Raw data (stat): 18616 (bsolo_lpr-v2) R 18615 7266 7265 0 -1 0 93592 0 0 0 34775 228 0 0 25 0 1 0 901279909 32509952 7199 4294967295 134512640 134716908 3221224576 3221222880 1074153663 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7937 7199 1111 63 0 7874 0 vsize: 31748 [startup+360.01 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 18616 Raw data (stat): 18616 (bsolo_lpr-v2) R 18615 7266 7265 0 -1 0 95598 0 0 0 35771 233 0 0 25 0 1 0 901279909 32509952 7199 4294967295 134512640 134716908 3221224576 3221222508 1077411564 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7937 7199 1111 63 0 7874 0 vsize: 31748 [startup+370.01 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 18616 Raw data (stat): 18616 (bsolo_lpr-v2) R 18615 7266 7265 0 -1 0 97566 0 0 0 36766 238 0 0 25 0 1 0 901279909 32509952 7200 4294967295 134512640 134716908 3221224576 3221222824 1074138144 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7937 7200 1111 63 0 7874 0 vsize: 31748 [startup+380.01 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 18616 Raw data (stat): 18616 (bsolo_lpr-v2) R 18615 7266 7265 0 -1 0 99586 0 0 0 37762 242 0 0 25 0 1 0 901279909 32509952 7200 4294967295 134512640 134716908 3221224576 3221222928 1074153663 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7937 7200 1111 63 0 7874 0 vsize: 31748 [startup+390.011 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 18616 Raw data (stat): 18616 (bsolo_lpr-v2) R 18615 7266 7265 0 -1 0 101575 0 0 0 38758 246 0 0 25 0 1 0 901279909 32509952 7200 4294967295 134512640 134716908 3221224576 3221222780 1077374432 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7937 7200 1111 63 0 7874 0 vsize: 31748 [startup+400.011 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 18616 Raw data (stat): 18616 (bsolo_lpr-v2) R 18615 7266 7265 0 -1 0 103615 0 0 0 39752 252 0 0 25 0 1 0 901279909 32509952 7200 4294967295 134512640 134716908 3221224576 3221222880 1074153663 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7937 7200 1111 63 0 7874 0 vsize: 31748 [startup+410.011 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 18616 Raw data (stat): 18616 (bsolo_lpr-v2) R 18615 7266 7265 0 -1 0 105598 0 0 0 40747 258 0 0 25 0 1 0 901279909 32509952 7200 4294967295 134512640 134716908 3221224576 3221222508 1077411564 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7937 7200 1111 63 0 7874 0 vsize: 31748 [startup+420.011 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 18616 Raw data (stat): 18616 (bsolo_lpr-v2) R 18615 7266 7265 0 -1 0 107518 0 0 0 41742 262 0 0 25 0 1 0 901279909 32509952 7200 4294967295 134512640 134716908 3221224576 3221222912 1074153672 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7937 7200 1111 63 0 7874 0 vsize: 31748 [startup+430.011 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 18616 Raw data (stat): 18616 (bsolo_lpr-v2) R 18615 7266 7265 0 -1 0 109481 0 0 0 42737 267 0 0 25 0 1 0 901279909 32563200 7213 4294967295 134512640 134716908 3221224576 3221223040 1074121015 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7950 7213 1111 63 0 7887 0 vsize: 31800 [startup+440.011 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 18616 Raw data (stat): 18616 (bsolo_lpr-v2) R 18615 7266 7265 0 -1 0 111325 0 0 0 43733 271 0 0 25 0 1 0 901279909 33017856 7249 4294967295 134512640 134716908 3221224576 3221221608 1077410279 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8061 7249 1111 63 0 7998 0 vsize: 32244 [startup+450.011 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 18616 Raw data (stat): 18616 (bsolo_lpr-v2) R 18615 7266 7265 0 -1 0 113145 0 0 0 44728 277 0 0 25 0 1 0 901279909 32509952 7200 4294967295 134512640 134716908 3221224576 3221221544 1074138150 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7937 7200 1111 63 0 7874 0 vsize: 31748 [startup+460.012 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 18616 Raw data (stat): 18616 (bsolo_lpr-v2) R 18615 7266 7265 0 -1 0 114776 0 0 0 45722 283 0 0 25 0 1 0 901279909 32509952 7200 4294967295 134512640 134716908 3221224576 3221221976 1074138166 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7937 7200 1111 63 0 7874 0 vsize: 31748 [startup+470.012 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 18616 Raw data (stat): 18616 (bsolo_lpr-v2) R 18615 7266 7265 0 -1 0 116370 0 0 0 46719 287 0 0 25 0 1 0 901279909 32694272 7202 4294967295 134512640 134716908 3221224576 3221222688 1074867344 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7982 7202 1111 63 0 7919 0 vsize: 31928 [startup+480.012 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 18616 Raw data (stat): 18616 (bsolo_lpr-v2) R 18615 7266 7265 0 -1 0 118016 0 0 0 47714 291 0 0 25 0 1 0 901279909 32509952 7200 4294967295 134512640 134716908 3221224576 3221222840 1074138150 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7937 7200 1111 63 0 7874 0 vsize: 31748 [startup+490.012 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 18616 Raw data (stat): 18616 (bsolo_lpr-v2) R 18615 7266 7265 0 -1 0 119511 0 0 0 48710 296 0 0 25 0 1 0 901279909 32509952 7200 4294967295 134512640 134716908 3221224576 3221222840 1074138166 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7937 7200 1111 63 0 7874 0 vsize: 31748 [startup+500.012 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 18616 Raw data (stat): 18616 (bsolo_lpr-v2) R 18615 7266 7265 0 -1 0 120944 0 0 0 49705 301 0 0 25 0 1 0 901279909 32509952 7201 4294967295 134512640 134716908 3221224576 3221222224 1075818290 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7937 7201 1111 63 0 7874 0 vsize: 31748 [startup+510.013 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 18616 Raw data (stat): 18616 (bsolo_lpr-v2) R 18615 7266 7265 0 -1 0 122382 0 0 0 50702 305 0 0 25 0 1 0 901279909 32509952 7201 4294967295 134512640 134716908 3221224576 3221222248 1074138166 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7937 7201 1111 63 0 7874 0 vsize: 31748 [startup+520.012 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 18616 Raw data (stat): 18616 (bsolo_lpr-v2) R 18615 7266 7265 0 -1 0 123764 0 0 0 51698 309 0 0 25 0 1 0 901279909 32509952 7201 4294967295 134512640 134716908 3221224576 3221222540 1077411564 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7937 7201 1111 63 0 7874 0 vsize: 31748 [startup+530.013 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 18616 Raw data (stat): 18616 (bsolo_lpr-v2) R 18615 7266 7265 0 -1 0 125048 0 0 0 52694 313 0 0 25 0 1 0 901279909 32563200 7208 4294967295 134512640 134716908 3221224576 3221222152 1077410163 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7950 7208 1111 63 0 7887 0 vsize: 31800 [startup+540.014 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 18616 Raw data (stat): 18616 (bsolo_lpr-v2) R 18615 7266 7265 0 -1 0 126090 0 0 0 53691 316 0 0 25 0 1 0 901279909 32509952 7201 4294967295 134512640 134716908 3221224576 3221222840 1074138150 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7937 7201 1111 63 0 7874 0 vsize: 31748 [startup+550.013 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 18616 Raw data (stat): 18616 (bsolo_lpr-v2) R 18615 7266 7265 0 -1 0 126990 0 0 0 54688 319 0 0 25 0 1 0 901279909 32509952 7201 4294967295 134512640 134716908 3221224576 3221221928 1074138150 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7937 7201 1111 63 0 7874 0 vsize: 31748 [startup+560.013 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 18616 Raw data (stat): 18616 (bsolo_lpr-v2) R 18615 7266 7265 0 -1 0 127883 0 0 0 55685 322 0 0 25 0 1 0 901279909 32509952 7201 4294967295 134512640 134716908 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7937 7201 1111 63 0 7874 0 vsize: 31748 [startup+570.016 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 18616 Raw data (stat): 18616 (bsolo_lpr-v2) R 18615 7266 7265 0 -1 0 128783 0 0 0 56682 326 0 0 25 0 1 0 901279909 32509952 7201 4294967295 134512640 134716908 3221224576 3221222960 1074153794 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7937 7201 1111 63 0 7874 0 vsize: 31748 [startup+580.016 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 18616 Raw data (stat): 18616 (bsolo_lpr-v2) R 18615 7266 7265 0 -1 0 129674 0 0 0 57679 329 0 0 25 0 1 0 901279909 32563200 7202 4294967295 134512640 134716908 3221224576 3221221856 1074140701 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7950 7202 1111 63 0 7887 0 vsize: 31800 [startup+590.017 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 18616 Raw data (stat): 18616 (bsolo_lpr-v2) R 18615 7266 7265 0 -1 0 130474 0 0 0 58677 331 0 0 25 0 1 0 901279909 32509952 7201 4294967295 134512640 134716908 3221224576 3221222960 1074153812 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7937 7201 1111 63 0 7874 0 vsize: 31748 [startup+600.016 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 18616 Raw data (stat): 18616 (bsolo_lpr-v2) R 18615 7266 7265 0 -1 0 131395 0 0 0 59674 334 0 0 25 0 1 0 901279909 32509952 7201 4294967295 134512640 134716908 3221224576 3221222508 1077411564 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7937 7201 1111 63 0 7874 0 vsize: 31748 [startup+610.016 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 18616 Raw data (stat): 18616 (bsolo_lpr-v2) R 18615 7266 7265 0 -1 0 132253 0 0 0 60672 337 0 0 25 0 1 0 901279909 32509952 7202 4294967295 134512640 134716908 3221224576 3221222928 1074153749 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7937 7202 1111 63 0 7874 0 vsize: 31748 [startup+620.016 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 18616 Raw data (stat): 18616 (bsolo_lpr-v2) R 18615 7266 7265 0 -1 0 133108 0 0 0 61670 339 0 0 25 0 1 0 901279909 32509952 7202 4294967295 134512640 134716908 3221224576 3221222352 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7937 7202 1111 63 0 7874 0 vsize: 31748 [startup+630.016 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 18616 Raw data (stat): 18616 (bsolo_lpr-v2) R 18615 7266 7265 0 -1 0 133762 0 0 0 62668 341 0 0 25 0 1 0 901279909 32509952 7202 4294967295 134512640 134716908 3221224576 3221222124 1077411564 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7937 7202 1111 63 0 7874 0 vsize: 31748 [startup+640.017 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 18616 Raw data (stat): 18616 (bsolo_lpr-v2) R 18615 7266 7265 0 -1 0 134473 0 0 0 63666 343 0 0 25 0 1 0 901279909 32509952 7202 4294967295 134512640 134716908 3221224576 3221222936 1077410279 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7937 7202 1111 63 0 7874 0 vsize: 31748 [startup+650.017 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 18616 Raw data (stat): 18616 (bsolo_lpr-v2) R 18615 7266 7265 0 -1 0 135179 0 0 0 64664 346 0 0 25 0 1 0 901279909 32509952 7202 4294967295 134512640 134716908 3221224576 3221222780 1074152825 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7937 7202 1111 63 0 7874 0 vsize: 31748 [startup+660.017 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 18616 Raw data (stat): 18616 (bsolo_lpr-v2) R 18615 7266 7265 0 -1 0 135818 0 0 0 65661 348 0 0 25 0 1 0 901279909 32509952 7202 4294967295 134512640 134716908 3221224576 3221222408 1074138150 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7937 7202 1111 63 0 7874 0 vsize: 31748 [startup+670.017 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 18616 Raw data (stat): 18616 (bsolo_lpr-v2) R 18615 7266 7265 0 -1 0 135880 0 0 0 66661 349 0 0 25 0 1 0 901279909 32563200 7202 4294967295 134512640 134716908 3221224576 3221222928 1074115535 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7950 7202 1111 63 0 7887 0 vsize: 31800 [startup+680.018 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 18616 Raw data (stat): 18616 (bsolo_lpr-v2) R 18615 7266 7265 0 -1 0 135947 0 0 0 67660 350 0 0 25 0 1 0 901279909 32755712 7203 4294967295 134512640 134716908 3221224576 3221221076 1074846155 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7997 7203 1111 63 0 7934 0 vsize: 31988 [startup+690.018 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 18616 Raw data (stat): 18616 (bsolo_lpr-v2) R 18615 7266 7265 0 -1 0 136035 0 0 0 68659 351 0 0 25 0 1 0 901279909 32563200 7202 4294967295 134512640 134716908 3221224576 3221221680 1074138961 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7950 7202 1111 63 0 7887 0 vsize: 31800 [startup+700.017 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 18616 Raw data (stat): 18616 (bsolo_lpr-v2) R 18615 7266 7265 0 -1 0 137088 0 0 0 69655 355 0 0 25 0 1 0 901279909 32509952 7202 4294967295 134512640 134716908 3221224576 3221222904 1077410279 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7937 7202 1111 63 0 7874 0 vsize: 31748 [startup+710.018 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 18616 Raw data (stat): 18616 (bsolo_lpr-v2) R 18615 7266 7265 0 -1 0 138245 0 0 0 70652 359 0 0 25 0 1 0 901279909 32509952 7202 4294967295 134512640 134716908 3221224576 3221222940 1073963608 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7937 7202 1111 63 0 7874 0 vsize: 31748 [startup+720.018 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 18616 Raw data (stat): 18616 (bsolo_lpr-v2) R 18615 7266 7265 0 -1 0 139460 0 0 0 71648 362 0 0 25 0 1 0 901279909 32509952 7202 4294967295 134512640 134716908 3221224576 3221222400 1075824347 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7937 7202 1111 63 0 7874 0 vsize: 31748 [startup+730.019 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 18616 Raw data (stat): 18616 (bsolo_lpr-v2) R 18615 7266 7265 0 -1 0 140666 0 0 0 72644 366 0 0 25 0 1 0 901279909 32509952 7202 4294967295 134512640 134716908 3221224576 3221222872 1074138147 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7937 7202 1111 63 0 7874 0 vsize: 31748 [startup+740.02 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 18616 Raw data (stat): 18616 (bsolo_lpr-v2) R 18615 7266 7265 0 -1 0 141826 0 0 0 73642 369 0 0 25 0 1 0 901279909 32509952 7202 4294967295 134512640 134716908 3221224576 3221222648 1077410279 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7937 7202 1111 63 0 7874 0 vsize: 31748 [startup+750.019 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 18616 Raw data (stat): 18616 (bsolo_lpr-v2) R 18615 7266 7265 0 -1 0 143064 0 0 0 74638 374 0 0 25 0 1 0 901279909 32509952 7202 4294967295 134512640 134716908 3221224576 3221222960 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7937 7202 1111 63 0 7874 0 vsize: 31748 [startup+760.02 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 18616 Raw data (stat): 18616 (bsolo_lpr-v2) R 18615 7266 7265 0 -1 0 144351 0 0 0 75634 378 0 0 25 0 1 0 901279909 32509952 7202 4294967295 134512640 134716908 3221224576 3221222360 1077410205 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7937 7202 1111 63 0 7874 0 vsize: 31748 [startup+770.02 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 18616 Raw data (stat): 18616 (bsolo_lpr-v2) R 18615 7266 7265 0 -1 0 145643 0 0 0 76630 382 0 0 25 0 1 0 901279909 32903168 7222 4294967295 134512640 134716908 3221224576 3221220736 1075091317 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8033 7222 1111 63 0 7970 0 vsize: 32132 [startup+780.02 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 18616 Raw data (stat): 18616 (bsolo_lpr-v2) R 18615 7266 7265 0 -1 0 146896 0 0 0 77625 386 0 0 25 0 1 0 901279909 32509952 7202 4294967295 134512640 134716908 3221224576 3221222960 1074153815 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7937 7202 1111 63 0 7874 0 vsize: 31748 [startup+790.02 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 18616 Raw data (stat): 18616 (bsolo_lpr-v2) R 18615 7266 7265 0 -1 0 148183 0 0 0 78620 391 0 0 25 0 1 0 901279909 32509952 7202 4294967295 134512640 134716908 3221224576 3221222960 1074153669 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7937 7202 1111 63 0 7874 0 vsize: 31748 [startup+800.02 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 18616 Raw data (stat): 18616 (bsolo_lpr-v2) R 18615 7266 7265 0 -1 0 149531 0 0 0 79615 397 0 0 25 0 1 0 901279909 32874496 7218 4294967295 134512640 134716908 3221224576 3221220736 1075091317 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8026 7218 1111 63 0 7963 0 vsize: 32104 [startup+810.021 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 18616 Raw data (stat): 18616 (bsolo_lpr-v2) R 18615 7266 7265 0 -1 0 150900 0 0 0 80610 402 0 0 25 0 1 0 901279909 32509952 7202 4294967295 134512640 134716908 3221224576 3221222840 1077410205 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7937 7202 1111 63 0 7874 0 vsize: 31748 [startup+820.02 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 18616 Raw data (stat): 18616 (bsolo_lpr-v2) R 18615 7266 7265 0 -1 0 152235 0 0 0 81606 406 0 0 25 0 1 0 901279909 32509952 7202 4294967295 134512640 134716908 3221224576 3221222304 1075828451 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7937 7202 1111 63 0 7874 0 vsize: 31748 [startup+830.021 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 18616 Raw data (stat): 18616 (bsolo_lpr-v2) R 18615 7266 7265 0 -1 0 153891 0 0 0 82601 412 0 0 25 0 1 0 901279909 32509952 7202 4294967295 134512640 134716908 3221224576 3221222888 1074138150 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7937 7202 1111 63 0 7874 0 vsize: 31748 [startup+840.021 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 18616 Raw data (stat): 18616 (bsolo_lpr-v2) R 18615 7266 7265 0 -1 0 155466 0 0 0 83596 416 0 0 25 0 1 0 901279909 32509952 7202 4294967295 134512640 134716908 3221224576 3221222736 1074153822 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7937 7202 1111 63 0 7874 0 vsize: 31748 [startup+850.021 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 18616 Raw data (stat): 18616 (bsolo_lpr-v2) R 18615 7266 7265 0 -1 0 157185 0 0 0 84590 422 0 0 25 0 1 0 901279909 32509952 7202 4294967295 134512640 134716908 3221224576 3221222872 1074138315 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7937 7202 1111 63 0 7874 0 vsize: 31748 [startup+860.021 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 18616 Raw data (stat): 18616 (bsolo_lpr-v2) R 18615 7266 7265 0 -1 0 159028 0 0 0 85584 428 0 0 25 0 1 0 901279909 32509952 7202 4294967295 134512640 134716908 3221224576 3221222960 1074153675 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7937 7202 1111 63 0 7874 0 vsize: 31748 [startup+870.02 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 18616 Raw data (stat): 18616 (bsolo_lpr-v2) R 18615 7266 7265 0 -1 0 160924 0 0 0 86577 436 0 0 25 0 1 0 901279909 32509952 7202 4294967295 134512640 134716908 3221224576 3221222736 1074153792 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7937 7202 1111 63 0 7874 0 vsize: 31748 [startup+880.021 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 18616 Raw data (stat): 18616 (bsolo_lpr-v2) R 18615 7266 7265 0 -1 0 162866 0 0 0 87572 442 0 0 25 0 1 0 901279909 32563200 7204 4294967295 134512640 134716908 3221224576 3221222928 1074115298 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7950 7204 1111 63 0 7887 0 vsize: 31800 [startup+890.021 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 18616 Raw data (stat): 18616 (bsolo_lpr-v2) R 18615 7266 7265 0 -1 0 164674 0 0 0 88567 446 0 0 25 0 1 0 901279909 32509952 7202 4294967295 134512640 134716908 3221224576 3221222928 1074115296 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7981 7203 1111 63 0 7918 0 vsize: 31748 [startup+900.02 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 18616 Raw data (stat): 18616 (bsolo_lpr-v2) R 18615 7266 7265 0 -1 0 166651 0 0 0 89561 452 0 0 25 0 1 0 901279909 33026048 7226 4294967295 134512640 134716908 3221224576 3221220944 1075894562 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8063 7226 1111 63 0 8000 0 vsize: 32252 [startup+910.02 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 18616 Raw data (stat): 18616 (bsolo_lpr-v2) R 18615 7266 7265 0 -1 0 168789 0 0 0 90554 459 0 0 25 0 1 0 901279909 32509952 7202 4294967295 134512640 134716908 3221224576 3221222960 1074153673 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7937 7202 1111 63 0 7874 0 vsize: 31748 [startup+920.02 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 18616 Raw data (stat): 18616 (bsolo_lpr-v2) R 18615 7266 7265 0 -1 0 171726 0 0 0 91543 470 0 0 25 0 1 0 901279909 32563200 7215 4294967295 134512640 134716908 3221224576 3221222304 1075635603 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7950 7215 1111 63 0 7887 0 vsize: 31800 [startup+930.021 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 18616 Raw data (stat): 18616 (bsolo_lpr-v2) R 18615 7266 7265 0 -1 0 175207 0 0 0 92535 480 0 0 25 0 1 0 901279909 32690176 7204 4294967295 134512640 134716908 3221224576 3221222640 1075961756 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7981 7204 1111 63 0 7918 0 vsize: 31924 [startup+940.02 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 18616 Raw data (stat): 18616 (bsolo_lpr-v2) R 18615 7266 7265 0 -1 0 178667 0 0 0 93526 488 0 0 25 0 1 0 901279909 32509952 7202 4294967295 134512640 134716908 3221224576 3221222960 1074153749 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7937 7202 1111 63 0 7874 0 vsize: 31748 [startup+950.02 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 18616 Raw data (stat): 18616 (bsolo_lpr-v2) R 18615 7266 7265 0 -1 0 182060 0 0 0 94516 498 0 0 25 0 1 0 901279909 32563200 7215 4294967295 134512640 134716908 3221224576 3221223352 134613558 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7950 7215 1111 63 0 7887 0 vsize: 31800 [startup+960.021 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 18616 Raw data (stat): 18616 (bsolo_lpr-v2) R 18615 7266 7265 0 -1 0 185139 0 0 0 95508 506 0 0 25 0 1 0 901279909 32657408 7218 4294967295 134512640 134716908 3221224576 3221222928 1074115331 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7973 7218 1111 63 0 7910 0 vsize: 31892 [startup+970.02 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 18616 Raw data (stat): 18616 (bsolo_lpr-v2) R 18615 7266 7265 0 -1 0 188225 0 0 0 96499 516 0 0 25 0 1 0 901279909 32509952 7202 4294967295 134512640 134716908 3221224576 3221222872 1074138150 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7937 7202 1111 63 0 7874 0 vsize: 31748 [startup+980.022 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 18616 Raw data (stat): 18616 (bsolo_lpr-v2) R 18615 7266 7265 0 -1 0 191254 0 0 0 97492 523 0 0 25 0 1 0 901279909 32509952 7202 4294967295 134512640 134716908 3221224576 3221222504 1074138162 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7937 7202 1111 63 0 7874 0 vsize: 31748 [startup+990.022 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 18616 Raw data (stat): 18616 (bsolo_lpr-v2) R 18615 7266 7265 0 -1 0 194317 0 0 0 98483 532 0 0 25 0 1 0 901279909 32706560 7223 4294967295 134512640 134716908 3221224576 3221222976 1074118815 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7985 7223 1111 63 0 7922 0 vsize: 31940 [startup+1000.02 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 18616 Raw data (stat): 18616 (bsolo_lpr-v2) R 18615 7266 7265 0 -1 0 197288 0 0 0 99473 542 0 0 25 0 1 0 901279909 32706560 7223 4294967295 134512640 134716908 3221224576 3221222976 1074118815 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7985 7223 1111 63 0 7922 0 vsize: 31940 [startup+1010.02 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 18616 Raw data (stat): 18616 (bsolo_lpr-v2) R 18615 7266 7265 0 -1 0 200357 0 0 0 100466 550 0 0 25 0 1 0 901279909 32509952 7202 4294967295 134512640 134716908 3221224576 3221222872 1074138150 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7937 7202 1111 63 0 7874 0 vsize: 31748 [startup+1020.02 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 18616 Raw data (stat): 18616 (bsolo_lpr-v2) R 18615 7266 7265 0 -1 0 203433 0 0 0 101458 558 0 0 25 0 1 0 901279909 32509952 7202 4294967295 134512640 134716908 3221224576 3221222960 1074153648 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7937 7202 1111 63 0 7874 0 vsize: 31748 [startup+1030.02 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 18616 Raw data (stat): 18616 (bsolo_lpr-v2) R 18615 7266 7265 0 -1 0 206420 0 0 0 102450 566 0 0 25 0 1 0 901279909 32509952 7202 4294967295 134512640 134716908 3221224576 3221222872 1074138162 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7937 7202 1111 63 0 7874 0 vsize: 31748 [startup+1040.02 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 18616 Raw data (stat): 18616 (bsolo_lpr-v2) R 18615 7266 7265 0 -1 0 209442 0 0 0 103441 575 0 0 25 0 1 0 901279909 32509952 7202 4294967295 134512640 134716908 3221224576 3221222624 1074153822 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7937 7202 1111 63 0 7874 0 vsize: 31748 [startup+1050.02 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 18616 Raw data (stat): 18616 (bsolo_lpr-v2) R 18615 7266 7265 0 -1 0 212429 0 0 0 104432 584 0 0 25 0 1 0 901279909 32903168 7219 4294967295 134512640 134716908 3221224576 3221221496 1074950114 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8002 7219 1111 63 0 7939 0 vsize: 32132 [startup+1060.02 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 18616 Raw data (stat): 18616 (bsolo_lpr-v2) R 18615 7266 7265 0 -1 0 215403 0 0 0 105423 593 0 0 25 0 1 0 901279909 32563200 7215 4294967295 134512640 134716908 3221224576 3221222928 1074115298 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7950 7215 1111 63 0 7887 0 vsize: 31800 [startup+1070.02 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 18616 Raw data (stat): 18616 (bsolo_lpr-v2) R 18615 7266 7265 0 -1 0 218409 0 0 0 106416 601 0 0 25 0 1 0 901279909 32509952 7202 4294967295 134512640 134716908 3221224576 3221222552 1074138158 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7937 7202 1111 63 0 7874 0 vsize: 31748 [startup+1080.02 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 18616 Raw data (stat): 18616 (bsolo_lpr-v2) R 18615 7266 7265 0 -1 0 221399 0 0 0 107408 609 0 0 25 0 1 0 901279909 32509952 7202 4294967295 134512640 134716908 3221224576 3221222872 1074138150 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7937 7202 1111 63 0 7874 0 vsize: 31748 [startup+1090.02 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 18616 Raw data (stat): 18616 (bsolo_lpr-v2) R 18615 7266 7265 0 -1 0 224389 0 0 0 108400 617 0 0 25 0 1 0 901279909 32563200 7215 4294967295 134512640 134716908 3221224576 3221222360 1077377565 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7950 7215 1111 63 0 7887 0 vsize: 31800 [startup+1100.02 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 18616 Raw data (stat): 18616 (bsolo_lpr-v2) R 18615 7266 7265 0 -1 0 227376 0 0 0 109392 625 0 0 25 0 1 0 901279909 32985088 7243 4294967295 134512640 134716908 3221224576 3221220540 1074860626 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8053 7243 1111 63 0 7990 0 vsize: 32212 [startup+1110.03 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 18616 Raw data (stat): 18616 (bsolo_lpr-v2) R 18615 7266 7265 0 -1 0 230320 0 0 0 110384 633 0 0 25 0 1 0 901279909 32509952 7202 4294967295 134512640 134716908 3221224576 3221222976 1074153663 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7937 7202 1111 63 0 7874 0 vsize: 31748 [startup+1120.03 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 18616 Raw data (stat): 18616 (bsolo_lpr-v2) R 18615 7266 7265 0 -1 0 233314 0 0 0 111378 640 0 0 25 0 1 0 901279909 32563200 7215 4294967295 134512640 134716908 3221224576 3221223344 134592116 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7950 7215 1111 63 0 7887 0 vsize: 31800 [startup+1130.03 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 18616 Raw data (stat): 18616 (bsolo_lpr-v2) R 18615 7266 7265 0 -1 0 236273 0 0 0 112371 647 0 0 25 0 1 0 901279909 32509952 7202 4294967295 134512640 134716908 3221224576 3221222624 1074153800 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7937 7202 1111 63 0 7874 0 vsize: 31748 [startup+1140.03 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 18616 Raw data (stat): 18616 (bsolo_lpr-v2) R 18615 7266 7265 0 -1 0 239481 0 0 0 113363 655 0 0 25 0 1 0 901279909 32690176 7204 4294967295 134512640 134716908 3221224576 3221222496 1075799509 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7981 7204 1111 63 0 7918 0 vsize: 31924 [startup+1150.03 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 18616 Raw data (stat): 18616 (bsolo_lpr-v2) R 18615 7266 7265 0 -1 0 242895 0 0 0 114354 665 0 0 25 0 1 0 901279909 33112064 7245 4294967295 134512640 134716908 3221224576 3221220540 1074860617 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8084 7245 1111 63 0 8021 0 vsize: 32336 [startup+1160.03 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 18616 Raw data (stat): 18616 (bsolo_lpr-v2) R 18615 7266 7265 0 -1 0 246236 0 0 0 115343 675 0 0 25 0 1 0 901279909 32509952 7202 4294967295 134512640 134716908 3221224576 3221222960 1074153672 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7937 7202 1111 63 0 7874 0 vsize: 31748 [startup+1170.03 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 18616 Raw data (stat): 18616 (bsolo_lpr-v2) R 18615 7266 7265 0 -1 0 249580 0 0 0 116334 684 0 0 25 0 1 0 901279909 32833536 7205 4294967295 134512640 134716908 3221224576 3221222640 1074206244 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8016 7205 1111 63 0 7953 0 vsize: 32064 [startup+1174.98 s] Raw data (loadavg): 0.99 0.97 0.93 1/53 18616 Raw data (stat): 18616 (bsolo_lpr-v2) R 18615 7266 7265 0 -1 0 249580 0 0 0 116334 684 0 0 25 0 1 0 901279909 32833536 7205 4294967295 134512640 134716908 3221224576 3221222640 1074206244 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8016 7205 1111 63 0 7953 0 vsize: 0 Child status: 0 Real time (s): 1174.98 CPU time (s): 1175.15 CPU user time (s): 1168.24 CPU system time (s): 6.91395 CPU usage (%): 100.015 Max. virtual memory (Kb): 32360 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####