2.87/2.13
2.87/2.13 AbsCon 2
2.87/2.15
3.33/2.30 Instance
3.33/2.30 name=instance-4391166-1568388145, framework=COP, bounds=-infty..+infty
3.33/2.30
3.33/2.30 Loading variables...
3.33/2.35 Loading constraints...
3.56/2.47
3.56/2.47 Domains
3.56/2.47 nTypes=7, nValues=22250, sizes=[5#50,400#55]
3.56/2.47 Variables
3.56/2.47 count=105, degrees=[2#30,3#50,9#25]
3.56/2.47 Objectives
3.56/2.47 way=min, type=ObjMaximumLE
3.56/2.47 Constraints
3.56/2.47 count=136, nSpecific=81, arities=[1#5,2#75,3#25,5#6,7#25]
3.56/2.47 distribution=[AllDifferent#5,CtrExtensionSmart-TableSmart#50,CtrExtensionV-Bits#25,CtrIntension#30,ElementVariable#25,ObjMaximumLE#1]
3.56/2.47 tables=[2#50], nTotalTuples=100
3.56/2.47 nExtStructures=(55,shared:20), nIntStructures=(15,shared:15), nCftStructures=(5,shared:20,unbuilt:111)
3.56/2.47 wck=0.374, cpu=2.441, mem=26M520
3.56/2.48 Solver SolverBacktrack being built...
3.56/2.48
3.84/2.50
3.84/2.50 Solver
3.84/2.50 guaranteedGAC=true
3.84/2.50 wck=0.406, cpu=2.472, mem=37M163
4.79/3.13
4.79/3.13 Preprocessing
4.79/3.13 filters=55, revisions=(140,useless=60), ccks=5266244, nACremovedValues=3445, nTotalRemovedValues=3445, inconcistency=false
4.79/3.13 wck=0.631, cpu=3.103, mem=37M163
4.79/3.13
5.16/3.32 o 387
5.16/3.33 num=0, depth=106..104, filters=331, revisions=(536,useless=301), ccks=6938014, wck=0.825, mem=39M805
5.16/3.33 decisions=25, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=1, bestBound=387
5.16/3.33 nFilterCalls=250, avgTableProportion=0.394, avgTableSize=0.788
5.16/3.33
5.65/3.61 num=1, depth=11..14, filters=833, revisions=(1285,useless=694), ccks=9377186, wck=1.112, mem=42M448
5.65/3.61 decisions=68, wrong=16, backtracks=5, failedAssignments=11, nogoods=2, foundSolutions=1, bestBound=387
5.65/3.61 nFilterCalls=502, avgTableProportion=0.37350597609561753, avgTableSize=0.7470119521912351
5.65/3.61
5.75/3.79 num=2, depth=12..13, filters=1093, revisions=(1528,useless=822), ccks=10783713, wck=1.285, mem=45M90
5.75/3.79 decisions=103, wrong=27, backtracks=5, failedAssignments=22, nogoods=13, foundSolutions=1, bestBound=387
5.75/3.79 nFilterCalls=758, avgTableProportion=0.4023746701846966, avgTableSize=0.8047493403693932
5.75/3.79
6.32/4.01 num=3, depth=18..18, filters=1550, revisions=(2185,useless=1230), ccks=12786412, wck=1.512, mem=45M90
6.32/4.01 decisions=145, wrong=39, backtracks=5, failedAssignments=34, nogoods=25, foundSolutions=1, bestBound=387
6.32/4.01 nFilterCalls=1050, avgTableProportion=0.4104761904761905, avgTableSize=0.820952380952381
6.32/4.01
6.32/4.09 num=4, depth=0..0, filters=1694, revisions=(2451,useless=1360), ccks=13430936, wck=1.584, mem=45M90
6.32/4.09 decisions=171, wrong=52, backtracks=5, failedAssignments=47, nogoods=25, foundSolutions=1, bestBound=387
6.32/4.09 nFilterCalls=1050, avgTableProportion=0.4104761904761905, avgTableSize=0.820952380952381
6.32/4.09
6.71/4.20 num=5, depth=0..0, filters=1876, revisions=(2773,useless=1514), ccks=14589567, wck=1.699, mem=45M90
6.71/4.20 decisions=199, wrong=66, backtracks=5, failedAssignments=61, nogoods=25, foundSolutions=1, bestBound=387
6.71/4.20 nFilterCalls=1050, avgTableProportion=0.4104761904761905, avgTableSize=0.820952380952381
6.71/4.20
7.12/4.42 num=6, depth=0..11, filters=2380, revisions=(3229,useless=1689), ccks=16801874, wck=1.917, mem=47M733
7.12/4.42 decisions=242, wrong=82, backtracks=5, failedAssignments=77, nogoods=36, foundSolutions=1, bestBound=387
7.12/4.42 nFilterCalls=1382, avgTableProportion=0.4182344428364689, avgTableSize=0.8364688856729378
7.12/4.42
7.52/4.68 num=7, depth=16..16, filters=3037, revisions=(4076,useless=2097), ccks=19413383, wck=2.175, mem=47M733
7.52/4.68 decisions=292, wrong=99, backtracks=5, failedAssignments=94, nogoods=53, foundSolutions=1, bestBound=387
7.52/4.68 nFilterCalls=1739, avgTableProportion=0.41920644048303624, avgTableSize=0.8384128809660725
7.52/4.68
7.94/4.87 o 362
7.94/4.87 num=8, depth=16..104, filters=3662, revisions=(4801,useless=2490), ccks=21339391, wck=2.37, mem=50M375
7.94/4.87 decisions=354, wrong=116, backtracks=5, failedAssignments=111, nogoods=70, foundSolutions=2, bestBound=362
7.94/4.87 nFilterCalls=2308, avgTableProportion=0.39774696707105717, avgTableSize=0.7954939341421143
7.94/4.87
8.64/5.17 num=9, depth=7..28, filters=4612, revisions=(6055,useless=3216), ccks=24328247, wck=2.667, mem=53M17
8.64/5.17 decisions=428, wrong=140, backtracks=8, failedAssignments=132, nogoods=77, foundSolutions=2, bestBound=362
8.64/5.17 nFilterCalls=2976, avgTableProportion=0.3840725806451613, avgTableSize=0.7681451612903226
8.64/5.17
9.12/5.39 num=10, depth=15..16, filters=5706, revisions=(6965,useless=3705), ccks=26464165, wck=2.884, mem=53M17
9.12/5.39 decisions=467, wrong=152, backtracks=9, failedAssignments=143, nogoods=83, foundSolutions=2, bestBound=362
9.12/5.39 nFilterCalls=3882, avgTableProportion=0.3641164348274086, avgTableSize=0.7282328696548171
9.12/5.39
9.54/5.57 num=11, depth=8..19, filters=6287, revisions=(7537,useless=4003), ccks=28316008, wck=3.068, mem=55M660
9.54/5.57 decisions=510, wrong=164, backtracks=9, failedAssignments=155, nogoods=95, foundSolutions=2, bestBound=362
9.54/5.57 nFilterCalls=4521, avgTableProportion=0.3651846936518469, avgTableSize=0.7303693873036938
9.54/5.57
9.78/5.74 o 360
9.78/5.74 num=12, depth=11..104, filters=6763, revisions=(8077,useless=4322), ccks=30059181, wck=3.24, mem=55M660
9.78/5.74 decisions=540, wrong=165, backtracks=9, failedAssignments=156, nogoods=96, foundSolutions=3, bestBound=360
9.78/5.74 nFilterCalls=4986, avgTableProportion=0.36101083032490977, avgTableSize=0.7220216606498195
9.78/5.74
10.00/5.93 o 359
10.00/5.93 num=13, depth=9..104, filters=7366, revisions=(8882,useless=4809), ccks=31976716, wck=3.43, mem=55M660
10.00/5.93 decisions=575, wrong=171, backtracks=9, failedAssignments=162, nogoods=102, foundSolutions=4, bestBound=359
10.00/5.93 nFilterCalls=5477, avgTableProportion=0.35977725031951796, avgTableSize=0.7195545006390359
10.00/5.93
10.21/6.15 num=14, depth=9..24, filters=8179, revisions=(9891,useless=5398), ccks=34146102, wck=3.645, mem=58M302
10.21/6.15 decisions=628, wrong=188, backtracks=16, failedAssignments=173, nogoods=110, foundSolutions=4, bestBound=359
10.21/6.15 nFilterCalls=6087, avgTableProportion=0.3584688680795137, avgTableSize=0.7169377361590275
10.21/6.15
10.61/6.58 num=15, depth=11..17, filters=9332, revisions=(11089,useless=6015), ccks=38553888, wck=4.074, mem=60M945
10.61/6.58 decisions=676, wrong=204, backtracks=21, failedAssignments=184, nogoods=115, foundSolutions=4, bestBound=359
10.61/6.58 nFilterCalls=6964, avgTableProportion=0.3474296381390006, avgTableSize=0.6948592762780011
10.61/6.58
10.91/6.83 num=16, depth=11..22, filters=10319, revisions=(12078,useless=6571), ccks=41118424, wck=4.326, mem=60M945
10.91/6.83 decisions=725, wrong=219, backtracks=26, failedAssignments=196, nogoods=122, foundSolutions=4, bestBound=359
10.91/6.83 nFilterCalls=7830, avgTableProportion=0.3426564495530013, avgTableSize=0.6853128991060026
10.91/6.83
11.12/7.08 num=17, depth=15..19, filters=11180, revisions=(13007,useless=7097), ccks=43730796, wck=4.581, mem=63M587
11.12/7.08 decisions=780, wrong=238, backtracks=33, failedAssignments=209, nogoods=127, foundSolutions=4, bestBound=359
11.12/7.08 nFilterCalls=8538, avgTableProportion=0.3381939564300773, avgTableSize=0.6763879128601546
11.12/7.08
11.54/7.40 o 352
11.54/7.40 num=18, depth=14..104, filters=11925, revisions=(13907,useless=7590), ccks=46997118, wck=4.9, mem=63M587
11.54/7.40 decisions=838, wrong=251, backtracks=35, failedAssignments=220, nogoods=135, foundSolutions=5, bestBound=352
11.54/7.40 nFilterCalls=9150, avgTableProportion=0.33311475409836067, avgTableSize=0.6662295081967213
11.54/7.40
11.66/7.58 o 346
11.66/7.58 num=19, depth=14..104, filters=12468, revisions=(14629,useless=8036), ccks=48825022, wck=5.081, mem=63M587
11.66/7.58 decisions=872, wrong=254, backtracks=35, failedAssignments=223, nogoods=138, foundSolutions=6, bestBound=346
11.66/7.58 nFilterCalls=9701, avgTableProportion=0.33207916709617563, avgTableSize=0.6641583341923513
11.66/7.58
11.87/7.76 num=20, depth=16..23, filters=13179, revisions=(15592,useless=8620), ccks=50617290, wck=5.259, mem=66M230
11.87/7.76 decisions=922, wrong=269, backtracks=39, failedAssignments=234, nogoods=143, foundSolutions=6, bestBound=346
11.87/7.76 nFilterCalls=10196, avgTableProportion=0.3326794821498627, avgTableSize=0.6653589642997254
11.87/7.76
12.14/7.94 o 340
12.14/7.94 num=21, depth=14..104, filters=13916, revisions=(16417,useless=9072), ccks=52430113, wck=5.438, mem=66M230
12.14/7.94 decisions=973, wrong=279, backtracks=41, failedAssignments=242, nogoods=150, foundSolutions=7, bestBound=340
12.14/7.94 nFilterCalls=10848, avgTableProportion=0.3284476401179941, avgTableSize=0.6568952802359882
12.14/7.94
12.54/8.30 num=22, depth=14..17, filters=14754, revisions=(17577,useless=9730), ccks=56100713, wck=5.795, mem=68M872
12.54/8.30 decisions=1023, wrong=297, backtracks=49, failedAssignments=254, nogoods=156, foundSolutions=7, bestBound=340
12.54/8.30 nFilterCalls=11314, avgTableProportion=0.3307406752695775, avgTableSize=0.661481350539155
12.54/8.30
12.75/8.50 num=23, depth=10..16, filters=15387, revisions=(18255,useless=10081), ccks=58161292, wck=5.997, mem=68M872
12.75/8.50 decisions=1064, wrong=312, backtracks=54, failedAssignments=265, nogoods=159, foundSolutions=7, bestBound=340
12.75/8.50 nFilterCalls=11799, avgTableProportion=0.3315111450122892, avgTableSize=0.6630222900245784
12.75/8.50
12.85/8.68 num=24, depth=14..18, filters=16103, revisions=(19132,useless=10556), ccks=60013348, wck=6.181, mem=68M872
12.85/8.68 decisions=1116, wrong=331, backtracks=62, failedAssignments=277, nogoods=162, foundSolutions=7, bestBound=340
12.85/8.68 nFilterCalls=12257, avgTableProportion=0.332544668352778, avgTableSize=0.665089336705556
12.85/8.68
13.15/9.00 num=25, depth=12..17, filters=17314, revisions=(20497,useless=11267), ccks=63230123, wck=6.496, mem=71M514
13.15/9.00 decisions=1176, wrong=354, backtracks=72, failedAssignments=290, nogoods=167, foundSolutions=7, bestBound=340
13.15/9.00 nFilterCalls=13056, avgTableProportion=0.32996323529411764, avgTableSize=0.6599264705882353
13.15/9.00
13.45/9.26 num=26, depth=10..22, filters=18576, revisions=(21831,useless=11977), ccks=65912589, wck=6.76, mem=71M514
13.45/9.26 decisions=1238, wrong=376, backtracks=81, failedAssignments=304, nogoods=174, foundSolutions=7, bestBound=340
13.45/9.26 nFilterCalls=13919, avgTableProportion=0.3284000287376967, avgTableSize=0.6568000574753934
13.45/9.26
13.86/9.62 num=27, depth=11..14, filters=20147, revisions=(23273,useless=12667), ccks=69606119, wck=7.122, mem=74M157
13.86/9.62 decisions=1307, wrong=405, backtracks=96, failedAssignments=320, nogoods=178, foundSolutions=7, bestBound=340
13.86/9.62 nFilterCalls=15084, avgTableProportion=0.33028374436488994, avgTableSize=0.6605674887297799
13.86/9.62
14.06/9.83 o 339
14.06/9.83 num=28, depth=7..104, filters=20702, revisions=(23862,useless=12969), ccks=71725630, wck=7.329, mem=74M157
14.06/9.83 decisions=1344, wrong=409, backtracks=96, failedAssignments=324, nogoods=182, foundSolutions=8, bestBound=339
14.06/9.83 nFilterCalls=15583, avgTableProportion=0.32939742026567415, avgTableSize=0.6587948405313483
14.06/9.83
14.29/10.03 o 335
14.29/10.04 num=29, depth=11..104, filters=21341, revisions=(24723,useless=13500), ccks=73799233, wck=7.533, mem=76M799
14.29/10.04 decisions=1390, wrong=416, backtracks=98, failedAssignments=330, nogoods=186, foundSolutions=9, bestBound=335
14.29/10.04 nFilterCalls=16170, avgTableProportion=0.32835497835497834, avgTableSize=0.6567099567099567
14.29/10.04
14.59/10.38 num=30, depth=9..16, filters=22157, revisions=(25728,useless=14056), ccks=77328272, wck=7.876, mem=76M799
14.59/10.38 decisions=1435, wrong=432, backtracks=103, failedAssignments=341, nogoods=193, foundSolutions=9, bestBound=335
14.59/10.38 nFilterCalls=16760, avgTableProportion=0.32971360381861575, avgTableSize=0.6594272076372315
14.59/10.38
14.79/10.57 num=31, depth=6..22, filters=22973, revisions=(26696,useless=14568), ccks=79310949, wck=8.072, mem=79M442
14.79/10.57 decisions=1490, wrong=449, backtracks=109, failedAssignments=352, nogoods=198, foundSolutions=9, bestBound=335
14.79/10.57 nFilterCalls=17335, avgTableProportion=0.33005480242284396, avgTableSize=0.6601096048456879
14.79/10.57
14.99/10.75 o 330
14.99/10.75 num=32, depth=8..104, filters=23582, revisions=(27321,useless=14903), ccks=81135323, wck=8.252, mem=79M442
14.99/10.75 decisions=1529, wrong=454, backtracks=109, failedAssignments=357, nogoods=203, foundSolutions=10, bestBound=330
14.99/10.75 nFilterCalls=17932, avgTableProportion=0.3297735891144323, avgTableSize=0.6595471782288646
14.99/10.75
15.21/10.94 o 327
15.21/10.94 num=33, depth=11..104, filters=24501, revisions=(28377,useless=15538), ccks=83042166, wck=8.441, mem=82M84
15.21/10.94 decisions=1590, wrong=470, backtracks=114, failedAssignments=368, nogoods=208, foundSolutions=11, bestBound=327
15.21/10.94 nFilterCalls=18834, avgTableProportion=0.3288733142189657, avgTableSize=0.6577466284379314
15.21/10.94
15.52/11.23 num=34, depth=14..17, filters=25383, revisions=(29554,useless=16207), ccks=86016325, wck=8.732, mem=82M84
15.52/11.23 decisions=1639, wrong=486, backtracks=119, failedAssignments=379, nogoods=212, foundSolutions=11, bestBound=327
15.52/11.23 nFilterCalls=19330, avgTableProportion=0.33041903776513193, avgTableSize=0.6608380755302639
15.52/11.23
15.88/11.57 num=35, depth=13..22, filters=26372, revisions=(30570,useless=16723), ccks=89422259, wck=9.062, mem=84M727
15.88/11.57 decisions=1689, wrong=502, backtracks=125, failedAssignments=390, nogoods=218, foundSolutions=11, bestBound=327
15.88/11.57 nFilterCalls=20132, avgTableProportion=0.3275630836479237, avgTableSize=0.6551261672958474
15.88/11.57
16.08/11.77 o 322
16.08/11.77 num=36, depth=9..104, filters=26917, revisions=(31208,useless=17076), ccks=91502386, wck=9.265, mem=84M727
16.08/11.77 decisions=1726, wrong=506, backtracks=126, failedAssignments=393, nogoods=221, foundSolutions=12, bestBound=322
16.08/11.77 nFilterCalls=20622, avgTableProportion=0.3278537484240132, avgTableSize=0.6557074968480264
16.08/11.77
16.49/12.12 num=37, depth=7..17, filters=27748, revisions=(32378,useless=17746), ccks=95083797, wck=9.614, mem=84M727
16.49/12.12 decisions=1778, wrong=525, backtracks=134, failedAssignments=406, nogoods=226, foundSolutions=12, bestBound=322
16.49/12.12 nFilterCalls=21097, avgTableProportion=0.32954922500829503, avgTableSize=0.6590984500165901
16.49/12.12
16.58/12.26 num=38, depth=11..17, filters=28757, revisions=(33282,useless=18227), ccks=96481212, wck=9.754, mem=87M369
16.58/12.26 decisions=1836, wrong=546, backtracks=144, failedAssignments=417, nogoods=230, foundSolutions=12, bestBound=322
16.58/12.26 nFilterCalls=22088, avgTableProportion=0.32854943860919955, avgTableSize=0.6570988772183991
16.58/12.26
16.78/12.41 num=39, depth=11..18, filters=29801, revisions=(34495,useless=18890), ccks=98046735, wck=9.91, mem=87M369
16.78/12.41 decisions=1890, wrong=566, backtracks=152, failedAssignments=429, nogoods=233, foundSolutions=12, bestBound=322
16.78/12.41 nFilterCalls=22743, avgTableProportion=0.3272435474651541, avgTableSize=0.6544870949303082
16.78/12.41
16.99/12.67 num=40, depth=10..13, filters=30716, revisions=(35562,useless=19448), ccks=100711231, wck=10.17, mem=90M11
16.99/12.67 decisions=1943, wrong=586, backtracks=159, failedAssignments=442, nogoods=237, foundSolutions=12, bestBound=322
16.99/12.67 nFilterCalls=23261, avgTableProportion=0.32853273719960446, avgTableSize=0.6570654743992089
16.99/12.67
17.40/13.06 num=41, depth=13..17, filters=31673, revisions=(36686,useless=20008), ccks=104695359, wck=10.555, mem=90M11
17.40/13.06 decisions=2002, wrong=609, backtracks=168, failedAssignments=456, nogoods=240, foundSolutions=12, bestBound=322
17.40/13.06 nFilterCalls=23784, avgTableProportion=0.3287924655230407, avgTableSize=0.6575849310460814
17.40/13.06
17.83/13.47 num=42, depth=13..19, filters=32722, revisions=(37896,useless=20602), ccks=108976583, wck=10.97, mem=92M654
17.83/13.47 decisions=2070, wrong=636, backtracks=182, failedAssignments=472, nogoods=243, foundSolutions=12, bestBound=322
17.83/13.47 nFilterCalls=24496, avgTableProportion=0.3294415414761594, avgTableSize=0.6588830829523188
17.83/13.47
18.03/13.63 num=43, depth=5..16, filters=33612, revisions=(38800,useless=21106), ccks=110574496, wck=11.128, mem=92M654
18.03/13.63 decisions=2120, wrong=654, backtracks=184, failedAssignments=489, nogoods=255, foundSolutions=12, bestBound=322
18.03/13.63 nFilterCalls=25422, avgTableProportion=0.3272952560774133, avgTableSize=0.6545905121548266
18.03/13.63
18.33/13.91 num=44, depth=11..22, filters=34821, revisions=(40371,useless=21974), ccks=113410463, wck=11.406, mem=95M296
18.33/13.91 decisions=2198, wrong=684, backtracks=196, failedAssignments=508, nogoods=261, foundSolutions=12, bestBound=322
18.33/13.91 nFilterCalls=26031, avgTableProportion=0.3277054281433675, avgTableSize=0.655410856286735
18.33/13.91
18.44/14.08 o 315
18.44/14.08 num=45, depth=10..104, filters=35667, revisions=(41192,useless=22402), ccks=115152632, wck=11.578, mem=95M296
18.44/14.08 decisions=2241, wrong=691, backtracks=199, failedAssignments=513, nogoods=264, foundSolutions=13, bestBound=315
18.44/14.08 nFilterCalls=26869, avgTableProportion=0.3259332316051956, avgTableSize=0.6518664632103912
18.44/14.08
18.84/14.48 o 314
18.84/14.48 num=46, depth=10..104, filters=37255, revisions=(43046,useless=23434), ccks=119200089, wck=11.974, mem=97M939
18.84/14.48 decisions=2338, wrong=727, backtracks=213, failedAssignments=535, nogoods=270, foundSolutions=14, bestBound=314
18.84/14.48 nFilterCalls=28003, avgTableProportion=0.3259293647109238, avgTableSize=0.6518587294218476
18.84/14.48
19.04/14.66 num=47, depth=6..17, filters=38023, revisions=(43993,useless=23964), ccks=121026508, wck=12.154, mem=97M939
19.04/14.66 decisions=2377, wrong=739, backtracks=214, failedAssignments=546, nogoods=280, foundSolutions=14, bestBound=314
19.04/14.66 nFilterCalls=28617, avgTableProportion=0.3256980116713841, avgTableSize=0.6513960233427682
19.04/14.66
19.24/14.82 num=48, depth=6..20, filters=38700, revisions=(44744,useless=24358), ccks=122686661, wck=12.318, mem=100M581
19.24/14.82 decisions=2419, wrong=752, backtracks=216, failedAssignments=557, nogoods=289, foundSolutions=14, bestBound=314
19.24/14.82 nFilterCalls=29111, avgTableProportion=0.3265947579952595, avgTableSize=0.653189515990519
19.24/14.82
19.46/15.06 num=49, depth=11..17, filters=39735, revisions=(45922,useless=24949), ccks=125154209, wck=12.56, mem=100M581
19.46/15.06 decisions=2467, wrong=770, backtracks=224, failedAssignments=569, nogoods=292, foundSolutions=14, bestBound=314
19.46/15.06 nFilterCalls=29697, avgTableProportion=0.3276425228137522, avgTableSize=0.6552850456275044
19.46/15.06
19.65/15.28 num=50, depth=8..19, filters=40650, revisions=(46907,useless=25489), ccks=127314504, wck=12.774, mem=103M223
19.65/15.28 decisions=2518, wrong=788, backtracks=229, failedAssignments=582, nogoods=303, foundSolutions=14, bestBound=314
19.65/15.28 nFilterCalls=30307, avgTableProportion=0.32914838156201537, avgTableSize=0.6582967631240307
19.65/15.28
19.84/15.48 num=51, depth=12..18, filters=41926, revisions=(48101,useless=26142), ccks=129336068, wck=12.976, mem=103M223
19.84/15.48 decisions=2578, wrong=812, backtracks=242, failedAssignments=596, nogoods=305, foundSolutions=14, bestBound=314
19.84/15.48 nFilterCalls=31432, avgTableProportion=0.3282800967167218, avgTableSize=0.6565601934334436
19.84/15.48
20.15/15.71 num=52, depth=8..19, filters=43002, revisions=(49239,useless=26719), ccks=131695703, wck=13.208, mem=105M866
20.15/15.71 decisions=2634, wrong=833, backtracks=247, failedAssignments=612, nogoods=310, foundSolutions=14, bestBound=314
20.15/15.71 nFilterCalls=32179, avgTableProportion=0.3290655396376519, avgTableSize=0.6581310792753038
20.15/15.71
20.35/15.95 o 304
20.35/15.95 num=53, depth=10..104, filters=44740, revisions=(50794,useless=27527), ccks=134097665, wck=13.448, mem=105M866
20.35/15.95 decisions=2704, wrong=853, backtracks=257, failedAssignments=624, nogoods=317, foundSolutions=15, bestBound=304
20.35/15.95 nFilterCalls=33653, avgTableProportion=0.328841410869759, avgTableSize=0.657682821739518
20.35/15.95
20.56/16.20 num=54, depth=10..16, filters=46626, revisions=(52660,useless=28497), ccks=136554768, wck=13.694, mem=108M508
20.56/16.20 decisions=2776, wrong=884, backtracks=272, failedAssignments=643, nogoods=324, foundSolutions=15, bestBound=304
20.56/16.20 nFilterCalls=35171, avgTableProportion=0.3287367433396833, avgTableSize=0.6574734866793666
20.56/16.20
20.75/16.36 num=55, depth=9..16, filters=47811, revisions=(53877,useless=29166), ccks=138214014, wck=13.86, mem=108M508
20.75/16.36 decisions=2826, wrong=902, backtracks=279, failedAssignments=654, nogoods=331, foundSolutions=15, bestBound=304
20.75/16.36 nFilterCalls=36024, avgTableProportion=0.32804519209415944, avgTableSize=0.6560903841883189
20.75/16.36
21.05/16.69 num=56, depth=10..16, filters=48836, revisions=(54924,useless=29698), ccks=141575518, wck=14.186, mem=111M151
21.05/16.69 decisions=2872, wrong=919, backtracks=287, failedAssignments=666, nogoods=335, foundSolutions=15, bestBound=304
21.05/16.69 nFilterCalls=36698, avgTableProportion=0.3286691372826857, avgTableSize=0.6573382745653714
21.05/16.69
21.35/16.98 num=57, depth=10..18, filters=50137, revisions=(56277,useless=30409), ccks=144597011, wck=14.481, mem=111M151
21.35/16.98 decisions=2935, wrong=944, backtracks=301, failedAssignments=679, nogoods=339, foundSolutions=15, bestBound=304
21.35/16.98 nFilterCalls=37566, avgTableProportion=0.328728105201512, avgTableSize=0.657456210403024
21.35/16.98
21.75/17.35 num=58, depth=9..16, filters=51735, revisions=(57913,useless=31242), ccks=148321940, wck=14.845, mem=113M793
21.75/17.35 decisions=2994, wrong=969, backtracks=314, failedAssignments=693, nogoods=340, foundSolutions=15, bestBound=304
21.75/17.35 nFilterCalls=38634, avgTableProportion=0.32844126934824247, avgTableSize=0.6568825386964849
21.75/17.35
21.95/17.55 num=59, depth=9..21, filters=52676, revisions=(58987,useless=31805), ccks=150394000, wck=15.049, mem=113M793
21.95/17.55 decisions=3056, wrong=993, backtracks=325, failedAssignments=709, nogoods=347, foundSolutions=15, bestBound=304
21.95/17.55 nFilterCalls=39229, avgTableProportion=0.32913150985240514, avgTableSize=0.6582630197048103
21.95/17.55
22.25/17.84 num=60, depth=10..17, filters=53756, revisions=(60179,useless=32464), ccks=153392265, wck=15.342, mem=116M436
22.25/17.84 decisions=3120, wrong=1020, backtracks=339, failedAssignments=726, nogoods=350, foundSolutions=15, bestBound=304
22.25/17.84 nFilterCalls=40073, avgTableProportion=0.3286377361315599, avgTableSize=0.6572754722631198
22.25/17.84
22.48/18.05 num=61, depth=8..16, filters=55439, revisions=(61902,useless=33322), ccks=155435675, wck=15.547, mem=116M436
22.48/18.05 decisions=3194, wrong=1053, backtracks=360, failedAssignments=745, nogoods=351, foundSolutions=15, bestBound=304
22.48/18.05 nFilterCalls=41094, avgTableProportion=0.3297683360101231, avgTableSize=0.6595366720202462
22.48/18.05
22.69/18.25 num=62, depth=8..14, filters=56737, revisions=(63375,useless=34042), ccks=157484042, wck=15.751, mem=119M78
22.69/18.25 decisions=3270, wrong=1086, backtracks=375, failedAssignments=766, nogoods=356, foundSolutions=15, bestBound=304
22.69/18.25 nFilterCalls=41857, avgTableProportion=0.3297178488663784, avgTableSize=0.6594356977327568
22.69/18.25
23.00/18.58 num=63, depth=9..18, filters=58125, revisions=(64897,useless=34784), ccks=160834600, wck=16.079, mem=119M78
23.00/18.58 decisions=3345, wrong=1117, backtracks=384, failedAssignments=789, nogoods=362, foundSolutions=15, bestBound=304
23.00/18.58 nFilterCalls=42668, avgTableProportion=0.3289701884316115, avgTableSize=0.657940376863223
23.00/18.58
23.40/19.00 num=64, depth=8..16, filters=60682, revisions=(67408,useless=36046), ccks=165046111, wck=16.494, mem=121M720
23.40/19.00 decisions=3449, wrong=1162, backtracks=408, failedAssignments=814, nogoods=365, foundSolutions=15, bestBound=304
23.40/19.00 nFilterCalls=44587, avgTableProportion=0.32918787987529996, avgTableSize=0.6583757597505999
23.40/19.00
23.80/19.37 num=65, depth=9..19, filters=62648, revisions=(69780,useless=37339), ccks=168846951, wck=16.868, mem=124M363
23.80/19.37 decisions=3557, wrong=1210, backtracks=433, failedAssignments=842, nogoods=368, foundSolutions=15, bestBound=304
23.80/19.37 nFilterCalls=45689, avgTableProportion=0.3298824662391385, avgTableSize=0.659764932478277
23.80/19.37
24.20/19.71 num=66, depth=7..12, filters=65206, revisions=(72066,useless=38422), ccks=172241365, wck=17.209, mem=127M5
24.20/19.71 decisions=3670, wrong=1263, backtracks=465, failedAssignments=873, nogoods=375, foundSolutions=15, bestBound=304
24.20/19.71 nFilterCalls=47381, avgTableProportion=0.33163082248158543, avgTableSize=0.6632616449631709
24.20/19.71
24.50/20.04 num=67, depth=8..16, filters=67042, revisions=(74153,useless=39497), ccks=175554409, wck=17.538, mem=129M648
24.50/20.04 decisions=3783, wrong=1315, backtracks=490, failedAssignments=907, nogoods=382, foundSolutions=15, bestBound=304
24.50/20.04 nFilterCalls=48548, avgTableProportion=0.33196012194117164, avgTableSize=0.6639202438823433
24.50/20.04
24.90/20.47 num=68, depth=8..14, filters=70446, revisions=(77454,useless=41139), ccks=179837403, wck=17.967, mem=132M290
24.90/20.47 decisions=3939, wrong=1389, backtracks=532, failedAssignments=944, nogoods=388, foundSolutions=15, bestBound=304
24.90/20.47 nFilterCalls=50774, avgTableProportion=0.33113404498365306, avgTableSize=0.6622680899673061
24.90/20.47
25.71/21.20 num=69, depth=6..16, filters=72973, revisions=(80069,useless=42433), ccks=187360337, wck=18.7, mem=134M933
25.71/21.20 decisions=4077, wrong=1452, backtracks=560, failedAssignments=985, nogoods=392, foundSolutions=15, bestBound=304
25.71/21.20 nFilterCalls=52284, avgTableProportion=0.3320136179328284, avgTableSize=0.6640272358656568
25.71/21.20
26.01/21.53 num=70, depth=10..13, filters=74338, revisions=(81622,useless=43261), ccks=190745648, wck=19.031, mem=137M575
26.01/21.53 decisions=4193, wrong=1505, backtracks=569, failedAssignments=1030, nogoods=429, foundSolutions=15, bestBound=304
26.01/21.53 nFilterCalls=52912, avgTableProportion=0.3327317054732386, avgTableSize=0.6654634109464772
26.01/21.53
26.71/22.22 num=71, depth=0..0, filters=74873, revisions=(82550,useless=43657), ccks=197947429, wck=19.72, mem=137M575
26.71/22.22 decisions=4293, wrong=1555, backtracks=569, failedAssignments=1080, nogoods=429, foundSolutions=15, bestBound=304
26.71/22.22 nFilterCalls=52916, avgTableProportion=0.3327443495351122, avgTableSize=0.6654886990702245
26.71/22.22
27.41/22.91 num=72, depth=0..14, filters=77286, revisions=(85264,useless=45027), ccks=204991739, wck=20.407, mem=140M217
27.41/22.91 decisions=4455, wrong=1631, backtracks=601, failedAssignments=1135, nogoods=446, foundSolutions=15, bestBound=304
27.41/22.91 nFilterCalls=54268, avgTableProportion=0.3336773052259158, avgTableSize=0.6673546104518316
27.41/22.91
28.25/23.74 num=73, depth=7..13, filters=80252, revisions=(88865,useless=46864), ccks=213294835, wck=21.233, mem=24M705
28.25/23.74 decisions=4659, wrong=1728, backtracks=645, failedAssignments=1196, nogoods=452, foundSolutions=15, bestBound=304
28.25/23.74 nFilterCalls=55656, avgTableProportion=0.3354355325571367, avgTableSize=0.6708710651142734
28.25/23.74
28.86/24.30 num=74, depth=5..15, filters=84424, revisions=(92988,useless=49067), ccks=218975977, wck=21.801, mem=29M937
28.86/24.30 decisions=4883, wrong=1836, backtracks=693, failedAssignments=1263, nogoods=462, foundSolutions=15, bestBound=304
28.86/24.30 nFilterCalls=58375, avgTableProportion=0.336762312633833, avgTableSize=0.673524625267666
28.86/24.30
29.76/25.30 num=75, depth=8..18, filters=89512, revisions=(99056,useless=52290), ccks=229050857, wck=22.793, mem=35M168
29.76/25.30 decisions=5171, wrong=1976, backtracks=769, failedAssignments=1337, nogoods=471, foundSolutions=15, bestBound=304
29.76/25.30 nFilterCalls=61038, avgTableProportion=0.3372735017530063, avgTableSize=0.6745470035060126
29.76/25.30
30.46/25.98 num=76, depth=5..13, filters=94880, revisions=(104268,useless=54933), ccks=235900030, wck=23.48, mem=43M16
30.46/25.98 decisions=5454, wrong=2113, backtracks=837, failedAssignments=1418, nogoods=475, foundSolutions=15, bestBound=304
30.46/25.98 nFilterCalls=64489, avgTableProportion=0.3375536913272031, avgTableSize=0.6751073826544062
30.46/25.98
31.26/26.70 num=77, depth=10..20, filters=98410, revisions=(108907,useless=57546), ccks=243161387, wck=24.195, mem=45M632
31.26/26.70 decisions=5757, wrong=2258, backtracks=895, failedAssignments=1507, nogoods=480, foundSolutions=15, bestBound=304
31.26/26.70 nFilterCalls=65991, avgTableProportion=0.33487899865133125, avgTableSize=0.6697579973026625
31.26/26.70
31.67/27.18 o 303
31.67/27.18 num=78, depth=6..104, filters=102944, revisions=(112961,useless=59693), ccks=247952630, wck=24.678, mem=50M864
31.67/27.18 decisions=5962, wrong=2348, backtracks=940, failedAssignments=1565, nogoods=488, foundSolutions=16, bestBound=303
31.67/27.18 nFilterCalls=69369, avgTableProportion=0.33561821562945987, avgTableSize=0.6712364312589197
31.67/27.18
32.57/28.02 num=79, depth=5..15, filters=112456, revisions=(121707,useless=64196), ccks=256177270, wck=25.518, mem=58M712
32.57/28.02 decisions=6362, wrong=2545, backtracks=1046, failedAssignments=1673, nogoods=495, foundSolutions=16, bestBound=303
32.57/28.02 nFilterCalls=76264, avgTableProportion=0.3370332004615546, avgTableSize=0.6740664009231092
32.57/28.02
32.68/28.18 num=80, depth=4..11, filters=112979, revisions=(122265,useless=64457), ccks=257770228, wck=25.673, mem=58M712
32.68/28.18 decisions=6395, wrong=2558, backtracks=1051, failedAssignments=1684, nogoods=497, foundSolutions=16, bestBound=303
32.68/28.18 nFilterCalls=76584, avgTableProportion=0.3373224172150841, avgTableSize=0.6746448344301682
32.68/28.18
32.97/28.41 num=81, depth=7..23, filters=113831, revisions=(123288,useless=64980), ccks=260169389, wck=25.908, mem=61M328
32.97/28.41 decisions=6451, wrong=2577, backtracks=1058, failedAssignments=1696, nogoods=503, foundSolutions=16, bestBound=303
32.97/28.41 nFilterCalls=77091, avgTableProportion=0.3377437054909133, avgTableSize=0.6754874109818266
32.97/28.41
33.17/28.60 num=82, depth=7..13, filters=115433, revisions=(124770,useless=65716), ccks=262090370, wck=26.1, mem=61M328
33.17/28.60 decisions=6500, wrong=2598, backtracks=1067, failedAssignments=1709, nogoods=509, foundSolutions=16, bestBound=303
33.17/28.60 nFilterCalls=78152, avgTableProportion=0.3384494318763435, avgTableSize=0.676898863752687
33.17/28.60
33.27/28.79 num=83, depth=6..13, filters=116098, revisions=(125501,useless=66061), ccks=263981778, wck=26.286, mem=63M944
33.27/28.79 decisions=6548, wrong=2618, backtracks=1079, failedAssignments=1723, nogoods=513, foundSolutions=16, bestBound=303
33.27/28.79 nFilterCalls=78567, avgTableProportion=0.33889546501711915, avgTableSize=0.6777909300342383
33.27/28.79
33.50/28.93 num=84, depth=8..13, filters=116977, revisions=(126456,useless=66558), ccks=265380955, wck=26.426, mem=63M944
33.50/28.93 decisions=6599, wrong=2638, backtracks=1084, failedAssignments=1739, nogoods=518, foundSolutions=16, bestBound=303
33.50/28.93 nFilterCalls=79119, avgTableProportion=0.3393432677359421, avgTableSize=0.6786865354718842
33.50/28.93
33.71/29.14 num=85, depth=9..18, filters=118128, revisions=(127725,useless=67259), ccks=267471688, wck=26.633, mem=66M559
33.71/29.14 decisions=6666, wrong=2667, backtracks=1096, failedAssignments=1756, nogoods=521, foundSolutions=16, bestBound=303
33.71/29.14 nFilterCalls=79809, avgTableProportion=0.33976744477439885, avgTableSize=0.6795348895487977
33.71/29.14
34.00/29.49 num=86, depth=6..12, filters=119472, revisions=(129324,useless=68116), ccks=271106019, wck=26.987, mem=66M559
34.00/29.49 decisions=6737, wrong=2699, backtracks=1112, failedAssignments=1775, nogoods=524, foundSolutions=16, bestBound=303
34.00/29.49 nFilterCalls=80476, avgTableProportion=0.34015110094935136, avgTableSize=0.6803022018987027
34.00/29.49
34.42/29.80 num=87, depth=5..12, filters=120565, revisions=(130562,useless=68684), ccks=274257329, wck=27.297, mem=69M175
34.42/29.80 decisions=6818, wrong=2736, backtracks=1134, failedAssignments=1796, nogoods=527, foundSolutions=16, bestBound=303
34.42/29.80 nFilterCalls=81030, avgTableProportion=0.3407194866098976, avgTableSize=0.6814389732197952
34.42/29.80
34.73/30.14 num=88, depth=5..20, filters=121939, revisions=(132202,useless=69562), ccks=277637053, wck=27.636, mem=71M791
34.73/30.14 decisions=6909, wrong=2777, backtracks=1153, failedAssignments=1819, nogoods=531, foundSolutions=16, bestBound=303
34.73/30.14 nFilterCalls=81769, avgTableProportion=0.340728148809451, avgTableSize=0.681456297618902
34.73/30.14
34.92/30.35 num=89, depth=7..12, filters=124381, revisions=(134448,useless=70737), ccks=279715032, wck=27.851, mem=71M791
34.92/30.35 decisions=6986, wrong=2812, backtracks=1167, failedAssignments=1844, nogoods=535, foundSolutions=16, bestBound=303
34.92/30.35 nFilterCalls=83552, avgTableProportion=0.34129045384909995, avgTableSize=0.6825809076981999
34.92/30.35
35.23/30.62 num=90, depth=7..15, filters=126184, revisions=(136480,useless=71796), ccks=282337748, wck=28.116, mem=74M408
35.23/30.62 decisions=7084, wrong=2856, backtracks=1186, failedAssignments=1872, nogoods=542, foundSolutions=16, bestBound=303
35.23/30.62 nFilterCalls=84599, avgTableProportion=0.341327911677443, avgTableSize=0.682655823354886
35.23/30.62
35.53/30.94 num=91, depth=6..17, filters=128519, revisions=(138956,useless=73113), ccks=285567619, wck=28.442, mem=77M24
35.53/30.94 decisions=7192, wrong=2904, backtracks=1209, failedAssignments=1903, nogoods=553, foundSolutions=16, bestBound=303
35.53/30.94 nFilterCalls=86247, avgTableProportion=0.3403654619870836, avgTableSize=0.6807309239741672
35.53/30.94
35.93/31.31 num=92, depth=7..16, filters=130647, revisions=(141401,useless=74367), ccks=289187642, wck=28.807, mem=79M640
35.93/31.31 decisions=7311, wrong=2957, backtracks=1236, failedAssignments=1937, nogoods=557, foundSolutions=16, bestBound=303
35.93/31.31 nFilterCalls=87375, avgTableProportion=0.34065236051502146, avgTableSize=0.6813047210300429
35.93/31.31
36.33/31.73 num=93, depth=6..14, filters=133839, revisions=(144511,useless=75993), ccks=293326916, wck=29.227, mem=82M256
36.33/31.73 decisions=7439, wrong=3015, backtracks=1259, failedAssignments=1974, nogoods=568, foundSolutions=16, bestBound=303
36.33/31.73 nFilterCalls=89672, avgTableProportion=0.3414164956731198, avgTableSize=0.6828329913462396
36.33/31.73
37.03/32.40 num=94, depth=5..12, filters=137233, revisions=(147929,useless=77762), ccks=300060752, wck=29.896, mem=87M488
37.03/32.40 decisions=7600, wrong=3092, backtracks=1301, failedAssignments=2015, nogoods=571, foundSolutions=16, bestBound=303
37.03/32.40 nFilterCalls=91792, avgTableProportion=0.3418326215792226, avgTableSize=0.6836652431584452
37.03/32.40
37.33/32.70 num=95, depth=6..14, filters=141057, revisions=(151623,useless=79660), ccks=302917103, wck=30.196, mem=90M104
37.33/32.70 decisions=7761, wrong=3168, backtracks=1334, failedAssignments=2060, nogoods=578, foundSolutions=16, bestBound=303
37.33/32.70 nFilterCalls=94254, avgTableProportion=0.34344431005580667, avgTableSize=0.6868886201116133
37.33/32.70
37.93/33.39 num=96, depth=7..15, filters=143569, revisions=(154597,useless=81160), ccks=309958736, wck=30.887, mem=95M335
37.93/33.39 decisions=7929, wrong=3247, backtracks=1369, failedAssignments=2110, nogoods=586, foundSolutions=16, bestBound=303
37.93/33.39 nFilterCalls=95463, avgTableProportion=0.3439604873092193, avgTableSize=0.6879209746184386
37.93/33.39
38.93/34.34 num=97, depth=6..13, filters=148272, revisions=(159091,useless=83403), ccks=319528836, wck=31.835, mem=100M567
38.93/34.34 decisions=8124, wrong=3341, backtracks=1414, failedAssignments=2165, nogoods=590, foundSolutions=16, bestBound=303
38.93/34.34 nFilterCalls=98441, avgTableProportion=0.344119828120397, avgTableSize=0.688239656240794
38.93/34.34
39.33/34.73 num=98, depth=6..15, filters=151935, revisions=(163215,useless=85573), ccks=323328334, wck=32.226, mem=103M183
39.33/34.73 decisions=8336, wrong=3443, backtracks=1467, failedAssignments=2226, nogoods=598, foundSolutions=16, bestBound=303
39.33/34.73 nFilterCalls=100503, avgTableProportion=0.3448752773549048, avgTableSize=0.6897505547098096
39.33/34.73
40.24/35.65 num=99, depth=7..16, filters=154962, revisions=(166844,useless=87445), ccks=332745128, wck=33.146, mem=109M737
40.24/35.65 decisions=8542, wrong=3541, backtracks=1502, failedAssignments=2293, nogoods=604, foundSolutions=16, bestBound=303
40.24/35.65 nFilterCalls=101768, avgTableProportion=0.3454278358619605, avgTableSize=0.690855671723921
40.24/35.65
40.94/36.36 num=100, depth=5..15, filters=161080, revisions=(173104,useless=90642), ccks=339729985, wck=33.858, mem=114M969
40.94/36.36 decisions=8811, wrong=3672, backtracks=1570, failedAssignments=2367, nogoods=611, foundSolutions=16, bestBound=303
40.94/36.36 nFilterCalls=105258, avgTableProportion=0.34689049763438407, avgTableSize=0.6937809952687681
40.94/36.36
42.34/37.77 num=101, depth=5..16, filters=166446, revisions=(178357,useless=93386), ccks=354105666, wck=35.27, mem=122M816
42.34/37.77 decisions=9067, wrong=3796, backtracks=1630, failedAssignments=2448, nogoods=615, foundSolutions=16, bestBound=303
42.34/37.77 nFilterCalls=108790, avgTableProportion=0.3471274933357845, avgTableSize=0.694254986671569
42.34/37.77
43.54/38.93 num=102, depth=4..19, filters=171667, revisions=(183537,useless=95977), ccks=365855097, wck=36.432, mem=128M48
43.54/38.93 decisions=9356, wrong=3934, backtracks=1686, failedAssignments=2537, nogoods=623, foundSolutions=16, bestBound=303
43.54/38.93 nFilterCalls=112206, avgTableProportion=0.3462381690818673, avgTableSize=0.6924763381637346
43.54/38.93
44.75/40.13 num=103, depth=6..16, filters=177564, revisions=(190009,useless=99784), ccks=377951764, wck=37.626, mem=133M280
44.75/40.13 decisions=9673, wrong=4087, backtracks=1749, failedAssignments=2635, nogoods=633, foundSolutions=16, bestBound=303
44.75/40.13 nFilterCalls=116185, avgTableProportion=0.3456900632611783, avgTableSize=0.6913801265223566
44.75/40.13
45.57/40.94 num=104, depth=5..18, filters=181983, revisions=(194488,useless=102121), ccks=386202936, wck=38.438, mem=138M512
45.57/40.94 decisions=10006, wrong=4248, backtracks=1813, failedAssignments=2743, nogoods=648, foundSolutions=16, bestBound=303
45.57/40.94 nFilterCalls=119037, avgTableProportion=0.34448532809126575, avgTableSize=0.6889706561825315
45.57/40.94
46.38/41.74 num=105, depth=0..23, filters=187886, revisions=(201092,useless=105755), ccks=394256121, wck=39.242, mem=146M360
46.38/41.74 decisions=10371, wrong=4426, backtracks=1889, failedAssignments=2862, nogoods=665, foundSolutions=16, bestBound=303
46.38/41.74 nFilterCalls=122421, avgTableProportion=0.3444425384533699, avgTableSize=0.6888850769067398
46.38/41.74
46.79/42.18 num=106, depth=7..11, filters=192626, revisions=(205675,useless=108324), ccks=398429200, wck=39.673, mem=151M592
46.79/42.18 decisions=10673, wrong=4573, backtracks=1911, failedAssignments=2993, nogoods=722, foundSolutions=16, bestBound=303
46.79/42.18 nFilterCalls=126635, avgTableProportion=0.3431278872349666, avgTableSize=0.6862557744699332
46.79/42.18
47.91/43.21 num=107, depth=5..21, filters=199080, revisions=(213298,useless=112576), ccks=408674314, wck=40.708, mem=27M329
47.91/43.21 decisions=11120, wrong=4789, backtracks=2003, failedAssignments=3137, nogoods=732, foundSolutions=16, bestBound=303
47.91/43.21 nFilterCalls=130067, avgTableProportion=0.3432384847809206, avgTableSize=0.6864769695618412
47.91/43.21
49.10/44.38 num=108, depth=5..16, filters=212054, revisions=(226287,useless=119588), ccks=420216806, wck=41.882, mem=37M793
49.10/44.38 decisions=11670, wrong=5060, backtracks=2152, failedAssignments=3295, nogoods=736, foundSolutions=16, bestBound=303
49.10/44.38 nFilterCalls=138470, avgTableProportion=0.34369538528201055, avgTableSize=0.6873907705640211
49.10/44.38
50.50/45.77 num=109, depth=5..19, filters=222637, revisions=(237933,useless=125852), ccks=434040114, wck=43.268, mem=48M256
50.50/45.77 decisions=12240, wrong=5341, backtracks=2291, failedAssignments=3469, nogoods=746, foundSolutions=16, bestBound=303
50.50/45.77 nFilterCalls=144458, avgTableProportion=0.3445499730025336, avgTableSize=0.6890999460050672
50.50/45.77
51.30/46.52 o 301
51.30/46.52 num=110, depth=6..104, filters=229502, revisions=(244832,useless=129615), ccks=441511147, wck=44.018, mem=56M104
51.30/46.52 decisions=12539, wrong=5478, backtracks=2358, failedAssignments=3557, nogoods=768, foundSolutions=17, bestBound=301
51.30/46.52 nFilterCalls=149034, avgTableProportion=0.3436028020451709, avgTableSize=0.6872056040903418
51.30/46.52
53.01/48.27 num=111, depth=5..17, filters=245259, revisions=(261468,useless=138183), ccks=458920670, wck=45.764, mem=69M184
53.01/48.27 decisions=13251, wrong=5831, backtracks=2530, failedAssignments=3768, nogoods=773, foundSolutions=17, bestBound=301
53.01/48.27 nFilterCalls=158038, avgTableProportion=0.3447082347283565, avgTableSize=0.689416469456713
53.01/48.27
53.11/48.39 num=112, depth=7..12, filters=246059, revisions=(262309,useless=138621), ccks=460187523, wck=45.891, mem=69M184
53.11/48.39 decisions=13294, wrong=5849, backtracks=2539, failedAssignments=3779, nogoods=774, foundSolutions=17, bestBound=301
53.11/48.39 nFilterCalls=158573, avgTableProportion=0.3449609958820228, avgTableSize=0.6899219917640456
53.11/48.39
53.41/48.65 num=113, depth=8..14, filters=247261, revisions=(263486,useless=139176), ccks=462842649, wck=46.152, mem=71M800
53.41/48.65 decisions=13350, wrong=5872, backtracks=2553, failedAssignments=3791, nogoods=778, foundSolutions=17, bestBound=301
53.41/48.65 nFilterCalls=159268, avgTableProportion=0.34515094055303014, avgTableSize=0.6903018811060603
53.41/48.65
53.61/48.84 num=114, depth=10..19, filters=248095, revisions=(264544,useless=139769), ccks=464746927, wck=46.339, mem=71M800
53.61/48.84 decisions=13404, wrong=5894, backtracks=2563, failedAssignments=3804, nogoods=779, foundSolutions=17, bestBound=301
53.61/48.84 nFilterCalls=159689, avgTableProportion=0.34525859639674616, avgTableSize=0.6905171927934923
53.61/48.84
53.82/49.08 num=115, depth=8..13, filters=249726, revisions=(266024,useless=140488), ccks=467156109, wck=46.579, mem=74M416
53.82/49.08 decisions=13464, wrong=5920, backtracks=2577, failedAssignments=3818, nogoods=786, foundSolutions=17, bestBound=301
53.82/49.08 nFilterCalls=160915, avgTableProportion=0.345694932107013, avgTableSize=0.691389864214026
53.82/49.08
54.01/49.28 num=116, depth=5..14, filters=251144, revisions=(267480,useless=141220), ccks=469109116, wck=46.775, mem=77M32
54.01/49.28 decisions=13523, wrong=5943, backtracks=2588, failedAssignments=3834, nogoods=789, foundSolutions=17, bestBound=301
54.01/49.28 nFilterCalls=161738, avgTableProportion=0.34601948830825163, avgTableSize=0.6920389766165033
54.01/49.28
54.31/49.55 num=117, depth=6..11, filters=252499, revisions=(268705,useless=141779), ccks=471871370, wck=47.046, mem=77M32
54.31/49.55 decisions=13585, wrong=5970, backtracks=2600, failedAssignments=3851, nogoods=793, foundSolutions=17, bestBound=301
54.31/49.55 nFilterCalls=162585, avgTableProportion=0.34638496786296397, avgTableSize=0.6927699357259279
54.31/49.55
54.61/49.80 num=118, depth=7..17, filters=253840, revisions=(270154,useless=142568), ccks=474454657, wck=47.302, mem=79M648
54.61/49.80 decisions=13660, wrong=6004, backtracks=2617, failedAssignments=3870, nogoods=794, foundSolutions=17, bestBound=301
54.61/49.80 nFilterCalls=163467, avgTableProportion=0.3463940734215469, avgTableSize=0.6927881468430938
54.61/49.80
54.82/50.09 num=119, depth=7..14, filters=256281, revisions=(272525,useless=143723), ccks=477311880, wck=47.588, mem=82M264
54.82/50.09 decisions=13743, wrong=6041, backtracks=2638, failedAssignments=3891, nogoods=797, foundSolutions=17, bestBound=301
54.82/50.09 nFilterCalls=165047, avgTableProportion=0.34672547819711963, avgTableSize=0.6934509563942393
54.82/50.09
55.12/50.33 num=120, depth=7..14, filters=258229, revisions=(274438,useless=144660), ccks=479651248, wck=47.825, mem=84M880
55.12/50.33 decisions=13828, wrong=6079, backtracks=2658, failedAssignments=3914, nogoods=799, foundSolutions=17, bestBound=301
55.12/50.33 nFilterCalls=166320, avgTableProportion=0.34715608465608466, avgTableSize=0.6943121693121693
55.12/50.33
55.52/50.74 num=121, depth=8..13, filters=260343, revisions=(276592,useless=145685), ccks=483875091, wck=48.24, mem=87M495
55.52/50.74 decisions=13935, wrong=6128, backtracks=2686, failedAssignments=3939, nogoods=802, foundSolutions=17, bestBound=301
55.52/50.74 nFilterCalls=167483, avgTableProportion=0.3474203351981992, avgTableSize=0.6948406703963984
55.52/50.74
55.72/50.91 num=122, depth=8..13, filters=261798, revisions=(278097,useless=146591), ccks=485547286, wck=48.409, mem=87M495
55.72/50.91 decisions=14013, wrong=6163, backtracks=2696, failedAssignments=3967, nogoods=803, foundSolutions=17, bestBound=301
55.72/50.91 nFilterCalls=168593, avgTableProportion=0.3471763359095573, avgTableSize=0.6943526718191146
55.72/50.91
56.12/51.39 num=123, depth=5..14, filters=263921, revisions=(280250,useless=147728), ccks=490472811, wck=48.891, mem=90M111
56.12/51.39 decisions=14116, wrong=6212, backtracks=2721, failedAssignments=3998, nogoods=806, foundSolutions=17, bestBound=301
56.12/51.39 nFilterCalls=169862, avgTableProportion=0.3474055409685509, avgTableSize=0.6948110819371018
56.12/51.39
56.42/51.66 num=124, depth=6..18, filters=265949, revisions=(282315,useless=148853), ccks=493134432, wck=49.16, mem=95M343
56.42/51.66 decisions=14240, wrong=6268, backtracks=2747, failedAssignments=4032, nogoods=811, foundSolutions=17, bestBound=301
56.42/51.66 nFilterCalls=171313, avgTableProportion=0.34755972985120803, avgTableSize=0.6951194597024161
56.42/51.66
57.02/52.21 num=125, depth=5..14, filters=269493, revisions=(285841,useless=150635), ccks=498657170, wck=49.71, mem=97M959
57.02/52.21 decisions=14380, wrong=6335, backtracks=2785, failedAssignments=4069, nogoods=816, foundSolutions=17, bestBound=301
57.02/52.21 nFilterCalls=173309, avgTableProportion=0.3481931117252999, avgTableSize=0.6963862234505998
57.02/52.21
57.22/52.45 num=126, depth=5..18, filters=271423, revisions=(288020,useless=151860), ccks=500962016, wck=49.943, mem=100M575
57.22/52.45 decisions=14514, wrong=6398, backtracks=2812, failedAssignments=4110, nogoods=822, foundSolutions=17, bestBound=301
57.22/52.45 nFilterCalls=174550, avgTableProportion=0.3480607275852191, avgTableSize=0.6961214551704382
57.22/52.45
57.85/53.01 num=127, depth=7..13, filters=275696, revisions=(292157,useless=153919), ccks=506641537, wck=50.509, mem=103M191
57.85/53.01 decisions=14690, wrong=6482, backtracks=2860, failedAssignments=4155, nogoods=827, foundSolutions=17, bestBound=301
57.85/53.01 nFilterCalls=177245, avgTableProportion=0.3483116590030748, avgTableSize=0.6966233180061496
57.85/53.01
58.24/53.43 num=128, depth=8..16, filters=278359, revisions=(295179,useless=155583), ccks=510841980, wck=50.928, mem=108M423
58.24/53.43 decisions=14854, wrong=6559, backtracks=2892, failedAssignments=4205, nogoods=837, foundSolutions=17, bestBound=301
58.24/53.43 nFilterCalls=178746, avgTableProportion=0.3485504570731653, avgTableSize=0.6971009141463306
58.24/53.43
58.85/54.06 num=129, depth=5..14, filters=281863, revisions=(298906,useless=157509), ccks=517245833, wck=51.562, mem=111M39
58.85/54.06 decisions=15046, wrong=6649, backtracks=2933, failedAssignments=4260, nogoods=841, foundSolutions=17, bestBound=301
58.85/54.06 nFilterCalls=180811, avgTableProportion=0.34873984436787586, avgTableSize=0.6974796887357517
58.85/54.06
59.85/55.03 num=130, depth=5..14, filters=285379, revisions=(302773,useless=159457), ccks=527115695, wck=52.525, mem=116M271
59.85/55.03 decisions=15256, wrong=6750, backtracks=2978, failedAssignments=4321, nogoods=844, foundSolutions=17, bestBound=301
59.85/55.03 nFilterCalls=182535, avgTableProportion=0.3488728189114416, avgTableSize=0.6977456378228832
59.85/55.03
60.54/55.74 num=131, depth=6..12, filters=290241, revisions=(307912,useless=162022), ccks=534267005, wck=53.237, mem=121M503
60.54/55.74 decisions=15482, wrong=6860, backtracks=3028, failedAssignments=4388, nogoods=850, foundSolutions=17, bestBound=301
60.54/55.74 nFilterCalls=185065, avgTableProportion=0.34975008780698674, avgTableSize=0.6995001756139735
60.54/55.74
60.85/56.09 num=132, depth=9..14, filters=294238, revisions=(312401,useless=164367), ccks=537641628, wck=53.583, mem=126M734
60.85/56.09 decisions=15703, wrong=6966, backtracks=3062, failedAssignments=4462, nogoods=882, foundSolutions=17, bestBound=301
60.85/56.09 nFilterCalls=187010, avgTableProportion=0.3504919523020159, avgTableSize=0.7009839046040318
60.85/56.09
61.74/56.93 num=133, depth=5..14, filters=297443, revisions=(315859,useless=166064), ccks=546317835, wck=54.428, mem=129M350
61.74/56.93 decisions=15933, wrong=7078, backtracks=3099, failedAssignments=4543, nogoods=887, foundSolutions=17, bestBound=301
61.74/56.93 nFilterCalls=188770, avgTableProportion=0.3507813741590295, avgTableSize=0.701562748318059
61.74/56.93
62.44/57.67 num=134, depth=7..18, filters=302265, revisions=(321206,useless=168892), ccks=553733861, wck=55.165, mem=137M198
62.44/57.67 decisions=16202, wrong=7208, backtracks=3158, failedAssignments=4632, nogoods=890, foundSolutions=17, bestBound=301
62.44/57.67 nFilterCalls=191538, avgTableProportion=0.3510112875773998, avgTableSize=0.7020225751547996
62.44/57.67
63.54/58.78 num=135, depth=6..16, filters=308918, revisions=(328078,useless=172466), ccks=564980986, wck=56.277, mem=145M46
63.54/58.78 decisions=16553, wrong=7379, backtracks=3246, failedAssignments=4730, nogoods=899, foundSolutions=17, bestBound=301
63.54/58.78 nFilterCalls=195341, avgTableProportion=0.3515007090165403, avgTableSize=0.7030014180330806
63.54/58.78
64.64/59.87 num=136, depth=5..17, filters=318604, revisions=(337979,useless=177783), ccks=575833813, wck=57.37, mem=152M894
64.64/59.87 decisions=16947, wrong=7571, backtracks=3343, failedAssignments=4838, nogoods=905, foundSolutions=17, bestBound=301
64.64/59.87 nFilterCalls=200885, avgTableProportion=0.3524454289767778, avgTableSize=0.7048908579535555
64.64/59.87
65.77/60.95 num=137, depth=6..15, filters=324813, revisions=(344325,useless=181309), ccks=586606197, wck=58.451, mem=27M388
65.77/60.95 decisions=17311, wrong=7749, backtracks=3421, failedAssignments=4957, nogoods=910, foundSolutions=17, bestBound=301
65.77/60.95 nFilterCalls=205137, avgTableProportion=0.3524352018407211, avgTableSize=0.7048704036814422
65.77/60.95
67.88/63.11 num=138, depth=5..15, filters=333410, revisions=(352762,useless=185540), ccks=608459120, wck=60.603, mem=41M373
67.88/63.11 decisions=17759, wrong=7967, backtracks=3528, failedAssignments=5088, nogoods=916, foundSolutions=17, bestBound=301
67.88/63.11 nFilterCalls=210327, avgTableProportion=0.3533783109158596, avgTableSize=0.7067566218317192
67.88/63.11
69.39/64.51 num=139, depth=6..17, filters=346076, revisions=(365456,useless=192172), ccks=622441207, wck=62.011, mem=51M874
69.39/64.51 decisions=18256, wrong=8209, backtracks=3657, failedAssignments=5232, nogoods=934, foundSolutions=17, bestBound=301
69.39/64.51 nFilterCalls=218397, avgTableProportion=0.35274751942563315, avgTableSize=0.7054950388512663
69.39/64.51
71.09/66.29 num=140, depth=5..15, filters=355141, revisions=(374951,useless=197010), ccks=640392964, wck=63.79, mem=62M375
71.09/66.29 decisions=18773, wrong=8465, backtracks=3764, failedAssignments=5390, nogoods=940, foundSolutions=17, bestBound=301
71.09/66.29 nFilterCalls=223384, avgTableProportion=0.3530131970060524, avgTableSize=0.7060263940121048
71.09/66.29
72.79/67.99 num=141, depth=5..17, filters=365081, revisions=(385898,useless=202919), ccks=657551279, wck=65.487, mem=72M876
72.79/67.99 decisions=19358, wrong=8754, backtracks=3902, failedAssignments=5564, nogoods=947, foundSolutions=17, bestBound=301
72.79/67.99 nFilterCalls=229015, avgTableProportion=0.3531056917669148, avgTableSize=0.7062113835338296
72.79/67.99
74.29/69.42 num=142, depth=6..19, filters=377788, revisions=(398093,useless=209426), ccks=671705169, wck=66.922, mem=83M376
74.29/69.42 decisions=19949, wrong=9046, backtracks=4036, failedAssignments=5755, nogoods=956, foundSolutions=17, bestBound=301
74.29/69.42 nFilterCalls=237525, avgTableProportion=0.3516050942006105, avgTableSize=0.703210188401221
74.29/69.42
77.30/72.45 num=143, depth=7..16, filters=392208, revisions=(413679,useless=217807), ccks=702226193, wck=69.948, mem=101M753
77.30/72.45 decisions=20688, wrong=9411, backtracks=4233, failedAssignments=5966, nogoods=967, foundSolutions=17, bestBound=301
77.30/72.45 nFilterCalls=245984, avgTableProportion=0.3520777774164173, avgTableSize=0.7041555548328347
77.30/72.45
79.61/74.72 num=144, depth=5..20, filters=402723, revisions=(425094,useless=223739), ccks=725077265, wck=72.213, mem=114M879
79.61/74.72 decisions=21383, wrong=9751, backtracks=4358, failedAssignments=6198, nogoods=987, foundSolutions=17, bestBound=301
79.61/74.72 nFilterCalls=251487, avgTableProportion=0.35171201692334, avgTableSize=0.70342403384668
79.61/74.72
81.41/76.55 num=145, depth=6..17, filters=423820, revisions=(443265,useless=233027), ccks=742955666, wck=74.047, mem=130M630
81.41/76.55 decisions=22169, wrong=10140, backtracks=4525, failedAssignments=6453, nogoods=1020, foundSolutions=17, bestBound=301
81.41/76.55 nFilterCalls=266371, avgTableProportion=0.35229998761126397, avgTableSize=0.7045999752225279
81.41/76.55
83.41/78.53 num=146, depth=5..20, filters=443642, revisions=(463421,useless=244076), ccks=762454415, wck=76.03, mem=149M6
83.41/78.53 decisions=23163, wrong=10634, backtracks=4796, failedAssignments=6734, nogoods=1026, foundSolutions=17, bestBound=301
83.41/78.53 nFilterCalls=278975, avgTableProportion=0.3527430773366789, avgTableSize=0.7054861546733578
83.41/78.53
87.05/82.12 num=147, depth=4..18, filters=461727, revisions=(482568,useless=253821), ccks=798722749, wck=79.62, mem=40M231
87.05/82.12 decisions=24129, wrong=11112, backtracks=4996, failedAssignments=7043, nogoods=1038, foundSolutions=17, bestBound=301
87.05/82.12 nFilterCalls=288749, avgTableProportion=0.3524981904699237, avgTableSize=0.7049963809398474
87.05/82.12
89.95/85.10 num=148, depth=5..17, filters=487258, revisions=(508931,useless=267650), ccks=828475829, wck=82.602, mem=63M483
89.95/85.10 decisions=25258, wrong=11672, backtracks=5301, failedAssignments=7383, nogoods=1050, foundSolutions=17, bestBound=301
89.95/85.10 nFilterCalls=303783, avgTableProportion=0.35268596333567054, avgTableSize=0.7053719266713411
89.95/85.10
93.14/88.25 num=149, depth=5..18, filters=507521, revisions=(531076,useless=279376), ccks=860222266, wck=85.752, mem=84M151
93.14/88.25 decisions=26426, wrong=12250, backtracks=5558, failedAssignments=7757, nogoods=1109, foundSolutions=17, bestBound=301
93.14/88.25 nFilterCalls=314651, avgTableProportion=0.35374430718478567, avgTableSize=0.7074886143695713
93.14/88.25
95.84/90.91 num=150, depth=0..16, filters=528159, revisions=(552787,useless=290539), ccks=886666901, wck=88.408, mem=109M986
95.84/90.91 decisions=27643, wrong=12854, backtracks=5816, failedAssignments=8168, nogoods=1119, foundSolutions=17, bestBound=301
95.84/90.91 nFilterCalls=326163, avgTableProportion=0.35396872116089195, avgTableSize=0.7079374423217839
95.84/90.91
99.54/94.65 num=151, depth=6..17, filters=553781, revisions=(579610,useless=304807), ccks=924283122, wck=92.145, mem=138M405
99.54/94.65 decisions=29007, wrong=13531, backtracks=6094, failedAssignments=8620, nogoods=1168, foundSolutions=17, bestBound=301
99.54/94.65 nFilterCalls=341659, avgTableProportion=0.3544162454377025, avgTableSize=0.708832490875405
99.54/94.65
102.98/98.09 num=152, depth=4..21, filters=580660, revisions=(609818,useless=321402), ccks=958506447, wck=95.587, mem=37M441
102.98/98.09 decisions=30645, wrong=14344, backtracks=6485, failedAssignments=9117, nogoods=1179, foundSolutions=17, bestBound=301
102.98/98.09 nFilterCalls=356768, avgTableProportion=0.3531510673603014, avgTableSize=0.7063021347206028
102.98/98.09
107.08/102.13 num=153, depth=4..17, filters=626538, revisions=(651490,useless=343114), ccks=998226840, wck=99.625, mem=75M656
107.08/102.13 decisions=32459, wrong=15248, backtracks=6946, failedAssignments=9664, nogoods=1185, foundSolutions=17, bestBound=301
107.08/102.13 nFilterCalls=389036, avgTableProportion=0.35348014065536354, avgTableSize=0.7069602813107271
107.08/102.13
109.98/105.09 num=154, depth=3..20, filters=658617, revisions=(684411,useless=360283), ccks=1027370112, wck=102.591, mem=103M681
109.98/105.09 decisions=34334, wrong=16181, backtracks=7376, failedAssignments=10266, nogoods=1194, foundSolutions=17, bestBound=301
109.98/105.09 nFilterCalls=408043, avgTableProportion=0.353934511803903, avgTableSize=0.707869023607806
109.98/105.09
114.71/109.73 num=155, depth=3..16, filters=707007, revisions=(726935,useless=381762), ccks=1072859480, wck=107.231, mem=146M991
114.71/109.73 decisions=36556, wrong=17290, backtracks=7983, failedAssignments=10928, nogoods=1243, foundSolutions=17, bestBound=301
114.71/109.73 nFilterCalls=440677, avgTableProportion=0.3577041688129855, avgTableSize=0.715408337625971
114.71/109.73
124.06/119.01 num=156, depth=4..20, filters=756256, revisions=(777842,useless=407584), ccks=1167032842, wck=116.511, mem=74M931
124.06/119.01 decisions=39003, wrong=18508, backtracks=8571, failedAssignments=11656, nogoods=1250, foundSolutions=17, bestBound=301
124.06/119.01 nFilterCalls=467424, avgTableProportion=0.35855882453618126, avgTableSize=0.7171176490723625
124.06/119.01
128.25/123.20 num=157, depth=4..21, filters=806831, revisions=(827196,useless=434382), ccks=1207635022, wck=120.696, mem=122M614
128.25/123.20 decisions=41574, wrong=19790, backtracks=9188, failedAssignments=12457, nogoods=1257, foundSolutions=17, bestBound=301
128.25/123.20 nFilterCalls=501430, avgTableProportion=0.3594629360030313, avgTableSize=0.7189258720060626
128.25/123.20
137.39/132.38 num=158, depth=5..17, filters=863446, revisions=(885361,useless=464423), ccks=1299772535, wck=129.877, mem=61M727
137.39/132.38 decisions=44595, wrong=21296, backtracks=9966, failedAssignments=13338, nogoods=1265, foundSolutions=17, bestBound=301
137.39/132.38 nFilterCalls=533717, avgTableProportion=0.3598714299900509, avgTableSize=0.7197428599801018
137.39/132.38
142.89/137.81 num=159, depth=4..18, filters=904771, revisions=(930507,useless=487914), ccks=1352090153, wck=135.305, mem=103M720
142.89/137.81 decisions=47320, wrong=22653, backtracks=10467, failedAssignments=14308, nogoods=1359, foundSolutions=17, bestBound=301
142.89/137.81 nFilterCalls=556105, avgTableProportion=0.3598232348207623, avgTableSize=0.7196464696415246
142.89/137.81
150.80/145.80 num=160, depth=0..19, filters=963863, revisions=(992756,useless=520649), ccks=1431378399, wck=143.293, mem=41M683
150.80/145.80 decisions=50750, wrong=24362, backtracks=11274, failedAssignments=15375, nogoods=1382, foundSolutions=17, bestBound=301
150.80/145.80 nFilterCalls=589565, avgTableProportion=0.3589587238048392, avgTableSize=0.7179174476096783
150.80/145.80
157.70/152.69 num=161, depth=2..15, filters=1046032, revisions=(1071521,useless=560942), ccks=1497953407, wck=150.191, mem=107M290
157.70/152.69 decisions=54491, wrong=26230, backtracks=12190, failedAssignments=16548, nogoods=1417, foundSolutions=17, bestBound=301
157.70/152.69 nFilterCalls=640906, avgTableProportion=0.36081188192964336, avgTableSize=0.7216237638592867
157.70/152.69
168.22/163.16 num=162, depth=2..17, filters=1125066, revisions=(1154515,useless=603469), ccks=1601668533, wck=160.659, mem=72M445
168.22/163.16 decisions=58758, wrong=28360, backtracks=13209, failedAssignments=17839, nogoods=1421, foundSolutions=17, bestBound=301
168.22/163.16 nFilterCalls=685485, avgTableProportion=0.3604863709636243, avgTableSize=0.7209727419272486
168.22/163.16
178.23/173.13 num=163, depth=4..21, filters=1211249, revisions=(1240107,useless=648390), ccks=1700083996, wck=170.625, mem=36M393
178.23/173.13 decisions=63507, wrong=30731, backtracks=14364, failedAssignments=19259, nogoods=1430, foundSolutions=17, bestBound=301
178.23/173.13 nFilterCalls=739507, avgTableProportion=0.3615753468188942, avgTableSize=0.7231506936377884
178.23/173.13
190.83/185.71 num=164, depth=2..20, filters=1328414, revisions=(1355796,useless=709863), ccks=1823000618, wck=183.207, mem=31M586
190.83/185.71 decisions=68917, wrong=33433, backtracks=15850, failedAssignments=20821, nogoods=1434, foundSolutions=17, bestBound=301
190.83/185.71 nFilterCalls=813278, avgTableProportion=0.36296260319349594, avgTableSize=0.7259252063869919
190.83/185.71
209.64/204.54 num=165, depth=3..19, filters=1440814, revisions=(1472610,useless=769988), ccks=2011812410, wck=202.04, mem=38M316
209.64/204.54 decisions=74754, wrong=36347, backtracks=17293, failedAssignments=22539, nogoods=1448, foundSolutions=17, bestBound=301
209.64/204.54 nFilterCalls=877547, avgTableProportion=0.36315718702246147, avgTableSize=0.7263143740449229
209.64/204.54
220.75/215.67 num=166, depth=2..19, filters=1570190, revisions=(1588107,useless=829624), ccks=2118799980, wck=213.169, mem=40M361
220.75/215.67 decisions=80915, wrong=39424, backtracks=18790, failedAssignments=24429, nogoods=1462, foundSolutions=17, bestBound=301
220.75/215.67 nFilterCalls=968182, avgTableProportion=0.3649980065731443, avgTableSize=0.7299960131462886
220.75/215.67
232.99/227.85 num=167, depth=2..19, filters=1717581, revisions=(1724326,useless=899319), ccks=2237100562, wck=225.35, mem=46M819
232.99/227.85 decisions=87652, wrong=42789, backtracks=20397, failedAssignments=26508, nogoods=1475, foundSolutions=17, bestBound=301
232.99/227.85 nFilterCalls=1067391, avgTableProportion=0.36207818877993164, avgTableSize=0.7241563775598633
232.99/227.85
258.21/253.10 num=168, depth=2..19, filters=1880630, revisions=(1886138,useless=982525), ccks=2489221209, wck=250.596, mem=108M126
258.21/253.10 decisions=95609, wrong=46762, backtracks=22415, failedAssignments=28795, nogoods=1489, foundSolutions=17, bestBound=301
258.21/253.10 nFilterCalls=1167271, avgTableProportion=0.36210914175028763, avgTableSize=0.7242182835005753
258.21/253.10
271.44/266.22 num=169, depth=0..20, filters=2037840, revisions=(2039056,useless=1060759), ccks=2616530327, wck=263.713, mem=35M275
271.44/266.22 decisions=103214, wrong=50562, backtracks=24013, failedAssignments=31311, nogoods=1503, foundSolutions=17, bestBound=301
271.44/266.22 nFilterCalls=1266075, avgTableProportion=0.3596433860553285, avgTableSize=0.719286772110657
271.44/266.22
290.05/284.85 num=170, depth=2..21, filters=2218864, revisions=(2213535,useless=1151873), ccks=2801542208, wck=282.351, mem=91M992
290.05/284.85 decisions=112320, wrong=55111, backtracks=26164, failedAssignments=34079, nogoods=1561, foundSolutions=17, bestBound=301
290.05/284.85 nFilterCalls=1388773, avgTableProportion=0.3575616749461575, avgTableSize=0.715123349892315
290.05/284.85
308.28/303.09 num=171, depth=2..19, filters=2436818, revisions=(2421893,useless=1258402), ccks=2980265521, wck=300.591, mem=61M299
308.28/303.09 decisions=122360, wrong=60129, backtracks=28595, failedAssignments=37123, nogoods=1566, foundSolutions=17, bestBound=301
308.28/303.09 nFilterCalls=1527687, avgTableProportion=0.3559367854802718, avgTableSize=0.7118735709605436
308.28/303.09
332.09/326.80 num=172, depth=2..21, filters=2714597, revisions=(2678627,useless=1394435), ccks=3212018993, wck=324.294, mem=102M198
332.09/326.80 decisions=134113, wrong=66002, backtracks=31775, failedAssignments=40472, nogoods=1578, foundSolutions=17, bestBound=301
332.09/326.80 nFilterCalls=1721374, avgTableProportion=0.3569915660396869, avgTableSize=0.7139831320793738
332.09/326.80
358.00/352.73 num=173, depth=2..22, filters=2964130, revisions=(2930859,useless=1527652), ccks=3466326573, wck=350.223, mem=53M467
358.00/352.73 decisions=146577, wrong=72229, backtracks=35194, failedAssignments=44156, nogoods=1588, foundSolutions=17, bestBound=301
358.00/352.73 nFilterCalls=1879792, avgTableProportion=0.35535899716564384, avgTableSize=0.7107179943312877
358.00/352.73
387.33/382.06 num=174, depth=3..25, filters=3205134, revisions=(3182336,useless=1661871), ccks=3758108071, wck=379.557, mem=84M898
387.33/382.06 decisions=159946, wrong=78909, backtracks=38329, failedAssignments=48208, nogoods=1602, foundSolutions=17, bestBound=301
387.33/382.06 nFilterCalls=2031190, avgTableProportion=0.3514560430092704, avgTableSize=0.7029120860185408
387.33/382.06
413.14/407.84 num=175, depth=3..19, filters=3530802, revisions=(3490182,useless=1820499), ccks=4009521818, wck=405.334, mem=64M667
413.14/407.84 decisions=174613, wrong=86239, backtracks=41846, failedAssignments=52665, nogoods=1611, foundSolutions=17, bestBound=301
413.14/407.84 nFilterCalls=2246471, avgTableProportion=0.3499640102186941, avgTableSize=0.6999280204373882
413.14/407.84
447.49/442.12 num=176, depth=2..20, filters=3890843, revisions=(3830826,useless=1996129), ccks=4339812300, wck=439.613, mem=55M808
447.49/442.12 decisions=190834, wrong=94347, backtracks=45969, failedAssignments=57568, nogoods=1640, foundSolutions=17, bestBound=301
447.49/442.12 nFilterCalls=2480408, avgTableProportion=0.3519423014278296, avgTableSize=0.7038846028556592
447.49/442.12
488.81/483.45 num=177, depth=0..21, filters=4295335, revisions=(4220452,useless=2200487), ccks=4738595884, wck=480.949, mem=24M446
488.81/483.45 decisions=209422, wrong=103637, backtracks=51098, failedAssignments=62962, nogoods=1646, foundSolutions=17, bestBound=301
488.81/483.45 nFilterCalls=2743712, avgTableProportion=0.35401802375759556, avgTableSize=0.7080360475151911
488.81/483.45
529.94/524.59 o 300
529.94/524.59 num=178, depth=2..104, filters=4764815, revisions=(4652222,useless=2423277), ccks=5133881585, wck=522.091, mem=74M714
529.94/524.59 decisions=228475, wrong=113153, backtracks=55896, failedAssignments=68672, nogoods=1659, foundSolutions=18, bestBound=300
529.94/524.59 nFilterCalls=3060068, avgTableProportion=0.35516253233588274, avgTableSize=0.7103250646717655
529.94/524.59
567.28/561.85 num=179, depth=1..19, filters=5267992, revisions=(5106082,useless=2656664), ccks=5486281506, wck=559.352, mem=59M65
567.28/561.85 decisions=250671, wrong=124249, backtracks=61669, failedAssignments=75198, nogoods=1664, foundSolutions=18, bestBound=300
567.28/561.85 nFilterCalls=3410482, avgTableProportion=0.35678446624260146, avgTableSize=0.7135689324852029
567.28/561.85
567.50/562.07 num=180, depth=9..13, filters=5268731, revisions=(5106969,useless=2657123), ccks=5488384155, wck=559.563, mem=59M65
567.50/562.07 decisions=250715, wrong=124266, backtracks=61677, failedAssignments=75209, nogoods=1668, foundSolutions=18, bestBound=300
567.50/562.07 nFilterCalls=3410884, avgTableProportion=0.35679079089174537, avgTableSize=0.7135815817834907
567.50/562.07
567.69/562.23 num=181, depth=5..10, filters=5269697, revisions=(5107998,useless=2657616), ccks=5489959992, wck=559.723, mem=60M575
567.69/562.23 decisions=250763, wrong=124286, backtracks=61687, failedAssignments=75221, nogoods=1670, foundSolutions=18, bestBound=300
567.69/562.23 nFilterCalls=3411430, avgTableProportion=0.35680139999941374, avgTableSize=0.7136027999988275
567.69/562.23
567.99/562.55 num=182, depth=8..12, filters=5270679, revisions=(5109039,useless=2658108), ccks=5493222803, wck=560.046, mem=62M85
567.99/562.55 decisions=250815, wrong=124308, backtracks=61700, failedAssignments=75234, nogoods=1674, foundSolutions=18, bestBound=300
567.99/562.55 nFilterCalls=3411912, avgTableProportion=0.3568062423649848, avgTableSize=0.7136124847299696
567.99/562.55
568.19/562.72 num=183, depth=8..12, filters=5271476, revisions=(5109966,useless=2658592), ccks=5494893809, wck=560.215, mem=63M595
568.19/562.72 decisions=250865, wrong=124328, backtracks=61710, failedAssignments=75248, nogoods=1679, foundSolutions=18, bestBound=300
568.19/562.72 nFilterCalls=3412386, avgTableProportion=0.35681572952180673, avgTableSize=0.7136314590436135
568.19/562.72
568.39/562.98 num=184, depth=6..15, filters=5272491, revisions=(5111068,useless=2659122), ccks=5497544545, wck=560.48, mem=65M105
568.39/562.98 decisions=250926, wrong=124354, backtracks=61721, failedAssignments=75264, nogoods=1681, foundSolutions=18, bestBound=300
568.39/562.98 nFilterCalls=3412890, avgTableProportion=0.35681900090539104, avgTableSize=0.7136380018107821
568.39/562.98
568.60/563.15 num=185, depth=9..16, filters=5274011, revisions=(5112695,useless=2660030), ccks=5499140676, wck=560.646, mem=66M615
568.60/563.15 decisions=250995, wrong=124384, backtracks=61739, failedAssignments=75281, nogoods=1683, foundSolutions=18, bestBound=300
568.60/563.15 nFilterCalls=3413887, avgTableProportion=0.35683196309661097, avgTableSize=0.7136639261932219
568.60/563.15
568.79/563.36 num=186, depth=6..13, filters=5275120, revisions=(5113937,useless=2660653), ccks=5501228681, wck=560.86, mem=68M443
568.79/563.36 decisions=251068, wrong=124417, backtracks=61754, failedAssignments=75300, nogoods=1688, foundSolutions=18, bestBound=300
568.79/563.36 nFilterCalls=3414528, avgTableProportion=0.3568392176019643, avgTableSize=0.7136784352039286
568.79/563.36
569.20/563.73 num=187, depth=6..15, filters=5276547, revisions=(5115259,useless=2661241), ccks=5504870471, wck=561.224, mem=71M463
569.20/563.73 decisions=251145, wrong=124452, backtracks=61768, failedAssignments=75321, nogoods=1694, foundSolutions=18, bestBound=300
569.20/563.73 nFilterCalls=3415396, avgTableProportion=0.35684646816943044, avgTableSize=0.7136929363388609
569.20/563.73
569.51/564.07 num=188, depth=11..17, filters=5277945, revisions=(5116999,useless=2662250), ccks=5508305725, wck=561.57, mem=72M973
569.51/564.07 decisions=251230, wrong=124489, backtracks=61785, failedAssignments=75344, nogoods=1698, foundSolutions=18, bestBound=300
569.51/564.07 nFilterCalls=3416137, avgTableProportion=0.3568457588205625, avgTableSize=0.713691517641125
569.51/564.07
570.00/564.52 num=189, depth=6..19, filters=5279242, revisions=(5118586,useless=2663085), ccks=5512858961, wck=562.02, mem=74M483
570.00/564.52 decisions=251319, wrong=124529, backtracks=61803, failedAssignments=75369, nogoods=1702, foundSolutions=18, bestBound=300
570.00/564.52 nFilterCalls=3416723, avgTableProportion=0.356846165170545, avgTableSize=0.71369233034109
570.00/564.52
570.20/564.74 num=190, depth=6..17, filters=5280650, revisions=(5120045,useless=2663869), ccks=5515020798, wck=562.241, mem=77M503
570.20/564.74 decisions=251404, wrong=124566, backtracks=61816, failedAssignments=75397, nogoods=1706, foundSolutions=18, bestBound=300
570.20/564.74 nFilterCalls=3417665, avgTableProportion=0.356841147391567, avgTableSize=0.713682294783134
570.20/564.74
570.62/565.12 num=191, depth=4..18, filters=5283074, revisions=(5122585,useless=2665168), ccks=5518667883, wck=562.613, mem=80M523
570.62/565.12 decisions=251535, wrong=124624, backtracks=61847, failedAssignments=75428, nogoods=1715, foundSolutions=18, bestBound=300
570.62/565.12 nFilterCalls=3419111, avgTableProportion=0.3568453905123291, avgTableSize=0.7136907810246582
570.62/565.12
571.01/565.53 num=192, depth=4..15, filters=5286199, revisions=(5125662,useless=2666686), ccks=5522774135, wck=563.031, mem=83M543
571.01/565.53 decisions=251660, wrong=124680, backtracks=61881, failedAssignments=75462, nogoods=1720, foundSolutions=18, bestBound=300
571.01/565.53 nFilterCalls=3420983, avgTableProportion=0.35686350969882047, avgTableSize=0.7137270193976409
571.01/565.53
571.31/565.80 num=193, depth=5..11, filters=5289004, revisions=(5127927,useless=2667765), ccks=5525339773, wck=563.299, mem=86M563
571.31/565.80 decisions=251786, wrong=124740, backtracks=61907, failedAssignments=75499, nogoods=1725, foundSolutions=18, bestBound=300
571.31/565.80 nFilterCalls=3423167, avgTableProportion=0.3568835525698863, avgTableSize=0.7137671051397726
571.31/565.80
571.62/566.19 num=194, depth=6..14, filters=5291530, revisions=(5130612,useless=2669146), ccks=5529126927, wck=563.686, mem=89M583
571.62/566.19 decisions=251926, wrong=124806, backtracks=61939, failedAssignments=75540, nogoods=1729, foundSolutions=18, bestBound=300
571.62/566.19 nFilterCalls=3424618, avgTableProportion=0.3568968860176522, avgTableSize=0.7137937720353044
571.62/566.19
572.21/566.73 num=195, depth=6..14, filters=5294240, revisions=(5133260,useless=2670390), ccks=5534502211, wck=564.224, mem=94M113
572.21/566.73 decisions=252081, wrong=124880, backtracks=61977, failedAssignments=75585, nogoods=1732, foundSolutions=18, bestBound=300
572.21/566.73 nFilterCalls=3426143, avgTableProportion=0.35689739161500267, avgTableSize=0.7137947832300053
572.21/566.73
573.01/567.50 num=196, depth=9..18, filters=5297440, revisions=(5137265,useless=2672759), ccks=5542163213, wck=564.995, mem=98M324
573.01/567.50 decisions=252260, wrong=124964, backtracks=62018, failedAssignments=75635, nogoods=1734, foundSolutions=18, bestBound=300
573.01/567.50 nFilterCalls=3427874, avgTableProportion=0.35687499015424723, avgTableSize=0.7137499803084945
573.01/567.50
573.42/567.99 num=197, depth=4..12, filters=5301999, revisions=(5141576,useless=2674879), ccks=5546946193, wck=565.49, mem=27M375
573.42/567.99 decisions=252445, wrong=125053, backtracks=62065, failedAssignments=75690, nogoods=1739, foundSolutions=18, bestBound=300
573.42/567.99 nFilterCalls=3430704, avgTableProportion=0.3569053173925818, avgTableSize=0.7138106347851636
573.42/567.99
573.92/568.47 num=198, depth=6..19, filters=5305594, revisions=(5145157,useless=2676697), ccks=5551551994, wck=565.964, mem=31M867
573.92/568.47 decisions=252648, wrong=125149, backtracks=62108, failedAssignments=75751, nogoods=1749, foundSolutions=18, bestBound=300
573.92/568.47 nFilterCalls=3433056, avgTableProportion=0.35691305355927777, avgTableSize=0.7138261071185555
573.92/568.47
574.82/569.38 num=199, depth=5..16, filters=5310493, revisions=(5149959,useless=2679110), ccks=5560691250, wck=566.879, mem=36M359
574.82/569.38 decisions=252878, wrong=125259, backtracks=62160, failedAssignments=75818, nogoods=1755, foundSolutions=18, bestBound=300
574.82/569.38 nFilterCalls=3436135, avgTableProportion=0.35689008144324946, avgTableSize=0.7137801628864989
574.82/569.38
575.71/570.28 num=200, depth=4..12, filters=5314504, revisions=(5154160,useless=2681199), ccks=5569642998, wck=567.775, mem=42M348
575.71/570.28 decisions=253100, wrong=125366, backtracks=62207, failedAssignments=75892, nogoods=1761, foundSolutions=18, bestBound=300
575.71/570.28 nFilterCalls=3438051, avgTableProportion=0.3569081726827205, avgTableSize=0.713816345365441
575.71/570.28
576.62/571.12 num=201, depth=6..18, filters=5319467, revisions=(5159315,useless=2683889), ccks=5577979663, wck=568.615, mem=48M337
576.62/571.12 decisions=253361, wrong=125492, backtracks=62270, failedAssignments=75973, nogoods=1765, foundSolutions=18, bestBound=300
576.62/571.12 nFilterCalls=3441165, avgTableProportion=0.3568635912547059, avgTableSize=0.7137271825094118
576.62/571.12
577.21/571.71 num=202, depth=6..16, filters=5323830, revisions=(5164489,useless=2686658), ccks=5583788968, wck=569.208, mem=52M828
577.21/571.71 decisions=253624, wrong=125619, backtracks=62326, failedAssignments=76062, nogoods=1771, foundSolutions=18, bestBound=300
577.21/571.71 nFilterCalls=3443294, avgTableProportion=0.3568619176869591, avgTableSize=0.7137238353739181
577.21/571.71
578.41/572.99 num=203, depth=5..17, filters=5332223, revisions=(5172092,useless=2690505), ccks=5596518926, wck=570.491, mem=61M812
578.41/572.99 decisions=253967, wrong=125786, backtracks=62408, failedAssignments=76160, nogoods=1780, foundSolutions=18, bestBound=300
578.41/572.99 nFilterCalls=3449268, avgTableProportion=0.35685774488964034, avgTableSize=0.7137154897792807
578.41/572.99
579.11/573.66 num=204, depth=5..18, filters=5337565, revisions=(5178346,useless=2693954), ccks=5602857969, wck=571.158, mem=66M303
579.11/573.66 decisions=254366, wrong=125981, backtracks=62504, failedAssignments=76268, nogoods=1789, foundSolutions=18, bestBound=300
579.11/573.66 nFilterCalls=3452296, avgTableProportion=0.35682673212262217, avgTableSize=0.7136534642452443
579.11/573.66
580.31/574.81 num=205, depth=5..16, filters=5346170, revisions=(5186882,useless=2698465), ccks=5614210426, wck=572.311, mem=73M790
580.31/574.81 decisions=254807, wrong=126198, backtracks=62625, failedAssignments=76387, nogoods=1796, foundSolutions=18, bestBound=300
580.31/574.81 nFilterCalls=3458097, avgTableProportion=0.3567567653538926, avgTableSize=0.7135135307077852
580.31/574.81
582.11/576.60 num=206, depth=6..18, filters=5354710, revisions=(5196689,useless=2704050), ccks=5631554901, wck=574.097, mem=85M768
582.11/576.60 decisions=255279, wrong=126430, backtracks=62738, failedAssignments=76518, nogoods=1799, foundSolutions=18, bestBound=300
582.11/576.60 nFilterCalls=3462823, avgTableProportion=0.35671849239767667, avgTableSize=0.7134369847953533
582.11/576.60
583.31/577.81 num=207, depth=4..17, filters=5364906, revisions=(5207192,useless=2709575), ccks=5643269769, wck=575.31, mem=97M746
583.31/577.81 decisions=255810, wrong=126693, backtracks=62874, failedAssignments=76662, nogoods=1803, foundSolutions=18, bestBound=300
583.31/577.81 nFilterCalls=3469069, avgTableProportion=0.3566729286733703, avgTableSize=0.7133458573467406
583.31/577.81
584.92/579.43 num=208, depth=5..19, filters=5377558, revisions=(5219280,useless=2715731), ccks=5659104779, wck=576.926, mem=33M296
584.92/579.43 decisions=256317, wrong=126943, backtracks=62991, failedAssignments=76820, nogoods=1819, foundSolutions=18, bestBound=300
584.92/579.43 nFilterCalls=3476633, avgTableProportion=0.35670043401187296, avgTableSize=0.7134008680237459
584.92/579.43
586.72/581.22 num=209, depth=2..13, filters=5389242, revisions=(5232412,useless=2722482), ccks=5676744614, wck=578.722, mem=46M684
586.72/581.22 decisions=256894, wrong=127229, backtracks=63148, failedAssignments=76994, nogoods=1826, foundSolutions=18, bestBound=300
586.72/581.22 nFilterCalls=3482399, avgTableProportion=0.35678407327822, avgTableSize=0.71356814655644
586.72/581.22
587.63/582.13 num=210, depth=5..19, filters=5395243, revisions=(5239766,useless=2726201), ccks=5685642364, wck=579.631, mem=51M147
587.63/582.13 decisions=257419, wrong=127485, backtracks=63230, failedAssignments=77185, nogoods=1838, foundSolutions=18, bestBound=300
587.63/582.13 nFilterCalls=3485082, avgTableProportion=0.3566954809097749, avgTableSize=0.7133909618195498
587.63/582.13
589.92/584.49 num=211, depth=2..15, filters=5410247, revisions=(5254222,useless=2733530), ccks=5708923145, wck=581.985, mem=68M997
589.92/584.49 decisions=258130, wrong=127836, backtracks=63404, failedAssignments=77396, nogoods=1851, foundSolutions=18, bestBound=300
589.92/584.49 nFilterCalls=3494187, avgTableProportion=0.3567925815075152, avgTableSize=0.7135851630150304
589.92/584.49
591.92/586.40 num=212, depth=2..13, filters=5427482, revisions=(5271829,useless=2742717), ccks=5727403707, wck=583.901, mem=86M848
591.92/586.40 decisions=258924, wrong=128229, backtracks=63614, failedAssignments=77628, nogoods=1867, foundSolutions=18, bestBound=300
591.92/586.40 nFilterCalls=3503814, avgTableProportion=0.35689266039806905, avgTableSize=0.7137853207961381
591.92/586.40
594.12/588.62 num=213, depth=3..16, filters=5442141, revisions=(5287307,useless=2750907), ccks=5749038106, wck=586.113, mem=27M316
594.12/588.62 decisions=259673, wrong=128601, backtracks=63782, failedAssignments=77883, nogoods=1873, foundSolutions=18, bestBound=300
594.12/588.62 nFilterCalls=3511908, avgTableProportion=0.35687694552362986, avgTableSize=0.7137538910472597
594.12/588.62
595.92/590.47 num=214, depth=4..20, filters=5462676, revisions=(5305534,useless=2760293), ccks=5766915498, wck=587.963, mem=46M524
595.92/590.47 decisions=260619, wrong=129069, backtracks=64014, failedAssignments=78164, nogoods=1880, foundSolutions=18, bestBound=300
595.92/590.47 nFilterCalls=3526487, avgTableProportion=0.35696459394292396, avgTableSize=0.7139291878858479
595.92/590.47
597.92/592.44 num=215, depth=1..20, filters=5478820, revisions=(5323008,useless=2769342), ccks=5786294434, wck=589.94, mem=62M778
597.92/592.44 decisions=261570, wrong=129541, backtracks=64230, failedAssignments=78473, nogoods=1892, foundSolutions=18, bestBound=300
597.92/592.44 nFilterCalls=3535223, avgTableProportion=0.35694452655461906, avgTableSize=0.7138890531092381
597.92/592.44
599.65/594.16 num=216, depth=3..19, filters=5501734, revisions=(5343710,useless=2780032), ccks=5802755523, wck=591.661, mem=83M463
599.65/594.16 decisions=262640, wrong=130073, backtracks=64462, failedAssignments=78813, nogoods=1894, foundSolutions=18, bestBound=300
599.65/594.16 nFilterCalls=3550675, avgTableProportion=0.3570080336837362, avgTableSize=0.7140160673674724
599.65/594.16
602.57/597.10 num=217, depth=4..16, filters=5529003, revisions=(5370594,useless=2793782), ccks=5831361256, wck=594.599, mem=37M558
602.57/597.10 decisions=263895, wrong=130695, backtracks=64772, failedAssignments=79187, nogoods=1906, foundSolutions=18, bestBound=300
602.57/597.10 nFilterCalls=3566659, avgTableProportion=0.3571845528266089, avgTableSize=0.7143691056532178
602.57/597.10
605.96/600.49 num=218, depth=4..19, filters=5561704, revisions=(5400664,useless=2808917), ccks=5864537125, wck=597.989, mem=66M906
605.96/600.49 decisions=265239, wrong=131362, backtracks=65101, failedAssignments=79598, nogoods=1912, foundSolutions=18, bestBound=300
605.96/600.49 nFilterCalls=3588811, avgTableProportion=0.3572163594014842, avgTableSize=0.7144327188029684
605.96/600.49
608.96/603.46 num=219, depth=6..19, filters=5588052, revisions=(5428688,useless=2824246), ccks=5893366585, wck=600.955, mem=94M786
608.96/603.46 decisions=266706, wrong=132092, backtracks=65472, failedAssignments=80050, nogoods=1922, foundSolutions=18, bestBound=300
608.96/603.46 nFilterCalls=3605778, avgTableProportion=0.3569036973435414, avgTableSize=0.7138073946870828
608.96/603.46
613.46/607.95 num=220, depth=4..20, filters=5628637, revisions=(5466504,useless=2843213), ccks=5937498139, wck=605.452, mem=57M855
613.46/607.95 decisions=268415, wrong=132939, backtracks=65912, failedAssignments=80547, nogoods=1935, foundSolutions=18, bestBound=300
613.46/607.95 nFilterCalls=3632468, avgTableProportion=0.35699571200627234, avgTableSize=0.7139914240125447
613.46/607.95
618.46/612.99 num=221, depth=2..18, filters=5663922, revisions=(5503992,useless=2862891), ccks=5987621536, wck=610.487, mem=94M283
618.46/612.99 decisions=270266, wrong=133859, backtracks=66349, failedAssignments=81094, nogoods=1950, foundSolutions=18, bestBound=300
618.46/612.99 nFilterCalls=3652267, avgTableProportion=0.35713065337227534, avgTableSize=0.7142613067445507
618.46/612.99
624.68/619.15 num=222, depth=3..19, filters=5721446, revisions=(5556584,useless=2889490), ccks=6048063946, wck=616.644, mem=72M107
624.68/619.15 decisions=272469, wrong=134959, backtracks=66945, failedAssignments=81696, nogoods=1951, foundSolutions=18, bestBound=300
624.68/619.15 nFilterCalls=3690274, avgTableProportion=0.35720369273392705, avgTableSize=0.7144073854678541
624.68/619.15
630.28/624.77 num=223, depth=4..16, filters=5768855, revisions=(5601550,useless=2912023), ccks=6103305366, wck=622.271, mem=54M517
630.28/624.77 decisions=274747, wrong=136095, backtracks=67529, failedAssignments=82358, nogoods=1959, foundSolutions=18, bestBound=300
630.28/624.77 nFilterCalls=3719526, avgTableProportion=0.35745240119305527, avgTableSize=0.7149048023861105
630.28/624.77
636.29/630.72 num=224, depth=3..16, filters=5821423, revisions=(5650536,useless=2937263), ccks=6161784565, wck=628.214, mem=27M194
636.29/630.72 decisions=277169, wrong=137303, backtracks=68119, failedAssignments=83086, nogoods=1973, foundSolutions=18, bestBound=300
636.29/630.72 nFilterCalls=3755546, avgTableProportion=0.3575199185418046, avgTableSize=0.7150398370836092
636.29/630.72
642.89/637.30 num=225, depth=3..20, filters=5876331, revisions=(5705660,useless=2966013), ccks=6226042927, wck=634.797, mem=82M806
642.89/637.30 decisions=279856, wrong=138643, backtracks=68806, failedAssignments=83887, nogoods=1983, foundSolutions=18, bestBound=300
642.89/637.30 nFilterCalls=3789699, avgTableProportion=0.3576662684820087, avgTableSize=0.7153325369640174
642.89/637.30
648.00/642.40 num=226, depth=4..19, filters=5940666, revisions=(5765941,useless=2997137), ccks=6274859965, wck=639.898, mem=61M135
648.00/642.40 decisions=282742, wrong=140082, backtracks=69507, failedAssignments=84768, nogoods=1993, foundSolutions=18, bestBound=300
648.00/642.40 nFilterCalls=3833477, avgTableProportion=0.35765559569028327, avgTableSize=0.7153111913805665
648.00/642.40
656.41/650.83 num=227, depth=3..20, filters=5997202, revisions=(5821545,useless=3025221), ccks=6358807108, wck=648.332, mem=63M695
656.41/650.83 decisions=285817, wrong=141614, backtracks=70178, failedAssignments=85738, nogoods=2008, foundSolutions=18, bestBound=300
656.41/650.83 nFilterCalls=3868355, avgTableProportion=0.35760019439787716, avgTableSize=0.7152003887957543
656.41/650.83
664.02/658.42 num=228, depth=1..14, filters=6080432, revisions=(5895281,useless=3062457), ccks=6432074152, wck=655.921, mem=71M759
664.02/658.42 decisions=289396, wrong=143400, backtracks=71159, failedAssignments=86805, nogoods=2018, foundSolutions=18, bestBound=300
664.02/658.42 nFilterCalls=3924038, avgTableProportion=0.35820499189865135, avgTableSize=0.7164099837973027
664.02/658.42
672.52/666.93 num=229, depth=2..19, filters=6151519, revisions=(5964434,useless=3097052), ccks=6515626600, wck=664.431, mem=85M233
672.52/666.93 decisions=293296, wrong=145346, backtracks=72048, failedAssignments=87978, nogoods=2029, foundSolutions=18, bestBound=300
672.52/666.93 nFilterCalls=3967432, avgTableProportion=0.35809032139681285, avgTableSize=0.7161806427936257
672.52/666.93
680.65/675.11 num=230, depth=2..18, filters=6233348, revisions=(6047152,useless=3140341), ccks=6594388262, wck=672.603, mem=28M402
680.65/675.11 decisions=297755, wrong=147574, backtracks=73193, failedAssignments=89269, nogoods=2034, foundSolutions=18, bestBound=300
680.65/675.11 nFilterCalls=4020056, avgTableProportion=0.35780334900807353, avgTableSize=0.7156066980161471
680.65/675.11
691.35/685.72 num=231, depth=4..20, filters=6309081, revisions=(6126421,useless=3183049), ccks=6698581473, wck=683.218, mem=44M591
691.35/685.72 decisions=302235, wrong=149811, backtracks=74164, failedAssignments=90689, nogoods=2047, foundSolutions=18, bestBound=300
691.35/685.72 nFilterCalls=4067706, avgTableProportion=0.3577349247954498, avgTableSize=0.7154698495908997
691.35/685.72
699.06/693.45 num=232, depth=3..19, filters=6406475, revisions=(6218380,useless=3231080), ccks=6771973814, wck=690.944, mem=73M984
699.06/693.45 decisions=307266, wrong=152321, backtracks=75391, failedAssignments=92251, nogoods=2060, foundSolutions=18, bestBound=300
699.06/693.45 nFilterCalls=4134558, avgTableProportion=0.35724786059356284, avgTableSize=0.7144957211871257
699.06/693.45
709.47/703.82 num=233, depth=2..18, filters=6507180, revisions=(6318293,useless=3283434), ccks=6873122066, wck=701.314, mem=38M902
709.47/703.82 decisions=312455, wrong=154913, backtracks=76467, failedAssignments=93969, nogoods=2067, foundSolutions=18, bestBound=300
709.47/703.82 nFilterCalls=4195805, avgTableProportion=0.35730926484905756, avgTableSize=0.7146185296981151
709.47/703.82
721.92/716.27 num=234, depth=2..20, filters=6640910, revisions=(6449695,useless=3352888), ccks=6993254764, wck=713.766, mem=33M466
721.92/716.27 decisions=319117, wrong=158239, backtracks=78261, failedAssignments=95859, nogoods=2076, foundSolutions=18, bestBound=300
721.92/716.27 nFilterCalls=4283044, avgTableProportion=0.357367447077359, avgTableSize=0.714734894154718
721.92/716.27
735.14/729.47 num=235, depth=2..17, filters=6781789, revisions=(6573509,useless=3414189), ccks=7119602126, wck=726.966, mem=53M790
735.14/729.47 decisions=325618, wrong=161486, backtracks=79800, failedAssignments=97938, nogoods=2087, foundSolutions=18, bestBound=300
735.14/729.47 nFilterCalls=4376487, avgTableProportion=0.35791355029730465, avgTableSize=0.7158271005946093
735.14/729.47
751.65/745.96 num=236, depth=3..18, filters=6914925, revisions=(6704467,useless=3482924), ccks=7282083528, wck=743.456, mem=65M911
751.65/745.96 decisions=332995, wrong=165168, backtracks=81459, failedAssignments=100225, nogoods=2102, foundSolutions=18, bestBound=300
751.65/745.96 nFilterCalls=4460301, avgTableProportion=0.3579552142332995, avgTableSize=0.715910428466599
751.65/745.96
766.17/760.41 num=237, depth=4..20, filters=7122888, revisions=(6892510,useless=3580122), ccks=7419525512, wck=757.907, mem=35M463
766.17/760.41 decisions=341286, wrong=169310, backtracks=83541, failedAssignments=102741, nogoods=2109, foundSolutions=18, bestBound=300
766.17/760.41 nFilterCalls=4609803, avgTableProportion=0.35698087315228005, avgTableSize=0.7139617463045601
766.17/760.41
783.38/777.60 num=238, depth=3..21, filters=7277449, revisions=(7047131,useless=3661569), ccks=7588248245, wck=775.097, mem=61M807
783.38/777.60 decisions=349438, wrong=173383, backtracks=85108, failedAssignments=105509, nogoods=2143, foundSolutions=18, bestBound=300
783.38/777.60 nFilterCalls=4704319, avgTableProportion=0.35651143130387203, avgTableSize=0.7130228626077441
783.38/777.60
806.32/800.51 num=239, depth=2..22, filters=7471046, revisions=(7245172,useless=3767176), ccks=7810716664, wck=798.006, mem=77M315
806.32/800.51 decisions=359511, wrong=178417, backtracks=87456, failedAssignments=108553, nogoods=2150, foundSolutions=18, bestBound=300
806.32/800.51 nFilterCalls=4821238, avgTableProportion=0.35692647821990947, avgTableSize=0.7138529564398189
806.32/800.51
827.14/821.39 num=240, depth=2..19, filters=7705913, revisions=(7468620,useless=3883744), ccks=8008894087, wck=818.889, mem=68M641
827.14/821.39 decisions=371170, wrong=184244, backtracks=90551, failedAssignments=111902, nogoods=2166, foundSolutions=18, bestBound=300
827.14/821.39 nFilterCalls=4980445, avgTableProportion=0.35662797199848606, avgTableSize=0.7132559439969721
827.14/821.39
852.16/846.35 num=241, depth=2..21, filters=7930547, revisions=(7695324,useless=4003432), ccks=8247611071, wck=843.849, mem=62M642
852.16/846.35 decisions=383439, wrong=190376, backtracks=93499, failedAssignments=115586, nogoods=2175, foundSolutions=18, bestBound=300
852.16/846.35 nFilterCalls=5128195, avgTableProportion=0.3560815257610134, avgTableSize=0.7121630515220267
852.16/846.35
875.31/869.41 num=242, depth=1..21, filters=8249709, revisions=(7981523,useless=4151566), ccks=8462304571, wck=866.909, mem=73M105
875.31/869.41 decisions=397005, wrong=197157, backtracks=97053, failedAssignments=119638, nogoods=2189, foundSolutions=18, bestBound=300
875.31/869.41 nFilterCalls=5350143, avgTableProportion=0.35719372360701385, avgTableSize=0.7143874472140277
875.31/869.41
911.15/905.22 num=243, depth=2..19, filters=8558607, revisions=(8282983,useless=4308720), ccks=8809922361, wck=902.717, mem=66M642
911.15/905.22 decisions=410969, wrong=204134, backtracks=100195, failedAssignments=124095, nogoods=2198, foundSolutions=18, bestBound=300
911.15/905.22 nFilterCalls=5549262, avgTableProportion=0.35695899743064935, avgTableSize=0.7139179948612987
911.15/905.22
942.80/936.80 num=244, depth=1..20, filters=8908537, revisions=(8610793,useless=4479995), ccks=9109450296, wck=934.298, mem=58M34
942.80/936.80 decisions=427485, wrong=212390, backtracks=104344, failedAssignments=128998, nogoods=2206, foundSolutions=18, bestBound=300
942.80/936.80 nFilterCalls=5785658, avgTableProportion=0.35744948975553, avgTableSize=0.71489897951106
942.80/936.80
979.44/973.40 num=245, depth=2..22, filters=9265621, revisions=(8967833,useless=4667579), ccks=9458522319, wck=970.898, mem=39M698
979.44/973.40 decisions=445732, wrong=221509, backtracks=109094, failedAssignments=134392, nogoods=2216, foundSolutions=18, bestBound=300
979.44/973.40 nFilterCalls=6017537, avgTableProportion=0.3563126408695119, avgTableSize=0.7126252817390238
979.44/973.40
1013.58/1007.51 num=246, depth=1..18, filters=9795650, revisions=(9421889,useless=4896358), ccks=9772232139, wck=1005.01, mem=69M955
1013.58/1007.51 decisions=466013, wrong=231647, backtracks=114641, failedAssignments=140325, nogoods=2228, foundSolutions=18, bestBound=300
1013.58/1007.51 nFilterCalls=6396202, avgTableProportion=0.35825088075704925, avgTableSize=0.7165017615140985
1013.58/1007.51
1048.43/1042.37 num=247, depth=1..21, filters=10291371, revisions=(9867330,useless=5126897), ccks=10097101660, wck=1039.866, mem=73M212
1048.43/1042.37 decisions=487222, wrong=242249, backtracks=119775, failedAssignments=146851, nogoods=2260, foundSolutions=18, bestBound=300
1048.43/1042.37 nFilterCalls=6732843, avgTableProportion=0.3590739454343433, avgTableSize=0.7181478908686866
1048.43/1042.37
1092.11/1085.97 num=248, depth=1..20, filters=10819826, revisions=(10352505,useless=5376244), ccks=10507173993, wck=1083.468, mem=27M892
1092.11/1085.97 decisions=511635, wrong=254453, backtracks=126206, failedAssignments=154030, nogoods=2268, foundSolutions=18, bestBound=300
1092.11/1085.97 nFilterCalls=7093862, avgTableProportion=0.35970469964033697, avgTableSize=0.7194093992806739
1092.11/1085.97
1143.47/1137.30 num=249, depth=1..22, filters=11400737, revisions=(10881524,useless=5650485), ccks=10995078220, wck=1134.793, mem=43M37
1143.47/1137.30 decisions=537092, wrong=267176, backtracks=132373, failedAssignments=161927, nogoods=2277, foundSolutions=18, bestBound=300
1143.47/1137.30 nFilterCalls=7491895, avgTableProportion=0.36008413091747815, avgTableSize=0.7201682618349563
1143.47/1137.30
1198.46/1192.18 num=250, depth=2..22, filters=12076126, revisions=(11499638,useless=5970773), ccks=11510610770, wck=1189.673, mem=28M980
1198.46/1192.18 decisions=566471, wrong=281860, backtracks=140214, failedAssignments=170614, nogoods=2294, foundSolutions=18, bestBound=300
1198.46/1192.18 nFilterCalls=7965798, avgTableProportion=0.35975027235187235, avgTableSize=0.7195005447037447
1198.46/1192.18
1265.73/1259.39 num=251, depth=2..23, filters=12903211, revisions=(12248069,useless=6359641), ccks=12145372973, wck=1256.886, mem=50M630
1265.73/1259.39 decisions=599510, wrong=298376, backtracks=149210, failedAssignments=180169, nogoods=2313, foundSolutions=18, bestBound=300
1265.73/1259.39 nFilterCalls=8549232, avgTableProportion=0.3604112041876978, avgTableSize=0.7208224083753956
1265.73/1259.39
1343.42/1336.99 num=252, depth=1..21, filters=13706214, revisions=(12991516,useless=6741357), ccks=12887986487, wck=1334.491, mem=43M127
1343.42/1336.99 decisions=634458, wrong=315846, backtracks=157865, failedAssignments=190680, nogoods=2323, foundSolutions=18, bestBound=300
1343.42/1336.99 nFilterCalls=9084984, avgTableProportion=0.3606427925464701, avgTableSize=0.7212855850929402
1343.42/1336.99
1407.91/1401.36 num=253, depth=0..21, filters=14573665, revisions=(13775784,useless=7148177), ccks=13487602488, wck=1398.856, mem=75M487
1407.91/1401.36 decisions=673005, wrong=335115, backtracks=167966, failedAssignments=202242, nogoods=2346, foundSolutions=18, bestBound=300
1407.91/1401.36 nFilterCalls=9697927, avgTableProportion=0.3609826099948989, avgTableSize=0.7219652199897978
1407.91/1401.36
1485.93/1479.24 num=254, depth=1..24, filters=15698507, revisions=(14768868,useless=7649096), ccks=14212234780, wck=1476.741, mem=47M406
1485.93/1479.24 decisions=715543, wrong=356379, backtracks=179017, failedAssignments=214960, nogoods=2354, foundSolutions=18, bestBound=300
1485.93/1479.24 nFilterCalls=10467937, avgTableProportion=0.36184780248486403, avgTableSize=0.7236956049697281
1485.93/1479.24
1573.74/1567.00 num=255, depth=0..24, filters=16842926, revisions=(15790983,useless=8174385), ccks=15034955926, wck=1564.496, mem=46M342
1573.74/1567.00 decisions=762501, wrong=379855, backtracks=191163, failedAssignments=228950, nogoods=2362, foundSolutions=18, bestBound=300
1573.74/1567.00 nFilterCalls=11258748, avgTableProportion=0.3627518352839943, avgTableSize=0.7255036705679886
1573.74/1567.00
1662.69/1655.76 num=256, depth=0..21, filters=18110426, revisions=(16924178,useless=8757265), ccks=15856925319, wck=1653.258, mem=75M495
1662.69/1655.76 decisions=815452, wrong=406327, backtracks=205426, failedAssignments=244339, nogoods=2374, foundSolutions=18, bestBound=300
1662.69/1655.76 nFilterCalls=12137165, avgTableProportion=0.3638651612629473, avgTableSize=0.7277303225258946
1662.69/1655.76
1763.80/1756.79
1763.80/1756.79 New Bounds: 300..299
1763.80/1756.79 num=257, depth=0..19, filters=19517807, revisions=(18177006,useless=9395911), ccks=16797562818, wck=1754.287, mem=37M718
1763.80/1756.79 decisions=871752, wrong=434478, backtracks=220484, failedAssignments=260998, foundSolutions=18, bestBound=300
1763.80/1756.79 nFilterCalls=13114017, avgTableProportion=0.3644352832545512, avgTableSize=0.7288705665091024
1763.80/1756.79
1763.80/1756.79 Global
1763.80/1756.79 filters=19517807, revisions=(18177006,useless=9395911), ccks=16797562818
1763.80/1756.79 Stop=FULL_EXPLORATION, wrong=434478, bestBound=300, bestBoundWck=522.497, bestBoundCpu=524.261, foundSolutions=18, firstSolCpu=3.287
1763.80/1756.79 wck=1754.694, cpu=1755.54, mem=37M718
1763.80/1756.79
1763.80/1756.79 v <instantiation id='sol18' type='solution' cost='300'> <list> s[][] e[] d[][] w[][] sd[][] </list> <values> 0 31 116 164 234 45 169 260 278 292 0 90 164 234 237 0 45 143 228 282 0 114 159 169 260 300 299 297 295 275 31 85 44 64 66 69 68 18 14 7 90 74 70 1 60 45 98 76 54 13 80 45 10 91 15 2 3 4 0 1 1 2 4 3 0 4 0 1 3 2 1 2 3 0 4 0 1 2 4 3 164 234 0 31 116 292 45 169 278 260 90 164 237 234 0 228 0 45 143 282 0 114 159 260 169 </values> </instantiation>
1763.80/1756.79 s OPTIMUM FOUND
1763.80/1756.79
1763.80/1756.79 d WRONG_DECISIONS 434478
1763.80/1756.79 d NUMBER_SOLUTIONS 18