2.58/2.01
2.58/2.01 AbsCon 2
2.58/2.03
3.09/2.23 Instance
3.09/2.23 name=instance-4390895-1568381299, framework=COP, bounds=-infty..+infty
3.09/2.23
3.09/2.23 Loading variables...
3.09/2.26 Loading constraints...
3.96/2.54
3.96/2.54 Domains
3.96/2.54 nTypes=1, nValues=4509, sizes=[501#9]
3.96/2.54 Variables
3.96/2.54 count=9, degrees=[225#7,226#2]
3.96/2.54 Objectives
3.96/2.54 way=min, type=ObjVarLE
3.96/2.54 Constraints
3.96/2.54 count=549, nSpecific=2, arities=[1#2,3#168,4#378,9#1]
3.96/2.54 distribution=[CtrIntension#547,ObjVarLE#1,OrderedLT#1]
3.96/2.54 nIntStructures=(3,shared:544)
3.96/2.54 wck=0.555, cpu=2.376, mem=89M937
3.96/2.54 Solver SolverBacktrack being built...
3.96/2.54
3.96/2.57
3.96/2.57 Solver
3.96/2.57 guaranteedGAC=false
3.96/2.57 wck=0.584, cpu=2.403, mem=100M579
3.96/2.57
3.96/2.57 Preprocessing
3.96/2.57 filters=2, revisions=(1,useless=0), ccks=501, nACremovedValues=564, nTotalRemovedValues=564, inconcistency=false
3.96/2.57 wck=0.005, cpu=2.408, mem=100M579
3.96/2.57
4.71/2.81 o 65
4.71/2.81 num=0, depth=10..8, filters=145, revisions=(3353,useless=3215), ccks=975131, wck=0.241, mem=103M222
4.71/2.81 decisions=8, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=1, bestBound=65
4.71/2.81
4.71/2.83 o 61
4.71/2.83 num=1, depth=7..8, filters=291, revisions=(7413,useless=7138), ccks=1023150, wck=0.259, mem=103M222
4.71/2.83 decisions=17, wrong=1, backtracks=0, failedAssignments=1, nogoods=1, foundSolutions=2, bestBound=61
4.71/2.83
4.71/2.84 num=2, depth=0..2, filters=488, revisions=(10098,useless=9642), ccks=1067322, wck=0.271, mem=103M222
4.71/2.84 decisions=44, wrong=14, backtracks=2, failedAssignments=12, nogoods=7, foundSolutions=2, bestBound=61
4.71/2.84
4.71/2.85 num=3, depth=0..3, filters=889, revisions=(14322,useless=13481), ccks=1129744, wck=0.287, mem=103M222
4.71/2.85 decisions=70, wrong=26, backtracks=3, failedAssignments=23, nogoods=17, foundSolutions=2, bestBound=61
4.71/2.85
4.71/2.87 num=4, depth=0..2, filters=1192, revisions=(18385,useless=17263), ccks=1181772, wck=0.299, mem=103M222
4.71/2.87 decisions=102, wrong=41, backtracks=6, failedAssignments=35, nogoods=22, foundSolutions=2, bestBound=61
4.71/2.87
4.71/2.88 num=5, depth=0..2, filters=1573, revisions=(22670,useless=21181), ccks=1229926, wck=0.311, mem=103M222
4.71/2.88 decisions=134, wrong=56, backtracks=9, failedAssignments=48, nogoods=32, foundSolutions=2, bestBound=61
4.71/2.88
4.71/2.89 num=6, depth=0..5, filters=1793, revisions=(27625,useless=25934), ccks=1293434, wck=0.326, mem=105M864
4.71/2.89 decisions=166, wrong=72, backtracks=16, failedAssignments=62, nogoods=33, foundSolutions=2, bestBound=61
4.71/2.89
4.92/2.93 num=7, depth=0..6, filters=2199, revisions=(38180,useless=36115), ccks=1424522, wck=0.367, mem=105M864
4.92/2.93 decisions=205, wrong=89, backtracks=17, failedAssignments=78, nogoods=43, foundSolutions=2, bestBound=61
4.92/2.93
4.92/2.95 num=8, depth=0..2, filters=2656, revisions=(43253,useless=40752), ccks=1502819, wck=0.385, mem=105M864
4.92/2.95 decisions=243, wrong=107, backtracks=20, failedAssignments=95, nogoods=50, foundSolutions=2, bestBound=61
4.92/2.95
4.92/2.98 num=9, depth=0..4, filters=3382, revisions=(52459,useless=49256), ccks=1624872, wck=0.413, mem=105M864
4.92/2.98 decisions=292, wrong=130, backtracks=24, failedAssignments=114, nogoods=66, foundSolutions=2, bestBound=61
4.92/2.98
4.92/3.00 num=10, depth=0..4, filters=3871, revisions=(60714,useless=57055), ccks=1711257, wck=0.433, mem=105M864
4.92/3.00 decisions=337, wrong=152, backtracks=29, failedAssignments=135, nogoods=71, foundSolutions=2, bestBound=61
4.92/3.00
5.05/3.05 num=11, depth=1..4, filters=4561, revisions=(75538,useless=71224), ccks=1917752, wck=0.481, mem=105M864
5.05/3.05 decisions=397, wrong=181, backtracks=36, failedAssignments=158, nogoods=85, foundSolutions=2, bestBound=61
5.05/3.05
5.05/3.09 num=12, depth=0..5, filters=5281, revisions=(89252,useless=84257), ccks=2112668, wck=0.525, mem=105M864
5.05/3.09 decisions=454, wrong=207, backtracks=39, failedAssignments=183, nogoods=107, foundSolutions=2, bestBound=61
5.05/3.09
5.05/3.11 num=13, depth=0..6, filters=5810, revisions=(101515,useless=96022), ccks=2180966, wck=0.543, mem=105M864
5.05/3.11 decisions=523, wrong=239, backtracks=45, failedAssignments=211, nogoods=124, foundSolutions=2, bestBound=61
5.05/3.11
5.23/3.14 o 56
5.23/3.14 num=14, depth=1..8, filters=6343, revisions=(115965,useless=109971), ccks=2300598, wck=0.574, mem=105M864
5.23/3.14 decisions=581, wrong=265, backtracks=49, failedAssignments=235, nogoods=141, foundSolutions=3, bestBound=56
5.23/3.14
5.23/3.18 num=15, depth=0..5, filters=7252, revisions=(133532,useless=126683), ccks=2468968, wck=0.614, mem=105M864
5.23/3.18 decisions=658, wrong=302, backtracks=60, failedAssignments=269, nogoods=157, foundSolutions=3, bestBound=56
5.23/3.18
5.23/3.19 num=16, depth=0..3, filters=7479, revisions=(137898,useless=130841), ccks=2508320, wck=0.624, mem=105M864
5.23/3.19 decisions=684, wrong=314, backtracks=63, failedAssignments=280, nogoods=165, foundSolutions=3, bestBound=56
5.23/3.19
5.36/3.21 num=17, depth=2..6, filters=7832, revisions=(147147,useless=139760), ccks=2577016, wck=0.64, mem=105M864
5.36/3.21 decisions=713, wrong=326, backtracks=66, failedAssignments=292, nogoods=175, foundSolutions=3, bestBound=56
5.36/3.21
5.36/3.23 num=18, depth=3..6, filters=8164, revisions=(156920,useless=149218), ccks=2652044, wck=0.659, mem=105M864
5.36/3.23 decisions=747, wrong=341, backtracks=69, failedAssignments=305, nogoods=185, foundSolutions=3, bestBound=56
5.36/3.23
5.36/3.24 num=19, depth=0..5, filters=8381, revisions=(164693,useless=156793), ccks=2691897, wck=0.67, mem=105M864
5.36/3.24 decisions=778, wrong=355, backtracks=75, failedAssignments=319, nogoods=189, foundSolutions=3, bestBound=56
5.36/3.24
5.36/3.25 num=20, depth=0..3, filters=8940, revisions=(172440,useless=164002), ccks=2760119, wck=0.685, mem=105M864
5.36/3.25 decisions=821, wrong=375, backtracks=79, failedAssignments=335, nogoods=204, foundSolutions=3, bestBound=56
5.36/3.25
5.36/3.27 num=21, depth=0..5, filters=9268, revisions=(181562,useless=172823), ccks=2829944, wck=0.702, mem=105M864
5.36/3.27 decisions=859, wrong=394, backtracks=89, failedAssignments=352, nogoods=204, foundSolutions=3, bestBound=56
5.36/3.27
5.36/3.29 num=22, depth=3..5, filters=9770, revisions=(194801,useless=185587), ccks=2914287, wck=0.723, mem=105M864
5.36/3.29 decisions=902, wrong=414, backtracks=92, failedAssignments=371, nogoods=210, foundSolutions=3, bestBound=56
5.36/3.29
5.46/3.34 num=23, depth=1..6, filters=10460, revisions=(212183,useless=202321), ccks=3107469, wck=0.768, mem=105M864
5.46/3.34 decisions=960, wrong=441, backtracks=100, failedAssignments=392, nogoods=219, foundSolutions=3, bestBound=56
5.46/3.34
5.46/3.35 num=24, depth=0..3, filters=10947, revisions=(223028,useless=212704), ccks=3180998, wck=0.785, mem=105M864
5.46/3.35 decisions=1030, wrong=475, backtracks=111, failedAssignments=415, nogoods=229, foundSolutions=3, bestBound=56
5.46/3.35
5.46/3.38 num=25, depth=2..7, filters=11401, revisions=(237598,useless=226846), ccks=3271505, wck=0.808, mem=105M864
5.46/3.38 decisions=1084, wrong=500, backtracks=117, failedAssignments=440, nogoods=242, foundSolutions=3, bestBound=56
5.46/3.38
5.57/3.40 num=26, depth=0..5, filters=12173, revisions=(254308,useless=242833), ccks=3379237, wck=0.834, mem=105M864
5.57/3.40 decisions=1158, wrong=535, backtracks=127, failedAssignments=468, nogoods=253, foundSolutions=3, bestBound=56
5.57/3.40
5.57/3.42 num=27, depth=0..3, filters=12815, revisions=(271182,useless=259115), ccks=3428285, wck=0.849, mem=105M864
5.57/3.42 decisions=1250, wrong=580, backtracks=142, failedAssignments=499, nogoods=255, foundSolutions=3, bestBound=56
5.57/3.42
5.57/3.43 num=28, depth=2..6, filters=13210, revisions=(288723,useless=276291), ccks=3482523, wck=0.865, mem=105M864
5.57/3.43 decisions=1324, wrong=615, backtracks=152, failedAssignments=533, nogoods=275, foundSolutions=3, bestBound=56
5.57/3.43
5.57/3.46 num=29, depth=1..5, filters=14113, revisions=(311146,useless=297851), ccks=3612866, wck=0.897, mem=105M864
5.57/3.46 decisions=1415, wrong=658, backtracks=159, failedAssignments=570, nogoods=298, foundSolutions=3, bestBound=56
5.57/3.46
5.57/3.49 num=30, depth=0..6, filters=14881, revisions=(332875,useless=318867), ccks=3695550, wck=0.919, mem=105M864
5.57/3.49 decisions=1523, wrong=710, backtracks=176, failedAssignments=611, nogoods=313, foundSolutions=3, bestBound=56
5.57/3.49
5.68/3.52 num=31, depth=1..6, filters=15748, revisions=(361688,useless=346880), ccks=3830814, wck=0.954, mem=105M864
5.68/3.52 decisions=1634, wrong=764, backtracks=194, failedAssignments=656, nogoods=333, foundSolutions=3, bestBound=56
5.68/3.52
5.68/3.56 num=32, depth=0..5, filters=16691, revisions=(391171,useless=375482), ccks=3966825, wck=0.989, mem=105M864
5.68/3.56 decisions=1741, wrong=816, backtracks=212, failedAssignments=706, nogoods=351, foundSolutions=3, bestBound=56
5.68/3.56
5.78/3.60 num=33, depth=0..6, filters=17641, revisions=(424200,useless=407634), ccks=4130357, wck=1.031, mem=105M864
5.78/3.60 decisions=1862, wrong=875, backtracks=234, failedAssignments=761, nogoods=359, foundSolutions=3, bestBound=56
5.78/3.60
5.78/3.63 o 55
5.78/3.63 num=34, depth=0..8, filters=18643, revisions=(455337,useless=437837), ccks=4257552, wck=1.066, mem=105M864
5.78/3.63 decisions=1968, wrong=926, backtracks=256, failedAssignments=806, nogoods=372, foundSolutions=4, bestBound=55
5.78/3.63
5.78/3.69 num=35, depth=0..6, filters=20489, revisions=(498929,useless=479666), ccks=4473697, wck=1.121, mem=105M864
5.78/3.69 decisions=2141, wrong=1011, backtracks=282, failedAssignments=873, nogoods=395, foundSolutions=4, bestBound=55
5.78/3.69
5.78/3.69 num=36, depth=1..3, filters=20765, revisions=(506656,useless=487132), ccks=4494753, wck=1.127, mem=105M864
5.78/3.69 decisions=2171, wrong=1025, backtracks=287, failedAssignments=884, nogoods=402, foundSolutions=4, bestBound=55
5.78/3.69
5.90/3.71 num=37, depth=1..3, filters=21110, revisions=(513892,useless=494044), ccks=4545749, wck=1.14, mem=105M864
5.90/3.71 decisions=2204, wrong=1041, backtracks=294, failedAssignments=896, nogoods=410, foundSolutions=4, bestBound=55
5.90/3.71
5.90/3.72 num=38, depth=3..5, filters=21358, revisions=(521730,useless=501651), ccks=4591608, wck=1.151, mem=105M864
5.90/3.72 decisions=2233, wrong=1054, backtracks=295, failedAssignments=909, nogoods=418, foundSolutions=4, bestBound=55
5.90/3.72
5.90/3.73 num=39, depth=1..3, filters=21682, revisions=(530356,useless=509973), ccks=4613553, wck=1.159, mem=105M864
5.90/3.73 decisions=2269, wrong=1071, backtracks=301, failedAssignments=923, nogoods=425, foundSolutions=4, bestBound=55
5.90/3.73
5.90/3.74 num=40, depth=0..3, filters=22158, revisions=(541016,useless=520180), ccks=4670698, wck=1.174, mem=105M864
5.90/3.74 decisions=2319, wrong=1095, backtracks=312, failedAssignments=939, nogoods=426, foundSolutions=4, bestBound=55
5.90/3.74
5.90/3.75 num=41, depth=2..5, filters=22475, revisions=(551296,useless=530167), ccks=4720050, wck=1.187, mem=105M864
5.90/3.75 decisions=2355, wrong=1112, backtracks=315, failedAssignments=956, nogoods=433, foundSolutions=4, bestBound=55
5.90/3.75
5.90/3.79 num=42, depth=1..4, filters=23225, revisions=(570870,useless=549026), ccks=4848981, wck=1.219, mem=105M864
5.90/3.79 decisions=2416, wrong=1141, backtracks=328, failedAssignments=975, nogoods=436, foundSolutions=4, bestBound=55
5.90/3.79
6.01/3.81 num=43, depth=0..3, filters=23708, revisions=(584565,useless=562266), ccks=4929774, wck=1.239, mem=105M864
6.01/3.81 decisions=2469, wrong=1167, backtracks=341, failedAssignments=996, nogoods=440, foundSolutions=4, bestBound=55
6.01/3.81
6.01/3.82 num=44, depth=2..5, filters=24181, revisions=(597899,useless=575157), ccks=4990688, wck=1.255, mem=105M864
6.01/3.82 decisions=2519, wrong=1191, backtracks=345, failedAssignments=1019, nogoods=454, foundSolutions=4, bestBound=55
6.01/3.82
6.01/3.84 num=45, depth=1..3, filters=24728, revisions=(610413,useless=587153), ccks=5042263, wck=1.269, mem=105M864
6.01/3.84 decisions=2577, wrong=1219, backtracks=354, failedAssignments=1044, nogoods=463, foundSolutions=4, bestBound=55
6.01/3.84
6.01/3.86 num=46, depth=2..7, filters=25270, revisions=(626441,useless=602669), ccks=5129171, wck=1.29, mem=105M864
6.01/3.86 decisions=2641, wrong=1250, backtracks=364, failedAssignments=1072, nogoods=465, foundSolutions=4, bestBound=55
6.01/3.86
6.01/3.88 num=47, depth=1..6, filters=25971, revisions=(647705,useless=623269), ccks=5231153, wck=1.316, mem=105M864
6.01/3.88 decisions=2712, wrong=1284, backtracks=379, failedAssignments=1103, nogoods=471, foundSolutions=4, bestBound=55
6.01/3.88
6.11/3.91 num=48, depth=1..3, filters=26762, revisions=(666233,useless=641049), ccks=5346388, wck=1.344, mem=105M864
6.11/3.91 decisions=2794, wrong=1324, backtracks=390, failedAssignments=1137, nogoods=481, foundSolutions=4, bestBound=55
6.11/3.91
6.11/3.93 num=49, depth=2..6, filters=27183, revisions=(685098,useless=659508), ccks=5409412, wck=1.362, mem=105M864
6.11/3.93 decisions=2871, wrong=1361, backtracks=404, failedAssignments=1174, nogoods=488, foundSolutions=4, bestBound=55
6.11/3.93
6.11/3.95 num=50, depth=0..7, filters=27726, revisions=(706911,useless=680821), ccks=5511516, wck=1.387, mem=105M864
6.11/3.95 decisions=2965, wrong=1406, backtracks=420, failedAssignments=1215, nogoods=502, foundSolutions=4, bestBound=55
6.11/3.95
6.11/3.98 num=51, depth=0..6, filters=28493, revisions=(730982,useless=704179), ccks=5609886, wck=1.413, mem=105M864
6.11/3.98 decisions=3067, wrong=1456, backtracks=436, failedAssignments=1260, nogoods=504, foundSolutions=4, bestBound=55
6.11/3.98
6.11/4.00 num=52, depth=2..6, filters=28886, revisions=(755987,useless=728828), ccks=5662698, wck=1.43, mem=105M864
6.11/4.00 decisions=3177, wrong=1509, backtracks=450, failedAssignments=1310, nogoods=523, foundSolutions=4, bestBound=55
6.11/4.00
6.22/4.05 num=53, depth=0..6, filters=30195, revisions=(790111,useless=761704), ccks=5896180, wck=1.487, mem=108M507
6.22/4.05 decisions=3312, wrong=1575, backtracks=475, failedAssignments=1365, nogoods=536, foundSolutions=4, bestBound=55
6.22/4.05
6.36/4.11 num=54, depth=1..5, filters=31704, revisions=(828491,useless=798647), ccks=6123753, wck=1.542, mem=108M507
6.36/4.11 decisions=3457, wrong=1645, backtracks=490, failedAssignments=1426, nogoods=564, foundSolutions=4, bestBound=55
6.36/4.11
6.36/4.15 num=55, depth=0..6, filters=32981, revisions=(863640,useless=832600), ccks=6289802, wck=1.584, mem=108M507
6.36/4.15 decisions=3606, wrong=1718, backtracks=514, failedAssignments=1493, nogoods=570, foundSolutions=4, bestBound=55
6.36/4.15
6.49/4.21 num=56, depth=1..6, filters=34701, revisions=(911407,useless=878728), ccks=6494240, wck=1.639, mem=108M507
6.49/4.21 decisions=3780, wrong=1803, backtracks=533, failedAssignments=1567, nogoods=591, foundSolutions=4, bestBound=55
6.49/4.21
6.49/4.27 num=57, depth=0..5, filters=36363, revisions=(957977,useless=923732), ccks=6734319, wck=1.698, mem=108M507
6.49/4.27 decisions=3964, wrong=1894, backtracks=561, failedAssignments=1648, nogoods=602, foundSolutions=4, bestBound=55
6.49/4.27
6.60/4.32 num=58, depth=0..6, filters=38566, revisions=(1010392,useless=974072), ccks=6960194, wck=1.756, mem=108M507
6.60/4.32 decisions=4177, wrong=1999, backtracks=602, failedAssignments=1737, nogoods=613, foundSolutions=4, bestBound=55
6.60/4.32
6.60/4.38 o 53
6.60/4.38 num=59, depth=1..8, filters=40190, revisions=(1063212,useless=1025355), ccks=7182745, wck=1.815, mem=108M507
6.60/4.38 decisions=4394, wrong=2105, backtracks=633, failedAssignments=1826, nogoods=631, foundSolutions=5, bestBound=53
6.60/4.38
6.71/4.45 num=60, depth=0..6, filters=42575, revisions=(1124221,useless=1084109), ccks=7464591, wck=1.886, mem=108M507
6.71/4.45 decisions=4632, wrong=2223, backtracks=664, failedAssignments=1934, nogoods=650, foundSolutions=5, bestBound=53
6.71/4.45
6.71/4.46 num=61, depth=1..4, filters=42872, revisions=(1132671,useless=1092277), ccks=7494368, wck=1.895, mem=108M507
6.71/4.46 decisions=4660, wrong=2236, backtracks=670, failedAssignments=1945, nogoods=653, foundSolutions=5, bestBound=53
6.71/4.46
6.71/4.47 num=62, depth=2..4, filters=43181, revisions=(1138946,useless=1098256), ccks=7530416, wck=1.904, mem=108M507
6.71/4.47 decisions=4690, wrong=2249, backtracks=671, failedAssignments=1957, nogoods=665, foundSolutions=5, bestBound=53
6.71/4.47
6.71/4.48 num=63, depth=2..4, filters=43615, revisions=(1149473,useless=1108371), ccks=7568944, wck=1.914, mem=108M507
6.71/4.48 decisions=4730, wrong=2268, backtracks=678, failedAssignments=1970, nogoods=676, foundSolutions=5, bestBound=53
6.71/4.48
6.71/4.49 num=64, depth=1..4, filters=44041, revisions=(1160159,useless=1118651), ccks=7621113, wck=1.928, mem=108M507
6.71/4.49 decisions=4773, wrong=2288, backtracks=686, failedAssignments=1984, nogoods=684, foundSolutions=5, bestBound=53
6.71/4.49
6.81/4.51 num=65, depth=2..4, filters=44389, revisions=(1171484,useless=1129645), ccks=7656459, wck=1.938, mem=108M507
6.81/4.51 decisions=4808, wrong=2304, backtracks=698, failedAssignments=2000, nogoods=687, foundSolutions=5, bestBound=53
6.81/4.51
6.81/4.52 num=66, depth=4..5, filters=44807, revisions=(1180791,useless=1138551), ccks=7700468, wck=1.949, mem=108M507
6.81/4.52 decisions=4846, wrong=2321, backtracks=699, failedAssignments=2017, nogoods=702, foundSolutions=5, bestBound=53
6.81/4.52
6.81/4.53 num=67, depth=1..3, filters=45288, revisions=(1193251,useless=1150551), ccks=7747279, wck=1.962, mem=108M507
6.81/4.53 decisions=4904, wrong=2349, backtracks=710, failedAssignments=2036, nogoods=709, foundSolutions=5, bestBound=53
6.81/4.53
6.81/4.54 num=68, depth=1..3, filters=45782, revisions=(1204489,useless=1161322), ccks=7810725, wck=1.977, mem=108M507
6.81/4.54 decisions=4957, wrong=2374, backtracks=716, failedAssignments=2057, nogoods=716, foundSolutions=5, bestBound=53
6.81/4.54
6.81/4.55 num=69, depth=1..3, filters=46172, revisions=(1216358,useless=1172838), ccks=7838970, wck=1.986, mem=108M507
6.81/4.55 decisions=5015, wrong=2402, backtracks=723, failedAssignments=2080, nogoods=728, foundSolutions=5, bestBound=53
6.81/4.55
6.81/4.57 num=70, depth=2..6, filters=46672, revisions=(1234622,useless=1190622), ccks=7891073, wck=2.002, mem=108M507
6.81/4.57 decisions=5073, wrong=2429, backtracks=740, failedAssignments=2105, nogoods=733, foundSolutions=5, bestBound=53
6.81/4.57
6.81/4.58 num=71, depth=3..5, filters=47174, revisions=(1249297,useless=1204822), ccks=7947456, wck=2.017, mem=108M507
6.81/4.58 decisions=5134, wrong=2458, backtracks=744, failedAssignments=2133, nogoods=741, foundSolutions=5, bestBound=53
6.81/4.58
6.93/4.60 num=72, depth=1..3, filters=47922, revisions=(1268274,useless=1223085), ccks=8008060, wck=2.034, mem=108M507
6.93/4.60 decisions=5211, wrong=2495, backtracks=758, failedAssignments=2164, nogoods=750, foundSolutions=5, bestBound=53
6.93/4.60
6.93/4.61 num=73, depth=1..3, filters=48467, revisions=(1283731,useless=1238051), ccks=8039533, wck=2.044, mem=108M507
6.93/4.61 decisions=5284, wrong=2531, backtracks=768, failedAssignments=2198, nogoods=760, foundSolutions=5, bestBound=53
6.93/4.61
6.93/4.64 num=74, depth=2..5, filters=48990, revisions=(1302403,useless=1256235), ccks=8138945, wck=2.068, mem=108M507
6.93/4.64 decisions=5365, wrong=2570, backtracks=777, failedAssignments=2235, nogoods=768, foundSolutions=5, bestBound=53
6.93/4.64
6.93/4.66 num=75, depth=0..6, filters=49712, revisions=(1323247,useless=1276390), ccks=8234795, wck=2.093, mem=108M507
6.93/4.66 decisions=5460, wrong=2615, backtracks=787, failedAssignments=2276, nogoods=786, foundSolutions=5, bestBound=53
6.93/4.66
6.93/4.68 num=76, depth=0..6, filters=50615, revisions=(1346843,useless=1299133), ccks=8317769, wck=2.115, mem=108M507
6.93/4.68 decisions=5561, wrong=2664, backtracks=805, failedAssignments=2321, nogoods=789, foundSolutions=5, bestBound=53
6.93/4.68
7.04/4.71 num=77, depth=2..4, filters=51620, revisions=(1384561,useless=1335914), ccks=8416302, wck=2.144, mem=108M507
7.04/4.71 decisions=5696, wrong=2730, backtracks=828, failedAssignments=2371, nogoods=813, foundSolutions=5, bestBound=53
7.04/4.71
7.04/4.74 num=78, depth=1..4, filters=52616, revisions=(1417837,useless=1368285), ccks=8495415, wck=2.168, mem=108M507
7.04/4.74 decisions=5838, wrong=2800, backtracks=848, failedAssignments=2426, nogoods=822, foundSolutions=5, bestBound=53
7.04/4.74
7.04/4.78 num=79, depth=1..7, filters=54008, revisions=(1458324,useless=1407474), ccks=8683146, wck=2.217, mem=108M507
7.04/4.78 decisions=5991, wrong=2875, backtracks=869, failedAssignments=2487, nogoods=846, foundSolutions=5, bestBound=53
7.04/4.78
7.14/4.83 num=80, depth=1..4, filters=55607, revisions=(1503809,useless=1451447), ccks=8830431, wck=2.258, mem=108M507
7.14/4.83 decisions=6172, wrong=2964, backtracks=903, failedAssignments=2554, nogoods=856, foundSolutions=5, bestBound=53
7.14/4.83
7.14/4.87 num=81, depth=1..5, filters=57030, revisions=(1548705,useless=1494996), ccks=8989231, wck=2.3, mem=108M507
7.14/4.87 decisions=6336, wrong=3044, backtracks=924, failedAssignments=2628, nogoods=874, foundSolutions=5, bestBound=53
7.14/4.87
7.24/4.94 num=82, depth=1..5, filters=59268, revisions=(1620479,useless=1564647), ccks=9250329, wck=2.37, mem=108M507
7.24/4.94 decisions=6559, wrong=3155, backtracks=969, failedAssignments=2709, nogoods=883, foundSolutions=5, bestBound=53
7.24/4.94
7.24/5.00 o 52
7.24/5.00 num=83, depth=2..8, filters=61127, revisions=(1671268,useless=1613662), ccks=9497981, wck=2.433, mem=108M507
7.24/5.00 decisions=6742, wrong=3244, backtracks=989, failedAssignments=2782, nogoods=903, foundSolutions=6, bestBound=52
7.24/5.00
7.35/5.05 num=84, depth=1..5, filters=62818, revisions=(1742348,useless=1683175), ccks=9652327, wck=2.483, mem=108M507
7.35/5.05 decisions=7011, wrong=3377, backtracks=1028, failedAssignments=2880, nogoods=914, foundSolutions=6, bestBound=52
7.35/5.05
7.35/5.06 num=85, depth=1..4, filters=63025, revisions=(1750588,useless=1691221), ccks=9710750, wck=2.497, mem=108M507
7.35/5.06 decisions=7044, wrong=3393, backtracks=1035, failedAssignments=2891, nogoods=916, foundSolutions=6, bestBound=52
7.35/5.06
7.35/5.07 num=86, depth=2..4, filters=63299, revisions=(1758308,useless=1698678), ccks=9739252, wck=2.505, mem=108M507
7.35/5.07 decisions=7074, wrong=3407, backtracks=1040, failedAssignments=2903, nogoods=921, foundSolutions=6, bestBound=52
7.35/5.07
7.35/5.09 num=87, depth=2..4, filters=63627, revisions=(1767013,useless=1707074), ccks=9796087, wck=2.519, mem=108M507
7.35/5.09 decisions=7106, wrong=3421, backtracks=1042, failedAssignments=2916, nogoods=932, foundSolutions=6, bestBound=52
7.35/5.09
7.35/5.10 num=88, depth=2..7, filters=63873, revisions=(1777856,useless=1717684), ccks=9833461, wck=2.529, mem=108M507
7.35/5.10 decisions=7141, wrong=3437, backtracks=1050, failedAssignments=2930, nogoods=940, foundSolutions=6, bestBound=52
7.35/5.10
7.35/5.11 num=89, depth=0..5, filters=64169, revisions=(1786922,useless=1726467), ccks=9865840, wck=2.538, mem=108M507
7.35/5.11 decisions=7175, wrong=3453, backtracks=1058, failedAssignments=2946, nogoods=946, foundSolutions=6, bestBound=52
7.35/5.11
7.45/5.12 num=90, depth=1..3, filters=64647, revisions=(1800437,useless=1739531), ccks=9910018, wck=2.551, mem=108M507
7.45/5.12 decisions=7225, wrong=3477, backtracks=1068, failedAssignments=2963, nogoods=954, foundSolutions=6, bestBound=52
7.45/5.12
7.45/5.14 num=91, depth=2..6, filters=65296, revisions=(1817356,useless=1755829), ccks=9991965, wck=2.571, mem=108M507
7.45/5.14 decisions=7271, wrong=3498, backtracks=1078, failedAssignments=2982, nogoods=968, foundSolutions=6, bestBound=52
7.45/5.14
7.45/5.15 num=92, depth=2..4, filters=65823, revisions=(1833787,useless=1771757), ccks=10036702, wck=2.584, mem=108M507
7.45/5.15 decisions=7334, wrong=3528, backtracks=1089, failedAssignments=3003, nogoods=981, foundSolutions=6, bestBound=52
7.45/5.15
7.45/5.17 num=93, depth=1..6, filters=66379, revisions=(1846801,useless=1784246), ccks=10133106, wck=2.607, mem=108M507
7.45/5.17 decisions=7382, wrong=3551, backtracks=1095, failedAssignments=3026, nogoods=996, foundSolutions=6, bestBound=52
7.45/5.17
7.45/5.19 num=94, depth=2..5, filters=66884, revisions=(1860935,useless=1797901), ccks=10200497, wck=2.624, mem=108M507
7.45/5.19 decisions=7437, wrong=3577, backtracks=1101, failedAssignments=3051, nogoods=1003, foundSolutions=6, bestBound=52
7.45/5.19
7.54/5.20 num=95, depth=1..4, filters=67409, revisions=(1877883,useless=1814369), ccks=10241833, wck=2.637, mem=108M507
7.54/5.20 decisions=7505, wrong=3610, backtracks=1111, failedAssignments=3079, nogoods=1010, foundSolutions=6, bestBound=52
7.54/5.20
7.54/5.23 num=96, depth=1..3, filters=68174, revisions=(1899319,useless=1835084), ccks=10341102, wck=2.662, mem=108M507
7.54/5.23 decisions=7583, wrong=3648, backtracks=1128, failedAssignments=3110, nogoods=1014, foundSolutions=6, bestBound=52
7.54/5.23
7.54/5.25 num=97, depth=1..4, filters=68859, revisions=(1918745,useless=1853861), ccks=10420632, wck=2.682, mem=108M507
7.54/5.25 decisions=7658, wrong=3684, backtracks=1136, failedAssignments=3144, nogoods=1031, foundSolutions=6, bestBound=52
7.54/5.25
7.54/5.27 num=98, depth=1..4, filters=69769, revisions=(1943801,useless=1878056), ccks=10493917, wck=2.703, mem=108M507
7.54/5.27 decisions=7760, wrong=3734, backtracks=1155, failedAssignments=3181, nogoods=1042, foundSolutions=6, bestBound=52
7.54/5.27
7.54/5.29 num=99, depth=1..5, filters=70390, revisions=(1967324,useless=1901000), ccks=10557666, wck=2.722, mem=108M507
7.54/5.29 decisions=7845, wrong=3775, backtracks=1169, failedAssignments=3222, nogoods=1056, foundSolutions=6, bestBound=52
7.54/5.29
7.65/5.33 num=100, depth=2..5, filters=71864, revisions=(2006746,useless=1939019), ccks=10696543, wck=2.76, mem=108M507
7.65/5.33 decisions=7969, wrong=3836, backtracks=1187, failedAssignments=3267, nogoods=1062, foundSolutions=6, bestBound=52
7.65/5.33
7.65/5.36 num=101, depth=1..4, filters=72901, revisions=(2039983,useless=1971293), ccks=10802581, wck=2.789, mem=108M507
7.65/5.36 decisions=8084, wrong=3892, backtracks=1207, failedAssignments=3317, nogoods=1065, foundSolutions=6, bestBound=52
7.65/5.36
7.65/5.39 num=102, depth=0..5, filters=74028, revisions=(2068986,useless=1999233), ccks=10911441, wck=2.818, mem=108M507
7.65/5.39 decisions=8211, wrong=3954, backtracks=1229, failedAssignments=3372, nogoods=1071, foundSolutions=6, bestBound=52
7.65/5.39
7.75/5.41 num=103, depth=1..4, filters=75173, revisions=(2107104,useless=2036294), ccks=11002303, wck=2.845, mem=108M507
7.75/5.41 decisions=8361, wrong=4028, backtracks=1247, failedAssignments=3433, nogoods=1077, foundSolutions=6, bestBound=52
7.75/5.41
7.75/5.45 o 51
7.75/5.45 num=104, depth=2..8, filters=76492, revisions=(2144035,useless=2071970), ccks=11158766, wck=2.887, mem=108M507
7.75/5.45 decisions=8502, wrong=4096, backtracks=1263, failedAssignments=3491, nogoods=1103, foundSolutions=7, bestBound=51
7.75/5.45
7.86/5.50 num=105, depth=1..4, filters=77950, revisions=(2186728,useless=2113286), ccks=11339496, wck=2.934, mem=108M507
7.86/5.50 decisions=8681, wrong=4185, backtracks=1292, failedAssignments=3565, nogoods=1118, foundSolutions=7, bestBound=51
7.86/5.50
7.86/5.51 num=106, depth=2..4, filters=78171, revisions=(2193972,useless=2120326), ccks=11367430, wck=2.942, mem=108M507
7.86/5.51 decisions=8709, wrong=4198, backtracks=1294, failedAssignments=3576, nogoods=1120, foundSolutions=7, bestBound=51
7.86/5.51
7.86/5.52 num=107, depth=3..5, filters=78443, revisions=(2204347,useless=2130439), ccks=11399855, wck=2.951, mem=108M507
7.86/5.52 decisions=8742, wrong=4213, backtracks=1301, failedAssignments=3588, nogoods=1126, foundSolutions=7, bestBound=51
7.86/5.52
7.86/5.54 num=108, depth=1..5, filters=78749, revisions=(2215170,useless=2140976), ccks=11471474, wck=2.969, mem=108M507
7.86/5.54 decisions=8778, wrong=4230, backtracks=1308, failedAssignments=3601, nogoods=1135, foundSolutions=7, bestBound=51
7.86/5.54
7.86/5.55 num=109, depth=2..4, filters=79083, revisions=(2225481,useless=2150974), ccks=11506747, wck=2.978, mem=108M507
7.86/5.55 decisions=8812, wrong=4246, backtracks=1312, failedAssignments=3615, nogoods=1137, foundSolutions=7, bestBound=51
7.86/5.55
7.86/5.56 num=110, depth=1..5, filters=79397, revisions=(2236057,useless=2161261), ccks=11554175, wck=2.991, mem=108M507
7.86/5.56 decisions=8848, wrong=4263, backtracks=1315, failedAssignments=3631, nogoods=1150, foundSolutions=7, bestBound=51
7.86/5.56
7.86/5.57 num=111, depth=1..4, filters=79768, revisions=(2248539,useless=2173392), ccks=11593980, wck=3.002, mem=111M149
7.86/5.57 decisions=8899, wrong=4287, backtracks=1326, failedAssignments=3648, nogoods=1154, foundSolutions=7, bestBound=51
7.86/5.57
7.86/5.58 num=112, depth=0..5, filters=80049, revisions=(2256004,useless=2180589), ccks=11633384, wck=3.013, mem=111M149
7.86/5.58 decisions=8942, wrong=4306, backtracks=1330, failedAssignments=3667, nogoods=1156, foundSolutions=7, bestBound=51
7.86/5.58
7.86/5.59 num=113, depth=1..5, filters=80425, revisions=(2267606,useless=2191840), ccks=11667231, wck=3.023, mem=111M149
7.86/5.59 decisions=8987, wrong=4327, backtracks=1335, failedAssignments=3688, nogoods=1167, foundSolutions=7, bestBound=51
7.86/5.59
8.00/5.62 num=114, depth=1..5, filters=81046, revisions=(2289698,useless=2213342), ccks=11765749, wck=3.049, mem=111M149
8.00/5.62 decisions=9051, wrong=4358, backtracks=1353, failedAssignments=3711, nogoods=1174, foundSolutions=7, bestBound=51
8.00/5.62
8.00/5.63 num=115, depth=1..6, filters=81271, revisions=(2302775,useless=2226211), ccks=11794201, wck=3.058, mem=111M149
8.00/5.63 decisions=9107, wrong=4385, backtracks=1365, failedAssignments=3736, nogoods=1180, foundSolutions=7, bestBound=51
8.00/5.63
8.00/5.64 num=116, depth=1..4, filters=82085, revisions=(2324546,useless=2247206), ccks=11857006, wck=3.077, mem=111M149
8.00/5.64 decisions=9178, wrong=4419, backtracks=1379, failedAssignments=3764, nogoods=1189, foundSolutions=7, bestBound=51
8.00/5.64
8.00/5.66 o 49
8.00/5.66 num=117, depth=2..8, filters=82442, revisions=(2336280,useless=2258603), ccks=11903665, wck=3.09, mem=111M149
8.00/5.66 decisions=9214, wrong=4434, backtracks=1383, failedAssignments=3779, nogoods=1195, foundSolutions=8, bestBound=49
8.00/5.66
8.00/5.67 num=118, depth=1..3, filters=83135, revisions=(2353338,useless=2275004), ccks=11948021, wck=3.103, mem=111M149
8.00/5.67 decisions=9288, wrong=4470, backtracks=1392, failedAssignments=3813, nogoods=1202, foundSolutions=8, bestBound=49
8.00/5.67
8.00/5.68 num=119, depth=3..4, filters=83363, revisions=(2360073,useless=2281534), ccks=11970321, wck=3.11, mem=111M149
8.00/5.68 decisions=9313, wrong=4481, backtracks=1394, failedAssignments=3824, nogoods=1212, foundSolutions=8, bestBound=49
8.00/5.68
8.00/5.69 num=120, depth=2..4, filters=83756, revisions=(2369923,useless=2291013), ccks=12002920, wck=3.119, mem=111M149
8.00/5.69 decisions=9351, wrong=4499, backtracks=1400, failedAssignments=3836, nogoods=1219, foundSolutions=8, bestBound=49
8.00/5.69
8.00/5.70 num=121, depth=2..4, filters=84115, revisions=(2380770,useless=2301520), ccks=12039712, wck=3.129, mem=111M149
8.00/5.70 decisions=9385, wrong=4515, backtracks=1406, failedAssignments=3849, nogoods=1220, foundSolutions=8, bestBound=49
8.00/5.70
8.17/5.71 num=122, depth=1..4, filters=84404, revisions=(2390808,useless=2311290), ccks=12069624, wck=3.138, mem=111M149
8.17/5.71 decisions=9417, wrong=4530, backtracks=1412, failedAssignments=3863, nogoods=1225, foundSolutions=8, bestBound=49
8.17/5.71
8.17/5.72 num=123, depth=3..5, filters=84747, revisions=(2403585,useless=2323738), ccks=12104665, wck=3.148, mem=111M149
8.17/5.72 decisions=9459, wrong=4549, backtracks=1418, failedAssignments=3879, nogoods=1234, foundSolutions=8, bestBound=49
8.17/5.72
8.17/5.72 num=124, depth=1..6, filters=84940, revisions=(2412203,useless=2332177), ccks=12126124, wck=3.155, mem=111M149
8.17/5.72 decisions=9496, wrong=4566, backtracks=1425, failedAssignments=3896, nogoods=1242, foundSolutions=8, bestBound=49
8.17/5.72
8.17/5.73 num=125, depth=3..5, filters=85345, revisions=(2428069,useless=2347657), ccks=12159864, wck=3.166, mem=111M149
8.17/5.73 decisions=9542, wrong=4587, backtracks=1434, failedAssignments=3915, nogoods=1252, foundSolutions=8, bestBound=49
8.17/5.73
8.17/5.74 num=126, depth=1..4, filters=85624, revisions=(2440104,useless=2359444), ccks=12189637, wck=3.175, mem=111M149
8.17/5.74 decisions=9586, wrong=4608, backtracks=1443, failedAssignments=3936, nogoods=1258, foundSolutions=8, bestBound=49
8.17/5.74
8.17/5.75 num=127, depth=1..3, filters=86205, revisions=(2454489,useless=2373272), ccks=12235670, wck=3.188, mem=111M149
8.17/5.75 decisions=9650, wrong=4639, backtracks=1454, failedAssignments=3959, nogoods=1264, foundSolutions=8, bestBound=49
8.17/5.75
8.17/5.77 num=128, depth=2..6, filters=86583, revisions=(2470587,useless=2389017), ccks=12277999, wck=3.201, mem=111M149
8.17/5.77 decisions=9710, wrong=4667, backtracks=1463, failedAssignments=3984, nogoods=1276, foundSolutions=8, bestBound=49
8.17/5.77
8.17/5.78 num=129, depth=1..3, filters=86882, revisions=(2482528,useless=2400681), ccks=12309125, wck=3.21, mem=111M149
8.17/5.78 decisions=9768, wrong=4695, backtracks=1473, failedAssignments=4012, nogoods=1283, foundSolutions=8, bestBound=49
8.17/5.78
8.17/5.79 num=130, depth=1..3, filters=87412, revisions=(2497799,useless=2415457), ccks=12345899, wck=3.221, mem=111M149
8.17/5.79 decisions=9842, wrong=4731, backtracks=1481, failedAssignments=4043, nogoods=1293, foundSolutions=8, bestBound=49
8.17/5.79
8.33/5.81 num=131, depth=3..5, filters=87955, revisions=(2520693,useless=2437830), ccks=12402119, wck=3.239, mem=111M149
8.33/5.81 decisions=9926, wrong=4771, backtracks=1492, failedAssignments=4077, nogoods=1305, foundSolutions=8, bestBound=49
8.33/5.81
8.33/5.83 num=132, depth=1..4, filters=88884, revisions=(2546282,useless=2462534), ccks=12507635, wck=3.266, mem=111M149
8.33/5.83 decisions=10021, wrong=4817, backtracks=1509, failedAssignments=4114, nogoods=1318, foundSolutions=8, bestBound=49
8.33/5.83
8.33/5.85 num=133, depth=3..5, filters=89570, revisions=(2578243,useless=2493870), ccks=12568883, wck=3.286, mem=111M149
8.33/5.85 decisions=10134, wrong=4872, backtracks=1524, failedAssignments=4155, nogoods=1338, foundSolutions=8, bestBound=49
8.33/5.85
8.33/5.88 num=134, depth=1..6, filters=90360, revisions=(2606056,useless=2520936), ccks=12654320, wck=3.31, mem=111M149
8.33/5.88 decisions=10233, wrong=4921, backtracks=1545, failedAssignments=4200, nogoods=1350, foundSolutions=8, bestBound=49
8.33/5.88
8.43/5.90 num=135, depth=0..5, filters=91302, revisions=(2633531,useless=2547525), ccks=12733238, wck=3.332, mem=111M149
8.43/5.90 decisions=10342, wrong=4974, backtracks=1562, failedAssignments=4250, nogoods=1359, foundSolutions=8, bestBound=49
8.43/5.90
8.43/5.92 num=136, depth=1..4, filters=92164, revisions=(2664996,useless=2578194), ccks=12819788, wck=3.357, mem=111M149
8.43/5.92 decisions=10454, wrong=5029, backtracks=1585, failedAssignments=4305, nogoods=1370, foundSolutions=8, bestBound=49
8.43/5.92
8.43/5.96 num=137, depth=1..5, filters=93414, revisions=(2702767,useless=2614787), ccks=12954041, wck=3.392, mem=111M149
8.43/5.96 decisions=10599, wrong=5100, backtracks=1602, failedAssignments=4366, nogoods=1396, foundSolutions=8, bestBound=49
8.43/5.96
8.43/5.99 num=138, depth=1..4, filters=94428, revisions=(2740841,useless=2651917), ccks=13058059, wck=3.422, mem=113M792
8.43/5.99 decisions=10735, wrong=5167, backtracks=1625, failedAssignments=4433, nogoods=1421, foundSolutions=8, bestBound=49
8.43/5.99
8.56/6.02 num=139, depth=1..4, filters=96102, revisions=(2786371,useless=2695866), ccks=13177725, wck=3.458, mem=113M792
8.56/6.02 decisions=10921, wrong=5259, backtracks=1655, failedAssignments=4507, nogoods=1428, foundSolutions=8, bestBound=49
8.56/6.02
8.56/6.05 num=140, depth=2..5, filters=97068, revisions=(2824922,useless=2733522), ccks=13266998, wck=3.485, mem=113M792
8.56/6.05 decisions=11093, wrong=5344, backtracks=1677, failedAssignments=4588, nogoods=1440, foundSolutions=8, bestBound=49
8.56/6.05
8.56/6.09 num=141, depth=0..4, filters=98638, revisions=(2874559,useless=2781692), ccks=13385647, wck=3.52, mem=113M792
8.56/6.09 decisions=11288, wrong=5440, backtracks=1711, failedAssignments=4677, nogoods=1452, foundSolutions=8, bestBound=49
8.56/6.09
8.66/6.14 num=142, depth=1..4, filters=100992, revisions=(2939714,useless=2844593), ccks=13572637, wck=3.573, mem=113M792
8.66/6.14 decisions=11530, wrong=5560, backtracks=1758, failedAssignments=4775, nogoods=1463, foundSolutions=8, bestBound=49
8.66/6.14
8.66/6.19 num=143, depth=2..5, filters=102362, revisions=(3003135,useless=2906725), ccks=13730217, wck=3.619, mem=113M792
8.66/6.19 decisions=11774, wrong=5680, backtracks=1785, failedAssignments=4883, nogoods=1485, foundSolutions=8, bestBound=49
8.66/6.19
8.75/6.24 num=144, depth=0..6, filters=104070, revisions=(3075687,useless=2977710), ccks=13926486, wck=3.677, mem=113M792
8.75/6.24 decisions=12034, wrong=5808, backtracks=1826, failedAssignments=5002, nogoods=1504, foundSolutions=8, bestBound=49
8.75/6.24
8.85/6.35 num=145, depth=1..5, filters=106456, revisions=(3170152,useless=3069928), ccks=14349663, wck=3.785, mem=113M792
8.85/6.35 decisions=12367, wrong=5973, backtracks=1876, failedAssignments=5133, nogoods=1528, foundSolutions=8, bestBound=49
8.85/6.35
8.95/6.43 num=146, depth=0..6, filters=109166, revisions=(3252122,useless=3149334), ccks=14616451, wck=3.858, mem=113M792
8.95/6.43 decisions=12696, wrong=6136, backtracks=1930, failedAssignments=5277, nogoods=1539, foundSolutions=8, bestBound=49
8.95/6.43
9.06/6.50 num=147, depth=2..6, filters=111455, revisions=(3354889,useless=3249937), ccks=14856932, wck=3.93, mem=113M792
9.06/6.50 decisions=13082, wrong=6327, backtracks=1982, failedAssignments=5435, nogoods=1554, foundSolutions=8, bestBound=49
9.06/6.50
9.06/6.56 num=148, depth=1..4, filters=114221, revisions=(3458123,useless=3350631), ccks=15061781, wck=3.994, mem=113M792
9.06/6.56 decisions=13526, wrong=6548, backtracks=2043, failedAssignments=5609, nogoods=1570, foundSolutions=8, bestBound=49
9.06/6.56
9.16/6.63 num=149, depth=1..5, filters=116314, revisions=(3547380,useless=3437968), ccks=15278381, wck=4.059, mem=113M792
9.16/6.63 decisions=13921, wrong=6745, backtracks=2100, failedAssignments=5800, nogoods=1594, foundSolutions=8, bestBound=49
9.16/6.63
9.26/6.78 num=150, depth=1..5, filters=121552, revisions=(3709034,useless=3594608), ccks=15839121, wck=4.21, mem=113M792
9.26/6.78 decisions=14498, wrong=7033, backtracks=2201, failedAssignments=6011, nogoods=1618, foundSolutions=8, bestBound=49
9.26/6.78
9.36/6.88 num=151, depth=0..6, filters=125435, revisions=(3851400,useless=3733317), ccks=16197031, wck=4.314, mem=113M792
9.36/6.88 decisions=15077, wrong=7321, backtracks=2308, failedAssignments=6243, nogoods=1630, foundSolutions=8, bestBound=49
9.36/6.88
9.46/7.00 num=152, depth=0..6, filters=129436, revisions=(4001390,useless=3879587), ccks=16600384, wck=4.429, mem=113M792
9.46/7.00 decisions=15636, wrong=7599, backtracks=2385, failedAssignments=6498, nogoods=1661, foundSolutions=8, bestBound=49
9.46/7.00
9.67/7.15 num=153, depth=1..5, filters=135755, revisions=(4190313,useless=4062485), ccks=17146010, wck=4.584, mem=113M792
9.67/7.15 decisions=16320, wrong=7940, backtracks=2517, failedAssignments=6779, nogoods=1698, foundSolutions=8, bestBound=49
9.67/7.15
9.86/7.31 num=154, depth=1..6, filters=141331, revisions=(4402933,useless=4269916), ccks=17691759, wck=4.743, mem=113M792
9.86/7.31 decisions=17052, wrong=8305, backtracks=2623, failedAssignments=7088, nogoods=1717, foundSolutions=8, bestBound=49
9.86/7.31
9.96/7.46 num=155, depth=0..6, filters=146635, revisions=(4630003,useless=4492110), ccks=18165454, wck=4.89, mem=113M792
9.96/7.46 decisions=17851, wrong=8702, backtracks=2741, failedAssignments=7428, nogoods=1737, foundSolutions=8, bestBound=49
9.96/7.46
10.06/7.56 o 47
10.06/7.56 num=156, depth=0..8, filters=150052, revisions=(4766139,useless=4625017), ccks=18526953, wck=4.995, mem=113M792
10.06/7.56 decisions=18376, wrong=8962, backtracks=2823, failedAssignments=7645, nogoods=1750, foundSolutions=9, bestBound=47
10.06/7.56
10.26/7.77 num=157, depth=0..5, filters=157740, revisions=(5073042,useless=4924722), ccks=19239574, wck=5.206, mem=113M792
10.26/7.77 decisions=19521, wrong=9533, backtracks=3030, failedAssignments=8056, nogoods=1755, foundSolutions=9, bestBound=47
10.26/7.77
10.26/7.78 num=158, depth=2..4, filters=158030, revisions=(5082106,useless=4933514), ccks=19271346, wck=5.214, mem=113M792
10.26/7.78 decisions=19550, wrong=9546, backtracks=3034, failedAssignments=8067, nogoods=1761, foundSolutions=9, bestBound=47
10.26/7.78
10.26/7.79 num=159, depth=3..4, filters=158371, revisions=(5092774,useless=4943860), ccks=19303068, wck=5.223, mem=113M792
10.26/7.79 decisions=19587, wrong=9563, backtracks=3039, failedAssignments=8079, nogoods=1771, foundSolutions=9, bestBound=47
10.26/7.79
10.36/7.80 num=160, depth=2..4, filters=158562, revisions=(5100813,useless=4951727), ccks=19324995, wck=5.23, mem=113M792
10.36/7.80 decisions=19618, wrong=9577, backtracks=3043, failedAssignments=8092, nogoods=1774, foundSolutions=9, bestBound=47
10.36/7.80
10.36/7.80 num=161, depth=2..4, filters=158867, revisions=(5110109,useless=4960735), ccks=19352933, wck=5.238, mem=113M792
10.36/7.80 decisions=19653, wrong=9593, backtracks=3047, failedAssignments=8106, nogoods=1779, foundSolutions=9, bestBound=47
10.36/7.80
10.36/7.81 num=162, depth=2..4, filters=159092, revisions=(5120605,useless=4971023), ccks=19372546, wck=5.244, mem=113M792
10.36/7.81 decisions=19693, wrong=9612, backtracks=3054, failedAssignments=8122, nogoods=1781, foundSolutions=9, bestBound=47
10.36/7.81
10.36/7.82 num=163, depth=2..4, filters=159530, revisions=(5132418,useless=4982415), ccks=19405504, wck=5.254, mem=113M792
10.36/7.82 decisions=19739, wrong=9634, backtracks=3063, failedAssignments=8139, nogoods=1787, foundSolutions=9, bestBound=47
10.36/7.82
10.36/7.83 num=164, depth=3..6, filters=159820, revisions=(5145348,useless=4995077), ccks=19438107, wck=5.263, mem=113M792
10.36/7.83 decisions=19785, wrong=9655, backtracks=3068, failedAssignments=8158, nogoods=1800, foundSolutions=9, bestBound=47
10.36/7.83
10.36/7.85 num=165, depth=2..4, filters=160491, revisions=(5165617,useless=5014702), ccks=19513452, wck=5.283, mem=113M792
10.36/7.85 decisions=19853, wrong=9688, backtracks=3080, failedAssignments=8179, nogoods=1807, foundSolutions=9, bestBound=47
10.36/7.85
10.36/7.86 num=166, depth=1..5, filters=160848, revisions=(5181852,useless=5030614), ccks=19562632, wck=5.297, mem=113M792
10.36/7.86 decisions=19915, wrong=9718, backtracks=3091, failedAssignments=8202, nogoods=1817, foundSolutions=9, bestBound=47
10.36/7.86
10.36/7.88 num=167, depth=3..5, filters=161379, revisions=(5200877,useless=5049152), ccks=19611318, wck=5.311, mem=113M792
10.36/7.88 decisions=19974, wrong=9746, backtracks=3101, failedAssignments=8227, nogoods=1831, foundSolutions=9, bestBound=47
10.36/7.88
10.36/7.89 num=168, depth=2..4, filters=162012, revisions=(5220321,useless=5067999), ccks=19668186, wck=5.327, mem=113M792
10.36/7.89 decisions=20039, wrong=9777, backtracks=3109, failedAssignments=8255, nogoods=1841, foundSolutions=9, bestBound=47
10.36/7.89
10.46/7.91 num=169, depth=2..4, filters=162730, revisions=(5243568,useless=5090557), ccks=19733390, wck=5.346, mem=113M792
10.46/7.91 decisions=20123, wrong=9818, backtracks=3124, failedAssignments=8286, nogoods=1848, foundSolutions=9, bestBound=47
10.46/7.91
10.46/7.93 num=170, depth=1..5, filters=163170, revisions=(5266332,useless=5112928), ccks=19791107, wck=5.363, mem=113M792
10.46/7.93 decisions=20199, wrong=9855, backtracks=3134, failedAssignments=8320, nogoods=1853, foundSolutions=9, bestBound=47
10.46/7.93
10.46/7.95 num=171, depth=2..4, filters=163771, revisions=(5288603,useless=5134639), ccks=19854626, wck=5.381, mem=113M792
10.46/7.95 decisions=20278, wrong=9893, backtracks=3145, failedAssignments=8357, nogoods=1864, foundSolutions=9, bestBound=47
10.46/7.95
10.46/7.97 num=172, depth=1..5, filters=164427, revisions=(5318492,useless=5163938), ccks=19922037, wck=5.401, mem=113M792
10.46/7.97 decisions=20374, wrong=9940, backtracks=3162, failedAssignments=8398, nogoods=1870, foundSolutions=9, bestBound=47
10.46/7.97
10.46/7.99 num=173, depth=2..5, filters=165276, revisions=(5344469,useless=5189103), ccks=20000714, wck=5.423, mem=113M792
10.46/7.99 decisions=20470, wrong=9987, backtracks=3176, failedAssignments=8443, nogoods=1886, foundSolutions=9, bestBound=47
10.46/7.99
10.57/8.01 num=174, depth=1..4, filters=166178, revisions=(5383213,useless=5227026), ccks=20075162, wck=5.447, mem=113M792
10.57/8.01 decisions=20606, wrong=10054, backtracks=3206, failedAssignments=8493, nogoods=1892, foundSolutions=9, bestBound=47
10.57/8.01
10.57/8.04 num=175, depth=1..5, filters=167355, revisions=(5421832,useless=5264525), ccks=20181188, wck=5.478, mem=113M792
10.57/8.04 decisions=20734, wrong=10116, backtracks=3228, failedAssignments=8548, nogoods=1902, foundSolutions=9, bestBound=47
10.57/8.04
10.57/8.08 num=176, depth=1..4, filters=168779, revisions=(5460665,useless=5302015), ccks=20298055, wck=5.51, mem=113M792
10.57/8.08 decisions=20885, wrong=10190, backtracks=3245, failedAssignments=8609, nogoods=1914, foundSolutions=9, bestBound=47
10.57/8.08
10.57/8.10 num=177, depth=1..4, filters=169924, revisions=(5496178,useless=5336452), ccks=20383795, wck=5.535, mem=113M792
10.57/8.10 decisions=21041, wrong=10267, backtracks=3267, failedAssignments=8676, nogoods=1927, foundSolutions=9, bestBound=47
10.57/8.10
10.68/8.14 num=178, depth=3..7, filters=171034, revisions=(5538091,useless=5377306), ccks=20495433, wck=5.568, mem=113M792
10.68/8.14 decisions=21217, wrong=10353, backtracks=3286, failedAssignments=8750, nogoods=1942, foundSolutions=9, bestBound=47
10.68/8.14
10.68/8.18 num=179, depth=1..5, filters=172390, revisions=(5593443,useless=5431430), ccks=20650988, wck=5.612, mem=113M792
10.68/8.18 decisions=21409, wrong=10448, backtracks=3323, failedAssignments=8831, nogoods=1952, foundSolutions=9, bestBound=47
10.68/8.18
10.77/8.24 num=180, depth=2..5, filters=174333, revisions=(5665987,useless=5502150), ccks=20852819, wck=5.671, mem=113M792
10.77/8.24 decisions=21638, wrong=10561, backtracks=3352, failedAssignments=8920, nogoods=1964, foundSolutions=9, bestBound=47
10.77/8.24
10.77/8.28 num=181, depth=1..4, filters=175774, revisions=(5734685,useless=5569570), ccks=20994347, wck=5.714, mem=113M792
10.77/8.28 decisions=21880, wrong=10681, backtracks=3386, failedAssignments=9018, nogoods=1970, foundSolutions=9, bestBound=47
10.77/8.28
10.87/8.37 num=182, depth=2..5, filters=178937, revisions=(5824285,useless=5656146), ccks=21301756, wck=5.798, mem=113M792
10.87/8.37 decisions=22166, wrong=10823, backtracks=3429, failedAssignments=9126, nogoods=1974, foundSolutions=9, bestBound=47
10.87/8.37
10.97/8.40 num=183, depth=1..4, filters=180498, revisions=(5883013,useless=5713397), ccks=21406984, wck=5.832, mem=113M792
10.97/8.40 decisions=22424, wrong=10951, backtracks=3469, failedAssignments=9245, nogoods=1991, foundSolutions=9, bestBound=47
10.97/8.40
10.97/8.46 num=184, depth=2..7, filters=182557, revisions=(5962272,useless=5790719), ccks=21609389, wck=5.892, mem=113M792
10.97/8.46 decisions=22720, wrong=11097, backtracks=3506, failedAssignments=9376, nogoods=2003, foundSolutions=9, bestBound=47
10.97/8.46
11.07/8.53 num=185, depth=1..6, filters=185153, revisions=(6051785,useless=5877841), ccks=21843988, wck=5.958, mem=113M792
11.07/8.53 decisions=23038, wrong=11255, backtracks=3552, failedAssignments=9520, nogoods=2014, foundSolutions=9, bestBound=47
11.07/8.53
11.17/8.62 num=186, depth=1..5, filters=188730, revisions=(6159672,useless=5982326), ccks=22182228, wck=6.051, mem=113M792
11.17/8.62 decisions=23387, wrong=11428, backtracks=3606, failedAssignments=9678, nogoods=2020, foundSolutions=9, bestBound=47
11.17/8.62
11.27/8.70 num=187, depth=0..6, filters=191716, revisions=(6266507,useless=6086355), ccks=22446532, wck=6.13, mem=113M792
11.27/8.70 decisions=23770, wrong=11618, backtracks=3663, failedAssignments=9852, nogoods=2029, foundSolutions=9, bestBound=47
11.27/8.70
11.37/8.81 num=188, depth=0..5, filters=196217, revisions=(6405900,useless=6221448), ccks=22860627, wck=6.246, mem=113M792
11.37/8.81 decisions=24261, wrong=11862, backtracks=3751, failedAssignments=10043, nogoods=2058, foundSolutions=9, bestBound=47
11.37/8.81
11.47/8.92 num=189, depth=0..4, filters=200614, revisions=(6544204,useless=6355605), ccks=23221861, wck=6.349, mem=113M792
11.47/8.92 decisions=24766, wrong=12113, backtracks=3829, failedAssignments=10254, nogoods=2071, foundSolutions=9, bestBound=47
11.47/8.92
11.58/9.02 num=190, depth=1..5, filters=203697, revisions=(6693600,useless=6502224), ccks=23567067, wck=6.452, mem=113M792
11.58/9.02 decisions=25312, wrong=12384, backtracks=3911, failedAssignments=10486, nogoods=2097, foundSolutions=9, bestBound=47
11.58/9.02
11.68/9.17 num=191, depth=1..5, filters=209365, revisions=(6889772,useless=6693009), ccks=24079548, wck=6.6, mem=113M792
11.68/9.17 decisions=25994, wrong=12724, backtracks=4034, failedAssignments=10741, nogoods=2124, foundSolutions=9, bestBound=47
11.68/9.17
11.88/9.32 num=192, depth=1..6, filters=214367, revisions=(7080827,useless=6879455), ccks=24625412, wck=6.755, mem=113M792
11.88/9.32 decisions=26620, wrong=13036, backtracks=4091, failedAssignments=11022, nogoods=2145, foundSolutions=9, bestBound=47
11.88/9.32
11.98/9.43 num=193, depth=0..6, filters=217563, revisions=(7256959,useless=7052742), ccks=24962376, wck=6.864, mem=113M792
11.98/9.43 decisions=27297, wrong=13373, backtracks=4196, failedAssignments=11331, nogoods=2150, foundSolutions=9, bestBound=47
11.98/9.43
12.18/9.62 num=194, depth=1..5, filters=224334, revisions=(7499600,useless=7289004), ccks=25614210, wck=7.051, mem=113M792
12.18/9.62 decisions=28153, wrong=13799, backtracks=4333, failedAssignments=11671, nogoods=2173, foundSolutions=9, bestBound=47
12.18/9.62
12.38/9.80 num=195, depth=0..6, filters=230687, revisions=(7737042,useless=7520536), ccks=26249304, wck=7.235, mem=113M792
12.38/9.80 decisions=29079, wrong=14261, backtracks=4463, failedAssignments=12045, nogoods=2199, foundSolutions=9, bestBound=47
12.38/9.80
12.48/9.96 num=196, depth=0..5, filters=237121, revisions=(7988612,useless=7766212), ccks=26757532, wck=7.393, mem=113M792
12.48/9.96 decisions=30089, wrong=14765, backtracks=4619, failedAssignments=12456, nogoods=2204, foundSolutions=9, bestBound=47
12.48/9.96
12.69/10.14 num=197, depth=0..5, filters=244885, revisions=(8252028,useless=8022337), ccks=27340883, wck=7.571, mem=113M792
12.69/10.14 decisions=31152, wrong=15295, backtracks=4811, failedAssignments=12908, nogoods=2212, foundSolutions=9, bestBound=47
12.69/10.14
12.98/10.43 num=198, depth=0..5, filters=255418, revisions=(8631964,useless=8392335), ccks=28332392, wck=7.858, mem=113M792
12.98/10.43 decisions=32433, wrong=15934, backtracks=5012, failedAssignments=13405, nogoods=2220, foundSolutions=9, bestBound=47
12.98/10.43
13.18/10.68 num=199, depth=1..5, filters=265657, revisions=(8994744,useless=8745390), ccks=29170302, wck=8.108, mem=113M792
13.18/10.68 decisions=33799, wrong=16616, backtracks=5234, failedAssignments=13952, nogoods=2234, foundSolutions=9, bestBound=47
13.18/10.68
13.48/11.00 num=200, depth=1..6, filters=275692, revisions=(9471859,useless=9213335), ccks=30227292, wck=8.433, mem=113M792
13.48/11.00 decisions=35310, wrong=17370, backtracks=5434, failedAssignments=14554, nogoods=2279, foundSolutions=9, bestBound=47
13.48/11.00
13.78/11.28 num=201, depth=0..5, filters=286957, revisions=(9906636,useless=9637572), ccks=31154128, wck=8.716, mem=113M792
13.78/11.28 decisions=36955, wrong=18191, backtracks=5707, failedAssignments=15216, nogoods=2305, foundSolutions=9, bestBound=47
13.78/11.28
14.18/11.65 num=202, depth=0..6, filters=296919, revisions=(10445958,useless=10167886), ccks=32334348, wck=9.079, mem=113M792
14.18/11.65 decisions=38750, wrong=19087, backtracks=6005, failedAssignments=15944, nogoods=2315, foundSolutions=9, bestBound=47
14.18/11.65
14.48/11.95 o 46
14.48/11.95 num=203, depth=1..8, filters=305921, revisions=(10911371,useless=10625064), ccks=33310017, wck=9.383, mem=116M435
14.48/11.95 decisions=40234, wrong=19827, backtracks=6270, failedAssignments=16554, nogoods=2329, foundSolutions=10, bestBound=46
14.48/11.95
14.89/12.33 num=204, depth=0..6, filters=319780, revisions=(11488941,useless=11190007), ccks=34564625, wck=9.766, mem=116M435
14.89/12.33 decisions=42285, wrong=20851, backtracks=6555, failedAssignments=17435, nogoods=2351, foundSolutions=10, bestBound=46
14.89/12.33
14.89/12.34 num=205, depth=3..4, filters=320062, revisions=(11497768,useless=11198561), ccks=34591348, wck=9.773, mem=116M435
14.89/12.34 decisions=42316, wrong=20865, backtracks=6560, failedAssignments=17446, nogoods=2357, foundSolutions=10, bestBound=46
14.89/12.34
14.89/12.35 num=206, depth=3..4, filters=320348, revisions=(11508491,useless=11209018), ccks=34618727, wck=9.781, mem=116M435
14.89/12.35 decisions=42352, wrong=20881, backtracks=6566, failedAssignments=17458, nogoods=2366, foundSolutions=10, bestBound=46
14.89/12.35
14.89/12.36 num=207, depth=2..4, filters=320609, revisions=(11518187,useless=11218471), ccks=34641469, wck=9.788, mem=116M435
14.89/12.36 decisions=42383, wrong=20895, backtracks=6570, failedAssignments=17471, nogoods=2373, foundSolutions=10, bestBound=46
14.89/12.36
14.89/12.37 num=208, depth=3..5, filters=321005, revisions=(11532262,useless=11232172), ccks=34689647, wck=9.801, mem=116M435
14.89/12.37 decisions=42425, wrong=20915, backtracks=6577, failedAssignments=17485, nogoods=2380, foundSolutions=10, bestBound=46
14.89/12.37
14.89/12.38 num=209, depth=1..5, filters=321252, revisions=(11544427,useless=11244111), ccks=34719154, wck=9.81, mem=116M435
14.89/12.38 decisions=42470, wrong=20936, backtracks=6585, failedAssignments=17501, nogoods=2387, foundSolutions=10, bestBound=46
14.89/12.38
14.89/12.39 num=210, depth=2..4, filters=321670, revisions=(11557085,useless=11256368), ccks=34756171, wck=9.82, mem=116M435
14.89/12.39 decisions=42507, wrong=20954, backtracks=6591, failedAssignments=17518, nogoods=2391, foundSolutions=10, bestBound=46
14.89/12.39
15.00/12.40 num=211, depth=2..5, filters=321873, revisions=(11570902,useless=11270010), ccks=34784075, wck=9.829, mem=116M435
15.00/12.40 decisions=42548, wrong=20973, backtracks=6597, failedAssignments=17537, nogoods=2394, foundSolutions=10, bestBound=46
15.00/12.40
15.00/12.41 num=212, depth=2..4, filters=322407, revisions=(11588504,useless=11287109), ccks=34828689, wck=9.843, mem=116M435
15.00/12.41 decisions=42607, wrong=21001, backtracks=6607, failedAssignments=17558, nogoods=2402, foundSolutions=10, bestBound=46
15.00/12.41
15.00/12.42 num=213, depth=2..4, filters=322792, revisions=(11604833,useless=11303088), ccks=34865038, wck=9.854, mem=116M435
15.00/12.42 decisions=42664, wrong=21028, backtracks=6615, failedAssignments=17581, nogoods=2407, foundSolutions=10, bestBound=46
15.00/12.42
15.00/12.43 num=214, depth=2..5, filters=323132, revisions=(11626020,useless=11323976), ccks=34907155, wck=9.867, mem=116M435
15.00/12.43 decisions=42722, wrong=21056, backtracks=6627, failedAssignments=17606, nogoods=2414, foundSolutions=10, bestBound=46
15.00/12.43
15.00/12.45 num=215, depth=2..4, filters=323742, revisions=(11647691,useless=11345064), ccks=34960839, wck=9.883, mem=116M435
15.00/12.45 decisions=42795, wrong=21091, backtracks=6639, failedAssignments=17634, nogoods=2418, foundSolutions=10, bestBound=46
15.00/12.45
15.00/12.46 num=216, depth=2..4, filters=324166, revisions=(11664336,useless=11361325), ccks=34999214, wck=9.895, mem=116M435
15.00/12.46 decisions=42866, wrong=21125, backtracks=6645, failedAssignments=17665, nogoods=2428, foundSolutions=10, bestBound=46
15.00/12.46
15.00/12.48 num=217, depth=2..4, filters=324663, revisions=(11687987,useless=11384520), ccks=35042898, wck=9.909, mem=116M435
15.00/12.48 decisions=42945, wrong=21163, backtracks=6656, failedAssignments=17699, nogoods=2431, foundSolutions=10, bestBound=46
15.00/12.48
15.00/12.49 num=218, depth=1..5, filters=325128, revisions=(11712417,useless=11408531), ccks=35092004, wck=9.924, mem=116M435
15.00/12.49 decisions=43032, wrong=21205, backtracks=6671, failedAssignments=17736, nogoods=2436, foundSolutions=10, bestBound=46
15.00/12.49
15.10/12.52 num=219, depth=2..5, filters=325890, revisions=(11744933,useless=11440338), ccks=35179716, wck=9.95, mem=116M435
15.10/12.52 decisions=43137, wrong=21256, backtracks=6686, failedAssignments=17777, nogoods=2444, foundSolutions=10, bestBound=46
15.10/12.52
15.10/12.54 num=220, depth=2..5, filters=326914, revisions=(11783093,useless=11477527), ccks=35270117, wck=9.977, mem=116M435
15.10/12.54 decisions=43262, wrong=21317, backtracks=6707, failedAssignments=17822, nogoods=2458, foundSolutions=10, bestBound=46
15.10/12.54
15.10/12.57 num=221, depth=2..6, filters=327842, revisions=(11814466,useless=11508037), ccks=35351654, wck=10.0, mem=116M435
15.10/12.57 decisions=43375, wrong=21372, backtracks=6715, failedAssignments=17872, nogoods=2464, foundSolutions=10, bestBound=46
15.10/12.57
15.10/12.59 num=222, depth=2..5, filters=328562, revisions=(11851863,useless=11544782), ccks=35426638, wck=10.024, mem=116M435
15.10/12.59 decisions=43512, wrong=21439, backtracks=6738, failedAssignments=17927, nogoods=2479, foundSolutions=10, bestBound=46
15.10/12.59
15.20/12.63 num=223, depth=3..5, filters=329772, revisions=(11903074,useless=11594863), ccks=35566017, wck=10.065, mem=116M435
15.20/12.63 decisions=43671, wrong=21517, backtracks=6756, failedAssignments=17988, nogoods=2494, foundSolutions=10, bestBound=46
15.20/12.63
15.20/12.67 num=224, depth=2..5, filters=331129, revisions=(11950902,useless=11641385), ccks=35679775, wck=10.099, mem=116M435
15.20/12.67 decisions=43828, wrong=21594, backtracks=6784, failedAssignments=18055, nogoods=2507, foundSolutions=10, bestBound=46
15.20/12.67
15.20/12.69 num=225, depth=1..5, filters=332045, revisions=(12000493,useless=11690139), ccks=35767938, wck=10.128, mem=116M435
15.20/12.69 decisions=44006, wrong=21682, backtracks=6817, failedAssignments=18129, nogoods=2520, foundSolutions=10, bestBound=46
15.20/12.69
15.30/12.73 num=226, depth=1..5, filters=333448, revisions=(12055601,useless=11743937), ccks=35887574, wck=10.164, mem=116M435
15.30/12.73 decisions=44204, wrong=21780, backtracks=6853, failedAssignments=18210, nogoods=2528, foundSolutions=10, bestBound=46
15.30/12.73
15.30/12.79 num=227, depth=2..5, filters=335067, revisions=(12137742,useless=11824610), ccks=36057486, wck=10.218, mem=116M435
15.30/12.79 decisions=44445, wrong=21899, backtracks=6887, failedAssignments=18299, nogoods=2536, foundSolutions=10, bestBound=46
15.30/12.79
15.41/12.80 o 45
15.41/12.80 num=228, depth=2..8, filters=335452, revisions=(12157741,useless=11844255), ccks=36104284, wck=10.233, mem=116M435
15.41/12.80 decisions=44506, wrong=21927, backtracks=6898, failedAssignments=18322, nogoods=2543, foundSolutions=11, bestBound=45
15.41/12.80
15.41/12.84 num=229, depth=1..4, filters=337003, revisions=(12216427,useless=11901512), ccks=36220451, wck=10.269, mem=116M435
15.41/12.84 decisions=44753, wrong=22049, backtracks=6934, failedAssignments=18430, nogoods=2564, foundSolutions=11, bestBound=45
15.41/12.84
15.41/12.84 num=230, depth=2..4, filters=337298, revisions=(12222411,useless=11907214), ccks=36245218, wck=10.275, mem=116M435
15.41/12.84 decisions=44779, wrong=22061, backtracks=6935, failedAssignments=18441, nogoods=2575, foundSolutions=11, bestBound=45
15.41/12.84
15.41/12.85 num=231, depth=1..3, filters=337469, revisions=(12227841,useless=11912479), ccks=36257137, wck=10.279, mem=116M435
15.41/12.85 decisions=44805, wrong=22073, backtracks=6940, failedAssignments=18453, nogoods=2584, foundSolutions=11, bestBound=45
15.41/12.85
15.41/12.85 num=232, depth=2..3, filters=337704, revisions=(12237138,useless=11921554), ccks=36278799, wck=10.285, mem=116M435
15.41/12.85 decisions=44834, wrong=22086, backtracks=6943, failedAssignments=18466, nogoods=2590, foundSolutions=11, bestBound=45
15.41/12.85
15.41/12.86 num=233, depth=2..5, filters=337976, revisions=(12249252,useless=11933421), ccks=36307390, wck=10.294, mem=116M435
15.41/12.86 decisions=44872, wrong=22104, backtracks=6954, failedAssignments=18480, nogoods=2595, foundSolutions=11, bestBound=45
15.41/12.86
15.41/12.87 num=234, depth=2..4, filters=338177, revisions=(12258747,useless=11942724), ccks=36324531, wck=10.3, mem=116M435
15.41/12.87 decisions=44915, wrong=22124, backtracks=6960, failedAssignments=18496, nogoods=2599, foundSolutions=11, bestBound=45
15.41/12.87
15.41/12.87 num=235, depth=1..3, filters=338541, revisions=(12268945,useless=11952579), ccks=36349413, wck=10.307, mem=116M435
15.41/12.87 decisions=44952, wrong=22142, backtracks=6967, failedAssignments=18513, nogoods=2601, foundSolutions=11, bestBound=45
15.41/12.87
15.41/12.88 num=236, depth=1..4, filters=338890, revisions=(12282105,useless=11965421), ccks=36377201, wck=10.316, mem=116M435
15.41/12.88 decisions=45005, wrong=22168, backtracks=6978, failedAssignments=18532, nogoods=2602, foundSolutions=11, bestBound=45
15.41/12.88
15.41/12.90 num=237, depth=2..4, filters=339395, revisions=(12299249,useless=11982089), ccks=36418625, wck=10.328, mem=116M435
15.41/12.90 decisions=45063, wrong=22196, backtracks=6990, failedAssignments=18553, nogoods=2605, foundSolutions=11, bestBound=45
15.41/12.90
15.51/12.91 num=238, depth=1..5, filters=339768, revisions=(12315096,useless=11997586), ccks=36461879, wck=10.341, mem=116M435
15.51/12.91 decisions=45121, wrong=22224, backtracks=6998, failedAssignments=18576, nogoods=2614, foundSolutions=11, bestBound=45
15.51/12.91
15.51/12.92 num=239, depth=2..4, filters=340184, revisions=(12334577,useless=12016685), ccks=36499362, wck=10.353, mem=116M435
15.51/12.92 decisions=45186, wrong=22255, backtracks=7011, failedAssignments=18601, nogoods=2621, foundSolutions=11, bestBound=45
15.51/12.92
15.51/12.93 num=240, depth=2..4, filters=340583, revisions=(12358703,useless=12040455), ccks=36543173, wck=10.367, mem=116M435
15.51/12.93 decisions=45267, wrong=22294, backtracks=7024, failedAssignments=18629, nogoods=2627, foundSolutions=11, bestBound=45
15.51/12.93
15.51/12.95 num=241, depth=2..4, filters=341250, revisions=(12379306,useless=12060426), ccks=36603565, wck=10.384, mem=116M435
15.51/12.95 decisions=45340, wrong=22330, backtracks=7033, failedAssignments=18660, nogoods=2631, foundSolutions=11, bestBound=45
15.51/12.95
15.51/12.97 num=242, depth=1..4, filters=341850, revisions=(12400500,useless=12081062), ccks=36651593, wck=10.398, mem=116M435
15.51/12.97 decisions=45419, wrong=22368, backtracks=7046, failedAssignments=18694, nogoods=2640, foundSolutions=11, bestBound=45
15.51/12.97
15.51/12.98 num=243, depth=1..4, filters=342326, revisions=(12423279,useless=12103394), ccks=36694511, wck=10.412, mem=116M435
15.51/12.98 decisions=45507, wrong=22410, backtracks=7060, failedAssignments=18731, nogoods=2650, foundSolutions=11, bestBound=45
15.51/12.98
15.51/12.99 num=244, depth=1..3, filters=342963, revisions=(12443655,useless=12123168), ccks=36737714, wck=10.425, mem=116M435
15.51/12.99 decisions=45602, wrong=22457, backtracks=7077, failedAssignments=18772, nogoods=2656, foundSolutions=11, bestBound=45
15.51/12.99
15.62/13.01 num=245, depth=1..5, filters=343743, revisions=(12473773,useless=12152546), ccks=36809410, wck=10.447, mem=116M435
15.62/13.01 decisions=45710, wrong=22509, backtracks=7098, failedAssignments=18817, nogoods=2662, foundSolutions=11, bestBound=45
15.62/13.01
15.62/13.04 num=246, depth=2..4, filters=344934, revisions=(12510255,useless=12187897), ccks=36898668, wck=10.473, mem=116M435
15.62/13.04 decisions=45840, wrong=22573, backtracks=7120, failedAssignments=18867, nogoods=2674, foundSolutions=11, bestBound=45
15.62/13.04
15.62/13.07 num=247, depth=1..5, filters=345783, revisions=(12550908,useless=12227766), ccks=36977558, wck=10.498, mem=116M435
15.62/13.07 decisions=45975, wrong=22639, backtracks=7143, failedAssignments=18922, nogoods=2681, foundSolutions=11, bestBound=45
15.62/13.07
15.62/13.10 num=248, depth=2..5, filters=346843, revisions=(12597659,useless=12273564), ccks=37076343, wck=10.529, mem=116M435
15.62/13.10 decisions=46126, wrong=22713, backtracks=7163, failedAssignments=18983, nogoods=2691, foundSolutions=11, bestBound=45
15.62/13.10
15.73/13.12 num=249, depth=1..4, filters=347764, revisions=(12641018,useless=12316085), ccks=37159925, wck=10.556, mem=116M435
15.73/13.12 decisions=46309, wrong=22803, backtracks=7189, failedAssignments=19050, nogoods=2697, foundSolutions=11, bestBound=45
15.73/13.12
15.73/13.16 num=250, depth=1..5, filters=349089, revisions=(12694946,useless=12368797), ccks=37290633, wck=10.594, mem=116M435
15.73/13.16 decisions=46486, wrong=22890, backtracks=7220, failedAssignments=19124, nogoods=2711, foundSolutions=11, bestBound=45
15.73/13.16
15.73/13.19 num=251, depth=2..4, filters=350084, revisions=(12749956,useless=12422926), ccks=37384555, wck=10.625, mem=116M435
15.73/13.19 decisions=46696, wrong=22994, backtracks=7252, failedAssignments=19205, nogoods=2729, foundSolutions=11, bestBound=45
15.73/13.19
15.82/13.24 num=252, depth=1..5, filters=351800, revisions=(12814854,useless=12486203), ccks=37546506, wck=10.673, mem=116M435
15.82/13.24 decisions=46913, wrong=23101, backtracks=7293, failedAssignments=19294, nogoods=2743, foundSolutions=11, bestBound=45
15.82/13.24
15.82/13.29 num=253, depth=1..6, filters=353535, revisions=(12887842,useless=12557594), ccks=37730269, wck=10.727, mem=116M435
15.82/13.29 decisions=47161, wrong=23223, backtracks=7331, failedAssignments=19392, nogoods=2760, foundSolutions=11, bestBound=45
15.82/13.29
15.92/13.35 num=254, depth=2..5, filters=355708, revisions=(12957782,useless=12625471), ccks=37912907, wck=10.78, mem=116M435
15.92/13.35 decisions=47435, wrong=23359, backtracks=7368, failedAssignments=19500, nogoods=2786, foundSolutions=11, bestBound=45
15.92/13.35
15.92/13.39 num=255, depth=1..4, filters=357137, revisions=(13033147,useless=12699525), ccks=38033127, wck=10.821, mem=116M435
15.92/13.39 decisions=47722, wrong=23501, backtracks=7418, failedAssignments=19619, nogoods=2788, foundSolutions=11, bestBound=45
15.92/13.39
16.02/13.44 num=256, depth=1..5, filters=359165, revisions=(13114879,useless=12779396), ccks=38220847, wck=10.877, mem=116M435
16.02/13.44 decisions=48000, wrong=23639, backtracks=7463, failedAssignments=19750, nogoods=2808, foundSolutions=11, bestBound=45
16.02/13.44
16.12/13.50 num=257, depth=1..5, filters=361215, revisions=(13203509,useless=12866142), ccks=38420640, wck=10.938, mem=116M435
16.12/13.50 decisions=48335, wrong=23805, backtracks=7505, failedAssignments=19894, nogoods=2827, foundSolutions=11, bestBound=45
16.12/13.50
16.12/13.56 num=258, depth=1..4, filters=363129, revisions=(13303973,useless=12964897), ccks=38578925, wck=10.992, mem=116M435
16.12/13.56 decisions=48682, wrong=23978, backtracks=7574, failedAssignments=20052, nogoods=2847, foundSolutions=11, bestBound=45
16.12/13.56
16.22/13.64 num=259, depth=2..5, filters=365881, revisions=(13434014,useless=13092387), ccks=38821446, wck=11.071, mem=116M435
16.22/13.64 decisions=49133, wrong=24202, backtracks=7643, failedAssignments=20226, nogoods=2863, foundSolutions=11, bestBound=45
16.22/13.64
16.32/13.71 num=260, depth=1..4, filters=368557, revisions=(13550305,useless=13206181), ccks=39041362, wck=11.141, mem=116M435
16.32/13.71 decisions=49597, wrong=24433, backtracks=7726, failedAssignments=20417, nogoods=2876, foundSolutions=11, bestBound=45
16.32/13.71
16.32/13.78 num=261, depth=0..6, filters=370916, revisions=(13667543,useless=13321263), ccks=39251836, wck=11.21, mem=116M435
16.32/13.78 decisions=50073, wrong=24670, backtracks=7804, failedAssignments=20628, nogoods=2887, foundSolutions=11, bestBound=45
16.32/13.78
16.42/13.87 num=262, depth=1..4, filters=375097, revisions=(13806739,useless=13456522), ccks=39550800, wck=11.301, mem=116M435
16.42/13.87 decisions=50636, wrong=24950, backtracks=7890, failedAssignments=20860, nogoods=2900, foundSolutions=11, bestBound=45
16.42/13.87
16.52/13.96 num=263, depth=0..4, filters=378766, revisions=(13969149,useless=13615559), ccks=39847355, wck=11.397, mem=116M435
16.52/13.96 decisions=51238, wrong=25250, backtracks=7990, failedAssignments=21115, nogoods=2912, foundSolutions=11, bestBound=45
16.52/13.96
16.63/14.07 num=264, depth=1..5, filters=382525, revisions=(14158048,useless=13801033), ccks=40182978, wck=11.507, mem=116M435
16.63/14.07 decisions=51903, wrong=25581, backtracks=8085, failedAssignments=21396, nogoods=2931, foundSolutions=11, bestBound=45
16.63/14.07
16.82/14.21 num=265, depth=0..6, filters=386849, revisions=(14375504,useless=14014573), ccks=40608217, wck=11.641, mem=116M435
16.82/14.21 decisions=52637, wrong=25947, backtracks=8216, failedAssignments=21705, nogoods=2936, foundSolutions=11, bestBound=45
16.82/14.21
16.93/14.32 num=266, depth=0..5, filters=391052, revisions=(14577984,useless=14213197), ccks=40948348, wck=11.756, mem=116M435
16.93/14.32 decisions=53399, wrong=26327, backtracks=8356, failedAssignments=22045, nogoods=2950, foundSolutions=11, bestBound=45
16.93/14.32
17.13/14.51 num=267, depth=1..5, filters=398107, revisions=(14852743,useless=14481316), ccks=41563757, wck=11.942, mem=116M435
17.13/14.51 decisions=54330, wrong=26791, backtracks=8524, failedAssignments=22419, nogoods=2968, foundSolutions=11, bestBound=45
17.13/14.51
17.23/14.67 num=268, depth=0..6, filters=403760, revisions=(15134702,useless=14758044), ccks=42056902, wck=12.104, mem=116M435
17.23/14.67 decisions=55313, wrong=27281, backtracks=8714, failedAssignments=22830, nogoods=2975, foundSolutions=11, bestBound=45
17.23/14.67
17.43/14.89 num=269, depth=1..6, filters=411308, revisions=(15475384,useless=15091846), ccks=42765061, wck=12.323, mem=116M435
17.43/14.89 decisions=56414, wrong=27830, backtracks=8880, failedAssignments=23282, nogoods=2990, foundSolutions=11, bestBound=45
17.43/14.89
17.63/15.10 num=270, depth=0..6, filters=419325, revisions=(15802106,useless=15411209), ccks=43464556, wck=12.535, mem=116M435
17.63/15.10 decisions=57536, wrong=28390, backtracks=9041, failedAssignments=23779, nogoods=3016, foundSolutions=11, bestBound=45
17.63/15.10
17.93/15.36 num=271, depth=0..6, filters=428442, revisions=(16240222,useless=15840899), ccks=44278275, wck=12.798, mem=116M435
17.93/15.36 decisions=58949, wrong=29095, backtracks=9334, failedAssignments=24326, nogoods=3032, foundSolutions=11, bestBound=45
17.93/15.36
18.23/15.63 num=272, depth=1..6, filters=437898, revisions=(16691198,useless=16283181), ccks=45083075, wck=13.061, mem=116M435
18.23/15.63 decisions=60492, wrong=29865, backtracks=9635, failedAssignments=24928, nogoods=3045, foundSolutions=11, bestBound=45
18.23/15.63
18.53/15.92 num=273, depth=0..6, filters=450797, revisions=(17145547,useless=16725392), ccks=46054160, wck=13.357, mem=119M77
18.53/15.92 decisions=62120, wrong=30678, backtracks=9963, failedAssignments=25590, nogoods=3065, foundSolutions=11, bestBound=45
18.53/15.92
18.83/16.28 num=274, depth=0..6, filters=463703, revisions=(17686277,useless=17254010), ccks=47201834, wck=13.711, mem=119M77
18.83/16.28 decisions=64017, wrong=31625, backtracks=10269, failedAssignments=26318, nogoods=3068, foundSolutions=11, bestBound=45
18.83/16.28
19.22/16.64 num=275, depth=0..6, filters=475817, revisions=(18283124,useless=17839862), ccks=48348963, wck=14.073, mem=119M77
19.22/16.64 decisions=65975, wrong=32602, backtracks=10616, failedAssignments=27119, nogoods=3088, foundSolutions=11, bestBound=45
19.22/16.64
19.73/17.12 num=276, depth=1..6, filters=493777, revisions=(18988729,useless=18528524), ccks=49932097, wck=14.551, mem=119M77
19.73/17.12 decisions=68283, wrong=33755, backtracks=11031, failedAssignments=28000, nogoods=3115, foundSolutions=11, bestBound=45
19.73/17.12
20.13/17.58 num=277, depth=0..6, filters=508309, revisions=(19751113,useless=19277795), ccks=51376466, wck=15.01, mem=119M77
20.13/17.58 decisions=70708, wrong=34966, backtracks=11520, failedAssignments=28970, nogoods=3124, foundSolutions=11, bestBound=45
20.13/17.58
20.63/18.03 num=278, depth=0..6, filters=523721, revisions=(20515345,useless=20027997), ccks=52781079, wck=15.461, mem=119M77
20.63/18.03 decisions=73261, wrong=36241, backtracks=11989, failedAssignments=30037, nogoods=3127, foundSolutions=11, bestBound=45
20.63/18.03
21.13/18.55 num=279, depth=1..6, filters=541455, revisions=(21393882,useless=20890170), ccks=54415451, wck=15.984, mem=119M77
21.13/18.55 decisions=76236, wrong=37728, backtracks=12523, failedAssignments=31210, nogoods=3134, foundSolutions=11, bestBound=45
21.13/18.55
21.76/19.12 num=280, depth=0..6, filters=560228, revisions=(22312800,useless=21791923), ccks=56208396, wck=16.55, mem=119M77
21.76/19.12 decisions=79420, wrong=39319, backtracks=13077, failedAssignments=32501, nogoods=3153, foundSolutions=11, bestBound=45
21.76/19.12
22.45/19.84 num=281, depth=0..6, filters=584462, revisions=(23451812,useless=22908430), ccks=58539194, wck=17.274, mem=119M77
22.45/19.84 decisions=83115, wrong=41165, backtracks=13705, failedAssignments=33921, nogoods=3177, foundSolutions=11, bestBound=45
22.45/19.84
23.15/20.56 num=282, depth=0..6, filters=606313, revisions=(24699046,useless=24135879), ccks=60760924, wck=17.995, mem=119M77
23.15/20.56 decisions=87120, wrong=43166, backtracks=14479, failedAssignments=35483, nogoods=3190, foundSolutions=11, bestBound=45
23.15/20.56
23.96/21.39 num=283, depth=0..6, filters=632154, revisions=(26112382,useless=25525721), ccks=63312810, wck=18.821, mem=119M77
23.96/21.39 decisions=91471, wrong=45340, backtracks=15365, failedAssignments=37201, nogoods=3195, foundSolutions=11, bestBound=45
23.96/21.39
24.49/21.80 o 44
24.49/21.80 num=284, depth=1..8, filters=646027, revisions=(26833940,useless=26234441), ccks=64568707, wck=19.233, mem=119M77
24.49/21.80 decisions=93914, wrong=46559, backtracks=15809, failedAssignments=38157, nogoods=3205, foundSolutions=12, bestBound=44
24.49/21.80
25.29/22.68 num=285, depth=0..6, filters=678109, revisions=(28327170,useless=27698040), ccks=67302811, wck=20.113, mem=119M77
25.29/22.68 decisions=99162, wrong=49181, backtracks=16792, failedAssignments=40236, nogoods=3220, foundSolutions=12, bestBound=44
25.29/22.68
25.29/22.69 num=286, depth=2..5, filters=678364, revisions=(28337540,useless=27708173), ccks=67325661, wck=20.12, mem=119M77
25.29/22.69 decisions=99193, wrong=49195, backtracks=16798, failedAssignments=40247, nogoods=3225, foundSolutions=12, bestBound=44
25.29/22.69
25.29/22.69 num=287, depth=2..5, filters=678609, revisions=(28347378,useless=27717784), ccks=67349020, wck=20.127, mem=119M77
25.29/22.69 decisions=99226, wrong=49210, backtracks=16805, failedAssignments=40259, nogoods=3227, foundSolutions=12, bestBound=44
25.29/22.69
25.39/22.70 num=288, depth=1..4, filters=678885, revisions=(28356409,useless=27726558), ccks=67375438, wck=20.134, mem=119M77
25.39/22.70 decisions=99253, wrong=49223, backtracks=16813, failedAssignments=40272, nogoods=3228, foundSolutions=12, bestBound=44
25.39/22.70
25.39/22.71 num=289, depth=2..6, filters=679258, revisions=(28371924,useless=27741722), ccks=67423345, wck=20.148, mem=119M77
25.39/22.71 decisions=99294, wrong=49242, backtracks=16823, failedAssignments=40286, nogoods=3234, foundSolutions=12, bestBound=44
25.39/22.71
25.39/22.72 num=290, depth=3..5, filters=679497, revisions=(28384669,useless=27754249), ccks=67446237, wck=20.155, mem=119M77
25.39/22.72 decisions=99340, wrong=49263, backtracks=16830, failedAssignments=40302, nogoods=3241, foundSolutions=12, bestBound=44
25.39/22.72
25.39/22.73 num=291, depth=2..3, filters=679718, revisions=(28394445,useless=27763818), ccks=67467148, wck=20.162, mem=119M77
25.39/22.73 decisions=99376, wrong=49280, backtracks=16834, failedAssignments=40319, nogoods=3245, foundSolutions=12, bestBound=44
25.39/22.73
25.39/22.74 num=292, depth=2..4, filters=680069, revisions=(28410024,useless=27779069), ccks=67497381, wck=20.171, mem=119M77
25.39/22.74 decisions=99422, wrong=49301, backtracks=16842, failedAssignments=40338, nogoods=3253, foundSolutions=12, bestBound=44
25.39/22.74
25.39/22.75 num=293, depth=2..5, filters=680305, revisions=(28424282,useless=27793118), ccks=67519759, wck=20.179, mem=119M77
25.39/22.75 decisions=99472, wrong=49324, backtracks=16850, failedAssignments=40359, nogoods=3259, foundSolutions=12, bestBound=44
25.39/22.75
25.39/22.76 num=294, depth=3..5, filters=680819, revisions=(28445202,useless=27813556), ccks=67575702, wck=20.195, mem=119M77
25.39/22.76 decisions=99533, wrong=49353, backtracks=16858, failedAssignments=40382, nogoods=3268, foundSolutions=12, bestBound=44
25.39/22.76
25.39/22.78 num=295, depth=1..5, filters=681259, revisions=(28467234,useless=27835183), ccks=67613503, wck=20.208, mem=119M77
25.39/22.78 decisions=99601, wrong=49386, backtracks=16874, failedAssignments=40407, nogoods=3272, foundSolutions=12, bestBound=44
25.39/22.78
25.39/22.79 num=296, depth=2..5, filters=681921, revisions=(28489904,useless=27857225), ccks=67666671, wck=20.224, mem=119M77
25.39/22.79 decisions=99684, wrong=49426, backtracks=16888, failedAssignments=40435, nogoods=3278, foundSolutions=12, bestBound=44
25.39/22.79
25.49/22.81 num=297, depth=2..4, filters=682712, revisions=(28518716,useless=27885292), ccks=67737731, wck=20.245, mem=119M77
25.49/22.81 decisions=99767, wrong=49467, backtracks=16905, failedAssignments=40466, nogoods=3282, foundSolutions=12, bestBound=44
25.49/22.81
25.49/22.83 num=298, depth=2..5, filters=683297, revisions=(28541915,useless=27907939), ccks=67793249, wck=20.262, mem=119M77
25.49/22.83 decisions=99852, wrong=49508, backtracks=16915, failedAssignments=40500, nogoods=3292, foundSolutions=12, bestBound=44
25.49/22.83
25.49/22.85 num=299, depth=2..4, filters=683979, revisions=(28571498,useless=27936879), ccks=67846478, wck=20.279, mem=119M77
25.49/22.85 decisions=99955, wrong=49558, backtracks=16936, failedAssignments=40537, nogoods=3303, foundSolutions=12, bestBound=44
25.49/22.85
25.49/22.86 num=300, depth=2..5, filters=684555, revisions=(28600744,useless=27965598), ccks=67901917, wck=20.297, mem=119M77
25.49/22.86 decisions=100055, wrong=49606, backtracks=16952, failedAssignments=40578, nogoods=3313, foundSolutions=12, bestBound=44
25.49/22.86
25.49/22.88 num=301, depth=1..4, filters=685281, revisions=(28633086,useless=27997258), ccks=67958331, wck=20.316, mem=119M77
25.49/22.88 decisions=100181, wrong=49668, backtracks=16976, failedAssignments=40623, nogoods=3323, foundSolutions=12, bestBound=44
25.49/22.88
25.59/22.91 num=302, depth=2..4, filters=686193, revisions=(28675998,useless=28039329), ccks=68032177, wck=20.34, mem=119M77
25.59/22.91 decisions=100328, wrong=49740, backtracks=17007, failedAssignments=40673, nogoods=3339, foundSolutions=12, bestBound=44
25.59/22.91
25.59/22.93 num=303, depth=1..4, filters=687117, revisions=(28711088,useless=28073558), ccks=68101423, wck=20.362, mem=119M77
25.59/22.93 decisions=100465, wrong=49807, backtracks=17028, failedAssignments=40728, nogoods=3344, foundSolutions=12, bestBound=44
25.59/22.93
25.59/22.95 num=304, depth=2..5, filters=687959, revisions=(28754662,useless=28116342), ccks=68174459, wck=20.387, mem=119M77
25.59/22.95 decisions=100612, wrong=49879, backtracks=17055, failedAssignments=40789, nogoods=3354, foundSolutions=12, bestBound=44
25.59/22.95
25.59/22.98 num=305, depth=1..4, filters=688922, revisions=(28802136,useless=28162938), ccks=68261585, wck=20.415, mem=119M77
25.59/22.98 decisions=100767, wrong=49955, backtracks=17084, failedAssignments=40856, nogoods=3368, foundSolutions=12, bestBound=44
25.59/22.98
25.70/23.02 num=306, depth=2..5, filters=690122, revisions=(28862601,useless=28222290), ccks=68364180, wck=20.449, mem=119M77
25.70/23.02 decisions=100960, wrong=50050, backtracks=17123, failedAssignments=40930, nogoods=3383, foundSolutions=12, bestBound=44
25.70/23.02
25.70/23.05 num=307, depth=0..5, filters=691553, revisions=(28922024,useless=28280357), ccks=68482317, wck=20.486, mem=119M77
25.70/23.05 decisions=101155, wrong=50146, backtracks=17160, failedAssignments=41011, nogoods=3390, foundSolutions=12, bestBound=44
25.70/23.05
25.70/23.08 num=308, depth=1..5, filters=692551, revisions=(28974052,useless=28331456), ccks=68579717, wck=20.518, mem=119M77
25.70/23.08 decisions=101366, wrong=50250, backtracks=17192, failedAssignments=41100, nogoods=3398, foundSolutions=12, bestBound=44
25.70/23.08
25.80/23.13 num=309, depth=1..5, filters=694183, revisions=(29045316,useless=28401210), ccks=68703531, wck=20.559, mem=119M77
25.80/23.13 decisions=101608, wrong=50370, backtracks=17243, failedAssignments=41198, nogoods=3406, foundSolutions=12, bestBound=44
25.80/23.13
25.80/23.17 num=310, depth=1..4, filters=696101, revisions=(29116229,useless=28470318), ccks=68847071, wck=20.603, mem=119M77
25.80/23.17 decisions=101887, wrong=50508, backtracks=17281, failedAssignments=41306, nogoods=3412, foundSolutions=12, bestBound=44
25.80/23.17
25.89/23.22 num=311, depth=1..5, filters=697857, revisions=(29201096,useless=28553576), ccks=68992358, wck=20.651, mem=119M77
25.89/23.22 decisions=102189, wrong=50658, backtracks=17327, failedAssignments=41425, nogoods=3415, foundSolutions=12, bestBound=44
25.89/23.22
25.89/23.26 num=312, depth=0..5, filters=699305, revisions=(29278489,useless=28629678), ccks=69119241, wck=20.694, mem=119M77
25.89/23.26 decisions=102490, wrong=50807, backtracks=17379, failedAssignments=41556, nogoods=3422, foundSolutions=12, bestBound=44
25.89/23.26
25.99/23.32 num=313, depth=1..4, filters=701511, revisions=(29386698,useless=28735874), ccks=69296852, wck=20.753, mem=119M77
25.99/23.32 decisions=102891, wrong=51006, backtracks=17441, failedAssignments=41700, nogoods=3426, foundSolutions=12, bestBound=44
25.99/23.32
25.99/23.38 num=314, depth=1..4, filters=703858, revisions=(29481020,useless=28827996), ccks=69470528, wck=20.808, mem=119M77
25.99/23.38 decisions=103239, wrong=51179, backtracks=17509, failedAssignments=41858, nogoods=3442, foundSolutions=12, bestBound=44
25.99/23.38
26.09/23.46 num=315, depth=1..6, filters=706396, revisions=(29607791,useless=28952428), ccks=69735555, wck=20.89, mem=119M77
26.09/23.46 decisions=103669, wrong=51392, backtracks=17572, failedAssignments=42032, nogoods=3454, foundSolutions=12, bestBound=44
26.09/23.46
26.19/23.51 num=316, depth=1..4, filters=708768, revisions=(29715077,useless=29057537), ccks=69897179, wck=20.946, mem=119M77
26.19/23.51 decisions=104096, wrong=51604, backtracks=17648, failedAssignments=42223, nogoods=3475, foundSolutions=12, bestBound=44
26.19/23.51
26.29/23.63 num=317, depth=1..6, filters=712640, revisions=(29887772,useless=29226599), ccks=70272426, wck=21.061, mem=119M77
26.29/23.63 decisions=104676, wrong=51893, backtracks=17752, failedAssignments=42434, nogoods=3485, foundSolutions=12, bestBound=44
26.29/23.63
26.39/23.73 num=318, depth=1..5, filters=716675, revisions=(30053858,useless=29388898), ccks=70575309, wck=21.159, mem=119M77
26.39/23.73 decisions=105283, wrong=52195, backtracks=17865, failedAssignments=42666, nogoods=3492, foundSolutions=12, bestBound=44
26.39/23.73
26.49/23.82 num=319, depth=1..5, filters=719809, revisions=(30242767,useless=29574979), ccks=70850653, wck=21.255, mem=119M77
26.49/23.82 decisions=105920, wrong=52512, backtracks=17993, failedAssignments=42921, nogoods=3506, foundSolutions=12, bestBound=44
26.49/23.82
26.59/23.93 num=320, depth=1..5, filters=724546, revisions=(30431162,useless=29758909), ccks=71202363, wck=21.367, mem=121M719
26.59/23.93 decisions=106629, wrong=52865, backtracks=18117, failedAssignments=43202, nogoods=3526, foundSolutions=12, bestBound=44
26.59/23.93
26.70/24.07 num=321, depth=1..6, filters=729402, revisions=(30665737,useless=29989003), ccks=71636576, wck=21.506, mem=121M719
26.70/24.07 decisions=107382, wrong=53240, backtracks=18273, failedAssignments=43511, nogoods=3538, foundSolutions=12, bestBound=44
26.70/24.07
26.89/24.25 num=322, depth=1..6, filters=735826, revisions=(30950804,useless=30268040), ccks=72214668, wck=21.687, mem=121M719
26.89/24.25 decisions=108308, wrong=53702, backtracks=18442, failedAssignments=43851, nogoods=3547, foundSolutions=12, bestBound=44
26.89/24.25
26.99/24.38 num=323, depth=0..5, filters=741035, revisions=(31179955,useless=30492379), ccks=72616962, wck=21.818, mem=121M719
26.99/24.38 decisions=109186, wrong=54140, backtracks=18587, failedAssignments=44225, nogoods=3554, foundSolutions=12, bestBound=44
26.99/24.38
27.19/24.56 num=324, depth=1..5, filters=747814, revisions=(31472148,useless=30778227), ccks=73149031, wck=21.988, mem=121M719
27.19/24.56 decisions=110228, wrong=54660, backtracks=18759, failedAssignments=44636, nogoods=3574, foundSolutions=12, bestBound=44
27.19/24.56
27.39/24.74 num=325, depth=1..6, filters=754336, revisions=(31785299,useless=31085375), ccks=73716227, wck=22.171, mem=121M719
27.39/24.74 decisions=111332, wrong=55211, backtracks=18967, failedAssignments=45088, nogoods=3589, foundSolutions=12, bestBound=44
27.39/24.74
27.59/24.93 num=326, depth=1..6, filters=760861, revisions=(32122224,useless=31416324), ccks=74294137, wck=22.361, mem=121M719
27.59/24.93 decisions=112548, wrong=55818, backtracks=19218, failedAssignments=45585, nogoods=3610, foundSolutions=12, bestBound=44
27.59/24.93
27.80/25.14 num=327, depth=0..6, filters=769634, revisions=(32478311,useless=31764114), ccks=74970602, wck=22.576, mem=121M719
27.80/25.14 decisions=113847, wrong=56467, backtracks=19474, failedAssignments=46132, nogoods=3620, foundSolutions=12, bestBound=44
27.80/25.14
28.09/25.42 num=328, depth=0..6, filters=778592, revisions=(32940281,useless=32217861), ccks=75832110, wck=22.853, mem=121M719
28.09/25.42 decisions=115358, wrong=57221, backtracks=19777, failedAssignments=46734, nogoods=3641, foundSolutions=12, bestBound=44
28.09/25.42
28.39/25.72 num=329, depth=1..6, filters=788081, revisions=(33460494,useless=32729459), ccks=76732774, wck=23.147, mem=121M719
28.39/25.72 decisions=117036, wrong=58058, backtracks=20107, failedAssignments=47396, nogoods=3650, foundSolutions=12, bestBound=44
28.39/25.72
28.70/26.01 num=330, depth=0..6, filters=797844, revisions=(34013015,useless=33272993), ccks=77595761, wck=23.442, mem=121M719
28.70/26.01 decisions=118848, wrong=58963, backtracks=20511, failedAssignments=48124, nogoods=3672, foundSolutions=12, bestBound=44
28.70/26.01
28.99/26.37 num=331, depth=1..5, filters=812526, revisions=(34596862,useless=33842918), ccks=78765820, wck=23.807, mem=121M719
28.99/26.37 decisions=120867, wrong=59971, backtracks=20893, failedAssignments=48925, nogoods=3702, foundSolutions=12, bestBound=44
28.99/26.37
29.39/26.73 num=332, depth=0..6, filters=826130, revisions=(35209376,useless=34442792), ccks=79878643, wck=24.165, mem=121M719
29.39/26.73 decisions=123085, wrong=61078, backtracks=21254, failedAssignments=49806, nogoods=3716, foundSolutions=12, bestBound=44
29.39/26.73
29.81/27.14 num=333, depth=0..6, filters=842227, revisions=(35892688,useless=35111038), ccks=81145857, wck=24.57, mem=121M719
29.81/27.14 decisions=125450, wrong=62259, backtracks=21716, failedAssignments=50776, nogoods=3719, foundSolutions=12, bestBound=44
29.81/27.14
30.20/27.58 num=334, depth=0..6, filters=858894, revisions=(36654166,useless=35856949), ccks=82533951, wck=25.016, mem=121M719
30.20/27.58 decisions=128115, wrong=63590, backtracks=22211, failedAssignments=51843, nogoods=3741, foundSolutions=12, bestBound=44
30.20/27.58
30.70/28.10 num=335, depth=0..6, filters=876383, revisions=(37550642,useless=36737215), ccks=84111490, wck=25.531, mem=121M719
30.70/28.10 decisions=131062, wrong=65062, backtracks=22846, failedAssignments=53016, nogoods=3775, foundSolutions=12, bestBound=44
30.70/28.10
31.30/28.64 num=336, depth=0..6, filters=895091, revisions=(38527301,useless=37696563), ccks=85740562, wck=26.074, mem=121M719
31.30/28.64 decisions=134257, wrong=66658, backtracks=23581, failedAssignments=54307, nogoods=3796, foundSolutions=12, bestBound=44
31.30/28.64
32.10/29.46 num=337, depth=1..6, filters=922613, revisions=(39805757,useless=38949339), ccks=88417604, wck=26.894, mem=121M719
32.10/29.46 decisions=138211, wrong=68634, backtracks=24379, failedAssignments=55727, nogoods=3815, foundSolutions=12, bestBound=44
32.10/29.46
32.90/30.21 num=338, depth=0..6, filters=948391, revisions=(41053306,useless=40172874), ccks=90777266, wck=27.644, mem=121M719
32.90/30.21 decisions=142242, wrong=70648, backtracks=25178, failedAssignments=57289, nogoods=3820, foundSolutions=12, bestBound=44
32.90/30.21
33.60/30.99 num=339, depth=0..6, filters=975587, revisions=(42389740,useless=41484044), ccks=93164352, wck=28.418, mem=121M719
33.60/30.99 decisions=146613, wrong=72832, backtracks=26125, failedAssignments=59007, nogoods=3832, foundSolutions=12, bestBound=44
33.60/30.99
34.40/31.73 num=340, depth=0..5, filters=1002139, revisions=(43731636,useless=42801463), ccks=95433976, wck=29.166, mem=121M719
34.40/31.73 decisions=151305, wrong=75177, backtracks=27120, failedAssignments=60897, nogoods=3858, foundSolutions=12, bestBound=44
34.40/31.73
35.30/32.64 num=341, depth=0..6, filters=1033350, revisions=(45316580,useless=44357448), ccks=98204902, wck=30.068, mem=121M719
35.30/32.64 decisions=156469, wrong=77758, backtracks=28206, failedAssignments=62976, nogoods=3885, foundSolutions=12, bestBound=44
35.30/32.64
36.20/33.56 num=342, depth=0..6, filters=1066846, revisions=(46985356,useless=45994951), ccks=101003246, wck=30.994, mem=121M719
36.20/33.56 decisions=162195, wrong=80620, backtracks=29501, failedAssignments=65263, nogoods=3913, foundSolutions=12, bestBound=44
36.20/33.56
37.30/34.64 num=343, depth=0..6, filters=1106924, revisions=(48774416,useless=47746371), ccks=104421899, wck=32.077, mem=121M719
37.30/34.64 decisions=168337, wrong=83690, backtracks=30903, failedAssignments=67779, nogoods=3925, foundSolutions=12, bestBound=44
37.30/34.64
38.00/35.30
38.00/35.30 New Bounds: 44..43
38.00/35.30 num=344, depth=0..6, filters=1131974, revisions=(49887141,useless=48835658), ccks=106478586, wck=32.734, mem=124M362
38.00/35.30 decisions=172587, wrong=85816, backtracks=31876, failedAssignments=69674, foundSolutions=12, bestBound=44
38.00/35.30
38.00/35.30 Global
38.00/35.30 filters=1131974, revisions=(49887141,useless=48835658), ccks=106478586
38.00/35.30 Stop=FULL_EXPLORATION, wrong=85816, bestBound=44, bestBoundWck=19.817, bestBoundCpu=21.633, foundSolutions=12, firstSolCpu=2.636
38.00/35.30 wck=33.318, cpu=35.134, mem=124M362
38.00/35.30
38.00/35.30 v <instantiation id='sol12' type='solution' cost='44'> <list> x[] </list> <values> 0 1 5 12 25 27 35 41 44 </values> </instantiation>
38.00/35.30 s OPTIMUM FOUND
38.00/35.30
38.00/35.30 d WRONG_DECISIONS 85816
38.00/35.30 d NUMBER_SOLUTIONS 12