argc=5
-M 64
file2=30_select_Case6.139_starter_15_
checking files mod 64 from 0 to 63
case_no=151 label=Case6.139 nb_sol=0 ticks=1710482 tps=100 nb_sec=17104
case_no=151 label=Case6.139 nb_sol=0 ticks=1659615 tps=100 nb_sec=16596
case_no=151 label=Case6.139 nb_sol=0 ticks=1274104 tps=100 nb_sec=12741
case_no=151 label=Case6.139 nb_sol=0 ticks=1257231 tps=100 nb_sec=12572
case_no=151 label=Case6.139 nb_sol=0 ticks=1176412 tps=100 nb_sec=11764
case_no=151 label=Case6.139 nb_sol=0 ticks=1373964 tps=100 nb_sec=13739
case_no=151 label=Case6.139 nb_sol=0 ticks=1312620 tps=100 nb_sec=13126
case_no=151 label=Case6.139 nb_sol=0 ticks=1840424 tps=100 nb_sec=18404
case_no=151 label=Case6.139 nb_sol=0 ticks=1569860 tps=100 nb_sec=15698
case_no=151 label=Case6.139 nb_sol=0 ticks=1462295 tps=100 nb_sec=14622
case_no=151 label=Case6.139 nb_sol=0 ticks=1945919 tps=100 nb_sec=19459
case_no=151 label=Case6.139 nb_sol=0 ticks=1225781 tps=100 nb_sec=12257
case_no=151 label=Case6.139 nb_sol=0 ticks=797620 tps=100 nb_sec=7976
case_no=151 label=Case6.139 nb_sol=0 ticks=1288535 tps=100 nb_sec=12885
case_no=151 label=Case6.139 nb_sol=0 ticks=1223876 tps=100 nb_sec=12238
case_no=151 label=Case6.139 nb_sol=0 ticks=1551977 tps=100 nb_sec=15519
case_no=151 label=Case6.139 nb_sol=0 ticks=1155996 tps=100 nb_sec=11559
case_no=151 label=Case6.139 nb_sol=0 ticks=1526640 tps=100 nb_sec=15266
case_no=151 label=Case6.139 nb_sol=0 ticks=1233853 tps=100 nb_sec=12338
case_no=151 label=Case6.139 nb_sol=0 ticks=1326678 tps=100 nb_sec=13266
case_no=151 label=Case6.139 nb_sol=0 ticks=1770018 tps=100 nb_sec=17700
case_no=151 label=Case6.139 nb_sol=0 ticks=1016414 tps=100 nb_sec=10164
case_no=151 label=Case6.139 nb_sol=0 ticks=1297996 tps=100 nb_sec=12979
case_no=151 label=Case6.139 nb_sol=0 ticks=1488280 tps=100 nb_sec=14882
case_no=151 label=Case6.139 nb_sol=0 ticks=1041173 tps=100 nb_sec=10411
case_no=151 label=Case6.139 nb_sol=0 ticks=1181518 tps=100 nb_sec=11815
case_no=151 label=Case6.139 nb_sol=0 ticks=1775772 tps=100 nb_sec=17757
case_no=151 label=Case6.139 nb_sol=0 ticks=1148851 tps=100 nb_sec=11488
case_no=151 label=Case6.139 nb_sol=0 ticks=1313575 tps=100 nb_sec=13135
case_no=151 label=Case6.139 nb_sol=0 ticks=1687653 tps=100 nb_sec=16876
case_no=151 label=Case6.139 nb_sol=0 ticks=1922758 tps=100 nb_sec=19227
case_no=151 label=Case6.139 nb_sol=0 ticks=1258831 tps=100 nb_sec=12588
case_no=151 label=Case6.139 nb_sol=0 ticks=1851033 tps=100 nb_sec=18510
case_no=151 label=Case6.139 nb_sol=0 ticks=1474483 tps=100 nb_sec=14744
case_no=151 label=Case6.139 nb_sol=0 ticks=1438069 tps=100 nb_sec=14380
case_no=151 label=Case6.139 nb_sol=0 ticks=1557131 tps=100 nb_sec=15571
case_no=151 label=Case6.139 nb_sol=0 ticks=1578277 tps=100 nb_sec=15782
case_no=151 label=Case6.139 nb_sol=0 ticks=1309465 tps=100 nb_sec=13094
case_no=151 label=Case6.139 nb_sol=0 ticks=1489295 tps=100 nb_sec=14892
case_no=151 label=Case6.139 nb_sol=0 ticks=1046228 tps=100 nb_sec=10462
case_no=151 label=Case6.139 nb_sol=0 ticks=1073542 tps=100 nb_sec=10735
case_no=151 label=Case6.139 nb_sol=0 ticks=836099 tps=100 nb_sec=8360
case_no=151 label=Case6.139 nb_sol=0 ticks=1218450 tps=100 nb_sec=12184
case_no=151 label=Case6.139 nb_sol=0 ticks=1527179 tps=100 nb_sec=15271
case_no=151 label=Case6.139 nb_sol=0 ticks=1313797 tps=100 nb_sec=13137
case_no=151 label=Case6.139 nb_sol=0 ticks=1890659 tps=100 nb_sec=18906
case_no=151 label=Case6.139 nb_sol=0 ticks=1626840 tps=100 nb_sec=16268
case_no=151 label=Case6.139 nb_sol=0 ticks=1171271 tps=100 nb_sec=11712
case_no=151 label=Case6.139 nb_sol=0 ticks=972663 tps=100 nb_sec=9726
case_no=151 label=Case6.139 nb_sol=0 ticks=1622993 tps=100 nb_sec=16229
case_no=151 label=Case6.139 nb_sol=0 ticks=1246548 tps=100 nb_sec=12465
case_no=151 label=Case6.139 nb_sol=0 ticks=1006010 tps=100 nb_sec=10060
case_no=151 label=Case6.139 nb_sol=0 ticks=1375877 tps=100 nb_sec=13758
case_no=151 label=Case6.139 nb_sol=0 ticks=980884 tps=100 nb_sec=9808
case_no=151 label=Case6.139 nb_sol=0 ticks=640227 tps=100 nb_sec=6402
case_no=151 label=Case6.139 nb_sol=0 ticks=1800076 tps=100 nb_sec=18000
case_no=151 label=Case6.139 nb_sol=0 ticks=1261784 tps=100 nb_sec=12617
case_no=151 label=Case6.139 nb_sol=0 ticks=1059590 tps=100 nb_sec=10595
case_no=151 label=Case6.139 nb_sol=0 ticks=2088810 tps=100 nb_sec=20888
case_no=151 label=Case6.139 nb_sol=0 ticks=968031 tps=100 nb_sec=9680
case_no=151 label=Case6.139 nb_sol=0 ticks=1233656 tps=100 nb_sec=12336
case_no=151 label=Case6.139 nb_sol=0 ticks=1124265 tps=100 nb_sec=11242
case_no=151 label=Case6.139 nb_sol=0 ticks=1208778 tps=100 nb_sec=12087
case_no=151 label=Case6.139 nb_sol=0 ticks=1088722 tps=100 nb_sec=10887
Nb_sol=0
Nb_sec=868939
10-1:22:19 or 241 hours
missing cases:
none