Measure not real time but user time
argv[0] instead of './hanoi'