Name | normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran6x43.opb |
MD5SUM | 795a1eda830447df9b9714fdf1d66b4e |
Bench Category | optimization, medium integers (OPTMEDINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 2795888 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 5418 |
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 | 1537450315 |
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 | 1537450315 |
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 | 1224.65 |
Number of variables | 5418 |
Total number of constraints | 307 |
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 | 307 |
Minimum length of a constraint | 21 |
Maximum length of a constraint | 860 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc5 THE 2005-06-08 11:48:55 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=28533 boxname=wulflinc5 idbench=1489 idsolver=20 numberseed=0 MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048 /oldhome/oroussel/solvers/bsolo_lpr-v2 MD5SUM BENCH: 795a1eda830447df9b9714fdf1d66b4e /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-ran6x43.opb REAL COMMAND: bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-ran6x43.opb IDLAUNCH: 28533 /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: 875260 kB Buffers: 22476 kB Cached: 115276 kB SwapCached: 696 kB Active: 23476 kB Inactive: 116296 kB HighTotal: 131008 kB HighFree: 25760 kB LowTotal: 903652 kB LowFree: 849500 kB SwapTotal: 2097136 kB SwapFree: 2095476 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5080 kB Slab: 14164 kB Committed_AS: 63604 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-08 12:08:30 (client local time) WITH STATUS 0 IN 1175.12 SECONDS stats: 28533 7 1175.12 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. c Initial problem consists of 5418 variables and 356 constraints. c After prepocess the problem consists of 2953 variables and 492 constraints. c preprocess terminated 7.34 s c Initial Lower Bound: 799323 c Lower Bound Elapsed time: 0.237 c Use computed LB before first solution. s UNKNOWN c Exit Code: 0 c Total time: 1175.1 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.84 0.94 0.91 2/54 18709 Raw data (stat): 18709 (runsolver) R 18708 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 901398204 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+9.99992 s] Raw data (loadavg): 0.87 0.94 0.91 2/54 18709 Raw data (stat): 18709 (bsolo_lpr-v2) R 18708 7266 7265 0 -1 0 8153 0 0 0 976 21 0 0 25 0 1 0 901398204 32948224 7303 4294967295 134512640 134716908 3221224576 3221222960 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8044 7303 1111 63 0 7981 0 vsize: 32176 [startup+19.9995 s] Raw data (loadavg): 0.89 0.94 0.91 2/54 18709 Raw data (stat): 18709 (bsolo_lpr-v2) R 18708 7266 7265 0 -1 0 11134 0 0 0 1969 28 0 0 25 0 1 0 901398204 32948224 7303 4294967295 134512640 134716908 3221224576 3221222880 1074153770 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8044 7303 1111 63 0 7981 0 vsize: 32176 [startup+30.0006 s] Raw data (loadavg): 0.90 0.94 0.91 2/54 18709 Raw data (stat): 18709 (bsolo_lpr-v2) R 18708 7266 7265 0 -1 0 14064 0 0 0 2963 34 0 0 25 0 1 0 901398204 32948224 7303 4294967295 134512640 134716908 3221224576 3221222904 1077410279 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8044 7303 1111 63 0 7981 0 vsize: 32176 [startup+40 s] Raw data (loadavg): 0.92 0.94 0.91 2/54 18709 Raw data (stat): 18709 (bsolo_lpr-v2) R 18708 7266 7265 0 -1 0 16933 0 0 0 3957 40 0 0 25 0 1 0 901398204 33648640 7423 4294967295 134512640 134716908 3221224576 3221220540 1074860664 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8215 7423 1111 63 0 8152 0 vsize: 32860 [startup+50.0007 s] Raw data (loadavg): 0.93 0.94 0.91 2/54 18709 Raw data (stat): 18709 (bsolo_lpr-v2) R 18708 7266 7265 0 -1 0 19540 0 0 0 4950 47 0 0 25 0 1 0 901398204 33005568 7309 4294967295 134512640 134716908 3221224576 3221222992 1074117062 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8058 7309 1111 63 0 7995 0 vsize: 32232 [startup+60.0009 s] Raw data (loadavg): 0.94 0.95 0.91 2/54 18709 Raw data (stat): 18709 (bsolo_lpr-v2) R 18708 7266 7265 0 -1 0 22090 0 0 0 5943 54 0 0 25 0 1 0 901398204 32948224 7303 4294967295 134512640 134716908 3221224576 3221222880 1074153770 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8044 7303 1111 63 0 7981 0 vsize: 32176 [startup+70.0003 s] Raw data (loadavg): 0.95 0.95 0.91 2/54 18709 Raw data (stat): 18709 (bsolo_lpr-v2) R 18708 7266 7265 0 -1 0 24642 0 0 0 6937 60 0 0 25 0 1 0 901398204 32948224 7303 4294967295 134512640 134716908 3221224576 3221222360 1077410163 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8044 7303 1111 63 0 7981 0 vsize: 32176 [startup+80.0009 s] Raw data (loadavg): 0.96 0.95 0.91 2/54 18709 Raw data (stat): 18709 (bsolo_lpr-v2) R 18708 7266 7265 0 -1 0 27279 0 0 0 7931 66 0 0 25 0 1 0 901398204 32948224 7303 4294967295 134512640 134716908 3221224576 3221222936 1077410279 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8044 7303 1111 63 0 7981 0 vsize: 32176 [startup+90.0011 s] Raw data (loadavg): 0.96 0.95 0.91 2/54 18709 Raw data (stat): 18709 (bsolo_lpr-v2) R 18708 7266 7265 0 -1 0 29840 0 0 0 8925 73 0 0 25 0 1 0 901398204 32948224 7303 4294967295 134512640 134716908 3221224576 3221222864 1074153779 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8044 7303 1111 63 0 7981 0 vsize: 32176 [startup+100.001 s] Raw data (loadavg): 0.97 0.95 0.91 2/54 18709 Raw data (stat): 18709 (bsolo_lpr-v2) R 18708 7266 7265 0 -1 0 32409 0 0 0 9919 79 0 0 25 0 1 0 901398204 32948224 7303 4294967295 134512640 134716908 3221224576 3221222808 1077410279 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8044 7303 1111 63 0 7981 0 vsize: 32176 [startup+110.002 s] Raw data (loadavg): 0.97 0.95 0.91 2/54 18709 Raw data (stat): 18709 (bsolo_lpr-v2) R 18708 7266 7265 0 -1 0 34954 0 0 0 10914 85 0 0 25 0 1 0 901398204 33005568 7305 4294967295 134512640 134716908 3221224576 3221222576 1074916543 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8058 7305 1111 63 0 7995 0 vsize: 32232 [startup+120.002 s] Raw data (loadavg): 0.98 0.95 0.91 2/54 18709 Raw data (stat): 18709 (bsolo_lpr-v2) R 18708 7266 7265 0 -1 0 37541 0 0 0 11906 93 0 0 25 0 1 0 901398204 33292288 7312 4294967295 134512640 134716908 3221224576 3221222304 1075828447 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8128 7312 1111 63 0 8065 0 vsize: 32512 [startup+130.003 s] Raw data (loadavg): 0.98 0.95 0.91 2/54 18709 Raw data (stat): 18709 (bsolo_lpr-v2) R 18708 7266 7265 0 -1 0 40241 0 0 0 12900 99 0 0 25 0 1 0 901398204 33660928 7412 4294967295 134512640 134716908 3221224576 3221221616 1075971283 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8218 7412 1111 63 0 8155 0 vsize: 32872 [startup+140.002 s] Raw data (loadavg): 0.98 0.95 0.91 2/54 18709 Raw data (stat): 18709 (bsolo_lpr-v2) R 18708 7266 7265 0 -1 0 42729 0 0 0 13894 105 0 0 25 0 1 0 901398204 32948224 7303 4294967295 134512640 134716908 3221224576 3221222840 1077410279 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8044 7303 1111 63 0 7981 0 vsize: 32176 [startup+150.004 s] Raw data (loadavg): 0.98 0.95 0.91 2/54 18709 Raw data (stat): 18709 (bsolo_lpr-v2) R 18708 7266 7265 0 -1 0 45187 0 0 0 14888 111 0 0 25 0 1 0 901398204 32948224 7303 4294967295 134512640 134716908 3221224576 3221222184 1077410279 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8044 7303 1111 63 0 7981 0 vsize: 32176 [startup+160.003 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 18709 Raw data (stat): 18709 (bsolo_lpr-v2) R 18708 7266 7265 0 -1 0 47700 0 0 0 15882 117 0 0 25 0 1 0 901398204 33640448 7406 4294967295 134512640 134716908 3221224576 3221221496 1074950114 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8213 7406 1111 63 0 8150 0 vsize: 32852 [startup+170.003 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 18709 Raw data (stat): 18709 (bsolo_lpr-v2) R 18708 7266 7265 0 -1 0 50076 0 0 0 16876 123 0 0 25 0 1 0 901398204 32948224 7303 4294967295 134512640 134716908 3221224576 3221222288 1074153770 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8044 7303 1111 63 0 7981 0 vsize: 32176 [startup+180.003 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 18709 Raw data (stat): 18709 (bsolo_lpr-v2) R 18708 7266 7265 0 -1 0 52567 0 0 0 17870 129 0 0 25 0 1 0 901398204 32948224 7303 4294967295 134512640 134716908 3221224576 3221222880 1074153673 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8044 7303 1111 63 0 7981 0 vsize: 32176 [startup+190.003 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 18709 Raw data (stat): 18709 (bsolo_lpr-v2) R 18708 7266 7265 0 -1 0 54990 0 0 0 18864 136 0 0 25 0 1 0 901398204 32948224 7303 4294967295 134512640 134716908 3221224576 3221222880 1074153753 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8044 7303 1111 63 0 7981 0 vsize: 32176 [startup+200.003 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 18709 Raw data (stat): 18709 (bsolo_lpr-v2) R 18708 7266 7265 0 -1 0 57398 0 0 0 19859 141 0 0 25 0 1 0 901398204 32948224 7303 4294967295 134512640 134716908 3221224576 3221222776 1074138166 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8044 7303 1111 63 0 7981 0 vsize: 32176 [startup+210.003 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 18709 Raw data (stat): 18709 (bsolo_lpr-v2) R 18708 7266 7265 0 -1 0 59738 0 0 0 20855 146 0 0 25 0 1 0 901398204 33005568 7313 4294967295 134512640 134716908 3221224576 3221223216 134651142 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8058 7313 1111 63 0 7995 0 vsize: 32232 [startup+220.002 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 18709 Raw data (stat): 18709 (bsolo_lpr-v2) R 18708 7266 7265 0 -1 0 61945 0 0 0 21849 151 0 0 25 0 1 0 901398204 33292288 7307 4294967295 134512640 134716908 3221224576 3221222640 1075961750 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8128 7307 1111 63 0 8065 0 vsize: 32512 [startup+230.002 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 18709 Raw data (stat): 18709 (bsolo_lpr-v2) R 18708 7266 7265 0 -1 0 64229 0 0 0 22845 156 0 0 25 0 1 0 901398204 32948224 7303 4294967295 134512640 134716908 3221224576 3221222432 1074153660 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8044 7303 1111 63 0 7981 0 vsize: 32176 [startup+240.002 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 18709 Raw data (stat): 18709 (bsolo_lpr-v2) R 18708 7266 7265 0 -1 0 66505 0 0 0 23839 162 0 0 25 0 1 0 901398204 32948224 7303 4294967295 134512640 134716908 3221224576 3221221868 1077411564 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8044 7303 1111 63 0 7981 0 vsize: 32176 [startup+250.003 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 18709 Raw data (stat): 18709 (bsolo_lpr-v2) R 18708 7266 7265 0 -1 0 69002 0 0 0 24833 168 0 0 25 0 1 0 901398204 32948224 7303 4294967295 134512640 134716908 3221224576 3221222960 1074153770 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8044 7303 1111 63 0 7981 0 vsize: 32176 [startup+260.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18709 Raw data (stat): 18709 (bsolo_lpr-v2) R 18708 7266 7265 0 -1 0 71443 0 0 0 25827 174 0 0 25 0 1 0 901398204 32948224 7303 4294967295 134512640 134716908 3221224576 3221222776 1074138144 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8044 7303 1111 63 0 7981 0 vsize: 32176 [startup+270.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18709 Raw data (stat): 18709 (bsolo_lpr-v2) R 18708 7266 7265 0 -1 0 73920 0 0 0 26822 179 0 0 25 0 1 0 901398204 32948224 7303 4294967295 134512640 134716908 3221224576 3221222880 1074153663 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8044 7303 1111 63 0 7981 0 vsize: 32176 [startup+280.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18709 Raw data (stat): 18709 (bsolo_lpr-v2) R 18708 7266 7265 0 -1 0 76437 0 0 0 27816 185 0 0 25 0 1 0 901398204 33005568 7317 4294967295 134512640 134716908 3221224576 3221222320 1075646981 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8058 7317 1111 63 0 7995 0 vsize: 32232 [startup+290.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18709 Raw data (stat): 18709 (bsolo_lpr-v2) R 18708 7266 7265 0 -1 0 78879 0 0 0 28809 193 0 0 25 0 1 0 901398204 32948224 7303 4294967295 134512640 134716908 3221224576 3221222480 1074153663 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8044 7303 1111 63 0 7981 0 vsize: 32176 [startup+300.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18709 Raw data (stat): 18709 (bsolo_lpr-v2) R 18708 7266 7265 0 -1 0 81365 0 0 0 29804 198 0 0 25 0 1 0 901398204 32948224 7303 4294967295 134512640 134716908 3221224576 3221222776 1074138144 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8044 7303 1111 63 0 7981 0 vsize: 32176 [startup+310.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18709 Raw data (stat): 18709 (bsolo_lpr-v2) R 18708 7266 7265 0 -1 0 83832 0 0 0 30799 204 0 0 25 0 1 0 901398204 33005568 7317 4294967295 134512640 134716908 3221224576 3221222976 1074118815 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8058 7317 1111 63 0 7995 0 vsize: 32232 [startup+320.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18709 Raw data (stat): 18709 (bsolo_lpr-v2) R 18708 7266 7265 0 -1 0 86244 0 0 0 31792 211 0 0 25 0 1 0 901398204 33005568 7317 4294967295 134512640 134716908 3221224576 3221223404 134624384 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8058 7317 1111 63 0 7995 0 vsize: 32232 [startup+330.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18709 Raw data (stat): 18709 (bsolo_lpr-v2) R 18708 7266 7265 0 -1 0 88644 0 0 0 32786 217 0 0 25 0 1 0 901398204 33005568 7317 4294967295 134512640 134716908 3221224576 3221222304 1075635997 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8058 7317 1111 63 0 7995 0 vsize: 32232 [startup+340.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18709 Raw data (stat): 18709 (bsolo_lpr-v2) R 18708 7266 7265 0 -1 0 91009 0 0 0 33781 222 0 0 25 0 1 0 901398204 32948224 7303 4294967295 134512640 134716908 3221224576 3221222976 1074153660 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8044 7303 1111 63 0 7981 0 vsize: 32176 [startup+350.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18709 Raw data (stat): 18709 (bsolo_lpr-v2) R 18708 7266 7265 0 -1 0 93290 0 0 0 34776 227 0 0 25 0 1 0 901398204 33136640 7305 4294967295 134512640 134716908 3221224576 3221222496 1075799544 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8090 7305 1111 63 0 8027 0 vsize: 32360 [startup+360.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18709 Raw data (stat): 18709 (bsolo_lpr-v2) R 18708 7266 7265 0 -1 0 95640 0 0 0 35770 233 0 0 25 0 1 0 901398204 32948224 7303 4294967295 134512640 134716908 3221224576 3221222472 1077410279 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8044 7303 1111 63 0 7981 0 vsize: 32176 [startup+370.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18709 Raw data (stat): 18709 (bsolo_lpr-v2) R 18708 7266 7265 0 -1 0 97940 0 0 0 36764 239 0 0 25 0 1 0 901398204 32948224 7304 4294967295 134512640 134716908 3221224576 3221222536 1077380592 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8044 7304 1111 63 0 7981 0 vsize: 32176 [startup+380.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18709 Raw data (stat): 18709 (bsolo_lpr-v2) R 18708 7266 7265 0 -1 0 100273 0 0 0 37757 246 0 0 25 0 1 0 901398204 32948224 7304 4294967295 134512640 134716908 3221224576 3221222824 1074138166 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8044 7304 1111 63 0 7981 0 vsize: 32176 [startup+390.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18709 Raw data (stat): 18709 (bsolo_lpr-v2) R 18708 7266 7265 0 -1 0 102556 0 0 0 38751 252 0 0 25 0 1 0 901398204 32948224 7304 4294967295 134512640 134716908 3221224576 3221222576 1074919740 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8044 7304 1111 63 0 7981 0 vsize: 32176 [startup+400.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18709 Raw data (stat): 18709 (bsolo_lpr-v2) R 18708 7266 7265 0 -1 0 104919 0 0 0 39746 257 0 0 25 0 1 0 901398204 32948224 7304 4294967295 134512640 134716908 3221224576 3221222928 1074115298 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8044 7304 1111 63 0 7981 0 vsize: 32176 [startup+410.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18709 Raw data (stat): 18709 (bsolo_lpr-v2) R 18708 7266 7265 0 -1 0 107363 0 0 0 40739 265 0 0 25 0 1 0 901398204 32948224 7304 4294967295 134512640 134716908 3221224576 3221222912 1074153669 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8044 7304 1111 63 0 7981 0 vsize: 32176 [startup+420.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18709 Raw data (stat): 18709 (bsolo_lpr-v2) R 18708 7266 7265 0 -1 0 109880 0 0 0 41734 270 0 0 25 0 1 0 901398204 32948224 7305 4294967295 134512640 134716908 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8044 7305 1111 63 0 7981 0 vsize: 32176 [startup+430.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18709 Raw data (stat): 18709 (bsolo_lpr-v2) R 18708 7266 7265 0 -1 0 112559 0 0 0 42728 276 0 0 25 0 1 0 901398204 32948224 7305 4294967295 134512640 134716908 3221224576 3221222360 1074138163 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8044 7305 1111 63 0 7981 0 vsize: 32176 [startup+440.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18709 Raw data (stat): 18709 (bsolo_lpr-v2) R 18708 7266 7265 0 -1 0 114933 0 0 0 43720 284 0 0 25 0 1 0 901398204 32948224 7305 4294967295 134512640 134716908 3221224576 3221222124 1077411564 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8044 7305 1111 63 0 7981 0 vsize: 32176 [startup+450.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18709 Raw data (stat): 18709 (bsolo_lpr-v2) R 18708 7266 7265 0 -1 0 117262 0 0 0 44714 291 0 0 25 0 1 0 901398204 32948224 7305 4294967295 134512640 134716908 3221224576 3221222592 1074153675 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8044 7305 1111 63 0 7981 0 vsize: 32176 [startup+460.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18709 Raw data (stat): 18709 (bsolo_lpr-v2) R 18708 7266 7265 0 -1 0 119588 0 0 0 45708 297 0 0 25 0 1 0 901398204 32948224 7305 4294967295 134512640 134716908 3221224576 3221222480 1074056216 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8044 7305 1111 63 0 7981 0 vsize: 32176 [startup+470.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18709 Raw data (stat): 18709 (bsolo_lpr-v2) R 18708 7266 7265 0 -1 0 121892 0 0 0 46702 303 0 0 25 0 1 0 901398204 32948224 7305 4294967295 134512640 134716908 3221224576 3221222536 1074138166 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8044 7305 1111 63 0 7981 0 vsize: 32176 [startup+480.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18709 Raw data (stat): 18709 (bsolo_lpr-v2) R 18708 7266 7265 0 -1 0 124168 0 0 0 47696 310 0 0 25 0 1 0 901398204 32948224 7305 4294967295 134512640 134716908 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8044 7305 1111 63 0 7981 0 vsize: 32176 [startup+490.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18709 Raw data (stat): 18709 (bsolo_lpr-v2) R 18708 7266 7265 0 -1 0 126390 0 0 0 48689 316 0 0 25 0 1 0 901398204 33005568 7319 4294967295 134512640 134716908 3221224576 3221222828 1077411564 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8058 7319 1111 63 0 7995 0 vsize: 32232 [startup+500.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18709 Raw data (stat): 18709 (bsolo_lpr-v2) R 18708 7266 7265 0 -1 0 128438 0 0 0 49685 320 0 0 25 0 1 0 901398204 33005568 7319 4294967295 134512640 134716908 3221224576 3221223216 134651168 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8058 7319 1111 63 0 7995 0 vsize: 32232 [startup+510.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18709 Raw data (stat): 18709 (bsolo_lpr-v2) R 18708 7266 7265 0 -1 0 130455 0 0 0 50681 325 0 0 25 0 1 0 901398204 32948224 7305 4294967295 134512640 134716908 3221224576 3221222392 1074138155 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8044 7305 1111 63 0 7981 0 vsize: 32176 [startup+520.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18709 Raw data (stat): 18709 (bsolo_lpr-v2) R 18708 7266 7265 0 -1 0 132525 0 0 0 51675 331 0 0 25 0 1 0 901398204 33005568 7319 4294967295 134512640 134716908 3221224576 3221222320 1075640393 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8058 7319 1111 63 0 7995 0 vsize: 32232 [startup+530.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18709 Raw data (stat): 18709 (bsolo_lpr-v2) R 18708 7266 7265 0 -1 0 134432 0 0 0 52670 336 0 0 25 0 1 0 901398204 32948224 7305 4294967295 134512640 134716908 3221224576 3221222840 1074138166 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8044 7305 1111 63 0 7981 0 vsize: 32176 [startup+540.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18709 Raw data (stat): 18709 (bsolo_lpr-v2) R 18708 7266 7265 0 -1 0 136262 0 0 0 53666 340 0 0 25 0 1 0 901398204 32948224 7305 4294967295 134512640 134716908 3221224576 3221222624 1074153770 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8044 7305 1111 63 0 7981 0 vsize: 32176 [startup+550.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18709 Raw data (stat): 18709 (bsolo_lpr-v2) R 18708 7266 7265 0 -1 0 138085 0 0 0 54660 346 0 0 25 0 1 0 901398204 32948224 7305 4294967295 134512640 134716908 3221224576 3221222912 1074153672 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8044 7305 1111 63 0 7981 0 vsize: 32176 [startup+560.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18709 Raw data (stat): 18709 (bsolo_lpr-v2) R 18708 7266 7265 0 -1 0 139844 0 0 0 55655 352 0 0 25 0 1 0 901398204 32948224 7305 4294967295 134512640 134716908 3221224576 3221222620 1073986656 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8044 7305 1111 63 0 7981 0 vsize: 32176 [startup+570.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18709 Raw data (stat): 18709 (bsolo_lpr-v2) R 18708 7266 7265 0 -1 0 141556 0 0 0 56650 357 0 0 25 0 1 0 901398204 32948224 7305 4294967295 134512640 134716908 3221224576 3221222824 1074138150 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8044 7305 1111 63 0 7981 0 vsize: 32176 [startup+580.009 s] Raw data (loadavg): 1.07 0.99 0.92 2/54 18709 Raw data (stat): 18709 (bsolo_lpr-v2) R 18708 7266 7265 0 -1 0 143270 0 0 0 57644 363 0 0 25 0 1 0 901398204 32948224 7305 4294967295 134512640 134716908 3221224576 3221222912 1074153806 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8044 7305 1111 63 0 7981 0 vsize: 32176 [startup+590.009 s] Raw data (loadavg): 1.06 0.99 0.92 2/54 18709 Raw data (stat): 18709 (bsolo_lpr-v2) R 18708 7266 7265 0 -1 0 144866 0 0 0 58639 368 0 0 25 0 1 0 901398204 33144832 7316 4294967295 134512640 134716908 3221224576 3221221480 1077410163 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8092 7316 1111 63 0 8029 0 vsize: 32368 [startup+600.01 s] Raw data (loadavg): 1.05 0.99 0.92 2/54 18709 Raw data (stat): 18709 (bsolo_lpr-v2) R 18708 7266 7265 0 -1 0 146217 0 0 0 59635 373 0 0 25 0 1 0 901398204 32948224 7305 4294967295 134512640 134716908 3221224576 3221222576 1074153675 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8044 7305 1111 63 0 7981 0 vsize: 32176 [startup+610.01 s] Raw data (loadavg): 1.04 0.99 0.92 2/54 18709 Raw data (stat): 18709 (bsolo_lpr-v2) R 18708 7266 7265 0 -1 0 147508 0 0 0 60630 378 0 0 25 0 1 0 901398204 32948224 7305 4294967295 134512640 134716908 3221224576 3221222224 1075818298 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8044 7305 1111 63 0 7981 0 vsize: 32176 [startup+620.01 s] Raw data (loadavg): 1.04 0.99 0.92 2/54 18709 Raw data (stat): 18709 (bsolo_lpr-v2) R 18708 7266 7265 0 -1 0 148724 0 0 0 61627 381 0 0 25 0 1 0 901398204 32948224 7306 4294967295 134512640 134716908 3221224576 3221222508 1077411564 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8044 7306 1111 63 0 7981 0 vsize: 32176 [startup+630.01 s] Raw data (loadavg): 1.03 0.99 0.92 2/54 18709 Raw data (stat): 18709 (bsolo_lpr-v2) R 18708 7266 7265 0 -1 0 149813 0 0 0 62624 385 0 0 25 0 1 0 901398204 32948224 7306 4294967295 134512640 134716908 3221224576 3221222960 1074153673 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8044 7306 1111 63 0 7981 0 vsize: 32176 [startup+640.011 s] Raw data (loadavg): 1.03 0.99 0.92 2/54 18709 Raw data (stat): 18709 (bsolo_lpr-v2) R 18708 7266 7265 0 -1 0 150896 0 0 0 63620 389 0 0 25 0 1 0 901398204 32948224 7306 4294967295 134512640 134716908 3221224576 3221221344 1074153749 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8044 7306 1111 63 0 7981 0 vsize: 32176 [startup+650.011 s] Raw data (loadavg): 1.02 0.99 0.92 2/54 18709 Raw data (stat): 18709 (bsolo_lpr-v2) R 18708 7266 7265 0 -1 0 152006 0 0 0 64616 392 0 0 25 0 1 0 901398204 32948224 7307 4294967295 134512640 134716908 3221224576 3221222840 1074138153 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8044 7307 1111 63 0 7981 0 vsize: 32176 [startup+660.01 s] Raw data (loadavg): 1.02 0.99 0.92 2/54 18709 Raw data (stat): 18709 (bsolo_lpr-v2) R 18708 7266 7265 0 -1 0 153050 0 0 0 65614 395 0 0 25 0 1 0 901398204 32948224 7307 4294967295 134512640 134716908 3221224576 3221221288 1074138166 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8044 7307 1111 63 0 7981 0 vsize: 32176 [startup+670.016 s] Raw data (loadavg): 1.01 0.99 0.92 2/56 18744 Raw data (stat): 18709 (bsolo_lpr-v2) R 18708 7266 7265 0 -1 0 154122 0 0 0 66604 405 0 0 25 0 1 0 901398204 32948224 7307 4294967295 134512640 134716908 3221224576 3221222960 1074153663 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8044 7307 1111 63 0 7981 0 vsize: 32176 [startup+680.018 s] Raw data (loadavg): 1.08 1.00 0.93 2/54 18762 Raw data (stat): 18709 (bsolo_lpr-v2) R 18708 7266 7265 0 -1 0 155208 0 0 0 67601 409 0 0 25 0 1 0 901398204 32948224 7307 4294967295 134512640 134716908 3221224576 3221222976 1074153663 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8044 7307 1111 63 0 7981 0 vsize: 32176 [startup+690.018 s] Raw data (loadavg): 1.07 1.00 0.93 2/54 18762 Raw data (stat): 18709 (bsolo_lpr-v2) R 18708 7266 7265 0 -1 0 156282 0 0 0 68598 411 0 0 25 0 1 0 901398204 32948224 7307 4294967295 134512640 134716908 3221224576 3221222912 1074153736 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8044 7307 1111 63 0 7981 0 vsize: 32176 [startup+700.018 s] Raw data (loadavg): 1.06 1.00 0.93 2/54 18762 Raw data (stat): 18709 (bsolo_lpr-v2) R 18708 7266 7265 0 -1 0 157306 0 0 0 69594 416 0 0 25 0 1 0 901398204 32948224 7307 4294967295 134512640 134716908 3221224576 3221222304 1075828201 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8044 7307 1111 63 0 7981 0 vsize: 32176 [startup+710.019 s] Raw data (loadavg): 1.05 1.00 0.93 2/54 18762 Raw data (stat): 18709 (bsolo_lpr-v2) R 18708 7266 7265 0 -1 0 158203 0 0 0 70591 419 0 0 25 0 1 0 901398204 32948224 7307 4294967295 134512640 134716908 3221224576 3221222880 1074153663 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8044 7307 1111 63 0 7981 0 vsize: 32176 [startup+720.019 s] Raw data (loadavg): 1.04 1.00 0.93 2/54 18762 Raw data (stat): 18709 (bsolo_lpr-v2) R 18708 7266 7265 0 -1 0 159144 0 0 0 71589 421 0 0 25 0 1 0 901398204 32948224 7307 4294967295 134512640 134716908 3221224576 3221222112 1074153770 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8044 7307 1111 63 0 7981 0 vsize: 32176 [startup+730.02 s] Raw data (loadavg): 1.04 1.00 0.93 2/54 18762 Raw data (stat): 18709 (bsolo_lpr-v2) R 18708 7266 7265 0 -1 0 160913 0 0 0 72582 428 0 0 25 0 1 0 901398204 33615872 7375 4294967295 134512640 134716908 3221224576 3221220736 1075091315 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8207 7375 1111 63 0 8144 0 vsize: 32828 [startup+740.019 s] Raw data (loadavg): 1.03 1.00 0.93 2/54 18764 Raw data (stat): 18709 (bsolo_lpr-v2) R 18708 7266 7265 0 -1 0 171523 0 0 0 73556 454 0 0 25 0 1 0 901398204 33533952 7450 4294967295 134512640 134716908 3221224576 3221223280 134654859 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8187 7450 1111 63 0 8124 0 vsize: 32748 [startup+750.02 s] Raw data (loadavg): 1.02 1.00 0.93 2/54 18764 Raw data (stat): 18709 (bsolo_lpr-v2) R 18708 7266 7265 0 -1 0 180280 0 0 0 74533 478 0 0 25 0 1 0 901398204 33533952 7450 4294967295 134512640 134716908 3221224576 3221222708 1077782939 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8187 7450 1111 63 0 8124 0 vsize: 32748 [startup+760.021 s] Raw data (loadavg): 1.02 1.00 0.93 2/54 18764 Raw data (stat): 18709 (bsolo_lpr-v2) R 18708 7266 7265 0 -1 0 189192 0 0 0 75512 499 0 0 25 0 1 0 901398204 34078720 7525 4294967295 134512640 134716908 3221224576 3221222904 1077799185 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8277 7512 1111 63 0 8214 0 vsize: 33280 [startup+770.021 s] Raw data (loadavg): 1.02 1.00 0.93 2/54 18764 Raw data (stat): 18709 (bsolo_lpr-v2) R 18708 7266 7265 0 -1 0 201712 0 0 0 76481 530 0 0 25 0 1 0 901398204 34213888 7616 4294967295 134512640 134716908 3221224576 3221222828 1077411564 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8353 7616 1111 63 0 8290 0 vsize: 33412 [startup+780.021 s] Raw data (loadavg): 1.01 1.00 0.93 2/54 18764 Raw data (stat): 18709 (bsolo_lpr-v2) R 18708 7266 7265 0 -1 0 205213 0 0 0 77470 541 0 0 25 0 1 0 901398204 34488320 7606 4294967295 134512640 134716908 3221224576 3221222304 1075828201 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8420 7606 1111 63 0 8357 0 vsize: 33680 [startup+790.021 s] Raw data (loadavg): 1.01 1.00 0.93 2/54 18764 Raw data (stat): 18709 (bsolo_lpr-v2) R 18708 7266 7265 0 -1 0 207598 0 0 0 78461 550 0 0 25 0 1 0 901398204 34160640 7603 4294967295 134512640 134716908 3221224576 3221222960 1074153648 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8340 7603 1111 63 0 8277 0 vsize: 33360 [startup+800.022 s] Raw data (loadavg): 1.01 1.00 0.93 2/54 18764 Raw data (stat): 18709 (bsolo_lpr-v2) R 18708 7266 7265 0 -1 0 209822 0 0 0 79454 558 0 0 25 0 1 0 901398204 34488320 7606 4294967295 134512640 134716908 3221224576 3221222304 1075828243 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8420 7606 1111 63 0 8357 0 vsize: 33680 [startup+810.024 s] Raw data (loadavg): 1.01 1.00 0.93 2/54 18764 Raw data (stat): 18709 (bsolo_lpr-v2) R 18708 7266 7265 0 -1 0 212066 0 0 0 80444 568 0 0 25 0 1 0 901398204 34160640 7603 4294967295 134512640 134716908 3221224576 3221222576 1074056578 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8340 7603 1111 63 0 8277 0 vsize: 33360 [startup+820.031 s] Raw data (loadavg): 1.01 1.00 0.93 2/54 18764 Raw data (stat): 18709 (bsolo_lpr-v2) R 18708 7266 7265 0 -1 0 214228 0 0 0 81438 575 0 0 25 0 1 0 901398204 34160640 7603 4294967295 134512640 134716908 3221224576 3221222508 1077411564 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8340 7603 1111 63 0 8277 0 vsize: 33360 [startup+830.033 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 18764 Raw data (stat): 18709 (bsolo_lpr-v2) R 18708 7266 7265 0 -1 0 216361 0 0 0 82430 583 0 0 25 0 1 0 901398204 34213888 7605 4294967295 134512640 134716908 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8353 7605 1111 63 0 8290 0 vsize: 33412 [startup+840.035 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 18764 Raw data (stat): 18709 (bsolo_lpr-v2) R 18708 7266 7265 0 -1 0 218883 0 0 0 83422 592 0 0 25 0 1 0 901398204 34160640 7603 4294967295 134512640 134716908 3221224576 3221222912 1074153663 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8340 7603 1111 63 0 8277 0 vsize: 33360 [startup+850.035 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 18764 Raw data (stat): 18709 (bsolo_lpr-v2) R 18708 7266 7265 0 -1 0 221309 0 0 0 84413 601 0 0 25 0 1 0 901398204 34488320 7606 4294967295 134512640 134716908 3221224576 3221222400 1075823363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8420 7606 1111 63 0 8357 0 vsize: 33680 [startup+860.048 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 18764 Raw data (stat): 18709 (bsolo_lpr-v2) R 18708 7266 7265 0 -1 0 224604 0 0 0 85404 611 0 0 25 0 1 0 901398204 34324480 7633 4294967295 134512640 134716908 3221224576 3221222928 1074115298 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8380 7633 1111 63 0 8317 0 vsize: 33520 [startup+870.048 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 18764 Raw data (stat): 18709 (bsolo_lpr-v2) R 18708 7266 7265 0 -1 0 227930 0 0 0 86392 623 0 0 25 0 1 0 901398204 34488320 7609 4294967295 134512640 134716908 3221224576 3221222496 1075799503 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8420 7609 1111 63 0 8357 0 vsize: 33680 [startup+880.048 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 18764 Raw data (stat): 18709 (bsolo_lpr-v2) R 18708 7266 7265 0 -1 0 230652 0 0 0 87382 634 0 0 25 0 1 0 901398204 34213888 7606 4294967295 134512640 134716908 3221224576 3221222480 1075460122 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8353 7606 1111 63 0 8290 0 vsize: 33412 [startup+890.049 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 18764 Raw data (stat): 18709 (bsolo_lpr-v2) R 18708 7266 7265 0 -1 0 232992 0 0 0 88373 642 0 0 25 0 1 0 901398204 34160640 7603 4294967295 134512640 134716908 3221224576 3221222460 1077411564 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8340 7603 1111 63 0 8277 0 vsize: 33360 [startup+900.049 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 18764 Raw data (stat): 18709 (bsolo_lpr-v2) R 18708 7266 7265 0 -1 0 235481 0 0 0 89366 650 0 0 25 0 1 0 901398204 34213888 7606 4294967295 134512640 134716908 3221224576 3221222576 1074913791 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8353 7606 1111 63 0 8290 0 vsize: 33412 [startup+910.049 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 18764 Raw data (stat): 18709 (bsolo_lpr-v2) R 18708 7266 7265 0 -1 0 237842 0 0 0 90358 658 0 0 25 0 1 0 901398204 34213888 7608 4294967295 134512640 134716908 3221224576 3221223040 1074121018 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8353 7608 1111 63 0 8290 0 vsize: 33412 [startup+920.049 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 18764 Raw data (stat): 18709 (bsolo_lpr-v2) R 18708 7266 7265 0 -1 0 240306 0 0 0 91348 669 0 0 25 0 1 0 901398204 34160640 7603 4294967295 134512640 134716908 3221224576 3221222556 1077411564 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8340 7603 1111 63 0 8277 0 vsize: 33360 [startup+930.049 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 18764 Raw data (stat): 18709 (bsolo_lpr-v2) R 18708 7266 7265 0 -1 0 243440 0 0 0 92339 678 0 0 25 0 1 0 901398204 34213888 7616 4294967295 134512640 134716908 3221224576 3221223472 134621423 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8353 7616 1111 63 0 8290 0 vsize: 33412 [startup+940.049 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 18764 Raw data (stat): 18709 (bsolo_lpr-v2) R 18708 7266 7265 0 -1 0 246877 0 0 0 93328 689 0 0 25 0 1 0 901398204 34160640 7603 4294967295 134512640 134716908 3221224576 3221222912 1074153749 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8340 7603 1111 63 0 8277 0 vsize: 33360 [startup+950.05 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 18764 Raw data (stat): 18709 (bsolo_lpr-v2) R 18708 7266 7265 0 -1 0 250408 0 0 0 94317 700 0 0 25 0 1 0 901398204 34160640 7603 4294967295 134512640 134716908 3221224576 3221222360 1077410205 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8340 7603 1111 63 0 8277 0 vsize: 33360 [startup+960.051 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 18764 Raw data (stat): 18709 (bsolo_lpr-v2) R 18708 7266 7265 0 -1 0 253845 0 0 0 95307 710 0 0 25 0 1 0 901398204 34160640 7603 4294967295 134512640 134716908 3221224576 3221222336 1074153675 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8340 7603 1111 63 0 8277 0 vsize: 33360 [startup+970.051 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 18764 Raw data (stat): 18709 (bsolo_lpr-v2) R 18708 7266 7265 0 -1 0 257238 0 0 0 96297 720 0 0 25 0 1 0 901398204 34271232 7620 4294967295 134512640 134716908 3221224576 3221222856 1074138333 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8367 7620 1111 63 0 8304 0 vsize: 33468 [startup+980.051 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 18764 Raw data (stat): 18709 (bsolo_lpr-v2) R 18708 7266 7265 0 -1 0 260154 0 0 0 97288 729 0 0 25 0 1 0 901398204 34160640 7603 4294967295 134512640 134716908 3221224576 3221222712 1077377434 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8340 7603 1111 63 0 8277 0 vsize: 33360 [startup+990.052 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 18764 Raw data (stat): 18709 (bsolo_lpr-v2) R 18708 7266 7265 0 -1 0 262542 0 0 0 98280 738 0 0 25 0 1 0 901398204 34213888 7606 4294967295 134512640 134716908 3221224576 3221221688 1077378037 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8353 7607 1111 63 0 8290 0 vsize: 33412 [startup+1000.05 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 18764 Raw data (stat): 18709 (bsolo_lpr-v2) R 18708 7266 7265 0 -1 0 264918 0 0 0 99272 746 0 0 25 0 1 0 901398204 34213888 7607 4294967295 134512640 134716908 3221224576 3221222992 1074117042 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8353 7607 1111 63 0 8290 0 vsize: 33412 [startup+1010.05 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 18764 Raw data (stat): 18709 (bsolo_lpr-v2) R 18708 7266 7265 0 -1 0 267288 0 0 0 100263 755 0 0 25 0 1 0 901398204 34242560 7607 4294967295 134512640 134716908 3221224576 3221222976 1074118815 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8353 7607 1111 63 0 8290 0 vsize: 33440 [startup+1020.05 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 18764 Raw data (stat): 18709 (bsolo_lpr-v2) R 18708 7266 7265 0 -1 0 270077 0 0 0 101254 764 0 0 25 0 1 0 901398204 34693120 7659 4294967295 134512640 134716908 3221224576 3221220600 1074860225 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8470 7659 1111 63 0 8407 0 vsize: 33880 [startup+1030.05 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 18766 Raw data (stat): 18709 (bsolo_lpr-v2) R 18708 7266 7265 0 -1 0 272862 0 0 0 102245 774 0 0 25 0 1 0 901398204 34377728 7650 4294967295 134512640 134716908 3221224576 3221222928 1074115298 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8393 7650 1111 63 0 8330 0 vsize: 33572 [startup+1040.05 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 18766 Raw data (stat): 18709 (bsolo_lpr-v2) R 18708 7266 7265 0 -1 0 274957 0 0 0 103237 781 0 0 25 0 1 0 901398204 34320384 7642 4294967295 134512640 134716908 3221224576 3221222928 1074153663 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8379 7642 1111 63 0 8316 0 vsize: 33516 [startup+1050.05 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 18766 Raw data (stat): 18709 (bsolo_lpr-v2) R 18708 7266 7265 0 -1 0 277030 0 0 0 104229 790 0 0 25 0 1 0 901398204 34705408 7662 4294967295 134512640 134716908 3221224576 3221222304 1075828201 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8473 7662 1111 63 0 8410 0 vsize: 33892 [startup+1060.05 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 18766 Raw data (stat): 18709 (bsolo_lpr-v2) R 18708 7266 7265 0 -1 0 279165 0 0 0 105223 796 0 0 25 0 1 0 901398204 34430976 7660 4294967295 134512640 134716908 3221224576 3221222976 1074118797 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8406 7660 1111 63 0 8343 0 vsize: 33624 [startup+1070.05 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 18766 Raw data (stat): 18709 (bsolo_lpr-v2) R 18708 7266 7265 0 -1 0 280952 0 0 0 106216 804 0 0 25 0 1 0 901398204 34377728 7656 4294967295 134512640 134716908 3221224576 3221222840 1074138162 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8393 7656 1111 63 0 8330 0 vsize: 33572 [startup+1080.05 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 18766 Raw data (stat): 18709 (bsolo_lpr-v2) R 18708 7266 7265 0 -1 0 283120 0 0 0 107207 813 0 0 25 0 1 0 901398204 34430976 7666 4294967295 134512640 134716908 3221224576 3221222828 1077411564 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8406 7666 1111 63 0 8343 0 vsize: 33624 [startup+1090.05 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 18766 Raw data (stat): 18709 (bsolo_lpr-v2) R 18708 7266 7265 0 -1 0 286973 0 0 0 108196 823 0 0 25 0 1 0 901398204 34721792 7687 4294967295 134512640 134716908 3221224576 3221222900 1077782939 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8433 7686 1111 63 0 8370 0 vsize: 33908 [startup+1100.06 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 18766 Raw data (stat): 18709 (bsolo_lpr-v2) R 18708 7266 7265 0 -1 0 291499 0 0 0 109184 836 0 0 25 0 1 0 901398204 34430976 7660 4294967295 134512640 134716908 3221224576 3221222828 1077411564 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8406 7660 1111 63 0 8343 0 vsize: 33624 [startup+1110.06 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 18766 Raw data (stat): 18709 (bsolo_lpr-v2) R 18708 7266 7265 0 -1 0 293887 0 0 0 110176 844 0 0 25 0 1 0 901398204 34430976 7660 4294967295 134512640 134716908 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8406 7660 1111 63 0 8343 0 vsize: 33624 [startup+1120.05 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 18766 Raw data (stat): 18709 (bsolo_lpr-v2) R 18708 7266 7265 0 -1 0 296146 0 0 0 111168 853 0 0 25 0 1 0 901398204 34377728 7656 4294967295 134512640 134716908 3221224576 3221222912 1074153822 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8393 7656 1111 63 0 8330 0 vsize: 33572 [startup+1130.06 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 18766 Raw data (stat): 18709 (bsolo_lpr-v2) R 18708 7266 7265 0 -1 0 298107 0 0 0 112160 860 0 0 25 0 1 0 901398204 34377728 7656 4294967295 134512640 134716908 3221224576 3221222556 1077411564 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8393 7656 1111 63 0 8330 0 vsize: 33572 [startup+1140.06 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 18766 Raw data (stat): 18709 (bsolo_lpr-v2) R 18708 7266 7265 0 -1 0 299928 0 0 0 113152 868 0 0 25 0 1 0 901398204 34377728 7656 4294967295 134512640 134716908 3221224576 3221222960 1074153663 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8393 7656 1111 63 0 8330 0 vsize: 33572 [startup+1150.06 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 18766 Raw data (stat): 18709 (bsolo_lpr-v2) R 18708 7266 7265 0 -1 0 301782 0 0 0 114144 877 0 0 25 0 1 0 901398204 34430976 7659 4294967295 134512640 134716908 3221224576 3221222320 1075640218 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8406 7659 1111 63 0 8343 0 vsize: 33624 [startup+1160.06 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 18766 Raw data (stat): 18709 (bsolo_lpr-v2) R 18708 7266 7265 0 -1 0 303585 0 0 0 115140 882 0 0 25 0 1 0 901398204 34377728 7656 4294967295 134512640 134716908 3221224576 3221222700 134543192 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8393 7656 1111 63 0 8330 0 vsize: 33572 [startup+1170.06 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 18766 Raw data (stat): 18709 (bsolo_lpr-v2) R 18708 7266 7265 0 -1 0 305312 0 0 0 116134 887 0 0 25 0 1 0 901398204 34377728 7656 4294967295 134512640 134716908 3221224576 3221222832 1074146279 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8393 7656 1111 63 0 8330 0 vsize: 33572 [startup+1174.96 s] Raw data (loadavg): 1.00 1.00 0.93 1/53 18766 Raw data (stat): 18709 (bsolo_lpr-v2) R 18708 7266 7265 0 -1 0 305312 0 0 0 116134 887 0 0 25 0 1 0 901398204 34377728 7656 4294967295 134512640 134716908 3221224576 3221222832 1074146279 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8393 7656 1111 63 0 8330 0 vsize: 0 Child status: 0 Real time (s): 1174.96 CPU time (s): 1175.12 CPU user time (s): 1166.2 CPU system time (s): 8.92764 CPU usage (%): 100.014 Max. virtual memory (Kb): 33908 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####