System.out.println("MAX_TIME="+MAX_TIME+" time_running="+time_running+" for buffer "+buffername);
if (time_running > MAX_TIME)
{
System.out.println("MAXTIMEOUT exceeded during optimization of the buffer "+buffername+". Halting...");
storage.haltSolution(true);
}
System.out.println("Waiting for completion...");
}