2.44/1.87
2.44/1.87 AbsCon 2
2.44/1.89
2.95/2.07 Instance
2.95/2.07 name=instance-4391338-1568389007, framework=COP, bounds=-infty..+infty
2.95/2.07
2.95/2.07 Loading variables...
3.29/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3a4eec4a
3.29/2.19 Loading constraints...[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a1cb81b
3.29/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@517bad5
3.59/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5b41921a
3.59/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4f70622a
3.59/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3de680ff
3.59/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b807afd
3.59/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@28953f88
3.59/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e813b9f
3.59/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1179c1f9
3.59/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1179c1f9
3.59/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1179c1f9
3.59/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1179c1f9
3.59/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1179c1f9
3.59/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1179c1f9
3.59/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1179c1f9
3.59/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1179c1f9
3.59/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@10b7921a
3.59/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@10b7921a
3.59/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@10b7921a
3.59/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@10b7921a
3.59/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@10b7921a
3.59/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@10b7921a
3.59/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@10b7921a
3.59/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@33900509
3.59/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@33900509
3.59/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@33900509
3.59/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@33900509
3.59/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@33900509
3.59/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@33900509
3.59/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1b8815ec
3.59/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1b8815ec
3.59/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1b8815ec
3.59/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1b8815ec
3.59/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1b8815ec
3.59/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f4ab6c7
3.59/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f4ab6c7
3.59/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f4ab6c7
3.59/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f4ab6c7
3.59/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@8ae8ddf
3.59/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@8ae8ddf
3.59/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@8ae8ddf
3.59/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7c0a5bbd
3.59/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7c0a5bbd
3.59/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6373f5dc
3.91/2.36
3.91/2.36
3.91/2.36 Domains
3.91/2.36 nTypes=2, nValues=6630, sizes=[2#3150,330#1]
3.91/2.36 Variables
3.91/2.36 count=3151, degrees=[11#4,12#710,13#2436,37#1]
3.91/2.36 Objectives
3.91/2.36 way=min, type=ObjVarLE
3.91/2.36 Constraints
3.91/2.36 count=403, nSpecific=403, arities=[1#1,18#349,350#9,700#8,701#36]
3.91/2.36 distribution=[LexicographicLe#357,ObjVarLE#1,SumScalarBooleanLEVar#36,SumSimpleEQ#9]
3.91/2.36 wck=0.514, cpu=2.326, mem=63M506
3.91/2.37 Solver SolverBacktrack being built...
3.91/2.37
4.27/2.42
4.27/2.42 Solver
4.27/2.42 guaranteedGAC=true
4.27/2.42 wck=0.583, cpu=2.393, mem=82M88
4.27/2.48
4.27/2.48 Preprocessing
4.27/2.48 filters=0, nACremovedValues=0, nTotalRemovedValues=0, inconcistency=false
4.27/2.48 wck=0.052, cpu=2.448, mem=82M88
4.27/2.48
4.68/2.62 num=0, depth=491..501, filters=468, wck=0.197, mem=82M88
4.68/2.62 decisions=545, wrong=27, backtracks=26, failedAssignments=10, nogoods=1
4.68/2.62
4.96/2.77 num=1, depth=1..219, filters=3233, wck=0.343, mem=82M88
4.96/2.77 decisions=784, wrong=43, backtracks=33, failedAssignments=21, nogoods=10
4.96/2.77
5.55/2.92 num=2, depth=1..301, filters=5712, wck=0.494, mem=82M88
5.55/2.92 decisions=1106, wrong=61, backtracks=40, failedAssignments=33, nogoods=19
5.55/2.92
5.77/3.02 num=3, depth=5..366, filters=8001, wck=0.594, mem=82M88
5.77/3.02 decisions=1488, wrong=75, backtracks=41, failedAssignments=46, nogoods=32
5.77/3.02
5.93/3.11 o 100
5.93/3.13 num=4, depth=3..3150, filters=9620, ccks=403, wck=0.701, mem=84M738
5.93/3.13 decisions=1892, wrong=78, backtracks=41, failedAssignments=49, nogoods=35, foundSolutions=1, bestBound=100
5.93/3.13
6.20/3.25 o 99
6.20/3.26 num=5, depth=3..3150, filters=11352, ccks=806, wck=0.832, mem=84M738
6.20/3.26 decisions=2281, wrong=87, backtracks=41, failedAssignments=58, nogoods=44, foundSolutions=2, bestBound=99
6.20/3.26
6.47/3.38 o 96
6.47/3.39 num=6, depth=3..3150, filters=13369, ccks=1209, wck=0.962, mem=84M738
6.47/3.39 decisions=2559, wrong=93, backtracks=41, failedAssignments=64, nogoods=50, foundSolutions=3, bestBound=96
6.47/3.39
7.06/3.57 o 95
7.06/3.58 num=7, depth=6..3150, filters=14938, ccks=1612, wck=1.151, mem=87M381
7.06/3.58 decisions=2786, wrong=95, backtracks=41, failedAssignments=66, nogoods=52, foundSolutions=4, bestBound=95
7.06/3.58
7.55/3.82 num=8, depth=66..247, filters=20664, ccks=1612, wck=1.393, mem=87M381
7.55/3.82 decisions=3340, wrong=298, backtracks=235, failedAssignments=77, nogoods=60, foundSolutions=4, bestBound=95
7.55/3.82
7.65/3.91 num=9, depth=1..295, filters=22927, ccks=1612, wck=1.482, mem=87M381
7.65/3.91 decisions=3647, wrong=309, backtracks=235, failedAssignments=88, nogoods=71, foundSolutions=4, bestBound=95
7.65/3.91
7.65/3.99 num=10, depth=1..297, filters=24806, ccks=1612, wck=1.564, mem=87M381
7.65/3.99 decisions=3960, wrong=323, backtracks=240, failedAssignments=100, nogoods=79, foundSolutions=4, bestBound=95
7.65/3.99
7.77/4.10 num=11, depth=1..341, filters=27360, ccks=1612, wck=1.671, mem=87M381
7.77/4.10 decisions=4315, wrong=336, backtracks=240, failedAssignments=113, nogoods=92, foundSolutions=4, bestBound=95
7.77/4.10
7.87/4.20 num=12, depth=1..317, filters=29797, ccks=1612, wck=1.769, mem=87M381
7.87/4.20 decisions=4655, wrong=353, backtracks=243, failedAssignments=127, nogoods=104, foundSolutions=4, bestBound=95
7.87/4.20
8.08/4.30 num=13, depth=1..210, filters=32735, ccks=1612, wck=1.879, mem=87M381
8.08/4.30 decisions=4899, wrong=375, backtracks=259, failedAssignments=143, nogoods=109, foundSolutions=4, bestBound=95
8.08/4.30
8.21/4.41 num=14, depth=0..359, filters=35342, ccks=1612, wck=1.985, mem=87M381
8.21/4.41 decisions=5290, wrong=399, backtracks=266, failedAssignments=160, nogoods=125, foundSolutions=4, bestBound=95
8.21/4.41
8.32/4.50 num=15, depth=131..154, filters=37911, ccks=1612, wck=2.076, mem=87M381
8.32/4.50 decisions=5513, wrong=435, backtracks=284, failedAssignments=179, nogoods=129, foundSolutions=4, bestBound=95
8.32/4.50
8.42/4.61 num=16, depth=33..114, filters=41136, ccks=1612, wck=2.182, mem=87M381
8.42/4.61 decisions=5684, wrong=474, backtracks=303, failedAssignments=200, nogoods=132, foundSolutions=4, bestBound=95
8.42/4.61
8.42/4.67 num=17, depth=16..234, filters=42598, ccks=1612, wck=2.248, mem=87M381
8.42/4.67 decisions=5942, wrong=497, backtracks=303, failedAssignments=223, nogoods=155, foundSolutions=4, bestBound=95
8.42/4.67
8.53/4.75 num=18, depth=132..268, filters=44397, ccks=1612, wck=2.322, mem=87M381
8.53/4.75 decisions=6274, wrong=535, backtracks=319, failedAssignments=248, nogoods=168, foundSolutions=4, bestBound=95
8.53/4.75
8.63/4.83 num=19, depth=17..313, filters=46587, ccks=1612, wck=2.407, mem=87M381
8.63/4.83 decisions=6633, wrong=573, backtracks=330, failedAssignments=276, nogoods=188, foundSolutions=4, bestBound=95
8.63/4.83
8.73/4.90 num=20, depth=17..250, filters=48285, ccks=1612, wck=2.475, mem=87M381
8.73/4.90 decisions=6933, wrong=609, backtracks=343, failedAssignments=307, nogoods=207, foundSolutions=4, bestBound=95
8.73/4.90
8.73/5.00 num=21, depth=17..269, filters=51004, ccks=1612, wck=2.573, mem=87M381
8.73/5.00 decisions=7277, wrong=658, backtracks=365, failedAssignments=341, nogoods=222, foundSolutions=4, bestBound=95
8.73/5.00
8.84/5.09 num=22, depth=17..229, filters=53459, ccks=1612, wck=2.664, mem=87M381
8.84/5.09 decisions=7587, wrong=717, backtracks=392, failedAssignments=378, nogoods=233, foundSolutions=4, bestBound=95
8.84/5.09
8.94/5.17 num=23, depth=17..253, filters=55463, ccks=1612, wck=2.743, mem=87M381
8.94/5.17 decisions=7904, wrong=768, backtracks=411, failedAssignments=419, nogoods=257, foundSolutions=4, bestBound=95
8.94/5.17
9.03/5.26 num=24, depth=105..241, filters=57785, ccks=1612, wck=2.834, mem=87M381
9.03/5.26 decisions=8244, wrong=835, backtracks=445, failedAssignments=464, nogoods=271, foundSolutions=4, bestBound=95
9.03/5.26
9.13/5.36 num=25, depth=17..213, filters=60334, ccks=1612, wck=2.933, mem=87M381
9.13/5.36 decisions=8586, wrong=915, backtracks=487, failedAssignments=514, nogoods=282, foundSolutions=4, bestBound=95
9.13/5.36
9.34/5.58 num=26, depth=17..135, filters=68217, ccks=1612, wck=3.159, mem=87M381
9.34/5.58 decisions=8882, wrong=1025, backtracks=543, failedAssignments=569, nogoods=286, foundSolutions=4, bestBound=95
9.34/5.58
9.44/5.66 num=27, depth=48..103, filters=70363, ccks=1612, wck=3.229, mem=87M381
9.44/5.66 decisions=9162, wrong=1141, backtracks=607, failedAssignments=630, nogoods=290, foundSolutions=4, bestBound=95
9.44/5.66
9.54/5.78 num=28, depth=31..105, filters=73638, ccks=1612, wck=3.357, mem=87M381
9.54/5.78 decisions=9524, wrong=1276, backtracks=698, failedAssignments=697, nogoods=296, foundSolutions=4, bestBound=95
9.54/5.78
9.85/6.04 num=29, depth=14..99, filters=81649, ccks=1612, wck=3.61, mem=87M381
9.85/6.04 decisions=9836, wrong=1398, backtracks=769, failedAssignments=771, nogoods=314, foundSolutions=4, bestBound=95
9.85/6.04
9.95/6.17 num=30, depth=41..152, filters=85695, ccks=1612, wck=3.742, mem=87M381
9.95/6.17 decisions=10273, wrong=1552, backtracks=892, failedAssignments=852, nogoods=330, foundSolutions=4, bestBound=95
9.95/6.17
10.04/6.29 num=31, depth=34..125, filters=89689, ccks=1612, wck=3.868, mem=87M381
10.04/6.29 decisions=10676, wrong=1706, backtracks=990, failedAssignments=941, nogoods=353, foundSolutions=4, bestBound=95
10.04/6.29
10.35/6.52 num=32, depth=19..204, filters=97415, ccks=1612, wck=4.09, mem=87M381
10.35/6.52 decisions=11137, wrong=1858, backtracks=1073, failedAssignments=1039, nogoods=378, foundSolutions=4, bestBound=95
10.35/6.52
10.55/6.72 num=33, depth=20..86, filters=104781, ccks=1612, wck=4.294, mem=87M381
10.55/6.72 decisions=11491, wrong=2008, backtracks=1195, failedAssignments=1147, nogoods=387, foundSolutions=4, bestBound=95
10.55/6.72
10.65/6.84 num=34, depth=17..222, filters=108732, ccks=1612, wck=4.416, mem=87M381
10.65/6.84 decisions=11967, wrong=2161, backtracks=1290, failedAssignments=1266, nogoods=421, foundSolutions=4, bestBound=95
10.65/6.84
10.86/7.03 o 88
10.86/7.03 num=35, depth=17..3150, filters=115088, ccks=2015, wck=4.606, mem=90M23
10.86/7.03 decisions=12629, wrong=2345, backtracks=1405, failedAssignments=1365, nogoods=472, foundSolutions=5, bestBound=88
10.86/7.03
11.06/7.20 num=36, depth=18..195, filters=119954, ccks=2015, wck=4.773, mem=90M23
11.06/7.20 decisions=13181, wrong=2569, backtracks=1541, failedAssignments=1509, nogoods=491, foundSolutions=5, bestBound=88
11.06/7.20
11.06/7.26 num=37, depth=186..195, filters=121370, ccks=2015, wck=4.832, mem=90M23
11.06/7.26 decisions=13417, wrong=2594, backtracks=1558, failedAssignments=1520, nogoods=492, foundSolutions=5, bestBound=88
11.06/7.26
11.16/7.32 num=38, depth=78..137, filters=122914, ccks=2015, wck=4.892, mem=90M23
11.16/7.32 decisions=13606, wrong=2629, backtracks=1584, failedAssignments=1532, nogoods=495, foundSolutions=5, bestBound=88
11.16/7.32
11.26/7.40 num=39, depth=79..96, filters=125340, ccks=2015, wck=4.971, mem=90M23
11.26/7.40 decisions=13816, wrong=2693, backtracks=1643, failedAssignments=1545, nogoods=497, foundSolutions=5, bestBound=88
11.26/7.40
11.26/7.45 num=40, depth=65..91, filters=126641, ccks=2015, wck=5.02, mem=90M23
11.26/7.45 decisions=13989, wrong=2740, backtracks=1685, failedAssignments=1559, nogoods=499, foundSolutions=5, bestBound=88
11.26/7.45
11.36/7.52 num=41, depth=86..100, filters=128930, ccks=2015, wck=5.095, mem=90M23
11.36/7.52 decisions=14197, wrong=2801, backtracks=1739, failedAssignments=1575, nogoods=500, foundSolutions=5, bestBound=88
11.36/7.52
11.36/7.57 num=42, depth=88..104, filters=130128, ccks=2015, wck=5.144, mem=90M23
11.36/7.57 decisions=14371, wrong=2844, backtracks=1776, failedAssignments=1592, nogoods=501, foundSolutions=5, bestBound=88
11.36/7.57
11.46/7.61 num=43, depth=147..155, filters=130935, ccks=2015, wck=5.185, mem=90M23
11.46/7.61 decisions=14575, wrong=2872, backtracks=1802, failedAssignments=1611, nogoods=503, foundSolutions=5, bestBound=88
11.46/7.61
11.56/7.71 num=44, depth=139..170, filters=132814, ccks=2015, wck=5.286, mem=90M23
11.56/7.71 decisions=14804, wrong=2912, backtracks=1822, failedAssignments=1632, nogoods=505, foundSolutions=5, bestBound=88
11.56/7.71
11.56/7.78 num=45, depth=0..84, filters=134599, ccks=2015, wck=5.354, mem=90M23
11.56/7.78 decisions=14983, wrong=2963, backtracks=1869, failedAssignments=1655, nogoods=508, foundSolutions=5, bestBound=88
11.56/7.78
11.67/7.85 num=46, depth=79..96, filters=136551, ccks=2015, wck=5.421, mem=90M23
11.67/7.85 decisions=15223, wrong=3039, backtracks=1937, failedAssignments=1680, nogoods=510, foundSolutions=5, bestBound=88
11.67/7.85
11.77/7.90 num=47, depth=80..90, filters=138011, ccks=2015, wck=5.476, mem=90M23
11.77/7.90 decisions=15424, wrong=3098, backtracks=1990, failedAssignments=1708, nogoods=517, foundSolutions=5, bestBound=88
11.77/7.90
11.77/7.96 num=48, depth=15..143, filters=139440, ccks=2015, wck=5.533, mem=90M23
11.77/7.96 decisions=15650, wrong=3149, backtracks=2020, failedAssignments=1739, nogoods=537, foundSolutions=5, bestBound=88
11.77/7.96
11.88/8.01 num=49, depth=16..81, filters=140767, ccks=2015, wck=5.582, mem=90M23
11.88/8.01 decisions=15801, wrong=3192, backtracks=2058, failedAssignments=1773, nogoods=542, foundSolutions=5, bestBound=88
11.88/8.01
11.88/8.06 num=50, depth=16..88, filters=141967, ccks=2015, wck=5.629, mem=90M23
11.88/8.06 decisions=15994, wrong=3254, backtracks=2109, failedAssignments=1810, nogoods=551, foundSolutions=5, bestBound=88
11.88/8.06
12.00/8.12 num=51, depth=26..58, filters=143708, ccks=2015, wck=5.695, mem=90M23
12.00/8.12 decisions=16225, wrong=3349, backtracks=2196, failedAssignments=1851, nogoods=554, foundSolutions=5, bestBound=88
12.00/8.12
12.09/8.24 num=52, depth=15..74, filters=147699, ccks=2015, wck=5.818, mem=90M23
12.09/8.24 decisions=16519, wrong=3468, backtracks=2298, failedAssignments=1896, nogoods=558, foundSolutions=5, bestBound=88
12.09/8.24
12.19/8.35 num=53, depth=20..55, filters=150713, ccks=2015, wck=5.923, mem=90M23
12.19/8.35 decisions=16830, wrong=3603, backtracks=2425, failedAssignments=1946, nogoods=563, foundSolutions=5, bestBound=88
12.19/8.35
12.69/8.85 num=54, depth=19..255, filters=170401, ccks=2015, wck=6.42, mem=90M23
12.69/8.85 decisions=17666, wrong=3910, backtracks=2722, failedAssignments=2001, nogoods=568, foundSolutions=5, bestBound=88
12.69/8.85
12.79/8.98 num=55, depth=51..116, filters=174195, ccks=2015, wck=6.551, mem=90M23
12.79/8.98 decisions=18074, wrong=4062, backtracks=2855, failedAssignments=2062, nogoods=573, foundSolutions=5, bestBound=88
12.79/8.98
13.00/9.14 num=56, depth=35..248, filters=178744, ccks=2015, wck=6.718, mem=90M23
13.00/9.14 decisions=18569, wrong=4197, backtracks=2933, failedAssignments=2129, nogoods=595, foundSolutions=5, bestBound=88
13.00/9.14
13.09/9.23 num=57, depth=50..147, filters=180843, ccks=2015, wck=6.804, mem=90M23
13.09/9.23 decisions=18959, wrong=4328, backtracks=3043, failedAssignments=2203, nogoods=609, foundSolutions=5, bestBound=88
13.09/9.23
13.19/9.32 num=58, depth=44..150, filters=183173, ccks=2015, wck=6.895, mem=90M23
13.19/9.32 decisions=19337, wrong=4455, backtracks=3145, failedAssignments=2284, nogoods=631, foundSolutions=5, bestBound=88
13.19/9.32
13.32/9.47 num=59, depth=38..213, filters=187407, ccks=2015, wck=7.041, mem=90M23
13.32/9.47 decisions=19828, wrong=4612, backtracks=3261, failedAssignments=2373, nogoods=671, foundSolutions=5, bestBound=88
13.32/9.47
13.42/9.55 num=60, depth=50..89, filters=189543, ccks=2015, wck=7.12, mem=90M23
13.42/9.55 decisions=20199, wrong=4765, backtracks=3393, failedAssignments=2471, nogoods=679, foundSolutions=5, bestBound=88
13.42/9.55
13.52/9.69 num=61, depth=29..150, filters=193879, ccks=2015, wck=7.265, mem=90M23
13.52/9.69 decisions=20720, wrong=4971, backtracks=3552, failedAssignments=2579, nogoods=709, foundSolutions=5, bestBound=88
13.52/9.69
14.13/10.20 num=62, depth=43..345, filters=212108, ccks=2015, wck=7.773, mem=90M23
14.13/10.20 decisions=21995, wrong=5442, backtracks=3974, failedAssignments=2698, nogoods=718, foundSolutions=5, bestBound=88
14.13/10.20
14.23/10.33 num=63, depth=85..136, filters=215766, ccks=2015, wck=7.908, mem=90M23
14.23/10.33 decisions=22557, wrong=5662, backtracks=4163, failedAssignments=2829, nogoods=731, foundSolutions=5, bestBound=88
14.23/10.33
14.43/10.58 num=64, depth=77..105, filters=223400, ccks=2015, wck=8.155, mem=90M23
14.43/10.58 decisions=23246, wrong=5962, backtracks=4400, failedAssignments=2973, nogoods=739, foundSolutions=5, bestBound=88
14.43/10.58
15.04/11.11 num=65, depth=82..352, filters=241457, ccks=2015, wck=8.687, mem=90M23
15.04/11.11 decisions=24648, wrong=6510, backtracks=4890, failedAssignments=3131, nogoods=761, foundSolutions=5, bestBound=88
15.04/11.11
15.13/11.29 num=66, depth=157..216, filters=246573, ccks=2015, wck=8.864, mem=90M23
15.13/11.29 decisions=25507, wrong=6848, backtracks=5177, failedAssignments=3305, nogoods=769, foundSolutions=5, bestBound=88
15.13/11.29
17.23/13.33 num=67, depth=218..352, filters=300649, ccks=2015, wck=10.9, mem=90M23
17.23/13.33 decisions=26718, wrong=7343, backtracks=5537, failedAssignments=3496, nogoods=773, foundSolutions=5, bestBound=88
17.23/13.33
17.43/13.56 num=68, depth=38..107, filters=308947, ccks=2015, wck=11.137, mem=90M23
17.43/13.56 decisions=27486, wrong=7701, backtracks=5766, failedAssignments=3707, nogoods=796, foundSolutions=5, bestBound=88
17.43/13.56
18.54/14.67 num=69, depth=22..385, filters=348926, ccks=2015, wck=12.243, mem=90M23
18.54/14.67 decisions=29470, wrong=8522, backtracks=6523, failedAssignments=3939, nogoods=816, foundSolutions=5, bestBound=88
18.54/14.67
18.95/15.08 num=70, depth=60..299, filters=361166, ccks=2015, wck=12.651, mem=90M23
18.95/15.08 decisions=30799, wrong=9071, backtracks=6997, failedAssignments=4194, nogoods=858, foundSolutions=5, bestBound=88
18.95/15.08
19.46/15.56 num=71, depth=131..290, filters=377693, ccks=2015, wck=13.133, mem=90M23
19.46/15.56 decisions=32075, wrong=9595, backtracks=7468, failedAssignments=4475, nogoods=891, foundSolutions=5, bestBound=88
19.46/15.56
22.96/19.02 num=72, depth=139..280, filters=474126, ccks=2015, wck=16.596, mem=90M23
22.96/19.02 decisions=36228, wrong=11570, backtracks=9338, failedAssignments=4784, nogoods=895, foundSolutions=5, bestBound=88
22.96/19.02
23.56/19.67 num=73, depth=144..450, filters=494753, ccks=2015, wck=17.247, mem=90M23
23.56/19.67 decisions=38196, wrong=12367, backtracks=9997, failedAssignments=5124, nogoods=957, foundSolutions=5, bestBound=88
23.56/19.67
25.26/21.31 num=74, depth=142..413, filters=541070, ccks=2015, wck=18.885, mem=90M23
25.26/21.31 decisions=40275, wrong=13243, backtracks=10658, failedAssignments=5498, nogoods=1044, foundSolutions=5, bestBound=88
25.26/21.31
25.86/21.92 num=75, depth=28..139, filters=563408, ccks=2015, wck=19.496, mem=90M23
25.86/21.92 decisions=41756, wrong=13947, backtracks=11188, failedAssignments=5909, nogoods=1067, foundSolutions=5, bestBound=88
25.86/21.92
26.16/22.20 num=76, depth=44..315, filters=571902, ccks=2015, wck=19.773, mem=90M23
26.16/22.20 decisions=43156, wrong=14525, backtracks=11661, failedAssignments=6361, nogoods=1141, foundSolutions=5, bestBound=88
26.16/22.20
26.76/22.86 num=77, depth=51..79, filters=597030, ccks=2015, wck=20.433, mem=90M23
26.76/22.86 decisions=44852, wrong=15346, backtracks=12370, failedAssignments=6858, nogoods=1148, foundSolutions=5, bestBound=88
26.76/22.86
27.07/23.18 num=78, depth=186..270, filters=606746, ccks=2015, wck=20.75, mem=90M23
27.07/23.18 decisions=46611, wrong=16114, backtracks=13022, failedAssignments=7405, nogoods=1180, foundSolutions=5, bestBound=88
27.07/23.18
31.66/27.76 num=79, depth=101..207, filters=757933, ccks=2015, wck=25.331, mem=90M23
31.66/27.76 decisions=51627, wrong=18553, backtracks=15242, failedAssignments=8007, nogoods=1185, foundSolutions=5, bestBound=88
31.66/27.76
33.07/29.17 num=80, depth=46..292, filters=796672, ccks=2015, wck=26.74, mem=92M666
33.07/29.17 decisions=54231, wrong=19790, backtracks=16234, failedAssignments=8669, nogoods=1188, foundSolutions=5, bestBound=88
33.07/29.17
33.56/29.70 num=81, depth=26..280, filters=812034, ccks=2015, wck=27.269, mem=92M666
33.56/29.70 decisions=56811, wrong=20973, backtracks=17084, failedAssignments=9397, nogoods=1209, foundSolutions=5, bestBound=88
33.56/29.70
34.07/30.18 num=82, depth=11..153, filters=826809, ccks=2015, wck=27.75, mem=92M666
34.07/30.18 decisions=59272, wrong=22160, backtracks=18122, failedAssignments=10198, nogoods=1255, foundSolutions=5, bestBound=88
34.07/30.18
34.76/30.85 num=83, depth=16..215, filters=849581, ccks=2015, wck=28.427, mem=92M666
34.76/30.85 decisions=62200, wrong=23542, backtracks=19391, failedAssignments=11079, nogoods=1302, foundSolutions=5, bestBound=88
34.76/30.85
35.57/31.61 num=84, depth=22..193, filters=873646, ccks=2015, wck=29.178, mem=92M666
35.57/31.61 decisions=65326, wrong=25051, backtracks=20674, failedAssignments=12049, nogoods=1330, foundSolutions=5, bestBound=88
35.57/31.61
39.07/35.15 num=85, depth=70..197, filters=974934, ccks=2015, wck=32.722, mem=92M666
39.07/35.15 decisions=70237, wrong=27468, backtracks=22429, failedAssignments=13116, nogoods=1338, foundSolutions=5, bestBound=88
39.07/35.15
39.46/35.56 num=86, depth=25..165, filters=985044, ccks=2015, wck=33.131, mem=92M666
39.46/35.56 decisions=73187, wrong=28886, backtracks=23741, failedAssignments=14289, nogoods=1384, foundSolutions=5, bestBound=88
39.46/35.56
39.77/35.88 num=87, depth=48..301, filters=992998, ccks=2015, wck=33.453, mem=92M666
39.77/35.88 decisions=76426, wrong=30403, backtracks=25077, failedAssignments=15580, nogoods=1454, foundSolutions=5, bestBound=88
39.77/35.88
39.87/35.98 o 87
39.87/35.98 num=88, depth=44..3150, filters=995162, ccks=2418, wck=33.553, mem=92M666
39.87/35.98 decisions=76830, wrong=30489, backtracks=25136, failedAssignments=15637, nogoods=1475, foundSolutions=6, bestBound=87
39.87/35.98
40.00/36.10 o 85
40.10/36.11 num=89, depth=40..3150, filters=997297, ccks=2821, wck=33.681, mem=95M308
40.10/36.11 decisions=77143, wrong=30549, backtracks=25174, failedAssignments=15669, nogoods=1493, foundSolutions=7, bestBound=85
40.10/36.11
40.10/36.17 num=90, depth=35..49, filters=997904, ccks=2821, wck=33.739, mem=95M308
40.10/36.17 decisions=77222, wrong=30569, backtracks=25188, failedAssignments=15680, nogoods=1496, foundSolutions=7, bestBound=85
40.10/36.17
40.10/36.19 num=91, depth=41..59, filters=998465, ccks=2821, wck=33.766, mem=95M308
40.10/36.19 decisions=77298, wrong=30583, backtracks=25197, failedAssignments=15691, nogoods=1501, foundSolutions=7, bestBound=85
40.10/36.19
40.19/36.22 num=92, depth=41..66, filters=999179, ccks=2821, wck=33.796, mem=95M308
40.19/36.22 decisions=77386, wrong=30598, backtracks=25203, failedAssignments=15703, nogoods=1510, foundSolutions=7, bestBound=85
40.19/36.22
40.19/36.25 num=93, depth=41..65, filters=999808, ccks=2821, wck=33.824, mem=95M308
40.19/36.25 decisions=77471, wrong=30614, backtracks=25211, failedAssignments=15716, nogoods=1517, foundSolutions=7, bestBound=85
40.19/36.25
40.19/36.28 num=94, depth=41..84, filters=1000563, ccks=2821, wck=33.856, mem=95M308
40.19/36.28 decisions=77570, wrong=30628, backtracks=25211, failedAssignments=15730, nogoods=1531, foundSolutions=7, bestBound=85
40.19/36.28
40.30/36.32 num=95, depth=41..86, filters=1001437, ccks=2821, wck=33.891, mem=95M308
40.30/36.32 decisions=77679, wrong=30647, backtracks=25219, failedAssignments=15746, nogoods=1542, foundSolutions=7, bestBound=85
40.30/36.32
40.30/36.38 num=96, depth=41..187, filters=1002918, ccks=2821, wck=33.959, mem=95M308
40.30/36.38 decisions=77900, wrong=30671, backtracks=25231, failedAssignments=15763, nogoods=1551, foundSolutions=7, bestBound=85
40.30/36.38
40.40/36.43 num=97, depth=41..58, filters=1003982, ccks=2821, wck=34.0, mem=95M308
40.40/36.43 decisions=78022, wrong=30706, backtracks=25258, failedAssignments=15782, nogoods=1558, foundSolutions=7, bestBound=85
40.40/36.43
40.40/36.48 num=98, depth=41..58, filters=1005482, ccks=2821, wck=34.052, mem=95M308
40.40/36.48 decisions=78159, wrong=30752, backtracks=25297, failedAssignments=15803, nogoods=1561, foundSolutions=7, bestBound=85
40.40/36.48
40.50/36.55 num=99, depth=21..169, filters=1007384, ccks=2821, wck=34.126, mem=95M308
40.50/36.55 decisions=78386, wrong=30790, backtracks=25317, failedAssignments=15826, nogoods=1577, foundSolutions=7, bestBound=85
40.50/36.55
40.50/36.59 num=100, depth=43..62, filters=1008580, ccks=2821, wck=34.169, mem=95M308
40.50/36.59 decisions=78520, wrong=30830, backtracks=25347, failedAssignments=15851, nogoods=1586, foundSolutions=7, bestBound=85
40.50/36.59
40.60/36.64 num=101, depth=15..41, filters=1009985, ccks=2821, wck=34.213, mem=95M308
40.60/36.64 decisions=78634, wrong=30873, backtracks=25376, failedAssignments=15879, nogoods=1597, foundSolutions=7, bestBound=85
40.60/36.64
40.60/36.68 num=102, depth=48..98, filters=1010832, ccks=2821, wck=34.25, mem=95M308
40.60/36.68 decisions=78797, wrong=30916, backtracks=25395, failedAssignments=15910, nogoods=1619, foundSolutions=7, bestBound=85
40.60/36.68
40.70/36.72 num=103, depth=41..93, filters=1011925, ccks=2821, wck=34.293, mem=95M308
40.70/36.72 decisions=78952, wrong=30957, backtracks=25413, failedAssignments=15944, nogoods=1640, foundSolutions=7, bestBound=85
40.70/36.72
40.70/36.79 num=104, depth=44..206, filters=1013775, ccks=2821, wck=34.369, mem=95M308
40.70/36.79 decisions=79215, wrong=31001, backtracks=25426, failedAssignments=15981, nogoods=1670, foundSolutions=7, bestBound=85
40.70/36.79
40.80/36.85 num=105, depth=46..113, filters=1015207, ccks=2821, wck=34.423, mem=95M308
40.80/36.85 decisions=79408, wrong=31056, backtracks=25451, failedAssignments=16022, nogoods=1695, foundSolutions=7, bestBound=85
40.80/36.85
40.90/36.94 num=106, depth=45..70, filters=1017877, ccks=2821, wck=34.511, mem=95M308
40.90/36.94 decisions=79655, wrong=31149, backtracks=25523, failedAssignments=16067, nogoods=1703, foundSolutions=7, bestBound=85
40.90/36.94
40.90/37.00 num=107, depth=48..88, filters=1019417, ccks=2821, wck=34.57, mem=95M308
40.90/37.00 decisions=79887, wrong=31227, backtracks=25581, failedAssignments=16117, nogoods=1716, foundSolutions=7, bestBound=85
40.90/37.00
41.01/37.06 num=108, depth=55..84, filters=1021285, ccks=2821, wck=34.637, mem=95M308
41.01/37.06 decisions=80157, wrong=31329, backtracks=25663, failedAssignments=16172, nogoods=1725, foundSolutions=7, bestBound=85
41.01/37.06
41.11/37.15 num=109, depth=43..100, filters=1023794, ccks=2821, wck=34.72, mem=95M308
41.11/37.15 decisions=80424, wrong=31423, backtracks=25734, failedAssignments=16233, nogoods=1737, foundSolutions=7, bestBound=85
41.11/37.15
41.20/37.27 num=110, depth=39..71, filters=1027928, ccks=2821, wck=34.84, mem=95M308
41.20/37.27 decisions=80730, wrong=31554, backtracks=25835, failedAssignments=16300, nogoods=1744, foundSolutions=7, bestBound=85
41.20/37.27
41.40/37.48 num=111, depth=53..76, filters=1034841, ccks=2821, wck=35.052, mem=95M308
41.40/37.48 decisions=81171, wrong=31744, backtracks=25998, failedAssignments=16374, nogoods=1751, foundSolutions=7, bestBound=85
41.40/37.48
41.60/37.62 num=112, depth=15..229, filters=1039035, ccks=2821, wck=35.198, mem=95M308
41.60/37.62 decisions=81696, wrong=31912, backtracks=26130, failedAssignments=16455, nogoods=1766, foundSolutions=7, bestBound=85
41.60/37.62
41.70/37.75 num=113, depth=6..277, filters=1042637, ccks=2821, wck=35.325, mem=95M308
41.70/37.75 decisions=82138, wrong=32031, backtracks=26171, failedAssignments=16544, nogoods=1839, foundSolutions=7, bestBound=85
41.70/37.75
41.80/37.85 num=114, depth=7..301, filters=1045361, ccks=2821, wck=35.421, mem=95M308
41.80/37.85 decisions=82564, wrong=32137, backtracks=26183, failedAssignments=16642, nogoods=1927, foundSolutions=7, bestBound=85
41.80/37.85
42.01/38.08 num=115, depth=8..192, filters=1052570, ccks=2821, wck=35.658, mem=95M308
42.01/38.08 decisions=83208, wrong=32384, backtracks=26374, failedAssignments=16750, nogoods=1958, foundSolutions=7, bestBound=85
42.01/38.08
42.11/38.18 num=116, depth=8..264, filters=1055188, ccks=2821, wck=35.754, mem=95M308
42.11/38.18 decisions=83654, wrong=32517, backtracks=26412, failedAssignments=16869, nogoods=2042, foundSolutions=7, bestBound=85
42.11/38.18
42.20/38.28 num=117, depth=8..285, filters=1058079, ccks=2821, wck=35.858, mem=95M308
42.20/38.28 decisions=84161, wrong=32672, backtracks=26469, failedAssignments=17000, nogoods=2127, foundSolutions=7, bestBound=85
42.20/38.28
42.30/38.39 num=118, depth=8..334, filters=1060917, ccks=2821, wck=35.964, mem=95M308
42.30/38.39 decisions=84704, wrong=32831, backtracks=26518, failedAssignments=17144, nogoods=2231, foundSolutions=7, bestBound=85
42.30/38.39
42.40/38.50 num=119, depth=8..336, filters=1063681, ccks=2821, wck=36.069, mem=95M308
42.40/38.50 decisions=85287, wrong=33001, backtracks=26599, failedAssignments=17302, nogoods=2319, foundSolutions=7, bestBound=85
42.40/38.50
42.80/38.87 num=120, depth=8..307, filters=1076114, ccks=2821, wck=36.441, mem=95M308
42.80/38.87 decisions=86271, wrong=33362, backtracks=26917, failedAssignments=17476, nogoods=2350, foundSolutions=7, bestBound=85
42.80/38.87
43.11/39.11 num=121, depth=6..169, filters=1083752, ccks=2821, wck=36.684, mem=95M308
43.11/39.11 decisions=87019, wrong=33689, backtracks=27112, failedAssignments=17667, nogoods=2379, foundSolutions=7, bestBound=85
43.11/39.11
43.70/39.72 num=122, depth=6..314, filters=1108126, ccks=2821, wck=37.295, mem=95M308
43.70/39.72 decisions=88351, wrong=34219, backtracks=27595, failedAssignments=17878, nogoods=2405, foundSolutions=7, bestBound=85
43.70/39.72
45.20/41.27 num=123, depth=17..331, filters=1171429, ccks=2821, wck=38.844, mem=95M308
45.20/41.27 decisions=91045, wrong=35420, backtracks=28716, failedAssignments=18110, nogoods=2426, foundSolutions=7, bestBound=85
45.20/41.27
45.60/41.63 num=124, depth=15..33, filters=1184085, ccks=2821, wck=39.204, mem=95M308
45.60/41.63 decisions=91932, wrong=35855, backtracks=29109, failedAssignments=18365, nogoods=2433, foundSolutions=7, bestBound=85
45.60/41.63
45.80/41.85 num=125, depth=6..53, filters=1191751, ccks=2821, wck=39.423, mem=95M308
45.80/41.85 decisions=92789, wrong=36269, backtracks=29510, failedAssignments=18646, nogoods=2447, foundSolutions=7, bestBound=85
45.80/41.85
45.91/41.98 num=126, depth=26..67, filters=1195936, ccks=2821, wck=39.551, mem=95M308
45.91/41.98 decisions=93642, wrong=36677, backtracks=29904, failedAssignments=18955, nogoods=2456, foundSolutions=7, bestBound=85
45.91/41.98
46.61/42.65 num=127, depth=28..148, filters=1219790, ccks=2821, wck=40.227, mem=95M308
46.61/42.65 decisions=94929, wrong=37287, backtracks=30286, failedAssignments=19295, nogoods=2489, foundSolutions=7, bestBound=85
46.61/42.65
46.92/42.96 num=128, depth=19..160, filters=1229393, ccks=2821, wck=40.534, mem=95M308
46.92/42.96 decisions=96174, wrong=37869, backtracks=30690, failedAssignments=19669, nogoods=2524, foundSolutions=7, bestBound=85
46.92/42.96
47.22/43.26 num=129, depth=29..150, filters=1239407, ccks=2821, wck=40.837, mem=95M308
47.22/43.26 decisions=97320, wrong=38396, backtracks=31155, failedAssignments=20080, nogoods=2581, foundSolutions=7, bestBound=85
47.22/43.26
49.33/45.38 num=130, depth=44..234, filters=1284606, ccks=2821, wck=42.956, mem=95M308
49.33/45.38 decisions=99239, wrong=39309, backtracks=31689, failedAssignments=20532, nogoods=2595, foundSolutions=7, bestBound=85
49.33/45.38
50.04/46.01 num=131, depth=3..72, filters=1303809, ccks=2821, wck=43.581, mem=95M308
50.04/46.01 decisions=100666, wrong=40003, backtracks=32309, failedAssignments=21029, nogoods=2613, foundSolutions=7, bestBound=85
50.04/46.01
50.73/46.76 num=132, depth=3..108, filters=1321298, ccks=2821, wck=44.337, mem=95M308
50.73/46.76 decisions=102539, wrong=40913, backtracks=33064, failedAssignments=21576, nogoods=2629, foundSolutions=7, bestBound=85
50.73/46.76
51.93/47.96 num=133, depth=3..472, filters=1360618, ccks=2821, wck=45.531, mem=95M308
51.93/47.96 decisions=105979, wrong=42435, backtracks=34393, failedAssignments=22178, nogoods=2684, foundSolutions=7, bestBound=85
51.93/47.96
52.45/48.48 num=134, depth=6..181, filters=1375582, ccks=2821, wck=46.051, mem=97M951
52.45/48.48 decisions=107981, wrong=43376, backtracks=35239, failedAssignments=22840, nogoods=2726, foundSolutions=7, bestBound=85
52.45/48.48
54.96/50.91 num=135, depth=6..307, filters=1452407, ccks=2821, wck=48.489, mem=97M951
54.96/50.91 decisions=111799, wrong=45149, backtracks=36790, failedAssignments=23568, nogoods=2731, foundSolutions=7, bestBound=85
54.96/50.91
56.07/52.08 num=136, depth=52..101, filters=1492616, ccks=2821, wck=49.655, mem=97M951
56.07/52.08 decisions=115190, wrong=46813, backtracks=38344, failedAssignments=24369, nogoods=2746, foundSolutions=7, bestBound=85
56.07/52.08
61.69/57.64 num=137, depth=77..269, filters=1664973, ccks=2821, wck=55.213, mem=97M951
61.69/57.64 decisions=119965, wrong=49128, backtracks=40278, failedAssignments=25250, nogoods=2748, foundSolutions=7, bestBound=85
61.69/57.64
62.99/58.93 num=138, depth=24..62, filters=1705448, ccks=2821, wck=56.503, mem=97M951
62.99/58.93 decisions=124076, wrong=51167, backtracks=42132, failedAssignments=26220, nogoods=2751, foundSolutions=7, bestBound=85
62.99/58.93
63.29/59.23 num=139, depth=76..129, filters=1713974, ccks=2821, wck=56.802, mem=97M951
63.29/59.23 decisions=126533, wrong=52355, backtracks=43290, failedAssignments=27287, nogoods=2766, foundSolutions=7, bestBound=85
63.29/59.23
64.59/60.56 num=140, depth=55..224, filters=1762644, ccks=2821, wck=58.133, mem=97M951
64.59/60.56 decisions=131495, wrong=54742, backtracks=45502, failedAssignments=28460, nogoods=2777, foundSolutions=7, bestBound=85
64.59/60.56
72.80/68.75 num=141, depth=115..227, filters=2056617, ccks=2821, wck=66.319, mem=97M951
72.80/68.75 decisions=143829, wrong=60831, backtracks=51100, failedAssignments=29751, nogoods=2784, foundSolutions=7, bestBound=85
72.80/68.75
79.30/75.25 num=142, depth=50..215, filters=2272496, ccks=2821, wck=72.822, mem=97M951
79.30/75.25 decisions=153348, wrong=65549, backtracks=55310, failedAssignments=31171, nogoods=2790, foundSolutions=7, bestBound=85
79.30/75.25
80.90/76.80 num=143, depth=36..157, filters=2321466, ccks=2821, wck=74.373, mem=97M951
80.90/76.80 decisions=158067, wrong=67854, backtracks=57340, failedAssignments=32733, nogoods=2804, foundSolutions=7, bestBound=85
80.90/76.80
81.90/77.81 num=144, depth=47..168, filters=2352201, ccks=2821, wck=75.389, mem=97M951
81.90/77.81 decisions=163141, wrong=70340, backtracks=59512, failedAssignments=34451, nogoods=2817, foundSolutions=7, bestBound=85
81.90/77.81
82.50/78.44 num=145, depth=30..103, filters=2371624, ccks=2821, wck=76.012, mem=97M951
82.50/78.44 decisions=168042, wrong=72757, backtracks=61901, failedAssignments=36341, nogoods=2828, foundSolutions=7, bestBound=85
82.50/78.44
83.00/78.92 num=146, depth=74..213, filters=2386711, ccks=2821, wck=76.493, mem=97M951
83.00/78.92 decisions=173259, wrong=75281, backtracks=64307, failedAssignments=38420, nogoods=2853, foundSolutions=7, bestBound=85
83.00/78.92
86.44/82.37 num=147, depth=48..402, filters=2503556, ccks=2821, wck=79.943, mem=97M951
86.44/82.37 decisions=181875, wrong=79440, backtracks=68038, failedAssignments=40707, nogoods=2931, foundSolutions=7, bestBound=85
86.44/82.37
87.04/82.99 num=148, depth=60..128, filters=2521619, ccks=2821, wck=80.566, mem=97M951
87.04/82.99 decisions=188544, wrong=82736, backtracks=71241, failedAssignments=43223, nogoods=2950, foundSolutions=7, bestBound=85
87.04/82.99
87.64/83.53 num=149, depth=164..299, filters=2538358, ccks=2821, wck=81.102, mem=97M951
87.64/83.53 decisions=195250, wrong=85965, backtracks=74439, failedAssignments=45991, nogoods=2971, foundSolutions=7, bestBound=85
87.64/83.53
89.25/85.12 num=150, depth=82..474, filters=2591931, ccks=2821, wck=82.691, mem=97M951
89.25/85.12 decisions=203598, wrong=89943, backtracks=78283, failedAssignments=49035, nogoods=3015, foundSolutions=7, bestBound=85
89.25/85.12
101.54/97.50 num=151, depth=3..487, filters=3070667, ccks=2821, wck=95.07, mem=100M593
101.54/97.50 decisions=226736, wrong=101297, backtracks=89093, failedAssignments=52384, nogoods=3044, foundSolutions=7, bestBound=85
101.54/97.50
104.04/99.92 num=152, depth=10..79, filters=3147167, ccks=2821, wck=97.495, mem=100M593
104.04/99.92 decisions=238111, wrong=106969, backtracks=93731, failedAssignments=56068, nogoods=3050, foundSolutions=7, bestBound=85
104.04/99.92
105.94/101.82 num=153, depth=13..106, filters=3203139, ccks=2821, wck=99.396, mem=100M593
105.94/101.82 decisions=248536, wrong=112155, backtracks=98276, failedAssignments=60120, nogoods=3092, foundSolutions=7, bestBound=85
105.94/101.82
108.95/104.88 num=154, depth=50..168, filters=3312494, ccks=2821, wck=102.458, mem=100M593
108.95/104.88 decisions=264178, wrong=119919, backtracks=105656, failedAssignments=64577, nogoods=3101, foundSolutions=7, bestBound=85
108.95/104.88
110.45/106.31 num=155, depth=133..279, filters=3360359, ccks=2821, wck=103.879, mem=100M593
110.45/106.31 decisions=279017, wrong=127236, backtracks=112547, failedAssignments=69480, nogoods=3151, foundSolutions=7, bestBound=85
110.45/106.31
145.45/141.39 num=156, depth=202..378, filters=4480853, ccks=2821, wck=138.962, mem=100M593
145.45/141.39 decisions=320321, wrong=147758, backtracks=131131, failedAssignments=74874, nogoods=3154, foundSolutions=7, bestBound=85
145.45/141.39
172.56/168.48 num=157, depth=110..197, filters=5523650, ccks=2821, wck=166.057, mem=100M593
172.56/168.48 decisions=363341, wrong=169197, backtracks=150615, failedAssignments=80807, nogoods=3156, foundSolutions=7, bestBound=85
172.56/168.48
184.16/180.01 num=158, depth=103..382, filters=5929936, ccks=2821, wck=177.58, mem=103M236
184.16/180.01 decisions=390703, wrong=182745, backtracks=162656, failedAssignments=87333, nogoods=3239, foundSolutions=7, bestBound=85
184.16/180.01
197.46/193.38 num=159, depth=113..298, filters=6339119, ccks=2821, wck=190.959, mem=103M236
197.46/193.38 decisions=425264, wrong=199964, backtracks=177041, failedAssignments=94512, nogoods=3248, foundSolutions=7, bestBound=85
197.46/193.38
220.28/216.14 num=160, depth=4..252, filters=7044150, ccks=2821, wck=213.717, mem=103M236
220.28/216.14 decisions=458523, wrong=216548, backtracks=189592, failedAssignments=102409, nogoods=3300, foundSolutions=7, bestBound=85
220.28/216.14
228.28/224.18 num=161, depth=1..274, filters=7363690, ccks=2821, wck=221.758, mem=103M236
228.28/224.18 decisions=490955, wrong=232660, backtracks=204578, failedAssignments=111096, nogoods=3342, foundSolutions=7, bestBound=85
228.28/224.18
236.28/232.12 num=162, depth=7..183, filters=7606997, ccks=2821, wck=229.691, mem=105M878
236.28/232.12 decisions=520947, wrong=247614, backtracks=217007, failedAssignments=120651, nogoods=3414, foundSolutions=7, bestBound=85
236.28/232.12
238.87/234.73 num=163, depth=2..300, filters=7698388, ccks=2821, wck=232.3, mem=105M878
238.87/234.73 decisions=547375, wrong=260722, backtracks=229441, failedAssignments=131162, nogoods=3471, foundSolutions=7, bestBound=85
238.87/234.73
276.87/272.73 num=164, depth=42..341, filters=9101126, ccks=2821, wck=270.303, mem=105M878
276.87/272.73 decisions=629026, wrong=301410, backtracks=267625, failedAssignments=142724, nogoods=3498, foundSolutions=7, bestBound=85
276.87/272.73
288.97/284.82 num=165, depth=187..318, filters=9500161, ccks=2821, wck=282.392, mem=108M521
288.97/284.82 decisions=665368, wrong=319463, backtracks=284906, failedAssignments=155442, nogoods=3511, foundSolutions=7, bestBound=85
288.97/284.82
313.48/309.33 o 83
313.48/309.33 num=166, depth=102..3150, filters=10399478, ccks=3224, wck=306.903, mem=108M521
313.48/309.33 decisions=715298, wrong=344156, backtracks=307343, failedAssignments=167058, nogoods=3592, foundSolutions=8, bestBound=83
313.48/309.33
393.90/389.70 num=167, depth=69..332, filters=13132299, ccks=3224, wck=387.275, mem=111M163
393.90/389.70 decisions=809327, wrong=391062, backtracks=347295, failedAssignments=182447, nogoods=3612, foundSolutions=8, bestBound=83
393.90/389.70
393.90/389.76 num=168, depth=185..198, filters=13133461, ccks=3224, wck=387.331, mem=111M163
393.90/389.76 decisions=809560, wrong=391086, backtracks=347308, failedAssignments=182458, nogoods=3613, foundSolutions=8, bestBound=83
393.90/389.76
394.00/389.88 num=169, depth=25..405, filters=13135420, ccks=3224, wck=387.451, mem=111M163
394.00/389.88 decisions=809983, wrong=391100, backtracks=347310, failedAssignments=182470, nogoods=3624, foundSolutions=8, bestBound=83
394.00/389.88
394.10/389.93 num=170, depth=114..214, filters=13136294, ccks=3224, wck=387.5, mem=111M163
394.10/389.93 decisions=810237, wrong=391122, backtracks=347320, failedAssignments=182483, nogoods=3629, foundSolutions=8, bestBound=83
394.10/389.93
394.10/389.99 num=171, depth=114..201, filters=13137812, ccks=3224, wck=387.565, mem=111M163
394.10/389.99 decisions=810491, wrong=391152, backtracks=347339, failedAssignments=182497, nogoods=3632, foundSolutions=8, bestBound=83
394.10/389.99
394.21/390.04 num=172, depth=111..219, filters=13138706, ccks=3224, wck=387.611, mem=111M163
394.21/390.04 decisions=810757, wrong=391180, backtracks=347352, failedAssignments=182513, nogoods=3638, foundSolutions=8, bestBound=83
394.21/390.04
394.21/390.09 num=173, depth=71..232, filters=13139847, ccks=3224, wck=387.663, mem=111M163
394.21/390.09 decisions=811032, wrong=391211, backtracks=347367, failedAssignments=182530, nogoods=3643, foundSolutions=8, bestBound=83
394.21/390.09
394.31/390.15 num=174, depth=74..233, filters=13141062, ccks=3224, wck=387.721, mem=111M163
394.31/390.15 decisions=811311, wrong=391244, backtracks=347382, failedAssignments=182549, nogoods=3649, foundSolutions=8, bestBound=83
394.31/390.15
394.40/390.20 num=175, depth=74..248, filters=13142150, ccks=3224, wck=387.777, mem=111M163
394.40/390.20 decisions=811605, wrong=391278, backtracks=347398, failedAssignments=182570, nogoods=3656, foundSolutions=8, bestBound=83
394.40/390.20
394.40/390.26 num=176, depth=74..254, filters=13143447, ccks=3224, wck=387.839, mem=111M163
394.40/390.26 decisions=811910, wrong=391317, backtracks=347419, failedAssignments=182593, nogoods=3663, foundSolutions=8, bestBound=83
394.40/390.26
394.50/390.34 num=177, depth=74..281, filters=13145274, ccks=3224, wck=387.918, mem=111M163
394.50/390.34 decisions=812274, wrong=391372, backtracks=347452, failedAssignments=182618, nogoods=3669, foundSolutions=8, bestBound=83
394.50/390.34
394.60/390.41 num=178, depth=26..262, filters=13146840, ccks=3224, wck=387.987, mem=111M163
394.60/390.41 decisions=812605, wrong=391413, backtracks=347472, failedAssignments=182646, nogoods=3680, foundSolutions=8, bestBound=83
394.60/390.41
394.70/390.55 num=179, depth=75..212, filters=13151961, ccks=3224, wck=388.127, mem=111M163
394.70/390.55 decisions=812936, wrong=391475, backtracks=347503, failedAssignments=182677, nogoods=3685, foundSolutions=8, bestBound=83
394.70/390.55
394.80/390.62 num=180, depth=75..255, filters=13153584, ccks=3224, wck=388.198, mem=111M163
394.80/390.62 decisions=813273, wrong=391534, backtracks=347534, failedAssignments=182711, nogoods=3691, foundSolutions=8, bestBound=83
394.80/390.62
394.80/390.70 num=181, depth=75..252, filters=13155228, ccks=3224, wck=388.27, mem=111M163
394.80/390.70 decisions=813621, wrong=391602, backtracks=347570, failedAssignments=182748, nogoods=3696, foundSolutions=8, bestBound=83
394.80/390.70
394.90/390.77 num=182, depth=75..239, filters=13156945, ccks=3224, wck=388.343, mem=111M163
394.90/390.77 decisions=813988, wrong=391679, backtracks=347609, failedAssignments=182789, nogoods=3703, foundSolutions=8, bestBound=83
394.90/390.77
395.00/390.86 num=183, depth=205..251, filters=13158939, ccks=3224, wck=388.431, mem=111M163
395.00/390.86 decisions=814387, wrong=391760, backtracks=347651, failedAssignments=182834, nogoods=3711, foundSolutions=8, bestBound=83
395.00/390.86
395.10/390.96 num=184, depth=74..219, filters=13161313, ccks=3224, wck=388.529, mem=111M163
395.10/390.96 decisions=814787, wrong=391855, backtracks=347703, failedAssignments=182884, nogoods=3716, foundSolutions=8, bestBound=83
395.10/390.96
395.21/391.10 num=185, depth=70..228, filters=13165923, ccks=3224, wck=388.675, mem=111M163
395.21/391.10 decisions=815181, wrong=391969, backtracks=347764, failedAssignments=182939, nogoods=3718, foundSolutions=8, bestBound=83
395.21/391.10
395.31/391.19 num=186, depth=75..248, filters=13168124, ccks=3224, wck=388.762, mem=111M163
395.31/391.19 decisions=815629, wrong=392085, backtracks=347829, failedAssignments=183000, nogoods=3725, foundSolutions=8, bestBound=83
395.31/391.19
395.51/391.31 num=187, depth=75..245, filters=13171608, ccks=3224, wck=388.885, mem=111M163
395.51/391.31 decisions=816093, wrong=392222, backtracks=347907, failedAssignments=183067, nogoods=3727, foundSolutions=8, bestBound=83
395.51/391.31
395.61/391.47 num=188, depth=74..243, filters=13176404, ccks=3224, wck=389.047, mem=111M163
395.61/391.47 decisions=816550, wrong=392369, backtracks=347986, failedAssignments=183141, nogoods=3729, foundSolutions=8, bestBound=83
395.61/391.47
395.81/391.69 num=189, depth=75..224, filters=13182764, ccks=3224, wck=389.266, mem=111M163
395.81/391.69 decisions=817129, wrong=392568, backtracks=348112, failedAssignments=183222, nogoods=3733, foundSolutions=8, bestBound=83
395.81/391.69
396.32/392.11 num=190, depth=73..235, filters=13196728, ccks=3224, wck=389.681, mem=111M163
396.32/392.11 decisions=817685, wrong=392765, backtracks=348227, failedAssignments=183311, nogoods=3737, foundSolutions=8, bestBound=83
396.32/392.11
396.41/392.22 num=191, depth=77..233, filters=13199927, ccks=3224, wck=389.798, mem=111M163
396.41/392.22 decisions=818262, wrong=392947, backtracks=348336, failedAssignments=183409, nogoods=3748, foundSolutions=8, bestBound=83
396.41/392.22
396.71/392.58 num=192, depth=77..240, filters=13212024, ccks=3224, wck=390.156, mem=111M163
396.71/392.58 decisions=818831, wrong=393175, backtracks=348463, failedAssignments=183517, nogoods=3751, foundSolutions=8, bestBound=83
396.71/392.58
397.02/392.83 num=193, depth=77..210, filters=13219847, ccks=3224, wck=390.405, mem=111M163
397.02/392.83 decisions=819466, wrong=393418, backtracks=348598, failedAssignments=183636, nogoods=3754, foundSolutions=8, bestBound=83
397.02/392.83
397.42/393.22 num=194, depth=64..240, filters=13233400, ccks=3224, wck=390.796, mem=111M163
397.42/393.22 decisions=820119, wrong=393697, backtracks=348755, failedAssignments=183767, nogoods=3758, foundSolutions=8, bestBound=83
397.42/393.22
397.82/393.61 num=195, depth=64..217, filters=13246188, ccks=3224, wck=391.181, mem=111M163
397.82/393.61 decisions=820843, wrong=393992, backtracks=348918, failedAssignments=183911, nogoods=3768, foundSolutions=8, bestBound=83
397.82/393.61
398.12/393.97 num=196, depth=64..215, filters=13257909, ccks=3224, wck=391.546, mem=111M163
398.12/393.97 decisions=821696, wrong=394359, backtracks=349152, failedAssignments=184069, nogoods=3778, foundSolutions=8, bestBound=83
398.12/393.97
398.52/394.34 num=197, depth=65..190, filters=13270593, ccks=3224, wck=391.914, mem=111M163
398.52/394.34 decisions=822603, wrong=394752, backtracks=349389, failedAssignments=184243, nogoods=3784, foundSolutions=8, bestBound=83
398.52/394.34
398.92/394.78 num=198, depth=72..191, filters=13285063, ccks=3224, wck=392.352, mem=111M163
398.92/394.78 decisions=823671, wrong=395230, backtracks=349725, failedAssignments=184434, nogoods=3790, foundSolutions=8, bestBound=83
398.92/394.78
399.42/395.20 num=199, depth=73..127, filters=13300390, ccks=3224, wck=392.776, mem=111M163
399.42/395.20 decisions=824752, wrong=395722, backtracks=350104, failedAssignments=184645, nogoods=3797, foundSolutions=8, bestBound=83
399.42/395.20
399.72/395.59 num=200, depth=49..179, filters=13312402, ccks=3224, wck=393.161, mem=111M163
399.72/395.59 decisions=825867, wrong=396228, backtracks=350450, failedAssignments=184877, nogoods=3805, foundSolutions=8, bestBound=83
399.72/395.59
400.23/396.05 num=201, depth=56..153, filters=13328447, ccks=3224, wck=393.626, mem=111M163
400.23/396.05 decisions=826945, wrong=396712, backtracks=350774, failedAssignments=185132, nogoods=3817, foundSolutions=8, bestBound=83
400.23/396.05
400.52/396.40 num=202, depth=60..157, filters=13337858, ccks=3224, wck=393.969, mem=111M163
400.52/396.40 decisions=828106, wrong=397228, backtracks=351078, failedAssignments=185413, nogoods=3830, foundSolutions=8, bestBound=83
400.52/396.40
401.23/397.08 num=203, depth=55..151, filters=13360376, ccks=3224, wck=394.658, mem=111M163
401.23/397.08 decisions=829536, wrong=397906, backtracks=351529, failedAssignments=185722, nogoods=3840, foundSolutions=8, bestBound=83
401.23/397.08
402.12/397.99 num=204, depth=61..138, filters=13390526, ccks=3224, wck=395.568, mem=111M163
402.12/397.99 decisions=831032, wrong=398606, backtracks=352006, failedAssignments=186062, nogoods=3851, foundSolutions=8, bestBound=83
402.12/397.99
402.82/398.62 num=205, depth=66..151, filters=13412480, ccks=3224, wck=396.192, mem=111M163
402.82/398.62 decisions=832678, wrong=399371, backtracks=352435, failedAssignments=186436, nogoods=3860, foundSolutions=8, bestBound=83
402.82/398.62
403.83/399.69 num=206, depth=67..118, filters=13453276, ccks=3224, wck=397.265, mem=111M163
403.83/399.69 decisions=835021, wrong=400497, backtracks=353349, failedAssignments=186847, nogoods=3871, foundSolutions=8, bestBound=83
403.83/399.69
404.44/400.28 num=207, depth=72..182, filters=13476977, ccks=3224, wck=397.856, mem=111M163
404.44/400.28 decisions=836981, wrong=401423, backtracks=353964, failedAssignments=187299, nogoods=3883, foundSolutions=8, bestBound=83
404.44/400.28
405.14/400.99 num=208, depth=80..318, filters=13501165, ccks=3224, wck=398.564, mem=111M163
405.14/400.99 decisions=839631, wrong=402601, backtracks=354993, failedAssignments=187796, nogoods=3904, foundSolutions=8, bestBound=83
405.14/400.99
406.14/401.92 num=209, depth=82..210, filters=13536485, ccks=3224, wck=399.49, mem=111M163
406.14/401.92 decisions=842086, wrong=403742, backtracks=355765, failedAssignments=188343, nogoods=3911, foundSolutions=8, bestBound=83
406.14/401.92
406.74/402.55 num=210, depth=50..304, filters=13559033, ccks=3224, wck=400.12, mem=111M163
406.74/402.55 decisions=844553, wrong=404839, backtracks=356802, failedAssignments=188945, nogoods=3933, foundSolutions=8, bestBound=83
406.74/402.55
407.94/403.74 num=211, depth=88..362, filters=13601572, ccks=3224, wck=401.318, mem=111M163
407.94/403.74 decisions=848624, wrong=406717, backtracks=358607, failedAssignments=189607, nogoods=3948, foundSolutions=8, bestBound=83
407.94/403.74
409.26/405.07 num=212, depth=94..362, filters=13651301, ccks=3224, wck=402.641, mem=113M806
409.26/405.07 decisions=852501, wrong=408488, backtracks=360261, failedAssignments=190335, nogoods=3963, foundSolutions=8, bestBound=83
409.26/405.07
411.95/407.77 num=213, depth=86..346, filters=13747894, ccks=3224, wck=405.347, mem=113M806
411.95/407.77 decisions=858856, wrong=411505, backtracks=363074, failedAssignments=191136, nogoods=3974, foundSolutions=8, bestBound=83
411.95/407.77
413.36/409.17 num=214, depth=88..362, filters=13803398, ccks=3224, wck=406.743, mem=113M806
413.36/409.17 decisions=863238, wrong=413529, backtracks=364937, failedAssignments=192017, nogoods=3986, foundSolutions=8, bestBound=83
413.36/409.17
415.55/411.31 num=215, depth=92..362, filters=13888371, ccks=3224, wck=408.888, mem=113M806
415.55/411.31 decisions=868848, wrong=416166, backtracks=367429, failedAssignments=192987, nogoods=4007, foundSolutions=8, bestBound=83
415.55/411.31
417.26/413.08 num=216, depth=108..359, filters=13959766, ccks=3224, wck=410.657, mem=113M806
417.26/413.08 decisions=874761, wrong=418971, backtracks=369942, failedAssignments=194054, nogoods=4016, foundSolutions=8, bestBound=83
417.26/413.08
419.05/414.85 num=217, depth=47..352, filters=14024128, ccks=3224, wck=412.424, mem=113M806
419.05/414.85 decisions=879034, wrong=421069, backtracks=371560, failedAssignments=195227, nogoods=4038, foundSolutions=8, bestBound=83
419.05/414.85
424.75/420.55 num=218, depth=74..333, filters=14193983, ccks=3224, wck=418.119, mem=113M806
424.75/420.55 decisions=884856, wrong=423883, backtracks=373340, failedAssignments=196518, nogoods=4042, foundSolutions=8, bestBound=83
424.75/420.55
425.85/421.68 num=219, depth=39..93, filters=14236494, ccks=3224, wck=419.257, mem=113M806
425.85/421.68 decisions=890055, wrong=426456, backtracks=375752, failedAssignments=197938, nogoods=4049, foundSolutions=8, bestBound=83
425.85/421.68
430.55/426.35 num=220, depth=74..327, filters=14394755, ccks=3224, wck=423.923, mem=113M806
430.55/426.35 decisions=896918, wrong=429824, backtracks=378262, failedAssignments=199500, nogoods=4052, foundSolutions=8, bestBound=83
430.55/426.35
438.55/434.31 num=221, depth=153..321, filters=14625955, ccks=3224, wck=431.883, mem=113M806
438.55/434.31 decisions=904804, wrong=433689, backtracks=381043, failedAssignments=201218, nogoods=4054, foundSolutions=8, bestBound=83
438.55/434.31
447.26/443.09 num=222, depth=134..361, filters=14940241, ccks=3224, wck=440.663, mem=113M806
447.26/443.09 decisions=917383, wrong=439824, backtracks=386451, failedAssignments=203108, nogoods=4064, foundSolutions=8, bestBound=83
447.26/443.09
450.85/446.61 num=223, depth=33..306, filters=15065786, ccks=3224, wck=444.186, mem=113M806
450.85/446.61 decisions=926846, wrong=444428, backtracks=390756, failedAssignments=205187, nogoods=4088, foundSolutions=8, bestBound=83
450.85/446.61
457.05/452.89 num=224, depth=49..348, filters=15309254, ccks=3224, wck=450.463, mem=113M806
457.05/452.89 decisions=939954, wrong=450826, backtracks=396469, failedAssignments=207474, nogoods=4121, foundSolutions=8, bestBound=83
457.05/452.89
471.65/467.47 num=225, depth=20..304, filters=15856489, ccks=3224, wck=465.048, mem=113M806
471.65/467.47 decisions=961265, wrong=461347, backtracks=406047, failedAssignments=209990, nogoods=4137, foundSolutions=8, bestBound=83
471.65/467.47
482.85/478.60 num=226, depth=62..252, filters=16240511, ccks=3224, wck=476.175, mem=113M806
482.85/478.60 decisions=984580, wrong=472902, backtracks=417073, failedAssignments=212758, nogoods=4142, foundSolutions=8, bestBound=83
482.85/478.60
502.16/497.97 num=227, depth=35..310, filters=16970379, ccks=3224, wck=495.548, mem=116M448
502.16/497.97 decisions=1007820, wrong=484412, backtracks=427156, failedAssignments=215802, nogoods=4152, foundSolutions=8, bestBound=83
502.16/497.97
513.06/508.86 num=228, depth=46..525, filters=17307542, ccks=3224, wck=506.43, mem=116M448
513.06/508.86 decisions=1023411, wrong=492148, backtracks=432789, failedAssignments=219151, nogoods=4168, foundSolutions=8, bestBound=83
513.06/508.86
537.27/533.02 num=229, depth=111..403, filters=18225963, ccks=3224, wck=530.593, mem=116M448
537.27/533.02 decisions=1052641, wrong=506577, backtracks=446103, failedAssignments=222835, nogoods=4189, foundSolutions=8, bestBound=83
537.27/533.02
554.97/550.75 num=230, depth=59..415, filters=18876403, ccks=3224, wck=548.323, mem=116M448
554.97/550.75 decisions=1079301, wrong=519735, backtracks=458231, failedAssignments=226887, nogoods=4199, foundSolutions=8, bestBound=83
554.97/550.75
559.97/555.70 num=231, depth=26..133, filters=19042755, ccks=3224, wck=553.278, mem=116M448
559.97/555.70 decisions=1095449, wrong=527780, backtracks=464456, failedAssignments=231344, nogoods=4208, foundSolutions=8, bestBound=83
559.97/555.70
575.87/571.61 num=232, depth=33..258, filters=19590827, ccks=3224, wck=569.183, mem=116M448
575.87/571.61 decisions=1127749, wrong=543832, backtracks=478972, failedAssignments=236247, nogoods=4236, foundSolutions=8, bestBound=83
575.87/571.61
590.67/586.46 num=233, depth=36..393, filters=19947139, ccks=3224, wck=584.037, mem=116M448
590.67/586.46 decisions=1153547, wrong=556670, backtracks=487914, failedAssignments=241641, nogoods=4242, foundSolutions=8, bestBound=83
590.67/586.46
608.38/604.16 num=234, depth=27..453, filters=20589341, ccks=3224, wck=601.731, mem=119M90
608.38/604.16 decisions=1184657, wrong=572056, backtracks=501709, failedAssignments=247574, nogoods=4324, foundSolutions=8, bestBound=83
608.38/604.16
623.68/619.44 num=235, depth=49..383, filters=21129657, ccks=3224, wck=617.009, mem=119M90
623.68/619.44 decisions=1221985, wrong=590568, backtracks=518288, failedAssignments=254100, nogoods=4369, foundSolutions=8, bestBound=83
623.68/619.44
644.29/640.04 num=236, depth=7..201, filters=21862675, ccks=3224, wck=637.615, mem=119M90
644.29/640.04 decisions=1256626, wrong=607861, backtracks=530459, failedAssignments=261279, nogoods=4378, foundSolutions=8, bestBound=83
644.29/640.04
661.89/657.62 num=237, depth=14..258, filters=22452991, ccks=3224, wck=655.197, mem=119M90
661.89/657.62 decisions=1291357, wrong=625115, backtracks=544919, failedAssignments=269176, nogoods=4404, foundSolutions=8, bestBound=83
661.89/657.62
692.89/688.68 num=238, depth=96..234, filters=23524456, ccks=3224, wck=686.253, mem=121M733
692.89/688.68 decisions=1323255, wrong=640999, backtracks=558886, failedAssignments=277863, nogoods=4424, foundSolutions=8, bestBound=83
692.89/688.68
725.90/721.62 num=239, depth=190..449, filters=24666944, ccks=3224, wck=719.189, mem=121M733
725.90/721.62 decisions=1388672, wrong=673527, backtracks=589034, failedAssignments=287418, nogoods=4449, foundSolutions=8, bestBound=83
725.90/721.62
738.70/734.49 num=240, depth=83..260, filters=25118512, ccks=3224, wck=732.061, mem=121M733
738.70/734.49 decisions=1426796, wrong=692491, backtracks=605300, failedAssignments=297929, nogoods=4478, foundSolutions=8, bestBound=83
738.70/734.49
774.80/770.53 num=241, depth=37..246, filters=26230825, ccks=3224, wck=768.101, mem=121M733
774.80/770.53 decisions=1474195, wrong=716117, backtracks=624194, failedAssignments=309491, nogoods=4484, foundSolutions=8, bestBound=83
774.80/770.53
828.11/823.82 num=242, depth=17..280, filters=28122321, ccks=3224, wck=821.393, mem=124M376
828.11/823.82 decisions=1531256, wrong=744538, backtracks=649548, failedAssignments=322209, nogoods=4528, foundSolutions=8, bestBound=83
828.11/823.82
879.63/875.40 num=243, depth=120..541, filters=30091061, ccks=3224, wck=872.97, mem=124M376
879.63/875.40 decisions=1598142, wrong=777749, backtracks=675888, failedAssignments=336199, nogoods=4585, foundSolutions=8, bestBound=83
879.63/875.40
886.22/881.93 num=244, depth=70..614, filters=30312472, ccks=3224, wck=879.5, mem=127M18
886.22/881.93 decisions=1639746, wrong=798316, backtracks=693352, failedAssignments=351588, nogoods=4707, foundSolutions=8, bestBound=83
886.22/881.93
890.63/886.33 num=245, depth=68..563, filters=30428403, ccks=3224, wck=883.906, mem=127M18
890.63/886.33 decisions=1680973, wrong=818719, backtracks=712801, failedAssignments=368516, nogoods=4795, foundSolutions=8, bestBound=83
890.63/886.33
894.83/890.54 num=246, depth=84..657, filters=30547980, ccks=3224, wck=888.112, mem=129M663
894.83/890.54 decisions=1722100, wrong=839017, backtracks=732988, failedAssignments=387137, nogoods=4898, foundSolutions=8, bestBound=83
894.83/890.54
906.74/902.49 o 82
906.74/902.49 num=247, depth=60..3150, filters=30993194, ccks=3627, wck=900.062, mem=129M663
906.74/902.49 decisions=1741090, wrong=848267, backtracks=741505, failedAssignments=390978, nogoods=4938, foundSolutions=9, bestBound=82
906.74/902.49
915.14/910.82 num=248, depth=69..488, filters=31259834, ccks=3627, wck=908.39, mem=132M305
915.14/910.82 decisions=1797540, wrong=876321, backtracks=768268, failedAssignments=413510, nogoods=5045, foundSolutions=9, bestBound=82
915.14/910.82
915.14/910.85 num=249, depth=41..56, filters=31260925, ccks=3627, wck=908.428, mem=132M305
915.14/910.85 decisions=1797633, wrong=876347, backtracks=768286, failedAssignments=413521, nogoods=5047, foundSolutions=9, bestBound=82
915.14/910.85
915.14/910.89 num=250, depth=35..144, filters=31261623, ccks=3627, wck=908.464, mem=132M305
915.14/910.89 decisions=1797791, wrong=876360, backtracks=768287, failedAssignments=413533, nogoods=5059, foundSolutions=9, bestBound=82
915.14/910.89
915.25/910.92 num=251, depth=36..63, filters=31262494, ccks=3627, wck=908.495, mem=132M305
915.25/910.92 decisions=1797870, wrong=876374, backtracks=768288, failedAssignments=413546, nogoods=5072, foundSolutions=9, bestBound=82
915.25/910.92
915.25/910.98 num=252, depth=36..149, filters=31263971, ccks=3627, wck=908.552, mem=132M305
915.25/910.98 decisions=1798052, wrong=876396, backtracks=768297, failedAssignments=413560, nogoods=5083, foundSolutions=9, bestBound=82
915.25/910.98
915.37/911.03 num=253, depth=51..147, filters=31265153, ccks=3627, wck=908.603, mem=132M305
915.37/911.03 decisions=1798239, wrong=876420, backtracks=768310, failedAssignments=413576, nogoods=5091, foundSolutions=9, bestBound=82
915.37/911.03
915.37/911.09 num=254, depth=36..153, filters=31266582, ccks=3627, wck=908.66, mem=132M305
915.37/911.09 decisions=1798424, wrong=876443, backtracks=768316, failedAssignments=413593, nogoods=5106, foundSolutions=9, bestBound=82
915.37/911.09
915.47/911.15 num=255, depth=37..153, filters=31268176, ccks=3627, wck=908.721, mem=132M305
915.47/911.15 decisions=1798617, wrong=876471, backtracks=768329, failedAssignments=413612, nogoods=5120, foundSolutions=9, bestBound=82
915.47/911.15
915.56/911.20 num=256, depth=38..157, filters=31269648, ccks=3627, wck=908.778, mem=132M305
915.56/911.20 decisions=1798812, wrong=876499, backtracks=768339, failedAssignments=413633, nogoods=5138, foundSolutions=9, bestBound=82
915.56/911.20
915.56/911.26 num=257, depth=136..154, filters=31270998, ccks=3627, wck=908.834, mem=132M305
915.56/911.26 decisions=1799022, wrong=876533, backtracks=768370, failedAssignments=413656, nogoods=5141, foundSolutions=9, bestBound=82
915.56/911.26
915.66/911.32 num=258, depth=38..163, filters=31272494, ccks=3627, wck=908.893, mem=132M305
915.66/911.32 decisions=1799223, wrong=876563, backtracks=768387, failedAssignments=413681, nogoods=5155, foundSolutions=9, bestBound=82
915.66/911.32
915.66/911.38 num=259, depth=137..153, filters=31274073, ccks=3627, wck=908.954, mem=132M305
915.66/911.38 decisions=1799445, wrong=876603, backtracks=768415, failedAssignments=413709, nogoods=5167, foundSolutions=9, bestBound=82
915.66/911.38
915.76/911.45 num=260, depth=39..161, filters=31276026, ccks=3627, wck=909.024, mem=132M305
915.76/911.45 decisions=1799679, wrong=876649, backtracks=768447, failedAssignments=413740, nogoods=5181, foundSolutions=9, bestBound=82
915.76/911.45
915.86/911.53 num=261, depth=39..165, filters=31278248, ccks=3627, wck=909.1, mem=132M305
915.86/911.53 decisions=1799937, wrong=876707, backtracks=768490, failedAssignments=413774, nogoods=5195, foundSolutions=9, bestBound=82
915.86/911.53
915.96/911.60 num=262, depth=39..161, filters=31280282, ccks=3627, wck=909.172, mem=132M305
915.96/911.60 decisions=1800192, wrong=876763, backtracks=768528, failedAssignments=413811, nogoods=5213, foundSolutions=9, bestBound=82
915.96/911.60
915.96/911.68 num=263, depth=39..158, filters=31282632, ccks=3627, wck=909.251, mem=132M305
915.96/911.68 decisions=1800474, wrong=876835, backtracks=768585, failedAssignments=413852, nogoods=5227, foundSolutions=9, bestBound=82
915.96/911.68
916.06/911.76 num=264, depth=136..164, filters=31284937, ccks=3627, wck=909.332, mem=132M305
916.06/911.76 decisions=1800762, wrong=876907, backtracks=768635, failedAssignments=413897, nogoods=5248, foundSolutions=9, bestBound=82
916.06/911.76
916.16/911.85 num=265, depth=39..158, filters=31287666, ccks=3627, wck=909.424, mem=132M305
916.16/911.85 decisions=1801069, wrong=876990, backtracks=768696, failedAssignments=413947, nogoods=5264, foundSolutions=9, bestBound=82
916.16/911.85
916.26/911.95 num=266, depth=137..163, filters=31290739, ccks=3627, wck=909.524, mem=132M305
916.26/911.95 decisions=1801422, wrong=877095, backtracks=768787, failedAssignments=414002, nogoods=5270, foundSolutions=9, bestBound=82
916.26/911.95
916.37/912.04 num=267, depth=39..182, filters=31293274, ccks=3627, wck=909.609, mem=132M305
916.37/912.04 decisions=1801727, wrong=877175, backtracks=768834, failedAssignments=414063, nogoods=5301, foundSolutions=9, bestBound=82
916.37/912.04
916.47/912.14 num=268, depth=39..165, filters=31296441, ccks=3627, wck=909.713, mem=132M305
916.47/912.14 decisions=1802099, wrong=877289, backtracks=768921, failedAssignments=414130, nogoods=5320, foundSolutions=9, bestBound=82
916.47/912.14
916.56/912.25 num=269, depth=139..155, filters=31299988, ccks=3627, wck=909.824, mem=132M305
916.56/912.25 decisions=1802490, wrong=877414, backtracks=769032, failedAssignments=414204, nogoods=5325, foundSolutions=9, bestBound=82
916.56/912.25
916.66/912.36 num=270, depth=39..169, filters=31303515, ccks=3627, wck=909.936, mem=132M305
916.66/912.36 decisions=1802873, wrong=877534, backtracks=769134, failedAssignments=414285, nogoods=5342, foundSolutions=9, bestBound=82
916.66/912.36
916.86/912.50 num=271, depth=39..170, filters=31307997, ccks=3627, wck=910.077, mem=132M305
916.86/912.50 decisions=1803364, wrong=877705, backtracks=769282, failedAssignments=414374, nogoods=5360, foundSolutions=9, bestBound=82
916.86/912.50
916.96/912.68 num=272, depth=55..175, filters=31313560, ccks=3627, wck=910.251, mem=132M305
916.96/912.68 decisions=1803905, wrong=877900, backtracks=769469, failedAssignments=414472, nogoods=5365, foundSolutions=9, bestBound=82
916.96/912.68
917.16/912.84 num=273, depth=39..192, filters=31319251, ccks=3627, wck=910.418, mem=132M305
917.16/912.84 decisions=1804379, wrong=878059, backtracks=769598, failedAssignments=414580, nogoods=5393, foundSolutions=9, bestBound=82
917.16/912.84
917.37/913.07 num=274, depth=39..196, filters=31327130, ccks=3627, wck=910.648, mem=132M305
917.37/913.07 decisions=1804978, wrong=878280, backtracks=769772, failedAssignments=414699, nogoods=5434, foundSolutions=9, bestBound=82
917.37/913.07
917.56/913.25 num=275, depth=39..222, filters=31333596, ccks=3627, wck=910.828, mem=132M305
917.56/913.25 decisions=1805441, wrong=878431, backtracks=769903, failedAssignments=414830, nogoods=5450, foundSolutions=9, bestBound=82
917.56/913.25
917.76/913.48 num=276, depth=39..293, filters=31340901, ccks=3627, wck=911.05, mem=132M305
917.76/913.48 decisions=1806129, wrong=878643, backtracks=770084, failedAssignments=414974, nogoods=5481, foundSolutions=9, bestBound=82
917.76/913.48
917.96/913.66 num=277, depth=39..334, filters=31346565, ccks=3627, wck=911.237, mem=132M305
917.96/913.66 decisions=1806866, wrong=878877, backtracks=770252, failedAssignments=415132, nogoods=5544, foundSolutions=9, bestBound=82
917.96/913.66
918.16/913.88 num=278, depth=40..403, filters=31352990, ccks=3627, wck=911.453, mem=132M305
918.16/913.88 decisions=1807781, wrong=879168, backtracks=770510, failedAssignments=415306, nogoods=5585, foundSolutions=9, bestBound=82
918.16/913.88
918.47/914.11 num=279, depth=40..329, filters=31360506, ccks=3627, wck=911.688, mem=132M305
918.47/914.11 decisions=1808600, wrong=879444, backtracks=770727, failedAssignments=415497, nogoods=5629, foundSolutions=9, bestBound=82
918.47/914.11
918.67/914.30 num=280, depth=40..344, filters=31365839, ccks=3627, wck=911.872, mem=132M305
918.67/914.30 decisions=1809403, wrong=879708, backtracks=770934, failedAssignments=415708, nogoods=5683, foundSolutions=9, bestBound=82
918.67/914.30
918.77/914.49 num=281, depth=40..347, filters=31371427, ccks=3627, wck=912.062, mem=132M305
918.77/914.49 decisions=1810266, wrong=880000, backtracks=771140, failedAssignments=415940, nogoods=5743, foundSolutions=9, bestBound=82
918.77/914.49
918.97/914.62 num=282, depth=40..362, filters=31374752, ccks=3627, wck=912.194, mem=132M305
918.97/914.62 decisions=1811108, wrong=880277, backtracks=771360, failedAssignments=416195, nogoods=5798, foundSolutions=9, bestBound=82
918.97/914.62
919.17/914.83 num=283, depth=40..351, filters=31380931, ccks=3627, wck=912.4, mem=132M305
919.17/914.83 decisions=1812067, wrong=880613, backtracks=771623, failedAssignments=416476, nogoods=5856, foundSolutions=9, bestBound=82
919.17/914.83
919.38/915.04 num=284, depth=40..357, filters=31387214, ccks=3627, wck=912.612, mem=132M305
919.38/915.04 decisions=1813123, wrong=880998, backtracks=771918, failedAssignments=416785, nogoods=5921, foundSolutions=9, bestBound=82
919.38/915.04
919.57/915.20 num=285, depth=40..346, filters=31391505, ccks=3627, wck=912.777, mem=132M305
919.57/915.20 decisions=1814178, wrong=881390, backtracks=772248, failedAssignments=417125, nogoods=5975, foundSolutions=9, bestBound=82
919.57/915.20
919.77/915.46 num=286, depth=40..360, filters=31399521, ccks=3627, wck=913.036, mem=132M305
919.77/915.46 decisions=1815431, wrong=881872, backtracks=772668, failedAssignments=417499, nogoods=6009, foundSolutions=9, bestBound=82
919.77/915.46
920.17/915.87 num=287, depth=40..362, filters=31412827, ccks=3627, wck=913.441, mem=132M305
920.17/915.87 decisions=1817047, wrong=882532, backtracks=773260, failedAssignments=417910, nogoods=6064, foundSolutions=9, bestBound=82
920.17/915.87
920.87/916.56 num=288, depth=40..447, filters=31436373, ccks=3627, wck=914.131, mem=134M949
920.87/916.56 decisions=1819271, wrong=883477, backtracks=774060, failedAssignments=418362, nogoods=6150, foundSolutions=9, bestBound=82
920.87/916.56
921.27/916.91 num=289, depth=40..398, filters=31447403, ccks=3627, wck=914.488, mem=134M949
921.27/916.91 decisions=1821030, wrong=884192, backtracks=774712, failedAssignments=418859, nogoods=6191, foundSolutions=9, bestBound=82
921.27/916.91
921.48/917.14 num=290, depth=41..444, filters=31453184, ccks=3627, wck=914.713, mem=134M949
921.48/917.14 decisions=1822556, wrong=884782, backtracks=775208, failedAssignments=419406, nogoods=6278, foundSolutions=9, bestBound=82
921.48/917.14
921.67/917.36 num=291, depth=41..439, filters=31458698, ccks=3627, wck=914.933, mem=134M949
921.67/917.36 decisions=1824221, wrong=885440, backtracks=775789, failedAssignments=420008, nogoods=6345, foundSolutions=9, bestBound=82
921.67/917.36
921.97/917.64 num=292, depth=41..462, filters=31466381, ccks=3627, wck=915.212, mem=134M949
921.97/917.64 decisions=1826086, wrong=886196, backtracks=776409, failedAssignments=420670, nogoods=6452, foundSolutions=9, bestBound=82
921.97/917.64
922.27/917.96 num=293, depth=42..464, filters=31476226, ccks=3627, wck=915.538, mem=134M949
922.27/917.96 decisions=1828218, wrong=887080, backtracks=777197, failedAssignments=421398, nogoods=6535, foundSolutions=9, bestBound=82
922.27/917.96
922.67/918.32 num=294, depth=42..468, filters=31486529, ccks=3627, wck=915.892, mem=134M949
922.67/918.32 decisions=1830462, wrong=888017, backtracks=778023, failedAssignments=422199, nogoods=6611, foundSolutions=9, bestBound=82
922.67/918.32
922.97/918.67 num=295, depth=42..388, filters=31495833, ccks=3627, wck=916.247, mem=134M949
922.97/918.67 decisions=1832865, wrong=889050, backtracks=779007, failedAssignments=423080, nogoods=6643, foundSolutions=9, bestBound=82
922.97/918.67
923.48/919.16 num=296, depth=44..460, filters=31509998, ccks=3627, wck=916.736, mem=134M949
923.48/919.16 decisions=1835632, wrong=890240, backtracks=780063, failedAssignments=424050, nogoods=6722, foundSolutions=9, bestBound=82
923.48/919.16
924.07/919.75 num=297, depth=49..441, filters=31527431, ccks=3627, wck=917.325, mem=134M949
924.07/919.75 decisions=1838776, wrong=891627, backtracks=781281, failedAssignments=425117, nogoods=6784, foundSolutions=9, bestBound=82
924.07/919.75
925.27/920.94 num=298, depth=43..414, filters=31565721, ccks=3627, wck=918.515, mem=134M949
925.27/920.94 decisions=1843144, wrong=893641, backtracks=783191, failedAssignments=426290, nogoods=6843, foundSolutions=9, bestBound=82
925.27/920.94
929.27/924.99 num=299, depth=44..334, filters=31720897, ccks=3627, wck=922.559, mem=134M949
929.27/924.99 decisions=1851324, wrong=897581, backtracks=786955, failedAssignments=427581, nogoods=6850, foundSolutions=9, bestBound=82
929.27/924.99
931.67/927.39 num=300, depth=43..281, filters=31803866, ccks=3627, wck=924.963, mem=134M949
931.67/927.39 decisions=1859096, wrong=901345, backtracks=790548, failedAssignments=429001, nogoods=6867, foundSolutions=9, bestBound=82
931.67/927.39
932.67/928.31 num=301, depth=21..54, filters=31837334, ccks=3627, wck=925.883, mem=134M949
932.67/928.31 decisions=1863983, wrong=903776, backtracks=792789, failedAssignments=430563, nogoods=6883, foundSolutions=9, bestBound=82
932.67/928.31
939.18/934.87 num=302, depth=25..307, filters=32073655, ccks=3627, wck=932.448, mem=134M949
939.18/934.87 decisions=1875646, wrong=909490, backtracks=798118, failedAssignments=432281, nogoods=6895, foundSolutions=9, bestBound=82
939.18/934.87
940.38/936.02 num=303, depth=40..75, filters=32116222, ccks=3627, wck=933.595, mem=134M949
940.38/936.02 decisions=1881650, wrong=912466, backtracks=800863, failedAssignments=434171, nogoods=6909, foundSolutions=9, bestBound=82
940.38/936.02
951.58/947.28 num=304, depth=38..331, filters=32557286, ccks=3627, wck=944.856, mem=137M592
951.58/947.28 decisions=1899484, wrong=921239, backtracks=808954, failedAssignments=436250, nogoods=6927, foundSolutions=9, bestBound=82
951.58/947.28
965.08/960.72 num=305, depth=57..357, filters=33058197, ccks=3627, wck=958.292, mem=137M592
965.08/960.72 decisions=1917846, wrong=930296, backtracks=817261, failedAssignments=438537, nogoods=6940, foundSolutions=9, bestBound=82
965.08/960.72
969.79/965.41 num=306, depth=88..389, filters=33223392, ccks=3627, wck=962.984, mem=137M592
969.79/965.41 decisions=1930399, wrong=936415, backtracks=822972, failedAssignments=441053, nogoods=6982, foundSolutions=9, bestBound=82
969.79/965.41
976.29/971.95 num=307, depth=50..336, filters=33461148, ccks=3627, wck=969.522, mem=137M592
976.29/971.95 decisions=1946280, wrong=944202, backtracks=830253, failedAssignments=443821, nogoods=6996, foundSolutions=9, bestBound=82
976.29/971.95
978.94/974.56 num=308, depth=54..345, filters=33552593, ccks=3627, wck=972.132, mem=137M592
978.94/974.56 decisions=1958495, wrong=950158, backtracks=835777, failedAssignments=446865, nogoods=7029, foundSolutions=9, bestBound=82
978.94/974.56
991.23/986.81 num=309, depth=60..335, filters=34028023, ccks=3627, wck=984.383, mem=137M592
991.23/986.81 decisions=1982534, wrong=962025, backtracks=846879, failedAssignments=450214, nogoods=7034, foundSolutions=9, bestBound=82
991.23/986.81
1008.14/1003.74 num=310, depth=31..318, filters=34669614, ccks=3627, wck=1001.316, mem=137M592
1008.14/1003.74 decisions=2006233, wrong=973739, backtracks=856744, failedAssignments=453898, nogoods=7069, foundSolutions=9, bestBound=82
1008.14/1003.74
1038.64/1034.20 num=311, depth=104..436, filters=35815444, ccks=3627, wck=1031.776, mem=137M592
1038.64/1034.20 decisions=2039170, wrong=990029, backtracks=871587, failedAssignments=457950, nogoods=7084, foundSolutions=9, bestBound=82
1038.64/1034.20
1061.25/1056.81 num=312, depth=156..523, filters=36671589, ccks=3627, wck=1054.388, mem=140M234
1061.25/1056.81 decisions=2077010, wrong=1008721, backtracks=889046, failedAssignments=462407, nogoods=7100, foundSolutions=9, bestBound=82
1061.25/1056.81
1088.95/1084.56 num=313, depth=9..291, filters=37691842, ccks=3627, wck=1082.132, mem=140M234
1088.95/1084.56 decisions=2110638, wrong=1025421, backtracks=904220, failedAssignments=467310, nogoods=7121, foundSolutions=9, bestBound=82
1088.95/1084.56
1111.96/1107.58 num=314, depth=32..321, filters=38522528, ccks=3627, wck=1105.157, mem=140M234
1111.96/1107.58 decisions=2147624, wrong=1043770, backtracks=920333, failedAssignments=472704, nogoods=7130, foundSolutions=9, bestBound=82
1111.96/1107.58
1121.36/1116.90 num=315, depth=19..464, filters=38783699, ccks=3627, wck=1114.478, mem=140M234
1121.36/1116.90 decisions=2174214, wrong=1056980, backtracks=929558, failedAssignments=478637, nogoods=7153, foundSolutions=9, bestBound=82
1121.36/1116.90
1153.16/1148.75 num=316, depth=6..313, filters=40017947, ccks=3627, wck=1146.327, mem=142M778
1153.16/1148.75 decisions=2228798, wrong=1084148, backtracks=953691, failedAssignments=485163, nogoods=7188, foundSolutions=9, bestBound=82
1153.16/1148.75
1168.06/1163.63 num=317, depth=14..141, filters=40473622, ccks=3627, wck=1161.204, mem=142M778
1168.06/1163.63 decisions=2257627, wrong=1098550, backtracks=962477, failedAssignments=492342, nogoods=7213, foundSolutions=9, bestBound=82
1168.06/1163.63
1189.77/1185.37 num=318, depth=47..233, filters=41249637, ccks=3627, wck=1182.941, mem=142M778
1189.77/1185.37 decisions=2310426, wrong=1124858, backtracks=987570, failedAssignments=500239, nogoods=7239, foundSolutions=9, bestBound=82
1189.77/1185.37
1194.07/1189.60 num=319, depth=47..501, filters=41361400, ccks=3627, wck=1187.172, mem=142M778
1194.07/1189.60 decisions=2342829, wrong=1140887, backtracks=998775, failedAssignments=508926, nogoods=7244, foundSolutions=9, bestBound=82
1194.07/1189.60
1232.82/1228.36 num=320, depth=14..308, filters=42775655, ccks=3627, wck=1225.931, mem=40M809
1232.82/1228.36 decisions=2398881, wrong=1168806, backtracks=1022401, failedAssignments=518481, nogoods=7261, foundSolutions=9, bestBound=82
1232.82/1228.36
1265.22/1260.75 num=321, depth=53..276, filters=43785337, ccks=3627, wck=1258.326, mem=40M809
1265.22/1260.75 decisions=2464244, wrong=1201370, backtracks=1053498, failedAssignments=528992, nogoods=7274, foundSolutions=9, bestBound=82
1265.22/1260.75
1290.33/1285.86 num=322, depth=8..240, filters=44545031, ccks=3627, wck=1283.432, mem=40M809
1290.33/1285.86 decisions=2525989, wrong=1232138, backtracks=1080990, failedAssignments=540554, nogoods=7294, foundSolutions=9, bestBound=82
1290.33/1285.86
1385.44/1380.92 num=323, depth=14..303, filters=47545538, ccks=3627, wck=1378.497, mem=43M399
1385.44/1380.92 decisions=2639013, wrong=1288519, backtracks=1133237, failedAssignments=553272, nogoods=7307, foundSolutions=9, bestBound=82
1385.44/1380.92
1474.16/1469.64 num=324, depth=12..285, filters=50345198, ccks=3627, wck=1467.21, mem=45M988
1474.16/1469.64 decisions=2757527, wrong=1347661, backtracks=1188894, failedAssignments=567262, nogoods=7323, foundSolutions=9, bestBound=82
1474.16/1469.64
1544.27/1539.78 num=325, depth=28..519, filters=51867983, ccks=3627, wck=1537.357, mem=45M988
1544.27/1539.78 decisions=2823380, wrong=1380503, backtracks=1210327, failedAssignments=582651, nogoods=7336, foundSolutions=9, bestBound=82
1544.27/1539.78
1553.88/1549.39 num=326, depth=10..367, filters=52106827, ccks=3627, wck=1546.962, mem=45M988
1553.88/1549.39 decisions=2876522, wrong=1406948, backtracks=1231111, failedAssignments=599579, nogoods=7412, foundSolutions=9, bestBound=82
1553.88/1549.39
1595.78/1591.25 num=327, depth=14..260, filters=53273133, ccks=3627, wck=1588.82, mem=48M578
1595.78/1591.25 decisions=2960210, wrong=1448721, backtracks=1264967, failedAssignments=618200, nogoods=7437, foundSolutions=9, bestBound=82
1595.78/1591.25
1604.78/1600.20 num=328, depth=27..415, filters=53491773, ccks=3627, wck=1597.772, mem=48M578
1604.78/1600.20 decisions=3015899, wrong=1476391, backtracks=1289437, failedAssignments=638684, nogoods=7486, foundSolutions=9, bestBound=82
1604.78/1600.20
1674.90/1670.30 num=329, depth=6..671, filters=55956294, ccks=3627, wck=1667.876, mem=51M167
1674.90/1670.30 decisions=3133395, wrong=1534852, backtracks=1345092, failedAssignments=661216, nogoods=7557, foundSolutions=9, bestBound=82
1674.90/1670.30
1850.93/1846.39 num=330, depth=58..331, filters=61591039, ccks=3627, wck=1843.961, mem=53M756
1850.93/1846.39 decisions=3294566, wrong=1615362, backtracks=1416696, failedAssignments=686001, nogoods=7567, foundSolutions=9, bestBound=82
1850.93/1846.39
1873.13/1868.50 num=331, depth=66..483, filters=62192457, ccks=3627, wck=1866.073, mem=56M346
1873.13/1868.50 decisions=3366945, wrong=1651363, backtracks=1449880, failedAssignments=713265, nogoods=7618, foundSolutions=9, bestBound=82
1873.13/1868.50
1919.65/1915.08 num=332, depth=103..689, filters=63647204, ccks=3627, wck=1912.65, mem=56M346
1919.65/1915.08 decisions=3471152, wrong=1703196, backtracks=1496431, failedAssignments=743255, nogoods=7761, foundSolutions=9, bestBound=82
1919.65/1915.08
2142.07/2137.47 num=333, depth=140..448, filters=70922361, ccks=3627, wck=2135.043, mem=61M525
2142.07/2137.47 decisions=3715152, wrong=1825022, backtracks=1607190, failedAssignments=776244, nogoods=7782, foundSolutions=9, bestBound=82
2142.07/2137.47
2221.60/2217.00 num=334, depth=245..344, filters=73126681, ccks=3627, wck=2214.579, mem=64M114
2221.60/2217.00 decisions=3871373, wrong=1903000, backtracks=1678254, failedAssignments=812532, nogoods=7791, foundSolutions=9, bestBound=82
2221.60/2217.00
2250.40/2245.77 num=335, depth=71..184, filters=73841186, ccks=3627, wck=2243.34, mem=66M703
2250.40/2245.77 decisions=3974123, wrong=1954332, backtracks=1727396, failedAssignments=852449, nogoods=7808, foundSolutions=9, bestBound=82
2250.40/2245.77
2262.50/2257.85 num=336, depth=3..268, filters=74148979, ccks=3627, wck=2255.42, mem=69M293
2262.50/2257.85 decisions=4073269, wrong=2003826, backtracks=1775988, failedAssignments=896358, nogoods=7878, foundSolutions=9, bestBound=82
2262.50/2257.85
2358.12/2353.47 num=337, depth=164..461, filters=76833828, ccks=3627, wck=2351.046, mem=71M882
2358.12/2353.47 decisions=4243573, wrong=2088800, backtracks=1855486, failedAssignments=944658, nogoods=7894, foundSolutions=9, bestBound=82
2358.12/2353.47
2366.83/2362.14 num=338, depth=60..156, filters=76982259, ccks=3627, wck=2359.713, mem=74M472
2366.83/2362.14 decisions=4354753, wrong=2144357, backtracks=1910364, failedAssignments=997788, nogoods=7976, foundSolutions=9, bestBound=82
2366.83/2362.14
2400.03/2395.30
2400.03/2395.30 v <instantiation id='sol9' type='solution' cost='82'> <list> z x[][] </list> <values> 82 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 1 1 1 1 1 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 1 1 1 1 1 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 </values> </instantiation>
2400.03/2395.30 s SATISFIABLE