argc=5 -M 16 file2=30_select_Case6.17_starter_16_ checking files mod 16 from 0 to 15 case_no=29 label=Case6.17 nb_sol=0 ticks=92455 tps=100 nb_sec=924 case_no=29 label=Case6.17 nb_sol=0 ticks=54777 tps=100 nb_sec=547 case_no=29 label=Case6.17 nb_sol=0 ticks=98646 tps=100 nb_sec=986 case_no=29 label=Case6.17 nb_sol=0 ticks=81565 tps=100 nb_sec=815 case_no=29 label=Case6.17 nb_sol=0 ticks=69297 tps=100 nb_sec=692 case_no=29 label=Case6.17 nb_sol=0 ticks=64496 tps=100 nb_sec=644 case_no=29 label=Case6.17 nb_sol=0 ticks=80616 tps=100 nb_sec=806 case_no=29 label=Case6.17 nb_sol=0 ticks=65301 tps=100 nb_sec=653 case_no=29 label=Case6.17 nb_sol=0 ticks=72947 tps=100 nb_sec=729 case_no=29 label=Case6.17 nb_sol=0 ticks=73263 tps=100 nb_sec=732 case_no=29 label=Case6.17 nb_sol=0 ticks=65804 tps=100 nb_sec=658 case_no=29 label=Case6.17 nb_sol=0 ticks=69728 tps=100 nb_sec=697 case_no=29 label=Case6.17 nb_sol=0 ticks=70818 tps=100 nb_sec=708 case_no=29 label=Case6.17 nb_sol=0 ticks=57891 tps=100 nb_sec=578 case_no=29 label=Case6.17 nb_sol=0 ticks=57702 tps=100 nb_sec=577 case_no=29 label=Case6.17 nb_sol=0 ticks=95217 tps=100 nb_sec=952 Nb_sol=0 Nb_sec=11698 0-3:14:58 or 3 hours missing cases: none