2.61/1.90
2.61/1.90 AbsCon 2
2.61/1.92
3.57/2.22 Instance
3.57/2.22 name=instance-4391037-1568380576, framework=COP, bounds=-infty..+infty
3.57/2.22
3.57/2.22 Loading variables...
3.95/2.32 Loading constraints...
4.97/2.68
4.97/2.68 Domains
4.97/2.68 nTypes=2, nValues=61251, sizes=[49#1199,50#50]
4.97/2.68 Variables
4.97/2.68 count=1249, degrees=[2#1199,45#1,47#1,48#6,49#32,50#10]
4.97/2.68 Objectives
4.97/2.68 way=min, type=SumWeightedLE
4.97/2.68 Constraints
4.97/2.68 count=1201, nSpecific=1201, arities=[3#1199,50#1,1199#1]
4.97/2.68 distribution=[AllDifferent#1,CtrExtensionCT-Table#1199,SumWeightedLE#1]
4.97/2.68 tables=[2450#1199], nTotalTuples=2937550
4.97/2.68 nExtStructures=(1,shared:1198)
4.97/2.68 wck=0.804, cpu=2.597, mem=89M756
5.60/2.84 Solver SolverBacktrack being built...
5.60/2.84
5.60/2.87
5.60/2.87 Solver
5.60/2.87 guaranteedGAC=true
5.60/2.87 wck=0.996, cpu=2.788, mem=209M382
5.79/2.95
5.79/2.95 Preprocessing
5.79/2.95 filters=1199, nACremovedValues=1199, nTotalRemovedValues=1199, inconcistency=false
5.79/2.95 wck=0.078, cpu=2.868, mem=209M382
5.79/2.95
7.31/3.48 o 31919
7.58/3.59 num=0, depth=1250..1248, filters=16208, ccks=1201, wck=0.717, mem=177M536
7.58/3.59 decisions=49, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=1, bestBound=31919
7.58/3.59 nFilterCalls=41808, avgTableProportion=0.9995918367348966, avgTableSize=2449.0
7.58/3.59
8.43/3.99 num=1, depth=45..48, filters=35246, ccks=1201, wck=1.121, mem=177M536
8.43/3.99 decisions=137, wrong=21, backtracks=11, failedAssignments=11, nogoods=4, foundSolutions=1, bestBound=31919
8.43/3.99 nFilterCalls=85453, avgTableProportion=0.9995918367349023, avgTableSize=2449.0
8.43/3.99
8.63/4.02 num=2, depth=15..16, filters=37404, ccks=1201, wck=1.149, mem=177M536
8.63/4.02 decisions=176, wrong=33, backtracks=12, failedAssignments=22, nogoods=15, foundSolutions=1, bestBound=31919
8.63/4.02 nFilterCalls=87619, avgTableProportion=0.9995918367349024, avgTableSize=2449.0
8.63/4.02
9.07/4.30 o 31819
9.07/4.39 num=3, depth=1250..1248, filters=53438, ccks=2402, wck=1.514, mem=180M133
9.07/4.39 decisions=251, wrong=33, backtracks=12, failedAssignments=22, nogoods=15, foundSolutions=2, bestBound=31819
9.07/4.39 nFilterCalls=129457, avgTableProportion=0.9995918367349041, avgTableSize=2449.0
9.07/4.39
9.47/4.66 num=4, depth=70..75, filters=75361, ccks=2402, wck=1.791, mem=182M727
9.47/4.66 decisions=380, wrong=61, backtracks=31, failedAssignments=35, nogoods=17, foundSolutions=2, bestBound=31819
9.47/4.66 nFilterCalls=177294, avgTableProportion=0.999591836734905, avgTableSize=2449.0
9.47/4.66
9.78/4.92 num=5, depth=72..76, filters=95147, ccks=2402, wck=2.049, mem=182M727
9.78/4.92 decisions=491, wrong=80, backtracks=46, failedAssignments=46, nogoods=20, foundSolutions=2, bestBound=31819
9.78/4.92 nFilterCalls=221586, avgTableProportion=0.9995918367349056, avgTableSize=2449.0
9.78/4.92
10.01/5.18 num=6, depth=62..66, filters=115266, ccks=2402, wck=2.313, mem=185M331
10.01/5.18 decisions=597, wrong=102, backtracks=59, failedAssignments=58, nogoods=24, foundSolutions=2, bestBound=31819
10.01/5.18 nFilterCalls=266307, avgTableProportion=0.9995918367344628, avgTableSize=2449.0
10.01/5.18
10.31/5.45 num=7, depth=68..72, filters=136370, ccks=2402, wck=2.576, mem=187M934
10.31/5.45 decisions=713, wrong=126, backtracks=72, failedAssignments=71, nogoods=25, foundSolutions=2, bestBound=31819
10.31/5.45 nFilterCalls=311275, avgTableProportion=0.9995918367303226, avgTableSize=2449.0
10.31/5.45
10.67/5.70 o 31810
10.67/5.79 num=8, depth=67..1248, filters=154022, ccks=3603, wck=2.917, mem=190M525
10.67/5.79 decisions=798, wrong=134, backtracks=76, failedAssignments=75, nogoods=27, foundSolutions=3, bestBound=31810
10.67/5.79 nFilterCalls=353491, avgTableProportion=0.9995918367273945, avgTableSize=2449.0
10.67/5.79
11.07/6.08 num=9, depth=69..74, filters=177469, ccks=3603, wck=3.207, mem=190M525
11.07/6.08 decisions=929, wrong=164, backtracks=95, failedAssignments=91, nogoods=29, foundSolutions=3, bestBound=31810
11.07/6.08 nFilterCalls=401627, avgTableProportion=0.9995918367248068, avgTableSize=2449.0
11.07/6.08
11.36/6.35 num=10, depth=73..77, filters=198630, ccks=3603, wck=3.484, mem=193M128
11.36/6.35 decisions=1042, wrong=184, backtracks=108, failedAssignments=102, nogoods=32, foundSolutions=3, bestBound=31810
11.36/6.35 nFilterCalls=445900, avgTableProportion=0.99959183672292, avgTableSize=2449.0
11.36/6.35
11.93/6.72 num=11, depth=66..69, filters=218225, ccks=3603, wck=3.851, mem=193M128
11.93/6.72 decisions=1148, wrong=204, backtracks=119, failedAssignments=114, nogoods=38, foundSolutions=3, bestBound=31810
11.93/6.72 nFilterCalls=490091, avgTableProportion=0.9995918367213766, avgTableSize=2449.0
11.93/6.72
12.13/7.00 num=12, depth=65..70, filters=239702, ccks=3603, wck=4.129, mem=195M725
12.13/7.00 decisions=1266, wrong=230, backtracks=135, failedAssignments=127, nogoods=40, foundSolutions=3, bestBound=31810
12.13/7.00 nFilterCalls=535757, avgTableProportion=0.9995918367200493, avgTableSize=2449.0
12.13/7.00
12.43/7.26 o 31808
12.54/7.35 num=13, depth=1250..1248, filters=255262, ccks=4804, wck=4.475, mem=195M725
12.54/7.35 decisions=1336, wrong=230, backtracks=135, failedAssignments=127, nogoods=40, foundSolutions=4, bestBound=31808
12.54/7.35 nFilterCalls=576441, avgTableProportion=0.9995918367190438, avgTableSize=2449.0
12.54/7.35
12.85/7.63 o 31798
12.98/7.71 num=14, depth=67..1248, filters=274379, ccks=6005, wck=4.838, mem=198M316
12.98/7.71 decisions=1429, wrong=242, backtracks=142, failedAssignments=134, nogoods=41, foundSolutions=5, bestBound=31798
12.98/7.71 nFilterCalls=620691, avgTableProportion=0.9995918367180999, avgTableSize=2449.0
12.98/7.71
13.18/8.00 num=15, depth=70..74, filters=293436, ccks=6005, wck=5.13, mem=198M316
13.18/8.00 decisions=1539, wrong=262, backtracks=154, failedAssignments=145, nogoods=44, foundSolutions=5, bestBound=31798
13.18/8.00 nFilterCalls=665993, avgTableProportion=0.9995918367172636, avgTableSize=2449.0
13.18/8.00
13.48/8.28 num=16, depth=62..65, filters=312928, ccks=6005, wck=5.41, mem=198M316
13.48/8.28 decisions=1640, wrong=281, backtracks=164, failedAssignments=156, nogoods=50, foundSolutions=5, bestBound=31798
13.48/8.28 nFilterCalls=709833, avgTableProportion=0.9995918367165558, avgTableSize=2449.0
13.48/8.28
13.81/8.56 num=17, depth=67..71, filters=333712, ccks=6005, wck=5.691, mem=198M316
13.81/8.56 decisions=1755, wrong=305, backtracks=180, failedAssignments=168, nogoods=51, foundSolutions=5, bestBound=31798
13.81/8.56 nFilterCalls=754195, avgTableProportion=0.9995918367159233, avgTableSize=2449.0
13.81/8.56
14.11/8.85 num=18, depth=61..65, filters=352094, ccks=6005, wck=5.978, mem=200M910
14.11/8.85 decisions=1858, wrong=326, backtracks=192, failedAssignments=181, nogoods=56, foundSolutions=5, bestBound=31798
14.11/8.85 nFilterCalls=799171, avgTableProportion=0.9995918367153539, avgTableSize=2449.0
14.11/8.85
14.44/9.13 num=19, depth=62..66, filters=372705, ccks=6005, wck=6.263, mem=200M910
14.44/9.13 decisions=1977, wrong=354, backtracks=209, failedAssignments=195, nogoods=60, foundSolutions=5, bestBound=31798
14.44/9.13 nFilterCalls=845150, avgTableProportion=0.9995918367148343, avgTableSize=2449.0
14.44/9.13
14.73/9.41 num=20, depth=56..61, filters=393340, ccks=6005, wck=6.543, mem=200M910
14.73/9.41 decisions=2095, wrong=384, backtracks=227, failedAssignments=211, nogoods=62, foundSolutions=5, bestBound=31798
14.73/9.41 nFilterCalls=891570, avgTableProportion=0.9995918367143641, avgTableSize=2449.0
14.73/9.41
14.97/9.69 num=21, depth=59..63, filters=414683, ccks=6005, wck=6.823, mem=200M910
14.97/9.69 decisions=2218, wrong=415, backtracks=244, failedAssignments=228, nogoods=70, foundSolutions=5, bestBound=31798
14.97/9.69 nFilterCalls=938261, avgTableProportion=0.9995918367139381, avgTableSize=2449.0
14.97/9.69
15.27/9.97 num=22, depth=56..60, filters=436413, ccks=6005, wck=7.104, mem=200M910
15.27/9.97 decisions=2343, wrong=449, backtracks=263, failedAssignments=247, nogoods=74, foundSolutions=5, bestBound=31798
15.27/9.97 nFilterCalls=985354, avgTableProportion=0.9995918367135493, avgTableSize=2449.0
15.27/9.97
15.58/10.26 num=23, depth=57..61, filters=459983, ccks=6005, wck=7.39, mem=200M910
15.58/10.26 decisions=2484, wrong=491, backtracks=289, failedAssignments=268, nogoods=76, foundSolutions=5, bestBound=31798
15.58/10.26 nFilterCalls=1034147, avgTableProportion=0.999591836713184, avgTableSize=2449.0
15.58/10.26
15.88/10.53 o 31794
15.98/10.62 num=24, depth=59..1248, filters=480697, ccks=7206, wck=7.745, mem=200M910
15.98/10.62 decisions=2603, wrong=519, backtracks=308, failedAssignments=282, nogoods=78, foundSolutions=6, bestBound=31794
15.98/10.62 nFilterCalls=1080278, avgTableProportion=0.9995918367128689, avgTableSize=2449.0
15.98/10.62
16.28/10.92 num=25, depth=60..65, filters=506604, ccks=7206, wck=8.048, mem=203M513
16.28/10.92 decisions=2759, wrong=567, backtracks=337, failedAssignments=307, nogoods=79, foundSolutions=6, bestBound=31794
16.28/10.92 nFilterCalls=1131885, avgTableProportion=0.9995918367125468, avgTableSize=2449.0
16.28/10.92
16.58/11.20 num=26, depth=66..69, filters=526294, ccks=7206, wck=8.328, mem=203M513
16.58/11.20 decisions=2862, wrong=585, backtracks=346, failedAssignments=318, nogoods=85, foundSolutions=6, bestBound=31794
16.58/11.20 nFilterCalls=1175984, avgTableProportion=0.9995918367122939, avgTableSize=2449.0
16.58/11.20
16.79/11.48 num=27, depth=65..68, filters=545743, ccks=7206, wck=8.608, mem=203M513
16.79/11.48 decisions=2971, wrong=607, backtracks=358, failedAssignments=330, nogoods=92, foundSolutions=6, bestBound=31794
16.79/11.48 nFilterCalls=1220452, avgTableProportion=0.9995918367120574, avgTableSize=2449.0
16.79/11.48
17.09/11.77 num=28, depth=66..70, filters=566371, ccks=7206, wck=8.901, mem=203M513
17.09/11.77 decisions=3081, wrong=629, backtracks=372, failedAssignments=343, nogoods=97, foundSolutions=6, bestBound=31794
17.09/11.77 nFilterCalls=1266403, avgTableProportion=0.9995918367118305, avgTableSize=2449.0
17.09/11.77
17.40/12.05 num=29, depth=55..60, filters=589302, ccks=7206, wck=9.177, mem=203M513
17.40/12.05 decisions=3195, wrong=657, backtracks=388, failedAssignments=357, nogoods=99, foundSolutions=6, bestBound=31794
17.40/12.05 nFilterCalls=1311379, avgTableProportion=0.9995918367116239, avgTableSize=2449.0
17.40/12.05
17.69/12.33 num=30, depth=63..67, filters=610375, ccks=7206, wck=9.459, mem=203M513
17.69/12.33 decisions=3320, wrong=687, backtracks=404, failedAssignments=373, nogoods=102, foundSolutions=6, bestBound=31794
17.69/12.33 nFilterCalls=1357733, avgTableProportion=0.9995918367114252, avgTableSize=2449.0
17.69/12.33
17.99/12.62 num=31, depth=64..68, filters=632516, ccks=7206, wck=9.747, mem=203M513
17.99/12.62 decisions=3453, wrong=721, backtracks=425, failedAssignments=390, nogoods=105, foundSolutions=6, bestBound=31794
17.99/12.62 nFilterCalls=1405206, avgTableProportion=0.9995918367112352, avgTableSize=2449.0
17.99/12.62
18.29/12.90 num=32, depth=61..67, filters=654983, ccks=7206, wck=10.027, mem=203M513
18.29/12.90 decisions=3591, wrong=759, backtracks=453, failedAssignments=409, nogoods=111, foundSolutions=6, bestBound=31794
18.29/12.90 nFilterCalls=1453102, avgTableProportion=0.9995918367110562, avgTableSize=2449.0
18.29/12.90
18.50/13.18 num=33, depth=64..69, filters=679687, ccks=7206, wck=10.306, mem=203M513
18.50/13.18 decisions=3735, wrong=799, backtracks=477, failedAssignments=430, nogoods=115, foundSolutions=6, bestBound=31794
18.50/13.18 nFilterCalls=1500366, avgTableProportion=0.9995918367108908, avgTableSize=2449.0
18.50/13.18
18.79/13.46 num=34, depth=67..71, filters=705477, ccks=7206, wck=10.59, mem=206M111
18.79/13.46 decisions=3898, wrong=846, backtracks=504, failedAssignments=453, nogoods=121, foundSolutions=6, bestBound=31794
18.79/13.46 nFilterCalls=1549353, avgTableProportion=0.9995918367107299, avgTableSize=2449.0
18.79/13.46
19.09/13.76 num=35, depth=62..66, filters=729929, ccks=7206, wck=10.888, mem=206M111
19.09/13.76 decisions=4049, wrong=890, backtracks=528, failedAssignments=478, nogoods=129, foundSolutions=6, bestBound=31794
19.09/13.76 nFilterCalls=1599767, avgTableProportion=0.9995918367105747, avgTableSize=2449.0
19.09/13.76
19.40/14.02 o 31778
19.40/14.10 num=36, depth=1250..1248, filters=746093, ccks=8407, wck=11.232, mem=206M111
19.40/14.10 decisions=4118, wrong=890, backtracks=528, failedAssignments=478, nogoods=129, foundSolutions=7, bestBound=31778
19.40/14.10 nFilterCalls=1640378, avgTableProportion=0.9995918367104566, avgTableSize=2449.0
19.40/14.10
19.70/14.38 o 31770
19.80/14.46 num=37, depth=68..1248, filters=763192, ccks=9608, wck=11.589, mem=206M111
19.80/14.46 decisions=4195, wrong=894, backtracks=530, failedAssignments=480, nogoods=130, foundSolutions=8, bestBound=31770
19.80/14.46 nFilterCalls=1683004, avgTableProportion=0.9995918367103387, avgTableSize=2449.0
19.80/14.46
20.10/14.75 num=38, depth=70..74, filters=783072, ccks=9608, wck=11.877, mem=206M111
20.10/14.75 decisions=4302, wrong=912, backtracks=541, failedAssignments=491, nogoods=133, foundSolutions=8, bestBound=31770
20.10/14.75 nFilterCalls=1728207, avgTableProportion=0.9995918367102201, avgTableSize=2449.0
20.10/14.75
20.40/15.01 o 31769
20.40/15.09 num=39, depth=65..1248, filters=800574, ccks=10809, wck=12.223, mem=206M111
20.40/15.09 decisions=4387, wrong=921, backtracks=546, failedAssignments=496, nogoods=136, foundSolutions=9, bestBound=31769
20.40/15.09 nFilterCalls=1770508, avgTableProportion=0.9995918367101146, avgTableSize=2449.0
20.40/15.09
20.70/15.39 num=40, depth=68..72, filters=820979, ccks=10809, wck=12.518, mem=208M708
20.70/15.39 decisions=4503, wrong=945, backtracks=559, failedAssignments=508, nogoods=137, foundSolutions=9, bestBound=31769
20.70/15.39 nFilterCalls=1817114, avgTableProportion=0.9995918367100041, avgTableSize=2449.0
20.70/15.39
21.00/15.67 num=41, depth=63..68, filters=841733, ccks=10809, wck=12.797, mem=208M708
21.00/15.67 decisions=4610, wrong=967, backtracks=573, failedAssignments=519, nogoods=140, foundSolutions=9, bestBound=31769
21.00/15.67 nFilterCalls=1861258, avgTableProportion=0.9995918367099045, avgTableSize=2449.0
21.00/15.67
21.30/15.95 num=42, depth=64..70, filters=862908, ccks=10809, wck=13.078, mem=208M708
21.30/15.95 decisions=4727, wrong=993, backtracks=591, failedAssignments=531, nogoods=142, foundSolutions=9, bestBound=31769
21.30/15.95 nFilterCalls=1906531, avgTableProportion=0.999591836709807, avgTableSize=2449.0
21.30/15.95
21.60/16.23 num=43, depth=60..65, filters=882562, ccks=10809, wck=13.356, mem=208M708
21.60/16.23 decisions=4835, wrong=1017, backtracks=604, failedAssignments=544, nogoods=143, foundSolutions=9, bestBound=31769
21.60/16.23 nFilterCalls=1951463, avgTableProportion=0.9995918367097149, avgTableSize=2449.0
21.60/16.23
21.90/16.50 num=44, depth=63..68, filters=903103, ccks=10809, wck=13.634, mem=208M708
21.90/16.50 decisions=4950, wrong=1042, backtracks=618, failedAssignments=558, nogoods=145, foundSolutions=9, bestBound=31769
21.90/16.50 nFilterCalls=1996875, avgTableProportion=0.9995918367096259, avgTableSize=2449.0
21.90/16.50
22.10/16.79 num=45, depth=61..66, filters=924698, ccks=10809, wck=13.916, mem=208M708
22.10/16.79 decisions=5071, wrong=1072, backtracks=637, failedAssignments=574, nogoods=147, foundSolutions=9, bestBound=31769
22.10/16.79 nFilterCalls=2042740, avgTableProportion=0.9995918367095401, avgTableSize=2449.0
22.10/16.79
22.41/17.07 num=46, depth=64..68, filters=946163, ccks=10809, wck=14.202, mem=208M708
22.41/17.07 decisions=5199, wrong=1103, backtracks=653, failedAssignments=591, nogoods=151, foundSolutions=9, bestBound=31769
22.41/17.07 nFilterCalls=2089316, avgTableProportion=0.9995918367094568, avgTableSize=2449.0
22.41/17.07
22.70/17.36 num=47, depth=60..64, filters=967307, ccks=10809, wck=14.485, mem=208M708
22.70/17.36 decisions=5335, wrong=1140, backtracks=674, failedAssignments=610, nogoods=157, foundSolutions=9, bestBound=31769
22.70/17.36 nFilterCalls=2136331, avgTableProportion=0.9995918367093765, avgTableSize=2449.0
22.70/17.36
23.01/17.65 num=48, depth=65..69, filters=990566, ccks=10809, wck=14.78, mem=208M708
23.01/17.65 decisions=5474, wrong=1177, backtracks=697, failedAssignments=631, nogoods=161, foundSolutions=9, bestBound=31769
23.01/17.65 nFilterCalls=2185584, avgTableProportion=0.999591836709296, avgTableSize=2449.0
23.01/17.65
23.32/17.94 num=49, depth=63..68, filters=1016157, ccks=10809, wck=15.072, mem=208M708
23.32/17.94 decisions=5627, wrong=1221, backtracks=723, failedAssignments=654, nogoods=164, foundSolutions=9, bestBound=31769
23.32/17.94 nFilterCalls=2234766, avgTableProportion=0.999591836709219, avgTableSize=2449.0
23.32/17.94
23.62/18.23 num=50, depth=61..67, filters=1040856, ccks=10809, wck=15.359, mem=208M708
23.62/18.23 decisions=5779, wrong=1266, backtracks=752, failedAssignments=679, nogoods=171, foundSolutions=9, bestBound=31769
23.62/18.23 nFilterCalls=2283814, avgTableProportion=0.9995918367091458, avgTableSize=2449.0
23.62/18.23
23.92/18.53 num=51, depth=68..72, filters=1066541, ccks=10809, wck=15.659, mem=208M708
23.92/18.53 decisions=5942, wrong=1313, backtracks=774, failedAssignments=707, nogoods=178, foundSolutions=9, bestBound=31769
23.92/18.53 nFilterCalls=2335752, avgTableProportion=0.9995918367090714, avgTableSize=2449.0
23.92/18.53
24.22/18.83 num=52, depth=66..71, filters=1094342, ccks=10809, wck=15.956, mem=208M708
24.22/18.83 decisions=6129, wrong=1373, backtracks=807, failedAssignments=738, nogoods=180, foundSolutions=9, bestBound=31769
24.22/18.83 nFilterCalls=2388931, avgTableProportion=0.9995918367089986, avgTableSize=2449.0
24.22/18.83
24.53/19.13 num=53, depth=65..69, filters=1121250, ccks=10809, wck=16.256, mem=208M708
24.53/19.13 decisions=6315, wrong=1433, backtracks=840, failedAssignments=772, nogoods=184, foundSolutions=9, bestBound=31769
24.53/19.13 nFilterCalls=2441490, avgTableProportion=0.9995918367089299, avgTableSize=2449.0
24.53/19.13
24.82/19.43 num=54, depth=64..69, filters=1150495, ccks=10809, wck=16.556, mem=208M708
24.82/19.43 decisions=6517, wrong=1501, backtracks=882, failedAssignments=809, nogoods=190, foundSolutions=9, bestBound=31769
24.82/19.43 nFilterCalls=2496458, avgTableProportion=0.9995918367088611, avgTableSize=2449.0
24.82/19.43
25.12/19.72 o 31766
25.22/19.80 num=55, depth=60..1248, filters=1180902, ccks=12010, wck=16.929, mem=208M708
25.22/19.80 decisions=6738, wrong=1580, backtracks=932, failedAssignments=849, nogoods=193, foundSolutions=10, bestBound=31766
25.22/19.80 nFilterCalls=2552959, avgTableProportion=0.9995918367087934, avgTableSize=2449.0
25.22/19.80
25.53/20.12 num=56, depth=62..69, filters=1212415, ccks=12010, wck=17.252, mem=208M708
25.53/20.12 decisions=6954, wrong=1656, backtracks=977, failedAssignments=894, nogoods=195, foundSolutions=10, bestBound=31766
25.53/20.12 nFilterCalls=2610506, avgTableProportion=0.9995918367087275, avgTableSize=2449.0
25.53/20.12
25.82/20.41 num=57, depth=73..78, filters=1233408, ccks=12010, wck=17.535, mem=208M708
25.82/20.41 decisions=7069, wrong=1677, backtracks=990, failedAssignments=905, nogoods=198, foundSolutions=10, bestBound=31766
25.82/20.41 nFilterCalls=2655512, avgTableProportion=0.999591836708678, avgTableSize=2449.0
25.82/20.41
26.02/20.69 num=58, depth=69..74, filters=1253539, ccks=12010, wck=17.82, mem=208M708
26.02/20.69 decisions=7182, wrong=1699, backtracks=1003, failedAssignments=917, nogoods=201, foundSolutions=10, bestBound=31766
26.02/20.69 nFilterCalls=2700571, avgTableProportion=0.99959183670863, avgTableSize=2449.0
26.02/20.69
26.33/20.96 o 31765
26.44/21.04 num=59, depth=1250..1248, filters=1270369, ccks=13211, wck=18.172, mem=208M708
26.44/21.04 decisions=7254, wrong=1699, backtracks=1003, failedAssignments=917, nogoods=201, foundSolutions=11, bestBound=31765
26.44/21.04 nFilterCalls=2741290, avgTableProportion=0.999591836708588, avgTableSize=2449.0
26.44/21.04
26.73/21.34 num=60, depth=70..74, filters=1291497, ccks=13211, wck=18.473, mem=208M708
26.73/21.34 decisions=7379, wrong=1726, backtracks=1022, failedAssignments=931, nogoods=203, foundSolutions=11, bestBound=31765
26.73/21.34 nFilterCalls=2788445, avgTableProportion=0.9995918367085409, avgTableSize=2449.0
26.73/21.34
27.03/21.63 num=61, depth=69..73, filters=1312716, ccks=13211, wck=18.756, mem=208M708
27.03/21.63 decisions=7488, wrong=1746, backtracks=1036, failedAssignments=942, nogoods=205, foundSolutions=11, bestBound=31765
27.03/21.63 nFilterCalls=2833104, avgTableProportion=0.9995918367084978, avgTableSize=2449.0
27.03/21.63
27.33/21.90 o 31761
27.33/21.98 num=62, depth=67..1248, filters=1329554, ccks=14412, wck=19.114, mem=211M317
27.33/21.98 decisions=7560, wrong=1748, backtracks=1037, failedAssignments=943, nogoods=206, foundSolutions=12, bestBound=31761
27.33/21.98 nFilterCalls=2875079, avgTableProportion=0.9995918367084585, avgTableSize=2449.0
27.33/21.98
27.64/22.28 num=63, depth=67..71, filters=1349726, ccks=14412, wck=19.41, mem=211M317
27.64/22.28 decisions=7675, wrong=1772, backtracks=1050, failedAssignments=956, nogoods=207, foundSolutions=12, bestBound=31761
27.64/22.28 nFilterCalls=2921678, avgTableProportion=0.9995918367084161, avgTableSize=2449.0
27.64/22.28
27.94/22.57 num=64, depth=70..75, filters=1370839, ccks=14412, wck=19.694, mem=211M317
27.94/22.57 decisions=7789, wrong=1794, backtracks=1063, failedAssignments=967, nogoods=210, foundSolutions=12, bestBound=31761
27.94/22.57 nFilterCalls=2966807, avgTableProportion=0.9995918367083764, avgTableSize=2449.0
27.94/22.57
28.24/22.85 num=65, depth=69..72, filters=1392148, ccks=14412, wck=19.981, mem=211M317
28.24/22.85 decisions=7902, wrong=1816, backtracks=1074, failedAssignments=979, nogoods=217, foundSolutions=12, bestBound=31761
28.24/22.85 nFilterCalls=3011654, avgTableProportion=0.9995918367083381, avgTableSize=2449.0
28.24/22.85
28.55/23.14 num=66, depth=68..71, filters=1412034, ccks=14412, wck=20.265, mem=211M317
28.55/23.14 decisions=8014, wrong=1838, backtracks=1086, failedAssignments=992, nogoods=223, foundSolutions=12, bestBound=31761
28.55/23.14 nFilterCalls=3056547, avgTableProportion=0.9995918367083009, avgTableSize=2449.0
28.55/23.14
28.84/23.42 num=67, depth=65..70, filters=1432746, ccks=14412, wck=20.553, mem=211M317
28.84/23.42 decisions=8133, wrong=1864, backtracks=1102, failedAssignments=1006, nogoods=225, foundSolutions=12, bestBound=31761
28.84/23.42 nFilterCalls=3102289, avgTableProportion=0.999591836708264, avgTableSize=2449.0
28.84/23.42
29.14/23.72 num=68, depth=70..75, filters=1456470, ccks=14412, wck=20.846, mem=211M317
29.14/23.72 decisions=8265, wrong=1894, backtracks=1122, failedAssignments=1022, nogoods=228, foundSolutions=12, bestBound=31761
29.14/23.72 nFilterCalls=3149018, avgTableProportion=0.9995918367082276, avgTableSize=2449.0
29.14/23.72
29.34/24.01 num=69, depth=70..74, filters=1480838, ccks=14412, wck=21.135, mem=211M317
29.34/24.01 decisions=8404, wrong=1928, backtracks=1141, failedAssignments=1039, nogoods=231, foundSolutions=12, bestBound=31761
29.34/24.01 nFilterCalls=3196441, avgTableProportion=0.9995918367081916, avgTableSize=2449.0
29.34/24.01
29.74/24.30 num=70, depth=72..76, filters=1502902, ccks=14412, wck=21.426, mem=211M317
29.74/24.30 decisions=8547, wrong=1963, backtracks=1159, failedAssignments=1058, nogoods=235, foundSolutions=12, bestBound=31761
29.74/24.30 nFilterCalls=3244186, avgTableProportion=0.9995918367081564, avgTableSize=2449.0
29.74/24.30
29.94/24.59 num=71, depth=66..70, filters=1525513, ccks=14412, wck=21.715, mem=211M317
29.94/24.59 decisions=8688, wrong=2000, backtracks=1179, failedAssignments=1079, nogoods=240, foundSolutions=12, bestBound=31761
29.94/24.59 nFilterCalls=3292031, avgTableProportion=0.9995918367081222, avgTableSize=2449.0
29.94/24.59
30.24/24.88 num=72, depth=72..76, filters=1550028, ccks=14412, wck=22.01, mem=211M317
30.24/24.88 decisions=8844, wrong=2042, backtracks=1206, failedAssignments=1102, nogoods=242, foundSolutions=12, bestBound=31761
30.24/24.88 nFilterCalls=3340935, avgTableProportion=0.9995918367080883, avgTableSize=2449.0
30.24/24.88
30.55/25.16 o 31757
30.64/25.24 num=73, depth=70..1248, filters=1570027, ccks=15613, wck=22.371, mem=211M317
30.64/25.24 decisions=8944, wrong=2056, backtracks=1213, failedAssignments=1110, nogoods=245, foundSolutions=13, bestBound=31757
30.64/25.24 nFilterCalls=3384511, avgTableProportion=0.999591836708059, avgTableSize=2449.0
30.64/25.24
30.95/25.55 num=74, depth=71..76, filters=1596551, ccks=15613, wck=22.682, mem=211M317
30.95/25.55 decisions=9122, wrong=2109, backtracks=1248, failedAssignments=1138, nogoods=249, foundSolutions=13, bestBound=31757
30.95/25.55 nFilterCalls=3437153, avgTableProportion=0.9995918367080243, avgTableSize=2449.0
30.95/25.55
31.25/25.84 num=75, depth=71..75, filters=1616693, ccks=15613, wck=22.966, mem=211M317
31.25/25.84 decisions=9231, wrong=2128, backtracks=1258, failedAssignments=1149, nogoods=252, foundSolutions=13, bestBound=31757
31.25/25.84 nFilterCalls=3481516, avgTableProportion=0.9995918367079961, avgTableSize=2449.0
31.25/25.84
31.56/26.12 num=76, depth=71..74, filters=1636585, ccks=15613, wck=23.253, mem=211M317
31.56/26.12 decisions=9346, wrong=2150, backtracks=1270, failedAssignments=1161, nogoods=258, foundSolutions=13, bestBound=31757
31.56/26.12 nFilterCalls=3526311, avgTableProportion=0.9995918367079683, avgTableSize=2449.0
31.56/26.12
31.85/26.41 num=77, depth=72..76, filters=1658942, ccks=15613, wck=23.543, mem=211M317
31.85/26.41 decisions=9475, wrong=2178, backtracks=1291, failedAssignments=1174, nogoods=260, foundSolutions=13, bestBound=31757
31.85/26.41 nFilterCalls=3572797, avgTableProportion=0.99959183670794, avgTableSize=2449.0
31.85/26.41
32.15/26.70 num=78, depth=69..75, filters=1680018, ccks=15613, wck=23.833, mem=211M317
32.15/26.70 decisions=9601, wrong=2206, backtracks=1309, failedAssignments=1188, nogoods=262, foundSolutions=13, bestBound=31757
32.15/26.70 nFilterCalls=3618901, avgTableProportion=0.9995918367079129, avgTableSize=2449.0
32.15/26.70
32.35/26.99 num=79, depth=67..72, filters=1699554, ccks=15613, wck=24.116, mem=211M317
32.35/26.99 decisions=9725, wrong=2234, backtracks=1326, failedAssignments=1204, nogoods=264, foundSolutions=13, bestBound=31757
32.35/26.99 nFilterCalls=3663936, avgTableProportion=0.999591836707887, avgTableSize=2449.0
32.35/26.99
32.65/27.28 num=80, depth=73..77, filters=1721118, ccks=15613, wck=24.404, mem=211M317
32.65/27.28 decisions=9858, wrong=2264, backtracks=1346, failedAssignments=1221, nogoods=266, foundSolutions=13, bestBound=31757
32.65/27.28 nFilterCalls=3710534, avgTableProportion=0.9995918367078608, avgTableSize=2449.0
32.65/27.28
32.95/27.57 num=81, depth=69..73, filters=1744314, ccks=15613, wck=24.695, mem=211M317
32.95/27.57 decisions=9999, wrong=2300, backtracks=1366, failedAssignments=1240, nogoods=269, foundSolutions=13, bestBound=31757
32.95/27.57 nFilterCalls=3758260, avgTableProportion=0.9995918367078347, avgTableSize=2449.0
32.95/27.57
33.25/27.87 num=82, depth=71..77, filters=1768335, ccks=15613, wck=24.997, mem=211M317
33.25/27.87 decisions=10143, wrong=2336, backtracks=1395, failedAssignments=1261, nogoods=272, foundSolutions=13, bestBound=31757
33.25/27.87 nFilterCalls=3807294, avgTableProportion=0.9995918367078085, avgTableSize=2449.0
33.25/27.87
33.56/28.17 num=83, depth=67..72, filters=1792699, ccks=15613, wck=25.296, mem=211M317
33.56/28.17 decisions=10296, wrong=2379, backtracks=1417, failedAssignments=1284, nogoods=278, foundSolutions=13, bestBound=31757
33.56/28.17 nFilterCalls=3857494, avgTableProportion=0.9995918367077824, avgTableSize=2449.0
33.56/28.17
33.85/28.47 num=84, depth=68..73, filters=1818358, ccks=15613, wck=25.599, mem=211M317
33.85/28.47 decisions=10461, wrong=2427, backtracks=1445, failedAssignments=1309, nogoods=284, foundSolutions=13, bestBound=31757
33.85/28.47 nFilterCalls=3908886, avgTableProportion=0.9995918367077564, avgTableSize=2449.0
33.85/28.47
34.15/28.77 num=85, depth=67..72, filters=1844635, ccks=15613, wck=25.904, mem=211M317
34.15/28.77 decisions=10629, wrong=2477, backtracks=1475, failedAssignments=1337, nogoods=286, foundSolutions=13, bestBound=31757
34.15/28.77 nFilterCalls=3961052, avgTableProportion=0.9995918367077307, avgTableSize=2449.0
34.15/28.77
34.46/29.07 num=86, depth=69..74, filters=1872820, ccks=15613, wck=26.203, mem=211M317
34.46/29.07 decisions=10819, wrong=2537, backtracks=1510, failedAssignments=1368, nogoods=290, foundSolutions=13, bestBound=31757
34.46/29.07 nFilterCalls=4013140, avgTableProportion=0.9995918367077057, avgTableSize=2449.0
34.46/29.07
34.75/29.39 num=87, depth=63..67, filters=1901048, ccks=15613, wck=26.515, mem=211M317
34.75/29.39 decisions=11007, wrong=2599, backtracks=1544, failedAssignments=1402, nogoods=296, foundSolutions=13, bestBound=31757
34.75/29.39 nFilterCalls=4067640, avgTableProportion=0.9995918367076801, avgTableSize=2449.0
34.75/29.39
35.05/29.69 num=88, depth=68..73, filters=1930611, ccks=15613, wck=26.823, mem=211M317
35.05/29.69 decisions=11207, wrong=2665, backtracks=1585, failedAssignments=1439, nogoods=298, foundSolutions=13, bestBound=31757
35.05/29.69 nFilterCalls=4121768, avgTableProportion=0.9995918367076555, avgTableSize=2449.0
35.05/29.69
35.46/30.01 num=89, depth=67..72, filters=1963190, ccks=15613, wck=27.136, mem=211M317
35.46/30.01 decisions=11421, wrong=2738, backtracks=1628, failedAssignments=1480, nogoods=302, foundSolutions=13, bestBound=31757
35.46/30.01 nFilterCalls=4177577, avgTableProportion=0.9995918367076309, avgTableSize=2449.0
35.46/30.01
35.76/30.32 num=90, depth=66..71, filters=1996870, ccks=15613, wck=27.449, mem=211M317
35.76/30.32 decisions=11656, wrong=2822, backtracks=1676, failedAssignments=1525, nogoods=308, foundSolutions=13, bestBound=31757
35.76/30.32 nFilterCalls=4236686, avgTableProportion=0.9995918367076053, avgTableSize=2449.0
35.76/30.32
36.05/30.64 num=91, depth=68..73, filters=2033570, ccks=15613, wck=27.77, mem=211M317
36.05/30.64 decisions=11918, wrong=2919, backtracks=1736, failedAssignments=1575, nogoods=315, foundSolutions=13, bestBound=31757
36.05/30.64 nFilterCalls=4298076, avgTableProportion=0.9995918367075796, avgTableSize=2449.0
36.05/30.64
36.35/30.96 num=92, depth=69..74, filters=2070780, ccks=15613, wck=28.093, mem=211M317
36.35/30.96 decisions=12194, wrong=3022, backtracks=1793, failedAssignments=1630, nogoods=323, foundSolutions=13, bestBound=31757
36.35/30.96 nFilterCalls=4360219, avgTableProportion=0.9995918367075542, avgTableSize=2449.0
36.35/30.96
36.65/31.25 o 31743
36.76/31.33 num=93, depth=69..1248, filters=2095585, ccks=16814, wck=28.463, mem=213M921
36.76/31.33 decisions=12347, wrong=3062, backtracks=1822, failedAssignments=1650, nogoods=326, foundSolutions=14, bestBound=31743
36.76/31.33 nFilterCalls=4409722, avgTableProportion=0.9995918367075346, avgTableSize=2449.0
36.76/31.33
37.06/31.67 num=94, depth=70..77, filters=2138955, ccks=16814, wck=28.802, mem=213M921
37.06/31.67 decisions=12692, wrong=3199, backtracks=1902, failedAssignments=1717, nogoods=331, foundSolutions=14, bestBound=31743
37.06/31.67 nFilterCalls=4478831, avgTableProportion=0.999591836707508, avgTableSize=2449.0
37.06/31.67
37.38/31.96 num=95, depth=73..77, filters=2159508, ccks=16814, wck=29.086, mem=213M921
37.38/31.96 decisions=12809, wrong=3221, backtracks=1914, failedAssignments=1728, nogoods=336, foundSolutions=14, bestBound=31743
37.38/31.96 nFilterCalls=4523978, avgTableProportion=0.999591836707491, avgTableSize=2449.0
37.38/31.96
37.68/32.24 num=96, depth=70..76, filters=2180671, ccks=16814, wck=29.37, mem=213M921
37.68/32.24 decisions=12927, wrong=3245, backtracks=1929, failedAssignments=1740, nogoods=337, foundSolutions=14, bestBound=31743
37.68/32.24 nFilterCalls=4569231, avgTableProportion=0.9995918367074742, avgTableSize=2449.0
37.68/32.24
37.98/32.52 num=97, depth=71..76, filters=2200913, ccks=16814, wck=29.653, mem=213M921
37.98/32.52 decisions=13052, wrong=3271, backtracks=1945, failedAssignments=1753, nogoods=339, foundSolutions=14, bestBound=31743
37.98/32.52 nFilterCalls=4614139, avgTableProportion=0.999591836707458, avgTableSize=2449.0
37.98/32.52
38.28/32.81 num=98, depth=69..73, filters=2222309, ccks=16814, wck=29.939, mem=213M921
38.28/32.81 decisions=13169, wrong=3295, backtracks=1958, failedAssignments=1767, nogoods=340, foundSolutions=14, bestBound=31743
38.28/32.81 nFilterCalls=4659521, avgTableProportion=0.9995918367074419, avgTableSize=2449.0
38.28/32.81
38.48/33.10 num=99, depth=70..75, filters=2244378, ccks=16814, wck=30.225, mem=213M921
38.48/33.10 decisions=13296, wrong=3323, backtracks=1975, failedAssignments=1783, nogoods=342, foundSolutions=14, bestBound=31743
38.48/33.10 nFilterCalls=4705877, avgTableProportion=0.9995918367074257, avgTableSize=2449.0
38.48/33.10
38.78/33.40 num=100, depth=68..74, filters=2269037, ccks=16814, wck=30.525, mem=213M921
38.78/33.40 decisions=13433, wrong=3357, backtracks=1998, failedAssignments=1800, nogoods=345, foundSolutions=14, bestBound=31743
38.78/33.40 nFilterCalls=4754619, avgTableProportion=0.999591836707409, avgTableSize=2449.0
38.78/33.40
39.08/33.68 num=101, depth=69..74, filters=2291863, ccks=16814, wck=30.81, mem=213M921
39.08/33.68 decisions=13574, wrong=3393, backtracks=2019, failedAssignments=1819, nogoods=348, foundSolutions=14, bestBound=31743
39.08/33.68 nFilterCalls=4802241, avgTableProportion=0.9995918367073932, avgTableSize=2449.0
39.08/33.68
39.38/33.96 o 31658
39.49/34.04 num=102, depth=1250..1248, filters=2308828, ccks=18015, wck=31.17, mem=213M921
39.49/34.04 decisions=13650, wrong=3393, backtracks=2019, failedAssignments=1819, nogoods=348, foundSolutions=15, bestBound=31658
39.49/34.04 nFilterCalls=4844338, avgTableProportion=0.9995918367073794, avgTableSize=2449.0
39.49/34.04
39.79/34.35 num=103, depth=71..76, filters=2332824, ccks=18015, wck=31.477, mem=213M921
39.79/34.35 decisions=13805, wrong=3435, backtracks=2045, failedAssignments=1842, nogoods=353, foundSolutions=15, bestBound=31658
39.79/34.35 nFilterCalls=4894784, avgTableProportion=0.9995918367073631, avgTableSize=2449.0
39.79/34.35
40.09/34.63 num=104, depth=68..72, filters=2351955, ccks=18015, wck=31.756, mem=213M921
40.09/34.63 decisions=13910, wrong=3453, backtracks=2056, failedAssignments=1853, nogoods=357, foundSolutions=15, bestBound=31658
40.09/34.63 nFilterCalls=4938386, avgTableProportion=0.9995918367073493, avgTableSize=2449.0
40.09/34.63
40.39/34.92 num=105, depth=72..77, filters=2372399, ccks=18015, wck=32.047, mem=213M921
40.39/34.92 decisions=14030, wrong=3477, backtracks=2074, failedAssignments=1865, nogoods=358, foundSolutions=15, bestBound=31658
40.39/34.92 nFilterCalls=4983905, avgTableProportion=0.9995918367073352, avgTableSize=2449.0
40.39/34.92
40.69/35.21 num=106, depth=73..78, filters=2394955, ccks=18015, wck=32.343, mem=213M921
40.69/35.21 decisions=14157, wrong=3503, backtracks=2094, failedAssignments=1878, nogoods=360, foundSolutions=15, bestBound=31658
40.69/35.21 nFilterCalls=5030479, avgTableProportion=0.9995918367073211, avgTableSize=2449.0
40.69/35.21
40.99/35.51 num=107, depth=71..75, filters=2415795, ccks=18015, wck=32.635, mem=213M921
40.99/35.51 decisions=14285, wrong=3531, backtracks=2110, failedAssignments=1892, nogoods=363, foundSolutions=15, bestBound=31658
40.99/35.51 nFilterCalls=5076437, avgTableProportion=0.9995918367073073, avgTableSize=2449.0
40.99/35.51
41.22/35.79 num=108, depth=68..73, filters=2437212, ccks=18015, wck=32.922, mem=213M921
41.22/35.79 decisions=14410, wrong=3559, backtracks=2126, failedAssignments=1908, nogoods=365, foundSolutions=15, bestBound=31658
41.22/35.79 nFilterCalls=5122229, avgTableProportion=0.9995918367072939, avgTableSize=2449.0
41.22/35.79
41.52/36.09 num=109, depth=68..72, filters=2460410, ccks=18015, wck=33.219, mem=213M921
41.52/36.09 decisions=14548, wrong=3593, backtracks=2147, failedAssignments=1925, nogoods=369, foundSolutions=15, bestBound=31658
41.52/36.09 nFilterCalls=5169810, avgTableProportion=0.9995918367072801, avgTableSize=2449.0
41.52/36.09
41.82/36.38 num=110, depth=70..74, filters=2484803, ccks=18015, wck=33.514, mem=213M921
41.82/36.38 decisions=14690, wrong=3629, backtracks=2167, failedAssignments=1944, nogoods=372, foundSolutions=15, bestBound=31658
41.82/36.38 nFilterCalls=5218383, avgTableProportion=0.9995918367072665, avgTableSize=2449.0
41.82/36.38
42.12/36.68 num=111, depth=70..74, filters=2509121, ccks=18015, wck=33.813, mem=213M921
42.12/36.68 decisions=14837, wrong=3667, backtracks=2188, failedAssignments=1965, nogoods=376, foundSolutions=15, bestBound=31658
42.12/36.68 nFilterCalls=5266736, avgTableProportion=0.999591836707253, avgTableSize=2449.0
42.12/36.68
42.42/36.98 num=112, depth=68..73, filters=2535207, ccks=18015, wck=34.111, mem=213M921
42.42/36.98 decisions=14997, wrong=3713, backtracks=2215, failedAssignments=1988, nogoods=382, foundSolutions=15, bestBound=31658
42.42/36.98 nFilterCalls=5317204, avgTableProportion=0.9995918367072393, avgTableSize=2449.0
42.42/36.98
42.72/37.28 num=113, depth=69..74, filters=2560152, ccks=18015, wck=34.411, mem=213M921
42.72/37.28 decisions=15159, wrong=3759, backtracks=2244, failedAssignments=2013, nogoods=385, foundSolutions=15, bestBound=31658
42.72/37.28 nFilterCalls=5366369, avgTableProportion=0.9995918367072261, avgTableSize=2449.0
42.72/37.28
43.02/37.58 num=114, depth=68..73, filters=2589512, ccks=18015, wck=34.707, mem=213M921
43.02/37.58 decisions=15341, wrong=3815, backtracks=2278, failedAssignments=2041, nogoods=392, foundSolutions=15, bestBound=31658
43.02/37.58 nFilterCalls=5418846, avgTableProportion=0.9995918367072123, avgTableSize=2449.0
43.02/37.58
43.32/37.89 num=115, depth=69..74, filters=2618633, ccks=18015, wck=35.018, mem=213M921
43.32/37.89 decisions=15535, wrong=3877, backtracks=2323, failedAssignments=2072, nogoods=396, foundSolutions=15, bestBound=31658
43.32/37.89 nFilterCalls=5473355, avgTableProportion=0.9995918367071983, avgTableSize=2449.0
43.32/37.89
43.63/38.19 num=116, depth=69..74, filters=2645892, ccks=18015, wck=35.323, mem=213M921
43.63/38.19 decisions=15725, wrong=3937, backtracks=2356, failedAssignments=2106, nogoods=400, foundSolutions=15, bestBound=31658
43.63/38.19 nFilterCalls=5525423, avgTableProportion=0.9995918367071852, avgTableSize=2449.0
43.63/38.19
44.02/38.50 num=117, depth=67..72, filters=2673422, ccks=18015, wck=35.63, mem=213M921
44.02/38.50 decisions=15936, wrong=4009, backtracks=2399, failedAssignments=2143, nogoods=403, foundSolutions=15, bestBound=31658
44.02/38.50 nFilterCalls=5578712, avgTableProportion=0.999591836707172, avgTableSize=2449.0
44.02/38.50
44.32/38.81 num=118, depth=66..71, filters=2704993, ccks=18015, wck=35.937, mem=213M921
44.32/38.81 decisions=16162, wrong=4089, backtracks=2449, failedAssignments=2184, nogoods=408, foundSolutions=15, bestBound=31658
44.32/38.81 nFilterCalls=5634953, avgTableProportion=0.9995918367071583, avgTableSize=2449.0
44.32/38.81
44.63/39.12 num=119, depth=64..69, filters=2736674, ccks=18015, wck=36.245, mem=213M921
44.63/39.12 decisions=16388, wrong=4170, backtracks=2500, failedAssignments=2229, nogoods=413, foundSolutions=15, bestBound=31658
44.63/39.12 nFilterCalls=5691775, avgTableProportion=0.9995918367071448, avgTableSize=2449.0
44.63/39.12
44.92/39.42 num=120, depth=69..74, filters=2768343, ccks=18015, wck=36.55, mem=213M921
44.92/39.42 decisions=16646, wrong=4264, backtracks=2552, failedAssignments=2279, nogoods=419, foundSolutions=15, bestBound=31658
44.92/39.42 nFilterCalls=5747224, avgTableProportion=0.9995918367071318, avgTableSize=2449.0
44.92/39.42
45.22/39.75 num=121, depth=70..75, filters=2803351, ccks=18015, wck=36.874, mem=213M921
45.22/39.75 decisions=16906, wrong=4359, backtracks=2603, failedAssignments=2334, nogoods=425, foundSolutions=15, bestBound=31658
45.22/39.75 nFilterCalls=5806868, avgTableProportion=0.9995918367071183, avgTableSize=2449.0
45.22/39.75
45.53/40.07 num=122, depth=64..70, filters=2836975, ccks=18015, wck=37.194, mem=213M921
45.53/40.07 decisions=17206, wrong=4477, backtracks=2673, failedAssignments=2395, nogoods=435, foundSolutions=15, bestBound=31658
45.53/40.07 nFilterCalls=5867125, avgTableProportion=0.9995918367071047, avgTableSize=2449.0
45.53/40.07
45.82/40.40 num=123, depth=62..68, filters=2877539, ccks=18015, wck=37.525, mem=213M921
45.82/40.40 decisions=17516, wrong=4599, backtracks=2748, failedAssignments=2462, nogoods=437, foundSolutions=15, bestBound=31658
45.82/40.40 nFilterCalls=5933936, avgTableProportion=0.9995918367070901, avgTableSize=2449.0
45.82/40.40
46.22/40.73 num=124, depth=62..67, filters=2919344, ccks=18015, wck=37.858, mem=213M921
46.22/40.73 decisions=17843, wrong=4731, backtracks=2824, failedAssignments=2536, nogoods=440, foundSolutions=15, bestBound=31658
46.22/40.73 nFilterCalls=6001602, avgTableProportion=0.9995918367070755, avgTableSize=2449.0
46.22/40.73
46.53/41.08 num=125, depth=59..66, filters=2966279, ccks=18015, wck=38.205, mem=213M921
46.53/41.08 decisions=18200, wrong=4879, backtracks=2914, failedAssignments=2617, nogoods=443, foundSolutions=15, bestBound=31658
46.53/41.08 nFilterCalls=6073902, avgTableProportion=0.9995918367070604, avgTableSize=2449.0
46.53/41.08
46.94/41.40 num=126, depth=66..71, filters=3009580, ccks=18015, wck=38.533, mem=213M921
46.94/41.40 decisions=18624, wrong=5057, backtracks=3012, failedAssignments=2706, nogoods=449, foundSolutions=15, bestBound=31658
46.94/41.40 nFilterCalls=6143056, avgTableProportion=0.9995918367070463, avgTableSize=2449.0
46.94/41.40
47.25/41.76 num=127, depth=66..72, filters=3064342, ccks=18015, wck=38.886, mem=213M921
47.25/41.76 decisions=19085, wrong=5253, backtracks=3124, failedAssignments=2804, nogoods=456, foundSolutions=15, bestBound=31658
47.25/41.76 nFilterCalls=6224874, avgTableProportion=0.99959183670703, avgTableSize=2449.0
47.25/41.76
47.56/42.11 num=128, depth=68..75, filters=3116800, ccks=18015, wck=39.234, mem=213M921
47.56/42.11 decisions=19555, wrong=5453, backtracks=3243, failedAssignments=2912, nogoods=465, foundSolutions=15, bestBound=31658
47.56/42.11 nFilterCalls=6302841, avgTableProportion=0.9995918367070148, avgTableSize=2449.0
47.56/42.11
47.96/42.47 num=129, depth=62..68, filters=3173245, ccks=18015, wck=39.597, mem=213M921
47.96/42.47 decisions=20078, wrong=5683, backtracks=3383, failedAssignments=3031, nogoods=474, foundSolutions=15, bestBound=31658
47.96/42.47 nFilterCalls=6388089, avgTableProportion=0.9995918367069986, avgTableSize=2449.0
47.96/42.47
48.36/42.84 num=130, depth=60..67, filters=3238596, ccks=18015, wck=39.967, mem=213M921
48.36/42.84 decisions=20667, wrong=5947, backtracks=3540, failedAssignments=3162, nogoods=476, foundSolutions=15, bestBound=31658
48.36/42.84 nFilterCalls=6481223, avgTableProportion=0.9995918367069815, avgTableSize=2449.0
48.36/42.84
48.76/43.21 num=131, depth=64..72, filters=3303078, ccks=18015, wck=40.34, mem=216M512
48.76/43.21 decisions=21313, wrong=6237, backtracks=3706, failedAssignments=3306, nogoods=483, foundSolutions=15, bestBound=31658
48.76/43.21 nFilterCalls=6573563, avgTableProportion=0.9995918367069649, avgTableSize=2449.0
48.76/43.21
49.16/43.61 num=132, depth=61..67, filters=3382271, ccks=18015, wck=40.742, mem=216M512
49.16/43.61 decisions=21987, wrong=6543, backtracks=3900, failedAssignments=3464, nogoods=495, foundSolutions=15, bestBound=31658
49.16/43.61 nFilterCalls=6679971, avgTableProportion=0.9995918367069464, avgTableSize=2449.0
49.16/43.61
49.57/44.02 num=133, depth=63..69, filters=3467549, ccks=18015, wck=41.148, mem=216M512
49.57/44.02 decisions=22738, wrong=6887, backtracks=4113, failedAssignments=3638, nogoods=503, foundSolutions=15, bestBound=31658
49.57/44.02 nFilterCalls=6791376, avgTableProportion=0.9995918367069276, avgTableSize=2449.0
49.57/44.02
49.96/44.45 num=134, depth=61..68, filters=3559213, ccks=18015, wck=41.575, mem=216M512
49.96/44.45 decisions=23519, wrong=7247, backtracks=4328, failedAssignments=3829, nogoods=506, foundSolutions=15, bestBound=31658
49.96/44.45 nFilterCalls=6911180, avgTableProportion=0.9995918367069082, avgTableSize=2449.0
49.96/44.45
50.36/44.88 num=135, depth=65..73, filters=3655308, ccks=18015, wck=42.01, mem=216M512
50.36/44.88 decisions=24370, wrong=7639, backtracks=4555, failedAssignments=4040, nogoods=510, foundSolutions=15, bestBound=31658
50.36/44.88 nFilterCalls=7035608, avgTableProportion=0.9995918367068887, avgTableSize=2449.0
50.36/44.88
50.87/45.31 num=136, depth=66..73, filters=3743486, ccks=18015, wck=42.444, mem=216M512
50.87/45.31 decisions=25314, wrong=8077, backtracks=4815, failedAssignments=4272, nogoods=518, foundSolutions=15, bestBound=31658
50.87/45.31 nFilterCalls=7151673, avgTableProportion=0.999591836706871, avgTableSize=2449.0
50.87/45.31
51.27/45.76 num=137, depth=68..76, filters=3852767, ccks=18015, wck=42.889, mem=216M512
51.27/45.76 decisions=26371, wrong=8570, backtracks=5090, failedAssignments=4527, nogoods=524, foundSolutions=15, bestBound=31658
51.27/45.76 nFilterCalls=7288952, avgTableProportion=0.9995918367068509, avgTableSize=2449.0
51.27/45.76
51.77/46.23 num=138, depth=68..75, filters=3967439, ccks=18015, wck=43.361, mem=216M512
51.77/46.23 decisions=27501, wrong=9100, backtracks=5405, failedAssignments=4808, nogoods=533, foundSolutions=15, bestBound=31658
51.77/46.23 nFilterCalls=7432130, avgTableProportion=0.9995918367068308, avgTableSize=2449.0
51.77/46.23
52.27/46.71 num=139, depth=64..72, filters=4087224, ccks=18015, wck=43.836, mem=216M512
52.27/46.71 decisions=28755, wrong=9694, backtracks=5753, failedAssignments=5117, nogoods=542, foundSolutions=15, bestBound=31658
52.27/46.71 nFilterCalls=7581006, avgTableProportion=0.9995918367068106, avgTableSize=2449.0
52.27/46.71
52.79/47.21 num=140, depth=56..64, filters=4225757, ccks=18015, wck=44.341, mem=216M512
52.79/47.21 decisions=30169, wrong=10372, backtracks=6150, failedAssignments=5457, nogoods=551, foundSolutions=15, bestBound=31658
52.79/47.21 nFilterCalls=7751052, avgTableProportion=0.9995918367067885, avgTableSize=2449.0
52.79/47.21
53.29/47.75 num=141, depth=52..59, filters=4377173, ccks=18015, wck=44.877, mem=216M512
53.29/47.75 decisions=31597, wrong=11060, backtracks=6553, failedAssignments=5831, nogoods=562, foundSolutions=15, bestBound=31658
53.29/47.75 nFilterCalls=7932698, avgTableProportion=0.999591836706766, avgTableSize=2449.0
53.29/47.75
53.79/48.28 num=142, depth=54..61, filters=4532269, ccks=18015, wck=45.413, mem=216M512
53.79/48.28 decisions=33275, wrong=11870, backtracks=7005, failedAssignments=6242, nogoods=569, foundSolutions=15, bestBound=31658
53.79/48.28 nFilterCalls=8120241, avgTableProportion=0.9995918367067438, avgTableSize=2449.0
53.79/48.28
54.39/48.87 num=143, depth=53..60, filters=4729726, ccks=18015, wck=45.999, mem=216M512
54.39/48.87 decisions=35150, wrong=12780, backtracks=7545, failedAssignments=6694, nogoods=580, foundSolutions=15, bestBound=31658
54.39/48.87 nFilterCalls=8349334, avgTableProportion=0.999591836706718, avgTableSize=2449.0
54.39/48.87
54.99/49.46 num=144, depth=54..60, filters=4921706, ccks=18015, wck=46.591, mem=216M512
54.99/49.46 decisions=37136, wrong=13744, backtracks=8091, failedAssignments=7191, nogoods=585, foundSolutions=15, bestBound=31658
54.99/49.46 nFilterCalls=8576655, avgTableProportion=0.9995918367066938, avgTableSize=2449.0
54.99/49.46
55.60/50.07 num=145, depth=50..57, filters=5118841, ccks=18015, wck=47.201, mem=216M512
55.60/50.07 decisions=39346, wrong=14822, backtracks=8720, failedAssignments=7738, nogoods=592, foundSolutions=15, bestBound=31658
55.60/50.07 nFilterCalls=8806866, avgTableProportion=0.9995918367066706, avgTableSize=2449.0
55.60/50.07
56.29/50.75 num=146, depth=53..60, filters=5357001, ccks=18015, wck=47.88, mem=216M512
56.29/50.75 decisions=41777, wrong=16010, backtracks=9434, failedAssignments=8340, nogoods=597, foundSolutions=15, bestBound=31658
56.29/50.75 nFilterCalls=9078007, avgTableProportion=0.9995918367066448, avgTableSize=2449.0
56.29/50.75
56.99/51.45 num=147, depth=51..57, filters=5604083, ccks=18015, wck=48.577, mem=216M512
56.99/51.45 decisions=44359, wrong=17274, backtracks=10166, failedAssignments=9002, nogoods=609, foundSolutions=15, bestBound=31658
56.99/51.45 nFilterCalls=9361609, avgTableProportion=0.9995918367066192, avgTableSize=2449.0
56.99/51.45
57.79/52.22 num=148, depth=49..56, filters=5896371, ccks=18015, wck=49.347, mem=216M512
57.79/52.22 decisions=47250, wrong=18694, backtracks=11010, failedAssignments=9730, nogoods=621, foundSolutions=15, bestBound=31658
57.79/52.22 nFilterCalls=9694804, avgTableProportion=0.9995918367065912, avgTableSize=2449.0
57.79/52.22
58.49/52.98 num=149, depth=47..55, filters=6179336, ccks=18015, wck=50.108, mem=216M512
58.49/52.98 decisions=50352, wrong=20220, backtracks=11885, failedAssignments=10531, nogoods=631, foundSolutions=15, bestBound=31658
58.49/52.98 nFilterCalls=10010947, avgTableProportion=0.9995918367065664, avgTableSize=2449.0
58.49/52.98
59.39/53.83 num=150, depth=49..57, filters=6533079, ccks=18015, wck=50.959, mem=216M512
59.39/53.83 decisions=53929, wrong=21982, backtracks=12871, failedAssignments=11412, nogoods=641, foundSolutions=15, bestBound=31658
59.39/53.83 nFilterCalls=10399361, avgTableProportion=0.9995918367065378, avgTableSize=2449.0
59.39/53.83
60.29/54.77 num=151, depth=56..62, filters=6910833, ccks=18015, wck=51.901, mem=216M512
60.29/54.77 decisions=57864, wrong=23920, backtracks=13970, failedAssignments=12382, nogoods=650, foundSolutions=15, bestBound=31658
60.29/54.77 nFilterCalls=10821804, avgTableProportion=0.9995918367065092, avgTableSize=2449.0
60.29/54.77
61.29/55.73 num=152, depth=51..58, filters=7293555, ccks=18015, wck=52.86, mem=216M512
61.29/55.73 decisions=62181, wrong=26052, backtracks=15196, failedAssignments=13449, nogoods=663, foundSolutions=15, bestBound=31658
61.29/55.73 nFilterCalls=11250765, avgTableProportion=0.9995918367064823, avgTableSize=2449.0
61.29/55.73
62.39/56.84 num=153, depth=53..60, filters=7760149, ccks=18015, wck=53.971, mem=216M512
62.39/56.84 decisions=66914, wrong=28390, backtracks=16565, failedAssignments=14622, nogoods=672, foundSolutions=15, bestBound=31658
62.39/56.84 nFilterCalls=11766259, avgTableProportion=0.9995918367064526, avgTableSize=2449.0
62.39/56.84
63.39/57.88 num=154, depth=52..59, filters=8168496, ccks=18015, wck=55.014, mem=216M512
63.39/57.88 decisions=72089, wrong=30950, backtracks=18030, failedAssignments=15913, nogoods=682, foundSolutions=15, bestBound=31658
63.39/57.88 nFilterCalls=12221018, avgTableProportion=0.9995918367064285, avgTableSize=2449.0
63.39/57.88
64.60/59.08 num=155, depth=48..56, filters=8708787, ccks=18015, wck=56.206, mem=216M512
64.60/59.08 decisions=77592, wrong=33676, backtracks=19566, failedAssignments=17333, nogoods=695, foundSolutions=15, bestBound=31658
64.60/59.08 nFilterCalls=12814055, avgTableProportion=0.9995918367063995, avgTableSize=2449.0
64.60/59.08
65.89/60.32 num=156, depth=50..58, filters=9239202, ccks=18015, wck=57.445, mem=216M512
65.89/60.32 decisions=83330, wrong=36518, backtracks=21194, failedAssignments=18895, nogoods=707, foundSolutions=15, bestBound=31658
65.89/60.32 nFilterCalls=13388633, avgTableProportion=0.999591836706374, avgTableSize=2449.0
65.89/60.32
67.21/61.69 num=157, depth=48..56, filters=9841987, ccks=18015, wck=58.822, mem=216M512
67.21/61.69 decisions=90206, wrong=39930, backtracks=23149, failedAssignments=20613, nogoods=718, foundSolutions=15, bestBound=31658
67.21/61.69 nFilterCalls=14043434, avgTableProportion=0.9995918367063474, avgTableSize=2449.0
67.21/61.69
68.72/63.15 num=158, depth=48..54, filters=10477473, ccks=18015, wck=60.283, mem=216M512
68.72/63.15 decisions=97810, wrong=43706, backtracks=25311, failedAssignments=22503, nogoods=728, foundSolutions=15, bestBound=31658
68.72/63.15 nFilterCalls=14731332, avgTableProportion=0.999591836706322, avgTableSize=2449.0
68.72/63.15
70.53/65.00 num=159, depth=46..55, filters=11337955, ccks=18015, wck=62.129, mem=216M512
70.53/65.00 decisions=106183, wrong=47868, backtracks=27756, failedAssignments=24582, nogoods=741, foundSolutions=15, bestBound=31658
70.53/65.00 nFilterCalls=15650489, avgTableProportion=0.9995918367062916, avgTableSize=2449.0
70.53/65.00
70.83/65.25 o 31656
70.93/65.34 num=160, depth=54..1248, filters=11355217, ccks=19216, wck=62.465, mem=219M103
70.93/65.34 decisions=106256, wrong=47877, backtracks=27760, failedAssignments=24587, nogoods=744, foundSolutions=16, bestBound=31656
70.93/65.34 nFilterCalls=15692174, avgTableProportion=0.9995918367062903, avgTableSize=2449.0
70.93/65.34
73.13/67.58 num=161, depth=49..57, filters=12379497, ccks=19216, wck=64.71, mem=219M103
73.13/67.58 decisions=115785, wrong=52615, backtracks=30683, failedAssignments=27103, nogoods=761, foundSolutions=16, bestBound=31656
73.13/67.58 nFilterCalls=16782210, avgTableProportion=0.9995918367062587, avgTableSize=2449.0
73.13/67.58
73.43/67.84 num=162, depth=54..57, filters=12399419, ccks=19216, wck=64.973, mem=219M103
73.43/67.84 decisions=115883, wrong=52637, backtracks=30694, failedAssignments=27114, nogoods=766, foundSolutions=16, bestBound=31656
73.43/67.84 nFilterCalls=16826195, avgTableProportion=0.9995918367109211, avgTableSize=2449.0
73.43/67.84
73.74/68.12 num=163, depth=58..63, filters=12419412, ccks=19216, wck=65.248, mem=219M103
73.74/68.12 decisions=115989, wrong=52661, backtracks=30710, failedAssignments=27126, nogoods=767, foundSolutions=16, bestBound=31656
73.74/68.12 nFilterCalls=16872119, avgTableProportion=0.9995918367159772, avgTableSize=2449.0
73.74/68.12
73.93/68.39 num=164, depth=56..58, filters=12438160, ccks=19216, wck=65.518, mem=219M103
73.93/68.39 decisions=116085, wrong=52681, backtracks=30720, failedAssignments=27139, nogoods=772, foundSolutions=16, bestBound=31656
73.93/68.39 nFilterCalls=16916703, avgTableProportion=0.9995918367208594, avgTableSize=2449.0
73.93/68.39
74.23/68.66 num=165, depth=56..58, filters=12457278, ccks=19216, wck=65.789, mem=219M103
74.23/68.66 decisions=116185, wrong=52703, backtracks=30731, failedAssignments=27153, nogoods=778, foundSolutions=16, bestBound=31656
74.23/68.66 nFilterCalls=16961652, avgTableProportion=0.9995918367257555, avgTableSize=2449.0
74.23/68.66
74.54/68.94 num=166, depth=57..62, filters=12478703, ccks=19216, wck=66.064, mem=219M103
74.54/68.94 decisions=116306, wrong=52734, backtracks=30751, failedAssignments=27169, nogoods=783, foundSolutions=16, bestBound=31656
74.54/68.94 nFilterCalls=17009055, avgTableProportion=0.9995918367308909, avgTableSize=2449.0
74.54/68.94
74.84/69.21 num=167, depth=55..59, filters=12499008, ccks=19216, wck=66.34, mem=219M103
74.84/69.21 decisions=116419, wrong=52762, backtracks=30765, failedAssignments=27186, nogoods=787, foundSolutions=16, bestBound=31656
74.84/69.21 nFilterCalls=17055286, avgTableProportion=0.9995918367358719, avgTableSize=2449.0
74.84/69.21
75.04/69.48 num=168, depth=55..59, filters=12519678, ccks=19216, wck=66.613, mem=219M103
75.04/69.48 decisions=116535, wrong=52792, backtracks=30782, failedAssignments=27205, nogoods=789, foundSolutions=16, bestBound=31656
75.04/69.48 nFilterCalls=17101878, avgTableProportion=0.9995918367408646, avgTableSize=2449.0
75.04/69.48
75.34/69.76 num=169, depth=55..59, filters=12542509, ccks=19216, wck=66.891, mem=219M103
75.34/69.76 decisions=116670, wrong=52832, backtracks=30805, failedAssignments=27226, nogoods=794, foundSolutions=16, bestBound=31656
75.34/69.76 nFilterCalls=17150785, avgTableProportion=0.9995918367460761, avgTableSize=2449.0
75.34/69.76
75.65/70.04 num=170, depth=54..58, filters=12566960, ccks=19216, wck=67.165, mem=219M103
75.65/70.04 decisions=116816, wrong=52878, backtracks=30829, failedAssignments=27249, nogoods=800, foundSolutions=16, bestBound=31656
75.65/70.04 nFilterCalls=17199851, avgTableProportion=0.9995918367512748, avgTableSize=2449.0
75.65/70.04
75.94/70.32 num=171, depth=54..60, filters=12590848, ccks=19216, wck=67.447, mem=219M103
75.94/70.32 decisions=116966, wrong=52926, backtracks=30858, failedAssignments=27274, nogoods=801, foundSolutions=16, bestBound=31656
75.94/70.32 nFilterCalls=17250732, avgTableProportion=0.9995918367566345, avgTableSize=2449.0
75.94/70.32
76.24/70.60 num=172, depth=54..58, filters=12615554, ccks=19216, wck=67.729, mem=219M103
76.24/70.60 decisions=117126, wrong=52978, backtracks=30888, failedAssignments=27302, nogoods=804, foundSolutions=16, bestBound=31656
76.24/70.60 nFilterCalls=17302564, avgTableProportion=0.9995918367620621, avgTableSize=2449.0
76.24/70.60
76.44/70.88 num=173, depth=53..58, filters=12641731, ccks=19216, wck=68.014, mem=219M103
76.44/70.88 decisions=117297, wrong=53036, backtracks=30921, failedAssignments=27333, nogoods=808, foundSolutions=16, bestBound=31656
76.44/70.88 nFilterCalls=17355872, avgTableProportion=0.9995918367676103, avgTableSize=2449.0
76.44/70.88
76.75/71.17 num=174, depth=56..61, filters=12670085, ccks=19216, wck=68.303, mem=219M103
76.75/71.17 decisions=117491, wrong=53104, backtracks=30959, failedAssignments=27367, nogoods=812, foundSolutions=16, bestBound=31656
76.75/71.17 nFilterCalls=17410893, avgTableProportion=0.9995918367733012, avgTableSize=2449.0
76.75/71.17
77.04/71.46 num=175, depth=56..60, filters=12698947, ccks=19216, wck=68.59, mem=219M103
77.04/71.46 decisions=117692, wrong=53176, backtracks=30999, failedAssignments=27404, nogoods=816, foundSolutions=16, bestBound=31656
77.04/71.46 nFilterCalls=17466407, avgTableProportion=0.9995918367790068, avgTableSize=2449.0
77.04/71.46
77.34/71.75 num=176, depth=55..61, filters=12728697, ccks=19216, wck=68.881, mem=219M103
77.34/71.75 decisions=117899, wrong=53252, backtracks=31044, failedAssignments=27445, nogoods=818, foundSolutions=16, bestBound=31656
77.34/71.75 nFilterCalls=17522954, avgTableProportion=0.9995918367847814, avgTableSize=2449.0
77.34/71.75
77.65/72.05 num=177, depth=54..59, filters=12760534, ccks=19216, wck=69.177, mem=219M103
77.65/72.05 decisions=118130, wrong=53340, backtracks=31090, failedAssignments=27490, nogoods=824, foundSolutions=16, bestBound=31656
77.65/72.05 nFilterCalls=17581697, avgTableProportion=0.9995918367907409, avgTableSize=2449.0
77.65/72.05
77.95/72.34 num=178, depth=50..55, filters=12793403, ccks=19216, wck=69.468, mem=219M103
77.95/72.34 decisions=118369, wrong=53434, backtracks=31144, failedAssignments=27540, nogoods=830, foundSolutions=16, bestBound=31656
77.95/72.34 nFilterCalls=17639490, avgTableProportion=0.9995918367965653, avgTableSize=2449.0
77.95/72.34
78.25/72.64 num=179, depth=55..59, filters=12828810, ccks=19216, wck=69.771, mem=219M103
78.25/72.64 decisions=118624, wrong=53533, backtracks=31201, failedAssignments=27595, nogoods=837, foundSolutions=16, bestBound=31656
78.25/72.64 nFilterCalls=17701633, avgTableProportion=0.9995918368027856, avgTableSize=2449.0
78.25/72.64
78.55/72.90 o 31637
78.55/72.98 num=180, depth=59..1248, filters=12846258, ccks=20417, wck=70.111, mem=219M103
78.55/72.98 decisions=118710, wrong=53546, backtracks=31208, failedAssignments=27602, nogoods=839, foundSolutions=17, bestBound=31637
78.55/72.98 nFilterCalls=17745237, avgTableProportion=0.9995918368071243, avgTableSize=2449.0
78.55/72.98
78.95/73.30 num=181, depth=53..58, filters=12888513, ccks=20417, wck=70.426, mem=219M103
78.95/73.30 decisions=119033, wrong=53680, backtracks=31280, failedAssignments=27669, nogoods=843, foundSolutions=17, bestBound=31637
78.95/73.30 nFilterCalls=17813396, avgTableProportion=0.9995918368138635, avgTableSize=2449.0
78.95/73.30
79.15/73.57 num=182, depth=56..59, filters=12906715, ccks=20417, wck=70.694, mem=219M103
79.15/73.57 decisions=119129, wrong=53700, backtracks=31291, failedAssignments=27680, nogoods=847, foundSolutions=17, bestBound=31637
79.15/73.57 nFilterCalls=17858087, avgTableProportion=0.9995918368182545, avgTableSize=2449.0
79.15/73.57
79.45/73.83 num=183, depth=55..59, filters=12925669, ccks=20417, wck=70.962, mem=219M103
79.45/73.83 decisions=119232, wrong=53724, backtracks=31306, failedAssignments=27692, nogoods=848, foundSolutions=17, bestBound=31637
79.45/73.83 nFilterCalls=17903538, avgTableProportion=0.9995918368226977, avgTableSize=2449.0
79.45/73.83
79.66/74.10 num=184, depth=55..59, filters=12944573, ccks=20417, wck=71.229, mem=219M103
79.66/74.10 decisions=119335, wrong=53748, backtracks=31320, failedAssignments=27705, nogoods=849, foundSolutions=17, bestBound=31637
79.66/74.10 nFilterCalls=17948973, avgTableProportion=0.9995918368271167, avgTableSize=2449.0
79.66/74.10
79.95/74.37 num=185, depth=55..59, filters=12964481, ccks=20417, wck=71.499, mem=219M103
79.95/74.37 decisions=119447, wrong=53775, backtracks=31336, failedAssignments=27719, nogoods=852, foundSolutions=17, bestBound=31637
79.95/74.37 nFilterCalls=17995407, avgTableProportion=0.9995918368316099, avgTableSize=2449.0
79.95/74.37
80.25/74.64 num=186, depth=57..61, filters=12984906, ccks=20417, wck=71.771, mem=219M103
80.25/74.64 decisions=119565, wrong=53805, backtracks=31352, failedAssignments=27735, nogoods=854, foundSolutions=17, bestBound=31637
80.25/74.64 nFilterCalls=18042395, avgTableProportion=0.9995918368361332, avgTableSize=2449.0
80.25/74.64
80.55/74.91 num=187, depth=51..55, filters=13007044, ccks=20417, wck=72.036, mem=219M103
80.55/74.91 decisions=119686, wrong=53839, backtracks=31373, failedAssignments=27752, nogoods=858, foundSolutions=17, bestBound=31637
80.55/74.91 nFilterCalls=18088699, avgTableProportion=0.9995918368405676, avgTableSize=2449.0
80.55/74.91
80.76/75.18 num=188, depth=57..61, filters=13028660, ccks=20417, wck=72.312, mem=219M103
80.76/75.18 decisions=119814, wrong=53874, backtracks=31393, failedAssignments=27771, nogoods=862, foundSolutions=17, bestBound=31637
80.76/75.18 nFilterCalls=18136836, avgTableProportion=0.9995918368451536, avgTableSize=2449.0
80.76/75.18
81.05/75.44 o 31623
81.17/75.52 num=189, depth=59..1248, filters=13045661, ccks=21618, wck=72.651, mem=221M693
81.17/75.52 decisions=119895, wrong=53885, backtracks=31398, failedAssignments=27777, nogoods=866, foundSolutions=18, bestBound=31623
81.17/75.52 nFilterCalls=18179989, avgTableProportion=0.9995918368492441, avgTableSize=2449.0
81.17/75.52
81.47/75.81 num=190, depth=56..61, filters=13070983, ccks=21618, wck=72.937, mem=221M693
81.47/75.81 decisions=120041, wrong=53929, backtracks=31425, failedAssignments=27800, nogoods=869, foundSolutions=18, bestBound=31623
81.47/75.81 nFilterCalls=18230588, avgTableProportion=0.9995918368540158, avgTableSize=2449.0
81.47/75.81
81.68/76.08 num=191, depth=57..61, filters=13090015, ccks=21618, wck=73.208, mem=221M693
81.68/76.08 decisions=120142, wrong=53951, backtracks=31439, failedAssignments=27811, nogoods=870, foundSolutions=18, bestBound=31623
81.68/76.08 nFilterCalls=18276064, avgTableProportion=0.9995918368582818, avgTableSize=2449.0
81.68/76.08
81.97/76.35 num=192, depth=56..59, filters=13108282, ccks=21618, wck=73.475, mem=221M693
81.97/76.35 decisions=120238, wrong=53971, backtracks=31451, failedAssignments=27823, nogoods=874, foundSolutions=18, bestBound=31623
81.97/76.35 nFilterCalls=18320858, avgTableProportion=0.9995918368624631, avgTableSize=2449.0
81.97/76.35
82.27/76.62 num=193, depth=59..62, filters=13127447, ccks=21618, wck=73.745, mem=221M693
82.27/76.62 decisions=120341, wrong=53993, backtracks=31462, failedAssignments=27836, nogoods=880, foundSolutions=18, bestBound=31623
82.27/76.62 nFilterCalls=18366223, avgTableProportion=0.999591836866677, avgTableSize=2449.0
82.27/76.62
82.47/76.88 num=194, depth=54..59, filters=13147325, ccks=21618, wck=74.014, mem=221M693
82.47/76.88 decisions=120451, wrong=54021, backtracks=31478, failedAssignments=27850, nogoods=881, foundSolutions=18, bestBound=31623
82.47/76.88 nFilterCalls=18412671, avgTableProportion=0.9995918368709699, avgTableSize=2449.0
82.47/76.88
82.78/77.16 num=195, depth=57..61, filters=13168083, ccks=21618, wck=74.287, mem=221M693
82.78/77.16 decisions=120574, wrong=54053, backtracks=31495, failedAssignments=27866, nogoods=884, foundSolutions=18, bestBound=31623
82.78/77.16 nFilterCalls=18459740, avgTableProportion=0.9995918368752981, avgTableSize=2449.0
82.78/77.16
83.07/77.43 num=196, depth=55..59, filters=13188927, ccks=21618, wck=74.56, mem=221M693
83.07/77.43 decisions=120694, wrong=54085, backtracks=31513, failedAssignments=27883, nogoods=887, foundSolutions=18, bestBound=31623
83.07/77.43 nFilterCalls=18506784, avgTableProportion=0.9995918368796021, avgTableSize=2449.0
83.07/77.43
83.37/77.70 num=197, depth=53..59, filters=13211073, ccks=21618, wck=74.829, mem=221M693
83.37/77.70 decisions=120820, wrong=54121, backtracks=31533, failedAssignments=27902, nogoods=890, foundSolutions=18, bestBound=31623
83.37/77.70 nFilterCalls=18553865, avgTableProportion=0.9995918368838875, avgTableSize=2449.0
83.37/77.70
83.57/77.98 num=198, depth=55..59, filters=13233700, ccks=21618, wck=75.105, mem=221M693
83.57/77.98 decisions=120961, wrong=54163, backtracks=31555, failedAssignments=27923, nogoods=895, foundSolutions=18, bestBound=31623
83.57/77.98 nFilterCalls=18603228, avgTableProportion=0.9995918368883575, avgTableSize=2449.0
83.57/77.98
83.87/78.25 num=199, depth=54..59, filters=13255967, ccks=21618, wck=75.38, mem=221M693
83.87/78.25 decisions=121099, wrong=54205, backtracks=31583, failedAssignments=27946, nogoods=897, foundSolutions=18, bestBound=31623
83.87/78.25 nFilterCalls=18652000, avgTableProportion=0.9995918368927507, avgTableSize=2449.0
83.87/78.25
84.17/78.53 num=200, depth=57..61, filters=13280362, ccks=21618, wck=75.66, mem=221M693
84.17/78.53 decisions=121258, wrong=54255, backtracks=31611, failedAssignments=27971, nogoods=900, foundSolutions=18, bestBound=31623
84.17/78.53 nFilterCalls=18703210, avgTableProportion=0.9995918368973388, avgTableSize=2449.0
84.17/78.53
84.47/78.81 num=201, depth=57..61, filters=13305172, ccks=21618, wck=75.94, mem=221M693
84.47/78.81 decisions=121429, wrong=54311, backtracks=31641, failedAssignments=27999, nogoods=904, foundSolutions=18, bestBound=31623
84.47/78.81 nFilterCalls=18754435, avgTableProportion=0.9995918369019031, avgTableSize=2449.0
84.47/78.81
84.68/79.09 num=202, depth=54..59, filters=13330751, ccks=21618, wck=76.223, mem=221M693
84.68/79.09 decisions=121595, wrong=54366, backtracks=31673, failedAssignments=28030, nogoods=910, foundSolutions=18, bestBound=31623
84.68/79.09 nFilterCalls=18806116, avgTableProportion=0.999591836906483, avgTableSize=2449.0
84.68/79.09
84.97/79.38 num=203, depth=57..60, filters=13358997, ccks=21618, wck=76.511, mem=221M693
84.97/79.38 decisions=121790, wrong=54434, backtracks=31710, failedAssignments=28064, nogoods=914, foundSolutions=18, bestBound=31623
84.97/79.38 nFilterCalls=18860842, avgTableProportion=0.9995918369113053, avgTableSize=2449.0
84.97/79.38
85.27/79.67 num=204, depth=58..62, filters=13386834, ccks=21618, wck=76.797, mem=221M693
85.27/79.67 decisions=121981, wrong=54500, backtracks=31748, failedAssignments=28101, nogoods=920, foundSolutions=18, bestBound=31623
85.27/79.67 nFilterCalls=18915235, avgTableProportion=0.9995918369160706, avgTableSize=2449.0
85.27/79.67
85.58/79.96 num=205, depth=57..61, filters=13417899, ccks=21618, wck=77.091, mem=221M693
85.58/79.96 decisions=122205, wrong=54583, backtracks=31796, failedAssignments=28142, nogoods=925, foundSolutions=18, bestBound=31623
85.58/79.96 nFilterCalls=18972679, avgTableProportion=0.9995918369210736, avgTableSize=2449.0
85.58/79.96
85.91/80.25 num=206, depth=57..62, filters=13448538, ccks=21618, wck=77.384, mem=221M693
85.91/80.25 decisions=122427, wrong=54665, backtracks=31843, failedAssignments=28187, nogoods=929, foundSolutions=18, bestBound=31623
85.91/80.25 nFilterCalls=19029983, avgTableProportion=0.9995918369260343, avgTableSize=2449.0
85.91/80.25
86.21/80.55 num=207, depth=57..60, filters=13482889, ccks=21618, wck=77.683, mem=221M693
86.21/80.55 decisions=122685, wrong=54765, backtracks=31896, failedAssignments=28237, nogoods=937, foundSolutions=18, bestBound=31623
86.21/80.55 nFilterCalls=19091096, avgTableProportion=0.9995918369312918, avgTableSize=2449.0
86.21/80.55
86.51/80.86 num=208, depth=57..63, filters=13519276, ccks=21618, wck=77.984, mem=221M693
86.51/80.86 decisions=122963, wrong=54875, backtracks=31958, failedAssignments=28292, nogoods=945, foundSolutions=18, bestBound=31623
86.51/80.86 nFilterCalls=19154388, avgTableProportion=0.9995918369367015, avgTableSize=2449.0
86.51/80.86
86.82/81.16 num=209, depth=56..60, filters=13557458, ccks=21618, wck=78.291, mem=221M693
86.82/81.16 decisions=123246, wrong=54988, backtracks=32019, failedAssignments=28353, nogoods=955, foundSolutions=18, bestBound=31623
86.82/81.16 nFilterCalls=19218929, avgTableProportion=0.9995918369421812, avgTableSize=2449.0
86.82/81.16
87.11/81.47 num=210, depth=56..62, filters=13597613, ccks=21618, wck=78.6, mem=221M693
87.11/81.47 decisions=123562, wrong=55116, backtracks=32094, failedAssignments=28420, nogoods=958, foundSolutions=18, bestBound=31623
87.11/81.47 nFilterCalls=19286023, avgTableProportion=0.9995918369478388, avgTableSize=2449.0
87.11/81.47
87.42/81.78 num=211, depth=56..61, filters=13639603, ccks=21618, wck=78.913, mem=221M693
87.42/81.78 decisions=123905, wrong=55258, backtracks=32174, failedAssignments=28494, nogoods=964, foundSolutions=18, bestBound=31623
87.42/81.78 nFilterCalls=19355321, avgTableProportion=0.9995918369536411, avgTableSize=2449.0
87.42/81.78
87.72/82.10 num=212, depth=56..62, filters=13686057, ccks=21618, wck=79.232, mem=221M693
87.72/82.10 decisions=124283, wrong=55418, backtracks=32265, failedAssignments=28575, nogoods=969, foundSolutions=18, bestBound=31623
87.72/82.10 nFilterCalls=19429067, avgTableProportion=0.9995918369597704, avgTableSize=2449.0
87.72/82.10
88.12/82.43 num=213, depth=51..56, filters=13734750, ccks=21618, wck=79.555, mem=221M693
88.12/82.43 decisions=124692, wrong=55596, backtracks=32367, failedAssignments=28664, nogoods=974, foundSolutions=18, bestBound=31623
88.12/82.43 nFilterCalls=19505944, avgTableProportion=0.9995918369661104, avgTableSize=2449.0
88.12/82.43
88.42/82.75 num=214, depth=51..57, filters=13784751, ccks=21618, wck=79.882, mem=221M693
88.42/82.75 decisions=125101, wrong=55774, backtracks=32472, failedAssignments=28762, nogoods=980, foundSolutions=18, bestBound=31623
88.42/82.75 nFilterCalls=19582978, avgTableProportion=0.9995918369724136, avgTableSize=2449.0
88.42/82.75
88.75/83.09 num=215, depth=55..63, filters=13842097, ccks=21618, wck=80.223, mem=221M693
88.75/83.09 decisions=125591, wrong=55991, backtracks=32598, failedAssignments=28870, nogoods=986, foundSolutions=18, bestBound=31623
88.75/83.09 nFilterCalls=19668049, avgTableProportion=0.999591836979317, avgTableSize=2449.0
88.75/83.09
89.14/83.44 num=216, depth=51..57, filters=13901727, ccks=21618, wck=80.568, mem=221M693
89.14/83.44 decisions=126079, wrong=56209, backtracks=32727, failedAssignments=28989, nogoods=993, foundSolutions=18, bestBound=31623
89.14/83.44 nFilterCalls=19755145, avgTableProportion=0.9995918369863231, avgTableSize=2449.0
89.14/83.44
89.44/83.79 num=217, depth=55..64, filters=13967286, ccks=21618, wck=80.923, mem=221M693
89.44/83.79 decisions=126650, wrong=56465, backtracks=32873, failedAssignments=29120, nogoods=998, foundSolutions=18, bestBound=31623
89.44/83.79 nFilterCalls=19848248, avgTableProportion=0.9995918369937445, avgTableSize=2449.0
89.44/83.79
89.85/84.16 num=218, depth=55..61, filters=14037045, ccks=21618, wck=81.285, mem=221M693
89.85/84.16 decisions=127271, wrong=56747, backtracks=33036, failedAssignments=29264, nogoods=1005, foundSolutions=18, bestBound=31623
89.85/84.16 nFilterCalls=19946016, avgTableProportion=0.9995918370014631, avgTableSize=2449.0
89.85/84.16
90.25/84.53 num=219, depth=57..64, filters=14114157, ccks=21618, wck=81.66, mem=221M693
90.25/84.53 decisions=127951, wrong=57057, backtracks=33222, failedAssignments=29422, nogoods=1011, foundSolutions=18, bestBound=31623
90.25/84.53 nFilterCalls=20051067, avgTableProportion=0.9995918370096728, avgTableSize=2449.0
90.25/84.53
90.45/84.79 o 31595
90.55/84.88 num=220, depth=56..1248, filters=14134420, ccks=22819, wck=82.005, mem=221M693
90.55/84.88 decisions=128063, wrong=57083, backtracks=33235, failedAssignments=29437, nogoods=1013, foundSolutions=19, bestBound=31595
90.55/84.88 nFilterCalls=20097642, avgTableProportion=0.9995918370132851, avgTableSize=2449.0
90.55/84.88
90.95/85.28 num=221, depth=52..59, filters=14220525, ccks=22819, wck=82.405, mem=221M693
90.95/85.28 decisions=128863, wrong=57456, backtracks=33452, failedAssignments=29628, nogoods=1022, foundSolutions=19, bestBound=31595
90.95/85.28 nFilterCalls=20211393, avgTableProportion=0.9995918370220378, avgTableSize=2449.0
90.95/85.28
91.25/85.55 num=222, depth=60..63, filters=14239666, ccks=22819, wck=82.675, mem=221M693
91.25/85.55 decisions=128963, wrong=57476, backtracks=33462, failedAssignments=29639, nogoods=1026, foundSolutions=19, bestBound=31595
91.25/85.55 nFilterCalls=20256422, avgTableProportion=0.9995918370254754, avgTableSize=2449.0
91.25/85.55
91.55/85.81 num=223, depth=53..58, filters=14258953, ccks=22819, wck=82.944, mem=221M693
91.55/85.81 decisions=129064, wrong=57500, backtracks=33476, failedAssignments=29651, nogoods=1027, foundSolutions=19, bestBound=31595
91.55/85.81 nFilterCalls=20301722, avgTableProportion=0.9995918370289182, avgTableSize=2449.0
91.55/85.81
91.76/86.09 num=224, depth=58..62, filters=14279247, ccks=22819, wck=83.215, mem=221M693
91.76/86.09 decisions=129176, wrong=57526, backtracks=33490, failedAssignments=29664, nogoods=1029, foundSolutions=19, bestBound=31595
91.76/86.09 nFilterCalls=20348003, avgTableProportion=0.9995918370324198, avgTableSize=2449.0
91.76/86.09
92.05/86.36 num=225, depth=57..61, filters=14299642, ccks=22819, wck=83.487, mem=221M693
92.05/86.36 decisions=129291, wrong=57554, backtracks=33506, failedAssignments=29678, nogoods=1032, foundSolutions=19, bestBound=31595
92.05/86.36 nFilterCalls=20394758, avgTableProportion=0.9995918370359412, avgTableSize=2449.0
92.05/86.36
92.35/86.63 num=226, depth=53..57, filters=14321009, ccks=22819, wck=83.76, mem=221M693
92.35/86.63 decisions=129409, wrong=57586, backtracks=33523, failedAssignments=29694, nogoods=1035, foundSolutions=19, bestBound=31595
92.35/86.63 nFilterCalls=20442058, avgTableProportion=0.9995918370394872, avgTableSize=2449.0
92.35/86.63
92.66/86.90 num=227, depth=59..63, filters=14342093, ccks=22819, wck=84.033, mem=221M693
92.66/86.90 decisions=129528, wrong=57616, backtracks=33538, failedAssignments=29711, nogoods=1037, foundSolutions=19, bestBound=31595
92.66/86.90 nFilterCalls=20489099, avgTableProportion=0.9995918370429976, avgTableSize=2449.0
92.66/86.90
92.87/87.16 o 31593
92.97/87.24 num=228, depth=1250..1248, filters=14357156, ccks=24020, wck=84.369, mem=224M294
92.97/87.24 decisions=129589, wrong=57616, backtracks=33538, failedAssignments=29711, nogoods=1037, foundSolutions=20, bestBound=31593
92.97/87.24 nFilterCalls=20530345, avgTableProportion=0.9995918370460622, avgTableSize=2449.0
92.97/87.24
93.27/87.52 num=229, depth=54..58, filters=14379890, ccks=24020, wck=84.65, mem=224M294
93.27/87.52 decisions=129728, wrong=57658, backtracks=33560, failedAssignments=29732, nogoods=1042, foundSolutions=20, bestBound=31593
93.27/87.52 nFilterCalls=20578692, avgTableProportion=0.9995918370496388, avgTableSize=2449.0
93.27/87.52
93.47/87.79 num=230, depth=60..63, filters=14399021, ccks=24020, wck=84.921, mem=224M294
93.47/87.79 decisions=129828, wrong=57678, backtracks=33570, failedAssignments=29743, nogoods=1046, foundSolutions=20, bestBound=31593
93.47/87.79 nFilterCalls=20623706, avgTableProportion=0.9995918370529538, avgTableSize=2449.0
93.47/87.79
93.77/88.06 num=231, depth=58..61, filters=14418693, ccks=24020, wck=85.191, mem=224M294
93.77/88.06 decisions=129934, wrong=57702, backtracks=33583, failedAssignments=29755, nogoods=1047, foundSolutions=20, bestBound=31593
93.77/88.06 nFilterCalls=20669332, avgTableProportion=0.9995918370562993, avgTableSize=2449.0
93.77/88.06
94.07/88.33 num=232, depth=58..62, filters=14438641, ccks=24020, wck=85.463, mem=224M294
94.07/88.33 decisions=130045, wrong=57728, backtracks=33597, failedAssignments=29768, nogoods=1049, foundSolutions=20, bestBound=31593
94.07/88.33 nFilterCalls=20715649, avgTableProportion=0.9995918370596801, avgTableSize=2449.0
94.07/88.33
94.37/88.60 num=233, depth=59..63, filters=14458606, ccks=24020, wck=85.733, mem=224M294
94.37/88.60 decisions=130152, wrong=57752, backtracks=33609, failedAssignments=29782, nogoods=1050, foundSolutions=20, bestBound=31593
94.37/88.60 nFilterCalls=20761528, avgTableProportion=0.9995918370630142, avgTableSize=2449.0
94.37/88.60
94.57/88.88 num=234, depth=53..57, filters=14480024, ccks=24020, wck=86.006, mem=224M294
94.57/88.88 decisions=130271, wrong=57784, backtracks=33626, failedAssignments=29798, nogoods=1053, foundSolutions=20, bestBound=31593
94.57/88.88 nFilterCalls=20808894, avgTableProportion=0.999591837066441, avgTableSize=2449.0
94.57/88.88
94.88/89.15 num=235, depth=59..63, filters=14501192, ccks=24020, wck=86.28, mem=224M294
94.88/89.15 decisions=130390, wrong=57814, backtracks=33641, failedAssignments=29815, nogoods=1055, foundSolutions=20, bestBound=31593
94.88/89.15 nFilterCalls=20856020, avgTableProportion=0.9995918370698349, avgTableSize=2449.0
94.88/89.15
95.18/89.43 num=236, depth=59..64, filters=14523663, ccks=24020, wck=86.556, mem=224M294
95.18/89.43 decisions=130527, wrong=57852, backtracks=33661, failedAssignments=29834, nogoods=1059, foundSolutions=20, bestBound=31593
95.18/89.43 nFilterCalls=20904944, avgTableProportion=0.9995918370733421, avgTableSize=2449.0
95.18/89.43
95.49/89.70 num=237, depth=58..62, filters=14546459, ccks=24020, wck=86.833, mem=224M294
95.49/89.70 decisions=130670, wrong=57894, backtracks=33685, failedAssignments=29855, nogoods=1064, foundSolutions=20, bestBound=31593
95.49/89.70 nFilterCalls=20954375, avgTableProportion=0.999591837076869, avgTableSize=2449.0
95.49/89.70
95.69/89.98 num=238, depth=53..58, filters=14569894, ccks=24020, wck=87.109, mem=224M294
95.69/89.98 decisions=130807, wrong=57936, backtracks=33709, failedAssignments=29878, nogoods=1068, foundSolutions=20, bestBound=31593
95.69/89.98 nFilterCalls=21003822, avgTableProportion=0.9995918370803805, avgTableSize=2449.0
95.69/89.98
95.99/90.26 num=239, depth=59..63, filters=14594920, ccks=24020, wck=87.391, mem=224M294
95.99/90.26 decisions=130967, wrong=57986, backtracks=33736, failedAssignments=29903, nogoods=1070, foundSolutions=20, bestBound=31593
95.99/90.26 nFilterCalls=21054998, avgTableProportion=0.9995918370839973, avgTableSize=2449.0
95.99/90.26
96.29/90.54 num=240, depth=58..62, filters=14620824, ccks=24020, wck=87.673, mem=224M294
96.29/90.54 decisions=131139, wrong=58042, backtracks=33766, failedAssignments=29931, nogoods=1074, foundSolutions=20, bestBound=31593
96.29/90.54 nFilterCalls=21107338, avgTableProportion=0.9995918370876784, avgTableSize=2449.0
96.29/90.54
96.59/90.83 num=241, depth=53..59, filters=14645407, ccks=24020, wck=87.955, mem=224M294
96.59/90.83 decisions=131312, wrong=58102, backtracks=33801, failedAssignments=29962, nogoods=1076, foundSolutions=20, bestBound=31593
96.59/90.83 nFilterCalls=21158075, avgTableProportion=0.9995918370912292, avgTableSize=2449.0
96.59/90.83
96.90/91.11 num=242, depth=54..59, filters=14672516, ccks=24020, wck=88.238, mem=224M294
96.90/91.11 decisions=131504, wrong=58170, backtracks=33840, failedAssignments=29996, nogoods=1080, foundSolutions=20, bestBound=31593
96.90/91.11 nFilterCalls=21211085, avgTableProportion=0.999591837094921, avgTableSize=2449.0
96.90/91.11
97.19/91.40 num=243, depth=55..60, filters=14701295, ccks=24020, wck=88.527, mem=224M294
97.19/91.40 decisions=131709, wrong=58244, backtracks=33882, failedAssignments=30033, nogoods=1085, foundSolutions=20, bestBound=31593
97.19/91.40 nFilterCalls=21265840, avgTableProportion=0.9995918370987151, avgTableSize=2449.0
97.19/91.40
97.39/91.69 num=244, depth=54..60, filters=14729824, ccks=24020, wck=88.815, mem=224M294
97.39/91.69 decisions=131924, wrong=58324, backtracks=33926, failedAssignments=30074, nogoods=1091, foundSolutions=20, bestBound=31593
97.39/91.69 nFilterCalls=21320776, avgTableProportion=0.9995918371025021, avgTableSize=2449.0
97.39/91.69
97.69/91.97 num=245, depth=51..57, filters=14759073, ccks=24020, wck=89.103, mem=224M294
97.69/91.97 decisions=132148, wrong=58410, backtracks=33975, failedAssignments=30119, nogoods=1095, foundSolutions=20, bestBound=31593
97.69/91.97 nFilterCalls=21376054, avgTableProportion=0.999591837106293, avgTableSize=2449.0
97.69/91.97
97.99/92.27 num=246, depth=55..62, filters=14792784, ccks=24020, wck=89.4, mem=224M294
97.99/92.27 decisions=132404, wrong=58510, backtracks=34031, failedAssignments=30169, nogoods=1097, foundSolutions=20, bestBound=31593
97.99/92.27 nFilterCalls=21436198, avgTableProportion=0.9995918371103955, avgTableSize=2449.0
97.99/92.27
98.33/92.57 num=247, depth=52..59, filters=14825808, ccks=24020, wck=89.698, mem=224M294
98.33/92.57 decisions=132677, wrong=58620, backtracks=34093, failedAssignments=30224, nogoods=1101, foundSolutions=20, bestBound=31593
98.33/92.57 nFilterCalls=21495589, avgTableProportion=0.9995918371144239, avgTableSize=2449.0
98.33/92.57
98.63/92.87 num=248, depth=54..62, filters=14863764, ccks=24020, wck=90.003, mem=224M294
98.63/92.87 decisions=132978, wrong=58742, backtracks=34161, failedAssignments=30285, nogoods=1103, foundSolutions=20, bestBound=31593
98.63/92.87 nFilterCalls=21560175, avgTableProportion=0.9995918371187796, avgTableSize=2449.0
98.63/92.87
98.94/93.18 num=249, depth=51..59, filters=14902777, ccks=24020, wck=90.312, mem=224M294
98.94/93.18 decisions=133295, wrong=58874, backtracks=34238, failedAssignments=30352, nogoods=1105, foundSolutions=20, bestBound=31593
98.94/93.18 nFilterCalls=21625844, avgTableProportion=0.9995918371231817, avgTableSize=2449.0
98.94/93.18
99.33/93.50 num=250, depth=55..63, filters=14946184, ccks=24020, wck=90.627, mem=224M294
99.33/93.50 decisions=133645, wrong=59020, backtracks=34320, failedAssignments=30426, nogoods=1108, foundSolutions=20, bestBound=31593
99.33/93.50 nFilterCalls=21696092, avgTableProportion=0.9995918371278611, avgTableSize=2449.0
99.33/93.50
99.64/93.82 num=251, depth=54..59, filters=14992446, ccks=24020, wck=90.947, mem=224M294
99.64/93.82 decisions=134009, wrong=59174, backtracks=34411, failedAssignments=30507, nogoods=1113, foundSolutions=20, bestBound=31593
99.64/93.82 nFilterCalls=21769119, avgTableProportion=0.9995918371326938, avgTableSize=2449.0
99.64/93.82
99.95/94.13 num=252, depth=56..61, filters=15035363, ccks=24020, wck=91.264, mem=224M294
99.95/94.13 decisions=134391, wrong=59336, backtracks=34503, failedAssignments=30596, nogoods=1117, foundSolutions=20, bestBound=31593
99.95/94.13 nFilterCalls=21839461, avgTableProportion=0.9995918371373181, avgTableSize=2449.0
99.95/94.13
100.24/94.47 num=253, depth=52..58, filters=15087388, ccks=24020, wck=91.595, mem=224M294
100.24/94.47 decisions=134821, wrong=59524, backtracks=34610, failedAssignments=30694, nogoods=1124, foundSolutions=20, bestBound=31593
100.24/94.47 nFilterCalls=21918746, avgTableProportion=0.9995918371424949, avgTableSize=2449.0
100.24/94.47
100.54/94.73 o 31581
100.64/94.81 num=254, depth=55..1248, filters=15104749, ccks=25221, wck=91.936, mem=224M294
100.64/94.81 decisions=134900, wrong=59535, backtracks=34617, failedAssignments=30700, nogoods=1127, foundSolutions=21, bestBound=31581
100.64/94.81 nFilterCalls=21961971, avgTableProportion=0.9995918371453014, avgTableSize=2449.0
100.64/94.81
100.95/95.15 num=255, depth=55..60, filters=15159890, ccks=25221, wck=92.28, mem=224M294
100.95/95.15 decisions=135405, wrong=59759, backtracks=34743, failedAssignments=30819, nogoods=1134, foundSolutions=21, bestBound=31581
100.95/95.15 nFilterCalls=22044502, avgTableProportion=0.9995918371506295, avgTableSize=2449.0
100.95/95.15
101.24/95.42 num=256, depth=61..64, filters=15178467, ccks=25221, wck=92.552, mem=224M294
101.24/95.42 decisions=135510, wrong=59781, backtracks=34754, failedAssignments=30830, nogoods=1139, foundSolutions=21, bestBound=31581
101.24/95.42 nFilterCalls=22089481, avgTableProportion=0.9995918371535164, avgTableSize=2449.0
101.24/95.42
101.44/95.69 num=257, depth=60..64, filters=15197705, ccks=25221, wck=92.822, mem=224M294
101.44/95.69 decisions=135618, wrong=59805, backtracks=34767, failedAssignments=30842, nogoods=1140, foundSolutions=21, bestBound=31581
101.44/95.69 nFilterCalls=22135133, avgTableProportion=0.9995918371564346, avgTableSize=2449.0
101.44/95.69
101.74/95.96 num=258, depth=60..64, filters=15217599, ccks=25221, wck=93.094, mem=224M294
101.74/95.96 decisions=135732, wrong=59831, backtracks=34781, failedAssignments=30855, nogoods=1142, foundSolutions=21, bestBound=31581
101.74/95.96 nFilterCalls=22181476, avgTableProportion=0.9995918371593847, avgTableSize=2449.0
101.74/95.96
102.04/96.24 num=259, depth=60..64, filters=15237705, ccks=25221, wck=93.366, mem=224M294
102.04/96.24 decisions=135849, wrong=59859, backtracks=34796, failedAssignments=30869, nogoods=1145, foundSolutions=21, bestBound=31581
102.04/96.24 nFilterCalls=22228054, avgTableProportion=0.9995918371623373, avgTableSize=2449.0
102.04/96.24
102.34/96.51 num=260, depth=61..65, filters=15258508, ccks=25221, wck=93.639, mem=224M294
102.34/96.51 decisions=135975, wrong=59891, backtracks=34813, failedAssignments=30885, nogoods=1148, foundSolutions=21, bestBound=31581
102.34/96.51 nFilterCalls=22275343, avgTableProportion=0.9995918371653224, avgTableSize=2449.0
102.34/96.51
102.54/96.78 num=261, depth=61..65, filters=15279738, ccks=25221, wck=93.913, mem=224M294
102.54/96.78 decisions=136105, wrong=59925, backtracks=34831, failedAssignments=30902, nogoods=1152, foundSolutions=21, bestBound=31581
102.54/96.78 nFilterCalls=22323077, avgTableProportion=0.9995918371683228, avgTableSize=2449.0
102.54/96.78
102.85/97.06 num=262, depth=55..59, filters=15301120, ccks=25221, wck=94.188, mem=224M294
102.85/97.06 decisions=136226, wrong=59957, backtracks=34849, failedAssignments=30921, nogoods=1155, foundSolutions=21, bestBound=31581
102.85/97.06 nFilterCalls=22369880, avgTableProportion=0.9995918371712522, avgTableSize=2449.0
102.85/97.06
103.14/97.34 num=263, depth=60..64, filters=15323376, ccks=25221, wck=94.466, mem=224M294
103.14/97.34 decisions=136370, wrong=59999, backtracks=34872, failedAssignments=30942, nogoods=1159, foundSolutions=21, bestBound=31581
103.14/97.34 nFilterCalls=22418685, avgTableProportion=0.9995918371742938, avgTableSize=2449.0
103.14/97.34
103.44/97.61 num=264, depth=55..59, filters=15346447, ccks=25221, wck=94.743, mem=226M885
103.44/97.61 decisions=136518, wrong=60045, backtracks=34899, failedAssignments=30965, nogoods=1165, foundSolutions=21, bestBound=31581
103.44/97.61 nFilterCalls=22467161, avgTableProportion=0.9995918371773019, avgTableSize=2449.0
103.44/97.61
103.64/97.89 num=265, depth=54..59, filters=15370530, ccks=25221, wck=95.022, mem=226M885
103.64/97.89 decisions=136674, wrong=60095, backtracks=34927, failedAssignments=30990, nogoods=1167, foundSolutions=21, bestBound=31581
103.64/97.89 nFilterCalls=22517419, avgTableProportion=0.9995918371804069, avgTableSize=2449.0
103.64/97.89
103.96/98.18 num=266, depth=60..65, filters=15395787, ccks=25221, wck=95.305, mem=226M885
103.96/98.18 decisions=136847, wrong=60151, backtracks=34958, failedAssignments=31018, nogoods=1170, foundSolutions=21, bestBound=31581
103.96/98.18 nFilterCalls=22569473, avgTableProportion=0.9995918371836082, avgTableSize=2449.0
103.96/98.18
104.25/98.46 num=267, depth=55..59, filters=15421184, ccks=25221, wck=95.588, mem=226M885
104.25/98.46 decisions=137027, wrong=60213, backtracks=34991, failedAssignments=31049, nogoods=1174, foundSolutions=21, bestBound=31581
104.25/98.46 nFilterCalls=22620913, avgTableProportion=0.9995918371867574, avgTableSize=2449.0
104.25/98.46
104.55/98.74 num=268, depth=56..60, filters=15447827, ccks=25221, wck=95.874, mem=226M885
104.55/98.74 decisions=137209, wrong=60275, backtracks=35026, failedAssignments=31083, nogoods=1178, foundSolutions=21, bestBound=31581
104.55/98.74 nFilterCalls=22673781, avgTableProportion=0.999591837189979, avgTableSize=2449.0
104.55/98.74
104.86/99.03 num=269, depth=58..64, filters=15474969, ccks=25221, wck=96.16, mem=226M885
104.86/99.03 decisions=137416, wrong=60349, backtracks=35067, failedAssignments=31120, nogoods=1180, foundSolutions=21, bestBound=31581
104.86/99.03 nFilterCalls=22727524, avgTableProportion=0.9995918371932386, avgTableSize=2449.0
104.86/99.03
105.15/99.32 num=270, depth=55..60, filters=15503575, ccks=25221, wck=96.45, mem=226M885
105.15/99.32 decisions=137634, wrong=60430, backtracks=35111, failedAssignments=31161, nogoods=1186, foundSolutions=21, bestBound=31581
105.15/99.32 nFilterCalls=22782290, avgTableProportion=0.9995918371965445, avgTableSize=2449.0
105.15/99.32
105.45/99.62 num=271, depth=55..59, filters=15536480, ccks=25221, wck=96.745, mem=226M885
105.45/99.62 decisions=137870, wrong=60520, backtracks=35159, failedAssignments=31206, nogoods=1191, foundSolutions=21, bestBound=31581
105.45/99.62 nFilterCalls=22841370, avgTableProportion=0.999591837200093, avgTableSize=2449.0
105.45/99.62
105.75/99.91 num=272, depth=55..59, filters=15571488, ccks=25221, wck=97.043, mem=226M885
105.75/99.91 decisions=138126, wrong=60620, backtracks=35212, failedAssignments=31256, nogoods=1199, foundSolutions=21, bestBound=31581
105.75/99.91 nFilterCalls=22902636, avgTableProportion=0.9995918372037534, avgTableSize=2449.0
105.75/99.91
106.05/100.22 num=273, depth=55..60, filters=15607016, ccks=25221, wck=97.345, mem=226M885
106.05/100.22 decisions=138401, wrong=60730, backtracks=35276, failedAssignments=31311, nogoods=1205, foundSolutions=21, bestBound=31581
106.05/100.22 nFilterCalls=22964566, avgTableProportion=0.9995918372074337, avgTableSize=2449.0
106.05/100.22
106.35/100.52 num=274, depth=56..64, filters=15645095, ccks=25221, wck=97.651, mem=226M885
106.35/100.52 decisions=138703, wrong=60852, backtracks=35343, failedAssignments=31372, nogoods=1207, foundSolutions=21, bestBound=31581
106.35/100.52 nFilterCalls=23029897, avgTableProportion=0.9995918372112946, avgTableSize=2449.0
106.35/100.52
106.65/100.83 num=275, depth=54..58, filters=15686794, ccks=25221, wck=97.961, mem=226M885
106.65/100.83 decisions=139027, wrong=60986, backtracks=35417, failedAssignments=31439, nogoods=1211, foundSolutions=21, bestBound=31581
106.65/100.83 nFilterCalls=23098051, avgTableProportion=0.9995918372152991, avgTableSize=2449.0
106.65/100.83
106.96/101.12 o 31580
107.05/101.20 num=276, depth=57..1248, filters=15717677, ccks=26422, wck=98.326, mem=226M885
107.05/101.20 decisions=139248, wrong=61067, backtracks=35461, failedAssignments=31480, nogoods=1217, foundSolutions=22, bestBound=31580
107.05/101.20 nFilterCalls=23155481, avgTableProportion=0.9995918372186552, avgTableSize=2449.0
107.05/101.20
107.35/101.51 num=277, depth=56..62, filters=15759662, ccks=26422, wck=98.644, mem=226M885
107.35/101.51 decisions=139593, wrong=61211, backtracks=35542, failedAssignments=31561, nogoods=1219, foundSolutions=22, bestBound=31580
107.35/101.51 nFilterCalls=23223240, avgTableProportion=0.9995918372225935, avgTableSize=2449.0
107.35/101.51
107.55/101.78 num=278, depth=53..55, filters=15778599, ccks=26422, wck=98.914, mem=226M885
107.55/101.78 decisions=139683, wrong=61229, backtracks=35550, failedAssignments=31572, nogoods=1224, foundSolutions=22, bestBound=31580
107.55/101.78 nFilterCalls=23267653, avgTableProportion=0.9995918372251624, avgTableSize=2449.0
107.55/101.78
107.86/102.06 num=279, depth=57..60, filters=15797775, ccks=26422, wck=99.185, mem=226M885
107.86/102.06 decisions=139784, wrong=61251, backtracks=35562, failedAssignments=31584, nogoods=1229, foundSolutions=22, bestBound=31580
107.86/102.06 nFilterCalls=23312753, avgTableProportion=0.9995918372277611, avgTableSize=2449.0
107.86/102.06
108.15/102.33 num=280, depth=59..63, filters=15817649, ccks=26422, wck=99.458, mem=226M885
108.15/102.33 decisions=139897, wrong=61277, backtracks=35576, failedAssignments=31597, nogoods=1231, foundSolutions=22, bestBound=31580
108.15/102.33 nFilterCalls=23358921, avgTableProportion=0.9995918372304109, avgTableSize=2449.0
108.15/102.33
108.45/102.60 num=281, depth=54..58, filters=15837581, ccks=26422, wck=99.729, mem=226M885
108.45/102.60 decisions=140005, wrong=61303, backtracks=35591, failedAssignments=31611, nogoods=1233, foundSolutions=22, bestBound=31580
108.45/102.60 nFilterCalls=23404872, avgTableProportion=0.9995918372330379, avgTableSize=2449.0
108.45/102.60
108.65/102.87 num=282, depth=59..63, filters=15858234, ccks=26422, wck=100.003, mem=226M885
108.65/102.87 decisions=140129, wrong=61335, backtracks=35608, failedAssignments=31627, nogoods=1236, foundSolutions=22, bestBound=31580
108.65/102.87 nFilterCalls=23451863, avgTableProportion=0.9995918372357137, avgTableSize=2449.0
108.65/102.87
108.96/103.15 num=283, depth=54..58, filters=15879879, ccks=26422, wck=100.278, mem=226M885
108.96/103.15 decisions=140253, wrong=61369, backtracks=35628, failedAssignments=31644, nogoods=1240, foundSolutions=22, bestBound=31580
108.96/103.15 nFilterCalls=23499530, avgTableProportion=0.999591837238417, avgTableSize=2449.0
108.96/103.15
109.25/103.42 num=284, depth=59..63, filters=15901695, ccks=26422, wck=100.554, mem=226M885
109.25/103.42 decisions=140389, wrong=61407, backtracks=35648, failedAssignments=31663, nogoods=1244, foundSolutions=22, bestBound=31580
109.25/103.42 nFilterCalls=23547683, avgTableProportion=0.9995918372411369, avgTableSize=2449.0
109.25/103.42
109.55/103.70 num=285, depth=56..59, filters=15923750, ccks=26422, wck=100.83, mem=226M885
109.55/103.70 decisions=140529, wrong=61449, backtracks=35672, failedAssignments=31684, nogoods=1246, foundSolutions=22, bestBound=31580
109.55/103.70 nFilterCalls=23595883, avgTableProportion=0.9995918372438481, avgTableSize=2449.0
109.55/103.70
109.75/103.98 num=286, depth=56..61, filters=15945133, ccks=26422, wck=101.106, mem=226M885
109.75/103.98 decisions=140670, wrong=61491, backtracks=35695, failedAssignments=31707, nogoods=1250, foundSolutions=22, bestBound=31580
109.75/103.98 nFilterCalls=23643362, avgTableProportion=0.9995918372465081, avgTableSize=2449.0
109.75/103.98
110.05/104.26 num=287, depth=58..63, filters=15969097, ccks=26422, wck=101.387, mem=226M885
110.05/104.26 decisions=140830, wrong=61541, backtracks=35722, failedAssignments=31732, nogoods=1252, foundSolutions=22, bestBound=31580
110.05/104.26 nFilterCalls=23693776, avgTableProportion=0.9995918372493209, avgTableSize=2449.0
110.05/104.26
110.35/104.54 num=288, depth=59..64, filters=15992942, ccks=26422, wck=101.668, mem=226M885
110.35/104.54 decisions=141003, wrong=61597, backtracks=35755, failedAssignments=31760, nogoods=1256, foundSolutions=22, bestBound=31580
110.35/104.54 nFilterCalls=23743858, avgTableProportion=0.9995918372521033, avgTableSize=2449.0
110.35/104.54
110.65/104.82 num=289, depth=54..59, filters=16018471, ccks=26422, wck=101.953, mem=226M885
110.65/104.82 decisions=141178, wrong=61657, backtracks=35790, failedAssignments=31791, nogoods=1260, foundSolutions=22, bestBound=31580
110.65/104.82 nFilterCalls=23795645, avgTableProportion=0.9995918372549681, avgTableSize=2449.0
110.65/104.82
110.96/105.11 num=290, depth=58..62, filters=16046103, ccks=26422, wck=102.239, mem=226M885
110.96/105.11 decisions=141372, wrong=61725, backtracks=35826, failedAssignments=31825, nogoods=1265, foundSolutions=22, bestBound=31580
110.96/105.11 nFilterCalls=23849858, avgTableProportion=0.9995918372579538, avgTableSize=2449.0
110.96/105.11
111.15/105.39 num=291, depth=58..63, filters=16072094, ccks=26422, wck=102.524, mem=226M885
111.15/105.39 decisions=141575, wrong=61797, backtracks=35866, failedAssignments=31862, nogoods=1269, foundSolutions=22, bestBound=31580
111.15/105.39 nFilterCalls=23902246, avgTableProportion=0.999591837260826, avgTableSize=2449.0
111.15/105.39
111.46/105.68 num=292, depth=55..59, filters=16101797, ccks=26422, wck=102.814, mem=226M885
111.46/105.68 decisions=141787, wrong=61875, backtracks=35910, failedAssignments=31903, nogoods=1274, foundSolutions=22, bestBound=31580
111.46/105.68 nFilterCalls=23958378, avgTableProportion=0.9995918372638897, avgTableSize=2449.0
111.46/105.68
111.76/105.98 num=293, depth=58..64, filters=16130823, ccks=26422, wck=103.105, mem=226M885
111.76/105.98 decisions=142024, wrong=61964, backtracks=35961, failedAssignments=31948, nogoods=1279, foundSolutions=22, bestBound=31580
111.76/105.98 nFilterCalls=24013693, avgTableProportion=0.9995918372668947, avgTableSize=2449.0
111.76/105.98
112.06/106.27 num=294, depth=59..64, filters=16162681, ccks=26422, wck=103.4, mem=226M885
112.06/106.27 decisions=142275, wrong=62060, backtracks=36015, failedAssignments=31998, nogoods=1284, foundSolutions=22, bestBound=31580
112.06/106.27 nFilterCalls=24072254, avgTableProportion=0.999591837270061, avgTableSize=2449.0
112.06/106.27
112.36/106.57 num=295, depth=53..58, filters=16195386, ccks=26422, wck=103.696, mem=226M885
112.36/106.57 decisions=142537, wrong=62164, backtracks=36078, failedAssignments=32053, nogoods=1290, foundSolutions=22, bestBound=31580
112.36/106.57 nFilterCalls=24131266, avgTableProportion=0.9995918372732362, avgTableSize=2449.0
112.36/106.57
112.66/106.87 num=296, depth=53..58, filters=16229450, ccks=26422, wck=103.998, mem=226M885
112.66/106.87 decisions=142837, wrong=62286, backtracks=36143, failedAssignments=32114, nogoods=1292, foundSolutions=22, bestBound=31580
112.66/106.87 nFilterCalls=24192175, avgTableProportion=0.9995918372764971, avgTableSize=2449.0
112.66/106.87
112.97/107.17 num=297, depth=57..63, filters=16265421, ccks=26422, wck=104.303, mem=226M885
112.97/107.17 decisions=143163, wrong=62419, backtracks=36215, failedAssignments=32181, nogoods=1296, foundSolutions=22, bestBound=31580
112.97/107.17 nFilterCalls=24254882, avgTableProportion=0.9995918372798372, avgTableSize=2449.0
112.97/107.17
113.26/107.48 num=298, depth=58..65, filters=16303474, ccks=26422, wck=104.611, mem=226M885
113.26/107.48 decisions=143510, wrong=62562, backtracks=36293, failedAssignments=32255, nogoods=1300, foundSolutions=22, bestBound=31580
113.26/107.48 nFilterCalls=24319909, avgTableProportion=0.9995918372832828, avgTableSize=2449.0
113.26/107.48
113.66/107.80 num=299, depth=53..58, filters=16345537, ccks=26422, wck=104.927, mem=226M885
113.66/107.80 decisions=143861, wrong=62710, backtracks=36378, failedAssignments=32336, nogoods=1303, foundSolutions=22, bestBound=31580
113.66/107.80 nFilterCalls=24388832, avgTableProportion=0.9995918372869147, avgTableSize=2449.0
113.66/107.80
113.97/108.11 num=300, depth=52..57, filters=16388085, ccks=26422, wck=105.237, mem=226M885
113.97/108.11 decisions=144256, wrong=62880, backtracks=36474, failedAssignments=32425, nogoods=1307, foundSolutions=22, bestBound=31580
113.97/108.11 nFilterCalls=24457952, avgTableProportion=0.9995918372905364, avgTableSize=2449.0
113.97/108.11
114.26/108.43 num=301, depth=51..56, filters=16435090, ccks=26422, wck=105.56, mem=226M885
114.26/108.43 decisions=144697, wrong=63074, backtracks=36589, failedAssignments=32523, nogoods=1312, foundSolutions=22, bestBound=31580
114.26/108.43 nFilterCalls=24531378, avgTableProportion=0.9995918372943614, avgTableSize=2449.0
114.26/108.43
114.56/108.76 num=302, depth=55..60, filters=16480653, ccks=26422, wck=105.884, mem=226M885
114.56/108.76 decisions=145150, wrong=63272, backtracks=36697, failedAssignments=32631, nogoods=1318, foundSolutions=22, bestBound=31580
114.56/108.76 nFilterCalls=24603730, avgTableProportion=0.9995918372981081, avgTableSize=2449.0
114.56/108.76
114.87/109.09 num=303, depth=57..62, filters=16531443, ccks=26422, wck=106.218, mem=226M885
114.87/109.09 decisions=145684, wrong=63510, backtracks=36833, failedAssignments=32750, nogoods=1328, foundSolutions=22, bestBound=31580
114.87/109.09 nFilterCalls=24681765, avgTableProportion=0.9995918373021244, avgTableSize=2449.0
114.87/109.09
115.26/109.43 num=304, depth=54..59, filters=16585511, ccks=26422, wck=106.557, mem=226M885
115.26/109.43 decisions=146264, wrong=63772, backtracks=36987, failedAssignments=32881, nogoods=1333, foundSolutions=22, bestBound=31580
115.26/109.43 nFilterCalls=24763334, avgTableProportion=0.9995918373062956, avgTableSize=2449.0
115.26/109.43
115.56/109.79 num=305, depth=53..58, filters=16654476, ccks=26422, wck=106.918, mem=226M885
115.56/109.79 decisions=146894, wrong=64060, backtracks=37155, failedAssignments=33025, nogoods=1337, foundSolutions=22, bestBound=31580
115.56/109.79 nFilterCalls=24860759, avgTableProportion=0.9995918373112418, avgTableSize=2449.0
115.56/109.79
115.97/110.16 num=306, depth=48..54, filters=16728317, ccks=26422, wck=107.288, mem=226M885
115.97/110.16 decisions=147556, wrong=64366, backtracks=37327, failedAssignments=33183, nogoods=1344, foundSolutions=22, bestBound=31580
115.97/110.16 nFilterCalls=24963532, avgTableProportion=0.9995918373164177, avgTableSize=2449.0
115.97/110.16
116.36/110.53 num=307, depth=52..58, filters=16801093, ccks=26422, wck=107.661, mem=226M885
116.36/110.53 decisions=148251, wrong=64686, backtracks=37500, failedAssignments=33357, nogoods=1349, foundSolutions=22, bestBound=31580
116.36/110.53 nFilterCalls=25066342, avgTableProportion=0.9995918373215529, avgTableSize=2449.0
116.36/110.53
116.76/110.93 num=308, depth=49..55, filters=16893165, ccks=26422, wck=108.063, mem=226M885
116.76/110.93 decisions=149066, wrong=65068, backtracks=37707, failedAssignments=33548, nogoods=1356, foundSolutions=22, bestBound=31580
116.76/110.93 nFilterCalls=25185818, avgTableProportion=0.9995918373274678, avgTableSize=2449.0
116.76/110.93
117.16/111.35 num=309, depth=50..54, filters=16990918, ccks=26422, wck=108.476, mem=226M885
117.16/111.35 decisions=149962, wrong=65490, backtracks=37939, failedAssignments=33759, nogoods=1364, foundSolutions=22, bestBound=31580
117.16/111.35 nFilterCalls=25310274, avgTableProportion=0.99959183733357, avgTableSize=2449.0
117.16/111.35
117.56/111.76 num=310, depth=53..58, filters=17083511, ccks=26422, wck=108.887, mem=226M885
117.56/111.76 decisions=150946, wrong=65954, backtracks=38193, failedAssignments=33991, nogoods=1371, foundSolutions=22, bestBound=31580
117.56/111.76 nFilterCalls=25430567, avgTableProportion=0.9995918373394113, avgTableSize=2449.0
117.56/111.76
117.97/112.19 num=311, depth=51..56, filters=17190793, ccks=26422, wck=109.323, mem=226M885
117.97/112.19 decisions=151976, wrong=66443, backtracks=38460, failedAssignments=34246, nogoods=1381, foundSolutions=22, bestBound=31580
117.97/112.19 nFilterCalls=25567776, avgTableProportion=0.9995918373460069, avgTableSize=2449.0
117.97/112.19
118.46/112.64 num=312, depth=50..57, filters=17306295, ccks=26422, wck=109.772, mem=229M476
118.46/112.64 decisions=153024, wrong=66941, backtracks=38736, failedAssignments=34527, nogoods=1393, foundSolutions=22, bestBound=31580
118.46/112.64 nFilterCalls=25712161, avgTableProportion=0.9995918373528715, avgTableSize=2449.0
118.46/112.64
118.87/113.11 num=313, depth=50..58, filters=17427379, ccks=26422, wck=110.234, mem=229M476
118.87/113.11 decisions=154173, wrong=67489, backtracks=39045, failedAssignments=34836, nogoods=1400, foundSolutions=22, bestBound=31580
118.87/113.11 nFilterCalls=25863790, avgTableProportion=0.9995918373599979, avgTableSize=2449.0
118.87/113.11
119.47/113.61 num=314, depth=53..58, filters=17573802, ccks=26422, wck=110.738, mem=229M476
119.47/113.61 decisions=155532, wrong=68141, backtracks=39420, failedAssignments=35176, nogoods=1410, foundSolutions=22, bestBound=31580
119.47/113.61 nFilterCalls=26039005, avgTableProportion=0.9995918373681295, avgTableSize=2449.0
119.47/113.61
119.98/114.14 num=315, depth=49..55, filters=17736479, ccks=26422, wck=111.268, mem=229M476
119.98/114.14 decisions=157071, wrong=68885, backtracks=39833, failedAssignments=35550, nogoods=1412, foundSolutions=22, bestBound=31580
119.98/114.14 nFilterCalls=26234064, avgTableProportion=0.9995918373770543, avgTableSize=2449.0
119.98/114.14
120.47/114.68 num=316, depth=50..57, filters=17906540, ccks=26422, wck=111.812, mem=229M476
120.47/114.68 decisions=158667, wrong=69656, backtracks=40269, failedAssignments=35961, nogoods=1418, foundSolutions=22, bestBound=31580
120.47/114.68 nFilterCalls=26433122, avgTableProportion=0.9995918373860262, avgTableSize=2449.0
120.47/114.68
121.07/115.25 num=317, depth=55..62, filters=18086136, ccks=26422, wck=112.378, mem=229M476
121.07/115.25 decisions=160536, wrong=70562, backtracks=40784, failedAssignments=36413, nogoods=1425, foundSolutions=22, bestBound=31580
121.07/115.25 nFilterCalls=26640347, avgTableProportion=0.9995918373952238, avgTableSize=2449.0
121.07/115.25
121.68/115.83 num=318, depth=56..63, filters=18268061, ccks=26422, wck=112.961, mem=229M476
121.68/115.83 decisions=162479, wrong=71504, backtracks=41340, failedAssignments=36910, nogoods=1432, foundSolutions=22, bestBound=31580
121.68/115.83 nFilterCalls=26853341, avgTableProportion=0.9995918374045296, avgTableSize=2449.0
121.68/115.83
122.28/116.45 num=319, depth=47..54, filters=18479448, ccks=26422, wck=113.584, mem=229M476
122.28/116.45 decisions=164663, wrong=72572, backtracks=41954, failedAssignments=37457, nogoods=1437, foundSolutions=22, bestBound=31580
122.28/116.45 nFilterCalls=27098731, avgTableProportion=0.9995918374150693, avgTableSize=2449.0
122.28/116.45
122.99/117.12 num=320, depth=49..55, filters=18708568, ccks=26422, wck=114.247, mem=229M476
122.99/117.12 decisions=167107, wrong=73768, backtracks=42628, failedAssignments=38059, nogoods=1449, foundSolutions=22, bestBound=31580
122.99/117.12 nFilterCalls=27365041, avgTableProportion=0.9995918374262938, avgTableSize=2449.0
122.99/117.12
123.48/117.62 o 31573
123.58/117.70 num=321, depth=47..1248, filters=18870780, ccks=27623, wck=114.833, mem=229M476
123.58/117.70 decisions=168643, wrong=74511, backtracks=43042, failedAssignments=38432, nogoods=1456, foundSolutions=23, bestBound=31573
123.58/117.70 nFilterCalls=27558661, avgTableProportion=0.9995918374343182, avgTableSize=2449.0
123.58/117.70
124.28/118.41 num=322, depth=51..58, filters=19110135, ccks=27623, wck=115.536, mem=229M476
124.28/118.41 decisions=171526, wrong=75927, backtracks=43859, failedAssignments=39160, nogoods=1467, foundSolutions=23, bestBound=31573
124.28/118.41 nFilterCalls=27833278, avgTableProportion=0.9995918374455082, avgTableSize=2449.0
124.28/118.41
124.48/118.68 num=323, depth=60..62, filters=19130746, ccks=27623, wck=115.814, mem=229M476
124.48/118.68 decisions=171630, wrong=75949, backtracks=43870, failedAssignments=39171, nogoods=1472, foundSolutions=23, bestBound=31573
124.48/118.68 nFilterCalls=27878304, avgTableProportion=0.9995918374473218, avgTableSize=2449.0
124.48/118.68
124.78/118.96 num=324, depth=59..63, filters=19150947, ccks=27623, wck=116.091, mem=229M476
124.78/118.96 decisions=171733, wrong=75971, backtracks=43884, failedAssignments=39183, nogoods=1477, foundSolutions=23, bestBound=31573
124.78/118.96 nFilterCalls=27923336, avgTableProportion=0.9995918374491298, avgTableSize=2449.0
124.78/118.96
125.08/119.24 num=325, depth=61..64, filters=19172279, ccks=27623, wck=116.371, mem=229M476
125.08/119.24 decisions=171848, wrong=75997, backtracks=43898, failedAssignments=39196, nogoods=1479, foundSolutions=23, bestBound=31573
125.08/119.24 nFilterCalls=27969168, avgTableProportion=0.999591837450964, avgTableSize=2449.0
125.08/119.24
125.38/119.52 num=326, depth=58..62, filters=19192970, ccks=27623, wck=116.647, mem=229M476
125.38/119.52 decisions=171960, wrong=76023, backtracks=43913, failedAssignments=39210, nogoods=1481, foundSolutions=23, bestBound=31573
125.38/119.52 nFilterCalls=28014748, avgTableProportion=0.9995918374527821, avgTableSize=2449.0
125.38/119.52
125.58/119.80 num=327, depth=58..61, filters=19214654, ccks=27623, wck=116.925, mem=229M476
125.58/119.80 decisions=172084, wrong=76055, backtracks=43931, failedAssignments=39226, nogoods=1486, foundSolutions=23, bestBound=31573
125.58/119.80 nFilterCalls=28061362, avgTableProportion=0.9995918374546354, avgTableSize=2449.0
125.58/119.80
125.88/120.08 num=328, depth=57..61, filters=19237597, ccks=27623, wck=117.205, mem=229M476
125.88/120.08 decisions=172207, wrong=76087, backtracks=43949, failedAssignments=39243, nogoods=1489, foundSolutions=23, bestBound=31573
125.88/120.08 nFilterCalls=28108898, avgTableProportion=0.999591837456519, avgTableSize=2449.0
125.88/120.08
126.19/120.36 num=329, depth=57..61, filters=19260067, ccks=27623, wck=117.486, mem=229M476
126.19/120.36 decisions=172341, wrong=76125, backtracks=43971, failedAssignments=39262, nogoods=1494, foundSolutions=23, bestBound=31573
126.19/120.36 nFilterCalls=28156318, avgTableProportion=0.9995918374583918, avgTableSize=2449.0
126.19/120.36
126.49/120.64 num=330, depth=56..60, filters=19284336, ccks=27623, wck=117.767, mem=229M476
126.49/120.64 decisions=172479, wrong=76165, backtracks=43993, failedAssignments=39283, nogoods=1499, foundSolutions=23, bestBound=31573
126.49/120.64 nFilterCalls=28205085, avgTableProportion=0.999591837460311, avgTableSize=2449.0
126.49/120.64
126.79/120.92 num=331, depth=58..63, filters=19307981, ccks=27623, wck=118.049, mem=229M476
126.79/120.92 decisions=172626, wrong=76209, backtracks=44021, failedAssignments=39306, nogoods=1503, foundSolutions=23, bestBound=31573
126.79/120.92 nFilterCalls=28253713, avgTableProportion=0.9995918374622182, avgTableSize=2449.0
126.79/120.92
127.09/121.20 num=332, depth=53..56, filters=19333581, ccks=27623, wck=118.331, mem=229M476
127.09/121.20 decisions=172781, wrong=76259, backtracks=44048, failedAssignments=39331, nogoods=1506, foundSolutions=23, bestBound=31573
127.09/121.20 nFilterCalls=28304100, avgTableProportion=0.9995918374641876, avgTableSize=2449.0
127.09/121.20
127.29/121.49 num=333, depth=54..58, filters=19359563, ccks=27623, wck=118.614, mem=229M476
127.29/121.49 decisions=172949, wrong=76315, backtracks=44078, failedAssignments=39359, nogoods=1510, foundSolutions=23, bestBound=31573
127.29/121.49 nFilterCalls=28355073, avgTableProportion=0.9995918374661726, avgTableSize=2449.0
127.29/121.49
127.59/121.77 num=334, depth=58..62, filters=19386343, ccks=27623, wck=118.901, mem=229M476
127.59/121.77 decisions=173125, wrong=76373, backtracks=44113, failedAssignments=39390, nogoods=1515, foundSolutions=23, bestBound=31573
127.59/121.77 nFilterCalls=28406978, avgTableProportion=0.9995918374681868, avgTableSize=2449.0
127.59/121.77
127.90/122.06 num=335, depth=53..56, filters=19415400, ccks=27623, wck=119.19, mem=229M476
127.90/122.06 decisions=173315, wrong=76441, backtracks=44149, failedAssignments=39424, nogoods=1521, foundSolutions=23, bestBound=31573
127.90/122.06 nFilterCalls=28461050, avgTableProportion=0.9995918374702771, avgTableSize=2449.0
127.90/122.06
128.20/122.35 num=336, depth=57..61, filters=19445408, ccks=27623, wck=119.482, mem=229M476
128.20/122.35 decisions=173512, wrong=76511, backtracks=44190, failedAssignments=39461, nogoods=1528, foundSolutions=23, bestBound=31573
128.20/122.35 nFilterCalls=28516235, avgTableProportion=0.9995918374724023, avgTableSize=2449.0
128.20/122.35
128.50/122.65 num=337, depth=56..59, filters=19476276, ccks=27623, wck=119.776, mem=229M476
128.50/122.65 decisions=173733, wrong=76593, backtracks=44234, failedAssignments=39502, nogoods=1534, foundSolutions=23, bestBound=31573
128.50/122.65 nFilterCalls=28572402, avgTableProportion=0.9995918374745569, avgTableSize=2449.0
128.50/122.65
128.80/122.94 num=338, depth=52..56, filters=19509684, ccks=27623, wck=120.071, mem=229M476
128.80/122.94 decisions=173963, wrong=76681, backtracks=44282, failedAssignments=39547, nogoods=1540, foundSolutions=23, bestBound=31573
128.80/122.94 nFilterCalls=28630991, avgTableProportion=0.9995918374767954, avgTableSize=2449.0
128.80/122.94
129.10/123.24 num=339, depth=57..62, filters=19544853, ccks=27623, wck=120.373, mem=229M476
129.10/123.24 decisions=174216, wrong=76779, backtracks=44340, failedAssignments=39597, nogoods=1545, foundSolutions=23, bestBound=31573
129.10/123.24 nFilterCalls=28691527, avgTableProportion=0.9995918374790986, avgTableSize=2449.0
129.10/123.24
129.40/123.55 num=340, depth=55..60, filters=19580432, ccks=27623, wck=120.675, mem=229M476
129.40/123.55 decisions=174487, wrong=76887, backtracks=44406, failedAssignments=39652, nogoods=1552, foundSolutions=23, bestBound=31573
129.40/123.55 nFilterCalls=28752301, avgTableProportion=0.9995918374814012, avgTableSize=2449.0
129.40/123.55
129.70/123.85 num=341, depth=56..62, filters=19617146, ccks=27623, wck=120.983, mem=229M476
129.70/123.85 decisions=174783, wrong=77007, backtracks=44477, failedAssignments=39713, nogoods=1553, foundSolutions=23, bestBound=31573
129.70/123.85 nFilterCalls=28814849, avgTableProportion=0.9995918374837608, avgTableSize=2449.0
129.70/123.85
130.00/124.16 num=342, depth=55..59, filters=19657162, ccks=27623, wck=121.294, mem=229M476
130.00/124.16 decisions=175109, wrong=77141, backtracks=44549, failedAssignments=39780, nogoods=1557, foundSolutions=23, bestBound=31573
130.00/124.16 nFilterCalls=28879786, avgTableProportion=0.9995918374861998, avgTableSize=2449.0
130.00/124.16
130.30/124.48 num=343, depth=56..62, filters=19699407, ccks=27623, wck=121.611, mem=229M476
130.30/124.48 decisions=175455, wrong=77285, backtracks=44634, failedAssignments=39854, nogoods=1559, foundSolutions=23, bestBound=31573
130.30/124.48 nFilterCalls=28948002, avgTableProportion=0.9995918374887501, avgTableSize=2449.0
130.30/124.48
130.70/124.80 num=344, depth=55..61, filters=19741952, ccks=27623, wck=121.928, mem=229M476
130.70/124.80 decisions=175830, wrong=77443, backtracks=44728, failedAssignments=39935, nogoods=1563, foundSolutions=23, bestBound=31573
130.70/124.80 nFilterCalls=29016238, avgTableProportion=0.9995918374912892, avgTableSize=2449.0
130.70/124.80
131.00/125.13 num=345, depth=57..63, filters=19790803, ccks=27623, wck=122.257, mem=229M476
131.00/125.13 decisions=176240, wrong=77618, backtracks=44832, failedAssignments=40024, nogoods=1569, foundSolutions=23, bestBound=31573
131.00/125.13 nFilterCalls=29091075, avgTableProportion=0.9995918374940602, avgTableSize=2449.0
131.00/125.13
131.30/125.46 num=346, depth=55..61, filters=19843073, ccks=27623, wck=122.591, mem=229M476
131.30/125.46 decisions=176691, wrong=77815, backtracks=44948, failedAssignments=40122, nogoods=1576, foundSolutions=23, bestBound=31573
131.30/125.46 nFilterCalls=29169291, avgTableProportion=0.9995918374969411, avgTableSize=2449.0
131.30/125.46
131.70/125.80 num=347, depth=47..53, filters=19896147, ccks=27623, wck=122.926, mem=229M476
131.70/125.80 decisions=177170, wrong=78031, backtracks=45070, failedAssignments=40230, nogoods=1578, foundSolutions=23, bestBound=31573
131.70/125.80 nFilterCalls=29249877, avgTableProportion=0.9995918374998932, avgTableSize=2449.0
131.70/125.80
132.02/126.14 num=348, depth=53..57, filters=19956685, ccks=27623, wck=123.272, mem=229M476
132.02/126.14 decisions=177700, wrong=78269, backtracks=45202, failedAssignments=40349, nogoods=1588, foundSolutions=23, bestBound=31573
132.02/126.14 nFilterCalls=29336598, avgTableProportion=0.9995918375030519, avgTableSize=2449.0
132.02/126.14
132.31/126.49 num=349, depth=55..59, filters=20015724, ccks=27623, wck=123.62, mem=229M476
132.31/126.49 decisions=178281, wrong=78531, backtracks=45354, failedAssignments=40480, nogoods=1595, foundSolutions=23, bestBound=31573
132.31/126.49 nFilterCalls=29421387, avgTableProportion=0.9995918375061222, avgTableSize=2449.0
132.31/126.49
132.72/126.85 num=350, depth=54..58, filters=20078670, ccks=27623, wck=123.977, mem=229M476
132.72/126.85 decisions=178912, wrong=78819, backtracks=45518, failedAssignments=40624, nogoods=1599, foundSolutions=23, bestBound=31573
132.72/126.85 nFilterCalls=29510371, avgTableProportion=0.9995918375093256, avgTableSize=2449.0
132.72/126.85
133.12/127.21 num=351, depth=49..53, filters=20151346, ccks=27623, wck=124.341, mem=229M476
133.12/127.21 decisions=179595, wrong=79135, backtracks=45693, failedAssignments=40782, nogoods=1608, foundSolutions=23, bestBound=31573
133.12/127.21 nFilterCalls=29609278, avgTableProportion=0.9995918375128635, avgTableSize=2449.0
133.12/127.21
133.42/127.59 num=352, depth=55..59, filters=20230708, ccks=27623, wck=124.719, mem=229M476
133.42/127.59 decisions=180348, wrong=79483, backtracks=45883, failedAssignments=40956, nogoods=1617, foundSolutions=23, bestBound=31573
133.42/127.59 nFilterCalls=29716015, avgTableProportion=0.999591837516655, avgTableSize=2449.0
133.42/127.59
133.82/127.98 num=353, depth=51..55, filters=20313876, ccks=27623, wck=125.111, mem=229M476
133.82/127.98 decisions=181166, wrong=79865, backtracks=46098, failedAssignments=41147, nogoods=1623, foundSolutions=23, bestBound=31573
133.82/127.98 nFilterCalls=29826311, avgTableProportion=0.9995918375205445, avgTableSize=2449.0
133.82/127.98
134.22/128.38 num=354, depth=49..53, filters=20402457, ccks=27623, wck=125.505, mem=229M476
134.22/128.38 decisions=182061, wrong=80287, backtracks=46330, failedAssignments=41358, nogoods=1632, foundSolutions=23, bestBound=31573
134.22/128.38 nFilterCalls=29943582, avgTableProportion=0.9995918375246485, avgTableSize=2449.0
134.22/128.38
134.62/128.79 num=355, depth=48..53, filters=20505109, ccks=27623, wck=125.919, mem=232M66
134.62/128.79 decisions=183038, wrong=80751, backtracks=46585, failedAssignments=41590, nogoods=1641, foundSolutions=23, bestBound=31573
134.62/128.79 nFilterCalls=30072938, avgTableProportion=0.9995918375291384, avgTableSize=2449.0
134.62/128.79
135.12/129.22 num=356, depth=55..61, filters=20607224, ccks=27623, wck=126.35, mem=232M66
135.12/129.22 decisions=184122, wrong=81265, backtracks=46875, failedAssignments=41845, nogoods=1649, foundSolutions=23, bestBound=31573
135.12/129.22 nFilterCalls=30202806, avgTableProportion=0.9995918375336073, avgTableSize=2449.0
135.12/129.22
135.52/129.65 num=357, depth=50..55, filters=20702496, ccks=27623, wck=126.776, mem=232M66
135.52/129.65 decisions=185228, wrong=81793, backtracks=47184, failedAssignments=42126, nogoods=1654, foundSolutions=23, bestBound=31573
135.52/129.65 nFilterCalls=30326367, avgTableProportion=0.9995918375378235, avgTableSize=2449.0
135.52/129.65
136.03/130.11 num=358, depth=56..62, filters=20818385, ccks=27623, wck=127.235, mem=232M66
136.03/130.11 decisions=186545, wrong=82423, backtracks=47543, failedAssignments=42435, nogoods=1663, foundSolutions=23, bestBound=31573
136.03/130.11 nFilterCalls=30470180, avgTableProportion=0.9995918375426879, avgTableSize=2449.0
136.03/130.11
136.52/130.60 num=359, depth=62..68, filters=20962442, ccks=27623, wck=127.727, mem=232M66
136.52/130.60 decisions=187965, wrong=83101, backtracks=47926, failedAssignments=42775, nogoods=1675, foundSolutions=23, bestBound=31573
136.52/130.60 nFilterCalls=30644685, avgTableProportion=0.9995918375485291, avgTableSize=2449.0
136.52/130.60
136.93/131.11 num=360, depth=48..53, filters=21120088, ccks=27623, wck=128.235, mem=232M66
136.93/131.11 decisions=189513, wrong=83849, backtracks=48336, failedAssignments=43149, nogoods=1679, foundSolutions=23, bestBound=31573
136.93/131.11 nFilterCalls=30828696, avgTableProportion=0.9995918375546168, avgTableSize=2449.0
136.93/131.11
137.52/131.62 num=361, depth=48..55, filters=21269610, ccks=27623, wck=128.748, mem=232M66
137.52/131.62 decisions=191223, wrong=84679, backtracks=48808, failedAssignments=43560, nogoods=1687, foundSolutions=23, bestBound=31573
137.52/131.62 nFilterCalls=31007472, avgTableProportion=0.9995918375604621, avgTableSize=2449.0
137.52/131.62
138.03/132.19 num=362, depth=55..62, filters=21448404, ccks=27623, wck=129.318, mem=232M66
138.03/132.19 decisions=193089, wrong=85583, backtracks=49344, failedAssignments=44012, nogoods=1695, foundSolutions=23, bestBound=31573
138.03/132.19 nFilterCalls=31215714, avgTableProportion=0.9995918375671865, avgTableSize=2449.0
138.03/132.19
138.62/132.79 num=363, depth=53..58, filters=21645318, ccks=27623, wck=129.923, mem=232M66
138.62/132.79 decisions=195134, wrong=86577, backtracks=49906, failedAssignments=44509, nogoods=1702, foundSolutions=23, bestBound=31573
138.62/132.79 nFilterCalls=31442849, avgTableProportion=0.9995918375744193, avgTableSize=2449.0
138.62/132.79
139.32/133.42 num=364, depth=58..66, filters=21864401, ccks=27623, wck=130.546, mem=232M66
139.32/133.42 decisions=197403, wrong=87681, backtracks=50520, failedAssignments=45056, nogoods=1708, foundSolutions=23, bestBound=31573
139.32/133.42 nFilterCalls=31693366, avgTableProportion=0.9995918375822765, avgTableSize=2449.0
139.32/133.42
139.93/134.06 num=365, depth=60..67, filters=22094373, ccks=27623, wck=131.194, mem=232M66
139.93/134.06 decisions=199874, wrong=88885, backtracks=51196, failedAssignments=45658, nogoods=1716, foundSolutions=23, bestBound=31573
139.93/134.06 nFilterCalls=31955035, avgTableProportion=0.999591837590352, avgTableSize=2449.0
139.93/134.06
140.62/134.75 num=366, depth=58..65, filters=22331906, ccks=27623, wck=131.875, mem=232M66
140.62/134.75 decisions=202602, wrong=90220, backtracks=51954, failedAssignments=46320, nogoods=1725, foundSolutions=23, bestBound=31573
140.62/134.75 nFilterCalls=32226766, avgTableProportion=0.9995918375985992, avgTableSize=2449.0
140.62/134.75
141.32/135.48 num=367, depth=56..63, filters=22609616, ccks=27623, wck=132.608, mem=232M66
141.32/135.48 decisions=205522, wrong=91652, backtracks=52740, failedAssignments=47048, nogoods=1738, foundSolutions=23, bestBound=31573
141.32/135.48 nFilterCalls=32546833, avgTableProportion=0.9995918376081366, avgTableSize=2449.0
141.32/135.48
142.12/136.26 num=368, depth=58..65, filters=22915396, ccks=27623, wck=133.386, mem=232M66
142.12/136.26 decisions=208798, wrong=93260, backtracks=53645, failedAssignments=47849, nogoods=1743, foundSolutions=23, bestBound=31573
142.12/136.26 nFilterCalls=32886299, avgTableProportion=0.9995918376180494, avgTableSize=2449.0
142.12/136.26
142.93/137.10 num=369, depth=53..58, filters=23261674, ccks=27623, wck=134.232, mem=232M66
142.93/137.10 decisions=212379, wrong=95022, backtracks=54630, failedAssignments=48730, nogoods=1751, foundSolutions=23, bestBound=31573
142.93/137.10 nFilterCalls=33273684, avgTableProportion=0.9995918376291143, avgTableSize=2449.0
142.93/137.10
143.82/137.98 num=370, depth=60..67, filters=23609657, ccks=27623, wck=135.109, mem=232M66
143.82/137.98 decisions=215925, wrong=96763, backtracks=55592, failedAssignments=49700, nogoods=1759, foundSolutions=23, bestBound=31573
143.82/137.98 nFilterCalls=33657222, avgTableProportion=0.9995918376299578, avgTableSize=2449.0
143.82/137.98
144.82/138.90 num=371, depth=60..67, filters=23953168, ccks=27623, wck=136.027, mem=232M66
144.82/138.90 decisions=220227, wrong=98883, backtracks=56822, failedAssignments=50767, nogoods=1771, foundSolutions=23, bestBound=31573
144.82/138.90 nFilterCalls=34038559, avgTableProportion=0.9995918375987372, avgTableSize=2449.0
144.82/138.90
145.82/139.99 num=372, depth=55..63, filters=24425942, ccks=27623, wck=137.12, mem=232M66
145.82/139.99 decisions=225061, wrong=101271, backtracks=58182, failedAssignments=51940, nogoods=1783, foundSolutions=23, bestBound=31573
145.82/139.99 nFilterCalls=34550101, avgTableProportion=0.9995918375579386, avgTableSize=2449.0
145.82/139.99
146.93/141.08 num=373, depth=58..64, filters=24878499, ccks=27623, wck=138.212, mem=232M66
146.93/141.08 decisions=230286, wrong=103853, backtracks=59655, failedAssignments=53231, nogoods=1795, foundSolutions=23, bestBound=31573
146.93/141.08 nFilterCalls=35051182, avgTableProportion=0.999591837519129, avgTableSize=2449.0
146.93/141.08
148.22/142.30 num=374, depth=58..66, filters=25447237, ccks=27623, wck=139.434, mem=232M66
148.22/142.30 decisions=236042, wrong=106701, backtracks=61244, failedAssignments=54651, nogoods=1807, foundSolutions=23, bestBound=31573
148.22/142.30 nFilterCalls=35660797, avgTableProportion=0.9995918374733836, avgTableSize=2449.0
148.22/142.30
149.52/143.69 num=375, depth=57..64, filters=26081125, ccks=27623, wck=140.82, mem=232M66
149.52/143.69 decisions=242370, wrong=109835, backtracks=63017, failedAssignments=56213, nogoods=1820, foundSolutions=23, bestBound=31573
149.52/143.69 nFilterCalls=36335314, avgTableProportion=0.999591837424557, avgTableSize=2449.0
149.52/143.69
150.99/145.04 num=376, depth=59..65, filters=26698771, ccks=27623, wck=142.165, mem=232M66
150.99/145.04 decisions=249188, wrong=113213, backtracks=64895, failedAssignments=57931, nogoods=1832, foundSolutions=23, bestBound=31573
150.99/145.04 nFilterCalls=36994910, avgTableProportion=0.9995918373785323, avgTableSize=2449.0
150.99/145.04
152.58/146.60 num=377, depth=48..53, filters=27447838, ccks=27623, wck=143.727, mem=232M66
152.58/146.60 decisions=256798, wrong=116993, backtracks=67016, failedAssignments=59821, nogoods=1845, foundSolutions=23, bestBound=31573
152.58/146.60 nFilterCalls=37778447, avgTableProportion=0.9995918373259478, avgTableSize=2449.0
152.58/146.60
153.99/148.05 num=378, depth=60..68, filters=28067046, ccks=27623, wck=145.179, mem=232M66
153.99/148.05 decisions=264476, wrong=120801, backtracks=69164, failedAssignments=61900, nogoods=1856, foundSolutions=23, bestBound=31573
153.99/148.05 nFilterCalls=38437942, avgTableProportion=0.9995918372833497, avgTableSize=2449.0
153.99/148.05
155.69/149.70 num=379, depth=54..60, filters=28823291, ccks=27623, wck=146.826, mem=232M66
155.69/149.70 decisions=273529, wrong=125299, backtracks=71664, failedAssignments=64187, nogoods=1873, foundSolutions=23, bestBound=31573
155.69/149.70 nFilterCalls=39239235, avgTableProportion=0.9995918372335192, avgTableSize=2449.0
155.69/149.70
157.59/151.66 num=380, depth=49..57, filters=29753078, ccks=27623, wck=148.789, mem=232M66
157.59/151.66 decisions=283615, wrong=130317, backtracks=74610, failedAssignments=66703, nogoods=1892, foundSolutions=23, bestBound=31573
157.59/151.66 nFilterCalls=40219219, avgTableProportion=0.9995918371752756, avgTableSize=2449.0
157.59/151.66
159.59/153.60 num=381, depth=54..62, filters=30662408, ccks=27623, wck=150.732, mem=232M66
159.59/153.60 decisions=294412, wrong=135686, backtracks=77827, failedAssignments=69471, nogoods=1898, foundSolutions=23, bestBound=31573
159.59/153.60 nFilterCalls=41196064, avgTableProportion=0.9995918371199762, avgTableSize=2449.0
159.59/153.60
161.59/155.67 num=382, depth=58..67, filters=31590125, ccks=27623, wck=152.802, mem=232M66
161.59/155.67 decisions=306014, wrong=141456, backtracks=81175, failedAssignments=72515, nogoods=1903, foundSolutions=23, bestBound=31573
161.59/155.67 nFilterCalls=42185136, avgTableProportion=0.9995918370665939, avgTableSize=2449.0
161.59/155.67
163.89/157.94 num=383, depth=53..61, filters=32611606, ccks=27623, wck=155.071, mem=234M657
163.89/157.94 decisions=319219, wrong=148030, backtracks=85061, failedAssignments=75864, nogoods=1914, foundSolutions=23, bestBound=31573
163.89/157.94 nFilterCalls=43259139, avgTableProportion=0.9995918370113923, avgTableSize=2449.0
163.89/157.94
166.29/160.39 num=384, depth=61..71, filters=33744789, ccks=27623, wck=157.523, mem=234M657
166.29/160.39 decisions=333240, wrong=155008, backtracks=89055, failedAssignments=79548, nogoods=1921, foundSolutions=23, bestBound=31573
166.29/160.39 nFilterCalls=44492782, avgTableProportion=0.9995918369512741, avgTableSize=2449.0
166.29/160.39
169.19/163.23 num=385, depth=58..66, filters=35087126, ccks=27623, wck=160.358, mem=234M657
169.19/163.23 decisions=349538, wrong=163126, backtracks=93701, failedAssignments=83600, nogoods=1935, foundSolutions=23, bestBound=31573
169.19/163.23 nFilterCalls=45909348, avgTableProportion=0.9995918368862267, avgTableSize=2449.0
169.19/163.23
172.20/166.27 num=386, depth=61..69, filters=36551494, ccks=27623, wck=163.402, mem=234M657
172.20/166.27 decisions=366895, wrong=171773, backtracks=98670, failedAssignments=88057, nogoods=1952, foundSolutions=23, bestBound=31573
172.20/166.27 nFilterCalls=47427320, avgTableProportion=0.9995918368208356, avgTableSize=2449.0
172.20/166.27
175.80/169.81 num=387, depth=62..70, filters=38306731, ccks=27623, wck=166.941, mem=234M657
175.80/169.81 decisions=386240, wrong=181413, backtracks=104576, failedAssignments=92960, nogoods=1961, foundSolutions=23, bestBound=31573
175.80/169.81 nFilterCalls=49275503, avgTableProportion=0.9995918367466586, avgTableSize=2449.0
175.80/169.81
179.70/173.80 num=388, depth=54..65, filters=40348333, ccks=27623, wck=170.925, mem=234M657
179.70/173.80 decisions=407970, wrong=192249, backtracks=110709, failedAssignments=98354, nogoods=1970, foundSolutions=23, bestBound=31573
179.70/173.80 nFilterCalls=51373172, avgTableProportion=0.999591836668935, avgTableSize=2449.0
179.70/173.80
183.90/177.98 num=389, depth=55..63, filters=42598939, ccks=27623, wck=175.107, mem=234M657
183.90/177.98 decisions=431783, wrong=204127, backtracks=117509, failedAssignments=104287, nogoods=1986, foundSolutions=23, bestBound=31573
183.90/177.98 nFilterCalls=53697578, avgTableProportion=0.9995918365899027, avgTableSize=2449.0
183.90/177.98
188.30/182.39 num=390, depth=55..66, filters=44786324, ccks=27623, wck=179.517, mem=234M657
188.30/182.39 decisions=458049, wrong=217231, backtracks=125086, failedAssignments=110813, nogoods=2000, foundSolutions=23, bestBound=31573
188.30/182.39 nFilterCalls=55978989, avgTableProportion=0.9995918365187145, avgTableSize=2449.0
188.30/182.39
193.21/187.27 num=391, depth=58..67, filters=47358332, ccks=27623, wck=184.394, mem=237M248
193.21/187.27 decisions=486587, wrong=231469, backtracks=133335, failedAssignments=117992, nogoods=2011, foundSolutions=23, bestBound=31573
193.21/187.27 nFilterCalls=58680354, avgTableProportion=0.9995918364415799, avgTableSize=2449.0
193.21/187.27
198.51/192.57 num=392, depth=54..63, filters=49972727, ccks=27623, wck=189.699, mem=237M248
198.51/192.57 decisions=518677, wrong=247485, backtracks=142519, failedAssignments=125889, nogoods=2027, foundSolutions=23, bestBound=31573
198.51/192.57 nFilterCalls=61424447, avgTableProportion=0.9995918363701716, avgTableSize=2449.0
198.51/192.57
204.02/198.05 num=393, depth=49..58, filters=52838447, ccks=27623, wck=195.179, mem=237M248
204.02/198.05 decisions=552392, wrong=264316, backtracks=152103, failedAssignments=134576, nogoods=2036, foundSolutions=23, bestBound=31573
204.02/198.05 nFilterCalls=64457069, avgTableProportion=0.9995918362983276, avgTableSize=2449.0
204.02/198.05
210.13/204.17 num=394, depth=56..63, filters=55877271, ccks=27623, wck=201.304, mem=237M248
210.13/204.17 decisions=590668, wrong=283424, backtracks=163007, failedAssignments=144131, nogoods=2049, foundSolutions=23, bestBound=31573
210.13/204.17 nFilterCalls=67671628, avgTableProportion=0.9995918362881464, avgTableSize=2449.0
210.13/204.17
216.62/210.67 num=395, depth=50..58, filters=59071691, ccks=27623, wck=207.799, mem=237M248
216.62/210.67 decisions=630473, wrong=303300, backtracks=174355, failedAssignments=154642, nogoods=2064, foundSolutions=23, bestBound=31573
216.62/210.67 nFilterCalls=71029378, avgTableProportion=0.999591836572047, avgTableSize=2449.0
216.62/210.67
224.44/218.41 num=396, depth=47..56, filters=63036514, ccks=27623, wck=215.54, mem=239M839
224.44/218.41 decisions=677309, wrong=326692, backtracks=187911, failedAssignments=166204, nogoods=2077, foundSolutions=23, bestBound=31573
224.44/218.41 nFilterCalls=75136289, avgTableProportion=0.9995918368847917, avgTableSize=2449.0
224.44/218.41
232.94/226.90 num=397, depth=49..57, filters=67753933, ccks=27623, wck=224.031, mem=239M839
232.94/226.90 decisions=728151, wrong=352086, backtracks=202116, failedAssignments=178922, nogoods=2088, foundSolutions=23, bestBound=31573
232.94/226.90 nFilterCalls=80028489, avgTableProportion=0.9995918372154446, avgTableSize=2449.0
232.94/226.90
241.64/235.69 num=398, depth=47..55, filters=72108980, ccks=27623, wck=232.821, mem=239M839
241.64/235.69 decisions=784166, wrong=380069, backtracks=218328, failedAssignments=192912, nogoods=2098, foundSolutions=23, bestBound=31573
241.64/235.69 nFilterCalls=84612601, avgTableProportion=0.9995918374905747, avgTableSize=2449.0
241.64/235.69
251.45/245.41 num=399, depth=51..58, filters=77337635, ccks=27623, wck=242.535, mem=239M839
251.45/245.41 decisions=845500, wrong=410709, backtracks=235406, failedAssignments=208301, nogoods=2113, foundSolutions=23, bestBound=31573
251.45/245.41 nFilterCalls=90123970, avgTableProportion=0.9995918377843036, avgTableSize=2449.0
251.45/245.41
262.96/256.93 num=400, depth=54..61, filters=83286710, ccks=27623, wck=254.061, mem=242M430
262.96/256.93 decisions=913262, wrong=444561, backtracks=254773, failedAssignments=225229, nogoods=2127, foundSolutions=23, bestBound=31573
262.96/256.93 nFilterCalls=96443738, avgTableProportion=0.999591838079798, avgTableSize=2449.0
262.96/256.93
275.66/269.63 num=401, depth=56..64, filters=90453513, ccks=27623, wck=266.754, mem=242M430
275.66/269.63 decisions=987310, wrong=481555, backtracks=275465, failedAssignments=243850, nogoods=2140, foundSolutions=23, bestBound=31573
275.66/269.63 nFilterCalls=103844380, avgTableProportion=0.9995918383801116, avgTableSize=2449.0
275.66/269.63
288.87/282.87 num=402, depth=47..57, filters=97122735, ccks=27623, wck=280.003, mem=245M21
288.87/282.87 decisions=1069314, wrong=522531, backtracks=299419, failedAssignments=264334, nogoods=2150, foundSolutions=23, bestBound=31573
288.87/282.87 nFilterCalls=110932667, avgTableProportion=0.9995918386301814, avgTableSize=2449.0
288.87/282.87
303.48/297.49 num=403, depth=48..58, filters=104662675, ccks=27623, wck=294.617, mem=245M21
303.48/297.49 decisions=1159275, wrong=567485, backtracks=325178, failedAssignments=286866, nogoods=2165, foundSolutions=23, bestBound=31573
303.48/297.49 nFilterCalls=118809867, avgTableProportion=0.9995918388730786, avgTableSize=2449.0
303.48/297.49
319.09/313.06 num=404, depth=45..55, filters=112975520, ccks=27623, wck=310.193, mem=247M612
319.09/313.06 decisions=1255852, wrong=615749, backtracks=353115, failedAssignments=311651, nogoods=2172, foundSolutions=23, bestBound=31573
319.09/313.06 nFilterCalls=127594753, avgTableProportion=0.9995918391085907, avgTableSize=2449.0
319.09/313.06
335.20/329.16 num=405, depth=46..55, filters=121022943, ccks=27623, wck=326.289, mem=247M612
335.20/329.16 decisions=1360662, wrong=668128, backtracks=383473, failedAssignments=338915, nogoods=2184, foundSolutions=23, bestBound=31573
335.20/329.16 nFilterCalls=135987439, avgTableProportion=0.9995918391172521, avgTableSize=2449.0
335.20/329.16
353.39/347.31 num=406, depth=51..61, filters=130216324, ccks=27623, wck=344.434, mem=250M203
353.39/347.31 decisions=1478342, wrong=726940, backtracks=416809, failedAssignments=368905, nogoods=2200, foundSolutions=23, bestBound=31573
353.39/347.31 nFilterCalls=145459619, avgTableProportion=0.9995918383537535, avgTableSize=2449.0
353.39/347.31
373.80/367.77 num=407, depth=60..72, filters=140669290, ccks=27623, wck=364.899, mem=250M203
373.80/367.77 decisions=1604676, wrong=790074, backtracks=453701, failedAssignments=401894, nogoods=2212, foundSolutions=23, bestBound=31573
373.80/367.77 nFilterCalls=156274027, avgTableProportion=0.999591837595223, avgTableSize=2449.0
373.80/367.77
397.01/390.91 num=408, depth=55..64, filters=152821130, ccks=27623, wck=388.036, mem=252M793
397.01/390.91 decisions=1749300, wrong=862356, backtracks=495551, failedAssignments=438182, nogoods=2231, foundSolutions=23, bestBound=31573
397.01/390.91 nFilterCalls=168706461, avgTableProportion=0.9995918368433625, avgTableSize=2449.0
397.01/390.91
421.82/415.70 num=409, depth=51..61, filters=165106277, ccks=27623, wck=412.831, mem=255M384
421.82/415.70 decisions=1908608, wrong=941983, backtracks=541170, failedAssignments=478099, nogoods=2254, foundSolutions=23, bestBound=31573
421.82/415.70 nFilterCalls=181719083, avgTableProportion=0.9995918361666065, avgTableSize=2449.0
421.82/415.70
451.83/445.74 num=410, depth=53..65, filters=181430610, ccks=27623, wck=442.869, mem=257M975
451.83/445.74 decisions=2085074, wrong=1030187, backtracks=591629, failedAssignments=522008, nogoods=2269, foundSolutions=23, bestBound=31573
451.83/445.74 nFilterCalls=198526523, avgTableProportion=0.9995918354237892, avgTableSize=2449.0
451.83/445.74
481.74/475.65 num=411, depth=55..68, filters=196501258, ccks=27623, wck=472.776, mem=260M566
481.74/475.65 decisions=2277050, wrong=1126145, backtracks=647801, failedAssignments=570308, nogoods=2283, foundSolutions=23, bestBound=31573
481.74/475.65 nFilterCalls=214263233, avgTableProportion=0.9995918348339313, avgTableSize=2449.0
481.74/475.65
517.45/511.39 num=412, depth=57..67, filters=215491875, ccks=27623, wck=508.515, mem=263M157
517.45/511.39 decisions=2489552, wrong=1232365, backtracks=709495, failedAssignments=623438, nogoods=2297, foundSolutions=23, bestBound=31573
517.45/511.39 nFilterCalls=233987329, avgTableProportion=0.9995918342066582, avgTableSize=2449.0
517.45/511.39
553.07/546.90 num=413, depth=52..62, filters=233389451, ccks=27623, wck=544.027, mem=265M748
553.07/546.90 decisions=2719683, wrong=1347402, backtracks=776323, failedAssignments=681881, nogoods=2317, foundSolutions=23, bestBound=31573
553.07/546.90 nFilterCalls=252760020, avgTableProportion=0.9995918337005709, avgTableSize=2449.0
553.07/546.90
593.78/587.66 num=414, depth=48..59, filters=255038689, ccks=27623, wck=584.787, mem=268M339
593.78/587.66 decisions=2974772, wrong=1474921, backtracks=852693, failedAssignments=746168, nogoods=2331, foundSolutions=23, bestBound=31573
593.78/587.66 nFilterCalls=275338501, avgTableProportion=0.9995918331832989, avgTableSize=2449.0
593.78/587.66
640.90/634.76 num=415, depth=51..60, filters=280670185, ccks=27623, wck=631.884, mem=273M520
640.90/634.76 decisions=3257416, wrong=1616215, backtracks=934137, failedAssignments=816884, nogoods=2342, foundSolutions=23, bestBound=31573
640.90/634.76 nFilterCalls=301378014, avgTableProportion=0.999591832682972, avgTableSize=2449.0
640.90/634.76
695.62/689.41 num=416, depth=47..57, filters=310660599, ccks=27623, wck=686.542, mem=276M111
695.62/689.41 decisions=3562276, wrong=1768619, backtracks=1020330, failedAssignments=894671, nogoods=2352, foundSolutions=23, bestBound=31573
695.62/689.41 nFilterCalls=332318745, avgTableProportion=0.9995918321904068, avgTableSize=2449.0
695.62/689.41
752.54/746.37 num=417, depth=54..66, filters=342596900, ccks=27623, wck=743.495, mem=281M293
752.54/746.37 decisions=3903728, wrong=1939316, backtracks=1116540, failedAssignments=980237, nogoods=2366, foundSolutions=23, bestBound=31573
752.54/746.37 nFilterCalls=365342175, avgTableProportion=0.999591831756729, avgTableSize=2449.0
752.54/746.37
810.47/804.27 num=418, depth=52..62, filters=371825649, ccks=27623, wck=801.397, mem=286M475
810.47/804.27 decisions=4280787, wrong=2127817, backtracks=1225305, failedAssignments=1074360, nogoods=2382, foundSolutions=23, bestBound=31573
810.47/804.27 nFilterCalls=395973242, avgTableProportion=0.999591831419134, avgTableSize=2449.0
810.47/804.27
873.18/866.99 num=419, depth=57..67, filters=403738420, ccks=27623, wck=864.122, mem=291M656
873.18/866.99 decisions=4694476, wrong=2334630, backtracks=1343133, failedAssignments=1177895, nogoods=2399, foundSolutions=23, bestBound=31573
873.18/866.99 nFilterCalls=429216514, avgTableProportion=0.999591831107273, avgTableSize=2449.0
873.18/866.99
946.42/940.15 num=420, depth=51..65, filters=443793938, ccks=27623, wck=937.283, mem=296M838
946.42/940.15 decisions=5153194, wrong=2563960, backtracks=1478181, failedAssignments=1291784, nogoods=2412, foundSolutions=23, bestBound=31573
946.42/940.15 nFilterCalls=470820834, avgTableProportion=0.9995918307790221, avgTableSize=2449.0
946.42/940.15
1023.35/1017.08 num=421, depth=54..64, filters=482824205, ccks=27623, wck=1014.205, mem=304M611
1023.35/1017.08 decisions=5639425, wrong=2807046, backtracks=1618231, failedAssignments=1417062, nogoods=2433, foundSolutions=23, bestBound=31573
1023.35/1017.08 nFilterCalls=511506489, avgTableProportion=0.9995918305096615, avgTableSize=2449.0
1023.35/1017.08
1121.81/1115.45 num=422, depth=59..70, filters=536019881, ccks=27623, wck=1112.58, mem=204M516
1121.81/1115.45 decisions=6181506, wrong=3078054, backtracks=1781846, failedAssignments=1554868, nogoods=2451, foundSolutions=23, bestBound=31573
1121.81/1115.45 nFilterCalls=566480973, avgTableProportion=0.9995918302071624, avgTableSize=2449.0
1121.81/1115.45
1227.36/1220.95 num=423, depth=56..68, filters=593397025, ccks=27623, wck=1218.078, mem=212M241
1227.36/1220.95 decisions=6780039, wrong=3377290, backtracks=1955959, failedAssignments=1706454, nogoods=2470, foundSolutions=23, bestBound=31573
1227.36/1220.95 nFilterCalls=625924336, avgTableProportion=0.9995918299398643, avgTableSize=2449.0
1227.36/1220.95
1332.39/1325.90 num=424, depth=59..74, filters=647091184, ccks=27623, wck=1323.03, mem=219M966
1332.39/1325.90 decisions=7434875, wrong=3704676, backtracks=2145425, failedAssignments=1873199, nogoods=2493, foundSolutions=23, bestBound=31573
1332.39/1325.90 nFilterCalls=681628342, avgTableProportion=0.999591829731695, avgTableSize=2449.0
1332.39/1325.90
1450.53/1444.08 num=425, depth=54..66, filters=707674499, ccks=27623, wck=1441.206, mem=227M691
1450.53/1444.08 decisions=8174265, wrong=4074342, backtracks=2361081, failedAssignments=2056618, nogoods=2503, foundSolutions=23, bestBound=31573
1450.53/1444.08 nFilterCalls=744620390, avgTableProportion=0.9995918295338146, avgTableSize=2449.0
1450.53/1444.08
1577.38/1570.82 num=426, depth=53..65, filters=772982640, ccks=27623, wck=1567.954, mem=239M279
1577.38/1570.82 decisions=8977113, wrong=4475738, backtracks=2594392, failedAssignments=2258379, nogoods=2526, foundSolutions=23, bestBound=31573
1577.38/1570.82 nFilterCalls=812075082, avgTableProportion=0.9995918293559537, avgTableSize=2449.0
1577.38/1570.82
1721.24/1714.60 num=427, depth=50..64, filters=847409951, ccks=27623, wck=1711.729, mem=250M867
1721.24/1714.60 decisions=9864271, wrong=4919289, backtracks=2853402, failedAssignments=2480317, nogoods=2545, foundSolutions=23, bestBound=31573
1721.24/1714.60 nFilterCalls=888707719, avgTableProportion=0.9995918291866532, avgTableSize=2449.0
1721.24/1714.60
1885.00/1878.36 num=428, depth=52..65, filters=933859830, ccks=27623, wck=1875.488, mem=262M454
1885.00/1878.36 decisions=10839452, wrong=5406851, backtracks=3138828, failedAssignments=2724448, nogoods=2562, foundSolutions=23, bestBound=31573
1885.00/1878.36 nFilterCalls=978534710, avgTableProportion=0.9995918290219618, avgTableSize=2449.0
1885.00/1878.36
2050.88/2044.15 num=429, depth=47..60, filters=1017368746, ccks=27623, wck=2041.277, mem=277M905
2050.88/2044.15 decisions=11911491, wrong=5942844, backtracks=3449632, failedAssignments=2992993, nogoods=2578, foundSolutions=23, bestBound=31573
2050.88/2044.15 nFilterCalls=1065901876, avgTableProportion=0.9995918288884085, avgTableSize=2449.0
2050.88/2044.15
2231.24/2224.45 num=430, depth=55..70, filters=1109554454, ccks=27623, wck=2221.58, mem=293M355
2231.24/2224.45 decisions=13074334, wrong=6524236, backtracks=3783196, failedAssignments=3288392, nogoods=2594, foundSolutions=23, bestBound=31573
2231.24/2224.45 nFilterCalls=1160775230, avgTableProportion=0.9995918287661503, avgTableSize=2449.0
2231.24/2224.45
2438.52/2431.66 num=431, depth=56..67, filters=1216922275, ccks=27623, wck=2428.787, mem=308M805
2438.52/2431.66 decisions=14383056, wrong=7178567, backtracks=4161924, failedAssignments=3613331, nogoods=2614, foundSolutions=23, bestBound=31573
2438.52/2431.66 nFilterCalls=1270769025, avgTableProportion=0.9995918286472582, avgTableSize=2449.0
2438.52/2431.66
2520.06/2513.11
2520.06/2513.11 v <instantiation id='sol23' type='solution' cost='31573'> <list> x[] d[][] </list> <values> 41 3 40 13 48 8 44 1 27 34 5 4 24 33 30 39 43 23 35 14 45 49 46 0 42 16 31 12 18 25 38 28 10 37 32 21 11 29 20 6 15 7 19 26 47 2 36 9 17 22 * 14 39 26 29 6 43 35 46 28 28 39 49 13 19 29 35 33 25 26 4 20 31 33 27 18 22 23 23 31 32 24 25 8 28 24 34 33 30 24 33 21 * 13 44 35 25 27 28 25 * * 19 19 26 7 25 22 2 30 31 21 28 23 23 28 24 47 31 25 24 19 28 21 24 37 21 34 38 9 40 17 19 44 27 28 25 24 19 22 11 24 36 26 * 28 33 24 41 16 * * * 11 17 43 20 9 23 8 36 40 10 44 37 38 43 11 * 5 20 34 18 42 20 34 37 36 14 16 20 30 9 22 23 11 10 32 15 15 14 22 28 19 27 26 11 32 21 24 * * * * 39 23 34 14 29 8 26 29 8 37 26 31 44 21 44 15 17 18 12 17 31 38 14 23 29 36 16 28 11 20 33 26 25 34 27 10 15 16 46 34 14 8 7 * 7 30 * * * * * 13 30 15 43 26 6 14 35 48 45 16 40 35 34 22 12 31 28 34 29 * 17 10 23 36 22 28 20 18 42 26 35 23 46 17 27 23 26 29 31 30 41 42 14 32 * * * * * * 38 43 18 27 23 36 44 33 39 42 28 35 18 37 11 16 21 19 4 19 16 35 26 38 27 22 35 14 10 7 * 5 19 34 29 38 27 12 17 9 25 48 32 17 * * * * * * * 29 8 29 35 35 43 8 21 13 13 30 28 8 44 * 14 29 40 24 31 32 21 37 26 44 23 26 37 5 33 23 24 29 10 35 29 10 35 32 33 43 27 26 * * * * * * * * 27 25 22 30 42 15 29 44 25 17 29 22 28 31 35 23 13 * 17 22 36 26 12 44 28 18 25 34 26 31 38 24 36 38 31 31 23 26 11 29 26 24 * * * * * * * * * 24 32 10 33 32 24 18 32 33 27 29 22 27 14 29 46 19 38 14 18 25 7 37 16 21 47 25 20 22 25 34 30 20 30 18 33 15 30 40 33 14 * * * * * * * * * * 17 38 29 7 34 27 25 36 20 36 30 33 19 31 27 28 36 46 29 24 14 27 23 35 34 22 33 35 35 15 15 27 42 26 * 4 20 28 24 26 * * * * * * * * * * * 17 20 13 29 30 24 29 30 24 36 28 7 22 14 20 26 14 29 30 30 23 26 27 28 16 19 33 37 27 16 30 27 34 26 18 29 30 * 29 * * * * * * * * * * * * 2 44 38 36 3 31 43 30 21 38 22 31 27 35 19 27 34 26 9 20 40 17 29 16 22 25 11 6 33 * 21 49 33 27 41 28 35 28 * * * * * * * * * * * * * 9 41 28 13 * 45 23 24 19 5 30 13 28 40 21 37 34 14 31 15 38 17 29 26 21 28 18 19 30 26 26 18 27 39 16 25 28 * * * * * * * * * * * * * * 39 17 28 14 14 36 40 28 40 20 38 26 26 34 29 30 35 31 16 22 33 33 33 29 24 27 * 29 34 17 35 36 10 34 9 32 * * * * * * * * * * * * * * * 24 47 28 6 26 28 20 27 25 43 34 34 37 28 26 29 42 33 22 33 * 20 17 20 24 30 49 27 20 21 32 39 27 38 15 * * * * * * * * * * * * * * * * 38 27 24 27 24 32 21 14 * 36 41 30 22 29 31 21 15 23 28 17 26 37 5 30 42 28 29 23 8 25 27 18 41 28 * * * * * * * * * * * * * * * * * 29 32 32 21 19 37 24 39 31 31 9 38 31 24 35 32 36 11 6 26 20 24 12 41 41 18 34 39 5 5 37 14 36 * * * * * * * * * * * * * * * * * * 45 14 18 29 13 7 33 5 22 31 34 35 22 22 19 16 42 13 31 25 31 41 26 8 19 39 24 25 16 24 35 38 * * * * * * * * * * * * * * * * * * * 14 41 38 35 11 35 31 12 47 35 45 25 29 13 36 7 28 33 26 45 44 23 11 14 29 24 26 10 33 18 23 * * * * * * * * * * * * * * * * * * * * 8 34 17 25 44 22 28 28 17 47 26 14 30 30 22 32 42 44 * 20 35 38 32 29 14 31 26 35 21 33 * * * * * * * * * * * * * * * * * * * * * 26 31 37 17 27 30 33 26 35 12 27 8 * 48 30 25 47 24 27 29 38 18 30 3 25 18 37 24 22 * * * * * * * * * * * * * * * * * * * * * * 22 29 35 20 34 32 25 24 24 45 6 12 19 19 8 4 22 15 23 38 24 27 19 29 35 44 * 35 * * * * * * * * * * * * * * * * * * * * * * * 23 25 34 35 39 29 27 42 31 11 42 37 22 21 23 15 25 20 * 14 23 21 9 26 23 15 16 * * * * * * * * * * * * * * * * * * * * * * * * 34 10 14 33 44 14 35 23 27 26 21 40 12 29 29 41 25 47 31 33 28 27 38 19 27 12 * * * * * * * * * * * * * * * * * * * * * * * * * 39 35 31 32 26 37 6 40 13 33 21 25 24 34 30 27 15 22 * 32 6 11 30 29 47 * * * * * * * * * * * * * * * * * * * * * * * * * * 15 26 23 25 34 * 18 33 14 9 21 37 31 15 45 37 15 28 27 16 35 35 36 18 * * * * * * * * * * * * * * * * * * * * * * * * * * * 24 42 20 21 23 39 16 27 19 19 26 21 28 24 35 48 16 33 40 25 27 24 35 * * * * * * * * * * * * * * * * * * * * * * * * * * * * 16 13 30 9 18 26 19 33 41 35 5 37 16 25 37 15 31 21 24 33 41 27 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 16 14 41 21 24 2 18 24 22 15 44 11 31 17 25 36 46 27 34 * 32 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 25 22 22 24 11 21 22 28 22 36 35 27 11 32 34 14 23 47 * 22 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 29 25 7 41 30 21 15 14 25 27 35 24 17 29 27 33 24 21 35 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 25 31 28 38 33 35 20 44 28 25 14 29 20 12 21 36 38 27 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 29 19 31 17 48 * 22 36 20 16 27 18 9 11 19 6 13 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 35 25 34 30 35 33 33 26 29 22 28 21 24 46 30 32 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 13 8 44 17 35 34 25 12 34 45 25 31 22 38 20 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 32 32 11 10 34 11 28 16 17 29 41 22 17 30 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 16 13 22 32 21 7 35 20 15 39 42 41 36 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 35 36 28 34 38 * 27 13 7 34 28 14 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 24 35 18 28 33 42 27 28 5 28 26 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 42 26 45 27 11 19 36 11 * 10 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 25 12 16 14 7 28 28 33 21 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 5 13 11 21 19 25 34 35 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 41 10 22 17 29 20 36 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 30 19 16 21 22 31 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 32 42 30 19 7 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 38 48 6 26 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 22 14 17 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 11 15 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 11 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * </values> </instantiation>
2520.06/2513.11 s SATISFIABLE