2.41/1.88
2.41/1.88 AbsCon 2
2.41/1.89
3.25/2.14 Instance
3.25/2.14 name=instance-4391014-1568385363, framework=COP, bounds=-infty..+infty
3.25/2.14
3.25/2.14 Loading variables...
3.25/2.19 Loading constraints...
4.47/2.51
4.47/2.51 Domains
4.47/2.51 nTypes=2, nValues=32400, sizes=[66#150,150#150]
4.47/2.51 Variables
4.47/2.51 count=300, degrees=[2#150,3#150]
4.47/2.52 Objectives
4.47/2.52 way=min, type=SumSimpleLE
4.47/2.52 Constraints
4.47/2.52 count=152, nSpecific=152, arities=[3#150,150#2]
4.47/2.52 distribution=[AllDifferent#1,CtrExtensionCT-Table#150,SumSimpleLE#1]
4.47/2.52 tables=[22350#150], nTotalTuples=3352500
4.47/2.52 nExtStructures=(1,shared:149)
4.47/2.52 wck=0.668, cpu=2.381, mem=179M9
4.47/2.56 Solver SolverBacktrack being built...
4.47/2.56
4.47/2.59
4.47/2.59 Solver
4.47/2.59 guaranteedGAC=true
4.47/2.59 wck=0.74, cpu=2.452, mem=209M6
4.71/2.63
4.71/2.63 Preprocessing
4.71/2.63 filters=0, nACremovedValues=0, nTotalRemovedValues=0, inconcistency=false
4.71/2.63 wck=0.039, cpu=2.493, mem=209M6
4.71/2.63
5.85/3.06 o 2604
5.85/3.08 num=0, depth=301..299, filters=1986, ccks=152, wck=0.494, mem=247M587
5.85/3.08 decisions=149, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=1, bestBound=2604
5.85/3.08 nFilterCalls=11622, avgTableProportion=0.9999552572705142, avgTableSize=22349.0
5.85/3.08
6.37/3.32 o 2582
6.37/3.33 num=1, depth=147..299, filters=3980, ccks=304, wck=0.746, mem=247M587
6.37/3.33 decisions=300, wrong=1, backtracks=0, failedAssignments=1, nogoods=1, foundSolutions=2, bestBound=2582
6.37/3.33 nFilterCalls=23107, avgTableProportion=0.9999552572702104, avgTableSize=22349.0
6.37/3.33
6.80/3.59 o 2572
6.98/3.60 num=2, depth=301..299, filters=5967, ccks=456, wck=1.012, mem=250M362
6.98/3.60 decisions=447, wrong=1, backtracks=0, failedAssignments=1, nogoods=1, foundSolutions=3, bestBound=2572
6.98/3.60 nFilterCalls=34580, avgTableProportion=0.9999552572701085, avgTableSize=22349.0
6.98/3.60
7.29/3.85 o 2551
7.29/3.86 num=3, depth=2..299, filters=7983, ccks=608, wck=1.271, mem=250M362
7.29/3.86 decisions=608, wrong=7, backtracks=0, failedAssignments=7, nogoods=7, foundSolutions=4, bestBound=2551
7.29/3.86 nFilterCalls=45951, avgTableProportion=0.9999552572700576, avgTableSize=22349.0
7.29/3.86
7.52/4.06 o 2523
7.52/4.07 num=4, depth=301..299, filters=9956, ccks=760, wck=1.486, mem=250M362
7.52/4.07 decisions=758, wrong=7, backtracks=0, failedAssignments=7, nogoods=7, foundSolutions=5, bestBound=2523
7.52/4.07 nFilterCalls=57429, avgTableProportion=0.9999552572700268, avgTableSize=22349.0
7.52/4.07
7.73/4.28 num=5, depth=144..146, filters=12071, ccks=760, wck=1.696, mem=250M362
7.73/4.28 decisions=929, wrong=20, backtracks=3, failedAssignments=18, nogoods=13, foundSolutions=5, bestBound=2523
7.73/4.28 nFilterCalls=68866, avgTableProportion=0.9999552572700062, avgTableSize=22349.0
7.73/4.28
7.94/4.50 num=6, depth=81..153, filters=13388, ccks=760, wck=1.909, mem=258M406
7.94/4.50 decisions=1114, wrong=38, backtracks=10, failedAssignments=29, nogoods=16, foundSolutions=5, bestBound=2523
7.94/4.50 nFilterCalls=78869, avgTableProportion=0.9999552572699931, avgTableSize=22349.0
7.94/4.50
8.27/4.70 o 1572
8.27/4.71 num=7, depth=301..299, filters=15571, ccks=912, wck=2.121, mem=258M406
8.27/4.71 decisions=1269, wrong=38, backtracks=10, failedAssignments=29, nogoods=16, foundSolutions=6, bestBound=1572
8.27/4.71 nFilterCalls=90136, avgTableProportion=0.9999552572699819, avgTableSize=22349.0
8.27/4.71
8.55/4.92 num=8, depth=142..143, filters=17834, ccks=912, wck=2.337, mem=258M406
8.55/4.92 decisions=1439, wrong=52, backtracks=11, failedAssignments=42, nogoods=23, foundSolutions=6, bestBound=1572
8.55/4.92 nFilterCalls=101539, avgTableProportion=0.999955257269973, avgTableSize=22349.0
8.55/4.92
8.76/5.14 num=9, depth=125..127, filters=20004, ccks=912, wck=2.549, mem=261M12
8.76/5.14 decisions=1590, wrong=65, backtracks=13, failedAssignments=53, nogoods=27, foundSolutions=6, bestBound=1572
8.76/5.14 nFilterCalls=112997, avgTableProportion=0.9999552572699659, avgTableSize=22349.0
8.76/5.14
8.96/5.35 num=10, depth=131..133, filters=22538, ccks=912, wck=2.766, mem=261M12
8.96/5.35 decisions=1748, wrong=78, backtracks=14, failedAssignments=65, nogoods=33, foundSolutions=6, bestBound=1572
8.96/5.35 nFilterCalls=125078, avgTableProportion=0.9999552572699598, avgTableSize=22349.0
8.96/5.35
9.16/5.56 num=11, depth=149..151, filters=24760, ccks=912, wck=2.971, mem=261M12
9.16/5.56 decisions=1929, wrong=93, backtracks=16, failedAssignments=78, nogoods=40, foundSolutions=6, bestBound=1572
9.16/5.56 nFilterCalls=136586, avgTableProportion=0.9999552572705419, avgTableSize=22349.0
9.16/5.56
9.36/5.76 num=12, depth=133..134, filters=27140, ccks=912, wck=3.172, mem=261M12
9.36/5.76 decisions=2096, wrong=110, backtracks=19, failedAssignments=92, nogoods=54, foundSolutions=6, bestBound=1572
9.36/5.76 nFilterCalls=147844, avgTableProportion=0.9999552572716014, avgTableSize=22349.0
9.36/5.76
9.56/5.96 num=13, depth=142..144, filters=29789, ccks=912, wck=3.377, mem=261M12
9.56/5.96 decisions=2275, wrong=128, backtracks=21, failedAssignments=108, nogoods=62, foundSolutions=6, bestBound=1572
9.56/5.96 nFilterCalls=159455, avgTableProportion=0.9999552572725373, avgTableSize=22349.0
9.56/5.96
9.77/6.17 num=14, depth=119..120, filters=32525, ccks=912, wck=3.579, mem=261M12
9.77/6.17 decisions=2430, wrong=146, backtracks=22, failedAssignments=125, nogoods=74, foundSolutions=6, bestBound=1572
9.77/6.17 nFilterCalls=170750, avgTableProportion=0.9999552572733257, avgTableSize=22349.0
9.77/6.17
9.96/6.37 num=15, depth=123..125, filters=35680, ccks=912, wck=3.786, mem=261M12
9.96/6.37 decisions=2596, wrong=167, backtracks=24, failedAssignments=144, nogoods=86, foundSolutions=6, bestBound=1572
9.96/6.37 nFilterCalls=182797, avgTableProportion=0.9999552572740591, avgTableSize=22349.0
9.96/6.37
10.17/6.58 num=16, depth=122..124, filters=38811, ccks=912, wck=3.989, mem=261M12
10.17/6.58 decisions=2765, wrong=190, backtracks=26, failedAssignments=165, nogoods=91, foundSolutions=6, bestBound=1572
10.17/6.58 nFilterCalls=194349, avgTableProportion=0.999955257274677, avgTableSize=22349.0
10.17/6.58
10.37/6.79 num=17, depth=107..109, filters=42134, ccks=912, wck=4.2, mem=261M12
10.37/6.79 decisions=2926, wrong=217, backtracks=32, failedAssignments=188, nogoods=102, foundSolutions=6, bestBound=1572
10.37/6.79 nFilterCalls=206220, avgTableProportion=0.9999552572752399, avgTableSize=22349.0
10.37/6.79
10.68/7.02 num=18, depth=118..121, filters=47400, ccks=912, wck=4.431, mem=261M12
10.68/7.02 decisions=3102, wrong=246, backtracks=37, failedAssignments=213, nogoods=104, foundSolutions=6, bestBound=1572
10.68/7.02 nFilterCalls=219978, avgTableProportion=0.9999552572758162, avgTableSize=22349.0
10.68/7.02
10.88/7.24 num=19, depth=128..135, filters=51067, ccks=912, wck=4.655, mem=261M12
10.88/7.24 decisions=3310, wrong=283, backtracks=46, failedAssignments=241, nogoods=109, foundSolutions=6, bestBound=1572
10.88/7.24 nFilterCalls=232938, avgTableProportion=0.9999552572762969, avgTableSize=22349.0
10.88/7.24
11.08/7.46 num=20, depth=115..118, filters=55036, ccks=912, wck=4.872, mem=261M12
11.08/7.46 decisions=3500, wrong=320, backtracks=53, failedAssignments=272, nogoods=123, foundSolutions=6, bestBound=1572
11.08/7.46 nFilterCalls=245954, avgTableProportion=0.9999552572767286, avgTableSize=22349.0
11.08/7.46
11.28/7.68 num=21, depth=107..109, filters=59073, ccks=912, wck=5.092, mem=261M12
11.28/7.68 decisions=3688, wrong=360, backtracks=59, failedAssignments=306, nogoods=130, foundSolutions=6, bestBound=1572
11.28/7.68 nFilterCalls=258790, avgTableProportion=0.9999552572771119, avgTableSize=22349.0
11.28/7.68
11.60/7.90 num=22, depth=115..118, filters=63582, ccks=912, wck=5.314, mem=261M12
11.60/7.90 decisions=3893, wrong=405, backtracks=68, failedAssignments=343, nogoods=134, foundSolutions=6, bestBound=1572
11.60/7.90 nFilterCalls=271842, avgTableProportion=0.9999552572774643, avgTableSize=22349.0
11.60/7.90
11.85/8.12 num=23, depth=108..112, filters=67107, ccks=912, wck=5.529, mem=261M12
11.85/8.12 decisions=4088, wrong=448, backtracks=70, failedAssignments=384, nogoods=165, foundSolutions=6, bestBound=1572
11.85/8.12 nFilterCalls=283503, avgTableProportion=0.9999552572777518, avgTableSize=22349.0
11.85/8.12
12.04/8.36 num=24, depth=118..120, filters=72032, ccks=912, wck=5.773, mem=261M12
12.04/8.36 decisions=4305, wrong=497, backtracks=74, failedAssignments=429, nogoods=175, foundSolutions=6, bestBound=1572
12.04/8.36 nFilterCalls=297721, avgTableProportion=0.999955257278072, avgTableSize=22349.0
12.04/8.36
12.34/8.60 num=25, depth=115..120, filters=76771, ccks=912, wck=6.017, mem=261M12
12.34/8.60 decisions=4538, wrong=555, backtracks=82, failedAssignments=479, nogoods=180, foundSolutions=6, bestBound=1572
12.34/8.60 nFilterCalls=311924, avgTableProportion=0.9999552572783627, avgTableSize=22349.0
12.34/8.60
12.54/8.86 num=26, depth=136..140, filters=82424, ccks=912, wck=6.274, mem=261M12
12.54/8.86 decisions=4827, wrong=631, backtracks=105, failedAssignments=534, nogoods=194, foundSolutions=6, bestBound=1572
12.54/8.86 nFilterCalls=327195, avgTableProportion=0.999955257278647, avgTableSize=22349.0
12.54/8.86
12.75/9.09 num=27, depth=139..145, filters=86530, ccks=912, wck=6.505, mem=261M12
12.75/9.09 decisions=5121, wrong=707, backtracks=120, failedAssignments=595, nogoods=206, foundSolutions=6, bestBound=1572
12.75/9.09 nFilterCalls=341029, avgTableProportion=0.9999552572788826, avgTableSize=22349.0
12.75/9.09
13.05/9.32 num=28, depth=142..144, filters=91203, ccks=912, wck=6.736, mem=261M12
13.05/9.32 decisions=5418, wrong=784, backtracks=131, failedAssignments=662, nogoods=217, foundSolutions=6, bestBound=1572
13.05/9.32 nFilterCalls=355203, avgTableProportion=0.999955257279105, avgTableSize=22349.0
13.05/9.32
13.29/9.55 num=29, depth=158..167, filters=96414, ccks=912, wck=6.963, mem=261M12
13.29/9.55 decisions=5829, wrong=908, backtracks=187, failedAssignments=736, nogoods=225, foundSolutions=6, bestBound=1572
13.29/9.55 nFilterCalls=369291, avgTableProportion=0.999955257279309, avgTableSize=22349.0
13.29/9.55
13.50/9.79 num=30, depth=156..161, filters=101604, ccks=912, wck=7.2, mem=261M12
13.50/9.79 decisions=6187, wrong=1008, backtracks=206, failedAssignments=817, nogoods=231, foundSolutions=6, bestBound=1572
13.50/9.79 nFilterCalls=383430, avgTableProportion=0.9999552572794987, avgTableSize=22349.0
13.50/9.79
13.81/10.04 num=31, depth=152..154, filters=106050, ccks=912, wck=7.45, mem=261M12
13.81/10.04 decisions=6536, wrong=1106, backtracks=216, failedAssignments=906, nogoods=278, foundSolutions=6, bestBound=1572
13.81/10.04 nFilterCalls=397215, avgTableProportion=0.9999552572796708, avgTableSize=22349.0
13.81/10.04
14.00/10.28 num=32, depth=163..166, filters=110560, ccks=912, wck=7.691, mem=261M12
14.00/10.28 decisions=6937, wrong=1225, backtracks=238, failedAssignments=1004, nogoods=298, foundSolutions=6, bestBound=1572
14.00/10.28 nFilterCalls=411058, avgTableProportion=0.9999552572798319, avgTableSize=22349.0
14.00/10.28
14.26/10.48 o 1571
14.26/10.49 num=33, depth=164..299, filters=113674, ccks=1064, wck=7.903, mem=261M12
14.26/10.49 decisions=7214, wrong=1280, backtracks=255, failedAssignments=1042, nogoods=312, foundSolutions=7, bestBound=1571
14.26/10.49 nFilterCalls=423516, avgTableProportion=0.9999552572799679, avgTableSize=22349.0
14.26/10.49
14.46/10.69 o 1568
14.46/10.70 num=34, depth=163..299, filters=116554, ccks=1216, wck=8.109, mem=263M619
14.46/10.70 decisions=7430, wrong=1304, backtracks=264, failedAssignments=1059, nogoods=318, foundSolutions=8, bestBound=1568
14.46/10.70 nFilterCalls=435435, avgTableProportion=0.9999552572800907, avgTableSize=22349.0
14.46/10.70
14.76/10.90 num=35, depth=162..165, filters=119007, ccks=1216, wck=8.312, mem=263M619
14.76/10.90 decisions=7623, wrong=1318, backtracks=267, failedAssignments=1070, nogoods=320, foundSolutions=8, bestBound=1568
14.76/10.90 nFilterCalls=447331, avgTableProportion=0.9999552572802067, avgTableSize=22349.0
14.76/10.90
14.87/11.10 num=36, depth=160..163, filters=121646, ccks=1216, wck=8.51, mem=263M619
14.87/11.10 decisions=7817, wrong=1334, backtracks=272, failedAssignments=1081, nogoods=324, foundSolutions=8, bestBound=1568
14.87/11.10 nFilterCalls=459057, avgTableProportion=0.9999552572803153, avgTableSize=22349.0
14.87/11.10
15.06/11.29 o 1561
15.17/11.30 num=37, depth=301..299, filters=124106, ccks=1368, wck=8.713, mem=263M619
15.17/11.30 decisions=7995, wrong=1334, backtracks=272, failedAssignments=1081, nogoods=324, foundSolutions=9, bestBound=1561
15.17/11.30 nFilterCalls=470744, avgTableProportion=0.9999552572804181, avgTableSize=22349.0
15.17/11.30
15.37/11.51 num=38, depth=155..160, filters=127246, ccks=1368, wck=8.92, mem=263M619
15.37/11.51 decisions=8198, wrong=1356, backtracks=281, failedAssignments=1094, nogoods=327, foundSolutions=9, bestBound=1561
15.37/11.51 nFilterCalls=483108, avgTableProportion=0.9999552572805214, avgTableSize=22349.0
15.37/11.51
15.57/11.70 o 1471
15.57/11.71 num=39, depth=301..299, filters=129409, ccks=1520, wck=9.121, mem=263M619
15.57/11.71 decisions=8383, wrong=1356, backtracks=281, failedAssignments=1094, nogoods=327, foundSolutions=10, bestBound=1471
15.57/11.71 nFilterCalls=494530, avgTableProportion=0.9999552572806122, avgTableSize=22349.0
15.57/11.71
15.81/11.91 num=40, depth=161..164, filters=131718, ccks=1520, wck=9.326, mem=263M619
15.81/11.91 decisions=8574, wrong=1370, backtracks=284, failedAssignments=1106, nogoods=332, foundSolutions=10, bestBound=1471
15.81/11.91 nFilterCalls=506184, avgTableProportion=0.9999552572807007, avgTableSize=22349.0
15.81/11.91
16.02/12.11 num=41, depth=170..172, filters=134160, ccks=1520, wck=9.527, mem=263M619
16.02/12.11 decisions=8785, wrong=1390, backtracks=293, failedAssignments=1117, nogoods=337, foundSolutions=10, bestBound=1471
16.02/12.11 nFilterCalls=517936, avgTableProportion=0.9999552572807859, avgTableSize=22349.0
16.02/12.11
16.21/12.32 num=42, depth=149..153, filters=136796, ccks=1520, wck=9.732, mem=263M619
16.21/12.32 decisions=8967, wrong=1405, backtracks=296, failedAssignments=1129, nogoods=342, foundSolutions=10, bestBound=1471
16.21/12.32 nFilterCalls=529998, avgTableProportion=0.9999552572808694, avgTableSize=22349.0
16.21/12.32
16.41/12.52 num=43, depth=170..172, filters=138918, ccks=1520, wck=9.934, mem=263M619
16.41/12.52 decisions=9174, wrong=1423, backtracks=301, failedAssignments=1142, nogoods=348, foundSolutions=10, bestBound=1471
16.41/12.52 nFilterCalls=541533, avgTableProportion=0.9999552572809458, avgTableSize=22349.0
16.41/12.52
16.61/12.72 o 1395
16.61/12.72 num=44, depth=301..299, filters=140997, ccks=1672, wck=10.136, mem=263M619
16.61/12.72 decisions=9358, wrong=1423, backtracks=301, failedAssignments=1142, nogoods=348, foundSolutions=11, bestBound=1395
16.61/12.72 nFilterCalls=552934, avgTableProportion=0.9999552572810181, avgTableSize=22349.0
16.61/12.72
16.81/12.94 num=45, depth=145..148, filters=143546, ccks=1672, wck=10.349, mem=263M619
16.81/12.94 decisions=9543, wrong=1442, backtracks=304, failedAssignments=1158, nogoods=360, foundSolutions=11, bestBound=1395
16.81/12.94 nFilterCalls=565076, avgTableProportion=0.999955257281092, avgTableSize=22349.0
16.81/12.94
17.02/13.14 num=46, depth=167..168, filters=145887, ccks=1672, wck=10.552, mem=263M619
17.02/13.14 decisions=9738, wrong=1456, backtracks=307, failedAssignments=1169, nogoods=367, foundSolutions=11, bestBound=1395
17.02/13.14 nFilterCalls=576870, avgTableProportion=0.9999552572811607, avgTableSize=22349.0
17.02/13.14
17.21/13.35 num=47, depth=154..157, filters=148276, ccks=1672, wck=10.759, mem=263M619
17.21/13.35 decisions=9922, wrong=1470, backtracks=309, failedAssignments=1181, nogoods=372, foundSolutions=11, bestBound=1395
17.21/13.35 nFilterCalls=588999, avgTableProportion=0.9999552572812286, avgTableSize=22349.0
17.21/13.35
17.41/13.56 num=48, depth=153..159, filters=151059, ccks=1672, wck=10.972, mem=263M619
17.41/13.56 decisions=10114, wrong=1487, backtracks=313, failedAssignments=1194, nogoods=377, foundSolutions=11, bestBound=1395
17.41/13.56 nFilterCalls=601394, avgTableProportion=0.9999552572812951, avgTableSize=22349.0
17.41/13.56
17.62/13.77 num=49, depth=163..167, filters=153482, ccks=1672, wck=11.18, mem=263M619
17.62/13.77 decisions=10328, wrong=1511, backtracks=324, failedAssignments=1208, nogoods=382, foundSolutions=11, bestBound=1395
17.62/13.77 nFilterCalls=613233, avgTableProportion=0.999955257281356, avgTableSize=22349.0
17.62/13.77
17.82/13.97 num=50, depth=163..165, filters=155778, ccks=1672, wck=11.386, mem=263M619
17.82/13.97 decisions=10527, wrong=1529, backtracks=326, failedAssignments=1224, nogoods=387, foundSolutions=11, bestBound=1395
17.82/13.97 nFilterCalls=624938, avgTableProportion=0.9999552572814141, avgTableSize=22349.0
17.82/13.97
18.03/14.18 num=51, depth=165..167, filters=158031, ccks=1672, wck=11.591, mem=263M619
18.03/14.18 decisions=10730, wrong=1548, backtracks=328, failedAssignments=1241, nogoods=400, foundSolutions=11, bestBound=1395
18.03/14.18 nFilterCalls=636701, avgTableProportion=0.9999552572814703, avgTableSize=22349.0
18.03/14.18
18.22/14.39 num=52, depth=148..150, filters=160474, ccks=1672, wck=11.801, mem=263M619
18.22/14.39 decisions=10923, wrong=1570, backtracks=331, failedAssignments=1260, nogoods=402, foundSolutions=11, bestBound=1395
18.22/14.39 nFilterCalls=648337, avgTableProportion=0.9999552572815239, avgTableSize=22349.0
18.22/14.39
18.52/14.60 num=53, depth=169..172, filters=162983, ccks=1672, wck=12.014, mem=263M619
18.52/14.60 decisions=11140, wrong=1594, backtracks=334, failedAssignments=1281, nogoods=403, foundSolutions=11, bestBound=1395
18.52/14.60 nFilterCalls=660377, avgTableProportion=0.9999552572815773, avgTableSize=22349.0
18.52/14.60
18.73/14.81 num=54, depth=151..156, filters=165715, ccks=1672, wck=12.225, mem=263M619
18.73/14.81 decisions=11351, wrong=1622, backtracks=339, failedAssignments=1304, nogoods=416, foundSolutions=11, bestBound=1395
18.73/14.81 nFilterCalls=672366, avgTableProportion=0.9999552572816286, avgTableSize=22349.0
18.73/14.81
18.94/15.02 num=55, depth=145..147, filters=167724, ccks=1672, wck=12.435, mem=263M619
18.94/15.02 decisions=11549, wrong=1648, backtracks=340, failedAssignments=1329, nogoods=418, foundSolutions=11, bestBound=1395
18.94/15.02 nFilterCalls=683922, avgTableProportion=0.9999552572816763, avgTableSize=22349.0
18.94/15.02
19.13/15.24 num=56, depth=163..167, filters=170565, ccks=1672, wck=12.652, mem=263M619
19.13/15.24 decisions=11792, wrong=1688, backtracks=352, failedAssignments=1357, nogoods=424, foundSolutions=11, bestBound=1395
19.13/15.24 nFilterCalls=696457, avgTableProportion=0.9999552572817264, avgTableSize=22349.0
19.13/15.24
19.33/15.46 num=57, depth=156..159, filters=173110, ccks=1672, wck=12.87, mem=263M619
19.33/15.46 decisions=12020, wrong=1724, backtracks=357, failedAssignments=1388, nogoods=436, foundSolutions=11, bestBound=1395
19.33/15.46 nFilterCalls=708755, avgTableProportion=0.9999552572817737, avgTableSize=22349.0
19.33/15.46
19.53/15.68 num=58, depth=165..167, filters=175876, ccks=1672, wck=13.093, mem=263M619
19.53/15.68 decisions=12263, wrong=1763, backtracks=362, failedAssignments=1422, nogoods=452, foundSolutions=11, bestBound=1395
19.53/15.68 nFilterCalls=721316, avgTableProportion=0.9999552572818204, avgTableSize=22349.0
19.53/15.68
19.83/15.91 num=59, depth=145..151, filters=179200, ccks=1672, wck=13.319, mem=263M619
19.83/15.91 decisions=12492, wrong=1804, backtracks=366, failedAssignments=1459, nogoods=457, foundSolutions=11, bestBound=1395
19.83/15.91 nFilterCalls=734274, avgTableProportion=0.999955257281867, avgTableSize=22349.0
19.83/15.91
20.04/16.13 num=60, depth=151..154, filters=182677, ccks=1672, wck=13.541, mem=263M619
20.04/16.13 decisions=12744, wrong=1854, backtracks=375, failedAssignments=1500, nogoods=474, foundSolutions=11, bestBound=1395
20.04/16.13 nFilterCalls=747251, avgTableProportion=0.9999552572819118, avgTableSize=22349.0
20.04/16.13
20.23/16.35 num=61, depth=163..166, filters=185723, ccks=1672, wck=13.763, mem=263M619
20.23/16.35 decisions=13017, wrong=1908, backtracks=384, failedAssignments=1545, nogoods=487, foundSolutions=11, bestBound=1395
20.23/16.35 nFilterCalls=759482, avgTableProportion=0.9999552572819528, avgTableSize=22349.0
20.23/16.35
20.43/16.57 num=62, depth=151..153, filters=188878, ccks=1672, wck=13.984, mem=263M619
20.43/16.57 decisions=13279, wrong=1963, backtracks=390, failedAssignments=1595, nogoods=508, foundSolutions=11, bestBound=1395
20.43/16.57 nFilterCalls=772198, avgTableProportion=0.999955257281994, avgTableSize=22349.0
20.43/16.57
20.75/16.81 num=63, depth=162..169, filters=192303, ccks=1672, wck=14.22, mem=263M619
20.75/16.81 decisions=13575, wrong=2028, backtracks=400, failedAssignments=1650, nogoods=520, foundSolutions=11, bestBound=1395
20.75/16.81 nFilterCalls=785448, avgTableProportion=0.9999552572820355, avgTableSize=22349.0
20.75/16.81
20.96/17.04 num=64, depth=164..168, filters=195990, ccks=1672, wck=14.449, mem=263M619
20.96/17.04 decisions=13902, wrong=2109, backtracks=424, failedAssignments=1711, nogoods=527, foundSolutions=11, bestBound=1395
20.96/17.04 nFilterCalls=798333, avgTableProportion=0.9999552572820746, avgTableSize=22349.0
20.96/17.04
21.15/17.27 num=65, depth=163..167, filters=199551, ccks=1672, wck=14.683, mem=263M619
21.15/17.27 decisions=14223, wrong=2187, backtracks=435, failedAssignments=1778, nogoods=537, foundSolutions=11, bestBound=1395
21.15/17.27 nFilterCalls=811462, avgTableProportion=0.9999552572821131, avgTableSize=22349.0
21.15/17.27
21.45/17.51 num=66, depth=165..169, filters=202932, ccks=1672, wck=14.925, mem=263M619
21.45/17.51 decisions=14557, wrong=2270, backtracks=445, failedAssignments=1852, nogoods=544, foundSolutions=11, bestBound=1395
21.45/17.51 nFilterCalls=824681, avgTableProportion=0.9999552572821506, avgTableSize=22349.0
21.45/17.51
21.65/17.76 num=67, depth=161..164, filters=207256, ccks=1672, wck=15.169, mem=263M619
21.65/17.76 decisions=14915, wrong=2367, backtracks=461, failedAssignments=1933, nogoods=555, foundSolutions=11, bestBound=1395
21.65/17.76 nFilterCalls=838194, avgTableProportion=0.9999552572821878, avgTableSize=22349.0
21.65/17.76
21.85/17.99 num=68, depth=162..165, filters=211235, ccks=1672, wck=15.407, mem=263M619
21.85/17.99 decisions=15295, wrong=2476, backtracks=482, failedAssignments=2022, nogoods=557, foundSolutions=11, bestBound=1395
21.85/17.99 nFilterCalls=851560, avgTableProportion=0.9999552572822233, avgTableSize=22349.0
21.85/17.99
22.15/18.23 num=69, depth=169..171, filters=214665, ccks=1672, wck=15.64, mem=263M619
22.15/18.23 decisions=15686, wrong=2586, backtracks=494, failedAssignments=2120, nogoods=563, foundSolutions=11, bestBound=1395
22.15/18.23 nFilterCalls=864423, avgTableProportion=0.9999552572822565, avgTableSize=22349.0
22.15/18.23
22.35/18.44 o 1212
22.35/18.45 num=70, depth=301..299, filters=216684, ccks=1824, wck=15.861, mem=263M619
22.35/18.45 decisions=15869, wrong=2586, backtracks=494, failedAssignments=2120, nogoods=563, foundSolutions=12, bestBound=1212
22.35/18.45 nFilterCalls=876077, avgTableProportion=0.9999552572822858, avgTableSize=22349.0
22.35/18.45
22.68/18.73 num=71, depth=160..169, filters=222836, ccks=1824, wck=16.144, mem=263M619
22.68/18.73 decisions=16343, wrong=2741, backtracks=533, failedAssignments=2239, nogoods=569, foundSolutions=12, bestBound=1212
22.68/18.73 nFilterCalls=892178, avgTableProportion=0.9999552572823249, avgTableSize=22349.0
22.68/18.73
22.88/18.94 num=72, depth=169..172, filters=224739, ccks=1824, wck=16.355, mem=263M619
22.88/18.94 decisions=16540, wrong=2755, backtracks=537, failedAssignments=2250, nogoods=574, foundSolutions=12, bestBound=1212
22.88/18.94 nFilterCalls=903625, avgTableProportion=0.9999552572823519, avgTableSize=22349.0
22.88/18.94
23.09/19.15 num=73, depth=168..169, filters=226795, ccks=1824, wck=16.568, mem=263M619
23.09/19.15 decisions=16736, wrong=2769, backtracks=539, failedAssignments=2262, nogoods=578, foundSolutions=12, bestBound=1212
23.09/19.15 nFilterCalls=915330, avgTableProportion=0.9999552572823789, avgTableSize=22349.0
23.09/19.15
23.29/19.36 o 971
23.29/19.36 num=74, depth=301..299, filters=228511, ccks=1976, wck=16.778, mem=263M619
23.29/19.36 decisions=16910, wrong=2769, backtracks=539, failedAssignments=2262, nogoods=578, foundSolutions=13, bestBound=971
23.29/19.36 nFilterCalls=926725, avgTableProportion=0.9999552572824044, avgTableSize=22349.0
23.29/19.36
23.49/19.58 num=75, depth=150..153, filters=230424, ccks=1976, wck=16.996, mem=263M619
23.49/19.58 decisions=17093, wrong=2785, backtracks=541, failedAssignments=2276, nogoods=591, foundSolutions=13, bestBound=971
23.49/19.58 nFilterCalls=938139, avgTableProportion=0.9999552572824293, avgTableSize=22349.0
23.49/19.58
23.79/19.80 num=76, depth=163..165, filters=232418, ccks=1976, wck=17.212, mem=263M619
23.79/19.80 decisions=17282, wrong=2798, backtracks=543, failedAssignments=2287, nogoods=595, foundSolutions=13, bestBound=971
23.79/19.80 nFilterCalls=949785, avgTableProportion=0.9999552572824542, avgTableSize=22349.0
23.79/19.80
24.00/20.02 num=77, depth=149..155, filters=234399, ccks=1976, wck=17.429, mem=263M619
24.00/20.02 decisions=17465, wrong=2812, backtracks=545, failedAssignments=2299, nogoods=606, foundSolutions=13, bestBound=971
24.00/20.02 nFilterCalls=961265, avgTableProportion=0.999955257282478, avgTableSize=22349.0
24.00/20.02
24.21/20.23 num=78, depth=170..172, filters=236444, ccks=1976, wck=17.642, mem=266M226
24.21/20.23 decisions=17665, wrong=2827, backtracks=547, failedAssignments=2312, nogoods=614, foundSolutions=13, bestBound=971
24.21/20.23 nFilterCalls=972867, avgTableProportion=0.9999552572825017, avgTableSize=22349.0
24.21/20.23
24.41/20.44 num=79, depth=156..158, filters=238487, ccks=1976, wck=17.857, mem=266M226
24.41/20.44 decisions=17853, wrong=2842, backtracks=548, failedAssignments=2326, nogoods=626, foundSolutions=13, bestBound=971
24.41/20.44 nFilterCalls=984240, avgTableProportion=0.9999552572825242, avgTableSize=22349.0
24.41/20.44
24.61/20.66 num=80, depth=154..158, filters=240480, ccks=1976, wck=18.075, mem=266M226
24.61/20.66 decisions=18059, wrong=2867, backtracks=558, failedAssignments=2342, nogoods=633, foundSolutions=13, bestBound=971
24.61/20.66 nFilterCalls=995976, avgTableProportion=0.999955257282547, avgTableSize=22349.0
24.61/20.66
24.81/20.88 num=81, depth=142..144, filters=242579, ccks=1976, wck=18.293, mem=266M226
24.81/20.88 decisions=18243, wrong=2888, backtracks=562, failedAssignments=2359, nogoods=649, foundSolutions=13, bestBound=971
24.81/20.88 nFilterCalls=1007544, avgTableProportion=0.9999552572825688, avgTableSize=22349.0
24.81/20.88
25.04/21.10 num=82, depth=168..170, filters=244657, ccks=1976, wck=18.51, mem=266M226
25.04/21.10 decisions=18464, wrong=2914, backtracks=569, failedAssignments=2378, nogoods=654, foundSolutions=13, bestBound=971
25.04/21.10 nFilterCalls=1019296, avgTableProportion=0.9999552572825906, avgTableSize=22349.0
25.04/21.10
25.33/21.31 num=83, depth=149..151, filters=246655, ccks=1976, wck=18.726, mem=266M226
25.33/21.31 decisions=18659, wrong=2937, backtracks=571, failedAssignments=2399, nogoods=661, foundSolutions=13, bestBound=971
25.33/21.31 nFilterCalls=1031054, avgTableProportion=0.9999552572826119, avgTableSize=22349.0
25.33/21.31
25.53/21.54 num=84, depth=158..162, filters=249257, ccks=1976, wck=18.952, mem=266M226
25.53/21.54 decisions=18891, wrong=2974, backtracks=586, failedAssignments=2422, nogoods=666, foundSolutions=13, bestBound=971
25.53/21.54 nFilterCalls=1043052, avgTableProportion=0.9999552572826331, avgTableSize=22349.0
25.53/21.54
25.73/21.76 num=85, depth=152..154, filters=251192, ccks=1976, wck=19.174, mem=266M226
25.73/21.76 decisions=19098, wrong=3001, backtracks=588, failedAssignments=2447, nogoods=683, foundSolutions=13, bestBound=971
25.73/21.76 nFilterCalls=1054850, avgTableProportion=0.9999552572819661, avgTableSize=22349.0
25.73/21.76
25.93/22.00 num=86, depth=160..162, filters=253780, ccks=1976, wck=19.409, mem=266M226
25.93/22.00 decisions=19325, wrong=3034, backtracks=593, failedAssignments=2475, nogoods=703, foundSolutions=13, bestBound=971
25.93/22.00 nFilterCalls=1067317, avgTableProportion=0.9999552572806354, avgTableSize=22349.0
25.93/22.00
26.23/22.23 num=87, depth=146..150, filters=257329, ccks=1976, wck=19.646, mem=266M226
26.23/22.23 decisions=19563, wrong=3079, backtracks=607, failedAssignments=2506, nogoods=706, foundSolutions=13, bestBound=971
26.23/22.23 nFilterCalls=1080773, avgTableProportion=0.9999552572792335, avgTableSize=22349.0
26.23/22.23
26.43/22.47 num=88, depth=153..155, filters=259608, ccks=1976, wck=19.879, mem=266M226
26.43/22.47 decisions=19795, wrong=3118, backtracks=612, failedAssignments=2540, nogoods=727, foundSolutions=13, bestBound=971
26.43/22.47 nFilterCalls=1092936, avgTableProportion=0.9999552572779961, avgTableSize=22349.0
26.43/22.47
26.73/22.70 num=89, depth=137..140, filters=262492, ccks=1976, wck=20.113, mem=266M226
26.73/22.70 decisions=20034, wrong=3169, backtracks=626, failedAssignments=2577, nogoods=731, foundSolutions=13, bestBound=971
26.73/22.70 nFilterCalls=1105374, avgTableProportion=0.9999552572767588, avgTableSize=22349.0
26.73/22.70
26.93/22.93 num=90, depth=163..167, filters=265276, ccks=1976, wck=20.339, mem=266M226
26.93/22.93 decisions=20310, wrong=3225, backtracks=641, failedAssignments=2618, nogoods=739, foundSolutions=13, bestBound=971
26.93/22.93 nFilterCalls=1117800, avgTableProportion=0.9999552572755502, avgTableSize=22349.0
26.93/22.93
27.14/23.16 num=91, depth=141..145, filters=268404, ccks=1976, wck=20.573, mem=266M226
27.14/23.16 decisions=20559, wrong=3279, backtracks=652, failedAssignments=2663, nogoods=757, foundSolutions=13, bestBound=971
27.14/23.16 nFilterCalls=1131192, avgTableProportion=0.9999552572742775, avgTableSize=22349.0
27.14/23.16
27.43/23.41 num=92, depth=136..140, filters=271830, ccks=1976, wck=20.822, mem=266M226
27.43/23.41 decisions=20815, wrong=3338, backtracks=662, failedAssignments=2713, nogoods=780, foundSolutions=13, bestBound=971
27.43/23.41 nFilterCalls=1144378, avgTableProportion=0.9999552572730533, avgTableSize=22349.0
27.43/23.41
27.63/23.67 num=93, depth=156..160, filters=276077, ccks=1976, wck=21.083, mem=266M226
27.63/23.67 decisions=21134, wrong=3419, backtracks=688, failedAssignments=2768, nogoods=800, foundSolutions=13, bestBound=971
27.63/23.67 nFilterCalls=1158914, avgTableProportion=0.9999552572717362, avgTableSize=22349.0
27.63/23.67
27.93/23.91 num=94, depth=140..147, filters=279135, ccks=1976, wck=21.324, mem=266M226
27.93/23.91 decisions=21409, wrong=3484, backtracks=692, failedAssignments=2829, nogoods=831, foundSolutions=13, bestBound=971
27.93/23.91 nFilterCalls=1171779, avgTableProportion=0.9999552572705976, avgTableSize=22349.0
27.93/23.91
28.14/24.15 num=95, depth=162..166, filters=282135, ccks=1976, wck=21.564, mem=266M226
28.14/24.15 decisions=21745, wrong=3570, backtracks=712, failedAssignments=2896, nogoods=843, foundSolutions=13, bestBound=971
28.14/24.15 nFilterCalls=1184862, avgTableProportion=0.9999552572694652, avgTableSize=22349.0
28.14/24.15
28.43/24.41 num=96, depth=142..146, filters=286182, ccks=1976, wck=21.828, mem=266M226
28.43/24.41 decisions=22061, wrong=3656, backtracks=724, failedAssignments=2970, nogoods=862, foundSolutions=13, bestBound=971
28.43/24.41 nFilterCalls=1199277, avgTableProportion=0.9999552572682462, avgTableSize=22349.0
28.43/24.41
28.63/24.68 num=97, depth=143..148, filters=290653, ccks=1976, wck=22.091, mem=266M226
28.63/24.68 decisions=22396, wrong=3750, backtracks=738, failedAssignments=3051, nogoods=883, foundSolutions=13, bestBound=971
28.63/24.68 nFilterCalls=1213663, avgTableProportion=0.9999552572670584, avgTableSize=22349.0
28.63/24.68
28.93/24.94 num=98, depth=145..150, filters=295006, ccks=1976, wck=22.355, mem=266M226
28.93/24.94 decisions=22786, wrong=3872, backtracks=773, failedAssignments=3140, nogoods=899, foundSolutions=13, bestBound=971
28.93/24.94 nFilterCalls=1228291, avgTableProportion=0.9999552572658791, avgTableSize=22349.0
28.93/24.94
29.14/25.19 num=99, depth=153..156, filters=299185, ccks=1976, wck=22.608, mem=266M226
29.14/25.19 decisions=23170, wrong=3987, backtracks=790, failedAssignments=3238, nogoods=929, foundSolutions=13, bestBound=971
29.14/25.19 nFilterCalls=1242144, avgTableProportion=0.999955257264788, avgTableSize=22349.0
29.14/25.19
29.44/25.40 o 969
29.44/25.41 num=100, depth=173..299, filters=300886, ccks=2128, wck=22.824, mem=266M226
29.44/25.41 decisions=23352, wrong=3991, backtracks=791, failedAssignments=3241, nogoods=932, foundSolutions=14, bestBound=969
29.44/25.41 nFilterCalls=1253257, avgTableProportion=0.9999552572639301, avgTableSize=22349.0
29.44/25.41
29.64/25.66 num=101, depth=163..167, filters=304995, ccks=2128, wck=23.076, mem=266M226
29.64/25.66 decisions=23791, wrong=4128, backtracks=809, failedAssignments=3360, nogoods=940, foundSolutions=14, bestBound=969
29.64/25.66 nFilterCalls=1267195, avgTableProportion=0.9999552572628754, avgTableSize=22349.0
29.64/25.66
29.84/25.89 num=102, depth=159..160, filters=306714, ccks=2128, wck=23.3, mem=266M226
29.84/25.89 decisions=23975, wrong=4140, backtracks=810, failedAssignments=3371, nogoods=942, foundSolutions=14, bestBound=969
29.84/25.89 nFilterCalls=1278878, avgTableProportion=0.999955257262009, avgTableSize=22349.0
29.84/25.89
30.15/26.11 num=103, depth=143..146, filters=308829, ccks=2128, wck=23.52, mem=266M226
30.15/26.11 decisions=24157, wrong=4159, backtracks=817, failedAssignments=3383, nogoods=947, foundSolutions=14, bestBound=969
30.15/26.11 nFilterCalls=1290750, avgTableProportion=0.9999552572611446, avgTableSize=22349.0
30.15/26.11
30.34/26.32 num=104, depth=150..153, filters=310902, ccks=2128, wck=23.737, mem=266M226
30.34/26.32 decisions=24341, wrong=4175, backtracks=820, failedAssignments=3396, nogoods=960, foundSolutions=14, bestBound=969
30.34/26.32 nFilterCalls=1302487, avgTableProportion=0.9999552572603058, avgTableSize=22349.0
30.34/26.32
30.54/26.55 num=105, depth=153..156, filters=313129, ccks=2128, wck=23.959, mem=266M226
30.54/26.55 decisions=24539, wrong=4197, backtracks=828, failedAssignments=3410, nogoods=964, foundSolutions=14, bestBound=969
30.54/26.55 nFilterCalls=1314262, avgTableProportion=0.9999552572594791, avgTableSize=22349.0
30.54/26.55
30.74/26.77 num=106, depth=152..154, filters=315761, ccks=2128, wck=24.184, mem=266M226
30.74/26.77 decisions=24733, wrong=4218, backtracks=833, failedAssignments=3426, nogoods=968, foundSolutions=14, bestBound=969
30.74/26.77 nFilterCalls=1326698, avgTableProportion=0.9999552572586219, avgTableSize=22349.0
30.74/26.77
30.94/26.99 num=107, depth=148..150, filters=317725, ccks=2128, wck=24.403, mem=266M226
30.94/26.99 decisions=24920, wrong=4237, backtracks=835, failedAssignments=3443, nogoods=970, foundSolutions=14, bestBound=969
30.94/26.99 nFilterCalls=1338501, avgTableProportion=0.9999552572578232, avgTableSize=22349.0
30.94/26.99
31.24/27.21 num=108, depth=158..162, filters=320050, ccks=2128, wck=24.619, mem=266M226
31.24/27.21 decisions=25130, wrong=4262, backtracks=843, failedAssignments=3462, nogoods=974, foundSolutions=14, bestBound=969
31.24/27.21 nFilterCalls=1350357, avgTableProportion=0.9999552572570349, avgTableSize=22349.0
31.24/27.21
31.44/27.42 num=109, depth=142..143, filters=321883, ccks=2128, wck=24.832, mem=266M226
31.44/27.42 decisions=25315, wrong=4283, backtracks=843, failedAssignments=3483, nogoods=995, foundSolutions=14, bestBound=969
31.44/27.42 nFilterCalls=1361655, avgTableProportion=0.9999552572562965, avgTableSize=22349.0
31.44/27.42
31.64/27.64 num=110, depth=155..157, filters=323959, ccks=2128, wck=25.053, mem=266M226
31.64/27.64 decisions=25531, wrong=4313, backtracks=850, failedAssignments=3506, nogoods=998, foundSolutions=14, bestBound=969
31.64/27.64 nFilterCalls=1373834, avgTableProportion=0.999955257255514, avgTableSize=22349.0
31.64/27.64
31.84/27.87 num=111, depth=152..158, filters=326514, ccks=2128, wck=25.287, mem=266M226
31.84/27.87 decisions=25753, wrong=4347, backtracks=859, failedAssignments=3531, nogoods=1009, foundSolutions=14, bestBound=969
31.84/27.87 nFilterCalls=1386418, avgTableProportion=0.9999552572547201, avgTableSize=22349.0
31.84/27.87
32.05/28.10 num=112, depth=169..173, filters=328814, ccks=2128, wck=25.512, mem=266M226
32.05/28.10 decisions=25998, wrong=4385, backtracks=869, failedAssignments=3559, nogoods=1020, foundSolutions=14, bestBound=969
32.05/28.10 nFilterCalls=1398554, avgTableProportion=0.9999552572539679, avgTableSize=22349.0
32.05/28.10
32.35/28.32 num=113, depth=165..169, filters=331268, ccks=2128, wck=25.733, mem=266M226
32.35/28.32 decisions=26251, wrong=4428, backtracks=882, failedAssignments=3590, nogoods=1026, foundSolutions=14, bestBound=969
32.35/28.32 nFilterCalls=1410703, avgTableProportion=0.9999552572532279, avgTableSize=22349.0
32.35/28.32
32.55/28.55 num=114, depth=153..157, filters=333857, ccks=2128, wck=25.964, mem=266M226
32.55/28.55 decisions=26500, wrong=4476, backtracks=897, failedAssignments=3624, nogoods=1030, foundSolutions=14, bestBound=969
32.55/28.55 nFilterCalls=1423380, avgTableProportion=0.9999552572524693, avgTableSize=22349.0
32.55/28.55
32.74/28.79 num=115, depth=148..153, filters=337405, ccks=2128, wck=26.202, mem=266M226
32.74/28.79 decisions=26756, wrong=4529, backtracks=915, failedAssignments=3661, nogoods=1038, foundSolutions=14, bestBound=969
32.74/28.79 nFilterCalls=1437169, avgTableProportion=0.9999552572516591, avgTableSize=22349.0
32.74/28.79
33.05/29.03 num=116, depth=144..149, filters=340594, ccks=2128, wck=26.44, mem=266M226
33.05/29.03 decisions=27018, wrong=4587, backtracks=932, failedAssignments=3702, nogoods=1043, foundSolutions=14, bestBound=969
33.05/29.03 nFilterCalls=1450646, avgTableProportion=0.9999552572508823, avgTableSize=22349.0
33.05/29.03
33.24/29.26 num=117, depth=156..158, filters=342807, ccks=2128, wck=26.672, mem=266M226
33.24/29.26 decisions=27272, wrong=4636, backtracks=936, failedAssignments=3747, nogoods=1053, foundSolutions=14, bestBound=969
33.24/29.26 nFilterCalls=1462778, avgTableProportion=0.9999552572501952, avgTableSize=22349.0
33.24/29.26
33.45/29.49 num=118, depth=160..163, filters=345804, ccks=2128, wck=26.905, mem=266M226
33.45/29.49 decisions=27553, wrong=4696, backtracks=946, failedAssignments=3797, nogoods=1064, foundSolutions=14, bestBound=969
33.45/29.49 nFilterCalls=1475463, avgTableProportion=0.9999552572494889, avgTableSize=22349.0
33.45/29.49
33.75/29.74 num=119, depth=145..148, filters=349563, ccks=2128, wck=27.157, mem=266M226
33.75/29.74 decisions=27863, wrong=4778, backtracks=973, failedAssignments=3852, nogoods=1071, foundSolutions=14, bestBound=969
33.75/29.74 nFilterCalls=1489429, avgTableProportion=0.9999552572487251, avgTableSize=22349.0
33.75/29.74
33.95/30.00 num=120, depth=143..147, filters=352790, ccks=2128, wck=27.409, mem=266M226
33.95/30.00 decisions=28153, wrong=4851, backtracks=985, failedAssignments=3913, nogoods=1080, foundSolutions=14, bestBound=969
33.95/30.00 nFilterCalls=1502946, avgTableProportion=0.9999552572479995, avgTableSize=22349.0
33.95/30.00
34.25/30.25 num=121, depth=159..164, filters=356523, ccks=2128, wck=27.667, mem=266M226
34.25/30.25 decisions=28504, wrong=4946, backtracks=1015, failedAssignments=3980, nogoods=1089, foundSolutions=14, bestBound=969
34.25/30.25 nFilterCalls=1517034, avgTableProportion=0.999955257247257, avgTableSize=22349.0
34.25/30.25
34.55/30.53 num=122, depth=139..145, filters=361281, ccks=2128, wck=27.941, mem=266M226
34.55/30.53 decisions=28832, wrong=5040, backtracks=1035, failedAssignments=4054, nogoods=1094, foundSolutions=14, bestBound=969
34.55/30.53 nFilterCalls=1532265, avgTableProportion=0.9999552572464695, avgTableSize=22349.0
34.55/30.53
34.85/30.80 num=123, depth=143..146, filters=365684, ccks=2128, wck=28.215, mem=266M226
34.85/30.80 decisions=29178, wrong=5141, backtracks=1056, failedAssignments=4135, nogoods=1127, foundSolutions=14, bestBound=969
34.85/30.80 nFilterCalls=1547075, avgTableProportion=0.9999552572457188, avgTableSize=22349.0
34.85/30.80
35.06/31.04 num=124, depth=154..156, filters=369099, ccks=2128, wck=28.458, mem=266M226
35.06/31.04 decisions=29525, wrong=5237, backtracks=1064, failedAssignments=4224, nogoods=1148, foundSolutions=14, bestBound=969
35.06/31.04 nFilterCalls=1560367, avgTableProportion=0.999955257245057, avgTableSize=22349.0
35.06/31.04
35.36/31.30 num=125, depth=153..157, filters=373350, ccks=2128, wck=28.718, mem=266M226
35.36/31.30 decisions=29924, wrong=5359, backtracks=1089, failedAssignments=4322, nogoods=1166, foundSolutions=14, bestBound=969
35.36/31.30 nFilterCalls=1574742, avgTableProportion=0.999955257244354, avgTableSize=22349.0
35.36/31.30
35.57/31.57 num=126, depth=159..163, filters=378021, ccks=2128, wck=28.982, mem=266M226
35.57/31.57 decisions=30357, wrong=5495, backtracks=1121, failedAssignments=4430, nogoods=1187, foundSolutions=14, bestBound=969
35.57/31.57 nFilterCalls=1589641, avgTableProportion=0.9999552572436387, avgTableSize=22349.0
35.57/31.57
35.87/31.85 num=127, depth=149..157, filters=383809, ccks=2128, wck=29.262, mem=266M226
35.87/31.85 decisions=30791, wrong=5635, backtracks=1142, failedAssignments=4549, nogoods=1196, foundSolutions=14, bestBound=969
35.87/31.85 nFilterCalls=1606456, avgTableProportion=0.9999552572428474, avgTableSize=22349.0
35.87/31.85
36.18/32.13 num=128, depth=153..158, filters=389401, ccks=2128, wck=29.541, mem=266M226
36.18/32.13 decisions=31255, wrong=5789, backtracks=1166, failedAssignments=4680, nogoods=1212, foundSolutions=14, bestBound=969
36.18/32.13 nFilterCalls=1622685, avgTableProportion=0.9999552572420992, avgTableSize=22349.0
36.18/32.13
36.38/32.40 num=129, depth=147..153, filters=394047, ccks=2128, wck=29.81, mem=266M226
36.38/32.40 decisions=31726, wrong=5949, backtracks=1182, failedAssignments=4824, nogoods=1239, foundSolutions=14, bestBound=969
36.38/32.40 nFilterCalls=1637164, avgTableProportion=0.9999552572414443, avgTableSize=22349.0
36.38/32.40
36.79/32.72 num=130, depth=147..152, filters=400880, ccks=2128, wck=30.133, mem=266M226
36.79/32.72 decisions=32261, wrong=6142, backtracks=1217, failedAssignments=4982, nogoods=1254, foundSolutions=14, bestBound=969
36.79/32.72 nFilterCalls=1654770, avgTableProportion=0.9999552572406633, avgTableSize=22349.0
36.79/32.72
37.00/32.99 num=131, depth=157..160, filters=406290, ccks=2128, wck=30.401, mem=266M226
37.00/32.99 decisions=32811, wrong=6338, backtracks=1240, failedAssignments=5156, nogoods=1273, foundSolutions=14, bestBound=969
37.00/32.99 nFilterCalls=1669590, avgTableProportion=0.9999552572400187, avgTableSize=22349.0
37.00/32.99
37.40/33.36 num=132, depth=140..145, filters=416612, ccks=2128, wck=30.775, mem=268M832
37.40/33.36 decisions=33422, wrong=6573, backtracks=1285, failedAssignments=5347, nogoods=1280, foundSolutions=14, bestBound=969
37.40/33.36 nFilterCalls=1692434, avgTableProportion=0.9999552572390471, avgTableSize=22349.0
37.40/33.36
37.60/33.57 o 946
37.60/33.58 num=133, depth=301..299, filters=418376, ccks=2280, wck=30.992, mem=268M832
37.60/33.58 decisions=33605, wrong=6573, backtracks=1285, failedAssignments=5347, nogoods=1280, foundSolutions=15, bestBound=946
37.60/33.58 nFilterCalls=1703810, avgTableProportion=0.9999552572385729, avgTableSize=22349.0
37.60/33.58
37.90/33.87 num=134, depth=163..168, filters=424875, ccks=2280, wck=31.282, mem=268M832
37.90/33.87 decisions=34286, wrong=6831, backtracks=1312, failedAssignments=5579, nogoods=1306, foundSolutions=15, bestBound=946
37.90/33.87 nFilterCalls=1719651, avgTableProportion=0.9999552572379232, avgTableSize=22349.0
37.90/33.87
38.12/34.10 num=135, depth=157..159, filters=426703, ccks=2280, wck=31.508, mem=268M832
38.12/34.10 decisions=34472, wrong=6845, backtracks=1315, failedAssignments=5590, nogoods=1309, foundSolutions=15, bestBound=946
38.12/34.10 nFilterCalls=1731645, avgTableProportion=0.9999552572374392, avgTableSize=22349.0
38.12/34.10
38.41/34.31 num=136, depth=155..156, filters=428522, ccks=2280, wck=31.727, mem=268M832
38.41/34.31 decisions=34655, wrong=6859, backtracks=1317, failedAssignments=5602, nogoods=1319, foundSolutions=15, bestBound=946
38.41/34.31 nFilterCalls=1743313, avgTableProportion=0.9999552572369746, avgTableSize=22349.0
38.41/34.31
38.61/34.53 num=137, depth=155..158, filters=430596, ccks=2280, wck=31.948, mem=268M832
38.61/34.53 decisions=34850, wrong=6878, backtracks=1323, failedAssignments=5615, nogoods=1324, foundSolutions=15, bestBound=946
38.61/34.53 nFilterCalls=1755452, avgTableProportion=0.999955257236498, avgTableSize=22349.0
38.61/34.53
38.81/34.75 num=138, depth=153..155, filters=432265, ccks=2280, wck=32.163, mem=268M832
38.81/34.75 decisions=35036, wrong=6894, backtracks=1325, failedAssignments=5629, nogoods=1333, foundSolutions=15, bestBound=946
38.81/34.75 nFilterCalls=1767063, avgTableProportion=0.9999552572360482, avgTableSize=22349.0
38.81/34.75
39.01/34.97 num=139, depth=153..156, filters=434799, ccks=2280, wck=32.388, mem=268M832
39.01/34.97 decisions=35246, wrong=6922, backtracks=1337, failedAssignments=5645, nogoods=1338, foundSolutions=15, bestBound=946
39.01/34.97 nFilterCalls=1779650, avgTableProportion=0.9999552572355672, avgTableSize=22349.0
39.01/34.97
39.22/35.19 num=140, depth=153..154, filters=436740, ccks=2280, wck=32.608, mem=268M832
39.22/35.19 decisions=35446, wrong=6945, backtracks=1343, failedAssignments=5662, nogoods=1349, foundSolutions=15, bestBound=946
39.22/35.19 nFilterCalls=1791554, avgTableProportion=0.9999552572351185, avgTableSize=22349.0
39.22/35.19
39.52/35.42 num=141, depth=158..162, filters=438580, ccks=2280, wck=32.828, mem=268M832
39.52/35.42 decisions=35647, wrong=6965, backtracks=1344, failedAssignments=5681, nogoods=1363, foundSolutions=15, bestBound=946
39.52/35.42 nFilterCalls=1803415, avgTableProportion=0.9999552572346773, avgTableSize=22349.0
39.52/35.42
39.72/35.64 num=142, depth=151..159, filters=440847, ccks=2280, wck=33.054, mem=268M832
39.72/35.64 decisions=35854, wrong=6990, backtracks=1348, failedAssignments=5702, nogoods=1377, foundSolutions=15, bestBound=946
39.72/35.64 nFilterCalls=1815627, avgTableProportion=0.9999552572342291, avgTableSize=22349.0
39.72/35.64
39.92/35.86 num=143, depth=140..141, filters=442797, ccks=2280, wck=33.277, mem=268M832
39.92/35.86 decisions=36044, wrong=7015, backtracks=1350, failedAssignments=5725, nogoods=1386, foundSolutions=15, bestBound=946
39.92/35.86 nFilterCalls=1827359, avgTableProportion=0.9999552572338042, avgTableSize=22349.0
39.92/35.86
40.12/36.08 num=144, depth=157..159, filters=444829, ccks=2280, wck=33.498, mem=268M832
40.12/36.08 decisions=36257, wrong=7043, backtracks=1354, failedAssignments=5750, nogoods=1397, foundSolutions=15, bestBound=946
40.12/36.08 nFilterCalls=1839290, avgTableProportion=0.9999552572333775, avgTableSize=22349.0
40.12/36.08
40.42/36.31 num=145, depth=163..170, filters=447032, ccks=2280, wck=33.719, mem=268M832
40.42/36.31 decisions=36495, wrong=7078, backtracks=1362, failedAssignments=5778, nogoods=1405, foundSolutions=15, bestBound=946
40.42/36.31 nFilterCalls=1851301, avgTableProportion=0.9999552572329536, avgTableSize=22349.0
40.42/36.31
40.62/36.53 num=146, depth=146..151, filters=449327, ccks=2280, wck=33.948, mem=268M832
40.62/36.53 decisions=36724, wrong=7118, backtracks=1371, failedAssignments=5809, nogoods=1426, foundSolutions=15, bestBound=946
40.62/36.53 nFilterCalls=1863698, avgTableProportion=0.9999552572325219, avgTableSize=22349.0
40.62/36.53
40.82/36.76 num=147, depth=146..148, filters=451430, ccks=2280, wck=34.176, mem=268M832
40.82/36.76 decisions=36953, wrong=7159, backtracks=1378, failedAssignments=5843, nogoods=1436, foundSolutions=15, bestBound=946
40.82/36.76 nFilterCalls=1875662, avgTableProportion=0.9999552572321105, avgTableSize=22349.0
40.82/36.76
41.02/36.99 num=148, depth=152..158, filters=453983, ccks=2280, wck=34.4, mem=268M832
41.02/36.99 decisions=37208, wrong=7209, backtracks=1391, failedAssignments=5880, nogoods=1441, foundSolutions=15, bestBound=946
41.02/36.99 nFilterCalls=1888131, avgTableProportion=0.9999552572316874, avgTableSize=22349.0
41.02/36.99
41.32/37.23 num=149, depth=150..154, filters=456985, ccks=2280, wck=34.639, mem=268M832
41.32/37.23 decisions=37477, wrong=7268, backtracks=1409, failedAssignments=5921, nogoods=1446, foundSolutions=15, bestBound=946
41.32/37.23 nFilterCalls=1901426, avgTableProportion=0.9999552572312425, avgTableSize=22349.0
41.32/37.23
41.52/37.47 num=150, depth=149..153, filters=460227, ccks=2280, wck=34.88, mem=268M832
41.52/37.47 decisions=37778, wrong=7343, backtracks=1439, failedAssignments=5966, nogoods=1451, foundSolutions=15, bestBound=946
41.52/37.47 nFilterCalls=1914858, avgTableProportion=0.999955257230799, avgTableSize=22349.0
41.52/37.47
41.72/37.69 num=151, depth=161..163, filters=462819, ccks=2280, wck=35.104, mem=268M832
41.72/37.69 decisions=38062, wrong=7404, backtracks=1451, failedAssignments=6016, nogoods=1462, foundSolutions=15, bestBound=946
41.72/37.69 nFilterCalls=1927177, avgTableProportion=0.9999552572303979, avgTableSize=22349.0
41.72/37.69
42.02/37.93 num=152, depth=152..162, filters=466065, ccks=2280, wck=35.346, mem=268M832
42.02/37.93 decisions=38366, wrong=7479, backtracks=1472, failedAssignments=6071, nogoods=1465, foundSolutions=15, bestBound=946
42.02/37.93 nFilterCalls=1940537, avgTableProportion=0.9999552572299686, avgTableSize=22349.0
42.02/37.93
42.23/38.16 num=153, depth=151..156, filters=468894, ccks=2280, wck=35.577, mem=268M832
42.23/38.16 decisions=38676, wrong=7558, backtracks=1490, failedAssignments=6132, nogoods=1469, foundSolutions=15, bestBound=946
42.23/38.16 nFilterCalls=1953081, avgTableProportion=0.9999552572295708, avgTableSize=22349.0
42.23/38.16
42.52/38.42 num=154, depth=142..147, filters=472678, ccks=2280, wck=35.83, mem=268M832
42.52/38.42 decisions=39003, wrong=7650, backtracks=1516, failedAssignments=6199, nogoods=1473, foundSolutions=15, bestBound=946
42.52/38.42 nFilterCalls=1967166, avgTableProportion=0.9999552572291303, avgTableSize=22349.0
42.52/38.42
42.72/38.63 o 944
42.72/38.64 num=155, depth=174..299, filters=474700, ccks=2432, wck=36.052, mem=268M832
42.72/38.64 decisions=39214, wrong=7667, backtracks=1520, failedAssignments=6212, nogoods=1478, foundSolutions=16, bestBound=944
42.72/38.64 nFilterCalls=1978783, avgTableProportion=0.9999552572287717, avgTableSize=22349.0
42.72/38.64
42.92/38.87 num=156, depth=160..162, filters=477612, ccks=2432, wck=36.287, mem=268M832
42.92/38.87 decisions=39570, wrong=7764, backtracks=1538, failedAssignments=6293, nogoods=1488, foundSolutions=16, bestBound=944
42.92/38.87 nFilterCalls=1991490, avgTableProportion=0.9999552572283841, avgTableSize=22349.0
42.92/38.87
43.12/39.09 num=157, depth=159..164, filters=479425, ccks=2432, wck=36.505, mem=268M832
43.12/39.09 decisions=39759, wrong=7777, backtracks=1540, failedAssignments=6304, nogoods=1497, foundSolutions=16, bestBound=944
43.12/39.09 nFilterCalls=2003309, avgTableProportion=0.999955257228028, avgTableSize=22349.0
43.12/39.09
43.42/39.30 num=158, depth=153..156, filters=481329, ccks=2432, wck=36.718, mem=268M832
43.42/39.30 decisions=39944, wrong=7793, backtracks=1544, failedAssignments=6316, nogoods=1499, foundSolutions=16, bestBound=944
43.42/39.30 nFilterCalls=2015130, avgTableProportion=0.9999552572276762, avgTableSize=22349.0
43.42/39.30
43.62/39.52 num=159, depth=160..163, filters=483297, ccks=2432, wck=36.932, mem=268M832
43.62/39.52 decisions=40136, wrong=7809, backtracks=1548, failedAssignments=6329, nogoods=1500, foundSolutions=16, bestBound=944
43.62/39.52 nFilterCalls=2026688, avgTableProportion=0.999955257227336, avgTableSize=22349.0
43.62/39.52
43.82/39.74 num=160, depth=141..147, filters=485180, ccks=2432, wck=37.152, mem=268M832
43.82/39.74 decisions=40317, wrong=7827, backtracks=1552, failedAssignments=6343, nogoods=1509, foundSolutions=16, bestBound=944
43.82/39.74 nFilterCalls=2038067, avgTableProportion=0.9999552572270051, avgTableSize=22349.0
43.82/39.74
44.02/39.95 num=161, depth=156..159, filters=487054, ccks=2432, wck=37.366, mem=268M832
44.02/39.95 decisions=40514, wrong=7847, backtracks=1556, failedAssignments=6359, nogoods=1517, foundSolutions=16, bestBound=944
44.02/39.95 nFilterCalls=2049755, avgTableProportion=0.9999552572266688, avgTableSize=22349.0
44.02/39.95
44.23/40.17 num=162, depth=151..153, filters=488865, ccks=2432, wck=37.579, mem=268M832
44.23/40.17 decisions=40704, wrong=7866, backtracks=1558, failedAssignments=6376, nogoods=1531, foundSolutions=16, bestBound=944
44.23/40.17 nFilterCalls=2061554, avgTableProportion=0.9999552572263333, avgTableSize=22349.0
44.23/40.17
44.42/40.39 num=163, depth=160..161, filters=490685, ccks=2432, wck=37.801, mem=268M832
44.42/40.39 decisions=40906, wrong=7887, backtracks=1560, failedAssignments=6395, nogoods=1540, foundSolutions=16, bestBound=944
44.42/40.39 nFilterCalls=2073100, avgTableProportion=0.9999552572260085, avgTableSize=22349.0
44.42/40.39
44.72/40.61 num=164, depth=136..155, filters=492762, ccks=2432, wck=38.022, mem=268M832
44.72/40.61 decisions=41105, wrong=7910, backtracks=1562, failedAssignments=6416, nogoods=1547, foundSolutions=16, bestBound=944
44.72/40.61 nFilterCalls=2085022, avgTableProportion=0.9999552572256771, avgTableSize=22349.0
44.72/40.61
44.92/40.82 o 918
44.92/40.83 num=165, depth=301..299, filters=494498, ccks=2584, wck=38.24, mem=268M832
44.92/40.83 decisions=41281, wrong=7910, backtracks=1562, failedAssignments=6416, nogoods=1547, foundSolutions=17, bestBound=918
44.92/40.83 nFilterCalls=2096291, avgTableProportion=0.9999552572253673, avgTableSize=22349.0
44.92/40.83
45.13/41.05 num=166, depth=160..164, filters=496687, ccks=2584, wck=38.464, mem=268M832
45.13/41.05 decisions=41505, wrong=7942, backtracks=1570, failedAssignments=6441, nogoods=1549, foundSolutions=17, bestBound=918
45.13/41.05 nFilterCalls=2108139, avgTableProportion=0.9999552572262482, avgTableSize=22349.0
45.13/41.05
45.33/41.26 num=167, depth=153..155, filters=498188, ccks=2584, wck=38.678, mem=268M832
45.33/41.26 decisions=41685, wrong=7955, backtracks=1572, failedAssignments=6452, nogoods=1553, foundSolutions=17, bestBound=918
45.33/41.26 nFilterCalls=2119665, avgTableProportion=0.9999552572271978, avgTableSize=22349.0
45.33/41.26
45.53/41.48 num=168, depth=146..148, filters=499723, ccks=2584, wck=38.894, mem=268M832
45.53/41.48 decisions=41858, wrong=7968, backtracks=1573, failedAssignments=6464, nogoods=1562, foundSolutions=17, bestBound=918
45.53/41.48 nFilterCalls=2130574, avgTableProportion=0.999955257228087, avgTableSize=22349.0
45.53/41.48
45.83/41.70 num=169, depth=151..153, filters=501309, ccks=2584, wck=39.114, mem=268M832
45.83/41.70 decisions=42039, wrong=7983, backtracks=1575, failedAssignments=6477, nogoods=1574, foundSolutions=17, bestBound=918
45.83/41.70 nFilterCalls=2142297, avgTableProportion=0.9999552572290326, avgTableSize=22349.0
45.83/41.70
46.03/41.92 num=170, depth=170..173, filters=503478, ccks=2584, wck=39.334, mem=268M832
46.03/41.92 decisions=42246, wrong=8001, backtracks=1579, failedAssignments=6491, nogoods=1579, foundSolutions=17, bestBound=918
46.03/41.92 nFilterCalls=2154053, avgTableProportion=0.9999552572299704, avgTableSize=22349.0
46.03/41.92
46.24/42.16 num=171, depth=149..154, filters=506409, ccks=2584, wck=39.57, mem=268M832
46.24/42.16 decisions=42450, wrong=8026, backtracks=1588, failedAssignments=6507, nogoods=1585, foundSolutions=17, bestBound=918
46.24/42.16 nFilterCalls=2167133, avgTableProportion=0.9999552572310019, avgTableSize=22349.0
46.24/42.16
46.43/42.38 num=172, depth=149..154, filters=508214, ccks=2584, wck=39.789, mem=268M832
46.43/42.38 decisions=42653, wrong=8051, backtracks=1596, failedAssignments=6524, nogoods=1593, foundSolutions=17, bestBound=918
46.43/42.38 nFilterCalls=2178923, avgTableProportion=0.999955257231921, avgTableSize=22349.0
46.43/42.38
46.73/42.61 num=173, depth=160..162, filters=510297, ccks=2584, wck=40.019, mem=268M832
46.73/42.61 decisions=42864, wrong=8076, backtracks=1602, failedAssignments=6543, nogoods=1601, foundSolutions=17, bestBound=918
46.73/42.61 nFilterCalls=2190943, avgTableProportion=0.9999552572328478, avgTableSize=22349.0
46.73/42.61
46.93/42.82 num=174, depth=153..156, filters=512721, ccks=2584, wck=40.237, mem=268M832
46.93/42.82 decisions=43068, wrong=8101, backtracks=1606, failedAssignments=6564, nogoods=1614, foundSolutions=17, bestBound=918
46.93/42.82 nFilterCalls=2202733, avgTableProportion=0.9999552572337472, avgTableSize=22349.0
46.93/42.82
47.14/43.05 num=175, depth=149..152, filters=515302, ccks=2584, wck=40.462, mem=268M832
47.14/43.05 decisions=43291, wrong=8138, backtracks=1620, failedAssignments=6587, nogoods=1618, foundSolutions=17, bestBound=918
47.14/43.05 nFilterCalls=2215259, avgTableProportion=0.9999552572346921, avgTableSize=22349.0
47.14/43.05
47.34/43.27 num=176, depth=161..166, filters=517866, ccks=2584, wck=40.688, mem=268M832
47.34/43.27 decisions=43531, wrong=8176, backtracks=1634, failedAssignments=6612, nogoods=1625, foundSolutions=17, bestBound=918
47.34/43.27 nFilterCalls=2227584, avgTableProportion=0.9999552572356116, avgTableSize=22349.0
47.34/43.27
47.64/43.50 num=177, depth=160..162, filters=520401, ccks=2584, wck=40.917, mem=268M832
47.64/43.50 decisions=43760, wrong=8210, backtracks=1640, failedAssignments=6640, nogoods=1642, foundSolutions=17, bestBound=918
47.64/43.50 nFilterCalls=2239929, avgTableProportion=0.9999552572365225, avgTableSize=22349.0
47.64/43.50
47.84/43.72 o 914
47.84/43.72 num=178, depth=180..299, filters=522344, ccks=2736, wck=41.137, mem=268M832
47.84/43.72 decisions=43945, wrong=8211, backtracks=1640, failedAssignments=6641, nogoods=1643, foundSolutions=18, bestBound=914
47.84/43.72 nFilterCalls=2251354, avgTableProportion=0.9999552572373565, avgTableSize=22349.0
47.84/43.72
48.04/43.95 num=179, depth=148..150, filters=524390, ccks=2736, wck=41.367, mem=268M832
48.04/43.95 decisions=44172, wrong=8250, backtracks=1645, failedAssignments=6675, nogoods=1652, foundSolutions=18, bestBound=914
48.04/43.95 nFilterCalls=2263268, avgTableProportion=0.9999552572382172, avgTableSize=22349.0
48.04/43.95
48.25/44.17 num=180, depth=163..167, filters=526197, ccks=2736, wck=41.586, mem=268M832
48.25/44.17 decisions=44366, wrong=8265, backtracks=1649, failedAssignments=6686, nogoods=1657, foundSolutions=18, bestBound=914
48.25/44.17 nFilterCalls=2274864, avgTableProportion=0.9999552572390463, avgTableSize=22349.0
48.25/44.17
48.44/44.39 num=181, depth=152..153, filters=527982, ccks=2736, wck=41.806, mem=271M439
48.44/44.39 decisions=44544, wrong=8278, backtracks=1650, failedAssignments=6698, nogoods=1668, foundSolutions=18, bestBound=914
48.44/44.39 nFilterCalls=2286254, avgTableProportion=0.9999552572398526, avgTableSize=22349.0
48.44/44.39
48.74/44.61 num=182, depth=149..151, filters=529726, ccks=2736, wck=42.028, mem=271M439
48.74/44.61 decisions=44728, wrong=8295, backtracks=1654, failedAssignments=6711, nogoods=1679, foundSolutions=18, bestBound=914
48.74/44.61 nFilterCalls=2297956, avgTableProportion=0.9999552572406725, avgTableSize=22349.0
48.74/44.61
48.94/44.84 num=183, depth=165..167, filters=531522, ccks=2736, wck=42.249, mem=271M439
48.94/44.84 decisions=44929, wrong=8313, backtracks=1658, failedAssignments=6725, nogoods=1684, foundSolutions=18, bestBound=914
48.94/44.84 nFilterCalls=2309847, avgTableProportion=0.9999552572414971, avgTableSize=22349.0
48.94/44.84
49.15/45.06 num=184, depth=149..150, filters=533126, ccks=2736, wck=42.472, mem=271M439
49.15/45.06 decisions=45115, wrong=8331, backtracks=1660, failedAssignments=6741, nogoods=1700, foundSolutions=18, bestBound=914
49.15/45.06 nFilterCalls=2321327, avgTableProportion=0.9999552572422853, avgTableSize=22349.0
49.15/45.06
49.34/45.28 num=185, depth=161..164, filters=534811, ccks=2736, wck=42.694, mem=271M439
49.34/45.28 decisions=45319, wrong=8352, backtracks=1664, failedAssignments=6758, nogoods=1710, foundSolutions=18, bestBound=914
49.34/45.28 nFilterCalls=2333142, avgTableProportion=0.9999552572430884, avgTableSize=22349.0
49.34/45.28
49.64/45.51 num=186, depth=140..143, filters=537025, ccks=2736, wck=42.927, mem=271M439
49.64/45.51 decisions=45510, wrong=8376, backtracks=1669, failedAssignments=6777, nogoods=1720, foundSolutions=18, bestBound=914
49.64/45.51 nFilterCalls=2345463, avgTableProportion=0.9999552572439172, avgTableSize=22349.0
49.64/45.51
49.84/45.73 num=187, depth=158..161, filters=539235, ccks=2736, wck=43.142, mem=271M439
49.84/45.73 decisions=45721, wrong=8402, backtracks=1675, failedAssignments=6798, nogoods=1728, foundSolutions=18, bestBound=914
49.84/45.73 nFilterCalls=2356993, avgTableProportion=0.999955257244685, avgTableSize=22349.0
49.84/45.73
50.04/45.95 num=188, depth=158..164, filters=541177, ccks=2736, wck=43.364, mem=271M439
50.04/45.95 decisions=45945, wrong=8433, backtracks=1683, failedAssignments=6821, nogoods=1734, foundSolutions=18, bestBound=914
50.04/45.95 nFilterCalls=2368953, avgTableProportion=0.9999552572454736, avgTableSize=22349.0
50.04/45.95
50.25/46.18 num=189, depth=172..176, filters=543391, ccks=2736, wck=43.594, mem=271M439
50.25/46.18 decisions=46192, wrong=8470, backtracks=1696, failedAssignments=6846, nogoods=1740, foundSolutions=18, bestBound=914
50.25/46.18 nFilterCalls=2381227, avgTableProportion=0.9999552572462745, avgTableSize=22349.0
50.25/46.18
50.54/46.41 num=190, depth=166..167, filters=545560, ccks=2736, wck=43.822, mem=271M439
50.54/46.41 decisions=46422, wrong=8502, backtracks=1700, failedAssignments=6874, nogoods=1750, foundSolutions=18, bestBound=914
50.54/46.41 nFilterCalls=2393101, avgTableProportion=0.9999552572470416, avgTableSize=22349.0
50.54/46.41
50.74/46.63 num=191, depth=162..164, filters=547410, ccks=2736, wck=44.047, mem=271M439
50.74/46.63 decisions=46656, wrong=8537, backtracks=1704, failedAssignments=6905, nogoods=1762, foundSolutions=18, bestBound=914
50.74/46.63 nFilterCalls=2405066, avgTableProportion=0.9999552572478069, avgTableSize=22349.0
50.74/46.63
50.94/46.86 num=192, depth=155..161, filters=549553, ccks=2736, wck=44.274, mem=271M439
50.94/46.86 decisions=46903, wrong=8580, backtracks=1713, failedAssignments=6939, nogoods=1771, foundSolutions=18, bestBound=914
50.94/46.86 nFilterCalls=2417426, avgTableProportion=0.9999552572485895, avgTableSize=22349.0
50.94/46.86
51.15/47.09 num=193, depth=164..168, filters=551980, ccks=2736, wck=44.508, mem=271M439
51.15/47.09 decisions=47175, wrong=8634, backtracks=1730, failedAssignments=6976, nogoods=1774, foundSolutions=18, bestBound=914
51.15/47.09 nFilterCalls=2429892, avgTableProportion=0.9999552572493707, avgTableSize=22349.0
51.15/47.09
51.44/47.31 o 889
51.44/47.32 num=194, depth=301..299, filters=553371, ccks=2888, wck=44.733, mem=271M439
51.44/47.32 decisions=47350, wrong=8634, backtracks=1730, failedAssignments=6976, nogoods=1774, foundSolutions=19, bestBound=889
51.44/47.32 nFilterCalls=2441343, avgTableProportion=0.9999552572500814, avgTableSize=22349.0
51.44/47.32
51.65/47.55 num=195, depth=165..171, filters=555804, ccks=2888, wck=44.966, mem=271M439
51.65/47.55 decisions=47636, wrong=8693, backtracks=1745, failedAssignments=7021, nogoods=1787, foundSolutions=19, bestBound=889
51.65/47.55 nFilterCalls=2453682, avgTableProportion=0.9999552572508397, avgTableSize=22349.0
51.65/47.55
51.85/47.77 num=196, depth=161..164, filters=557581, ccks=2888, wck=45.185, mem=271M439
51.85/47.77 decisions=47830, wrong=8709, backtracks=1750, failedAssignments=7032, nogoods=1792, foundSolutions=19, bestBound=889
51.85/47.77 nFilterCalls=2465382, avgTableProportion=0.9999552572515517, avgTableSize=22349.0
51.85/47.77
52.05/48.00 num=197, depth=160..163, filters=559338, ccks=2888, wck=45.412, mem=271M439
52.05/48.00 decisions=48026, wrong=8726, backtracks=1755, failedAssignments=7044, nogoods=1797, foundSolutions=19, bestBound=889
52.05/48.00 nFilterCalls=2477149, avgTableProportion=0.999955257252261, avgTableSize=22349.0
52.05/48.00
52.35/48.21 o 824
52.35/48.22 num=198, depth=301..299, filters=560677, ccks=3040, wck=45.635, mem=271M439
52.35/48.22 decisions=48196, wrong=8726, backtracks=1755, failedAssignments=7044, nogoods=1797, foundSolutions=20, bestBound=824
52.35/48.22 nFilterCalls=2488581, avgTableProportion=0.9999552572529437, avgTableSize=22349.0
52.35/48.22
52.55/48.45 num=199, depth=147..157, filters=562484, ccks=3040, wck=45.859, mem=271M439
52.55/48.45 decisions=48384, wrong=8742, backtracks=1757, failedAssignments=7058, nogoods=1805, foundSolutions=20, bestBound=824
52.55/48.45 nFilterCalls=2500315, avgTableProportion=0.9999552572536379, avgTableSize=22349.0
52.55/48.45
52.75/48.67 num=200, depth=156..163, filters=564327, ccks=3040, wck=46.082, mem=271M439
52.75/48.67 decisions=48578, wrong=8759, backtracks=1763, failedAssignments=7069, nogoods=1810, foundSolutions=20, bestBound=824
52.75/48.67 nFilterCalls=2512219, avgTableProportion=0.9999552572543355, avgTableSize=22349.0
52.75/48.67
52.95/48.89 num=201, depth=153..154, filters=566167, ccks=3040, wck=46.306, mem=271M439
52.95/48.89 decisions=48758, wrong=8772, backtracks=1764, failedAssignments=7081, nogoods=1822, foundSolutions=20, bestBound=824
52.95/48.89 nFilterCalls=2523640, avgTableProportion=0.9999552572549987, avgTableSize=22349.0
52.95/48.89
53.26/49.12 num=202, depth=134..136, filters=567657, ccks=3040, wck=46.532, mem=271M439
53.26/49.12 decisions=48920, wrong=8785, backtracks=1764, failedAssignments=7094, nogoods=1835, foundSolutions=20, bestBound=824
53.26/49.12 nFilterCalls=2534717, avgTableProportion=0.9999552572556362, avgTableSize=22349.0
53.26/49.12
53.45/49.35 num=203, depth=153..156, filters=569481, ccks=3040, wck=46.766, mem=271M439
53.45/49.35 decisions=49111, wrong=8803, backtracks=1768, failedAssignments=7108, nogoods=1846, foundSolutions=20, bestBound=824
53.45/49.35 nFilterCalls=2546689, avgTableProportion=0.9999552572563188, avgTableSize=22349.0
53.45/49.35
53.66/49.58 num=204, depth=143..146, filters=571280, ccks=3040, wck=46.993, mem=271M439
53.66/49.58 decisions=49293, wrong=8822, backtracks=1771, failedAssignments=7124, nogoods=1856, foundSolutions=20, bestBound=824
53.66/49.58 nFilterCalls=2558441, avgTableProportion=0.9999552572569829, avgTableSize=22349.0
53.66/49.58
53.96/49.80 num=205, depth=153..155, filters=572759, ccks=3040, wck=47.218, mem=271M439
53.96/49.80 decisions=49484, wrong=8840, backtracks=1772, failedAssignments=7141, nogoods=1873, foundSolutions=20, bestBound=824
53.96/49.80 nFilterCalls=2569849, avgTableProportion=0.9999552572576216, avgTableSize=22349.0
53.96/49.80
54.17/50.04 num=206, depth=163..167, filters=575690, ccks=3040, wck=47.454, mem=271M439
54.17/50.04 decisions=49713, wrong=8872, backtracks=1786, failedAssignments=7160, nogoods=1881, foundSolutions=20, bestBound=824
54.17/50.04 nFilterCalls=2582316, avgTableProportion=0.9999552572583131, avgTableSize=22349.0
54.17/50.04
54.36/50.26 num=207, depth=148..150, filters=577556, ccks=3040, wck=47.678, mem=271M439
54.36/50.26 decisions=49907, wrong=8895, backtracks=1788, failedAssignments=7181, nogoods=1887, foundSolutions=20, bestBound=824
54.36/50.26 nFilterCalls=2593884, avgTableProportion=0.999955257258949, avgTableSize=22349.0
54.36/50.26
54.56/50.49 num=208, depth=169..172, filters=579109, ccks=3040, wck=47.908, mem=271M439
54.56/50.49 decisions=50130, wrong=8921, backtracks=1792, failedAssignments=7204, nogoods=1894, foundSolutions=20, bestBound=824
54.56/50.49 nFilterCalls=2605480, avgTableProportion=0.9999552572595806, avgTableSize=22349.0
54.56/50.49
54.86/50.73 num=209, depth=158..161, filters=581808, ccks=3040, wck=48.141, mem=271M439
54.86/50.73 decisions=50353, wrong=8953, backtracks=1799, failedAssignments=7229, nogoods=1904, foundSolutions=20, bestBound=824
54.86/50.73 nFilterCalls=2617865, avgTableProportion=0.999955257260249, avgTableSize=22349.0
54.86/50.73
55.07/50.96 num=210, depth=151..155, filters=583919, ccks=3040, wck=48.373, mem=271M439
55.07/50.96 decisions=50581, wrong=8990, backtracks=1809, failedAssignments=7257, nogoods=1908, foundSolutions=20, bestBound=824
55.07/50.96 nFilterCalls=2630066, avgTableProportion=0.9999552572609014, avgTableSize=22349.0
55.07/50.96
55.28/51.18 o 821
55.28/51.19 num=211, depth=175..299, filters=586285, ccks=3192, wck=48.598, mem=271M439
55.28/51.19 decisions=50833, wrong=9026, backtracks=1823, failedAssignments=7279, nogoods=1914, foundSolutions=21, bestBound=821
55.28/51.19 nFilterCalls=2642057, avgTableProportion=0.9999552572615367, avgTableSize=22349.0
55.28/51.19
55.57/51.42 num=212, depth=160..163, filters=588168, ccks=3192, wck=48.83, mem=271M439
55.57/51.42 decisions=51073, wrong=9065, backtracks=1828, failedAssignments=7313, nogoods=1925, foundSolutions=21, bestBound=821
55.57/51.42 nFilterCalls=2654077, avgTableProportion=0.9999552572621676, avgTableSize=22349.0
55.57/51.42
55.77/51.64 num=213, depth=149..149, filters=589265, ccks=3192, wck=49.055, mem=271M439
55.77/51.64 decisions=51244, wrong=9076, backtracks=1828, failedAssignments=7324, nogoods=1936, foundSolutions=21, bestBound=821
55.77/51.64 nFilterCalls=2665292, avgTableProportion=0.9999552572627513, avgTableSize=22349.0
55.77/51.64
55.97/51.87 num=214, depth=140..151, filters=590864, ccks=3192, wck=49.279, mem=271M439
55.97/51.87 decisions=51421, wrong=9089, backtracks=1829, failedAssignments=7336, nogoods=1948, foundSolutions=21, bestBound=821
55.97/51.87 nFilterCalls=2677018, avgTableProportion=0.9999552572633563, avgTableSize=22349.0
55.97/51.87
56.18/52.09 num=215, depth=162..164, filters=592442, ccks=3192, wck=49.505, mem=271M439
56.18/52.09 decisions=51615, wrong=9105, backtracks=1832, failedAssignments=7349, nogoods=1950, foundSolutions=21, bestBound=821
56.18/52.09 nFilterCalls=2688594, avgTableProportion=0.9999552572639483, avgTableSize=22349.0
56.18/52.09
56.47/52.32 num=216, depth=172..175, filters=594320, ccks=3192, wck=49.734, mem=271M439
56.47/52.32 decisions=51827, wrong=9125, backtracks=1838, failedAssignments=7363, nogoods=1955, foundSolutions=21, bestBound=821
56.47/52.32 nFilterCalls=2700409, avgTableProportion=0.9999552572645474, avgTableSize=22349.0
56.47/52.32
56.67/52.55 num=217, depth=148..159, filters=596096, ccks=3192, wck=49.964, mem=271M439
56.67/52.55 decisions=52026, wrong=9146, backtracks=1843, failedAssignments=7379, nogoods=1967, foundSolutions=21, bestBound=821
56.67/52.55 nFilterCalls=2712302, avgTableProportion=0.9999552572651452, avgTableSize=22349.0
56.67/52.55
56.87/52.78 num=218, depth=162..165, filters=598113, ccks=3192, wck=50.195, mem=271M439
56.87/52.78 decisions=52234, wrong=9169, backtracks=1849, failedAssignments=7396, nogoods=1975, foundSolutions=21, bestBound=821
56.87/52.78 nFilterCalls=2724337, avgTableProportion=0.9999552572657447, avgTableSize=22349.0
56.87/52.78
57.18/53.01 num=219, depth=165..166, filters=599917, ccks=3192, wck=50.42, mem=271M439
57.18/53.01 decisions=52447, wrong=9193, backtracks=1854, failedAssignments=7415, nogoods=1985, foundSolutions=21, bestBound=821
57.18/53.01 nFilterCalls=2736227, avgTableProportion=0.9999552572663319, avgTableSize=22349.0
57.18/53.01
57.38/53.24 num=220, depth=161..164, filters=602038, ccks=3192, wck=50.651, mem=271M439
57.38/53.24 decisions=52671, wrong=9224, backtracks=1864, failedAssignments=7436, nogoods=1994, foundSolutions=21, bestBound=821
57.38/53.24 nFilterCalls=2748481, avgTableProportion=0.9999552572669318, avgTableSize=22349.0
57.38/53.24
57.58/53.46 num=221, depth=149..153, filters=603804, ccks=3192, wck=50.873, mem=271M439
57.58/53.46 decisions=52874, wrong=9250, backtracks=1867, failedAssignments=7459, nogoods=2004, foundSolutions=21, bestBound=821
57.58/53.46 nFilterCalls=2760181, avgTableProportion=0.9999552572674995, avgTableSize=22349.0
57.58/53.46
57.78/53.69 num=222, depth=148..152, filters=606029, ccks=3192, wck=51.101, mem=271M439
57.78/53.69 decisions=53091, wrong=9284, backtracks=1877, failedAssignments=7484, nogoods=2007, foundSolutions=21, bestBound=821
57.78/53.69 nFilterCalls=2772515, avgTableProportion=0.9999552572680929, avgTableSize=22349.0
57.78/53.69
58.08/53.92 num=223, depth=156..163, filters=608428, ccks=3192, wck=51.336, mem=271M439
58.08/53.92 decisions=53342, wrong=9330, backtracks=1896, failedAssignments=7512, nogoods=2013, foundSolutions=21, bestBound=821
58.08/53.92 nFilterCalls=2784857, avgTableProportion=0.9999552572686813, avgTableSize=22349.0
58.08/53.92
58.28/54.16 num=224, depth=163..167, filters=610761, ccks=3192, wck=51.57, mem=271M439
58.28/54.16 decisions=53608, wrong=9380, backtracks=1915, failedAssignments=7543, nogoods=2018, foundSolutions=21, bestBound=821
58.28/54.16 nFilterCalls=2797374, avgTableProportion=0.9999552572692728, avgTableSize=22349.0
58.28/54.16
58.48/54.38 num=225, depth=168..171, filters=613095, ccks=3192, wck=51.798, mem=271M439
58.48/54.38 decisions=53873, wrong=9428, backtracks=1930, failedAssignments=7577, nogoods=2024, foundSolutions=21, bestBound=821
58.48/54.38 nFilterCalls=2809256, avgTableProportion=0.9999552572698294, avgTableSize=22349.0
58.48/54.38
58.78/54.62 num=226, depth=167..170, filters=615414, ccks=3192, wck=52.033, mem=271M439
58.78/54.62 decisions=54132, wrong=9473, backtracks=1938, failedAssignments=7614, nogoods=2036, foundSolutions=21, bestBound=821
58.78/54.62 nFilterCalls=2821376, avgTableProportion=0.9999552572703923, avgTableSize=22349.0
58.78/54.62
58.98/54.85 num=227, depth=168..172, filters=617737, ccks=3192, wck=52.26, mem=271M439
58.98/54.85 decisions=54409, wrong=9527, backtracks=1952, failedAssignments=7655, nogoods=2043, foundSolutions=21, bestBound=821
58.98/54.85 nFilterCalls=2833467, avgTableProportion=0.999955257270949, avgTableSize=22349.0
58.98/54.85
59.19/55.10 num=228, depth=145..147, filters=620907, ccks=3192, wck=52.513, mem=271M439
59.19/55.10 decisions=54660, wrong=9580, backtracks=1960, failedAssignments=7700, nogoods=2052, foundSolutions=21, bestBound=821
59.19/55.10 nFilterCalls=2846568, avgTableProportion=0.999955257271547, avgTableSize=22349.0
59.19/55.10
59.48/55.33 num=229, depth=159..164, filters=624634, ccks=3192, wck=52.746, mem=271M439
59.48/55.33 decisions=54959, wrong=9649, backtracks=1980, failedAssignments=7750, nogoods=2063, foundSolutions=21, bestBound=821
59.48/55.33 nFilterCalls=2859701, avgTableProportion=0.999955257272141, avgTableSize=22349.0
59.48/55.33
59.68/55.57 num=230, depth=141..144, filters=627028, ccks=3192, wck=52.983, mem=271M439
59.68/55.57 decisions=55232, wrong=9714, backtracks=1990, failedAssignments=7805, nogoods=2071, foundSolutions=21, bestBound=821
59.68/55.57 nFilterCalls=2872187, avgTableProportion=0.9999552572727005, avgTableSize=22349.0
59.68/55.57
59.98/55.81 num=231, depth=149..160, filters=629354, ccks=3192, wck=53.218, mem=271M439
59.98/55.81 decisions=55523, wrong=9780, backtracks=1995, failedAssignments=7866, nogoods=2079, foundSolutions=21, bestBound=821
59.98/55.81 nFilterCalls=2884461, avgTableProportion=0.999955257273246, avgTableSize=22349.0
59.98/55.81
60.19/56.05 num=232, depth=158..163, filters=631872, ccks=3192, wck=53.462, mem=271M439
60.19/56.05 decisions=55843, wrong=9860, backtracks=2008, failedAssignments=7933, nogoods=2102, foundSolutions=21, bestBound=821
60.19/56.05 nFilterCalls=2897271, avgTableProportion=0.9999552572738102, avgTableSize=22349.0
60.19/56.05
60.38/56.29 num=233, depth=157..160, filters=634623, ccks=3192, wck=53.702, mem=274M46
60.38/56.29 decisions=56186, wrong=9953, backtracks=2028, failedAssignments=8007, nogoods=2114, foundSolutions=21, bestBound=821
60.38/56.29 nFilterCalls=2910098, avgTableProportion=0.9999552572743703, avgTableSize=22349.0
60.38/56.29
60.68/56.53 num=234, depth=164..169, filters=637978, ccks=3192, wck=53.944, mem=274M46
60.68/56.53 decisions=56563, wrong=10059, backtracks=2053, failedAssignments=8088, nogoods=2125, foundSolutions=21, bestBound=821
60.68/56.53 nFilterCalls=2923026, avgTableProportion=0.9999552572749297, avgTableSize=22349.0
60.68/56.53
60.90/56.79 num=235, depth=160..165, filters=641436, ccks=3192, wck=54.2, mem=274M46
60.90/56.79 decisions=56959, wrong=10176, backtracks=2082, failedAssignments=8177, nogoods=2130, foundSolutions=21, bestBound=821
60.90/56.79 nFilterCalls=2936830, avgTableProportion=0.9999552572755217, avgTableSize=22349.0
60.90/56.79
61.21/57.07 num=236, depth=149..156, filters=647062, ccks=3192, wck=54.483, mem=274M46
61.21/57.07 decisions=57362, wrong=10302, backtracks=2111, failedAssignments=8275, nogoods=2145, foundSolutions=21, bestBound=821
61.21/57.07 nFilterCalls=2952472, avgTableProportion=0.9999552572761858, avgTableSize=22349.0
61.21/57.07
61.50/57.34 num=237, depth=148..155, filters=652302, ccks=3192, wck=54.758, mem=274M46
61.50/57.34 decisions=57833, wrong=10460, backtracks=2162, failedAssignments=8383, nogoods=2149, foundSolutions=21, bestBound=821
61.50/57.34 nFilterCalls=2968444, avgTableProportion=0.9999552572768566, avgTableSize=22349.0
61.50/57.34
61.70/57.59 num=238, depth=175..179, filters=656607, ccks=3192, wck=55.004, mem=274M46
61.70/57.59 decisions=58345, wrong=10628, backtracks=2214, failedAssignments=8502, nogoods=2167, foundSolutions=21, bestBound=821
61.70/57.59 nFilterCalls=2981935, avgTableProportion=0.9999552572774177, avgTableSize=22349.0
61.70/57.59
62.00/57.85 num=239, depth=156..162, filters=661571, ccks=3192, wck=55.268, mem=274M46
62.00/57.85 decisions=58861, wrong=10806, backtracks=2262, failedAssignments=8633, nogoods=2176, foundSolutions=21, bestBound=821
62.00/57.85 nFilterCalls=2996773, avgTableProportion=0.999955257278029, avgTableSize=22349.0
62.00/57.85
62.31/58.17 num=240, depth=145..150, filters=667325, ccks=3192, wck=55.583, mem=274M46
62.31/58.17 decisions=59400, wrong=11001, backtracks=2314, failedAssignments=8777, nogoods=2191, foundSolutions=21, bestBound=821
62.31/58.17 nFilterCalls=3014410, avgTableProportion=0.9999552572787477, avgTableSize=22349.0
62.31/58.17
62.70/58.50 num=241, depth=145..150, filters=675225, ccks=3192, wck=55.911, mem=274M46
62.70/58.50 decisions=60015, wrong=11235, backtracks=2390, failedAssignments=8935, nogoods=2217, foundSolutions=21, bestBound=821
62.70/58.50 nFilterCalls=3033969, avgTableProportion=0.999955257279535, avgTableSize=22349.0
62.70/58.50
62.90/58.79 num=242, depth=148..161, filters=680579, ccks=3192, wck=56.203, mem=274M46
62.90/58.79 decisions=60612, wrong=11455, backtracks=2436, failedAssignments=9109, nogoods=2234, foundSolutions=21, bestBound=821
62.90/58.79 nFilterCalls=3049854, avgTableProportion=0.999955257280167, avgTableSize=22349.0
62.90/58.79
63.21/59.07 num=243, depth=156..159, filters=685333, ccks=3192, wck=56.483, mem=274M46
63.21/59.07 decisions=61211, wrong=11676, backtracks=2466, failedAssignments=9300, nogoods=2254, foundSolutions=21, bestBound=821
63.21/59.07 nFilterCalls=3065241, avgTableProportion=0.9999552572807728, avgTableSize=22349.0
63.21/59.07
63.60/59.41 num=244, depth=146..151, filters=692802, ccks=3192, wck=56.827, mem=274M46
63.60/59.41 decisions=61886, wrong=11940, backtracks=2519, failedAssignments=9511, nogoods=2275, foundSolutions=21, bestBound=821
63.60/59.41 nFilterCalls=3085133, avgTableProportion=0.9999552572815472, avgTableSize=22349.0
63.60/59.41
63.90/59.72 num=245, depth=145..157, filters=698608, ccks=3192, wck=57.136, mem=274M46
63.90/59.72 decisions=62563, wrong=12202, backtracks=2549, failedAssignments=9743, nogoods=2293, foundSolutions=21, bestBound=821
63.90/59.72 nFilterCalls=3102408, avgTableProportion=0.9999552572822117, avgTableSize=22349.0
63.90/59.72
64.21/60.07 num=246, depth=151..159, filters=706165, ccks=3192, wck=57.481, mem=274M46
64.21/60.07 decisions=63369, wrong=12526, backtracks=2620, failedAssignments=9998, nogoods=2311, foundSolutions=21, bestBound=821
64.21/60.07 nFilterCalls=3121172, avgTableProportion=0.999955257282925, avgTableSize=22349.0
64.21/60.07
64.60/60.40 num=247, depth=146..150, filters=713283, ccks=3192, wck=57.813, mem=274M46
64.60/60.40 decisions=64196, wrong=12865, backtracks=2678, failedAssignments=10279, nogoods=2320, foundSolutions=21, bestBound=821
64.60/60.40 nFilterCalls=3139601, avgTableProportion=0.9999552572836173, avgTableSize=22349.0
64.60/60.40
64.91/60.79 num=248, depth=156..162, filters=726954, ccks=3192, wck=58.202, mem=274M46
64.91/60.79 decisions=65230, wrong=13302, backtracks=2809, failedAssignments=10588, nogoods=2328, foundSolutions=21, bestBound=821
64.91/60.79 nFilterCalls=3164852, avgTableProportion=0.9999552572845528, avgTableSize=22349.0
64.91/60.79
65.51/61.30 num=249, depth=135..141, filters=739276, ccks=3192, wck=58.717, mem=274M46
65.51/61.30 decisions=66253, wrong=13745, backtracks=2913, failedAssignments=10928, nogoods=2341, foundSolutions=21, bestBound=821
65.51/61.30 nFilterCalls=3191260, avgTableProportion=0.9999552572855154, avgTableSize=22349.0
65.51/61.30
65.92/61.74 num=250, depth=141..146, filters=753052, ccks=3192, wck=59.156, mem=274M46
65.92/61.74 decisions=67289, wrong=14192, backtracks=2987, failedAssignments=11302, nogoods=2354, foundSolutions=21, bestBound=821
65.92/61.74 nFilterCalls=3216470, avgTableProportion=0.9999552572864195, avgTableSize=22349.0
65.92/61.74
66.33/62.19 num=251, depth=137..142, filters=764993, ccks=3192, wck=59.608, mem=274M46
66.33/62.19 decisions=68480, wrong=14718, backtracks=3102, failedAssignments=11713, nogoods=2368, foundSolutions=21, bestBound=821
66.33/62.19 nFilterCalls=3243736, avgTableProportion=0.9999552572873815, avgTableSize=22349.0
66.33/62.19
66.92/62.78 num=252, depth=138..142, filters=780881, ccks=3192, wck=60.194, mem=274M46
66.92/62.78 decisions=69677, wrong=15247, backtracks=3179, failedAssignments=12165, nogoods=2414, foundSolutions=21, bestBound=821
66.92/62.78 nFilterCalls=3273831, avgTableProportion=0.9999552572884248, avgTableSize=22349.0
66.92/62.78
67.62/63.41 num=253, depth=132..139, filters=799976, ccks=3192, wck=60.827, mem=274M46
67.62/63.41 decisions=71013, wrong=15847, backtracks=3284, failedAssignments=12662, nogoods=2421, foundSolutions=21, bestBound=821
67.62/63.41 nFilterCalls=3308538, avgTableProportion=0.9999552572896043, avgTableSize=22349.0
67.62/63.41
68.12/64.00 num=254, depth=135..142, filters=819078, ccks=3192, wck=61.416, mem=274M46
68.12/64.00 decisions=72470, wrong=16506, backtracks=3397, failedAssignments=13209, nogoods=2475, foundSolutions=21, bestBound=821
68.12/64.00 nFilterCalls=3343861, avgTableProportion=0.9999552572907797, avgTableSize=22349.0
68.12/64.00
68.82/64.68 num=255, depth=130..137, filters=839797, ccks=3192, wck=62.09, mem=274M46
68.82/64.68 decisions=74057, wrong=17233, backtracks=3526, failedAssignments=13811, nogoods=2495, foundSolutions=21, bestBound=821
68.82/64.68 nFilterCalls=3380193, avgTableProportion=0.999955257291963, avgTableSize=22349.0
68.82/64.68
69.42/65.20 num=256, depth=144..150, filters=854837, ccks=3192, wck=62.617, mem=274M46
69.42/65.20 decisions=75786, wrong=18025, backtracks=3656, failedAssignments=14473, nogoods=2517, foundSolutions=21, bestBound=821
69.42/65.20 nFilterCalls=3411779, avgTableProportion=0.9999552572929713, avgTableSize=22349.0
69.42/65.20
70.33/66.12 num=257, depth=132..138, filters=884939, ccks=3192, wck=63.529, mem=274M46
70.33/66.12 decisions=77633, wrong=18881, backtracks=3788, failedAssignments=15201, nogoods=2551, foundSolutions=21, bestBound=821
70.33/66.12 nFilterCalls=3465419, avgTableProportion=0.9999552572946414, avgTableSize=22349.0
70.33/66.12
71.14/67.00 num=258, depth=129..135, filters=915614, ccks=3192, wck=64.413, mem=274M46
71.14/67.00 decisions=79622, wrong=19810, backtracks=3916, failedAssignments=16002, nogoods=2555, foundSolutions=21, bestBound=821
71.14/67.00 nFilterCalls=3523477, avgTableProportion=0.9999552572963918, avgTableSize=22349.0
71.14/67.00
72.14/67.98 num=259, depth=126..132, filters=941570, ccks=3192, wck=65.392, mem=274M46
72.14/67.98 decisions=81734, wrong=20802, backtracks=4029, failedAssignments=16883, nogoods=2626, foundSolutions=21, bestBound=821
72.14/67.98 nFilterCalls=3568496, avgTableProportion=0.9999552572977098, avgTableSize=22349.0
72.14/67.98
73.25/69.05 num=260, depth=126..132, filters=978005, ccks=3192, wck=66.463, mem=274M46
73.25/69.05 decisions=84081, wrong=21911, backtracks=4168, failedAssignments=17853, nogoods=2667, foundSolutions=21, bestBound=821
73.25/69.05 nFilterCalls=3630122, avgTableProportion=0.9999552572994612, avgTableSize=22349.0
73.25/69.05
74.25/70.03 num=261, depth=130..135, filters=1010780, ccks=3192, wck=67.442, mem=274M46
74.25/70.03 decisions=86690, wrong=23149, backtracks=4340, failedAssignments=18920, nogoods=2756, foundSolutions=21, bestBound=821
74.25/70.03 nFilterCalls=3682885, avgTableProportion=0.9999552573009141, avgTableSize=22349.0
74.25/70.03
75.35/71.17 num=262, depth=134..140, filters=1046798, ccks=3192, wck=68.585, mem=274M46
75.35/71.17 decisions=89610, wrong=24541, backtracks=4560, failedAssignments=20093, nogoods=2776, foundSolutions=21, bestBound=821
75.35/71.17 nFilterCalls=3745585, avgTableProportion=0.9999552573025873, avgTableSize=22349.0
75.35/71.17
76.64/72.44 num=263, depth=146..151, filters=1092843, ccks=3192, wck=69.852, mem=274M46
76.64/72.44 decisions=92729, wrong=26026, backtracks=4755, failedAssignments=21384, nogoods=2815, foundSolutions=21, bestBound=821
76.64/72.44 nFilterCalls=3818121, avgTableProportion=0.9999552573044544, avgTableSize=22349.0
76.64/72.44
78.16/73.99 num=264, depth=118..124, filters=1135170, ccks=3192, wck=71.402, mem=274M46
78.16/73.99 decisions=95979, wrong=27591, backtracks=4900, failedAssignments=22804, nogoods=2848, foundSolutions=21, bestBound=821
78.16/73.99 nFilterCalls=3903518, avgTableProportion=0.9999552573065636, avgTableSize=22349.0
78.16/73.99
80.16/75.99 num=265, depth=122..129, filters=1192460, ccks=3192, wck=73.405, mem=274M46
80.16/75.99 decisions=99786, wrong=29432, backtracks=5181, failedAssignments=24366, nogoods=2854, foundSolutions=21, bestBound=821
80.16/75.99 nFilterCalls=4029591, avgTableProportion=0.9999552573095143, avgTableSize=22349.0
80.16/75.99
81.58/77.32 num=266, depth=134..142, filters=1237520, ccks=3192, wck=74.735, mem=274M46
81.58/77.32 decisions=104218, wrong=31579, backtracks=5618, failedAssignments=26084, nogoods=2902, foundSolutions=21, bestBound=821
81.58/77.32 nFilterCalls=4100447, avgTableProportion=0.9999552573110929, avgTableSize=22349.0
81.58/77.32
83.58/79.37 num=267, depth=126..132, filters=1297514, ccks=3192, wck=76.785, mem=274M46
83.58/79.37 decisions=108698, wrong=33755, backtracks=5905, failedAssignments=27974, nogoods=2945, foundSolutions=21, bestBound=821
83.58/79.37 nFilterCalls=4218503, avgTableProportion=0.9999552573136054, avgTableSize=22349.0
83.58/79.37
86.29/82.05 num=268, depth=128..134, filters=1385150, ccks=3192, wck=79.462, mem=274M46
86.29/82.05 decisions=114185, wrong=36433, backtracks=6506, failedAssignments=30053, nogoods=2963, foundSolutions=21, bestBound=821
86.29/82.05 nFilterCalls=4364185, avgTableProportion=0.9999552573165184, avgTableSize=22349.0
86.29/82.05
89.48/85.27 num=269, depth=126..133, filters=1497697, ccks=3192, wck=82.686, mem=276M652
89.48/85.27 decisions=120281, wrong=39416, backtracks=7210, failedAssignments=32340, nogoods=2987, foundSolutions=21, bestBound=821
89.48/85.27 nFilterCalls=4519559, avgTableProportion=0.9999552573194183, avgTableSize=22349.0
89.48/85.27
94.18/89.95 num=270, depth=117..125, filters=1659979, ccks=3192, wck=87.36, mem=276M652
94.18/89.95 decisions=127413, wrong=42922, backtracks=8204, failedAssignments=34856, nogoods=3014, foundSolutions=21, bestBound=821
94.18/89.95 nFilterCalls=4761585, avgTableProportion=0.9999552573235584, avgTableSize=22349.0
94.18/89.95
97.68/93.43 num=271, depth=121..130, filters=1769255, ccks=3192, wck=90.843, mem=276M652
97.68/93.43 decisions=134390, wrong=46348, backtracks=8867, failedAssignments=37624, nogoods=3048, foundSolutions=21, bestBound=821
97.68/93.43 nFilterCalls=4944901, avgTableProportion=0.9999552573264244, avgTableSize=22349.0
97.68/93.43
100.88/96.62 num=272, depth=128..138, filters=1882818, ccks=3192, wck=94.033, mem=276M652
100.88/96.62 decisions=141848, wrong=50009, backtracks=9491, failedAssignments=40668, nogoods=3070, foundSolutions=21, bestBound=821
100.88/96.62 nFilterCalls=5118483, avgTableProportion=0.9999552573289491, avgTableSize=22349.0
100.88/96.62
103.69/99.48 num=273, depth=123..128, filters=1985273, ccks=3192, wck=96.895, mem=276M652
103.69/99.48 decisions=149344, wrong=53694, backtracks=9828, failedAssignments=44017, nogoods=3090, foundSolutions=21, bestBound=821
103.69/99.48 nFilterCalls=5279331, avgTableProportion=0.9999552573311403, avgTableSize=22349.0
103.69/99.48
109.49/105.27 num=274, depth=114..121, filters=2194478, ccks=3192, wck=102.688, mem=276M652
109.49/105.27 decisions=158934, wrong=58430, backtracks=10896, failedAssignments=47701, nogoods=3114, foundSolutions=21, bestBound=821
109.49/105.27 nFilterCalls=5573709, avgTableProportion=0.9999552573348232, avgTableSize=22349.0
109.49/105.27
113.09/108.88 num=275, depth=134..139, filters=2337514, ccks=3192, wck=106.289, mem=276M652
113.09/108.88 decisions=168461, wrong=63126, backtracks=11544, failedAssignments=51753, nogoods=3148, foundSolutions=21, bestBound=821
113.09/108.88 nFilterCalls=5784785, avgTableProportion=0.9999552573372331, avgTableSize=22349.0
113.09/108.88
117.19/112.96 num=276, depth=129..135, filters=2490421, ccks=3192, wck=110.378, mem=276M652
117.19/112.96 decisions=179234, wrong=68447, backtracks=12423, failedAssignments=56210, nogoods=3180, foundSolutions=21, bestBound=821
117.19/112.96 nFilterCalls=6001165, avgTableProportion=0.9999552573395276, avgTableSize=22349.0
117.19/112.96
123.89/119.66 num=277, depth=125..133, filters=2693301, ccks=3192, wck=117.072, mem=276M652
123.89/119.66 decisions=192029, wrong=74780, backtracks=13859, failedAssignments=61113, nogoods=3197, foundSolutions=21, bestBound=821
123.89/119.66 nFilterCalls=6356185, avgTableProportion=0.9999552573429539, avgTableSize=22349.0
123.89/119.66
129.41/125.15 num=278, depth=127..139, filters=2868683, ccks=3192, wck=122.563, mem=276M652
129.41/125.15 decisions=204208, wrong=80805, backtracks=14491, failedAssignments=66507, nogoods=3218, foundSolutions=21, bestBound=821
129.41/125.15 nFilterCalls=6665708, avgTableProportion=0.9999552573456433, avgTableSize=22349.0
129.41/125.15
138.60/134.34 num=279, depth=101..109, filters=3190714, ccks=3192, wck=131.752, mem=276M652
138.60/134.34 decisions=218611, wrong=87955, backtracks=15737, failedAssignments=72440, nogoods=3268, foundSolutions=21, bestBound=821
138.60/134.34 nFilterCalls=7173949, avgTableProportion=0.9999552573495558, avgTableSize=22349.0
138.60/134.34
145.60/141.31 num=280, depth=120..128, filters=3439465, ccks=3192, wck=138.727, mem=276M652
145.60/141.31 decisions=234763, wrong=95970, backtracks=17244, failedAssignments=78966, nogoods=3328, foundSolutions=21, bestBound=821
145.60/141.31 nFilterCalls=7578959, avgTableProportion=0.999955257352298, avgTableSize=22349.0
145.60/141.31
152.42/148.19 num=281, depth=122..131, filters=3657406, ccks=3192, wck=145.601, mem=276M652
152.42/148.19 decisions=251838, wrong=104445, backtracks=18542, failedAssignments=86145, nogoods=3419, foundSolutions=21, bestBound=821
152.42/148.19 nFilterCalls=7937336, avgTableProportion=0.9999552573544911, avgTableSize=22349.0
152.42/148.19
159.71/155.49 num=282, depth=131..139, filters=3929867, ccks=3192, wck=152.904, mem=279M259
159.71/155.49 decisions=270858, wrong=113889, backtracks=20101, failedAssignments=94042, nogoods=3494, foundSolutions=21, bestBound=821
159.71/155.49 nFilterCalls=8350380, avgTableProportion=0.9999552573567851, avgTableSize=22349.0
159.71/155.49
170.72/166.49 num=283, depth=113..120, filters=4233843, ccks=3192, wck=163.907, mem=279M259
170.72/166.49 decisions=290598, wrong=123701, backtracks=21240, failedAssignments=102729, nogoods=3560, foundSolutions=21, bestBound=821
170.72/166.49 nFilterCalls=8853117, avgTableProportion=0.9999552573592886, avgTableSize=22349.0
170.72/166.49
186.44/182.19 num=284, depth=104..115, filters=4663658, ccks=3192, wck=179.608, mem=279M259
186.44/182.19 decisions=314582, wrong=135639, backtracks=23635, failedAssignments=112284, nogoods=3625, foundSolutions=21, bestBound=821
186.44/182.19 nFilterCalls=9651498, avgTableProportion=0.9999552573627283, avgTableSize=22349.0
186.44/182.19
196.54/192.23 num=285, depth=129..139, filters=4997578, ccks=3192, wck=189.643, mem=279M259
196.54/192.23 decisions=338711, wrong=147638, backtracks=25135, failedAssignments=122795, nogoods=3683, foundSolutions=21, bestBound=821
196.54/192.23 nFilterCalls=10186950, avgTableProportion=0.9999552573647331, avgTableSize=22349.0
196.54/192.23
207.54/203.21 num=286, depth=120..127, filters=5335921, ccks=3192, wck=200.626, mem=279M259
207.54/203.21 decisions=364023, wrong=160232, backtracks=26173, failedAssignments=134357, nogoods=3703, foundSolutions=21, bestBound=821
207.54/203.21 nFilterCalls=10764686, avgTableProportion=0.9999552573666726, avgTableSize=22349.0
207.54/203.21
226.96/222.65 num=287, depth=101..111, filters=5962032, ccks=3192, wck=220.068, mem=279M259
226.96/222.65 decisions=394452, wrong=175394, backtracks=28660, failedAssignments=147075, nogoods=3733, foundSolutions=21, bestBound=821
226.96/222.65 nFilterCalls=11796952, avgTableProportion=0.9999552573696651, avgTableSize=22349.0
226.96/222.65
242.47/238.19 num=288, depth=113..120, filters=6393781, ccks=3192, wck=235.605, mem=279M259
242.47/238.19 decisions=425445, wrong=190832, backtracks=30116, failedAssignments=161065, nogoods=3771, foundSolutions=21, bestBound=821
242.47/238.19 nFilterCalls=12579697, avgTableProportion=0.9999552573716067, avgTableSize=22349.0
242.47/238.19
264.39/260.04 num=289, depth=123..132, filters=7234394, ccks=3192, wck=257.449, mem=281M865
264.39/260.04 decisions=464749, wrong=210421, backtracks=34401, failedAssignments=176454, nogoods=3796, foundSolutions=21, bestBound=821
264.39/260.04 nFilterCalls=13901177, avgTableProportion=0.9999552573743886, avgTableSize=22349.0
264.39/260.04
301.90/297.57 num=290, depth=118..128, filters=8667367, ccks=3192, wck=294.98, mem=281M865
301.90/297.57 decisions=519794, wrong=237882, backtracks=45211, failedAssignments=193382, nogoods=3816, foundSolutions=21, bestBound=821
301.90/297.57 nFilterCalls=16177907, avgTableProportion=0.9999552573781154, avgTableSize=22349.0
301.90/297.57
325.42/321.04 num=291, depth=111..124, filters=9686255, ccks=3192, wck=318.454, mem=281M865
325.42/321.04 decisions=564985, wrong=260419, backtracks=49182, failedAssignments=212003, nogoods=3842, foundSolutions=21, bestBound=821
325.42/321.04 nFilterCalls=17637690, avgTableProportion=0.9999552572892068, avgTableSize=22349.0
325.42/321.04
353.53/349.11 num=292, depth=109..117, filters=10608460, ccks=3192, wck=346.521, mem=281M865
353.53/349.11 decisions=615132, wrong=285436, backtracks=53748, failedAssignments=232487, nogoods=3866, foundSolutions=21, bestBound=821
353.53/349.11 nFilterCalls=19063527, avgTableProportion=0.999955257158244, avgTableSize=22349.0
353.53/349.11
378.69/374.24 num=293, depth=117..125, filters=11448719, ccks=3192, wck=371.654, mem=284M472
378.69/374.24 decisions=667357, wrong=311489, backtracks=57301, failedAssignments=255019, nogoods=3957, foundSolutions=21, bestBound=821
378.69/374.24 nFilterCalls=20474703, avgTableProportion=0.9999552570465875, avgTableSize=22349.0
378.69/374.24
440.13/435.60 num=294, depth=107..117, filters=13209526, ccks=3192, wck=433.014, mem=284M472
440.13/435.60 decisions=745167, wrong=350340, backtracks=71844, failedAssignments=279804, nogoods=3998, foundSolutions=21, bestBound=821
440.13/435.60 nFilterCalls=23379231, avgTableProportion=0.9999552568591955, avgTableSize=22349.0
440.13/435.60
478.45/473.92 num=295, depth=109..116, filters=14511627, ccks=3192, wck=471.337, mem=284M472
478.45/473.92 decisions=809040, wrong=382220, backtracks=76484, failedAssignments=307068, nogoods=4058, foundSolutions=21, bestBound=821
478.45/473.92 nFilterCalls=25438362, avgTableProportion=0.9999552567522684, avgTableSize=22349.0
478.45/473.92
514.37/509.81 num=296, depth=115..122, filters=15557416, ccks=3192, wck=507.225, mem=287M78
514.37/509.81 decisions=879528, wrong=417405, backtracks=81731, failedAssignments=337058, nogoods=4106, foundSolutions=21, bestBound=821
514.37/509.81 nFilterCalls=27140407, avgTableProportion=0.9999552566761326, avgTableSize=22349.0
514.37/509.81
545.39/540.84 num=297, depth=117..127, filters=16635149, ccks=3192, wck=538.252, mem=287M78
545.39/540.84 decisions=954823, wrong=454993, backtracks=86340, failedAssignments=370047, nogoods=4171, foundSolutions=21, bestBound=821
545.39/540.84 nFilterCalls=28756240, avgTableProportion=0.9999552566121929, avgTableSize=22349.0
545.39/540.84
591.82/587.27 num=298, depth=112..124, filters=18045680, ccks=3192, wck=584.686, mem=287M78
591.82/587.27 decisions=1040227, wrong=497636, backtracks=92776, failedAssignments=406335, nogoods=4213, foundSolutions=21, bestBound=821
591.82/587.27 nFilterCalls=31188953, avgTableProportion=0.9999552565284242, avgTableSize=22349.0
591.82/587.27
627.33/622.70 num=299, depth=128..137, filters=19118849, ccks=3192, wck=620.112, mem=289M685
627.33/622.70 decisions=1128593, wrong=541753, backtracks=97013, failedAssignments=446252, nogoods=4279, foundSolutions=21, bestBound=821
627.33/622.70 nFilterCalls=33020616, avgTableProportion=0.9999552564734976, avgTableSize=22349.0
627.33/622.70
672.25/667.60 num=300, depth=118..128, filters=20459284, ccks=3192, wck=665.013, mem=289M685
672.25/667.60 decisions=1233683, wrong=594238, backtracks=105674, failedAssignments=490161, nogoods=4324, foundSolutions=21, bestBound=821
672.25/667.60 nFilterCalls=35109937, avgTableProportion=0.9999552565827269, avgTableSize=22349.0
672.25/667.60
732.39/727.75 num=301, depth=119..129, filters=22554922, ccks=3192, wck=725.163, mem=292M291
732.39/727.75 decisions=1345464, wrong=650068, backtracks=113289, failedAssignments=538461, nogoods=4354, foundSolutions=21, bestBound=821
732.39/727.75 nFilterCalls=38514861, avgTableProportion=0.9999552568197232, avgTableSize=22349.0
732.39/727.75
795.92/791.22 num=302, depth=113..121, filters=24324892, ccks=3192, wck=788.631, mem=294M898
795.92/791.22 decisions=1465770, wrong=710163, backtracks=120266, failedAssignments=591591, nogoods=4410, foundSolutions=21, bestBound=821
795.92/791.22 nFilterCalls=41464382, avgTableProportion=0.9999552569935596, avgTableSize=22349.0
795.92/791.22
875.66/870.96 num=303, depth=117..130, filters=26662357, ccks=3192, wck=868.378, mem=294M898
875.66/870.96 decisions=1609103, wrong=781769, backtracks=133502, failedAssignments=650034, nogoods=4460, foundSolutions=21, bestBound=821
875.66/870.96 nFilterCalls=45181996, avgTableProportion=0.9999552571803335, avgTableSize=22349.0
875.66/870.96
956.51/951.80 num=304, depth=112..122, filters=29356947, ccks=3192, wck=949.209, mem=297M504
956.51/951.80 decisions=1764804, wrong=859561, backtracks=147274, failedAssignments=714321, nogoods=4511, foundSolutions=21, bestBound=821
956.51/951.80 nFilterCalls=49240361, avgTableProportion=0.9999552573520283, avgTableSize=22349.0
956.51/951.80
1029.35/1024.57 num=305, depth=122..133, filters=32012025, ccks=3192, wck=1021.983, mem=300M111
1029.35/1024.57 decisions=1933451, wrong=943821, backtracks=161025, failedAssignments=785037, nogoods=4550, foundSolutions=21, bestBound=821
1029.35/1024.57 nFilterCalls=53641926, avgTableProportion=0.9999552575088745, avgTableSize=22349.0
1029.35/1024.57
1106.79/1101.92 num=306, depth=120..138, filters=34289015, ccks=3192, wck=1099.333, mem=302M717
1106.79/1101.92 decisions=2125194, wrong=1039628, backtracks=179202, failedAssignments=862824, nogoods=4609, foundSolutions=21, bestBound=821
1106.79/1101.92 nFilterCalls=57301382, avgTableProportion=0.9999552576209317, avgTableSize=22349.0
1106.79/1101.92
1180.82/1175.98 num=307, depth=125..136, filters=36794678, ccks=3192, wck=1173.397, mem=305M324
1180.82/1175.98 decisions=2335302, wrong=1144617, backtracks=198824, failedAssignments=948390, nogoods=4646, foundSolutions=21, bestBound=821
1180.82/1175.98 nFilterCalls=61213849, avgTableProportion=0.999955257725917, avgTableSize=22349.0
1180.82/1175.98
1262.45/1257.54 num=308, depth=130..140, filters=39532497, ccks=3192, wck=1254.958, mem=307M931
1262.45/1257.54 decisions=2556498, wrong=1255148, backtracks=215336, failedAssignments=1042513, nogoods=4712, foundSolutions=21, bestBound=821
1262.45/1257.54 nFilterCalls=65458488, avgTableProportion=0.9999552578256222, avgTableSize=22349.0
1262.45/1257.54
1381.12/1376.15 num=309, depth=116..127, filters=43141095, ccks=3192, wck=1373.563, mem=310M537
1381.12/1376.15 decisions=2806480, wrong=1380079, backtracks=237039, failedAssignments=1146048, nogoods=4751, foundSolutions=21, bestBound=821
1381.12/1376.15 nFilterCalls=70835338, avgTableProportion=0.9999552575431263, avgTableSize=22349.0
1381.12/1376.15
1487.56/1482.55 num=310, depth=131..140, filters=47337534, ccks=3192, wck=1479.967, mem=313M144
1487.56/1482.55 decisions=3064632, wrong=1509087, backtracks=252240, failedAssignments=1259937, nogoods=4769, foundSolutions=21, bestBound=821
1487.56/1482.55 nFilterCalls=76783569, avgTableProportion=0.9999552570992227, avgTableSize=22349.0
1487.56/1482.55
1631.62/1626.58 num=311, depth=113..124, filters=51928432, ccks=3192, wck=1623.992, mem=318M357
1631.62/1626.58 decisions=3377550, wrong=1665487, backtracks=283875, failedAssignments=1385215, nogoods=4814, foundSolutions=21, bestBound=821
1631.62/1626.58 nFilterCalls=83221792, avgTableProportion=0.9999552566902637, avgTableSize=22349.0
1631.62/1626.58
1763.98/1758.87 num=312, depth=129..141, filters=56894441, ccks=3192, wck=1756.285, mem=320M963
1763.98/1758.87 decisions=3719624, wrong=1836458, backtracks=317625, failedAssignments=1523021, nogoods=4867, foundSolutions=21, bestBound=821
1763.98/1758.87 nFilterCalls=90690660, avgTableProportion=0.9999552562885892, avgTableSize=22349.0
1763.98/1758.87
1910.36/1905.15 num=313, depth=121..130, filters=61851789, ccks=3192, wck=1902.565, mem=326M176
1910.36/1905.15 decisions=4075552, wrong=2014359, backtracks=344046, failedAssignments=1674607, nogoods=4918, foundSolutions=21, bestBound=821
1910.36/1905.15 nFilterCalls=98251891, avgTableProportion=0.9999552559441536, avgTableSize=22349.0
1910.36/1905.15
2160.37/2155.10 num=314, depth=124..134, filters=70546678, ccks=3192, wck=2152.509, mem=331M389
2160.37/2155.10 decisions=4499172, wrong=2226105, backtracks=389151, failedAssignments=1841352, nogoods=4972, foundSolutions=21, bestBound=821
2160.37/2155.10 nFilterCalls=110877361, avgTableProportion=0.9999552554737368, avgTableSize=22349.0
2160.37/2155.10
2394.78/2389.38 num=315, depth=123..132, filters=78258522, ccks=3192, wck=2386.795, mem=336M602
2394.78/2389.38 decisions=4927062, wrong=2439987, backtracks=419734, failedAssignments=2024771, nogoods=5023, foundSolutions=21, bestBound=821
2394.78/2389.38 nFilterCalls=122846049, avgTableProportion=0.9999552551170708, avgTableSize=22349.0
2394.78/2389.38
2520.05/2514.50
2520.05/2514.50 v <instantiation id='sol21' type='solution' cost='821'> <list> c[] d[] </list> <values> 52 48 44 49 26 25 32 34 35 36 37 19 27 30 2 3 17 21 31 40 39 50 63 64 72 79 85 84 87 93 97 104 113 24 6 5 13 12 8 51 61 73 74 88 94 99 100 102 147 143 142 137 90 83 82 70 55 75 111 108 43 47 41 23 14 46 78 68 62 59 57 69 54 80 76 86 89 0 7 9 18 53 66 146 148 129 126 122 118 112 103 95 92 96 109 130 138 133 115 98 117 121 125 145 141 136 132 124 128 135 140 144 149 139 134 120 131 127 123 119 114 116 105 106 110 107 101 91 81 71 67 65 60 58 56 45 33 42 38 22 29 28 4 16 11 10 1 20 15 77 4 1 4 11 3 3 3 4 1 4 7 4 1 16 1 4 1 6 3 2 4 5 2 3 2 2 5 2 2 2 2 3 42 5 5 2 2 1 13 9 4 1 7 5 1 3 1 22 7 1 1 17 4 3 7 12 20 12 2 22 4 3 6 4 10 12 3 2 16 1 14 12 10 12 5 1 31 4 1 3 12 8 29 3 7 2 1 2 4 2 2 1 1 5 8 10 2 6 7 23 2 4 6 3 1 3 3 1 3 1 1 4 5 2 5 3 2 1 2 3 1 6 6 4 3 2 2 4 6 2 2 2 1 3 4 5 7 3 5 4 2 6 3 1 3 3 6 4 20 9 </values> </instantiation>
2520.05/2514.50 s SATISFIABLE