2.43/1.86
2.43/1.86 AbsCon 2
2.43/1.88
2.64/2.00 Instance
2.64/2.00 name=instance-4391350-1568391779, framework=COP, bounds=-infty..+infty
2.64/2.00
2.64/2.00 Loading variables...
2.94/2.03 Loading constraints...
3.17/2.12
3.17/2.12 Domains
3.17/2.12 nTypes=2, nValues=7997, sizes=[121#55,122#11]
3.17/2.12 Variables
3.17/2.12 count=66, degrees=[2#55,10#10,11#1]
3.17/2.12 Objectives
3.17/2.12 way=min, type=ObjVarLE
3.17/2.12 Constraints
3.17/2.12 count=57, nSpecific=2, arities=[1#1,3#55,55#1]
3.17/2.12 distribution=[AllDifferent#1,CtrIntension#55,ObjVarLE#1]
3.17/2.12 nIntStructures=(1,shared:54)
3.17/2.12 wck=0.285, cpu=2.092, mem=23M870
3.17/2.13 Solver SolverBacktrack being built...
3.17/2.13
3.17/2.15
3.17/2.15 Solver
3.17/2.15 guaranteedGAC=false
3.17/2.15 wck=0.313, cpu=2.118, mem=34M513
3.17/2.15
3.17/2.15 Preprocessing
3.17/2.15 filters=0, nACremovedValues=0, nTotalRemovedValues=0, inconcistency=false
3.17/2.15 wck=0.005, cpu=2.125, mem=34M513
3.17/2.15
3.43/2.26 o 96
3.43/2.27 num=0, depth=67..65, filters=329, revisions=(540,useless=175), ccks=527315, wck=0.121, mem=34M513
3.43/2.27 decisions=11, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=1, bestBound=96
3.43/2.27
3.74/2.34 o 93
3.74/2.34 num=1, depth=67..65, filters=715, revisions=(1130,useless=331), ccks=925367, wck=0.191, mem=34M513
3.74/2.34 decisions=21, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=2, bestBound=93
3.74/2.34
4.04/2.40 num=2, depth=9..10, filters=1294, revisions=(1905,useless=480), ccks=1158071, wck=0.25, mem=34M513
4.04/2.40 decisions=52, wrong=11, backtracks=1, failedAssignments=11, nogoods=8, foundSolutions=2, bestBound=93
4.04/2.40
4.27/2.54 num=3, depth=0..1, filters=1399, revisions=(2091,useless=480), ccks=2442388, wck=0.391, mem=34M513
4.27/2.54 decisions=75, wrong=22, backtracks=1, failedAssignments=22, nogoods=10, foundSolutions=2, bestBound=93
4.27/2.54
4.37/2.66 num=4, depth=0..1, filters=1498, revisions=(2262,useless=488), ccks=3531888, wck=0.511, mem=37M155
4.37/2.66 decisions=100, wrong=34, backtracks=1, failedAssignments=34, nogoods=14, foundSolutions=2, bestBound=93
4.37/2.66
4.47/2.76 num=5, depth=1..2, filters=1670, revisions=(2533,useless=537), ccks=4434413, wck=0.614, mem=37M155
4.47/2.76 decisions=128, wrong=47, backtracks=1, failedAssignments=47, nogoods=27, foundSolutions=2, bestBound=93
4.47/2.76
4.57/2.81 num=6, depth=0..2, filters=1804, revisions=(2725,useless=574), ccks=4804036, wck=0.659, mem=37M155
4.57/2.81 decisions=158, wrong=61, backtracks=2, failedAssignments=61, nogoods=29, foundSolutions=2, bestBound=93
4.57/2.81
4.57/2.87 num=7, depth=0..2, filters=1969, revisions=(2969,useless=616), ccks=5364620, wck=0.725, mem=37M155
4.57/2.87 decisions=192, wrong=77, backtracks=3, failedAssignments=77, nogoods=34, foundSolutions=2, bestBound=93
4.57/2.87
4.68/2.93 num=8, depth=0..2, filters=2126, revisions=(3202,useless=667), ccks=5842766, wck=0.782, mem=37M155
4.68/2.93 decisions=228, wrong=94, backtracks=4, failedAssignments=94, nogoods=41, foundSolutions=2, bestBound=93
4.68/2.93
4.68/2.99 num=9, depth=0..2, filters=2304, revisions=(3470,useless=739), ccks=6314746, wck=0.838, mem=37M155
4.68/2.99 decisions=268, wrong=113, backtracks=5, failedAssignments=113, nogoods=51, foundSolutions=2, bestBound=93
4.68/2.99
4.81/3.06 num=10, depth=0..4, filters=2570, revisions=(3872,useless=852), ccks=6916226, wck=0.909, mem=37M155
4.81/3.06 decisions=314, wrong=134, backtracks=5, failedAssignments=134, nogoods=67, foundSolutions=2, bestBound=93
4.81/3.06
5.02/3.28 num=11, depth=0..2, filters=2817, revisions=(4281,useless=894), ccks=9031571, wck=1.128, mem=37M155
5.02/3.28 decisions=362, wrong=157, backtracks=6, failedAssignments=157, nogoods=76, foundSolutions=2, bestBound=93
5.02/3.28
5.12/3.37 num=12, depth=0..3, filters=3119, revisions=(4729,useless=999), ccks=9927591, wck=1.225, mem=39M798
5.12/3.37 decisions=415, wrong=182, backtracks=8, failedAssignments=182, nogoods=91, foundSolutions=2, bestBound=93
5.12/3.37
5.23/3.46 num=13, depth=1..3, filters=3511, revisions=(5317,useless=1116), ccks=10667902, wck=1.308, mem=39M798
5.23/3.46 decisions=473, wrong=210, backtracks=10, failedAssignments=210, nogoods=99, foundSolutions=2, bestBound=93
5.23/3.46
5.36/3.59 num=14, depth=0..2, filters=3756, revisions=(5675,useless=1180), ccks=11928210, wck=1.439, mem=39M798
5.36/3.59 decisions=536, wrong=241, backtracks=12, failedAssignments=241, nogoods=105, foundSolutions=2, bestBound=93
5.36/3.59
5.57/3.75 num=15, depth=2..4, filters=4209, revisions=(6322,useless=1320), ccks=12836315, wck=1.539, mem=39M798
5.57/3.75 decisions=606, wrong=275, backtracks=15, failedAssignments=275, nogoods=114, foundSolutions=2, bestBound=93
5.57/3.75
5.69/3.81 num=16, depth=1..6, filters=4927, revisions=(7373,useless=1584), ccks=13884529, wck=1.657, mem=39M798
5.69/3.81 decisions=686, wrong=312, backtracks=20, failedAssignments=312, nogoods=135, foundSolutions=2, bestBound=93
5.69/3.81
5.81/3.94 num=17, depth=0..3, filters=5574, revisions=(8430,useless=1810), ccks=15159920, wck=1.796, mem=42M440
5.81/3.94 decisions=770, wrong=353, backtracks=25, failedAssignments=353, nogoods=149, foundSolutions=2, bestBound=93
5.81/3.94
5.92/4.09 num=18, depth=2..8, filters=6435, revisions=(9600,useless=2045), ccks=16559563, wck=1.947, mem=42M440
5.92/4.09 decisions=867, wrong=398, backtracks=28, failedAssignments=398, nogoods=186, foundSolutions=2, bestBound=93
5.92/4.09
6.12/4.27 num=19, depth=0..3, filters=7284, revisions=(11010,useless=2338), ccks=18115813, wck=2.118, mem=42M440
6.12/4.27 decisions=969, wrong=448, backtracks=34, failedAssignments=448, nogoods=190, foundSolutions=2, bestBound=93
6.12/4.27
6.22/4.35 num=20, depth=2..8, filters=8447, revisions=(12464,useless=2584), ccks=18888031, wck=2.205, mem=42M440
6.22/4.35 decisions=1089, wrong=505, backtracks=39, failedAssignments=503, nogoods=221, foundSolutions=2, bestBound=93
6.22/4.35
6.44/4.54 num=21, depth=0..3, filters=9331, revisions=(13842,useless=2869), ccks=20629718, wck=2.394, mem=45M83
6.44/4.54 decisions=1216, wrong=567, backtracks=45, failedAssignments=564, nogoods=235, foundSolutions=2, bestBound=93
6.44/4.54
6.64/4.70 num=22, depth=1..7, filters=10588, revisions=(15580,useless=3223), ccks=22058409, wck=2.552, mem=45M83
6.64/4.70 decisions=1359, wrong=635, backtracks=51, failedAssignments=631, nogoods=275, foundSolutions=2, bestBound=93
6.64/4.70
6.86/4.97 num=23, depth=0..7, filters=12061, revisions=(17649,useless=3604), ccks=24623312, wck=2.824, mem=47M725
6.86/4.97 decisions=1518, wrong=712, backtracks=60, failedAssignments=705, nogoods=304, foundSolutions=2, bestBound=93
6.86/4.97
7.16/5.28 num=24, depth=0..7, filters=13625, revisions=(19948,useless=4052), ccks=27473027, wck=3.128, mem=47M725
7.16/5.28 decisions=1689, wrong=794, backtracks=70, failedAssignments=786, nogoods=332, foundSolutions=2, bestBound=93
7.16/5.28
7.46/5.56 num=25, depth=0..8, filters=15309, revisions=(22368,useless=4551), ccks=30087567, wck=3.414, mem=50M367
7.46/5.56 decisions=1878, wrong=885, backtracks=79, failedAssignments=875, nogoods=365, foundSolutions=2, bestBound=93
7.46/5.56
7.77/5.88 num=26, depth=0..5, filters=17232, revisions=(25116,useless=5033), ccks=32989700, wck=3.729, mem=53M10
7.77/5.88 decisions=2085, wrong=986, backtracks=89, failedAssignments=973, nogoods=388, foundSolutions=2, bestBound=93
7.77/5.88
7.98/6.07 num=27, depth=0..7, filters=19604, revisions=(28326,useless=5757), ccks=34766539, wck=3.925, mem=53M10
7.98/6.07 decisions=2323, wrong=1102, backtracks=109, failedAssignments=1081, nogoods=418, foundSolutions=2, bestBound=93
7.98/6.07
8.27/6.34 num=28, depth=0..8, filters=21858, revisions=(31265,useless=6259), ccks=37169200, wck=4.189, mem=55M652
8.27/6.34 decisions=2571, wrong=1223, backtracks=121, failedAssignments=1200, nogoods=453, foundSolutions=2, bestBound=93
8.27/6.34
8.47/6.58 num=29, depth=0..8, filters=24286, revisions=(34267,useless=6691), ccks=39386683, wck=4.431, mem=55M652
8.47/6.58 decisions=2840, wrong=1354, backtracks=132, failedAssignments=1331, nogoods=484, foundSolutions=2, bestBound=93
8.47/6.58
8.81/6.87 num=30, depth=0..7, filters=26539, revisions=(37417,useless=7268), ccks=41884562, wck=4.718, mem=58M295
8.81/6.87 decisions=3139, wrong=1500, backtracks=146, failedAssignments=1475, nogoods=552, foundSolutions=2, bestBound=93
8.81/6.87
8.91/6.99 num=31, depth=1..7, filters=27273, revisions=(38407,useless=7458), ccks=42910187, wck=4.841, mem=58M295
8.91/6.99 decisions=3461, wrong=1658, backtracks=153, failedAssignments=1633, nogoods=610, foundSolutions=2, bestBound=93
8.91/6.99
10.39/8.33 num=32, depth=0..8, filters=29286, revisions=(41778,useless=7725), ccks=56818184, wck=6.179, mem=60M937
10.39/8.33 decisions=3818, wrong=1833, backtracks=162, failedAssignments=1807, nogoods=644, foundSolutions=2, bestBound=93
10.39/8.33
10.69/8.60 num=33, depth=1..8, filters=33039, revisions=(46816,useless=8844), ccks=59192277, wck=6.453, mem=63M579
10.69/8.60 decisions=4209, wrong=2025, backtracks=185, failedAssignments=1998, nogoods=694, foundSolutions=2, bestBound=93
10.69/8.60
10.79/8.79 num=34, depth=0..7, filters=34167, revisions=(48373,useless=9187), ccks=60887705, wck=6.645, mem=66M222
10.79/8.79 decisions=4638, wrong=2237, backtracks=195, failedAssignments=2209, nogoods=713, foundSolutions=2, bestBound=93
10.79/8.79
11.10/9.04 num=35, depth=1..10, filters=35837, revisions=(50542,useless=9586), ccks=63154097, wck=6.894, mem=66M222
11.10/9.04 decisions=5116, wrong=2471, backtracks=205, failedAssignments=2441, nogoods=775, foundSolutions=2, bestBound=93
11.10/9.04
11.20/9.12 num=36, depth=1..6, filters=36423, revisions=(51272,useless=9707), ccks=63661154, wck=6.97, mem=66M222
11.20/9.12 decisions=5630, wrong=2726, backtracks=209, failedAssignments=2696, nogoods=853, foundSolutions=2, bestBound=93
11.20/9.12
11.29/9.20 num=37, depth=1..8, filters=37089, revisions=(52095,useless=9835), ccks=64274631, wck=7.052, mem=66M222
11.29/9.20 decisions=6197, wrong=3007, backtracks=214, failedAssignments=2977, nogoods=868, foundSolutions=2, bestBound=93
11.29/9.20
11.39/9.32 num=38, depth=1..8, filters=37965, revisions=(53198,useless=10027), ccks=65218309, wck=7.17, mem=66M222
11.39/9.32 decisions=6820, wrong=3316, backtracks=219, failedAssignments=3286, nogoods=914, foundSolutions=2, bestBound=93
11.39/9.32
12.80/10.76 num=39, depth=0..7, filters=41485, revisions=(58570,useless=10684), ccks=80072832, wck=8.609, mem=71M507
12.80/10.76 decisions=7506, wrong=3656, backtracks=233, failedAssignments=3626, nogoods=948, foundSolutions=2, bestBound=93
12.80/10.76
13.00/10.97 num=40, depth=0..6, filters=42741, revisions=(60285,useless=10994), ccks=81772837, wck=8.82, mem=74M149
13.00/10.97 decisions=8259, wrong=4031, backtracks=243, failedAssignments=4000, nogoods=1015, foundSolutions=2, bestBound=93
13.00/10.97
13.28/11.11 num=41, depth=3..8, filters=45189, revisions=(63580,useless=11764), ccks=82789372, wck=8.96, mem=74M149
13.28/11.11 decisions=9091, wrong=4444, backtracks=266, failedAssignments=4411, nogoods=1122, foundSolutions=2, bestBound=93
13.28/11.11
15.67/13.55 num=42, depth=0..8, filters=49343, revisions=(70190,useless=12257), ccks=108165921, wck=11.405, mem=82M77
15.67/13.55 decisions=10003, wrong=4896, backtracks=271, failedAssignments=4863, nogoods=1216, foundSolutions=2, bestBound=93
15.67/13.55
15.79/13.66 num=43, depth=3..8, filters=51303, revisions=(72687,useless=12705), ccks=108860720, wck=11.514, mem=82M77
15.79/13.66 decisions=11002, wrong=5393, backtracks=290, failedAssignments=5360, nogoods=1224, foundSolutions=2, bestBound=93
15.79/13.66
16.05/13.85 num=44, depth=3..9, filters=54085, revisions=(76176,useless=13300), ccks=110307430, wck=11.701, mem=84M719
16.05/13.85 decisions=12105, wrong=5941, backtracks=308, failedAssignments=5907, nogoods=1250, foundSolutions=2, bestBound=93
16.05/13.85
16.36/14.12 num=45, depth=0..9, filters=56798, revisions=(79896,useless=14197), ccks=112498802, wck=11.976, mem=84M719
16.36/14.12 decisions=13318, wrong=6545, backtracks=339, failedAssignments=6509, nogoods=1268, foundSolutions=2, bestBound=93
16.36/14.12
16.95/14.72 num=46, depth=0..10, filters=65037, revisions=(90966,useless=16398), ccks=117711706, wck=12.573, mem=90M4
16.95/14.72 decisions=14660, wrong=7213, backtracks=395, failedAssignments=7171, nogoods=1410, foundSolutions=2, bestBound=93
16.95/14.72
19.37/17.14 num=47, depth=0..8, filters=72676, revisions=(102401,useless=18199), ccks=142138053, wck=14.996, mem=97M931
19.37/17.14 decisions=16122, wrong=7941, backtracks=428, failedAssignments=7899, nogoods=1432, foundSolutions=2, bestBound=93
19.37/17.14
19.46/17.27 num=48, depth=3..8, filters=74426, revisions=(104509,useless=18535), ccks=142732193, wck=15.118, mem=100M574
19.46/17.27 decisions=17731, wrong=8743, backtracks=440, failedAssignments=8700, nogoods=1497, foundSolutions=2, bestBound=93
19.46/17.27
19.56/17.33 o 91
19.56/17.33 num=49, depth=4..65, filters=75542, revisions=(105983,useless=18864), ccks=143233497, wck=15.185, mem=100M574
19.56/17.33 decisions=18193, wrong=8969, backtracks=447, failedAssignments=8925, nogoods=1559, foundSolutions=3, bestBound=91
19.56/17.33
19.86/17.61 num=50, depth=1..10, filters=80907, revisions=(112452,useless=19814), ccks=145350080, wck=15.466, mem=103M216
19.86/17.61 decisions=20151, wrong=9944, backtracks=477, failedAssignments=9895, nogoods=1736, foundSolutions=3, bestBound=91
19.86/17.61
19.86/17.65 num=51, depth=1..4, filters=81054, revisions=(112650,useless=19852), ccks=145707851, wck=15.505, mem=103M216
19.86/17.65 decisions=20177, wrong=9955, backtracks=477, failedAssignments=9906, nogoods=1747, foundSolutions=3, bestBound=91
19.86/17.65
19.97/17.72 num=52, depth=0..2, filters=81249, revisions=(112959,useless=19915), ccks=146315300, wck=15.569, mem=103M216
19.97/17.72 decisions=20202, wrong=9967, backtracks=479, failedAssignments=9918, nogoods=1754, foundSolutions=3, bestBound=91
19.97/17.72
20.07/17.82 num=53, depth=2..3, filters=81500, revisions=(113358,useless=20011), ccks=147292459, wck=15.671, mem=103M216
20.07/17.82 decisions=20231, wrong=9980, backtracks=479, failedAssignments=9931, nogoods=1767, foundSolutions=3, bestBound=91
20.07/17.82
20.07/17.89 num=54, depth=0..2, filters=81739, revisions=(113738,useless=20097), ccks=147947171, wck=15.743, mem=103M216
20.07/17.89 decisions=20260, wrong=9994, backtracks=482, failedAssignments=9945, nogoods=1773, foundSolutions=3, bestBound=91
20.07/17.89
20.17/17.97 num=55, depth=2..3, filters=82023, revisions=(114171,useless=20200), ccks=148687935, wck=15.823, mem=103M216
20.17/17.97 decisions=20295, wrong=10010, backtracks=483, failedAssignments=9961, nogoods=1784, foundSolutions=3, bestBound=91
20.17/17.97
20.28/18.06 num=56, depth=0..3, filters=82480, revisions=(114867,useless=20345), ccks=149476343, wck=15.913, mem=103M216
20.28/18.06 decisions=20333, wrong=10028, backtracks=487, failedAssignments=9978, nogoods=1789, foundSolutions=3, bestBound=91
20.28/18.06
20.28/18.10 num=57, depth=4..7, filters=82714, revisions=(115194,useless=20422), ccks=149787389, wck=15.949, mem=103M216
20.28/18.10 decisions=20378, wrong=10047, backtracks=487, failedAssignments=9997, nogoods=1808, foundSolutions=3, bestBound=91
20.28/18.10
20.47/18.21 num=58, depth=1..5, filters=83147, revisions=(115808,useless=20545), ccks=150875497, wck=16.063, mem=105M858
20.47/18.21 decisions=20425, wrong=10068, backtracks=487, failedAssignments=10018, nogoods=1829, foundSolutions=3, bestBound=91
20.47/18.21
20.57/18.30 num=59, depth=0..3, filters=83466, revisions=(116284,useless=20656), ccks=151742218, wck=16.155, mem=105M858
20.57/18.30 decisions=20474, wrong=10091, backtracks=490, failedAssignments=10041, nogoods=1837, foundSolutions=3, bestBound=91
20.57/18.30
20.67/18.41 num=60, depth=0..3, filters=83868, revisions=(116881,useless=20804), ccks=152729540, wck=16.262, mem=105M858
20.67/18.41 decisions=20527, wrong=10116, backtracks=493, failedAssignments=10066, nogoods=1856, foundSolutions=3, bestBound=91
20.67/18.41
20.80/18.51 num=61, depth=1..3, filters=84408, revisions=(117662,useless=20979), ccks=153654736, wck=16.366, mem=105M858
20.80/18.51 decisions=20585, wrong=10144, backtracks=495, failedAssignments=10094, nogoods=1876, foundSolutions=3, bestBound=91
20.80/18.51
20.91/18.65 num=62, depth=0..3, filters=84989, revisions=(118528,useless=21161), ccks=154856082, wck=16.501, mem=105M858
20.91/18.65 decisions=20651, wrong=10176, backtracks=503, failedAssignments=10125, nogoods=1885, foundSolutions=3, bestBound=91
20.91/18.65
20.91/18.68 num=63, depth=7..7, filters=85197, revisions=(118815,useless=21228), ccks=155160702, wck=16.536, mem=105M858
20.91/18.68 decisions=20726, wrong=10210, backtracks=503, failedAssignments=10159, nogoods=1919, foundSolutions=3, bestBound=91
20.91/18.68
21.01/18.77 num=64, depth=4..8, filters=85999, revisions=(119876,useless=21449), ccks=155924149, wck=16.622, mem=108M501
21.01/18.77 decisions=20810, wrong=10248, backtracks=506, failedAssignments=10196, nogoods=1950, foundSolutions=3, bestBound=91
21.01/18.77
21.21/18.94 num=65, depth=5..6, filters=87025, revisions=(121247,useless=21699), ccks=157514584, wck=16.793, mem=108M501
21.21/18.94 decisions=20900, wrong=10290, backtracks=507, failedAssignments=10237, nogoods=1982, foundSolutions=3, bestBound=91
21.21/18.94
21.32/19.09 num=66, depth=0..6, filters=87566, revisions=(122070,useless=21916), ccks=158969275, wck=16.944, mem=108M501
21.32/19.09 decisions=20996, wrong=10335, backtracks=508, failedAssignments=10282, nogoods=2011, foundSolutions=3, bestBound=91
21.32/19.09
21.42/19.14 num=67, depth=4..8, filters=88136, revisions=(122834,useless=22078), ccks=159392313, wck=16.996, mem=108M501
21.42/19.14 decisions=21106, wrong=10386, backtracks=510, failedAssignments=10332, nogoods=2054, foundSolutions=3, bestBound=91
21.42/19.14
21.42/19.18 num=68, depth=5..8, filters=88635, revisions=(123492,useless=22216), ccks=159721724, wck=17.035, mem=111M143
21.42/19.18 decisions=21226, wrong=10442, backtracks=512, failedAssignments=10387, nogoods=2103, foundSolutions=3, bestBound=91
21.42/19.18
21.51/19.22 num=69, depth=4..8, filters=89135, revisions=(124159,useless=22356), ccks=160044762, wck=17.076, mem=111M143
21.51/19.22 decisions=21357, wrong=10504, backtracks=515, failedAssignments=10448, nogoods=2117, foundSolutions=3, bestBound=91
21.51/19.22
21.51/19.27 num=70, depth=5..8, filters=89714, revisions=(124936,useless=22519), ccks=160447846, wck=17.125, mem=111M143
21.51/19.27 decisions=21500, wrong=10572, backtracks=518, failedAssignments=10515, nogoods=2149, foundSolutions=3, bestBound=91
21.51/19.27
21.61/19.32 num=71, depth=4..7, filters=90256, revisions=(125650,useless=22656), ccks=160780919, wck=17.168, mem=111M143
21.61/19.32 decisions=21657, wrong=10647, backtracks=520, failedAssignments=10589, nogoods=2213, foundSolutions=3, bestBound=91
21.61/19.32
21.61/19.39 num=72, depth=5..8, filters=91621, revisions=(127377,useless=22946), ccks=161460120, wck=17.247, mem=111M143
21.61/19.39 decisions=21829, wrong=10729, backtracks=523, failedAssignments=10670, nogoods=2241, foundSolutions=3, bestBound=91
21.61/19.39
21.73/19.44 num=73, depth=4..7, filters=92207, revisions=(128150,useless=23093), ccks=161819044, wck=17.297, mem=111M143
21.73/19.44 decisions=22015, wrong=10819, backtracks=526, failedAssignments=10759, nogoods=2316, foundSolutions=3, bestBound=91
21.73/19.44
21.73/19.48 num=74, depth=5..8, filters=92751, revisions=(128851,useless=23222), ccks=162133453, wck=17.337, mem=111M143
21.73/19.48 decisions=22220, wrong=10918, backtracks=528, failedAssignments=10857, nogoods=2333, foundSolutions=3, bestBound=91
21.73/19.48
21.82/19.55 num=75, depth=4..10, filters=94008, revisions=(130471,useless=23543), ccks=162594412, wck=17.399, mem=113M786
21.82/19.55 decisions=22448, wrong=11027, backtracks=534, failedAssignments=10965, nogoods=2351, foundSolutions=3, bestBound=91
21.82/19.55
22.33/20.02 num=76, depth=1..2, filters=94780, revisions=(131676,useless=23553), ccks=167498208, wck=17.87, mem=113M786
22.33/20.02 decisions=22687, wrong=11146, backtracks=535, failedAssignments=11084, nogoods=2364, foundSolutions=3, bestBound=91
22.33/20.02
22.52/20.24 num=77, depth=2..6, filters=97167, revisions=(134646,useless=23943), ccks=169521209, wck=18.092, mem=116M428
22.52/20.24 decisions=22965, wrong=11282, backtracks=544, failedAssignments=11215, nogoods=2400, foundSolutions=3, bestBound=91
22.52/20.24
22.62/20.34 num=78, depth=0..6, filters=97718, revisions=(135446,useless=24101), ccks=170316068, wck=18.187, mem=116M428
22.62/20.34 decisions=23258, wrong=11426, backtracks=551, failedAssignments=11359, nogoods=2451, foundSolutions=3, bestBound=91
22.62/20.34
22.92/20.60 num=79, depth=4..7, filters=100996, revisions=(139881,useless=25014), ccks=172681408, wck=18.449, mem=119M71
22.92/20.60 decisions=23582, wrong=11585, backtracks=575, failedAssignments=11517, nogoods=2506, foundSolutions=3, bestBound=91
22.92/20.60
23.12/20.84 num=80, depth=0..7, filters=102396, revisions=(141907,useless=25465), ccks=174840321, wck=18.693, mem=119M71
23.12/20.84 decisions=23938, wrong=11760, backtracks=589, failedAssignments=11691, nogoods=2557, foundSolutions=3, bestBound=91
23.12/20.84
23.52/21.21 num=81, depth=4..9, filters=108201, revisions=(149181,useless=26632), ccks=178199192, wck=19.066, mem=121M713
23.52/21.21 decisions=24358, wrong=11966, backtracks=611, failedAssignments=11882, nogoods=2622, foundSolutions=3, bestBound=91
23.52/21.21
23.82/21.58 num=82, depth=0..7, filters=111995, revisions=(154016,useless=27320), ccks=181563907, wck=19.433, mem=124M355
23.82/21.58 decisions=24786, wrong=12177, backtracks=625, failedAssignments=12093, nogoods=2664, foundSolutions=3, bestBound=91
23.82/21.58
24.12/21.85 num=83, depth=0..7, filters=116602, revisions=(160276,useless=28766), ccks=183828848, wck=19.7, mem=126M998
24.12/21.85 decisions=25258, wrong=12410, backtracks=656, failedAssignments=12325, nogoods=2707, foundSolutions=3, bestBound=91
24.12/21.85
24.50/22.19 num=84, depth=0..7, filters=121796, revisions=(167165,useless=30188), ccks=186797800, wck=20.045, mem=129M640
24.50/22.19 decisions=25786, wrong=12671, backtracks=689, failedAssignments=12580, nogoods=2749, foundSolutions=3, bestBound=91
24.50/22.19
24.99/22.69 num=85, depth=0..8, filters=127940, revisions=(175271,useless=31716), ccks=191142925, wck=20.541, mem=132M283
24.99/22.69 decisions=26368, wrong=12960, backtracks=729, failedAssignments=12861, nogoods=2779, foundSolutions=3, bestBound=91
24.99/22.69
25.19/22.87 num=86, depth=0..6, filters=129190, revisions=(176937,useless=32042), ccks=192538336, wck=20.717, mem=132M283
25.19/22.87 decisions=26990, wrong=13269, backtracks=739, failedAssignments=13170, nogoods=2878, foundSolutions=3, bestBound=91
25.19/22.87
25.29/22.95 num=87, depth=2..8, filters=130053, revisions=(178016,useless=32220), ccks=193110304, wck=20.803, mem=132M283
25.29/22.95 decisions=27677, wrong=13610, backtracks=745, failedAssignments=13510, nogoods=2974, foundSolutions=3, bestBound=91
25.29/22.95
25.52/23.11 num=88, depth=1..7, filters=132010, revisions=(180543,useless=32725), ccks=194363257, wck=20.964, mem=134M925
25.52/23.11 decisions=28431, wrong=13984, backtracks=752, failedAssignments=13884, nogoods=3007, foundSolutions=3, bestBound=91
25.52/23.11
26.11/23.79 num=89, depth=0..6, filters=139626, revisions=(190758,useless=34575), ccks=200400798, wck=21.646, mem=140M210
26.11/23.79 decisions=29272, wrong=14402, backtracks=801, failedAssignments=14295, nogoods=3068, foundSolutions=3, bestBound=91
26.11/23.79
26.61/24.28 num=90, depth=0..7, filters=148027, revisions=(201958,useless=36940), ccks=204616747, wck=22.13, mem=142M778
26.61/24.28 decisions=30204, wrong=14865, backtracks=863, failedAssignments=14747, nogoods=3211, foundSolutions=3, bestBound=91
26.61/24.28
27.15/24.77 num=91, depth=3..8, filters=156098, revisions=(212480,useless=38848), ccks=208898587, wck=22.623, mem=26M289
27.15/24.77 decisions=31212, wrong=15366, backtracks=887, failedAssignments=15244, nogoods=3311, foundSolutions=3, bestBound=91
27.15/24.77
27.46/25.06 num=92, depth=1..7, filters=165237, revisions=(223522,useless=40583), ccks=211003974, wck=22.914, mem=28M905
27.46/25.06 decisions=32314, wrong=15914, backtracks=898, failedAssignments=15791, nogoods=3338, foundSolutions=3, bestBound=91
27.46/25.06
27.65/25.23 num=93, depth=1..9, filters=167362, revisions=(226250,useless=41083), ccks=212112563, wck=23.083, mem=31M521
27.65/25.23 decisions=33522, wrong=16516, backtracks=920, failedAssignments=16393, nogoods=3454, foundSolutions=3, bestBound=91
27.65/25.23
27.95/25.50 num=94, depth=2..10, filters=171132, revisions=(231306,useless=42281), ccks=214139597, wck=23.352, mem=31M521
27.95/25.50 decisions=34858, wrong=17180, backtracks=949, failedAssignments=17055, nogoods=3534, foundSolutions=3, bestBound=91
27.95/25.50
29.25/26.81 num=95, depth=0..7, filters=173533, revisions=(235061,useless=42564), ccks=227289623, wck=24.659, mem=36M753
29.25/26.81 decisions=36316, wrong=17908, backtracks=959, failedAssignments=17783, nogoods=3631, foundSolutions=3, bestBound=91
29.25/26.81
29.35/26.91 num=96, depth=5..9, filters=175988, revisions=(237984,useless=42980), ccks=227768078, wck=24.764, mem=36M753
29.35/26.91 decisions=37928, wrong=18711, backtracks=981, failedAssignments=18584, nogoods=3646, foundSolutions=3, bestBound=91
29.35/26.91
29.85/27.49 num=97, depth=0..10, filters=182794, revisions=(246978,useless=44636), ccks=232482261, wck=25.347, mem=41M985
29.85/27.49 decisions=39701, wrong=19593, backtracks=1025, failedAssignments=19465, nogoods=3684, foundSolutions=3, bestBound=91
29.85/27.49
32.36/29.96 num=98, depth=0..8, filters=189041, revisions=(256424,useless=45614), ccks=257482727, wck=27.814, mem=49M833
32.36/29.96 decisions=41646, wrong=20563, backtracks=1037, failedAssignments=20435, nogoods=3794, foundSolutions=3, bestBound=91
32.36/29.96
32.66/30.20 num=99, depth=2..10, filters=192722, revisions=(261099,useless=46557), ccks=258905804, wck=28.056, mem=52M449
32.66/30.20 decisions=43793, wrong=21633, backtracks=1069, failedAssignments=21502, nogoods=3857, foundSolutions=3, bestBound=91
32.66/30.20
33.06/30.69 num=100, depth=0..11, filters=199385, revisions=(269874,useless=48402), ccks=262735075, wck=28.543, mem=55M65
33.06/30.69 decisions=46154, wrong=22811, backtracks=1114, failedAssignments=22675, nogoods=3889, foundSolutions=3, bestBound=91
33.06/30.69
33.38/30.91 o 90
33.38/30.91 num=101, depth=0..65, filters=202756, revisions=(274281,useless=49261), ccks=264557490, wck=28.76, mem=59M2
33.38/30.91 decisions=46534, wrong=22997, backtracks=1135, failedAssignments=22858, nogoods=3965, foundSolutions=4, bestBound=90
33.38/30.91
33.78/31.35 o 88
33.78/31.35 num=102, depth=2..65, filters=207757, revisions=(280503,useless=50144), ccks=268566100, wck=29.201, mem=61M618
33.78/31.35 decisions=46999, wrong=23224, backtracks=1151, failedAssignments=23080, nogoods=4032, foundSolutions=5, bestBound=88
33.78/31.35
33.78/31.39 num=103, depth=1..3, filters=208048, revisions=(280967,useless=50236), ccks=268897832, wck=29.243, mem=61M618
33.78/31.39 decisions=47022, wrong=23235, backtracks=1156, failedAssignments=23091, nogoods=4033, foundSolutions=5, bestBound=88
33.78/31.39
33.89/31.45 num=104, depth=1..3, filters=208408, revisions=(281484,useless=50352), ccks=269431310, wck=29.306, mem=61M618
33.89/31.45 decisions=47048, wrong=23247, backtracks=1160, failedAssignments=23102, nogoods=4038, foundSolutions=5, bestBound=88
33.89/31.45
33.99/31.52 num=105, depth=1..3, filters=208702, revisions=(281911,useless=50468), ccks=270022224, wck=29.369, mem=61M618
33.99/31.52 decisions=47078, wrong=23261, backtracks=1163, failedAssignments=23114, nogoods=4042, foundSolutions=5, bestBound=88
33.99/31.52
33.99/31.59 num=106, depth=3..5, filters=209315, revisions=(282738,useless=50602), ccks=270718534, wck=29.446, mem=61M618
33.99/31.59 decisions=47114, wrong=23277, backtracks=1167, failedAssignments=23127, nogoods=4044, foundSolutions=5, bestBound=88
33.99/31.59
34.09/31.64 num=107, depth=1..4, filters=209582, revisions=(283104,useless=50688), ccks=271126208, wck=29.492, mem=61M618
34.09/31.64 decisions=47145, wrong=23291, backtracks=1169, failedAssignments=23141, nogoods=4055, foundSolutions=5, bestBound=88
34.09/31.64
34.19/31.70 num=108, depth=1..3, filters=209972, revisions=(283670,useless=50831), ccks=271644056, wck=29.554, mem=61M618
34.19/31.70 decisions=47181, wrong=23308, backtracks=1173, failedAssignments=23157, nogoods=4060, foundSolutions=5, bestBound=88
34.19/31.70
34.19/31.78 num=109, depth=3..5, filters=210711, revisions=(284663,useless=50982), ccks=272365177, wck=29.636, mem=61M618
34.19/31.78 decisions=47227, wrong=23329, backtracks=1178, failedAssignments=23174, nogoods=4062, foundSolutions=5, bestBound=88
34.19/31.78
34.29/31.85 num=110, depth=1..3, filters=211053, revisions=(285140,useless=51103), ccks=272937460, wck=29.7, mem=61M618
34.29/31.85 decisions=47268, wrong=23348, backtracks=1181, failedAssignments=23193, nogoods=4075, foundSolutions=5, bestBound=88
34.29/31.85
34.39/31.94 num=111, depth=1..3, filters=211600, revisions=(285964,useless=51290), ccks=273703176, wck=29.789, mem=64M234
34.39/31.94 decisions=47318, wrong=23372, backtracks=1187, failedAssignments=23214, nogoods=4084, foundSolutions=5, bestBound=88
34.39/31.94
34.50/32.01 num=112, depth=1..6, filters=212177, revisions=(286743,useless=51449), ccks=274427429, wck=29.866, mem=64M234
34.50/32.01 decisions=47370, wrong=23395, backtracks=1189, failedAssignments=23237, nogoods=4102, foundSolutions=5, bestBound=88
34.50/32.01
34.60/32.11 num=113, depth=0..3, filters=212797, revisions=(287688,useless=51674), ccks=275196836, wck=29.959, mem=64M234
34.60/32.11 decisions=47423, wrong=23421, backtracks=1197, failedAssignments=23262, nogoods=4111, foundSolutions=5, bestBound=88
34.60/32.11
34.69/32.23 num=114, depth=0..4, filters=213428, revisions=(288597,useless=51883), ccks=276274933, wck=30.079, mem=64M234
34.69/32.23 decisions=47483, wrong=23449, backtracks=1205, failedAssignments=23290, nogoods=4115, foundSolutions=5, bestBound=88
34.69/32.23
34.79/32.32 num=115, depth=1..5, filters=214124, revisions=(289553,useless=52115), ccks=277057361, wck=30.169, mem=64M234
34.79/32.32 decisions=47550, wrong=23480, backtracks=1210, failedAssignments=23321, nogoods=4137, foundSolutions=5, bestBound=88
34.79/32.32
34.89/32.46 num=116, depth=0..4, filters=214897, revisions=(290721,useless=52371), ccks=278284284, wck=30.309, mem=66M850
34.89/32.46 decisions=47626, wrong=23517, backtracks=1220, failedAssignments=23355, nogoods=4147, foundSolutions=5, bestBound=88
34.89/32.46
34.99/32.57 num=117, depth=4..6, filters=216237, revisions=(292457,useless=52602), ccks=279284900, wck=30.424, mem=66M850
34.99/32.57 decisions=47719, wrong=23561, backtracks=1228, failedAssignments=23392, nogoods=4162, foundSolutions=5, bestBound=88
34.99/32.57
35.11/32.67 num=118, depth=2..6, filters=216972, revisions=(293447,useless=52810), ccks=280187272, wck=30.52, mem=66M850
35.11/32.67 decisions=47807, wrong=23602, backtracks=1229, failedAssignments=23433, nogoods=4201, foundSolutions=5, bestBound=88
35.11/32.67
35.31/32.83 num=119, depth=0..4, filters=218050, revisions=(295026,useless=53164), ccks=281547848, wck=30.681, mem=66M850
35.31/32.83 decisions=47905, wrong=23650, backtracks=1241, failedAssignments=23478, nogoods=4205, foundSolutions=5, bestBound=88
35.31/32.83
35.41/32.93 num=120, depth=3..8, filters=219414, revisions=(296762,useless=53474), ccks=282435329, wck=30.783, mem=69M466
35.41/32.93 decisions=48013, wrong=23701, backtracks=1249, failedAssignments=23528, nogoods=4222, foundSolutions=5, bestBound=88
35.41/32.93
35.63/33.11 num=121, depth=0..4, filters=220760, revisions=(298739,useless=53933), ccks=283958957, wck=30.966, mem=69M466
35.63/33.11 decisions=48132, wrong=23760, backtracks=1264, failedAssignments=23583, nogoods=4230, foundSolutions=5, bestBound=88
35.63/33.11
35.63/33.19 num=122, depth=3..7, filters=222042, revisions=(300373,useless=54211), ccks=284616971, wck=31.04, mem=69M466
35.63/33.19 decisions=48262, wrong=23822, backtracks=1270, failedAssignments=23644, nogoods=4239, foundSolutions=5, bestBound=88
35.63/33.19
35.82/33.32 num=123, depth=2..8, filters=223472, revisions=(302220,useless=54530), ccks=285854341, wck=31.174, mem=72M82
35.82/33.32 decisions=48407, wrong=23891, backtracks=1278, failedAssignments=23711, nogoods=4303, foundSolutions=5, bestBound=88
35.82/33.32
36.12/33.64 num=124, depth=0..4, filters=225284, revisions=(304771,useless=55137), ccks=288650285, wck=31.492, mem=72M82
36.12/33.64 decisions=48570, wrong=23971, backtracks=1299, failedAssignments=23785, nogoods=4314, foundSolutions=5, bestBound=88
36.12/33.64
36.22/33.71 num=125, depth=3..7, filters=225997, revisions=(305738,useless=55327), ccks=289263662, wck=31.562, mem=72M82
36.22/33.71 decisions=48738, wrong=24052, backtracks=1301, failedAssignments=23866, nogoods=4393, foundSolutions=5, bestBound=88
36.22/33.71
36.32/33.84 num=126, depth=2..8, filters=227716, revisions=(307982,useless=55761), ccks=290483240, wck=31.693, mem=74M698
36.32/33.84 decisions=48922, wrong=24141, backtracks=1312, failedAssignments=23955, nogoods=4417, foundSolutions=5, bestBound=88
36.32/33.84
36.53/34.04 num=127, depth=1..3, filters=229251, revisions=(310356,useless=56250), ccks=292165350, wck=31.891, mem=74M698
36.53/34.04 decisions=49122, wrong=24240, backtracks=1325, failedAssignments=24053, nogoods=4430, foundSolutions=5, bestBound=88
36.53/34.04
36.72/34.20 num=128, depth=3..8, filters=231958, revisions=(313773,useless=56819), ccks=293600837, wck=32.054, mem=77M314
36.72/34.20 decisions=49353, wrong=24353, backtracks=1342, failedAssignments=24161, nogoods=4452, foundSolutions=5, bestBound=88
36.72/34.20
36.92/34.44 num=129, depth=0..7, filters=233561, revisions=(316052,useless=57320), ccks=295701185, wck=32.293, mem=77M314
36.92/34.44 decisions=49598, wrong=24472, backtracks=1357, failedAssignments=24280, nogoods=4507, foundSolutions=5, bestBound=88
36.92/34.44
37.04/34.51 num=130, depth=5..8, filters=234242, revisions=(316944,useless=57500), ccks=296340973, wck=32.365, mem=77M314
37.04/34.51 decisions=49866, wrong=24603, backtracks=1361, failedAssignments=24411, nogoods=4562, foundSolutions=5, bestBound=88
37.04/34.51
37.24/34.73 num=131, depth=2..8, filters=237662, revisions=(321422,useless=58374), ccks=298334315, wck=32.584, mem=79M930
37.24/34.73 decisions=50173, wrong=24753, backtracks=1376, failedAssignments=24555, nogoods=4628, foundSolutions=5, bestBound=88
37.24/34.73
37.55/35.01 num=132, depth=0..7, filters=241197, revisions=(326307,useless=59369), ccks=300741152, wck=32.863, mem=82M546
37.55/35.01 decisions=50501, wrong=24914, backtracks=1404, failedAssignments=24713, nogoods=4651, foundSolutions=5, bestBound=88
37.55/35.01
37.84/35.39 num=133, depth=0..7, filters=244377, revisions=(330824,useless=60330), ccks=304059674, wck=33.239, mem=85M162
37.84/35.39 decisions=50855, wrong=25089, backtracks=1433, failedAssignments=24887, nogoods=4658, foundSolutions=5, bestBound=88
37.84/35.39
38.14/35.68 num=134, depth=0..7, filters=248585, revisions=(336583,useless=61535), ccks=306652624, wck=33.528, mem=85M162
38.14/35.68 decisions=51241, wrong=25280, backtracks=1465, failedAssignments=25078, nogoods=4722, foundSolutions=5, bestBound=88
38.14/35.68
38.55/36.09 num=135, depth=0..7, filters=252284, revisions=(341938,useless=62643), ccks=310285904, wck=33.939, mem=90M394
38.55/36.09 decisions=51673, wrong=25494, backtracks=1488, failedAssignments=25289, nogoods=4726, foundSolutions=5, bestBound=88
38.55/36.09
39.24/36.74 num=136, depth=0..6, filters=256781, revisions=(348595,useless=64072), ccks=316088318, wck=34.591, mem=93M10
39.24/36.74 decisions=52150, wrong=25730, backtracks=1523, failedAssignments=25521, nogoods=4734, foundSolutions=5, bestBound=88
39.24/36.74
39.65/37.15 num=137, depth=0..6, filters=261482, revisions=(355507,useless=65657), ccks=319579405, wck=35.005, mem=95M626
39.65/37.15 decisions=52665, wrong=25986, backtracks=1561, failedAssignments=25776, nogoods=4766, foundSolutions=5, bestBound=88
39.65/37.15
39.84/37.38 num=138, depth=0..6, filters=263468, revisions=(358395,useless=66274), ccks=321311688, wck=35.231, mem=98M242
39.84/37.38 decisions=53235, wrong=26269, backtracks=1578, failedAssignments=26057, nogoods=4839, foundSolutions=5, bestBound=88
39.84/37.38
40.04/37.56 num=139, depth=4..8, filters=267037, revisions=(363267,useless=67373), ccks=322794387, wck=35.408, mem=100M858
40.04/37.56 decisions=53858, wrong=26578, backtracks=1615, failedAssignments=26366, nogoods=4919, foundSolutions=5, bestBound=88
40.04/37.56
40.65/38.14 num=140, depth=0..8, filters=273853, revisions=(372795,useless=69323), ccks=327787459, wck=35.989, mem=103M474
40.65/38.14 decisions=54559, wrong=26925, backtracks=1653, failedAssignments=26706, nogoods=4963, foundSolutions=5, bestBound=88
40.65/38.14
41.44/38.94 num=141, depth=1..4, filters=280772, revisions=(382858,useless=71350), ccks=334595078, wck=36.788, mem=108M705
41.44/38.94 decisions=55337, wrong=27313, backtracks=1700, failedAssignments=27080, nogoods=4979, foundSolutions=5, bestBound=88
41.44/38.94
42.04/39.60 num=142, depth=0..10, filters=286362, revisions=(390630,useless=73067), ccks=340385792, wck=37.447, mem=111M321
42.04/39.60 decisions=56190, wrong=27735, backtracks=1753, failedAssignments=27491, nogoods=5064, foundSolutions=5, bestBound=88
42.04/39.60
43.65/41.14 num=143, depth=0..7, filters=290114, revisions=(396199,useless=73564), ccks=356192456, wck=38.996, mem=116M553
43.65/41.14 decisions=57101, wrong=28187, backtracks=1758, failedAssignments=27943, nogoods=5092, foundSolutions=5, bestBound=88
43.65/41.14
44.04/41.56 num=144, depth=0..6, filters=294798, revisions=(402590,useless=74857), ccks=359385973, wck=39.411, mem=119M169
44.04/41.56 decisions=58106, wrong=28687, backtracks=1808, failedAssignments=28440, nogoods=5114, foundSolutions=5, bestBound=88
44.04/41.56
44.55/42.04 num=145, depth=1..5, filters=299755, revisions=(409710,useless=76346), ccks=362689968, wck=39.89, mem=121M785
44.55/42.04 decisions=59218, wrong=29242, backtracks=1859, failedAssignments=28987, nogoods=5244, foundSolutions=5, bestBound=88
44.55/42.04
44.84/42.33 num=146, depth=2..8, filters=304295, revisions=(415696,useless=77672), ccks=365014892, wck=40.185, mem=127M17
44.84/42.33 decisions=60430, wrong=29844, backtracks=1885, failedAssignments=29589, nogoods=5333, foundSolutions=5, bestBound=88
44.84/42.33
47.36/44.84 num=147, depth=0..6, filters=314627, revisions=(430119,useless=79599), ccks=390129366, wck=42.691, mem=134M865
47.36/44.84 decisions=61770, wrong=30511, backtracks=1921, failedAssignments=30251, nogoods=5428, foundSolutions=5, bestBound=88
47.36/44.84
48.36/45.82 num=148, depth=0..7, filters=323668, revisions=(442630,useless=82101), ccks=398436949, wck=43.672, mem=140M97
48.36/45.82 decisions=63262, wrong=31254, backtracks=1995, failedAssignments=30979, nogoods=5552, foundSolutions=5, bestBound=88
48.36/45.82
48.67/46.12 num=149, depth=2..9, filters=328830, revisions=(449141,useless=83300), ccks=400506103, wck=43.972, mem=142M713
48.67/46.12 decisions=64875, wrong=32057, backtracks=2025, failedAssignments=31780, nogoods=5636, foundSolutions=5, bestBound=88
48.67/46.12
53.19/50.64 num=150, depth=0..9, filters=343966, revisions=(470974,useless=85977), ccks=445358807, wck=48.489, mem=26M544
53.19/50.64 decisions=66654, wrong=32945, backtracks=2061, failedAssignments=32661, nogoods=5653, foundSolutions=5, bestBound=88
53.19/50.64
53.99/51.45 num=151, depth=2..7, filters=353210, revisions=(483690,useless=88437), ccks=452243794, wck=49.303, mem=34M392
53.99/51.45 decisions=68602, wrong=33917, backtracks=2105, failedAssignments=33631, nogoods=5739, foundSolutions=5, bestBound=88
53.99/51.45
55.49/52.95 num=152, depth=0..7, filters=367177, revisions=(502991,useless=92562), ccks=464681089, wck=50.801, mem=42M240
55.49/52.95 decisions=70792, wrong=35009, backtracks=2236, failedAssignments=34698, nogoods=5778, foundSolutions=5, bestBound=88
55.49/52.95
56.50/53.95 num=153, depth=0..7, filters=380290, revisions=(520889,useless=96427), ccks=472515520, wck=51.802, mem=50M88
56.50/53.95 decisions=73178, wrong=36199, backtracks=2324, failedAssignments=35871, nogoods=5867, foundSolutions=5, bestBound=88
56.50/53.95
60.20/57.69 num=154, depth=0..7, filters=403538, revisions=(554430,useless=102773), ccks=506544490, wck=55.541, mem=68M400
60.20/57.69 decisions=75837, wrong=37526, backtracks=2484, failedAssignments=37162, nogoods=5958, foundSolutions=5, bestBound=88
60.20/57.69
62.10/59.59 num=155, depth=0..11, filters=414805, revisions=(570215,useless=105629), ccks=524794331, wck=57.441, mem=76M248
62.10/59.59 decisions=78709, wrong=38957, backtracks=2568, failedAssignments=38582, nogoods=6065, foundSolutions=5, bestBound=88
62.10/59.59
63.80/61.24 num=156, depth=1..8, filters=427171, revisions=(586016,useless=108234), ccks=538682491, wck=59.095, mem=84M96
63.80/61.24 decisions=81849, wrong=40525, backtracks=2620, failedAssignments=40144, nogoods=6145, foundSolutions=5, bestBound=88
63.80/61.24
64.50/61.91 num=157, depth=1..8, filters=433867, revisions=(594788,useless=109959), ccks=542887187, wck=59.762, mem=89M328
64.50/61.91 decisions=85298, wrong=42248, backtracks=2689, failedAssignments=41862, nogoods=6160, foundSolutions=5, bestBound=88
64.50/61.91
65.90/63.30 num=158, depth=4..7, filters=463367, revisions=(630905,useless=114125), ccks=555349120, wck=61.157, mem=102M408
65.90/63.30 decisions=89087, wrong=44139, backtracks=2745, failedAssignments=43752, nogoods=6248, foundSolutions=5, bestBound=88
65.90/63.30
68.90/66.34 num=159, depth=1..5, filters=491006, revisions=(669989,useless=121683), ccks=579990821, wck=64.197, mem=118M104
68.90/66.34 decisions=93331, wrong=46260, backtracks=2967, failedAssignments=45831, nogoods=6288, foundSolutions=5, bestBound=88
68.90/66.34
70.10/67.50 num=160, depth=1..8, filters=505147, revisions=(689107,useless=125641), ccks=588788360, wck=65.352, mem=125M952
70.10/67.50 decisions=97919, wrong=48552, backtracks=3076, failedAssignments=48118, nogoods=6410, foundSolutions=5, bestBound=88
70.10/67.50
71.10/68.60 num=161, depth=1..10, filters=519071, revisions=(708673,useless=130857), ccks=596683870, wck=66.448, mem=136M416
71.10/68.60 decisions=102961, wrong=51069, backtracks=3163, failedAssignments=50634, nogoods=6504, foundSolutions=5, bestBound=88
71.10/68.60
72.30/69.77 num=162, depth=1..8, filters=533964, revisions=(728835,useless=135500), ccks=604778773, wck=67.621, mem=146M880
72.30/69.77 decisions=108509, wrong=53840, backtracks=3300, failedAssignments=53402, nogoods=6580, foundSolutions=5, bestBound=88
72.30/69.77
73.40/70.85 num=163, depth=1..8, filters=546295, revisions=(744991,useless=138722), ccks=611676155, wck=68.704, mem=152M112
73.40/70.85 decisions=114608, wrong=56888, backtracks=3392, failedAssignments=56446, nogoods=6637, foundSolutions=5, bestBound=88
73.40/70.85
75.64/73.10 num=164, depth=1..10, filters=587692, revisions=(797462,useless=146083), ccks=630869426, wck=70.951, mem=39M763
75.64/73.10 decisions=121325, wrong=60242, backtracks=3563, failedAssignments=59795, nogoods=6780, foundSolutions=5, bestBound=88
75.64/73.10
77.85/75.27 o 87
77.85/75.27 num=165, depth=1..65, filters=617969, revisions=(838933,useless=154879), ccks=648098772, wck=73.121, mem=58M139
77.85/75.27 decisions=128015, wrong=63579, backtracks=3755, failedAssignments=63118, nogoods=6947, foundSolutions=6, bestBound=87
77.85/75.27
78.86/76.22 num=166, depth=1..9, filters=657370, revisions=(886382,useless=162149), ccks=653853995, wck=74.068, mem=73M891
78.86/76.22 decisions=136137, wrong=67636, backtracks=3870, failedAssignments=67170, nogoods=7064, foundSolutions=6, bestBound=87
78.86/76.22
78.86/76.28 num=167, depth=1..3, filters=657656, revisions=(886850,useless=162244), ccks=654381207, wck=74.128, mem=73M891
78.86/76.28 decisions=136162, wrong=67647, backtracks=3873, failedAssignments=67181, nogoods=7068, foundSolutions=6, bestBound=87
78.86/76.28
78.96/76.34 num=168, depth=1..3, filters=658073, revisions=(887453,useless=162401), ccks=654950221, wck=74.196, mem=73M891
78.96/76.34 decisions=136193, wrong=67661, backtracks=3878, failedAssignments=67193, nogoods=7073, foundSolutions=6, bestBound=87
78.96/76.34
79.06/76.43 num=169, depth=2..4, filters=658397, revisions=(887954,useless=162536), ccks=655792079, wck=74.283, mem=73M891
79.06/76.43 decisions=136222, wrong=67674, backtracks=3879, failedAssignments=67206, nogoods=7085, foundSolutions=6, bestBound=87
79.06/76.43
79.16/76.50 num=170, depth=1..3, filters=658833, revisions=(888618,useless=162704), ccks=656349443, wck=74.351, mem=73M891
79.16/76.50 decisions=136253, wrong=67688, backtracks=3885, failedAssignments=67220, nogoods=7088, foundSolutions=6, bestBound=87
79.16/76.50
79.16/76.55 num=171, depth=2..3, filters=659271, revisions=(889325,useless=162868), ccks=656758114, wck=74.402, mem=76M516
79.16/76.55 decisions=136287, wrong=67704, backtracks=3889, failedAssignments=67236, nogoods=7094, foundSolutions=6, bestBound=87
79.16/76.55
79.26/76.61 num=172, depth=1..3, filters=659692, revisions=(889928,useless=162988), ccks=657261951, wck=74.463, mem=76M516
79.26/76.61 decisions=136322, wrong=67721, backtracks=3893, failedAssignments=67253, nogoods=7097, foundSolutions=6, bestBound=87
79.26/76.61
79.36/76.70 num=173, depth=3..4, filters=659991, revisions=(890343,useless=163039), ccks=658139077, wck=74.553, mem=76M516
79.36/76.70 decisions=136364, wrong=67740, backtracks=3893, failedAssignments=67272, nogoods=7116, foundSolutions=6, bestBound=87
79.36/76.70
79.36/76.77 num=174, depth=1..3, filters=660508, revisions=(891153,useless=163220), ccks=658665027, wck=74.62, mem=76M516
79.36/76.77 decisions=136409, wrong=67762, backtracks=3900, failedAssignments=67293, nogoods=7121, foundSolutions=6, bestBound=87
79.36/76.77
79.48/76.88 num=175, depth=2..3, filters=661217, revisions=(892186,useless=163429), ccks=659584360, wck=74.729, mem=76M516
79.48/76.88 decisions=136461, wrong=67787, backtracks=3906, failedAssignments=67316, nogoods=7128, foundSolutions=6, bestBound=87
79.48/76.88
79.58/76.95 num=176, depth=1..4, filters=661877, revisions=(893161,useless=163624), ccks=660189547, wck=74.806, mem=76M516
79.58/76.95 decisions=136513, wrong=67812, backtracks=3912, failedAssignments=67341, nogoods=7134, foundSolutions=6, bestBound=87
79.58/76.95
79.69/77.07 num=177, depth=1..3, filters=662517, revisions=(894055,useless=163858), ccks=661250386, wck=74.925, mem=79M141
79.69/77.07 decisions=136572, wrong=67840, backtracks=3920, failedAssignments=67369, nogoods=7142, foundSolutions=6, bestBound=87
79.69/77.07
79.79/77.15 num=178, depth=1..4, filters=663410, revisions=(895361,useless=164120), ccks=661785728, wck=74.999, mem=79M141
79.79/77.15 decisions=136639, wrong=67872, backtracks=3925, failedAssignments=67400, nogoods=7156, foundSolutions=6, bestBound=87
79.79/77.15
79.88/77.25 num=179, depth=4..6, filters=664313, revisions=(896597,useless=164357), ccks=662662396, wck=75.098, mem=79M141
79.88/77.25 decisions=136714, wrong=67907, backtracks=3928, failedAssignments=67434, nogoods=7180, foundSolutions=6, bestBound=87
79.88/77.25
80.08/77.40 num=180, depth=1..3, filters=665335, revisions=(898048,useless=164664), ccks=664000937, wck=75.255, mem=79M141
80.08/77.40 decisions=136799, wrong=67948, backtracks=3940, failedAssignments=67471, nogoods=7187, foundSolutions=6, bestBound=87
80.08/77.40
80.18/77.53 num=181, depth=3..6, filters=666048, revisions=(899032,useless=164807), ccks=665212172, wck=75.384, mem=79M141
80.18/77.53 decisions=136885, wrong=67989, backtracks=3943, failedAssignments=67512, nogoods=7218, foundSolutions=6, bestBound=87
80.18/77.53
80.38/77.74 num=182, depth=1..4, filters=667444, revisions=(901013,useless=165217), ccks=667059268, wck=75.596, mem=81M766
80.38/77.74 decisions=136998, wrong=68044, backtracks=3956, failedAssignments=67557, nogoods=7226, foundSolutions=6, bestBound=87
80.38/77.74
80.48/77.86 num=183, depth=3..7, filters=668761, revisions=(902785,useless=165569), ccks=668065902, wck=75.709, mem=81M766
80.48/77.86 decisions=137110, wrong=68097, backtracks=3967, failedAssignments=67607, nogoods=7261, foundSolutions=6, bestBound=87
80.48/77.86
80.58/77.98 num=184, depth=1..3, filters=669756, revisions=(904299,useless=165887), ccks=669040420, wck=75.832, mem=81M766
80.58/77.98 decisions=137224, wrong=68153, backtracks=3976, failedAssignments=67662, nogoods=7275, foundSolutions=6, bestBound=87
80.58/77.98
80.79/78.20 num=185, depth=3..6, filters=671886, revisions=(907129,useless=166332), ccks=670947209, wck=76.048, mem=84M392
80.79/78.20 decisions=137367, wrong=68222, backtracks=3989, failedAssignments=67723, nogoods=7295, foundSolutions=6, bestBound=87
80.79/78.20
80.98/78.37 num=186, depth=0..6, filters=673362, revisions=(909219,useless=166781), ccks=672447865, wck=76.222, mem=84M392
80.98/78.37 decisions=137512, wrong=68292, backtracks=4005, failedAssignments=67790, nogoods=7317, foundSolutions=6, bestBound=87
80.98/78.37
81.29/78.65 num=187, depth=1..4, filters=675165, revisions=(911793,useless=167350), ccks=674789405, wck=76.498, mem=87M876
81.29/78.65 decisions=137670, wrong=68370, backtracks=4022, failedAssignments=67864, nogoods=7325, foundSolutions=6, bestBound=87
81.29/78.65
81.39/78.75 num=188, depth=4..6, filters=677056, revisions=(914241,useless=167746), ccks=675668974, wck=76.6, mem=87M876
81.39/78.75 decisions=137852, wrong=68458, backtracks=4030, failedAssignments=67945, nogoods=7341, foundSolutions=6, bestBound=87
81.39/78.75
81.70/79.05 num=189, depth=1..5, filters=679960, revisions=(918403,useless=168616), ccks=678014477, wck=76.897, mem=87M876
81.70/79.05 decisions=138051, wrong=68556, backtracks=4058, failedAssignments=68034, nogoods=7354, foundSolutions=6, bestBound=87
81.70/79.05
81.89/79.26 num=190, depth=1..5, filters=681723, revisions=(920878,useless=169243), ccks=679937712, wck=77.11, mem=90M501
81.89/79.26 decisions=138252, wrong=68654, backtracks=4069, failedAssignments=68132, nogoods=7407, foundSolutions=6, bestBound=87
81.89/79.26
82.20/79.51 num=191, depth=0..7, filters=684167, revisions=(924284,useless=169968), ccks=682084115, wck=77.361, mem=90M501
82.20/79.51 decisions=138480, wrong=68765, backtracks=4092, failedAssignments=68240, nogoods=7475, foundSolutions=6, bestBound=87
82.20/79.51
82.39/79.76 num=192, depth=1..4, filters=686668, revisions=(927861,useless=170686), ccks=684033758, wck=77.609, mem=93M127
82.39/79.76 decisions=138729, wrong=68888, backtracks=4110, failedAssignments=68359, nogoods=7482, foundSolutions=6, bestBound=87
82.39/79.76
82.80/80.20 num=193, depth=1..5, filters=690893, revisions=(933993,useless=171785), ccks=687526866, wck=78.047, mem=95M752
82.80/80.20 decisions=139008, wrong=69026, backtracks=4138, failedAssignments=68490, nogoods=7505, foundSolutions=6, bestBound=87
82.80/80.20
83.00/80.34 num=194, depth=3..7, filters=694054, revisions=(938063,useless=172510), ccks=688688051, wck=78.188, mem=95M752
83.00/80.34 decisions=139312, wrong=69175, backtracks=4156, failedAssignments=68634, nogoods=7528, foundSolutions=6, bestBound=87
83.00/80.34
83.30/80.62 num=195, depth=0..6, filters=697331, revisions=(942735,useless=173424), ccks=691014173, wck=78.474, mem=98M377
83.30/80.62 decisions=139642, wrong=69337, backtracks=4184, failedAssignments=68792, nogoods=7544, foundSolutions=6, bestBound=87
83.30/80.62
83.40/80.72 num=196, depth=3..6, filters=698328, revisions=(944090,useless=173738), ccks=691855428, wck=78.575, mem=98M377
83.40/80.72 decisions=139995, wrong=69511, backtracks=4188, failedAssignments=68966, nogoods=7637, foundSolutions=6, bestBound=87
83.40/80.72
83.71/81.06 num=197, depth=1..7, filters=702546, revisions=(949802,useless=174865), ccks=694669850, wck=78.916, mem=101M2
83.71/81.06 decisions=140399, wrong=69710, backtracks=4217, failedAssignments=69157, nogoods=7693, foundSolutions=6, bestBound=87
83.71/81.06
84.10/81.46 num=198, depth=1..4, filters=706539, revisions=(955535,useless=176003), ccks=697778759, wck=79.308, mem=103M627
84.10/81.46 decisions=140832, wrong=69925, backtracks=4249, failedAssignments=69368, nogoods=7712, foundSolutions=6, bestBound=87
84.10/81.46
84.30/81.65 num=199, depth=2..6, filters=709268, revisions=(959128,useless=176700), ccks=699460518, wck=79.502, mem=106M253
84.30/81.65 decisions=141302, wrong=70157, backtracks=4262, failedAssignments=69600, nogoods=7822, foundSolutions=6, bestBound=87
84.30/81.65
84.50/81.90 num=200, depth=1..8, filters=711494, revisions=(962277,useless=177353), ccks=701484938, wck=79.747, mem=108M878
84.50/81.90 decisions=141821, wrong=70413, backtracks=4284, failedAssignments=69855, nogoods=7899, foundSolutions=6, bestBound=87
84.50/81.90
84.81/82.15 num=201, depth=1..7, filters=714747, revisions=(966855,useless=178499), ccks=703617007, wck=79.999, mem=111M503
84.81/82.15 decisions=142390, wrong=70695, backtracks=4306, failedAssignments=70136, nogoods=7983, foundSolutions=6, bestBound=87
84.81/82.15
85.40/82.79 num=202, depth=1..8, filters=719726, revisions=(974134,useless=180057), ccks=709140391, wck=80.642, mem=114M128
85.40/82.79 decisions=143022, wrong=71007, backtracks=4336, failedAssignments=70445, nogoods=8008, foundSolutions=6, bestBound=87
85.40/82.79
86.00/83.35 num=203, depth=0..7, filters=724220, revisions=(980312,useless=181237), ccks=714035738, wck=81.201, mem=116M754
86.00/83.35 decisions=143716, wrong=71351, backtracks=4374, failedAssignments=70785, nogoods=8106, foundSolutions=6, bestBound=87
86.00/83.35
86.30/83.61 num=204, depth=1..7, filters=727171, revisions=(984574,useless=182177), ccks=715943061, wck=81.459, mem=119M379
86.30/83.61 decisions=144470, wrong=71725, backtracks=4399, failedAssignments=71159, nogoods=8133, foundSolutions=6, bestBound=87
86.30/83.61
87.00/84.32 num=205, depth=1..7, filters=735930, revisions=(996806,useless=184968), ccks=721917319, wck=82.171, mem=124M629
87.00/84.32 decisions=145315, wrong=72145, backtracks=4462, failedAssignments=71570, nogoods=8175, foundSolutions=6, bestBound=87
87.00/84.32
87.71/85.07 num=206, depth=0..7, filters=745856, revisions=(1010807,useless=187802), ccks=727913206, wck=82.926, mem=129M880
87.71/85.07 decisions=146275, wrong=72622, backtracks=4554, failedAssignments=72022, nogoods=8191, foundSolutions=6, bestBound=87
87.71/85.07
88.31/85.64 num=207, depth=0..8, filters=752000, revisions=(1019891,useless=189616), ccks=732341500, wck=83.493, mem=135M130
88.31/85.64 decisions=147294, wrong=73128, backtracks=4600, failedAssignments=72519, nogoods=8282, foundSolutions=6, bestBound=87
88.31/85.64
89.21/86.59 num=208, depth=1..5, filters=761732, revisions=(1033664,useless=191988), ccks=740027756, wck=84.442, mem=143M6
89.21/86.59 decisions=148416, wrong=73687, backtracks=4660, failedAssignments=73066, nogoods=8317, foundSolutions=6, bestBound=87
89.21/86.59
89.91/87.29 num=209, depth=1..7, filters=772558, revisions=(1048670,useless=194958), ccks=745594840, wck=85.145, mem=148M256
89.91/87.29 decisions=149651, wrong=74302, backtracks=4752, failedAssignments=73668, nogoods=8356, foundSolutions=6, bestBound=87
89.91/87.29
90.82/88.17 num=210, depth=0..7, filters=785382, revisions=(1066533,useless=197978), ccks=752763741, wck=86.022, mem=153M507
90.82/88.17 decisions=150994, wrong=74971, backtracks=4831, failedAssignments=74330, nogoods=8373, foundSolutions=6, bestBound=87
90.82/88.17
91.55/88.89 num=211, depth=0..8, filters=794015, revisions=(1079267,useless=200806), ccks=757591785, wck=86.747, mem=26M740
91.55/88.89 decisions=152485, wrong=75713, backtracks=4923, failedAssignments=75058, nogoods=8411, foundSolutions=6, bestBound=87
91.55/88.89
92.65/89.99 num=212, depth=1..7, filters=799542, revisions=(1087504,useless=202314), ccks=767600956, wck=87.84, mem=31M907
92.65/89.99 decisions=154095, wrong=76517, backtracks=4962, failedAssignments=75859, nogoods=8487, foundSolutions=6, bestBound=87
92.65/89.99
93.76/91.04 num=213, depth=1..7, filters=813088, revisions=(1106212,useless=206095), ccks=776615808, wck=88.888, mem=39M658
93.76/91.04 decisions=155876, wrong=77405, backtracks=5041, failedAssignments=76740, nogoods=8541, foundSolutions=6, bestBound=87
93.76/91.04
95.15/92.43 num=214, depth=1..8, filters=832809, revisions=(1133564,useless=211617), ccks=788535971, wck=90.284, mem=52M576
95.15/92.43 decisions=157869, wrong=78398, backtracks=5165, failedAssignments=77710, nogoods=8637, foundSolutions=6, bestBound=87
95.15/92.43
96.95/94.28 num=215, depth=0..4, filters=853791, revisions=(1164099,useless=217073), ccks=803145129, wck=92.129, mem=65M493
96.95/94.28 decisions=160090, wrong=79507, backtracks=5293, failedAssignments=78777, nogoods=8656, foundSolutions=6, bestBound=87
96.95/94.28
98.76/96.08 num=216, depth=1..8, filters=878739, revisions=(1198588,useless=222948), ccks=817863078, wck=93.93, mem=78M411
98.76/96.08 decisions=162494, wrong=80706, backtracks=5452, failedAssignments=79950, nogoods=8732, foundSolutions=6, bestBound=87
98.76/96.08
101.35/98.63 num=217, depth=0..4, filters=900294, revisions=(1229889,useless=228635), ccks=839079567, wck=96.482, mem=93M912
101.35/98.63 decisions=165135, wrong=82025, backtracks=5620, failedAssignments=81241, nogoods=8765, foundSolutions=6, bestBound=87
101.35/98.63
102.25/99.52 num=218, depth=3..10, filters=915358, revisions=(1250807,useless=232905), ccks=846229861, wck=97.369, mem=99M79
102.25/99.52 decisions=168008, wrong=83459, backtracks=5748, failedAssignments=82661, nogoods=8835, foundSolutions=6, bestBound=87
102.25/99.52
104.35/101.63 num=219, depth=0..9, filters=929879, revisions=(1271135,useless=236180), ccks=866198350, wck=99.484, mem=111M997
104.35/101.63 decisions=171165, wrong=85034, backtracks=5842, failedAssignments=84223, nogoods=8940, foundSolutions=6, bestBound=87
104.35/101.63
105.35/102.63 num=220, depth=0..8, filters=942383, revisions=(1288869,useless=240137), ccks=872935459, wck=100.483, mem=117M164
105.35/102.63 decisions=174632, wrong=86765, backtracks=5970, failedAssignments=85941, nogoods=9012, foundSolutions=6, bestBound=87
105.35/102.63
107.35/104.65 num=221, depth=0..5, filters=970006, revisions=(1327635,useless=247427), ccks=888475534, wck=102.501, mem=135M249
107.35/104.65 decisions=178481, wrong=88687, backtracks=6158, failedAssignments=87831, nogoods=9109, foundSolutions=6, bestBound=87
107.35/104.65
109.35/106.64 num=222, depth=1..10, filters=1010993, revisions=(1379400,useless=255695), ccks=904422741, wck=104.494, mem=148M167
109.35/106.64 decisions=182849, wrong=90866, backtracks=6386, failedAssignments=89910, nogoods=9226, foundSolutions=6, bestBound=87
109.35/106.64
112.18/109.48 num=223, depth=0..8, filters=1036917, revisions=(1415129,useless=262402), ccks=930205532, wck=107.336, mem=36M966
112.18/109.48 decisions=187445, wrong=93161, backtracks=6531, failedAssignments=92197, nogoods=9389, foundSolutions=6, bestBound=87
112.18/109.48
113.58/110.80 num=224, depth=0..7, filters=1059269, revisions=(1445511,useless=268504), ccks=939709521, wck=108.655, mem=47M156
113.58/110.80 decisions=192532, wrong=95702, backtracks=6701, failedAssignments=94713, nogoods=9400, foundSolutions=6, bestBound=87
113.58/110.80
114.68/112.00 num=225, depth=1..11, filters=1088003, revisions=(1483690,useless=276602), ccks=948553747, wck=109.847, mem=62M443
114.68/112.00 decisions=198090, wrong=98477, backtracks=6852, failedAssignments=97481, nogoods=9540, foundSolutions=6, bestBound=87
114.68/112.00
117.89/115.14 num=226, depth=1..9, filters=1136524, revisions=(1549753,useless=288149), ccks=974086562, wck=112.989, mem=90M467
117.89/115.14 decisions=204259, wrong=101558, backtracks=7141, failedAssignments=100525, nogoods=9696, foundSolutions=6, bestBound=87
117.89/115.14
121.89/119.16 num=227, depth=1..7, filters=1177790, revisions=(1606385,useless=298203), ccks=1006364930, wck=117.008, mem=110M849
121.89/119.16 decisions=211099, wrong=104977, backtracks=7434, failedAssignments=103874, nogoods=9707, foundSolutions=6, bestBound=87
121.89/119.16
125.89/123.12 num=228, depth=1..9, filters=1250174, revisions=(1700835,useless=314613), ccks=1039666548, wck=120.969, mem=143M969
125.89/123.12 decisions=218615, wrong=108732, backtracks=7789, failedAssignments=107558, nogoods=9774, foundSolutions=6, bestBound=87
125.89/123.12
128.21/125.48 num=229, depth=0..9, filters=1285481, revisions=(1750025,useless=324830), ccks=1056494147, wck=123.337, mem=36M836
128.21/125.48 decisions=226788, wrong=112815, backtracks=8076, failedAssignments=111610, nogoods=9920, foundSolutions=6, bestBound=87
128.21/125.48
130.01/127.22 num=230, depth=1..11, filters=1310793, revisions=(1782397,useless=330079), ccks=1069226364, wck=125.074, mem=49M384
130.01/127.22 decisions=235765, wrong=117299, backtracks=8243, failedAssignments=116067, nogoods=10060, foundSolutions=6, bestBound=87
130.01/127.22
136.41/133.62 num=231, depth=0..9, filters=1387719, revisions=(1880297,useless=342449), ccks=1126939478, wck=131.472, mem=87M29
136.41/133.62 decisions=245763, wrong=122294, backtracks=8588, failedAssignments=120970, nogoods=10128, foundSolutions=6, bestBound=87
136.41/133.62
140.41/137.68 num=232, depth=0..8, filters=1428777, revisions=(1936241,useless=352175), ccks=1158998229, wck=135.535, mem=109M616
140.41/137.68 decisions=256708, wrong=127764, backtracks=8892, failedAssignments=126364, nogoods=10249, foundSolutions=6, bestBound=87
140.41/137.68
152.54/149.74 num=233, depth=0..7, filters=1550109, revisions=(2105499,useless=380496), ccks=1259504556, wck=147.591, mem=44M60
152.54/149.74 decisions=269109, wrong=133961, backtracks=9754, failedAssignments=132297, nogoods=10386, foundSolutions=6, bestBound=87
152.54/149.74
155.24/152.49 num=234, depth=1..11, filters=1598440, revisions=(2171672,useless=395709), ccks=1279978921, wck=150.345, mem=73M703
155.24/152.49 decisions=282175, wrong=140490, backtracks=10039, failedAssignments=138823, nogoods=10531, foundSolutions=6, bestBound=87
155.24/152.49
162.64/159.87 num=235, depth=0..8, filters=1699139, revisions=(2309405,useless=422733), ccks=1344234532, wck=157.72, mem=132M988
162.64/159.87 decisions=296601, wrong=147701, backtracks=10625, failedAssignments=146002, nogoods=10731, foundSolutions=6, bestBound=87
162.64/159.87
179.55/176.72 num=236, depth=0..7, filters=1857733, revisions=(2529849,useless=456767), ccks=1487948255, wck=174.569, mem=92M327
179.55/176.72 decisions=312981, wrong=155888, backtracks=11622, failedAssignments=153899, nogoods=10848, foundSolutions=6, bestBound=87
179.55/176.72
184.16/181.30 num=237, depth=1..10, filters=1934417, revisions=(2629071,useless=471212), ccks=1525580458, wck=179.154, mem=133M635
184.16/181.30 decisions=330390, wrong=164588, backtracks=11903, failedAssignments=162586, nogoods=11052, foundSolutions=6, bestBound=87
184.16/181.30
189.76/186.90 num=238, depth=0..9, filters=2006564, revisions=(2727122,useless=490490), ccks=1570850721, wck=184.757, mem=52M998
189.76/186.90 decisions=349570, wrong=174174, backtracks=12400, failedAssignments=172141, nogoods=11133, foundSolutions=6, bestBound=87
189.76/186.90
196.56/193.77 num=239, depth=0..9, filters=2119907, revisions=(2867194,useless=506295), ccks=1630254424, wck=191.619, mem=100M777
196.56/193.77 decisions=370917, wrong=184844, backtracks=12927, failedAssignments=182652, nogoods=11195, foundSolutions=6, bestBound=87
196.56/193.77
200.17/197.32 num=240, depth=1..13, filters=2174434, revisions=(2937749,useless=517748), ccks=1655357671, wck=195.17, mem=127M55
200.17/197.32 decisions=394077, wrong=196418, backtracks=13190, failedAssignments=194214, nogoods=11258, foundSolutions=6, bestBound=87
200.17/197.32
204.38/201.53 o 84
204.38/201.53 num=241, depth=0..65, filters=2222290, revisions=(3005527,useless=530114), ccks=1688537413, wck=199.381, mem=33M717
204.38/201.53 decisions=402615, wrong=200681, backtracks=13608, failedAssignments=198417, nogoods=11340, foundSolutions=7, bestBound=84
204.38/201.53
206.58/203.75 o 83
206.58/203.75 num=242, depth=1..65, filters=2270794, revisions=(3067200,useless=539000), ccks=1705961161, wck=201.602, mem=57M797
206.58/203.75 decisions=409403, wrong=204069, backtracks=13827, failedAssignments=201776, nogoods=11460, foundSolutions=8, bestBound=83
206.58/203.75
206.69/203.85 num=243, depth=1..2, filters=2270919, revisions=(3067428,useless=539009), ccks=1706926757, wck=201.697, mem=57M797
206.69/203.85 decisions=409426, wrong=204080, backtracks=13828, failedAssignments=201787, nogoods=11468, foundSolutions=8, bestBound=83
206.69/203.85
206.69/203.88 num=244, depth=2..3, filters=2271305, revisions=(3068012,useless=539128), ccks=1707220774, wck=201.737, mem=57M797
206.69/203.88 decisions=409451, wrong=204091, backtracks=13830, failedAssignments=201798, nogoods=11474, foundSolutions=8, bestBound=83
206.69/203.88
206.79/203.95 num=245, depth=1..4, filters=2271643, revisions=(3068501,useless=539254), ccks=1707830354, wck=201.803, mem=57M797
206.79/203.95 decisions=409481, wrong=204104, backtracks=13833, failedAssignments=201810, nogoods=11483, foundSolutions=8, bestBound=83
206.79/203.95
206.90/204.01 num=246, depth=2..4, filters=2272145, revisions=(3069207,useless=539403), ccks=1708317641, wck=201.863, mem=57M797
206.90/204.01 decisions=409514, wrong=204119, backtracks=13836, failedAssignments=201823, nogoods=11488, foundSolutions=8, bestBound=83
206.90/204.01
206.90/204.05 num=247, depth=4..7, filters=2272576, revisions=(3069809,useless=539539), ccks=1708647072, wck=201.901, mem=57M797
206.90/204.05 decisions=409550, wrong=204134, backtracks=13839, failedAssignments=201837, nogoods=11498, foundSolutions=8, bestBound=83
206.90/204.05
207.00/204.11 num=248, depth=2..4, filters=2273110, revisions=(3070610,useless=539692), ccks=1709080107, wck=201.96, mem=60M155
207.00/204.11 decisions=409587, wrong=204151, backtracks=13843, failedAssignments=201853, nogoods=11504, foundSolutions=8, bestBound=83
207.00/204.11
207.00/204.17 num=249, depth=2..3, filters=2273726, revisions=(3071555,useless=539906), ccks=1709503619, wck=202.018, mem=60M155
207.00/204.17 decisions=409625, wrong=204169, backtracks=13849, failedAssignments=201870, nogoods=11514, foundSolutions=8, bestBound=83
207.00/204.17
207.09/204.24 num=250, depth=1..2, filters=2274038, revisions=(3072025,useless=540046), ccks=1710161771, wck=202.089, mem=60M155
207.09/204.24 decisions=409665, wrong=204188, backtracks=13855, failedAssignments=201889, nogoods=11522, foundSolutions=8, bestBound=83
207.09/204.24
207.19/204.31 num=251, depth=1..4, filters=2274752, revisions=(3073100,useless=540275), ccks=1710743553, wck=202.163, mem=60M155
207.19/204.31 decisions=409710, wrong=204209, backtracks=13860, failedAssignments=201910, nogoods=11526, foundSolutions=8, bestBound=83
207.19/204.31
207.19/204.38 num=252, depth=1..5, filters=2275265, revisions=(3073837,useless=540446), ccks=1711386332, wck=202.234, mem=60M155
207.19/204.38 decisions=409761, wrong=204233, backtracks=13862, failedAssignments=201933, nogoods=11545, foundSolutions=8, bestBound=83
207.19/204.38
207.40/204.51 num=253, depth=2..4, filters=2276537, revisions=(3075642,useless=540846), ccks=1712433908, wck=202.362, mem=60M155
207.40/204.51 decisions=409832, wrong=204267, backtracks=13874, failedAssignments=201958, nogoods=11554, foundSolutions=8, bestBound=83
207.40/204.51
207.50/204.63 num=254, depth=3..6, filters=2277696, revisions=(3077254,useless=541196), ccks=1713486455, wck=202.48, mem=62M513
207.50/204.63 decisions=409900, wrong=204299, backtracks=13879, failedAssignments=201986, nogoods=11562, foundSolutions=8, bestBound=83
207.50/204.63
207.60/204.73 num=255, depth=0..6, filters=2278350, revisions=(3078162,useless=541373), ccks=1714432843, wck=202.581, mem=62M513
207.60/204.73 decisions=409969, wrong=204331, backtracks=13882, failedAssignments=202017, nogoods=11588, foundSolutions=8, bestBound=83
207.60/204.73
207.70/204.87 num=256, depth=2..5, filters=2279785, revisions=(3080205,useless=541755), ccks=1715547478, wck=202.723, mem=62M513
207.70/204.87 decisions=410054, wrong=204372, backtracks=13895, failedAssignments=202051, nogoods=11601, foundSolutions=8, bestBound=83
207.70/204.87
207.80/204.97 num=257, depth=3..7, filters=2281071, revisions=(3081937,useless=542089), ccks=1716367895, wck=202.817, mem=62M513
207.80/204.97 decisions=410143, wrong=204414, backtracks=13900, failedAssignments=202088, nogoods=11623, foundSolutions=8, bestBound=83
207.80/204.97
208.01/205.15 num=258, depth=1..6, filters=2282239, revisions=(3083558,useless=542470), ccks=1718012362, wck=202.999, mem=64M872
208.01/205.15 decisions=410244, wrong=204462, backtracks=13913, failedAssignments=202129, nogoods=11645, foundSolutions=8, bestBound=83
208.01/205.15
208.20/205.30 num=259, depth=2..4, filters=2283678, revisions=(3085622,useless=542923), ccks=1719266376, wck=203.156, mem=64M872
208.20/205.30 decisions=410343, wrong=204510, backtracks=13927, failedAssignments=202174, nogoods=11658, foundSolutions=8, bestBound=83
208.20/205.30
208.30/205.45 num=260, depth=2..4, filters=2285867, revisions=(3088825,useless=543490), ccks=1720227037, wck=203.3, mem=67M230
208.30/205.45 decisions=410457, wrong=204566, backtracks=13945, failedAssignments=202224, nogoods=11664, foundSolutions=8, bestBound=83
208.30/205.45
208.50/205.66 num=261, depth=0..4, filters=2287694, revisions=(3091483,useless=544111), ccks=1721922307, wck=203.516, mem=67M230
208.50/205.66 decisions=410579, wrong=204625, backtracks=13970, failedAssignments=202279, nogoods=11672, foundSolutions=8, bestBound=83
208.50/205.66
208.70/205.82 num=262, depth=1..4, filters=2289631, revisions=(3094405,useless=544769), ccks=1723007892, wck=203.671, mem=67M230
208.70/205.82 decisions=410705, wrong=204687, backtracks=13990, failedAssignments=202340, nogoods=11687, foundSolutions=8, bestBound=83
208.70/205.82
208.80/205.94 num=263, depth=1..6, filters=2290495, revisions=(3095615,useless=545086), ccks=1724117701, wck=203.796, mem=69M588
208.80/205.94 decisions=410844, wrong=204754, backtracks=13997, failedAssignments=202407, nogoods=11728, foundSolutions=8, bestBound=83
208.80/205.94
209.01/206.14 num=264, depth=1..4, filters=2292717, revisions=(3098981,useless=545736), ccks=1725494082, wck=203.987, mem=69M588
209.01/206.14 decisions=411013, wrong=204837, backtracks=14023, failedAssignments=202481, nogoods=11740, foundSolutions=8, bestBound=83
209.01/206.14
209.30/206.41 num=265, depth=2..5, filters=2296256, revisions=(3104062,useless=546833), ccks=1727630457, wck=204.267, mem=71M946
209.30/206.41 decisions=411212, wrong=204934, backtracks=14054, failedAssignments=202562, nogoods=11749, foundSolutions=8, bestBound=83
209.30/206.41
209.50/206.60 num=266, depth=2..6, filters=2298025, revisions=(3106387,useless=547304), ccks=1729307428, wck=204.45, mem=74M304
209.50/206.60 decisions=411399, wrong=205025, backtracks=14063, failedAssignments=202651, nogoods=11802, foundSolutions=8, bestBound=83
209.50/206.60
209.60/206.76 num=267, depth=2..4, filters=2300025, revisions=(3109332,useless=547807), ccks=1730478171, wck=204.608, mem=74M304
209.60/206.76 decisions=411599, wrong=205124, backtracks=14078, failedAssignments=202749, nogoods=11821, foundSolutions=8, bestBound=83
209.60/206.76
209.70/206.81 num=268, depth=3..7, filters=2300514, revisions=(3109994,useless=547943), ccks=1730949227, wck=204.663, mem=74M304
209.70/206.81 decisions=411821, wrong=205232, backtracks=14080, failedAssignments=202857, nogoods=11854, foundSolutions=8, bestBound=83
209.70/206.81
209.70/206.88 num=269, depth=1..5, filters=2301026, revisions=(3110717,useless=548078), ccks=1731461009, wck=204.731, mem=74M304
209.70/206.88 decisions=412063, wrong=205351, backtracks=14084, failedAssignments=202976, nogoods=11881, foundSolutions=8, bestBound=83
209.70/206.88
210.01/207.19 num=270, depth=1..5, filters=2304712, revisions=(3116069,useless=549090), ccks=1733733823, wck=205.045, mem=76M662
210.01/207.19 decisions=412341, wrong=205488, backtracks=14121, failedAssignments=203107, nogoods=11896, foundSolutions=8, bestBound=83
210.01/207.19
210.40/207.59 num=271, depth=1..5, filters=2309271, revisions=(3122768,useless=550320), ccks=1736756648, wck=205.437, mem=79M20
210.40/207.59 decisions=412689, wrong=205660, backtracks=14163, failedAssignments=203251, nogoods=11912, foundSolutions=8, bestBound=83
210.40/207.59
210.80/207.94 num=272, depth=0..6, filters=2313409, revisions=(3128658,useless=551718), ccks=1739530221, wck=205.789, mem=81M378
210.80/207.94 decisions=413026, wrong=205826, backtracks=14197, failedAssignments=203409, nogoods=11980, foundSolutions=8, bestBound=83
210.80/207.94
211.20/208.30 num=273, depth=2..5, filters=2317608, revisions=(3134515,useless=552672), ccks=1742535716, wck=206.157, mem=83M737
211.20/208.30 decisions=413396, wrong=206009, backtracks=14220, failedAssignments=203583, nogoods=11993, foundSolutions=8, bestBound=83
211.20/208.30
211.20/208.39 num=274, depth=4..7, filters=2318605, revisions=(3135854,useless=552950), ccks=1743181290, wck=206.239, mem=86M95
211.20/208.39 decisions=413784, wrong=206200, backtracks=14229, failedAssignments=203774, nogoods=12002, foundSolutions=8, bestBound=83
211.20/208.39
211.60/208.72 num=275, depth=1..4, filters=2323293, revisions=(3142818,useless=554375), ccks=1745479926, wck=206.569, mem=88M453
211.60/208.72 decisions=414218, wrong=206416, backtracks=14263, failedAssignments=203985, nogoods=12008, foundSolutions=8, bestBound=83
211.60/208.72
211.91/209.07 num=276, depth=1..3, filters=2327903, revisions=(3149538,useless=555718), ccks=1747987832, wck=206.921, mem=90M811
211.91/209.07 decisions=414697, wrong=206654, backtracks=14304, failedAssignments=204217, nogoods=12027, foundSolutions=8, bestBound=83
211.91/209.07
212.40/209.58 num=277, depth=1..5, filters=2334662, revisions=(3159076,useless=557336), ccks=1751735288, wck=207.428, mem=95M527
212.40/209.58 decisions=415236, wrong=206922, backtracks=14360, failedAssignments=204472, nogoods=12055, foundSolutions=8, bestBound=83
212.40/209.58
212.80/209.91 num=278, depth=4..7, filters=2338887, revisions=(3164970,useless=558617), ccks=1754672345, wck=207.764, mem=97M886
212.80/209.91 decisions=415803, wrong=207203, backtracks=14392, failedAssignments=204753, nogoods=12118, foundSolutions=8, bestBound=83
212.80/209.91
212.91/210.10 num=279, depth=2..5, filters=2341782, revisions=(3169047,useless=559657), ccks=1756093231, wck=207.95, mem=97M886
212.91/210.10 decisions=416424, wrong=207512, backtracks=14419, failedAssignments=205062, nogoods=12128, foundSolutions=8, bestBound=83
212.91/210.10
213.80/210.95 num=280, depth=1..6, filters=2349541, revisions=(3180099,useless=561836), ccks=1763238229, wck=208.8, mem=102M602
213.80/210.95 decisions=417128, wrong=207862, backtracks=14466, failedAssignments=205402, nogoods=12143, foundSolutions=8, bestBound=83
213.80/210.95
214.40/211.59 num=281, depth=1..6, filters=2357793, revisions=(3191681,useless=564350), ccks=1768513421, wck=209.438, mem=109M676
214.40/211.59 decisions=417899, wrong=208246, backtracks=14524, failedAssignments=205776, nogoods=12171, foundSolutions=8, bestBound=83
214.40/211.59
215.31/212.45 num=282, depth=1..4, filters=2367802, revisions=(3206112,useless=567120), ccks=1775073221, wck=210.302, mem=114M393
215.31/212.45 decisions=418747, wrong=208669, backtracks=14605, failedAssignments=206187, nogoods=12190, foundSolutions=8, bestBound=83
215.31/212.45
216.01/213.13 num=283, depth=3..7, filters=2379994, revisions=(3222250,useless=570056), ccks=1780923136, wck=210.983, mem=119M109
216.01/213.13 decisions=419701, wrong=209143, backtracks=14660, failedAssignments=206639, nogoods=12289, foundSolutions=8, bestBound=83
216.01/213.13
216.31/213.42 num=284, depth=2..7, filters=2383503, revisions=(3226903,useless=570977), ccks=1782999907, wck=211.272, mem=121M467
216.31/213.42 decisions=420714, wrong=209646, backtracks=14688, failedAssignments=207136, nogoods=12360, foundSolutions=8, bestBound=83
216.31/213.42
216.61/213.76 num=285, depth=1..7, filters=2387332, revisions=(3232022,useless=571933), ccks=1785261635, wck=211.612, mem=121M467
216.61/213.76 decisions=421817, wrong=210196, backtracks=14730, failedAssignments=207683, nogoods=12435, foundSolutions=8, bestBound=83
216.61/213.76
217.01/214.20 num=286, depth=1..6, filters=2393197, revisions=(3240326,useless=573618), ccks=1788101195, wck=212.048, mem=126M183
217.01/214.20 decisions=423038, wrong=210805, backtracks=14784, failedAssignments=208285, nogoods=12553, foundSolutions=8, bestBound=83
217.01/214.20
218.41/215.56 num=287, depth=1..5, filters=2410523, revisions=(3264992,useless=578090), ccks=1798284739, wck=213.413, mem=135M616
218.41/215.56 decisions=424452, wrong=211510, backtracks=14923, failedAssignments=208947, nogoods=12580, foundSolutions=8, bestBound=83
218.41/215.56
219.32/216.44 num=288, depth=3..7, filters=2420398, revisions=(3279155,useless=581172), ccks=1805892578, wck=214.296, mem=24M404
219.32/216.44 decisions=425919, wrong=212241, backtracks=15008, failedAssignments=209675, nogoods=12612, foundSolutions=8, bestBound=83
219.32/216.44
220.11/217.28 num=289, depth=3..6, filters=2434228, revisions=(3298563,useless=585750), ccks=1812825569, wck=215.13, mem=31M375
220.11/217.28 decisions=427538, wrong=213048, backtracks=15111, failedAssignments=210476, nogoods=12714, foundSolutions=8, bestBound=83
220.11/217.28
221.31/218.43 num=290, depth=0..6, filters=2449436, revisions=(3319590,useless=590133), ccks=1821970681, wck=216.278, mem=40M670
221.31/218.43 decisions=429327, wrong=213940, backtracks=15228, failedAssignments=211357, nogoods=12768, foundSolutions=8, bestBound=83
221.31/218.43
223.51/220.63 num=291, depth=1..6, filters=2473996, revisions=(3353805,useless=596170), ccks=1839952168, wck=218.479, mem=52M288
223.51/220.63 decisions=431376, wrong=214962, backtracks=15409, failedAssignments=212327, nogoods=12849, foundSolutions=8, bestBound=83
223.51/220.63
225.02/222.15 num=292, depth=1..5, filters=2490622, revisions=(3377622,useless=600566), ccks=1851619246, wck=219.998, mem=63M906
225.02/222.15 decisions=433548, wrong=216047, backtracks=15541, failedAssignments=213394, nogoods=12875, foundSolutions=8, bestBound=83
225.02/222.15
225.71/222.85 num=293, depth=3..7, filters=2507245, revisions=(3398830,useless=603982), ccks=1857417532, wck=220.698, mem=70M877
225.71/222.85 decisions=435914, wrong=217228, backtracks=15600, failedAssignments=214567, nogoods=12942, foundSolutions=8, bestBound=83
225.71/222.85
227.03/224.17 num=294, depth=1..6, filters=2524996, revisions=(3423383,useless=609364), ccks=1867761023, wck=222.026, mem=80M172
227.03/224.17 decisions=438564, wrong=218550, backtracks=15748, failedAssignments=215858, nogoods=13027, foundSolutions=8, bestBound=83
227.03/224.17
228.42/225.52 num=295, depth=1..6, filters=2537753, revisions=(3440140,useless=612965), ccks=1876017229, wck=223.376, mem=89M467
228.42/225.52 decisions=441443, wrong=219988, backtracks=15787, failedAssignments=217278, nogoods=13051, foundSolutions=8, bestBound=83
228.42/225.52
229.52/226.60 num=296, depth=1..9, filters=2552699, revisions=(3461476,useless=617356), ccks=1883687794, wck=224.45, mem=98M761
229.52/226.60 decisions=444604, wrong=221564, backtracks=15912, failedAssignments=218840, nogoods=13133, foundSolutions=8, bestBound=83
229.52/226.60
231.12/228.28 num=297, depth=0..8, filters=2563035, revisions=(3475861,useless=619858), ccks=1898786826, wck=226.134, mem=105M732
231.12/228.28 decisions=448061, wrong=223290, backtracks=15987, failedAssignments=220558, nogoods=13234, foundSolutions=8, bestBound=83
231.12/228.28
233.03/230.15 num=298, depth=0..6, filters=2588167, revisions=(3512046,useless=627008), ccks=1912617864, wck=228.002, mem=124M321
233.03/230.15 decisions=451874, wrong=225194, backtracks=16159, failedAssignments=222448, nogoods=13332, foundSolutions=8, bestBound=83
233.03/230.15
233.93/231.09 num=299, depth=1..8, filters=2598372, revisions=(3525843,useless=629976), ccks=1919045790, wck=228.944, mem=128M969
233.93/231.09 decisions=456051, wrong=227279, backtracks=16279, failedAssignments=224527, nogoods=13443, foundSolutions=8, bestBound=83
233.93/231.09
236.13/233.22 num=300, depth=1..6, filters=2625050, revisions=(3563392,useless=637460), ccks=1934409773, wck=231.071, mem=26M825
236.13/233.22 decisions=460717, wrong=229609, backtracks=16509, failedAssignments=226814, nogoods=13575, foundSolutions=8, bestBound=83
236.13/233.22
238.24/235.35 num=301, depth=1..7, filters=2649730, revisions=(3598697,useless=644861), ccks=1950523046, wck=233.198, mem=42M881
238.24/235.35 decisions=465784, wrong=232140, backtracks=16717, failedAssignments=229330, nogoods=13683, foundSolutions=8, bestBound=83
238.24/235.35
241.14/238.25 num=302, depth=1..5, filters=2692299, revisions=(3659844,useless=656501), ccks=1970406323, wck=236.104, mem=68M112
241.14/238.25 decisions=471447, wrong=234970, backtracks=17053, failedAssignments=232098, nogoods=13748, foundSolutions=8, bestBound=83
241.14/238.25
244.54/241.60 num=303, depth=1..6, filters=2743461, revisions=(3728551,useless=670765), ccks=1998510597, wck=239.456, mem=97M930
244.54/241.60 decisions=477628, wrong=238059, backtracks=17316, failedAssignments=235142, nogoods=13774, foundSolutions=8, bestBound=83
244.54/241.60
247.14/244.27 num=304, depth=1..7, filters=2777817, revisions=(3777371,useless=681482), ccks=2017774640, wck=242.125, mem=118M573
247.14/244.27 decisions=484401, wrong=241443, backtracks=17591, failedAssignments=238491, nogoods=13890, foundSolutions=8, bestBound=83
247.14/244.27
249.14/246.27 num=305, depth=0..6, filters=2807444, revisions=(3815696,useless=687278), ccks=2032514325, wck=244.118, mem=134M629
249.14/246.27 decisions=491787, wrong=245133, backtracks=17753, failedAssignments=242175, nogoods=13964, foundSolutions=8, bestBound=83
249.14/246.27
252.85/250.00 num=306, depth=0..7, filters=2856858, revisions=(3881586,useless=700155), ccks=2063732112, wck=247.85, mem=47M181
252.85/250.00 decisions=500003, wrong=249238, backtracks=18086, failedAssignments=246227, nogoods=14021, foundSolutions=8, bestBound=83
252.85/250.00
255.45/252.57 num=307, depth=1..10, filters=2902872, revisions=(3942628,useless=712205), ccks=2083122349, wck=250.423, mem=72M76
255.45/252.57 decisions=508966, wrong=253716, backtracks=18328, failedAssignments=250684, nogoods=14096, foundSolutions=8, bestBound=83
255.45/252.57
258.55/255.66 num=308, depth=1..9, filters=2946451, revisions=(4001507,useless=723711), ccks=2106100083, wck=253.512, mem=94M708
258.55/255.66 decisions=518911, wrong=258684, backtracks=18658, failedAssignments=255587, nogoods=14192, foundSolutions=8, bestBound=83
258.55/255.66
263.35/260.47 num=309, depth=0..8, filters=3002369, revisions=(4080833,useless=739699), ccks=2144654022, wck=258.324, mem=133M182
263.35/260.47 decisions=529763, wrong=264107, backtracks=19045, failedAssignments=260981, nogoods=14307, foundSolutions=8, bestBound=83
263.35/260.47
265.97/263.03 num=310, depth=1..11, filters=3035462, revisions=(4126573,useless=749286), ccks=2161161439, wck=260.88, mem=37M930
265.97/263.03 decisions=541690, wrong=270068, backtracks=19335, failedAssignments=266914, nogoods=14381, foundSolutions=8, bestBound=83
265.97/263.03
269.97/267.07 num=311, depth=0..8, filters=3090085, revisions=(4206869,useless=771832), ccks=2193345932, wck=264.92, mem=84M810
269.97/267.07 decisions=554756, wrong=276598, backtracks=19562, failedAssignments=273440, nogoods=14501, foundSolutions=8, bestBound=83
269.97/267.07
274.97/272.08 num=312, depth=1..8, filters=3181092, revisions=(4325827,useless=793831), ccks=2233057941, wck=269.933, mem=131M689
274.97/272.08 decisions=569209, wrong=283821, backtracks=19975, failedAssignments=280619, nogoods=14653, foundSolutions=8, bestBound=83
274.97/272.08
279.26/276.39 num=313, depth=0..10, filters=3224272, revisions=(4384687,useless=806101), ccks=2266530934, wck=274.24, mem=48M752
279.26/276.39 decisions=585047, wrong=291738, backtracks=20286, failedAssignments=288516, nogoods=14731, foundSolutions=8, bestBound=83
279.26/276.39
284.46/281.60 o 82
284.46/281.60 num=314, depth=1..65, filters=3312376, revisions=(4502127,useless=827594), ccks=2308924725, wck=279.448, mem=90M577
284.46/281.60 decisions=599580, wrong=298994, backtracks=20827, failedAssignments=295718, nogoods=14945, foundSolutions=9, bestBound=82
284.46/281.60
289.46/286.51 num=315, depth=1..9, filters=3377135, revisions=(4587907,useless=842919), ccks=2343823346, wck=284.357, mem=121M395
289.46/286.51 decisions=618821, wrong=308611, backtracks=21358, failedAssignments=305273, nogoods=15046, foundSolutions=9, bestBound=82
289.46/286.51
289.46/286.56 num=316, depth=1..3, filters=3377435, revisions=(4588346,useless=843023), ccks=2344260537, wck=284.409, mem=121M395
289.46/286.56 decisions=618846, wrong=308622, backtracks=21361, failedAssignments=305284, nogoods=15051, foundSolutions=9, bestBound=82
289.46/286.56
289.56/286.62 num=317, depth=0..4, filters=3377928, revisions=(4589090,useless=843157), ccks=2344784347, wck=284.474, mem=121M395
289.56/286.62 decisions=618877, wrong=308636, backtracks=21367, failedAssignments=305296, nogoods=15058, foundSolutions=9, bestBound=82
289.56/286.62
289.56/286.68 num=318, depth=2..4, filters=3378393, revisions=(4589768,useless=843303), ccks=2345235973, wck=284.53, mem=123M596
289.56/286.68 decisions=618908, wrong=308650, backtracks=21369, failedAssignments=305309, nogoods=15063, foundSolutions=9, bestBound=82
289.56/286.68
289.66/286.72 num=319, depth=3..4, filters=3378779, revisions=(4590331,useless=843393), ccks=2345582002, wck=284.571, mem=123M596
289.66/286.72 decisions=618941, wrong=308665, backtracks=21370, failedAssignments=305323, nogoods=15076, foundSolutions=9, bestBound=82
289.66/286.72
289.66/286.77 num=320, depth=3..6, filters=3379220, revisions=(4590983,useless=843549), ccks=2346069381, wck=284.625, mem=123M596
289.66/286.77 decisions=618978, wrong=308681, backtracks=21372, failedAssignments=305339, nogoods=15081, foundSolutions=9, bestBound=82
289.66/286.77
289.76/286.86 num=321, depth=2..4, filters=3379814, revisions=(4591852,useless=843761), ccks=2346815113, wck=284.711, mem=123M596
289.76/286.86 decisions=619018, wrong=308700, backtracks=21378, failedAssignments=305356, nogoods=15084, foundSolutions=9, bestBound=82
289.76/286.86
289.86/286.91 num=322, depth=4..5, filters=3380386, revisions=(4592667,useless=843947), ccks=2347206710, wck=284.757, mem=123M596
289.86/286.91 decisions=619062, wrong=308720, backtracks=21381, failedAssignments=305375, nogoods=15096, foundSolutions=9, bestBound=82
289.86/286.91
289.86/286.99 num=323, depth=2..4, filters=3381219, revisions=(4593840,useless=844210), ccks=2347863492, wck=284.838, mem=123M596
289.86/286.99 decisions=619120, wrong=308747, backtracks=21388, failedAssignments=305396, nogoods=15107, foundSolutions=9, bestBound=82
289.86/286.99
289.97/287.04 num=324, depth=2..4, filters=3381841, revisions=(4594783,useless=844404), ccks=2348248630, wck=284.892, mem=125M797
289.97/287.04 decisions=619170, wrong=308771, backtracks=21393, failedAssignments=305419, nogoods=15111, foundSolutions=9, bestBound=82
289.97/287.04
289.97/287.10 num=325, depth=3..6, filters=3382485, revisions=(4595680,useless=844596), ccks=2348742282, wck=284.949, mem=125M797
289.97/287.10 decisions=619226, wrong=308796, backtracks=21398, failedAssignments=305444, nogoods=15123, foundSolutions=9, bestBound=82
289.97/287.10
290.07/287.18 num=326, depth=2..4, filters=3383680, revisions=(4597400,useless=844940), ccks=2349361085, wck=285.034, mem=125M797
290.07/287.18 decisions=619298, wrong=308831, backtracks=21409, failedAssignments=305472, nogoods=15126, foundSolutions=9, bestBound=82
290.07/287.18
290.16/287.23 num=327, depth=4..5, filters=3384488, revisions=(4598537,useless=845184), ccks=2349719733, wck=285.079, mem=125M797
290.16/287.23 decisions=619365, wrong=308862, backtracks=21413, failedAssignments=305503, nogoods=15138, foundSolutions=9, bestBound=82
290.16/287.23
290.26/287.32 num=328, depth=2..6, filters=3385556, revisions=(4600057,useless=845556), ccks=2350490038, wck=285.175, mem=125M797
290.26/287.32 decisions=619449, wrong=308901, backtracks=21423, failedAssignments=305537, nogoods=15157, foundSolutions=9, bestBound=82
290.26/287.32
290.36/287.42 num=329, depth=3..5, filters=3386575, revisions=(4601652,useless=845911), ccks=2351246833, wck=285.273, mem=127M999
290.36/287.42 decisions=619528, wrong=308939, backtracks=21437, failedAssignments=305574, nogoods=15180, foundSolutions=9, bestBound=82
290.36/287.42
290.36/287.49 num=330, depth=3..6, filters=3387513, revisions=(4602970,useless=846211), ccks=2351844254, wck=285.343, mem=127M999
290.36/287.49 decisions=619617, wrong=308981, backtracks=21443, failedAssignments=305615, nogoods=15201, foundSolutions=9, bestBound=82
290.36/287.49
290.57/287.60 num=331, depth=2..5, filters=3388528, revisions=(4604409,useless=846521), ccks=2352761068, wck=285.452, mem=127M999
290.57/287.60 decisions=619726, wrong=309033, backtracks=21452, failedAssignments=305660, nogoods=15227, foundSolutions=9, bestBound=82
290.57/287.60
290.67/287.71 num=332, depth=3..5, filters=3389907, revisions=(4606516,useless=846998), ccks=2353572616, wck=285.567, mem=130M200
290.67/287.71 decisions=619835, wrong=309086, backtracks=21469, failedAssignments=305710, nogoods=15246, foundSolutions=9, bestBound=82
290.67/287.71
290.77/287.88 num=333, depth=1..6, filters=3391073, revisions=(4608107,useless=847323), ccks=2355072486, wck=285.731, mem=130M200
290.77/287.88 decisions=619957, wrong=309145, backtracks=21474, failedAssignments=305765, nogoods=15290, foundSolutions=9, bestBound=82
290.77/287.88
290.98/288.07 num=334, depth=2..5, filters=3393408, revisions=(4611383,useless=847862), ccks=2356497771, wck=285.919, mem=132M401
290.98/288.07 decisions=620097, wrong=309213, backtracks=21493, failedAssignments=305826, nogoods=15309, foundSolutions=9, bestBound=82
290.98/288.07
291.08/288.18 num=335, depth=2..5, filters=3394683, revisions=(4613067,useless=848188), ccks=2357516280, wck=286.034, mem=132M401
291.08/288.18 decisions=620236, wrong=309280, backtracks=21498, failedAssignments=305893, nogoods=15342, foundSolutions=9, bestBound=82
291.08/288.18
291.37/288.42 num=336, depth=2..4, filters=3397081, revisions=(4616450,useless=848895), ccks=2359412164, wck=286.271, mem=132M437
291.37/288.42 decisions=620400, wrong=309360, backtracks=21518, failedAssignments=305967, nogoods=15356, foundSolutions=9, bestBound=82
291.37/288.42
291.59/288.64 num=337, depth=3..6, filters=3399838, revisions=(4620110,useless=849453), ccks=2361264756, wck=286.493, mem=24M617
291.59/288.64 decisions=620595, wrong=309455, backtracks=21537, failedAssignments=306048, nogoods=15375, foundSolutions=9, bestBound=82
291.59/288.64
291.69/288.74 num=338, depth=3..6, filters=3401632, revisions=(4622554,useless=849945), ccks=2362083971, wck=286.593, mem=24M617
291.69/288.74 decisions=620778, wrong=309544, backtracks=21546, failedAssignments=306137, nogoods=15397, foundSolutions=9, bestBound=82
291.69/288.74
291.89/288.92 num=339, depth=2..5, filters=3404303, revisions=(4626397,useless=850647), ccks=2363404735, wck=286.775, mem=26M787
291.89/288.92 decisions=620999, wrong=309653, backtracks=21565, failedAssignments=306235, nogoods=15408, foundSolutions=9, bestBound=82
291.89/288.92
292.00/289.03 num=340, depth=3..6, filters=3406605, revisions=(4629554,useless=851288), ccks=2364233004, wck=286.882, mem=28M957
292.00/289.03 decisions=621220, wrong=309761, backtracks=21578, failedAssignments=306343, nogoods=15420, foundSolutions=9, bestBound=82
292.00/289.03
292.29/289.30 num=341, depth=1..5, filters=3410568, revisions=(4635284,useless=852407), ccks=2366083495, wck=287.156, mem=31M127
292.29/289.30 decisions=621490, wrong=309894, backtracks=21615, failedAssignments=306462, nogoods=15433, foundSolutions=9, bestBound=82
292.29/289.30
292.59/289.64 num=342, depth=1..6, filters=3413151, revisions=(4638916,useless=853312), ccks=2368974738, wck=287.487, mem=31M127
292.59/289.64 decisions=621776, wrong=310034, backtracks=21642, failedAssignments=306593, nogoods=15489, foundSolutions=9, bestBound=82
292.59/289.64
292.89/289.96 num=343, depth=2..5, filters=3417340, revisions=(4645284,useless=854642), ccks=2371285023, wck=287.811, mem=35M468
292.89/289.96 decisions=622079, wrong=310184, backtracks=21680, failedAssignments=306737, nogoods=15502, foundSolutions=9, bestBound=82
292.89/289.96
293.00/290.03 num=344, depth=4..7, filters=3418693, revisions=(4647062,useless=854966), ccks=2371769858, wck=287.879, mem=35M468
293.00/290.03 decisions=622404, wrong=310344, backtracks=21689, failedAssignments=306895, nogoods=15554, foundSolutions=9, bestBound=82
293.00/290.03
293.29/290.34 num=345, depth=2..4, filters=3422335, revisions=(4652760,useless=856067), ccks=2374119714, wck=288.197, mem=37M638
293.29/290.34 decisions=622755, wrong=310518, backtracks=21712, failedAssignments=307069, nogoods=15578, foundSolutions=9, bestBound=82
293.29/290.34
293.49/290.56 num=346, depth=3..7, filters=3426491, revisions=(4658425,useless=856965), ccks=2375826832, wck=288.409, mem=39M808
293.49/290.56 decisions=623152, wrong=310714, backtracks=21734, failedAssignments=307260, nogoods=15606, foundSolutions=9, bestBound=82
293.49/290.56
293.89/290.91 num=347, depth=1..5, filters=3431744, revisions=(4666088,useless=858457), ccks=2378364847, wck=288.762, mem=41M978
293.89/290.91 decisions=623608, wrong=310941, backtracks=21771, failedAssignments=307471, nogoods=15614, foundSolutions=9, bestBound=82
293.89/290.91
294.10/291.18 num=348, depth=3..7, filters=3438250, revisions=(4674951,useless=860096), ccks=2380387171, wck=289.032, mem=46M318
294.10/291.18 decisions=624105, wrong=311187, backtracks=21824, failedAssignments=307703, nogoods=15655, foundSolutions=9, bestBound=82
294.10/291.18
294.69/291.78 num=349, depth=2..6, filters=3444898, revisions=(4684228,useless=862161), ccks=2385655907, wck=289.627, mem=48M488
294.69/291.78 decisions=624630, wrong=311448, backtracks=21873, failedAssignments=307958, nogoods=15668, foundSolutions=9, bestBound=82
294.69/291.78
294.89/291.99 num=350, depth=3..6, filters=3447233, revisions=(4687345,useless=862691), ccks=2387498272, wck=289.841, mem=50M658
294.89/291.99 decisions=625197, wrong=311729, backtracks=21880, failedAssignments=308239, nogoods=15752, foundSolutions=9, bestBound=82
294.89/291.99
295.19/292.26 num=351, depth=1..7, filters=3449865, revisions=(4691180,useless=863612), ccks=2389611736, wck=290.114, mem=52M828
295.19/292.26 decisions=625830, wrong=312043, backtracks=21910, failedAssignments=308548, nogoods=15824, foundSolutions=9, bestBound=82
295.19/292.26
295.79/292.80 num=352, depth=2..5, filters=3458054, revisions=(4703294,useless=865994), ccks=2393260831, wck=290.653, mem=57M168
295.79/292.80 decisions=626538, wrong=312395, backtracks=21977, failedAssignments=308888, nogoods=15840, foundSolutions=9, bestBound=82
295.79/292.80
296.29/293.36 num=353, depth=1..6, filters=3463760, revisions=(4711079,useless=867468), ccks=2397753381, wck=291.207, mem=59M338
296.29/293.36 decisions=627316, wrong=312782, backtracks=22021, failedAssignments=309262, nogoods=15957, foundSolutions=9, bestBound=82
296.29/293.36
296.49/293.57 num=354, depth=1..7, filters=3466995, revisions=(4715444,useless=868304), ccks=2399216584, wck=291.422, mem=61M509
296.49/293.57 decisions=628156, wrong=313200, backtracks=22047, failedAssignments=309673, nogoods=15970, foundSolutions=9, bestBound=82
296.49/293.57
297.19/294.20 num=355, depth=1..6, filters=3475030, revisions=(4727042,useless=871200), ccks=2404348980, wck=292.053, mem=68M19
297.19/294.20 decisions=629068, wrong=313653, backtracks=22114, failedAssignments=310125, nogoods=16035, foundSolutions=9, bestBound=82
297.19/294.20
297.49/294.57 num=356, depth=2..5, filters=3479903, revisions=(4733699,useless=872416), ccks=2406766483, wck=292.417, mem=70M189
297.49/294.57 decisions=630096, wrong=314165, backtracks=22155, failedAssignments=310622, nogoods=16052, foundSolutions=9, bestBound=82
297.49/294.57
298.49/295.52 num=357, depth=2..5, filters=3494260, revisions=(4755099,useless=876703), ccks=2413268597, wck=293.369, mem=78M869
298.49/295.52 decisions=631254, wrong=314743, backtracks=22284, failedAssignments=311169, nogoods=16071, foundSolutions=9, bestBound=82
298.49/295.52
299.10/296.14 num=358, depth=3..7, filters=3510422, revisions=(4776771,useless=880531), ccks=2417907116, wck=293.992, mem=85M380
299.10/296.14 decisions=632554, wrong=315390, backtracks=22398, failedAssignments=311771, nogoods=16120, foundSolutions=9, bestBound=82
299.10/296.14
299.49/296.57 num=359, depth=2..6, filters=3515765, revisions=(4784025,useless=881764), ccks=2420786395, wck=294.423, mem=87M550
299.49/296.57 decisions=633907, wrong=316065, backtracks=22444, failedAssignments=312433, nogoods=16125, foundSolutions=9, bestBound=82
299.49/296.57
299.89/296.90 num=360, depth=3..7, filters=3524998, revisions=(4795940,useless=883819), ccks=2423032769, wck=294.756, mem=89M720
299.89/296.90 decisions=635429, wrong=316823, backtracks=22520, failedAssignments=313161, nogoods=16183, foundSolutions=9, bestBound=82
299.89/296.90
300.89/297.92 num=361, depth=1..7, filters=3534333, revisions=(4809314,useless=886456), ccks=2431023369, wck=295.769, mem=96M230
300.89/297.92 decisions=637063, wrong=317637, backtracks=22597, failedAssignments=313962, nogoods=16216, foundSolutions=9, bestBound=82
300.89/297.92
301.39/298.43 num=362, depth=0..6, filters=3540869, revisions=(4818588,useless=888237), ccks=2434470581, wck=296.284, mem=100M570
301.39/298.43 decisions=638837, wrong=318522, backtracks=22654, failedAssignments=314843, nogoods=16275, foundSolutions=9, bestBound=82
301.39/298.43
302.59/299.63 num=363, depth=1..6, filters=3556721, revisions=(4841060,useless=892473), ccks=2443173132, wck=297.487, mem=109M250
302.59/299.63 decisions=640848, wrong=319525, backtracks=22788, failedAssignments=315813, nogoods=16297, foundSolutions=9, bestBound=82
302.59/299.63
303.79/300.87 num=364, depth=1..7, filters=3568717, revisions=(4857962,useless=896276), ccks=2452937621, wck=298.719, mem=115M761
303.79/300.87 decisions=643004, wrong=320600, backtracks=22888, failedAssignments=316880, nogoods=16372, foundSolutions=9, bestBound=82
303.79/300.87
304.89/301.95 num=365, depth=1..10, filters=3583696, revisions=(4879285,useless=900260), ccks=2460695224, wck=299.8, mem=126M611
304.89/301.95 decisions=645388, wrong=321789, backtracks=22990, failedAssignments=318053, nogoods=16449, foundSolutions=9, bestBound=82
304.89/301.95
306.50/303.59 num=366, depth=1..9, filters=3605527, revisions=(4910384,useless=906187), ccks=2473359339, wck=301.442, mem=31M166
306.50/303.59 decisions=648023, wrong=323103, backtracks=23157, failedAssignments=319344, nogoods=16541, foundSolutions=9, bestBound=82
306.50/303.59
308.80/305.86 num=367, depth=1..5, filters=3639162, revisions=(4958984,useless=915453), ccks=2489371218, wck=303.713, mem=50M415
308.80/305.86 decisions=651000, wrong=324590, backtracks=23400, failedAssignments=320764, nogoods=16578, foundSolutions=9, bestBound=82
308.80/305.86
311.20/308.20 num=368, depth=1..7, filters=3675051, revisions=(5008712,useless=924547), ccks=2507868739, wck=306.056, mem=69M664
311.20/308.20 decisions=654245, wrong=326210, backtracks=23578, failedAssignments=322326, nogoods=16648, foundSolutions=9, bestBound=82
311.20/308.20
313.40/310.41 num=369, depth=1..6, filters=3699833, revisions=(5043500,useless=930464), ccks=2524808876, wck=308.267, mem=84M636
313.40/310.41 decisions=657773, wrong=327972, backtracks=23754, failedAssignments=324044, nogoods=16669, foundSolutions=9, bestBound=82
313.40/310.41
315.60/312.63 num=370, depth=1..7, filters=3740558, revisions=(5096975,useless=938488), ccks=2542634501, wck=310.483, mem=103M885
315.60/312.63 decisions=661631, wrong=329899, backtracks=23922, failedAssignments=325934, nogoods=16705, foundSolutions=9, bestBound=82
315.60/312.63
318.70/315.71 num=371, depth=1..7, filters=3777794, revisions=(5148669,useless=947946), ccks=2567097760, wck=313.56, mem=120M996
318.70/315.71 decisions=666002, wrong=332083, backtracks=24176, failedAssignments=328013, nogoods=16800, foundSolutions=9, bestBound=82
318.70/315.71
319.90/316.92 num=372, depth=1..8, filters=3793863, revisions=(5171048,useless=952030), ccks=2574562008, wck=314.771, mem=129M551
319.90/316.92 decisions=670619, wrong=334388, backtracks=24319, failedAssignments=330300, nogoods=16865, foundSolutions=9, bestBound=82
319.90/316.92
322.61/319.67 num=373, depth=0..9, filters=3823042, revisions=(5212240,useless=959834), ccks=2598558183, wck=317.524, mem=43M759
322.61/319.67 decisions=675717, wrong=336934, backtracks=24461, failedAssignments=332816, nogoods=16916, foundSolutions=9, bestBound=82
322.61/319.67
325.91/322.99 num=374, depth=0..6, filters=3864220, revisions=(5269560,useless=969956), ccks=2624461734, wck=320.842, mem=69M48
325.91/322.99 decisions=681312, wrong=339729, backtracks=24714, failedAssignments=335584, nogoods=16983, foundSolutions=9, bestBound=82
325.91/322.99
328.91/325.94 num=375, depth=1..8, filters=3900057, revisions=(5318787,useless=979220), ccks=2647725388, wck=323.797, mem=88M15
328.91/325.94 decisions=687536, wrong=342838, backtracks=24996, failedAssignments=338628, nogoods=17114, foundSolutions=9, bestBound=82
328.91/325.94
332.21/329.30 num=376, depth=1..6, filters=3946216, revisions=(5383799,useless=990712), ccks=2671482879, wck=327.147, mem=113M305
332.21/329.30 decisions=694399, wrong=346268, backtracks=25323, failedAssignments=341977, nogoods=17218, foundSolutions=9, bestBound=82
332.21/329.30
335.22/332.30 num=377, depth=1..8, filters=3989024, revisions=(5445148,useless=1002615), ccks=2691336094, wck=330.148, mem=33M89
335.22/332.30 decisions=701915, wrong=350024, backtracks=25709, failedAssignments=345661, nogoods=17325, foundSolutions=9, bestBound=82
335.22/332.30
338.32/335.38 num=378, depth=1..8, filters=4031013, revisions=(5504658,useless=1013312), ccks=2712121154, wck=333.233, mem=55M926
338.32/335.38 decisions=710160, wrong=354145, backtracks=26029, failedAssignments=349713, nogoods=17406, foundSolutions=9, bestBound=82
338.32/335.38
342.92/339.94 num=379, depth=1..8, filters=4108230, revisions=(5615611,useless=1035997), ccks=2743579703, wck=337.797, mem=103M675
342.92/339.94 decisions=719284, wrong=358704, backtracks=26566, failedAssignments=354170, nogoods=17511, foundSolutions=9, bestBound=82
342.92/339.94
347.53/344.57 num=380, depth=1..8, filters=4167577, revisions=(5696634,useless=1050703), ccks=2779225702, wck=342.418, mem=28M925
347.53/344.57 decisions=729318, wrong=363719, backtracks=27022, failedAssignments=359073, nogoods=17548, foundSolutions=9, bestBound=82
347.53/344.57
352.14/349.13 num=381, depth=1..6, filters=4249413, revisions=(5804628,useless=1070329), ccks=2818665181, wck=346.985, mem=75M952
352.14/349.13 decisions=740131, wrong=369124, backtracks=27233, failedAssignments=364467, nogoods=17665, foundSolutions=9, bestBound=82
352.14/349.13
358.23/355.20 num=382, depth=1..7, filters=4346856, revisions=(5941342,useless=1096036), ccks=2859607404, wck=353.052, mem=122M978
358.23/355.20 decisions=752391, wrong=375252, backtracks=27975, failedAssignments=370400, nogoods=17684, foundSolutions=9, bestBound=82
358.23/355.20
364.04/361.05 num=383, depth=1..7, filters=4441268, revisions=(6063726,useless=1114603), ccks=2910957961, wck=358.905, mem=75M151
364.04/361.05 decisions=765463, wrong=381785, backtracks=28200, failedAssignments=376926, nogoods=17852, foundSolutions=9, bestBound=82
364.04/361.05
367.94/364.98 num=384, depth=1..11, filters=4506435, revisions=(6146605,useless=1127659), ccks=2941514239, wck=362.835, mem=103M612
367.94/364.98 decisions=779980, wrong=389039, backtracks=28617, failedAssignments=384105, nogoods=17998, foundSolutions=9, bestBound=82
367.94/364.98
375.45/372.44 num=385, depth=0..7, filters=4604003, revisions=(6275939,useless=1153527), ccks=3002804737, wck=370.295, mem=56M717
375.45/372.44 decisions=795962, wrong=397027, backtracks=29148, failedAssignments=392002, nogoods=17999, foundSolutions=9, bestBound=82
375.45/372.44
378.75/375.76 num=386, depth=1..11, filters=4655377, revisions=(6344299,useless=1168188), ccks=3026205861, wck=373.611, mem=84M582
378.75/375.76 decisions=813373, wrong=405727, backtracks=29514, failedAssignments=400689, nogoods=18138, foundSolutions=9, bestBound=82
378.75/375.76
384.25/381.24 num=387, depth=1..10, filters=4734003, revisions=(6449965,useless=1188586), ccks=3066045749, wck=379.092, mem=28M865
384.25/381.24 decisions=832583, wrong=415329, backtracks=29974, failedAssignments=410244, nogoods=18173, foundSolutions=9, bestBound=82
384.25/381.24
392.07/389.08 num=388, depth=0..7, filters=4862768, revisions=(6629271,useless=1224984), ccks=3123334901, wck=386.933, mem=101M757
392.07/389.08 decisions=853938, wrong=426004, backtracks=30889, failedAssignments=420755, nogoods=18289, foundSolutions=9, bestBound=82
392.07/389.08
397.66/394.65 num=389, depth=1..11, filters=4959996, revisions=(6766705,useless=1255229), ccks=3159666094, wck=392.499, mem=65M845
397.66/394.65 decisions=877167, wrong=437615, backtracks=31498, failedAssignments=432317, nogoods=18389, foundSolutions=9, bestBound=82
397.66/394.65
408.57/405.56 num=390, depth=1..9, filters=5073625, revisions=(6928903,useless=1294612), ccks=3252058012, wck=403.413, mem=55M795
408.57/405.56 decisions=902672, wrong=450364, backtracks=32095, failedAssignments=445035, nogoods=18569, foundSolutions=9, bestBound=82
408.57/405.56
418.78/415.78 num=391, depth=1..12, filters=5202561, revisions=(7098233,useless=1322673), ccks=3336641036, wck=413.629, mem=30M677
418.78/415.78 decisions=930891, wrong=464470, backtracks=32688, failedAssignments=459025, nogoods=18650, foundSolutions=9, bestBound=82
418.78/415.78
427.47/424.40 num=392, depth=0..10, filters=5321558, revisions=(7267604,useless=1363003), ccks=3393257824, wck=422.249, mem=107M0
427.47/424.40 decisions=961908, wrong=479976, backtracks=33681, failedAssignments=474414, nogoods=18698, foundSolutions=9, bestBound=82
427.47/424.40
442.49/439.45 num=393, depth=1..9, filters=5533570, revisions=(7560051,useless=1419876), ccks=3509041413, wck=437.303, mem=45M506
442.49/439.45 decisions=996074, wrong=497057, backtracks=34787, failedAssignments=491342, nogoods=18769, foundSolutions=9, bestBound=82
442.49/439.45
462.70/459.65 num=394, depth=0..8, filters=5840042, revisions=(7989311,useless=1500246), ccks=3657974099, wck=457.505, mem=39M539
462.70/459.65 decisions=1034140, wrong=516087, backtracks=36562, failedAssignments=509963, nogoods=18840, foundSolutions=9, bestBound=82
462.70/459.65
480.91/477.88 num=395, depth=1..8, filters=6079823, revisions=(8313284,useless=1569042), ccks=3798898611, wck=475.737, mem=79M52
480.91/477.88 decisions=1075702, wrong=536866, backtracks=38235, failedAssignments=530447, nogoods=18962, foundSolutions=9, bestBound=82
480.91/477.88
500.92/497.84 num=396, depth=0..8, filters=6344217, revisions=(8674056,useless=1634866), ccks=3948862332, wck=495.687, mem=53M115
500.92/497.84 decisions=1121267, wrong=559645, backtracks=39798, failedAssignments=552979, nogoods=19012, foundSolutions=9, bestBound=82
500.92/497.84
517.83/514.70 num=397, depth=0..10, filters=6587650, revisions=(9002478,useless=1698386), ccks=4075917148, wck=512.552, mem=101M520
517.83/514.70 decisions=1171216, wrong=584616, backtracks=41442, failedAssignments=577764, nogoods=19100, foundSolutions=9, bestBound=82
517.83/514.70
545.85/542.78 num=398, depth=0..9, filters=6950282, revisions=(9515024,useless=1802392), ccks=4291398700, wck=540.636, mem=76M928
545.85/542.78 decisions=1226596, wrong=612303, backtracks=43406, failedAssignments=605028, nogoods=19219, foundSolutions=9, bestBound=82
545.85/542.78
579.18/576.10 num=399, depth=0..9, filters=7366915, revisions=(10080685,useless=1907017), ccks=4545248196, wck=573.949, mem=28M94
579.18/576.10 decisions=1288341, wrong=643172, backtracks=46572, failedAssignments=635018, nogoods=19387, foundSolutions=9, bestBound=82
579.18/576.10
594.68/591.53 num=400, depth=1..9, filters=7575831, revisions=(10359885,useless=1966381), ccks=4652351791, wck=589.379, mem=59M941
594.68/591.53 decisions=1354577, wrong=676287, backtracks=48219, failedAssignments=668007, nogoods=19529, foundSolutions=9, bestBound=82
594.68/591.53
612.99/609.81 num=401, depth=1..17, filters=7900935, revisions=(10810169,useless=2066785), ccks=4777609860, wck=607.658, mem=100M377
612.99/609.81 decisions=1427507, wrong=712746, backtracks=50016, failedAssignments=704295, nogoods=19700, foundSolutions=9, bestBound=82
612.99/609.81
644.62/641.45 num=402, depth=0..10, filters=8366418, revisions=(11451085,useless=2203229), ccks=5011673059, wck=639.307, mem=58M559
644.62/641.45 decisions=1508251, wrong=753116, backtracks=52960, failedAssignments=744212, nogoods=19784, foundSolutions=9, bestBound=82
644.62/641.45
665.13/661.91 num=403, depth=1..13, filters=8685962, revisions=(11887498,useless=2293269), ccks=5144397470, wck=659.764, mem=80M783
665.13/661.91 decisions=1596852, wrong=797411, backtracks=55229, failedAssignments=788121, nogoods=19878, foundSolutions=9, bestBound=82
665.13/661.91
668.94/665.74 o 81
668.94/665.74 num=404, depth=1..65, filters=8731729, revisions=(11950574,useless=2306001), ccks=5172927309, wck=663.594, mem=32M427
668.94/665.74 decisions=1604232, wrong=801093, backtracks=55582, failedAssignments=791732, nogoods=20040, foundSolutions=10, bestBound=81
668.94/665.74
690.26/687.08 num=405, depth=1..17, filters=9044086, revisions=(12379266,useless=2397108), ccks=5302926323, wck=684.929, mem=61M903
690.26/687.08 decisions=1710945, wrong=854445, backtracks=57475, failedAssignments=844862, nogoods=20227, foundSolutions=10, bestBound=81
690.26/687.08
690.36/687.13 num=406, depth=3..4, filters=9044620, revisions=(12380097,useless=2397307), ccks=5303335820, wck=684.986, mem=61M903
690.36/687.13 decisions=1710970, wrong=854456, backtracks=57482, failedAssignments=844873, nogoods=20236, foundSolutions=10, bestBound=81
690.36/687.13
690.45/687.22 num=407, depth=2..4, filters=9045174, revisions=(12380908,useless=2397535), ccks=5304003521, wck=685.069, mem=61M903
690.45/687.22 decisions=1710998, wrong=854469, backtracks=57488, failedAssignments=844885, nogoods=20243, foundSolutions=10, bestBound=81
690.45/687.22
690.45/687.28 num=408, depth=3..5, filters=9045843, revisions=(12381930,useless=2397752), ccks=5304419264, wck=685.128, mem=63M382
690.45/687.28 decisions=1711029, wrong=854483, backtracks=57496, failedAssignments=844898, nogoods=20255, foundSolutions=10, bestBound=81
690.45/687.28
690.55/687.35 num=409, depth=1..3, filters=9046187, revisions=(12382428,useless=2397886), ccks=5305049095, wck=685.2, mem=63M382
690.55/687.35 decisions=1711059, wrong=854497, backtracks=57499, failedAssignments=844912, nogoods=20264, foundSolutions=10, bestBound=81
690.55/687.35
690.65/687.41 num=410, depth=3..4, filters=9046901, revisions=(12383492,useless=2398134), ccks=5305477171, wck=685.259, mem=63M382
690.65/687.41 decisions=1711097, wrong=854514, backtracks=57503, failedAssignments=844928, nogoods=20272, foundSolutions=10, bestBound=81
690.65/687.41
690.65/687.48 num=411, depth=0..4, filters=9047318, revisions=(12384146,useless=2398317), ccks=5306133165, wck=685.336, mem=63M382
690.65/687.48 decisions=1711134, wrong=854531, backtracks=57510, failedAssignments=844945, nogoods=20276, foundSolutions=10, bestBound=81
690.65/687.48
690.75/687.57 num=412, depth=2..4, filters=9048028, revisions=(12385155,useless=2398540), ccks=5306801196, wck=685.42, mem=63M382
690.75/687.57 decisions=1711184, wrong=854555, backtracks=57517, failedAssignments=844964, nogoods=20278, foundSolutions=10, bestBound=81
690.75/687.57
690.85/687.64 num=413, depth=3..5, filters=9049039, revisions=(12386702,useless=2398889), ccks=5307284154, wck=685.489, mem=64M860
690.85/687.64 decisions=1711232, wrong=854577, backtracks=57525, failedAssignments=844985, nogoods=20286, foundSolutions=10, bestBound=81
690.85/687.64
690.95/687.74 num=414, depth=1..4, filters=9049794, revisions=(12387741,useless=2399093), ccks=5308131162, wck=685.593, mem=64M860
690.95/687.74 decisions=1711287, wrong=854603, backtracks=57532, failedAssignments=845008, nogoods=20291, foundSolutions=10, bestBound=81
690.95/687.74
691.05/687.80 num=415, depth=3..4, filters=9050405, revisions=(12388645,useless=2399254), ccks=5308596614, wck=685.653, mem=64M860
691.05/687.80 decisions=1711340, wrong=854628, backtracks=57533, failedAssignments=845033, nogoods=20307, foundSolutions=10, bestBound=81
691.05/687.80
691.15/687.92 num=416, depth=1..6, filters=9051079, revisions=(12389602,useless=2399462), ccks=5309700292, wck=685.776, mem=66M339
691.15/687.92 decisions=1711403, wrong=854657, backtracks=57536, failedAssignments=845061, nogoods=20329, foundSolutions=10, bestBound=81
691.15/687.92
691.15/687.99 num=417, depth=3..5, filters=9052067, revisions=(12391003,useless=2399750), ccks=5310198541, wck=685.842, mem=66M339
691.15/687.99 decisions=1711479, wrong=854693, backtracks=57542, failedAssignments=845092, nogoods=20337, foundSolutions=10, bestBound=81
691.15/687.99
691.36/688.13 num=418, depth=1..6, filters=9052959, revisions=(12392249,useless=2400022), ccks=5311463084, wck=685.984, mem=67M817
691.36/688.13 decisions=1711554, wrong=854728, backtracks=57546, failedAssignments=845126, nogoods=20362, foundSolutions=10, bestBound=81
691.36/688.13
691.45/688.23 num=419, depth=2..6, filters=9053952, revisions=(12393654,useless=2400347), ccks=5312228036, wck=686.081, mem=67M817
691.45/688.23 decisions=1711647, wrong=854772, backtracks=57554, failedAssignments=845163, nogoods=20391, foundSolutions=10, bestBound=81
691.45/688.23
691.55/688.31 num=420, depth=3..5, filters=9055213, revisions=(12395420,useless=2400726), ccks=5312755385, wck=686.16, mem=67M817
691.55/688.31 decisions=1711737, wrong=854815, backtracks=57560, failedAssignments=845204, nogoods=20404, foundSolutions=10, bestBound=81
691.55/688.31
691.65/688.40 num=421, depth=4..7, filters=9056185, revisions=(12396688,useless=2400942), ccks=5313566136, wck=686.254, mem=69M296
691.65/688.40 decisions=1711834, wrong=854860, backtracks=57564, failedAssignments=845249, nogoods=20427, foundSolutions=10, bestBound=81
691.65/688.40
691.75/688.53 num=422, depth=2..5, filters=9058140, revisions=(12399516,useless=2401554), ccks=5314471118, wck=686.386, mem=69M296
691.75/688.53 decisions=1711950, wrong=854916, backtracks=57582, failedAssignments=845299, nogoods=20443, foundSolutions=10, bestBound=81
691.75/688.53
691.85/688.61 num=423, depth=3..6, filters=9059739, revisions=(12401731,useless=2402009), ccks=5315058019, wck=686.467, mem=70M774
691.85/688.61 decisions=1712071, wrong=854974, backtracks=57593, failedAssignments=845354, nogoods=20456, foundSolutions=10, bestBound=81
691.85/688.61
691.95/688.70 num=424, depth=4..6, filters=9060925, revisions=(12403291,useless=2402312), ccks=5315808629, wck=686.554, mem=70M774
691.95/688.70 decisions=1712200, wrong=855036, backtracks=57597, failedAssignments=845415, nogoods=20513, foundSolutions=10, bestBound=81
691.95/688.70
692.05/688.87 num=425, depth=2..4, filters=9062997, revisions=(12406116,useless=2402819), ccks=5317063718, wck=686.721, mem=72M253
692.05/688.87 decisions=1712352, wrong=855110, backtracks=57610, failedAssignments=845482, nogoods=20532, foundSolutions=10, bestBound=81
692.05/688.87
692.15/689.00 num=426, depth=2..6, filters=9065555, revisions=(12409575,useless=2403464), ccks=5318013094, wck=686.855, mem=73M731
692.15/689.00 decisions=1712518, wrong=855191, backtracks=57627, failedAssignments=845556, nogoods=20540, foundSolutions=10, bestBound=81
692.15/689.00
692.36/689.17 num=427, depth=4..6, filters=9067617, revisions=(12412515,useless=2404116), ccks=5319428951, wck=687.025, mem=75M210
692.36/689.17 decisions=1712689, wrong=855274, backtracks=57644, failedAssignments=845637, nogoods=20553, foundSolutions=10, bestBound=81
692.36/689.17
692.55/689.37 num=428, depth=2..4, filters=9070365, revisions=(12416562,useless=2404955), ccks=5320727383, wck=687.222, mem=76M688
692.55/689.37 decisions=1712886, wrong=855371, backtracks=57674, failedAssignments=845726, nogoods=20574, foundSolutions=10, bestBound=81
692.55/689.37
692.75/689.52 num=429, depth=2..5, filters=9072434, revisions=(12419504,useless=2405693), ccks=5321961471, wck=687.375, mem=78M167
692.75/689.52 decisions=1713093, wrong=855473, backtracks=57691, failedAssignments=845824, nogoods=20586, foundSolutions=10, bestBound=81
692.75/689.52
692.85/689.65 num=430, depth=4..6, filters=9074509, revisions=(12422219,useless=2406201), ccks=5323004808, wck=687.502, mem=78M167
692.85/689.65 decisions=1713316, wrong=855582, backtracks=57698, failedAssignments=845932, nogoods=20623, foundSolutions=10, bestBound=81
692.85/689.65
693.15/689.95 num=431, depth=2..5, filters=9077748, revisions=(12426826,useless=2407242), ccks=5325385093, wck=687.805, mem=81M124
693.15/689.95 decisions=1713566, wrong=855705, backtracks=57727, failedAssignments=846051, nogoods=20665, foundSolutions=10, bestBound=81
693.15/689.95
693.45/690.29 num=432, depth=2..5, filters=9082409, revisions=(12433368,useless=2408460), ccks=5327965599, wck=688.146, mem=82M602
693.45/690.29 decisions=1713874, wrong=855857, backtracks=57756, failedAssignments=846182, nogoods=20687, foundSolutions=10, bestBound=81
693.45/690.29
693.85/690.62 num=433, depth=2..6, filters=9086592, revisions=(12439321,useless=2409788), ccks=5330591276, wck=688.474, mem=84M80
693.85/690.62 decisions=1714183, wrong=856009, backtracks=57799, failedAssignments=846326, nogoods=20726, foundSolutions=10, bestBound=81
693.85/690.62
694.06/690.89 num=434, depth=1..4, filters=9090468, revisions=(12445144,useless=2411026), ccks=5332366439, wck=688.744, mem=87M37
694.06/690.89 decisions=1714509, wrong=856170, backtracks=57834, failedAssignments=846484, nogoods=20731, foundSolutions=10, bestBound=81
694.06/690.89
694.37/691.15 num=435, depth=2..5, filters=9094369, revisions=(12450562,useless=2411986), ccks=5334347479, wck=689.005, mem=89M994
694.37/691.15 decisions=1714894, wrong=856361, backtracks=57854, failedAssignments=846658, nogoods=20739, foundSolutions=10, bestBound=81
694.37/691.15
694.56/691.35 num=436, depth=2..7, filters=9097709, revisions=(12455235,useless=2412838), ccks=5335746077, wck=689.201, mem=91M473
694.56/691.35 decisions=1715292, wrong=856557, backtracks=57873, failedAssignments=846849, nogoods=20809, foundSolutions=10, bestBound=81
694.56/691.35
694.86/691.67 num=437, depth=2..6, filters=9103146, revisions=(12463145,useless=2414443), ccks=5337782056, wck=689.523, mem=94M430
694.86/691.67 decisions=1715748, wrong=856783, backtracks=57923, failedAssignments=847060, nogoods=20830, foundSolutions=10, bestBound=81
694.86/691.67
695.37/692.17 num=438, depth=2..5, filters=9109384, revisions=(12471800,useless=2415836), ccks=5341681520, wck=690.026, mem=97M387
695.37/692.17 decisions=1716263, wrong=857039, backtracks=57958, failedAssignments=847292, nogoods=20856, foundSolutions=10, bestBound=81
695.37/692.17
695.87/692.62 num=439, depth=2..5, filters=9117061, revisions=(12482818,useless=2417756), ccks=5344713891, wck=690.472, mem=27M990
695.87/692.62 decisions=1716820, wrong=857316, backtracks=58004, failedAssignments=847547, nogoods=20869, foundSolutions=10, bestBound=81
695.87/692.62
696.47/693.26 num=440, depth=2..5, filters=9125160, revisions=(12494105,useless=2419555), ccks=5349507891, wck=691.107, mem=30M926
696.47/693.26 decisions=1717449, wrong=857628, backtracks=58056, failedAssignments=847828, nogoods=20893, foundSolutions=10, bestBound=81
696.47/693.26
696.97/693.71 num=441, depth=2..6, filters=9133708, revisions=(12506603,useless=2422069), ccks=5352375538, wck=691.565, mem=35M330
696.97/693.71 decisions=1718098, wrong=857950, backtracks=58118, failedAssignments=848137, nogoods=20909, foundSolutions=10, bestBound=81
696.97/693.71
697.67/694.49 num=442, depth=1..6, filters=9141670, revisions=(12517566,useless=2424563), ccks=5358787944, wck=692.338, mem=39M734
697.67/694.49 decisions=1718807, wrong=858302, backtracks=58183, failedAssignments=848477, nogoods=20952, foundSolutions=10, bestBound=81
697.67/694.49
698.38/695.19 num=443, depth=2..5, filters=9150094, revisions=(12529291,useless=2426422), ccks=5364185864, wck=693.037, mem=44M138
698.38/695.19 decisions=1719604, wrong=858699, backtracks=58231, failedAssignments=848851, nogoods=20990, foundSolutions=10, bestBound=81
698.38/695.19
698.87/695.63 num=444, depth=2..6, filters=9156587, revisions=(12537649,useless=2427902), ccks=5368052986, wck=693.484, mem=48M542
698.87/695.63 decisions=1720430, wrong=859110, backtracks=58241, failedAssignments=849262, nogoods=21065, foundSolutions=10, bestBound=81
698.87/695.63
699.17/695.99 num=445, depth=1..6, filters=9162152, revisions=(12545444,useless=2429766), ccks=5370628297, wck=693.843, mem=51M478
699.17/695.99 decisions=1721347, wrong=859566, backtracks=58287, failedAssignments=849714, nogoods=21118, foundSolutions=10, bestBound=81
699.17/695.99
699.97/696.77 num=446, depth=1..5, filters=9175661, revisions=(12564596,useless=2433640), ccks=5375399900, wck=694.618, mem=58M818
699.97/696.77 decisions=1722446, wrong=860114, backtracks=58411, failedAssignments=850211, nogoods=21169, foundSolutions=10, bestBound=81
699.97/696.77
700.57/697.35 num=447, depth=2..6, filters=9186513, revisions=(12580198,useless=2436768), ccks=5378871961, wck=695.205, mem=63M222
700.57/697.35 decisions=1723608, wrong=860693, backtracks=58498, failedAssignments=850758, nogoods=21190, foundSolutions=10, bestBound=81
700.57/697.35
701.57/698.32 num=448, depth=2..6, filters=9200942, revisions=(12601836,useless=2441480), ccks=5385075024, wck=696.174, mem=72M30
701.57/698.32 decisions=1724861, wrong=861318, backtracks=58659, failedAssignments=851360, nogoods=21231, foundSolutions=10, bestBound=81
701.57/698.32
702.27/699.03 num=449, depth=4..7, filters=9214796, revisions=(12619852,useless=2444475), ccks=5390808167, wck=696.881, mem=79M370
702.27/699.03 decisions=1726225, wrong=861997, backtracks=58722, failedAssignments=852022, nogoods=21300, foundSolutions=10, bestBound=81
702.27/699.03
703.37/700.17 num=450, depth=2..7, filters=9228181, revisions=(12638225,useless=2447996), ccks=5399731813, wck=698.026, mem=85M242
703.37/700.17 decisions=1727757, wrong=862761, backtracks=58824, failedAssignments=852750, nogoods=21327, foundSolutions=10, bestBound=81
703.37/700.17
704.17/700.94 num=451, depth=2..6, filters=9245896, revisions=(12662033,useless=2452699), ccks=5405136280, wck=698.792, mem=94M50
704.17/700.94 decisions=1729428, wrong=863594, backtracks=58907, failedAssignments=853551, nogoods=21390, foundSolutions=10, bestBound=81
704.17/700.94
705.77/702.57 num=452, depth=1..8, filters=9263785, revisions=(12687024,useless=2457543), ccks=5417937796, wck=700.423, mem=29M481
705.77/702.57 decisions=1731284, wrong=864520, backtracks=59035, failedAssignments=854432, nogoods=21433, foundSolutions=10, bestBound=81
705.77/702.57
707.07/703.88 num=453, depth=1..6, filters=9285474, revisions=(12717979,useless=2463520), ccks=5426424506, wck=701.728, mem=41M141
707.07/703.88 decisions=1733332, wrong=865542, backtracks=59200, failedAssignments=855402, nogoods=21460, foundSolutions=10, bestBound=81
707.07/703.88
708.97/705.79 num=454, depth=1..7, filters=9315032, revisions=(12758712,useless=2471268), ccks=5440650431, wck=703.638, mem=54M259
708.97/705.79 decisions=1735637, wrong=866691, backtracks=59391, failedAssignments=856469, nogoods=21514, foundSolutions=10, bestBound=81
708.97/705.79
710.57/707.35 num=455, depth=2..5, filters=9342919, revisions=(12797963,useless=2478243), ccks=5451212244, wck=705.202, mem=70M292
710.57/707.35 decisions=1738095, wrong=867918, backtracks=59558, failedAssignments=857642, nogoods=21542, foundSolutions=10, bestBound=81
710.57/707.35
711.57/708.31 num=456, depth=2..7, filters=9366002, revisions=(12828720,useless=2484014), ccks=5458412452, wck=706.166, mem=81M952
711.57/708.31 decisions=1740724, wrong=869230, backtracks=59648, failedAssignments=858933, nogoods=21594, foundSolutions=10, bestBound=81
711.57/708.31
713.57/710.37 num=457, depth=2..7, filters=9391579, revisions=(12864076,useless=2491063), ccks=5474334914, wck=708.224, mem=95M69
713.57/710.37 decisions=1743716, wrong=870724, backtracks=59834, failedAssignments=860353, nogoods=21612, foundSolutions=10, bestBound=81
713.57/710.37
715.08/711.85 num=458, depth=4..7, filters=9422110, revisions=(12904003,useless=2496913), ccks=5486310286, wck=709.704, mem=35M195
715.08/711.85 decisions=1746893, wrong=872310, backtracks=59965, failedAssignments=861915, nogoods=21679, foundSolutions=10, bestBound=81
715.08/711.85
717.98/714.74 num=459, depth=1..7, filters=9462535, revisions=(12959563,useless=2508080), ccks=5508233838, wck=712.591, mem=52M559
717.98/714.74 decisions=1750519, wrong=874121, backtracks=60284, failedAssignments=863633, nogoods=21705, foundSolutions=10, bestBound=81
717.98/714.74
721.58/718.37 num=460, depth=1..5, filters=9514258, revisions=(13031818,useless=2520987), ccks=5533953979, wck=716.224, mem=75M711
721.58/718.37 decisions=1754528, wrong=876123, backtracks=60697, failedAssignments=865523, nogoods=21736, foundSolutions=10, bestBound=81
721.58/718.37
724.48/721.26 num=461, depth=1..8, filters=9552460, revisions=(13084961,useless=2531364), ccks=5556355079, wck=719.116, mem=25M145
724.48/721.26 decisions=1758856, wrong=878283, backtracks=61000, failedAssignments=867602, nogoods=21842, foundSolutions=10, bestBound=81
724.48/721.26
725.78/722.58 num=462, depth=2..5, filters=9571649, revisions=(13112221,useless=2536544), ccks=5563681276, wck=720.429, mem=35M201
725.78/722.58 decisions=1763498, wrong=880602, backtracks=61185, failedAssignments=869889, nogoods=21963, foundSolutions=10, bestBound=81
725.78/722.58
728.88/725.67 num=463, depth=1..7, filters=9627547, revisions=(13189983,useless=2550128), ccks=5586074502, wck=723.52, mem=65M368
728.88/725.67 decisions=1768745, wrong=883223, backtracks=61467, failedAssignments=872405, nogoods=21997, foundSolutions=10, bestBound=81
728.88/725.67
732.39/729.13 num=464, depth=1..6, filters=9690576, revisions=(13278485,useless=2566762), ccks=5608674310, wck=726.984, mem=25M102
732.39/729.13 decisions=1774648, wrong=886173, backtracks=61908, failedAssignments=875173, nogoods=22012, foundSolutions=10, bestBound=81
732.39/729.13
735.19/731.91 num=465, depth=1..9, filters=9715574, revisions=(13312211,useless=2572738), ccks=5630630496, wck=729.761, mem=39M362
735.19/731.91 decisions=1780814, wrong=889253, backtracks=62060, failedAssignments=878217, nogoods=22056, foundSolutions=10, bestBound=81
735.19/731.91
740.59/737.37 num=466, depth=0..7, filters=9775632, revisions=(13394511,useless=2589210), ccks=5676360280, wck=735.219, mem=75M14
740.59/737.37 decisions=1787690, wrong=892688, backtracks=62456, failedAssignments=881566, nogoods=22169, foundSolutions=10, bestBound=81
740.59/737.37
743.19/739.99 num=467, depth=1..8, filters=9815847, revisions=(13449376,useless=2600551), ccks=5693857498, wck=737.845, mem=25M157
743.19/739.99 decisions=1795128, wrong=896404, backtracks=62759, failedAssignments=885250, nogoods=22214, foundSolutions=10, bestBound=81
743.19/739.99
749.00/745.75 num=468, depth=1..6, filters=9891854, revisions=(13554451,useless=2617824), ccks=5736608062, wck=743.603, mem=61M962
749.00/745.75 decisions=1803547, wrong=900612, backtracks=63236, failedAssignments=889302, nogoods=22308, foundSolutions=10, bestBound=81
749.00/745.75
753.70/750.47 num=469, depth=1..10, filters=9970724, revisions=(13658808,useless=2635954), ccks=5772851185, wck=748.324, mem=29M403
753.70/750.47 decisions=1812622, wrong=905146, backtracks=63695, failedAssignments=893759, nogoods=22348, foundSolutions=10, bestBound=81
753.70/750.47
758.61/755.31 num=470, depth=2..8, filters=10044169, revisions=(13754667,useless=2652513), ccks=5811664116, wck=753.163, mem=70M150
758.61/755.31 decisions=1822471, wrong=910068, backtracks=63973, failedAssignments=898662, nogoods=22479, foundSolutions=10, bestBound=81
758.61/755.31
765.62/762.38 num=471, depth=1..6, filters=10144170, revisions=(13895709,useless=2678014), ccks=5860328091, wck=760.236, mem=51M740
765.62/762.38 decisions=1833675, wrong=915668, backtracks=64735, failedAssignments=904056, nogoods=22578, foundSolutions=10, bestBound=81
765.62/762.38
771.72/768.42 num=472, depth=1..8, filters=10244596, revisions=(14036543,useless=2704437), ccks=5899467102, wck=766.268, mem=33M537
771.72/768.42 decisions=1846008, wrong=921832, backtracks=65440, failedAssignments=909989, nogoods=22663, foundSolutions=10, bestBound=81
771.72/768.42
777.82/774.50 num=473, depth=1..8, filters=10344623, revisions=(14174851,useless=2733613), ccks=5944167126, wck=772.353, mem=88M901
777.82/774.50 decisions=1859258, wrong=928454, backtracks=66039, failedAssignments=916515, nogoods=22756, foundSolutions=10, bestBound=81
777.82/774.50
784.33/781.08 num=474, depth=1..11, filters=10444524, revisions=(14313829,useless=2760204), ccks=5992453644, wck=778.935, mem=80M134
784.33/781.08 decisions=1873884, wrong=935762, backtracks=66620, failedAssignments=923694, nogoods=22890, foundSolutions=10, bestBound=81
784.33/781.08
794.44/791.14 num=475, depth=0..6, filters=10565243, revisions=(14478724,useless=2790514), ccks=6069451186, wck=788.996, mem=68M823
794.44/791.14 decisions=1890332, wrong=943984, backtracks=67547, failedAssignments=931591, nogoods=22945, foundSolutions=10, bestBound=81
794.44/791.14
796.74/793.41 num=476, depth=2..9, filters=10633315, revisions=(14568073,useless=2808838), ccks=6081652708, wck=791.261, mem=30M603
796.74/793.41 decisions=1907832, wrong=952731, backtracks=67998, failedAssignments=940278, nogoods=23053, foundSolutions=10, bestBound=81
796.74/793.41
803.14/799.82 num=477, depth=1..8, filters=10728964, revisions=(14701947,useless=2835311), ccks=6124435994, wck=797.668, mem=87M414
803.14/799.82 decisions=1927220, wrong=962423, backtracks=68685, failedAssignments=949833, nogoods=23168, foundSolutions=10, bestBound=81
803.14/799.82
811.05/807.73 num=478, depth=1..9, filters=10844329, revisions=(14859443,useless=2865956), ccks=6183589859, wck=805.582, mem=82M952
811.05/807.73 decisions=1948446, wrong=973032, backtracks=69500, failedAssignments=960344, nogoods=23267, foundSolutions=10, bestBound=81
811.05/807.73
825.37/822.02 num=479, depth=1..8, filters=11051057, revisions=(15148202,useless=2918581), ccks=6284346007, wck=819.868, mem=58M314
825.37/822.02 decisions=1972204, wrong=984908, backtracks=70933, failedAssignments=971906, nogoods=23363, foundSolutions=10, bestBound=81
825.37/822.02
839.48/836.17 num=480, depth=1..8, filters=11232945, revisions=(15397370,useless=2967549), ccks=6389092330, wck=834.023, mem=78M955
839.48/836.17 decisions=1998306, wrong=997957, backtracks=72435, failedAssignments=984624, nogoods=23414, foundSolutions=10, bestBound=81
839.48/836.17
845.18/841.88 num=481, depth=1..11, filters=11348036, revisions=(15558327,useless=3006607), ccks=6426632289, wck=839.735, mem=26M567
845.18/841.88 decisions=2026345, wrong=1011972, backtracks=73113, failedAssignments=998614, nogoods=23505, foundSolutions=10, bestBound=81
845.18/841.88
858.99/855.60 num=482, depth=0..10, filters=11539039, revisions=(15816244,useless=3060887), ccks=6535038403, wck=853.45, mem=73M903
858.99/855.60 decisions=2057385, wrong=1027491, backtracks=74212, failedAssignments=1014003, nogoods=23531, foundSolutions=10, bestBound=81
858.99/855.60
882.21/878.85 num=483, depth=2..8, filters=11787686, revisions=(16137717,useless=3099528), ccks=6742317699, wck=876.701, mem=42M770
882.21/878.85 decisions=2091281, wrong=1044436, backtracks=74618, failedAssignments=1030931, nogoods=23608, foundSolutions=10, bestBound=81
882.21/878.85
891.13/887.78 num=484, depth=0..10, filters=11997118, revisions=(16413738,useless=3156591), ccks=6807600034, wck=885.632, mem=30M211
891.13/887.78 decisions=2128662, wrong=1063124, backtracks=75518, failedAssignments=1049552, nogoods=23776, foundSolutions=10, bestBound=81
891.13/887.78
904.34/900.90 num=485, depth=1..10, filters=12199173, revisions=(16685513,useless=3208743), ccks=6901560276, wck=898.757, mem=76M380
904.34/900.90 decisions=2170030, wrong=1083805, backtracks=76673, failedAssignments=1070036, nogoods=23888, foundSolutions=10, bestBound=81
904.34/900.90
930.47/927.01 num=486, depth=1..8, filters=12490300, revisions=(17067667,useless=3269441), ccks=7101392876, wck=924.864, mem=49M42
930.47/927.01 decisions=2215478, wrong=1106527, backtracks=78275, failedAssignments=1092568, nogoods=23942, foundSolutions=10, bestBound=81
930.47/927.01
946.08/942.60 num=487, depth=1..11, filters=12774441, revisions=(17439782,useless=3329290), ccks=7212807901, wck=940.457, mem=64M888
946.08/942.60 decisions=2265922, wrong=1131745, backtracks=79792, failedAssignments=1117353, nogoods=24066, foundSolutions=10, bestBound=81
946.08/942.60
963.30/959.87 num=488, depth=0..10, filters=13007584, revisions=(17759885,useless=3395950), ccks=7337889299, wck=957.721, mem=31M28
963.30/959.87 decisions=2320835, wrong=1159199, backtracks=81305, failedAssignments=1144617, nogoods=24089, foundSolutions=10, bestBound=81
963.30/959.87
974.80/971.34 num=489, depth=1..13, filters=13147897, revisions=(17947467,useless=3428377), ccks=7403494963, wck=969.188, mem=42M209
974.80/971.34 decisions=2381127, wrong=1189341, backtracks=82584, failedAssignments=1174607, nogoods=24257, foundSolutions=10, bestBound=81
974.80/971.34
994.42/990.97 num=490, depth=0..10, filters=13475171, revisions=(18394489,useless=3524049), ccks=7541296482, wck=988.825, mem=54M816
994.42/990.97 decisions=2447699, wrong=1222624, backtracks=84855, failedAssignments=1207596, nogoods=24308, foundSolutions=10, bestBound=81
994.42/990.97
1013.25/1009.72 num=491, depth=1..15, filters=13735586, revisions=(18755961,useless=3600288), ccks=7666532320, wck=1007.572, mem=49M139
1013.25/1009.72 decisions=2520867, wrong=1259202, backtracks=86821, failedAssignments=1243884, nogoods=24512, foundSolutions=10, bestBound=81
1013.25/1009.72
1058.08/1054.52 num=492, depth=1..13, filters=14182140, revisions=(19344023,useless=3694117), ccks=8004626384, wck=1052.37, mem=76M189
1058.08/1054.52 decisions=2601313, wrong=1299419, backtracks=89285, failedAssignments=1283801, nogoods=24604, foundSolutions=10, bestBound=81
1058.08/1054.52
1087.11/1083.55 num=493, depth=0..12, filters=14506725, revisions=(19807323,useless=3805007), ccks=8227892401, wck=1081.405, mem=57M877
1087.11/1083.55 decisions=2689225, wrong=1343371, backtracks=91006, failedAssignments=1327710, nogoods=24667, foundSolutions=10, bestBound=81
1087.11/1083.55
1123.34/1119.70 num=494, depth=1..15, filters=15097443, revisions=(20578782,useless=3926622), ccks=8499173471, wck=1117.55, mem=61M175
1123.34/1119.70 decisions=2787522, wrong=1392516, backtracks=94264, failedAssignments=1376010, nogoods=24785, foundSolutions=10, bestBound=81
1123.34/1119.70
1139.17/1135.55 num=495, depth=1..13, filters=15445635, revisions=(21055764,useless=4046452), ccks=8592132286, wck=1133.397, mem=61M216
1139.17/1135.55 decisions=2893869, wrong=1445687, backtracks=96118, failedAssignments=1429140, nogoods=24829, foundSolutions=10, bestBound=81
1139.17/1135.55
1154.89/1151.27 o 80
1154.89/1151.27 num=496, depth=1..65, filters=15719092, revisions=(21429696,useless=4123955), ccks=8690003722, wck=1149.118, mem=49M360
1154.89/1151.27 decisions=2959584, wrong=1478537, backtracks=97896, failedAssignments=1461722, nogoods=24938, foundSolutions=11, bestBound=80
1154.89/1151.27
1187.54/1183.83 num=497, depth=1..14, filters=16290855, revisions=(22225603,useless=4304821), ccks=8898595580, wck=1181.682, mem=25M624
1187.54/1183.83 decisions=3089337, wrong=1543408, backtracks=100798, failedAssignments=1526009, nogoods=25006, foundSolutions=11, bestBound=80
1187.54/1183.83
1187.54/1183.87 num=498, depth=3..5, filters=16291338, revisions=(22226311,useless=4304956), ccks=8898906638, wck=1181.726, mem=25M624
1187.54/1183.87 decisions=3089367, wrong=1543421, backtracks=100802, failedAssignments=1526020, nogoods=25010, foundSolutions=11, bestBound=80
1187.54/1183.87
1187.65/1183.91 num=499, depth=5..6, filters=16291726, revisions=(22226861,useless=4305069), ccks=8899220336, wck=1181.764, mem=25M624
1187.65/1183.91 decisions=3089398, wrong=1543434, backtracks=100803, failedAssignments=1526032, nogoods=25022, foundSolutions=11, bestBound=80
1187.65/1183.91
1187.65/1183.99 num=500, depth=2..4, filters=16292113, revisions=(22227425,useless=4305228), ccks=8899844844, wck=1181.837, mem=26M704
1187.65/1183.99 decisions=3089429, wrong=1543448, backtracks=100809, failedAssignments=1526045, nogoods=25030, foundSolutions=11, bestBound=80
1187.65/1183.99
1187.76/1184.05 num=501, depth=3..5, filters=16292811, revisions=(22228518,useless=4305498), ccks=8900284892, wck=1181.897, mem=26M704
1187.76/1184.05 decisions=3089462, wrong=1543463, backtracks=100815, failedAssignments=1526059, nogoods=25036, foundSolutions=11, bestBound=80
1187.76/1184.05
1187.76/1184.10 num=502, depth=1..3, filters=16293088, revisions=(22228913,useless=4305600), ccks=8900713367, wck=1181.948, mem=26M704
1187.76/1184.10 decisions=3089495, wrong=1543479, backtracks=100821, failedAssignments=1526075, nogoods=25037, foundSolutions=11, bestBound=80
1187.76/1184.10
1187.86/1184.17 num=503, depth=3..5, filters=16294164, revisions=(22230497,useless=4305913), ccks=8901248008, wck=1182.025, mem=27M784
1187.86/1184.17 decisions=3089537, wrong=1543498, backtracks=100829, failedAssignments=1526092, nogoods=25046, foundSolutions=11, bestBound=80
1187.86/1184.17
1187.95/1184.26 num=504, depth=2..4, filters=16294966, revisions=(22231622,useless=4306155), ccks=8901913294, wck=1182.111, mem=27M784
1187.95/1184.26 decisions=3089588, wrong=1543522, backtracks=100836, failedAssignments=1526111, nogoods=25053, foundSolutions=11, bestBound=80
1187.95/1184.26
1188.05/1184.34 num=505, depth=2..5, filters=16296245, revisions=(22233478,useless=4306506), ccks=8902418419, wck=1182.188, mem=28M864
1188.05/1184.34 decisions=3089640, wrong=1543546, backtracks=100849, failedAssignments=1526132, nogoods=25057, foundSolutions=11, bestBound=80
1188.05/1184.34
1188.15/1184.43 num=506, depth=2..4, filters=16296959, revisions=(22234499,useless=4306736), ccks=8903187173, wck=1182.281, mem=28M864
1188.15/1184.43 decisions=3089695, wrong=1543572, backtracks=100856, failedAssignments=1526155, nogoods=25064, foundSolutions=11, bestBound=80
1188.15/1184.43
1188.15/1184.47 num=507, depth=4..6, filters=16297630, revisions=(22235459,useless=4306945), ccks=8903519531, wck=1182.325, mem=28M864
1188.15/1184.47 decisions=3089753, wrong=1543599, backtracks=100863, failedAssignments=1526180, nogoods=25071, foundSolutions=11, bestBound=80
1188.15/1184.47
1188.35/1184.61 num=508, depth=2..4, filters=16299021, revisions=(22237376,useless=4307359), ccks=8904525024, wck=1182.46, mem=29M944
1188.35/1184.61 decisions=3089828, wrong=1543635, backtracks=100877, failedAssignments=1526208, nogoods=25077, foundSolutions=11, bestBound=80
1188.35/1184.61
1188.35/1184.69 num=509, depth=2..4, filters=16300095, revisions=(22238993,useless=4307699), ccks=8905096545, wck=1182.541, mem=29M944
1188.35/1184.69 decisions=3089895, wrong=1543667, backtracks=100886, failedAssignments=1526239, nogoods=25082, foundSolutions=11, bestBound=80
1188.35/1184.69
1188.46/1184.79 num=510, depth=4..6, filters=16300892, revisions=(22240072,useless=4307908), ccks=8905973910, wck=1182.64, mem=31M24
1188.46/1184.79 decisions=3089970, wrong=1543702, backtracks=100890, failedAssignments=1526273, nogoods=25104, foundSolutions=11, bestBound=80
1188.46/1184.79
1188.56/1184.87 num=511, depth=2..4, filters=16301721, revisions=(22241300,useless=4308154), ccks=8906610335, wck=1182.724, mem=31M24
1188.56/1184.87 decisions=3090051, wrong=1543741, backtracks=100896, failedAssignments=1526310, nogoods=25116, foundSolutions=11, bestBound=80
1188.56/1184.87
1188.67/1184.94 num=512, depth=3..6, filters=16302768, revisions=(22242745,useless=4308451), ccks=8907089549, wck=1182.789, mem=32M104
1188.67/1184.94 decisions=3090144, wrong=1543785, backtracks=100904, failedAssignments=1526351, nogoods=25124, foundSolutions=11, bestBound=80
1188.67/1184.94
1188.88/1185.11 num=513, depth=2..5, filters=16304537, revisions=(22245194,useless=4308970), ccks=8908474106, wck=1182.965, mem=33M184
1188.88/1185.11 decisions=3090254, wrong=1543838, backtracks=100920, failedAssignments=1526396, nogoods=25135, foundSolutions=11, bestBound=80
1188.88/1185.11
1188.88/1185.20 num=514, depth=3..5, filters=16306290, revisions=(22247654,useless=4309487), ccks=8909025543, wck=1183.048, mem=33M184
1188.88/1185.20 decisions=3090372, wrong=1543895, backtracks=100932, failedAssignments=1526446, nogoods=25146, foundSolutions=11, bestBound=80
1188.88/1185.20
1189.07/1185.33 num=515, depth=2..5, filters=16308282, revisions=(22250438,useless=4309953), ccks=8909933388, wck=1183.179, mem=34M264
1189.07/1185.33 decisions=3090508, wrong=1543961, backtracks=100947, failedAssignments=1526501, nogoods=25161, foundSolutions=11, bestBound=80
1189.07/1185.33
1189.17/1185.45 num=516, depth=4..7, filters=16309893, revisions=(22252558,useless=4310365), ccks=8910971491, wck=1183.302, mem=35M344
1189.17/1185.45 decisions=3090652, wrong=1544030, backtracks=100959, failedAssignments=1526562, nogoods=25183, foundSolutions=11, bestBound=80
1189.17/1185.45
1189.27/1185.59 num=517, depth=2..4, filters=16311610, revisions=(22255098,useless=4310837), ccks=8912001121, wck=1183.443, mem=36M424
1189.27/1185.59 decisions=3090797, wrong=1544101, backtracks=100971, failedAssignments=1526629, nogoods=25209, foundSolutions=11, bestBound=80
1189.27/1185.59
1189.37/1185.67 num=518, depth=4..6, filters=16313334, revisions=(22257502,useless=4311346), ccks=8912552058, wck=1183.519, mem=37M504
1189.37/1185.67 decisions=3090959, wrong=1544180, backtracks=100984, failedAssignments=1526703, nogoods=25225, foundSolutions=11, bestBound=80
1189.37/1185.67
1189.57/1185.85 num=519, depth=2..6, filters=16315529, revisions=(22260482,useless=4311968), ccks=8914134633, wck=1183.706, mem=38M584
1189.57/1185.85 decisions=3091129, wrong=1544263, backtracks=100998, failedAssignments=1526784, nogoods=25263, foundSolutions=11, bestBound=80
1189.57/1185.85
1189.88/1186.14 num=520, depth=2..5, filters=16318517, revisions=(22264622,useless=4312755), ccks=8916395849, wck=1183.99, mem=39M664
1189.88/1186.14 decisions=3091338, wrong=1544366, backtracks=101021, failedAssignments=1526873, nogoods=25274, foundSolutions=11, bestBound=80
1189.88/1186.14
1189.97/1186.24 num=521, depth=4..6, filters=16320370, revisions=(22266953,useless=4313098), ccks=8917288087, wck=1184.095, mem=40M744
1189.97/1186.24 decisions=3091540, wrong=1544464, backtracks=101027, failedAssignments=1526971, nogoods=25300, foundSolutions=11, bestBound=80
1189.97/1186.24
1190.27/1186.54 num=522, depth=2..5, filters=16323422, revisions=(22271165,useless=4313959), ccks=8919631882, wck=1184.391, mem=41M825
1190.27/1186.54 decisions=3091784, wrong=1544584, backtracks=101047, failedAssignments=1527079, nogoods=25327, foundSolutions=11, bestBound=80
1190.27/1186.54
1190.47/1186.72 num=523, depth=2..4, filters=16325799, revisions=(22274592,useless=4314565), ccks=8921021218, wck=1184.577, mem=43M985
1190.47/1186.72 decisions=3092027, wrong=1544704, backtracks=101057, failedAssignments=1527198, nogoods=25349, foundSolutions=11, bestBound=80
1190.47/1186.72
1190.67/1186.97 num=524, depth=3..5, filters=16328302, revisions=(22278066,useless=4315317), ccks=8923127752, wck=1184.818, mem=45M65
1190.67/1186.97 decisions=3092295, wrong=1544836, backtracks=101071, failedAssignments=1527329, nogoods=25359, foundSolutions=11, bestBound=80
1190.67/1186.97
1190.88/1187.15 num=525, depth=1..5, filters=16331652, revisions=(22282768,useless=4316403), ccks=8924312227, wck=1185.006, mem=47M225
1190.88/1187.15 decisions=3092598, wrong=1544986, backtracks=101105, failedAssignments=1527473, nogoods=25393, foundSolutions=11, bestBound=80
1190.88/1187.15
1191.17/1187.44 num=526, depth=2..5, filters=16336173, revisions=(22289124,useless=4317579), ccks=8926401915, wck=1185.293, mem=49M385
1191.17/1187.44 decisions=3092962, wrong=1545166, backtracks=101138, failedAssignments=1527631, nogoods=25406, foundSolutions=11, bestBound=80
1191.17/1187.44
1191.27/1187.58 num=527, depth=3..6, filters=16339863, revisions=(22294052,useless=4318532), ccks=8927289450, wck=1185.429, mem=51M545
1191.27/1187.58 decisions=3093326, wrong=1545346, backtracks=101167, failedAssignments=1527805, nogoods=25439, foundSolutions=11, bestBound=80
1191.27/1187.58
1191.67/1187.99 num=528, depth=2..6, filters=16344388, revisions=(22300252,useless=4319935), ccks=8930673736, wck=1185.84, mem=53M705
1191.67/1187.99 decisions=3093747, wrong=1545554, backtracks=101200, failedAssignments=1527996, nogoods=25458, foundSolutions=11, bestBound=80
1191.67/1187.99
1192.07/1188.35 num=529, depth=1..4, filters=16349148, revisions=(22307259,useless=4321229), ccks=8933204535, wck=1186.199, mem=56M945
1192.07/1188.35 decisions=3094179, wrong=1545769, backtracks=101231, failedAssignments=1528207, nogoods=25484, foundSolutions=11, bestBound=80
1192.07/1188.35
1192.57/1188.83 num=530, depth=1..6, filters=16354306, revisions=(22314522,useless=4322985), ccks=8937173629, wck=1186.681, mem=60M185
1192.57/1188.83 decisions=3094660, wrong=1546008, backtracks=101286, failedAssignments=1528439, nogoods=25488, foundSolutions=11, bestBound=80
1192.57/1188.83
1192.78/1189.08 num=531, depth=4..7, filters=16358955, revisions=(22320457,useless=4323914), ccks=8939260168, wck=1186.935, mem=62M345
1192.78/1189.08 decisions=3095185, wrong=1546268, backtracks=101308, failedAssignments=1528694, nogoods=25528, foundSolutions=11, bestBound=80
1192.78/1189.08
1193.27/1189.50 num=532, depth=1..7, filters=16364375, revisions=(22327428,useless=4325261), ccks=8942882616, wck=1187.356, mem=64M505
1193.27/1189.50 decisions=3095763, wrong=1546554, backtracks=101333, failedAssignments=1528975, nogoods=25594, foundSolutions=11, bestBound=80
1193.27/1189.50
1193.88/1190.11 num=533, depth=2..5, filters=16372958, revisions=(22339076,useless=4326987), ccks=8947576631, wck=1187.959, mem=68M825
1193.88/1190.11 decisions=3096450, wrong=1546896, backtracks=101386, failedAssignments=1529284, nogoods=25614, foundSolutions=11, bestBound=80
1193.88/1190.11
1194.17/1190.46 num=534, depth=4..6, filters=16378840, revisions=(22346777,useless=4328486), ccks=8950525071, wck=1188.315, mem=72M65
1194.17/1190.46 decisions=3097141, wrong=1547239, backtracks=101408, failedAssignments=1529624, nogoods=25689, foundSolutions=11, bestBound=80
1194.17/1190.46
1194.67/1190.91 num=535, depth=1..5, filters=16386102, revisions=(22357078,useless=4330474), ccks=8953460141, wck=1188.766, mem=76M385
1194.67/1190.91 decisions=3097936, wrong=1547634, backtracks=101464, failedAssignments=1529998, nogoods=25726, foundSolutions=11, bestBound=80
1194.67/1190.91
1195.07/1191.39 num=536, depth=2..6, filters=16394745, revisions=(22369418,useless=4333006), ccks=8956208707, wck=1189.241, mem=25M722
1195.07/1191.39 decisions=3098788, wrong=1548058, backtracks=101535, failedAssignments=1530409, nogoods=25758, foundSolutions=11, bestBound=80
1195.07/1191.39
1195.38/1191.69 num=537, depth=2..7, filters=16401659, revisions=(22378902,useless=4334878), ccks=8958097194, wck=1189.541, mem=28M963
1195.38/1191.69 decisions=3099732, wrong=1548527, backtracks=101578, failedAssignments=1530861, nogoods=25828, foundSolutions=11, bestBound=80
1195.38/1191.69
1196.20/1192.48 num=538, depth=2..5, filters=16413442, revisions=(22396192,useless=4338006), ccks=8963344245, wck=1190.337, mem=36M523
1196.20/1192.48 decisions=3100756, wrong=1549037, backtracks=101685, failedAssignments=1531358, nogoods=25853, foundSolutions=11, bestBound=80
1196.20/1192.48
1196.70/1192.98 num=539, depth=2..6, filters=16421761, revisions=(22407153,useless=4340050), ccks=8967372548, wck=1190.834, mem=40M843
1196.70/1192.98 decisions=3101893, wrong=1549603, backtracks=101752, failedAssignments=1531905, nogoods=25933, foundSolutions=11, bestBound=80
1196.70/1192.98
1197.30/1193.57 num=540, depth=2..6, filters=16433003, revisions=(22422750,useless=4343002), ccks=8971006444, wck=1191.42, mem=46M243
1197.30/1193.57 decisions=3103212, wrong=1550260, backtracks=101836, failedAssignments=1532507, nogoods=25947, foundSolutions=11, bestBound=80
1197.30/1193.57
1198.41/1194.64 num=541, depth=1..5, filters=16456094, revisions=(22455912,useless=4349396), ccks=8977507642, wck=1192.497, mem=55M963
1198.41/1194.64 decisions=3104674, wrong=1550989, backtracks=102035, failedAssignments=1533169, nogoods=25953, foundSolutions=11, bestBound=80
1198.41/1194.64
1199.31/1195.58 num=542, depth=2..6, filters=16468837, revisions=(22472728,useless=4352309), ccks=8985601662, wck=1193.436, mem=64M603
1199.31/1195.58 decisions=3106147, wrong=1551723, backtracks=102080, failedAssignments=1533897, nogoods=26012, foundSolutions=11, bestBound=80
1199.31/1195.58
1200.01/1196.23 num=543, depth=1..5, filters=16476846, revisions=(22483716,useless=4354667), ccks=8990334317, wck=1194.085, mem=68M923
1200.01/1196.23 decisions=3107785, wrong=1552540, backtracks=102156, failedAssignments=1534698, nogoods=26066, foundSolutions=11, bestBound=80
1200.01/1196.23
1201.11/1197.33 num=544, depth=1..6, filters=16491120, revisions=(22502311,useless=4357784), ccks=8999789934, wck=1195.181, mem=77M564
1201.11/1197.33 decisions=3109566, wrong=1553428, backtracks=102197, failedAssignments=1535579, nogoods=26139, foundSolutions=11, bestBound=80
1201.11/1197.33
1202.03/1198.23 num=545, depth=1..6, filters=16502112, revisions=(22517395,useless=4361134), ccks=9006313663, wck=1196.08, mem=30M67
1202.03/1198.23 decisions=3111532, wrong=1554409, backtracks=102300, failedAssignments=1536549, nogoods=26171, foundSolutions=11, bestBound=80
1202.03/1198.23
1203.53/1199.73 num=546, depth=2..5, filters=16521975, revisions=(22545045,useless=4366153), ccks=9017379981, wck=1197.581, mem=38M707
1203.53/1199.73 decisions=3113803, wrong=1555543, backtracks=102436, failedAssignments=1537616, nogoods=26205, foundSolutions=11, bestBound=80
1203.53/1199.73
1203.84/1200.09 num=547, depth=2..7, filters=16531929, revisions=(22558381,useless=4368809), ccks=9019324433, wck=1197.939, mem=43M27
1203.84/1200.09 decisions=3116171, wrong=1556725, backtracks=102533, failedAssignments=1538789, nogoods=26217, foundSolutions=11, bestBound=80
1203.84/1200.09
1205.03/1201.21 num=548, depth=3..7, filters=16546997, revisions=(22578675,useless=4372619), ccks=9028332668, wck=1199.059, mem=51M668
1205.03/1201.21 decisions=3118771, wrong=1558023, backtracks=102623, failedAssignments=1540080, nogoods=26314, foundSolutions=11, bestBound=80
1205.03/1201.21
1205.94/1202.16 num=549, depth=1..6, filters=16559681, revisions=(22595897,useless=4375669), ccks=9034245063, wck=1200.01, mem=57M68
1205.94/1202.16 decisions=3121665, wrong=1559468, backtracks=102735, failedAssignments=1541500, nogoods=26359, foundSolutions=11, bestBound=80
1205.94/1202.16
1207.03/1203.21 num=550, depth=1..7, filters=16572025, revisions=(22612873,useless=4379423), ccks=9042434519, wck=1201.061, mem=64M628
1207.03/1203.21 decisions=3124797, wrong=1561031, backtracks=102824, failedAssignments=1543062, nogoods=26510, foundSolutions=11, bestBound=80
1207.03/1203.21
1208.74/1204.96 num=551, depth=2..7, filters=16607085, revisions=(22661356,useless=4387862), ccks=9053991464, wck=1202.808, mem=29M20
1208.74/1204.96 decisions=3128435, wrong=1562848, backtracks=103021, failedAssignments=1544780, nogoods=26537, foundSolutions=11, bestBound=80
1208.74/1204.96
1211.44/1207.63 num=552, depth=2..6, filters=16650441, revisions=(22722967,useless=4398690), ccks=9072770178, wck=1205.479, mem=54M940
1211.44/1207.63 decisions=3132370, wrong=1564814, backtracks=103233, failedAssignments=1546670, nogoods=26564, foundSolutions=11, bestBound=80
1211.44/1207.63
1214.54/1210.79 num=553, depth=1..7, filters=16698082, revisions=(22787347,useless=4411537), ccks=9098700428, wck=1208.638, mem=78M701
1214.54/1210.79 decisions=3136713, wrong=1566983, backtracks=103544, failedAssignments=1548749, nogoods=26636, foundSolutions=11, bestBound=80
1214.54/1210.79
1216.55/1212.76 num=554, depth=1..6, filters=16721730, revisions=(22819983,useless=4418526), ccks=9113181431, wck=1210.611, mem=38M773
1216.55/1212.76 decisions=3141359, wrong=1569304, backtracks=103744, failedAssignments=1551036, nogoods=26706, foundSolutions=11, bestBound=80
1216.55/1212.76
1221.24/1217.43 num=555, depth=1..6, filters=16788936, revisions=(22913160,useless=4433895), ccks=9147672778, wck=1215.284, mem=66M853
1221.24/1217.43 decisions=3146870, wrong=1572058, backtracks=104210, failedAssignments=1553552, nogoods=26809, foundSolutions=11, bestBound=80
1221.24/1217.43
1224.35/1220.56 num=556, depth=1..8, filters=16830727, revisions=(22974936,useless=4447078), ccks=9169828850, wck=1218.408, mem=39M886
1224.35/1220.56 decisions=3152468, wrong=1574854, backtracks=104603, failedAssignments=1556320, nogoods=26895, foundSolutions=11, bestBound=80
1224.35/1220.56
1227.86/1224.05 num=557, depth=1..6, filters=16891786, revisions=(23060542,useless=4462399), ccks=9193139484, wck=1221.9, mem=71M206
1227.86/1224.05 decisions=3158913, wrong=1578076, backtracks=105047, failedAssignments=1559364, nogoods=26900, foundSolutions=11, bestBound=80
1227.86/1224.05
1230.76/1226.98 num=558, depth=2..6, filters=16926034, revisions=(23107172,useless=4471597), ccks=9217566753, wck=1224.836, mem=40M990
1230.76/1226.98 decisions=3165622, wrong=1581428, backtracks=105177, failedAssignments=1562713, nogoods=26957, foundSolutions=11, bestBound=80
1230.76/1226.98
1235.46/1231.66 num=559, depth=1..5, filters=17011142, revisions=(23226755,useless=4493283), ccks=9247876947, wck=1229.511, mem=29M110
1235.46/1231.66 decisions=3173493, wrong=1585362, backtracks=105804, failedAssignments=1566397, nogoods=26972, foundSolutions=11, bestBound=80
1235.46/1231.66
1237.97/1234.19 num=560, depth=3..7, filters=17056867, revisions=(23285284,useless=4502826), ccks=9267342914, wck=1232.041, mem=52M871
1237.97/1234.19 decisions=3181671, wrong=1589448, backtracks=106039, failedAssignments=1570449, nogoods=27050, foundSolutions=11, bestBound=80
1237.97/1234.19
1240.17/1236.38 num=561, depth=1..7, filters=17105853, revisions=(23350325,useless=4516881), ccks=9283541408, wck=1234.231, mem=29M110
1240.17/1236.38 decisions=3190598, wrong=1593908, backtracks=106158, failedAssignments=1574906, nogoods=27156, foundSolutions=11, bestBound=80
1240.17/1236.38
1245.58/1241.79 num=562, depth=2..6, filters=17216648, revisions=(23505003,useless=4545267), ccks=9318875655, wck=1239.642, mem=32M375
1245.58/1241.79 decisions=3200827, wrong=1599021, backtracks=106778, failedAssignments=1579809, nogoods=27185, foundSolutions=11, bestBound=80
1245.58/1241.79
1248.39/1244.59 num=563, depth=1..7, filters=17262243, revisions=(23568499,useless=4558048), ccks=9336990179, wck=1242.439, mem=55M55
1248.39/1244.59 decisions=3211756, wrong=1604483, backtracks=107124, failedAssignments=1585203, nogoods=27262, foundSolutions=11, bestBound=80
1248.39/1244.59
1254.00/1250.14 num=564, depth=0..9, filters=17351094, revisions=(23685249,useless=4577952), ccks=9381278240, wck=1247.99, mem=48M575
1254.00/1250.14 decisions=3223726, wrong=1610464, backtracks=107577, failedAssignments=1591136, nogoods=27323, foundSolutions=11, bestBound=80
1254.00/1250.14
1259.60/1255.74 num=565, depth=1..8, filters=17448085, revisions=(23820502,useless=4603047), ccks=9419612317, wck=1253.588, mem=49M655
1259.60/1255.74 decisions=3237146, wrong=1617171, backtracks=108159, failedAssignments=1597662, nogoods=27372, foundSolutions=11, bestBound=80
1259.60/1255.74
1267.50/1263.64 num=566, depth=0..7, filters=17557006, revisions=(23968629,useless=4630859), ccks=9478533775, wck=1261.492, mem=45M335
1267.50/1263.64 decisions=3252117, wrong=1624654, backtracks=108976, failedAssignments=1604841, nogoods=27457, foundSolutions=11, bestBound=80
1267.50/1263.64
1276.02/1272.13 num=567, depth=1..7, filters=17681397, revisions=(24141326,useless=4662566), ccks=9537045687, wck=1269.978, mem=51M848
1276.02/1272.13 decisions=3268435, wrong=1632811, backtracks=109931, failedAssignments=1612738, nogoods=27558, foundSolutions=11, bestBound=80
1276.02/1272.13
1282.82/1278.91 num=568, depth=1..7, filters=17772036, revisions=(24266049,useless=4687026), ccks=9592073643, wck=1276.757, mem=64M808
1282.82/1278.91 decisions=3285821, wrong=1641502, backtracks=110128, failedAssignments=1621425, nogoods=27611, foundSolutions=11, bestBound=80
1282.82/1278.91
1289.63/1285.78 num=569, depth=1..8, filters=17866001, revisions=(24394088,useless=4710330), ccks=9635314103, wck=1283.633, mem=52M928
1289.63/1285.78 decisions=3305309, wrong=1651244, backtracks=110969, failedAssignments=1630980, nogoods=27624, foundSolutions=11, bestBound=80
1289.63/1285.78
1296.54/1292.63 num=570, depth=2..9, filters=17974952, revisions=(24540063,useless=4737583), ccks=9689090698, wck=1290.482, mem=58M394
1296.54/1292.63 decisions=3326476, wrong=1661824, backtracks=111630, failedAssignments=1641491, nogoods=27691, foundSolutions=11, bestBound=80
1296.54/1292.63
1306.75/1302.82 num=571, depth=0..9, filters=18120474, revisions=(24733372,useless=4768019), ccks=9769679851, wck=1300.67, mem=35M738
1306.75/1302.82 decisions=3349780, wrong=1673473, backtracks=112298, failedAssignments=1653053, nogoods=27746, foundSolutions=11, bestBound=80
1306.75/1302.82
1312.98/1309.07 num=572, depth=1..11, filters=18201293, revisions=(24848377,useless=4796644), ccks=9811427728, wck=1306.921, mem=33M602
1312.98/1309.07 decisions=3375318, wrong=1686239, backtracks=113060, failedAssignments=1665771, nogoods=27841, foundSolutions=11, bestBound=80
1312.98/1309.07
1325.28/1321.33 num=573, depth=0..7, filters=18402238, revisions=(25122943,useless=4851430), ccks=9900765067, wck=1319.185, mem=33M618
1325.28/1321.33 decisions=3403839, wrong=1700498, backtracks=114335, failedAssignments=1679761, nogoods=27983, foundSolutions=11, bestBound=80
1325.28/1321.33
1337.10/1333.13 num=574, depth=1..9, filters=18582470, revisions=(25373253,useless=4898198), ccks=9977514652, wck=1330.979, mem=73M637
1337.10/1333.13 decisions=3435229, wrong=1716191, backtracks=115660, failedAssignments=1695150, nogoods=28061, foundSolutions=11, bestBound=80
1337.10/1333.13
1346.40/1342.48 num=575, depth=1..10, filters=18728332, revisions=(25570042,useless=4941165), ccks=10044731823, wck=1340.328, mem=48M813
1346.40/1342.48 decisions=3469256, wrong=1733202, backtracks=116541, failedAssignments=1712078, nogoods=28103, foundSolutions=11, bestBound=80
1346.40/1342.48
1362.82/1358.86 num=576, depth=1..8, filters=18951289, revisions=(25882650,useless=5003653), ccks=10164471787, wck=1356.716, mem=73M702
1362.82/1358.86 decisions=3507009, wrong=1752075, backtracks=117993, failedAssignments=1730699, nogoods=28192, foundSolutions=11, bestBound=80
1362.82/1358.86
1377.45/1373.42 num=577, depth=1..9, filters=19192267, revisions=(26213310,useless=5070862), ccks=10268214234, wck=1371.277, mem=48M903
1377.45/1373.42 decisions=3548425, wrong=1772780, backtracks=119380, failedAssignments=1751183, nogoods=28235, foundSolutions=11, bestBound=80
1377.45/1373.42
1393.86/1389.84 num=578, depth=0..9, filters=19439237, revisions=(26552836,useless=5140792), ccks=10382753311, wck=1387.695, mem=71M600
1393.86/1389.84 decisions=3594118, wrong=1795624, backtracks=121382, failedAssignments=1773715, nogoods=28302, foundSolutions=11, bestBound=80
1393.86/1389.84
1403.19/1399.19 num=579, depth=1..13, filters=19606532, revisions=(26796773,useless=5210921), ccks=10442274830, wck=1397.045, mem=41M408
1403.19/1399.19 decisions=3643704, wrong=1820414, backtracks=122310, failedAssignments=1798500, nogoods=28430, foundSolutions=11, bestBound=80
1403.19/1399.19
1426.22/1422.13 num=580, depth=1..11, filters=19920937, revisions=(27240180,useless=5302764), ccks=10611946317, wck=1419.98, mem=72M737
1426.22/1422.13 decisions=3698871, wrong=1847993, backtracks=124302, failedAssignments=1825764, nogoods=28600, foundSolutions=11, bestBound=80
1426.22/1422.13
1446.54/1442.40 num=581, depth=1..11, filters=20241738, revisions=(27679051,useless=5387319), ccks=10749120775, wck=1440.251, mem=77M139
1446.54/1442.40 decisions=3759563, wrong=1878335, backtracks=126473, failedAssignments=1855754, nogoods=28751, foundSolutions=11, bestBound=80
1446.54/1442.40
1471.87/1467.74 num=582, depth=1..13, filters=20624347, revisions=(28211307,useless=5493150), ccks=10931956937, wck=1465.593, mem=26M460
1471.87/1467.74 decisions=3826399, wrong=1911749, backtracks=128577, failedAssignments=1888743, nogoods=28898, foundSolutions=11, bestBound=80
1471.87/1467.74
1488.89/1484.79 num=583, depth=0..12, filters=20903101, revisions=(28599263,useless=5589112), ccks=11051115831, wck=1482.641, mem=53M485
1488.89/1484.79 decisions=3899052, wrong=1948073, backtracks=130460, failedAssignments=1925031, nogoods=28980, foundSolutions=11, bestBound=80
1488.89/1484.79
1520.82/1516.62 num=584, depth=1..9, filters=21357097, revisions=(29215754,useless=5705607), ccks=11294708619, wck=1514.472, mem=48M118
1520.82/1516.62 decisions=3979738, wrong=1988413, backtracks=132778, failedAssignments=1964948, nogoods=29087, foundSolutions=11, bestBound=80
1520.82/1516.62
1551.36/1547.15 o 76
1551.36/1547.15 num=585, depth=1..65, filters=21800017, revisions=(29826084,useless=5821847), ccks=11513136585, wck=1545.002, mem=79M471
1551.36/1547.15 decisions=4064991, wrong=2031032, backtracks=135354, failedAssignments=2006935, nogoods=29224, foundSolutions=12, bestBound=76
1551.36/1547.15
1587.70/1583.45 num=586, depth=1..12, filters=22442722, revisions=(30697479,useless=5976637), ccks=11756279855, wck=1581.306, mem=60M63
1587.70/1583.45 decisions=4163482, wrong=2080274, backtracks=139390, failedAssignments=2055235, nogoods=29336, foundSolutions=12, bestBound=76
1587.70/1583.45
1587.80/1583.50 num=587, depth=4..6, filters=22443326, revisions=(30698375,useless=5976836), ccks=11756597433, wck=1581.352, mem=60M63
1587.80/1583.50 decisions=4163510, wrong=2080286, backtracks=139395, failedAssignments=2055246, nogoods=29344, foundSolutions=12, bestBound=76
1587.80/1583.50
1587.80/1583.55 num=588, depth=1..6, filters=22443818, revisions=(30699064,useless=5977003), ccks=11757063668, wck=1581.407, mem=60M63
1587.80/1583.55 decisions=4163541, wrong=2080299, backtracks=139397, failedAssignments=2055258, nogoods=29354, foundSolutions=12, bestBound=76
1587.80/1583.55
1587.90/1583.62 num=589, depth=3..4, filters=22444391, revisions=(30699860,useless=5977169), ccks=11757575365, wck=1581.47, mem=61M143
1587.90/1583.62 decisions=4163576, wrong=2080315, backtracks=139402, failedAssignments=2055271, nogoods=29361, foundSolutions=12, bestBound=76
1587.90/1583.62
1587.90/1583.66 num=590, depth=4..6, filters=22444856, revisions=(30700525,useless=5977309), ccks=11757897264, wck=1581.51, mem=61M143
1587.90/1583.66 decisions=4163612, wrong=2080331, backtracks=139404, failedAssignments=2055285, nogoods=29366, foundSolutions=12, bestBound=76
1587.90/1583.66
1588.00/1583.72 num=591, depth=4..5, filters=22445233, revisions=(30701054,useless=5977424), ccks=11758437385, wck=1581.57, mem=61M143
1588.00/1583.72 decisions=4163649, wrong=2080347, backtracks=139404, failedAssignments=2055301, nogoods=29382, foundSolutions=12, bestBound=76
1588.00/1583.72
1588.00/1583.80 num=592, depth=3..4, filters=22446180, revisions=(30702436,useless=5977737), ccks=11759016133, wck=1581.648, mem=61M143
1588.00/1583.80 decisions=4163692, wrong=2080367, backtracks=139411, failedAssignments=2055318, nogoods=29390, foundSolutions=12, bestBound=76
1588.00/1583.80
1588.10/1583.86 num=593, depth=2..6, filters=22446768, revisions=(30703274,useless=5977928), ccks=11759522736, wck=1581.708, mem=62M223
1588.10/1583.86 decisions=4163737, wrong=2080387, backtracks=139414, failedAssignments=2055337, nogoods=29397, foundSolutions=12, bestBound=76
1588.10/1583.86
1588.20/1583.95 num=594, depth=2..4, filters=22447640, revisions=(30704529,useless=5978196), ccks=11760247395, wck=1581.8, mem=62M223
1588.20/1583.95 decisions=4163790, wrong=2080412, backtracks=139420, failedAssignments=2055358, nogoods=29405, foundSolutions=12, bestBound=76
1588.20/1583.95
1588.20/1583.99 num=595, depth=4..5, filters=22448201, revisions=(30705312,useless=5978356), ccks=11760558673, wck=1581.84, mem=62M223
1588.20/1583.99 decisions=4163842, wrong=2080436, backtracks=139425, failedAssignments=2055381, nogoods=29418, foundSolutions=12, bestBound=76
1588.20/1583.99
1588.31/1584.03 num=596, depth=3..6, filters=22448530, revisions=(30705793,useless=5978483), ccks=11760865515, wck=1581.878, mem=63M303
1588.31/1584.03 decisions=4163897, wrong=2080461, backtracks=139426, failedAssignments=2055406, nogoods=29437, foundSolutions=12, bestBound=76
1588.31/1584.03
1588.31/1584.09 num=597, depth=3..5, filters=22449523, revisions=(30707189,useless=5978785), ccks=11761262926, wck=1581.94, mem=63M303
1588.31/1584.09 decisions=4163963, wrong=2080492, backtracks=139432, failedAssignments=2055434, nogoods=29442, foundSolutions=12, bestBound=76
1588.31/1584.09
1588.41/1584.13 num=598, depth=4..6, filters=22450109, revisions=(30708004,useless=5978960), ccks=11761541733, wck=1581.977, mem=63M303
1588.41/1584.13 decisions=4164029, wrong=2080523, backtracks=139437, failedAssignments=2055465, nogoods=29456, foundSolutions=12, bestBound=76
1588.41/1584.13
1588.50/1584.21 num=599, depth=4..5, filters=22450853, revisions=(30709065,useless=5979216), ccks=11762278229, wck=1582.062, mem=64M384
1588.50/1584.21 decisions=4164103, wrong=2080558, backtracks=139443, failedAssignments=2055499, nogoods=29489, foundSolutions=12, bestBound=76
1588.50/1584.21
1588.60/1584.32 num=600, depth=2..5, filters=22451992, revisions=(30710694,useless=5979515), ccks=11763090980, wck=1582.17, mem=65M464
1588.60/1584.32 decisions=4164185, wrong=2080597, backtracks=139452, failedAssignments=2055536, nogoods=29506, foundSolutions=12, bestBound=76
1588.60/1584.32
1588.70/1584.43 num=601, depth=3..4, filters=22453332, revisions=(30712633,useless=5979932), ccks=11763917961, wck=1582.279, mem=65M464
1588.70/1584.43 decisions=4164274, wrong=2080640, backtracks=139461, failedAssignments=2055577, nogoods=29516, foundSolutions=12, bestBound=76
1588.70/1584.43
1588.80/1584.55 num=602, depth=2..5, filters=22455194, revisions=(30715308,useless=5980467), ccks=11764765825, wck=1582.402, mem=66M544
1588.80/1584.55 decisions=4164385, wrong=2080694, backtracks=139477, failedAssignments=2055622, nogoods=29530, foundSolutions=12, bestBound=76
1588.80/1584.55
1589.00/1584.75 num=603, depth=2..6, filters=22456867, revisions=(30717619,useless=5980956), ccks=11766379688, wck=1582.597, mem=67M624
1589.00/1584.75 decisions=4164499, wrong=2080748, backtracks=139489, failedAssignments=2055672, nogoods=29558, foundSolutions=12, bestBound=76
1589.00/1584.75
1589.20/1584.92 num=604, depth=2..6, filters=22459021, revisions=(30720555,useless=5981548), ccks=11767764172, wck=1582.777, mem=68M704
1589.20/1584.92 decisions=4164636, wrong=2080814, backtracks=139506, failedAssignments=2055727, nogoods=29578, foundSolutions=12, bestBound=76
1589.20/1584.92
1589.31/1585.02 num=605, depth=3..5, filters=22460442, revisions=(30722559,useless=5981960), ccks=11768491430, wck=1582.873, mem=69M784
1589.31/1585.02 decisions=4164774, wrong=2080881, backtracks=139515, failedAssignments=2055788, nogoods=29589, foundSolutions=12, bestBound=76
1589.31/1585.02
1589.41/1585.14 num=606, depth=4..6, filters=22462416, revisions=(30725239,useless=5982532), ccks=11769464062, wck=1582.992, mem=70M864
1589.41/1585.14 decisions=4164929, wrong=2080956, backtracks=139527, failedAssignments=2055855, nogoods=29601, foundSolutions=12, bestBound=76
1589.41/1585.14
1589.60/1585.34 num=607, depth=2..5, filters=22465030, revisions=(30728848,useless=5983189), ccks=11770969770, wck=1583.194, mem=71M944
1589.60/1585.34 decisions=4165117, wrong=2081048, backtracks=139548, failedAssignments=2055929, nogoods=29607, foundSolutions=12, bestBound=76
1589.60/1585.34
1589.70/1585.45 num=608, depth=3..6, filters=22467632, revisions=(30732502,useless=5983884), ccks=11771658510, wck=1583.299, mem=73M24
1589.70/1585.45 decisions=4165299, wrong=2081137, backtracks=139565, failedAssignments=2056010, nogoods=29624, foundSolutions=12, bestBound=76
1589.70/1585.45
1590.00/1585.73 num=609, depth=2..5, filters=22470789, revisions=(30736864,useless=5984718), ccks=11773891046, wck=1583.583, mem=74M104
1590.00/1585.73 decisions=4165503, wrong=2081237, backtracks=139585, failedAssignments=2056099, nogoods=29642, foundSolutions=12, bestBound=76
1590.00/1585.73
1590.00/1585.77 num=610, depth=3..6, filters=22471091, revisions=(30737276,useless=5984811), ccks=11774170244, wck=1583.621, mem=74M104
1590.00/1585.77 decisions=4165703, wrong=2081335, backtracks=139587, failedAssignments=2056197, nogoods=29668, foundSolutions=12, bestBound=76
1590.00/1585.77
1590.20/1585.96 num=611, depth=3..6, filters=22474861, revisions=(30742470,useless=5985826), ccks=11775308838, wck=1583.809, mem=76M264
1590.20/1585.96 decisions=4165954, wrong=2081458, backtracks=139613, failedAssignments=2056305, nogoods=29683, foundSolutions=12, bestBound=76
1590.20/1585.96
1590.41/1586.13 num=612, depth=3..6, filters=22479468, revisions=(30748824,useless=5986953), ccks=11776426097, wck=1583.986, mem=77M344
1590.41/1586.13 decisions=4166232, wrong=2081595, backtracks=139649, failedAssignments=2056424, nogoods=29689, foundSolutions=12, bestBound=76
1590.41/1586.13
1590.70/1586.43 num=613, depth=2..5, filters=22483261, revisions=(30754148,useless=5988097), ccks=11778689470, wck=1584.278, mem=79M504
1590.70/1586.43 decisions=4166521, wrong=2081738, backtracks=139679, failedAssignments=2056555, nogoods=29707, foundSolutions=12, bestBound=76
1590.70/1586.43
1590.81/1586.57 num=614, depth=3..6, filters=22487195, revisions=(30759557,useless=5989279), ccks=11779616434, wck=1584.424, mem=27M687
1590.81/1586.57 decisions=4166838, wrong=2081894, backtracks=139713, failedAssignments=2056699, nogoods=29733, foundSolutions=12, bestBound=76
1590.81/1586.57
1591.21/1586.96 num=615, depth=2..6, filters=22491552, revisions=(30765555,useless=5990493), ccks=11782921711, wck=1584.811, mem=29M847
1591.21/1586.96 decisions=4167171, wrong=2082058, backtracks=139747, failedAssignments=2056857, nogoods=29760, foundSolutions=12, bestBound=76
1591.21/1586.96
1591.81/1587.53 num=616, depth=2..5, filters=22497956, revisions=(30774535,useless=5992563), ccks=11787396176, wck=1585.386, mem=32M7
1591.81/1587.53 decisions=4167573, wrong=2082257, backtracks=139800, failedAssignments=2057031, nogoods=29783, foundSolutions=12, bestBound=76
1591.81/1587.53
1592.11/1587.80 num=617, depth=2..5, filters=22502073, revisions=(30780373,useless=5993648), ccks=11789287621, wck=1585.652, mem=34M167
1592.11/1587.80 decisions=4167980, wrong=2082459, backtracks=139825, failedAssignments=2057222, nogoods=29797, foundSolutions=12, bestBound=76
1592.11/1587.80
1592.51/1588.29 num=618, depth=2..5, filters=22506892, revisions=(30787099,useless=5995135), ccks=11793381819, wck=1586.14, mem=37M407
1592.51/1588.29 decisions=4168427, wrong=2082680, backtracks=139866, failedAssignments=2057433, nogoods=29824, foundSolutions=12, bestBound=76
1592.51/1588.29
1592.91/1588.63 num=619, depth=2..6, filters=22514914, revisions=(30798336,useless=5997226), ccks=11795553213, wck=1586.479, mem=40M648
1592.91/1588.63 decisions=4168930, wrong=2082930, backtracks=139929, failedAssignments=2057665, nogoods=29830, foundSolutions=12, bestBound=76
1592.91/1588.63
1593.21/1588.92 num=620, depth=4..7, filters=22521845, revisions=(30807567,useless=5999023), ccks=11797838038, wck=1586.773, mem=42M808
1593.21/1588.92 decisions=4169474, wrong=2083200, backtracks=139969, failedAssignments=2057920, nogoods=29840, foundSolutions=12, bestBound=76
1593.21/1588.92
1593.61/1589.30 num=621, depth=2..4, filters=22528260, revisions=(30816650,useless=6000813), ccks=11800384589, wck=1587.154, mem=46M48
1593.61/1589.30 decisions=4170083, wrong=2083503, backtracks=140011, failedAssignments=2058201, nogoods=29873, foundSolutions=12, bestBound=76
1593.61/1589.30
1594.21/1589.97 num=622, depth=1..6, filters=22535035, revisions=(30826122,useless=6002980), ccks=11806057993, wck=1587.823, mem=50M368
1594.21/1589.97 decisions=4170724, wrong=2083822, backtracks=140072, failedAssignments=2058510, nogoods=29879, foundSolutions=12, bestBound=76
1594.21/1589.97
1594.42/1590.15 num=623, depth=3..6, filters=22539898, revisions=(30832653,useless=6004234), ccks=11807226572, wck=1588.003, mem=52M528
1594.42/1590.15 decisions=4171415, wrong=2084165, backtracks=140106, failedAssignments=2058850, nogoods=29904, foundSolutions=12, bestBound=76
1594.42/1590.15
1595.01/1590.75 num=624, depth=2..5, filters=22549844, revisions=(30847106,useless=6007156), ccks=11811091030, wck=1588.605, mem=57M928
1595.01/1590.75 decisions=4172210, wrong=2084561, backtracks=140198, failedAssignments=2059224, nogoods=29921, foundSolutions=12, bestBound=76
1595.01/1590.75
1595.91/1591.65 num=625, depth=2..7, filters=22559591, revisions=(30860450,useless=6009883), ccks=11818786688, wck=1589.505, mem=63M328
1595.91/1591.65 decisions=4173075, wrong=2084991, backtracks=140272, failedAssignments=2059635, nogoods=29948, foundSolutions=12, bestBound=76
1595.91/1591.65
1597.01/1592.72 num=626, depth=1..6, filters=22572930, revisions=(30878936,useless=6013480), ccks=11826614295, wck=1590.571, mem=69M808
1597.01/1592.72 decisions=4174039, wrong=2085471, backtracks=140408, failedAssignments=2060087, nogoods=29983, foundSolutions=12, bestBound=76
1597.01/1592.72
1598.11/1593.80 num=627, depth=1..5, filters=22587746, revisions=(30899707,useless=6017390), ccks=11834493689, wck=1591.656, mem=76M288
1598.11/1593.80 decisions=4175143, wrong=2086021, backtracks=140528, failedAssignments=2060584, nogoods=30024, foundSolutions=12, bestBound=76
1598.11/1593.80
1598.42/1594.11 num=628, depth=3..8, filters=22595639, revisions=(30910572,useless=6019646), ccks=11836488005, wck=1591.964, mem=79M528
1598.42/1594.11 decisions=4176264, wrong=2086579, backtracks=140595, failedAssignments=2061131, nogoods=30039, foundSolutions=12, bestBound=76
1598.42/1594.11
1598.92/1594.68 num=629, depth=4..7, filters=22604932, revisions=(30923059,useless=6021867), ccks=11841019534, wck=1592.534, mem=29M946
1598.92/1594.68 decisions=4177526, wrong=2087207, backtracks=140659, failedAssignments=2061733, nogoods=30076, foundSolutions=12, bestBound=76
1598.92/1594.68
1600.02/1595.70 num=630, depth=2..5, filters=22618254, revisions=(30941454,useless=6024940), ccks=11848592766, wck=1593.551, mem=36M426
1600.02/1595.70 decisions=4178939, wrong=2087912, backtracks=140749, failedAssignments=2062395, nogoods=30094, foundSolutions=12, bestBound=76
1600.02/1595.70
1600.72/1596.43 num=631, depth=1..7, filters=22627163, revisions=(30953555,useless=6027357), ccks=11854645732, wck=1594.283, mem=41M826
1600.72/1596.43 decisions=4180429, wrong=2088654, backtracks=140793, failedAssignments=2063123, nogoods=30203, foundSolutions=12, bestBound=76
1600.72/1596.43
1601.92/1597.64 num=632, depth=2..6, filters=22650510, revisions=(30987279,useless=6034098), ccks=11862095856, wck=1595.495, mem=53M706
1601.92/1597.64 decisions=4182118, wrong=2089496, backtracks=140990, failedAssignments=2063924, nogoods=30222, foundSolutions=12, bestBound=76
1601.92/1597.64
1604.12/1599.83 num=633, depth=2..6, filters=22677211, revisions=(31024381,useless=6040565), ccks=11879422065, wck=1597.687, mem=65M586
1604.12/1599.83 decisions=4184066, wrong=2090468, backtracks=141165, failedAssignments=2064805, nogoods=30247, foundSolutions=12, bestBound=76
1604.12/1599.83
1605.52/1601.27 num=634, depth=1..5, filters=22700831, revisions=(31058164,useless=6046562), ccks=11889019754, wck=1599.118, mem=78M547
1605.52/1601.27 decisions=4186181, wrong=2091524, backtracks=141362, failedAssignments=2065775, nogoods=30282, foundSolutions=12, bestBound=76
1605.52/1601.27
1606.53/1602.23 num=635, depth=2..6, filters=22716212, revisions=(31079193,useless=6051130), ccks=11896625973, wck=1600.083, mem=32M106
1606.53/1602.23 decisions=4188367, wrong=2092614, backtracks=141492, failedAssignments=2066842, nogoods=30304, foundSolutions=12, bestBound=76
1606.53/1602.23
1608.73/1604.43 num=636, depth=1..6, filters=22742606, revisions=(31115506,useless=6057584), ccks=11913726313, wck=1602.284, mem=43M986
1608.73/1604.43 decisions=4190893, wrong=2093875, backtracks=141685, failedAssignments=2068015, nogoods=30331, foundSolutions=12, bestBound=76
1608.73/1604.43
1610.23/1605.93 num=637, depth=0..4, filters=22765218, revisions=(31147780,useless=6063426), ccks=11923765299, wck=1603.786, mem=58M26
1610.23/1605.93 decisions=4193533, wrong=2095193, backtracks=141850, failedAssignments=2069306, nogoods=30340, foundSolutions=12, bestBound=76
1610.23/1605.93
1610.73/1606.49 num=638, depth=2..6, filters=22779622, revisions=(31167258,useless=6067313), ccks=11927055244, wck=1604.342, mem=64M506
1610.73/1606.49 decisions=4196395, wrong=2096622, backtracks=141966, failedAssignments=2070726, nogoods=30376, foundSolutions=12, bestBound=76
1610.73/1606.49
1612.53/1608.28 num=639, depth=2..5, filters=22814784, revisions=(31216895,useless=6077291), ccks=11937849533, wck=1606.13, mem=29M946
1612.53/1608.28 decisions=4199660, wrong=2098252, backtracks=142199, failedAssignments=2072288, nogoods=30404, foundSolutions=12, bestBound=76
1612.53/1608.28
1615.44/1611.17 num=640, depth=1..7, filters=22862502, revisions=(31284659,useless=6090345), ccks=11958240723, wck=1609.017, mem=52M626
1615.44/1611.17 decisions=4203281, wrong=2100061, backtracks=142582, failedAssignments=2074006, nogoods=30418, foundSolutions=12, bestBound=76
1615.44/1611.17
1617.24/1612.91 num=641, depth=2..6, filters=22905159, revisions=(31342276,useless=6100869), ccks=11970767275, wck=1610.762, mem=72M67
1617.24/1612.91 decisions=4207258, wrong=2102047, backtracks=142818, failedAssignments=2075896, nogoods=30475, foundSolutions=12, bestBound=76
1617.24/1612.91
1621.14/1616.85 num=642, depth=1..6, filters=22954290, revisions=(31409918,useless=6113239), ccks=12001346401, wck=1614.7, mem=40M746
1621.14/1616.85 decisions=4211766, wrong=2104299, backtracks=143181, failedAssignments=2077975, nogoods=30525, foundSolutions=12, bestBound=76
1621.14/1616.85
1624.04/1619.78 num=643, depth=1..7, filters=23000673, revisions=(31476682,useless=6126515), ccks=12020477509, wck=1617.634, mem=65M586
1624.04/1619.78 decisions=4216562, wrong=2106695, backtracks=143578, failedAssignments=2080262, nogoods=30544, foundSolutions=12, bestBound=76
1624.04/1619.78
1626.55/1622.27 num=644, depth=2..7, filters=23057219, revisions=(31554389,useless=6141633), ccks=12037198130, wck=1620.12, mem=35M370
1626.55/1622.27 decisions=4221879, wrong=2109351, backtracks=144015, failedAssignments=2082778, nogoods=30600, foundSolutions=12, bestBound=76
1626.55/1622.27
1630.85/1626.56 num=645, depth=1..6, filters=23122178, revisions=(31644475,useless=6156701), ccks=12067752847, wck=1624.411, mem=64M531
1630.85/1626.56 decisions=4227697, wrong=2112258, backtracks=144508, failedAssignments=2085546, nogoods=30663, foundSolutions=12, bestBound=76
1630.85/1626.56
1634.66/1630.32 num=646, depth=1..5, filters=23189972, revisions=(31740967,useless=6174489), ccks=12092613440, wck=1628.175, mem=46M203
1634.66/1630.32 decisions=4233999, wrong=2115407, backtracks=144951, failedAssignments=2088590, nogoods=30686, foundSolutions=12, bestBound=76
1634.66/1630.32
1639.36/1635.02 num=647, depth=1..6, filters=23263369, revisions=(31842702,useless=6192205), ccks=12125545192, wck=1632.868, mem=78M604
1639.36/1635.02 decisions=4241079, wrong=2118945, backtracks=145512, failedAssignments=2091939, nogoods=30740, foundSolutions=12, bestBound=76
1639.36/1635.02
1642.06/1637.75 num=648, depth=2..6, filters=23310843, revisions=(31906743,useless=6203434), ccks=12147594800, wck=1635.605, mem=55M923
1642.06/1637.75 decisions=4248456, wrong=2122631, backtracks=145626, failedAssignments=2095623, nogoods=30772, foundSolutions=12, bestBound=76
1642.06/1637.75
1647.77/1643.46 num=649, depth=1..6, filters=23397580, revisions=(32028238,useless=6226226), ccks=12186910879, wck=1641.316, mem=42M963
1647.77/1643.46 decisions=4257022, wrong=2126912, backtracks=146341, failedAssignments=2099675, nogoods=30835, foundSolutions=12, bestBound=76
1647.77/1643.46
1653.88/1649.57 num=650, depth=1..7, filters=23509532, revisions=(32184366,useless=6255115), ccks=12227839615, wck=1647.424, mem=46M203
1653.88/1649.57 decisions=4266609, wrong=2131703, backtracks=147076, failedAssignments=2104132, nogoods=30867, foundSolutions=12, bestBound=76
1653.88/1649.57
1657.59/1653.26 num=651, depth=2..7, filters=23619113, revisions=(32332273,useless=6282437), ccks=12250745935, wck=1651.109, mem=34M356
1657.59/1653.26 decisions=4276908, wrong=2136850, backtracks=147763, failedAssignments=2109035, nogoods=30961, foundSolutions=12, bestBound=76
1657.59/1653.26
1663.29/1658.96 num=652, depth=2..6, filters=23732942, revisions=(32491429,useless=6312920), ccks=12285320299, wck=1656.81, mem=33M309
1663.29/1658.96 decisions=4288366, wrong=2142577, backtracks=148652, failedAssignments=2114429, nogoods=31020, foundSolutions=12, bestBound=76
1663.29/1658.96
1671.60/1667.20 num=653, depth=1..7, filters=23861008, revisions=(32666726,useless=6344617), ccks=12349610447, wck=1665.053, mem=45M189
1671.60/1667.20 decisions=4300577, wrong=2148680, backtracks=149358, failedAssignments=2120362, nogoods=31151, foundSolutions=12, bestBound=76
1671.60/1667.20
1682.21/1677.87 num=654, depth=1..7, filters=24008505, revisions=(32868994,useless=6381423), ccks=12431123920, wck=1675.722, mem=60M309
1682.21/1677.87 decisions=4314381, wrong=2155580, backtracks=150431, failedAssignments=2126888, nogoods=31191, foundSolutions=12, bestBound=76
1682.21/1677.87
1690.32/1685.99 num=655, depth=0..7, filters=24136036, revisions=(33048252,useless=6417696), ccks=12488913738, wck=1683.842, mem=26M837
1690.32/1685.99 decisions=4329241, wrong=2163007, backtracks=151362, failedAssignments=2134067, nogoods=31265, foundSolutions=12, bestBound=76
1690.32/1685.99
1701.64/1697.27 num=656, depth=1..6, filters=24281266, revisions=(33249174,useless=6458977), ccks=12574170664, wck=1695.123, mem=48M486
1701.64/1697.27 decisions=4345582, wrong=2171175, backtracks=152626, failedAssignments=2141964, nogoods=31326, foundSolutions=12, bestBound=76
1701.64/1697.27
1712.86/1708.49 num=657, depth=1..7, filters=24468765, revisions=(33510588,useless=6508944), ccks=12648868314, wck=1706.342, mem=27M990
1712.86/1708.49 decisions=4364007, wrong=2180385, backtracks=154207, failedAssignments=2150651, nogoods=31469, foundSolutions=12, bestBound=76
1712.86/1708.49
1727.48/1723.06 num=658, depth=1..7, filters=24717080, revisions=(33854048,useless=6570461), ccks=12747556572, wck=1720.908, mem=29M119
1727.48/1723.06 decisions=4384433, wrong=2190596, backtracks=155894, failedAssignments=2160206, nogoods=31517, foundSolutions=12, bestBound=76
1727.48/1723.06
1736.08/1731.60 num=659, depth=1..8, filters=24856146, revisions=(34041221,useless=6609357), ccks=12816496009, wck=1729.451, mem=62M592
1736.08/1731.60 decisions=4405554, wrong=2201154, backtracks=156432, failedAssignments=2170717, nogoods=31647, foundSolutions=12, bestBound=76
1736.08/1731.60
1744.29/1739.81 num=660, depth=0..7, filters=24971169, revisions=(34196536,useless=6636164), ccks=12881389281, wck=1737.661, mem=32M401
1744.29/1739.81 decisions=4428744, wrong=2212746, backtracks=156846, failedAssignments=2182279, nogoods=31694, foundSolutions=12, bestBound=76
1744.29/1739.81
1760.11/1755.67 num=661, depth=1..7, filters=25258068, revisions=(34602564,useless=6710740), ccks=12987904340, wck=1753.522, mem=77M811
1760.11/1755.67 decisions=4455343, wrong=2226043, backtracks=158504, failedAssignments=2194997, nogoods=31798, foundSolutions=12, bestBound=76
1760.11/1755.67
1778.54/1774.08 num=662, depth=1..8, filters=25532111, revisions=(34985433,useless=6784037), ccks=13118060230, wck=1771.935, mem=48M691
1778.54/1774.08 decisions=4484526, wrong=2240633, backtracks=160563, failedAssignments=2208987, nogoods=31819, foundSolutions=12, bestBound=76
1778.54/1774.08
1794.75/1790.21 num=663, depth=1..7, filters=25735685, revisions=(35265846,useless=6839209), ccks=13255047971, wck=1788.066, mem=41M180
1794.75/1790.21 decisions=4515403, wrong=2256069, backtracks=160955, failedAssignments=2224376, nogoods=31900, foundSolutions=12, bestBound=76
1794.75/1790.21
1813.17/1808.68 num=664, depth=1..8, filters=26049500, revisions=(35698579,useless=6924068), ccks=13383338431, wck=1806.534, mem=28M269
1813.17/1808.68 decisions=4550644, wrong=2273687, backtracks=163217, failedAssignments=2241304, nogoods=32045, foundSolutions=12, bestBound=76
1813.17/1808.68
1825.71/1821.19 num=665, depth=1..9, filters=26233289, revisions=(35958942,useless=6981847), ccks=13478544010, wck=1819.041, mem=48M847
1825.71/1821.19 decisions=4588004, wrong=2292364, backtracks=164221, failedAssignments=2259925, nogoods=32146, foundSolutions=12, bestBound=76
1825.71/1821.19
1846.53/1841.97 num=666, depth=0..7, filters=26603833, revisions=(36471171,useless=7080063), ccks=13625056740, wck=1839.824, mem=33M775
1846.53/1841.97 decisions=4630233, wrong=2313476, backtracks=166645, failedAssignments=2280409, nogoods=32258, foundSolutions=12, bestBound=76
1846.53/1841.97
1875.76/1871.16 num=667, depth=1..7, filters=26974476, revisions=(36982848,useless=7191706), ccks=13862480518, wck=1869.007, mem=32M761
1875.76/1871.16 decisions=4676330, wrong=2336523, backtracks=169520, failedAssignments=2302941, nogoods=32334, foundSolutions=12, bestBound=76
1875.76/1871.16
1898.18/1893.58 num=668, depth=1..11, filters=27280698, revisions=(37421788,useless=7287541), ccks=14026871564, wck=1891.428, mem=72M746
1898.18/1893.58 decisions=4726802, wrong=2361755, backtracks=171621, failedAssignments=2327726, nogoods=32487, foundSolutions=12, bestBound=76
1898.18/1893.58
1928.01/1923.35 num=669, depth=1..8, filters=27774722, revisions=(38108932,useless=7418985), ccks=14234004784, wck=1921.2, mem=51M171
1928.01/1923.35 decisions=4783337, wrong=2390020, backtracks=175005, failedAssignments=2354990, nogoods=32604, foundSolutions=12, bestBound=76
1928.01/1923.35
1950.93/1946.25 num=670, depth=1..10, filters=28129464, revisions=(38597889,useless=7510940), ccks=14395454994, wck=1944.1, mem=27M435
1950.93/1946.25 decisions=4844105, wrong=2420400, backtracks=177201, failedAssignments=2384980, nogoods=32773, foundSolutions=12, bestBound=76
1950.93/1946.25
1964.27/1959.58 num=671, depth=1..11, filters=28356074, revisions=(38924003,useless=7601049), ccks=14479771811, wck=1957.433, mem=40M395
1964.27/1959.58 decisions=4910178, wrong=2453433, backtracks=178295, failedAssignments=2417969, nogoods=32877, foundSolutions=12, bestBound=76
1964.27/1959.58
2002.10/1997.35 num=672, depth=1..8, filters=29060033, revisions=(39896358,useless=7784857), ccks=14734002366, wck=1995.203, mem=55M573
2002.10/1997.35 decisions=4985828, wrong=2491256, backtracks=182908, failedAssignments=2454257, nogoods=32918, foundSolutions=12, bestBound=76
2002.10/1997.35
2030.63/2025.89 num=673, depth=1..10, filters=29549260, revisions=(40580208,useless=7938627), ccks=14945453900, wck=2023.742, mem=42M645
2030.63/2025.89 decisions=5066577, wrong=2531628, backtracks=185693, failedAssignments=2494174, nogoods=33031, foundSolutions=12, bestBound=76
2030.63/2025.89
2065.07/2060.20 num=674, depth=1..10, filters=30064027, revisions=(41294013,useless=8085016), ccks=15187900222, wck=2058.052, mem=74M23
2065.07/2060.20 decisions=5155422, wrong=2576047, backtracks=188275, failedAssignments=2538083, nogoods=33072, foundSolutions=12, bestBound=76
2065.07/2060.20
2112.42/2107.59 num=675, depth=0..8, filters=30841108, revisions=(42378704,useless=8300607), ccks=15527636933, wck=2105.439, mem=64M327
2112.42/2107.59 decisions=5254559, wrong=2625612, backtracks=193476, failedAssignments=2586383, nogoods=33188, foundSolutions=12, bestBound=76
2112.42/2107.59
2165.77/2160.84 num=676, depth=1..14, filters=31782855, revisions=(43684987,useless=8539470), ccks=15900108109, wck=2158.689, mem=49M256
2165.77/2160.84 decisions=5364306, wrong=2680482, backtracks=199322, failedAssignments=2639513, nogoods=33326, foundSolutions=12, bestBound=76
2165.77/2160.84
2213.71/2208.73 num=677, depth=1..12, filters=32251695, revisions=(44341254,useless=8695488), ccks=16258500337, wck=2206.58, mem=73M17
2213.71/2208.73 decisions=5481434, wrong=2739043, backtracks=202114, failedAssignments=2697956, nogoods=33408, foundSolutions=12, bestBound=76
2213.71/2208.73
2273.58/2268.56 num=678, depth=1..12, filters=33286288, revisions=(45736626,useless=8963941), ccks=16715331242, wck=2266.411, mem=52M562
2273.58/2268.56 decisions=5612568, wrong=2804606, backtracks=207156, failedAssignments=2762243, nogoods=33608, foundSolutions=12, bestBound=76
2273.58/2268.56
2320.03/2314.91 num=679, depth=1..11, filters=34036431, revisions=(46743617,useless=9157919), ccks=17016252518, wck=2312.763, mem=60M147
2320.03/2314.91 decisions=5755646, wrong=2876141, backtracks=213009, failedAssignments=2832959, nogoods=33675, foundSolutions=12, bestBound=76
2320.03/2314.91
2391.22/2386.01 num=680, depth=1..10, filters=35092450, revisions=(48204602,useless=9446197), ccks=17550589309, wck=2383.86, mem=39M667
2391.22/2386.01 decisions=5914159, wrong=2955394, backtracks=218785, failedAssignments=2910746, nogoods=33795, foundSolutions=12, bestBound=76
2391.22/2386.01
2400.02/2394.80
2400.02/2394.80 v <instantiation id='sol12' type='solution' cost='76'> <list> x[] y[][] </list> <values> 0 2 5 11 18 28 42 43 64 72 76 * 2 5 11 18 28 42 43 64 72 76 * * 3 9 16 26 40 41 62 70 74 * * * 6 13 23 37 38 59 67 71 * * * * 7 17 31 32 53 61 65 * * * * * 10 24 25 46 54 58 * * * * * * 14 15 36 44 48 * * * * * * * 1 22 30 34 * * * * * * * * 21 29 33 * * * * * * * * * 8 12 * * * * * * * * * * 4 * * * * * * * * * * * </values> </instantiation>
2400.02/2394.80 s SATISFIABLE