2.62/1.91
2.62/1.91 AbsCon 2
2.62/1.92
3.60/2.24 Instance
3.60/2.24 name=instance-4391263-1568391564, framework=COP, bounds=-infty..+infty
3.60/2.24
3.60/2.24 Loading variables...
3.98/2.32 Loading constraints...[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b2f5b2a
6.10/2.95 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@42adb80e
6.10/2.96 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3b99faca
6.10/2.96 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3b6fd782
6.10/2.96 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@36b6976
6.10/2.96 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3929a170
6.10/2.96 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@12e563b7
6.10/2.96 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@67d830c3
6.10/2.96 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@78b8cb7b
6.10/2.96 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ca31986
6.10/2.96 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c8820b8
6.10/2.96 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@69389842
6.10/2.96 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@38850189
6.10/2.96 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4648efbc
6.10/2.97 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@8d9d8ee
6.10/2.97 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1ee5d701
6.10/2.97 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@403c50ca
6.10/2.97 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6062cd74
6.10/2.97 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@630dc3b6
6.10/2.97 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3f7a9dd8
6.10/2.97 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@58127d1c
6.10/2.97 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@550942cc
6.10/2.97 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@33b958d1
6.10/2.97 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@26a1d25f
6.10/2.97 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6614c891
6.10/2.97 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@78dcf2fb
6.10/2.97 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@34f1363b
6.10/2.97 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4481c059
6.10/2.97 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4a35b59
6.10/2.97 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@389ef61e
6.47/3.02
6.47/3.02
6.47/3.02 Domains
6.47/3.02 nTypes=4, nValues=8130, sizes=[2#1800,3#900,30#30,31#30]
6.47/3.02 Variables
6.47/3.02 count=2760, degrees=[2#960,3#1770,31#30]
6.47/3.02 Objectives
6.47/3.02 way=min, type=ObjMaximumLE
6.47/3.02 Constraints
6.47/3.02 count=2732, nSpecific=962, arities=[2#930,3#1770,30#2,31#30]
6.47/3.02 distribution=[AllDifferent#1,CtrExtensionCT-Table#900,CtrExtensionV-Bits#900,CtrIntension#870,EQ#30,ObjMaximumLE#1,SumWeightedEQ#30]
6.47/3.02 tables=[5#900], nTotalTuples=4500
6.47/3.02 nExtStructures=(901,shared:899), nIntStructures=(1,shared:869), nCftStructures=(901,shared:869,unbuilt:962)
6.47/3.02 wck=1.143, cpu=2.963, mem=32M871
6.88/3.29 Solver SolverBacktrack being built...
6.88/3.29
7.15/3.34
7.15/3.34 Solver
7.15/3.34 guaranteedGAC=false
7.15/3.34 wck=1.461, cpu=3.194, mem=173M331
7.15/3.38
7.15/3.38 Preprocessing
7.15/3.38 filters=30, revisions=(60,useless=60), ccks=228, nACremovedValues=30, nTotalRemovedValues=30, inconcistency=false
7.15/3.38 wck=0.044, cpu=3.241, mem=173M331
7.15/3.38
7.72/3.50 o 19
8.05/3.69 num=0, depth=2761..2759, filters=4062, revisions=(20637,useless=17997), ccks=12209, wck=0.355, mem=175M946
8.05/3.69 decisions=29, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=1, bestBound=19
8.05/3.69 nFilterCalls=5399, avgTableProportion=0.8000000000000803, avgTableSize=4.0
8.05/3.69
8.31/3.78 num=1, depth=0..31, filters=8651, revisions=(41430,useless=35618), ccks=17283, wck=0.44, mem=175M946
8.31/3.78 decisions=106, wrong=24, backtracks=13, failedAssignments=11, nogoods=5, foundSolutions=1, bestBound=19
8.31/3.78 nFilterCalls=8389, avgTableProportion=0.8000000000001165, avgTableSize=4.0
8.31/3.78
8.62/3.87 o 17
8.92/4.00 num=2, depth=5..2759, filters=12817, revisions=(63169,useless=54320), ccks=26122, wck=0.663, mem=178M561
8.92/4.00 decisions=177, wrong=29, backtracks=13, failedAssignments=16, nogoods=10, foundSolutions=2, bestBound=17
8.92/4.00 nFilterCalls=13132, avgTableProportion=0.7999999999999398, avgTableSize=4.0
8.92/4.00
9.25/4.05 num=3, depth=7..32, filters=14084, revisions=(66405,useless=56659), ccks=27708, wck=0.714, mem=178M561
9.25/4.05 decisions=248, wrong=56, backtracks=29, failedAssignments=28, nogoods=21, foundSolutions=2, bestBound=17
9.25/4.05 nFilterCalls=14653, avgTableProportion=0.7999999999998705, avgTableSize=4.0
9.25/4.05
9.56/4.14 o 16
9.83/4.27 num=4, depth=12..2759, filters=18338, revisions=(88451,useless=75589), ccks=35990, wck=0.933, mem=178M561
9.83/4.27 decisions=322, wrong=63, backtracks=29, failedAssignments=35, nogoods=28, foundSolutions=3, bestBound=16
9.83/4.27 nFilterCalls=19436, avgTableProportion=0.7999999999997233, avgTableSize=4.0
9.83/4.27
10.13/4.31 num=5, depth=0..12, filters=19730, revisions=(92317,useless=78481), ccks=37752, wck=0.976, mem=178M561
10.13/4.31 decisions=374, wrong=87, backtracks=41, failedAssignments=47, nogoods=31, foundSolutions=3, bestBound=16
10.13/4.31 nFilterCalls=21083, avgTableProportion=0.7999999999996881, avgTableSize=4.0
10.13/4.31
10.13/4.36 num=6, depth=0..58, filters=23086, revisions=(106869,useless=90383), ccks=42747, wck=1.021, mem=178M561
10.13/4.36 decisions=447, wrong=98, backtracks=41, failedAssignments=58, nogoods=41, foundSolutions=3, bestBound=16
10.13/4.36 nFilterCalls=22750, avgTableProportion=0.7999999999996577, avgTableSize=4.0
10.13/4.36
10.13/4.39 num=7, depth=12..52, filters=24528, revisions=(111178,useless=93373), ccks=45719, wck=1.048, mem=178M561
10.13/4.39 decisions=512, wrong=110, backtracks=41, failedAssignments=70, nogoods=53, foundSolutions=3, bestBound=16
10.13/4.39 nFilterCalls=23440, avgTableProportion=0.7999999999996463, avgTableSize=4.0
10.13/4.39
10.44/4.44 num=8, depth=0..65, filters=29259, revisions=(131136,useless=109855), ccks=53619, wck=1.106, mem=181M177
10.44/4.44 decisions=598, wrong=123, backtracks=41, failedAssignments=83, nogoods=65, foundSolutions=3, bestBound=16
10.44/4.44 nFilterCalls=25884, avgTableProportion=0.799999999999611, avgTableSize=4.0
10.44/4.44
10.74/4.51 num=9, depth=12..74, filters=34256, revisions=(149745,useless=124814), ccks=62029, wck=1.169, mem=181M177
10.74/4.51 decisions=689, wrong=137, backtracks=41, failedAssignments=97, nogoods=79, foundSolutions=3, bestBound=16
10.74/4.51 nFilterCalls=28646, avgTableProportion=0.7999999999995784, avgTableSize=4.0
10.74/4.51
10.74/4.60 o 15
11.35/4.72 num=10, depth=12..2759, filters=38938, revisions=(173539,useless=145056), ccks=72766, wck=1.386, mem=181M177
11.35/4.72 decisions=787, wrong=150, backtracks=41, failedAssignments=110, nogoods=92, foundSolutions=4, bestBound=15
11.35/4.72 nFilterCalls=33661, avgTableProportion=0.7999999999995328, avgTableSize=4.0
11.35/4.72
11.35/4.79 num=11, depth=23..66, filters=43614, revisions=(192262,useless=160035), ccks=80006, wck=1.455, mem=181M177
11.35/4.79 decisions=888, wrong=170, backtracks=44, failedAssignments=127, nogoods=101, foundSolutions=4, bestBound=15
11.35/4.79 nFilterCalls=36774, avgTableProportion=0.7999999999995108, avgTableSize=4.0
11.35/4.79
11.65/4.82 num=12, depth=12..72, filters=45184, revisions=(198266,useless=164638), ccks=83111, wck=1.482, mem=181M177
11.65/4.82 decisions=972, wrong=181, backtracks=44, failedAssignments=138, nogoods=112, foundSolutions=4, bestBound=15
11.65/4.82 nFilterCalls=37534, avgTableProportion=0.7999999999995059, avgTableSize=4.0
11.65/4.82
11.65/4.87 num=13, depth=0..104, filters=49294, revisions=(215166,useless=178313), ccks=89451, wck=1.529, mem=181M177
11.65/4.87 decisions=1100, wrong=196, backtracks=47, failedAssignments=150, nogoods=121, foundSolutions=4, bestBound=15
11.65/4.87 nFilterCalls=39543, avgTableProportion=0.799999999999494, avgTableSize=4.0
11.65/4.87
11.95/4.92 num=14, depth=12..114, filters=52758, revisions=(230932,useless=191204), ccks=95633, wck=1.579, mem=181M177
11.95/4.92 decisions=1229, wrong=209, backtracks=47, failedAssignments=163, nogoods=134, foundSolutions=4, bestBound=15
11.95/4.92 nFilterCalls=41407, avgTableProportion=0.7999999999995232, avgTableSize=4.0
11.95/4.92
11.95/4.97 num=15, depth=100..107, filters=58011, revisions=(250087,useless=206881), ccks=101754, wck=1.633, mem=181M177
11.95/4.97 decisions=1368, wrong=226, backtracks=53, failedAssignments=177, nogoods=142, foundSolutions=4, bestBound=15
11.95/4.97 nFilterCalls=43956, avgTableProportion=0.7999999999997197, avgTableSize=4.0
11.95/4.97
12.27/5.04 o 14
12.58/5.17 num=16, depth=18..2759, filters=62440, revisions=(274454,useless=227918), ccks=111578, wck=1.835, mem=183M792
12.58/5.17 decisions=1499, wrong=236, backtracks=53, failedAssignments=187, nogoods=152, foundSolutions=5, bestBound=14
12.58/5.17 nFilterCalls=48909, avgTableProportion=0.8000000000000428, avgTableSize=4.0
12.58/5.17
12.85/5.26 o 13
13.15/5.39 num=17, depth=86..2759, filters=66264, revisions=(298145,useless=248890), ccks=119563, wck=2.056, mem=183M792
13.15/5.39 decisions=1597, wrong=240, backtracks=53, failedAssignments=191, nogoods=156, foundSolutions=6, bestBound=13
13.15/5.39 nFilterCalls=54561, avgTableProportion=0.8000000000003399, avgTableSize=4.0
13.15/5.39
13.45/5.45 num=18, depth=0..113, filters=69498, revisions=(316599,useless=264836), ccks=124134, wck=2.112, mem=183M792
13.45/5.45 decisions=1731, wrong=252, backtracks=54, failedAssignments=202, nogoods=160, foundSolutions=6, bestBound=13
13.45/5.45 nFilterCalls=57341, avgTableProportion=0.8000000000004645, avgTableSize=4.0
13.45/5.45
13.45/5.47 num=19, depth=19..87, filters=71270, revisions=(324642,useless=271292), ccks=127107, wck=2.133, mem=183M792
13.45/5.47 decisions=1830, wrong=263, backtracks=54, failedAssignments=213, nogoods=171, foundSolutions=6, bestBound=13
13.45/5.47 nFilterCalls=58231, avgTableProportion=0.8000000000005019, avgTableSize=4.0
13.45/5.47
13.74/5.50 num=20, depth=0..118, filters=74797, revisions=(341801,useless=285597), ccks=132475, wck=2.161, mem=183M792
13.74/5.50 decisions=1967, wrong=275, backtracks=54, failedAssignments=225, nogoods=182, foundSolutions=6, bestBound=13
13.74/5.50 nFilterCalls=60119, avgTableProportion=0.8000000000005775, avgTableSize=4.0
13.74/5.50
13.74/5.52 num=21, depth=19..118, filters=77663, revisions=(355899,useless=297293), ccks=137285, wck=2.183, mem=183M792
13.74/5.52 decisions=2101, wrong=288, backtracks=54, failedAssignments=238, nogoods=195, foundSolutions=6, bestBound=13
13.74/5.52 nFilterCalls=61611, avgTableProportion=0.800000000000634, avgTableSize=4.0
13.74/5.52
13.74/5.54 num=22, depth=19..118, filters=80805, revisions=(370982,useless=309765), ccks=142058, wck=2.205, mem=186M407
13.74/5.54 decisions=2237, wrong=302, backtracks=54, failedAssignments=252, nogoods=209, foundSolutions=6, bestBound=13
13.74/5.54 nFilterCalls=63258, avgTableProportion=0.8000000000006933, avgTableSize=4.0
13.74/5.54
13.74/5.57 num=23, depth=19..121, filters=84744, revisions=(388644,useless=324292), ccks=147863, wck=2.229, mem=186M407
13.74/5.57 decisions=2380, wrong=318, backtracks=54, failedAssignments=268, nogoods=225, foundSolutions=6, bestBound=13
13.74/5.57 nFilterCalls=65266, avgTableProportion=0.8000000000007614, avgTableSize=4.0
13.74/5.57
13.74/5.59 num=24, depth=67..120, filters=89862, revisions=(411119,useless=342984), ccks=154545, wck=2.254, mem=186M407
13.74/5.59 decisions=2535, wrong=337, backtracks=56, failedAssignments=285, nogoods=239, foundSolutions=6, bestBound=13
13.74/5.59 nFilterCalls=67846, avgTableProportion=0.8000000000008431, avgTableSize=4.0
13.74/5.59
13.98/5.62 num=25, depth=68..128, filters=95663, revisions=(435799,useless=363450), ccks=162183, wck=2.282, mem=186M407
13.98/5.62 decisions=2697, wrong=357, backtracks=57, failedAssignments=304, nogoods=258, foundSolutions=6, bestBound=13
13.98/5.62 nFilterCalls=70771, avgTableProportion=0.8000000000009286, avgTableSize=4.0
13.98/5.62
13.98/5.65 num=26, depth=21..132, filters=100903, revisions=(458824,useless=382445), ccks=169550, wck=2.308, mem=186M407
13.98/5.65 decisions=2859, wrong=378, backtracks=57, failedAssignments=325, nogoods=279, foundSolutions=6, bestBound=13
13.98/5.65 nFilterCalls=73391, avgTableProportion=0.8000000000009994, avgTableSize=4.0
13.98/5.65
13.98/5.67 num=27, depth=21..125, filters=106322, revisions=(484068,useless=403544), ccks=176996, wck=2.334, mem=186M407
13.98/5.67 decisions=3020, wrong=401, backtracks=57, failedAssignments=348, nogoods=302, foundSolutions=6, bestBound=13
13.98/5.67 nFilterCalls=76008, avgTableProportion=0.8000000000010652, avgTableSize=4.0
13.98/5.67
14.12/5.72 o 12
14.32/5.84 num=28, depth=21..2759, filters=110713, revisions=(507748,useless=423964), ccks=185663, wck=2.504, mem=186M407
14.32/5.84 decisions=3169, wrong=414, backtracks=59, failedAssignments=359, nogoods=313, foundSolutions=7, bestBound=12
14.32/5.84 nFilterCalls=80919, avgTableProportion=0.8000000000011771, avgTableSize=4.0
14.32/5.84
14.42/5.91 o 11
14.53/6.04 num=29, depth=66..2759, filters=116334, revisions=(537202,useless=449087), ccks=197420, wck=2.698, mem=189M23
14.53/6.04 decisions=3329, wrong=435, backtracks=60, failedAssignments=379, nogoods=333, foundSolutions=8, bestBound=11
14.53/6.04 nFilterCalls=87405, avgTableProportion=0.8000000000013058, avgTableSize=4.0
14.53/6.04
14.53/6.08 num=30, depth=82..114, filters=120821, revisions=(554386,useless=463147), ccks=202859, wck=2.743, mem=189M23
14.53/6.08 decisions=3469, wrong=449, backtracks=63, failedAssignments=390, nogoods=342, foundSolutions=8, bestBound=11
14.53/6.08 nFilterCalls=90752, avgTableProportion=0.800000000001365, avgTableSize=4.0
14.53/6.08
14.53/6.10 num=31, depth=62..73, filters=124680, revisions=(573741,useless=479586), ccks=208924, wck=2.761, mem=189M23
14.53/6.10 decisions=3569, wrong=464, backtracks=68, failedAssignments=401, nogoods=350, foundSolutions=8, bestBound=11
14.53/6.10 nFilterCalls=92843, avgTableProportion=0.8000000000013997, avgTableSize=4.0
14.53/6.10
14.66/6.12 num=32, depth=42..68, filters=127745, revisions=(591272,useless=494805), ccks=213980, wck=2.782, mem=189M23
14.66/6.12 decisions=3659, wrong=476, backtracks=68, failedAssignments=413, nogoods=362, foundSolutions=8, bestBound=11
14.66/6.12 nFilterCalls=94476, avgTableProportion=0.8000000000014259, avgTableSize=4.0
14.66/6.12
14.66/6.14 num=33, depth=50..60, filters=130688, revisions=(607791,useless=509098), ccks=218349, wck=2.8, mem=189M23
14.66/6.14 decisions=3747, wrong=491, backtracks=70, failedAssignments=426, nogoods=366, foundSolutions=8, bestBound=11
14.66/6.14 nFilterCalls=96035, avgTableProportion=0.80000000000145, avgTableSize=4.0
14.66/6.14
14.66/6.16 num=34, depth=33..62, filters=134553, revisions=(626125,useless=524483), ccks=223566, wck=2.82, mem=189M23
14.66/6.16 decisions=3839, wrong=509, backtracks=74, failedAssignments=440, nogoods=369, foundSolutions=8, bestBound=11
14.66/6.16 nFilterCalls=97993, avgTableProportion=0.8000000000014792, avgTableSize=4.0
14.66/6.16
14.66/6.18 num=35, depth=45..53, filters=138092, revisions=(643837,useless=539556), ccks=228671, wck=2.839, mem=189M23
14.66/6.18 decisions=3930, wrong=532, backtracks=81, failedAssignments=456, nogoods=376, foundSolutions=8, bestBound=11
14.66/6.18 nFilterCalls=99830, avgTableProportion=0.8000000000015055, avgTableSize=4.0
14.66/6.18
14.86/6.20 num=36, depth=41..43, filters=145128, revisions=(671548,useless=562472), ccks=237213, wck=2.867, mem=189M23
14.86/6.20 decisions=4023, wrong=557, backtracks=89, failedAssignments=473, nogoods=380, foundSolutions=8, bestBound=11
14.86/6.20 nFilterCalls=103123, avgTableProportion=0.8000000000015504, avgTableSize=4.0
14.86/6.20
14.86/6.23 num=37, depth=56..113, filters=149736, revisions=(693945,useless=581458), ccks=244117, wck=2.89, mem=189M23
14.86/6.23 decisions=4170, wrong=579, backtracks=92, failedAssignments=492, nogoods=397, foundSolutions=8, bestBound=11
14.86/6.23 nFilterCalls=105451, avgTableProportion=0.8000000000015803, avgTableSize=4.0
14.86/6.23
14.86/6.27 o 10
15.01/6.39 num=38, depth=60..2759, filters=154038, revisions=(718565,useless=602882), ccks=252999, wck=3.057, mem=189M23
15.01/6.39 decisions=4299, wrong=592, backtracks=92, failedAssignments=505, nogoods=410, foundSolutions=9, bestBound=10
15.01/6.39 nFilterCalls=110217, avgTableProportion=0.8000000000016378, avgTableSize=4.0
15.01/6.39
15.11/6.44 num=39, depth=56..58, filters=161339, revisions=(749433,useless=628569), ccks=262730, wck=3.104, mem=191M638
15.11/6.44 decisions=4422, wrong=625, backtracks=106, failedAssignments=528, nogoods=417, foundSolutions=9, bestBound=10
15.11/6.44 nFilterCalls=114576, avgTableProportion=0.8000000000016863, avgTableSize=4.0
15.11/6.44
15.11/6.46 num=40, depth=47..100, filters=165081, revisions=(769249,useless=645548), ccks=269090, wck=3.123, mem=191M638
15.11/6.46 decisions=4538, wrong=636, backtracks=106, failedAssignments=539, nogoods=428, foundSolutions=9, bestBound=10
15.11/6.46 nFilterCalls=116570, avgTableProportion=0.8000000000017072, avgTableSize=4.0
15.11/6.46
15.11/6.48 num=41, depth=50..79, filters=170498, revisions=(792597,useless=665072), ccks=276090, wck=3.142, mem=191M638
15.11/6.48 decisions=4650, wrong=653, backtracks=111, failedAssignments=551, nogoods=435, foundSolutions=9, bestBound=10
15.11/6.48 nFilterCalls=119350, avgTableProportion=0.8000000000017352, avgTableSize=4.0
15.11/6.48
15.22/6.50 num=42, depth=0..107, filters=174551, revisions=(815357,useless=684731), ccks=282532, wck=3.162, mem=191M638
15.22/6.50 decisions=4780, wrong=667, backtracks=112, failedAssignments=564, nogoods=446, foundSolutions=9, bestBound=10
15.22/6.50 nFilterCalls=121383, avgTableProportion=0.800000000001755, avgTableSize=4.0
15.22/6.50
15.22/6.52 num=43, depth=61..102, filters=178494, revisions=(837302,useless=703694), ccks=288265, wck=3.182, mem=191M638
15.22/6.52 decisions=4909, wrong=682, backtracks=113, failedAssignments=578, nogoods=458, foundSolutions=9, bestBound=10
15.22/6.52 nFilterCalls=123438, avgTableProportion=0.8000000000017742, avgTableSize=4.0
15.22/6.52
15.22/6.56 o 9
15.33/6.69 num=44, depth=63..2759, filters=182503, revisions=(862583,useless=725951), ccks=296275, wck=3.348, mem=191M638
15.33/6.69 decisions=5034, wrong=692, backtracks=116, failedAssignments=585, nogoods=464, foundSolutions=10, bestBound=9
15.33/6.69 nFilterCalls=128198, avgTableProportion=0.8000000000018164, avgTableSize=4.0
15.33/6.69
15.43/6.73 num=45, depth=69..99, filters=188442, revisions=(891093,useless=750180), ccks=303776, wck=3.395, mem=191M638
15.43/6.73 decisions=5200, wrong=728, backtracks=140, failedAssignments=602, nogoods=468, foundSolutions=10, bestBound=9
15.43/6.73 nFilterCalls=131866, avgTableProportion=0.8000000000018468, avgTableSize=4.0
15.43/6.73
15.43/6.75 num=46, depth=52..62, filters=192201, revisions=(910691,useless=766915), ccks=309421, wck=3.412, mem=191M638
15.43/6.75 decisions=5291, wrong=744, backtracks=145, failedAssignments=613, nogoods=476, foundSolutions=10, bestBound=9
15.43/6.75 nFilterCalls=133793, avgTableProportion=0.8000000000018621, avgTableSize=4.0
15.43/6.75
15.43/6.76 num=47, depth=55..61, filters=195471, revisions=(928461,useless=782195), ccks=313924, wck=3.426, mem=191M638
15.43/6.76 decisions=5378, wrong=759, backtracks=149, failedAssignments=625, nogoods=486, foundSolutions=10, bestBound=9
15.43/6.76 nFilterCalls=135474, avgTableProportion=0.8000000000018751, avgTableSize=4.0
15.43/6.76
15.43/6.78 num=48, depth=39..43, filters=201212, revisions=(954802,useless=804299), ccks=321606, wck=3.444, mem=191M638
15.43/6.78 decisions=5466, wrong=783, backtracks=162, failedAssignments=638, nogoods=489, foundSolutions=10, bestBound=9
15.43/6.78 nFilterCalls=138496, avgTableProportion=0.8000000000018977, avgTableSize=4.0
15.43/6.78
15.43/6.80 num=49, depth=47..50, filters=204164, revisions=(971077,useless=818257), ccks=326197, wck=3.457, mem=191M638
15.43/6.80 decisions=5555, wrong=804, backtracks=169, failedAssignments=652, nogoods=492, foundSolutions=10, bestBound=9
15.43/6.80 nFilterCalls=140005, avgTableProportion=0.8000000000019086, avgTableSize=4.0
15.43/6.80
15.54/6.81 num=50, depth=52..65, filters=208948, revisions=(987296,useless=831445), ccks=331908, wck=3.474, mem=191M638
15.54/6.81 decisions=5664, wrong=828, backtracks=178, failedAssignments=668, nogoods=498, foundSolutions=10, bestBound=9
15.54/6.81 nFilterCalls=142312, avgTableProportion=0.8000000000019248, avgTableSize=4.0
15.54/6.81
15.54/6.83 num=51, depth=50..62, filters=211657, revisions=(1000970,useless=843119), ccks=335847, wck=3.488, mem=191M638
15.54/6.83 decisions=5761, wrong=847, backtracks=180, failedAssignments=685, nogoods=508, foundSolutions=10, bestBound=9
15.54/6.83 nFilterCalls=143705, avgTableProportion=0.8000000000019344, avgTableSize=4.0
15.54/6.83
15.54/6.84 num=52, depth=47..64, filters=215748, revisions=(1019238,useless=858223), ccks=341773, wck=3.504, mem=191M638
15.54/6.84 decisions=5872, wrong=871, backtracks=185, failedAssignments=704, nogoods=518, foundSolutions=10, bestBound=9
15.54/6.84 nFilterCalls=145842, avgTableProportion=0.8000000000019487, avgTableSize=4.0
15.54/6.84
15.54/6.86 num=53, depth=51..57, filters=223605, revisions=(1045477,useless=878788), ccks=351685, wck=3.525, mem=191M638
15.54/6.86 decisions=5986, wrong=901, backtracks=194, failedAssignments=725, nogoods=529, foundSolutions=10, bestBound=9
15.54/6.86 nFilterCalls=150067, avgTableProportion=0.8000000000019758, avgTableSize=4.0
15.54/6.86
15.54/6.88 num=54, depth=56..60, filters=229067, revisions=(1067433,useless=896272), ccks=359969, wck=3.545, mem=194M253
15.54/6.88 decisions=6107, wrong=933, backtracks=205, failedAssignments=748, nogoods=535, foundSolutions=10, bestBound=9
15.54/6.88 nFilterCalls=152792, avgTableProportion=0.8000000000019925, avgTableSize=4.0
15.54/6.88
15.64/6.91 num=55, depth=58..62, filters=240027, revisions=(1099128,useless=919311), ccks=375974, wck=3.573, mem=194M253
15.64/6.91 decisions=6234, wrong=967, backtracks=215, failedAssignments=773, nogoods=540, foundSolutions=10, bestBound=9
15.64/6.91 nFilterCalls=158206, avgTableProportion=0.8000000000020239, avgTableSize=4.0
15.64/6.91
15.64/6.93 num=56, depth=46..60, filters=243755, revisions=(1117233,useless=934665), ccks=381479, wck=3.59, mem=194M253
15.64/6.93 decisions=6372, wrong=1010, backtracks=231, failedAssignments=801, nogoods=545, foundSolutions=10, bestBound=9
15.64/6.93 nFilterCalls=159974, avgTableProportion=0.8000000000020336, avgTableSize=4.0
15.64/6.93
15.64/6.94 num=57, depth=59..64, filters=246741, revisions=(1132383,useless=947522), ccks=385528, wck=3.605, mem=194M253
15.64/6.94 decisions=6503, wrong=1046, backtracks=236, failedAssignments=832, nogoods=547, foundSolutions=10, bestBound=9
15.64/6.94 nFilterCalls=161365, avgTableProportion=0.8000000000020412, avgTableSize=4.0
15.64/6.94
15.64/6.96 num=58, depth=62..82, filters=250729, revisions=(1150974,useless=963042), ccks=390574, wck=3.624, mem=194M253
15.64/6.96 decisions=6658, wrong=1086, backtracks=243, failedAssignments=866, nogoods=551, foundSolutions=10, bestBound=9
15.64/6.96 nFilterCalls=163267, avgTableProportion=0.8000000000020514, avgTableSize=4.0
15.64/6.96
15.64/6.98 num=59, depth=62..82, filters=254802, revisions=(1171005,useless=979951), ccks=395652, wck=3.644, mem=194M253
15.64/6.98 decisions=6817, wrong=1128, backtracks=248, failedAssignments=903, nogoods=560, foundSolutions=10, bestBound=9
15.64/6.98 nFilterCalls=165245, avgTableProportion=0.8000000000019379, avgTableSize=4.0
15.64/6.98
15.64/7.00 num=60, depth=68..85, filters=259118, revisions=(1191174,useless=996924), ccks=401021, wck=3.664, mem=194M253
15.64/7.00 decisions=6988, wrong=1174, backtracks=253, failedAssignments=944, nogoods=567, foundSolutions=10, bestBound=9
15.64/7.00 nFilterCalls=167211, avgTableProportion=0.8000000000017783, avgTableSize=4.0
15.64/7.00
15.76/7.03 num=61, depth=65..98, filters=265681, revisions=(1220210,useless=1020952), ccks=409399, wck=3.692, mem=194M253
15.76/7.03 decisions=7206, wrong=1239, backtracks=276, failedAssignments=989, nogoods=575, foundSolutions=10, bestBound=9
15.76/7.03 nFilterCalls=170273, avgTableProportion=0.8000000000015369, avgTableSize=4.0
15.76/7.03
15.76/7.06 num=62, depth=77..83, filters=273730, revisions=(1261346,useless=1055945), ccks=422004, wck=3.723, mem=194M253
15.76/7.06 decisions=7438, wrong=1315, backtracks=304, failedAssignments=1039, nogoods=579, foundSolutions=10, bestBound=9
15.76/7.06 nFilterCalls=174292, avgTableProportion=0.8000000000012331, avgTableSize=4.0
15.76/7.06
15.76/7.08 num=63, depth=67..80, filters=278896, revisions=(1284324,useless=1075148), ccks=428619, wck=3.745, mem=194M253
15.76/7.08 decisions=7638, wrong=1380, backtracks=314, failedAssignments=1094, nogoods=583, foundSolutions=10, bestBound=9
15.76/7.08 nFilterCalls=176635, avgTableProportion=0.8000000000010623, avgTableSize=4.0
15.76/7.08
15.86/7.11 num=64, depth=72..86, filters=285872, revisions=(1308500,useless=1094536), ccks=436529, wck=3.77, mem=194M253
15.86/7.11 decisions=7868, wrong=1458, backtracks=331, failedAssignments=1155, nogoods=589, foundSolutions=10, bestBound=9
15.86/7.11 nFilterCalls=179878, avgTableProportion=0.8000000000008333, avgTableSize=4.0
15.86/7.11
15.86/7.13 num=65, depth=56..81, filters=291996, revisions=(1332357,useless=1113943), ccks=444028, wck=3.795, mem=194M253
15.86/7.13 decisions=8093, wrong=1537, backtracks=343, failedAssignments=1222, nogoods=609, foundSolutions=10, bestBound=9
15.86/7.13 nFilterCalls=182593, avgTableProportion=0.8000000000006477, avgTableSize=4.0
15.86/7.13
15.86/7.19 o 8
16.07/7.32 num=66, depth=38..2759, filters=303785, revisions=(1385359,useless=1157377), ccks=463672, wck=3.979, mem=196M868
16.07/7.32 decisions=8371, wrong=1629, backtracks=397, failedAssignments=1275, nogoods=623, foundSolutions=11, bestBound=8
16.07/7.32 nFilterCalls=191844, avgTableProportion=0.8000000000000551, avgTableSize=4.0
16.07/7.32
16.07/7.38 num=67, depth=52..68, filters=317738, revisions=(1426219,useless=1188304), ccks=481473, wck=4.041, mem=196M868
16.07/7.38 decisions=8676, wrong=1755, backtracks=448, failedAssignments=1356, nogoods=625, foundSolutions=11, bestBound=8
16.07/7.38 nFilterCalls=199765, avgTableProportion=0.7999999999995914, avgTableSize=4.0
16.07/7.38
16.07/7.39 num=68, depth=57..59, filters=319871, revisions=(1438204,useless=1198645), ccks=484711, wck=4.053, mem=196M868
16.07/7.39 decisions=8757, wrong=1767, backtracks=449, failedAssignments=1367, nogoods=632, foundSolutions=11, bestBound=8
16.07/7.39 nFilterCalls=200807, avgTableProportion=0.7999999999995331, avgTableSize=4.0
16.07/7.39
16.20/7.40 num=69, depth=55..60, filters=323023, revisions=(1452353,useless=1210328), ccks=489272, wck=4.067, mem=196M868
16.20/7.40 decisions=8843, wrong=1782, backtracks=454, failedAssignments=1379, nogoods=635, foundSolutions=11, bestBound=8
16.20/7.40 nFilterCalls=202364, avgTableProportion=0.799999999999447, avgTableSize=4.0
16.20/7.40
16.20/7.42 num=70, depth=58..62, filters=326143, revisions=(1466806,useless=1222336), ccks=493478, wck=4.081, mem=196M868
16.20/7.42 decisions=8936, wrong=1798, backtracks=457, failedAssignments=1392, nogoods=646, foundSolutions=11, bestBound=8
16.20/7.42 nFilterCalls=204081, avgTableProportion=0.7999999999993538, avgTableSize=4.0
16.20/7.42
16.20/7.43 num=71, depth=58..61, filters=330053, revisions=(1483386,useless=1235982), ccks=499037, wck=4.096, mem=196M868
16.20/7.43 decisions=9035, wrong=1818, backtracks=463, failedAssignments=1406, nogoods=648, foundSolutions=11, bestBound=8
16.20/7.43 nFilterCalls=206071, avgTableProportion=0.7999999999992476, avgTableSize=4.0
16.20/7.43
16.20/7.45 num=72, depth=59..65, filters=332915, revisions=(1499539,useless=1249933), ccks=503118, wck=4.11, mem=196M868
16.20/7.45 decisions=9134, wrong=1836, backtracks=465, failedAssignments=1422, nogoods=660, foundSolutions=11, bestBound=8
16.20/7.45 nFilterCalls=207480, avgTableProportion=0.7999999999991737, avgTableSize=4.0
16.20/7.45
16.20/7.46 num=73, depth=59..64, filters=337097, revisions=(1514329,useless=1261500), ccks=508846, wck=4.126, mem=196M868
16.20/7.46 decisions=9235, wrong=1855, backtracks=467, failedAssignments=1439, nogoods=671, foundSolutions=11, bestBound=8
16.20/7.46 nFilterCalls=209743, avgTableProportion=0.7999999999990569, avgTableSize=4.0
16.20/7.46
16.20/7.48 num=74, depth=46..63, filters=342301, revisions=(1530838,useless=1274500), ccks=514768, wck=4.143, mem=196M868
16.20/7.48 decisions=9344, wrong=1879, backtracks=473, failedAssignments=1458, nogoods=685, foundSolutions=11, bestBound=8
16.20/7.48 nFilterCalls=212465, avgTableProportion=0.7999999999989199, avgTableSize=4.0
16.20/7.48
16.31/7.50 num=75, depth=54..61, filters=347313, revisions=(1546424,useless=1286584), ccks=520380, wck=4.16, mem=196M868
16.31/7.50 decisions=9456, wrong=1908, backtracks=481, failedAssignments=1479, nogoods=690, foundSolutions=11, bestBound=8
16.31/7.50 nFilterCalls=215072, avgTableProportion=0.7999999999987919, avgTableSize=4.0
16.31/7.50
16.31/7.52 num=76, depth=61..66, filters=355984, revisions=(1569481,useless=1303898), ccks=529350, wck=4.183, mem=196M868
16.31/7.52 decisions=9592, wrong=1944, backtracks=494, failedAssignments=1502, nogoods=695, foundSolutions=11, bestBound=8
16.31/7.52 nFilterCalls=219431, avgTableProportion=0.7999999999985846, avgTableSize=4.0
16.31/7.52
16.31/7.54 num=77, depth=55..72, filters=362939, revisions=(1593611,useless=1322838), ccks=538127, wck=4.206, mem=196M868
16.31/7.54 decisions=9722, wrong=1973, backtracks=499, failedAssignments=1527, nogoods=706, foundSolutions=11, bestBound=8
16.31/7.54 nFilterCalls=223005, avgTableProportion=0.7999999999984208, avgTableSize=4.0
16.31/7.54
16.31/7.56 num=78, depth=57..68, filters=368922, revisions=(1615768,useless=1340444), ccks=545574, wck=4.226, mem=196M868
16.31/7.56 decisions=9856, wrong=2008, backtracks=507, failedAssignments=1555, nogoods=712, foundSolutions=11, bestBound=8
16.31/7.56 nFilterCalls=226236, avgTableProportion=0.799999999998277, avgTableSize=4.0
16.31/7.56
16.31/7.58 num=79, depth=58..68, filters=374510, revisions=(1635831,useless=1356588), ccks=552082, wck=4.246, mem=196M868
16.31/7.58 decisions=9998, wrong=2047, backtracks=516, failedAssignments=1586, nogoods=718, foundSolutions=11, bestBound=8
16.31/7.58 nFilterCalls=229235, avgTableProportion=0.7999999999981473, avgTableSize=4.0
16.31/7.58
16.42/7.61 num=80, depth=65..69, filters=381371, revisions=(1661341,useless=1377177), ccks=560495, wck=4.269, mem=196M868
16.42/7.61 decisions=10150, wrong=2089, backtracks=524, failedAssignments=1620, nogoods=732, foundSolutions=11, bestBound=8
16.42/7.61 nFilterCalls=232863, avgTableProportion=0.7999999999979948, avgTableSize=4.0
16.42/7.61
16.42/7.63 num=81, depth=60..65, filters=386073, revisions=(1681524,useless=1393733), ccks=566683, wck=4.288, mem=196M868
16.42/7.63 decisions=10298, wrong=2131, backtracks=529, failedAssignments=1657, nogoods=747, foundSolutions=11, bestBound=8
16.42/7.63 nFilterCalls=235019, avgTableProportion=0.7999999999979064, avgTableSize=4.0
16.42/7.63
16.42/7.66 num=82, depth=64..69, filters=398219, revisions=(1715454,useless=1418999), ccks=580846, wck=4.319, mem=196M868
16.42/7.66 decisions=10469, wrong=2184, backtracks=543, failedAssignments=1698, nogoods=752, foundSolutions=11, bestBound=8
16.42/7.66 nFilterCalls=240661, avgTableProportion=0.7999999999976826, avgTableSize=4.0
16.42/7.66
16.53/7.70 o 7
16.63/7.83 num=83, depth=62..2759, filters=404072, revisions=(1747628,useless=1446604), ccks=592216, wck=4.49, mem=199M483
16.63/7.83 decisions=10643, wrong=2219, backtracks=549, failedAssignments=1728, nogoods=773, foundSolutions=12, bestBound=7
16.63/7.83 nFilterCalls=246124, avgTableProportion=0.7999999999974755, avgTableSize=4.0
16.63/7.83
16.63/7.88 num=84, depth=68..73, filters=415347, revisions=(1787732,useless=1478136), ccks=607543, wck=4.547, mem=199M483
16.63/7.88 decisions=10852, wrong=2289, backtracks=570, failedAssignments=1778, nogoods=777, foundSolutions=12, bestBound=7
16.63/7.88 nFilterCalls=252370, avgTableProportion=0.7999999999972499, avgTableSize=4.0
16.63/7.88
16.73/7.90 num=85, depth=49..60, filters=418182, revisions=(1802542,useless=1490753), ccks=611942, wck=4.56, mem=199M483
16.73/7.90 decisions=10935, wrong=2301, backtracks=571, failedAssignments=1789, nogoods=788, foundSolutions=12, bestBound=7
16.73/7.90 nFilterCalls=253903, avgTableProportion=0.7999999999971962, avgTableSize=4.0
16.73/7.90
16.73/7.91 num=86, depth=52..61, filters=420933, revisions=(1816556,useless=1502692), ccks=616028, wck=4.573, mem=199M483
16.73/7.91 decisions=11021, wrong=2314, backtracks=572, failedAssignments=1801, nogoods=800, foundSolutions=12, bestBound=7
16.73/7.91 nFilterCalls=255360, avgTableProportion=0.7999999999971458, avgTableSize=4.0
16.73/7.91
16.73/7.93 num=87, depth=53..64, filters=424674, revisions=(1832722,useless=1515869), ccks=621199, wck=4.588, mem=199M483
16.73/7.93 decisions=11114, wrong=2330, backtracks=575, failedAssignments=1814, nogoods=813, foundSolutions=12, bestBound=7
16.73/7.93 nFilterCalls=257183, avgTableProportion=0.7999999999970835, avgTableSize=4.0
16.73/7.93
16.73/7.94 num=88, depth=53..62, filters=427562, revisions=(1847539,useless=1528482), ccks=625283, wck=4.601, mem=199M483
16.73/7.94 decisions=11206, wrong=2346, backtracks=577, failedAssignments=1828, nogoods=824, foundSolutions=12, bestBound=7
16.73/7.94 nFilterCalls=258676, avgTableProportion=0.7999999999970332, avgTableSize=4.0
16.73/7.94
16.73/7.95 num=89, depth=55..62, filters=430501, revisions=(1861615,useless=1540371), ccks=629396, wck=4.615, mem=199M483
16.73/7.95 decisions=11305, wrong=2366, backtracks=581, failedAssignments=1844, nogoods=831, foundSolutions=12, bestBound=7
16.73/7.95 nFilterCalls=260134, avgTableProportion=0.7999999999969846, avgTableSize=4.0
16.73/7.95
16.73/7.97 num=90, depth=56..59, filters=432996, revisions=(1874215,useless=1551164), ccks=632730, wck=4.628, mem=199M483
16.73/7.97 decisions=11401, wrong=2385, backtracks=583, failedAssignments=1861, nogoods=843, foundSolutions=12, bestBound=7
16.73/7.97 nFilterCalls=261321, avgTableProportion=0.7999999999969454, avgTableSize=4.0
16.73/7.97
16.73/7.98 num=91, depth=49..58, filters=435902, revisions=(1888318,useless=1563085), ccks=636550, wck=4.642, mem=199M483
16.73/7.98 decisions=11507, wrong=2409, backtracks=588, failedAssignments=1880, nogoods=855, foundSolutions=12, bestBound=7
16.73/7.98 nFilterCalls=262726, avgTableProportion=0.7999999999968994, avgTableSize=4.0
16.73/7.98
16.73/8.00 num=92, depth=53..63, filters=440005, revisions=(1907005,useless=1578620), ccks=641935, wck=4.658, mem=199M483
16.73/8.00 decisions=11626, wrong=2438, backtracks=596, failedAssignments=1901, nogoods=863, foundSolutions=12, bestBound=7
16.73/8.00 nFilterCalls=264721, avgTableProportion=0.799999999996835, avgTableSize=4.0
16.73/8.00
16.84/8.01 num=93, depth=52..58, filters=443336, revisions=(1921912,useless=1590985), ccks=646003, wck=4.674, mem=199M483
16.84/8.01 decisions=11742, wrong=2469, backtracks=604, failedAssignments=1924, nogoods=870, foundSolutions=12, bestBound=7
16.84/8.01 nFilterCalls=266304, avgTableProportion=0.7999999999967847, avgTableSize=4.0
16.84/8.01
16.84/8.03 num=94, depth=54..82, filters=447988, revisions=(1945229,useless=1610757), ccks=652142, wck=4.694, mem=199M483
16.84/8.03 decisions=11884, wrong=2499, backtracks=609, failedAssignments=1949, nogoods=879, foundSolutions=12, bestBound=7
16.84/8.03 nFilterCalls=268607, avgTableProportion=0.7999999999967125, avgTableSize=4.0
16.84/8.03
16.84/8.05 num=95, depth=51..61, filters=451961, revisions=(1963927,useless=1626446), ccks=657634, wck=4.711, mem=199M483
16.84/8.05 decisions=12014, wrong=2535, backtracks=617, failedAssignments=1977, nogoods=886, foundSolutions=12, bestBound=7
16.84/8.05 nFilterCalls=270537, avgTableProportion=0.7999999999966528, avgTableSize=4.0
16.84/8.05
16.84/8.07 num=96, depth=51..82, filters=456429, revisions=(1985788,useless=1645032), ccks=663393, wck=4.732, mem=199M483
16.84/8.07 decisions=12170, wrong=2572, backtracks=624, failedAssignments=2008, nogoods=906, foundSolutions=12, bestBound=7
16.84/8.07 nFilterCalls=272722, avgTableProportion=0.7999999999965864, avgTableSize=4.0
16.84/8.07
16.84/8.09 num=97, depth=56..58, filters=464510, revisions=(2016560,useless=1669955), ccks=674324, wck=4.757, mem=199M483
16.84/8.09 decisions=12323, wrong=2620, backtracks=641, failedAssignments=2042, nogoods=915, foundSolutions=12, bestBound=7
16.84/8.09 nFilterCalls=276681, avgTableProportion=0.7999999999964686, avgTableSize=4.0
16.84/8.09
16.96/8.11 num=98, depth=54..60, filters=468956, revisions=(2034899,useless=1685036), ccks=680305, wck=4.776, mem=199M483
16.96/8.11 decisions=12473, wrong=2667, backtracks=651, failedAssignments=2079, nogoods=927, foundSolutions=12, bestBound=7
16.96/8.11 nFilterCalls=278760, avgTableProportion=0.7999999999964081, avgTableSize=4.0
16.96/8.11
16.96/8.14 num=99, depth=58..61, filters=475769, revisions=(2059953,useless=1705292), ccks=688317, wck=4.799, mem=199M483
16.96/8.14 decisions=12639, wrong=2721, backtracks=665, failedAssignments=2120, nogoods=929, foundSolutions=12, bestBound=7
16.96/8.14 nFilterCalls=282033, avgTableProportion=0.7999999999963148, avgTableSize=4.0
16.96/8.14
16.96/8.16 num=100, depth=52..64, filters=480926, revisions=(2080159,useless=1721715), ccks=695127, wck=4.82, mem=202M99
16.96/8.16 decisions=12816, wrong=2780, backtracks=679, failedAssignments=2165, nogoods=950, foundSolutions=12, bestBound=7
16.96/8.16 nFilterCalls=284363, avgTableProportion=0.7999999999962496, avgTableSize=4.0
16.96/8.16
16.96/8.19 num=101, depth=59..63, filters=489810, revisions=(2110453,useless=1745624), ccks=705698, wck=4.847, mem=202M99
16.96/8.19 decisions=13005, wrong=2845, backtracks=696, failedAssignments=2215, nogoods=958, foundSolutions=12, bestBound=7
16.96/8.19 nFilterCalls=288380, avgTableProportion=0.7999999999961397, avgTableSize=4.0
16.96/8.19
17.09/8.22 num=102, depth=56..63, filters=499260, revisions=(2146894,useless=1775049), ccks=718072, wck=4.877, mem=202M99
17.09/8.22 decisions=13213, wrong=2919, backtracks=718, failedAssignments=2270, nogoods=968, foundSolutions=12, bestBound=7
17.09/8.22 nFilterCalls=292788, avgTableProportion=0.7999999999960224, avgTableSize=4.0
17.09/8.22
17.09/8.25 num=103, depth=57..60, filters=512568, revisions=(2195243,useless=1813545), ccks=735622, wck=4.914, mem=202M99
17.09/8.25 decisions=13441, wrong=3003, backtracks=742, failedAssignments=2331, nogoods=977, foundSolutions=12, bestBound=7
17.09/8.25 nFilterCalls=299068, avgTableProportion=0.7999999999958616, avgTableSize=4.0
17.09/8.25
17.09/8.29 num=104, depth=38..44, filters=524700, revisions=(2242816,useless=1852413), ccks=751711, wck=4.948, mem=202M99
17.09/8.29 decisions=13663, wrong=3093, backtracks=767, failedAssignments=2398, nogoods=986, foundSolutions=12, bestBound=7
17.09/8.29 nFilterCalls=304814, avgTableProportion=0.7999999999957201, avgTableSize=4.0
17.09/8.29
17.21/8.31 num=105, depth=40..58, filters=531830, revisions=(2267398,useless=1872031), ccks=760155, wck=4.973, mem=202M99
17.21/8.31 decisions=13890, wrong=3181, backtracks=781, failedAssignments=2472, nogoods=999, foundSolutions=12, bestBound=7
17.21/8.31 nFilterCalls=307915, avgTableProportion=0.799999999995646, avgTableSize=4.0
17.21/8.31
17.21/8.34 num=106, depth=42..66, filters=542277, revisions=(2302349,useless=1899479), ccks=772769, wck=5.005, mem=202M99
17.21/8.34 decisions=14153, wrong=3281, backtracks=802, failedAssignments=2553, nogoods=1021, foundSolutions=12, bestBound=7
17.21/8.34 nFilterCalls=312558, avgTableProportion=0.7999999999955377, avgTableSize=4.0
17.21/8.34
17.21/8.37 num=107, depth=54..73, filters=551533, revisions=(2333181,useless=1923794), ccks=783400, wck=5.037, mem=202M99
17.21/8.37 decisions=14434, wrong=3387, backtracks=820, failedAssignments=2642, nogoods=1043, foundSolutions=12, bestBound=7
17.21/8.37 nFilterCalls=316561, avgTableProportion=0.7999999999954469, avgTableSize=4.0
17.21/8.37
17.31/8.43 num=108, depth=53..66, filters=571715, revisions=(2400540,useless=1975715), ccks=811606, wck=5.09, mem=202M99
17.31/8.43 decisions=14758, wrong=3519, backtracks=857, failedAssignments=2740, nogoods=1053, foundSolutions=12, bestBound=7
17.31/8.43 nFilterCalls=326447, avgTableProportion=0.7999999999952323, avgTableSize=4.0
17.31/8.43
17.31/8.47 num=109, depth=41..70, filters=583290, revisions=(2445566,useless=2012005), ccks=826913, wck=5.129, mem=202M99
17.31/8.47 decisions=15075, wrong=3647, backtracks=877, failedAssignments=2848, nogoods=1077, foundSolutions=12, bestBound=7
17.31/8.47 nFilterCalls=331893, avgTableProportion=0.7999999999951196, avgTableSize=4.0
17.31/8.47
17.45/8.52 num=110, depth=44..53, filters=604987, revisions=(2508602,useless=2058735), ccks=851113, wck=5.183, mem=202M99
17.45/8.52 decisions=15452, wrong=3812, backtracks=925, failedAssignments=2967, nogoods=1083, foundSolutions=12, bestBound=7
17.45/8.52 nFilterCalls=341193, avgTableProportion=0.7999999999949353, avgTableSize=4.0
17.45/8.52
17.45/8.59 num=111, depth=28..33, filters=634418, revisions=(2583755,useless=2109176), ccks=894540, wck=5.248, mem=204M714
17.45/8.59 decisions=15802, wrong=3972, backtracks=956, failedAssignments=3098, nogoods=1103, foundSolutions=12, bestBound=7
17.45/8.59 nFilterCalls=353889, avgTableProportion=0.7999999999946993, avgTableSize=4.0
17.45/8.59
17.55/8.66 num=112, depth=35..43, filters=667078, revisions=(2667424,useless=2166500), ccks=933863, wck=5.32, mem=204M714
17.55/8.66 decisions=16202, wrong=4153, backtracks=995, failedAssignments=3242, nogoods=1111, foundSolutions=12, bestBound=7
17.55/8.66 nFilterCalls=368196, avgTableProportion=0.7999999999944529, avgTableSize=4.0
17.55/8.66
17.66/8.72 num=113, depth=31..47, filters=691868, revisions=(2723984,useless=2204150), ccks=959822, wck=5.379, mem=204M714
17.66/8.72 decisions=16622, wrong=4346, backtracks=1030, failedAssignments=3400, nogoods=1116, foundSolutions=12, bestBound=7
17.66/8.72 nFilterCalls=378688, avgTableProportion=0.7999999999942841, avgTableSize=4.0
17.66/8.72
17.66/8.78 num=114, depth=28..89, filters=711356, revisions=(2807300,useless=2272430), ccks=987146, wck=5.442, mem=204M714
17.66/8.78 decisions=17182, wrong=4586, backtracks=1116, failedAssignments=3574, nogoods=1152, foundSolutions=12, bestBound=7
17.66/8.78 nFilterCalls=387403, avgTableProportion=0.7999999999941508, avgTableSize=4.0
17.66/8.78
17.76/8.84 num=115, depth=31..66, filters=735968, revisions=(2884541,useless=2331495), ccks=1016681, wck=5.506, mem=204M714
17.76/8.84 decisions=17738, wrong=4835, backtracks=1177, failedAssignments=3765, nogoods=1183, foundSolutions=12, bestBound=7
17.76/8.84 nFilterCalls=398317, avgTableProportion=0.7999999999939921, avgTableSize=4.0
17.76/8.84
17.86/8.92 num=116, depth=32..44, filters=768029, revisions=(2978327,useless=2401183), ccks=1054791, wck=5.585, mem=204M714
17.86/8.92 decisions=18336, wrong=5114, backtracks=1253, failedAssignments=3976, nogoods=1203, foundSolutions=12, bestBound=7
17.86/8.92 nFilterCalls=412637, avgTableProportion=0.7999999999937966, avgTableSize=4.0
17.86/8.92
17.98/9.04 num=117, depth=39..45, filters=834300, revisions=(3099252,useless=2481219), ccks=1117999, wck=5.703, mem=207M329
17.98/9.04 decisions=18959, wrong=5405, backtracks=1318, failedAssignments=4208, nogoods=1220, foundSolutions=12, bestBound=7
17.98/9.04 nFilterCalls=442313, avgTableProportion=0.7999999999934317, avgTableSize=4.0
17.98/9.04
18.08/9.12 num=118, depth=28..35, filters=872970, revisions=(3194572,useless=2551026), ccks=1157546, wck=5.785, mem=207M329
18.08/9.12 decisions=19592, wrong=5707, backtracks=1366, failedAssignments=4463, nogoods=1243, foundSolutions=12, bestBound=7
18.08/9.12 nFilterCalls=459039, avgTableProportion=0.7999999999932469, avgTableSize=4.0
18.08/9.12
18.17/9.24 num=119, depth=42..47, filters=927258, revisions=(3339154,useless=2656393), ccks=1222437, wck=5.902, mem=207M329
18.17/9.24 decisions=20336, wrong=6057, backtracks=1441, failedAssignments=4744, nogoods=1258, foundSolutions=12, bestBound=7
18.17/9.24 nFilterCalls=483841, avgTableProportion=0.7999999999929963, avgTableSize=4.0
18.17/9.24
18.28/9.36 num=120, depth=32..51, filters=982542, revisions=(3472626,useless=2748398), ccks=1282433, wck=6.025, mem=209M944
18.28/9.36 decisions=21196, wrong=6469, backtracks=1556, failedAssignments=5053, nogoods=1293, foundSolutions=12, bestBound=7
18.28/9.36 nFilterCalls=507880, avgTableProportion=0.7999999999927767, avgTableSize=4.0
18.28/9.36
18.38/9.44 num=121, depth=43..65, filters=1010518, revisions=(3551602,useless=2807660), ccks=1310380, wck=6.105, mem=209M944
18.38/9.44 decisions=22077, wrong=6886, backtracks=1635, failedAssignments=5393, nogoods=1322, foundSolutions=12, bestBound=7
18.38/9.44 nFilterCalls=518811, avgTableProportion=0.7999999999926837, avgTableSize=4.0
18.38/9.44
18.49/9.54 o 6
18.59/9.66 num=122, depth=47..2759, filters=1037615, revisions=(3635749,useless=2873031), ccks=1344866, wck=6.321, mem=212M559
18.59/9.66 decisions=22666, wrong=7126, backtracks=1693, failedAssignments=5577, nogoods=1362, foundSolutions=13, bestBound=6
18.59/9.66 nFilterCalls=534073, avgTableProportion=0.7999999999925601, avgTableSize=4.0
18.59/9.66
18.80/9.87 num=123, depth=50..56, filters=1131746, revisions=(3874534,useless=3045595), ccks=1455153, wck=6.535, mem=212M559
18.80/9.87 decisions=23759, wrong=7646, backtracks=1814, failedAssignments=5988, nogoods=1390, foundSolutions=13, bestBound=6
18.80/9.87 nFilterCalls=579522, avgTableProportion=0.7999999999922306, avgTableSize=4.0
18.80/9.87
18.80/9.88 num=124, depth=35..52, filters=1133804, revisions=(3883760,useless=3053243), ccks=1458428, wck=6.546, mem=212M559
18.80/9.88 decisions=23838, wrong=7663, backtracks=1820, failedAssignments=5999, nogoods=1397, foundSolutions=13, bestBound=6
18.80/9.88 nFilterCalls=580509, avgTableProportion=0.7999999999922239, avgTableSize=4.0
18.80/9.88
18.90/9.90 num=125, depth=40..45, filters=1138522, revisions=(3898900,useless=3064543), ccks=1464371, wck=6.56, mem=212M559
18.90/9.90 decisions=23917, wrong=7680, backtracks=1826, failedAssignments=6011, nogoods=1403, foundSolutions=13, bestBound=6
18.90/9.90 nFilterCalls=582664, avgTableProportion=0.7999999999922097, avgTableSize=4.0
18.90/9.90
18.90/9.91 num=126, depth=37..84, filters=1140869, revisions=(3912554,useless=3076384), ccks=1467873, wck=6.575, mem=212M559
18.90/9.91 decisions=24025, wrong=7693, backtracks=1826, failedAssignments=6024, nogoods=1416, foundSolutions=13, bestBound=6
18.90/9.91 nFilterCalls=583844, avgTableProportion=0.799999999992202, avgTableSize=4.0
18.90/9.91
18.90/9.93 num=127, depth=47..56, filters=1143069, revisions=(3922930,useless=3085063), ccks=1470912, wck=6.587, mem=212M559
18.90/9.93 decisions=24113, wrong=7712, backtracks=1831, failedAssignments=6038, nogoods=1427, foundSolutions=13, bestBound=6
18.90/9.93 nFilterCalls=584917, avgTableProportion=0.7999999999921948, avgTableSize=4.0
18.90/9.93
18.90/9.94 num=128, depth=41..51, filters=1146975, revisions=(3937466,useless=3096471), ccks=1475901, wck=6.602, mem=212M559
18.90/9.94 decisions=24204, wrong=7732, backtracks=1835, failedAssignments=6054, nogoods=1443, foundSolutions=13, bestBound=6
18.90/9.94 nFilterCalls=586750, avgTableProportion=0.7999999999921829, avgTableSize=4.0
18.90/9.94
18.90/9.95 num=129, depth=46..50, filters=1149393, revisions=(3948489,useless=3105694), ccks=1478810, wck=6.614, mem=212M559
18.90/9.95 decisions=24289, wrong=7750, backtracks=1836, failedAssignments=6071, nogoods=1459, foundSolutions=13, bestBound=6
18.90/9.95 nFilterCalls=587892, avgTableProportion=0.7999999999921754, avgTableSize=4.0
18.90/9.95
18.90/9.97 num=130, depth=43..61, filters=1153882, revisions=(3966206,useless=3119943), ccks=1484678, wck=6.63, mem=212M559
18.90/9.97 decisions=24395, wrong=7773, backtracks=1840, failedAssignments=6090, nogoods=1471, foundSolutions=13, bestBound=6
18.90/9.97 nFilterCalls=590081, avgTableProportion=0.7999999999921613, avgTableSize=4.0
18.90/9.97
18.90/9.98 num=131, depth=44..58, filters=1156442, revisions=(3978101,useless=3129931), ccks=1488066, wck=6.643, mem=212M559
18.90/9.98 decisions=24501, wrong=7799, backtracks=1845, failedAssignments=6111, nogoods=1484, foundSolutions=13, bestBound=6
18.90/9.98 nFilterCalls=591322, avgTableProportion=0.7999999999921533, avgTableSize=4.0
18.90/9.98
18.90/10.00 num=132, depth=42..49, filters=1161300, revisions=(3994125,useless=3142164), ccks=1494373, wck=6.659, mem=212M559
18.90/10.00 decisions=24607, wrong=7830, backtracks=1853, failedAssignments=6134, nogoods=1492, foundSolutions=13, bestBound=6
18.90/10.00 nFilterCalls=593652, avgTableProportion=0.7999999999921384, avgTableSize=4.0
18.90/10.00
19.02/10.01 num=133, depth=37..86, filters=1164235, revisions=(4008447,useless=3154290), ccks=1498509, wck=6.676, mem=212M559
19.02/10.01 decisions=24747, wrong=7859, backtracks=1857, failedAssignments=6159, nogoods=1515, foundSolutions=13, bestBound=6
19.02/10.01 nFilterCalls=594987, avgTableProportion=0.7999999999921299, avgTableSize=4.0
19.02/10.01
19.02/10.03 num=134, depth=45..56, filters=1168001, revisions=(4023672,useless=3166653), ccks=1503445, wck=6.692, mem=212M559
19.02/10.03 decisions=24870, wrong=7893, backtracks=1864, failedAssignments=6187, nogoods=1533, foundSolutions=13, bestBound=6
19.02/10.03 nFilterCalls=596702, avgTableProportion=0.7999999999921191, avgTableSize=4.0
19.02/10.03
19.02/10.05 num=135, depth=44..53, filters=1172265, revisions=(4039427,useless=3179241), ccks=1508506, wck=6.708, mem=215M175
19.02/10.05 decisions=24998, wrong=7931, backtracks=1873, failedAssignments=6218, nogoods=1548, foundSolutions=13, bestBound=6
19.02/10.05 nFilterCalls=598654, avgTableProportion=0.7999999999921068, avgTableSize=4.0
19.02/10.05
19.02/10.06 num=136, depth=41..61, filters=1176781, revisions=(4056712,useless=3193236), ccks=1514046, wck=6.726, mem=215M175
19.02/10.06 decisions=25135, wrong=7970, backtracks=1878, failedAssignments=6252, nogoods=1572, foundSolutions=13, bestBound=6
19.02/10.06 nFilterCalls=600714, avgTableProportion=0.7999999999920939, avgTableSize=4.0
19.02/10.06
19.02/10.08 num=137, depth=49..64, filters=1182446, revisions=(4077795,useless=3210090), ccks=1520855, wck=6.747, mem=215M175
19.02/10.08 decisions=25299, wrong=8024, backtracks=1900, failedAssignments=6289, nogoods=1581, foundSolutions=13, bestBound=6
19.02/10.08 nFilterCalls=603237, avgTableProportion=0.7999999999920784, avgTableSize=4.0
19.02/10.08
19.12/10.11 num=138, depth=45..90, filters=1187463, revisions=(4098388,useless=3226832), ccks=1527322, wck=6.769, mem=215M175
19.12/10.11 decisions=25488, wrong=8075, backtracks=1910, failedAssignments=6330, nogoods=1605, foundSolutions=13, bestBound=6
19.12/10.11 nFilterCalls=605435, avgTableProportion=0.7999999999920648, avgTableSize=4.0
19.12/10.11
19.12/10.13 num=139, depth=50..103, filters=1191905, revisions=(4118834,useless=3243993), ccks=1533155, wck=6.792, mem=215M175
19.12/10.13 decisions=25682, wrong=8124, backtracks=1915, failedAssignments=6375, nogoods=1632, foundSolutions=13, bestBound=6
19.12/10.13 nFilterCalls=607464, avgTableProportion=0.7999999999920524, avgTableSize=4.0
19.12/10.13
19.12/10.16 num=140, depth=50..114, filters=1197558, revisions=(4144798,useless=3265766), ccks=1539937, wck=6.82, mem=215M175
19.12/10.16 decisions=25910, wrong=8185, backtracks=1929, failedAssignments=6425, nogoods=1667, foundSolutions=13, bestBound=6
19.12/10.16 nFilterCalls=609996, avgTableProportion=0.7999999999920371, avgTableSize=4.0
19.12/10.16
19.12/10.18 num=141, depth=50..112, filters=1202597, revisions=(4167206,useless=3284394), ccks=1545981, wck=6.845, mem=215M175
19.12/10.18 decisions=26142, wrong=8249, backtracks=1939, failedAssignments=6480, nogoods=1699, foundSolutions=13, bestBound=6
19.12/10.18 nFilterCalls=612267, avgTableProportion=0.7999999999920234, avgTableSize=4.0
19.12/10.18
19.23/10.21 num=142, depth=67..100, filters=1209432, revisions=(4194092,useless=3306061), ccks=1553757, wck=6.873, mem=215M175
19.23/10.21 decisions=26388, wrong=8327, backtracks=1959, failedAssignments=6541, nogoods=1725, foundSolutions=13, bestBound=6
19.23/10.21 nFilterCalls=615181, avgTableProportion=0.7999999999920061, avgTableSize=4.0
19.23/10.21
19.23/10.25 o 5
19.33/10.38 num=143, depth=96..2759, filters=1213246, revisions=(4218671,useless=3327668), ccks=1562032, wck=7.038, mem=215M175
19.33/10.38 decisions=26542, wrong=8342, backtracks=1959, failedAssignments=6556, nogoods=1740, foundSolutions=14, bestBound=5
19.33/10.38 nFilterCalls=619778, avgTableProportion=0.799999999991979, avgTableSize=4.0
19.33/10.38
19.43/10.42 num=144, depth=44..54, filters=1220754, revisions=(4242286,useless=3345668), ccks=1570276, wck=7.086, mem=215M175
19.43/10.42 decisions=26762, wrong=8428, backtracks=1971, failedAssignments=6630, nogoods=1744, foundSolutions=14, bestBound=5
19.43/10.42 nFilterCalls=623711, avgTableProportion=0.7999999999919563, avgTableSize=4.0
19.43/10.42
19.43/10.43 num=145, depth=41..49, filters=1222404, revisions=(4248470,useless=3350613), ccks=1572408, wck=7.095, mem=215M175
19.43/10.43 decisions=26837, wrong=8443, backtracks=1975, failedAssignments=6641, nogoods=1750, foundSolutions=14, bestBound=5
19.43/10.43 nFilterCalls=624497, avgTableProportion=0.7999999999919517, avgTableSize=4.0
19.43/10.43
19.43/10.44 num=146, depth=44..47, filters=1223888, revisions=(4254964,useless=3356018), ccks=1574380, wck=7.103, mem=215M175
19.43/10.44 decisions=26908, wrong=8455, backtracks=1975, failedAssignments=6653, nogoods=1762, foundSolutions=14, bestBound=5
19.43/10.44 nFilterCalls=625228, avgTableProportion=0.7999999999919475, avgTableSize=4.0
19.43/10.44
19.43/10.45 num=147, depth=47..52, filters=1225546, revisions=(4262629,useless=3362445), ccks=1576567, wck=7.113, mem=215M175
19.43/10.45 decisions=26986, wrong=8468, backtracks=1975, failedAssignments=6666, nogoods=1775, foundSolutions=14, bestBound=5
19.43/10.45 nFilterCalls=626050, avgTableProportion=0.7999999999919428, avgTableSize=4.0
19.43/10.45
19.43/10.46 num=148, depth=44..51, filters=1227614, revisions=(4271665,useless=3369987), ccks=1579232, wck=7.123, mem=215M175
19.43/10.46 decisions=27066, wrong=8483, backtracks=1976, failedAssignments=6680, nogoods=1788, foundSolutions=14, bestBound=5
19.43/10.46 nFilterCalls=627059, avgTableProportion=0.799999999991937, avgTableSize=4.0
19.43/10.46
19.43/10.47 num=149, depth=41..47, filters=1231065, revisions=(4283373,useless=3379177), ccks=1583193, wck=7.135, mem=217M790
19.43/10.47 decisions=27157, wrong=8507, backtracks=1984, failedAssignments=6696, nogoods=1795, foundSolutions=14, bestBound=5
19.43/10.47 nFilterCalls=628701, avgTableProportion=0.7999999999919277, avgTableSize=4.0
19.43/10.47
19.43/10.49 num=150, depth=41..48, filters=1235832, revisions=(4297153,useless=3389299), ccks=1589077, wck=7.15, mem=217M790
19.43/10.49 decisions=27261, wrong=8538, backtracks=1998, failedAssignments=6713, nogoods=1802, foundSolutions=14, bestBound=5
19.43/10.49 nFilterCalls=630785, avgTableProportion=0.7999999999919158, avgTableSize=4.0
19.43/10.49
19.53/10.50 num=151, depth=40..45, filters=1238497, revisions=(4306399,useless=3396608), ccks=1592119, wck=7.161, mem=217M790
19.53/10.50 decisions=27352, wrong=8562, backtracks=2003, failedAssignments=6732, nogoods=1812, foundSolutions=14, bestBound=5
19.53/10.50 nFilterCalls=631970, avgTableProportion=0.7999999999919092, avgTableSize=4.0
19.53/10.50
19.53/10.51 num=152, depth=38..50, filters=1242861, revisions=(4319018,useless=3406065), ccks=1597067, wck=7.175, mem=217M790
19.53/10.51 decisions=27466, wrong=8599, backtracks=2019, failedAssignments=6753, nogoods=1815, foundSolutions=14, bestBound=5
19.53/10.51 nFilterCalls=633899, avgTableProportion=0.7999999999918984, avgTableSize=4.0
19.53/10.51
19.53/10.52 num=153, depth=41..47, filters=1245691, revisions=(4327363,useless=3412567), ccks=1600044, wck=7.186, mem=217M790
19.53/10.52 decisions=27566, wrong=8628, backtracks=2025, failedAssignments=6776, nogoods=1822, foundSolutions=14, bestBound=5
19.53/10.52 nFilterCalls=635094, avgTableProportion=0.7999999999918918, avgTableSize=4.0
19.53/10.52
19.53/10.54 num=154, depth=42..49, filters=1248604, revisions=(4337096,useless=3420261), ccks=1603209, wck=7.198, mem=217M790
19.53/10.54 decisions=27676, wrong=8662, backtracks=2035, failedAssignments=6801, nogoods=1824, foundSolutions=14, bestBound=5
19.53/10.54 nFilterCalls=636362, avgTableProportion=0.7999999999918848, avgTableSize=4.0
19.53/10.54
19.53/10.55 num=155, depth=42..49, filters=1251218, revisions=(4347234,useless=3428511), ccks=1606420, wck=7.21, mem=217M790
19.53/10.55 decisions=27792, wrong=8696, backtracks=2041, failedAssignments=6829, nogoods=1826, foundSolutions=14, bestBound=5
19.53/10.55 nFilterCalls=637492, avgTableProportion=0.7999999999918784, avgTableSize=4.0
19.53/10.55
19.53/10.56 num=156, depth=43..51, filters=1254019, revisions=(4357127,useless=3436399), ccks=1609356, wck=7.223, mem=217M790
19.53/10.56 decisions=27913, wrong=8735, backtracks=2049, failedAssignments=6860, nogoods=1827, foundSolutions=14, bestBound=5
19.53/10.56 nFilterCalls=638648, avgTableProportion=0.7999999999918721, avgTableSize=4.0
19.53/10.56
19.53/10.58 num=157, depth=46..55, filters=1259890, revisions=(4374476,useless=3449402), ccks=1616221, wck=7.241, mem=217M790
19.53/10.58 decisions=28052, wrong=8780, backtracks=2060, failedAssignments=6894, nogoods=1830, foundSolutions=14, bestBound=5
19.53/10.58 nFilterCalls=641278, avgTableProportion=0.7999999999918577, avgTableSize=4.0
19.53/10.58
19.53/10.60 num=158, depth=38..44, filters=1265584, revisions=(4388373,useless=3459624), ccks=1621291, wck=7.258, mem=217M790
19.53/10.60 decisions=28189, wrong=8829, backtracks=2072, failedAssignments=6931, nogoods=1845, foundSolutions=14, bestBound=5
19.53/10.60 nFilterCalls=643627, avgTableProportion=0.7999999999918449, avgTableSize=4.0
19.53/10.60
19.63/10.61 num=159, depth=44..50, filters=1271599, revisions=(4408110,useless=3475013), ccks=1628122, wck=7.277, mem=217M790
19.63/10.61 decisions=28336, wrong=8879, backtracks=2081, failedAssignments=6972, nogoods=1852, foundSolutions=14, bestBound=5
19.63/10.61 nFilterCalls=646355, avgTableProportion=0.7999999999918301, avgTableSize=4.0
19.63/10.61
19.63/10.64 num=160, depth=34..44, filters=1278398, revisions=(4426852,useless=3488591), ccks=1635275, wck=7.297, mem=217M790
19.63/10.64 decisions=28506, wrong=8946, backtracks=2103, failedAssignments=7017, nogoods=1866, foundSolutions=14, bestBound=5
19.63/10.64 nFilterCalls=649155, avgTableProportion=0.7999999999918153, avgTableSize=4.0
19.63/10.64
19.63/10.66 num=161, depth=41..52, filters=1284965, revisions=(4443773,useless=3500655), ccks=1641834, wck=7.318, mem=217M790
19.63/10.66 decisions=28679, wrong=9012, backtracks=2120, failedAssignments=7067, nogoods=1882, foundSolutions=14, bestBound=5
19.63/10.66 nFilterCalls=651741, avgTableProportion=0.7999999999918015, avgTableSize=4.0
19.63/10.66
19.63/10.68 num=162, depth=36..49, filters=1295898, revisions=(4469011,useless=3517272), ccks=1653206, wck=7.345, mem=217M790
19.63/10.68 decisions=28869, wrong=9088, backtracks=2141, failedAssignments=7122, nogoods=1912, foundSolutions=14, bestBound=5
19.63/10.68 nFilterCalls=656171, avgTableProportion=0.7999999999918501, avgTableSize=4.0
19.63/10.68
19.73/10.71 num=163, depth=38..51, filters=1308134, revisions=(4498754,useless=3538122), ccks=1667777, wck=7.376, mem=217M790
19.73/10.71 decisions=29075, wrong=9170, backtracks=2164, failedAssignments=7183, nogoods=1938, foundSolutions=14, bestBound=5
19.73/10.71 nFilterCalls=661837, avgTableProportion=0.7999999999923185, avgTableSize=4.0
19.73/10.71
19.73/10.76 num=164, depth=34..50, filters=1327802, revisions=(4554425,useless=3579059), ccks=1691149, wck=7.421, mem=217M790
19.73/10.76 decisions=29319, wrong=9275, backtracks=2206, failedAssignments=7250, nogoods=1951, foundSolutions=14, bestBound=5
19.73/10.76 nFilterCalls=671380, avgTableProportion=0.7999999999930896, avgTableSize=4.0
19.73/10.76
19.73/10.79 num=165, depth=34..41, filters=1343700, revisions=(4586201,useless=3600144), ccks=1707068, wck=7.456, mem=217M790
19.73/10.79 decisions=29532, wrong=9364, backtracks=2221, failedAssignments=7324, nogoods=1962, foundSolutions=14, bestBound=5
19.73/10.79 nFilterCalls=678298, avgTableProportion=0.799999999993635, avgTableSize=4.0
19.73/10.79
19.83/10.82 num=166, depth=28..37, filters=1355695, revisions=(4615034,useless=3620785), ccks=1719069, wck=7.486, mem=217M790
19.83/10.82 decisions=29771, wrong=9469, backtracks=2248, failedAssignments=7405, nogoods=1974, foundSolutions=14, bestBound=5
19.83/10.82 nFilterCalls=683276, avgTableProportion=0.7999999999940206, avgTableSize=4.0
19.83/10.82
19.83/10.86 num=167, depth=32..38, filters=1369472, revisions=(4649214,useless=3644750), ccks=1735256, wck=7.521, mem=220M405
19.83/10.86 decisions=30023, wrong=9579, backtracks=2269, failedAssignments=7494, nogoods=1982, foundSolutions=14, bestBound=5
19.83/10.86 nFilterCalls=689354, avgTableProportion=0.7999999999944839, avgTableSize=4.0
19.83/10.86
19.83/10.89 num=168, depth=27..38, filters=1381504, revisions=(4685318,useless=3671540), ccks=1748802, wck=7.555, mem=220M405
19.83/10.89 decisions=30317, wrong=9708, backtracks=2300, failedAssignments=7592, nogoods=1990, foundSolutions=14, bestBound=5
19.83/10.89 nFilterCalls=694281, avgTableProportion=0.7999999999948535, avgTableSize=4.0
19.83/10.89
19.93/10.93 num=169, depth=26..33, filters=1399839, revisions=(4726474,useless=3699399), ccks=1769425, wck=7.597, mem=220M405
19.93/10.93 decisions=30611, wrong=9842, backtracks=2327, failedAssignments=7700, nogoods=2004, foundSolutions=14, bestBound=5
19.93/10.93 nFilterCalls=702347, avgTableProportion=0.7999999999954475, avgTableSize=4.0
19.93/10.93
19.93/10.99 num=170, depth=33..39, filters=1425627, revisions=(4784817,useless=3740179), ccks=1797744, wck=7.653, mem=220M405
19.93/10.99 decisions=30957, wrong=9998, backtracks=2369, failedAssignments=7819, nogoods=2028, foundSolutions=14, bestBound=5
19.93/10.99 nFilterCalls=714023, avgTableProportion=0.7999999999962834, avgTableSize=4.0
19.93/10.99
20.04/11.05 num=171, depth=32..40, filters=1450149, revisions=(4843071,useless=3779950), ccks=1826384, wck=7.709, mem=220M405
20.04/11.05 decisions=31310, wrong=10157, backtracks=2399, failedAssignments=7950, nogoods=2051, foundSolutions=14, bestBound=5
20.04/11.05 nFilterCalls=724891, avgTableProportion=0.7999999999970372, avgTableSize=4.0
20.04/11.05
20.14/11.12 num=172, depth=23..32, filters=1483886, revisions=(4920807,useless=3832780), ccks=1863912, wck=7.78, mem=220M405
20.14/11.12 decisions=31699, wrong=10338, backtracks=2439, failedAssignments=8094, nogoods=2068, foundSolutions=14, bestBound=5
20.14/11.12 nFilterCalls=739245, avgTableProportion=0.7999999999979989, avgTableSize=4.0
20.14/11.12
20.14/11.19 num=173, depth=28..37, filters=1519203, revisions=(5002988,useless=3888807), ccks=1900335, wck=7.854, mem=220M405
20.14/11.19 decisions=32123, wrong=10536, backtracks=2482, failedAssignments=8252, nogoods=2076, foundSolutions=14, bestBound=5
20.14/11.19 nFilterCalls=754845, avgTableProportion=0.7999999999990026, avgTableSize=4.0
20.14/11.19
20.23/11.26 num=174, depth=22..37, filters=1547659, revisions=(5071566,useless=3935603), ccks=1930814, wck=7.919, mem=223M20
20.23/11.26 decisions=32579, wrong=10751, backtracks=2524, failedAssignments=8426, nogoods=2103, foundSolutions=14, bestBound=5
20.23/11.26 nFilterCalls=766871, avgTableProportion=0.7999999999997485, avgTableSize=4.0
20.23/11.26
20.33/11.36 num=175, depth=17..28, filters=1598351, revisions=(5178436,useless=4002305), ccks=1986042, wck=8.019, mem=223M20
20.33/11.36 decisions=33050, wrong=10977, backtracks=2560, failedAssignments=8617, nogoods=2121, foundSolutions=14, bestBound=5
20.33/11.36 nFilterCalls=787785, avgTableProportion=0.8000000000009915, avgTableSize=4.0
20.33/11.36
20.44/11.43 num=176, depth=16..27, filters=1627609, revisions=(5253627,useless=4055006), ccks=2015131, wck=8.088, mem=223M20
20.44/11.43 decisions=33573, wrong=11229, backtracks=2604, failedAssignments=8828, nogoods=2160, foundSolutions=14, bestBound=5
20.44/11.43 nFilterCalls=799909, avgTableProportion=0.8000000000016821, avgTableSize=4.0
20.44/11.43
20.44/11.48 num=177, depth=16..51, filters=1649080, revisions=(5302435,useless=4088373), ccks=2035616, wck=8.143, mem=223M20
20.44/11.48 decisions=34148, wrong=11495, backtracks=2638, failedAssignments=9060, nogoods=2202, foundSolutions=14, bestBound=5
20.44/11.48 nFilterCalls=807447, avgTableProportion=0.8000000000021013, avgTableSize=4.0
20.44/11.48
20.54/11.56 num=178, depth=20..69, filters=1679659, revisions=(5380222,useless=4143442), ccks=2067579, wck=8.224, mem=223M20
20.54/11.56 decisions=34903, wrong=11846, backtracks=2751, failedAssignments=9315, nogoods=2233, foundSolutions=14, bestBound=5
20.54/11.56 nFilterCalls=819396, avgTableProportion=0.8000000000027496, avgTableSize=4.0
20.54/11.56
20.64/11.65 num=179, depth=21..68, filters=1712927, revisions=(5479414,useless=4217721), ccks=2104808, wck=8.31, mem=225M635
20.64/11.65 decisions=35674, wrong=12204, backtracks=2841, failedAssignments=9596, nogoods=2255, foundSolutions=14, bestBound=5
20.64/11.65 nFilterCalls=833227, avgTableProportion=0.8000000000034769, avgTableSize=4.0
20.64/11.65
20.74/11.76 num=180, depth=24..49, filters=1763112, revisions=(5602057,useless=4301589), ccks=2159267, wck=8.426, mem=225M635
20.74/11.76 decisions=36513, wrong=12603, backtracks=2937, failedAssignments=9905, nogoods=2285, foundSolutions=14, bestBound=5
20.74/11.76 nFilterCalls=854079, avgTableProportion=0.800000000004529, avgTableSize=4.0
20.74/11.76
20.94/11.90 num=181, depth=24..61, filters=1824902, revisions=(5736995,useless=4389850), ccks=2224557, wck=8.561, mem=225M635
20.94/11.90 decisions=37362, wrong=13005, backtracks=3005, failedAssignments=10245, nogoods=2301, foundSolutions=14, bestBound=5
20.94/11.90 nFilterCalls=880397, avgTableProportion=0.8000000000057856, avgTableSize=4.0
20.94/11.90
21.05/12.02 num=182, depth=32..41, filters=1878555, revisions=(5861851,useless=4474588), ccks=2282409, wck=8.684, mem=228M251
21.05/12.02 decisions=38266, wrong=13440, backtracks=3071, failedAssignments=10619, nogoods=2320, foundSolutions=14, bestBound=5
21.05/12.02 nFilterCalls=903351, avgTableProportion=0.8000000000068218, avgTableSize=4.0
21.05/12.02
21.15/12.17 num=183, depth=19..39, filters=1946381, revisions=(6008107,useless=4571619), ccks=2347459, wck=8.827, mem=228M251
21.15/12.17 decisions=39285, wrong=13939, backtracks=3160, failedAssignments=11030, nogoods=2340, foundSolutions=14, bestBound=5
21.15/12.17 nFilterCalls=931066, avgTableProportion=0.8000000000080049, avgTableSize=4.0
21.15/12.17
21.24/12.28 num=184, depth=16..46, filters=1996491, revisions=(6116827,useless=4640345), ccks=2397730, wck=8.944, mem=228M251
21.24/12.28 decisions=40301, wrong=14438, backtracks=3212, failedAssignments=11482, nogoods=2365, foundSolutions=14, bestBound=5
21.24/12.28 nFilterCalls=950329, avgTableProportion=0.8000000000087865, avgTableSize=4.0
21.24/12.28
21.50/12.43 num=185, depth=12..33, filters=2057068, revisions=(6258320,useless=4736928), ccks=2458267, wck=9.09, mem=230M866
21.50/12.43 decisions=41555, wrong=15056, backtracks=3338, failedAssignments=11979, nogoods=2391, foundSolutions=14, bestBound=5
21.50/12.43 nFilterCalls=973943, avgTableProportion=0.8000000000097025, avgTableSize=4.0
21.50/12.43
21.70/12.63 num=186, depth=30..58, filters=2146650, revisions=(6481282,useless=4894885), ccks=2550224, wck=9.296, mem=230M866
21.70/12.63 decisions=43137, wrong=15830, backtracks=3609, failedAssignments=12526, nogoods=2402, foundSolutions=14, bestBound=5
21.70/12.63 nFilterCalls=1010770, avgTableProportion=0.8000000000110457, avgTableSize=4.0
21.70/12.63
21.91/12.90 num=187, depth=20..38, filters=2279718, revisions=(6743327,useless=5061022), ccks=2678323, wck=9.558, mem=233M481
21.91/12.90 decisions=44566, wrong=16533, backtracks=3720, failedAssignments=13128, nogoods=2415, foundSolutions=14, bestBound=5
21.91/12.90 nFilterCalls=1067421, avgTableProportion=0.8000000000129308, avgTableSize=4.0
21.91/12.90
22.21/13.15 num=188, depth=19..26, filters=2400597, revisions=(7026412,useless=5253545), ccks=2809026, wck=9.816, mem=236M96
22.21/13.15 decisions=46179, wrong=17329, backtracks=3858, failedAssignments=13790, nogoods=2457, foundSolutions=14, bestBound=5
22.21/13.15 nFilterCalls=1120906, avgTableProportion=0.8000000000145358, avgTableSize=4.0
22.21/13.15
22.51/13.41 num=189, depth=7..23, filters=2531740, revisions=(7291616,useless=5432036), ccks=2924271, wck=10.075, mem=236M96
22.51/13.41 decisions=48025, wrong=18245, backtracks=4051, failedAssignments=14518, nogoods=2468, foundSolutions=14, bestBound=5
22.51/13.41 nFilterCalls=1175375, avgTableProportion=0.8000000000160201, avgTableSize=4.0
22.51/13.41
22.71/13.69 num=190, depth=16..30, filters=2667340, revisions=(7570987,useless=5621007), ccks=3046986, wck=10.349, mem=238M711
22.71/13.69 decisions=50005, wrong=19221, backtracks=4232, failedAssignments=15319, nogoods=2491, foundSolutions=14, bestBound=5
22.71/13.69 nFilterCalls=1232744, avgTableProportion=0.8000000000174416, avgTableSize=4.0
22.71/13.69
23.01/13.95 num=191, depth=14..39, filters=2790798, revisions=(7853549,useless=5811230), ccks=3164184, wck=10.614, mem=241M327
23.01/13.95 decisions=52127, wrong=20273, backtracks=4415, failedAssignments=16200, nogoods=2511, foundSolutions=14, bestBound=5
23.01/13.95 nFilterCalls=1280909, avgTableProportion=0.8000000000185368, avgTableSize=4.0
23.01/13.95
23.41/14.37 num=192, depth=15..29, filters=2996370, revisions=(8349180,useless=6149235), ccks=3401996, wck=11.035, mem=243M942
23.41/14.37 decisions=54569, wrong=21484, backtracks=4665, failedAssignments=17170, nogoods=2527, foundSolutions=14, bestBound=5
23.41/14.37 nFilterCalls=1371851, avgTableProportion=0.8000000000203947, avgTableSize=4.0
23.41/14.37
23.91/14.84 num=193, depth=12..27, filters=3230109, revisions=(8882922,useless=6518569), ccks=3640030, wck=11.503, mem=246M557
23.91/14.84 decisions=57350, wrong=22867, backtracks=5014, failedAssignments=18237, nogoods=2538, foundSolutions=14, bestBound=5
23.91/14.84 nFilterCalls=1472745, avgTableProportion=0.8000000000221877, avgTableSize=4.0
23.91/14.84
24.31/15.26 num=194, depth=15..42, filters=3420623, revisions=(9332446,useless=6823332), ccks=3852318, wck=11.925, mem=249M172
24.31/15.26 decisions=60397, wrong=24377, backtracks=5388, failedAssignments=19410, nogoods=2576, foundSolutions=14, bestBound=5
24.31/15.26 nFilterCalls=1554397, avgTableProportion=0.8000000000234683, avgTableSize=4.0
24.31/15.26
24.82/15.78 num=195, depth=23..40, filters=3695640, revisions=(9926063,useless=7227348), ccks=4122766, wck=12.444, mem=249M172
24.82/15.78 decisions=63673, wrong=26002, backtracks=5752, failedAssignments=20701, nogoods=2607, foundSolutions=14, bestBound=5
24.82/15.78 nFilterCalls=1675677, avgTableProportion=0.80000000002514, avgTableSize=4.0
24.82/15.78
25.23/16.16 num=196, depth=10..101, filters=3863259, revisions=(10355536,useless=7531585), ccks=4293094, wck=12.822, mem=249M172
25.23/16.16 decisions=67406, wrong=27822, backtracks=6228, failedAssignments=22121, nogoods=2683, foundSolutions=14, bestBound=5
25.23/16.16 nFilterCalls=1742157, avgTableProportion=0.8000000000259576, avgTableSize=4.0
25.23/16.16
25.62/16.58 num=197, depth=18..109, filters=4040241, revisions=(10849897,useless=7895688), ccks=4480049, wck=13.238, mem=249M172
25.62/16.58 decisions=71694, wrong=29920, backtracks=6828, failedAssignments=23683, nogoods=2758, foundSolutions=14, bestBound=5
25.62/16.58 nFilterCalls=1815073, avgTableProportion=0.8000000000267855, avgTableSize=4.0
25.62/16.58
26.13/17.06 num=198, depth=18..123, filters=4243837, revisions=(11418311,useless=8313098), ccks=4694714, wck=13.722, mem=249M172
26.13/17.06 decisions=76480, wrong=32259, backtracks=7551, failedAssignments=25401, nogoods=2824, foundSolutions=14, bestBound=5
26.13/17.06 nFilterCalls=1899134, avgTableProportion=0.8000000000276611, avgTableSize=4.0
26.13/17.06
26.65/17.59 num=199, depth=18..89, filters=4483739, revisions=(12034676,useless=8753204), ccks=4947082, wck=14.257, mem=251M787
26.65/17.59 decisions=81571, wrong=34774, backtracks=8278, failedAssignments=27291, nogoods=2878, foundSolutions=14, bestBound=5
26.65/17.59 nFilterCalls=1997689, avgTableProportion=0.8000000000285937, avgTableSize=4.0
26.65/17.59
27.35/18.21 num=200, depth=18..73, filters=4759734, revisions=(12759170,useless=9271796), ccks=5250631, wck=14.873, mem=251M787
27.35/18.21 decisions=86924, wrong=37426, backtracks=8908, failedAssignments=29370, nogoods=2929, foundSolutions=14, bestBound=5
27.35/18.21 nFilterCalls=2115628, avgTableProportion=0.8000000000295957, avgTableSize=4.0
27.35/18.21
27.55/18.43 o 4
27.68/18.55 num=201, depth=21..2759, filters=4831629, revisions=(12966413,useless=9426755), ccks=5327054, wck=15.212, mem=251M787
27.68/18.55 decisions=89345, wrong=38585, backtracks=9144, failedAssignments=30317, nogoods=3018, foundSolutions=15, bestBound=4
27.68/18.55 nFilterCalls=2144771, avgTableProportion=0.8000000000298263, avgTableSize=4.0
27.68/18.55
27.78/18.65 o 3
27.89/18.77 num=202, depth=23..2759, filters=4844428, revisions=(13016760,useless=9467792), ccks=5344637, wck=15.431, mem=251M787
27.89/18.77 decisions=89935, wrong=38813, backtracks=9196, failedAssignments=30493, nogoods=3091, foundSolutions=16, bestBound=3
27.89/18.77 nFilterCalls=2153643, avgTableProportion=0.8000000000298952, avgTableSize=4.0
27.89/18.77
27.99/18.80 num=203, depth=20..20, filters=4846365, revisions=(13020289,useless=9470114), ccks=5346086, wck=15.46, mem=251M787
27.99/18.80 decisions=89977, wrong=38824, backtracks=9196, failedAssignments=30504, nogoods=3102, foundSolutions=16, bestBound=3
27.99/18.80 nFilterCalls=2155233, avgTableProportion=0.8000000000299076, avgTableSize=4.0
27.99/18.80
27.99/18.80 num=204, depth=0..0, filters=4848858, revisions=(13023661,useless=9471926), ccks=5348033, wck=15.464, mem=251M787
27.99/18.80 decisions=89999, wrong=38835, backtracks=9196, failedAssignments=30515, nogoods=3102, foundSolutions=16, bestBound=3
27.99/18.80 nFilterCalls=2156086, avgTableProportion=0.8000000000299141, avgTableSize=4.0
27.99/18.80
27.99/18.81 num=205, depth=0..17, filters=4850339, revisions=(13028279,useless=9475490), ccks=5349636, wck=15.469, mem=251M787
27.99/18.81 decisions=90040, wrong=38847, backtracks=9196, failedAssignments=30527, nogoods=3112, foundSolutions=16, bestBound=3
27.99/18.81 nFilterCalls=2156668, avgTableProportion=0.8000000000299186, avgTableSize=4.0
27.99/18.81
27.99/18.81 num=206, depth=4..4, filters=4854480, revisions=(13035122,useless=9479120), ccks=5354482, wck=15.476, mem=251M787
27.99/18.81 decisions=90070, wrong=38860, backtracks=9196, failedAssignments=30540, nogoods=3125, foundSolutions=16, bestBound=3
27.99/18.81 nFilterCalls=2158404, avgTableProportion=0.800000000029932, avgTableSize=4.0
27.99/18.81
27.99/18.82 num=207, depth=13..17, filters=4856116, revisions=(13040320,useless=9483053), ccks=5356755, wck=15.482, mem=251M787
27.99/18.82 decisions=90119, wrong=38878, backtracks=9200, failedAssignments=30554, nogoods=3128, foundSolutions=16, bestBound=3
27.99/18.82 nFilterCalls=2159069, avgTableProportion=0.8000000000299371, avgTableSize=4.0
27.99/18.82
27.99/18.83 num=208, depth=2..4, filters=4858875, revisions=(13046911,useless=9487507), ccks=5359957, wck=15.488, mem=252M35
27.99/18.83 decisions=90157, wrong=38896, backtracks=9202, failedAssignments=30570, nogoods=3141, foundSolutions=16, bestBound=3
27.99/18.83 nFilterCalls=2160233, avgTableProportion=0.8000000000299461, avgTableSize=4.0
27.99/18.83
27.99/18.83 num=209, depth=13..16, filters=4860707, revisions=(13054070,useless=9493239), ccks=5362452, wck=15.494, mem=252M35
27.99/18.83 decisions=90210, wrong=38916, backtracks=9205, failedAssignments=30587, nogoods=3150, foundSolutions=16, bestBound=3
27.99/18.83 nFilterCalls=2161038, avgTableProportion=0.8000000000299523, avgTableSize=4.0
27.99/18.83
27.99/18.84 num=210, depth=1..4, filters=4863592, revisions=(13060903,useless=9498020), ccks=5365182, wck=15.501, mem=252M35
27.99/18.84 decisions=90253, wrong=38936, backtracks=9206, failedAssignments=30606, nogoods=3169, foundSolutions=16, bestBound=3
27.99/18.84 nFilterCalls=2162102, avgTableProportion=0.8000000000299604, avgTableSize=4.0
27.99/18.84
27.99/18.85 num=211, depth=10..13, filters=4867032, revisions=(13069659,useless=9504172), ccks=5369105, wck=15.508, mem=252M35
27.99/18.85 decisions=90311, wrong=38960, backtracks=9209, failedAssignments=30627, nogoods=3187, foundSolutions=16, bestBound=3
27.99/18.85 nFilterCalls=2163402, avgTableProportion=0.8000000000299704, avgTableSize=4.0
27.99/18.85
27.99/18.85 num=212, depth=0..3, filters=4871339, revisions=(13078539,useless=9509777), ccks=5374089, wck=15.516, mem=252M35
27.99/18.85 decisions=90364, wrong=38986, backtracks=9212, failedAssignments=30650, nogoods=3195, foundSolutions=16, bestBound=3
27.99/18.85 nFilterCalls=2165148, avgTableProportion=0.8000000000299838, avgTableSize=4.0
27.99/18.85
27.99/18.86 num=213, depth=7..10, filters=4873922, revisions=(13085432,useless=9514782), ccks=5377012, wck=15.523, mem=252M35
27.99/18.86 decisions=90427, wrong=39014, backtracks=9215, failedAssignments=30675, nogoods=3197, foundSolutions=16, bestBound=3
27.99/18.86 nFilterCalls=2166130, avgTableProportion=0.8000000000299913, avgTableSize=4.0
27.99/18.86
28.17/18.92 num=214, depth=2..4, filters=4880455, revisions=(13098070,useless=9522385), ccks=5383904, wck=15.535, mem=252M35
28.17/18.92 decisions=90489, wrong=39044, backtracks=9217, failedAssignments=30703, nogoods=3211, foundSolutions=16, bestBound=3
28.17/18.92 nFilterCalls=2168805, avgTableProportion=0.8000000000300118, avgTableSize=4.0
28.17/18.92
28.17/18.93 num=215, depth=3..9, filters=4883564, revisions=(13107677,useless=9529643), ccks=5387802, wck=15.593, mem=165M808
28.17/18.93 decisions=90566, wrong=39081, backtracks=9223, failedAssignments=30734, nogoods=3216, foundSolutions=16, bestBound=3
28.17/18.93 nFilterCalls=2170011, avgTableProportion=0.8000000000300209, avgTableSize=4.0
28.17/18.93
28.17/18.94 num=216, depth=0..3, filters=4889008, revisions=(13119107,useless=9536646), ccks=5393279, wck=15.604, mem=165M808
28.17/18.94 decisions=90641, wrong=39118, backtracks=9227, failedAssignments=30768, nogoods=3236, foundSolutions=16, bestBound=3
28.17/18.94 nFilterCalls=2172301, avgTableProportion=0.8000000000300385, avgTableSize=4.0
28.17/18.94
28.17/18.95 num=217, depth=1..4, filters=4892106, revisions=(13127754,useless=9542925), ccks=5396867, wck=15.612, mem=165M808
28.17/18.95 decisions=90722, wrong=39158, backtracks=9230, failedAssignments=30805, nogoods=3244, foundSolutions=16, bestBound=3
28.17/18.95 nFilterCalls=2173437, avgTableProportion=0.800000000030047, avgTableSize=4.0
28.17/18.95
28.17/18.96 num=218, depth=0..4, filters=4899733, revisions=(13143447,useless=9552798), ccks=5405355, wck=15.627, mem=165M808
28.17/18.96 decisions=90814, wrong=39204, backtracks=9235, failedAssignments=30846, nogoods=3244, foundSolutions=16, bestBound=3
28.17/18.96 nFilterCalls=2176548, avgTableProportion=0.8000000000300707, avgTableSize=4.0
28.17/18.96
28.17/18.98 num=219, depth=0..16, filters=4904986, revisions=(13154925,useless=9560470), ccks=5410171, wck=15.639, mem=165M808
28.17/18.98 decisions=90927, wrong=39256, backtracks=9242, failedAssignments=30891, nogoods=3245, foundSolutions=16, bestBound=3
28.17/18.98 nFilterCalls=2178366, avgTableProportion=0.8000000000300844, avgTableSize=4.0
28.17/18.98
28.17/18.99
28.17/18.99 New Bounds: 3..2
28.17/19.00 num=220, depth=0..1, filters=4915781, revisions=(13172787,useless=9570849), ccks=5420322, wck=15.657, mem=165M808
28.17/19.00 decisions=91023, wrong=39305, backtracks=9245, failedAssignments=30937, foundSolutions=16, bestBound=3
28.17/19.00 nFilterCalls=2182413, avgTableProportion=0.800000000030115, avgTableSize=4.0
28.17/19.00
28.17/19.00 Global
28.17/19.00 filters=4915781, revisions=(13172787,useless=9570849), ccks=5420322
28.17/19.00 Stop=FULL_EXPLORATION, wrong=39305, bestBound=3, bestBoundWck=16.769, bestBoundCpu=18.501, foundSolutions=16, firstSolCpu=3.353
28.17/19.00 wck=17.12, cpu=18.803, mem=165M808
28.17/19.00
28.17/19.00 v <instantiation id='sol16' type='solution' cost='3'> <list> p[] np[][] r[][] o[][] so[] </list> <values> 3 1 24 23 2 18 29 8 11 9 26 27 0 28 7 20 14 10 12 4 21 22 15 13 17 19 16 25 6 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 2 2 2 2 2 2 2 0 0 1 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 2 2 0 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 2 2 2 0 0 0 0 0 0 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 1 1 1 1 1 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 2 2 2 2 2 2 2 2 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 2 2 2 2 3 3 3 2 </values> </instantiation>
28.17/19.00 s OPTIMUM FOUND
28.17/19.00
28.17/19.00 d WRONG_DECISIONS 39305
28.17/19.00 d NUMBER_SOLUTIONS 16