#!/bin/bash


    awk '
                 BEGIN{ state="empty"; ROBFullTicks=0; ROBFullTimestamp=0}
                /Free ROB/ {
                        if ($9 != val)
                        {
                            if( $9 == "0," && state != "full")
                            {
                                state = "full"
                                ROBFullTimestamp = $1
                            }
                            else if(state != "empty")
                            {
                                state = "empty"

                                ROBFullTicks += $1 - ROBFullTimestamp
                            }
                            val = $9;
                        }
                    }

                    END{print ROBFullTicks}' $1