2.51/2.75
2.51/2.75 AbsCon 2
2.51/2.76
2.95/2.92 Instance
2.95/2.92 name=instance-4390866-1568380515, framework=COP, bounds=-infty..+infty
2.95/2.92
2.95/2.92 Loading variables...
2.95/2.96 Loading constraints...
3.17/3.07
3.17/3.07 Domains
3.17/3.07 nTypes=7, nValues=22250, sizes=[5#50,400#55]
3.17/3.07 Variables
3.17/3.07 count=105, degrees=[2#30,3#50,9#25]
3.17/3.07 Objectives
3.17/3.07 way=min, type=ObjMaximumLE
3.17/3.07 Constraints
3.17/3.07 count=136, nSpecific=81, arities=[1#5,2#75,3#25,5#6,7#25]
3.17/3.07 distribution=[AllDifferent#5,CtrExtensionSmart-TableSmart#50,CtrExtensionV-Bits#25,CtrIntension#30,ElementVariable#25,ObjMaximumLE#1]
3.17/3.07 tables=[2#50], nTotalTuples=100
3.17/3.07 nExtStructures=(55,shared:20), nIntStructures=(15,shared:15), nCftStructures=(5,shared:20,unbuilt:111)
3.17/3.07 wck=0.352, cpu=2.146, mem=26M520
3.17/3.08 Solver SolverBacktrack being built...
3.17/3.08
3.17/3.10
3.17/3.10 Solver
3.17/3.10 guaranteedGAC=true
3.17/3.10 wck=0.382, cpu=2.175, mem=37M163
4.19/3.65
4.19/3.65 Preprocessing
4.19/3.65 filters=55, revisions=(140,useless=60), ccks=5266244, nACremovedValues=3445, nTotalRemovedValues=3445, inconcistency=false
4.19/3.65 wck=0.549, cpu=2.725, mem=37M163
4.19/3.65
4.59/3.81 o 387
4.59/3.82 num=0, depth=106..104, filters=331, revisions=(536,useless=301), ccks=6938014, wck=0.723, mem=39M805
4.59/3.82 decisions=25, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=1, bestBound=387
4.59/3.82 nFilterCalls=250, avgTableProportion=0.394, avgTableSize=0.788
4.59/3.82
4.97/4.07 num=1, depth=11..14, filters=833, revisions=(1285,useless=694), ccks=9377186, wck=0.977, mem=42M447
4.97/4.07 decisions=68, wrong=16, backtracks=5, failedAssignments=11, nogoods=2, foundSolutions=1, bestBound=387
4.97/4.07 nFilterCalls=502, avgTableProportion=0.37350597609561753, avgTableSize=0.7470119521912351
4.97/4.07
5.20/4.22 num=2, depth=12..13, filters=1093, revisions=(1528,useless=822), ccks=10783713, wck=1.127, mem=45M90
5.20/4.22 decisions=103, wrong=27, backtracks=5, failedAssignments=22, nogoods=13, foundSolutions=1, bestBound=387
5.20/4.22 nFilterCalls=758, avgTableProportion=0.4023746701846966, avgTableSize=0.8047493403693932
5.20/4.22
5.56/4.42 num=3, depth=18..18, filters=1550, revisions=(2185,useless=1230), ccks=12786412, wck=1.326, mem=45M90
5.56/4.42 decisions=145, wrong=39, backtracks=5, failedAssignments=34, nogoods=25, foundSolutions=1, bestBound=387
5.56/4.42 nFilterCalls=1050, avgTableProportion=0.4104761904761905, avgTableSize=0.820952380952381
5.56/4.42
5.56/4.49 num=4, depth=0..0, filters=1694, revisions=(2451,useless=1360), ccks=13430936, wck=1.39, mem=45M90
5.56/4.49 decisions=171, wrong=52, backtracks=5, failedAssignments=47, nogoods=25, foundSolutions=1, bestBound=387
5.56/4.49 nFilterCalls=1050, avgTableProportion=0.4104761904761905, avgTableSize=0.820952380952381
5.56/4.49
5.77/4.59 num=5, depth=0..0, filters=1876, revisions=(2773,useless=1514), ccks=14589567, wck=1.491, mem=45M90
5.77/4.59 decisions=199, wrong=66, backtracks=5, failedAssignments=61, nogoods=25, foundSolutions=1, bestBound=387
5.77/4.59 nFilterCalls=1050, avgTableProportion=0.4104761904761905, avgTableSize=0.820952380952381
5.77/4.59
6.17/4.78 num=6, depth=0..11, filters=2380, revisions=(3229,useless=1689), ccks=16801874, wck=1.681, mem=47M732
6.17/4.78 decisions=242, wrong=82, backtracks=5, failedAssignments=77, nogoods=36, foundSolutions=1, bestBound=387
6.17/4.78 nFilterCalls=1382, avgTableProportion=0.4182344428364689, avgTableSize=0.8364688856729378
6.17/4.78
6.58/5.01 num=7, depth=16..16, filters=3037, revisions=(4076,useless=2097), ccks=19413383, wck=1.907, mem=47M732
6.58/5.01 decisions=292, wrong=99, backtracks=5, failedAssignments=94, nogoods=53, foundSolutions=1, bestBound=387
6.58/5.01 nFilterCalls=1739, avgTableProportion=0.41920644048303624, avgTableSize=0.8384128809660725
6.58/5.01
7.02/5.17 o 362
7.02/5.18 num=8, depth=16..104, filters=3662, revisions=(4801,useless=2490), ccks=21339391, wck=2.077, mem=50M375
7.02/5.18 decisions=354, wrong=116, backtracks=5, failedAssignments=111, nogoods=70, foundSolutions=2, bestBound=362
7.02/5.18 nFilterCalls=2308, avgTableProportion=0.39774696707105717, avgTableSize=0.7954939341421143
7.02/5.18
7.70/5.44 num=9, depth=7..28, filters=4612, revisions=(6055,useless=3216), ccks=24328247, wck=2.339, mem=53M17
7.70/5.44 decisions=428, wrong=140, backtracks=8, failedAssignments=132, nogoods=77, foundSolutions=2, bestBound=362
7.70/5.44 nFilterCalls=2976, avgTableProportion=0.3840725806451613, avgTableSize=0.7681451612903226
7.70/5.44
8.19/5.63 num=10, depth=15..16, filters=5706, revisions=(6965,useless=3705), ccks=26464165, wck=2.53, mem=53M17
8.19/5.63 decisions=467, wrong=152, backtracks=9, failedAssignments=143, nogoods=83, foundSolutions=2, bestBound=362
8.19/5.63 nFilterCalls=3882, avgTableProportion=0.3641164348274086, avgTableSize=0.7282328696548171
8.19/5.63
8.40/5.79 num=11, depth=8..19, filters=6287, revisions=(7537,useless=4003), ccks=28316008, wck=2.691, mem=55M660
8.40/5.79 decisions=510, wrong=164, backtracks=9, failedAssignments=155, nogoods=95, foundSolutions=2, bestBound=362
8.40/5.79 nFilterCalls=4521, avgTableProportion=0.3651846936518469, avgTableSize=0.7303693873036938
8.40/5.79
8.64/5.94 o 360
8.64/5.94 num=12, depth=11..104, filters=6763, revisions=(8077,useless=4322), ccks=30059181, wck=2.841, mem=55M660
8.64/5.94 decisions=540, wrong=165, backtracks=9, failedAssignments=156, nogoods=96, foundSolutions=3, bestBound=360
8.64/5.94 nFilterCalls=4986, avgTableProportion=0.36101083032490977, avgTableSize=0.7220216606498195
8.64/5.94
8.76/6.10 o 359
8.76/6.11 num=13, depth=9..104, filters=7366, revisions=(8882,useless=4809), ccks=31976716, wck=3.007, mem=55M660
8.76/6.11 decisions=575, wrong=171, backtracks=9, failedAssignments=162, nogoods=102, foundSolutions=4, bestBound=359
8.76/6.11 nFilterCalls=5477, avgTableProportion=0.35977725031951796, avgTableSize=0.7195545006390359
8.76/6.11
8.95/6.29 num=14, depth=9..24, filters=8179, revisions=(9891,useless=5398), ccks=34146102, wck=3.194, mem=58M302
8.95/6.29 decisions=628, wrong=188, backtracks=16, failedAssignments=173, nogoods=110, foundSolutions=4, bestBound=359
8.95/6.29 nFilterCalls=6087, avgTableProportion=0.3584688680795137, avgTableSize=0.7169377361590275
8.95/6.29
9.36/6.67 num=15, depth=11..17, filters=9332, revisions=(11089,useless=6015), ccks=38553888, wck=3.568, mem=60M944
9.36/6.67 decisions=676, wrong=204, backtracks=21, failedAssignments=184, nogoods=115, foundSolutions=4, bestBound=359
9.36/6.67 nFilterCalls=6964, avgTableProportion=0.3474296381390006, avgTableSize=0.6948592762780011
9.36/6.67
9.56/6.89 num=16, depth=11..22, filters=10319, revisions=(12078,useless=6571), ccks=41118424, wck=3.788, mem=60M944
9.56/6.89 decisions=725, wrong=219, backtracks=26, failedAssignments=196, nogoods=122, foundSolutions=4, bestBound=359
9.56/6.89 nFilterCalls=7830, avgTableProportion=0.3426564495530013, avgTableSize=0.6853128991060026
9.56/6.89
9.87/7.11 num=17, depth=15..19, filters=11180, revisions=(13007,useless=7097), ccks=43730796, wck=4.01, mem=63M587
9.87/7.11 decisions=780, wrong=238, backtracks=33, failedAssignments=209, nogoods=127, foundSolutions=4, bestBound=359
9.87/7.11 nFilterCalls=8538, avgTableProportion=0.3381939564300773, avgTableSize=0.6763879128601546
9.87/7.11
10.09/7.39 o 352
10.09/7.39 num=18, depth=14..104, filters=11925, revisions=(13907,useless=7590), ccks=46997118, wck=4.289, mem=63M587
10.09/7.39 decisions=838, wrong=251, backtracks=35, failedAssignments=220, nogoods=135, foundSolutions=5, bestBound=352
10.09/7.39 nFilterCalls=9150, avgTableProportion=0.33311475409836067, avgTableSize=0.6662295081967213
10.09/7.39
10.30/7.54 o 346
10.30/7.55 num=19, depth=14..104, filters=12468, revisions=(14629,useless=8036), ccks=48825022, wck=4.448, mem=63M587
10.30/7.55 decisions=872, wrong=254, backtracks=35, failedAssignments=223, nogoods=138, foundSolutions=6, bestBound=346
10.30/7.55 nFilterCalls=9701, avgTableProportion=0.33207916709617563, avgTableSize=0.6641583341923513
10.30/7.55
10.52/7.70 num=20, depth=16..23, filters=13179, revisions=(15592,useless=8620), ccks=50617290, wck=4.603, mem=66M229
10.52/7.70 decisions=922, wrong=269, backtracks=39, failedAssignments=234, nogoods=143, foundSolutions=6, bestBound=346
10.52/7.70 nFilterCalls=10196, avgTableProportion=0.3326794821498627, avgTableSize=0.6653589642997254
10.52/7.70
10.67/7.86 o 340
10.67/7.86 num=21, depth=14..104, filters=13916, revisions=(16417,useless=9072), ccks=52430113, wck=4.761, mem=66M229
10.67/7.86 decisions=973, wrong=279, backtracks=41, failedAssignments=242, nogoods=150, foundSolutions=7, bestBound=340
10.67/7.86 nFilterCalls=10848, avgTableProportion=0.3284476401179941, avgTableSize=0.6568952802359882
10.67/7.86
10.99/8.17 num=22, depth=14..17, filters=14754, revisions=(17577,useless=9730), ccks=56100713, wck=5.07, mem=68M872
10.99/8.17 decisions=1023, wrong=297, backtracks=49, failedAssignments=254, nogoods=156, foundSolutions=7, bestBound=340
10.99/8.17 nFilterCalls=11314, avgTableProportion=0.3307406752695775, avgTableSize=0.661481350539155
10.99/8.17
11.18/8.35 num=23, depth=10..16, filters=15387, revisions=(18255,useless=10081), ccks=58161292, wck=5.247, mem=68M872
11.18/8.35 decisions=1064, wrong=312, backtracks=54, failedAssignments=265, nogoods=159, foundSolutions=7, bestBound=340
11.18/8.35 nFilterCalls=11799, avgTableProportion=0.3315111450122892, avgTableSize=0.6630222900245784
11.18/8.35
11.39/8.50 num=24, depth=14..18, filters=16103, revisions=(19132,useless=10556), ccks=60013348, wck=5.407, mem=68M872
11.39/8.50 decisions=1116, wrong=331, backtracks=62, failedAssignments=277, nogoods=162, foundSolutions=7, bestBound=340
11.39/8.50 nFilterCalls=12257, avgTableProportion=0.332544668352778, avgTableSize=0.665089336705556
11.39/8.50
11.59/8.78 num=25, depth=12..17, filters=17314, revisions=(20497,useless=11267), ccks=63230123, wck=5.682, mem=71M514
11.59/8.78 decisions=1176, wrong=354, backtracks=72, failedAssignments=290, nogoods=167, foundSolutions=7, bestBound=340
11.59/8.78 nFilterCalls=13056, avgTableProportion=0.32996323529411764, avgTableSize=0.6599264705882353
11.59/8.78
11.90/9.01 num=26, depth=10..22, filters=18576, revisions=(21831,useless=11977), ccks=65912589, wck=5.912, mem=71M514
11.90/9.01 decisions=1238, wrong=376, backtracks=81, failedAssignments=304, nogoods=174, foundSolutions=7, bestBound=340
11.90/9.01 nFilterCalls=13919, avgTableProportion=0.3284000287376967, avgTableSize=0.6568000574753934
11.90/9.01
12.20/9.32 num=27, depth=11..14, filters=20147, revisions=(23273,useless=12667), ccks=69606119, wck=6.226, mem=74M156
12.20/9.32 decisions=1307, wrong=405, backtracks=96, failedAssignments=320, nogoods=178, foundSolutions=7, bestBound=340
12.20/9.32 nFilterCalls=15084, avgTableProportion=0.33028374436488994, avgTableSize=0.6605674887297799
12.20/9.32
12.40/9.50 o 339
12.40/9.51 num=28, depth=7..104, filters=20702, revisions=(23862,useless=12969), ccks=71725630, wck=6.407, mem=74M156
12.40/9.51 decisions=1344, wrong=409, backtracks=96, failedAssignments=324, nogoods=182, foundSolutions=8, bestBound=339
12.40/9.51 nFilterCalls=15583, avgTableProportion=0.32939742026567415, avgTableSize=0.6587948405313483
12.40/9.51
12.51/9.68 o 335
12.51/9.68 num=29, depth=11..104, filters=21341, revisions=(24723,useless=13500), ccks=73799233, wck=6.585, mem=76M799
12.51/9.68 decisions=1390, wrong=416, backtracks=98, failedAssignments=330, nogoods=186, foundSolutions=9, bestBound=335
12.51/9.68 nFilterCalls=16170, avgTableProportion=0.32835497835497834, avgTableSize=0.6567099567099567
12.51/9.68
12.82/9.98 num=30, depth=9..16, filters=22157, revisions=(25728,useless=14056), ccks=77328272, wck=6.883, mem=76M799
12.82/9.98 decisions=1435, wrong=432, backtracks=103, failedAssignments=341, nogoods=193, foundSolutions=9, bestBound=335
12.82/9.98 nFilterCalls=16760, avgTableProportion=0.32971360381861575, avgTableSize=0.6594272076372315
12.82/9.98
13.03/10.15 num=31, depth=6..22, filters=22973, revisions=(26696,useless=14568), ccks=79310949, wck=7.053, mem=79M441
13.03/10.15 decisions=1490, wrong=449, backtracks=109, failedAssignments=352, nogoods=198, foundSolutions=9, bestBound=335
13.03/10.15 nFilterCalls=17335, avgTableProportion=0.33005480242284396, avgTableSize=0.6601096048456879
13.03/10.15
13.22/10.31 o 330
13.22/10.31 num=32, depth=8..104, filters=23582, revisions=(27321,useless=14903), ccks=81135323, wck=7.21, mem=79M441
13.22/10.31 decisions=1529, wrong=454, backtracks=109, failedAssignments=357, nogoods=203, foundSolutions=10, bestBound=330
13.22/10.31 nFilterCalls=17932, avgTableProportion=0.3297735891144323, avgTableSize=0.6595471782288646
13.22/10.31
13.34/10.47 o 327
13.34/10.47 num=33, depth=11..104, filters=24501, revisions=(28377,useless=15538), ccks=83042166, wck=7.375, mem=82M84
13.34/10.47 decisions=1590, wrong=470, backtracks=114, failedAssignments=368, nogoods=208, foundSolutions=11, bestBound=327
13.34/10.47 nFilterCalls=18834, avgTableProportion=0.3288733142189657, avgTableSize=0.6577466284379314
13.34/10.47
13.65/10.73 num=34, depth=14..17, filters=25383, revisions=(29554,useless=16207), ccks=86016325, wck=7.629, mem=82M84
13.65/10.73 decisions=1639, wrong=486, backtracks=119, failedAssignments=379, nogoods=212, foundSolutions=11, bestBound=327
13.65/10.73 nFilterCalls=19330, avgTableProportion=0.33041903776513193, avgTableSize=0.6608380755302639
13.65/10.73
14.01/11.02 num=35, depth=13..22, filters=26372, revisions=(30570,useless=16723), ccks=89422259, wck=7.917, mem=84M726
14.01/11.02 decisions=1689, wrong=502, backtracks=125, failedAssignments=390, nogoods=218, foundSolutions=11, bestBound=327
14.01/11.02 nFilterCalls=20132, avgTableProportion=0.3275630836479237, avgTableSize=0.6551261672958474
14.01/11.02
14.11/11.19 o 322
14.11/11.19 num=36, depth=9..104, filters=26917, revisions=(31208,useless=17076), ccks=91502386, wck=8.094, mem=84M726
14.11/11.19 decisions=1726, wrong=506, backtracks=126, failedAssignments=393, nogoods=221, foundSolutions=12, bestBound=322
14.11/11.19 nFilterCalls=20622, avgTableProportion=0.3278537484240132, avgTableSize=0.6557074968480264
14.11/11.19
14.40/11.50 num=37, depth=7..17, filters=27748, revisions=(32378,useless=17746), ccks=95083797, wck=8.397, mem=84M726
14.40/11.50 decisions=1778, wrong=525, backtracks=134, failedAssignments=406, nogoods=226, foundSolutions=12, bestBound=322
14.40/11.50 nFilterCalls=21097, avgTableProportion=0.32954922500829503, avgTableSize=0.6590984500165901
14.40/11.50
14.60/11.62 num=38, depth=11..17, filters=28757, revisions=(33282,useless=18227), ccks=96481212, wck=8.519, mem=87M369
14.60/11.62 decisions=1836, wrong=546, backtracks=144, failedAssignments=417, nogoods=230, foundSolutions=12, bestBound=322
14.60/11.62 nFilterCalls=22088, avgTableProportion=0.32854943860919955, avgTableSize=0.6570988772183991
14.60/11.62
14.70/11.75 num=39, depth=11..18, filters=29801, revisions=(34495,useless=18890), ccks=98046735, wck=8.655, mem=87M369
14.70/11.75 decisions=1890, wrong=566, backtracks=152, failedAssignments=429, nogoods=233, foundSolutions=12, bestBound=322
14.70/11.75 nFilterCalls=22743, avgTableProportion=0.3272435474651541, avgTableSize=0.6544870949303082
14.70/11.75
14.91/11.98 num=40, depth=10..13, filters=30716, revisions=(35562,useless=19448), ccks=100711231, wck=8.882, mem=90M11
14.91/11.98 decisions=1943, wrong=586, backtracks=159, failedAssignments=442, nogoods=237, foundSolutions=12, bestBound=322
14.91/11.98 nFilterCalls=23261, avgTableProportion=0.32853273719960446, avgTableSize=0.6570654743992089
14.91/11.98
15.31/12.32 num=41, depth=13..17, filters=31673, revisions=(36686,useless=20008), ccks=104695359, wck=9.218, mem=90M11
15.31/12.32 decisions=2002, wrong=609, backtracks=168, failedAssignments=456, nogoods=240, foundSolutions=12, bestBound=322
15.31/12.32 nFilterCalls=23784, avgTableProportion=0.3287924655230407, avgTableSize=0.6575849310460814
15.31/12.32
15.65/12.68 num=42, depth=13..19, filters=32722, revisions=(37896,useless=20602), ccks=108976583, wck=9.579, mem=92M653
15.65/12.68 decisions=2070, wrong=636, backtracks=182, failedAssignments=472, nogoods=243, foundSolutions=12, bestBound=322
15.65/12.68 nFilterCalls=24496, avgTableProportion=0.3294415414761594, avgTableSize=0.6588830829523188
15.65/12.68
15.85/12.81 num=43, depth=5..16, filters=33612, revisions=(38800,useless=21106), ccks=110574496, wck=9.716, mem=92M653
15.85/12.81 decisions=2120, wrong=654, backtracks=184, failedAssignments=489, nogoods=255, foundSolutions=12, bestBound=322
15.85/12.81 nFilterCalls=25422, avgTableProportion=0.3272952560774133, avgTableSize=0.6545905121548266
15.85/12.81
16.06/13.06 num=44, depth=11..22, filters=34821, revisions=(40371,useless=21974), ccks=113410463, wck=9.959, mem=95M296
16.06/13.06 decisions=2198, wrong=684, backtracks=196, failedAssignments=508, nogoods=261, foundSolutions=12, bestBound=322
16.06/13.06 nFilterCalls=26031, avgTableProportion=0.3277054281433675, avgTableSize=0.655410856286735
16.06/13.06
16.26/13.21 o 315
16.26/13.21 num=45, depth=10..104, filters=35667, revisions=(41192,useless=22402), ccks=115152632, wck=10.109, mem=95M296
16.26/13.21 decisions=2241, wrong=691, backtracks=199, failedAssignments=513, nogoods=264, foundSolutions=13, bestBound=315
16.26/13.21 nFilterCalls=26869, avgTableProportion=0.3259332316051956, avgTableSize=0.6518664632103912
16.26/13.21
16.56/13.55 o 314
16.56/13.55 num=46, depth=10..104, filters=37255, revisions=(43046,useless=23434), ccks=119200089, wck=10.454, mem=97M938
16.56/13.55 decisions=2338, wrong=727, backtracks=213, failedAssignments=535, nogoods=270, foundSolutions=14, bestBound=314
16.56/13.55 nFilterCalls=28003, avgTableProportion=0.3259293647109238, avgTableSize=0.6518587294218476
16.56/13.55
16.76/13.71 num=47, depth=6..17, filters=38023, revisions=(43993,useless=23964), ccks=121026508, wck=10.61, mem=97M938
16.76/13.71 decisions=2377, wrong=739, backtracks=214, failedAssignments=546, nogoods=280, foundSolutions=14, bestBound=314
16.76/13.71 nFilterCalls=28617, avgTableProportion=0.3256980116713841, avgTableSize=0.6513960233427682
16.76/13.71
16.86/13.85 num=48, depth=6..20, filters=38700, revisions=(44744,useless=24358), ccks=122686661, wck=10.753, mem=100M581
16.86/13.85 decisions=2419, wrong=752, backtracks=216, failedAssignments=557, nogoods=289, foundSolutions=14, bestBound=314
16.86/13.85 nFilterCalls=29111, avgTableProportion=0.3265947579952595, avgTableSize=0.653189515990519
16.86/13.85
17.07/14.06 num=49, depth=11..17, filters=39735, revisions=(45922,useless=24949), ccks=125154209, wck=10.965, mem=100M581
17.07/14.06 decisions=2467, wrong=770, backtracks=224, failedAssignments=569, nogoods=292, foundSolutions=14, bestBound=314
17.07/14.06 nFilterCalls=29697, avgTableProportion=0.3276425228137522, avgTableSize=0.6552850456275044
17.07/14.06
17.26/14.25 num=50, depth=8..19, filters=40650, revisions=(46907,useless=25489), ccks=127314504, wck=11.151, mem=103M223
17.26/14.25 decisions=2518, wrong=788, backtracks=229, failedAssignments=582, nogoods=303, foundSolutions=14, bestBound=314
17.26/14.25 nFilterCalls=30307, avgTableProportion=0.32914838156201537, avgTableSize=0.6582967631240307
17.26/14.25
17.46/14.43 num=51, depth=12..18, filters=41926, revisions=(48101,useless=26142), ccks=129336068, wck=11.327, mem=103M223
17.46/14.43 decisions=2578, wrong=812, backtracks=242, failedAssignments=596, nogoods=305, foundSolutions=14, bestBound=314
17.46/14.43 nFilterCalls=31432, avgTableProportion=0.3282800967167218, avgTableSize=0.6565601934334436
17.46/14.43
17.66/14.63 num=52, depth=8..19, filters=43002, revisions=(49239,useless=26719), ccks=131695703, wck=11.53, mem=105M866
17.66/14.63 decisions=2634, wrong=833, backtracks=247, failedAssignments=612, nogoods=310, foundSolutions=14, bestBound=314
17.66/14.63 nFilterCalls=32179, avgTableProportion=0.3290655396376519, avgTableSize=0.6581310792753038
17.66/14.63
17.86/14.84 o 304
17.86/14.84 num=53, depth=10..104, filters=44740, revisions=(50794,useless=27527), ccks=134097665, wck=11.74, mem=105M866
17.86/14.84 decisions=2704, wrong=853, backtracks=257, failedAssignments=624, nogoods=317, foundSolutions=15, bestBound=304
17.86/14.84 nFilterCalls=33653, avgTableProportion=0.328841410869759, avgTableSize=0.657682821739518
17.86/14.84
18.07/15.05 num=54, depth=10..16, filters=46626, revisions=(52660,useless=28497), ccks=136554768, wck=11.954, mem=108M508
18.07/15.05 decisions=2776, wrong=884, backtracks=272, failedAssignments=643, nogoods=324, foundSolutions=15, bestBound=304
18.07/15.05 nFilterCalls=35171, avgTableProportion=0.3287367433396833, avgTableSize=0.6574734866793666
18.07/15.05
18.27/15.20 num=55, depth=9..16, filters=47811, revisions=(53877,useless=29166), ccks=138214014, wck=12.099, mem=108M508
18.27/15.20 decisions=2826, wrong=902, backtracks=279, failedAssignments=654, nogoods=331, foundSolutions=15, bestBound=304
18.27/15.20 nFilterCalls=36024, avgTableProportion=0.32804519209415944, avgTableSize=0.6560903841883189
18.27/15.20
18.47/15.48 num=56, depth=10..16, filters=48836, revisions=(54924,useless=29698), ccks=141575518, wck=12.383, mem=111M150
18.47/15.48 decisions=2872, wrong=919, backtracks=287, failedAssignments=666, nogoods=335, foundSolutions=15, bestBound=304
18.47/15.48 nFilterCalls=36698, avgTableProportion=0.3286691372826857, avgTableSize=0.6573382745653714
18.47/15.48
18.76/15.74 num=57, depth=10..18, filters=50137, revisions=(56277,useless=30409), ccks=144597011, wck=12.641, mem=111M150
18.76/15.74 decisions=2935, wrong=944, backtracks=301, failedAssignments=679, nogoods=339, foundSolutions=15, bestBound=304
18.76/15.74 nFilterCalls=37566, avgTableProportion=0.328728105201512, avgTableSize=0.657456210403024
18.76/15.74
19.07/16.06 num=58, depth=9..16, filters=51735, revisions=(57913,useless=31242), ccks=148321940, wck=12.958, mem=113M793
19.07/16.06 decisions=2994, wrong=969, backtracks=314, failedAssignments=693, nogoods=340, foundSolutions=15, bestBound=304
19.07/16.06 nFilterCalls=38634, avgTableProportion=0.32844126934824247, avgTableSize=0.6568825386964849
19.07/16.06
19.27/16.23 num=59, depth=9..21, filters=52676, revisions=(58987,useless=31805), ccks=150394000, wck=13.135, mem=113M793
19.27/16.23 decisions=3056, wrong=993, backtracks=325, failedAssignments=709, nogoods=347, foundSolutions=15, bestBound=304
19.27/16.23 nFilterCalls=39229, avgTableProportion=0.32913150985240514, avgTableSize=0.6582630197048103
19.27/16.23
19.47/16.49 num=60, depth=10..17, filters=53756, revisions=(60179,useless=32464), ccks=153392265, wck=13.39, mem=116M435
19.47/16.49 decisions=3120, wrong=1020, backtracks=339, failedAssignments=726, nogoods=350, foundSolutions=15, bestBound=304
19.47/16.49 nFilterCalls=40073, avgTableProportion=0.3286377361315599, avgTableSize=0.6572754722631198
19.47/16.49
19.67/16.67 num=61, depth=8..16, filters=55439, revisions=(61902,useless=33322), ccks=155435675, wck=13.57, mem=116M435
19.67/16.67 decisions=3194, wrong=1053, backtracks=360, failedAssignments=745, nogoods=351, foundSolutions=15, bestBound=304
19.67/16.67 nFilterCalls=41094, avgTableProportion=0.3297683360101231, avgTableSize=0.6595366720202462
19.67/16.67
19.90/16.85 num=62, depth=8..14, filters=56737, revisions=(63375,useless=34042), ccks=157484042, wck=13.748, mem=119M78
19.90/16.85 decisions=3270, wrong=1086, backtracks=375, failedAssignments=766, nogoods=356, foundSolutions=15, bestBound=304
19.90/16.85 nFilterCalls=41857, avgTableProportion=0.3297178488663784, avgTableSize=0.6594356977327568
19.90/16.85
20.21/17.13 num=63, depth=9..18, filters=58125, revisions=(64897,useless=34784), ccks=160834600, wck=14.033, mem=119M78
20.21/17.13 decisions=3345, wrong=1117, backtracks=384, failedAssignments=789, nogoods=362, foundSolutions=15, bestBound=304
20.21/17.13 nFilterCalls=42668, avgTableProportion=0.3289701884316115, avgTableSize=0.657940376863223
20.21/17.13
20.51/17.49 num=64, depth=8..16, filters=60682, revisions=(67408,useless=36046), ccks=165046111, wck=14.395, mem=121M720
20.51/17.49 decisions=3449, wrong=1162, backtracks=408, failedAssignments=814, nogoods=365, foundSolutions=15, bestBound=304
20.51/17.49 nFilterCalls=44587, avgTableProportion=0.32918787987529996, avgTableSize=0.6583757597505999
20.51/17.49
20.91/17.82 num=65, depth=9..19, filters=62648, revisions=(69780,useless=37339), ccks=168846951, wck=14.721, mem=124M363
20.91/17.82 decisions=3557, wrong=1210, backtracks=433, failedAssignments=842, nogoods=368, foundSolutions=15, bestBound=304
20.91/17.82 nFilterCalls=45689, avgTableProportion=0.3298824662391385, avgTableSize=0.659764932478277
20.91/17.82
21.23/18.12 num=66, depth=7..12, filters=65206, revisions=(72066,useless=38422), ccks=172241365, wck=15.018, mem=127M5
21.23/18.12 decisions=3670, wrong=1263, backtracks=465, failedAssignments=873, nogoods=375, foundSolutions=15, bestBound=304
21.23/18.12 nFilterCalls=47381, avgTableProportion=0.33163082248158543, avgTableSize=0.6632616449631709
21.23/18.12
21.52/18.40 num=67, depth=8..16, filters=67042, revisions=(74153,useless=39497), ccks=175554409, wck=15.304, mem=129M647
21.52/18.40 decisions=3783, wrong=1315, backtracks=490, failedAssignments=907, nogoods=382, foundSolutions=15, bestBound=304
21.52/18.40 nFilterCalls=48548, avgTableProportion=0.33196012194117164, avgTableSize=0.6639202438823433
21.52/18.40
21.82/18.78 num=68, depth=8..14, filters=70446, revisions=(77454,useless=41139), ccks=179837403, wck=15.679, mem=132M290
21.82/18.78 decisions=3939, wrong=1389, backtracks=532, failedAssignments=944, nogoods=388, foundSolutions=15, bestBound=304
21.82/18.78 nFilterCalls=50774, avgTableProportion=0.33113404498365306, avgTableSize=0.6622680899673061
21.82/18.78
22.52/19.41 num=69, depth=6..16, filters=72973, revisions=(80069,useless=42433), ccks=187360337, wck=16.316, mem=134M932
22.52/19.41 decisions=4077, wrong=1452, backtracks=560, failedAssignments=985, nogoods=392, foundSolutions=15, bestBound=304
22.52/19.41 nFilterCalls=52284, avgTableProportion=0.3320136179328284, avgTableSize=0.6640272358656568
22.52/19.41
22.82/19.70 num=70, depth=10..13, filters=74338, revisions=(81622,useless=43261), ccks=190745648, wck=16.604, mem=137M575
22.82/19.70 decisions=4193, wrong=1505, backtracks=569, failedAssignments=1030, nogoods=429, foundSolutions=15, bestBound=304
22.82/19.70 nFilterCalls=52912, avgTableProportion=0.3327317054732386, avgTableSize=0.6654634109464772
22.82/19.70
23.42/20.30 num=71, depth=0..0, filters=74873, revisions=(82550,useless=43657), ccks=197947429, wck=17.202, mem=137M575
23.42/20.30 decisions=4293, wrong=1555, backtracks=569, failedAssignments=1080, nogoods=429, foundSolutions=15, bestBound=304
23.42/20.30 nFilterCalls=52916, avgTableProportion=0.3327443495351122, avgTableSize=0.6654886990702245
23.42/20.30
24.03/20.90 num=72, depth=0..14, filters=77286, revisions=(85264,useless=45027), ccks=204991739, wck=17.799, mem=140M217
24.03/20.90 decisions=4455, wrong=1631, backtracks=601, failedAssignments=1135, nogoods=446, foundSolutions=15, bestBound=304
24.03/20.90 nFilterCalls=54268, avgTableProportion=0.3336773052259158, avgTableSize=0.6673546104518316
24.03/20.90
24.76/21.62 num=73, depth=7..13, filters=80252, revisions=(88865,useless=46864), ccks=213294835, wck=18.519, mem=24M705
24.76/21.62 decisions=4659, wrong=1728, backtracks=645, failedAssignments=1196, nogoods=452, foundSolutions=15, bestBound=304
24.76/21.62 nFilterCalls=55656, avgTableProportion=0.3354355325571367, avgTableSize=0.6708710651142734
24.76/21.62
25.27/22.11 num=74, depth=5..15, filters=84424, revisions=(92988,useless=49067), ccks=218975977, wck=19.014, mem=29M937
25.27/22.11 decisions=4883, wrong=1836, backtracks=693, failedAssignments=1263, nogoods=462, foundSolutions=15, bestBound=304
25.27/22.11 nFilterCalls=58375, avgTableProportion=0.336762312633833, avgTableSize=0.673524625267666
25.27/22.11
26.06/22.97 num=75, depth=8..18, filters=89512, revisions=(99056,useless=52290), ccks=229050857, wck=19.876, mem=35M168
26.06/22.97 decisions=5171, wrong=1976, backtracks=769, failedAssignments=1337, nogoods=471, foundSolutions=15, bestBound=304
26.06/22.97 nFilterCalls=61038, avgTableProportion=0.3372735017530063, avgTableSize=0.6745470035060126
26.06/22.97
26.66/23.57 num=76, depth=5..13, filters=94880, revisions=(104268,useless=54933), ccks=235900030, wck=20.474, mem=43M16
26.66/23.57 decisions=5454, wrong=2113, backtracks=837, failedAssignments=1418, nogoods=475, foundSolutions=15, bestBound=304
26.66/23.57 nFilterCalls=64489, avgTableProportion=0.3375536913272031, avgTableSize=0.6751073826544062
26.66/23.57
27.27/24.19 num=77, depth=10..20, filters=98410, revisions=(108907,useless=57546), ccks=243161387, wck=21.096, mem=45M632
27.27/24.19 decisions=5757, wrong=2258, backtracks=895, failedAssignments=1507, nogoods=480, foundSolutions=15, bestBound=304
27.27/24.19 nFilterCalls=65991, avgTableProportion=0.33487899865133125, avgTableSize=0.6697579973026625
27.27/24.19
27.76/24.61 o 303
27.76/24.61 num=78, depth=6..104, filters=102944, revisions=(112961,useless=59693), ccks=247952630, wck=21.517, mem=50M864
27.76/24.61 decisions=5962, wrong=2348, backtracks=940, failedAssignments=1565, nogoods=488, foundSolutions=16, bestBound=303
27.76/24.61 nFilterCalls=69369, avgTableProportion=0.33561821562945987, avgTableSize=0.6712364312589197
27.76/24.61
28.47/25.34 num=79, depth=5..15, filters=112456, revisions=(121707,useless=64196), ccks=256177270, wck=22.247, mem=58M712
28.47/25.34 decisions=6362, wrong=2545, backtracks=1046, failedAssignments=1673, nogoods=495, foundSolutions=16, bestBound=303
28.47/25.34 nFilterCalls=76264, avgTableProportion=0.3370332004615546, avgTableSize=0.6740664009231092
28.47/25.34
28.57/25.48 num=80, depth=4..11, filters=112979, revisions=(122265,useless=64457), ccks=257770228, wck=22.383, mem=58M712
28.57/25.48 decisions=6395, wrong=2558, backtracks=1051, failedAssignments=1684, nogoods=497, foundSolutions=16, bestBound=303
28.57/25.48 nFilterCalls=76584, avgTableProportion=0.3373224172150841, avgTableSize=0.6746448344301682
28.57/25.48
28.77/25.68 num=81, depth=7..23, filters=113831, revisions=(123288,useless=64980), ccks=260169389, wck=22.587, mem=61M328
28.77/25.68 decisions=6451, wrong=2577, backtracks=1058, failedAssignments=1696, nogoods=503, foundSolutions=16, bestBound=303
28.77/25.68 nFilterCalls=77091, avgTableProportion=0.3377437054909133, avgTableSize=0.6754874109818266
28.77/25.68
28.97/25.85 num=82, depth=7..13, filters=115433, revisions=(124770,useless=65716), ccks=262090370, wck=22.754, mem=61M328
28.97/25.85 decisions=6500, wrong=2598, backtracks=1067, failedAssignments=1709, nogoods=509, foundSolutions=16, bestBound=303
28.97/25.85 nFilterCalls=78152, avgTableProportion=0.3384494318763435, avgTableSize=0.676898863752687
28.97/25.85
29.19/26.01 num=83, depth=6..13, filters=116098, revisions=(125501,useless=66061), ccks=263981778, wck=22.916, mem=63M944
29.19/26.01 decisions=6548, wrong=2618, backtracks=1079, failedAssignments=1723, nogoods=513, foundSolutions=16, bestBound=303
29.19/26.01 nFilterCalls=78567, avgTableProportion=0.33889546501711915, avgTableSize=0.6777909300342383
29.19/26.01
29.30/26.14 num=84, depth=8..13, filters=116977, revisions=(126456,useless=66558), ccks=265380955, wck=23.038, mem=63M944
29.30/26.14 decisions=6599, wrong=2638, backtracks=1084, failedAssignments=1739, nogoods=518, foundSolutions=16, bestBound=303
29.30/26.14 nFilterCalls=79119, avgTableProportion=0.3393432677359421, avgTableSize=0.6786865354718842
29.30/26.14
29.49/26.32 num=85, depth=9..18, filters=118128, revisions=(127725,useless=67259), ccks=267471688, wck=23.217, mem=66M560
29.49/26.32 decisions=6666, wrong=2667, backtracks=1096, failedAssignments=1756, nogoods=521, foundSolutions=16, bestBound=303
29.49/26.32 nFilterCalls=79809, avgTableProportion=0.33976744477439885, avgTableSize=0.6795348895487977
29.49/26.32
29.79/26.62 num=86, depth=6..12, filters=119472, revisions=(129324,useless=68116), ccks=271106019, wck=23.525, mem=66M560
29.79/26.62 decisions=6737, wrong=2699, backtracks=1112, failedAssignments=1775, nogoods=524, foundSolutions=16, bestBound=303
29.79/26.62 nFilterCalls=80476, avgTableProportion=0.34015110094935136, avgTableSize=0.6803022018987027
29.79/26.62
30.01/26.89 num=87, depth=5..12, filters=120565, revisions=(130562,useless=68684), ccks=274257329, wck=23.793, mem=69M175
30.01/26.89 decisions=6818, wrong=2736, backtracks=1134, failedAssignments=1796, nogoods=527, foundSolutions=16, bestBound=303
30.01/26.89 nFilterCalls=81030, avgTableProportion=0.3407194866098976, avgTableSize=0.6814389732197952
30.01/26.89
30.32/27.18 num=88, depth=5..20, filters=121939, revisions=(132202,useless=69562), ccks=277637053, wck=24.082, mem=71M791
30.32/27.18 decisions=6909, wrong=2777, backtracks=1153, failedAssignments=1819, nogoods=531, foundSolutions=16, bestBound=303
30.32/27.18 nFilterCalls=81769, avgTableProportion=0.340728148809451, avgTableSize=0.681456297618902
30.32/27.18
30.51/27.36 num=89, depth=7..12, filters=124381, revisions=(134448,useless=70737), ccks=279715032, wck=24.265, mem=71M791
30.51/27.36 decisions=6986, wrong=2812, backtracks=1167, failedAssignments=1844, nogoods=535, foundSolutions=16, bestBound=303
30.51/27.36 nFilterCalls=83552, avgTableProportion=0.34129045384909995, avgTableSize=0.6825809076981999
30.51/27.36
30.73/27.59 num=90, depth=7..15, filters=126184, revisions=(136480,useless=71796), ccks=282337748, wck=24.493, mem=74M407
30.73/27.59 decisions=7084, wrong=2856, backtracks=1186, failedAssignments=1872, nogoods=542, foundSolutions=16, bestBound=303
30.73/27.59 nFilterCalls=84599, avgTableProportion=0.341327911677443, avgTableSize=0.682655823354886
30.73/27.59
31.03/27.87 num=91, depth=6..17, filters=128519, revisions=(138956,useless=73113), ccks=285567619, wck=24.772, mem=77M23
31.03/27.87 decisions=7192, wrong=2904, backtracks=1209, failedAssignments=1903, nogoods=553, foundSolutions=16, bestBound=303
31.03/27.87 nFilterCalls=86247, avgTableProportion=0.3403654619870836, avgTableSize=0.6807309239741672
31.03/27.87
31.34/28.18 num=92, depth=7..16, filters=130647, revisions=(141401,useless=74367), ccks=289187642, wck=25.084, mem=79M639
31.34/28.18 decisions=7311, wrong=2957, backtracks=1236, failedAssignments=1937, nogoods=557, foundSolutions=16, bestBound=303
31.34/28.18 nFilterCalls=87375, avgTableProportion=0.34065236051502146, avgTableSize=0.6813047210300429
31.34/28.18
31.73/28.54 num=93, depth=6..14, filters=133839, revisions=(144511,useless=75993), ccks=293326916, wck=25.444, mem=82M255
31.73/28.54 decisions=7439, wrong=3015, backtracks=1259, failedAssignments=1974, nogoods=568, foundSolutions=16, bestBound=303
31.73/28.54 nFilterCalls=89672, avgTableProportion=0.3414164956731198, avgTableSize=0.6828329913462396
31.73/28.54
32.34/29.12 num=94, depth=5..12, filters=137233, revisions=(147929,useless=77762), ccks=300060752, wck=26.02, mem=87M487
32.34/29.12 decisions=7600, wrong=3092, backtracks=1301, failedAssignments=2015, nogoods=571, foundSolutions=16, bestBound=303
32.34/29.12 nFilterCalls=91792, avgTableProportion=0.3418326215792226, avgTableSize=0.6836652431584452
32.34/29.12
32.53/29.38 num=95, depth=6..14, filters=141057, revisions=(151623,useless=79660), ccks=302917103, wck=26.278, mem=90M103
32.53/29.38 decisions=7761, wrong=3168, backtracks=1334, failedAssignments=2060, nogoods=578, foundSolutions=16, bestBound=303
32.53/29.38 nFilterCalls=94254, avgTableProportion=0.34344431005580667, avgTableSize=0.6868886201116133
32.53/29.38
33.13/29.97 num=96, depth=7..15, filters=143569, revisions=(154597,useless=81160), ccks=309958736, wck=26.875, mem=95M335
33.13/29.97 decisions=7929, wrong=3247, backtracks=1369, failedAssignments=2110, nogoods=586, foundSolutions=16, bestBound=303
33.13/29.97 nFilterCalls=95463, avgTableProportion=0.3439604873092193, avgTableSize=0.6879209746184386
33.13/29.97
33.94/30.79 num=97, depth=6..13, filters=148272, revisions=(159091,useless=83403), ccks=319528836, wck=27.691, mem=100M566
33.94/30.79 decisions=8124, wrong=3341, backtracks=1414, failedAssignments=2165, nogoods=590, foundSolutions=16, bestBound=303
33.94/30.79 nFilterCalls=98441, avgTableProportion=0.344119828120397, avgTableSize=0.688239656240794
33.94/30.79
34.35/31.13 num=98, depth=6..15, filters=151935, revisions=(163215,useless=85573), ccks=323328334, wck=28.028, mem=103M182
34.35/31.13 decisions=8336, wrong=3443, backtracks=1467, failedAssignments=2226, nogoods=598, foundSolutions=16, bestBound=303
34.35/31.13 nFilterCalls=100503, avgTableProportion=0.3448752773549048, avgTableSize=0.6897505547098096
34.35/31.13
35.14/31.92 num=99, depth=7..16, filters=154962, revisions=(166844,useless=87445), ccks=332745128, wck=28.822, mem=109M736
35.14/31.92 decisions=8542, wrong=3541, backtracks=1502, failedAssignments=2293, nogoods=604, foundSolutions=16, bestBound=303
35.14/31.92 nFilterCalls=101768, avgTableProportion=0.3454278358619605, avgTableSize=0.690855671723921
35.14/31.92
35.74/32.53 num=100, depth=5..15, filters=161080, revisions=(173104,useless=90642), ccks=339729985, wck=29.434, mem=114M968
35.74/32.53 decisions=8811, wrong=3672, backtracks=1570, failedAssignments=2367, nogoods=611, foundSolutions=16, bestBound=303
35.74/32.53 nFilterCalls=105258, avgTableProportion=0.34689049763438407, avgTableSize=0.6937809952687681
35.74/32.53
36.95/33.75 num=101, depth=5..16, filters=166446, revisions=(178357,useless=93386), ccks=354105666, wck=30.649, mem=122M816
36.95/33.75 decisions=9067, wrong=3796, backtracks=1630, failedAssignments=2448, nogoods=615, foundSolutions=16, bestBound=303
36.95/33.75 nFilterCalls=108790, avgTableProportion=0.3471274933357845, avgTableSize=0.694254986671569
36.95/33.75
37.95/34.75 num=102, depth=4..19, filters=171667, revisions=(183537,useless=95977), ccks=365855097, wck=31.647, mem=128M47
37.95/34.75 decisions=9356, wrong=3934, backtracks=1686, failedAssignments=2537, nogoods=623, foundSolutions=16, bestBound=303
37.95/34.75 nFilterCalls=112206, avgTableProportion=0.3462381690818673, avgTableSize=0.6924763381637346
37.95/34.75
38.95/35.77 num=103, depth=6..16, filters=177564, revisions=(190009,useless=99784), ccks=377951764, wck=32.676, mem=133M279
38.95/35.77 decisions=9673, wrong=4087, backtracks=1749, failedAssignments=2635, nogoods=633, foundSolutions=16, bestBound=303
38.95/35.77 nFilterCalls=116185, avgTableProportion=0.3456900632611783, avgTableSize=0.6913801265223566
38.95/35.77
39.65/36.48 num=104, depth=5..18, filters=181983, revisions=(194488,useless=102121), ccks=386202936, wck=33.382, mem=138M511
39.65/36.48 decisions=10006, wrong=4248, backtracks=1813, failedAssignments=2743, nogoods=648, foundSolutions=16, bestBound=303
39.65/36.48 nFilterCalls=119037, avgTableProportion=0.34448532809126575, avgTableSize=0.6889706561825315
39.65/36.48
40.38/37.18 num=105, depth=0..23, filters=187886, revisions=(201092,useless=105755), ccks=394256121, wck=34.081, mem=146M359
40.38/37.18 decisions=10371, wrong=4426, backtracks=1889, failedAssignments=2862, nogoods=665, foundSolutions=16, bestBound=303
40.38/37.18 nFilterCalls=122421, avgTableProportion=0.3444425384533699, avgTableSize=0.6888850769067398
40.38/37.18
40.77/37.55 num=106, depth=7..11, filters=192626, revisions=(205675,useless=108324), ccks=398429200, wck=34.455, mem=151M591
40.77/37.55 decisions=10673, wrong=4573, backtracks=1911, failedAssignments=2993, nogoods=722, foundSolutions=16, bestBound=303
40.77/37.55 nFilterCalls=126635, avgTableProportion=0.3431278872349666, avgTableSize=0.6862557744699332
40.77/37.55
41.70/38.47 num=107, depth=5..21, filters=199080, revisions=(213298,useless=112576), ccks=408674314, wck=35.371, mem=27M362
41.70/38.47 decisions=11120, wrong=4789, backtracks=2003, failedAssignments=3137, nogoods=732, foundSolutions=16, bestBound=303
41.70/38.47 nFilterCalls=130067, avgTableProportion=0.3432384847809206, avgTableSize=0.6864769695618412
41.70/38.47
42.78/39.49 num=108, depth=5..16, filters=212054, revisions=(226287,useless=119588), ccks=420216806, wck=36.392, mem=37M825
42.78/39.49 decisions=11670, wrong=5060, backtracks=2152, failedAssignments=3295, nogoods=736, foundSolutions=16, bestBound=303
42.78/39.49 nFilterCalls=138470, avgTableProportion=0.34369538528201055, avgTableSize=0.6873907705640211
42.78/39.49
43.98/40.69 num=109, depth=5..19, filters=222637, revisions=(237933,useless=125852), ccks=434040114, wck=37.592, mem=48M289
43.98/40.69 decisions=12240, wrong=5341, backtracks=2291, failedAssignments=3469, nogoods=746, foundSolutions=16, bestBound=303
43.98/40.69 nFilterCalls=144458, avgTableProportion=0.3445499730025336, avgTableSize=0.6890999460050672
43.98/40.69
44.68/41.34 o 301
44.68/41.34 num=110, depth=6..104, filters=229502, revisions=(244832,useless=129615), ccks=441511147, wck=38.245, mem=56M137
44.68/41.34 decisions=12539, wrong=5478, backtracks=2358, failedAssignments=3557, nogoods=768, foundSolutions=17, bestBound=301
44.68/41.34 nFilterCalls=149034, avgTableProportion=0.3436028020451709, avgTableSize=0.6872056040903418
44.68/41.34
46.19/42.87 num=111, depth=5..17, filters=245259, revisions=(261468,useless=138183), ccks=458920670, wck=39.767, mem=69M217
46.19/42.87 decisions=13251, wrong=5831, backtracks=2530, failedAssignments=3768, nogoods=773, foundSolutions=17, bestBound=301
46.19/42.87 nFilterCalls=158038, avgTableProportion=0.3447082347283565, avgTableSize=0.689416469456713
46.19/42.87
46.29/42.98 num=112, depth=7..12, filters=246059, revisions=(262309,useless=138621), ccks=460187523, wck=39.877, mem=69M217
46.29/42.98 decisions=13294, wrong=5849, backtracks=2539, failedAssignments=3779, nogoods=774, foundSolutions=17, bestBound=301
46.29/42.98 nFilterCalls=158573, avgTableProportion=0.3449609958820228, avgTableSize=0.6899219917640456
46.29/42.98
46.59/43.20 num=113, depth=8..14, filters=247261, revisions=(263486,useless=139176), ccks=462842649, wck=40.105, mem=71M833
46.59/43.20 decisions=13350, wrong=5872, backtracks=2553, failedAssignments=3791, nogoods=778, foundSolutions=17, bestBound=301
46.59/43.20 nFilterCalls=159268, avgTableProportion=0.34515094055303014, avgTableSize=0.6903018811060603
46.59/43.20
46.69/43.36 num=114, depth=10..19, filters=248095, revisions=(264544,useless=139769), ccks=464746927, wck=40.266, mem=71M833
46.69/43.36 decisions=13404, wrong=5894, backtracks=2563, failedAssignments=3804, nogoods=779, foundSolutions=17, bestBound=301
46.69/43.36 nFilterCalls=159689, avgTableProportion=0.34525859639674616, avgTableSize=0.6905171927934923
46.69/43.36
46.89/43.57 num=115, depth=8..13, filters=249726, revisions=(266024,useless=140488), ccks=467156109, wck=40.474, mem=74M449
46.89/43.57 decisions=13464, wrong=5920, backtracks=2577, failedAssignments=3818, nogoods=786, foundSolutions=17, bestBound=301
46.89/43.57 nFilterCalls=160915, avgTableProportion=0.345694932107013, avgTableSize=0.691389864214026
46.89/43.57
47.09/43.74 num=116, depth=5..14, filters=251144, revisions=(267480,useless=141220), ccks=469109116, wck=40.644, mem=77M65
47.09/43.74 decisions=13523, wrong=5943, backtracks=2588, failedAssignments=3834, nogoods=789, foundSolutions=17, bestBound=301
47.09/43.74 nFilterCalls=161738, avgTableProportion=0.34601948830825163, avgTableSize=0.6920389766165033
47.09/43.74
47.29/43.98 num=117, depth=6..11, filters=252499, revisions=(268705,useless=141779), ccks=471871370, wck=40.88, mem=77M65
47.29/43.98 decisions=13585, wrong=5970, backtracks=2600, failedAssignments=3851, nogoods=793, foundSolutions=17, bestBound=301
47.29/43.98 nFilterCalls=162585, avgTableProportion=0.34638496786296397, avgTableSize=0.6927699357259279
47.29/43.98
47.59/44.20 num=118, depth=7..17, filters=253840, revisions=(270154,useless=142568), ccks=474454657, wck=41.101, mem=79M681
47.59/44.20 decisions=13660, wrong=6004, backtracks=2617, failedAssignments=3870, nogoods=794, foundSolutions=17, bestBound=301
47.59/44.20 nFilterCalls=163467, avgTableProportion=0.3463940734215469, avgTableSize=0.6927881468430938
47.59/44.20
47.79/44.45 num=119, depth=7..14, filters=256281, revisions=(272525,useless=143723), ccks=477311880, wck=41.352, mem=82M297
47.79/44.45 decisions=13743, wrong=6041, backtracks=2638, failedAssignments=3891, nogoods=797, foundSolutions=17, bestBound=301
47.79/44.45 nFilterCalls=165047, avgTableProportion=0.34672547819711963, avgTableSize=0.6934509563942393
47.79/44.45
47.99/44.65 num=120, depth=7..14, filters=258229, revisions=(274438,useless=144660), ccks=479651248, wck=41.557, mem=84M912
47.99/44.65 decisions=13828, wrong=6079, backtracks=2658, failedAssignments=3914, nogoods=799, foundSolutions=17, bestBound=301
47.99/44.65 nFilterCalls=166320, avgTableProportion=0.34715608465608466, avgTableSize=0.6943121693121693
47.99/44.65
48.40/45.02 num=121, depth=8..13, filters=260343, revisions=(276592,useless=145685), ccks=483875091, wck=41.919, mem=87M528
48.40/45.02 decisions=13935, wrong=6128, backtracks=2686, failedAssignments=3939, nogoods=802, foundSolutions=17, bestBound=301
48.40/45.02 nFilterCalls=167483, avgTableProportion=0.3474203351981992, avgTableSize=0.6948406703963984
48.40/45.02
48.50/45.16 num=122, depth=8..13, filters=261798, revisions=(278097,useless=146591), ccks=485547286, wck=42.066, mem=87M528
48.50/45.16 decisions=14013, wrong=6163, backtracks=2696, failedAssignments=3967, nogoods=803, foundSolutions=17, bestBound=301
48.50/45.16 nFilterCalls=168593, avgTableProportion=0.3471763359095573, avgTableSize=0.6943526718191146
48.50/45.16
48.90/45.58 num=123, depth=5..14, filters=263921, revisions=(280250,useless=147728), ccks=490472811, wck=42.484, mem=90M144
48.90/45.58 decisions=14116, wrong=6212, backtracks=2721, failedAssignments=3998, nogoods=806, foundSolutions=17, bestBound=301
48.90/45.58 nFilterCalls=169862, avgTableProportion=0.3474055409685509, avgTableSize=0.6948110819371018
48.90/45.58
49.20/45.81 num=124, depth=6..18, filters=265949, revisions=(282315,useless=148853), ccks=493134432, wck=42.715, mem=95M376
49.20/45.81 decisions=14240, wrong=6268, backtracks=2747, failedAssignments=4032, nogoods=811, foundSolutions=17, bestBound=301
49.20/45.81 nFilterCalls=171313, avgTableProportion=0.34755972985120803, avgTableSize=0.6951194597024161
49.20/45.81
49.60/46.29 num=125, depth=5..14, filters=269493, revisions=(285841,useless=150635), ccks=498657170, wck=43.191, mem=97M992
49.60/46.29 decisions=14380, wrong=6335, backtracks=2785, failedAssignments=4069, nogoods=816, foundSolutions=17, bestBound=301
49.60/46.29 nFilterCalls=173309, avgTableProportion=0.3481931117252999, avgTableSize=0.6963862234505998
49.60/46.29
49.80/46.49 num=126, depth=5..18, filters=271423, revisions=(288020,useless=151860), ccks=500962016, wck=43.392, mem=100M608
49.80/46.49 decisions=14514, wrong=6398, backtracks=2812, failedAssignments=4110, nogoods=822, foundSolutions=17, bestBound=301
49.80/46.49 nFilterCalls=174550, avgTableProportion=0.3480607275852191, avgTableSize=0.6961214551704382
49.80/46.49
50.31/46.98 num=127, depth=7..13, filters=275696, revisions=(292157,useless=153919), ccks=506641537, wck=43.885, mem=103M224
50.31/46.98 decisions=14690, wrong=6482, backtracks=2860, failedAssignments=4155, nogoods=827, foundSolutions=17, bestBound=301
50.31/46.98 nFilterCalls=177245, avgTableProportion=0.3483116590030748, avgTableSize=0.6966233180061496
50.31/46.98
50.71/47.34 num=128, depth=8..16, filters=278359, revisions=(295179,useless=155583), ccks=510841980, wck=44.244, mem=108M456
50.71/47.34 decisions=14854, wrong=6559, backtracks=2892, failedAssignments=4205, nogoods=837, foundSolutions=17, bestBound=301
50.71/47.34 nFilterCalls=178746, avgTableProportion=0.3485504570731653, avgTableSize=0.6971009141463306
50.71/47.34
51.21/47.89 num=129, depth=5..14, filters=281863, revisions=(298906,useless=157509), ccks=517245833, wck=44.79, mem=111M72
51.21/47.89 decisions=15046, wrong=6649, backtracks=2933, failedAssignments=4260, nogoods=841, foundSolutions=17, bestBound=301
51.21/47.89 nFilterCalls=180811, avgTableProportion=0.34873984436787586, avgTableSize=0.6974796887357517
51.21/47.89
52.11/48.72 num=130, depth=5..14, filters=285379, revisions=(302773,useless=159457), ccks=527115695, wck=45.62, mem=116M304
52.11/48.72 decisions=15256, wrong=6750, backtracks=2978, failedAssignments=4321, nogoods=844, foundSolutions=17, bestBound=301
52.11/48.72 nFilterCalls=182535, avgTableProportion=0.3488728189114416, avgTableSize=0.6977456378228832
52.11/48.72
52.71/49.34 num=131, depth=6..12, filters=290241, revisions=(307912,useless=162022), ccks=534267005, wck=46.239, mem=121M536
52.71/49.34 decisions=15482, wrong=6860, backtracks=3028, failedAssignments=4388, nogoods=850, foundSolutions=17, bestBound=301
52.71/49.34 nFilterCalls=185065, avgTableProportion=0.34975008780698674, avgTableSize=0.6995001756139735
52.71/49.34
53.01/49.64 num=132, depth=9..14, filters=294238, revisions=(312401,useless=164367), ccks=537641628, wck=46.539, mem=126M768
53.01/49.64 decisions=15703, wrong=6966, backtracks=3062, failedAssignments=4462, nogoods=882, foundSolutions=17, bestBound=301
53.01/49.64 nFilterCalls=187010, avgTableProportion=0.3504919523020159, avgTableSize=0.7009839046040318
53.01/49.64
53.71/50.37 num=133, depth=5..14, filters=297443, revisions=(315859,useless=166064), ccks=546317835, wck=47.273, mem=129M384
53.71/50.37 decisions=15933, wrong=7078, backtracks=3099, failedAssignments=4543, nogoods=887, foundSolutions=17, bestBound=301
53.71/50.37 nFilterCalls=188770, avgTableProportion=0.3507813741590295, avgTableSize=0.701562748318059
53.71/50.37
54.42/51.01 num=134, depth=7..18, filters=302265, revisions=(321206,useless=168892), ccks=553733861, wck=47.913, mem=137M231
54.42/51.01 decisions=16202, wrong=7208, backtracks=3158, failedAssignments=4632, nogoods=890, foundSolutions=17, bestBound=301
54.42/51.01 nFilterCalls=191538, avgTableProportion=0.3510112875773998, avgTableSize=0.7020225751547996
54.42/51.01
55.31/51.98 num=135, depth=6..16, filters=308918, revisions=(328078,useless=172466), ccks=564980986, wck=48.879, mem=145M79
55.31/51.98 decisions=16553, wrong=7379, backtracks=3246, failedAssignments=4730, nogoods=899, foundSolutions=17, bestBound=301
55.31/51.98 nFilterCalls=195341, avgTableProportion=0.3515007090165403, avgTableSize=0.7030014180330806
55.31/51.98
56.31/52.93 num=136, depth=5..17, filters=318604, revisions=(337979,useless=177783), ccks=575833813, wck=49.828, mem=152M927
56.31/52.93 decisions=16947, wrong=7571, backtracks=3343, failedAssignments=4838, nogoods=905, foundSolutions=17, bestBound=301
56.31/52.93 nFilterCalls=200885, avgTableProportion=0.3524454289767778, avgTableSize=0.7048908579535555
56.31/52.93
57.25/53.86 num=137, depth=6..15, filters=324813, revisions=(344325,useless=181309), ccks=586606197, wck=50.764, mem=27M487
57.25/53.86 decisions=17311, wrong=7749, backtracks=3421, failedAssignments=4957, nogoods=910, foundSolutions=17, bestBound=301
57.25/53.86 nFilterCalls=205137, avgTableProportion=0.3524352018407211, avgTableSize=0.7048704036814422
57.25/53.86
59.16/55.71 num=138, depth=5..15, filters=333410, revisions=(352762,useless=185540), ccks=608459120, wck=52.615, mem=41M472
59.16/55.71 decisions=17759, wrong=7967, backtracks=3528, failedAssignments=5088, nogoods=916, foundSolutions=17, bestBound=301
59.16/55.71 nFilterCalls=210327, avgTableProportion=0.3533783109158596, avgTableSize=0.7067566218317192
59.16/55.71
60.37/56.93 num=139, depth=6..17, filters=346076, revisions=(365456,useless=192172), ccks=622441207, wck=53.837, mem=51M972
60.37/56.93 decisions=18256, wrong=8209, backtracks=3657, failedAssignments=5232, nogoods=934, foundSolutions=17, bestBound=301
60.37/56.93 nFilterCalls=218397, avgTableProportion=0.35274751942563315, avgTableSize=0.7054950388512663
60.37/56.93
61.88/58.47 num=140, depth=5..15, filters=355141, revisions=(374951,useless=197010), ccks=640392964, wck=55.368, mem=62M473
61.88/58.47 decisions=18773, wrong=8465, backtracks=3764, failedAssignments=5390, nogoods=940, foundSolutions=17, bestBound=301
61.88/58.47 nFilterCalls=223384, avgTableProportion=0.3530131970060524, avgTableSize=0.7060263940121048
61.88/58.47
63.38/59.94 num=141, depth=5..17, filters=365081, revisions=(385898,useless=202919), ccks=657551279, wck=56.841, mem=72M974
63.38/59.94 decisions=19358, wrong=8754, backtracks=3902, failedAssignments=5564, nogoods=947, foundSolutions=17, bestBound=301
63.38/59.94 nFilterCalls=229015, avgTableProportion=0.3531056917669148, avgTableSize=0.7062113835338296
63.38/59.94
64.58/61.17 num=142, depth=6..19, filters=377788, revisions=(398093,useless=209426), ccks=671705169, wck=58.071, mem=83M475
64.58/61.17 decisions=19949, wrong=9046, backtracks=4036, failedAssignments=5755, nogoods=956, foundSolutions=17, bestBound=301
64.58/61.17 nFilterCalls=237525, avgTableProportion=0.3516050942006105, avgTableSize=0.703210188401221
64.58/61.17
67.18/63.77 num=143, depth=7..16, filters=392208, revisions=(413679,useless=217807), ccks=702226193, wck=60.672, mem=101M851
67.18/63.77 decisions=20688, wrong=9411, backtracks=4233, failedAssignments=5966, nogoods=967, foundSolutions=17, bestBound=301
67.18/63.77 nFilterCalls=245984, avgTableProportion=0.3520777774164173, avgTableSize=0.7041555548328347
67.18/63.77
69.18/65.71 num=144, depth=5..20, filters=402723, revisions=(425094,useless=223739), ccks=725077265, wck=62.615, mem=114M977
69.18/65.71 decisions=21383, wrong=9751, backtracks=4358, failedAssignments=6198, nogoods=987, foundSolutions=17, bestBound=301
69.18/65.71 nFilterCalls=251487, avgTableProportion=0.35171201692334, avgTableSize=0.70342403384668
69.18/65.71
70.68/67.29 num=145, depth=6..17, filters=423820, revisions=(443265,useless=233027), ccks=742955666, wck=64.191, mem=130M728
70.68/67.29 decisions=22169, wrong=10140, backtracks=4525, failedAssignments=6453, nogoods=1020, foundSolutions=17, bestBound=301
70.68/67.29 nFilterCalls=266371, avgTableProportion=0.35229998761126397, avgTableSize=0.7045999752225279
70.68/67.29
72.49/69.01 num=146, depth=5..20, filters=443642, revisions=(463421,useless=244076), ccks=762454415, wck=65.913, mem=149M105
72.49/69.01 decisions=23163, wrong=10634, backtracks=4796, failedAssignments=6734, nogoods=1026, foundSolutions=17, bestBound=301
72.49/69.01 nFilterCalls=278975, avgTableProportion=0.3527430773366789, avgTableSize=0.7054861546733578
72.49/69.01
75.62/72.13 num=147, depth=4..18, filters=461727, revisions=(482568,useless=253821), ccks=798722749, wck=69.028, mem=40M231
75.62/72.13 decisions=24129, wrong=11112, backtracks=4996, failedAssignments=7043, nogoods=1038, foundSolutions=17, bestBound=301
75.62/72.13 nFilterCalls=288749, avgTableProportion=0.3524981904699237, avgTableSize=0.7049963809398474
75.62/72.13
78.21/74.72 num=148, depth=5..17, filters=487258, revisions=(508931,useless=267650), ccks=828475829, wck=71.618, mem=63M483
78.21/74.72 decisions=25258, wrong=11672, backtracks=5301, failedAssignments=7383, nogoods=1050, foundSolutions=17, bestBound=301
78.21/74.72 nFilterCalls=303783, avgTableProportion=0.35268596333567054, avgTableSize=0.7053719266713411
78.21/74.72
80.91/77.46 num=149, depth=5..18, filters=507521, revisions=(531076,useless=279376), ccks=860222266, wck=74.365, mem=84M151
80.91/77.46 decisions=26426, wrong=12250, backtracks=5558, failedAssignments=7757, nogoods=1109, foundSolutions=17, bestBound=301
80.91/77.46 nFilterCalls=314651, avgTableProportion=0.35374430718478567, avgTableSize=0.7074886143695713
80.91/77.46
83.21/79.77 num=150, depth=0..16, filters=528159, revisions=(552787,useless=290539), ccks=886666901, wck=76.672, mem=109M987
83.21/79.77 decisions=27643, wrong=12854, backtracks=5816, failedAssignments=8168, nogoods=1119, foundSolutions=17, bestBound=301
83.21/79.77 nFilterCalls=326163, avgTableProportion=0.35396872116089195, avgTableSize=0.7079374423217839
83.21/79.77
86.52/83.03 num=151, depth=6..17, filters=553781, revisions=(579610,useless=304807), ccks=924283122, wck=79.93, mem=138M406
86.52/83.03 decisions=29007, wrong=13531, backtracks=6094, failedAssignments=8620, nogoods=1168, foundSolutions=17, bestBound=301
86.52/83.03 nFilterCalls=341659, avgTableProportion=0.3544162454377025, avgTableSize=0.708832490875405
86.52/83.03
89.56/86.03 num=152, depth=4..21, filters=580660, revisions=(609818,useless=321402), ccks=958506447, wck=82.93, mem=37M473
89.56/86.03 decisions=30645, wrong=14344, backtracks=6485, failedAssignments=9117, nogoods=1179, foundSolutions=17, bestBound=301
89.56/86.03 nFilterCalls=356768, avgTableProportion=0.3531510673603014, avgTableSize=0.7063021347206028
89.56/86.03
93.05/89.54 num=153, depth=4..17, filters=626538, revisions=(651490,useless=343114), ccks=998226840, wck=86.44, mem=75M689
93.05/89.54 decisions=32459, wrong=15248, backtracks=6946, failedAssignments=9664, nogoods=1185, foundSolutions=17, bestBound=301
93.05/89.54 nFilterCalls=389036, avgTableProportion=0.35348014065536354, avgTableSize=0.7069602813107271
93.05/89.54
95.66/92.13 num=154, depth=3..20, filters=658617, revisions=(684411,useless=360283), ccks=1027370112, wck=89.031, mem=103M713
95.66/92.13 decisions=34334, wrong=16181, backtracks=7376, failedAssignments=10266, nogoods=1194, foundSolutions=17, bestBound=301
95.66/92.13 nFilterCalls=408043, avgTableProportion=0.353934511803903, avgTableSize=0.707869023607806
95.66/92.13
99.70/96.16 num=155, depth=3..16, filters=707007, revisions=(726935,useless=381762), ccks=1072859480, wck=93.062, mem=147M24
99.70/96.16 decisions=36556, wrong=17290, backtracks=7983, failedAssignments=10928, nogoods=1243, foundSolutions=17, bestBound=301
99.70/96.16 nFilterCalls=440677, avgTableProportion=0.3577041688129855, avgTableSize=0.715408337625971
99.70/96.16
107.81/104.21 num=156, depth=4..20, filters=756256, revisions=(777842,useless=407584), ccks=1167032842, wck=101.115, mem=74M915
107.81/104.21 decisions=39003, wrong=18508, backtracks=8571, failedAssignments=11656, nogoods=1250, foundSolutions=17, bestBound=301
107.81/104.21 nFilterCalls=467424, avgTableProportion=0.35855882453618126, avgTableSize=0.7171176490723625
107.81/104.21
111.41/107.85 num=157, depth=4..21, filters=806831, revisions=(827196,useless=434382), ccks=1207635022, wck=104.754, mem=122M598
111.41/107.85 decisions=41574, wrong=19790, backtracks=9188, failedAssignments=12457, nogoods=1257, foundSolutions=17, bestBound=301
111.41/107.85 nFilterCalls=501430, avgTableProportion=0.3594629360030313, avgTableSize=0.7189258720060626
111.41/107.85
119.42/115.80 num=158, depth=5..17, filters=863446, revisions=(885361,useless=464423), ccks=1299772535, wck=112.7, mem=61M702
119.42/115.80 decisions=44595, wrong=21296, backtracks=9966, failedAssignments=13338, nogoods=1265, foundSolutions=17, bestBound=301
119.42/115.80 nFilterCalls=533717, avgTableProportion=0.3598714299900509, avgTableSize=0.7197428599801018
119.42/115.80
123.92/120.34 num=159, depth=4..18, filters=904771, revisions=(930507,useless=487914), ccks=1352090153, wck=117.246, mem=103M696
123.92/120.34 decisions=47320, wrong=22653, backtracks=10467, failedAssignments=14308, nogoods=1359, foundSolutions=17, bestBound=301
123.92/120.34 nFilterCalls=556105, avgTableProportion=0.3598232348207623, avgTableSize=0.7196464696415246
123.92/120.34
130.84/127.23 num=160, depth=0..19, filters=963863, revisions=(992756,useless=520649), ccks=1431378399, wck=124.132, mem=41M651
130.84/127.23 decisions=50750, wrong=24362, backtracks=11274, failedAssignments=15375, nogoods=1382, foundSolutions=17, bestBound=301
130.84/127.23 nFilterCalls=589565, avgTableProportion=0.3589587238048392, avgTableSize=0.7179174476096783
130.84/127.23
136.75/133.17 num=161, depth=2..15, filters=1046032, revisions=(1071521,useless=560942), ccks=1497953407, wck=130.076, mem=107M257
136.75/133.17 decisions=54491, wrong=26230, backtracks=12190, failedAssignments=16548, nogoods=1417, foundSolutions=17, bestBound=301
136.75/133.17 nFilterCalls=640906, avgTableProportion=0.36081188192964336, avgTableSize=0.7216237638592867
136.75/133.17
145.85/142.22 num=162, depth=2..17, filters=1125066, revisions=(1154515,useless=603469), ccks=1601668533, wck=139.125, mem=72M355
145.85/142.22 decisions=58758, wrong=28360, backtracks=13209, failedAssignments=17839, nogoods=1421, foundSolutions=17, bestBound=301
145.85/142.22 nFilterCalls=685485, avgTableProportion=0.3604863709636243, avgTableSize=0.7209727419272486
145.85/142.22
154.46/150.83 num=163, depth=4..21, filters=1211249, revisions=(1240107,useless=648390), ccks=1700083996, wck=147.728, mem=36M336
154.46/150.83 decisions=63507, wrong=30731, backtracks=14364, failedAssignments=19259, nogoods=1430, foundSolutions=17, bestBound=301
154.46/150.83 nFilterCalls=739507, avgTableProportion=0.3615753468188942, avgTableSize=0.7231506936377884
154.46/150.83
165.27/161.67 num=164, depth=2..20, filters=1328414, revisions=(1355796,useless=709863), ccks=1823000618, wck=158.574, mem=31M520
165.27/161.67 decisions=68917, wrong=33433, backtracks=15850, failedAssignments=20821, nogoods=1434, foundSolutions=17, bestBound=301
165.27/161.67 nFilterCalls=813278, avgTableProportion=0.36296260319349594, avgTableSize=0.7259252063869919
165.27/161.67
181.59/177.91 num=165, depth=3..19, filters=1440814, revisions=(1472610,useless=769988), ccks=2011812410, wck=174.812, mem=38M283
181.59/177.91 decisions=74754, wrong=36347, backtracks=17293, failedAssignments=22539, nogoods=1448, foundSolutions=17, bestBound=301
181.59/177.91 nFilterCalls=877547, avgTableProportion=0.36315718702246147, avgTableSize=0.7263143740449229
181.59/177.91
191.10/187.47 num=166, depth=2..19, filters=1570190, revisions=(1588107,useless=829624), ccks=2118799980, wck=184.371, mem=40M329
191.10/187.47 decisions=80915, wrong=39424, backtracks=18790, failedAssignments=24429, nogoods=1462, foundSolutions=17, bestBound=301
191.10/187.47 nFilterCalls=968182, avgTableProportion=0.3649980065731443, avgTableSize=0.7299960131462886
191.10/187.47
201.84/198.19 num=167, depth=2..19, filters=1717581, revisions=(1724326,useless=899319), ccks=2237100562, wck=195.093, mem=46M827
201.84/198.19 decisions=87652, wrong=42789, backtracks=20397, failedAssignments=26508, nogoods=1475, foundSolutions=17, bestBound=301
201.84/198.19 nFilterCalls=1067391, avgTableProportion=0.36207818877993164, avgTableSize=0.7241563775598633
201.84/198.19
223.77/220.01 num=168, depth=2..19, filters=1880630, revisions=(1886138,useless=982525), ccks=2489221209, wck=216.909, mem=108M126
223.77/220.01 decisions=95609, wrong=46762, backtracks=22415, failedAssignments=28795, nogoods=1489, foundSolutions=17, bestBound=301
223.77/220.01 nFilterCalls=1167271, avgTableProportion=0.36210914175028763, avgTableSize=0.7242182835005753
223.77/220.01
235.11/231.38 num=169, depth=0..20, filters=2037840, revisions=(2039056,useless=1060759), ccks=2616530327, wck=228.281, mem=35M230
235.11/231.38 decisions=103214, wrong=50562, backtracks=24013, failedAssignments=31311, nogoods=1503, foundSolutions=17, bestBound=301
235.11/231.38 nFilterCalls=1266075, avgTableProportion=0.3596433860553285, avgTableSize=0.719286772110657
235.11/231.38
251.31/247.58 num=170, depth=2..21, filters=2218864, revisions=(2213535,useless=1151873), ccks=2801542208, wck=244.478, mem=91M988
251.31/247.58 decisions=112320, wrong=55111, backtracks=26164, failedAssignments=34079, nogoods=1561, foundSolutions=17, bestBound=301
251.31/247.58 nFilterCalls=1388773, avgTableProportion=0.3575616749461575, avgTableSize=0.715123349892315
251.31/247.58
267.23/263.46 num=171, depth=2..19, filters=2436818, revisions=(2421893,useless=1258402), ccks=2980265521, wck=260.363, mem=61M286
267.23/263.46 decisions=122360, wrong=60129, backtracks=28595, failedAssignments=37123, nogoods=1566, foundSolutions=17, bestBound=301
267.23/263.46 nFilterCalls=1527687, avgTableProportion=0.3559367854802718, avgTableSize=0.7118735709605436
267.23/263.46
287.86/284.06 num=172, depth=2..21, filters=2714597, revisions=(2678627,useless=1394435), ccks=3212018993, wck=280.961, mem=102M177
287.86/284.06 decisions=134113, wrong=66002, backtracks=31775, failedAssignments=40472, nogoods=1578, foundSolutions=17, bestBound=301
287.86/284.06 nFilterCalls=1721374, avgTableProportion=0.3569915660396869, avgTableSize=0.7139831320793738
287.86/284.06
310.37/306.50 num=173, depth=2..22, filters=2964130, revisions=(2930859,useless=1527652), ccks=3466326573, wck=303.4, mem=53M438
310.37/306.50 decisions=146577, wrong=72229, backtracks=35194, failedAssignments=44156, nogoods=1588, foundSolutions=17, bestBound=301
310.37/306.50 nFilterCalls=1879792, avgTableProportion=0.35535899716564384, avgTableSize=0.7107179943312877
310.37/306.50
335.69/331.80 num=174, depth=3..25, filters=3205134, revisions=(3182336,useless=1661871), ccks=3758108071, wck=328.7, mem=84M894
335.69/331.80 decisions=159946, wrong=78909, backtracks=38329, failedAssignments=48208, nogoods=1602, foundSolutions=17, bestBound=301
335.69/331.80 nFilterCalls=2031190, avgTableProportion=0.3514560430092704, avgTableSize=0.7029120860185408
335.69/331.80
358.11/354.25 num=175, depth=3..19, filters=3530802, revisions=(3490182,useless=1820499), ccks=4009521818, wck=351.154, mem=64M647
358.11/354.25 decisions=174613, wrong=86239, backtracks=41846, failedAssignments=52665, nogoods=1611, foundSolutions=17, bestBound=301
358.11/354.25 nFilterCalls=2246471, avgTableProportion=0.3499640102186941, avgTableSize=0.6999280204373882
358.11/354.25
387.56/383.60 num=176, depth=2..20, filters=3890843, revisions=(3830826,useless=1996129), ccks=4339812300, wck=380.507, mem=55M829
387.56/383.60 decisions=190834, wrong=94347, backtracks=45969, failedAssignments=57568, nogoods=1640, foundSolutions=17, bestBound=301
387.56/383.60 nFilterCalls=2480408, avgTableProportion=0.3519423014278296, avgTableSize=0.7038846028556592
387.56/383.60
422.89/418.95 num=177, depth=0..21, filters=4295335, revisions=(4220452,useless=2200487), ccks=4738595884, wck=415.854, mem=24M433
422.89/418.95 decisions=209422, wrong=103637, backtracks=51098, failedAssignments=62962, nogoods=1646, foundSolutions=17, bestBound=301
422.89/418.95 nFilterCalls=2743712, avgTableProportion=0.35401802375759556, avgTableSize=0.7080360475151911
422.89/418.95
458.04/454.08 o 300
458.04/454.08 num=178, depth=2..104, filters=4764815, revisions=(4652222,useless=2423277), ccks=5133881585, wck=450.979, mem=74M751
458.04/454.08 decisions=228475, wrong=113153, backtracks=55896, failedAssignments=68672, nogoods=1659, foundSolutions=18, bestBound=300
458.04/454.08 nFilterCalls=3060068, avgTableProportion=0.35516253233588274, avgTableSize=0.7103250646717655
458.04/454.08
489.98/485.97 num=179, depth=1..19, filters=5267992, revisions=(5106082,useless=2656664), ccks=5486281506, wck=482.876, mem=59M110
489.98/485.97 decisions=250671, wrong=124249, backtracks=61669, failedAssignments=75198, nogoods=1664, foundSolutions=18, bestBound=300
489.98/485.97 nFilterCalls=3410482, avgTableProportion=0.35678446624260146, avgTableSize=0.7135689324852029
489.98/485.97
490.20/486.15 num=180, depth=9..13, filters=5268731, revisions=(5106969,useless=2657123), ccks=5488384155, wck=483.055, mem=59M110
490.20/486.15 decisions=250715, wrong=124266, backtracks=61677, failedAssignments=75209, nogoods=1668, foundSolutions=18, bestBound=300
490.20/486.15 nFilterCalls=3410884, avgTableProportion=0.35679079089174537, avgTableSize=0.7135815817834907
490.20/486.15
490.29/486.29 num=181, depth=5..10, filters=5269697, revisions=(5107998,useless=2657616), ccks=5489959992, wck=483.192, mem=60M620
490.29/486.29 decisions=250763, wrong=124286, backtracks=61687, failedAssignments=75221, nogoods=1670, foundSolutions=18, bestBound=300
490.29/486.29 nFilterCalls=3411430, avgTableProportion=0.35680139999941374, avgTableSize=0.7136027999988275
490.29/486.29
490.59/486.57 num=182, depth=8..12, filters=5270679, revisions=(5109039,useless=2658108), ccks=5493222803, wck=483.468, mem=62M130
490.59/486.57 decisions=250815, wrong=124308, backtracks=61700, failedAssignments=75234, nogoods=1674, foundSolutions=18, bestBound=300
490.59/486.57 nFilterCalls=3411912, avgTableProportion=0.3568062423649848, avgTableSize=0.7136124847299696
490.59/486.57
490.79/486.71 num=183, depth=8..12, filters=5271476, revisions=(5109966,useless=2658592), ccks=5494893809, wck=483.612, mem=63M640
490.79/486.71 decisions=250865, wrong=124328, backtracks=61710, failedAssignments=75248, nogoods=1679, foundSolutions=18, bestBound=300
490.79/486.71 nFilterCalls=3412386, avgTableProportion=0.35681572952180673, avgTableSize=0.7136314590436135
490.79/486.71
490.99/486.94 num=184, depth=6..15, filters=5272491, revisions=(5111068,useless=2659122), ccks=5497544545, wck=483.837, mem=65M150
490.99/486.94 decisions=250926, wrong=124354, backtracks=61721, failedAssignments=75264, nogoods=1681, foundSolutions=18, bestBound=300
490.99/486.94 nFilterCalls=3412890, avgTableProportion=0.35681900090539104, avgTableSize=0.7136380018107821
490.99/486.94
491.10/487.08 num=185, depth=9..16, filters=5274011, revisions=(5112695,useless=2660030), ccks=5499140676, wck=483.978, mem=66M660
491.10/487.08 decisions=250995, wrong=124384, backtracks=61739, failedAssignments=75281, nogoods=1683, foundSolutions=18, bestBound=300
491.10/487.08 nFilterCalls=3413887, avgTableProportion=0.35683196309661097, avgTableSize=0.7136639261932219
491.10/487.08
491.29/487.26 num=186, depth=6..13, filters=5275120, revisions=(5113937,useless=2660653), ccks=5501228681, wck=484.158, mem=68M489
491.29/487.26 decisions=251068, wrong=124417, backtracks=61754, failedAssignments=75300, nogoods=1688, foundSolutions=18, bestBound=300
491.29/487.26 nFilterCalls=3414528, avgTableProportion=0.3568392176019643, avgTableSize=0.7136784352039286
491.29/487.26
491.59/487.57 num=187, depth=6..15, filters=5276547, revisions=(5115259,useless=2661241), ccks=5504870471, wck=484.468, mem=71M508
491.59/487.57 decisions=251145, wrong=124452, backtracks=61768, failedAssignments=75321, nogoods=1694, foundSolutions=18, bestBound=300
491.59/487.57 nFilterCalls=3415396, avgTableProportion=0.35684646816943044, avgTableSize=0.7136929363388609
491.59/487.57
491.89/487.86 num=188, depth=11..17, filters=5277945, revisions=(5116999,useless=2662250), ccks=5508305725, wck=484.761, mem=73M18
491.89/487.86 decisions=251230, wrong=124489, backtracks=61785, failedAssignments=75344, nogoods=1698, foundSolutions=18, bestBound=300
491.89/487.86 nFilterCalls=3416137, avgTableProportion=0.3568457588205625, avgTableSize=0.713691517641125
491.89/487.86
492.29/488.24 num=189, depth=6..19, filters=5279242, revisions=(5118586,useless=2663085), ccks=5512858961, wck=485.145, mem=74M528
492.29/488.24 decisions=251319, wrong=124529, backtracks=61803, failedAssignments=75369, nogoods=1702, foundSolutions=18, bestBound=300
492.29/488.24 nFilterCalls=3416723, avgTableProportion=0.356846165170545, avgTableSize=0.71369233034109
492.29/488.24
492.49/488.43 num=190, depth=6..17, filters=5280650, revisions=(5120045,useless=2663869), ccks=5515020798, wck=485.332, mem=77M548
492.49/488.43 decisions=251404, wrong=124566, backtracks=61816, failedAssignments=75397, nogoods=1706, foundSolutions=18, bestBound=300
492.49/488.43 nFilterCalls=3417665, avgTableProportion=0.356841147391567, avgTableSize=0.713682294783134
492.49/488.43
492.80/488.75 num=191, depth=4..18, filters=5283074, revisions=(5122585,useless=2665168), ccks=5518667883, wck=485.648, mem=80M568
492.80/488.75 decisions=251535, wrong=124624, backtracks=61847, failedAssignments=75428, nogoods=1715, foundSolutions=18, bestBound=300
492.80/488.75 nFilterCalls=3419111, avgTableProportion=0.3568453905123291, avgTableSize=0.7136907810246582
492.80/488.75
493.11/489.10 num=192, depth=4..15, filters=5286199, revisions=(5125662,useless=2666686), ccks=5522774135, wck=486.004, mem=83M588
493.11/489.10 decisions=251660, wrong=124680, backtracks=61881, failedAssignments=75462, nogoods=1720, foundSolutions=18, bestBound=300
493.11/489.10 nFilterCalls=3420983, avgTableProportion=0.35686350969882047, avgTableSize=0.7137270193976409
493.11/489.10
493.41/489.33 num=193, depth=5..11, filters=5289004, revisions=(5127927,useless=2667765), ccks=5525339773, wck=486.232, mem=86M608
493.41/489.33 decisions=251786, wrong=124740, backtracks=61907, failedAssignments=75499, nogoods=1725, foundSolutions=18, bestBound=300
493.41/489.33 nFilterCalls=3423167, avgTableProportion=0.3568835525698863, avgTableSize=0.7137671051397726
493.41/489.33
493.71/489.66 num=194, depth=6..14, filters=5291530, revisions=(5130612,useless=2669146), ccks=5529126927, wck=486.561, mem=89M628
493.71/489.66 decisions=251926, wrong=124806, backtracks=61939, failedAssignments=75540, nogoods=1729, foundSolutions=18, bestBound=300
493.71/489.66 nFilterCalls=3424618, avgTableProportion=0.3568968860176522, avgTableSize=0.7137937720353044
493.71/489.66
494.22/490.12 num=195, depth=6..14, filters=5294240, revisions=(5133260,useless=2670390), ccks=5534502211, wck=487.021, mem=94M158
494.22/490.12 decisions=252081, wrong=124880, backtracks=61977, failedAssignments=75585, nogoods=1732, foundSolutions=18, bestBound=300
494.22/490.12 nFilterCalls=3426143, avgTableProportion=0.35689739161500267, avgTableSize=0.7137947832300053
494.22/490.12
494.81/490.77 num=196, depth=9..18, filters=5297440, revisions=(5137265,useless=2672759), ccks=5542163213, wck=487.673, mem=98M369
494.81/490.77 decisions=252260, wrong=124964, backtracks=62018, failedAssignments=75635, nogoods=1734, foundSolutions=18, bestBound=300
494.81/490.77 nFilterCalls=3427874, avgTableProportion=0.35687499015424723, avgTableSize=0.7137499803084945
494.81/490.77
495.22/491.19 num=197, depth=4..12, filters=5301999, revisions=(5141576,useless=2674879), ccks=5546946193, wck=488.096, mem=27M388
495.22/491.19 decisions=252445, wrong=125053, backtracks=62065, failedAssignments=75690, nogoods=1739, foundSolutions=18, bestBound=300
495.22/491.19 nFilterCalls=3430704, avgTableProportion=0.3569053173925818, avgTableSize=0.7138106347851636
495.22/491.19
495.71/491.60 num=198, depth=6..19, filters=5305594, revisions=(5145157,useless=2676697), ccks=5551551994, wck=488.499, mem=31M879
495.71/491.60 decisions=252648, wrong=125149, backtracks=62108, failedAssignments=75751, nogoods=1749, foundSolutions=18, bestBound=300
495.71/491.60 nFilterCalls=3433056, avgTableProportion=0.35691305355927777, avgTableSize=0.7138261071185555
495.71/491.60
496.41/492.38 num=199, depth=5..16, filters=5310493, revisions=(5149959,useless=2679110), ccks=5560691250, wck=489.279, mem=36M371
496.41/492.38 decisions=252878, wrong=125259, backtracks=62160, failedAssignments=75818, nogoods=1755, foundSolutions=18, bestBound=300
496.41/492.38 nFilterCalls=3436135, avgTableProportion=0.35689008144324946, avgTableSize=0.7137801628864989
496.41/492.38
497.22/493.14 num=200, depth=4..12, filters=5314504, revisions=(5154160,useless=2681199), ccks=5569642998, wck=490.042, mem=42M360
497.22/493.14 decisions=253100, wrong=125366, backtracks=62207, failedAssignments=75892, nogoods=1761, foundSolutions=18, bestBound=300
497.22/493.14 nFilterCalls=3438051, avgTableProportion=0.3569081726827205, avgTableSize=0.713816345365441
497.22/493.14
497.91/493.85 num=201, depth=6..18, filters=5319467, revisions=(5159315,useless=2683889), ccks=5577979663, wck=490.757, mem=48M349
497.91/493.85 decisions=253361, wrong=125492, backtracks=62270, failedAssignments=75973, nogoods=1765, foundSolutions=18, bestBound=300
497.91/493.85 nFilterCalls=3441165, avgTableProportion=0.3568635912547059, avgTableSize=0.7137271825094118
497.91/493.85
498.41/494.36 num=202, depth=6..16, filters=5323830, revisions=(5164489,useless=2686658), ccks=5583788968, wck=491.262, mem=52M841
498.41/494.36 decisions=253624, wrong=125619, backtracks=62326, failedAssignments=76062, nogoods=1771, foundSolutions=18, bestBound=300
498.41/494.36 nFilterCalls=3443294, avgTableProportion=0.3568619176869591, avgTableSize=0.7137238353739181
498.41/494.36
499.51/495.45 num=203, depth=5..17, filters=5332223, revisions=(5172092,useless=2690505), ccks=5596518926, wck=492.354, mem=61M824
499.51/495.45 decisions=253967, wrong=125786, backtracks=62408, failedAssignments=76160, nogoods=1780, foundSolutions=18, bestBound=300
499.51/495.45 nFilterCalls=3449268, avgTableProportion=0.35685774488964034, avgTableSize=0.7137154897792807
499.51/495.45
500.01/496.00 num=204, depth=5..18, filters=5337565, revisions=(5178346,useless=2693954), ccks=5602857969, wck=492.904, mem=66M316
500.01/496.00 decisions=254366, wrong=125981, backtracks=62504, failedAssignments=76268, nogoods=1789, foundSolutions=18, bestBound=300
500.01/496.00 nFilterCalls=3452296, avgTableProportion=0.35682673212262217, avgTableSize=0.7136534642452443
500.01/496.00
501.01/496.98 num=205, depth=5..16, filters=5346170, revisions=(5186882,useless=2698465), ccks=5614210426, wck=493.886, mem=73M802
501.01/496.98 decisions=254807, wrong=126198, backtracks=62625, failedAssignments=76387, nogoods=1796, foundSolutions=18, bestBound=300
501.01/496.98 nFilterCalls=3458097, avgTableProportion=0.3567567653538926, avgTableSize=0.7135135307077852
501.01/496.98
502.52/498.47 num=206, depth=6..18, filters=5354710, revisions=(5196689,useless=2704050), ccks=5631554901, wck=495.369, mem=85M780
502.52/498.47 decisions=255279, wrong=126430, backtracks=62738, failedAssignments=76518, nogoods=1799, foundSolutions=18, bestBound=300
502.52/498.47 nFilterCalls=3462823, avgTableProportion=0.35671849239767667, avgTableSize=0.7134369847953533
502.52/498.47
503.52/499.50 num=207, depth=4..17, filters=5364906, revisions=(5207192,useless=2709575), ccks=5643269769, wck=496.397, mem=97M758
503.52/499.50 decisions=255810, wrong=126693, backtracks=62874, failedAssignments=76662, nogoods=1803, foundSolutions=18, bestBound=300
503.52/499.50 nFilterCalls=3469069, avgTableProportion=0.3566729286733703, avgTableSize=0.7133458573467406
503.52/499.50
504.92/500.87 num=208, depth=5..19, filters=5377558, revisions=(5219280,useless=2715731), ccks=5659104779, wck=497.772, mem=33M309
504.92/500.87 decisions=256317, wrong=126943, backtracks=62991, failedAssignments=76820, nogoods=1819, foundSolutions=18, bestBound=300
504.92/500.87 nFilterCalls=3476633, avgTableProportion=0.35670043401187296, avgTableSize=0.7134008680237459
504.92/500.87
506.52/502.40 num=209, depth=2..13, filters=5389242, revisions=(5232412,useless=2722482), ccks=5676744614, wck=499.301, mem=46M696
506.52/502.40 decisions=256894, wrong=127229, backtracks=63148, failedAssignments=76994, nogoods=1826, foundSolutions=18, bestBound=300
506.52/502.40 nFilterCalls=3482399, avgTableProportion=0.35678407327822, avgTableSize=0.71356814655644
506.52/502.40
507.23/503.16 num=210, depth=5..19, filters=5395243, revisions=(5239766,useless=2726201), ccks=5685642364, wck=500.065, mem=51M159
507.23/503.16 decisions=257419, wrong=127485, backtracks=63230, failedAssignments=77185, nogoods=1838, foundSolutions=18, bestBound=300
507.23/503.16 nFilterCalls=3485082, avgTableProportion=0.3566954809097749, avgTableSize=0.7133909618195498
507.23/503.16
509.23/505.17 num=211, depth=2..15, filters=5410247, revisions=(5254222,useless=2733530), ccks=5708923145, wck=502.072, mem=69M9
509.23/505.17 decisions=258130, wrong=127836, backtracks=63404, failedAssignments=77396, nogoods=1851, foundSolutions=18, bestBound=300
509.23/505.17 nFilterCalls=3494187, avgTableProportion=0.3567925815075152, avgTableSize=0.7135851630150304
509.23/505.17
510.92/506.80 num=212, depth=2..13, filters=5427482, revisions=(5271829,useless=2742717), ccks=5727403707, wck=503.704, mem=86M860
510.92/506.80 decisions=258924, wrong=128229, backtracks=63614, failedAssignments=77628, nogoods=1867, foundSolutions=18, bestBound=300
510.92/506.80 nFilterCalls=3503814, avgTableProportion=0.35689266039806905, avgTableSize=0.7137853207961381
510.92/506.80
512.73/508.67 num=213, depth=3..16, filters=5442141, revisions=(5287307,useless=2750907), ccks=5749038106, wck=505.57, mem=27M328
512.73/508.67 decisions=259673, wrong=128601, backtracks=63782, failedAssignments=77883, nogoods=1873, foundSolutions=18, bestBound=300
512.73/508.67 nFilterCalls=3511908, avgTableProportion=0.35687694552362986, avgTableSize=0.7137538910472597
512.73/508.67
514.33/510.26 num=214, depth=4..20, filters=5462676, revisions=(5305534,useless=2760293), ccks=5766915498, wck=507.16, mem=46M537
514.33/510.26 decisions=260619, wrong=129069, backtracks=64014, failedAssignments=78164, nogoods=1880, foundSolutions=18, bestBound=300
514.33/510.26 nFilterCalls=3526487, avgTableProportion=0.35696459394292396, avgTableSize=0.7139291878858479
514.33/510.26
516.03/511.95 num=215, depth=1..20, filters=5478820, revisions=(5323008,useless=2769342), ccks=5786294434, wck=508.849, mem=62M790
516.03/511.95 decisions=261570, wrong=129541, backtracks=64230, failedAssignments=78473, nogoods=1892, foundSolutions=18, bestBound=300
516.03/511.95 nFilterCalls=3535223, avgTableProportion=0.35694452655461906, avgTableSize=0.7138890531092381
516.03/511.95
517.55/513.43 num=216, depth=3..19, filters=5501734, revisions=(5343710,useless=2780032), ccks=5802755523, wck=510.329, mem=83M476
517.55/513.43 decisions=262640, wrong=130073, backtracks=64462, failedAssignments=78813, nogoods=1894, foundSolutions=18, bestBound=300
517.55/513.43 nFilterCalls=3550675, avgTableProportion=0.3570080336837362, avgTableSize=0.7140160673674724
517.55/513.43
520.05/515.95 num=217, depth=4..16, filters=5529003, revisions=(5370594,useless=2793782), ccks=5831361256, wck=512.856, mem=37M570
520.05/515.95 decisions=263895, wrong=130695, backtracks=64772, failedAssignments=79187, nogoods=1906, foundSolutions=18, bestBound=300
520.05/515.95 nFilterCalls=3566659, avgTableProportion=0.3571845528266089, avgTableSize=0.7143691056532178
520.05/515.95
522.95/518.86 num=218, depth=4..19, filters=5561704, revisions=(5400664,useless=2808917), ccks=5864537125, wck=515.762, mem=66M918
522.95/518.86 decisions=265239, wrong=131362, backtracks=65101, failedAssignments=79598, nogoods=1912, foundSolutions=18, bestBound=300
522.95/518.86 nFilterCalls=3588811, avgTableProportion=0.3572163594014842, avgTableSize=0.7144327188029684
522.95/518.86
525.45/521.39 num=219, depth=6..19, filters=5588052, revisions=(5428688,useless=2824246), ccks=5893366585, wck=518.289, mem=94M798
525.45/521.39 decisions=266706, wrong=132092, backtracks=65472, failedAssignments=80050, nogoods=1922, foundSolutions=18, bestBound=300
525.45/521.39 nFilterCalls=3605778, avgTableProportion=0.3569036973435414, avgTableSize=0.7138073946870828
525.45/521.39
529.36/525.25 num=220, depth=4..20, filters=5628637, revisions=(5466504,useless=2843213), ccks=5937498139, wck=522.15, mem=57M867
529.36/525.25 decisions=268415, wrong=132939, backtracks=65912, failedAssignments=80547, nogoods=1935, foundSolutions=18, bestBound=300
529.36/525.25 nFilterCalls=3632468, avgTableProportion=0.35699571200627234, avgTableSize=0.7139914240125447
529.36/525.25
533.66/529.58 num=221, depth=2..18, filters=5663922, revisions=(5503992,useless=2862891), ccks=5987621536, wck=526.482, mem=94M295
533.66/529.58 decisions=270266, wrong=133859, backtracks=66349, failedAssignments=81094, nogoods=1950, foundSolutions=18, bestBound=300
533.66/529.58 nFilterCalls=3652267, avgTableProportion=0.35713065337227534, avgTableSize=0.7142613067445507
533.66/529.58
538.98/534.87 num=222, depth=3..19, filters=5721446, revisions=(5556584,useless=2889490), ccks=6048063946, wck=531.772, mem=72M111
538.98/534.87 decisions=272469, wrong=134959, backtracks=66945, failedAssignments=81696, nogoods=1951, foundSolutions=18, bestBound=300
538.98/534.87 nFilterCalls=3690274, avgTableProportion=0.35720369273392705, avgTableSize=0.7144073854678541
538.98/534.87
543.88/539.70 num=223, depth=4..16, filters=5768855, revisions=(5601550,useless=2912023), ccks=6103305366, wck=536.606, mem=54M521
543.88/539.70 decisions=274747, wrong=136095, backtracks=67529, failedAssignments=82358, nogoods=1959, foundSolutions=18, bestBound=300
543.88/539.70 nFilterCalls=3719526, avgTableProportion=0.35745240119305527, avgTableSize=0.7149048023861105
543.88/539.70
549.00/544.81 num=224, depth=3..16, filters=5821423, revisions=(5650536,useless=2937263), ccks=6161784565, wck=541.712, mem=27M198
549.00/544.81 decisions=277169, wrong=137303, backtracks=68119, failedAssignments=83086, nogoods=1973, foundSolutions=18, bestBound=300
549.00/544.81 nFilterCalls=3755546, avgTableProportion=0.3575199185418046, avgTableSize=0.7150398370836092
549.00/544.81
554.60/550.43 num=225, depth=3..20, filters=5876331, revisions=(5705660,useless=2966013), ccks=6226042927, wck=547.331, mem=82M810
554.60/550.43 decisions=279856, wrong=138643, backtracks=68806, failedAssignments=83887, nogoods=1983, foundSolutions=18, bestBound=300
554.60/550.43 nFilterCalls=3789699, avgTableProportion=0.3576662684820087, avgTableSize=0.7153325369640174
554.60/550.43
558.91/554.79 num=226, depth=4..19, filters=5940666, revisions=(5765941,useless=2997137), ccks=6274859965, wck=551.695, mem=61M139
558.91/554.79 decisions=282742, wrong=140082, backtracks=69507, failedAssignments=84768, nogoods=1993, foundSolutions=18, bestBound=300
558.91/554.79 nFilterCalls=3833477, avgTableProportion=0.35765559569028327, avgTableSize=0.7153111913805665
558.91/554.79
566.22/562.05 num=227, depth=3..20, filters=5997202, revisions=(5821545,useless=3025221), ccks=6358807108, wck=558.948, mem=63M691
566.22/562.05 decisions=285817, wrong=141614, backtracks=70178, failedAssignments=85738, nogoods=2008, foundSolutions=18, bestBound=300
566.22/562.05 nFilterCalls=3868355, avgTableProportion=0.35760019439787716, avgTableSize=0.7152003887957543
566.22/562.05
572.72/568.58 num=228, depth=1..14, filters=6080432, revisions=(5895281,useless=3062457), ccks=6432074152, wck=565.478, mem=71M755
572.72/568.58 decisions=289396, wrong=143400, backtracks=71159, failedAssignments=86805, nogoods=2018, foundSolutions=18, bestBound=300
572.72/568.58 nFilterCalls=3924038, avgTableProportion=0.35820499189865135, avgTableSize=0.7164099837973027
572.72/568.58
580.03/575.87 num=229, depth=2..19, filters=6151519, revisions=(5964434,useless=3097052), ccks=6515626600, wck=572.773, mem=85M229
580.03/575.87 decisions=293296, wrong=145346, backtracks=72048, failedAssignments=87978, nogoods=2029, foundSolutions=18, bestBound=300
580.03/575.87 nFilterCalls=3967432, avgTableProportion=0.35809032139681285, avgTableSize=0.7161806427936257
580.03/575.87
587.05/582.84 num=230, depth=2..18, filters=6233348, revisions=(6047152,useless=3140341), ccks=6594388262, wck=579.739, mem=28M398
587.05/582.84 decisions=297755, wrong=147574, backtracks=73193, failedAssignments=89269, nogoods=2034, foundSolutions=18, bestBound=300
587.05/582.84 nFilterCalls=4020056, avgTableProportion=0.35780334900807353, avgTableSize=0.7156066980161471
587.05/582.84
596.05/591.87 num=231, depth=4..20, filters=6309081, revisions=(6126421,useless=3183049), ccks=6698581473, wck=588.772, mem=44M587
596.05/591.87 decisions=302235, wrong=149811, backtracks=74164, failedAssignments=90689, nogoods=2047, foundSolutions=18, bestBound=300
596.05/591.87 nFilterCalls=4067706, avgTableProportion=0.3577349247954498, avgTableSize=0.7154698495908997
596.05/591.87
602.66/598.45 num=232, depth=3..19, filters=6406475, revisions=(6218380,useless=3231080), ccks=6771973814, wck=595.349, mem=73M972
602.66/598.45 decisions=307266, wrong=152321, backtracks=75391, failedAssignments=92251, nogoods=2060, foundSolutions=18, bestBound=300
602.66/598.45 nFilterCalls=4134558, avgTableProportion=0.35724786059356284, avgTableSize=0.7144957211871257
602.66/598.45
611.58/607.34 num=233, depth=2..18, filters=6507180, revisions=(6318293,useless=3283434), ccks=6873122066, wck=604.242, mem=38M873
611.58/607.34 decisions=312455, wrong=154913, backtracks=76467, failedAssignments=93969, nogoods=2067, foundSolutions=18, bestBound=300
611.58/607.34 nFilterCalls=4195805, avgTableProportion=0.35730926484905756, avgTableSize=0.7146185296981151
611.58/607.34
622.35/618.02 num=234, depth=2..20, filters=6640910, revisions=(6449695,useless=3352888), ccks=6993254764, wck=614.918, mem=33M470
622.35/618.02 decisions=319117, wrong=158239, backtracks=78261, failedAssignments=95859, nogoods=2076, foundSolutions=18, bestBound=300
622.35/618.02 nFilterCalls=4283044, avgTableProportion=0.357367447077359, avgTableSize=0.714734894154718
622.35/618.02
633.55/629.28 num=235, depth=2..17, filters=6781789, revisions=(6573509,useless=3414189), ccks=7119602126, wck=626.185, mem=53M811
633.55/629.28 decisions=325618, wrong=161486, backtracks=79800, failedAssignments=97938, nogoods=2087, foundSolutions=18, bestBound=300
633.55/629.28 nFilterCalls=4376487, avgTableProportion=0.35791355029730465, avgTableSize=0.7158271005946093
633.55/629.28
647.76/643.47 num=236, depth=3..18, filters=6914925, revisions=(6704467,useless=3482924), ccks=7282083528, wck=640.367, mem=65M939
647.76/643.47 decisions=332995, wrong=165168, backtracks=81459, failedAssignments=100225, nogoods=2102, foundSolutions=18, bestBound=300
647.76/643.47 nFilterCalls=4460301, avgTableProportion=0.3579552142332995, avgTableSize=0.715910428466599
647.76/643.47
660.19/655.87 num=237, depth=4..20, filters=7122888, revisions=(6892510,useless=3580122), ccks=7419525512, wck=652.776, mem=35M492
660.19/655.87 decisions=341286, wrong=169310, backtracks=83541, failedAssignments=102741, nogoods=2109, foundSolutions=18, bestBound=300
660.19/655.87 nFilterCalls=4609803, avgTableProportion=0.35698087315228005, avgTableSize=0.7139617463045601
660.19/655.87
675.00/670.60 num=238, depth=3..21, filters=7277449, revisions=(7047131,useless=3661569), ccks=7588248245, wck=667.506, mem=61M835
675.00/670.60 decisions=349438, wrong=173383, backtracks=85108, failedAssignments=105509, nogoods=2143, foundSolutions=18, bestBound=300
675.00/670.60 nFilterCalls=4704319, avgTableProportion=0.35651143130387203, avgTableSize=0.7130228626077441
675.00/670.60
694.43/690.08 num=239, depth=2..22, filters=7471046, revisions=(7245172,useless=3767176), ccks=7810716664, wck=686.985, mem=77M303
694.43/690.08 decisions=359511, wrong=178417, backtracks=87456, failedAssignments=108553, nogoods=2150, foundSolutions=18, bestBound=300
694.43/690.08 nFilterCalls=4821238, avgTableProportion=0.35692647821990947, avgTableSize=0.7138529564398189
694.43/690.08
712.15/707.77 num=240, depth=2..19, filters=7705913, revisions=(7468620,useless=3883744), ccks=8008894087, wck=704.673, mem=68M653
712.15/707.77 decisions=371170, wrong=184244, backtracks=90551, failedAssignments=111902, nogoods=2166, foundSolutions=18, bestBound=300
712.15/707.77 nFilterCalls=4980445, avgTableProportion=0.35662797199848606, avgTableSize=0.7132559439969721
712.15/707.77
733.18/728.72 num=241, depth=2..21, filters=7930547, revisions=(7695324,useless=4003432), ccks=8247611071, wck=725.622, mem=62M662
733.18/728.72 decisions=383439, wrong=190376, backtracks=93499, failedAssignments=115586, nogoods=2175, foundSolutions=18, bestBound=300
733.18/728.72 nFilterCalls=5128195, avgTableProportion=0.3560815257610134, avgTableSize=0.7121630515220267
733.18/728.72
752.73/748.26 num=242, depth=1..21, filters=8249709, revisions=(7981523,useless=4151566), ccks=8462304571, wck=745.161, mem=74M750
752.73/748.26 decisions=397005, wrong=197157, backtracks=97053, failedAssignments=119638, nogoods=2189, foundSolutions=18, bestBound=300
752.73/748.26 nFilterCalls=5350143, avgTableProportion=0.35719372360701385, avgTableSize=0.7143874472140277
752.73/748.26
783.07/778.58 num=243, depth=2..19, filters=8558607, revisions=(8282983,useless=4308720), ccks=8809922361, wck=775.486, mem=70M496
783.07/778.58 decisions=410969, wrong=204134, backtracks=100195, failedAssignments=124095, nogoods=2198, foundSolutions=18, bestBound=300
783.07/778.58 nFilterCalls=5549262, avgTableProportion=0.35695899743064935, avgTableSize=0.7139179948612987
783.07/778.58
809.82/805.24 num=244, depth=1..20, filters=8908537, revisions=(8610793,useless=4479995), ccks=9109450296, wck=802.14, mem=66M300
809.82/805.24 decisions=427485, wrong=212390, backtracks=104344, failedAssignments=128998, nogoods=2206, foundSolutions=18, bestBound=300
809.82/805.24 nFilterCalls=5785658, avgTableProportion=0.35744948975553, avgTableSize=0.71489897951106
809.82/805.24
841.26/836.62 num=245, depth=2..22, filters=9265621, revisions=(8967833,useless=4667579), ccks=9458522319, wck=833.524, mem=51M343
841.26/836.62 decisions=445732, wrong=221509, backtracks=109094, failedAssignments=134392, nogoods=2216, foundSolutions=18, bestBound=300
841.26/836.62 nFilterCalls=6017537, avgTableProportion=0.3563126408695119, avgTableSize=0.7126252817390238
841.26/836.62
870.92/866.23 num=246, depth=1..18, filters=9795650, revisions=(9421889,useless=4896358), ccks=9772232139, wck=863.129, mem=31M46
870.92/866.23 decisions=466013, wrong=231647, backtracks=114641, failedAssignments=140325, nogoods=2228, foundSolutions=18, bestBound=300
870.92/866.23 nFilterCalls=6396202, avgTableProportion=0.35825088075704925, avgTableSize=0.7165017615140985
870.92/866.23
901.28/896.54 num=247, depth=1..21, filters=10291371, revisions=(9867330,useless=5126897), ccks=10097101660, wck=893.442, mem=38M574
901.28/896.54 decisions=487222, wrong=242249, backtracks=119775, failedAssignments=146851, nogoods=2260, foundSolutions=18, bestBound=300
901.28/896.54 nFilterCalls=6732843, avgTableProportion=0.3590739454343433, avgTableSize=0.7181478908686866
901.28/896.54
939.24/934.46 num=248, depth=1..20, filters=10819826, revisions=(10352505,useless=5376244), ccks=10507173993, wck=931.363, mem=51M433
939.24/934.46 decisions=511635, wrong=254453, backtracks=126206, failedAssignments=154030, nogoods=2268, foundSolutions=18, bestBound=300
939.24/934.46 nFilterCalls=7093862, avgTableProportion=0.35970469964033697, avgTableSize=0.7194093992806739
939.24/934.46
983.92/979.09 num=249, depth=1..22, filters=11400737, revisions=(10881524,useless=5650485), ccks=10995078220, wck=975.991, mem=71M738
983.92/979.09 decisions=537092, wrong=267176, backtracks=132373, failedAssignments=161927, nogoods=2277, foundSolutions=18, bestBound=300
983.92/979.09 nFilterCalls=7491895, avgTableProportion=0.36008413091747815, avgTableSize=0.7201682618349563
983.92/979.09
1031.69/1026.75 num=250, depth=2..22, filters=12076126, revisions=(11499638,useless=5970773), ccks=11510610770, wck=1023.653, mem=64M300
1031.69/1026.75 decisions=566471, wrong=281860, backtracks=140214, failedAssignments=170614, nogoods=2294, foundSolutions=18, bestBound=300
1031.69/1026.75 nFilterCalls=7965798, avgTableProportion=0.35975027235187235, avgTableSize=0.7195005447037447
1031.69/1026.75
1090.28/1085.27 num=251, depth=2..23, filters=12903211, revisions=(12248069,useless=6359641), ccks=12145372973, wck=1082.172, mem=37M578
1090.28/1085.27 decisions=599510, wrong=298376, backtracks=149210, failedAssignments=180169, nogoods=2313, foundSolutions=18, bestBound=300
1090.28/1085.27 nFilterCalls=8549232, avgTableProportion=0.3604112041876978, avgTableSize=0.7208224083753956
1090.28/1085.27
1157.97/1152.80 num=252, depth=1..21, filters=13706214, revisions=(12991516,useless=6741357), ccks=12887986487, wck=1149.703, mem=37M537
1157.97/1152.80 decisions=634458, wrong=315846, backtracks=157865, failedAssignments=190680, nogoods=2323, foundSolutions=18, bestBound=300
1157.97/1152.80 nFilterCalls=9084984, avgTableProportion=0.3606427925464701, avgTableSize=0.7212855850929402
1157.97/1152.80
1213.77/1208.59 num=253, depth=0..21, filters=14573665, revisions=(13775784,useless=7148177), ccks=13487602488, wck=1205.492, mem=77M200
1213.77/1208.59 decisions=673005, wrong=335115, backtracks=167966, failedAssignments=202242, nogoods=2346, foundSolutions=18, bestBound=300
1213.77/1208.59 nFilterCalls=9697927, avgTableProportion=0.3609826099948989, avgTableSize=0.7219652199897978
1213.77/1208.59
1281.49/1276.13 num=254, depth=1..24, filters=15698507, revisions=(14768868,useless=7649096), ccks=14212234780, wck=1273.033, mem=57M924
1281.49/1276.13 decisions=715543, wrong=356379, backtracks=179017, failedAssignments=214960, nogoods=2354, foundSolutions=18, bestBound=300
1281.49/1276.13 nFilterCalls=10467937, avgTableProportion=0.36184780248486403, avgTableSize=0.7236956049697281
1281.49/1276.13
1357.72/1352.26 num=255, depth=0..24, filters=16842926, revisions=(15790983,useless=8174385), ccks=15034955926, wck=1349.164, mem=65M427
1357.72/1352.26 decisions=762501, wrong=379855, backtracks=191163, failedAssignments=228950, nogoods=2362, foundSolutions=18, bestBound=300
1357.72/1352.26 nFilterCalls=11258748, avgTableProportion=0.3627518352839943, avgTableSize=0.7255036705679886
1357.72/1352.26
1434.89/1429.20 num=256, depth=0..21, filters=18110426, revisions=(16924178,useless=8757265), ccks=15856925319, wck=1426.105, mem=51M564
1434.89/1429.20 decisions=815452, wrong=406327, backtracks=205426, failedAssignments=244339, nogoods=2374, foundSolutions=18, bestBound=300
1434.89/1429.20 nFilterCalls=12137165, avgTableProportion=0.3638651612629473, avgTableSize=0.7277303225258946
1434.89/1429.20
1522.86/1517.02
1522.86/1517.02 New Bounds: 300..299
1522.86/1517.02 num=257, depth=0..19, filters=19517807, revisions=(18177006,useless=9395911), ccks=16797562818, wck=1513.918, mem=24M850
1522.86/1517.02 decisions=871752, wrong=434478, backtracks=220484, failedAssignments=260998, foundSolutions=18, bestBound=300
1522.86/1517.02 nFilterCalls=13114017, avgTableProportion=0.3644352832545512, avgTableSize=0.7288705665091024
1522.86/1517.02
1522.86/1517.02 Global
1522.86/1517.02 filters=19517807, revisions=(18177006,useless=9395911), ccks=16797562818
1522.86/1517.02 Stop=FULL_EXPLORATION, wrong=434478, bestBound=300, bestBoundWck=451.361, bestBoundCpu=453.01, foundSolutions=18, firstSolCpu=2.889
1522.86/1517.02 wck=1514.301, cpu=1515.405, mem=24M850
1522.86/1517.02
1522.86/1517.02 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>
1522.86/1517.02 s OPTIMUM FOUND
1522.86/1517.02
1522.86/1517.02 d WRONG_DECISIONS 434478
1522.86/1517.02 d NUMBER_SOLUTIONS 18