argc=5
-M 64
file2=30_select_Case6.137_starter_15_
checking files mod 64 from 0 to 63
case_no=149 label=Case6.137 nb_sol=0 ticks=2103458 tps=100 nb_sec=21034
case_no=149 label=Case6.137 nb_sol=0 ticks=1189891 tps=100 nb_sec=11898
case_no=149 label=Case6.137 nb_sol=0 ticks=1449307 tps=100 nb_sec=14493
case_no=149 label=Case6.137 nb_sol=0 ticks=1220410 tps=100 nb_sec=12204
case_no=149 label=Case6.137 nb_sol=0 ticks=1078749 tps=100 nb_sec=10787
case_no=149 label=Case6.137 nb_sol=0 ticks=1290136 tps=100 nb_sec=12901
case_no=149 label=Case6.137 nb_sol=0 ticks=1078703 tps=100 nb_sec=10787
case_no=149 label=Case6.137 nb_sol=0 ticks=1478923 tps=100 nb_sec=14789
case_no=149 label=Case6.137 nb_sol=0 ticks=1376027 tps=100 nb_sec=13760
case_no=149 label=Case6.137 nb_sol=0 ticks=1249077 tps=100 nb_sec=12490
case_no=149 label=Case6.137 nb_sol=0 ticks=660091 tps=100 nb_sec=6600
case_no=149 label=Case6.137 nb_sol=0 ticks=1459371 tps=100 nb_sec=14593
case_no=149 label=Case6.137 nb_sol=0 ticks=1387885 tps=100 nb_sec=13878
case_no=149 label=Case6.137 nb_sol=0 ticks=1825764 tps=100 nb_sec=18257
case_no=149 label=Case6.137 nb_sol=0 ticks=1326899 tps=100 nb_sec=13268
case_no=149 label=Case6.137 nb_sol=0 ticks=883013 tps=100 nb_sec=8830
case_no=149 label=Case6.137 nb_sol=0 ticks=1458597 tps=100 nb_sec=14585
case_no=149 label=Case6.137 nb_sol=0 ticks=1420417 tps=100 nb_sec=14204
case_no=149 label=Case6.137 nb_sol=0 ticks=1603376 tps=100 nb_sec=16033
case_no=149 label=Case6.137 nb_sol=0 ticks=836648 tps=100 nb_sec=8366
case_no=149 label=Case6.137 nb_sol=0 ticks=1140175 tps=100 nb_sec=11401
case_no=149 label=Case6.137 nb_sol=0 ticks=1571804 tps=100 nb_sec=15718
case_no=149 label=Case6.137 nb_sol=0 ticks=1006271 tps=100 nb_sec=10062
case_no=149 label=Case6.137 nb_sol=0 ticks=824063 tps=100 nb_sec=8240
case_no=149 label=Case6.137 nb_sol=0 ticks=1754419 tps=100 nb_sec=17544
case_no=149 label=Case6.137 nb_sol=0 ticks=1137899 tps=100 nb_sec=11378
case_no=149 label=Case6.137 nb_sol=0 ticks=1338741 tps=100 nb_sec=13387
case_no=149 label=Case6.137 nb_sol=0 ticks=976438 tps=100 nb_sec=9764
case_no=149 label=Case6.137 nb_sol=0 ticks=1120106 tps=100 nb_sec=11201
case_no=149 label=Case6.137 nb_sol=0 ticks=1085149 tps=100 nb_sec=10851
case_no=149 label=Case6.137 nb_sol=0 ticks=981404 tps=100 nb_sec=9814
case_no=149 label=Case6.137 nb_sol=0 ticks=1126106 tps=100 nb_sec=11261
case_no=149 label=Case6.137 nb_sol=0 ticks=1547072 tps=100 nb_sec=15470
case_no=149 label=Case6.137 nb_sol=0 ticks=1676768 tps=100 nb_sec=16767
case_no=149 label=Case6.137 nb_sol=0 ticks=663407 tps=100 nb_sec=6634
case_no=149 label=Case6.137 nb_sol=0 ticks=1475179 tps=100 nb_sec=14751
case_no=149 label=Case6.137 nb_sol=0 ticks=1652418 tps=100 nb_sec=16524
case_no=149 label=Case6.137 nb_sol=0 ticks=840566 tps=100 nb_sec=8405
case_no=149 label=Case6.137 nb_sol=0 ticks=1600832 tps=100 nb_sec=16008
case_no=149 label=Case6.137 nb_sol=0 ticks=1061489 tps=100 nb_sec=10614
case_no=149 label=Case6.137 nb_sol=0 ticks=1313802 tps=100 nb_sec=13138
case_no=149 label=Case6.137 nb_sol=0 ticks=1289544 tps=100 nb_sec=12895
case_no=149 label=Case6.137 nb_sol=0 ticks=1405573 tps=100 nb_sec=14055
case_no=149 label=Case6.137 nb_sol=0 ticks=1758275 tps=100 nb_sec=17582
case_no=149 label=Case6.137 nb_sol=0 ticks=1061862 tps=100 nb_sec=10618
case_no=149 label=Case6.137 nb_sol=0 ticks=835886 tps=100 nb_sec=8358
case_no=149 label=Case6.137 nb_sol=0 ticks=1019420 tps=100 nb_sec=10194
case_no=149 label=Case6.137 nb_sol=0 ticks=762961 tps=100 nb_sec=7629
case_no=149 label=Case6.137 nb_sol=0 ticks=1296210 tps=100 nb_sec=12962
case_no=149 label=Case6.137 nb_sol=0 ticks=1604881 tps=100 nb_sec=16048
case_no=149 label=Case6.137 nb_sol=0 ticks=1576751 tps=100 nb_sec=15767
case_no=149 label=Case6.137 nb_sol=0 ticks=1318797 tps=100 nb_sec=13187
case_no=149 label=Case6.137 nb_sol=0 ticks=1219190 tps=100 nb_sec=12191
case_no=149 label=Case6.137 nb_sol=0 ticks=724605 tps=100 nb_sec=7246
case_no=149 label=Case6.137 nb_sol=0 ticks=1330401 tps=100 nb_sec=13304
case_no=149 label=Case6.137 nb_sol=0 ticks=1751527 tps=100 nb_sec=17515
case_no=149 label=Case6.137 nb_sol=0 ticks=925060 tps=100 nb_sec=9250
case_no=149 label=Case6.137 nb_sol=0 ticks=1101407 tps=100 nb_sec=11014
case_no=149 label=Case6.137 nb_sol=0 ticks=1646183 tps=100 nb_sec=16461
case_no=149 label=Case6.137 nb_sol=0 ticks=1092841 tps=100 nb_sec=10928
case_no=149 label=Case6.137 nb_sol=0 ticks=945249 tps=100 nb_sec=9452
case_no=149 label=Case6.137 nb_sol=0 ticks=728808 tps=100 nb_sec=7288
case_no=149 label=Case6.137 nb_sol=0 ticks=552157 tps=100 nb_sec=5521
case_no=149 label=Case6.137 nb_sol=0 ticks=462713 tps=100 nb_sec=4627
Nb_sol=0
Nb_sec=786781
9-2:33:1 or 218 hours
missing cases:
none