2.41/1.87
2.41/1.87 AbsCon 2
2.41/1.89
3.34/2.19 Instance
3.34/2.19 name=instance-4391337-1568389158, framework=COP, bounds=-infty..+infty
3.34/2.19
3.34/2.19 Loading variables...
3.67/2.29 Loading constraints...
5.02/2.61
5.02/2.61 Domains
5.02/2.61 nTypes=2, nValues=61251, sizes=[49#1199,50#50]
5.02/2.61 Variables
5.02/2.61 count=1249, degrees=[2#1199,45#1,47#1,48#6,49#32,50#10]
5.02/2.61 Objectives
5.02/2.61 way=min, type=SumWeightedLE
5.02/2.61 Constraints
5.02/2.61 count=1201, nSpecific=1201, arities=[3#1199,50#1,1199#1]
5.02/2.61 distribution=[AllDifferent#1,CtrExtensionCT-Table#1199,SumWeightedLE#1]
5.02/2.61 tables=[2450#1199], nTotalTuples=2937550
5.02/2.61 nExtStructures=(1,shared:1198)
5.02/2.61 wck=0.769, cpu=2.574, mem=142M778
5.53/2.80 Solver SolverBacktrack being built...
5.53/2.80
5.53/2.83
5.53/2.83 Solver
5.53/2.83 guaranteedGAC=true
5.53/2.83 wck=0.984, cpu=2.746, mem=207M98
5.76/2.91
5.76/2.91 Preprocessing
5.76/2.91 filters=1199, nACremovedValues=1199, nTotalRemovedValues=1199, inconcistency=false
5.76/2.91 wck=0.078, cpu=2.827, mem=207M98
5.76/2.91
6.54/3.21 o 31919
6.73/3.32 num=0, depth=1250..1248, filters=16208, ccks=1201, wck=0.489, mem=218M518
6.73/3.32 decisions=49, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=1, bestBound=31919
6.73/3.32 nFilterCalls=41808, avgTableProportion=0.9995918367348966, avgTableSize=2449.0
6.73/3.32
7.29/3.61 num=1, depth=45..48, filters=35246, ccks=1201, wck=0.785, mem=218M518
7.29/3.61 decisions=137, wrong=21, backtracks=11, failedAssignments=11, nogoods=4, foundSolutions=1, bestBound=31919
7.29/3.61 nFilterCalls=85453, avgTableProportion=0.9995918367349023, avgTableSize=2449.0
7.29/3.61
7.29/3.64 num=2, depth=15..16, filters=37404, ccks=1201, wck=0.814, mem=218M518
7.29/3.64 decisions=176, wrong=33, backtracks=12, failedAssignments=22, nogoods=15, foundSolutions=1, bestBound=31919
7.29/3.64 nFilterCalls=87619, avgTableProportion=0.9995918367349024, avgTableSize=2449.0
7.29/3.64
8.51/4.11 o 31819
8.71/4.20 num=3, depth=1250..1248, filters=53438, ccks=2402, wck=1.368, mem=178M291
8.71/4.20 decisions=251, wrong=33, backtracks=12, failedAssignments=22, nogoods=15, foundSolutions=2, bestBound=31819
8.71/4.20 nFilterCalls=129457, avgTableProportion=0.9995918367349041, avgTableSize=2449.0
8.71/4.20
8.91/4.47 num=4, depth=70..75, filters=75361, ccks=2402, wck=1.637, mem=180M902
8.91/4.47 decisions=380, wrong=61, backtracks=31, failedAssignments=35, nogoods=17, foundSolutions=2, bestBound=31819
8.91/4.47 nFilterCalls=177294, avgTableProportion=0.999591836734905, avgTableSize=2449.0
8.91/4.47
9.21/4.72 num=5, depth=72..76, filters=95147, ccks=2402, wck=1.888, mem=180M902
9.21/4.72 decisions=491, wrong=80, backtracks=46, failedAssignments=46, nogoods=20, foundSolutions=2, bestBound=31819
9.21/4.72 nFilterCalls=221586, avgTableProportion=0.9995918367349056, avgTableSize=2449.0
9.21/4.72
9.44/4.97 num=6, depth=62..66, filters=115266, ccks=2402, wck=2.146, mem=183M517
9.44/4.97 decisions=597, wrong=102, backtracks=59, failedAssignments=58, nogoods=24, foundSolutions=2, bestBound=31819
9.44/4.97 nFilterCalls=266307, avgTableProportion=0.9995918367344628, avgTableSize=2449.0
9.44/4.97
9.75/5.23 num=7, depth=68..72, filters=136370, ccks=2402, wck=2.403, mem=186M137
9.75/5.23 decisions=713, wrong=126, backtracks=72, failedAssignments=71, nogoods=25, foundSolutions=2, bestBound=31819
9.75/5.23 nFilterCalls=311275, avgTableProportion=0.9995918367303226, avgTableSize=2449.0
9.75/5.23
9.96/5.48 o 31810
10.14/5.57 num=8, depth=67..1248, filters=154022, ccks=3603, wck=2.737, mem=188M758
10.14/5.57 decisions=798, wrong=134, backtracks=76, failedAssignments=75, nogoods=27, foundSolutions=3, bestBound=31810
10.14/5.57 nFilterCalls=353491, avgTableProportion=0.9995918367273945, avgTableSize=2449.0
10.14/5.57
10.50/5.85 num=9, depth=69..74, filters=177469, ccks=3603, wck=3.019, mem=188M758
10.50/5.85 decisions=929, wrong=164, backtracks=95, failedAssignments=91, nogoods=29, foundSolutions=3, bestBound=31810
10.50/5.85 nFilterCalls=401627, avgTableProportion=0.9995918367248068, avgTableSize=2449.0
10.50/5.85
10.82/6.12 num=10, depth=73..77, filters=198630, ccks=3603, wck=3.29, mem=191M378
10.82/6.12 decisions=1042, wrong=184, backtracks=108, failedAssignments=102, nogoods=32, foundSolutions=3, bestBound=31810
10.82/6.12 nFilterCalls=445900, avgTableProportion=0.99959183672292, avgTableSize=2449.0
10.82/6.12
11.16/6.41 num=11, depth=66..69, filters=218225, ccks=3603, wck=3.581, mem=191M378
11.16/6.41 decisions=1148, wrong=204, backtracks=119, failedAssignments=114, nogoods=38, foundSolutions=3, bestBound=31810
11.16/6.41 nFilterCalls=490091, avgTableProportion=0.9995918367213766, avgTableSize=2449.0
11.16/6.41
11.36/6.68 num=12, depth=65..70, filters=239702, ccks=3603, wck=3.849, mem=193M992
11.36/6.68 decisions=1266, wrong=230, backtracks=135, failedAssignments=127, nogoods=40, foundSolutions=3, bestBound=31810
11.36/6.68 nFilterCalls=535757, avgTableProportion=0.9995918367200493, avgTableSize=2449.0
11.36/6.68
11.66/6.93 o 31808
11.79/7.02 num=13, depth=1250..1248, filters=255262, ccks=4804, wck=4.183, mem=193M992
11.79/7.02 decisions=1336, wrong=230, backtracks=135, failedAssignments=127, nogoods=40, foundSolutions=4, bestBound=31808
11.79/7.02 nFilterCalls=576441, avgTableProportion=0.9995918367190438, avgTableSize=2449.0
11.79/7.02
11.98/7.29 o 31798
12.10/7.37 num=14, depth=67..1248, filters=274379, ccks=6005, wck=4.545, mem=196M600
12.10/7.37 decisions=1429, wrong=242, backtracks=142, failedAssignments=134, nogoods=41, foundSolutions=5, bestBound=31798
12.10/7.37 nFilterCalls=620691, avgTableProportion=0.9995918367180999, avgTableSize=2449.0
12.10/7.37
12.41/7.65 num=15, depth=70..74, filters=293436, ccks=6005, wck=4.825, mem=196M600
12.41/7.65 decisions=1539, wrong=262, backtracks=154, failedAssignments=145, nogoods=44, foundSolutions=5, bestBound=31798
12.41/7.65 nFilterCalls=665993, avgTableProportion=0.9995918367172636, avgTableSize=2449.0
12.41/7.65
12.71/7.92 num=16, depth=62..65, filters=312928, ccks=6005, wck=5.093, mem=196M600
12.71/7.92 decisions=1640, wrong=281, backtracks=164, failedAssignments=156, nogoods=50, foundSolutions=5, bestBound=31798
12.71/7.92 nFilterCalls=709833, avgTableProportion=0.9995918367165558, avgTableSize=2449.0
12.71/7.92
12.95/8.19 num=17, depth=67..71, filters=333712, ccks=6005, wck=5.362, mem=196M600
12.95/8.19 decisions=1755, wrong=305, backtracks=180, failedAssignments=168, nogoods=51, foundSolutions=5, bestBound=31798
12.95/8.19 nFilterCalls=754195, avgTableProportion=0.9995918367159233, avgTableSize=2449.0
12.95/8.19
13.24/8.47 num=18, depth=61..65, filters=352094, ccks=6005, wck=5.639, mem=199M215
13.24/8.47 decisions=1858, wrong=326, backtracks=192, failedAssignments=181, nogoods=56, foundSolutions=5, bestBound=31798
13.24/8.47 nFilterCalls=799171, avgTableProportion=0.9995918367153539, avgTableSize=2449.0
13.24/8.47
13.55/8.74 num=19, depth=62..66, filters=372705, ccks=6005, wck=5.911, mem=199M215
13.55/8.74 decisions=1977, wrong=354, backtracks=209, failedAssignments=195, nogoods=60, foundSolutions=5, bestBound=31798
13.55/8.74 nFilterCalls=845150, avgTableProportion=0.9995918367148343, avgTableSize=2449.0
13.55/8.74
13.88/9.01 num=20, depth=56..61, filters=393340, ccks=6005, wck=6.181, mem=199M215
13.88/9.01 decisions=2095, wrong=384, backtracks=227, failedAssignments=211, nogoods=62, foundSolutions=5, bestBound=31798
13.88/9.01 nFilterCalls=891570, avgTableProportion=0.9995918367143641, avgTableSize=2449.0
13.88/9.01
14.10/9.28 num=21, depth=59..63, filters=414683, ccks=6005, wck=6.451, mem=199M215
14.10/9.28 decisions=2218, wrong=415, backtracks=244, failedAssignments=228, nogoods=70, foundSolutions=5, bestBound=31798
14.10/9.28 nFilterCalls=938261, avgTableProportion=0.9995918367139381, avgTableSize=2449.0
14.10/9.28
14.40/9.55 num=22, depth=56..60, filters=436413, ccks=6005, wck=6.721, mem=199M215
14.40/9.55 decisions=2343, wrong=449, backtracks=263, failedAssignments=247, nogoods=74, foundSolutions=5, bestBound=31798
14.40/9.55 nFilterCalls=985354, avgTableProportion=0.9995918367135493, avgTableSize=2449.0
14.40/9.55
14.70/9.82 num=23, depth=57..61, filters=459983, ccks=6005, wck=6.996, mem=199M215
14.70/9.82 decisions=2484, wrong=491, backtracks=289, failedAssignments=268, nogoods=76, foundSolutions=5, bestBound=31798
14.70/9.82 nFilterCalls=1034147, avgTableProportion=0.999591836713184, avgTableSize=2449.0
14.70/9.82
14.91/10.09 o 31794
15.04/10.17 num=24, depth=59..1248, filters=480697, ccks=7206, wck=7.341, mem=199M215
15.04/10.17 decisions=2603, wrong=519, backtracks=308, failedAssignments=282, nogoods=78, foundSolutions=6, bestBound=31794
15.04/10.17 nFilterCalls=1080278, avgTableProportion=0.9995918367128689, avgTableSize=2449.0
15.04/10.17
15.33/10.46 num=25, depth=60..65, filters=506604, ccks=7206, wck=7.631, mem=201M829
15.33/10.46 decisions=2759, wrong=567, backtracks=337, failedAssignments=307, nogoods=79, foundSolutions=6, bestBound=31794
15.33/10.46 nFilterCalls=1131885, avgTableProportion=0.9995918367125468, avgTableSize=2449.0
15.33/10.46
15.63/10.73 num=26, depth=66..69, filters=526294, ccks=7206, wck=7.9, mem=201M829
15.63/10.73 decisions=2862, wrong=585, backtracks=346, failedAssignments=318, nogoods=85, foundSolutions=6, bestBound=31794
15.63/10.73 nFilterCalls=1175984, avgTableProportion=0.9995918367122939, avgTableSize=2449.0
15.63/10.73
15.85/11.00 num=27, depth=65..68, filters=545743, ccks=7206, wck=8.17, mem=201M829
15.85/11.00 decisions=2971, wrong=607, backtracks=358, failedAssignments=330, nogoods=92, foundSolutions=6, bestBound=31794
15.85/11.00 nFilterCalls=1220452, avgTableProportion=0.9995918367120574, avgTableSize=2449.0
15.85/11.00
16.15/11.28 num=28, depth=66..70, filters=566371, ccks=7206, wck=8.453, mem=201M829
16.15/11.28 decisions=3081, wrong=629, backtracks=372, failedAssignments=343, nogoods=97, foundSolutions=6, bestBound=31794
16.15/11.28 nFilterCalls=1266403, avgTableProportion=0.9995918367118305, avgTableSize=2449.0
16.15/11.28
16.45/11.55 num=29, depth=55..60, filters=589302, ccks=7206, wck=8.717, mem=201M829
16.45/11.55 decisions=3195, wrong=657, backtracks=388, failedAssignments=357, nogoods=99, foundSolutions=6, bestBound=31794
16.45/11.55 nFilterCalls=1311379, avgTableProportion=0.9995918367116239, avgTableSize=2449.0
16.45/11.55
16.75/11.82 num=30, depth=63..67, filters=610375, ccks=7206, wck=8.989, mem=201M829
16.75/11.82 decisions=3320, wrong=687, backtracks=404, failedAssignments=373, nogoods=102, foundSolutions=6, bestBound=31794
16.75/11.82 nFilterCalls=1357733, avgTableProportion=0.9995918367114252, avgTableSize=2449.0
16.75/11.82
16.96/12.09 num=31, depth=64..68, filters=632516, ccks=7206, wck=9.264, mem=201M829
16.96/12.09 decisions=3453, wrong=721, backtracks=425, failedAssignments=390, nogoods=105, foundSolutions=6, bestBound=31794
16.96/12.09 nFilterCalls=1405206, avgTableProportion=0.9995918367112352, avgTableSize=2449.0
16.96/12.09
17.25/12.36 num=32, depth=61..67, filters=654983, ccks=7206, wck=9.535, mem=201M829
17.25/12.36 decisions=3591, wrong=759, backtracks=453, failedAssignments=409, nogoods=111, foundSolutions=6, bestBound=31794
17.25/12.36 nFilterCalls=1453102, avgTableProportion=0.9995918367110562, avgTableSize=2449.0
17.25/12.36
17.56/12.63 num=33, depth=64..69, filters=679687, ccks=7206, wck=9.803, mem=201M829
17.56/12.63 decisions=3735, wrong=799, backtracks=477, failedAssignments=430, nogoods=115, foundSolutions=6, bestBound=31794
17.56/12.63 nFilterCalls=1500366, avgTableProportion=0.9995918367108908, avgTableSize=2449.0
17.56/12.63
17.86/12.91 num=34, depth=67..71, filters=705477, ccks=7206, wck=10.077, mem=204M449
17.86/12.91 decisions=3898, wrong=846, backtracks=504, failedAssignments=453, nogoods=121, foundSolutions=6, bestBound=31794
17.86/12.91 nFilterCalls=1549353, avgTableProportion=0.9995918367107299, avgTableSize=2449.0
17.86/12.91
18.07/13.19 num=35, depth=62..66, filters=729929, ccks=7206, wck=10.364, mem=204M449
18.07/13.19 decisions=4049, wrong=890, backtracks=528, failedAssignments=478, nogoods=129, foundSolutions=6, bestBound=31794
18.07/13.19 nFilterCalls=1599767, avgTableProportion=0.9995918367105747, avgTableSize=2449.0
18.07/13.19
18.36/13.44 o 31778
18.46/13.52 num=36, depth=1250..1248, filters=746093, ccks=8407, wck=10.696, mem=204M449
18.46/13.52 decisions=4118, wrong=890, backtracks=528, failedAssignments=478, nogoods=129, foundSolutions=7, bestBound=31778
18.46/13.52 nFilterCalls=1640378, avgTableProportion=0.9995918367104566, avgTableSize=2449.0
18.46/13.52
18.67/13.79 o 31770
18.77/13.87 num=37, depth=68..1248, filters=763192, ccks=9608, wck=11.04, mem=204M449
18.77/13.87 decisions=4195, wrong=894, backtracks=530, failedAssignments=480, nogoods=130, foundSolutions=8, bestBound=31770
18.77/13.87 nFilterCalls=1683004, avgTableProportion=0.9995918367103387, avgTableSize=2449.0
18.77/13.87
19.08/14.14 num=38, depth=70..74, filters=783072, ccks=9608, wck=11.316, mem=204M449
19.08/14.14 decisions=4302, wrong=912, backtracks=541, failedAssignments=491, nogoods=133, foundSolutions=8, bestBound=31770
19.08/14.14 nFilterCalls=1728207, avgTableProportion=0.9995918367102201, avgTableSize=2449.0
19.08/14.14
19.37/14.40 o 31769
19.37/14.48 num=39, depth=65..1248, filters=800574, ccks=10809, wck=11.651, mem=204M449
19.37/14.48 decisions=4387, wrong=921, backtracks=546, failedAssignments=496, nogoods=136, foundSolutions=9, bestBound=31769
19.37/14.48 nFilterCalls=1770508, avgTableProportion=0.9995918367101146, avgTableSize=2449.0
19.37/14.48
19.67/14.76 num=40, depth=68..72, filters=820979, ccks=10809, wck=11.935, mem=204M449
19.67/14.76 decisions=4503, wrong=945, backtracks=559, failedAssignments=508, nogoods=137, foundSolutions=9, bestBound=31769
19.67/14.76 nFilterCalls=1817114, avgTableProportion=0.9995918367100041, avgTableSize=2449.0
19.67/14.76
19.98/15.03 num=41, depth=63..68, filters=841733, ccks=10809, wck=12.203, mem=207M58
19.98/15.03 decisions=4610, wrong=967, backtracks=573, failedAssignments=519, nogoods=140, foundSolutions=9, bestBound=31769
19.98/15.03 nFilterCalls=1861258, avgTableProportion=0.9995918367099045, avgTableSize=2449.0
19.98/15.03
20.27/15.30 num=42, depth=64..70, filters=862908, ccks=10809, wck=12.473, mem=207M58
20.27/15.30 decisions=4727, wrong=993, backtracks=591, failedAssignments=531, nogoods=142, foundSolutions=9, bestBound=31769
20.27/15.30 nFilterCalls=1906531, avgTableProportion=0.999591836709807, avgTableSize=2449.0
20.27/15.30
20.47/15.57 num=43, depth=60..65, filters=882562, ccks=10809, wck=12.74, mem=207M58
20.47/15.57 decisions=4835, wrong=1017, backtracks=604, failedAssignments=544, nogoods=143, foundSolutions=9, bestBound=31769
20.47/15.57 nFilterCalls=1951463, avgTableProportion=0.9995918367097149, avgTableSize=2449.0
20.47/15.57
20.77/15.84 num=44, depth=63..68, filters=903103, ccks=10809, wck=13.008, mem=207M58
20.77/15.84 decisions=4950, wrong=1042, backtracks=618, failedAssignments=558, nogoods=145, foundSolutions=9, bestBound=31769
20.77/15.84 nFilterCalls=1996875, avgTableProportion=0.9995918367096259, avgTableSize=2449.0
20.77/15.84
21.08/16.11 num=45, depth=61..66, filters=924698, ccks=10809, wck=13.28, mem=207M58
21.08/16.11 decisions=5071, wrong=1072, backtracks=637, failedAssignments=574, nogoods=147, foundSolutions=9, bestBound=31769
21.08/16.11 nFilterCalls=2042740, avgTableProportion=0.9995918367095401, avgTableSize=2449.0
21.08/16.11
21.27/16.38 num=46, depth=64..68, filters=946163, ccks=10809, wck=13.554, mem=207M58
21.27/16.38 decisions=5199, wrong=1103, backtracks=653, failedAssignments=591, nogoods=151, foundSolutions=9, bestBound=31769
21.27/16.38 nFilterCalls=2089316, avgTableProportion=0.9995918367094568, avgTableSize=2449.0
21.27/16.38
21.58/16.66 num=47, depth=60..64, filters=967307, ccks=10809, wck=13.827, mem=207M58
21.58/16.66 decisions=5335, wrong=1140, backtracks=674, failedAssignments=610, nogoods=157, foundSolutions=9, bestBound=31769
21.58/16.66 nFilterCalls=2136331, avgTableProportion=0.9995918367093765, avgTableSize=2449.0
21.58/16.66
21.88/16.94 num=48, depth=65..69, filters=990566, ccks=10809, wck=14.11, mem=207M58
21.88/16.94 decisions=5474, wrong=1177, backtracks=697, failedAssignments=631, nogoods=161, foundSolutions=9, bestBound=31769
21.88/16.94 nFilterCalls=2185584, avgTableProportion=0.999591836709296, avgTableSize=2449.0
21.88/16.94
22.18/17.22 num=49, depth=63..68, filters=1016157, ccks=10809, wck=14.391, mem=207M58
22.18/17.22 decisions=5627, wrong=1221, backtracks=723, failedAssignments=654, nogoods=164, foundSolutions=9, bestBound=31769
22.18/17.22 nFilterCalls=2234766, avgTableProportion=0.999591836709219, avgTableSize=2449.0
22.18/17.22
22.38/17.50 num=50, depth=61..67, filters=1040856, ccks=10809, wck=14.668, mem=207M58
22.38/17.50 decisions=5779, wrong=1266, backtracks=752, failedAssignments=679, nogoods=171, foundSolutions=9, bestBound=31769
22.38/17.50 nFilterCalls=2283814, avgTableProportion=0.9995918367091458, avgTableSize=2449.0
22.38/17.50
22.69/17.78 num=51, depth=68..72, filters=1066541, ccks=10809, wck=14.956, mem=207M58
22.69/17.78 decisions=5942, wrong=1313, backtracks=774, failedAssignments=707, nogoods=178, foundSolutions=9, bestBound=31769
22.69/17.78 nFilterCalls=2335752, avgTableProportion=0.9995918367090714, avgTableSize=2449.0
22.69/17.78
23.00/18.07 num=52, depth=66..71, filters=1094342, ccks=10809, wck=15.242, mem=207M58
23.00/18.07 decisions=6129, wrong=1373, backtracks=807, failedAssignments=738, nogoods=180, foundSolutions=9, bestBound=31769
23.00/18.07 nFilterCalls=2388931, avgTableProportion=0.9995918367089986, avgTableSize=2449.0
23.00/18.07
23.29/18.36 num=53, depth=65..69, filters=1121250, ccks=10809, wck=15.531, mem=207M58
23.29/18.36 decisions=6315, wrong=1433, backtracks=840, failedAssignments=772, nogoods=184, foundSolutions=9, bestBound=31769
23.29/18.36 nFilterCalls=2441490, avgTableProportion=0.9995918367089299, avgTableSize=2449.0
23.29/18.36
23.59/18.65 num=54, depth=64..69, filters=1150495, ccks=10809, wck=15.82, mem=207M58
23.59/18.65 decisions=6517, wrong=1501, backtracks=882, failedAssignments=809, nogoods=190, foundSolutions=9, bestBound=31769
23.59/18.65 nFilterCalls=2496458, avgTableProportion=0.9995918367088611, avgTableSize=2449.0
23.59/18.65
23.89/18.93 o 31766
24.00/19.01 num=55, depth=60..1248, filters=1180902, ccks=12010, wck=16.185, mem=207M58
24.00/19.01 decisions=6738, wrong=1580, backtracks=932, failedAssignments=849, nogoods=193, foundSolutions=10, bestBound=31766
24.00/19.01 nFilterCalls=2552959, avgTableProportion=0.9995918367087934, avgTableSize=2449.0
24.00/19.01
24.29/19.32 num=56, depth=62..69, filters=1212415, ccks=12010, wck=16.494, mem=207M58
24.29/19.32 decisions=6954, wrong=1656, backtracks=977, failedAssignments=894, nogoods=195, foundSolutions=10, bestBound=31766
24.29/19.32 nFilterCalls=2610506, avgTableProportion=0.9995918367087275, avgTableSize=2449.0
24.29/19.32
24.49/19.59 num=57, depth=73..78, filters=1233408, ccks=12010, wck=16.766, mem=207M58
24.49/19.59 decisions=7069, wrong=1677, backtracks=990, failedAssignments=905, nogoods=198, foundSolutions=10, bestBound=31766
24.49/19.59 nFilterCalls=2655512, avgTableProportion=0.999591836708678, avgTableSize=2449.0
24.49/19.59
24.79/19.87 num=58, depth=69..74, filters=1253539, ccks=12010, wck=17.041, mem=207M58
24.79/19.87 decisions=7182, wrong=1699, backtracks=1003, failedAssignments=917, nogoods=201, foundSolutions=10, bestBound=31766
24.79/19.87 nFilterCalls=2700571, avgTableProportion=0.99959183670863, avgTableSize=2449.0
24.79/19.87
25.10/20.13 o 31765
25.19/20.21 num=59, depth=1250..1248, filters=1270369, ccks=13211, wck=17.381, mem=207M58
25.19/20.21 decisions=7254, wrong=1699, backtracks=1003, failedAssignments=917, nogoods=201, foundSolutions=11, bestBound=31765
25.19/20.21 nFilterCalls=2741290, avgTableProportion=0.999591836708588, avgTableSize=2449.0
25.19/20.21
25.49/20.50 num=60, depth=70..74, filters=1291497, ccks=13211, wck=17.67, mem=207M58
25.49/20.50 decisions=7379, wrong=1726, backtracks=1022, failedAssignments=931, nogoods=203, foundSolutions=11, bestBound=31765
25.49/20.50 nFilterCalls=2788445, avgTableProportion=0.9995918367085409, avgTableSize=2449.0
25.49/20.50
25.69/20.77 num=61, depth=69..73, filters=1312716, ccks=13211, wck=17.942, mem=207M58
25.69/20.77 decisions=7488, wrong=1746, backtracks=1036, failedAssignments=942, nogoods=205, foundSolutions=11, bestBound=31765
25.69/20.77 nFilterCalls=2833104, avgTableProportion=0.9995918367084978, avgTableSize=2449.0
25.69/20.77
26.00/21.04 o 31761
26.11/21.12 num=62, depth=67..1248, filters=1329554, ccks=14412, wck=18.29, mem=209M678
26.11/21.12 decisions=7560, wrong=1748, backtracks=1037, failedAssignments=943, nogoods=206, foundSolutions=12, bestBound=31761
26.11/21.12 nFilterCalls=2875079, avgTableProportion=0.9995918367084585, avgTableSize=2449.0
26.11/21.12
26.40/21.40 num=63, depth=67..71, filters=1349726, ccks=14412, wck=18.574, mem=209M678
26.40/21.40 decisions=7675, wrong=1772, backtracks=1050, failedAssignments=956, nogoods=207, foundSolutions=12, bestBound=31761
26.40/21.40 nFilterCalls=2921678, avgTableProportion=0.9995918367084161, avgTableSize=2449.0
26.40/21.40
26.60/21.68 num=64, depth=70..75, filters=1370839, ccks=14412, wck=18.848, mem=209M678
26.60/21.68 decisions=7789, wrong=1794, backtracks=1063, failedAssignments=967, nogoods=210, foundSolutions=12, bestBound=31761
26.60/21.68 nFilterCalls=2966807, avgTableProportion=0.9995918367083764, avgTableSize=2449.0
26.60/21.68
26.90/21.95 num=65, depth=69..72, filters=1392148, ccks=14412, wck=19.124, mem=209M678
26.90/21.95 decisions=7902, wrong=1816, backtracks=1074, failedAssignments=979, nogoods=217, foundSolutions=12, bestBound=31761
26.90/21.95 nFilterCalls=3011654, avgTableProportion=0.9995918367083381, avgTableSize=2449.0
26.90/21.95
27.20/22.23 num=66, depth=68..71, filters=1412034, ccks=14412, wck=19.397, mem=209M678
27.20/22.23 decisions=8014, wrong=1838, backtracks=1086, failedAssignments=992, nogoods=223, foundSolutions=12, bestBound=31761
27.20/22.23 nFilterCalls=3056547, avgTableProportion=0.9995918367083009, avgTableSize=2449.0
27.20/22.23
27.50/22.50 num=67, depth=65..70, filters=1432746, ccks=14412, wck=19.674, mem=209M678
27.50/22.50 decisions=8133, wrong=1864, backtracks=1102, failedAssignments=1006, nogoods=225, foundSolutions=12, bestBound=31761
27.50/22.50 nFilterCalls=3102289, avgTableProportion=0.999591836708264, avgTableSize=2449.0
27.50/22.50
27.70/22.78 num=68, depth=70..75, filters=1456470, ccks=14412, wck=19.956, mem=209M678
27.70/22.78 decisions=8265, wrong=1894, backtracks=1122, failedAssignments=1022, nogoods=228, foundSolutions=12, bestBound=31761
27.70/22.78 nFilterCalls=3149018, avgTableProportion=0.9995918367082276, avgTableSize=2449.0
27.70/22.78
28.01/23.06 num=69, depth=70..74, filters=1480838, ccks=14412, wck=20.234, mem=209M678
28.01/23.06 decisions=8404, wrong=1928, backtracks=1141, failedAssignments=1039, nogoods=231, foundSolutions=12, bestBound=31761
28.01/23.06 nFilterCalls=3196441, avgTableProportion=0.9995918367081916, avgTableSize=2449.0
28.01/23.06
28.30/23.34 num=70, depth=72..76, filters=1502902, ccks=14412, wck=20.514, mem=209M678
28.30/23.34 decisions=8547, wrong=1963, backtracks=1159, failedAssignments=1058, nogoods=235, foundSolutions=12, bestBound=31761
28.30/23.34 nFilterCalls=3244186, avgTableProportion=0.9995918367081564, avgTableSize=2449.0
28.30/23.34
28.60/23.62 num=71, depth=66..70, filters=1525513, ccks=14412, wck=20.792, mem=209M678
28.60/23.62 decisions=8688, wrong=2000, backtracks=1179, failedAssignments=1079, nogoods=240, foundSolutions=12, bestBound=31761
28.60/23.62 nFilterCalls=3292031, avgTableProportion=0.9995918367081222, avgTableSize=2449.0
28.60/23.62
28.90/23.90 num=72, depth=72..76, filters=1550028, ccks=14412, wck=21.076, mem=209M678
28.90/23.90 decisions=8844, wrong=2042, backtracks=1206, failedAssignments=1102, nogoods=242, foundSolutions=12, bestBound=31761
28.90/23.90 nFilterCalls=3340935, avgTableProportion=0.9995918367080883, avgTableSize=2449.0
28.90/23.90
29.11/24.17 o 31757
29.20/24.25 num=73, depth=70..1248, filters=1570027, ccks=15613, wck=21.425, mem=209M678
29.20/24.25 decisions=8944, wrong=2056, backtracks=1213, failedAssignments=1110, nogoods=245, foundSolutions=13, bestBound=31757
29.20/24.25 nFilterCalls=3384511, avgTableProportion=0.999591836708059, avgTableSize=2449.0
29.20/24.25
29.51/24.55 num=74, depth=71..76, filters=1596551, ccks=15613, wck=21.725, mem=209M678
29.51/24.55 decisions=9122, wrong=2109, backtracks=1248, failedAssignments=1138, nogoods=249, foundSolutions=13, bestBound=31757
29.51/24.55 nFilterCalls=3437153, avgTableProportion=0.9995918367080243, avgTableSize=2449.0
29.51/24.55
29.81/24.83 num=75, depth=71..75, filters=1616693, ccks=15613, wck=21.998, mem=209M678
29.81/24.83 decisions=9231, wrong=2128, backtracks=1258, failedAssignments=1149, nogoods=252, foundSolutions=13, bestBound=31757
29.81/24.83 nFilterCalls=3481516, avgTableProportion=0.9995918367079961, avgTableSize=2449.0
29.81/24.83
30.02/25.10 num=76, depth=71..74, filters=1636585, ccks=15613, wck=22.273, mem=209M678
30.02/25.10 decisions=9346, wrong=2150, backtracks=1270, failedAssignments=1161, nogoods=258, foundSolutions=13, bestBound=31757
30.02/25.10 nFilterCalls=3526311, avgTableProportion=0.9995918367079683, avgTableSize=2449.0
30.02/25.10
30.31/25.38 num=77, depth=72..76, filters=1658942, ccks=15613, wck=22.553, mem=209M678
30.31/25.38 decisions=9475, wrong=2178, backtracks=1291, failedAssignments=1174, nogoods=260, foundSolutions=13, bestBound=31757
30.31/25.38 nFilterCalls=3572797, avgTableProportion=0.99959183670794, avgTableSize=2449.0
30.31/25.38
30.61/25.66 num=78, depth=69..75, filters=1680018, ccks=15613, wck=22.831, mem=209M678
30.61/25.66 decisions=9601, wrong=2206, backtracks=1309, failedAssignments=1188, nogoods=262, foundSolutions=13, bestBound=31757
30.61/25.66 nFilterCalls=3618901, avgTableProportion=0.9995918367079129, avgTableSize=2449.0
30.61/25.66
30.91/25.93 num=79, depth=67..72, filters=1699554, ccks=15613, wck=23.104, mem=209M678
30.91/25.93 decisions=9725, wrong=2234, backtracks=1326, failedAssignments=1204, nogoods=264, foundSolutions=13, bestBound=31757
30.91/25.93 nFilterCalls=3663936, avgTableProportion=0.999591836707887, avgTableSize=2449.0
30.91/25.93
31.21/26.21 num=80, depth=73..77, filters=1721118, ccks=15613, wck=23.382, mem=209M678
31.21/26.21 decisions=9858, wrong=2264, backtracks=1346, failedAssignments=1221, nogoods=266, foundSolutions=13, bestBound=31757
31.21/26.21 nFilterCalls=3710534, avgTableProportion=0.9995918367078608, avgTableSize=2449.0
31.21/26.21
31.41/26.49 num=81, depth=69..73, filters=1744314, ccks=15613, wck=23.662, mem=209M678
31.41/26.49 decisions=9999, wrong=2300, backtracks=1366, failedAssignments=1240, nogoods=269, foundSolutions=13, bestBound=31757
31.41/26.49 nFilterCalls=3758260, avgTableProportion=0.9995918367078347, avgTableSize=2449.0
31.41/26.49
31.71/26.78 num=82, depth=71..77, filters=1768335, ccks=15613, wck=23.952, mem=209M678
31.71/26.78 decisions=10143, wrong=2336, backtracks=1395, failedAssignments=1261, nogoods=272, foundSolutions=13, bestBound=31757
31.71/26.78 nFilterCalls=3807294, avgTableProportion=0.9995918367078085, avgTableSize=2449.0
31.71/26.78
32.02/27.07 num=83, depth=67..72, filters=1792699, ccks=15613, wck=24.24, mem=209M678
32.02/27.07 decisions=10296, wrong=2379, backtracks=1417, failedAssignments=1284, nogoods=278, foundSolutions=13, bestBound=31757
32.02/27.07 nFilterCalls=3857494, avgTableProportion=0.9995918367077824, avgTableSize=2449.0
32.02/27.07
32.31/27.36 num=84, depth=68..73, filters=1818358, ccks=15613, wck=24.533, mem=209M678
32.31/27.36 decisions=10461, wrong=2427, backtracks=1445, failedAssignments=1309, nogoods=284, foundSolutions=13, bestBound=31757
32.31/27.36 nFilterCalls=3908886, avgTableProportion=0.9995918367077564, avgTableSize=2449.0
32.31/27.36
32.61/27.65 num=85, depth=67..72, filters=1844635, ccks=15613, wck=24.825, mem=209M678
32.61/27.65 decisions=10629, wrong=2477, backtracks=1475, failedAssignments=1337, nogoods=286, foundSolutions=13, bestBound=31757
32.61/27.65 nFilterCalls=3961052, avgTableProportion=0.9995918367077307, avgTableSize=2449.0
32.61/27.65
32.91/27.94 num=86, depth=69..74, filters=1872820, ccks=15613, wck=25.113, mem=209M678
32.91/27.94 decisions=10819, wrong=2537, backtracks=1510, failedAssignments=1368, nogoods=290, foundSolutions=13, bestBound=31757
32.91/27.94 nFilterCalls=4013140, avgTableProportion=0.9995918367077057, avgTableSize=2449.0
32.91/27.94
33.21/28.24 num=87, depth=63..67, filters=1901048, ccks=15613, wck=25.413, mem=209M678
33.21/28.24 decisions=11007, wrong=2599, backtracks=1544, failedAssignments=1402, nogoods=296, foundSolutions=13, bestBound=31757
33.21/28.24 nFilterCalls=4067640, avgTableProportion=0.9995918367076801, avgTableSize=2449.0
33.21/28.24
33.51/28.54 num=88, depth=68..73, filters=1930611, ccks=15613, wck=25.709, mem=209M678
33.51/28.54 decisions=11207, wrong=2665, backtracks=1585, failedAssignments=1439, nogoods=298, foundSolutions=13, bestBound=31757
33.51/28.54 nFilterCalls=4121768, avgTableProportion=0.9995918367076555, avgTableSize=2449.0
33.51/28.54
33.81/28.84 num=89, depth=67..72, filters=1963190, ccks=15613, wck=26.012, mem=209M678
33.81/28.84 decisions=11421, wrong=2738, backtracks=1628, failedAssignments=1480, nogoods=302, foundSolutions=13, bestBound=31757
33.81/28.84 nFilterCalls=4177577, avgTableProportion=0.9995918367076309, avgTableSize=2449.0
33.81/28.84
34.13/29.14 num=90, depth=66..71, filters=1996870, ccks=15613, wck=26.314, mem=209M678
34.13/29.14 decisions=11656, wrong=2822, backtracks=1676, failedAssignments=1525, nogoods=308, foundSolutions=13, bestBound=31757
34.13/29.14 nFilterCalls=4236686, avgTableProportion=0.9995918367076053, avgTableSize=2449.0
34.13/29.14
34.42/29.45 num=91, depth=68..73, filters=2033570, ccks=15613, wck=26.624, mem=209M678
34.42/29.45 decisions=11918, wrong=2919, backtracks=1736, failedAssignments=1575, nogoods=315, foundSolutions=13, bestBound=31757
34.42/29.45 nFilterCalls=4298076, avgTableProportion=0.9995918367075796, avgTableSize=2449.0
34.42/29.45
34.72/29.77 num=92, depth=69..74, filters=2070780, ccks=15613, wck=26.937, mem=209M678
34.72/29.77 decisions=12194, wrong=3022, backtracks=1793, failedAssignments=1630, nogoods=323, foundSolutions=13, bestBound=31757
34.72/29.77 nFilterCalls=4360219, avgTableProportion=0.9995918367075542, avgTableSize=2449.0
34.72/29.77
35.03/30.04 o 31743
35.13/30.12 num=93, depth=69..1248, filters=2095585, ccks=16814, wck=27.295, mem=212M299
35.13/30.12 decisions=12347, wrong=3062, backtracks=1822, failedAssignments=1650, nogoods=326, foundSolutions=14, bestBound=31743
35.13/30.12 nFilterCalls=4409722, avgTableProportion=0.9995918367075346, avgTableSize=2449.0
35.13/30.12
35.42/30.45 num=94, depth=70..77, filters=2138955, ccks=16814, wck=27.622, mem=212M299
35.42/30.45 decisions=12692, wrong=3199, backtracks=1902, failedAssignments=1717, nogoods=331, foundSolutions=14, bestBound=31743
35.42/30.45 nFilterCalls=4478831, avgTableProportion=0.999591836707508, avgTableSize=2449.0
35.42/30.45
35.74/30.72 num=95, depth=73..77, filters=2159508, ccks=16814, wck=27.895, mem=212M299
35.74/30.72 decisions=12809, wrong=3221, backtracks=1914, failedAssignments=1728, nogoods=336, foundSolutions=14, bestBound=31743
35.74/30.72 nFilterCalls=4523978, avgTableProportion=0.999591836707491, avgTableSize=2449.0
35.74/30.72
35.94/31.00 num=96, depth=70..76, filters=2180671, ccks=16814, wck=28.168, mem=212M299
35.94/31.00 decisions=12927, wrong=3245, backtracks=1929, failedAssignments=1740, nogoods=337, foundSolutions=14, bestBound=31743
35.94/31.00 nFilterCalls=4569231, avgTableProportion=0.9995918367074742, avgTableSize=2449.0
35.94/31.00
36.24/31.27 num=97, depth=71..76, filters=2200913, ccks=16814, wck=28.439, mem=212M299
36.24/31.27 decisions=13052, wrong=3271, backtracks=1945, failedAssignments=1753, nogoods=339, foundSolutions=14, bestBound=31743
36.24/31.27 nFilterCalls=4614139, avgTableProportion=0.999591836707458, avgTableSize=2449.0
36.24/31.27
36.54/31.54 num=98, depth=69..73, filters=2222309, ccks=16814, wck=28.713, mem=212M299
36.54/31.54 decisions=13169, wrong=3295, backtracks=1958, failedAssignments=1767, nogoods=340, foundSolutions=14, bestBound=31743
36.54/31.54 nFilterCalls=4659521, avgTableProportion=0.9995918367074419, avgTableSize=2449.0
36.54/31.54
36.84/31.82 num=99, depth=70..75, filters=2244378, ccks=16814, wck=28.988, mem=212M299
36.84/31.82 decisions=13296, wrong=3323, backtracks=1975, failedAssignments=1783, nogoods=342, foundSolutions=14, bestBound=31743
36.84/31.82 nFilterCalls=4705877, avgTableProportion=0.9995918367074257, avgTableSize=2449.0
36.84/31.82
37.05/32.10 num=100, depth=68..74, filters=2269037, ccks=16814, wck=29.276, mem=212M299
37.05/32.10 decisions=13433, wrong=3357, backtracks=1998, failedAssignments=1800, nogoods=345, foundSolutions=14, bestBound=31743
37.05/32.10 nFilterCalls=4754619, avgTableProportion=0.999591836707409, avgTableSize=2449.0
37.05/32.10
37.34/32.38 num=101, depth=69..74, filters=2291863, ccks=16814, wck=29.549, mem=212M299
37.34/32.38 decisions=13574, wrong=3393, backtracks=2019, failedAssignments=1819, nogoods=348, foundSolutions=14, bestBound=31743
37.34/32.38 nFilterCalls=4802241, avgTableProportion=0.9995918367073932, avgTableSize=2449.0
37.34/32.38
37.64/32.64 o 31658
37.75/32.72 num=102, depth=1250..1248, filters=2308828, ccks=18015, wck=29.896, mem=212M299
37.75/32.72 decisions=13650, wrong=3393, backtracks=2019, failedAssignments=1819, nogoods=348, foundSolutions=15, bestBound=31658
37.75/32.72 nFilterCalls=4844338, avgTableProportion=0.9995918367073794, avgTableSize=2449.0
37.75/32.72
38.06/33.02 num=103, depth=71..76, filters=2332824, ccks=18015, wck=30.19, mem=212M299
38.06/33.02 decisions=13805, wrong=3435, backtracks=2045, failedAssignments=1842, nogoods=353, foundSolutions=15, bestBound=31658
38.06/33.02 nFilterCalls=4894784, avgTableProportion=0.9995918367073631, avgTableSize=2449.0
38.06/33.02
38.25/33.29 num=104, depth=68..72, filters=2351955, ccks=18015, wck=30.458, mem=212M299
38.25/33.29 decisions=13910, wrong=3453, backtracks=2056, failedAssignments=1853, nogoods=357, foundSolutions=15, bestBound=31658
38.25/33.29 nFilterCalls=4938386, avgTableProportion=0.9995918367073493, avgTableSize=2449.0
38.25/33.29
38.55/33.57 num=105, depth=72..77, filters=2372399, ccks=18015, wck=30.738, mem=212M299
38.55/33.57 decisions=14030, wrong=3477, backtracks=2074, failedAssignments=1865, nogoods=358, foundSolutions=15, bestBound=31658
38.55/33.57 nFilterCalls=4983905, avgTableProportion=0.9995918367073352, avgTableSize=2449.0
38.55/33.57
38.85/33.85 num=106, depth=73..78, filters=2394955, ccks=18015, wck=31.022, mem=212M299
38.85/33.85 decisions=14157, wrong=3503, backtracks=2094, failedAssignments=1878, nogoods=360, foundSolutions=15, bestBound=31658
38.85/33.85 nFilterCalls=5030479, avgTableProportion=0.9995918367073211, avgTableSize=2449.0
38.85/33.85
39.16/34.13 num=107, depth=71..75, filters=2415795, ccks=18015, wck=31.302, mem=212M299
39.16/34.13 decisions=14285, wrong=3531, backtracks=2110, failedAssignments=1892, nogoods=363, foundSolutions=15, bestBound=31658
39.16/34.13 nFilterCalls=5076437, avgTableProportion=0.9995918367073073, avgTableSize=2449.0
39.16/34.13
39.48/34.41 num=108, depth=68..73, filters=2437212, ccks=18015, wck=31.578, mem=212M299
39.48/34.41 decisions=14410, wrong=3559, backtracks=2126, failedAssignments=1908, nogoods=365, foundSolutions=15, bestBound=31658
39.48/34.41 nFilterCalls=5122229, avgTableProportion=0.9995918367072939, avgTableSize=2449.0
39.48/34.41
39.68/34.69 num=109, depth=68..72, filters=2460410, ccks=18015, wck=31.862, mem=212M299
39.68/34.69 decisions=14548, wrong=3593, backtracks=2147, failedAssignments=1925, nogoods=369, foundSolutions=15, bestBound=31658
39.68/34.69 nFilterCalls=5169810, avgTableProportion=0.9995918367072801, avgTableSize=2449.0
39.68/34.69
39.98/34.97 num=110, depth=70..74, filters=2484803, ccks=18015, wck=32.146, mem=212M299
39.98/34.97 decisions=14690, wrong=3629, backtracks=2167, failedAssignments=1944, nogoods=372, foundSolutions=15, bestBound=31658
39.98/34.97 nFilterCalls=5218383, avgTableProportion=0.9995918367072665, avgTableSize=2449.0
39.98/34.97
40.28/35.26 num=111, depth=70..74, filters=2509121, ccks=18015, wck=32.434, mem=212M299
40.28/35.26 decisions=14837, wrong=3667, backtracks=2188, failedAssignments=1965, nogoods=376, foundSolutions=15, bestBound=31658
40.28/35.26 nFilterCalls=5266736, avgTableProportion=0.999591836707253, avgTableSize=2449.0
40.28/35.26
40.58/35.55 num=112, depth=68..73, filters=2535207, ccks=18015, wck=32.72, mem=212M299
40.58/35.55 decisions=14997, wrong=3713, backtracks=2215, failedAssignments=1988, nogoods=382, foundSolutions=15, bestBound=31658
40.58/35.55 nFilterCalls=5317204, avgTableProportion=0.9995918367072393, avgTableSize=2449.0
40.58/35.55
40.88/35.84 num=113, depth=69..74, filters=2560152, ccks=18015, wck=33.009, mem=212M299
40.88/35.84 decisions=15159, wrong=3759, backtracks=2244, failedAssignments=2013, nogoods=385, foundSolutions=15, bestBound=31658
40.88/35.84 nFilterCalls=5366369, avgTableProportion=0.9995918367072261, avgTableSize=2449.0
40.88/35.84
41.19/36.12 num=114, depth=68..73, filters=2589512, ccks=18015, wck=33.295, mem=212M299
41.19/36.12 decisions=15341, wrong=3815, backtracks=2278, failedAssignments=2041, nogoods=392, foundSolutions=15, bestBound=31658
41.19/36.12 nFilterCalls=5418846, avgTableProportion=0.9995918367072123, avgTableSize=2449.0
41.19/36.12
41.48/36.42 num=115, depth=69..74, filters=2618633, ccks=18015, wck=33.594, mem=212M299
41.48/36.42 decisions=15535, wrong=3877, backtracks=2323, failedAssignments=2072, nogoods=396, foundSolutions=15, bestBound=31658
41.48/36.42 nFilterCalls=5473355, avgTableProportion=0.9995918367071983, avgTableSize=2449.0
41.48/36.42
41.78/36.72 num=116, depth=69..74, filters=2645892, ccks=18015, wck=33.887, mem=212M299
41.78/36.72 decisions=15725, wrong=3937, backtracks=2356, failedAssignments=2106, nogoods=400, foundSolutions=15, bestBound=31658
41.78/36.72 nFilterCalls=5525423, avgTableProportion=0.9995918367071852, avgTableSize=2449.0
41.78/36.72
42.09/37.01 num=117, depth=67..72, filters=2673422, ccks=18015, wck=34.184, mem=212M299
42.09/37.01 decisions=15936, wrong=4009, backtracks=2399, failedAssignments=2143, nogoods=403, foundSolutions=15, bestBound=31658
42.09/37.01 nFilterCalls=5578712, avgTableProportion=0.999591836707172, avgTableSize=2449.0
42.09/37.01
42.38/37.31 num=118, depth=66..71, filters=2704993, ccks=18015, wck=34.481, mem=212M299
42.38/37.31 decisions=16162, wrong=4089, backtracks=2449, failedAssignments=2184, nogoods=408, foundSolutions=15, bestBound=31658
42.38/37.31 nFilterCalls=5634953, avgTableProportion=0.9995918367071583, avgTableSize=2449.0
42.38/37.31
42.68/37.60 num=119, depth=64..69, filters=2736674, ccks=18015, wck=34.776, mem=212M299
42.68/37.60 decisions=16388, wrong=4170, backtracks=2500, failedAssignments=2229, nogoods=413, foundSolutions=15, bestBound=31658
42.68/37.60 nFilterCalls=5691775, avgTableProportion=0.9995918367071448, avgTableSize=2449.0
42.68/37.60
42.98/37.90 num=120, depth=69..74, filters=2768343, ccks=18015, wck=35.071, mem=212M299
42.98/37.90 decisions=16646, wrong=4264, backtracks=2552, failedAssignments=2279, nogoods=419, foundSolutions=15, bestBound=31658
42.98/37.90 nFilterCalls=5747224, avgTableProportion=0.9995918367071318, avgTableSize=2449.0
42.98/37.90
43.28/38.21 num=121, depth=70..75, filters=2803351, ccks=18015, wck=35.384, mem=212M299
43.28/38.21 decisions=16906, wrong=4359, backtracks=2603, failedAssignments=2334, nogoods=425, foundSolutions=15, bestBound=31658
43.28/38.21 nFilterCalls=5806868, avgTableProportion=0.9995918367071183, avgTableSize=2449.0
43.28/38.21
43.58/38.52 num=122, depth=64..70, filters=2836975, ccks=18015, wck=35.691, mem=212M299
43.58/38.52 decisions=17206, wrong=4477, backtracks=2673, failedAssignments=2395, nogoods=435, foundSolutions=15, bestBound=31658
43.58/38.52 nFilterCalls=5867125, avgTableProportion=0.9995918367071047, avgTableSize=2449.0
43.58/38.52
43.88/38.84 num=123, depth=62..68, filters=2877539, ccks=18015, wck=36.011, mem=212M299
43.88/38.84 decisions=17516, wrong=4599, backtracks=2748, failedAssignments=2462, nogoods=437, foundSolutions=15, bestBound=31658
43.88/38.84 nFilterCalls=5933936, avgTableProportion=0.9995918367070901, avgTableSize=2449.0
43.88/38.84
44.19/39.16 num=124, depth=62..67, filters=2919344, ccks=18015, wck=36.331, mem=212M299
44.19/39.16 decisions=17843, wrong=4731, backtracks=2824, failedAssignments=2536, nogoods=440, foundSolutions=15, bestBound=31658
44.19/39.16 nFilterCalls=6001602, avgTableProportion=0.9995918367070755, avgTableSize=2449.0
44.19/39.16
44.49/39.49 num=125, depth=59..66, filters=2966279, ccks=18015, wck=36.666, mem=212M299
44.49/39.49 decisions=18200, wrong=4879, backtracks=2914, failedAssignments=2617, nogoods=443, foundSolutions=15, bestBound=31658
44.49/39.49 nFilterCalls=6073902, avgTableProportion=0.9995918367070604, avgTableSize=2449.0
44.49/39.49
44.90/39.81 num=126, depth=66..71, filters=3009580, ccks=18015, wck=36.983, mem=212M299
44.90/39.81 decisions=18624, wrong=5057, backtracks=3012, failedAssignments=2706, nogoods=449, foundSolutions=15, bestBound=31658
44.90/39.81 nFilterCalls=6143056, avgTableProportion=0.9995918367070463, avgTableSize=2449.0
44.90/39.81
45.22/40.15 num=127, depth=66..72, filters=3064342, ccks=18015, wck=37.324, mem=212M299
45.22/40.15 decisions=19085, wrong=5253, backtracks=3124, failedAssignments=2804, nogoods=456, foundSolutions=15, bestBound=31658
45.22/40.15 nFilterCalls=6224874, avgTableProportion=0.99959183670703, avgTableSize=2449.0
45.22/40.15
45.52/40.49 num=128, depth=68..75, filters=3116800, ccks=18015, wck=37.66, mem=212M299
45.52/40.49 decisions=19555, wrong=5453, backtracks=3243, failedAssignments=2912, nogoods=465, foundSolutions=15, bestBound=31658
45.52/40.49 nFilterCalls=6302841, avgTableProportion=0.9995918367070148, avgTableSize=2449.0
45.52/40.49
45.92/40.84 num=129, depth=62..68, filters=3173245, ccks=18015, wck=38.011, mem=212M299
45.92/40.84 decisions=20078, wrong=5683, backtracks=3383, failedAssignments=3031, nogoods=474, foundSolutions=15, bestBound=31658
45.92/40.84 nFilterCalls=6388089, avgTableProportion=0.9995918367069986, avgTableSize=2449.0
45.92/40.84
46.32/41.20 num=130, depth=60..67, filters=3238596, ccks=18015, wck=38.369, mem=212M299
46.32/41.20 decisions=20667, wrong=5947, backtracks=3540, failedAssignments=3162, nogoods=476, foundSolutions=15, bestBound=31658
46.32/41.20 nFilterCalls=6481223, avgTableProportion=0.9995918367069815, avgTableSize=2449.0
46.32/41.20
46.62/41.56 num=131, depth=64..72, filters=3303078, ccks=18015, wck=38.729, mem=212M299
46.62/41.56 decisions=21313, wrong=6237, backtracks=3706, failedAssignments=3306, nogoods=483, foundSolutions=15, bestBound=31658
46.62/41.56 nFilterCalls=6573563, avgTableProportion=0.9995918367069649, avgTableSize=2449.0
46.62/41.56
47.02/41.95 num=132, depth=61..67, filters=3382271, ccks=18015, wck=39.12, mem=212M299
47.02/41.95 decisions=21987, wrong=6543, backtracks=3900, failedAssignments=3464, nogoods=495, foundSolutions=15, bestBound=31658
47.02/41.95 nFilterCalls=6679971, avgTableProportion=0.9995918367069464, avgTableSize=2449.0
47.02/41.95
47.43/42.34 num=133, depth=63..69, filters=3467549, ccks=18015, wck=39.51, mem=214M907
47.43/42.34 decisions=22738, wrong=6887, backtracks=4113, failedAssignments=3638, nogoods=503, foundSolutions=15, bestBound=31658
47.43/42.34 nFilterCalls=6791376, avgTableProportion=0.9995918367069276, avgTableSize=2449.0
47.43/42.34
47.83/42.75 num=134, depth=61..68, filters=3559213, ccks=18015, wck=39.925, mem=214M907
47.83/42.75 decisions=23519, wrong=7247, backtracks=4328, failedAssignments=3829, nogoods=506, foundSolutions=15, bestBound=31658
47.83/42.75 nFilterCalls=6911180, avgTableProportion=0.9995918367069082, avgTableSize=2449.0
47.83/42.75
48.24/43.17 num=135, depth=65..73, filters=3655308, ccks=18015, wck=40.346, mem=214M907
48.24/43.17 decisions=24370, wrong=7639, backtracks=4555, failedAssignments=4040, nogoods=510, foundSolutions=15, bestBound=31658
48.24/43.17 nFilterCalls=7035608, avgTableProportion=0.9995918367068887, avgTableSize=2449.0
48.24/43.17
48.63/43.59 num=136, depth=66..73, filters=3743486, ccks=18015, wck=40.766, mem=214M907
48.63/43.59 decisions=25314, wrong=8077, backtracks=4815, failedAssignments=4272, nogoods=518, foundSolutions=15, bestBound=31658
48.63/43.59 nFilterCalls=7151673, avgTableProportion=0.999591836706871, avgTableSize=2449.0
48.63/43.59
49.14/44.03 num=137, depth=68..76, filters=3852767, ccks=18015, wck=41.199, mem=214M907
49.14/44.03 decisions=26371, wrong=8570, backtracks=5090, failedAssignments=4527, nogoods=524, foundSolutions=15, bestBound=31658
49.14/44.03 nFilterCalls=7288952, avgTableProportion=0.9995918367068509, avgTableSize=2449.0
49.14/44.03
49.54/44.48 num=138, depth=68..75, filters=3967439, ccks=18015, wck=41.656, mem=214M907
49.54/44.48 decisions=27501, wrong=9100, backtracks=5405, failedAssignments=4808, nogoods=533, foundSolutions=15, bestBound=31658
49.54/44.48 nFilterCalls=7432130, avgTableProportion=0.9995918367068308, avgTableSize=2449.0
49.54/44.48
50.04/44.94 num=139, depth=64..72, filters=4087224, ccks=18015, wck=42.117, mem=214M907
50.04/44.94 decisions=28755, wrong=9694, backtracks=5753, failedAssignments=5117, nogoods=542, foundSolutions=15, bestBound=31658
50.04/44.94 nFilterCalls=7581006, avgTableProportion=0.9995918367068106, avgTableSize=2449.0
50.04/44.94
50.56/45.44 num=140, depth=56..64, filters=4225757, ccks=18015, wck=42.608, mem=214M907
50.56/45.44 decisions=30169, wrong=10372, backtracks=6150, failedAssignments=5457, nogoods=551, foundSolutions=15, bestBound=31658
50.56/45.44 nFilterCalls=7751052, avgTableProportion=0.9995918367067885, avgTableSize=2449.0
50.56/45.44
51.06/45.96 num=141, depth=52..59, filters=4377173, ccks=18015, wck=43.129, mem=214M907
51.06/45.96 decisions=31597, wrong=11060, backtracks=6553, failedAssignments=5831, nogoods=562, foundSolutions=15, bestBound=31658
51.06/45.96 nFilterCalls=7932698, avgTableProportion=0.999591836706766, avgTableSize=2449.0
51.06/45.96
51.56/46.48 num=142, depth=54..61, filters=4532269, ccks=18015, wck=43.652, mem=214M907
51.56/46.48 decisions=33275, wrong=11870, backtracks=7005, failedAssignments=6242, nogoods=569, foundSolutions=15, bestBound=31658
51.56/46.48 nFilterCalls=8120241, avgTableProportion=0.9995918367067438, avgTableSize=2449.0
51.56/46.48
52.17/47.05 num=143, depth=53..60, filters=4729726, ccks=18015, wck=44.225, mem=214M907
52.17/47.05 decisions=35150, wrong=12780, backtracks=7545, failedAssignments=6694, nogoods=580, foundSolutions=15, bestBound=31658
52.17/47.05 nFilterCalls=8349334, avgTableProportion=0.999591836706718, avgTableSize=2449.0
52.17/47.05
52.76/47.63 num=144, depth=54..60, filters=4921706, ccks=18015, wck=44.8, mem=214M907
52.76/47.63 decisions=37136, wrong=13744, backtracks=8091, failedAssignments=7191, nogoods=585, foundSolutions=15, bestBound=31658
52.76/47.63 nFilterCalls=8576655, avgTableProportion=0.9995918367066938, avgTableSize=2449.0
52.76/47.63
53.36/48.22 num=145, depth=50..57, filters=5118841, ccks=18015, wck=45.396, mem=214M907
53.36/48.22 decisions=39346, wrong=14822, backtracks=8720, failedAssignments=7738, nogoods=592, foundSolutions=15, bestBound=31658
53.36/48.22 nFilterCalls=8806866, avgTableProportion=0.9995918367066706, avgTableSize=2449.0
53.36/48.22
53.96/48.89 num=146, depth=53..60, filters=5357001, ccks=18015, wck=46.06, mem=214M907
53.96/48.89 decisions=41777, wrong=16010, backtracks=9434, failedAssignments=8340, nogoods=597, foundSolutions=15, bestBound=31658
53.96/48.89 nFilterCalls=9078007, avgTableProportion=0.9995918367066448, avgTableSize=2449.0
53.96/48.89
54.66/49.57 num=147, depth=51..57, filters=5604083, ccks=18015, wck=46.741, mem=214M907
54.66/49.57 decisions=44359, wrong=17274, backtracks=10166, failedAssignments=9002, nogoods=609, foundSolutions=15, bestBound=31658
54.66/49.57 nFilterCalls=9361609, avgTableProportion=0.9995918367066192, avgTableSize=2449.0
54.66/49.57
55.46/50.32 num=148, depth=49..56, filters=5896371, ccks=18015, wck=47.494, mem=214M907
55.46/50.32 decisions=47250, wrong=18694, backtracks=11010, failedAssignments=9730, nogoods=621, foundSolutions=15, bestBound=31658
55.46/50.32 nFilterCalls=9694804, avgTableProportion=0.9995918367065912, avgTableSize=2449.0
55.46/50.32
56.17/51.07 num=149, depth=47..55, filters=6179336, ccks=18015, wck=48.24, mem=214M907
56.17/51.07 decisions=50352, wrong=20220, backtracks=11885, failedAssignments=10531, nogoods=631, foundSolutions=15, bestBound=31658
56.17/51.07 nFilterCalls=10010947, avgTableProportion=0.9995918367065664, avgTableSize=2449.0
56.17/51.07
57.06/51.90 num=150, depth=49..57, filters=6533079, ccks=18015, wck=49.073, mem=214M907
57.06/51.90 decisions=53929, wrong=21982, backtracks=12871, failedAssignments=11412, nogoods=641, foundSolutions=15, bestBound=31658
57.06/51.90 nFilterCalls=10399361, avgTableProportion=0.9995918367065378, avgTableSize=2449.0
57.06/51.90
57.96/52.82 num=151, depth=56..62, filters=6910833, ccks=18015, wck=49.996, mem=214M907
57.96/52.82 decisions=57864, wrong=23920, backtracks=13970, failedAssignments=12382, nogoods=650, foundSolutions=15, bestBound=31658
57.96/52.82 nFilterCalls=10821804, avgTableProportion=0.9995918367065092, avgTableSize=2449.0
57.96/52.82
58.86/53.76 num=152, depth=51..58, filters=7293555, ccks=18015, wck=50.935, mem=214M907
58.86/53.76 decisions=62181, wrong=26052, backtracks=15196, failedAssignments=13449, nogoods=663, foundSolutions=15, bestBound=31658
58.86/53.76 nFilterCalls=11250765, avgTableProportion=0.9995918367064823, avgTableSize=2449.0
58.86/53.76
59.96/54.85 num=153, depth=53..60, filters=7760149, ccks=18015, wck=52.026, mem=214M907
59.96/54.85 decisions=66914, wrong=28390, backtracks=16565, failedAssignments=14622, nogoods=672, foundSolutions=15, bestBound=31658
59.96/54.85 nFilterCalls=11766259, avgTableProportion=0.9995918367064526, avgTableSize=2449.0
59.96/54.85
60.96/55.88 num=154, depth=52..59, filters=8168496, ccks=18015, wck=53.048, mem=214M907
60.96/55.88 decisions=72089, wrong=30950, backtracks=18030, failedAssignments=15913, nogoods=682, foundSolutions=15, bestBound=31658
60.96/55.88 nFilterCalls=12221018, avgTableProportion=0.9995918367064285, avgTableSize=2449.0
60.96/55.88
62.17/57.04 num=155, depth=48..56, filters=8708787, ccks=18015, wck=54.216, mem=214M907
62.17/57.04 decisions=77592, wrong=33676, backtracks=19566, failedAssignments=17333, nogoods=695, foundSolutions=15, bestBound=31658
62.17/57.04 nFilterCalls=12814055, avgTableProportion=0.9995918367063995, avgTableSize=2449.0
62.17/57.04
63.36/58.26 num=156, depth=50..58, filters=9239202, ccks=18015, wck=55.431, mem=214M907
63.36/58.26 decisions=83330, wrong=36518, backtracks=21194, failedAssignments=18895, nogoods=707, foundSolutions=15, bestBound=31658
63.36/58.26 nFilterCalls=13388633, avgTableProportion=0.999591836706374, avgTableSize=2449.0
63.36/58.26
64.78/59.61 num=157, depth=48..56, filters=9841987, ccks=18015, wck=56.786, mem=214M907
64.78/59.61 decisions=90206, wrong=39930, backtracks=23149, failedAssignments=20613, nogoods=718, foundSolutions=15, bestBound=31658
64.78/59.61 nFilterCalls=14043434, avgTableProportion=0.9995918367063474, avgTableSize=2449.0
64.78/59.61
66.19/61.06 num=158, depth=48..54, filters=10477473, ccks=18015, wck=58.227, mem=214M907
66.19/61.06 decisions=97810, wrong=43706, backtracks=25311, failedAssignments=22503, nogoods=728, foundSolutions=15, bestBound=31658
66.19/61.06 nFilterCalls=14731332, avgTableProportion=0.999591836706322, avgTableSize=2449.0
66.19/61.06
67.99/62.87 num=159, depth=46..55, filters=11337955, ccks=18015, wck=60.039, mem=214M907
67.99/62.87 decisions=106183, wrong=47868, backtracks=27756, failedAssignments=24582, nogoods=741, foundSolutions=15, bestBound=31658
67.99/62.87 nFilterCalls=15650489, avgTableProportion=0.9995918367062916, avgTableSize=2449.0
67.99/62.87
68.30/63.11 o 31656
68.30/63.19 num=160, depth=54..1248, filters=11355217, ccks=19216, wck=60.363, mem=217M516
68.30/63.19 decisions=106256, wrong=47877, backtracks=27760, failedAssignments=24587, nogoods=744, foundSolutions=16, bestBound=31656
68.30/63.19 nFilterCalls=15692174, avgTableProportion=0.9995918367062903, avgTableSize=2449.0
68.30/63.19
70.60/65.40 num=161, depth=49..57, filters=12379497, ccks=19216, wck=62.575, mem=217M516
70.60/65.40 decisions=115785, wrong=52615, backtracks=30683, failedAssignments=27103, nogoods=761, foundSolutions=16, bestBound=31656
70.60/65.40 nFilterCalls=16782210, avgTableProportion=0.9995918367062587, avgTableSize=2449.0
70.60/65.40
70.80/65.66 num=162, depth=54..57, filters=12399419, ccks=19216, wck=62.827, mem=217M516
70.80/65.66 decisions=115883, wrong=52637, backtracks=30694, failedAssignments=27114, nogoods=766, foundSolutions=16, bestBound=31656
70.80/65.66 nFilterCalls=16826195, avgTableProportion=0.9995918367109211, avgTableSize=2449.0
70.80/65.66
71.10/65.92 num=163, depth=58..63, filters=12419412, ccks=19216, wck=63.09, mem=217M516
71.10/65.92 decisions=115989, wrong=52661, backtracks=30710, failedAssignments=27126, nogoods=767, foundSolutions=16, bestBound=31656
71.10/65.92 nFilterCalls=16872119, avgTableProportion=0.9995918367159772, avgTableSize=2449.0
71.10/65.92
71.31/66.18 num=164, depth=56..58, filters=12438160, ccks=19216, wck=63.348, mem=217M516
71.31/66.18 decisions=116085, wrong=52681, backtracks=30720, failedAssignments=27139, nogoods=772, foundSolutions=16, bestBound=31656
71.31/66.18 nFilterCalls=16916703, avgTableProportion=0.9995918367208594, avgTableSize=2449.0
71.31/66.18
71.60/66.44 num=165, depth=56..58, filters=12457278, ccks=19216, wck=63.608, mem=217M516
71.60/66.44 decisions=116185, wrong=52703, backtracks=30731, failedAssignments=27153, nogoods=778, foundSolutions=16, bestBound=31656
71.60/66.44 nFilterCalls=16961652, avgTableProportion=0.9995918367257555, avgTableSize=2449.0
71.60/66.44
71.90/66.70 num=166, depth=57..62, filters=12478703, ccks=19216, wck=63.871, mem=217M516
71.90/66.70 decisions=116306, wrong=52734, backtracks=30751, failedAssignments=27169, nogoods=783, foundSolutions=16, bestBound=31656
71.90/66.70 nFilterCalls=17009055, avgTableProportion=0.9995918367308909, avgTableSize=2449.0
71.90/66.70
72.10/66.96 num=167, depth=55..59, filters=12499008, ccks=19216, wck=64.133, mem=217M516
72.10/66.96 decisions=116419, wrong=52762, backtracks=30765, failedAssignments=27186, nogoods=787, foundSolutions=16, bestBound=31656
72.10/66.96 nFilterCalls=17055286, avgTableProportion=0.9995918367358719, avgTableSize=2449.0
72.10/66.96
72.40/67.22 num=168, depth=55..59, filters=12519678, ccks=19216, wck=64.395, mem=217M516
72.40/67.22 decisions=116535, wrong=52792, backtracks=30782, failedAssignments=27205, nogoods=789, foundSolutions=16, bestBound=31656
72.40/67.22 nFilterCalls=17101878, avgTableProportion=0.9995918367408646, avgTableSize=2449.0
72.40/67.22
72.60/67.49 num=169, depth=55..59, filters=12542509, ccks=19216, wck=64.662, mem=217M516
72.60/67.49 decisions=116670, wrong=52832, backtracks=30805, failedAssignments=27226, nogoods=794, foundSolutions=16, bestBound=31656
72.60/67.49 nFilterCalls=17150785, avgTableProportion=0.9995918367460761, avgTableSize=2449.0
72.60/67.49
72.90/67.75 num=170, depth=54..58, filters=12566960, ccks=19216, wck=64.923, mem=217M516
72.90/67.75 decisions=116816, wrong=52878, backtracks=30829, failedAssignments=27249, nogoods=800, foundSolutions=16, bestBound=31656
72.90/67.75 nFilterCalls=17199851, avgTableProportion=0.9995918367512748, avgTableSize=2449.0
72.90/67.75
73.21/68.02 num=171, depth=54..60, filters=12590848, ccks=19216, wck=65.195, mem=217M516
73.21/68.02 decisions=116966, wrong=52926, backtracks=30858, failedAssignments=27274, nogoods=801, foundSolutions=16, bestBound=31656
73.21/68.02 nFilterCalls=17250732, avgTableProportion=0.9995918367566345, avgTableSize=2449.0
73.21/68.02
73.41/68.29 num=172, depth=54..58, filters=12615554, ccks=19216, wck=65.465, mem=217M516
73.41/68.29 decisions=117126, wrong=52978, backtracks=30888, failedAssignments=27302, nogoods=804, foundSolutions=16, bestBound=31656
73.41/68.29 nFilterCalls=17302564, avgTableProportion=0.9995918367620621, avgTableSize=2449.0
73.41/68.29
73.71/68.57 num=173, depth=53..58, filters=12641731, ccks=19216, wck=65.738, mem=217M516
73.71/68.57 decisions=117297, wrong=53036, backtracks=30921, failedAssignments=27333, nogoods=808, foundSolutions=16, bestBound=31656
73.71/68.57 nFilterCalls=17355872, avgTableProportion=0.9995918367676103, avgTableSize=2449.0
73.71/68.57
74.01/68.84 num=174, depth=56..61, filters=12670085, ccks=19216, wck=66.014, mem=217M516
74.01/68.84 decisions=117491, wrong=53104, backtracks=30959, failedAssignments=27367, nogoods=812, foundSolutions=16, bestBound=31656
74.01/68.84 nFilterCalls=17410893, avgTableProportion=0.9995918367733012, avgTableSize=2449.0
74.01/68.84
74.32/69.12 num=175, depth=56..60, filters=12698947, ccks=19216, wck=66.291, mem=217M516
74.32/69.12 decisions=117692, wrong=53176, backtracks=30999, failedAssignments=27404, nogoods=816, foundSolutions=16, bestBound=31656
74.32/69.12 nFilterCalls=17466407, avgTableProportion=0.9995918367790068, avgTableSize=2449.0
74.32/69.12
74.61/69.40 num=176, depth=55..61, filters=12728697, ccks=19216, wck=66.569, mem=217M516
74.61/69.40 decisions=117899, wrong=53252, backtracks=31044, failedAssignments=27445, nogoods=818, foundSolutions=16, bestBound=31656
74.61/69.40 nFilterCalls=17522954, avgTableProportion=0.9995918367847814, avgTableSize=2449.0
74.61/69.40
74.81/69.68 num=177, depth=54..59, filters=12760534, ccks=19216, wck=66.852, mem=217M516
74.81/69.68 decisions=118130, wrong=53340, backtracks=31090, failedAssignments=27490, nogoods=824, foundSolutions=16, bestBound=31656
74.81/69.68 nFilterCalls=17581697, avgTableProportion=0.9995918367907409, avgTableSize=2449.0
74.81/69.68
75.11/69.96 num=178, depth=50..55, filters=12793403, ccks=19216, wck=67.133, mem=217M516
75.11/69.96 decisions=118369, wrong=53434, backtracks=31144, failedAssignments=27540, nogoods=830, foundSolutions=16, bestBound=31656
75.11/69.96 nFilterCalls=17639490, avgTableProportion=0.9995918367965653, avgTableSize=2449.0
75.11/69.96
75.41/70.25 num=179, depth=55..59, filters=12828810, ccks=19216, wck=67.423, mem=217M516
75.41/70.25 decisions=118624, wrong=53533, backtracks=31201, failedAssignments=27595, nogoods=837, foundSolutions=16, bestBound=31656
75.41/70.25 nFilterCalls=17701633, avgTableProportion=0.9995918368027856, avgTableSize=2449.0
75.41/70.25
75.71/70.50 o 31637
75.71/70.58 num=180, depth=59..1248, filters=12846258, ccks=20417, wck=67.755, mem=217M516
75.71/70.58 decisions=118710, wrong=53546, backtracks=31208, failedAssignments=27602, nogoods=839, foundSolutions=17, bestBound=31637
75.71/70.58 nFilterCalls=17745237, avgTableProportion=0.9995918368071243, avgTableSize=2449.0
75.71/70.58
76.01/70.89 num=181, depth=53..58, filters=12888513, ccks=20417, wck=68.06, mem=217M516
76.01/70.89 decisions=119033, wrong=53680, backtracks=31280, failedAssignments=27669, nogoods=843, foundSolutions=17, bestBound=31637
76.01/70.89 nFilterCalls=17813396, avgTableProportion=0.9995918368138635, avgTableSize=2449.0
76.01/70.89
76.32/71.15 num=182, depth=56..59, filters=12906715, ccks=20417, wck=68.319, mem=217M516
76.32/71.15 decisions=119129, wrong=53700, backtracks=31291, failedAssignments=27680, nogoods=847, foundSolutions=17, bestBound=31637
76.32/71.15 nFilterCalls=17858087, avgTableProportion=0.9995918368182545, avgTableSize=2449.0
76.32/71.15
76.61/71.41 num=183, depth=55..59, filters=12925669, ccks=20417, wck=68.577, mem=217M516
76.61/71.41 decisions=119232, wrong=53724, backtracks=31306, failedAssignments=27692, nogoods=848, foundSolutions=17, bestBound=31637
76.61/71.41 nFilterCalls=17903538, avgTableProportion=0.9995918368226977, avgTableSize=2449.0
76.61/71.41
76.81/71.66 num=184, depth=55..59, filters=12944573, ccks=20417, wck=68.835, mem=217M516
76.81/71.66 decisions=119335, wrong=53748, backtracks=31320, failedAssignments=27705, nogoods=849, foundSolutions=17, bestBound=31637
76.81/71.66 nFilterCalls=17948973, avgTableProportion=0.9995918368271167, avgTableSize=2449.0
76.81/71.66
77.11/71.92 num=185, depth=55..59, filters=12964481, ccks=20417, wck=69.095, mem=217M516
77.11/71.92 decisions=119447, wrong=53775, backtracks=31336, failedAssignments=27719, nogoods=852, foundSolutions=17, bestBound=31637
77.11/71.92 nFilterCalls=17995407, avgTableProportion=0.9995918368316099, avgTableSize=2449.0
77.11/71.92
77.32/72.19 num=186, depth=57..61, filters=12984906, ccks=20417, wck=69.358, mem=217M516
77.32/72.19 decisions=119565, wrong=53805, backtracks=31352, failedAssignments=27735, nogoods=854, foundSolutions=17, bestBound=31637
77.32/72.19 nFilterCalls=18042395, avgTableProportion=0.9995918368361332, avgTableSize=2449.0
77.32/72.19
77.62/72.44 num=187, depth=51..55, filters=13007044, ccks=20417, wck=69.614, mem=217M516
77.62/72.44 decisions=119686, wrong=53839, backtracks=31373, failedAssignments=27752, nogoods=858, foundSolutions=17, bestBound=31637
77.62/72.44 nFilterCalls=18088699, avgTableProportion=0.9995918368405676, avgTableSize=2449.0
77.62/72.44
77.92/72.71 num=188, depth=57..61, filters=13028660, ccks=20417, wck=69.88, mem=217M516
77.92/72.71 decisions=119814, wrong=53874, backtracks=31393, failedAssignments=27771, nogoods=862, foundSolutions=17, bestBound=31637
77.92/72.71 nFilterCalls=18136836, avgTableProportion=0.9995918368451536, avgTableSize=2449.0
77.92/72.71
78.12/72.96 o 31623
78.25/73.04 num=189, depth=59..1248, filters=13045661, ccks=21618, wck=70.211, mem=220M136
78.25/73.04 decisions=119895, wrong=53885, backtracks=31398, failedAssignments=27777, nogoods=866, foundSolutions=18, bestBound=31623
78.25/73.04 nFilterCalls=18179989, avgTableProportion=0.9995918368492441, avgTableSize=2449.0
78.25/73.04
78.54/73.32 num=190, depth=56..61, filters=13070983, ccks=21618, wck=70.488, mem=220M136
78.54/73.32 decisions=120041, wrong=53929, backtracks=31425, failedAssignments=27800, nogoods=869, foundSolutions=18, bestBound=31623
78.54/73.32 nFilterCalls=18230588, avgTableProportion=0.9995918368540158, avgTableSize=2449.0
78.54/73.32
78.74/73.58 num=191, depth=57..61, filters=13090015, ccks=21618, wck=70.749, mem=220M136
78.74/73.58 decisions=120142, wrong=53951, backtracks=31439, failedAssignments=27811, nogoods=870, foundSolutions=18, bestBound=31623
78.74/73.58 nFilterCalls=18276064, avgTableProportion=0.9995918368582818, avgTableSize=2449.0
78.74/73.58
79.05/73.83 num=192, depth=56..59, filters=13108282, ccks=21618, wck=71.006, mem=220M136
79.05/73.83 decisions=120238, wrong=53971, backtracks=31451, failedAssignments=27823, nogoods=874, foundSolutions=18, bestBound=31623
79.05/73.83 nFilterCalls=18320858, avgTableProportion=0.9995918368624631, avgTableSize=2449.0
79.05/73.83
79.25/74.09 num=193, depth=59..62, filters=13127447, ccks=21618, wck=71.267, mem=220M136
79.25/74.09 decisions=120341, wrong=53993, backtracks=31462, failedAssignments=27836, nogoods=880, foundSolutions=18, bestBound=31623
79.25/74.09 nFilterCalls=18366223, avgTableProportion=0.999591836866677, avgTableSize=2449.0
79.25/74.09
79.55/74.36 num=194, depth=54..59, filters=13147325, ccks=21618, wck=71.527, mem=220M136
79.55/74.36 decisions=120451, wrong=54021, backtracks=31478, failedAssignments=27850, nogoods=881, foundSolutions=18, bestBound=31623
79.55/74.36 nFilterCalls=18412671, avgTableProportion=0.9995918368709699, avgTableSize=2449.0
79.55/74.36
79.85/74.62 num=195, depth=57..61, filters=13168083, ccks=21618, wck=71.79, mem=220M136
79.85/74.62 decisions=120574, wrong=54053, backtracks=31495, failedAssignments=27866, nogoods=884, foundSolutions=18, bestBound=31623
79.85/74.62 nFilterCalls=18459740, avgTableProportion=0.9995918368752981, avgTableSize=2449.0
79.85/74.62
80.05/74.88 num=196, depth=55..59, filters=13188927, ccks=21618, wck=72.054, mem=220M136
80.05/74.88 decisions=120694, wrong=54085, backtracks=31513, failedAssignments=27883, nogoods=887, foundSolutions=18, bestBound=31623
80.05/74.88 nFilterCalls=18506784, avgTableProportion=0.9995918368796021, avgTableSize=2449.0
80.05/74.88
80.36/75.14 num=197, depth=53..59, filters=13211073, ccks=21618, wck=72.314, mem=220M136
80.36/75.14 decisions=120820, wrong=54121, backtracks=31533, failedAssignments=27902, nogoods=890, foundSolutions=18, bestBound=31623
80.36/75.14 nFilterCalls=18553865, avgTableProportion=0.9995918368838875, avgTableSize=2449.0
80.36/75.14
80.65/75.41 num=198, depth=55..59, filters=13233700, ccks=21618, wck=72.58, mem=220M136
80.65/75.41 decisions=120961, wrong=54163, backtracks=31555, failedAssignments=27923, nogoods=895, foundSolutions=18, bestBound=31623
80.65/75.41 nFilterCalls=18603228, avgTableProportion=0.9995918368883575, avgTableSize=2449.0
80.65/75.41
80.85/75.67 num=199, depth=54..59, filters=13255967, ccks=21618, wck=72.846, mem=220M136
80.85/75.67 decisions=121099, wrong=54205, backtracks=31583, failedAssignments=27946, nogoods=897, foundSolutions=18, bestBound=31623
80.85/75.67 nFilterCalls=18652000, avgTableProportion=0.9995918368927507, avgTableSize=2449.0
80.85/75.67
81.15/75.94 num=200, depth=57..61, filters=13280362, ccks=21618, wck=73.116, mem=220M136
81.15/75.94 decisions=121258, wrong=54255, backtracks=31611, failedAssignments=27971, nogoods=900, foundSolutions=18, bestBound=31623
81.15/75.94 nFilterCalls=18703210, avgTableProportion=0.9995918368973388, avgTableSize=2449.0
81.15/75.94
81.45/76.21 num=201, depth=57..61, filters=13305172, ccks=21618, wck=73.386, mem=220M136
81.45/76.21 decisions=121429, wrong=54311, backtracks=31641, failedAssignments=27999, nogoods=904, foundSolutions=18, bestBound=31623
81.45/76.21 nFilterCalls=18754435, avgTableProportion=0.9995918369019031, avgTableSize=2449.0
81.45/76.21
81.65/76.49 num=202, depth=54..59, filters=13330751, ccks=21618, wck=73.659, mem=220M136
81.65/76.49 decisions=121595, wrong=54366, backtracks=31673, failedAssignments=28030, nogoods=910, foundSolutions=18, bestBound=31623
81.65/76.49 nFilterCalls=18806116, avgTableProportion=0.999591836906483, avgTableSize=2449.0
81.65/76.49
81.95/76.76 num=203, depth=57..60, filters=13358997, ccks=21618, wck=73.937, mem=220M136
81.95/76.76 decisions=121790, wrong=54434, backtracks=31710, failedAssignments=28064, nogoods=914, foundSolutions=18, bestBound=31623
81.95/76.76 nFilterCalls=18860842, avgTableProportion=0.9995918369113053, avgTableSize=2449.0
81.95/76.76
82.25/77.04 num=204, depth=58..62, filters=13386834, ccks=21618, wck=74.214, mem=220M136
82.25/77.04 decisions=121981, wrong=54500, backtracks=31748, failedAssignments=28101, nogoods=920, foundSolutions=18, bestBound=31623
82.25/77.04 nFilterCalls=18915235, avgTableProportion=0.9995918369160706, avgTableSize=2449.0
82.25/77.04
82.55/77.33 num=205, depth=57..61, filters=13417899, ccks=21618, wck=74.498, mem=220M136
82.55/77.33 decisions=122205, wrong=54583, backtracks=31796, failedAssignments=28142, nogoods=925, foundSolutions=18, bestBound=31623
82.55/77.33 nFilterCalls=18972679, avgTableProportion=0.9995918369210736, avgTableSize=2449.0
82.55/77.33
82.89/77.61 num=206, depth=57..62, filters=13448538, ccks=21618, wck=74.78, mem=220M136
82.89/77.61 decisions=122427, wrong=54665, backtracks=31843, failedAssignments=28187, nogoods=929, foundSolutions=18, bestBound=31623
82.89/77.61 nFilterCalls=19029983, avgTableProportion=0.9995918369260343, avgTableSize=2449.0
82.89/77.61
83.19/77.90 num=207, depth=57..60, filters=13482889, ccks=21618, wck=75.07, mem=220M136
83.19/77.90 decisions=122685, wrong=54765, backtracks=31896, failedAssignments=28237, nogoods=937, foundSolutions=18, bestBound=31623
83.19/77.90 nFilterCalls=19091096, avgTableProportion=0.9995918369312918, avgTableSize=2449.0
83.19/77.90
83.40/78.19 num=208, depth=57..63, filters=13519276, ccks=21618, wck=75.362, mem=220M136
83.40/78.19 decisions=122963, wrong=54875, backtracks=31958, failedAssignments=28292, nogoods=945, foundSolutions=18, bestBound=31623
83.40/78.19 nFilterCalls=19154388, avgTableProportion=0.9995918369367015, avgTableSize=2449.0
83.40/78.19
83.69/78.49 num=209, depth=56..60, filters=13557458, ccks=21618, wck=75.66, mem=220M136
83.69/78.49 decisions=123246, wrong=54988, backtracks=32019, failedAssignments=28353, nogoods=955, foundSolutions=18, bestBound=31623
83.69/78.49 nFilterCalls=19218929, avgTableProportion=0.9995918369421812, avgTableSize=2449.0
83.69/78.49
83.99/78.79 num=210, depth=56..62, filters=13597613, ccks=21618, wck=75.958, mem=220M136
83.99/78.79 decisions=123562, wrong=55116, backtracks=32094, failedAssignments=28420, nogoods=958, foundSolutions=18, bestBound=31623
83.99/78.79 nFilterCalls=19286023, avgTableProportion=0.9995918369478388, avgTableSize=2449.0
83.99/78.79
84.30/79.09 num=211, depth=56..61, filters=13639603, ccks=21618, wck=76.262, mem=220M136
84.30/79.09 decisions=123905, wrong=55258, backtracks=32174, failedAssignments=28494, nogoods=964, foundSolutions=18, bestBound=31623
84.30/79.09 nFilterCalls=19355321, avgTableProportion=0.9995918369536411, avgTableSize=2449.0
84.30/79.09
84.69/79.40 num=212, depth=56..62, filters=13686057, ccks=21618, wck=76.571, mem=220M136
84.69/79.40 decisions=124283, wrong=55418, backtracks=32265, failedAssignments=28575, nogoods=969, foundSolutions=18, bestBound=31623
84.69/79.40 nFilterCalls=19429067, avgTableProportion=0.9995918369597704, avgTableSize=2449.0
84.69/79.40
84.99/79.71 num=213, depth=51..56, filters=13734750, ccks=21618, wck=76.885, mem=220M136
84.99/79.71 decisions=124692, wrong=55596, backtracks=32367, failedAssignments=28664, nogoods=974, foundSolutions=18, bestBound=31623
84.99/79.71 nFilterCalls=19505944, avgTableProportion=0.9995918369661104, avgTableSize=2449.0
84.99/79.71
85.30/80.03 num=214, depth=51..57, filters=13784751, ccks=21618, wck=77.202, mem=220M136
85.30/80.03 decisions=125101, wrong=55774, backtracks=32472, failedAssignments=28762, nogoods=980, foundSolutions=18, bestBound=31623
85.30/80.03 nFilterCalls=19582978, avgTableProportion=0.9995918369724136, avgTableSize=2449.0
85.30/80.03
85.61/80.36 num=215, depth=55..63, filters=13842097, ccks=21618, wck=77.533, mem=220M136
85.61/80.36 decisions=125591, wrong=55991, backtracks=32598, failedAssignments=28870, nogoods=986, foundSolutions=18, bestBound=31623
85.61/80.36 nFilterCalls=19668049, avgTableProportion=0.999591836979317, avgTableSize=2449.0
85.61/80.36
86.01/80.70 num=216, depth=51..57, filters=13901727, ccks=21618, wck=77.869, mem=220M136
86.01/80.70 decisions=126079, wrong=56209, backtracks=32727, failedAssignments=28989, nogoods=993, foundSolutions=18, bestBound=31623
86.01/80.70 nFilterCalls=19755145, avgTableProportion=0.9995918369863231, avgTableSize=2449.0
86.01/80.70
86.32/81.04 num=217, depth=55..64, filters=13967286, ccks=21618, wck=78.214, mem=220M136
86.32/81.04 decisions=126650, wrong=56465, backtracks=32873, failedAssignments=29120, nogoods=998, foundSolutions=18, bestBound=31623
86.32/81.04 nFilterCalls=19848248, avgTableProportion=0.9995918369937445, avgTableSize=2449.0
86.32/81.04
86.62/81.39 num=218, depth=55..61, filters=14037045, ccks=21618, wck=78.566, mem=220M136
86.62/81.39 decisions=127271, wrong=56747, backtracks=33036, failedAssignments=29264, nogoods=1005, foundSolutions=18, bestBound=31623
86.62/81.39 nFilterCalls=19946016, avgTableProportion=0.9995918370014631, avgTableSize=2449.0
86.62/81.39
87.02/81.76 num=219, depth=57..64, filters=14114157, ccks=21618, wck=78.931, mem=220M136
87.02/81.76 decisions=127951, wrong=57057, backtracks=33222, failedAssignments=29422, nogoods=1011, foundSolutions=18, bestBound=31623
87.02/81.76 nFilterCalls=20051067, avgTableProportion=0.9995918370096728, avgTableSize=2449.0
87.02/81.76
87.33/82.01 o 31595
87.33/82.10 num=220, depth=56..1248, filters=14134420, ccks=22819, wck=79.268, mem=220M136
87.33/82.10 decisions=128063, wrong=57083, backtracks=33235, failedAssignments=29437, nogoods=1013, foundSolutions=19, bestBound=31595
87.33/82.10 nFilterCalls=20097642, avgTableProportion=0.9995918370132851, avgTableSize=2449.0
87.33/82.10
87.72/82.49 num=221, depth=52..59, filters=14220525, ccks=22819, wck=79.657, mem=220M136
87.72/82.49 decisions=128863, wrong=57456, backtracks=33452, failedAssignments=29628, nogoods=1022, foundSolutions=19, bestBound=31595
87.72/82.49 nFilterCalls=20211393, avgTableProportion=0.9995918370220378, avgTableSize=2449.0
87.72/82.49
88.02/82.75 num=222, depth=60..63, filters=14239666, ccks=22819, wck=79.919, mem=220M136
88.02/82.75 decisions=128963, wrong=57476, backtracks=33462, failedAssignments=29639, nogoods=1026, foundSolutions=19, bestBound=31595
88.02/82.75 nFilterCalls=20256422, avgTableProportion=0.9995918370254754, avgTableSize=2449.0
88.02/82.75
88.33/83.01 num=223, depth=53..58, filters=14258953, ccks=22819, wck=80.179, mem=220M136
88.33/83.01 decisions=129064, wrong=57500, backtracks=33476, failedAssignments=29651, nogoods=1027, foundSolutions=19, bestBound=31595
88.33/83.01 nFilterCalls=20301722, avgTableProportion=0.9995918370289182, avgTableSize=2449.0
88.33/83.01
88.52/83.27 num=224, depth=58..62, filters=14279247, ccks=22819, wck=80.441, mem=220M136
88.52/83.27 decisions=129176, wrong=57526, backtracks=33490, failedAssignments=29664, nogoods=1029, foundSolutions=19, bestBound=31595
88.52/83.27 nFilterCalls=20348003, avgTableProportion=0.9995918370324198, avgTableSize=2449.0
88.52/83.27
88.82/83.53 num=225, depth=57..61, filters=14299642, ccks=22819, wck=80.704, mem=220M136
88.82/83.53 decisions=129291, wrong=57554, backtracks=33506, failedAssignments=29678, nogoods=1032, foundSolutions=19, bestBound=31595
88.82/83.53 nFilterCalls=20394758, avgTableProportion=0.9995918370359412, avgTableSize=2449.0
88.82/83.53
89.02/83.80 num=226, depth=53..57, filters=14321009, ccks=22819, wck=80.967, mem=220M136
89.02/83.80 decisions=129409, wrong=57586, backtracks=33523, failedAssignments=29694, nogoods=1035, foundSolutions=19, bestBound=31595
89.02/83.80 nFilterCalls=20442058, avgTableProportion=0.9995918370394872, avgTableSize=2449.0
89.02/83.80
89.34/84.06 num=227, depth=59..63, filters=14342093, ccks=22819, wck=81.231, mem=220M136
89.34/84.06 decisions=129528, wrong=57616, backtracks=33538, failedAssignments=29711, nogoods=1037, foundSolutions=19, bestBound=31595
89.34/84.06 nFilterCalls=20489099, avgTableProportion=0.9995918370429976, avgTableSize=2449.0
89.34/84.06
89.63/84.30 o 31593
89.63/84.39 num=228, depth=1250..1248, filters=14357156, ccks=24020, wck=81.558, mem=222M757
89.63/84.39 decisions=129589, wrong=57616, backtracks=33538, failedAssignments=29711, nogoods=1037, foundSolutions=20, bestBound=31593
89.63/84.39 nFilterCalls=20530345, avgTableProportion=0.9995918370460622, avgTableSize=2449.0
89.63/84.39
89.93/84.66 num=229, depth=54..58, filters=14379890, ccks=24020, wck=81.831, mem=222M757
89.93/84.66 decisions=129728, wrong=57658, backtracks=33560, failedAssignments=29732, nogoods=1042, foundSolutions=20, bestBound=31593
89.93/84.66 nFilterCalls=20578692, avgTableProportion=0.9995918370496388, avgTableSize=2449.0
89.93/84.66
90.23/84.92 num=230, depth=60..63, filters=14399021, ccks=24020, wck=82.093, mem=222M757
90.23/84.92 decisions=129828, wrong=57678, backtracks=33570, failedAssignments=29743, nogoods=1046, foundSolutions=20, bestBound=31593
90.23/84.92 nFilterCalls=20623706, avgTableProportion=0.9995918370529538, avgTableSize=2449.0
90.23/84.92
90.44/85.18 num=231, depth=58..61, filters=14418693, ccks=24020, wck=82.353, mem=222M757
90.44/85.18 decisions=129934, wrong=57702, backtracks=33583, failedAssignments=29755, nogoods=1047, foundSolutions=20, bestBound=31593
90.44/85.18 nFilterCalls=20669332, avgTableProportion=0.9995918370562993, avgTableSize=2449.0
90.44/85.18
90.73/85.44 num=232, depth=58..62, filters=14438641, ccks=24020, wck=82.616, mem=222M757
90.73/85.44 decisions=130045, wrong=57728, backtracks=33597, failedAssignments=29768, nogoods=1049, foundSolutions=20, bestBound=31593
90.73/85.44 nFilterCalls=20715649, avgTableProportion=0.9995918370596801, avgTableSize=2449.0
90.73/85.44
91.03/85.71 num=233, depth=59..63, filters=14458606, ccks=24020, wck=82.877, mem=222M757
91.03/85.71 decisions=130152, wrong=57752, backtracks=33609, failedAssignments=29782, nogoods=1050, foundSolutions=20, bestBound=31593
91.03/85.71 nFilterCalls=20761528, avgTableProportion=0.9995918370630142, avgTableSize=2449.0
91.03/85.71
91.23/85.97 num=234, depth=53..57, filters=14480024, ccks=24020, wck=83.141, mem=222M757
91.23/85.97 decisions=130271, wrong=57784, backtracks=33626, failedAssignments=29798, nogoods=1053, foundSolutions=20, bestBound=31593
91.23/85.97 nFilterCalls=20808894, avgTableProportion=0.999591837066441, avgTableSize=2449.0
91.23/85.97
91.53/86.23 num=235, depth=59..63, filters=14501192, ccks=24020, wck=83.405, mem=222M757
91.53/86.23 decisions=130390, wrong=57814, backtracks=33641, failedAssignments=29815, nogoods=1055, foundSolutions=20, bestBound=31593
91.53/86.23 nFilterCalls=20856020, avgTableProportion=0.9995918370698349, avgTableSize=2449.0
91.53/86.23
91.85/86.50 num=236, depth=59..64, filters=14523663, ccks=24020, wck=83.671, mem=222M757
91.85/86.50 decisions=130527, wrong=57852, backtracks=33661, failedAssignments=29834, nogoods=1059, foundSolutions=20, bestBound=31593
91.85/86.50 nFilterCalls=20904944, avgTableProportion=0.9995918370733421, avgTableSize=2449.0
91.85/86.50
92.05/86.77 num=237, depth=58..62, filters=14546459, ccks=24020, wck=83.939, mem=222M757
92.05/86.77 decisions=130670, wrong=57894, backtracks=33685, failedAssignments=29855, nogoods=1064, foundSolutions=20, bestBound=31593
92.05/86.77 nFilterCalls=20954375, avgTableProportion=0.999591837076869, avgTableSize=2449.0
92.05/86.77
92.36/87.03 num=238, depth=53..58, filters=14569894, ccks=24020, wck=84.206, mem=222M757
92.36/87.03 decisions=130807, wrong=57936, backtracks=33709, failedAssignments=29878, nogoods=1068, foundSolutions=20, bestBound=31593
92.36/87.03 nFilterCalls=21003822, avgTableProportion=0.9995918370803805, avgTableSize=2449.0
92.36/87.03
92.65/87.31 num=239, depth=59..63, filters=14594920, ccks=24020, wck=84.478, mem=222M757
92.65/87.31 decisions=130967, wrong=57986, backtracks=33736, failedAssignments=29903, nogoods=1070, foundSolutions=20, bestBound=31593
92.65/87.31 nFilterCalls=21054998, avgTableProportion=0.9995918370839973, avgTableSize=2449.0
92.65/87.31
92.85/87.58 num=240, depth=58..62, filters=14620824, ccks=24020, wck=84.75, mem=222M757
92.85/87.58 decisions=131139, wrong=58042, backtracks=33766, failedAssignments=29931, nogoods=1074, foundSolutions=20, bestBound=31593
92.85/87.58 nFilterCalls=21107338, avgTableProportion=0.9995918370876784, avgTableSize=2449.0
92.85/87.58
93.15/87.85 num=241, depth=53..59, filters=14645407, ccks=24020, wck=85.022, mem=222M757
93.15/87.85 decisions=131312, wrong=58102, backtracks=33801, failedAssignments=29962, nogoods=1076, foundSolutions=20, bestBound=31593
93.15/87.85 nFilterCalls=21158075, avgTableProportion=0.9995918370912292, avgTableSize=2449.0
93.15/87.85
93.46/88.12 num=242, depth=54..59, filters=14672516, ccks=24020, wck=85.296, mem=222M757
93.46/88.12 decisions=131504, wrong=58170, backtracks=33840, failedAssignments=29996, nogoods=1080, foundSolutions=20, bestBound=31593
93.46/88.12 nFilterCalls=21211085, avgTableProportion=0.999591837094921, avgTableSize=2449.0
93.46/88.12
93.75/88.40 num=243, depth=55..60, filters=14701295, ccks=24020, wck=85.575, mem=222M757
93.75/88.40 decisions=131709, wrong=58244, backtracks=33882, failedAssignments=30033, nogoods=1085, foundSolutions=20, bestBound=31593
93.75/88.40 nFilterCalls=21265840, avgTableProportion=0.9995918370987151, avgTableSize=2449.0
93.75/88.40
93.95/88.68 num=244, depth=54..60, filters=14729824, ccks=24020, wck=85.854, mem=222M757
93.95/88.68 decisions=131924, wrong=58324, backtracks=33926, failedAssignments=30074, nogoods=1091, foundSolutions=20, bestBound=31593
93.95/88.68 nFilterCalls=21320776, avgTableProportion=0.9995918371025021, avgTableSize=2449.0
93.95/88.68
94.25/88.96 num=245, depth=51..57, filters=14759073, ccks=24020, wck=86.133, mem=222M757
94.25/88.96 decisions=132148, wrong=58410, backtracks=33975, failedAssignments=30119, nogoods=1095, foundSolutions=20, bestBound=31593
94.25/88.96 nFilterCalls=21376054, avgTableProportion=0.999591837106293, avgTableSize=2449.0
94.25/88.96
94.55/89.25 num=246, depth=55..62, filters=14792784, ccks=24020, wck=86.42, mem=222M757
94.55/89.25 decisions=132404, wrong=58510, backtracks=34031, failedAssignments=30169, nogoods=1097, foundSolutions=20, bestBound=31593
94.55/89.25 nFilterCalls=21436198, avgTableProportion=0.9995918371103955, avgTableSize=2449.0
94.55/89.25
94.90/89.54 num=247, depth=52..59, filters=14825808, ccks=24020, wck=86.708, mem=222M757
94.90/89.54 decisions=132677, wrong=58620, backtracks=34093, failedAssignments=30224, nogoods=1101, foundSolutions=20, bestBound=31593
94.90/89.54 nFilterCalls=21495589, avgTableProportion=0.9995918371144239, avgTableSize=2449.0
94.90/89.54
95.20/89.83 num=248, depth=54..62, filters=14863764, ccks=24020, wck=87.004, mem=222M757
95.20/89.83 decisions=132978, wrong=58742, backtracks=34161, failedAssignments=30285, nogoods=1103, foundSolutions=20, bestBound=31593
95.20/89.83 nFilterCalls=21560175, avgTableProportion=0.9995918371187796, avgTableSize=2449.0
95.20/89.83
95.51/90.13 num=249, depth=51..59, filters=14902777, ccks=24020, wck=87.303, mem=222M757
95.51/90.13 decisions=133295, wrong=58874, backtracks=34238, failedAssignments=30352, nogoods=1105, foundSolutions=20, bestBound=31593
95.51/90.13 nFilterCalls=21625844, avgTableProportion=0.9995918371231817, avgTableSize=2449.0
95.51/90.13
95.80/90.44 num=250, depth=55..63, filters=14946184, ccks=24020, wck=87.607, mem=222M757
95.80/90.44 decisions=133645, wrong=59020, backtracks=34320, failedAssignments=30426, nogoods=1108, foundSolutions=20, bestBound=31593
95.80/90.44 nFilterCalls=21696092, avgTableProportion=0.9995918371278611, avgTableSize=2449.0
95.80/90.44
96.11/90.75 num=251, depth=54..59, filters=14992446, ccks=24020, wck=87.918, mem=222M757
96.11/90.75 decisions=134009, wrong=59174, backtracks=34411, failedAssignments=30507, nogoods=1113, foundSolutions=20, bestBound=31593
96.11/90.75 nFilterCalls=21769119, avgTableProportion=0.9995918371326938, avgTableSize=2449.0
96.11/90.75
96.42/91.05 num=252, depth=56..61, filters=15035363, ccks=24020, wck=88.225, mem=222M757
96.42/91.05 decisions=134391, wrong=59336, backtracks=34503, failedAssignments=30596, nogoods=1117, foundSolutions=20, bestBound=31593
96.42/91.05 nFilterCalls=21839461, avgTableProportion=0.9995918371373181, avgTableSize=2449.0
96.42/91.05
96.71/91.37 num=253, depth=52..58, filters=15087388, ccks=24020, wck=88.547, mem=222M757
96.71/91.37 decisions=134821, wrong=59524, backtracks=34610, failedAssignments=30694, nogoods=1124, foundSolutions=20, bestBound=31593
96.71/91.37 nFilterCalls=21918746, avgTableProportion=0.9995918371424949, avgTableSize=2449.0
96.71/91.37
97.01/91.62 o 31581
97.11/91.71 num=254, depth=55..1248, filters=15104749, ccks=25221, wck=88.878, mem=222M757
97.11/91.71 decisions=134900, wrong=59535, backtracks=34617, failedAssignments=30700, nogoods=1127, foundSolutions=21, bestBound=31581
97.11/91.71 nFilterCalls=21961971, avgTableProportion=0.9995918371453014, avgTableSize=2449.0
97.11/91.71
97.42/92.04 num=255, depth=55..60, filters=15159890, ccks=25221, wck=89.212, mem=222M757
97.42/92.04 decisions=135405, wrong=59759, backtracks=34743, failedAssignments=30819, nogoods=1134, foundSolutions=21, bestBound=31581
97.42/92.04 nFilterCalls=22044502, avgTableProportion=0.9995918371506295, avgTableSize=2449.0
97.42/92.04
97.71/92.30 num=256, depth=61..64, filters=15178467, ccks=25221, wck=89.475, mem=222M757
97.71/92.30 decisions=135510, wrong=59781, backtracks=34754, failedAssignments=30830, nogoods=1139, foundSolutions=21, bestBound=31581
97.71/92.30 nFilterCalls=22089481, avgTableProportion=0.9995918371535164, avgTableSize=2449.0
97.71/92.30
97.91/92.56 num=257, depth=60..64, filters=15197705, ccks=25221, wck=89.736, mem=222M757
97.91/92.56 decisions=135618, wrong=59805, backtracks=34767, failedAssignments=30842, nogoods=1140, foundSolutions=21, bestBound=31581
97.91/92.56 nFilterCalls=22135133, avgTableProportion=0.9995918371564346, avgTableSize=2449.0
97.91/92.56
98.21/92.83 num=258, depth=60..64, filters=15217599, ccks=25221, wck=89.998, mem=222M757
98.21/92.83 decisions=135732, wrong=59831, backtracks=34781, failedAssignments=30855, nogoods=1142, foundSolutions=21, bestBound=31581
98.21/92.83 nFilterCalls=22181476, avgTableProportion=0.9995918371593847, avgTableSize=2449.0
98.21/92.83
98.42/93.09 num=259, depth=60..64, filters=15237705, ccks=25221, wck=90.26, mem=222M757
98.42/93.09 decisions=135849, wrong=59859, backtracks=34796, failedAssignments=30869, nogoods=1145, foundSolutions=21, bestBound=31581
98.42/93.09 nFilterCalls=22228054, avgTableProportion=0.9995918371623373, avgTableSize=2449.0
98.42/93.09
98.71/93.35 num=260, depth=61..65, filters=15258508, ccks=25221, wck=90.524, mem=222M757
98.71/93.35 decisions=135975, wrong=59891, backtracks=34813, failedAssignments=30885, nogoods=1148, foundSolutions=21, bestBound=31581
98.71/93.35 nFilterCalls=22275343, avgTableProportion=0.9995918371653224, avgTableSize=2449.0
98.71/93.35
99.01/93.62 num=261, depth=61..65, filters=15279738, ccks=25221, wck=90.789, mem=222M757
99.01/93.62 decisions=136105, wrong=59925, backtracks=34831, failedAssignments=30902, nogoods=1152, foundSolutions=21, bestBound=31581
99.01/93.62 nFilterCalls=22323077, avgTableProportion=0.9995918371683228, avgTableSize=2449.0
99.01/93.62
99.21/93.88 num=262, depth=55..59, filters=15301120, ccks=25221, wck=91.055, mem=222M757
99.21/93.88 decisions=136226, wrong=59957, backtracks=34849, failedAssignments=30921, nogoods=1155, foundSolutions=21, bestBound=31581
99.21/93.88 nFilterCalls=22369880, avgTableProportion=0.9995918371712522, avgTableSize=2449.0
99.21/93.88
99.52/94.15 num=263, depth=60..64, filters=15323376, ccks=25221, wck=91.323, mem=222M757
99.52/94.15 decisions=136370, wrong=59999, backtracks=34872, failedAssignments=30942, nogoods=1159, foundSolutions=21, bestBound=31581
99.52/94.15 nFilterCalls=22418685, avgTableProportion=0.9995918371742938, avgTableSize=2449.0
99.52/94.15
99.81/94.42 num=264, depth=55..59, filters=15346447, ccks=25221, wck=91.59, mem=222M757
99.81/94.42 decisions=136518, wrong=60045, backtracks=34899, failedAssignments=30965, nogoods=1165, foundSolutions=21, bestBound=31581
99.81/94.42 nFilterCalls=22467161, avgTableProportion=0.9995918371773019, avgTableSize=2449.0
99.81/94.42
100.01/94.69 num=265, depth=54..59, filters=15370530, ccks=25221, wck=91.861, mem=222M757
100.01/94.69 decisions=136674, wrong=60095, backtracks=34927, failedAssignments=30990, nogoods=1167, foundSolutions=21, bestBound=31581
100.01/94.69 nFilterCalls=22517419, avgTableProportion=0.9995918371804069, avgTableSize=2449.0
100.01/94.69
100.32/94.96 num=266, depth=60..65, filters=15395787, ccks=25221, wck=92.135, mem=222M757
100.32/94.96 decisions=136847, wrong=60151, backtracks=34958, failedAssignments=31018, nogoods=1170, foundSolutions=21, bestBound=31581
100.32/94.96 nFilterCalls=22569473, avgTableProportion=0.9995918371836082, avgTableSize=2449.0
100.32/94.96
100.62/95.24 num=267, depth=55..59, filters=15421184, ccks=25221, wck=92.409, mem=222M757
100.62/95.24 decisions=137027, wrong=60213, backtracks=34991, failedAssignments=31049, nogoods=1174, foundSolutions=21, bestBound=31581
100.62/95.24 nFilterCalls=22620913, avgTableProportion=0.9995918371867574, avgTableSize=2449.0
100.62/95.24
100.92/95.51 num=268, depth=56..60, filters=15447827, ccks=25221, wck=92.685, mem=225M365
100.92/95.51 decisions=137209, wrong=60275, backtracks=35026, failedAssignments=31083, nogoods=1178, foundSolutions=21, bestBound=31581
100.92/95.51 nFilterCalls=22673781, avgTableProportion=0.999591837189979, avgTableSize=2449.0
100.92/95.51
101.12/95.79 num=269, depth=58..64, filters=15474969, ccks=25221, wck=92.962, mem=225M365
101.12/95.79 decisions=137416, wrong=60349, backtracks=35067, failedAssignments=31120, nogoods=1180, foundSolutions=21, bestBound=31581
101.12/95.79 nFilterCalls=22727524, avgTableProportion=0.9995918371932386, avgTableSize=2449.0
101.12/95.79
101.43/96.07 num=270, depth=55..60, filters=15503575, ccks=25221, wck=93.241, mem=225M365
101.43/96.07 decisions=137634, wrong=60430, backtracks=35111, failedAssignments=31161, nogoods=1186, foundSolutions=21, bestBound=31581
101.43/96.07 nFilterCalls=22782290, avgTableProportion=0.9995918371965445, avgTableSize=2449.0
101.43/96.07
101.72/96.36 num=271, depth=55..59, filters=15536480, ccks=25221, wck=93.527, mem=225M365
101.72/96.36 decisions=137870, wrong=60520, backtracks=35159, failedAssignments=31206, nogoods=1191, foundSolutions=21, bestBound=31581
101.72/96.36 nFilterCalls=22841370, avgTableProportion=0.999591837200093, avgTableSize=2449.0
101.72/96.36
102.02/96.64 num=272, depth=55..59, filters=15571488, ccks=25221, wck=93.816, mem=225M365
102.02/96.64 decisions=138126, wrong=60620, backtracks=35212, failedAssignments=31256, nogoods=1199, foundSolutions=21, bestBound=31581
102.02/96.64 nFilterCalls=22902636, avgTableProportion=0.9995918372037534, avgTableSize=2449.0
102.02/96.64
102.32/96.94 num=273, depth=55..60, filters=15607016, ccks=25221, wck=94.108, mem=225M365
102.32/96.94 decisions=138401, wrong=60730, backtracks=35276, failedAssignments=31311, nogoods=1205, foundSolutions=21, bestBound=31581
102.32/96.94 nFilterCalls=22964566, avgTableProportion=0.9995918372074337, avgTableSize=2449.0
102.32/96.94
102.62/97.23 num=274, depth=56..64, filters=15645095, ccks=25221, wck=94.404, mem=225M365
102.62/97.23 decisions=138703, wrong=60852, backtracks=35343, failedAssignments=31372, nogoods=1207, foundSolutions=21, bestBound=31581
102.62/97.23 nFilterCalls=23029897, avgTableProportion=0.9995918372112946, avgTableSize=2449.0
102.62/97.23
102.92/97.53 num=275, depth=54..58, filters=15686794, ccks=25221, wck=94.705, mem=225M365
102.92/97.53 decisions=139027, wrong=60986, backtracks=35417, failedAssignments=31439, nogoods=1211, foundSolutions=21, bestBound=31581
102.92/97.53 nFilterCalls=23098051, avgTableProportion=0.9995918372152991, avgTableSize=2449.0
102.92/97.53
103.22/97.81 o 31580
103.22/97.89 num=276, depth=57..1248, filters=15717677, ccks=26422, wck=95.061, mem=225M365
103.22/97.89 decisions=139248, wrong=61067, backtracks=35461, failedAssignments=31480, nogoods=1217, foundSolutions=22, bestBound=31580
103.22/97.89 nFilterCalls=23155481, avgTableProportion=0.9995918372186552, avgTableSize=2449.0
103.22/97.89
103.62/98.20 num=277, depth=56..62, filters=15759662, ccks=26422, wck=95.369, mem=225M365
103.62/98.20 decisions=139593, wrong=61211, backtracks=35542, failedAssignments=31561, nogoods=1219, foundSolutions=22, bestBound=31580
103.62/98.20 nFilterCalls=23223240, avgTableProportion=0.9995918372225935, avgTableSize=2449.0
103.62/98.20
103.82/98.46 num=278, depth=53..55, filters=15778599, ccks=26422, wck=95.631, mem=225M365
103.82/98.46 decisions=139683, wrong=61229, backtracks=35550, failedAssignments=31572, nogoods=1224, foundSolutions=22, bestBound=31580
103.82/98.46 nFilterCalls=23267653, avgTableProportion=0.9995918372251624, avgTableSize=2449.0
103.82/98.46
104.12/98.72 num=279, depth=57..60, filters=15797775, ccks=26422, wck=95.892, mem=225M365
104.12/98.72 decisions=139784, wrong=61251, backtracks=35562, failedAssignments=31584, nogoods=1229, foundSolutions=22, bestBound=31580
104.12/98.72 nFilterCalls=23312753, avgTableProportion=0.9995918372277611, avgTableSize=2449.0
104.12/98.72
104.32/98.98 num=280, depth=59..63, filters=15817649, ccks=26422, wck=96.155, mem=225M365
104.32/98.98 decisions=139897, wrong=61277, backtracks=35576, failedAssignments=31597, nogoods=1231, foundSolutions=22, bestBound=31580
104.32/98.98 nFilterCalls=23358921, avgTableProportion=0.9995918372304109, avgTableSize=2449.0
104.32/98.98
104.62/99.25 num=281, depth=54..58, filters=15837581, ccks=26422, wck=96.417, mem=225M365
104.62/99.25 decisions=140005, wrong=61303, backtracks=35591, failedAssignments=31611, nogoods=1233, foundSolutions=22, bestBound=31580
104.62/99.25 nFilterCalls=23404872, avgTableProportion=0.9995918372330379, avgTableSize=2449.0
104.62/99.25
104.92/99.51 num=282, depth=59..63, filters=15858234, ccks=26422, wck=96.681, mem=225M365
104.92/99.51 decisions=140129, wrong=61335, backtracks=35608, failedAssignments=31627, nogoods=1236, foundSolutions=22, bestBound=31580
104.92/99.51 nFilterCalls=23451863, avgTableProportion=0.9995918372357137, avgTableSize=2449.0
104.92/99.51
105.12/99.77 num=283, depth=54..58, filters=15879879, ccks=26422, wck=96.946, mem=225M365
105.12/99.77 decisions=140253, wrong=61369, backtracks=35628, failedAssignments=31644, nogoods=1240, foundSolutions=22, bestBound=31580
105.12/99.77 nFilterCalls=23499530, avgTableProportion=0.999591837238417, avgTableSize=2449.0
105.12/99.77
105.43/100.04 num=284, depth=59..63, filters=15901695, ccks=26422, wck=97.214, mem=225M365
105.43/100.04 decisions=140389, wrong=61407, backtracks=35648, failedAssignments=31663, nogoods=1244, foundSolutions=22, bestBound=31580
105.43/100.04 nFilterCalls=23547683, avgTableProportion=0.9995918372411369, avgTableSize=2449.0
105.43/100.04
105.72/100.31 num=285, depth=56..59, filters=15923750, ccks=26422, wck=97.481, mem=225M365
105.72/100.31 decisions=140529, wrong=61449, backtracks=35672, failedAssignments=31684, nogoods=1246, foundSolutions=22, bestBound=31580
105.72/100.31 nFilterCalls=23595883, avgTableProportion=0.9995918372438481, avgTableSize=2449.0
105.72/100.31
105.92/100.58 num=286, depth=56..61, filters=15945133, ccks=26422, wck=97.747, mem=225M365
105.92/100.58 decisions=140670, wrong=61491, backtracks=35695, failedAssignments=31707, nogoods=1250, foundSolutions=22, bestBound=31580
105.92/100.58 nFilterCalls=23643362, avgTableProportion=0.9995918372465081, avgTableSize=2449.0
105.92/100.58
106.22/100.85 num=287, depth=58..63, filters=15969097, ccks=26422, wck=98.018, mem=225M365
106.22/100.85 decisions=140830, wrong=61541, backtracks=35722, failedAssignments=31732, nogoods=1252, foundSolutions=22, bestBound=31580
106.22/100.85 nFilterCalls=23693776, avgTableProportion=0.9995918372493209, avgTableSize=2449.0
106.22/100.85
106.53/101.12 num=288, depth=59..64, filters=15992942, ccks=26422, wck=98.289, mem=225M365
106.53/101.12 decisions=141003, wrong=61597, backtracks=35755, failedAssignments=31760, nogoods=1256, foundSolutions=22, bestBound=31580
106.53/101.12 nFilterCalls=23743858, avgTableProportion=0.9995918372521033, avgTableSize=2449.0
106.53/101.12
106.72/101.39 num=289, depth=54..59, filters=16018471, ccks=26422, wck=98.565, mem=225M365
106.72/101.39 decisions=141178, wrong=61657, backtracks=35790, failedAssignments=31791, nogoods=1260, foundSolutions=22, bestBound=31580
106.72/101.39 nFilterCalls=23795645, avgTableProportion=0.9995918372549681, avgTableSize=2449.0
106.72/101.39
107.02/101.67 num=290, depth=58..62, filters=16046103, ccks=26422, wck=98.842, mem=225M365
107.02/101.67 decisions=141372, wrong=61725, backtracks=35826, failedAssignments=31825, nogoods=1265, foundSolutions=22, bestBound=31580
107.02/101.67 nFilterCalls=23849858, avgTableProportion=0.9995918372579538, avgTableSize=2449.0
107.02/101.67
107.32/101.95 num=291, depth=58..63, filters=16072094, ccks=26422, wck=99.118, mem=225M365
107.32/101.95 decisions=141575, wrong=61797, backtracks=35866, failedAssignments=31862, nogoods=1269, foundSolutions=22, bestBound=31580
107.32/101.95 nFilterCalls=23902246, avgTableProportion=0.999591837260826, avgTableSize=2449.0
107.32/101.95
107.62/102.23 num=292, depth=55..59, filters=16101797, ccks=26422, wck=99.399, mem=225M365
107.62/102.23 decisions=141787, wrong=61875, backtracks=35910, failedAssignments=31903, nogoods=1274, foundSolutions=22, bestBound=31580
107.62/102.23 nFilterCalls=23958378, avgTableProportion=0.9995918372638897, avgTableSize=2449.0
107.62/102.23
107.92/102.51 num=293, depth=58..64, filters=16130823, ccks=26422, wck=99.68, mem=225M365
107.92/102.51 decisions=142024, wrong=61964, backtracks=35961, failedAssignments=31948, nogoods=1279, foundSolutions=22, bestBound=31580
107.92/102.51 nFilterCalls=24013693, avgTableProportion=0.9995918372668947, avgTableSize=2449.0
107.92/102.51
108.12/102.79 num=294, depth=59..64, filters=16162681, ccks=26422, wck=99.965, mem=225M365
108.12/102.79 decisions=142275, wrong=62060, backtracks=36015, failedAssignments=31998, nogoods=1284, foundSolutions=22, bestBound=31580
108.12/102.79 nFilterCalls=24072254, avgTableProportion=0.999591837270061, avgTableSize=2449.0
108.12/102.79
108.43/103.08 num=295, depth=53..58, filters=16195386, ccks=26422, wck=100.252, mem=225M365
108.43/103.08 decisions=142537, wrong=62164, backtracks=36078, failedAssignments=32053, nogoods=1290, foundSolutions=22, bestBound=31580
108.43/103.08 nFilterCalls=24131266, avgTableProportion=0.9995918372732362, avgTableSize=2449.0
108.43/103.08
108.72/103.37 num=296, depth=53..58, filters=16229450, ccks=26422, wck=100.545, mem=225M365
108.72/103.37 decisions=142837, wrong=62286, backtracks=36143, failedAssignments=32114, nogoods=1292, foundSolutions=22, bestBound=31580
108.72/103.37 nFilterCalls=24192175, avgTableProportion=0.9995918372764971, avgTableSize=2449.0
108.72/103.37
109.02/103.67 num=297, depth=57..63, filters=16265421, ccks=26422, wck=100.84, mem=225M365
109.02/103.67 decisions=143163, wrong=62419, backtracks=36215, failedAssignments=32181, nogoods=1296, foundSolutions=22, bestBound=31580
109.02/103.67 nFilterCalls=24254882, avgTableProportion=0.9995918372798372, avgTableSize=2449.0
109.02/103.67
109.32/103.97 num=298, depth=58..65, filters=16303474, ccks=26422, wck=101.139, mem=225M365
109.32/103.97 decisions=143510, wrong=62562, backtracks=36293, failedAssignments=32255, nogoods=1300, foundSolutions=22, bestBound=31580
109.32/103.97 nFilterCalls=24319909, avgTableProportion=0.9995918372832828, avgTableSize=2449.0
109.32/103.97
109.62/104.27 num=299, depth=53..58, filters=16345537, ccks=26422, wck=101.444, mem=225M365
109.62/104.27 decisions=143861, wrong=62710, backtracks=36378, failedAssignments=32336, nogoods=1303, foundSolutions=22, bestBound=31580
109.62/104.27 nFilterCalls=24388832, avgTableProportion=0.9995918372869147, avgTableSize=2449.0
109.62/104.27
109.92/104.57 num=300, depth=52..57, filters=16388085, ccks=26422, wck=101.745, mem=225M365
109.92/104.57 decisions=144256, wrong=62880, backtracks=36474, failedAssignments=32425, nogoods=1307, foundSolutions=22, bestBound=31580
109.92/104.57 nFilterCalls=24457952, avgTableProportion=0.9995918372905364, avgTableSize=2449.0
109.92/104.57
110.22/104.89 num=301, depth=51..56, filters=16435090, ccks=26422, wck=102.059, mem=225M365
110.22/104.89 decisions=144697, wrong=63074, backtracks=36589, failedAssignments=32523, nogoods=1312, foundSolutions=22, bestBound=31580
110.22/104.89 nFilterCalls=24531378, avgTableProportion=0.9995918372943614, avgTableSize=2449.0
110.22/104.89
110.62/105.20 num=302, depth=55..60, filters=16480653, ccks=26422, wck=102.374, mem=225M365
110.62/105.20 decisions=145150, wrong=63272, backtracks=36697, failedAssignments=32631, nogoods=1318, foundSolutions=22, bestBound=31580
110.62/105.20 nFilterCalls=24603730, avgTableProportion=0.9995918372981081, avgTableSize=2449.0
110.62/105.20
110.92/105.52 num=303, depth=57..62, filters=16531443, ccks=26422, wck=102.697, mem=225M365
110.92/105.52 decisions=145684, wrong=63510, backtracks=36833, failedAssignments=32750, nogoods=1328, foundSolutions=22, bestBound=31580
110.92/105.52 nFilterCalls=24681765, avgTableProportion=0.9995918373021244, avgTableSize=2449.0
110.92/105.52
111.22/105.86 num=304, depth=54..59, filters=16585511, ccks=26422, wck=103.027, mem=225M365
111.22/105.86 decisions=146264, wrong=63772, backtracks=36987, failedAssignments=32881, nogoods=1333, foundSolutions=22, bestBound=31580
111.22/105.86 nFilterCalls=24763334, avgTableProportion=0.9995918373062956, avgTableSize=2449.0
111.22/105.86
111.62/106.21 num=305, depth=53..58, filters=16654476, ccks=26422, wck=103.377, mem=225M365
111.62/106.21 decisions=146894, wrong=64060, backtracks=37155, failedAssignments=33025, nogoods=1337, foundSolutions=22, bestBound=31580
111.62/106.21 nFilterCalls=24860759, avgTableProportion=0.9995918373112418, avgTableSize=2449.0
111.62/106.21
111.92/106.57 num=306, depth=48..54, filters=16728317, ccks=26422, wck=103.738, mem=225M365
111.92/106.57 decisions=147556, wrong=64366, backtracks=37327, failedAssignments=33183, nogoods=1344, foundSolutions=22, bestBound=31580
111.92/106.57 nFilterCalls=24963532, avgTableProportion=0.9995918373164177, avgTableSize=2449.0
111.92/106.57
112.32/106.93 num=307, depth=52..58, filters=16801093, ccks=26422, wck=104.1, mem=225M365
112.32/106.93 decisions=148251, wrong=64686, backtracks=37500, failedAssignments=33357, nogoods=1349, foundSolutions=22, bestBound=31580
112.32/106.93 nFilterCalls=25066342, avgTableProportion=0.9995918373215529, avgTableSize=2449.0
112.32/106.93
112.72/107.32 num=308, depth=49..55, filters=16893165, ccks=26422, wck=104.492, mem=225M365
112.72/107.32 decisions=149066, wrong=65068, backtracks=37707, failedAssignments=33548, nogoods=1356, foundSolutions=22, bestBound=31580
112.72/107.32 nFilterCalls=25185818, avgTableProportion=0.9995918373274678, avgTableSize=2449.0
112.72/107.32
113.12/107.72 num=309, depth=50..54, filters=16990918, ccks=26422, wck=104.895, mem=225M365
113.12/107.72 decisions=149962, wrong=65490, backtracks=37939, failedAssignments=33759, nogoods=1364, foundSolutions=22, bestBound=31580
113.12/107.72 nFilterCalls=25310274, avgTableProportion=0.99959183733357, avgTableSize=2449.0
113.12/107.72
113.53/108.13 num=310, depth=53..58, filters=17083511, ccks=26422, wck=105.297, mem=225M365
113.53/108.13 decisions=150946, wrong=65954, backtracks=38193, failedAssignments=33991, nogoods=1371, foundSolutions=22, bestBound=31580
113.53/108.13 nFilterCalls=25430567, avgTableProportion=0.9995918373394113, avgTableSize=2449.0
113.53/108.13
113.93/108.55 num=311, depth=51..56, filters=17190793, ccks=26422, wck=105.722, mem=225M365
113.93/108.55 decisions=151976, wrong=66443, backtracks=38460, failedAssignments=34246, nogoods=1381, foundSolutions=22, bestBound=31580
113.93/108.55 nFilterCalls=25567776, avgTableProportion=0.9995918373460069, avgTableSize=2449.0
113.93/108.55
114.33/108.99 num=312, depth=50..57, filters=17306295, ccks=26422, wck=106.16, mem=225M365
114.33/108.99 decisions=153024, wrong=66941, backtracks=38736, failedAssignments=34527, nogoods=1393, foundSolutions=22, bestBound=31580
114.33/108.99 nFilterCalls=25712161, avgTableProportion=0.9995918373528715, avgTableSize=2449.0
114.33/108.99
114.83/109.44 num=313, depth=50..58, filters=17427379, ccks=26422, wck=106.612, mem=225M365
114.83/109.44 decisions=154173, wrong=67489, backtracks=39045, failedAssignments=34836, nogoods=1400, foundSolutions=22, bestBound=31580
114.83/109.44 nFilterCalls=25863790, avgTableProportion=0.9995918373599979, avgTableSize=2449.0
114.83/109.44
115.33/109.93 num=314, depth=53..58, filters=17573802, ccks=26422, wck=107.105, mem=225M365
115.33/109.93 decisions=155532, wrong=68141, backtracks=39420, failedAssignments=35176, nogoods=1410, foundSolutions=22, bestBound=31580
115.33/109.93 nFilterCalls=26039005, avgTableProportion=0.9995918373681295, avgTableSize=2449.0
115.33/109.93
115.83/110.45 num=315, depth=49..55, filters=17736479, ccks=26422, wck=107.625, mem=225M365
115.83/110.45 decisions=157071, wrong=68885, backtracks=39833, failedAssignments=35550, nogoods=1412, foundSolutions=22, bestBound=31580
115.83/110.45 nFilterCalls=26234064, avgTableProportion=0.9995918373770543, avgTableSize=2449.0
115.83/110.45
116.33/110.99 num=316, depth=50..57, filters=17906540, ccks=26422, wck=108.158, mem=227M973
116.33/110.99 decisions=158667, wrong=69656, backtracks=40269, failedAssignments=35961, nogoods=1418, foundSolutions=22, bestBound=31580
116.33/110.99 nFilterCalls=26433122, avgTableProportion=0.9995918373860262, avgTableSize=2449.0
116.33/110.99
116.93/111.54 num=317, depth=55..62, filters=18086136, ccks=26422, wck=108.711, mem=227M973
116.93/111.54 decisions=160536, wrong=70562, backtracks=40784, failedAssignments=36413, nogoods=1425, foundSolutions=22, bestBound=31580
116.93/111.54 nFilterCalls=26640347, avgTableProportion=0.9995918373952238, avgTableSize=2449.0
116.93/111.54
117.54/112.11 num=318, depth=56..63, filters=18268061, ccks=26422, wck=109.284, mem=227M973
117.54/112.11 decisions=162479, wrong=71504, backtracks=41340, failedAssignments=36910, nogoods=1432, foundSolutions=22, bestBound=31580
117.54/112.11 nFilterCalls=26853341, avgTableProportion=0.9995918374045296, avgTableSize=2449.0
117.54/112.11
118.13/112.72 num=319, depth=47..54, filters=18479448, ccks=26422, wck=109.895, mem=227M973
118.13/112.72 decisions=164663, wrong=72572, backtracks=41954, failedAssignments=37457, nogoods=1437, foundSolutions=22, bestBound=31580
118.13/112.72 nFilterCalls=27098731, avgTableProportion=0.9995918374150693, avgTableSize=2449.0
118.13/112.72
118.73/113.37 num=320, depth=49..55, filters=18708568, ccks=26422, wck=110.546, mem=227M973
118.73/113.37 decisions=167107, wrong=73768, backtracks=42628, failedAssignments=38059, nogoods=1449, foundSolutions=22, bestBound=31580
118.73/113.37 nFilterCalls=27365041, avgTableProportion=0.9995918374262938, avgTableSize=2449.0
118.73/113.37
119.23/113.87 o 31573
119.33/113.95 num=321, depth=47..1248, filters=18870780, ccks=27623, wck=111.122, mem=227M973
119.33/113.95 decisions=168643, wrong=74511, backtracks=43042, failedAssignments=38432, nogoods=1456, foundSolutions=23, bestBound=31573
119.33/113.95 nFilterCalls=27558661, avgTableProportion=0.9995918374343182, avgTableSize=2449.0
119.33/113.95
120.03/114.64 num=322, depth=51..58, filters=19110135, ccks=27623, wck=111.813, mem=227M973
120.03/114.64 decisions=171526, wrong=75927, backtracks=43859, failedAssignments=39160, nogoods=1467, foundSolutions=23, bestBound=31573
120.03/114.64 nFilterCalls=27833278, avgTableProportion=0.9995918374455082, avgTableSize=2449.0
120.03/114.64
120.33/114.91 num=323, depth=60..62, filters=19130746, ccks=27623, wck=112.082, mem=227M973
120.33/114.91 decisions=171630, wrong=75949, backtracks=43870, failedAssignments=39171, nogoods=1472, foundSolutions=23, bestBound=31573
120.33/114.91 nFilterCalls=27878304, avgTableProportion=0.9995918374473218, avgTableSize=2449.0
120.33/114.91
120.54/115.18 num=324, depth=59..63, filters=19150947, ccks=27623, wck=112.349, mem=227M973
120.54/115.18 decisions=171733, wrong=75971, backtracks=43884, failedAssignments=39183, nogoods=1477, foundSolutions=23, bestBound=31573
120.54/115.18 nFilterCalls=27923336, avgTableProportion=0.9995918374491298, avgTableSize=2449.0
120.54/115.18
120.83/115.45 num=325, depth=61..64, filters=19172279, ccks=27623, wck=112.62, mem=227M973
120.83/115.45 decisions=171848, wrong=75997, backtracks=43898, failedAssignments=39196, nogoods=1479, foundSolutions=23, bestBound=31573
120.83/115.45 nFilterCalls=27969168, avgTableProportion=0.999591837450964, avgTableSize=2449.0
120.83/115.45
121.13/115.72 num=326, depth=58..62, filters=19192970, ccks=27623, wck=112.888, mem=227M973
121.13/115.72 decisions=171960, wrong=76023, backtracks=43913, failedAssignments=39210, nogoods=1481, foundSolutions=23, bestBound=31573
121.13/115.72 nFilterCalls=28014748, avgTableProportion=0.9995918374527821, avgTableSize=2449.0
121.13/115.72
121.33/115.98 num=327, depth=58..61, filters=19214654, ccks=27623, wck=113.157, mem=227M973
121.33/115.98 decisions=172084, wrong=76055, backtracks=43931, failedAssignments=39226, nogoods=1486, foundSolutions=23, bestBound=31573
121.33/115.98 nFilterCalls=28061362, avgTableProportion=0.9995918374546354, avgTableSize=2449.0
121.33/115.98
121.64/116.25 num=328, depth=57..61, filters=19237597, ccks=27623, wck=113.426, mem=227M973
121.64/116.25 decisions=172207, wrong=76087, backtracks=43949, failedAssignments=39243, nogoods=1489, foundSolutions=23, bestBound=31573
121.64/116.25 nFilterCalls=28108898, avgTableProportion=0.999591837456519, avgTableSize=2449.0
121.64/116.25
121.94/116.52 num=329, depth=57..61, filters=19260067, ccks=27623, wck=113.697, mem=227M973
121.94/116.52 decisions=172341, wrong=76125, backtracks=43971, failedAssignments=39262, nogoods=1494, foundSolutions=23, bestBound=31573
121.94/116.52 nFilterCalls=28156318, avgTableProportion=0.9995918374583918, avgTableSize=2449.0
121.94/116.52
122.26/116.80 num=330, depth=56..60, filters=19284336, ccks=27623, wck=113.969, mem=227M973
122.26/116.80 decisions=172479, wrong=76165, backtracks=43993, failedAssignments=39283, nogoods=1499, foundSolutions=23, bestBound=31573
122.26/116.80 nFilterCalls=28205085, avgTableProportion=0.999591837460311, avgTableSize=2449.0
122.26/116.80
122.46/117.07 num=331, depth=58..63, filters=19307981, ccks=27623, wck=114.242, mem=227M973
122.46/117.07 decisions=172626, wrong=76209, backtracks=44021, failedAssignments=39306, nogoods=1503, foundSolutions=23, bestBound=31573
122.46/117.07 nFilterCalls=28253713, avgTableProportion=0.9995918374622182, avgTableSize=2449.0
122.46/117.07
122.76/117.34 num=332, depth=53..56, filters=19333581, ccks=27623, wck=114.514, mem=227M973
122.76/117.34 decisions=172781, wrong=76259, backtracks=44048, failedAssignments=39331, nogoods=1506, foundSolutions=23, bestBound=31573
122.76/117.34 nFilterCalls=28304100, avgTableProportion=0.9995918374641876, avgTableSize=2449.0
122.76/117.34
123.06/117.62 num=333, depth=54..58, filters=19359563, ccks=27623, wck=114.789, mem=227M973
123.06/117.62 decisions=172949, wrong=76315, backtracks=44078, failedAssignments=39359, nogoods=1510, foundSolutions=23, bestBound=31573
123.06/117.62 nFilterCalls=28355073, avgTableProportion=0.9995918374661726, avgTableSize=2449.0
123.06/117.62
123.26/117.89 num=334, depth=58..62, filters=19386343, ccks=27623, wck=115.067, mem=227M973
123.26/117.89 decisions=173125, wrong=76373, backtracks=44113, failedAssignments=39390, nogoods=1515, foundSolutions=23, bestBound=31573
123.26/117.89 nFilterCalls=28406978, avgTableProportion=0.9995918374681868, avgTableSize=2449.0
123.26/117.89
123.57/118.17 num=335, depth=53..56, filters=19415400, ccks=27623, wck=115.346, mem=227M973
123.57/118.17 decisions=173315, wrong=76441, backtracks=44149, failedAssignments=39424, nogoods=1521, foundSolutions=23, bestBound=31573
123.57/118.17 nFilterCalls=28461050, avgTableProportion=0.9995918374702771, avgTableSize=2449.0
123.57/118.17
123.86/118.46 num=336, depth=57..61, filters=19445408, ccks=27623, wck=115.629, mem=227M973
123.86/118.46 decisions=173512, wrong=76511, backtracks=44190, failedAssignments=39461, nogoods=1528, foundSolutions=23, bestBound=31573
123.86/118.46 nFilterCalls=28516235, avgTableProportion=0.9995918374724023, avgTableSize=2449.0
123.86/118.46
124.16/118.74 num=337, depth=56..59, filters=19476276, ccks=27623, wck=115.914, mem=227M973
124.16/118.74 decisions=173733, wrong=76593, backtracks=44234, failedAssignments=39502, nogoods=1534, foundSolutions=23, bestBound=31573
124.16/118.74 nFilterCalls=28572402, avgTableProportion=0.9995918374745569, avgTableSize=2449.0
124.16/118.74
124.47/119.03 num=338, depth=52..56, filters=19509684, ccks=27623, wck=116.199, mem=227M973
124.47/119.03 decisions=173963, wrong=76681, backtracks=44282, failedAssignments=39547, nogoods=1540, foundSolutions=23, bestBound=31573
124.47/119.03 nFilterCalls=28630991, avgTableProportion=0.9995918374767954, avgTableSize=2449.0
124.47/119.03
124.76/119.32 num=339, depth=57..62, filters=19544853, ccks=27623, wck=116.493, mem=227M973
124.76/119.32 decisions=174216, wrong=76779, backtracks=44340, failedAssignments=39597, nogoods=1545, foundSolutions=23, bestBound=31573
124.76/119.32 nFilterCalls=28691527, avgTableProportion=0.9995918374790986, avgTableSize=2449.0
124.76/119.32
125.06/119.61 num=340, depth=55..60, filters=19580432, ccks=27623, wck=116.785, mem=227M973
125.06/119.61 decisions=174487, wrong=76887, backtracks=44406, failedAssignments=39652, nogoods=1552, foundSolutions=23, bestBound=31573
125.06/119.61 nFilterCalls=28752301, avgTableProportion=0.9995918374814012, avgTableSize=2449.0
125.06/119.61
125.36/119.91 num=341, depth=56..62, filters=19617146, ccks=27623, wck=117.083, mem=227M973
125.36/119.91 decisions=174783, wrong=77007, backtracks=44477, failedAssignments=39713, nogoods=1553, foundSolutions=23, bestBound=31573
125.36/119.91 nFilterCalls=28814849, avgTableProportion=0.9995918374837608, avgTableSize=2449.0
125.36/119.91
125.66/120.21 num=342, depth=55..59, filters=19657162, ccks=27623, wck=117.385, mem=227M973
125.66/120.21 decisions=175109, wrong=77141, backtracks=44549, failedAssignments=39780, nogoods=1557, foundSolutions=23, bestBound=31573
125.66/120.21 nFilterCalls=28879786, avgTableProportion=0.9995918374861998, avgTableSize=2449.0
125.66/120.21
125.96/120.52 num=343, depth=56..62, filters=19699407, ccks=27623, wck=117.693, mem=227M973
125.96/120.52 decisions=175455, wrong=77285, backtracks=44634, failedAssignments=39854, nogoods=1559, foundSolutions=23, bestBound=31573
125.96/120.52 nFilterCalls=28948002, avgTableProportion=0.9995918374887501, avgTableSize=2449.0
125.96/120.52
126.26/120.83 num=344, depth=55..61, filters=19741952, ccks=27623, wck=118.0, mem=227M973
126.26/120.83 decisions=175830, wrong=77443, backtracks=44728, failedAssignments=39935, nogoods=1563, foundSolutions=23, bestBound=31573
126.26/120.83 nFilterCalls=29016238, avgTableProportion=0.9995918374912892, avgTableSize=2449.0
126.26/120.83
126.57/121.15 num=345, depth=57..63, filters=19790803, ccks=27623, wck=118.319, mem=227M973
126.57/121.15 decisions=176240, wrong=77618, backtracks=44832, failedAssignments=40024, nogoods=1569, foundSolutions=23, bestBound=31573
126.57/121.15 nFilterCalls=29091075, avgTableProportion=0.9995918374940602, avgTableSize=2449.0
126.57/121.15
126.86/121.47 num=346, depth=55..61, filters=19843073, ccks=27623, wck=118.643, mem=227M973
126.86/121.47 decisions=176691, wrong=77815, backtracks=44948, failedAssignments=40122, nogoods=1576, foundSolutions=23, bestBound=31573
126.86/121.47 nFilterCalls=29169291, avgTableProportion=0.9995918374969411, avgTableSize=2449.0
126.86/121.47
127.26/121.80 num=347, depth=47..53, filters=19896147, ccks=27623, wck=118.97, mem=227M973
127.26/121.80 decisions=177170, wrong=78031, backtracks=45070, failedAssignments=40230, nogoods=1578, foundSolutions=23, bestBound=31573
127.26/121.80 nFilterCalls=29249877, avgTableProportion=0.9995918374998932, avgTableSize=2449.0
127.26/121.80
127.59/122.13 num=348, depth=53..57, filters=19956685, ccks=27623, wck=119.305, mem=227M973
127.59/122.13 decisions=177700, wrong=78269, backtracks=45202, failedAssignments=40349, nogoods=1588, foundSolutions=23, bestBound=31573
127.59/122.13 nFilterCalls=29336598, avgTableProportion=0.9995918375030519, avgTableSize=2449.0
127.59/122.13
127.88/122.47 num=349, depth=55..59, filters=20015724, ccks=27623, wck=119.645, mem=227M973
127.88/122.47 decisions=178281, wrong=78531, backtracks=45354, failedAssignments=40480, nogoods=1595, foundSolutions=23, bestBound=31573
127.88/122.47 nFilterCalls=29421387, avgTableProportion=0.9995918375061222, avgTableSize=2449.0
127.88/122.47
128.28/122.82 num=350, depth=54..58, filters=20078670, ccks=27623, wck=119.993, mem=227M973
128.28/122.82 decisions=178912, wrong=78819, backtracks=45518, failedAssignments=40624, nogoods=1599, foundSolutions=23, bestBound=31573
128.28/122.82 nFilterCalls=29510371, avgTableProportion=0.9995918375093256, avgTableSize=2449.0
128.28/122.82
128.59/123.18 num=351, depth=49..53, filters=20151346, ccks=27623, wck=120.348, mem=227M973
128.59/123.18 decisions=179595, wrong=79135, backtracks=45693, failedAssignments=40782, nogoods=1608, foundSolutions=23, bestBound=31573
128.59/123.18 nFilterCalls=29609278, avgTableProportion=0.9995918375128635, avgTableSize=2449.0
128.59/123.18
128.98/123.55 num=352, depth=55..59, filters=20230708, ccks=27623, wck=120.717, mem=227M973
128.98/123.55 decisions=180348, wrong=79483, backtracks=45883, failedAssignments=40956, nogoods=1617, foundSolutions=23, bestBound=31573
128.98/123.55 nFilterCalls=29716015, avgTableProportion=0.999591837516655, avgTableSize=2449.0
128.98/123.55
129.38/123.93 num=353, depth=51..55, filters=20313876, ccks=27623, wck=121.099, mem=227M973
129.38/123.93 decisions=181166, wrong=79865, backtracks=46098, failedAssignments=41147, nogoods=1623, foundSolutions=23, bestBound=31573
129.38/123.93 nFilterCalls=29826311, avgTableProportion=0.9995918375205445, avgTableSize=2449.0
129.38/123.93
129.78/124.31 num=354, depth=49..53, filters=20402457, ccks=27623, wck=121.484, mem=227M973
129.78/124.31 decisions=182061, wrong=80287, backtracks=46330, failedAssignments=41358, nogoods=1632, foundSolutions=23, bestBound=31573
129.78/124.31 nFilterCalls=29943582, avgTableProportion=0.9995918375246485, avgTableSize=2449.0
129.78/124.31
130.18/124.72 num=355, depth=48..53, filters=20505109, ccks=27623, wck=121.889, mem=227M973
130.18/124.72 decisions=183038, wrong=80751, backtracks=46585, failedAssignments=41590, nogoods=1641, foundSolutions=23, bestBound=31573
130.18/124.72 nFilterCalls=30072938, avgTableProportion=0.9995918375291384, avgTableSize=2449.0
130.18/124.72
130.59/125.14 num=356, depth=55..61, filters=20607224, ccks=27623, wck=122.312, mem=227M973
130.59/125.14 decisions=184122, wrong=81265, backtracks=46875, failedAssignments=41845, nogoods=1649, foundSolutions=23, bestBound=31573
130.59/125.14 nFilterCalls=30202806, avgTableProportion=0.9995918375336073, avgTableSize=2449.0
130.59/125.14
130.98/125.56 num=357, depth=50..55, filters=20702496, ccks=27623, wck=122.729, mem=227M973
130.98/125.56 decisions=185228, wrong=81793, backtracks=47184, failedAssignments=42126, nogoods=1654, foundSolutions=23, bestBound=31573
130.98/125.56 nFilterCalls=30326367, avgTableProportion=0.9995918375378235, avgTableSize=2449.0
130.98/125.56
131.49/126.01 num=358, depth=56..62, filters=20818385, ccks=27623, wck=123.178, mem=227M973
131.49/126.01 decisions=186545, wrong=82423, backtracks=47543, failedAssignments=42435, nogoods=1663, foundSolutions=23, bestBound=31573
131.49/126.01 nFilterCalls=30470180, avgTableProportion=0.9995918375426879, avgTableSize=2449.0
131.49/126.01
131.88/126.49 num=359, depth=62..68, filters=20962442, ccks=27623, wck=123.661, mem=230M582
131.88/126.49 decisions=187965, wrong=83101, backtracks=47926, failedAssignments=42775, nogoods=1675, foundSolutions=23, bestBound=31573
131.88/126.49 nFilterCalls=30644685, avgTableProportion=0.9995918375485291, avgTableSize=2449.0
131.88/126.49
132.38/126.99 num=360, depth=48..53, filters=21120088, ccks=27623, wck=124.158, mem=230M582
132.38/126.99 decisions=189513, wrong=83849, backtracks=48336, failedAssignments=43149, nogoods=1679, foundSolutions=23, bestBound=31573
132.38/126.99 nFilterCalls=30828696, avgTableProportion=0.9995918375546168, avgTableSize=2449.0
132.38/126.99
132.88/127.49 num=361, depth=48..55, filters=21269610, ccks=27623, wck=124.662, mem=230M582
132.88/127.49 decisions=191223, wrong=84679, backtracks=48808, failedAssignments=43560, nogoods=1687, foundSolutions=23, bestBound=31573
132.88/127.49 nFilterCalls=31007472, avgTableProportion=0.9995918375604621, avgTableSize=2449.0
132.88/127.49
133.49/128.05 num=362, depth=55..62, filters=21448404, ccks=27623, wck=125.223, mem=230M582
133.49/128.05 decisions=193089, wrong=85583, backtracks=49344, failedAssignments=44012, nogoods=1695, foundSolutions=23, bestBound=31573
133.49/128.05 nFilterCalls=31215714, avgTableProportion=0.9995918375671865, avgTableSize=2449.0
133.49/128.05
134.08/128.65 num=363, depth=53..58, filters=21645318, ccks=27623, wck=125.819, mem=230M582
134.08/128.65 decisions=195134, wrong=86577, backtracks=49906, failedAssignments=44509, nogoods=1702, foundSolutions=23, bestBound=31573
134.08/128.65 nFilterCalls=31442849, avgTableProportion=0.9995918375744193, avgTableSize=2449.0
134.08/128.65
134.68/129.26 num=364, depth=58..66, filters=21864401, ccks=27623, wck=126.433, mem=230M582
134.68/129.26 decisions=197403, wrong=87681, backtracks=50520, failedAssignments=45056, nogoods=1708, foundSolutions=23, bestBound=31573
134.68/129.26 nFilterCalls=31693366, avgTableProportion=0.9995918375822765, avgTableSize=2449.0
134.68/129.26
135.38/129.90 num=365, depth=60..67, filters=22094373, ccks=27623, wck=127.07, mem=230M582
135.38/129.90 decisions=199874, wrong=88885, backtracks=51196, failedAssignments=45658, nogoods=1716, foundSolutions=23, bestBound=31573
135.38/129.90 nFilterCalls=31955035, avgTableProportion=0.999591837590352, avgTableSize=2449.0
135.38/129.90
135.98/130.57 num=366, depth=58..65, filters=22331906, ccks=27623, wck=127.742, mem=230M582
135.98/130.57 decisions=202602, wrong=90220, backtracks=51954, failedAssignments=46320, nogoods=1725, foundSolutions=23, bestBound=31573
135.98/130.57 nFilterCalls=32226766, avgTableProportion=0.9995918375985992, avgTableSize=2449.0
135.98/130.57
136.68/131.29 num=367, depth=56..63, filters=22609616, ccks=27623, wck=128.464, mem=230M582
136.68/131.29 decisions=205522, wrong=91652, backtracks=52740, failedAssignments=47048, nogoods=1738, foundSolutions=23, bestBound=31573
136.68/131.29 nFilterCalls=32546833, avgTableProportion=0.9995918376081366, avgTableSize=2449.0
136.68/131.29
137.49/132.06 num=368, depth=58..65, filters=22915396, ccks=27623, wck=129.23, mem=230M582
137.49/132.06 decisions=208798, wrong=93260, backtracks=53645, failedAssignments=47849, nogoods=1743, foundSolutions=23, bestBound=31573
137.49/132.06 nFilterCalls=32886299, avgTableProportion=0.9995918376180494, avgTableSize=2449.0
137.49/132.06
138.29/132.89 num=369, depth=53..58, filters=23261674, ccks=27623, wck=130.065, mem=230M582
138.29/132.89 decisions=212379, wrong=95022, backtracks=54630, failedAssignments=48730, nogoods=1751, foundSolutions=23, bestBound=31573
138.29/132.89 nFilterCalls=33273684, avgTableProportion=0.9995918376291143, avgTableSize=2449.0
138.29/132.89
139.18/133.76 num=370, depth=60..67, filters=23609657, ccks=27623, wck=130.93, mem=230M582
139.18/133.76 decisions=215925, wrong=96763, backtracks=55592, failedAssignments=49700, nogoods=1759, foundSolutions=23, bestBound=31573
139.18/133.76 nFilterCalls=33657222, avgTableProportion=0.9995918376299578, avgTableSize=2449.0
139.18/133.76
140.08/134.67 num=371, depth=60..67, filters=23953168, ccks=27623, wck=131.838, mem=230M582
140.08/134.67 decisions=220227, wrong=98883, backtracks=56822, failedAssignments=50767, nogoods=1771, foundSolutions=23, bestBound=31573
140.08/134.67 nFilterCalls=34038559, avgTableProportion=0.9995918375987372, avgTableSize=2449.0
140.08/134.67
141.19/135.75 num=372, depth=55..63, filters=24425942, ccks=27623, wck=132.919, mem=230M582
141.19/135.75 decisions=225061, wrong=101271, backtracks=58182, failedAssignments=51940, nogoods=1783, foundSolutions=23, bestBound=31573
141.19/135.75 nFilterCalls=34550101, avgTableProportion=0.9995918375579386, avgTableSize=2449.0
141.19/135.75
142.29/136.82 num=373, depth=58..64, filters=24878499, ccks=27623, wck=133.995, mem=230M582
142.29/136.82 decisions=230286, wrong=103853, backtracks=59655, failedAssignments=53231, nogoods=1795, foundSolutions=23, bestBound=31573
142.29/136.82 nFilterCalls=35051182, avgTableProportion=0.999591837519129, avgTableSize=2449.0
142.29/136.82
143.49/138.03 num=374, depth=58..66, filters=25447237, ccks=27623, wck=135.207, mem=230M582
143.49/138.03 decisions=236042, wrong=106701, backtracks=61244, failedAssignments=54651, nogoods=1807, foundSolutions=23, bestBound=31573
143.49/138.03 nFilterCalls=35660797, avgTableProportion=0.9995918374733836, avgTableSize=2449.0
143.49/138.03
144.89/139.40 num=375, depth=57..64, filters=26081125, ccks=27623, wck=136.575, mem=230M582
144.89/139.40 decisions=242370, wrong=109835, backtracks=63017, failedAssignments=56213, nogoods=1820, foundSolutions=23, bestBound=31573
144.89/139.40 nFilterCalls=36335314, avgTableProportion=0.999591837424557, avgTableSize=2449.0
144.89/139.40
146.24/140.73 num=376, depth=59..65, filters=26698771, ccks=27623, wck=137.903, mem=230M582
146.24/140.73 decisions=249188, wrong=113213, backtracks=64895, failedAssignments=57931, nogoods=1832, foundSolutions=23, bestBound=31573
146.24/140.73 nFilterCalls=36994910, avgTableProportion=0.9995918373785323, avgTableSize=2449.0
146.24/140.73
147.74/142.28 num=377, depth=48..53, filters=27447838, ccks=27623, wck=139.448, mem=230M582
147.74/142.28 decisions=256798, wrong=116993, backtracks=67016, failedAssignments=59821, nogoods=1845, foundSolutions=23, bestBound=31573
147.74/142.28 nFilterCalls=37778447, avgTableProportion=0.9995918373259478, avgTableSize=2449.0
147.74/142.28
149.24/143.71 num=378, depth=60..68, filters=28067046, ccks=27623, wck=140.885, mem=230M582
149.24/143.71 decisions=264476, wrong=120801, backtracks=69164, failedAssignments=61900, nogoods=1856, foundSolutions=23, bestBound=31573
149.24/143.71 nFilterCalls=38437942, avgTableProportion=0.9995918372833497, avgTableSize=2449.0
149.24/143.71
150.84/145.35 num=379, depth=54..60, filters=28823291, ccks=27623, wck=142.517, mem=230M582
150.84/145.35 decisions=273529, wrong=125299, backtracks=71664, failedAssignments=64187, nogoods=1873, foundSolutions=23, bestBound=31573
150.84/145.35 nFilterCalls=39239235, avgTableProportion=0.9995918372335192, avgTableSize=2449.0
150.84/145.35
152.74/147.29 num=380, depth=49..57, filters=29753078, ccks=27623, wck=144.461, mem=230M582
152.74/147.29 decisions=283615, wrong=130317, backtracks=74610, failedAssignments=66703, nogoods=1892, foundSolutions=23, bestBound=31573
152.74/147.29 nFilterCalls=40219219, avgTableProportion=0.9995918371752756, avgTableSize=2449.0
152.74/147.29
154.74/149.21 num=381, depth=54..62, filters=30662408, ccks=27623, wck=146.385, mem=230M582
154.74/149.21 decisions=294412, wrong=135686, backtracks=77827, failedAssignments=69471, nogoods=1898, foundSolutions=23, bestBound=31573
154.74/149.21 nFilterCalls=41196064, avgTableProportion=0.9995918371199762, avgTableSize=2449.0
154.74/149.21
156.75/151.27 num=382, depth=58..67, filters=31590125, ccks=27623, wck=148.438, mem=230M582
156.75/151.27 decisions=306014, wrong=141456, backtracks=81175, failedAssignments=72515, nogoods=1903, foundSolutions=23, bestBound=31573
156.75/151.27 nFilterCalls=42185136, avgTableProportion=0.9995918370665939, avgTableSize=2449.0
156.75/151.27
159.05/153.51 num=383, depth=53..61, filters=32611606, ccks=27623, wck=150.682, mem=233M190
159.05/153.51 decisions=319219, wrong=148030, backtracks=85061, failedAssignments=75864, nogoods=1914, foundSolutions=23, bestBound=31573
159.05/153.51 nFilterCalls=43259139, avgTableProportion=0.9995918370113923, avgTableSize=2449.0
159.05/153.51
161.45/155.93 num=384, depth=61..71, filters=33744789, ccks=27623, wck=153.104, mem=233M190
161.45/155.93 decisions=333240, wrong=155008, backtracks=89055, failedAssignments=79548, nogoods=1921, foundSolutions=23, bestBound=31573
161.45/155.93 nFilterCalls=44492782, avgTableProportion=0.9995918369512741, avgTableSize=2449.0
161.45/155.93
164.25/158.74 num=385, depth=58..66, filters=35087126, ccks=27623, wck=155.916, mem=233M190
164.25/158.74 decisions=349538, wrong=163126, backtracks=93701, failedAssignments=83600, nogoods=1935, foundSolutions=23, bestBound=31573
164.25/158.74 nFilterCalls=45909348, avgTableProportion=0.9995918368862267, avgTableSize=2449.0
164.25/158.74
167.25/161.77 num=386, depth=61..69, filters=36551494, ccks=27623, wck=158.938, mem=233M190
167.25/161.77 decisions=366895, wrong=171773, backtracks=98670, failedAssignments=88057, nogoods=1952, foundSolutions=23, bestBound=31573
167.25/161.77 nFilterCalls=47427320, avgTableProportion=0.9995918368208356, avgTableSize=2449.0
167.25/161.77
170.75/165.27 num=387, depth=62..70, filters=38306731, ccks=27623, wck=162.443, mem=233M190
170.75/165.27 decisions=386240, wrong=181413, backtracks=104576, failedAssignments=92960, nogoods=1961, foundSolutions=23, bestBound=31573
170.75/165.27 nFilterCalls=49275503, avgTableProportion=0.9995918367466586, avgTableSize=2449.0
170.75/165.27
174.75/169.21 num=388, depth=54..65, filters=40348333, ccks=27623, wck=166.386, mem=233M190
174.75/169.21 decisions=407970, wrong=192249, backtracks=110709, failedAssignments=98354, nogoods=1970, foundSolutions=23, bestBound=31573
174.75/169.21 nFilterCalls=51373172, avgTableProportion=0.999591836668935, avgTableSize=2449.0
174.75/169.21
178.86/173.36 num=389, depth=55..63, filters=42598939, ccks=27623, wck=170.529, mem=233M190
178.86/173.36 decisions=431783, wrong=204127, backtracks=117509, failedAssignments=104287, nogoods=1986, foundSolutions=23, bestBound=31573
178.86/173.36 nFilterCalls=53697578, avgTableProportion=0.9995918365899027, avgTableSize=2449.0
178.86/173.36
183.26/177.72 num=390, depth=55..66, filters=44786324, ccks=27623, wck=174.889, mem=233M190
183.26/177.72 decisions=458049, wrong=217231, backtracks=125086, failedAssignments=110813, nogoods=2000, foundSolutions=23, bestBound=31573
183.26/177.72 nFilterCalls=55978989, avgTableProportion=0.9995918365187145, avgTableSize=2449.0
183.26/177.72
188.06/182.56 num=391, depth=58..67, filters=47358332, ccks=27623, wck=179.734, mem=233M190
188.06/182.56 decisions=486587, wrong=231469, backtracks=133335, failedAssignments=117992, nogoods=2011, foundSolutions=23, bestBound=31573
188.06/182.56 nFilterCalls=58680354, avgTableProportion=0.9995918364415799, avgTableSize=2449.0
188.06/182.56
193.36/187.83 num=392, depth=54..63, filters=49972727, ccks=27623, wck=185.002, mem=235M798
193.36/187.83 decisions=518677, wrong=247485, backtracks=142519, failedAssignments=125889, nogoods=2027, foundSolutions=23, bestBound=31573
193.36/187.83 nFilterCalls=61424447, avgTableProportion=0.9995918363701716, avgTableSize=2449.0
193.36/187.83
198.77/193.26 num=393, depth=49..58, filters=52838447, ccks=27623, wck=190.433, mem=235M798
198.77/193.26 decisions=552392, wrong=264316, backtracks=152103, failedAssignments=134576, nogoods=2036, foundSolutions=23, bestBound=31573
198.77/193.26 nFilterCalls=64457069, avgTableProportion=0.9995918362983276, avgTableSize=2449.0
198.77/193.26
204.87/199.32 num=394, depth=56..63, filters=55877271, ccks=27623, wck=196.49, mem=235M798
204.87/199.32 decisions=590668, wrong=283424, backtracks=163007, failedAssignments=144131, nogoods=2049, foundSolutions=23, bestBound=31573
204.87/199.32 nFilterCalls=67671628, avgTableProportion=0.9995918362881464, avgTableSize=2449.0
204.87/199.32
211.27/205.76 num=395, depth=50..58, filters=59071691, ccks=27623, wck=202.927, mem=235M798
211.27/205.76 decisions=630473, wrong=303300, backtracks=174355, failedAssignments=154642, nogoods=2064, foundSolutions=23, bestBound=31573
211.27/205.76 nFilterCalls=71029378, avgTableProportion=0.999591836572047, avgTableSize=2449.0
211.27/205.76
218.97/213.44 num=396, depth=47..56, filters=63036514, ccks=27623, wck=210.611, mem=235M798
218.97/213.44 decisions=677309, wrong=326692, backtracks=187911, failedAssignments=166204, nogoods=2077, foundSolutions=23, bestBound=31573
218.97/213.44 nFilterCalls=75136289, avgTableProportion=0.9995918368847917, avgTableSize=2449.0
218.97/213.44
227.37/221.86 num=397, depth=49..57, filters=67753933, ccks=27623, wck=219.035, mem=238M406
227.37/221.86 decisions=728151, wrong=352086, backtracks=202116, failedAssignments=178922, nogoods=2088, foundSolutions=23, bestBound=31573
227.37/221.86 nFilterCalls=80028489, avgTableProportion=0.9995918372154446, avgTableSize=2449.0
227.37/221.86
236.07/230.56 num=398, depth=47..55, filters=72108980, ccks=27623, wck=227.733, mem=238M406
236.07/230.56 decisions=784166, wrong=380069, backtracks=218328, failedAssignments=192912, nogoods=2098, foundSolutions=23, bestBound=31573
236.07/230.56 nFilterCalls=84612601, avgTableProportion=0.9995918374905747, avgTableSize=2449.0
236.07/230.56
245.78/240.20 num=399, depth=51..58, filters=77337635, ccks=27623, wck=237.375, mem=238M406
245.78/240.20 decisions=845500, wrong=410709, backtracks=235406, failedAssignments=208301, nogoods=2113, foundSolutions=23, bestBound=31573
245.78/240.20 nFilterCalls=90123970, avgTableProportion=0.9995918377843036, avgTableSize=2449.0
245.78/240.20
257.19/251.62 num=400, depth=54..61, filters=83286710, ccks=27623, wck=248.791, mem=241M14
257.19/251.62 decisions=913262, wrong=444561, backtracks=254773, failedAssignments=225229, nogoods=2127, foundSolutions=23, bestBound=31573
257.19/251.62 nFilterCalls=96443738, avgTableProportion=0.999591838079798, avgTableSize=2449.0
257.19/251.62
269.79/264.21 num=401, depth=56..64, filters=90453513, ccks=27623, wck=261.381, mem=241M14
269.79/264.21 decisions=987310, wrong=481555, backtracks=275465, failedAssignments=243850, nogoods=2140, foundSolutions=23, bestBound=31573
269.79/264.21 nFilterCalls=103844380, avgTableProportion=0.9995918383801116, avgTableSize=2449.0
269.79/264.21
282.89/277.33 num=402, depth=47..57, filters=97122735, ccks=27623, wck=274.505, mem=241M14
282.89/277.33 decisions=1069314, wrong=522531, backtracks=299419, failedAssignments=264334, nogoods=2150, foundSolutions=23, bestBound=31573
282.89/277.33 nFilterCalls=110932667, avgTableProportion=0.9995918386301814, avgTableSize=2449.0
282.89/277.33
297.39/291.86 num=403, depth=48..58, filters=104662675, ccks=27623, wck=289.029, mem=243M623
297.39/291.86 decisions=1159275, wrong=567485, backtracks=325178, failedAssignments=286866, nogoods=2165, foundSolutions=23, bestBound=31573
297.39/291.86 nFilterCalls=118809867, avgTableProportion=0.9995918388730786, avgTableSize=2449.0
297.39/291.86
312.89/307.33 num=404, depth=45..55, filters=112975520, ccks=27623, wck=304.497, mem=243M623
312.89/307.33 decisions=1255852, wrong=615749, backtracks=353115, failedAssignments=311651, nogoods=2172, foundSolutions=23, bestBound=31573
312.89/307.33 nFilterCalls=127594753, avgTableProportion=0.9995918391085907, avgTableSize=2449.0
312.89/307.33
328.91/323.31 num=405, depth=46..55, filters=121022943, ccks=27623, wck=320.477, mem=246M231
328.91/323.31 decisions=1360662, wrong=668128, backtracks=383473, failedAssignments=338915, nogoods=2184, foundSolutions=23, bestBound=31573
328.91/323.31 nFilterCalls=135987439, avgTableProportion=0.9995918391172521, avgTableSize=2449.0
328.91/323.31
346.91/341.32 num=406, depth=51..61, filters=130216324, ccks=27623, wck=338.494, mem=248M839
346.91/341.32 decisions=1478342, wrong=726940, backtracks=416809, failedAssignments=368905, nogoods=2200, foundSolutions=23, bestBound=31573
346.91/341.32 nFilterCalls=145459619, avgTableProportion=0.9995918383537535, avgTableSize=2449.0
346.91/341.32
367.21/361.60 num=407, depth=60..72, filters=140669290, ccks=27623, wck=358.776, mem=248M839
367.21/361.60 decisions=1604676, wrong=790074, backtracks=453701, failedAssignments=401894, nogoods=2212, foundSolutions=23, bestBound=31573
367.21/361.60 nFilterCalls=156274027, avgTableProportion=0.999591837595223, avgTableSize=2449.0
367.21/361.60
390.11/384.55 num=408, depth=55..64, filters=152821130, ccks=27623, wck=381.721, mem=251M447
390.11/384.55 decisions=1749300, wrong=862356, backtracks=495551, failedAssignments=438182, nogoods=2231, foundSolutions=23, bestBound=31573
390.11/384.55 nFilterCalls=168706461, avgTableProportion=0.9995918368433625, avgTableSize=2449.0
390.11/384.55
414.82/409.20 num=409, depth=51..61, filters=165106277, ccks=27623, wck=406.37, mem=254M55
414.82/409.20 decisions=1908608, wrong=941983, backtracks=541170, failedAssignments=478099, nogoods=2254, foundSolutions=23, bestBound=31573
414.82/409.20 nFilterCalls=181719083, avgTableProportion=0.9995918361666065, avgTableSize=2449.0
414.82/409.20
444.64/439.04 num=410, depth=53..65, filters=181430610, ccks=27623, wck=436.214, mem=256M663
444.64/439.04 decisions=2085074, wrong=1030187, backtracks=591629, failedAssignments=522008, nogoods=2269, foundSolutions=23, bestBound=31573
444.64/439.04 nFilterCalls=198526523, avgTableProportion=0.9995918354237892, avgTableSize=2449.0
444.64/439.04
474.33/468.78 num=411, depth=55..68, filters=196501258, ccks=27623, wck=465.952, mem=259M271
474.33/468.78 decisions=2277050, wrong=1126145, backtracks=647801, failedAssignments=570308, nogoods=2283, foundSolutions=23, bestBound=31573
474.33/468.78 nFilterCalls=214263233, avgTableProportion=0.9995918348339313, avgTableSize=2449.0
474.33/468.78
509.95/504.34 num=412, depth=57..67, filters=215491875, ccks=27623, wck=501.507, mem=261M879
509.95/504.34 decisions=2489552, wrong=1232365, backtracks=709495, failedAssignments=623438, nogoods=2297, foundSolutions=23, bestBound=31573
509.95/504.34 nFilterCalls=233987329, avgTableProportion=0.9995918342066582, avgTableSize=2449.0
509.95/504.34
545.15/539.55 num=413, depth=52..62, filters=233389451, ccks=27623, wck=536.721, mem=264M487
545.15/539.55 decisions=2719683, wrong=1347402, backtracks=776323, failedAssignments=681881, nogoods=2317, foundSolutions=23, bestBound=31573
545.15/539.55 nFilterCalls=252760020, avgTableProportion=0.9995918337005709, avgTableSize=2449.0
545.15/539.55
585.68/580.03 num=414, depth=48..59, filters=255038689, ccks=27623, wck=577.198, mem=267M95
585.68/580.03 decisions=2974772, wrong=1474921, backtracks=852693, failedAssignments=746168, nogoods=2331, foundSolutions=23, bestBound=31573
585.68/580.03 nFilterCalls=275338501, avgTableProportion=0.9995918331832989, avgTableSize=2449.0
585.68/580.03
632.28/626.66 num=415, depth=51..60, filters=280670185, ccks=27623, wck=623.835, mem=272M311
632.28/626.66 decisions=3257416, wrong=1616215, backtracks=934137, failedAssignments=816884, nogoods=2342, foundSolutions=23, bestBound=31573
632.28/626.66 nFilterCalls=301378014, avgTableProportion=0.999591832682972, avgTableSize=2449.0
632.28/626.66
686.59/680.94 num=416, depth=47..57, filters=310660599, ccks=27623, wck=678.109, mem=274M919
686.59/680.94 decisions=3562276, wrong=1768619, backtracks=1020330, failedAssignments=894671, nogoods=2352, foundSolutions=23, bestBound=31573
686.59/680.94 nFilterCalls=332318745, avgTableProportion=0.9995918321904068, avgTableSize=2449.0
686.59/680.94
743.10/737.48 num=417, depth=54..66, filters=342596900, ccks=27623, wck=734.65, mem=280M135
743.10/737.48 decisions=3903728, wrong=1939316, backtracks=1116540, failedAssignments=980237, nogoods=2366, foundSolutions=23, bestBound=31573
743.10/737.48 nFilterCalls=365342175, avgTableProportion=0.999591831756729, avgTableSize=2449.0
743.10/737.48
800.73/795.07 num=418, depth=52..62, filters=371825649, ccks=27623, wck=792.24, mem=285M351
800.73/795.07 decisions=4280787, wrong=2127817, backtracks=1225305, failedAssignments=1074360, nogoods=2382, foundSolutions=23, bestBound=31573
800.73/795.07 nFilterCalls=395973242, avgTableProportion=0.999591831419134, avgTableSize=2449.0
800.73/795.07
863.03/857.38 num=419, depth=57..67, filters=403738420, ccks=27623, wck=854.55, mem=290M567
863.03/857.38 decisions=4694476, wrong=2334630, backtracks=1343133, failedAssignments=1177895, nogoods=2399, foundSolutions=23, bestBound=31573
863.03/857.38 nFilterCalls=429216514, avgTableProportion=0.999591831107273, avgTableSize=2449.0
863.03/857.38
935.86/930.14 num=420, depth=51..65, filters=443793938, ccks=27623, wck=927.308, mem=295M783
935.86/930.14 decisions=5153194, wrong=2563960, backtracks=1478181, failedAssignments=1291784, nogoods=2412, foundSolutions=23, bestBound=31573
935.86/930.14 nFilterCalls=470820834, avgTableProportion=0.9995918307790221, avgTableSize=2449.0
935.86/930.14
1012.27/1006.53 num=421, depth=54..64, filters=482824205, ccks=27623, wck=1003.704, mem=303M607
1012.27/1006.53 decisions=5639425, wrong=2807046, backtracks=1618231, failedAssignments=1417062, nogoods=2433, foundSolutions=23, bestBound=31573
1012.27/1006.53 nFilterCalls=511506489, avgTableProportion=0.9995918305096615, avgTableSize=2449.0
1012.27/1006.53
1109.85/1104.02 num=422, depth=59..70, filters=536019881, ccks=27623, wck=1101.191, mem=200M25
1109.85/1104.02 decisions=6181506, wrong=3078054, backtracks=1781846, failedAssignments=1554868, nogoods=2451, foundSolutions=23, bestBound=31573
1109.85/1104.02 nFilterCalls=566480973, avgTableProportion=0.9995918302071624, avgTableSize=2449.0
1109.85/1104.02
1214.35/1208.56 num=423, depth=56..68, filters=593397025, ccks=27623, wck=1205.735, mem=207M701
1214.35/1208.56 decisions=6780039, wrong=3377290, backtracks=1955959, failedAssignments=1706454, nogoods=2470, foundSolutions=23, bestBound=31573
1214.35/1208.56 nFilterCalls=625924336, avgTableProportion=0.9995918299398643, avgTableSize=2449.0
1214.35/1208.56
1318.18/1312.36 num=424, depth=59..74, filters=647091184, ccks=27623, wck=1309.531, mem=215M376
1318.18/1312.36 decisions=7434875, wrong=3704676, backtracks=2145425, failedAssignments=1873199, nogoods=2493, foundSolutions=23, bestBound=31573
1318.18/1312.36 nFilterCalls=681628342, avgTableProportion=0.999591829731695, avgTableSize=2449.0
1318.18/1312.36
1435.51/1429.66 num=425, depth=54..66, filters=707674499, ccks=27623, wck=1426.833, mem=226M888
1435.51/1429.66 decisions=8174265, wrong=4074342, backtracks=2361081, failedAssignments=2056618, nogoods=2503, foundSolutions=23, bestBound=31573
1435.51/1429.66 nFilterCalls=744620390, avgTableProportion=0.9995918295338146, avgTableSize=2449.0
1435.51/1429.66
1561.15/1555.28 num=426, depth=53..65, filters=772982640, ccks=27623, wck=1552.45, mem=234M563
1561.15/1555.28 decisions=8977113, wrong=4475738, backtracks=2594392, failedAssignments=2258379, nogoods=2526, foundSolutions=23, bestBound=31573
1561.15/1555.28 nFilterCalls=812075082, avgTableProportion=0.9995918293559537, avgTableSize=2449.0
1561.15/1555.28
1703.99/1698.04 num=427, depth=50..64, filters=847409951, ccks=27623, wck=1695.216, mem=246M76
1703.99/1698.04 decisions=9864271, wrong=4919289, backtracks=2853402, failedAssignments=2480317, nogoods=2545, foundSolutions=23, bestBound=31573
1703.99/1698.04 nFilterCalls=888707719, avgTableProportion=0.9995918291866532, avgTableSize=2449.0
1703.99/1698.04
1866.32/1860.36 num=428, depth=52..65, filters=933859830, ccks=27623, wck=1857.527, mem=261M426
1866.32/1860.36 decisions=10839452, wrong=5406851, backtracks=3138828, failedAssignments=2724448, nogoods=2562, foundSolutions=23, bestBound=31573
1866.32/1860.36 nFilterCalls=978534710, avgTableProportion=0.9995918290219618, avgTableSize=2449.0
1866.32/1860.36
2031.17/2025.17 num=429, depth=47..60, filters=1017368746, ccks=27623, wck=2022.342, mem=272M939
2031.17/2025.17 decisions=11911491, wrong=5942844, backtracks=3449632, failedAssignments=2992993, nogoods=2578, foundSolutions=23, bestBound=31573
2031.17/2025.17 nFilterCalls=1065901876, avgTableProportion=0.9995918288884085, avgTableSize=2449.0
2031.17/2025.17
2210.41/2204.30 num=430, depth=55..70, filters=1109554454, ccks=27623, wck=2201.47, mem=288M289
2210.41/2204.30 decisions=13074334, wrong=6524236, backtracks=3783196, failedAssignments=3288392, nogoods=2594, foundSolutions=23, bestBound=31573
2210.41/2204.30 nFilterCalls=1160775230, avgTableProportion=0.9995918287661503, avgTableSize=2449.0
2210.41/2204.30
2400.05/2393.90
2400.05/2393.90 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>
2400.05/2393.90 s SATISFIABLE