Name | normalized-opb/submitted/aloul/FPGA_SAT05/normalized-chnl35_40_pb.cnf.cr.opb |
MD5SUM | 85d4e2fa5fd7a61a85d3ecb1e311bddb |
Bench Category | no optimization function (SAT) |
Has Objective Function | NO |
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 | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 41 |
Number of bits of the biggest sum of numbers | 6 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 0.083986 |
Number of variables | 2800 |
Total number of constraints | 150 |
Number of constraints which are clauses | 80 |
Number of constraints which are cardinality constraints (but not clauses) | 70 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 35 |
Maximum length of a constraint | 40 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc31 THE 2005-05-01 13:02:48 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=129 boxname=wulflinc31 idbench=15 idsolver=3 numberseed=0 MD5SUM SOLVER: 03a6a792daea978e4202f78851741568 /oldhome/oroussel/solvers/bsolo_mis MD5SUM BENCH: 85d4e2fa5fd7a61a85d3ecb1e311bddb /oldhome/oroussel/tmp/wulflinc31/normalized-chnl35_40_pb.cnf.cr.opb REAL COMMAND: bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-chnl35_40_pb.cnf.cr.opb IDLAUNCH: 129 /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: 931216 kB Buffers: 36188 kB Cached: 45432 kB SwapCached: 864 kB Active: 70536 kB Inactive: 13484 kB HighTotal: 131008 kB HighFree: 84532 kB LowTotal: 903652 kB LowFree: 846684 kB SwapTotal: 2097892 kB SwapFree: 2096432 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5504 kB Slab: 13888 kB Committed_AS: 63652 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-01 13:22:24 (client local time) WITH STATUS 0 IN 1175.04 SECONDS stats: 129 7 1175.04 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: No cost function. Find solution and finish. c Initial problem consists of 2800 variables and 150 constraints. c After prepocess the problem consists of 2800 variables and 150 constraints. c preprocess terminated 1.034 s c Not use computed LB before first solution. s UNKNOWN c Exit Code: 0 c Total time: 1175 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.85 0.97 0.93 2/54 11665 Raw data (stat): 11665 (runsolver) R 11664 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 631683268 1056768 100 4294967295 134512640 135381576 3221221680 3221216900 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0 Raw data (statm): 258 100 215 215 0 43 0 vsize: 1032 [startup+10.0012 s] Raw data (loadavg): 0.87 0.97 0.93 2/54 11665 Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 1281 0 0 0 991 5 0 0 25 0 1 0 631683268 8888320 1256 4294967295 134512640 134714540 3221221776 3221220344 1077378425 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2170 1256 1111 63 0 2107 0 vsize: 8680 [startup+20.0021 s] Raw data (loadavg): 0.89 0.97 0.93 2/54 11665 Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 1753 0 0 0 1988 8 0 0 25 0 1 0 631683268 10915840 1728 4294967295 134512640 134714540 3221221776 3221220416 134696148 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2665 1728 1111 63 0 2602 0 vsize: 10660 [startup+30.002 s] Raw data (loadavg): 0.91 0.97 0.93 2/54 11665 Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 1938 0 0 0 2986 10 0 0 25 0 1 0 631683268 11591680 1913 4294967295 134512640 134714540 3221221776 3221220544 134592424 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2830 1913 1111 63 0 2767 0 vsize: 11320 [startup+40.0029 s] Raw data (loadavg): 0.92 0.97 0.93 2/54 11665 Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 2035 0 0 0 3983 13 0 0 25 0 1 0 631683268 11988992 2010 4294967295 134512640 134714540 3221221776 3221220512 134588000 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2927 2010 1111 63 0 2864 0 vsize: 11708 [startup+50.0039 s] Raw data (loadavg): 0.93 0.97 0.93 2/54 11665 Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 2122 0 0 0 4982 14 0 0 25 0 1 0 631683268 12394496 2097 4294967295 134512640 134714540 3221221776 3221220560 134529097 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3026 2097 1111 63 0 2963 0 vsize: 12104 [startup+60.0048 s] Raw data (loadavg): 0.94 0.97 0.93 2/54 11665 Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 2180 0 0 0 5980 16 0 0 25 0 1 0 631683268 12664832 2155 4294967295 134512640 134714540 3221221776 3221220384 134549313 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3092 2155 1111 63 0 3029 0 vsize: 12368 [startup+70.0055 s] Raw data (loadavg): 0.95 0.97 0.93 2/54 11665 Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 2221 0 0 0 6978 18 0 0 25 0 1 0 631683268 12800000 2196 4294967295 134512640 134714540 3221221776 3221220416 134696112 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3125 2196 1111 63 0 3062 0 vsize: 12500 [startup+80.0054 s] Raw data (loadavg): 0.96 0.97 0.93 2/54 11665 Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 2231 0 0 0 7976 20 0 0 25 0 1 0 631683268 12800000 2206 4294967295 134512640 134714540 3221221776 3221220456 134552650 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3125 2206 1111 63 0 3062 0 vsize: 12500 [startup+90.0055 s] Raw data (loadavg): 0.96 0.97 0.93 2/54 11665 Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 2255 0 0 0 8975 21 0 0 25 0 1 0 631683268 12935168 2230 4294967295 134512640 134714540 3221221776 3221220544 134592353 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3158 2230 1111 63 0 3095 0 vsize: 12632 [startup+100.005 s] Raw data (loadavg): 0.97 0.97 0.93 2/54 11665 Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 2300 0 0 0 9973 23 0 0 25 0 1 0 631683268 13070336 2275 4294967295 134512640 134714540 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3191 2275 1111 63 0 3128 0 vsize: 12764 [startup+110.006 s] Raw data (loadavg): 0.97 0.97 0.93 2/54 11665 Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 2368 0 0 0 10972 25 0 0 25 0 1 0 631683268 13459456 2343 4294967295 134512640 134714540 3221221776 3221220560 134529091 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3286 2343 1111 63 0 3223 0 vsize: 13144 [startup+120.007 s] Raw data (loadavg): 0.98 0.97 0.93 2/54 11665 Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 2413 0 0 0 11971 26 0 0 25 0 1 0 631683268 13594624 2388 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3319 2388 1111 63 0 3256 0 vsize: 13276 [startup+130.007 s] Raw data (loadavg): 0.98 0.97 0.93 2/54 11665 Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 2435 0 0 0 12969 28 0 0 25 0 1 0 631683268 13672448 2410 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3338 2410 1111 63 0 3275 0 vsize: 13352 [startup+140.008 s] Raw data (loadavg): 0.98 0.97 0.93 2/54 11665 Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 2463 0 0 0 13968 30 0 0 25 0 1 0 631683268 13807616 2438 4294967295 134512640 134714540 3221221776 3221220340 134696436 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3371 2438 1111 63 0 3308 0 vsize: 13484 [startup+150.009 s] Raw data (loadavg): 0.98 0.97 0.93 2/54 11665 Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 2463 0 0 0 14966 31 0 0 25 0 1 0 631683268 13807616 2438 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3371 2438 1111 63 0 3308 0 vsize: 13484 [startup+160.01 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11665 Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 2581 0 0 0 15964 34 0 0 25 0 1 0 631683268 14311424 2556 4294967295 134512640 134714540 3221221776 3221220560 134529344 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3494 2556 1111 63 0 3431 0 vsize: 13976 [startup+170.01 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11665 Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 2661 0 0 0 16963 35 0 0 25 0 1 0 631683268 14581760 2636 4294967295 134512640 134714540 3221221776 3221220428 134536754 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3560 2636 1111 63 0 3497 0 vsize: 14240 [startup+180.01 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11665 Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 2747 0 0 0 17962 37 0 0 25 0 1 0 631683268 14987264 2722 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3659 2722 1111 63 0 3596 0 vsize: 14636 [startup+190.011 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11665 Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 2779 0 0 0 18960 38 0 0 25 0 1 0 631683268 15118336 2754 4294967295 134512640 134714540 3221221776 3221220400 134549689 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3691 2754 1111 63 0 3628 0 vsize: 14764 [startup+200.011 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11665 Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 2825 0 0 0 19959 40 0 0 25 0 1 0 631683268 15253504 2800 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3724 2800 1111 63 0 3661 0 vsize: 14896 [startup+210.012 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11667 Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 2875 0 0 0 20958 41 0 0 25 0 1 0 631683268 15523840 2850 4294967295 134512640 134714540 3221221776 3221220520 134551609 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3790 2850 1111 63 0 3727 0 vsize: 15160 [startup+220.012 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11667 Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 2899 0 0 0 21957 42 0 0 25 0 1 0 631683268 15523840 2874 4294967295 134512640 134714540 3221221776 3221220428 134536766 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3790 2874 1111 63 0 3727 0 vsize: 15160 [startup+230.012 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11667 Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 2916 0 0 0 22955 44 0 0 25 0 1 0 631683268 15659008 2891 4294967295 134512640 134714540 3221221776 3221220416 134696114 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3823 2891 1111 63 0 3760 0 vsize: 15292 [startup+240.013 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11667 Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 2923 0 0 0 23954 46 0 0 25 0 1 0 631683268 15659008 2898 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3823 2898 1111 63 0 3760 0 vsize: 15292 [startup+250.013 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11667 Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 2944 0 0 0 24953 47 0 0 25 0 1 0 631683268 15794176 2919 4294967295 134512640 134714540 3221221776 3221220272 134535468 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3856 2919 1111 63 0 3793 0 vsize: 15424 [startup+260.014 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11667 Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 2964 0 0 0 25951 49 0 0 25 0 1 0 631683268 15794176 2939 4294967295 134512640 134714540 3221221776 3221220416 134696109 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3856 2939 1111 63 0 3793 0 vsize: 15424 [startup+270.014 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11667 Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 2977 0 0 0 26950 50 0 0 25 0 1 0 631683268 15929344 2952 4294967295 134512640 134714540 3221221776 3221220512 134535742 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3889 2952 1111 63 0 3826 0 vsize: 15556 [startup+280.014 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11667 Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 2977 0 0 0 27948 52 0 0 25 0 1 0 631683268 15929344 2952 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3889 2952 1111 63 0 3826 0 vsize: 15556 [startup+290.015 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11667 Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 2977 0 0 0 28947 54 0 0 25 0 1 0 631683268 15929344 2952 4294967295 134512640 134714540 3221221776 3221220384 134549467 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3889 2952 1111 63 0 3826 0 vsize: 15556 [startup+300.015 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11667 Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 3006 0 0 0 29946 55 0 0 25 0 1 0 631683268 16064512 2981 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3922 2981 1111 63 0 3859 0 vsize: 15688 [startup+310.016 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11667 Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 3036 0 0 0 30943 57 0 0 25 0 1 0 631683268 16199680 3011 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3955 3011 1111 63 0 3892 0 vsize: 15820 [startup+320.016 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11667 Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 3058 0 0 0 31942 59 0 0 25 0 1 0 631683268 16199680 3033 4294967295 134512640 134714540 3221221776 3221220400 134549697 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3955 3033 1111 63 0 3892 0 vsize: 15820 [startup+330.016 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11667 Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 3102 0 0 0 32940 61 0 0 25 0 1 0 631683268 16470016 3077 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4021 3077 1111 63 0 3958 0 vsize: 16084 [startup+340.017 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11667 Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 3123 0 0 0 33939 63 0 0 25 0 1 0 631683268 16470016 3098 4294967295 134512640 134714540 3221221776 3221220452 1077374469 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4021 3098 1111 63 0 3958 0 vsize: 16084 [startup+350.017 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11667 Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 3149 0 0 0 34937 65 0 0 25 0 1 0 631683268 16605184 3124 4294967295 134512640 134714540 3221221776 3221220400 134542297 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4054 3124 1111 63 0 3991 0 vsize: 16216 [startup+360.017 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11667 Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 3156 0 0 0 35935 67 0 0 25 0 1 0 631683268 16605184 3131 4294967295 134512640 134714540 3221221776 3221220396 134549508 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4054 3131 1111 63 0 3991 0 vsize: 16216 [startup+370.017 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11667 Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 3209 0 0 0 36934 68 0 0 25 0 1 0 631683268 16842752 3184 4294967295 134512640 134714540 3221221776 3221220512 134535740 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4112 3184 1111 63 0 4049 0 vsize: 16448 [startup+380.017 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11667 Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 3265 0 0 0 37933 70 0 0 25 0 1 0 631683268 17113088 3240 4294967295 134512640 134714540 3221221776 3221220412 134552672 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4178 3240 1111 63 0 4115 0 vsize: 16712 [startup+390.018 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11667 Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 3265 0 0 0 38932 71 0 0 25 0 1 0 631683268 17113088 3240 4294967295 134512640 134714540 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4178 3240 1111 63 0 4115 0 vsize: 16712 [startup+400.019 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11667 Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 3276 0 0 0 39931 72 0 0 25 0 1 0 631683268 17100800 3251 4294967295 134512640 134714540 3221221776 3221220536 134552685 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4175 3251 1111 63 0 4112 0 vsize: 16700 [startup+410.02 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11667 Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 3276 0 0 0 40928 75 0 0 25 0 1 0 631683268 17100800 3251 4294967295 134512640 134714540 3221221776 3221220544 134592107 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4175 3251 1111 63 0 4112 0 vsize: 16700 [startup+420.02 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11667 Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 3289 0 0 0 41927 76 0 0 25 0 1 0 631683268 17235968 3264 4294967295 134512640 134714540 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4208 3264 1111 63 0 4145 0 vsize: 16832 [startup+430.02 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11667 Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 3294 0 0 0 42926 77 0 0 25 0 1 0 631683268 17235968 3269 4294967295 134512640 134714540 3221221776 3221220384 134549467 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4208 3269 1111 63 0 4145 0 vsize: 16832 [startup+440.021 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11667 Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 3306 0 0 0 43925 79 0 0 25 0 1 0 631683268 17235968 3281 4294967295 134512640 134714540 3221221776 3221220352 134549480 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4208 3281 1111 63 0 4145 0 vsize: 16832 [startup+450.021 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11667 Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 3311 0 0 0 44924 80 0 0 25 0 1 0 631683268 17235968 3286 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4208 3286 1111 63 0 4145 0 vsize: 16832 [startup+460.022 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11667 Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 3321 0 0 0 45923 81 0 0 25 0 1 0 631683268 17371136 3296 4294967295 134512640 134714540 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4241 3296 1111 63 0 4178 0 vsize: 16964 [startup+470.023 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11667 Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 3330 0 0 0 46921 83 0 0 25 0 1 0 631683268 17354752 3305 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4237 3305 1111 63 0 4174 0 vsize: 16948 [startup+480.023 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11667 Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 3337 0 0 0 47920 84 0 0 25 0 1 0 631683268 17354752 3312 4294967295 134512640 134714540 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4237 3312 1111 63 0 4174 0 vsize: 16948 [startup+490.024 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11667 Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 3429 0 0 0 48918 86 0 0 25 0 1 0 631683268 17727488 3404 4294967295 134512640 134714540 3221221776 3221220384 134549305 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4328 3404 1111 63 0 4265 0 vsize: 17312 [startup+500.024 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11667 Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 3471 0 0 0 49917 87 0 0 25 0 1 0 631683268 17862656 3446 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4361 3446 1111 63 0 4298 0 vsize: 17444 [startup+510.026 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11667 Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 3497 0 0 0 50916 89 0 0 25 0 1 0 631683268 17997824 3472 4294967295 134512640 134714540 3221221776 3221220448 134524434 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4394 3472 1111 63 0 4331 0 vsize: 17576 [startup+520.026 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11667 Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 3497 0 0 0 51915 90 0 0 25 0 1 0 631683268 17997824 3472 4294967295 134512640 134714540 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4394 3472 1111 63 0 4331 0 vsize: 17576 [startup+530.026 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11667 Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 3497 0 0 0 52913 92 0 0 25 0 1 0 631683268 17997824 3472 4294967295 134512640 134714540 3221221776 3221220352 134549635 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4394 3472 1111 63 0 4331 0 vsize: 17576 [startup+540.027 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11667 Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 3507 0 0 0 53912 94 0 0 25 0 1 0 631683268 18132992 3482 4294967295 134512640 134714540 3221221776 3221220416 134696126 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4427 3482 1111 63 0 4364 0 vsize: 17708 [startup+550.027 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11667 Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 3534 0 0 0 54910 96 0 0 25 0 1 0 631683268 18132992 3509 4294967295 134512640 134714540 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4427 3509 1111 63 0 4364 0 vsize: 17708 [startup+560.027 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11667 Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 3535 0 0 0 55909 97 0 0 25 0 1 0 631683268 18132992 3510 4294967295 134512640 134714540 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4427 3510 1111 63 0 4364 0 vsize: 17708 [startup+570.028 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11667 Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 3543 0 0 0 56908 98 0 0 25 0 1 0 631683268 18268160 3518 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4460 3518 1111 63 0 4397 0 vsize: 17840 [startup+580.028 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11667 Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 3586 0 0 0 57907 100 0 0 25 0 1 0 631683268 18403328 3561 4294967295 134512640 134714540 3221221776 3221220540 134552651 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4493 3561 1111 63 0 4430 0 vsize: 17972 [startup+590.028 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11667 Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 3655 0 0 0 58905 101 0 0 25 0 1 0 631683268 18653184 3630 4294967295 134512640 134714540 3221221776 3221220544 134592104 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4554 3630 1111 63 0 4491 0 vsize: 18216 [startup+600.028 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11667 Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 3796 0 0 0 59904 103 0 0 25 0 1 0 631683268 19189760 3771 4294967295 134512640 134714540 3221221776 3221220432 134536630 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4685 3771 1111 63 0 4622 0 vsize: 18740 [startup+610.028 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11667 Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 3890 0 0 0 60903 104 0 0 25 0 1 0 631683268 19587072 3865 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4782 3865 1111 63 0 4719 0 vsize: 19128 [startup+620.029 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11667 Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 3934 0 0 0 61901 106 0 0 25 0 1 0 631683268 19812352 3909 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4837 3909 1111 63 0 4774 0 vsize: 19348 [startup+630.029 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11667 Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 3969 0 0 0 62899 108 0 0 25 0 1 0 631683268 19947520 3944 4294967295 134512640 134714540 3221221776 3221220384 134549463 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4870 3944 1111 63 0 4807 0 vsize: 19480 [startup+640.029 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11667 Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 3971 0 0 0 63898 109 0 0 25 0 1 0 631683268 19947520 3946 4294967295 134512640 134714540 3221221776 3221220544 134592104 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4870 3946 1111 63 0 4807 0 vsize: 19480 [startup+650.029 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11667 Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 3991 0 0 0 64897 110 0 0 25 0 1 0 631683268 20082688 3966 4294967295 134512640 134714540 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4903 3966 1111 63 0 4840 0 vsize: 19612 [startup+660.03 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11667 Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 4018 0 0 0 65896 112 0 0 25 0 1 0 631683268 20217856 3993 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4936 3993 1111 63 0 4873 0 vsize: 19744 [startup+670.03 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11667 Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 4063 0 0 0 66895 113 0 0 25 0 1 0 631683268 20353024 4038 4294967295 134512640 134714540 3221221776 3221220384 134549313 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4969 4038 1111 63 0 4906 0 vsize: 19876 [startup+680.03 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11667 Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 4114 0 0 0 67894 114 0 0 25 0 1 0 631683268 20488192 4089 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5002 4089 1111 63 0 4939 0 vsize: 20008 [startup+690.031 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11667 Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 4170 0 0 0 68892 116 0 0 25 0 1 0 631683268 20754432 4145 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5067 4145 1111 63 0 5004 0 vsize: 20268 [startup+700.031 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11667 Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 4212 0 0 0 69891 118 0 0 25 0 1 0 631683268 20889600 4187 4294967295 134512640 134714540 3221221776 3221220332 134535664 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5100 4187 1111 63 0 5037 0 vsize: 20400 [startup+710.032 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11667 Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 4234 0 0 0 70890 119 0 0 25 0 1 0 631683268 21020672 4209 4294967295 134512640 134714540 3221221776 3221220432 134543684 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5132 4209 1111 63 0 5069 0 vsize: 20528 [startup+720.032 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11667 Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 4273 0 0 0 71888 121 0 0 25 0 1 0 631683268 21155840 4248 4294967295 134512640 134714540 3221221776 3221220536 134552578 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5165 4248 1111 63 0 5102 0 vsize: 20660 [startup+730.032 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11667 Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 4316 0 0 0 72887 123 0 0 25 0 1 0 631683268 21426176 4291 4294967295 134512640 134714540 3221221776 3221220332 134535978 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5231 4291 1111 63 0 5168 0 vsize: 20924 [startup+740.032 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11667 Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 4337 0 0 0 73885 124 0 0 25 0 1 0 631683268 21426176 4312 4294967295 134512640 134714540 3221221776 3221220384 134548843 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5231 4312 1111 63 0 5168 0 vsize: 20924 [startup+750.033 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11667 Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 4360 0 0 0 74883 126 0 0 25 0 1 0 631683268 21561344 4335 4294967295 134512640 134714540 3221221776 3221220544 134592104 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5264 4335 1111 63 0 5201 0 vsize: 21056 [startup+760.033 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11667 Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 4403 0 0 0 75882 127 0 0 25 0 1 0 631683268 21696512 4378 4294967295 134512640 134714540 3221221776 3221220536 134552578 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5297 4378 1111 63 0 5234 0 vsize: 21188 [startup+770.034 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11667 Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 4551 0 0 0 76881 129 0 0 25 0 1 0 631683268 22364160 4526 4294967295 134512640 134714540 3221221776 3221220172 1077379843 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5460 4526 1111 63 0 5397 0 vsize: 21840 [startup+780.033 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11667 Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 4646 0 0 0 77879 131 0 0 25 0 1 0 631683268 22728704 4621 4294967295 134512640 134714540 3221221776 3221220408 134696382 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5549 4621 1111 63 0 5486 0 vsize: 22196 [startup+790.034 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11667 Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 4728 0 0 0 78877 133 0 0 25 0 1 0 631683268 23134208 4703 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5648 4703 1111 63 0 5585 0 vsize: 22592 [startup+800.034 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11667 Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 4740 0 0 0 79876 135 0 0 25 0 1 0 631683268 23134208 4715 4294967295 134512640 134714540 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5648 4715 1111 63 0 5585 0 vsize: 22592 [startup+810.035 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11667 Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 4764 0 0 0 80875 136 0 0 25 0 1 0 631683268 23269376 4739 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5681 4739 1111 63 0 5618 0 vsize: 22724 [startup+820.036 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11667 Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 4772 0 0 0 81874 137 0 0 25 0 1 0 631683268 23269376 4747 4294967295 134512640 134714540 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5681 4747 1111 63 0 5618 0 vsize: 22724 [startup+830.036 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11667 Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 4775 0 0 0 82873 138 0 0 25 0 1 0 631683268 23269376 4750 4294967295 134512640 134714540 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5681 4750 1111 63 0 5618 0 vsize: 22724 [startup+840.037 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11667 Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 4805 0 0 0 83872 139 0 0 25 0 1 0 631683268 23404544 4780 4294967295 134512640 134714540 3221221776 3221220432 134536730 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5714 4780 1111 63 0 5651 0 vsize: 22856 [startup+850.038 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11667 Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 4827 0 0 0 84871 141 0 0 25 0 1 0 631683268 23539712 4802 4294967295 134512640 134714540 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5747 4802 1111 63 0 5684 0 vsize: 22988 [startup+860.038 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11667 Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 4843 0 0 0 85870 142 0 0 25 0 1 0 631683268 23539712 4818 4294967295 134512640 134714540 3221221776 3221220496 134523869 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5747 4818 1111 63 0 5684 0 vsize: 22988 [startup+870.038 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11667 Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 4844 0 0 0 86869 143 0 0 25 0 1 0 631683268 23539712 4819 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5747 4819 1111 63 0 5684 0 vsize: 22988 [startup+880.038 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11667 Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 4862 0 0 0 87868 145 0 0 25 0 1 0 631683268 23674880 4837 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5780 4837 1111 63 0 5717 0 vsize: 23120 [startup+890.039 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11667 Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 4869 0 0 0 88866 146 0 0 25 0 1 0 631683268 23674880 4844 4294967295 134512640 134714540 3221221776 3221220412 134552682 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5780 4844 1111 63 0 5717 0 vsize: 23120 [startup+900.039 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11667 Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 4874 0 0 0 89865 147 0 0 25 0 1 0 631683268 23674880 4849 4294967295 134512640 134714540 3221221776 3221220500 1076647544 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5780 4849 1111 63 0 5717 0 vsize: 23120 [startup+910.039 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11667 Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 4890 0 0 0 90864 148 0 0 25 0 1 0 631683268 23674880 4865 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5780 4865 1111 63 0 5717 0 vsize: 23120 [startup+920.04 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11667 Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 4896 0 0 0 91863 150 0 0 25 0 1 0 631683268 23810048 4871 4294967295 134512640 134714540 3221221776 3221220616 134586220 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5813 4871 1111 63 0 5750 0 vsize: 23252 [startup+930.041 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11667 Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 4913 0 0 0 92861 152 0 0 25 0 1 0 631683268 23810048 4888 4294967295 134512640 134714540 3221221776 3221220324 134696760 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5813 4888 1111 63 0 5750 0 vsize: 23252 [startup+940.041 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11667 Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 4923 0 0 0 93861 153 0 0 25 0 1 0 631683268 23810048 4898 4294967295 134512640 134714540 3221221776 3221220368 134549668 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5813 4898 1111 63 0 5750 0 vsize: 23252 [startup+950.041 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11667 Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 4933 0 0 0 94859 154 0 0 25 0 1 0 631683268 23945216 4908 4294967295 134512640 134714540 3221221776 3221220528 134592443 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5846 4908 1111 63 0 5783 0 vsize: 23384 [startup+960.042 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11667 Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 4948 0 0 0 95858 155 0 0 25 0 1 0 631683268 23945216 4923 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5846 4923 1111 63 0 5783 0 vsize: 23384 [startup+970.042 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11667 Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 4948 0 0 0 96857 156 0 0 25 0 1 0 631683268 23945216 4923 4294967295 134512640 134714540 3221221776 3221220476 134534084 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5846 4923 1111 63 0 5783 0 vsize: 23384 [startup+980.042 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11667 Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 4977 0 0 0 97856 158 0 0 25 0 1 0 631683268 24068096 4952 4294967295 134512640 134714540 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5876 4952 1111 63 0 5813 0 vsize: 23504 [startup+990.043 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11667 Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 4980 0 0 0 98855 159 0 0 25 0 1 0 631683268 24068096 4955 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5876 4955 1111 63 0 5813 0 vsize: 23504 [startup+1000.04 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11667 Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 4995 0 0 0 99853 161 0 0 25 0 1 0 631683268 24203264 4970 4294967295 134512640 134714540 3221221776 3221220544 134529157 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5909 4970 1111 63 0 5846 0 vsize: 23636 [startup+1010.04 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11667 Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 5013 0 0 0 100853 162 0 0 25 0 1 0 631683268 24203264 4988 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5909 4988 1111 63 0 5846 0 vsize: 23636 [startup+1020.05 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11667 Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 5050 0 0 0 101852 163 0 0 25 0 1 0 631683268 24338432 5025 4294967295 134512640 134714540 3221221776 3221220332 134535903 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5942 5025 1111 63 0 5879 0 vsize: 23768 [startup+1030.05 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11667 Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 5091 0 0 0 102850 165 0 0 25 0 1 0 631683268 24604672 5066 4294967295 134512640 134714540 3221221776 3221220384 134549327 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6007 5066 1111 63 0 5944 0 vsize: 24028 [startup+1040.05 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11667 Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 5121 0 0 0 103849 167 0 0 25 0 1 0 631683268 24739840 5096 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6040 5096 1111 63 0 5977 0 vsize: 24160 [startup+1050.05 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11667 Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 5158 0 0 0 104848 167 0 0 25 0 1 0 631683268 24875008 5133 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6073 5133 1111 63 0 6010 0 vsize: 24292 [startup+1060.05 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11667 Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 5169 0 0 0 105848 168 0 0 25 0 1 0 631683268 24875008 5144 4294967295 134512640 134714540 3221221776 3221220492 134552682 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6073 5144 1111 63 0 6010 0 vsize: 24292 [startup+1070.05 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11667 Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 5169 0 0 0 106847 169 0 0 25 0 1 0 631683268 24875008 5144 4294967295 134512640 134714540 3221221776 3221220272 134535391 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6073 5144 1111 63 0 6010 0 vsize: 24292 [startup+1080.05 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11667 Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 5309 0 0 0 107846 170 0 0 25 0 1 0 631683268 25403392 5284 4294967295 134512640 134714540 3221221776 3221220560 134529097 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6202 5284 1111 63 0 6139 0 vsize: 24808 [startup+1090.05 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11667 Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 5432 0 0 0 108844 172 0 0 25 0 1 0 631683268 25931776 5407 4294967295 134512640 134714540 3221221776 3221220172 1077379843 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6331 5407 1111 63 0 6268 0 vsize: 25324 [startup+1100.05 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11667 Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 5568 0 0 0 109843 174 0 0 25 0 1 0 631683268 26464256 5543 4294967295 134512640 134714540 3221221776 3221220440 134539345 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6461 5543 1111 63 0 6398 0 vsize: 25844 [startup+1110.05 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11667 Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 5717 0 0 0 110841 176 0 0 25 0 1 0 631683268 27140096 5692 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6626 5692 1111 63 0 6563 0 vsize: 26504 [startup+1120.05 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11667 Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 5793 0 0 0 111840 177 0 0 25 0 1 0 631683268 27406336 5768 4294967295 134512640 134714540 3221221776 3221220492 134552672 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6691 5768 1111 63 0 6628 0 vsize: 26764 [startup+1130.05 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11667 Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 5834 0 0 0 112838 179 0 0 25 0 1 0 631683268 27541504 5809 4294967295 134512640 134714540 3221221776 3221220280 134613965 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6724 5809 1111 63 0 6661 0 vsize: 26896 [startup+1140.05 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11667 Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 5885 0 0 0 113837 181 0 0 25 0 1 0 631683268 27811840 5860 4294967295 134512640 134714540 3221221776 3221220416 134523874 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6790 5860 1111 63 0 6727 0 vsize: 27160 [startup+1150.05 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11667 Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 5923 0 0 0 114835 182 0 0 25 0 1 0 631683268 27947008 5898 4294967295 134512640 134714540 3221221776 3221220452 134536649 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6823 5898 1111 63 0 6760 0 vsize: 27292 [startup+1160.05 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11667 Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 6012 0 0 0 115834 184 0 0 25 0 1 0 631683268 28352512 5987 4294967295 134512640 134714540 3221221776 3221220480 134528595 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6922 5987 1111 63 0 6859 0 vsize: 27688 [startup+1170.05 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11667 Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 6060 0 0 0 116832 186 0 0 25 0 1 0 631683268 28487680 6035 4294967295 134512640 134714540 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6955 6035 1111 63 0 6892 0 vsize: 27820 [startup+1174.9 s] Raw data (loadavg): 0.99 0.97 0.93 1/53 11667 Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 6060 0 0 0 116832 186 0 0 25 0 1 0 631683268 28487680 6035 4294967295 134512640 134714540 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6955 6035 1111 63 0 6892 0 vsize: 0 Child status: 0 Real time (s): 1174.9 CPU time (s): 1175.04 CPU user time (s): 1173.16 CPU system time (s): 1.88071 CPU usage (%): 100.012 Max. virtual memory (Kb): 27820 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####