2.89/2.11
2.89/2.11 AbsCon 2
2.89/2.13
3.43/2.38 Instance
3.43/2.38 name=instance-4391307-1568389862, framework=COP, bounds=-infty..+infty
3.43/2.38
3.43/2.38 Loading variables...
3.79/2.46 Loading constraints...[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2525668d
4.53/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23ef8493
4.53/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2729f6c0
4.53/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7af3ffd4
4.53/2.69 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@650c29ff
4.53/2.69 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1cf8ec94
4.53/2.69 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4f9865d9
4.53/2.69 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@683a6ae9
4.53/2.69 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@509fd21c
4.53/2.69 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3508d59d
4.53/2.69 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@69e97635
4.53/2.69 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@60c68124
4.53/2.69 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@47ee03d4
4.53/2.69 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@8a81266
4.87/2.70 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ef6e0ce
4.87/2.70 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@71ca3659
4.87/2.70 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7cd2e95e
4.87/2.70 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2c0271ba
4.87/2.70 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2e0e0c18
4.87/2.70 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4a0b1125
4.87/2.70 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3d40f1bb
4.87/2.70 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@34b11c4
4.87/2.70 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5855b63d
4.87/2.70 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4f9b7711
4.87/2.70 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4aaf108b
4.87/2.70 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@662e64a6
4.87/2.70 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1eab9dec
4.87/2.70 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@34a39299
4.87/2.70 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d716078
4.87/2.70 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2ad64ab9
4.87/2.70 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5de05d36
4.87/2.70 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ec01a76
4.87/2.77
4.87/2.77
4.87/2.77 Domains
4.87/2.77 nTypes=65, nValues=2770, sizes=[2#562,3#2,4#1,5#2...59#1,61#1,63#1,65#1]
4.87/2.77 Variables
4.87/2.77 count=625, degrees=[2#592,32#33]
4.87/2.77 Objectives
4.87/2.77 way=min, type=SumSimpleLE
4.87/2.77 Constraints
4.87/2.77 count=593, nSpecific=33, arities=[2#33,3#529,4#1,5#1...30#1,31#1,32#2,33#1]
4.87/2.77 distribution=[CtrIntension#560,SumSimpleLE#1,SumWeightedEQ#32]
4.87/2.77 nIntStructures=(33,shared:527), nCftStructures=(33,shared:527,unbuilt:33)
4.87/2.77 wck=0.687, cpu=2.73, mem=58M222
4.87/2.78 Solver SolverBacktrack being built...
4.87/2.78
5.22/2.81
5.22/2.81 Solver
5.22/2.81 guaranteedGAC=false
5.22/2.81 wck=0.73, cpu=2.771, mem=71M506
5.22/2.82
5.22/2.82 Preprocessing
5.22/2.82 filters=0, ccks=24504, nACremovedValues=0, nTotalRemovedValues=0, inconcistency=false
5.22/2.82 wck=0.013, cpu=2.786, mem=71M506
5.22/2.82
5.22/2.88 o 11440
5.22/2.89 num=0, depth=626..624, filters=1328, revisions=(2144,useless=1344), ccks=50089, wck=0.072, mem=71M506
5.22/2.89 decisions=33, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=1, bestBound=11440
5.22/2.89
5.57/2.90 o 9456
5.57/2.91 num=1, depth=0..624, filters=2632, revisions=(4335,useless=2744), ccks=57349, wck=0.094, mem=71M506
5.57/2.91 decisions=68, wrong=1, backtracks=0, failedAssignments=1, foundSolutions=2, bestBound=9456
5.57/2.91
5.57/2.92 o 7720
5.57/2.92 num=2, depth=32..624, filters=4002, revisions=(6671,useless=4239), ccks=65180, wck=0.114, mem=74M158
5.57/2.92 decisions=102, wrong=2, backtracks=0, failedAssignments=2, nogoods=1, foundSolutions=3, bestBound=7720
5.57/2.92
5.57/2.93 num=3, depth=25..34, filters=4088, revisions=(7631,useless=5138), ccks=67957, wck=0.122, mem=74M158
5.57/2.93 decisions=170, wrong=24, backtracks=11, failedAssignments=13, nogoods=2, foundSolutions=3, bestBound=7720
5.57/2.93
5.57/2.94 num=4, depth=32..36, filters=4284, revisions=(9720,useless=7068), ccks=72147, wck=0.129, mem=74M158
5.57/2.94 decisions=244, wrong=45, backtracks=26, failedAssignments=24, nogoods=4, foundSolutions=3, bestBound=7720
5.57/2.94
5.57/2.95 num=5, depth=34..39, filters=5104, revisions=(18626,useless=15232), ccks=85029, wck=0.143, mem=74M158
5.57/2.95 decisions=326, wrong=69, backtracks=38, failedAssignments=36, nogoods=6, foundSolutions=3, bestBound=7720
5.57/2.95
5.57/2.96 num=6, depth=12..39, filters=6017, revisions=(22226,useless=18066), ccks=91895, wck=0.151, mem=74M158
5.57/2.96 decisions=403, wrong=94, backtracks=50, failedAssignments=49, nogoods=8, foundSolutions=3, bestBound=7720
5.57/2.96
5.57/2.97 num=7, depth=29..41, filters=7434, revisions=(26163,useless=20806), ccks=100037, wck=0.161, mem=74M158
5.57/2.97 decisions=484, wrong=120, backtracks=62, failedAssignments=63, nogoods=9, foundSolutions=3, bestBound=7720
5.57/2.97
5.57/2.98 o 3864
5.57/2.99 num=8, depth=626..624, filters=8596, revisions=(30113,useless=24010), ccks=110324, wck=0.175, mem=74M158
5.57/2.99 decisions=518, wrong=120, backtracks=62, failedAssignments=63, nogoods=9, foundSolutions=4, bestBound=3864
5.57/2.99
5.57/3.00 o 3204
5.92/3.01 num=9, depth=34..624, filters=9830, revisions=(34159,useless=27259), ccks=117724, wck=0.192, mem=74M158
5.92/3.01 decisions=553, wrong=121, backtracks=62, failedAssignments=64, nogoods=10, foundSolutions=5, bestBound=3204
5.92/3.01
5.92/3.01 num=10, depth=6..11, filters=10477, revisions=(41253,useless=33848), ccks=126706, wck=0.203, mem=74M158
5.92/3.01 decisions=601, wrong=142, backtracks=77, failedAssignments=75, nogoods=12, foundSolutions=5, bestBound=3204
5.92/3.01
5.92/3.03 o 984
5.92/3.03 num=11, depth=626..624, filters=11647, revisions=(44969,useless=36801), ccks=140625, wck=0.217, mem=76M800
5.92/3.03 decisions=633, wrong=142, backtracks=77, failedAssignments=75, nogoods=12, foundSolutions=6, bestBound=984
5.92/3.03
5.92/3.04 o 952
5.92/3.04 num=12, depth=32..624, filters=12888, revisions=(48768,useless=39788), ccks=150764, wck=0.234, mem=76M800
5.92/3.04 decisions=666, wrong=143, backtracks=77, failedAssignments=76, nogoods=13, foundSolutions=7, bestBound=952
5.92/3.04
5.92/3.06 num=13, depth=5..35, filters=14784, revisions=(52830,useless=42516), ccks=167085, wck=0.251, mem=76M800
5.92/3.06 decisions=728, wrong=160, backtracks=88, failedAssignments=87, nogoods=17, foundSolutions=7, bestBound=952
5.92/3.06
5.92/3.07 o 888
5.92/3.07 num=14, depth=626..624, filters=15901, revisions=(56452,useless=45408), ccks=181635, wck=0.264, mem=76M800
5.92/3.07 decisions=760, wrong=160, backtracks=88, failedAssignments=87, nogoods=17, foundSolutions=8, bestBound=888
5.92/3.07
5.92/3.09 num=15, depth=32..35, filters=17612, revisions=(59663,useless=47414), ccks=191190, wck=0.277, mem=76M800
5.92/3.09 decisions=821, wrong=174, backtracks=90, failedAssignments=99, nogoods=26, foundSolutions=8, bestBound=888
5.92/3.09
5.92/3.10 num=16, depth=24..32, filters=20227, revisions=(64254,useless=50118), ccks=208065, wck=0.289, mem=76M800
5.92/3.10 decisions=894, wrong=197, backtracks=109, failedAssignments=110, nogoods=32, foundSolutions=8, bestBound=888
5.92/3.10
5.92/3.11 o 784
6.24/3.11 num=17, depth=27..624, filters=21574, revisions=(68048,useless=53019), ccks=217154, wck=0.298, mem=76M800
6.24/3.11 decisions=927, wrong=200, backtracks=110, failedAssignments=112, nogoods=34, foundSolutions=9, bestBound=784
6.24/3.11
6.24/3.12 num=18, depth=28..34, filters=24664, revisions=(72986,useless=55765), ccks=234458, wck=0.312, mem=76M800
6.24/3.12 decisions=1001, wrong=222, backtracks=123, failedAssignments=125, nogoods=36, foundSolutions=9, bestBound=784
6.24/3.12
6.24/3.13 o 716
6.24/3.13 num=19, depth=28..624, filters=26992, revisions=(77465,useless=58674), ccks=248414, wck=0.324, mem=79M443
6.24/3.13 decisions=1051, wrong=232, backtracks=129, failedAssignments=130, nogoods=39, foundSolutions=10, bestBound=716
6.24/3.13
6.24/3.15 o 712
6.24/3.15 num=20, depth=29..624, filters=29103, revisions=(81872,useless=61592), ccks=260466, wck=0.339, mem=79M443
6.24/3.15 decisions=1103, wrong=243, backtracks=133, failedAssignments=139, nogoods=44, foundSolutions=11, bestBound=712
6.24/3.15
6.24/3.17 o 700
6.24/3.17 num=21, depth=31..624, filters=30768, revisions=(85585,useless=64192), ccks=272747, wck=0.359, mem=79M443
6.24/3.17 decisions=1148, wrong=249, backtracks=135, failedAssignments=143, nogoods=47, foundSolutions=12, bestBound=700
6.24/3.17
6.24/3.19 num=22, depth=29..32, filters=32928, revisions=(89085,useless=66200), ccks=287277, wck=0.377, mem=79M443
6.24/3.19 decisions=1207, wrong=263, backtracks=141, failedAssignments=154, nogoods=55, foundSolutions=12, bestBound=700
6.24/3.19
6.24/3.19 num=23, depth=28..31, filters=34888, revisions=(92515,useless=68233), ccks=298973, wck=0.384, mem=79M443
6.24/3.19 decisions=1269, wrong=279, backtracks=149, failedAssignments=165, nogoods=63, foundSolutions=12, bestBound=700
6.24/3.19
6.52/3.20 o 680
6.52/3.20 num=24, depth=30..624, filters=36828, revisions=(96735,useless=71117), ccks=311216, wck=0.392, mem=79M443
6.52/3.20 decisions=1324, wrong=291, backtracks=155, failedAssignments=172, nogoods=65, foundSolutions=13, bestBound=680
6.52/3.20
6.52/3.21 num=25, depth=29..34, filters=39396, revisions=(100973,useless=73539), ccks=325362, wck=0.403, mem=82M85
6.52/3.21 decisions=1392, wrong=311, backtracks=168, failedAssignments=185, nogoods=66, foundSolutions=13, bestBound=680
6.52/3.21
6.52/3.22 num=26, depth=29..34, filters=42285, revisions=(105427,useless=75900), ccks=340592, wck=0.412, mem=82M85
6.52/3.22 decisions=1458, wrong=329, backtracks=178, failedAssignments=196, nogoods=70, foundSolutions=13, bestBound=680
6.52/3.22
6.52/3.23 num=27, depth=25..34, filters=45405, revisions=(110502,useless=78755), ccks=357191, wck=0.421, mem=82M85
6.52/3.23 decisions=1525, wrong=350, backtracks=196, failedAssignments=208, nogoods=72, foundSolutions=13, bestBound=680
6.52/3.23
6.52/3.24 o 596
6.52/3.24 num=28, depth=31..624, filters=46602, revisions=(113551,useless=81024), ccks=367915, wck=0.427, mem=82M85
6.52/3.24 decisions=1568, wrong=354, backtracks=196, failedAssignments=212, nogoods=76, foundSolutions=14, bestBound=596
6.52/3.24
6.52/3.25 o 484
6.52/3.25 num=29, depth=32..624, filters=48040, revisions=(116856,useless=83353), ccks=378056, wck=0.438, mem=82M85
6.52/3.25 decisions=1614, wrong=361, backtracks=198, failedAssignments=217, nogoods=79, foundSolutions=15, bestBound=484
6.52/3.25
6.52/3.26 num=30, depth=30..35, filters=50028, revisions=(120102,useless=85187), ccks=388810, wck=0.447, mem=82M85
6.52/3.26 decisions=1680, wrong=379, backtracks=206, failedAssignments=228, nogoods=81, foundSolutions=15, bestBound=484
6.52/3.26
6.52/3.26 o 480
6.52/3.26 num=31, depth=31..624, filters=51107, revisions=(122955,useless=87315), ccks=398606, wck=0.453, mem=82M85
6.52/3.26 decisions=1717, wrong=381, backtracks=206, failedAssignments=230, nogoods=83, foundSolutions=16, bestBound=480
6.52/3.26
6.52/3.27 num=32, depth=30..36, filters=53418, revisions=(126589,useless=89268), ccks=409090, wck=0.463, mem=82M85
6.52/3.27 decisions=1787, wrong=400, backtracks=216, failedAssignments=242, nogoods=87, foundSolutions=16, bestBound=480
6.52/3.27
6.52/3.28 num=33, depth=27..33, filters=55693, revisions=(130355,useless=91368), ccks=420627, wck=0.469, mem=84M727
6.52/3.28 decisions=1857, wrong=420, backtracks=229, failedAssignments=253, nogoods=91, foundSolutions=16, bestBound=480
6.52/3.28
6.52/3.28 num=34, depth=30..35, filters=57244, revisions=(133086,useless=93003), ccks=428986, wck=0.474, mem=84M727
6.52/3.28 decisions=1923, wrong=438, backtracks=238, failedAssignments=265, nogoods=92, foundSolutions=16, bestBound=480
6.52/3.28
6.52/3.29 num=35, depth=30..35, filters=59022, revisions=(136034,useless=94675), ccks=438590, wck=0.479, mem=84M727
6.52/3.29 decisions=1994, wrong=457, backtracks=247, failedAssignments=278, nogoods=95, foundSolutions=16, bestBound=480
6.52/3.29
6.52/3.30 num=36, depth=28..33, filters=61730, revisions=(140227,useless=96864), ccks=452366, wck=0.486, mem=84M727
6.52/3.30 decisions=2074, wrong=483, backtracks=262, failedAssignments=292, nogoods=98, foundSolutions=16, bestBound=480
6.52/3.30
6.76/3.30 o 396
6.76/3.30 num=37, depth=33..624, filters=63060, revisions=(143432,useless=99126), ccks=460092, wck=0.492, mem=84M727
6.76/3.30 decisions=2125, wrong=492, backtracks=265, failedAssignments=298, nogoods=101, foundSolutions=17, bestBound=396
6.76/3.30
6.76/3.31 o 356
6.76/3.31 num=38, depth=30..624, filters=65634, revisions=(148000,useless=101861), ccks=471759, wck=0.504, mem=84M727
6.76/3.31 decisions=2201, wrong=515, backtracks=278, failedAssignments=311, nogoods=104, foundSolutions=18, bestBound=356
6.76/3.31
6.76/3.33 num=39, depth=26..31, filters=69201, revisions=(153503,useless=104755), ccks=487833, wck=0.517, mem=84M727
6.76/3.33 decisions=2268, wrong=535, backtracks=290, failedAssignments=322, nogoods=106, foundSolutions=18, bestBound=356
6.76/3.33
6.76/3.33 num=40, depth=29..33, filters=71486, revisions=(157090,useless=106727), ccks=498686, wck=0.523, mem=84M727
6.76/3.33 decisions=2330, wrong=551, backtracks=296, failedAssignments=333, nogoods=110, foundSolutions=18, bestBound=356
6.76/3.33
6.76/3.34 num=41, depth=26..31, filters=74485, revisions=(162119,useless=109491), ccks=512353, wck=0.531, mem=84M727
6.76/3.34 decisions=2400, wrong=572, backtracks=314, failedAssignments=345, nogoods=113, foundSolutions=18, bestBound=356
6.76/3.34
6.76/3.35 o 244
6.76/3.35 num=42, depth=31..624, filters=76074, revisions=(165457,useless=111714), ccks=522179, wck=0.538, mem=87M370
6.76/3.35 decisions=2446, wrong=579, backtracks=317, failedAssignments=349, nogoods=114, foundSolutions=19, bestBound=244
6.76/3.35
6.76/3.36 o 192
6.76/3.36 num=43, depth=626..624, filters=77083, revisions=(168324,useless=113865), ccks=529508, wck=0.546, mem=87M370
6.76/3.36 decisions=2479, wrong=579, backtracks=317, failedAssignments=349, nogoods=114, foundSolutions=20, bestBound=192
6.76/3.36
6.76/3.36 num=44, depth=27..31, filters=78718, revisions=(171553,useless=115818), ccks=536859, wck=0.554, mem=87M370
6.76/3.36 decisions=2540, wrong=596, backtracks=326, failedAssignments=360, nogoods=117, foundSolutions=20, bestBound=192
6.76/3.36
6.76/3.37 num=45, depth=28..32, filters=81326, revisions=(175982,useless=118175), ccks=546774, wck=0.56, mem=87M370
6.76/3.37 decisions=2603, wrong=613, backtracks=334, failedAssignments=371, nogoods=121, foundSolutions=20, bestBound=192
6.76/3.37
6.76/3.38 num=46, depth=28..32, filters=83948, revisions=(180191,useless=120386), ccks=555889, wck=0.567, mem=87M370
6.76/3.38 decisions=2673, wrong=634, backtracks=348, failedAssignments=383, nogoods=123, foundSolutions=20, bestBound=192
6.76/3.38
6.76/3.38 num=47, depth=28..32, filters=86966, revisions=(185102,useless=122866), ccks=566937, wck=0.574, mem=87M370
6.76/3.38 decisions=2745, wrong=655, backtracks=357, failedAssignments=396, nogoods=126, foundSolutions=20, bestBound=192
6.76/3.38
6.93/3.40 num=48, depth=25..33, filters=92745, revisions=(193547,useless=127071), ccks=584288, wck=0.587, mem=87M370
6.93/3.40 decisions=2827, wrong=682, backtracks=378, failedAssignments=410, nogoods=129, foundSolutions=20, bestBound=192
6.93/3.40
6.93/3.41 num=49, depth=27..33, filters=96947, revisions=(199787,useless=129903), ccks=599344, wck=0.597, mem=87M370
6.93/3.41 decisions=2911, wrong=710, backtracks=397, failedAssignments=426, nogoods=131, foundSolutions=20, bestBound=192
6.93/3.41
6.93/3.42 num=50, depth=25..30, filters=101877, revisions=(206680,useless=133026), ccks=613270, wck=0.608, mem=90M12
6.93/3.42 decisions=2997, wrong=739, backtracks=418, failedAssignments=443, nogoods=139, foundSolutions=20, bestBound=192
6.93/3.42
6.93/3.43 num=51, depth=24..30, filters=107830, revisions=(214882,useless=136677), ccks=633316, wck=0.622, mem=90M12
6.93/3.43 decisions=3085, wrong=770, backtracks=445, failedAssignments=462, nogoods=141, foundSolutions=20, bestBound=192
6.93/3.43
6.93/3.44 num=52, depth=22..28, filters=112230, revisions=(221548,useless=139735), ccks=646714, wck=0.633, mem=90M12
6.93/3.44 decisions=3174, wrong=803, backtracks=468, failedAssignments=483, nogoods=151, foundSolutions=20, bestBound=192
6.93/3.44
6.93/3.46 num=53, depth=22..27, filters=117681, revisions=(229501,useless=143447), ccks=662613, wck=0.646, mem=90M12
6.93/3.46 decisions=3261, wrong=835, backtracks=495, failedAssignments=506, nogoods=156, foundSolutions=20, bestBound=192
6.93/3.46
6.93/3.47 num=54, depth=21..29, filters=122479, revisions=(236780,useless=146834), ccks=674690, wck=0.657, mem=90M12
6.93/3.47 decisions=3356, wrong=871, backtracks=518, failedAssignments=531, nogoods=162, foundSolutions=20, bestBound=192
6.93/3.47
6.93/3.48 num=55, depth=21..27, filters=128942, revisions=(246434,useless=151040), ccks=692374, wck=0.672, mem=92M655
6.93/3.48 decisions=3463, wrong=913, backtracks=544, failedAssignments=559, nogoods=165, foundSolutions=20, bestBound=192
6.93/3.48
6.93/3.49 num=56, depth=22..30, filters=134310, revisions=(254550,useless=154736), ccks=706857, wck=0.684, mem=92M655
6.93/3.49 decisions=3573, wrong=956, backtracks=572, failedAssignments=590, nogoods=168, foundSolutions=20, bestBound=192
6.93/3.49
7.08/3.51 num=57, depth=21..28, filters=142049, revisions=(265481,useless=159375), ccks=727382, wck=0.701, mem=92M655
7.08/3.51 decisions=3693, wrong=1004, backtracks=603, failedAssignments=624, nogoods=171, foundSolutions=20, bestBound=192
7.08/3.51
7.08/3.53 num=58, depth=23..29, filters=150089, revisions=(276743,useless=164259), ccks=750005, wck=0.719, mem=92M655
7.08/3.53 decisions=3818, wrong=1054, backtracks=641, failedAssignments=661, nogoods=180, foundSolutions=20, bestBound=192
7.08/3.53
7.08/3.55 num=59, depth=22..28, filters=158673, revisions=(288685,useless=169217), ccks=775719, wck=0.737, mem=92M655
7.08/3.55 decisions=3959, wrong=1113, backtracks=682, failedAssignments=702, nogoods=186, foundSolutions=20, bestBound=192
7.08/3.55
7.08/3.57 num=60, depth=23..30, filters=167472, revisions=(300911,useless=174260), ccks=804075, wck=0.757, mem=95M297
7.08/3.57 decisions=4113, wrong=1178, backtracks=730, failedAssignments=747, nogoods=191, foundSolutions=20, bestBound=192
7.08/3.57
7.18/3.60 num=61, depth=22..29, filters=182147, revisions=(319835,useless=181753), ccks=843453, wck=0.788, mem=95M297
7.18/3.60 decisions=4289, wrong=1254, backtracks=791, failedAssignments=797, nogoods=195, foundSolutions=20, bestBound=192
7.18/3.60
7.18/3.62 num=62, depth=22..30, filters=194202, revisions=(336633,useless=188729), ccks=877996, wck=0.813, mem=97M940
7.18/3.62 decisions=4469, wrong=1332, backtracks=848, failedAssignments=852, nogoods=200, foundSolutions=20, bestBound=192
7.18/3.62
7.18/3.65 num=63, depth=21..32, filters=204980, revisions=(352576,useless=196069), ccks=910677, wck=0.837, mem=97M940
7.18/3.65 decisions=4674, wrong=1423, backtracks=929, failedAssignments=913, nogoods=204, foundSolutions=20, bestBound=192
7.18/3.65
7.18/3.67 num=64, depth=22..30, filters=217895, revisions=(370721,useless=203545), ccks=949927, wck=0.864, mem=97M940
7.18/3.67 decisions=4880, wrong=1515, backtracks=998, failedAssignments=980, nogoods=209, foundSolutions=20, bestBound=192
7.18/3.67
7.18/3.69 num=65, depth=20..31, filters=226969, revisions=(384373,useless=210030), ccks=979839, wck=0.884, mem=100M582
7.18/3.69 decisions=5103, wrong=1615, backtracks=1078, failedAssignments=1054, nogoods=218, foundSolutions=20, bestBound=192
7.18/3.69
7.29/3.73 num=66, depth=21..28, filters=246335, revisions=(409987,useless=220036), ccks=1032597, wck=0.924, mem=100M582
7.29/3.73 decisions=5358, wrong=1731, backtracks=1171, failedAssignments=1135, nogoods=221, foundSolutions=20, bestBound=192
7.29/3.73
7.29/3.77 num=67, depth=20..34, filters=262546, revisions=(432050,useless=229868), ccks=1093708, wck=0.961, mem=103M225
7.29/3.77 decisions=5733, wrong=1906, backtracks=1328, failedAssignments=1224, nogoods=224, foundSolutions=20, bestBound=192
7.29/3.77
7.41/3.85 num=68, depth=22..31, filters=297159, revisions=(489158,useless=259867), ccks=1206542, wck=1.037, mem=105M867
7.41/3.85 decisions=6129, wrong=2092, backtracks=1479, failedAssignments=1322, nogoods=229, foundSolutions=20, bestBound=192
7.41/3.85
7.53/3.98 num=69, depth=21..32, filters=330320, revisions=(558389,useless=300147), ccks=1287487, wck=1.174, mem=108M509
7.53/3.98 decisions=6586, wrong=2309, backtracks=1645, failedAssignments=1430, nogoods=233, foundSolutions=20, bestBound=192
7.53/3.98
7.72/4.04 num=70, depth=23..32, filters=356043, revisions=(592067,useless=314077), ccks=1371498, wck=1.23, mem=108M509
7.72/4.04 decisions=6990, wrong=2499, backtracks=1801, failedAssignments=1549, nogoods=239, foundSolutions=20, bestBound=192
7.72/4.04
7.88/4.11 num=71, depth=22..32, filters=387227, revisions=(631442,useless=328870), ccks=1454967, wck=1.3, mem=111M152
7.88/4.11 decisions=7415, wrong=2699, backtracks=1955, failedAssignments=1680, nogoods=246, foundSolutions=20, bestBound=192
7.88/4.11
8.06/4.21 num=72, depth=18..32, filters=419619, revisions=(673955,useless=348484), ccks=1600218, wck=1.398, mem=113M794
8.06/4.21 decisions=8470, wrong=3216, backtracks=2432, failedAssignments=1824, nogoods=249, foundSolutions=20, bestBound=192
8.06/4.21
8.18/4.35 num=73, depth=20..32, filters=478224, revisions=(810034,useless=435069), ccks=1748666, wck=1.541, mem=119M79
8.18/4.35 decisions=8923, wrong=3431, backtracks=2629, failedAssignments=1982, nogoods=253, foundSolutions=20, bestBound=192
8.18/4.35
8.28/4.47 num=74, depth=21..33, filters=531707, revisions=(931156,useless=509896), ccks=1871335, wck=1.66, mem=121M722
8.28/4.47 decisions=9417, wrong=3667, backtracks=2826, failedAssignments=2156, nogoods=260, foundSolutions=20, bestBound=192
8.28/4.47
8.49/4.65 num=75, depth=21..33, filters=613797, revisions=(1087645,useless=600457), ccks=2090078, wck=1.841, mem=127M6
8.49/4.65 decisions=10109, wrong=4002, backtracks=3119, failedAssignments=2347, nogoods=269, foundSolutions=20, bestBound=192
8.49/4.65
8.60/4.79 num=76, depth=22..33, filters=676911, revisions=(1191476,useless=654518), ccks=2284921, wck=1.98, mem=129M649
8.60/4.79 decisions=10940, wrong=4405, backtracks=3460, failedAssignments=2558, nogoods=277, foundSolutions=20, bestBound=192
8.60/4.79
8.80/4.96 num=77, depth=22..32, filters=758219, revisions=(1313121,useless=713743), ccks=2529196, wck=2.145, mem=134M934
8.80/4.96 decisions=11829, wrong=4837, backtracks=3802, failedAssignments=2790, nogoods=283, foundSolutions=20, bestBound=192
8.80/4.96
8.91/5.10 num=78, depth=22..33, filters=828426, revisions=(1424457,useless=769058), ccks=2740861, wck=2.291, mem=140M219
8.91/5.10 decisions=12786, wrong=5303, backtracks=4164, failedAssignments=3045, nogoods=288, foundSolutions=20, bestBound=192
8.91/5.10
9.12/5.26 num=79, depth=20..30, filters=899649, revisions=(1542641,useless=829795), ccks=2939740, wck=2.45, mem=25M449
9.12/5.26 decisions=13788, wrong=5793, backtracks=4510, failedAssignments=3326, nogoods=295, foundSolutions=20, bestBound=192
9.12/5.26
9.26/5.33 o 176
9.26/5.33 num=80, depth=23..624, filters=939497, revisions=(1594478,useless=852107), ccks=3041564, wck=2.524, mem=28M39
9.26/5.33 decisions=14394, wrong=6082, backtracks=4688, failedAssignments=3498, nogoods=304, foundSolutions=21, bestBound=176
9.26/5.33
9.36/5.47 num=81, depth=23..35, filters=1013344, revisions=(1694737,useless=895152), ccks=3224821, wck=2.66, mem=33M218
9.36/5.47 decisions=15597, wrong=6671, backtracks=5052, failedAssignments=3838, nogoods=312, foundSolutions=21, bestBound=176
9.36/5.47
9.36/5.48 num=82, depth=28..32, filters=1015718, revisions=(1698885,useless=897431), ccks=3234415, wck=2.666, mem=33M218
9.36/5.48 decisions=15665, wrong=6690, backtracks=5061, failedAssignments=3849, nogoods=319, foundSolutions=21, bestBound=176
9.36/5.48
9.36/5.49 num=83, depth=25..31, filters=1019526, revisions=(1705836,useless=901469), ccks=3248658, wck=2.675, mem=33M218
9.36/5.49 decisions=15734, wrong=6712, backtracks=5078, failedAssignments=3861, nogoods=321, foundSolutions=21, bestBound=176
9.36/5.49
9.36/5.49 num=84, depth=26..30, filters=1022000, revisions=(1710429,useless=904061), ccks=3259018, wck=2.682, mem=33M218
9.36/5.49 decisions=15799, wrong=6731, backtracks=5087, failedAssignments=3874, nogoods=328, foundSolutions=21, bestBound=176
9.36/5.49
9.46/5.50 num=85, depth=24..31, filters=1026453, revisions=(1718181,useless=908415), ccks=3274798, wck=2.694, mem=33M218
9.46/5.50 decisions=15881, wrong=6760, backtracks=5110, failedAssignments=3888, nogoods=329, foundSolutions=21, bestBound=176
9.46/5.50
9.46/5.52 num=86, depth=25..33, filters=1031447, revisions=(1726912,useless=913004), ccks=3291867, wck=2.705, mem=33M218
9.46/5.52 decisions=15967, wrong=6788, backtracks=5127, failedAssignments=3904, nogoods=332, foundSolutions=21, bestBound=176
9.46/5.52
9.46/5.53 num=87, depth=26..34, filters=1036388, revisions=(1735137,useless=917195), ccks=3307885, wck=2.716, mem=33M218
9.46/5.53 decisions=16051, wrong=6817, backtracks=5145, failedAssignments=3921, nogoods=335, foundSolutions=21, bestBound=176
9.46/5.53
9.46/5.54 num=88, depth=25..31, filters=1041349, revisions=(1743584,useless=921498), ccks=3323609, wck=2.727, mem=33M218
9.46/5.54 decisions=16141, wrong=6848, backtracks=5163, failedAssignments=3940, nogoods=337, foundSolutions=21, bestBound=176
9.46/5.54
9.46/5.55 num=89, depth=26..31, filters=1046817, revisions=(1751699,useless=925200), ccks=3340531, wck=2.738, mem=35M807
9.46/5.55 decisions=16239, wrong=6884, backtracks=5184, failedAssignments=3961, nogoods=340, foundSolutions=21, bestBound=176
9.46/5.55
9.46/5.56 num=90, depth=24..32, filters=1052966, revisions=(1760536,useless=929518), ccks=3363640, wck=2.752, mem=35M807
9.46/5.56 decisions=16367, wrong=6935, backtracks=5228, failedAssignments=3984, nogoods=343, foundSolutions=21, bestBound=176
9.46/5.56
9.46/5.58 num=91, depth=25..32, filters=1060490, revisions=(1770522,useless=933885), ccks=3385983, wck=2.767, mem=35M807
9.46/5.58 decisions=16490, wrong=6983, backtracks=5261, failedAssignments=4009, nogoods=346, foundSolutions=21, bestBound=176
9.46/5.58
9.46/5.59 num=92, depth=26..31, filters=1065347, revisions=(1777934,useless=937361), ccks=3399986, wck=2.777, mem=35M807
9.46/5.59 decisions=16618, wrong=7033, backtracks=5287, failedAssignments=4037, nogoods=357, foundSolutions=21, bestBound=176
9.46/5.59
9.57/5.60 num=93, depth=26..31, filters=1073165, revisions=(1788229,useless=941804), ccks=3421250, wck=2.793, mem=35M807
9.57/5.60 decisions=16759, wrong=7090, backtracks=5323, failedAssignments=4068, nogoods=361, foundSolutions=21, bestBound=176
9.57/5.60
9.57/5.62 num=94, depth=25..31, filters=1083298, revisions=(1801052,useless=947211), ccks=3453679, wck=2.815, mem=38M396
9.57/5.62 decisions=16906, wrong=7150, backtracks=5367, failedAssignments=4102, nogoods=363, foundSolutions=21, bestBound=176
9.57/5.62
9.57/5.65 num=95, depth=25..32, filters=1094866, revisions=(1815765,useless=953161), ccks=3491142, wck=2.839, mem=38M396
9.57/5.65 decisions=17065, wrong=7216, backtracks=5414, failedAssignments=4139, nogoods=366, foundSolutions=21, bestBound=176
9.57/5.65
9.57/5.67 num=96, depth=24..32, filters=1105291, revisions=(1829546,useless=958656), ccks=3518919, wck=2.859, mem=38M396
9.57/5.67 decisions=17222, wrong=7281, backtracks=5453, failedAssignments=4180, nogoods=369, foundSolutions=21, bestBound=176
9.57/5.67
9.57/5.69 num=97, depth=24..35, filters=1117571, revisions=(1844230,useless=964597), ccks=3549559, wck=2.883, mem=38M396
9.57/5.69 decisions=17389, wrong=7351, backtracks=5505, failedAssignments=4225, nogoods=373, foundSolutions=21, bestBound=176
9.57/5.69
9.72/5.72 num=98, depth=23..29, filters=1131006, revisions=(1862115,useless=971770), ccks=3586389, wck=2.91, mem=40M986
9.72/5.72 decisions=17565, wrong=7426, backtracks=5566, failedAssignments=4275, nogoods=380, foundSolutions=21, bestBound=176
9.72/5.72
9.72/5.74 num=99, depth=22..29, filters=1141412, revisions=(1877175,useless=978155), ccks=3611156, wck=2.93, mem=40M986
9.72/5.74 decisions=17757, wrong=7510, backtracks=5617, failedAssignments=4330, nogoods=383, foundSolutions=21, bestBound=176
9.72/5.74
9.72/5.76 num=100, depth=22..29, filters=1152954, revisions=(1893293,useless=984623), ccks=3641671, wck=2.953, mem=40M986
9.72/5.76 decisions=17951, wrong=7595, backtracks=5671, failedAssignments=4391, nogoods=393, foundSolutions=21, bestBound=176
9.72/5.76
9.72/5.79 num=101, depth=21..29, filters=1165268, revisions=(1910920,useless=992181), ccks=3672833, wck=2.979, mem=43M575
9.72/5.79 decisions=18166, wrong=7691, backtracks=5732, failedAssignments=4458, nogoods=408, foundSolutions=21, bestBound=176
9.72/5.79
9.83/5.82 num=102, depth=21..28, filters=1182171, revisions=(1934439,useless=1001543), ccks=3708729, wck=3.01, mem=43M575
9.83/5.82 decisions=18399, wrong=7796, backtracks=5793, failedAssignments=4532, nogoods=427, foundSolutions=21, bestBound=176
9.83/5.82
9.83/5.85 num=103, depth=21..30, filters=1195797, revisions=(1954119,useless=1009728), ccks=3740315, wck=3.036, mem=43M575
9.83/5.85 decisions=18646, wrong=7908, backtracks=5864, failedAssignments=4613, nogoods=430, foundSolutions=21, bestBound=176
9.83/5.85
9.83/5.88 num=104, depth=21..29, filters=1216592, revisions=(1982341,useless=1020346), ccks=3789173, wck=3.074, mem=46M165
9.83/5.88 decisions=18924, wrong=8036, backtracks=5944, failedAssignments=4702, nogoods=439, foundSolutions=21, bestBound=176
9.83/5.88
9.93/5.92 num=105, depth=21..28, filters=1236752, revisions=(2010220,useless=1031310), ccks=3834970, wck=3.111, mem=46M165
9.93/5.92 decisions=19231, wrong=8179, backtracks=6028, failedAssignments=4800, nogoods=458, foundSolutions=21, bestBound=176
9.93/5.92
9.93/5.97 num=106, depth=21..29, filters=1260527, revisions=(2041191,useless=1042570), ccks=3888635, wck=3.155, mem=48M754
9.93/5.97 decisions=19556, wrong=8330, backtracks=6127, failedAssignments=4908, nogoods=463, foundSolutions=21, bestBound=176
9.93/5.97
9.93/6.01 num=107, depth=22..29, filters=1282040, revisions=(2070624,useless=1054048), ccks=3937424, wck=3.197, mem=48M754
9.93/6.01 decisions=19906, wrong=8494, backtracks=6228, failedAssignments=5027, nogoods=477, foundSolutions=21, bestBound=176
9.93/6.01
10.04/6.05 num=108, depth=21..30, filters=1306367, revisions=(2103384,useless=1066536), ccks=3995635, wck=3.242, mem=51M344
10.04/6.05 decisions=20300, wrong=8679, backtracks=6338, failedAssignments=5158, nogoods=496, foundSolutions=21, bestBound=176
10.04/6.05
10.04/6.09 num=109, depth=22..31, filters=1328459, revisions=(2133730,useless=1078741), ccks=4051409, wck=3.284, mem=51M344
10.04/6.09 decisions=20741, wrong=8888, backtracks=6481, failedAssignments=5302, nogoods=499, foundSolutions=21, bestBound=176
10.04/6.09
10.14/6.16 num=110, depth=21..30, filters=1360518, revisions=(2174950,useless=1093878), ccks=4136662, wck=3.347, mem=53M933
10.14/6.16 decisions=21213, wrong=9113, backtracks=6644, failedAssignments=5460, nogoods=509, foundSolutions=21, bestBound=176
10.14/6.16
10.25/6.23 num=111, depth=20..29, filters=1395140, revisions=(2220469,useless=1110838), ccks=4228019, wck=3.415, mem=56M522
10.25/6.23 decisions=21726, wrong=9358, backtracks=6805, failedAssignments=5634, nogoods=515, foundSolutions=21, bestBound=176
10.25/6.23
10.25/6.28 num=112, depth=20..31, filters=1424103, revisions=(2262638,useless=1129360), ccks=4299667, wck=3.472, mem=59M112
10.25/6.28 decisions=22285, wrong=9626, backtracks=7007, failedAssignments=5825, nogoods=520, foundSolutions=21, bestBound=176
10.25/6.28
10.35/6.38 num=113, depth=20..29, filters=1477138, revisions=(2331328,useless=1154795), ccks=4425407, wck=3.57, mem=61M701
10.35/6.38 decisions=22919, wrong=9932, backtracks=7238, failedAssignments=6036, nogoods=530, foundSolutions=21, bestBound=176
10.35/6.38
10.45/6.47 num=114, depth=20..29, filters=1526311, revisions=(2395038,useless=1177850), ccks=4549647, wck=3.663, mem=64M291
10.45/6.47 decisions=23647, wrong=10285, backtracks=7485, failedAssignments=6268, nogoods=533, foundSolutions=21, bestBound=176
10.45/6.47
10.55/6.56 num=115, depth=18..31, filters=1565346, revisions=(2450721,useless=1204855), ccks=4687566, wck=3.747, mem=66M880
10.55/6.56 decisions=24449, wrong=10676, backtracks=7860, failedAssignments=6523, nogoods=539, foundSolutions=21, bestBound=176
10.55/6.56
10.65/6.66 num=116, depth=20..29, filters=1622791, revisions=(2526053,useless=1233431), ccks=4823923, wck=3.854, mem=69M470
10.65/6.66 decisions=25272, wrong=11077, backtracks=8145, failedAssignments=6804, nogoods=545, foundSolutions=21, bestBound=176
10.65/6.66
10.86/6.80 num=117, depth=19..30, filters=1696667, revisions=(2621039,useless=1267827), ccks=5006605, wck=3.994, mem=74M649
10.86/6.80 decisions=26212, wrong=11536, backtracks=8470, failedAssignments=7113, nogoods=559, foundSolutions=21, bestBound=176
10.86/6.80
10.96/6.93 num=118, depth=20..29, filters=1761113, revisions=(2706163,useless=1300009), ccks=5174469, wck=4.119, mem=79M827
10.96/6.93 decisions=27236, wrong=12037, backtracks=8832, failedAssignments=7453, nogoods=569, foundSolutions=21, bestBound=176
10.96/6.93
11.07/7.07 num=119, depth=19..29, filters=1837532, revisions=(2810676,useless=1340797), ccks=5343002, wck=4.257, mem=85M6
11.07/7.07 decisions=28386, wrong=12601, backtracks=9189, failedAssignments=7827, nogoods=589, foundSolutions=21, bestBound=176
11.07/7.07
11.27/7.27 num=120, depth=19..30, filters=1944003, revisions=(2943482,useless=1390784), ccks=5585486, wck=4.462, mem=90M185
11.27/7.27 decisions=29715, wrong=13254, backtracks=9730, failedAssignments=8238, nogoods=595, foundSolutions=21, bestBound=176
11.27/7.27
11.48/7.46 num=121, depth=19..30, filters=2043619, revisions=(3069553,useless=1435770), ccks=5835483, wck=4.645, mem=95M364
11.48/7.46 decisions=31059, wrong=13915, backtracks=10186, failedAssignments=8690, nogoods=607, foundSolutions=21, bestBound=176
11.48/7.46
11.68/7.60 num=122, depth=19..31, filters=2115330, revisions=(3167259,useless=1477895), ccks=6051620, wck=4.791, mem=100M543
11.68/7.60 decisions=32473, wrong=14611, backtracks=10755, failedAssignments=9187, nogoods=617, foundSolutions=21, bestBound=176
11.68/7.60
11.88/7.81 num=123, depth=20..29, filters=2225750, revisions=(3305499,useless=1527927), ccks=6344775, wck=5.003, mem=108M311
11.88/7.81 decisions=34079, wrong=15403, backtracks=11319, failedAssignments=9734, nogoods=625, foundSolutions=21, bestBound=176
11.88/7.81
12.09/8.02 num=124, depth=20..30, filters=2333071, revisions=(3443609,useless=1578193), ccks=6611675, wck=5.205, mem=113M490
12.09/8.02 decisions=35857, wrong=16281, backtracks=11916, failedAssignments=10336, nogoods=636, foundSolutions=21, bestBound=176
12.09/8.02
12.28/8.28 num=125, depth=19..30, filters=2479305, revisions=(3632698,useless=1647036), ccks=6939032, wck=5.469, mem=121M259
12.28/8.28 decisions=37797, wrong=17241, backtracks=12552, failedAssignments=10998, nogoods=645, foundSolutions=21, bestBound=176
12.28/8.28
12.58/8.55 num=126, depth=19..30, filters=2618808, revisions=(3813306,useless=1714843), ccks=7314351, wck=5.739, mem=131M617
12.58/8.55 decisions=39902, wrong=18283, backtracks=13309, failedAssignments=11726, nogoods=651, foundSolutions=21, bestBound=176
12.58/8.55
12.88/8.87 num=127, depth=19..32, filters=2787019, revisions=(4024546,useless=1792887), ccks=7747895, wck=6.058, mem=141M975
12.88/8.87 decisions=42256, wrong=19449, backtracks=14181, failedAssignments=12527, nogoods=660, foundSolutions=21, bestBound=176
12.88/8.87
13.29/9.20 num=128, depth=19..30, filters=2963040, revisions=(4248155,useless=1874853), ccks=8194308, wck=6.386, mem=152M332
13.29/9.20 decisions=44889, wrong=20754, backtracks=15112, failedAssignments=13408, nogoods=671, foundSolutions=21, bestBound=176
13.29/9.20
13.62/9.57 num=129, depth=19..29, filters=3155042, revisions=(4490912,useless=1962268), ccks=8692840, wck=6.763, mem=30M716
13.62/9.57 decisions=47838, wrong=22218, backtracks=16098, failedAssignments=14378, nogoods=678, foundSolutions=21, bestBound=176
13.62/9.57
14.02/9.94 num=130, depth=19..30, filters=3348964, revisions=(4734372,useless=2052063), ccks=9200529, wck=7.13, mem=43M756
14.02/9.94 decisions=50929, wrong=23753, backtracks=17191, failedAssignments=15445, nogoods=685, foundSolutions=21, bestBound=176
14.02/9.94
14.42/10.35 num=131, depth=19..29, filters=3572817, revisions=(5026937,useless=2160542), ccks=9738899, wck=7.54, mem=56M796
14.42/10.35 decisions=54412, wrong=25484, backtracks=18311, failedAssignments=16618, nogoods=695, foundSolutions=21, bestBound=176
14.42/10.35
14.92/10.85 num=132, depth=19..31, filters=3829328, revisions=(5352509,useless=2284503), ccks=10392545, wck=8.04, mem=72M444
14.92/10.85 decisions=58392, wrong=27463, backtracks=19882, failedAssignments=17909, nogoods=704, foundSolutions=21, bestBound=176
14.92/10.85
15.52/11.44 num=133, depth=18..29, filters=4146300, revisions=(5748041,useless=2425738), ccks=11182429, wck=8.626, mem=90M700
15.52/11.44 decisions=62663, wrong=29588, backtracks=21391, failedAssignments=19329, nogoods=712, foundSolutions=21, bestBound=176
15.52/11.44
16.13/12.07 num=134, depth=18..30, filters=4493070, revisions=(6202481,useless=2597788), ccks=11971376, wck=9.264, mem=111M564
16.13/12.07 decisions=67460, wrong=31975, backtracks=23108, failedAssignments=20891, nogoods=722, foundSolutions=21, bestBound=176
16.13/12.07
16.72/12.68 num=135, depth=18..31, filters=4807089, revisions=(6601985,useless=2747787), ccks=12759363, wck=9.871, mem=133M749
16.72/12.68 decisions=72815, wrong=34641, backtracks=25107, failedAssignments=22609, nogoods=730, foundSolutions=21, bestBound=176
16.72/12.68
17.55/13.44 num=136, depth=18..30, filters=5216767, revisions=(7120937,useless=2942842), ccks=13726492, wck=10.631, mem=26M321
17.55/13.44 decisions=78470, wrong=37458, backtracks=27088, failedAssignments=24499, nogoods=744, foundSolutions=21, bestBound=176
17.55/13.44
18.30/14.16 num=137, depth=18..31, filters=5583673, revisions=(7599046,useless=3127813), ccks=14723482, wck=11.347, mem=46M648
18.30/14.16 decisions=84836, wrong=40629, backtracks=29427, failedAssignments=26578, nogoods=760, foundSolutions=21, bestBound=176
18.30/14.16
19.10/14.98 num=138, depth=18..31, filters=6015301, revisions=(8137957,useless=3322126), ccks=15848506, wck=12.172, mem=73M750
19.10/14.98 decisions=91999, wrong=44199, backtracks=31745, failedAssignments=28865, nogoods=764, foundSolutions=21, bestBound=176
19.10/14.98
20.10/16.00 num=139, depth=18..30, filters=6549816, revisions=(8814758,useless=3584449), ccks=17253060, wck=13.186, mem=104M241
20.10/16.00 decisions=100013, wrong=48196, backtracks=34706, failedAssignments=31381, nogoods=783, foundSolutions=21, bestBound=176
20.10/16.00
21.10/16.95 num=140, depth=18..31, filters=7049458, revisions=(9461470,useless=3834329), ccks=18525029, wck=14.142, mem=134M731
21.10/16.95 decisions=108627, wrong=52492, backtracks=37678, failedAssignments=34149, nogoods=795, foundSolutions=21, bestBound=176
21.10/16.95
22.40/18.25 num=141, depth=18..31, filters=7741581, revisions=(10310207,useless=4148570), ccks=20314838, wck=15.439, mem=175M384
22.40/18.25 decisions=118201, wrong=57268, backtracks=41412, failedAssignments=37193, nogoods=807, foundSolutions=21, bestBound=176
22.40/18.25
23.84/19.66 num=142, depth=17..30, filters=8496644, revisions=(11237616,useless=4478409), ccks=22237714, wck=16.851, mem=50M192
23.84/19.66 decisions=128443, wrong=62378, backtracks=45162, failedAssignments=40542, nogoods=823, foundSolutions=21, bestBound=176
23.84/19.66
25.44/21.27 num=143, depth=17..31, filters=9321125, revisions=(12258912,useless=4857821), ccks=24481485, wck=18.458, mem=97M822
25.44/21.27 decisions=140272, wrong=68281, backtracks=49999, failedAssignments=44226, nogoods=830, foundSolutions=21, bestBound=176
25.44/21.27
27.14/22.93 num=144, depth=17..31, filters=10241382, revisions=(13382294,useless=5256464), ccks=26667939, wck=20.117, mem=152M257
27.14/22.93 decisions=152783, wrong=74526, backtracks=54390, failedAssignments=48278, nogoods=840, foundSolutions=21, bestBound=176
27.14/22.93
28.89/24.62 num=145, depth=17..32, filters=11166793, revisions=(14532898,useless=5665721), ccks=28892946, wck=21.806, mem=35M939
28.89/24.62 decisions=166586, wrong=81417, backtracks=58977, failedAssignments=52735, nogoods=861, foundSolutions=21, bestBound=176
28.89/24.62
30.78/26.52 num=146, depth=17..31, filters=12171981, revisions=(15776260,useless=6121295), ccks=31511940, wck=23.705, mem=96M553
30.78/26.52 decisions=181929, wrong=89078, backtracks=64668, failedAssignments=57638, nogoods=870, foundSolutions=21, bestBound=176
30.78/26.52
32.49/28.22 o 172
32.49/28.22 num=147, depth=17..624, filters=13135735, revisions=(16997876,useless=6560774), ccks=33760109, wck=25.412, mem=152M837
32.49/28.22 decisions=197402, wrong=96804, backtracks=69474, failedAssignments=62752, nogoods=880, foundSolutions=22, bestBound=172
32.49/28.22
34.89/30.61 num=148, depth=18..32, filters=14393813, revisions=(18562814,useless=7142156), ccks=37072031, wck=27.798, mem=226M440
34.89/30.61 decisions=216303, wrong=106243, backtracks=76925, failedAssignments=68685, nogoods=887, foundSolutions=22, bestBound=172
34.89/30.61
34.89/30.61 num=149, depth=25..30, filters=14395940, revisions=(18566399,useless=7144014), ccks=37078454, wck=27.804, mem=226M440
34.89/30.61 decisions=216356, wrong=106257, backtracks=76931, failedAssignments=68696, nogoods=894, foundSolutions=22, bestBound=172
34.89/30.61
34.89/30.62 num=150, depth=23..31, filters=14399924, revisions=(18571985,useless=7146701), ccks=37087054, wck=27.812, mem=230M769
34.89/30.62 decisions=216415, wrong=106275, backtracks=76946, failedAssignments=68708, nogoods=897, foundSolutions=22, bestBound=172
34.89/30.62
34.89/30.63 num=151, depth=24..31, filters=14402114, revisions=(18575561,useless=7148593), ccks=37092321, wck=27.818, mem=230M769
34.89/30.63 decisions=216472, wrong=106291, backtracks=76953, failedAssignments=68721, nogoods=900, foundSolutions=22, bestBound=172
34.89/30.63
34.89/30.63 num=152, depth=24..30, filters=14405027, revisions=(18580248,useless=7150831), ccks=37099599, wck=27.824, mem=230M769
34.89/30.63 decisions=216536, wrong=106311, backtracks=76962, failedAssignments=68735, nogoods=907, foundSolutions=22, bestBound=172
34.89/30.63
34.89/30.65 num=153, depth=22..30, filters=14410547, revisions=(18587844,useless=7154315), ccks=37110533, wck=27.836, mem=230M769
34.89/30.65 decisions=216615, wrong=106339, backtracks=76982, failedAssignments=68751, nogoods=911, foundSolutions=22, bestBound=172
34.89/30.65
34.89/30.65 num=154, depth=24..28, filters=14413763, revisions=(18592878,useless=7156708), ccks=37119431, wck=27.843, mem=230M769
34.89/30.65 decisions=216692, wrong=106365, backtracks=76997, failedAssignments=68768, nogoods=920, foundSolutions=22, bestBound=172
34.89/30.65
34.89/30.66 num=155, depth=23..29, filters=14417284, revisions=(18598286,useless=7159377), ccks=37128333, wck=27.851, mem=230M769
34.89/30.66 decisions=216770, wrong=106391, backtracks=77011, failedAssignments=68787, nogoods=926, foundSolutions=22, bestBound=172
34.89/30.66
34.89/30.67 num=156, depth=23..29, filters=14421545, revisions=(18604593,useless=7162325), ccks=37138682, wck=27.86, mem=230M769
34.89/30.67 decisions=216849, wrong=106418, backtracks=77024, failedAssignments=68808, nogoods=930, foundSolutions=22, bestBound=172
34.89/30.67
34.89/30.68 num=157, depth=23..30, filters=14426777, revisions=(18611963,useless=7165611), ccks=37152630, wck=27.872, mem=230M769
34.89/30.68 decisions=216943, wrong=106453, backtracks=77050, failedAssignments=68831, nogoods=935, foundSolutions=22, bestBound=172
34.89/30.68
34.89/30.69 num=158, depth=23..29, filters=14430922, revisions=(18617894,useless=7168316), ccks=37162558, wck=27.881, mem=230M769
34.89/30.69 decisions=217036, wrong=106488, backtracks=77067, failedAssignments=68856, nogoods=936, foundSolutions=22, bestBound=172
34.89/30.69
34.99/30.70 num=159, depth=23..28, filters=14436404, revisions=(18625590,useless=7171779), ccks=37177311, wck=27.893, mem=230M769
34.99/30.70 decisions=217138, wrong=106527, backtracks=77093, failedAssignments=68884, nogoods=942, foundSolutions=22, bestBound=172
34.99/30.70
34.99/30.72 num=160, depth=23..29, filters=14442491, revisions=(18634161,useless=7175573), ccks=37194911, wck=27.906, mem=230M769
34.99/30.72 decisions=217250, wrong=106571, backtracks=77121, failedAssignments=68915, nogoods=950, foundSolutions=22, bestBound=172
34.99/30.72
34.99/30.73 num=161, depth=22..31, filters=14448278, revisions=(18642947,useless=7179838), ccks=37212635, wck=27.919, mem=230M769
34.99/30.73 decisions=217376, wrong=106621, backtracks=77162, failedAssignments=68949, nogoods=954, foundSolutions=22, bestBound=172
34.99/30.73
34.99/30.75 num=162, depth=22..30, filters=14458085, revisions=(18655782,useless=7185200), ccks=37237123, wck=27.939, mem=230M769
34.99/30.75 decisions=217525, wrong=106683, backtracks=77207, failedAssignments=68986, nogoods=958, foundSolutions=22, bestBound=172
34.99/30.75
34.99/30.76 num=163, depth=23..29, filters=14465415, revisions=(18665937,useless=7189496), ccks=37255360, wck=27.954, mem=230M769
34.99/30.76 decisions=217665, wrong=106741, backtracks=77242, failedAssignments=69027, nogoods=961, foundSolutions=22, bestBound=172
34.99/30.76
34.99/30.78 num=164, depth=23..30, filters=14474185, revisions=(18678145,useless=7194624), ccks=37280223, wck=27.972, mem=235M99
34.99/30.78 decisions=217822, wrong=106807, backtracks=77289, failedAssignments=69072, nogoods=972, foundSolutions=22, bestBound=172
34.99/30.78
35.09/30.80 num=165, depth=22..30, filters=14484493, revisions=(18692359,useless=7200546), ccks=37308332, wck=27.993, mem=235M99
35.09/30.80 decisions=217992, wrong=106880, backtracks=77343, failedAssignments=69122, nogoods=977, foundSolutions=22, bestBound=172
35.09/30.80
35.09/30.83 num=166, depth=23..31, filters=14495544, revisions=(18707602,useless=7206843), ccks=37335198, wck=28.015, mem=235M99
35.09/30.83 decisions=218180, wrong=106962, backtracks=77395, failedAssignments=69177, nogoods=988, foundSolutions=22, bestBound=172
35.09/30.83
35.09/30.85 num=167, depth=23..29, filters=14506764, revisions=(18723360,useless=7213038), ccks=37362326, wck=28.036, mem=235M99
35.09/30.85 decisions=218381, wrong=107050, backtracks=77445, failedAssignments=69238, nogoods=995, foundSolutions=22, bestBound=172
35.09/30.85
35.09/30.87 num=168, depth=22..29, filters=14521414, revisions=(18743366,useless=7221128), ccks=37399321, wck=28.064, mem=235M99
35.09/30.87 decisions=218595, wrong=107145, backtracks=77514, failedAssignments=69305, nogoods=1003, foundSolutions=22, bestBound=172
35.09/30.87
35.09/30.90 num=169, depth=22..31, filters=14532053, revisions=(18759361,useless=7228526), ccks=37431730, wck=28.086, mem=235M99
35.09/30.90 decisions=218818, wrong=107245, backtracks=77595, failedAssignments=69379, nogoods=1009, foundSolutions=22, bestBound=172
35.09/30.90
35.19/30.93 num=170, depth=22..29, filters=14547666, revisions=(18780787,useless=7236882), ccks=37469679, wck=28.115, mem=239M429
35.19/30.93 decisions=219070, wrong=107360, backtracks=77663, failedAssignments=69460, nogoods=1015, foundSolutions=22, bestBound=172
35.19/30.93
35.19/30.95 num=171, depth=21..31, filters=14559969, revisions=(18799323,useless=7245736), ccks=37511081, wck=28.142, mem=239M429
35.19/30.95 decisions=219354, wrong=107490, backtracks=77765, failedAssignments=69549, nogoods=1019, foundSolutions=22, bestBound=172
35.19/30.95
35.19/31.00 num=172, depth=22..32, filters=14582293, revisions=(18827771,useless=7256275), ccks=37570014, wck=28.185, mem=239M429
35.19/31.00 decisions=219669, wrong=107636, backtracks=77874, failedAssignments=69647, nogoods=1025, foundSolutions=22, bestBound=172
35.19/31.00
35.30/31.04 num=173, depth=22..30, filters=14602881, revisions=(18854454,useless=7266176), ccks=37624479, wck=28.225, mem=239M429
35.30/31.04 decisions=220003, wrong=107791, backtracks=77978, failedAssignments=69755, nogoods=1034, foundSolutions=22, bestBound=172
35.30/31.04
35.30/31.09 num=174, depth=22..29, filters=14624044, revisions=(18882479,useless=7276594), ccks=37674509, wck=28.279, mem=27M256
35.30/31.09 decisions=220372, wrong=107964, backtracks=78078, failedAssignments=69874, nogoods=1044, foundSolutions=22, bestBound=172
35.30/31.09
35.44/31.13 num=175, depth=22..31, filters=14647141, revisions=(18913793,useless=7289013), ccks=37736497, wck=28.323, mem=27M256
35.44/31.13 decisions=220773, wrong=108152, backtracks=78210, failedAssignments=70005, nogoods=1054, foundSolutions=22, bestBound=172
35.44/31.13
35.44/31.19 num=176, depth=21..31, filters=14676607, revisions=(18953232,useless=7304740), ccks=37810386, wck=28.379, mem=27M256
35.44/31.19 decisions=221226, wrong=108367, backtracks=78362, failedAssignments=70149, nogoods=1061, foundSolutions=22, bestBound=172
35.44/31.19
35.53/31.25 num=177, depth=21..28, filters=14712401, revisions=(19000000,useless=7321997), ccks=37893883, wck=28.444, mem=31M489
35.53/31.25 decisions=221709, wrong=108598, backtracks=78521, failedAssignments=70307, nogoods=1065, foundSolutions=22, bestBound=172
35.53/31.25
35.63/31.33 num=178, depth=20..28, filters=14753660, revisions=(19055295,useless=7343133), ccks=37997988, wck=28.523, mem=31M489
35.63/31.33 decisions=222276, wrong=108871, backtracks=78702, failedAssignments=70481, nogoods=1072, foundSolutions=22, bestBound=172
35.63/31.33
35.63/31.39 num=179, depth=19..30, filters=14781576, revisions=(19096216,useless=7362388), ccks=38087479, wck=28.582, mem=35M722
35.63/31.39 decisions=222840, wrong=109142, backtracks=78938, failedAssignments=70672, nogoods=1076, foundSolutions=22, bestBound=172
35.63/31.39
35.73/31.47 num=180, depth=20..29, filters=14825065, revisions=(19153653,useless=7383355), ccks=38191251, wck=28.664, mem=35M722
35.73/31.47 decisions=223486, wrong=109454, backtracks=79134, failedAssignments=70883, nogoods=1085, foundSolutions=22, bestBound=172
35.73/31.47
35.83/31.60 num=181, depth=18..31, filters=14889618, revisions=(19235000,useless=7415318), ccks=38343725, wck=28.786, mem=39M955
35.83/31.60 decisions=224322, wrong=109863, backtracks=79473, failedAssignments=71115, nogoods=1086, foundSolutions=22, bestBound=172
35.83/31.60
35.93/31.69 num=182, depth=21..30, filters=14941014, revisions=(19301276,useless=7439504), ccks=38469074, wck=28.881, mem=44M187
35.93/31.69 decisions=225095, wrong=110237, backtracks=79719, failedAssignments=71370, nogoods=1099, foundSolutions=22, bestBound=172
35.93/31.69
36.13/31.81 num=183, depth=20..32, filters=15003669, revisions=(19386411,useless=7475132), ccks=38637017, wck=29.0, mem=48M420
36.13/31.81 decisions=226026, wrong=110691, backtracks=80116, failedAssignments=71651, nogoods=1105, foundSolutions=22, bestBound=172
36.13/31.81
36.23/31.93 num=184, depth=21..30, filters=15065853, revisions=(19465668,useless=7504803), ccks=38800004, wck=29.119, mem=52M653
36.23/31.93 decisions=226959, wrong=111146, backtracks=80456, failedAssignments=71960, nogoods=1117, foundSolutions=22, bestBound=172
36.23/31.93
36.34/32.05 num=185, depth=19..30, filters=15130906, revisions=(19553822,useless=7538462), ccks=38964060, wck=29.241, mem=56M886
36.34/32.05 decisions=228030, wrong=111670, backtracks=80773, failedAssignments=72300, nogoods=1123, foundSolutions=22, bestBound=172
36.34/32.05
36.44/32.19 num=186, depth=20..30, filters=15207956, revisions=(19651399,useless=7573302), ccks=39147407, wck=29.379, mem=62M499
36.44/32.19 decisions=229164, wrong=112225, backtracks=81124, failedAssignments=72674, nogoods=1132, foundSolutions=22, bestBound=172
36.44/32.19
36.64/32.34 num=187, depth=20..30, filters=15289767, revisions=(19759671,useless=7613780), ccks=39330668, wck=29.53, mem=66M731
36.64/32.34 decisions=230369, wrong=112817, backtracks=81500, failedAssignments=73085, nogoods=1140, foundSolutions=22, bestBound=172
36.64/32.34
36.84/32.54 num=188, depth=19..31, filters=15392798, revisions=(19889056,useless=7664531), ccks=39576532, wck=29.732, mem=70M964
36.84/32.54 decisions=231738, wrong=113491, backtracks=82043, failedAssignments=73537, nogoods=1148, foundSolutions=22, bestBound=172
36.84/32.54
37.04/32.72 num=189, depth=19..29, filters=15489447, revisions=(20014838,useless=7710100), ccks=39800123, wck=29.908, mem=79M430
37.04/32.72 decisions=233255, wrong=114238, backtracks=82512, failedAssignments=74034, nogoods=1159, foundSolutions=22, bestBound=172
37.04/32.72
37.24/32.94 num=190, depth=19..31, filters=15605076, revisions=(20163774,useless=7768711), ccks=40071739, wck=30.128, mem=83M662
37.24/32.94 decisions=234878, wrong=115039, backtracks=83125, failedAssignments=74581, nogoods=1169, foundSolutions=22, bestBound=172
37.24/32.94
37.45/33.14 num=191, depth=20..30, filters=15709934, revisions=(20297608,useless=7818228), ccks=40344893, wck=30.333, mem=92M128
37.45/33.14 decisions=236693, wrong=115935, backtracks=83708, failedAssignments=75183, nogoods=1179, foundSolutions=22, bestBound=172
37.45/33.14
37.74/33.40 num=192, depth=20..31, filters=15849812, revisions=(20482509,useless=7892512), ccks=40683169, wck=30.593, mem=96M361
37.74/33.40 decisions=238680, wrong=116917, backtracks=84507, failedAssignments=75845, nogoods=1192, foundSolutions=22, bestBound=172
37.74/33.40
37.95/33.69 num=193, depth=19..29, filters=15995758, revisions=(20668060,useless=7960728), ccks=41066139, wck=30.877, mem=109M59
37.95/33.69 decisions=240832, wrong=117982, backtracks=85296, failedAssignments=76573, nogoods=1204, foundSolutions=22, bestBound=172
37.95/33.69
38.27/33.97 num=194, depth=20..31, filters=16144581, revisions=(20857138,useless=8029963), ccks=41441516, wck=31.162, mem=117M525
38.27/33.97 decisions=243226, wrong=119168, backtracks=86184, failedAssignments=77374, nogoods=1217, foundSolutions=22, bestBound=172
38.27/33.97
38.57/34.29 num=195, depth=19..30, filters=16306221, revisions=(21063163,useless=8105215), ccks=41863928, wck=31.478, mem=125M990
38.57/34.29 decisions=245852, wrong=120470, backtracks=87069, failedAssignments=78255, nogoods=1229, foundSolutions=22, bestBound=172
38.57/34.29
38.97/34.65 num=196, depth=19..29, filters=16490168, revisions=(21301665,useless=8193983), ccks=42352911, wck=31.835, mem=138M688
38.97/34.65 decisions=248760, wrong=121913, backtracks=88067, failedAssignments=79225, nogoods=1235, foundSolutions=22, bestBound=172
38.97/34.65
39.27/34.96 num=197, depth=19..32, filters=16649289, revisions=(21513434,useless=8278537), ccks=42828073, wck=32.15, mem=147M154
39.27/34.96 decisions=251983, wrong=123513, backtracks=89275, failedAssignments=80292, nogoods=1242, foundSolutions=22, bestBound=172
39.27/34.96
39.77/35.42 num=198, depth=18..31, filters=16892066, revisions=(21826526,useless=8397089), ccks=43427539, wck=32.609, mem=164M85
39.77/35.42 decisions=255494, wrong=125257, backtracks=90518, failedAssignments=81465, nogoods=1254, foundSolutions=22, bestBound=172
39.77/35.42
40.17/35.80 num=199, depth=19..33, filters=17094878, revisions=(22100742,useless=8506678), ccks=43851081, wck=32.991, mem=172M550
40.17/35.80 decisions=259684, wrong=127340, backtracks=92041, failedAssignments=82756, nogoods=1263, foundSolutions=22, bestBound=172
40.17/35.80
40.67/36.32 num=200, depth=18..32, filters=17373502, revisions=(22465114,useless=8650222), ccks=44555887, wck=33.514, mem=189M481
40.67/36.32 decisions=263974, wrong=129474, backtracks=93535, failedAssignments=84176, nogoods=1277, foundSolutions=22, bestBound=172
40.67/36.32
41.17/36.89 num=201, depth=19..31, filters=17670119, revisions=(22838788,useless=8786768), ccks=45329418, wck=34.081, mem=206M412
41.17/36.89 decisions=268682, wrong=131816, backtracks=95273, failedAssignments=85738, nogoods=1285, foundSolutions=22, bestBound=172
41.17/36.89
41.97/37.63 num=202, depth=20..35, filters=18062776, revisions=(23306840,useless=8960009), ccks=46324077, wck=34.82, mem=227M576
41.97/37.63 decisions=274221, wrong=134574, backtracks=97517, failedAssignments=87456, nogoods=1293, foundSolutions=22, bestBound=172
41.97/37.63
42.80/38.40 num=203, depth=18..31, filters=18467935, revisions=(23796868,useless=9130702), ccks=47334484, wck=35.594, mem=43M702
42.80/38.40 decisions=280060, wrong=137482, backtracks=99526, failedAssignments=89346, nogoods=1305, foundSolutions=22, bestBound=172
42.80/38.40
43.62/39.24 num=204, depth=19..33, filters=18914923, revisions=(24337797,useless=9327047), ccks=48530929, wck=36.432, mem=68M506
43.62/39.24 decisions=286907, wrong=140893, backtracks=102180, failedAssignments=91425, nogoods=1312, foundSolutions=22, bestBound=172
43.62/39.24
44.43/40.07 num=205, depth=19..31, filters=19356223, revisions=(24885012,useless=9527548), ccks=49652800, wck=37.26, mem=93M310
44.43/40.07 decisions=293899, wrong=144378, backtracks=104617, failedAssignments=93712, nogoods=1324, foundSolutions=22, bestBound=172
44.43/40.07
45.32/40.96 num=206, depth=18..31, filters=19823723, revisions=(25455514,useless=9729941), ccks=50853358, wck=38.145, mem=122M249
45.32/40.96 decisions=301525, wrong=148180, backtracks=107184, failedAssignments=96228, nogoods=1340, foundSolutions=22, bestBound=172
45.32/40.96
46.32/41.95 num=207, depth=18..31, filters=20353037, revisions=(26112335,useless=9960188), ccks=52210388, wck=39.14, mem=155M321
46.32/41.95 decisions=309983, wrong=152398, backtracks=110026, failedAssignments=98996, nogoods=1346, foundSolutions=22, bestBound=172
46.32/41.95
47.62/43.23 num=208, depth=19..33, filters=21044293, revisions=(26978726,useless=10296433), ccks=53896919, wck=40.416, mem=192M527
47.62/43.23 decisions=319820, wrong=157306, backtracks=113851, failedAssignments=102040, nogoods=1362, foundSolutions=22, bestBound=172
47.62/43.23
48.94/44.52 o 148
48.94/44.52 num=209, depth=18..624, filters=21714208, revisions=(27788143,useless=10587964), ccks=55715774, wck=41.713, mem=27M119
48.94/44.52 decisions=329933, wrong=162351, backtracks=117488, failedAssignments=105260, nogoods=1373, foundSolutions=23, bestBound=148
48.94/44.52
49.45/45.08 o 144
49.45/45.08 num=210, depth=20..624, filters=22000870, revisions=(28152143,useless=10724680), ccks=56459736, wck=42.273, mem=43M304
49.45/45.08 decisions=334581, wrong=164664, backtracks=119143, failedAssignments=106782, nogoods=1386, foundSolutions=24, bestBound=144
49.45/45.08
49.45/45.09 num=211, depth=22..28, filters=22003819, revisions=(28156967,useless=10727219), ccks=56468845, wck=42.284, mem=43M304
49.45/45.09 decisions=334636, wrong=164680, backtracks=119156, failedAssignments=106793, nogoods=1388, foundSolutions=24, bestBound=144
49.45/45.09
49.45/45.10 num=212, depth=22..29, filters=22006319, revisions=(28161068,useless=10729392), ccks=56474808, wck=42.291, mem=43M304
49.45/45.10 decisions=334689, wrong=164695, backtracks=119166, failedAssignments=106804, nogoods=1394, foundSolutions=24, bestBound=144
49.45/45.10
49.55/45.11 num=213, depth=22..29, filters=22009117, revisions=(28165642,useless=10731719), ccks=56481536, wck=42.297, mem=43M304
49.55/45.11 decisions=334745, wrong=164711, backtracks=119177, failedAssignments=106816, nogoods=1400, foundSolutions=24, bestBound=144
49.55/45.11
49.55/45.11 num=214, depth=21..27, filters=22012163, revisions=(28170641,useless=10734307), ccks=56488446, wck=42.304, mem=43M304
49.55/45.11 decisions=334802, wrong=164729, backtracks=119192, failedAssignments=106829, nogoods=1403, foundSolutions=24, bestBound=144
49.55/45.11
49.55/45.12 num=215, depth=20..30, filters=22015103, revisions=(28175718,useless=10737095), ccks=56494851, wck=42.311, mem=43M304
49.55/45.12 decisions=334864, wrong=164750, backtracks=119211, failedAssignments=106843, nogoods=1406, foundSolutions=24, bestBound=144
49.55/45.12
49.55/45.13 num=216, depth=22..27, filters=22019113, revisions=(28181926,useless=10740066), ccks=56504624, wck=42.319, mem=47M351
49.55/45.13 decisions=334935, wrong=164774, backtracks=119228, failedAssignments=106859, nogoods=1413, foundSolutions=24, bestBound=144
49.55/45.13
49.55/45.14 num=217, depth=22..27, filters=22023197, revisions=(28188240,useless=10743042), ccks=56515145, wck=42.329, mem=47M351
49.55/45.14 decisions=335005, wrong=164798, backtracks=119241, failedAssignments=106876, nogoods=1422, foundSolutions=24, bestBound=144
49.55/45.14
49.55/45.15 num=218, depth=21..29, filters=22027988, revisions=(28195411,useless=10746441), ccks=56527460, wck=42.34, mem=47M351
49.55/45.15 decisions=335079, wrong=164823, backtracks=119260, failedAssignments=106895, nogoods=1427, foundSolutions=24, bestBound=144
49.55/45.15
49.55/45.16 num=219, depth=21..27, filters=22031716, revisions=(28201263,useless=10749257), ccks=56536174, wck=42.348, mem=47M351
49.55/45.16 decisions=335156, wrong=164850, backtracks=119275, failedAssignments=106916, nogoods=1431, foundSolutions=24, bestBound=144
49.55/45.16
49.55/45.17 num=220, depth=21..27, filters=22036292, revisions=(28208114,useless=10752380), ccks=56547397, wck=42.358, mem=47M351
49.55/45.17 decisions=335250, wrong=164886, backtracks=119298, failedAssignments=106939, nogoods=1433, foundSolutions=24, bestBound=144
49.55/45.17
49.55/45.18 num=221, depth=21..27, filters=22041840, revisions=(28216233,useless=10756002), ccks=56560396, wck=42.369, mem=47M351
49.55/45.18 decisions=335340, wrong=164920, backtracks=119319, failedAssignments=106964, nogoods=1437, foundSolutions=24, bestBound=144
49.55/45.18
49.55/45.20 num=222, depth=19..30, filters=22050082, revisions=(28228109,useless=10761506), ccks=56577070, wck=42.386, mem=47M351
49.55/45.20 decisions=335451, wrong=164964, backtracks=119358, failedAssignments=106992, nogoods=1443, foundSolutions=24, bestBound=144
49.55/45.20
49.64/45.21 num=223, depth=21..27, filters=22056817, revisions=(28237951,useless=10765927), ccks=56593673, wck=42.4, mem=47M351
49.64/45.21 decisions=335563, wrong=165009, backtracks=119388, failedAssignments=107023, nogoods=1450, foundSolutions=24, bestBound=144
49.64/45.21
49.64/45.23 num=224, depth=19..30, filters=22066498, revisions=(28251397,useless=10772146), ccks=56613185, wck=42.42, mem=47M351
49.64/45.23 decisions=335689, wrong=165061, backtracks=119432, failedAssignments=107057, nogoods=1457, foundSolutions=24, bestBound=144
49.64/45.23
49.64/45.25 num=225, depth=21..30, filters=22074593, revisions=(28262477,useless=10776983), ccks=56629626, wck=42.437, mem=47M351
49.64/45.25 decisions=335814, wrong=165112, backtracks=119462, failedAssignments=107094, nogoods=1468, foundSolutions=24, bestBound=144
49.64/45.25
49.64/45.27 num=226, depth=20..28, filters=22086951, revisions=(28278689,useless=10784073), ccks=56653821, wck=42.461, mem=51M397
49.64/45.27 decisions=335953, wrong=165171, backtracks=119511, failedAssignments=107135, nogoods=1474, foundSolutions=24, bestBound=144
49.64/45.27
49.64/45.29 num=227, depth=21..28, filters=22095572, revisions=(28290674,useless=10789325), ccks=56673800, wck=42.479, mem=51M397
49.64/45.29 decisions=336094, wrong=165230, backtracks=119548, failedAssignments=107180, nogoods=1486, foundSolutions=24, bestBound=144
49.64/45.29
49.74/45.31 num=228, depth=21..27, filters=22105453, revisions=(28304858,useless=10795331), ccks=56695287, wck=42.498, mem=51M397
49.74/45.31 decisions=336260, wrong=165302, backtracks=119590, failedAssignments=107230, nogoods=1493, foundSolutions=24, bestBound=144
49.74/45.31
49.74/45.33 num=229, depth=20..29, filters=22116307, revisions=(28320058,useless=10801707), ccks=56722198, wck=42.521, mem=51M397
49.74/45.33 decisions=336431, wrong=165376, backtracks=119642, failedAssignments=107285, nogoods=1505, foundSolutions=24, bestBound=144
49.74/45.33
49.74/45.36 num=230, depth=20..27, filters=22130231, revisions=(28340090,useless=10810038), ccks=56752111, wck=42.548, mem=51M397
49.74/45.36 decisions=336626, wrong=165463, backtracks=119701, failedAssignments=107346, nogoods=1511, foundSolutions=24, bestBound=144
49.74/45.36
49.74/45.38 num=231, depth=21..27, filters=22144211, revisions=(28360225,useless=10818187), ccks=56781633, wck=42.575, mem=51M397
49.74/45.38 decisions=336838, wrong=165558, backtracks=119755, failedAssignments=107413, nogoods=1521, foundSolutions=24, bestBound=144
49.74/45.38
49.84/45.41 num=232, depth=20..26, filters=22158801, revisions=(28382155,useless=10827406), ccks=56811350, wck=42.602, mem=55M444
49.84/45.41 decisions=337063, wrong=165659, backtracks=119813, failedAssignments=107487, nogoods=1531, foundSolutions=24, bestBound=144
49.84/45.41
49.84/45.44 num=233, depth=20..31, filters=22171757, revisions=(28401350,useless=10835708), ccks=56843051, wck=42.629, mem=55M444
49.84/45.44 decisions=337313, wrong=165773, backtracks=119891, failedAssignments=107568, nogoods=1544, foundSolutions=24, bestBound=144
49.84/45.44
49.84/45.47 num=234, depth=20..28, filters=22189239, revisions=(28426220,useless=10845681), ccks=56883327, wck=42.663, mem=55M444
49.84/45.47 decisions=337594, wrong=165902, backtracks=119973, failedAssignments=107657, nogoods=1554, foundSolutions=24, bestBound=144
49.84/45.47
49.94/45.51 num=235, depth=21..29, filters=22208760, revisions=(28452980,useless=10856166), ccks=56924028, wck=42.699, mem=55M444
49.94/45.51 decisions=337895, wrong=166042, backtracks=120059, failedAssignments=107755, nogoods=1569, foundSolutions=24, bestBound=144
49.94/45.51
49.94/45.55 num=236, depth=20..29, filters=22232160, revisions=(28486754,useless=10870027), ccks=56971928, wck=42.744, mem=59M490
49.94/45.55 decisions=338226, wrong=166197, backtracks=120166, failedAssignments=107863, nogoods=1577, foundSolutions=24, bestBound=144
49.94/45.55
49.94/45.60 num=237, depth=21..27, filters=22254239, revisions=(28517732,useless=10882206), ccks=57020687, wck=42.786, mem=59M490
49.94/45.60 decisions=338586, wrong=166366, backtracks=120277, failedAssignments=107982, nogoods=1588, foundSolutions=24, bestBound=144
49.94/45.60
50.04/45.65 num=238, depth=20..30, filters=22280006, revisions=(28553394,useless=10896453), ccks=57074057, wck=42.836, mem=63M536
50.04/45.65 decisions=338972, wrong=166547, backtracks=120400, failedAssignments=108113, nogoods=1602, foundSolutions=24, bestBound=144
50.04/45.65
50.14/45.71 num=239, depth=20..29, filters=22310232, revisions=(28594328,useless=10912183), ccks=57147352, wck=42.897, mem=63M536
50.14/45.71 decisions=339409, wrong=166754, backtracks=120549, failedAssignments=108257, nogoods=1609, foundSolutions=24, bestBound=144
50.14/45.71
50.14/45.76 num=240, depth=21..30, filters=22338131, revisions=(28633662,useless=10927630), ccks=57211602, wck=42.95, mem=63M536
50.14/45.76 decisions=339873, wrong=166974, backtracks=120697, failedAssignments=108415, nogoods=1618, foundSolutions=24, bestBound=144
50.14/45.76
50.24/45.83 num=241, depth=19..27, filters=22377659, revisions=(28689264,useless=10949337), ccks=57297685, wck=43.023, mem=67M583
50.24/45.83 decisions=340431, wrong=167241, backtracks=120859, failedAssignments=108589, nogoods=1628, foundSolutions=24, bestBound=144
50.24/45.83
50.34/45.91 num=242, depth=21..30, filters=22415904, revisions=(28740269,useless=10969228), ccks=57390615, wck=43.1, mem=71M629
50.34/45.91 decisions=340988, wrong=167508, backtracks=121060, failedAssignments=108780, nogoods=1643, foundSolutions=24, bestBound=144
50.34/45.91
50.34/45.99 num=243, depth=20..29, filters=22454913, revisions=(28792639,useless=10989358), ccks=57486691, wck=43.179, mem=71M629
50.34/45.99 decisions=341629, wrong=167817, backtracks=121284, failedAssignments=108991, nogoods=1650, foundSolutions=24, bestBound=144
50.34/45.99
50.45/46.07 num=244, depth=19..30, filters=22499790, revisions=(28853623,useless=11012909), ccks=57578347, wck=43.264, mem=75M675
50.45/46.07 decisions=342316, wrong=168149, backtracks=121477, failedAssignments=109223, nogoods=1656, foundSolutions=24, bestBound=144
50.45/46.07
50.56/46.16 num=245, depth=21..29, filters=22543651, revisions=(28912805,useless=11035308), ccks=57678314, wck=43.348, mem=79M722
50.56/46.16 decisions=343068, wrong=168514, backtracks=121713, failedAssignments=109478, nogoods=1669, foundSolutions=24, bestBound=144
50.56/46.16
50.65/46.26 num=246, depth=20..29, filters=22599941, revisions=(28987170,useless=11063002), ccks=57802011, wck=43.454, mem=79M722
50.65/46.26 decisions=343903, wrong=168921, backtracks=121995, failedAssignments=109759, nogoods=1674, foundSolutions=24, bestBound=144
50.65/46.26
50.75/46.35 num=247, depth=19..30, filters=22645940, revisions=(29051788,useless=11090800), ccks=57922314, wck=43.545, mem=83M768
50.75/46.35 decisions=344823, wrong=169370, backtracks=122352, failedAssignments=110068, nogoods=1679, foundSolutions=24, bestBound=144
50.75/46.35
50.86/46.48 num=248, depth=19..30, filters=22712516, revisions=(29141077,useless=11125125), ccks=58062740, wck=43.667, mem=87M814
50.86/46.48 decisions=345816, wrong=169856, backtracks=122659, failedAssignments=110408, nogoods=1689, foundSolutions=24, bestBound=144
50.86/46.48
51.06/46.63 num=249, depth=20..29, filters=22786309, revisions=(29235490,useless=11160931), ccks=58244826, wck=43.817, mem=91M861
51.06/46.63 decisions=346949, wrong=170412, backtracks=123079, failedAssignments=110782, nogoods=1696, foundSolutions=24, bestBound=144
51.06/46.63
51.16/46.77 num=250, depth=20..29, filters=22856576, revisions=(29329777,useless=11197282), ccks=58413871, wck=43.956, mem=95M907
51.16/46.77 decisions=348187, wrong=171020, backtracks=123481, failedAssignments=111193, nogoods=1704, foundSolutions=24, bestBound=144
51.16/46.77
51.26/46.89 num=251, depth=20..30, filters=22923211, revisions=(29423692,useless=11236431), ccks=58582380, wck=44.084, mem=100M811
51.26/46.89 decisions=349476, wrong=171654, backtracks=123950, failedAssignments=111645, nogoods=1715, foundSolutions=24, bestBound=144
51.26/46.89
51.47/47.07 num=252, depth=19..29, filters=23015290, revisions=(29547713,useless=11283379), ccks=58785543, wck=44.255, mem=108M903
51.47/47.07 decisions=350923, wrong=172367, backtracks=124398, failedAssignments=112142, nogoods=1723, foundSolutions=24, bestBound=144
51.47/47.07
51.67/47.28 num=253, depth=19..30, filters=23123610, revisions=(29687267,useless=11335374), ccks=59061542, wck=44.471, mem=112M950
51.67/47.28 decisions=352601, wrong=173195, backtracks=125041, failedAssignments=112689, nogoods=1734, foundSolutions=24, bestBound=144
51.67/47.28
51.87/47.50 num=254, depth=20..30, filters=23234517, revisions=(29832313,useless=11389920), ccks=59324886, wck=44.685, mem=121M42
51.87/47.50 decisions=354379, wrong=174073, backtracks=125664, failedAssignments=113291, nogoods=1745, foundSolutions=24, bestBound=144
51.87/47.50
52.17/47.75 num=255, depth=19..32, filters=23367526, revisions=(30014912,useless=11467203), ccks=59649243, wck=44.938, mem=129M135
52.17/47.75 decisions=356625, wrong=175184, backtracks=126555, failedAssignments=113953, nogoods=1750, foundSolutions=24, bestBound=144
52.17/47.75
52.48/48.04 num=256, depth=20..30, filters=23520546, revisions=(30207916,useless=11539301), ccks=60028198, wck=45.232, mem=137M228
52.48/48.04 decisions=358893, wrong=176307, backtracks=127422, failedAssignments=114681, nogoods=1762, foundSolutions=24, bestBound=144
52.48/48.04
52.77/48.36 num=257, depth=19..31, filters=23684786, revisions=(30422351,useless=11621712), ccks=60420070, wck=45.549, mem=149M367
52.77/48.36 decisions=361341, wrong=177519, backtracks=128364, failedAssignments=115482, nogoods=1772, foundSolutions=24, bestBound=144
52.77/48.36
53.07/48.68 num=258, depth=20..30, filters=23853821, revisions=(30635318,useless=11700767), ccks=60828736, wck=45.868, mem=157M459
53.07/48.68 decisions=364098, wrong=178887, backtracks=129336, failedAssignments=116363, nogoods=1779, foundSolutions=24, bestBound=144
53.07/48.68
53.48/49.05 num=259, depth=19..30, filters=24047835, revisions=(30887527,useless=11796194), ccks=61289374, wck=46.238, mem=169M598
53.48/49.05 decisions=367103, wrong=180378, backtracks=130418, failedAssignments=117333, nogoods=1789, foundSolutions=24, bestBound=144
53.48/49.05
53.97/49.54 num=260, depth=17..31, filters=24311557, revisions=(31220290,useless=11927872), ccks=61836327, wck=46.732, mem=181M738
53.97/49.54 decisions=370518, wrong=182074, backtracks=131768, failedAssignments=118400, nogoods=1800, foundSolutions=24, bestBound=144
53.97/49.54
54.37/49.96 num=261, depth=19..31, filters=24533228, revisions=(31505157,useless=12031224), ccks=62346615, wck=47.149, mem=197M923
54.37/49.96 decisions=374038, wrong=183822, backtracks=132991, failedAssignments=119573, nogoods=1809, foundSolutions=24, bestBound=144
54.37/49.96
54.87/50.45 num=262, depth=19..30, filters=24798102, revisions=(31842839,useless=12156063), ccks=62948384, wck=47.64, mem=214M108
54.87/50.45 decisions=377883, wrong=185734, backtracks=134338, failedAssignments=120864, nogoods=1824, foundSolutions=24, bestBound=144
54.87/50.45
55.37/51.00 num=263, depth=18..31, filters=25078208, revisions=(32199295,useless=12290137), ccks=63636765, wck=48.193, mem=27M97
55.37/51.00 decisions=382122, wrong=187842, backtracks=135867, failedAssignments=122284, nogoods=1831, foundSolutions=24, bestBound=144
55.37/51.00
56.08/51.60 num=264, depth=18..29, filters=25384705, revisions=(32583107,useless=12430957), ccks=64400218, wck=48.788, mem=46M849
56.08/51.60 decisions=386910, wrong=190226, backtracks=137621, failedAssignments=123846, nogoods=1835, foundSolutions=24, bestBound=144
56.08/51.60
56.68/52.27 num=265, depth=17..29, filters=25729182, revisions=(33035385,useless=12604814), ccks=65277866, wck=49.463, mem=66M600
56.68/52.27 decisions=392290, wrong=192905, backtracks=139554, failedAssignments=125564, nogoods=1839, foundSolutions=24, bestBound=144
56.68/52.27
57.38/52.97 num=266, depth=18..31, filters=26087907, revisions=(33505523,useless=12792284), ccks=66194886, wck=50.156, mem=86M352
57.38/52.97 decisions=398193, wrong=195846, backtracks=141929, failedAssignments=127454, nogoods=1846, foundSolutions=24, bestBound=144
57.38/52.97
58.18/53.74 num=267, depth=18..30, filters=26495459, revisions=(34025882,useless=12987775), ccks=67163036, wck=50.932, mem=110M54
58.18/53.74 decisions=404621, wrong=199050, backtracks=144280, failedAssignments=129533, nogoods=1853, foundSolutions=24, bestBound=144
58.18/53.74
59.08/54.61 num=268, depth=18..30, filters=26966342, revisions=(34636196,useless=13214113), ccks=68204717, wck=51.795, mem=141M657
59.08/54.61 decisions=411770, wrong=202614, backtracks=146708, failedAssignments=131820, nogoods=1860, foundSolutions=24, bestBound=144
59.08/54.61
59.88/55.49 num=269, depth=19..31, filters=27419036, revisions=(35232205,useless=13456910), ccks=69431513, wck=52.675, mem=165M360
59.88/55.49 decisions=420140, wrong=206788, backtracks=149974, failedAssignments=134336, nogoods=1871, foundSolutions=24, bestBound=144
59.88/55.49
60.96/56.48 num=270, depth=18..31, filters=27941732, revisions=(35913794,useless=13717064), ccks=70690868, wck=53.671, mem=196M962
60.96/56.48 decisions=428640, wrong=211027, backtracks=153152, failedAssignments=137104, nogoods=1881, foundSolutions=24, bestBound=144
60.96/56.48
62.37/57.89 num=271, depth=17..31, filters=28671139, revisions=(36835825,useless=14071027), ccks=72533031, wck=55.076, mem=38M632
62.37/57.89 decisions=438895, wrong=216144, backtracks=157451, failedAssignments=140148, nogoods=1893, foundSolutions=24, bestBound=144
62.37/57.89
63.77/59.25 num=272, depth=18..33, filters=29403018, revisions=(37737207,useless=14403006), ccks=74364382, wck=56.439, mem=81M216
63.77/59.25 decisions=449801, wrong=221586, backtracks=161555, failedAssignments=143497, nogoods=1902, foundSolutions=24, bestBound=144
63.77/59.25
64.97/60.44 num=273, depth=17..32, filters=30021562, revisions=(38578603,useless=14754715), ccks=76010566, wck=57.626, mem=116M58
64.97/60.44 decisions=461208, wrong=227279, backtracks=166037, failedAssignments=147181, nogoods=1913, foundSolutions=24, bestBound=144
64.97/60.44
66.58/62.09 num=274, depth=17..30, filters=30901586, revisions=(39682907,useless=15163942), ccks=78127112, wck=59.277, mem=170M256
66.58/62.09 decisions=473779, wrong=233553, backtracks=170824, failedAssignments=151233, nogoods=1921, foundSolutions=24, bestBound=144
66.58/62.09
68.38/63.82 num=275, depth=17..32, filters=31802960, revisions=(40816311,useless=15583630), ccks=80390472, wck=61.008, mem=30M760
68.38/63.82 decisions=487742, wrong=240523, backtracks=176113, failedAssignments=155690, nogoods=1926, foundSolutions=24, bestBound=144
68.38/63.82
70.09/65.58 num=276, depth=18..32, filters=32751934, revisions=(42063430,useless=16062621), ccks=82690805, wck=62.771, mem=83M827
70.09/65.58 decisions=502955, wrong=248118, backtracks=181942, failedAssignments=160593, nogoods=1937, foundSolutions=24, bestBound=144
70.09/65.58
72.49/68.00 num=277, depth=17..31, filters=34013653, revisions=(43605654,useless=16622618), ccks=85966378, wck=65.186, mem=159M637
72.49/68.00 decisions=520730, wrong=256994, backtracks=188600, failedAssignments=165987, nogoods=1952, foundSolutions=24, bestBound=144
72.49/68.00
75.00/70.47 num=278, depth=18..32, filters=35328664, revisions=(45261158,useless=17246904), ccks=89455325, wck=67.656, mem=49M139
75.00/70.47 decisions=540490, wrong=266863, backtracks=195997, failedAssignments=171920, nogoods=1961, foundSolutions=24, bestBound=144
75.00/70.47
77.50/72.97 num=279, depth=17..31, filters=36698336, revisions=(46977467,useless=17875503), ccks=92755606, wck=70.158, mem=127M19
77.50/72.97 decisions=560998, wrong=277107, backtracks=203332, failedAssignments=178446, nogoods=1970, foundSolutions=24, bestBound=144
77.50/72.97
80.41/75.81 num=280, depth=17..31, filters=38226660, revisions=(48832447,useless=18545641), ccks=96523753, wck=73.004, mem=34M121
80.41/75.81 decisions=583698, wrong=288446, backtracks=211930, failedAssignments=185625, nogoods=1985, foundSolutions=24, bestBound=144
80.41/75.81
83.62/79.01 num=281, depth=16..31, filters=39964103, revisions=(50985633,useless=19335616), ccks=100696451, wck=76.197, mem=135M940
83.62/79.01 decisions=608857, wrong=301015, backtracks=221445, failedAssignments=193522, nogoods=1995, foundSolutions=24, bestBound=144
83.62/79.01
87.12/82.58 num=282, depth=17..33, filters=41885513, revisions=(53332109,useless=20197377), ccks=105488198, wck=79.774, mem=65M953
87.12/82.58 decisions=637183, wrong=315167, backtracks=232506, failedAssignments=202209, nogoods=2004, foundSolutions=24, bestBound=144
87.12/82.58
90.82/86.20 num=283, depth=16..34, filters=43893705, revisions=(55831552,useless=21099803), ccks=110146379, wck=83.387, mem=179M993
90.82/86.20 decisions=667765, wrong=330447, backtracks=243339, failedAssignments=211764, nogoods=2016, foundSolutions=24, bestBound=144
90.82/86.20
94.84/90.21 num=284, depth=18..33, filters=46019626, revisions=(58455151,useless=22078202), ccks=115512448, wck=87.399, mem=124M423
94.84/90.21 decisions=702208, wrong=347658, backtracks=256886, failedAssignments=222275, nogoods=2025, foundSolutions=24, bestBound=144
94.84/90.21
97.66/93.10 o 116
97.66/93.10 num=285, depth=17..624, filters=47616356, revisions=(60407238,useless=22785258), ccks=119354493, wck=90.286, mem=43M907
97.66/93.10 decisions=726034, wrong=359560, backtracks=265491, failedAssignments=229604, nogoods=2036, foundSolutions=25, bestBound=116
97.66/93.10
102.35/97.74 num=286, depth=17..34, filters=50197695, revisions=(63627245,useless=23966702), ccks=125125319, wck=94.929, mem=194M290
102.35/97.74 decisions=766157, wrong=379611, backtracks=279835, failedAssignments=242322, nogoods=2042, foundSolutions=25, bestBound=116
102.35/97.74
102.35/97.75 num=287, depth=23..29, filters=50200018, revisions=(63631377,useless=23968882), ccks=125131989, wck=94.935, mem=194M290
102.35/97.75 decisions=766208, wrong=379625, backtracks=279845, failedAssignments=242333, nogoods=2045, foundSolutions=25, bestBound=116
102.35/97.75
102.35/97.75 num=288, depth=21..30, filters=50201608, revisions=(63634694,useless=23970903), ccks=125135862, wck=94.94, mem=194M290
102.35/97.75 decisions=766261, wrong=379641, backtracks=279859, failedAssignments=242345, nogoods=2048, foundSolutions=25, bestBound=116
102.35/97.75
102.35/97.76 num=289, depth=22..27, filters=50204514, revisions=(63639543,useless=23973305), ccks=125142704, wck=94.947, mem=194M290
102.35/97.76 decisions=766318, wrong=379658, backtracks=279868, failedAssignments=242358, nogoods=2053, foundSolutions=25, bestBound=116
102.35/97.76
102.35/97.76 num=290, depth=21..29, filters=50206655, revisions=(63643545,useless=23975562), ccks=125148360, wck=94.952, mem=194M290
102.35/97.76 decisions=766376, wrong=379676, backtracks=279881, failedAssignments=242372, nogoods=2059, foundSolutions=25, bestBound=116
102.35/97.76
102.35/97.77 num=291, depth=22..28, filters=50210109, revisions=(63649083,useless=23978280), ccks=125155782, wck=94.96, mem=194M290
102.35/97.77 decisions=766443, wrong=379698, backtracks=279896, failedAssignments=242388, nogoods=2067, foundSolutions=25, bestBound=116
102.35/97.77
102.35/97.78 num=292, depth=21..27, filters=50214238, revisions=(63655578,useless=23981331), ccks=125164966, wck=94.969, mem=194M290
102.35/97.78 decisions=766515, wrong=379722, backtracks=279913, failedAssignments=242405, nogoods=2072, foundSolutions=25, bestBound=116
102.35/97.78
102.35/97.79 num=293, depth=22..28, filters=50217504, revisions=(63661030,useless=23984101), ccks=125171797, wck=94.977, mem=194M290
102.35/97.79 decisions=766586, wrong=379746, backtracks=279929, failedAssignments=242424, nogoods=2079, foundSolutions=25, bestBound=116
102.35/97.79
102.35/97.80 num=294, depth=22..29, filters=50221100, revisions=(63666804,useless=23986905), ccks=125179770, wck=94.985, mem=194M290
102.35/97.80 decisions=766664, wrong=379773, backtracks=279944, failedAssignments=242445, nogoods=2088, foundSolutions=25, bestBound=116
102.35/97.80
102.46/97.81 num=295, depth=22..28, filters=50225706, revisions=(63674051,useless=23990319), ccks=125189692, wck=94.995, mem=194M290
102.46/97.81 decisions=766745, wrong=379802, backtracks=279965, failedAssignments=242468, nogoods=2094, foundSolutions=25, bestBound=116
102.46/97.81
102.46/97.82 num=296, depth=22..29, filters=50231810, revisions=(63682988,useless=23994211), ccks=125202891, wck=95.012, mem=26M770
102.46/97.82 decisions=766831, wrong=379834, backtracks=279993, failedAssignments=242493, nogoods=2100, foundSolutions=25, bestBound=116
102.46/97.82
102.46/97.83 num=297, depth=21..26, filters=50237205, revisions=(63691395,useless=23998045), ccks=125214577, wck=95.024, mem=26M770
102.46/97.83 decisions=766933, wrong=379874, backtracks=280018, failedAssignments=242521, nogoods=2104, foundSolutions=25, bestBound=116
102.46/97.83
102.46/97.85 num=298, depth=21..28, filters=50243036, revisions=(63700145,useless=24001913), ccks=125227533, wck=95.036, mem=26M770
102.46/97.85 decisions=767042, wrong=379917, backtracks=280043, failedAssignments=242552, nogoods=2114, foundSolutions=25, bestBound=116
102.46/97.85
102.46/97.86 num=299, depth=21..28, filters=50251183, revisions=(63711838,useless=24007040), ccks=125245407, wck=95.054, mem=26M770
102.46/97.86 decisions=767167, wrong=379968, backtracks=280082, failedAssignments=242586, nogoods=2122, foundSolutions=25, bestBound=116
102.46/97.86
102.46/97.88 num=300, depth=21..27, filters=50258025, revisions=(63722284,useless=24011712), ccks=125260550, wck=95.069, mem=26M770
102.46/97.88 decisions=767289, wrong=380018, backtracks=280119, failedAssignments=242623, nogoods=2127, foundSolutions=25, bestBound=116
102.46/97.88
102.46/97.89 num=301, depth=21..27, filters=50265365, revisions=(63733193,useless=24016470), ccks=125277804, wck=95.085, mem=26M770
102.46/97.89 decisions=767434, wrong=380079, backtracks=280159, failedAssignments=242664, nogoods=2131, foundSolutions=25, bestBound=116
102.46/97.89
102.58/97.91 num=302, depth=21..28, filters=50274834, revisions=(63746829,useless=24022092), ccks=125296960, wck=95.103, mem=26M770
102.58/97.91 decisions=767584, wrong=380143, backtracks=280202, failedAssignments=242709, nogoods=2142, foundSolutions=25, bestBound=116
102.58/97.91
102.58/97.93 num=303, depth=21..30, filters=50281917, revisions=(63757685,useless=24027054), ccks=125313090, wck=95.118, mem=26M770
102.58/97.93 decisions=767740, wrong=380210, backtracks=280252, failedAssignments=242759, nogoods=2151, foundSolutions=25, bestBound=116
102.58/97.93
102.58/97.95 num=304, depth=21..28, filters=50291157, revisions=(63771465,useless=24033118), ccks=125332551, wck=95.137, mem=30M114
102.58/97.95 decisions=767914, wrong=380285, backtracks=280304, failedAssignments=242814, nogoods=2161, foundSolutions=25, bestBound=116
102.58/97.95
102.58/97.97 num=305, depth=20..27, filters=50303295, revisions=(63789020,useless=24040435), ccks=125361056, wck=95.162, mem=30M114
102.58/97.97 decisions=768108, wrong=380371, backtracks=280358, failedAssignments=242875, nogoods=2169, foundSolutions=25, bestBound=116
102.58/97.97
102.58/98.00 num=306, depth=22..31, filters=50318771, revisions=(63810503,useless=24049212), ccks=125394264, wck=95.193, mem=30M114
102.58/98.00 decisions=768329, wrong=380470, backtracks=280441, failedAssignments=242942, nogoods=2180, foundSolutions=25, bestBound=116
102.58/98.00
102.75/98.03 num=307, depth=21..30, filters=50331975, revisions=(63829309,useless=24056790), ccks=125421710, wck=95.22, mem=30M114
102.75/98.03 decisions=768569, wrong=380579, backtracks=280511, failedAssignments=243016, nogoods=2187, foundSolutions=25, bestBound=116
102.75/98.03
102.75/98.06 num=308, depth=21..29, filters=50347256, revisions=(63850849,useless=24065820), ccks=125455814, wck=95.252, mem=33M459
102.75/98.06 decisions=768812, wrong=380689, backtracks=280601, failedAssignments=243097, nogoods=2192, foundSolutions=25, bestBound=116
102.75/98.06
102.86/98.11 num=309, depth=20..27, filters=50372763, revisions=(63885481,useless=24079574), ccks=125514054, wck=95.304, mem=33M459
102.86/98.11 decisions=769119, wrong=380832, backtracks=280727, failedAssignments=243186, nogoods=2199, foundSolutions=25, bestBound=116
102.86/98.11
102.86/98.15 num=310, depth=21..27, filters=50388755, revisions=(63908507,useless=24089148), ccks=125547846, wck=95.337, mem=36M804
102.86/98.15 decisions=769439, wrong=380981, backtracks=280821, failedAssignments=243284, nogoods=2208, foundSolutions=25, bestBound=116
102.86/98.15
102.86/98.19 num=311, depth=20..29, filters=50408805, revisions=(63936721,useless=24100750), ccks=125596442, wck=95.38, mem=36M804
102.86/98.19 decisions=769800, wrong=381150, backtracks=280945, failedAssignments=243392, nogoods=2212, foundSolutions=25, bestBound=116
102.86/98.19
102.95/98.23 num=312, depth=21..30, filters=50429073, revisions=(63964405,useless=24111858), ccks=125640203, wck=95.421, mem=36M804
102.95/98.23 decisions=770163, wrong=381321, backtracks=281069, failedAssignments=243511, nogoods=2218, foundSolutions=25, bestBound=116
102.95/98.23
102.95/98.26 num=313, depth=19..30, filters=50444051, revisions=(63988482,useless=24123929), ccks=125680845, wck=95.453, mem=40M148
102.95/98.26 decisions=770535, wrong=381496, backtracks=281229, failedAssignments=243642, nogoods=2221, foundSolutions=25, bestBound=116
102.95/98.26
103.05/98.32 num=314, depth=20..29, filters=50473949, revisions=(64029774,useless=24140700), ccks=125743445, wck=95.512, mem=40M148
103.05/98.32 decisions=770986, wrong=381710, backtracks=281400, failedAssignments=243786, nogoods=2227, foundSolutions=25, bestBound=116
103.05/98.32
103.05/98.38 num=315, depth=20..29, filters=50503220, revisions=(64068649,useless=24155774), ccks=125807517, wck=95.572, mem=43M493
103.05/98.38 decisions=771456, wrong=381933, backtracks=281562, failedAssignments=243944, nogoods=2234, foundSolutions=25, bestBound=116
103.05/98.38
103.15/98.44 num=316, depth=20..30, filters=50533476, revisions=(64111651,useless=24173764), ccks=125873226, wck=95.633, mem=43M493
103.15/98.44 decisions=771996, wrong=382192, backtracks=281764, failedAssignments=244118, nogoods=2242, foundSolutions=25, bestBound=116
103.15/98.44
103.26/98.52 num=317, depth=19..28, filters=50569149, revisions=(64160120,useless=24193039), ccks=125958245, wck=95.706, mem=46M837
103.26/98.52 decisions=772590, wrong=382478, backtracks=281972, failedAssignments=244309, nogoods=2250, foundSolutions=25, bestBound=116
103.26/98.52
103.26/98.59 num=318, depth=20..30, filters=50609248, revisions=(64215184,useless=24214782), ccks=126048728, wck=95.784, mem=50M182
103.26/98.59 decisions=773233, wrong=382789, backtracks=282209, failedAssignments=244520, nogoods=2255, foundSolutions=25, bestBound=116
103.26/98.59
103.36/98.68 num=319, depth=20..29, filters=50651647, revisions=(64272376,useless=24237486), ccks=126146339, wck=95.869, mem=50M182
103.36/98.68 decisions=773935, wrong=383129, backtracks=282466, failedAssignments=244752, nogoods=2268, foundSolutions=25, bestBound=116
103.36/98.68
103.46/98.77 num=320, depth=19..31, filters=50692745, revisions=(64329471,useless=24262131), ccks=126247918, wck=95.955, mem=53M527
103.46/98.77 decisions=774739, wrong=383520, backtracks=282794, failedAssignments=245007, nogoods=2277, foundSolutions=25, bestBound=116
103.46/98.77
103.56/98.86 num=321, depth=20..29, filters=50742030, revisions=(64395655,useless=24287793), ccks=126361496, wck=96.054, mem=56M871
103.56/98.86 decisions=775576, wrong=383928, backtracks=283075, failedAssignments=245288, nogoods=2287, foundSolutions=25, bestBound=116
103.56/98.86
103.66/98.95 num=322, depth=19..32, filters=50786533, revisions=(64461308,useless=24316747), ccks=126473506, wck=96.143, mem=60M216
103.66/98.95 decisions=776517, wrong=384388, backtracks=283461, failedAssignments=245597, nogoods=2292, foundSolutions=25, bestBound=116
103.66/98.95
103.77/99.11 num=323, depth=19..30, filters=50865794, revisions=(64565909,useless=24357169), ccks=126641820, wck=96.296, mem=63M560
103.77/99.11 decisions=777619, wrong=384928, backtracks=283895, failedAssignments=245937, nogoods=2298, foundSolutions=25, bestBound=116
103.77/99.11
103.96/99.25 num=324, depth=19..30, filters=50938497, revisions=(64660024,useless=24393136), ccks=126801984, wck=96.442, mem=70M250
103.96/99.25 decisions=778734, wrong=385474, backtracks=284327, failedAssignments=246311, nogoods=2305, foundSolutions=25, bestBound=116
103.96/99.25
104.16/99.43 num=325, depth=19..31, filters=51028961, revisions=(64777751,useless=24437495), ccks=127011018, wck=96.618, mem=73M594
104.16/99.43 decisions=780034, wrong=386113, backtracks=284823, failedAssignments=246722, nogoods=2312, foundSolutions=25, bestBound=116
104.16/99.43
104.26/99.57 num=326, depth=19..31, filters=51102450, revisions=(64880087,useless=24478530), ccks=127149484, wck=96.758, mem=76M939
104.26/99.57 decisions=781467, wrong=386818, backtracks=285343, failedAssignments=247174, nogoods=2327, foundSolutions=25, bestBound=116
104.26/99.57
104.46/99.71 num=327, depth=16..31, filters=51168269, revisions=(64976406,useless=24524693), ccks=127330409, wck=96.899, mem=80M283
104.46/99.71 decisions=783101, wrong=387626, backtracks=285976, failedAssignments=247671, nogoods=2332, foundSolutions=25, bestBound=116
104.46/99.71
104.66/99.90 num=328, depth=19..30, filters=51267494, revisions=(65109037,useless=24575669), ccks=127552390, wck=97.092, mem=86M973
104.66/99.90 decisions=784782, wrong=388455, backtracks=286562, failedAssignments=248218, nogoods=2342, foundSolutions=25, bestBound=116
104.66/99.90
104.87/100.14 num=329, depth=19..31, filters=51394599, revisions=(65274055,useless=24637995), ccks=127822344, wck=97.333, mem=97M6
104.87/100.14 decisions=786666, wrong=389386, backtracks=287249, failedAssignments=248820, nogoods=2350, foundSolutions=25, bestBound=116
104.87/100.14
105.06/100.38 num=330, depth=18..30, filters=51513742, revisions=(65431636,useless=24700639), ccks=128088363, wck=97.57, mem=103M696
105.06/100.38 decisions=788722, wrong=390403, backtracks=288075, failedAssignments=249482, nogoods=2362, foundSolutions=25, bestBound=116
105.06/100.38
105.36/100.61 num=331, depth=19..30, filters=51634400, revisions=(65598029,useless=24767133), ccks=128326302, wck=97.801, mem=110M385
105.36/100.61 decisions=790975, wrong=391519, backtracks=288916, failedAssignments=250210, nogoods=2373, foundSolutions=25, bestBound=116
105.36/100.61
105.56/100.85 num=332, depth=19..31, filters=51757949, revisions=(65766108,useless=24833078), ccks=128601988, wck=98.042, mem=117M74
105.56/100.85 decisions=793343, wrong=392692, backtracks=289801, failedAssignments=251011, nogoods=2384, foundSolutions=25, bestBound=116
105.56/100.85
105.87/101.17 num=333, depth=19..30, filters=51927523, revisions=(65988162,useless=24916873), ccks=128988457, wck=98.363, mem=127M108
105.87/101.17 decisions=795996, wrong=394007, backtracks=290755, failedAssignments=251892, nogoods=2394, foundSolutions=25, bestBound=116
105.87/101.17
106.16/101.49 num=334, depth=19..30, filters=52099163, revisions=(66214781,useless=25000760), ccks=129356644, wck=98.677, mem=137M142
106.16/101.49 decisions=798910, wrong=395453, backtracks=291680, failedAssignments=252862, nogoods=2406, foundSolutions=25, bestBound=116
106.16/101.49
106.56/101.89 num=335, depth=19..33, filters=52305084, revisions=(66486200,useless=25108629), ccks=129797661, wck=99.078, mem=150M520
106.56/101.89 decisions=802160, wrong=397066, backtracks=293050, failedAssignments=253929, nogoods=2415, foundSolutions=25, bestBound=116
106.56/101.89
106.96/102.30 num=336, depth=18..29, filters=52524614, revisions=(66780482,useless=25219828), ccks=130280945, wck=99.486, mem=163M899
106.96/102.30 decisions=805697, wrong=398824, backtracks=294205, failedAssignments=255102, nogoods=2427, foundSolutions=25, bestBound=116
106.96/102.30
107.46/102.74 num=337, depth=19..31, filters=52765386, revisions=(67101140,useless=25340712), ccks=130780078, wck=99.933, mem=177M277
107.46/102.74 decisions=809636, wrong=400783, backtracks=295555, failedAssignments=256393, nogoods=2442, foundSolutions=25, bestBound=116
107.46/102.74
107.97/103.23 num=338, depth=18..31, filters=53029598, revisions=(67452315,useless=25474485), ccks=131367521, wck=100.423, mem=26M805
107.97/103.23 decisions=813920, wrong=402914, backtracks=297059, failedAssignments=257813, nogoods=2448, foundSolutions=25, bestBound=116
107.97/103.23
108.47/103.79 num=339, depth=18..32, filters=53324604, revisions=(67840972,useless=25624594), ccks=132016837, wck=100.982, mem=43M214
108.47/103.79 decisions=818591, wrong=405239, backtracks=298696, failedAssignments=259375, nogoods=2464, foundSolutions=25, bestBound=116
108.47/103.79
109.14/104.34 num=340, depth=19..32, filters=53627124, revisions=(68248198,useless=25780493), ccks=132645529, wck=101.532, mem=62M905
109.14/104.34 decisions=823889, wrong=407876, backtracks=300536, failedAssignments=261093, nogoods=2481, foundSolutions=25, bestBound=116
109.14/104.34
109.85/105.09 num=341, depth=18..33, filters=54021359, revisions=(68762358,useless=25984916), ccks=133493004, wck=102.281, mem=82M596
109.85/105.09 decisions=829726, wrong=410784, backtracks=302815, failedAssignments=262983, nogoods=2488, foundSolutions=25, bestBound=116
109.85/105.09
110.64/105.89 num=342, depth=18..31, filters=54446924, revisions=(69309301,useless=26188080), ccks=134465176, wck=103.081, mem=108M851
110.64/105.89 decisions=836195, wrong=414007, backtracks=305203, failedAssignments=265062, nogoods=2496, foundSolutions=25, bestBound=116
110.64/105.89
111.54/106.76 num=343, depth=18..31, filters=54904509, revisions=(69916365,useless=26427420), ccks=135446394, wck=103.95, mem=135M105
111.54/106.76 decisions=843288, wrong=417542, backtracks=308107, failedAssignments=267349, nogoods=2508, foundSolutions=25, bestBound=116
111.54/106.76
112.64/107.81 num=344, depth=17..32, filters=55483876, revisions=(70672659,useless=26711064), ccks=136626554, wck=104.997, mem=167M923
112.64/107.81 decisions=851214, wrong=421493, backtracks=310888, failedAssignments=269865, nogoods=2521, foundSolutions=25, bestBound=116
112.64/107.81
113.55/108.76 num=345, depth=17..30, filters=55989922, revisions=(71340133,useless=26962980), ccks=137765546, wck=105.948, mem=36M432
113.55/108.76 decisions=859653, wrong=425702, backtracks=313770, failedAssignments=272633, nogoods=2531, foundSolutions=25, bestBound=116
113.55/108.76
114.75/109.90 num=346, depth=17..32, filters=56591322, revisions=(72105442,useless=27253799), ccks=139144238, wck=107.093, mem=71M841
114.75/109.90 decisions=869018, wrong=430373, backtracks=317321, failedAssignments=275677, nogoods=2534, foundSolutions=25, bestBound=116
114.75/109.90
115.86/111.08 num=347, depth=17..31, filters=57205337, revisions=(72894588,useless=27554590), ccks=140575163, wck=108.27, mem=107M250
115.86/111.08 decisions=879223, wrong=435465, backtracks=321096, failedAssignments=279026, nogoods=2542, foundSolutions=25, bestBound=116
115.86/111.08
117.15/112.32 num=348, depth=17..31, filters=57870555, revisions=(73772575,useless=27888413), ccks=142048529, wck=109.513, mem=149M96
117.15/112.32 decisions=890832, wrong=441259, backtracks=325311, failedAssignments=282710, nogoods=2551, foundSolutions=25, bestBound=116
117.15/112.32
118.76/114.01 num=349, depth=17..31, filters=58765184, revisions=(74900758,useless=28325734), ccks=144071379, wck=111.195, mem=39M370
118.76/114.01 decisions=903633, wrong=447649, backtracks=330240, failedAssignments=286762, nogoods=2559, foundSolutions=25, bestBound=116
118.76/114.01
120.57/115.73 num=350, depth=17..31, filters=59687503, revisions=(76125740,useless=28794478), ccks=146101628, wck=112.917, mem=93M24
120.57/115.73 decisions=917896, wrong=454769, backtracks=335557, failedAssignments=291219, nogoods=2562, foundSolutions=25, bestBound=116
120.57/115.73
122.27/117.50 num=351, depth=17..31, filters=60638118, revisions=(77358318,useless=29275764), ccks=148277863, wck=114.685, mem=146M678
122.27/117.50 decisions=933258, wrong=462439, backtracks=341216, failedAssignments=296122, nogoods=2573, foundSolutions=25, bestBound=116
122.27/117.50
124.48/119.61 num=352, depth=17..31, filters=61776172, revisions=(78837618,useless=29837232), ccks=150826310, wck=116.8, mem=57M680
124.48/119.61 decisions=950501, wrong=471050, backtracks=347928, failedAssignments=301516, nogoods=2580, foundSolutions=25, bestBound=116
124.48/119.61
126.89/122.02 num=353, depth=17..32, filters=63049413, revisions=(80404785,useless=30423109), ccks=153868795, wck=119.211, mem=131M918
126.89/122.02 decisions=969463, wrong=480519, backtracks=355497, failedAssignments=307449, nogoods=2585, foundSolutions=25, bestBound=116
126.89/122.02
129.29/124.42 num=354, depth=17..35, filters=64318148, revisions=(81992499,useless=31034688), ccks=156891233, wck=121.614, mem=50M895
129.29/124.42 decisions=990490, wrong=491021, backtracks=363715, failedAssignments=313975, nogoods=2592, foundSolutions=25, bestBound=116
129.29/124.42
132.08/127.23 num=355, depth=16..32, filters=65797746, revisions=(83889717,useless=31757950), ccks=160363378, wck=124.418, mem=141M805
132.08/127.23 decisions=1013027, wrong=502279, backtracks=372309, failedAssignments=321154, nogoods=2600, foundSolutions=25, bestBound=116
132.08/127.23
134.79/129.98 num=356, depth=16..33, filters=67227222, revisions=(85706870,useless=32446884), ccks=163680574, wck=127.167, mem=74M312
134.79/129.98 decisions=1037325, wrong=514416, backtracks=381677, failedAssignments=329051, nogoods=2608, foundSolutions=25, bestBound=116
134.79/129.98
137.49/132.63 num=357, depth=9..32, filters=68502702, revisions=(87767860,useless=33512841), ccks=167141111, wck=129.819, mem=145M782
137.49/132.63 decisions=1068512, wrong=530003, backtracks=394959, failedAssignments=337738, nogoods=2614, foundSolutions=25, bestBound=116
137.49/132.63
141.40/136.57 num=358, depth=16..32, filters=70617019, revisions=(90427656,useless=34507432), ccks=172067138, wck=133.759, mem=120M197
141.40/136.57 decisions=1099304, wrong=545390, backtracks=406986, failedAssignments=347293, nogoods=2623, foundSolutions=25, bestBound=116
141.40/136.57
145.70/140.80 num=359, depth=16..32, filters=72883213, revisions=(93266206,useless=35549607), ccks=177283279, wck=137.988, mem=109M872
145.70/140.80 decisions=1132577, wrong=562016, backtracks=419835, failedAssignments=357804, nogoods=2637, foundSolutions=25, bestBound=116
145.70/140.80
150.61/145.78 num=360, depth=16..31, filters=75577552, revisions=(96675676,useless=36836478), ccks=183504484, wck=142.966, mem=122M427
150.61/145.78 decisions=1170083, wrong=580759, backtracks=434660, failedAssignments=369366, nogoods=2649, foundSolutions=25, bestBound=116
150.61/145.78
155.03/150.15 num=361, depth=15..33, filters=77818196, revisions=(99628062,useless=38054250), ccks=189432216, wck=147.339, mem=101M239
155.03/150.15 decisions=1212438, wrong=601926, backtracks=452531, failedAssignments=382084, nogoods=2656, foundSolutions=25, bestBound=116
155.03/150.15
160.33/155.44 num=362, depth=16..33, filters=80596631, revisions=(103078050,useless=39336096), ccks=196009114, wck=152.632, mem=129M637
160.33/155.44 decisions=1256236, wrong=623816, backtracks=470208, failedAssignments=396074, nogoods=2668, foundSolutions=25, bestBound=116
160.33/155.44
166.06/161.11 num=363, depth=15..32, filters=83769466, revisions=(107110435,useless=40835623), ccks=202943599, wck=158.302, mem=39M561
166.06/161.11 decisions=1305724, wrong=648549, backtracks=487586, failedAssignments=411463, nogoods=2675, foundSolutions=25, bestBound=116
166.06/161.11
172.15/167.30 num=364, depth=16..33, filters=87004574, revisions=(111280084,useless=42430455), ccks=210408933, wck=164.486, mem=98M903
172.15/167.30 decisions=1359889, wrong=675622, backtracks=509263, failedAssignments=428391, nogoods=2689, foundSolutions=25, bestBound=116
172.15/167.30
177.45/172.53 num=365, depth=10..30, filters=89485767, revisions=(115327192,useless=44676869), ccks=217049061, wck=169.722, mem=90M73
177.45/172.53 decisions=1431077, wrong=711209, backtracks=539908, failedAssignments=447012, nogoods=2696, foundSolutions=25, bestBound=116
177.45/172.53
184.67/179.79 num=366, depth=16..32, filters=93484064, revisions=(120577539,useless=46709165), ccks=226149323, wck=176.977, mem=65M747
184.67/179.79 decisions=1497321, wrong=744321, backtracks=563481, failedAssignments=467496, nogoods=2705, foundSolutions=25, bestBound=116
184.67/179.79
193.79/188.82 num=367, depth=16..35, filters=98273571, revisions=(126581918,useless=49035145), ccks=237983938, wck=186.007, mem=88M173
193.79/188.82 decisions=1573311, wrong=782304, backtracks=595299, failedAssignments=490028, nogoods=2712, foundSolutions=25, bestBound=116
193.79/188.82
203.71/198.70 num=368, depth=16..35, filters=103616234, revisions=(133339202,useless=51726337), ccks=250843851, wck=195.894, mem=35M417
203.71/198.70 decisions=1655646, wrong=823462, backtracks=629149, failedAssignments=514813, nogoods=2721, foundSolutions=25, bestBound=116
203.71/198.70
214.14/209.19 num=369, depth=16..35, filters=109449949, revisions=(140754387,useless=54613420), ccks=264648899, wck=206.381, mem=28M444
214.14/209.19 decisions=1746262, wrong=868760, backtracks=663197, failedAssignments=542077, nogoods=2732, foundSolutions=25, bestBound=116
214.14/209.19
225.55/220.54 num=370, depth=15..33, filters=115395763, revisions=(148149156,useless=57383292), ccks=278789612, wck=217.731, mem=51M365
225.55/220.54 decisions=1842110, wrong=916674, backtracks=701997, failedAssignments=572067, nogoods=2749, foundSolutions=25, bestBound=116
225.55/220.54
235.37/230.32 o 108
235.37/230.32 num=371, depth=15..624, filters=120628191, revisions=(154846592,useless=59953975), ccks=291153207, wck=227.508, mem=38M195
235.37/230.32 decisions=1919852, wrong=955534, backtracks=732423, failedAssignments=596398, nogoods=2760, foundSolutions=26, bestBound=108
235.37/230.32
249.80/244.77 num=372, depth=15..34, filters=128163561, revisions=(164283194,useless=63567590), ccks=309045614, wck=241.962, mem=85M589
249.80/244.77 decisions=2038518, wrong=1014857, backtracks=779693, failedAssignments=632686, nogoods=2768, foundSolutions=26, bestBound=108
249.80/244.77
249.80/244.78 num=373, depth=25..30, filters=128165886, revisions=(164287142,useless=63569632), ccks=309053259, wck=241.968, mem=85M589
249.80/244.78 decisions=2038580, wrong=1014875, backtracks=779704, failedAssignments=632697, nogoods=2770, foundSolutions=26, bestBound=108
249.80/244.78
249.80/244.78 num=374, depth=24..30, filters=128168666, revisions=(164291647,useless=63571930), ccks=309059575, wck=241.975, mem=85M589
249.80/244.78 decisions=2038641, wrong=1014893, backtracks=779717, failedAssignments=632709, nogoods=2775, foundSolutions=26, bestBound=108
249.80/244.78
249.80/244.79 num=375, depth=25..29, filters=128170819, revisions=(164295391,useless=63573900), ccks=309064715, wck=241.98, mem=85M589
249.80/244.79 decisions=2038705, wrong=1014912, backtracks=779726, failedAssignments=632722, nogoods=2782, foundSolutions=26, bestBound=108
249.80/244.79
249.90/244.80 num=376, depth=24..29, filters=128174587, revisions=(164301309,useless=63576842), ccks=309073777, wck=241.989, mem=85M589
249.90/244.80 decisions=2038777, wrong=1014936, backtracks=779748, failedAssignments=632736, nogoods=2785, foundSolutions=26, bestBound=108
249.90/244.80
249.90/244.81 num=377, depth=24..30, filters=128178106, revisions=(164306921,useless=63579612), ccks=309082330, wck=241.997, mem=85M589
249.90/244.81 decisions=2038849, wrong=1014959, backtracks=779765, failedAssignments=632752, nogoods=2790, foundSolutions=26, bestBound=108
249.90/244.81
249.90/244.82 num=378, depth=23..30, filters=128181960, revisions=(164312938,useless=63582545), ccks=309090949, wck=242.005, mem=87M508
249.90/244.82 decisions=2038920, wrong=1014982, backtracks=779781, failedAssignments=632769, nogoods=2794, foundSolutions=26, bestBound=108
249.90/244.82
249.90/244.82 num=379, depth=23..31, filters=128185245, revisions=(164318247,useless=63585207), ccks=309099180, wck=242.013, mem=87M508
249.90/244.82 decisions=2038995, wrong=1015007, backtracks=779798, failedAssignments=632788, nogoods=2796, foundSolutions=26, bestBound=108
249.90/244.82
249.90/244.83 num=380, depth=24..30, filters=128187814, revisions=(164322832,useless=63587699), ccks=309105321, wck=242.019, mem=87M508
249.90/244.83 decisions=2039077, wrong=1015035, backtracks=779817, failedAssignments=632809, nogoods=2806, foundSolutions=26, bestBound=108
249.90/244.83
249.90/244.84 num=381, depth=23..29, filters=128193793, revisions=(164331515,useless=63591611), ccks=309119336, wck=242.032, mem=87M508
249.90/244.84 decisions=2039178, wrong=1015073, backtracks=779846, failedAssignments=632832, nogoods=2811, foundSolutions=26, bestBound=108
249.90/244.84
249.90/244.85 num=382, depth=24..29, filters=128198138, revisions=(164338249,useless=63594669), ccks=309129190, wck=242.041, mem=87M508
249.90/244.85 decisions=2039280, wrong=1015112, backtracks=779869, failedAssignments=632857, nogoods=2814, foundSolutions=26, bestBound=108
249.90/244.85
249.90/244.86 num=383, depth=23..30, filters=128203747, revisions=(164346710,useless=63598523), ccks=309141717, wck=242.053, mem=87M508
249.90/244.86 decisions=2039385, wrong=1015153, backtracks=779901, failedAssignments=632885, nogoods=2819, foundSolutions=26, bestBound=108
249.90/244.86
249.90/244.88 num=384, depth=22..30, filters=128209980, revisions=(164356272,useless=63603010), ccks=309157155, wck=242.068, mem=89M690
249.90/244.88 decisions=2039494, wrong=1015196, backtracks=779937, failedAssignments=632916, nogoods=2825, foundSolutions=26, bestBound=108
249.90/244.88
249.90/244.89 num=385, depth=17..24, filters=128216075, revisions=(164367708,useless=63609655), ccks=309173136, wck=242.082, mem=89M690
249.90/244.89 decisions=2039639, wrong=1015260, backtracks=779987, failedAssignments=632950, nogoods=2826, foundSolutions=26, bestBound=108
249.90/244.89
250.01/244.91 num=386, depth=22..28, filters=128224506, revisions=(164380136,useless=63615294), ccks=309194383, wck=242.101, mem=89M690
250.01/244.91 decisions=2039785, wrong=1015322, backtracks=780032, failedAssignments=632987, nogoods=2834, foundSolutions=26, bestBound=108
250.01/244.91
250.01/244.94 num=387, depth=21..29, filters=128235799, revisions=(164396299,useless=63622411), ccks=309223935, wck=242.126, mem=89M690
250.01/244.94 decisions=2039946, wrong=1015390, backtracks=780090, failedAssignments=633028, nogoods=2838, foundSolutions=26, bestBound=108
250.01/244.94
250.01/244.96 num=388, depth=21..29, filters=128247687, revisions=(164412813,useless=63629540), ccks=309252436, wck=242.152, mem=91M609
250.01/244.96 decisions=2040107, wrong=1015459, backtracks=780145, failedAssignments=633073, nogoods=2845, foundSolutions=26, bestBound=108
250.01/244.96
250.01/244.98 num=389, depth=22..29, filters=128257889, revisions=(164427699,useless=63635985), ccks=309274396, wck=242.173, mem=91M609
250.01/244.98 decisions=2040286, wrong=1015537, backtracks=780203, failedAssignments=633123, nogoods=2850, foundSolutions=26, bestBound=108
250.01/244.98
250.12/245.01 num=390, depth=20..32, filters=128269246, revisions=(164445696,useless=63644684), ccks=309302606, wck=242.198, mem=93M528
250.12/245.01 decisions=2040494, wrong=1015631, backtracks=780290, failedAssignments=633178, nogoods=2852, foundSolutions=26, bestBound=108
250.12/245.01
250.12/245.05 num=391, depth=21..28, filters=128290701, revisions=(164474500,useless=63656436), ccks=309356273, wck=242.244, mem=93M528
250.12/245.05 decisions=2040725, wrong=1015735, backtracks=780375, failedAssignments=633239, nogoods=2856, foundSolutions=26, bestBound=108
250.12/245.05
250.12/245.09 num=392, depth=21..29, filters=128308389, revisions=(164499293,useless=63666865), ccks=309394020, wck=242.28, mem=95M447
250.12/245.09 decisions=2040969, wrong=1015845, backtracks=780456, failedAssignments=633306, nogoods=2863, foundSolutions=26, bestBound=108
250.12/245.09
250.22/245.12 num=393, depth=19..31, filters=128323844, revisions=(164522106,useless=63677347), ccks=309432576, wck=242.313, mem=95M447
250.22/245.12 decisions=2041319, wrong=1016009, backtracks=780590, failedAssignments=633380, nogoods=2868, foundSolutions=26, bestBound=108
250.22/245.12
250.22/245.16 num=394, depth=10..25, filters=128344787, revisions=(164561100,useless=63697091), ccks=309472511, wck=242.352, mem=97M365
250.22/245.16 decisions=2041732, wrong=1016209, backtracks=780751, failedAssignments=633461, nogoods=2874, foundSolutions=26, bestBound=108
250.22/245.16
250.31/245.20 num=395, depth=20..28, filters=128363951, revisions=(164588009,useless=63708707), ccks=309517183, wck=242.392, mem=99M284
250.31/245.20 decisions=2042046, wrong=1016354, backtracks=780858, failedAssignments=633550, nogoods=2882, foundSolutions=26, bestBound=108
250.31/245.20
250.31/245.25 num=396, depth=20..30, filters=128387750, revisions=(164621622,useless=63723052), ccks=309571333, wck=242.442, mem=99M284
250.31/245.25 decisions=2042395, wrong=1016517, backtracks=780982, failedAssignments=633648, nogoods=2886, foundSolutions=26, bestBound=108
250.31/245.25
250.31/245.28 num=397, depth=14..32, filters=128406536, revisions=(164653615,useless=63737747), ccks=309605272, wck=242.474, mem=101M203
250.31/245.28 decisions=2042832, wrong=1016728, backtracks=781126, failedAssignments=633756, nogoods=2892, foundSolutions=26, bestBound=108
250.31/245.28
250.41/245.34 num=398, depth=20..32, filters=128434003, revisions=(164691098,useless=63753334), ccks=309666690, wck=242.531, mem=103M122
250.41/245.34 decisions=2043248, wrong=1016925, backtracks=781268, failedAssignments=633875, nogoods=2901, foundSolutions=26, bestBound=108
250.41/245.34
250.51/245.40 num=399, depth=20..31, filters=128463678, revisions=(164733158,useless=63771136), ccks=309730841, wck=242.59, mem=105M41
250.51/245.40 decisions=2043700, wrong=1017139, backtracks=781431, failedAssignments=634006, nogoods=2907, foundSolutions=26, bestBound=108
250.51/245.40
250.51/245.46 num=400, depth=20..29, filters=128492636, revisions=(164775006,useless=63789129), ccks=309793633, wck=242.648, mem=106M960
250.51/245.46 decisions=2044175, wrong=1017365, backtracks=781610, failedAssignments=634150, nogoods=2914, foundSolutions=26, bestBound=108
250.51/245.46
250.61/245.52 num=401, depth=20..30, filters=128524544, revisions=(164817972,useless=63806444), ccks=309862903, wck=242.714, mem=108M879
250.61/245.52 decisions=2044687, wrong=1017610, backtracks=781774, failedAssignments=634308, nogoods=2921, foundSolutions=26, bestBound=108
250.61/245.52
250.71/245.60 num=402, depth=23..33, filters=128564719, revisions=(164871017,useless=63827724), ccks=309957752, wck=242.793, mem=110M798
250.71/245.60 decisions=2045325, wrong=1017916, backtracks=782022, failedAssignments=634482, nogoods=2926, foundSolutions=26, bestBound=108
250.71/245.60
250.71/245.67 num=403, depth=20..31, filters=128600958, revisions=(164920332,useless=63847707), ccks=310035729, wck=242.865, mem=112M717
250.71/245.67 decisions=2045924, wrong=1018203, backtracks=782223, failedAssignments=634673, nogoods=2934, foundSolutions=26, bestBound=108
250.71/245.67
250.81/245.79 num=404, depth=21..30, filters=128655233, revisions=(164993415,useless=63877634), ccks=310166354, wck=242.976, mem=116M554
250.81/245.79 decisions=2046667, wrong=1018562, backtracks=782495, failedAssignments=634884, nogoods=2939, foundSolutions=26, bestBound=108
250.81/245.79
250.91/245.87 num=405, depth=20..33, filters=128698610, revisions=(165055077,useless=63904080), ccks=310260674, wck=243.06, mem=120M129
250.91/245.87 decisions=2047444, wrong=1018940, backtracks=782785, failedAssignments=635116, nogoods=2947, foundSolutions=26, bestBound=108
250.91/245.87
251.01/245.99 num=406, depth=20..33, filters=128756038, revisions=(165135828,useless=63938460), ccks=310387296, wck=243.18, mem=26M121
251.01/245.99 decisions=2048301, wrong=1019357, backtracks=783110, failedAssignments=635371, nogoods=2958, foundSolutions=26, bestBound=108
251.01/245.99
251.23/246.12 num=407, depth=21..31, filters=128821589, revisions=(165224294,useless=63975223), ccks=310542552, wck=243.314, mem=31M810
251.23/246.12 decisions=2049327, wrong=1019859, backtracks=783489, failedAssignments=635652, nogoods=2964, foundSolutions=26, bestBound=108
251.23/246.12
251.32/246.27 num=408, depth=20..31, filters=128890708, revisions=(165320039,useless=64016396), ccks=310703611, wck=243.455, mem=35M602
251.32/246.27 decisions=2050389, wrong=1020377, backtracks=783909, failedAssignments=635961, nogoods=2973, foundSolutions=26, bestBound=108
251.32/246.27
251.52/246.41 num=409, depth=19..30, filters=128960560, revisions=(165416753,useless=64055412), ccks=310862815, wck=243.597, mem=39M394
251.52/246.41 decisions=2051504, wrong=1020924, backtracks=784289, failedAssignments=636301, nogoods=2979, foundSolutions=26, bestBound=108
251.52/246.41
251.72/246.60 num=410, depth=20..32, filters=129056075, revisions=(165546143,useless=64109265), ccks=311082653, wck=243.788, mem=45M82
251.72/246.60 decisions=2052801, wrong=1021561, backtracks=784810, failedAssignments=636675, nogoods=2988, foundSolutions=26, bestBound=108
251.72/246.60
251.82/246.77 num=411, depth=19..31, filters=129143047, revisions=(165664580,useless=64157055), ccks=311275489, wck=243.961, mem=50M771
251.82/246.77 decisions=2054196, wrong=1022247, backtracks=785361, failedAssignments=637086, nogoods=2995, foundSolutions=26, bestBound=108
251.82/246.77
252.02/246.95 num=412, depth=19..30, filters=129233576, revisions=(165788929,useless=64207918), ccks=311467193, wck=244.142, mem=56M459
252.02/246.95 decisions=2055655, wrong=1022966, backtracks=785906, failedAssignments=637538, nogoods=3003, foundSolutions=26, bestBound=108
252.02/246.95
252.23/247.16 num=413, depth=19..32, filters=129337589, revisions=(165932529,useless=64267307), ccks=311698740, wck=244.346, mem=62M147
252.23/247.16 decisions=2057452, wrong=1023853, backtracks=786591, failedAssignments=638035, nogoods=3010, foundSolutions=26, bestBound=108
252.23/247.16
252.42/247.35 num=414, depth=19..31, filters=129433682, revisions=(166067802,useless=64326131), ccks=311932207, wck=244.537, mem=67M835
252.42/247.35 decisions=2059178, wrong=1024705, backtracks=787306, failedAssignments=638582, nogoods=3021, foundSolutions=26, bestBound=108
252.42/247.35
252.72/247.60 num=415, depth=19..31, filters=129562311, revisions=(166237123,useless=64394458), ccks=312225588, wck=244.793, mem=77M316
252.72/247.60 decisions=2061209, wrong=1025710, backtracks=788069, failedAssignments=639184, nogoods=3027, foundSolutions=26, bestBound=108
252.72/247.60
252.92/247.84 num=416, depth=18..30, filters=129683468, revisions=(166404112,useless=64463295), ccks=312488957, wck=245.026, mem=83M4
252.92/247.84 decisions=2063317, wrong=1026752, backtracks=788854, failedAssignments=639846, nogoods=3030, foundSolutions=26, bestBound=108
252.92/247.84
253.23/248.13 num=417, depth=19..31, filters=129833231, revisions=(166609146,useless=64549139), ccks=312858416, wck=245.316, mem=92M485
253.23/248.13 decisions=2065745, wrong=1027955, backtracks=789816, failedAssignments=640574, nogoods=3037, foundSolutions=26, bestBound=108
253.23/248.13
253.52/248.46 num=418, depth=18..29, filters=130009189, revisions=(166836129,useless=64639913), ccks=313256981, wck=245.653, mem=101M965
253.52/248.46 decisions=2068423, wrong=1029283, backtracks=790859, failedAssignments=641375, nogoods=3050, foundSolutions=26, bestBound=108
253.52/248.46
253.92/248.80 num=419, depth=19..31, filters=130185771, revisions=(167065204,useless=64730902), ccks=313677089, wck=245.991, mem=113M342
253.92/248.80 decisions=2071194, wrong=1030658, backtracks=791892, failedAssignments=642256, nogoods=3061, foundSolutions=26, bestBound=108
253.92/248.80
254.24/249.13 num=420, depth=17..32, filters=130354350, revisions=(167290428,useless=64823759), ccks=314102557, wck=246.319, mem=28M9
254.24/249.13 decisions=2074514, wrong=1032306, backtracks=793137, failedAssignments=643226, nogoods=3068, foundSolutions=26, bestBound=108
254.24/249.13
254.62/249.57 num=421, depth=17..32, filters=130584352, revisions=(167588964,useless=64942872), ccks=314644562, wck=246.762, mem=41M140
254.62/249.57 decisions=2077936, wrong=1034005, backtracks=794554, failedAssignments=644293, nogoods=3077, foundSolutions=26, bestBound=108
254.62/249.57
255.13/250.06 num=422, depth=17..32, filters=130844009, revisions=(167922511,useless=65074239), ccks=315267740, wck=247.252, mem=56M146
255.13/250.06 decisions=2081818, wrong=1035935, backtracks=796074, failedAssignments=645466, nogoods=3085, foundSolutions=26, bestBound=108
255.13/250.06
255.72/250.61 num=423, depth=17..32, filters=131129173, revisions=(168294125,useless=65224237), ccks=315947573, wck=247.796, mem=73M28
255.72/250.61 decisions=2086088, wrong=1038058, backtracks=797827, failedAssignments=646757, nogoods=3092, foundSolutions=26, bestBound=108
255.72/250.61
256.23/251.14 num=424, depth=17..33, filters=131417005, revisions=(168663159,useless=65366994), ccks=316591304, wck=248.329, mem=89M910
256.23/251.14 decisions=2090791, wrong=1040398, backtracks=799605, failedAssignments=648177, nogoods=3105, foundSolutions=26, bestBound=108
256.23/251.14
256.82/251.71 num=425, depth=17..31, filters=131723693, revisions=(169057363,useless=65519782), ccks=317269111, wck=248.897, mem=106M792
256.82/251.71 decisions=2095754, wrong=1042869, backtracks=801357, failedAssignments=649739, nogoods=3113, foundSolutions=26, bestBound=108
256.82/251.71
257.43/252.31 num=426, depth=17..31, filters=132045131, revisions=(169468753,useless=65676684), ccks=317997108, wck=249.498, mem=31M671
257.43/252.31 decisions=2101237, wrong=1045599, backtracks=803339, failedAssignments=651457, nogoods=3128, foundSolutions=26, bestBound=108
257.43/252.31
258.14/253.02 num=427, depth=17..32, filters=132424342, revisions=(169953073,useless=65864370), ccks=318865219, wck=250.211, mem=55M789
258.14/253.02 decisions=2107193, wrong=1048567, backtracks=805584, failedAssignments=653347, nogoods=3136, foundSolutions=26, bestBound=108
258.14/253.02
258.93/253.82 num=428, depth=17..32, filters=132842499, revisions=(170503644,useless=66091196), ccks=319929058, wck=251.007, mem=78M51
258.93/253.82 decisions=2113922, wrong=1051921, backtracks=808386, failedAssignments=655426, nogoods=3140, foundSolutions=26, bestBound=108
258.93/253.82
259.83/254.76 num=429, depth=17..30, filters=133342977, revisions=(171129288,useless=66333968), ccks=321122914, wck=251.948, mem=107M735
259.83/254.76 decisions=2121480, wrong=1055689, backtracks=811415, failedAssignments=657713, nogoods=3151, foundSolutions=26, bestBound=108
259.83/254.76
260.84/255.75 num=430, depth=16..31, filters=133858382, revisions=(171805488,useless=66602758), ccks=322307040, wck=252.936, mem=44M462
260.84/255.75 decisions=2129467, wrong=1059672, backtracks=814553, failedAssignments=660229, nogoods=3159, foundSolutions=26, bestBound=108
260.84/255.75
261.85/256.70 num=431, depth=16..30, filters=134361536, revisions=(172476956,useless=66868548), ccks=323445290, wck=253.89, mem=73M815
261.85/256.70 decisions=2137925, wrong=1063891, backtracks=817548, failedAssignments=662997, nogoods=3164, foundSolutions=26, bestBound=108
261.85/256.70
262.95/257.87 num=432, depth=18..31, filters=134972846, revisions=(173266406,useless=67172640), ccks=324865425, wck=255.055, mem=110M505
262.95/257.87 decisions=2147384, wrong=1068610, backtracks=821439, failedAssignments=666041, nogoods=3171, foundSolutions=26, bestBound=108
262.95/257.87
264.35/259.20 num=433, depth=17..32, filters=135634502, revisions=(174159078,useless=67554712), ccks=326617617, wck=256.387, mem=55M116
264.35/259.20 decisions=2158581, wrong=1074199, backtracks=826325, failedAssignments=669390, nogoods=3184, foundSolutions=26, bestBound=108
264.35/259.20
265.85/260.72 num=434, depth=17..30, filters=136441141, revisions=(175200592,useless=67951070), ccks=328454808, wck=257.907, mem=102M273
265.85/260.72 decisions=2169967, wrong=1079881, backtracks=830878, failedAssignments=673074, nogoods=3194, foundSolutions=26, bestBound=108
265.85/260.72
267.66/262.56 num=435, depth=17..34, filters=137412213, revisions=(176425578,useless=68414674), ccks=330700131, wck=259.75, mem=69M129
267.66/262.56 decisions=2183321, wrong=1086547, backtracks=836429, failedAssignments=677126, nogoods=3203, foundSolutions=26, bestBound=108
267.66/262.56
269.37/264.28 num=436, depth=17..32, filters=138323906, revisions=(177599706,useless=68861147), ccks=332726309, wck=261.47, mem=33M167
269.37/264.28 decisions=2196936, wrong=1093344, backtracks=841573, failedAssignments=681583, nogoods=3214, foundSolutions=26, bestBound=108
269.37/264.28
271.37/266.25 num=437, depth=17..31, filters=139347687, revisions=(178898191,useless=69353835), ccks=335038275, wck=263.441, mem=93M414
271.37/266.25 decisions=2212522, wrong=1101127, backtracks=847933, failedAssignments=686486, nogoods=3228, foundSolutions=26, bestBound=108
271.37/266.25
273.57/268.49 num=438, depth=17..31, filters=140515468, revisions=(180377344,useless=69914529), ccks=337742925, wck=265.676, mem=75M120
273.57/268.49 decisions=2229413, wrong=1109562, backtracks=854725, failedAssignments=691880, nogoods=3240, foundSolutions=26, bestBound=108
273.57/268.49
275.29/270.17 num=439, depth=12..32, filters=141304497, revisions=(181633226,useless=70548928), ccks=339989653, wck=267.362, mem=29M555
275.29/270.17 decisions=2250548, wrong=1120119, backtracks=863597, failedAssignments=697813, nogoods=3246, foundSolutions=26, bestBound=108
275.29/270.17
277.87/272.78 num=440, depth=17..31, filters=142659050, revisions=(183364152,useless=71210918), ccks=343039712, wck=269.967, mem=110M869
277.87/272.78 decisions=2271150, wrong=1130410, backtracks=872100, failedAssignments=704339, nogoods=3258, foundSolutions=26, bestBound=108
277.87/272.78
280.68/275.57 num=441, depth=17..33, filters=144170798, revisions=(185280548,useless=71941503), ccks=346512194, wck=272.759, mem=26M53
280.68/275.57 decisions=2294263, wrong=1141956, backtracks=881040, failedAssignments=711518, nogoods=3273, foundSolutions=26, bestBound=108
280.68/275.57
283.59/278.40 num=442, depth=16..32, filters=145671033, revisions=(187195195,useless=72666980), ccks=350007125, wck=275.587, mem=27M723
283.59/278.40 decisions=2319341, wrong=1154484, backtracks=890729, failedAssignments=719415, nogoods=3281, foundSolutions=26, bestBound=108
283.59/278.40
287.31/282.14 num=443, depth=16..33, filters=147695925, revisions=(189772580,useless=73652851), ccks=354513450, wck=279.331, mem=53M989
287.31/282.14 decisions=2347904, wrong=1168756, backtracks=902333, failedAssignments=728102, nogoods=3295, foundSolutions=26, bestBound=108
287.31/282.14
290.91/285.77 num=444, depth=16..32, filters=149557849, revisions=(192201409,useless=74610760), ccks=359232512, wck=282.955, mem=77M991
290.91/285.77 decisions=2379629, wrong=1184608, backtracks=915705, failedAssignments=737657, nogoods=3308, foundSolutions=26, bestBound=108
290.91/285.77
295.33/290.20 num=445, depth=16..32, filters=151865615, revisions=(195119333,useless=75708466), ccks=364679491, wck=287.385, mem=52M865
295.33/290.20 decisions=2413992, wrong=1201779, backtracks=929896, failedAssignments=748168, nogoods=3318, foundSolutions=26, bestBound=108
295.33/290.20
300.05/294.81 num=446, depth=16..32, filters=154316443, revisions=(198244961,useless=76885239), ccks=370381947, wck=292.0, mem=36M921
300.05/294.81 decisions=2451056, wrong=1220300, backtracks=944725, failedAssignments=759730, nogoods=3325, foundSolutions=26, bestBound=108
300.05/294.81
305.37/300.11 num=447, depth=16..33, filters=157133101, revisions=(201840189,useless=78263342), ccks=376932096, wck=297.304, mem=46M51
305.37/300.11 decisions=2493327, wrong=1241427, backtracks=961769, failedAssignments=772448, nogoods=3337, foundSolutions=26, bestBound=108
305.37/300.11
311.08/305.84 num=448, depth=16..32, filters=160150894, revisions=(205704877,useless=79763453), ccks=384003188, wck=303.028, mem=65M572
311.08/305.84 decisions=2539297, wrong=1264402, backtracks=980810, failedAssignments=786438, nogoods=3346, foundSolutions=26, bestBound=108
311.08/305.84
317.60/312.37 num=449, depth=15..32, filters=163633671, revisions=(210064635,useless=81390920), ccks=392058847, wck=309.563, mem=40M973
317.60/312.37 decisions=2589457, wrong=1289472, backtracks=1000173, failedAssignments=801827, nogoods=3363, foundSolutions=26, bestBound=108
317.60/312.37
324.32/319.10 num=450, depth=15..34, filters=167101071, revisions=(214479313,useless=83099802), ccks=399971423, wck=316.286, mem=27M550
324.32/319.10 decisions=2644732, wrong=1317099, backtracks=1022285, failedAssignments=818755, nogoods=3376, foundSolutions=26, bestBound=108
324.32/319.10
334.35/329.06 num=451, depth=14..33, filters=172307632, revisions=(220781457,useless=85472027), ccks=411732597, wck=326.253, mem=33M194
334.35/329.06 decisions=2709285, wrong=1349364, backtracks=1049303, failedAssignments=837376, nogoods=3383, foundSolutions=26, bestBound=108
334.35/329.06
341.27/335.93 num=452, depth=0..34, filters=175684285, revisions=(225948909,useless=87976998), ccks=420425532, wck=333.115, mem=27M493
341.27/335.93 decisions=2781418, wrong=1385419, backtracks=1075061, failedAssignments=857860, nogoods=3387, foundSolutions=26, bestBound=108
341.27/335.93
350.59/345.24 num=453, depth=15..33, filters=180534792, revisions=(232123768,useless=90384313), ccks=431887373, wck=342.428, mem=92M391
350.59/345.24 decisions=2855352, wrong=1422375, backtracks=1106621, failedAssignments=880392, nogoods=3398, foundSolutions=26, bestBound=108
350.59/345.24
357.21/351.90 num=454, depth=9..34, filters=183693760, revisions=(237329267,useless=93175813), ccks=440373367, wck=349.085, mem=55M170
357.21/351.90 decisions=2948884, wrong=1469133, backtracks=1142913, failedAssignments=905177, nogoods=3406, foundSolutions=26, bestBound=108
357.21/351.90
367.46/362.03 num=455, depth=15..38, filters=189044741, revisions=(244260465,useless=95848637), ccks=452471622, wck=359.222, mem=45M115
367.46/362.03 decisions=3041131, wrong=1515246, backtracks=1177172, failedAssignments=932441, nogoods=3420, foundSolutions=26, bestBound=108
367.46/362.03
379.49/374.05 num=456, depth=16..32, filters=195350467, revisions=(252377504,useless=99077843), ccks=467795845, wck=371.242, mem=82M24
379.49/374.05 decisions=3143460, wrong=1566400, backtracks=1216787, failedAssignments=962431, nogoods=3434, foundSolutions=26, bestBound=108
379.49/374.05
389.62/384.13 num=457, depth=0..38, filters=199817919, revisions=(260435855,useless=103551046), ccks=481547917, wck=381.321, mem=66M814
389.62/384.13 decisions=3269699, wrong=1629509, backtracks=1262906, failedAssignments=995420, nogoods=3442, foundSolutions=26, bestBound=108
389.62/384.13
406.68/401.13 num=458, depth=11..44, filters=208569236, revisions=(274134636,useless=110092384), ccks=500671790, wck=398.32, mem=47M594
406.68/401.13 decisions=3410542, wrong=1699920, backtracks=1318253, failedAssignments=1031708, nogoods=3450, foundSolutions=26, bestBound=108
406.68/401.13
424.76/419.13 num=459, depth=14..34, filters=218102862, revisions=(285989893,useless=114586844), ccks=522423259, wck=416.318, mem=43M315
424.76/419.13 decisions=3541268, wrong=1765273, backtracks=1370012, failedAssignments=1071625, nogoods=3459, foundSolutions=26, bestBound=108
424.76/419.13
442.92/437.28 num=460, depth=14..38, filters=227425977, revisions=(297917832,useless=119222982), ccks=542512742, wck=434.471, mem=63M860
442.92/437.28 decisions=3691707, wrong=1840482, backtracks=1429901, failedAssignments=1115534, nogoods=3472, foundSolutions=26, bestBound=108
442.92/437.28
464.39/458.70 num=461, depth=14..45, filters=238912341, revisions=(312080292,useless=124542366), ccks=567968545, wck=455.886, mem=62M804
464.39/458.70 decisions=3853838, wrong=1921537, backtracks=1493656, failedAssignments=1163834, nogoods=3493, foundSolutions=26, bestBound=108
464.39/458.70
485.48/479.61 num=462, depth=14..43, filters=249745106, revisions=(326422955,useless=130233294), ccks=590500957, wck=476.802, mem=57M421
485.48/479.61 decisions=4037109, wrong=2013161, backtracks=1561043, failedAssignments=1216964, nogoods=3507, foundSolutions=26, bestBound=108
485.48/479.61
509.88/503.99 num=463, depth=14..33, filters=262653293, revisions=(343018301,useless=136742665), ccks=619476479, wck=501.184, mem=79M46
509.88/503.99 decisions=4232794, wrong=2110993, backtracks=1638286, failedAssignments=1275407, nogoods=3517, foundSolutions=26, bestBound=108
509.88/503.99
536.58/530.57 num=464, depth=14..40, filters=276489547, revisions=(361175305,useless=143921519), ccks=648652045, wck=527.756, mem=67M182
536.58/530.57 decisions=4457086, wrong=2223129, backtracks=1723241, failedAssignments=1339694, nogoods=3524, foundSolutions=26, bestBound=108
536.58/530.57
567.21/561.05 num=465, depth=14..35, filters=292696548, revisions=(381422179,useless=151467645), ccks=683818569, wck=558.239, mem=70M365
567.21/561.05 decisions=4697475, wrong=2343312, backtracks=1815952, failedAssignments=1410410, nogoods=3534, foundSolutions=26, bestBound=108
567.21/561.05
600.23/593.92 num=466, depth=14..40, filters=309819621, revisions=(404049590,useless=160453063), ccks=718899685, wck=591.108, mem=40M148
600.23/593.92 decisions=4973307, wrong=2481218, backtracks=1917841, failedAssignments=1488197, nogoods=3556, foundSolutions=26, bestBound=108
600.23/593.92
639.98/633.53 num=467, depth=13..32, filters=330655190, revisions=(430064531,useless=170340421), ccks=765150931, wck=630.721, mem=30M453
639.98/633.53 decisions=5273616, wrong=2631362, backtracks=2035850, failedAssignments=1573763, nogoods=3572, foundSolutions=26, bestBound=108
639.98/633.53
676.43/669.82 num=468, depth=0..44, filters=348992360, revisions=(456477787,useless=182028176), ccks=806563500, wck=667.006, mem=43M430
676.43/669.82 decisions=5616484, wrong=2802785, backtracks=2161175, failedAssignments=1667886, nogoods=3584, foundSolutions=26, bestBound=108
676.43/669.82
724.21/717.42 num=469, depth=13..34, filters=374235647, revisions=(487691661,useless=193727545), ccks=863193872, wck=714.607, mem=79M95
724.21/717.42 decisions=5974526, wrong=2981796, backtracks=2301700, failedAssignments=1771421, nogoods=3594, foundSolutions=26, bestBound=108
724.21/717.42
759.77/752.87 num=470, depth=0..47, filters=392561861, revisions=(529041701,useless=218117240), ccks=903026701, wck=750.058, mem=39M150
759.77/752.87 decisions=6440733, wrong=3214892, backtracks=2467882, failedAssignments=1885310, nogoods=3608, foundSolutions=26, bestBound=108
759.77/752.87
818.21/811.06 num=471, depth=12..42, filters=423040251, revisions=(567029085,useless=232448645), ccks=972889911, wck=808.252, mem=28M366
818.21/811.06 decisions=6891026, wrong=3440028, backtracks=2659549, failedAssignments=2010588, nogoods=3618, foundSolutions=26, bestBound=108
818.21/811.06
883.24/875.88 num=472, depth=13..43, filters=457575365, revisions=(610196081,useless=249124248), ccks=1053333004, wck=873.07, mem=42M431
883.24/875.88 decisions=7369314, wrong=3679162, backtracks=2855631, failedAssignments=2148394, nogoods=3631, foundSolutions=26, bestBound=108
883.24/875.88
952.30/944.60 num=473, depth=12..43, filters=493714786, revisions=(655754614,useless=266389116), ccks=1134047577, wck=941.788, mem=79M169
952.30/944.60 decisions=7907035, wrong=3948013, backtracks=3076903, failedAssignments=2299980, nogoods=3644, foundSolutions=26, bestBound=108
952.30/944.60
1036.51/1028.52 num=474, depth=13..33, filters=537618712, revisions=(711385911,useless=288143407), ccks=1237086394, wck=1025.708, mem=69M473
1036.51/1028.52 decisions=8501447, wrong=4245211, backtracks=3331108, failedAssignments=2466725, nogoods=3666, foundSolutions=26, bestBound=108
1036.51/1028.52
1108.29/1100.04 o 88
1108.29/1100.04 num=475, depth=13..624, filters=574753286, revisions=(759052414,useless=306657683), ccks=1320472049, wck=1097.235, mem=54M377
1108.29/1100.04 decisions=9049373, wrong=4519164, backtracks=3558823, failedAssignments=2623740, nogoods=3679, foundSolutions=27, bestBound=88
1108.29/1100.04
1202.65/1194.02 num=476, depth=13..46, filters=623534141, revisions=(822619352,useless=332092089), ccks=1418500251, wck=1191.206, mem=76M3
1202.65/1194.02 decisions=9784131, wrong=4886533, backtracks=3848470, failedAssignments=2825501, nogoods=3692, foundSolutions=27, bestBound=88
1202.65/1194.02
1202.65/1194.02 num=477, depth=21..28, filters=623536614, revisions=(822623662,useless=332094402), ccks=1418507157, wck=1191.213, mem=76M3
1202.65/1194.02 decisions=9784183, wrong=4886548, backtracks=3848482, failedAssignments=2825512, nogoods=3695, foundSolutions=27, bestBound=88
1202.65/1194.02
1202.65/1194.03 num=478, depth=18..27, filters=623539582, revisions=(822628597,useless=332096925), ccks=1418513879, wck=1191.221, mem=77M83
1202.65/1194.03 decisions=9784242, wrong=4886566, backtracks=3848495, failedAssignments=2825524, nogoods=3700, foundSolutions=27, bestBound=88
1202.65/1194.03
1202.65/1194.04 num=479, depth=21..26, filters=623543770, revisions=(822634749,useless=332099843), ccks=1418523288, wck=1191.231, mem=77M83
1202.65/1194.04 decisions=9784314, wrong=4886591, backtracks=3848514, failedAssignments=2825537, nogoods=3706, foundSolutions=27, bestBound=88
1202.65/1194.04
1202.65/1194.05 num=480, depth=21..26, filters=623547514, revisions=(822640582,useless=332102584), ccks=1418530900, wck=1191.24, mem=77M83
1202.65/1194.05 decisions=9784378, wrong=4886612, backtracks=3848527, failedAssignments=2825551, nogoods=3711, foundSolutions=27, bestBound=88
1202.65/1194.05
1202.65/1194.06 num=481, depth=21..26, filters=623552368, revisions=(822647851,useless=332105826), ccks=1418540829, wck=1191.25, mem=77M83
1202.65/1194.06 decisions=9784452, wrong=4886638, backtracks=3848546, failedAssignments=2825567, nogoods=3716, foundSolutions=27, bestBound=88
1202.65/1194.06
1202.65/1194.07 num=482, depth=20..27, filters=623556489, revisions=(822654187,useless=332108793), ccks=1418549033, wck=1191.259, mem=78M163
1202.65/1194.07 decisions=9784522, wrong=4886662, backtracks=3848563, failedAssignments=2825584, nogoods=3718, foundSolutions=27, bestBound=88
1202.65/1194.07
1202.65/1194.08 num=483, depth=20..26, filters=623560683, revisions=(822660721,useless=332111858), ccks=1418557520, wck=1191.268, mem=78M163
1202.65/1194.08 decisions=9784599, wrong=4886690, backtracks=3848583, failedAssignments=2825603, nogoods=3720, foundSolutions=27, bestBound=88
1202.65/1194.08
1202.65/1194.09 num=484, depth=20..26, filters=623566295, revisions=(822669165,useless=332115693), ccks=1418568731, wck=1191.279, mem=78M163
1202.65/1194.09 decisions=9784687, wrong=4886724, backtracks=3848612, failedAssignments=2825624, nogoods=3723, foundSolutions=27, bestBound=88
1202.65/1194.09
1202.65/1194.10 num=485, depth=20..26, filters=623572222, revisions=(822677722,useless=332119394), ccks=1418580292, wck=1191.291, mem=79M243
1202.65/1194.10 decisions=9784774, wrong=4886757, backtracks=3848632, failedAssignments=2825647, nogoods=3727, foundSolutions=27, bestBound=88
1202.65/1194.10
1202.76/1194.11 num=486, depth=20..27, filters=623577405, revisions=(822685883,useless=332123289), ccks=1418590462, wck=1191.303, mem=79M243
1202.76/1194.11 decisions=9784864, wrong=4886792, backtracks=3848657, failedAssignments=2825672, nogoods=3733, foundSolutions=27, bestBound=88
1202.76/1194.11
1202.76/1194.13 num=487, depth=19..26, filters=623585934, revisions=(822697903,useless=332128448), ccks=1418606186, wck=1191.32, mem=79M243
1202.76/1194.13 decisions=9784975, wrong=4886837, backtracks=3848693, failedAssignments=2825700, nogoods=3736, foundSolutions=27, bestBound=88
1202.76/1194.13
1202.76/1194.15 num=488, depth=19..27, filters=623593714, revisions=(822708758,useless=332133160), ccks=1418622265, wck=1191.34, mem=26M419
1202.76/1194.15 decisions=9785092, wrong=4886885, backtracks=3848727, failedAssignments=2825731, nogoods=3740, foundSolutions=27, bestBound=88
1202.76/1194.15
1202.76/1194.17 num=489, depth=19..28, filters=623602863, revisions=(822721900,useless=332138905), ccks=1418640393, wck=1191.358, mem=26M419
1202.76/1194.17 decisions=9785219, wrong=4886938, backtracks=3848772, failedAssignments=2825765, nogoods=3749, foundSolutions=27, bestBound=88
1202.76/1194.17
1202.76/1194.19 num=490, depth=19..26, filters=623612863, revisions=(822736366,useless=332145210), ccks=1418661302, wck=1191.378, mem=27M499
1202.76/1194.19 decisions=9785362, wrong=4886999, backtracks=3848822, failedAssignments=2825802, nogoods=3754, foundSolutions=27, bestBound=88
1202.76/1194.19
1202.86/1194.21 num=491, depth=19..27, filters=623623175, revisions=(822750685,useless=332151266), ccks=1418680769, wck=1191.399, mem=27M499
1202.86/1194.21 decisions=9785510, wrong=4887063, backtracks=3848874, failedAssignments=2825843, nogoods=3761, foundSolutions=27, bestBound=88
1202.86/1194.21
1202.86/1194.23 num=492, depth=19..28, filters=623634903, revisions=(822766890,useless=332158163), ccks=1418704813, wck=1191.423, mem=28M579
1202.86/1194.23 decisions=9785668, wrong=4887131, backtracks=3848930, failedAssignments=2825888, nogoods=3766, foundSolutions=27, bestBound=88
1202.86/1194.23
1202.86/1194.26 num=493, depth=19..27, filters=623647667, revisions=(822783990,useless=332165188), ccks=1418729268, wck=1191.448, mem=29M659
1202.86/1194.26 decisions=9785848, wrong=4887210, backtracks=3848985, failedAssignments=2825938, nogoods=3770, foundSolutions=27, bestBound=88
1202.86/1194.26
1202.86/1194.29 num=494, depth=18..28, filters=623661329, revisions=(822803393,useless=332173256), ccks=1418757305, wck=1191.477, mem=30M739
1202.86/1194.29 decisions=9786033, wrong=4887291, backtracks=3849045, failedAssignments=2825993, nogoods=3775, foundSolutions=27, bestBound=88
1202.86/1194.29
1202.96/1194.32 num=495, depth=18..29, filters=623677529, revisions=(822825760,useless=332182516), ccks=1418791884, wck=1191.51, mem=31M819
1202.96/1194.32 decisions=9786258, wrong=4887393, backtracks=3849125, failedAssignments=2826054, nogoods=3786, foundSolutions=27, bestBound=88
1202.96/1194.32
1202.96/1194.35 num=496, depth=18..29, filters=623693667, revisions=(822848197,useless=332191623), ccks=1418827942, wck=1191.543, mem=31M819
1202.96/1194.35 decisions=9786487, wrong=4887496, backtracks=3849202, failedAssignments=2826121, nogoods=3794, foundSolutions=27, bestBound=88
1202.96/1194.35
1202.96/1194.39 num=497, depth=18..27, filters=623712257, revisions=(822873955,useless=332202016), ccks=1418864677, wck=1191.581, mem=33M979
1202.96/1194.39 decisions=9786734, wrong=4887609, backtracks=3849284, failedAssignments=2826195, nogoods=3805, foundSolutions=27, bestBound=88
1202.96/1194.39
1203.06/1194.43 num=498, depth=18..29, filters=623731223, revisions=(822899842,useless=332212080), ccks=1418902381, wck=1191.618, mem=35M59
1203.06/1194.43 decisions=9786996, wrong=4887729, backtracks=3849375, failedAssignments=2826276, nogoods=3811, foundSolutions=27, bestBound=88
1203.06/1194.43
1203.06/1194.47 num=499, depth=18..28, filters=623751913, revisions=(822928460,useless=332223566), ccks=1418943163, wck=1191.659, mem=36M139
1203.06/1194.47 decisions=9787279, wrong=4887860, backtracks=3849467, failedAssignments=2826365, nogoods=3821, foundSolutions=27, bestBound=88
1203.06/1194.47
1203.16/1194.51 num=500, depth=19..27, filters=623774856, revisions=(822960920,useless=332236807), ccks=1418990307, wck=1191.704, mem=37M220
1203.16/1194.51 decisions=9787613, wrong=4888017, backtracks=3849585, failedAssignments=2826463, nogoods=3830, foundSolutions=27, bestBound=88
1203.16/1194.51
1203.16/1194.57 num=501, depth=18..29, filters=623800467, revisions=(822995919,useless=332250941), ccks=1419042027, wck=1191.755, mem=39M380
1203.16/1194.57 decisions=9787984, wrong=4888191, backtracks=3849722, failedAssignments=2826571, nogoods=3841, foundSolutions=27, bestBound=88
1203.16/1194.57
1203.26/1194.62 num=502, depth=20..28, filters=623826400, revisions=(823031640,useless=332265462), ccks=1419093034, wck=1191.807, mem=40M460
1203.26/1194.62 decisions=9788356, wrong=4888367, backtracks=3849864, failedAssignments=2826690, nogoods=3848, foundSolutions=27, bestBound=88
1203.26/1194.62
1203.26/1194.67 num=503, depth=18..28, filters=623853054, revisions=(823067598,useless=332279426), ccks=1419146440, wck=1191.86, mem=41M540
1203.26/1194.67 decisions=9788779, wrong=4888567, backtracks=3850011, failedAssignments=2826821, nogoods=3854, foundSolutions=27, bestBound=88
1203.26/1194.67
1203.36/1194.73 num=504, depth=18..27, filters=623882470, revisions=(823109243,useless=332297193), ccks=1419204005, wck=1191.918, mem=43M700
1203.36/1194.73 decisions=9789261, wrong=4888797, backtracks=3850187, failedAssignments=2826965, nogoods=3862, foundSolutions=27, bestBound=88
1203.36/1194.73
1203.46/1194.81 num=505, depth=18..27, filters=623922451, revisions=(823162823,useless=332318483), ccks=1419288961, wck=1191.997, mem=45M860
1203.46/1194.81 decisions=9789784, wrong=4889048, backtracks=3850382, failedAssignments=2827123, nogoods=3866, foundSolutions=27, bestBound=88
1203.46/1194.81
1203.46/1194.88 num=506, depth=19..29, filters=623959638, revisions=(823212522,useless=332337920), ccks=1419359535, wck=1192.067, mem=49M100
1203.46/1194.88 decisions=9790351, wrong=4889320, backtracks=3850581, failedAssignments=2827297, nogoods=3870, foundSolutions=27, bestBound=88
1203.46/1194.88
1203.56/1194.96 num=507, depth=19..29, filters=624004210, revisions=(823272551,useless=332361365), ccks=1419446483, wck=1192.153, mem=51M260
1203.56/1194.96 decisions=9790986, wrong=4889627, backtracks=3850818, failedAssignments=2827488, nogoods=3877, foundSolutions=27, bestBound=88
1203.56/1194.96
1203.67/1195.07 num=508, depth=18..28, filters=624057213, revisions=(823343477,useless=332389548), ccks=1419553504, wck=1192.256, mem=54M500
1203.67/1195.07 decisions=9791666, wrong=4889956, backtracks=3851084, failedAssignments=2827699, nogoods=3886, foundSolutions=27, bestBound=88
1203.67/1195.07
1203.77/1195.17 num=509, depth=18..28, filters=624108828, revisions=(823413935,useless=332418321), ccks=1419658391, wck=1192.359, mem=57M740
1203.77/1195.17 decisions=9792453, wrong=4890339, backtracks=3851362, failedAssignments=2827931, nogoods=3896, foundSolutions=27, bestBound=88
1203.77/1195.17
1203.86/1195.28 num=510, depth=17..28, filters=624163141, revisions=(823488179,useless=332448650), ccks=1419765174, wck=1192.467, mem=60M980
1203.86/1195.28 decisions=9793380, wrong=4890792, backtracks=3851669, failedAssignments=2828186, nogoods=3903, foundSolutions=27, bestBound=88
1203.86/1195.28
1203.97/1195.37 num=511, depth=14..30, filters=624213297, revisions=(823564060,useless=332480810), ccks=1419856706, wck=1192.559, mem=64M220
1203.97/1195.37 decisions=9794446, wrong=4891316, backtracks=3852010, failedAssignments=2828467, nogoods=3910, foundSolutions=27, bestBound=88
1203.97/1195.37
1204.17/1195.51 num=512, depth=18..31, filters=624288921, revisions=(823662869,useless=332519102), ccks=1420007597, wck=1192.704, mem=68M540
1204.17/1195.51 decisions=9795457, wrong=4891811, backtracks=3852395, failedAssignments=2828776, nogoods=3917, foundSolutions=27, bestBound=88
1204.17/1195.51
1204.28/1195.65 num=513, depth=18..29, filters=624358793, revisions=(823755257,useless=332555296), ccks=1420150666, wck=1192.839, mem=71M780
1204.28/1195.65 decisions=9796587, wrong=4892365, backtracks=3852786, failedAssignments=2829116, nogoods=3925, foundSolutions=27, bestBound=88
1204.28/1195.65
1204.48/1195.83 num=514, depth=17..30, filters=624455828, revisions=(823881560,useless=332602200), ccks=1420347419, wck=1193.022, mem=78M261
1204.48/1195.83 decisions=9797845, wrong=4892983, backtracks=3853259, failedAssignments=2829490, nogoods=3933, foundSolutions=27, bestBound=88
1204.48/1195.83
1204.70/1196.02 num=515, depth=17..30, filters=624549463, revisions=(824017510,useless=332662605), ccks=1420532988, wck=1193.207, mem=29M659
1204.70/1196.02 decisions=9799259, wrong=4893679, backtracks=3853820, failedAssignments=2829901, nogoods=3947, foundSolutions=27, bestBound=88
1204.70/1196.02
1204.89/1196.21 num=516, depth=17..33, filters=624647495, revisions=(824148086,useless=332713460), ccks=1420726376, wck=1193.399, mem=35M59
1204.89/1196.21 decisions=9800873, wrong=4894475, backtracks=3854389, failedAssignments=2830353, nogoods=3963, foundSolutions=27, bestBound=88
1204.89/1196.21
1205.09/1196.44 num=517, depth=18..32, filters=624768741, revisions=(824304316,useless=332771710), ccks=1420955269, wck=1193.626, mem=42M620
1205.09/1196.44 decisions=9802611, wrong=4895334, backtracks=3855035, failedAssignments=2830850, nogoods=3970, foundSolutions=27, bestBound=88
1205.09/1196.44
1205.29/1196.66 num=518, depth=18..29, filters=624883722, revisions=(824461191,useless=332835823), ccks=1421180402, wck=1193.849, mem=49M100
1205.29/1196.66 decisions=9804531, wrong=4896283, backtracks=3855701, failedAssignments=2831397, nogoods=3979, foundSolutions=27, bestBound=88
1205.29/1196.66
1205.49/1196.82 num=519, depth=13..28, filters=624955908, revisions=(824578941,useless=332897651), ccks=1421356645, wck=1194.005, mem=52M340
1205.49/1196.82 decisions=9806722, wrong=4897369, backtracks=3856525, failedAssignments=2831999, nogoods=3983, foundSolutions=27, bestBound=88
1205.49/1196.82
1205.70/1197.09 num=520, depth=17..35, filters=625096350, revisions=(824763518,useless=332968312), ccks=1421640668, wck=1194.278, mem=60M980
1205.70/1197.09 decisions=9808981, wrong=4898488, backtracks=3857286, failedAssignments=2832661, nogoods=3994, foundSolutions=27, bestBound=88
1205.70/1197.09
1205.99/1197.39 num=521, depth=17..30, filters=625255321, revisions=(824970490,useless=333047951), ccks=1421958255, wck=1194.581, mem=70M700
1205.99/1197.39 decisions=9811477, wrong=4899725, backtracks=3858131, failedAssignments=2833389, nogoods=4002, foundSolutions=27, bestBound=88
1205.99/1197.39
1206.39/1197.73 num=522, depth=17..32, filters=625433010, revisions=(825200361,useless=333135315), ccks=1422302105, wck=1194.923, mem=26M419
1206.39/1197.73 decisions=9814246, wrong=4901098, backtracks=3859130, failedAssignments=2834190, nogoods=4015, foundSolutions=27, bestBound=88
1206.39/1197.73
1206.80/1198.12 num=523, depth=17..32, filters=625632496, revisions=(825460614,useless=333236142), ccks=1422680675, wck=1195.306, mem=38M300
1206.80/1198.12 decisions=9817343, wrong=4902635, backtracks=3860252, failedAssignments=2835071, nogoods=4024, foundSolutions=27, bestBound=88
1206.80/1198.12
1207.19/1198.54 num=524, depth=17..33, filters=625853194, revisions=(825763726,useless=333364742), ccks=1423107920, wck=1195.733, mem=50M180
1207.19/1198.54 decisions=9820893, wrong=4904400, backtracks=3861678, failedAssignments=2836041, nogoods=4033, foundSolutions=27, bestBound=88
1207.19/1198.54
1207.70/1199.04 num=525, depth=17..34, filters=626114879, revisions=(826119547,useless=333507576), ccks=1423585997, wck=1196.226, mem=65M300
1207.70/1199.04 decisions=9824795, wrong=4906341, backtracks=3863128, failedAssignments=2837108, nogoods=4043, foundSolutions=27, bestBound=88
1207.70/1199.04
1208.19/1199.50 num=526, depth=17..37, filters=626360533, revisions=(826464697,useless=333651578), ccks=1424044614, wck=1196.694, mem=78M261
1208.19/1199.50 decisions=9828811, wrong=4908338, backtracks=3864589, failedAssignments=2838281, nogoods=4054, foundSolutions=27, bestBound=88
1208.19/1199.50
1208.71/1200.08 num=527, depth=17..32, filters=626666510, revisions=(826862139,useless=333802918), ccks=1424651630, wck=1197.273, mem=42M620
1208.71/1200.08 decisions=9833151, wrong=4910496, backtracks=3866240, failedAssignments=2839572, nogoods=4065, foundSolutions=27, bestBound=88
1208.71/1200.08
1209.30/1200.67 num=528, depth=17..32, filters=626970646, revisions=(827267453,useless=333965755), ccks=1425251338, wck=1197.861, mem=60M980
1209.30/1200.67 decisions=9838401, wrong=4913110, backtracks=3868103, failedAssignments=2840992, nogoods=4073, foundSolutions=27, bestBound=88
1209.30/1200.67
1210.01/1201.31 num=529, depth=17..31, filters=627308641, revisions=(827709467,useless=334132311), ccks=1425925246, wck=1198.499, mem=27M499
1210.01/1201.31 decisions=9843526, wrong=4915662, backtracks=3869930, failedAssignments=2842554, nogoods=4084, foundSolutions=27, bestBound=88
1210.01/1201.31
1210.60/1201.94 num=530, depth=17..33, filters=627631455, revisions=(828156707,useless=334319379), ccks=1426633200, wck=1199.131, mem=44M780
1210.60/1201.94 decisions=9849305, wrong=4918541, backtracks=3872256, failedAssignments=2844272, nogoods=4098, foundSolutions=27, bestBound=88
1210.60/1201.94
1211.50/1202.81 num=531, depth=17..32, filters=628088689, revisions=(828783739,useless=334573701), ccks=1427506176, wck=1200.004, mem=70M700
1211.50/1202.81 decisions=9855998, wrong=4921878, backtracks=3874736, failedAssignments=2846162, nogoods=4112, foundSolutions=27, bestBound=88
1211.50/1202.81
1212.34/1203.64 num=532, depth=17..36, filters=628533514, revisions=(829369908,useless=334796196), ccks=1428374717, wck=1200.828, mem=42M620
1212.34/1203.64 decisions=9862707, wrong=4925221, backtracks=3877162, failedAssignments=2848241, nogoods=4122, foundSolutions=27, bestBound=88
1212.34/1203.64
1213.25/1204.56 num=533, depth=17..36, filters=629018626, revisions=(830014219,useless=335047156), ccks=1429313708, wck=1201.751, mem=70M700
1213.25/1204.56 decisions=9870380, wrong=4929047, backtracks=3879969, failedAssignments=2850528, nogoods=4132, foundSolutions=27, bestBound=88
1213.25/1204.56
1214.56/1205.80 num=534, depth=16..34, filters=629677869, revisions=(830868205,useless=335372951), ccks=1430682539, wck=1202.989, mem=53M453
1214.56/1205.80 decisions=9879317, wrong=4933504, backtracks=3883690, failedAssignments=2853044, nogoods=4142, foundSolutions=27, bestBound=88
1214.56/1205.80
1215.66/1206.96 num=535, depth=17..31, filters=630299323, revisions=(831679256,useless=335682097), ccks=1431945179, wck=1204.151, mem=36M172
1215.66/1206.96 decisions=9888257, wrong=4937963, backtracks=3887129, failedAssignments=2855812, nogoods=4154, foundSolutions=27, bestBound=88
1215.66/1206.96
1216.96/1208.22 num=536, depth=17..32, filters=630950074, revisions=(832560514,useless=336037469), ccks=1433200502, wck=1205.412, mem=73M973
1216.96/1208.22 decisions=9898471, wrong=4943060, backtracks=3890878, failedAssignments=2858856, nogoods=4162, foundSolutions=27, bestBound=88
1216.96/1208.22
1218.37/1209.60 num=537, depth=17..33, filters=631666617, revisions=(833517077,useless=336415667), ccks=1434554817, wck=1206.789, mem=61M13
1218.37/1209.60 decisions=9910016, wrong=4948823, backtracks=3894945, failedAssignments=2862205, nogoods=4173, foundSolutions=27, bestBound=88
1218.37/1209.60
1219.89/1211.13 num=538, depth=16..31, filters=632462258, revisions=(834573774,useless=336829974), ccks=1436183864, wck=1208.324, mem=53M453
1219.89/1211.13 decisions=9922356, wrong=4954982, backtracks=3899457, failedAssignments=2865889, nogoods=4184, foundSolutions=27, bestBound=88
1219.89/1211.13
1221.58/1212.86 num=539, depth=16..34, filters=633355464, revisions=(835778988,useless=337305936), ccks=1437968980, wck=1210.054, mem=51M293
1221.58/1212.86 decisions=9936738, wrong=4962162, backtracks=3904807, failedAssignments=2869941, nogoods=4193, foundSolutions=27, bestBound=88
1221.58/1212.86
1223.29/1214.59 num=540, depth=17..33, filters=634255579, revisions=(837009425,useless=337806513), ccks=1439740141, wck=1211.777, mem=48M85
1223.29/1214.59 decisions=9951361, wrong=4969462, backtracks=3910314, failedAssignments=2874398, nogoods=4204, foundSolutions=27, bestBound=88
1223.29/1214.59
1225.50/1216.77 num=541, depth=17..33, filters=635388696, revisions=(838483032,useless=338374680), ccks=1441980545, wck=1213.961, mem=59M933
1225.50/1216.77 decisions=9968712, wrong=4978127, backtracks=3916965, failedAssignments=2879301, nogoods=4216, foundSolutions=27, bestBound=88
1225.50/1216.77
1227.41/1218.61 num=542, depth=11..42, filters=636374957, revisions=(840094298,useless=339107889), ccks=1443860226, wck=1215.798, mem=67M526
1227.41/1218.61 decisions=9990179, wrong=4988852, backtracks=3924443, failedAssignments=2884695, nogoods=4222, foundSolutions=27, bestBound=88
1227.41/1218.61
1230.13/1221.40 num=543, depth=16..32, filters=637855225, revisions=(842048864,useless=339877892), ccks=1446604428, wck=1218.586, mem=42M677
1230.13/1221.40 decisions=10010741, wrong=4999123, backtracks=3932642, failedAssignments=2890628, nogoods=4230, foundSolutions=27, bestBound=88
1230.13/1221.40
1233.23/1224.41 num=544, depth=16..34, filters=639460295, revisions=(844154098,useless=340697574), ccks=1449905912, wck=1221.601, mem=78M334
1233.23/1224.41 decisions=10033271, wrong=5010377, backtracks=3941870, failedAssignments=2897154, nogoods=4240, foundSolutions=27, bestBound=88
1233.23/1224.41
1236.14/1227.33 num=545, depth=16..31, filters=640995898, revisions=(846188736,useless=341494168), ccks=1453060266, wck=1224.518, mem=60M23
1236.14/1227.33 decisions=10057202, wrong=5022332, backtracks=3950950, failedAssignments=2904333, nogoods=4246, foundSolutions=27, bestBound=88
1236.14/1227.33
1239.56/1230.76 num=546, depth=16..43, filters=642771804, revisions=(848564364,useless=342428833), ccks=1456579514, wck=1227.946, mem=56M832
1239.56/1230.76 decisions=10084551, wrong=5035996, backtracks=3961063, failedAssignments=2912230, nogoods=4256, foundSolutions=27, bestBound=88
1239.56/1230.76
1243.17/1234.35 num=547, depth=16..34, filters=644642940, revisions=(850997842,useless=343375816), ccks=1460159296, wck=1231.536, mem=57M961
1243.17/1234.35 decisions=10114615, wrong=5051018, backtracks=3972394, failedAssignments=2920917, nogoods=4270, foundSolutions=27, bestBound=88
1243.17/1234.35
1247.28/1238.47 num=548, depth=16..40, filters=646783752, revisions=(853889277,useless=344532418), ccks=1464350303, wck=1235.664, mem=76M371
1247.28/1238.47 decisions=10148240, wrong=5067819, backtracks=3985363, failedAssignments=2930472, nogoods=4283, foundSolutions=27, bestBound=88
1247.28/1238.47
1252.01/1243.13 num=549, depth=16..34, filters=649233386, revisions=(857135255,useless=345817586), ccks=1469221298, wck=1240.323, mem=55M924
1252.01/1243.13 decisions=10184089, wrong=5085733, backtracks=3999449, failedAssignments=2940983, nogoods=4293, foundSolutions=27, bestBound=88
1252.01/1243.13
1257.04/1248.16 num=550, depth=15..41, filters=651840553, revisions=(860589238,useless=347180026), ccks=1474470714, wck=1245.346, mem=47M325
1257.04/1248.16 decisions=10223657, wrong=5105507, backtracks=4014394, failedAssignments=2952545, nogoods=4311, foundSolutions=27, bestBound=88
1257.04/1248.16
1262.55/1253.63 num=551, depth=15..42, filters=654694343, revisions=(864310335,useless=348649528), ccks=1480186928, wck=1250.82, mem=48M446
1262.55/1253.63 decisions=10268217, wrong=5127778, backtracks=4031484, failedAssignments=2965263, nogoods=4321, foundSolutions=27, bestBound=88
1262.55/1253.63
1268.27/1259.30 num=552, depth=15..42, filters=657546190, revisions=(868442714,useless=350455937), ccks=1486037835, wck=1256.49, mem=58M240
1268.27/1259.30 decisions=10319381, wrong=5153349, backtracks=4050506, failedAssignments=2979253, nogoods=4329, foundSolutions=27, bestBound=88
1268.27/1259.30
1274.80/1265.87 num=553, depth=15..43, filters=660879178, revisions=(873063591,useless=352358490), ccks=1492607117, wck=1263.062, mem=39M896
1274.80/1265.87 decisions=10374200, wrong=5180748, backtracks=4070534, failedAssignments=2994642, nogoods=4341, foundSolutions=27, bestBound=88
1274.80/1265.87
1282.72/1273.75 num=554, depth=15..41, filters=664957270, revisions=(878371883,useless=354416959), ccks=1500823231, wck=1270.936, mem=64M761
1282.72/1273.75 decisions=10433094, wrong=5210185, backtracks=4093351, failedAssignments=3011570, nogoods=4347, foundSolutions=27, bestBound=88
1282.72/1273.75
1290.75/1281.74 num=555, depth=14..42, filters=669001231, revisions=(883998532,useless=356762619), ccks=1509085945, wck=1278.928, mem=39M961
1290.75/1281.74 decisions=10501943, wrong=5244599, backtracks=4118264, failedAssignments=3030191, nogoods=4354, foundSolutions=27, bestBound=88
1290.75/1281.74
1300.20/1291.19 num=556, depth=14..33, filters=673944045, revisions=(890479526,useless=359288861), ccks=1519043317, wck=1288.382, mem=60M507
1300.20/1291.19 decisions=10576167, wrong=5281699, backtracks=4146278, failedAssignments=3050675, nogoods=4368, foundSolutions=27, bestBound=88
1300.20/1291.19
1309.62/1300.54 num=557, depth=15..44, filters=678728200, revisions=(897202065,useless=362059199), ccks=1528832065, wck=1297.726, mem=77M804
1309.62/1300.54 decisions=10659006, wrong=5323109, backtracks=4176460, failedAssignments=3073207, nogoods=4380, foundSolutions=27, bestBound=88
1309.62/1300.54
1319.56/1310.47 num=558, depth=14..43, filters=683811751, revisions=(904253151,useless=364966452), ccks=1539057886, wck=1307.66, mem=59M484
1319.56/1310.47 decisions=10748027, wrong=5367610, backtracks=4208157, failedAssignments=3097992, nogoods=4396, foundSolutions=27, bestBound=88
1319.56/1310.47
1332.32/1323.16 num=559, depth=14..43, filters=690382954, revisions=(913824677,useless=369101765), ccks=1552292860, wck=1320.354, mem=60M555
1332.32/1323.16 decisions=10850578, wrong=5418876, backtracks=4246619, failedAssignments=3125256, nogoods=4413, foundSolutions=27, bestBound=88
1332.32/1323.16
1344.76/1335.54 num=560, depth=15..45, filters=696764442, revisions=(922983109,useless=373032728), ccks=1564924379, wck=1332.73, mem=63M853
1344.76/1335.54 decisions=10962313, wrong=5474732, backtracks=4287390, failedAssignments=3155246, nogoods=4425, foundSolutions=27, bestBound=88
1344.76/1335.54
1359.33/1350.10 num=561, depth=15..45, filters=704392264, revisions=(933142316,useless=377107011), ccks=1580357794, wck=1347.288, mem=69M302
1359.33/1350.10 decisions=11078199, wrong=5532665, backtracks=4332723, failedAssignments=3188235, nogoods=4438, foundSolutions=27, bestBound=88
1359.33/1350.10
1373.58/1364.21 num=562, depth=14..45, filters=711823928, revisions=(944062541,useless=381752024), ccks=1595305655, wck=1361.398, mem=27M189
1373.58/1364.21 decisions=11214853, wrong=5600981, backtracks=4382749, failedAssignments=3224523, nogoods=4444, foundSolutions=27, bestBound=88
1373.58/1364.21
1390.14/1380.76 num=563, depth=15..45, filters=720484815, revisions=(955705841,useless=386532198), ccks=1612368268, wck=1377.948, mem=72M575
1390.14/1380.76 decisions=11350295, wrong=5668692, backtracks=4435353, failedAssignments=3264440, nogoods=4458, foundSolutions=27, bestBound=88
1390.14/1380.76
1405.29/1395.87 num=564, depth=14..46, filters=728470339, revisions=(968007468,useless=391882939), ccks=1627918779, wck=1393.06, mem=73M680
1405.29/1395.87 decisions=11514104, wrong=5750586, backtracks=4495832, failedAssignments=3308349, nogoods=4470, foundSolutions=27, bestBound=88
1405.29/1395.87
1425.88/1416.32 num=565, depth=14..48, filters=739199077, revisions=(981739380,useless=397261012), ccks=1649208598, wck=1413.508, mem=79M72
1425.88/1416.32 decisions=11677420, wrong=5832235, backtracks=4558235, failedAssignments=3356649, nogoods=4482, foundSolutions=27, bestBound=88
1425.88/1416.32
1447.46/1437.85 num=566, depth=14..46, filters=750423206, revisions=(997409488,useless=403643524), ccks=1671394829, wck=1435.038, mem=39M168
1447.46/1437.85 decisions=11870932, wrong=5928982, backtracks=4630057, failedAssignments=3409779, nogoods=4495, foundSolutions=27, bestBound=88
1447.46/1437.85
1472.77/1463.03 num=567, depth=14..44, filters=763627192, revisions=(1014354514,useless=410182868), ccks=1697188371, wck=1460.224, mem=40M264
1472.77/1463.03 decisions=12074694, wrong=6030852, backtracks=4708089, failedAssignments=3468222, nogoods=4503, foundSolutions=27, bestBound=88
1472.77/1463.03
1499.37/1489.58 num=568, depth=14..44, filters=777672997, revisions=(1033519775,useless=417904370), ccks=1724914065, wck=1486.774, mem=35M936
1499.37/1489.58 decisions=12305726, wrong=6146359, backtracks=4795547, failedAssignments=3532509, nogoods=4513, foundSolutions=27, bestBound=88
1499.37/1489.58
1528.88/1518.92 num=569, depth=14..44, filters=792951748, revisions=(1053554089,useless=425821261), ccks=1755314399, wck=1516.114, mem=47M800
1528.88/1518.92 decisions=12554065, wrong=6270518, backtracks=4890468, failedAssignments=3603225, nogoods=4524, foundSolutions=27, bestBound=88
1528.88/1518.92
1563.82/1553.74 num=570, depth=14..45, filters=811372135, revisions=(1077337013,useless=435002093), ccks=1792146348, wck=1550.925, mem=75M897
1563.82/1553.74 decisions=12831303, wrong=6409126, backtracks=4996721, failedAssignments=3681012, nogoods=4532, foundSolutions=27, bestBound=88
1563.82/1553.74
1601.56/1591.32 num=571, depth=14..46, filters=831118579, revisions=(1103931115,useless=445737409), ccks=1832360176, wck=1588.508, mem=52M161
1601.56/1591.32 decisions=13142831, wrong=6564879, backtracks=5121671, failedAssignments=3766578, nogoods=4541, foundSolutions=27, bestBound=88
1601.56/1591.32
1641.53/1631.12 num=572, depth=13..45, filters=851831782, revisions=(1131053019,useless=456410521), ccks=1873265821, wck=1628.306, mem=71M626
1641.53/1631.12 decisions=13479427, wrong=6733166, backtracks=5246824, failedAssignments=3860701, nogoods=4551, foundSolutions=27, bestBound=88
1641.53/1631.12
1680.07/1669.56 num=573, depth=13..45, filters=871738327, revisions=(1160132996,useless=469106335), ccks=1915840085, wck=1666.75, mem=55M442
1680.07/1669.56 decisions=13866263, wrong=6926574, backtracks=5394765, failedAssignments=3964236, nogoods=4569, foundSolutions=27, bestBound=88
1680.07/1669.56
1729.25/1718.54 num=574, depth=12..47, filters=896929896, revisions=(1194009283,useless=482930231), ccks=1966047360, wck=1715.732, mem=79M227
1729.25/1718.54 decisions=14278661, wrong=7132763, backtracks=5552231, failedAssignments=4078125, nogoods=4583, foundSolutions=27, bestBound=88
1729.25/1718.54
1788.89/1777.92 num=575, depth=13..42, filters=927822975, revisions=(1234240713,useless=498737876), ccks=2029175806, wck=1775.113, mem=54M403
1788.89/1777.92 decisions=14729553, wrong=7358201, backtracks=5735736, failedAssignments=4203403, nogoods=4593, foundSolutions=27, bestBound=88
1788.89/1777.92
1844.70/1833.60 num=576, depth=12..48, filters=957069840, revisions=(1273832014,useless=514577795), ccks=2086250815, wck=1830.786, mem=40M387
1844.70/1833.60 decisions=15234057, wrong=7610445, backtracks=5920684, failedAssignments=4341209, nogoods=4606, foundSolutions=27, bestBound=88
1844.70/1833.60
1915.59/1904.14 num=577, depth=13..44, filters=994349389, revisions=(1321444162,useless=532881303), ccks=2160276627, wck=1901.328, mem=56M612
1915.59/1904.14 decisions=15787336, wrong=7887075, backtracks=6138445, failedAssignments=4492795, nogoods=4621, foundSolutions=27, bestBound=88
1915.59/1904.14
1990.47/1978.78 num=578, depth=13..47, filters=1033594098, revisions=(1372655947,useless=553122283), ccks=2236821657, wck=1975.967, mem=71M749
1990.47/1978.78 decisions=16409167, wrong=8197980, backtracks=6378995, failedAssignments=4659540, nogoods=4635, foundSolutions=27, bestBound=88
1990.47/1978.78
2067.07/2055.02 num=579, depth=12..48, filters=1073072906, revisions=(1430181425,useless=577621937), ccks=2316738889, wck=2052.211, mem=55M573
2067.07/2055.02 decisions=17104854, wrong=8545814, backtracks=6641218, failedAssignments=4842959, nogoods=4648, foundSolutions=27, bestBound=88
2067.07/2055.02
2168.94/2156.57 num=580, depth=13..47, filters=1126744005, revisions=(1498767089,useless=604626801), ccks=2425358247, wck=2153.76, mem=78M270
2168.94/2156.57 decisions=17840673, wrong=8913713, backtracks=6942534, failedAssignments=5044720, nogoods=4661, foundSolutions=27, bestBound=88
2168.94/2156.57
2256.91/2244.19 num=581, depth=12..46, filters=1172735548, revisions=(1564248989,useless=631986542), ccks=2517521424, wck=2241.376, mem=59M926
2256.91/2244.19 decisions=18657600, wrong=9322168, backtracks=7237678, failedAssignments=5266658, nogoods=4678, foundSolutions=27, bestBound=88
2256.91/2244.19
2375.26/2362.01 num=582, depth=12..49, filters=1235367774, revisions=(1642871595,useless=662094570), ccks=2646765853, wck=2359.199, mem=40M502
2375.26/2362.01 decisions=19530243, wrong=9758479, backtracks=7580742, failedAssignments=5510789, nogoods=4690, foundSolutions=27, bestBound=88
2375.26/2362.01
2400.06/2386.70
2400.06/2386.70 v <instantiation id='sol27' type='solution' cost='88'> <list> x[] y[][] c[] s[] </list> <values> -1 1 1 -1 -1 1 -1 -1 1 1 -1 1 -1 1 1 -1 1 -1 1 -1 -1 -1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 -1 1 -1 1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 1 1 -1 1 1 -1 1 1 1 1 1 1 1 -1 -1 -1 -1 1 -1 -1 -1 -1 1 1 1 -1 -1 1 1 1 1 -1 1 -1 -1 1 -1 -1 1 1 1 1 1 1 * 1 -1 1 1 1 1 -1 1 1 -1 -1 1 1 1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 * * 1 1 -1 1 -1 1 1 -1 -1 1 -1 -1 -1 -1 1 1 -1 1 1 -1 -1 1 -1 -1 -1 1 1 1 1 * * * -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 -1 1 -1 -1 1 -1 1 1 -1 -1 -1 1 1 1 * * * * 1 -1 1 -1 1 1 1 -1 1 -1 -1 -1 -1 -1 -1 1 1 -1 1 1 1 1 -1 -1 -1 1 1 * * * * * 1 1 1 1 -1 -1 -1 -1 -1 1 1 1 1 -1 -1 -1 1 -1 -1 1 1 1 -1 -1 -1 1 * * * * * * -1 1 -1 -1 1 1 -1 1 1 -1 -1 -1 1 -1 1 -1 1 1 -1 1 1 1 -1 -1 -1 * * * * * * * -1 -1 1 1 -1 1 1 -1 -1 1 1 -1 1 1 1 -1 -1 1 -1 1 1 1 -1 -1 * * * * * * * * 1 1 -1 -1 -1 -1 -1 1 1 -1 1 -1 -1 1 1 1 -1 1 -1 1 1 1 -1 * * * * * * * * * -1 -1 1 -1 1 1 1 -1 -1 -1 1 1 -1 1 -1 1 -1 1 -1 1 1 1 * * * * * * * * * * 1 1 1 1 -1 -1 -1 1 -1 -1 -1 1 -1 -1 -1 1 -1 1 -1 1 1 * * * * * * * * * * * -1 1 -1 -1 1 1 1 1 -1 1 -1 1 1 -1 -1 1 -1 1 -1 1 * * * * * * * * * * * * -1 -1 1 1 -1 -1 1 1 1 1 -1 -1 1 -1 -1 1 -1 1 -1 * * * * * * * * * * * * * 1 1 -1 -1 1 -1 1 -1 1 1 1 -1 1 -1 -1 1 -1 1 * * * * * * * * * * * * * * -1 -1 1 1 1 -1 -1 -1 1 -1 1 -1 1 -1 -1 1 -1 * * * * * * * * * * * * * * * 1 1 -1 1 1 1 -1 -1 -1 -1 1 -1 1 -1 -1 1 * * * * * * * * * * * * * * * * -1 -1 -1 1 -1 1 -1 1 -1 -1 1 -1 1 -1 -1 * * * * * * * * * * * * * * * * * 1 -1 -1 -1 -1 1 1 1 -1 -1 1 -1 1 -1 * * * * * * * * * * * * * * * * * * 1 -1 1 -1 -1 -1 1 1 -1 -1 1 -1 1 * * * * * * * * * * * * * * * * * * * 1 1 1 -1 1 -1 1 1 -1 -1 1 -1 * * * * * * * * * * * * * * * * * * * * -1 1 1 1 1 -1 1 1 -1 -1 1 * * * * * * * * * * * * * * * * * * * * * -1 1 -1 1 1 -1 1 1 -1 -1 * * * * * * * * * * * * * * * * * * * * * * -1 -1 -1 1 1 -1 1 1 -1 * * * * * * * * * * * * * * * * * * * * * * * 1 -1 -1 1 1 -1 1 1 * * * * * * * * * * * * * * * * * * * * * * * * 1 -1 -1 1 1 -1 1 * * * * * * * * * * * * * * * * * * * * * * * * * 1 -1 -1 1 1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * 1 -1 -1 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 -1 -1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 -1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 1 2 1 0 1 0 -1 2 1 2 -1 2 -1 2 -3 0 -5 -2 -1 2 3 0 -1 2 1 0 1 0 -1 0 1 0 1 4 1 0 1 0 1 4 1 4 1 4 1 4 9 0 25 4 1 4 9 0 1 4 1 0 1 0 1 0 1 </values> </instantiation>
2400.06/2386.70 s SATISFIABLE