From 17a08f63c157fae3ccd2065563664d4fa15c1fa2 Mon Sep 17 00:00:00 2001 From: knm17 Date: Wed, 11 Sep 2019 12:54:49 +0100 Subject: Extended the grafana dashboard. Added units for some of the data and modified klee-stats source code to provide solver time as a fraction of walltime along with fork, resolve and cexcache time. --- tools/klee-stats/klee-stats | 8 +- utils/grafana/klee_dashboard.json | 996 +++++++++++++++++++++++++++++--------- 2 files changed, 762 insertions(+), 242 deletions(-) diff --git a/tools/klee-stats/klee-stats b/tools/klee-stats/klee-stats index 864e8993..6fc803b2 100755 --- a/tools/klee-stats/klee-stats +++ b/tools/klee-stats/klee-stats @@ -216,7 +216,6 @@ def grafana(dirs): sqlTarget = ",".join(["AVG( {0} )".format(t) for t in targets if t.isalnum()]) conn = sqlite3.connect(dr) - s = "SELECT WallTime + ? , {fields} " \ + " FROM stats" \ + " WHERE WallTime >= ? AND WallTime <= ?" \ @@ -229,7 +228,12 @@ def grafana(dirs): for line in cursor: unixtimestamp = int(line[0]) / 1000 #Convert from microsecond to miliseconds for field, datastream in zip(line[1:], result): - datastream["datapoints"].append([field, unixtimestamp]) + if "Time" in datastream["target"] and "Wall" not in datastream["target"]\ + and "User" not in datastream["target"]: + val = (field/(line[0]-startTime))*100 + datastream["datapoints"].append([val, unixtimestamp]) + else: + datastream["datapoints"].append([field, unixtimestamp]) ret = jsonify(result) return ret diff --git a/utils/grafana/klee_dashboard.json b/utils/grafana/klee_dashboard.json index 08c14bfd..347db0a1 100644 --- a/utils/grafana/klee_dashboard.json +++ b/utils/grafana/klee_dashboard.json @@ -15,94 +15,8 @@ "editable": true, "gnetId": null, "graphTooltip": 0, - "id": 4, "links": [], "panels": [ - { - "aliasColors": {}, - "bars": false, - "dashLength": 10, - "dashes": false, - "fill": 1, - "fillGradient": 0, - "gridPos": { - "h": 7, - "w": 15, - "x": 0, - "y": 0 - }, - "id": 2, - "legend": { - "avg": false, - "current": false, - "max": false, - "min": false, - "show": true, - "total": false, - "values": false - }, - "lines": true, - "linewidth": 1, - "nullPointMode": "null", - "options": { - "dataLinks": [] - }, - "percentage": false, - "pointradius": 2, - "points": false, - "renderer": "flot", - "seriesOverrides": [], - "spaceLength": 10, - "stack": false, - "steppedLine": false, - "targets": [ - { - "refId": "A", - "target": "Instructions", - "type": "timeserie" - } - ], - "thresholds": [], - "timeFrom": null, - "timeRegions": [], - "timeShift": null, - "title": "Instructions Processed", - "tooltip": { - "shared": true, - "sort": 0, - "value_type": "individual" - }, - "type": "graph", - "xaxis": { - "buckets": null, - "mode": "time", - "name": null, - "show": true, - "values": [] - }, - "yaxes": [ - { - "format": "short", - "label": null, - "logBase": 1, - "max": null, - "min": null, - "show": true - }, - { - "format": "short", - "label": null, - "logBase": 1, - "max": null, - "min": null, - "show": true - } - ], - "yaxis": { - "align": false, - "alignLevel": null - } - }, { "cacheTimeout": null, "colorBackground": true, @@ -123,7 +37,7 @@ "gridPos": { "h": 7, "w": 7, - "x": 15, + "x": 0, "y": 0 }, "id": 4, @@ -174,7 +88,7 @@ "thresholds": "", "timeFrom": null, "timeShift": null, - "title": "Instructions Count", + "title": "Instructions Processed", "type": "singlestat", "valueFontSize": "80%", "valueMaps": [ @@ -196,10 +110,10 @@ "gridPos": { "h": 7, "w": 15, - "x": 0, - "y": 7 + "x": 7, + "y": 0 }, - "id": 6, + "id": 2, "legend": { "avg": false, "current": false, @@ -226,7 +140,7 @@ "targets": [ { "refId": "A", - "target": "FullBranches", + "target": "Instructions", "type": "timeserie" } ], @@ -234,7 +148,7 @@ "timeFrom": null, "timeRegions": [], "timeShift": null, - "title": "Full Branches", + "title": "Instructions Processed", "tooltip": { "shared": true, "sort": 0, @@ -280,6 +194,7 @@ "#B877D9", "#d44a3a" ], + "datasource": "Klee Stats", "format": "none", "gauge": { "maxValue": 100, @@ -291,7 +206,7 @@ "gridPos": { "h": 7, "w": 7, - "x": 15, + "x": 0, "y": 7 }, "id": 8, @@ -336,13 +251,13 @@ { "refId": "A", "target": "FullBranches", - "type": "timeserie" + "type": "table" } ], "thresholds": "", "timeFrom": null, "timeShift": null, - "title": "Panel Title", + "title": "Full Branches", "type": "singlestat", "valueFontSize": "80%", "valueMaps": [ @@ -362,12 +277,12 @@ "fill": 1, "fillGradient": 0, "gridPos": { - "h": 6, + "h": 7, "w": 15, - "x": 0, - "y": 14 + "x": 7, + "y": 7 }, - "id": 10, + "id": 6, "legend": { "avg": false, "current": false, @@ -394,7 +309,7 @@ "targets": [ { "refId": "A", - "target": "CoveredInstructions", + "target": "FullBranches", "type": "timeserie" } ], @@ -402,7 +317,7 @@ "timeFrom": null, "timeRegions": [], "timeShift": null, - "title": "Covered Instructions", + "title": "Full Branches", "tooltip": { "shared": true, "sort": 0, @@ -459,7 +374,7 @@ "gridPos": { "h": 6, "w": 7, - "x": 15, + "x": 0, "y": 14 }, "id": 12, @@ -510,7 +425,7 @@ "thresholds": "", "timeFrom": null, "timeShift": null, - "title": "Covered Instructions Count", + "title": "Covered Instructions", "type": "singlestat", "valueFontSize": "80%", "valueMaps": [ @@ -530,12 +445,12 @@ "fill": 1, "fillGradient": 0, "gridPos": { - "h": 7, + "h": 6, "w": 15, - "x": 0, - "y": 20 + "x": 7, + "y": 14 }, - "id": 14, + "id": 10, "legend": { "avg": false, "current": false, @@ -562,7 +477,7 @@ "targets": [ { "refId": "A", - "target": "MallocUsage", + "target": "CoveredInstructions", "type": "timeserie" } ], @@ -570,7 +485,7 @@ "timeFrom": null, "timeRegions": [], "timeShift": null, - "title": "Malloc Usage", + "title": "Covered Instructions", "tooltip": { "shared": true, "sort": 0, @@ -616,7 +531,7 @@ "#F2495C", "#d44a3a" ], - "format": "none", + "format": "bytes", "gauge": { "maxValue": 100, "minValue": 0, @@ -627,7 +542,7 @@ "gridPos": { "h": 7, "w": 7, - "x": 15, + "x": 0, "y": 20 }, "id": 16, @@ -678,7 +593,7 @@ "thresholds": "", "timeFrom": null, "timeShift": null, - "title": "Malloc Usage Count", + "title": "Malloc Usage", "type": "singlestat", "valueFontSize": "80%", "valueMaps": [ @@ -688,7 +603,7 @@ "value": "null" } ], - "valueName": "max" + "valueName": "current" }, { "aliasColors": {}, @@ -700,10 +615,10 @@ "gridPos": { "h": 7, "w": 15, - "x": 0, - "y": 27 + "x": 7, + "y": 20 }, - "id": 18, + "id": 14, "legend": { "avg": false, "current": false, @@ -730,7 +645,7 @@ "targets": [ { "refId": "A", - "target": "PartialBranches", + "target": "MallocUsage", "type": "timeserie" } ], @@ -738,7 +653,7 @@ "timeFrom": null, "timeRegions": [], "timeShift": null, - "title": "Partial Branches", + "title": "Malloc Usage", "tooltip": { "shared": true, "sort": 0, @@ -795,7 +710,7 @@ "gridPos": { "h": 7, "w": 7, - "x": 15, + "x": 0, "y": 27 }, "id": 20, @@ -846,7 +761,7 @@ "thresholds": "", "timeFrom": null, "timeShift": null, - "title": "Partial Branches Count", + "title": "Partial Branches ", "type": "singlestat", "valueFontSize": "80%", "valueMaps": [ @@ -856,7 +771,7 @@ "value": "null" } ], - "valueName": "avg" + "valueName": "current" }, { "aliasColors": {}, @@ -868,10 +783,10 @@ "gridPos": { "h": 7, "w": 15, - "x": 0, - "y": 34 + "x": 7, + "y": 27 }, - "id": 22, + "id": 18, "legend": { "avg": false, "current": false, @@ -898,7 +813,7 @@ "targets": [ { "refId": "A", - "target": "UncoveredInstructions", + "target": "PartialBranches", "type": "timeserie" } ], @@ -906,7 +821,7 @@ "timeFrom": null, "timeRegions": [], "timeShift": null, - "title": "Uncovered Instructions", + "title": "Partial Branches", "tooltip": { "shared": true, "sort": 0, @@ -963,7 +878,7 @@ "gridPos": { "h": 7, "w": 7, - "x": 15, + "x": 0, "y": 34 }, "id": 24, @@ -1014,7 +929,7 @@ "thresholds": "", "timeFrom": null, "timeShift": null, - "title": "Uncovered Instructions Count", + "title": "Uncovered Instructions ", "type": "singlestat", "valueFontSize": "80%", "valueMaps": [ @@ -1024,7 +939,7 @@ "value": "null" } ], - "valueName": "avg" + "valueName": "current" }, { "aliasColors": {}, @@ -1034,12 +949,12 @@ "fill": 1, "fillGradient": 0, "gridPos": { - "h": 8, + "h": 7, "w": 15, - "x": 0, - "y": 41 + "x": 7, + "y": 34 }, - "id": 26, + "id": 22, "legend": { "avg": false, "current": false, @@ -1066,7 +981,7 @@ "targets": [ { "refId": "A", - "target": "SolverTime", + "target": "UncoveredInstructions", "type": "timeserie" } ], @@ -1074,7 +989,7 @@ "timeFrom": null, "timeRegions": [], "timeShift": null, - "title": "Solver Time", + "title": "Uncovered Instructions", "tooltip": { "shared": true, "sort": 0, @@ -1120,7 +1035,7 @@ "#B877D9", "#d44a3a" ], - "format": "none", + "format": "percent", "gauge": { "maxValue": 100, "minValue": 0, @@ -1131,7 +1046,7 @@ "gridPos": { "h": 8, "w": 7, - "x": 15, + "x": 0, "y": 41 }, "id": 28, @@ -1152,6 +1067,7 @@ "nullPointMode": "connected", "nullText": null, "options": {}, + "pluginVersion": "6.2.5", "postfix": "", "postfixFontSize": "50%", "prefix": "", @@ -1174,7 +1090,7 @@ "tableColumn": "", "targets": [ { - "refId": "A", + "refId": "B", "target": "SolverTime", "type": "timeserie" } @@ -1182,7 +1098,7 @@ "thresholds": "", "timeFrom": null, "timeShift": null, - "title": "Solver Time Count", + "title": "Solver Time ", "type": "singlestat", "valueFontSize": "80%", "valueMaps": [ @@ -1192,7 +1108,7 @@ "value": "null" } ], - "valueName": "avg" + "valueName": "current" }, { "aliasColors": {}, @@ -1202,12 +1118,12 @@ "fill": 1, "fillGradient": 0, "gridPos": { - "h": 7, + "h": 8, "w": 15, - "x": 0, - "y": 49 + "x": 7, + "y": 41 }, - "id": 30, + "id": 26, "legend": { "avg": false, "current": false, @@ -1234,7 +1150,7 @@ "targets": [ { "refId": "A", - "target": "NumBranches", + "target": "SolverTime", "type": "timeserie" } ], @@ -1242,7 +1158,7 @@ "timeFrom": null, "timeRegions": [], "timeShift": null, - "title": "Num Branches", + "title": "Solver Time", "tooltip": { "shared": true, "sort": 0, @@ -1258,10 +1174,11 @@ }, "yaxes": [ { + "decimals": null, "format": "short", "label": null, "logBase": 1, - "max": null, + "max": "100", "min": null, "show": true }, @@ -1299,7 +1216,7 @@ "gridPos": { "h": 7, "w": 7, - "x": 15, + "x": 0, "y": 49 }, "id": 32, @@ -1350,7 +1267,7 @@ "thresholds": "", "timeFrom": null, "timeShift": null, - "title": "Num Branches Count", + "title": "Num Branches", "type": "singlestat", "valueFontSize": "80%", "valueMaps": [ @@ -1372,10 +1289,10 @@ "gridPos": { "h": 7, "w": 15, - "x": 0, - "y": 56 + "x": 7, + "y": 49 }, - "id": 36, + "id": 30, "legend": { "avg": false, "current": false, @@ -1402,7 +1319,7 @@ "targets": [ { "refId": "A", - "target": "NumStates", + "target": "NumBranches", "type": "timeserie" } ], @@ -1410,7 +1327,7 @@ "timeFrom": null, "timeRegions": [], "timeShift": null, - "title": "Num States", + "title": "Num Branches", "tooltip": { "shared": true, "sort": 0, @@ -1467,7 +1384,7 @@ "gridPos": { "h": 7, "w": 7, - "x": 15, + "x": 0, "y": 56 }, "id": 38, @@ -1518,7 +1435,7 @@ "thresholds": "", "timeFrom": null, "timeShift": null, - "title": "Num States Count", + "title": "Num States", "type": "singlestat", "valueFontSize": "80%", "valueMaps": [ @@ -1528,7 +1445,7 @@ "value": "null" } ], - "valueName": "avg" + "valueName": "current" }, { "aliasColors": {}, @@ -1538,12 +1455,12 @@ "fill": 1, "fillGradient": 0, "gridPos": { - "h": 8, + "h": 7, "w": 15, - "x": 0, - "y": 63 + "x": 7, + "y": 56 }, - "id": 40, + "id": 36, "legend": { "avg": false, "current": false, @@ -1570,7 +1487,7 @@ "targets": [ { "refId": "A", - "target": "NumQueries", + "target": "NumStates", "type": "timeserie" } ], @@ -1578,7 +1495,7 @@ "timeFrom": null, "timeRegions": [], "timeShift": null, - "title": "Num Queries", + "title": "Num States", "tooltip": { "shared": true, "sort": 0, @@ -1621,7 +1538,7 @@ "colorValue": false, "colors": [ "#299c46", - "#96D98D", + "#E02F44", "#d44a3a" ], "format": "none", @@ -1635,7 +1552,7 @@ "gridPos": { "h": 8, "w": 7, - "x": 15, + "x": 0, "y": 63 }, "id": 42, @@ -1686,7 +1603,7 @@ "thresholds": "", "timeFrom": null, "timeShift": null, - "title": "Num Queries Count", + "title": "Num Queries", "type": "singlestat", "valueFontSize": "80%", "valueMaps": [ @@ -1696,7 +1613,7 @@ "value": "null" } ], - "valueName": "avg" + "valueName": "current" }, { "aliasColors": {}, @@ -1708,10 +1625,10 @@ "gridPos": { "h": 8, "w": 15, - "x": 0, - "y": 71 + "x": 7, + "y": 63 }, - "id": 44, + "id": 40, "legend": { "avg": false, "current": false, @@ -1738,7 +1655,7 @@ "targets": [ { "refId": "A", - "target": "NumQueryConstructs", + "target": "NumQueries", "type": "timeserie" } ], @@ -1746,7 +1663,7 @@ "timeFrom": null, "timeRegions": [], "timeShift": null, - "title": "NumQueryConstructs", + "title": "Num Queries", "tooltip": { "shared": true, "sort": 0, @@ -1803,7 +1720,7 @@ "gridPos": { "h": 8, "w": 7, - "x": 15, + "x": 0, "y": 71 }, "id": 46, @@ -1854,7 +1771,7 @@ "thresholds": "", "timeFrom": null, "timeShift": null, - "title": "NumQueryConstructs Count", + "title": "NumQueryConstructs", "type": "singlestat", "valueFontSize": "80%", "valueMaps": [ @@ -1864,7 +1781,7 @@ "value": "null" } ], - "valueName": "avg" + "valueName": "current" }, { "aliasColors": {}, @@ -1876,10 +1793,10 @@ "gridPos": { "h": 8, "w": 15, - "x": 0, - "y": 79 + "x": 7, + "y": 71 }, - "id": 48, + "id": 44, "legend": { "avg": false, "current": false, @@ -1906,7 +1823,7 @@ "targets": [ { "refId": "A", - "target": "NumObjects", + "target": "NumQueryConstructs", "type": "timeserie" } ], @@ -1914,7 +1831,7 @@ "timeFrom": null, "timeRegions": [], "timeShift": null, - "title": "Num Objects", + "title": "NumQueryConstructs", "tooltip": { "shared": true, "sort": 0, @@ -1971,7 +1888,7 @@ "gridPos": { "h": 8, "w": 7, - "x": 15, + "x": 0, "y": 79 }, "id": 50, @@ -2022,7 +1939,7 @@ "thresholds": "", "timeFrom": null, "timeShift": null, - "title": "Num Objects Count", + "title": "Num Objects ", "type": "singlestat", "valueFontSize": "80%", "valueMaps": [ @@ -2032,7 +1949,7 @@ "value": "null" } ], - "valueName": "avg" + "valueName": "current" }, { "aliasColors": {}, @@ -2044,10 +1961,10 @@ "gridPos": { "h": 8, "w": 15, - "x": 0, - "y": 87 + "x": 7, + "y": 79 }, - "id": 62, + "id": 48, "legend": { "avg": false, "current": false, @@ -2074,7 +1991,7 @@ "targets": [ { "refId": "A", - "target": "QueryCexCacheMisses", + "target": "NumObjects", "type": "timeserie" } ], @@ -2082,7 +1999,7 @@ "timeFrom": null, "timeRegions": [], "timeShift": null, - "title": "QueryCexCacheMisses", + "title": "Num Objects", "tooltip": { "shared": true, "sort": 0, @@ -2122,10 +2039,11 @@ { "cacheTimeout": null, "colorBackground": true, + "colorPrefix": false, "colorValue": false, "colors": [ "#299c46", - "#F2CC0C", + "#3274D9", "#d44a3a" ], "format": "none", @@ -2139,7 +2057,7 @@ "gridPos": { "h": 8, "w": 7, - "x": 15, + "x": 0, "y": 87 }, "id": 64, @@ -2200,7 +2118,7 @@ "value": "null" } ], - "valueName": "avg" + "valueName": "current" }, { "aliasColors": {}, @@ -2211,11 +2129,11 @@ "fillGradient": 0, "gridPos": { "h": 8, - "w": 22, - "x": 0, - "y": 95 + "w": 15, + "x": 7, + "y": 87 }, - "id": 60, + "id": 62, "legend": { "avg": false, "current": false, @@ -2242,7 +2160,7 @@ "targets": [ { "refId": "A", - "target": "ResolveTime", + "target": "QueryCexCacheMisses", "type": "timeserie" } ], @@ -2250,7 +2168,7 @@ "timeFrom": null, "timeRegions": [], "timeShift": null, - "title": "Resolve Time", + "title": "QueryCexCacheMisses", "tooltip": { "shared": true, "sort": 0, @@ -2288,16 +2206,263 @@ } }, { - "aliasColors": {}, - "bars": false, - "dashLength": 10, - "dashes": false, - "fill": 1, - "fillGradient": 0, - "gridPos": { - "h": 8, - "w": 22, - "x": 0, + "cacheTimeout": null, + "colorBackground": true, + "colorValue": false, + "colors": [ + "#FF9830", + "#E0B400", + "#F2495C" + ], + "format": "percent", + "gauge": { + "maxValue": 100, + "minValue": 0, + "show": false, + "thresholdLabels": false, + "thresholdMarkers": true + }, + "gridPos": { + "h": 8, + "w": 7, + "x": 0, + "y": 95 + }, + "id": 66, + "interval": null, + "links": [], + "mappingType": 1, + "mappingTypes": [ + { + "name": "value to text", + "value": 1 + }, + { + "name": "range to text", + "value": 2 + } + ], + "maxDataPoints": 100, + "nullPointMode": "connected", + "nullText": null, + "options": {}, + "postfix": "", + "postfixFontSize": "50%", + "prefix": "", + "prefixFontSize": "50%", + "rangeMaps": [ + { + "from": "null", + "text": "N/A", + "to": "null" + } + ], + "sparkline": { + "fillColor": "rgba(31, 118, 189, 0.18)", + "full": false, + "lineColor": "rgb(31, 120, 193)", + "show": false + }, + "tableColumn": "", + "targets": [ + { + "refId": "A", + "target": "ResolveTime", + "type": "timeserie" + } + ], + "thresholds": "", + "timeFrom": null, + "timeShift": null, + "title": "Resolve Time", + "type": "singlestat", + "valueFontSize": "80%", + "valueMaps": [ + { + "op": "=", + "text": "N/A", + "value": "null" + } + ], + "valueName": "current" + }, + { + "aliasColors": {}, + "bars": false, + "dashLength": 10, + "dashes": false, + "fill": 1, + "fillGradient": 0, + "gridPos": { + "h": 8, + "w": 15, + "x": 7, + "y": 95 + }, + "id": 60, + "legend": { + "avg": false, + "current": false, + "max": false, + "min": false, + "show": true, + "total": false, + "values": false + }, + "lines": true, + "linewidth": 1, + "nullPointMode": "null", + "options": { + "dataLinks": [] + }, + "percentage": false, + "pointradius": 2, + "points": false, + "renderer": "flot", + "seriesOverrides": [], + "spaceLength": 10, + "stack": false, + "steppedLine": false, + "targets": [ + { + "refId": "A", + "target": "ResolveTime", + "type": "timeserie" + } + ], + "thresholds": [], + "timeFrom": null, + "timeRegions": [], + "timeShift": null, + "title": "Resolve Time", + "tooltip": { + "shared": true, + "sort": 0, + "value_type": "individual" + }, + "type": "graph", + "xaxis": { + "buckets": null, + "mode": "time", + "name": null, + "show": true, + "values": [] + }, + "yaxes": [ + { + "format": "short", + "label": null, + "logBase": 1, + "max": null, + "min": null, + "show": true + }, + { + "format": "short", + "label": null, + "logBase": 1, + "max": null, + "min": null, + "show": true + } + ], + "yaxis": { + "align": false, + "alignLevel": null + } + }, + { + "cacheTimeout": null, + "colorBackground": true, + "colorValue": false, + "colors": [ + "#299c46", + "#FF9830", + "#d44a3a" + ], + "format": "percent", + "gauge": { + "maxValue": 100, + "minValue": 0, + "show": false, + "thresholdLabels": false, + "thresholdMarkers": true + }, + "gridPos": { + "h": 8, + "w": 7, + "x": 0, + "y": 103 + }, + "id": 68, + "interval": null, + "links": [], + "mappingType": 1, + "mappingTypes": [ + { + "name": "value to text", + "value": 1 + }, + { + "name": "range to text", + "value": 2 + } + ], + "maxDataPoints": 100, + "nullPointMode": "connected", + "nullText": null, + "options": {}, + "postfix": "", + "postfixFontSize": "50%", + "prefix": "", + "prefixFontSize": "50%", + "rangeMaps": [ + { + "from": "null", + "text": "N/A", + "to": "null" + } + ], + "sparkline": { + "fillColor": "rgba(31, 118, 189, 0.18)", + "full": false, + "lineColor": "rgb(31, 120, 193)", + "show": false + }, + "tableColumn": "", + "targets": [ + { + "refId": "A", + "target": "ForkTime", + "type": "timeserie" + } + ], + "thresholds": "", + "timeFrom": null, + "timeShift": null, + "title": "Fork Time", + "type": "singlestat", + "valueFontSize": "80%", + "valueMaps": [ + { + "op": "=", + "text": "N/A", + "value": "null" + } + ], + "valueName": "current" + }, + { + "aliasColors": {}, + "bars": false, + "dashLength": 10, + "dashes": false, + "fill": 1, + "fillGradient": 0, + "gridPos": { + "h": 8, + "w": 15, + "x": 7, "y": 103 }, "id": 58, @@ -2359,18 +2524,99 @@ "show": true }, { - "format": "short", - "label": null, - "logBase": 1, - "max": null, - "min": null, - "show": true + "format": "short", + "label": null, + "logBase": 1, + "max": null, + "min": null, + "show": true + } + ], + "yaxis": { + "align": false, + "alignLevel": null + } + }, + { + "cacheTimeout": null, + "colorBackground": true, + "colorValue": false, + "colors": [ + "#299c46", + "#3274D9", + "#d44a3a" + ], + "format": "percent", + "gauge": { + "maxValue": 100, + "minValue": 0, + "show": false, + "thresholdLabels": false, + "thresholdMarkers": true + }, + "gridPos": { + "h": 7, + "w": 7, + "x": 0, + "y": 111 + }, + "id": 70, + "interval": null, + "links": [], + "mappingType": 1, + "mappingTypes": [ + { + "name": "value to text", + "value": 1 + }, + { + "name": "range to text", + "value": 2 + } + ], + "maxDataPoints": 100, + "nullPointMode": "connected", + "nullText": null, + "options": {}, + "postfix": "", + "postfixFontSize": "50%", + "prefix": "", + "prefixFontSize": "50%", + "rangeMaps": [ + { + "from": "null", + "text": "N/A", + "to": "null" + } + ], + "sparkline": { + "fillColor": "rgba(31, 118, 189, 0.18)", + "full": false, + "lineColor": "rgb(31, 120, 193)", + "show": false + }, + "tableColumn": "", + "targets": [ + { + "refId": "A", + "target": "CexCacheTime", + "type": "timeserie" + } + ], + "thresholds": "", + "timeFrom": null, + "timeShift": null, + "title": "CexCache Time ", + "type": "singlestat", + "valueFontSize": "80%", + "valueMaps": [ + { + "op": "=", + "text": "N/A", + "value": "null" } ], - "yaxis": { - "align": false, - "alignLevel": null - } + "valueName": "current" }, { "aliasColors": {}, @@ -2380,9 +2626,9 @@ "fill": 1, "fillGradient": 0, "gridPos": { - "h": 8, - "w": 22, - "x": 0, + "h": 7, + "w": 15, + "x": 7, "y": 111 }, "id": 56, @@ -2436,10 +2682,11 @@ }, "yaxes": [ { + "decimals": null, "format": "short", "label": null, "logBase": 1, - "max": null, + "max": "100", "min": null, "show": true }, @@ -2457,6 +2704,87 @@ "alignLevel": null } }, + { + "cacheTimeout": null, + "colorBackground": true, + "colorValue": false, + "colors": [ + "#299c46", + "#B877D9", + "#d44a3a" + ], + "format": "µs", + "gauge": { + "maxValue": 100, + "minValue": 0, + "show": false, + "thresholdLabels": false, + "thresholdMarkers": true + }, + "gridPos": { + "h": 8, + "w": 7, + "x": 0, + "y": 118 + }, + "id": 72, + "interval": null, + "links": [], + "mappingType": 1, + "mappingTypes": [ + { + "name": "value to text", + "value": 1 + }, + { + "name": "range to text", + "value": 2 + } + ], + "maxDataPoints": 100, + "nullPointMode": "connected", + "nullText": null, + "options": {}, + "postfix": "", + "postfixFontSize": "50%", + "prefix": "", + "prefixFontSize": "50%", + "rangeMaps": [ + { + "from": "null", + "text": "N/A", + "to": "null" + } + ], + "sparkline": { + "fillColor": "rgba(31, 118, 189, 0.18)", + "full": false, + "lineColor": "rgb(31, 120, 193)", + "show": false + }, + "tableColumn": "", + "targets": [ + { + "refId": "A", + "target": "WallTime", + "type": "timeserie" + } + ], + "thresholds": "", + "timeFrom": null, + "timeShift": null, + "title": "Wall Time ", + "type": "singlestat", + "valueFontSize": "80%", + "valueMaps": [ + { + "op": "=", + "text": "N/A", + "value": "null" + } + ], + "valueName": "current" + }, { "aliasColors": {}, "bars": false, @@ -2466,9 +2794,9 @@ "fillGradient": 0, "gridPos": { "h": 8, - "w": 22, - "x": 0, - "y": 119 + "w": 15, + "x": 7, + "y": 118 }, "id": 52, "legend": { @@ -2521,7 +2849,8 @@ }, "yaxes": [ { - "format": "short", + "decimals": null, + "format": "µs", "label": null, "logBase": 1, "max": null, @@ -2542,6 +2871,88 @@ "alignLevel": null } }, + { + "cacheTimeout": null, + "colorBackground": true, + "colorValue": false, + "colors": [ + "#299c46", + "#E02F44", + "#d44a3a" + ], + "decimals": null, + "format": "percent", + "gauge": { + "maxValue": 100, + "minValue": 0, + "show": false, + "thresholdLabels": false, + "thresholdMarkers": true + }, + "gridPos": { + "h": 7, + "w": 7, + "x": 0, + "y": 126 + }, + "id": 74, + "interval": null, + "links": [], + "mappingType": 1, + "mappingTypes": [ + { + "name": "value to text", + "value": 1 + }, + { + "name": "range to text", + "value": 2 + } + ], + "maxDataPoints": 100, + "nullPointMode": "connected", + "nullText": null, + "options": {}, + "postfix": "", + "postfixFontSize": "50%", + "prefix": "", + "prefixFontSize": "50%", + "rangeMaps": [ + { + "from": "null", + "text": "N/A", + "to": "null" + } + ], + "sparkline": { + "fillColor": "rgba(31, 118, 189, 0.18)", + "full": false, + "lineColor": "rgb(31, 120, 193)", + "show": false + }, + "tableColumn": "", + "targets": [ + { + "refId": "A", + "target": "QueryTime", + "type": "timeserie" + } + ], + "thresholds": "", + "timeFrom": null, + "timeShift": null, + "title": "QueryTime", + "type": "singlestat", + "valueFontSize": "80%", + "valueMaps": [ + { + "op": "=", + "text": "N/A", + "value": "null" + } + ], + "valueName": "current" + }, { "aliasColors": {}, "bars": false, @@ -2550,10 +2961,10 @@ "fill": 1, "fillGradient": 0, "gridPos": { - "h": 8, - "w": 22, - "x": 0, - "y": 127 + "h": 7, + "w": 15, + "x": 7, + "y": 126 }, "id": 54, "legend": { @@ -2609,7 +3020,7 @@ "format": "short", "label": null, "logBase": 1, - "max": null, + "max": "100", "min": null, "show": true }, @@ -2627,6 +3038,87 @@ "alignLevel": null } }, + { + "cacheTimeout": null, + "colorBackground": true, + "colorValue": false, + "colors": [ + "#299c46", + "#8F3BB8", + "#d44a3a" + ], + "format": "µs", + "gauge": { + "maxValue": 100, + "minValue": 0, + "show": false, + "thresholdLabels": false, + "thresholdMarkers": true + }, + "gridPos": { + "h": 7, + "w": 7, + "x": 0, + "y": 133 + }, + "id": 76, + "interval": null, + "links": [], + "mappingType": 1, + "mappingTypes": [ + { + "name": "value to text", + "value": 1 + }, + { + "name": "range to text", + "value": 2 + } + ], + "maxDataPoints": 100, + "nullPointMode": "connected", + "nullText": null, + "options": {}, + "postfix": "", + "postfixFontSize": "50%", + "prefix": "", + "prefixFontSize": "50%", + "rangeMaps": [ + { + "from": "null", + "text": "N/A", + "to": "null" + } + ], + "sparkline": { + "fillColor": "rgba(31, 118, 189, 0.18)", + "full": false, + "lineColor": "rgb(31, 120, 193)", + "show": false + }, + "tableColumn": "", + "targets": [ + { + "refId": "A", + "target": "UserTime", + "type": "timeserie" + } + ], + "thresholds": "", + "timeFrom": null, + "timeShift": null, + "title": "UserTime ", + "type": "singlestat", + "valueFontSize": "80%", + "valueMaps": [ + { + "op": "=", + "text": "N/A", + "value": "null" + } + ], + "valueName": "current" + }, { "aliasColors": {}, "bars": false, @@ -2636,9 +3128,9 @@ "fillGradient": 0, "gridPos": { "h": 7, - "w": 22, - "x": 0, - "y": 135 + "w": 15, + "x": 7, + "y": 133 }, "id": 34, "legend": { @@ -2691,7 +3183,7 @@ }, "yaxes": [ { - "format": "short", + "format": "µs", "label": null, "logBase": 1, "max": null, @@ -2714,19 +3206,43 @@ } ], "refresh": "5s", - "schemaVersion": 19, + "schemaVersion": 18, "style": "dark", "tags": [], "templating": { "list": [] }, "time": { - "from": "now-5m", + "from": "now-15m", "to": "now" }, - "timepicker": {}, + "timepicker": { + "refresh_intervals": [ + "5s", + "10s", + "30s", + "1m", + "5m", + "15m", + "30m", + "1h", + "2h", + "1d" + ], + "time_options": [ + "5m", + "15m", + "1h", + "6h", + "12h", + "24h", + "2d", + "7d", + "30d" + ] + }, "timezone": "", "title": "KLEE", "uid": "oxwz7cvWkh", - "version": 9 -} + "version": 1 +} \ No newline at end of file -- cgit 1.4.1