2.42/1.89
2.42/1.89 AbsCon 2
2.63/1.91
3.24/2.14 Instance
3.24/2.14 name=instance-4391007-1568382929, framework=COP, bounds=-infty..+infty
3.24/2.14
3.24/2.14 Loading variables...
3.61/2.22 Loading constraints...[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@772729b5
4.34/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6846125d
4.34/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6dbad4f
4.34/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@411d326d
4.34/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7fe6fa8
4.34/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ea79897
4.34/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@36bd3a2d
4.34/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@28b24639
4.34/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@61aa4176
4.34/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6974afe9
4.34/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2fcc96b9
4.34/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5d39e1c6
4.34/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7c12453a
4.34/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@fd709d1
4.34/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@55b78c7d
4.34/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6802b82a
4.34/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2bda9794
4.34/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6cae9853
4.34/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6855f8fa
4.34/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@64a8b2a2
4.34/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@511ebcb7
4.34/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a4f6695
4.34/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@301aba
4.34/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@45dae986
4.34/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1e076f54
4.34/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5ad73614
4.34/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@73fe7bfa
4.34/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@43f8b931
4.34/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2382efa5
4.34/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@676e426e
4.34/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6b32b37f
4.34/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@55daa4f0
4.63/2.51
4.63/2.51
4.63/2.51 Domains
4.63/2.51 nTypes=65, nValues=2770, sizes=[2#562,3#2,4#1,5#2...59#1,61#1,63#1,65#1]
4.63/2.51 Variables
4.63/2.51 count=625, degrees=[2#592,32#33]
4.63/2.51 Objectives
4.63/2.51 way=min, type=SumSimpleLE
4.63/2.51 Constraints
4.63/2.51 count=593, nSpecific=33, arities=[2#33,3#529,4#1,5#1...30#1,31#1,32#2,33#1]
4.63/2.51 distribution=[CtrIntension#560,SumSimpleLE#1,SumWeightedEQ#32]
4.63/2.51 nIntStructures=(33,shared:527), nCftStructures=(33,shared:527,unbuilt:33)
4.63/2.51 wck=0.643, cpu=2.458, mem=58M222
4.63/2.51 Solver SolverBacktrack being built...
4.63/2.51
4.63/2.54
4.63/2.54 Solver
4.63/2.54 guaranteedGAC=false
4.63/2.54 wck=0.679, cpu=2.493, mem=71M509
4.63/2.55
4.63/2.55 Preprocessing
4.63/2.55 filters=0, ccks=24504, nACremovedValues=0, nTotalRemovedValues=0, inconcistency=false
4.63/2.55 wck=0.012, cpu=2.506, mem=71M509
4.63/2.55
4.63/2.60 o 11440
4.96/2.61 num=0, depth=626..624, filters=1328, revisions=(2144,useless=1344), ccks=50089, wck=0.067, mem=71M509
4.96/2.61 decisions=33, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=1, bestBound=11440
4.96/2.61
4.96/2.63 o 9456
4.96/2.63 num=1, depth=0..624, filters=2632, revisions=(4335,useless=2744), ccks=57349, wck=0.089, mem=71M509
4.96/2.63 decisions=68, wrong=1, backtracks=0, failedAssignments=1, foundSolutions=2, bestBound=9456
4.96/2.63
4.96/2.65 o 7720
4.96/2.65 num=2, depth=32..624, filters=4002, revisions=(6671,useless=4239), ccks=65180, wck=0.109, mem=74M156
4.96/2.65 decisions=102, wrong=2, backtracks=0, failedAssignments=2, nogoods=1, foundSolutions=3, bestBound=7720
4.96/2.65
4.96/2.66 num=3, depth=25..34, filters=4088, revisions=(7631,useless=5138), ccks=67957, wck=0.116, mem=74M156
4.96/2.66 decisions=170, wrong=24, backtracks=11, failedAssignments=13, nogoods=2, foundSolutions=3, bestBound=7720
4.96/2.66
4.96/2.66 num=4, depth=32..36, filters=4284, revisions=(9720,useless=7068), ccks=72147, wck=0.122, mem=74M156
4.96/2.66 decisions=244, wrong=45, backtracks=26, failedAssignments=24, nogoods=4, foundSolutions=3, bestBound=7720
4.96/2.66
4.96/2.68 num=5, depth=34..39, filters=5104, revisions=(18626,useless=15232), ccks=85029, wck=0.135, mem=74M156
4.96/2.68 decisions=326, wrong=69, backtracks=38, failedAssignments=36, nogoods=6, foundSolutions=3, bestBound=7720
4.96/2.68
4.96/2.69 num=6, depth=12..39, filters=6017, revisions=(22226,useless=18066), ccks=91895, wck=0.143, mem=74M156
4.96/2.69 decisions=403, wrong=94, backtracks=50, failedAssignments=49, nogoods=8, foundSolutions=3, bestBound=7720
4.96/2.69
4.96/2.69 num=7, depth=29..41, filters=7434, revisions=(26163,useless=20806), ccks=100037, wck=0.153, mem=74M156
4.96/2.69 decisions=484, wrong=120, backtracks=62, failedAssignments=63, nogoods=9, foundSolutions=3, bestBound=7720
4.96/2.69
5.26/2.70 o 3864
5.26/2.71 num=8, depth=626..624, filters=8596, revisions=(30113,useless=24010), ccks=110324, wck=0.166, mem=74M156
5.26/2.71 decisions=518, wrong=120, backtracks=62, failedAssignments=63, nogoods=9, foundSolutions=4, bestBound=3864
5.26/2.71
5.26/2.72 o 3204
5.26/2.72 num=9, depth=34..624, filters=9830, revisions=(34159,useless=27259), ccks=117724, wck=0.182, mem=74M156
5.26/2.72 decisions=553, wrong=121, backtracks=62, failedAssignments=64, nogoods=10, foundSolutions=5, bestBound=3204
5.26/2.72
5.26/2.73 num=10, depth=6..11, filters=10477, revisions=(41253,useless=33848), ccks=126706, wck=0.193, mem=74M156
5.26/2.73 decisions=601, wrong=142, backtracks=77, failedAssignments=75, nogoods=12, foundSolutions=5, bestBound=3204
5.26/2.73
5.26/2.74 o 984
5.26/2.75 num=11, depth=626..624, filters=11647, revisions=(44969,useless=36801), ccks=140625, wck=0.206, mem=74M156
5.26/2.75 decisions=633, wrong=142, backtracks=77, failedAssignments=75, nogoods=12, foundSolutions=6, bestBound=984
5.26/2.75
5.26/2.76 o 952
5.26/2.76 num=12, depth=32..624, filters=12888, revisions=(48768,useless=39788), ccks=150764, wck=0.222, mem=76M799
5.26/2.76 decisions=666, wrong=143, backtracks=77, failedAssignments=76, nogoods=13, foundSolutions=7, bestBound=952
5.26/2.76
5.26/2.78 num=13, depth=5..35, filters=14784, revisions=(52830,useless=42516), ccks=167085, wck=0.238, mem=76M799
5.26/2.78 decisions=728, wrong=160, backtracks=88, failedAssignments=87, nogoods=17, foundSolutions=7, bestBound=952
5.26/2.78
5.26/2.79 o 888
5.26/2.79 num=14, depth=626..624, filters=15901, revisions=(56452,useless=45408), ccks=181635, wck=0.25, mem=76M799
5.26/2.79 decisions=760, wrong=160, backtracks=88, failedAssignments=87, nogoods=17, foundSolutions=8, bestBound=888
5.26/2.79
5.57/2.80 num=15, depth=32..35, filters=17612, revisions=(59663,useless=47414), ccks=191190, wck=0.262, mem=76M799
5.57/2.80 decisions=821, wrong=174, backtracks=90, failedAssignments=99, nogoods=26, foundSolutions=8, bestBound=888
5.57/2.80
5.57/2.81 num=16, depth=24..32, filters=20227, revisions=(64254,useless=50118), ccks=208065, wck=0.275, mem=76M799
5.57/2.81 decisions=894, wrong=197, backtracks=109, failedAssignments=110, nogoods=32, foundSolutions=8, bestBound=888
5.57/2.81
5.57/2.82 o 784
5.57/2.82 num=17, depth=27..624, filters=21574, revisions=(68048,useless=53019), ccks=217154, wck=0.285, mem=76M799
5.57/2.82 decisions=927, wrong=200, backtracks=110, failedAssignments=112, nogoods=34, foundSolutions=9, bestBound=784
5.57/2.82
5.57/2.84 num=18, depth=28..34, filters=24664, revisions=(72986,useless=55765), ccks=234458, wck=0.3, mem=76M799
5.57/2.84 decisions=1001, wrong=222, backtracks=123, failedAssignments=125, nogoods=36, foundSolutions=9, bestBound=784
5.57/2.84
5.57/2.85 o 716
5.57/2.85 num=19, depth=28..624, filters=26992, revisions=(77465,useless=58674), ccks=248414, wck=0.313, mem=76M799
5.57/2.85 decisions=1051, wrong=232, backtracks=129, failedAssignments=130, nogoods=39, foundSolutions=10, bestBound=716
5.57/2.85
5.57/2.87 o 712
5.57/2.87 num=20, depth=29..624, filters=29103, revisions=(81872,useless=61592), ccks=260466, wck=0.329, mem=79M451
5.57/2.87 decisions=1103, wrong=243, backtracks=133, failedAssignments=139, nogoods=44, foundSolutions=11, bestBound=712
5.57/2.87
5.57/2.89 o 700
5.57/2.89 num=21, depth=31..624, filters=30768, revisions=(85585,useless=64192), ccks=272747, wck=0.349, mem=79M451
5.57/2.89 decisions=1148, wrong=249, backtracks=135, failedAssignments=143, nogoods=47, foundSolutions=12, bestBound=700
5.57/2.89
5.87/2.90 num=22, depth=29..32, filters=32928, revisions=(89085,useless=66200), ccks=287277, wck=0.361, mem=79M451
5.87/2.90 decisions=1207, wrong=263, backtracks=141, failedAssignments=154, nogoods=55, foundSolutions=12, bestBound=700
5.87/2.90
5.87/2.91 num=23, depth=28..31, filters=34888, revisions=(92515,useless=68233), ccks=298973, wck=0.368, mem=79M451
5.87/2.91 decisions=1269, wrong=279, backtracks=149, failedAssignments=165, nogoods=63, foundSolutions=12, bestBound=700
5.87/2.91
5.87/2.92 o 680
5.87/2.92 num=24, depth=30..624, filters=36828, revisions=(96735,useless=71117), ccks=311216, wck=0.377, mem=79M451
5.87/2.92 decisions=1324, wrong=291, backtracks=155, failedAssignments=172, nogoods=65, foundSolutions=13, bestBound=680
5.87/2.92
5.87/2.93 num=25, depth=29..34, filters=39396, revisions=(100973,useless=73539), ccks=325362, wck=0.388, mem=79M451
5.87/2.93 decisions=1392, wrong=311, backtracks=168, failedAssignments=185, nogoods=66, foundSolutions=13, bestBound=680
5.87/2.93
5.87/2.94 num=26, depth=29..34, filters=42285, revisions=(105427,useless=75900), ccks=340592, wck=0.396, mem=79M451
5.87/2.94 decisions=1458, wrong=329, backtracks=178, failedAssignments=196, nogoods=70, foundSolutions=13, bestBound=680
5.87/2.94
5.87/2.94 num=27, depth=25..34, filters=45405, revisions=(110502,useless=78755), ccks=357191, wck=0.404, mem=79M451
5.87/2.94 decisions=1525, wrong=350, backtracks=196, failedAssignments=208, nogoods=72, foundSolutions=13, bestBound=680
5.87/2.94
5.87/2.95 o 596
5.87/2.95 num=28, depth=31..624, filters=46602, revisions=(113551,useless=81024), ccks=367915, wck=0.412, mem=79M451
5.87/2.95 decisions=1568, wrong=354, backtracks=196, failedAssignments=212, nogoods=76, foundSolutions=14, bestBound=596
5.87/2.95
5.87/2.96 o 484
5.87/2.96 num=29, depth=32..624, filters=48040, revisions=(116856,useless=83353), ccks=378056, wck=0.422, mem=79M451
5.87/2.96 decisions=1614, wrong=361, backtracks=198, failedAssignments=217, nogoods=79, foundSolutions=15, bestBound=484
5.87/2.96
5.87/2.97 num=30, depth=30..35, filters=50028, revisions=(120102,useless=85187), ccks=388810, wck=0.43, mem=79M451
5.87/2.97 decisions=1680, wrong=379, backtracks=206, failedAssignments=228, nogoods=81, foundSolutions=15, bestBound=484
5.87/2.97
5.87/2.98 o 480
5.87/2.98 num=31, depth=31..624, filters=51107, revisions=(122955,useless=87315), ccks=398606, wck=0.437, mem=82M93
5.87/2.98 decisions=1717, wrong=381, backtracks=206, failedAssignments=230, nogoods=83, foundSolutions=16, bestBound=480
5.87/2.98
5.87/2.99 num=32, depth=30..36, filters=53418, revisions=(126589,useless=89268), ccks=409090, wck=0.446, mem=82M93
5.87/2.99 decisions=1787, wrong=400, backtracks=216, failedAssignments=242, nogoods=87, foundSolutions=16, bestBound=480
5.87/2.99
5.87/2.99 num=33, depth=27..33, filters=55693, revisions=(130355,useless=91368), ccks=420627, wck=0.452, mem=82M93
5.87/2.99 decisions=1857, wrong=420, backtracks=229, failedAssignments=253, nogoods=91, foundSolutions=16, bestBound=480
5.87/2.99
6.21/3.01 num=34, depth=30..35, filters=57244, revisions=(133086,useless=93003), ccks=428986, wck=0.457, mem=82M93
6.21/3.01 decisions=1923, wrong=438, backtracks=238, failedAssignments=265, nogoods=92, foundSolutions=16, bestBound=480
6.21/3.01
6.21/3.01 num=35, depth=30..35, filters=59022, revisions=(136034,useless=94675), ccks=438590, wck=0.463, mem=82M93
6.21/3.01 decisions=1994, wrong=457, backtracks=247, failedAssignments=278, nogoods=95, foundSolutions=16, bestBound=480
6.21/3.01
6.21/3.01 num=36, depth=28..33, filters=61730, revisions=(140227,useless=96864), ccks=452366, wck=0.47, mem=82M93
6.21/3.01 decisions=2074, wrong=483, backtracks=262, failedAssignments=292, nogoods=98, foundSolutions=16, bestBound=480
6.21/3.01
6.21/3.01 o 396
6.21/3.02 num=37, depth=33..624, filters=63060, revisions=(143432,useless=99126), ccks=460092, wck=0.476, mem=82M93
6.21/3.02 decisions=2125, wrong=492, backtracks=265, failedAssignments=298, nogoods=101, foundSolutions=17, bestBound=396
6.21/3.02
6.21/3.03 o 356
6.21/3.03 num=38, depth=30..624, filters=65634, revisions=(148000,useless=101861), ccks=471759, wck=0.487, mem=82M93
6.21/3.03 decisions=2201, wrong=515, backtracks=278, failedAssignments=311, nogoods=104, foundSolutions=18, bestBound=356
6.21/3.03
6.21/3.04 num=39, depth=26..31, filters=69201, revisions=(153503,useless=104755), ccks=487833, wck=0.5, mem=82M93
6.21/3.04 decisions=2268, wrong=535, backtracks=290, failedAssignments=322, nogoods=106, foundSolutions=18, bestBound=356
6.21/3.04
6.21/3.05 num=40, depth=29..33, filters=71486, revisions=(157090,useless=106727), ccks=498686, wck=0.506, mem=82M93
6.21/3.05 decisions=2330, wrong=551, backtracks=296, failedAssignments=333, nogoods=110, foundSolutions=18, bestBound=356
6.21/3.05
6.21/3.05 num=41, depth=26..31, filters=74485, revisions=(162119,useless=109491), ccks=512353, wck=0.513, mem=82M93
6.21/3.05 decisions=2400, wrong=572, backtracks=314, failedAssignments=345, nogoods=113, foundSolutions=18, bestBound=356
6.21/3.05
6.21/3.06 o 244
6.21/3.06 num=42, depth=31..624, filters=76074, revisions=(165457,useless=111714), ccks=522179, wck=0.519, mem=82M93
6.21/3.06 decisions=2446, wrong=579, backtracks=317, failedAssignments=349, nogoods=114, foundSolutions=19, bestBound=244
6.21/3.06
6.21/3.07 o 192
6.21/3.07 num=43, depth=626..624, filters=77083, revisions=(168324,useless=113865), ccks=529508, wck=0.527, mem=84M736
6.21/3.07 decisions=2479, wrong=579, backtracks=317, failedAssignments=349, nogoods=114, foundSolutions=20, bestBound=192
6.21/3.07
6.21/3.07 num=44, depth=27..31, filters=78718, revisions=(171553,useless=115818), ccks=536859, wck=0.534, mem=84M736
6.21/3.07 decisions=2540, wrong=596, backtracks=326, failedAssignments=360, nogoods=117, foundSolutions=20, bestBound=192
6.21/3.07
6.21/3.08 num=45, depth=28..32, filters=81326, revisions=(175982,useless=118175), ccks=546774, wck=0.54, mem=84M736
6.21/3.08 decisions=2603, wrong=613, backtracks=334, failedAssignments=371, nogoods=121, foundSolutions=20, bestBound=192
6.21/3.08
6.21/3.09 num=46, depth=28..32, filters=83948, revisions=(180191,useless=120386), ccks=555889, wck=0.545, mem=84M736
6.21/3.09 decisions=2673, wrong=634, backtracks=348, failedAssignments=383, nogoods=123, foundSolutions=20, bestBound=192
6.21/3.09
6.21/3.09 num=47, depth=28..32, filters=86966, revisions=(185102,useless=122866), ccks=566937, wck=0.552, mem=84M736
6.21/3.09 decisions=2745, wrong=655, backtracks=357, failedAssignments=396, nogoods=126, foundSolutions=20, bestBound=192
6.21/3.09
6.21/3.10 num=48, depth=25..33, filters=92745, revisions=(193547,useless=127071), ccks=584288, wck=0.563, mem=84M736
6.21/3.10 decisions=2827, wrong=682, backtracks=378, failedAssignments=410, nogoods=129, foundSolutions=20, bestBound=192
6.21/3.10
6.40/3.11 num=49, depth=27..33, filters=96947, revisions=(199787,useless=129903), ccks=599344, wck=0.572, mem=84M736
6.40/3.11 decisions=2911, wrong=710, backtracks=397, failedAssignments=426, nogoods=131, foundSolutions=20, bestBound=192
6.40/3.11
6.40/3.12 num=50, depth=25..30, filters=101877, revisions=(206680,useless=133026), ccks=613270, wck=0.582, mem=84M736
6.40/3.12 decisions=2997, wrong=739, backtracks=418, failedAssignments=443, nogoods=139, foundSolutions=20, bestBound=192
6.40/3.12
6.40/3.13 num=51, depth=24..30, filters=107830, revisions=(214882,useless=136677), ccks=633316, wck=0.595, mem=84M736
6.40/3.13 decisions=3085, wrong=770, backtracks=445, failedAssignments=462, nogoods=141, foundSolutions=20, bestBound=192
6.40/3.13
6.40/3.14 num=52, depth=22..28, filters=112230, revisions=(221548,useless=139735), ccks=646714, wck=0.604, mem=84M736
6.40/3.14 decisions=3174, wrong=803, backtracks=468, failedAssignments=483, nogoods=151, foundSolutions=20, bestBound=192
6.40/3.14
6.40/3.16 num=53, depth=22..27, filters=117681, revisions=(229501,useless=143447), ccks=662613, wck=0.616, mem=84M736
6.40/3.16 decisions=3261, wrong=835, backtracks=495, failedAssignments=506, nogoods=156, foundSolutions=20, bestBound=192
6.40/3.16
6.40/3.17 num=54, depth=21..29, filters=122479, revisions=(236780,useless=146834), ccks=674690, wck=0.626, mem=84M736
6.40/3.17 decisions=3356, wrong=871, backtracks=518, failedAssignments=531, nogoods=162, foundSolutions=20, bestBound=192
6.40/3.17
6.40/3.18 num=55, depth=21..27, filters=128942, revisions=(246434,useless=151040), ccks=692374, wck=0.639, mem=84M736
6.40/3.18 decisions=3463, wrong=913, backtracks=544, failedAssignments=559, nogoods=165, foundSolutions=20, bestBound=192
6.40/3.18
6.40/3.19 num=56, depth=22..30, filters=134310, revisions=(254550,useless=154736), ccks=706857, wck=0.649, mem=84M736
6.40/3.19 decisions=3573, wrong=956, backtracks=572, failedAssignments=590, nogoods=168, foundSolutions=20, bestBound=192
6.40/3.19
6.53/3.20 num=57, depth=21..28, filters=142049, revisions=(265481,useless=159375), ccks=727382, wck=0.664, mem=84M736
6.53/3.20 decisions=3693, wrong=1004, backtracks=603, failedAssignments=624, nogoods=171, foundSolutions=20, bestBound=192
6.53/3.20
6.53/3.22 num=58, depth=23..29, filters=150089, revisions=(276743,useless=164259), ccks=750005, wck=0.68, mem=84M736
6.53/3.22 decisions=3818, wrong=1054, backtracks=641, failedAssignments=661, nogoods=180, foundSolutions=20, bestBound=192
6.53/3.22
6.53/3.24 num=59, depth=22..28, filters=158673, revisions=(288685,useless=169217), ccks=775719, wck=0.697, mem=84M736
6.53/3.24 decisions=3959, wrong=1113, backtracks=682, failedAssignments=702, nogoods=186, foundSolutions=20, bestBound=192
6.53/3.24
6.53/3.25 num=60, depth=23..30, filters=167472, revisions=(300911,useless=174260), ccks=804075, wck=0.715, mem=84M736
6.53/3.25 decisions=4113, wrong=1178, backtracks=730, failedAssignments=747, nogoods=191, foundSolutions=20, bestBound=192
6.53/3.25
6.53/3.28 num=61, depth=22..29, filters=182147, revisions=(319835,useless=181753), ccks=843453, wck=0.741, mem=84M736
6.53/3.28 decisions=4289, wrong=1254, backtracks=791, failedAssignments=797, nogoods=195, foundSolutions=20, bestBound=192
6.53/3.28
6.65/3.30 num=62, depth=22..30, filters=194202, revisions=(336633,useless=188729), ccks=877996, wck=0.765, mem=84M736
6.65/3.30 decisions=4469, wrong=1332, backtracks=848, failedAssignments=852, nogoods=200, foundSolutions=20, bestBound=192
6.65/3.30
6.65/3.33 num=63, depth=21..32, filters=204980, revisions=(352576,useless=196069), ccks=910677, wck=0.786, mem=87M378
6.65/3.33 decisions=4674, wrong=1423, backtracks=929, failedAssignments=913, nogoods=204, foundSolutions=20, bestBound=192
6.65/3.33
6.65/3.35 num=64, depth=22..30, filters=217895, revisions=(370721,useless=203545), ccks=949927, wck=0.81, mem=87M378
6.65/3.35 decisions=4880, wrong=1515, backtracks=998, failedAssignments=980, nogoods=209, foundSolutions=20, bestBound=192
6.65/3.35
6.65/3.37 num=65, depth=20..31, filters=226969, revisions=(384373,useless=210030), ccks=979839, wck=0.828, mem=87M378
6.65/3.37 decisions=5103, wrong=1615, backtracks=1078, failedAssignments=1054, nogoods=218, foundSolutions=20, bestBound=192
6.65/3.37
6.80/3.40 num=66, depth=21..28, filters=246335, revisions=(409987,useless=220036), ccks=1032597, wck=0.864, mem=87M378
6.80/3.40 decisions=5358, wrong=1731, backtracks=1171, failedAssignments=1135, nogoods=221, foundSolutions=20, bestBound=192
6.80/3.40
6.80/3.44 num=67, depth=20..34, filters=262546, revisions=(432050,useless=229868), ccks=1093708, wck=0.897, mem=87M378
6.80/3.44 decisions=5733, wrong=1906, backtracks=1328, failedAssignments=1224, nogoods=224, foundSolutions=20, bestBound=192
6.80/3.44
6.92/3.50 num=68, depth=22..31, filters=297159, revisions=(489158,useless=259867), ccks=1206542, wck=0.964, mem=87M378
6.92/3.50 decisions=6129, wrong=2092, backtracks=1479, failedAssignments=1322, nogoods=229, foundSolutions=20, bestBound=192
6.92/3.50
7.08/3.62 num=69, depth=21..32, filters=330320, revisions=(558389,useless=300147), ccks=1287487, wck=1.083, mem=87M378
7.08/3.62 decisions=6586, wrong=2309, backtracks=1645, failedAssignments=1430, nogoods=233, foundSolutions=20, bestBound=192
7.08/3.62
7.08/3.68 num=70, depth=23..32, filters=356043, revisions=(592067,useless=314077), ccks=1371498, wck=1.137, mem=87M378
7.08/3.68 decisions=6990, wrong=2499, backtracks=1801, failedAssignments=1549, nogoods=239, foundSolutions=20, bestBound=192
7.08/3.68
7.23/3.78 num=71, depth=22..32, filters=387227, revisions=(631442,useless=328870), ccks=1454967, wck=1.198, mem=87M378
7.23/3.78 decisions=7415, wrong=2699, backtracks=1955, failedAssignments=1680, nogoods=246, foundSolutions=20, bestBound=192
7.23/3.78
7.43/3.83 num=72, depth=18..32, filters=419619, revisions=(673955,useless=348484), ccks=1600218, wck=1.288, mem=87M378
7.43/3.83 decisions=8470, wrong=3216, backtracks=2432, failedAssignments=1824, nogoods=249, foundSolutions=20, bestBound=192
7.43/3.83
7.57/3.95 num=73, depth=20..32, filters=478224, revisions=(810034,useless=435069), ccks=1748666, wck=1.413, mem=87M378
7.57/3.95 decisions=8923, wrong=3431, backtracks=2629, failedAssignments=1982, nogoods=253, foundSolutions=20, bestBound=192
7.57/3.95
7.67/4.06 num=74, depth=21..33, filters=531707, revisions=(931156,useless=509896), ccks=1871335, wck=1.516, mem=87M378
7.67/4.06 decisions=9417, wrong=3667, backtracks=2826, failedAssignments=2156, nogoods=260, foundSolutions=20, bestBound=192
7.67/4.06
7.87/4.22 num=75, depth=21..33, filters=613797, revisions=(1087645,useless=600457), ccks=2090078, wck=1.676, mem=87M378
7.87/4.22 decisions=10109, wrong=4002, backtracks=3119, failedAssignments=2347, nogoods=269, foundSolutions=20, bestBound=192
7.87/4.22
7.97/4.34 num=76, depth=22..33, filters=676911, revisions=(1191476,useless=654518), ccks=2284921, wck=1.798, mem=87M378
7.97/4.34 decisions=10940, wrong=4405, backtracks=3460, failedAssignments=2558, nogoods=277, foundSolutions=20, bestBound=192
7.97/4.34
8.07/4.48 num=77, depth=22..32, filters=758219, revisions=(1313121,useless=713743), ccks=2529196, wck=1.944, mem=87M378
8.07/4.48 decisions=11829, wrong=4837, backtracks=3802, failedAssignments=2790, nogoods=283, foundSolutions=20, bestBound=192
8.07/4.48
8.27/4.61 num=78, depth=22..33, filters=828426, revisions=(1424457,useless=769058), ccks=2740861, wck=2.073, mem=87M378
8.27/4.61 decisions=12786, wrong=5303, backtracks=4164, failedAssignments=3045, nogoods=288, foundSolutions=20, bestBound=192
8.27/4.61
8.38/4.74 num=79, depth=20..30, filters=899649, revisions=(1542641,useless=829795), ccks=2939740, wck=2.199, mem=87M378
8.38/4.74 decisions=13788, wrong=5793, backtracks=4510, failedAssignments=3326, nogoods=295, foundSolutions=20, bestBound=192
8.38/4.74
8.48/4.81 o 176
8.48/4.81 num=80, depth=23..624, filters=939497, revisions=(1594478,useless=852107), ccks=3041564, wck=2.267, mem=90M21
8.48/4.81 decisions=14394, wrong=6082, backtracks=4688, failedAssignments=3498, nogoods=304, foundSolutions=21, bestBound=176
8.48/4.81
8.59/4.93 num=81, depth=23..35, filters=1013344, revisions=(1694737,useless=895152), ccks=3224821, wck=2.388, mem=90M21
8.59/4.93 decisions=15597, wrong=6671, backtracks=5052, failedAssignments=3838, nogoods=312, foundSolutions=21, bestBound=176
8.59/4.93
8.59/4.93 num=82, depth=28..32, filters=1015718, revisions=(1698885,useless=897431), ccks=3234415, wck=2.393, mem=90M21
8.59/4.93 decisions=15665, wrong=6690, backtracks=5061, failedAssignments=3849, nogoods=319, foundSolutions=21, bestBound=176
8.59/4.93
8.59/4.94 num=83, depth=25..31, filters=1019526, revisions=(1705836,useless=901469), ccks=3248658, wck=2.402, mem=90M21
8.59/4.94 decisions=15734, wrong=6712, backtracks=5078, failedAssignments=3861, nogoods=321, foundSolutions=21, bestBound=176
8.59/4.94
8.59/4.95 num=84, depth=26..30, filters=1022000, revisions=(1710429,useless=904061), ccks=3259018, wck=2.407, mem=90M21
8.59/4.95 decisions=15799, wrong=6731, backtracks=5087, failedAssignments=3874, nogoods=328, foundSolutions=21, bestBound=176
8.59/4.95
8.59/4.96 num=85, depth=24..31, filters=1026453, revisions=(1718181,useless=908415), ccks=3274798, wck=2.418, mem=90M21
8.59/4.96 decisions=15881, wrong=6760, backtracks=5110, failedAssignments=3888, nogoods=329, foundSolutions=21, bestBound=176
8.59/4.96
8.59/4.97 num=86, depth=25..33, filters=1031447, revisions=(1726912,useless=913004), ccks=3291867, wck=2.428, mem=90M21
8.59/4.97 decisions=15967, wrong=6788, backtracks=5127, failedAssignments=3904, nogoods=332, foundSolutions=21, bestBound=176
8.59/4.97
8.59/4.98 num=87, depth=26..34, filters=1036388, revisions=(1735137,useless=917195), ccks=3307885, wck=2.438, mem=90M21
8.59/4.98 decisions=16051, wrong=6817, backtracks=5145, failedAssignments=3921, nogoods=335, foundSolutions=21, bestBound=176
8.59/4.98
8.59/4.99 num=88, depth=25..31, filters=1041349, revisions=(1743584,useless=921498), ccks=3323609, wck=2.448, mem=90M21
8.59/4.99 decisions=16141, wrong=6848, backtracks=5163, failedAssignments=3940, nogoods=337, foundSolutions=21, bestBound=176
8.59/4.99
8.59/5.00 num=89, depth=26..31, filters=1046817, revisions=(1751699,useless=925200), ccks=3340531, wck=2.458, mem=90M21
8.59/5.00 decisions=16239, wrong=6884, backtracks=5184, failedAssignments=3961, nogoods=340, foundSolutions=21, bestBound=176
8.59/5.00
8.70/5.01 num=90, depth=24..32, filters=1052966, revisions=(1760536,useless=929518), ccks=3363640, wck=2.471, mem=90M21
8.70/5.01 decisions=16367, wrong=6935, backtracks=5228, failedAssignments=3984, nogoods=343, foundSolutions=21, bestBound=176
8.70/5.01
8.70/5.02 num=91, depth=25..32, filters=1060490, revisions=(1770522,useless=933885), ccks=3385983, wck=2.484, mem=90M21
8.70/5.02 decisions=16490, wrong=6983, backtracks=5261, failedAssignments=4009, nogoods=346, foundSolutions=21, bestBound=176
8.70/5.02
8.70/5.03 num=92, depth=26..31, filters=1065347, revisions=(1777934,useless=937361), ccks=3399986, wck=2.493, mem=90M21
8.70/5.03 decisions=16618, wrong=7033, backtracks=5287, failedAssignments=4037, nogoods=357, foundSolutions=21, bestBound=176
8.70/5.03
8.70/5.05 num=93, depth=26..31, filters=1073165, revisions=(1788229,useless=941804), ccks=3421250, wck=2.508, mem=90M21
8.70/5.05 decisions=16759, wrong=7090, backtracks=5323, failedAssignments=4068, nogoods=361, foundSolutions=21, bestBound=176
8.70/5.05
8.70/5.07 num=94, depth=25..31, filters=1083298, revisions=(1801052,useless=947211), ccks=3453679, wck=2.528, mem=90M21
8.70/5.07 decisions=16906, wrong=7150, backtracks=5367, failedAssignments=4102, nogoods=363, foundSolutions=21, bestBound=176
8.70/5.07
8.70/5.09 num=95, depth=25..32, filters=1094866, revisions=(1815765,useless=953161), ccks=3491142, wck=2.551, mem=90M21
8.70/5.09 decisions=17065, wrong=7216, backtracks=5414, failedAssignments=4139, nogoods=366, foundSolutions=21, bestBound=176
8.70/5.09
8.85/5.11 num=96, depth=24..32, filters=1105291, revisions=(1829546,useless=958656), ccks=3518919, wck=2.569, mem=90M21
8.85/5.11 decisions=17222, wrong=7281, backtracks=5453, failedAssignments=4180, nogoods=369, foundSolutions=21, bestBound=176
8.85/5.11
8.85/5.13 num=97, depth=24..35, filters=1117571, revisions=(1844230,useless=964597), ccks=3549559, wck=2.59, mem=90M21
8.85/5.13 decisions=17389, wrong=7351, backtracks=5505, failedAssignments=4225, nogoods=373, foundSolutions=21, bestBound=176
8.85/5.13
8.85/5.15 num=98, depth=23..29, filters=1131006, revisions=(1862115,useless=971770), ccks=3586389, wck=2.614, mem=90M21
8.85/5.15 decisions=17565, wrong=7426, backtracks=5566, failedAssignments=4275, nogoods=380, foundSolutions=21, bestBound=176
8.85/5.15
8.85/5.17 num=99, depth=22..29, filters=1141412, revisions=(1877175,useless=978155), ccks=3611156, wck=2.632, mem=90M21
8.85/5.17 decisions=17757, wrong=7510, backtracks=5617, failedAssignments=4330, nogoods=383, foundSolutions=21, bestBound=176
8.85/5.17
8.85/5.19 num=100, depth=22..29, filters=1152954, revisions=(1893293,useless=984623), ccks=3641671, wck=2.653, mem=90M21
8.85/5.19 decisions=17951, wrong=7595, backtracks=5671, failedAssignments=4391, nogoods=393, foundSolutions=21, bestBound=176
8.85/5.19
8.94/5.22 num=101, depth=21..29, filters=1165268, revisions=(1910920,useless=992181), ccks=3672833, wck=2.676, mem=90M21
8.94/5.22 decisions=18166, wrong=7691, backtracks=5732, failedAssignments=4458, nogoods=408, foundSolutions=21, bestBound=176
8.94/5.22
8.94/5.24 num=102, depth=21..28, filters=1182171, revisions=(1934439,useless=1001543), ccks=3708729, wck=2.703, mem=90M21
8.94/5.24 decisions=18399, wrong=7796, backtracks=5793, failedAssignments=4532, nogoods=427, foundSolutions=21, bestBound=176
8.94/5.24
8.94/5.27 num=103, depth=21..30, filters=1195797, revisions=(1954119,useless=1009728), ccks=3740315, wck=2.727, mem=90M21
8.94/5.27 decisions=18646, wrong=7908, backtracks=5864, failedAssignments=4613, nogoods=430, foundSolutions=21, bestBound=176
8.94/5.27
9.05/5.30 num=104, depth=21..29, filters=1216592, revisions=(1982341,useless=1020346), ccks=3789173, wck=2.761, mem=90M21
9.05/5.30 decisions=18924, wrong=8036, backtracks=5944, failedAssignments=4702, nogoods=439, foundSolutions=21, bestBound=176
9.05/5.30
9.05/5.33 num=105, depth=21..28, filters=1236752, revisions=(2010220,useless=1031310), ccks=3834970, wck=2.795, mem=90M21
9.05/5.33 decisions=19231, wrong=8179, backtracks=6028, failedAssignments=4800, nogoods=458, foundSolutions=21, bestBound=176
9.05/5.33
9.05/5.37 num=106, depth=21..29, filters=1260527, revisions=(2041191,useless=1042570), ccks=3888635, wck=2.835, mem=90M21
9.05/5.37 decisions=19556, wrong=8330, backtracks=6127, failedAssignments=4908, nogoods=463, foundSolutions=21, bestBound=176
9.05/5.37
9.18/5.41 num=107, depth=22..29, filters=1282040, revisions=(2070624,useless=1054048), ccks=3937424, wck=2.872, mem=90M21
9.18/5.41 decisions=19906, wrong=8494, backtracks=6228, failedAssignments=5027, nogoods=477, foundSolutions=21, bestBound=176
9.18/5.41
9.18/5.45 num=108, depth=21..30, filters=1306367, revisions=(2103384,useless=1066536), ccks=3995635, wck=2.912, mem=90M21
9.18/5.45 decisions=20300, wrong=8679, backtracks=6338, failedAssignments=5158, nogoods=496, foundSolutions=21, bestBound=176
9.18/5.45
9.18/5.49 num=109, depth=22..31, filters=1328459, revisions=(2133730,useless=1078741), ccks=4051409, wck=2.95, mem=90M21
9.18/5.49 decisions=20741, wrong=8888, backtracks=6481, failedAssignments=5302, nogoods=499, foundSolutions=21, bestBound=176
9.18/5.49
9.29/5.55 num=110, depth=21..30, filters=1360518, revisions=(2174950,useless=1093878), ccks=4136662, wck=3.007, mem=90M21
9.29/5.55 decisions=21213, wrong=9113, backtracks=6644, failedAssignments=5460, nogoods=509, foundSolutions=21, bestBound=176
9.29/5.55
9.41/5.61 num=111, depth=20..29, filters=1395140, revisions=(2220469,useless=1110838), ccks=4228019, wck=3.067, mem=90M21
9.41/5.61 decisions=21726, wrong=9358, backtracks=6805, failedAssignments=5634, nogoods=515, foundSolutions=21, bestBound=176
9.41/5.61
9.41/5.66 num=112, depth=20..31, filters=1424103, revisions=(2262638,useless=1129360), ccks=4299667, wck=3.118, mem=90M21
9.41/5.66 decisions=22285, wrong=9626, backtracks=7007, failedAssignments=5825, nogoods=520, foundSolutions=21, bestBound=176
9.41/5.66
9.51/5.75 num=113, depth=20..29, filters=1477138, revisions=(2331328,useless=1154795), ccks=4425407, wck=3.206, mem=90M21
9.51/5.75 decisions=22919, wrong=9932, backtracks=7238, failedAssignments=6036, nogoods=530, foundSolutions=21, bestBound=176
9.51/5.75
9.61/5.83 num=114, depth=20..29, filters=1526311, revisions=(2395038,useless=1177850), ccks=4549647, wck=3.29, mem=90M21
9.61/5.83 decisions=23647, wrong=10285, backtracks=7485, failedAssignments=6268, nogoods=533, foundSolutions=21, bestBound=176
9.61/5.83
9.71/5.91 num=115, depth=18..31, filters=1565346, revisions=(2450721,useless=1204855), ccks=4687566, wck=3.366, mem=90M21
9.71/5.91 decisions=24449, wrong=10676, backtracks=7860, failedAssignments=6523, nogoods=539, foundSolutions=21, bestBound=176
9.71/5.91
9.71/6.00 num=116, depth=20..29, filters=1622791, revisions=(2526053,useless=1233431), ccks=4823923, wck=3.463, mem=90M21
9.71/6.00 decisions=25272, wrong=11077, backtracks=8145, failedAssignments=6804, nogoods=545, foundSolutions=21, bestBound=176
9.71/6.00
9.92/6.13 num=117, depth=19..30, filters=1696667, revisions=(2621039,useless=1267827), ccks=5006605, wck=3.588, mem=90M21
9.92/6.13 decisions=26212, wrong=11536, backtracks=8470, failedAssignments=7113, nogoods=559, foundSolutions=21, bestBound=176
9.92/6.13
10.01/6.24 num=118, depth=20..29, filters=1761113, revisions=(2706163,useless=1300009), ccks=5174469, wck=3.701, mem=90M21
10.01/6.24 decisions=27236, wrong=12037, backtracks=8832, failedAssignments=7453, nogoods=569, foundSolutions=21, bestBound=176
10.01/6.24
10.12/6.36 num=119, depth=19..29, filters=1837532, revisions=(2810676,useless=1340797), ccks=5343002, wck=3.825, mem=90M21
10.12/6.36 decisions=28386, wrong=12601, backtracks=9189, failedAssignments=7827, nogoods=589, foundSolutions=21, bestBound=176
10.12/6.36
10.32/6.55 num=120, depth=19..30, filters=1944003, revisions=(2943482,useless=1390784), ccks=5585486, wck=4.009, mem=90M21
10.32/6.55 decisions=29715, wrong=13254, backtracks=9730, failedAssignments=8238, nogoods=595, foundSolutions=21, bestBound=176
10.32/6.55
10.53/6.71 num=121, depth=19..30, filters=2043619, revisions=(3069553,useless=1435770), ccks=5835483, wck=4.174, mem=90M21
10.53/6.71 decisions=31059, wrong=13915, backtracks=10186, failedAssignments=8690, nogoods=607, foundSolutions=21, bestBound=176
10.53/6.71
10.63/6.85 num=122, depth=19..31, filters=2115330, revisions=(3167259,useless=1477895), ccks=6051620, wck=4.306, mem=90M21
10.63/6.85 decisions=32473, wrong=14611, backtracks=10755, failedAssignments=9187, nogoods=617, foundSolutions=21, bestBound=176
10.63/6.85
10.84/7.04 num=123, depth=20..29, filters=2225750, revisions=(3305499,useless=1527927), ccks=6344775, wck=4.498, mem=90M21
10.84/7.04 decisions=34079, wrong=15403, backtracks=11319, failedAssignments=9734, nogoods=625, foundSolutions=21, bestBound=176
10.84/7.04
11.03/7.22 num=124, depth=20..30, filters=2333071, revisions=(3443609,useless=1578193), ccks=6611675, wck=4.679, mem=90M21
11.03/7.22 decisions=35857, wrong=16281, backtracks=11916, failedAssignments=10336, nogoods=636, foundSolutions=21, bestBound=176
11.03/7.22
11.23/7.45 num=125, depth=19..30, filters=2479305, revisions=(3632698,useless=1647036), ccks=6939032, wck=4.915, mem=90M21
11.23/7.45 decisions=37797, wrong=17241, backtracks=12552, failedAssignments=10998, nogoods=645, foundSolutions=21, bestBound=176
11.23/7.45
11.53/7.70 num=126, depth=19..30, filters=2618808, revisions=(3813306,useless=1714843), ccks=7314351, wck=5.158, mem=90M21
11.53/7.70 decisions=39902, wrong=18283, backtracks=13309, failedAssignments=11726, nogoods=651, foundSolutions=21, bestBound=176
11.53/7.70
11.73/7.98 num=127, depth=19..32, filters=2787019, revisions=(4024546,useless=1792887), ccks=7747895, wck=5.445, mem=90M21
11.73/7.98 decisions=42256, wrong=19449, backtracks=14181, failedAssignments=12527, nogoods=660, foundSolutions=21, bestBound=176
11.73/7.98
12.04/8.28 num=128, depth=19..30, filters=2963040, revisions=(4248155,useless=1874853), ccks=8194308, wck=5.743, mem=90M21
12.04/8.28 decisions=44889, wrong=20754, backtracks=15112, failedAssignments=13408, nogoods=671, foundSolutions=21, bestBound=176
12.04/8.28
12.44/8.61 num=129, depth=19..29, filters=3155042, revisions=(4490912,useless=1962268), ccks=8692840, wck=6.071, mem=90M21
12.44/8.61 decisions=47838, wrong=22218, backtracks=16098, failedAssignments=14378, nogoods=678, foundSolutions=21, bestBound=176
12.44/8.61
12.74/8.94 num=130, depth=19..30, filters=3348964, revisions=(4734372,useless=2052063), ccks=9200529, wck=6.402, mem=90M21
12.74/8.94 decisions=50929, wrong=23753, backtracks=17191, failedAssignments=15445, nogoods=685, foundSolutions=21, bestBound=176
12.74/8.94
13.14/9.31 num=131, depth=19..29, filters=3572817, revisions=(5026937,useless=2160542), ccks=9738899, wck=6.771, mem=90M21
13.14/9.31 decisions=54412, wrong=25484, backtracks=18311, failedAssignments=16618, nogoods=695, foundSolutions=21, bestBound=176
13.14/9.31
13.54/9.76 num=132, depth=19..31, filters=3829328, revisions=(5352509,useless=2284503), ccks=10392545, wck=7.22, mem=90M21
13.54/9.76 decisions=58392, wrong=27463, backtracks=19882, failedAssignments=17909, nogoods=704, foundSolutions=21, bestBound=176
13.54/9.76
14.04/10.29 num=133, depth=18..29, filters=4146300, revisions=(5748041,useless=2425738), ccks=11182429, wck=7.746, mem=90M21
14.04/10.29 decisions=62663, wrong=29588, backtracks=21391, failedAssignments=19329, nogoods=712, foundSolutions=21, bestBound=176
14.04/10.29
14.64/10.86 num=134, depth=18..30, filters=4493070, revisions=(6202481,useless=2597788), ccks=11971376, wck=8.32, mem=90M21
14.64/10.86 decisions=67460, wrong=31975, backtracks=23108, failedAssignments=20891, nogoods=722, foundSolutions=21, bestBound=176
14.64/10.86
15.25/11.40 num=135, depth=18..31, filters=4807089, revisions=(6601985,useless=2747787), ccks=12759363, wck=8.864, mem=90M21
15.25/11.40 decisions=72815, wrong=34641, backtracks=25107, failedAssignments=22609, nogoods=730, foundSolutions=21, bestBound=176
15.25/11.40
15.86/12.08 num=136, depth=18..30, filters=5216767, revisions=(7120937,useless=2942842), ccks=13726492, wck=9.536, mem=92M663
15.86/12.08 decisions=78470, wrong=37458, backtracks=27088, failedAssignments=24499, nogoods=744, foundSolutions=21, bestBound=176
15.86/12.08
16.55/12.72 num=137, depth=18..31, filters=5583673, revisions=(7599046,useless=3127813), ccks=14723482, wck=10.183, mem=92M663
16.55/12.72 decisions=84836, wrong=40629, backtracks=29427, failedAssignments=26578, nogoods=760, foundSolutions=21, bestBound=176
16.55/12.72
17.26/13.47 num=138, depth=18..31, filters=6015301, revisions=(8137957,useless=3322126), ccks=15848506, wck=10.929, mem=92M663
17.26/13.47 decisions=91999, wrong=44199, backtracks=31745, failedAssignments=28865, nogoods=764, foundSolutions=21, bestBound=176
17.26/13.47
18.16/14.39 num=139, depth=18..30, filters=6549816, revisions=(8814758,useless=3584449), ccks=17253060, wck=11.846, mem=92M663
18.16/14.39 decisions=100013, wrong=48196, backtracks=34706, failedAssignments=31381, nogoods=783, foundSolutions=21, bestBound=176
18.16/14.39
19.06/15.25 num=140, depth=18..31, filters=7049458, revisions=(9461470,useless=3834329), ccks=18525029, wck=12.708, mem=92M663
19.06/15.25 decisions=108627, wrong=52492, backtracks=37678, failedAssignments=34149, nogoods=795, foundSolutions=21, bestBound=176
19.06/15.25
20.26/16.42 num=141, depth=18..31, filters=7741581, revisions=(10310207,useless=4148570), ccks=20314838, wck=13.882, mem=92M663
20.26/16.42 decisions=118201, wrong=57268, backtracks=41412, failedAssignments=37193, nogoods=807, foundSolutions=21, bestBound=176
20.26/16.42
21.46/17.68 num=142, depth=17..30, filters=8496644, revisions=(11237616,useless=4478409), ccks=22237714, wck=15.144, mem=92M663
21.46/17.68 decisions=128443, wrong=62378, backtracks=45162, failedAssignments=40542, nogoods=823, foundSolutions=21, bestBound=176
21.46/17.68
22.97/19.13 num=143, depth=17..31, filters=9321125, revisions=(12258912,useless=4857821), ccks=24481485, wck=16.595, mem=92M663
22.97/19.13 decisions=140272, wrong=68281, backtracks=49999, failedAssignments=44226, nogoods=830, foundSolutions=21, bestBound=176
22.97/19.13
24.46/20.63 num=144, depth=17..31, filters=10241382, revisions=(13382294,useless=5256464), ccks=26667939, wck=18.094, mem=92M663
24.46/20.63 decisions=152783, wrong=74526, backtracks=54390, failedAssignments=48278, nogoods=840, foundSolutions=21, bestBound=176
24.46/20.63
25.98/22.14 num=145, depth=17..32, filters=11166793, revisions=(14532898,useless=5665721), ccks=28892946, wck=19.603, mem=92M663
25.98/22.14 decisions=166586, wrong=81417, backtracks=58977, failedAssignments=52735, nogoods=861, foundSolutions=21, bestBound=176
25.98/22.14
27.67/23.85 num=146, depth=17..31, filters=12171981, revisions=(15776260,useless=6121295), ccks=31511940, wck=21.315, mem=92M663
27.67/23.85 decisions=181929, wrong=89078, backtracks=64668, failedAssignments=57638, nogoods=870, foundSolutions=21, bestBound=176
27.67/23.85
29.17/25.39 o 172
29.17/25.39 num=147, depth=17..624, filters=13135735, revisions=(16997876,useless=6560774), ccks=33760109, wck=22.855, mem=95M305
29.17/25.39 decisions=197402, wrong=96804, backtracks=69474, failedAssignments=62752, nogoods=880, foundSolutions=22, bestBound=172
29.17/25.39
31.37/27.56 num=148, depth=18..32, filters=14393813, revisions=(18562814,useless=7142156), ccks=37072031, wck=25.015, mem=95M305
31.37/27.56 decisions=216303, wrong=106243, backtracks=76925, failedAssignments=68685, nogoods=887, foundSolutions=22, bestBound=172
31.37/27.56
31.37/27.56 num=149, depth=25..30, filters=14395940, revisions=(18566399,useless=7144014), ccks=37078454, wck=25.02, mem=95M305
31.37/27.56 decisions=216356, wrong=106257, backtracks=76931, failedAssignments=68696, nogoods=894, foundSolutions=22, bestBound=172
31.37/27.56
31.37/27.57 num=150, depth=23..31, filters=14399924, revisions=(18571985,useless=7146701), ccks=37087054, wck=25.028, mem=95M305
31.37/27.57 decisions=216415, wrong=106275, backtracks=76946, failedAssignments=68708, nogoods=897, foundSolutions=22, bestBound=172
31.37/27.57
31.37/27.57 num=151, depth=24..31, filters=14402114, revisions=(18575561,useless=7148593), ccks=37092321, wck=25.033, mem=95M305
31.37/27.57 decisions=216472, wrong=106291, backtracks=76953, failedAssignments=68721, nogoods=900, foundSolutions=22, bestBound=172
31.37/27.57
31.37/27.58 num=152, depth=24..30, filters=14405027, revisions=(18580248,useless=7150831), ccks=37099599, wck=25.038, mem=95M305
31.37/27.58 decisions=216536, wrong=106311, backtracks=76962, failedAssignments=68735, nogoods=907, foundSolutions=22, bestBound=172
31.37/27.58
31.37/27.59 num=153, depth=22..30, filters=14410547, revisions=(18587844,useless=7154315), ccks=37110533, wck=25.049, mem=95M305
31.37/27.59 decisions=216615, wrong=106339, backtracks=76982, failedAssignments=68751, nogoods=911, foundSolutions=22, bestBound=172
31.37/27.59
31.37/27.59 num=154, depth=24..28, filters=14413763, revisions=(18592878,useless=7156708), ccks=37119431, wck=25.055, mem=95M305
31.37/27.59 decisions=216692, wrong=106365, backtracks=76997, failedAssignments=68768, nogoods=920, foundSolutions=22, bestBound=172
31.37/27.59
31.47/27.60 num=155, depth=23..29, filters=14417284, revisions=(18598286,useless=7159377), ccks=37128333, wck=25.063, mem=95M305
31.47/27.60 decisions=216770, wrong=106391, backtracks=77011, failedAssignments=68787, nogoods=926, foundSolutions=22, bestBound=172
31.47/27.60
31.47/27.61 num=156, depth=23..29, filters=14421545, revisions=(18604593,useless=7162325), ccks=37138682, wck=25.071, mem=95M305
31.47/27.61 decisions=216849, wrong=106418, backtracks=77024, failedAssignments=68808, nogoods=930, foundSolutions=22, bestBound=172
31.47/27.61
31.47/27.62 num=157, depth=23..30, filters=14426777, revisions=(18611963,useless=7165611), ccks=37152630, wck=25.082, mem=95M305
31.47/27.62 decisions=216943, wrong=106453, backtracks=77050, failedAssignments=68831, nogoods=935, foundSolutions=22, bestBound=172
31.47/27.62
31.47/27.63 num=158, depth=23..29, filters=14430922, revisions=(18617894,useless=7168316), ccks=37162558, wck=25.09, mem=95M305
31.47/27.63 decisions=217036, wrong=106488, backtracks=77067, failedAssignments=68856, nogoods=936, foundSolutions=22, bestBound=172
31.47/27.63
31.47/27.64 num=159, depth=23..28, filters=14436404, revisions=(18625590,useless=7171779), ccks=37177311, wck=25.101, mem=95M305
31.47/27.64 decisions=217138, wrong=106527, backtracks=77093, failedAssignments=68884, nogoods=942, foundSolutions=22, bestBound=172
31.47/27.64
31.47/27.65 num=160, depth=23..29, filters=14442491, revisions=(18634161,useless=7175573), ccks=37194911, wck=25.113, mem=95M305
31.47/27.65 decisions=217250, wrong=106571, backtracks=77121, failedAssignments=68915, nogoods=950, foundSolutions=22, bestBound=172
31.47/27.65
31.47/27.66 num=161, depth=22..31, filters=14448278, revisions=(18642947,useless=7179838), ccks=37212635, wck=25.124, mem=95M305
31.47/27.66 decisions=217376, wrong=106621, backtracks=77162, failedAssignments=68949, nogoods=954, foundSolutions=22, bestBound=172
31.47/27.66
31.47/27.68 num=162, depth=22..30, filters=14458085, revisions=(18655782,useless=7185200), ccks=37237123, wck=25.142, mem=95M305
31.47/27.68 decisions=217525, wrong=106683, backtracks=77207, failedAssignments=68986, nogoods=958, foundSolutions=22, bestBound=172
31.47/27.68
31.47/27.70 num=163, depth=23..29, filters=14465415, revisions=(18665937,useless=7189496), ccks=37255360, wck=25.156, mem=95M305
31.47/27.70 decisions=217665, wrong=106741, backtracks=77242, failedAssignments=69027, nogoods=961, foundSolutions=22, bestBound=172
31.47/27.70
31.58/27.71 num=164, depth=23..30, filters=14474185, revisions=(18678145,useless=7194624), ccks=37280223, wck=25.172, mem=95M305
31.58/27.71 decisions=217822, wrong=106807, backtracks=77289, failedAssignments=69072, nogoods=972, foundSolutions=22, bestBound=172
31.58/27.71
31.58/27.73 num=165, depth=22..30, filters=14484493, revisions=(18692359,useless=7200546), ccks=37308332, wck=25.191, mem=95M305
31.58/27.73 decisions=217992, wrong=106880, backtracks=77343, failedAssignments=69122, nogoods=977, foundSolutions=22, bestBound=172
31.58/27.73
31.58/27.75 num=166, depth=23..31, filters=14495544, revisions=(18707602,useless=7206843), ccks=37335198, wck=25.211, mem=95M305
31.58/27.75 decisions=218180, wrong=106962, backtracks=77395, failedAssignments=69177, nogoods=988, foundSolutions=22, bestBound=172
31.58/27.75
31.58/27.77 num=167, depth=23..29, filters=14506764, revisions=(18723360,useless=7213038), ccks=37362326, wck=25.23, mem=95M305
31.58/27.77 decisions=218381, wrong=107050, backtracks=77445, failedAssignments=69238, nogoods=995, foundSolutions=22, bestBound=172
31.58/27.77
31.58/27.79 num=168, depth=22..29, filters=14521414, revisions=(18743366,useless=7221128), ccks=37399321, wck=25.255, mem=95M305
31.58/27.79 decisions=218595, wrong=107145, backtracks=77514, failedAssignments=69305, nogoods=1003, foundSolutions=22, bestBound=172
31.58/27.79
31.68/27.81 num=169, depth=22..31, filters=14532053, revisions=(18759361,useless=7228526), ccks=37431730, wck=25.275, mem=95M305
31.68/27.81 decisions=218818, wrong=107245, backtracks=77595, failedAssignments=69379, nogoods=1009, foundSolutions=22, bestBound=172
31.68/27.81
31.68/27.84 num=170, depth=22..29, filters=14547666, revisions=(18780787,useless=7236882), ccks=37469679, wck=25.301, mem=95M305
31.68/27.84 decisions=219070, wrong=107360, backtracks=77663, failedAssignments=69460, nogoods=1015, foundSolutions=22, bestBound=172
31.68/27.84
31.68/27.87 num=171, depth=21..31, filters=14559969, revisions=(18799323,useless=7245736), ccks=37511081, wck=25.325, mem=95M305
31.68/27.87 decisions=219354, wrong=107490, backtracks=77765, failedAssignments=69549, nogoods=1019, foundSolutions=22, bestBound=172
31.68/27.87
31.78/27.90 num=172, depth=22..32, filters=14582293, revisions=(18827771,useless=7256275), ccks=37570014, wck=25.364, mem=95M305
31.78/27.90 decisions=219669, wrong=107636, backtracks=77874, failedAssignments=69647, nogoods=1025, foundSolutions=22, bestBound=172
31.78/27.90
31.78/27.94 num=173, depth=22..30, filters=14602881, revisions=(18854454,useless=7266176), ccks=37624479, wck=25.4, mem=95M305
31.78/27.94 decisions=220003, wrong=107791, backtracks=77978, failedAssignments=69755, nogoods=1034, foundSolutions=22, bestBound=172
31.78/27.94
31.78/27.97 num=174, depth=22..29, filters=14624044, revisions=(18882479,useless=7276594), ccks=37674509, wck=25.434, mem=95M305
31.78/27.97 decisions=220372, wrong=107964, backtracks=78078, failedAssignments=69874, nogoods=1044, foundSolutions=22, bestBound=172
31.78/27.97
31.89/28.01 num=175, depth=22..31, filters=14647141, revisions=(18913793,useless=7289013), ccks=37736497, wck=25.475, mem=95M305
31.89/28.01 decisions=220773, wrong=108152, backtracks=78210, failedAssignments=70005, nogoods=1054, foundSolutions=22, bestBound=172
31.89/28.01
31.89/28.06 num=176, depth=21..31, filters=14676607, revisions=(18953232,useless=7304740), ccks=37810386, wck=25.525, mem=95M305
31.89/28.06 decisions=221226, wrong=108367, backtracks=78362, failedAssignments=70149, nogoods=1061, foundSolutions=22, bestBound=172
31.89/28.06
31.99/28.12 num=177, depth=21..28, filters=14712401, revisions=(19000000,useless=7321997), ccks=37893883, wck=25.584, mem=95M305
31.99/28.12 decisions=221709, wrong=108598, backtracks=78521, failedAssignments=70307, nogoods=1065, foundSolutions=22, bestBound=172
31.99/28.12
31.99/28.19 num=178, depth=20..28, filters=14753660, revisions=(19055295,useless=7343133), ccks=37997988, wck=25.655, mem=95M305
31.99/28.19 decisions=222276, wrong=108871, backtracks=78702, failedAssignments=70481, nogoods=1072, foundSolutions=22, bestBound=172
31.99/28.19
32.08/28.25 num=179, depth=19..30, filters=14781576, revisions=(19096216,useless=7362388), ccks=38087479, wck=25.709, mem=95M305
32.08/28.25 decisions=222840, wrong=109142, backtracks=78938, failedAssignments=70672, nogoods=1076, foundSolutions=22, bestBound=172
32.08/28.25
32.18/28.32 num=180, depth=20..29, filters=14825065, revisions=(19153653,useless=7383355), ccks=38191251, wck=25.783, mem=95M305
32.18/28.32 decisions=223486, wrong=109454, backtracks=79134, failedAssignments=70883, nogoods=1085, foundSolutions=22, bestBound=172
32.18/28.32
32.28/28.43 num=181, depth=18..31, filters=14889618, revisions=(19235000,useless=7415318), ccks=38343725, wck=25.893, mem=95M305
32.28/28.43 decisions=224322, wrong=109863, backtracks=79473, failedAssignments=71115, nogoods=1086, foundSolutions=22, bestBound=172
32.28/28.43
32.38/28.52 num=182, depth=21..30, filters=14941014, revisions=(19301276,useless=7439504), ccks=38469074, wck=25.979, mem=95M305
32.38/28.52 decisions=225095, wrong=110237, backtracks=79719, failedAssignments=71370, nogoods=1099, foundSolutions=22, bestBound=172
32.38/28.52
32.48/28.63 num=183, depth=20..32, filters=15003669, revisions=(19386411,useless=7475132), ccks=38637017, wck=26.087, mem=95M305
32.48/28.63 decisions=226026, wrong=110691, backtracks=80116, failedAssignments=71651, nogoods=1105, foundSolutions=22, bestBound=172
32.48/28.63
32.58/28.73 num=184, depth=21..30, filters=15065853, revisions=(19465668,useless=7504803), ccks=38800004, wck=26.194, mem=95M305
32.58/28.73 decisions=226959, wrong=111146, backtracks=80456, failedAssignments=71960, nogoods=1117, foundSolutions=22, bestBound=172
32.58/28.73
32.68/28.84 num=185, depth=19..30, filters=15130906, revisions=(19553822,useless=7538462), ccks=38964060, wck=26.304, mem=95M305
32.68/28.84 decisions=228030, wrong=111670, backtracks=80773, failedAssignments=72300, nogoods=1123, foundSolutions=22, bestBound=172
32.68/28.84
32.78/28.97 num=186, depth=20..30, filters=15207956, revisions=(19651399,useless=7573302), ccks=39147407, wck=26.43, mem=95M305
32.78/28.97 decisions=229164, wrong=112225, backtracks=81124, failedAssignments=72674, nogoods=1132, foundSolutions=22, bestBound=172
32.78/28.97
32.89/29.10 num=187, depth=20..30, filters=15289767, revisions=(19759671,useless=7613780), ccks=39330668, wck=26.564, mem=95M305
32.89/29.10 decisions=230369, wrong=112817, backtracks=81500, failedAssignments=73085, nogoods=1140, foundSolutions=22, bestBound=172
32.89/29.10
33.08/29.29 num=188, depth=19..31, filters=15392798, revisions=(19889056,useless=7664531), ccks=39576532, wck=26.746, mem=95M305
33.08/29.29 decisions=231738, wrong=113491, backtracks=82043, failedAssignments=73537, nogoods=1148, foundSolutions=22, bestBound=172
33.08/29.29
33.28/29.44 num=189, depth=19..29, filters=15489447, revisions=(20014838,useless=7710100), ccks=39800123, wck=26.905, mem=95M305
33.28/29.44 decisions=233255, wrong=114238, backtracks=82512, failedAssignments=74034, nogoods=1159, foundSolutions=22, bestBound=172
33.28/29.44
33.49/29.64 num=190, depth=19..31, filters=15605076, revisions=(20163774,useless=7768711), ccks=40071739, wck=27.104, mem=95M305
33.49/29.64 decisions=234878, wrong=115039, backtracks=83125, failedAssignments=74581, nogoods=1169, foundSolutions=22, bestBound=172
33.49/29.64
33.69/29.83 num=191, depth=20..30, filters=15709934, revisions=(20297608,useless=7818228), ccks=40344893, wck=27.288, mem=95M305
33.69/29.83 decisions=236693, wrong=115935, backtracks=83708, failedAssignments=75183, nogoods=1179, foundSolutions=22, bestBound=172
33.69/29.83
33.90/30.06 num=192, depth=20..31, filters=15849812, revisions=(20482509,useless=7892512), ccks=40683169, wck=27.523, mem=95M305
33.90/30.06 decisions=238680, wrong=116917, backtracks=84507, failedAssignments=75845, nogoods=1192, foundSolutions=22, bestBound=172
33.90/30.06
34.20/30.32 num=193, depth=19..29, filters=15995758, revisions=(20668060,useless=7960728), ccks=41066139, wck=27.779, mem=95M305
34.20/30.32 decisions=240832, wrong=117982, backtracks=85296, failedAssignments=76573, nogoods=1204, foundSolutions=22, bestBound=172
34.20/30.32
34.41/30.58 num=194, depth=20..31, filters=16144581, revisions=(20857138,useless=8029963), ccks=41441516, wck=28.036, mem=95M305
34.41/30.58 decisions=243226, wrong=119168, backtracks=86184, failedAssignments=77374, nogoods=1217, foundSolutions=22, bestBound=172
34.41/30.58
34.71/30.86 num=195, depth=19..30, filters=16306221, revisions=(21063163,useless=8105215), ccks=41863928, wck=28.321, mem=95M305
34.71/30.86 decisions=245852, wrong=120470, backtracks=87069, failedAssignments=78255, nogoods=1229, foundSolutions=22, bestBound=172
34.71/30.86
35.02/31.18 num=196, depth=19..29, filters=16490168, revisions=(21301665,useless=8193983), ccks=42352911, wck=28.643, mem=95M305
35.02/31.18 decisions=248760, wrong=121913, backtracks=88067, failedAssignments=79225, nogoods=1235, foundSolutions=22, bestBound=172
35.02/31.18
35.31/31.47 num=197, depth=19..32, filters=16649289, revisions=(21513434,useless=8278537), ccks=42828073, wck=28.929, mem=95M305
35.31/31.47 decisions=251983, wrong=123513, backtracks=89275, failedAssignments=80292, nogoods=1242, foundSolutions=22, bestBound=172
35.31/31.47
35.71/31.88 num=198, depth=18..31, filters=16892066, revisions=(21826526,useless=8397089), ccks=43427539, wck=29.343, mem=95M305
35.71/31.88 decisions=255494, wrong=125257, backtracks=90518, failedAssignments=81465, nogoods=1254, foundSolutions=22, bestBound=172
35.71/31.88
36.11/32.22 num=199, depth=19..33, filters=17094878, revisions=(22100742,useless=8506678), ccks=43851081, wck=29.684, mem=95M305
36.11/32.22 decisions=259684, wrong=127340, backtracks=92041, failedAssignments=82756, nogoods=1263, foundSolutions=22, bestBound=172
36.11/32.22
36.61/32.70 num=200, depth=18..32, filters=17373502, revisions=(22465114,useless=8650222), ccks=44555887, wck=30.16, mem=97M948
36.61/32.70 decisions=263974, wrong=129474, backtracks=93535, failedAssignments=84176, nogoods=1277, foundSolutions=22, bestBound=172
36.61/32.70
37.11/33.21 num=201, depth=19..31, filters=17670119, revisions=(22838788,useless=8786768), ccks=45329418, wck=30.672, mem=97M948
37.11/33.21 decisions=268682, wrong=131816, backtracks=95273, failedAssignments=85738, nogoods=1285, foundSolutions=22, bestBound=172
37.11/33.21
37.71/33.88 num=202, depth=20..35, filters=18062776, revisions=(23306840,useless=8960009), ccks=46324077, wck=31.343, mem=97M948
37.71/33.88 decisions=274221, wrong=134574, backtracks=97517, failedAssignments=87456, nogoods=1293, foundSolutions=22, bestBound=172
37.71/33.88
38.41/34.57 num=203, depth=18..31, filters=18467935, revisions=(23796868,useless=9130702), ccks=47334484, wck=32.033, mem=97M948
38.41/34.57 decisions=280060, wrong=137482, backtracks=99526, failedAssignments=89346, nogoods=1305, foundSolutions=22, bestBound=172
38.41/34.57
39.22/35.34 num=204, depth=19..33, filters=18914923, revisions=(24337797,useless=9327047), ccks=48530929, wck=32.796, mem=97M948
39.22/35.34 decisions=286907, wrong=140893, backtracks=102180, failedAssignments=91425, nogoods=1312, foundSolutions=22, bestBound=172
39.22/35.34
39.93/36.09 num=205, depth=19..31, filters=19356223, revisions=(24885012,useless=9527548), ccks=49652800, wck=33.546, mem=97M948
39.93/36.09 decisions=293899, wrong=144378, backtracks=104617, failedAssignments=93712, nogoods=1324, foundSolutions=22, bestBound=172
39.93/36.09
40.72/36.89 num=206, depth=18..31, filters=19823723, revisions=(25455514,useless=9729941), ccks=50853358, wck=34.347, mem=97M948
40.72/36.89 decisions=301525, wrong=148180, backtracks=107184, failedAssignments=96228, nogoods=1340, foundSolutions=22, bestBound=172
40.72/36.89
41.62/37.79 num=207, depth=18..31, filters=20353037, revisions=(26112335,useless=9960188), ccks=52210388, wck=35.248, mem=97M948
41.62/37.79 decisions=309983, wrong=152398, backtracks=110026, failedAssignments=98996, nogoods=1346, foundSolutions=22, bestBound=172
41.62/37.79
42.82/38.94 num=208, depth=19..33, filters=21044293, revisions=(26978726,useless=10296433), ccks=53896919, wck=36.404, mem=97M948
42.82/38.94 decisions=319820, wrong=157306, backtracks=113851, failedAssignments=102040, nogoods=1362, foundSolutions=22, bestBound=172
42.82/38.94
44.03/40.12 o 148
44.03/40.12 num=209, depth=18..624, filters=21714208, revisions=(27788143,useless=10587964), ccks=55715774, wck=37.576, mem=97M948
44.03/40.12 decisions=329933, wrong=162351, backtracks=117488, failedAssignments=105260, nogoods=1373, foundSolutions=23, bestBound=148
44.03/40.12
44.52/40.62 o 144
44.52/40.62 num=210, depth=20..624, filters=22000870, revisions=(28152143,useless=10724680), ccks=56459736, wck=38.082, mem=97M948
44.52/40.62 decisions=334581, wrong=164664, backtracks=119143, failedAssignments=106782, nogoods=1386, foundSolutions=24, bestBound=144
44.52/40.62
44.52/40.63 num=211, depth=22..28, filters=22003819, revisions=(28156967,useless=10727219), ccks=56468845, wck=38.092, mem=97M948
44.52/40.63 decisions=334636, wrong=164680, backtracks=119156, failedAssignments=106793, nogoods=1388, foundSolutions=24, bestBound=144
44.52/40.63
44.52/40.64 num=212, depth=22..29, filters=22006319, revisions=(28161068,useless=10729392), ccks=56474808, wck=38.097, mem=97M948
44.52/40.64 decisions=334689, wrong=164695, backtracks=119166, failedAssignments=106804, nogoods=1394, foundSolutions=24, bestBound=144
44.52/40.64
44.52/40.64 num=213, depth=22..29, filters=22009117, revisions=(28165642,useless=10731719), ccks=56481536, wck=38.103, mem=97M948
44.52/40.64 decisions=334745, wrong=164711, backtracks=119177, failedAssignments=106816, nogoods=1400, foundSolutions=24, bestBound=144
44.52/40.64
44.52/40.65 num=214, depth=21..27, filters=22012163, revisions=(28170641,useless=10734307), ccks=56488446, wck=38.109, mem=97M948
44.52/40.65 decisions=334802, wrong=164729, backtracks=119192, failedAssignments=106829, nogoods=1403, foundSolutions=24, bestBound=144
44.52/40.65
44.52/40.66 num=215, depth=20..30, filters=22015103, revisions=(28175718,useless=10737095), ccks=56494851, wck=38.115, mem=97M948
44.52/40.66 decisions=334864, wrong=164750, backtracks=119211, failedAssignments=106843, nogoods=1406, foundSolutions=24, bestBound=144
44.52/40.66
44.52/40.66 num=216, depth=22..27, filters=22019113, revisions=(28181926,useless=10740066), ccks=56504624, wck=38.123, mem=97M948
44.52/40.66 decisions=334935, wrong=164774, backtracks=119228, failedAssignments=106859, nogoods=1413, foundSolutions=24, bestBound=144
44.52/40.66
44.52/40.67 num=217, depth=22..27, filters=22023197, revisions=(28188240,useless=10743042), ccks=56515145, wck=38.131, mem=97M948
44.52/40.67 decisions=335005, wrong=164798, backtracks=119241, failedAssignments=106876, nogoods=1422, foundSolutions=24, bestBound=144
44.52/40.67
44.52/40.68 num=218, depth=21..29, filters=22027988, revisions=(28195411,useless=10746441), ccks=56527460, wck=38.141, mem=97M948
44.52/40.68 decisions=335079, wrong=164823, backtracks=119260, failedAssignments=106895, nogoods=1427, foundSolutions=24, bestBound=144
44.52/40.68
44.52/40.69 num=219, depth=21..27, filters=22031716, revisions=(28201263,useless=10749257), ccks=56536174, wck=38.148, mem=97M948
44.52/40.69 decisions=335156, wrong=164850, backtracks=119275, failedAssignments=106916, nogoods=1431, foundSolutions=24, bestBound=144
44.52/40.69
44.62/40.70 num=220, depth=21..27, filters=22036292, revisions=(28208114,useless=10752380), ccks=56547397, wck=38.157, mem=97M948
44.62/40.70 decisions=335250, wrong=164886, backtracks=119298, failedAssignments=106939, nogoods=1433, foundSolutions=24, bestBound=144
44.62/40.70
44.62/40.71 num=221, depth=21..27, filters=22041840, revisions=(28216233,useless=10756002), ccks=56560396, wck=38.168, mem=97M948
44.62/40.71 decisions=335340, wrong=164920, backtracks=119319, failedAssignments=106964, nogoods=1437, foundSolutions=24, bestBound=144
44.62/40.71
44.62/40.72 num=222, depth=19..30, filters=22050082, revisions=(28228109,useless=10761506), ccks=56577070, wck=38.183, mem=97M948
44.62/40.72 decisions=335451, wrong=164964, backtracks=119358, failedAssignments=106992, nogoods=1443, foundSolutions=24, bestBound=144
44.62/40.72
44.62/40.74 num=223, depth=21..27, filters=22056817, revisions=(28237951,useless=10765927), ccks=56593673, wck=38.195, mem=97M948
44.62/40.74 decisions=335563, wrong=165009, backtracks=119388, failedAssignments=107023, nogoods=1450, foundSolutions=24, bestBound=144
44.62/40.74
44.62/40.75 num=224, depth=19..30, filters=22066498, revisions=(28251397,useless=10772146), ccks=56613185, wck=38.213, mem=97M948
44.62/40.75 decisions=335689, wrong=165061, backtracks=119432, failedAssignments=107057, nogoods=1457, foundSolutions=24, bestBound=144
44.62/40.75
44.62/40.77 num=225, depth=21..30, filters=22074593, revisions=(28262477,useless=10776983), ccks=56629626, wck=38.228, mem=100M591
44.62/40.77 decisions=335814, wrong=165112, backtracks=119462, failedAssignments=107094, nogoods=1468, foundSolutions=24, bestBound=144
44.62/40.77
44.62/40.79 num=226, depth=20..28, filters=22086951, revisions=(28278689,useless=10784073), ccks=56653821, wck=38.25, mem=100M591
44.62/40.79 decisions=335953, wrong=165171, backtracks=119511, failedAssignments=107135, nogoods=1474, foundSolutions=24, bestBound=144
44.62/40.79
44.72/40.81 num=227, depth=21..28, filters=22095572, revisions=(28290674,useless=10789325), ccks=56673800, wck=38.266, mem=100M591
44.72/40.81 decisions=336094, wrong=165230, backtracks=119548, failedAssignments=107180, nogoods=1486, foundSolutions=24, bestBound=144
44.72/40.81
44.72/40.82 num=228, depth=21..27, filters=22105453, revisions=(28304858,useless=10795331), ccks=56695287, wck=38.283, mem=100M591
44.72/40.82 decisions=336260, wrong=165302, backtracks=119590, failedAssignments=107230, nogoods=1493, foundSolutions=24, bestBound=144
44.72/40.82
44.72/40.84 num=229, depth=20..29, filters=22116307, revisions=(28320058,useless=10801707), ccks=56722198, wck=38.304, mem=100M591
44.72/40.84 decisions=336431, wrong=165376, backtracks=119642, failedAssignments=107285, nogoods=1505, foundSolutions=24, bestBound=144
44.72/40.84
44.72/40.87 num=230, depth=20..27, filters=22130231, revisions=(28340090,useless=10810038), ccks=56752111, wck=38.328, mem=100M591
44.72/40.87 decisions=336626, wrong=165463, backtracks=119701, failedAssignments=107346, nogoods=1511, foundSolutions=24, bestBound=144
44.72/40.87
44.72/40.89 num=231, depth=21..27, filters=22144211, revisions=(28360225,useless=10818187), ccks=56781633, wck=38.352, mem=100M591
44.72/40.89 decisions=336838, wrong=165558, backtracks=119755, failedAssignments=107413, nogoods=1521, foundSolutions=24, bestBound=144
44.72/40.89
44.82/40.92 num=232, depth=20..26, filters=22158801, revisions=(28382155,useless=10827406), ccks=56811350, wck=38.377, mem=100M591
44.82/40.92 decisions=337063, wrong=165659, backtracks=119813, failedAssignments=107487, nogoods=1531, foundSolutions=24, bestBound=144
44.82/40.92
44.82/40.94 num=233, depth=20..31, filters=22171757, revisions=(28401350,useless=10835708), ccks=56843051, wck=38.4, mem=100M591
44.82/40.94 decisions=337313, wrong=165773, backtracks=119891, failedAssignments=107568, nogoods=1544, foundSolutions=24, bestBound=144
44.82/40.94
44.82/40.97 num=234, depth=20..28, filters=22189239, revisions=(28426220,useless=10845681), ccks=56883327, wck=38.431, mem=100M591
44.82/40.97 decisions=337594, wrong=165902, backtracks=119973, failedAssignments=107657, nogoods=1554, foundSolutions=24, bestBound=144
44.82/40.97
44.82/41.00 num=235, depth=21..29, filters=22208760, revisions=(28452980,useless=10856166), ccks=56924028, wck=38.463, mem=100M591
44.82/41.00 decisions=337895, wrong=166042, backtracks=120059, failedAssignments=107755, nogoods=1569, foundSolutions=24, bestBound=144
44.82/41.00
44.93/41.04 num=236, depth=20..29, filters=22232160, revisions=(28486754,useless=10870027), ccks=56971928, wck=38.503, mem=100M591
44.93/41.04 decisions=338226, wrong=166197, backtracks=120166, failedAssignments=107863, nogoods=1577, foundSolutions=24, bestBound=144
44.93/41.04
44.93/41.08 num=237, depth=21..27, filters=22254239, revisions=(28517732,useless=10882206), ccks=57020687, wck=38.541, mem=100M591
44.93/41.08 decisions=338586, wrong=166366, backtracks=120277, failedAssignments=107982, nogoods=1588, foundSolutions=24, bestBound=144
44.93/41.08
45.03/41.13 num=238, depth=20..30, filters=22280006, revisions=(28553394,useless=10896453), ccks=57074057, wck=38.586, mem=100M591
45.03/41.13 decisions=338972, wrong=166547, backtracks=120400, failedAssignments=108113, nogoods=1602, foundSolutions=24, bestBound=144
45.03/41.13
45.03/41.18 num=239, depth=20..29, filters=22310232, revisions=(28594328,useless=10912183), ccks=57147352, wck=38.64, mem=100M591
45.03/41.18 decisions=339409, wrong=166754, backtracks=120549, failedAssignments=108257, nogoods=1609, foundSolutions=24, bestBound=144
45.03/41.18
45.13/41.23 num=240, depth=21..30, filters=22338131, revisions=(28633662,useless=10927630), ccks=57211602, wck=38.688, mem=100M591
45.13/41.23 decisions=339873, wrong=166974, backtracks=120697, failedAssignments=108415, nogoods=1618, foundSolutions=24, bestBound=144
45.13/41.23
45.13/41.29 num=241, depth=19..27, filters=22377659, revisions=(28689264,useless=10949337), ccks=57297685, wck=38.753, mem=100M591
45.13/41.29 decisions=340431, wrong=167241, backtracks=120859, failedAssignments=108589, nogoods=1628, foundSolutions=24, bestBound=144
45.13/41.29
45.23/41.36 num=242, depth=21..30, filters=22415904, revisions=(28740269,useless=10969228), ccks=57390615, wck=38.822, mem=100M591
45.23/41.36 decisions=340988, wrong=167508, backtracks=121060, failedAssignments=108780, nogoods=1643, foundSolutions=24, bestBound=144
45.23/41.36
45.33/41.43 num=243, depth=20..29, filters=22454913, revisions=(28792639,useless=10989358), ccks=57486691, wck=38.893, mem=100M591
45.33/41.43 decisions=341629, wrong=167817, backtracks=121284, failedAssignments=108991, nogoods=1650, foundSolutions=24, bestBound=144
45.33/41.43
45.43/41.51 num=244, depth=19..30, filters=22499790, revisions=(28853623,useless=11012909), ccks=57578347, wck=38.969, mem=100M591
45.43/41.51 decisions=342316, wrong=168149, backtracks=121477, failedAssignments=109223, nogoods=1656, foundSolutions=24, bestBound=144
45.43/41.51
45.43/41.58 num=245, depth=21..29, filters=22543651, revisions=(28912805,useless=11035308), ccks=57678314, wck=39.044, mem=100M591
45.43/41.58 decisions=343068, wrong=168514, backtracks=121713, failedAssignments=109478, nogoods=1669, foundSolutions=24, bestBound=144
45.43/41.58
45.53/41.68 num=246, depth=20..29, filters=22599941, revisions=(28987170,useless=11063002), ccks=57802011, wck=39.14, mem=100M591
45.53/41.68 decisions=343903, wrong=168921, backtracks=121995, failedAssignments=109759, nogoods=1674, foundSolutions=24, bestBound=144
45.53/41.68
45.63/41.76 num=247, depth=19..30, filters=22645940, revisions=(29051788,useless=11090800), ccks=57922314, wck=39.223, mem=100M591
45.63/41.76 decisions=344823, wrong=169370, backtracks=122352, failedAssignments=110068, nogoods=1679, foundSolutions=24, bestBound=144
45.63/41.76
45.73/41.87 num=248, depth=19..30, filters=22712516, revisions=(29141077,useless=11125125), ccks=58062740, wck=39.333, mem=100M591
45.73/41.87 decisions=345816, wrong=169856, backtracks=122659, failedAssignments=110408, nogoods=1689, foundSolutions=24, bestBound=144
45.73/41.87
45.94/42.01 num=249, depth=20..29, filters=22786309, revisions=(29235490,useless=11160931), ccks=58244826, wck=39.467, mem=100M591
45.94/42.01 decisions=346949, wrong=170412, backtracks=123079, failedAssignments=110782, nogoods=1696, foundSolutions=24, bestBound=144
45.94/42.01
46.04/42.13 num=250, depth=20..29, filters=22856576, revisions=(29329777,useless=11197282), ccks=58413871, wck=39.592, mem=100M591
46.04/42.13 decisions=348187, wrong=171020, backtracks=123481, failedAssignments=111193, nogoods=1704, foundSolutions=24, bestBound=144
46.04/42.13
46.14/42.25 num=251, depth=20..30, filters=22923211, revisions=(29423692,useless=11236431), ccks=58582380, wck=39.708, mem=100M591
46.14/42.25 decisions=349476, wrong=171654, backtracks=123950, failedAssignments=111645, nogoods=1715, foundSolutions=24, bestBound=144
46.14/42.25
46.34/42.40 num=252, depth=19..29, filters=23015290, revisions=(29547713,useless=11283379), ccks=58785543, wck=39.861, mem=100M591
46.34/42.40 decisions=350923, wrong=172367, backtracks=124398, failedAssignments=112142, nogoods=1723, foundSolutions=24, bestBound=144
46.34/42.40
46.44/42.60 num=253, depth=19..30, filters=23123610, revisions=(29687267,useless=11335374), ccks=59061542, wck=40.056, mem=100M591
46.44/42.60 decisions=352601, wrong=173195, backtracks=125041, failedAssignments=112689, nogoods=1734, foundSolutions=24, bestBound=144
46.44/42.60
46.64/42.79 num=254, depth=20..30, filters=23234517, revisions=(29832313,useless=11389920), ccks=59324886, wck=40.25, mem=100M591
46.64/42.79 decisions=354379, wrong=174073, backtracks=125664, failedAssignments=113291, nogoods=1745, foundSolutions=24, bestBound=144
46.64/42.79
46.95/43.02 num=255, depth=19..32, filters=23367526, revisions=(30014912,useless=11467203), ccks=59649243, wck=40.48, mem=100M591
46.95/43.02 decisions=356625, wrong=175184, backtracks=126555, failedAssignments=113953, nogoods=1750, foundSolutions=24, bestBound=144
46.95/43.02
47.14/43.28 num=256, depth=20..30, filters=23520546, revisions=(30207916,useless=11539301), ccks=60028198, wck=40.745, mem=100M591
47.14/43.28 decisions=358893, wrong=176307, backtracks=127422, failedAssignments=114681, nogoods=1762, foundSolutions=24, bestBound=144
47.14/43.28
47.44/43.57 num=257, depth=19..31, filters=23684786, revisions=(30422351,useless=11621712), ccks=60420070, wck=41.03, mem=100M591
47.44/43.57 decisions=361341, wrong=177519, backtracks=128364, failedAssignments=115482, nogoods=1772, foundSolutions=24, bestBound=144
47.44/43.57
47.74/43.86 num=258, depth=20..30, filters=23853821, revisions=(30635318,useless=11700767), ccks=60828736, wck=41.317, mem=100M591
47.74/43.86 decisions=364098, wrong=178887, backtracks=129336, failedAssignments=116363, nogoods=1779, foundSolutions=24, bestBound=144
47.74/43.86
48.05/44.19 num=259, depth=19..30, filters=24047835, revisions=(30887527,useless=11796194), ccks=61289374, wck=41.649, mem=100M591
48.05/44.19 decisions=367103, wrong=180378, backtracks=130418, failedAssignments=117333, nogoods=1789, foundSolutions=24, bestBound=144
48.05/44.19
48.54/44.63 num=260, depth=17..31, filters=24311557, revisions=(31220290,useless=11927872), ccks=61836327, wck=42.095, mem=100M591
48.54/44.63 decisions=370518, wrong=182074, backtracks=131768, failedAssignments=118400, nogoods=1800, foundSolutions=24, bestBound=144
48.54/44.63
48.95/45.01 num=261, depth=19..31, filters=24533228, revisions=(31505157,useless=12031224), ccks=62346615, wck=42.47, mem=100M591
48.95/45.01 decisions=374038, wrong=183822, backtracks=132991, failedAssignments=119573, nogoods=1809, foundSolutions=24, bestBound=144
48.95/45.01
49.34/45.45 num=262, depth=19..30, filters=24798102, revisions=(31842839,useless=12156063), ccks=62948384, wck=42.911, mem=100M591
49.34/45.45 decisions=377883, wrong=185734, backtracks=134338, failedAssignments=120864, nogoods=1824, foundSolutions=24, bestBound=144
49.34/45.45
49.84/45.94 num=263, depth=18..31, filters=25078208, revisions=(32199295,useless=12290137), ccks=63636765, wck=43.404, mem=100M591
49.84/45.94 decisions=382122, wrong=187842, backtracks=135867, failedAssignments=122284, nogoods=1831, foundSolutions=24, bestBound=144
49.84/45.94
50.34/46.48 num=264, depth=18..29, filters=25384705, revisions=(32583107,useless=12430957), ccks=64400218, wck=43.942, mem=100M591
50.34/46.48 decisions=386910, wrong=190226, backtracks=137621, failedAssignments=123846, nogoods=1835, foundSolutions=24, bestBound=144
50.34/46.48
50.95/47.09 num=265, depth=17..29, filters=25729182, revisions=(33035385,useless=12604814), ccks=65277866, wck=44.553, mem=100M591
50.95/47.09 decisions=392290, wrong=192905, backtracks=139554, failedAssignments=125564, nogoods=1839, foundSolutions=24, bestBound=144
50.95/47.09
51.64/47.72 num=266, depth=18..31, filters=26087907, revisions=(33505523,useless=12792284), ccks=66194886, wck=45.18, mem=100M591
51.64/47.72 decisions=398193, wrong=195846, backtracks=141929, failedAssignments=127454, nogoods=1846, foundSolutions=24, bestBound=144
51.64/47.72
52.34/48.42 num=267, depth=18..30, filters=26495459, revisions=(34025882,useless=12987775), ccks=67163036, wck=45.882, mem=100M591
52.34/48.42 decisions=404621, wrong=199050, backtracks=144280, failedAssignments=129533, nogoods=1853, foundSolutions=24, bestBound=144
52.34/48.42
53.14/49.20 num=268, depth=18..30, filters=26966342, revisions=(34636196,useless=13214113), ccks=68204717, wck=46.658, mem=100M591
53.14/49.20 decisions=411770, wrong=202614, backtracks=146708, failedAssignments=131820, nogoods=1860, foundSolutions=24, bestBound=144
53.14/49.20
53.84/50.00 num=269, depth=19..31, filters=27419036, revisions=(35232205,useless=13456910), ccks=69431513, wck=47.458, mem=103M233
53.84/50.00 decisions=420140, wrong=206788, backtracks=149974, failedAssignments=134336, nogoods=1871, foundSolutions=24, bestBound=144
53.84/50.00
54.92/50.90 num=270, depth=18..31, filters=27941732, revisions=(35913794,useless=13717064), ccks=70690868, wck=48.358, mem=103M233
54.92/50.90 decisions=428640, wrong=211027, backtracks=153152, failedAssignments=137104, nogoods=1881, foundSolutions=24, bestBound=144
54.92/50.90
56.13/52.17 num=271, depth=17..31, filters=28671139, revisions=(36835825,useless=14071027), ccks=72533031, wck=49.634, mem=103M233
56.13/52.17 decisions=438895, wrong=216144, backtracks=157451, failedAssignments=140148, nogoods=1893, foundSolutions=24, bestBound=144
56.13/52.17
57.42/53.42 num=272, depth=18..33, filters=29403018, revisions=(37737207,useless=14403006), ccks=74364382, wck=50.879, mem=103M233
57.42/53.42 decisions=449801, wrong=221586, backtracks=161555, failedAssignments=143497, nogoods=1902, foundSolutions=24, bestBound=144
57.42/53.42
58.52/54.50 num=273, depth=17..32, filters=30021562, revisions=(38578603,useless=14754715), ccks=76010566, wck=51.964, mem=103M233
58.52/54.50 decisions=461208, wrong=227279, backtracks=166037, failedAssignments=147181, nogoods=1913, foundSolutions=24, bestBound=144
58.52/54.50
59.92/56.00 num=274, depth=17..30, filters=30901586, revisions=(39682907,useless=15163942), ccks=78127112, wck=53.465, mem=103M233
59.92/56.00 decisions=473779, wrong=233553, backtracks=170824, failedAssignments=151233, nogoods=1921, foundSolutions=24, bestBound=144
59.92/56.00
61.52/57.57 num=275, depth=17..32, filters=31802960, revisions=(40816311,useless=15583630), ccks=80390472, wck=55.033, mem=103M233
61.52/57.57 decisions=487742, wrong=240523, backtracks=176113, failedAssignments=155690, nogoods=1926, foundSolutions=24, bestBound=144
61.52/57.57
63.17/59.19 num=276, depth=18..32, filters=32751934, revisions=(42063430,useless=16062621), ccks=82690805, wck=56.646, mem=103M233
63.17/59.19 decisions=502955, wrong=248118, backtracks=181942, failedAssignments=160593, nogoods=1937, foundSolutions=24, bestBound=144
63.17/59.19
65.37/61.40 num=277, depth=17..31, filters=34013653, revisions=(43605654,useless=16622618), ccks=85966378, wck=58.856, mem=103M233
65.37/61.40 decisions=520730, wrong=256994, backtracks=188600, failedAssignments=165987, nogoods=1952, foundSolutions=24, bestBound=144
65.37/61.40
67.67/63.67 num=278, depth=18..32, filters=35328664, revisions=(45261158,useless=17246904), ccks=89455325, wck=61.13, mem=103M233
67.67/63.67 decisions=540490, wrong=266863, backtracks=195997, failedAssignments=171920, nogoods=1961, foundSolutions=24, bestBound=144
67.67/63.67
69.97/65.97 num=279, depth=17..31, filters=36698336, revisions=(46977467,useless=17875503), ccks=92755606, wck=63.432, mem=105M875
69.97/65.97 decisions=560998, wrong=277107, backtracks=203332, failedAssignments=178446, nogoods=1970, foundSolutions=24, bestBound=144
69.97/65.97
72.57/68.58 num=280, depth=17..31, filters=38226660, revisions=(48832447,useless=18545641), ccks=96523753, wck=66.042, mem=105M875
72.57/68.58 decisions=583698, wrong=288446, backtracks=211930, failedAssignments=185625, nogoods=1985, foundSolutions=24, bestBound=144
72.57/68.58
75.57/71.51 num=281, depth=16..31, filters=39964103, revisions=(50985633,useless=19335616), ccks=100696451, wck=68.971, mem=105M875
75.57/71.51 decisions=608857, wrong=301015, backtracks=221445, failedAssignments=193522, nogoods=1995, foundSolutions=24, bestBound=144
75.57/71.51
78.77/74.79 num=282, depth=17..33, filters=41885513, revisions=(53332109,useless=20197377), ccks=105488198, wck=72.252, mem=105M875
78.77/74.79 decisions=637183, wrong=315167, backtracks=232506, failedAssignments=202209, nogoods=2004, foundSolutions=24, bestBound=144
78.77/74.79
82.08/78.10 num=283, depth=16..34, filters=43893705, revisions=(55831552,useless=21099803), ccks=110146379, wck=75.562, mem=105M875
82.08/78.10 decisions=667765, wrong=330447, backtracks=243339, failedAssignments=211764, nogoods=2016, foundSolutions=24, bestBound=144
82.08/78.10
85.77/81.77 num=284, depth=18..33, filters=46019626, revisions=(58455151,useless=22078202), ccks=115512448, wck=79.233, mem=105M875
85.77/81.77 decisions=702208, wrong=347658, backtracks=256886, failedAssignments=222275, nogoods=2025, foundSolutions=24, bestBound=144
85.77/81.77
88.47/84.42 o 116
88.47/84.42 num=285, depth=17..624, filters=47616356, revisions=(60407238,useless=22785258), ccks=119354493, wck=81.884, mem=108M518
88.47/84.42 decisions=726034, wrong=359560, backtracks=265491, failedAssignments=229604, nogoods=2036, foundSolutions=25, bestBound=116
88.47/84.42
92.67/88.69 num=286, depth=17..34, filters=50197695, revisions=(63627245,useless=23966702), ccks=125125319, wck=86.153, mem=108M518
92.67/88.69 decisions=766157, wrong=379611, backtracks=279835, failedAssignments=242322, nogoods=2042, foundSolutions=25, bestBound=116
92.67/88.69
92.77/88.70 num=287, depth=23..29, filters=50200018, revisions=(63631377,useless=23968882), ccks=125131989, wck=86.159, mem=108M518
92.77/88.70 decisions=766208, wrong=379625, backtracks=279845, failedAssignments=242333, nogoods=2045, foundSolutions=25, bestBound=116
92.77/88.70
92.77/88.70 num=288, depth=21..30, filters=50201608, revisions=(63634694,useless=23970903), ccks=125135862, wck=86.164, mem=108M518
92.77/88.70 decisions=766261, wrong=379641, backtracks=279859, failedAssignments=242345, nogoods=2048, foundSolutions=25, bestBound=116
92.77/88.70
92.77/88.71 num=289, depth=22..27, filters=50204514, revisions=(63639543,useless=23973305), ccks=125142704, wck=86.17, mem=108M518
92.77/88.71 decisions=766318, wrong=379658, backtracks=279868, failedAssignments=242358, nogoods=2053, foundSolutions=25, bestBound=116
92.77/88.71
92.77/88.71 num=290, depth=21..29, filters=50206655, revisions=(63643545,useless=23975562), ccks=125148360, wck=86.175, mem=108M518
92.77/88.71 decisions=766376, wrong=379676, backtracks=279881, failedAssignments=242372, nogoods=2059, foundSolutions=25, bestBound=116
92.77/88.71
92.77/88.72 num=291, depth=22..28, filters=50210109, revisions=(63649083,useless=23978280), ccks=125155782, wck=86.182, mem=108M518
92.77/88.72 decisions=766443, wrong=379698, backtracks=279896, failedAssignments=242388, nogoods=2067, foundSolutions=25, bestBound=116
92.77/88.72
92.77/88.73 num=292, depth=21..27, filters=50214238, revisions=(63655578,useless=23981331), ccks=125164966, wck=86.19, mem=108M518
92.77/88.73 decisions=766515, wrong=379722, backtracks=279913, failedAssignments=242405, nogoods=2072, foundSolutions=25, bestBound=116
92.77/88.73
92.77/88.74 num=293, depth=22..28, filters=50217504, revisions=(63661030,useless=23984101), ccks=125171797, wck=86.197, mem=108M518
92.77/88.74 decisions=766586, wrong=379746, backtracks=279929, failedAssignments=242424, nogoods=2079, foundSolutions=25, bestBound=116
92.77/88.74
92.77/88.74 num=294, depth=22..29, filters=50221100, revisions=(63666804,useless=23986905), ccks=125179770, wck=86.204, mem=108M518
92.77/88.74 decisions=766664, wrong=379773, backtracks=279944, failedAssignments=242445, nogoods=2088, foundSolutions=25, bestBound=116
92.77/88.74
92.77/88.75 num=295, depth=22..28, filters=50225706, revisions=(63674051,useless=23990319), ccks=125189692, wck=86.214, mem=108M518
92.77/88.75 decisions=766745, wrong=379802, backtracks=279965, failedAssignments=242468, nogoods=2094, foundSolutions=25, bestBound=116
92.77/88.75
92.77/88.77 num=296, depth=22..29, filters=50231810, revisions=(63682988,useless=23994211), ccks=125202891, wck=86.226, mem=108M518
92.77/88.77 decisions=766831, wrong=379834, backtracks=279993, failedAssignments=242493, nogoods=2100, foundSolutions=25, bestBound=116
92.77/88.77
92.77/88.78 num=297, depth=21..26, filters=50237205, revisions=(63691395,useless=23998045), ccks=125214577, wck=86.236, mem=108M518
92.77/88.78 decisions=766933, wrong=379874, backtracks=280018, failedAssignments=242521, nogoods=2104, foundSolutions=25, bestBound=116
92.77/88.78
92.77/88.79 num=298, depth=21..28, filters=50243036, revisions=(63700145,useless=24001913), ccks=125227533, wck=86.247, mem=108M518
92.77/88.79 decisions=767042, wrong=379917, backtracks=280043, failedAssignments=242552, nogoods=2114, foundSolutions=25, bestBound=116
92.77/88.79
92.88/88.80 num=299, depth=21..28, filters=50251183, revisions=(63711838,useless=24007040), ccks=125245407, wck=86.263, mem=108M518
92.88/88.80 decisions=767167, wrong=379968, backtracks=280082, failedAssignments=242586, nogoods=2122, foundSolutions=25, bestBound=116
92.88/88.80
92.88/88.82 num=300, depth=21..27, filters=50258025, revisions=(63722284,useless=24011712), ccks=125260550, wck=86.277, mem=108M518
92.88/88.82 decisions=767289, wrong=380018, backtracks=280119, failedAssignments=242623, nogoods=2127, foundSolutions=25, bestBound=116
92.88/88.82
92.88/88.83 num=301, depth=21..27, filters=50265365, revisions=(63733193,useless=24016470), ccks=125277804, wck=86.291, mem=108M518
92.88/88.83 decisions=767434, wrong=380079, backtracks=280159, failedAssignments=242664, nogoods=2131, foundSolutions=25, bestBound=116
92.88/88.83
92.88/88.85 num=302, depth=21..28, filters=50274834, revisions=(63746829,useless=24022092), ccks=125296960, wck=86.308, mem=108M518
92.88/88.85 decisions=767584, wrong=380143, backtracks=280202, failedAssignments=242709, nogoods=2142, foundSolutions=25, bestBound=116
92.88/88.85
92.88/88.86 num=303, depth=21..30, filters=50281917, revisions=(63757685,useless=24027054), ccks=125313090, wck=86.322, mem=108M518
92.88/88.86 decisions=767740, wrong=380210, backtracks=280252, failedAssignments=242759, nogoods=2151, foundSolutions=25, bestBound=116
92.88/88.86
92.88/88.88 num=304, depth=21..28, filters=50291157, revisions=(63771465,useless=24033118), ccks=125332551, wck=86.339, mem=108M518
92.88/88.88 decisions=767914, wrong=380285, backtracks=280304, failedAssignments=242814, nogoods=2161, foundSolutions=25, bestBound=116
92.88/88.88
93.00/88.90 num=305, depth=20..27, filters=50303295, revisions=(63789020,useless=24040435), ccks=125361056, wck=86.362, mem=108M518
93.00/88.90 decisions=768108, wrong=380371, backtracks=280358, failedAssignments=242875, nogoods=2169, foundSolutions=25, bestBound=116
93.00/88.90
93.00/88.93 num=306, depth=22..31, filters=50318771, revisions=(63810503,useless=24049212), ccks=125394264, wck=86.39, mem=108M518
93.00/88.93 decisions=768329, wrong=380470, backtracks=280441, failedAssignments=242942, nogoods=2180, foundSolutions=25, bestBound=116
93.00/88.93
93.00/88.95 num=307, depth=21..30, filters=50331975, revisions=(63829309,useless=24056790), ccks=125421710, wck=86.414, mem=108M518
93.00/88.95 decisions=768569, wrong=380579, backtracks=280511, failedAssignments=243016, nogoods=2187, foundSolutions=25, bestBound=116
93.00/88.95
93.00/88.98 num=308, depth=21..29, filters=50347256, revisions=(63850849,useless=24065820), ccks=125455814, wck=86.443, mem=108M518
93.00/88.98 decisions=768812, wrong=380689, backtracks=280601, failedAssignments=243097, nogoods=2192, foundSolutions=25, bestBound=116
93.00/88.98
93.16/89.03 num=309, depth=20..27, filters=50372763, revisions=(63885481,useless=24079574), ccks=125514054, wck=86.491, mem=108M518
93.16/89.03 decisions=769119, wrong=380832, backtracks=280727, failedAssignments=243186, nogoods=2199, foundSolutions=25, bestBound=116
93.16/89.03
93.16/89.06 num=310, depth=21..27, filters=50388755, revisions=(63908507,useless=24089148), ccks=125547846, wck=86.521, mem=108M518
93.16/89.06 decisions=769439, wrong=380981, backtracks=280821, failedAssignments=243284, nogoods=2208, foundSolutions=25, bestBound=116
93.16/89.06
93.16/89.10 num=311, depth=20..29, filters=50408805, revisions=(63936721,useless=24100750), ccks=125596442, wck=86.56, mem=108M518
93.16/89.10 decisions=769800, wrong=381150, backtracks=280945, failedAssignments=243392, nogoods=2212, foundSolutions=25, bestBound=116
93.16/89.10
93.26/89.14 num=312, depth=21..30, filters=50429073, revisions=(63964405,useless=24111858), ccks=125640203, wck=86.597, mem=108M518
93.26/89.14 decisions=770163, wrong=381321, backtracks=281069, failedAssignments=243511, nogoods=2218, foundSolutions=25, bestBound=116
93.26/89.14
93.26/89.17 num=313, depth=19..30, filters=50444051, revisions=(63988482,useless=24123929), ccks=125680845, wck=86.627, mem=108M518
93.26/89.17 decisions=770535, wrong=381496, backtracks=281229, failedAssignments=243642, nogoods=2221, foundSolutions=25, bestBound=116
93.26/89.17
93.35/89.22 num=314, depth=20..29, filters=50473949, revisions=(64029774,useless=24140700), ccks=125743445, wck=86.681, mem=108M518
93.35/89.22 decisions=770986, wrong=381710, backtracks=281400, failedAssignments=243786, nogoods=2227, foundSolutions=25, bestBound=116
93.35/89.22
93.35/89.27 num=315, depth=20..29, filters=50503220, revisions=(64068649,useless=24155774), ccks=125807517, wck=86.735, mem=108M518
93.35/89.27 decisions=771456, wrong=381933, backtracks=281562, failedAssignments=243944, nogoods=2234, foundSolutions=25, bestBound=116
93.35/89.27
93.45/89.33 num=316, depth=20..30, filters=50533476, revisions=(64111651,useless=24173764), ccks=125873226, wck=86.791, mem=108M518
93.45/89.33 decisions=771996, wrong=382192, backtracks=281764, failedAssignments=244118, nogoods=2242, foundSolutions=25, bestBound=116
93.45/89.33
93.55/89.40 num=317, depth=19..28, filters=50569149, revisions=(64160120,useless=24193039), ccks=125958245, wck=86.857, mem=108M518
93.55/89.40 decisions=772590, wrong=382478, backtracks=281972, failedAssignments=244309, nogoods=2250, foundSolutions=25, bestBound=116
93.55/89.40
93.55/89.47 num=318, depth=20..30, filters=50609248, revisions=(64215184,useless=24214782), ccks=126048728, wck=86.928, mem=108M518
93.55/89.47 decisions=773233, wrong=382789, backtracks=282209, failedAssignments=244520, nogoods=2255, foundSolutions=25, bestBound=116
93.55/89.47
93.65/89.55 num=319, depth=20..29, filters=50651647, revisions=(64272376,useless=24237486), ccks=126146339, wck=87.006, mem=108M518
93.65/89.55 decisions=773935, wrong=383129, backtracks=282466, failedAssignments=244752, nogoods=2268, foundSolutions=25, bestBound=116
93.65/89.55
93.75/89.62 num=320, depth=19..31, filters=50692745, revisions=(64329471,useless=24262131), ccks=126247918, wck=87.085, mem=108M518
93.75/89.62 decisions=774739, wrong=383520, backtracks=282794, failedAssignments=245007, nogoods=2277, foundSolutions=25, bestBound=116
93.75/89.62
93.85/89.71 num=321, depth=20..29, filters=50742030, revisions=(64395655,useless=24287793), ccks=126361496, wck=87.175, mem=108M518
93.85/89.71 decisions=775576, wrong=383928, backtracks=283075, failedAssignments=245288, nogoods=2287, foundSolutions=25, bestBound=116
93.85/89.71
93.96/89.80 num=322, depth=19..32, filters=50786533, revisions=(64461308,useless=24316747), ccks=126473506, wck=87.257, mem=108M518
93.96/89.80 decisions=776517, wrong=384388, backtracks=283461, failedAssignments=245597, nogoods=2292, foundSolutions=25, bestBound=116
93.96/89.80
94.06/89.94 num=323, depth=19..30, filters=50865794, revisions=(64565909,useless=24357169), ccks=126641820, wck=87.396, mem=111M160
94.06/89.94 decisions=777619, wrong=384928, backtracks=283895, failedAssignments=245937, nogoods=2298, foundSolutions=25, bestBound=116
94.06/89.94
94.17/90.07 num=324, depth=19..30, filters=50938497, revisions=(64660024,useless=24393136), ccks=126801984, wck=87.529, mem=111M160
94.17/90.07 decisions=778734, wrong=385474, backtracks=284327, failedAssignments=246311, nogoods=2305, foundSolutions=25, bestBound=116
94.17/90.07
94.36/90.23 num=325, depth=19..31, filters=51028961, revisions=(64777751,useless=24437495), ccks=127011018, wck=87.689, mem=111M160
94.36/90.23 decisions=780034, wrong=386113, backtracks=284823, failedAssignments=246722, nogoods=2312, foundSolutions=25, bestBound=116
94.36/90.23
94.46/90.36 num=326, depth=19..31, filters=51102450, revisions=(64880087,useless=24478530), ccks=127149484, wck=87.816, mem=111M160
94.46/90.36 decisions=781467, wrong=386818, backtracks=285343, failedAssignments=247174, nogoods=2327, foundSolutions=25, bestBound=116
94.46/90.36
94.56/90.49 num=327, depth=16..31, filters=51168269, revisions=(64976406,useless=24524693), ccks=127330409, wck=87.946, mem=111M160
94.56/90.49 decisions=783101, wrong=387626, backtracks=285976, failedAssignments=247671, nogoods=2332, foundSolutions=25, bestBound=116
94.56/90.49
94.76/90.66 num=328, depth=19..30, filters=51267494, revisions=(65109037,useless=24575669), ccks=127552390, wck=88.122, mem=111M160
94.76/90.66 decisions=784782, wrong=388455, backtracks=286562, failedAssignments=248218, nogoods=2342, foundSolutions=25, bestBound=116
94.76/90.66
94.96/90.88 num=329, depth=19..31, filters=51394599, revisions=(65274055,useless=24637995), ccks=127822344, wck=88.341, mem=111M160
94.96/90.88 decisions=786666, wrong=389386, backtracks=287249, failedAssignments=248820, nogoods=2350, foundSolutions=25, bestBound=116
94.96/90.88
95.17/91.10 num=330, depth=18..30, filters=51513742, revisions=(65431636,useless=24700639), ccks=128088363, wck=88.557, mem=111M160
95.17/91.10 decisions=788722, wrong=390403, backtracks=288075, failedAssignments=249482, nogoods=2362, foundSolutions=25, bestBound=116
95.17/91.10
95.46/91.31 num=331, depth=19..30, filters=51634400, revisions=(65598029,useless=24767133), ccks=128326302, wck=88.767, mem=111M160
95.46/91.31 decisions=790975, wrong=391519, backtracks=288916, failedAssignments=250210, nogoods=2373, foundSolutions=25, bestBound=116
95.46/91.31
95.66/91.53 num=332, depth=19..31, filters=51757949, revisions=(65766108,useless=24833078), ccks=128601988, wck=88.987, mem=111M160
95.66/91.53 decisions=793343, wrong=392692, backtracks=289801, failedAssignments=251011, nogoods=2384, foundSolutions=25, bestBound=116
95.66/91.53
95.96/91.82 num=333, depth=19..30, filters=51927523, revisions=(65988162,useless=24916873), ccks=128988457, wck=89.28, mem=111M160
95.96/91.82 decisions=795996, wrong=394007, backtracks=290755, failedAssignments=251892, nogoods=2394, foundSolutions=25, bestBound=116
95.96/91.82
96.27/92.11 num=334, depth=19..30, filters=52099163, revisions=(66214781,useless=25000760), ccks=129356644, wck=89.567, mem=111M160
96.27/92.11 decisions=798910, wrong=395453, backtracks=291680, failedAssignments=252862, nogoods=2406, foundSolutions=25, bestBound=116
96.27/92.11
96.56/92.47 num=335, depth=19..33, filters=52305084, revisions=(66486200,useless=25108629), ccks=129797661, wck=89.933, mem=111M160
96.56/92.47 decisions=802160, wrong=397066, backtracks=293050, failedAssignments=253929, nogoods=2415, foundSolutions=25, bestBound=116
96.56/92.47
96.96/92.84 num=336, depth=18..29, filters=52524614, revisions=(66780482,useless=25219828), ccks=130280945, wck=90.305, mem=111M160
96.96/92.84 decisions=805697, wrong=398824, backtracks=294205, failedAssignments=255102, nogoods=2427, foundSolutions=25, bestBound=116
96.96/92.84
97.36/93.25 num=337, depth=19..31, filters=52765386, revisions=(67101140,useless=25340712), ccks=130780078, wck=90.711, mem=111M160
97.36/93.25 decisions=809636, wrong=400783, backtracks=295555, failedAssignments=256393, nogoods=2442, foundSolutions=25, bestBound=116
97.36/93.25
97.76/93.70 num=338, depth=18..31, filters=53029598, revisions=(67452315,useless=25474485), ccks=131367521, wck=91.156, mem=111M160
97.76/93.70 decisions=813920, wrong=402914, backtracks=297059, failedAssignments=257813, nogoods=2448, foundSolutions=25, bestBound=116
97.76/93.70
98.36/94.21 num=339, depth=18..32, filters=53324604, revisions=(67840972,useless=25624594), ccks=132016837, wck=91.666, mem=111M160
98.36/94.21 decisions=818591, wrong=405239, backtracks=298696, failedAssignments=259375, nogoods=2464, foundSolutions=25, bestBound=116
98.36/94.21
98.93/94.71 num=340, depth=19..32, filters=53627124, revisions=(68248198,useless=25780493), ccks=132645529, wck=92.17, mem=111M160
98.93/94.71 decisions=823889, wrong=407876, backtracks=300536, failedAssignments=261093, nogoods=2481, foundSolutions=25, bestBound=116
98.93/94.71
99.53/95.39 num=341, depth=18..33, filters=54021359, revisions=(68762358,useless=25984916), ccks=133493004, wck=92.854, mem=111M160
99.53/95.39 decisions=829726, wrong=410784, backtracks=302815, failedAssignments=262983, nogoods=2488, foundSolutions=25, bestBound=116
99.53/95.39
100.34/96.12 num=342, depth=18..31, filters=54446924, revisions=(69309301,useless=26188080), ccks=134465176, wck=93.585, mem=111M160
100.34/96.12 decisions=836195, wrong=414007, backtracks=305203, failedAssignments=265062, nogoods=2496, foundSolutions=25, bestBound=116
100.34/96.12
101.13/96.92 num=343, depth=18..31, filters=54904509, revisions=(69916365,useless=26427420), ccks=135446394, wck=94.378, mem=111M160
101.13/96.92 decisions=843288, wrong=417542, backtracks=308107, failedAssignments=267349, nogoods=2508, foundSolutions=25, bestBound=116
101.13/96.92
102.03/97.87 num=344, depth=17..32, filters=55483876, revisions=(70672659,useless=26711064), ccks=136626554, wck=95.334, mem=111M160
102.03/97.87 decisions=851214, wrong=421493, backtracks=310888, failedAssignments=269865, nogoods=2521, foundSolutions=25, bestBound=116
102.03/97.87
102.93/98.74 num=345, depth=17..30, filters=55989922, revisions=(71340133,useless=26962980), ccks=137765546, wck=96.2, mem=111M160
102.93/98.74 decisions=859653, wrong=425702, backtracks=313770, failedAssignments=272633, nogoods=2531, foundSolutions=25, bestBound=116
102.93/98.74
103.93/99.79 num=346, depth=17..32, filters=56591322, revisions=(72105442,useless=27253799), ccks=139144238, wck=97.248, mem=111M160
103.93/99.79 decisions=869018, wrong=430373, backtracks=317321, failedAssignments=275677, nogoods=2534, foundSolutions=25, bestBound=116
103.93/99.79
105.03/100.86 num=347, depth=17..31, filters=57205337, revisions=(72894588,useless=27554590), ccks=140575163, wck=98.324, mem=111M160
105.03/100.86 decisions=879223, wrong=435465, backtracks=321096, failedAssignments=279026, nogoods=2542, foundSolutions=25, bestBound=116
105.03/100.86
106.13/102.00 num=348, depth=17..31, filters=57870555, revisions=(73772575,useless=27888413), ccks=142048529, wck=99.459, mem=113M803
106.13/102.00 decisions=890832, wrong=441259, backtracks=325311, failedAssignments=282710, nogoods=2551, foundSolutions=25, bestBound=116
106.13/102.00
107.73/103.54 num=349, depth=17..31, filters=58765184, revisions=(74900758,useless=28325734), ccks=144071379, wck=100.996, mem=113M803
107.73/103.54 decisions=903633, wrong=447649, backtracks=330240, failedAssignments=286762, nogoods=2559, foundSolutions=25, bestBound=116
107.73/103.54
109.34/105.11 num=350, depth=17..31, filters=59687503, revisions=(76125740,useless=28794478), ccks=146101628, wck=102.574, mem=113M803
109.34/105.11 decisions=917896, wrong=454769, backtracks=335557, failedAssignments=291219, nogoods=2562, foundSolutions=25, bestBound=116
109.34/105.11
110.93/106.74 num=351, depth=17..31, filters=60638118, revisions=(77358318,useless=29275764), ccks=148277863, wck=104.196, mem=113M803
110.93/106.74 decisions=933258, wrong=462439, backtracks=341216, failedAssignments=296122, nogoods=2573, foundSolutions=25, bestBound=116
110.93/106.74
112.83/108.67 num=352, depth=17..31, filters=61776172, revisions=(78837618,useless=29837232), ccks=150826310, wck=106.133, mem=113M803
112.83/108.67 decisions=950501, wrong=471050, backtracks=347928, failedAssignments=301516, nogoods=2580, foundSolutions=25, bestBound=116
112.83/108.67
115.03/110.88 num=353, depth=17..32, filters=63049413, revisions=(80404785,useless=30423109), ccks=153868795, wck=108.341, mem=113M803
115.03/110.88 decisions=969463, wrong=480519, backtracks=355497, failedAssignments=307449, nogoods=2585, foundSolutions=25, bestBound=116
115.03/110.88
117.24/113.08 num=354, depth=17..35, filters=64318148, revisions=(81992499,useless=31034688), ccks=156891233, wck=110.542, mem=113M803
117.24/113.08 decisions=990490, wrong=491021, backtracks=363715, failedAssignments=313975, nogoods=2592, foundSolutions=25, bestBound=116
117.24/113.08
119.84/115.65 num=355, depth=16..32, filters=65797746, revisions=(83889717,useless=31757950), ccks=160363378, wck=113.112, mem=113M803
119.84/115.65 decisions=1013027, wrong=502279, backtracks=372309, failedAssignments=321154, nogoods=2600, foundSolutions=25, bestBound=116
119.84/115.65
122.34/118.16 num=356, depth=16..33, filters=67227222, revisions=(85706870,useless=32446884), ccks=163680574, wck=115.624, mem=116M445
122.34/118.16 decisions=1037325, wrong=514416, backtracks=381677, failedAssignments=329051, nogoods=2608, foundSolutions=25, bestBound=116
122.34/118.16
124.74/120.59 num=357, depth=9..32, filters=68502702, revisions=(87767860,useless=33512841), ccks=167141111, wck=118.051, mem=116M445
124.74/120.59 decisions=1068512, wrong=530003, backtracks=394959, failedAssignments=337738, nogoods=2614, foundSolutions=25, bestBound=116
124.74/120.59
128.44/124.20 num=358, depth=16..32, filters=70617019, revisions=(90427656,useless=34507432), ccks=172067138, wck=121.663, mem=116M445
128.44/124.20 decisions=1099304, wrong=545390, backtracks=406986, failedAssignments=347293, nogoods=2623, foundSolutions=25, bestBound=116
128.44/124.20
132.24/128.07 num=359, depth=16..32, filters=72883213, revisions=(93266206,useless=35549607), ccks=177283279, wck=125.532, mem=116M445
132.24/128.07 decisions=1132577, wrong=562016, backtracks=419835, failedAssignments=357804, nogoods=2637, foundSolutions=25, bestBound=116
132.24/128.07
136.84/132.64 num=360, depth=16..31, filters=75577552, revisions=(96675676,useless=36836478), ccks=183504484, wck=130.1, mem=116M445
136.84/132.64 decisions=1170083, wrong=580759, backtracks=434660, failedAssignments=369366, nogoods=2649, foundSolutions=25, bestBound=116
136.84/132.64
140.84/136.66 num=361, depth=15..33, filters=77818196, revisions=(99628062,useless=38054250), ccks=189432216, wck=134.122, mem=119M88
140.84/136.66 decisions=1212438, wrong=601926, backtracks=452531, failedAssignments=382084, nogoods=2656, foundSolutions=25, bestBound=116
140.84/136.66
145.74/141.50 num=362, depth=16..33, filters=80596631, revisions=(103078050,useless=39336096), ccks=196009114, wck=138.961, mem=119M88
145.74/141.50 decisions=1256236, wrong=623816, backtracks=470208, failedAssignments=396074, nogoods=2668, foundSolutions=25, bestBound=116
145.74/141.50
150.94/146.71 num=363, depth=15..32, filters=83769466, revisions=(107110435,useless=40835623), ccks=202943599, wck=144.174, mem=119M88
150.94/146.71 decisions=1305724, wrong=648549, backtracks=487586, failedAssignments=411463, nogoods=2675, foundSolutions=25, bestBound=116
150.94/146.71
156.54/152.36 num=364, depth=16..33, filters=87004574, revisions=(111280084,useless=42430455), ccks=210408933, wck=149.823, mem=121M730
156.54/152.36 decisions=1359889, wrong=675622, backtracks=509263, failedAssignments=428391, nogoods=2689, foundSolutions=25, bestBound=116
156.54/152.36
161.35/157.11 num=365, depth=10..30, filters=89485767, revisions=(115327192,useless=44676869), ccks=217049061, wck=154.574, mem=121M730
161.35/157.11 decisions=1431077, wrong=711209, backtracks=539908, failedAssignments=447012, nogoods=2696, foundSolutions=25, bestBound=116
161.35/157.11
167.95/163.78 num=366, depth=16..32, filters=93484064, revisions=(120577539,useless=46709165), ccks=226149323, wck=161.243, mem=124M372
167.95/163.78 decisions=1497321, wrong=744321, backtracks=563481, failedAssignments=467496, nogoods=2705, foundSolutions=25, bestBound=116
167.95/163.78
176.26/172.10 num=367, depth=16..35, filters=98273571, revisions=(126581918,useless=49035145), ccks=237983938, wck=169.564, mem=124M372
176.26/172.10 decisions=1573311, wrong=782304, backtracks=595299, failedAssignments=490028, nogoods=2712, foundSolutions=25, bestBound=116
176.26/172.10
185.45/181.21 num=368, depth=16..35, filters=103616234, revisions=(133339202,useless=51726337), ccks=250843851, wck=178.669, mem=127M15
185.45/181.21 decisions=1655646, wrong=823462, backtracks=629149, failedAssignments=514813, nogoods=2721, foundSolutions=25, bestBound=116
185.45/181.21
195.05/190.89 num=369, depth=16..35, filters=109449949, revisions=(140754387,useless=54613420), ccks=264648899, wck=188.349, mem=127M15
195.05/190.89 decisions=1746262, wrong=868760, backtracks=663197, failedAssignments=542077, nogoods=2732, foundSolutions=25, bestBound=116
195.05/190.89
205.47/201.28 num=370, depth=15..33, filters=115395763, revisions=(148149156,useless=57383292), ccks=278789612, wck=198.742, mem=129M657
205.47/201.28 decisions=1842110, wrong=916674, backtracks=701997, failedAssignments=572067, nogoods=2749, foundSolutions=25, bestBound=116
205.47/201.28
214.47/210.28 o 108
214.47/210.28 num=371, depth=15..624, filters=120628191, revisions=(154846592,useless=59953975), ccks=291153207, wck=207.736, mem=129M657
214.47/210.28 decisions=1919852, wrong=955534, backtracks=732423, failedAssignments=596398, nogoods=2760, foundSolutions=26, bestBound=108
214.47/210.28
227.77/223.54 num=372, depth=15..34, filters=128163561, revisions=(164283194,useless=63567590), ccks=309045614, wck=220.999, mem=132M300
227.77/223.54 decisions=2038518, wrong=1014857, backtracks=779693, failedAssignments=632686, nogoods=2768, foundSolutions=26, bestBound=108
227.77/223.54
227.77/223.54 num=373, depth=25..30, filters=128165886, revisions=(164287142,useless=63569632), ccks=309053259, wck=221.005, mem=132M300
227.77/223.54 decisions=2038580, wrong=1014875, backtracks=779704, failedAssignments=632697, nogoods=2770, foundSolutions=26, bestBound=108
227.77/223.54
227.77/223.55 num=374, depth=24..30, filters=128168666, revisions=(164291647,useless=63571930), ccks=309059575, wck=221.011, mem=132M300
227.77/223.55 decisions=2038641, wrong=1014893, backtracks=779717, failedAssignments=632709, nogoods=2775, foundSolutions=26, bestBound=108
227.77/223.55
227.77/223.56 num=375, depth=25..29, filters=128170819, revisions=(164295391,useless=63573900), ccks=309064715, wck=221.016, mem=132M300
227.77/223.56 decisions=2038705, wrong=1014912, backtracks=779726, failedAssignments=632722, nogoods=2782, foundSolutions=26, bestBound=108
227.77/223.56
227.77/223.56 num=376, depth=24..29, filters=128174587, revisions=(164301309,useless=63576842), ccks=309073777, wck=221.024, mem=132M300
227.77/223.56 decisions=2038777, wrong=1014936, backtracks=779748, failedAssignments=632736, nogoods=2785, foundSolutions=26, bestBound=108
227.77/223.56
227.77/223.57 num=377, depth=24..30, filters=128178106, revisions=(164306921,useless=63579612), ccks=309082330, wck=221.031, mem=132M300
227.77/223.57 decisions=2038849, wrong=1014959, backtracks=779765, failedAssignments=632752, nogoods=2790, foundSolutions=26, bestBound=108
227.77/223.57
227.77/223.58 num=378, depth=23..30, filters=128181960, revisions=(164312938,useless=63582545), ccks=309090949, wck=221.039, mem=132M300
227.77/223.58 decisions=2038920, wrong=1014982, backtracks=779781, failedAssignments=632769, nogoods=2794, foundSolutions=26, bestBound=108
227.77/223.58
227.77/223.59 num=379, depth=23..31, filters=128185245, revisions=(164318247,useless=63585207), ccks=309099180, wck=221.046, mem=132M300
227.77/223.59 decisions=2038995, wrong=1015007, backtracks=779798, failedAssignments=632788, nogoods=2796, foundSolutions=26, bestBound=108
227.77/223.59
227.77/223.59 num=380, depth=24..30, filters=128187814, revisions=(164322832,useless=63587699), ccks=309105321, wck=221.051, mem=132M300
227.77/223.59 decisions=2039077, wrong=1015035, backtracks=779817, failedAssignments=632809, nogoods=2806, foundSolutions=26, bestBound=108
227.77/223.59
227.87/223.60 num=381, depth=23..29, filters=128193793, revisions=(164331515,useless=63591611), ccks=309119336, wck=221.063, mem=132M300
227.87/223.60 decisions=2039178, wrong=1015073, backtracks=779846, failedAssignments=632832, nogoods=2811, foundSolutions=26, bestBound=108
227.87/223.60
227.87/223.61 num=382, depth=24..29, filters=128198138, revisions=(164338249,useless=63594669), ccks=309129190, wck=221.071, mem=132M300
227.87/223.61 decisions=2039280, wrong=1015112, backtracks=779869, failedAssignments=632857, nogoods=2814, foundSolutions=26, bestBound=108
227.87/223.61
227.87/223.62 num=383, depth=23..30, filters=128203747, revisions=(164346710,useless=63598523), ccks=309141717, wck=221.082, mem=132M300
227.87/223.62 decisions=2039385, wrong=1015153, backtracks=779901, failedAssignments=632885, nogoods=2819, foundSolutions=26, bestBound=108
227.87/223.62
227.87/223.64 num=384, depth=22..30, filters=128209980, revisions=(164356272,useless=63603010), ccks=309157155, wck=221.096, mem=132M300
227.87/223.64 decisions=2039494, wrong=1015196, backtracks=779937, failedAssignments=632916, nogoods=2825, foundSolutions=26, bestBound=108
227.87/223.64
227.87/223.65 num=385, depth=17..24, filters=128216075, revisions=(164367708,useless=63609655), ccks=309173136, wck=221.108, mem=132M300
227.87/223.65 decisions=2039639, wrong=1015260, backtracks=779987, failedAssignments=632950, nogoods=2826, foundSolutions=26, bestBound=108
227.87/223.65
227.87/223.67 num=386, depth=22..28, filters=128224506, revisions=(164380136,useless=63615294), ccks=309194383, wck=221.125, mem=132M300
227.87/223.67 decisions=2039785, wrong=1015322, backtracks=780032, failedAssignments=632987, nogoods=2834, foundSolutions=26, bestBound=108
227.87/223.67
227.87/223.69 num=387, depth=21..29, filters=128235799, revisions=(164396299,useless=63622411), ccks=309223935, wck=221.149, mem=132M300
227.87/223.69 decisions=2039946, wrong=1015390, backtracks=780090, failedAssignments=633028, nogoods=2838, foundSolutions=26, bestBound=108
227.87/223.69
227.98/223.71 num=388, depth=21..29, filters=128247687, revisions=(164412813,useless=63629540), ccks=309252436, wck=221.172, mem=132M300
227.98/223.71 decisions=2040107, wrong=1015459, backtracks=780145, failedAssignments=633073, nogoods=2845, foundSolutions=26, bestBound=108
227.98/223.71
227.98/223.73 num=389, depth=22..29, filters=128257889, revisions=(164427699,useless=63635985), ccks=309274396, wck=221.191, mem=132M300
227.98/223.73 decisions=2040286, wrong=1015537, backtracks=780203, failedAssignments=633123, nogoods=2850, foundSolutions=26, bestBound=108
227.98/223.73
227.98/223.75 num=390, depth=20..32, filters=128269246, revisions=(164445696,useless=63644684), ccks=309302606, wck=221.213, mem=132M300
227.98/223.75 decisions=2040494, wrong=1015631, backtracks=780290, failedAssignments=633178, nogoods=2852, foundSolutions=26, bestBound=108
227.98/223.75
227.98/223.80 num=391, depth=21..28, filters=128290701, revisions=(164474500,useless=63656436), ccks=309356273, wck=221.255, mem=132M300
227.98/223.80 decisions=2040725, wrong=1015735, backtracks=780375, failedAssignments=633239, nogoods=2856, foundSolutions=26, bestBound=108
227.98/223.80
228.08/223.83 num=392, depth=21..29, filters=128308389, revisions=(164499293,useless=63666865), ccks=309394020, wck=221.288, mem=132M300
228.08/223.83 decisions=2040969, wrong=1015845, backtracks=780456, failedAssignments=633306, nogoods=2863, foundSolutions=26, bestBound=108
228.08/223.83
228.08/223.86 num=393, depth=19..31, filters=128323844, revisions=(164522106,useless=63677347), ccks=309432576, wck=221.319, mem=132M300
228.08/223.86 decisions=2041319, wrong=1016009, backtracks=780590, failedAssignments=633380, nogoods=2868, foundSolutions=26, bestBound=108
228.08/223.86
228.08/223.89 num=394, depth=10..25, filters=128344787, revisions=(164561100,useless=63697091), ccks=309472511, wck=221.354, mem=132M300
228.08/223.89 decisions=2041732, wrong=1016209, backtracks=780751, failedAssignments=633461, nogoods=2874, foundSolutions=26, bestBound=108
228.08/223.89
228.18/223.93 num=395, depth=20..28, filters=128363951, revisions=(164588009,useless=63708707), ccks=309517183, wck=221.391, mem=134M942
228.18/223.93 decisions=2042046, wrong=1016354, backtracks=780858, failedAssignments=633550, nogoods=2882, foundSolutions=26, bestBound=108
228.18/223.93
228.18/223.98 num=396, depth=20..30, filters=128387750, revisions=(164621622,useless=63723052), ccks=309571333, wck=221.437, mem=134M942
228.18/223.98 decisions=2042395, wrong=1016517, backtracks=780982, failedAssignments=633648, nogoods=2886, foundSolutions=26, bestBound=108
228.18/223.98
228.29/224.01 num=397, depth=14..32, filters=128406536, revisions=(164653615,useless=63737747), ccks=309605272, wck=221.466, mem=134M942
228.29/224.01 decisions=2042832, wrong=1016728, backtracks=781126, failedAssignments=633756, nogoods=2892, foundSolutions=26, bestBound=108
228.29/224.01
228.29/224.06 num=398, depth=20..32, filters=128434003, revisions=(164691098,useless=63753334), ccks=309666690, wck=221.519, mem=134M942
228.29/224.06 decisions=2043248, wrong=1016925, backtracks=781268, failedAssignments=633875, nogoods=2901, foundSolutions=26, bestBound=108
228.29/224.06
228.39/224.11 num=399, depth=20..31, filters=128463678, revisions=(164733158,useless=63771136), ccks=309730841, wck=221.572, mem=134M942
228.39/224.11 decisions=2043700, wrong=1017139, backtracks=781431, failedAssignments=634006, nogoods=2907, foundSolutions=26, bestBound=108
228.39/224.11
228.39/224.17 num=400, depth=20..29, filters=128492636, revisions=(164775006,useless=63789129), ccks=309793633, wck=221.625, mem=134M942
228.39/224.17 decisions=2044175, wrong=1017365, backtracks=781610, failedAssignments=634150, nogoods=2914, foundSolutions=26, bestBound=108
228.39/224.17
228.48/224.22 num=401, depth=20..30, filters=128524544, revisions=(164817972,useless=63806444), ccks=309862903, wck=221.685, mem=134M942
228.48/224.22 decisions=2044687, wrong=1017610, backtracks=781774, failedAssignments=634308, nogoods=2921, foundSolutions=26, bestBound=108
228.48/224.22
228.58/224.30 num=402, depth=23..33, filters=128564719, revisions=(164871017,useless=63827724), ccks=309957752, wck=221.757, mem=134M942
228.58/224.30 decisions=2045325, wrong=1017916, backtracks=782022, failedAssignments=634482, nogoods=2926, foundSolutions=26, bestBound=108
228.58/224.30
228.58/224.36 num=403, depth=20..31, filters=128600958, revisions=(164920332,useless=63847707), ccks=310035729, wck=221.823, mem=134M942
228.58/224.36 decisions=2045924, wrong=1018203, backtracks=782223, failedAssignments=634673, nogoods=2934, foundSolutions=26, bestBound=108
228.58/224.36
228.68/224.46 num=404, depth=21..30, filters=128655233, revisions=(164993415,useless=63877634), ccks=310166354, wck=221.925, mem=134M942
228.68/224.46 decisions=2046667, wrong=1018562, backtracks=782495, failedAssignments=634884, nogoods=2939, foundSolutions=26, bestBound=108
228.68/224.46
228.78/224.54 num=405, depth=20..33, filters=128698610, revisions=(165055077,useless=63904080), ccks=310260674, wck=222.002, mem=134M942
228.78/224.54 decisions=2047444, wrong=1018940, backtracks=782785, failedAssignments=635116, nogoods=2947, foundSolutions=26, bestBound=108
228.78/224.54
228.88/224.65 num=406, depth=20..33, filters=128756038, revisions=(165135828,useless=63938460), ccks=310387296, wck=222.107, mem=134M942
228.88/224.65 decisions=2048301, wrong=1019357, backtracks=783110, failedAssignments=635371, nogoods=2958, foundSolutions=26, bestBound=108
228.88/224.65
228.98/224.77 num=407, depth=21..31, filters=128821589, revisions=(165224294,useless=63975223), ccks=310542552, wck=222.229, mem=134M942
228.98/224.77 decisions=2049327, wrong=1019859, backtracks=783489, failedAssignments=635652, nogoods=2964, foundSolutions=26, bestBound=108
228.98/224.77
229.18/224.90 num=408, depth=20..31, filters=128890708, revisions=(165320039,useless=64016396), ccks=310703611, wck=222.359, mem=134M942
229.18/224.90 decisions=2050389, wrong=1020377, backtracks=783909, failedAssignments=635961, nogoods=2973, foundSolutions=26, bestBound=108
229.18/224.90
229.29/225.03 num=409, depth=19..30, filters=128960560, revisions=(165416753,useless=64055412), ccks=310862815, wck=222.488, mem=134M942
229.29/225.03 decisions=2051504, wrong=1020924, backtracks=784289, failedAssignments=636301, nogoods=2979, foundSolutions=26, bestBound=108
229.29/225.03
229.48/225.20 num=410, depth=20..32, filters=129056075, revisions=(165546143,useless=64109265), ccks=311082653, wck=222.664, mem=134M942
229.48/225.20 decisions=2052801, wrong=1021561, backtracks=784810, failedAssignments=636675, nogoods=2988, foundSolutions=26, bestBound=108
229.48/225.20
229.58/225.36 num=411, depth=19..31, filters=129143047, revisions=(165664580,useless=64157055), ccks=311275489, wck=222.821, mem=134M942
229.58/225.36 decisions=2054196, wrong=1022247, backtracks=785361, failedAssignments=637086, nogoods=2995, foundSolutions=26, bestBound=108
229.58/225.36
229.78/225.53 num=412, depth=19..30, filters=129233576, revisions=(165788929,useless=64207918), ccks=311467193, wck=222.987, mem=134M942
229.78/225.53 decisions=2055655, wrong=1022966, backtracks=785906, failedAssignments=637538, nogoods=3003, foundSolutions=26, bestBound=108
229.78/225.53
229.98/225.71 num=413, depth=19..32, filters=129337589, revisions=(165932529,useless=64267307), ccks=311698740, wck=223.173, mem=134M942
229.98/225.71 decisions=2057452, wrong=1023853, backtracks=786591, failedAssignments=638035, nogoods=3010, foundSolutions=26, bestBound=108
229.98/225.71
230.08/225.89 num=414, depth=19..31, filters=129433682, revisions=(166067802,useless=64326131), ccks=311932207, wck=223.348, mem=134M942
230.08/225.89 decisions=2059178, wrong=1024705, backtracks=787306, failedAssignments=638582, nogoods=3021, foundSolutions=26, bestBound=108
230.08/225.89
230.39/226.12 num=415, depth=19..31, filters=129562311, revisions=(166237123,useless=64394458), ccks=312225588, wck=223.582, mem=134M942
230.39/226.12 decisions=2061209, wrong=1025710, backtracks=788069, failedAssignments=639184, nogoods=3027, foundSolutions=26, bestBound=108
230.39/226.12
230.58/226.33 num=416, depth=18..30, filters=129683468, revisions=(166404112,useless=64463295), ccks=312488957, wck=223.795, mem=134M942
230.58/226.33 decisions=2063317, wrong=1026752, backtracks=788854, failedAssignments=639846, nogoods=3030, foundSolutions=26, bestBound=108
230.58/226.33
230.88/226.60 num=417, depth=19..31, filters=129833231, revisions=(166609146,useless=64549139), ccks=312858416, wck=224.062, mem=134M942
230.88/226.60 decisions=2065745, wrong=1027955, backtracks=789816, failedAssignments=640574, nogoods=3037, foundSolutions=26, bestBound=108
230.88/226.60
231.18/226.91 num=418, depth=18..29, filters=130009189, revisions=(166836129,useless=64639913), ccks=313256981, wck=224.37, mem=134M942
231.18/226.91 decisions=2068423, wrong=1029283, backtracks=790859, failedAssignments=641375, nogoods=3050, foundSolutions=26, bestBound=108
231.18/226.91
231.48/227.22 num=419, depth=19..31, filters=130185771, revisions=(167065204,useless=64730902), ccks=313677089, wck=224.68, mem=134M942
231.48/227.22 decisions=2071194, wrong=1030658, backtracks=791892, failedAssignments=642256, nogoods=3061, foundSolutions=26, bestBound=108
231.48/227.22
231.78/227.52 num=420, depth=17..32, filters=130354350, revisions=(167290428,useless=64823759), ccks=314102557, wck=224.979, mem=134M942
231.78/227.52 decisions=2074514, wrong=1032306, backtracks=793137, failedAssignments=643226, nogoods=3068, foundSolutions=26, bestBound=108
231.78/227.52
232.18/227.92 num=421, depth=17..32, filters=130584352, revisions=(167588964,useless=64942872), ccks=314644562, wck=225.383, mem=134M942
232.18/227.92 decisions=2077936, wrong=1034005, backtracks=794554, failedAssignments=644293, nogoods=3077, foundSolutions=26, bestBound=108
232.18/227.92
232.58/228.37 num=422, depth=17..32, filters=130844009, revisions=(167922511,useless=65074239), ccks=315267740, wck=225.834, mem=134M942
232.58/228.37 decisions=2081818, wrong=1035935, backtracks=796074, failedAssignments=645466, nogoods=3085, foundSolutions=26, bestBound=108
232.58/228.37
233.08/228.88 num=423, depth=17..32, filters=131129173, revisions=(168294125,useless=65224237), ccks=315947573, wck=226.338, mem=134M942
233.08/228.88 decisions=2086088, wrong=1038058, backtracks=797827, failedAssignments=646757, nogoods=3092, foundSolutions=26, bestBound=108
233.08/228.88
233.58/229.37 num=424, depth=17..33, filters=131417005, revisions=(168663159,useless=65366994), ccks=316591304, wck=226.827, mem=134M942
233.58/229.37 decisions=2090791, wrong=1040398, backtracks=799605, failedAssignments=648177, nogoods=3105, foundSolutions=26, bestBound=108
233.58/229.37
234.08/229.89 num=425, depth=17..31, filters=131723693, revisions=(169057363,useless=65519782), ccks=317269111, wck=227.348, mem=134M942
234.08/229.89 decisions=2095754, wrong=1042869, backtracks=801357, failedAssignments=649739, nogoods=3113, foundSolutions=26, bestBound=108
234.08/229.89
234.68/230.44 num=426, depth=17..31, filters=132045131, revisions=(169468753,useless=65676684), ccks=317997108, wck=227.898, mem=134M942
234.68/230.44 decisions=2101237, wrong=1045599, backtracks=803339, failedAssignments=651457, nogoods=3128, foundSolutions=26, bestBound=108
234.68/230.44
235.29/231.09 num=427, depth=17..32, filters=132424342, revisions=(169953073,useless=65864370), ccks=318865219, wck=228.552, mem=134M942
235.29/231.09 decisions=2107193, wrong=1048567, backtracks=805584, failedAssignments=653347, nogoods=3136, foundSolutions=26, bestBound=108
235.29/231.09
236.08/231.83 num=428, depth=17..32, filters=132842499, revisions=(170503644,useless=66091196), ccks=319929058, wck=229.289, mem=134M942
236.08/231.83 decisions=2113922, wrong=1051921, backtracks=808386, failedAssignments=655426, nogoods=3140, foundSolutions=26, bestBound=108
236.08/231.83
236.88/232.70 num=429, depth=17..30, filters=133342977, revisions=(171129288,useless=66333968), ccks=321122914, wck=230.156, mem=134M942
236.88/232.70 decisions=2121480, wrong=1055689, backtracks=811415, failedAssignments=657713, nogoods=3151, foundSolutions=26, bestBound=108
236.88/232.70
237.88/233.60 num=430, depth=16..31, filters=133858382, revisions=(171805488,useless=66602758), ccks=322307040, wck=231.06, mem=134M942
237.88/233.60 decisions=2129467, wrong=1059672, backtracks=814553, failedAssignments=660229, nogoods=3159, foundSolutions=26, bestBound=108
237.88/233.60
238.68/234.48 num=431, depth=16..30, filters=134361536, revisions=(172476956,useless=66868548), ccks=323445290, wck=231.935, mem=137M585
238.68/234.48 decisions=2137925, wrong=1063891, backtracks=817548, failedAssignments=662997, nogoods=3164, foundSolutions=26, bestBound=108
238.68/234.48
239.78/235.55 num=432, depth=18..31, filters=134972846, revisions=(173266406,useless=67172640), ccks=324865425, wck=233.006, mem=137M585
239.78/235.55 decisions=2147384, wrong=1068610, backtracks=821439, failedAssignments=666041, nogoods=3171, foundSolutions=26, bestBound=108
239.78/235.55
240.98/236.77 num=433, depth=17..32, filters=135634502, revisions=(174159078,useless=67554712), ccks=326617617, wck=234.228, mem=137M585
240.98/236.77 decisions=2158581, wrong=1074199, backtracks=826325, failedAssignments=669390, nogoods=3184, foundSolutions=26, bestBound=108
240.98/236.77
242.39/238.16 num=434, depth=17..30, filters=136441141, revisions=(175200592,useless=67951070), ccks=328454808, wck=235.623, mem=137M585
242.39/238.16 decisions=2169967, wrong=1079881, backtracks=830878, failedAssignments=673074, nogoods=3194, foundSolutions=26, bestBound=108
242.39/238.16
244.08/239.85 num=435, depth=17..34, filters=137412213, revisions=(176425578,useless=68414674), ccks=330700131, wck=237.311, mem=137M585
244.08/239.85 decisions=2183321, wrong=1086547, backtracks=836429, failedAssignments=677126, nogoods=3203, foundSolutions=26, bestBound=108
244.08/239.85
245.68/241.43 num=436, depth=17..32, filters=138323906, revisions=(177599706,useless=68861147), ccks=332726309, wck=238.886, mem=137M585
245.68/241.43 decisions=2196936, wrong=1093344, backtracks=841573, failedAssignments=681583, nogoods=3214, foundSolutions=26, bestBound=108
245.68/241.43
247.48/243.23 num=437, depth=17..31, filters=139347687, revisions=(178898191,useless=69353835), ccks=335038275, wck=240.692, mem=137M585
247.48/243.23 decisions=2212522, wrong=1101127, backtracks=847933, failedAssignments=686486, nogoods=3228, foundSolutions=26, bestBound=108
247.48/243.23
249.48/245.27 num=438, depth=17..31, filters=140515468, revisions=(180377344,useless=69914529), ccks=337742925, wck=242.734, mem=137M585
249.48/245.27 decisions=2229413, wrong=1109562, backtracks=854725, failedAssignments=691880, nogoods=3240, foundSolutions=26, bestBound=108
249.48/245.27
251.08/246.81 num=439, depth=12..32, filters=141304497, revisions=(181633226,useless=70548928), ccks=339989653, wck=244.272, mem=137M585
251.08/246.81 decisions=2250548, wrong=1120119, backtracks=863597, failedAssignments=697813, nogoods=3246, foundSolutions=26, bestBound=108
251.08/246.81
253.48/249.20 num=440, depth=17..31, filters=142659050, revisions=(183364152,useless=71210918), ccks=343039712, wck=246.657, mem=140M227
253.48/249.20 decisions=2271150, wrong=1130410, backtracks=872100, failedAssignments=704339, nogoods=3258, foundSolutions=26, bestBound=108
253.48/249.20
255.98/251.76 num=441, depth=17..33, filters=144170798, revisions=(185280548,useless=71941503), ccks=346512194, wck=249.221, mem=140M227
255.98/251.76 decisions=2294263, wrong=1141956, backtracks=881040, failedAssignments=711518, nogoods=3273, foundSolutions=26, bestBound=108
255.98/251.76
258.58/254.36 num=442, depth=16..32, filters=145671033, revisions=(187195195,useless=72666980), ccks=350007125, wck=251.817, mem=140M227
258.58/254.36 decisions=2319341, wrong=1154484, backtracks=890729, failedAssignments=719415, nogoods=3281, foundSolutions=26, bestBound=108
258.58/254.36
262.08/257.80 num=443, depth=16..33, filters=147695925, revisions=(189772580,useless=73652851), ccks=354513450, wck=255.261, mem=140M227
262.08/257.80 decisions=2347904, wrong=1168756, backtracks=902333, failedAssignments=728102, nogoods=3295, foundSolutions=26, bestBound=108
262.08/257.80
265.40/261.14 num=444, depth=16..32, filters=149557849, revisions=(192201409,useless=74610760), ccks=359232512, wck=258.598, mem=140M227
265.40/261.14 decisions=2379629, wrong=1184608, backtracks=915705, failedAssignments=737657, nogoods=3308, foundSolutions=26, bestBound=108
265.40/261.14
269.40/265.20 num=445, depth=16..32, filters=151865615, revisions=(195119333,useless=75708466), ccks=364679491, wck=262.656, mem=140M227
269.40/265.20 decisions=2413992, wrong=1201779, backtracks=929896, failedAssignments=748168, nogoods=3318, foundSolutions=26, bestBound=108
269.40/265.20
273.69/269.43 num=446, depth=16..32, filters=154316443, revisions=(198244961,useless=76885239), ccks=370381947, wck=266.891, mem=142M778
273.69/269.43 decisions=2451056, wrong=1220300, backtracks=944725, failedAssignments=759730, nogoods=3325, foundSolutions=26, bestBound=108
273.69/269.43
278.49/274.29 num=447, depth=16..33, filters=157133101, revisions=(201840189,useless=78263342), ccks=376932096, wck=271.755, mem=142M778
278.49/274.29 decisions=2493327, wrong=1241427, backtracks=961769, failedAssignments=772448, nogoods=3337, foundSolutions=26, bestBound=108
278.49/274.29
283.79/279.56 num=448, depth=16..32, filters=160150894, revisions=(205704877,useless=79763453), ccks=384003188, wck=277.016, mem=142M778
283.79/279.56 decisions=2539297, wrong=1264402, backtracks=980810, failedAssignments=786438, nogoods=3346, foundSolutions=26, bestBound=108
283.79/279.56
289.74/285.45 num=449, depth=15..32, filters=163633671, revisions=(210064635,useless=81390920), ccks=392058847, wck=282.906, mem=26M72
289.74/285.45 decisions=2589457, wrong=1289472, backtracks=1000173, failedAssignments=801827, nogoods=3363, foundSolutions=26, bestBound=108
289.74/285.45
295.74/291.45 num=450, depth=15..34, filters=167101071, revisions=(214479313,useless=83099802), ccks=399971423, wck=288.907, mem=26M72
295.74/291.45 decisions=2644732, wrong=1317099, backtracks=1022285, failedAssignments=818755, nogoods=3376, foundSolutions=26, bestBound=108
295.74/291.45
304.64/300.37 num=451, depth=14..33, filters=172307632, revisions=(220781457,useless=85472027), ccks=411732597, wck=297.835, mem=28M661
304.64/300.37 decisions=2709285, wrong=1349364, backtracks=1049303, failedAssignments=837376, nogoods=3383, foundSolutions=26, bestBound=108
304.64/300.37
310.84/306.53 num=452, depth=0..34, filters=175684285, revisions=(225948909,useless=87976998), ccks=420425532, wck=303.986, mem=28M661
310.84/306.53 decisions=2781418, wrong=1385419, backtracks=1075061, failedAssignments=857860, nogoods=3387, foundSolutions=26, bestBound=108
310.84/306.53
319.24/314.90 num=453, depth=15..33, filters=180534792, revisions=(232123768,useless=90384313), ccks=431887373, wck=312.362, mem=28M661
319.24/314.90 decisions=2855352, wrong=1422375, backtracks=1106621, failedAssignments=880392, nogoods=3398, foundSolutions=26, bestBound=108
319.24/314.90
325.14/320.88 num=454, depth=9..34, filters=183693760, revisions=(237329267,useless=93175813), ccks=440373367, wck=318.344, mem=31M251
325.14/320.88 decisions=2948884, wrong=1469133, backtracks=1142913, failedAssignments=905177, nogoods=3406, foundSolutions=26, bestBound=108
325.14/320.88
334.24/329.98 num=455, depth=15..38, filters=189044741, revisions=(244260465,useless=95848637), ccks=452471622, wck=327.437, mem=33M840
334.24/329.98 decisions=3041131, wrong=1515246, backtracks=1177172, failedAssignments=932441, nogoods=3420, foundSolutions=26, bestBound=108
334.24/329.98
345.15/340.81 num=456, depth=16..32, filters=195350467, revisions=(252377504,useless=99077843), ccks=467795845, wck=338.272, mem=33M840
345.15/340.81 decisions=3143460, wrong=1566400, backtracks=1216787, failedAssignments=962431, nogoods=3434, foundSolutions=26, bestBound=108
345.15/340.81
354.16/349.85 num=457, depth=0..38, filters=199817919, revisions=(260435855,useless=103551046), ccks=481547917, wck=347.314, mem=36M430
354.16/349.85 decisions=3269699, wrong=1629509, backtracks=1262906, failedAssignments=995420, nogoods=3442, foundSolutions=26, bestBound=108
354.16/349.85
369.36/365.05 num=458, depth=11..44, filters=208569236, revisions=(274134636,useless=110092384), ccks=500671790, wck=362.51, mem=39M19
369.36/365.05 decisions=3410542, wrong=1699920, backtracks=1318253, failedAssignments=1031708, nogoods=3450, foundSolutions=26, bestBound=108
369.36/365.05
385.26/381.00 num=459, depth=14..34, filters=218102862, revisions=(285989893,useless=114586844), ccks=522423259, wck=378.465, mem=41M609
385.26/381.00 decisions=3541268, wrong=1765273, backtracks=1370012, failedAssignments=1071625, nogoods=3459, foundSolutions=26, bestBound=108
385.26/381.00
401.27/396.96 num=460, depth=14..38, filters=227425977, revisions=(297917832,useless=119222982), ccks=542512742, wck=394.424, mem=44M198
401.27/396.96 decisions=3691707, wrong=1840482, backtracks=1429901, failedAssignments=1115534, nogoods=3472, foundSolutions=26, bestBound=108
401.27/396.96
420.17/415.88 num=461, depth=14..45, filters=238912341, revisions=(312080292,useless=124542366), ccks=567968545, wck=413.335, mem=46M787
420.17/415.88 decisions=3853838, wrong=1921537, backtracks=1493656, failedAssignments=1163834, nogoods=3493, foundSolutions=26, bestBound=108
420.17/415.88
438.57/434.25 num=462, depth=14..43, filters=249745106, revisions=(326422955,useless=130233294), ccks=590500957, wck=431.708, mem=49M377
438.57/434.25 decisions=4037109, wrong=2013161, backtracks=1561043, failedAssignments=1216964, nogoods=3507, foundSolutions=26, bestBound=108
438.57/434.25
460.18/455.80 num=463, depth=14..33, filters=262653293, revisions=(343018301,useless=136742665), ccks=619476479, wck=453.261, mem=51M966
460.18/455.80 decisions=4232794, wrong=2110993, backtracks=1638286, failedAssignments=1275407, nogoods=3517, foundSolutions=26, bestBound=108
460.18/455.80
483.58/479.22 num=464, depth=14..40, filters=276489547, revisions=(361175305,useless=143921519), ccks=648652045, wck=476.677, mem=57M145
483.58/479.22 decisions=4457086, wrong=2223129, backtracks=1723241, failedAssignments=1339694, nogoods=3524, foundSolutions=26, bestBound=108
483.58/479.22
510.50/506.12 num=465, depth=14..35, filters=292696548, revisions=(381422179,useless=151467645), ccks=683818569, wck=503.581, mem=59M735
510.50/506.12 decisions=4697475, wrong=2343312, backtracks=1815952, failedAssignments=1410410, nogoods=3534, foundSolutions=26, bestBound=108
510.50/506.12
539.41/535.03 num=466, depth=14..40, filters=309819621, revisions=(404049590,useless=160453063), ccks=718899685, wck=532.49, mem=64M914
539.41/535.03 decisions=4973307, wrong=2481218, backtracks=1917841, failedAssignments=1488197, nogoods=3556, foundSolutions=26, bestBound=108
539.41/535.03
574.42/570.03 num=467, depth=13..32, filters=330655190, revisions=(430064531,useless=170340421), ccks=765150931, wck=567.489, mem=70M93
574.42/570.03 decisions=5273616, wrong=2631362, backtracks=2035850, failedAssignments=1573763, nogoods=3572, foundSolutions=26, bestBound=108
574.42/570.03
606.53/602.14 num=468, depth=0..44, filters=348992360, revisions=(456477787,useless=182028176), ccks=806563500, wck=599.603, mem=75M271
606.53/602.14 decisions=5616484, wrong=2802785, backtracks=2161175, failedAssignments=1667886, nogoods=3584, foundSolutions=26, bestBound=108
606.53/602.14
649.03/644.68 num=469, depth=13..34, filters=374235647, revisions=(487691661,useless=193727545), ccks=863193872, wck=642.14, mem=80M450
649.03/644.68 decisions=5974526, wrong=2981796, backtracks=2301700, failedAssignments=1771421, nogoods=3594, foundSolutions=26, bestBound=108
649.03/644.68
680.54/676.11 num=470, depth=0..47, filters=392561861, revisions=(529041701,useless=218117240), ccks=903026701, wck=673.573, mem=88M219
680.54/676.11 decisions=6440733, wrong=3214892, backtracks=2467882, failedAssignments=1885310, nogoods=3608, foundSolutions=26, bestBound=108
680.54/676.11
732.56/728.12 num=471, depth=12..42, filters=423040251, revisions=(567029085,useless=232448645), ccks=972889911, wck=725.58, mem=95M987
732.56/728.12 decisions=6891026, wrong=3440028, backtracks=2659549, failedAssignments=2010588, nogoods=3618, foundSolutions=26, bestBound=108
732.56/728.12
790.67/786.25 num=472, depth=13..43, filters=457575365, revisions=(610196081,useless=249124248), ccks=1053333004, wck=783.711, mem=103M755
790.67/786.25 decisions=7369314, wrong=3679162, backtracks=2855631, failedAssignments=2148394, nogoods=3631, foundSolutions=26, bestBound=108
790.67/786.25
852.09/847.61 num=473, depth=12..43, filters=493714786, revisions=(655754614,useless=266389116), ccks=1134047577, wck=845.069, mem=111M524
852.09/847.61 decisions=7907035, wrong=3948013, backtracks=3076903, failedAssignments=2299980, nogoods=3644, foundSolutions=26, bestBound=108
852.09/847.61
927.40/922.92 num=474, depth=13..33, filters=537618712, revisions=(711385911,useless=288143407), ccks=1237086394, wck=920.379, mem=121M881
927.40/922.92 decisions=8501447, wrong=4245211, backtracks=3331108, failedAssignments=2466725, nogoods=3666, foundSolutions=26, bestBound=108
927.40/922.92
991.22/986.73 o 88
991.22/986.73 num=475, depth=13..624, filters=574753286, revisions=(759052414,useless=306657683), ccks=1320472049, wck=984.191, mem=132M239
991.22/986.73 decisions=9049373, wrong=4519164, backtracks=3558823, failedAssignments=2623740, nogoods=3679, foundSolutions=27, bestBound=88
991.22/986.73
1074.75/1070.27 num=476, depth=13..46, filters=623534141, revisions=(822619352,useless=332092089), ccks=1418500251, wck=1067.728, mem=142M597
1074.75/1070.27 decisions=9784131, wrong=4886533, backtracks=3848470, failedAssignments=2825501, nogoods=3692, foundSolutions=27, bestBound=88
1074.75/1070.27
1074.75/1070.27 num=477, depth=21..28, filters=623536614, revisions=(822623662,useless=332094402), ccks=1418507157, wck=1067.734, mem=142M597
1074.75/1070.27 decisions=9784183, wrong=4886548, backtracks=3848482, failedAssignments=2825512, nogoods=3695, foundSolutions=27, bestBound=88
1074.75/1070.27
1074.75/1070.28 num=478, depth=18..27, filters=623539582, revisions=(822628597,useless=332096925), ccks=1418513879, wck=1067.741, mem=142M597
1074.75/1070.28 decisions=9784242, wrong=4886566, backtracks=3848495, failedAssignments=2825524, nogoods=3700, foundSolutions=27, bestBound=88
1074.75/1070.28
1074.75/1070.29 num=479, depth=21..26, filters=623543770, revisions=(822634749,useless=332099843), ccks=1418523288, wck=1067.75, mem=142M597
1074.75/1070.29 decisions=9784314, wrong=4886591, backtracks=3848514, failedAssignments=2825537, nogoods=3706, foundSolutions=27, bestBound=88
1074.75/1070.29
1074.85/1070.30 num=480, depth=21..26, filters=623547514, revisions=(822640582,useless=332102584), ccks=1418530900, wck=1067.757, mem=142M597
1074.85/1070.30 decisions=9784378, wrong=4886612, backtracks=3848527, failedAssignments=2825551, nogoods=3711, foundSolutions=27, bestBound=88
1074.85/1070.30
1074.85/1070.31 num=481, depth=21..26, filters=623552368, revisions=(822647851,useless=332105826), ccks=1418540829, wck=1067.766, mem=142M597
1074.85/1070.31 decisions=9784452, wrong=4886638, backtracks=3848546, failedAssignments=2825567, nogoods=3716, foundSolutions=27, bestBound=88
1074.85/1070.31
1074.85/1070.31 num=482, depth=20..27, filters=623556489, revisions=(822654187,useless=332108793), ccks=1418549033, wck=1067.774, mem=142M597
1074.85/1070.31 decisions=9784522, wrong=4886662, backtracks=3848563, failedAssignments=2825584, nogoods=3718, foundSolutions=27, bestBound=88
1074.85/1070.31
1074.85/1070.32 num=483, depth=20..26, filters=623560683, revisions=(822660721,useless=332111858), ccks=1418557520, wck=1067.782, mem=142M597
1074.85/1070.32 decisions=9784599, wrong=4886690, backtracks=3848583, failedAssignments=2825603, nogoods=3720, foundSolutions=27, bestBound=88
1074.85/1070.32
1074.85/1070.33 num=484, depth=20..26, filters=623566295, revisions=(822669165,useless=332115693), ccks=1418568731, wck=1067.793, mem=142M597
1074.85/1070.33 decisions=9784687, wrong=4886724, backtracks=3848612, failedAssignments=2825624, nogoods=3723, foundSolutions=27, bestBound=88
1074.85/1070.33
1074.85/1070.34 num=485, depth=20..26, filters=623572222, revisions=(822677722,useless=332119394), ccks=1418580292, wck=1067.803, mem=142M597
1074.85/1070.34 decisions=9784774, wrong=4886757, backtracks=3848632, failedAssignments=2825647, nogoods=3727, foundSolutions=27, bestBound=88
1074.85/1070.34
1074.85/1070.35 num=486, depth=20..27, filters=623577405, revisions=(822685883,useless=332123289), ccks=1418590462, wck=1067.813, mem=142M597
1074.85/1070.35 decisions=9784864, wrong=4886792, backtracks=3848657, failedAssignments=2825672, nogoods=3733, foundSolutions=27, bestBound=88
1074.85/1070.35
1074.85/1070.37 num=487, depth=19..26, filters=623585934, revisions=(822697903,useless=332128448), ccks=1418606186, wck=1067.828, mem=142M597
1074.85/1070.37 decisions=9784975, wrong=4886837, backtracks=3848693, failedAssignments=2825700, nogoods=3736, foundSolutions=27, bestBound=88
1074.85/1070.37
1074.85/1070.38 num=488, depth=19..27, filters=623593714, revisions=(822708758,useless=332133160), ccks=1418622265, wck=1067.843, mem=142M597
1074.85/1070.38 decisions=9785092, wrong=4886885, backtracks=3848727, failedAssignments=2825731, nogoods=3740, foundSolutions=27, bestBound=88
1074.85/1070.38
1074.95/1070.40 num=489, depth=19..28, filters=623602863, revisions=(822721900,useless=332138905), ccks=1418640393, wck=1067.86, mem=142M597
1074.95/1070.40 decisions=9785219, wrong=4886938, backtracks=3848772, failedAssignments=2825765, nogoods=3749, foundSolutions=27, bestBound=88
1074.95/1070.40
1074.95/1070.42 num=490, depth=19..26, filters=623612863, revisions=(822736366,useless=332145210), ccks=1418661302, wck=1067.878, mem=145M187
1074.95/1070.42 decisions=9785362, wrong=4886999, backtracks=3848822, failedAssignments=2825802, nogoods=3754, foundSolutions=27, bestBound=88
1074.95/1070.42
1074.95/1070.44 num=491, depth=19..27, filters=623623175, revisions=(822750685,useless=332151266), ccks=1418680769, wck=1067.895, mem=145M187
1074.95/1070.44 decisions=9785510, wrong=4887063, backtracks=3848874, failedAssignments=2825843, nogoods=3761, foundSolutions=27, bestBound=88
1074.95/1070.44
1074.95/1070.46 num=492, depth=19..28, filters=623634903, revisions=(822766890,useless=332158163), ccks=1418704813, wck=1067.917, mem=145M187
1074.95/1070.46 decisions=9785668, wrong=4887131, backtracks=3848930, failedAssignments=2825888, nogoods=3766, foundSolutions=27, bestBound=88
1074.95/1070.46
1074.95/1070.48 num=493, depth=19..27, filters=623647667, revisions=(822783990,useless=332165188), ccks=1418729268, wck=1067.94, mem=145M187
1074.95/1070.48 decisions=9785848, wrong=4887210, backtracks=3848985, failedAssignments=2825938, nogoods=3770, foundSolutions=27, bestBound=88
1074.95/1070.48
1075.05/1070.50 num=494, depth=18..28, filters=623661329, revisions=(822803393,useless=332173256), ccks=1418757305, wck=1067.965, mem=145M187
1075.05/1070.50 decisions=9786033, wrong=4887291, backtracks=3849045, failedAssignments=2825993, nogoods=3775, foundSolutions=27, bestBound=88
1075.05/1070.50
1075.05/1070.53 num=495, depth=18..29, filters=623677529, revisions=(822825760,useless=332182516), ccks=1418791884, wck=1067.994, mem=145M187
1075.05/1070.53 decisions=9786258, wrong=4887393, backtracks=3849125, failedAssignments=2826054, nogoods=3786, foundSolutions=27, bestBound=88
1075.05/1070.53
1075.05/1070.56 num=496, depth=18..29, filters=623693667, revisions=(822848197,useless=332191623), ccks=1418827942, wck=1068.024, mem=145M187
1075.05/1070.56 decisions=9786487, wrong=4887496, backtracks=3849202, failedAssignments=2826121, nogoods=3794, foundSolutions=27, bestBound=88
1075.05/1070.56
1075.15/1070.60 num=497, depth=18..27, filters=623712257, revisions=(822873955,useless=332202016), ccks=1418864677, wck=1068.057, mem=145M187
1075.15/1070.60 decisions=9786734, wrong=4887609, backtracks=3849284, failedAssignments=2826195, nogoods=3805, foundSolutions=27, bestBound=88
1075.15/1070.60
1075.15/1070.63 num=498, depth=18..29, filters=623731223, revisions=(822899842,useless=332212080), ccks=1418902381, wck=1068.09, mem=145M187
1075.15/1070.63 decisions=9786996, wrong=4887729, backtracks=3849375, failedAssignments=2826276, nogoods=3811, foundSolutions=27, bestBound=88
1075.15/1070.63
1075.15/1070.67 num=499, depth=18..28, filters=623751913, revisions=(822928460,useless=332223566), ccks=1418943163, wck=1068.127, mem=145M187
1075.15/1070.67 decisions=9787279, wrong=4887860, backtracks=3849467, failedAssignments=2826365, nogoods=3821, foundSolutions=27, bestBound=88
1075.15/1070.67
1075.25/1070.71 num=500, depth=19..27, filters=623774856, revisions=(822960920,useless=332236807), ccks=1418990307, wck=1068.167, mem=145M187
1075.25/1070.71 decisions=9787613, wrong=4888017, backtracks=3849585, failedAssignments=2826463, nogoods=3830, foundSolutions=27, bestBound=88
1075.25/1070.71
1075.25/1070.75 num=501, depth=18..29, filters=623800467, revisions=(822995919,useless=332250941), ccks=1419042027, wck=1068.212, mem=145M187
1075.25/1070.75 decisions=9787984, wrong=4888191, backtracks=3849722, failedAssignments=2826571, nogoods=3841, foundSolutions=27, bestBound=88
1075.25/1070.75
1075.35/1070.80 num=502, depth=20..28, filters=623826400, revisions=(823031640,useless=332265462), ccks=1419093034, wck=1068.258, mem=145M187
1075.35/1070.80 decisions=9788356, wrong=4888367, backtracks=3849864, failedAssignments=2826690, nogoods=3848, foundSolutions=27, bestBound=88
1075.35/1070.80
1075.35/1070.84 num=503, depth=18..28, filters=623853054, revisions=(823067598,useless=332279426), ccks=1419146440, wck=1068.305, mem=145M187
1075.35/1070.84 decisions=9788779, wrong=4888567, backtracks=3850011, failedAssignments=2826821, nogoods=3854, foundSolutions=27, bestBound=88
1075.35/1070.84
1075.35/1070.90 num=504, depth=18..27, filters=623882470, revisions=(823109243,useless=332297193), ccks=1419204005, wck=1068.356, mem=145M187
1075.35/1070.90 decisions=9789261, wrong=4888797, backtracks=3850187, failedAssignments=2826965, nogoods=3862, foundSolutions=27, bestBound=88
1075.35/1070.90
1075.45/1070.97 num=505, depth=18..27, filters=623922451, revisions=(823162823,useless=332318483), ccks=1419288961, wck=1068.426, mem=145M187
1075.45/1070.97 decisions=9789784, wrong=4889048, backtracks=3850382, failedAssignments=2827123, nogoods=3866, foundSolutions=27, bestBound=88
1075.45/1070.97
1075.56/1071.03 num=506, depth=19..29, filters=623959638, revisions=(823212522,useless=332337920), ccks=1419359535, wck=1068.489, mem=145M187
1075.56/1071.03 decisions=9790351, wrong=4889320, backtracks=3850581, failedAssignments=2827297, nogoods=3870, foundSolutions=27, bestBound=88
1075.56/1071.03
1075.56/1071.10 num=507, depth=19..29, filters=624004210, revisions=(823272551,useless=332361365), ccks=1419446483, wck=1068.565, mem=145M187
1075.56/1071.10 decisions=9790986, wrong=4889627, backtracks=3850818, failedAssignments=2827488, nogoods=3877, foundSolutions=27, bestBound=88
1075.56/1071.10
1075.66/1071.20 num=508, depth=18..28, filters=624057213, revisions=(823343477,useless=332389548), ccks=1419553504, wck=1068.656, mem=145M187
1075.66/1071.20 decisions=9791666, wrong=4889956, backtracks=3851084, failedAssignments=2827699, nogoods=3886, foundSolutions=27, bestBound=88
1075.66/1071.20
1075.75/1071.29 num=509, depth=18..28, filters=624108828, revisions=(823413935,useless=332418321), ccks=1419658391, wck=1068.748, mem=145M187
1075.75/1071.29 decisions=9792453, wrong=4890339, backtracks=3851362, failedAssignments=2827931, nogoods=3896, foundSolutions=27, bestBound=88
1075.75/1071.29
1075.85/1071.38 num=510, depth=17..28, filters=624163141, revisions=(823488179,useless=332448650), ccks=1419765174, wck=1068.844, mem=145M187
1075.85/1071.38 decisions=9793380, wrong=4890792, backtracks=3851669, failedAssignments=2828186, nogoods=3903, foundSolutions=27, bestBound=88
1075.85/1071.38
1075.95/1071.47 num=511, depth=14..30, filters=624213297, revisions=(823564060,useless=332480810), ccks=1419856706, wck=1068.925, mem=145M187
1075.95/1071.47 decisions=9794446, wrong=4891316, backtracks=3852010, failedAssignments=2828467, nogoods=3910, foundSolutions=27, bestBound=88
1075.95/1071.47
1076.06/1071.59 num=512, depth=18..31, filters=624288921, revisions=(823662869,useless=332519102), ccks=1420007597, wck=1069.054, mem=145M187
1076.06/1071.59 decisions=9795457, wrong=4891811, backtracks=3852395, failedAssignments=2828776, nogoods=3917, foundSolutions=27, bestBound=88
1076.06/1071.59
1076.26/1071.72 num=513, depth=18..29, filters=624358793, revisions=(823755257,useless=332555296), ccks=1420150666, wck=1069.175, mem=145M187
1076.26/1071.72 decisions=9796587, wrong=4892365, backtracks=3852786, failedAssignments=2829116, nogoods=3925, foundSolutions=27, bestBound=88
1076.26/1071.72
1076.36/1071.88 num=514, depth=17..30, filters=624455828, revisions=(823881560,useless=332602200), ccks=1420347419, wck=1069.339, mem=145M187
1076.36/1071.88 decisions=9797845, wrong=4892983, backtracks=3853259, failedAssignments=2829490, nogoods=3933, foundSolutions=27, bestBound=88
1076.36/1071.88
1076.57/1072.04 num=515, depth=17..30, filters=624549463, revisions=(824017510,useless=332662605), ccks=1420532988, wck=1069.5, mem=145M187
1076.57/1072.04 decisions=9799259, wrong=4893679, backtracks=3853820, failedAssignments=2829901, nogoods=3947, foundSolutions=27, bestBound=88
1076.57/1072.04
1076.76/1072.21 num=516, depth=17..33, filters=624647495, revisions=(824148086,useless=332713460), ccks=1420726376, wck=1069.67, mem=145M187
1076.76/1072.21 decisions=9800873, wrong=4894475, backtracks=3854389, failedAssignments=2830353, nogoods=3963, foundSolutions=27, bestBound=88
1076.76/1072.21
1076.96/1072.41 num=517, depth=18..32, filters=624768741, revisions=(824304316,useless=332771710), ccks=1420955269, wck=1069.872, mem=145M187
1076.96/1072.41 decisions=9802611, wrong=4895334, backtracks=3855035, failedAssignments=2830850, nogoods=3970, foundSolutions=27, bestBound=88
1076.96/1072.41
1077.16/1072.61 num=518, depth=18..29, filters=624883722, revisions=(824461191,useless=332835823), ccks=1421180402, wck=1070.071, mem=145M187
1077.16/1072.61 decisions=9804531, wrong=4896283, backtracks=3855701, failedAssignments=2831397, nogoods=3979, foundSolutions=27, bestBound=88
1077.16/1072.61
1077.26/1072.75 num=519, depth=13..28, filters=624955908, revisions=(824578941,useless=332897651), ccks=1421356645, wck=1070.209, mem=145M187
1077.26/1072.75 decisions=9806722, wrong=4897369, backtracks=3856525, failedAssignments=2831999, nogoods=3983, foundSolutions=27, bestBound=88
1077.26/1072.75
1077.46/1072.99 num=520, depth=17..35, filters=625096350, revisions=(824763518,useless=332968312), ccks=1421640668, wck=1070.452, mem=145M187
1077.46/1072.99 decisions=9808981, wrong=4898488, backtracks=3857286, failedAssignments=2832661, nogoods=3994, foundSolutions=27, bestBound=88
1077.46/1072.99
1077.76/1073.26 num=521, depth=17..30, filters=625255321, revisions=(824970490,useless=333047951), ccks=1421958255, wck=1070.721, mem=145M187
1077.76/1073.26 decisions=9811477, wrong=4899725, backtracks=3858131, failedAssignments=2833389, nogoods=4002, foundSolutions=27, bestBound=88
1077.76/1073.26
1078.06/1073.56 num=522, depth=17..32, filters=625433010, revisions=(825200361,useless=333135315), ccks=1422302105, wck=1071.023, mem=145M187
1078.06/1073.56 decisions=9814246, wrong=4901098, backtracks=3859130, failedAssignments=2834190, nogoods=4015, foundSolutions=27, bestBound=88
1078.06/1073.56
1078.46/1073.90 num=523, depth=17..32, filters=625632496, revisions=(825460614,useless=333236142), ccks=1422680675, wck=1071.364, mem=145M187
1078.46/1073.90 decisions=9817343, wrong=4902635, backtracks=3860252, failedAssignments=2835071, nogoods=4024, foundSolutions=27, bestBound=88
1078.46/1073.90
1078.76/1074.28 num=524, depth=17..33, filters=625853194, revisions=(825763726,useless=333364742), ccks=1423107920, wck=1071.744, mem=145M187
1078.76/1074.28 decisions=9820893, wrong=4904400, backtracks=3861678, failedAssignments=2836041, nogoods=4033, foundSolutions=27, bestBound=88
1078.76/1074.28
1079.26/1074.72 num=525, depth=17..34, filters=626114879, revisions=(826119547,useless=333507576), ccks=1423585997, wck=1072.183, mem=145M187
1079.26/1074.72 decisions=9824795, wrong=4906341, backtracks=3863128, failedAssignments=2837108, nogoods=4043, foundSolutions=27, bestBound=88
1079.26/1074.72
1079.67/1075.14 num=526, depth=17..37, filters=626360533, revisions=(826464697,useless=333651578), ccks=1424044614, wck=1072.599, mem=145M187
1079.67/1075.14 decisions=9828811, wrong=4908338, backtracks=3864589, failedAssignments=2838281, nogoods=4054, foundSolutions=27, bestBound=88
1079.67/1075.14
1080.16/1075.65 num=527, depth=17..32, filters=626666510, revisions=(826862139,useless=333802918), ccks=1424651630, wck=1073.11, mem=145M187
1080.16/1075.65 decisions=9833151, wrong=4910496, backtracks=3866240, failedAssignments=2839572, nogoods=4065, foundSolutions=27, bestBound=88
1080.16/1075.65
1080.67/1076.17 num=528, depth=17..32, filters=626970646, revisions=(827267453,useless=333965755), ccks=1425251338, wck=1073.632, mem=145M187
1080.67/1076.17 decisions=9838401, wrong=4913110, backtracks=3868103, failedAssignments=2840992, nogoods=4073, foundSolutions=27, bestBound=88
1080.67/1076.17
1081.26/1076.73 num=529, depth=17..31, filters=627308641, revisions=(827709467,useless=334132311), ccks=1425925246, wck=1074.195, mem=145M187
1081.26/1076.73 decisions=9843526, wrong=4915662, backtracks=3869930, failedAssignments=2842554, nogoods=4084, foundSolutions=27, bestBound=88
1081.26/1076.73
1081.86/1077.30 num=530, depth=17..33, filters=627631455, revisions=(828156707,useless=334319379), ccks=1426633200, wck=1074.758, mem=145M187
1081.86/1077.30 decisions=9849305, wrong=4918541, backtracks=3872256, failedAssignments=2844272, nogoods=4098, foundSolutions=27, bestBound=88
1081.86/1077.30
1082.57/1078.07 num=531, depth=17..32, filters=628088689, revisions=(828783739,useless=334573701), ccks=1427506176, wck=1075.535, mem=145M187
1082.57/1078.07 decisions=9855998, wrong=4921878, backtracks=3874736, failedAssignments=2846162, nogoods=4112, foundSolutions=27, bestBound=88
1082.57/1078.07
1083.36/1078.81 num=532, depth=17..36, filters=628533514, revisions=(829369908,useless=334796196), ccks=1428374717, wck=1076.266, mem=145M187
1083.36/1078.81 decisions=9862707, wrong=4925221, backtracks=3877162, failedAssignments=2848241, nogoods=4122, foundSolutions=27, bestBound=88
1083.36/1078.81
1084.17/1079.63 num=533, depth=17..36, filters=629018626, revisions=(830014219,useless=335047156), ccks=1429313708, wck=1077.087, mem=147M777
1084.17/1079.63 decisions=9870380, wrong=4929047, backtracks=3879969, failedAssignments=2850528, nogoods=4132, foundSolutions=27, bestBound=88
1084.17/1079.63
1085.27/1080.73 num=534, depth=16..34, filters=629677869, revisions=(830868205,useless=335372951), ccks=1430682539, wck=1078.187, mem=147M777
1085.27/1080.73 decisions=9879317, wrong=4933504, backtracks=3883690, failedAssignments=2853044, nogoods=4142, foundSolutions=27, bestBound=88
1085.27/1080.73
1086.27/1081.76 num=535, depth=17..31, filters=630299323, revisions=(831679256,useless=335682097), ccks=1431945179, wck=1079.219, mem=147M777
1086.27/1081.76 decisions=9888257, wrong=4937963, backtracks=3887129, failedAssignments=2855812, nogoods=4154, foundSolutions=27, bestBound=88
1086.27/1081.76
1087.38/1082.88 num=536, depth=17..32, filters=630950074, revisions=(832560514,useless=336037469), ccks=1433200502, wck=1080.342, mem=147M777
1087.38/1082.88 decisions=9898471, wrong=4943060, backtracks=3890878, failedAssignments=2858856, nogoods=4162, foundSolutions=27, bestBound=88
1087.38/1082.88
1088.59/1084.10 num=537, depth=17..33, filters=631666617, revisions=(833517077,useless=336415667), ccks=1434554817, wck=1081.564, mem=147M777
1088.59/1084.10 decisions=9910016, wrong=4948823, backtracks=3894945, failedAssignments=2862205, nogoods=4173, foundSolutions=27, bestBound=88
1088.59/1084.10
1090.01/1085.47 num=538, depth=16..31, filters=632462258, revisions=(834573774,useless=336829974), ccks=1436183864, wck=1082.932, mem=147M777
1090.01/1085.47 decisions=9922356, wrong=4954982, backtracks=3899457, failedAssignments=2865889, nogoods=4184, foundSolutions=27, bestBound=88
1090.01/1085.47
1091.62/1087.01 num=539, depth=16..34, filters=633355464, revisions=(835778988,useless=337305936), ccks=1437968980, wck=1084.467, mem=147M777
1091.62/1087.01 decisions=9936738, wrong=4962162, backtracks=3904807, failedAssignments=2869941, nogoods=4193, foundSolutions=27, bestBound=88
1091.62/1087.01
1093.11/1088.54 num=540, depth=17..33, filters=634255579, revisions=(837009425,useless=337806513), ccks=1439740141, wck=1086.002, mem=147M777
1093.11/1088.54 decisions=9951361, wrong=4969462, backtracks=3910314, failedAssignments=2874398, nogoods=4204, foundSolutions=27, bestBound=88
1093.11/1088.54
1095.01/1090.48 num=541, depth=17..33, filters=635388696, revisions=(838483032,useless=338374680), ccks=1441980545, wck=1087.943, mem=147M777
1095.01/1090.48 decisions=9968712, wrong=4978127, backtracks=3916965, failedAssignments=2879301, nogoods=4216, foundSolutions=27, bestBound=88
1095.01/1090.48
1096.72/1092.11 num=542, depth=11..42, filters=636374957, revisions=(840094298,useless=339107889), ccks=1443860226, wck=1089.572, mem=147M777
1096.72/1092.11 decisions=9990179, wrong=4988852, backtracks=3924443, failedAssignments=2884695, nogoods=4222, foundSolutions=27, bestBound=88
1096.72/1092.11
1099.11/1094.59 num=543, depth=16..32, filters=637855225, revisions=(842048864,useless=339877892), ccks=1446604428, wck=1092.046, mem=150M366
1099.11/1094.59 decisions=10010741, wrong=4999123, backtracks=3932642, failedAssignments=2890628, nogoods=4230, foundSolutions=27, bestBound=88
1099.11/1094.59
1101.81/1097.27 num=544, depth=16..34, filters=639460295, revisions=(844154098,useless=340697574), ccks=1449905912, wck=1094.733, mem=150M366
1101.81/1097.27 decisions=10033271, wrong=5010377, backtracks=3941870, failedAssignments=2897154, nogoods=4240, foundSolutions=27, bestBound=88
1101.81/1097.27
1104.41/1099.86 num=545, depth=16..31, filters=640995898, revisions=(846188736,useless=341494168), ccks=1453060266, wck=1097.324, mem=150M366
1104.41/1099.86 decisions=10057202, wrong=5022332, backtracks=3950950, failedAssignments=2904333, nogoods=4246, foundSolutions=27, bestBound=88
1104.41/1099.86
1107.51/1102.91 num=546, depth=16..43, filters=642771804, revisions=(848564364,useless=342428833), ccks=1456579514, wck=1100.366, mem=150M366
1107.51/1102.91 decisions=10084551, wrong=5035996, backtracks=3961063, failedAssignments=2912230, nogoods=4256, foundSolutions=27, bestBound=88
1107.51/1102.91
1110.62/1106.09 num=547, depth=16..34, filters=644642940, revisions=(850997842,useless=343375816), ccks=1460159296, wck=1103.553, mem=150M366
1110.62/1106.09 decisions=10114615, wrong=5051018, backtracks=3972394, failedAssignments=2920917, nogoods=4270, foundSolutions=27, bestBound=88
1110.62/1106.09
1114.31/1109.75 num=548, depth=16..40, filters=646783752, revisions=(853889277,useless=344532418), ccks=1464350303, wck=1107.215, mem=150M366
1114.31/1109.75 decisions=10148240, wrong=5067819, backtracks=3985363, failedAssignments=2930472, nogoods=4283, foundSolutions=27, bestBound=88
1114.31/1109.75
1118.41/1113.89 num=549, depth=16..34, filters=649233386, revisions=(857135255,useless=345817586), ccks=1469221298, wck=1111.35, mem=152M956
1118.41/1113.89 decisions=10184089, wrong=5085733, backtracks=3999449, failedAssignments=2940983, nogoods=4293, foundSolutions=27, bestBound=88
1118.41/1113.89
1122.91/1118.35 num=550, depth=15..41, filters=651840553, revisions=(860589238,useless=347180026), ccks=1474470714, wck=1115.81, mem=152M956
1122.91/1118.35 decisions=10223657, wrong=5105507, backtracks=4014394, failedAssignments=2952545, nogoods=4311, foundSolutions=27, bestBound=88
1122.91/1118.35
1127.82/1123.22 num=551, depth=15..42, filters=654694343, revisions=(864310335,useless=348649528), ccks=1480186928, wck=1120.675, mem=152M956
1127.82/1123.22 decisions=10268217, wrong=5127778, backtracks=4031484, failedAssignments=2965263, nogoods=4321, foundSolutions=27, bestBound=88
1127.82/1123.22
1132.82/1128.24 num=552, depth=15..42, filters=657546190, revisions=(868442714,useless=350455937), ccks=1486037835, wck=1125.704, mem=155M545
1132.82/1128.24 decisions=10319381, wrong=5153349, backtracks=4050506, failedAssignments=2979253, nogoods=4329, foundSolutions=27, bestBound=88
1132.82/1128.24
1138.63/1134.08 num=553, depth=15..43, filters=660879178, revisions=(873063591,useless=352358490), ccks=1492607117, wck=1131.541, mem=155M545
1138.63/1134.08 decisions=10374200, wrong=5180748, backtracks=4070534, failedAssignments=2994642, nogoods=4341, foundSolutions=27, bestBound=88
1138.63/1134.08
1145.63/1141.06 num=554, depth=15..41, filters=664957270, revisions=(878371883,useless=354416959), ccks=1500823231, wck=1138.522, mem=155M545
1145.63/1141.06 decisions=10433094, wrong=5210185, backtracks=4093351, failedAssignments=3011570, nogoods=4347, foundSolutions=27, bestBound=88
1145.63/1141.06
1152.76/1148.13 num=555, depth=14..42, filters=669001231, revisions=(883998532,useless=356762619), ccks=1509085945, wck=1145.587, mem=26M197
1152.76/1148.13 decisions=10501943, wrong=5244599, backtracks=4118264, failedAssignments=3030191, nogoods=4354, foundSolutions=27, bestBound=88
1152.76/1148.13
1161.15/1156.52 num=556, depth=14..33, filters=673944045, revisions=(890479526,useless=359288861), ccks=1519043317, wck=1153.978, mem=26M197
1161.15/1156.52 decisions=10576167, wrong=5281699, backtracks=4146278, failedAssignments=3050675, nogoods=4368, foundSolutions=27, bestBound=88
1161.15/1156.52
1169.46/1164.83 num=557, depth=15..44, filters=678728200, revisions=(897202065,useless=362059199), ccks=1528832065, wck=1162.292, mem=28M805
1169.46/1164.83 decisions=10659006, wrong=5323109, backtracks=4176460, failedAssignments=3073207, nogoods=4380, foundSolutions=27, bestBound=88
1169.46/1164.83
1178.26/1173.66 num=558, depth=14..43, filters=683811751, revisions=(904253151,useless=364966452), ccks=1539057886, wck=1171.124, mem=28M805
1178.26/1173.66 decisions=10748027, wrong=5367610, backtracks=4208157, failedAssignments=3097992, nogoods=4396, foundSolutions=27, bestBound=88
1178.26/1173.66
1189.56/1185.00 num=559, depth=14..43, filters=690382954, revisions=(913824677,useless=369101765), ccks=1552292860, wck=1182.458, mem=31M413
1189.56/1185.00 decisions=10850578, wrong=5418876, backtracks=4246619, failedAssignments=3125256, nogoods=4413, foundSolutions=27, bestBound=88
1189.56/1185.00
1200.68/1196.01 num=560, depth=15..45, filters=696764442, revisions=(922983109,useless=373032728), ccks=1564924379, wck=1193.474, mem=31M413
1200.68/1196.01 decisions=10962313, wrong=5474732, backtracks=4287390, failedAssignments=3155246, nogoods=4425, foundSolutions=27, bestBound=88
1200.68/1196.01
1213.68/1209.01 num=561, depth=15..45, filters=704392264, revisions=(933142316,useless=377107011), ccks=1580357794, wck=1206.47, mem=34M21
1213.68/1209.01 decisions=11078199, wrong=5532665, backtracks=4332723, failedAssignments=3188235, nogoods=4438, foundSolutions=27, bestBound=88
1213.68/1209.01
1226.27/1221.61 num=562, depth=14..45, filters=711823928, revisions=(944062541,useless=381752024), ccks=1595305655, wck=1219.066, mem=36M629
1226.27/1221.61 decisions=11214853, wrong=5600981, backtracks=4382749, failedAssignments=3224523, nogoods=4444, foundSolutions=27, bestBound=88
1226.27/1221.61
1241.07/1236.41 num=563, depth=15..45, filters=720484815, revisions=(955705841,useless=386532198), ccks=1612368268, wck=1233.871, mem=39M237
1241.07/1236.41 decisions=11350295, wrong=5668692, backtracks=4435353, failedAssignments=3264440, nogoods=4458, foundSolutions=27, bestBound=88
1241.07/1236.41
1254.48/1249.88 num=564, depth=14..46, filters=728470339, revisions=(968007468,useless=391882939), ccks=1627918779, wck=1247.342, mem=41M845
1254.48/1249.88 decisions=11514104, wrong=5750586, backtracks=4495832, failedAssignments=3308349, nogoods=4470, foundSolutions=27, bestBound=88
1254.48/1249.88
1272.79/1268.16 num=565, depth=14..48, filters=739199077, revisions=(981739380,useless=397261012), ccks=1649208598, wck=1265.623, mem=44M453
1272.79/1268.16 decisions=11677420, wrong=5832235, backtracks=4558235, failedAssignments=3356649, nogoods=4482, foundSolutions=27, bestBound=88
1272.79/1268.16
1291.99/1287.36 num=566, depth=14..46, filters=750423206, revisions=(997409488,useless=403643524), ccks=1671394829, wck=1284.822, mem=47M61
1291.99/1287.36 decisions=11870932, wrong=5928982, backtracks=4630057, failedAssignments=3409779, nogoods=4495, foundSolutions=27, bestBound=88
1291.99/1287.36
1314.50/1309.83 num=567, depth=14..44, filters=763627192, revisions=(1014354514,useless=410182868), ccks=1697188371, wck=1307.291, mem=49M669
1314.50/1309.83 decisions=12074694, wrong=6030852, backtracks=4708089, failedAssignments=3468222, nogoods=4503, foundSolutions=27, bestBound=88
1314.50/1309.83
1338.20/1333.51 num=568, depth=14..44, filters=777672997, revisions=(1033519775,useless=417904370), ccks=1724914065, wck=1330.975, mem=54M885
1338.20/1333.51 decisions=12305726, wrong=6146359, backtracks=4795547, failedAssignments=3532509, nogoods=4513, foundSolutions=27, bestBound=88
1338.20/1333.51
1364.41/1359.70 num=569, depth=14..44, filters=792951748, revisions=(1053554089,useless=425821261), ccks=1755314399, wck=1357.165, mem=57M493
1364.41/1359.70 decisions=12554065, wrong=6270518, backtracks=4890468, failedAssignments=3603225, nogoods=4524, foundSolutions=27, bestBound=88
1364.41/1359.70
1395.42/1390.78 num=570, depth=14..45, filters=811372135, revisions=(1077337013,useless=435002093), ccks=1792146348, wck=1388.237, mem=62M709
1395.42/1390.78 decisions=12831303, wrong=6409126, backtracks=4996721, failedAssignments=3681012, nogoods=4532, foundSolutions=27, bestBound=88
1395.42/1390.78
1429.12/1424.44 num=571, depth=14..46, filters=831118579, revisions=(1103931115,useless=445737409), ccks=1832360176, wck=1421.905, mem=67M925
1429.12/1424.44 decisions=13142831, wrong=6564879, backtracks=5121671, failedAssignments=3766578, nogoods=4541, foundSolutions=27, bestBound=88
1429.12/1424.44
1464.63/1459.97 num=572, depth=13..45, filters=851831782, revisions=(1131053019,useless=456410521), ccks=1873265821, wck=1457.428, mem=73M141
1464.63/1459.97 decisions=13479427, wrong=6733166, backtracks=5246824, failedAssignments=3860701, nogoods=4551, foundSolutions=27, bestBound=88
1464.63/1459.97
1499.04/1494.35 num=573, depth=13..45, filters=871738327, revisions=(1160132996,useless=469106335), ccks=1915840085, wck=1491.807, mem=78M357
1499.04/1494.35 decisions=13866263, wrong=6926574, backtracks=5394765, failedAssignments=3964236, nogoods=4569, foundSolutions=27, bestBound=88
1499.04/1494.35
1542.77/1538.09 num=574, depth=12..47, filters=896929896, revisions=(1194009283,useless=482930231), ccks=1966047360, wck=1535.554, mem=86M181
1542.77/1538.09 decisions=14278661, wrong=7132763, backtracks=5552231, failedAssignments=4078125, nogoods=4583, foundSolutions=27, bestBound=88
1542.77/1538.09
1595.97/1591.20 num=575, depth=13..42, filters=927822975, revisions=(1234240713,useless=498737876), ccks=2029175806, wck=1588.657, mem=94M4
1595.97/1591.20 decisions=14729553, wrong=7358201, backtracks=5735736, failedAssignments=4203403, nogoods=4593, foundSolutions=27, bestBound=88
1595.97/1591.20
1645.68/1640.90 num=576, depth=12..48, filters=957069840, revisions=(1273832014,useless=514577795), ccks=2086250815, wck=1638.357, mem=101M828
1645.68/1640.90 decisions=15234057, wrong=7610445, backtracks=5920684, failedAssignments=4341209, nogoods=4606, foundSolutions=27, bestBound=88
1645.68/1640.90
1708.69/1703.97 num=577, depth=13..44, filters=994349389, revisions=(1321444162,useless=532881303), ccks=2160276627, wck=1701.432, mem=109M652
1708.69/1703.97 decisions=15787336, wrong=7887075, backtracks=6138445, failedAssignments=4492795, nogoods=4621, foundSolutions=27, bestBound=88
1708.69/1703.97
1775.42/1770.63 num=578, depth=13..47, filters=1033594098, revisions=(1372655947,useless=553122283), ccks=2236821657, wck=1768.088, mem=120M84
1775.42/1770.63 decisions=16409167, wrong=8197980, backtracks=6378995, failedAssignments=4659540, nogoods=4635, foundSolutions=27, bestBound=88
1775.42/1770.63
1843.53/1838.73 num=579, depth=12..48, filters=1073072906, revisions=(1430181425,useless=577621937), ccks=2316738889, wck=1836.186, mem=130M516
1843.53/1838.73 decisions=17104854, wrong=8545814, backtracks=6641218, failedAssignments=4842959, nogoods=4648, foundSolutions=27, bestBound=88
1843.53/1838.73
1934.35/1929.55 num=580, depth=13..47, filters=1126744005, revisions=(1498767089,useless=604626801), ccks=2425358247, wck=1927.01, mem=143M556
1934.35/1929.55 decisions=17840673, wrong=8913713, backtracks=6942534, failedAssignments=5044720, nogoods=4661, foundSolutions=27, bestBound=88
1934.35/1929.55
2012.76/2007.92 num=581, depth=12..46, filters=1172735548, revisions=(1564248989,useless=631986542), ccks=2517521424, wck=2005.381, mem=153M988
2012.76/2007.92 decisions=18657600, wrong=9322168, backtracks=7237678, failedAssignments=5266658, nogoods=4678, foundSolutions=27, bestBound=88
2012.76/2007.92
2116.62/2111.76 num=582, depth=12..49, filters=1235367774, revisions=(1642871595,useless=662094570), ccks=2646765853, wck=2109.224, mem=36M755
2116.62/2111.76 decisions=19530243, wrong=9758479, backtracks=7580742, failedAssignments=5510789, nogoods=4690, foundSolutions=27, bestBound=88
2116.62/2111.76
2220.05/2215.18 num=583, depth=12..48, filters=1295810657, revisions=(1728601448,useless=697940425), ccks=2765978208, wck=2212.64, mem=52M475
2220.05/2215.18 decisions=20524593, wrong=10255645, backtracks=7949936, failedAssignments=5779334, nogoods=4699, foundSolutions=27, bestBound=88
2220.05/2215.18
2295.86/2290.95 num=584, depth=0..48, filters=1339944723, revisions=(1830738695,useless=758267009), ccks=2864039547, wck=2288.408, mem=70M815
2295.86/2290.95 decisions=21723281, wrong=10854982, backtracks=8398844, failedAssignments=6074733, nogoods=4716, foundSolutions=27, bestBound=88
2295.86/2290.95
2436.71/2431.74 num=585, depth=11..42, filters=1422093558, revisions=(1936561868,useless=800163197), ccks=3035366714, wck=2429.203, mem=89M155
2436.71/2431.74 decisions=22924930, wrong=11455795, backtracks=8883641, failedAssignments=6399672, nogoods=4727, foundSolutions=27, bestBound=88
2436.71/2431.74
2520.04/2515.01
2520.04/2515.01 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>
2520.04/2515.01 s SATISFIABLE