Name | normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-tr12-30.opb |
MD5SUM | 2d8f46b77d84c45a7178d4a463744176 |
Bench Category | optimization, medium integers (OPTMEDINT) |
Has Objective Function | YES |
Satisfiable | NO |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of terms in the objective function | 7560 |
Biggest coefficient in the objective function | 2097152 |
Number of bits for the biggest coefficient in the objective function | 22 |
Sum of the numbers in the objective function | 876993750 |
Number of bits of the sum of numbers in the objective function | 30 |
Biggest number in a constraint | 2097152 |
Number of bits of the biggest number in a constraint | 22 |
Biggest sum of numbers in a constraint | 876993750 |
Number of bits of the biggest sum of numbers | 30 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 0.128979 |
Number of variables | 14760 |
Total number of constraints | 1110 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 360 |
Number of constraints which are nor clauses,nor cardinality constraints | 750 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 252 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc31 THE 2005-05-24 19:54:02 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=18099 boxname=wulflinc31 idbench=1393 idsolver=3 numberseed=0 MD5SUM SOLVER: 03a6a792daea978e4202f78851741568 /oldhome/oroussel/solvers/bsolo_mis MD5SUM BENCH: 2d8f46b77d84c45a7178d4a463744176 /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-tr12-30.opb REAL COMMAND: bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-tr12-30.opb IDLAUNCH: 18099 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.153 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.153 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 : 901.12 /proc/meminfo: MemTotal: 1034660 kB MemFree: 878972 kB Buffers: 17748 kB Cached: 116676 kB SwapCached: 1236 kB Active: 8980 kB Inactive: 127888 kB HighTotal: 131008 kB HighFree: 77812 kB LowTotal: 903652 kB LowFree: 801160 kB SwapTotal: 2097892 kB SwapFree: 2096052 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5432 kB Slab: 13040 kB Committed_AS: 63808 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-24 20:13:38 (client local time) WITH STATUS 0 IN 1175.2 SECONDS stats: 18099 7 1175.2 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c Initial problem consists of 14760 variables and 1110 constraints. c After prepocess the problem consists of 13992 variables and 1110 constraints. c preprocess terminated 10.163 s c Initial Lower Bound: 537600 c Lower Bound Elapsed time: 0 c Use computed LB before first solution. s UNKNOWN c Exit Code: 0 c Total time: 1175.01 s #### END SOLVER DATA #### #### BEGIN WATCHER DATA #### Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds Enforcing VSIZE limit: 943718400 bytes Raw data (loadavg): 0.91 0.95 0.90 2/55 1844 Raw data (stat): 1844 (runsolver) R 1843 29618 29617 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 832893725 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0 Raw data (statm): 257 99 215 215 0 42 0 vsize: 1028 [startup+10.0009 s] Raw data (loadavg): 0.93 0.95 0.90 2/55 1844 Raw data (stat): 1844 (bsolo_mis) R 1843 29618 29617 0 -1 0 15717 0 0 0 958 40 0 0 25 0 1 0 832893725 68046848 15620 4294967295 134512640 134714540 3221224592 3221223464 134558767 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 16613 15620 1111 63 0 16550 0 vsize: 66452 [startup+20.0017 s] Raw data (loadavg): 0.94 0.96 0.91 2/55 1844 Raw data (stat): 1844 (bsolo_mis) R 1843 29618 29617 0 -1 0 15818 0 0 0 1957 41 0 0 25 0 1 0 832893725 68644864 15721 4294967295 134512640 134714540 3221224592 3221223376 134624467 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 16759 15721 1111 63 0 16696 0 vsize: 67036 [startup+30.0026 s] Raw data (loadavg): 0.95 0.96 0.91 2/55 1844 Raw data (stat): 1844 (bsolo_mis) R 1843 29618 29617 0 -1 0 15818 0 0 0 2957 42 0 0 25 0 1 0 832893725 68644864 15721 4294967295 134512640 134714540 3221224592 3221223332 134556729 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 16759 15721 1111 63 0 16696 0 vsize: 67036 [startup+40.0025 s] Raw data (loadavg): 0.95 0.96 0.91 2/55 1844 Raw data (stat): 1844 (bsolo_mis) R 1843 29618 29617 0 -1 0 15820 0 0 0 3956 42 0 0 25 0 1 0 832893725 68644864 15723 4294967295 134512640 134714540 3221224592 3221223336 134536879 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 16759 15723 1111 63 0 16696 0 vsize: 67036 [startup+50.0031 s] Raw data (loadavg): 0.96 0.96 0.91 2/55 1846 Raw data (stat): 1844 (bsolo_mis) R 1843 29618 29617 0 -1 0 15820 0 0 0 4955 43 0 0 25 0 1 0 832893725 68644864 15723 4294967295 134512640 134714540 3221224592 3221223336 134536866 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 16759 15723 1111 63 0 16696 0 vsize: 67036 [startup+60.0034 s] Raw data (loadavg): 0.97 0.96 0.91 2/55 1846 Raw data (stat): 1844 (bsolo_mis) R 1843 29618 29617 0 -1 0 15820 0 0 0 5955 44 0 0 25 0 1 0 832893725 68644864 15723 4294967295 134512640 134714540 3221224592 3221223440 134623464 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 16759 15723 1111 63 0 16696 0 vsize: 67036 [startup+70.0043 s] Raw data (loadavg): 0.97 0.96 0.91 2/55 1846 Raw data (stat): 1844 (bsolo_mis) R 1843 29618 29617 0 -1 0 15822 0 0 0 6954 44 0 0 25 0 1 0 832893725 68644864 15725 4294967295 134512640 134714540 3221224592 3221223312 134556843 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 16759 15725 1111 63 0 16696 0 vsize: 67036 [startup+80.0053 s] Raw data (loadavg): 0.98 0.96 0.91 2/55 1846 Raw data (stat): 1844 (bsolo_mis) R 1843 29618 29617 0 -1 0 15822 0 0 0 7954 45 0 0 25 0 1 0 832893725 68644864 15725 4294967295 134512640 134714540 3221224592 3221223440 134623453 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 16759 15725 1111 63 0 16696 0 vsize: 67036 [startup+90.0052 s] Raw data (loadavg): 0.98 0.96 0.91 2/55 1846 Raw data (stat): 1844 (bsolo_mis) R 1843 29618 29617 0 -1 0 15824 0 0 0 8953 45 0 0 25 0 1 0 832893725 68644864 15727 4294967295 134512640 134714540 3221224592 3221223440 134623453 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 16759 15727 1111 63 0 16696 0 vsize: 67036 [startup+100.006 s] Raw data (loadavg): 0.98 0.96 0.91 2/55 1846 Raw data (stat): 1844 (bsolo_mis) R 1843 29618 29617 0 -1 0 15824 0 0 0 9953 46 0 0 25 0 1 0 832893725 68644864 15727 4294967295 134512640 134714540 3221224592 3221223440 134623453 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 16759 15727 1111 63 0 16696 0 vsize: 67036 [startup+110.012 s] Raw data (loadavg): 0.98 0.96 0.91 2/55 1848 Raw data (stat): 1844 (bsolo_mis) R 1843 29618 29617 0 -1 0 15826 0 0 0 10953 47 0 0 25 0 1 0 832893725 68644864 15729 4294967295 134512640 134714540 3221224592 3221223440 134623453 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 16759 15729 1111 63 0 16696 0 vsize: 67036 [startup+120.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1848 Raw data (stat): 1844 (bsolo_mis) R 1843 29618 29617 0 -1 0 15826 0 0 0 11952 47 0 0 25 0 1 0 832893725 68644864 15729 4294967295 134512640 134714540 3221224592 3221223264 134553180 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 16759 15729 1111 63 0 16696 0 vsize: 67036 [startup+130.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1848 Raw data (stat): 1844 (bsolo_mis) R 1843 29618 29617 0 -1 0 15828 0 0 0 12952 47 0 0 25 0 1 0 832893725 68644864 15731 4294967295 134512640 134714540 3221224592 3221223268 134553176 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 16759 15731 1111 63 0 16696 0 vsize: 67036 [startup+140.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1848 Raw data (stat): 1844 (bsolo_mis) R 1843 29618 29617 0 -1 0 15830 0 0 0 13952 48 0 0 25 0 1 0 832893725 68644864 15733 4294967295 134512640 134714540 3221224592 3221223440 134623453 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 16759 15733 1111 63 0 16696 0 vsize: 67036 [startup+150.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1848 Raw data (stat): 1844 (bsolo_mis) R 1843 29618 29617 0 -1 0 15830 0 0 0 14952 48 0 0 25 0 1 0 832893725 68644864 15733 4294967295 134512640 134714540 3221224592 3221223440 134623453 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 16759 15733 1111 63 0 16696 0 vsize: 67036 [startup+160.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1848 Raw data (stat): 1844 (bsolo_mis) R 1843 29618 29617 0 -1 0 15832 0 0 0 15951 49 0 0 25 0 1 0 832893725 68644864 15735 4294967295 134512640 134714540 3221224592 3221223440 134623453 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 16759 15735 1111 63 0 16696 0 vsize: 67036 [startup+170.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1850 Raw data (stat): 1844 (bsolo_mis) R 1843 29618 29617 0 -1 0 15834 0 0 0 16950 50 0 0 25 0 1 0 832893725 68644864 15737 4294967295 134512640 134714540 3221224592 3221223336 134536877 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 16759 15737 1111 63 0 16696 0 vsize: 67036 [startup+180.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1850 Raw data (stat): 1844 (bsolo_mis) R 1843 29618 29617 0 -1 0 15840 0 0 0 17950 50 0 0 25 0 1 0 832893725 68644864 15743 4294967295 134512640 134714540 3221224592 3221223356 134556376 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 16759 15743 1111 63 0 16696 0 vsize: 67036 [startup+190.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1850 Raw data (stat): 1844 (bsolo_mis) R 1843 29618 29617 0 -1 0 15872 0 0 0 18949 51 0 0 25 0 1 0 832893725 68694016 15775 4294967295 134512640 134714540 3221224592 3221223336 134536866 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 16771 15775 1111 63 0 16708 0 vsize: 67084 [startup+200.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1850 Raw data (stat): 1844 (bsolo_mis) R 1843 29618 29617 0 -1 0 16009 0 0 0 19948 52 0 0 25 0 1 0 832893725 69234688 15912 4294967295 134512640 134714540 3221224592 3221223288 134558621 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 16903 15912 1111 63 0 16840 0 vsize: 67612 [startup+210.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1850 Raw data (stat): 1844 (bsolo_mis) R 1843 29618 29617 0 -1 0 16028 0 0 0 20948 53 0 0 25 0 1 0 832893725 69369856 15931 4294967295 134512640 134714540 3221224592 3221223336 134536866 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 16936 15931 1111 63 0 16873 0 vsize: 67744 [startup+220.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1850 Raw data (stat): 1844 (bsolo_mis) R 1843 29618 29617 0 -1 0 16126 0 0 0 21948 53 0 0 25 0 1 0 832893725 69775360 16029 4294967295 134512640 134714540 3221224592 3221223440 134623464 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 17035 16029 1111 63 0 16972 0 vsize: 68140 [startup+230.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1852 Raw data (stat): 1844 (bsolo_mis) R 1843 29618 29617 0 -1 0 16194 0 0 0 22948 54 0 0 25 0 1 0 832893725 70045696 16097 4294967295 134512640 134714540 3221224592 3221223336 134536866 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 17101 16097 1111 63 0 17038 0 vsize: 68404 [startup+240.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1852 Raw data (stat): 1844 (bsolo_mis) R 1843 29618 29617 0 -1 0 16240 0 0 0 23947 55 0 0 25 0 1 0 832893725 70180864 16143 4294967295 134512640 134714540 3221224592 3221223336 134536879 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 17134 16143 1111 63 0 17071 0 vsize: 68536 [startup+250.031 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1852 Raw data (stat): 1844 (bsolo_mis) R 1843 29618 29617 0 -1 0 16359 0 0 0 24946 57 0 0 25 0 1 0 832893725 70705152 16262 4294967295 134512640 134714540 3221224592 3221223308 134553168 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 17262 16262 1111 63 0 17199 0 vsize: 69048 [startup+260.032 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1852 Raw data (stat): 1844 (bsolo_mis) R 1843 29618 29617 0 -1 0 16455 0 0 0 25945 57 0 0 25 0 1 0 832893725 71110656 16358 4294967295 134512640 134714540 3221224592 3221223336 134536879 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 17361 16358 1111 63 0 17298 0 vsize: 69444 [startup+270.032 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1852 Raw data (stat): 1844 (bsolo_mis) R 1843 29618 29617 0 -1 0 16810 0 0 0 26944 59 0 0 25 0 1 0 832893725 72597504 16713 4294967295 134512640 134714540 3221224592 3221223336 134536879 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 17724 16713 1111 63 0 17661 0 vsize: 70896 [startup+280.033 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1852 Raw data (stat): 1844 (bsolo_mis) R 1843 29618 29617 0 -1 0 17734 0 0 0 27941 62 0 0 25 0 1 0 832893725 76382208 17637 4294967295 134512640 134714540 3221224592 3221223344 134624806 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18648 17637 1111 63 0 18585 0 vsize: 74592 [startup+290.032 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1854 Raw data (stat): 1844 (bsolo_mis) R 1843 29618 29617 0 -1 0 18680 0 0 0 28938 65 0 0 25 0 1 0 832893725 80314368 18583 4294967295 134512640 134714540 3221224592 3221223316 134556893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 19608 18583 1111 63 0 19545 0 vsize: 78432 [startup+300.034 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1854 Raw data (stat): 1844 (bsolo_mis) R 1843 29618 29617 0 -1 0 19629 0 0 0 29936 67 0 0 25 0 1 0 832893725 84467712 19524 4294967295 134512640 134714540 3221224592 3221223336 134536866 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20622 19524 1111 63 0 20559 0 vsize: 82488 [startup+310.033 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1854 Raw data (stat): 1844 (bsolo_mis) R 1843 29618 29617 0 -1 0 20499 0 0 0 30934 69 0 0 25 0 1 0 832893725 87998464 20394 4294967295 134512640 134714540 3221224592 3221223440 134623464 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21484 20394 1111 63 0 21421 0 vsize: 85936 [startup+320.034 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1854 Raw data (stat): 1844 (bsolo_mis) R 1843 29618 29617 0 -1 0 21348 0 0 0 31932 72 0 0 25 0 1 0 832893725 91377664 21243 4294967295 134512640 134714540 3221224592 3221223440 134623453 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 22309 21243 1111 63 0 22246 0 vsize: 89236 [startup+330.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1854 Raw data (stat): 1844 (bsolo_mis) R 1843 29618 29617 0 -1 0 22299 0 0 0 32930 74 0 0 25 0 1 0 832893725 95424512 22176 4294967295 134512640 134714540 3221224592 3221223312 134556725 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 23297 22176 1111 63 0 23234 0 vsize: 93188 [startup+340.039 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1854 Raw data (stat): 1844 (bsolo_mis) R 1843 29618 29617 0 -1 0 23433 0 0 0 33928 76 0 0 25 0 1 0 832893725 100618240 23264 4294967295 134512640 134714540 3221224592 3221223376 134624498 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 24565 23264 1111 63 0 24502 0 vsize: 98260 [startup+350.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1856 Raw data (stat): 1844 (bsolo_mis) R 1843 29618 29617 0 -1 0 24312 0 0 0 34926 79 0 0 25 0 1 0 832893725 104136704 24141 4294967295 134512640 134714540 3221224592 3221223440 134623453 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 25424 24141 1111 63 0 25361 0 vsize: 101696 [startup+360.058 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1856 Raw data (stat): 1844 (bsolo_mis) R 1843 29618 29617 0 -1 0 25150 0 0 0 35925 81 0 0 25 0 1 0 832893725 107515904 24979 4294967295 134512640 134714540 3221224592 3221223328 134556861 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 26249 24979 1111 63 0 26186 0 vsize: 104996 [startup+370.058 s] Raw data (loadavg): 1.07 0.99 0.91 2/55 1909 Raw data (stat): 1844 (bsolo_mis) R 1843 29618 29617 0 -1 0 26054 0 0 0 36921 86 0 0 25 0 1 0 832893725 111030272 25880 4294967295 134512640 134714540 3221224592 3221223344 134624488 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 27107 25880 1111 63 0 27044 0 vsize: 108428 [startup+380.059 s] Raw data (loadavg): 1.06 0.99 0.91 2/55 1909 Raw data (stat): 1844 (bsolo_mis) R 1843 29618 29617 0 -1 0 26937 0 0 0 37919 87 0 0 25 0 1 0 832893725 114544640 26763 4294967295 134512640 134714540 3221224592 3221223440 134623462 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 27965 26763 1111 63 0 27902 0 vsize: 111860 [startup+390.059 s] Raw data (loadavg): 1.05 0.99 0.91 2/55 1909 Raw data (stat): 1844 (bsolo_mis) R 1843 29618 29617 0 -1 0 27816 0 0 0 38917 89 0 0 25 0 1 0 832893725 118059008 27640 4294967295 134512640 134714540 3221224592 3221223328 134556630 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 28823 27640 1111 63 0 28760 0 vsize: 115292 [startup+400.06 s] Raw data (loadavg): 1.04 0.99 0.91 2/55 1909 Raw data (stat): 1844 (bsolo_mis) R 1843 29618 29617 0 -1 0 29366 0 0 0 39915 92 0 0 25 0 1 0 832893725 125779968 29042 4294967295 134512640 134714540 3221224592 3221223336 134536866 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 30708 29042 1111 63 0 30645 0 vsize: 122832 [startup+410.061 s] Raw data (loadavg): 1.04 0.99 0.91 2/55 1911 Raw data (stat): 1844 (bsolo_mis) R 1843 29618 29617 0 -1 0 30319 0 0 0 40912 95 0 0 25 0 1 0 832893725 129691648 29983 4294967295 134512640 134714540 3221224592 3221223336 134536866 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 31663 29983 1111 63 0 31600 0 vsize: 126652 [startup+420.061 s] Raw data (loadavg): 1.03 0.99 0.91 2/55 1911 Raw data (stat): 1844 (bsolo_mis) R 1843 29618 29617 0 -1 0 31255 0 0 0 41910 97 0 0 25 0 1 0 832893725 133341184 30915 4294967295 134512640 134714540 3221224592 3221223312 134556503 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 32554 30915 1111 63 0 32491 0 vsize: 130216 [startup+430.062 s] Raw data (loadavg): 1.03 0.99 0.91 2/55 1911 Raw data (stat): 1844 (bsolo_mis) R 1843 29618 29617 0 -1 0 32159 0 0 0 42908 100 0 0 25 0 1 0 832893725 136990720 31819 4294967295 134512640 134714540 3221224592 3221223232 134539356 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 33445 31819 1111 63 0 33382 0 vsize: 133780 [startup+440.062 s] Raw data (loadavg): 1.02 0.99 0.91 2/55 1913 Raw data (stat): 1844 (bsolo_mis) R 1843 29618 29617 0 -1 0 33028 0 0 0 43904 104 0 0 25 0 1 0 832893725 140582912 32680 4294967295 134512640 134714540 3221224592 3221223336 134536879 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 34322 32680 1111 63 0 34259 0 vsize: 137288 [startup+450.063 s] Raw data (loadavg): 1.02 0.99 0.91 2/55 1913 Raw data (stat): 1844 (bsolo_mis) R 1843 29618 29617 0 -1 0 33945 0 0 0 44902 106 0 0 25 0 1 0 832893725 144097280 33597 4294967295 134512640 134714540 3221224592 3221223336 134536879 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35180 33597 1111 63 0 35117 0 vsize: 140720 [startup+460.064 s] Raw data (loadavg): 1.01 0.99 0.91 2/55 1913 Raw data (stat): 1844 (bsolo_mis) R 1843 29618 29617 0 -1 0 34813 0 0 0 45899 109 0 0 25 0 1 0 832893725 147648512 34461 4294967295 134512640 134714540 3221224592 3221223336 134536879 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 36047 34461 1111 63 0 35984 0 vsize: 144188 [startup+470.063 s] Raw data (loadavg): 1.01 0.99 0.91 2/55 1915 Raw data (stat): 1844 (bsolo_mis) R 1843 29618 29617 0 -1 0 35744 0 0 0 46896 112 0 0 25 0 1 0 832893725 151298048 35392 4294967295 134512640 134714540 3221224592 3221223288 134558621 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 36938 35392 1111 63 0 36875 0 vsize: 147752 [startup+480.063 s] Raw data (loadavg): 1.01 0.99 0.91 2/55 1915 Raw data (stat): 1844 (bsolo_mis) R 1843 29618 29617 0 -1 0 36666 0 0 0 47894 115 0 0 25 0 1 0 832893725 154947584 36314 4294967295 134512640 134714540 3221224592 3221223440 134623453 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 37829 36314 1111 63 0 37766 0 vsize: 151316 [startup+490.063 s] Raw data (loadavg): 1.01 0.99 0.91 2/55 1915 Raw data (stat): 1844 (bsolo_mis) R 1843 29618 29617 0 -1 0 37577 0 0 0 48891 117 0 0 25 0 1 0 832893725 158597120 37225 4294967295 134512640 134714540 3221224592 3221223440 134623453 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 38720 37225 1111 63 0 38657 0 vsize: 154880 [startup+500.064 s] Raw data (loadavg): 1.01 0.99 0.91 2/55 1915 Raw data (stat): 1844 (bsolo_mis) R 1843 29618 29617 0 -1 0 38501 0 0 0 49888 121 0 0 25 0 1 0 832893725 162111488 38149 4294967295 134512640 134714540 3221224592 3221223440 134623453 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 39578 38149 1111 63 0 39515 0 vsize: 158312 [startup+510.064 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 1915 Raw data (stat): 1844 (bsolo_mis) R 1843 29618 29617 0 -1 0 39380 0 0 0 50885 124 0 0 25 0 1 0 832893725 165625856 39026 4294967295 134512640 134714540 3221224592 3221223312 134556924 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 40436 39026 1111 63 0 40373 0 vsize: 161744 [startup+520.064 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 1915 Raw data (stat): 1844 (bsolo_mis) R 1843 29618 29617 0 -1 0 40276 0 0 0 51882 127 0 0 25 0 1 0 832893725 169275392 39922 4294967295 134512640 134714540 3221224592 3221223308 134553612 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 41327 39922 1111 63 0 41264 0 vsize: 165308 [startup+530.065 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 1917 Raw data (stat): 1844 (bsolo_mis) R 1843 29618 29617 0 -1 0 42347 0 0 0 52879 131 0 0 25 0 1 0 832893725 180572160 41714 4294967295 134512640 134714540 3221224592 3221223356 134556376 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 44085 41714 1111 63 0 44022 0 vsize: 176340 [startup+540.065 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 1917 Raw data (stat): 1844 (bsolo_mis) R 1843 29618 29617 0 -1 0 43308 0 0 0 53876 133 0 0 25 0 1 0 832893725 184688640 42648 4294967295 134512640 134714540 3221224592 3221223272 134558621 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 45090 42648 1111 63 0 45027 0 vsize: 180360 [startup+550.065 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 1917 Raw data (stat): 1844 (bsolo_mis) R 1843 29618 29617 0 -1 0 44234 0 0 0 54874 135 0 0 25 0 1 0 832893725 188538880 43565 4294967295 134512640 134714540 3221224592 3221223360 134624477 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 46030 43565 1111 63 0 45967 0 vsize: 184120 [startup+560.066 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 1917 Raw data (stat): 1844 (bsolo_mis) R 1843 29618 29617 0 -1 0 45167 0 0 0 55871 139 0 0 25 0 1 0 832893725 192245760 44494 4294967295 134512640 134714540 3221224592 3221223340 134543556 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 46935 44494 1111 63 0 46872 0 vsize: 187740 [startup+570.066 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 1917 Raw data (stat): 1844 (bsolo_mis) R 1843 29618 29617 0 -1 0 46120 0 0 0 56869 142 0 0 25 0 1 0 832893725 196296704 45429 4294967295 134512640 134714540 3221224592 3221223312 134556924 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 47924 45429 1111 63 0 47861 0 vsize: 191696 [startup+580.067 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 1917 Raw data (stat): 1844 (bsolo_mis) R 1843 29618 29617 0 -1 0 46901 0 0 0 57866 144 0 0 25 0 1 0 832893725 199405568 46210 4294967295 134512640 134714540 3221224592 3221223328 134556624 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 48683 46210 1111 63 0 48620 0 vsize: 194732 [startup+590.067 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 1919 Raw data (stat): 1844 (bsolo_mis) R 1843 29618 29617 0 -1 0 47768 0 0 0 58863 148 0 0 25 0 1 0 832893725 202919936 47077 4294967295 134512640 134714540 3221224592 3221223336 134536879 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 49541 47077 1111 63 0 49478 0 vsize: 198164 [startup+600.068 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 1919 Raw data (stat): 1844 (bsolo_mis) R 1843 29618 29617 0 -1 0 48679 0 0 0 59860 150 0 0 25 0 1 0 832893725 206700544 47970 4294967295 134512640 134714540 3221224592 3221223340 134543569 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 50464 47970 1111 63 0 50401 0 vsize: 201856 [startup+610.068 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 1919 Raw data (stat): 1844 (bsolo_mis) R 1843 29618 29617 0 -1 0 49550 0 0 0 60857 154 0 0 25 0 1 0 832893725 210079744 48841 4294967295 134512640 134714540 3221224592 3221223328 134556487 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 51289 48841 1111 63 0 51226 0 vsize: 205156 [startup+620.068 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 1919 Raw data (stat): 1844 (bsolo_mis) R 1843 29618 29617 0 -1 0 50405 0 0 0 61855 156 0 0 25 0 1 0 832893725 213594112 49696 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 52147 49696 1111 63 0 52084 0 vsize: 208588 [startup+630.069 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 1919 Raw data (stat): 1844 (bsolo_mis) R 1843 29618 29617 0 -1 0 51473 0 0 0 62851 160 0 0 25 0 1 0 832893725 217923584 50755 4294967295 134512640 134714540 3221224592 3221223308 134558620 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 53204 50755 1111 63 0 53141 0 vsize: 212816 [startup+640.07 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 1919 Raw data (stat): 1844 (bsolo_mis) R 1843 29618 29617 0 -1 0 52333 0 0 0 63848 163 0 0 25 0 1 0 832893725 221302784 51615 4294967295 134512640 134714540 3221224592 3221223336 134536879 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 54029 51615 1111 63 0 53966 0 vsize: 216116 [startup+650.071 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 1921 Raw data (stat): 1844 (bsolo_mis) R 1843 29618 29617 0 -1 0 53202 0 0 0 64847 165 0 0 25 0 1 0 832893725 224817152 52484 4294967295 134512640 134714540 3221224592 3221223308 134558620 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 54887 52484 1111 63 0 54824 0 vsize: 219548 [startup+660.071 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 1921 Raw data (stat): 1844 (bsolo_mis) R 1843 29618 29617 0 -1 0 54081 0 0 0 65844 168 0 0 25 0 1 0 832893725 228331520 53363 4294967295 134512640 134714540 3221224592 3221223440 134623464 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 55745 53363 1111 63 0 55682 0 vsize: 222980 [startup+670.071 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 1921 Raw data (stat): 1844 (bsolo_mis) R 1843 29618 29617 0 -1 0 54979 0 0 0 66842 170 0 0 25 0 1 0 832893725 231849984 54261 4294967295 134512640 134714540 3221224592 3221223440 134623453 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 56604 54261 1111 63 0 56541 0 vsize: 226416 [startup+680.072 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 1921 Raw data (stat): 1844 (bsolo_mis) R 1843 29618 29617 0 -1 0 55876 0 0 0 67839 173 0 0 25 0 1 0 832893725 235364352 55158 4294967295 134512640 134714540 3221224592 3221223276 134553611 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 57462 55158 1111 63 0 57399 0 vsize: 229848 [startup+690.073 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 1923 Raw data (stat): 1844 (bsolo_mis) R 1843 29618 29617 0 -1 0 56777 0 0 0 68838 175 0 0 25 0 1 0 832893725 238878720 56059 4294967295 134512640 134714540 3221224592 3221223376 134624467 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 58320 56059 1111 63 0 58257 0 vsize: 233280 [startup+700.073 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 1923 Raw data (stat): 1844 (bsolo_mis) R 1843 29618 29617 0 -1 0 57667 0 0 0 69836 177 0 0 25 0 1 0 832893725 242393088 56949 4294967295 134512640 134714540 3221224592 3221223364 134624473 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 59178 56949 1111 63 0 59115 0 vsize: 236712 [startup+710.074 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 1925 Raw data (stat): 1844 (bsolo_mis) R 1843 29618 29617 0 -1 0 58547 0 0 0 70834 179 0 0 25 0 1 0 832893725 245907456 57829 4294967295 134512640 134714540 3221224592 3221223440 134623453 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 60036 57829 1111 63 0 59973 0 vsize: 240144 [startup+720.074 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 1925 Raw data (stat): 1844 (bsolo_mis) R 1843 29618 29617 0 -1 0 59419 0 0 0 71832 181 0 0 25 0 1 0 832893725 249286656 58701 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 60861 58701 1111 63 0 60798 0 vsize: 243444 [startup+730.075 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 1925 Raw data (stat): 1844 (bsolo_mis) R 1843 29618 29617 0 -1 0 60270 0 0 0 72830 184 0 0 25 0 1 0 832893725 252665856 59552 4294967295 134512640 134714540 3221224592 3221223100 134535964 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 61686 59552 1111 63 0 61623 0 vsize: 246744 [startup+740.076 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 1925 Raw data (stat): 1844 (bsolo_mis) R 1843 29618 29617 0 -1 0 61087 0 0 0 73828 186 0 0 25 0 1 0 832893725 255909888 60369 4294967295 134512640 134714540 3221224592 3221223376 134624467 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 62478 60369 1111 63 0 62415 0 vsize: 249912 [startup+750.077 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 1925 Raw data (stat): 1844 (bsolo_mis) R 1843 29618 29617 0 -1 0 61962 0 0 0 74827 187 0 0 25 0 1 0 832893725 259289088 61244 4294967295 134512640 134714540 3221224592 3221223292 134558620 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 63303 61244 1111 63 0 63240 0 vsize: 253212 [startup+760.078 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 1925 Raw data (stat): 1844 (bsolo_mis) R 1843 29618 29617 0 -1 0 62841 0 0 0 75825 190 0 0 25 0 1 0 832893725 262803456 62123 4294967295 134512640 134714540 3221224592 3221223440 134623447 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 64161 62123 1111 63 0 64098 0 vsize: 256644 [startup+770.077 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 1927 Raw data (stat): 1844 (bsolo_mis) R 1843 29618 29617 0 -1 0 63750 0 0 0 76822 192 0 0 25 0 1 0 832893725 266317824 63032 4294967295 134512640 134714540 3221224592 3221223336 134536866 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 65019 63032 1111 63 0 64956 0 vsize: 260076 [startup+780.078 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 1927 Raw data (stat): 1844 (bsolo_mis) R 1843 29618 29617 0 -1 0 64572 0 0 0 77821 194 0 0 25 0 1 0 832893725 269561856 63854 4294967295 134512640 134714540 3221224592 3221223328 134556630 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 65811 63854 1111 63 0 65748 0 vsize: 263244 [startup+790.078 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 1927 Raw data (stat): 1844 (bsolo_mis) R 1843 29618 29617 0 -1 0 65445 0 0 0 78818 196 0 0 25 0 1 0 832893725 273076224 64727 4294967295 134512640 134714540 3221224592 3221223308 134558620 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 66669 64727 1111 63 0 66606 0 vsize: 266676 [startup+800.08 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 1927 Raw data (stat): 1844 (bsolo_mis) R 1843 29618 29617 0 -1 0 69848 0 0 0 79811 203 0 0 25 0 1 0 832893725 292229120 66830 4294967295 134512640 134714540 3221224592 3221223376 134624467 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 71345 66830 1111 63 0 71282 0 vsize: 285380 [startup+810.08 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 1927 Raw data (stat): 1844 (bsolo_mis) R 1843 29618 29617 0 -1 0 70896 0 0 0 80809 206 0 0 25 0 1 0 832893725 296128512 67714 4294967295 134512640 134714540 3221224592 3221223336 134536866 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 72297 67714 1111 63 0 72234 0 vsize: 289188 [startup+820.08 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 1927 Raw data (stat): 1844 (bsolo_mis) R 1843 29618 29617 0 -1 0 71875 0 0 0 81806 209 0 0 25 0 1 0 832893725 300105728 68611 4294967295 134512640 134714540 3221224592 3221223440 134623453 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 73268 68611 1111 63 0 73205 0 vsize: 293072 [startup+830.081 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 1929 Raw data (stat): 1844 (bsolo_mis) R 1843 29618 29617 0 -1 0 72804 0 0 0 82803 212 0 0 25 0 1 0 832893725 303620096 69540 4294967295 134512640 134714540 3221224592 3221223132 134539296 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 74126 69540 1111 63 0 74063 0 vsize: 296504 [startup+840.081 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 1929 Raw data (stat): 1844 (bsolo_mis) R 1843 29618 29617 0 -1 0 73804 0 0 0 83800 216 0 0 25 0 1 0 832893725 307462144 70458 4294967295 134512640 134714540 3221224592 3221223336 134536866 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 75064 70458 1111 63 0 75001 0 vsize: 300256 [startup+850.082 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 1929 Raw data (stat): 1844 (bsolo_mis) R 1843 29618 29617 0 -1 0 74822 0 0 0 84797 219 0 0 25 0 1 0 832893725 311439360 71394 4294967295 134512640 134714540 3221224592 3221223440 134623464 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 76035 71394 1111 63 0 75972 0 vsize: 304140 [startup+860.082 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 1929 Raw data (stat): 1844 (bsolo_mis) R 1843 29618 29617 0 -1 0 75715 0 0 0 85795 222 0 0 25 0 1 0 832893725 314953728 72287 4294967295 134512640 134714540 3221224592 3221223376 134624467 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 76893 72287 1111 63 0 76830 0 vsize: 307572 [startup+870.082 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 1929 Raw data (stat): 1844 (bsolo_mis) R 1843 29618 29617 0 -1 0 76580 0 0 0 86792 224 0 0 25 0 1 0 832893725 318332928 73152 4294967295 134512640 134714540 3221224592 3221223384 134542448 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 77718 73152 1111 63 0 77655 0 vsize: 310872 [startup+880.083 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 1929 Raw data (stat): 1844 (bsolo_mis) R 1843 29618 29617 0 -1 0 77335 0 0 0 87790 226 0 0 25 0 1 0 832893725 321228800 73825 4294967295 134512640 134714540 3221224592 3221223376 134624467 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 78425 73825 1111 63 0 78362 0 vsize: 313700 [startup+890.082 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 1931 Raw data (stat): 1844 (bsolo_mis) R 1843 29618 29617 0 -1 0 78312 0 0 0 88788 229 0 0 25 0 1 0 832893725 325136384 74711 4294967295 134512640 134714540 3221224592 3221223356 134556732 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 79379 74711 1111 63 0 79316 0 vsize: 317516 [startup+900.084 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 1931 Raw data (stat): 1844 (bsolo_mis) R 1843 29618 29617 0 -1 0 79186 0 0 0 89786 231 0 0 25 0 1 0 832893725 328515584 75585 4294967295 134512640 134714540 3221224592 3221223308 134553168 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 80204 75585 1111 63 0 80141 0 vsize: 320816 [startup+910.084 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 1931 Raw data (stat): 1844 (bsolo_mis) R 1843 29618 29617 0 -1 0 80075 0 0 0 90784 233 0 0 25 0 1 0 832893725 332029952 76474 4294967295 134512640 134714540 3221224592 3221223440 134623453 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 81062 76474 1111 63 0 80999 0 vsize: 324248 [startup+920.096 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 1931 Raw data (stat): 1844 (bsolo_mis) R 1843 29618 29617 0 -1 0 80925 0 0 0 91783 236 0 0 25 0 1 0 832893725 335273984 77324 4294967295 134512640 134714540 3221224592 3221223376 134624467 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 81854 77324 1111 63 0 81791 0 vsize: 327416 [startup+930.097 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 1931 Raw data (stat): 1844 (bsolo_mis) R 1843 29618 29617 0 -1 0 81786 0 0 0 92781 238 0 0 25 0 1 0 832893725 338788352 78185 4294967295 134512640 134714540 3221224592 3221223368 134624425 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 82712 78185 1111 63 0 82649 0 vsize: 330848 [startup+940.097 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 1931 Raw data (stat): 1844 (bsolo_mis) R 1843 29618 29617 0 -1 0 82637 0 0 0 93778 241 0 0 25 0 1 0 832893725 342032384 79036 4294967295 134512640 134714540 3221224592 3221223288 134558621 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 83504 79036 1111 63 0 83441 0 vsize: 334016 [startup+950.098 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 1933 Raw data (stat): 1844 (bsolo_mis) R 1843 29618 29617 0 -1 0 83545 0 0 0 94775 244 0 0 25 0 1 0 832893725 345546752 79944 4294967295 134512640 134714540 3221224592 3221223376 134624498 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 84362 79944 1111 63 0 84299 0 vsize: 337448 [startup+960.106 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 1933 Raw data (stat): 1844 (bsolo_mis) R 1843 29618 29617 0 -1 0 84545 0 0 0 95773 247 0 0 25 0 1 0 832893725 349388800 80862 4294967295 134512640 134714540 3221224592 3221223376 134624467 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 85300 80862 1111 63 0 85237 0 vsize: 341200 [startup+970.108 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 1933 Raw data (stat): 1844 (bsolo_mis) R 1843 29618 29617 0 -1 0 85415 0 0 0 96771 249 0 0 25 0 1 0 832893725 352903168 81732 4294967295 134512640 134714540 3221224592 3221223160 1077378037 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 86158 81732 1111 63 0 86095 0 vsize: 344632 [startup+980.116 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 1933 Raw data (stat): 1844 (bsolo_mis) R 1843 29618 29617 0 -1 0 86304 0 0 0 97769 252 0 0 25 0 1 0 832893725 356417536 82621 4294967295 134512640 134714540 3221224592 3221223312 134556640 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 87016 82621 1111 63 0 86953 0 vsize: 348064 [startup+990.116 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 1933 Raw data (stat): 1844 (bsolo_mis) R 1843 29618 29617 0 -1 0 87308 0 0 0 98766 256 0 0 25 0 1 0 832893725 360259584 83543 4294967295 134512640 134714540 3221224592 3221223336 134536866 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 87954 83543 1111 63 0 87891 0 vsize: 351816 [startup+1000.12 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 1933 Raw data (stat): 1844 (bsolo_mis) R 1843 29618 29617 0 -1 0 88181 0 0 0 99763 258 0 0 25 0 1 0 832893725 363638784 84416 4294967295 134512640 134714540 3221224592 3221223336 134536879 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 88779 84416 1111 63 0 88716 0 vsize: 355116 [startup+1010.12 s] Raw data (loadavg): 1.00 0.99 0.91 2/57 1935 Raw data (stat): 1844 (bsolo_mis) R 1843 29618 29617 0 -1 0 88994 0 0 0 100762 261 0 0 25 0 1 0 832893725 366882816 85229 4294967295 134512640 134714540 3221224592 3221223336 134543568 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 89571 85229 1111 63 0 89508 0 vsize: 358284 [startup+1020.12 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 1935 Raw data (stat): 1844 (bsolo_mis) R 1843 29618 29617 0 -1 0 90545 0 0 0 101758 265 0 0 25 0 1 0 832893725 371687424 86432 4294967295 134512640 134714540 3221224592 3221223364 134624473 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 90744 86432 1111 63 0 90681 0 vsize: 362976 [startup+1030.12 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 1935 Raw data (stat): 1844 (bsolo_mis) R 1843 29618 29617 0 -1 0 91438 0 0 0 102755 268 0 0 25 0 1 0 832893725 375201792 87325 4294967295 134512640 134714540 3221224592 3221223336 134536879 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 91602 87325 1111 63 0 91539 0 vsize: 366408 [startup+1040.12 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 1935 Raw data (stat): 1844 (bsolo_mis) R 1843 29618 29617 0 -1 0 92338 0 0 0 103752 270 0 0 25 0 1 0 832893725 378716160 88225 4294967295 134512640 134714540 3221224592 3221223440 134623464 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 92460 88225 1111 63 0 92397 0 vsize: 369840 [startup+1050.12 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 1935 Raw data (stat): 1844 (bsolo_mis) R 1843 29618 29617 0 -1 0 93165 0 0 0 104750 273 0 0 25 0 1 0 832893725 381960192 89052 4294967295 134512640 134714540 3221224592 3221223440 134623453 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 93252 89052 1111 63 0 93189 0 vsize: 373008 [startup+1060.12 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 1935 Raw data (stat): 1844 (bsolo_mis) R 1843 29618 29617 0 -1 0 94047 0 0 0 105748 275 0 0 25 0 1 0 832893725 385474560 89934 4294967295 134512640 134714540 3221224592 3221223440 134623464 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 94110 89934 1111 63 0 94047 0 vsize: 376440 [startup+1070.12 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 1937 Raw data (stat): 1844 (bsolo_mis) R 1843 29618 29617 0 -1 0 94943 0 0 0 106746 277 0 0 25 0 1 0 832893725 388853760 90830 4294967295 134512640 134714540 3221224592 3221223336 134536866 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 94935 90830 1111 63 0 94872 0 vsize: 379740 [startup+1080.12 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 1937 Raw data (stat): 1844 (bsolo_mis) R 1843 29618 29617 0 -1 0 95809 0 0 0 107743 280 0 0 25 0 1 0 832893725 392368128 91696 4294967295 134512640 134714540 3221224592 3221223396 134610916 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 95793 91696 1111 63 0 95730 0 vsize: 383172 [startup+1090.12 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 1937 Raw data (stat): 1844 (bsolo_mis) R 1843 29618 29617 0 -1 0 96710 0 0 0 108741 283 0 0 25 0 1 0 832893725 395882496 92597 4294967295 134512640 134714540 3221224592 3221223336 134536877 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 96651 92597 1111 63 0 96588 0 vsize: 386604 [startup+1100.12 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 1937 Raw data (stat): 1844 (bsolo_mis) R 1843 29618 29617 0 -1 0 97632 0 0 0 109738 286 0 0 25 0 1 0 832893725 399532032 93519 4294967295 134512640 134714540 3221224592 3221223264 134553189 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 97542 93519 1111 63 0 97479 0 vsize: 390168 [startup+1110.12 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 1937 Raw data (stat): 1844 (bsolo_mis) R 1843 29618 29617 0 -1 0 98527 0 0 0 110735 289 0 0 25 0 1 0 832893725 403046400 94414 4294967295 134512640 134714540 3221224592 3221223272 134553175 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 98400 94414 1111 63 0 98337 0 vsize: 393600 [startup+1120.12 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 1937 Raw data (stat): 1844 (bsolo_mis) R 1843 29618 29617 0 -1 0 99413 0 0 0 111732 292 0 0 25 0 1 0 832893725 406560768 95300 4294967295 134512640 134714540 3221224592 3221223336 134536866 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 99258 95300 1111 63 0 99195 0 vsize: 397032 [startup+1130.12 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 1939 Raw data (stat): 1844 (bsolo_mis) R 1843 29618 29617 0 -1 0 100326 0 0 0 112729 296 0 0 25 0 1 0 832893725 410238976 96211 4294967295 134512640 134714540 3221224592 3221223384 134542448 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 100156 96211 1111 63 0 100093 0 vsize: 400624 [startup+1140.12 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 1939 Raw data (stat): 1844 (bsolo_mis) R 1843 29618 29617 0 -1 0 101212 0 0 0 113726 299 0 0 25 0 1 0 832893725 413618176 97097 4294967295 134512640 134714540 3221224592 3221223408 134610900 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 100981 97097 1111 63 0 100918 0 vsize: 403924 [startup+1150.13 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 1939 Raw data (stat): 1844 (bsolo_mis) R 1843 29618 29617 0 -1 0 101989 0 0 0 114723 302 0 0 25 0 1 0 832893725 416591872 97874 4294967295 134512640 134714540 3221224592 3221223336 134536879 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 101707 97874 1111 63 0 101644 0 vsize: 406828 [startup+1160.13 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 1939 Raw data (stat): 1844 (bsolo_mis) R 1843 29618 29617 0 -1 0 102828 0 0 0 115721 304 0 0 25 0 1 0 832893725 419971072 98713 4294967295 134512640 134714540 3221224592 3221222920 1077378037 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 102532 98714 1111 63 0 102469 0 vsize: 410128 [startup+1170.13 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 1939 Raw data (stat): 1844 (bsolo_mis) R 1843 29618 29617 0 -1 0 103715 0 0 0 116719 306 0 0 25 0 1 0 832893725 423485440 99600 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 103390 99600 1111 63 0 103327 0 vsize: 413560 [startup+1175.08 s] Raw data (loadavg): 1.00 0.99 0.91 1/54 1939 Raw data (stat): 1844 (bsolo_mis) R 1843 29618 29617 0 -1 0 103715 0 0 0 116719 306 0 0 25 0 1 0 832893725 423485440 99600 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 103390 99600 1111 63 0 103327 0 vsize: 0 Child status: 0 Real time (s): 1175.08 CPU time (s): 1175.2 CPU user time (s): 1171.94 CPU system time (s): 3.2665 CPU usage (%): 100.01 Max. virtual memory (Kb): 413560 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####