2.42/1.89
2.42/1.89 AbsCon 2
2.66/1.90
2.92/2.02 Instance
2.92/2.02 name=instance-4391150-1568389154, framework=COP, bounds=-infty..+infty
2.92/2.02
2.92/2.02 Loading variables...
2.92/2.06 Loading constraints...
2.92/2.10
2.92/2.10 Domains
2.92/2.10 nTypes=2, nValues=1121, sizes=[15#15,64#14]
2.92/2.10 Variables
2.92/2.10 count=29, degrees=[2#16,3#13]
2.92/2.10 Objectives
2.92/2.10 way=min, type=SumWeightedLE
2.92/2.10 Constraints
2.92/2.10 count=16, nSpecific=16, arities=[3#14,14#1,15#1]
2.92/2.10 distribution=[AllDifferent#1,CtrExtensionCT-Table#14,SumWeightedLE#1]
2.92/2.10 tables=[210#14], nTotalTuples=2940
2.92/2.10 nExtStructures=(1,shared:13)
2.92/2.10 wck=0.244, cpu=2.071, mem=23M870
2.92/2.10 Solver SolverBacktrack being built...
2.92/2.10
3.16/2.13
3.16/2.13 Solver
3.16/2.13 guaranteedGAC=true
3.16/2.13 wck=0.271, cpu=2.097, mem=34M512
3.16/2.13
3.16/2.13 Preprocessing
3.16/2.13 filters=14, nACremovedValues=14, nTotalRemovedValues=14, inconcistency=false
3.16/2.13 wck=0.002, cpu=2.1, mem=34M512
3.16/2.13
3.16/2.14 o 29497
3.16/2.15 num=0, depth=30..28, filters=145, ccks=16, wck=0.017, mem=34M512
3.16/2.15 decisions=14, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=1, bestBound=29497
3.16/2.15 nFilterCalls=132, avgTableProportion=0.9952380952380941, avgTableSize=209.0
3.16/2.15
3.16/2.15 o 29083
3.16/2.15 num=1, depth=8..28, filters=355, ccks=32, wck=0.026, mem=34M512
3.16/2.15 decisions=42, wrong=8, backtracks=1, failedAssignments=7, nogoods=4, foundSolutions=2, bestBound=29083
3.16/2.15 nFilterCalls=320, avgTableProportion=0.995238095238102, avgTableSize=209.0
3.16/2.15
3.16/2.16 o 15014
3.16/2.16 num=2, depth=30..28, filters=483, ccks=48, wck=0.031, mem=34M512
3.16/2.16 decisions=56, wrong=8, backtracks=1, failedAssignments=7, nogoods=4, foundSolutions=3, bestBound=15014
3.16/2.16 nFilterCalls=450, avgTableProportion=0.9952380952381037, avgTableSize=209.0
3.16/2.16
3.16/2.16 o 12168
3.16/2.16 num=3, depth=30..28, filters=602, ccks=64, wck=0.035, mem=34M512
3.16/2.16 decisions=71, wrong=8, backtracks=1, failedAssignments=7, nogoods=4, foundSolutions=4, bestBound=12168
3.16/2.16 nFilterCalls=573, avgTableProportion=0.9952380952380987, avgTableSize=209.0
3.16/2.16
3.16/2.18 o 10981
3.16/2.18 num=4, depth=11..28, filters=748, ccks=80, wck=0.051, mem=34M512
3.16/2.18 decisions=86, wrong=9, backtracks=1, failedAssignments=8, nogoods=5, foundSolutions=5, bestBound=10981
3.16/2.18 nFilterCalls=714, avgTableProportion=0.9952380952380893, avgTableSize=209.0
3.16/2.18
3.16/2.18 o 10960
3.16/2.18 num=5, depth=11..28, filters=899, ccks=96, wck=0.055, mem=34M512
3.16/2.18 decisions=103, wrong=11, backtracks=1, failedAssignments=10, nogoods=7, foundSolutions=6, bestBound=10960
3.16/2.18 nFilterCalls=863, avgTableProportion=0.9952380952380826, avgTableSize=209.0
3.16/2.18
3.16/2.18 num=6, depth=7..9, filters=1224, ccks=96, wck=0.059, mem=34M512
3.16/2.18 decisions=141, wrong=26, backtracks=5, failedAssignments=21, nogoods=12, foundSolutions=6, bestBound=10960
3.16/2.18 nFilterCalls=1146, avgTableProportion=0.9952380952380864, avgTableSize=209.0
3.16/2.18
3.16/2.19 num=7, depth=6..8, filters=1617, ccks=96, wck=0.063, mem=34M512
3.16/2.19 decisions=181, wrong=42, backtracks=10, failedAssignments=32, nogoods=18, foundSolutions=6, bestBound=10960
3.16/2.19 nFilterCalls=1485, avgTableProportion=0.9952380952381042, avgTableSize=209.0
3.16/2.19
3.16/2.19 o 10789
3.16/2.19 num=8, depth=8..28, filters=1808, ccks=112, wck=0.065, mem=34M512
3.16/2.19 decisions=197, wrong=44, backtracks=10, failedAssignments=34, nogoods=20, foundSolutions=7, bestBound=10789
3.16/2.19 nFilterCalls=1652, avgTableProportion=0.9952380952381104, avgTableSize=209.0
3.16/2.19
3.16/2.19 o 10046
3.16/2.20 num=9, depth=6..28, filters=1983, ccks=128, wck=0.068, mem=34M512
3.16/2.20 decisions=220, wrong=49, backtracks=12, failedAssignments=38, nogoods=23, foundSolutions=8, bestBound=10046
3.16/2.20 nFilterCalls=1816, avgTableProportion=0.9952380952381152, avgTableSize=209.0
3.16/2.20
3.16/2.20 num=10, depth=5..12, filters=2354, ccks=128, wck=0.072, mem=34M512
3.16/2.20 decisions=260, wrong=63, backtracks=15, failedAssignments=49, nogoods=26, foundSolutions=8, bestBound=10046
3.16/2.20 nFilterCalls=2150, avgTableProportion=0.9952380952381229, avgTableSize=209.0
3.16/2.20
3.47/2.21 o 9496
3.47/2.21 num=11, depth=9..28, filters=2582, ccks=144, wck=0.075, mem=34M512
3.47/2.21 decisions=288, wrong=71, backtracks=16, failedAssignments=56, nogoods=33, foundSolutions=9, bestBound=9496
3.47/2.21 nFilterCalls=2357, avgTableProportion=0.9952380952381266, avgTableSize=209.0
3.47/2.21
3.47/2.21 o 9462
3.47/2.21 num=12, depth=10..28, filters=2723, ccks=160, wck=0.077, mem=37M155
3.47/2.21 decisions=300, wrong=72, backtracks=16, failedAssignments=57, nogoods=34, foundSolutions=10, bestBound=9462
3.47/2.21 nFilterCalls=2503, avgTableProportion=0.9952380952381288, avgTableSize=209.0
3.47/2.21
3.47/2.21 o 8505
3.47/2.21 num=13, depth=7..28, filters=2924, ccks=176, wck=0.08, mem=37M155
3.47/2.21 decisions=319, wrong=75, backtracks=17, failedAssignments=59, nogoods=35, foundSolutions=11, bestBound=8505
3.47/2.21 nFilterCalls=2699, avgTableProportion=0.9952380952381313, avgTableSize=209.0
3.47/2.21
3.47/2.21 o 8258
3.47/2.21 num=14, depth=8..28, filters=3147, ccks=192, wck=0.083, mem=37M155
3.47/2.21 decisions=341, wrong=81, backtracks=19, failedAssignments=63, nogoods=37, foundSolutions=12, bestBound=8258
3.47/2.21 nFilterCalls=2908, avgTableProportion=0.9952380952381338, avgTableSize=209.0
3.47/2.21
3.47/2.21 num=15, depth=7..9, filters=3514, ccks=192, wck=0.086, mem=37M155
3.47/2.21 decisions=382, wrong=98, backtracks=26, failedAssignments=74, nogoods=43, foundSolutions=12, bestBound=8258
3.47/2.21 nFilterCalls=3243, avgTableProportion=0.9952380952381369, avgTableSize=209.0
3.47/2.21
3.47/2.22 num=16, depth=3..8, filters=3821, ccks=192, wck=0.089, mem=37M155
3.47/2.22 decisions=417, wrong=114, backtracks=32, failedAssignments=85, nogoods=45, foundSolutions=12, bestBound=8258
3.47/2.22 nFilterCalls=3517, avgTableProportion=0.9952380952381391, avgTableSize=209.0
3.47/2.22
3.47/2.22 num=17, depth=4..9, filters=4145, ccks=192, wck=0.092, mem=37M155
3.47/2.22 decisions=455, wrong=130, backtracks=36, failedAssignments=97, nogoods=52, foundSolutions=12, bestBound=8258
3.47/2.22 nFilterCalls=3807, avgTableProportion=0.995238095238141, avgTableSize=209.0
3.47/2.22
3.47/2.22 num=18, depth=5..7, filters=4525, ccks=192, wck=0.095, mem=37M155
3.47/2.22 decisions=498, wrong=149, backtracks=42, failedAssignments=110, nogoods=62, foundSolutions=12, bestBound=8258
3.47/2.22 nFilterCalls=4146, avgTableProportion=0.9952380952381428, avgTableSize=209.0
3.47/2.22
3.47/2.22 num=19, depth=6..9, filters=4977, ccks=192, wck=0.098, mem=37M155
3.47/2.22 decisions=542, wrong=168, backtracks=48, failedAssignments=124, nogoods=64, foundSolutions=12, bestBound=8258
3.47/2.22 nFilterCalls=4522, avgTableProportion=0.9952380952381447, avgTableSize=209.0
3.47/2.22
3.47/2.23 num=20, depth=4..7, filters=5413, ccks=192, wck=0.102, mem=37M155
3.47/2.23 decisions=590, wrong=190, backtracks=54, failedAssignments=140, nogoods=71, foundSolutions=12, bestBound=8258
3.47/2.23 nFilterCalls=4906, avgTableProportion=0.9952380952381462, avgTableSize=209.0
3.47/2.23
3.47/2.23 num=21, depth=7..10, filters=5867, ccks=192, wck=0.104, mem=37M155
3.47/2.23 decisions=647, wrong=215, backtracks=64, failedAssignments=157, nogoods=76, foundSolutions=12, bestBound=8258
3.47/2.23 nFilterCalls=5275, avgTableProportion=0.9952380952381474, avgTableSize=209.0
3.47/2.23
3.47/2.23 o 8091
3.47/2.23 num=22, depth=9..28, filters=6121, ccks=208, wck=0.107, mem=37M155
3.47/2.23 decisions=676, wrong=223, backtracks=67, failedAssignments=162, nogoods=78, foundSolutions=13, bestBound=8091
3.47/2.23 nFilterCalls=5492, avgTableProportion=0.9952380952381481, avgTableSize=209.0
3.47/2.23
3.47/2.24 num=23, depth=3..8, filters=6646, ccks=208, wck=0.111, mem=37M155
3.47/2.24 decisions=735, wrong=249, backtracks=72, failedAssignments=183, nogoods=85, foundSolutions=13, bestBound=8091
3.47/2.24 nFilterCalls=5940, avgTableProportion=0.9952380952381493, avgTableSize=209.0
3.47/2.24
3.47/2.24 o 7354
3.47/2.24 num=24, depth=1..28, filters=6935, ccks=224, wck=0.113, mem=37M155
3.47/2.24 decisions=767, wrong=259, backtracks=73, failedAssignments=192, nogoods=93, foundSolutions=14, bestBound=7354
3.47/2.24 nFilterCalls=6190, avgTableProportion=0.99523809523815, avgTableSize=209.0
3.47/2.24
3.47/2.24 num=25, depth=3..7, filters=7252, ccks=224, wck=0.116, mem=37M155
3.47/2.24 decisions=800, wrong=272, backtracks=74, failedAssignments=204, nogoods=105, foundSolutions=14, bestBound=7354
3.47/2.24 nFilterCalls=6490, avgTableProportion=0.9952380952381507, avgTableSize=209.0
3.47/2.24
3.47/2.24 num=26, depth=6..8, filters=7569, ccks=224, wck=0.118, mem=37M155
3.47/2.24 decisions=833, wrong=285, backtracks=76, failedAssignments=215, nogoods=111, foundSolutions=14, bestBound=7354
3.47/2.24 nFilterCalls=6757, avgTableProportion=0.9952380952381512, avgTableSize=209.0
3.47/2.24
3.47/2.25 num=27, depth=4..8, filters=7964, ccks=224, wck=0.121, mem=37M155
3.47/2.25 decisions=873, wrong=303, backtracks=82, failedAssignments=227, nogoods=116, foundSolutions=14, bestBound=7354
3.47/2.25 nFilterCalls=7097, avgTableProportion=0.9952380952381519, avgTableSize=209.0
3.47/2.25
3.47/2.25 num=28, depth=4..6, filters=8366, ccks=224, wck=0.124, mem=37M155
3.47/2.25 decisions=907, wrong=318, backtracks=84, failedAssignments=240, nogoods=119, foundSolutions=14, bestBound=7354
3.47/2.25 nFilterCalls=7434, avgTableProportion=0.9952380952381524, avgTableSize=209.0
3.47/2.25
3.47/2.25 num=29, depth=4..6, filters=8737, ccks=224, wck=0.127, mem=37M155
3.47/2.25 decisions=945, wrong=334, backtracks=86, failedAssignments=254, nogoods=130, foundSolutions=14, bestBound=7354
3.47/2.25 nFilterCalls=7748, avgTableProportion=0.9952380952381529, avgTableSize=209.0
3.47/2.25
3.47/2.26 num=30, depth=3..6, filters=9133, ccks=224, wck=0.13, mem=37M155
3.47/2.26 decisions=995, wrong=357, backtracks=93, failedAssignments=270, nogoods=137, foundSolutions=14, bestBound=7354
3.47/2.26 nFilterCalls=8114, avgTableProportion=0.9952380952381534, avgTableSize=209.0
3.47/2.26
3.47/2.26 num=31, depth=2..8, filters=9565, ccks=224, wck=0.133, mem=37M155
3.47/2.26 decisions=1042, wrong=377, backtracks=96, failedAssignments=287, nogoods=145, foundSolutions=14, bestBound=7354
3.47/2.26 nFilterCalls=8479, avgTableProportion=0.9952380952381538, avgTableSize=209.0
3.47/2.26
3.47/2.26 num=32, depth=5..7, filters=10010, ccks=224, wck=0.136, mem=37M155
3.47/2.26 decisions=1090, wrong=398, backtracks=99, failedAssignments=306, nogoods=151, foundSolutions=14, bestBound=7354
3.47/2.26 nFilterCalls=8840, avgTableProportion=0.9952380952381542, avgTableSize=209.0
3.47/2.26
3.47/2.27 num=33, depth=4..7, filters=10523, ccks=224, wck=0.139, mem=37M155
3.47/2.27 decisions=1150, wrong=425, backtracks=105, failedAssignments=327, nogoods=160, foundSolutions=14, bestBound=7354
3.47/2.27 nFilterCalls=9253, avgTableProportion=0.9952380952381547, avgTableSize=209.0
3.47/2.27
3.47/2.27 num=34, depth=2..7, filters=11273, ccks=224, wck=0.145, mem=37M155
3.47/2.27 decisions=1216, wrong=455, backtracks=112, failedAssignments=350, nogoods=174, foundSolutions=14, bestBound=7354
3.47/2.27 nFilterCalls=9903, avgTableProportion=0.9952380952381553, avgTableSize=209.0
3.47/2.27
3.47/2.27 num=35, depth=1..7, filters=11841, ccks=224, wck=0.149, mem=37M155
3.47/2.27 decisions=1284, wrong=487, backtracks=119, failedAssignments=375, nogoods=178, foundSolutions=14, bestBound=7354
3.47/2.27 nFilterCalls=10380, avgTableProportion=0.9952380952381558, avgTableSize=209.0
3.47/2.27
3.47/2.28 num=36, depth=3..7, filters=12703, ccks=224, wck=0.154, mem=37M155
3.47/2.28 decisions=1362, wrong=524, backtracks=129, failedAssignments=403, nogoods=186, foundSolutions=14, bestBound=7354
3.47/2.28 nFilterCalls=11126, avgTableProportion=0.9952380952381563, avgTableSize=209.0
3.47/2.28
3.47/2.29 o 7188
3.47/2.29 num=37, depth=4..28, filters=13466, ccks=240, wck=0.159, mem=37M155
3.47/2.29 decisions=1443, wrong=559, backtracks=137, failedAssignments=432, nogoods=195, foundSolutions=15, bestBound=7188
3.47/2.29 nFilterCalls=11747, avgTableProportion=0.9952380952381568, avgTableSize=209.0
3.47/2.29
3.47/2.29 o 7159
3.47/2.29 num=38, depth=6..28, filters=13997, ccks=256, wck=0.163, mem=37M155
3.47/2.29 decisions=1507, wrong=586, backtracks=145, failedAssignments=451, nogoods=204, foundSolutions=16, bestBound=7159
3.47/2.29 nFilterCalls=12213, avgTableProportion=0.9952380952381571, avgTableSize=209.0
3.47/2.29
3.47/2.29 num=39, depth=4..6, filters=14355, ccks=256, wck=0.165, mem=37M155
3.47/2.29 decisions=1537, wrong=599, backtracks=147, failedAssignments=462, nogoods=205, foundSolutions=16, bestBound=7159
3.47/2.29 nFilterCalls=12524, avgTableProportion=0.9952380952381573, avgTableSize=209.0
3.47/2.29
3.47/2.29 num=40, depth=4..6, filters=14654, ccks=256, wck=0.167, mem=37M155
3.47/2.29 decisions=1570, wrong=613, backtracks=150, failedAssignments=473, nogoods=211, foundSolutions=16, bestBound=7159
3.47/2.29 nFilterCalls=12804, avgTableProportion=0.9952380952381574, avgTableSize=209.0
3.47/2.29
3.47/2.30 num=41, depth=7..9, filters=15056, ccks=256, wck=0.169, mem=37M155
3.47/2.30 decisions=1611, wrong=630, backtracks=155, failedAssignments=485, nogoods=215, foundSolutions=16, bestBound=7159
3.47/2.30 nFilterCalls=13143, avgTableProportion=0.9952380952381576, avgTableSize=209.0
3.47/2.30
3.47/2.30 num=42, depth=4..7, filters=15411, ccks=256, wck=0.171, mem=37M155
3.47/2.30 decisions=1650, wrong=646, backtracks=158, failedAssignments=498, nogoods=218, foundSolutions=16, bestBound=7159
3.47/2.30 nFilterCalls=13453, avgTableProportion=0.9952380952381578, avgTableSize=209.0
3.47/2.30
3.79/2.30 num=43, depth=4..7, filters=15682, ccks=256, wck=0.172, mem=37M155
3.79/2.30 decisions=1688, wrong=662, backtracks=160, failedAssignments=512, nogoods=223, foundSolutions=16, bestBound=7159
3.79/2.30 nFilterCalls=13687, avgTableProportion=0.9952380952381579, avgTableSize=209.0
3.79/2.30
3.79/2.30 num=44, depth=3..4, filters=15992, ccks=256, wck=0.174, mem=37M155
3.79/2.30 decisions=1728, wrong=680, backtracks=162, failedAssignments=528, nogoods=230, foundSolutions=16, bestBound=7159
3.79/2.30 nFilterCalls=13958, avgTableProportion=0.995238095238158, avgTableSize=209.0
3.79/2.30
3.79/2.30 num=45, depth=5..9, filters=16375, ccks=256, wck=0.176, mem=37M155
3.79/2.30 decisions=1776, wrong=701, backtracks=169, failedAssignments=545, nogoods=236, foundSolutions=16, bestBound=7159
3.79/2.30 nFilterCalls=14276, avgTableProportion=0.9952380952381582, avgTableSize=209.0
3.79/2.30
3.79/2.30 num=46, depth=4..8, filters=16840, ccks=256, wck=0.179, mem=37M155
3.79/2.30 decisions=1827, wrong=723, backtracks=172, failedAssignments=564, nogoods=240, foundSolutions=16, bestBound=7159
3.79/2.30 nFilterCalls=14661, avgTableProportion=0.9952380952381583, avgTableSize=209.0
3.79/2.30
3.79/2.31 num=47, depth=5..9, filters=17333, ccks=256, wck=0.181, mem=37M155
3.79/2.31 decisions=1886, wrong=749, backtracks=179, failedAssignments=585, nogoods=246, foundSolutions=16, bestBound=7159
3.79/2.31 nFilterCalls=15044, avgTableProportion=0.9952380952381585, avgTableSize=209.0
3.79/2.31
3.79/2.31 num=48, depth=5..8, filters=17941, ccks=256, wck=0.185, mem=37M155
3.79/2.31 decisions=1952, wrong=778, backtracks=185, failedAssignments=608, nogoods=258, foundSolutions=16, bestBound=7159
3.79/2.31 nFilterCalls=15561, avgTableProportion=0.9952380952381586, avgTableSize=209.0
3.79/2.31
3.79/2.31 num=49, depth=6..10, filters=18752, ccks=256, wck=0.189, mem=37M155
3.79/2.31 decisions=2032, wrong=814, backtracks=197, failedAssignments=633, nogoods=264, foundSolutions=16, bestBound=7159
3.79/2.31 nFilterCalls=16233, avgTableProportion=0.995238095238159, avgTableSize=209.0
3.79/2.31
3.79/2.32 num=50, depth=5..9, filters=19373, ccks=256, wck=0.192, mem=37M155
3.79/2.32 decisions=2115, wrong=852, backtracks=207, failedAssignments=661, nogoods=271, foundSolutions=16, bestBound=7159
3.79/2.32 nFilterCalls=16733, avgTableProportion=0.9952380952381591, avgTableSize=209.0
3.79/2.32
3.79/2.32 num=51, depth=5..9, filters=20153, ccks=256, wck=0.195, mem=37M155
3.79/2.32 decisions=2197, wrong=890, backtracks=215, failedAssignments=692, nogoods=275, foundSolutions=16, bestBound=7159
3.79/2.32 nFilterCalls=17397, avgTableProportion=0.9952380952381593, avgTableSize=209.0
3.79/2.32
3.79/2.33 num=52, depth=3..7, filters=20947, ccks=256, wck=0.199, mem=37M155
3.79/2.33 decisions=2287, wrong=932, backtracks=225, failedAssignments=726, nogoods=281, foundSolutions=16, bestBound=7159
3.79/2.33 nFilterCalls=18054, avgTableProportion=0.9952380952381595, avgTableSize=209.0
3.79/2.33
3.79/2.33 num=53, depth=3..7, filters=21731, ccks=256, wck=0.204, mem=37M155
3.79/2.33 decisions=2378, wrong=975, backtracks=233, failedAssignments=763, nogoods=293, foundSolutions=16, bestBound=7159
3.79/2.33 nFilterCalls=18721, avgTableProportion=0.9952380952381596, avgTableSize=209.0
3.79/2.33
3.79/2.34 num=54, depth=4..8, filters=22966, ccks=256, wck=0.209, mem=37M155
3.79/2.34 decisions=2491, wrong=1029, backtracks=249, failedAssignments=804, nogoods=308, foundSolutions=16, bestBound=7159
3.79/2.34 nFilterCalls=19762, avgTableProportion=0.99523809523816, avgTableSize=209.0
3.79/2.34
3.79/2.34 num=55, depth=5..7, filters=23862, ccks=256, wck=0.214, mem=37M155
3.79/2.34 decisions=2599, wrong=1080, backtracks=255, failedAssignments=849, nogoods=325, foundSolutions=16, bestBound=7159
3.79/2.34 nFilterCalls=20532, avgTableProportion=0.9952380952381601, avgTableSize=209.0
3.79/2.34
3.79/2.35 num=56, depth=6..10, filters=25099, ccks=256, wck=0.219, mem=37M155
3.79/2.35 decisions=2733, wrong=1143, backtracks=268, failedAssignments=899, nogoods=342, foundSolutions=16, bestBound=7159
3.79/2.35 nFilterCalls=21588, avgTableProportion=0.9952380952381603, avgTableSize=209.0
3.79/2.35
3.79/2.35 num=57, depth=3..10, filters=26473, ccks=256, wck=0.225, mem=37M155
3.79/2.35 decisions=2894, wrong=1220, backtracks=291, failedAssignments=954, nogoods=358, foundSolutions=16, bestBound=7159
3.79/2.35 nFilterCalls=22693, avgTableProportion=0.9952380952381605, avgTableSize=209.0
3.79/2.35
3.79/2.36 num=58, depth=5..8, filters=27859, ccks=256, wck=0.231, mem=37M155
3.79/2.36 decisions=3045, wrong=1292, backtracks=304, failedAssignments=1015, nogoods=368, foundSolutions=16, bestBound=7159
3.79/2.36 nFilterCalls=23857, avgTableProportion=0.9952380952381608, avgTableSize=209.0
3.79/2.36
3.79/2.36 num=59, depth=5..9, filters=29454, ccks=256, wck=0.237, mem=37M155
3.79/2.36 decisions=3212, wrong=1372, backtracks=320, failedAssignments=1082, nogoods=384, foundSolutions=16, bestBound=7159
3.79/2.36 nFilterCalls=25129, avgTableProportion=0.9952380952381609, avgTableSize=209.0
3.79/2.36
3.79/2.37 num=60, depth=3..7, filters=31162, ccks=256, wck=0.243, mem=37M155
3.79/2.37 decisions=3423, wrong=1475, backtracks=349, failedAssignments=1156, nogoods=392, foundSolutions=16, bestBound=7159
3.79/2.37 nFilterCalls=26554, avgTableProportion=0.9952380952381611, avgTableSize=209.0
3.79/2.37
3.79/2.38 num=61, depth=5..9, filters=32829, ccks=256, wck=0.25, mem=37M155
3.79/2.38 decisions=3640, wrong=1580, backtracks=374, failedAssignments=1237, nogoods=400, foundSolutions=16, bestBound=7159
3.79/2.38 nFilterCalls=27993, avgTableProportion=0.9952380952381613, avgTableSize=209.0
3.79/2.38
3.79/2.38 num=62, depth=4..9, filters=35088, ccks=256, wck=0.257, mem=37M155
3.79/2.38 decisions=3871, wrong=1693, backtracks=404, failedAssignments=1326, nogoods=403, foundSolutions=16, bestBound=7159
3.79/2.38 nFilterCalls=29821, avgTableProportion=0.9952380952381615, avgTableSize=209.0
3.79/2.38
3.79/2.39 o 6814
3.79/2.39 num=63, depth=6..28, filters=35605, ccks=272, wck=0.259, mem=37M155
3.79/2.39 decisions=3937, wrong=1720, backtracks=413, failedAssignments=1346, nogoods=408, foundSolutions=17, bestBound=6814
3.79/2.39 nFilterCalls=30241, avgTableProportion=0.9952380952381615, avgTableSize=209.0
3.79/2.39
3.79/2.39 num=64, depth=4..8, filters=37955, ccks=272, wck=0.268, mem=37M155
3.79/2.39 decisions=4213, wrong=1855, backtracks=445, failedAssignments=1454, nogoods=427, foundSolutions=17, bestBound=6814
3.79/2.39 nFilterCalls=32209, avgTableProportion=0.9952380952381618, avgTableSize=209.0
3.79/2.39
3.79/2.39 num=65, depth=4..6, filters=38316, ccks=272, wck=0.269, mem=39M797
3.79/2.39 decisions=4245, wrong=1869, backtracks=449, failedAssignments=1465, nogoods=433, foundSolutions=17, bestBound=6814
3.79/2.39 nFilterCalls=32523, avgTableProportion=0.9952380952381618, avgTableSize=209.0
3.79/2.39
4.10/2.40 num=66, depth=4..6, filters=38640, ccks=272, wck=0.271, mem=39M797
4.10/2.40 decisions=4279, wrong=1884, backtracks=452, failedAssignments=1477, nogoods=438, foundSolutions=17, bestBound=6814
4.10/2.40 nFilterCalls=32810, avgTableProportion=0.9952380952381618, avgTableSize=209.0
4.10/2.40
4.10/2.40 num=67, depth=4..6, filters=38972, ccks=272, wck=0.273, mem=39M797
4.10/2.40 decisions=4313, wrong=1899, backtracks=454, failedAssignments=1490, nogoods=448, foundSolutions=17, bestBound=6814
4.10/2.40 nFilterCalls=33100, avgTableProportion=0.9952380952381616, avgTableSize=209.0
4.10/2.40
4.10/2.40 num=68, depth=3..7, filters=39364, ccks=272, wck=0.274, mem=39M797
4.10/2.40 decisions=4349, wrong=1914, backtracks=456, failedAssignments=1504, nogoods=455, foundSolutions=17, bestBound=6814
4.10/2.40 nFilterCalls=33443, avgTableProportion=0.9952380952381618, avgTableSize=209.0
4.10/2.40
4.10/2.40 num=69, depth=4..8, filters=39868, ccks=272, wck=0.276, mem=39M797
4.10/2.40 decisions=4396, wrong=1934, backtracks=460, failedAssignments=1520, nogoods=463, foundSolutions=17, bestBound=6814
4.10/2.40 nFilterCalls=33861, avgTableProportion=0.9952380952381618, avgTableSize=209.0
4.10/2.40
4.10/2.41 num=70, depth=3..7, filters=40306, ccks=272, wck=0.278, mem=39M797
4.10/2.41 decisions=4449, wrong=1959, backtracks=468, failedAssignments=1537, nogoods=468, foundSolutions=17, bestBound=6814
4.10/2.41 nFilterCalls=34248, avgTableProportion=0.9952380952381618, avgTableSize=209.0
4.10/2.41
4.10/2.41 num=71, depth=5..8, filters=40869, ccks=272, wck=0.28, mem=39M797
4.10/2.41 decisions=4503, wrong=1983, backtracks=474, failedAssignments=1556, nogoods=474, foundSolutions=17, bestBound=6814
4.10/2.41 nFilterCalls=34720, avgTableProportion=0.9952380952381618, avgTableSize=209.0
4.10/2.41
4.10/2.41 num=72, depth=2..5, filters=41356, ccks=272, wck=0.282, mem=39M797
4.10/2.41 decisions=4560, wrong=2010, backtracks=481, failedAssignments=1577, nogoods=476, foundSolutions=17, bestBound=6814
4.10/2.41 nFilterCalls=35147, avgTableProportion=0.9952380952381619, avgTableSize=209.0
4.10/2.41
4.10/2.41 num=73, depth=2..8, filters=41847, ccks=272, wck=0.284, mem=39M797
4.10/2.41 decisions=4625, wrong=2040, backtracks=488, failedAssignments=1600, nogoods=486, foundSolutions=17, bestBound=6814
4.10/2.41 nFilterCalls=35568, avgTableProportion=0.9952380952381619, avgTableSize=209.0
4.10/2.41
4.10/2.41 num=74, depth=6..10, filters=42514, ccks=272, wck=0.286, mem=39M797
4.10/2.41 decisions=4699, wrong=2073, backtracks=497, failedAssignments=1625, nogoods=494, foundSolutions=17, bestBound=6814
4.10/2.41 nFilterCalls=36128, avgTableProportion=0.9952380952381619, avgTableSize=209.0
4.10/2.41
4.10/2.42 num=75, depth=3..7, filters=43272, ccks=272, wck=0.289, mem=39M797
4.10/2.42 decisions=4786, wrong=2115, backtracks=512, failedAssignments=1653, nogoods=501, foundSolutions=17, bestBound=6814
4.10/2.42 nFilterCalls=36771, avgTableProportion=0.995238095238162, avgTableSize=209.0
4.10/2.42
4.10/2.42 o 6554
4.10/2.42 num=76, depth=5..28, filters=44104, ccks=288, wck=0.292, mem=39M797
4.10/2.42 decisions=4873, wrong=2154, backtracks=524, failedAssignments=1682, nogoods=507, foundSolutions=18, bestBound=6554
4.10/2.42 nFilterCalls=37451, avgTableProportion=0.995238095238162, avgTableSize=209.0
4.10/2.42
4.10/2.42 num=77, depth=5..9, filters=45011, ccks=288, wck=0.294, mem=39M797
4.10/2.42 decisions=4968, wrong=2198, backtracks=535, failedAssignments=1716, nogoods=518, foundSolutions=18, bestBound=6554
4.10/2.42 nFilterCalls=38216, avgTableProportion=0.9952380952381621, avgTableSize=209.0
4.10/2.42
4.10/2.42 num=78, depth=5..6, filters=45249, ccks=288, wck=0.295, mem=39M797
4.10/2.42 decisions=4998, wrong=2210, backtracks=536, failedAssignments=1727, nogoods=522, foundSolutions=18, bestBound=6554
4.10/2.42 nFilterCalls=38431, avgTableProportion=0.9952380952381621, avgTableSize=209.0
4.10/2.42
4.10/2.42 num=79, depth=5..6, filters=45549, ccks=288, wck=0.296, mem=39M797
4.10/2.42 decisions=5029, wrong=2223, backtracks=537, failedAssignments=1739, nogoods=531, foundSolutions=18, bestBound=6554
4.10/2.42 nFilterCalls=38680, avgTableProportion=0.9952380952381621, avgTableSize=209.0
4.10/2.42
4.10/2.42 num=80, depth=3..5, filters=45892, ccks=288, wck=0.298, mem=39M797
4.10/2.42 decisions=5064, wrong=2238, backtracks=539, failedAssignments=1752, nogoods=537, foundSolutions=18, bestBound=6554
4.10/2.42 nFilterCalls=38972, avgTableProportion=0.9952380952381621, avgTableSize=209.0
4.10/2.42
4.10/2.42 num=81, depth=2..10, filters=46280, ccks=288, wck=0.299, mem=39M797
4.10/2.42 decisions=5109, wrong=2257, backtracks=545, failedAssignments=1766, nogoods=549, foundSolutions=18, bestBound=6554
4.10/2.42 nFilterCalls=39300, avgTableProportion=0.9952380952381621, avgTableSize=209.0
4.10/2.42
4.10/2.43 num=82, depth=1..7, filters=46731, ccks=288, wck=0.3, mem=39M797
4.10/2.43 decisions=5151, wrong=2275, backtracks=547, failedAssignments=1782, nogoods=560, foundSolutions=18, bestBound=6554
4.10/2.43 nFilterCalls=39679, avgTableProportion=0.9952380952381622, avgTableSize=209.0
4.10/2.43
4.10/2.43 num=83, depth=5..9, filters=47115, ccks=288, wck=0.302, mem=39M797
4.10/2.43 decisions=5201, wrong=2297, backtracks=552, failedAssignments=1799, nogoods=562, foundSolutions=18, bestBound=6554
4.10/2.43 nFilterCalls=40021, avgTableProportion=0.9952380952381622, avgTableSize=209.0
4.10/2.43
4.10/2.43 num=84, depth=7..11, filters=47784, ccks=288, wck=0.304, mem=39M797
4.10/2.43 decisions=5270, wrong=2328, backtracks=564, failedAssignments=1818, nogoods=567, foundSolutions=18, bestBound=6554
4.10/2.43 nFilterCalls=40568, avgTableProportion=0.9952380952381622, avgTableSize=209.0
4.10/2.43
4.10/2.43 num=85, depth=4..7, filters=48410, ccks=288, wck=0.306, mem=39M797
4.10/2.43 decisions=5327, wrong=2353, backtracks=568, failedAssignments=1839, nogoods=575, foundSolutions=18, bestBound=6554
4.10/2.43 nFilterCalls=41113, avgTableProportion=0.9952380952381622, avgTableSize=209.0
4.10/2.43
4.10/2.43 num=86, depth=6..9, filters=48938, ccks=288, wck=0.307, mem=39M797
4.10/2.43 decisions=5390, wrong=2381, backtracks=573, failedAssignments=1862, nogoods=580, foundSolutions=18, bestBound=6554
4.10/2.43 nFilterCalls=41558, avgTableProportion=0.9952380952381622, avgTableSize=209.0
4.10/2.43
4.10/2.44 num=87, depth=6..9, filters=49700, ccks=288, wck=0.309, mem=39M797
4.10/2.44 decisions=5464, wrong=2415, backtracks=582, failedAssignments=1887, nogoods=584, foundSolutions=18, bestBound=6554
4.10/2.44 nFilterCalls=42225, avgTableProportion=0.9952380952381623, avgTableSize=209.0
4.10/2.44
4.10/2.44 num=88, depth=4..7, filters=50387, ccks=288, wck=0.312, mem=39M797
4.10/2.44 decisions=5534, wrong=2447, backtracks=586, failedAssignments=1915, nogoods=593, foundSolutions=18, bestBound=6554
4.10/2.44 nFilterCalls=42799, avgTableProportion=0.9952380952381623, avgTableSize=209.0
4.10/2.44
4.10/2.44 o 6211
4.10/2.44 num=89, depth=4..28, filters=51290, ccks=304, wck=0.315, mem=39M797
4.10/2.44 decisions=5628, wrong=2488, backtracks=600, failedAssignments=1944, nogoods=600, foundSolutions=19, bestBound=6211
4.10/2.44 nFilterCalls=43566, avgTableProportion=0.9952380952381623, avgTableSize=209.0
4.10/2.44
4.10/2.44 num=90, depth=5..8, filters=52304, ccks=304, wck=0.318, mem=39M797
4.10/2.44 decisions=5729, wrong=2536, backtracks=614, failedAssignments=1978, nogoods=614, foundSolutions=19, bestBound=6211
4.10/2.44 nFilterCalls=44439, avgTableProportion=0.9952380952381624, avgTableSize=209.0
4.10/2.44
4.10/2.44 num=91, depth=6..10, filters=52728, ccks=304, wck=0.319, mem=39M797
4.10/2.44 decisions=5768, wrong=2552, backtracks=620, failedAssignments=1989, nogoods=621, foundSolutions=19, bestBound=6211
4.10/2.44 nFilterCalls=44801, avgTableProportion=0.9952380952381624, avgTableSize=209.0
4.10/2.44
4.10/2.45 num=92, depth=5..7, filters=53041, ccks=304, wck=0.32, mem=39M797
4.10/2.45 decisions=5802, wrong=2566, backtracks=623, failedAssignments=2001, nogoods=626, foundSolutions=19, bestBound=6211
4.10/2.45 nFilterCalls=45074, avgTableProportion=0.9952380952381624, avgTableSize=209.0
4.10/2.45
4.10/2.45 num=93, depth=6..8, filters=53402, ccks=304, wck=0.321, mem=39M797
4.10/2.45 decisions=5837, wrong=2580, backtracks=624, failedAssignments=2014, nogoods=634, foundSolutions=19, bestBound=6211
4.10/2.45 nFilterCalls=45372, avgTableProportion=0.9952380952381624, avgTableSize=209.0
4.10/2.45
4.10/2.45 num=94, depth=7..10, filters=53797, ccks=304, wck=0.322, mem=39M797
4.10/2.45 decisions=5884, wrong=2600, backtracks=631, failedAssignments=2028, nogoods=639, foundSolutions=19, bestBound=6211
4.10/2.45 nFilterCalls=45698, avgTableProportion=0.9952380952381624, avgTableSize=209.0
4.10/2.45
4.10/2.45 num=95, depth=6..10, filters=54294, ccks=304, wck=0.324, mem=39M797
4.10/2.45 decisions=5933, wrong=2621, backtracks=636, failedAssignments=2044, nogoods=648, foundSolutions=19, bestBound=6211
4.10/2.45 nFilterCalls=46108, avgTableProportion=0.9952380952381625, avgTableSize=209.0
4.10/2.45
4.10/2.45 num=96, depth=4..8, filters=55005, ccks=304, wck=0.326, mem=39M797
4.10/2.45 decisions=5998, wrong=2651, backtracks=649, failedAssignments=2061, nogoods=652, foundSolutions=19, bestBound=6211
4.10/2.45 nFilterCalls=46717, avgTableProportion=0.9952380952381625, avgTableSize=209.0
4.10/2.45
4.10/2.45 num=97, depth=7..12, filters=55558, ccks=304, wck=0.328, mem=39M797
4.10/2.45 decisions=6064, wrong=2680, backtracks=660, failedAssignments=2080, nogoods=657, foundSolutions=19, bestBound=6211
4.10/2.45 nFilterCalls=47190, avgTableProportion=0.9952380952381625, avgTableSize=209.0
4.10/2.45
4.10/2.46 num=98, depth=6..9, filters=56225, ccks=304, wck=0.33, mem=39M797
4.10/2.46 decisions=6131, wrong=2710, backtracks=669, failedAssignments=2101, nogoods=668, foundSolutions=19, bestBound=6211
4.10/2.46 nFilterCalls=47776, avgTableProportion=0.9952380952381625, avgTableSize=209.0
4.10/2.46
4.10/2.46 num=99, depth=3..6, filters=56882, ccks=304, wck=0.332, mem=39M797
4.10/2.46 decisions=6193, wrong=2739, backtracks=676, failedAssignments=2124, nogoods=680, foundSolutions=19, bestBound=6211
4.10/2.46 nFilterCalls=48320, avgTableProportion=0.9952380952381625, avgTableSize=209.0
4.10/2.46
4.10/2.46 num=100, depth=4..9, filters=57541, ccks=304, wck=0.334, mem=39M797
4.10/2.46 decisions=6263, wrong=2771, backtracks=685, failedAssignments=2149, nogoods=687, foundSolutions=19, bestBound=6211
4.10/2.46 nFilterCalls=48872, avgTableProportion=0.9952380952381626, avgTableSize=209.0
4.10/2.46
4.10/2.46 num=101, depth=4..7, filters=58344, ccks=304, wck=0.337, mem=39M797
4.10/2.46 decisions=6339, wrong=2806, backtracks=692, failedAssignments=2177, nogoods=696, foundSolutions=19, bestBound=6211
4.10/2.46 nFilterCalls=49566, avgTableProportion=0.9952380952381626, avgTableSize=209.0
4.10/2.46
4.10/2.46 num=102, depth=4..8, filters=59086, ccks=304, wck=0.339, mem=39M797
4.10/2.46 decisions=6422, wrong=2844, backtracks=699, failedAssignments=2208, nogoods=710, foundSolutions=19, bestBound=6211
4.10/2.46 nFilterCalls=50153, avgTableProportion=0.9952380952381626, avgTableSize=209.0
4.10/2.46
4.10/2.47 num=103, depth=3..7, filters=60100, ccks=304, wck=0.342, mem=39M797
4.10/2.47 decisions=6517, wrong=2889, backtracks=712, failedAssignments=2242, nogoods=712, foundSolutions=19, bestBound=6211
4.10/2.47 nFilterCalls=51003, avgTableProportion=0.9952380952381626, avgTableSize=209.0
4.10/2.47
4.10/2.47 num=104, depth=2..7, filters=60962, ccks=304, wck=0.345, mem=39M797
4.10/2.47 decisions=6617, wrong=2937, backtracks=725, failedAssignments=2279, nogoods=717, foundSolutions=19, bestBound=6211
4.10/2.47 nFilterCalls=51752, avgTableProportion=0.9952380952381628, avgTableSize=209.0
4.10/2.47
4.10/2.47 num=105, depth=4..7, filters=61852, ccks=304, wck=0.348, mem=39M797
4.10/2.47 decisions=6720, wrong=2986, backtracks=733, failedAssignments=2320, nogoods=732, foundSolutions=19, bestBound=6211
4.10/2.47 nFilterCalls=52462, avgTableProportion=0.9952380952381628, avgTableSize=209.0
4.10/2.47
4.10/2.48 num=106, depth=2..8, filters=62908, ccks=304, wck=0.351, mem=39M797
4.10/2.48 decisions=6845, wrong=3045, backtracks=750, failedAssignments=2365, nogoods=747, foundSolutions=19, bestBound=6211
4.10/2.48 nFilterCalls=53342, avgTableProportion=0.9952380952381628, avgTableSize=209.0
4.10/2.48
4.10/2.48 num=107, depth=3..7, filters=64066, ccks=304, wck=0.355, mem=39M797
4.10/2.48 decisions=6964, wrong=3103, backtracks=759, failedAssignments=2415, nogoods=749, foundSolutions=19, bestBound=6211
4.10/2.48 nFilterCalls=54317, avgTableProportion=0.9952380952381628, avgTableSize=209.0
4.10/2.48
4.10/2.49 num=108, depth=4..9, filters=65639, ccks=304, wck=0.359, mem=39M797
4.10/2.49 decisions=7128, wrong=3182, backtracks=787, failedAssignments=2470, nogoods=761, foundSolutions=19, bestBound=6211
4.10/2.49 nFilterCalls=55615, avgTableProportion=0.9952380952381629, avgTableSize=209.0
4.10/2.49
4.10/2.49 num=109, depth=2..7, filters=66964, ccks=304, wck=0.363, mem=39M797
4.10/2.49 decisions=7282, wrong=3257, backtracks=801, failedAssignments=2531, nogoods=772, foundSolutions=19, bestBound=6211
4.10/2.49 nFilterCalls=56719, avgTableProportion=0.9952380952381629, avgTableSize=209.0
4.10/2.49
4.10/2.49 num=110, depth=2..7, filters=68580, ccks=304, wck=0.369, mem=39M797
4.10/2.49 decisions=7475, wrong=3351, backtracks=829, failedAssignments=2598, nogoods=774, foundSolutions=19, bestBound=6211
4.10/2.49 nFilterCalls=58046, avgTableProportion=0.9952380952381629, avgTableSize=209.0
4.10/2.49
4.41/2.50 num=111, depth=4..8, filters=70533, ccks=304, wck=0.375, mem=39M797
4.41/2.50 decisions=7678, wrong=3450, backtracks=855, failedAssignments=2672, nogoods=790, foundSolutions=19, bestBound=6211
4.41/2.50 nFilterCalls=59608, avgTableProportion=0.995238095238163, avgTableSize=209.0
4.41/2.50
4.41/2.51 num=112, depth=1..7, filters=72500, ccks=304, wck=0.381, mem=39M797
4.41/2.51 decisions=7898, wrong=3558, backtracks=882, failedAssignments=2753, nogoods=799, foundSolutions=19, bestBound=6211
4.41/2.51 nFilterCalls=61270, avgTableProportion=0.995238095238163, avgTableSize=209.0
4.41/2.51
4.41/2.51 num=113, depth=2..7, filters=74711, ccks=304, wck=0.388, mem=39M797
4.41/2.51 decisions=8125, wrong=3670, backtracks=910, failedAssignments=2842, nogoods=815, foundSolutions=19, bestBound=6211
4.41/2.51 nFilterCalls=63135, avgTableProportion=0.9952380952381631, avgTableSize=209.0
4.41/2.51
4.41/2.52 num=114, depth=3..7, filters=77478, ccks=304, wck=0.395, mem=39M797
4.41/2.52 decisions=8381, wrong=3796, backtracks=941, failedAssignments=2940, nogoods=830, foundSolutions=19, bestBound=6211
4.41/2.52 nFilterCalls=65441, avgTableProportion=0.9952380952381631, avgTableSize=209.0
4.41/2.52
4.41/2.53 num=115, depth=3..7, filters=79941, ccks=304, wck=0.403, mem=39M797
4.41/2.53 decisions=8679, wrong=3943, backtracks=982, failedAssignments=3048, nogoods=844, foundSolutions=19, bestBound=6211
4.41/2.53 nFilterCalls=67519, avgTableProportion=0.9952380952379831, avgTableSize=209.0
4.41/2.53
4.41/2.54 num=116, depth=4..11, filters=82947, ccks=304, wck=0.41, mem=39M797
4.41/2.54 decisions=8997, wrong=4097, backtracks=1026, failedAssignments=3167, nogoods=855, foundSolutions=19, bestBound=6211
4.41/2.54 nFilterCalls=69965, avgTableProportion=0.9952380952377351, avgTableSize=209.0
4.41/2.54
4.41/2.54 o 5838
4.41/2.54 num=117, depth=3..28, filters=84925, ccks=320, wck=0.416, mem=39M797
4.41/2.54 decisions=9187, wrong=4186, backtracks=1050, failedAssignments=3234, nogoods=859, foundSolutions=20, bestBound=5838
4.41/2.54 nFilterCalls=71581, avgTableProportion=0.9952380952375806, avgTableSize=209.0
4.41/2.54
4.41/2.55 num=118, depth=4..8, filters=88460, ccks=320, wck=0.425, mem=39M797
4.41/2.55 decisions=9559, wrong=4369, backtracks=1092, failedAssignments=3378, nogoods=886, foundSolutions=20, bestBound=5838
4.41/2.55 nFilterCalls=74518, avgTableProportion=0.9952380952373168, avgTableSize=209.0
4.41/2.55
4.41/2.55 num=119, depth=2..4, filters=88779, ccks=320, wck=0.427, mem=39M797
4.41/2.55 decisions=9587, wrong=4382, backtracks=1094, failedAssignments=3389, nogoods=887, foundSolutions=20, bestBound=5838
4.41/2.55 nFilterCalls=74794, avgTableProportion=0.9952380952372931, avgTableSize=209.0
4.41/2.55
4.41/2.55 num=120, depth=2..7, filters=89099, ccks=320, wck=0.428, mem=39M797
4.41/2.55 decisions=9622, wrong=4396, backtracks=1097, failedAssignments=3401, nogoods=896, foundSolutions=20, bestBound=5838
4.41/2.55 nFilterCalls=75077, avgTableProportion=0.9952380952372689, avgTableSize=209.0
4.41/2.55
4.41/2.56 num=121, depth=2..7, filters=89503, ccks=320, wck=0.429, mem=39M797
4.41/2.56 decisions=9664, wrong=4415, backtracks=1103, failedAssignments=3414, nogoods=904, foundSolutions=20, bestBound=5838
4.41/2.56 nFilterCalls=75428, avgTableProportion=0.9952380952372393, avgTableSize=209.0
4.41/2.56
4.41/2.56 num=122, depth=2..4, filters=89828, ccks=320, wck=0.431, mem=39M797
4.41/2.56 decisions=9700, wrong=4431, backtracks=1105, failedAssignments=3428, nogoods=907, foundSolutions=20, bestBound=5838
4.41/2.56 nFilterCalls=75701, avgTableProportion=0.9952380952372164, avgTableSize=209.0
4.41/2.56
4.41/2.56 num=123, depth=4..8, filters=90243, ccks=320, wck=0.432, mem=39M797
4.41/2.56 decisions=9746, wrong=4450, backtracks=1108, failedAssignments=3444, nogoods=911, foundSolutions=20, bestBound=5838
4.41/2.56 nFilterCalls=76046, avgTableProportion=0.9952380952371876, avgTableSize=209.0
4.41/2.56
4.41/2.56 num=124, depth=2..5, filters=90702, ccks=320, wck=0.434, mem=39M797
4.41/2.56 decisions=9793, wrong=4471, backtracks=1112, failedAssignments=3461, nogoods=915, foundSolutions=20, bestBound=5838
4.41/2.56 nFilterCalls=76465, avgTableProportion=0.9952380952371531, avgTableSize=209.0
4.41/2.56
4.41/2.56 num=125, depth=5..8, filters=91218, ccks=320, wck=0.435, mem=39M797
4.41/2.56 decisions=9846, wrong=4494, backtracks=1116, failedAssignments=3480, nogoods=923, foundSolutions=20, bestBound=5838
4.41/2.56 nFilterCalls=76887, avgTableProportion=0.9952380952371187, avgTableSize=209.0
4.41/2.56
4.41/2.56 num=126, depth=1..4, filters=91741, ccks=320, wck=0.437, mem=39M797
4.41/2.56 decisions=9906, wrong=4523, backtracks=1124, failedAssignments=3501, nogoods=936, foundSolutions=20, bestBound=5838
4.41/2.56 nFilterCalls=77343, avgTableProportion=0.9952380952370821, avgTableSize=209.0
4.41/2.56
4.41/2.57 num=127, depth=2..6, filters=92401, ccks=320, wck=0.44, mem=39M797
4.41/2.57 decisions=9967, wrong=4551, backtracks=1129, failedAssignments=3524, nogoods=944, foundSolutions=20, bestBound=5838
4.41/2.57 nFilterCalls=77957, avgTableProportion=0.9952380952370332, avgTableSize=209.0
4.41/2.57
4.41/2.57 num=128, depth=3..6, filters=92903, ccks=320, wck=0.442, mem=39M797
4.41/2.57 decisions=10032, wrong=4581, backtracks=1134, failedAssignments=3549, nogoods=950, foundSolutions=20, bestBound=5838
4.41/2.57 nFilterCalls=78375, avgTableProportion=0.9952380952370005, avgTableSize=209.0
4.41/2.57
4.41/2.57 num=129, depth=3..6, filters=93634, ccks=320, wck=0.444, mem=39M797
4.41/2.57 decisions=10107, wrong=4617, backtracks=1143, failedAssignments=3577, nogoods=953, foundSolutions=20, bestBound=5838
4.41/2.57 nFilterCalls=78998, avgTableProportion=0.9952380952369523, avgTableSize=209.0
4.41/2.57
4.41/2.57 num=130, depth=4..7, filters=94523, ccks=320, wck=0.446, mem=39M797
4.41/2.57 decisions=10193, wrong=4657, backtracks=1153, failedAssignments=3608, nogoods=963, foundSolutions=20, bestBound=5838
4.41/2.57 nFilterCalls=79723, avgTableProportion=0.9952380952368971, avgTableSize=209.0
4.41/2.57
4.41/2.57 num=131, depth=3..6, filters=95361, ccks=320, wck=0.449, mem=39M797
4.41/2.57 decisions=10276, wrong=4697, backtracks=1161, failedAssignments=3642, nogoods=970, foundSolutions=20, bestBound=5838
4.41/2.57 nFilterCalls=80427, avgTableProportion=0.9952380952368446, avgTableSize=209.0
4.41/2.57
4.41/2.58 num=132, depth=2..6, filters=96193, ccks=320, wck=0.451, mem=39M797
4.41/2.58 decisions=10375, wrong=4745, backtracks=1173, failedAssignments=3679, nogoods=975, foundSolutions=20, bestBound=5838
4.41/2.58 nFilterCalls=81122, avgTableProportion=0.9952380952367935, avgTableSize=209.0
4.41/2.58
4.41/2.58 num=133, depth=2..7, filters=97375, ccks=320, wck=0.455, mem=39M797
4.41/2.58 decisions=10487, wrong=4798, backtracks=1186, failedAssignments=3720, nogoods=984, foundSolutions=20, bestBound=5838
4.41/2.58 nFilterCalls=82169, avgTableProportion=0.9952380952367182, avgTableSize=209.0
4.41/2.58
4.41/2.58 num=134, depth=2..9, filters=98370, ccks=320, wck=0.458, mem=39M797
4.41/2.58 decisions=10606, wrong=4855, backtracks=1200, failedAssignments=3765, nogoods=990, foundSolutions=20, bestBound=5838
4.41/2.58 nFilterCalls=83004, avgTableProportion=0.9952380952366596, avgTableSize=209.0
4.41/2.58
4.41/2.59 num=135, depth=2..6, filters=99838, ccks=320, wck=0.462, mem=39M797
4.41/2.59 decisions=10740, wrong=4920, backtracks=1215, failedAssignments=3815, nogoods=998, foundSolutions=20, bestBound=5838
4.41/2.59 nFilterCalls=84235, avgTableProportion=0.9952380952365752, avgTableSize=209.0
4.41/2.59
4.41/2.59 num=136, depth=3..7, filters=101354, ccks=320, wck=0.466, mem=42M440
4.41/2.59 decisions=10893, wrong=4994, backtracks=1236, failedAssignments=3870, nogoods=1004, foundSolutions=20, bestBound=5838
4.41/2.59 nFilterCalls=85511, avgTableProportion=0.9952380952364904, avgTableSize=209.0
4.41/2.59
4.41/2.60 num=137, depth=2..8, filters=102671, ccks=320, wck=0.47, mem=42M440
4.41/2.60 decisions=11048, wrong=5068, backtracks=1254, failedAssignments=3931, nogoods=1013, foundSolutions=20, bestBound=5838
4.41/2.60 nFilterCalls=86619, avgTableProportion=0.9952380952364188, avgTableSize=209.0
4.41/2.60
4.64/2.60 num=138, depth=3..6, filters=104571, ccks=320, wck=0.476, mem=42M440
4.64/2.60 decisions=11209, wrong=5147, backtracks=1266, failedAssignments=3998, nogoods=1031, foundSolutions=20, bestBound=5838
4.64/2.60 nFilterCalls=88197, avgTableProportion=0.9952380952363198, avgTableSize=209.0
4.64/2.60
4.64/2.61 num=139, depth=5..10, filters=106170, ccks=320, wck=0.48, mem=42M440
4.64/2.61 decisions=11409, wrong=5243, backtracks=1288, failedAssignments=4072, nogoods=1045, foundSolutions=20, bestBound=5838
4.64/2.61 nFilterCalls=89502, avgTableProportion=0.9952380952362406, avgTableSize=209.0
4.64/2.61
4.64/2.61 num=140, depth=1..9, filters=108004, ccks=320, wck=0.485, mem=42M440
4.64/2.61 decisions=11619, wrong=5345, backtracks=1309, failedAssignments=4153, nogoods=1057, foundSolutions=20, bestBound=5838
4.64/2.61 nFilterCalls=91045, avgTableProportion=0.9952380952361499, avgTableSize=209.0
4.64/2.61
4.64/2.62 num=141, depth=2..9, filters=110183, ccks=320, wck=0.491, mem=42M440
4.64/2.62 decisions=11862, wrong=5464, backtracks=1343, failedAssignments=4242, nogoods=1067, foundSolutions=20, bestBound=5838
4.64/2.62 nFilterCalls=92875, avgTableProportion=0.9952380952360462, avgTableSize=209.0
4.64/2.62
4.64/2.62 num=142, depth=4..9, filters=112777, ccks=320, wck=0.498, mem=42M440
4.64/2.62 decisions=12123, wrong=5592, backtracks=1377, failedAssignments=4340, nogoods=1075, foundSolutions=20, bestBound=5838
4.64/2.62 nFilterCalls=95033, avgTableProportion=0.9952380952359291, avgTableSize=209.0
4.64/2.62
4.64/2.63 num=143, depth=2..8, filters=115497, ccks=320, wck=0.505, mem=42M440
4.64/2.63 decisions=12393, wrong=5724, backtracks=1405, failedAssignments=4448, nogoods=1086, foundSolutions=20, bestBound=5838
4.64/2.63 nFilterCalls=97252, avgTableProportion=0.9952380952358141, avgTableSize=209.0
4.64/2.63
4.64/2.64 num=144, depth=2..7, filters=118526, ccks=320, wck=0.514, mem=42M440
4.64/2.64 decisions=12713, wrong=5882, backtracks=1449, failedAssignments=4567, nogoods=1098, foundSolutions=20, bestBound=5838
4.64/2.64 nFilterCalls=99827, avgTableProportion=0.9952380952356871, avgTableSize=209.0
4.64/2.64
4.64/2.65 num=145, depth=3..8, filters=121484, ccks=320, wck=0.522, mem=42M440
4.64/2.65 decisions=13049, wrong=6048, backtracks=1493, failedAssignments=4698, nogoods=1111, foundSolutions=20, bestBound=5838
4.64/2.65 nFilterCalls=102295, avgTableProportion=0.9952380952355713, avgTableSize=209.0
4.64/2.65
4.64/2.66 num=146, depth=2..6, filters=124901, ccks=320, wck=0.531, mem=42M440
4.64/2.66 decisions=13421, wrong=6232, backtracks=1536, failedAssignments=4842, nogoods=1113, foundSolutions=20, bestBound=5838
4.64/2.66 nFilterCalls=105068, avgTableProportion=0.9952380952354477, avgTableSize=209.0
4.64/2.66
4.64/2.67 num=147, depth=3..9, filters=128767, ccks=320, wck=0.54, mem=42M440
4.64/2.67 decisions=13826, wrong=6433, backtracks=1586, failedAssignments=5000, nogoods=1114, foundSolutions=20, bestBound=5838
4.64/2.67 nFilterCalls=108242, avgTableProportion=0.995238095235314, avgTableSize=209.0
4.64/2.67
4.64/2.68 num=148, depth=2..7, filters=132062, ccks=320, wck=0.549, mem=42M440
4.64/2.68 decisions=14272, wrong=6654, backtracks=1638, failedAssignments=5174, nogoods=1135, foundSolutions=20, bestBound=5838
4.64/2.68 nFilterCalls=111042, avgTableProportion=0.9952380952352025, avgTableSize=209.0
4.64/2.68
4.64/2.69 num=149, depth=2..7, filters=137177, ccks=320, wck=0.564, mem=42M440
4.64/2.69 decisions=14781, wrong=6907, backtracks=1703, failedAssignments=5365, nogoods=1152, foundSolutions=20, bestBound=5838
4.64/2.69 nFilterCalls=115355, avgTableProportion=0.9952380952350411, avgTableSize=209.0
4.64/2.69
4.76/2.71 num=150, depth=3..8, filters=142592, ccks=320, wck=0.58, mem=42M440
4.76/2.71 decisions=15365, wrong=7196, backtracks=1787, failedAssignments=5576, nogoods=1169, foundSolutions=20, bestBound=5838
4.76/2.71 nFilterCalls=119752, avgTableProportion=0.9952380952348887, avgTableSize=209.0
4.76/2.71
4.76/2.72 num=151, depth=2..9, filters=147800, ccks=320, wck=0.594, mem=42M440
4.76/2.72 decisions=15987, wrong=7505, backtracks=1879, failedAssignments=5808, nogoods=1180, foundSolutions=20, bestBound=5838
4.76/2.72 nFilterCalls=124055, avgTableProportion=0.9952380952347499, avgTableSize=209.0
4.76/2.72
4.76/2.74 num=152, depth=2..8, filters=154325, ccks=320, wck=0.611, mem=42M440
4.76/2.74 decisions=16652, wrong=7835, backtracks=1963, failedAssignments=6063, nogoods=1196, foundSolutions=20, bestBound=5838
4.76/2.74 nFilterCalls=129542, avgTableProportion=0.9952380952345864, avgTableSize=209.0
4.76/2.74
4.76/2.76 num=153, depth=3..8, filters=161188, ccks=320, wck=0.629, mem=42M440
4.76/2.76 decisions=17406, wrong=8209, backtracks=2062, failedAssignments=6344, nogoods=1217, foundSolutions=20, bestBound=5838
4.76/2.76 nFilterCalls=135306, avgTableProportion=0.9952380952344289, avgTableSize=209.0
4.76/2.76
4.76/2.76 o 5779
4.76/2.76 num=154, depth=4..28, filters=162972, ccks=336, wck=0.635, mem=42M440
4.76/2.76 decisions=17599, wrong=8301, backtracks=2091, failedAssignments=6411, nogoods=1222, foundSolutions=21, bestBound=5779
4.76/2.76 nFilterCalls=136737, avgTableProportion=0.9952380952343918, avgTableSize=209.0
4.76/2.76
4.76/2.78 num=155, depth=3..10, filters=171071, ccks=336, wck=0.654, mem=42M440
4.76/2.78 decisions=18507, wrong=8752, backtracks=2220, failedAssignments=6751, nogoods=1236, foundSolutions=21, bestBound=5779
4.76/2.78 nFilterCalls=143223, avgTableProportion=0.9952380952342331, avgTableSize=209.0
4.76/2.78
4.76/2.78 num=156, depth=2..6, filters=171504, ccks=336, wck=0.655, mem=42M440
4.76/2.78 decisions=18539, wrong=8766, backtracks=2224, failedAssignments=6762, nogoods=1241, foundSolutions=21, bestBound=5779
4.76/2.78 nFilterCalls=143606, avgTableProportion=0.9952380952342242, avgTableSize=209.0
4.76/2.78
4.76/2.78 num=157, depth=5..7, filters=171898, ccks=336, wck=0.656, mem=42M440
4.76/2.78 decisions=18579, wrong=8783, backtracks=2229, failedAssignments=6774, nogoods=1248, foundSolutions=21, bestBound=5779
4.76/2.78 nFilterCalls=143962, avgTableProportion=0.995238095234216, avgTableSize=209.0
4.76/2.78
4.76/2.78 num=158, depth=3..4, filters=172224, ccks=336, wck=0.658, mem=42M440
4.76/2.78 decisions=18617, wrong=8800, backtracks=2233, failedAssignments=6787, nogoods=1254, foundSolutions=21, bestBound=5779
4.76/2.78 nFilterCalls=144243, avgTableProportion=0.9952380952342095, avgTableSize=209.0
4.76/2.78
4.76/2.79 num=159, depth=2..7, filters=172753, ccks=336, wck=0.659, mem=42M440
4.76/2.79 decisions=18663, wrong=8821, backtracks=2241, failedAssignments=6801, nogoods=1258, foundSolutions=21, bestBound=5779
4.76/2.79 nFilterCalls=144691, avgTableProportion=0.9952380952341993, avgTableSize=209.0
4.76/2.79
4.76/2.79 num=160, depth=6..9, filters=173166, ccks=336, wck=0.66, mem=42M440
4.76/2.79 decisions=18709, wrong=8841, backtracks=2245, failedAssignments=6817, nogoods=1260, foundSolutions=21, bestBound=5779
4.76/2.79 nFilterCalls=145031, avgTableProportion=0.9952380952341915, avgTableSize=209.0
4.76/2.79
4.76/2.79 num=161, depth=4..7, filters=173714, ccks=336, wck=0.662, mem=42M440
4.76/2.79 decisions=18757, wrong=8863, backtracks=2250, failedAssignments=6834, nogoods=1266, foundSolutions=21, bestBound=5779
4.76/2.79 nFilterCalls=145486, avgTableProportion=0.9952380952341812, avgTableSize=209.0
4.76/2.79
4.76/2.79 num=162, depth=3..5, filters=174249, ccks=336, wck=0.663, mem=42M440
4.76/2.79 decisions=18808, wrong=8886, backtracks=2254, failedAssignments=6853, nogoods=1277, foundSolutions=21, bestBound=5779
4.76/2.79 nFilterCalls=145945, avgTableProportion=0.9952380952341707, avgTableSize=209.0
4.76/2.79
4.76/2.79 num=163, depth=5..8, filters=174839, ccks=336, wck=0.665, mem=42M440
4.76/2.79 decisions=18872, wrong=8915, backtracks=2262, failedAssignments=6874, nogoods=1284, foundSolutions=21, bestBound=5779
4.76/2.79 nFilterCalls=146433, avgTableProportion=0.9952380952341598, avgTableSize=209.0
4.76/2.79
4.76/2.79 num=164, depth=5..8, filters=175506, ccks=336, wck=0.667, mem=42M440
4.76/2.79 decisions=18936, wrong=8944, backtracks=2270, failedAssignments=6897, nogoods=1289, foundSolutions=21, bestBound=5779
4.76/2.79 nFilterCalls=147001, avgTableProportion=0.9952380952341472, avgTableSize=209.0
4.76/2.79
4.76/2.79 num=165, depth=5..9, filters=176020, ccks=336, wck=0.668, mem=42M440
4.76/2.79 decisions=19004, wrong=8975, backtracks=2277, failedAssignments=6922, nogoods=1293, foundSolutions=21, bestBound=5779
4.76/2.79 nFilterCalls=147421, avgTableProportion=0.9952380952341379, avgTableSize=209.0
4.76/2.79
4.76/2.80 num=166, depth=2..8, filters=176623, ccks=336, wck=0.67, mem=42M440
4.76/2.80 decisions=19076, wrong=9009, backtracks=2286, failedAssignments=6950, nogoods=1296, foundSolutions=21, bestBound=5779
4.76/2.80 nFilterCalls=147916, avgTableProportion=0.995238095234127, avgTableSize=209.0
4.76/2.80
4.76/2.80 o 5480
4.93/2.80 num=167, depth=7..28, filters=176942, ccks=352, wck=0.671, mem=42M440
4.93/2.80 decisions=19115, wrong=9022, backtracks=2288, failedAssignments=6961, nogoods=1300, foundSolutions=22, bestBound=5480
4.93/2.80 nFilterCalls=148180, avgTableProportion=0.9952380952341212, avgTableSize=209.0
4.93/2.80
4.93/2.80 num=168, depth=3..6, filters=177955, ccks=352, wck=0.674, mem=42M440
4.93/2.80 decisions=19211, wrong=9067, backtracks=2299, failedAssignments=6995, nogoods=1305, foundSolutions=22, bestBound=5480
4.93/2.80 nFilterCalls=149087, avgTableProportion=0.9952380952341016, avgTableSize=209.0
4.93/2.80
4.93/2.80 num=169, depth=3..5, filters=178326, ccks=352, wck=0.675, mem=42M440
4.93/2.80 decisions=19246, wrong=9083, backtracks=2304, failedAssignments=7006, nogoods=1310, foundSolutions=22, bestBound=5480
4.93/2.80 nFilterCalls=149413, avgTableProportion=0.9952380952340946, avgTableSize=209.0
4.93/2.80
4.93/2.80 o 5404
4.93/2.80 num=170, depth=9..28, filters=178471, ccks=368, wck=0.676, mem=42M440
4.93/2.80 decisions=19257, wrong=9084, backtracks=2304, failedAssignments=7007, nogoods=1311, foundSolutions=23, bestBound=5404
4.93/2.80 nFilterCalls=149535, avgTableProportion=0.995238095234092, avgTableSize=209.0
4.93/2.80
4.93/2.80 num=171, depth=4..6, filters=178750, ccks=368, wck=0.677, mem=42M440
4.93/2.80 decisions=19290, wrong=9098, backtracks=2305, failedAssignments=7020, nogoods=1318, foundSolutions=23, bestBound=5404
4.93/2.80 nFilterCalls=149788, avgTableProportion=0.9952380952340866, avgTableSize=209.0
4.93/2.80
4.93/2.80 num=172, depth=5..9, filters=179147, ccks=368, wck=0.678, mem=42M440
4.93/2.80 decisions=19332, wrong=9116, backtracks=2313, failedAssignments=7031, nogoods=1320, foundSolutions=23, bestBound=5404
4.93/2.80 nFilterCalls=150110, avgTableProportion=0.9952380952340797, avgTableSize=209.0
4.93/2.80
4.93/2.81 num=173, depth=4..8, filters=179511, ccks=368, wck=0.679, mem=42M440
4.93/2.81 decisions=19370, wrong=9132, backtracks=2318, failedAssignments=7043, nogoods=1326, foundSolutions=23, bestBound=5404
4.93/2.81 nFilterCalls=150419, avgTableProportion=0.9952380952340731, avgTableSize=209.0
4.93/2.81
4.93/2.81 num=174, depth=5..7, filters=179926, ccks=368, wck=0.68, mem=42M440
4.93/2.81 decisions=19412, wrong=9150, backtracks=2323, failedAssignments=7056, nogoods=1330, foundSolutions=23, bestBound=5404
4.93/2.81 nFilterCalls=150786, avgTableProportion=0.9952380952340654, avgTableSize=209.0
4.93/2.81
4.93/2.81 num=175, depth=4..6, filters=180247, ccks=368, wck=0.681, mem=42M440
4.93/2.81 decisions=19450, wrong=9167, backtracks=2327, failedAssignments=7070, nogoods=1336, foundSolutions=23, bestBound=5404
4.93/2.81 nFilterCalls=151062, avgTableProportion=0.9952380952340596, avgTableSize=209.0
4.93/2.81
4.93/2.81 num=176, depth=5..7, filters=180646, ccks=368, wck=0.682, mem=42M440
4.93/2.81 decisions=19500, wrong=9189, backtracks=2333, failedAssignments=7086, nogoods=1344, foundSolutions=23, bestBound=5404
4.93/2.81 nFilterCalls=151397, avgTableProportion=0.9952380952340526, avgTableSize=209.0
4.93/2.81
4.93/2.81 num=177, depth=3..8, filters=181052, ccks=368, wck=0.684, mem=42M440
4.93/2.81 decisions=19548, wrong=9211, backtracks=2338, failedAssignments=7103, nogoods=1352, foundSolutions=23, bestBound=5404
4.93/2.81 nFilterCalls=151743, avgTableProportion=0.9952380952340454, avgTableSize=209.0
4.93/2.81
4.93/2.81 num=178, depth=4..7, filters=181719, ccks=368, wck=0.685, mem=42M440
4.93/2.81 decisions=19612, wrong=9241, backtracks=2349, failedAssignments=7122, nogoods=1354, foundSolutions=23, bestBound=5404
4.93/2.81 nFilterCalls=152282, avgTableProportion=0.9952380952340342, avgTableSize=209.0
4.93/2.81
4.93/2.81 num=179, depth=2..5, filters=182215, ccks=368, wck=0.687, mem=42M440
4.93/2.81 decisions=19664, wrong=9266, backtracks=2353, failedAssignments=7143, nogoods=1363, foundSolutions=23, bestBound=5404
4.93/2.81 nFilterCalls=152681, avgTableProportion=0.995238095234026, avgTableSize=209.0
4.93/2.81
4.93/2.81 num=180, depth=4..8, filters=182811, ccks=368, wck=0.689, mem=42M440
4.93/2.81 decisions=19732, wrong=9298, backtracks=2362, failedAssignments=7166, nogoods=1370, foundSolutions=23, bestBound=5404
4.93/2.81 nFilterCalls=153206, avgTableProportion=0.9952380952340152, avgTableSize=209.0
4.93/2.81
4.93/2.82 num=181, depth=3..6, filters=183562, ccks=368, wck=0.691, mem=42M440
4.93/2.82 decisions=19799, wrong=9330, backtracks=2369, failedAssignments=7191, nogoods=1376, foundSolutions=23, bestBound=5404
4.93/2.82 nFilterCalls=153850, avgTableProportion=0.9952380952340021, avgTableSize=209.0
4.93/2.82
4.93/2.82 num=182, depth=3..7, filters=184272, ccks=368, wck=0.693, mem=42M440
4.93/2.82 decisions=19880, wrong=9368, backtracks=2379, failedAssignments=7219, nogoods=1385, foundSolutions=23, bestBound=5404
4.93/2.82 nFilterCalls=154454, avgTableProportion=0.99523809523399, avgTableSize=209.0
4.93/2.82
4.93/2.82 num=183, depth=2..7, filters=185094, ccks=368, wck=0.695, mem=42M440
4.93/2.82 decisions=19968, wrong=9410, backtracks=2392, failedAssignments=7250, nogoods=1396, foundSolutions=23, bestBound=5404
4.93/2.82 nFilterCalls=155139, avgTableProportion=0.9952380952339762, avgTableSize=209.0
4.93/2.82
4.93/2.82 num=184, depth=4..8, filters=185908, ccks=368, wck=0.697, mem=42M440
4.93/2.82 decisions=20060, wrong=9453, backtracks=2404, failedAssignments=7284, nogoods=1398, foundSolutions=23, bestBound=5404
4.93/2.82 nFilterCalls=155837, avgTableProportion=0.9952380952339624, avgTableSize=209.0
4.93/2.82
4.93/2.83 num=185, depth=4..8, filters=186790, ccks=368, wck=0.7, mem=42M440
4.93/2.83 decisions=20158, wrong=9499, backtracks=2414, failedAssignments=7321, nogoods=1406, foundSolutions=23, bestBound=5404
4.93/2.83 nFilterCalls=156583, avgTableProportion=0.9952380952339478, avgTableSize=209.0
4.93/2.83
4.93/2.83 num=186, depth=3..8, filters=188154, ccks=368, wck=0.703, mem=42M440
4.93/2.83 decisions=20277, wrong=9556, backtracks=2432, failedAssignments=7362, nogoods=1412, foundSolutions=23, bestBound=5404
4.93/2.83 nFilterCalls=157723, avgTableProportion=0.9952380952339257, avgTableSize=209.0
4.93/2.83
4.93/2.83 num=187, depth=3..6, filters=189243, ccks=368, wck=0.706, mem=42M440
4.93/2.83 decisions=20393, wrong=9612, backtracks=2445, failedAssignments=7407, nogoods=1427, foundSolutions=23, bestBound=5404
4.93/2.83 nFilterCalls=158650, avgTableProportion=0.9952380952339079, avgTableSize=209.0
4.93/2.83
4.93/2.84 num=188, depth=1..9, filters=190519, ccks=368, wck=0.71, mem=42M440
4.93/2.84 decisions=20540, wrong=9683, backtracks=2467, failedAssignments=7457, nogoods=1435, foundSolutions=23, bestBound=5404
4.93/2.84 nFilterCalls=159715, avgTableProportion=0.9952380952338878, avgTableSize=209.0
4.93/2.84
4.93/2.84 num=189, depth=5..8, filters=191878, ccks=368, wck=0.713, mem=42M440
4.93/2.84 decisions=20690, wrong=9755, backtracks=2485, failedAssignments=7512, nogoods=1440, foundSolutions=23, bestBound=5404
4.93/2.84 nFilterCalls=160823, avgTableProportion=0.9952380952338671, avgTableSize=209.0
4.93/2.84
4.93/2.84 num=190, depth=2..8, filters=193502, ccks=368, wck=0.718, mem=42M440
4.93/2.84 decisions=20850, wrong=9834, backtracks=2505, failedAssignments=7573, nogoods=1442, foundSolutions=23, bestBound=5404
4.93/2.84 nFilterCalls=162214, avgTableProportion=0.9952380952338415, avgTableSize=209.0
4.93/2.84
4.93/2.85 num=191, depth=3..8, filters=194981, ccks=368, wck=0.722, mem=42M440
4.93/2.85 decisions=21029, wrong=9921, backtracks=2527, failedAssignments=7640, nogoods=1460, foundSolutions=23, bestBound=5404
4.93/2.85 nFilterCalls=163467, avgTableProportion=0.9952380952338189, avgTableSize=209.0
4.93/2.85
4.93/2.85 num=192, depth=4..7, filters=196042, ccks=368, wck=0.725, mem=42M440
4.93/2.85 decisions=21216, wrong=10012, backtracks=2546, failedAssignments=7714, nogoods=1471, foundSolutions=23, bestBound=5404
4.93/2.85 nFilterCalls=164412, avgTableProportion=0.9952380952338021, avgTableSize=209.0
4.93/2.85
4.93/2.86 num=193, depth=2..10, filters=198004, ccks=368, wck=0.73, mem=42M440
4.93/2.86 decisions=21442, wrong=10123, backtracks=2581, failedAssignments=7795, nogoods=1475, foundSolutions=23, bestBound=5404
4.93/2.86 nFilterCalls=166038, avgTableProportion=0.9952380952337736, avgTableSize=209.0
4.93/2.86
4.93/2.86 num=194, depth=4..8, filters=200185, ccks=368, wck=0.736, mem=42M440
4.93/2.86 decisions=21683, wrong=10240, backtracks=2612, failedAssignments=7884, nogoods=1485, foundSolutions=23, bestBound=5404
4.93/2.86 nFilterCalls=167831, avgTableProportion=0.9952380952337427, avgTableSize=209.0
4.93/2.86
4.93/2.87 num=195, depth=4..9, filters=202374, ccks=368, wck=0.742, mem=42M440
4.93/2.87 decisions=21938, wrong=10365, backtracks=2641, failedAssignments=7982, nogoods=1490, foundSolutions=23, bestBound=5404
4.93/2.87 nFilterCalls=169694, avgTableProportion=0.9952380952337114, avgTableSize=209.0
4.93/2.87
4.93/2.87 num=196, depth=4..8, filters=204744, ccks=368, wck=0.748, mem=42M440
4.93/2.87 decisions=22223, wrong=10505, backtracks=2675, failedAssignments=8090, nogoods=1497, foundSolutions=23, bestBound=5404
4.93/2.87 nFilterCalls=171701, avgTableProportion=0.9952380952336785, avgTableSize=209.0
4.93/2.87
4.93/2.88 num=197, depth=2..7, filters=207688, ccks=368, wck=0.757, mem=42M440
4.93/2.88 decisions=22527, wrong=10654, backtracks=2708, failedAssignments=8209, nogoods=1515, foundSolutions=23, bestBound=5404
4.93/2.88 nFilterCalls=174253, avgTableProportion=0.9952380952336376, avgTableSize=209.0
4.93/2.88
4.93/2.89 num=198, depth=3..7, filters=210628, ccks=368, wck=0.764, mem=42M440
4.93/2.89 decisions=22873, wrong=10825, backtracks=2752, failedAssignments=8340, nogoods=1522, foundSolutions=23, bestBound=5404
4.93/2.89 nFilterCalls=176679, avgTableProportion=0.9952380952335999, avgTableSize=209.0
4.93/2.89
5.06/2.90 num=199, depth=3..8, filters=214154, ccks=368, wck=0.773, mem=42M440
5.06/2.90 decisions=23260, wrong=11016, backtracks=2806, failedAssignments=8484, nogoods=1527, foundSolutions=23, bestBound=5404
5.06/2.90 nFilterCalls=179455, avgTableProportion=0.9952380952335579, avgTableSize=209.0
5.06/2.90
5.06/2.91 num=200, depth=2..7, filters=218672, ccks=368, wck=0.786, mem=42M440
5.06/2.91 decisions=23662, wrong=11216, backtracks=2856, failedAssignments=8642, nogoods=1555, foundSolutions=23, bestBound=5404
5.06/2.91 nFilterCalls=183318, avgTableProportion=0.9952380952335016, avgTableSize=209.0
5.06/2.91
5.06/2.92 num=201, depth=3..7, filters=222715, ccks=368, wck=0.797, mem=42M440
5.06/2.92 decisions=24118, wrong=11442, backtracks=2920, failedAssignments=8816, nogoods=1569, foundSolutions=23, bestBound=5404
5.06/2.92 nFilterCalls=186701, avgTableProportion=0.9952380952334543, avgTableSize=209.0
5.06/2.92
5.06/2.93 num=202, depth=2..9, filters=227037, ccks=368, wck=0.809, mem=42M440
5.06/2.93 decisions=24611, wrong=11686, backtracks=2977, failedAssignments=9007, nogoods=1587, foundSolutions=23, bestBound=5404
5.06/2.93 nFilterCalls=190393, avgTableProportion=0.9952380952334046, avgTableSize=209.0
5.06/2.93
5.06/2.94 o 5386
5.06/2.94 num=203, depth=3..28, filters=228355, ccks=384, wck=0.813, mem=42M440
5.06/2.94 decisions=24771, wrong=11761, backtracks=3001, failedAssignments=9061, nogoods=1596, foundSolutions=24, bestBound=5386
5.06/2.94 nFilterCalls=191539, avgTableProportion=0.9952380952333895, avgTableSize=209.0
5.06/2.94
5.06/2.95 num=204, depth=2..8, filters=234059, ccks=384, wck=0.828, mem=45M83
5.06/2.95 decisions=25404, wrong=12075, backtracks=3088, failedAssignments=9293, nogoods=1604, foundSolutions=24, bestBound=5386
5.06/2.95 nFilterCalls=196285, avgTableProportion=0.995238095233329, avgTableSize=209.0
5.06/2.95
5.06/2.95 num=205, depth=4..7, filters=234291, ccks=384, wck=0.828, mem=45M83
5.06/2.95 decisions=25435, wrong=12088, backtracks=3090, failedAssignments=9304, nogoods=1612, foundSolutions=24, bestBound=5386
5.06/2.95 nFilterCalls=196479, avgTableProportion=0.9952380952333266, avgTableSize=209.0
5.06/2.95
5.06/2.96 num=206, depth=2..6, filters=234827, ccks=384, wck=0.83, mem=45M83
5.06/2.96 decisions=25474, wrong=12106, backtracks=3097, failedAssignments=9316, nogoods=1621, foundSolutions=24, bestBound=5386
5.06/2.96 nFilterCalls=196961, avgTableProportion=0.9952380952333206, avgTableSize=209.0
5.06/2.96
5.06/2.96 num=207, depth=4..6, filters=235138, ccks=384, wck=0.831, mem=45M83
5.06/2.96 decisions=25510, wrong=12121, backtracks=3099, failedAssignments=9329, nogoods=1628, foundSolutions=24, bestBound=5386
5.06/2.96 nFilterCalls=197230, avgTableProportion=0.9952380952333173, avgTableSize=209.0
5.06/2.96
5.06/2.96 num=208, depth=4..7, filters=235526, ccks=384, wck=0.832, mem=45M83
5.06/2.96 decisions=25551, wrong=12139, backtracks=3103, failedAssignments=9343, nogoods=1635, foundSolutions=24, bestBound=5386
5.06/2.96 nFilterCalls=197545, avgTableProportion=0.9952380952333134, avgTableSize=209.0
5.06/2.96
5.06/2.96 num=209, depth=4..7, filters=235931, ccks=384, wck=0.834, mem=45M83
5.06/2.96 decisions=25598, wrong=12160, backtracks=3108, failedAssignments=9359, nogoods=1638, foundSolutions=24, bestBound=5386
5.06/2.96 nFilterCalls=197883, avgTableProportion=0.9952380952333093, avgTableSize=209.0
5.06/2.96
5.06/2.96 num=210, depth=4..7, filters=236366, ccks=384, wck=0.835, mem=45M83
5.06/2.96 decisions=25646, wrong=12181, backtracks=3113, failedAssignments=9376, nogoods=1651, foundSolutions=24, bestBound=5386
5.06/2.96 nFilterCalls=198242, avgTableProportion=0.9952380952333049, avgTableSize=209.0
5.06/2.96
5.06/2.96 num=211, depth=2..5, filters=236866, ccks=384, wck=0.836, mem=45M83
5.06/2.96 decisions=25703, wrong=12208, backtracks=3121, failedAssignments=9395, nogoods=1655, foundSolutions=24, bestBound=5386
5.06/2.96 nFilterCalls=198661, avgTableProportion=0.9952380952332999, avgTableSize=209.0
5.06/2.96
5.06/2.96 num=212, depth=4..7, filters=237313, ccks=384, wck=0.838, mem=45M83
5.06/2.96 decisions=25757, wrong=12233, backtracks=3126, failedAssignments=9416, nogoods=1671, foundSolutions=24, bestBound=5386
5.06/2.96 nFilterCalls=199038, avgTableProportion=0.9952380952332952, avgTableSize=209.0
5.06/2.96
5.06/2.97 num=213, depth=2..6, filters=238107, ccks=384, wck=0.84, mem=45M83
5.06/2.97 decisions=25830, wrong=12268, backtracks=3139, failedAssignments=9439, nogoods=1675, foundSolutions=24, bestBound=5386
5.06/2.97 nFilterCalls=199709, avgTableProportion=0.9952380952332872, avgTableSize=209.0
5.06/2.97
5.06/2.97 num=214, depth=5..8, filters=238709, ccks=384, wck=0.842, mem=45M83
5.06/2.97 decisions=25901, wrong=12301, backtracks=3147, failedAssignments=9464, nogoods=1678, foundSolutions=24, bestBound=5386
5.06/2.97 nFilterCalls=200191, avgTableProportion=0.9952380952332814, avgTableSize=209.0
5.06/2.97
5.06/2.97 num=215, depth=2..5, filters=239427, ccks=384, wck=0.844, mem=45M83
5.06/2.97 decisions=25977, wrong=12338, backtracks=3156, failedAssignments=9492, nogoods=1685, foundSolutions=24, bestBound=5386
5.06/2.97 nFilterCalls=200796, avgTableProportion=0.9952380952332742, avgTableSize=209.0
5.06/2.97
5.06/2.97 num=216, depth=4..8, filters=240244, ccks=384, wck=0.846, mem=45M83
5.06/2.97 decisions=26061, wrong=12377, backtracks=3164, failedAssignments=9523, nogoods=1691, foundSolutions=24, bestBound=5386
5.06/2.97 nFilterCalls=201463, avgTableProportion=0.9952380952332662, avgTableSize=209.0
5.06/2.97
5.06/2.97 num=217, depth=1..6, filters=241120, ccks=384, wck=0.849, mem=45M83
5.06/2.97 decisions=26151, wrong=12420, backtracks=3173, failedAssignments=9557, nogoods=1694, foundSolutions=24, bestBound=5386
5.06/2.97 nFilterCalls=202214, avgTableProportion=0.9952380952332575, avgTableSize=209.0
5.06/2.97
5.06/2.98 num=218, depth=5..8, filters=242016, ccks=384, wck=0.851, mem=45M83
5.06/2.98 decisions=26251, wrong=12467, backtracks=3185, failedAssignments=9594, nogoods=1702, foundSolutions=24, bestBound=5386
5.06/2.98 nFilterCalls=202934, avgTableProportion=0.995238095233249, avgTableSize=209.0
5.06/2.98
5.06/2.98 num=219, depth=3..6, filters=243127, ccks=384, wck=0.854, mem=45M83
5.06/2.98 decisions=26364, wrong=12522, backtracks=3199, failedAssignments=9635, nogoods=1704, foundSolutions=24, bestBound=5386
5.06/2.98 nFilterCalls=203887, avgTableProportion=0.995238095233238, avgTableSize=209.0
5.06/2.98
5.06/2.98 num=220, depth=2..6, filters=244397, ccks=384, wck=0.858, mem=45M83
5.06/2.98 decisions=26477, wrong=12577, backtracks=3211, failedAssignments=9680, nogoods=1712, foundSolutions=24, bestBound=5386
5.06/2.98 nFilterCalls=204958, avgTableProportion=0.9952380952332257, avgTableSize=209.0
5.06/2.98
5.06/2.99 num=221, depth=3..7, filters=245681, ccks=384, wck=0.862, mem=45M83
5.06/2.99 decisions=26624, wrong=12648, backtracks=3235, failedAssignments=9730, nogoods=1718, foundSolutions=24, bestBound=5386
5.06/2.99 nFilterCalls=206002, avgTableProportion=0.9952380952332139, avgTableSize=209.0
5.06/2.99
5.06/2.99 num=222, depth=3..7, filters=246988, ccks=384, wck=0.866, mem=45M83
5.06/2.99 decisions=26771, wrong=12719, backtracks=3253, failedAssignments=9785, nogoods=1727, foundSolutions=24, bestBound=5386
5.06/2.99 nFilterCalls=207126, avgTableProportion=0.9952380952332013, avgTableSize=209.0
5.06/2.99
5.06/2.99 num=223, depth=4..8, filters=248198, ccks=384, wck=0.869, mem=45M83
5.06/2.99 decisions=26935, wrong=12798, backtracks=3273, failedAssignments=9846, nogoods=1732, foundSolutions=24, bestBound=5386
5.06/2.99 nFilterCalls=208105, avgTableProportion=0.9952380952331904, avgTableSize=209.0
5.06/2.99
5.06/3.00 num=224, depth=3..6, filters=250021, ccks=384, wck=0.874, mem=45M83
5.06/3.00 decisions=27110, wrong=12884, backtracks=3292, failedAssignments=9913, nogoods=1754, foundSolutions=24, bestBound=5386
5.06/3.00 nFilterCalls=209644, avgTableProportion=0.9952380952331735, avgTableSize=209.0
5.06/3.00
5.06/3.01 num=225, depth=2..7, filters=251832, ccks=384, wck=0.879, mem=45M83
5.06/3.01 decisions=27310, wrong=12982, backtracks=3320, failedAssignments=9987, nogoods=1771, foundSolutions=24, bestBound=5386
5.06/3.01 nFilterCalls=211162, avgTableProportion=0.9952380952331571, avgTableSize=209.0
5.06/3.01
5.19/3.01 num=226, depth=1..8, filters=253779, ccks=384, wck=0.885, mem=45M83
5.19/3.01 decisions=27522, wrong=13086, backtracks=3346, failedAssignments=10068, nogoods=1784, foundSolutions=24, bestBound=5386
5.19/3.01 nFilterCalls=212762, avgTableProportion=0.99523809523314, avgTableSize=209.0
5.19/3.01
5.19/3.02 num=227, depth=4..7, filters=255767, ccks=384, wck=0.89, mem=45M83
5.19/3.02 decisions=27759, wrong=13202, backtracks=3375, failedAssignments=10157, nogoods=1795, foundSolutions=24, bestBound=5386
5.19/3.02 nFilterCalls=214388, avgTableProportion=0.9952380952331229, avgTableSize=209.0
5.19/3.02
5.19/3.02 num=228, depth=5..9, filters=258449, ccks=384, wck=0.897, mem=45M83
5.19/3.02 decisions=28046, wrong=13343, backtracks=3422, failedAssignments=10255, nogoods=1802, foundSolutions=24, bestBound=5386
5.19/3.02 nFilterCalls=216622, avgTableProportion=0.9952380952330999, avgTableSize=209.0
5.19/3.02
5.19/3.03 num=229, depth=3..8, filters=260679, ccks=384, wck=0.903, mem=45M83
5.19/3.03 decisions=28322, wrong=13478, backtracks=3455, failedAssignments=10363, nogoods=1804, foundSolutions=24, bestBound=5386
5.19/3.03 nFilterCalls=218406, avgTableProportion=0.9952380952330818, avgTableSize=209.0
5.19/3.03
5.19/3.04 num=230, depth=2..7, filters=263707, ccks=384, wck=0.911, mem=45M83
5.19/3.04 decisions=28628, wrong=13628, backtracks=3488, failedAssignments=10482, nogoods=1810, foundSolutions=24, bestBound=5386
5.19/3.04 nFilterCalls=221036, avgTableProportion=0.9952380952330557, avgTableSize=209.0
5.19/3.04
5.19/3.04 num=231, depth=3..7, filters=266229, ccks=384, wck=0.919, mem=45M83
5.19/3.04 decisions=28967, wrong=13796, backtracks=3527, failedAssignments=10613, nogoods=1824, foundSolutions=24, bestBound=5386
5.19/3.04 nFilterCalls=223219, avgTableProportion=0.9952380952330345, avgTableSize=209.0
5.19/3.04
5.19/3.06 num=232, depth=2..7, filters=270112, ccks=384, wck=0.93, mem=45M83
5.19/3.06 decisions=29356, wrong=13988, backtracks=3578, failedAssignments=10757, nogoods=1837, foundSolutions=24, bestBound=5386
5.19/3.06 nFilterCalls=226468, avgTableProportion=0.9952380952330038, avgTableSize=209.0
5.19/3.06
5.19/3.07 num=233, depth=3..9, filters=273927, ccks=384, wck=0.939, mem=45M83
5.19/3.07 decisions=29777, wrong=14196, backtracks=3633, failedAssignments=10915, nogoods=1844, foundSolutions=24, bestBound=5386
5.19/3.07 nFilterCalls=229583, avgTableProportion=0.995238095232975, avgTableSize=209.0
5.19/3.07
5.19/3.08 num=234, depth=3..9, filters=278321, ccks=384, wck=0.95, mem=45M83
5.19/3.08 decisions=30262, wrong=14435, backtracks=3705, failedAssignments=11089, nogoods=1851, foundSolutions=24, bestBound=5386
5.19/3.08 nFilterCalls=233142, avgTableProportion=0.9952380952329432, avgTableSize=209.0
5.19/3.08
5.19/3.09 num=235, depth=3..9, filters=283873, ccks=384, wck=0.965, mem=45M83
5.19/3.09 decisions=30791, wrong=14697, backtracks=3784, failedAssignments=11280, nogoods=1863, foundSolutions=24, bestBound=5386
5.19/3.09 nFilterCalls=237857, avgTableProportion=0.9952380952329025, avgTableSize=209.0
5.19/3.09
5.19/3.09 o 5306
5.19/3.09 num=236, depth=5..28, filters=284594, ccks=400, wck=0.967, mem=45M83
5.19/3.09 decisions=30888, wrong=14740, backtracks=3792, failedAssignments=11316, nogoods=1872, foundSolutions=25, bestBound=5306
5.19/3.09 nFilterCalls=238422, avgTableProportion=0.9952380952328977, avgTableSize=209.0
5.19/3.09
5.30/3.11 num=237, depth=3..9, filters=290585, ccks=400, wck=0.982, mem=45M83
5.30/3.11 decisions=31515, wrong=15049, backtracks=3876, failedAssignments=11548, nogoods=1883, foundSolutions=25, bestBound=5306
5.30/3.11 nFilterCalls=243362, avgTableProportion=0.9952380952328569, avgTableSize=209.0
5.30/3.11
5.30/3.11 num=238, depth=3..6, filters=290858, ccks=400, wck=0.983, mem=45M83
5.30/3.11 decisions=31551, wrong=15065, backtracks=3881, failedAssignments=11559, nogoods=1886, foundSolutions=25, bestBound=5306
5.30/3.11 nFilterCalls=243596, avgTableProportion=0.995238095232855, avgTableSize=209.0
5.30/3.11
5.30/3.11 num=239, depth=3..7, filters=291255, ccks=400, wck=0.984, mem=45M83
5.30/3.11 decisions=31591, wrong=15082, backtracks=3886, failedAssignments=11571, nogoods=1891, foundSolutions=25, bestBound=5306
5.30/3.11 nFilterCalls=243949, avgTableProportion=0.9952380952328522, avgTableSize=209.0
5.30/3.11
5.30/3.11 num=240, depth=6..9, filters=291610, ccks=400, wck=0.985, mem=45M83
5.30/3.11 decisions=31629, wrong=15098, backtracks=3890, failedAssignments=11584, nogoods=1894, foundSolutions=25, bestBound=5306
5.30/3.11 nFilterCalls=244235, avgTableProportion=0.9952380952328499, avgTableSize=209.0
5.30/3.11
5.30/3.11 num=241, depth=3..5, filters=291993, ccks=400, wck=0.986, mem=45M83
5.30/3.11 decisions=31667, wrong=15115, backtracks=3893, failedAssignments=11598, nogoods=1897, foundSolutions=25, bestBound=5306
5.30/3.11 nFilterCalls=244564, avgTableProportion=0.9952380952328472, avgTableSize=209.0
5.30/3.11
5.30/3.11 num=242, depth=3..9, filters=292447, ccks=400, wck=0.987, mem=45M83
5.30/3.11 decisions=31716, wrong=15138, backtracks=3902, failedAssignments=11614, nogoods=1899, foundSolutions=25, bestBound=5306
5.30/3.11 nFilterCalls=244975, avgTableProportion=0.995238095232844, avgTableSize=209.0
5.30/3.11
5.30/3.12 num=243, depth=4..7, filters=293020, ccks=400, wck=0.989, mem=45M83
5.30/3.12 decisions=31768, wrong=15162, backtracks=3910, failedAssignments=11631, nogoods=1909, foundSolutions=25, bestBound=5306
5.30/3.12 nFilterCalls=245472, avgTableProportion=0.99523809523284, avgTableSize=209.0
5.30/3.12
5.30/3.12 num=244, depth=2..6, filters=293716, ccks=400, wck=0.991, mem=45M83
5.30/3.12 decisions=31825, wrong=15189, backtracks=3919, failedAssignments=11650, nogoods=1919, foundSolutions=25, bestBound=5306
5.30/3.12 nFilterCalls=246071, avgTableProportion=0.9952380952328352, avgTableSize=209.0
5.30/3.12
5.30/3.12 num=245, depth=5..8, filters=294269, ccks=400, wck=0.993, mem=45M83
5.30/3.12 decisions=31876, wrong=15212, backtracks=3923, failedAssignments=11671, nogoods=1929, foundSolutions=25, bestBound=5306
5.30/3.12 nFilterCalls=246537, avgTableProportion=0.9952380952328316, avgTableSize=209.0
5.30/3.12
5.30/3.12 num=246, depth=4..8, filters=294752, ccks=400, wck=0.994, mem=45M83
5.30/3.12 decisions=31937, wrong=15239, backtracks=3927, failedAssignments=11694, nogoods=1940, foundSolutions=25, bestBound=5306
5.30/3.12 nFilterCalls=246932, avgTableProportion=0.9952380952328285, avgTableSize=209.0
5.30/3.12
5.30/3.12 num=247, depth=2..6, filters=295311, ccks=400, wck=0.996, mem=45M83
5.30/3.12 decisions=32001, wrong=15269, backtracks=3933, failedAssignments=11719, nogoods=1946, foundSolutions=25, bestBound=5306
5.30/3.12 nFilterCalls=247388, avgTableProportion=0.9952380952328249, avgTableSize=209.0
5.30/3.12
5.30/3.12 num=248, depth=3..6, filters=296226, ccks=400, wck=0.999, mem=45M83
5.30/3.12 decisions=32088, wrong=15311, backtracks=3948, failedAssignments=11747, nogoods=1952, foundSolutions=25, bestBound=5306
5.30/3.12 nFilterCalls=248163, avgTableProportion=0.9952380952328188, avgTableSize=209.0
5.30/3.12
5.30/3.13 num=249, depth=2..6, filters=297239, ccks=400, wck=1.002, mem=45M83
5.30/3.13 decisions=32179, wrong=15355, backtracks=3962, failedAssignments=11778, nogoods=1967, foundSolutions=25, bestBound=5306
5.30/3.13 nFilterCalls=249036, avgTableProportion=0.995238095232812, avgTableSize=209.0
5.30/3.13
5.30/3.13 num=250, depth=4..8, filters=298210, ccks=400, wck=1.004, mem=45M83
5.30/3.13 decisions=32287, wrong=15405, backtracks=3978, failedAssignments=11812, nogoods=1976, foundSolutions=25, bestBound=5306
5.30/3.13 nFilterCalls=249890, avgTableProportion=0.9952380952328055, avgTableSize=209.0
5.30/3.13
5.30/3.13 num=251, depth=2..7, filters=299581, ccks=400, wck=1.008, mem=45M83
5.30/3.13 decisions=32405, wrong=15462, backtracks=3999, failedAssignments=11849, nogoods=1982, foundSolutions=25, bestBound=5306
5.30/3.13 nFilterCalls=251068, avgTableProportion=0.9952380952327965, avgTableSize=209.0
5.30/3.13
5.30/3.14 num=252, depth=2..6, filters=300802, ccks=400, wck=1.012, mem=45M83
5.30/3.14 decisions=32522, wrong=15519, backtracks=4016, failedAssignments=11890, nogoods=1992, foundSolutions=25, bestBound=5306
5.30/3.14 nFilterCalls=252085, avgTableProportion=0.9952380952327888, avgTableSize=209.0
5.30/3.14
5.30/3.14 num=253, depth=3..7, filters=301816, ccks=400, wck=1.015, mem=45M83
5.30/3.14 decisions=32639, wrong=15575, backtracks=4029, failedAssignments=11935, nogoods=2010, foundSolutions=25, bestBound=5306
5.30/3.14 nFilterCalls=252913, avgTableProportion=0.9952380952327826, avgTableSize=209.0
5.30/3.14
5.30/3.14 num=254, depth=1..5, filters=303052, ccks=400, wck=1.019, mem=45M83
5.30/3.14 decisions=32767, wrong=15638, backtracks=4042, failedAssignments=11985, nogoods=2020, foundSolutions=25, bestBound=5306
5.30/3.14 nFilterCalls=253993, avgTableProportion=0.9952380952327745, avgTableSize=209.0
5.30/3.14
5.30/3.15 num=255, depth=2..8, filters=304550, ccks=400, wck=1.023, mem=45M83
5.30/3.15 decisions=32919, wrong=15711, backtracks=4061, failedAssignments=12040, nogoods=2037, foundSolutions=25, bestBound=5306
5.30/3.15 nFilterCalls=255288, avgTableProportion=0.995238095232765, avgTableSize=209.0
5.30/3.15
5.30/3.15 num=256, depth=4..8, filters=305992, ccks=400, wck=1.027, mem=45M83
5.30/3.15 decisions=33092, wrong=15795, backtracks=4084, failedAssignments=12101, nogoods=2052, foundSolutions=25, bestBound=5306
5.30/3.15 nFilterCalls=256472, avgTableProportion=0.9952380952327563, avgTableSize=209.0
5.30/3.15
5.30/3.16 num=257, depth=2..7, filters=307651, ccks=400, wck=1.032, mem=45M83
5.30/3.16 decisions=33269, wrong=15881, backtracks=4103, failedAssignments=12168, nogoods=2063, foundSolutions=25, bestBound=5306
5.30/3.16 nFilterCalls=257843, avgTableProportion=0.9952380952327464, avgTableSize=209.0
5.30/3.16
5.30/3.16 num=258, depth=2..6, filters=309679, ccks=400, wck=1.037, mem=45M83
5.30/3.16 decisions=33469, wrong=15979, backtracks=4134, failedAssignments=12242, nogoods=2073, foundSolutions=25, bestBound=5306
5.30/3.16 nFilterCalls=259545, avgTableProportion=0.9952380952327342, avgTableSize=209.0
5.30/3.16
5.30/3.17 num=259, depth=2..6, filters=311768, ccks=400, wck=1.043, mem=45M83
5.30/3.17 decisions=33682, wrong=16083, backtracks=4157, failedAssignments=12323, nogoods=2085, foundSolutions=25, bestBound=5306
5.30/3.17 nFilterCalls=261333, avgTableProportion=0.9952380952327216, avgTableSize=209.0
5.30/3.17
5.30/3.18 num=260, depth=1..9, filters=314062, ccks=400, wck=1.05, mem=45M83
5.30/3.18 decisions=33914, wrong=16196, backtracks=4184, failedAssignments=12412, nogoods=2092, foundSolutions=25, bestBound=5306
5.30/3.18 nFilterCalls=263341, avgTableProportion=0.9952380952327076, avgTableSize=209.0
5.30/3.18
5.30/3.18 o 5263
5.30/3.18 num=261, depth=5..28, filters=314890, ccks=416, wck=1.053, mem=45M83
5.30/3.18 decisions=34010, wrong=16238, backtracks=4199, failedAssignments=12443, nogoods=2096, foundSolutions=26, bestBound=5263
5.30/3.18 nFilterCalls=264017, avgTableProportion=0.995238095232703, avgTableSize=209.0
5.30/3.18
5.30/3.19 num=262, depth=4..9, filters=317755, ccks=416, wck=1.06, mem=45M83
5.30/3.19 decisions=34287, wrong=16374, backtracks=4230, failedAssignments=12551, nogoods=2109, foundSolutions=26, bestBound=5263
5.30/3.19 nFilterCalls=266397, avgTableProportion=0.9952380952326868, avgTableSize=209.0
5.30/3.19
5.30/3.19 num=263, depth=5..10, filters=318074, ccks=416, wck=1.06, mem=45M83
5.30/3.19 decisions=34323, wrong=16388, backtracks=4234, failedAssignments=12562, nogoods=2112, foundSolutions=26, bestBound=5263
5.30/3.19 nFilterCalls=266668, avgTableProportion=0.995238095232685, avgTableSize=209.0
5.30/3.19
5.30/3.19 num=264, depth=5..7, filters=318480, ccks=416, wck=1.062, mem=45M83
5.30/3.19 decisions=34358, wrong=16403, backtracks=4237, failedAssignments=12574, nogoods=2121, foundSolutions=26, bestBound=5263
5.30/3.19 nFilterCalls=267016, avgTableProportion=0.9952380952326827, avgTableSize=209.0
5.30/3.19
5.30/3.19 num=265, depth=5..7, filters=318864, ccks=416, wck=1.063, mem=45M83
5.30/3.19 decisions=34396, wrong=16419, backtracks=4240, failedAssignments=12587, nogoods=2127, foundSolutions=26, bestBound=5263
5.30/3.19 nFilterCalls=267345, avgTableProportion=0.9952380952326805, avgTableSize=209.0
5.30/3.19
5.30/3.19 num=266, depth=3..5, filters=319214, ccks=416, wck=1.064, mem=45M83
5.30/3.19 decisions=34436, wrong=16437, backtracks=4244, failedAssignments=12601, nogoods=2135, foundSolutions=26, bestBound=5263
5.30/3.19 nFilterCalls=267664, avgTableProportion=0.9952380952326784, avgTableSize=209.0
5.30/3.19
5.30/3.19 num=267, depth=5..8, filters=319645, ccks=416, wck=1.065, mem=45M83
5.30/3.19 decisions=34482, wrong=16457, backtracks=4250, failedAssignments=12617, nogoods=2139, foundSolutions=26, bestBound=5263
5.30/3.19 nFilterCalls=268034, avgTableProportion=0.9952380952326758, avgTableSize=209.0
5.30/3.19
5.30/3.19 num=268, depth=2..4, filters=320023, ccks=416, wck=1.066, mem=45M83
5.30/3.19 decisions=34526, wrong=16477, backtracks=4253, failedAssignments=12634, nogoods=2147, foundSolutions=26, bestBound=5263
5.30/3.19 nFilterCalls=268377, avgTableProportion=0.9952380952326736, avgTableSize=209.0
5.30/3.19
5.30/3.19 num=269, depth=2..5, filters=320668, ccks=416, wck=1.068, mem=45M83
5.30/3.19 decisions=34583, wrong=16504, backtracks=4262, failedAssignments=12653, nogoods=2152, foundSolutions=26, bestBound=5263
5.30/3.19 nFilterCalls=268941, avgTableProportion=0.9952380952326698, avgTableSize=209.0
5.30/3.19
5.30/3.20 o 5223
5.30/3.20 num=270, depth=5..28, filters=321079, ccks=432, wck=1.07, mem=45M83
5.30/3.20 decisions=34632, wrong=16523, backtracks=4266, failedAssignments=12668, nogoods=2159, foundSolutions=27, bestBound=5223
5.30/3.20 nFilterCalls=269277, avgTableProportion=0.9952380952326676, avgTableSize=209.0
5.30/3.20
5.41/3.20 num=271, depth=4..8, filters=321759, ccks=432, wck=1.072, mem=45M83
5.41/3.20 decisions=34702, wrong=16554, backtracks=4274, failedAssignments=12691, nogoods=2166, foundSolutions=27, bestBound=5223
5.41/3.20 nFilterCalls=269861, avgTableProportion=0.9952380952326637, avgTableSize=209.0
5.41/3.20
5.41/3.20 num=272, depth=2..4, filters=321984, ccks=432, wck=1.072, mem=45M83
5.41/3.20 decisions=34731, wrong=16567, backtracks=4276, failedAssignments=12702, nogoods=2168, foundSolutions=27, bestBound=5223
5.41/3.20 nFilterCalls=270065, avgTableProportion=0.9952380952326624, avgTableSize=209.0
5.41/3.20
5.41/3.20 num=273, depth=4..5, filters=322273, ccks=432, wck=1.073, mem=45M83
5.41/3.20 decisions=34764, wrong=16581, backtracks=4278, failedAssignments=12714, nogoods=2172, foundSolutions=27, bestBound=5223
5.41/3.20 nFilterCalls=270299, avgTableProportion=0.9952380952326608, avgTableSize=209.0
5.41/3.20
5.41/3.20 num=274, depth=3..9, filters=322654, ccks=432, wck=1.074, mem=45M83
5.41/3.20 decisions=34805, wrong=16599, backtracks=4283, failedAssignments=12727, nogoods=2177, foundSolutions=27, bestBound=5223
5.41/3.20 nFilterCalls=270637, avgTableProportion=0.9952380952326586, avgTableSize=209.0
5.41/3.20
5.41/3.20 num=275, depth=4..6, filters=322976, ccks=432, wck=1.076, mem=45M83
5.41/3.20 decisions=34844, wrong=16616, backtracks=4286, failedAssignments=12741, nogoods=2182, foundSolutions=27, bestBound=5223
5.41/3.20 nFilterCalls=270905, avgTableProportion=0.9952380952326569, avgTableSize=209.0
5.41/3.20
5.41/3.20 num=276, depth=4..7, filters=323324, ccks=432, wck=1.077, mem=45M83
5.41/3.20 decisions=34888, wrong=16635, backtracks=4289, failedAssignments=12757, nogoods=2188, foundSolutions=27, bestBound=5223
5.41/3.20 nFilterCalls=271188, avgTableProportion=0.995238095232655, avgTableSize=209.0
5.41/3.20
5.41/3.20 num=277, depth=2..5, filters=323773, ccks=432, wck=1.078, mem=47M725
5.41/3.20 decisions=34935, wrong=16657, backtracks=4295, failedAssignments=12774, nogoods=2191, foundSolutions=27, bestBound=5223
5.41/3.20 nFilterCalls=271553, avgTableProportion=0.9952380952326527, avgTableSize=209.0
5.41/3.20
5.41/3.21 num=278, depth=4..7, filters=324268, ccks=432, wck=1.079, mem=47M725
5.41/3.21 decisions=34988, wrong=16681, backtracks=4300, failedAssignments=12793, nogoods=2198, foundSolutions=27, bestBound=5223
5.41/3.21 nFilterCalls=271962, avgTableProportion=0.99523809523265, avgTableSize=209.0
5.41/3.21
5.41/3.21 num=279, depth=3..7, filters=324852, ccks=432, wck=1.081, mem=47M725
5.41/3.21 decisions=35045, wrong=16707, backtracks=4306, failedAssignments=12814, nogoods=2202, foundSolutions=27, bestBound=5223
5.41/3.21 nFilterCalls=272482, avgTableProportion=0.9952380952326467, avgTableSize=209.0
5.41/3.21
5.41/3.21 num=280, depth=7..10, filters=325342, ccks=432, wck=1.083, mem=47M725
5.41/3.21 decisions=35114, wrong=16738, backtracks=4314, failedAssignments=12837, nogoods=2207, foundSolutions=27, bestBound=5223
5.41/3.21 nFilterCalls=272886, avgTableProportion=0.9952380952326441, avgTableSize=209.0
5.41/3.21
5.41/3.21 num=281, depth=4..7, filters=326104, ccks=432, wck=1.085, mem=47M725
5.41/3.21 decisions=35185, wrong=16771, backtracks=4322, failedAssignments=12862, nogoods=2211, foundSolutions=27, bestBound=5223
5.41/3.21 nFilterCalls=273545, avgTableProportion=0.9952380952326398, avgTableSize=209.0
5.41/3.21
5.41/3.21 o 5186
5.41/3.21 num=282, depth=6..28, filters=326502, ccks=448, wck=1.086, mem=47M725
5.41/3.21 decisions=35236, wrong=16791, backtracks=4327, failedAssignments=12877, nogoods=2217, foundSolutions=28, bestBound=5186
5.41/3.21 nFilterCalls=273870, avgTableProportion=0.9952380952326377, avgTableSize=209.0
5.41/3.21
5.41/3.21 num=283, depth=4..8, filters=327411, ccks=448, wck=1.088, mem=47M725
5.41/3.21 decisions=35325, wrong=16833, backtracks=4338, failedAssignments=12908, nogoods=2226, foundSolutions=28, bestBound=5186
5.41/3.21 nFilterCalls=274671, avgTableProportion=0.9952380952326326, avgTableSize=209.0
5.41/3.21
5.41/3.22 num=284, depth=3..6, filters=327815, ccks=448, wck=1.09, mem=47M725
5.41/3.22 decisions=35362, wrong=16849, backtracks=4344, failedAssignments=12919, nogoods=2231, foundSolutions=28, bestBound=5186
5.41/3.22 nFilterCalls=275033, avgTableProportion=0.9952380952326304, avgTableSize=209.0
5.41/3.22
5.41/3.22 num=285, depth=2..5, filters=328173, ccks=448, wck=1.091, mem=47M725
5.41/3.22 decisions=35397, wrong=16864, backtracks=4347, failedAssignments=12931, nogoods=2240, foundSolutions=28, bestBound=5186
5.41/3.22 nFilterCalls=275357, avgTableProportion=0.9952380952326283, avgTableSize=209.0
5.41/3.22
5.41/3.22 num=286, depth=4..7, filters=328600, ccks=448, wck=1.092, mem=47M725
5.41/3.22 decisions=35442, wrong=16883, backtracks=4354, failedAssignments=12944, nogoods=2245, foundSolutions=28, bestBound=5186
5.41/3.22 nFilterCalls=275735, avgTableProportion=0.995238095232626, avgTableSize=209.0
5.41/3.22
5.41/3.22 num=287, depth=6..9, filters=329020, ccks=448, wck=1.093, mem=47M725
5.41/3.22 decisions=35492, wrong=16904, backtracks=4361, failedAssignments=12958, nogoods=2254, foundSolutions=28, bestBound=5186
5.41/3.22 nFilterCalls=276080, avgTableProportion=0.9952380952326237, avgTableSize=209.0
5.41/3.22
5.41/3.22 num=288, depth=2..5, filters=329709, ccks=448, wck=1.096, mem=47M725
5.41/3.22 decisions=35542, wrong=16928, backtracks=4369, failedAssignments=12974, nogoods=2255, foundSolutions=28, bestBound=5186
5.41/3.22 nFilterCalls=276697, avgTableProportion=0.9952380952326199, avgTableSize=209.0
5.41/3.22
5.41/3.22 num=289, depth=3..6, filters=330254, ccks=448, wck=1.097, mem=47M725
5.41/3.22 decisions=35593, wrong=16952, backtracks=4376, failedAssignments=12991, nogoods=2261, foundSolutions=28, bestBound=5186
5.41/3.22 nFilterCalls=277145, avgTableProportion=0.9952380952326171, avgTableSize=209.0
5.41/3.22
5.41/3.23 num=290, depth=2..5, filters=331055, ccks=448, wck=1.1, mem=47M725
5.41/3.23 decisions=35645, wrong=16976, backtracks=4381, failedAssignments=13010, nogoods=2269, foundSolutions=28, bestBound=5186
5.41/3.23 nFilterCalls=277820, avgTableProportion=0.9952380952326129, avgTableSize=209.0
5.41/3.23
5.41/3.23 num=291, depth=5..8, filters=331575, ccks=448, wck=1.101, mem=47M725
5.41/3.23 decisions=35706, wrong=17004, backtracks=4388, failedAssignments=13031, nogoods=2284, foundSolutions=28, bestBound=5186
5.41/3.23 nFilterCalls=278254, avgTableProportion=0.9952380952326102, avgTableSize=209.0
5.41/3.23
5.41/3.23 num=292, depth=4..7, filters=332178, ccks=448, wck=1.103, mem=47M725
5.41/3.23 decisions=35776, wrong=17037, backtracks=4399, failedAssignments=13054, nogoods=2294, foundSolutions=28, bestBound=5186
5.41/3.23 nFilterCalls=278781, avgTableProportion=0.995238095232607, avgTableSize=209.0
5.41/3.23
5.41/3.23 num=293, depth=5..7, filters=332981, ccks=448, wck=1.105, mem=47M725
5.41/3.23 decisions=35855, wrong=17074, backtracks=4411, failedAssignments=13079, nogoods=2299, foundSolutions=28, bestBound=5186
5.41/3.23 nFilterCalls=279413, avgTableProportion=0.9952380952326031, avgTableSize=209.0
5.41/3.23
5.41/3.23 num=294, depth=3..7, filters=333724, ccks=448, wck=1.107, mem=47M725
5.41/3.23 decisions=35943, wrong=17116, backtracks=4425, failedAssignments=13107, nogoods=2306, foundSolutions=28, bestBound=5186
5.41/3.23 nFilterCalls=280055, avgTableProportion=0.9952380952325991, avgTableSize=209.0
5.41/3.23
5.41/3.24 num=295, depth=2..6, filters=334765, ccks=448, wck=1.11, mem=47M725
5.41/3.24 decisions=36032, wrong=17159, backtracks=4438, failedAssignments=13138, nogoods=2309, foundSolutions=28, bestBound=5186
5.41/3.24 nFilterCalls=280933, avgTableProportion=0.9952380952325938, avgTableSize=209.0
5.41/3.24
5.41/3.24 num=296, depth=2..6, filters=335731, ccks=448, wck=1.113, mem=47M725
5.41/3.24 decisions=36116, wrong=17199, backtracks=4445, failedAssignments=13172, nogoods=2312, foundSolutions=28, bestBound=5186
5.41/3.24 nFilterCalls=281765, avgTableProportion=0.9952380952325888, avgTableSize=209.0
5.41/3.24
5.41/3.24 num=297, depth=3..6, filters=336563, ccks=448, wck=1.116, mem=47M725
5.41/3.24 decisions=36218, wrong=17248, backtracks=4459, failedAssignments=13209, nogoods=2324, foundSolutions=28, bestBound=5186
5.41/3.24 nFilterCalls=282476, avgTableProportion=0.9952380952325844, avgTableSize=209.0
5.41/3.24
5.41/3.24 num=298, depth=3..6, filters=337577, ccks=448, wck=1.119, mem=47M725
5.41/3.24 decisions=36323, wrong=17299, backtracks=4469, failedAssignments=13250, nogoods=2337, foundSolutions=28, bestBound=5186
5.41/3.24 nFilterCalls=283362, avgTableProportion=0.9952380952325791, avgTableSize=209.0
5.41/3.24
5.41/3.25 num=299, depth=3..7, filters=338566, ccks=448, wck=1.121, mem=47M725
5.41/3.25 decisions=36439, wrong=17355, backtracks=4481, failedAssignments=13295, nogoods=2343, foundSolutions=28, bestBound=5186
5.41/3.25 nFilterCalls=284192, avgTableProportion=0.9952380952325742, avgTableSize=209.0
5.41/3.25
5.41/3.25 num=300, depth=2..7, filters=339847, ccks=448, wck=1.125, mem=47M725
5.41/3.25 decisions=36581, wrong=17424, backtracks=4504, failedAssignments=13345, nogoods=2358, foundSolutions=28, bestBound=5186
5.41/3.25 nFilterCalls=285292, avgTableProportion=0.9952380952325677, avgTableSize=209.0
5.41/3.25
5.41/3.26 num=301, depth=3..8, filters=341378, ccks=448, wck=1.129, mem=47M725
5.41/3.26 decisions=36738, wrong=17500, backtracks=4527, failedAssignments=13400, nogoods=2364, foundSolutions=28, bestBound=5186
5.41/3.26 nFilterCalls=286641, avgTableProportion=0.9952380952325598, avgTableSize=209.0
5.41/3.26
5.41/3.26 num=302, depth=2..6, filters=343215, ccks=448, wck=1.135, mem=47M725
5.41/3.26 decisions=36914, wrong=17586, backtracks=4554, failedAssignments=13461, nogoods=2377, foundSolutions=28, bestBound=5186
5.41/3.26 nFilterCalls=288218, avgTableProportion=0.9952380952325507, avgTableSize=209.0
5.41/3.26
5.41/3.27 num=303, depth=1..7, filters=345710, ccks=448, wck=1.142, mem=47M725
5.41/3.27 decisions=37098, wrong=17676, backtracks=4578, failedAssignments=13528, nogoods=2385, foundSolutions=28, bestBound=5186
5.41/3.27 nFilterCalls=290329, avgTableProportion=0.9952380952325386, avgTableSize=209.0
5.41/3.27
5.41/3.27 num=304, depth=2..7, filters=347625, ccks=448, wck=1.148, mem=47M725
5.41/3.27 decisions=37308, wrong=17779, backtracks=4607, failedAssignments=13602, nogoods=2400, foundSolutions=28, bestBound=5186
5.41/3.27 nFilterCalls=291959, avgTableProportion=0.9952380952325294, avgTableSize=209.0
5.41/3.27
5.41/3.28 num=305, depth=4..8, filters=349486, ccks=448, wck=1.153, mem=47M725
5.41/3.28 decisions=37531, wrong=17888, backtracks=4639, failedAssignments=13683, nogoods=2411, foundSolutions=28, bestBound=5186
5.41/3.28 nFilterCalls=293568, avgTableProportion=0.9952380952325204, avgTableSize=209.0
5.41/3.28
5.41/3.29 num=306, depth=2..7, filters=351900, ccks=448, wck=1.16, mem=47M725
5.41/3.29 decisions=37791, wrong=18016, backtracks=4680, failedAssignments=13772, nogoods=2420, foundSolutions=28, bestBound=5186
5.41/3.29 nFilterCalls=295629, avgTableProportion=0.9952380952325091, avgTableSize=209.0
5.41/3.29
5.41/3.29 num=307, depth=2..8, filters=354635, ccks=448, wck=1.167, mem=47M725
5.41/3.29 decisions=38066, wrong=18151, backtracks=4723, failedAssignments=13870, nogoods=2425, foundSolutions=28, bestBound=5186
5.41/3.29 nFilterCalls=297983, avgTableProportion=0.9952380952324962, avgTableSize=209.0
5.41/3.29
5.53/3.30 num=308, depth=4..9, filters=357064, ccks=448, wck=1.173, mem=47M725
5.53/3.30 decisions=38357, wrong=18293, backtracks=4759, failedAssignments=13978, nogoods=2438, foundSolutions=28, bestBound=5186
5.53/3.30 nFilterCalls=299930, avgTableProportion=0.9952380952324857, avgTableSize=209.0
5.53/3.30
5.53/3.31 num=309, depth=2..7, filters=360047, ccks=448, wck=1.182, mem=47M725
5.53/3.31 decisions=38656, wrong=18441, backtracks=4790, failedAssignments=14097, nogoods=2450, foundSolutions=28, bestBound=5186
5.53/3.31 nFilterCalls=302451, avgTableProportion=0.9952380952324724, avgTableSize=209.0
5.53/3.31
5.53/3.32 num=310, depth=4..9, filters=363234, ccks=448, wck=1.19, mem=47M725
5.53/3.32 decisions=39018, wrong=18619, backtracks=4843, failedAssignments=14228, nogoods=2461, foundSolutions=28, bestBound=5186
5.53/3.32 nFilterCalls=305022, avgTableProportion=0.9952380952324591, avgTableSize=209.0
5.53/3.32
5.53/3.33 num=311, depth=1..6, filters=367343, ccks=448, wck=1.201, mem=47M725
5.53/3.33 decisions=39397, wrong=18806, backtracks=4888, failedAssignments=14372, nogoods=2469, foundSolutions=28, bestBound=5186
5.53/3.33 nFilterCalls=308435, avgTableProportion=0.9952380952324418, avgTableSize=209.0
5.53/3.33
5.53/3.34 num=312, depth=2..9, filters=371537, ccks=448, wck=1.212, mem=47M725
5.53/3.34 decisions=39840, wrong=19026, backtracks=4957, failedAssignments=14530, nogoods=2477, foundSolutions=28, bestBound=5186
5.53/3.34 nFilterCalls=311917, avgTableProportion=0.9952380952324243, avgTableSize=209.0
5.53/3.34
5.53/3.35 num=313, depth=2..9, filters=375460, ccks=448, wck=1.222, mem=47M725
5.53/3.35 decisions=40310, wrong=19258, backtracks=5026, failedAssignments=14704, nogoods=2491, foundSolutions=28, bestBound=5186
5.53/3.35 nFilterCalls=315074, avgTableProportion=0.995238095232409, avgTableSize=209.0
5.53/3.35
5.53/3.36 o 5177
5.53/3.36 num=314, depth=2..28, filters=381121, ccks=464, wck=1.237, mem=47M725
5.53/3.36 decisions=40837, wrong=19516, backtracks=5114, failedAssignments=14883, nogoods=2507, foundSolutions=29, bestBound=5177
5.53/3.36 nFilterCalls=319756, avgTableProportion=0.9952380952323867, avgTableSize=209.0
5.53/3.36
5.53/3.38 num=315, depth=3..9, filters=386572, ccks=464, wck=1.251, mem=47M725
5.53/3.38 decisions=41435, wrong=19812, backtracks=5206, failedAssignments=15094, nogoods=2520, foundSolutions=29, bestBound=5177
5.53/3.38 nFilterCalls=324251, avgTableProportion=0.995238095232366, avgTableSize=209.0
5.53/3.38
5.53/3.38 num=316, depth=3..6, filters=386871, ccks=464, wck=1.252, mem=47M725
5.53/3.38 decisions=41469, wrong=19826, backtracks=5209, failedAssignments=15105, nogoods=2526, foundSolutions=29, bestBound=5177
5.53/3.38 nFilterCalls=324504, avgTableProportion=0.9952380952323648, avgTableSize=209.0
5.53/3.38
5.53/3.38 num=317, depth=2..8, filters=387224, ccks=464, wck=1.253, mem=47M725
5.53/3.38 decisions=41506, wrong=19841, backtracks=5212, failedAssignments=15117, nogoods=2537, foundSolutions=29, bestBound=5177
5.53/3.38 nFilterCalls=324814, avgTableProportion=0.9952380952323634, avgTableSize=209.0
5.53/3.38
5.53/3.38 num=318, depth=4..6, filters=387631, ccks=464, wck=1.254, mem=47M725
5.53/3.38 decisions=41546, wrong=19858, backtracks=5216, failedAssignments=15130, nogoods=2546, foundSolutions=29, bestBound=5177
5.53/3.38 nFilterCalls=325174, avgTableProportion=0.9952380952323617, avgTableSize=209.0
5.53/3.38
5.53/3.38 num=319, depth=5..7, filters=388043, ccks=464, wck=1.255, mem=47M725
5.53/3.38 decisions=41588, wrong=19876, backtracks=5221, failedAssignments=15144, nogoods=2554, foundSolutions=29, bestBound=5177
5.53/3.38 nFilterCalls=325512, avgTableProportion=0.9952380952323603, avgTableSize=209.0
5.53/3.38
5.53/3.38 num=320, depth=2..4, filters=388351, ccks=464, wck=1.256, mem=47M725
5.53/3.38 decisions=41628, wrong=19894, backtracks=5223, failedAssignments=15160, nogoods=2566, foundSolutions=29, bestBound=5177
5.53/3.38 nFilterCalls=325783, avgTableProportion=0.9952380952323591, avgTableSize=209.0
5.53/3.38
5.53/3.38 num=321, depth=3..6, filters=388901, ccks=464, wck=1.258, mem=47M725
5.53/3.38 decisions=41686, wrong=19921, backtracks=5233, failedAssignments=15177, nogoods=2570, foundSolutions=29, bestBound=5177
5.53/3.38 nFilterCalls=326266, avgTableProportion=0.9952380952323568, avgTableSize=209.0
5.53/3.38
5.53/3.39 num=322, depth=4..9, filters=389431, ccks=464, wck=1.259, mem=47M725
5.53/3.39 decisions=41742, wrong=19947, backtracks=5243, failedAssignments=15196, nogoods=2571, foundSolutions=29, bestBound=5177
5.53/3.39 nFilterCalls=326690, avgTableProportion=0.995238095232355, avgTableSize=209.0
5.53/3.39
5.53/3.39 num=323, depth=3..7, filters=390069, ccks=464, wck=1.261, mem=47M725
5.53/3.39 decisions=41800, wrong=19974, backtracks=5251, failedAssignments=15217, nogoods=2577, foundSolutions=29, bestBound=5177
5.53/3.39 nFilterCalls=327234, avgTableProportion=0.9952380952323525, avgTableSize=209.0
5.53/3.39
5.53/3.39 num=324, depth=1..6, filters=390513, ccks=464, wck=1.262, mem=47M725
5.53/3.39 decisions=41858, wrong=20000, backtracks=5254, failedAssignments=15240, nogoods=2589, foundSolutions=29, bestBound=5177
5.53/3.39 nFilterCalls=327610, avgTableProportion=0.9952380952323509, avgTableSize=209.0
5.53/3.39
5.53/3.39 num=325, depth=4..7, filters=391181, ccks=464, wck=1.264, mem=47M725
5.53/3.39 decisions=41928, wrong=20032, backtracks=5263, failedAssignments=15265, nogoods=2599, foundSolutions=29, bestBound=5177
5.53/3.39 nFilterCalls=328140, avgTableProportion=0.9952380952323485, avgTableSize=209.0
5.53/3.39
5.53/3.39 num=326, depth=2..6, filters=391934, ccks=464, wck=1.267, mem=47M725
5.53/3.39 decisions=41999, wrong=20066, backtracks=5270, failedAssignments=15293, nogoods=2602, foundSolutions=29, bestBound=5177
5.53/3.39 nFilterCalls=328782, avgTableProportion=0.9952380952323456, avgTableSize=209.0
5.53/3.39
5.53/3.40 num=327, depth=3..8, filters=392954, ccks=464, wck=1.269, mem=47M725
5.53/3.40 decisions=42096, wrong=20113, backtracks=5288, failedAssignments=15324, nogoods=2603, foundSolutions=29, bestBound=5177
5.53/3.40 nFilterCalls=329609, avgTableProportion=0.995238095232342, avgTableSize=209.0
5.53/3.40
5.64/3.40 num=328, depth=4..6, filters=393810, ccks=464, wck=1.272, mem=47M725
5.64/3.40 decisions=42192, wrong=20159, backtracks=5300, failedAssignments=15358, nogoods=2614, foundSolutions=29, bestBound=5177
5.64/3.40 nFilterCalls=330342, avgTableProportion=0.9952380952323387, avgTableSize=209.0
5.64/3.40
5.64/3.40 num=329, depth=3..6, filters=394678, ccks=464, wck=1.274, mem=47M725
5.64/3.40 decisions=42295, wrong=20209, backtracks=5314, failedAssignments=15395, nogoods=2621, foundSolutions=29, bestBound=5177
5.64/3.40 nFilterCalls=331072, avgTableProportion=0.9952380952323355, avgTableSize=209.0
5.64/3.40
5.64/3.40 num=330, depth=4..8, filters=395894, ccks=464, wck=1.278, mem=47M725
5.64/3.40 decisions=42419, wrong=20269, backtracks=5334, failedAssignments=15436, nogoods=2625, foundSolutions=29, bestBound=5177
5.64/3.40 nFilterCalls=332093, avgTableProportion=0.9952380952323311, avgTableSize=209.0
5.64/3.40
5.64/3.41 num=331, depth=3..7, filters=396925, ccks=464, wck=1.281, mem=47M725
5.64/3.41 decisions=42532, wrong=20323, backtracks=5345, failedAssignments=15481, nogoods=2633, foundSolutions=29, bestBound=5177
5.64/3.41 nFilterCalls=332961, avgTableProportion=0.9952380952323273, avgTableSize=209.0
5.64/3.41
5.64/3.41 num=332, depth=3..7, filters=398173, ccks=464, wck=1.284, mem=47M725
5.64/3.41 decisions=42670, wrong=20390, backtracks=5362, failedAssignments=15531, nogoods=2639, foundSolutions=29, bestBound=5177
5.64/3.41 nFilterCalls=334038, avgTableProportion=0.9952380952323227, avgTableSize=209.0
5.64/3.41
5.64/3.41 num=333, depth=2..6, filters=399442, ccks=464, wck=1.288, mem=47M725
5.64/3.41 decisions=42809, wrong=20457, backtracks=5376, failedAssignments=15586, nogoods=2653, foundSolutions=29, bestBound=5177
5.64/3.41 nFilterCalls=335076, avgTableProportion=0.9952380952323182, avgTableSize=209.0
5.64/3.41
5.64/3.42 num=334, depth=2..5, filters=401337, ccks=464, wck=1.293, mem=47M725
5.64/3.42 decisions=42964, wrong=20532, backtracks=5391, failedAssignments=15647, nogoods=2668, foundSolutions=29, bestBound=5177
5.64/3.42 nFilterCalls=336655, avgTableProportion=0.9952380952323115, avgTableSize=209.0
5.64/3.42
5.64/3.42 num=335, depth=2..7, filters=403052, ccks=464, wck=1.298, mem=47M725
5.64/3.42 decisions=43145, wrong=20620, backtracks=5416, failedAssignments=15714, nogoods=2678, foundSolutions=29, bestBound=5177
5.64/3.42 nFilterCalls=338074, avgTableProportion=0.9952380952323056, avgTableSize=209.0
5.64/3.42
5.64/3.43 num=336, depth=3..7, filters=404655, ccks=464, wck=1.302, mem=47M725
5.64/3.43 decisions=43344, wrong=20717, backtracks=5440, failedAssignments=15788, nogoods=2685, foundSolutions=29, bestBound=5177
5.64/3.43 nFilterCalls=339394, avgTableProportion=0.9952380952323001, avgTableSize=209.0
5.64/3.43
5.64/3.43 num=337, depth=2..8, filters=406146, ccks=464, wck=1.307, mem=47M725
5.64/3.43 decisions=43552, wrong=20819, backtracks=5461, failedAssignments=15869, nogoods=2691, foundSolutions=29, bestBound=5177
5.64/3.43 nFilterCalls=340680, avgTableProportion=0.9952380952322948, avgTableSize=209.0
5.64/3.43
5.64/3.44 num=338, depth=2..7, filters=408394, ccks=464, wck=1.313, mem=47M725
5.64/3.44 decisions=43795, wrong=20939, backtracks=5496, failedAssignments=15958, nogoods=2699, foundSolutions=29, bestBound=5177
5.64/3.44 nFilterCalls=342574, avgTableProportion=0.9952380952322869, avgTableSize=209.0
5.64/3.44
5.64/3.44 num=339, depth=3..7, filters=410532, ccks=464, wck=1.319, mem=47M725
5.64/3.44 decisions=44066, wrong=21072, backtracks=5532, failedAssignments=16056, nogoods=2707, foundSolutions=29, bestBound=5177
5.64/3.44 nFilterCalls=344324, avgTableProportion=0.9952380952322798, avgTableSize=209.0
5.64/3.44
5.64/3.45 num=340, depth=2..7, filters=412870, ccks=464, wck=1.326, mem=47M725
5.64/3.45 decisions=44332, wrong=21203, backtracks=5560, failedAssignments=16164, nogoods=2717, foundSolutions=29, bestBound=5177
5.64/3.45 nFilterCalls=346355, avgTableProportion=0.9952380952322717, avgTableSize=209.0
5.64/3.45
5.64/3.46 num=341, depth=2..6, filters=416585, ccks=464, wck=1.336, mem=47M725
5.64/3.46 decisions=44663, wrong=21367, backtracks=5605, failedAssignments=16283, nogoods=2725, foundSolutions=29, bestBound=5177
5.64/3.46 nFilterCalls=349448, avgTableProportion=0.9952380952322595, avgTableSize=209.0
5.64/3.46
5.64/3.47 num=342, depth=3..7, filters=419286, ccks=464, wck=1.344, mem=47M725
5.64/3.47 decisions=45019, wrong=21543, backtracks=5651, failedAssignments=16414, nogoods=2737, foundSolutions=29, bestBound=5177
5.64/3.47 nFilterCalls=351692, avgTableProportion=0.9952380952322507, avgTableSize=209.0
5.64/3.47
5.64/3.48 num=343, depth=2..8, filters=423009, ccks=464, wck=1.354, mem=47M725
5.64/3.48 decisions=45382, wrong=21723, backtracks=5692, failedAssignments=16558, nogoods=2750, foundSolutions=29, bestBound=5177
5.64/3.48 nFilterCalls=354791, avgTableProportion=0.9952380952322388, avgTableSize=209.0
5.64/3.48
5.64/3.49 o 5141
5.64/3.49 num=344, depth=3..28, filters=426695, ccks=480, wck=1.364, mem=47M725
5.64/3.49 decisions=45797, wrong=21926, backtracks=5747, failedAssignments=16711, nogoods=2764, foundSolutions=30, bestBound=5141
5.64/3.49 nFilterCalls=357787, avgTableProportion=0.9952380952322275, avgTableSize=209.0
5.64/3.49
5.74/3.50 num=345, depth=3..7, filters=430961, ccks=480, wck=1.375, mem=47M725
5.74/3.50 decisions=46275, wrong=22163, backtracks=5813, failedAssignments=16885, nogoods=2772, foundSolutions=30, bestBound=5141
5.74/3.50 nFilterCalls=361304, avgTableProportion=0.9952380952322145, avgTableSize=209.0
5.74/3.50
5.74/3.50 num=346, depth=2..6, filters=431202, ccks=480, wck=1.375, mem=47M725
5.74/3.50 decisions=46308, wrong=22177, backtracks=5816, failedAssignments=16896, nogoods=2778, foundSolutions=30, bestBound=5141
5.74/3.50 nFilterCalls=361523, avgTableProportion=0.9952380952322136, avgTableSize=209.0
5.74/3.50
5.74/3.50 num=347, depth=3..5, filters=431467, ccks=480, wck=1.376, mem=47M725
5.74/3.50 decisions=46337, wrong=22189, backtracks=5816, failedAssignments=16908, nogoods=2790, foundSolutions=30, bestBound=5141
5.74/3.50 nFilterCalls=361746, avgTableProportion=0.9952380952322128, avgTableSize=209.0
5.74/3.50
5.74/3.50 num=348, depth=3..7, filters=431848, ccks=480, wck=1.378, mem=50M368
5.74/3.50 decisions=46377, wrong=22207, backtracks=5821, failedAssignments=16921, nogoods=2796, foundSolutions=30, bestBound=5141
5.74/3.50 nFilterCalls=362076, avgTableProportion=0.9952380952322116, avgTableSize=209.0
5.74/3.50
5.74/3.50 num=349, depth=3..6, filters=432269, ccks=480, wck=1.379, mem=50M368
5.74/3.50 decisions=46423, wrong=22227, backtracks=5827, failedAssignments=16935, nogoods=2802, foundSolutions=30, bestBound=5141
5.74/3.50 nFilterCalls=362450, avgTableProportion=0.9952380952322103, avgTableSize=209.0
5.74/3.50
5.74/3.51 num=350, depth=2..5, filters=433036, ccks=480, wck=1.381, mem=50M368
5.74/3.51 decisions=46480, wrong=22254, backtracks=5838, failedAssignments=16951, nogoods=2808, foundSolutions=30, bestBound=5141
5.74/3.51 nFilterCalls=363115, avgTableProportion=0.9952380952322079, avgTableSize=209.0
5.74/3.51
5.74/3.51 num=351, depth=2..7, filters=433465, ccks=480, wck=1.382, mem=50M368
5.74/3.51 decisions=46528, wrong=22277, backtracks=5846, failedAssignments=16968, nogoods=2810, foundSolutions=30, bestBound=5141
5.74/3.51 nFilterCalls=363478, avgTableProportion=0.9952380952322065, avgTableSize=209.0
5.74/3.51
5.74/3.51 num=352, depth=3..6, filters=433848, ccks=480, wck=1.384, mem=50M368
5.74/3.51 decisions=46577, wrong=22299, backtracks=5849, failedAssignments=16987, nogoods=2813, foundSolutions=30, bestBound=5141
5.74/3.51 nFilterCalls=363806, avgTableProportion=0.9952380952322053, avgTableSize=209.0
5.74/3.51
5.74/3.51 num=353, depth=1..6, filters=434429, ccks=480, wck=1.385, mem=50M368
5.74/3.51 decisions=46636, wrong=22327, backtracks=5857, failedAssignments=17008, nogoods=2815, foundSolutions=30, bestBound=5141
5.74/3.51 nFilterCalls=364289, avgTableProportion=0.9952380952322036, avgTableSize=209.0
5.74/3.51
5.74/3.51 num=354, depth=2..6, filters=435003, ccks=480, wck=1.387, mem=50M368
5.74/3.51 decisions=46699, wrong=22356, backtracks=5863, failedAssignments=17031, nogoods=2826, foundSolutions=30, bestBound=5141
5.74/3.51 nFilterCalls=364761, avgTableProportion=0.9952380952322019, avgTableSize=209.0
5.74/3.51
5.74/3.52 num=355, depth=1..5, filters=435634, ccks=480, wck=1.389, mem=50M368
5.74/3.52 decisions=46768, wrong=22389, backtracks=5871, failedAssignments=17056, nogoods=2834, foundSolutions=30, bestBound=5141
5.74/3.52 nFilterCalls=365313, avgTableProportion=0.9952380952321999, avgTableSize=209.0
5.74/3.52
5.74/3.52 num=356, depth=2..10, filters=436294, ccks=480, wck=1.391, mem=50M368
5.74/3.52 decisions=46851, wrong=22427, backtracks=5882, failedAssignments=17084, nogoods=2846, foundSolutions=30, bestBound=5141
5.74/3.52 nFilterCalls=365887, avgTableProportion=0.9952380952321979, avgTableSize=209.0
5.74/3.52
5.74/3.52 num=357, depth=1..6, filters=437111, ccks=480, wck=1.394, mem=50M368
5.74/3.52 decisions=46934, wrong=22466, backtracks=5890, failedAssignments=17115, nogoods=2856, foundSolutions=30, bestBound=5141
5.74/3.52 nFilterCalls=366571, avgTableProportion=0.9952380952321954, avgTableSize=209.0
5.74/3.52
5.74/3.52 num=358, depth=3..7, filters=437901, ccks=480, wck=1.396, mem=50M368
5.74/3.52 decisions=47025, wrong=22510, backtracks=5902, failedAssignments=17149, nogoods=2864, foundSolutions=30, bestBound=5141
5.74/3.52 nFilterCalls=367244, avgTableProportion=0.995238095232193, avgTableSize=209.0
5.74/3.52
5.74/3.52 num=359, depth=1..7, filters=438637, ccks=480, wck=1.398, mem=50M368
5.74/3.52 decisions=47124, wrong=22557, backtracks=5912, failedAssignments=17186, nogoods=2877, foundSolutions=30, bestBound=5141
5.74/3.52 nFilterCalls=367891, avgTableProportion=0.9952380952321908, avgTableSize=209.0
5.74/3.52
5.74/3.53 num=360, depth=3..6, filters=439642, ccks=480, wck=1.401, mem=50M368
5.74/3.53 decisions=47238, wrong=22612, backtracks=5927, failedAssignments=17227, nogoods=2883, foundSolutions=30, bestBound=5141
5.74/3.53 nFilterCalls=368750, avgTableProportion=0.9952380952321876, avgTableSize=209.0
5.74/3.53
5.74/3.53 num=361, depth=3..8, filters=440736, ccks=480, wck=1.404, mem=50M368
5.74/3.53 decisions=47369, wrong=22675, backtracks=5948, failedAssignments=17272, nogoods=2899, foundSolutions=30, bestBound=5141
5.74/3.53 nFilterCalls=369678, avgTableProportion=0.9952380952321844, avgTableSize=209.0
5.74/3.53
5.74/3.53 num=362, depth=2..6, filters=442219, ccks=480, wck=1.408, mem=50M368
5.74/3.53 decisions=47500, wrong=22739, backtracks=5962, failedAssignments=17322, nogoods=2911, foundSolutions=30, bestBound=5141
5.74/3.53 nFilterCalls=370965, avgTableProportion=0.99523809523218, avgTableSize=209.0
5.74/3.53
5.74/3.54 num=363, depth=2..7, filters=443583, ccks=480, wck=1.412, mem=50M368
5.74/3.54 decisions=47649, wrong=22811, backtracks=5979, failedAssignments=17377, nogoods=2923, foundSolutions=30, bestBound=5141
5.74/3.54 nFilterCalls=372117, avgTableProportion=0.995238095232176, avgTableSize=209.0
5.74/3.54
5.74/3.54 num=364, depth=3..7, filters=444995, ccks=480, wck=1.416, mem=50M368
5.74/3.54 decisions=47802, wrong=22885, backtracks=5993, failedAssignments=17438, nogoods=2931, foundSolutions=30, bestBound=5141
5.74/3.54 nFilterCalls=373304, avgTableProportion=0.9952380952321719, avgTableSize=209.0
5.74/3.54
5.74/3.55 num=365, depth=1..7, filters=446350, ccks=480, wck=1.421, mem=50M368
5.74/3.55 decisions=47964, wrong=22965, backtracks=6010, failedAssignments=17505, nogoods=2935, foundSolutions=30, bestBound=5141
5.74/3.55 nFilterCalls=374468, avgTableProportion=0.9952380952321679, avgTableSize=209.0
5.74/3.55
5.74/3.55 num=366, depth=3..7, filters=448766, ccks=480, wck=1.427, mem=50M368
5.74/3.55 decisions=48185, wrong=23073, backtracks=6045, failedAssignments=17579, nogoods=2943, foundSolutions=30, bestBound=5141
5.74/3.55 nFilterCalls=376492, avgTableProportion=0.995238095232161, avgTableSize=209.0
5.74/3.55
5.74/3.56 num=367, depth=2..7, filters=450552, ccks=480, wck=1.432, mem=50M368
5.74/3.56 decisions=48401, wrong=23179, backtracks=6075, failedAssignments=17660, nogoods=2947, foundSolutions=30, bestBound=5141
5.74/3.56 nFilterCalls=377996, avgTableProportion=0.9952380952321559, avgTableSize=209.0
5.74/3.56
5.74/3.56 num=368, depth=2..7, filters=452761, ccks=480, wck=1.439, mem=50M368
5.74/3.56 decisions=48637, wrong=23295, backtracks=6104, failedAssignments=17749, nogoods=2964, foundSolutions=30, bestBound=5141
5.74/3.56 nFilterCalls=379838, avgTableProportion=0.9952380952321498, avgTableSize=209.0
5.74/3.56
5.74/3.57 num=369, depth=2..6, filters=455480, ccks=480, wck=1.447, mem=50M368
5.74/3.57 decisions=48899, wrong=23425, backtracks=6139, failedAssignments=17847, nogoods=2979, foundSolutions=30, bestBound=5141
5.74/3.57 nFilterCalls=382145, avgTableProportion=0.9952380952321421, avgTableSize=209.0
5.74/3.57
5.74/3.58 num=370, depth=2..7, filters=457510, ccks=480, wck=1.452, mem=50M368
5.74/3.58 decisions=49168, wrong=23558, backtracks=6166, failedAssignments=17955, nogoods=2983, foundSolutions=30, bestBound=5141
5.74/3.58 nFilterCalls=383773, avgTableProportion=0.9952380952321368, avgTableSize=209.0
5.74/3.58
5.74/3.59 num=371, depth=1..8, filters=460618, ccks=480, wck=1.461, mem=50M368
5.74/3.59 decisions=49487, wrong=23716, backtracks=6209, failedAssignments=18074, nogoods=2996, foundSolutions=30, bestBound=5141
5.74/3.59 nFilterCalls=386329, avgTableProportion=0.9952380952321286, avgTableSize=209.0
5.74/3.59
5.74/3.60 num=372, depth=1..7, filters=463840, ccks=480, wck=1.47, mem=50M368
5.74/3.60 decisions=49858, wrong=23898, backtracks=6261, failedAssignments=18205, nogoods=3018, foundSolutions=30, bestBound=5141
5.74/3.60 nFilterCalls=389034, avgTableProportion=0.9952380952321199, avgTableSize=209.0
5.74/3.60
5.85/3.61 num=373, depth=3..9, filters=467243, ccks=480, wck=1.479, mem=50M368
5.85/3.61 decisions=50231, wrong=24081, backtracks=6303, failedAssignments=18349, nogoods=3031, foundSolutions=30, bestBound=5141
5.85/3.61 nFilterCalls=391790, avgTableProportion=0.9952380952321113, avgTableSize=209.0
5.85/3.61
5.85/3.62 num=374, depth=2..7, filters=471461, ccks=480, wck=1.49, mem=50M368
5.85/3.62 decisions=50659, wrong=24293, backtracks=6358, failedAssignments=18507, nogoods=3040, foundSolutions=30, bestBound=5141
5.85/3.62 nFilterCalls=395333, avgTableProportion=0.9952380952321004, avgTableSize=209.0
5.85/3.62
5.85/3.62 o 5052
5.85/3.62 num=375, depth=3..28, filters=472185, ccks=496, wck=1.493, mem=50M368
5.85/3.62 decisions=50737, wrong=24328, backtracks=6369, failedAssignments=18532, nogoods=3053, foundSolutions=31, bestBound=5052
5.85/3.62 nFilterCalls=395945, avgTableProportion=0.9952380952320985, avgTableSize=209.0
5.85/3.62
5.85/3.63 num=376, depth=1..9, filters=477182, ccks=496, wck=1.507, mem=50M368
5.85/3.63 decisions=51283, wrong=24599, backtracks=6459, failedAssignments=18723, nogoods=3067, foundSolutions=31, bestBound=5052
5.85/3.63 nFilterCalls=400206, avgTableProportion=0.9952380952320856, avgTableSize=209.0
5.85/3.63
5.85/3.63 num=377, depth=2..5, filters=477490, ccks=496, wck=1.508, mem=50M368
5.85/3.63 decisions=51316, wrong=24613, backtracks=6462, failedAssignments=18734, nogoods=3076, foundSolutions=31, bestBound=5052
5.85/3.63 nFilterCalls=400483, avgTableProportion=0.9952380952320847, avgTableSize=209.0
5.85/3.63
5.85/3.64 num=378, depth=4..6, filters=477792, ccks=496, wck=1.509, mem=50M368
5.85/3.64 decisions=51354, wrong=24630, backtracks=6467, failedAssignments=18746, nogoods=3081, foundSolutions=31, bestBound=5052
5.85/3.64 nFilterCalls=400736, avgTableProportion=0.995238095232084, avgTableSize=209.0
5.85/3.64
5.85/3.64 num=379, depth=3..5, filters=478063, ccks=496, wck=1.51, mem=50M368
5.85/3.64 decisions=51391, wrong=24647, backtracks=6471, failedAssignments=18759, nogoods=3087, foundSolutions=31, bestBound=5052
5.85/3.64 nFilterCalls=400985, avgTableProportion=0.9952380952320833, avgTableSize=209.0
5.85/3.64
5.85/3.64 num=380, depth=3..5, filters=478415, ccks=496, wck=1.511, mem=50M368
5.85/3.64 decisions=51429, wrong=24664, backtracks=6474, failedAssignments=18773, nogoods=3097, foundSolutions=31, bestBound=5052
5.85/3.64 nFilterCalls=401283, avgTableProportion=0.9952380952320824, avgTableSize=209.0
5.85/3.64
5.85/3.64 num=381, depth=3..5, filters=478836, ccks=496, wck=1.513, mem=50M368
5.85/3.64 decisions=51472, wrong=24684, backtracks=6478, failedAssignments=18789, nogoods=3109, foundSolutions=31, bestBound=5052
5.85/3.64 nFilterCalls=401649, avgTableProportion=0.9952380952320813, avgTableSize=209.0
5.85/3.64
5.85/3.64 num=382, depth=4..6, filters=479354, ccks=496, wck=1.514, mem=50M368
5.85/3.64 decisions=51522, wrong=24707, backtracks=6484, failedAssignments=18806, nogoods=3113, foundSolutions=31, bestBound=5052
5.85/3.64 nFilterCalls=402099, avgTableProportion=0.99523809523208, avgTableSize=209.0
5.85/3.64
5.85/3.64 num=383, depth=4..8, filters=479878, ccks=496, wck=1.516, mem=50M368
5.85/3.64 decisions=51579, wrong=24733, backtracks=6493, failedAssignments=18825, nogoods=3119, foundSolutions=31, bestBound=5052
5.85/3.64 nFilterCalls=402529, avgTableProportion=0.9952380952320786, avgTableSize=209.0
5.85/3.64
5.85/3.64 num=384, depth=1..9, filters=480241, ccks=496, wck=1.517, mem=50M368
5.85/3.64 decisions=51633, wrong=24757, backtracks=6496, failedAssignments=18846, nogoods=3122, foundSolutions=31, bestBound=5052
5.85/3.64 nFilterCalls=402827, avgTableProportion=0.9952380952320778, avgTableSize=209.0
5.85/3.64
5.85/3.65 num=385, depth=2..6, filters=480911, ccks=496, wck=1.519, mem=50M368
5.85/3.65 decisions=51710, wrong=24793, backtracks=6509, failedAssignments=18869, nogoods=3127, foundSolutions=31, bestBound=5052
5.85/3.65 nFilterCalls=403389, avgTableProportion=0.9952380952320762, avgTableSize=209.0
5.85/3.65
5.85/3.65 num=386, depth=2..7, filters=481523, ccks=496, wck=1.521, mem=50M368
5.85/3.65 decisions=51781, wrong=24826, backtracks=6518, failedAssignments=18894, nogoods=3131, foundSolutions=31, bestBound=5052
5.85/3.65 nFilterCalls=403946, avgTableProportion=0.9952380952320745, avgTableSize=209.0
5.85/3.65
5.85/3.65 num=387, depth=3..8, filters=482249, ccks=496, wck=1.523, mem=50M368
5.85/3.65 decisions=51866, wrong=24866, backtracks=6531, failedAssignments=18922, nogoods=3137, foundSolutions=31, bestBound=5052
5.85/3.65 nFilterCalls=404577, avgTableProportion=0.9952380952320726, avgTableSize=209.0
5.85/3.65
5.85/3.65 num=388, depth=2..4, filters=483399, ccks=496, wck=1.527, mem=50M368
5.85/3.65 decisions=51948, wrong=24906, backtracks=6540, failedAssignments=18953, nogoods=3153, foundSolutions=31, bestBound=5052
5.85/3.65 nFilterCalls=405561, avgTableProportion=0.9952380952320697, avgTableSize=209.0
5.85/3.65
5.85/3.65 o 5028
5.85/3.65 num=389, depth=6..28, filters=483544, ccks=512, wck=1.528, mem=50M368
5.85/3.65 decisions=51961, wrong=24908, backtracks=6540, failedAssignments=18955, nogoods=3155, foundSolutions=32, bestBound=5028
5.85/3.65 nFilterCalls=405689, avgTableProportion=0.9952380952320694, avgTableSize=209.0
5.85/3.65
5.85/3.66 num=390, depth=3..6, filters=484496, ccks=512, wck=1.531, mem=50M368
5.85/3.66 decisions=52068, wrong=24960, backtracks=6555, failedAssignments=18992, nogoods=3161, foundSolutions=32, bestBound=5028
5.85/3.66 nFilterCalls=406488, avgTableProportion=0.9952380952320671, avgTableSize=209.0
5.85/3.66
5.85/3.66 num=391, depth=2..6, filters=484844, ccks=512, wck=1.532, mem=50M368
5.85/3.66 decisions=52101, wrong=24975, backtracks=6559, failedAssignments=19003, nogoods=3165, foundSolutions=32, bestBound=5028
5.85/3.66 nFilterCalls=406788, avgTableProportion=0.9952380952320662, avgTableSize=209.0
5.85/3.66
5.85/3.66 num=392, depth=3..5, filters=485179, ccks=512, wck=1.533, mem=50M368
5.85/3.66 decisions=52135, wrong=24990, backtracks=6562, failedAssignments=19015, nogoods=3172, foundSolutions=32, bestBound=5028
5.85/3.66 nFilterCalls=407082, avgTableProportion=0.9952380952320654, avgTableSize=209.0
5.85/3.66
5.85/3.66 num=393, depth=6..9, filters=485462, ccks=512, wck=1.534, mem=50M368
5.85/3.66 decisions=52176, wrong=25007, backtracks=6566, failedAssignments=19028, nogoods=3175, foundSolutions=32, bestBound=5028
5.85/3.66 nFilterCalls=407333, avgTableProportion=0.9952380952320646, avgTableSize=209.0
5.85/3.66
5.85/3.66 num=394, depth=4..6, filters=485737, ccks=512, wck=1.535, mem=50M368
5.85/3.66 decisions=52212, wrong=25023, backtracks=6568, failedAssignments=19042, nogoods=3189, foundSolutions=32, bestBound=5028
5.85/3.66 nFilterCalls=407562, avgTableProportion=0.995238095232064, avgTableSize=209.0
5.85/3.66
5.85/3.66 num=395, depth=1..5, filters=486236, ccks=512, wck=1.537, mem=50M368
5.85/3.66 decisions=52259, wrong=25045, backtracks=6574, failedAssignments=19058, nogoods=3192, foundSolutions=32, bestBound=5028
5.85/3.66 nFilterCalls=407986, avgTableProportion=0.9952380952320627, avgTableSize=209.0
5.85/3.66
5.85/3.66 num=396, depth=3..6, filters=486767, ccks=512, wck=1.538, mem=50M368
5.85/3.66 decisions=52309, wrong=25068, backtracks=6580, failedAssignments=19075, nogoods=3197, foundSolutions=32, bestBound=5028
5.85/3.66 nFilterCalls=408452, avgTableProportion=0.9952380952320614, avgTableSize=209.0
5.85/3.66
5.85/3.67 num=397, depth=3..6, filters=487216, ccks=512, wck=1.54, mem=50M368
5.85/3.67 decisions=52361, wrong=25092, backtracks=6585, failedAssignments=19094, nogoods=3207, foundSolutions=32, bestBound=5028
5.85/3.67 nFilterCalls=408840, avgTableProportion=0.9952380952320603, avgTableSize=209.0
5.85/3.67
5.85/3.67 num=398, depth=3..5, filters=487802, ccks=512, wck=1.541, mem=50M368
5.85/3.67 decisions=52414, wrong=25117, backtracks=6589, failedAssignments=19115, nogoods=3214, foundSolutions=32, bestBound=5028
5.85/3.67 nFilterCalls=409341, avgTableProportion=0.9952380952320589, avgTableSize=209.0
5.85/3.67
5.85/3.67 num=399, depth=3..6, filters=488489, ccks=512, wck=1.544, mem=50M368
5.85/3.67 decisions=52478, wrong=25147, backtracks=6598, failedAssignments=19138, nogoods=3223, foundSolutions=32, bestBound=5028
5.85/3.67 nFilterCalls=409952, avgTableProportion=0.9952380952320571, avgTableSize=209.0
5.85/3.67
5.85/3.67 num=400, depth=3..7, filters=489093, ccks=512, wck=1.545, mem=50M368
5.85/3.67 decisions=52546, wrong=25179, backtracks=6605, failedAssignments=19163, nogoods=3236, foundSolutions=32, bestBound=5028
5.85/3.67 nFilterCalls=410480, avgTableProportion=0.9952380952320556, avgTableSize=209.0
5.85/3.67
5.85/3.67 num=401, depth=4..7, filters=489794, ccks=512, wck=1.547, mem=50M368
5.85/3.67 decisions=52624, wrong=25215, backtracks=6613, failedAssignments=19191, nogoods=3246, foundSolutions=32, bestBound=5028
5.85/3.67 nFilterCalls=411074, avgTableProportion=0.995238095232054, avgTableSize=209.0
5.85/3.67
5.85/3.67 o 4970
5.85/3.67 num=402, depth=30..28, filters=489910, ccks=528, wck=1.548, mem=50M368
5.85/3.67 decisions=52632, wrong=25215, backtracks=6613, failedAssignments=19191, nogoods=3246, foundSolutions=33, bestBound=4970
5.85/3.67 nFilterCalls=411177, avgTableProportion=0.9952380952320536, avgTableSize=209.0
5.85/3.67
5.85/3.68 num=403, depth=4..10, filters=490979, ccks=528, wck=1.551, mem=50M368
5.85/3.68 decisions=52735, wrong=25264, backtracks=6630, failedAssignments=19225, nogoods=3253, foundSolutions=33, bestBound=4970
5.85/3.68 nFilterCalls=412071, avgTableProportion=0.9952380952320511, avgTableSize=209.0
5.85/3.68
5.85/3.68 num=404, depth=4..6, filters=491265, ccks=528, wck=1.552, mem=50M368
5.85/3.68 decisions=52767, wrong=25278, backtracks=6633, failedAssignments=19236, nogoods=3261, foundSolutions=33, bestBound=4970
5.85/3.68 nFilterCalls=412311, avgTableProportion=0.9952380952320504, avgTableSize=209.0
5.85/3.68
5.85/3.68 num=405, depth=2..5, filters=491512, ccks=528, wck=1.553, mem=50M368
5.85/3.68 decisions=52799, wrong=25293, backtracks=6636, failedAssignments=19248, nogoods=3262, foundSolutions=33, bestBound=4970
5.85/3.68 nFilterCalls=412531, avgTableProportion=0.9952380952320499, avgTableSize=209.0
5.85/3.68
5.85/3.68 num=406, depth=3..6, filters=491860, ccks=528, wck=1.554, mem=50M368
5.85/3.68 decisions=52839, wrong=25311, backtracks=6642, failedAssignments=19261, nogoods=3271, foundSolutions=33, bestBound=4970
5.85/3.68 nFilterCalls=412838, avgTableProportion=0.995238095232049, avgTableSize=209.0
5.85/3.68
5.85/3.68 num=407, depth=3..6, filters=492330, ccks=528, wck=1.556, mem=50M368
5.85/3.68 decisions=52879, wrong=25328, backtracks=6647, failedAssignments=19275, nogoods=3277, foundSolutions=33, bestBound=4970
5.85/3.68 nFilterCalls=413264, avgTableProportion=0.9952380952320478, avgTableSize=209.0
5.85/3.68
5.85/3.68 num=408, depth=4..6, filters=492862, ccks=528, wck=1.557, mem=50M368
5.85/3.68 decisions=52926, wrong=25349, backtracks=6653, failedAssignments=19291, nogoods=3283, foundSolutions=33, bestBound=4970
5.85/3.68 nFilterCalls=413728, avgTableProportion=0.9952380952320464, avgTableSize=209.0
5.85/3.68
5.85/3.68 num=409, depth=5..9, filters=493318, ccks=528, wck=1.558, mem=50M368
5.85/3.68 decisions=52977, wrong=25372, backtracks=6661, failedAssignments=19308, nogoods=3284, foundSolutions=33, bestBound=4970
5.85/3.68 nFilterCalls=414111, avgTableProportion=0.9952380952320454, avgTableSize=209.0
5.85/3.68
5.85/3.69 num=410, depth=4..6, filters=493813, ccks=528, wck=1.56, mem=50M368
5.85/3.69 decisions=53031, wrong=25397, backtracks=6667, failedAssignments=19327, nogoods=3289, foundSolutions=33, bestBound=4970
5.85/3.69 nFilterCalls=414537, avgTableProportion=0.9952380952320442, avgTableSize=209.0
5.85/3.69
5.85/3.69 num=411, depth=2..5, filters=494317, ccks=528, wck=1.561, mem=50M368
5.85/3.69 decisions=53082, wrong=25420, backtracks=6669, failedAssignments=19348, nogoods=3301, foundSolutions=33, bestBound=4970
5.85/3.69 nFilterCalls=414956, avgTableProportion=0.995238095232043, avgTableSize=209.0
5.85/3.69
5.85/3.69 num=412, depth=3..5, filters=495137, ccks=528, wck=1.564, mem=50M368
5.85/3.69 decisions=53146, wrong=25450, backtracks=6676, failedAssignments=19371, nogoods=3309, foundSolutions=33, bestBound=4970
5.85/3.69 nFilterCalls=415672, avgTableProportion=0.9952380952320411, avgTableSize=209.0
5.85/3.69
5.85/3.69 num=413, depth=4..7, filters=495752, ccks=528, wck=1.565, mem=50M368
5.85/3.69 decisions=53216, wrong=25482, backtracks=6684, failedAssignments=19396, nogoods=3318, foundSolutions=33, bestBound=4970
5.85/3.69 nFilterCalls=416196, avgTableProportion=0.9952380952320395, avgTableSize=209.0
5.85/3.69
5.85/3.69 num=414, depth=3..6, filters=496702, ccks=528, wck=1.568, mem=50M368
5.85/3.69 decisions=53306, wrong=25524, backtracks=6698, failedAssignments=19424, nogoods=3323, foundSolutions=33, bestBound=4970
5.85/3.69 nFilterCalls=416998, avgTableProportion=0.9952380952320374, avgTableSize=209.0
5.85/3.69
6.00/3.70 num=415, depth=2..6, filters=497575, ccks=528, wck=1.57, mem=50M368
6.00/3.70 decisions=53397, wrong=25568, backtracks=6711, failedAssignments=19455, nogoods=3329, foundSolutions=33, bestBound=4970
6.00/3.70 nFilterCalls=417723, avgTableProportion=0.9952380952320354, avgTableSize=209.0
6.00/3.70
6.00/3.70 num=416, depth=5..7, filters=498396, ccks=528, wck=1.573, mem=50M368
6.00/3.70 decisions=53490, wrong=25612, backtracks=6721, failedAssignments=19489, nogoods=3339, foundSolutions=33, bestBound=4970
6.00/3.70 nFilterCalls=418402, avgTableProportion=0.9952380952320335, avgTableSize=209.0
6.00/3.70
6.00/3.70 num=417, depth=1..6, filters=499451, ccks=528, wck=1.576, mem=50M368
6.00/3.70 decisions=53601, wrong=25666, backtracks=6741, failedAssignments=19526, nogoods=3342, foundSolutions=33, bestBound=4970
6.00/3.70 nFilterCalls=419352, avgTableProportion=0.9952380952320309, avgTableSize=209.0
6.00/3.70
6.00/3.71 num=418, depth=3..10, filters=500704, ccks=528, wck=1.58, mem=50M368
6.00/3.71 decisions=53735, wrong=25729, backtracks=6763, failedAssignments=19567, nogoods=3355, foundSolutions=33, bestBound=4970
6.00/3.71 nFilterCalls=420390, avgTableProportion=0.9952380952320281, avgTableSize=209.0
6.00/3.71
6.00/3.71 num=419, depth=2..8, filters=501984, ccks=528, wck=1.583, mem=50M368
6.00/3.71 decisions=53875, wrong=25796, backtracks=6787, failedAssignments=19612, nogoods=3362, foundSolutions=33, bestBound=4970
6.00/3.71 nFilterCalls=421444, avgTableProportion=0.9952380952320252, avgTableSize=209.0
6.00/3.71
6.00/3.71 num=420, depth=2..5, filters=503313, ccks=528, wck=1.587, mem=50M368
6.00/3.71 decisions=54005, wrong=25859, backtracks=6801, failedAssignments=19662, nogoods=3367, foundSolutions=33, bestBound=4970
6.00/3.71 nFilterCalls=422602, avgTableProportion=0.9952380952320221, avgTableSize=209.0
6.00/3.71
6.00/3.72 num=421, depth=1..6, filters=504647, ccks=528, wck=1.591, mem=53M11
6.00/3.72 decisions=54146, wrong=25927, backtracks=6816, failedAssignments=19717, nogoods=3371, foundSolutions=33, bestBound=4970
6.00/3.72 nFilterCalls=423784, avgTableProportion=0.995238095232019, avgTableSize=209.0
6.00/3.72
6.00/3.72 num=422, depth=3..9, filters=506418, ccks=528, wck=1.596, mem=53M11
6.00/3.72 decisions=54316, wrong=26010, backtracks=6842, failedAssignments=19778, nogoods=3373, foundSolutions=33, bestBound=4970
6.00/3.72 nFilterCalls=425316, avgTableProportion=0.9952380952320149, avgTableSize=209.0
6.00/3.72
6.00/3.73 num=423, depth=2..8, filters=508166, ccks=528, wck=1.601, mem=53M11
6.00/3.73 decisions=54488, wrong=26093, backtracks=6858, failedAssignments=19845, nogoods=3393, foundSolutions=33, bestBound=4970
6.00/3.73 nFilterCalls=426784, avgTableProportion=0.995238095232011, avgTableSize=209.0
6.00/3.73
6.00/3.73 num=424, depth=2..6, filters=510034, ccks=528, wck=1.607, mem=53M11
6.00/3.73 decisions=54670, wrong=26181, backtracks=6873, failedAssignments=19919, nogoods=3407, foundSolutions=33, bestBound=4970
6.00/3.73 nFilterCalls=428384, avgTableProportion=0.9952380952320068, avgTableSize=209.0
6.00/3.73
6.00/3.74 num=425, depth=1..8, filters=512032, ccks=528, wck=1.612, mem=53M11
6.00/3.74 decisions=54885, wrong=26286, backtracks=6898, failedAssignments=20000, nogoods=3415, foundSolutions=33, bestBound=4970
6.00/3.74 nFilterCalls=430032, avgTableProportion=0.9952380952320026, avgTableSize=209.0
6.00/3.74
6.00/3.74 num=426, depth=3..8, filters=514304, ccks=528, wck=1.618, mem=53M11
6.00/3.74 decisions=55124, wrong=26403, backtracks=6929, failedAssignments=20089, nogoods=3424, foundSolutions=33, bestBound=4970
6.00/3.74 nFilterCalls=431884, avgTableProportion=0.9952380952319978, avgTableSize=209.0
6.00/3.74
6.00/3.75 num=427, depth=4..8, filters=516405, ccks=528, wck=1.624, mem=53M11
6.00/3.75 decisions=55383, wrong=26530, backtracks=6959, failedAssignments=20187, nogoods=3437, foundSolutions=33, bestBound=4970
6.00/3.75 nFilterCalls=433644, avgTableProportion=0.9952380952319932, avgTableSize=209.0
6.00/3.75
6.00/3.76 num=428, depth=2..7, filters=518941, ccks=528, wck=1.631, mem=53M11
6.00/3.76 decisions=55674, wrong=26673, backtracks=6995, failedAssignments=20295, nogoods=3444, foundSolutions=33, bestBound=4970
6.00/3.76 nFilterCalls=435728, avgTableProportion=0.995238095231988, avgTableSize=209.0
6.00/3.76
6.00/3.77 num=429, depth=2..7, filters=521918, ccks=528, wck=1.639, mem=53M11
6.00/3.77 decisions=56005, wrong=26836, backtracks=7041, failedAssignments=20414, nogoods=3454, foundSolutions=33, bestBound=4970
6.00/3.77 nFilterCalls=438194, avgTableProportion=0.9952380952319818, avgTableSize=209.0
6.00/3.77
6.00/3.78 num=430, depth=1..6, filters=525573, ccks=528, wck=1.65, mem=53M11
6.00/3.78 decisions=56354, wrong=27009, backtracks=7084, failedAssignments=20545, nogoods=3459, foundSolutions=33, bestBound=4970
6.00/3.78 nFilterCalls=441241, avgTableProportion=0.9952380952319743, avgTableSize=209.0
6.00/3.78
6.00/3.78 o 4752
6.00/3.78 num=431, depth=2..28, filters=527666, ccks=544, wck=1.656, mem=53M11
6.00/3.78 decisions=56562, wrong=27108, backtracks=7115, failedAssignments=20616, nogoods=3467, foundSolutions=34, bestBound=4752
6.00/3.78 nFilterCalls=443023, avgTableProportion=0.9952380952319699, avgTableSize=209.0
6.00/3.78
6.00/3.79 num=432, depth=2..7, filters=531506, ccks=544, wck=1.667, mem=53M11
6.00/3.79 decisions=56957, wrong=27304, backtracks=7156, failedAssignments=20774, nogoods=3480, foundSolutions=34, bestBound=4752
6.00/3.79 nFilterCalls=446281, avgTableProportion=0.995238095231962, avgTableSize=209.0
6.00/3.79
6.00/3.79 num=433, depth=5..7, filters=531789, ccks=544, wck=1.668, mem=53M11
6.00/3.79 decisions=56990, wrong=27318, backtracks=7159, failedAssignments=20785, nogoods=3482, foundSolutions=34, bestBound=4752
6.00/3.79 nFilterCalls=446526, avgTableProportion=0.9952380952319614, avgTableSize=209.0
6.00/3.79
6.00/3.80 num=434, depth=4..6, filters=532216, ccks=544, wck=1.669, mem=53M11
6.00/3.80 decisions=57030, wrong=27336, backtracks=7165, failedAssignments=20797, nogoods=3491, foundSolutions=34, bestBound=4752
6.00/3.80 nFilterCalls=446891, avgTableProportion=0.9952380952319605, avgTableSize=209.0
6.00/3.80
6.10/3.80 num=435, depth=4..7, filters=532589, ccks=544, wck=1.671, mem=53M11
6.10/3.80 decisions=57068, wrong=27353, backtracks=7170, failedAssignments=20810, nogoods=3496, foundSolutions=34, bestBound=4752
6.10/3.80 nFilterCalls=447225, avgTableProportion=0.9952380952319597, avgTableSize=209.0
6.10/3.80
6.10/3.80 num=436, depth=3..4, filters=532863, ccks=544, wck=1.672, mem=53M11
6.10/3.80 decisions=57104, wrong=27369, backtracks=7172, failedAssignments=20824, nogoods=3502, foundSolutions=34, bestBound=4752
6.10/3.80 nFilterCalls=447456, avgTableProportion=0.9952380952319592, avgTableSize=209.0
6.10/3.80
6.10/3.80 num=437, depth=3..7, filters=533397, ccks=544, wck=1.673, mem=53M11
6.10/3.80 decisions=57161, wrong=27395, backtracks=7183, failedAssignments=20840, nogoods=3513, foundSolutions=34, bestBound=4752
6.10/3.80 nFilterCalls=447931, avgTableProportion=0.995238095231958, avgTableSize=209.0
6.10/3.80
6.10/3.80 num=438, depth=4..6, filters=533944, ccks=544, wck=1.675, mem=53M11
6.10/3.80 decisions=57210, wrong=27417, backtracks=7188, failedAssignments=20857, nogoods=3520, foundSolutions=34, bestBound=4752
6.10/3.80 nFilterCalls=448401, avgTableProportion=0.9952380952319569, avgTableSize=209.0
6.10/3.80
6.10/3.80 num=439, depth=2..6, filters=534435, ccks=544, wck=1.676, mem=53M11
6.10/3.80 decisions=57262, wrong=27441, backtracks=7194, failedAssignments=20876, nogoods=3526, foundSolutions=34, bestBound=4752
6.10/3.80 nFilterCalls=448831, avgTableProportion=0.9952380952319559, avgTableSize=209.0
6.10/3.80
6.10/3.80 num=440, depth=1..7, filters=534931, ccks=544, wck=1.678, mem=53M11
6.10/3.80 decisions=57317, wrong=27466, backtracks=7201, failedAssignments=20897, nogoods=3530, foundSolutions=34, bestBound=4752
6.10/3.80 nFilterCalls=449245, avgTableProportion=0.995238095231955, avgTableSize=209.0
6.10/3.80
6.10/3.81 num=441, depth=4..7, filters=535543, ccks=544, wck=1.68, mem=53M11
6.10/3.81 decisions=57383, wrong=27497, backtracks=7209, failedAssignments=20920, nogoods=3540, foundSolutions=34, bestBound=4752
6.10/3.81 nFilterCalls=449762, avgTableProportion=0.9952380952319537, avgTableSize=209.0
6.10/3.81
6.10/3.81 num=442, depth=2..8, filters=536094, ccks=544, wck=1.681, mem=53M11
6.10/3.81 decisions=57453, wrong=27529, backtracks=7216, failedAssignments=20945, nogoods=3550, foundSolutions=34, bestBound=4752
6.10/3.81 nFilterCalls=450246, avgTableProportion=0.9952380952319525, avgTableSize=209.0
6.10/3.81
6.10/3.81 num=443, depth=3..6, filters=536817, ccks=544, wck=1.684, mem=53M11
6.10/3.81 decisions=57525, wrong=27563, backtracks=7222, failedAssignments=20973, nogoods=3557, foundSolutions=34, bestBound=4752
6.10/3.81 nFilterCalls=450846, avgTableProportion=0.9952380952319512, avgTableSize=209.0
6.10/3.81
6.10/3.81 num=444, depth=3..7, filters=537725, ccks=544, wck=1.686, mem=53M11
6.10/3.81 decisions=57618, wrong=27607, backtracks=7236, failedAssignments=21004, nogoods=3564, foundSolutions=34, bestBound=4752
6.10/3.81 nFilterCalls=451589, avgTableProportion=0.9952380952319494, avgTableSize=209.0
6.10/3.81
6.10/3.82 num=445, depth=2..6, filters=538780, ccks=544, wck=1.689, mem=53M11
6.10/3.82 decisions=57721, wrong=27657, backtracks=7253, failedAssignments=21038, nogoods=3574, foundSolutions=34, bestBound=4752
6.10/3.82 nFilterCalls=452489, avgTableProportion=0.9952380952319473, avgTableSize=209.0
6.10/3.82
6.10/3.82 num=446, depth=2..6, filters=539880, ccks=544, wck=1.693, mem=53M11
6.10/3.82 decisions=57824, wrong=27707, backtracks=7267, failedAssignments=21075, nogoods=3586, foundSolutions=34, bestBound=4752
6.10/3.82 nFilterCalls=453429, avgTableProportion=0.9952380952319451, avgTableSize=209.0
6.10/3.82
6.10/3.82 num=447, depth=3..7, filters=541207, ccks=544, wck=1.696, mem=53M11
6.10/3.82 decisions=57947, wrong=27766, backtracks=7286, failedAssignments=21116, nogoods=3592, foundSolutions=34, bestBound=4752
6.10/3.82 nFilterCalls=454546, avgTableProportion=0.9952380952319425, avgTableSize=209.0
6.10/3.82
6.10/3.83 num=448, depth=1..7, filters=542444, ccks=544, wck=1.7, mem=53M11
6.10/3.83 decisions=58070, wrong=27826, backtracks=7303, failedAssignments=21161, nogoods=3604, foundSolutions=34, bestBound=4752
6.10/3.83 nFilterCalls=455589, avgTableProportion=0.9952380952319401, avgTableSize=209.0
6.10/3.83
6.10/3.83 num=449, depth=4..7, filters=543431, ccks=544, wck=1.703, mem=53M11
6.10/3.83 decisions=58195, wrong=27886, backtracks=7313, failedAssignments=21211, nogoods=3619, foundSolutions=34, bestBound=4752
6.10/3.83 nFilterCalls=456420, avgTableProportion=0.9952380952319382, avgTableSize=209.0
6.10/3.83
6.10/3.83 num=450, depth=4..8, filters=544603, ccks=544, wck=1.706, mem=53M11
6.10/3.83 decisions=58341, wrong=27956, backtracks=7330, failedAssignments=21266, nogoods=3623, foundSolutions=34, bestBound=4752
6.10/3.83 nFilterCalls=457386, avgTableProportion=0.995238095231936, avgTableSize=209.0
6.10/3.83
6.10/3.84 num=451, depth=4..9, filters=546060, ccks=544, wck=1.71, mem=53M11
6.10/3.84 decisions=58519, wrong=28042, backtracks=7357, failedAssignments=21327, nogoods=3631, foundSolutions=34, bestBound=4752
6.10/3.84 nFilterCalls=458607, avgTableProportion=0.9952380952319332, avgTableSize=209.0
6.10/3.84
6.10/3.84 num=452, depth=3..6, filters=547684, ccks=544, wck=1.715, mem=53M11
6.10/3.84 decisions=58698, wrong=28129, backtracks=7378, failedAssignments=21394, nogoods=3644, foundSolutions=34, bestBound=4752
6.10/3.84 nFilterCalls=459957, avgTableProportion=0.9952380952319301, avgTableSize=209.0
6.10/3.84
6.10/3.85 num=453, depth=1..8, filters=549446, ccks=544, wck=1.72, mem=53M11
6.10/3.85 decisions=58900, wrong=28227, backtracks=7407, failedAssignments=21468, nogoods=3658, foundSolutions=34, bestBound=4752
6.10/3.85 nFilterCalls=461439, avgTableProportion=0.9952380952319267, avgTableSize=209.0
6.10/3.85
6.10/3.85 num=454, depth=2..7, filters=551608, ccks=544, wck=1.726, mem=53M11
6.10/3.85 decisions=59135, wrong=28342, backtracks=7442, failedAssignments=21549, nogoods=3662, foundSolutions=34, bestBound=4752
6.10/3.85 nFilterCalls=463299, avgTableProportion=0.9952380952319225, avgTableSize=209.0
6.10/3.85
6.10/3.86 num=455, depth=3..8, filters=553548, ccks=544, wck=1.731, mem=53M11
6.10/3.86 decisions=59372, wrong=28457, backtracks=7473, failedAssignments=21638, nogoods=3674, foundSolutions=34, bestBound=4752
6.10/3.86 nFilterCalls=464890, avgTableProportion=0.9952380952319191, avgTableSize=209.0
6.10/3.86
6.10/3.86 num=456, depth=2..6, filters=556163, ccks=544, wck=1.739, mem=53M11
6.10/3.86 decisions=59651, wrong=28595, backtracks=7513, failedAssignments=21736, nogoods=3681, foundSolutions=34, bestBound=4752
6.10/3.86 nFilterCalls=467049, avgTableProportion=0.9952380952319143, avgTableSize=209.0
6.10/3.86
6.10/3.87 num=457, depth=3..8, filters=558738, ccks=544, wck=1.746, mem=53M11
6.10/3.87 decisions=59953, wrong=28744, backtracks=7558, failedAssignments=21844, nogoods=3689, foundSolutions=34, bestBound=4752
6.10/3.87 nFilterCalls=469202, avgTableProportion=0.9952380952319095, avgTableSize=209.0
6.10/3.87
6.10/3.88 num=458, depth=1..7, filters=561619, ccks=544, wck=1.754, mem=53M11
6.10/3.88 decisions=60285, wrong=28908, backtracks=7611, failedAssignments=21963, nogoods=3704, foundSolutions=34, bestBound=4752
6.10/3.88 nFilterCalls=471638, avgTableProportion=0.9952380952319043, avgTableSize=209.0
6.10/3.88
6.10/3.89 num=459, depth=2..7, filters=565030, ccks=544, wck=1.765, mem=53M11
6.10/3.89 decisions=60634, wrong=29081, backtracks=7656, failedAssignments=22094, nogoods=3720, foundSolutions=34, bestBound=4752
6.10/3.89 nFilterCalls=474567, avgTableProportion=0.995238095231898, avgTableSize=209.0
6.10/3.89
6.20/3.90 num=460, depth=2..7, filters=568437, ccks=544, wck=1.774, mem=53M11
6.20/3.90 decisions=61020, wrong=29272, backtracks=7706, failedAssignments=22238, nogoods=3731, foundSolutions=34, bestBound=4752
6.20/3.90 nFilterCalls=477493, avgTableProportion=0.9952380952318919, avgTableSize=209.0
6.20/3.90
6.20/3.91 num=461, depth=1..7, filters=572485, ccks=544, wck=1.786, mem=53M11
6.20/3.91 decisions=61432, wrong=29475, backtracks=7754, failedAssignments=22396, nogoods=3747, foundSolutions=34, bestBound=4752
6.20/3.91 nFilterCalls=481029, avgTableProportion=0.9952380952318844, avgTableSize=209.0
6.20/3.91
6.20/3.92 num=462, depth=1..6, filters=576275, ccks=544, wck=1.798, mem=53M11
6.20/3.92 decisions=61870, wrong=29691, backtracks=7802, failedAssignments=22570, nogoods=3763, foundSolutions=34, bestBound=4752
6.20/3.92 nFilterCalls=484235, avgTableProportion=0.9952380952318779, avgTableSize=209.0
6.20/3.92
6.20/3.94 num=463, depth=2..7, filters=581236, ccks=544, wck=1.812, mem=53M11
6.20/3.94 decisions=62414, wrong=29961, backtracks=7883, failedAssignments=22761, nogoods=3781, foundSolutions=34, bestBound=4752
6.20/3.94 nFilterCalls=488377, avgTableProportion=0.9952380952318695, avgTableSize=209.0
6.20/3.94
6.20/3.95 num=464, depth=1..7, filters=586505, ccks=544, wck=1.827, mem=53M11
6.20/3.95 decisions=62985, wrong=30245, backtracks=7962, failedAssignments=22972, nogoods=3793, foundSolutions=34, bestBound=4752
6.20/3.95 nFilterCalls=492785, avgTableProportion=0.9952380952318607, avgTableSize=209.0
6.20/3.95
6.20/3.97 num=465, depth=1..6, filters=591705, ccks=544, wck=1.843, mem=53M11
6.20/3.97 decisions=63583, wrong=30542, backtracks=8032, failedAssignments=23204, nogoods=3800, foundSolutions=34, bestBound=4752
6.20/3.97 nFilterCalls=497330, avgTableProportion=0.9952380952318518, avgTableSize=209.0
6.20/3.97
6.20/3.98 num=466, depth=2..8, filters=597231, ccks=544, wck=1.859, mem=53M11
6.20/3.98 decisions=64259, wrong=30878, backtracks=8124, failedAssignments=23459, nogoods=3808, foundSolutions=34, bestBound=4752
6.20/3.98 nFilterCalls=501858, avgTableProportion=0.9952380952318431, avgTableSize=209.0
6.20/3.98
6.20/4.00 num=467, depth=2..7, filters=603760, ccks=544, wck=1.878, mem=53M11
6.20/4.00 decisions=65023, wrong=31259, backtracks=8227, failedAssignments=23740, nogoods=3830, foundSolutions=34, bestBound=4752
6.20/4.00 nFilterCalls=507331, avgTableProportion=0.9952380952318328, avgTableSize=209.0
6.20/4.00
6.31/4.02 num=468, depth=2..7, filters=610749, ccks=544, wck=1.898, mem=53M11
6.31/4.02 decisions=65844, wrong=31668, backtracks=8333, failedAssignments=24049, nogoods=3843, foundSolutions=34, bestBound=4752
6.31/4.02 nFilterCalls=513169, avgTableProportion=0.995238095231822, avgTableSize=209.0
6.31/4.02
6.31/4.05 num=469, depth=1..8, filters=619148, ccks=544, wck=1.923, mem=53M11
6.31/4.05 decisions=66775, wrong=32132, backtracks=8470, failedAssignments=24389, nogoods=3849, foundSolutions=34, bestBound=4752
6.31/4.05 nFilterCalls=520120, avgTableProportion=0.9952380952318096, avgTableSize=209.0
6.31/4.05
6.31/4.07 num=470, depth=1..8, filters=627425, ccks=544, wck=1.946, mem=53M11
6.31/4.07 decisions=67743, wrong=32613, backtracks=8588, failedAssignments=24763, nogoods=3868, foundSolutions=34, bestBound=4752
6.31/4.07 nFilterCalls=526947, avgTableProportion=0.9952380952318144, avgTableSize=209.0
6.31/4.07
6.31/4.10 num=471, depth=2..8, filters=638664, ccks=544, wck=1.977, mem=53M11
6.31/4.10 decisions=68897, wrong=33187, backtracks=8767, failedAssignments=25174, nogoods=3883, foundSolutions=34, bestBound=4752
6.31/4.10 nFilterCalls=536308, avgTableProportion=0.9952380952328141, avgTableSize=209.0
6.31/4.10
6.41/4.13 num=472, depth=2..8, filters=647733, ccks=544, wck=2.003, mem=53M11
6.41/4.13 decisions=70057, wrong=33765, backtracks=8905, failedAssignments=25626, nogoods=3900, foundSolutions=34, bestBound=4752
6.41/4.13 nFilterCalls=543741, avgTableProportion=0.9952380952335835, avgTableSize=209.0
6.41/4.13
6.41/4.17 num=473, depth=1..8, filters=660895, ccks=544, wck=2.042, mem=53M11
6.41/4.17 decisions=71386, wrong=34428, backtracks=9082, failedAssignments=26123, nogoods=3914, foundSolutions=34, bestBound=4752
6.41/4.17 nFilterCalls=554940, avgTableProportion=0.9952380952347039, avgTableSize=209.0
6.41/4.17
6.50/4.21 num=474, depth=1..9, filters=676656, ccks=544, wck=2.087, mem=53M11
6.50/4.21 decisions=72867, wrong=35167, backtracks=9282, failedAssignments=26670, nogoods=3938, foundSolutions=34, bestBound=4752
6.50/4.21 nFilterCalls=568456, avgTableProportion=0.9952380952359972, avgTableSize=209.0
6.50/4.21
6.50/4.26 num=475, depth=0..7, filters=692163, ccks=544, wck=2.133, mem=53M11
6.50/4.26 decisions=74469, wrong=35966, backtracks=9493, failedAssignments=27272, nogoods=3947, foundSolutions=34, bestBound=4752
6.50/4.26 nFilterCalls=581417, avgTableProportion=0.9952380952371808, avgTableSize=209.0
6.50/4.26
6.60/4.31 num=476, depth=0..7, filters=708403, ccks=544, wck=2.182, mem=53M11
6.60/4.31 decisions=76314, wrong=36887, backtracks=9772, failedAssignments=27934, nogoods=3958, foundSolutions=34, bestBound=4752
6.60/4.31 nFilterCalls=595250, avgTableProportion=0.9952380952383872, avgTableSize=209.0
6.60/4.31
6.60/4.36 num=477, depth=0..7, filters=726235, ccks=544, wck=2.233, mem=53M11
6.60/4.36 decisions=78324, wrong=37891, backtracks=10067, failedAssignments=28662, nogoods=3973, foundSolutions=34, bestBound=4752
6.60/4.36 nFilterCalls=610041, avgTableProportion=0.9952380952396167, avgTableSize=209.0
6.60/4.36
6.70/4.42 num=478, depth=1..8, filters=746304, ccks=544, wck=2.291, mem=53M11
6.70/4.42 decisions=80468, wrong=38961, backtracks=10362, failedAssignments=29463, nogoods=3992, foundSolutions=34, bestBound=4752
6.70/4.42 nFilterCalls=626850, avgTableProportion=0.9952380952409435, avgTableSize=209.0
6.70/4.42
6.70/4.48 num=479, depth=1..7, filters=767016, ccks=544, wck=2.35, mem=53M11
6.70/4.48 decisions=82836, wrong=40143, backtracks=10682, failedAssignments=30344, nogoods=4018, foundSolutions=34, bestBound=4752
6.70/4.48 nFilterCalls=644083, avgTableProportion=0.995238095242232, avgTableSize=209.0
6.70/4.48
6.81/4.54 num=480, depth=1..9, filters=789273, ccks=544, wck=2.411, mem=53M11
6.81/4.54 decisions=85505, wrong=41475, backtracks=11063, failedAssignments=31314, nogoods=4051, foundSolutions=34, bestBound=4752
6.81/4.54 nFilterCalls=662731, avgTableProportion=0.9952380952435506, avgTableSize=209.0
6.81/4.54
6.91/4.62 num=481, depth=0..7, filters=816690, ccks=544, wck=2.494, mem=53M11
6.91/4.62 decisions=88371, wrong=42905, backtracks=11461, failedAssignments=32381, nogoods=4067, foundSolutions=34, bestBound=4752
6.91/4.62 nFilterCalls=686155, avgTableProportion=0.9952380952451054, avgTableSize=209.0
6.91/4.62
7.01/4.71 num=482, depth=0..7, filters=845884, ccks=544, wck=2.58, mem=53M11
7.01/4.71 decisions=91406, wrong=44420, backtracks=11835, failedAssignments=33554, nogoods=4081, foundSolutions=34, bestBound=4752
7.01/4.71 nFilterCalls=710748, avgTableProportion=0.9952380952466275, avgTableSize=209.0
7.01/4.71
7.11/4.80 num=483, depth=0..7, filters=878350, ccks=544, wck=2.676, mem=53M11
7.11/4.80 decisions=94832, wrong=46132, backtracks=12300, failedAssignments=34845, nogoods=4103, foundSolutions=34, bestBound=4752
7.11/4.80 nFilterCalls=738118, avgTableProportion=0.9952380952482024, avgTableSize=209.0
7.11/4.80
7.21/4.91 num=484, depth=0..7, filters=914798, ccks=544, wck=2.785, mem=55M653
7.21/4.91 decisions=98635, wrong=48031, backtracks=12816, failedAssignments=36265, nogoods=4115, foundSolutions=34, bestBound=4752
7.21/4.91 nFilterCalls=768942, avgTableProportion=0.9952380952498416, avgTableSize=209.0
7.21/4.91
7.34/5.02 num=485, depth=0..7, filters=953207, ccks=544, wck=2.894, mem=55M653
7.34/5.02 decisions=102879, wrong=50151, backtracks=13439, failedAssignments=37827, nogoods=4133, foundSolutions=34, bestBound=4752
7.34/5.02 nFilterCalls=800873, avgTableProportion=0.9952380952514067, avgTableSize=209.0
7.34/5.02
7.44/5.14 num=486, depth=0..7, filters=993262, ccks=544, wck=3.012, mem=55M653
7.44/5.14 decisions=107517, wrong=52469, backtracks=14080, failedAssignments=39545, nogoods=4142, foundSolutions=34, bestBound=4752
7.44/5.14 nFilterCalls=834894, avgTableProportion=0.9952380952529425, avgTableSize=209.0
7.44/5.14
7.53/5.28 num=487, depth=0..9, filters=1042142, ccks=544, wck=3.153, mem=55M653
7.53/5.28 decisions=112537, wrong=54978, backtracks=14761, failedAssignments=41435, nogoods=4163, foundSolutions=34, bestBound=4752
7.53/5.28 nFilterCalls=875457, avgTableProportion=0.9952380952546177, avgTableSize=209.0
7.53/5.28
7.73/5.43 num=488, depth=0..8, filters=1095342, ccks=544, wck=3.308, mem=55M653
7.73/5.43 decisions=118184, wrong=57800, backtracks=15571, failedAssignments=43514, nogoods=4175, foundSolutions=34, bestBound=4752
7.73/5.43 nFilterCalls=920344, avgTableProportion=0.9952380952562992, avgTableSize=209.0
7.73/5.43
7.83/5.56
7.83/5.56 New Bounds: 4752..4751
7.83/5.56 num=489, depth=0..7, filters=1139314, ccks=544, wck=3.439, mem=55M653
7.83/5.56 decisions=122828, wrong=60123, backtracks=16224, failedAssignments=45239, foundSolutions=34, bestBound=4752
7.83/5.56 nFilterCalls=957888, avgTableProportion=0.9952380952575847, avgTableSize=209.0
7.83/5.56
7.83/5.56 Global
7.83/5.56 filters=1139314, ccks=544
7.83/5.56 Stop=FULL_EXPLORATION, wrong=60123, bestBound=4752, bestBoundWck=1.928, bestBoundCpu=3.75, foundSolutions=34, firstSolCpu=2.107
7.83/5.56 wck=3.711, cpu=5.533, mem=55M653
7.83/5.57
7.83/5.57 v <instantiation id='sol34' type='solution' cost='4752'> <list> x[] d[][] </list> <values> 12 1 4 6 7 0 13 5 3 2 14 8 11 10 9 * 4 2 * * * * * * * * * * * * * * * 3 * * * * * * * * * * * * * * * 1 * * * * * * * * * * * * * * * 5 * * * * * * * * * * * * * * * 12 * * * * * * * * * * * * * * * 39 * * * * * * * * * * * * * * * 20 * * * * * * * * * * * * * * * 50 * * * * * * * * * * * * * * * 1 * * * * * * * * * * * * * * * 4 * * * * * * * * * * * * * * * 11 * * * * * * * * * * * * * * * 10 * * * * * * * * * * * * * * * 13 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * </values> </instantiation>
7.83/5.57 s OPTIMUM FOUND
7.83/5.57
7.83/5.57 d WRONG_DECISIONS 60123
7.83/5.57 d NUMBER_SOLUTIONS 34