2.39/1.89
2.39/1.89 AbsCon 2
2.63/1.91
3.67/2.24 Instance
3.67/2.24 name=instance-4391259-1568389655, framework=COP, bounds=-infty..+infty
3.67/2.24
3.67/2.24 Loading variables...
4.04/2.33 Loading constraints...[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3b7886d0
6.15/2.91 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1ff67e5f
6.15/2.91 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6c4140e1
6.15/2.91 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@276dcf85
6.15/2.91 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@725c07ae
6.15/2.91 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1a013db4
6.15/2.91 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ca6de24
6.15/2.91 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@721041b0
6.15/2.91 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7831f1b7
6.15/2.92 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@10ce387c
6.15/2.92 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@378884b5
6.15/2.92 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@29f81d4b
6.15/2.92 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@174ff9a
6.15/2.92 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6fa078e
6.15/2.92 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@15dcc1c
6.15/2.92 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@32c24679
6.15/2.92 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@61a59edf
6.15/2.92 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@328d5e76
6.15/2.92 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4da7fd3e
6.15/2.92 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@66b0c279
6.15/2.92 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5abf2dd4
6.15/2.92 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@36cfe75f
6.15/2.92 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@26d232cf
6.15/2.92 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5b71d94d
6.15/2.92 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ad5784e
6.15/2.92 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@44072b80
6.15/2.92 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6bf2f1f8
6.15/2.92 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4effd2bc
6.15/2.92 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3f88df1a
6.15/2.92 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7156a6fc
6.15/2.96
6.15/2.96
6.15/2.96 Domains
6.15/2.96 nTypes=4, nValues=8130, sizes=[2#1800,3#900,30#30,31#30]
6.15/2.96 Variables
6.15/2.96 count=2760, degrees=[2#960,3#1770,31#30]
6.15/2.96 Objectives
6.15/2.96 way=min, type=ObjMaximumLE
6.15/2.96 Constraints
6.15/2.96 count=2732, nSpecific=962, arities=[2#930,3#1770,30#2,31#30]
6.15/2.96 distribution=[AllDifferent#1,CtrExtensionCT-Table#900,CtrExtensionV-Bits#900,CtrIntension#870,EQ#30,ObjMaximumLE#1,SumWeightedEQ#30]
6.15/2.96 tables=[4#900], nTotalTuples=3600
6.15/2.96 nExtStructures=(901,shared:899), nIntStructures=(1,shared:869), nCftStructures=(901,shared:869,unbuilt:962)
6.15/2.96 wck=1.102, cpu=2.914, mem=31M235
6.92/3.25 Solver SolverBacktrack being built...
6.92/3.25
7.13/3.30
7.13/3.30 Solver
7.13/3.30 guaranteedGAC=false
7.13/3.30 wck=1.436, cpu=3.161, mem=173M803
7.13/3.35
7.13/3.35 Preprocessing
7.13/3.35 filters=30, revisions=(60,useless=60), ccks=228, nACremovedValues=30, nTotalRemovedValues=30, inconcistency=false
7.13/3.35 wck=0.045, cpu=3.209, mem=173M803
7.13/3.35
7.40/3.47 o 19
8.04/3.66 num=0, depth=2761..2759, filters=4062, revisions=(20637,useless=17997), ccks=12209, wck=0.36, mem=176M434
8.04/3.66 decisions=29, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=1, bestBound=19
8.04/3.66 nFilterCalls=5399, avgTableProportion=0.75, avgTableSize=3.0
8.04/3.66
8.24/3.74 num=1, depth=0..31, filters=8651, revisions=(41430,useless=35618), ccks=17283, wck=0.441, mem=176M434
8.24/3.74 decisions=106, wrong=24, backtracks=13, failedAssignments=11, nogoods=5, foundSolutions=1, bestBound=19
8.24/3.74 nFilterCalls=8389, avgTableProportion=0.75, avgTableSize=3.0
8.24/3.74
8.55/3.82 o 17
8.86/3.95 num=2, depth=5..2759, filters=12817, revisions=(63169,useless=54320), ccks=26122, wck=0.654, mem=176M434
8.86/3.95 decisions=177, wrong=29, backtracks=13, failedAssignments=16, nogoods=10, foundSolutions=2, bestBound=17
8.86/3.95 nFilterCalls=13132, avgTableProportion=0.75, avgTableSize=3.0
8.86/3.95
9.18/4.01 num=3, depth=7..32, filters=14084, revisions=(66405,useless=56659), ccks=27708, wck=0.705, mem=176M434
9.18/4.01 decisions=248, wrong=56, backtracks=29, failedAssignments=28, nogoods=21, foundSolutions=2, bestBound=17
9.18/4.01 nFilterCalls=14653, avgTableProportion=0.75, avgTableSize=3.0
9.18/4.01
9.18/4.09 o 16
9.76/4.22 num=4, depth=12..2759, filters=18338, revisions=(88451,useless=75589), ccks=35990, wck=0.917, mem=179M66
9.76/4.22 decisions=322, wrong=63, backtracks=29, failedAssignments=35, nogoods=28, foundSolutions=3, bestBound=16
9.76/4.22 nFilterCalls=19436, avgTableProportion=0.75, avgTableSize=3.0
9.76/4.22
9.76/4.25 num=5, depth=0..12, filters=19730, revisions=(92317,useless=78481), ccks=37752, wck=0.953, mem=179M66
9.76/4.25 decisions=374, wrong=87, backtracks=41, failedAssignments=47, nogoods=31, foundSolutions=3, bestBound=16
9.76/4.25 nFilterCalls=21083, avgTableProportion=0.75, avgTableSize=3.0
9.76/4.25
9.76/4.27 num=6, depth=0..58, filters=23086, revisions=(106869,useless=90383), ccks=42747, wck=0.975, mem=179M66
9.76/4.27 decisions=447, wrong=98, backtracks=41, failedAssignments=58, nogoods=41, foundSolutions=3, bestBound=16
9.76/4.27 nFilterCalls=22750, avgTableProportion=0.75, avgTableSize=3.0
9.76/4.27
9.76/4.29 num=7, depth=12..52, filters=24528, revisions=(111178,useless=93373), ccks=45719, wck=0.988, mem=179M66
9.76/4.29 decisions=512, wrong=110, backtracks=41, failedAssignments=70, nogoods=53, foundSolutions=3, bestBound=16
9.76/4.29 nFilterCalls=23440, avgTableProportion=0.75, avgTableSize=3.0
9.76/4.29
10.07/4.31 num=8, depth=0..65, filters=29259, revisions=(131136,useless=109855), ccks=53619, wck=1.014, mem=179M66
10.07/4.31 decisions=598, wrong=123, backtracks=41, failedAssignments=83, nogoods=65, foundSolutions=3, bestBound=16
10.07/4.31 nFilterCalls=25884, avgTableProportion=0.75, avgTableSize=3.0
10.07/4.31
10.07/4.34 num=9, depth=12..74, filters=34256, revisions=(149745,useless=124814), ccks=62029, wck=1.042, mem=179M66
10.07/4.34 decisions=689, wrong=137, backtracks=41, failedAssignments=97, nogoods=79, foundSolutions=3, bestBound=16
10.07/4.34 nFilterCalls=28646, avgTableProportion=0.75, avgTableSize=3.0
10.07/4.34
10.38/4.40 o 15
10.68/4.53 num=10, depth=12..2759, filters=38938, revisions=(173539,useless=145056), ccks=72766, wck=1.226, mem=179M66
10.68/4.53 decisions=787, wrong=150, backtracks=41, failedAssignments=110, nogoods=92, foundSolutions=4, bestBound=15
10.68/4.53 nFilterCalls=33661, avgTableProportion=0.75, avgTableSize=3.0
10.68/4.53
10.68/4.58 num=11, depth=23..66, filters=43614, revisions=(192262,useless=160035), ccks=80006, wck=1.281, mem=179M66
10.68/4.58 decisions=888, wrong=170, backtracks=44, failedAssignments=127, nogoods=101, foundSolutions=4, bestBound=15
10.68/4.58 nFilterCalls=36774, avgTableProportion=0.75, avgTableSize=3.0
10.68/4.58
10.98/4.60 num=12, depth=12..72, filters=45184, revisions=(198266,useless=164638), ccks=83111, wck=1.299, mem=179M66
10.98/4.60 decisions=972, wrong=181, backtracks=44, failedAssignments=138, nogoods=112, foundSolutions=4, bestBound=15
10.98/4.60 nFilterCalls=37534, avgTableProportion=0.75, avgTableSize=3.0
10.98/4.60
10.98/4.63 num=13, depth=0..104, filters=49294, revisions=(215166,useless=178313), ccks=89451, wck=1.331, mem=179M66
10.98/4.63 decisions=1100, wrong=196, backtracks=47, failedAssignments=150, nogoods=121, foundSolutions=4, bestBound=15
10.98/4.63 nFilterCalls=39543, avgTableProportion=0.75, avgTableSize=3.0
10.98/4.63
10.98/4.66 num=14, depth=12..114, filters=52758, revisions=(230932,useless=191204), ccks=95633, wck=1.362, mem=179M66
10.98/4.66 decisions=1229, wrong=209, backtracks=47, failedAssignments=163, nogoods=134, foundSolutions=4, bestBound=15
10.98/4.66 nFilterCalls=41407, avgTableProportion=0.75, avgTableSize=3.0
10.98/4.66
11.28/4.70 num=15, depth=100..107, filters=58011, revisions=(250087,useless=206881), ccks=101754, wck=1.396, mem=179M66
11.28/4.70 decisions=1368, wrong=226, backtracks=53, failedAssignments=177, nogoods=142, foundSolutions=4, bestBound=15
11.28/4.70 nFilterCalls=43956, avgTableProportion=0.75, avgTableSize=3.0
11.28/4.70
11.28/4.75 o 14
11.58/4.88 num=16, depth=18..2759, filters=62440, revisions=(274454,useless=227918), ccks=111578, wck=1.581, mem=181M698
11.58/4.88 decisions=1499, wrong=236, backtracks=53, failedAssignments=187, nogoods=152, foundSolutions=5, bestBound=14
11.58/4.88 nFilterCalls=48909, avgTableProportion=0.75, avgTableSize=3.0
11.58/4.88
11.86/4.95 o 13
12.18/5.08 num=17, depth=86..2759, filters=66264, revisions=(298145,useless=248890), ccks=119563, wck=1.781, mem=181M698
12.18/5.08 decisions=1597, wrong=240, backtracks=53, failedAssignments=191, nogoods=156, foundSolutions=6, bestBound=13
12.18/5.08 nFilterCalls=54561, avgTableProportion=0.75, avgTableSize=3.0
12.18/5.08
12.39/5.13 num=18, depth=0..113, filters=69498, revisions=(316599,useless=264836), ccks=124134, wck=1.829, mem=181M698
12.39/5.13 decisions=1731, wrong=252, backtracks=54, failedAssignments=202, nogoods=160, foundSolutions=6, bestBound=13
12.39/5.13 nFilterCalls=57341, avgTableProportion=0.75, avgTableSize=3.0
12.39/5.13
12.39/5.14 num=19, depth=19..87, filters=71270, revisions=(324642,useless=271292), ccks=127107, wck=1.844, mem=181M698
12.39/5.14 decisions=1830, wrong=263, backtracks=54, failedAssignments=213, nogoods=171, foundSolutions=6, bestBound=13
12.39/5.14 nFilterCalls=58231, avgTableProportion=0.75, avgTableSize=3.0
12.39/5.14
12.39/5.17 num=20, depth=0..118, filters=74797, revisions=(341801,useless=285597), ccks=132475, wck=1.868, mem=181M698
12.39/5.17 decisions=1967, wrong=275, backtracks=54, failedAssignments=225, nogoods=182, foundSolutions=6, bestBound=13
12.39/5.17 nFilterCalls=60119, avgTableProportion=0.75, avgTableSize=3.0
12.39/5.17
12.39/5.19 num=21, depth=19..118, filters=77663, revisions=(355899,useless=297293), ccks=137285, wck=1.89, mem=181M698
12.39/5.19 decisions=2101, wrong=288, backtracks=54, failedAssignments=238, nogoods=195, foundSolutions=6, bestBound=13
12.39/5.19 nFilterCalls=61611, avgTableProportion=0.75, avgTableSize=3.0
12.39/5.19
12.67/5.21 num=22, depth=19..118, filters=80805, revisions=(370982,useless=309765), ccks=142058, wck=1.912, mem=181M698
12.67/5.21 decisions=2237, wrong=302, backtracks=54, failedAssignments=252, nogoods=209, foundSolutions=6, bestBound=13
12.67/5.21 nFilterCalls=63258, avgTableProportion=0.75, avgTableSize=3.0
12.67/5.21
12.67/5.24 num=23, depth=19..121, filters=84744, revisions=(388644,useless=324292), ccks=147863, wck=1.936, mem=181M698
12.67/5.24 decisions=2380, wrong=318, backtracks=54, failedAssignments=268, nogoods=225, foundSolutions=6, bestBound=13
12.67/5.24 nFilterCalls=65266, avgTableProportion=0.75, avgTableSize=3.0
12.67/5.24
12.67/5.26 num=24, depth=67..120, filters=89862, revisions=(411119,useless=342984), ccks=154545, wck=1.963, mem=181M698
12.67/5.26 decisions=2535, wrong=337, backtracks=56, failedAssignments=285, nogoods=239, foundSolutions=6, bestBound=13
12.67/5.26 nFilterCalls=67846, avgTableProportion=0.75, avgTableSize=3.0
12.67/5.26
12.67/5.29 num=25, depth=68..128, filters=95663, revisions=(435799,useless=363450), ccks=162183, wck=1.993, mem=184M330
12.67/5.29 decisions=2697, wrong=357, backtracks=57, failedAssignments=304, nogoods=258, foundSolutions=6, bestBound=13
12.67/5.29 nFilterCalls=70771, avgTableProportion=0.75, avgTableSize=3.0
12.67/5.29
12.97/5.32 num=26, depth=21..132, filters=100903, revisions=(458824,useless=382445), ccks=169550, wck=2.021, mem=184M330
12.97/5.32 decisions=2859, wrong=378, backtracks=57, failedAssignments=325, nogoods=279, foundSolutions=6, bestBound=13
12.97/5.32 nFilterCalls=73391, avgTableProportion=0.75, avgTableSize=3.0
12.97/5.32
12.97/5.35 num=27, depth=21..125, filters=106322, revisions=(484068,useless=403544), ccks=176996, wck=2.048, mem=184M330
12.97/5.35 decisions=3020, wrong=401, backtracks=57, failedAssignments=348, nogoods=302, foundSolutions=6, bestBound=13
12.97/5.35 nFilterCalls=76008, avgTableProportion=0.75, avgTableSize=3.0
12.97/5.35
12.97/5.39 o 12
13.43/5.52 num=28, depth=21..2759, filters=110713, revisions=(507748,useless=423964), ccks=185663, wck=2.22, mem=184M330
13.43/5.52 decisions=3169, wrong=414, backtracks=59, failedAssignments=359, nogoods=313, foundSolutions=7, bestBound=12
13.43/5.52 nFilterCalls=80919, avgTableProportion=0.75, avgTableSize=3.0
13.43/5.52
13.43/5.59 o 11
13.86/5.72 num=29, depth=66..2759, filters=116334, revisions=(537202,useless=449087), ccks=197420, wck=2.419, mem=184M330
13.86/5.72 decisions=3329, wrong=435, backtracks=60, failedAssignments=379, nogoods=333, foundSolutions=8, bestBound=11
13.86/5.72 nFilterCalls=87405, avgTableProportion=0.75, avgTableSize=3.0
13.86/5.72
13.86/5.76 num=30, depth=82..114, filters=120821, revisions=(554386,useless=463147), ccks=202859, wck=2.465, mem=184M330
13.86/5.76 decisions=3469, wrong=449, backtracks=63, failedAssignments=390, nogoods=342, foundSolutions=8, bestBound=11
13.86/5.76 nFilterCalls=90752, avgTableProportion=0.75, avgTableSize=3.0
13.86/5.76
13.86/5.78 num=31, depth=62..73, filters=124680, revisions=(573741,useless=479586), ccks=208924, wck=2.484, mem=184M330
13.86/5.78 decisions=3569, wrong=464, backtracks=68, failedAssignments=401, nogoods=350, foundSolutions=8, bestBound=11
13.86/5.78 nFilterCalls=92843, avgTableProportion=0.75, avgTableSize=3.0
13.86/5.78
14.08/5.80 num=32, depth=42..68, filters=127745, revisions=(591272,useless=494805), ccks=213980, wck=2.501, mem=186M962
14.08/5.80 decisions=3659, wrong=476, backtracks=68, failedAssignments=413, nogoods=362, foundSolutions=8, bestBound=11
14.08/5.80 nFilterCalls=94476, avgTableProportion=0.75, avgTableSize=3.0
14.08/5.80
14.08/5.82 num=33, depth=50..60, filters=130688, revisions=(607791,useless=509098), ccks=218349, wck=2.519, mem=186M962
14.08/5.82 decisions=3747, wrong=491, backtracks=70, failedAssignments=426, nogoods=366, foundSolutions=8, bestBound=11
14.08/5.82 nFilterCalls=96035, avgTableProportion=0.75, avgTableSize=3.0
14.08/5.82
14.08/5.84 num=34, depth=33..62, filters=134553, revisions=(626125,useless=524483), ccks=223566, wck=2.541, mem=186M962
14.08/5.84 decisions=3839, wrong=509, backtracks=74, failedAssignments=440, nogoods=369, foundSolutions=8, bestBound=11
14.08/5.84 nFilterCalls=97993, avgTableProportion=0.75, avgTableSize=3.0
14.08/5.84
14.08/5.86 num=35, depth=45..53, filters=138092, revisions=(643837,useless=539556), ccks=228671, wck=2.561, mem=186M962
14.08/5.86 decisions=3930, wrong=532, backtracks=81, failedAssignments=456, nogoods=376, foundSolutions=8, bestBound=11
14.08/5.86 nFilterCalls=99830, avgTableProportion=0.75, avgTableSize=3.0
14.08/5.86
14.08/5.89 num=36, depth=41..43, filters=145128, revisions=(671548,useless=562472), ccks=237213, wck=2.591, mem=186M962
14.08/5.89 decisions=4023, wrong=557, backtracks=89, failedAssignments=473, nogoods=380, foundSolutions=8, bestBound=11
14.08/5.89 nFilterCalls=103123, avgTableProportion=0.75, avgTableSize=3.0
14.08/5.89
14.38/5.92 num=37, depth=56..113, filters=149736, revisions=(693945,useless=581458), ccks=244117, wck=2.62, mem=186M962
14.38/5.92 decisions=4170, wrong=579, backtracks=92, failedAssignments=492, nogoods=397, foundSolutions=8, bestBound=11
14.38/5.92 nFilterCalls=105451, avgTableProportion=0.75, avgTableSize=3.0
14.38/5.92
14.38/5.97 o 10
14.66/6.09 num=38, depth=60..2759, filters=154038, revisions=(718565,useless=602882), ccks=252999, wck=2.795, mem=186M962
14.66/6.09 decisions=4299, wrong=592, backtracks=92, failedAssignments=505, nogoods=410, foundSolutions=9, bestBound=10
14.66/6.09 nFilterCalls=110217, avgTableProportion=0.75, avgTableSize=3.0
14.66/6.09
14.87/6.15 num=39, depth=56..58, filters=161339, revisions=(749433,useless=628569), ccks=262730, wck=2.847, mem=186M962
14.87/6.15 decisions=4422, wrong=625, backtracks=106, failedAssignments=528, nogoods=417, foundSolutions=9, bestBound=10
14.87/6.15 nFilterCalls=114576, avgTableProportion=0.75, avgTableSize=3.0
14.87/6.15
14.87/6.17 num=40, depth=47..100, filters=165081, revisions=(769249,useless=645548), ccks=269090, wck=2.867, mem=186M962
14.87/6.17 decisions=4538, wrong=636, backtracks=106, failedAssignments=539, nogoods=428, foundSolutions=9, bestBound=10
14.87/6.17 nFilterCalls=116570, avgTableProportion=0.75, avgTableSize=3.0
14.87/6.17
14.87/6.19 num=41, depth=50..79, filters=170498, revisions=(792597,useless=665072), ccks=276090, wck=2.89, mem=186M962
14.87/6.19 decisions=4650, wrong=653, backtracks=111, failedAssignments=551, nogoods=435, foundSolutions=9, bestBound=10
14.87/6.19 nFilterCalls=119350, avgTableProportion=0.75, avgTableSize=3.0
14.87/6.19
15.06/6.21 num=42, depth=0..107, filters=174551, revisions=(815357,useless=684731), ccks=282532, wck=2.913, mem=186M962
15.06/6.21 decisions=4780, wrong=667, backtracks=112, failedAssignments=564, nogoods=446, foundSolutions=9, bestBound=10
15.06/6.21 nFilterCalls=121383, avgTableProportion=0.75, avgTableSize=3.0
15.06/6.21
15.06/6.23 num=43, depth=61..102, filters=178494, revisions=(837302,useless=703694), ccks=288265, wck=2.934, mem=186M962
15.06/6.23 decisions=4909, wrong=682, backtracks=113, failedAssignments=578, nogoods=458, foundSolutions=9, bestBound=10
15.06/6.23 nFilterCalls=123438, avgTableProportion=0.75, avgTableSize=3.0
15.06/6.23
15.06/6.28 o 9
15.37/6.40 num=44, depth=63..2759, filters=182503, revisions=(862583,useless=725951), ccks=296275, wck=3.105, mem=189M594
15.37/6.40 decisions=5034, wrong=692, backtracks=116, failedAssignments=585, nogoods=464, foundSolutions=10, bestBound=9
15.37/6.40 nFilterCalls=128198, avgTableProportion=0.75, avgTableSize=3.0
15.37/6.40
15.37/6.45 num=45, depth=69..99, filters=188442, revisions=(891093,useless=750180), ccks=303776, wck=3.153, mem=189M594
15.37/6.45 decisions=5200, wrong=728, backtracks=140, failedAssignments=602, nogoods=468, foundSolutions=10, bestBound=9
15.37/6.45 nFilterCalls=131866, avgTableProportion=0.75, avgTableSize=3.0
15.37/6.45
15.37/6.47 num=46, depth=52..62, filters=192201, revisions=(910691,useless=766915), ccks=309421, wck=3.171, mem=189M594
15.37/6.47 decisions=5291, wrong=744, backtracks=145, failedAssignments=613, nogoods=476, foundSolutions=10, bestBound=9
15.37/6.47 nFilterCalls=133793, avgTableProportion=0.75, avgTableSize=3.0
15.37/6.47
15.37/6.49 num=47, depth=55..61, filters=195471, revisions=(928461,useless=782195), ccks=313924, wck=3.185, mem=189M594
15.37/6.49 decisions=5378, wrong=759, backtracks=149, failedAssignments=625, nogoods=486, foundSolutions=10, bestBound=9
15.37/6.49 nFilterCalls=135474, avgTableProportion=0.75, avgTableSize=3.0
15.37/6.49
15.48/6.50 num=48, depth=39..43, filters=201212, revisions=(954802,useless=804299), ccks=321606, wck=3.203, mem=189M594
15.48/6.50 decisions=5466, wrong=783, backtracks=162, failedAssignments=638, nogoods=489, foundSolutions=10, bestBound=9
15.48/6.50 nFilterCalls=138496, avgTableProportion=0.75, avgTableSize=3.0
15.48/6.50
15.48/6.52 num=49, depth=47..50, filters=204164, revisions=(971077,useless=818257), ccks=326197, wck=3.216, mem=189M594
15.48/6.52 decisions=5555, wrong=804, backtracks=169, failedAssignments=652, nogoods=492, foundSolutions=10, bestBound=9
15.48/6.52 nFilterCalls=140005, avgTableProportion=0.75, avgTableSize=3.0
15.48/6.52
15.48/6.53 num=50, depth=52..65, filters=208948, revisions=(987296,useless=831445), ccks=331908, wck=3.233, mem=189M594
15.48/6.53 decisions=5664, wrong=828, backtracks=178, failedAssignments=668, nogoods=498, foundSolutions=10, bestBound=9
15.48/6.53 nFilterCalls=142312, avgTableProportion=0.75, avgTableSize=3.0
15.48/6.53
15.48/6.55 num=51, depth=50..62, filters=211657, revisions=(1000970,useless=843119), ccks=335847, wck=3.246, mem=189M594
15.48/6.55 decisions=5761, wrong=847, backtracks=180, failedAssignments=685, nogoods=508, foundSolutions=10, bestBound=9
15.48/6.55 nFilterCalls=143705, avgTableProportion=0.75, avgTableSize=3.0
15.48/6.55
15.48/6.56 num=52, depth=47..64, filters=215748, revisions=(1019238,useless=858223), ccks=341773, wck=3.263, mem=189M594
15.48/6.56 decisions=5872, wrong=871, backtracks=185, failedAssignments=704, nogoods=518, foundSolutions=10, bestBound=9
15.48/6.56 nFilterCalls=145842, avgTableProportion=0.75, avgTableSize=3.0
15.48/6.56
15.48/6.58 num=53, depth=51..57, filters=223605, revisions=(1045477,useless=878788), ccks=351685, wck=3.285, mem=189M594
15.48/6.58 decisions=5986, wrong=901, backtracks=194, failedAssignments=725, nogoods=529, foundSolutions=10, bestBound=9
15.48/6.58 nFilterCalls=150067, avgTableProportion=0.75, avgTableSize=3.0
15.48/6.58
15.59/6.60 num=54, depth=56..60, filters=229067, revisions=(1067433,useless=896272), ccks=359969, wck=3.305, mem=189M594
15.59/6.60 decisions=6107, wrong=933, backtracks=205, failedAssignments=748, nogoods=535, foundSolutions=10, bestBound=9
15.59/6.60 nFilterCalls=152792, avgTableProportion=0.75, avgTableSize=3.0
15.59/6.60
15.59/6.63 num=55, depth=58..62, filters=240027, revisions=(1099128,useless=919311), ccks=375974, wck=3.333, mem=189M594
15.59/6.63 decisions=6234, wrong=967, backtracks=215, failedAssignments=773, nogoods=540, foundSolutions=10, bestBound=9
15.59/6.63 nFilterCalls=158206, avgTableProportion=0.75, avgTableSize=3.0
15.59/6.63
15.59/6.65 num=56, depth=46..60, filters=243755, revisions=(1117233,useless=934665), ccks=381479, wck=3.35, mem=189M594
15.59/6.65 decisions=6372, wrong=1010, backtracks=231, failedAssignments=801, nogoods=545, foundSolutions=10, bestBound=9
15.59/6.65 nFilterCalls=159974, avgTableProportion=0.75, avgTableSize=3.0
15.59/6.65
15.59/6.66 num=57, depth=59..64, filters=246741, revisions=(1132383,useless=947522), ccks=385528, wck=3.365, mem=189M594
15.59/6.66 decisions=6503, wrong=1046, backtracks=236, failedAssignments=832, nogoods=547, foundSolutions=10, bestBound=9
15.59/6.66 nFilterCalls=161365, avgTableProportion=0.75, avgTableSize=3.0
15.59/6.66
15.59/6.68 num=58, depth=62..82, filters=250729, revisions=(1150974,useless=963042), ccks=390574, wck=3.384, mem=189M594
15.59/6.68 decisions=6658, wrong=1086, backtracks=243, failedAssignments=866, nogoods=551, foundSolutions=10, bestBound=9
15.59/6.68 nFilterCalls=163267, avgTableProportion=0.75, avgTableSize=3.0
15.59/6.68
15.69/6.70 num=59, depth=62..82, filters=254802, revisions=(1171005,useless=979951), ccks=395652, wck=3.404, mem=189M594
15.69/6.70 decisions=6817, wrong=1128, backtracks=248, failedAssignments=903, nogoods=560, foundSolutions=10, bestBound=9
15.69/6.70 nFilterCalls=165245, avgTableProportion=0.75, avgTableSize=3.0
15.69/6.70
15.69/6.72 num=60, depth=68..85, filters=259118, revisions=(1191174,useless=996924), ccks=401021, wck=3.425, mem=189M594
15.69/6.72 decisions=6988, wrong=1174, backtracks=253, failedAssignments=944, nogoods=567, foundSolutions=10, bestBound=9
15.69/6.72 nFilterCalls=167211, avgTableProportion=0.75, avgTableSize=3.0
15.69/6.72
15.69/6.75 num=61, depth=65..98, filters=265681, revisions=(1220210,useless=1020952), ccks=409399, wck=3.452, mem=189M594
15.69/6.75 decisions=7206, wrong=1239, backtracks=276, failedAssignments=989, nogoods=575, foundSolutions=10, bestBound=9
15.69/6.75 nFilterCalls=170273, avgTableProportion=0.75, avgTableSize=3.0
15.69/6.75
15.69/6.78 num=62, depth=77..83, filters=273730, revisions=(1261346,useless=1055945), ccks=422004, wck=3.483, mem=189M594
15.69/6.78 decisions=7438, wrong=1315, backtracks=304, failedAssignments=1039, nogoods=579, foundSolutions=10, bestBound=9
15.69/6.78 nFilterCalls=174292, avgTableProportion=0.75, avgTableSize=3.0
15.69/6.78
15.80/6.81 num=63, depth=67..80, filters=278896, revisions=(1284324,useless=1075148), ccks=428619, wck=3.505, mem=189M594
15.80/6.81 decisions=7638, wrong=1380, backtracks=314, failedAssignments=1094, nogoods=583, foundSolutions=10, bestBound=9
15.80/6.81 nFilterCalls=176635, avgTableProportion=0.75, avgTableSize=3.0
15.80/6.81
15.80/6.83 num=64, depth=72..86, filters=285872, revisions=(1308500,useless=1094536), ccks=436529, wck=3.531, mem=189M594
15.80/6.83 decisions=7868, wrong=1458, backtracks=331, failedAssignments=1155, nogoods=589, foundSolutions=10, bestBound=9
15.80/6.83 nFilterCalls=179878, avgTableProportion=0.75, avgTableSize=3.0
15.80/6.83
15.80/6.85 num=65, depth=56..81, filters=291996, revisions=(1332357,useless=1113943), ccks=444028, wck=3.555, mem=189M594
15.80/6.85 decisions=8093, wrong=1537, backtracks=343, failedAssignments=1222, nogoods=609, foundSolutions=10, bestBound=9
15.80/6.85 nFilterCalls=182593, avgTableProportion=0.75, avgTableSize=3.0
15.80/6.85
15.90/6.92 o 8
16.01/7.04 num=66, depth=38..2759, filters=303785, revisions=(1385359,useless=1157377), ccks=463672, wck=3.738, mem=192M226
16.01/7.04 decisions=8371, wrong=1629, backtracks=397, failedAssignments=1275, nogoods=623, foundSolutions=11, bestBound=8
16.01/7.04 nFilterCalls=191844, avgTableProportion=0.75, avgTableSize=3.0
16.01/7.04
16.01/7.10 num=67, depth=52..68, filters=317738, revisions=(1426219,useless=1188304), ccks=481473, wck=3.802, mem=192M226
16.01/7.10 decisions=8676, wrong=1755, backtracks=448, failedAssignments=1356, nogoods=625, foundSolutions=11, bestBound=8
16.01/7.10 nFilterCalls=199765, avgTableProportion=0.75, avgTableSize=3.0
16.01/7.10
16.15/7.11 num=68, depth=57..59, filters=319871, revisions=(1438204,useless=1198645), ccks=484711, wck=3.815, mem=192M226
16.15/7.11 decisions=8757, wrong=1767, backtracks=449, failedAssignments=1367, nogoods=632, foundSolutions=11, bestBound=8
16.15/7.11 nFilterCalls=200807, avgTableProportion=0.75, avgTableSize=3.0
16.15/7.11
16.15/7.13 num=69, depth=55..60, filters=323023, revisions=(1452353,useless=1210328), ccks=489272, wck=3.828, mem=192M226
16.15/7.13 decisions=8843, wrong=1782, backtracks=454, failedAssignments=1379, nogoods=635, foundSolutions=11, bestBound=8
16.15/7.13 nFilterCalls=202364, avgTableProportion=0.75, avgTableSize=3.0
16.15/7.13
16.15/7.14 num=70, depth=58..62, filters=326143, revisions=(1466806,useless=1222336), ccks=493478, wck=3.843, mem=192M226
16.15/7.14 decisions=8936, wrong=1798, backtracks=457, failedAssignments=1392, nogoods=646, foundSolutions=11, bestBound=8
16.15/7.14 nFilterCalls=204081, avgTableProportion=0.75, avgTableSize=3.0
16.15/7.14
16.15/7.16 num=71, depth=58..61, filters=330053, revisions=(1483386,useless=1235982), ccks=499037, wck=3.858, mem=192M226
16.15/7.16 decisions=9035, wrong=1818, backtracks=463, failedAssignments=1406, nogoods=648, foundSolutions=11, bestBound=8
16.15/7.16 nFilterCalls=206071, avgTableProportion=0.75, avgTableSize=3.0
16.15/7.16
16.15/7.17 num=72, depth=59..65, filters=332915, revisions=(1499539,useless=1249933), ccks=503118, wck=3.873, mem=192M226
16.15/7.17 decisions=9134, wrong=1836, backtracks=465, failedAssignments=1422, nogoods=660, foundSolutions=11, bestBound=8
16.15/7.17 nFilterCalls=207480, avgTableProportion=0.75, avgTableSize=3.0
16.15/7.17
16.15/7.19 num=73, depth=59..64, filters=337097, revisions=(1514329,useless=1261500), ccks=508846, wck=3.888, mem=192M226
16.15/7.19 decisions=9235, wrong=1855, backtracks=467, failedAssignments=1439, nogoods=671, foundSolutions=11, bestBound=8
16.15/7.19 nFilterCalls=209743, avgTableProportion=0.75, avgTableSize=3.0
16.15/7.19
16.26/7.21 num=74, depth=46..63, filters=342301, revisions=(1530838,useless=1274500), ccks=514768, wck=3.906, mem=192M226
16.26/7.21 decisions=9344, wrong=1879, backtracks=473, failedAssignments=1458, nogoods=685, foundSolutions=11, bestBound=8
16.26/7.21 nFilterCalls=212465, avgTableProportion=0.75, avgTableSize=3.0
16.26/7.21
16.26/7.22 num=75, depth=54..61, filters=347313, revisions=(1546424,useless=1286584), ccks=520380, wck=3.923, mem=192M226
16.26/7.22 decisions=9456, wrong=1908, backtracks=481, failedAssignments=1479, nogoods=690, foundSolutions=11, bestBound=8
16.26/7.22 nFilterCalls=215072, avgTableProportion=0.75, avgTableSize=3.0
16.26/7.22
16.26/7.25 num=76, depth=61..66, filters=355984, revisions=(1569481,useless=1303898), ccks=529350, wck=3.946, mem=192M226
16.26/7.25 decisions=9592, wrong=1944, backtracks=494, failedAssignments=1502, nogoods=695, foundSolutions=11, bestBound=8
16.26/7.25 nFilterCalls=219431, avgTableProportion=0.75, avgTableSize=3.0
16.26/7.25
16.26/7.27 num=77, depth=55..72, filters=362939, revisions=(1593611,useless=1322838), ccks=538127, wck=3.969, mem=194M858
16.26/7.27 decisions=9722, wrong=1973, backtracks=499, failedAssignments=1527, nogoods=706, foundSolutions=11, bestBound=8
16.26/7.27 nFilterCalls=223005, avgTableProportion=0.75, avgTableSize=3.0
16.26/7.27
16.26/7.29 num=78, depth=57..68, filters=368922, revisions=(1615768,useless=1340444), ccks=545574, wck=3.99, mem=194M858
16.26/7.29 decisions=9856, wrong=2008, backtracks=507, failedAssignments=1555, nogoods=712, foundSolutions=11, bestBound=8
16.26/7.29 nFilterCalls=226236, avgTableProportion=0.75, avgTableSize=3.0
16.26/7.29
16.36/7.31 num=79, depth=58..68, filters=374510, revisions=(1635831,useless=1356588), ccks=552082, wck=4.009, mem=194M858
16.36/7.31 decisions=9998, wrong=2047, backtracks=516, failedAssignments=1586, nogoods=718, foundSolutions=11, bestBound=8
16.36/7.31 nFilterCalls=229235, avgTableProportion=0.75, avgTableSize=3.0
16.36/7.31
16.36/7.33 num=80, depth=65..69, filters=381371, revisions=(1661341,useless=1377177), ccks=560495, wck=4.032, mem=194M858
16.36/7.33 decisions=10150, wrong=2089, backtracks=524, failedAssignments=1620, nogoods=732, foundSolutions=11, bestBound=8
16.36/7.33 nFilterCalls=232863, avgTableProportion=0.75, avgTableSize=3.0
16.36/7.33
16.36/7.35 num=81, depth=60..65, filters=386073, revisions=(1681524,useless=1393733), ccks=566683, wck=4.051, mem=194M858
16.36/7.35 decisions=10298, wrong=2131, backtracks=529, failedAssignments=1657, nogoods=747, foundSolutions=11, bestBound=8
16.36/7.35 nFilterCalls=235019, avgTableProportion=0.75, avgTableSize=3.0
16.36/7.35
16.36/7.38 num=82, depth=64..69, filters=398219, revisions=(1715454,useless=1418999), ccks=580846, wck=4.082, mem=194M858
16.36/7.38 decisions=10469, wrong=2184, backtracks=543, failedAssignments=1698, nogoods=752, foundSolutions=11, bestBound=8
16.36/7.38 nFilterCalls=240661, avgTableProportion=0.75, avgTableSize=3.0
16.36/7.38
16.47/7.43 o 7
16.57/7.55 num=83, depth=62..2759, filters=404072, revisions=(1747628,useless=1446604), ccks=592216, wck=4.252, mem=194M858
16.57/7.55 decisions=10643, wrong=2219, backtracks=549, failedAssignments=1728, nogoods=773, foundSolutions=12, bestBound=7
16.57/7.55 nFilterCalls=246124, avgTableProportion=0.75, avgTableSize=3.0
16.57/7.55
16.67/7.61 num=84, depth=68..73, filters=415347, revisions=(1787732,useless=1478136), ccks=607543, wck=4.309, mem=194M858
16.67/7.61 decisions=10852, wrong=2289, backtracks=570, failedAssignments=1778, nogoods=777, foundSolutions=12, bestBound=7
16.67/7.61 nFilterCalls=252370, avgTableProportion=0.75, avgTableSize=3.0
16.67/7.61
16.67/7.62 num=85, depth=49..60, filters=418182, revisions=(1802542,useless=1490753), ccks=611942, wck=4.322, mem=194M858
16.67/7.62 decisions=10935, wrong=2301, backtracks=571, failedAssignments=1789, nogoods=788, foundSolutions=12, bestBound=7
16.67/7.62 nFilterCalls=253903, avgTableProportion=0.75, avgTableSize=3.0
16.67/7.62
16.67/7.64 num=86, depth=52..61, filters=420933, revisions=(1816556,useless=1502692), ccks=616028, wck=4.335, mem=194M858
16.67/7.64 decisions=11021, wrong=2314, backtracks=572, failedAssignments=1801, nogoods=800, foundSolutions=12, bestBound=7
16.67/7.64 nFilterCalls=255360, avgTableProportion=0.75, avgTableSize=3.0
16.67/7.64
16.67/7.65 num=87, depth=53..64, filters=424674, revisions=(1832722,useless=1515869), ccks=621199, wck=4.351, mem=194M858
16.67/7.65 decisions=11114, wrong=2330, backtracks=575, failedAssignments=1814, nogoods=813, foundSolutions=12, bestBound=7
16.67/7.65 nFilterCalls=257183, avgTableProportion=0.75, avgTableSize=3.0
16.67/7.65
16.67/7.66 num=88, depth=53..62, filters=427562, revisions=(1847539,useless=1528482), ccks=625283, wck=4.364, mem=194M858
16.67/7.66 decisions=11206, wrong=2346, backtracks=577, failedAssignments=1828, nogoods=824, foundSolutions=12, bestBound=7
16.67/7.66 nFilterCalls=258676, avgTableProportion=0.75, avgTableSize=3.0
16.67/7.66
16.67/7.68 num=89, depth=55..62, filters=430501, revisions=(1861615,useless=1540371), ccks=629396, wck=4.378, mem=194M858
16.67/7.68 decisions=11305, wrong=2366, backtracks=581, failedAssignments=1844, nogoods=831, foundSolutions=12, bestBound=7
16.67/7.68 nFilterCalls=260134, avgTableProportion=0.75, avgTableSize=3.0
16.67/7.68
16.67/7.69 num=90, depth=56..59, filters=432996, revisions=(1874215,useless=1551164), ccks=632730, wck=4.391, mem=197M490
16.67/7.69 decisions=11401, wrong=2385, backtracks=583, failedAssignments=1861, nogoods=843, foundSolutions=12, bestBound=7
16.67/7.69 nFilterCalls=261321, avgTableProportion=0.75, avgTableSize=3.0
16.67/7.69
16.77/7.70 num=91, depth=49..58, filters=435902, revisions=(1888318,useless=1563085), ccks=636550, wck=4.405, mem=197M490
16.77/7.70 decisions=11507, wrong=2409, backtracks=588, failedAssignments=1880, nogoods=855, foundSolutions=12, bestBound=7
16.77/7.70 nFilterCalls=262726, avgTableProportion=0.75, avgTableSize=3.0
16.77/7.70
16.77/7.72 num=92, depth=53..63, filters=440005, revisions=(1907005,useless=1578620), ccks=641935, wck=4.421, mem=197M490
16.77/7.72 decisions=11626, wrong=2438, backtracks=596, failedAssignments=1901, nogoods=863, foundSolutions=12, bestBound=7
16.77/7.72 nFilterCalls=264721, avgTableProportion=0.75, avgTableSize=3.0
16.77/7.72
16.77/7.74 num=93, depth=52..58, filters=443336, revisions=(1921912,useless=1590985), ccks=646003, wck=4.436, mem=197M490
16.77/7.74 decisions=11742, wrong=2469, backtracks=604, failedAssignments=1924, nogoods=870, foundSolutions=12, bestBound=7
16.77/7.74 nFilterCalls=266304, avgTableProportion=0.75, avgTableSize=3.0
16.77/7.74
16.77/7.76 num=94, depth=54..82, filters=447988, revisions=(1945229,useless=1610757), ccks=652142, wck=4.456, mem=197M490
16.77/7.76 decisions=11884, wrong=2499, backtracks=609, failedAssignments=1949, nogoods=879, foundSolutions=12, bestBound=7
16.77/7.76 nFilterCalls=268607, avgTableProportion=0.75, avgTableSize=3.0
16.77/7.76
16.77/7.77 num=95, depth=51..61, filters=451961, revisions=(1963927,useless=1626446), ccks=657634, wck=4.473, mem=197M490
16.77/7.77 decisions=12014, wrong=2535, backtracks=617, failedAssignments=1977, nogoods=886, foundSolutions=12, bestBound=7
16.77/7.77 nFilterCalls=270537, avgTableProportion=0.75, avgTableSize=3.0
16.77/7.77
16.77/7.79 num=96, depth=51..82, filters=456429, revisions=(1985788,useless=1645032), ccks=663393, wck=4.494, mem=197M490
16.77/7.79 decisions=12170, wrong=2572, backtracks=624, failedAssignments=2008, nogoods=906, foundSolutions=12, bestBound=7
16.77/7.79 nFilterCalls=272722, avgTableProportion=0.75, avgTableSize=3.0
16.77/7.79
16.87/7.82 num=97, depth=56..58, filters=464510, revisions=(2016560,useless=1669955), ccks=674324, wck=4.519, mem=197M490
16.87/7.82 decisions=12323, wrong=2620, backtracks=641, failedAssignments=2042, nogoods=915, foundSolutions=12, bestBound=7
16.87/7.82 nFilterCalls=276681, avgTableProportion=0.75, avgTableSize=3.0
16.87/7.82
16.87/7.84 num=98, depth=54..60, filters=468956, revisions=(2034899,useless=1685036), ccks=680305, wck=4.538, mem=197M490
16.87/7.84 decisions=12473, wrong=2667, backtracks=651, failedAssignments=2079, nogoods=927, foundSolutions=12, bestBound=7
16.87/7.84 nFilterCalls=278760, avgTableProportion=0.75, avgTableSize=3.0
16.87/7.84
16.87/7.86 num=99, depth=58..61, filters=475769, revisions=(2059953,useless=1705292), ccks=688317, wck=4.561, mem=197M490
16.87/7.86 decisions=12639, wrong=2721, backtracks=665, failedAssignments=2120, nogoods=929, foundSolutions=12, bestBound=7
16.87/7.86 nFilterCalls=282033, avgTableProportion=0.75, avgTableSize=3.0
16.87/7.86
16.87/7.88 num=100, depth=52..64, filters=480926, revisions=(2080159,useless=1721715), ccks=695127, wck=4.582, mem=197M490
16.87/7.88 decisions=12816, wrong=2780, backtracks=679, failedAssignments=2165, nogoods=950, foundSolutions=12, bestBound=7
16.87/7.88 nFilterCalls=284363, avgTableProportion=0.75, avgTableSize=3.0
16.87/7.88
17.02/7.91 num=101, depth=59..63, filters=489810, revisions=(2110453,useless=1745624), ccks=705698, wck=4.61, mem=197M490
17.02/7.91 decisions=13005, wrong=2845, backtracks=696, failedAssignments=2215, nogoods=958, foundSolutions=12, bestBound=7
17.02/7.91 nFilterCalls=288380, avgTableProportion=0.75, avgTableSize=3.0
17.02/7.91
17.02/7.94 num=102, depth=56..63, filters=499260, revisions=(2146894,useless=1775049), ccks=718072, wck=4.64, mem=197M490
17.02/7.94 decisions=13213, wrong=2919, backtracks=718, failedAssignments=2270, nogoods=968, foundSolutions=12, bestBound=7
17.02/7.94 nFilterCalls=292788, avgTableProportion=0.75, avgTableSize=3.0
17.02/7.94
17.02/7.98 num=103, depth=57..60, filters=512568, revisions=(2195243,useless=1813545), ccks=735622, wck=4.678, mem=197M490
17.02/7.98 decisions=13441, wrong=3003, backtracks=742, failedAssignments=2331, nogoods=977, foundSolutions=12, bestBound=7
17.02/7.98 nFilterCalls=299068, avgTableProportion=0.75, avgTableSize=3.0
17.02/7.98
17.14/8.01 num=104, depth=38..44, filters=524700, revisions=(2242816,useless=1852413), ccks=751711, wck=4.713, mem=197M490
17.14/8.01 decisions=13663, wrong=3093, backtracks=767, failedAssignments=2398, nogoods=986, foundSolutions=12, bestBound=7
17.14/8.01 nFilterCalls=304814, avgTableProportion=0.75, avgTableSize=3.0
17.14/8.01
17.14/8.04 num=105, depth=40..58, filters=531830, revisions=(2267398,useless=1872031), ccks=760155, wck=4.738, mem=197M490
17.14/8.04 decisions=13890, wrong=3181, backtracks=781, failedAssignments=2472, nogoods=999, foundSolutions=12, bestBound=7
17.14/8.04 nFilterCalls=307915, avgTableProportion=0.75, avgTableSize=3.0
17.14/8.04
17.14/8.07 num=106, depth=42..66, filters=542277, revisions=(2302349,useless=1899479), ccks=772769, wck=4.771, mem=197M490
17.14/8.07 decisions=14153, wrong=3281, backtracks=802, failedAssignments=2553, nogoods=1021, foundSolutions=12, bestBound=7
17.14/8.07 nFilterCalls=312558, avgTableProportion=0.75, avgTableSize=3.0
17.14/8.07
17.14/8.10 num=107, depth=54..73, filters=551533, revisions=(2333181,useless=1923794), ccks=783400, wck=4.803, mem=197M490
17.14/8.10 decisions=14434, wrong=3387, backtracks=820, failedAssignments=2642, nogoods=1043, foundSolutions=12, bestBound=7
17.14/8.10 nFilterCalls=316561, avgTableProportion=0.75, avgTableSize=3.0
17.14/8.10
17.27/8.16 num=108, depth=53..66, filters=571715, revisions=(2400540,useless=1975715), ccks=811606, wck=4.858, mem=200M123
17.27/8.16 decisions=14758, wrong=3519, backtracks=857, failedAssignments=2740, nogoods=1053, foundSolutions=12, bestBound=7
17.27/8.16 nFilterCalls=326447, avgTableProportion=0.75, avgTableSize=3.0
17.27/8.16
17.41/8.20 num=109, depth=41..70, filters=583290, revisions=(2445566,useless=2012005), ccks=826913, wck=4.897, mem=200M123
17.41/8.20 decisions=15075, wrong=3647, backtracks=877, failedAssignments=2848, nogoods=1077, foundSolutions=12, bestBound=7
17.41/8.20 nFilterCalls=331893, avgTableProportion=0.75, avgTableSize=3.0
17.41/8.20
17.41/8.25 num=110, depth=44..53, filters=604987, revisions=(2508602,useless=2058735), ccks=851113, wck=4.952, mem=200M123
17.41/8.25 decisions=15452, wrong=3812, backtracks=925, failedAssignments=2967, nogoods=1083, foundSolutions=12, bestBound=7
17.41/8.25 nFilterCalls=341193, avgTableProportion=0.75, avgTableSize=3.0
17.41/8.25
17.51/8.32 num=111, depth=28..33, filters=634418, revisions=(2583755,useless=2109176), ccks=894540, wck=5.017, mem=200M123
17.51/8.32 decisions=15802, wrong=3972, backtracks=956, failedAssignments=3098, nogoods=1103, foundSolutions=12, bestBound=7
17.51/8.32 nFilterCalls=353889, avgTableProportion=0.75, avgTableSize=3.0
17.51/8.32
17.51/8.39 num=112, depth=35..43, filters=667078, revisions=(2667424,useless=2166500), ccks=933863, wck=5.089, mem=200M123
17.51/8.39 decisions=16202, wrong=4153, backtracks=995, failedAssignments=3242, nogoods=1111, foundSolutions=12, bestBound=7
17.51/8.39 nFilterCalls=368196, avgTableProportion=0.75, avgTableSize=3.0
17.51/8.39
17.62/8.45 num=113, depth=31..47, filters=691868, revisions=(2723984,useless=2204150), ccks=959822, wck=5.149, mem=200M123
17.62/8.45 decisions=16622, wrong=4346, backtracks=1030, failedAssignments=3400, nogoods=1116, foundSolutions=12, bestBound=7
17.62/8.45 nFilterCalls=378688, avgTableProportion=0.75, avgTableSize=3.0
17.62/8.45
17.72/8.51 num=114, depth=28..89, filters=711356, revisions=(2807300,useless=2272430), ccks=987146, wck=5.212, mem=202M755
17.72/8.51 decisions=17182, wrong=4586, backtracks=1116, failedAssignments=3574, nogoods=1152, foundSolutions=12, bestBound=7
17.72/8.51 nFilterCalls=387403, avgTableProportion=0.75, avgTableSize=3.0
17.72/8.51
17.72/8.58 num=115, depth=31..66, filters=735968, revisions=(2884541,useless=2331495), ccks=1016681, wck=5.277, mem=202M755
17.72/8.58 decisions=17738, wrong=4835, backtracks=1177, failedAssignments=3765, nogoods=1183, foundSolutions=12, bestBound=7
17.72/8.58 nFilterCalls=398317, avgTableProportion=0.75, avgTableSize=3.0
17.72/8.58
17.82/8.66 num=116, depth=32..44, filters=768029, revisions=(2978327,useless=2401183), ccks=1054791, wck=5.356, mem=202M755
17.82/8.66 decisions=18336, wrong=5114, backtracks=1253, failedAssignments=3976, nogoods=1203, foundSolutions=12, bestBound=7
17.82/8.66 nFilterCalls=412637, avgTableProportion=0.75, avgTableSize=3.0
17.82/8.66
17.92/8.77 num=117, depth=39..45, filters=834300, revisions=(3099252,useless=2481219), ccks=1117999, wck=5.475, mem=202M755
17.92/8.77 decisions=18959, wrong=5405, backtracks=1318, failedAssignments=4208, nogoods=1220, foundSolutions=12, bestBound=7
17.92/8.77 nFilterCalls=442313, avgTableProportion=0.75, avgTableSize=3.0
17.92/8.77
18.03/8.86 num=118, depth=28..35, filters=872970, revisions=(3194572,useless=2551026), ccks=1157546, wck=5.558, mem=205M387
18.03/8.86 decisions=19592, wrong=5707, backtracks=1366, failedAssignments=4463, nogoods=1243, foundSolutions=12, bestBound=7
18.03/8.86 nFilterCalls=459039, avgTableProportion=0.75, avgTableSize=3.0
18.03/8.86
18.13/8.98 num=119, depth=42..47, filters=927258, revisions=(3339154,useless=2656393), ccks=1222437, wck=5.678, mem=205M387
18.13/8.98 decisions=20336, wrong=6057, backtracks=1441, failedAssignments=4744, nogoods=1258, foundSolutions=12, bestBound=7
18.13/8.98 nFilterCalls=483841, avgTableProportion=0.75, avgTableSize=3.0
18.13/8.98
18.24/9.10 num=120, depth=32..51, filters=982542, revisions=(3472626,useless=2748398), ccks=1282433, wck=5.803, mem=205M387
18.24/9.10 decisions=21196, wrong=6469, backtracks=1556, failedAssignments=5053, nogoods=1293, foundSolutions=12, bestBound=7
18.24/9.10 nFilterCalls=507880, avgTableProportion=0.75, avgTableSize=3.0
18.24/9.10
18.35/9.18 num=121, depth=43..65, filters=1010518, revisions=(3551602,useless=2807660), ccks=1310380, wck=5.884, mem=205M387
18.35/9.18 decisions=22077, wrong=6886, backtracks=1635, failedAssignments=5393, nogoods=1322, foundSolutions=12, bestBound=7
18.35/9.18 nFilterCalls=518811, avgTableProportion=0.75, avgTableSize=3.0
18.35/9.18
18.45/9.28 o 6
18.65/9.40 num=122, depth=47..2759, filters=1037615, revisions=(3635749,useless=2873031), ccks=1344866, wck=6.099, mem=208M19
18.65/9.40 decisions=22666, wrong=7126, backtracks=1693, failedAssignments=5577, nogoods=1362, foundSolutions=13, bestBound=6
18.65/9.40 nFilterCalls=534073, avgTableProportion=0.75, avgTableSize=3.0
18.65/9.40
18.85/9.62 num=123, depth=50..56, filters=1131746, revisions=(3874534,useless=3045595), ccks=1455153, wck=6.316, mem=210M651
18.85/9.62 decisions=23759, wrong=7646, backtracks=1814, failedAssignments=5988, nogoods=1390, foundSolutions=13, bestBound=6
18.85/9.62 nFilterCalls=579522, avgTableProportion=0.75, avgTableSize=3.0
18.85/9.62
18.85/9.63 num=124, depth=35..52, filters=1133804, revisions=(3883760,useless=3053243), ccks=1458428, wck=6.327, mem=210M651
18.85/9.63 decisions=23838, wrong=7663, backtracks=1820, failedAssignments=5999, nogoods=1397, foundSolutions=13, bestBound=6
18.85/9.63 nFilterCalls=580509, avgTableProportion=0.75, avgTableSize=3.0
18.85/9.63
18.85/9.64 num=125, depth=40..45, filters=1138522, revisions=(3898900,useless=3064543), ccks=1464371, wck=6.341, mem=210M651
18.85/9.64 decisions=23917, wrong=7680, backtracks=1826, failedAssignments=6011, nogoods=1403, foundSolutions=13, bestBound=6
18.85/9.64 nFilterCalls=582664, avgTableProportion=0.75, avgTableSize=3.0
18.85/9.64
18.85/9.66 num=126, depth=37..84, filters=1140869, revisions=(3912554,useless=3076384), ccks=1467873, wck=6.356, mem=210M651
18.85/9.66 decisions=24025, wrong=7693, backtracks=1826, failedAssignments=6024, nogoods=1416, foundSolutions=13, bestBound=6
18.85/9.66 nFilterCalls=583844, avgTableProportion=0.75, avgTableSize=3.0
18.85/9.66
18.85/9.67 num=127, depth=47..56, filters=1143069, revisions=(3922930,useless=3085063), ccks=1470912, wck=6.368, mem=210M651
18.85/9.67 decisions=24113, wrong=7712, backtracks=1831, failedAssignments=6038, nogoods=1427, foundSolutions=13, bestBound=6
18.85/9.67 nFilterCalls=584917, avgTableProportion=0.75, avgTableSize=3.0
18.85/9.67
18.85/9.68 num=128, depth=41..51, filters=1146975, revisions=(3937466,useless=3096471), ccks=1475901, wck=6.383, mem=210M651
18.85/9.68 decisions=24204, wrong=7732, backtracks=1835, failedAssignments=6054, nogoods=1443, foundSolutions=13, bestBound=6
18.85/9.68 nFilterCalls=586750, avgTableProportion=0.75, avgTableSize=3.0
18.85/9.68
18.85/9.69 num=129, depth=46..50, filters=1149393, revisions=(3948489,useless=3105694), ccks=1478810, wck=6.395, mem=210M651
18.85/9.69 decisions=24289, wrong=7750, backtracks=1836, failedAssignments=6071, nogoods=1459, foundSolutions=13, bestBound=6
18.85/9.69 nFilterCalls=587892, avgTableProportion=0.75, avgTableSize=3.0
18.85/9.69
18.97/9.71 num=130, depth=43..61, filters=1153882, revisions=(3966206,useless=3119943), ccks=1484678, wck=6.412, mem=210M651
18.97/9.71 decisions=24395, wrong=7773, backtracks=1840, failedAssignments=6090, nogoods=1471, foundSolutions=13, bestBound=6
18.97/9.71 nFilterCalls=590081, avgTableProportion=0.75, avgTableSize=3.0
18.97/9.71
18.97/9.72 num=131, depth=44..58, filters=1156442, revisions=(3978101,useless=3129931), ccks=1488066, wck=6.425, mem=210M651
18.97/9.72 decisions=24501, wrong=7799, backtracks=1845, failedAssignments=6111, nogoods=1484, foundSolutions=13, bestBound=6
18.97/9.72 nFilterCalls=591322, avgTableProportion=0.75, avgTableSize=3.0
18.97/9.72
18.97/9.74 num=132, depth=42..49, filters=1161300, revisions=(3994125,useless=3142164), ccks=1494373, wck=6.441, mem=210M651
18.97/9.74 decisions=24607, wrong=7830, backtracks=1853, failedAssignments=6134, nogoods=1492, foundSolutions=13, bestBound=6
18.97/9.74 nFilterCalls=593652, avgTableProportion=0.75, avgTableSize=3.0
18.97/9.74
18.97/9.76 num=133, depth=37..86, filters=1164235, revisions=(4008447,useless=3154290), ccks=1498509, wck=6.457, mem=210M651
18.97/9.76 decisions=24747, wrong=7859, backtracks=1857, failedAssignments=6159, nogoods=1515, foundSolutions=13, bestBound=6
18.97/9.76 nFilterCalls=594987, avgTableProportion=0.75, avgTableSize=3.0
18.97/9.76
18.97/9.77 num=134, depth=45..56, filters=1168001, revisions=(4023672,useless=3166653), ccks=1503445, wck=6.473, mem=210M651
18.97/9.77 decisions=24870, wrong=7893, backtracks=1864, failedAssignments=6187, nogoods=1533, foundSolutions=13, bestBound=6
18.97/9.77 nFilterCalls=596702, avgTableProportion=0.75, avgTableSize=3.0
18.97/9.77
18.97/9.79 num=135, depth=44..53, filters=1172265, revisions=(4039427,useless=3179241), ccks=1508506, wck=6.49, mem=210M651
18.97/9.79 decisions=24998, wrong=7931, backtracks=1873, failedAssignments=6218, nogoods=1548, foundSolutions=13, bestBound=6
18.97/9.79 nFilterCalls=598654, avgTableProportion=0.75, avgTableSize=3.0
18.97/9.79
19.07/9.81 num=136, depth=41..61, filters=1176781, revisions=(4056712,useless=3193236), ccks=1514046, wck=6.507, mem=210M651
19.07/9.81 decisions=25135, wrong=7970, backtracks=1878, failedAssignments=6252, nogoods=1572, foundSolutions=13, bestBound=6
19.07/9.81 nFilterCalls=600714, avgTableProportion=0.75, avgTableSize=3.0
19.07/9.81
19.07/9.83 num=137, depth=49..64, filters=1182446, revisions=(4077795,useless=3210090), ccks=1520855, wck=6.529, mem=210M651
19.07/9.83 decisions=25299, wrong=8024, backtracks=1900, failedAssignments=6289, nogoods=1581, foundSolutions=13, bestBound=6
19.07/9.83 nFilterCalls=603237, avgTableProportion=0.75, avgTableSize=3.0
19.07/9.83
19.07/9.85 num=138, depth=45..90, filters=1187463, revisions=(4098388,useless=3226832), ccks=1527322, wck=6.551, mem=210M651
19.07/9.85 decisions=25488, wrong=8075, backtracks=1910, failedAssignments=6330, nogoods=1605, foundSolutions=13, bestBound=6
19.07/9.85 nFilterCalls=605435, avgTableProportion=0.75, avgTableSize=3.0
19.07/9.85
19.07/9.87 num=139, depth=50..103, filters=1191905, revisions=(4118834,useless=3243993), ccks=1533155, wck=6.574, mem=210M651
19.07/9.87 decisions=25682, wrong=8124, backtracks=1915, failedAssignments=6375, nogoods=1632, foundSolutions=13, bestBound=6
19.07/9.87 nFilterCalls=607464, avgTableProportion=0.75, avgTableSize=3.0
19.07/9.87
19.17/9.90 num=140, depth=50..114, filters=1197558, revisions=(4144798,useless=3265766), ccks=1539937, wck=6.601, mem=210M651
19.17/9.90 decisions=25910, wrong=8185, backtracks=1929, failedAssignments=6425, nogoods=1667, foundSolutions=13, bestBound=6
19.17/9.90 nFilterCalls=609996, avgTableProportion=0.75, avgTableSize=3.0
19.17/9.90
19.17/9.93 num=141, depth=50..112, filters=1202597, revisions=(4167206,useless=3284394), ccks=1545981, wck=6.627, mem=210M651
19.17/9.93 decisions=26142, wrong=8249, backtracks=1939, failedAssignments=6480, nogoods=1699, foundSolutions=13, bestBound=6
19.17/9.93 nFilterCalls=612267, avgTableProportion=0.75, avgTableSize=3.0
19.17/9.93
19.17/9.95 num=142, depth=67..100, filters=1209432, revisions=(4194092,useless=3306061), ccks=1553757, wck=6.655, mem=210M651
19.17/9.95 decisions=26388, wrong=8327, backtracks=1959, failedAssignments=6541, nogoods=1725, foundSolutions=13, bestBound=6
19.17/9.95 nFilterCalls=615181, avgTableProportion=0.75, avgTableSize=3.0
19.17/9.95
19.17/10.00 o 5
19.38/10.12 num=143, depth=96..2759, filters=1213246, revisions=(4218671,useless=3327668), ccks=1562032, wck=6.82, mem=213M283
19.38/10.12 decisions=26542, wrong=8342, backtracks=1959, failedAssignments=6556, nogoods=1740, foundSolutions=14, bestBound=5
19.38/10.12 nFilterCalls=619778, avgTableProportion=0.75, avgTableSize=3.0
19.38/10.12
19.38/10.17 num=144, depth=44..54, filters=1220754, revisions=(4242286,useless=3345668), ccks=1570276, wck=6.868, mem=213M283
19.38/10.17 decisions=26762, wrong=8428, backtracks=1971, failedAssignments=6630, nogoods=1744, foundSolutions=14, bestBound=5
19.38/10.17 nFilterCalls=623711, avgTableProportion=0.75, avgTableSize=3.0
19.38/10.17
19.38/10.18 num=145, depth=41..49, filters=1222404, revisions=(4248470,useless=3350613), ccks=1572408, wck=6.877, mem=213M283
19.38/10.18 decisions=26837, wrong=8443, backtracks=1975, failedAssignments=6641, nogoods=1750, foundSolutions=14, bestBound=5
19.38/10.18 nFilterCalls=624497, avgTableProportion=0.75, avgTableSize=3.0
19.38/10.18
19.38/10.19 num=146, depth=44..47, filters=1223888, revisions=(4254964,useless=3356018), ccks=1574380, wck=6.886, mem=213M283
19.38/10.19 decisions=26908, wrong=8455, backtracks=1975, failedAssignments=6653, nogoods=1762, foundSolutions=14, bestBound=5
19.38/10.19 nFilterCalls=625228, avgTableProportion=0.75, avgTableSize=3.0
19.38/10.19
19.38/10.20 num=147, depth=47..52, filters=1225546, revisions=(4262629,useless=3362445), ccks=1576567, wck=6.895, mem=213M283
19.38/10.20 decisions=26986, wrong=8468, backtracks=1975, failedAssignments=6666, nogoods=1775, foundSolutions=14, bestBound=5
19.38/10.20 nFilterCalls=626050, avgTableProportion=0.75, avgTableSize=3.0
19.38/10.20
19.47/10.21 num=148, depth=44..51, filters=1227614, revisions=(4271665,useless=3369987), ccks=1579232, wck=6.906, mem=213M283
19.47/10.21 decisions=27066, wrong=8483, backtracks=1976, failedAssignments=6680, nogoods=1788, foundSolutions=14, bestBound=5
19.47/10.21 nFilterCalls=627059, avgTableProportion=0.75, avgTableSize=3.0
19.47/10.21
19.47/10.22 num=149, depth=41..47, filters=1231065, revisions=(4283373,useless=3379177), ccks=1583193, wck=6.918, mem=213M283
19.47/10.22 decisions=27157, wrong=8507, backtracks=1984, failedAssignments=6696, nogoods=1795, foundSolutions=14, bestBound=5
19.47/10.22 nFilterCalls=628701, avgTableProportion=0.75, avgTableSize=3.0
19.47/10.22
19.47/10.23 num=150, depth=41..48, filters=1235832, revisions=(4297153,useless=3389299), ccks=1589077, wck=6.933, mem=213M283
19.47/10.23 decisions=27261, wrong=8538, backtracks=1998, failedAssignments=6713, nogoods=1802, foundSolutions=14, bestBound=5
19.47/10.23 nFilterCalls=630785, avgTableProportion=0.75, avgTableSize=3.0
19.47/10.23
19.47/10.24 num=151, depth=40..45, filters=1238497, revisions=(4306399,useless=3396608), ccks=1592119, wck=6.944, mem=213M283
19.47/10.24 decisions=27352, wrong=8562, backtracks=2003, failedAssignments=6732, nogoods=1812, foundSolutions=14, bestBound=5
19.47/10.24 nFilterCalls=631970, avgTableProportion=0.75, avgTableSize=3.0
19.47/10.24
19.47/10.26 num=152, depth=38..50, filters=1242861, revisions=(4319018,useless=3406065), ccks=1597067, wck=6.958, mem=213M283
19.47/10.26 decisions=27466, wrong=8599, backtracks=2019, failedAssignments=6753, nogoods=1815, foundSolutions=14, bestBound=5
19.47/10.26 nFilterCalls=633899, avgTableProportion=0.75, avgTableSize=3.0
19.47/10.26
19.47/10.27 num=153, depth=41..47, filters=1245691, revisions=(4327363,useless=3412567), ccks=1600044, wck=6.969, mem=213M283
19.47/10.27 decisions=27566, wrong=8628, backtracks=2025, failedAssignments=6776, nogoods=1822, foundSolutions=14, bestBound=5
19.47/10.27 nFilterCalls=635094, avgTableProportion=0.75, avgTableSize=3.0
19.47/10.27
19.47/10.28 num=154, depth=42..49, filters=1248604, revisions=(4337096,useless=3420261), ccks=1603209, wck=6.981, mem=213M283
19.47/10.28 decisions=27676, wrong=8662, backtracks=2035, failedAssignments=6801, nogoods=1824, foundSolutions=14, bestBound=5
19.47/10.28 nFilterCalls=636362, avgTableProportion=0.75, avgTableSize=3.0
19.47/10.28
19.47/10.29 num=155, depth=42..49, filters=1251218, revisions=(4347234,useless=3428511), ccks=1606420, wck=6.993, mem=213M283
19.47/10.29 decisions=27792, wrong=8696, backtracks=2041, failedAssignments=6829, nogoods=1826, foundSolutions=14, bestBound=5
19.47/10.29 nFilterCalls=637492, avgTableProportion=0.75, avgTableSize=3.0
19.47/10.29
19.57/10.31 num=156, depth=43..51, filters=1254019, revisions=(4357127,useless=3436399), ccks=1609356, wck=7.006, mem=213M283
19.57/10.31 decisions=27913, wrong=8735, backtracks=2049, failedAssignments=6860, nogoods=1827, foundSolutions=14, bestBound=5
19.57/10.31 nFilterCalls=638648, avgTableProportion=0.75, avgTableSize=3.0
19.57/10.31
19.57/10.32 num=157, depth=46..55, filters=1259890, revisions=(4374476,useless=3449402), ccks=1616221, wck=7.025, mem=213M283
19.57/10.32 decisions=28052, wrong=8780, backtracks=2060, failedAssignments=6894, nogoods=1830, foundSolutions=14, bestBound=5
19.57/10.32 nFilterCalls=641278, avgTableProportion=0.75, avgTableSize=3.0
19.57/10.32
19.57/10.34 num=158, depth=38..44, filters=1265584, revisions=(4388373,useless=3459624), ccks=1621291, wck=7.041, mem=213M283
19.57/10.34 decisions=28189, wrong=8829, backtracks=2072, failedAssignments=6931, nogoods=1845, foundSolutions=14, bestBound=5
19.57/10.34 nFilterCalls=643627, avgTableProportion=0.75, avgTableSize=3.0
19.57/10.34
19.57/10.36 num=159, depth=44..50, filters=1271599, revisions=(4408110,useless=3475013), ccks=1628122, wck=7.061, mem=213M283
19.57/10.36 decisions=28336, wrong=8879, backtracks=2081, failedAssignments=6972, nogoods=1852, foundSolutions=14, bestBound=5
19.57/10.36 nFilterCalls=646355, avgTableProportion=0.75, avgTableSize=3.0
19.57/10.36
19.57/10.38 num=160, depth=34..44, filters=1278398, revisions=(4426852,useless=3488591), ccks=1635275, wck=7.081, mem=213M283
19.57/10.38 decisions=28506, wrong=8946, backtracks=2103, failedAssignments=7017, nogoods=1866, foundSolutions=14, bestBound=5
19.57/10.38 nFilterCalls=649155, avgTableProportion=0.75, avgTableSize=3.0
19.57/10.38
19.67/10.40 num=161, depth=41..52, filters=1284965, revisions=(4443773,useless=3500655), ccks=1641834, wck=7.102, mem=213M283
19.67/10.40 decisions=28679, wrong=9012, backtracks=2120, failedAssignments=7067, nogoods=1882, foundSolutions=14, bestBound=5
19.67/10.40 nFilterCalls=651741, avgTableProportion=0.75, avgTableSize=3.0
19.67/10.40
19.67/10.43 num=162, depth=36..49, filters=1295898, revisions=(4469011,useless=3517272), ccks=1653206, wck=7.13, mem=213M283
19.67/10.43 decisions=28869, wrong=9088, backtracks=2141, failedAssignments=7122, nogoods=1912, foundSolutions=14, bestBound=5
19.67/10.43 nFilterCalls=656171, avgTableProportion=0.75, avgTableSize=3.0
19.67/10.43
19.67/10.46 num=163, depth=38..51, filters=1308134, revisions=(4498754,useless=3538122), ccks=1667777, wck=7.161, mem=215M914
19.67/10.46 decisions=29075, wrong=9170, backtracks=2164, failedAssignments=7183, nogoods=1938, foundSolutions=14, bestBound=5
19.67/10.46 nFilterCalls=661837, avgTableProportion=0.75, avgTableSize=3.0
19.67/10.46
19.77/10.51 num=164, depth=34..50, filters=1327802, revisions=(4554425,useless=3579059), ccks=1691149, wck=7.207, mem=215M914
19.77/10.51 decisions=29319, wrong=9275, backtracks=2206, failedAssignments=7250, nogoods=1951, foundSolutions=14, bestBound=5
19.77/10.51 nFilterCalls=671380, avgTableProportion=0.75, avgTableSize=3.0
19.77/10.51
19.77/10.54 num=165, depth=34..41, filters=1343700, revisions=(4586201,useless=3600144), ccks=1707068, wck=7.242, mem=215M914
19.77/10.54 decisions=29532, wrong=9364, backtracks=2221, failedAssignments=7324, nogoods=1962, foundSolutions=14, bestBound=5
19.77/10.54 nFilterCalls=678298, avgTableProportion=0.75, avgTableSize=3.0
19.77/10.54
19.77/10.57 num=166, depth=28..37, filters=1355695, revisions=(4615034,useless=3620785), ccks=1719069, wck=7.273, mem=215M914
19.77/10.57 decisions=29771, wrong=9469, backtracks=2248, failedAssignments=7405, nogoods=1974, foundSolutions=14, bestBound=5
19.77/10.57 nFilterCalls=683276, avgTableProportion=0.75, avgTableSize=3.0
19.77/10.57
19.88/10.61 num=167, depth=32..38, filters=1369472, revisions=(4649214,useless=3644750), ccks=1735256, wck=7.308, mem=215M914
19.88/10.61 decisions=30023, wrong=9579, backtracks=2269, failedAssignments=7494, nogoods=1982, foundSolutions=14, bestBound=5
19.88/10.61 nFilterCalls=689354, avgTableProportion=0.75, avgTableSize=3.0
19.88/10.61
19.88/10.64 num=168, depth=27..38, filters=1381504, revisions=(4685318,useless=3671540), ccks=1748802, wck=7.343, mem=215M914
19.88/10.64 decisions=30317, wrong=9708, backtracks=2300, failedAssignments=7592, nogoods=1990, foundSolutions=14, bestBound=5
19.88/10.64 nFilterCalls=694281, avgTableProportion=0.75, avgTableSize=3.0
19.88/10.64
19.88/10.68 num=169, depth=26..33, filters=1399839, revisions=(4726474,useless=3699399), ccks=1769425, wck=7.385, mem=215M914
19.88/10.68 decisions=30611, wrong=9842, backtracks=2327, failedAssignments=7700, nogoods=2004, foundSolutions=14, bestBound=5
19.88/10.68 nFilterCalls=702347, avgTableProportion=0.75, avgTableSize=3.0
19.88/10.68
19.98/10.74 num=170, depth=33..39, filters=1425627, revisions=(4784817,useless=3740179), ccks=1797744, wck=7.442, mem=215M914
19.98/10.74 decisions=30957, wrong=9998, backtracks=2369, failedAssignments=7819, nogoods=2028, foundSolutions=14, bestBound=5
19.98/10.74 nFilterCalls=714023, avgTableProportion=0.75, avgTableSize=3.0
19.98/10.74
20.08/10.80 num=171, depth=32..40, filters=1450149, revisions=(4843071,useless=3779950), ccks=1826384, wck=7.498, mem=215M914
20.08/10.80 decisions=31310, wrong=10157, backtracks=2399, failedAssignments=7950, nogoods=2051, foundSolutions=14, bestBound=5
20.08/10.80 nFilterCalls=724891, avgTableProportion=0.75, avgTableSize=3.0
20.08/10.80
20.08/10.87 num=172, depth=23..32, filters=1483886, revisions=(4920807,useless=3832780), ccks=1863912, wck=7.569, mem=218M546
20.08/10.87 decisions=31699, wrong=10338, backtracks=2439, failedAssignments=8094, nogoods=2068, foundSolutions=14, bestBound=5
20.08/10.87 nFilterCalls=739245, avgTableProportion=0.75, avgTableSize=3.0
20.08/10.87
20.18/10.94 num=173, depth=28..37, filters=1519203, revisions=(5002988,useless=3888807), ccks=1900335, wck=7.645, mem=218M546
20.18/10.94 decisions=32123, wrong=10536, backtracks=2482, failedAssignments=8252, nogoods=2076, foundSolutions=14, bestBound=5
20.18/10.94 nFilterCalls=754845, avgTableProportion=0.75, avgTableSize=3.0
20.18/10.94
20.29/11.01 num=174, depth=22..37, filters=1547659, revisions=(5071566,useless=3935603), ccks=1930814, wck=7.711, mem=218M546
20.29/11.01 decisions=32579, wrong=10751, backtracks=2524, failedAssignments=8426, nogoods=2103, foundSolutions=14, bestBound=5
20.29/11.01 nFilterCalls=766871, avgTableProportion=0.75, avgTableSize=3.0
20.29/11.01
20.39/11.11 num=175, depth=17..28, filters=1598351, revisions=(5178436,useless=4002305), ccks=1986042, wck=7.813, mem=218M546
20.39/11.11 decisions=33050, wrong=10977, backtracks=2560, failedAssignments=8617, nogoods=2121, foundSolutions=14, bestBound=5
20.39/11.11 nFilterCalls=787785, avgTableProportion=0.75, avgTableSize=3.0
20.39/11.11
20.39/11.18 num=176, depth=16..27, filters=1627609, revisions=(5253627,useless=4055006), ccks=2015131, wck=7.881, mem=221M178
20.39/11.18 decisions=33573, wrong=11229, backtracks=2604, failedAssignments=8828, nogoods=2160, foundSolutions=14, bestBound=5
20.39/11.18 nFilterCalls=799909, avgTableProportion=0.75, avgTableSize=3.0
20.39/11.18
20.48/11.24 num=177, depth=16..51, filters=1649080, revisions=(5302435,useless=4088373), ccks=2035616, wck=7.938, mem=221M178
20.48/11.24 decisions=34148, wrong=11495, backtracks=2638, failedAssignments=9060, nogoods=2202, foundSolutions=14, bestBound=5
20.48/11.24 nFilterCalls=807447, avgTableProportion=0.75, avgTableSize=3.0
20.48/11.24
20.58/11.32 num=178, depth=20..69, filters=1679659, revisions=(5380222,useless=4143442), ccks=2067579, wck=8.019, mem=221M178
20.58/11.32 decisions=34903, wrong=11846, backtracks=2751, failedAssignments=9315, nogoods=2233, foundSolutions=14, bestBound=5
20.58/11.32 nFilterCalls=819396, avgTableProportion=0.75, avgTableSize=3.0
20.58/11.32
20.68/11.41 num=179, depth=21..68, filters=1712927, revisions=(5479414,useless=4217721), ccks=2104808, wck=8.107, mem=221M178
20.68/11.41 decisions=35674, wrong=12204, backtracks=2841, failedAssignments=9596, nogoods=2255, foundSolutions=14, bestBound=5
20.68/11.41 nFilterCalls=833227, avgTableProportion=0.75, avgTableSize=3.0
20.68/11.41
20.78/11.52 num=180, depth=24..49, filters=1763112, revisions=(5602057,useless=4301589), ccks=2159267, wck=8.224, mem=221M178
20.78/11.52 decisions=36513, wrong=12603, backtracks=2937, failedAssignments=9905, nogoods=2285, foundSolutions=14, bestBound=5
20.78/11.52 nFilterCalls=854079, avgTableProportion=0.75, avgTableSize=3.0
20.78/11.52
20.88/11.66 num=181, depth=24..61, filters=1824902, revisions=(5736995,useless=4389850), ccks=2224557, wck=8.359, mem=223M810
20.88/11.66 decisions=37362, wrong=13005, backtracks=3005, failedAssignments=10245, nogoods=2301, foundSolutions=14, bestBound=5
20.88/11.66 nFilterCalls=880397, avgTableProportion=0.75, avgTableSize=3.0
20.88/11.66
20.98/11.78 num=182, depth=32..41, filters=1878555, revisions=(5861851,useless=4474588), ccks=2282409, wck=8.483, mem=223M810
20.98/11.78 decisions=38266, wrong=13440, backtracks=3071, failedAssignments=10619, nogoods=2320, foundSolutions=14, bestBound=5
20.98/11.78 nFilterCalls=903351, avgTableProportion=0.75, avgTableSize=3.0
20.98/11.78
21.18/11.93 num=183, depth=19..39, filters=1946381, revisions=(6008107,useless=4571619), ccks=2347459, wck=8.629, mem=223M810
21.18/11.93 decisions=39285, wrong=13939, backtracks=3160, failedAssignments=11030, nogoods=2340, foundSolutions=14, bestBound=5
21.18/11.93 nFilterCalls=931066, avgTableProportion=0.75, avgTableSize=3.0
21.18/11.93
21.29/12.05 num=184, depth=16..46, filters=1996491, revisions=(6116827,useless=4640345), ccks=2397730, wck=8.747, mem=226M442
21.29/12.05 decisions=40301, wrong=14438, backtracks=3212, failedAssignments=11482, nogoods=2365, foundSolutions=14, bestBound=5
21.29/12.05 nFilterCalls=950329, avgTableProportion=0.75, avgTableSize=3.0
21.29/12.05
21.54/12.20 num=185, depth=12..33, filters=2057068, revisions=(6258320,useless=4736928), ccks=2458267, wck=8.897, mem=226M442
21.54/12.20 decisions=41555, wrong=15056, backtracks=3338, failedAssignments=11979, nogoods=2391, foundSolutions=14, bestBound=5
21.54/12.20 nFilterCalls=973943, avgTableProportion=0.75, avgTableSize=3.0
21.54/12.20
21.74/12.40 num=186, depth=30..58, filters=2146650, revisions=(6481282,useless=4894885), ccks=2550224, wck=9.104, mem=226M442
21.74/12.40 decisions=43137, wrong=15830, backtracks=3609, failedAssignments=12526, nogoods=2402, foundSolutions=14, bestBound=5
21.74/12.40 nFilterCalls=1010770, avgTableProportion=0.75, avgTableSize=3.0
21.74/12.40
21.94/12.67 num=187, depth=20..38, filters=2279718, revisions=(6743327,useless=5061022), ccks=2678323, wck=9.369, mem=229M74
21.94/12.67 decisions=44566, wrong=16533, backtracks=3720, failedAssignments=13128, nogoods=2415, foundSolutions=14, bestBound=5
21.94/12.67 nFilterCalls=1067421, avgTableProportion=0.75, avgTableSize=3.0
21.94/12.67
22.25/12.93 num=188, depth=19..26, filters=2400597, revisions=(7026412,useless=5253545), ccks=2809026, wck=9.627, mem=231M706
22.25/12.93 decisions=46179, wrong=17329, backtracks=3858, failedAssignments=13790, nogoods=2457, foundSolutions=14, bestBound=5
22.25/12.93 nFilterCalls=1120906, avgTableProportion=0.75, avgTableSize=3.0
22.25/12.93
22.46/13.19 num=189, depth=7..23, filters=2531740, revisions=(7291616,useless=5432036), ccks=2924271, wck=9.89, mem=234M337
22.46/13.19 decisions=48025, wrong=18245, backtracks=4051, failedAssignments=14518, nogoods=2468, foundSolutions=14, bestBound=5
22.46/13.19 nFilterCalls=1175375, avgTableProportion=0.75, avgTableSize=3.0
22.46/13.19
22.75/13.47 num=190, depth=16..30, filters=2667340, revisions=(7570987,useless=5621007), ccks=3046986, wck=10.166, mem=234M337
22.75/13.47 decisions=50005, wrong=19221, backtracks=4232, failedAssignments=15319, nogoods=2491, foundSolutions=14, bestBound=5
22.75/13.47 nFilterCalls=1232744, avgTableProportion=0.75, avgTableSize=3.0
22.75/13.47
23.05/13.73 num=191, depth=14..39, filters=2790798, revisions=(7853549,useless=5811230), ccks=3164184, wck=10.434, mem=236M969
23.05/13.73 decisions=52127, wrong=20273, backtracks=4415, failedAssignments=16200, nogoods=2511, foundSolutions=14, bestBound=5
23.05/13.73 nFilterCalls=1280909, avgTableProportion=0.75, avgTableSize=3.0
23.05/13.73
23.46/14.16 num=192, depth=15..29, filters=2996370, revisions=(8349180,useless=6149235), ccks=3401996, wck=10.862, mem=239M601
23.46/14.16 decisions=54569, wrong=21484, backtracks=4665, failedAssignments=17170, nogoods=2527, foundSolutions=14, bestBound=5
23.46/14.16 nFilterCalls=1371851, avgTableProportion=0.75, avgTableSize=3.0
23.46/14.16
23.95/14.63 num=193, depth=12..27, filters=3230109, revisions=(8882922,useless=6518569), ccks=3640030, wck=11.332, mem=242M233
23.95/14.63 decisions=57350, wrong=22867, backtracks=5014, failedAssignments=18237, nogoods=2538, foundSolutions=14, bestBound=5
23.95/14.63 nFilterCalls=1472745, avgTableProportion=0.75, avgTableSize=3.0
23.95/14.63
24.36/15.06 num=194, depth=15..42, filters=3420623, revisions=(9332446,useless=6823332), ccks=3852318, wck=11.758, mem=247M497
24.36/15.06 decisions=60397, wrong=24377, backtracks=5388, failedAssignments=19410, nogoods=2576, foundSolutions=14, bestBound=5
24.36/15.06 nFilterCalls=1554397, avgTableProportion=0.75, avgTableSize=3.0
24.36/15.06
24.87/15.58 num=195, depth=23..40, filters=3695640, revisions=(9926063,useless=7227348), ccks=4122766, wck=12.284, mem=247M497
24.87/15.58 decisions=63673, wrong=26002, backtracks=5752, failedAssignments=20701, nogoods=2607, foundSolutions=14, bestBound=5
24.87/15.58 nFilterCalls=1675677, avgTableProportion=0.75, avgTableSize=3.0
24.87/15.58
25.27/15.96 num=196, depth=10..101, filters=3863259, revisions=(10355536,useless=7531585), ccks=4293094, wck=12.665, mem=247M497
25.27/15.96 decisions=67406, wrong=27822, backtracks=6228, failedAssignments=22121, nogoods=2683, foundSolutions=14, bestBound=5
25.27/15.96 nFilterCalls=1742157, avgTableProportion=0.75, avgTableSize=3.0
25.27/15.96
25.67/16.39 num=197, depth=18..109, filters=4040241, revisions=(10849897,useless=7895688), ccks=4480049, wck=13.085, mem=247M497
25.67/16.39 decisions=71694, wrong=29920, backtracks=6828, failedAssignments=23683, nogoods=2758, foundSolutions=14, bestBound=5
25.67/16.39 nFilterCalls=1815073, avgTableProportion=0.75, avgTableSize=3.0
25.67/16.39
26.17/16.87 num=198, depth=18..123, filters=4243837, revisions=(11418311,useless=8313098), ccks=4694714, wck=13.574, mem=247M497
26.17/16.87 decisions=76480, wrong=32259, backtracks=7551, failedAssignments=25401, nogoods=2824, foundSolutions=14, bestBound=5
26.17/16.87 nFilterCalls=1899134, avgTableProportion=0.75, avgTableSize=3.0
26.17/16.87
26.78/17.41 num=199, depth=18..89, filters=4483739, revisions=(12034676,useless=8753204), ccks=4947082, wck=14.113, mem=247M497
26.78/17.41 decisions=81571, wrong=34774, backtracks=8278, failedAssignments=27291, nogoods=2878, foundSolutions=14, bestBound=5
26.78/17.41 nFilterCalls=1997689, avgTableProportion=0.75, avgTableSize=3.0
26.78/17.41
27.39/18.03 num=200, depth=18..73, filters=4759734, revisions=(12759170,useless=9271796), ccks=5250631, wck=14.735, mem=247M497
27.39/18.03 decisions=86924, wrong=37426, backtracks=8908, failedAssignments=29370, nogoods=2929, foundSolutions=14, bestBound=5
27.39/18.03 nFilterCalls=2115628, avgTableProportion=0.75, avgTableSize=3.0
27.39/18.03
27.58/18.25 o 4
27.69/18.37 num=201, depth=21..2759, filters=4831629, revisions=(12966413,useless=9426755), ccks=5327054, wck=15.073, mem=247M497
27.69/18.37 decisions=89345, wrong=38585, backtracks=9144, failedAssignments=30317, nogoods=3018, foundSolutions=15, bestBound=4
27.69/18.37 nFilterCalls=2144771, avgTableProportion=0.75, avgTableSize=3.0
27.69/18.37
27.79/18.47 o 3
27.90/18.59 num=202, depth=23..2759, filters=4844428, revisions=(13016760,useless=9467792), ccks=5344637, wck=15.291, mem=250M129
27.90/18.59 decisions=89935, wrong=38813, backtracks=9196, failedAssignments=30493, nogoods=3091, foundSolutions=16, bestBound=3
27.90/18.59 nFilterCalls=2153643, avgTableProportion=0.75, avgTableSize=3.0
27.90/18.59
28.00/18.62 num=203, depth=20..20, filters=4846365, revisions=(13020289,useless=9470114), ccks=5346086, wck=15.32, mem=250M129
28.00/18.62 decisions=89977, wrong=38824, backtracks=9196, failedAssignments=30504, nogoods=3102, foundSolutions=16, bestBound=3
28.00/18.62 nFilterCalls=2155233, avgTableProportion=0.75, avgTableSize=3.0
28.00/18.62
28.00/18.62 num=204, depth=0..0, filters=4848858, revisions=(13023661,useless=9471926), ccks=5348033, wck=15.324, mem=250M129
28.00/18.62 decisions=89999, wrong=38835, backtracks=9196, failedAssignments=30515, nogoods=3102, foundSolutions=16, bestBound=3
28.00/18.62 nFilterCalls=2156086, avgTableProportion=0.75, avgTableSize=3.0
28.00/18.62
28.00/18.63 num=205, depth=0..17, filters=4850339, revisions=(13028279,useless=9475490), ccks=5349636, wck=15.329, mem=250M129
28.00/18.63 decisions=90040, wrong=38847, backtracks=9196, failedAssignments=30527, nogoods=3112, foundSolutions=16, bestBound=3
28.00/18.63 nFilterCalls=2156668, avgTableProportion=0.75, avgTableSize=3.0
28.00/18.63
28.00/18.64 num=206, depth=4..4, filters=4854480, revisions=(13035122,useless=9479120), ccks=5354482, wck=15.337, mem=250M129
28.00/18.64 decisions=90070, wrong=38860, backtracks=9196, failedAssignments=30540, nogoods=3125, foundSolutions=16, bestBound=3
28.00/18.64 nFilterCalls=2158404, avgTableProportion=0.75, avgTableSize=3.0
28.00/18.64
28.00/18.64 num=207, depth=13..17, filters=4856116, revisions=(13040320,useless=9483053), ccks=5356755, wck=15.342, mem=250M129
28.00/18.64 decisions=90119, wrong=38878, backtracks=9200, failedAssignments=30554, nogoods=3128, foundSolutions=16, bestBound=3
28.00/18.64 nFilterCalls=2159069, avgTableProportion=0.75, avgTableSize=3.0
28.00/18.64
28.00/18.65 num=208, depth=2..4, filters=4858875, revisions=(13046911,useless=9487507), ccks=5359957, wck=15.348, mem=250M129
28.00/18.65 decisions=90157, wrong=38896, backtracks=9202, failedAssignments=30570, nogoods=3141, foundSolutions=16, bestBound=3
28.00/18.65 nFilterCalls=2160233, avgTableProportion=0.75, avgTableSize=3.0
28.00/18.65
28.00/18.65 num=209, depth=13..16, filters=4860707, revisions=(13054070,useless=9493239), ccks=5362452, wck=15.354, mem=250M129
28.00/18.65 decisions=90210, wrong=38916, backtracks=9205, failedAssignments=30587, nogoods=3150, foundSolutions=16, bestBound=3
28.00/18.65 nFilterCalls=2161038, avgTableProportion=0.75, avgTableSize=3.0
28.00/18.65
28.00/18.66 num=210, depth=1..4, filters=4863592, revisions=(13060903,useless=9498020), ccks=5365182, wck=15.361, mem=250M129
28.00/18.66 decisions=90253, wrong=38936, backtracks=9206, failedAssignments=30606, nogoods=3169, foundSolutions=16, bestBound=3
28.00/18.66 nFilterCalls=2162102, avgTableProportion=0.75, avgTableSize=3.0
28.00/18.66
28.00/18.67 num=211, depth=10..13, filters=4867032, revisions=(13069659,useless=9504172), ccks=5369105, wck=15.369, mem=250M129
28.00/18.67 decisions=90311, wrong=38960, backtracks=9209, failedAssignments=30627, nogoods=3187, foundSolutions=16, bestBound=3
28.00/18.67 nFilterCalls=2163402, avgTableProportion=0.75, avgTableSize=3.0
28.00/18.67
28.00/18.68 num=212, depth=0..3, filters=4871339, revisions=(13078539,useless=9509777), ccks=5374089, wck=15.377, mem=250M129
28.00/18.68 decisions=90364, wrong=38986, backtracks=9212, failedAssignments=30650, nogoods=3195, foundSolutions=16, bestBound=3
28.00/18.68 nFilterCalls=2165148, avgTableProportion=0.75, avgTableSize=3.0
28.00/18.68
28.00/18.68 num=213, depth=7..10, filters=4873922, revisions=(13085432,useless=9514782), ccks=5377012, wck=15.383, mem=250M129
28.00/18.68 decisions=90427, wrong=39014, backtracks=9215, failedAssignments=30675, nogoods=3197, foundSolutions=16, bestBound=3
28.00/18.68 nFilterCalls=2166130, avgTableProportion=0.75, avgTableSize=3.0
28.00/18.68
28.00/18.70 num=214, depth=2..4, filters=4880455, revisions=(13098070,useless=9522385), ccks=5383904, wck=15.396, mem=250M129
28.00/18.70 decisions=90489, wrong=39044, backtracks=9217, failedAssignments=30703, nogoods=3211, foundSolutions=16, bestBound=3
28.00/18.70 nFilterCalls=2168805, avgTableProportion=0.75, avgTableSize=3.0
28.00/18.70
28.10/18.70 num=215, depth=3..9, filters=4883564, revisions=(13107677,useless=9529643), ccks=5387802, wck=15.404, mem=250M129
28.10/18.70 decisions=90566, wrong=39081, backtracks=9223, failedAssignments=30734, nogoods=3216, foundSolutions=16, bestBound=3
28.10/18.70 nFilterCalls=2170011, avgTableProportion=0.75, avgTableSize=3.0
28.10/18.70
28.10/18.71 num=216, depth=0..3, filters=4889008, revisions=(13119107,useless=9536646), ccks=5393279, wck=15.415, mem=250M129
28.10/18.71 decisions=90641, wrong=39118, backtracks=9227, failedAssignments=30768, nogoods=3236, foundSolutions=16, bestBound=3
28.10/18.71 nFilterCalls=2172301, avgTableProportion=0.75, avgTableSize=3.0
28.10/18.71
28.10/18.72 num=217, depth=1..4, filters=4892106, revisions=(13127754,useless=9542925), ccks=5396867, wck=15.423, mem=250M129
28.10/18.72 decisions=90722, wrong=39158, backtracks=9230, failedAssignments=30805, nogoods=3244, foundSolutions=16, bestBound=3
28.10/18.72 nFilterCalls=2173437, avgTableProportion=0.75, avgTableSize=3.0
28.10/18.72
28.10/18.74 num=218, depth=0..4, filters=4899733, revisions=(13143447,useless=9552798), ccks=5405355, wck=15.438, mem=250M129
28.10/18.74 decisions=90814, wrong=39204, backtracks=9235, failedAssignments=30846, nogoods=3244, foundSolutions=16, bestBound=3
28.10/18.74 nFilterCalls=2176548, avgTableProportion=0.75, avgTableSize=3.0
28.10/18.74
28.10/18.75 num=219, depth=0..16, filters=4904986, revisions=(13154925,useless=9560470), ccks=5410171, wck=15.45, mem=250M129
28.10/18.75 decisions=90927, wrong=39256, backtracks=9242, failedAssignments=30891, nogoods=3245, foundSolutions=16, bestBound=3
28.10/18.75 nFilterCalls=2178366, avgTableProportion=0.75, avgTableSize=3.0
28.10/18.75
28.10/18.77
28.10/18.77 New Bounds: 3..2
28.10/18.77 num=220, depth=0..1, filters=4915781, revisions=(13172787,useless=9570849), ccks=5420322, wck=15.469, mem=250M129
28.10/18.77 decisions=91023, wrong=39305, backtracks=9245, failedAssignments=30937, foundSolutions=16, bestBound=3
28.10/18.77 nFilterCalls=2182413, avgTableProportion=0.75, avgTableSize=3.0
28.10/18.77
28.10/18.77 Global
28.10/18.77 filters=4915781, revisions=(13172787,useless=9570849), ccks=5420322
28.10/18.77 Stop=FULL_EXPLORATION, wrong=39305, bestBound=3, bestBoundWck=16.607, bestBoundCpu=18.322, foundSolutions=16, firstSolCpu=3.324
28.10/18.77 wck=16.908, cpu=18.622, mem=250M129
28.10/18.77
28.10/18.77 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.10/18.77 s OPTIMUM FOUND
28.10/18.77
28.10/18.77 d WRONG_DECISIONS 39305
28.10/18.77 d NUMBER_SOLUTIONS 16