Name | normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga25_24_sat_pb.cnf.cr.opb |
MD5SUM | c84a64f67029a09ef823a1b3017b5713 |
Bench Category | no optimization function (SAT) |
Has Objective Function | NO |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 0 |
Optimality of the best value was proved | NO |
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 | 26 |
Number of bits of the biggest sum of numbers | 5 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 0.562914 |
Number of variables | 900 |
Total number of constraints | 673 |
Number of constraints which are clauses | 624 |
Number of constraints which are cardinality constraints (but not clauses) | 49 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 12 |
Maximum length of a constraint | 25 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc31 THE 2005-05-02 18:54:55 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=390 boxname=wulflinc31 idbench=44 idsolver=3 numberseed=0 MD5SUM SOLVER: 03a6a792daea978e4202f78851741568 /oldhome/oroussel/solvers/bsolo_mis MD5SUM BENCH: c84a64f67029a09ef823a1b3017b5713 /oldhome/oroussel/tmp/wulflinc31/normalized-fpga25_24_sat_pb.cnf.cr.opb REAL COMMAND: bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-fpga25_24_sat_pb.cnf.cr.opb IDLAUNCH: 390 /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: 926628 kB Buffers: 38616 kB Cached: 47412 kB SwapCached: 944 kB Active: 72592 kB Inactive: 15940 kB HighTotal: 131008 kB HighFree: 82600 kB LowTotal: 903652 kB LowFree: 844028 kB SwapTotal: 2097892 kB SwapFree: 2096432 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5536 kB Slab: 13988 kB Committed_AS: 63656 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-02 19:14:30 (client local time) WITH STATUS 0 IN 1175.04 SECONDS stats: 390 7 1175.04 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: No cost function. Find solution and finish. c Initial problem consists of 900 variables and 673 constraints. c After prepocess the problem consists of 900 variables and 673 constraints. c preprocess terminated 0.933 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.92 0.98 0.97 2/54 27163 Raw data (stat): 27163 (runsolver) R 27162 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 642437184 1056768 100 4294967295 134512640 135381576 3221221680 3221216900 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0 Raw data (statm): 258 100 215 215 0 43 0 vsize: 1032 [startup+10.0008 s] Raw data (loadavg): 0.93 0.98 0.97 2/54 27163 Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 1756 0 0 0 989 7 0 0 25 0 1 0 642437184 10866688 1731 4294967295 134512640 134714540 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2653 1731 1111 63 0 2590 0 vsize: 10612 [startup+20.0008 s] Raw data (loadavg): 0.94 0.98 0.97 2/54 27163 Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 2081 0 0 0 1986 10 0 0 25 0 1 0 642437184 12218368 2056 4294967295 134512640 134714540 3221221776 3221220344 1077377714 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2983 2056 1111 63 0 2920 0 vsize: 11932 [startup+30.0017 s] Raw data (loadavg): 0.95 0.98 0.97 2/54 27163 Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 2238 0 0 0 2985 12 0 0 25 0 1 0 642437184 12754944 2213 4294967295 134512640 134714540 3221221776 3221220512 134528818 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3114 2213 1111 63 0 3051 0 vsize: 12456 [startup+40.0017 s] Raw data (loadavg): 0.96 0.98 0.97 2/54 27163 Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 2532 0 0 0 3982 14 0 0 25 0 1 0 642437184 13971456 2507 4294967295 134512640 134714540 3221221776 3221220372 134549856 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3411 2507 1111 63 0 3348 0 vsize: 13644 [startup+50.0026 s] Raw data (loadavg): 0.96 0.98 0.97 2/54 27163 Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 2820 0 0 0 4980 16 0 0 25 0 1 0 642437184 15163392 2795 4294967295 134512640 134714540 3221221776 3221220544 134529138 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3702 2795 1111 63 0 3639 0 vsize: 14808 [startup+60.0025 s] Raw data (loadavg): 0.97 0.98 0.97 2/54 27163 Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 2996 0 0 0 5977 19 0 0 25 0 1 0 642437184 15974400 2971 4294967295 134512640 134714540 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3900 2971 1111 63 0 3837 0 vsize: 15600 [startup+70.0024 s] Raw data (loadavg): 0.97 0.98 0.97 2/54 27163 Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 3079 0 0 0 6976 21 0 0 25 0 1 0 642437184 16240640 3054 4294967295 134512640 134714540 3221221776 3221220272 134535442 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3965 3054 1111 63 0 3902 0 vsize: 15860 [startup+80.0034 s] Raw data (loadavg): 0.98 0.98 0.97 2/54 27163 Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 3150 0 0 0 7975 22 0 0 25 0 1 0 642437184 16506880 3125 4294967295 134512640 134714540 3221221776 3221220428 134543588 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4030 3125 1111 63 0 3967 0 vsize: 16120 [startup+90.0033 s] Raw data (loadavg): 0.98 0.98 0.97 2/54 27163 Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 3210 0 0 0 8974 24 0 0 25 0 1 0 642437184 16777216 3185 4294967295 134512640 134714540 3221221776 3221220332 134535664 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4096 3185 1111 63 0 4033 0 vsize: 16384 [startup+100.004 s] Raw data (loadavg): 0.98 0.98 0.97 2/54 27163 Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 3244 0 0 0 9973 25 0 0 25 0 1 0 642437184 16912384 3219 4294967295 134512640 134714540 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4129 3219 1111 63 0 4066 0 vsize: 16516 [startup+110.005 s] Raw data (loadavg): 0.98 0.98 0.97 2/54 27163 Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 3313 0 0 0 10972 26 0 0 25 0 1 0 642437184 17154048 3288 4294967295 134512640 134714540 3221221776 3221220216 1077377827 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4188 3288 1111 63 0 4125 0 vsize: 16752 [startup+120.005 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 27163 Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 3393 0 0 0 11971 27 0 0 25 0 1 0 642437184 17555456 3368 4294967295 134512640 134714540 3221221776 3221220332 134535956 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4286 3368 1111 63 0 4223 0 vsize: 17144 [startup+130.006 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 27163 Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 3465 0 0 0 12970 28 0 0 25 0 1 0 642437184 17821696 3440 4294967295 134512640 134714540 3221221776 3221220340 134696436 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4351 3440 1111 63 0 4288 0 vsize: 17404 [startup+140.006 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 27163 Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 3516 0 0 0 13968 30 0 0 25 0 1 0 642437184 18063360 3491 4294967295 134512640 134714540 3221221776 3221220172 1077379821 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4410 3491 1111 63 0 4347 0 vsize: 17640 [startup+150.007 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 27163 Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 3570 0 0 0 14967 32 0 0 25 0 1 0 642437184 18333696 3545 4294967295 134512640 134714540 3221221776 3221220496 134535790 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4476 3545 1111 63 0 4413 0 vsize: 17904 [startup+160.008 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 27163 Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 3611 0 0 0 15965 34 0 0 25 0 1 0 642437184 18468864 3586 4294967295 134512640 134714540 3221221776 3221220332 134535631 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4509 3586 1111 63 0 4446 0 vsize: 18036 [startup+170.008 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 27163 Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 3665 0 0 0 16964 35 0 0 25 0 1 0 642437184 18604032 3640 4294967295 134512640 134714540 3221221776 3221220544 134592104 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4542 3640 1111 63 0 4479 0 vsize: 18168 [startup+180.008 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 27163 Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 3693 0 0 0 17962 37 0 0 25 0 1 0 642437184 18739200 3668 4294967295 134512640 134714540 3221221776 3221220368 134549680 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4575 3668 1111 63 0 4512 0 vsize: 18300 [startup+190.009 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 27163 Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 3711 0 0 0 18960 39 0 0 25 0 1 0 642437184 18870272 3686 4294967295 134512640 134714540 3221221776 3221220432 134536630 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4607 3686 1111 63 0 4544 0 vsize: 18428 [startup+200.01 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 27163 Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 3739 0 0 0 19959 40 0 0 25 0 1 0 642437184 19005440 3714 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4640 3714 1111 63 0 4577 0 vsize: 18560 [startup+210.01 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 27163 Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 3746 0 0 0 20958 42 0 0 25 0 1 0 642437184 18997248 3721 4294967295 134512640 134714540 3221221776 3221220452 134551958 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4638 3721 1111 63 0 4575 0 vsize: 18552 [startup+220.01 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 27163 Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 3776 0 0 0 21956 44 0 0 25 0 1 0 642437184 19124224 3751 4294967295 134512640 134714540 3221221776 3221220380 134536763 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4669 3751 1111 63 0 4606 0 vsize: 18676 [startup+230.011 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 27163 Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 3794 0 0 0 22955 45 0 0 25 0 1 0 642437184 19124224 3769 4294967295 134512640 134714540 3221221776 3221220404 134696293 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4669 3769 1111 63 0 4606 0 vsize: 18676 [startup+240.011 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 27163 Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 3802 0 0 0 23953 46 0 0 25 0 1 0 642437184 19251200 3777 4294967295 134512640 134714540 3221221776 3221220464 134536630 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4700 3777 1111 63 0 4637 0 vsize: 18800 [startup+250.012 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 27163 Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 3826 0 0 0 24952 48 0 0 25 0 1 0 642437184 19251200 3801 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4700 3801 1111 63 0 4637 0 vsize: 18800 [startup+260.012 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 27163 Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 4021 0 0 0 25951 49 0 0 25 0 1 0 642437184 20058112 3996 4294967295 134512640 134714540 3221221776 3221220452 134551958 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4897 3996 1111 63 0 4834 0 vsize: 19588 [startup+270.013 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 27163 Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 4058 0 0 0 26950 50 0 0 25 0 1 0 642437184 20328448 4033 4294967295 134512640 134714540 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4963 4033 1111 63 0 4900 0 vsize: 19852 [startup+280.013 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 27163 Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 4068 0 0 0 27949 51 0 0 25 0 1 0 642437184 20328448 4043 4294967295 134512640 134714540 3221221776 3221220416 134539518 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4963 4043 1111 63 0 4900 0 vsize: 19852 [startup+290.013 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 27163 Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 4073 0 0 0 28948 52 0 0 25 0 1 0 642437184 20328448 4048 4294967295 134512640 134714540 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4963 4048 1111 63 0 4900 0 vsize: 19852 [startup+300.014 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 27163 Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 4108 0 0 0 29947 54 0 0 25 0 1 0 642437184 20463616 4083 4294967295 134512640 134714540 3221221776 3221220432 134536643 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4996 4083 1111 63 0 4933 0 vsize: 19984 [startup+310.014 s] Raw data (loadavg): 0.99 0.98 0.97 3/57 27203 Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 4168 0 0 0 30941 60 0 0 25 0 1 0 642437184 20733952 4143 4294967295 134512640 134714540 3221221776 3221220480 134528538 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5062 4143 1111 63 0 4999 0 vsize: 20248 [startup+320.015 s] Raw data (loadavg): 1.07 1.00 0.98 2/54 27216 Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 4203 0 0 0 31939 61 0 0 25 0 1 0 642437184 20869120 4178 4294967295 134512640 134714540 3221221776 3221220536 134592379 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5095 4178 1111 63 0 5032 0 vsize: 20380 [startup+330.016 s] Raw data (loadavg): 1.06 1.00 0.98 2/54 27216 Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 4217 0 0 0 32939 62 0 0 25 0 1 0 642437184 20869120 4192 4294967295 134512640 134714540 3221221776 3221220480 134528650 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5095 4192 1111 63 0 5032 0 vsize: 20380 [startup+340.016 s] Raw data (loadavg): 1.05 1.00 0.98 2/54 27216 Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 4217 0 0 0 33938 63 0 0 25 0 1 0 642437184 20869120 4192 4294967295 134512640 134714540 3221221776 3221220416 134696083 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5095 4192 1111 63 0 5032 0 vsize: 20380 [startup+350.018 s] Raw data (loadavg): 1.04 1.00 0.98 2/54 27216 Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 4236 0 0 0 34937 64 0 0 25 0 1 0 642437184 21004288 4211 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5128 4211 1111 63 0 5065 0 vsize: 20512 [startup+360.019 s] Raw data (loadavg): 1.03 1.00 0.98 2/54 27216 Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 4263 0 0 0 35936 66 0 0 25 0 1 0 642437184 21139456 4238 4294967295 134512640 134714540 3221221776 3221220520 134558492 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5161 4238 1111 63 0 5098 0 vsize: 20644 [startup+370.018 s] Raw data (loadavg): 1.03 1.00 0.98 2/54 27216 Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 4289 0 0 0 36935 66 0 0 25 0 1 0 642437184 21274624 4264 4294967295 134512640 134714540 3221221776 3221220440 134523854 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5194 4264 1111 63 0 5131 0 vsize: 20776 [startup+380.018 s] Raw data (loadavg): 1.02 1.00 0.98 2/54 27216 Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 4299 0 0 0 37934 68 0 0 25 0 1 0 642437184 21274624 4274 4294967295 134512640 134714540 3221221776 3221220496 134584741 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5194 4274 1111 63 0 5131 0 vsize: 20776 [startup+390.019 s] Raw data (loadavg): 1.02 1.00 0.98 2/54 27218 Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 4299 0 0 0 38933 69 0 0 25 0 1 0 642437184 21274624 4274 4294967295 134512640 134714540 3221221776 3221220352 134542794 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5194 4274 1111 63 0 5131 0 vsize: 20776 [startup+400.019 s] Raw data (loadavg): 1.02 1.00 0.98 2/54 27218 Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 4354 0 0 0 39933 70 0 0 25 0 1 0 642437184 21544960 4329 4294967295 134512640 134714540 3221221776 3221220276 134697124 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5260 4329 1111 63 0 5197 0 vsize: 21040 [startup+410.02 s] Raw data (loadavg): 1.01 1.00 0.98 2/54 27218 Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 4354 0 0 0 40933 70 0 0 25 0 1 0 642437184 21442560 4329 4294967295 134512640 134714540 3221221776 3221220520 134558492 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5235 4329 1111 63 0 5172 0 vsize: 20940 [startup+420.02 s] Raw data (loadavg): 1.01 1.00 0.98 2/54 27218 Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 4456 0 0 0 41932 71 0 0 25 0 1 0 642437184 21958656 4431 4294967295 134512640 134714540 3221221776 3221220428 134536779 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5361 4431 1111 63 0 5298 0 vsize: 21444 [startup+430.021 s] Raw data (loadavg): 1.01 1.00 0.98 2/54 27218 Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 4456 0 0 0 42931 72 0 0 25 0 1 0 642437184 21958656 4431 4294967295 134512640 134714540 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5361 4431 1111 63 0 5298 0 vsize: 21444 [startup+440.021 s] Raw data (loadavg): 1.01 1.00 0.98 2/54 27218 Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 4525 0 0 0 43931 73 0 0 25 0 1 0 642437184 22228992 4500 4294967295 134512640 134714540 3221221776 3221220272 134535448 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5427 4500 1111 63 0 5364 0 vsize: 21708 [startup+450.022 s] Raw data (loadavg): 1.00 1.00 0.98 2/54 27218 Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 4538 0 0 0 44930 73 0 0 25 0 1 0 642437184 22228992 4513 4294967295 134512640 134714540 3221221776 3221220428 134536766 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5427 4513 1111 63 0 5364 0 vsize: 21708 [startup+460.023 s] Raw data (loadavg): 1.00 1.00 0.98 2/54 27218 Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 4542 0 0 0 45930 73 0 0 25 0 1 0 642437184 22228992 4517 4294967295 134512640 134714540 3221221776 3221220344 1077377218 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5427 4517 1111 63 0 5364 0 vsize: 21708 [startup+470.023 s] Raw data (loadavg): 1.00 1.00 0.98 2/54 27218 Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 4569 0 0 0 46929 74 0 0 25 0 1 0 642437184 22364160 4544 4294967295 134512640 134714540 3221221776 3221220584 134558582 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5460 4544 1111 63 0 5397 0 vsize: 21840 [startup+480.023 s] Raw data (loadavg): 1.00 1.00 0.98 2/54 27218 Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 4573 0 0 0 47929 75 0 0 25 0 1 0 642437184 22364160 4548 4294967295 134512640 134714540 3221221776 3221220392 134613957 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5460 4548 1111 63 0 5397 0 vsize: 21840 [startup+490.023 s] Raw data (loadavg): 1.00 1.00 0.98 2/54 27218 Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 4610 0 0 0 48928 76 0 0 25 0 1 0 642437184 22450176 4582 4294967295 134512640 134714540 3221221776 3221220404 134696257 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5481 4582 1111 63 0 5418 0 vsize: 21924 [startup+500.023 s] Raw data (loadavg): 1.00 1.00 0.98 2/54 27218 Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 4610 0 0 0 49928 77 0 0 25 0 1 0 642437184 22450176 4582 4294967295 134512640 134714540 3221221776 3221220384 134523333 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5481 4582 1111 63 0 5418 0 vsize: 21924 [startup+510.024 s] Raw data (loadavg): 1.00 1.00 0.98 2/54 27218 Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 4610 0 0 0 50927 77 0 0 25 0 1 0 642437184 22450176 4582 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5481 4582 1111 63 0 5418 0 vsize: 21924 [startup+520.024 s] Raw data (loadavg): 1.00 1.00 0.98 2/54 27218 Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 4610 0 0 0 51926 78 0 0 25 0 1 0 642437184 22450176 4582 4294967295 134512640 134714540 3221221776 3221220416 134539382 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5481 4582 1111 63 0 5418 0 vsize: 21924 [startup+530.024 s] Raw data (loadavg): 1.00 1.00 0.98 2/54 27218 Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 4610 0 0 0 52926 79 0 0 25 0 1 0 642437184 22450176 4582 4294967295 134512640 134714540 3221221776 3221220400 134542350 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5481 4582 1111 63 0 5418 0 vsize: 21924 [startup+540.024 s] Raw data (loadavg): 1.00 1.00 0.98 2/54 27218 Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 4623 0 0 0 53926 79 0 0 25 0 1 0 642437184 22585344 4595 4294967295 134512640 134714540 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5514 4595 1111 63 0 5451 0 vsize: 22056 [startup+550.025 s] Raw data (loadavg): 1.00 1.00 0.98 2/54 27218 Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 4675 0 0 0 54925 80 0 0 25 0 1 0 642437184 22720512 4647 4294967295 134512640 134714540 3221221776 3221220544 134592104 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5547 4647 1111 63 0 5484 0 vsize: 22188 [startup+560.025 s] Raw data (loadavg): 1.00 1.00 0.98 2/54 27218 Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 4764 0 0 0 55924 82 0 0 25 0 1 0 642437184 23126016 4736 4294967295 134512640 134714540 3221221776 3221220544 134592104 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5646 4736 1111 63 0 5583 0 vsize: 22584 [startup+570.025 s] Raw data (loadavg): 1.00 1.00 0.98 2/54 27218 Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 4789 0 0 0 56923 82 0 0 25 0 1 0 642437184 23261184 4761 4294967295 134512640 134714540 3221221776 3221220416 134539516 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5679 4761 1111 63 0 5616 0 vsize: 22716 [startup+580.026 s] Raw data (loadavg): 1.00 1.00 0.98 2/54 27218 Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 4873 0 0 0 57922 84 0 0 25 0 1 0 642437184 23527424 4845 4294967295 134512640 134714540 3221221776 3221220416 134542350 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5744 4845 1111 63 0 5681 0 vsize: 22976 [startup+590.026 s] Raw data (loadavg): 1.00 1.00 0.98 2/54 27218 Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 5106 0 0 0 58921 85 0 0 25 0 1 0 642437184 24600576 5078 4294967295 134512640 134714540 3221221776 3221220356 134696296 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6006 5078 1111 63 0 5943 0 vsize: 24024 [startup+600.027 s] Raw data (loadavg): 1.00 1.00 0.98 2/54 27218 Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 5170 0 0 0 59920 86 0 0 25 0 1 0 642437184 24854528 5142 4294967295 134512640 134714540 3221221776 3221220560 134528959 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6068 5142 1111 63 0 6005 0 vsize: 24272 [startup+610.027 s] Raw data (loadavg): 1.00 1.00 0.98 2/54 27218 Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 5209 0 0 0 60920 87 0 0 25 0 1 0 642437184 24989696 5181 4294967295 134512640 134714540 3221221776 3221220368 134542808 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6101 5181 1111 63 0 6038 0 vsize: 24404 [startup+620.027 s] Raw data (loadavg): 1.00 1.00 0.98 2/54 27218 Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 5261 0 0 0 61919 87 0 0 25 0 1 0 642437184 25124864 5233 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6134 5233 1111 63 0 6071 0 vsize: 24536 [startup+630.027 s] Raw data (loadavg): 1.00 1.00 0.98 2/54 27218 Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 5322 0 0 0 62918 88 0 0 25 0 1 0 642437184 25395200 5294 4294967295 134512640 134714540 3221221776 3221220512 134523983 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6200 5294 1111 63 0 6137 0 vsize: 24800 [startup+640.028 s] Raw data (loadavg): 1.00 1.00 0.98 2/54 27218 Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 5412 0 0 0 63918 89 0 0 25 0 1 0 642437184 25800704 5384 4294967295 134512640 134714540 3221221776 3221220400 134542352 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6299 5384 1111 63 0 6236 0 vsize: 25196 [startup+650.028 s] Raw data (loadavg): 1.00 1.00 0.98 2/54 27218 Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 5482 0 0 0 64917 91 0 0 25 0 1 0 642437184 26071040 5454 4294967295 134512640 134714540 3221221776 3221220436 134523855 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6365 5454 1111 63 0 6302 0 vsize: 25460 [startup+660.029 s] Raw data (loadavg): 1.00 1.00 0.98 2/54 27218 Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 5508 0 0 0 65916 91 0 0 25 0 1 0 642437184 26206208 5480 4294967295 134512640 134714540 3221221776 3221220400 134542347 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6398 5480 1111 63 0 6335 0 vsize: 25592 [startup+670.028 s] Raw data (loadavg): 1.00 1.00 0.98 2/54 27220 Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 5663 0 0 0 66915 93 0 0 25 0 1 0 642437184 26882048 5635 4294967295 134512640 134714540 3221221776 3221220480 134528656 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6563 5635 1111 63 0 6500 0 vsize: 26252 [startup+680.028 s] Raw data (loadavg): 1.00 1.00 0.98 2/54 27220 Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 5731 0 0 0 67914 93 0 0 25 0 1 0 642437184 27152384 5703 4294967295 134512640 134714540 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6629 5703 1111 63 0 6566 0 vsize: 26516 [startup+690.029 s] Raw data (loadavg): 1.00 1.00 0.98 2/54 27220 Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 5787 0 0 0 68914 94 0 0 25 0 1 0 642437184 27287552 5759 4294967295 134512640 134714540 3221221776 3221220272 134697125 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6662 5759 1111 63 0 6599 0 vsize: 26648 [startup+700.029 s] Raw data (loadavg): 1.00 1.00 0.98 2/54 27220 Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 5830 0 0 0 69913 95 0 0 25 0 1 0 642437184 27557888 5802 4294967295 134512640 134714540 3221221776 3221220324 134696760 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6728 5802 1111 63 0 6665 0 vsize: 26912 [startup+710.03 s] Raw data (loadavg): 1.00 1.00 0.98 2/54 27220 Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 5889 0 0 0 70912 96 0 0 25 0 1 0 642437184 27693056 5861 4294967295 134512640 134714540 3221221776 3221220360 134543606 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6761 5861 1111 63 0 6698 0 vsize: 27044 [startup+720.03 s] Raw data (loadavg): 1.00 1.00 0.98 2/54 27220 Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 5917 0 0 0 71911 97 0 0 25 0 1 0 642437184 27820032 5889 4294967295 134512640 134714540 3221221776 3221220332 134535967 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6792 5889 1111 63 0 6729 0 vsize: 27168 [startup+730.031 s] Raw data (loadavg): 1.00 1.00 0.98 2/54 27220 Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 5931 0 0 0 72910 99 0 0 25 0 1 0 642437184 27938816 5903 4294967295 134512640 134714540 3221221776 3221220524 134672920 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6821 5903 1111 63 0 6758 0 vsize: 27284 [startup+740.032 s] Raw data (loadavg): 1.00 1.00 0.98 2/54 27220 Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 5986 0 0 0 73909 99 0 0 25 0 1 0 642437184 28209152 5958 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6887 5958 1111 63 0 6824 0 vsize: 27548 [startup+750.033 s] Raw data (loadavg): 1.00 1.00 0.98 2/54 27220 Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 6008 0 0 0 74909 100 0 0 25 0 1 0 642437184 28209152 5980 4294967295 134512640 134714540 3221221776 3221220400 134696302 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6887 5980 1111 63 0 6824 0 vsize: 27548 [startup+760.034 s] Raw data (loadavg): 1.00 1.00 0.98 2/54 27220 Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 6028 0 0 0 75908 101 0 0 25 0 1 0 642437184 28344320 6000 4294967295 134512640 134714540 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6920 6000 1111 63 0 6857 0 vsize: 27680 [startup+770.034 s] Raw data (loadavg): 1.00 1.00 0.98 2/54 27220 Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 6041 0 0 0 76908 101 0 0 25 0 1 0 642437184 28344320 6013 4294967295 134512640 134714540 3221221776 3221220416 134613640 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6920 6013 1111 63 0 6857 0 vsize: 27680 [startup+780.035 s] Raw data (loadavg): 1.00 1.00 0.98 2/54 27220 Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 6091 0 0 0 77906 103 0 0 25 0 1 0 642437184 28614656 6063 4294967295 134512640 134714540 3221221776 3221220400 134536680 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6986 6063 1111 63 0 6923 0 vsize: 27944 [startup+790.035 s] Raw data (loadavg): 1.00 1.00 0.98 2/54 27220 Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 6109 0 0 0 78905 104 0 0 25 0 1 0 642437184 28614656 6081 4294967295 134512640 134714540 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6986 6081 1111 63 0 6923 0 vsize: 27944 [startup+800.035 s] Raw data (loadavg): 1.00 1.00 0.98 2/54 27220 Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 6136 0 0 0 79905 105 0 0 25 0 1 0 642437184 28749824 6108 4294967295 134512640 134714540 3221221776 3221220212 1077374576 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7019 6108 1111 63 0 6956 0 vsize: 28076 [startup+810.037 s] Raw data (loadavg): 1.00 1.00 0.98 2/54 27220 Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 6136 0 0 0 80904 106 0 0 25 0 1 0 642437184 28749824 6108 4294967295 134512640 134714540 3221221776 3221220368 134549757 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7019 6108 1111 63 0 6956 0 vsize: 28076 [startup+820.038 s] Raw data (loadavg): 1.00 1.00 0.98 2/54 27220 Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 6144 0 0 0 81904 106 0 0 25 0 1 0 642437184 28749824 6116 4294967295 134512640 134714540 3221221776 3221220396 134549508 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7019 6116 1111 63 0 6956 0 vsize: 28076 [startup+830.038 s] Raw data (loadavg): 1.00 1.00 0.98 2/54 27220 Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 6146 0 0 0 82904 107 0 0 25 0 1 0 642437184 28749824 6118 4294967295 134512640 134714540 3221221776 3221220368 134549594 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7019 6118 1111 63 0 6956 0 vsize: 28076 [startup+840.038 s] Raw data (loadavg): 1.00 1.00 0.98 2/54 27220 Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 6174 0 0 0 83903 108 0 0 25 0 1 0 642437184 28868608 6146 4294967295 134512640 134714540 3221221776 3221220408 134696049 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7048 6146 1111 63 0 6985 0 vsize: 28192 [startup+850.039 s] Raw data (loadavg): 1.00 1.00 0.98 2/54 27220 Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 6174 0 0 0 84902 109 0 0 25 0 1 0 642437184 28868608 6146 4294967295 134512640 134714540 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7048 6146 1111 63 0 6985 0 vsize: 28192 [startup+860.04 s] Raw data (loadavg): 1.00 1.00 0.98 2/54 27220 Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 6196 0 0 0 85901 110 0 0 25 0 1 0 642437184 29003776 6168 4294967295 134512640 134714540 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7081 6168 1111 63 0 7018 0 vsize: 28324 [startup+870.04 s] Raw data (loadavg): 1.00 1.00 0.98 2/54 27220 Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 6215 0 0 0 86901 111 0 0 25 0 1 0 642437184 29122560 6187 4294967295 134512640 134714540 3221221776 3221220272 134697297 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7110 6187 1111 63 0 7047 0 vsize: 28440 [startup+880.041 s] Raw data (loadavg): 1.00 1.00 0.98 2/54 27220 Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 6234 0 0 0 87900 112 0 0 25 0 1 0 642437184 29122560 6206 4294967295 134512640 134714540 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7110 6206 1111 63 0 7047 0 vsize: 28440 [startup+890.041 s] Raw data (loadavg): 1.00 1.00 0.98 2/54 27220 Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 6249 0 0 0 88899 112 0 0 25 0 1 0 642437184 29257728 6221 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7143 6221 1111 63 0 7080 0 vsize: 28572 [startup+900.042 s] Raw data (loadavg): 1.00 1.00 0.98 2/54 27220 Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 6250 0 0 0 89899 113 0 0 25 0 1 0 642437184 29224960 6222 4294967295 134512640 134714540 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7135 6222 1111 63 0 7072 0 vsize: 28540 [startup+910.043 s] Raw data (loadavg): 1.00 1.00 0.98 2/54 27220 Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 6286 0 0 0 90898 114 0 0 25 0 1 0 642437184 29360128 6258 4294967295 134512640 134714540 3221221776 3221220336 134542352 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7168 6258 1111 63 0 7105 0 vsize: 28672 [startup+920.043 s] Raw data (loadavg): 1.00 1.00 0.98 2/54 27220 Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 6349 0 0 0 91897 115 0 0 25 0 1 0 642437184 29630464 6321 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7234 6321 1111 63 0 7171 0 vsize: 28936 [startup+930.043 s] Raw data (loadavg): 1.00 1.00 0.98 2/54 27220 Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 6349 0 0 0 92897 115 0 0 25 0 1 0 642437184 29630464 6321 4294967295 134512640 134714540 3221221776 3221220384 134549463 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7234 6321 1111 63 0 7171 0 vsize: 28936 [startup+940.044 s] Raw data (loadavg): 1.00 1.00 0.98 2/54 27220 Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 6349 0 0 0 93897 115 0 0 25 0 1 0 642437184 29630464 6321 4294967295 134512640 134714540 3221221776 3221220336 134542347 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7234 6321 1111 63 0 7171 0 vsize: 28936 [startup+950.044 s] Raw data (loadavg): 1.00 1.00 0.98 2/54 27220 Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 6349 0 0 0 94897 116 0 0 25 0 1 0 642437184 29630464 6321 4294967295 134512640 134714540 3221221776 3221220332 134535967 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7234 6321 1111 63 0 7171 0 vsize: 28936 [startup+960.045 s] Raw data (loadavg): 1.00 1.00 0.98 2/54 27220 Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 6366 0 0 0 95897 116 0 0 25 0 1 0 642437184 29765632 6338 4294967295 134512640 134714540 3221221776 3221220416 134696114 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7267 6338 1111 63 0 7204 0 vsize: 29068 [startup+970.045 s] Raw data (loadavg): 1.00 1.00 0.98 2/54 27220 Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 6377 0 0 0 96896 117 0 0 25 0 1 0 642437184 29765632 6349 4294967295 134512640 134714540 3221221776 3221220368 134549594 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7267 6349 1111 63 0 7204 0 vsize: 29068 [startup+980.045 s] Raw data (loadavg): 1.00 1.00 0.98 2/54 27220 Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 6390 0 0 0 97896 117 0 0 25 0 1 0 642437184 29765632 6362 4294967295 134512640 134714540 3221221776 3221220544 134529115 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7267 6362 1111 63 0 7204 0 vsize: 29068 [startup+990.046 s] Raw data (loadavg): 1.00 1.00 0.98 2/54 27220 Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 6395 0 0 0 98895 118 0 0 25 0 1 0 642437184 29765632 6367 4294967295 134512640 134714540 3221221776 3221220324 134696446 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7267 6367 1111 63 0 7204 0 vsize: 29068 [startup+1000.05 s] Raw data (loadavg): 1.00 1.00 0.98 2/54 27220 Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 6414 0 0 0 99895 119 0 0 25 0 1 0 642437184 29900800 6386 4294967295 134512640 134714540 3221221776 3221220432 134536630 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7300 6386 1111 63 0 7237 0 vsize: 29200 [startup+1010.05 s] Raw data (loadavg): 1.00 1.00 0.98 2/54 27220 Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 6426 0 0 0 100894 120 0 0 25 0 1 0 642437184 29900800 6398 4294967295 134512640 134714540 3221221776 3221220416 134542300 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7300 6398 1111 63 0 7237 0 vsize: 29200 [startup+1020.05 s] Raw data (loadavg): 1.00 1.00 0.98 2/54 27220 Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 6429 0 0 0 101894 120 0 0 25 0 1 0 642437184 29900800 6401 4294967295 134512640 134714540 3221221776 3221220332 134535518 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7300 6401 1111 63 0 7237 0 vsize: 29200 [startup+1030.05 s] Raw data (loadavg): 1.00 1.00 0.98 2/54 27220 Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 6455 0 0 0 102893 121 0 0 25 0 1 0 642437184 30035968 6427 4294967295 134512640 134714540 3221221776 3221220384 134549480 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7333 6427 1111 63 0 7270 0 vsize: 29332 [startup+1040.05 s] Raw data (loadavg): 1.00 1.00 0.98 2/54 27220 Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 6480 0 0 0 103893 122 0 0 25 0 1 0 642437184 30171136 6452 4294967295 134512640 134714540 3221221776 3221220560 134529246 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7366 6452 1111 63 0 7303 0 vsize: 29464 [startup+1050.05 s] Raw data (loadavg): 1.00 1.00 0.98 2/54 27220 Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 6483 0 0 0 104893 122 0 0 25 0 1 0 642437184 30171136 6455 4294967295 134512640 134714540 3221221776 3221220452 1077374556 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7366 6455 1111 63 0 7303 0 vsize: 29464 [startup+1060.05 s] Raw data (loadavg): 1.00 1.00 0.98 2/54 27220 Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 6483 0 0 0 105892 123 0 0 25 0 1 0 642437184 30171136 6455 4294967295 134512640 134714540 3221221776 3221220332 134535956 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7366 6455 1111 63 0 7303 0 vsize: 29464 [startup+1070.05 s] Raw data (loadavg): 1.00 1.00 0.98 2/54 27220 Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 6483 0 0 0 106891 124 0 0 25 0 1 0 642437184 30171136 6455 4294967295 134512640 134714540 3221221776 3221220384 134549480 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7366 6455 1111 63 0 7303 0 vsize: 29464 [startup+1080.05 s] Raw data (loadavg): 1.00 1.00 0.98 2/54 27220 Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 6484 0 0 0 107890 125 0 0 25 0 1 0 642437184 30171136 6456 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7366 6456 1111 63 0 7303 0 vsize: 29464 [startup+1090.05 s] Raw data (loadavg): 1.00 1.00 0.98 2/54 27220 Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 6484 0 0 0 108890 125 0 0 25 0 1 0 642437184 30171136 6456 4294967295 134512640 134714540 3221221776 3221220416 134613454 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7366 6456 1111 63 0 7303 0 vsize: 29464 [startup+1100.05 s] Raw data (loadavg): 1.00 1.00 0.98 2/54 27220 Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 6484 0 0 0 109890 126 0 0 25 0 1 0 642437184 30171136 6456 4294967295 134512640 134714540 3221221776 3221220384 134543759 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7366 6456 1111 63 0 7303 0 vsize: 29464 [startup+1110.05 s] Raw data (loadavg): 1.00 1.00 0.98 2/54 27220 Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 6496 0 0 0 110889 127 0 0 25 0 1 0 642437184 30306304 6468 4294967295 134512640 134714540 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7399 6468 1111 63 0 7336 0 vsize: 29596 [startup+1120.05 s] Raw data (loadavg): 1.00 1.00 0.98 2/54 27220 Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 6500 0 0 0 111888 128 0 0 25 0 1 0 642437184 30285824 6472 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7394 6472 1111 63 0 7331 0 vsize: 29576 [startup+1130.05 s] Raw data (loadavg): 1.00 1.00 0.98 2/54 27220 Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 6502 0 0 0 112887 129 0 0 25 0 1 0 642437184 30285824 6474 4294967295 134512640 134714540 3221221776 3221220332 134535664 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7394 6474 1111 63 0 7331 0 vsize: 29576 [startup+1140.05 s] Raw data (loadavg): 1.00 1.00 0.98 2/54 27220 Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 6502 0 0 0 113886 130 0 0 25 0 1 0 642437184 30285824 6474 4294967295 134512640 134714540 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7394 6474 1111 63 0 7331 0 vsize: 29576 [startup+1150.05 s] Raw data (loadavg): 1.00 1.00 0.98 2/54 27220 Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 6506 0 0 0 114885 131 0 0 25 0 1 0 642437184 30285824 6478 4294967295 134512640 134714540 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7394 6478 1111 63 0 7331 0 vsize: 29576 [startup+1160.05 s] Raw data (loadavg): 1.00 1.00 0.98 2/54 27220 Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 6518 0 0 0 115884 133 0 0 25 0 1 0 642437184 30285824 6490 4294967295 134512640 134714540 3221221776 3221220412 134543664 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7394 6490 1111 63 0 7331 0 vsize: 29576 [startup+1170.05 s] Raw data (loadavg): 1.00 1.00 0.98 2/54 27220 Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 6536 0 0 0 116883 134 0 0 25 0 1 0 642437184 30420992 6508 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7427 6508 1111 63 0 7364 0 vsize: 29708 [startup+1174.91 s] Raw data (loadavg): 1.00 1.00 0.98 1/53 27220 Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 6536 0 0 0 116883 134 0 0 25 0 1 0 642437184 30420992 6508 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7427 6508 1111 63 0 7364 0 vsize: 0 Child status: 0 Real time (s): 1174.91 CPU time (s): 1175.04 CPU user time (s): 1173.68 CPU system time (s): 1.35979 CPU usage (%): 100.011 Max. virtual memory (Kb): 29708 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####