diff options
author | knm17 <knm17@ic.ac.uk> | 2019-09-11 12:54:49 +0100 |
---|---|---|
committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2020-01-17 18:36:56 +0000 |
commit | 17a08f63c157fae3ccd2065563664d4fa15c1fa2 (patch) | |
tree | 53ea8c5122fa3de844e12ce7656be85a614e5328 | |
parent | 83c6487e68824453d961da874381231c58149f5e (diff) | |
download | klee-17a08f63c157fae3ccd2065563664d4fa15c1fa2.tar.gz |
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.
-rwxr-xr-x | tools/klee-stats/klee-stats | 8 | ||||
-rw-r--r-- | utils/grafana/klee_dashboard.json | 812 |
2 files changed, 670 insertions, 150 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,10 +15,92 @@ "editable": true, "gnetId": null, "graphTooltip": 0, - "id": 4, "links": [], "panels": [ { + "cacheTimeout": null, + "colorBackground": true, + "colorValue": false, + "colors": [ + "#299c46", + "#FF9830", + "#d44a3a" + ], + "format": "none", + "gauge": { + "maxValue": 100, + "minValue": 0, + "show": false, + "thresholdLabels": false, + "thresholdMarkers": true + }, + "gridPos": { + "h": 7, + "w": 7, + "x": 0, + "y": 0 + }, + "id": 4, + "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, + "ymax": null, + "ymin": null + }, + "tableColumn": "", + "targets": [ + { + "refId": "A", + "target": "Instructions", + "type": "timeserie" + } + ], + "thresholds": "", + "timeFrom": null, + "timeShift": null, + "title": "Instructions Processed", + "type": "singlestat", + "valueFontSize": "80%", + "valueMaps": [ + { + "op": "=", + "text": "N/A", + "value": "null" + } + ], + "valueName": "avg" + }, + { "aliasColors": {}, "bars": false, "dashLength": 10, @@ -28,7 +110,7 @@ "gridPos": { "h": 7, "w": 15, - "x": 0, + "x": 7, "y": 0 }, "id": 2, @@ -109,9 +191,10 @@ "colorValue": false, "colors": [ "#299c46", - "#FF9830", + "#B877D9", "#d44a3a" ], + "datasource": "Klee Stats", "format": "none", "gauge": { "maxValue": 100, @@ -123,10 +206,10 @@ "gridPos": { "h": 7, "w": 7, - "x": 15, - "y": 0 + "x": 0, + "y": 7 }, - "id": 4, + "id": 8, "interval": null, "links": [], "mappingType": 1, @@ -167,14 +250,14 @@ "targets": [ { "refId": "A", - "target": "Instructions", - "type": "timeserie" + "target": "FullBranches", + "type": "table" } ], "thresholds": "", "timeFrom": null, "timeShift": null, - "title": "Instructions Count", + "title": "Full Branches", "type": "singlestat", "valueFontSize": "80%", "valueMaps": [ @@ -196,7 +279,7 @@ "gridPos": { "h": 7, "w": 15, - "x": 0, + "x": 7, "y": 7 }, "id": 6, @@ -277,7 +360,7 @@ "colorValue": false, "colors": [ "#299c46", - "#B877D9", + "#5794F2", "#d44a3a" ], "format": "none", @@ -289,12 +372,12 @@ "thresholdMarkers": true }, "gridPos": { - "h": 7, + "h": 6, "w": 7, - "x": 15, - "y": 7 + "x": 0, + "y": 14 }, - "id": 8, + "id": 12, "interval": null, "links": [], "mappingType": 1, @@ -335,14 +418,14 @@ "targets": [ { "refId": "A", - "target": "FullBranches", + "target": "CoveredInstructions", "type": "timeserie" } ], "thresholds": "", "timeFrom": null, "timeShift": null, - "title": "Panel Title", + "title": "Covered Instructions", "type": "singlestat", "valueFontSize": "80%", "valueMaps": [ @@ -364,7 +447,7 @@ "gridPos": { "h": 6, "w": 15, - "x": 0, + "x": 7, "y": 14 }, "id": 10, @@ -445,10 +528,10 @@ "colorValue": false, "colors": [ "#299c46", - "#5794F2", + "#F2495C", "#d44a3a" ], - "format": "none", + "format": "bytes", "gauge": { "maxValue": 100, "minValue": 0, @@ -457,12 +540,12 @@ "thresholdMarkers": true }, "gridPos": { - "h": 6, + "h": 7, "w": 7, - "x": 15, - "y": 14 + "x": 0, + "y": 20 }, - "id": 12, + "id": 16, "interval": null, "links": [], "mappingType": 1, @@ -503,14 +586,14 @@ "targets": [ { "refId": "A", - "target": "CoveredInstructions", + "target": "MallocUsage", "type": "timeserie" } ], "thresholds": "", "timeFrom": null, "timeShift": null, - "title": "Covered Instructions Count", + "title": "Malloc Usage", "type": "singlestat", "valueFontSize": "80%", "valueMaps": [ @@ -520,7 +603,7 @@ "value": "null" } ], - "valueName": "avg" + "valueName": "current" }, { "aliasColors": {}, @@ -532,7 +615,7 @@ "gridPos": { "h": 7, "w": 15, - "x": 0, + "x": 7, "y": 20 }, "id": 14, @@ -613,7 +696,7 @@ "colorValue": false, "colors": [ "#299c46", - "#F2495C", + "#56A64B", "#d44a3a" ], "format": "none", @@ -627,10 +710,10 @@ "gridPos": { "h": 7, "w": 7, - "x": 15, - "y": 20 + "x": 0, + "y": 27 }, - "id": 16, + "id": 20, "interval": null, "links": [], "mappingType": 1, @@ -671,14 +754,14 @@ "targets": [ { "refId": "A", - "target": "MallocUsage", + "target": "PartialBranches", "type": "timeserie" } ], "thresholds": "", "timeFrom": null, "timeShift": null, - "title": "Malloc Usage Count", + "title": "Partial Branches ", "type": "singlestat", "valueFontSize": "80%", "valueMaps": [ @@ -688,7 +771,7 @@ "value": "null" } ], - "valueName": "max" + "valueName": "current" }, { "aliasColors": {}, @@ -700,7 +783,7 @@ "gridPos": { "h": 7, "w": 15, - "x": 0, + "x": 7, "y": 27 }, "id": 18, @@ -780,9 +863,9 @@ "colorBackground": true, "colorValue": false, "colors": [ - "#299c46", - "#56A64B", - "#d44a3a" + "#FF780A", + "#FF780A", + "#FF780A" ], "format": "none", "gauge": { @@ -795,10 +878,10 @@ "gridPos": { "h": 7, "w": 7, - "x": 15, - "y": 27 + "x": 0, + "y": 34 }, - "id": 20, + "id": 24, "interval": null, "links": [], "mappingType": 1, @@ -839,14 +922,14 @@ "targets": [ { "refId": "A", - "target": "PartialBranches", + "target": "UncoveredInstructions", "type": "timeserie" } ], "thresholds": "", "timeFrom": null, "timeShift": null, - "title": "Partial Branches Count", + "title": "Uncovered Instructions ", "type": "singlestat", "valueFontSize": "80%", "valueMaps": [ @@ -856,7 +939,7 @@ "value": "null" } ], - "valueName": "avg" + "valueName": "current" }, { "aliasColors": {}, @@ -868,7 +951,7 @@ "gridPos": { "h": 7, "w": 15, - "x": 0, + "x": 7, "y": 34 }, "id": 22, @@ -948,11 +1031,11 @@ "colorBackground": true, "colorValue": false, "colors": [ - "#FF780A", - "#FF780A", - "#FF780A" + "#299c46", + "#B877D9", + "#d44a3a" ], - "format": "none", + "format": "percent", "gauge": { "maxValue": 100, "minValue": 0, @@ -961,12 +1044,12 @@ "thresholdMarkers": true }, "gridPos": { - "h": 7, + "h": 8, "w": 7, - "x": 15, - "y": 34 + "x": 0, + "y": 41 }, - "id": 24, + "id": 28, "interval": null, "links": [], "mappingType": 1, @@ -984,6 +1067,7 @@ "nullPointMode": "connected", "nullText": null, "options": {}, + "pluginVersion": "6.2.5", "postfix": "", "postfixFontSize": "50%", "prefix": "", @@ -1006,15 +1090,15 @@ "tableColumn": "", "targets": [ { - "refId": "A", - "target": "UncoveredInstructions", + "refId": "B", + "target": "SolverTime", "type": "timeserie" } ], "thresholds": "", "timeFrom": null, "timeShift": null, - "title": "Uncovered Instructions Count", + "title": "Solver Time ", "type": "singlestat", "valueFontSize": "80%", "valueMaps": [ @@ -1024,7 +1108,7 @@ "value": "null" } ], - "valueName": "avg" + "valueName": "current" }, { "aliasColors": {}, @@ -1036,7 +1120,7 @@ "gridPos": { "h": 8, "w": 15, - "x": 0, + "x": 7, "y": 41 }, "id": 26, @@ -1090,10 +1174,11 @@ }, "yaxes": [ { + "decimals": null, "format": "short", "label": null, "logBase": 1, - "max": null, + "max": "100", "min": null, "show": true }, @@ -1117,7 +1202,7 @@ "colorValue": false, "colors": [ "#299c46", - "#B877D9", + "#5794F2", "#d44a3a" ], "format": "none", @@ -1129,12 +1214,12 @@ "thresholdMarkers": true }, "gridPos": { - "h": 8, + "h": 7, "w": 7, - "x": 15, - "y": 41 + "x": 0, + "y": 49 }, - "id": 28, + "id": 32, "interval": null, "links": [], "mappingType": 1, @@ -1175,14 +1260,14 @@ "targets": [ { "refId": "A", - "target": "SolverTime", + "target": "NumBranches", "type": "timeserie" } ], "thresholds": "", "timeFrom": null, "timeShift": null, - "title": "Solver Time Count", + "title": "Num Branches", "type": "singlestat", "valueFontSize": "80%", "valueMaps": [ @@ -1204,7 +1289,7 @@ "gridPos": { "h": 7, "w": 15, - "x": 0, + "x": 7, "y": 49 }, "id": 30, @@ -1285,7 +1370,7 @@ "colorValue": false, "colors": [ "#299c46", - "#5794F2", + "#CA95E5", "#d44a3a" ], "format": "none", @@ -1299,10 +1384,10 @@ "gridPos": { "h": 7, "w": 7, - "x": 15, - "y": 49 + "x": 0, + "y": 56 }, - "id": 32, + "id": 38, "interval": null, "links": [], "mappingType": 1, @@ -1343,14 +1428,14 @@ "targets": [ { "refId": "A", - "target": "NumBranches", + "target": "NumStates", "type": "timeserie" } ], "thresholds": "", "timeFrom": null, "timeShift": null, - "title": "Num Branches Count", + "title": "Num States", "type": "singlestat", "valueFontSize": "80%", "valueMaps": [ @@ -1360,7 +1445,7 @@ "value": "null" } ], - "valueName": "avg" + "valueName": "current" }, { "aliasColors": {}, @@ -1372,7 +1457,7 @@ "gridPos": { "h": 7, "w": 15, - "x": 0, + "x": 7, "y": 56 }, "id": 36, @@ -1453,7 +1538,7 @@ "colorValue": false, "colors": [ "#299c46", - "#CA95E5", + "#E02F44", "#d44a3a" ], "format": "none", @@ -1465,12 +1550,12 @@ "thresholdMarkers": true }, "gridPos": { - "h": 7, + "h": 8, "w": 7, - "x": 15, - "y": 56 + "x": 0, + "y": 63 }, - "id": 38, + "id": 42, "interval": null, "links": [], "mappingType": 1, @@ -1511,14 +1596,14 @@ "targets": [ { "refId": "A", - "target": "NumStates", + "target": "NumQueries", "type": "timeserie" } ], "thresholds": "", "timeFrom": null, "timeShift": null, - "title": "Num States Count", + "title": "Num Queries", "type": "singlestat", "valueFontSize": "80%", "valueMaps": [ @@ -1528,7 +1613,7 @@ "value": "null" } ], - "valueName": "avg" + "valueName": "current" }, { "aliasColors": {}, @@ -1540,7 +1625,7 @@ "gridPos": { "h": 8, "w": 15, - "x": 0, + "x": 7, "y": 63 }, "id": 40, @@ -1621,7 +1706,7 @@ "colorValue": false, "colors": [ "#299c46", - "#96D98D", + "rgba(237, 129, 40, 0.89)", "#d44a3a" ], "format": "none", @@ -1635,10 +1720,10 @@ "gridPos": { "h": 8, "w": 7, - "x": 15, - "y": 63 + "x": 0, + "y": 71 }, - "id": 42, + "id": 46, "interval": null, "links": [], "mappingType": 1, @@ -1679,14 +1764,14 @@ "targets": [ { "refId": "A", - "target": "NumQueries", + "target": "NumQueryConstructs", "type": "timeserie" } ], "thresholds": "", "timeFrom": null, "timeShift": null, - "title": "Num Queries Count", + "title": "NumQueryConstructs", "type": "singlestat", "valueFontSize": "80%", "valueMaps": [ @@ -1696,7 +1781,7 @@ "value": "null" } ], - "valueName": "avg" + "valueName": "current" }, { "aliasColors": {}, @@ -1708,7 +1793,7 @@ "gridPos": { "h": 8, "w": 15, - "x": 0, + "x": 7, "y": 71 }, "id": 44, @@ -1789,7 +1874,7 @@ "colorValue": false, "colors": [ "#299c46", - "rgba(237, 129, 40, 0.89)", + "#C4162A", "#d44a3a" ], "format": "none", @@ -1803,10 +1888,10 @@ "gridPos": { "h": 8, "w": 7, - "x": 15, - "y": 71 + "x": 0, + "y": 79 }, - "id": 46, + "id": 50, "interval": null, "links": [], "mappingType": 1, @@ -1847,14 +1932,14 @@ "targets": [ { "refId": "A", - "target": "NumQueryConstructs", + "target": "NumObjects", "type": "timeserie" } ], "thresholds": "", "timeFrom": null, "timeShift": null, - "title": "NumQueryConstructs Count", + "title": "Num Objects ", "type": "singlestat", "valueFontSize": "80%", "valueMaps": [ @@ -1864,7 +1949,7 @@ "value": "null" } ], - "valueName": "avg" + "valueName": "current" }, { "aliasColors": {}, @@ -1876,7 +1961,7 @@ "gridPos": { "h": 8, "w": 15, - "x": 0, + "x": 7, "y": 79 }, "id": 48, @@ -1954,10 +2039,11 @@ { "cacheTimeout": null, "colorBackground": true, + "colorPrefix": false, "colorValue": false, "colors": [ "#299c46", - "#C4162A", + "#3274D9", "#d44a3a" ], "format": "none", @@ -1971,10 +2057,10 @@ "gridPos": { "h": 8, "w": 7, - "x": 15, - "y": 79 + "x": 0, + "y": 87 }, - "id": 50, + "id": 64, "interval": null, "links": [], "mappingType": 1, @@ -2015,14 +2101,14 @@ "targets": [ { "refId": "A", - "target": "NumObjects", + "target": "QueryCexCacheMisses", "type": "timeserie" } ], "thresholds": "", "timeFrom": null, "timeShift": null, - "title": "Num Objects Count", + "title": "QueryCexCacheMisses Count", "type": "singlestat", "valueFontSize": "80%", "valueMaps": [ @@ -2032,7 +2118,7 @@ "value": "null" } ], - "valueName": "avg" + "valueName": "current" }, { "aliasColors": {}, @@ -2044,7 +2130,7 @@ "gridPos": { "h": 8, "w": 15, - "x": 0, + "x": 7, "y": 87 }, "id": 62, @@ -2124,11 +2210,11 @@ "colorBackground": true, "colorValue": false, "colors": [ - "#299c46", - "#F2CC0C", - "#d44a3a" + "#FF9830", + "#E0B400", + "#F2495C" ], - "format": "none", + "format": "percent", "gauge": { "maxValue": 100, "minValue": 0, @@ -2139,10 +2225,10 @@ "gridPos": { "h": 8, "w": 7, - "x": 15, - "y": 87 + "x": 0, + "y": 95 }, - "id": 64, + "id": 66, "interval": null, "links": [], "mappingType": 1, @@ -2175,22 +2261,20 @@ "fillColor": "rgba(31, 118, 189, 0.18)", "full": false, "lineColor": "rgb(31, 120, 193)", - "show": false, - "ymax": null, - "ymin": null + "show": false }, "tableColumn": "", "targets": [ { "refId": "A", - "target": "QueryCexCacheMisses", + "target": "ResolveTime", "type": "timeserie" } ], "thresholds": "", "timeFrom": null, "timeShift": null, - "title": "QueryCexCacheMisses Count", + "title": "Resolve Time", "type": "singlestat", "valueFontSize": "80%", "valueMaps": [ @@ -2200,7 +2284,7 @@ "value": "null" } ], - "valueName": "avg" + "valueName": "current" }, { "aliasColors": {}, @@ -2211,8 +2295,8 @@ "fillGradient": 0, "gridPos": { "h": 8, - "w": 22, - "x": 0, + "w": 15, + "x": 7, "y": 95 }, "id": 60, @@ -2288,6 +2372,87 @@ } }, { + "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, @@ -2296,8 +2461,8 @@ "fillGradient": 0, "gridPos": { "h": 8, - "w": 22, - "x": 0, + "w": 15, + "x": 7, "y": 103 }, "id": 58, @@ -2373,6 +2538,87 @@ } }, { + "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" + } + ], + "valueName": "current" + }, + { "aliasColors": {}, "bars": false, "dashLength": 10, @@ -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 }, @@ -2458,6 +2705,87 @@ } }, { + "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, "dashLength": 10, @@ -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, @@ -2543,6 +2872,88 @@ } }, { + "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, "dashLength": 10, @@ -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 }, @@ -2628,6 +3039,87 @@ } }, { + "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, "dashLength": 10, @@ -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 |