2.43/1.87
2.43/1.87 AbsCon 2
2.43/1.89
3.25/2.13 Instance
3.25/2.13 name=instance-4391314-1568390658, framework=COP, bounds=-infty..+infty
3.25/2.13
3.25/2.13 Loading variables...
3.25/2.18 Loading constraints...
4.15/2.46
4.15/2.46 Domains
4.15/2.46 nTypes=2, nValues=32400, sizes=[66#150,150#150]
4.15/2.46 Variables
4.15/2.46 count=300, degrees=[2#150,3#150]
4.15/2.46 Objectives
4.15/2.46 way=min, type=SumSimpleLE
4.15/2.46 Constraints
4.15/2.46 count=152, nSpecific=152, arities=[3#150,150#2]
4.15/2.46 distribution=[AllDifferent#1,CtrExtensionCT-Table#150,SumSimpleLE#1]
4.15/2.46 tables=[22350#150], nTotalTuples=3352500
4.15/2.46 nExtStructures=(1,shared:149)
4.15/2.46 wck=0.622, cpu=2.376, mem=216M772
4.45/2.51 Solver SolverBacktrack being built...
4.45/2.51
4.45/2.54
4.45/2.54 Solver
4.45/2.54 guaranteedGAC=true
4.45/2.54 wck=0.696, cpu=2.448, mem=245M842
4.45/2.58
4.45/2.58 Preprocessing
4.45/2.58 filters=0, nACremovedValues=0, nTotalRemovedValues=0, inconcistency=false
4.45/2.58 wck=0.037, cpu=2.488, mem=245M842
4.45/2.58
5.88/3.04 o 2604
5.88/3.06 num=0, depth=301..299, filters=1986, ccks=152, wck=0.52, mem=215M363
5.88/3.06 decisions=149, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=1, bestBound=2604
5.88/3.06 nFilterCalls=11622, avgTableProportion=0.9999552572705142, avgTableSize=22349.0
5.88/3.06
6.26/3.28 o 2582
6.26/3.29 num=1, depth=147..299, filters=3980, ccks=304, wck=0.754, mem=217M956
6.26/3.29 decisions=300, wrong=1, backtracks=0, failedAssignments=1, nogoods=1, foundSolutions=2, bestBound=2582
6.26/3.29 nFilterCalls=23107, avgTableProportion=0.9999552572702104, avgTableSize=22349.0
6.26/3.29
6.78/3.52 o 2572
6.78/3.54 num=2, depth=301..299, filters=5967, ccks=456, wck=0.999, mem=217M956
6.78/3.54 decisions=447, wrong=1, backtracks=0, failedAssignments=1, nogoods=1, foundSolutions=3, bestBound=2572
6.78/3.54 nFilterCalls=34580, avgTableProportion=0.9999552572701085, avgTableSize=22349.0
6.78/3.54
7.16/3.76 o 2551
7.16/3.77 num=3, depth=2..299, filters=7983, ccks=608, wck=1.234, mem=220M550
7.16/3.77 decisions=608, wrong=7, backtracks=0, failedAssignments=7, nogoods=7, foundSolutions=4, bestBound=2551
7.16/3.77 nFilterCalls=45951, avgTableProportion=0.9999552572700576, avgTableSize=22349.0
7.16/3.77
7.37/3.97 o 2523
7.37/3.98 num=4, depth=301..299, filters=9956, ccks=760, wck=1.443, mem=220M550
7.37/3.98 decisions=758, wrong=7, backtracks=0, failedAssignments=7, nogoods=7, foundSolutions=5, bestBound=2523
7.37/3.98 nFilterCalls=57429, avgTableProportion=0.9999552572700268, avgTableSize=22349.0
7.37/3.98
7.61/4.18 num=5, depth=144..146, filters=12071, ccks=760, wck=1.646, mem=220M550
7.61/4.18 decisions=929, wrong=20, backtracks=3, failedAssignments=18, nogoods=13, foundSolutions=5, bestBound=2523
7.61/4.18 nFilterCalls=68866, avgTableProportion=0.9999552572700062, avgTableSize=22349.0
7.61/4.18
7.81/4.39 num=6, depth=81..153, filters=13388, ccks=760, wck=1.855, mem=231M316
7.81/4.39 decisions=1114, wrong=38, backtracks=10, failedAssignments=29, nogoods=16, foundSolutions=5, bestBound=2523
7.81/4.39 nFilterCalls=78869, avgTableProportion=0.9999552572699931, avgTableSize=22349.0
7.81/4.39
8.02/4.59 o 1572
8.14/4.60 num=7, depth=301..299, filters=15571, ccks=912, wck=2.065, mem=231M316
8.14/4.60 decisions=1269, wrong=38, backtracks=10, failedAssignments=29, nogoods=16, foundSolutions=6, bestBound=1572
8.14/4.60 nFilterCalls=90136, avgTableProportion=0.9999552572699819, avgTableSize=22349.0
8.14/4.60
8.42/4.82 num=8, depth=142..143, filters=17834, ccks=912, wck=2.278, mem=233M910
8.42/4.82 decisions=1439, wrong=52, backtracks=11, failedAssignments=42, nogoods=23, foundSolutions=6, bestBound=1572
8.42/4.82 nFilterCalls=101539, avgTableProportion=0.999955257269973, avgTableSize=22349.0
8.42/4.82
8.63/5.03 num=9, depth=125..127, filters=20004, ccks=912, wck=2.488, mem=233M910
8.63/5.03 decisions=1590, wrong=65, backtracks=13, failedAssignments=53, nogoods=27, foundSolutions=6, bestBound=1572
8.63/5.03 nFilterCalls=112997, avgTableProportion=0.9999552572699659, avgTableSize=22349.0
8.63/5.03
8.83/5.24 num=10, depth=131..133, filters=22538, ccks=912, wck=2.703, mem=236M503
8.83/5.24 decisions=1748, wrong=78, backtracks=14, failedAssignments=65, nogoods=33, foundSolutions=6, bestBound=1572
8.83/5.24 nFilterCalls=125078, avgTableProportion=0.9999552572699598, avgTableSize=22349.0
8.83/5.24
9.03/5.44 num=11, depth=149..151, filters=24760, ccks=912, wck=2.906, mem=236M503
9.03/5.44 decisions=1929, wrong=93, backtracks=16, failedAssignments=78, nogoods=40, foundSolutions=6, bestBound=1572
9.03/5.44 nFilterCalls=136586, avgTableProportion=0.9999552572705419, avgTableSize=22349.0
9.03/5.44
9.23/5.64 num=12, depth=133..134, filters=27140, ccks=912, wck=3.104, mem=239M97
9.23/5.64 decisions=2096, wrong=110, backtracks=19, failedAssignments=92, nogoods=54, foundSolutions=6, bestBound=1572
9.23/5.64 nFilterCalls=147844, avgTableProportion=0.9999552572716014, avgTableSize=22349.0
9.23/5.64
9.43/5.84 num=13, depth=142..144, filters=29789, ccks=912, wck=3.307, mem=239M97
9.43/5.84 decisions=2275, wrong=128, backtracks=21, failedAssignments=108, nogoods=62, foundSolutions=6, bestBound=1572
9.43/5.84 nFilterCalls=159455, avgTableProportion=0.9999552572725373, avgTableSize=22349.0
9.43/5.84
9.65/6.04 num=14, depth=119..120, filters=32525, ccks=912, wck=3.506, mem=241M690
9.65/6.04 decisions=2430, wrong=146, backtracks=22, failedAssignments=125, nogoods=74, foundSolutions=6, bestBound=1572
9.65/6.04 nFilterCalls=170750, avgTableProportion=0.9999552572733257, avgTableSize=22349.0
9.65/6.04
9.84/6.25 num=15, depth=123..125, filters=35680, ccks=912, wck=3.711, mem=244M284
9.84/6.25 decisions=2596, wrong=167, backtracks=24, failedAssignments=144, nogoods=86, foundSolutions=6, bestBound=1572
9.84/6.25 nFilterCalls=182797, avgTableProportion=0.9999552572740591, avgTableSize=22349.0
9.84/6.25
10.04/6.45 num=16, depth=122..124, filters=38811, ccks=912, wck=3.912, mem=244M284
10.04/6.45 decisions=2765, wrong=190, backtracks=26, failedAssignments=165, nogoods=91, foundSolutions=6, bestBound=1572
10.04/6.45 nFilterCalls=194349, avgTableProportion=0.999955257274677, avgTableSize=22349.0
10.04/6.45
10.24/6.66 num=17, depth=107..109, filters=42134, ccks=912, wck=4.123, mem=246M878
10.24/6.66 decisions=2926, wrong=217, backtracks=32, failedAssignments=188, nogoods=102, foundSolutions=6, bestBound=1572
10.24/6.66 nFilterCalls=206220, avgTableProportion=0.9999552572752399, avgTableSize=22349.0
10.24/6.66
10.45/6.89 num=18, depth=118..121, filters=47400, ccks=912, wck=4.353, mem=249M471
10.45/6.89 decisions=3102, wrong=246, backtracks=37, failedAssignments=213, nogoods=104, foundSolutions=6, bestBound=1572
10.45/6.89 nFilterCalls=219978, avgTableProportion=0.9999552572758162, avgTableSize=22349.0
10.45/6.89
10.76/7.11 num=19, depth=128..135, filters=51067, ccks=912, wck=4.575, mem=252M65
10.76/7.11 decisions=3310, wrong=283, backtracks=46, failedAssignments=241, nogoods=109, foundSolutions=6, bestBound=1572
10.76/7.11 nFilterCalls=232938, avgTableProportion=0.9999552572762969, avgTableSize=22349.0
10.76/7.11
10.95/7.33 num=20, depth=115..118, filters=55036, ccks=912, wck=4.791, mem=254M658
10.95/7.33 decisions=3500, wrong=320, backtracks=53, failedAssignments=272, nogoods=123, foundSolutions=6, bestBound=1572
10.95/7.33 nFilterCalls=245954, avgTableProportion=0.9999552572767286, avgTableSize=22349.0
10.95/7.33
11.16/7.55 num=21, depth=107..109, filters=59073, ccks=912, wck=5.01, mem=257M252
11.16/7.55 decisions=3688, wrong=360, backtracks=59, failedAssignments=306, nogoods=130, foundSolutions=6, bestBound=1572
11.16/7.55 nFilterCalls=258790, avgTableProportion=0.9999552572771119, avgTableSize=22349.0
11.16/7.55
11.36/7.77 num=22, depth=115..118, filters=63582, ccks=912, wck=5.231, mem=259M845
11.36/7.77 decisions=3893, wrong=405, backtracks=68, failedAssignments=343, nogoods=134, foundSolutions=6, bestBound=1572
11.36/7.77 nFilterCalls=271842, avgTableProportion=0.9999552572774643, avgTableSize=22349.0
11.36/7.77
11.56/7.98 num=23, depth=108..112, filters=67107, ccks=912, wck=5.444, mem=262M439
11.56/7.98 decisions=4088, wrong=448, backtracks=70, failedAssignments=384, nogoods=165, foundSolutions=6, bestBound=1572
11.56/7.98 nFilterCalls=283503, avgTableProportion=0.9999552572777518, avgTableSize=22349.0
11.56/7.98
11.90/8.22 num=24, depth=118..120, filters=72032, ccks=912, wck=5.687, mem=267M626
11.90/8.22 decisions=4305, wrong=497, backtracks=74, failedAssignments=429, nogoods=175, foundSolutions=6, bestBound=1572
11.90/8.22 nFilterCalls=297721, avgTableProportion=0.999955257278072, avgTableSize=22349.0
11.90/8.22
12.10/8.47 num=25, depth=115..120, filters=76771, ccks=912, wck=5.93, mem=270M220
12.10/8.47 decisions=4538, wrong=555, backtracks=82, failedAssignments=479, nogoods=180, foundSolutions=6, bestBound=1572
12.10/8.47 nFilterCalls=311924, avgTableProportion=0.9999552572783627, avgTableSize=22349.0
12.10/8.47
12.41/8.73 num=26, depth=136..140, filters=82424, ccks=912, wck=6.187, mem=272M813
12.41/8.73 decisions=4827, wrong=631, backtracks=105, failedAssignments=534, nogoods=194, foundSolutions=6, bestBound=1572
12.41/8.73 nFilterCalls=327195, avgTableProportion=0.999955257278647, avgTableSize=22349.0
12.41/8.73
12.61/8.95 num=27, depth=139..145, filters=86530, ccks=912, wck=6.416, mem=275M407
12.61/8.95 decisions=5121, wrong=707, backtracks=120, failedAssignments=595, nogoods=206, foundSolutions=6, bestBound=1572
12.61/8.95 nFilterCalls=341029, avgTableProportion=0.9999552572788826, avgTableSize=22349.0
12.61/8.95
12.82/9.18 num=28, depth=142..144, filters=91203, ccks=912, wck=6.646, mem=278M0
12.82/9.18 decisions=5418, wrong=784, backtracks=131, failedAssignments=662, nogoods=217, foundSolutions=6, bestBound=1572
12.82/9.18 nFilterCalls=355203, avgTableProportion=0.999955257279105, avgTableSize=22349.0
12.82/9.18
13.16/9.41 num=29, depth=158..167, filters=96414, ccks=912, wck=6.872, mem=278M0
13.16/9.41 decisions=5829, wrong=908, backtracks=187, failedAssignments=736, nogoods=225, foundSolutions=6, bestBound=1572
13.16/9.41 nFilterCalls=369291, avgTableProportion=0.999955257279309, avgTableSize=22349.0
13.16/9.41
13.37/9.64 num=30, depth=156..161, filters=101604, ccks=912, wck=7.107, mem=280M594
13.37/9.64 decisions=6187, wrong=1008, backtracks=206, failedAssignments=817, nogoods=231, foundSolutions=6, bestBound=1572
13.37/9.64 nFilterCalls=383430, avgTableProportion=0.9999552572794987, avgTableSize=22349.0
13.37/9.64
13.57/9.89 num=31, depth=152..154, filters=106050, ccks=912, wck=7.354, mem=283M188
13.57/9.89 decisions=6536, wrong=1106, backtracks=216, failedAssignments=906, nogoods=278, foundSolutions=6, bestBound=1572
13.57/9.89 nFilterCalls=397215, avgTableProportion=0.9999552572796708, avgTableSize=22349.0
13.57/9.89
13.92/10.13 num=32, depth=163..166, filters=110560, ccks=912, wck=7.594, mem=285M781
13.92/10.13 decisions=6937, wrong=1225, backtracks=238, failedAssignments=1004, nogoods=298, foundSolutions=6, bestBound=1572
13.92/10.13 nFilterCalls=411058, avgTableProportion=0.9999552572798319, avgTableSize=22349.0
13.92/10.13
14.14/10.33 o 1571
14.14/10.34 num=33, depth=164..299, filters=113674, ccks=1064, wck=7.803, mem=285M781
14.14/10.34 decisions=7214, wrong=1280, backtracks=255, failedAssignments=1042, nogoods=312, foundSolutions=7, bestBound=1571
14.14/10.34 nFilterCalls=423516, avgTableProportion=0.9999552572799679, avgTableSize=22349.0
14.14/10.34
14.34/10.54 o 1568
14.34/10.54 num=34, depth=163..299, filters=116554, ccks=1216, wck=8.007, mem=288M375
14.34/10.54 decisions=7430, wrong=1304, backtracks=264, failedAssignments=1059, nogoods=318, foundSolutions=8, bestBound=1568
14.34/10.54 nFilterCalls=435435, avgTableProportion=0.9999552572800907, avgTableSize=22349.0
14.34/10.54
14.55/10.75 num=35, depth=162..165, filters=119007, ccks=1216, wck=8.208, mem=288M375
14.55/10.75 decisions=7623, wrong=1318, backtracks=267, failedAssignments=1070, nogoods=320, foundSolutions=8, bestBound=1568
14.55/10.75 nFilterCalls=447331, avgTableProportion=0.9999552572802067, avgTableSize=22349.0
14.55/10.75
14.75/10.94 num=36, depth=160..163, filters=121646, ccks=1216, wck=8.403, mem=290M968
14.75/10.94 decisions=7817, wrong=1334, backtracks=272, failedAssignments=1081, nogoods=324, foundSolutions=8, bestBound=1568
14.75/10.94 nFilterCalls=459057, avgTableProportion=0.9999552572803153, avgTableSize=22349.0
14.75/10.94
14.96/11.13 o 1561
14.96/11.14 num=37, depth=301..299, filters=124106, ccks=1368, wck=8.604, mem=290M968
14.96/11.14 decisions=7995, wrong=1334, backtracks=272, failedAssignments=1081, nogoods=324, foundSolutions=9, bestBound=1561
14.96/11.14 nFilterCalls=470744, avgTableProportion=0.9999552572804181, avgTableSize=22349.0
14.96/11.14
15.15/11.35 num=38, depth=155..160, filters=127246, ccks=1368, wck=8.81, mem=290M968
15.15/11.35 decisions=8198, wrong=1356, backtracks=281, failedAssignments=1094, nogoods=327, foundSolutions=9, bestBound=1561
15.15/11.35 nFilterCalls=483108, avgTableProportion=0.9999552572805214, avgTableSize=22349.0
15.15/11.35
15.36/11.54 o 1471
15.36/11.55 num=39, depth=301..299, filters=129409, ccks=1520, wck=9.008, mem=293M562
15.36/11.55 decisions=8383, wrong=1356, backtracks=281, failedAssignments=1094, nogoods=327, foundSolutions=10, bestBound=1471
15.36/11.55 nFilterCalls=494530, avgTableProportion=0.9999552572806122, avgTableSize=22349.0
15.36/11.55
15.57/11.75 num=40, depth=161..164, filters=131718, ccks=1520, wck=9.209, mem=293M562
15.57/11.75 decisions=8574, wrong=1370, backtracks=284, failedAssignments=1106, nogoods=332, foundSolutions=10, bestBound=1471
15.57/11.75 nFilterCalls=506184, avgTableProportion=0.9999552572807007, avgTableSize=22349.0
15.57/11.75
15.77/11.95 num=41, depth=170..172, filters=134160, ccks=1520, wck=9.407, mem=296M156
15.77/11.95 decisions=8785, wrong=1390, backtracks=293, failedAssignments=1117, nogoods=337, foundSolutions=10, bestBound=1471
15.77/11.95 nFilterCalls=517936, avgTableProportion=0.9999552572807859, avgTableSize=22349.0
15.77/11.95
15.98/12.15 num=42, depth=149..153, filters=136796, ccks=1520, wck=9.611, mem=296M156
15.98/12.15 decisions=8967, wrong=1405, backtracks=296, failedAssignments=1129, nogoods=342, foundSolutions=10, bestBound=1471
15.98/12.15 nFilterCalls=529998, avgTableProportion=0.9999552572808694, avgTableSize=22349.0
15.98/12.15
16.17/12.35 num=43, depth=170..172, filters=138918, ccks=1520, wck=9.809, mem=296M156
16.17/12.35 decisions=9174, wrong=1423, backtracks=301, failedAssignments=1142, nogoods=348, foundSolutions=10, bestBound=1471
16.17/12.35 nFilterCalls=541533, avgTableProportion=0.9999552572809458, avgTableSize=22349.0
16.17/12.35
16.37/12.54 o 1395
16.37/12.55 num=44, depth=301..299, filters=140997, ccks=1672, wck=10.009, mem=298M749
16.37/12.55 decisions=9358, wrong=1423, backtracks=301, failedAssignments=1142, nogoods=348, foundSolutions=11, bestBound=1395
16.37/12.55 nFilterCalls=552934, avgTableProportion=0.9999552572810181, avgTableSize=22349.0
16.37/12.55
16.60/12.76 num=45, depth=145..148, filters=143546, ccks=1672, wck=10.221, mem=298M749
16.60/12.76 decisions=9543, wrong=1442, backtracks=304, failedAssignments=1158, nogoods=360, foundSolutions=11, bestBound=1395
16.60/12.76 nFilterCalls=565076, avgTableProportion=0.999955257281092, avgTableSize=22349.0
16.60/12.76
16.80/12.96 num=46, depth=167..168, filters=145887, ccks=1672, wck=10.421, mem=301M343
16.80/12.96 decisions=9738, wrong=1456, backtracks=307, failedAssignments=1169, nogoods=367, foundSolutions=11, bestBound=1395
16.80/12.96 nFilterCalls=576870, avgTableProportion=0.9999552572811607, avgTableSize=22349.0
16.80/12.96
17.01/13.17 num=47, depth=154..157, filters=148276, ccks=1672, wck=10.627, mem=301M343
17.01/13.17 decisions=9922, wrong=1470, backtracks=309, failedAssignments=1181, nogoods=372, foundSolutions=11, bestBound=1395
17.01/13.17 nFilterCalls=588999, avgTableProportion=0.9999552572812286, avgTableSize=22349.0
17.01/13.17
17.20/13.37 num=48, depth=153..159, filters=151059, ccks=1672, wck=10.837, mem=301M343
17.20/13.37 decisions=10114, wrong=1487, backtracks=313, failedAssignments=1194, nogoods=377, foundSolutions=11, bestBound=1395
17.20/13.37 nFilterCalls=601394, avgTableProportion=0.9999552572812951, avgTableSize=22349.0
17.20/13.37
17.40/13.58 num=49, depth=163..167, filters=153482, ccks=1672, wck=11.043, mem=303M936
17.40/13.58 decisions=10328, wrong=1511, backtracks=324, failedAssignments=1208, nogoods=382, foundSolutions=11, bestBound=1395
17.40/13.58 nFilterCalls=613233, avgTableProportion=0.999955257281356, avgTableSize=22349.0
17.40/13.58
17.60/13.78 num=50, depth=163..165, filters=155778, ccks=1672, wck=11.246, mem=303M936
17.60/13.78 decisions=10527, wrong=1529, backtracks=326, failedAssignments=1224, nogoods=387, foundSolutions=11, bestBound=1395
17.60/13.78 nFilterCalls=624938, avgTableProportion=0.9999552572814141, avgTableSize=22349.0
17.60/13.78
17.80/13.99 num=51, depth=165..167, filters=158031, ccks=1672, wck=11.448, mem=306M530
17.80/13.99 decisions=10730, wrong=1548, backtracks=328, failedAssignments=1241, nogoods=400, foundSolutions=11, bestBound=1395
17.80/13.99 nFilterCalls=636701, avgTableProportion=0.9999552572814703, avgTableSize=22349.0
17.80/13.99
18.02/14.19 num=52, depth=148..150, filters=160474, ccks=1672, wck=11.655, mem=306M530
18.02/14.19 decisions=10923, wrong=1570, backtracks=331, failedAssignments=1260, nogoods=402, foundSolutions=11, bestBound=1395
18.02/14.19 nFilterCalls=648337, avgTableProportion=0.9999552572815239, avgTableSize=22349.0
18.02/14.19
18.31/14.40 num=53, depth=169..172, filters=162983, ccks=1672, wck=11.866, mem=309M124
18.31/14.40 decisions=11140, wrong=1594, backtracks=334, failedAssignments=1281, nogoods=403, foundSolutions=11, bestBound=1395
18.31/14.40 nFilterCalls=660377, avgTableProportion=0.9999552572815773, avgTableSize=22349.0
18.31/14.40
18.51/14.61 num=54, depth=151..156, filters=165715, ccks=1672, wck=12.074, mem=309M124
18.51/14.61 decisions=11351, wrong=1622, backtracks=339, failedAssignments=1304, nogoods=416, foundSolutions=11, bestBound=1395
18.51/14.61 nFilterCalls=672366, avgTableProportion=0.9999552572816286, avgTableSize=22349.0
18.51/14.61
18.72/14.82 num=55, depth=145..147, filters=167724, ccks=1672, wck=12.283, mem=311M717
18.72/14.82 decisions=11549, wrong=1648, backtracks=340, failedAssignments=1329, nogoods=418, foundSolutions=11, bestBound=1395
18.72/14.82 nFilterCalls=683922, avgTableProportion=0.9999552572816763, avgTableSize=22349.0
18.72/14.82
18.93/15.04 num=56, depth=163..167, filters=170565, ccks=1672, wck=12.498, mem=311M717
18.93/15.04 decisions=11792, wrong=1688, backtracks=352, failedAssignments=1357, nogoods=424, foundSolutions=11, bestBound=1395
18.93/15.04 nFilterCalls=696457, avgTableProportion=0.9999552572817264, avgTableSize=22349.0
18.93/15.04
19.12/15.25 num=57, depth=156..159, filters=173110, ccks=1672, wck=12.715, mem=314M311
19.12/15.25 decisions=12020, wrong=1724, backtracks=357, failedAssignments=1388, nogoods=436, foundSolutions=11, bestBound=1395
19.12/15.25 nFilterCalls=708755, avgTableProportion=0.9999552572817737, avgTableSize=22349.0
19.12/15.25
19.32/15.47 num=58, depth=165..167, filters=175876, ccks=1672, wck=12.937, mem=314M311
19.32/15.47 decisions=12263, wrong=1763, backtracks=362, failedAssignments=1422, nogoods=452, foundSolutions=11, bestBound=1395
19.32/15.47 nFilterCalls=721316, avgTableProportion=0.9999552572818204, avgTableSize=22349.0
19.32/15.47
19.62/15.70 num=59, depth=145..151, filters=179200, ccks=1672, wck=13.161, mem=316M904
19.62/15.70 decisions=12492, wrong=1804, backtracks=366, failedAssignments=1459, nogoods=457, foundSolutions=11, bestBound=1395
19.62/15.70 nFilterCalls=734274, avgTableProportion=0.999955257281867, avgTableSize=22349.0
19.62/15.70
19.82/15.92 num=60, depth=151..154, filters=182677, ccks=1672, wck=13.382, mem=319M498
19.82/15.92 decisions=12744, wrong=1854, backtracks=375, failedAssignments=1500, nogoods=474, foundSolutions=11, bestBound=1395
19.82/15.92 nFilterCalls=747251, avgTableProportion=0.9999552572819118, avgTableSize=22349.0
19.82/15.92
20.03/16.14 num=61, depth=163..166, filters=185723, ccks=1672, wck=13.602, mem=319M498
20.03/16.14 decisions=13017, wrong=1908, backtracks=384, failedAssignments=1545, nogoods=487, foundSolutions=11, bestBound=1395
20.03/16.14 nFilterCalls=759482, avgTableProportion=0.9999552572819528, avgTableSize=22349.0
20.03/16.14
20.22/16.36 num=62, depth=151..153, filters=188878, ccks=1672, wck=13.821, mem=322M91
20.22/16.36 decisions=13279, wrong=1963, backtracks=390, failedAssignments=1595, nogoods=508, foundSolutions=11, bestBound=1395
20.22/16.36 nFilterCalls=772198, avgTableProportion=0.999955257281994, avgTableSize=22349.0
20.22/16.36
20.42/16.59 num=63, depth=162..169, filters=192303, ccks=1672, wck=14.055, mem=322M91
20.42/16.59 decisions=13575, wrong=2028, backtracks=400, failedAssignments=1650, nogoods=520, foundSolutions=11, bestBound=1395
20.42/16.59 nFilterCalls=785448, avgTableProportion=0.9999552572820355, avgTableSize=22349.0
20.42/16.59
20.72/16.82 num=64, depth=164..168, filters=195990, ccks=1672, wck=14.282, mem=324M685
20.72/16.82 decisions=13902, wrong=2109, backtracks=424, failedAssignments=1711, nogoods=527, foundSolutions=11, bestBound=1395
20.72/16.82 nFilterCalls=798333, avgTableProportion=0.9999552572820746, avgTableSize=22349.0
20.72/16.82
20.93/17.05 num=65, depth=163..167, filters=199551, ccks=1672, wck=14.513, mem=324M685
20.93/17.05 decisions=14223, wrong=2187, backtracks=435, failedAssignments=1778, nogoods=537, foundSolutions=11, bestBound=1395
20.93/17.05 nFilterCalls=811462, avgTableProportion=0.9999552572821131, avgTableSize=22349.0
20.93/17.05
21.13/17.29 num=66, depth=165..169, filters=202932, ccks=1672, wck=14.754, mem=327M279
21.13/17.29 decisions=14557, wrong=2270, backtracks=445, failedAssignments=1852, nogoods=544, foundSolutions=11, bestBound=1395
21.13/17.29 nFilterCalls=824681, avgTableProportion=0.9999552572821506, avgTableSize=22349.0
21.13/17.29
21.43/17.53 num=67, depth=161..164, filters=207256, ccks=1672, wck=14.996, mem=329M872
21.43/17.53 decisions=14915, wrong=2367, backtracks=461, failedAssignments=1933, nogoods=555, foundSolutions=11, bestBound=1395
21.43/17.53 nFilterCalls=838194, avgTableProportion=0.9999552572821878, avgTableSize=22349.0
21.43/17.53
21.63/17.77 num=68, depth=162..165, filters=211235, ccks=1672, wck=15.232, mem=329M872
21.63/17.77 decisions=15295, wrong=2476, backtracks=482, failedAssignments=2022, nogoods=557, foundSolutions=11, bestBound=1395
21.63/17.77 nFilterCalls=851560, avgTableProportion=0.9999552572822233, avgTableSize=22349.0
21.63/17.77
21.83/18.00 num=69, depth=169..171, filters=214665, ccks=1672, wck=15.464, mem=332M466
21.83/18.00 decisions=15686, wrong=2586, backtracks=494, failedAssignments=2120, nogoods=563, foundSolutions=11, bestBound=1395
21.83/18.00 nFilterCalls=864423, avgTableProportion=0.9999552572822565, avgTableSize=22349.0
21.83/18.00
22.13/18.21 o 1212
22.13/18.22 num=70, depth=301..299, filters=216684, ccks=1824, wck=15.682, mem=332M466
22.13/18.22 decisions=15869, wrong=2586, backtracks=494, failedAssignments=2120, nogoods=563, foundSolutions=12, bestBound=1212
22.13/18.22 nFilterCalls=876077, avgTableProportion=0.9999552572822858, avgTableSize=22349.0
22.13/18.22
22.46/18.50 num=71, depth=160..169, filters=222836, ccks=1824, wck=15.963, mem=335M59
22.46/18.50 decisions=16343, wrong=2741, backtracks=533, failedAssignments=2239, nogoods=569, foundSolutions=12, bestBound=1212
22.46/18.50 nFilterCalls=892178, avgTableProportion=0.9999552572823249, avgTableSize=22349.0
22.46/18.50
22.66/18.71 num=72, depth=169..172, filters=224739, ccks=1824, wck=16.172, mem=335M59
22.66/18.71 decisions=16540, wrong=2755, backtracks=537, failedAssignments=2250, nogoods=574, foundSolutions=12, bestBound=1212
22.66/18.71 nFilterCalls=903625, avgTableProportion=0.9999552572823519, avgTableSize=22349.0
22.66/18.71
22.86/18.93 num=73, depth=168..169, filters=226795, ccks=1824, wck=16.396, mem=227M961
22.86/18.93 decisions=16736, wrong=2769, backtracks=539, failedAssignments=2262, nogoods=578, foundSolutions=12, bestBound=1212
22.86/18.93 nFilterCalls=915330, avgTableProportion=0.9999552572823789, avgTableSize=22349.0
22.86/18.93
23.11/19.14 o 971
23.11/19.14 num=74, depth=301..299, filters=228511, ccks=1976, wck=16.605, mem=227M961
23.11/19.14 decisions=16910, wrong=2769, backtracks=539, failedAssignments=2262, nogoods=578, foundSolutions=13, bestBound=971
23.11/19.14 nFilterCalls=926725, avgTableProportion=0.9999552572824044, avgTableSize=22349.0
23.11/19.14
23.31/19.36 num=75, depth=150..153, filters=230424, ccks=1976, wck=16.821, mem=227M961
23.31/19.36 decisions=17093, wrong=2785, backtracks=541, failedAssignments=2276, nogoods=591, foundSolutions=13, bestBound=971
23.31/19.36 nFilterCalls=938139, avgTableProportion=0.9999552572824293, avgTableSize=22349.0
23.31/19.36
23.51/19.57 num=76, depth=163..165, filters=232418, ccks=1976, wck=17.034, mem=227M961
23.51/19.57 decisions=17282, wrong=2798, backtracks=543, failedAssignments=2287, nogoods=595, foundSolutions=13, bestBound=971
23.51/19.57 nFilterCalls=949785, avgTableProportion=0.9999552572824542, avgTableSize=22349.0
23.51/19.57
23.71/19.79 num=77, depth=149..155, filters=234399, ccks=1976, wck=17.248, mem=232M249
23.71/19.79 decisions=17465, wrong=2812, backtracks=545, failedAssignments=2299, nogoods=606, foundSolutions=13, bestBound=971
23.71/19.79 nFilterCalls=961265, avgTableProportion=0.999955257282478, avgTableSize=22349.0
23.71/19.79
23.93/20.00 num=78, depth=170..172, filters=236444, ccks=1976, wck=17.459, mem=232M249
23.93/20.00 decisions=17665, wrong=2827, backtracks=547, failedAssignments=2312, nogoods=614, foundSolutions=13, bestBound=971
23.93/20.00 nFilterCalls=972867, avgTableProportion=0.9999552572825017, avgTableSize=22349.0
23.93/20.00
24.23/20.21 num=79, depth=156..158, filters=238487, ccks=1976, wck=17.671, mem=232M249
24.23/20.21 decisions=17853, wrong=2842, backtracks=548, failedAssignments=2326, nogoods=626, foundSolutions=13, bestBound=971
24.23/20.21 nFilterCalls=984240, avgTableProportion=0.9999552572825242, avgTableSize=22349.0
24.23/20.21
24.43/20.42 num=80, depth=154..158, filters=240480, ccks=1976, wck=17.886, mem=232M249
24.43/20.42 decisions=18059, wrong=2867, backtracks=558, failedAssignments=2342, nogoods=633, foundSolutions=13, bestBound=971
24.43/20.42 nFilterCalls=995976, avgTableProportion=0.999955257282547, avgTableSize=22349.0
24.43/20.42
24.63/20.64 num=81, depth=142..144, filters=242579, ccks=1976, wck=18.103, mem=236M537
24.63/20.64 decisions=18243, wrong=2888, backtracks=562, failedAssignments=2359, nogoods=649, foundSolutions=13, bestBound=971
24.63/20.64 nFilterCalls=1007544, avgTableProportion=0.9999552572825688, avgTableSize=22349.0
24.63/20.64
24.85/20.85 num=82, depth=168..170, filters=244657, ccks=1976, wck=18.317, mem=236M537
24.85/20.85 decisions=18464, wrong=2914, backtracks=569, failedAssignments=2378, nogoods=654, foundSolutions=13, bestBound=971
24.85/20.85 nFilterCalls=1019296, avgTableProportion=0.9999552572825906, avgTableSize=22349.0
24.85/20.85
25.06/21.07 num=83, depth=149..151, filters=246655, ccks=1976, wck=18.532, mem=236M537
25.06/21.07 decisions=18659, wrong=2937, backtracks=571, failedAssignments=2399, nogoods=661, foundSolutions=13, bestBound=971
25.06/21.07 nFilterCalls=1031054, avgTableProportion=0.9999552572826119, avgTableSize=22349.0
25.06/21.07
25.25/21.29 num=84, depth=158..162, filters=249257, ccks=1976, wck=18.754, mem=236M537
25.25/21.29 decisions=18891, wrong=2974, backtracks=586, failedAssignments=2422, nogoods=666, foundSolutions=13, bestBound=971
25.25/21.29 nFilterCalls=1043052, avgTableProportion=0.9999552572826331, avgTableSize=22349.0
25.25/21.29
25.55/21.51 num=85, depth=152..154, filters=251192, ccks=1976, wck=18.976, mem=240M826
25.55/21.51 decisions=19098, wrong=3001, backtracks=588, failedAssignments=2447, nogoods=683, foundSolutions=13, bestBound=971
25.55/21.51 nFilterCalls=1054850, avgTableProportion=0.9999552572819661, avgTableSize=22349.0
25.55/21.51
25.75/21.75 num=86, depth=160..162, filters=253780, ccks=1976, wck=19.209, mem=240M826
25.75/21.75 decisions=19325, wrong=3034, backtracks=593, failedAssignments=2475, nogoods=703, foundSolutions=13, bestBound=971
25.75/21.75 nFilterCalls=1067317, avgTableProportion=0.9999552572806354, avgTableSize=22349.0
25.75/21.75
25.95/21.98 num=87, depth=146..150, filters=257329, ccks=1976, wck=19.445, mem=245M114
25.95/21.98 decisions=19563, wrong=3079, backtracks=607, failedAssignments=2506, nogoods=706, foundSolutions=13, bestBound=971
25.95/21.98 nFilterCalls=1080773, avgTableProportion=0.9999552572792335, avgTableSize=22349.0
25.95/21.98
26.25/22.21 num=88, depth=153..155, filters=259608, ccks=1976, wck=19.675, mem=245M114
26.25/22.21 decisions=19795, wrong=3118, backtracks=612, failedAssignments=2540, nogoods=727, foundSolutions=13, bestBound=971
26.25/22.21 nFilterCalls=1092936, avgTableProportion=0.9999552572779961, avgTableSize=22349.0
26.25/22.21
26.45/22.44 num=89, depth=137..140, filters=262492, ccks=1976, wck=19.907, mem=249M402
26.45/22.44 decisions=20034, wrong=3169, backtracks=626, failedAssignments=2577, nogoods=731, foundSolutions=13, bestBound=971
26.45/22.44 nFilterCalls=1105374, avgTableProportion=0.9999552572767588, avgTableSize=22349.0
26.45/22.44
26.65/22.67 num=90, depth=163..167, filters=265276, ccks=1976, wck=20.131, mem=249M402
26.65/22.67 decisions=20310, wrong=3225, backtracks=641, failedAssignments=2618, nogoods=739, foundSolutions=13, bestBound=971
26.65/22.67 nFilterCalls=1117800, avgTableProportion=0.9999552572755502, avgTableSize=22349.0
26.65/22.67
26.95/22.90 num=91, depth=141..145, filters=268404, ccks=1976, wck=20.363, mem=249M402
26.95/22.90 decisions=20559, wrong=3279, backtracks=652, failedAssignments=2663, nogoods=757, foundSolutions=13, bestBound=971
26.95/22.90 nFilterCalls=1131192, avgTableProportion=0.9999552572742775, avgTableSize=22349.0
26.95/22.90
27.16/23.15 num=92, depth=136..140, filters=271830, ccks=1976, wck=20.611, mem=253M690
27.16/23.15 decisions=20815, wrong=3338, backtracks=662, failedAssignments=2713, nogoods=780, foundSolutions=13, bestBound=971
27.16/23.15 nFilterCalls=1144378, avgTableProportion=0.9999552572730533, avgTableSize=22349.0
27.16/23.15
27.45/23.41 num=93, depth=156..160, filters=276077, ccks=1976, wck=20.87, mem=253M690
27.45/23.41 decisions=21134, wrong=3419, backtracks=688, failedAssignments=2768, nogoods=800, foundSolutions=13, bestBound=971
27.45/23.41 nFilterCalls=1158914, avgTableProportion=0.9999552572717362, avgTableSize=22349.0
27.45/23.41
27.65/23.65 num=94, depth=140..147, filters=279135, ccks=1976, wck=21.109, mem=257M978
27.65/23.65 decisions=21409, wrong=3484, backtracks=692, failedAssignments=2829, nogoods=831, foundSolutions=13, bestBound=971
27.65/23.65 nFilterCalls=1171779, avgTableProportion=0.9999552572705976, avgTableSize=22349.0
27.65/23.65
27.85/23.89 num=95, depth=162..166, filters=282135, ccks=1976, wck=21.347, mem=257M978
27.85/23.89 decisions=21745, wrong=3570, backtracks=712, failedAssignments=2896, nogoods=843, foundSolutions=13, bestBound=971
27.85/23.89 nFilterCalls=1184862, avgTableProportion=0.9999552572694652, avgTableSize=22349.0
27.85/23.89
28.16/24.15 num=96, depth=142..146, filters=286182, ccks=1976, wck=21.611, mem=262M266
28.16/24.15 decisions=22061, wrong=3656, backtracks=724, failedAssignments=2970, nogoods=862, foundSolutions=13, bestBound=971
28.16/24.15 nFilterCalls=1199277, avgTableProportion=0.9999552572682462, avgTableSize=22349.0
28.16/24.15
28.45/24.41 num=97, depth=143..148, filters=290653, ccks=1976, wck=21.873, mem=266M554
28.45/24.41 decisions=22396, wrong=3750, backtracks=738, failedAssignments=3051, nogoods=883, foundSolutions=13, bestBound=971
28.45/24.41 nFilterCalls=1213663, avgTableProportion=0.9999552572670584, avgTableSize=22349.0
28.45/24.41
28.65/24.67 num=98, depth=145..150, filters=295006, ccks=1976, wck=22.135, mem=270M842
28.65/24.67 decisions=22786, wrong=3872, backtracks=773, failedAssignments=3140, nogoods=899, foundSolutions=13, bestBound=971
28.65/24.67 nFilterCalls=1228291, avgTableProportion=0.9999552572658791, avgTableSize=22349.0
28.65/24.67
28.95/24.92 num=99, depth=153..156, filters=299185, ccks=1976, wck=22.386, mem=270M842
28.95/24.92 decisions=23170, wrong=3987, backtracks=790, failedAssignments=3238, nogoods=929, foundSolutions=13, bestBound=971
28.95/24.92 nFilterCalls=1242144, avgTableProportion=0.999955257264788, avgTableSize=22349.0
28.95/24.92
29.17/25.13 o 969
29.17/25.14 num=100, depth=173..299, filters=300886, ccks=2128, wck=22.6, mem=270M842
29.17/25.14 decisions=23352, wrong=3991, backtracks=791, failedAssignments=3241, nogoods=932, foundSolutions=14, bestBound=969
29.17/25.14 nFilterCalls=1253257, avgTableProportion=0.9999552572639301, avgTableSize=22349.0
29.17/25.14
29.36/25.39 num=101, depth=163..167, filters=304995, ccks=2128, wck=22.852, mem=276M50
29.36/25.39 decisions=23791, wrong=4128, backtracks=809, failedAssignments=3360, nogoods=940, foundSolutions=14, bestBound=969
29.36/25.39 nFilterCalls=1267195, avgTableProportion=0.9999552572628754, avgTableSize=22349.0
29.36/25.39
29.66/25.61 num=102, depth=159..160, filters=306714, ccks=2128, wck=23.073, mem=276M50
29.66/25.61 decisions=23975, wrong=4140, backtracks=810, failedAssignments=3371, nogoods=942, foundSolutions=14, bestBound=969
29.66/25.61 nFilterCalls=1278878, avgTableProportion=0.999955257262009, avgTableSize=22349.0
29.66/25.61
29.86/25.83 num=103, depth=143..146, filters=308829, ccks=2128, wck=23.291, mem=280M338
29.86/25.83 decisions=24157, wrong=4159, backtracks=817, failedAssignments=3383, nogoods=947, foundSolutions=14, bestBound=969
29.86/25.83 nFilterCalls=1290750, avgTableProportion=0.9999552572611446, avgTableSize=22349.0
29.86/25.83
30.07/26.04 num=104, depth=150..153, filters=310902, ccks=2128, wck=23.506, mem=280M338
30.07/26.04 decisions=24341, wrong=4175, backtracks=820, failedAssignments=3396, nogoods=960, foundSolutions=14, bestBound=969
30.07/26.04 nFilterCalls=1302487, avgTableProportion=0.9999552572603058, avgTableSize=22349.0
30.07/26.04
30.26/26.27 num=105, depth=153..156, filters=313129, ccks=2128, wck=23.729, mem=280M338
30.26/26.27 decisions=24539, wrong=4197, backtracks=828, failedAssignments=3410, nogoods=964, foundSolutions=14, bestBound=969
30.26/26.27 nFilterCalls=1314262, avgTableProportion=0.9999552572594791, avgTableSize=22349.0
30.26/26.27
30.47/26.49 num=106, depth=152..154, filters=315761, ccks=2128, wck=23.95, mem=280M338
30.47/26.49 decisions=24733, wrong=4218, backtracks=833, failedAssignments=3426, nogoods=968, foundSolutions=14, bestBound=969
30.47/26.49 nFilterCalls=1326698, avgTableProportion=0.9999552572586219, avgTableSize=22349.0
30.47/26.49
30.77/26.71 num=107, depth=148..150, filters=317725, ccks=2128, wck=24.168, mem=284M626
30.77/26.71 decisions=24920, wrong=4237, backtracks=835, failedAssignments=3443, nogoods=970, foundSolutions=14, bestBound=969
30.77/26.71 nFilterCalls=1338501, avgTableProportion=0.9999552572578232, avgTableSize=22349.0
30.77/26.71
30.97/26.92 num=108, depth=158..162, filters=320050, ccks=2128, wck=24.382, mem=284M626
30.97/26.92 decisions=25130, wrong=4262, backtracks=843, failedAssignments=3462, nogoods=974, foundSolutions=14, bestBound=969
30.97/26.92 nFilterCalls=1350357, avgTableProportion=0.9999552572570349, avgTableSize=22349.0
30.97/26.92
31.18/27.13 num=109, depth=142..143, filters=321883, ccks=2128, wck=24.594, mem=284M626
31.18/27.13 decisions=25315, wrong=4283, backtracks=843, failedAssignments=3483, nogoods=995, foundSolutions=14, bestBound=969
31.18/27.13 nFilterCalls=1361655, avgTableProportion=0.9999552572562965, avgTableSize=22349.0
31.18/27.13
31.37/27.35 num=110, depth=155..157, filters=323959, ccks=2128, wck=24.812, mem=288M914
31.37/27.35 decisions=25531, wrong=4313, backtracks=850, failedAssignments=3506, nogoods=998, foundSolutions=14, bestBound=969
31.37/27.35 nFilterCalls=1373834, avgTableProportion=0.999955257255514, avgTableSize=22349.0
31.37/27.35
31.57/27.58 num=111, depth=152..158, filters=326514, ccks=2128, wck=25.045, mem=288M914
31.57/27.58 decisions=25753, wrong=4347, backtracks=859, failedAssignments=3531, nogoods=1009, foundSolutions=14, bestBound=969
31.57/27.58 nFilterCalls=1386418, avgTableProportion=0.9999552572547201, avgTableSize=22349.0
31.57/27.58
31.87/27.81 num=112, depth=169..173, filters=328814, ccks=2128, wck=25.268, mem=288M914
31.87/27.81 decisions=25998, wrong=4385, backtracks=869, failedAssignments=3559, nogoods=1020, foundSolutions=14, bestBound=969
31.87/27.81 nFilterCalls=1398554, avgTableProportion=0.9999552572539679, avgTableSize=22349.0
31.87/27.81
32.08/28.02 num=113, depth=165..169, filters=331268, ccks=2128, wck=25.486, mem=288M914
32.08/28.02 decisions=26251, wrong=4428, backtracks=882, failedAssignments=3590, nogoods=1026, foundSolutions=14, bestBound=969
32.08/28.02 nFilterCalls=1410703, avgTableProportion=0.9999552572532279, avgTableSize=22349.0
32.08/28.02
32.27/28.25 num=114, depth=153..157, filters=333857, ccks=2128, wck=25.716, mem=293M202
32.27/28.25 decisions=26500, wrong=4476, backtracks=897, failedAssignments=3624, nogoods=1030, foundSolutions=14, bestBound=969
32.27/28.25 nFilterCalls=1423380, avgTableProportion=0.9999552572524693, avgTableSize=22349.0
32.27/28.25
32.47/28.49 num=115, depth=148..153, filters=337405, ccks=2128, wck=25.953, mem=293M202
32.47/28.49 decisions=26756, wrong=4529, backtracks=915, failedAssignments=3661, nogoods=1038, foundSolutions=14, bestBound=969
32.47/28.49 nFilterCalls=1437169, avgTableProportion=0.9999552572516591, avgTableSize=22349.0
32.47/28.49
32.77/28.73 num=116, depth=144..149, filters=340594, ccks=2128, wck=26.189, mem=297M490
32.77/28.73 decisions=27018, wrong=4587, backtracks=932, failedAssignments=3702, nogoods=1043, foundSolutions=14, bestBound=969
32.77/28.73 nFilterCalls=1450646, avgTableProportion=0.9999552572508823, avgTableSize=22349.0
32.77/28.73
32.97/28.96 num=117, depth=156..158, filters=342807, ccks=2128, wck=26.419, mem=297M490
32.97/28.96 decisions=27272, wrong=4636, backtracks=936, failedAssignments=3747, nogoods=1053, foundSolutions=14, bestBound=969
32.97/28.96 nFilterCalls=1462778, avgTableProportion=0.9999552572501952, avgTableSize=22349.0
32.97/28.96
33.18/29.19 num=118, depth=160..163, filters=345804, ccks=2128, wck=26.65, mem=297M490
33.18/29.19 decisions=27553, wrong=4696, backtracks=946, failedAssignments=3797, nogoods=1064, foundSolutions=14, bestBound=969
33.18/29.19 nFilterCalls=1475463, avgTableProportion=0.9999552572494889, avgTableSize=22349.0
33.18/29.19
33.47/29.44 num=119, depth=145..148, filters=349563, ccks=2128, wck=26.901, mem=301M778
33.47/29.44 decisions=27863, wrong=4778, backtracks=973, failedAssignments=3852, nogoods=1071, foundSolutions=14, bestBound=969
33.47/29.44 nFilterCalls=1489429, avgTableProportion=0.9999552572487251, avgTableSize=22349.0
33.47/29.44
33.67/29.69 num=120, depth=143..147, filters=352790, ccks=2128, wck=27.151, mem=306M66
33.67/29.69 decisions=28153, wrong=4851, backtracks=985, failedAssignments=3913, nogoods=1080, foundSolutions=14, bestBound=969
33.67/29.69 nFilterCalls=1502946, avgTableProportion=0.9999552572479995, avgTableSize=22349.0
33.67/29.69
33.97/29.94 num=121, depth=159..164, filters=356523, ccks=2128, wck=27.406, mem=306M66
33.97/29.94 decisions=28504, wrong=4946, backtracks=1015, failedAssignments=3980, nogoods=1089, foundSolutions=14, bestBound=969
33.97/29.94 nFilterCalls=1517034, avgTableProportion=0.999955257247257, avgTableSize=22349.0
33.97/29.94
34.27/30.22 num=122, depth=139..145, filters=361281, ccks=2128, wck=27.68, mem=310M355
34.27/30.22 decisions=28832, wrong=5040, backtracks=1035, failedAssignments=4054, nogoods=1094, foundSolutions=14, bestBound=969
34.27/30.22 nFilterCalls=1532265, avgTableProportion=0.9999552572464695, avgTableSize=22349.0
34.27/30.22
34.47/30.49 num=123, depth=143..146, filters=365684, ccks=2128, wck=27.951, mem=314M643
34.47/30.49 decisions=29178, wrong=5141, backtracks=1056, failedAssignments=4135, nogoods=1127, foundSolutions=14, bestBound=969
34.47/30.49 nFilterCalls=1547075, avgTableProportion=0.9999552572457188, avgTableSize=22349.0
34.47/30.49
34.77/30.73 num=124, depth=154..156, filters=369099, ccks=2128, wck=28.192, mem=314M643
34.77/30.73 decisions=29525, wrong=5237, backtracks=1064, failedAssignments=4224, nogoods=1148, foundSolutions=14, bestBound=969
34.77/30.73 nFilterCalls=1560367, avgTableProportion=0.999955257245057, avgTableSize=22349.0
34.77/30.73
34.97/30.99 num=125, depth=153..157, filters=373350, ccks=2128, wck=28.451, mem=318M931
34.97/30.99 decisions=29924, wrong=5359, backtracks=1089, failedAssignments=4322, nogoods=1166, foundSolutions=14, bestBound=969
34.97/30.99 nFilterCalls=1574742, avgTableProportion=0.999955257244354, avgTableSize=22349.0
34.97/30.99
35.29/31.25 num=126, depth=159..163, filters=378021, ccks=2128, wck=28.713, mem=323M219
35.29/31.25 decisions=30357, wrong=5495, backtracks=1121, failedAssignments=4430, nogoods=1187, foundSolutions=14, bestBound=969
35.29/31.25 nFilterCalls=1589641, avgTableProportion=0.9999552572436387, avgTableSize=22349.0
35.29/31.25
35.59/31.53 num=127, depth=149..157, filters=383809, ccks=2128, wck=28.993, mem=327M507
35.59/31.53 decisions=30791, wrong=5635, backtracks=1142, failedAssignments=4549, nogoods=1196, foundSolutions=14, bestBound=969
35.59/31.53 nFilterCalls=1606456, avgTableProportion=0.9999552572428474, avgTableSize=22349.0
35.59/31.53
35.89/31.81 num=128, depth=153..158, filters=389401, ccks=2128, wck=29.27, mem=331M795
35.89/31.81 decisions=31255, wrong=5789, backtracks=1166, failedAssignments=4680, nogoods=1212, foundSolutions=14, bestBound=969
35.89/31.81 nFilterCalls=1622685, avgTableProportion=0.9999552572420992, avgTableSize=22349.0
35.89/31.81
36.12/32.08 num=129, depth=147..153, filters=394047, ccks=2128, wck=29.539, mem=331M795
36.12/32.08 decisions=31726, wrong=5949, backtracks=1182, failedAssignments=4824, nogoods=1239, foundSolutions=14, bestBound=969
36.12/32.08 nFilterCalls=1637164, avgTableProportion=0.9999552572414443, avgTableSize=22349.0
36.12/32.08
36.51/32.40 num=130, depth=147..152, filters=400880, ccks=2128, wck=29.86, mem=336M83
36.51/32.40 decisions=32261, wrong=6142, backtracks=1217, failedAssignments=4982, nogoods=1254, foundSolutions=14, bestBound=969
36.51/32.40 nFilterCalls=1654770, avgTableProportion=0.9999552572406633, avgTableSize=22349.0
36.51/32.40
36.71/32.67 num=131, depth=157..160, filters=406290, ccks=2128, wck=30.127, mem=340M371
36.71/32.67 decisions=32811, wrong=6338, backtracks=1240, failedAssignments=5156, nogoods=1273, foundSolutions=14, bestBound=969
36.71/32.67 nFilterCalls=1669590, avgTableProportion=0.9999552572400187, avgTableSize=22349.0
36.71/32.67
37.12/33.04 num=132, depth=140..145, filters=416612, ccks=2128, wck=30.502, mem=348M947
37.12/33.04 decisions=33422, wrong=6573, backtracks=1285, failedAssignments=5347, nogoods=1280, foundSolutions=14, bestBound=969
37.12/33.04 nFilterCalls=1692434, avgTableProportion=0.9999552572390471, avgTableSize=22349.0
37.12/33.04
37.31/33.25 o 946
37.31/33.26 num=133, depth=301..299, filters=418376, ccks=2280, wck=30.718, mem=348M947
37.31/33.26 decisions=33605, wrong=6573, backtracks=1285, failedAssignments=5347, nogoods=1280, foundSolutions=15, bestBound=946
37.31/33.26 nFilterCalls=1703810, avgTableProportion=0.9999552572385729, avgTableSize=22349.0
37.31/33.26
37.63/33.54 num=134, depth=163..168, filters=424875, ccks=2280, wck=31.007, mem=353M236
37.63/33.54 decisions=34286, wrong=6831, backtracks=1312, failedAssignments=5579, nogoods=1306, foundSolutions=15, bestBound=946
37.63/33.54 nFilterCalls=1719651, avgTableProportion=0.9999552572379232, avgTableSize=22349.0
37.63/33.54
37.83/33.77 num=135, depth=157..159, filters=426703, ccks=2280, wck=31.232, mem=353M236
37.83/33.77 decisions=34472, wrong=6845, backtracks=1315, failedAssignments=5590, nogoods=1309, foundSolutions=15, bestBound=946
37.83/33.77 nFilterCalls=1731645, avgTableProportion=0.9999552572374392, avgTableSize=22349.0
37.83/33.77
38.03/33.99 num=136, depth=155..156, filters=428522, ccks=2280, wck=31.45, mem=357M524
38.03/33.99 decisions=34655, wrong=6859, backtracks=1317, failedAssignments=5602, nogoods=1319, foundSolutions=15, bestBound=946
38.03/33.99 nFilterCalls=1743313, avgTableProportion=0.9999552572369746, avgTableSize=22349.0
38.03/33.99
38.33/34.21 num=137, depth=155..158, filters=430596, ccks=2280, wck=31.67, mem=357M524
38.33/34.21 decisions=34850, wrong=6878, backtracks=1323, failedAssignments=5615, nogoods=1324, foundSolutions=15, bestBound=946
38.33/34.21 nFilterCalls=1755452, avgTableProportion=0.999955257236498, avgTableSize=22349.0
38.33/34.21
38.53/34.42 num=138, depth=153..155, filters=432265, ccks=2280, wck=31.883, mem=357M524
38.53/34.42 decisions=35036, wrong=6894, backtracks=1325, failedAssignments=5629, nogoods=1333, foundSolutions=15, bestBound=946
38.53/34.42 nFilterCalls=1767063, avgTableProportion=0.9999552572360482, avgTableSize=22349.0
38.53/34.42
38.73/34.64 num=139, depth=153..156, filters=434799, ccks=2280, wck=32.106, mem=361M812
38.73/34.64 decisions=35246, wrong=6922, backtracks=1337, failedAssignments=5645, nogoods=1338, foundSolutions=15, bestBound=946
38.73/34.64 nFilterCalls=1779650, avgTableProportion=0.9999552572355672, avgTableSize=22349.0
38.73/34.64
38.93/34.86 num=140, depth=153..154, filters=436740, ccks=2280, wck=32.325, mem=361M812
38.93/34.86 decisions=35446, wrong=6945, backtracks=1343, failedAssignments=5662, nogoods=1349, foundSolutions=15, bestBound=946
38.93/34.86 nFilterCalls=1791554, avgTableProportion=0.9999552572351185, avgTableSize=22349.0
38.93/34.86
39.14/35.08 num=141, depth=158..162, filters=438580, ccks=2280, wck=32.545, mem=361M812
39.14/35.08 decisions=35647, wrong=6965, backtracks=1344, failedAssignments=5681, nogoods=1363, foundSolutions=15, bestBound=946
39.14/35.08 nFilterCalls=1803415, avgTableProportion=0.9999552572346773, avgTableSize=22349.0
39.14/35.08
39.43/35.30 num=142, depth=151..159, filters=440847, ccks=2280, wck=32.767, mem=361M812
39.43/35.30 decisions=35854, wrong=6990, backtracks=1348, failedAssignments=5702, nogoods=1377, foundSolutions=15, bestBound=946
39.43/35.30 nFilterCalls=1815627, avgTableProportion=0.9999552572342291, avgTableSize=22349.0
39.43/35.30
39.63/35.53 num=143, depth=140..141, filters=442797, ccks=2280, wck=32.989, mem=366M100
39.63/35.53 decisions=36044, wrong=7015, backtracks=1350, failedAssignments=5725, nogoods=1386, foundSolutions=15, bestBound=946
39.63/35.53 nFilterCalls=1827359, avgTableProportion=0.9999552572338042, avgTableSize=22349.0
39.63/35.53
39.83/35.75 num=144, depth=157..159, filters=444829, ccks=2280, wck=33.207, mem=366M100
39.83/35.75 decisions=36257, wrong=7043, backtracks=1354, failedAssignments=5750, nogoods=1397, foundSolutions=15, bestBound=946
39.83/35.75 nFilterCalls=1839290, avgTableProportion=0.9999552572333775, avgTableSize=22349.0
39.83/35.75
40.03/35.96 num=145, depth=163..170, filters=447032, ccks=2280, wck=33.426, mem=366M100
40.03/35.96 decisions=36495, wrong=7078, backtracks=1362, failedAssignments=5778, nogoods=1405, foundSolutions=15, bestBound=946
40.03/35.96 nFilterCalls=1851301, avgTableProportion=0.9999552572329536, avgTableSize=22349.0
40.03/35.96
40.24/36.19 num=146, depth=146..151, filters=449327, ccks=2280, wck=33.656, mem=370M388
40.24/36.19 decisions=36724, wrong=7118, backtracks=1371, failedAssignments=5809, nogoods=1426, foundSolutions=15, bestBound=946
40.24/36.19 nFilterCalls=1863698, avgTableProportion=0.9999552572325219, avgTableSize=22349.0
40.24/36.19
40.53/36.42 num=147, depth=146..148, filters=451430, ccks=2280, wck=33.883, mem=370M388
40.53/36.42 decisions=36953, wrong=7159, backtracks=1378, failedAssignments=5843, nogoods=1436, foundSolutions=15, bestBound=946
40.53/36.42 nFilterCalls=1875662, avgTableProportion=0.9999552572321105, avgTableSize=22349.0
40.53/36.42
40.73/36.64 num=148, depth=152..158, filters=453983, ccks=2280, wck=34.106, mem=370M388
40.73/36.64 decisions=37208, wrong=7209, backtracks=1391, failedAssignments=5880, nogoods=1441, foundSolutions=15, bestBound=946
40.73/36.64 nFilterCalls=1888131, avgTableProportion=0.9999552572316874, avgTableSize=22349.0
40.73/36.64
40.93/36.88 num=149, depth=150..154, filters=456985, ccks=2280, wck=34.343, mem=374M676
40.93/36.88 decisions=37477, wrong=7268, backtracks=1409, failedAssignments=5921, nogoods=1446, foundSolutions=15, bestBound=946
40.93/36.88 nFilterCalls=1901426, avgTableProportion=0.9999552572312425, avgTableSize=22349.0
40.93/36.88
41.24/37.12 num=150, depth=149..153, filters=460227, ccks=2280, wck=34.583, mem=374M676
41.24/37.12 decisions=37778, wrong=7343, backtracks=1439, failedAssignments=5966, nogoods=1451, foundSolutions=15, bestBound=946
41.24/37.12 nFilterCalls=1914858, avgTableProportion=0.999955257230799, avgTableSize=22349.0
41.24/37.12
41.43/37.34 num=151, depth=161..163, filters=462819, ccks=2280, wck=34.806, mem=378M964
41.43/37.34 decisions=38062, wrong=7404, backtracks=1451, failedAssignments=6016, nogoods=1462, foundSolutions=15, bestBound=946
41.43/37.34 nFilterCalls=1927177, avgTableProportion=0.9999552572303979, avgTableSize=22349.0
41.43/37.34
41.63/37.59 num=152, depth=152..162, filters=466065, ccks=2280, wck=35.047, mem=378M964
41.63/37.59 decisions=38366, wrong=7479, backtracks=1472, failedAssignments=6071, nogoods=1465, foundSolutions=15, bestBound=946
41.63/37.59 nFilterCalls=1940537, avgTableProportion=0.9999552572299686, avgTableSize=22349.0
41.63/37.59
41.93/37.81 num=153, depth=151..156, filters=468894, ccks=2280, wck=35.276, mem=383M252
41.93/37.81 decisions=38676, wrong=7558, backtracks=1490, failedAssignments=6132, nogoods=1469, foundSolutions=15, bestBound=946
41.93/37.81 nFilterCalls=1953081, avgTableProportion=0.9999552572295708, avgTableSize=22349.0
41.93/37.81
42.14/38.07 num=154, depth=142..147, filters=472678, ccks=2280, wck=35.528, mem=383M252
42.14/38.07 decisions=39003, wrong=7650, backtracks=1516, failedAssignments=6199, nogoods=1473, foundSolutions=15, bestBound=946
42.14/38.07 nFilterCalls=1967166, avgTableProportion=0.9999552572291303, avgTableSize=22349.0
42.14/38.07
42.33/38.28 o 944
42.33/38.29 num=155, depth=174..299, filters=474700, ccks=2432, wck=35.748, mem=383M252
42.33/38.29 decisions=39214, wrong=7667, backtracks=1520, failedAssignments=6212, nogoods=1478, foundSolutions=16, bestBound=944
42.33/38.29 nFilterCalls=1978783, avgTableProportion=0.9999552572287717, avgTableSize=22349.0
42.33/38.29
42.63/38.52 num=156, depth=160..162, filters=477612, ccks=2432, wck=35.982, mem=387M540
42.63/38.52 decisions=39570, wrong=7764, backtracks=1538, failedAssignments=6293, nogoods=1488, foundSolutions=16, bestBound=944
42.63/38.52 nFilterCalls=1991490, avgTableProportion=0.9999552572283841, avgTableSize=22349.0
42.63/38.52
42.83/38.74 num=157, depth=159..164, filters=479425, ccks=2432, wck=36.197, mem=387M540
42.83/38.74 decisions=39759, wrong=7777, backtracks=1540, failedAssignments=6304, nogoods=1497, foundSolutions=16, bestBound=944
42.83/38.74 nFilterCalls=2003309, avgTableProportion=0.999955257228028, avgTableSize=22349.0
42.83/38.74
43.03/38.95 num=158, depth=153..156, filters=481329, ccks=2432, wck=36.409, mem=387M540
43.03/38.95 decisions=39944, wrong=7793, backtracks=1544, failedAssignments=6316, nogoods=1499, foundSolutions=16, bestBound=944
43.03/38.95 nFilterCalls=2015130, avgTableProportion=0.9999552572276762, avgTableSize=22349.0
43.03/38.95
43.24/39.16 num=159, depth=160..163, filters=483297, ccks=2432, wck=36.621, mem=391M828
43.24/39.16 decisions=40136, wrong=7809, backtracks=1548, failedAssignments=6329, nogoods=1500, foundSolutions=16, bestBound=944
43.24/39.16 nFilterCalls=2026688, avgTableProportion=0.999955257227336, avgTableSize=22349.0
43.24/39.16
43.43/39.38 num=160, depth=141..147, filters=485180, ccks=2432, wck=36.838, mem=391M828
43.43/39.38 decisions=40317, wrong=7827, backtracks=1552, failedAssignments=6343, nogoods=1509, foundSolutions=16, bestBound=944
43.43/39.38 nFilterCalls=2038067, avgTableProportion=0.9999552572270051, avgTableSize=22349.0
43.43/39.38
43.63/39.59 num=161, depth=156..159, filters=487054, ccks=2432, wck=37.05, mem=391M828
43.63/39.59 decisions=40514, wrong=7847, backtracks=1556, failedAssignments=6359, nogoods=1517, foundSolutions=16, bestBound=944
43.63/39.59 nFilterCalls=2049755, avgTableProportion=0.9999552572266688, avgTableSize=22349.0
43.63/39.59
43.93/39.80 num=162, depth=151..153, filters=488865, ccks=2432, wck=37.262, mem=391M828
43.93/39.80 decisions=40704, wrong=7866, backtracks=1558, failedAssignments=6376, nogoods=1531, foundSolutions=16, bestBound=944
43.93/39.80 nFilterCalls=2061554, avgTableProportion=0.9999552572263333, avgTableSize=22349.0
43.93/39.80
44.14/40.02 num=163, depth=160..161, filters=490685, ccks=2432, wck=37.481, mem=396M117
44.14/40.02 decisions=40906, wrong=7887, backtracks=1560, failedAssignments=6395, nogoods=1540, foundSolutions=16, bestBound=944
44.14/40.02 nFilterCalls=2073100, avgTableProportion=0.9999552572260085, avgTableSize=22349.0
44.14/40.02
44.33/40.24 num=164, depth=136..155, filters=492762, ccks=2432, wck=37.7, mem=396M117
44.33/40.24 decisions=41105, wrong=7910, backtracks=1562, failedAssignments=6416, nogoods=1547, foundSolutions=16, bestBound=944
44.33/40.24 nFilterCalls=2085022, avgTableProportion=0.9999552572256771, avgTableSize=22349.0
44.33/40.24
44.54/40.45 o 918
44.54/40.45 num=165, depth=301..299, filters=494498, ccks=2584, wck=37.916, mem=396M117
44.54/40.45 decisions=41281, wrong=7910, backtracks=1562, failedAssignments=6416, nogoods=1547, foundSolutions=17, bestBound=918
44.54/40.45 nFilterCalls=2096291, avgTableProportion=0.9999552572253673, avgTableSize=22349.0
44.54/40.45
44.75/40.67 num=166, depth=160..164, filters=496687, ccks=2584, wck=38.137, mem=396M117
44.75/40.67 decisions=41505, wrong=7942, backtracks=1570, failedAssignments=6441, nogoods=1549, foundSolutions=17, bestBound=918
44.75/40.67 nFilterCalls=2108139, avgTableProportion=0.9999552572262482, avgTableSize=22349.0
44.75/40.67
44.95/40.89 num=167, depth=153..155, filters=498188, ccks=2584, wck=38.348, mem=400M405
44.95/40.89 decisions=41685, wrong=7955, backtracks=1572, failedAssignments=6452, nogoods=1553, foundSolutions=17, bestBound=918
44.95/40.89 nFilterCalls=2119665, avgTableProportion=0.9999552572271978, avgTableSize=22349.0
44.95/40.89
45.16/41.10 num=168, depth=146..148, filters=499723, ccks=2584, wck=38.562, mem=400M405
45.16/41.10 decisions=41858, wrong=7968, backtracks=1573, failedAssignments=6464, nogoods=1562, foundSolutions=17, bestBound=918
45.16/41.10 nFilterCalls=2130574, avgTableProportion=0.999955257228087, avgTableSize=22349.0
45.16/41.10
45.45/41.32 num=169, depth=151..153, filters=501309, ccks=2584, wck=38.78, mem=400M405
45.45/41.32 decisions=42039, wrong=7983, backtracks=1575, failedAssignments=6477, nogoods=1574, foundSolutions=17, bestBound=918
45.45/41.32 nFilterCalls=2142297, avgTableProportion=0.9999552572290326, avgTableSize=22349.0
45.45/41.32
45.65/41.54 num=170, depth=170..173, filters=503478, ccks=2584, wck=38.999, mem=400M405
45.65/41.54 decisions=42246, wrong=8001, backtracks=1579, failedAssignments=6491, nogoods=1579, foundSolutions=17, bestBound=918
45.65/41.54 nFilterCalls=2154053, avgTableProportion=0.9999552572299704, avgTableSize=22349.0
45.65/41.54
45.85/41.77 num=171, depth=149..154, filters=506409, ccks=2584, wck=39.233, mem=404M693
45.85/41.77 decisions=42450, wrong=8026, backtracks=1588, failedAssignments=6507, nogoods=1585, foundSolutions=17, bestBound=918
45.85/41.77 nFilterCalls=2167133, avgTableProportion=0.9999552572310019, avgTableSize=22349.0
45.85/41.77
46.05/41.99 num=172, depth=149..154, filters=508214, ccks=2584, wck=39.451, mem=404M693
46.05/41.99 decisions=42653, wrong=8051, backtracks=1596, failedAssignments=6524, nogoods=1593, foundSolutions=17, bestBound=918
46.05/41.99 nFilterCalls=2178923, avgTableProportion=0.999955257231921, avgTableSize=22349.0
46.05/41.99
46.35/42.21 num=173, depth=160..162, filters=510297, ccks=2584, wck=39.675, mem=404M693
46.35/42.21 decisions=42864, wrong=8076, backtracks=1602, failedAssignments=6543, nogoods=1601, foundSolutions=17, bestBound=918
46.35/42.21 nFilterCalls=2190943, avgTableProportion=0.9999552572328478, avgTableSize=22349.0
46.35/42.21
46.55/42.43 num=174, depth=153..156, filters=512721, ccks=2584, wck=39.893, mem=408M981
46.55/42.43 decisions=43068, wrong=8101, backtracks=1606, failedAssignments=6564, nogoods=1614, foundSolutions=17, bestBound=918
46.55/42.43 nFilterCalls=2202733, avgTableProportion=0.9999552572337472, avgTableSize=22349.0
46.55/42.43
46.75/42.65 num=175, depth=149..152, filters=515302, ccks=2584, wck=40.116, mem=408M981
46.75/42.65 decisions=43291, wrong=8138, backtracks=1620, failedAssignments=6587, nogoods=1618, foundSolutions=17, bestBound=918
46.75/42.65 nFilterCalls=2215259, avgTableProportion=0.9999552572346921, avgTableSize=22349.0
46.75/42.65
46.95/42.88 num=176, depth=161..166, filters=517866, ccks=2584, wck=40.339, mem=408M981
46.95/42.88 decisions=43531, wrong=8176, backtracks=1634, failedAssignments=6612, nogoods=1625, foundSolutions=17, bestBound=918
46.95/42.88 nFilterCalls=2227584, avgTableProportion=0.9999552572356116, avgTableSize=22349.0
46.95/42.88
47.16/43.10 num=177, depth=160..162, filters=520401, ccks=2584, wck=40.567, mem=413M269
47.16/43.10 decisions=43760, wrong=8210, backtracks=1640, failedAssignments=6640, nogoods=1642, foundSolutions=17, bestBound=918
47.16/43.10 nFilterCalls=2239929, avgTableProportion=0.9999552572365225, avgTableSize=22349.0
47.16/43.10
47.45/43.32 o 914
47.45/43.32 num=178, depth=180..299, filters=522344, ccks=2736, wck=40.785, mem=413M269
47.45/43.32 decisions=43945, wrong=8211, backtracks=1640, failedAssignments=6641, nogoods=1643, foundSolutions=18, bestBound=914
47.45/43.32 nFilterCalls=2251354, avgTableProportion=0.9999552572373565, avgTableSize=22349.0
47.45/43.32
47.65/43.55 num=179, depth=148..150, filters=524390, ccks=2736, wck=41.012, mem=413M269
47.65/43.55 decisions=44172, wrong=8250, backtracks=1645, failedAssignments=6675, nogoods=1652, foundSolutions=18, bestBound=914
47.65/43.55 nFilterCalls=2263268, avgTableProportion=0.9999552572382172, avgTableSize=22349.0
47.65/43.55
47.85/43.77 num=180, depth=163..167, filters=526197, ccks=2736, wck=41.229, mem=413M269
47.85/43.77 decisions=44366, wrong=8265, backtracks=1649, failedAssignments=6686, nogoods=1657, foundSolutions=18, bestBound=914
47.85/43.77 nFilterCalls=2274864, avgTableProportion=0.9999552572390463, avgTableSize=22349.0
47.85/43.77
48.05/43.98 num=181, depth=152..153, filters=527982, ccks=2736, wck=41.447, mem=417M557
48.05/43.98 decisions=44544, wrong=8278, backtracks=1650, failedAssignments=6698, nogoods=1668, foundSolutions=18, bestBound=914
48.05/43.98 nFilterCalls=2286254, avgTableProportion=0.9999552572398526, avgTableSize=22349.0
48.05/43.98
48.35/44.21 num=182, depth=149..151, filters=529726, ccks=2736, wck=41.667, mem=417M557
48.35/44.21 decisions=44728, wrong=8295, backtracks=1654, failedAssignments=6711, nogoods=1679, foundSolutions=18, bestBound=914
48.35/44.21 nFilterCalls=2297956, avgTableProportion=0.9999552572406725, avgTableSize=22349.0
48.35/44.21
48.55/44.42 num=183, depth=165..167, filters=531522, ccks=2736, wck=41.887, mem=417M557
48.55/44.42 decisions=44929, wrong=8313, backtracks=1658, failedAssignments=6725, nogoods=1684, foundSolutions=18, bestBound=914
48.55/44.42 nFilterCalls=2309847, avgTableProportion=0.9999552572414971, avgTableSize=22349.0
48.55/44.42
48.75/44.64 num=184, depth=149..150, filters=533126, ccks=2736, wck=42.106, mem=417M557
48.75/44.64 decisions=45115, wrong=8331, backtracks=1660, failedAssignments=6741, nogoods=1700, foundSolutions=18, bestBound=914
48.75/44.64 nFilterCalls=2321327, avgTableProportion=0.9999552572422853, avgTableSize=22349.0
48.75/44.64
48.95/44.86 num=185, depth=161..164, filters=534811, ccks=2736, wck=42.326, mem=421M845
48.95/44.86 decisions=45319, wrong=8352, backtracks=1664, failedAssignments=6758, nogoods=1710, foundSolutions=18, bestBound=914
48.95/44.86 nFilterCalls=2333142, avgTableProportion=0.9999552572430884, avgTableSize=22349.0
48.95/44.86
49.16/45.09 num=186, depth=140..143, filters=537025, ccks=2736, wck=42.557, mem=421M845
49.16/45.09 decisions=45510, wrong=8376, backtracks=1669, failedAssignments=6777, nogoods=1720, foundSolutions=18, bestBound=914
49.16/45.09 nFilterCalls=2345463, avgTableProportion=0.9999552572439172, avgTableSize=22349.0
49.16/45.09
49.47/45.31 num=187, depth=158..161, filters=539235, ccks=2736, wck=42.77, mem=421M845
49.47/45.31 decisions=45721, wrong=8402, backtracks=1675, failedAssignments=6798, nogoods=1728, foundSolutions=18, bestBound=914
49.47/45.31 nFilterCalls=2356993, avgTableProportion=0.999955257244685, avgTableSize=22349.0
49.47/45.31
49.67/45.53 num=188, depth=158..164, filters=541177, ccks=2736, wck=42.99, mem=426M133
49.67/45.53 decisions=45945, wrong=8433, backtracks=1683, failedAssignments=6821, nogoods=1734, foundSolutions=18, bestBound=914
49.67/45.53 nFilterCalls=2368953, avgTableProportion=0.9999552572454736, avgTableSize=22349.0
49.67/45.53
49.87/45.76 num=189, depth=172..176, filters=543391, ccks=2736, wck=43.217, mem=426M133
49.87/45.76 decisions=46192, wrong=8470, backtracks=1696, failedAssignments=6846, nogoods=1740, foundSolutions=18, bestBound=914
49.87/45.76 nFilterCalls=2381227, avgTableProportion=0.9999552572462745, avgTableSize=22349.0
49.87/45.76
50.06/45.98 num=190, depth=166..167, filters=545560, ccks=2736, wck=43.443, mem=426M133
50.06/45.98 decisions=46422, wrong=8502, backtracks=1700, failedAssignments=6874, nogoods=1750, foundSolutions=18, bestBound=914
50.06/45.98 nFilterCalls=2393101, avgTableProportion=0.9999552572470416, avgTableSize=22349.0
50.06/45.98
50.37/46.20 num=191, depth=162..164, filters=547410, ccks=2736, wck=43.667, mem=426M133
50.37/46.20 decisions=46656, wrong=8537, backtracks=1704, failedAssignments=6905, nogoods=1762, foundSolutions=18, bestBound=914
50.37/46.20 nFilterCalls=2405066, avgTableProportion=0.9999552572478069, avgTableSize=22349.0
50.37/46.20
50.57/46.43 num=192, depth=155..161, filters=549553, ccks=2736, wck=43.891, mem=430M421
50.57/46.43 decisions=46903, wrong=8580, backtracks=1713, failedAssignments=6939, nogoods=1771, foundSolutions=18, bestBound=914
50.57/46.43 nFilterCalls=2417426, avgTableProportion=0.9999552572485895, avgTableSize=22349.0
50.57/46.43
50.77/46.66 num=193, depth=164..168, filters=551980, ccks=2736, wck=44.123, mem=430M421
50.77/46.66 decisions=47175, wrong=8634, backtracks=1730, failedAssignments=6976, nogoods=1774, foundSolutions=18, bestBound=914
50.77/46.66 nFilterCalls=2429892, avgTableProportion=0.9999552572493707, avgTableSize=22349.0
50.77/46.66
50.97/46.87 o 889
50.97/46.88 num=194, depth=301..299, filters=553371, ccks=2888, wck=44.344, mem=430M421
50.97/46.88 decisions=47350, wrong=8634, backtracks=1730, failedAssignments=6976, nogoods=1774, foundSolutions=19, bestBound=889
50.97/46.88 nFilterCalls=2441343, avgTableProportion=0.9999552572500814, avgTableSize=22349.0
50.97/46.88
51.28/47.11 num=195, depth=165..171, filters=555804, ccks=2888, wck=44.577, mem=430M421
51.28/47.11 decisions=47636, wrong=8693, backtracks=1745, failedAssignments=7021, nogoods=1787, foundSolutions=19, bestBound=889
51.28/47.11 nFilterCalls=2453682, avgTableProportion=0.9999552572508397, avgTableSize=22349.0
51.28/47.11
51.47/47.33 num=196, depth=161..164, filters=557581, ccks=2888, wck=44.793, mem=434M710
51.47/47.33 decisions=47830, wrong=8709, backtracks=1750, failedAssignments=7032, nogoods=1792, foundSolutions=19, bestBound=889
51.47/47.33 nFilterCalls=2465382, avgTableProportion=0.9999552572515517, avgTableSize=22349.0
51.47/47.33
51.67/47.56 num=197, depth=160..163, filters=559338, ccks=2888, wck=45.018, mem=434M710
51.67/47.56 decisions=48026, wrong=8726, backtracks=1755, failedAssignments=7044, nogoods=1797, foundSolutions=19, bestBound=889
51.67/47.56 nFilterCalls=2477149, avgTableProportion=0.999955257252261, avgTableSize=22349.0
51.67/47.56
51.87/47.77 o 824
51.87/47.78 num=198, depth=301..299, filters=560677, ccks=3040, wck=45.238, mem=434M710
51.87/47.78 decisions=48196, wrong=8726, backtracks=1755, failedAssignments=7044, nogoods=1797, foundSolutions=20, bestBound=824
51.87/47.78 nFilterCalls=2488581, avgTableProportion=0.9999552572529437, avgTableSize=22349.0
51.87/47.78
52.07/48.00 num=199, depth=147..157, filters=562484, ccks=3040, wck=45.461, mem=434M710
52.07/48.00 decisions=48384, wrong=8742, backtracks=1757, failedAssignments=7058, nogoods=1805, foundSolutions=20, bestBound=824
52.07/48.00 nFilterCalls=2500315, avgTableProportion=0.9999552572536379, avgTableSize=22349.0
52.07/48.00
52.37/48.22 num=200, depth=156..163, filters=564327, ccks=3040, wck=45.682, mem=438M998
52.37/48.22 decisions=48578, wrong=8759, backtracks=1763, failedAssignments=7069, nogoods=1810, foundSolutions=20, bestBound=824
52.37/48.22 nFilterCalls=2512219, avgTableProportion=0.9999552572543355, avgTableSize=22349.0
52.37/48.22
52.57/48.44 num=201, depth=153..154, filters=566167, ccks=3040, wck=45.906, mem=438M998
52.57/48.44 decisions=48758, wrong=8772, backtracks=1764, failedAssignments=7081, nogoods=1822, foundSolutions=20, bestBound=824
52.57/48.44 nFilterCalls=2523640, avgTableProportion=0.9999552572549987, avgTableSize=22349.0
52.57/48.44
52.77/48.67 num=202, depth=134..136, filters=567657, ccks=3040, wck=46.13, mem=438M998
52.77/48.67 decisions=48920, wrong=8785, backtracks=1764, failedAssignments=7094, nogoods=1835, foundSolutions=20, bestBound=824
52.77/48.67 nFilterCalls=2534717, avgTableProportion=0.9999552572556362, avgTableSize=22349.0
52.77/48.67
53.07/48.90 num=203, depth=153..156, filters=569481, ccks=3040, wck=46.361, mem=438M998
53.07/48.90 decisions=49111, wrong=8803, backtracks=1768, failedAssignments=7108, nogoods=1846, foundSolutions=20, bestBound=824
53.07/48.90 nFilterCalls=2546689, avgTableProportion=0.9999552572563188, avgTableSize=22349.0
53.07/48.90
53.29/49.13 num=204, depth=143..146, filters=571280, ccks=3040, wck=46.588, mem=441M253
53.29/49.13 decisions=49293, wrong=8822, backtracks=1771, failedAssignments=7124, nogoods=1856, foundSolutions=20, bestBound=824
53.29/49.13 nFilterCalls=2558441, avgTableProportion=0.9999552572569829, avgTableSize=22349.0
53.29/49.13
53.48/49.36 num=205, depth=153..155, filters=572759, ccks=3040, wck=46.825, mem=229M556
53.48/49.36 decisions=49484, wrong=8840, backtracks=1772, failedAssignments=7141, nogoods=1873, foundSolutions=20, bestBound=824
53.48/49.36 nFilterCalls=2569849, avgTableProportion=0.9999552572576216, avgTableSize=22349.0
53.48/49.36
53.82/49.60 num=206, depth=163..167, filters=575690, ccks=3040, wck=47.06, mem=229M556
53.82/49.60 decisions=49713, wrong=8872, backtracks=1786, failedAssignments=7160, nogoods=1881, foundSolutions=20, bestBound=824
53.82/49.60 nFilterCalls=2582316, avgTableProportion=0.9999552572583131, avgTableSize=22349.0
53.82/49.60
54.02/49.82 num=207, depth=148..150, filters=577556, ccks=3040, wck=47.282, mem=229M556
54.02/49.82 decisions=49907, wrong=8895, backtracks=1788, failedAssignments=7181, nogoods=1887, foundSolutions=20, bestBound=824
54.02/49.82 nFilterCalls=2593884, avgTableProportion=0.999955257258949, avgTableSize=22349.0
54.02/49.82
54.23/50.05 num=208, depth=169..172, filters=579109, ccks=3040, wck=47.509, mem=229M556
54.23/50.05 decisions=50130, wrong=8921, backtracks=1792, failedAssignments=7204, nogoods=1894, foundSolutions=20, bestBound=824
54.23/50.05 nFilterCalls=2605480, avgTableProportion=0.9999552572595806, avgTableSize=22349.0
54.23/50.05
54.42/50.28 num=209, depth=158..161, filters=581808, ccks=3040, wck=47.74, mem=229M556
54.42/50.28 decisions=50353, wrong=8953, backtracks=1799, failedAssignments=7229, nogoods=1904, foundSolutions=20, bestBound=824
54.42/50.28 nFilterCalls=2617865, avgTableProportion=0.999955257260249, avgTableSize=22349.0
54.42/50.28
54.73/50.51 num=210, depth=151..155, filters=583919, ccks=3040, wck=47.971, mem=234M513
54.73/50.51 decisions=50581, wrong=8990, backtracks=1809, failedAssignments=7257, nogoods=1908, foundSolutions=20, bestBound=824
54.73/50.51 nFilterCalls=2630066, avgTableProportion=0.9999552572609014, avgTableSize=22349.0
54.73/50.51
54.93/50.72 o 821
54.93/50.73 num=211, depth=175..299, filters=586285, ccks=3192, wck=48.194, mem=234M513
54.93/50.73 decisions=50833, wrong=9026, backtracks=1823, failedAssignments=7279, nogoods=1914, foundSolutions=21, bestBound=821
54.93/50.73 nFilterCalls=2642057, avgTableProportion=0.9999552572615367, avgTableSize=22349.0
54.93/50.73
55.13/50.96 num=212, depth=160..163, filters=588168, ccks=3192, wck=48.424, mem=234M513
55.13/50.96 decisions=51073, wrong=9065, backtracks=1828, failedAssignments=7313, nogoods=1925, foundSolutions=21, bestBound=821
55.13/50.96 nFilterCalls=2654077, avgTableProportion=0.9999552572621676, avgTableSize=22349.0
55.13/50.96
55.34/51.18 num=213, depth=149..149, filters=589265, ccks=3192, wck=48.646, mem=239M471
55.34/51.18 decisions=51244, wrong=9076, backtracks=1828, failedAssignments=7324, nogoods=1936, foundSolutions=21, bestBound=821
55.34/51.18 nFilterCalls=2665292, avgTableProportion=0.9999552572627513, avgTableSize=22349.0
55.34/51.18
55.63/51.41 num=214, depth=140..151, filters=590864, ccks=3192, wck=48.869, mem=239M471
55.63/51.41 decisions=51421, wrong=9089, backtracks=1829, failedAssignments=7336, nogoods=1948, foundSolutions=21, bestBound=821
55.63/51.41 nFilterCalls=2677018, avgTableProportion=0.9999552572633563, avgTableSize=22349.0
55.63/51.41
55.83/51.63 num=215, depth=162..164, filters=592442, ccks=3192, wck=49.092, mem=239M471
55.83/51.63 decisions=51615, wrong=9105, backtracks=1832, failedAssignments=7349, nogoods=1950, foundSolutions=21, bestBound=821
55.83/51.63 nFilterCalls=2688594, avgTableProportion=0.9999552572639483, avgTableSize=22349.0
55.83/51.63
56.03/51.86 num=216, depth=172..175, filters=594320, ccks=3192, wck=49.319, mem=239M471
56.03/51.86 decisions=51827, wrong=9125, backtracks=1838, failedAssignments=7363, nogoods=1955, foundSolutions=21, bestBound=821
56.03/51.86 nFilterCalls=2700409, avgTableProportion=0.9999552572645474, avgTableSize=22349.0
56.03/51.86
56.24/52.09 num=217, depth=148..159, filters=596096, ccks=3192, wck=49.548, mem=239M471
56.24/52.09 decisions=52026, wrong=9146, backtracks=1843, failedAssignments=7379, nogoods=1967, foundSolutions=21, bestBound=821
56.24/52.09 nFilterCalls=2712302, avgTableProportion=0.9999552572651452, avgTableSize=22349.0
56.24/52.09
56.53/52.31 num=218, depth=162..165, filters=598113, ccks=3192, wck=49.776, mem=244M428
56.53/52.31 decisions=52234, wrong=9169, backtracks=1849, failedAssignments=7396, nogoods=1975, foundSolutions=21, bestBound=821
56.53/52.31 nFilterCalls=2724337, avgTableProportion=0.9999552572657447, avgTableSize=22349.0
56.53/52.31
56.73/52.54 num=219, depth=165..166, filters=599917, ccks=3192, wck=49.999, mem=244M428
56.73/52.54 decisions=52447, wrong=9193, backtracks=1854, failedAssignments=7415, nogoods=1985, foundSolutions=21, bestBound=821
56.73/52.54 nFilterCalls=2736227, avgTableProportion=0.9999552572663319, avgTableSize=22349.0
56.73/52.54
56.93/52.77 num=220, depth=161..164, filters=602038, ccks=3192, wck=50.228, mem=244M428
56.93/52.77 decisions=52671, wrong=9224, backtracks=1864, failedAssignments=7436, nogoods=1994, foundSolutions=21, bestBound=821
56.93/52.77 nFilterCalls=2748481, avgTableProportion=0.9999552572669318, avgTableSize=22349.0
56.93/52.77
57.13/52.99 num=221, depth=149..153, filters=603804, ccks=3192, wck=50.448, mem=244M428
57.13/52.99 decisions=52874, wrong=9250, backtracks=1867, failedAssignments=7459, nogoods=2004, foundSolutions=21, bestBound=821
57.13/52.99 nFilterCalls=2760181, avgTableProportion=0.9999552572674995, avgTableSize=22349.0
57.13/52.99
57.43/53.21 num=222, depth=148..152, filters=606029, ccks=3192, wck=50.674, mem=249M385
57.43/53.21 decisions=53091, wrong=9284, backtracks=1877, failedAssignments=7484, nogoods=2007, foundSolutions=21, bestBound=821
57.43/53.21 nFilterCalls=2772515, avgTableProportion=0.9999552572680929, avgTableSize=22349.0
57.43/53.21
57.63/53.44 num=223, depth=156..163, filters=608428, ccks=3192, wck=50.906, mem=249M385
57.63/53.44 decisions=53342, wrong=9330, backtracks=1896, failedAssignments=7512, nogoods=2013, foundSolutions=21, bestBound=821
57.63/53.44 nFilterCalls=2784857, avgTableProportion=0.9999552572686813, avgTableSize=22349.0
57.63/53.44
57.83/53.68 num=224, depth=163..167, filters=610761, ccks=3192, wck=51.137, mem=249M385
57.83/53.68 decisions=53608, wrong=9380, backtracks=1915, failedAssignments=7543, nogoods=2018, foundSolutions=21, bestBound=821
57.83/53.68 nFilterCalls=2797374, avgTableProportion=0.9999552572692728, avgTableSize=22349.0
57.83/53.68
58.14/53.90 num=225, depth=168..171, filters=613095, ccks=3192, wck=51.363, mem=249M385
58.14/53.90 decisions=53873, wrong=9428, backtracks=1930, failedAssignments=7577, nogoods=2024, foundSolutions=21, bestBound=821
58.14/53.90 nFilterCalls=2809256, avgTableProportion=0.9999552572698294, avgTableSize=22349.0
58.14/53.90
58.35/54.13 num=226, depth=167..170, filters=615414, ccks=3192, wck=51.597, mem=254M342
58.35/54.13 decisions=54132, wrong=9473, backtracks=1938, failedAssignments=7614, nogoods=2036, foundSolutions=21, bestBound=821
58.35/54.13 nFilterCalls=2821376, avgTableProportion=0.9999552572703923, avgTableSize=22349.0
58.35/54.13
58.54/54.36 num=227, depth=168..172, filters=617737, ccks=3192, wck=51.823, mem=254M342
58.54/54.36 decisions=54409, wrong=9527, backtracks=1952, failedAssignments=7655, nogoods=2043, foundSolutions=21, bestBound=821
58.54/54.36 nFilterCalls=2833467, avgTableProportion=0.999955257270949, avgTableSize=22349.0
58.54/54.36
58.84/54.61 num=228, depth=145..147, filters=620907, ccks=3192, wck=52.073, mem=254M342
58.84/54.61 decisions=54660, wrong=9580, backtracks=1960, failedAssignments=7700, nogoods=2052, foundSolutions=21, bestBound=821
58.84/54.61 nFilterCalls=2846568, avgTableProportion=0.999955257271547, avgTableSize=22349.0
58.84/54.61
59.04/54.84 num=229, depth=159..164, filters=624634, ccks=3192, wck=52.305, mem=254M342
59.04/54.84 decisions=54959, wrong=9649, backtracks=1980, failedAssignments=7750, nogoods=2063, foundSolutions=21, bestBound=821
59.04/54.84 nFilterCalls=2859701, avgTableProportion=0.999955257272141, avgTableSize=22349.0
59.04/54.84
59.25/55.08 num=230, depth=141..144, filters=627028, ccks=3192, wck=52.542, mem=259M299
59.25/55.08 decisions=55232, wrong=9714, backtracks=1990, failedAssignments=7805, nogoods=2071, foundSolutions=21, bestBound=821
59.25/55.08 nFilterCalls=2872187, avgTableProportion=0.9999552572727005, avgTableSize=22349.0
59.25/55.08
59.54/55.31 num=231, depth=149..160, filters=629354, ccks=3192, wck=52.776, mem=259M299
59.54/55.31 decisions=55523, wrong=9780, backtracks=1995, failedAssignments=7866, nogoods=2079, foundSolutions=21, bestBound=821
59.54/55.31 nFilterCalls=2884461, avgTableProportion=0.999955257273246, avgTableSize=22349.0
59.54/55.31
59.74/55.56 num=232, depth=158..163, filters=631872, ccks=3192, wck=53.018, mem=264M257
59.74/55.56 decisions=55843, wrong=9860, backtracks=2008, failedAssignments=7933, nogoods=2102, foundSolutions=21, bestBound=821
59.74/55.56 nFilterCalls=2897271, avgTableProportion=0.9999552572738102, avgTableSize=22349.0
59.74/55.56
59.95/55.80 num=233, depth=157..160, filters=634623, ccks=3192, wck=53.258, mem=264M257
59.95/55.80 decisions=56186, wrong=9953, backtracks=2028, failedAssignments=8007, nogoods=2114, foundSolutions=21, bestBound=821
59.95/55.80 nFilterCalls=2910098, avgTableProportion=0.9999552572743703, avgTableSize=22349.0
59.95/55.80
60.26/56.03 num=234, depth=164..169, filters=637978, ccks=3192, wck=53.496, mem=264M257
60.26/56.03 decisions=56563, wrong=10059, backtracks=2053, failedAssignments=8088, nogoods=2125, foundSolutions=21, bestBound=821
60.26/56.03 nFilterCalls=2923026, avgTableProportion=0.9999552572749297, avgTableSize=22349.0
60.26/56.03
60.45/56.29 num=235, depth=160..165, filters=641436, ccks=3192, wck=53.749, mem=269M214
60.45/56.29 decisions=56959, wrong=10176, backtracks=2082, failedAssignments=8177, nogoods=2130, foundSolutions=21, bestBound=821
60.45/56.29 nFilterCalls=2936830, avgTableProportion=0.9999552572755217, avgTableSize=22349.0
60.45/56.29
60.75/56.57 num=236, depth=149..156, filters=647062, ccks=3192, wck=54.03, mem=269M214
60.75/56.57 decisions=57362, wrong=10302, backtracks=2111, failedAssignments=8275, nogoods=2145, foundSolutions=21, bestBound=821
60.75/56.57 nFilterCalls=2952472, avgTableProportion=0.9999552572761858, avgTableSize=22349.0
60.75/56.57
61.05/56.84 num=237, depth=148..155, filters=652302, ccks=3192, wck=54.304, mem=274M171
61.05/56.84 decisions=57833, wrong=10460, backtracks=2162, failedAssignments=8383, nogoods=2149, foundSolutions=21, bestBound=821
61.05/56.84 nFilterCalls=2968444, avgTableProportion=0.9999552572768566, avgTableSize=22349.0
61.05/56.84
61.26/57.09 num=238, depth=175..179, filters=656607, ccks=3192, wck=54.549, mem=274M171
61.26/57.09 decisions=58345, wrong=10628, backtracks=2214, failedAssignments=8502, nogoods=2167, foundSolutions=21, bestBound=821
61.26/57.09 nFilterCalls=2981935, avgTableProportion=0.9999552572774177, avgTableSize=22349.0
61.26/57.09
61.55/57.35 num=239, depth=156..162, filters=661571, ccks=3192, wck=54.811, mem=274M171
61.55/57.35 decisions=58861, wrong=10806, backtracks=2262, failedAssignments=8633, nogoods=2176, foundSolutions=21, bestBound=821
61.55/57.35 nFilterCalls=2996773, avgTableProportion=0.999955257278029, avgTableSize=22349.0
61.55/57.35
61.85/57.66 num=240, depth=145..150, filters=667325, ccks=3192, wck=55.125, mem=279M128
61.85/57.66 decisions=59400, wrong=11001, backtracks=2314, failedAssignments=8777, nogoods=2191, foundSolutions=21, bestBound=821
61.85/57.66 nFilterCalls=3014410, avgTableProportion=0.9999552572787477, avgTableSize=22349.0
61.85/57.66
62.15/57.99 num=241, depth=145..150, filters=675225, ccks=3192, wck=55.452, mem=284M86
62.15/57.99 decisions=60015, wrong=11235, backtracks=2390, failedAssignments=8935, nogoods=2217, foundSolutions=21, bestBound=821
62.15/57.99 nFilterCalls=3033969, avgTableProportion=0.999955257279535, avgTableSize=22349.0
62.15/57.99
62.45/58.28 num=242, depth=148..161, filters=680579, ccks=3192, wck=55.743, mem=289M43
62.45/58.28 decisions=60612, wrong=11455, backtracks=2436, failedAssignments=9109, nogoods=2234, foundSolutions=21, bestBound=821
62.45/58.28 nFilterCalls=3049854, avgTableProportion=0.999955257280167, avgTableSize=22349.0
62.45/58.28
62.75/58.56 num=243, depth=156..159, filters=685333, ccks=3192, wck=56.021, mem=294M0
62.75/58.56 decisions=61211, wrong=11676, backtracks=2466, failedAssignments=9300, nogoods=2254, foundSolutions=21, bestBound=821
62.75/58.56 nFilterCalls=3065241, avgTableProportion=0.9999552572807728, avgTableSize=22349.0
62.75/58.56
63.15/58.90 num=244, depth=146..151, filters=692802, ccks=3192, wck=56.365, mem=298M957
63.15/58.90 decisions=61886, wrong=11940, backtracks=2519, failedAssignments=9511, nogoods=2275, foundSolutions=21, bestBound=821
63.15/58.90 nFilterCalls=3085133, avgTableProportion=0.9999552572815472, avgTableSize=22349.0
63.15/58.90
63.45/59.21 num=245, depth=145..157, filters=698608, ccks=3192, wck=56.673, mem=298M957
63.45/59.21 decisions=62563, wrong=12202, backtracks=2549, failedAssignments=9743, nogoods=2293, foundSolutions=21, bestBound=821
63.45/59.21 nFilterCalls=3102408, avgTableProportion=0.9999552572822117, avgTableSize=22349.0
63.45/59.21
63.75/59.55 num=246, depth=151..159, filters=706165, ccks=3192, wck=57.016, mem=303M915
63.75/59.55 decisions=63369, wrong=12526, backtracks=2620, failedAssignments=9998, nogoods=2311, foundSolutions=21, bestBound=821
63.75/59.55 nFilterCalls=3121172, avgTableProportion=0.999955257282925, avgTableSize=22349.0
63.75/59.55
64.05/59.88 num=247, depth=146..150, filters=713283, ccks=3192, wck=57.347, mem=313M829
64.05/59.88 decisions=64196, wrong=12865, backtracks=2678, failedAssignments=10279, nogoods=2320, foundSolutions=21, bestBound=821
64.05/59.88 nFilterCalls=3139601, avgTableProportion=0.9999552572836173, avgTableSize=22349.0
64.05/59.88
64.45/60.28 num=248, depth=156..162, filters=726954, ccks=3192, wck=57.737, mem=313M829
64.45/60.28 decisions=65230, wrong=13302, backtracks=2809, failedAssignments=10588, nogoods=2328, foundSolutions=21, bestBound=821
64.45/60.28 nFilterCalls=3164852, avgTableProportion=0.9999552572845528, avgTableSize=22349.0
64.45/60.28
64.95/60.79 num=249, depth=135..141, filters=739276, ccks=3192, wck=58.252, mem=323M744
64.95/60.79 decisions=66253, wrong=13745, backtracks=2913, failedAssignments=10928, nogoods=2341, foundSolutions=21, bestBound=821
64.95/60.79 nFilterCalls=3191260, avgTableProportion=0.9999552572855154, avgTableSize=22349.0
64.95/60.79
65.46/61.23 num=250, depth=141..146, filters=753052, ccks=3192, wck=58.693, mem=333M658
65.46/61.23 decisions=67289, wrong=14192, backtracks=2987, failedAssignments=11302, nogoods=2354, foundSolutions=21, bestBound=821
65.46/61.23 nFilterCalls=3216470, avgTableProportion=0.9999552572864195, avgTableSize=22349.0
65.46/61.23
65.87/61.69 num=251, depth=137..142, filters=764993, ccks=3192, wck=59.147, mem=344M261
65.87/61.69 decisions=68480, wrong=14718, backtracks=3102, failedAssignments=11713, nogoods=2368, foundSolutions=21, bestBound=821
65.87/61.69 nFilterCalls=3243736, avgTableProportion=0.9999552572873815, avgTableSize=22349.0
65.87/61.69
66.47/62.28 num=252, depth=138..142, filters=780881, ccks=3192, wck=59.739, mem=359M133
66.47/62.28 decisions=69677, wrong=15247, backtracks=3179, failedAssignments=12165, nogoods=2414, foundSolutions=21, bestBound=821
66.47/62.28 nFilterCalls=3273831, avgTableProportion=0.9999552572884248, avgTableSize=22349.0
66.47/62.28
67.17/62.91 num=253, depth=132..139, filters=799976, ccks=3192, wck=60.376, mem=378M962
67.17/62.91 decisions=71013, wrong=15847, backtracks=3284, failedAssignments=12662, nogoods=2421, foundSolutions=21, bestBound=821
67.17/62.91 nFilterCalls=3308538, avgTableProportion=0.9999552572896043, avgTableSize=22349.0
67.17/62.91
67.77/63.51 num=254, depth=135..142, filters=819078, ccks=3192, wck=60.973, mem=403M748
67.77/63.51 decisions=72470, wrong=16506, backtracks=3397, failedAssignments=13209, nogoods=2475, foundSolutions=21, bestBound=821
67.77/63.51 nFilterCalls=3343861, avgTableProportion=0.9999552572907797, avgTableSize=22349.0
67.77/63.51
68.38/64.19 num=255, depth=130..137, filters=839797, ccks=3192, wck=61.652, mem=418M619
68.38/64.19 decisions=74057, wrong=17233, backtracks=3526, failedAssignments=13811, nogoods=2495, foundSolutions=21, bestBound=821
68.38/64.19 nFilterCalls=3380193, avgTableProportion=0.999955257291963, avgTableSize=22349.0
68.38/64.19
68.97/64.72 num=256, depth=144..150, filters=854837, ccks=3192, wck=62.184, mem=433M491
68.97/64.72 decisions=75786, wrong=18025, backtracks=3656, failedAssignments=14473, nogoods=2517, foundSolutions=21, bestBound=821
68.97/64.72 nFilterCalls=3411779, avgTableProportion=0.9999552572929713, avgTableSize=22349.0
68.97/64.72
69.88/65.65 num=257, depth=132..138, filters=884939, ccks=3192, wck=63.112, mem=468M192
69.88/65.65 decisions=77633, wrong=18881, backtracks=3788, failedAssignments=15201, nogoods=2551, foundSolutions=21, bestBound=821
69.88/65.65 nFilterCalls=3465419, avgTableProportion=0.9999552572946414, avgTableSize=22349.0
69.88/65.65
70.84/66.56 num=258, depth=129..135, filters=915614, ccks=3192, wck=64.022, mem=260M234
70.84/66.56 decisions=79622, wrong=19810, backtracks=3916, failedAssignments=16002, nogoods=2555, foundSolutions=21, bestBound=821
70.84/66.56 nFilterCalls=3523477, avgTableProportion=0.9999552572963918, avgTableSize=22349.0
70.84/66.56
71.83/67.55 num=259, depth=126..132, filters=941570, ccks=3192, wck=65.013, mem=302M358
71.83/67.55 decisions=81734, wrong=20802, backtracks=4029, failedAssignments=16883, nogoods=2626, foundSolutions=21, bestBound=821
71.83/67.55 nFilterCalls=3568496, avgTableProportion=0.9999552572977098, avgTableSize=22349.0
71.83/67.55
72.93/68.63 num=260, depth=126..132, filters=978005, ccks=3192, wck=66.092, mem=337M461
72.93/68.63 decisions=84081, wrong=21911, backtracks=4168, failedAssignments=17853, nogoods=2667, foundSolutions=21, bestBound=821
72.93/68.63 nFilterCalls=3630122, avgTableProportion=0.9999552572994612, avgTableSize=22349.0
72.93/68.63
73.93/69.62 num=261, depth=130..135, filters=1010780, ccks=3192, wck=67.08, mem=372M565
73.93/69.62 decisions=86690, wrong=23149, backtracks=4340, failedAssignments=18920, nogoods=2756, foundSolutions=21, bestBound=821
73.93/69.62 nFilterCalls=3682885, avgTableProportion=0.9999552573009141, avgTableSize=22349.0
73.93/69.62
75.03/70.78 num=262, depth=134..140, filters=1046798, ccks=3192, wck=68.239, mem=407M668
75.03/70.78 decisions=89610, wrong=24541, backtracks=4560, failedAssignments=20093, nogoods=2776, foundSolutions=21, bestBound=821
75.03/70.78 nFilterCalls=3745585, avgTableProportion=0.9999552573025873, avgTableSize=22349.0
75.03/70.78
76.34/72.07 num=263, depth=146..151, filters=1092843, ccks=3192, wck=69.531, mem=456M812
76.34/72.07 decisions=92729, wrong=26026, backtracks=4755, failedAssignments=21384, nogoods=2815, foundSolutions=21, bestBound=821
76.34/72.07 nFilterCalls=3818121, avgTableProportion=0.9999552573044544, avgTableSize=22349.0
76.34/72.07
77.95/73.65 num=264, depth=118..124, filters=1135170, ccks=3192, wck=71.114, mem=541M60
77.95/73.65 decisions=95979, wrong=27591, backtracks=4900, failedAssignments=22804, nogoods=2848, foundSolutions=21, bestBound=821
77.95/73.65 nFilterCalls=3903518, avgTableProportion=0.9999552573065636, avgTableSize=22349.0
77.95/73.65
80.10/75.73 num=265, depth=122..129, filters=1192460, ccks=3192, wck=73.194, mem=288M596
80.10/75.73 decisions=99786, wrong=29432, backtracks=5181, failedAssignments=24366, nogoods=2854, foundSolutions=21, bestBound=821
80.10/75.73 nFilterCalls=4029591, avgTableProportion=0.9999552573095143, avgTableSize=22349.0
80.10/75.73
81.42/77.08 num=266, depth=134..142, filters=1237520, ccks=3192, wck=74.54, mem=323M799
81.42/77.08 decisions=104218, wrong=31579, backtracks=5618, failedAssignments=26084, nogoods=2902, foundSolutions=21, bestBound=821
81.42/77.08 nFilterCalls=4100447, avgTableProportion=0.9999552573110929, avgTableSize=22349.0
81.42/77.08
83.61/79.20 num=267, depth=126..132, filters=1297514, ccks=3192, wck=76.662, mem=415M328
83.61/79.20 decisions=108698, wrong=33755, backtracks=5905, failedAssignments=27974, nogoods=2945, foundSolutions=21, bestBound=821
83.61/79.20 nFilterCalls=4218503, avgTableProportion=0.9999552573136054, avgTableSize=22349.0
83.61/79.20
86.31/81.91 num=268, depth=128..134, filters=1385150, ccks=3192, wck=79.372, mem=499M816
86.31/81.91 decisions=114185, wrong=36433, backtracks=6506, failedAssignments=30053, nogoods=2963, foundSolutions=21, bestBound=821
86.31/81.91 nFilterCalls=4364185, avgTableProportion=0.9999552573165184, avgTableSize=22349.0
86.31/81.91
89.52/85.17 num=269, depth=126..133, filters=1497697, ccks=3192, wck=82.629, mem=577M263
89.52/85.17 decisions=120281, wrong=39416, backtracks=7210, failedAssignments=32340, nogoods=2987, foundSolutions=21, bestBound=821
89.52/85.17 nFilterCalls=4519559, avgTableProportion=0.9999552573194183, avgTableSize=22349.0
89.52/85.17
94.25/89.84 num=270, depth=117..125, filters=1659979, ccks=3192, wck=87.302, mem=331M918
94.25/89.84 decisions=127413, wrong=42922, backtracks=8204, failedAssignments=34856, nogoods=3014, foundSolutions=21, bestBound=821
94.25/89.84 nFilterCalls=4761585, avgTableProportion=0.9999552573235584, avgTableSize=22349.0
94.25/89.84
97.75/93.36 num=271, depth=121..130, filters=1769255, ccks=3192, wck=90.827, mem=477M225
97.75/93.36 decisions=134390, wrong=46348, backtracks=8867, failedAssignments=37624, nogoods=3048, foundSolutions=21, bestBound=821
97.75/93.36 nFilterCalls=4944901, avgTableProportion=0.9999552573264244, avgTableSize=22349.0
97.75/93.36
101.06/96.60 num=272, depth=128..138, filters=1882818, ccks=3192, wck=94.065, mem=603M156
101.06/96.60 decisions=141848, wrong=50009, backtracks=9491, failedAssignments=40668, nogoods=3070, foundSolutions=21, bestBound=821
101.06/96.60 nFilterCalls=5118483, avgTableProportion=0.9999552573289491, avgTableSize=22349.0
101.06/96.60
103.99/99.54 num=273, depth=123..128, filters=1985273, ccks=3192, wck=97.007, mem=293M284
103.99/99.54 decisions=149344, wrong=53694, backtracks=9828, failedAssignments=44017, nogoods=3090, foundSolutions=21, bestBound=821
103.99/99.54 nFilterCalls=5279331, avgTableProportion=0.9999552573311403, avgTableSize=22349.0
103.99/99.54
109.81/105.33 num=274, depth=114..121, filters=2194478, ccks=3192, wck=102.79, mem=438M765
109.81/105.33 decisions=158934, wrong=58430, backtracks=10896, failedAssignments=47701, nogoods=3114, foundSolutions=21, bestBound=821
109.81/105.33 nFilterCalls=5573709, avgTableProportion=0.9999552573348232, avgTableSize=22349.0
109.81/105.33
113.52/109.01 num=275, depth=134..139, filters=2337514, ccks=3192, wck=106.468, mem=623M40
113.52/109.01 decisions=168461, wrong=63126, backtracks=11544, failedAssignments=51753, nogoods=3148, foundSolutions=21, bestBound=821
113.52/109.01 nFilterCalls=5784785, avgTableProportion=0.9999552573372331, avgTableSize=22349.0
113.52/109.01
117.66/113.18 num=276, depth=129..135, filters=2490421, ccks=3192, wck=110.644, mem=281M529
117.66/113.18 decisions=179234, wrong=68447, backtracks=12423, failedAssignments=56210, nogoods=3180, foundSolutions=21, bestBound=821
117.66/113.18 nFilterCalls=6001165, avgTableProportion=0.9999552573395276, avgTableSize=22349.0
117.66/113.18
124.45/119.96 num=277, depth=125..133, filters=2693301, ccks=3192, wck=117.42, mem=494M596
124.45/119.96 decisions=192029, wrong=74780, backtracks=13859, failedAssignments=61113, nogoods=3197, foundSolutions=21, bestBound=821
124.45/119.96 nFilterCalls=6356185, avgTableProportion=0.9999552573429539, avgTableSize=22349.0
124.45/119.96
130.18/125.61 num=278, depth=127..139, filters=2868683, ccks=3192, wck=123.068, mem=236M679
130.18/125.61 decisions=204208, wrong=80805, backtracks=14491, failedAssignments=66507, nogoods=3218, foundSolutions=21, bestBound=821
130.18/125.61 nFilterCalls=6665708, avgTableProportion=0.9999552573456433, avgTableSize=22349.0
130.18/125.61
139.39/134.89 num=279, depth=101..109, filters=3190714, ccks=3192, wck=132.353, mem=562M50
139.39/134.89 decisions=218611, wrong=87955, backtracks=15737, failedAssignments=72440, nogoods=3268, foundSolutions=21, bestBound=821
139.39/134.89 nFilterCalls=7173949, avgTableProportion=0.9999552573495558, avgTableSize=22349.0
139.39/134.89
146.53/141.97 num=280, depth=120..128, filters=3439465, ccks=3192, wck=139.434, mem=237M868
146.53/141.97 decisions=234763, wrong=95970, backtracks=17244, failedAssignments=78966, nogoods=3328, foundSolutions=21, bestBound=821
146.53/141.97 nFilterCalls=7578959, avgTableProportion=0.999955257352298, avgTableSize=22349.0
146.53/141.97
153.54/148.93 num=281, depth=122..131, filters=3657406, ccks=3192, wck=146.392, mem=510M142
153.54/148.93 decisions=251838, wrong=104445, backtracks=18542, failedAssignments=86145, nogoods=3419, foundSolutions=21, bestBound=821
153.54/148.93 nFilterCalls=7937336, avgTableProportion=0.9999552573544911, avgTableSize=22349.0
153.54/148.93
160.94/156.37 num=282, depth=131..139, filters=3929867, ccks=3192, wck=153.833, mem=757M665
160.94/156.37 decisions=270858, wrong=113889, backtracks=20101, failedAssignments=94042, nogoods=3494, foundSolutions=21, bestBound=821
160.94/156.37 nFilterCalls=8350380, avgTableProportion=0.9999552573567851, avgTableSize=22349.0
160.94/156.37
171.98/167.37 num=283, depth=113..120, filters=4233843, ccks=3192, wck=164.831, mem=620M352
171.98/167.37 decisions=290598, wrong=123701, backtracks=21240, failedAssignments=102729, nogoods=3560, foundSolutions=21, bestBound=821
171.98/167.37 nFilterCalls=8853117, avgTableProportion=0.9999552573592886, avgTableSize=22349.0
171.98/167.37
188.13/183.45 num=284, depth=104..115, filters=4663658, ccks=3192, wck=180.909, mem=607M261
188.13/183.45 decisions=314582, wrong=135639, backtracks=23635, failedAssignments=112284, nogoods=3625, foundSolutions=21, bestBound=821
188.13/183.45 nFilterCalls=9651498, avgTableProportion=0.9999552573627283, avgTableSize=22349.0
188.13/183.45
198.45/193.79 num=285, depth=129..139, filters=4997578, ccks=3192, wck=191.257, mem=583M687
198.45/193.79 decisions=338711, wrong=147638, backtracks=25135, failedAssignments=122795, nogoods=3683, foundSolutions=21, bestBound=821
198.45/193.79 nFilterCalls=10186950, avgTableProportion=0.9999552573647331, avgTableSize=22349.0
198.45/193.79
209.80/205.04 num=286, depth=120..127, filters=5335921, ccks=3192, wck=202.502, mem=572M31
209.80/205.04 decisions=364023, wrong=160232, backtracks=26173, failedAssignments=134357, nogoods=3703, foundSolutions=21, bestBound=821
209.80/205.04 nFilterCalls=10764686, avgTableProportion=0.9999552573666726, avgTableSize=22349.0
209.80/205.04
229.53/224.78 num=287, depth=101..111, filters=5962032, ccks=3192, wck=222.239, mem=739M6
229.53/224.78 decisions=394452, wrong=175394, backtracks=28660, failedAssignments=147075, nogoods=3733, foundSolutions=21, bestBound=821
229.53/224.78 nFilterCalls=11796952, avgTableProportion=0.9999552573696651, avgTableSize=22349.0
229.53/224.78
245.39/240.56 num=288, depth=113..120, filters=6393781, ccks=3192, wck=238.026, mem=618M822
245.39/240.56 decisions=425445, wrong=190832, backtracks=30116, failedAssignments=161065, nogoods=3771, foundSolutions=21, bestBound=821
245.39/240.56 nFilterCalls=12579697, avgTableProportion=0.9999552573716067, avgTableSize=22349.0
245.39/240.56
267.42/262.55 num=289, depth=123..132, filters=7234394, ccks=3192, wck=260.01, mem=447M391
267.42/262.55 decisions=464749, wrong=210421, backtracks=34401, failedAssignments=176454, nogoods=3796, foundSolutions=21, bestBound=821
267.42/262.55 nFilterCalls=13901177, avgTableProportion=0.9999552573743886, avgTableSize=22349.0
267.42/262.55
305.36/300.44 num=290, depth=118..128, filters=8667367, ccks=3192, wck=297.906, mem=295M533
305.36/300.44 decisions=519794, wrong=237882, backtracks=45211, failedAssignments=193382, nogoods=3816, foundSolutions=21, bestBound=821
305.36/300.44 nFilterCalls=16177907, avgTableProportion=0.9999552573781154, avgTableSize=22349.0
305.36/300.44
329.29/324.30 num=291, depth=111..124, filters=9686255, ccks=3192, wck=321.764, mem=406M421
329.29/324.30 decisions=564985, wrong=260419, backtracks=49182, failedAssignments=212003, nogoods=3842, foundSolutions=21, bestBound=821
329.29/324.30 nFilterCalls=17637690, avgTableProportion=0.9999552572892068, avgTableSize=22349.0
329.29/324.30
357.63/352.61 num=292, depth=109..117, filters=10608460, ccks=3192, wck=350.071, mem=308M947
357.63/352.61 decisions=615132, wrong=285436, backtracks=53748, failedAssignments=232487, nogoods=3866, foundSolutions=21, bestBound=821
357.63/352.61 nFilterCalls=19063527, avgTableProportion=0.999955257158244, avgTableSize=22349.0
357.63/352.61
383.12/378.02 num=293, depth=117..125, filters=11448719, ccks=3192, wck=375.483, mem=399M424
383.12/378.02 decisions=667357, wrong=311489, backtracks=57301, failedAssignments=255019, nogoods=3957, foundSolutions=21, bestBound=821
383.12/378.02 nFilterCalls=20474703, avgTableProportion=0.9999552570465875, avgTableSize=22349.0
383.12/378.02
444.36/439.20 num=294, depth=107..117, filters=13209526, ccks=3192, wck=436.663, mem=450M475
444.36/439.20 decisions=745167, wrong=350340, backtracks=71844, failedAssignments=279804, nogoods=3998, foundSolutions=21, bestBound=821
444.36/439.20 nFilterCalls=23379231, avgTableProportion=0.9999552568591955, avgTableSize=22349.0
444.36/439.20
483.43/478.24 num=295, depth=109..116, filters=14511627, ccks=3192, wck=475.705, mem=309M35
483.43/478.24 decisions=809040, wrong=382220, backtracks=76484, failedAssignments=307068, nogoods=4058, foundSolutions=21, bestBound=821
483.43/478.24 nFilterCalls=25438362, avgTableProportion=0.9999552567522684, avgTableSize=22349.0
483.43/478.24
519.79/514.55 num=296, depth=115..122, filters=15557416, ccks=3192, wck=512.01, mem=264M888
519.79/514.55 decisions=879528, wrong=417405, backtracks=81731, failedAssignments=337058, nogoods=4106, foundSolutions=21, bestBound=821
519.79/514.55 nFilterCalls=27140407, avgTableProportion=0.9999552566761326, avgTableSize=22349.0
519.79/514.55
551.16/545.87 num=297, depth=117..127, filters=16635149, ccks=3192, wck=543.336, mem=425M739
551.16/545.87 decisions=954823, wrong=454993, backtracks=86340, failedAssignments=370047, nogoods=4171, foundSolutions=21, bestBound=821
551.16/545.87 nFilterCalls=28756240, avgTableProportion=0.9999552566121929, avgTableSize=22349.0
551.16/545.87
598.37/592.95 num=298, depth=112..124, filters=18045680, ccks=3192, wck=590.41, mem=358M572
598.37/592.95 decisions=1040227, wrong=497636, backtracks=92776, failedAssignments=406335, nogoods=4213, foundSolutions=21, bestBound=821
598.37/592.95 nFilterCalls=31188953, avgTableProportion=0.9999552565284242, avgTableSize=22349.0
598.37/592.95
634.19/628.68 num=299, depth=128..137, filters=19118849, ccks=3192, wck=626.144, mem=264M113
634.19/628.68 decisions=1128593, wrong=541753, backtracks=97013, failedAssignments=446252, nogoods=4279, foundSolutions=21, bestBound=821
634.19/628.68 nFilterCalls=33020616, avgTableProportion=0.9999552564734976, avgTableSize=22349.0
634.19/628.68
679.41/673.75 num=300, depth=118..128, filters=20459284, ccks=3192, wck=671.215, mem=262M6
679.41/673.75 decisions=1233683, wrong=594238, backtracks=105674, failedAssignments=490161, nogoods=4324, foundSolutions=21, bestBound=821
679.41/673.75 nFilterCalls=35109937, avgTableProportion=0.9999552565827269, avgTableSize=22349.0
679.41/673.75
739.09/733.27 num=301, depth=119..129, filters=22554922, ccks=3192, wck=730.727, mem=309M653
739.09/733.27 decisions=1345464, wrong=650068, backtracks=113289, failedAssignments=538461, nogoods=4354, foundSolutions=21, bestBound=821
739.09/733.27 nFilterCalls=38514861, avgTableProportion=0.9999552568197232, avgTableSize=22349.0
739.09/733.27
804.00/798.00 num=302, depth=113..121, filters=24324892, ccks=3192, wck=795.462, mem=248M743
804.00/798.00 decisions=1465770, wrong=710163, backtracks=120266, failedAssignments=591591, nogoods=4410, foundSolutions=21, bestBound=821
804.00/798.00 nFilterCalls=41464382, avgTableProportion=0.9999552569935596, avgTableSize=22349.0
804.00/798.00
885.54/879.24 num=303, depth=117..130, filters=26662357, ccks=3192, wck=876.703, mem=265M275
885.54/879.24 decisions=1609103, wrong=781769, backtracks=133502, failedAssignments=650034, nogoods=4460, foundSolutions=21, bestBound=821
885.54/879.24 nFilterCalls=45181996, avgTableProportion=0.9999552571803335, avgTableSize=22349.0
885.54/879.24
966.41/959.88 num=304, depth=112..122, filters=29356947, ccks=3192, wck=957.341, mem=253M250
966.41/959.88 decisions=1764804, wrong=859561, backtracks=147274, failedAssignments=714321, nogoods=4511, foundSolutions=21, bestBound=821
966.41/959.88 nFilterCalls=49240361, avgTableProportion=0.9999552573520283, avgTableSize=22349.0
966.41/959.88
1040.45/1033.65 num=305, depth=122..133, filters=32012025, ccks=3192, wck=1031.109, mem=272M576
1040.45/1033.65 decisions=1933451, wrong=943821, backtracks=161025, failedAssignments=785037, nogoods=4550, foundSolutions=21, bestBound=821
1040.45/1033.65 nFilterCalls=53641926, avgTableProportion=0.9999552575088745, avgTableSize=22349.0
1040.45/1033.65
1118.67/1111.60 num=306, depth=120..138, filters=34289015, ccks=3192, wck=1109.061, mem=241M256
1118.67/1111.60 decisions=2125194, wrong=1039628, backtracks=179202, failedAssignments=862824, nogoods=4609, foundSolutions=21, bestBound=821
1118.67/1111.60 nFilterCalls=57301382, avgTableProportion=0.9999552576209317, avgTableSize=22349.0
1118.67/1111.60
1193.18/1185.99 num=307, depth=125..136, filters=36794678, ccks=3192, wck=1183.456, mem=231M667
1193.18/1185.99 decisions=2335302, wrong=1144617, backtracks=198824, failedAssignments=948390, nogoods=4646, foundSolutions=21, bestBound=821
1193.18/1185.99 nFilterCalls=61213849, avgTableProportion=0.999955257725917, avgTableSize=22349.0
1193.18/1185.99
1276.02/1268.56 num=308, depth=130..140, filters=39532497, ccks=3192, wck=1266.017, mem=259M443
1276.02/1268.56 decisions=2556498, wrong=1255148, backtracks=215336, failedAssignments=1042513, nogoods=4712, foundSolutions=21, bestBound=821
1276.02/1268.56 nFilterCalls=65458488, avgTableProportion=0.9999552578256222, avgTableSize=22349.0
1276.02/1268.56
1394.33/1386.55 num=309, depth=116..127, filters=43141095, ccks=3192, wck=1384.009, mem=255M874
1394.33/1386.55 decisions=2806480, wrong=1380079, backtracks=237039, failedAssignments=1146048, nogoods=4751, foundSolutions=21, bestBound=821
1394.33/1386.55 nFilterCalls=70835338, avgTableProportion=0.9999552575431263, avgTableSize=22349.0
1394.33/1386.55
1502.47/1494.36 num=310, depth=131..140, filters=47337534, ccks=3192, wck=1491.819, mem=278M818
1502.47/1494.36 decisions=3064632, wrong=1509087, backtracks=252240, failedAssignments=1259937, nogoods=4769, foundSolutions=21, bestBound=821
1502.47/1494.36 nFilterCalls=76783569, avgTableProportion=0.9999552570992227, avgTableSize=22349.0
1502.47/1494.36
1645.90/1637.41 num=311, depth=113..124, filters=51928432, ccks=3192, wck=1634.875, mem=229M394
1645.90/1637.41 decisions=3377550, wrong=1665487, backtracks=283875, failedAssignments=1385215, nogoods=4814, foundSolutions=21, bestBound=821
1645.90/1637.41 nFilterCalls=83221792, avgTableProportion=0.9999552566902637, avgTableSize=22349.0
1645.90/1637.41
1780.13/1771.31 num=312, depth=129..141, filters=56894441, ccks=3192, wck=1768.767, mem=259M574
1780.13/1771.31 decisions=3719624, wrong=1836458, backtracks=317625, failedAssignments=1523021, nogoods=4867, foundSolutions=21, bestBound=821
1780.13/1771.31 nFilterCalls=90690660, avgTableProportion=0.9999552562885892, avgTableSize=22349.0
1780.13/1771.31
1928.49/1919.29 num=313, depth=121..130, filters=61851789, ccks=3192, wck=1916.753, mem=264M438
1928.49/1919.29 decisions=4075552, wrong=2014359, backtracks=344046, failedAssignments=1674607, nogoods=4918, foundSolutions=21, bestBound=821
1928.49/1919.29 nFilterCalls=98251891, avgTableProportion=0.9999552559441536, avgTableSize=22349.0
1928.49/1919.29
2179.25/2169.45 num=314, depth=124..134, filters=70546678, ccks=3192, wck=2166.911, mem=266M907
2179.25/2169.45 decisions=4499172, wrong=2226105, backtracks=389151, failedAssignments=1841352, nogoods=4972, foundSolutions=21, bestBound=821
2179.25/2169.45 nFilterCalls=110877361, avgTableProportion=0.9999552554737368, avgTableSize=22349.0
2179.25/2169.45
2400.04/2389.60
2400.04/2389.60 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>
2400.04/2389.60 s SATISFIABLE