#include "resource_usage.h"
#include <stdio.h>
#include <sys/resource.h>
#include <sys/time.h>

void print_resource_usage(const char *label) {
  struct rusage usage;
  if (getrusage(RUSAGE_SELF, &usage) == 0) {
    long mem_kb = usage.ru_maxrss;
    double user_sec = usage.ru_utime.tv_sec + usage.ru_utime.tv_usec / 1e6;
    double sys_sec = usage.ru_stime.tv_sec + usage.ru_stime.tv_usec / 1e6;
    printf("[%s] CPU user: %.3f s, system: %.3f s, peak memory: %ld KB\n",
           label, user_sec, sys_sec, mem_kb);
  } else {
    printf("[%s] Resource usage not available\n", label);
  }
}