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 wulflinc5 THE 2005-06-08 10:09:21 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=28502 boxname=wulflinc5 idbench=1458 idsolver=20 numberseed=0 MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048 /oldhome/oroussel/solvers/bsolo_lpr-v2 MD5SUM BENCH: fae1fae180d772ad3ee6c1acfa1c8b4f /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-vpm2.opb REAL COMMAND: bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-vpm2.opb IDLAUNCH: 28502 /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: 897764 kB Buffers: 15512 kB Cached: 99800 kB SwapCached: 696 kB Active: 22432 kB Inactive: 94892 kB HighTotal: 131008 kB HighFree: 41160 kB LowTotal: 903652 kB LowFree: 856604 kB SwapTotal: 2097136 kB SwapFree: 2095476 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5080 kB Slab: 14020 kB Committed_AS: 63604 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-08 10:28:57 (client local time) WITH STATUS 0 IN 1175.56 SECONDS stats: 28502 7 1175.56 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.254 s c Initial Lower Bound: 39 c Lower Bound Elapsed time: 0.08925 c Use computed LB before first solution. s UNKNOWN c Exit Code: 0 c Total time: 1175.55 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): 1.07 1.02 0.94 1/54 18189 Raw data (stat): 18189 (runsolver) R 18188 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 900800737 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.0009 s] Raw data (loadavg): 1.06 1.01 0.94 2/54 18189 Raw data (stat): 18189 (bsolo_lpr-v2) R 18188 7266 7265 0 -1 0 5955 0 0 0 981 16 0 0 25 0 1 0 900800737 27557888 5873 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6728 5873 1111 63 0 6665 0 vsize: 26912 [startup+20.0012 s] Raw data (loadavg): 1.05 1.01 0.94 2/54 18189 Raw data (stat): 18189 (bsolo_lpr-v2) R 18188 7266 7265 0 -1 0 6003 0 0 0 1980 17 0 0 25 0 1 0 900800737 27803648 5921 4294967295 134512640 134716908 3221224576 3221223288 134675270 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6788 5921 1111 63 0 6725 0 vsize: 27152 [startup+30.0009 s] Raw data (loadavg): 1.04 1.01 0.94 2/54 18189 Raw data (stat): 18189 (bsolo_lpr-v2) R 18188 7266 7265 0 -1 0 6003 0 0 0 2980 17 0 0 25 0 1 0 900800737 27803648 5921 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6788 5921 1111 63 0 6725 0 vsize: 27152 [startup+40.0022 s] Raw data (loadavg): 1.03 1.01 0.94 2/54 18189 Raw data (stat): 18189 (bsolo_lpr-v2) R 18188 7266 7265 0 -1 0 6003 0 0 0 3980 17 0 0 25 0 1 0 900800737 27803648 5921 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6788 5921 1111 63 0 6725 0 vsize: 27152 [startup+50.0024 s] Raw data (loadavg): 1.03 1.01 0.94 2/54 18189 Raw data (stat): 18189 (bsolo_lpr-v2) R 18188 7266 7265 0 -1 0 6540 0 0 0 4978 19 0 0 25 0 1 0 900800737 28123136 6102 4294967295 134512640 134716908 3221224576 3221220540 1074860626 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6866 6102 1111 63 0 6803 0 vsize: 27464 [startup+60.0031 s] Raw data (loadavg): 1.02 1.01 0.94 2/54 18189 Raw data (stat): 18189 (bsolo_lpr-v2) R 18188 7266 7265 0 -1 0 7919 0 0 0 5973 24 0 0 25 0 1 0 900800737 28110848 6105 4294967295 134512640 134716908 3221224576 3221220736 1074794536 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6863 6105 1111 63 0 6800 0 vsize: 27452 [startup+70.0043 s] Raw data (loadavg): 1.02 1.01 0.94 2/54 18189 Raw data (stat): 18189 (bsolo_lpr-v2) R 18188 7266 7265 0 -1 0 9546 0 0 0 6967 30 0 0 25 0 1 0 900800737 27803648 6089 4294967295 134512640 134716908 3221224576 3221222928 1074153675 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6788 6089 1111 63 0 6725 0 vsize: 27152 [startup+80.0046 s] Raw data (loadavg): 1.02 1.01 0.94 2/54 18189 Raw data (stat): 18189 (bsolo_lpr-v2) R 18188 7266 7265 0 -1 0 11515 0 0 0 7960 37 0 0 25 0 1 0 900800737 27840512 6096 4294967295 134512640 134716908 3221224576 3221222360 1077410205 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6797 6096 1111 63 0 6734 0 vsize: 27188 [startup+90.0053 s] Raw data (loadavg): 1.01 1.01 0.94 2/54 18189 Raw data (stat): 18189 (bsolo_lpr-v2) R 18188 7266 7265 0 -1 0 13496 0 0 0 8952 45 0 0 25 0 1 0 900800737 27836416 6091 4294967295 134512640 134716908 3221224576 3221222576 1074916908 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6796 6091 1111 63 0 6733 0 vsize: 27184 [startup+100.006 s] Raw data (loadavg): 1.01 1.01 0.94 2/54 18189 Raw data (stat): 18189 (bsolo_lpr-v2) R 18188 7266 7265 0 -1 0 15412 0 0 0 9946 52 0 0 25 0 1 0 900800737 27803648 6089 4294967295 134512640 134716908 3221224576 3221222508 1077411564 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6788 6089 1111 63 0 6725 0 vsize: 27152 [startup+110.007 s] Raw data (loadavg): 1.01 1.00 0.94 2/54 18189 Raw data (stat): 18189 (bsolo_lpr-v2) R 18188 7266 7265 0 -1 0 17232 0 0 0 10939 59 0 0 25 0 1 0 900800737 27983872 6096 4294967295 134512640 134716908 3221224576 3221222496 1075799640 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6832 6096 1111 63 0 6769 0 vsize: 27328 [startup+120.007 s] Raw data (loadavg): 1.01 1.00 0.94 2/54 18189 Raw data (stat): 18189 (bsolo_lpr-v2) R 18188 7266 7265 0 -1 0 18958 0 0 0 11933 65 0 0 25 0 1 0 900800737 27803648 6089 4294967295 134512640 134716908 3221224576 3221222504 1074138166 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6788 6089 1111 63 0 6725 0 vsize: 27152 [startup+130.007 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 18189 Raw data (stat): 18189 (bsolo_lpr-v2) R 18188 7266 7265 0 -1 0 20850 0 0 0 12925 73 0 0 25 0 1 0 900800737 27803648 6089 4294967295 134512640 134716908 3221224576 3221222620 1077379961 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6788 6089 1111 63 0 6725 0 vsize: 27152 [startup+140.007 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 18189 Raw data (stat): 18189 (bsolo_lpr-v2) R 18188 7266 7265 0 -1 0 22817 0 0 0 13918 80 0 0 25 0 1 0 900800737 27803648 6089 4294967295 134512640 134716908 3221224576 3221222552 1074138150 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6788 6089 1111 63 0 6725 0 vsize: 27152 [startup+150.007 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 18189 Raw data (stat): 18189 (bsolo_lpr-v2) R 18188 7266 7265 0 -1 0 24727 0 0 0 14911 87 0 0 25 0 1 0 900800737 27832320 6090 4294967295 134512640 134716908 3221224576 3221222592 1074153736 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6795 6090 1111 63 0 6732 0 vsize: 27180 [startup+160.008 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 18189 Raw data (stat): 18189 (bsolo_lpr-v2) R 18188 7266 7265 0 -1 0 26930 0 0 0 15904 95 0 0 25 0 1 0 900800737 27893760 6105 4294967295 134512640 134716908 3221224576 3221222936 1074207649 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6810 6105 1111 63 0 6747 0 vsize: 27240 [startup+170.008 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 18189 Raw data (stat): 18189 (bsolo_lpr-v2) R 18188 7266 7265 0 -1 0 28962 0 0 0 16896 102 0 0 25 0 1 0 900800737 27869184 6105 4294967295 134512640 134716908 3221224576 3221222672 1074153672 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6804 6105 1111 63 0 6741 0 vsize: 27216 [startup+180.009 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 18189 Raw data (stat): 18189 (bsolo_lpr-v2) R 18188 7266 7265 0 -1 0 31222 0 0 0 17888 110 0 0 25 0 1 0 900800737 28082176 6126 4294967295 134512640 134716908 3221224576 3221220944 1075894538 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6856 6126 1111 63 0 6793 0 vsize: 27424 [startup+190.009 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 18189 Raw data (stat): 18189 (bsolo_lpr-v2) R 18188 7266 7265 0 -1 0 33409 0 0 0 18880 119 0 0 25 0 1 0 900800737 27836416 6097 4294967295 134512640 134716908 3221224576 3221222336 1074153663 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6796 6097 1111 63 0 6733 0 vsize: 27184 [startup+200.01 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 18189 Raw data (stat): 18189 (bsolo_lpr-v2) R 18188 7266 7265 0 -1 0 35487 0 0 0 19873 126 0 0 25 0 1 0 900800737 27832320 6091 4294967295 134512640 134716908 3221224576 3221222744 1074057695 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6795 6091 1111 63 0 6732 0 vsize: 27180 [startup+210.01 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 18189 Raw data (stat): 18189 (bsolo_lpr-v2) R 18188 7266 7265 0 -1 0 37455 0 0 0 20864 135 0 0 25 0 1 0 900800737 28000256 6107 4294967295 134512640 134716908 3221224576 3221220688 1075091282 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6836 6107 1111 63 0 6773 0 vsize: 27344 [startup+220.011 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 18189 Raw data (stat): 18189 (bsolo_lpr-v2) R 18188 7266 7265 0 -1 0 39674 0 0 0 21856 143 0 0 25 0 1 0 900800737 27865088 6097 4294967295 134512640 134716908 3221224576 3221222976 1073990411 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6803 6097 1111 63 0 6740 0 vsize: 27212 [startup+230.011 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 18189 Raw data (stat): 18189 (bsolo_lpr-v2) R 18188 7266 7265 0 -1 0 41818 0 0 0 22849 150 0 0 25 0 1 0 900800737 27901952 6105 4294967295 134512640 134716908 3221224576 3221222576 1074056216 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6812 6105 1111 63 0 6749 0 vsize: 27248 [startup+240.011 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 18189 Raw data (stat): 18189 (bsolo_lpr-v2) R 18188 7266 7265 0 -1 0 44054 0 0 0 23841 159 0 0 25 0 1 0 900800737 27869184 6100 4294967295 134512640 134716908 3221224576 3221222536 1074138306 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6804 6100 1111 63 0 6741 0 vsize: 27216 [startup+250.012 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 18189 Raw data (stat): 18189 (bsolo_lpr-v2) R 18188 7266 7265 0 -1 0 46342 0 0 0 24833 166 0 0 25 0 1 0 900800737 27869184 6097 4294967295 134512640 134716908 3221224576 3221222320 1075640213 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6804 6097 1111 63 0 6741 0 vsize: 27216 [startup+260.013 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 18189 Raw data (stat): 18189 (bsolo_lpr-v2) R 18188 7266 7265 0 -1 0 48594 0 0 0 25825 174 0 0 25 0 1 0 900800737 28102656 6123 4294967295 134512640 134716908 3221224576 3221221696 1074835561 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6861 6123 1111 63 0 6798 0 vsize: 27444 [startup+270.014 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 18189 Raw data (stat): 18189 (bsolo_lpr-v2) R 18188 7266 7265 0 -1 0 50932 0 0 0 26818 181 0 0 25 0 1 0 900800737 27897856 6106 4294967295 134512640 134716908 3221224576 3221222560 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6811 6106 1111 63 0 6748 0 vsize: 27244 [startup+280.014 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 18189 Raw data (stat): 18189 (bsolo_lpr-v2) R 18188 7266 7265 0 -1 0 53226 0 0 0 27809 190 0 0 25 0 1 0 900800737 28073984 6118 4294967295 134512640 134716908 3221224576 3221220752 1075561485 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6854 6118 1111 63 0 6791 0 vsize: 27416 [startup+290.014 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 18189 Raw data (stat): 18189 (bsolo_lpr-v2) R 18188 7266 7265 0 -1 0 55424 0 0 0 28802 198 0 0 25 0 1 0 900800737 27869184 6098 4294967295 134512640 134716908 3221224576 3221222944 1074116242 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6804 6098 1111 63 0 6741 0 vsize: 27216 [startup+300.016 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 18189 Raw data (stat): 18189 (bsolo_lpr-v2) R 18188 7266 7265 0 -1 0 57644 0 0 0 29795 205 0 0 25 0 1 0 900800737 27930624 6120 4294967295 134512640 134716908 3221224576 3221222928 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6819 6120 1111 63 0 6756 0 vsize: 27276 [startup+310.016 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 18189 Raw data (stat): 18189 (bsolo_lpr-v2) R 18188 7266 7265 0 -1 0 59668 0 0 0 30788 212 0 0 25 0 1 0 900800737 27930624 6118 4294967295 134512640 134716908 3221224576 3221223448 134543256 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6819 6118 1111 63 0 6756 0 vsize: 27276 [startup+320.017 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 18189 Raw data (stat): 18189 (bsolo_lpr-v2) R 18188 7266 7265 0 -1 0 61894 0 0 0 31779 220 0 0 25 0 1 0 900800737 28069888 6116 4294967295 134512640 134716908 3221224576 3221220692 1075964296 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6853 6116 1111 63 0 6790 0 vsize: 27412 [startup+330.016 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 18189 Raw data (stat): 18189 (bsolo_lpr-v2) R 18188 7266 7265 0 -1 0 64147 0 0 0 32770 230 0 0 25 0 1 0 900800737 27897856 6106 4294967295 134512640 134716908 3221224576 3221222492 1077411564 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6811 6106 1111 63 0 6748 0 vsize: 27244 [startup+340.017 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 18189 Raw data (stat): 18189 (bsolo_lpr-v2) R 18188 7266 7265 0 -1 0 66287 0 0 0 33763 236 0 0 25 0 1 0 900800737 27836416 6091 4294967295 134512640 134716908 3221224576 3221221920 1074839039 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6796 6091 1111 63 0 6733 0 vsize: 27184 [startup+350.018 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 18189 Raw data (stat): 18189 (bsolo_lpr-v2) R 18188 7266 7265 0 -1 0 68190 0 0 0 34757 243 0 0 25 0 1 0 900800737 27832320 6096 4294967295 134512640 134716908 3221224576 3221222976 1074118815 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6795 6096 1111 63 0 6732 0 vsize: 27180 [startup+360.019 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 18189 Raw data (stat): 18189 (bsolo_lpr-v2) R 18188 7266 7265 0 -1 0 70505 0 0 0 35749 251 0 0 25 0 1 0 900800737 28110848 6114 4294967295 134512640 134716908 3221224576 3221220736 1075095094 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6863 6114 1111 63 0 6800 0 vsize: 27452 [startup+370.02 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 18189 Raw data (stat): 18189 (bsolo_lpr-v2) R 18188 7266 7265 0 -1 0 72653 0 0 0 36740 260 0 0 25 0 1 0 900800737 27803648 6089 4294967295 134512640 134716908 3221224576 3221222888 1074138166 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6788 6089 1111 63 0 6725 0 vsize: 27152 [startup+380.019 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 18189 Raw data (stat): 18189 (bsolo_lpr-v2) R 18188 7266 7265 0 -1 0 75509 0 0 0 37731 269 0 0 25 0 1 0 900800737 28098560 6133 4294967295 134512640 134716908 3221224576 3221221560 1077410279 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6860 6133 1111 63 0 6797 0 vsize: 27440 [startup+390.02 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 18189 Raw data (stat): 18189 (bsolo_lpr-v2) R 18188 7266 7265 0 -1 0 78318 0 0 0 38722 278 0 0 25 0 1 0 900800737 28073984 6099 4294967295 134512640 134716908 3221224576 3221222544 1075088330 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6854 6099 1111 63 0 6791 0 vsize: 27416 [startup+400.02 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 18189 Raw data (stat): 18189 (bsolo_lpr-v2) R 18188 7266 7265 0 -1 0 82437 0 0 0 39709 291 0 0 25 0 1 0 900800737 27885568 6109 4294967295 134512640 134716908 3221224576 3221222816 1074153663 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6808 6109 1111 63 0 6745 0 vsize: 27232 [startup+410.021 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 18189 Raw data (stat): 18189 (bsolo_lpr-v2) R 18188 7266 7265 0 -1 0 85256 0 0 0 40701 300 0 0 25 0 1 0 900800737 27803648 6089 4294967295 134512640 134716908 3221224576 3221222352 1074153822 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6788 6089 1111 63 0 6725 0 vsize: 27152 [startup+420.021 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 18189 Raw data (stat): 18189 (bsolo_lpr-v2) R 18188 7266 7265 0 -1 0 88263 0 0 0 41691 309 0 0 25 0 1 0 900800737 27987968 6098 4294967295 134512640 134716908 3221224576 3221222304 1075828612 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6833 6098 1111 63 0 6770 0 vsize: 27332 [startup+430.021 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 18189 Raw data (stat): 18189 (bsolo_lpr-v2) R 18188 7266 7265 0 -1 0 91158 0 0 0 42680 320 0 0 25 0 1 0 900800737 28033024 6097 4294967295 134512640 134716908 3221224576 3221222304 1075828571 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6844 6097 1111 63 0 6781 0 vsize: 27376 [startup+440.021 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 18189 Raw data (stat): 18189 (bsolo_lpr-v2) R 18188 7266 7265 0 -1 0 95177 0 0 0 43668 332 0 0 25 0 1 0 900800737 28131328 6154 4294967295 134512640 134716908 3221224576 3221222976 1074118820 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6868 6154 1111 63 0 6805 0 vsize: 27472 [startup+450.021 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 18189 Raw data (stat): 18189 (bsolo_lpr-v2) R 18188 7266 7265 0 -1 0 99354 0 0 0 44656 344 0 0 25 0 1 0 900800737 27889664 6110 4294967295 134512640 134716908 3221224576 3221222912 1074153822 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6809 6110 1111 63 0 6746 0 vsize: 27236 [startup+460.022 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 18189 Raw data (stat): 18189 (bsolo_lpr-v2) R 18188 7266 7265 0 -1 0 103280 0 0 0 45644 356 0 0 25 0 1 0 900800737 28073984 6125 4294967295 134512640 134716908 3221224576 3221222400 1075823363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6854 6125 1111 63 0 6791 0 vsize: 27416 [startup+470.023 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 18189 Raw data (stat): 18189 (bsolo_lpr-v2) R 18188 7266 7265 0 -1 0 106514 0 0 0 46633 367 0 0 25 0 1 0 900800737 28364800 6160 4294967295 134512640 134716908 3221224576 3221220800 1074960789 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6925 6160 1111 63 0 6862 0 vsize: 27700 [startup+480.023 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 18189 Raw data (stat): 18189 (bsolo_lpr-v2) R 18188 7266 7265 0 -1 0 109522 0 0 0 47623 377 0 0 25 0 1 0 900800737 28061696 6139 4294967295 134512640 134716908 3221224576 3221222264 1074138166 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6851 6139 1111 63 0 6788 0 vsize: 27404 [startup+490.024 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 18189 Raw data (stat): 18189 (bsolo_lpr-v2) R 18188 7266 7265 0 -1 0 113649 0 0 0 48609 391 0 0 25 0 1 0 900800737 28119040 6154 4294967295 134512640 134716908 3221224576 3221222576 1074916543 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6865 6154 1111 63 0 6802 0 vsize: 27460 [startup+500.024 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 18189 Raw data (stat): 18189 (bsolo_lpr-v2) R 18188 7266 7265 0 -1 0 117975 0 0 0 49595 405 0 0 25 0 1 0 900800737 28127232 6165 4294967295 134512640 134716908 3221224576 3221221628 1074138970 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6867 6165 1111 63 0 6804 0 vsize: 27468 [startup+510.025 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 18189 Raw data (stat): 18189 (bsolo_lpr-v2) R 18188 7266 7265 0 -1 0 123040 0 0 0 50580 421 0 0 25 0 1 0 900800737 28381184 6179 4294967295 134512640 134716908 3221224576 3221222624 1074867212 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6929 6179 1111 63 0 6866 0 vsize: 27716 [startup+520.026 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 18189 Raw data (stat): 18189 (bsolo_lpr-v2) R 18188 7266 7265 0 -1 0 127675 0 0 0 51565 436 0 0 25 0 1 0 900800737 28282880 6204 4294967295 134512640 134716908 3221224576 3221222960 1074153736 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6905 6204 1111 63 0 6842 0 vsize: 27620 [startup+530.025 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 18189 Raw data (stat): 18189 (bsolo_lpr-v2) R 18188 7266 7265 0 -1 0 131699 0 0 0 52552 449 0 0 25 0 1 0 900800737 28364800 6213 4294967295 134512640 134716908 3221224576 3221222928 1074115298 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6925 6213 1111 63 0 6862 0 vsize: 27700 [startup+540.027 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 18189 Raw data (stat): 18189 (bsolo_lpr-v2) R 18188 7266 7265 0 -1 0 134175 0 0 0 53542 459 0 0 25 0 1 0 900800737 28254208 6194 4294967295 134512640 134716908 3221224576 3221222320 1075646862 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6898 6194 1111 63 0 6835 0 vsize: 27592 [startup+550.027 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 18189 Raw data (stat): 18189 (bsolo_lpr-v2) R 18188 7266 7265 0 -1 0 136158 0 0 0 54534 467 0 0 25 0 1 0 900800737 28278784 6200 4294967295 134512640 134716908 3221224576 3221222448 1074153770 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6904 6200 1111 63 0 6841 0 vsize: 27616 [startup+560.027 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 18189 Raw data (stat): 18189 (bsolo_lpr-v2) R 18188 7266 7265 0 -1 0 138198 0 0 0 55525 476 0 0 25 0 1 0 900800737 28610560 6217 4294967295 134512640 134716908 3221224576 3221220540 1074860626 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6985 6217 1111 63 0 6922 0 vsize: 27940 [startup+570.028 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 18189 Raw data (stat): 18189 (bsolo_lpr-v2) R 18188 7266 7265 0 -1 0 140579 0 0 0 56515 486 0 0 25 0 1 0 900800737 28229632 6193 4294967295 134512640 134716908 3221224576 3221222280 1077410279 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6892 6193 1111 63 0 6829 0 vsize: 27568 [startup+580.028 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 18189 Raw data (stat): 18189 (bsolo_lpr-v2) R 18188 7266 7265 0 -1 0 142748 0 0 0 57506 495 0 0 25 0 1 0 900800737 28254208 6194 4294967295 134512640 134716908 3221224576 3221222488 1074138306 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6898 6194 1111 63 0 6835 0 vsize: 27592 [startup+590.029 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 18189 Raw data (stat): 18189 (bsolo_lpr-v2) R 18188 7266 7265 0 -1 0 144868 0 0 0 58498 503 0 0 25 0 1 0 900800737 28401664 6200 4294967295 134512640 134716908 3221224576 3221222336 1075824332 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6934 6200 1111 63 0 6871 0 vsize: 27736 [startup+600.029 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 18189 Raw data (stat): 18189 (bsolo_lpr-v2) R 18188 7266 7265 0 -1 0 146997 0 0 0 59490 510 0 0 25 0 1 0 900800737 28254208 6194 4294967295 134512640 134716908 3221224576 3221221696 1074865100 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6898 6194 1111 63 0 6835 0 vsize: 27592 [startup+610.03 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 18189 Raw data (stat): 18189 (bsolo_lpr-v2) R 18188 7266 7265 0 -1 0 149087 0 0 0 60484 517 0 0 25 0 1 0 900800737 28229632 6193 4294967295 134512640 134716908 3221224576 3221222912 1074153822 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6892 6193 1111 63 0 6829 0 vsize: 27568 [startup+620.031 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 18189 Raw data (stat): 18189 (bsolo_lpr-v2) R 18188 7266 7265 0 -1 0 151099 0 0 0 61475 526 0 0 25 0 1 0 900800737 28254208 6195 4294967295 134512640 134716908 3221224576 3221222320 1075646757 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6898 6195 1111 63 0 6835 0 vsize: 27592 [startup+630.031 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 18189 Raw data (stat): 18189 (bsolo_lpr-v2) R 18188 7266 7265 0 -1 0 153530 0 0 0 62465 536 0 0 25 0 1 0 900800737 28590080 6212 4294967295 134512640 134716908 3221224576 3221220684 1074788950 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6980 6212 1111 63 0 6917 0 vsize: 27920 [startup+640.032 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 18189 Raw data (stat): 18189 (bsolo_lpr-v2) R 18188 7266 7265 0 -1 0 155588 0 0 0 63459 542 0 0 25 0 1 0 900800737 28590080 6212 4294967295 134512640 134716908 3221224576 3221220784 1074815427 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6980 6212 1111 63 0 6917 0 vsize: 27920 [startup+650.032 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 18189 Raw data (stat): 18189 (bsolo_lpr-v2) R 18188 7266 7265 0 -1 0 157625 0 0 0 64452 548 0 0 25 0 1 0 900800737 28229632 6193 4294967295 134512640 134716908 3221224576 3221221856 1074140010 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6892 6193 1111 63 0 6829 0 vsize: 27568 [startup+660.034 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 18189 Raw data (stat): 18189 (bsolo_lpr-v2) R 18188 7266 7265 0 -1 0 159720 0 0 0 65443 558 0 0 25 0 1 0 900800737 28254208 6196 4294967295 134512640 134716908 3221224576 3221221680 1074138630 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6898 6196 1111 63 0 6835 0 vsize: 27592 [startup+670.034 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 18189 Raw data (stat): 18189 (bsolo_lpr-v2) R 18188 7266 7265 0 -1 0 161911 0 0 0 66436 565 0 0 25 0 1 0 900800737 28229632 6193 4294967295 134512640 134716908 3221224576 3221222456 1074138150 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6892 6193 1111 63 0 6829 0 vsize: 27568 [startup+680.033 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 18189 Raw data (stat): 18189 (bsolo_lpr-v2) R 18188 7266 7265 0 -1 0 164302 0 0 0 67426 574 0 0 25 0 1 0 900800737 28254208 6194 4294967295 134512640 134716908 3221224576 3221222616 1074138150 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6898 6194 1111 63 0 6835 0 vsize: 27592 [startup+690.034 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 18189 Raw data (stat): 18189 (bsolo_lpr-v2) R 18188 7266 7265 0 -1 0 166612 0 0 0 68416 584 0 0 25 0 1 0 900800737 28254208 6197 4294967295 134512640 134716908 3221224576 3221222976 1074118815 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6898 6197 1111 63 0 6835 0 vsize: 27592 [startup+700.035 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 18189 Raw data (stat): 18189 (bsolo_lpr-v2) R 18188 7266 7265 0 -1 0 168829 0 0 0 69406 595 0 0 25 0 1 0 900800737 28561408 6213 4294967295 134512640 134716908 3221224576 3221220672 1074790073 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6973 6213 1111 63 0 6910 0 vsize: 27892 [startup+710.035 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 18189 Raw data (stat): 18189 (bsolo_lpr-v2) R 18188 7266 7265 0 -1 0 170918 0 0 0 70399 602 0 0 25 0 1 0 900800737 28254208 6199 4294967295 134512640 134716908 3221224576 3221222832 1074153749 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6898 6199 1111 63 0 6835 0 vsize: 27592 [startup+720.037 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 18189 Raw data (stat): 18189 (bsolo_lpr-v2) R 18188 7266 7265 0 -1 0 173170 0 0 0 71390 610 0 0 25 0 1 0 900800737 28282880 6198 4294967295 134512640 134716908 3221224576 3221221680 1074138626 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6905 6198 1111 63 0 6842 0 vsize: 27620 [startup+730.037 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 18189 Raw data (stat): 18189 (bsolo_lpr-v2) R 18188 7266 7265 0 -1 0 175425 0 0 0 72380 620 0 0 25 0 1 0 900800737 28254208 6194 4294967295 134512640 134716908 3221224576 3221222496 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6898 6194 1111 63 0 6835 0 vsize: 27592 [startup+740.038 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 18189 Raw data (stat): 18189 (bsolo_lpr-v2) R 18188 7266 7265 0 -1 0 177575 0 0 0 73373 628 0 0 25 0 1 0 900800737 28229632 6193 4294967295 134512640 134716908 3221224576 3221222304 1075828432 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6892 6193 1111 63 0 6829 0 vsize: 27568 [startup+750.038 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 18189 Raw data (stat): 18189 (bsolo_lpr-v2) R 18188 7266 7265 0 -1 0 179611 0 0 0 74365 636 0 0 25 0 1 0 900800737 28229632 6193 4294967295 134512640 134716908 3221224576 3221222688 1074153770 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6892 6193 1111 63 0 6829 0 vsize: 27568 [startup+760.04 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 18189 Raw data (stat): 18189 (bsolo_lpr-v2) R 18188 7266 7265 0 -1 0 181654 0 0 0 75357 644 0 0 25 0 1 0 900800737 28254208 6194 4294967295 134512640 134716908 3221224576 3221222576 1074918577 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6898 6194 1111 63 0 6835 0 vsize: 27592 [startup+770.04 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 18189 Raw data (stat): 18189 (bsolo_lpr-v2) R 18188 7266 7265 0 -1 0 183776 0 0 0 76349 652 0 0 25 0 1 0 900800737 28483584 6196 4294967295 134512640 134716908 3221224576 3221221108 1075863635 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6954 6196 1111 63 0 6891 0 vsize: 27816 [startup+780.04 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 18189 Raw data (stat): 18189 (bsolo_lpr-v2) R 18188 7266 7265 0 -1 0 185920 0 0 0 77340 661 0 0 25 0 1 0 900800737 28254208 6197 4294967295 134512640 134716908 3221224576 3221222592 134652872 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6898 6197 1111 63 0 6835 0 vsize: 27592 [startup+790.042 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 18189 Raw data (stat): 18189 (bsolo_lpr-v2) R 18188 7266 7265 0 -1 0 188302 0 0 0 78332 669 0 0 25 0 1 0 900800737 28532736 6214 4294967295 134512640 134716908 3221224576 3221221640 1077410205 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6966 6214 1111 63 0 6903 0 vsize: 27864 [startup+800.041 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 18189 Raw data (stat): 18189 (bsolo_lpr-v2) R 18188 7266 7265 0 -1 0 191616 0 0 0 79323 679 0 0 25 0 1 0 900800737 28233728 6194 4294967295 134512640 134716908 3221224576 3221222720 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6893 6194 1111 63 0 6830 0 vsize: 27572 [startup+810.042 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 18189 Raw data (stat): 18189 (bsolo_lpr-v2) R 18188 7266 7265 0 -1 0 194512 0 0 0 80312 689 0 0 25 0 1 0 900800737 28233728 6194 4294967295 134512640 134716908 3221224576 3221222432 1074153660 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6893 6194 1111 63 0 6830 0 vsize: 27572 [startup+820.043 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 18189 Raw data (stat): 18189 (bsolo_lpr-v2) R 18188 7266 7265 0 -1 0 197125 0 0 0 81303 698 0 0 25 0 1 0 900800737 28258304 6195 4294967295 134512640 134716908 3221224576 3221223040 1074039443 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6899 6195 1111 63 0 6836 0 vsize: 27596 [startup+830.042 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 18189 Raw data (stat): 18189 (bsolo_lpr-v2) R 18188 7266 7265 0 -1 0 199419 0 0 0 82294 707 0 0 25 0 1 0 900800737 28258304 6197 4294967295 134512640 134716908 3221224576 3221222976 1074118827 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6899 6197 1111 63 0 6836 0 vsize: 27596 [startup+840.043 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 18189 Raw data (stat): 18189 (bsolo_lpr-v2) R 18188 7266 7265 0 -1 0 202025 0 0 0 83285 716 0 0 25 0 1 0 900800737 28258304 6200 4294967295 134512640 134716908 3221224576 3221222800 1074153749 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6899 6200 1111 63 0 6836 0 vsize: 27596 [startup+850.043 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 18189 Raw data (stat): 18189 (bsolo_lpr-v2) R 18188 7266 7265 0 -1 0 204985 0 0 0 84274 728 0 0 25 0 1 0 900800737 28274688 6199 4294967295 134512640 134716908 3221224576 3221222928 1074115298 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6903 6199 1111 63 0 6840 0 vsize: 27612 [startup+860.043 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 18189 Raw data (stat): 18189 (bsolo_lpr-v2) R 18188 7266 7265 0 -1 0 207957 0 0 0 85264 738 0 0 25 0 1 0 900800737 28274688 6204 4294967295 134512640 134716908 3221224576 3221222880 1074153800 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6903 6204 1111 63 0 6840 0 vsize: 27612 [startup+870.044 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 18189 Raw data (stat): 18189 (bsolo_lpr-v2) R 18188 7266 7265 0 -1 0 211569 0 0 0 86252 751 0 0 25 0 1 0 900800737 28643328 6225 4294967295 134512640 134716908 3221224576 3221221696 1074836214 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6993 6225 1111 63 0 6930 0 vsize: 27972 [startup+880.043 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 18189 Raw data (stat): 18189 (bsolo_lpr-v2) R 18188 7266 7265 0 -1 0 214763 0 0 0 87243 759 0 0 25 0 1 0 900800737 28254208 6194 4294967295 134512640 134716908 3221224576 3221222832 1074153749 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6898 6194 1111 63 0 6835 0 vsize: 27592 [startup+890.044 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 18189 Raw data (stat): 18189 (bsolo_lpr-v2) R 18188 7266 7265 0 -1 0 217588 0 0 0 88235 768 0 0 25 0 1 0 900800737 28229632 6193 4294967295 134512640 134716908 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6892 6193 1111 63 0 6829 0 vsize: 27568 [startup+900.044 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 18189 Raw data (stat): 18189 (bsolo_lpr-v2) R 18188 7266 7265 0 -1 0 220475 0 0 0 89225 778 0 0 25 0 1 0 900800737 28229632 6193 4294967295 134512640 134716908 3221224576 3221222592 1074153812 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6892 6193 1111 63 0 6829 0 vsize: 27568 [startup+910.044 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 18189 Raw data (stat): 18189 (bsolo_lpr-v2) R 18188 7266 7265 0 -1 0 223568 0 0 0 90215 789 0 0 25 0 1 0 900800737 28266496 6202 4294967295 134512640 134716908 3221224576 3221222528 1074140701 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6901 6202 1111 63 0 6838 0 vsize: 27604 [startup+920.044 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 18189 Raw data (stat): 18189 (bsolo_lpr-v2) R 18188 7266 7265 0 -1 0 226649 0 0 0 91206 797 0 0 25 0 1 0 900800737 28229632 6193 4294967295 134512640 134716908 3221224576 3221222448 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6892 6193 1111 63 0 6829 0 vsize: 27568 [startup+930.044 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 18189 Raw data (stat): 18189 (bsolo_lpr-v2) R 18188 7266 7265 0 -1 0 229745 0 0 0 92197 806 0 0 25 0 1 0 900800737 28401664 6194 4294967295 134512640 134716908 3221224576 3221222304 1075828621 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6934 6194 1111 63 0 6871 0 vsize: 27736 [startup+940.045 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 18189 Raw data (stat): 18189 (bsolo_lpr-v2) R 18188 7266 7265 0 -1 0 233041 0 0 0 93187 817 0 0 25 0 1 0 900800737 28258304 6199 4294967295 134512640 134716908 3221224576 3221221856 1074140048 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6899 6199 1111 63 0 6836 0 vsize: 27596 [startup+950.044 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 18189 Raw data (stat): 18189 (bsolo_lpr-v2) R 18188 7266 7265 0 -1 0 236249 0 0 0 94178 826 0 0 25 0 1 0 900800737 28299264 6200 4294967295 134512640 134716908 3221224576 3221222744 1074138162 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6909 6200 1111 63 0 6846 0 vsize: 27636 [startup+960.046 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 18189 Raw data (stat): 18189 (bsolo_lpr-v2) R 18188 7266 7265 0 -1 0 239476 0 0 0 95169 835 0 0 25 0 1 0 900800737 28381184 6230 4294967295 134512640 134716908 3221224576 3221223192 134543176 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6929 6230 1111 63 0 6866 0 vsize: 27716 [startup+970.046 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 18189 Raw data (stat): 18189 (bsolo_lpr-v2) R 18188 7266 7265 0 -1 0 242214 0 0 0 96162 843 0 0 25 0 1 0 900800737 28381184 6230 4294967295 134512640 134716908 3221224576 3221222576 1074056255 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6929 6230 1111 63 0 6866 0 vsize: 27716 [startup+980.045 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 18189 Raw data (stat): 18189 (bsolo_lpr-v2) R 18188 7266 7265 0 -1 0 245610 0 0 0 97151 854 0 0 25 0 1 0 900800737 28639232 6237 4294967295 134512640 134716908 3221224576 3221222160 1075817667 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6992 6237 1111 63 0 6929 0 vsize: 27968 [startup+990.045 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 18189 Raw data (stat): 18189 (bsolo_lpr-v2) R 18188 7266 7265 0 -1 0 250217 0 0 0 98136 869 0 0 25 0 1 0 900800737 28524544 6248 4294967295 134512640 134716908 3221224576 3221222336 1075824332 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6964 6248 1111 63 0 6901 0 vsize: 27856 [startup+1000.05 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 18189 Raw data (stat): 18189 (bsolo_lpr-v2) R 18188 7266 7265 0 -1 0 254763 0 0 0 99121 884 0 0 25 0 1 0 900800737 28401664 6235 4294967295 134512640 134716908 3221224576 3221222720 1074153669 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6934 6235 1111 63 0 6871 0 vsize: 27736 [startup+1010.05 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 18189 Raw data (stat): 18189 (bsolo_lpr-v2) R 18188 7266 7265 0 -1 0 258634 0 0 0 100110 895 0 0 25 0 1 0 900800737 28438528 6244 4294967295 134512640 134716908 3221224576 3221222960 1074153822 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6943 6244 1111 63 0 6880 0 vsize: 27772 [startup+1020.05 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 18189 Raw data (stat): 18189 (bsolo_lpr-v2) R 18188 7266 7265 0 -1 0 262804 0 0 0 101097 908 0 0 25 0 1 0 900800737 28389376 6232 4294967295 134512640 134716908 3221224576 3221222928 1074153749 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6931 6232 1111 63 0 6868 0 vsize: 27724 [startup+1030.05 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 18189 Raw data (stat): 18189 (bsolo_lpr-v2) R 18188 7266 7265 0 -1 0 266732 0 0 0 102087 919 0 0 25 0 1 0 900800737 28717056 6256 4294967295 134512640 134716908 3221224576 3221221560 1077410205 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7011 6256 1111 63 0 6948 0 vsize: 28044 [startup+1040.05 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 18189 Raw data (stat): 18189 (bsolo_lpr-v2) R 18188 7266 7265 0 -1 0 271108 0 0 0 103073 933 0 0 25 0 1 0 900800737 28442624 6245 4294967295 134512640 134716908 3221224576 3221221856 1074140374 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6944 6245 1111 63 0 6881 0 vsize: 27776 [startup+1050.05 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 18189 Raw data (stat): 18189 (bsolo_lpr-v2) R 18188 7266 7265 0 -1 0 275339 0 0 0 104061 945 0 0 25 0 1 0 900800737 28504064 6260 4294967295 134512640 134716908 3221224576 3221222896 1073986677 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6959 6260 1111 63 0 6896 0 vsize: 27836 [startup+1060.05 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 18189 Raw data (stat): 18189 (bsolo_lpr-v2) R 18188 7266 7265 0 -1 0 279136 0 0 0 105050 956 0 0 25 0 1 0 900800737 28450816 6239 4294967295 134512640 134716908 3221224576 3221222520 1074138150 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6946 6239 1111 63 0 6883 0 vsize: 27784 [startup+1070.05 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 18189 Raw data (stat): 18189 (bsolo_lpr-v2) R 18188 7266 7265 0 -1 0 282144 0 0 0 106040 966 0 0 25 0 1 0 900800737 28389376 6232 4294967295 134512640 134716908 3221224576 3221222928 1074153770 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6931 6232 1111 63 0 6868 0 vsize: 27724 [startup+1080.05 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 18189 Raw data (stat): 18189 (bsolo_lpr-v2) R 18188 7266 7265 0 -1 0 284937 0 0 0 107030 977 0 0 25 0 1 0 900800737 28426240 6241 4294967295 134512640 134716908 3221224576 3221222560 1074153648 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6940 6241 1111 63 0 6877 0 vsize: 27760 [startup+1090.05 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 18189 Raw data (stat): 18189 (bsolo_lpr-v2) R 18188 7266 7265 0 -1 0 287660 0 0 0 108022 985 0 0 25 0 1 0 900800737 28450816 6242 4294967295 134512640 134716908 3221224576 3221222608 1074153673 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6946 6242 1111 63 0 6883 0 vsize: 27784 [startup+1100.05 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 18189 Raw data (stat): 18189 (bsolo_lpr-v2) R 18188 7266 7265 0 -1 0 290773 0 0 0 109013 994 0 0 25 0 1 0 900800737 28872704 6271 4294967295 134512640 134716908 3221224576 3221220736 1075095166 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7049 6275 1111 63 0 6986 0 vsize: 28196 [startup+1110.05 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 18189 Raw data (stat): 18189 (bsolo_lpr-v2) R 18188 7266 7265 0 -1 0 294311 0 0 0 110001 1006 0 0 25 0 1 0 900800737 28463104 6246 4294967295 134512640 134716908 3221224576 3221221808 1074140041 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6949 6250 1111 63 0 6886 0 vsize: 27796 [startup+1120.05 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 18189 Raw data (stat): 18189 (bsolo_lpr-v2) R 18188 7266 7265 0 -1 0 297108 0 0 0 110992 1015 0 0 25 0 1 0 900800737 28426240 6241 4294967295 134512640 134716908 3221224576 3221222480 1074153823 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6940 6241 1111 63 0 6877 0 vsize: 27760 [startup+1130.05 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 18189 Raw data (stat): 18189 (bsolo_lpr-v2) R 18188 7266 7265 0 -1 0 299821 0 0 0 111980 1027 0 0 25 0 1 0 900800737 28438528 6244 4294967295 134512640 134716908 3221224576 3221222928 1074153812 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6943 6244 1111 63 0 6880 0 vsize: 27772 [startup+1140.05 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 18189 Raw data (stat): 18189 (bsolo_lpr-v2) R 18188 7266 7265 0 -1 0 302883 0 0 0 112970 1038 0 0 25 0 1 0 900800737 28426240 6241 4294967295 134512640 134716908 3221224576 3221222928 1074153773 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6940 6241 1111 63 0 6877 0 vsize: 27760 [startup+1150.05 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 18189 Raw data (stat): 18189 (bsolo_lpr-v2) R 18188 7266 7265 0 -1 0 306171 0 0 0 113960 1047 0 0 25 0 1 0 900800737 28811264 6264 4294967295 134512640 134716908 3221224576 3221220736 1075093367 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7034 6265 1111 63 0 6971 0 vsize: 28136 [startup+1160.05 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 18189 Raw data (stat): 18189 (bsolo_lpr-v2) R 18188 7266 7265 0 -1 0 310048 0 0 0 114949 1059 0 0 25 0 1 0 900800737 28602368 6284 4294967295 134512640 134716908 3221224576 3221222456 1077410279 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6983 6284 1111 63 0 6920 0 vsize: 27932 [startup+1170.05 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 18189 Raw data (stat): 18189 (bsolo_lpr-v2) R 18188 7266 7265 0 -1 0 313271 0 0 0 115939 1068 0 0 25 0 1 0 900800737 28401664 6235 4294967295 134512640 134716908 3221224576 3221222960 1074153675 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6934 6235 1111 63 0 6871 0 vsize: 27736 [startup+1175.52 s] Raw data (loadavg): 1.00 1.00 0.94 1/53 18189 Raw data (stat): 18189 (bsolo_lpr-v2) R 18188 7266 7265 0 -1 0 313271 0 0 0 115939 1068 0 0 25 0 1 0 900800737 28401664 6235 4294967295 134512640 134716908 3221224576 3221222960 1074153675 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6934 6235 1111 63 0 6871 0 vsize: 0 Child status: 0 Real time (s): 1175.52 CPU time (s): 1175.56 CPU user time (s): 1164.8 CPU system time (s): 10.7634 CPU usage (%): 100.003 Max. virtual memory (Kb): 28196 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####