2.40/1.87
2.40/1.87 AbsCon 2
2.40/1.89
2.91/2.05 Instance
2.91/2.05 name=instance-4391170-1568390381, framework=COP, bounds=-infty..+infty
2.91/2.05
2.91/2.05 Loading variables...
2.91/2.08 Loading constraints...[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2689e112
3.44/2.21
3.44/2.21
3.44/2.21 Domains
3.44/2.21 nTypes=56, nValues=1853, sizes=[1#2,2#28,29#5,30#55]
3.44/2.21 Variables
3.44/2.21 count=90, degrees=[1#2,2#59,3#29]
3.44/2.21 Objectives
3.44/2.21 way=max, type=SumSimpleGE
3.44/2.21 Constraints
3.44/2.21 count=62, nSpecific=3, arities=[1#1,2#58,30#3]
3.44/2.21 distribution=[Circuit#1,CtrExtensionV-Bits#30,CtrIntension#29,SumSimpleGE#1,SumSimpleLE#1]
3.44/2.21 nExtStructures=(30,shared:0), nIntStructures=(29,shared:0), nCftStructures=(58,shared:0,unbuilt:4)
3.44/2.21 wck=0.37, cpu=2.165, mem=26M513
3.44/2.22 Solver SolverBacktrack being built...
3.44/2.22
3.44/2.24
3.44/2.24 Solver
3.44/2.24 guaranteedGAC=false
3.44/2.24 wck=0.396, cpu=2.19, mem=37M156
3.44/2.25
3.44/2.25 Preprocessing
3.44/2.25 filters=44, revisions=(106,useless=51), ccks=2064, nACremovedValues=437, nTotalRemovedValues=437, inconcistency=false
3.44/2.25 wck=0.014, cpu=2.205, mem=37M156
3.44/2.25
3.44/2.27 o 74
3.44/2.28 num=0, depth=91..89, filters=207, revisions=(393,useless=179), ccks=2175, wck=0.038, mem=37M156
3.44/2.28 decisions=19, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=1, bestBound=74
3.44/2.28
3.71/2.30 o 318
3.71/2.30 num=1, depth=2..89, filters=631, revisions=(1121,useless=549), ccks=2412, wck=0.066, mem=37M156
3.71/2.30 decisions=70, wrong=23, backtracks=17, failedAssignments=6, nogoods=6, foundSolutions=2, bestBound=318
3.71/2.30
3.71/2.31 num=2, depth=2..11, filters=1197, revisions=(2050,useless=992), ccks=2575, wck=0.076, mem=37M156
3.71/2.31 decisions=105, wrong=38, backtracks=23, failedAssignments=17, nogoods=10, foundSolutions=2, bestBound=318
3.71/2.31
3.71/2.32 num=3, depth=5..17, filters=1631, revisions=(2671,useless=1252), ccks=2696, wck=0.082, mem=37M156
3.71/2.32 decisions=150, wrong=55, backtracks=33, failedAssignments=28, nogoods=18, foundSolutions=2, bestBound=318
3.71/2.32
3.71/2.33 o 335
3.71/2.33 num=4, depth=2..89, filters=2021, revisions=(3322,useless=1560), ccks=2873, wck=0.092, mem=37M156
3.71/2.33 decisions=174, wrong=64, backtracks=38, failedAssignments=34, nogoods=22, foundSolutions=3, bestBound=335
3.71/2.33
3.71/2.34 num=5, depth=1..4, filters=2671, revisions=(4588,useless=2209), ccks=3012, wck=0.107, mem=37M156
3.71/2.34 decisions=208, wrong=79, backtracks=41, failedAssignments=47, nogoods=33, foundSolutions=3, bestBound=335
3.71/2.34
3.71/2.35 num=6, depth=2..7, filters=3085, revisions=(5233,useless=2487), ccks=3113, wck=0.112, mem=37M156
3.71/2.35 decisions=239, wrong=92, backtracks=43, failedAssignments=58, nogoods=41, foundSolutions=3, bestBound=335
3.71/2.35
3.71/2.36 o 415
3.71/2.36 num=7, depth=3..89, filters=3414, revisions=(5823,useless=2772), ccks=3287, wck=0.118, mem=39M798
3.71/2.36 decisions=257, wrong=95, backtracks=43, failedAssignments=61, nogoods=44, foundSolutions=4, bestBound=415
3.71/2.36
3.71/2.36 num=8, depth=6..13, filters=4023, revisions=(6854,useless=3259), ccks=3433, wck=0.125, mem=39M798
3.71/2.36 decisions=302, wrong=112, backtracks=47, failedAssignments=74, nogoods=51, foundSolutions=4, bestBound=415
3.71/2.36
3.71/2.37 num=9, depth=9..13, filters=4664, revisions=(7821,useless=3652), ccks=3616, wck=0.132, mem=39M798
3.71/2.37 decisions=341, wrong=126, backtracks=50, failedAssignments=85, nogoods=59, foundSolutions=4, bestBound=415
3.71/2.37
3.71/2.37 num=10, depth=3..16, filters=5090, revisions=(8422,useless=3907), ccks=3730, wck=0.136, mem=39M798
3.71/2.37 decisions=387, wrong=143, backtracks=56, failedAssignments=97, nogoods=64, foundSolutions=4, bestBound=415
3.71/2.37
3.71/2.38 num=11, depth=6..14, filters=5493, revisions=(9035,useless=4169), ccks=3825, wck=0.14, mem=39M798
3.71/2.38 decisions=427, wrong=156, backtracks=56, failedAssignments=110, nogoods=77, foundSolutions=4, bestBound=415
3.71/2.38
3.71/2.39 num=12, depth=3..12, filters=6102, revisions=(9870,useless=4505), ccks=3997, wck=0.146, mem=39M798
3.71/2.39 decisions=476, wrong=175, backtracks=63, failedAssignments=124, nogoods=84, foundSolutions=4, bestBound=415
3.71/2.39
3.71/2.39 o 508
3.71/2.39 num=13, depth=6..89, filters=6720, revisions=(10823,useless=4907), ccks=4249, wck=0.154, mem=39M798
3.71/2.39 decisions=517, wrong=190, backtracks=70, failedAssignments=134, nogoods=88, foundSolutions=5, bestBound=508
3.71/2.39
4.03/2.40 num=14, depth=8..16, filters=7423, revisions=(11919,useless=5417), ccks=4518, wck=0.161, mem=39M798
4.03/2.40 decisions=582, wrong=218, backtracks=82, failedAssignments=151, nogoods=92, foundSolutions=5, bestBound=508
4.03/2.40
4.03/2.40 num=15, depth=2..11, filters=7803, revisions=(12437,useless=5636), ccks=4646, wck=0.165, mem=39M798
4.03/2.40 decisions=620, wrong=235, backtracks=90, failedAssignments=162, nogoods=100, foundSolutions=5, bestBound=508
4.03/2.40
4.03/2.41 num=16, depth=7..12, filters=8423, revisions=(13450,useless=6077), ccks=4866, wck=0.172, mem=39M798
4.03/2.41 decisions=659, wrong=250, backtracks=94, failedAssignments=174, nogoods=107, foundSolutions=5, bestBound=508
4.03/2.41
4.03/2.42 num=17, depth=4..13, filters=9092, revisions=(14379,useless=6451), ccks=5067, wck=0.179, mem=39M798
4.03/2.42 decisions=718, wrong=275, backtracks=108, failedAssignments=187, nogoods=116, foundSolutions=5, bestBound=508
4.03/2.42
4.03/2.43 num=18, depth=0..10, filters=9960, revisions=(15750,useless=7056), ccks=5346, wck=0.187, mem=39M798
4.03/2.43 decisions=777, wrong=300, backtracks=122, failedAssignments=201, nogoods=120, foundSolutions=5, bestBound=508
4.03/2.43
4.03/2.43 num=19, depth=1..8, filters=10567, revisions=(16623,useless=7437), ccks=5510, wck=0.194, mem=39M798
4.03/2.43 decisions=835, wrong=326, backtracks=134, failedAssignments=217, nogoods=129, foundSolutions=5, bestBound=508
4.03/2.43
4.03/2.44 num=20, depth=2..16, filters=11206, revisions=(17554,useless=7835), ccks=5704, wck=0.2, mem=39M798
4.03/2.44 decisions=898, wrong=355, backtracks=153, failedAssignments=234, nogoods=134, foundSolutions=5, bestBound=508
4.03/2.44
4.03/2.45 num=21, depth=0..11, filters=11934, revisions=(18645,useless=8299), ccks=5927, wck=0.208, mem=39M798
4.03/2.45 decisions=951, wrong=377, backtracks=156, failedAssignments=253, nogoods=149, foundSolutions=5, bestBound=508
4.03/2.45
4.03/2.46 num=22, depth=0..15, filters=12828, revisions=(19964,useless=8861), ccks=6247, wck=0.218, mem=39M798
4.03/2.46 decisions=1029, wrong=412, backtracks=177, failedAssignments=274, nogoods=157, foundSolutions=5, bestBound=508
4.03/2.46
4.03/2.46 num=23, depth=2..10, filters=13492, revisions=(20865,useless=9252), ccks=6466, wck=0.224, mem=39M798
4.03/2.46 decisions=1095, wrong=443, backtracks=187, failedAssignments=297, nogoods=162, foundSolutions=5, bestBound=508
4.03/2.46
4.03/2.47 num=24, depth=6..13, filters=14644, revisions=(22596,useless=10017), ccks=6905, wck=0.233, mem=39M798
4.03/2.47 decisions=1170, wrong=476, backtracks=202, failedAssignments=322, nogoods=171, foundSolutions=5, bestBound=508
4.03/2.47
4.03/2.48 num=25, depth=1..8, filters=15689, revisions=(24079,useless=10649), ccks=7215, wck=0.241, mem=42M441
4.03/2.48 decisions=1255, wrong=515, backtracks=214, failedAssignments=350, nogoods=184, foundSolutions=5, bestBound=508
4.03/2.48
4.03/2.49 num=26, depth=3..13, filters=17038, revisions=(26058,useless=11514), ccks=7629, wck=0.252, mem=42M441
4.03/2.49 decisions=1356, wrong=560, backtracks=232, failedAssignments=381, nogoods=193, foundSolutions=5, bestBound=508
4.03/2.49
4.35/2.50 num=27, depth=2..12, filters=18204, revisions=(27729,useless=12232), ccks=7929, wck=0.263, mem=42M441
4.35/2.50 decisions=1467, wrong=612, backtracks=261, failedAssignments=415, nogoods=207, foundSolutions=5, bestBound=508
4.35/2.50
4.35/2.51 num=28, depth=2..20, filters=19333, revisions=(29384,useless=12950), ccks=8295, wck=0.272, mem=42M441
4.35/2.51 decisions=1573, wrong=658, backtracks=274, failedAssignments=452, nogoods=222, foundSolutions=5, bestBound=508
4.35/2.51
4.35/2.52 num=29, depth=1..11, filters=20728, revisions=(31356,useless=13800), ccks=8699, wck=0.283, mem=42M441
4.35/2.52 decisions=1700, wrong=717, backtracks=302, failedAssignments=493, nogoods=237, foundSolutions=5, bestBound=508
4.35/2.52
4.35/2.54 num=30, depth=2..17, filters=22913, revisions=(34431,useless=15066), ccks=9330, wck=0.299, mem=42M441
4.35/2.54 decisions=1882, wrong=803, backtracks=346, failedAssignments=538, nogoods=254, foundSolutions=5, bestBound=508
4.35/2.54
4.35/2.55 num=31, depth=2..17, filters=24901, revisions=(37084,useless=16144), ccks=9963, wck=0.313, mem=42M441
4.35/2.55 decisions=2071, wrong=893, backtracks=397, failedAssignments=588, nogoods=272, foundSolutions=5, bestBound=508
4.35/2.55
4.35/2.57 num=32, depth=0..16, filters=27038, revisions=(40066,useless=17426), ccks=10600, wck=0.328, mem=42M441
4.35/2.57 decisions=2246, wrong=977, backtracks=434, failedAssignments=643, nogoods=277, foundSolutions=5, bestBound=508
4.35/2.57
4.35/2.58 num=33, depth=4..18, filters=29363, revisions=(43255,useless=18730), ccks=11228, wck=0.344, mem=42M441
4.35/2.58 decisions=2442, wrong=1071, backtracks=481, failedAssignments=704, nogoods=285, foundSolutions=5, bestBound=508
4.35/2.58
4.65/2.60 num=34, depth=5..17, filters=31954, revisions=(46830,useless=20235), ccks=12067, wck=0.362, mem=45M83
4.65/2.60 decisions=2691, wrong=1192, backtracks=551, failedAssignments=771, nogoods=292, foundSolutions=5, bestBound=508
4.65/2.60
4.65/2.61 num=35, depth=4..18, filters=34498, revisions=(49998,useless=21435), ccks=12924, wck=0.375, mem=45M83
4.65/2.61 decisions=2949, wrong=1316, backtracks=615, failedAssignments=845, nogoods=300, foundSolutions=5, bestBound=508
4.65/2.61
4.65/2.63 num=36, depth=5..14, filters=37923, revisions=(54925,useless=23551), ccks=13904, wck=0.397, mem=45M83
4.65/2.63 decisions=3192, wrong=1432, backtracks=662, failedAssignments=926, nogoods=311, foundSolutions=5, bestBound=508
4.65/2.63
4.65/2.64 o 513
4.65/2.64 num=37, depth=4..89, filters=38465, revisions=(55781,useless=23921), ccks=14154, wck=0.402, mem=45M83
4.65/2.64 decisions=3237, wrong=1449, backtracks=671, failedAssignments=937, nogoods=320, foundSolutions=6, bestBound=513
4.65/2.64
4.65/2.66 num=38, depth=5..16, filters=42059, revisions=(60868,useless=26143), ccks=15280, wck=0.423, mem=45M83
4.65/2.66 decisions=3534, wrong=1592, backtracks=743, failedAssignments=1035, nogoods=337, foundSolutions=6, bestBound=513
4.65/2.66
4.65/2.67 num=39, depth=0..10, filters=42669, revisions=(61811,useless=26555), ccks=15461, wck=0.429, mem=45M83
4.65/2.67 decisions=3571, wrong=1608, backtracks=748, failedAssignments=1046, nogoods=340, foundSolutions=6, bestBound=513
4.65/2.67
4.65/2.67 num=40, depth=8..16, filters=43185, revisions=(62659,useless=26937), ccks=15625, wck=0.432, mem=45M83
4.65/2.67 decisions=3613, wrong=1622, backtracks=751, failedAssignments=1058, nogoods=344, foundSolutions=6, bestBound=513
4.65/2.67
4.65/2.67 num=41, depth=3..10, filters=43673, revisions=(63363,useless=27239), ccks=15772, wck=0.435, mem=45M83
4.65/2.67 decisions=3652, wrong=1638, backtracks=755, failedAssignments=1071, nogoods=352, foundSolutions=6, bestBound=513
4.65/2.67
4.65/2.68 num=42, depth=1..13, filters=44269, revisions=(64180,useless=27575), ccks=15949, wck=0.44, mem=45M83
4.65/2.68 decisions=3702, wrong=1659, backtracks=765, failedAssignments=1085, nogoods=361, foundSolutions=6, bestBound=513
4.65/2.68
4.65/2.68 num=43, depth=3..9, filters=45238, revisions=(65635,useless=28201), ccks=16210, wck=0.447, mem=45M83
4.65/2.68 decisions=3758, wrong=1684, backtracks=775, failedAssignments=1101, nogoods=368, foundSolutions=6, bestBound=513
4.65/2.68
4.65/2.69 num=44, depth=1..14, filters=46062, revisions=(66823,useless=28717), ccks=16428, wck=0.452, mem=45M83
4.65/2.69 decisions=3826, wrong=1715, backtracks=794, failedAssignments=1118, nogoods=374, foundSolutions=6, bestBound=513
4.65/2.69
4.96/2.70 num=45, depth=4..9, filters=47071, revisions=(68323,useless=29334), ccks=16726, wck=0.46, mem=45M83
4.96/2.70 decisions=3878, wrong=1738, backtracks=800, failedAssignments=1137, nogoods=390, foundSolutions=6, bestBound=513
4.96/2.70
4.96/2.70 num=46, depth=5..15, filters=47939, revisions=(69544,useless=29847), ccks=16974, wck=0.465, mem=45M83
4.96/2.70 decisions=3943, wrong=1766, backtracks=810, failedAssignments=1158, nogoods=398, foundSolutions=6, bestBound=513
4.96/2.70
4.96/2.71 num=47, depth=2..15, filters=48733, revisions=(70770,useless=30376), ccks=17181, wck=0.471, mem=45M83
4.96/2.71 decisions=4006, wrong=1793, backtracks=815, failedAssignments=1181, nogoods=417, foundSolutions=6, bestBound=513
4.96/2.71
4.96/2.71 num=48, depth=4..17, filters=49740, revisions=(72260,useless=31021), ccks=17465, wck=0.477, mem=45M83
4.96/2.71 decisions=4088, wrong=1827, backtracks=829, failedAssignments=1206, nogoods=434, foundSolutions=6, bestBound=513
4.96/2.71
4.96/2.72 num=49, depth=0..15, filters=51190, revisions=(74325,useless=31890), ccks=17912, wck=0.486, mem=45M83
4.96/2.72 decisions=4180, wrong=1868, backtracks=845, failedAssignments=1234, nogoods=451, foundSolutions=6, bestBound=513
4.96/2.72
4.96/2.73 num=50, depth=2..13, filters=52440, revisions=(76043,useless=32609), ccks=18275, wck=0.493, mem=45M83
4.96/2.73 decisions=4285, wrong=1916, backtracks=869, failedAssignments=1265, nogoods=463, foundSolutions=6, bestBound=513
4.96/2.73
4.96/2.74 num=51, depth=8..16, filters=53669, revisions=(77899,useless=33443), ccks=18663, wck=0.5, mem=45M83
4.96/2.74 decisions=4389, wrong=1962, backtracks=885, failedAssignments=1299, nogoods=472, foundSolutions=6, bestBound=513
4.96/2.74
4.96/2.75 num=52, depth=3..16, filters=55508, revisions=(80445,useless=34510), ccks=19222, wck=0.511, mem=45M83
4.96/2.75 decisions=4528, wrong=2028, backtracks=925, failedAssignments=1336, nogoods=481, foundSolutions=6, bestBound=513
4.96/2.75
4.96/2.76 num=53, depth=1..18, filters=57283, revisions=(82976,useless=35596), ccks=19753, wck=0.521, mem=47M725
4.96/2.76 decisions=4672, wrong=2094, backtracks=957, failedAssignments=1377, nogoods=490, foundSolutions=6, bestBound=513
4.96/2.76
4.96/2.77 num=54, depth=0..12, filters=59432, revisions=(85836,useless=36736), ccks=20417, wck=0.533, mem=47M725
4.96/2.77 decisions=4847, wrong=2179, backtracks=1007, failedAssignments=1422, nogoods=496, foundSolutions=6, bestBound=513
4.96/2.77
4.96/2.78 num=55, depth=4..17, filters=61664, revisions=(88810,useless=37947), ccks=21064, wck=0.544, mem=47M725
4.96/2.78 decisions=5037, wrong=2270, backtracks=1060, failedAssignments=1472, nogoods=505, foundSolutions=6, bestBound=513
4.96/2.78
4.96/2.80 num=56, depth=5..14, filters=64080, revisions=(92231,useless=39397), ccks=21834, wck=0.558, mem=47M725
4.96/2.80 decisions=5207, wrong=2352, backtracks=1095, failedAssignments=1527, nogoods=515, foundSolutions=6, bestBound=513
4.96/2.80
5.24/2.81 num=57, depth=2..15, filters=66674, revisions=(95804,useless=40913), ccks=22604, wck=0.572, mem=47M725
5.24/2.81 decisions=5411, wrong=2452, backtracks=1146, failedAssignments=1588, nogoods=519, foundSolutions=6, bestBound=513
5.24/2.81
5.24/2.82 num=58, depth=5..16, filters=69344, revisions=(99589,useless=42534), ccks=23435, wck=0.587, mem=47M725
5.24/2.82 decisions=5620, wrong=2552, backtracks=1185, failedAssignments=1655, nogoods=529, foundSolutions=6, bestBound=513
5.24/2.82
5.24/2.84 num=59, depth=7..19, filters=72254, revisions=(103698,useless=44300), ccks=24315, wck=0.602, mem=47M725
5.24/2.84 decisions=5867, wrong=2668, backtracks=1245, failedAssignments=1729, nogoods=545, foundSolutions=6, bestBound=513
5.24/2.84
5.24/2.86 num=60, depth=0..15, filters=74973, revisions=(107480,useless=45912), ccks=25066, wck=0.618, mem=47M725
5.24/2.86 decisions=6103, wrong=2786, backtracks=1320, failedAssignments=1810, nogoods=545, foundSolutions=6, bestBound=513
5.24/2.86
5.24/2.87 num=61, depth=5..18, filters=78710, revisions=(112472,useless=47944), ccks=26260, wck=0.637, mem=47M725
5.24/2.87 decisions=6421, wrong=2940, backtracks=1401, failedAssignments=1899, nogoods=556, foundSolutions=6, bestBound=513
5.24/2.87
5.48/2.90 num=62, depth=1..17, filters=83518, revisions=(119046,useless=50686), ccks=27716, wck=0.662, mem=47M725
5.48/2.90 decisions=6772, wrong=3111, backtracks=1497, failedAssignments=1997, nogoods=580, foundSolutions=6, bestBound=513
5.48/2.90
5.48/2.92 num=63, depth=3..16, filters=87624, revisions=(124526,useless=52948), ccks=29001, wck=0.683, mem=47M725
5.48/2.92 decisions=7153, wrong=3297, backtracks=1613, failedAssignments=2105, nogoods=600, foundSolutions=6, bestBound=513
5.48/2.92
5.48/2.93 o 567
5.48/2.93 num=64, depth=2..89, filters=89295, revisions=(126833,useless=53914), ccks=29571, wck=0.693, mem=50M368
5.48/2.93 decisions=7283, wrong=3354, backtracks=1645, failedAssignments=2139, nogoods=610, foundSolutions=7, bestBound=567
5.48/2.93
5.48/2.96 num=65, depth=5..16, filters=95609, revisions=(135526,useless=57604), ccks=31725, wck=0.724, mem=50M368
5.48/2.96 decisions=7717, wrong=3568, backtracks=1751, failedAssignments=2270, nogoods=619, foundSolutions=7, bestBound=567
5.48/2.96
5.48/2.97 num=66, depth=1..14, filters=96448, revisions=(136761,useless=58111), ccks=31987, wck=0.73, mem=50M368
5.48/2.97 decisions=7771, wrong=3590, backtracks=1765, failedAssignments=2281, nogoods=627, foundSolutions=7, bestBound=567
5.48/2.97
5.48/2.97 num=67, depth=2..13, filters=96979, revisions=(137557,useless=58449), ccks=32143, wck=0.734, mem=50M368
5.48/2.97 decisions=7809, wrong=3605, backtracks=1770, failedAssignments=2293, nogoods=633, foundSolutions=7, bestBound=567
5.48/2.97
5.48/2.98 num=68, depth=6..16, filters=97633, revisions=(138513,useless=58856), ccks=32376, wck=0.738, mem=50M368
5.48/2.98 decisions=7859, wrong=3627, backtracks=1781, failedAssignments=2306, nogoods=636, foundSolutions=7, bestBound=567
5.48/2.98
5.48/2.98 num=69, depth=2..16, filters=98120, revisions=(139204,useless=59154), ccks=32533, wck=0.741, mem=50M368
5.48/2.98 decisions=7909, wrong=3648, backtracks=1794, failedAssignments=2320, nogoods=643, foundSolutions=7, bestBound=567
5.48/2.98
5.48/2.98 num=70, depth=2..13, filters=98760, revisions=(140137,useless=59567), ccks=32728, wck=0.745, mem=50M368
5.48/2.98 decisions=7958, wrong=3671, backtracks=1805, failedAssignments=2336, nogoods=648, foundSolutions=7, bestBound=567
5.48/2.98
5.48/2.99 num=71, depth=7..14, filters=99604, revisions=(141373,useless=60096), ccks=33018, wck=0.749, mem=50M368
5.48/2.99 decisions=8017, wrong=3697, backtracks=1815, failedAssignments=2353, nogoods=651, foundSolutions=7, bestBound=567
5.48/2.99
5.48/2.99 num=72, depth=3..18, filters=100571, revisions=(142802,useless=60703), ccks=33283, wck=0.755, mem=50M368
5.48/2.99 decisions=8084, wrong=3725, backtracks=1832, failedAssignments=2372, nogoods=661, foundSolutions=7, bestBound=567
5.48/2.99
5.48/3.00 num=73, depth=1..15, filters=101585, revisions=(144324,useless=61374), ccks=33576, wck=0.763, mem=50M368
5.48/3.00 decisions=8164, wrong=3760, backtracks=1852, failedAssignments=2393, nogoods=670, foundSolutions=7, bestBound=567
5.48/3.00
5.77/3.01 num=74, depth=4..17, filters=102850, revisions=(146116,useless=62114), ccks=33953, wck=0.771, mem=50M368
5.77/3.01 decisions=8258, wrong=3804, backtracks=1885, failedAssignments=2416, nogoods=678, foundSolutions=7, bestBound=567
5.77/3.01
5.77/3.02 num=75, depth=2..12, filters=104087, revisions=(147839,useless=62833), ccks=34310, wck=0.778, mem=50M368
5.77/3.02 decisions=8346, wrong=3845, backtracks=1902, failedAssignments=2441, nogoods=682, foundSolutions=7, bestBound=567
5.77/3.02
5.77/3.02 num=76, depth=6..14, filters=105467, revisions=(149822,useless=63666), ccks=34784, wck=0.786, mem=50M368
5.77/3.02 decisions=8449, wrong=3892, backtracks=1930, failedAssignments=2469, nogoods=688, foundSolutions=7, bestBound=567
5.77/3.02
5.77/3.03 o 583
5.77/3.03 num=77, depth=7..89, filters=106068, revisions=(150826,useless=64118), ccks=35033, wck=0.791, mem=50M368
5.77/3.03 decisions=8489, wrong=3903, backtracks=1930, failedAssignments=2480, nogoods=699, foundSolutions=8, bestBound=583
5.77/3.03
5.77/3.04 num=78, depth=6..14, filters=107665, revisions=(153132,useless=65126), ccks=35611, wck=0.799, mem=50M368
5.77/3.04 decisions=8604, wrong=3954, backtracks=1953, failedAssignments=2514, nogoods=708, foundSolutions=8, bestBound=583
5.77/3.04
5.77/3.04 num=79, depth=3..13, filters=108122, revisions=(153813,useless=65424), ccks=35731, wck=0.802, mem=50M368
5.77/3.04 decisions=8648, wrong=3974, backtracks=1969, failedAssignments=2525, nogoods=710, foundSolutions=8, bestBound=583
5.77/3.04
5.77/3.04 num=80, depth=6..13, filters=108858, revisions=(154959,useless=65937), ccks=35991, wck=0.807, mem=50M368
5.77/3.04 decisions=8699, wrong=3995, backtracks=1981, failedAssignments=2537, nogoods=715, foundSolutions=8, bestBound=583
5.77/3.04
5.77/3.05 num=81, depth=0..12, filters=109311, revisions=(155626,useless=66225), ccks=36120, wck=0.81, mem=50M368
5.77/3.05 decisions=8745, wrong=4014, backtracks=1990, failedAssignments=2550, nogoods=723, foundSolutions=8, bestBound=583
5.77/3.05
5.77/3.05 num=82, depth=8..16, filters=110122, revisions=(156891,useless=66767), ccks=36413, wck=0.815, mem=50M368
5.77/3.05 decisions=8795, wrong=4034, backtracks=2002, failedAssignments=2564, nogoods=729, foundSolutions=8, bestBound=583
5.77/3.05
5.77/3.06 num=83, depth=6..13, filters=111032, revisions=(158306,useless=67408), ccks=36733, wck=0.82, mem=50M368
5.77/3.06 decisions=8856, wrong=4060, backtracks=2017, failedAssignments=2580, nogoods=736, foundSolutions=8, bestBound=583
5.77/3.06
5.77/3.06 num=84, depth=3..12, filters=111816, revisions=(159357,useless=67809), ccks=37009, wck=0.825, mem=50M368
5.77/3.06 decisions=8911, wrong=4086, backtracks=2030, failedAssignments=2597, nogoods=738, foundSolutions=8, bestBound=583
5.77/3.06
5.77/3.07 num=85, depth=1..8, filters=112642, revisions=(160586,useless=68333), ccks=37254, wck=0.83, mem=50M368
5.77/3.07 decisions=8973, wrong=4116, backtracks=2042, failedAssignments=2616, nogoods=741, foundSolutions=8, bestBound=583
5.77/3.07
5.77/3.08 num=86, depth=4..11, filters=113790, revisions=(162313,useless=69085), ccks=37605, wck=0.837, mem=50M368
5.77/3.08 decisions=9040, wrong=4147, backtracks=2057, failedAssignments=2637, nogoods=745, foundSolutions=8, bestBound=583
5.77/3.08
5.77/3.08 num=87, depth=5..18, filters=114975, revisions=(163945,useless=69762), ccks=37961, wck=0.844, mem=50M368
5.77/3.08 decisions=9127, wrong=4187, backtracks=2082, failedAssignments=2660, nogoods=752, foundSolutions=8, bestBound=583
5.77/3.08
5.77/3.09 num=88, depth=3..11, filters=115962, revisions=(165448,useless=70413), ccks=38235, wck=0.85, mem=53M10
5.77/3.09 decisions=9202, wrong=4221, backtracks=2095, failedAssignments=2685, nogoods=758, foundSolutions=8, bestBound=583
5.77/3.09
5.77/3.10 num=89, depth=5..12, filters=117319, revisions=(167359,useless=71203), ccks=38663, wck=0.858, mem=53M10
5.77/3.10 decisions=9298, wrong=4265, backtracks=2117, failedAssignments=2713, nogoods=767, foundSolutions=8, bestBound=583
5.77/3.10
5.77/3.10 num=90, depth=3..13, filters=118593, revisions=(169197,useless=72004), ccks=39059, wck=0.865, mem=53M10
5.77/3.10 decisions=9393, wrong=4309, backtracks=2138, failedAssignments=2744, nogoods=780, foundSolutions=8, bestBound=583
5.77/3.10
5.98/3.11 num=91, depth=6..14, filters=120303, revisions=(171774,useless=73136), ccks=39619, wck=0.876, mem=53M10
5.98/3.11 decisions=9507, wrong=4360, backtracks=2158, failedAssignments=2778, nogoods=799, foundSolutions=8, bestBound=583
5.98/3.11
5.98/3.12 num=92, depth=2..17, filters=121958, revisions=(174045,useless=74071), ccks=40122, wck=0.884, mem=53M10
5.98/3.12 decisions=9625, wrong=4415, backtracks=2183, failedAssignments=2815, nogoods=810, foundSolutions=8, bestBound=583
5.98/3.12
5.98/3.13 num=93, depth=3..13, filters=123374, revisions=(175953,useless=74854), ccks=40568, wck=0.892, mem=53M10
5.98/3.13 decisions=9748, wrong=4472, backtracks=2214, failedAssignments=2856, nogoods=819, foundSolutions=8, bestBound=583
5.98/3.13
5.98/3.14 num=94, depth=5..13, filters=125585, revisions=(179029,useless=76136), ccks=41269, wck=0.903, mem=53M10
5.98/3.14 decisions=9922, wrong=4554, backtracks=2258, failedAssignments=2901, nogoods=834, foundSolutions=8, bestBound=583
5.98/3.14
5.98/3.15 num=95, depth=6..14, filters=128042, revisions=(182516,useless=77614), ccks=42085, wck=0.917, mem=53M10
5.98/3.15 decisions=10080, wrong=4628, backtracks=2292, failedAssignments=2951, nogoods=850, foundSolutions=8, bestBound=583
5.98/3.15
5.98/3.17 num=96, depth=6..14, filters=130296, revisions=(185500,useless=78811), ccks=42846, wck=0.928, mem=53M10
5.98/3.17 decisions=10288, wrong=4726, backtracks=2349, failedAssignments=3006, nogoods=861, foundSolutions=8, bestBound=583
5.98/3.17
5.98/3.18 num=97, depth=1..16, filters=132259, revisions=(188238,useless=79997), ccks=43461, wck=0.938, mem=53M10
5.98/3.18 decisions=10474, wrong=4815, backtracks=2396, failedAssignments=3067, nogoods=873, foundSolutions=8, bestBound=583
5.98/3.18
5.98/3.19 num=98, depth=2..12, filters=134869, revisions=(191824,useless=81484), ccks=44284, wck=0.951, mem=53M10
5.98/3.19 decisions=10702, wrong=4926, backtracks=2453, failedAssignments=3134, nogoods=887, foundSolutions=8, bestBound=583
5.98/3.19
6.17/3.21 num=99, depth=2..19, filters=137858, revisions=(196114,useless=83325), ccks=45189, wck=0.968, mem=53M10
6.17/3.21 decisions=10930, wrong=5036, backtracks=2504, failedAssignments=3208, nogoods=897, foundSolutions=8, bestBound=583
6.17/3.21
6.17/3.22 num=100, depth=5..17, filters=141440, revisions=(200955,useless=85307), ccks=46239, wck=0.986, mem=53M10
6.17/3.22 decisions=11204, wrong=5169, backtracks=2574, failedAssignments=3289, nogoods=912, foundSolutions=8, bestBound=583
6.17/3.22
6.17/3.25 num=101, depth=5..16, filters=145589, revisions=(206698,useless=87678), ccks=47509, wck=1.01, mem=53M10
6.17/3.25 decisions=11492, wrong=5306, backtracks=2635, failedAssignments=3378, nogoods=936, foundSolutions=8, bestBound=583
6.17/3.25
6.17/3.27 num=102, depth=1..12, filters=149316, revisions=(211753,useless=89759), ccks=48671, wck=1.029, mem=55M653
6.17/3.27 decisions=11811, wrong=5464, backtracks=2725, failedAssignments=3476, nogoods=943, foundSolutions=8, bestBound=583
6.17/3.27
6.17/3.29 num=103, depth=7..19, filters=154121, revisions=(218665,useless=92733), ccks=50210, wck=1.056, mem=55M653
6.17/3.29 decisions=12145, wrong=5625, backtracks=2792, failedAssignments=3584, nogoods=969, foundSolutions=8, bestBound=583
6.17/3.29
6.39/3.32 num=104, depth=4..18, filters=158823, revisions=(225194,useless=95509), ccks=51588, wck=1.081, mem=55M653
6.39/3.32 decisions=12505, wrong=5802, backtracks=2871, failedAssignments=3703, nogoods=981, foundSolutions=8, bestBound=583
6.39/3.32
6.39/3.34 num=105, depth=7..19, filters=163172, revisions=(231291,useless=98134), ccks=53076, wck=1.104, mem=55M653
6.39/3.34 decisions=12875, wrong=5980, backtracks=2925, failedAssignments=3834, nogoods=1000, foundSolutions=8, bestBound=583
6.39/3.34
6.39/3.38 num=106, depth=7..17, filters=170267, revisions=(241356,useless=102373), ccks=55330, wck=1.142, mem=55M653
6.39/3.38 decisions=13297, wrong=6185, backtracks=3016, failedAssignments=3978, nogoods=1020, foundSolutions=8, bestBound=583
6.39/3.38
6.59/3.41 num=107, depth=2..19, filters=176797, revisions=(250231,useless=106130), ccks=57324, wck=1.175, mem=55M653
6.59/3.41 decisions=13804, wrong=6433, backtracks=3151, failedAssignments=4136, nogoods=1038, foundSolutions=8, bestBound=583
6.59/3.41
6.59/3.45 num=108, depth=7..18, filters=184172, revisions=(260222,useless=110209), ccks=59594, wck=1.213, mem=58M295
6.59/3.45 decisions=14356, wrong=6704, backtracks=3287, failedAssignments=4310, nogoods=1057, foundSolutions=8, bestBound=583
6.59/3.45
6.59/3.49 num=109, depth=3..18, filters=191444, revisions=(270121,useless=114377), ccks=61637, wck=1.251, mem=58M295
6.59/3.49 decisions=14931, wrong=6988, backtracks=3406, failedAssignments=4501, nogoods=1077, foundSolutions=8, bestBound=583
6.59/3.49
6.81/3.53 num=110, depth=0..15, filters=199630, revisions=(281314,useless=119049), ccks=64174, wck=1.293, mem=58M295
6.81/3.53 decisions=15578, wrong=7308, backtracks=3557, failedAssignments=4712, nogoods=1084, foundSolutions=8, bestBound=583
6.81/3.53
6.81/3.58 num=111, depth=1..17, filters=208592, revisions=(293869,useless=124488), ccks=66704, wck=1.338, mem=58M295
6.81/3.58 decisions=16242, wrong=7638, backtracks=3697, failedAssignments=4944, nogoods=1091, foundSolutions=8, bestBound=583
6.81/3.58
6.93/3.63 num=112, depth=8..16, filters=218030, revisions=(307946,useless=130995), ccks=69585, wck=1.39, mem=60M938
6.93/3.63 decisions=16912, wrong=7967, backtracks=3793, failedAssignments=5199, nogoods=1109, foundSolutions=8, bestBound=583
6.93/3.63
6.93/3.68 num=113, depth=3..18, filters=229551, revisions=(323586,useless=137545), ccks=73048, wck=1.447, mem=60M938
6.93/3.68 decisions=17788, wrong=8401, backtracks=3995, failedAssignments=5480, nogoods=1135, foundSolutions=8, bestBound=583
6.93/3.68
7.07/3.74 num=114, depth=4..18, filters=241183, revisions=(339521,useless=144236), ccks=76615, wck=1.506, mem=63M580
7.07/3.74 decisions=18648, wrong=8828, backtracks=4191, failedAssignments=5789, nogoods=1143, foundSolutions=8, bestBound=583
7.07/3.74
7.07/3.78 o 628
7.07/3.79 num=115, depth=7..89, filters=249026, revisions=(350367,useless=148693), ccks=79098, wck=1.547, mem=63M580
7.07/3.79 decisions=19171, wrong=9083, backtracks=4288, failedAssignments=5955, nogoods=1159, foundSolutions=9, bestBound=628
7.07/3.79
7.22/3.87 num=116, depth=7..16, filters=263792, revisions=(373176,useless=159295), ccks=83395, wck=1.634, mem=66M223
7.22/3.87 decisions=20172, wrong=9580, backtracks=4433, failedAssignments=6329, nogoods=1186, foundSolutions=9, bestBound=628
7.22/3.87
7.22/3.88 num=117, depth=4..12, filters=264520, revisions=(374281,useless=159764), ccks=83633, wck=1.638, mem=66M223
7.22/3.88 decisions=20219, wrong=9601, backtracks=4445, failedAssignments=6340, nogoods=1189, foundSolutions=9, bestBound=628
7.22/3.88
7.22/3.88 num=118, depth=10..16, filters=265153, revisions=(375289,useless=160200), ccks=83868, wck=1.642, mem=66M223
7.22/3.88 decisions=20259, wrong=9614, backtracks=4446, failedAssignments=6352, nogoods=1201, foundSolutions=9, bestBound=628
7.22/3.88
7.22/3.88 num=119, depth=8..13, filters=265861, revisions=(376357,useless=160656), ccks=84121, wck=1.646, mem=66M223
7.22/3.88 decisions=20316, wrong=9638, backtracks=4459, failedAssignments=6365, nogoods=1208, foundSolutions=9, bestBound=628
7.22/3.88
7.22/3.89 num=120, depth=6..14, filters=266508, revisions=(377363,useless=161081), ccks=84318, wck=1.65, mem=66M223
7.22/3.89 decisions=20360, wrong=9655, backtracks=4465, failedAssignments=6379, nogoods=1219, foundSolutions=9, bestBound=628
7.22/3.89
7.22/3.89 num=121, depth=3..13, filters=267542, revisions=(378930,useless=161737), ccks=84602, wck=1.657, mem=66M223
7.22/3.89 decisions=20409, wrong=9674, backtracks=4468, failedAssignments=6395, nogoods=1234, foundSolutions=9, bestBound=628
7.22/3.89
7.32/3.90 num=122, depth=4..16, filters=268178, revisions=(379825,useless=162128), ccks=84781, wck=1.66, mem=66M223
7.32/3.90 decisions=20474, wrong=9703, backtracks=4483, failedAssignments=6412, nogoods=1240, foundSolutions=9, bestBound=628
7.32/3.90
7.32/3.90 num=123, depth=4..14, filters=269032, revisions=(381102,useless=162679), ccks=85011, wck=1.666, mem=66M223
7.32/3.90 decisions=20537, wrong=9730, backtracks=4496, failedAssignments=6431, nogoods=1251, foundSolutions=9, bestBound=628
7.32/3.90
7.32/3.91 num=124, depth=1..15, filters=269920, revisions=(382310,useless=163180), ccks=85291, wck=1.671, mem=66M223
7.32/3.91 decisions=20610, wrong=9764, backtracks=4514, failedAssignments=6452, nogoods=1257, foundSolutions=9, bestBound=628
7.32/3.91
7.32/3.92 num=125, depth=7..12, filters=271101, revisions=(384262,useless=164111), ccks=85646, wck=1.678, mem=66M223
7.32/3.92 decisions=20685, wrong=9797, backtracks=4526, failedAssignments=6475, nogoods=1264, foundSolutions=9, bestBound=628
7.32/3.92
7.32/3.92 num=126, depth=1..10, filters=272004, revisions=(385569,useless=164668), ccks=85914, wck=1.683, mem=66M223
7.32/3.92 decisions=20756, wrong=9829, backtracks=4538, failedAssignments=6500, nogoods=1280, foundSolutions=9, bestBound=628
7.32/3.92
7.32/3.93 num=127, depth=2..15, filters=273484, revisions=(387575,useless=165488), ccks=86352, wck=1.691, mem=66M223
7.32/3.93 decisions=20856, wrong=9876, backtracks=4563, failedAssignments=6528, nogoods=1290, foundSolutions=9, bestBound=628
7.32/3.93
7.32/3.94 num=128, depth=8..16, filters=274687, revisions=(389378,useless=166289), ccks=86746, wck=1.698, mem=66M223
7.32/3.94 decisions=20949, wrong=9915, backtracks=4573, failedAssignments=6559, nogoods=1305, foundSolutions=9, bestBound=628
7.32/3.94
7.32/3.94 num=129, depth=3..12, filters=275903, revisions=(391094,useless=167024), ccks=87160, wck=1.705, mem=66M223
7.32/3.94 decisions=21046, wrong=9960, backtracks=4593, failedAssignments=6593, nogoods=1311, foundSolutions=9, bestBound=628
7.32/3.94
7.32/3.95 num=130, depth=0..14, filters=277898, revisions=(393907,useless=168211), ccks=87757, wck=1.715, mem=66M223
7.32/3.95 decisions=21182, wrong=10023, backtracks=4628, failedAssignments=6630, nogoods=1321, foundSolutions=9, bestBound=628
7.32/3.95
7.32/3.96 num=131, depth=3..15, filters=279591, revisions=(396199,useless=169160), ccks=88287, wck=1.724, mem=66M223
7.32/3.96 decisions=21325, wrong=10089, backtracks=4664, failedAssignments=6671, nogoods=1334, foundSolutions=9, bestBound=628
7.32/3.96
7.32/3.97 num=132, depth=9..18, filters=281583, revisions=(399074,useless=170412), ccks=88962, wck=1.734, mem=66M223
7.32/3.97 decisions=21459, wrong=10151, backtracks=4684, failedAssignments=6716, nogoods=1342, foundSolutions=9, bestBound=628
7.32/3.97
7.32/3.98 num=133, depth=6..13, filters=283370, revisions=(401567,useless=171454), ccks=89577, wck=1.743, mem=66M223
7.32/3.98 decisions=21616, wrong=10224, backtracks=4715, failedAssignments=6766, nogoods=1353, foundSolutions=9, bestBound=628
7.32/3.98
7.32/3.99 num=134, depth=2..11, filters=285878, revisions=(405194,useless=173001), ccks=90322, wck=1.756, mem=66M223
7.32/3.99 decisions=21792, wrong=10310, backtracks=4751, failedAssignments=6821, nogoods=1361, foundSolutions=9, bestBound=628
7.32/3.99
7.45/4.01 num=135, depth=6..16, filters=288738, revisions=(409060,useless=174604), ccks=91233, wck=1.77, mem=66M223
7.45/4.01 decisions=22003, wrong=10411, backtracks=4804, failedAssignments=6882, nogoods=1371, foundSolutions=9, bestBound=628
7.45/4.01
7.45/4.02 o 635
7.45/4.02 num=136, depth=10..89, filters=290273, revisions=(411439,useless=175726), ccks=91845, wck=1.779, mem=68M865
7.45/4.02 decisions=22110, wrong=10458, backtracks=4823, failedAssignments=6914, nogoods=1376, foundSolutions=10, bestBound=635
7.45/4.02
7.45/4.04 num=137, depth=7..17, filters=293919, revisions=(416806,useless=178154), ccks=92969, wck=1.798, mem=68M865
7.45/4.04 decisions=22348, wrong=10570, backtracks=4871, failedAssignments=6988, nogoods=1394, foundSolutions=10, bestBound=635
7.45/4.04
7.45/4.04 num=138, depth=6..12, filters=294616, revisions=(417875,useless=178627), ccks=93251, wck=1.803, mem=68M865
7.45/4.04 decisions=22397, wrong=10590, backtracks=4881, failedAssignments=6999, nogoods=1397, foundSolutions=10, bestBound=635
7.45/4.04
7.45/4.04 num=139, depth=5..9, filters=295001, revisions=(418411,useless=178846), ccks=93361, wck=1.805, mem=68M865
7.45/4.04 decisions=22430, wrong=10604, backtracks=4886, failedAssignments=7011, nogoods=1404, foundSolutions=10, bestBound=635
7.45/4.04
7.45/4.05 num=140, depth=3..15, filters=295685, revisions=(419466,useless=179297), ccks=93544, wck=1.81, mem=68M865
7.45/4.05 decisions=22480, wrong=10626, backtracks=4896, failedAssignments=7024, nogoods=1410, foundSolutions=10, bestBound=635
7.45/4.05
7.45/4.05 num=141, depth=6..11, filters=296259, revisions=(420313,useless=179656), ccks=93717, wck=1.813, mem=68M865
7.45/4.05 decisions=22524, wrong=10644, backtracks=4901, failedAssignments=7038, nogoods=1420, foundSolutions=10, bestBound=635
7.45/4.05
7.45/4.06 num=142, depth=3..15, filters=297030, revisions=(421442,useless=180128), ccks=93943, wck=1.818, mem=68M865
7.45/4.06 decisions=22579, wrong=10665, backtracks=4909, failedAssignments=7054, nogoods=1431, foundSolutions=10, bestBound=635
7.45/4.06
7.45/4.06 num=143, depth=2..11, filters=297712, revisions=(422443,useless=180545), ccks=94142, wck=1.822, mem=68M865
7.45/4.06 decisions=22628, wrong=10688, backtracks=4923, failedAssignments=7071, nogoods=1438, foundSolutions=10, bestBound=635
7.45/4.06
7.45/4.07 num=144, depth=10..17, filters=298772, revisions=(424084,useless=181285), ccks=94518, wck=1.828, mem=68M865
7.45/4.07 decisions=22698, wrong=10716, backtracks=4934, failedAssignments=7090, nogoods=1446, foundSolutions=10, bestBound=635
7.45/4.07
7.45/4.07 num=145, depth=3..12, filters=299554, revisions=(425290,useless=181813), ccks=94737, wck=1.834, mem=68M865
7.45/4.07 decisions=22758, wrong=10741, backtracks=4941, failedAssignments=7111, nogoods=1460, foundSolutions=10, bestBound=635
7.45/4.07
7.45/4.08 num=146, depth=1..11, filters=300299, revisions=(426376,useless=182294), ccks=94988, wck=1.838, mem=68M865
7.45/4.08 decisions=22824, wrong=10771, backtracks=4952, failedAssignments=7134, nogoods=1469, foundSolutions=10, bestBound=635
7.45/4.08
7.45/4.08 num=147, depth=8..18, filters=301428, revisions=(428055,useless=183033), ccks=95365, wck=1.844, mem=68M865
7.45/4.08 decisions=22912, wrong=10810, backtracks=4969, failedAssignments=7159, nogoods=1472, foundSolutions=10, bestBound=635
7.45/4.08
7.45/4.09 num=148, depth=7..11, filters=302749, revisions=(430096,useless=183931), ccks=95817, wck=1.852, mem=68M865
7.45/4.09 decisions=22993, wrong=10846, backtracks=4978, failedAssignments=7187, nogoods=1480, foundSolutions=10, bestBound=635
7.45/4.09
7.45/4.10 num=149, depth=3..12, filters=304332, revisions=(432269,useless=184826), ccks=96295, wck=1.86, mem=68M865
7.45/4.10 decisions=23110, wrong=10900, backtracks=5005, failedAssignments=7218, nogoods=1489, foundSolutions=10, bestBound=635
7.45/4.10
7.45/4.10 o 636
7.45/4.10 num=150, depth=10..89, filters=304800, revisions=(433090,useless=185220), ccks=96566, wck=1.864, mem=68M865
7.45/4.10 decisions=23141, wrong=10909, backtracks=5009, failedAssignments=7224, nogoods=1494, foundSolutions=11, bestBound=636
7.45/4.10
7.56/4.11 num=151, depth=8..14, filters=306425, revisions=(435620,useless=186401), ccks=97116, wck=1.873, mem=68M865
7.56/4.11 decisions=23254, wrong=10961, backtracks=5024, failedAssignments=7261, nogoods=1503, foundSolutions=11, bestBound=636
7.56/4.11
7.56/4.12 num=152, depth=3..10, filters=307032, revisions=(436559,useless=186811), ccks=97275, wck=1.877, mem=68M865
7.56/4.12 decisions=23295, wrong=10978, backtracks=5032, failedAssignments=7272, nogoods=1510, foundSolutions=11, bestBound=636
7.56/4.12
7.56/4.12 num=153, depth=3..12, filters=307617, revisions=(437402,useless=187159), ccks=97443, wck=1.881, mem=68M865
7.56/4.12 decisions=23345, wrong=10999, backtracks=5043, failedAssignments=7284, nogoods=1517, foundSolutions=11, bestBound=636
7.56/4.12
7.56/4.12 num=154, depth=7..13, filters=308237, revisions=(438351,useless=187552), ccks=97689, wck=1.885, mem=68M865
7.56/4.12 decisions=23389, wrong=11015, backtracks=5046, failedAssignments=7297, nogoods=1526, foundSolutions=11, bestBound=636
7.56/4.12
7.56/4.13 num=155, depth=7..12, filters=308973, revisions=(439440,useless=187993), ccks=97966, wck=1.889, mem=68M865
7.56/4.13 decisions=23438, wrong=11036, backtracks=5054, failedAssignments=7311, nogoods=1535, foundSolutions=11, bestBound=636
7.56/4.13
7.56/4.13 num=156, depth=6..14, filters=310084, revisions=(441082,useless=188695), ccks=98347, wck=1.896, mem=68M865
7.56/4.13 decisions=23509, wrong=11067, backtracks=5072, failedAssignments=7327, nogoods=1538, foundSolutions=11, bestBound=636
7.56/4.13
7.56/4.14 num=157, depth=6..14, filters=311091, revisions=(442664,useless=189387), ccks=98695, wck=1.902, mem=68M865
7.56/4.14 decisions=23561, wrong=11088, backtracks=5077, failedAssignments=7344, nogoods=1548, foundSolutions=11, bestBound=636
7.56/4.14
7.56/4.15 num=158, depth=3..12, filters=312162, revisions=(444237,useless=190051), ccks=98987, wck=1.908, mem=68M865
7.56/4.15 decisions=23633, wrong=11120, backtracks=5092, failedAssignments=7363, nogoods=1556, foundSolutions=11, bestBound=636
7.56/4.15
7.56/4.15 num=159, depth=8..19, filters=313246, revisions=(445902,useless=190779), ccks=99333, wck=1.914, mem=71M507
7.56/4.15 decisions=23707, wrong=11152, backtracks=5105, failedAssignments=7384, nogoods=1565, foundSolutions=11, bestBound=636
7.56/4.15
7.56/4.16 num=160, depth=8..12, filters=314273, revisions=(447476,useless=191497), ccks=99675, wck=1.92, mem=71M507
7.56/4.16 decisions=23779, wrong=11183, backtracks=5113, failedAssignments=7407, nogoods=1575, foundSolutions=11, bestBound=636
7.56/4.16
7.56/4.16 num=161, depth=5..11, filters=315333, revisions=(449058,useless=192173), ccks=100009, wck=1.926, mem=71M507
7.56/4.16 decisions=23855, wrong=11216, backtracks=5125, failedAssignments=7432, nogoods=1588, foundSolutions=11, bestBound=636
7.56/4.16
7.56/4.17 num=162, depth=5..15, filters=316660, revisions=(451026,useless=192986), ccks=100359, wck=1.934, mem=71M507
7.56/4.17 decisions=23939, wrong=11254, backtracks=5141, failedAssignments=7460, nogoods=1600, foundSolutions=11, bestBound=636
7.56/4.17
7.56/4.18 num=163, depth=1..12, filters=317954, revisions=(452876,useless=193798), ccks=100751, wck=1.941, mem=71M507
7.56/4.18 decisions=24048, wrong=11304, backtracks=5169, failedAssignments=7491, nogoods=1610, foundSolutions=11, bestBound=636
7.56/4.18
7.56/4.19 num=164, depth=9..15, filters=319660, revisions=(455516,useless=195023), ccks=101280, wck=1.951, mem=71M507
7.56/4.19 decisions=24158, wrong=11353, backtracks=5186, failedAssignments=7525, nogoods=1618, foundSolutions=11, bestBound=636
7.56/4.19
7.56/4.20 num=165, depth=9..13, filters=321097, revisions=(457696,useless=195994), ccks=101789, wck=1.959, mem=71M507
7.56/4.20 decisions=24259, wrong=11399, backtracks=5196, failedAssignments=7562, nogoods=1622, foundSolutions=11, bestBound=636
7.56/4.20
7.65/4.21 num=166, depth=1..15, filters=323003, revisions=(460334,useless=197089), ccks=102378, wck=1.969, mem=71M507
7.65/4.21 decisions=24409, wrong=11472, backtracks=5243, failedAssignments=7603, nogoods=1632, foundSolutions=11, bestBound=636
7.65/4.21
7.65/4.22 num=167, depth=8..15, filters=324843, revisions=(462916,useless=198172), ccks=102959, wck=1.978, mem=71M507
7.65/4.22 decisions=24549, wrong=11537, backtracks=5272, failedAssignments=7648, nogoods=1638, foundSolutions=11, bestBound=636
7.65/4.22
7.65/4.23 num=168, depth=7..14, filters=326704, revisions=(465758,useless=199470), ccks=103565, wck=1.989, mem=71M507
7.65/4.23 decisions=24693, wrong=11604, backtracks=5293, failedAssignments=7698, nogoods=1651, foundSolutions=11, bestBound=636
7.65/4.23
7.65/4.24 num=169, depth=4..13, filters=329030, revisions=(469001,useless=200859), ccks=104249, wck=2.001, mem=71M507
7.65/4.24 decisions=24885, wrong=11697, backtracks=5341, failedAssignments=7753, nogoods=1654, foundSolutions=11, bestBound=636
7.65/4.24
7.65/4.25 num=170, depth=6..15, filters=331622, revisions=(472626,useless=202397), ccks=104995, wck=2.015, mem=71M507
7.65/4.25 decisions=25080, wrong=11790, backtracks=5384, failedAssignments=7814, nogoods=1658, foundSolutions=11, bestBound=636
7.65/4.25
7.65/4.27 num=171, depth=7..14, filters=334596, revisions=(477019,useless=204360), ccks=105930, wck=2.031, mem=71M507
7.65/4.27 decisions=25284, wrong=11887, backtracks=5418, failedAssignments=7881, nogoods=1678, foundSolutions=11, bestBound=636
7.65/4.27
7.65/4.28 num=172, depth=4..12, filters=337313, revisions=(480772,useless=205979), ccks=106828, wck=2.044, mem=71M507
7.65/4.28 decisions=25512, wrong=11997, backtracks=5469, failedAssignments=7955, nogoods=1683, foundSolutions=11, bestBound=636
7.65/4.28
7.75/4.30 num=173, depth=7..16, filters=340344, revisions=(485245,useless=208011), ccks=107701, wck=2.061, mem=74M150
7.75/4.30 decisions=25742, wrong=12107, backtracks=5510, failedAssignments=8036, nogoods=1696, foundSolutions=11, bestBound=636
7.75/4.30
7.75/4.32 num=174, depth=7..19, filters=344040, revisions=(490588,useless=210374), ccks=108741, wck=2.08, mem=74M150
7.75/4.32 decisions=26016, wrong=12237, backtracks=5561, failedAssignments=8125, nogoods=1712, foundSolutions=11, bestBound=636
7.75/4.32
7.75/4.34 num=175, depth=0..14, filters=348078, revisions=(496188,useless=212750), ccks=110003, wck=2.101, mem=74M150
7.75/4.34 decisions=26335, wrong=12392, backtracks=5641, failedAssignments=8223, nogoods=1726, foundSolutions=11, bestBound=636
7.75/4.34
7.75/4.36 num=176, depth=2..16, filters=353149, revisions=(502960,useless=215522), ccks=111547, wck=2.125, mem=74M150
7.75/4.36 decisions=26750, wrong=12598, backtracks=5764, failedAssignments=8331, nogoods=1739, foundSolutions=11, bestBound=636
7.75/4.36
7.75/4.38 num=177, depth=4..14, filters=357544, revisions=(508956,useless=218080), ccks=113021, wck=2.146, mem=74M150
7.75/4.38 decisions=27113, wrong=12777, backtracks=5844, failedAssignments=8450, nogoods=1750, foundSolutions=11, bestBound=636
7.75/4.38
7.85/4.42 num=178, depth=5..18, filters=364098, revisions=(518215,useless=221998), ccks=114990, wck=2.178, mem=74M150
7.85/4.42 decisions=27536, wrong=12983, backtracks=5938, failedAssignments=8581, nogoods=1771, foundSolutions=11, bestBound=636
7.85/4.42
7.85/4.45 num=179, depth=4..16, filters=371107, revisions=(527684,useless=225989), ccks=117101, wck=2.212, mem=74M150
7.85/4.45 decisions=28058, wrong=13240, backtracks=6071, failedAssignments=8725, nogoods=1780, foundSolutions=11, bestBound=636
7.85/4.45
7.85/4.49 num=180, depth=5..12, filters=377137, revisions=(536441,useless=229812), ccks=119059, wck=2.247, mem=76M792
7.85/4.49 decisions=28456, wrong=13436, backtracks=6125, failedAssignments=8883, nogoods=1797, foundSolutions=11, bestBound=636
7.85/4.49
7.96/4.53 num=181, depth=3..12, filters=385156, revisions=(548103,useless=234929), ccks=121433, wck=2.289, mem=76M792
7.96/4.53 decisions=28994, wrong=13703, backtracks=6236, failedAssignments=9057, nogoods=1809, foundSolutions=11, bestBound=636
7.96/4.53
7.96/4.57 num=182, depth=4..14, filters=393856, revisions=(560205,useless=240078), ccks=124077, wck=2.332, mem=76M792
7.96/4.57 decisions=29623, wrong=14015, backtracks=6402, failedAssignments=9248, nogoods=1821, foundSolutions=11, bestBound=636
7.96/4.57
8.06/4.62 num=183, depth=3..15, filters=403547, revisions=(573885,useless=245928), ccks=127082, wck=2.384, mem=79M435
8.06/4.62 decisions=30279, wrong=14340, backtracks=6540, failedAssignments=9459, nogoods=1834, foundSolutions=11, bestBound=636
8.06/4.62
8.06/4.67 num=184, depth=4..14, filters=413474, revisions=(587862,useless=251884), ccks=130098, wck=2.434, mem=79M435
8.06/4.67 decisions=30947, wrong=14670, backtracks=6665, failedAssignments=9691, nogoods=1863, foundSolutions=11, bestBound=636
8.06/4.67
8.16/4.74 num=185, depth=6..15, filters=424308, revisions=(603895,useless=258903), ccks=133123, wck=2.498, mem=79M435
8.16/4.74 decisions=31686, wrong=15032, backtracks=6788, failedAssignments=9946, nogoods=1902, foundSolutions=11, bestBound=636
8.16/4.74
8.28/4.81 num=186, depth=6..16, filters=437983, revisions=(623998,useless=267853), ccks=137203, wck=2.576, mem=82M77
8.28/4.81 decisions=32548, wrong=15458, backtracks=6961, failedAssignments=10227, nogoods=1933, foundSolutions=11, bestBound=636
8.28/4.81
8.28/4.87 num=187, depth=0..16, filters=449899, revisions=(639773,useless=274388), ccks=140718, wck=2.633, mem=82M77
8.28/4.87 decisions=33515, wrong=15936, backtracks=7201, failedAssignments=10536, nogoods=1946, foundSolutions=11, bestBound=636
8.28/4.87
8.43/4.97 num=188, depth=5..14, filters=466253, revisions=(663574,useless=284714), ccks=145923, wck=2.729, mem=84M720
8.43/4.97 decisions=34478, wrong=16413, backtracks=7356, failedAssignments=10876, nogoods=1971, foundSolutions=11, bestBound=636
8.43/4.97
8.54/5.06 num=189, depth=0..14, filters=483242, revisions=(688076,useless=295252), ccks=151118, wck=2.826, mem=87M362
8.54/5.06 decisions=35615, wrong=16978, backtracks=7587, failedAssignments=11250, nogoods=1998, foundSolutions=11, bestBound=636
8.54/5.06
8.64/5.16 num=190, depth=2..16, filters=501390, revisions=(713512,useless=306237), ccks=156420, wck=2.92, mem=87M362
8.64/5.16 decisions=36944, wrong=17640, backtracks=7900, failedAssignments=11661, nogoods=2006, foundSolutions=11, bestBound=636
8.64/5.16
8.73/5.26 num=191, depth=1..15, filters=521234, revisions=(740748,useless=317661), ccks=162670, wck=3.018, mem=90M5
8.73/5.26 decisions=38384, wrong=18357, backtracks=8245, failedAssignments=12113, nogoods=2017, foundSolutions=11, bestBound=636
8.73/5.26
8.83/5.36 num=192, depth=0..17, filters=541596, revisions=(770228,useless=330511), ccks=168497, wck=3.127, mem=92M647
8.83/5.36 decisions=39855, wrong=19089, backtracks=8539, failedAssignments=12610, nogoods=2026, foundSolutions=11, bestBound=636
8.83/5.36
8.94/5.49 num=193, depth=4..15, filters=565249, revisions=(804009,useless=345257), ccks=175320, wck=3.25, mem=92M647
8.94/5.49 decisions=41539, wrong=19928, backtracks=8936, failedAssignments=13157, nogoods=2039, foundSolutions=11, bestBound=636
8.94/5.49
9.13/5.62 num=194, depth=4..18, filters=590142, revisions=(840216,useless=361381), ccks=182831, wck=3.387, mem=95M289
9.13/5.62 decisions=43267, wrong=20787, backtracks=9266, failedAssignments=13759, nogoods=2049, foundSolutions=11, bestBound=636
9.13/5.62
9.24/5.76 num=195, depth=3..19, filters=616988, revisions=(877831,useless=377536), ccks=190593, wck=3.524, mem=97M932
9.24/5.76 decisions=45258, wrong=21780, backtracks=9729, failedAssignments=14421, nogoods=2057, foundSolutions=11, bestBound=636
9.24/5.76
9.44/5.90 o 661
9.44/5.91 num=196, depth=6..89, filters=643023, revisions=(916354,useless=395020), ccks=198602, wck=3.667, mem=100M574
9.44/5.91 decisions=47001, wrong=22645, backtracks=10045, failedAssignments=15020, nogoods=2082, foundSolutions=12, bestBound=661
9.44/5.91
9.55/6.10 num=197, depth=6..18, filters=677671, revisions=(968051,useless=418439), ccks=208217, wck=3.867, mem=105M859
9.55/6.10 decisions=49376, wrong=23829, backtracks=10496, failedAssignments=15821, nogoods=2116, foundSolutions=12, bestBound=661
9.55/6.10
9.65/6.11 num=198, depth=8..14, filters=678301, revisions=(969017,useless=418863), ccks=208447, wck=3.871, mem=105M859
9.65/6.11 decisions=49413, wrong=23843, backtracks=10501, failedAssignments=15832, nogoods=2121, foundSolutions=12, bestBound=661
9.65/6.11
9.65/6.11 num=199, depth=8..14, filters=679023, revisions=(970181,useless=419384), ccks=208705, wck=3.876, mem=105M859
9.65/6.11 decisions=49457, wrong=23860, backtracks=10508, failedAssignments=15844, nogoods=2127, foundSolutions=12, bestBound=661
9.65/6.11
9.65/6.12 num=200, depth=2..9, filters=679559, revisions=(970980,useless=419711), ccks=208870, wck=3.879, mem=105M859
9.65/6.12 decisions=49494, wrong=23877, backtracks=10516, failedAssignments=15857, nogoods=2137, foundSolutions=12, bestBound=661
9.65/6.12
9.65/6.12 num=201, depth=1..9, filters=680029, revisions=(971666,useless=420010), ccks=209000, wck=3.883, mem=105M859
9.65/6.12 decisions=49537, wrong=23896, backtracks=10524, failedAssignments=15871, nogoods=2144, foundSolutions=12, bestBound=661
9.65/6.12
9.65/6.12 num=202, depth=8..13, filters=680762, revisions=(972841,useless=420553), ccks=209245, wck=3.887, mem=105M859
9.65/6.12 decisions=49584, wrong=23913, backtracks=10525, failedAssignments=15887, nogoods=2158, foundSolutions=12, bestBound=661
9.65/6.12
9.65/6.13 num=203, depth=5..10, filters=681851, revisions=(974381,useless=421195), ccks=209605, wck=3.893, mem=105M859
9.65/6.13 decisions=49655, wrong=23944, backtracks=10541, failedAssignments=15904, nogoods=2167, foundSolutions=12, bestBound=661
9.65/6.13
9.65/6.14 num=204, depth=5..13, filters=682864, revisions=(975857,useless=421824), ccks=209937, wck=3.899, mem=105M859
9.65/6.14 decisions=49733, wrong=23979, backtracks=10561, failedAssignments=15923, nogoods=2175, foundSolutions=12, bestBound=661
9.65/6.14
9.65/6.14 num=205, depth=7..12, filters=683728, revisions=(977221,useless=422449), ccks=210224, wck=3.905, mem=105M859
9.65/6.14 decisions=49792, wrong=24003, backtracks=10567, failedAssignments=15944, nogoods=2186, foundSolutions=12, bestBound=661
9.65/6.14
9.65/6.15 num=206, depth=1..9, filters=684969, revisions=(979058,useless=423225), ccks=210535, wck=3.912, mem=105M859
9.65/6.15 decisions=49877, wrong=24042, backtracks=10592, failedAssignments=15967, nogoods=2195, foundSolutions=12, bestBound=661
9.65/6.15
9.65/6.16 num=207, depth=9..16, filters=686018, revisions=(980638,useless=423908), ccks=210894, wck=3.918, mem=105M859
9.65/6.16 decisions=49951, wrong=24074, backtracks=10602, failedAssignments=15992, nogoods=2208, foundSolutions=12, bestBound=661
9.65/6.16
9.65/6.17 num=208, depth=1..11, filters=687724, revisions=(983048,useless=424937), ccks=211389, wck=3.928, mem=105M859
9.65/6.17 decisions=50063, wrong=24126, backtracks=10632, failedAssignments=16020, nogoods=2222, foundSolutions=12, bestBound=661
9.65/6.17
9.65/6.17 num=209, depth=5..15, filters=689005, revisions=(984807,useless=425650), ccks=211792, wck=3.935, mem=105M859
9.65/6.17 decisions=50161, wrong=24171, backtracks=10649, failedAssignments=16051, nogoods=2227, foundSolutions=12, bestBound=661
9.65/6.17
9.65/6.18 num=210, depth=8..11, filters=690141, revisions=(986608,useless=426474), ccks=212166, wck=3.943, mem=105M859
9.65/6.18 decisions=50245, wrong=24209, backtracks=10654, failedAssignments=16085, nogoods=2240, foundSolutions=12, bestBound=661
9.65/6.18
9.65/6.19 num=211, depth=0..15, filters=691974, revisions=(989579,useless=427795), ccks=212700, wck=3.955, mem=105M859
9.65/6.19 decisions=50365, wrong=24264, backtracks=10675, failedAssignments=16122, nogoods=2246, foundSolutions=12, bestBound=661
9.65/6.19
9.74/6.21 num=212, depth=7..14, filters=694302, revisions=(993028,useless=429298), ccks=213441, wck=3.969, mem=105M859
9.74/6.21 decisions=50492, wrong=24324, backtracks=10699, failedAssignments=16163, nogoods=2257, foundSolutions=12, bestBound=661
9.74/6.21
9.74/6.22 num=213, depth=1..10, filters=696374, revisions=(996115,useless=430646), ccks=213978, wck=3.981, mem=105M859
9.74/6.22 decisions=50630, wrong=24390, backtracks=10723, failedAssignments=16208, nogoods=2268, foundSolutions=12, bestBound=661
9.74/6.22
9.74/6.23 num=214, depth=6..16, filters=698464, revisions=(999114,useless=431945), ccks=214622, wck=3.992, mem=105M859
9.74/6.23 decisions=50781, wrong=24461, backtracks=10747, failedAssignments=16258, nogoods=2279, foundSolutions=12, bestBound=661
9.74/6.23
9.74/6.25 num=215, depth=7..14, filters=701434, revisions=(1003642,useless=434026), ccks=215462, wck=4.009, mem=108M502
9.74/6.25 decisions=50966, wrong=24549, backtracks=10782, failedAssignments=16313, nogoods=2295, foundSolutions=12, bestBound=661
9.74/6.25
9.74/6.26 num=216, depth=2..12, filters=704146, revisions=(1007677,useless=435811), ccks=216198, wck=4.025, mem=108M502
9.74/6.26 decisions=51171, wrong=24648, backtracks=10825, failedAssignments=16374, nogoods=2305, foundSolutions=12, bestBound=661
9.74/6.26
9.74/6.28 num=217, depth=0..13, filters=707647, revisions=(1012480,useless=437810), ccks=217228, wck=4.043, mem=108M502
9.74/6.28 decisions=51409, wrong=24763, backtracks=10888, failedAssignments=16441, nogoods=2321, foundSolutions=12, bestBound=661
9.74/6.28
9.84/6.30 num=218, depth=6..18, filters=711490, revisions=(1018304,useless=440458), ccks=218326, wck=4.065, mem=108M502
9.84/6.30 decisions=51647, wrong=24877, backtracks=10937, failedAssignments=16515, nogoods=2327, foundSolutions=12, bestBound=661
9.84/6.30
9.84/6.32 num=219, depth=1..13, filters=714587, revisions=(1023149,useless=442608), ccks=219160, wck=4.085, mem=108M502
9.84/6.32 decisions=51859, wrong=24981, backtracks=10963, failedAssignments=16596, nogoods=2347, foundSolutions=12, bestBound=661
9.84/6.32
9.84/6.34 o 664
9.84/6.34 num=220, depth=5..89, filters=717084, revisions=(1026803,useless=444187), ccks=220017, wck=4.1, mem=108M502
9.84/6.34 decisions=52031, wrong=25060, backtracks=11003, failedAssignments=16644, nogoods=2366, foundSolutions=13, bestBound=664
9.84/6.34
9.84/6.36 num=221, depth=6..16, filters=721574, revisions=(1033690,useless=447317), ccks=221403, wck=4.125, mem=108M502
9.84/6.36 decisions=52321, wrong=25199, backtracks=11051, failedAssignments=16742, nogoods=2383, foundSolutions=13, bestBound=664
9.84/6.36
9.84/6.37 num=222, depth=9..14, filters=722226, revisions=(1034710,useless=447754), ccks=221640, wck=4.129, mem=108M502
9.84/6.37 decisions=52359, wrong=25213, backtracks=11055, failedAssignments=16753, nogoods=2390, foundSolutions=13, bestBound=664
9.84/6.37
9.84/6.37 num=223, depth=1..13, filters=722861, revisions=(1035672,useless=448170), ccks=221817, wck=4.133, mem=108M502
9.84/6.37 decisions=52411, wrong=25234, backtracks=11070, failedAssignments=16765, nogoods=2396, foundSolutions=13, bestBound=664
9.84/6.37
9.84/6.37 num=224, depth=4..11, filters=723520, revisions=(1036654,useless=448609), ccks=221977, wck=4.137, mem=111M144
9.84/6.37 decisions=52453, wrong=25251, backtracks=11076, failedAssignments=16778, nogoods=2401, foundSolutions=13, bestBound=664
9.84/6.37
9.84/6.38 num=225, depth=1..7, filters=724088, revisions=(1037485,useless=448959), ccks=222131, wck=4.141, mem=111M144
9.84/6.38 decisions=52494, wrong=25270, backtracks=11081, failedAssignments=16792, nogoods=2408, foundSolutions=13, bestBound=664
9.84/6.38
9.84/6.38 num=226, depth=9..16, filters=724806, revisions=(1038564,useless=449412), ccks=222398, wck=4.145, mem=111M144
9.84/6.38 decisions=52549, wrong=25293, backtracks=11091, failedAssignments=16808, nogoods=2411, foundSolutions=13, bestBound=664
9.84/6.38
9.84/6.39 num=227, depth=10..17, filters=725565, revisions=(1039759,useless=449955), ccks=222672, wck=4.15, mem=111M144
9.84/6.39 decisions=52602, wrong=25314, backtracks=11098, failedAssignments=16825, nogoods=2417, foundSolutions=13, bestBound=664
9.84/6.39
9.84/6.39 num=228, depth=0..14, filters=726658, revisions=(1041456,useless=450696), ccks=223029, wck=4.156, mem=111M144
9.84/6.39 decisions=52672, wrong=25344, backtracks=11114, failedAssignments=16844, nogoods=2423, foundSolutions=13, bestBound=664
9.84/6.39
9.95/6.40 num=229, depth=2..10, filters=727498, revisions=(1042718,useless=451244), ccks=223288, wck=4.162, mem=111M144
9.95/6.40 decisions=52733, wrong=25373, backtracks=11122, failedAssignments=16865, nogoods=2430, foundSolutions=13, bestBound=664
9.95/6.40
9.95/6.41 num=230, depth=3..12, filters=728551, revisions=(1044239,useless=451894), ccks=223603, wck=4.168, mem=111M144
9.95/6.41 decisions=52810, wrong=25410, backtracks=11138, failedAssignments=16888, nogoods=2431, foundSolutions=13, bestBound=664
9.95/6.41
9.95/6.41 num=231, depth=10..15, filters=729753, revisions=(1046226,useless=452851), ccks=224000, wck=4.175, mem=111M144
9.95/6.41 decisions=52894, wrong=25446, backtracks=11152, failedAssignments=16913, nogoods=2439, foundSolutions=13, bestBound=664
9.95/6.41
9.95/6.42 num=232, depth=8..10, filters=731103, revisions=(1048287,useless=453733), ccks=224413, wck=4.184, mem=111M144
9.95/6.42 decisions=52974, wrong=25482, backtracks=11160, failedAssignments=16941, nogoods=2449, foundSolutions=13, bestBound=664
9.95/6.42
9.95/6.43 num=233, depth=6..11, filters=732619, revisions=(1050444,useless=454682), ccks=224839, wck=4.192, mem=111M144
9.95/6.43 decisions=53081, wrong=25531, backtracks=11182, failedAssignments=16972, nogoods=2453, foundSolutions=13, bestBound=664
9.95/6.43
9.95/6.44 num=234, depth=1..12, filters=734351, revisions=(1052944,useless=455746), ccks=225333, wck=4.202, mem=111M144
9.95/6.44 decisions=53199, wrong=25585, backtracks=11209, failedAssignments=17006, nogoods=2467, foundSolutions=13, bestBound=664
9.95/6.44
9.95/6.45 num=235, depth=8..15, filters=735908, revisions=(1055135,useless=456662), ccks=225861, wck=4.21, mem=111M144
9.95/6.45 decisions=53324, wrong=25642, backtracks=11238, failedAssignments=17043, nogoods=2480, foundSolutions=13, bestBound=664
9.95/6.45
9.95/6.46 num=236, depth=8..16, filters=737949, revisions=(1058091,useless=457947), ccks=226562, wck=4.221, mem=111M144
9.95/6.46 decisions=53458, wrong=25702, backtracks=11262, failedAssignments=17084, nogoods=2499, foundSolutions=13, bestBound=664
9.95/6.46
9.95/6.47 num=237, depth=7..12, filters=739625, revisions=(1060822,useless=459247), ccks=226985, wck=4.232, mem=111M144
9.95/6.47 decisions=53573, wrong=25756, backtracks=11274, failedAssignments=17129, nogoods=2508, foundSolutions=13, bestBound=664
9.95/6.47
9.95/6.49 num=238, depth=0..14, filters=742095, revisions=(1064740,useless=460990), ccks=227746, wck=4.248, mem=111M144
9.95/6.49 decisions=53723, wrong=25825, backtracks=11296, failedAssignments=17179, nogoods=2526, foundSolutions=13, bestBound=664
9.95/6.49
10.05/6.50 num=239, depth=3..12, filters=744376, revisions=(1068029,useless=462409), ccks=228416, wck=4.261, mem=111M144
10.05/6.50 decisions=53883, wrong=25902, backtracks=11325, failedAssignments=17234, nogoods=2532, foundSolutions=13, bestBound=664
10.05/6.50
10.05/6.52 num=240, depth=2..11, filters=747373, revisions=(1072327,useless=464269), ccks=229276, wck=4.277, mem=111M144
10.05/6.52 decisions=54066, wrong=25991, backtracks=11359, failedAssignments=17295, nogoods=2542, foundSolutions=13, bestBound=664
10.05/6.52
10.05/6.53 num=241, depth=8..18, filters=750860, revisions=(1077317,useless=466444), ccks=230324, wck=4.296, mem=113M787
10.05/6.53 decisions=54290, wrong=26098, backtracks=11404, failedAssignments=17362, nogoods=2548, foundSolutions=13, bestBound=664
10.05/6.53
10.05/6.55 num=242, depth=7..17, filters=753866, revisions=(1081526,useless=468216), ccks=231270, wck=4.312, mem=113M787
10.05/6.55 decisions=54531, wrong=26213, backtracks=11457, failedAssignments=17436, nogoods=2561, foundSolutions=13, bestBound=664
10.05/6.55
10.05/6.57 num=243, depth=2..11, filters=757399, revisions=(1086791,useless=470524), ccks=232341, wck=4.331, mem=113M787
10.05/6.57 decisions=54769, wrong=26328, backtracks=11499, failedAssignments=17517, nogoods=2581, foundSolutions=13, bestBound=664
10.05/6.57
10.05/6.59 num=244, depth=7..14, filters=761219, revisions=(1092810,useless=473348), ccks=233414, wck=4.354, mem=113M787
10.05/6.59 decisions=55012, wrong=26443, backtracks=11532, failedAssignments=17606, nogoods=2597, foundSolutions=13, bestBound=664
10.05/6.59
10.16/6.62 num=245, depth=6..16, filters=765458, revisions=(1099012,useless=476116), ccks=234715, wck=4.378, mem=113M787
10.16/6.62 decisions=55301, wrong=26582, backtracks=11585, failedAssignments=17704, nogoods=2617, foundSolutions=13, bestBound=664
10.16/6.62
10.16/6.64 num=246, depth=8..14, filters=769012, revisions=(1104479,useless=478671), ccks=235682, wck=4.399, mem=113M787
10.16/6.64 decisions=55578, wrong=26715, backtracks=11619, failedAssignments=17812, nogoods=2646, foundSolutions=13, bestBound=664
10.16/6.64
10.16/6.66 num=247, depth=4..16, filters=774313, revisions=(1111783,useless=481775), ccks=237316, wck=4.427, mem=116M429
10.16/6.66 decisions=55981, wrong=26911, backtracks=11721, failedAssignments=17931, nogoods=2657, foundSolutions=13, bestBound=664
10.16/6.66
10.26/6.70 num=248, depth=5..15, filters=780456, revisions=(1120707,useless=485703), ccks=239096, wck=4.462, mem=116M429
10.26/6.70 decisions=56385, wrong=27110, backtracks=11804, failedAssignments=18062, nogoods=2677, foundSolutions=13, bestBound=664
10.26/6.70
10.26/6.73 num=249, depth=7..19, filters=786462, revisions=(1129473,useless=489662), ccks=240927, wck=4.493, mem=116M429
10.26/6.73 decisions=56804, wrong=27313, backtracks=11876, failedAssignments=18206, nogoods=2700, foundSolutions=13, bestBound=664
10.26/6.73
10.26/6.77 num=250, depth=2..12, filters=793650, revisions=(1139563,useless=493938), ccks=243184, wck=4.531, mem=116M429
10.26/6.77 decisions=57316, wrong=27567, backtracks=11985, failedAssignments=18364, nogoods=2712, foundSolutions=13, bestBound=664
10.26/6.77
10.36/6.82 num=251, depth=5..14, filters=802342, revisions=(1152356,useless=499578), ccks=245638, wck=4.581, mem=119M72
10.36/6.82 decisions=57815, wrong=27812, backtracks=12073, failedAssignments=18538, nogoods=2731, foundSolutions=13, bestBound=664
10.36/6.82
10.36/6.86 num=252, depth=4..14, filters=810841, revisions=(1164337,useless=504766), ccks=248215, wck=4.625, mem=119M72
10.36/6.86 decisions=58416, wrong=28109, backtracks=12195, failedAssignments=18729, nogoods=2753, foundSolutions=13, bestBound=664
10.36/6.86
10.46/6.91 num=253, depth=6..17, filters=819334, revisions=(1176886,useless=510484), ccks=250464, wck=4.673, mem=119M72
10.46/6.91 decisions=59034, wrong=28411, backtracks=12311, failedAssignments=18940, nogoods=2773, foundSolutions=13, bestBound=664
10.46/6.91
10.46/6.96 num=254, depth=1..14, filters=828804, revisions=(1189873,useless=516019), ccks=253493, wck=4.72, mem=119M72
10.46/6.96 decisions=59726, wrong=28753, backtracks=12458, failedAssignments=19172, nogoods=2783, foundSolutions=13, bestBound=664
10.46/6.96
10.58/7.02 num=255, depth=6..16, filters=839073, revisions=(1204442,useless=522312), ccks=256594, wck=4.778, mem=121M714
10.58/7.02 decisions=60449, wrong=29109, backtracks=12592, failedAssignments=19427, nogoods=2812, foundSolutions=13, bestBound=664
10.58/7.02
10.58/7.08 num=256, depth=6..17, filters=850542, revisions=(1221147,useless=529825), ccks=260016, wck=4.839, mem=121M714
10.58/7.08 decisions=61245, wrong=29503, backtracks=12747, failedAssignments=19708, nogoods=2825, foundSolutions=13, bestBound=664
10.58/7.08
10.68/7.14 num=257, depth=1..16, filters=863147, revisions=(1238208,useless=537004), ccks=263631, wck=4.902, mem=124M357
10.68/7.14 decisions=62260, wrong=30008, backtracks=12998, failedAssignments=20017, nogoods=2849, foundSolutions=13, bestBound=664
10.68/7.14
10.77/7.22 num=258, depth=3..17, filters=877866, revisions=(1259075,useless=546066), ccks=267925, wck=4.979, mem=124M357
10.77/7.22 decisions=63323, wrong=30535, backtracks=13253, failedAssignments=20357, nogoods=2866, foundSolutions=13, bestBound=664
10.77/7.22
10.77/7.23 o 690
10.77/7.23 num=259, depth=5..89, filters=880272, revisions=(1262605,useless=547636), ccks=268714, wck=4.993, mem=124M357
10.77/7.23 decisions=63500, wrong=30619, backtracks=13295, failedAssignments=20408, nogoods=2872, foundSolutions=14, bestBound=690
10.77/7.23
10.87/7.32 num=260, depth=8..20, filters=896297, revisions=(1286511,useless=558681), ccks=273426, wck=5.079, mem=126M999
10.87/7.32 decisions=64694, wrong=31209, backtracks=13517, failedAssignments=20819, nogoods=2883, foundSolutions=14, bestBound=690
10.87/7.32
10.87/7.32 num=261, depth=6..13, filters=897002, revisions=(1287618,useless=559166), ccks=273696, wck=5.083, mem=126M999
10.87/7.32 decisions=64737, wrong=31225, backtracks=13524, failedAssignments=20830, nogoods=2888, foundSolutions=14, bestBound=690
10.87/7.32
10.87/7.32 num=262, depth=10..17, filters=897658, revisions=(1288676,useless=559661), ccks=273921, wck=5.087, mem=126M999
10.87/7.32 decisions=64784, wrong=31243, backtracks=13530, failedAssignments=20842, nogoods=2896, foundSolutions=14, bestBound=690
10.87/7.32
10.87/7.33 o 696
10.87/7.33 num=263, depth=12..89, filters=898173, revisions=(1289555,useless=560075), ccks=274205, wck=5.091, mem=126M999
10.87/7.33 decisions=64813, wrong=31250, backtracks=13530, failedAssignments=20849, nogoods=2903, foundSolutions=15, bestBound=696
10.87/7.33
10.87/7.33 num=264, depth=6..13, filters=898970, revisions=(1290940,useless=560760), ccks=274505, wck=5.096, mem=126M999
10.87/7.33 decisions=64859, wrong=31267, backtracks=13533, failedAssignments=20863, nogoods=2917, foundSolutions=15, bestBound=696
10.87/7.33
10.87/7.34 num=265, depth=12..20, filters=899589, revisions=(1291925,useless=561205), ccks=274745, wck=5.1, mem=126M999
10.87/7.34 decisions=64901, wrong=31280, backtracks=13535, failedAssignments=20874, nogoods=2928, foundSolutions=15, bestBound=696
10.87/7.34
10.87/7.34 num=266, depth=9..14, filters=900224, revisions=(1292974,useless=561689), ccks=274984, wck=5.103, mem=126M999
10.87/7.34 decisions=64940, wrong=31294, backtracks=13538, failedAssignments=20886, nogoods=2936, foundSolutions=15, bestBound=696
10.87/7.34
10.87/7.35 num=267, depth=0..2, filters=900769, revisions=(1294048,useless=562219), ccks=275100, wck=5.11, mem=126M999
10.87/7.35 decisions=64971, wrong=31309, backtracks=13540, failedAssignments=20899, nogoods=2941, foundSolutions=15, bestBound=696
10.87/7.35
10.87/7.35 num=268, depth=1..14, filters=901650, revisions=(1295443,useless=562820), ccks=275376, wck=5.116, mem=126M999
10.87/7.35 decisions=65024, wrong=31330, backtracks=13549, failedAssignments=20913, nogoods=2949, foundSolutions=15, bestBound=696
10.87/7.35
10.87/7.36 num=269, depth=1..12, filters=902507, revisions=(1296685,useless=563334), ccks=275614, wck=5.121, mem=126M999
10.87/7.36 decisions=65086, wrong=31358, backtracks=13562, failedAssignments=20929, nogoods=2957, foundSolutions=15, bestBound=696
10.87/7.36
10.87/7.36 num=270, depth=4..9, filters=903074, revisions=(1297441,useless=563634), ccks=275811, wck=5.124, mem=126M999
10.87/7.36 decisions=65141, wrong=31383, backtracks=13571, failedAssignments=20946, nogoods=2965, foundSolutions=15, bestBound=696
10.87/7.36
10.87/7.37 num=271, depth=6..12, filters=904059, revisions=(1298893,useless=564245), ccks=276150, wck=5.13, mem=126M999
10.87/7.37 decisions=65206, wrong=31411, backtracks=13584, failedAssignments=20965, nogoods=2969, foundSolutions=15, bestBound=696
10.87/7.37
10.87/7.37 num=272, depth=10..18, filters=905223, revisions=(1300732,useless=565058), ccks=276571, wck=5.137, mem=126M999
10.87/7.37 decisions=65283, wrong=31444, backtracks=13600, failedAssignments=20986, nogoods=2975, foundSolutions=15, bestBound=696
10.87/7.37
10.87/7.38 num=273, depth=2..12, filters=906465, revisions=(1302628,useless=565905), ccks=276897, wck=5.145, mem=126M999
10.87/7.38 decisions=65364, wrong=31482, backtracks=13616, failedAssignments=21009, nogoods=2983, foundSolutions=15, bestBound=696
10.87/7.38
10.87/7.39 num=274, depth=8..15, filters=907588, revisions=(1304258,useless=566595), ccks=277248, wck=5.151, mem=126M999
10.87/7.39 decisions=65450, wrong=31521, backtracks=13635, failedAssignments=21034, nogoods=2984, foundSolutions=15, bestBound=696
10.87/7.39
10.97/7.40 num=275, depth=4..9, filters=908955, revisions=(1306266,useless=567458), ccks=277669, wck=5.16, mem=126M999
10.97/7.40 decisions=65536, wrong=31562, backtracks=13653, failedAssignments=21062, nogoods=2990, foundSolutions=15, bestBound=696
10.97/7.40
10.97/7.41 num=276, depth=4..9, filters=910273, revisions=(1308162,useless=568272), ccks=278075, wck=5.167, mem=126M999
10.97/7.41 decisions=65615, wrong=31599, backtracks=13662, failedAssignments=21093, nogoods=2996, foundSolutions=15, bestBound=696
10.97/7.41
10.97/7.42 num=277, depth=6..12, filters=911937, revisions=(1310649,useless=569343), ccks=278553, wck=5.177, mem=126M999
10.97/7.42 decisions=65737, wrong=31655, backtracks=13690, failedAssignments=21127, nogoods=3002, foundSolutions=15, bestBound=696
10.97/7.42
10.97/7.42 num=278, depth=2..10, filters=913621, revisions=(1313112,useless=570403), ccks=279055, wck=5.187, mem=126M999
10.97/7.42 decisions=65850, wrong=31709, backtracks=13714, failedAssignments=21164, nogoods=3016, foundSolutions=15, bestBound=696
10.97/7.42
10.97/7.44 num=279, depth=6..14, filters=915718, revisions=(1316302,useless=571857), ccks=279659, wck=5.2, mem=126M999
10.97/7.44 decisions=65977, wrong=31768, backtracks=13738, failedAssignments=21205, nogoods=3025, foundSolutions=15, bestBound=696
10.97/7.44
10.97/7.45 num=280, depth=1..12, filters=917706, revisions=(1319226,useless=573125), ccks=280211, wck=5.212, mem=129M641
10.97/7.45 decisions=66119, wrong=31836, backtracks=13768, failedAssignments=21250, nogoods=3042, foundSolutions=15, bestBound=696
10.97/7.45
10.97/7.46 num=281, depth=6..14, filters=920158, revisions=(1322887,useless=574772), ccks=281036, wck=5.225, mem=129M641
10.97/7.46 decisions=66270, wrong=31905, backtracks=13794, failedAssignments=21300, nogoods=3054, foundSolutions=15, bestBound=696
10.97/7.46
10.97/7.48 num=282, depth=3..11, filters=923182, revisions=(1327281,useless=576683), ccks=281967, wck=5.242, mem=129M641
10.97/7.48 decisions=66473, wrong=32002, backtracks=13850, failedAssignments=21355, nogoods=3067, foundSolutions=15, bestBound=696
10.97/7.48
10.97/7.50 num=283, depth=5..13, filters=925937, revisions=(1331332,useless=578435), ccks=282834, wck=5.259, mem=129M641
10.97/7.50 decisions=66641, wrong=32083, backtracks=13877, failedAssignments=21416, nogoods=3090, foundSolutions=15, bestBound=696
10.97/7.50
11.09/7.51 num=284, depth=5..12, filters=928895, revisions=(1335769,useless=580428), ccks=283689, wck=5.276, mem=129M641
11.09/7.51 decisions=66820, wrong=32170, backtracks=13905, failedAssignments=21483, nogoods=3106, foundSolutions=15, bestBound=696
11.09/7.51
11.09/7.53 num=285, depth=7..15, filters=932336, revisions=(1341000,useless=582847), ccks=284839, wck=5.295, mem=129M641
11.09/7.53 decisions=67037, wrong=32274, backtracks=13947, failedAssignments=21557, nogoods=3109, foundSolutions=15, bestBound=696
11.09/7.53
11.09/7.55 num=286, depth=0..13, filters=935298, revisions=(1345682,useless=584981), ccks=285632, wck=5.315, mem=129M641
11.09/7.55 decisions=67275, wrong=32388, backtracks=13982, failedAssignments=21638, nogoods=3123, foundSolutions=15, bestBound=696
11.09/7.55
11.09/7.57 num=287, depth=2..13, filters=938898, revisions=(1351026,useless=587346), ccks=286737, wck=5.335, mem=129M641
11.09/7.57 decisions=67554, wrong=32525, backtracks=14046, failedAssignments=21727, nogoods=3133, foundSolutions=15, bestBound=696
11.09/7.57
11.19/7.60 num=288, depth=3..15, filters=943316, revisions=(1357441,useless=590135), ccks=288019, wck=5.359, mem=132M284
11.19/7.60 decisions=67853, wrong=32670, backtracks=14113, failedAssignments=21825, nogoods=3145, foundSolutions=15, bestBound=696
11.19/7.60
11.19/7.63 num=289, depth=7..15, filters=948371, revisions=(1364793,useless=593313), ccks=289743, wck=5.388, mem=132M284
11.19/7.63 decisions=68178, wrong=32828, backtracks=14176, failedAssignments=21933, nogoods=3157, foundSolutions=15, bestBound=696
11.19/7.63
11.19/7.65 num=290, depth=1..12, filters=952861, revisions=(1371341,useless=596192), ccks=290991, wck=5.413, mem=132M284
11.19/7.65 decisions=68528, wrong=32999, backtracks=14237, failedAssignments=22052, nogoods=3171, foundSolutions=15, bestBound=696
11.19/7.65
11.19/7.69 num=291, depth=5..13, filters=958490, revisions=(1380490,useless=600699), ccks=292204, wck=5.448, mem=132M284
11.19/7.69 decisions=68893, wrong=33179, backtracks=14302, failedAssignments=22183, nogoods=3173, foundSolutions=15, bestBound=696
11.19/7.69
11.29/7.72 num=292, depth=1..16, filters=965487, revisions=(1390516,useless=605044), ccks=294247, wck=5.486, mem=132M284
11.29/7.72 decisions=69385, wrong=33422, backtracks=14428, failedAssignments=22327, nogoods=3184, foundSolutions=15, bestBound=696
11.29/7.72
11.29/7.77 num=293, depth=5..14, filters=972399, revisions=(1400909,useless=609643), ccks=296232, wck=5.528, mem=134M926
11.29/7.77 decisions=69836, wrong=33644, backtracks=14501, failedAssignments=22485, nogoods=3206, foundSolutions=15, bestBound=696
11.29/7.77
11.39/7.81 num=294, depth=1..13, filters=980285, revisions=(1412684,useless=614915), ccks=298315, wck=5.573, mem=134M926
11.39/7.81 decisions=70384, wrong=33914, backtracks=14631, failedAssignments=22659, nogoods=3224, foundSolutions=15, bestBound=696
11.39/7.81
11.39/7.86 num=295, depth=7..16, filters=988497, revisions=(1424764,useless=620231), ccks=300911, wck=5.62, mem=134M926
11.39/7.86 decisions=70903, wrong=34169, backtracks=14706, failedAssignments=22850, nogoods=3253, foundSolutions=15, bestBound=696
11.39/7.86
11.49/7.91 num=296, depth=6..16, filters=996696, revisions=(1437133,useless=625946), ccks=303139, wck=5.668, mem=137M569
11.49/7.91 decisions=71503, wrong=34464, backtracks=14818, failedAssignments=23061, nogoods=3273, foundSolutions=15, bestBound=696
11.49/7.91
11.49/7.96 num=297, depth=1..13, filters=1006977, revisions=(1451970,useless=632427), ccks=306153, wck=5.724, mem=137M569
11.49/7.96 decisions=72201, wrong=34811, backtracks=14960, failedAssignments=23293, nogoods=3292, foundSolutions=15, bestBound=696
11.49/7.96
11.60/8.03 num=298, depth=1..14, filters=1018914, revisions=(1469334,useless=640103), ccks=309639, wck=5.788, mem=137M569
11.60/8.03 decisions=73018, wrong=35218, backtracks=15144, failedAssignments=23548, nogoods=3299, foundSolutions=15, bestBound=696
11.60/8.03
11.60/8.08 num=299, depth=5..18, filters=1030523, revisions=(1485540,useless=647152), ccks=313266, wck=5.847, mem=140M211
11.60/8.08 decisions=73843, wrong=35625, backtracks=15320, failedAssignments=23829, nogoods=3321, foundSolutions=15, bestBound=696
11.60/8.08
11.70/8.17 num=300, depth=0..14, filters=1044860, revisions=(1506731,useless=656542), ccks=317450, wck=5.928, mem=140M211
11.70/8.17 decisions=74799, wrong=36099, backtracks=15517, failedAssignments=24138, nogoods=3337, foundSolutions=15, bestBound=696
11.70/8.17
11.79/8.24 num=301, depth=0..15, filters=1059210, revisions=(1526553,useless=664932), ccks=321867, wck=6.001, mem=142M778
11.79/8.24 decisions=75862, wrong=36626, backtracks=15771, failedAssignments=24478, nogoods=3353, foundSolutions=15, bestBound=696
11.79/8.24
11.89/8.33 num=302, depth=2..14, filters=1075940, revisions=(1551280,useless=675961), ccks=327057, wck=6.093, mem=142M778
11.89/8.33 decisions=77005, wrong=37195, backtracks=15998, failedAssignments=24852, nogoods=3371, foundSolutions=15, bestBound=696
11.89/8.33
12.02/8.43 num=303, depth=2..14, filters=1092080, revisions=(1574836,useless=686435), ccks=331796, wck=6.193, mem=23M18
12.02/8.43 decisions=78152, wrong=37766, backtracks=16219, failedAssignments=25263, nogoods=3382, foundSolutions=15, bestBound=696
12.02/8.43
12.12/8.53 num=304, depth=1..15, filters=1113284, revisions=(1603429,useless=698273), ccks=338129, wck=6.294, mem=23M18
12.12/8.53 decisions=79716, wrong=38546, backtracks=16630, failedAssignments=25715, nogoods=3396, foundSolutions=15, bestBound=696
12.12/8.53
12.22/8.64 num=305, depth=2..15, filters=1135435, revisions=(1635108,useless=712160), ccks=344528, wck=6.406, mem=25M634
12.22/8.64 decisions=81316, wrong=39343, backtracks=16992, failedAssignments=26212, nogoods=3408, foundSolutions=15, bestBound=696
12.22/8.64
12.32/8.75 num=306, depth=0..14, filters=1158798, revisions=(1666240,useless=725091), ccks=351449, wck=6.514, mem=28M250
12.32/8.75 decisions=83094, wrong=40229, backtracks=17458, failedAssignments=26759, nogoods=3418, foundSolutions=15, bestBound=696
12.32/8.75
12.43/8.89 num=307, depth=5..17, filters=1185168, revisions=(1704571,useless=742238), ccks=359071, wck=6.65, mem=28M250
12.43/8.89 decisions=84915, wrong=41135, backtracks=17844, failedAssignments=27361, nogoods=3444, foundSolutions=15, bestBound=696
12.43/8.89
12.53/8.99 o 705
12.53/8.99 num=308, depth=4..89, filters=1206770, revisions=(1733410,useless=754239), ccks=365634, wck=6.748, mem=30M866
12.53/8.99 decisions=86580, wrong=41961, backtracks=18276, failedAssignments=27845, nogoods=3462, foundSolutions=16, bestBound=705
12.53/8.99
12.75/9.13 num=309, depth=5..18, filters=1234930, revisions=(1775069,useless=773064), ccks=373512, wck=6.897, mem=33M482
12.75/9.13 decisions=88710, wrong=43018, backtracks=18664, failedAssignments=28573, nogoods=3492, foundSolutions=16, bestBound=705
12.75/9.13
12.75/9.14 num=310, depth=7..11, filters=1235516, revisions=(1775961,useless=773443), ccks=373709, wck=6.901, mem=33M482
12.75/9.14 decisions=88752, wrong=43035, backtracks=18672, failedAssignments=28584, nogoods=3495, foundSolutions=16, bestBound=705
12.75/9.14
12.75/9.14 num=311, depth=6..10, filters=1236148, revisions=(1776975,useless=773904), ccks=373939, wck=6.905, mem=33M482
12.75/9.14 decisions=88788, wrong=43049, backtracks=18675, failedAssignments=28596, nogoods=3506, foundSolutions=16, bestBound=705
12.75/9.14
12.75/9.15 num=312, depth=0..5, filters=1236875, revisions=(1778215,useless=774467), ccks=374110, wck=6.911, mem=33M482
12.75/9.15 decisions=88827, wrong=43067, backtracks=18680, failedAssignments=28609, nogoods=3507, foundSolutions=16, bestBound=705
12.75/9.15
12.75/9.16 num=313, depth=6..10, filters=1237867, revisions=(1779771,useless=775173), ccks=374410, wck=6.917, mem=33M482
12.75/9.16 decisions=88876, wrong=43088, backtracks=18689, failedAssignments=28623, nogoods=3512, foundSolutions=16, bestBound=705
12.75/9.16
12.75/9.16 num=314, depth=6..12, filters=1238871, revisions=(1781291,useless=775844), ccks=374762, wck=6.923, mem=33M482
12.75/9.16 decisions=88940, wrong=43115, backtracks=18701, failedAssignments=28639, nogoods=3522, foundSolutions=16, bestBound=705
12.75/9.16
12.75/9.17 num=315, depth=7..13, filters=1239889, revisions=(1782787,useless=776493), ccks=375102, wck=6.929, mem=33M482
12.75/9.17 decisions=89016, wrong=43149, backtracks=18718, failedAssignments=28656, nogoods=3527, foundSolutions=16, bestBound=705
12.75/9.17
12.75/9.17 num=316, depth=1..9, filters=1240898, revisions=(1784190,useless=777082), ccks=375399, wck=6.934, mem=33M482
12.75/9.17 decisions=89080, wrong=43179, backtracks=18731, failedAssignments=28675, nogoods=3533, foundSolutions=16, bestBound=705
12.75/9.17
12.75/9.18 num=317, depth=6..16, filters=1242107, revisions=(1786059,useless=777946), ccks=375829, wck=6.941, mem=33M482
12.75/9.18 decisions=89156, wrong=43212, backtracks=18744, failedAssignments=28696, nogoods=3537, foundSolutions=16, bestBound=705
12.75/9.18
12.75/9.19 num=318, depth=7..13, filters=1243278, revisions=(1787872,useless=778754), ccks=376201, wck=6.948, mem=33M482
12.75/9.19 decisions=89230, wrong=43244, backtracks=18754, failedAssignments=28719, nogoods=3548, foundSolutions=16, bestBound=705
12.75/9.19
12.75/9.19 num=319, depth=5..12, filters=1244550, revisions=(1789846,useless=779643), ccks=376617, wck=6.956, mem=33M482
12.75/9.19 decisions=89303, wrong=43277, backtracks=18767, failedAssignments=28744, nogoods=3557, foundSolutions=16, bestBound=705
12.75/9.19
12.84/9.20 num=320, depth=1..9, filters=1245786, revisions=(1791592,useless=780393), ccks=376994, wck=6.963, mem=33M482
12.84/9.20 decisions=89392, wrong=43321, backtracks=18790, failedAssignments=28772, nogoods=3559, foundSolutions=16, bestBound=705
12.84/9.20
12.84/9.21 num=321, depth=3..10, filters=1247338, revisions=(1793898,useless=781429), ccks=377424, wck=6.971, mem=33M482
12.84/9.21 decisions=89492, wrong=43369, backtracks=18808, failedAssignments=28803, nogoods=3570, foundSolutions=16, bestBound=705
12.84/9.21
12.84/9.22 num=322, depth=6..16, filters=1248964, revisions=(1796400,useless=782569), ccks=377910, wck=6.98, mem=33M482
12.84/9.22 decisions=89609, wrong=43422, backtracks=18831, failedAssignments=28837, nogoods=3580, foundSolutions=16, bestBound=705
12.84/9.22
12.84/9.23 num=323, depth=6..18, filters=1250862, revisions=(1799300,useless=783888), ccks=378523, wck=6.991, mem=33M482
12.84/9.23 decisions=89739, wrong=43481, backtracks=18862, failedAssignments=28874, nogoods=3595, foundSolutions=16, bestBound=705
12.84/9.23
12.84/9.24 num=324, depth=3..11, filters=1252324, revisions=(1801651,useless=784995), ccks=378955, wck=7.0, mem=36M98
12.84/9.24 decisions=89845, wrong=43530, backtracks=18874, failedAssignments=28915, nogoods=3612, foundSolutions=16, bestBound=705
12.84/9.24
12.84/9.25 num=325, depth=7..16, filters=1254109, revisions=(1804378,useless=786266), ccks=379516, wck=7.011, mem=36M98
12.84/9.25 decisions=89973, wrong=43588, backtracks=18889, failedAssignments=28960, nogoods=3635, foundSolutions=16, bestBound=705
12.84/9.25
12.84/9.26 num=326, depth=2..12, filters=1256179, revisions=(1807393,useless=787562), ccks=380114, wck=7.023, mem=36M98
12.84/9.26 decisions=90107, wrong=43652, backtracks=18909, failedAssignments=29010, nogoods=3653, foundSolutions=16, bestBound=705
12.84/9.26
12.84/9.28 num=327, depth=6..15, filters=1258909, revisions=(1811326,useless=789277), ccks=380940, wck=7.038, mem=36M98
12.84/9.28 decisions=90287, wrong=43737, backtracks=18948, failedAssignments=29065, nogoods=3669, foundSolutions=16, bestBound=705
12.84/9.28
12.84/9.29 num=328, depth=1..11, filters=1261872, revisions=(1815705,useless=791222), ccks=381785, wck=7.054, mem=36M98
12.84/9.29 decisions=90499, wrong=43842, backtracks=19002, failedAssignments=29126, nogoods=3680, foundSolutions=16, bestBound=705
12.84/9.29
12.94/9.31 num=329, depth=1..9, filters=1265389, revisions=(1820872,useless=793518), ccks=382830, wck=7.075, mem=36M98
12.94/9.31 decisions=90723, wrong=43952, backtracks=19051, failedAssignments=29193, nogoods=3698, foundSolutions=16, bestBound=705
12.94/9.31
12.94/9.33 num=330, depth=6..12, filters=1268538, revisions=(1825578,useless=795579), ccks=383720, wck=7.093, mem=36M98
12.94/9.33 decisions=90946, wrong=44058, backtracks=19087, failedAssignments=29267, nogoods=3716, foundSolutions=16, bestBound=705
12.94/9.33
12.94/9.35 num=331, depth=7..14, filters=1272462, revisions=(1831413,useless=798234), ccks=384895, wck=7.114, mem=36M98
12.94/9.35 decisions=91202, wrong=44181, backtracks=19138, failedAssignments=29348, nogoods=3731, foundSolutions=16, bestBound=705
12.94/9.35
12.94/9.37 num=332, depth=5..17, filters=1276598, revisions=(1837599,useless=801040), ccks=386132, wck=7.136, mem=36M98
12.94/9.37 decisions=91471, wrong=44313, backtracks=19194, failedAssignments=29437, nogoods=3733, foundSolutions=16, bestBound=705
12.94/9.37
12.94/9.39 num=333, depth=0..12, filters=1280582, revisions=(1843051,useless=803342), ccks=387358, wck=7.157, mem=38M714
12.94/9.39 decisions=91790, wrong=44471, backtracks=19282, failedAssignments=29535, nogoods=3735, foundSolutions=16, bestBound=705
12.94/9.39
13.04/9.42 num=334, depth=9..17, filters=1284960, revisions=(1849479,useless=806291), ccks=388722, wck=7.18, mem=38M714
13.04/9.42 decisions=92099, wrong=44620, backtracks=19333, failedAssignments=29643, nogoods=3753, foundSolutions=16, bestBound=705
13.04/9.42
13.04/9.45 num=335, depth=6..17, filters=1290453, revisions=(1857784,useless=810112), ccks=390160, wck=7.211, mem=38M714
13.04/9.45 decisions=92478, wrong=44804, backtracks=19413, failedAssignments=29762, nogoods=3783, foundSolutions=16, bestBound=705
13.04/9.45
13.04/9.49 num=336, depth=5..13, filters=1296638, revisions=(1867006,useless=814165), ccks=391913, wck=7.248, mem=38M714
13.04/9.49 decisions=92854, wrong=44988, backtracks=19475, failedAssignments=29893, nogoods=3803, foundSolutions=16, bestBound=705
13.04/9.49
13.14/9.52 num=337, depth=5..14, filters=1303393, revisions=(1877154,useless=818775), ccks=393692, wck=7.286, mem=41M330
13.14/9.52 decisions=93278, wrong=45196, backtracks=19557, failedAssignments=30037, nogoods=3829, foundSolutions=16, bestBound=705
13.14/9.52
13.14/9.56 num=338, depth=7..16, filters=1310484, revisions=(1887833,useless=823687), ccks=395654, wck=7.324, mem=41M330
13.14/9.56 decisions=93771, wrong=45437, backtracks=19659, failedAssignments=30195, nogoods=3841, foundSolutions=16, bestBound=705
13.14/9.56
13.14/9.60 num=339, depth=1..14, filters=1317202, revisions=(1897172,useless=827693), ccks=397773, wck=7.358, mem=41M330
13.14/9.60 decisions=94274, wrong=45685, backtracks=19781, failedAssignments=30369, nogoods=3847, foundSolutions=16, bestBound=705
13.14/9.60
13.24/9.64 num=340, depth=1..13, filters=1324857, revisions=(1908560,useless=832760), ccks=399915, wck=7.402, mem=41M330
13.24/9.64 decisions=94817, wrong=45953, backtracks=19871, failedAssignments=30560, nogoods=3870, foundSolutions=16, bestBound=705
13.24/9.64
13.24/9.69 num=341, depth=8..16, filters=1333673, revisions=(1921635,useless=838671), ccks=402512, wck=7.45, mem=43M946
13.24/9.69 decisions=95443, wrong=46261, backtracks=19988, failedAssignments=30771, nogoods=3895, foundSolutions=16, bestBound=705
13.24/9.69
13.34/9.74 num=342, depth=4..16, filters=1344026, revisions=(1935974,useless=844742), ccks=405683, wck=7.503, mem=43M946
13.34/9.74 decisions=96173, wrong=46622, backtracks=20164, failedAssignments=31003, nogoods=3913, foundSolutions=16, bestBound=705
13.34/9.74
13.45/9.80 num=343, depth=2..14, filters=1354498, revisions=(1951101,useless=851400), ccks=408707, wck=7.56, mem=43M946
13.45/9.80 decisions=96910, wrong=46987, backtracks=20314, failedAssignments=31258, nogoods=3929, foundSolutions=16, bestBound=705
13.45/9.80
13.45/9.87 num=344, depth=4..14, filters=1367556, revisions=(1970768,useless=860302), ccks=412420, wck=7.634, mem=46M562
13.45/9.87 decisions=97727, wrong=47392, backtracks=20478, failedAssignments=31539, nogoods=3950, foundSolutions=16, bestBound=705
13.45/9.87
13.56/9.94 num=345, depth=8..18, filters=1380044, revisions=(1989092,useless=868646), ccks=416210, wck=7.699, mem=46M562
13.56/9.94 decisions=98631, wrong=47838, backtracks=20647, failedAssignments=31848, nogoods=3963, foundSolutions=16, bestBound=705
13.56/9.94
13.67/10.01 num=346, depth=6..14, filters=1393857, revisions=(2009468,useless=877790), ccks=420314, wck=7.776, mem=49M178
13.67/10.01 decisions=99602, wrong=48318, backtracks=20838, failedAssignments=32188, nogoods=3976, foundSolutions=16, bestBound=705
13.67/10.01
13.67/10.09 num=347, depth=7..17, filters=1409081, revisions=(2031902,useless=887945), ccks=424722, wck=7.857, mem=49M178
13.67/10.09 decisions=100747, wrong=48887, backtracks=21083, failedAssignments=32562, nogoods=3994, foundSolutions=16, bestBound=705
13.67/10.09
13.77/10.19 num=348, depth=5..19, filters=1427227, revisions=(2058513,useless=899986), ccks=429866, wck=7.956, mem=51M794
13.77/10.19 decisions=101961, wrong=49489, backtracks=21328, failedAssignments=32973, nogoods=4019, foundSolutions=16, bestBound=705
13.77/10.19
13.96/10.30 num=349, depth=4..15, filters=1446735, revisions=(2086924,useless=912665), ccks=435325, wck=8.06, mem=54M410
13.96/10.30 decisions=103359, wrong=50185, backtracks=21641, failedAssignments=33425, nogoods=4038, foundSolutions=16, bestBound=705
13.96/10.30
14.06/10.41 num=350, depth=6..17, filters=1466166, revisions=(2115295,useless=925286), ccks=440685, wck=8.168, mem=54M410
14.06/10.41 decisions=104801, wrong=50901, backtracks=21929, failedAssignments=33922, nogoods=4058, foundSolutions=16, bestBound=705
14.06/10.41
14.16/10.54 num=351, depth=3..18, filters=1490649, revisions=(2151540,useless=941572), ccks=447397, wck=8.302, mem=57M26
14.16/10.54 decisions=106436, wrong=51714, backtracks=22265, failedAssignments=34469, nogoods=4087, foundSolutions=16, bestBound=705
14.16/10.54
14.26/10.69 num=352, depth=4..15, filters=1517428, revisions=(2191799,useless=959796), ccks=455144, wck=8.456, mem=59M642
14.26/10.69 decisions=108192, wrong=52588, backtracks=22606, failedAssignments=35071, nogoods=4110, foundSolutions=16, bestBound=705
14.26/10.69
14.46/10.84 num=353, depth=7..17, filters=1545596, revisions=(2231793,useless=977287), ccks=463436, wck=8.602, mem=62M258
14.46/10.84 decisions=110217, wrong=53596, backtracks=23020, failedAssignments=35733, nogoods=4122, foundSolutions=16, bestBound=705
14.46/10.84
14.56/11.00 num=354, depth=7..17, filters=1575273, revisions=(2276858,useless=998025), ccks=471650, wck=8.765, mem=64M874
14.56/11.00 decisions=112275, wrong=54621, backtracks=23392, failedAssignments=36461, nogoods=4148, foundSolutions=16, bestBound=705
14.56/11.00
14.77/11.19 num=355, depth=5..15, filters=1609650, revisions=(2327752,useless=1021129), ccks=480895, wck=8.956, mem=70M106
14.77/11.19 decisions=114568, wrong=55763, backtracks=23823, failedAssignments=37262, nogoods=4168, foundSolutions=16, bestBound=705
14.77/11.19
15.06/11.40 num=356, depth=3..18, filters=1648471, revisions=(2384741,useless=1046952), ccks=491943, wck=9.166, mem=72M722
15.06/11.40 decisions=117203, wrong=57077, backtracks=24335, failedAssignments=38143, nogoods=4181, foundSolutions=16, bestBound=705
15.06/11.40
15.06/11.42 o 714
15.06/11.42 num=357, depth=9..89, filters=1651628, revisions=(2389583,useless=1049191), ccks=493056, wck=9.184, mem=72M722
15.06/11.42 decisions=117417, wrong=57177, backtracks=24380, failedAssignments=38208, nogoods=4197, foundSolutions=17, bestBound=714
15.06/11.42
15.27/11.67 num=358, depth=6..21, filters=1696205, revisions=(2455962,useless=1079315), ccks=505033, wck=9.429, mem=77M954
15.27/11.67 decisions=120451, wrong=58688, backtracks=24952, failedAssignments=39275, nogoods=4208, foundSolutions=17, bestBound=714
15.27/11.67
15.27/11.67 num=359, depth=8..14, filters=1696812, revisions=(2456937,useless=1079743), ccks=505286, wck=9.433, mem=77M954
15.27/11.67 decisions=120496, wrong=58705, backtracks=24960, failedAssignments=39286, nogoods=4215, foundSolutions=17, bestBound=714
15.27/11.67
15.27/11.68 num=360, depth=6..10, filters=1697538, revisions=(2458073,useless=1080257), ccks=505528, wck=9.438, mem=77M954
15.27/11.68 decisions=120531, wrong=58719, backtracks=24964, failedAssignments=39298, nogoods=4222, foundSolutions=17, bestBound=714
15.27/11.68
15.27/11.68 num=361, depth=1..12, filters=1698268, revisions=(2459176,useless=1080745), ccks=505747, wck=9.442, mem=77M954
15.27/11.68 decisions=120578, wrong=58742, backtracks=24976, failedAssignments=39311, nogoods=4225, foundSolutions=17, bestBound=714
15.27/11.68
15.27/11.69 num=362, depth=7..14, filters=1699026, revisions=(2460300,useless=1081209), ccks=505979, wck=9.447, mem=77M954
15.27/11.69 decisions=120633, wrong=58764, backtracks=24987, failedAssignments=39325, nogoods=4233, foundSolutions=17, bestBound=714
15.27/11.69
15.27/11.69 num=363, depth=4..16, filters=1699915, revisions=(2461730,useless=1081849), ccks=506246, wck=9.453, mem=77M954
15.27/11.69 decisions=120690, wrong=58788, backtracks=24998, failedAssignments=39341, nogoods=4243, foundSolutions=17, bestBound=714
15.27/11.69
15.27/11.70 num=364, depth=7..11, filters=1700640, revisions=(2462887,useless=1082369), ccks=506474, wck=9.458, mem=77M954
15.27/11.70 decisions=120738, wrong=58807, backtracks=25000, failedAssignments=39358, nogoods=4257, foundSolutions=17, bestBound=714
15.27/11.70
15.37/11.70 num=365, depth=2..8, filters=1701526, revisions=(2464151,useless=1082907), ccks=506733, wck=9.464, mem=77M954
15.37/11.70 decisions=120787, wrong=58829, backtracks=25003, failedAssignments=39377, nogoods=4275, foundSolutions=17, bestBound=714
15.37/11.70
15.37/11.71 num=366, depth=7..14, filters=1702462, revisions=(2465635,useless=1083585), ccks=507058, wck=9.469, mem=77M954
15.37/11.71 decisions=120855, wrong=58859, backtracks=25013, failedAssignments=39398, nogoods=4278, foundSolutions=17, bestBound=714
15.37/11.71
15.37/11.71 num=367, depth=5..13, filters=1703710, revisions=(2467486,useless=1084364), ccks=507412, wck=9.477, mem=77M954
15.37/11.71 decisions=120935, wrong=58895, backtracks=25031, failedAssignments=39421, nogoods=4283, foundSolutions=17, bestBound=714
15.37/11.71
15.37/11.72 num=368, depth=7..10, filters=1704709, revisions=(2468951,useless=1084975), ccks=507744, wck=9.483, mem=77M954
15.37/11.72 decisions=121003, wrong=58925, backtracks=25036, failedAssignments=39446, nogoods=4300, foundSolutions=17, bestBound=714
15.37/11.72
15.37/11.73 num=369, depth=10..16, filters=1706073, revisions=(2470974,useless=1085840), ccks=508237, wck=9.491, mem=77M954
15.37/11.73 decisions=121085, wrong=58961, backtracks=25045, failedAssignments=39474, nogoods=4306, foundSolutions=17, bestBound=714
15.37/11.73
15.37/11.74 num=370, depth=7..15, filters=1707638, revisions=(2473208,useless=1086788), ccks=508688, wck=9.5, mem=77M954
15.37/11.74 decisions=121189, wrong=59009, backtracks=25067, failedAssignments=39505, nogoods=4314, foundSolutions=17, bestBound=714
15.37/11.74
15.37/11.75 num=371, depth=7..11, filters=1709319, revisions=(2475717,useless=1087852), ccks=509184, wck=9.51, mem=77M954
15.37/11.75 decisions=121286, wrong=59054, backtracks=25080, failedAssignments=39539, nogoods=4316, foundSolutions=17, bestBound=714
15.37/11.75
15.37/11.76 num=372, depth=5..11, filters=1711267, revisions=(2478511,useless=1089038), ccks=509755, wck=9.52, mem=77M954
15.37/11.76 decisions=121400, wrong=59108, backtracks=25100, failedAssignments=39576, nogoods=4325, foundSolutions=17, bestBound=714
15.37/11.76
15.37/11.77 num=373, depth=6..11, filters=1713079, revisions=(2481183,useless=1090217), ccks=510348, wck=9.531, mem=77M954
15.37/11.77 decisions=121509, wrong=59158, backtracks=25111, failedAssignments=39617, nogoods=4338, foundSolutions=17, bestBound=714
15.37/11.77
15.37/11.78 num=374, depth=5..15, filters=1715032, revisions=(2484281,useless=1091627), ccks=510956, wck=9.544, mem=80M570
15.37/11.78 decisions=121640, wrong=59218, backtracks=25129, failedAssignments=39662, nogoods=4355, foundSolutions=17, bestBound=714
15.37/11.78
15.47/11.80 num=375, depth=0..9, filters=1717591, revisions=(2488145,useless=1093330), ccks=511668, wck=9.56, mem=80M570
15.47/11.80 decisions=121809, wrong=59300, backtracks=25165, failedAssignments=39712, nogoods=4365, foundSolutions=17, bestBound=714
15.47/11.80
15.47/11.81 num=376, depth=4..17, filters=1720030, revisions=(2491594,useless=1094818), ccks=512360, wck=9.573, mem=80M570
15.47/11.81 decisions=121986, wrong=59383, backtracks=25203, failedAssignments=39767, nogoods=4374, foundSolutions=17, bestBound=714
15.47/11.81
15.47/11.83 num=377, depth=8..13, filters=1722854, revisions=(2495913,useless=1096759), ccks=513184, wck=9.589, mem=80M570
15.47/11.83 decisions=122166, wrong=59468, backtracks=25235, failedAssignments=39828, nogoods=4389, foundSolutions=17, bestBound=714
15.47/11.83
15.47/11.84 num=378, depth=7..13, filters=1725918, revisions=(2500782,useless=1099058), ccks=514011, wck=9.606, mem=80M570
15.47/11.84 decisions=122350, wrong=59555, backtracks=25260, failedAssignments=39895, nogoods=4405, foundSolutions=17, bestBound=714
15.47/11.84
15.47/11.86 num=379, depth=5..14, filters=1728847, revisions=(2504878,useless=1100813), ccks=514895, wck=9.622, mem=80M570
15.47/11.86 decisions=122585, wrong=59667, backtracks=25309, failedAssignments=39969, nogoods=4414, foundSolutions=17, bestBound=714
15.47/11.86
15.47/11.88 num=380, depth=5..13, filters=1732909, revisions=(2510666,useless=1103246), ccks=516101, wck=9.644, mem=80M570
15.47/11.88 decisions=122833, wrong=59786, backtracks=25353, failedAssignments=40050, nogoods=4430, foundSolutions=17, bestBound=714
15.47/11.88
15.57/11.90 num=381, depth=6..16, filters=1736834, revisions=(2516419,useless=1105771), ccks=517271, wck=9.667, mem=80M570
15.57/11.90 decisions=123092, wrong=59911, backtracks=25403, failedAssignments=40139, nogoods=4436, foundSolutions=17, bestBound=714
15.57/11.90
15.57/11.93 num=382, depth=8..15, filters=1741332, revisions=(2523040,useless=1108790), ccks=518599, wck=9.69, mem=80M570
15.57/11.93 decisions=123382, wrong=60052, backtracks=25460, failedAssignments=40237, nogoods=4449, foundSolutions=17, bestBound=714
15.57/11.93
15.57/11.95 num=383, depth=6..14, filters=1746173, revisions=(2530049,useless=1111840), ccks=520078, wck=9.716, mem=83M186
15.57/11.95 decisions=123731, wrong=60223, backtracks=25536, failedAssignments=40345, nogoods=4460, foundSolutions=17, bestBound=714
15.57/11.95
15.57/11.98 num=384, depth=4..15, filters=1750637, revisions=(2536348,useless=1114584), ccks=521419, wck=9.74, mem=84M507
15.57/11.98 decisions=124096, wrong=60403, backtracks=25621, failedAssignments=40464, nogoods=4463, foundSolutions=17, bestBound=714
15.57/11.98
15.68/12.01 num=385, depth=5..13, filters=1756252, revisions=(2544805,useless=1118314), ccks=523136, wck=9.773, mem=84M507
15.68/12.01 decisions=124446, wrong=60575, backtracks=25673, failedAssignments=40595, nogoods=4478, foundSolutions=17, bestBound=714
15.68/12.01
15.68/12.05 num=386, depth=8..15, filters=1763704, revisions=(2555523,useless=1122984), ccks=525634, wck=9.812, mem=84M507
15.68/12.05 decisions=124892, wrong=60793, backtracks=25770, failedAssignments=40739, nogoods=4495, foundSolutions=17, bestBound=714
15.68/12.05
15.68/12.08 num=387, depth=6..14, filters=1769138, revisions=(2564185,useless=1127256), ccks=526705, wck=9.844, mem=84M507
15.68/12.08 decisions=125332, wrong=61009, backtracks=25848, failedAssignments=40897, nogoods=4499, foundSolutions=17, bestBound=714
15.68/12.08
15.79/12.13 num=388, depth=5..15, filters=1776887, revisions=(2576053,useless=1132724), ccks=528703, wck=9.89, mem=87M123
15.79/12.13 decisions=125851, wrong=61265, backtracks=25949, failedAssignments=41071, nogoods=4506, foundSolutions=17, bestBound=714
15.79/12.13
15.79/12.18 num=389, depth=5..18, filters=1785689, revisions=(2589211,useless=1138559), ccks=531252, wck=9.94, mem=87M123
15.79/12.18 decisions=126449, wrong=61560, backtracks=26070, failedAssignments=41262, nogoods=4516, foundSolutions=17, bestBound=714
15.79/12.18
15.88/12.23 num=390, depth=4..15, filters=1794652, revisions=(2602673,useless=1144715), ccks=533984, wck=9.99, mem=89M739
15.88/12.23 decisions=127046, wrong=61855, backtracks=26176, failedAssignments=41473, nogoods=4530, foundSolutions=17, bestBound=714
15.88/12.23
15.88/12.28 num=391, depth=4..13, filters=1804269, revisions=(2616860,useless=1150991), ccks=536843, wck=10.046, mem=89M739
15.88/12.28 decisions=127675, wrong=62167, backtracks=26278, failedAssignments=41705, nogoods=4542, foundSolutions=17, bestBound=714
15.88/12.28
15.98/12.34 num=392, depth=4..13, filters=1815242, revisions=(2632579,useless=1157858), ccks=540128, wck=10.104, mem=89M739
15.98/12.34 decisions=128436, wrong=62544, backtracks=26445, failedAssignments=41960, nogoods=4561, foundSolutions=17, bestBound=714
15.98/12.34
16.12/12.41 num=393, depth=4..16, filters=1827849, revisions=(2650797,useless=1165825), ccks=543889, wck=10.171, mem=92M355
16.12/12.41 decisions=129285, wrong=62965, backtracks=26624, failedAssignments=42241, nogoods=4563, foundSolutions=17, bestBound=714
16.12/12.41
16.12/12.48 num=394, depth=5..14, filters=1840238, revisions=(2668907,useless=1173960), ccks=547593, wck=10.241, mem=92M355
16.12/12.48 decisions=130125, wrong=63382, backtracks=26764, failedAssignments=42550, nogoods=4584, foundSolutions=17, bestBound=714
16.12/12.48
16.22/12.55 num=395, depth=4..13, filters=1854315, revisions=(2688747,useless=1182483), ccks=551820, wck=10.314, mem=94M971
16.22/12.55 decisions=131120, wrong=63876, backtracks=26982, failedAssignments=42890, nogoods=4605, foundSolutions=17, bestBound=714
16.22/12.55
16.32/12.63 num=396, depth=3..16, filters=1869014, revisions=(2709613,useless=1191557), ccks=556151, wck=10.39, mem=94M971
16.32/12.63 decisions=132229, wrong=64427, backtracks=27234, failedAssignments=43264, nogoods=4617, foundSolutions=17, bestBound=714
16.32/12.63
16.42/12.74 num=397, depth=0..15, filters=1888813, revisions=(2738948,useless=1204651), ccks=561899, wck=10.501, mem=97M587
16.42/12.74 decisions=133524, wrong=65072, backtracks=27503, failedAssignments=43675, nogoods=4625, foundSolutions=17, bestBound=714
16.42/12.74
16.52/12.84 num=398, depth=3..15, filters=1909384, revisions=(2768853,useless=1217856), ccks=567812, wck=10.606, mem=97M587
16.52/12.84 decisions=134914, wrong=65763, backtracks=27809, failedAssignments=44127, nogoods=4644, foundSolutions=17, bestBound=714
16.52/12.84
16.62/12.95 num=399, depth=3..20, filters=1930992, revisions=(2799605,useless=1231220), ccks=574330, wck=10.716, mem=100M203
16.62/12.95 decisions=136421, wrong=66513, backtracks=28135, failedAssignments=44624, nogoods=4670, foundSolutions=17, bestBound=714
16.62/12.95
16.73/13.07 num=400, depth=6..17, filters=1952806, revisions=(2831522,useless=1245552), ccks=580742, wck=10.834, mem=102M819
16.73/13.07 decisions=138019, wrong=67308, backtracks=28471, failedAssignments=45171, nogoods=4680, foundSolutions=17, bestBound=714
16.73/13.07
16.92/13.22 num=401, depth=0..17, filters=1978225, revisions=(2869895,useless=1262733), ccks=588144, wck=10.986, mem=105M435
16.92/13.22 decisions=139775, wrong=68182, backtracks=28829, failedAssignments=45773, nogoods=4701, foundSolutions=17, bestBound=714
16.92/13.22
17.02/13.39 num=402, depth=2..18, filters=2008455, revisions=(2913720,useless=1281920), ccks=596670, wck=11.149, mem=108M51
17.02/13.39 decisions=141793, wrong=69188, backtracks=29271, failedAssignments=46435, nogoods=4720, foundSolutions=17, bestBound=714
17.02/13.39
17.22/13.57 num=403, depth=4..16, filters=2042633, revisions=(2963355,useless=1303676), ccks=606304, wck=11.331, mem=110M667
17.22/13.57 decisions=144024, wrong=70299, backtracks=29743, failedAssignments=47163, nogoods=4738, foundSolutions=17, bestBound=714
17.22/13.57
17.42/13.76 num=404, depth=4..16, filters=2079176, revisions=(3016470,useless=1327283), ccks=617056, wck=11.526, mem=113M283
17.42/13.76 decisions=146357, wrong=71462, backtracks=30202, failedAssignments=47964, nogoods=4750, foundSolutions=17, bestBound=714
17.42/13.76
17.62/13.94 num=405, depth=6..17, filters=2112820, revisions=(3065547,useless=1349496), ccks=626525, wck=11.702, mem=115M899
17.62/13.94 decisions=148891, wrong=72724, backtracks=30699, failedAssignments=48845, nogoods=4759, foundSolutions=17, bestBound=714
17.62/13.94
17.83/14.18 num=406, depth=6..17, filters=2157957, revisions=(3131914,useless=1379337), ccks=639274, wck=11.939, mem=121M131
17.83/14.18 decisions=151892, wrong=74221, backtracks=31344, failedAssignments=49815, nogoods=4779, foundSolutions=17, bestBound=714
17.83/14.18
18.12/14.44 num=407, depth=1..14, filters=2204977, revisions=(3201014,useless=1410150), ccks=652913, wck=12.2, mem=123M747
18.12/14.44 decisions=155069, wrong=75808, backtracks=32025, failedAssignments=50882, nogoods=4790, foundSolutions=17, bestBound=714
18.12/14.44
18.42/14.72 num=408, depth=0..18, filters=2256644, revisions=(3275959,useless=1442561), ccks=668287, wck=12.484, mem=128M979
18.42/14.72 decisions=158384, wrong=77461, backtracks=32612, failedAssignments=52055, nogoods=4810, foundSolutions=17, bestBound=714
18.42/14.72
18.73/15.03 num=409, depth=5..17, filters=2312864, revisions=(3360266,useless=1480935), ccks=683808, wck=12.794, mem=134M211
18.73/15.03 decisions=162281, wrong=79406, backtracks=33414, failedAssignments=53346, nogoods=4820, foundSolutions=17, bestBound=714
18.73/15.03
19.02/15.36 num=410, depth=4..18, filters=2373411, revisions=(3448643,useless=1519938), ccks=701053, wck=13.126, mem=139M443
19.02/15.36 decisions=166305, wrong=81414, backtracks=34186, failedAssignments=54766, nogoods=4848, foundSolutions=17, bestBound=714
19.02/15.36
19.42/15.75 num=411, depth=2..15, filters=2441697, revisions=(3549831,useless=1564900), ccks=720650, wck=13.512, mem=147M291
19.42/15.75 decisions=170883, wrong=83701, backtracks=35109, failedAssignments=56328, nogoods=4866, foundSolutions=17, bestBound=714
19.42/15.75
19.84/16.17 num=412, depth=1..17, filters=2517740, revisions=(3661856,useless=1614564), ccks=742483, wck=13.93, mem=23M223
19.84/16.17 decisions=176042, wrong=86278, backtracks=36171, failedAssignments=58046, nogoods=4901, foundSolutions=17, bestBound=714
19.84/16.17
20.36/16.63 num=413, depth=4..18, filters=2600857, revisions=(3786300,useless=1670716), ccks=765632, wck=14.395, mem=31M71
20.36/16.63 decisions=181564, wrong=89036, backtracks=37248, failedAssignments=59936, nogoods=4928, foundSolutions=17, bestBound=714
20.36/16.63
20.86/17.11 num=414, depth=4..17, filters=2691830, revisions=(3918934,useless=1729432), ccks=791663, wck=14.868, mem=36M303
20.86/17.11 decisions=188079, wrong=92290, backtracks=38678, failedAssignments=62015, nogoods=4946, foundSolutions=17, bestBound=714
20.86/17.11
20.96/17.26 o 771
20.96/17.26 num=415, depth=6..89, filters=2718349, revisions=(3959702,useless=1748429), ccks=799122, wck=15.018, mem=38M919
20.96/17.26 decisions=190114, wrong=93301, backtracks=39074, failedAssignments=62718, nogoods=4962, foundSolutions=18, bestBound=771
20.96/17.26
21.66/17.92 num=416, depth=4..16, filters=2838174, revisions=(4139215,useless=1828771), ccks=832431, wck=15.687, mem=51M999
21.66/17.92 decisions=197466, wrong=96974, backtracks=40479, failedAssignments=65234, nogoods=4986, foundSolutions=18, bestBound=771
21.66/17.92
21.66/17.93 num=417, depth=3..9, filters=2838647, revisions=(4139963,useless=1829108), ccks=832590, wck=15.691, mem=51M999
21.66/17.93 decisions=197503, wrong=96990, backtracks=40486, failedAssignments=65245, nogoods=4994, foundSolutions=18, bestBound=771
21.66/17.93
21.66/17.93 num=418, depth=5..11, filters=2839346, revisions=(4141099,useless=1829628), ccks=832804, wck=15.695, mem=51M999
21.66/17.93 decisions=197542, wrong=97004, backtracks=40490, failedAssignments=65257, nogoods=5003, foundSolutions=18, bestBound=771
21.66/17.93
21.66/17.94 num=419, depth=5..11, filters=2840061, revisions=(4142208,useless=1830104), ccks=833052, wck=15.7, mem=51M999
21.66/17.94 decisions=197585, wrong=97020, backtracks=40494, failedAssignments=65270, nogoods=5008, foundSolutions=18, bestBound=771
21.66/17.94
21.66/17.95 num=420, depth=2..6, filters=2841122, revisions=(4143968,useless=1830889), ccks=833329, wck=15.708, mem=51M999
21.66/17.95 decisions=197631, wrong=97040, backtracks=40501, failedAssignments=65284, nogoods=5018, foundSolutions=18, bestBound=771
21.66/17.95
21.66/17.95 num=421, depth=6..9, filters=2842120, revisions=(4145534,useless=1831598), ccks=833633, wck=15.714, mem=51M999
21.66/17.95 decisions=197679, wrong=97061, backtracks=40507, failedAssignments=65300, nogoods=5025, foundSolutions=18, bestBound=771
21.66/17.95
21.66/17.96 num=422, depth=5..10, filters=2843153, revisions=(4147211,useless=1832351), ccks=833903, wck=15.721, mem=51M999
21.66/17.96 decisions=197726, wrong=97081, backtracks=40510, failedAssignments=65317, nogoods=5042, foundSolutions=18, bestBound=771
21.66/17.96
21.66/17.97 num=423, depth=5..12, filters=2844442, revisions=(4149066,useless=1833121), ccks=834329, wck=15.728, mem=51M999
21.66/17.97 decisions=197796, wrong=97111, backtracks=40521, failedAssignments=65336, nogoods=5050, foundSolutions=18, bestBound=771
21.66/17.97
21.66/17.97 num=424, depth=5..11, filters=2845741, revisions=(4151128,useless=1834061), ccks=834732, wck=15.737, mem=51M999
21.66/17.97 decisions=197871, wrong=97145, backtracks=40539, failedAssignments=65357, nogoods=5057, foundSolutions=18, bestBound=771
21.66/17.97
21.66/17.98 num=425, depth=3..13, filters=2846753, revisions=(4152686,useless=1834750), ccks=835017, wck=15.743, mem=51M999
21.66/17.98 decisions=197938, wrong=97176, backtracks=40551, failedAssignments=65380, nogoods=5063, foundSolutions=18, bestBound=771
21.66/17.98
21.66/17.99 num=426, depth=3..8, filters=2847736, revisions=(4154225,useless=1835464), ccks=835311, wck=15.75, mem=51M999
21.66/17.99 decisions=198012, wrong=97211, backtracks=40562, failedAssignments=65405, nogoods=5075, foundSolutions=18, bestBound=771
21.66/17.99
21.66/18.00 num=427, depth=1..6, filters=2849180, revisions=(4156374,useless=1836421), ccks=835733, wck=15.759, mem=51M999
21.66/18.00 decisions=198103, wrong=97255, backtracks=40581, failedAssignments=65433, nogoods=5087, foundSolutions=18, bestBound=771
21.66/18.00
21.76/18.01 num=428, depth=4..9, filters=2850935, revisions=(4159229,useless=1837714), ccks=836282, wck=15.771, mem=51M999
21.76/18.01 decisions=198192, wrong=97296, backtracks=40594, failedAssignments=65464, nogoods=5104, foundSolutions=18, bestBound=771
21.76/18.01
21.76/18.02 num=429, depth=3..10, filters=2852186, revisions=(4160989,useless=1838437), ccks=836662, wck=15.779, mem=51M999
21.76/18.02 decisions=198294, wrong=97344, backtracks=40611, failedAssignments=65498, nogoods=5122, foundSolutions=18, bestBound=771
21.76/18.02
21.76/18.03 num=430, depth=1..10, filters=2853981, revisions=(4163704,useless=1839672), ccks=837170, wck=15.789, mem=51M999
21.76/18.03 decisions=198397, wrong=97394, backtracks=40625, failedAssignments=65535, nogoods=5138, foundSolutions=18, bestBound=771
21.76/18.03
21.76/18.04 num=431, depth=2..9, filters=2856197, revisions=(4167018,useless=1841118), ccks=837783, wck=15.803, mem=54M615
21.76/18.04 decisions=198532, wrong=97458, backtracks=40653, failedAssignments=65576, nogoods=5149, foundSolutions=18, bestBound=771
21.76/18.04
21.76/18.05 num=432, depth=3..7, filters=2858165, revisions=(4169888,useless=1842381), ccks=838432, wck=15.814, mem=54M615
21.76/18.05 decisions=198661, wrong=97520, backtracks=40674, failedAssignments=65621, nogoods=5163, foundSolutions=18, bestBound=771
21.76/18.05
21.76/18.06 num=433, depth=3..12, filters=2860475, revisions=(4173246,useless=1843831), ccks=839174, wck=15.827, mem=54M615
21.76/18.06 decisions=198826, wrong=97599, backtracks=40714, failedAssignments=65671, nogoods=5176, foundSolutions=18, bestBound=771
21.76/18.06
21.76/18.08 num=434, depth=4..13, filters=2863214, revisions=(4177489,useless=1845814), ccks=839903, wck=15.843, mem=54M615
21.76/18.08 decisions=199005, wrong=97685, backtracks=40747, failedAssignments=65726, nogoods=5179, foundSolutions=18, bestBound=771
21.76/18.08
21.76/18.10 num=435, depth=4..11, filters=2866501, revisions=(4182367,useless=1847944), ccks=840973, wck=15.862, mem=54M615
21.76/18.10 decisions=199201, wrong=97779, backtracks=40784, failedAssignments=65787, nogoods=5190, foundSolutions=18, bestBound=771
21.76/18.10
21.86/18.12 num=436, depth=3..10, filters=2869962, revisions=(4187498,useless=1850232), ccks=842040, wck=15.882, mem=54M615
21.86/18.12 decisions=199407, wrong=97878, backtracks=40822, failedAssignments=65854, nogoods=5206, foundSolutions=18, bestBound=771
21.86/18.12
21.86/18.14 num=437, depth=3..10, filters=2873542, revisions=(4192714,useless=1852538), ccks=843110, wck=15.901, mem=54M615
21.86/18.14 decisions=199642, wrong=97992, backtracks=40874, failedAssignments=65928, nogoods=5218, foundSolutions=18, bestBound=771
21.86/18.14
21.86/18.16 num=438, depth=7..14, filters=2877262, revisions=(4198429,useless=1855232), ccks=844058, wck=15.922, mem=54M615
21.86/18.16 decisions=199900, wrong=98116, backtracks=40928, failedAssignments=66009, nogoods=5226, foundSolutions=18, bestBound=771
21.86/18.16
21.86/18.18 num=439, depth=3..12, filters=2881522, revisions=(4204333,useless=1857717), ccks=845333, wck=15.944, mem=54M615
21.86/18.18 decisions=200181, wrong=98252, backtracks=40988, failedAssignments=66098, nogoods=5242, foundSolutions=18, bestBound=771
21.86/18.18
21.96/18.21 num=440, depth=2..13, filters=2886329, revisions=(4211446,useless=1860813), ccks=846688, wck=15.971, mem=57M231
21.96/18.21 decisions=200476, wrong=98397, backtracks=41043, failedAssignments=66196, nogoods=5255, foundSolutions=18, bestBound=771
21.96/18.21
21.96/18.24 num=441, depth=2..10, filters=2891261, revisions=(4218645,useless=1863940), ccks=848181, wck=15.998, mem=57M231
21.96/18.24 decisions=200807, wrong=98560, backtracks=41111, failedAssignments=66304, nogoods=5264, foundSolutions=18, bestBound=771
21.96/18.24
21.96/18.27 num=442, depth=2..11, filters=2897036, revisions=(4227034,useless=1867632), ccks=849914, wck=16.03, mem=57M231
21.96/18.27 decisions=201193, wrong=98750, backtracks=41198, failedAssignments=66423, nogoods=5282, foundSolutions=18, bestBound=771
21.96/18.27
22.06/18.30 num=443, depth=3..14, filters=2903254, revisions=(4235549,useless=1871227), ccks=851870, wck=16.061, mem=57M231
22.06/18.30 decisions=201636, wrong=98967, backtracks=41297, failedAssignments=66554, nogoods=5293, foundSolutions=18, bestBound=771
22.06/18.30
22.06/18.33 num=444, depth=2..12, filters=2908735, revisions=(4243510,useless=1874792), ccks=853537, wck=16.092, mem=57M231
22.06/18.33 decisions=202060, wrong=99176, backtracks=41373, failedAssignments=66698, nogoods=5308, foundSolutions=18, bestBound=771
22.06/18.33
22.06/18.37 num=445, depth=5..14, filters=2916998, revisions=(4255795,useless=1880232), ccks=855889, wck=16.137, mem=59M847
22.06/18.37 decisions=202562, wrong=99422, backtracks=41474, failedAssignments=66856, nogoods=5328, foundSolutions=18, bestBound=771
22.06/18.37
22.16/18.42 num=446, depth=5..16, filters=2925540, revisions=(4269048,useless=1886486), ccks=858200, wck=16.186, mem=59M847
22.16/18.42 decisions=203101, wrong=99688, backtracks=41585, failedAssignments=67030, nogoods=5347, foundSolutions=18, bestBound=771
22.16/18.42
22.16/18.47 num=447, depth=7..15, filters=2934087, revisions=(4281622,useless=1892144), ccks=860772, wck=16.232, mem=59M847
22.16/18.47 decisions=203691, wrong=99979, backtracks=41707, failedAssignments=67221, nogoods=5359, foundSolutions=18, bestBound=771
22.16/18.47
22.29/18.52 num=448, depth=1..12, filters=2942826, revisions=(4294232,useless=1897685), ccks=863397, wck=16.28, mem=62M463
22.29/18.52 decisions=204324, wrong=100293, backtracks=41842, failedAssignments=67432, nogoods=5374, foundSolutions=18, bestBound=771
22.29/18.52
22.29/18.58 num=449, depth=4..15, filters=2953405, revisions=(4310035,useless=1904977), ccks=866073, wck=16.339, mem=62M463
22.29/18.58 decisions=205025, wrong=100640, backtracks=41982, failedAssignments=67664, nogoods=5391, foundSolutions=18, bestBound=771
22.29/18.58
22.39/18.64 num=450, depth=0..11, filters=2965263, revisions=(4327225,useless=1912535), ccks=869568, wck=16.405, mem=62M463
22.39/18.64 decisions=205821, wrong=101035, backtracks=42167, failedAssignments=67919, nogoods=5406, foundSolutions=18, bestBound=771
22.39/18.64
22.49/18.72 num=451, depth=4..14, filters=2978991, revisions=(4347785,useless=1921886), ccks=873568, wck=16.484, mem=65M79
22.49/18.72 decisions=206650, wrong=101447, backtracks=42322, failedAssignments=68200, nogoods=5416, foundSolutions=18, bestBound=771
22.49/18.72
22.49/18.79 num=452, depth=5..17, filters=2991060, revisions=(4366611,useless=1931013), ccks=876304, wck=16.551, mem=65M79
22.49/18.79 decisions=207579, wrong=101907, backtracks=42527, failedAssignments=68509, nogoods=5433, foundSolutions=18, bestBound=771
22.49/18.79
22.59/18.88 num=453, depth=3..14, filters=3007222, revisions=(4390751,useless=1941898), ccks=880920, wck=16.642, mem=67M695
22.59/18.88 decisions=208552, wrong=102391, backtracks=42685, failedAssignments=68849, nogoods=5446, foundSolutions=18, bestBound=771
22.59/18.88
22.69/18.97 num=454, depth=2..13, filters=3024651, revisions=(4415620,useless=1952516), ccks=886375, wck=16.736, mem=70M311
22.69/18.97 decisions=209685, wrong=102954, backtracks=42919, failedAssignments=69223, nogoods=5467, foundSolutions=18, bestBound=771
22.69/18.97
22.80/19.07 num=455, depth=1..15, filters=3042382, revisions=(4440526,useless=1963317), ccks=891654, wck=16.827, mem=70M311
22.80/19.07 decisions=210922, wrong=103569, backtracks=43180, failedAssignments=69634, nogoods=5482, foundSolutions=18, bestBound=771
22.80/19.07
22.90/19.18 num=456, depth=2..15, filters=3064218, revisions=(4471884,useless=1976989), ccks=898337, wck=16.941, mem=72M927
22.90/19.18 decisions=212338, wrong=104274, backtracks=43492, failedAssignments=70086, nogoods=5498, foundSolutions=18, bestBound=771
22.90/19.18
23.09/19.32 num=457, depth=4..13, filters=3088937, revisions=(4508986,useless=1993669), ccks=905225, wck=17.081, mem=75M543
23.09/19.32 decisions=213810, wrong=105007, backtracks=43773, failedAssignments=70583, nogoods=5518, foundSolutions=18, bestBound=771
23.09/19.32
23.19/19.45 num=458, depth=5..16, filters=3112821, revisions=(4544634,useless=2010041), ccks=911409, wck=17.209, mem=75M543
23.19/19.45 decisions=215431, wrong=105811, backtracks=44122, failedAssignments=71130, nogoods=5546, foundSolutions=18, bestBound=771
23.19/19.45
23.29/19.59 num=459, depth=4..15, filters=3137291, revisions=(4581115,useless=2026305), ccks=918196, wck=17.355, mem=80M775
23.29/19.59 decisions=217099, wrong=106640, backtracks=44385, failedAssignments=71732, nogoods=5559, foundSolutions=18, bestBound=771
23.29/19.59
23.49/19.75 num=460, depth=5..15, filters=3165525, revisions=(4622056,useless=2044405), ccks=926428, wck=17.51, mem=83M391
23.49/19.75 decisions=219093, wrong=107632, backtracks=44792, failedAssignments=72394, nogoods=5577, foundSolutions=18, bestBound=771
23.49/19.75
23.69/19.93 num=461, depth=5..16, filters=3198033, revisions=(4670928,useless=2066667), ccks=935268, wck=17.688, mem=86M7
23.69/19.93 decisions=221274, wrong=108719, backtracks=45257, failedAssignments=73122, nogoods=5602, foundSolutions=18, bestBound=771
23.69/19.93
23.90/20.16 num=462, depth=3..14, filters=3238141, revisions=(4732626,useless=2094490), ccks=945886, wck=17.922, mem=88M623
23.90/20.16 decisions=223650, wrong=109905, backtracks=45748, failedAssignments=73923, nogoods=5607, foundSolutions=18, bestBound=771
23.90/20.16
24.09/20.38 num=463, depth=2..14, filters=3279249, revisions=(4790868,useless=2119586), ccks=957954, wck=18.143, mem=91M239
24.09/20.38 decisions=226390, wrong=111273, backtracks=46415, failedAssignments=74804, nogoods=5632, foundSolutions=18, bestBound=771
24.09/20.38
24.39/20.62 num=464, depth=3..14, filters=3323001, revisions=(4855386,useless=2148217), ccks=969933, wck=18.386, mem=96M471
24.39/20.62 decisions=229201, wrong=112675, backtracks=46975, failedAssignments=75774, nogoods=5640, foundSolutions=18, bestBound=771
24.39/20.62
24.69/20.94 num=465, depth=1..14, filters=3375798, revisions=(4937679,useless=2186258), ccks=984071, wck=18.702, mem=101M703
24.69/20.94 decisions=232347, wrong=114246, backtracks=47602, failedAssignments=76841, nogoods=5661, foundSolutions=18, bestBound=771
24.69/20.94
24.99/21.27 num=466, depth=1..14, filters=3432970, revisions=(5025730,useless=2226652), ccks=999486, wck=19.034, mem=106M935
24.99/21.27 decisions=235805, wrong=115972, backtracks=48284, failedAssignments=78014, nogoods=5687, foundSolutions=18, bestBound=771
24.99/21.27
25.39/21.60 num=467, depth=0..14, filters=3495952, revisions=(5116039,useless=2266494), ccks=1018020, wck=19.364, mem=112M167
25.39/21.60 decisions=239706, wrong=117920, backtracks=49131, failedAssignments=79305, nogoods=5714, foundSolutions=18, bestBound=771
25.39/21.60
25.70/21.99 num=468, depth=2..17, filters=3564506, revisions=(5217994,useless=2311902), ccks=1036983, wck=19.754, mem=120M14
25.70/21.99 decisions=243874, wrong=120001, backtracks=49962, failedAssignments=80725, nogoods=5732, foundSolutions=18, bestBound=771
25.70/21.99
26.20/22.44 num=469, depth=3..15, filters=3642277, revisions=(5333573,useless=2362730), ccks=1060140, wck=20.202, mem=127M862
26.20/22.44 decisions=248456, wrong=122288, backtracks=50859, failedAssignments=82287, nogoods=5745, foundSolutions=18, bestBound=771
26.20/22.44
26.60/22.87 num=470, depth=0..18, filters=3721262, revisions=(5451799,useless=2416727), ccks=1081251, wck=20.632, mem=133M94
26.60/22.87 decisions=253695, wrong=124904, backtracks=51965, failedAssignments=84005, nogoods=5754, foundSolutions=18, bestBound=771
26.60/22.87
27.10/23.37 num=471, depth=1..13, filters=3813717, revisions=(5586735,useless=2476719), ccks=1107436, wck=21.136, mem=140M942
27.10/23.37 decisions=259625, wrong=127866, backtracks=53280, failedAssignments=85895, nogoods=5769, foundSolutions=18, bestBound=771
27.10/23.37
27.70/23.91 num=472, depth=0..14, filters=3911808, revisions=(5728789,useless=2539343), ccks=1136277, wck=21.676, mem=151M406
27.70/23.91 decisions=265924, wrong=131013, backtracks=54591, failedAssignments=87974, nogoods=5786, foundSolutions=18, bestBound=771
27.70/23.91
28.33/24.53 num=473, depth=3..15, filters=4016553, revisions=(5886359,useless=2610328), ccks=1165467, wck=22.296, mem=30M19
28.33/24.53 decisions=272565, wrong=134329, backtracks=55837, failedAssignments=90261, nogoods=5796, foundSolutions=18, bestBound=771
28.33/24.53
28.94/25.16 num=474, depth=0..15, filters=4130554, revisions=(6049603,useless=2681778), ccks=1197807, wck=22.92, mem=39M332
28.94/25.16 decisions=280128, wrong=138109, backtracks=57438, failedAssignments=92777, nogoods=5812, foundSolutions=18, bestBound=771
28.94/25.16
29.63/25.82 num=475, depth=3..18, filters=4252357, revisions=(6230912,useless=2763984), ccks=1229969, wck=23.578, mem=51M750
29.63/25.82 decisions=288192, wrong=142136, backtracks=59099, failedAssignments=95545, nogoods=5822, foundSolutions=18, bestBound=771
29.63/25.82
30.43/26.62 num=476, depth=1..15, filters=4405777, revisions=(6453287,useless=2862591), ccks=1274713, wck=24.382, mem=64M168
30.43/26.62 decisions=297808, wrong=146943, backtracks=61324, failedAssignments=98589, nogoods=5841, foundSolutions=18, bestBound=771
30.43/26.62
31.23/27.45 num=477, depth=2..14, filters=4555398, revisions=(6676143,useless=2962430), ccks=1316024, wck=25.215, mem=76M585
31.23/27.45 decisions=307698, wrong=151884, backtracks=63262, failedAssignments=101938, nogoods=5859, foundSolutions=18, bestBound=771
31.23/27.45
32.23/28.41 num=478, depth=2..16, filters=4721436, revisions=(6927743,useless=3076581), ccks=1359988, wck=26.172, mem=92M108
32.23/28.41 decisions=318410, wrong=157236, backtracks=65419, failedAssignments=105622, nogoods=5876, foundSolutions=18, bestBound=771
32.23/28.41
33.43/29.63 num=479, depth=1..14, filters=4932652, revisions=(7249166,useless=3220904), ccks=1417745, wck=27.393, mem=113M839
33.43/29.63 decisions=330760, wrong=163408, backtracks=67929, failedAssignments=109674, nogoods=5901, foundSolutions=18, bestBound=771
33.43/29.63
34.63/30.83 num=480, depth=0..16, filters=5142904, revisions=(7568391,useless=3366276), ccks=1471824, wck=28.589, mem=132M465
34.63/30.83 decisions=344212, wrong=170129, backtracks=70625, failedAssignments=114131, nogoods=5943, foundSolutions=18, bestBound=771
34.63/30.83
35.94/32.14 num=481, depth=0..17, filters=5378548, revisions=(7921000,useless=3525326), ccks=1538597, wck=29.902, mem=157M301
35.94/32.14 decisions=359061, wrong=177550, backtracks=73590, failedAssignments=119034, nogoods=5963, foundSolutions=18, bestBound=771
35.94/32.14
37.24/33.48 num=482, depth=0..14, filters=5622172, revisions=(8283819,useless=3689026), ccks=1603787, wck=31.242, mem=23M722
37.24/33.48 decisions=374861, wrong=185447, backtracks=76727, failedAssignments=124428, nogoods=5969, foundSolutions=18, bestBound=771
37.24/33.48
38.76/34.98 num=483, depth=0..15, filters=5905806, revisions=(8696455,useless=3872678), ccks=1686091, wck=32.74, mem=45M64
38.76/34.98 decisions=393161, wrong=194594, backtracks=80780, failedAssignments=130361, nogoods=6000, foundSolutions=18, bestBound=771
38.76/34.98
40.66/36.87 num=484, depth=0..15, filters=6223019, revisions=(9184533,useless=4095676), ccks=1770326, wck=34.635, mem=81M651
40.66/36.87 decisions=411968, wrong=203995, backtracks=84200, failedAssignments=136887, nogoods=6026, foundSolutions=18, bestBound=771
40.66/36.87
42.66/38.84 num=485, depth=0..16, filters=6567753, revisions=(9704719,useless=4330320), ccks=1866290, wck=36.604, mem=115M189
42.66/38.84 decisions=433166, wrong=214592, backtracks=88341, failedAssignments=144066, nogoods=6040, foundSolutions=18, bestBound=771
42.66/38.84
44.76/40.93 num=486, depth=0..18, filters=6934558, revisions=(10256428,useless=4579626), ccks=1965503, wck=38.689, mem=154M824
44.76/40.93 decisions=456311, wrong=226162, backtracks=92860, failedAssignments=151963, nogoods=6055, foundSolutions=18, bestBound=771
44.76/40.93
47.10/43.24 num=487, depth=1..17, filters=7364229, revisions=(10887490,useless=4862228), ccks=2084116, wck=41.005, mem=38M679
47.10/43.24 decisions=483591, wrong=239799, backtracks=98833, failedAssignments=160650, nogoods=6080, foundSolutions=18, bestBound=771
47.10/43.24
49.60/45.79 num=488, depth=1..16, filters=7817988, revisions=(11575849,useless=5177972), ccks=2203829, wck=43.554, mem=80M695
49.60/45.79 decisions=512097, wrong=254049, backtracks=104516, failedAssignments=170205, nogoods=6115, foundSolutions=18, bestBound=771
49.60/45.79
52.50/48.69 num=489, depth=0..16, filters=8349458, revisions=(12372766,useless=5537846), ccks=2350129, wck=46.455, mem=128M714
52.50/48.69 decisions=544245, wrong=270119, backtracks=111290, failedAssignments=180716, nogoods=6132, foundSolutions=18, bestBound=771
52.50/48.69
56.04/52.11 num=490, depth=0..17, filters=8964779, revisions=(13307991,useless=5962166), ccks=2518051, wck=49.875, mem=35M464
56.04/52.11 decisions=580374, wrong=288182, backtracks=118985, failedAssignments=192278, nogoods=6155, foundSolutions=18, bestBound=771
56.04/52.11
59.34/55.49 num=491, depth=1..17, filters=9585369, revisions=(14235059,useless=6382149), ccks=2683253, wck=53.256, mem=91M546
59.34/55.49 decisions=620201, wrong=308092, backtracks=127430, failedAssignments=204996, nogoods=6178, foundSolutions=18, bestBound=771
59.34/55.49
63.14/59.28 num=492, depth=1..17, filters=10260485, revisions=(15256280,useless=6844902), ccks=2860558, wck=57.04, mem=156M484
63.14/59.28 decisions=662548, wrong=329261, backtracks=136397, failedAssignments=218986, nogoods=6216, foundSolutions=18, bestBound=771
63.14/59.28
67.58/63.64 num=493, depth=0..16, filters=11041490, revisions=(16443418,useless=7387229), ccks=3069071, wck=61.403, mem=81M630
67.58/63.64 decisions=710555, wrong=353262, backtracks=146661, failedAssignments=234375, nogoods=6219, foundSolutions=18, bestBound=771
67.58/63.64
72.59/68.60 num=494, depth=0..16, filters=11913861, revisions=(17771853,useless=7991735), ccks=3308191, wck=66.36, mem=26M414
72.59/68.60 decisions=761702, wrong=378833, backtracks=157132, failedAssignments=251303, nogoods=6240, foundSolutions=18, bestBound=771
72.59/68.60
74.79/70.84
74.79/70.84 New Bounds: 772..771
74.79/70.84 num=495, depth=0..16, filters=12303597, revisions=(18366094,useless=8262872), ccks=3414564, wck=68.601, mem=66M313
74.79/70.84 decisions=785416, wrong=390691, backtracks=162229, failedAssignments=259120, foundSolutions=18, bestBound=771
74.79/70.84
74.79/70.84 Global
74.79/70.84 filters=12303597, revisions=(18366094,useless=8262872), ccks=3414564
74.79/70.84 Stop=FULL_EXPLORATION, wrong=390691, bestBound=771, bestBoundWck=15.415, bestBoundCpu=17.177, foundSolutions=18, firstSolCpu=2.222
74.79/70.84 wck=68.998, cpu=70.703, mem=66M313
74.79/70.84
74.79/70.84 v <instantiation id='sol18' type='solution' cost='771'> <list> s[] f[] g[] </list> <values> 2 0 23 6 4 5 18 15 8 29 11 26 12 10 14 20 1 17 7 13 27 21 22 19 24 25 9 16 28 3 46 0 180 194 0 0 273 574 0 1 58 26 0 43 0 45 178 0 41 40 73 0 0 1 0 0 70 61 0 89 0 0 74 24 0 0 54 91 0 21 31 3 0 60 0 90 78 0 17 17 8 0 0 56 0 0 80 47 0 20 </values> </instantiation>
74.79/70.84 s OPTIMUM FOUND
74.79/70.84
74.79/70.84 d WRONG_DECISIONS 390691
74.79/70.84 d NUMBER_SOLUTIONS 18