"%d variables with %d active constraint each, concurrency in [%i,%i] and max concurrency share %i\n",
testcount,nb_cnst, nb_var, nb_elem, (1<<pw_base_limit), (1<<pw_base_limit)+(1<<pw_max_limit), max_share);
if(mode==3)
"%d variables with %d active constraint each, concurrency in [%i,%i] and max concurrency share %i\n",
testcount,nb_cnst, nb_var, nb_elem, (1<<pw_base_limit), (1<<pw_base_limit)+(1<<pw_max_limit), max_share);
if(mode==3)