2.84/2.13
2.84/2.13 AbsCon 2
2.84/2.15
3.30/2.30 Instance
3.30/2.30 name=instance-4391146-1568388145, framework=COP, bounds=-infty..+infty
3.30/2.30
3.30/2.30 Loading variables...
3.30/2.35 Loading constraints...
3.51/2.47
3.51/2.47 Domains
3.51/2.47 nTypes=7, nValues=23845, sizes=[5#50,429#55]
3.51/2.47 Variables
3.51/2.47 count=105, degrees=[2#30,3#50,9#25]
3.51/2.47 Objectives
3.51/2.47 way=min, type=ObjMaximumLE
3.51/2.47 Constraints
3.51/2.47 count=136, nSpecific=81, arities=[1#5,2#75,3#25,5#6,7#25]
3.51/2.47 distribution=[AllDifferent#5,CtrExtensionSmart-TableSmart#50,CtrExtensionV-Bits#25,CtrIntension#30,ElementVariable#25,ObjMaximumLE#1]
3.51/2.47 tables=[2#50], nTotalTuples=100
3.51/2.47 nExtStructures=(55,shared:20), nIntStructures=(14,shared:16), nCftStructures=(5,shared:20,unbuilt:111)
3.51/2.47 wck=0.376, cpu=2.438, mem=26M520
3.51/2.48 Solver SolverBacktrack being built...
3.51/2.48
3.79/2.51
3.79/2.51 Solver
3.79/2.51 guaranteedGAC=true
3.79/2.51 wck=0.41, cpu=2.47, mem=37M163
4.97/3.47
4.97/3.47 Preprocessing
4.97/3.47 filters=55, revisions=(140,useless=60), ccks=8437732, nACremovedValues=5571, nTotalRemovedValues=5571, inconcistency=false
4.97/3.47 wck=0.963, cpu=3.434, mem=39M805
4.97/3.47
5.19/3.59 num=0, depth=20..21, filters=410, revisions=(667,useless=375), ccks=9441635, wck=1.087, mem=39M805
5.19/3.59 decisions=42, wrong=11, backtracks=1, failedAssignments=10, nogoods=7
5.19/3.59 nFilterCalls=280, avgTableProportion=0.38035714285714284, avgTableSize=0.7607142857142857
5.19/3.59
5.41/3.62 num=1, depth=4..4, filters=530, revisions=(722,useless=399), ccks=9705073, wck=1.119, mem=39M805
5.41/3.62 decisions=68, wrong=22, backtracks=1, failedAssignments=21, nogoods=18
5.41/3.62 nFilterCalls=417, avgTableProportion=0.4196642685851319, avgTableSize=0.8393285371702638
5.41/3.62
5.76/3.87 num=2, depth=16..16, filters=1261, revisions=(1753,useless=953), ccks=12071912, wck=1.36, mem=42M447
5.76/3.87 decisions=108, wrong=34, backtracks=1, failedAssignments=33, nogoods=30
5.76/3.87 nFilterCalls=704, avgTableProportion=0.4083806818181818, avgTableSize=0.8167613636363636
5.76/3.87
5.89/3.94 num=3, depth=10..10, filters=1500, revisions=(1909,useless=1024), ccks=12737445, wck=1.431, mem=42M447
5.89/3.94 decisions=144, wrong=47, backtracks=1, failedAssignments=46, nogoods=43
5.89/3.94 nFilterCalls=972, avgTableProportion=0.4315843621399177, avgTableSize=0.8631687242798354
5.89/3.94
6.15/4.02 num=4, depth=14..15, filters=1805, revisions=(2203,useless=1194), ccks=13489250, wck=1.511, mem=45M90
6.15/4.02 decisions=187, wrong=61, backtracks=1, failedAssignments=60, nogoods=57
6.15/4.02 nFilterCalls=1301, avgTableProportion=0.4335126825518832, avgTableSize=0.8670253651037664
6.15/4.02
6.38/4.12 num=5, depth=21..21, filters=2277, revisions=(2719,useless=1507), ccks=14369570, wck=1.617, mem=45M90
6.38/4.12 decisions=240, wrong=77, backtracks=1, failedAssignments=76, nogoods=73
6.38/4.12 nFilterCalls=1808, avgTableProportion=0.41814159292035397, avgTableSize=0.8362831858407079
6.38/4.12
6.59/4.28 num=6, depth=0..29, filters=2875, revisions=(3523,useless=1965), ccks=15919623, wck=1.776, mem=47M732
6.59/4.28 decisions=302, wrong=94, backtracks=1, failedAssignments=93, nogoods=77
6.59/4.28 nFilterCalls=2297, avgTableProportion=0.4061819764910753, avgTableSize=0.8123639529821506
6.59/4.28
7.00/4.40 num=7, depth=0..17, filters=3644, revisions=(4182,useless=2358), ccks=17041468, wck=1.895, mem=47M732
7.00/4.40 decisions=357, wrong=113, backtracks=1, failedAssignments=112, nogoods=93
7.00/4.40 nFilterCalls=3166, avgTableProportion=0.3806064434617814, avgTableSize=0.7612128869235628
7.00/4.40
7.00/4.48 num=8, depth=0..0, filters=3892, revisions=(4647,useless=2591), ccks=17795671, wck=1.972, mem=47M732
7.00/4.48 decisions=399, wrong=134, backtracks=1, failedAssignments=133, nogoods=93
7.00/4.48 nFilterCalls=3166, avgTableProportion=0.3806064434617814, avgTableSize=0.7612128869235628
7.00/4.48
8.03/4.82 num=9, depth=11..15, filters=6246, revisions=(6768,useless=3745), ccks=21108047, wck=2.313, mem=50M375
8.03/4.82 decisions=485, wrong=171, backtracks=19, failedAssignments=156, nogoods=100
8.03/4.82 nFilterCalls=4836, avgTableProportion=0.3608354011579818, avgTableSize=0.7216708023159636
8.03/4.82
8.29/5.00 num=10, depth=12..16, filters=7376, revisions=(7690,useless=4313), ccks=22874606, wck=2.493, mem=53M17
8.29/5.00 decisions=555, wrong=200, backtracks=23, failedAssignments=181, nogoods=114
8.29/5.00 nFilterCalls=5763, avgTableProportion=0.37341662328648273, avgTableSize=0.7468332465729655
8.29/5.00
8.75/5.19 num=11, depth=17..18, filters=9015, revisions=(9079,useless=5291), ccks=24715915, wck=2.681, mem=53M17
8.75/5.19 decisions=630, wrong=229, backtracks=24, failedAssignments=209, nogoods=126
8.75/5.19 nFilterCalls=7620, avgTableProportion=0.33700787401574805, avgTableSize=0.6740157480314961
8.75/5.19
9.76/5.60 num=12, depth=11..16, filters=12131, revisions=(11805,useless=6790), ccks=28799091, wck=3.098, mem=55M660
9.76/5.60 decisions=749, wrong=282, backtracks=49, failedAssignments=240, nogoods=132
9.76/5.60 nFilterCalls=9945, avgTableProportion=0.34434389140271493, avgTableSize=0.6886877828054299
9.76/5.60
9.96/5.76 num=13, depth=16..17, filters=13504, revisions=(13255,useless=7823), ccks=30231540, wck=3.249, mem=58M302
9.96/5.76 decisions=833, wrong=316, backtracks=49, failedAssignments=274, nogoods=166
9.96/5.76 nFilterCalls=11414, avgTableProportion=0.3530751708428246, avgTableSize=0.7061503416856492
9.96/5.76
10.41/6.18 num=14, depth=15..30, filters=15900, revisions=(15918,useless=9191), ccks=34504703, wck=3.674, mem=60M944
10.41/6.18 decisions=982, wrong=381, backtracks=77, failedAssignments=311, nogoods=170
10.41/6.18 nFilterCalls=13233, avgTableProportion=0.342477140482128, avgTableSize=0.684954280964256
10.41/6.18
10.71/6.40 num=15, depth=19..20, filters=17197, revisions=(17318,useless=10185), ccks=36697518, wck=3.893, mem=60M944
10.71/6.40 decisions=1085, wrong=423, backtracks=78, failedAssignments=352, nogoods=184
10.71/6.40 nFilterCalls=14671, avgTableProportion=0.3431599754617954, avgTableSize=0.6863199509235908
10.71/6.40
11.01/6.79 num=16, depth=18..21, filters=21567, revisions=(21460,useless=12950), ccks=40501696, wck=4.283, mem=63M587
11.01/6.79 decisions=1199, wrong=471, backtracks=81, failedAssignments=397, nogoods=216
11.01/6.79 nFilterCalls=19025, avgTableProportion=0.3140078843626807, avgTableSize=0.6280157687253614
11.01/6.79
11.21/6.98 num=17, depth=15..20, filters=24348, revisions=(24131,useless=14820), ccks=42290738, wck=4.473, mem=66M229
11.21/6.98 decisions=1328, wrong=528, backtracks=90, failedAssignments=447, nogoods=229
11.21/6.98 nFilterCalls=22084, avgTableProportion=0.3037719616011592, avgTableSize=0.6075439232023184
11.21/6.98
11.54/7.25 num=18, depth=19..22, filters=27808, revisions=(27502,useless=17206), ccks=44839313, wck=4.741, mem=66M229
11.54/7.25 decisions=1461, wrong=584, backtracks=91, failedAssignments=502, nogoods=257
11.54/7.25 nFilterCalls=26311, avgTableProportion=0.28220136064763784, avgTableSize=0.5644027212952757
11.54/7.25
11.87/7.53 num=19, depth=18..20, filters=32252, revisions=(31808,useless=20204), ccks=47542025, wck=5.027, mem=68M872
11.87/7.53 decisions=1610, wrong=649, backtracks=95, failedAssignments=563, nogoods=278
11.87/7.53 nFilterCalls=30918, avgTableProportion=0.2698913254414904, avgTableSize=0.5397826508829808
11.87/7.53
12.08/7.79 num=20, depth=17..20, filters=35246, revisions=(34298,useless=21821), ccks=49998379, wck=5.281, mem=71M514
12.08/7.79 decisions=1767, wrong=719, backtracks=99, failedAssignments=630, nogoods=288
12.08/7.79 nFilterCalls=33851, avgTableProportion=0.2680127618091046, avgTableSize=0.5360255236182092
12.08/7.79
12.41/8.09 num=21, depth=18..22, filters=39855, revisions=(38461,useless=24776), ccks=52870946, wck=5.585, mem=74M157
12.41/8.09 decisions=1941, wrong=797, backtracks=103, failedAssignments=704, nogoods=322
12.41/8.09 nFilterCalls=39081, avgTableProportion=0.2531153245822778, avgTableSize=0.5062306491645556
12.41/8.09
12.81/8.40 num=22, depth=18..20, filters=44343, revisions=(42515,useless=27524), ccks=55783561, wck=5.895, mem=76M799
12.81/8.40 decisions=2133, wrong=884, backtracks=110, failedAssignments=785, nogoods=361
12.81/8.40 nFilterCalls=43784, avgTableProportion=0.25283208477982827, avgTableSize=0.5056641695596565
12.81/8.40
13.21/8.85 num=23, depth=0..19, filters=48990, revisions=(47342,useless=30143), ccks=60161939, wck=6.347, mem=79M441
13.21/8.85 decisions=2383, wrong=1002, backtracks=146, failedAssignments=874, nogoods=384
13.21/8.85 nFilterCalls=47878, avgTableProportion=0.25130540122812145, avgTableSize=0.5026108024562429
13.21/8.85
13.43/9.02 num=24, depth=15..24, filters=50808, revisions=(49275,useless=31364), ccks=61829620, wck=6.517, mem=82M84
13.43/9.02 decisions=2608, wrong=1105, backtracks=152, failedAssignments=972, nogoods=400
13.43/9.02 nFilterCalls=50022, avgTableProportion=0.24897045300067971, avgTableSize=0.49794090600135943
13.43/9.02
13.63/9.28 o 425
13.63/9.29 num=25, depth=8..104, filters=52844, revisions=(51099,useless=32402), ccks=64353124, wck=6.78, mem=82M84
13.63/9.29 decisions=2716, wrong=1144, backtracks=162, failedAssignments=1002, nogoods=420, foundSolutions=1, bestBound=425
13.63/9.29 nFilterCalls=51761, avgTableProportion=0.25173393095187496, avgTableSize=0.5034678619037499
13.63/9.29
14.26/9.65 o 414
14.26/9.65 num=26, depth=17..104, filters=56972, revisions=(55113,useless=35219), ccks=67324453, wck=7.142, mem=84M726
14.26/9.65 decisions=2915, wrong=1228, backtracks=165, failedAssignments=1083, nogoods=469, foundSolutions=2, bestBound=414
14.26/9.65 nFilterCalls=56908, avgTableProportion=0.2435246362550081, avgTableSize=0.4870492725100162
14.26/9.65
14.67/9.84 num=27, depth=14..15, filters=57730, revisions=(55889,useless=35697), ccks=69065074, wck=7.337, mem=87M369
14.67/9.84 decisions=2953, wrong=1240, backtracks=166, failedAssignments=1094, nogoods=480, foundSolutions=2, bestBound=414
14.67/9.84 nFilterCalls=57677, avgTableProportion=0.24454288537892055, avgTableSize=0.4890857707578411
14.67/9.84
14.87/9.99 o 409
14.87/9.99 num=28, depth=17..104, filters=58239, revisions=(56528,useless=36087), ccks=70341488, wck=7.481, mem=87M369
14.87/9.99 decisions=2989, wrong=1242, backtracks=167, failedAssignments=1095, nogoods=481, foundSolutions=3, bestBound=409
14.87/9.99 nFilterCalls=58168, avgTableProportion=0.24467060926970155, avgTableSize=0.4893412185394031
14.87/9.99
15.30/10.16 num=29, depth=19..23, filters=58930, revisions=(57402,useless=36600), ccks=71953494, wck=7.654, mem=87M369
15.30/10.16 decisions=3040, wrong=1258, backtracks=171, failedAssignments=1107, nogoods=482, foundSolutions=3, bestBound=409
15.30/10.16 nFilterCalls=58743, avgTableProportion=0.24531433532506, avgTableSize=0.49062867065012
15.30/10.16
15.69/10.35 o 406
15.69/10.35 num=30, depth=13..104, filters=59623, revisions=(58113,useless=36983), ccks=73868205, wck=7.845, mem=90M11
15.69/10.35 decisions=3083, wrong=1263, backtracks=172, failedAssignments=1111, nogoods=486, foundSolutions=4, bestBound=406
15.69/10.35 nFilterCalls=59417, avgTableProportion=0.2456788461214804, avgTableSize=0.4913576922429608
15.69/10.35
16.09/10.51 o 405
16.09/10.51 num=31, depth=17..104, filters=60231, revisions=(58926,useless=37499), ccks=75467582, wck=8.006, mem=90M11
16.09/10.51 decisions=3120, wrong=1266, backtracks=172, failedAssignments=1114, nogoods=489, foundSolutions=5, bestBound=405
16.09/10.51 nFilterCalls=60060, avgTableProportion=0.24578754578754577, avgTableSize=0.49157509157509155
16.09/10.51
16.29/10.65 o 399
16.29/10.65 num=32, depth=15..104, filters=60821, revisions=(59665,useless=37961), ccks=76798631, wck=8.143, mem=90M11
16.29/10.65 decisions=3154, wrong=1268, backtracks=172, failedAssignments=1116, nogoods=491, foundSolutions=6, bestBound=399
16.29/10.65 nFilterCalls=60676, avgTableProportion=0.24641538664381304, avgTableSize=0.4928307732876261
16.29/10.65
16.70/10.85 num=33, depth=15..19, filters=62052, revisions=(61078,useless=38820), ccks=78733602, wck=8.341, mem=92M654
16.70/10.85 decisions=3205, wrong=1285, backtracks=180, failedAssignments=1127, nogoods=493, foundSolutions=6, bestBound=399
16.70/10.85 nFilterCalls=61819, avgTableProportion=0.24678496902246883, avgTableSize=0.49356993804493765
16.70/10.85
16.90/10.99 o 380
16.90/10.99 num=34, depth=14..104, filters=62651, revisions=(61798,useless=39224), ccks=80137661, wck=8.482, mem=92M654
16.90/10.99 decisions=3247, wrong=1291, backtracks=181, failedAssignments=1132, nogoods=498, foundSolutions=7, bestBound=380
16.90/10.99 nFilterCalls=62340, avgTableProportion=0.24706448508180942, avgTableSize=0.49412897016361884
16.90/10.99
17.17/11.16 o 374
17.17/11.16 num=35, depth=106..104, filters=63238, revisions=(62542,useless=39693), ccks=81842643, wck=8.651, mem=95M296
17.17/11.16 decisions=3280, wrong=1291, backtracks=181, failedAssignments=1132, nogoods=498, foundSolutions=8, bestBound=374
17.17/11.16 nFilterCalls=63017, avgTableProportion=0.247234873129473, avgTableSize=0.494469746258946
17.17/11.16
17.36/11.38 o 371
17.36/11.38 num=36, depth=11..104, filters=64418, revisions=(63973,useless=40500), ccks=84070728, wck=8.872, mem=95M296
17.36/11.38 decisions=3339, wrong=1306, backtracks=186, failedAssignments=1142, nogoods=501, foundSolutions=9, bestBound=371
17.36/11.38 nFilterCalls=63904, avgTableProportion=0.2477857411116675, avgTableSize=0.495571482223335
17.36/11.38
17.46/11.49 o 360
17.46/11.49 num=37, depth=106..104, filters=64958, revisions=(64640,useless=40911), ccks=85214208, wck=8.987, mem=95M296
17.46/11.49 decisions=3368, wrong=1306, backtracks=186, failedAssignments=1142, nogoods=501, foundSolutions=10, bestBound=360
17.46/11.49 nFilterCalls=64516, avgTableProportion=0.2480469960939922, avgTableSize=0.4960939921879844
17.46/11.49
17.68/11.68 o 357
17.68/11.68 num=38, depth=9..104, filters=66753, revisions=(66542,useless=41996), ccks=87042195, wck=9.172, mem=97M938
17.68/11.68 decisions=3430, wrong=1323, backtracks=196, failedAssignments=1151, nogoods=502, foundSolutions=11, bestBound=357
17.68/11.68 nFilterCalls=66029, avgTableProportion=0.24839843099244271, avgTableSize=0.49679686198488543
17.68/11.68
17.78/11.78 num=39, depth=13..18, filters=67564, revisions=(67512,useless=42541), ccks=88084630, wck=9.278, mem=97M938
17.78/11.78 decisions=3473, wrong=1337, backtracks=199, failedAssignments=1162, nogoods=508, foundSolutions=11, bestBound=357
17.78/11.78 nFilterCalls=66691, avgTableProportion=0.24906659069439654, avgTableSize=0.4981331813887931
17.78/11.78
17.98/11.94 num=40, depth=8..17, filters=68562, revisions=(68720,useless=43237), ccks=89654691, wck=9.434, mem=100M581
17.98/11.94 decisions=3514, wrong=1351, backtracks=203, failedAssignments=1173, nogoods=511, foundSolutions=11, bestBound=357
17.98/11.94 nFilterCalls=67407, avgTableProportion=0.2491729345616924, avgTableSize=0.4983458691233848
17.98/11.94
18.10/12.03 o 350
18.10/12.03 num=41, depth=8..104, filters=69216, revisions=(69420,useless=43647), ccks=90569280, wck=9.526, mem=100M581
18.10/12.03 decisions=3544, wrong=1353, backtracks=203, failedAssignments=1175, nogoods=513, foundSolutions=12, bestBound=350
18.10/12.03 nFilterCalls=67984, avgTableProportion=0.24942633560837843, avgTableSize=0.49885267121675686
18.10/12.03
18.34/12.23 num=42, depth=9..14, filters=70763, revisions=(71002,useless=44544), ccks=92527387, wck=9.724, mem=103M223
18.34/12.23 decisions=3598, wrong=1375, backtracks=215, failedAssignments=1188, nogoods=517, foundSolutions=12, bestBound=350
18.34/12.23 nFilterCalls=69147, avgTableProportion=0.2509942586084718, avgTableSize=0.5019885172169436
18.34/12.23
18.45/12.38 num=43, depth=9..15, filters=71662, revisions=(72007,useless=45092), ccks=93992140, wck=9.87, mem=103M223
18.45/12.38 decisions=3637, wrong=1390, backtracks=221, failedAssignments=1199, nogoods=522, foundSolutions=12, bestBound=350
18.45/12.38 nFilterCalls=69691, avgTableProportion=0.25179721915311876, avgTableSize=0.5035944383062375
18.45/12.38
18.65/12.53 num=44, depth=11..16, filters=73319, revisions=(73619,useless=45957), ccks=95460534, wck=10.019, mem=103M223
18.65/12.53 decisions=3692, wrong=1412, backtracks=233, failedAssignments=1211, nogoods=528, foundSolutions=12, bestBound=350
18.65/12.53 nFilterCalls=70929, avgTableProportion=0.25263996390756954, avgTableSize=0.5052799278151391
18.65/12.53
18.75/12.64 num=45, depth=10..13, filters=74499, revisions=(74704,useless=46528), ccks=96605543, wck=10.135, mem=105M866
18.75/12.64 decisions=3732, wrong=1427, backtracks=236, failedAssignments=1224, nogoods=531, foundSolutions=12, bestBound=350
18.75/12.64 nFilterCalls=71908, avgTableProportion=0.2528508649941592, avgTableSize=0.5057017299883184
18.75/12.64
18.85/12.77 num=46, depth=7..15, filters=75752, revisions=(76055,useless=47273), ccks=97905023, wck=10.268, mem=105M866
18.85/12.77 decisions=3779, wrong=1445, backtracks=242, failedAssignments=1238, nogoods=540, foundSolutions=12, bestBound=350
18.85/12.77 nFilterCalls=72703, avgTableProportion=0.25408855205424813, avgTableSize=0.5081771041084963
18.85/12.77
19.07/12.93 o 342
19.07/12.93 num=47, depth=9..104, filters=77215, revisions=(77647,useless=48182), ccks=99417978, wck=10.422, mem=108M508
19.07/12.93 decisions=3846, wrong=1465, backtracks=252, failedAssignments=1253, nogoods=541, foundSolutions=13, bestBound=342
19.07/12.93 nFilterCalls=73907, avgTableProportion=0.25405577279554037, avgTableSize=0.5081115455910807
19.07/12.93
19.32/13.13 num=48, depth=8..15, filters=79494, revisions=(79876,useless=49440), ccks=101408042, wck=10.627, mem=111M150
19.32/13.13 decisions=3913, wrong=1494, backtracks=270, failedAssignments=1270, nogoods=549, foundSolutions=13, bestBound=342
19.32/13.13 nFilterCalls=75475, avgTableProportion=0.25655515071215634, avgTableSize=0.5131103014243127
19.32/13.13
19.41/13.29 num=49, depth=10..13, filters=80348, revisions=(80867,useless=49957), ccks=103002546, wck=10.785, mem=111M150
19.41/13.29 decisions=3954, wrong=1509, backtracks=275, failedAssignments=1281, nogoods=554, foundSolutions=13, bestBound=342
19.41/13.29 nFilterCalls=76006, avgTableProportion=0.2568020945714812, avgTableSize=0.5136041891429624
19.41/13.29
19.61/13.41 num=50, depth=8..12, filters=81374, revisions=(81916,useless=50509), ccks=104128482, wck=10.9, mem=111M150
19.61/13.41 decisions=3999, wrong=1527, backtracks=283, failedAssignments=1293, nogoods=561, foundSolutions=13, bestBound=342
19.61/13.41 nFilterCalls=76776, avgTableProportion=0.25793216630196936, avgTableSize=0.5158643326039387
19.61/13.41
19.71/13.55 num=51, depth=9..13, filters=82571, revisions=(83207,useless=51188), ccks=105513606, wck=11.04, mem=113M793
19.71/13.55 decisions=4044, wrong=1545, backtracks=290, failedAssignments=1306, nogoods=562, foundSolutions=13, bestBound=342
19.71/13.55 nFilterCalls=77519, avgTableProportion=0.2583753660392936, avgTableSize=0.5167507320785872
19.71/13.55
19.91/13.73 num=52, depth=8..14, filters=83597, revisions=(84357,useless=51812), ccks=107395097, wck=11.227, mem=113M793
19.91/13.73 decisions=4089, wrong=1562, backtracks=295, failedAssignments=1320, nogoods=566, foundSolutions=13, bestBound=342
19.91/13.73 nFilterCalls=78156, avgTableProportion=0.25875812477608884, avgTableSize=0.5175162495521777
19.91/13.73
20.11/13.90 num=53, depth=8..15, filters=85499, revisions=(86351,useless=52914), ccks=109075415, wck=11.398, mem=116M436
20.11/13.90 decisions=4156, wrong=1591, backtracks=310, failedAssignments=1336, nogoods=571, foundSolutions=13, bestBound=342
20.11/13.90 nFilterCalls=79671, avgTableProportion=0.2594043001845088, avgTableSize=0.5188086003690175
20.11/13.90
20.32/14.14 num=54, depth=9..13, filters=87512, revisions=(88127,useless=53829), ccks=111411855, wck=11.632, mem=119M78
20.32/14.14 decisions=4221, wrong=1619, backtracks=321, failedAssignments=1353, nogoods=573, foundSolutions=13, bestBound=342
20.32/14.14 nFilterCalls=81098, avgTableProportion=0.2608880613578633, avgTableSize=0.5217761227157266
20.32/14.14
20.61/14.44 num=55, depth=11..16, filters=88911, revisions=(89688,useless=54651), ccks=114523667, wck=11.938, mem=119M78
20.61/14.44 decisions=4291, wrong=1648, backtracks=333, failedAssignments=1372, nogoods=575, foundSolutions=13, bestBound=342
20.61/14.44 nFilterCalls=81962, avgTableProportion=0.2617066445425929, avgTableSize=0.5234132890851858
20.61/14.44
20.81/14.68 num=56, depth=7..18, filters=91192, revisions=(91910,useless=55838), ccks=116863343, wck=12.175, mem=121M720
20.81/14.68 decisions=4377, wrong=1685, backtracks=356, failedAssignments=1393, nogoods=582, foundSolutions=13, bestBound=342
20.81/14.68 nFilterCalls=83696, avgTableProportion=0.26333397056012237, avgTableSize=0.5266679411202447
20.81/14.68
21.11/14.92 num=57, depth=5..13, filters=93510, revisions=(94119,useless=57023), ccks=119220586, wck=12.413, mem=124M363
21.11/14.92 decisions=4458, wrong=1721, backtracks=373, failedAssignments=1416, nogoods=584, foundSolutions=13, bestBound=342
21.11/14.92 nFilterCalls=85399, avgTableProportion=0.26421269569901285, avgTableSize=0.5284253913980257
21.11/14.92
21.22/15.10 num=58, depth=9..20, filters=94989, revisions=(95841,useless=57990), ccks=121080296, wck=12.598, mem=124M363
21.22/15.10 decisions=4549, wrong=1760, backtracks=389, failedAssignments=1441, nogoods=593, foundSolutions=13, bestBound=342
21.22/15.10 nFilterCalls=86496, avgTableProportion=0.2639428412874584, avgTableSize=0.5278856825749167
21.22/15.10
21.51/15.37 num=59, depth=8..13, filters=98554, revisions=(99054,useless=59636), ccks=123633380, wck=12.863, mem=127M5
21.51/15.37 decisions=4657, wrong=1810, backtracks=420, failedAssignments=1469, nogoods=595, foundSolutions=13, bestBound=342
21.51/15.37 nFilterCalls=89139, avgTableProportion=0.26504111556109, avgTableSize=0.53008223112218
21.51/15.37
21.81/15.64 num=60, depth=8..16, filters=101207, revisions=(101717,useless=61067), ccks=126307668, wck=13.132, mem=129M648
21.81/15.64 decisions=4753, wrong=1853, backtracks=441, failedAssignments=1500, nogoods=599, foundSolutions=13, bestBound=342
21.81/15.64 nFilterCalls=91083, avgTableProportion=0.26481890144154235, avgTableSize=0.5296378028830847
21.81/15.64
22.01/15.89 num=61, depth=5..13, filters=105164, revisions=(105312,useless=62949), ccks=128748201, wck=13.388, mem=132M290
22.01/15.89 decisions=4889, wrong=1918, backtracks=478, failedAssignments=1534, nogoods=603, foundSolutions=13, bestBound=342
22.01/15.89 nFilterCalls=93880, avgTableProportion=0.26732530890498507, avgTableSize=0.5346506178099701
22.01/15.89
22.23/16.10 num=62, depth=6..18, filters=107365, revisions=(107776,useless=64255), ccks=130759591, wck=13.594, mem=134M933
22.23/16.10 decisions=5010, wrong=1972, backtracks=500, failedAssignments=1571, nogoods=612, foundSolutions=13, bestBound=342
22.23/16.10 nFilterCalls=95124, avgTableProportion=0.26812371220722425, avgTableSize=0.5362474244144485
22.23/16.10
22.72/16.52 num=63, depth=6..18, filters=110155, revisions=(111001,useless=65969), ccks=134949123, wck=14.012, mem=137M575
22.72/16.52 decisions=5158, wrong=2041, backtracks=530, failedAssignments=1612, nogoods=622, foundSolutions=13, bestBound=342
22.72/16.52 nFilterCalls=96676, avgTableProportion=0.2687223302577682, avgTableSize=0.5374446605155364
22.72/16.52
23.12/16.96 num=64, depth=6..15, filters=114007, revisions=(114821,useless=67929), ccks=139351861, wck=14.455, mem=142M778
23.12/16.96 decisions=5317, wrong=2116, backtracks=571, failedAssignments=1657, nogoods=633, foundSolutions=13, bestBound=342
23.12/16.96 nFilterCalls=99200, avgTableProportion=0.2705947580645161, avgTableSize=0.5411895161290322
23.12/16.96
23.77/17.58 num=65, depth=0..16, filters=115747, revisions=(117174,useless=69138), ccks=145595265, wck=15.076, mem=24M875
23.77/17.58 decisions=5466, wrong=2186, backtracks=591, failedAssignments=1707, nogoods=637, foundSolutions=13, bestBound=342
23.77/17.58 nFilterCalls=99830, avgTableProportion=0.2708955223880597, avgTableSize=0.5417910447761194
23.77/17.58
23.96/17.72 o 340
23.96/17.72 num=66, depth=11..104, filters=116570, revisions=(118049,useless=69618), ccks=147006304, wck=15.217, mem=24M875
23.96/17.72 decisions=5498, wrong=2193, backtracks=593, failedAssignments=1712, nogoods=641, foundSolutions=14, bestBound=340
23.96/17.72 nFilterCalls=100547, avgTableProportion=0.27132087481476325, avgTableSize=0.5426417496295265
23.96/17.72
24.38/18.15 num=67, depth=10..18, filters=119988, revisions=(121914,useless=71806), ccks=151325622, wck=15.649, mem=30M107
24.38/18.15 decisions=5693, wrong=2284, backtracks=629, failedAssignments=1773, nogoods=645, foundSolutions=14, bestBound=340
24.38/18.15 nFilterCalls=102812, avgTableProportion=0.2717678870170797, avgTableSize=0.5435357740341594
24.38/18.15
24.47/18.28 num=68, depth=9..14, filters=121414, revisions=(123145,useless=72473), ccks=152531685, wck=15.772, mem=30M107
24.47/18.28 decisions=5734, wrong=2300, backtracks=639, failedAssignments=1784, nogoods=647, foundSolutions=14, bestBound=340
24.47/18.28 nFilterCalls=104126, avgTableProportion=0.27186773716458906, avgTableSize=0.5437354743291781
24.47/18.28
24.57/18.39 num=69, depth=8..13, filters=122476, revisions=(124179,useless=73058), ccks=153637774, wck=15.883, mem=30M107
24.57/18.39 decisions=5772, wrong=2313, backtracks=641, failedAssignments=1796, nogoods=658, foundSolutions=14, bestBound=340
24.57/18.39 nFilterCalls=105058, avgTableProportion=0.2719545393972853, avgTableSize=0.5439090787945706
24.57/18.39
24.88/18.63 num=70, depth=0..14, filters=123676, revisions=(125594,useless=73757), ccks=156120577, wck=16.126, mem=32M723
24.88/18.63 decisions=5825, wrong=2334, backtracks=651, failedAssignments=1809, nogoods=662, foundSolutions=14, bestBound=340
24.88/18.63 nFilterCalls=105724, avgTableProportion=0.2725492792554198, avgTableSize=0.5450985585108395
24.88/18.63
25.08/18.87 num=71, depth=6..13, filters=125056, revisions=(127106,useless=74606), ccks=158560494, wck=16.366, mem=35M339
25.08/18.87 decisions=5881, wrong=2358, backtracks=663, failedAssignments=1823, nogoods=666, foundSolutions=14, bestBound=340
25.08/18.87 nFilterCalls=106625, avgTableProportion=0.27299413833528724, avgTableSize=0.5459882766705745
25.08/18.87
25.39/19.16 num=72, depth=5..11, filters=127021, revisions=(129125,useless=75656), ccks=161469037, wck=16.655, mem=35M339
25.39/19.16 decisions=5944, wrong=2387, backtracks=680, failedAssignments=1839, nogoods=668, foundSolutions=14, bestBound=340
25.39/19.16 nFilterCalls=107841, avgTableProportion=0.27444107528676476, avgTableSize=0.5488821505735295
25.39/19.16
25.58/19.34 num=73, depth=7..12, filters=129213, revisions=(131261,useless=76818), ccks=163241921, wck=16.835, mem=37M955
25.58/19.34 decisions=6000, wrong=2410, backtracks=692, failedAssignments=1856, nogoods=672, foundSolutions=14, bestBound=340
25.58/19.34 nFilterCalls=109487, avgTableProportion=0.27492761697735807, avgTableSize=0.5498552339547161
25.58/19.34
25.78/19.50 num=74, depth=10..15, filters=130893, revisions=(132876,useless=77669), ccks=164848838, wck=16.999, mem=37M955
25.78/19.50 decisions=6077, wrong=2443, backtracks=711, failedAssignments=1875, nogoods=676, foundSolutions=14, bestBound=340
25.78/19.50 nFilterCalls=110750, avgTableProportion=0.2759367945823928, avgTableSize=0.5518735891647856
25.78/19.50
25.98/19.73 num=75, depth=8..12, filters=132738, revisions=(134769,useless=78603), ccks=167115098, wck=17.226, mem=40M571
25.98/19.73 decisions=6153, wrong=2477, backtracks=727, failedAssignments=1896, nogoods=679, foundSolutions=14, bestBound=340
25.98/19.73 nFilterCalls=111888, avgTableProportion=0.27687508937508937, avgTableSize=0.5537501787501787
25.98/19.73
26.18/19.93 num=76, depth=8..14, filters=135727, revisions=(137634,useless=80185), ccks=169052553, wck=17.424, mem=43M187
26.18/19.93 decisions=6232, wrong=2512, backtracks=743, failedAssignments=1919, nogoods=683, foundSolutions=14, bestBound=340
26.18/19.93 nFilterCalls=114293, avgTableProportion=0.276237389866396, avgTableSize=0.552474779732792
26.18/19.93
26.40/20.17 num=77, depth=8..14, filters=138372, revisions=(140184,useless=81487), ccks=171429286, wck=17.665, mem=45M802
26.40/20.17 decisions=6315, wrong=2549, backtracks=763, failedAssignments=1944, nogoods=687, foundSolutions=14, bestBound=340
26.40/20.17 nFilterCalls=115990, avgTableProportion=0.27710147426502285, avgTableSize=0.5542029485300457
26.40/20.17
26.58/20.30 num=78, depth=6..19, filters=139969, revisions=(142014,useless=82489), ccks=172700061, wck=17.796, mem=45M802
26.58/20.30 decisions=6411, wrong=2589, backtracks=775, failedAssignments=1972, nogoods=700, foundSolutions=14, bestBound=340
26.58/20.30 nFilterCalls=117073, avgTableProportion=0.27713477915488627, avgTableSize=0.5542695583097725
26.58/20.30
26.79/20.60 num=79, depth=8..17, filters=141917, revisions=(144287,useless=83697), ccks=175656951, wck=18.09, mem=48M418
26.79/20.60 decisions=6533, wrong=2645, backtracks=807, failedAssignments=2003, nogoods=703, foundSolutions=14, bestBound=340
26.79/20.60 nFilterCalls=118266, avgTableProportion=0.27794547883584464, avgTableSize=0.5558909576716893
26.79/20.60
26.99/20.74 o 339
26.99/20.74 num=80, depth=9..104, filters=143199, revisions=(145605,useless=84418), ccks=177081482, wck=18.234, mem=51M34
26.99/20.74 decisions=6586, wrong=2660, backtracks=816, failedAssignments=2012, nogoods=707, foundSolutions=15, bestBound=339
26.99/20.74 nFilterCalls=119320, avgTableProportion=0.2777489104927925, avgTableSize=0.555497820985585
26.99/20.74
27.30/21.07 num=81, depth=7..12, filters=146962, revisions=(149491,useless=86615), ccks=180281419, wck=18.56, mem=53M650
27.30/21.07 decisions=6710, wrong=2718, backtracks=851, failedAssignments=2049, nogoods=714, foundSolutions=15, bestBound=339
27.30/21.07 nFilterCalls=121934, avgTableProportion=0.2784703200091853, avgTableSize=0.5569406400183706
27.30/21.07
27.49/21.25 num=82, depth=9..15, filters=147910, revisions=(150570,useless=87156), ccks=182196329, wck=18.749, mem=56M266
27.49/21.25 decisions=6752, wrong=2734, backtracks=859, failedAssignments=2060, nogoods=719, foundSolutions=15, bestBound=339
27.49/21.25 nFilterCalls=122482, avgTableProportion=0.27911856436047744, avgTableSize=0.5582371287209549
27.49/21.25
27.72/21.45 num=83, depth=8..12, filters=149965, revisions=(152509,useless=88165), ccks=184114945, wck=18.943, mem=56M266
27.72/21.45 decisions=6810, wrong=2758, backtracks=874, failedAssignments=2072, nogoods=723, foundSolutions=15, bestBound=339
27.72/21.45 nFilterCalls=123912, avgTableProportion=0.27987200593969913, avgTableSize=0.5597440118793983
27.72/21.45
28.03/21.71 num=84, depth=8..16, filters=151391, revisions=(154000,useless=88990), ccks=186755990, wck=19.203, mem=58M882
28.03/21.71 decisions=6866, wrong=2782, backtracks=886, failedAssignments=2085, nogoods=725, foundSolutions=15, bestBound=339
28.03/21.71 nFilterCalls=124941, avgTableProportion=0.2805804339648314, avgTableSize=0.5611608679296628
28.03/21.71
28.13/21.84 num=85, depth=5..11, filters=152534, revisions=(154951,useless=89471), ccks=188061169, wck=19.334, mem=58M882
28.13/21.84 decisions=6911, wrong=2800, backtracks=891, failedAssignments=2099, nogoods=738, foundSolutions=15, bestBound=339
28.13/21.84 nFilterCalls=125888, avgTableProportion=0.28132149211997964, avgTableSize=0.5626429842399593
28.13/21.84
28.13/21.89 num=86, depth=0..8, filters=152997, revisions=(155491,useless=89725), ccks=188502210, wck=19.38, mem=58M882
28.13/21.89 decisions=6958, wrong=2821, backtracks=896, failedAssignments=2115, nogoods=741, foundSolutions=15, bestBound=339
28.13/21.89 nFilterCalls=126122, avgTableProportion=0.2816360349502862, avgTableSize=0.5632720699005724
28.13/21.89
28.46/22.16 num=87, depth=9..14, filters=154309, revisions=(157040,useless=90547), ccks=191235371, wck=19.65, mem=61M498
28.46/22.16 decisions=7022, wrong=2848, backtracks=909, failedAssignments=2132, nogoods=745, foundSolutions=15, bestBound=339
28.46/22.16 nFilterCalls=126846, avgTableProportion=0.2818181101493149, avgTableSize=0.5636362202986298
28.46/22.16
28.75/22.40 num=88, depth=6..14, filters=156373, revisions=(159116,useless=91625), ccks=193637768, wck=19.891, mem=64M114
28.75/22.40 decisions=7098, wrong=2881, backtracks=928, failedAssignments=2151, nogoods=749, foundSolutions=15, bestBound=339
28.75/22.40 nFilterCalls=128247, avgTableProportion=0.28216644443924616, avgTableSize=0.5643328888784923
28.75/22.40
29.16/22.83 num=89, depth=6..17, filters=157937, revisions=(161084,useless=92675), ccks=198105572, wck=20.327, mem=66M730
29.16/22.83 decisions=7190, wrong=2924, backtracks=953, failedAssignments=2172, nogoods=751, foundSolutions=15, bestBound=339
29.16/22.83 nFilterCalls=128915, avgTableProportion=0.2827095372920141, avgTableSize=0.5654190745840282
29.16/22.83
29.55/23.20 num=90, depth=8..16, filters=159528, revisions=(162959,useless=93658), ccks=201823581, wck=20.692, mem=69M346
29.55/23.20 decisions=7284, wrong=2966, backtracks=973, failedAssignments=2195, nogoods=756, foundSolutions=15, bestBound=339
29.55/23.20 nFilterCalls=129769, avgTableProportion=0.2830683753438803, avgTableSize=0.5661367506877606
29.55/23.20
29.77/23.47 num=91, depth=7..14, filters=163224, revisions=(166087,useless=95214), ccks=204428570, wck=20.961, mem=71M962
29.77/23.47 decisions=7383, wrong=3011, backtracks=998, failedAssignments=2220, nogoods=760, foundSolutions=15, bestBound=339
29.77/23.47 nFilterCalls=132397, avgTableProportion=0.2843493432630649, avgTableSize=0.5686986865261298
29.77/23.47
29.97/23.63 num=92, depth=6..16, filters=165129, revisions=(168121,useless=96314), ccks=206015202, wck=21.124, mem=74M578
29.97/23.63 decisions=7481, wrong=3054, backtracks=1017, failedAssignments=2248, nogoods=769, foundSolutions=15, bestBound=339
29.97/23.63 nFilterCalls=133730, avgTableProportion=0.284633216181859, avgTableSize=0.569266432363718
29.97/23.63
30.07/23.78 num=93, depth=7..12, filters=167202, revisions=(169743,useless=97070), ccks=207445663, wck=21.274, mem=74M578
30.07/23.78 decisions=7567, wrong=3093, backtracks=1026, failedAssignments=2279, nogoods=782, foundSolutions=15, bestBound=339
30.07/23.78 nFilterCalls=135073, avgTableProportion=0.2859379742805742, avgTableSize=0.5718759485611484
30.07/23.78
30.38/24.01 num=94, depth=6..22, filters=169025, revisions=(171839,useless=98223), ccks=209759554, wck=21.507, mem=77M194
30.38/24.01 decisions=7705, wrong=3157, backtracks=1062, failedAssignments=2313, nogoods=787, foundSolutions=15, bestBound=339
30.38/24.01 nFilterCalls=136291, avgTableProportion=0.2854517172814052, avgTableSize=0.5709034345628105
30.38/24.01
30.57/24.25 num=95, depth=7..13, filters=172567, revisions=(175113,useless=99924), ccks=212074192, wck=21.747, mem=79M810
30.57/24.25 decisions=7820, wrong=3211, backtracks=1088, failedAssignments=2350, nogoods=792, foundSolutions=15, bestBound=339
30.57/24.25 nFilterCalls=139115, avgTableProportion=0.2857743593429896, avgTableSize=0.5715487186859792
30.57/24.25
31.17/24.81 num=96, depth=6..16, filters=175436, revisions=(178300,useless=101640), ccks=217727863, wck=22.302, mem=82M425
31.17/24.81 decisions=7981, wrong=3288, backtracks=1130, failedAssignments=2391, nogoods=796, foundSolutions=15, bestBound=339
31.17/24.81 nFilterCalls=140947, avgTableProportion=0.2854831958111914, avgTableSize=0.5709663916223828
31.17/24.81
31.48/25.16 o 338
31.48/25.16 num=97, depth=6..104, filters=180687, revisions=(183185,useless=104250), ccks=221159164, wck=22.658, mem=87M657
31.48/25.16 decisions=8129, wrong=3348, backtracks=1158, failedAssignments=2429, nogoods=805, foundSolutions=16, bestBound=338
31.48/25.16 nFilterCalls=144932, avgTableProportion=0.28596859216736126, avgTableSize=0.5719371843347225
31.48/25.16
31.58/25.25 o 335
31.58/25.25 num=98, depth=106..104, filters=181184, revisions=(183846,useless=104660), ccks=222043616, wck=22.747, mem=88M978
31.58/25.25 decisions=8152, wrong=3348, backtracks=1158, failedAssignments=2429, nogoods=805, foundSolutions=17, bestBound=335
31.58/25.25 nFilterCalls=145422, avgTableProportion=0.2859746118193946, avgTableSize=0.5719492236387892
31.58/25.25
31.79/25.42 num=99, depth=7..12, filters=182800, revisions=(185543,useless=105536), ccks=223714530, wck=22.918, mem=88M978
31.79/25.42 decisions=8207, wrong=3372, backtracks=1176, failedAssignments=2440, nogoods=809, foundSolutions=17, bestBound=335
31.79/25.42 nFilterCalls=146439, avgTableProportion=0.2866142216212894, avgTableSize=0.5732284432425788
31.79/25.42
31.89/25.59 num=100, depth=9..14, filters=183771, revisions=(186591,useless=106062), ccks=225422167, wck=23.087, mem=91M594
31.89/25.59 decisions=8248, wrong=3387, backtracks=1183, failedAssignments=2451, nogoods=812, foundSolutions=17, bestBound=335
31.89/25.59 nFilterCalls=147083, avgTableProportion=0.28716099073312346, avgTableSize=0.5743219814662469
31.89/25.59
32.09/25.78 num=101, depth=7..14, filters=184753, revisions=(187690,useless=106615), ccks=227335726, wck=23.277, mem=91M594
32.09/25.78 decisions=8295, wrong=3406, backtracks=1190, failedAssignments=2463, nogoods=815, foundSolutions=17, bestBound=335
32.09/25.78 nFilterCalls=147673, avgTableProportion=0.28755764425453534, avgTableSize=0.5751152885090707
32.09/25.78
32.19/25.89 num=102, depth=9..14, filters=186073, revisions=(188744,useless=107117), ccks=228382629, wck=23.384, mem=94M210
32.19/25.89 decisions=8343, wrong=3425, backtracks=1196, failedAssignments=2476, nogoods=822, foundSolutions=17, bestBound=335
32.19/25.89 nFilterCalls=148715, avgTableProportion=0.2879433816360152, avgTableSize=0.5758867632720304
32.19/25.89
32.40/26.06 num=103, depth=9..13, filters=187291, revisions=(190124,useless=107838), ccks=230108295, wck=23.557, mem=94M210
32.40/26.06 decisions=8406, wrong=3451, backtracks=1209, failedAssignments=2490, nogoods=827, foundSolutions=17, bestBound=335
32.40/26.06 nFilterCalls=149466, avgTableProportion=0.2885572638593393, avgTableSize=0.5771145277186785
32.40/26.06
32.59/26.29 num=104, depth=8..13, filters=189389, revisions=(192251,useless=108930), ccks=232391716, wck=23.788, mem=96M826
32.59/26.29 decisions=8472, wrong=3480, backtracks=1227, failedAssignments=2506, nogoods=830, foundSolutions=17, bestBound=335
32.59/26.29 nFilterCalls=150834, avgTableProportion=0.2892219260909344, avgTableSize=0.5784438521818688
32.59/26.29
32.79/26.42 num=105, depth=6..17, filters=190398, revisions=(193513,useless=109654), ccks=233593768, wck=23.91, mem=96M826
32.79/26.42 decisions=8543, wrong=3511, backtracks=1243, failedAssignments=2523, nogoods=834, foundSolutions=17, bestBound=335
32.79/26.42 nFilterCalls=151421, avgTableProportion=0.28918379881258216, avgTableSize=0.5783675976251643
32.79/26.42
33.00/26.63 num=106, depth=9..14, filters=192107, revisions=(195212,useless=110490), ccks=235682419, wck=24.119, mem=99M442
33.00/26.63 decisions=8611, wrong=3540, backtracks=1256, failedAssignments=2542, nogoods=837, foundSolutions=17, bestBound=335
33.00/26.63 nFilterCalls=152493, avgTableProportion=0.28970182237873215, avgTableSize=0.5794036447574643
33.00/26.63
33.20/26.88 o 334
33.20/26.88 num=107, depth=7..104, filters=193759, revisions=(196991,useless=111415), ccks=238199539, wck=24.37, mem=102M58
33.20/26.88 decisions=8685, wrong=3565, backtracks=1269, failedAssignments=2557, nogoods=843, foundSolutions=18, bestBound=334
33.20/26.88 nFilterCalls=153556, avgTableProportion=0.2900700721560864, avgTableSize=0.5801401443121728
33.20/26.88
33.40/27.05 num=108, depth=6..11, filters=195983, revisions=(199079,useless=112505), ccks=239885726, wck=24.546, mem=104M674
33.40/27.05 decisions=8762, wrong=3600, backtracks=1291, failedAssignments=2580, nogoods=847, foundSolutions=18, bestBound=334
33.40/27.05 nFilterCalls=154992, avgTableProportion=0.29120535253432434, avgTableSize=0.5824107050686487
33.40/27.05
33.51/27.14 num=109, depth=10..16, filters=196662, revisions=(199900,useless=112980), ccks=240778280, wck=24.636, mem=104M674
33.51/27.14 decisions=8808, wrong=3618, backtracks=1300, failedAssignments=2591, nogoods=849, foundSolutions=18, bestBound=334
33.51/27.14 nFilterCalls=155453, avgTableProportion=0.2913806745447177, avgTableSize=0.5827613490894354
33.51/27.14
33.60/27.28 num=110, depth=8..12, filters=198021, revisions=(201153,useless=113609), ccks=242116292, wck=24.773, mem=104M674
33.60/27.28 decisions=8850, wrong=3635, backtracks=1307, failedAssignments=2603, nogoods=850, foundSolutions=18, bestBound=334
33.60/27.28 nFilterCalls=156408, avgTableProportion=0.29162830545752133, avgTableSize=0.5832566109150427
33.60/27.28
33.80/27.40 num=111, depth=5..13, filters=199436, revisions=(202526,useless=114320), ccks=243335037, wck=24.898, mem=107M290
33.80/27.40 decisions=8906, wrong=3659, backtracks=1321, failedAssignments=2616, nogoods=857, foundSolutions=18, bestBound=334
33.80/27.40 nFilterCalls=157367, avgTableProportion=0.29187822097390176, avgTableSize=0.5837564419478035
33.80/27.40
33.90/27.57 num=112, depth=6..17, filters=200515, revisions=(203715,useless=114948), ccks=244982520, wck=25.063, mem=107M290
33.90/27.57 decisions=8962, wrong=3683, backtracks=1336, failedAssignments=2630, nogoods=862, foundSolutions=18, bestBound=334
33.90/27.57 nFilterCalls=158098, avgTableProportion=0.29244835481789777, avgTableSize=0.5848967096357955
33.90/27.57
34.10/27.73 num=113, depth=8..14, filters=202451, revisions=(205567,useless=115941), ccks=246505338, wck=25.22, mem=109M906
34.10/27.73 decisions=9022, wrong=3708, backtracks=1349, failedAssignments=2646, nogoods=866, foundSolutions=18, bestBound=334
34.10/27.73 nFilterCalls=159560, avgTableProportion=0.29269867134620203, avgTableSize=0.5853973426924041
34.10/27.73
34.20/27.89 num=114, depth=7..13, filters=203940, revisions=(207145,useless=116747), ccks=248103147, wck=25.382, mem=112M522
34.20/27.89 decisions=9097, wrong=3741, backtracks=1370, failedAssignments=2663, nogoods=870, foundSolutions=18, bestBound=334
34.20/27.89 nFilterCalls=160629, avgTableProportion=0.2934121484912438, avgTableSize=0.5868242969824876
34.20/27.89
34.41/28.07 num=115, depth=8..13, filters=206023, revisions=(209131,useless=117731), ccks=249897689, wck=25.565, mem=112M522
34.41/28.07 decisions=9165, wrong=3770, backtracks=1386, failedAssignments=2682, nogoods=874, foundSolutions=18, bestBound=334
34.41/28.07 nFilterCalls=162064, avgTableProportion=0.2938468753085201, avgTableSize=0.5876937506170402
34.41/28.07
34.60/28.20 num=116, depth=5..14, filters=207441, revisions=(210534,useless=118475), ccks=251204905, wck=25.699, mem=115M138
34.60/28.20 decisions=9234, wrong=3802, backtracks=1403, failedAssignments=2703, nogoods=875, foundSolutions=18, bestBound=334
34.60/28.20 nFilterCalls=163013, avgTableProportion=0.2940992436186071, avgTableSize=0.5881984872372142
34.60/28.20
34.70/28.33 num=117, depth=6..12, filters=208804, revisions=(211924,useless=119153), ccks=252432730, wck=25.825, mem=115M138
34.70/28.33 decisions=9306, wrong=3835, backtracks=1420, failedAssignments=2726, nogoods=884, foundSolutions=18, bestBound=334
34.70/28.33 nFilterCalls=163859, avgTableProportion=0.29458558882942043, avgTableSize=0.5891711776588409
34.70/28.33
34.92/28.52 num=118, depth=5..18, filters=210983, revisions=(214324,useless=120489), ccks=254288609, wck=26.017, mem=120M370
34.92/28.52 decisions=9399, wrong=3874, backtracks=1443, failedAssignments=2751, nogoods=890, foundSolutions=18, bestBound=334
34.92/28.52 nFilterCalls=165276, avgTableProportion=0.29490972676008614, avgTableSize=0.5898194535201723
34.92/28.52
35.23/28.81 num=119, depth=5..14, filters=214200, revisions=(217496,useless=122155), ccks=257142095, wck=26.307, mem=122M986
35.23/28.81 decisions=9513, wrong=3928, backtracks=1475, failedAssignments=2779, nogoods=894, foundSolutions=18, bestBound=334
35.23/28.81 nFilterCalls=167548, avgTableProportion=0.29533626184735123, avgTableSize=0.5906725236947025
35.23/28.81
35.33/29.00 num=120, depth=6..18, filters=215921, revisions=(219367,useless=123115), ccks=258958905, wck=26.491, mem=122M986
35.33/29.00 decisions=9613, wrong=3973, backtracks=1494, failedAssignments=2810, nogoods=903, foundSolutions=18, bestBound=334
35.33/29.00 nFilterCalls=168529, avgTableProportion=0.29580962326958565, avgTableSize=0.5916192465391713
35.33/29.00
35.73/29.32 num=121, depth=5..13, filters=220507, revisions=(223660,useless=125333), ccks=262036638, wck=26.81, mem=128M217
35.73/29.32 decisions=9739, wrong=4032, backtracks=1534, failedAssignments=2844, nogoods=906, foundSolutions=18, bestBound=334
35.73/29.32 nFilterCalls=171597, avgTableProportion=0.29655530108335226, avgTableSize=0.5931106021667045
35.73/29.32
35.93/29.53 num=122, depth=7..18, filters=222836, revisions=(226178,useless=126766), ccks=264109057, wck=27.021, mem=130M833
35.93/29.53 decisions=9863, wrong=4090, backtracks=1560, failedAssignments=2881, nogoods=912, foundSolutions=18, bestBound=334
35.93/29.53 nFilterCalls=173445, avgTableProportion=0.2961053936406354, avgTableSize=0.5922107872812707
35.93/29.53
36.13/29.74 num=123, depth=8..17, filters=225635, revisions=(228565,useless=127860), ccks=266231171, wck=27.237, mem=130M833
36.13/29.74 decisions=9981, wrong=4145, backtracks=1581, failedAssignments=2922, nogoods=915, foundSolutions=18, bestBound=334
36.13/29.74 nFilterCalls=175483, avgTableProportion=0.29634779437324416, avgTableSize=0.5926955887464883
36.13/29.74
36.63/30.27 num=124, depth=6..16, filters=229551, revisions=(232598,useless=130043), ccks=271542353, wck=27.766, mem=136M65
36.63/30.27 decisions=10161, wrong=4232, backtracks=1636, failedAssignments=2967, nogoods=917, foundSolutions=18, bestBound=334
36.63/30.27 nFilterCalls=178016, avgTableProportion=0.2969424096710408, avgTableSize=0.5938848193420816
36.63/30.27
37.13/30.74 num=125, depth=5..13, filters=236208, revisions=(238838,useless=133380), ccks=276090176, wck=28.235, mem=141M297
37.13/30.74 decisions=10349, wrong=4322, backtracks=1695, failedAssignments=3017, nogoods=921, foundSolutions=18, bestBound=334
37.13/30.74 nFilterCalls=182642, avgTableProportion=0.29857864018133834, avgTableSize=0.5971572803626767
37.13/30.74
37.55/31.13 num=126, depth=4..12, filters=239946, revisions=(242806,useless=135398), ccks=279902193, wck=28.624, mem=146M529
37.55/31.13 decisions=10559, wrong=4424, backtracks=1746, failedAssignments=3072, nogoods=927, foundSolutions=18, bestBound=334
37.55/31.13 nFilterCalls=184753, avgTableProportion=0.29954588017515277, avgTableSize=0.5990917603503055
37.55/31.13
37.84/31.41 num=127, depth=5..15, filters=244292, revisions=(247166,useless=137680), ccks=282608588, wck=28.908, mem=149M145
37.84/31.41 decisions=10767, wrong=4525, backtracks=1798, failedAssignments=3133, nogoods=932, foundSolutions=18, bestBound=334
37.84/31.41 nFilterCalls=187498, avgTableProportion=0.30058720626353347, avgTableSize=0.6011744125270669
37.84/31.41
38.17/31.76 num=128, depth=9..14, filters=249962, revisions=(252804,useless=140609), ccks=285939003, wck=29.256, mem=154M377
38.17/31.76 decisions=10944, wrong=4609, backtracks=1818, failedAssignments=3200, nogoods=955, foundSolutions=18, bestBound=334
38.17/31.76 nFilterCalls=191120, avgTableProportion=0.3011798869820008, avgTableSize=0.6023597739640016
38.17/31.76
38.70/32.22 num=129, depth=4..14, filters=256001, revisions=(258314,useless=143386), ccks=290238634, wck=29.717, mem=27M499
38.70/32.22 decisions=11181, wrong=4723, backtracks=1876, failedAssignments=3274, nogoods=965, foundSolutions=18, bestBound=334
38.70/32.22 nFilterCalls=195257, avgTableProportion=0.30270361625959635, avgTableSize=0.6054072325191927
38.70/32.22
39.40/32.93 num=130, depth=5..18, filters=260473, revisions=(263309,useless=146098), ccks=297368769, wck=30.425, mem=35M347
39.40/32.93 decisions=11428, wrong=4841, backtracks=1925, failedAssignments=3355, nogoods=969, foundSolutions=18, bestBound=334
39.40/32.93 nFilterCalls=197913, avgTableProportion=0.3026178169195556, avgTableSize=0.6052356338391112
39.40/32.93
40.17/33.69 num=131, depth=5..14, filters=272552, revisions=(274321,useless=151916), ccks=304663729, wck=31.187, mem=43M195
40.17/33.69 decisions=11767, wrong=5007, backtracks=2026, failedAssignments=3444, nogoods=975, foundSolutions=18, bestBound=334
40.17/33.69 nFilterCalls=206401, avgTableProportion=0.3044728465462861, avgTableSize=0.6089456930925722
40.17/33.69
40.58/34.09 num=132, depth=5..18, filters=278893, revisions=(280675,useless=155529), ccks=308537742, wck=31.589, mem=48M427
40.58/34.09 decisions=12047, wrong=5143, backtracks=2077, failedAssignments=3542, nogoods=987, foundSolutions=18, bestBound=334
40.58/34.09 nFilterCalls=211080, avgTableProportion=0.3039155770324048, avgTableSize=0.6078311540648096
40.58/34.09
41.78/35.21 num=133, depth=0..12, filters=287377, revisions=(289789,useless=160274), ccks=319641762, wck=32.703, mem=58M890
41.78/35.21 decisions=12419, wrong=5326, backtracks=2187, failedAssignments=3650, nogoods=993, foundSolutions=18, bestBound=334
41.78/35.21 nFilterCalls=215759, avgTableProportion=0.30532909403547476, avgTableSize=0.6106581880709495
41.78/35.21
42.48/35.95 num=134, depth=7..17, filters=300082, revisions=(301472,useless=166414), ccks=326721078, wck=33.443, mem=66M738
42.48/35.95 decisions=12805, wrong=5515, backtracks=2285, failedAssignments=3769, nogoods=999, foundSolutions=18, bestBound=334
42.48/35.95 nFilterCalls=224581, avgTableProportion=0.30526625137478236, avgTableSize=0.6105325027495647
42.48/35.95
43.78/37.23 num=135, depth=5..17, filters=310206, revisions=(312516,useless=172306), ccks=339564921, wck=34.728, mem=77M202
43.78/37.23 decisions=13282, wrong=5750, backtracks=2417, failedAssignments=3900, nogoods=1006, foundSolutions=18, bestBound=334
43.78/37.23 nFilterCalls=230511, avgTableProportion=0.30637149637110594, avgTableSize=0.6127429927422119
43.78/37.23
44.78/38.27 num=136, depth=4..16, filters=320922, revisions=(323592,useless=178104), ccks=349757483, wck=35.766, mem=87M666
44.78/38.27 decisions=13767, wrong=5990, backtracks=2545, failedAssignments=4044, nogoods=1017, foundSolutions=18, bestBound=334
44.78/38.27 nFilterCalls=237098, avgTableProportion=0.30739609781609295, avgTableSize=0.6147921956321859
44.78/38.27
45.69/39.11 num=137, depth=6..15, filters=336088, revisions=(337682,useless=185564), ccks=357749538, wck=36.608, mem=98M130
45.69/39.11 decisions=14258, wrong=6231, backtracks=2650, failedAssignments=4202, nogoods=1021, foundSolutions=18, bestBound=334
45.69/39.11 nFilterCalls=247643, avgTableProportion=0.30832892510589843, avgTableSize=0.6166578502117969
45.69/39.11
46.69/40.18 num=138, depth=3..18, filters=350825, revisions=(352012,useless=192945), ccks=367908771, wck=37.671, mem=112M68
46.69/40.18 decisions=14882, wrong=6539, backtracks=2833, failedAssignments=4376, nogoods=1025, foundSolutions=18, bestBound=334
46.69/40.18 nFilterCalls=257183, avgTableProportion=0.3114941500799042, avgTableSize=0.6229883001598084
46.69/40.18
47.88/41.35 o 331
47.88/41.35 num=139, depth=5..104, filters=363368, revisions=(365136,useless=200024), ccks=379469225, wck=38.848, mem=125M148
47.88/41.35 decisions=15427, wrong=6801, backtracks=2982, failedAssignments=4516, nogoods=1031, foundSolutions=19, bestBound=331
47.88/41.35 nFilterCalls=264940, avgTableProportion=0.31243111647920285, avgTableSize=0.6248622329584057
47.88/41.35
49.50/42.99 num=140, depth=4..17, filters=380080, revisions=(381892,useless=209035), ccks=395582738, wck=40.486, mem=140M844
49.50/42.99 decisions=16169, wrong=7169, backtracks=3193, failedAssignments=4727, nogoods=1043, foundSolutions=19, bestBound=331
49.50/42.99 nFilterCalls=275832, avgTableProportion=0.31423837698309115, avgTableSize=0.6284767539661823
49.50/42.99
49.71/43.12 num=141, depth=6..11, filters=381126, revisions=(382901,useless=209527), ccks=396843146, wck=40.614, mem=143M460
49.71/43.12 decisions=16211, wrong=7185, backtracks=3200, failedAssignments=4738, nogoods=1047, foundSolutions=19, bestBound=331
49.71/43.12 nFilterCalls=276519, avgTableProportion=0.3144702534003088, avgTableSize=0.6289405068006176
49.71/43.12
49.90/43.32 num=142, depth=9..13, filters=382974, revisions=(384823,useless=210540), ccks=398807683, wck=40.812, mem=143M460
49.90/43.32 decisions=16266, wrong=7208, backtracks=3213, failedAssignments=4750, nogoods=1049, foundSolutions=19, bestBound=331
49.90/43.32 nFilterCalls=277806, avgTableProportion=0.3143506619727436, avgTableSize=0.6287013239454872
49.90/43.32
50.00/43.43 num=143, depth=8..12, filters=383857, revisions=(385621,useless=210896), ccks=399876791, wck=40.92, mem=143M460
50.00/43.43 decisions=16308, wrong=7225, backtracks=3220, failedAssignments=4763, nogoods=1053, foundSolutions=19, bestBound=331
50.00/43.43 nFilterCalls=278443, avgTableProportion=0.31460119306285306, avgTableSize=0.6292023861257061
50.00/43.43
50.10/43.58 num=144, depth=7..14, filters=385468, revisions=(387167,useless=211692), ccks=401372389, wck=41.072, mem=146M75
50.10/43.58 decisions=16362, wrong=7247, backtracks=3232, failedAssignments=4777, nogoods=1059, foundSolutions=19, bestBound=331
50.10/43.58 nFilterCalls=279636, avgTableProportion=0.3146250840378206, avgTableSize=0.6292501680756412
50.10/43.58
50.30/43.70 num=145, depth=6..11, filters=387219, revisions=(388840,useless=212542), ccks=402554984, wck=41.196, mem=148M691
50.30/43.70 decisions=16420, wrong=7272, backtracks=3244, failedAssignments=4793, nogoods=1066, foundSolutions=19, bestBound=331
50.30/43.70 nFilterCalls=280794, avgTableProportion=0.3147983931280583, avgTableSize=0.6295967862561166
50.30/43.70
50.40/43.89 num=146, depth=4..9, filters=389512, revisions=(391346,useless=213877), ccks=404371117, wck=41.382, mem=148M691
50.40/43.89 decisions=16490, wrong=7304, backtracks=3263, failedAssignments=4810, nogoods=1071, foundSolutions=19, bestBound=331
50.40/43.89 nFilterCalls=282087, avgTableProportion=0.3150641468766728, avgTableSize=0.6301282937533456
50.40/43.89
50.61/44.08 num=147, depth=5..12, filters=391506, revisions=(393288,useless=214900), ccks=406189995, wck=41.569, mem=151M307
50.61/44.08 decisions=16571, wrong=7341, backtracks=3284, failedAssignments=4829, nogoods=1075, foundSolutions=19, bestBound=331
50.61/44.08 nFilterCalls=283412, avgTableProportion=0.31540125329908403, avgTableSize=0.6308025065981681
50.61/44.08
50.80/44.29 num=148, depth=7..14, filters=393772, revisions=(395550,useless=216074), ccks=408275532, wck=41.781, mem=153M923
50.80/44.29 decisions=16651, wrong=7377, backtracks=3302, failedAssignments=4850, nogoods=1081, foundSolutions=19, bestBound=331
50.80/44.29 nFilterCalls=285096, avgTableProportion=0.3152411819176698, avgTableSize=0.6304823638353396
50.80/44.29
51.00/44.45 num=149, depth=6..11, filters=396299, revisions=(397766,useless=217204), ccks=409717370, wck=41.946, mem=24M927
51.00/44.45 decisions=16729, wrong=7411, backtracks=3314, failedAssignments=4873, nogoods=1087, foundSolutions=19, bestBound=331
51.00/44.45 nFilterCalls=287051, avgTableProportion=0.31567735350164255, avgTableSize=0.6313547070032851
51.00/44.45
51.33/44.70 num=150, depth=6..13, filters=399657, revisions=(400765,useless=218789), ccks=412156056, wck=42.198, mem=27M547
51.33/44.70 decisions=16831, wrong=7457, backtracks=3338, failedAssignments=4898, nogoods=1091, foundSolutions=19, bestBound=331
51.33/44.70 nFilterCalls=289580, avgTableProportion=0.31614407072311623, avgTableSize=0.6322881414462325
51.33/44.70
51.43/44.86 num=151, depth=6..13, filters=402299, revisions=(403129,useless=219915), ccks=413637896, wck=42.358, mem=30M166
51.43/44.86 decisions=16934, wrong=7505, backtracks=3366, failedAssignments=4926, nogoods=1097, foundSolutions=19, bestBound=331
51.43/44.86 nFilterCalls=291220, avgTableProportion=0.3168120321406497, avgTableSize=0.6336240642812994
51.43/44.86
51.64/45.10 num=152, depth=6..13, filters=405827, revisions=(406383,useless=221672), ccks=415928641, wck=42.597, mem=32M785
51.64/45.10 decisions=17051, wrong=7560, backtracks=3395, failedAssignments=4957, nogoods=1100, foundSolutions=19, bestBound=331
51.64/45.10 nFilterCalls=293689, avgTableProportion=0.31667512232327394, avgTableSize=0.6333502446465479
51.64/45.10
51.93/45.34 num=153, depth=4..10, filters=409239, revisions=(409665,useless=223319), ccks=418223064, wck=42.837, mem=35M404
51.93/45.34 decisions=17177, wrong=7620, backtracks=3429, failedAssignments=4991, nogoods=1106, foundSolutions=19, bestBound=331
51.93/45.34 nFilterCalls=295983, avgTableProportion=0.31724288219255836, avgTableSize=0.6344857643851167
51.93/45.34
52.13/45.55 num=154, depth=5..11, filters=413821, revisions=(413617,useless=225211), ccks=420065212, wck=43.044, mem=40M643
52.13/45.55 decisions=17336, wrong=7696, backtracks=3477, failedAssignments=5028, nogoods=1112, foundSolutions=19, bestBound=331
52.13/45.55 nFilterCalls=299008, avgTableProportion=0.318434623822774, avgTableSize=0.636869247645548
52.13/45.55
52.53/45.93 num=155, depth=5..11, filters=419798, revisions=(419238,useless=228213), ccks=423682285, wck=43.421, mem=45M881
52.53/45.93 decisions=17481, wrong=7766, backtracks=3515, failedAssignments=5069, nogoods=1113, foundSolutions=19, bestBound=331
52.53/45.93 nFilterCalls=302922, avgTableProportion=0.31858366180072756, avgTableSize=0.6371673236014551
52.53/45.93
52.93/46.31 num=156, depth=4..14, filters=423509, revisions=(422981,useless=230135), ccks=427382785, wck=43.799, mem=51M119
52.93/46.31 decisions=17654, wrong=7849, backtracks=3559, failedAssignments=5114, nogoods=1118, foundSolutions=19, bestBound=331
52.93/46.31 nFilterCalls=305307, avgTableProportion=0.3192114822129856, avgTableSize=0.6384229644259712
52.93/46.31
53.13/46.57 num=157, depth=6..14, filters=427701, revisions=(427173,useless=232274), ccks=429894386, wck=44.065, mem=53M739
53.13/46.57 decisions=17826, wrong=7932, backtracks=3602, failedAssignments=5164, nogoods=1119, foundSolutions=19, bestBound=331
53.13/46.57 nFilterCalls=307887, avgTableProportion=0.31949871218986187, avgTableSize=0.6389974243797237
53.13/46.57
53.74/47.15 num=158, depth=6..12, filters=435384, revisions=(434141,useless=235943), ccks=435457487, wck=44.639, mem=61M596
53.74/47.15 decisions=18022, wrong=8027, backtracks=3653, failedAssignments=5219, nogoods=1121, foundSolutions=19, bestBound=331
53.74/47.15 nFilterCalls=313131, avgTableProportion=0.3192449805353031, avgTableSize=0.6384899610706062
53.74/47.15
54.64/48.04 num=159, depth=4..15, filters=440431, revisions=(439899,useless=238976), ccks=444480801, wck=45.53, mem=66M835
54.64/48.04 decisions=18239, wrong=8132, backtracks=3705, failedAssignments=5280, nogoods=1124, foundSolutions=19, bestBound=331
54.64/48.04 nFilterCalls=315803, avgTableProportion=0.31950139802345134, avgTableSize=0.6390027960469027
54.64/48.04
55.23/48.65 num=160, depth=6..14, filters=449804, revisions=(448489,useless=243558), ccks=450385842, wck=46.145, mem=72M73
55.23/48.65 decisions=18504, wrong=8261, backtracks=3781, failedAssignments=5347, nogoods=1131, foundSolutions=19, bestBound=331
55.23/48.65 nFilterCalls=322446, avgTableProportion=0.3197589673929898, avgTableSize=0.6395179347859796
55.23/48.65
55.65/49.07 num=161, depth=1..12, filters=456411, revisions=(454977,useless=246920), ccks=454305663, wck=46.56, mem=79M930
55.65/49.07 decisions=18766, wrong=8389, backtracks=3854, failedAssignments=5421, nogoods=1135, foundSolutions=19, bestBound=331
55.65/49.07 nFilterCalls=326533, avgTableProportion=0.3201039404899352, avgTableSize=0.6402078809798704
55.65/49.07
56.44/49.80 num=162, depth=5..18, filters=463489, revisions=(462336,useless=250708), ccks=461545379, wck=47.292, mem=87M788
56.44/49.80 decisions=19070, wrong=8538, backtracks=3938, failedAssignments=5502, nogoods=1141, foundSolutions=19, bestBound=331
56.44/49.80 nFilterCalls=330686, avgTableProportion=0.3203900376792486, avgTableSize=0.6407800753584972
56.44/49.80
57.05/50.49 o 328
57.05/50.49 num=163, depth=5..104, filters=470983, revisions=(470144,useless=254868), ccks=468351915, wck=47.986, mem=95M646
57.05/50.49 decisions=19408, wrong=8694, backtracks=4025, failedAssignments=5590, nogoods=1158, foundSolutions=20, bestBound=328
57.05/50.49 nFilterCalls=335293, avgTableProportion=0.3205778229787082, avgTableSize=0.6411556459574164
57.05/50.49
57.86/51.22 num=164, depth=3..15, filters=479509, revisions=(478960,useless=259490), ccks=475477637, wck=48.718, mem=103M503
57.86/51.22 decisions=19742, wrong=8859, backtracks=4128, failedAssignments=5688, nogoods=1162, foundSolutions=20, bestBound=328
57.86/51.22 nFilterCalls=340180, avgTableProportion=0.32145922746781114, avgTableSize=0.6429184549356223
57.86/51.22
57.96/51.34 num=165, depth=10..15, filters=480384, revisions=(479941,useless=260063), ccks=476598544, wck=48.831, mem=103M503
57.96/51.34 decisions=19784, wrong=8874, backtracks=4134, failedAssignments=5699, nogoods=1169, foundSolutions=20, bestBound=328
57.96/51.34 nFilterCalls=340777, avgTableProportion=0.321535784398595, avgTableSize=0.64307156879719
57.96/51.34
58.06/51.48 num=166, depth=8..13, filters=481545, revisions=(481057,useless=260600), ccks=478073664, wck=48.979, mem=106M122
58.06/51.48 decisions=19829, wrong=8892, backtracks=4143, failedAssignments=5711, nogoods=1172, foundSolutions=20, bestBound=328
58.06/51.48 nFilterCalls=341535, avgTableProportion=0.3216039351750187, avgTableSize=0.6432078703500373
58.06/51.48
58.26/51.64 num=167, depth=7..13, filters=483029, revisions=(482479,useless=261331), ccks=479666206, wck=49.139, mem=106M122
58.26/51.64 decisions=19890, wrong=8917, backtracks=4156, failedAssignments=5724, nogoods=1174, foundSolutions=20, bestBound=328
58.26/51.64 nFilterCalls=342648, avgTableProportion=0.3217033223599729, avgTableSize=0.6434066447199458
58.26/51.64
58.36/51.73 num=168, depth=5..12, filters=484217, revisions=(483667,useless=261963), ccks=480473884, wck=49.224, mem=108M742
58.36/51.73 decisions=19948, wrong=8942, backtracks=4172, failedAssignments=5738, nogoods=1176, foundSolutions=20, bestBound=328
58.36/51.73 nFilterCalls=343513, avgTableProportion=0.3219368699292312, avgTableSize=0.6438737398584624
58.36/51.73
58.46/51.85 num=169, depth=6..11, filters=486290, revisions=(485429,useless=262761), ccks=481556932, wck=49.342, mem=111M361
58.46/51.85 decisions=20016, wrong=8971, backtracks=4189, failedAssignments=5754, nogoods=1178, foundSolutions=20, bestBound=328
58.46/51.85 nFilterCalls=344819, avgTableProportion=0.32237492713568566, avgTableSize=0.6447498542713713
58.46/51.85
58.67/52.09 num=170, depth=5..14, filters=488544, revisions=(487403,useless=263736), ccks=483955844, wck=49.582, mem=111M361
58.67/52.09 decisions=20082, wrong=9000, backtracks=4202, failedAssignments=5771, nogoods=1182, foundSolutions=20, bestBound=328
58.67/52.09 nFilterCalls=346500, avgTableProportion=0.3226911976911977, avgTableSize=0.6453823953823954
58.67/52.09
58.96/52.30 num=171, depth=4..13, filters=489975, revisions=(488985,useless=264509), ccks=486112566, wck=49.797, mem=113M980
58.96/52.30 decisions=20150, wrong=9030, backtracks=4215, failedAssignments=5790, nogoods=1186, foundSolutions=20, bestBound=328
58.96/52.30 nFilterCalls=347257, avgTableProportion=0.32284878346584805, avgTableSize=0.6456975669316961
58.96/52.30
59.16/52.51 num=172, depth=7..16, filters=491684, revisions=(490815,useless=265526), ccks=488175632, wck=50.006, mem=116M599
59.16/52.51 decisions=20225, wrong=9064, backtracks=4231, failedAssignments=5811, nogoods=1187, foundSolutions=20, bestBound=328
59.16/52.51 nFilterCalls=348322, avgTableProportion=0.32304735273683544, avgTableSize=0.6460947054736709
59.16/52.51
59.36/52.74 num=173, depth=6..10, filters=494476, revisions=(493333,useless=266752), ccks=490451396, wck=50.238, mem=119M218
59.36/52.74 decisions=20309, wrong=9103, backtracks=4252, failedAssignments=5834, nogoods=1192, foundSolutions=20, bestBound=328
59.36/52.74 nFilterCalls=350248, avgTableProportion=0.3233151938055321, avgTableSize=0.6466303876110642
59.36/52.74
59.56/52.95 num=174, depth=6..15, filters=497246, revisions=(495964,useless=268121), ccks=492433879, wck=50.443, mem=121M838
59.56/52.95 decisions=20424, wrong=9157, backtracks=4287, failedAssignments=5859, nogoods=1196, foundSolutions=20, bestBound=328
59.56/52.95 nFilterCalls=352159, avgTableProportion=0.3234490670407401, avgTableSize=0.6468981340814802
59.56/52.95
59.67/53.06 num=175, depth=7..11, filters=498782, revisions=(497523,useless=268838), ccks=493522193, wck=50.557, mem=121M838
59.67/53.06 decisions=20499, wrong=9191, backtracks=4296, failedAssignments=5887, nogoods=1216, foundSolutions=20, bestBound=328
59.67/53.06 nFilterCalls=352888, avgTableProportion=0.32369051937158533, avgTableSize=0.6473810387431707
59.67/53.06
59.86/53.23 num=176, depth=4..14, filters=500487, revisions=(499250,useless=269648), ccks=495117667, wck=50.721, mem=124M457
59.86/53.23 decisions=20610, wrong=9243, backtracks=4322, failedAssignments=5918, nogoods=1218, foundSolutions=20, bestBound=328
59.86/53.23 nFilterCalls=353876, avgTableProportion=0.32383377228181626, avgTableSize=0.6476675445636325
59.86/53.23
59.96/53.37 num=177, depth=6..16, filters=502470, revisions=(501338,useless=270875), ccks=496436321, wck=50.86, mem=127M76
59.96/53.37 decisions=20722, wrong=9296, backtracks=4347, failedAssignments=5952, nogoods=1221, foundSolutions=20, bestBound=328
59.96/53.37 nFilterCalls=355212, avgTableProportion=0.32408533495490016, avgTableSize=0.6481706699098003
59.96/53.37
60.16/53.50 num=178, depth=5..11, filters=504938, revisions=(503555,useless=271884), ccks=497650042, wck=50.993, mem=129M695
60.16/53.50 decisions=20835, wrong=9349, backtracks=4370, failedAssignments=5989, nogoods=1240, foundSolutions=20, bestBound=328
60.16/53.50 nFilterCalls=356664, avgTableProportion=0.32455195926698516, avgTableSize=0.6491039185339703
60.16/53.50
60.36/53.76 num=179, depth=3..15, filters=508076, revisions=(506550,useless=273222), ccks=500213878, wck=51.257, mem=134M933
60.36/53.76 decisions=20994, wrong=9426, backtracks=4413, failedAssignments=6030, nogoods=1243, foundSolutions=20, bestBound=328
60.36/53.76 nFilterCalls=358390, avgTableProportion=0.3248207260247217, avgTableSize=0.6496414520494433
60.36/53.76
60.67/54.07 num=180, depth=4..12, filters=511432, revisions=(509963,useless=274976), ccks=503212203, wck=51.565, mem=137M553
60.67/54.07 decisions=21151, wrong=9501, backtracks=4452, failedAssignments=6075, nogoods=1249, foundSolutions=20, bestBound=328
60.67/54.07 nFilterCalls=360322, avgTableProportion=0.32520079262437485, avgTableSize=0.6504015852487497
60.67/54.07
61.06/54.47 num=181, depth=6..15, filters=514968, revisions=(513656,useless=276959), ccks=507203058, wck=51.968, mem=142M791
61.06/54.47 decisions=21320, wrong=9582, backtracks=4494, failedAssignments=6125, nogoods=1255, foundSolutions=20, bestBound=328
61.06/54.47 nFilterCalls=362429, avgTableProportion=0.3252940575947289, avgTableSize=0.6505881151894578
61.06/54.47
61.36/54.74 num=182, depth=4..15, filters=520314, revisions=(518285,useless=279114), ccks=509621487, wck=52.233, mem=148M29
61.36/54.74 decisions=21511, wrong=9673, backtracks=4543, failedAssignments=6180, nogoods=1261, foundSolutions=20, bestBound=328
61.36/54.74 nFilterCalls=365790, avgTableProportion=0.3262992427349025, avgTableSize=0.652598485469805
61.36/54.74
61.77/55.13 num=183, depth=4..14, filters=525085, revisions=(522865,useless=281409), ccks=513367153, wck=52.62, mem=153M268
61.77/55.13 decisions=21722, wrong=9773, backtracks=4587, failedAssignments=6241, nogoods=1264, foundSolutions=20, bestBound=328
61.77/55.13 nFilterCalls=368786, avgTableProportion=0.32673420357605765, avgTableSize=0.6534684071521153
61.77/55.13
62.09/55.43 num=184, depth=5..13, filters=530002, revisions=(527244,useless=283750), ccks=516116875, wck=52.926, mem=24M927
62.09/55.43 decisions=21947, wrong=9882, backtracks=4644, failedAssignments=6308, nogoods=1268, foundSolutions=20, bestBound=328
62.09/55.43 nFilterCalls=372318, avgTableProportion=0.32706315568949124, avgTableSize=0.6541263113789825
62.09/55.43
62.39/55.74 num=185, depth=5..15, filters=535287, revisions=(532745,useless=286613), ccks=519029146, wck=53.236, mem=32M683
62.39/55.74 decisions=22212, wrong=10011, backtracks=4706, failedAssignments=6382, nogoods=1273, foundSolutions=20, bestBound=328
62.39/55.74 nFilterCalls=375432, avgTableProportion=0.32737752775469325, avgTableSize=0.6547550555093865
62.39/55.74
62.89/56.23 num=186, depth=4..18, filters=540971, revisions=(538894,useless=289908), ccks=523798292, wck=53.728, mem=38M404
62.89/56.23 decisions=22496, wrong=10149, backtracks=4778, failedAssignments=6463, nogoods=1278, foundSolutions=20, bestBound=328
62.89/56.23 nFilterCalls=378798, avgTableProportion=0.32760864629697095, avgTableSize=0.6552172925939419
62.89/56.23
63.50/56.87 num=187, depth=5..13, filters=547041, revisions=(545074,useless=293110), ccks=530095890, wck=54.369, mem=46M161
63.50/56.87 decisions=22790, wrong=10293, backtracks=4847, failedAssignments=6552, nogoods=1286, foundSolutions=20, bestBound=328
63.50/56.87 nFilterCalls=382430, avgTableProportion=0.32795675025494864, avgTableSize=0.6559135005098973
63.50/56.87
64.01/57.34 num=188, depth=4..13, filters=553677, revisions=(551007,useless=296143), ccks=534562216, wck=54.836, mem=51M332
64.01/57.34 decisions=23077, wrong=10433, backtracks=4901, failedAssignments=6650, nogoods=1292, foundSolutions=20, bestBound=328
64.01/57.34 nFilterCalls=386577, avgTableProportion=0.3284972980803307, avgTableSize=0.6569945961606614
64.01/57.34
64.41/57.79 num=189, depth=4..12, filters=564669, revisions=(561248,useless=301309), ccks=538592447, wck=55.287, mem=64M260
64.41/57.79 decisions=23456, wrong=10619, backtracks=5003, failedAssignments=6758, nogoods=1299, foundSolutions=20, bestBound=328
64.41/57.79 nFilterCalls=393720, avgTableProportion=0.32981560499847606, avgTableSize=0.6596312099969521
64.41/57.79
65.21/58.57 num=190, depth=4..15, filters=574682, revisions=(570930,useless=306292), ccks=546039925, wck=56.063, mem=74M603
65.21/58.57 decisions=23858, wrong=10815, backtracks=5114, failedAssignments=6877, nogoods=1306, foundSolutions=20, bestBound=328
65.21/58.57 nFilterCalls=400180, avgTableProportion=0.33078239792093556, avgTableSize=0.6615647958418711
65.21/58.57
66.21/59.58 num=191, depth=3..16, filters=584778, revisions=(581872,useless=312111), ccks=556000112, wck=57.077, mem=87M531
66.21/59.58 decisions=24313, wrong=11039, backtracks=5237, failedAssignments=7008, nogoods=1311, foundSolutions=20, bestBound=328
66.21/59.58 nFilterCalls=405778, avgTableProportion=0.3316936847241595, avgTableSize=0.663387369448319
66.21/59.58
66.92/60.25 num=192, depth=4..15, filters=595372, revisions=(591539,useless=316901), ccks=562366973, wck=57.748, mem=97M873
66.92/60.25 decisions=24783, wrong=11270, backtracks=5357, failedAssignments=7152, nogoods=1316, foundSolutions=20, bestBound=328
66.92/60.25 nFilterCalls=413097, avgTableProportion=0.3320467105788713, avgTableSize=0.6640934211577426
66.92/60.25
67.72/61.09 num=193, depth=3..18, filters=605382, revisions=(602341,useless=322554), ccks=570508701, wck=58.589, mem=108M216
67.72/61.09 decisions=25328, wrong=11541, backtracks=5510, failedAssignments=7310, nogoods=1317, foundSolutions=20, bestBound=328
67.72/61.09 nFilterCalls=418947, avgTableProportion=0.3323857194346779, avgTableSize=0.6647714388693557
67.72/61.09
68.52/61.89 num=194, depth=4..15, filters=619324, revisions=(614813,useless=329017), ccks=577878528, wck=59.382, mem=121M144
68.52/61.89 decisions=25881, wrong=11812, backtracks=5633, failedAssignments=7484, nogoods=1328, foundSolutions=20, bestBound=328
68.52/61.89 nFilterCalls=428885, avgTableProportion=0.33371299998834186, avgTableSize=0.6674259999766837
68.52/61.89
69.83/63.18 num=195, depth=3..18, filters=635184, revisions=(630372,useless=337202), ccks=590489793, wck=60.675, mem=136M658
69.83/63.18 decisions=26534, wrong=12135, backtracks=5808, failedAssignments=7675, nogoods=1337, foundSolutions=20, bestBound=328
69.83/63.18 nFilterCalls=439209, avgTableProportion=0.33446263623923916, avgTableSize=0.6689252724784783
69.83/63.18
70.92/64.26 num=196, depth=5..17, filters=659645, revisions=(651714,useless=348278), ccks=600391512, wck=61.749, mem=152M171
70.92/64.26 decisions=27221, wrong=12475, backtracks=5980, failedAssignments=7886, nogoods=1344, foundSolutions=20, bestBound=328
70.92/64.26 nFilterCalls=456910, avgTableProportion=0.3349160666214353, avgTableSize=0.6698321332428706
70.92/64.26
71.95/65.23 num=197, depth=3..13, filters=676084, revisions=(667618,useless=356445), ccks=609329541, wck=62.728, mem=40M133
71.95/65.23 decisions=28006, wrong=12862, backtracks=6168, failedAssignments=8118, nogoods=1351, foundSolutions=20, bestBound=328
71.95/65.23 nFilterCalls=467077, avgTableProportion=0.3359895691716783, avgTableSize=0.6719791383433567
71.95/65.23
73.05/66.38 num=198, depth=5..22, filters=691250, revisions=(683406,useless=364904), ccks=620397349, wck=63.87, mem=55M405
73.05/66.38 decisions=28824, wrong=13268, backtracks=6373, failedAssignments=8373, nogoods=1358, foundSolutions=20, bestBound=328
73.05/66.38 nFilterCalls=476470, avgTableProportion=0.3354513400633828, avgTableSize=0.6709026801267656
73.05/66.38
74.87/68.18 num=199, depth=6..17, filters=711339, revisions=(704352,useless=376175), ccks=637876003, wck=65.678, mem=75M766
74.87/68.18 decisions=29758, wrong=13731, backtracks=6620, failedAssignments=8654, nogoods=1366, foundSolutions=20, bestBound=328
74.87/68.18 nFilterCalls=488978, avgTableProportion=0.3358576459472614, avgTableSize=0.6717152918945228
74.87/68.18
76.36/69.68 num=200, depth=4..20, filters=738327, revisions=(728357,useless=388925), ccks=651905233, wck=67.176, mem=96M128
76.36/69.68 decisions=30724, wrong=14211, backtracks=6840, failedAssignments=8963, nogoods=1413, foundSolutions=20, bestBound=328
76.36/69.68 nFilterCalls=509114, avgTableProportion=0.33634313729341564, avgTableSize=0.6726862745868313
76.36/69.68
78.66/71.97 num=201, depth=2..16, filters=767248, revisions=(756486,useless=403518), ccks=674161171, wck=69.462, mem=124M126
78.66/71.97 decisions=31936, wrong=14814, backtracks=7157, failedAssignments=9303, nogoods=1419, foundSolutions=20, bestBound=328
78.66/71.97 nFilterCalls=527005, avgTableProportion=0.3364341894289428, avgTableSize=0.6728683788578856
78.66/71.97
80.16/73.41 num=202, depth=2..16, filters=795364, revisions=(784599,useless=418305), ccks=687502319, wck=70.901, mem=150M243
80.16/73.41 decisions=33204, wrong=15446, backtracks=7510, failedAssignments=9677, nogoods=1426, foundSolutions=20, bestBound=328
80.16/73.41 nFilterCalls=544701, avgTableProportion=0.3373750002294837, avgTableSize=0.6747500004589674
80.16/73.41
81.46/74.77 num=203, depth=4..19, filters=818415, revisions=(809083,useless=431830), ccks=700232123, wck=72.26, mem=44M922
81.46/74.77 decisions=34465, wrong=16071, backtracks=7771, failedAssignments=10088, nogoods=1457, foundSolutions=20, bestBound=328
81.46/74.77 nFilterCalls=558942, avgTableProportion=0.3377121418680292, avgTableSize=0.6754242837360585
81.46/74.77
83.46/76.75 num=204, depth=4..14, filters=844212, revisions=(836217,useless=445765), ccks=719289862, wck=74.244, mem=75M19
83.46/76.75 decisions=35763, wrong=16717, backtracks=8020, failedAssignments=10540, nogoods=1491, foundSolutions=20, bestBound=328
83.46/76.75 nFilterCalls=573155, avgTableProportion=0.3379609355235495, avgTableSize=0.675921871047099
83.46/76.75
86.97/80.28 num=205, depth=5..14, filters=886617, revisions=(879122,useless=468504), ccks=753524961, wck=77.773, mem=112M640
86.97/80.28 decisions=37444, wrong=17553, backtracks=8479, failedAssignments=11037, nogoods=1498, foundSolutions=20, bestBound=328
86.97/80.28 nFilterCalls=599302, avgTableProportion=0.3390652792748898, avgTableSize=0.6781305585497795
86.97/80.28
90.27/83.52 num=206, depth=7..20, filters=930446, revisions=(923598,useless=492405), ccks=784842665, wck=81.011, mem=147M754
90.27/83.52 decisions=39214, wrong=18431, backtracks=8904, failedAssignments=11584, nogoods=1513, foundSolutions=20, bestBound=328
90.27/83.52 nFilterCalls=626965, avgTableProportion=0.3404105492332108, avgTableSize=0.6808210984664216
90.27/83.52
92.89/86.18 num=207, depth=2..16, filters=981053, revisions=(971131,useless=517421), ccks=809543209, wck=83.669, mem=69M264
92.89/86.18 decisions=41279, wrong=19459, backtracks=9430, failedAssignments=12186, nogoods=1527, foundSolutions=20, bestBound=328
92.89/86.18 nFilterCalls=660067, avgTableProportion=0.341532753493206, avgTableSize=0.683065506986412
92.89/86.18
95.48/88.71 num=208, depth=3..15, filters=1037871, revisions=(1023199,useless=544198), ccks=832654099, wck=86.205, mem=118M648
95.48/88.71 decisions=43418, wrong=20526, backtracks=9952, failedAssignments=12848, nogoods=1534, foundSolutions=20, bestBound=328
95.48/88.71 nFilterCalls=697631, avgTableProportion=0.3435483801608587, avgTableSize=0.6870967603217174
95.48/88.71
100.09/93.37 num=209, depth=1..18, filters=1110889, revisions=(1091174,useless=579560), ccks=876259875, wck=90.86, mem=61M250
100.09/93.37 decisions=46062, wrong=21845, backtracks=10698, failedAssignments=13576, nogoods=1545, foundSolutions=20, bestBound=328
100.09/93.37 nFilterCalls=746446, avgTableProportion=0.3453277263191175, avgTableSize=0.690655452638235
100.09/93.37
105.40/98.64 num=210, depth=3..18, filters=1190947, revisions=(1162162,useless=616495), ccks=924372256, wck=96.133, mem=124M409
105.40/98.64 decisions=48744, wrong=23183, backtracks=11424, failedAssignments=14377, nogoods=1553, foundSolutions=20, bestBound=328
105.40/98.64 nFilterCalls=802683, avgTableProportion=0.3457685038801121, avgTableSize=0.6915370077602242
105.40/98.64
109.82/103.06 num=211, depth=4..23, filters=1245165, revisions=(1220050,useless=647387), ccks=967048593, wck=100.557, mem=55M797
109.82/103.06 decisions=51574, wrong=24590, backtracks=12080, failedAssignments=15258, nogoods=1565, foundSolutions=20, bestBound=328
109.82/103.06 nFilterCalls=836133, avgTableProportion=0.34474479538542313, avgTableSize=0.6894895907708463
109.82/103.06
114.61/107.87 num=212, depth=4..15, filters=1348521, revisions=(1311280,useless=694919), ccks=1011301442, wck=105.368, mem=127M452
114.61/107.87 decisions=54646, wrong=26121, backtracks=12787, failedAssignments=16228, nogoods=1575, foundSolutions=20, bestBound=328
114.61/107.87 nFilterCalls=908575, avgTableProportion=0.3453710480697796, avgTableSize=0.6907420961395592
114.61/107.87
120.72/113.90 num=213, depth=1..17, filters=1445434, revisions=(1403024,useless=742470), ccks=1068151722, wck=111.396, mem=95M451
120.72/113.90 decisions=58340, wrong=27965, backtracks=13841, failedAssignments=17295, nogoods=1582, foundSolutions=20, bestBound=328
120.72/113.90 nFilterCalls=969983, avgTableProportion=0.34793238644388613, avgTableSize=0.6958647728877723
120.72/113.90
127.13/120.36 num=214, depth=3..20, filters=1572145, revisions=(1517720,useless=802429), ccks=1128367848, wck=117.853, mem=73M574
127.13/120.36 decisions=62410, wrong=29997, backtracks=14978, failedAssignments=18468, nogoods=1586, foundSolutions=20, bestBound=328
127.13/120.36 nFilterCalls=1055972, avgTableProportion=0.34909969203728886, avgTableSize=0.6981993840745777
127.13/120.36
135.55/128.71 num=215, depth=2..19, filters=1677883, revisions=(1614946,useless=853175), ccks=1209897379, wck=126.206, mem=45M307
135.55/128.71 decisions=66735, wrong=32157, backtracks=16033, failedAssignments=19759, nogoods=1702, foundSolutions=20, bestBound=328
135.55/128.71 nFilterCalls=1128326, avgTableProportion=0.3487254570044473, avgTableSize=0.6974509140088946
135.55/128.71
144.66/137.81 num=216, depth=1..15, filters=1817223, revisions=(1745173,useless=918939), ccks=1296926666, wck=135.305, mem=33M745
144.66/137.81 decisions=71697, wrong=34636, backtracks=17406, failedAssignments=21179, nogoods=1717, foundSolutions=20, bestBound=328
144.66/137.81 nFilterCalls=1215143, avgTableProportion=0.3525893660252332, avgTableSize=0.7051787320504664
144.66/137.81
150.90/144.05 num=217, depth=1..19, filters=1950423, revisions=(1869929,useless=984773), ccks=1354127135, wck=141.548, mem=42M481
150.90/144.05 decisions=77065, wrong=37315, backtracks=18842, failedAssignments=22741, nogoods=1719, foundSolutions=20, bestBound=328
150.90/144.05 nFilterCalls=1304962, avgTableProportion=0.3525918762385418, avgTableSize=0.7051837524770836
150.90/144.05
158.83/151.94 num=218, depth=2..19, filters=2091603, revisions=(2001056,useless=1055057), ccks=1427640734, wck=149.433, mem=64M217
158.83/151.94 decisions=83078, wrong=40319, backtracks=20487, failedAssignments=24459, nogoods=1728, foundSolutions=20, bestBound=328
158.83/151.94 nFilterCalls=1408405, avgTableProportion=0.34901218044525545, avgTableSize=0.6980243608905109
158.83/151.94
167.55/160.64 num=219, depth=0..18, filters=2250590, revisions=(2147932,useless=1130916), ccks=1508449520, wck=158.138, mem=102M816
167.55/160.64 decisions=89350, wrong=43451, backtracks=22134, failedAssignments=26349, nogoods=1736, foundSolutions=20, bestBound=328
167.55/160.64 nFilterCalls=1513078, avgTableProportion=0.3512624597013505, avgTableSize=0.702524919402701
167.55/160.64
179.79/172.88 num=220, depth=2..17, filters=2463623, revisions=(2340856,useless=1234770), ccks=1623017811, wck=170.378, mem=54M156
179.79/172.88 decisions=96434, wrong=46991, backtracks=24061, failedAssignments=28428, nogoods=1746, foundSolutions=20, bestBound=328
179.79/172.88 nFilterCalls=1664342, avgTableProportion=0.35314286366624165, avgTableSize=0.7062857273324833
179.79/172.88
191.70/184.72 num=221, depth=2..18, filters=2681734, revisions=(2535017,useless=1333622), ccks=1732657814, wck=182.213, mem=126M349
191.70/184.72 decisions=104159, wrong=50848, backtracks=26129, failedAssignments=30715, nogoods=1756, foundSolutions=20, bestBound=328
191.70/184.72 nFilterCalls=1810257, avgTableProportion=0.3556682835641569, avgTableSize=0.7113365671283138
191.70/184.72
204.72/197.75 num=222, depth=2..19, filters=2919267, revisions=(2753372,useless=1446625), ccks=1854508117, wck=195.239, mem=107M147
204.72/197.75 decisions=112574, wrong=55052, backtracks=28327, failedAssignments=33231, nogoods=1761, foundSolutions=20, bestBound=328
204.72/197.75 nFilterCalls=1970284, avgTableProportion=0.3558471773612332, avgTableSize=0.7116943547224664
204.72/197.75
218.83/211.83 num=223, depth=1..22, filters=3140226, revisions=(2957855,useless=1554247), ccks=1988260653, wck=209.325, mem=115M292
218.83/211.83 decisions=121762, wrong=59640, backtracks=30618, failedAssignments=35999, nogoods=1773, foundSolutions=20, bestBound=328
218.83/211.83 nFilterCalls=2122876, avgTableProportion=0.3556959992010838, avgTableSize=0.7113919984021676
218.83/211.83
233.45/226.42 num=224, depth=0..22, filters=3411203, revisions=(3197181,useless=1678628), ccks=2124804528, wck=223.917, mem=51M332
233.45/226.42 decisions=131852, wrong=64682, backtracks=33187, failedAssignments=39043, nogoods=1790, foundSolutions=20, bestBound=328
233.45/226.42 nFilterCalls=2316202, avgTableProportion=0.35546705339171625, avgTableSize=0.7109341067834325
233.45/226.42
248.26/241.28 num=225, depth=1..18, filters=3774283, revisions=(3508895,useless=1835778), ccks=2257484538, wck=238.777, mem=61M543
248.26/241.28 decisions=143622, wrong=70564, backtracks=36428, failedAssignments=42392, nogoods=1807, foundSolutions=20, bestBound=328
248.26/241.28 nFilterCalls=2570964, avgTableProportion=0.35593186057836673, avgTableSize=0.7118637211567335
248.26/241.28
264.29/257.26 num=226, depth=0..20, filters=4081217, revisions=(3789593,useless=1981209), ccks=2405433894, wck=254.759, mem=76M322
264.29/257.26 decisions=155803, wrong=76651, backtracks=39470, failedAssignments=46076, nogoods=1812, foundSolutions=20, bestBound=328
264.29/257.26 nFilterCalls=2780429, avgTableProportion=0.35500978446131876, avgTableSize=0.7100195689226375
264.29/257.26
285.23/278.11 num=227, depth=2..19, filters=4482704, revisions=(4143183,useless=2162662), ccks=2598375312, wck=275.601, mem=77M252
285.23/278.11 decisions=169785, wrong=83640, backtracks=43185, failedAssignments=50128, nogoods=1816, foundSolutions=20, bestBound=328
285.23/278.11 nFilterCalls=3054364, avgTableProportion=0.3580809294504519, avgTableSize=0.7161618589009038
285.23/278.11
308.75/301.68 num=228, depth=1..23, filters=4857152, revisions=(4474880,useless=2333979), ccks=2821353413, wck=299.174, mem=81M68
308.75/301.68 decisions=184137, wrong=90814, backtracks=46622, failedAssignments=54585, nogoods=1834, foundSolutions=20, bestBound=328
308.75/301.68 nFilterCalls=3313428, avgTableProportion=0.3592243440931869, avgTableSize=0.7184486881863738
308.75/301.68
331.30/324.13 num=229, depth=1..21, filters=5278318, revisions=(4867540,useless=2538353), ccks=3031563690, wck=321.626, mem=50M910
331.30/324.13 decisions=200764, wrong=99123, backtracks=51051, failedAssignments=59488, nogoods=1842, foundSolutions=20, bestBound=328
331.30/324.13 nFilterCalls=3591855, avgTableProportion=0.3587072696420095, avgTableSize=0.717414539284019
331.30/324.13
354.12/346.91 num=230, depth=1..22, filters=5749842, revisions=(5292154,useless=2761023), ccks=3239912012, wck=344.401, mem=60M487
354.12/346.91 decisions=218886, wrong=108182, backtracks=55703, failedAssignments=64882, nogoods=1856, foundSolutions=20, bestBound=328
354.12/346.91 nFilterCalls=3919199, avgTableProportion=0.35975004076087996, avgTableSize=0.7195000815217599
354.12/346.91
359.42/352.24 o 326
359.42/352.24 num=231, depth=1..104, filters=5862391, revisions=(5390892,useless=2810771), ccks=3289114669, wck=349.737, mem=78M92
359.42/352.24 decisions=222622, wrong=110039, backtracks=56692, failedAssignments=65951, nogoods=1861, foundSolutions=21, bestBound=326
359.42/352.24 nFilterCalls=3993206, avgTableProportion=0.3604904179749304, avgTableSize=0.7209808359498608
359.42/352.24
386.48/379.27 num=232, depth=0..20, filters=6454338, revisions=(5916491,useless=3085610), ccks=3534523458, wck=376.767, mem=48M300
386.48/379.27 decisions=245324, wrong=121388, backtracks=62630, failedAssignments=72477, nogoods=1872, foundSolutions=21, bestBound=326
386.48/379.27 nFilterCalls=4399230, avgTableProportion=0.3626576696376411, avgTableSize=0.7253153392752822
386.48/379.27
386.58/379.37 num=233, depth=7..13, filters=6455765, revisions=(5917712,useless=3086192), ccks=3535448567, wck=376.865, mem=49M705
386.58/379.37 decisions=245372, wrong=121407, backtracks=62639, failedAssignments=72488, nogoods=1880, foundSolutions=21, bestBound=326
386.58/379.37 nFilterCalls=4400189, avgTableProportion=0.3626604448127115, avgTableSize=0.725320889625423
386.58/379.37
386.78/379.50 num=234, depth=6..11, filters=6457234, revisions=(5919054,useless=3086810), ccks=3536735896, wck=376.998, mem=51M110
386.78/379.50 decisions=245423, wrong=121428, backtracks=62651, failedAssignments=72500, nogoods=1884, foundSolutions=21, bestBound=326
386.78/379.50 nFilterCalls=4401102, avgTableProportion=0.3626737121748144, avgTableSize=0.7253474243496288
386.78/379.50
386.88/379.61 num=235, depth=3..10, filters=6458457, revisions=(5920128,useless=3087327), ccks=3537753709, wck=377.103, mem=52M515
386.88/379.61 decisions=245471, wrong=121449, backtracks=62661, failedAssignments=72513, nogoods=1887, foundSolutions=21, bestBound=326
386.88/379.61 nFilterCalls=4401962, avgTableProportion=0.3626867973871651, avgTableSize=0.7253735947743302
386.88/379.61
386.98/379.75 num=236, depth=7..14, filters=6459708, revisions=(5921355,useless=3087906), ccks=3539095041, wck=377.24, mem=53M920
386.98/379.75 decisions=245522, wrong=121471, backtracks=62674, failedAssignments=72527, nogoods=1893, foundSolutions=21, bestBound=326
386.98/379.75 nFilterCalls=4402720, avgTableProportion=0.36270226132936, avgTableSize=0.72540452265872
386.98/379.75
387.09/379.89 num=237, depth=6..14, filters=6461237, revisions=(5922768,useless=3088582), ccks=3540538706, wck=377.388, mem=55M326
387.09/379.89 decisions=245585, wrong=121498, backtracks=62686, failedAssignments=72543, nogoods=1898, foundSolutions=21, bestBound=326
387.09/379.89 nFilterCalls=4403744, avgTableProportion=0.3627070510910716, avgTableSize=0.7254141021821432
387.09/379.89
387.30/380.07 num=238, depth=4..12, filters=6463228, revisions=(5924782,useless=3089607), ccks=3542279473, wck=377.566, mem=56M731
387.30/380.07 decisions=245651, wrong=121528, backtracks=62702, failedAssignments=72560, nogoods=1903, foundSolutions=21, bestBound=326
387.30/380.07 nFilterCalls=4405089, avgTableProportion=0.36272116181988606, avgTableSize=0.7254423236397721
387.30/380.07
387.49/380.24 num=239, depth=5..14, filters=6464868, revisions=(5926447,useless=3090449), ccks=3543931615, wck=377.734, mem=58M136
387.49/380.24 decisions=245725, wrong=121562, backtracks=62721, failedAssignments=72579, nogoods=1908, foundSolutions=21, bestBound=326
387.49/380.24 nFilterCalls=4406140, avgTableProportion=0.36273019014375396, avgTableSize=0.7254603802875079
387.49/380.24
387.69/380.42 num=240, depth=4..13, filters=6466791, revisions=(5928361,useless=3091397), ccks=3545704737, wck=377.916, mem=59M541
387.69/380.42 decisions=245812, wrong=121602, backtracks=62743, failedAssignments=72600, nogoods=1910, foundSolutions=21, bestBound=326
387.69/380.42 nFilterCalls=4407396, avgTableProportion=0.3627343674133207, avgTableSize=0.7254687348266414
387.69/380.42
387.89/380.61 num=241, depth=5..15, filters=6469149, revisions=(5930537,useless=3092449), ccks=3547467932, wck=378.1, mem=62M351
387.89/380.61 decisions=245901, wrong=121644, backtracks=62769, failedAssignments=72623, nogoods=1911, foundSolutions=21, bestBound=326
387.89/380.61 nFilterCalls=4408898, avgTableProportion=0.3627570880523886, avgTableSize=0.7255141761047772
387.89/380.61
387.99/380.73 num=242, depth=4..13, filters=6470547, revisions=(5931884,useless=3093122), ccks=3548608078, wck=378.22, mem=63M756
387.99/380.73 decisions=245985, wrong=121683, backtracks=62788, failedAssignments=72648, nogoods=1915, foundSolutions=21, bestBound=326
387.99/380.73 nFilterCalls=4409901, avgTableProportion=0.36275814355016134, avgTableSize=0.7255162871003227
387.99/380.73
388.09/380.89 num=243, depth=4..12, filters=6472916, revisions=(5933994,useless=3094122), ccks=3550127017, wck=378.383, mem=66M566
388.09/380.89 decisions=246093, wrong=121735, backtracks=62814, failedAssignments=72676, nogoods=1916, foundSolutions=21, bestBound=326
388.09/380.89 nFilterCalls=4411337, avgTableProportion=0.36276042841433337, avgTableSize=0.7255208568286667
388.09/380.89
388.41/381.15 num=244, depth=3..13, filters=6475471, revisions=(5936575,useless=3095288), ccks=3552661610, wck=378.641, mem=69M376
388.41/381.15 decisions=246206, wrong=121790, backtracks=62845, failedAssignments=72707, nogoods=1919, foundSolutions=21, bestBound=326
388.41/381.15 nFilterCalls=4412820, avgTableProportion=0.3627794698174863, avgTableSize=0.7255589396349726
388.41/381.15
388.60/381.34 num=245, depth=2..13, filters=6478044, revisions=(5939158,useless=3096643), ccks=3554480741, wck=378.83, mem=72M186
388.60/381.34 decisions=246312, wrong=121840, backtracks=62868, failedAssignments=72741, nogoods=1922, foundSolutions=21, bestBound=326
388.60/381.34 nFilterCalls=4414262, avgTableProportion=0.3627839715902681, avgTableSize=0.7255679431805362
388.60/381.34
388.80/381.56 num=246, depth=6..15, filters=6481025, revisions=(5941982,useless=3097948), ccks=3556589488, wck=379.052, mem=74M997
388.80/381.56 decisions=246449, wrong=121905, backtracks=62907, failedAssignments=72778, nogoods=1928, foundSolutions=21, bestBound=326
388.80/381.56 nFilterCalls=4416030, avgTableProportion=0.36282226343571033, avgTableSize=0.7256445268714207
388.80/381.56
389.11/381.83 num=247, depth=4..11, filters=6485570, revisions=(5946298,useless=3100061), ccks=3559157414, wck=379.325, mem=79M212
389.11/381.83 decisions=246613, wrong=121984, backtracks=62951, failedAssignments=72819, nogoods=1930, foundSolutions=21, bestBound=326
389.11/381.83 nFilterCalls=4418697, avgTableProportion=0.36283003790483936, avgTableSize=0.7256600758096787
389.11/381.83
389.42/382.19 num=248, depth=5..14, filters=6489937, revisions=(5950457,useless=3102155), ccks=3562614248, wck=379.685, mem=83M427
389.42/382.19 decisions=246809, wrong=122077, backtracks=63007, failedAssignments=72864, nogoods=1936, foundSolutions=21, bestBound=326
389.42/382.19 nFilterCalls=4421438, avgTableProportion=0.3628359144694554, avgTableSize=0.7256718289389108
389.42/382.19
389.71/382.48 num=249, depth=5..14, filters=6493802, revisions=(5954444,useless=3104214), ccks=3565424684, wck=379.975, mem=87M642
389.71/382.48 decisions=246972, wrong=122155, backtracks=63052, failedAssignments=72914, nogoods=1941, foundSolutions=21, bestBound=326
389.71/382.48 nFilterCalls=4423791, avgTableProportion=0.36285179385734995, avgTableSize=0.7257035877146999
389.71/382.48
390.11/382.85 num=250, depth=6..15, filters=6498662, revisions=(5959078,useless=3106565), ccks=3568917521, wck=380.339, mem=91M858
390.11/382.85 decisions=247198, wrong=122263, backtracks=63114, failedAssignments=72969, nogoods=1945, foundSolutions=21, bestBound=326
390.11/382.85 nFilterCalls=4426831, avgTableProportion=0.36285437596330194, avgTableSize=0.7257087519266039
390.11/382.85
390.61/383.34 num=251, depth=4..12, filters=6503572, revisions=(5964289,useless=3109099), ccks=3573772286, wck=380.834, mem=25M831
390.61/383.34 decisions=247434, wrong=122378, backtracks=63183, failedAssignments=73030, nogoods=1951, foundSolutions=21, bestBound=326
390.61/383.34 nFilterCalls=4429557, avgTableProportion=0.36289486736484033, avgTableSize=0.7257897347296807
390.61/383.34
391.11/383.85 num=252, depth=3..10, filters=6511385, revisions=(5970894,useless=3112288), ccks=3578596691, wck=381.342, mem=32M804
391.11/383.85 decisions=247690, wrong=122504, backtracks=63253, failedAssignments=73097, nogoods=1954, foundSolutions=21, bestBound=326
391.11/383.85 nFilterCalls=4434882, avgTableProportion=0.3629588115309494, avgTableSize=0.7259176230618988
391.11/383.85
391.52/384.26 num=253, depth=4..12, filters=6517312, revisions=(5976528,useless=3115105), ccks=3582522235, wck=381.75, mem=36M987
391.52/384.26 decisions=247924, wrong=122617, backtracks=63309, failedAssignments=73171, nogoods=1962, foundSolutions=21, bestBound=326
391.52/384.26 nFilterCalls=4438719, avgTableProportion=0.36300574557659543, avgTableSize=0.7260114911531909
391.52/384.26
392.02/384.72 num=254, depth=3..13, filters=6525822, revisions=(5983794,useless=3118722), ccks=3586822142, wck=382.21, mem=43M960
392.02/384.72 decisions=248196, wrong=122751, backtracks=63378, failedAssignments=73252, nogoods=1968, foundSolutions=21, bestBound=326
392.02/384.72 nFilterCalls=4444540, avgTableProportion=0.3630328447938369, avgTableSize=0.7260656895876738
392.02/384.72
392.43/385.18 num=255, depth=5..15, filters=6533932, revisions=(5990998,useless=3122382), ccks=3591201025, wck=382.674, mem=49M539
392.43/385.18 decisions=248494, wrong=122896, backtracks=63453, failedAssignments=73341, nogoods=1975, foundSolutions=21, bestBound=326
392.43/385.18 nFilterCalls=4450063, avgTableProportion=0.3630660959181926, avgTableSize=0.7261321918363852
392.43/385.18
392.92/385.67 num=256, depth=3..12, filters=6542237, revisions=(5998940,useless=3126154), ccks=3595828209, wck=383.164, mem=55M117
392.92/385.67 decisions=248833, wrong=123063, backtracks=63539, failedAssignments=73439, nogoods=1982, foundSolutions=21, bestBound=326
392.92/385.67 nFilterCalls=4455012, avgTableProportion=0.3631172037247038, avgTableSize=0.7262344074494076
392.92/385.67
393.92/386.68 num=257, depth=3..11, filters=6554697, revisions=(6010432,useless=3131855), ccks=3605602569, wck=384.177, mem=66M274
393.92/386.68 decisions=249203, wrong=123246, backtracks=63641, failedAssignments=73547, nogoods=1987, foundSolutions=21, bestBound=326
393.92/386.68 nFilterCalls=4462518, avgTableProportion=0.3632062660587588, avgTableSize=0.7264125321175176
393.92/386.68
394.52/387.26 num=258, depth=5..14, filters=6563552, revisions=(6019560,useless=3136963), ccks=3611114848, wck=384.756, mem=74M642
394.52/387.26 decisions=249623, wrong=123453, backtracks=63749, failedAssignments=73666, nogoods=1996, foundSolutions=21, bestBound=326
394.52/387.26 nFilterCalls=4468347, avgTableProportion=0.36319997081694866, avgTableSize=0.7263999416338973
394.52/387.26
395.43/388.18 num=259, depth=3..13, filters=6577632, revisions=(6031448,useless=3142974), ccks=3619810742, wck=385.671, mem=87M193
395.43/388.18 decisions=250081, wrong=123679, backtracks=63865, failedAssignments=73797, nogoods=2001, foundSolutions=21, bestBound=326
395.43/388.18 nFilterCalls=4477522, avgTableProportion=0.36327426196900875, avgTableSize=0.7265485239380175
395.43/388.18
396.23/388.94 num=260, depth=2..12, filters=6591445, revisions=(6044131,useless=3149488), ccks=3626868174, wck=386.435, mem=27M218
396.23/388.94 decisions=250607, wrong=123940, backtracks=64002, failedAssignments=73941, nogoods=2007, foundSolutions=21, bestBound=326
396.23/388.94 nFilterCalls=4486907, avgTableProportion=0.3633828381109749, avgTableSize=0.7267656762219498
396.23/388.94
397.03/389.76 num=261, depth=2..12, filters=6608220, revisions=(6058664,useless=3156629), ccks=3634464906, wck=387.253, mem=41M59
397.03/389.76 decisions=251147, wrong=124209, backtracks=64150, failedAssignments=74099, nogoods=2014, foundSolutions=21, bestBound=326
397.03/389.76 nFilterCalls=4497442, avgTableProportion=0.3634892901342585, avgTableSize=0.726978580268517
397.03/389.76
398.13/390.81 num=262, depth=2..14, filters=6624565, revisions=(6073271,useless=3163580), ccks=3644378582, wck=388.304, mem=53M516
398.13/390.81 decisions=251767, wrong=124516, backtracks=64308, failedAssignments=74273, nogoods=2020, foundSolutions=21, bestBound=326
398.13/390.81 nFilterCalls=4507808, avgTableProportion=0.3635723837395027, avgTableSize=0.7271447674790054
398.13/390.81
399.53/392.27 num=263, depth=3..15, filters=6641396, revisions=(6089263,useless=3171569), ccks=3658308939, wck=389.759, mem=72M894
399.53/392.27 decisions=252482, wrong=124871, backtracks=64497, failedAssignments=74464, nogoods=2025, foundSolutions=21, bestBound=326
399.53/392.27 nFilterCalls=4518374, avgTableProportion=0.36359385035413183, avgTableSize=0.7271877007082637
399.53/392.27
400.54/393.20 num=264, depth=3..13, filters=6658949, revisions=(6105475,useless=3179937), ccks=3666854672, wck=390.691, mem=92M272
400.54/393.20 decisions=253193, wrong=125224, backtracks=64688, failedAssignments=74675, nogoods=2036, foundSolutions=21, bestBound=326
400.54/393.20 nFilterCalls=4530286, avgTableProportion=0.3635752797946973, avgTableSize=0.7271505595893946
400.54/393.20
401.94/394.66 num=265, depth=1..17, filters=6679496, revisions=(6126042,useless=3190646), ccks=3680927785, wck=392.156, mem=42M297
401.94/394.66 decisions=253988, wrong=125618, backtracks=64899, failedAssignments=74907, nogoods=2042, foundSolutions=21, bestBound=326
401.94/394.66 nFilterCalls=4542659, avgTableProportion=0.3636658617783109, avgTableSize=0.7273317235566218
401.94/394.66
403.35/396.01 num=266, depth=2..18, filters=6700805, revisions=(6145094,useless=3200219), ccks=3693555732, wck=393.505, mem=67M22
403.35/396.01 decisions=254893, wrong=126067, backtracks=65123, failedAssignments=75162, nogoods=2046, foundSolutions=21, bestBound=326
403.35/396.01 nFilterCalls=4556602, avgTableProportion=0.3636099883202439, avgTableSize=0.7272199766404878
403.35/396.01
404.35/397.01 num=267, depth=5..22, filters=6717153, revisions=(6162431,useless=3209667), ccks=3703103329, wck=394.508, mem=83M505
404.35/397.01 decisions=255769, wrong=126497, backtracks=65309, failedAssignments=75443, nogoods=2061, foundSolutions=21, bestBound=326
404.35/397.01 nFilterCalls=4566785, avgTableProportion=0.363567476901146, avgTableSize=0.727134953802292
404.35/397.01
406.25/398.93 num=268, depth=2..15, filters=6743931, revisions=(6187059,useless=3221748), ccks=3721376078, wck=396.42, mem=36M697
406.25/398.93 decisions=256830, wrong=127026, backtracks=65575, failedAssignments=75752, nogoods=2072, foundSolutions=21, bestBound=326
406.25/398.93 nFilterCalls=4582938, avgTableProportion=0.3636801327009006, avgTableSize=0.7273602654018012
406.25/398.93
407.65/400.35 num=269, depth=2..15, filters=6774139, revisions=(6215659,useless=3236664), ccks=3734478510, wck=397.845, mem=66M688
407.65/400.35 decisions=257995, wrong=127606, backtracks=65877, failedAssignments=76092, nogoods=2075, foundSolutions=21, bestBound=326
407.65/400.35 nFilterCalls=4602437, avgTableProportion=0.36380215524949067, avgTableSize=0.7276043104989813
407.65/400.35
408.85/401.59 num=270, depth=2..14, filters=6795760, revisions=(6236099,useless=3246633), ccks=3745823898, wck=399.082, mem=91M223
408.85/401.59 decisions=259124, wrong=128167, backtracks=66099, failedAssignments=76466, nogoods=2079, foundSolutions=21, bestBound=326
408.85/401.59 nFilterCalls=4616293, avgTableProportion=0.3638871059527634, avgTableSize=0.7277742119055268
408.85/401.59
410.66/403.32 num=271, depth=2..14, filters=6824594, revisions=(6263377,useless=3260803), ccks=3762236163, wck=400.819, mem=51M472
410.66/403.32 decisions=260381, wrong=128793, backtracks=66380, failedAssignments=76877, nogoods=2094, foundSolutions=21, bestBound=326
410.66/403.32 nFilterCalls=4634896, avgTableProportion=0.3639994295449132, avgTableSize=0.7279988590898264
410.66/403.32
414.26/406.92 num=272, depth=5..18, filters=6856290, revisions=(6295944,useless=3278006), ccks=3798103044, wck=404.411, mem=81M230
414.26/406.92 decisions=261816, wrong=129506, backtracks=66733, failedAssignments=77329, nogoods=2103, foundSolutions=21, bestBound=326
414.26/406.92 nFilterCalls=4653723, avgTableProportion=0.3638785548688652, avgTableSize=0.7277571097377304
414.26/406.92
417.17/409.88 num=273, depth=4..14, filters=6905463, revisions=(6338159,useless=3297963), ccks=3825796464, wck=407.37, mem=64M673
417.17/409.88 decisions=263650, wrong=130420, backtracks=67253, failedAssignments=77826, nogoods=2114, foundSolutions=21, bestBound=326
417.17/409.88 nFilterCalls=4684415, avgTableProportion=0.36432361351417414, avgTableSize=0.7286472270283483
417.17/409.88
419.77/412.46 num=274, depth=1..18, filters=6945733, revisions=(6376329,useless=3318005), ccks=3850297939, wck=409.951, mem=35M76
419.77/412.46 decisions=265436, wrong=131311, backtracks=67673, failedAssignments=78373, nogoods=2121, foundSolutions=21, bestBound=326
419.77/412.46 nFilterCalls=4710743, avgTableProportion=0.364282343570855, avgTableSize=0.72856468714171
419.77/412.46
422.67/415.32 num=275, depth=2..13, filters=7003477, revisions=(6425429,useless=3342166), ccks=3876251257, wck=412.815, mem=87M11
422.67/415.32 decisions=267492, wrong=132336, backtracks=68174, failedAssignments=78975, nogoods=2130, foundSolutions=21, bestBound=326
422.67/415.32 nFilterCalls=4749459, avgTableProportion=0.3647026956122792, avgTableSize=0.7294053912245584
422.67/415.32
425.28/417.95 num=276, depth=3..21, filters=7054290, revisions=(6470862,useless=3365749), ccks=3900117877, wck=415.446, mem=74M642
425.28/417.95 decisions=269739, wrong=133455, backtracks=68723, failedAssignments=79637, nogoods=2134, foundSolutions=21, bestBound=326
425.28/417.95 nFilterCalls=4784336, avgTableProportion=0.36448516575758894, avgTableSize=0.7289703315151779
425.28/417.95
429.09/421.76 num=277, depth=2..16, filters=7119418, revisions=(6526844,useless=3394839), ccks=3935198900, wck=419.251, mem=61M126
429.09/421.76 decisions=272161, wrong=134663, backtracks=69299, failedAssignments=80365, nogoods=2147, foundSolutions=21, bestBound=326
429.09/421.76 nFilterCalls=4830002, avgTableProportion=0.3647119607817968, avgTableSize=0.7294239215635936
429.09/421.76
433.29/426.00 num=278, depth=3..15, filters=7198150, revisions=(6591286,useless=3426095), ccks=3973484385, wck=423.497, mem=76M424
433.29/426.00 decisions=274960, wrong=136059, backtracks=70055, failedAssignments=81166, nogoods=2157, foundSolutions=21, bestBound=326
433.29/426.00 nFilterCalls=4884879, avgTableProportion=0.3652679012110638, avgTableSize=0.7305358024221276
433.29/426.00
440.00/432.63 num=279, depth=1..18, filters=7268237, revisions=(6660606,useless=3462255), ccks=4037271842, wck=430.126, mem=86M313
440.00/432.63 decisions=277993, wrong=137573, backtracks=70863, failedAssignments=82047, nogoods=2165, foundSolutions=21, bestBound=326
440.00/432.63 nFilterCalls=4928409, avgTableProportion=0.3650326099152891, avgTableSize=0.7300652198305781
440.00/432.63
443.52/436.15 num=280, depth=0..16, filters=7337016, revisions=(6722738,useless=3494222), ccks=4069026583, wck=433.646, mem=24M417
443.52/436.15 decisions=281043, wrong=139096, backtracks=71516, failedAssignments=83017, nogoods=2188, foundSolutions=21, bestBound=326
443.52/436.15 nFilterCalls=4973175, avgTableProportion=0.36523609163160353, avgTableSize=0.7304721832632071
443.52/436.15
447.53/440.17 num=281, depth=2..14, filters=7427188, revisions=(6802530,useless=3533796), ccks=4104444678, wck=437.667, mem=50M797
447.53/440.17 decisions=284566, wrong=140856, backtracks=72414, failedAssignments=84084, nogoods=2197, foundSolutions=21, bestBound=326
447.53/440.17 nFilterCalls=5030856, avgTableProportion=0.36569591735481993, avgTableSize=0.7313918347096399
447.53/440.17
453.63/446.29 num=282, depth=2..14, filters=7529422, revisions=(6892533,useless=3579366), ccks=4160110555, wck=443.786, mem=31M801
453.63/446.29 decisions=288502, wrong=142820, backtracks=73401, failedAssignments=85257, nogoods=2210, foundSolutions=21, bestBound=326
453.63/446.29 nFilterCalls=5098324, avgTableProportion=0.36626683592490394, avgTableSize=0.7325336718498079
453.63/446.29
461.95/454.52 num=283, depth=2..15, filters=7658893, revisions=(7007640,useless=3637374), ccks=4236259931, wck=452.018, mem=34M136
461.95/454.52 decisions=293084, wrong=145109, backtracks=74657, failedAssignments=86548, nogoods=2220, foundSolutions=21, bestBound=326
461.95/454.52 nFilterCalls=5182714, avgTableProportion=0.3669627534917034, avgTableSize=0.7339255069834068
461.95/454.52
467.05/459.68 num=284, depth=1..17, filters=7776337, revisions=(7113808,useless=3692030), ccks=4282064887, wck=457.176, mem=79M889
467.05/459.68 decisions=297515, wrong=147322, backtracks=75642, failedAssignments=87968, nogoods=2226, foundSolutions=21, bestBound=326
467.05/459.68 nFilterCalls=5261906, avgTableProportion=0.3665019861624286, avgTableSize=0.7330039723248571
467.05/459.68
474.66/467.28 num=285, depth=2..17, filters=7892629, revisions=(7220316,useless=3746346), ccks=4352589918, wck=464.773, mem=70M658
474.66/467.28 decisions=302565, wrong=149844, backtracks=76789, failedAssignments=89530, nogoods=2271, foundSolutions=21, bestBound=326
474.66/467.28 nFilterCalls=5336789, avgTableProportion=0.36667104507972864, avgTableSize=0.7333420901594573
474.66/467.28
482.28/474.83 num=286, depth=1..18, filters=8062695, revisions=(7365135,useless=3819610), ccks=4419713019, wck=472.323, mem=57M931
482.28/474.83 decisions=308429, wrong=152774, backtracks=78292, failedAssignments=91248, nogoods=2300, foundSolutions=21, bestBound=326
482.28/474.83 nFilterCalls=5458448, avgTableProportion=0.367006793872544, avgTableSize=0.734013587745088
482.28/474.83
488.90/481.42 num=287, depth=0..15, filters=8233316, revisions=(7515063,useless=3896399), ccks=4476916245, wck=478.918, mem=44M670
488.90/481.42 decisions=314634, wrong=155872, backtracks=79760, failedAssignments=93138, nogoods=2302, foundSolutions=21, bestBound=326
488.90/481.42 nFilterCalls=5573967, avgTableProportion=0.3676027324883696, avgTableSize=0.7352054649767392
488.90/481.42
496.81/489.32 num=288, depth=1..20, filters=8391415, revisions=(7655703,useless=3968882), ccks=4547871813, wck=486.814, mem=29M961
496.81/489.32 decisions=321037, wrong=159071, backtracks=81159, failedAssignments=95217, nogoods=2312, foundSolutions=21, bestBound=326
496.81/489.32 nFilterCalls=5682569, avgTableProportion=0.36803363056392274, avgTableSize=0.7360672611278455
496.81/489.32
506.55/499.07 num=289, depth=2..19, filters=8591804, revisions=(7839358,useless=4063103), ccks=4635210382, wck=496.562, mem=58M4
506.55/499.07 decisions=328816, wrong=162958, backtracks=83131, failedAssignments=97504, nogoods=2328, foundSolutions=21, bestBound=326
506.55/499.07 nFilterCalls=5817402, avgTableProportion=0.3684467740066786, avgTableSize=0.7368935480133572
506.55/499.07
516.00/508.49 num=290, depth=1..17, filters=8836163, revisions=(8053703,useless=4172246), ccks=4717158012, wck=505.988, mem=42M957
516.00/508.49 decisions=337045, wrong=167069, backtracks=85080, failedAssignments=100020, nogoods=2336, foundSolutions=21, bestBound=326
516.00/508.49 nFilterCalls=5980255, avgTableProportion=0.3689547519294746, avgTableSize=0.7379095038589492
516.00/508.49
526.92/519.37 num=291, depth=0..16, filters=9064373, revisions=(8252225,useless=4271296), ccks=4814392498, wck=516.867, mem=47M285
526.92/519.37 decisions=346048, wrong=171567, backtracks=87266, failedAssignments=102788, nogoods=2350, foundSolutions=21, bestBound=326
526.92/519.37 nFilterCalls=6134251, avgTableProportion=0.3694874076721021, avgTableSize=0.7389748153442042
526.92/519.37
538.96/531.32 num=292, depth=0..18, filters=9345449, revisions=(8497587,useless=4395830), ccks=4919648900, wck=528.817, mem=38M653
538.96/531.32 decisions=356316, wrong=176698, backtracks=89800, failedAssignments=105832, nogoods=2366, foundSolutions=21, bestBound=326
538.96/531.32 nFilterCalls=6329058, avgTableProportion=0.3697805423808725, avgTableSize=0.739561084761745
538.96/531.32
552.89/545.27 num=293, depth=0..17, filters=9725631, revisions=(8822797,useless=4560187), ccks=5039115671, wck=542.763, mem=35M471
552.89/545.27 decisions=368446, wrong=182761, backtracks=93172, failedAssignments=109181, nogoods=2369, foundSolutions=21, bestBound=326
552.89/545.27 nFilterCalls=6589884, avgTableProportion=0.370818666914319, avgTableSize=0.741637333828638
552.89/545.27
567.42/559.74 num=294, depth=0..18, filters=10122555, revisions=(9162630,useless=4732397), ccks=5163233083, wck=557.232, mem=33M311
567.42/559.74 decisions=381290, wrong=189181, backtracks=96625, failedAssignments=112865, nogoods=2376, foundSolutions=21, bestBound=326
567.42/559.74 nFilterCalls=6862460, avgTableProportion=0.371694625542444, avgTableSize=0.743389251084888
567.42/559.74
582.96/575.28
582.96/575.28 New Bounds: 326..325
582.96/575.28 num=295, depth=0..17, filters=10543286, revisions=(9514711,useless=4907985), ccks=5296540437, wck=572.774, mem=73M280
582.96/575.28 decisions=394848, wrong=195961, backtracks=100062, failedAssignments=116837, foundSolutions=21, bestBound=326
582.96/575.28 nFilterCalls=7147993, avgTableProportion=0.3725247772346727, avgTableSize=0.7450495544693454
582.96/575.28
582.96/575.28 Global
582.96/575.28 filters=10543286, revisions=(9514711,useless=4907985), ccks=5296540437
582.96/575.28 Stop=FULL_EXPLORATION, wrong=195961, bestBound=326, bestBoundWck=350.146, bestBoundCpu=351.953, foundSolutions=21, firstSolCpu=9.235
582.96/575.28 wck=573.184, cpu=574.754, mem=73M280
582.96/575.28
582.96/575.28 v <instantiation id='sol21' type='solution' cost='326'> <list> s[][] e[] d[][] w[][] sd[][] </list> <values> 0 73 137 215 273 0 91 145 197 289 0 86 145 215 295 0 119 211 289 295 0 91 119 197 272 325 322 326 300 321 73 60 78 58 52 52 46 48 92 33 86 59 63 80 31 85 92 56 2 5 91 28 78 75 49 4 3 2 0 1 3 2 1 4 0 0 1 3 2 4 1 0 3 4 2 2 0 4 1 3 215 273 137 73 0 289 145 91 0 197 0 86 215 145 295 119 0 295 211 289 91 197 0 272 119 </values> </instantiation>
582.96/575.28 s OPTIMUM FOUND
582.96/575.28
582.96/575.28 d WRONG_DECISIONS 195961
582.96/575.28 d NUMBER_SOLUTIONS 21