version;execution;temps_reel_s;temps_user_s;temps_systeme_s;pic_rss_kio initial;1;2.83;2.82;0.00;6664 final;1;0.11;0.11;0.00;6672 final;2;0.11;0.11;0.00;6664 initial;2;2.80;2.80;0.00;6672 initial;3;2.81;2.80;0.00;6564 final;3;0.11;0.11;0.00;6672 final;4;0.11;0.10;0.00;6668 initial;4;2.79;2.79;0.00;6672 initial;5;2.82;2.81;0.00;6504 final;5;0.11;0.11;0.00;6652