[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [creduce-dev] parallel tuning



On 11/17/15 4:38 PM, Markus Trippelsdorf wrote:
On 2015.11.17 at 15:08 +0100, John Regehr wrote:
Thanks Markus!  If you have time to run 2,3,5 I'd be curious to see those

creduce -n 1 --backup ./check.sh bug244.cc  2576.49s user 300.02s system 100% cpu 47:47.16 total

creduce -n 2 --backup ./check.sh bug244.cc  2950.81s user 374.22s system 171% cpu 32:17.60 total

creduce -n 3 --backup ./check.sh bug244.cc  3383.26s user 416.05s system 216% cpu 29:15.88 total

creduce -n 4 --backup ./check.sh bug244.cc  3714.57s user 480.69s system 243% cpu 28:46.14 total

creduce -n 5 --backup ./check.sh bug244.cc  4199.84s user 523.13s system 258% cpu 30:25.24 total

creduce -n 6 --backup ./check.sh bug244.cc  4759.06s user 578.17s system 270% cpu 32:54.00 total