Name | normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga20_20_sat_pb.cnf.cr.opb |
MD5SUM | 4313884ec3fa396c713faf5f812fe6b8 |
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 | 21 |
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.136978 |
Number of variables | 600 |
Total number of constraints | 460 |
Number of constraints which are clauses | 420 |
Number of constraints which are cardinality constraints (but not clauses) | 40 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 10 |
Maximum length of a constraint | 20 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc31 THE 2005-05-02 16:54:41 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=372 boxname=wulflinc31 idbench=42 idsolver=3 numberseed=0 MD5SUM SOLVER: 03a6a792daea978e4202f78851741568 /oldhome/oroussel/solvers/bsolo_mis MD5SUM BENCH: 4313884ec3fa396c713faf5f812fe6b8 /oldhome/oroussel/tmp/wulflinc31/normalized-fpga20_20_sat_pb.cnf.cr.opb REAL COMMAND: bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-fpga20_20_sat_pb.cnf.cr.opb IDLAUNCH: 372 /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: 927040 kB Buffers: 38452 kB Cached: 47236 kB SwapCached: 944 kB Active: 72340 kB Inactive: 15772 kB HighTotal: 131008 kB HighFree: 82796 kB LowTotal: 903652 kB LowFree: 844244 kB SwapTotal: 2097892 kB SwapFree: 2096432 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5536 kB Slab: 13896 kB Committed_AS: 63656 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-02 17:14:17 (client local time) WITH STATUS 0 IN 1175.18 SECONDS stats: 372 7 1175.18 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: No cost function. Find solution and finish. c Initial problem consists of 600 variables and 460 constraints. c After prepocess the problem consists of 600 variables and 460 constraints. c preprocess terminated 0.472 s c Not use computed LB before first solution. s UNKNOWN c Exit Code: 0 c Total time: 1175.1 s #### END SOLVER DATA #### #### BEGIN WATCHER DATA #### Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds Enforcing VSIZE limit: 943718400 bytes Raw data (loadavg): 0.91 0.97 0.96 2/54 26093 Raw data (stat): 26093 (runsolver) R 26092 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 641715710 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.0002 s] Raw data (loadavg): 0.93 0.97 0.96 2/54 26093 Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 2058 0 0 0 984 9 0 0 25 0 1 0 641715710 12087296 2033 4294967295 134512640 134714540 3221221776 3221220724 134575033 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2951 2033 1111 63 0 2888 0 vsize: 11804 [startup+20.0001 s] Raw data (loadavg): 0.94 0.97 0.96 2/54 26093 Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 2777 0 0 0 1980 13 0 0 25 0 1 0 641715710 15044608 2752 4294967295 134512640 134714540 3221221776 3221220404 134543680 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3673 2752 1111 63 0 3610 0 vsize: 14692 [startup+30.001 s] Raw data (loadavg): 0.95 0.97 0.96 2/54 26093 Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 3757 0 0 0 2978 16 0 0 25 0 1 0 641715710 19095552 3732 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4662 3732 1111 63 0 4599 0 vsize: 18648 [startup+40.0009 s] Raw data (loadavg): 0.95 0.97 0.96 2/54 26093 Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 4305 0 0 0 3975 18 0 0 25 0 1 0 641715710 21258240 4280 4294967295 134512640 134714540 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5190 4280 1111 63 0 5127 0 vsize: 20760 [startup+50.0018 s] Raw data (loadavg): 0.96 0.97 0.96 2/54 26093 Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 4594 0 0 0 4974 19 0 0 25 0 1 0 641715710 22462464 4569 4294967295 134512640 134714540 3221221776 3221220448 134542865 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5484 4569 1111 63 0 5421 0 vsize: 21936 [startup+60.0017 s] Raw data (loadavg): 0.97 0.97 0.96 2/54 26093 Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 4704 0 0 0 5973 20 0 0 25 0 1 0 641715710 22859776 4679 4294967295 134512640 134714540 3221221776 3221220592 134590269 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5581 4679 1111 63 0 5518 0 vsize: 22324 [startup+70.0017 s] Raw data (loadavg): 0.97 0.97 0.96 2/54 26093 Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 4896 0 0 0 6972 22 0 0 25 0 1 0 641715710 23670784 4871 4294967295 134512640 134714540 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5779 4871 1111 63 0 5716 0 vsize: 23116 [startup+80.0186 s] Raw data (loadavg): 0.98 0.97 0.96 2/54 26093 Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 5069 0 0 0 7971 24 0 0 25 0 1 0 641715710 24346624 5044 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5944 5044 1111 63 0 5881 0 vsize: 23776 [startup+90.0185 s] Raw data (loadavg): 0.98 0.97 0.96 2/54 26093 Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 5227 0 0 0 8970 26 0 0 25 0 1 0 641715710 25022464 5202 4294967295 134512640 134714540 3221221776 3221220480 134528595 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6109 5202 1111 63 0 6046 0 vsize: 24436 [startup+100.019 s] Raw data (loadavg): 0.98 0.97 0.96 2/54 26093 Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 5413 0 0 0 9969 27 0 0 25 0 1 0 641715710 25817088 5388 4294967295 134512640 134714540 3221221776 3221220432 134523859 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6303 5388 1111 63 0 6240 0 vsize: 25212 [startup+110.02 s] Raw data (loadavg): 0.98 0.97 0.96 2/54 26093 Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 5620 0 0 0 10968 28 0 0 25 0 1 0 641715710 26779648 5595 4294967295 134512640 134714540 3221221776 3221220428 134536804 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6538 5595 1111 63 0 6475 0 vsize: 26152 [startup+120.02 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 26093 Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 5767 0 0 0 11967 30 0 0 25 0 1 0 641715710 27295744 5742 4294967295 134512640 134714540 3221221776 3221220384 134549305 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6664 5742 1111 63 0 6601 0 vsize: 26656 [startup+130.02 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 26093 Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 5884 0 0 0 12965 31 0 0 25 0 1 0 641715710 27832320 5858 4294967295 134512640 134714540 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6795 5858 1111 63 0 6732 0 vsize: 27180 [startup+140.02 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 26093 Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 6021 0 0 0 13965 32 0 0 25 0 1 0 641715710 28348416 5995 4294967295 134512640 134714540 3221221776 3221220520 134551632 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6921 5995 1111 63 0 6858 0 vsize: 27684 [startup+150.021 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 26093 Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 6180 0 0 0 14963 34 0 0 25 0 1 0 641715710 29024256 6154 4294967295 134512640 134714540 3221221776 3221220520 134558492 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7086 6154 1111 63 0 7023 0 vsize: 28344 [startup+160.022 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 26093 Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 6309 0 0 0 15962 35 0 0 25 0 1 0 641715710 29573120 6283 4294967295 134512640 134714540 3221221776 3221220524 134558545 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7220 6283 1111 63 0 7157 0 vsize: 28880 [startup+170.022 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 26093 Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 6373 0 0 0 16961 37 0 0 25 0 1 0 641715710 29843456 6347 4294967295 134512640 134714540 3221221776 3221220352 134549802 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7286 6347 1111 63 0 7223 0 vsize: 29144 [startup+180.022 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 26093 Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 6425 0 0 0 17960 37 0 0 25 0 1 0 641715710 30109696 6399 4294967295 134512640 134714540 3221221776 3221220368 134549544 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7351 6399 1111 63 0 7288 0 vsize: 29404 [startup+190.022 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 26093 Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 6508 0 0 0 18960 38 0 0 25 0 1 0 641715710 30380032 6482 4294967295 134512640 134714540 3221221776 3221220544 134551791 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7417 6482 1111 63 0 7354 0 vsize: 29668 [startup+200.023 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 26093 Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 6532 0 0 0 19959 39 0 0 25 0 1 0 641715710 30523392 6506 4294967295 134512640 134714540 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7452 6506 1111 63 0 7389 0 vsize: 29808 [startup+210.037 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 26093 Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 6572 0 0 0 20959 40 0 0 25 0 1 0 641715710 30658560 6546 4294967295 134512640 134714540 3221221776 3221220368 134549680 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7485 6546 1111 63 0 7422 0 vsize: 29940 [startup+220.052 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 26093 Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 6604 0 0 0 21960 41 0 0 25 0 1 0 641715710 30781440 6578 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7515 6578 1111 63 0 7452 0 vsize: 30060 [startup+230.052 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 26093 Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 6709 0 0 0 22960 42 0 0 25 0 1 0 641715710 31191040 6683 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7615 6683 1111 63 0 7552 0 vsize: 30460 [startup+240.052 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 26093 Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 6817 0 0 0 23959 43 0 0 25 0 1 0 641715710 31707136 6791 4294967295 134512640 134714540 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7741 6791 1111 63 0 7678 0 vsize: 30964 [startup+250.053 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 26093 Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 6854 0 0 0 24958 44 0 0 25 0 1 0 641715710 31842304 6828 4294967295 134512640 134714540 3221221776 3221220432 134536736 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7774 6828 1111 63 0 7711 0 vsize: 31096 [startup+260.052 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 26093 Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 6868 0 0 0 25957 45 0 0 25 0 1 0 641715710 31842304 6842 4294967295 134512640 134714540 3221221776 3221220432 134536630 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7774 6842 1111 63 0 7711 0 vsize: 31096 [startup+270.053 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 26093 Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 6872 0 0 0 26957 45 0 0 25 0 1 0 641715710 31842304 6846 4294967295 134512640 134714540 3221221776 3221220432 134536643 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7774 6846 1111 63 0 7711 0 vsize: 31096 [startup+280.053 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 26093 Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 6915 0 0 0 27957 46 0 0 25 0 1 0 641715710 32112640 6889 4294967295 134512640 134714540 3221221776 3221220316 134539243 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7840 6889 1111 63 0 7777 0 vsize: 31360 [startup+290.053 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 26093 Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 6917 0 0 0 28957 46 0 0 25 0 1 0 641715710 32112640 6891 4294967295 134512640 134714540 3221221776 3221220440 134543614 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7840 6891 1111 63 0 7777 0 vsize: 31360 [startup+300.054 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 26093 Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 6926 0 0 0 29957 46 0 0 25 0 1 0 641715710 32112640 6900 4294967295 134512640 134714540 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7840 6900 1111 63 0 7777 0 vsize: 31360 [startup+310.054 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 26093 Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 6959 0 0 0 30955 48 0 0 25 0 1 0 641715710 32247808 6933 4294967295 134512640 134714540 3221221776 3221220368 134549527 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7873 6933 1111 63 0 7810 0 vsize: 31492 [startup+320.054 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 26093 Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 6972 0 0 0 31955 49 0 0 25 0 1 0 641715710 32247808 6946 4294967295 134512640 134714540 3221221776 3221220560 134529097 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7873 6946 1111 63 0 7810 0 vsize: 31492 [startup+330.055 s] Raw data (loadavg): 1.07 0.99 0.97 2/56 26141 Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 6972 0 0 0 32953 50 0 0 25 0 1 0 641715710 32247808 6946 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7873 6946 1111 63 0 7810 0 vsize: 31492 [startup+340.055 s] Raw data (loadavg): 1.06 0.99 0.97 2/54 26146 Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 6972 0 0 0 33953 51 0 0 25 0 1 0 641715710 32247808 6946 4294967295 134512640 134714540 3221221776 3221220468 134528601 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7873 6946 1111 63 0 7810 0 vsize: 31492 [startup+350.056 s] Raw data (loadavg): 1.05 0.99 0.97 2/54 26146 Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 6982 0 0 0 34952 51 0 0 25 0 1 0 641715710 32387072 6956 4294967295 134512640 134714540 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7907 6956 1111 63 0 7844 0 vsize: 31628 [startup+360.057 s] Raw data (loadavg): 1.04 0.99 0.97 2/54 26146 Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 7022 0 0 0 35952 52 0 0 25 0 1 0 641715710 32518144 6996 4294967295 134512640 134714540 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7939 6996 1111 63 0 7876 0 vsize: 31756 [startup+370.057 s] Raw data (loadavg): 1.04 0.99 0.97 2/54 26146 Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 7092 0 0 0 36952 53 0 0 25 0 1 0 641715710 32788480 7066 4294967295 134512640 134714540 3221221776 3221220544 134529376 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8005 7066 1111 63 0 7942 0 vsize: 32020 [startup+380.058 s] Raw data (loadavg): 1.03 0.99 0.97 2/54 26146 Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 7109 0 0 0 37951 54 0 0 25 0 1 0 641715710 32911360 7083 4294967295 134512640 134714540 3221221776 3221220492 134552672 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8035 7083 1111 63 0 7972 0 vsize: 32140 [startup+390.058 s] Raw data (loadavg): 1.03 0.99 0.97 2/54 26146 Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 7131 0 0 0 38949 55 0 0 25 0 1 0 641715710 32911360 7105 4294967295 134512640 134714540 3221221776 3221220464 134551942 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8035 7105 1111 63 0 7972 0 vsize: 32140 [startup+400.058 s] Raw data (loadavg): 1.02 0.99 0.97 2/54 26148 Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 7157 0 0 0 39949 56 0 0 25 0 1 0 641715710 33026048 7131 4294967295 134512640 134714540 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8063 7131 1111 63 0 8000 0 vsize: 32252 [startup+410.059 s] Raw data (loadavg): 1.02 0.99 0.97 2/54 26148 Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 7224 0 0 0 40948 56 0 0 25 0 1 0 641715710 33300480 7198 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8130 7198 1111 63 0 8067 0 vsize: 32520 [startup+420.058 s] Raw data (loadavg): 1.01 0.99 0.97 2/54 26148 Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 7235 0 0 0 41948 57 0 0 25 0 1 0 641715710 33435648 7209 4294967295 134512640 134714540 3221221776 3221220284 134613752 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8163 7209 1111 63 0 8100 0 vsize: 32652 [startup+430.059 s] Raw data (loadavg): 1.08 1.00 0.97 2/54 26148 Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 7271 0 0 0 42947 58 0 0 25 0 1 0 641715710 33570816 7245 4294967295 134512640 134714540 3221221776 3221220332 134535652 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8196 7245 1111 63 0 8133 0 vsize: 32784 [startup+440.06 s] Raw data (loadavg): 1.07 1.00 0.97 2/54 26148 Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 7273 0 0 0 43947 59 0 0 25 0 1 0 641715710 33570816 7247 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8196 7247 1111 63 0 8133 0 vsize: 32784 [startup+450.06 s] Raw data (loadavg): 1.22 1.03 0.98 2/54 26148 Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 7281 0 0 0 44946 60 0 0 25 0 1 0 641715710 33570816 7255 4294967295 134512640 134714540 3221221776 3221220332 134535895 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8196 7255 1111 63 0 8133 0 vsize: 32784 [startup+460.061 s] Raw data (loadavg): 1.19 1.03 0.98 2/54 26148 Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 7281 0 0 0 45945 61 0 0 25 0 1 0 641715710 33570816 7255 4294967295 134512640 134714540 3221221776 3221220560 134529368 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8196 7255 1111 63 0 8133 0 vsize: 32784 [startup+470.061 s] Raw data (loadavg): 1.16 1.03 0.98 2/54 26148 Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 7324 0 0 0 46945 62 0 0 25 0 1 0 641715710 33832960 7298 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8260 7298 1111 63 0 8197 0 vsize: 33040 [startup+480.062 s] Raw data (loadavg): 1.13 1.03 0.98 2/54 26148 Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 7363 0 0 0 47944 62 0 0 25 0 1 0 641715710 33968128 7337 4294967295 134512640 134714540 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8293 7337 1111 63 0 8230 0 vsize: 33172 [startup+490.062 s] Raw data (loadavg): 1.11 1.03 0.98 2/54 26148 Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 7367 0 0 0 48944 63 0 0 25 0 1 0 641715710 33968128 7341 4294967295 134512640 134714540 3221221776 3221220548 134529275 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8293 7341 1111 63 0 8230 0 vsize: 33172 [startup+500.063 s] Raw data (loadavg): 1.09 1.03 0.98 2/54 26148 Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 7389 0 0 0 49943 64 0 0 25 0 1 0 641715710 34103296 7363 4294967295 134512640 134714540 3221221776 3221220368 134549686 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8326 7363 1111 63 0 8263 0 vsize: 33304 [startup+510.064 s] Raw data (loadavg): 1.08 1.03 0.98 2/54 26148 Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 7405 0 0 0 50942 65 0 0 25 0 1 0 641715710 34103296 7379 4294967295 134512640 134714540 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8326 7379 1111 63 0 8263 0 vsize: 33304 [startup+520.064 s] Raw data (loadavg): 1.07 1.02 0.98 2/54 26148 Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 7433 0 0 0 51942 65 0 0 25 0 1 0 641715710 34226176 7407 4294967295 134512640 134714540 3221221776 3221220400 134542340 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8356 7407 1111 63 0 8293 0 vsize: 33424 [startup+530.065 s] Raw data (loadavg): 1.06 1.02 0.98 2/54 26148 Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 7500 0 0 0 52941 67 0 0 25 0 1 0 641715710 34492416 7474 4294967295 134512640 134714540 3221221776 3221220384 134549463 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8421 7474 1111 63 0 8358 0 vsize: 33684 [startup+540.065 s] Raw data (loadavg): 1.13 1.04 0.99 2/54 26148 Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 7656 0 0 0 53939 68 0 0 25 0 1 0 641715710 35123200 7630 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8575 7630 1111 63 0 8512 0 vsize: 34300 [startup+550.064 s] Raw data (loadavg): 1.11 1.04 0.99 2/54 26148 Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 7771 0 0 0 54939 69 0 0 25 0 1 0 641715710 35627008 7745 4294967295 134512640 134714540 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8698 7745 1111 63 0 8635 0 vsize: 34792 [startup+560.066 s] Raw data (loadavg): 1.09 1.04 0.99 2/54 26148 Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 7881 0 0 0 55938 70 0 0 25 0 1 0 641715710 36032512 7855 4294967295 134512640 134714540 3221221776 3221220272 134535394 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8797 7855 1111 63 0 8734 0 vsize: 35188 [startup+570.066 s] Raw data (loadavg): 1.08 1.03 0.99 2/54 26148 Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 8031 0 0 0 56937 71 0 0 25 0 1 0 641715710 36646912 8005 4294967295 134512640 134714540 3221221776 3221220480 134528576 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8947 8005 1111 63 0 8884 0 vsize: 35788 [startup+580.066 s] Raw data (loadavg): 1.06 1.03 0.99 2/54 26148 Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 8087 0 0 0 57936 72 0 0 25 0 1 0 641715710 36917248 8061 4294967295 134512640 134714540 3221221776 3221220368 134549533 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 9013 8061 1111 63 0 8950 0 vsize: 36052 [startup+590.067 s] Raw data (loadavg): 1.05 1.03 0.99 2/54 26148 Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 8141 0 0 0 58936 73 0 0 25 0 1 0 641715710 37187584 8115 4294967295 134512640 134714540 3221221776 3221220512 134535844 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 9079 8115 1111 63 0 9016 0 vsize: 36316 [startup+600.066 s] Raw data (loadavg): 1.04 1.03 0.99 2/54 26148 Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 8610 0 0 0 59934 74 0 0 25 0 1 0 641715710 39079936 8584 4294967295 134512640 134714540 3221221776 3221220328 134696493 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 9541 8584 1111 63 0 9478 0 vsize: 38164 [startup+610.066 s] Raw data (loadavg): 1.04 1.03 0.99 2/54 26148 Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 9333 0 0 0 60931 78 0 0 25 0 1 0 641715710 42061824 9307 4294967295 134512640 134714540 3221221776 3221220560 134529237 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10269 9308 1111 63 0 10206 0 vsize: 41076 [startup+620.066 s] Raw data (loadavg): 1.03 1.03 0.99 2/54 26148 Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 10635 0 0 0 61926 83 0 0 25 0 1 0 641715710 47329280 10609 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11555 10609 1111 63 0 11492 0 vsize: 46220 [startup+630.067 s] Raw data (loadavg): 1.03 1.03 0.99 2/54 26148 Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 11085 0 0 0 62925 84 0 0 25 0 1 0 641715710 49221632 11059 4294967295 134512640 134714540 3221221776 3221220460 134552651 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 12017 11059 1111 63 0 11954 0 vsize: 48068 [startup+640.067 s] Raw data (loadavg): 1.02 1.02 0.99 2/54 26148 Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 11725 0 0 0 63922 87 0 0 25 0 1 0 641715710 51810304 11699 4294967295 134512640 134714540 3221221776 3221220416 134539455 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 12649 11699 1111 63 0 12586 0 vsize: 50596 [startup+650.067 s] Raw data (loadavg): 1.02 1.02 0.99 2/54 26148 Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 12426 0 0 0 64919 91 0 0 25 0 1 0 641715710 54779904 12400 4294967295 134512640 134714540 3221221776 3221220396 134549508 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 13374 12400 1111 63 0 13311 0 vsize: 53496 [startup+660.068 s] Raw data (loadavg): 1.01 1.02 0.99 2/54 26148 Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 12798 0 0 0 65917 92 0 0 25 0 1 0 641715710 56270848 12772 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 13738 12772 1111 63 0 13675 0 vsize: 54952 [startup+670.068 s] Raw data (loadavg): 1.01 1.02 0.99 2/54 26148 Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 13228 0 0 0 66915 95 0 0 25 0 1 0 641715710 58028032 13202 4294967295 134512640 134714540 3221221776 3221220368 134549548 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 14167 13202 1111 63 0 14104 0 vsize: 56668 [startup+680.068 s] Raw data (loadavg): 1.01 1.02 0.99 2/54 26148 Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 13690 0 0 0 67914 96 0 0 25 0 1 0 641715710 59924480 13664 4294967295 134512640 134714540 3221221776 3221220560 134528780 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 14630 13664 1111 63 0 14567 0 vsize: 58520 [startup+690.068 s] Raw data (loadavg): 1.01 1.02 0.99 2/54 26150 Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 13868 0 0 0 68913 97 0 0 25 0 1 0 641715710 60608512 13842 4294967295 134512640 134714540 3221221776 3221220272 134535457 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 14797 13842 1111 63 0 14734 0 vsize: 59188 [startup+700.067 s] Raw data (loadavg): 1.01 1.02 0.99 2/54 26150 Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 14075 0 0 0 69912 99 0 0 25 0 1 0 641715710 61554688 14049 4294967295 134512640 134714540 3221221776 3221220344 1077378037 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 15028 14049 1111 63 0 14965 0 vsize: 60112 [startup+710.068 s] Raw data (loadavg): 1.00 1.02 0.99 2/54 26150 Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 14358 0 0 0 70911 99 0 0 25 0 1 0 641715710 62619648 14332 4294967295 134512640 134714540 3221221776 3221220428 134536828 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 15288 14332 1111 63 0 15225 0 vsize: 61152 [startup+720.067 s] Raw data (loadavg): 1.00 1.02 0.99 2/54 26150 Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 14542 0 0 0 71910 100 0 0 25 0 1 0 641715710 63430656 14516 4294967295 134512640 134714540 3221221776 3221220368 134549809 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 15486 14516 1111 63 0 15423 0 vsize: 61944 [startup+730.068 s] Raw data (loadavg): 1.00 1.02 0.99 2/54 26150 Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 14875 0 0 0 72909 102 0 0 25 0 1 0 641715710 64819200 14849 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 15825 14849 1111 63 0 15762 0 vsize: 63300 [startup+740.068 s] Raw data (loadavg): 1.00 1.01 0.99 2/54 26150 Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 15087 0 0 0 73909 102 0 0 25 0 1 0 641715710 65769472 15061 4294967295 134512640 134714540 3221221776 3221220332 134535956 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 16057 15061 1111 63 0 15994 0 vsize: 64228 [startup+750.068 s] Raw data (loadavg): 1.00 1.01 0.99 2/54 26150 Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 15325 0 0 0 74907 104 0 0 25 0 1 0 641715710 66715648 15299 4294967295 134512640 134714540 3221221776 3221220428 134536828 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 16288 15299 1111 63 0 16225 0 vsize: 65152 [startup+760.069 s] Raw data (loadavg): 1.00 1.01 0.99 2/54 26150 Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 15596 0 0 0 75906 105 0 0 25 0 1 0 641715710 67936256 15570 4294967295 134512640 134714540 3221221776 3221220560 134528780 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 16586 15570 1111 63 0 16523 0 vsize: 66344 [startup+770.069 s] Raw data (loadavg): 1.00 1.01 0.99 2/54 26150 Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 15759 0 0 0 76905 106 0 0 25 0 1 0 641715710 68603904 15733 4294967295 134512640 134714540 3221221776 3221220544 134592104 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 16749 15733 1111 63 0 16686 0 vsize: 66996 [startup+780.07 s] Raw data (loadavg): 1.00 1.01 0.99 2/54 26150 Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 15850 0 0 0 77905 107 0 0 25 0 1 0 641715710 68907008 15823 4294967295 134512640 134714540 3221221776 3221220432 134524067 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 16823 15823 1111 63 0 16760 0 vsize: 67292 [startup+790.07 s] Raw data (loadavg): 1.00 1.01 0.99 2/54 26150 Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 16050 0 0 0 78904 108 0 0 25 0 1 0 641715710 69718016 16023 4294967295 134512640 134714540 3221221776 3221220512 134535742 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 17021 16023 1111 63 0 16958 0 vsize: 68084 [startup+800.07 s] Raw data (loadavg): 1.00 1.01 0.99 2/54 26150 Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 16197 0 0 0 79903 109 0 0 25 0 1 0 641715710 70430720 16170 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 17195 16170 1111 63 0 17132 0 vsize: 68780 [startup+810.071 s] Raw data (loadavg): 1.00 1.01 0.99 2/54 26150 Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 16263 0 0 0 80902 110 0 0 25 0 1 0 641715710 70725632 16236 4294967295 134512640 134714540 3221221776 3221220480 134528617 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 17267 16236 1111 63 0 17204 0 vsize: 69068 [startup+820.071 s] Raw data (loadavg): 1.00 1.01 0.99 2/54 26150 Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 16475 0 0 0 81902 111 0 0 25 0 1 0 641715710 71536640 16446 4294967295 134512640 134714540 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 17465 16446 1111 63 0 17402 0 vsize: 69860 [startup+830.071 s] Raw data (loadavg): 1.00 1.01 0.99 2/54 26150 Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 16610 0 0 0 82901 111 0 0 25 0 1 0 641715710 72077312 16581 4294967295 134512640 134714540 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 17597 16581 1111 63 0 17534 0 vsize: 70388 [startup+840.072 s] Raw data (loadavg): 1.00 1.00 0.99 2/54 26150 Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 16771 0 0 0 83900 113 0 0 25 0 1 0 641715710 72781824 16741 4294967295 134512640 134714540 3221221776 3221220432 134523856 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 17769 16741 1111 63 0 17706 0 vsize: 71076 [startup+850.071 s] Raw data (loadavg): 1.00 1.00 0.99 2/54 26150 Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 16960 0 0 0 84899 114 0 0 25 0 1 0 641715710 73601024 16929 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 17969 16929 1111 63 0 17906 0 vsize: 71876 [startup+860.072 s] Raw data (loadavg): 1.00 1.00 0.99 2/54 26150 Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 17161 0 0 0 85898 115 0 0 25 0 1 0 641715710 74391552 17130 4294967295 134512640 134714540 3221221776 3221220368 134549780 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18162 17130 1111 63 0 18099 0 vsize: 72648 [startup+870.073 s] Raw data (loadavg): 1.00 1.00 0.99 2/54 26150 Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 17275 0 0 0 86898 116 0 0 25 0 1 0 641715710 74797056 17244 4294967295 134512640 134714540 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18261 17244 1111 63 0 18198 0 vsize: 73044 [startup+880.073 s] Raw data (loadavg): 1.00 1.00 0.99 2/54 26150 Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 17410 0 0 0 87897 117 0 0 25 0 1 0 641715710 75468800 17379 4294967295 134512640 134714540 3221221776 3221220484 134535806 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18425 17379 1111 63 0 18362 0 vsize: 73700 [startup+890.073 s] Raw data (loadavg): 1.00 1.00 0.99 2/54 26150 Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 17514 0 0 0 88896 118 0 0 25 0 1 0 641715710 75870208 17483 4294967295 134512640 134714540 3221221776 3221220560 134529091 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18523 17483 1111 63 0 18460 0 vsize: 74092 [startup+900.073 s] Raw data (loadavg): 1.00 1.00 0.99 2/54 26150 Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 17574 0 0 0 89896 118 0 0 25 0 1 0 641715710 76152832 17542 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18592 17542 1111 63 0 18529 0 vsize: 74368 [startup+910.073 s] Raw data (loadavg): 1.00 1.00 0.99 2/54 26150 Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 17631 0 0 0 90895 119 0 0 25 0 1 0 641715710 76288000 17599 4294967295 134512640 134714540 3221221776 3221220428 134536828 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18625 17599 1111 63 0 18562 0 vsize: 74500 [startup+920.073 s] Raw data (loadavg): 1.00 1.00 0.99 2/54 26150 Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 17668 0 0 0 91895 119 0 0 25 0 1 0 641715710 76423168 17636 4294967295 134512640 134714540 3221221776 3221220428 134536839 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18658 17636 1111 63 0 18595 0 vsize: 74632 [startup+930.074 s] Raw data (loadavg): 1.00 1.00 0.99 2/54 26150 Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 17804 0 0 0 92894 120 0 0 25 0 1 0 641715710 77131776 17772 4294967295 134512640 134714540 3221221776 3221220512 134535750 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18831 17772 1111 63 0 18768 0 vsize: 75324 [startup+940.075 s] Raw data (loadavg): 1.00 1.00 0.99 2/54 26150 Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 17908 0 0 0 93893 121 0 0 25 0 1 0 641715710 77541376 17876 4294967295 134512640 134714540 3221221776 3221220452 134551958 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18931 17876 1111 63 0 18868 0 vsize: 75724 [startup+950.075 s] Raw data (loadavg): 1.00 1.00 0.99 2/54 26150 Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 18984 0 0 0 94890 125 0 0 25 0 1 0 641715710 81862656 18952 4294967295 134512640 134714540 3221221776 3221220560 134529097 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 19986 18952 1111 63 0 19923 0 vsize: 79944 [startup+960.076 s] Raw data (loadavg): 1.00 1.00 0.99 2/54 26150 Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 19759 0 0 0 95887 128 0 0 25 0 1 0 641715710 85106688 19727 4294967295 134512640 134714540 3221221776 3221220428 134536828 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 20778 19727 1111 63 0 20715 0 vsize: 83112 [startup+970.076 s] Raw data (loadavg): 1.00 1.00 0.99 2/54 26150 Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 20431 0 0 0 96884 131 0 0 25 0 1 0 641715710 87818240 20399 4294967295 134512640 134714540 3221221776 3221220452 134551958 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 21440 20399 1111 63 0 21377 0 vsize: 85760 [startup+980.076 s] Raw data (loadavg): 1.00 1.00 0.99 2/54 26150 Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 20986 0 0 0 97881 134 0 0 25 0 1 0 641715710 90120192 20954 4294967295 134512640 134714540 3221221776 3221220560 134529395 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 22002 20954 1111 63 0 21939 0 vsize: 88008 [startup+990.076 s] Raw data (loadavg): 1.00 1.00 0.99 2/54 26150 Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 21385 0 0 0 98879 136 0 0 25 0 1 0 641715710 91742208 21353 4294967295 134512640 134714540 3221221776 3221220512 134523930 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 22398 21353 1111 63 0 22335 0 vsize: 89592 [startup+1000.08 s] Raw data (loadavg): 1.00 1.00 0.99 2/54 26150 Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 21588 0 0 0 99879 137 0 0 25 0 1 0 641715710 92565504 21556 4294967295 134512640 134714540 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 22599 21556 1111 63 0 22536 0 vsize: 90396 [startup+1010.08 s] Raw data (loadavg): 1.00 1.00 0.99 2/54 26150 Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 21840 0 0 0 100878 138 0 0 25 0 1 0 641715710 93659136 21808 4294967295 134512640 134714540 3221221776 3221220352 134549635 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 22866 21808 1111 63 0 22803 0 vsize: 91464 [startup+1020.08 s] Raw data (loadavg): 1.00 1.00 0.99 2/54 26150 Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 22030 0 0 0 101877 139 0 0 25 0 1 0 641715710 94482432 21997 4294967295 134512640 134714540 3221221776 3221220332 134535658 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 23067 21997 1111 63 0 23004 0 vsize: 92268 [startup+1030.08 s] Raw data (loadavg): 1.00 1.00 0.99 2/54 26150 Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 22122 0 0 0 102877 139 0 0 25 0 1 0 641715710 94760960 22089 4294967295 134512640 134714540 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 23135 22089 1111 63 0 23072 0 vsize: 92540 [startup+1040.08 s] Raw data (loadavg): 1.00 1.00 0.99 2/54 26150 Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 22924 0 0 0 103875 142 0 0 25 0 1 0 641715710 98148352 22891 4294967295 134512640 134714540 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 23962 22891 1111 63 0 23899 0 vsize: 95848 [startup+1050.08 s] Raw data (loadavg): 1.00 1.00 0.99 2/54 26150 Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 23508 0 0 0 104872 145 0 0 25 0 1 0 641715710 100450304 23475 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 24524 23475 1111 63 0 24461 0 vsize: 98096 [startup+1060.08 s] Raw data (loadavg): 1.00 1.00 0.99 2/54 26150 Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 23973 0 0 0 105871 146 0 0 25 0 1 0 641715710 102342656 23940 4294967295 134512640 134714540 3221221776 3221220560 134529184 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 24986 23940 1111 63 0 24923 0 vsize: 99944 [startup+1070.08 s] Raw data (loadavg): 1.00 1.00 0.99 2/54 26150 Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 24199 0 0 0 106870 148 0 0 25 0 1 0 641715710 103288832 24166 4294967295 134512640 134714540 3221221776 3221220428 134536814 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 25217 24166 1111 63 0 25154 0 vsize: 100868 [startup+1080.08 s] Raw data (loadavg): 1.00 1.00 0.99 2/54 26150 Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 24501 0 0 0 107868 149 0 0 25 0 1 0 641715710 104689664 24467 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 25559 24467 1111 63 0 25496 0 vsize: 102236 [startup+1090.08 s] Raw data (loadavg): 1.00 1.00 0.99 2/54 26150 Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 24628 0 0 0 108868 150 0 0 25 0 1 0 641715710 105095168 24593 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 25658 24593 1111 63 0 25595 0 vsize: 102632 [startup+1100.08 s] Raw data (loadavg): 1.00 1.00 0.99 2/54 26150 Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 24739 0 0 0 109867 151 0 0 25 0 1 0 641715710 105639936 24704 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 25791 24704 1111 63 0 25728 0 vsize: 103164 [startup+1110.08 s] Raw data (loadavg): 1.00 1.00 0.99 2/54 26150 Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 24805 0 0 0 110867 151 0 0 25 0 1 0 641715710 105910272 24770 4294967295 134512640 134714540 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 25857 24770 1111 63 0 25794 0 vsize: 103428 [startup+1120.08 s] Raw data (loadavg): 1.00 1.00 0.99 2/54 26150 Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 25347 0 0 0 111866 152 0 0 25 0 1 0 641715710 108068864 25311 4294967295 134512640 134714540 3221221776 3221220432 134536635 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 26384 25311 1111 63 0 26321 0 vsize: 105536 [startup+1130.08 s] Raw data (loadavg): 1.00 1.00 0.99 2/54 26150 Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 25575 0 0 0 112865 154 0 0 25 0 1 0 641715710 109010944 25539 4294967295 134512640 134714540 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 26614 25539 1111 63 0 26551 0 vsize: 106456 [startup+1140.08 s] Raw data (loadavg): 1.00 1.00 0.99 2/54 26150 Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 25976 0 0 0 113864 155 0 0 25 0 1 0 641715710 110694400 25938 4294967295 134512640 134714540 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 27025 25938 1111 63 0 26962 0 vsize: 108100 [startup+1150.08 s] Raw data (loadavg): 1.00 1.00 0.99 2/54 26150 Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 26227 0 0 0 114862 156 0 0 25 0 1 0 641715710 111796224 26189 4294967295 134512640 134714540 3221221776 3221220456 134552650 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 27294 26189 1111 63 0 27231 0 vsize: 109176 [startup+1160.08 s] Raw data (loadavg): 1.00 1.00 0.99 2/54 26150 Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 26437 0 0 0 115862 157 0 0 25 0 1 0 641715710 112746496 26399 4294967295 134512640 134714540 3221221776 3221220396 134549508 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 27526 26399 1111 63 0 27463 0 vsize: 110104 [startup+1170.08 s] Raw data (loadavg): 1.00 1.00 0.99 2/54 26150 Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 26617 0 0 0 116862 158 0 0 25 0 1 0 641715710 113426432 26578 4294967295 134512640 134714540 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 27692 26578 1111 63 0 27629 0 vsize: 110768 [startup+1175.06 s] Raw data (loadavg): 1.00 1.00 0.99 1/53 26150 Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 26617 0 0 0 116862 158 0 0 25 0 1 0 641715710 113426432 26578 4294967295 134512640 134714540 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 27692 26578 1111 63 0 27629 0 vsize: 0 Child status: 0 Real time (s): 1175.06 CPU time (s): 1175.18 CPU user time (s): 1173.54 CPU system time (s): 1.63475 CPU usage (%): 100.01 Max. virtual memory (Kb): 110768 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####