2.42/1.87
2.42/1.87 AbsCon 2
2.42/1.89
2.94/2.09 Instance
2.94/2.09 name=instance-4390792-1568385548, framework=COP, bounds=-infty..+infty
2.94/2.09
2.94/2.09 Loading variables...
3.27/2.15 Loading constraints...
3.59/2.24
3.59/2.24 Domains
3.59/2.24 nTypes=26, nValues=7943, sizes=[24#32,25#287]
3.59/2.24 Variables
3.59/2.24 count=319, degrees=[2#312,40#7]
3.59/2.24 Objectives
3.59/2.24 way=min, type=SumSimpleLE
3.59/2.24 Constraints
3.59/2.24 count=314, nSpecific=41, arities=[2#273,7#1,8#39,39#1]
3.59/2.24 distribution=[CtrExtensionV-Bits#273,Minimum#39,OrderedLT#1,SumSimpleLE#1]
3.59/2.24 nExtStructures=(25,shared:248), nCftStructures=(25,shared:248,unbuilt:41)
3.59/2.24 wck=0.396, cpu=2.208, mem=29M154
3.59/2.25 Solver SolverBacktrack being built...
3.59/2.25
3.59/2.27
3.59/2.27 Solver
3.59/2.27 guaranteedGAC=true
3.59/2.27 wck=0.426, cpu=2.236, mem=42M439
3.59/2.28
3.59/2.28 Preprocessing
3.59/2.28 filters=325, revisions=(483,useless=210), nACremovedValues=1897, nTotalRemovedValues=1897, inconcistency=false
3.59/2.28 wck=0.01, cpu=2.248, mem=42M439
3.59/2.28
3.86/2.30 o 10022
3.86/2.31 num=0, depth=320..318, filters=747, revisions=(756,useless=210), ccks=314, wck=0.041, mem=42M439
3.86/2.31 decisions=7, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=1, bestBound=10022
3.86/2.31
3.86/2.33 o 7594
3.86/2.33 num=1, depth=320..318, filters=1149, revisions=(1575,useless=756), ccks=628, wck=0.05, mem=42M439
3.86/2.33 decisions=14, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=2, bestBound=7594
3.86/2.33
3.86/2.33 o 7392
3.86/2.33 num=2, depth=6..318, filters=1775, revisions=(2550,useless=1302), ccks=942, wck=0.058, mem=42M439
3.86/2.33 decisions=23, wrong=1, backtracks=0, failedAssignments=1, nogoods=1, foundSolutions=3, bestBound=7392
3.86/2.33
3.86/2.34 num=3, depth=13..15, filters=4417, revisions=(5344,useless=1862), ccks=942, wck=0.067, mem=42M439
3.86/2.34 decisions=60, wrong=13, backtracks=2, failedAssignments=12, nogoods=11, foundSolutions=3, bestBound=7392
3.86/2.34
3.86/2.35 o 7389
3.86/2.35 num=4, depth=0..318, filters=5720, revisions=(6436,useless=1862), ccks=1256, wck=0.072, mem=42M439
3.86/2.35 decisions=67, wrong=15, backtracks=2, failedAssignments=14, nogoods=12, foundSolutions=4, bestBound=7389
3.86/2.35
3.86/2.35 o 7323
3.86/2.35 num=5, depth=1..318, filters=7275, revisions=(8318,useless=2413), ccks=1570, wck=0.078, mem=42M439
3.86/2.35 decisions=74, wrong=17, backtracks=2, failedAssignments=16, nogoods=14, foundSolutions=5, bestBound=7323
3.86/2.35
3.86/2.35 o 7322
3.86/2.35 num=6, depth=1..318, filters=8749, revisions=(10166,useless=2979), ccks=1884, wck=0.083, mem=42M439
3.86/2.35 decisions=84, wrong=20, backtracks=2, failedAssignments=19, nogoods=17, foundSolutions=6, bestBound=7322
3.86/2.35
3.86/2.36 o 7315
3.86/2.36 num=7, depth=2..318, filters=9587, revisions=(11452,useless=3532), ccks=2198, wck=0.087, mem=45M82
3.86/2.36 decisions=89, wrong=21, backtracks=2, failedAssignments=20, nogoods=18, foundSolutions=7, bestBound=7315
3.86/2.36
3.86/2.36 o 7314
3.86/2.36 num=8, depth=2..318, filters=10392, revisions=(12705,useless=4085), ccks=2512, wck=0.091, mem=45M82
3.86/2.36 decisions=94, wrong=22, backtracks=2, failedAssignments=21, nogoods=19, foundSolutions=8, bestBound=7314
3.86/2.36
3.86/2.37 o 7267
3.86/2.37 num=9, depth=1..318, filters=11795, revisions=(14464,useless=4638), ccks=2826, wck=0.096, mem=45M82
3.86/2.37 decisions=101, wrong=23, backtracks=2, failedAssignments=22, nogoods=20, foundSolutions=9, bestBound=7267
3.86/2.37
3.86/2.37 o 7266
3.86/2.37 num=10, depth=1..318, filters=12987, revisions=(16069,useless=5203), ccks=3140, wck=0.101, mem=45M82
3.86/2.37 decisions=110, wrong=25, backtracks=2, failedAssignments=24, nogoods=22, foundSolutions=10, bestBound=7266
3.86/2.37
3.86/2.37 o 7259
3.86/2.38 num=11, depth=320..318, filters=13759, revisions=(17285,useless=5764), ccks=3454, wck=0.104, mem=45M82
3.86/2.38 decisions=114, wrong=25, backtracks=2, failedAssignments=24, nogoods=22, foundSolutions=11, bestBound=7259
3.86/2.38
3.86/2.38 o 7258
3.86/2.38 num=12, depth=2..318, filters=14656, revisions=(18619,useless=6327), ccks=3768, wck=0.108, mem=45M82
3.86/2.38 decisions=122, wrong=27, backtracks=3, failedAssignments=25, nogoods=23, foundSolutions=12, bestBound=7258
3.86/2.38
3.86/2.39 o 1751
3.86/2.39 num=13, depth=1..318, filters=17191, revisions=(21364,useless=6888), ccks=4082, wck=0.115, mem=45M82
3.86/2.39 decisions=152, wrong=39, backtracks=5, failedAssignments=35, nogoods=32, foundSolutions=13, bestBound=1751
3.86/2.39
3.86/2.39 num=14, depth=1..6, filters=19858, revisions=(24192,useless=7459), ccks=4082, wck=0.122, mem=45M82
3.86/2.39 decisions=182, wrong=52, backtracks=7, failedAssignments=46, nogoods=42, foundSolutions=13, bestBound=1751
3.86/2.39
4.18/2.40 num=15, depth=2..5, filters=22155, revisions=(26060,useless=7496), ccks=4082, wck=0.129, mem=45M82
4.18/2.40 decisions=209, wrong=63, backtracks=7, failedAssignments=57, nogoods=53, foundSolutions=13, bestBound=1751
4.18/2.40
4.18/2.41 num=16, depth=0..2, filters=26447, revisions=(29609,useless=7535), ccks=4082, wck=0.139, mem=45M82
4.18/2.41 decisions=235, wrong=75, backtracks=7, failedAssignments=69, nogoods=57, foundSolutions=13, bestBound=1751
4.18/2.41
4.18/2.42 num=17, depth=0..3, filters=30661, revisions=(33211,useless=7587), ccks=4082, wck=0.148, mem=45M82
4.18/2.42 decisions=270, wrong=91, backtracks=10, failedAssignments=82, nogoods=61, foundSolutions=13, bestBound=1751
4.18/2.42
4.18/2.42 o 1601
4.18/2.42 num=18, depth=3..318, filters=31753, revisions=(34149,useless=7591), ccks=4396, wck=0.152, mem=45M82
4.18/2.42 decisions=283, wrong=94, backtracks=11, failedAssignments=84, nogoods=62, foundSolutions=14, bestBound=1601
4.18/2.42
4.18/2.43 o 1552
4.18/2.43 num=19, depth=7..318, filters=32782, revisions=(35553,useless=8139), ccks=4710, wck=0.156, mem=45M82
4.18/2.43 decisions=297, wrong=97, backtracks=11, failedAssignments=87, nogoods=65, foundSolutions=15, bestBound=1552
4.18/2.43
4.18/2.43 num=20, depth=4..7, filters=35755, revisions=(38635,useless=8710), ccks=4710, wck=0.162, mem=45M82
4.18/2.43 decisions=342, wrong=116, backtracks=21, failedAssignments=98, nogoods=69, foundSolutions=15, bestBound=1552
4.18/2.43
4.18/2.44 num=21, depth=2..7, filters=39055, revisions=(41521,useless=8731), ccks=4710, wck=0.167, mem=45M82
4.18/2.44 decisions=373, wrong=129, backtracks=24, failedAssignments=109, nogoods=73, foundSolutions=15, bestBound=1552
4.18/2.44
4.18/2.44 o 1537
4.18/2.44 num=22, depth=4..318, filters=40600, revisions=(42809,useless=8735), ccks=5024, wck=0.172, mem=45M82
4.18/2.44 decisions=394, wrong=136, backtracks=25, failedAssignments=115, nogoods=75, foundSolutions=16, bestBound=1537
4.18/2.44
4.18/2.45 num=23, depth=2..8, filters=44991, revisions=(47309,useless=9306), ccks=5024, wck=0.179, mem=45M82
4.18/2.45 decisions=442, wrong=157, backtracks=34, failedAssignments=128, nogoods=83, foundSolutions=16, bestBound=1537
4.18/2.45
4.18/2.45 o 1456
4.18/2.46 num=24, depth=3..318, filters=46701, revisions=(48723,useless=9311), ccks=5338, wck=0.184, mem=45M82
4.18/2.46 decisions=467, wrong=166, backtracks=36, failedAssignments=136, nogoods=87, foundSolutions=17, bestBound=1456
4.18/2.46
4.18/2.46 num=25, depth=3..7, filters=51024, revisions=(53368,useless=9893), ccks=5338, wck=0.191, mem=45M82
4.18/2.46 decisions=510, wrong=185, backtracks=44, failedAssignments=148, nogoods=93, foundSolutions=17, bestBound=1456
4.18/2.46
4.18/2.47 num=26, depth=0..3, filters=53784, revisions=(55593,useless=9940), ccks=5338, wck=0.197, mem=45M82
4.18/2.47 decisions=542, wrong=201, backtracks=50, failedAssignments=159, nogoods=93, foundSolutions=17, bestBound=1456
4.18/2.47
4.18/2.47 num=27, depth=0..3, filters=56510, revisions=(57876,useless=9970), ccks=5338, wck=0.203, mem=45M82
4.18/2.47 decisions=574, wrong=216, backtracks=53, failedAssignments=171, nogoods=96, foundSolutions=17, bestBound=1456
4.18/2.47
4.18/2.48 num=28, depth=1..3, filters=59528, revisions=(60256,useless=10019), ccks=5338, wck=0.209, mem=45M82
4.18/2.48 decisions=610, wrong=233, backtracks=57, failedAssignments=184, nogoods=101, foundSolutions=17, bestBound=1456
4.18/2.48
4.18/2.49 num=29, depth=1..6, filters=62510, revisions=(62815,useless=10051), ccks=5338, wck=0.216, mem=45M82
4.18/2.49 decisions=649, wrong=252, backtracks=63, failedAssignments=198, nogoods=104, foundSolutions=17, bestBound=1456
4.18/2.49
4.49/2.50 num=30, depth=1..5, filters=68504, revisions=(68391,useless=10169), ccks=5338, wck=0.226, mem=45M82
4.49/2.50 decisions=696, wrong=274, backtracks=70, failedAssignments=214, nogoods=111, foundSolutions=17, bestBound=1456
4.49/2.50
4.49/2.50 num=31, depth=4..5, filters=72253, revisions=(71505,useless=10226), ccks=5338, wck=0.233, mem=47M724
4.49/2.50 decisions=742, wrong=295, backtracks=74, failedAssignments=231, nogoods=122, foundSolutions=17, bestBound=1456
4.49/2.50
4.49/2.51 num=32, depth=1..6, filters=78583, revisions=(77361,useless=10329), ccks=5338, wck=0.243, mem=47M724
4.49/2.51 decisions=802, wrong=324, backtracks=86, failedAssignments=250, nogoods=131, foundSolutions=17, bestBound=1456
4.49/2.51
4.49/2.52 num=33, depth=3..6, filters=82581, revisions=(80931,useless=10369), ccks=5338, wck=0.25, mem=47M724
4.49/2.52 decisions=856, wrong=349, backtracks=92, failedAssignments=271, nogoods=139, foundSolutions=17, bestBound=1456
4.49/2.52
4.49/2.53 num=34, depth=1..3, filters=87761, revisions=(85055,useless=10415), ccks=5338, wck=0.26, mem=47M724
4.49/2.53 decisions=927, wrong=383, backtracks=103, failedAssignments=294, nogoods=148, foundSolutions=17, bestBound=1456
4.49/2.53
4.49/2.54 num=35, depth=0..6, filters=92120, revisions=(88687,useless=10461), ccks=5338, wck=0.268, mem=47M724
4.49/2.54 decisions=989, wrong=414, backtracks=109, failedAssignments=319, nogoods=148, foundSolutions=17, bestBound=1456
4.49/2.54
4.49/2.55 num=36, depth=0..7, filters=100662, revisions=(96047,useless=10578), ccks=5338, wck=0.28, mem=47M724
4.49/2.55 decisions=1082, wrong=458, backtracks=127, failedAssignments=347, nogoods=151, foundSolutions=17, bestBound=1456
4.49/2.55
4.49/2.56 num=37, depth=2..5, filters=108092, revisions=(102205,useless=10708), ccks=5338, wck=0.291, mem=47M724
4.49/2.56 decisions=1169, wrong=500, backtracks=140, failedAssignments=378, nogoods=161, foundSolutions=17, bestBound=1456
4.49/2.56
4.49/2.57 num=38, depth=1..6, filters=116298, revisions=(109504,useless=10768), ccks=5338, wck=0.3, mem=47M724
4.49/2.57 decisions=1258, wrong=542, backtracks=149, failedAssignments=412, nogoods=175, foundSolutions=17, bestBound=1456
4.49/2.57
4.49/2.58 num=39, depth=2..4, filters=123502, revisions=(115336,useless=10791), ccks=5338, wck=0.31, mem=47M724
4.49/2.58 decisions=1377, wrong=600, backtracks=171, failedAssignments=449, nogoods=186, foundSolutions=17, bestBound=1456
4.49/2.58
4.49/2.59 num=40, depth=2..7, filters=131107, revisions=(122091,useless=10848), ccks=5338, wck=0.319, mem=47M724
4.49/2.59 decisions=1479, wrong=650, backtracks=186, failedAssignments=490, nogoods=189, foundSolutions=17, bestBound=1456
4.49/2.59
4.80/2.60 num=41, depth=1..4, filters=140396, revisions=(129517,useless=10952), ccks=5338, wck=0.331, mem=47M724
4.80/2.60 decisions=1599, wrong=709, backtracks=202, failedAssignments=535, nogoods=203, foundSolutions=17, bestBound=1456
4.80/2.60
4.80/2.61 o 1455
4.80/2.61 num=42, depth=1..318, filters=146376, revisions=(134898,useless=11034), ccks=5652, wck=0.34, mem=47M724
4.80/2.61 decisions=1661, wrong=737, backtracks=213, failedAssignments=552, nogoods=211, foundSolutions=18, bestBound=1455
4.80/2.61
4.80/2.62 num=43, depth=3..6, filters=156830, revisions=(144638,useless=11622), ccks=5652, wck=0.352, mem=47M724
4.80/2.62 decisions=1795, wrong=802, backtracks=226, failedAssignments=607, nogoods=222, foundSolutions=18, bestBound=1455
4.80/2.62
4.80/2.63 num=44, depth=2..6, filters=159328, revisions=(146586,useless=11640), ccks=5652, wck=0.355, mem=47M724
4.80/2.63 decisions=1828, wrong=816, backtracks=229, failedAssignments=618, nogoods=227, foundSolutions=18, bestBound=1455
4.80/2.63
4.80/2.63 num=45, depth=3..6, filters=162099, revisions=(148937,useless=11658), ccks=5652, wck=0.359, mem=47M724
4.80/2.63 decisions=1862, wrong=831, backtracks=232, failedAssignments=630, nogoods=236, foundSolutions=18, bestBound=1455
4.80/2.63
4.80/2.63 num=46, depth=3..5, filters=165128, revisions=(151362,useless=11671), ccks=5652, wck=0.363, mem=47M724
4.80/2.63 decisions=1901, wrong=849, backtracks=238, failedAssignments=643, nogoods=244, foundSolutions=18, bestBound=1455
4.80/2.63
4.80/2.64 o 1441
4.80/2.64 num=47, depth=3..318, filters=166847, revisions=(152731,useless=11680), ccks=5966, wck=0.367, mem=47M724
4.80/2.64 decisions=1924, wrong=858, backtracks=239, failedAssignments=651, nogoods=248, foundSolutions=19, bestBound=1441
4.80/2.64
4.80/2.64 o 1425
4.80/2.64 num=48, depth=3..318, filters=168556, revisions=(154645,useless=12234), ccks=6280, wck=0.37, mem=47M724
4.80/2.64 decisions=1947, wrong=867, backtracks=240, failedAssignments=659, nogoods=252, foundSolutions=20, bestBound=1425
4.80/2.64
4.80/2.64 o 1410
4.80/2.64 num=49, depth=3..318, filters=169946, revisions=(156323,useless=12786), ccks=6594, wck=0.374, mem=47M724
4.80/2.64 decisions=1966, wrong=874, backtracks=243, failedAssignments=664, nogoods=254, foundSolutions=21, bestBound=1410
4.80/2.64
4.80/2.65 o 1394
4.80/2.65 num=50, depth=4..318, filters=170631, revisions=(157415,useless=13332), ccks=6908, wck=0.376, mem=47M724
4.80/2.65 decisions=1973, wrong=875, backtracks=243, failedAssignments=665, nogoods=255, foundSolutions=22, bestBound=1394
4.80/2.65
4.80/2.65 num=51, depth=3..5, filters=173034, revisions=(159922,useless=13888), ccks=6908, wck=0.38, mem=47M724
4.80/2.65 decisions=2008, wrong=891, backtracks=249, failedAssignments=676, nogoods=262, foundSolutions=22, bestBound=1394
4.80/2.65
4.80/2.66 num=52, depth=0..5, filters=176728, revisions=(163089,useless=13912), ccks=6908, wck=0.384, mem=47M724
4.80/2.66 decisions=2044, wrong=908, backtracks=256, failedAssignments=687, nogoods=263, foundSolutions=22, bestBound=1394
4.80/2.66
4.80/2.66 num=53, depth=3..6, filters=179638, revisions=(165622,useless=13939), ccks=6908, wck=0.388, mem=47M724
4.80/2.66 decisions=2078, wrong=923, backtracks=260, failedAssignments=699, nogoods=269, foundSolutions=22, bestBound=1394
4.80/2.66
4.80/2.66 num=54, depth=1..4, filters=183566, revisions=(168987,useless=14017), ccks=6908, wck=0.393, mem=47M724
4.80/2.66 decisions=2115, wrong=941, backtracks=266, failedAssignments=712, nogoods=280, foundSolutions=22, bestBound=1394
4.80/2.66
4.80/2.67 num=55, depth=2..7, filters=187158, revisions=(172161,useless=14063), ccks=6908, wck=0.396, mem=47M724
4.80/2.67 decisions=2152, wrong=958, backtracks=271, failedAssignments=726, nogoods=283, foundSolutions=22, bestBound=1394
4.80/2.67
4.80/2.67 num=56, depth=2..6, filters=191875, revisions=(175994,useless=14089), ccks=6908, wck=0.403, mem=47M724
4.80/2.67 decisions=2205, wrong=983, backtracks=284, failedAssignments=742, nogoods=292, foundSolutions=22, bestBound=1394
4.80/2.67
4.80/2.68 num=57, depth=1..5, filters=197071, revisions=(180609,useless=14154), ccks=6908, wck=0.408, mem=47M724
4.80/2.68 decisions=2254, wrong=1005, backtracks=293, failedAssignments=759, nogoods=295, foundSolutions=22, bestBound=1394
4.80/2.68
4.80/2.68 num=58, depth=3..5, filters=200990, revisions=(183846,useless=14174), ccks=6908, wck=0.413, mem=47M724
4.80/2.68 decisions=2316, wrong=1034, backtracks=303, failedAssignments=778, nogoods=301, foundSolutions=22, bestBound=1394
4.80/2.68
4.80/2.69 num=59, depth=0..7, filters=205184, revisions=(187204,useless=14196), ccks=6908, wck=0.419, mem=47M724
4.80/2.69 decisions=2377, wrong=1062, backtracks=311, failedAssignments=799, nogoods=305, foundSolutions=22, bestBound=1394
4.80/2.69
5.11/2.70 num=60, depth=4..7, filters=212145, revisions=(193436,useless=14274), ccks=6908, wck=0.427, mem=47M724
5.11/2.70 decisions=2445, wrong=1093, backtracks=319, failedAssignments=822, nogoods=314, foundSolutions=22, bestBound=1394
5.11/2.70
5.11/2.70 num=61, depth=4..7, filters=218568, revisions=(199142,useless=14405), ccks=6908, wck=0.433, mem=47M724
5.11/2.70 decisions=2512, wrong=1124, backtracks=326, failedAssignments=847, nogoods=320, foundSolutions=22, bestBound=1394
5.11/2.70
5.11/2.71 num=62, depth=3..9, filters=226406, revisions=(206267,useless=14465), ccks=6908, wck=0.441, mem=47M724
5.11/2.71 decisions=2588, wrong=1160, backtracks=339, failedAssignments=875, nogoods=327, foundSolutions=22, bestBound=1394
5.11/2.71
5.11/2.72 num=63, depth=0..8, filters=232692, revisions=(211341,useless=14524), ccks=6908, wck=0.45, mem=47M724
5.11/2.72 decisions=2676, wrong=1201, backtracks=352, failedAssignments=906, nogoods=336, foundSolutions=22, bestBound=1394
5.11/2.72
5.11/2.73 num=64, depth=3..6, filters=239831, revisions=(217232,useless=14581), ccks=6908, wck=0.459, mem=47M724
5.11/2.73 decisions=2775, wrong=1249, backtracks=369, failedAssignments=940, nogoods=348, foundSolutions=22, bestBound=1394
5.11/2.73
5.11/2.74 num=65, depth=2..7, filters=249239, revisions=(225769,useless=14720), ccks=6908, wck=0.468, mem=47M724
5.11/2.74 decisions=2876, wrong=1298, backtracks=385, failedAssignments=977, nogoods=356, foundSolutions=22, bestBound=1394
5.11/2.74
5.11/2.75 num=66, depth=1..5, filters=257013, revisions=(232188,useless=14768), ccks=6908, wck=0.478, mem=47M724
5.11/2.75 decisions=2989, wrong=1354, backtracks=403, failedAssignments=1018, nogoods=365, foundSolutions=22, bestBound=1394
5.11/2.75
5.11/2.76 num=67, depth=2..5, filters=266323, revisions=(240590,useless=14908), ccks=6908, wck=0.487, mem=47M724
5.11/2.76 decisions=3098, wrong=1407, backtracks=413, failedAssignments=1063, nogoods=379, foundSolutions=22, bestBound=1394
5.11/2.76
5.11/2.77 num=68, depth=4..7, filters=275655, revisions=(248106,useless=14979), ccks=6908, wck=0.499, mem=47M724
5.11/2.77 decisions=3237, wrong=1474, backtracks=436, failedAssignments=1113, nogoods=389, foundSolutions=22, bestBound=1394
5.11/2.77
5.11/2.78 num=69, depth=2..6, filters=288369, revisions=(259372,useless=15205), ccks=6908, wck=0.512, mem=47M724
5.11/2.78 decisions=3384, wrong=1546, backtracks=457, failedAssignments=1168, nogoods=398, foundSolutions=22, bestBound=1394
5.11/2.78
5.39/2.80 num=70, depth=3..6, filters=300626, revisions=(269353,useless=15355), ccks=6908, wck=0.528, mem=47M724
5.39/2.80 decisions=3560, wrong=1632, backtracks=485, failedAssignments=1229, nogoods=405, foundSolutions=22, bestBound=1394
5.39/2.80
5.39/2.81 o 1373
5.39/2.81 num=71, depth=3..318, filters=311005, revisions=(277777,useless=15430), ccks=7222, wck=0.542, mem=47M724
5.39/2.81 decisions=3737, wrong=1717, backtracks=515, failedAssignments=1290, nogoods=411, foundSolutions=23, bestBound=1373
5.39/2.81
5.39/2.83 o 1372
5.39/2.83 num=72, depth=1..318, filters=329745, revisions=(295421,useless=16116), ccks=7536, wck=0.561, mem=47M724
5.39/2.83 decisions=3935, wrong=1812, backtracks=549, failedAssignments=1357, nogoods=421, foundSolutions=24, bestBound=1372
5.39/2.83
5.39/2.84 num=73, depth=1..7, filters=333833, revisions=(299432,useless=16683), ccks=7536, wck=0.566, mem=50M367
5.39/2.84 decisions=3968, wrong=1826, backtracks=552, failedAssignments=1368, nogoods=430, foundSolutions=24, bestBound=1372
5.39/2.84
5.39/2.84 num=74, depth=4..6, filters=336272, revisions=(301379,useless=16694), ccks=7536, wck=0.569, mem=50M367
5.39/2.84 decisions=4004, wrong=1842, backtracks=557, failedAssignments=1379, nogoods=437, foundSolutions=24, bestBound=1372
5.39/2.84
5.39/2.84 num=75, depth=1..6, filters=340008, revisions=(304662,useless=16753), ccks=7536, wck=0.574, mem=50M367
5.39/2.84 decisions=4044, wrong=1859, backtracks=563, failedAssignments=1391, nogoods=441, foundSolutions=24, bestBound=1372
5.39/2.84
5.39/2.85 num=76, depth=4..6, filters=344121, revisions=(308449,useless=16809), ccks=7536, wck=0.577, mem=50M367
5.39/2.85 decisions=4081, wrong=1875, backtracks=566, failedAssignments=1404, nogoods=450, foundSolutions=24, bestBound=1372
5.39/2.85
5.39/2.85 num=77, depth=2..4, filters=347721, revisions=(311336,useless=16830), ccks=7536, wck=0.582, mem=50M367
5.39/2.85 decisions=4128, wrong=1897, backtracks=574, failedAssignments=1418, nogoods=457, foundSolutions=24, bestBound=1372
5.39/2.85
5.39/2.86 num=78, depth=3..6, filters=352340, revisions=(315546,useless=16926), ccks=7536, wck=0.587, mem=50M367
5.39/2.86 decisions=4172, wrong=1917, backtracks=580, failedAssignments=1434, nogoods=466, foundSolutions=24, bestBound=1372
5.39/2.86
5.39/2.86 num=79, depth=2..5, filters=356686, revisions=(319096,useless=16947), ccks=7536, wck=0.592, mem=50M367
5.39/2.86 decisions=4225, wrong=1942, backtracks=590, failedAssignments=1451, nogoods=471, foundSolutions=24, bestBound=1372
5.39/2.86
5.39/2.87 num=80, depth=0..6, filters=363369, revisions=(324936,useless=17056), ccks=7536, wck=0.6, mem=50M367
5.39/2.87 decisions=4290, wrong=1973, backtracks=602, failedAssignments=1470, nogoods=474, foundSolutions=24, bestBound=1372
5.39/2.87
5.39/2.88 num=81, depth=0..6, filters=366751, revisions=(327714,useless=17070), ccks=7536, wck=0.605, mem=50M367
5.39/2.88 decisions=4345, wrong=1999, backtracks=609, failedAssignments=1491, nogoods=476, foundSolutions=24, bestBound=1372
5.39/2.88
5.39/2.88 num=82, depth=2..6, filters=371929, revisions=(332222,useless=17103), ccks=7536, wck=0.61, mem=50M367
5.39/2.88 decisions=4408, wrong=2028, backtracks=615, failedAssignments=1514, nogoods=489, foundSolutions=24, bestBound=1372
5.39/2.88
5.39/2.89 num=83, depth=3..6, filters=377107, revisions=(336464,useless=17125), ccks=7536, wck=0.617, mem=50M367
5.39/2.89 decisions=4488, wrong=2066, backtracks=630, failedAssignments=1539, nogoods=498, foundSolutions=24, bestBound=1372
5.39/2.89
5.39/2.89 o 1364
5.39/2.89 num=84, depth=4..318, filters=380335, revisions=(339245,useless=17152), ccks=7850, wck=0.621, mem=50M367
5.39/2.89 decisions=4524, wrong=2081, backtracks=636, failedAssignments=1550, nogoods=503, foundSolutions=25, bestBound=1364
5.39/2.89
5.70/2.90 o 1352
5.70/2.90 num=85, depth=4..318, filters=385248, revisions=(344087,useless=17704), ccks=8164, wck=0.628, mem=50M367
5.70/2.90 decisions=4579, wrong=2105, backtracks=640, failedAssignments=1570, nogoods=509, foundSolutions=26, bestBound=1352
5.70/2.90
5.70/2.90 num=86, depth=4..7, filters=388124, revisions=(347100,useless=18256), ccks=8164, wck=0.632, mem=50M367
5.70/2.90 decisions=4614, wrong=2120, backtracks=644, failedAssignments=1581, nogoods=517, foundSolutions=26, bestBound=1352
5.70/2.90
5.70/2.91 num=87, depth=3..6, filters=390330, revisions=(348882,useless=18268), ccks=8164, wck=0.636, mem=50M367
5.70/2.91 decisions=4646, wrong=2134, backtracks=649, failedAssignments=1592, nogoods=519, foundSolutions=26, bestBound=1352
5.70/2.91
5.70/2.91 num=88, depth=2..4, filters=392976, revisions=(351018,useless=18291), ccks=8164, wck=0.64, mem=50M367
5.70/2.91 decisions=4683, wrong=2151, backtracks=654, failedAssignments=1604, nogoods=521, foundSolutions=26, bestBound=1352
5.70/2.91
5.70/2.91 num=89, depth=2..6, filters=396044, revisions=(353639,useless=18304), ccks=8164, wck=0.643, mem=50M367
5.70/2.91 decisions=4721, wrong=2168, backtracks=659, failedAssignments=1617, nogoods=524, foundSolutions=26, bestBound=1352
5.70/2.91
5.70/2.92 num=90, depth=2..7, filters=400023, revisions=(356883,useless=18331), ccks=8164, wck=0.648, mem=50M367
5.70/2.92 decisions=4771, wrong=2191, backtracks=669, failedAssignments=1631, nogoods=530, foundSolutions=26, bestBound=1352
5.70/2.92
5.70/2.92 num=91, depth=4..8, filters=403271, revisions=(359508,useless=18346), ccks=8164, wck=0.653, mem=50M367
5.70/2.92 decisions=4820, wrong=2213, backtracks=677, failedAssignments=1647, nogoods=534, foundSolutions=26, bestBound=1352
5.70/2.92
5.70/2.93 num=92, depth=3..8, filters=406896, revisions=(362629,useless=18353), ccks=8164, wck=0.657, mem=50M367
5.70/2.93 decisions=4868, wrong=2234, backtracks=683, failedAssignments=1664, nogoods=545, foundSolutions=26, bestBound=1352
5.70/2.93
5.70/2.93 num=93, depth=2..6, filters=411462, revisions=(366354,useless=18398), ccks=8164, wck=0.663, mem=50M367
5.70/2.93 decisions=4929, wrong=2263, backtracks=698, failedAssignments=1683, nogoods=552, foundSolutions=26, bestBound=1352
5.70/2.93
5.70/2.94 num=94, depth=2..6, filters=415460, revisions=(369595,useless=18429), ccks=8164, wck=0.668, mem=50M367
5.70/2.94 decisions=4989, wrong=2292, backtracks=707, failedAssignments=1704, nogoods=553, foundSolutions=26, bestBound=1352
5.70/2.94
5.70/2.94 num=95, depth=2..8, filters=420873, revisions=(374280,useless=18455), ccks=8164, wck=0.674, mem=50M367
5.70/2.94 decisions=5058, wrong=2324, backtracks=718, failedAssignments=1727, nogoods=559, foundSolutions=26, bestBound=1352
5.70/2.94
5.70/2.95 num=96, depth=2..4, filters=426791, revisions=(379076,useless=18521), ccks=8164, wck=0.681, mem=50M367
5.70/2.95 decisions=5131, wrong=2359, backtracks=728, failedAssignments=1752, nogoods=569, foundSolutions=26, bestBound=1352
5.70/2.95
5.70/2.96 num=97, depth=1..6, filters=431908, revisions=(383312,useless=18552), ccks=8164, wck=0.687, mem=50M367
5.70/2.96 decisions=5203, wrong=2392, backtracks=733, failedAssignments=1780, nogoods=573, foundSolutions=26, bestBound=1352
5.70/2.96
5.70/2.97 num=98, depth=3..6, filters=438842, revisions=(388912,useless=18611), ccks=8164, wck=0.695, mem=50M367
5.70/2.97 decisions=5295, wrong=2436, backtracks=749, failedAssignments=1811, nogoods=583, foundSolutions=26, bestBound=1352
5.70/2.97
5.70/2.97 o 1351
5.70/2.97 num=99, depth=2..318, filters=442637, revisions=(392169,useless=18658), ccks=8478, wck=0.7, mem=50M367
5.70/2.97 decisions=5338, wrong=2455, backtracks=754, failedAssignments=1825, nogoods=586, foundSolutions=27, bestBound=1351
5.70/2.97
5.70/2.98 num=100, depth=2..7, filters=451330, revisions=(400499,useless=19247), ccks=8478, wck=0.709, mem=50M367
5.70/2.98 decisions=5443, wrong=2506, backtracks=774, failedAssignments=1862, nogoods=593, foundSolutions=27, bestBound=1351
5.70/2.98
5.70/2.98 o 1299
5.70/2.98 num=101, depth=2..318, filters=453301, revisions=(402143,useless=19250), ccks=8792, wck=0.712, mem=50M367
5.70/2.98 decisions=5468, wrong=2516, backtracks=780, failedAssignments=1867, nogoods=596, foundSolutions=28, bestBound=1299
5.70/2.98
5.70/2.99 num=102, depth=3..6, filters=456661, revisions=(405585,useless=19815), ccks=8792, wck=0.716, mem=50M367
5.70/2.99 decisions=5501, wrong=2530, backtracks=782, failedAssignments=1879, nogoods=605, foundSolutions=28, bestBound=1299
5.70/2.99
5.70/2.99 num=103, depth=3..6, filters=459292, revisions=(407892,useless=19830), ccks=8792, wck=0.718, mem=50M367
5.70/2.99 decisions=5529, wrong=2542, backtracks=783, failedAssignments=1890, nogoods=614, foundSolutions=28, bestBound=1299
5.70/2.99
5.70/2.99 o 1291
5.70/2.99 num=104, depth=3..318, filters=460548, revisions=(408909,useless=19830), ccks=9106, wck=0.72, mem=50M367
5.70/2.99 decisions=5544, wrong=2547, backtracks=785, failedAssignments=1893, nogoods=616, foundSolutions=29, bestBound=1291
5.70/2.99
5.70/2.99 num=105, depth=4..7, filters=463534, revisions=(412005,useless=20401), ccks=9106, wck=0.723, mem=50M367
5.70/2.99 decisions=5582, wrong=2564, backtracks=790, failedAssignments=1906, nogoods=621, foundSolutions=29, bestBound=1291
5.70/2.99
5.70/3.00 num=106, depth=3..6, filters=465970, revisions=(413988,useless=20416), ccks=9106, wck=0.725, mem=50M367
5.70/3.00 decisions=5619, wrong=2581, backtracks=797, failedAssignments=1917, nogoods=624, foundSolutions=29, bestBound=1291
5.70/3.00
5.70/3.00 num=107, depth=5..8, filters=469438, revisions=(416965,useless=20445), ccks=9106, wck=0.728, mem=50M367
5.70/3.00 decisions=5655, wrong=2596, backtracks=800, failedAssignments=1929, nogoods=627, foundSolutions=29, bestBound=1291
5.70/3.00
5.70/3.00 num=108, depth=2..5, filters=472813, revisions=(419758,useless=20477), ccks=9106, wck=0.732, mem=50M367
5.70/3.00 decisions=5694, wrong=2614, backtracks=806, failedAssignments=1942, nogoods=633, foundSolutions=29, bestBound=1291
5.70/3.00
5.92/3.01 num=109, depth=2..6, filters=477291, revisions=(423660,useless=20542), ccks=9106, wck=0.735, mem=50M367
5.92/3.01 decisions=5732, wrong=2631, backtracks=809, failedAssignments=1956, nogoods=641, foundSolutions=29, bestBound=1291
5.92/3.01
5.92/3.01 num=110, depth=2..4, filters=481044, revisions=(426798,useless=20565), ccks=9106, wck=0.739, mem=50M367
5.92/3.01 decisions=5785, wrong=2656, backtracks=818, failedAssignments=1972, nogoods=649, foundSolutions=29, bestBound=1291
5.92/3.01
5.92/3.01 num=111, depth=1..6, filters=484756, revisions=(430033,useless=20587), ccks=9106, wck=0.742, mem=50M367
5.92/3.01 decisions=5835, wrong=2678, backtracks=825, failedAssignments=1989, nogoods=652, foundSolutions=29, bestBound=1291
5.92/3.01
5.92/3.02 num=112, depth=2..5, filters=488544, revisions=(433126,useless=20611), ccks=9106, wck=0.746, mem=50M367
5.92/3.02 decisions=5886, wrong=2702, backtracks=833, failedAssignments=2008, nogoods=659, foundSolutions=29, bestBound=1291
5.92/3.02
5.92/3.02 num=113, depth=1..6, filters=492384, revisions=(436305,useless=20655), ccks=9106, wck=0.75, mem=50M367
5.92/3.02 decisions=5942, wrong=2728, backtracks=839, failedAssignments=2029, nogoods=664, foundSolutions=29, bestBound=1291
5.92/3.02
5.92/3.03 num=114, depth=1..6, filters=496613, revisions=(439949,useless=20683), ccks=9106, wck=0.76, mem=50M367
5.92/3.03 decisions=5997, wrong=2754, backtracks=846, failedAssignments=2052, nogoods=676, foundSolutions=29, bestBound=1291
5.92/3.03
5.92/3.04 o 1284
5.92/3.04 num=115, depth=2..318, filters=499823, revisions=(442607,useless=20692), ccks=9420, wck=0.769, mem=50M367
5.92/3.04 decisions=6037, wrong=2771, backtracks=854, failedAssignments=2065, nogoods=681, foundSolutions=30, bestBound=1284
5.92/3.04
5.92/3.06 num=116, depth=2..8, filters=508063, revisions=(450506,useless=21314), ccks=9420, wck=0.787, mem=50M367
5.92/3.06 decisions=6121, wrong=2810, backtracks=868, failedAssignments=2093, nogoods=684, foundSolutions=30, bestBound=1284
5.92/3.06
5.92/3.06 num=117, depth=2..6, filters=510416, revisions=(452474,useless=21329), ccks=9420, wck=0.793, mem=50M367
5.92/3.06 decisions=6154, wrong=2825, backtracks=875, failedAssignments=2104, nogoods=687, foundSolutions=30, bestBound=1284
5.92/3.06
5.92/3.07 num=118, depth=5..7, filters=514110, revisions=(455648,useless=21345), ccks=9420, wck=0.802, mem=50M367
5.92/3.07 decisions=6191, wrong=2841, backtracks=880, failedAssignments=2116, nogoods=693, foundSolutions=30, bestBound=1284
5.92/3.07
5.92/3.08 num=119, depth=1..5, filters=517265, revisions=(458237,useless=21371), ccks=9420, wck=0.811, mem=50M367
5.92/3.08 decisions=6232, wrong=2860, backtracks=888, failedAssignments=2129, nogoods=696, foundSolutions=30, bestBound=1284
5.92/3.08
5.92/3.09 num=120, depth=4..7, filters=520343, revisions=(460775,useless=21408), ccks=9420, wck=0.82, mem=50M367
5.92/3.09 decisions=6272, wrong=2878, backtracks=894, failedAssignments=2143, nogoods=700, foundSolutions=30, bestBound=1284
5.92/3.09
6.06/3.19 num=121, depth=2..7, filters=524408, revisions=(464313,useless=21434), ccks=9420, wck=0.829, mem=50M367
6.06/3.19 decisions=6314, wrong=2897, backtracks=899, failedAssignments=2159, nogoods=710, foundSolutions=30, bestBound=1284
6.06/3.19
6.06/3.19 num=122, depth=2..6, filters=528750, revisions=(467890,useless=21467), ccks=9420, wck=0.842, mem=50M367
6.06/3.19 decisions=6371, wrong=2924, backtracks=913, failedAssignments=2176, nogoods=715, foundSolutions=30, bestBound=1284
6.06/3.19
6.06/3.19 num=123, depth=2..5, filters=533231, revisions=(471589,useless=21516), ccks=9420, wck=0.854, mem=50M367
6.06/3.19 decisions=6430, wrong=2952, backtracks=925, failedAssignments=2195, nogoods=721, foundSolutions=30, bestBound=1284
6.06/3.19
6.06/3.19 num=124, depth=3..6, filters=538226, revisions=(475987,useless=21543), ccks=9420, wck=0.865, mem=50M367
6.06/3.19 decisions=6485, wrong=2978, backtracks=935, failedAssignments=2216, nogoods=729, foundSolutions=30, bestBound=1284
6.06/3.19
6.06/3.19 num=125, depth=2..5, filters=543615, revisions=(480439,useless=21608), ccks=9420, wck=0.879, mem=50M367
6.06/3.19 decisions=6555, wrong=3012, backtracks=948, failedAssignments=2239, nogoods=735, foundSolutions=30, bestBound=1284
6.06/3.19
6.06/3.19 num=126, depth=3..7, filters=549301, revisions=(485436,useless=21668), ccks=9420, wck=0.893, mem=50M367
6.06/3.19 decisions=6636, wrong=3051, backtracks=963, failedAssignments=2264, nogoods=739, foundSolutions=30, bestBound=1284
6.06/3.19
6.06/3.19 num=127, depth=2..7, filters=556561, revisions=(491889,useless=21714), ccks=9420, wck=0.909, mem=50M367
6.06/3.19 decisions=6722, wrong=3093, backtracks=985, failedAssignments=2292, nogoods=743, foundSolutions=30, bestBound=1284
6.06/3.19
6.06/3.20 num=128, depth=2..7, filters=564622, revisions=(498975,useless=21766), ccks=9420, wck=0.929, mem=50M367
6.06/3.20 decisions=6807, wrong=3134, backtracks=998, failedAssignments=2323, nogoods=753, foundSolutions=30, bestBound=1284
6.06/3.20
6.06/3.21 o 1276
6.06/3.22 num=129, depth=2..318, filters=569785, revisions=(503309,useless=21793), ccks=9734, wck=0.944, mem=53M9
6.06/3.22 decisions=6880, wrong=3168, backtracks=1012, failedAssignments=2348, nogoods=758, foundSolutions=31, bestBound=1276
6.06/3.22
6.06/3.24 num=130, depth=3..7, filters=579334, revisions=(512405,useless=22429), ccks=9734, wck=0.965, mem=53M9
6.06/3.24 decisions=6975, wrong=3214, backtracks=1027, failedAssignments=2385, nogoods=760, foundSolutions=31, bestBound=1276
6.06/3.24
6.06/3.24 num=131, depth=2..5, filters=582498, revisions=(515029,useless=22452), ccks=9734, wck=0.973, mem=53M9
6.06/3.24 decisions=7015, wrong=3233, backtracks=1036, failedAssignments=2396, nogoods=766, foundSolutions=31, bestBound=1276
6.06/3.24
6.06/3.25 num=132, depth=4..7, filters=587107, revisions=(519055,useless=22474), ccks=9734, wck=0.983, mem=53M9
6.06/3.25 decisions=7058, wrong=3252, backtracks=1043, failedAssignments=2408, nogoods=772, foundSolutions=31, bestBound=1276
6.06/3.25
6.06/3.27 num=133, depth=1..4, filters=591252, revisions=(522508,useless=22515), ccks=9734, wck=0.994, mem=53M9
6.06/3.27 decisions=7105, wrong=3274, backtracks=1054, failedAssignments=2421, nogoods=775, foundSolutions=31, bestBound=1276
6.06/3.27
6.06/3.28 num=134, depth=1..6, filters=595240, revisions=(525967,useless=22543), ccks=9734, wck=1.004, mem=53M9
6.06/3.28 decisions=7143, wrong=3291, backtracks=1060, failedAssignments=2435, nogoods=782, foundSolutions=31, bestBound=1276
6.06/3.28
6.06/3.28 o 1273
6.06/3.28 num=135, depth=3..318, filters=596324, revisions=(526865,useless=22547), ccks=10048, wck=1.008, mem=53M9
6.06/3.28 decisions=7154, wrong=3294, backtracks=1060, failedAssignments=2438, nogoods=785, foundSolutions=32, bestBound=1273
6.06/3.28
6.37/3.29 num=136, depth=3..7, filters=601115, revisions=(531634,useless=23108), ccks=10048, wck=1.019, mem=53M9
6.37/3.29 decisions=7198, wrong=3314, backtracks=1066, failedAssignments=2455, nogoods=791, foundSolutions=32, bestBound=1273
6.37/3.29
6.41/3.30 num=137, depth=2..4, filters=603472, revisions=(533567,useless=23133), ccks=10048, wck=1.026, mem=53M9
6.41/3.30 decisions=7230, wrong=3329, backtracks=1071, failedAssignments=2466, nogoods=799, foundSolutions=32, bestBound=1273
6.41/3.30
6.41/3.31 num=138, depth=4..7, filters=606860, revisions=(536462,useless=23146), ccks=10048, wck=1.034, mem=53M9
6.41/3.31 decisions=7265, wrong=3344, backtracks=1076, failedAssignments=2478, nogoods=806, foundSolutions=32, bestBound=1273
6.41/3.31
6.41/3.31 o 1263
6.41/3.31 num=139, depth=3..318, filters=608048, revisions=(537443,useless=23151), ccks=10362, wck=1.039, mem=53M9
6.41/3.31 decisions=7278, wrong=3348, backtracks=1077, failedAssignments=2481, nogoods=809, foundSolutions=33, bestBound=1263
6.41/3.31
6.41/3.32 num=140, depth=2..7, filters=612235, revisions=(541634,useless=23752), ccks=10362, wck=1.046, mem=53M9
6.41/3.32 decisions=7316, wrong=3365, backtracks=1082, failedAssignments=2495, nogoods=815, foundSolutions=33, bestBound=1263
6.41/3.32
6.41/3.32 num=141, depth=1..5, filters=614601, revisions=(543630,useless=23771), ccks=10362, wck=1.048, mem=53M9
6.41/3.32 decisions=7348, wrong=3380, backtracks=1086, failedAssignments=2506, nogoods=819, foundSolutions=33, bestBound=1263
6.41/3.32
6.41/3.32 num=142, depth=1..6, filters=617033, revisions=(545632,useless=23797), ccks=10362, wck=1.051, mem=53M9
6.41/3.32 decisions=7383, wrong=3396, backtracks=1090, failedAssignments=2518, nogoods=822, foundSolutions=33, bestBound=1263
6.41/3.32
6.41/3.33 num=143, depth=2..6, filters=621798, revisions=(549893,useless=23845), ccks=10362, wck=1.055, mem=53M9
6.41/3.33 decisions=7424, wrong=3415, backtracks=1098, failedAssignments=2531, nogoods=827, foundSolutions=33, bestBound=1263
6.41/3.33
6.41/3.33 num=144, depth=2..5, filters=625229, revisions=(552838,useless=23867), ccks=10362, wck=1.057, mem=53M9
6.41/3.33 decisions=7468, wrong=3436, backtracks=1107, failedAssignments=2545, nogoods=834, foundSolutions=33, bestBound=1263
6.41/3.33
6.41/3.33 num=145, depth=3..6, filters=629431, revisions=(556323,useless=23901), ccks=10362, wck=1.062, mem=53M9
6.41/3.33 decisions=7531, wrong=3466, backtracks=1121, failedAssignments=2561, nogoods=845, foundSolutions=33, bestBound=1263
6.41/3.33
6.41/3.34 num=146, depth=2..7, filters=635846, revisions=(562093,useless=23994), ccks=10362, wck=1.066, mem=53M9
6.41/3.34 decisions=7589, wrong=3492, backtracks=1133, failedAssignments=2578, nogoods=849, foundSolutions=33, bestBound=1263
6.41/3.34
6.41/3.34 num=147, depth=2..7, filters=640966, revisions=(566416,useless=24088), ccks=10362, wck=1.071, mem=53M9
6.41/3.34 decisions=7657, wrong=3524, backtracks=1151, failedAssignments=2597, nogoods=854, foundSolutions=33, bestBound=1263
6.41/3.34
6.41/3.35 num=148, depth=2..6, filters=646796, revisions=(571675,useless=24147), ccks=10362, wck=1.076, mem=53M9
6.41/3.35 decisions=7731, wrong=3559, backtracks=1166, failedAssignments=2618, nogoods=861, foundSolutions=33, bestBound=1263
6.41/3.35
6.41/3.35 num=149, depth=1..5, filters=651966, revisions=(576019,useless=24187), ccks=10362, wck=1.08, mem=53M9
6.41/3.35 decisions=7801, wrong=3593, backtracks=1180, failedAssignments=2641, nogoods=868, foundSolutions=33, bestBound=1263
6.41/3.35
6.41/3.36 num=150, depth=1..6, filters=658602, revisions=(581932,useless=24231), ccks=10362, wck=1.086, mem=53M9
6.41/3.36 decisions=7886, wrong=3633, backtracks=1199, failedAssignments=2666, nogoods=872, foundSolutions=33, bestBound=1263
6.41/3.36
6.41/3.36 num=151, depth=1..7, filters=665584, revisions=(587759,useless=24298), ccks=10362, wck=1.092, mem=53M9
6.41/3.36 decisions=7973, wrong=3676, backtracks=1220, failedAssignments=2694, nogoods=880, foundSolutions=33, bestBound=1263
6.41/3.36
6.41/3.37 num=152, depth=1..6, filters=671644, revisions=(592985,useless=24354), ccks=10362, wck=1.097, mem=53M9
6.41/3.37 decisions=8065, wrong=3720, backtracks=1236, failedAssignments=2725, nogoods=885, foundSolutions=33, bestBound=1263
6.41/3.37
6.41/3.38 num=153, depth=0..7, filters=678731, revisions=(598959,useless=24492), ccks=10362, wck=1.104, mem=53M9
6.41/3.38 decisions=8159, wrong=3765, backtracks=1250, failedAssignments=2759, nogoods=891, foundSolutions=33, bestBound=1263
6.41/3.38
6.41/3.38 num=154, depth=1..7, filters=687036, revisions=(606416,useless=24671), ccks=10362, wck=1.11, mem=53M9
6.41/3.38 decisions=8252, wrong=3811, backtracks=1264, failedAssignments=2796, nogoods=894, foundSolutions=33, bestBound=1263
6.41/3.38
6.41/3.39 num=155, depth=4..7, filters=694848, revisions=(612864,useless=24774), ccks=10362, wck=1.117, mem=53M9
6.41/3.39 decisions=8367, wrong=3866, backtracks=1280, failedAssignments=2837, nogoods=904, foundSolutions=33, bestBound=1263
6.41/3.39
6.41/3.40 num=156, depth=1..5, filters=702957, revisions=(619497,useless=24814), ccks=10362, wck=1.125, mem=53M9
6.41/3.40 decisions=8495, wrong=3929, backtracks=1300, failedAssignments=2882, nogoods=910, foundSolutions=33, bestBound=1263
6.41/3.40
6.53/3.40 num=157, depth=2..8, filters=713731, revisions=(629118,useless=24902), ccks=10362, wck=1.133, mem=53M9
6.53/3.40 decisions=8621, wrong=3990, backtracks=1316, failedAssignments=2932, nogoods=922, foundSolutions=33, bestBound=1263
6.53/3.40
6.53/3.41 o 1260
6.53/3.41 num=158, depth=4..318, filters=715787, revisions=(630805,useless=24903), ccks=10676, wck=1.136, mem=53M9
6.53/3.41 decisions=8647, wrong=4000, backtracks=1319, failedAssignments=2940, nogoods=925, foundSolutions=34, bestBound=1260
6.53/3.41
6.53/3.42 num=159, depth=3..9, filters=729308, revisions=(643591,useless=25657), ccks=10676, wck=1.146, mem=53M9
6.53/3.42 decisions=8808, wrong=4079, backtracks=1346, failedAssignments=3001, nogoods=933, foundSolutions=34, bestBound=1260
6.53/3.42
6.53/3.42 num=160, depth=4..7, filters=731985, revisions=(645817,useless=25662), ccks=10676, wck=1.148, mem=53M9
6.53/3.42 decisions=8841, wrong=4093, backtracks=1352, failedAssignments=3012, nogoods=938, foundSolutions=34, bestBound=1260
6.53/3.42
6.53/3.42 num=161, depth=2..6, filters=734659, revisions=(648022,useless=25676), ccks=10676, wck=1.151, mem=53M9
6.53/3.42 decisions=8883, wrong=4113, backtracks=1362, failedAssignments=3024, nogoods=939, foundSolutions=34, bestBound=1260
6.53/3.42
6.53/3.42 num=162, depth=3..6, filters=737434, revisions=(650349,useless=25684), ccks=10676, wck=1.153, mem=53M9
6.53/3.42 decisions=8915, wrong=4127, backtracks=1363, failedAssignments=3037, nogoods=948, foundSolutions=34, bestBound=1260
6.53/3.42
6.53/3.43 o 1245
6.53/3.43 num=163, depth=4..318, filters=738872, revisions=(651530,useless=25686), ccks=10990, wck=1.155, mem=53M9
6.53/3.43 decisions=8930, wrong=4132, backtracks=1364, failedAssignments=3041, nogoods=951, foundSolutions=35, bestBound=1245
6.53/3.43
6.53/3.43 num=164, depth=2..6, filters=742639, revisions=(655398,useless=26284), ccks=10990, wck=1.159, mem=53M9
6.53/3.43 decisions=8974, wrong=4152, backtracks=1369, failedAssignments=3057, nogoods=954, foundSolutions=35, bestBound=1245
6.53/3.43
6.53/3.43 o 1235
6.53/3.43 num=165, depth=3..318, filters=743780, revisions=(656355,useless=26290), ccks=11304, wck=1.161, mem=53M9
6.53/3.43 decisions=8982, wrong=4154, backtracks=1369, failedAssignments=3059, nogoods=956, foundSolutions=36, bestBound=1235
6.53/3.43
6.53/3.44 num=166, depth=3..5, filters=747173, revisions=(659839,useless=26848), ccks=11304, wck=1.164, mem=53M9
6.53/3.44 decisions=9015, wrong=4169, backtracks=1372, failedAssignments=3071, nogoods=959, foundSolutions=36, bestBound=1235
6.53/3.44
6.53/3.44 o 1177
6.53/3.44 num=167, depth=2..318, filters=749750, revisions=(661995,useless=26871), ccks=11618, wck=1.167, mem=53M9
6.53/3.44 decisions=9040, wrong=4179, backtracks=1374, failedAssignments=3079, nogoods=967, foundSolutions=37, bestBound=1177
6.53/3.44
6.53/3.44 num=168, depth=3..9, filters=753275, revisions=(665658,useless=27439), ccks=11618, wck=1.17, mem=53M9
6.53/3.44 decisions=9086, wrong=4200, backtracks=1385, failedAssignments=3091, nogoods=971, foundSolutions=37, bestBound=1177
6.53/3.44
6.53/3.44 o 1167
6.53/3.44 num=169, depth=4..318, filters=754676, revisions=(666780,useless=27439), ccks=11932, wck=1.172, mem=53M9
6.53/3.44 decisions=9104, wrong=4206, backtracks=1386, failedAssignments=3096, nogoods=976, foundSolutions=38, bestBound=1167
6.53/3.44
6.53/3.45 num=170, depth=2..5, filters=757860, revisions=(670124,useless=28013), ccks=11932, wck=1.175, mem=53M9
6.53/3.45 decisions=9136, wrong=4220, backtracks=1388, failedAssignments=3108, nogoods=983, foundSolutions=38, bestBound=1167
6.53/3.45
6.53/3.45 num=171, depth=1..6, filters=760075, revisions=(671912,useless=28040), ccks=11932, wck=1.178, mem=53M9
6.53/3.45 decisions=9167, wrong=4235, backtracks=1393, failedAssignments=3119, nogoods=984, foundSolutions=38, bestBound=1167
6.53/3.45
6.53/3.45 num=172, depth=3..5, filters=763639, revisions=(675045,useless=28139), ccks=11932, wck=1.181, mem=53M9
6.53/3.45 decisions=9200, wrong=4250, backtracks=1396, failedAssignments=3131, nogoods=985, foundSolutions=38, bestBound=1167
6.53/3.45
6.53/3.45 num=173, depth=3..6, filters=767007, revisions=(677900,useless=28179), ccks=11932, wck=1.184, mem=53M9
6.53/3.45 decisions=9241, wrong=4269, backtracks=1403, failedAssignments=3144, nogoods=992, foundSolutions=38, bestBound=1167
6.53/3.45
6.53/3.46 num=174, depth=4..6, filters=770681, revisions=(680857,useless=28205), ccks=11932, wck=1.187, mem=53M9
6.53/3.46 decisions=9282, wrong=4287, backtracks=1408, failedAssignments=3158, nogoods=1000, foundSolutions=38, bestBound=1167
6.53/3.46
6.53/3.46 num=175, depth=0..6, filters=774894, revisions=(684440,useless=28224), ccks=11932, wck=1.191, mem=53M9
6.53/3.46 decisions=9329, wrong=4308, backtracks=1413, failedAssignments=3174, nogoods=1005, foundSolutions=38, bestBound=1167
6.53/3.46
6.53/3.47 num=176, depth=1..6, filters=779196, revisions=(688019,useless=28278), ccks=11932, wck=1.195, mem=53M9
6.53/3.47 decisions=9385, wrong=4335, backtracks=1427, failedAssignments=3191, nogoods=1009, foundSolutions=38, bestBound=1167
6.53/3.47
6.53/3.47 num=177, depth=0..6, filters=784460, revisions=(692524,useless=28334), ccks=11932, wck=1.2, mem=55M652
6.53/3.47 decisions=9446, wrong=4363, backtracks=1436, failedAssignments=3210, nogoods=1011, foundSolutions=38, bestBound=1167
6.53/3.47
6.53/3.48 num=178, depth=3..7, filters=788299, revisions=(695660,useless=28341), ccks=11932, wck=1.204, mem=55M652
6.53/3.48 decisions=9503, wrong=4390, backtracks=1446, failedAssignments=3231, nogoods=1018, foundSolutions=38, bestBound=1167
6.53/3.48
6.53/3.48 num=179, depth=2..6, filters=792789, revisions=(699569,useless=28380), ccks=11932, wck=1.208, mem=55M652
6.53/3.48 decisions=9567, wrong=4420, backtracks=1457, failedAssignments=3254, nogoods=1025, foundSolutions=38, bestBound=1167
6.53/3.48
6.53/3.48 o 1163
6.53/3.48 num=180, depth=2..318, filters=796688, revisions=(702788,useless=28390), ccks=12246, wck=1.212, mem=55M652
6.53/3.48 decisions=9623, wrong=4445, backtracks=1466, failedAssignments=3274, nogoods=1033, foundSolutions=39, bestBound=1163
6.53/3.48
6.53/3.49 num=181, depth=2..7, filters=804110, revisions=(710087,useless=29018), ccks=12246, wck=1.218, mem=55M652
6.53/3.49 decisions=9697, wrong=4481, backtracks=1478, failedAssignments=3302, nogoods=1040, foundSolutions=39, bestBound=1163
6.53/3.49
6.53/3.49 num=182, depth=3..7, filters=807272, revisions=(712708,useless=29059), ccks=12246, wck=1.221, mem=55M652
6.53/3.49 decisions=9732, wrong=4497, backtracks=1485, failedAssignments=3313, nogoods=1043, foundSolutions=39, bestBound=1163
6.53/3.49
6.53/3.50 num=183, depth=1..7, filters=811214, revisions=(716298,useless=29138), ccks=12246, wck=1.224, mem=55M652
6.53/3.50 decisions=9773, wrong=4516, backtracks=1495, failedAssignments=3325, nogoods=1046, foundSolutions=39, bestBound=1163
6.53/3.50
6.64/3.50 o 1143
6.64/3.50 num=184, depth=3..318, filters=812635, revisions=(717500,useless=29142), ccks=12560, wck=1.226, mem=55M652
6.64/3.50 decisions=9789, wrong=4521, backtracks=1496, failedAssignments=3329, nogoods=1050, foundSolutions=40, bestBound=1143
6.64/3.50
6.64/3.50 num=185, depth=1..5, filters=816977, revisions=(721966,useless=29706), ccks=12560, wck=1.23, mem=55M652
6.64/3.50 decisions=9829, wrong=4539, backtracks=1500, failedAssignments=3343, nogoods=1052, foundSolutions=40, bestBound=1143
6.64/3.50
6.64/3.50 num=186, depth=3..6, filters=819860, revisions=(724462,useless=29739), ccks=12560, wck=1.233, mem=55M652
6.64/3.50 decisions=9863, wrong=4554, backtracks=1506, failedAssignments=3354, nogoods=1055, foundSolutions=40, bestBound=1143
6.64/3.50
6.64/3.51 o 1133
6.64/3.51 num=187, depth=5..318, filters=820841, revisions=(725274,useless=29739), ccks=12874, wck=1.235, mem=55M652
6.64/3.51 decisions=9871, wrong=4555, backtracks=1506, failedAssignments=3355, nogoods=1056, foundSolutions=41, bestBound=1133
6.64/3.51
6.64/3.51 num=188, depth=3..7, filters=824121, revisions=(728688,useless=30305), ccks=12874, wck=1.238, mem=55M652
6.64/3.51 decisions=9907, wrong=4571, backtracks=1511, failedAssignments=3368, nogoods=1060, foundSolutions=41, bestBound=1133
6.64/3.51
6.64/3.51 num=189, depth=2..5, filters=826934, revisions=(731099,useless=30336), ccks=12874, wck=1.24, mem=55M652
6.64/3.51 decisions=9941, wrong=4587, backtracks=1517, failedAssignments=3379, nogoods=1066, foundSolutions=41, bestBound=1133
6.64/3.51
6.64/3.51 num=190, depth=0..5, filters=830032, revisions=(733721,useless=30372), ccks=12874, wck=1.243, mem=55M652
6.64/3.51 decisions=9981, wrong=4605, backtracks=1523, failedAssignments=3391, nogoods=1068, foundSolutions=41, bestBound=1133
6.64/3.51
6.64/3.52 num=191, depth=3..7, filters=834944, revisions=(738250,useless=30456), ccks=12874, wck=1.247, mem=55M652
6.64/3.52 decisions=10038, wrong=4631, backtracks=1537, failedAssignments=3404, nogoods=1072, foundSolutions=41, bestBound=1133
6.64/3.52
6.64/3.52 num=192, depth=1..6, filters=839133, revisions=(741776,useless=30491), ccks=12874, wck=1.251, mem=55M652
6.64/3.52 decisions=10077, wrong=4648, backtracks=1542, failedAssignments=3418, nogoods=1083, foundSolutions=41, bestBound=1133
6.64/3.52
6.64/3.53 num=193, depth=1..5, filters=843800, revisions=(745732,useless=30542), ccks=12874, wck=1.255, mem=55M652
6.64/3.53 decisions=10137, wrong=4677, backtracks=1556, failedAssignments=3434, nogoods=1085, foundSolutions=41, bestBound=1133
6.64/3.53
6.64/3.53 num=194, depth=1..8, filters=849193, revisions=(750438,useless=30629), ccks=12874, wck=1.26, mem=55M652
6.64/3.53 decisions=10196, wrong=4704, backtracks=1569, failedAssignments=3451, nogoods=1091, foundSolutions=41, bestBound=1133
6.64/3.53
6.64/3.54 num=195, depth=3..5, filters=853541, revisions=(754019,useless=30724), ccks=12874, wck=1.264, mem=55M652
6.64/3.54 decisions=10251, wrong=4730, backtracks=1576, failedAssignments=3470, nogoods=1097, foundSolutions=41, bestBound=1133
6.64/3.54
6.64/3.54 num=196, depth=2..6, filters=858360, revisions=(758120,useless=30773), ccks=12874, wck=1.268, mem=55M652
6.64/3.54 decisions=10313, wrong=4760, backtracks=1587, failedAssignments=3491, nogoods=1104, foundSolutions=41, bestBound=1133
6.64/3.54
6.64/3.54 num=197, depth=0..8, filters=863885, revisions=(762700,useless=30814), ccks=12874, wck=1.273, mem=55M652
6.64/3.54 decisions=10375, wrong=4788, backtracks=1594, failedAssignments=3514, nogoods=1114, foundSolutions=41, bestBound=1133
6.64/3.54
6.64/3.55 num=198, depth=2..6, filters=869124, revisions=(767065,useless=30847), ccks=12874, wck=1.278, mem=55M652
6.64/3.55 decisions=10447, wrong=4822, backtracks=1606, failedAssignments=3539, nogoods=1127, foundSolutions=41, bestBound=1133
6.64/3.55
6.64/3.55 num=199, depth=1..6, filters=874521, revisions=(771656,useless=30881), ccks=12874, wck=1.283, mem=55M652
6.64/3.55 decisions=10523, wrong=4858, backtracks=1617, failedAssignments=3567, nogoods=1130, foundSolutions=41, bestBound=1133
6.64/3.55
6.64/3.56 num=200, depth=2..7, filters=880018, revisions=(776261,useless=30973), ccks=12874, wck=1.288, mem=55M652
6.64/3.56 decisions=10600, wrong=4895, backtracks=1627, failedAssignments=3598, nogoods=1134, foundSolutions=41, bestBound=1133
6.64/3.56
6.64/3.56 num=201, depth=3..6, filters=886997, revisions=(782447,useless=31046), ccks=12874, wck=1.294, mem=55M652
6.64/3.56 decisions=10692, wrong=4939, backtracks=1643, failedAssignments=3632, nogoods=1140, foundSolutions=41, bestBound=1133
6.64/3.56
6.64/3.57 num=202, depth=3..7, filters=893744, revisions=(788103,useless=31095), ccks=12874, wck=1.3, mem=55M652
6.64/3.57 decisions=10796, wrong=4989, backtracks=1661, failedAssignments=3669, nogoods=1149, foundSolutions=41, bestBound=1133
6.64/3.57
6.64/3.58 num=203, depth=1..7, filters=902015, revisions=(795173,useless=31241), ccks=12874, wck=1.307, mem=55M652
6.64/3.58 decisions=10916, wrong=5048, backtracks=1683, failedAssignments=3710, nogoods=1154, foundSolutions=41, bestBound=1133
6.64/3.58
6.64/3.59 num=204, depth=2..7, filters=911757, revisions=(803768,useless=31321), ccks=12874, wck=1.314, mem=55M652
6.64/3.59 decisions=11040, wrong=5108, backtracks=1705, failedAssignments=3755, nogoods=1163, foundSolutions=41, bestBound=1133
6.64/3.59
6.64/3.59 num=205, depth=1..5, filters=921723, revisions=(812153,useless=31425), ccks=12874, wck=1.323, mem=55M652
6.64/3.59 decisions=11186, wrong=5180, backtracks=1733, failedAssignments=3805, nogoods=1171, foundSolutions=41, bestBound=1133
6.64/3.59
6.76/3.61 num=206, depth=2..6, filters=933722, revisions=(822218,useless=31625), ccks=12874, wck=1.334, mem=55M652
6.76/3.61 decisions=11335, wrong=5253, backtracks=1754, failedAssignments=3860, nogoods=1173, foundSolutions=41, bestBound=1133
6.76/3.61
6.76/3.61 num=207, depth=3..7, filters=943811, revisions=(830964,useless=31666), ccks=12874, wck=1.342, mem=55M652
6.76/3.61 decisions=11490, wrong=5329, backtracks=1773, failedAssignments=3921, nogoods=1187, foundSolutions=41, bestBound=1133
6.76/3.61
6.76/3.62 num=208, depth=3..8, filters=956800, revisions=(841700,useless=31801), ccks=12874, wck=1.353, mem=55M652
6.76/3.62 decisions=11686, wrong=5425, backtracks=1814, failedAssignments=3988, nogoods=1195, foundSolutions=41, bestBound=1133
6.76/3.62
6.76/3.63 o 1123
6.76/3.63 num=209, depth=2..318, filters=966958, revisions=(850717,useless=31900), ccks=13188, wck=1.362, mem=55M652
6.76/3.63 decisions=11840, wrong=5499, backtracks=1841, failedAssignments=4040, nogoods=1199, foundSolutions=42, bestBound=1123
6.76/3.63
6.76/3.65 num=210, depth=2..8, filters=984744, revisions=(867087,useless=32563), ccks=13188, wck=1.375, mem=55M652
6.76/3.65 decisions=12056, wrong=5605, backtracks=1872, failedAssignments=4121, nogoods=1209, foundSolutions=42, bestBound=1123
6.76/3.65
6.76/3.65 num=211, depth=1..5, filters=987566, revisions=(869526,useless=32625), ccks=13188, wck=1.378, mem=55M652
6.76/3.65 decisions=12091, wrong=5622, backtracks=1881, failedAssignments=4132, nogoods=1214, foundSolutions=42, bestBound=1123
6.76/3.65
6.76/3.65 num=212, depth=2..8, filters=990539, revisions=(872037,useless=32645), ccks=13188, wck=1.38, mem=55M652
6.76/3.65 decisions=12126, wrong=5637, backtracks=1886, failedAssignments=4144, nogoods=1219, foundSolutions=42, bestBound=1123
6.76/3.65
6.76/3.65 num=213, depth=1..6, filters=993672, revisions=(874660,useless=32674), ccks=13188, wck=1.383, mem=55M652
6.76/3.65 decisions=12167, wrong=5656, backtracks=1894, failedAssignments=4157, nogoods=1224, foundSolutions=42, bestBound=1123
6.76/3.65
6.76/3.66 num=214, depth=3..6, filters=996527, revisions=(877090,useless=32687), ccks=13188, wck=1.385, mem=55M652
6.76/3.66 decisions=12203, wrong=5672, backtracks=1896, failedAssignments=4171, nogoods=1233, foundSolutions=42, bestBound=1123
6.76/3.66
6.76/3.66 num=215, depth=2..6, filters=1000056, revisions=(880180,useless=32709), ccks=13188, wck=1.388, mem=55M652
6.76/3.66 decisions=12248, wrong=5692, backtracks=1901, failedAssignments=4187, nogoods=1239, foundSolutions=42, bestBound=1123
6.76/3.66
6.76/3.66 num=216, depth=1..6, filters=1003727, revisions=(883251,useless=32732), ccks=13188, wck=1.392, mem=55M652
6.76/3.66 decisions=12301, wrong=5717, backtracks=1912, failedAssignments=4204, nogoods=1241, foundSolutions=42, bestBound=1123
6.76/3.66
6.76/3.67 num=217, depth=2..5, filters=1008524, revisions=(887478,useless=32776), ccks=13188, wck=1.396, mem=55M652
6.76/3.67 decisions=12366, wrong=5748, backtracks=1926, failedAssignments=4223, nogoods=1245, foundSolutions=42, bestBound=1123
6.76/3.67
6.76/3.67 num=218, depth=1..5, filters=1013004, revisions=(891333,useless=32825), ccks=13188, wck=1.399, mem=55M652
6.76/3.67 decisions=12422, wrong=5774, backtracks=1933, failedAssignments=4244, nogoods=1247, foundSolutions=42, bestBound=1123
6.76/3.67
6.76/3.68 num=219, depth=1..5, filters=1018185, revisions=(895599,useless=32892), ccks=13188, wck=1.404, mem=55M652
6.76/3.68 decisions=12488, wrong=5806, backtracks=1945, failedAssignments=4267, nogoods=1252, foundSolutions=42, bestBound=1123
6.76/3.68
6.76/3.68 num=220, depth=3..6, filters=1024502, revisions=(900896,useless=32987), ccks=13188, wck=1.41, mem=55M652
6.76/3.68 decisions=12564, wrong=5842, backtracks=1958, failedAssignments=4292, nogoods=1263, foundSolutions=42, bestBound=1123
6.76/3.68
6.76/3.69 num=221, depth=1..6, filters=1030644, revisions=(906359,useless=33037), ccks=13188, wck=1.415, mem=55M652
6.76/3.69 decisions=12646, wrong=5881, backtracks=1974, failedAssignments=4320, nogoods=1268, foundSolutions=42, bestBound=1123
6.76/3.69
6.76/3.69 num=222, depth=2..6, filters=1036887, revisions=(911456,useless=33092), ccks=13188, wck=1.421, mem=55M652
6.76/3.69 decisions=12738, wrong=5925, backtracks=1989, failedAssignments=4351, nogoods=1273, foundSolutions=42, bestBound=1123
6.76/3.69
6.86/3.70 num=223, depth=0..6, filters=1044241, revisions=(917913,useless=33172), ccks=13188, wck=1.427, mem=55M652
6.86/3.70 decisions=12828, wrong=5968, backtracks=2001, failedAssignments=4385, nogoods=1279, foundSolutions=42, bestBound=1123
6.86/3.70
6.86/3.71 num=224, depth=0..5, filters=1052175, revisions=(924481,useless=33276), ccks=13188, wck=1.434, mem=55M652
6.86/3.71 decisions=12939, wrong=6023, backtracks=2020, failedAssignments=4422, nogoods=1282, foundSolutions=42, bestBound=1123
6.86/3.71
6.86/3.71 num=225, depth=3..6, filters=1060261, revisions=(931458,useless=33338), ccks=13188, wck=1.441, mem=55M652
6.86/3.71 decisions=13049, wrong=6076, backtracks=2037, failedAssignments=4463, nogoods=1292, foundSolutions=42, bestBound=1123
6.86/3.71
6.86/3.72 num=226, depth=3..6, filters=1069810, revisions=(939880,useless=33402), ccks=13188, wck=1.448, mem=55M652
6.86/3.72 decisions=13186, wrong=6143, backtracks=2066, failedAssignments=4508, nogoods=1307, foundSolutions=42, bestBound=1123
6.86/3.72
6.86/3.73 num=227, depth=3..7, filters=1079381, revisions=(947908,useless=33507), ccks=13188, wck=1.456, mem=55M652
6.86/3.73 decisions=13318, wrong=6207, backtracks=2085, failedAssignments=4558, nogoods=1315, foundSolutions=42, bestBound=1123
6.86/3.73
6.86/3.74 num=228, depth=2..6, filters=1090527, revisions=(957575,useless=33626), ccks=13188, wck=1.465, mem=55M652
6.86/3.74 decisions=13476, wrong=6284, backtracks=2109, failedAssignments=4613, nogoods=1322, foundSolutions=42, bestBound=1123
6.86/3.74
6.86/3.75 num=229, depth=1..5, filters=1103727, revisions=(968397,useless=33788), ccks=13188, wck=1.477, mem=55M652
6.86/3.75 decisions=13634, wrong=6362, backtracks=2130, failedAssignments=4674, nogoods=1331, foundSolutions=42, bestBound=1123
6.86/3.75
6.86/3.75 o 1115
6.86/3.75 num=230, depth=2..318, filters=1111018, revisions=(974812,useless=33862), ccks=13502, wck=1.483, mem=55M652
6.86/3.75 decisions=13741, wrong=6412, backtracks=2146, failedAssignments=4712, nogoods=1339, foundSolutions=43, bestBound=1115
6.86/3.75
6.86/3.77 num=231, depth=2..7, filters=1126706, revisions=(989420,useless=34537), ccks=13502, wck=1.495, mem=55M652
6.86/3.77 decisions=13937, wrong=6507, backtracks=2173, failedAssignments=4786, nogoods=1349, foundSolutions=43, bestBound=1115
6.86/3.77
6.86/3.77 num=232, depth=4..9, filters=1129818, revisions=(992016,useless=34577), ccks=13502, wck=1.498, mem=55M652
6.86/3.77 decisions=13975, wrong=6524, backtracks=2182, failedAssignments=4797, nogoods=1352, foundSolutions=43, bestBound=1115
6.86/3.77
6.86/3.77 num=233, depth=3..6, filters=1132259, revisions=(994027,useless=34589), ccks=13502, wck=1.5, mem=55M652
6.86/3.77 decisions=14010, wrong=6540, backtracks=2187, failedAssignments=4809, nogoods=1354, foundSolutions=43, bestBound=1115
6.86/3.77
6.86/3.77 num=234, depth=2..6, filters=1136014, revisions=(997327,useless=34620), ccks=13502, wck=1.503, mem=55M652
6.86/3.77 decisions=14047, wrong=6556, backtracks=2192, failedAssignments=4822, nogoods=1357, foundSolutions=43, bestBound=1115
6.86/3.77
6.86/3.78 num=235, depth=3..7, filters=1139780, revisions=(1000515,useless=34654), ccks=13502, wck=1.507, mem=55M652
6.86/3.78 decisions=14096, wrong=6578, backtracks=2200, failedAssignments=4836, nogoods=1363, foundSolutions=43, bestBound=1115
6.86/3.78
6.86/3.78 num=236, depth=2..6, filters=1144201, revisions=(1004410,useless=34697), ccks=13502, wck=1.51, mem=55M652
6.86/3.78 decisions=14154, wrong=6605, backtracks=2214, failedAssignments=4852, nogoods=1365, foundSolutions=43, bestBound=1115
6.86/3.78
6.86/3.79 num=237, depth=3..6, filters=1148612, revisions=(1008166,useless=34740), ccks=13502, wck=1.514, mem=55M652
6.86/3.79 decisions=14205, wrong=6628, backtracks=2221, failedAssignments=4869, nogoods=1371, foundSolutions=43, bestBound=1115
6.86/3.79
6.86/3.79 o 1100
6.86/3.79 num=238, depth=3..318, filters=1151747, revisions=(1010776,useless=34749), ccks=13816, wck=1.517, mem=58M294
6.86/3.79 decisions=14243, wrong=6643, backtracks=2222, failedAssignments=4883, nogoods=1383, foundSolutions=44, bestBound=1100
6.86/3.79
6.86/3.79 num=239, depth=3..7, filters=1155713, revisions=(1014764,useless=35335), ccks=13816, wck=1.521, mem=58M294
6.86/3.79 decisions=14293, wrong=6666, backtracks=2225, failedAssignments=4904, nogoods=1394, foundSolutions=44, bestBound=1100
6.86/3.79
6.86/3.80 num=240, depth=3..5, filters=1158776, revisions=(1017317,useless=35358), ccks=13816, wck=1.524, mem=58M294
6.86/3.80 decisions=14330, wrong=6683, backtracks=2232, failedAssignments=4915, nogoods=1396, foundSolutions=44, bestBound=1100
6.86/3.80
6.97/3.80 num=241, depth=4..7, filters=1161460, revisions=(1019591,useless=35369), ccks=13816, wck=1.526, mem=58M294
6.97/3.80 decisions=14361, wrong=6696, backtracks=2233, failedAssignments=4927, nogoods=1408, foundSolutions=44, bestBound=1100
6.97/3.80
6.97/3.80 num=242, depth=2..7, filters=1165400, revisions=(1023031,useless=35426), ccks=13816, wck=1.529, mem=58M294
6.97/3.80 decisions=14401, wrong=6713, backtracks=2238, failedAssignments=4940, nogoods=1416, foundSolutions=44, bestBound=1100
6.97/3.80
6.97/3.80 num=243, depth=3..7, filters=1169076, revisions=(1026103,useless=35456), ccks=13816, wck=1.533, mem=58M294
6.97/3.80 decisions=14446, wrong=6733, backtracks=2246, failedAssignments=4954, nogoods=1422, foundSolutions=44, bestBound=1100
6.97/3.80
6.97/3.81 num=244, depth=2..5, filters=1173074, revisions=(1029597,useless=35494), ccks=13816, wck=1.536, mem=58M294
6.97/3.81 decisions=14496, wrong=6757, backtracks=2258, failedAssignments=4970, nogoods=1425, foundSolutions=44, bestBound=1100
6.97/3.81
6.97/3.81 num=245, depth=0..6, filters=1177202, revisions=(1033052,useless=35544), ccks=13816, wck=1.54, mem=58M294
6.97/3.81 decisions=14540, wrong=6777, backtracks=2264, failedAssignments=4987, nogoods=1427, foundSolutions=44, bestBound=1100
6.97/3.81
6.97/3.81 num=246, depth=2..5, filters=1180962, revisions=(1036315,useless=35572), ccks=13816, wck=1.543, mem=58M294
6.97/3.81 decisions=14592, wrong=6801, backtracks=2271, failedAssignments=5006, nogoods=1437, foundSolutions=44, bestBound=1100
6.97/3.81
6.97/3.82 num=247, depth=3..8, filters=1186380, revisions=(1040925,useless=35616), ccks=13816, wck=1.548, mem=58M294
6.97/3.82 decisions=14663, wrong=6835, backtracks=2289, failedAssignments=5027, nogoods=1441, foundSolutions=44, bestBound=1100
6.97/3.82
6.97/3.82 num=248, depth=3..7, filters=1192761, revisions=(1046373,useless=35709), ccks=13816, wck=1.554, mem=58M294
6.97/3.82 decisions=14739, wrong=6871, backtracks=2307, failedAssignments=5050, nogoods=1446, foundSolutions=44, bestBound=1100
6.97/3.82
6.97/3.83 num=249, depth=1..6, filters=1197730, revisions=(1050616,useless=35764), ccks=13816, wck=1.558, mem=58M294
6.97/3.83 decisions=14805, wrong=6902, backtracks=2316, failedAssignments=5075, nogoods=1454, foundSolutions=44, bestBound=1100
6.97/3.83
6.97/3.83 o 1099
6.97/3.83 num=250, depth=3..318, filters=1201223, revisions=(1053585,useless=35780), ccks=14130, wck=1.561, mem=58M294
6.97/3.83 decisions=14854, wrong=6923, backtracks=2322, failedAssignments=5092, nogoods=1459, foundSolutions=45, bestBound=1099
6.97/3.83
6.97/3.84 o 1094
6.97/3.84 num=251, depth=3..318, filters=1204913, revisions=(1057234,useless=36343), ccks=14444, wck=1.565, mem=58M294
6.97/3.84 decisions=14889, wrong=6937, backtracks=2326, failedAssignments=5102, nogoods=1465, foundSolutions=46, bestBound=1094
6.97/3.84
6.97/3.84 num=252, depth=3..6, filters=1208248, revisions=(1060682,useless=36916), ccks=14444, wck=1.568, mem=58M294
6.97/3.84 decisions=14918, wrong=6949, backtracks=2327, failedAssignments=5113, nogoods=1473, foundSolutions=46, bestBound=1094
6.97/3.84
6.97/3.84 num=253, depth=2..7, filters=1211691, revisions=(1063606,useless=36971), ccks=14444, wck=1.572, mem=58M294
6.97/3.84 decisions=14956, wrong=6967, backtracks=2337, failedAssignments=5124, nogoods=1474, foundSolutions=46, bestBound=1094
6.97/3.84
6.97/3.85 num=254, depth=3..6, filters=1214773, revisions=(1066173,useless=36998), ccks=14444, wck=1.575, mem=58M294
6.97/3.85 decisions=14990, wrong=6982, backtracks=2342, failedAssignments=5136, nogoods=1479, foundSolutions=46, bestBound=1094
6.97/3.85
6.97/3.85 num=255, depth=2..6, filters=1217575, revisions=(1068575,useless=37029), ccks=14444, wck=1.577, mem=58M294
6.97/3.85 decisions=15020, wrong=6995, backtracks=2342, failedAssignments=5149, nogoods=1492, foundSolutions=46, bestBound=1094
6.97/3.85
6.97/3.85 o 1091
6.97/3.85 num=256, depth=3..318, filters=1219860, revisions=(1070540,useless=37050), ccks=14758, wck=1.58, mem=58M294
6.97/3.85 decisions=15041, wrong=7002, backtracks=2343, failedAssignments=5155, nogoods=1496, foundSolutions=47, bestBound=1091
6.97/3.85
6.97/3.85 num=257, depth=3..7, filters=1224334, revisions=(1074979,useless=37646), ccks=14758, wck=1.584, mem=58M294
6.97/3.85 decisions=15087, wrong=7023, backtracks=2348, failedAssignments=5171, nogoods=1498, foundSolutions=47, bestBound=1091
6.97/3.85
6.97/3.86 num=258, depth=5..7, filters=1226815, revisions=(1077057,useless=37657), ccks=14758, wck=1.586, mem=58M294
6.97/3.86 decisions=15120, wrong=7037, backtracks=2352, failedAssignments=5182, nogoods=1505, foundSolutions=47, bestBound=1091
6.97/3.86
6.97/3.86 num=259, depth=3..6, filters=1229565, revisions=(1079467,useless=37670), ccks=14758, wck=1.588, mem=58M294
6.97/3.86 decisions=15156, wrong=7053, backtracks=2356, failedAssignments=5194, nogoods=1512, foundSolutions=47, bestBound=1091
6.97/3.86
6.97/3.86 num=260, depth=3..6, filters=1232251, revisions=(1081708,useless=37679), ccks=14758, wck=1.591, mem=58M294
6.97/3.86 decisions=15192, wrong=7069, backtracks=2361, failedAssignments=5207, nogoods=1515, foundSolutions=47, bestBound=1091
6.97/3.86
6.97/3.87 num=261, depth=2..6, filters=1236728, revisions=(1085600,useless=37727), ccks=14758, wck=1.595, mem=58M294
6.97/3.87 decisions=15247, wrong=7095, backtracks=2376, failedAssignments=5221, nogoods=1518, foundSolutions=47, bestBound=1091
6.97/3.87
6.97/3.87 num=262, depth=3..6, filters=1241293, revisions=(1089644,useless=37776), ccks=14758, wck=1.598, mem=58M294
6.97/3.87 decisions=15294, wrong=7116, backtracks=2381, failedAssignments=5237, nogoods=1524, foundSolutions=47, bestBound=1091
6.97/3.87
6.97/3.87 num=263, depth=4..9, filters=1244796, revisions=(1092605,useless=37803), ccks=14758, wck=1.601, mem=58M294
6.97/3.87 decisions=15340, wrong=7137, backtracks=2388, failedAssignments=5254, nogoods=1527, foundSolutions=47, bestBound=1091
6.97/3.87
6.97/3.88 num=264, depth=1..5, filters=1250734, revisions=(1097774,useless=37869), ccks=14758, wck=1.606, mem=58M294
6.97/3.88 decisions=15404, wrong=7167, backtracks=2400, failedAssignments=5273, nogoods=1531, foundSolutions=47, bestBound=1091
6.97/3.88
6.97/3.88 num=265, depth=3..6, filters=1255887, revisions=(1102112,useless=37935), ccks=14758, wck=1.611, mem=58M294
6.97/3.88 decisions=15465, wrong=7196, backtracks=2411, failedAssignments=5294, nogoods=1538, foundSolutions=47, bestBound=1091
6.97/3.88
6.97/3.89 num=266, depth=2..7, filters=1261047, revisions=(1106634,useless=37996), ccks=14758, wck=1.615, mem=58M294
6.97/3.89 decisions=15535, wrong=7229, backtracks=2425, failedAssignments=5317, nogoods=1545, foundSolutions=47, bestBound=1091
6.97/3.89
6.97/3.89 num=267, depth=3..7, filters=1268206, revisions=(1112805,useless=38135), ccks=14758, wck=1.621, mem=58M294
6.97/3.89 decisions=15617, wrong=7267, backtracks=2440, failedAssignments=5342, nogoods=1550, foundSolutions=47, bestBound=1091
6.97/3.89
6.97/3.89 o 1042
6.97/3.89 num=268, depth=3..318, filters=1270156, revisions=(1114407,useless=38138), ccks=15072, wck=1.623, mem=58M294
6.97/3.89 decisions=15629, wrong=7269, backtracks=2440, failedAssignments=5344, nogoods=1552, foundSolutions=48, bestBound=1042
6.97/3.89
6.97/3.90 o 1024
6.97/3.90 num=269, depth=7..318, filters=1271644, revisions=(1116123,useless=38684), ccks=15386, wck=1.625, mem=58M294
6.97/3.90 decisions=15639, wrong=7270, backtracks=2440, failedAssignments=5345, nogoods=1553, foundSolutions=49, bestBound=1024
6.97/3.90
6.97/3.90 num=270, depth=5..7, filters=1274552, revisions=(1119134,useless=39244), ccks=15386, wck=1.628, mem=58M294
6.97/3.90 decisions=15677, wrong=7286, backtracks=2445, failedAssignments=5356, nogoods=1557, foundSolutions=49, bestBound=1024
6.97/3.90
6.97/3.90 num=271, depth=5..10, filters=1277043, revisions=(1121226,useless=39268), ccks=15386, wck=1.631, mem=58M294
6.97/3.90 decisions=15709, wrong=7299, backtracks=2451, failedAssignments=5367, nogoods=1560, foundSolutions=49, bestBound=1024
6.97/3.90
7.16/3.90 num=272, depth=3..7, filters=1280004, revisions=(1123774,useless=39308), ccks=15386, wck=1.634, mem=58M294
7.16/3.90 decisions=15744, wrong=7313, backtracks=2453, failedAssignments=5379, nogoods=1570, foundSolutions=49, bestBound=1024
7.16/3.90
7.16/3.91 num=273, depth=3..7, filters=1283916, revisions=(1127087,useless=39355), ccks=15386, wck=1.638, mem=58M294
7.16/3.91 decisions=15791, wrong=7335, backtracks=2467, failedAssignments=5392, nogoods=1572, foundSolutions=49, bestBound=1024
7.16/3.91
7.16/3.91 num=274, depth=2..7, filters=1288144, revisions=(1130812,useless=39411), ccks=15386, wck=1.641, mem=58M294
7.16/3.91 decisions=15840, wrong=7357, backtracks=2477, failedAssignments=5406, nogoods=1576, foundSolutions=49, bestBound=1024
7.16/3.91
7.16/3.92 num=275, depth=4..8, filters=1291878, revisions=(1134022,useless=39438), ccks=15386, wck=1.645, mem=58M294
7.16/3.92 decisions=15888, wrong=7379, backtracks=2486, failedAssignments=5422, nogoods=1577, foundSolutions=49, bestBound=1024
7.16/3.92
7.16/3.92 num=276, depth=2..6, filters=1296401, revisions=(1138077,useless=39516), ccks=15386, wck=1.648, mem=58M294
7.16/3.92 decisions=15942, wrong=7404, backtracks=2496, failedAssignments=5439, nogoods=1581, foundSolutions=49, bestBound=1024
7.16/3.92
7.16/3.92 num=277, depth=4..10, filters=1300576, revisions=(1141660,useless=39541), ccks=15386, wck=1.652, mem=58M294
7.16/3.92 decisions=15998, wrong=7430, backtracks=2507, failedAssignments=5458, nogoods=1585, foundSolutions=49, bestBound=1024
7.16/3.92
7.16/3.93 num=278, depth=1..7, filters=1305462, revisions=(1145893,useless=39598), ccks=15386, wck=1.656, mem=58M294
7.16/3.93 decisions=16061, wrong=7459, backtracks=2517, failedAssignments=5479, nogoods=1594, foundSolutions=49, bestBound=1024
7.16/3.93
7.16/3.93 num=279, depth=2..6, filters=1310625, revisions=(1150332,useless=39668), ccks=15386, wck=1.661, mem=58M294
7.16/3.93 decisions=16124, wrong=7489, backtracks=2527, failedAssignments=5502, nogoods=1601, foundSolutions=49, bestBound=1024
7.16/3.93
7.16/3.94 num=280, depth=3..6, filters=1316433, revisions=(1155185,useless=39725), ccks=15386, wck=1.666, mem=58M294
7.16/3.94 decisions=16195, wrong=7522, backtracks=2535, failedAssignments=5527, nogoods=1612, foundSolutions=49, bestBound=1024
7.16/3.94
7.16/3.94 num=281, depth=2..6, filters=1322755, revisions=(1160691,useless=39833), ccks=15386, wck=1.671, mem=58M294
7.16/3.94 decisions=16271, wrong=7559, backtracks=2545, failedAssignments=5555, nogoods=1619, foundSolutions=49, bestBound=1024
7.16/3.94
7.16/3.95 num=282, depth=3..7, filters=1329325, revisions=(1166129,useless=39905), ccks=15386, wck=1.677, mem=58M294
7.16/3.95 decisions=16352, wrong=7597, backtracks=2555, failedAssignments=5586, nogoods=1626, foundSolutions=49, bestBound=1024
7.16/3.95
7.16/3.95 o 1016
7.16/3.95 num=283, depth=5..318, filters=1332938, revisions=(1169201,useless=39922), ccks=15700, wck=1.681, mem=58M294
7.16/3.95 decisions=16400, wrong=7617, backtracks=2559, failedAssignments=5602, nogoods=1630, foundSolutions=50, bestBound=1016
7.16/3.95
7.16/3.96 o 1012
7.16/3.96 num=284, depth=4..318, filters=1338051, revisions=(1174126,useless=40485), ccks=16014, wck=1.686, mem=58M294
7.16/3.96 decisions=16463, wrong=7645, backtracks=2564, failedAssignments=5625, nogoods=1635, foundSolutions=51, bestBound=1012
7.16/3.96
7.16/3.96 o 1008
7.16/3.96 num=285, depth=4..318, filters=1340017, revisions=(1176279,useless=41036), ccks=16328, wck=1.689, mem=60M939
7.16/3.96 decisions=16481, wrong=7650, backtracks=2564, failedAssignments=5630, nogoods=1640, foundSolutions=52, bestBound=1008
7.16/3.96
7.16/3.96 o 1006
7.16/3.96 num=286, depth=6..318, filters=1341411, revisions=(1177917,useless=41582), ccks=16642, wck=1.691, mem=60M939
7.16/3.96 decisions=16490, wrong=7651, backtracks=2564, failedAssignments=5631, nogoods=1641, foundSolutions=53, bestBound=1006
7.16/3.96
7.16/3.97 num=287, depth=4..7, filters=1344547, revisions=(1181041,useless=42134), ccks=16642, wck=1.695, mem=60M939
7.16/3.97 decisions=16532, wrong=7670, backtracks=2572, failedAssignments=5642, nogoods=1642, foundSolutions=53, bestBound=1006
7.16/3.97
7.16/3.97 num=288, depth=4..6, filters=1346796, revisions=(1182954,useless=42137), ccks=16642, wck=1.697, mem=60M939
7.16/3.97 decisions=16561, wrong=7682, backtracks=2573, failedAssignments=5653, nogoods=1650, foundSolutions=53, bestBound=1006
7.16/3.97
7.16/3.97 num=289, depth=2..5, filters=1349254, revisions=(1184948,useless=42147), ccks=16642, wck=1.699, mem=60M939
7.16/3.97 decisions=16596, wrong=7698, backtracks=2578, failedAssignments=5665, nogoods=1655, foundSolutions=53, bestBound=1006
7.16/3.97
7.16/3.97 num=290, depth=2..6, filters=1351879, revisions=(1187155,useless=42169), ccks=16642, wck=1.702, mem=60M939
7.16/3.97 decisions=16633, wrong=7714, backtracks=2583, failedAssignments=5678, nogoods=1658, foundSolutions=53, bestBound=1006
7.16/3.97
7.16/3.98 num=291, depth=3..6, filters=1354781, revisions=(1189588,useless=42192), ccks=16642, wck=1.704, mem=60M939
7.16/3.98 decisions=16672, wrong=7732, backtracks=2590, failedAssignments=5692, nogoods=1659, foundSolutions=53, bestBound=1006
7.16/3.98
7.16/3.98 num=292, depth=2..4, filters=1358763, revisions=(1192870,useless=42242), ccks=16642, wck=1.708, mem=60M939
7.16/3.98 decisions=16720, wrong=7755, backtracks=2597, failedAssignments=5708, nogoods=1666, foundSolutions=53, bestBound=1006
7.16/3.98
7.16/3.98 num=293, depth=5..6, filters=1362105, revisions=(1195654,useless=42263), ccks=16642, wck=1.711, mem=60M939
7.16/3.98 decisions=16765, wrong=7775, backtracks=2600, failedAssignments=5725, nogoods=1675, foundSolutions=53, bestBound=1006
7.16/3.98
7.16/3.99 num=294, depth=2..6, filters=1367549, revisions=(1200258,useless=42333), ccks=16642, wck=1.716, mem=60M939
7.16/3.99 decisions=16825, wrong=7803, backtracks=2614, failedAssignments=5744, nogoods=1680, foundSolutions=53, bestBound=1006
7.16/3.99
7.16/3.99 num=295, depth=4..7, filters=1371571, revisions=(1203702,useless=42356), ccks=16642, wck=1.719, mem=60M939
7.16/3.99 decisions=16879, wrong=7828, backtracks=2620, failedAssignments=5765, nogoods=1684, foundSolutions=53, bestBound=1006
7.16/3.99
7.16/3.99 num=296, depth=2..6, filters=1376598, revisions=(1207944,useless=42391), ccks=16642, wck=1.724, mem=60M939
7.16/3.99 decisions=16944, wrong=7859, backtracks=2630, failedAssignments=5788, nogoods=1692, foundSolutions=53, bestBound=1006
7.16/3.99
7.16/4.00 num=297, depth=3..6, filters=1381501, revisions=(1212098,useless=42448), ccks=16642, wck=1.728, mem=60M939
7.16/4.00 decisions=17013, wrong=7892, backtracks=2640, failedAssignments=5813, nogoods=1699, foundSolutions=53, bestBound=1006
7.16/4.00
7.16/4.00 num=298, depth=3..6, filters=1387377, revisions=(1217052,useless=42496), ccks=16642, wck=1.733, mem=60M939
7.16/4.00 decisions=17084, wrong=7926, backtracks=2648, failedAssignments=5841, nogoods=1706, foundSolutions=53, bestBound=1006
7.16/4.00
7.34/4.01 num=299, depth=2..7, filters=1394866, revisions=(1223375,useless=42596), ccks=16642, wck=1.739, mem=60M939
7.34/4.01 decisions=17175, wrong=7970, backtracks=2665, failedAssignments=5872, nogoods=1715, foundSolutions=53, bestBound=1006
7.34/4.01
7.34/4.02 num=300, depth=1..6, filters=1400544, revisions=(1228115,useless=42650), ccks=16642, wck=1.745, mem=60M939
7.34/4.02 decisions=17265, wrong=8014, backtracks=2678, failedAssignments=5906, nogoods=1723, foundSolutions=53, bestBound=1006
7.34/4.02
7.34/4.02 num=301, depth=2..6, filters=1408142, revisions=(1234540,useless=42709), ccks=16642, wck=1.751, mem=60M939
7.34/4.02 decisions=17375, wrong=8067, backtracks=2696, failedAssignments=5943, nogoods=1727, foundSolutions=53, bestBound=1006
7.34/4.02
7.34/4.03 num=302, depth=1..6, filters=1416839, revisions=(1241928,useless=42899), ccks=16642, wck=1.758, mem=60M939
7.34/4.03 decisions=17483, wrong=8120, backtracks=2712, failedAssignments=5984, nogoods=1732, foundSolutions=53, bestBound=1006
7.34/4.03
7.34/4.04 num=303, depth=3..5, filters=1424892, revisions=(1248653,useless=42968), ccks=16642, wck=1.765, mem=60M939
7.34/4.04 decisions=17597, wrong=8175, backtracks=2723, failedAssignments=6029, nogoods=1749, foundSolutions=53, bestBound=1006
7.34/4.04
7.34/4.04 num=304, depth=2..5, filters=1434429, revisions=(1256545,useless=43051), ccks=16642, wck=1.773, mem=60M939
7.34/4.04 decisions=17729, wrong=8239, backtracks=2739, failedAssignments=6079, nogoods=1755, foundSolutions=53, bestBound=1006
7.34/4.04
7.34/4.06 num=305, depth=3..7, filters=1446899, revisions=(1267248,useless=43235), ccks=16642, wck=1.784, mem=60M939
7.34/4.06 decisions=17879, wrong=8312, backtracks=2767, failedAssignments=6134, nogoods=1764, foundSolutions=53, bestBound=1006
7.34/4.06
7.34/4.06 num=306, depth=2..6, filters=1458671, revisions=(1277452,useless=43318), ccks=16642, wck=1.793, mem=60M939
7.34/4.06 decisions=18047, wrong=8394, backtracks=2790, failedAssignments=6195, nogoods=1772, foundSolutions=53, bestBound=1006
7.34/4.06
7.34/4.08 num=307, depth=1..8, filters=1476162, revisions=(1292465,useless=43552), ccks=16642, wck=1.807, mem=60M939
7.34/4.08 decisions=18259, wrong=8499, backtracks=2841, failedAssignments=6262, nogoods=1785, foundSolutions=53, bestBound=1006
7.34/4.08
7.34/4.09 num=308, depth=2..7, filters=1492639, revisions=(1306771,useless=43692), ccks=16642, wck=1.82, mem=60M939
7.34/4.09 decisions=18455, wrong=8594, backtracks=2867, failedAssignments=6336, nogoods=1794, foundSolutions=53, bestBound=1006
7.34/4.09
7.44/4.11 num=309, depth=0..9, filters=1512078, revisions=(1323966,useless=43984), ccks=16642, wck=1.836, mem=60M939
7.44/4.11 decisions=18724, wrong=8727, backtracks=2930, failedAssignments=6417, nogoods=1801, foundSolutions=53, bestBound=1006
7.44/4.11
7.44/4.12 num=310, depth=1..10, filters=1532385, revisions=(1342672,useless=44224), ccks=16642, wck=1.851, mem=60M939
7.44/4.12 decisions=18966, wrong=8847, backtracks=2968, failedAssignments=6506, nogoods=1813, foundSolutions=53, bestBound=1006
7.44/4.12
7.44/4.14 num=311, depth=2..8, filters=1550821, revisions=(1358558,useless=44442), ccks=16642, wck=1.867, mem=60M939
7.44/4.14 decisions=19237, wrong=8981, backtracks=3014, failedAssignments=6604, nogoods=1825, foundSolutions=53, bestBound=1006
7.44/4.14
7.44/4.16 num=312, depth=1..6, filters=1574788, revisions=(1379746,useless=44730), ccks=16642, wck=1.886, mem=60M939
7.44/4.16 decisions=19553, wrong=9138, backtracks=3071, failedAssignments=6712, nogoods=1837, foundSolutions=53, bestBound=1006
7.44/4.16
7.44/4.18 num=313, depth=1..7, filters=1600568, revisions=(1401591,useless=45003), ccks=16642, wck=1.907, mem=60M939
7.44/4.18 decisions=19899, wrong=9309, backtracks=3134, failedAssignments=6831, nogoods=1848, foundSolutions=53, bestBound=1006
7.44/4.18
7.54/4.20 o 963
7.54/4.20 num=314, depth=0..318, filters=1623709, revisions=(1421407,useless=45383), ccks=16956, wck=1.927, mem=60M939
7.54/4.20 decisions=20227, wrong=9470, backtracks=3189, failedAssignments=6944, nogoods=1854, foundSolutions=54, bestBound=963
7.54/4.20
7.54/4.22 num=315, depth=2..8, filters=1652873, revisions=(1447351,useless=46202), ccks=16956, wck=1.949, mem=60M939
7.54/4.22 decisions=20597, wrong=9654, backtracks=3236, failedAssignments=7088, nogoods=1858, foundSolutions=54, bestBound=963
7.54/4.22
7.54/4.22 num=316, depth=1..7, filters=1655860, revisions=(1449907,useless=46215), ccks=16956, wck=1.952, mem=60M939
7.54/4.22 decisions=20634, wrong=9671, backtracks=3244, failedAssignments=7099, nogoods=1862, foundSolutions=54, bestBound=963
7.54/4.22
7.54/4.23 num=317, depth=2..6, filters=1658499, revisions=(1452161,useless=46245), ccks=16956, wck=1.955, mem=60M939
7.54/4.23 decisions=20669, wrong=9687, backtracks=3250, failedAssignments=7111, nogoods=1865, foundSolutions=54, bestBound=963
7.54/4.23
7.54/4.23 num=318, depth=3..5, filters=1661125, revisions=(1454405,useless=46268), ccks=16956, wck=1.957, mem=60M939
7.54/4.23 decisions=20703, wrong=9702, backtracks=3253, failedAssignments=7124, nogoods=1873, foundSolutions=54, bestBound=963
7.54/4.23
7.54/4.23 o 955
7.54/4.23 num=319, depth=3..318, filters=1664105, revisions=(1456907,useless=46272), ccks=17270, wck=1.96, mem=60M939
7.54/4.23 decisions=20747, wrong=9721, backtracks=3262, failedAssignments=7135, nogoods=1879, foundSolutions=55, bestBound=955
7.54/4.23
7.54/4.24 num=320, depth=3..6, filters=1668636, revisions=(1461341,useless=46863), ccks=17270, wck=1.964, mem=60M939
7.54/4.24 decisions=20797, wrong=9744, backtracks=3270, failedAssignments=7151, nogoods=1884, foundSolutions=55, bestBound=955
7.54/4.24
7.54/4.24 num=321, depth=2..5, filters=1671626, revisions=(1464001,useless=46907), ccks=17270, wck=1.967, mem=60M939
7.54/4.24 decisions=20830, wrong=9758, backtracks=3274, failedAssignments=7162, nogoods=1887, foundSolutions=55, bestBound=955
7.54/4.24
7.54/4.24 num=322, depth=2..6, filters=1674951, revisions=(1466821,useless=46930), ccks=17270, wck=1.969, mem=60M939
7.54/4.24 decisions=20875, wrong=9779, backtracks=3286, failedAssignments=7174, nogoods=1889, foundSolutions=55, bestBound=955
7.54/4.24
7.54/4.24 num=323, depth=4..6, filters=1677395, revisions=(1468932,useless=46954), ccks=17270, wck=1.972, mem=60M939
7.54/4.24 decisions=20909, wrong=9794, backtracks=3290, failedAssignments=7187, nogoods=1894, foundSolutions=55, bestBound=955
7.54/4.24
7.54/4.25 num=324, depth=2..4, filters=1681018, revisions=(1472021,useless=47001), ccks=17270, wck=1.975, mem=60M939
7.54/4.25 decisions=20948, wrong=9812, backtracks=3294, failedAssignments=7201, nogoods=1904, foundSolutions=55, bestBound=955
7.54/4.25
7.54/4.25 num=325, depth=2..4, filters=1685232, revisions=(1475571,useless=47087), ccks=17270, wck=1.978, mem=60M939
7.54/4.25 decisions=20992, wrong=9833, backtracks=3299, failedAssignments=7217, nogoods=1913, foundSolutions=55, bestBound=955
7.54/4.25
7.54/4.25 num=326, depth=2..5, filters=1689588, revisions=(1479318,useless=47145), ccks=17270, wck=1.982, mem=60M939
7.54/4.25 decisions=21041, wrong=9856, backtracks=3307, failedAssignments=7234, nogoods=1919, foundSolutions=55, bestBound=955
7.54/4.25
7.54/4.26 num=327, depth=1..5, filters=1694434, revisions=(1483441,useless=47230), ccks=17270, wck=1.986, mem=60M939
7.54/4.26 decisions=21094, wrong=9880, backtracks=3313, failedAssignments=7253, nogoods=1923, foundSolutions=55, bestBound=955
7.54/4.26
7.54/4.26 num=328, depth=1..5, filters=1699853, revisions=(1487983,useless=47296), ccks=17270, wck=1.991, mem=60M939
7.54/4.26 decisions=21157, wrong=9910, backtracks=3323, failedAssignments=7274, nogoods=1934, foundSolutions=55, bestBound=955
7.54/4.26
7.54/4.27 num=329, depth=1..6, filters=1706101, revisions=(1493484,useless=47384), ccks=17270, wck=1.996, mem=60M939
7.54/4.27 decisions=21224, wrong=9941, backtracks=3332, failedAssignments=7297, nogoods=1942, foundSolutions=55, bestBound=955
7.54/4.27
7.54/4.27 num=330, depth=1..6, filters=1711033, revisions=(1497621,useless=47442), ccks=17270, wck=2.001, mem=60M939
7.54/4.27 decisions=21288, wrong=9972, backtracks=3343, failedAssignments=7322, nogoods=1947, foundSolutions=55, bestBound=955
7.54/4.27
7.54/4.28 num=331, depth=3..7, filters=1720105, revisions=(1505472,useless=47646), ccks=17270, wck=2.008, mem=60M939
7.54/4.28 decisions=21372, wrong=10012, backtracks=3357, failedAssignments=7350, nogoods=1956, foundSolutions=55, bestBound=955
7.54/4.28
7.54/4.28 num=332, depth=3..7, filters=1727529, revisions=(1511943,useless=47733), ccks=17270, wck=2.013, mem=60M939
7.54/4.28 decisions=21462, wrong=10054, backtracks=3372, failedAssignments=7381, nogoods=1964, foundSolutions=55, bestBound=955
7.54/4.28
7.54/4.29 num=333, depth=1..5, filters=1734285, revisions=(1517771,useless=47817), ccks=17270, wck=2.019, mem=60M939
7.54/4.29 decisions=21553, wrong=10099, backtracks=3387, failedAssignments=7415, nogoods=1966, foundSolutions=55, bestBound=955
7.54/4.29
7.65/4.30 num=334, depth=2..5, filters=1743231, revisions=(1525421,useless=47912), ccks=17270, wck=2.026, mem=60M939
7.65/4.30 decisions=21650, wrong=10146, backtracks=3398, failedAssignments=7452, nogoods=1969, foundSolutions=55, bestBound=955
7.65/4.30
7.65/4.30 num=335, depth=0..6, filters=1752119, revisions=(1533037,useless=48035), ccks=17270, wck=2.034, mem=60M939
7.65/4.30 decisions=21754, wrong=10196, backtracks=3412, failedAssignments=7493, nogoods=1974, foundSolutions=55, bestBound=955
7.65/4.30
7.65/4.31 num=336, depth=1..5, filters=1763097, revisions=(1542598,useless=48209), ccks=17270, wck=2.043, mem=60M939
7.65/4.31 decisions=21888, wrong=10262, backtracks=3436, failedAssignments=7538, nogoods=1989, foundSolutions=55, bestBound=955
7.65/4.31
7.65/4.32 num=337, depth=2..6, filters=1774371, revisions=(1552562,useless=48350), ccks=17270, wck=2.052, mem=60M939
7.65/4.32 decisions=22038, wrong=10335, backtracks=3461, failedAssignments=7588, nogoods=1996, foundSolutions=55, bestBound=955
7.65/4.32
7.65/4.33 o 953
7.65/4.33 num=338, depth=3..318, filters=1778752, revisions=(1556250,useless=48390), ccks=17584, wck=2.056, mem=60M939
7.65/4.33 decisions=22092, wrong=10359, backtracks=3467, failedAssignments=7608, nogoods=2002, foundSolutions=56, bestBound=953
7.65/4.33
7.65/4.34 num=339, depth=2..6, filters=1792150, revisions=(1568467,useless=49054), ccks=17584, wck=2.067, mem=60M939
7.65/4.34 decisions=22247, wrong=10435, backtracks=3485, failedAssignments=7669, nogoods=2013, foundSolutions=56, bestBound=953
7.65/4.34
7.65/4.34 num=340, depth=4..6, filters=1794884, revisions=(1570854,useless=49064), ccks=17584, wck=2.069, mem=60M939
7.65/4.34 decisions=22277, wrong=10448, backtracks=3488, failedAssignments=7680, nogoods=2019, foundSolutions=56, bestBound=953
7.65/4.34
7.65/4.34 num=341, depth=1..5, filters=1799362, revisions=(1574669,useless=49107), ccks=17584, wck=2.073, mem=60M939
7.65/4.34 decisions=22329, wrong=10473, backtracks=3503, failedAssignments=7692, nogoods=2023, foundSolutions=56, bestBound=953
7.65/4.34
7.65/4.35 num=342, depth=2..6, filters=1802616, revisions=(1577451,useless=49127), ccks=17584, wck=2.076, mem=60M939
7.65/4.35 decisions=22368, wrong=10490, backtracks=3507, failedAssignments=7705, nogoods=2029, foundSolutions=56, bestBound=953
7.65/4.35
7.65/4.35 o 945
7.65/4.35 num=343, depth=3..318, filters=1806008, revisions=(1580346,useless=49154), ccks=17898, wck=2.079, mem=60M939
7.65/4.35 decisions=22412, wrong=10509, backtracks=3515, failedAssignments=7717, nogoods=2036, foundSolutions=57, bestBound=945
7.65/4.35
7.65/4.35 num=344, depth=3..6, filters=1809424, revisions=(1583910,useless=49752), ccks=17898, wck=2.082, mem=60M939
7.65/4.35 decisions=22456, wrong=10529, backtracks=3522, failedAssignments=7733, nogoods=2042, foundSolutions=57, bestBound=945
7.65/4.35
7.65/4.36 num=345, depth=2..6, filters=1812133, revisions=(1586232,useless=49782), ccks=17898, wck=2.085, mem=60M939
7.65/4.36 decisions=22489, wrong=10544, backtracks=3529, failedAssignments=7744, nogoods=2045, foundSolutions=57, bestBound=945
7.65/4.36
7.65/4.36 num=346, depth=2..5, filters=1815775, revisions=(1589408,useless=49837), ccks=17898, wck=2.088, mem=63M581
7.65/4.36 decisions=22530, wrong=10562, backtracks=3536, failedAssignments=7756, nogoods=2049, foundSolutions=57, bestBound=945
7.65/4.36
7.65/4.36 num=347, depth=4..7, filters=1819258, revisions=(1592412,useless=49869), ccks=17898, wck=2.091, mem=63M581
7.65/4.36 decisions=22566, wrong=10578, backtracks=3540, failedAssignments=7769, nogoods=2053, foundSolutions=57, bestBound=945
7.65/4.36
7.65/4.37 num=348, depth=0..6, filters=1823191, revisions=(1595745,useless=49917), ccks=17898, wck=2.094, mem=63M581
7.65/4.37 decisions=22608, wrong=10596, backtracks=3545, failedAssignments=7783, nogoods=2057, foundSolutions=57, bestBound=945
7.65/4.37
7.65/4.37 num=349, depth=4..6, filters=1827198, revisions=(1599167,useless=49940), ccks=17898, wck=2.098, mem=63M581
7.65/4.37 decisions=22650, wrong=10615, backtracks=3549, failedAssignments=7799, nogoods=2068, foundSolutions=57, bestBound=945
7.65/4.37
7.65/4.37 num=350, depth=3..5, filters=1831616, revisions=(1602897,useless=49981), ccks=17898, wck=2.101, mem=63M581
7.65/4.37 decisions=22707, wrong=10642, backtracks=3559, failedAssignments=7816, nogoods=2078, foundSolutions=57, bestBound=945
7.65/4.37
7.65/4.38 num=351, depth=3..6, filters=1836443, revisions=(1606959,useless=50053), ccks=17898, wck=2.106, mem=63M581
7.65/4.38 decisions=22765, wrong=10669, backtracks=3568, failedAssignments=7835, nogoods=2082, foundSolutions=57, bestBound=945
7.65/4.38
7.65/4.38 num=352, depth=3..6, filters=1841590, revisions=(1611386,useless=50107), ccks=17898, wck=2.11, mem=63M581
7.65/4.38 decisions=22826, wrong=10698, backtracks=3577, failedAssignments=7856, nogoods=2090, foundSolutions=57, bestBound=945
7.65/4.38
7.65/4.38 num=353, depth=2..5, filters=1846204, revisions=(1615420,useless=50134), ccks=17898, wck=2.113, mem=63M581
7.65/4.38 decisions=22887, wrong=10727, backtracks=3583, failedAssignments=7879, nogoods=2092, foundSolutions=57, bestBound=945
7.65/4.38
7.65/4.39 num=354, depth=1..6, filters=1851843, revisions=(1620348,useless=50189), ccks=17898, wck=2.118, mem=63M581
7.65/4.39 decisions=22958, wrong=10761, backtracks=3593, failedAssignments=7904, nogoods=2102, foundSolutions=57, bestBound=945
7.65/4.39
7.65/4.39 num=355, depth=2..7, filters=1857826, revisions=(1625392,useless=50252), ccks=17898, wck=2.123, mem=63M581
7.65/4.39 decisions=23035, wrong=10798, backtracks=3607, failedAssignments=7932, nogoods=2108, foundSolutions=57, bestBound=945
7.65/4.39
7.76/4.40 num=356, depth=2..6, filters=1863624, revisions=(1630404,useless=50359), ccks=17898, wck=2.128, mem=63M581
7.76/4.40 decisions=23108, wrong=10833, backtracks=3615, failedAssignments=7963, nogoods=2114, foundSolutions=57, bestBound=945
7.76/4.40
7.76/4.40 num=357, depth=2..5, filters=1870496, revisions=(1636219,useless=50423), ccks=17898, wck=2.134, mem=63M581
7.76/4.40 decisions=23195, wrong=10875, backtracks=3626, failedAssignments=7997, nogoods=2125, foundSolutions=57, bestBound=945
7.76/4.40
7.76/4.41 num=358, depth=1..6, filters=1880562, revisions=(1644651,useless=50519), ccks=17898, wck=2.143, mem=63M581
7.76/4.41 decisions=23312, wrong=10931, backtracks=3647, failedAssignments=8034, nogoods=2130, foundSolutions=57, bestBound=945
7.76/4.41
7.76/4.42 num=359, depth=2..6, filters=1890962, revisions=(1653691,useless=50645), ccks=17898, wck=2.151, mem=63M581
7.76/4.42 decisions=23423, wrong=10985, backtracks=3665, failedAssignments=8075, nogoods=2138, foundSolutions=57, bestBound=945
7.76/4.42
7.76/4.43 num=360, depth=3..7, filters=1902444, revisions=(1663282,useless=50757), ccks=17898, wck=2.161, mem=63M581
7.76/4.43 decisions=23551, wrong=11047, backtracks=3685, failedAssignments=8120, nogoods=2152, foundSolutions=57, bestBound=945
7.76/4.43
7.76/4.44 num=361, depth=1..6, filters=1912747, revisions=(1672290,useless=50901), ccks=17898, wck=2.17, mem=63M581
7.76/4.44 decisions=23694, wrong=11117, backtracks=3709, failedAssignments=8170, nogoods=2157, foundSolutions=57, bestBound=945
7.76/4.44
7.76/4.45 num=362, depth=0..6, filters=1924931, revisions=(1682932,useless=51107), ccks=17898, wck=2.18, mem=63M581
7.76/4.45 decisions=23850, wrong=11193, backtracks=3735, failedAssignments=8225, nogoods=2168, foundSolutions=57, bestBound=945
7.76/4.45
7.76/4.46 o 929
7.76/4.46 num=363, depth=2..318, filters=1930696, revisions=(1687756,useless=51176), ccks=18212, wck=2.185, mem=63M581
7.76/4.46 decisions=23922, wrong=11226, backtracks=3750, failedAssignments=8246, nogoods=2171, foundSolutions=58, bestBound=929
7.76/4.46
7.76/4.47 num=364, depth=1..7, filters=1946281, revisions=(1701865,useless=51884), ccks=18212, wck=2.198, mem=63M581
7.76/4.47 decisions=24113, wrong=11319, backtracks=3782, failedAssignments=8313, nogoods=2175, foundSolutions=58, bestBound=929
7.76/4.47
7.76/4.47 num=365, depth=2..5, filters=1950093, revisions=(1705182,useless=51926), ccks=18212, wck=2.201, mem=63M581
7.76/4.47 decisions=24145, wrong=11334, backtracks=3788, failedAssignments=8324, nogoods=2179, foundSolutions=58, bestBound=929
7.76/4.47
7.76/4.48 num=366, depth=4..6, filters=1953400, revisions=(1707969,useless=51986), ccks=18212, wck=2.204, mem=63M581
7.76/4.48 decisions=24180, wrong=11349, backtracks=3792, failedAssignments=8336, nogoods=2188, foundSolutions=58, bestBound=929
7.76/4.48
7.76/4.48 num=367, depth=3..6, filters=1955818, revisions=(1710045,useless=52005), ccks=18212, wck=2.206, mem=63M581
7.76/4.48 decisions=24215, wrong=11365, backtracks=3797, failedAssignments=8349, nogoods=2192, foundSolutions=58, bestBound=929
7.76/4.48
7.76/4.48 num=368, depth=1..5, filters=1960317, revisions=(1713934,useless=52042), ccks=18212, wck=2.21, mem=63M581
7.76/4.48 decisions=24262, wrong=11387, backtracks=3806, failedAssignments=8363, nogoods=2196, foundSolutions=58, bestBound=929
7.76/4.48
7.76/4.48 num=369, depth=4..7, filters=1963870, revisions=(1716973,useless=52100), ccks=18212, wck=2.213, mem=63M581
7.76/4.48 decisions=24306, wrong=11407, backtracks=3812, failedAssignments=8379, nogoods=2202, foundSolutions=58, bestBound=929
7.76/4.48
7.76/4.49 num=370, depth=1..5, filters=1967468, revisions=(1720050,useless=52127), ccks=18212, wck=2.216, mem=63M581
7.76/4.49 decisions=24348, wrong=11426, backtracks=3815, failedAssignments=8396, nogoods=2210, foundSolutions=58, bestBound=929
7.76/4.49
7.76/4.49 num=371, depth=3..7, filters=1972810, revisions=(1724565,useless=52184), ccks=18212, wck=2.221, mem=63M581
7.76/4.49 decisions=24416, wrong=11458, backtracks=3831, failedAssignments=8415, nogoods=2215, foundSolutions=58, bestBound=929
7.76/4.49
7.76/4.50 num=372, depth=2..5, filters=1977599, revisions=(1728641,useless=52250), ccks=18212, wck=2.225, mem=63M581
7.76/4.50 decisions=24468, wrong=11483, backtracks=3836, failedAssignments=8436, nogoods=2223, foundSolutions=58, bestBound=929
7.76/4.50
7.86/4.50 num=373, depth=2..6, filters=1983363, revisions=(1733558,useless=52308), ccks=18212, wck=2.23, mem=63M581
7.86/4.50 decisions=24539, wrong=11516, backtracks=3851, failedAssignments=8459, nogoods=2228, foundSolutions=58, bestBound=929
7.86/4.50
7.86/4.51 num=374, depth=2..5, filters=1990047, revisions=(1739253,useless=52418), ccks=18212, wck=2.236, mem=63M581
7.86/4.51 decisions=24611, wrong=11550, backtracks=3860, failedAssignments=8484, nogoods=2238, foundSolutions=58, bestBound=929
7.86/4.51
7.86/4.51 num=375, depth=3..7, filters=1997496, revisions=(1745651,useless=52526), ccks=18212, wck=2.242, mem=63M581
7.86/4.51 decisions=24696, wrong=11590, backtracks=3877, failedAssignments=8512, nogoods=2249, foundSolutions=58, bestBound=929
7.86/4.51
7.86/4.52 num=376, depth=2..6, filters=2004406, revisions=(1751821,useless=52618), ccks=18212, wck=2.248, mem=63M581
7.86/4.52 decisions=24777, wrong=11629, backtracks=3886, failedAssignments=8543, nogoods=2259, foundSolutions=58, bestBound=929
7.86/4.52
7.86/4.53 num=377, depth=3..8, filters=2012502, revisions=(1758718,useless=52721), ccks=18212, wck=2.255, mem=63M581
7.86/4.53 decisions=24883, wrong=11680, backtracks=3906, failedAssignments=8577, nogoods=2265, foundSolutions=58, bestBound=929
7.86/4.53
7.86/4.53 num=378, depth=1..5, filters=2020342, revisions=(1765574,useless=52863), ccks=18212, wck=2.261, mem=63M581
7.86/4.53 decisions=24978, wrong=11726, backtracks=3915, failedAssignments=8614, nogoods=2271, foundSolutions=58, bestBound=929
7.86/4.53
7.86/4.54 num=379, depth=2..6, filters=2027504, revisions=(1771734,useless=52984), ccks=18212, wck=2.267, mem=63M581
7.86/4.54 decisions=25079, wrong=11775, backtracks=3929, failedAssignments=8655, nogoods=2277, foundSolutions=58, bestBound=929
7.86/4.54
7.86/4.55 num=380, depth=2..5, filters=2038290, revisions=(1781247,useless=53137), ccks=18212, wck=2.275, mem=63M581
7.86/4.55 decisions=25205, wrong=11837, backtracks=3949, failedAssignments=8700, nogoods=2287, foundSolutions=58, bestBound=929
7.86/4.55
7.86/4.55 o 921
7.86/4.55 num=381, depth=3..318, filters=2040311, revisions=(1782932,useless=53144), ccks=18526, wck=2.277, mem=63M581
7.86/4.55 decisions=25229, wrong=11846, backtracks=3951, failedAssignments=8707, nogoods=2291, foundSolutions=59, bestBound=921
7.86/4.55
7.86/4.56 num=382, depth=2..9, filters=2054967, revisions=(1796139,useless=53820), ccks=18526, wck=2.29, mem=63M581
7.86/4.56 decisions=25383, wrong=11921, backtracks=3974, failedAssignments=8762, nogoods=2294, foundSolutions=59, bestBound=921
7.86/4.56
7.86/4.56 num=383, depth=3..6, filters=2058273, revisions=(1799015,useless=53863), ccks=18526, wck=2.293, mem=63M581
7.86/4.56 decisions=25420, wrong=11937, backtracks=3980, failedAssignments=8773, nogoods=2298, foundSolutions=59, bestBound=921
7.86/4.56
7.86/4.57 num=384, depth=1..4, filters=2061334, revisions=(1801622,useless=53913), ccks=18526, wck=2.295, mem=63M581
7.86/4.57 decisions=25453, wrong=11952, backtracks=3983, failedAssignments=8785, nogoods=2301, foundSolutions=59, bestBound=921
7.86/4.57
7.86/4.57 num=385, depth=4..7, filters=2064016, revisions=(1803906,useless=53960), ccks=18526, wck=2.298, mem=63M581
7.86/4.57 decisions=25489, wrong=11968, backtracks=3988, failedAssignments=8798, nogoods=2306, foundSolutions=59, bestBound=921
7.86/4.57
7.86/4.57 num=386, depth=2..4, filters=2069052, revisions=(1808203,useless=54003), ccks=18526, wck=2.302, mem=63M581
7.86/4.57 decisions=25529, wrong=11986, backtracks=3992, failedAssignments=8812, nogoods=2317, foundSolutions=59, bestBound=921
7.86/4.57
7.86/4.58 num=387, depth=2..5, filters=2073545, revisions=(1812112,useless=54061), ccks=18526, wck=2.305, mem=63M581
7.86/4.58 decisions=25571, wrong=12006, backtracks=3998, failedAssignments=8828, nogoods=2325, foundSolutions=59, bestBound=921
7.86/4.58
7.86/4.58 num=388, depth=3..6, filters=2077969, revisions=(1815895,useless=54125), ccks=18526, wck=2.309, mem=63M581
7.86/4.58 decisions=25624, wrong=12031, backtracks=4009, failedAssignments=8845, nogoods=2333, foundSolutions=59, bestBound=921
7.86/4.58
7.86/4.58 num=389, depth=2..6, filters=2083334, revisions=(1820616,useless=54187), ccks=18526, wck=2.314, mem=63M581
7.86/4.58 decisions=25681, wrong=12058, backtracks=4019, failedAssignments=8864, nogoods=2336, foundSolutions=59, bestBound=921
7.86/4.58
7.86/4.59 o 919
7.86/4.59 num=390, depth=2..318, filters=2087307, revisions=(1823977,useless=54209), ccks=18840, wck=2.317, mem=63M581
7.86/4.59 decisions=25740, wrong=12084, backtracks=4032, failedAssignments=8881, nogoods=2340, foundSolutions=60, bestBound=919
7.86/4.59
7.86/4.59 num=391, depth=4..7, filters=2091901, revisions=(1828498,useless=54791), ccks=18840, wck=2.322, mem=63M581
7.86/4.59 decisions=25797, wrong=12110, backtracks=4036, failedAssignments=8904, nogoods=2352, foundSolutions=60, bestBound=919
7.86/4.59
7.86/4.60 num=392, depth=1..6, filters=2095898, revisions=(1831902,useless=54849), ccks=18840, wck=2.325, mem=63M581
7.86/4.60 decisions=25832, wrong=12125, backtracks=4040, failedAssignments=8915, nogoods=2356, foundSolutions=60, bestBound=919
7.86/4.60
7.97/4.60 num=393, depth=3..7, filters=2100199, revisions=(1835554,useless=54896), ccks=18840, wck=2.329, mem=63M581
7.97/4.60 decisions=25884, wrong=12148, backtracks=4052, failedAssignments=8927, nogoods=2358, foundSolutions=60, bestBound=919
7.97/4.60
7.97/4.60 num=394, depth=2..5, filters=2103948, revisions=(1838754,useless=54934), ccks=18840, wck=2.332, mem=63M581
7.97/4.60 decisions=25925, wrong=12167, backtracks=4060, failedAssignments=8940, nogoods=2366, foundSolutions=60, bestBound=919
7.97/4.60
7.97/4.61 num=395, depth=3..6, filters=2108340, revisions=(1842522,useless=54977), ccks=18840, wck=2.336, mem=63M581
7.97/4.61 decisions=25963, wrong=12184, backtracks=4063, failedAssignments=8954, nogoods=2375, foundSolutions=60, bestBound=919
7.97/4.61
7.97/4.61 num=396, depth=3..8, filters=2112270, revisions=(1845943,useless=55018), ccks=18840, wck=2.339, mem=63M581
7.97/4.61 decisions=26012, wrong=12205, backtracks=4068, failedAssignments=8970, nogoods=2390, foundSolutions=60, bestBound=919
7.97/4.61
7.97/4.61 o 911
7.97/4.61 num=397, depth=5..318, filters=2113302, revisions=(1846765,useless=55018), ccks=19154, wck=2.341, mem=63M581
7.97/4.61 decisions=26020, wrong=12206, backtracks=4068, failedAssignments=8971, nogoods=2391, foundSolutions=61, bestBound=911
7.97/4.61
7.97/4.62 num=398, depth=3..7, filters=2118838, revisions=(1852137,useless=55620), ccks=19154, wck=2.345, mem=63M581
7.97/4.62 decisions=26073, wrong=12230, backtracks=4076, failedAssignments=8990, nogoods=2399, foundSolutions=61, bestBound=911
7.97/4.62
7.97/4.62 num=399, depth=4..7, filters=2122860, revisions=(1855589,useless=55664), ccks=19154, wck=2.349, mem=63M581
7.97/4.62 decisions=26115, wrong=12249, backtracks=4086, failedAssignments=9001, nogoods=2402, foundSolutions=61, bestBound=911
7.97/4.62
7.97/4.62 num=400, depth=3..6, filters=2126431, revisions=(1858682,useless=55703), ccks=19154, wck=2.352, mem=63M581
7.97/4.62 decisions=26152, wrong=12266, backtracks=4092, failedAssignments=9013, nogoods=2407, foundSolutions=61, bestBound=911
7.97/4.62
7.97/4.63 num=401, depth=4..6, filters=2129300, revisions=(1861112,useless=55730), ccks=19154, wck=2.355, mem=63M581
7.97/4.63 decisions=26185, wrong=12280, backtracks=4093, failedAssignments=9026, nogoods=2417, foundSolutions=61, bestBound=911
7.97/4.63
7.97/4.63 num=402, depth=3..6, filters=2133051, revisions=(1864288,useless=55761), ccks=19154, wck=2.358, mem=63M581
7.97/4.63 decisions=26232, wrong=12302, backtracks=4102, failedAssignments=9040, nogoods=2424, foundSolutions=61, bestBound=911
7.97/4.63
7.97/4.63 num=403, depth=1..6, filters=2136606, revisions=(1867321,useless=55800), ccks=19154, wck=2.361, mem=63M581
7.97/4.63 decisions=26282, wrong=12325, backtracks=4113, failedAssignments=9056, nogoods=2426, foundSolutions=61, bestBound=911
7.97/4.63
7.97/4.64 num=404, depth=3..5, filters=2140422, revisions=(1870614,useless=55839), ccks=19154, wck=2.364, mem=63M581
7.97/4.64 decisions=26325, wrong=12345, backtracks=4117, failedAssignments=9073, nogoods=2433, foundSolutions=61, bestBound=911
7.97/4.64
7.97/4.64 num=405, depth=2..6, filters=2144994, revisions=(1874472,useless=55856), ccks=19154, wck=2.368, mem=63M581
7.97/4.64 decisions=26384, wrong=12373, backtracks=4127, failedAssignments=9092, nogoods=2441, foundSolutions=61, bestBound=911
7.97/4.64
7.97/4.64 num=406, depth=2..6, filters=2149357, revisions=(1878260,useless=55905), ccks=19154, wck=2.372, mem=63M581
7.97/4.64 decisions=26442, wrong=12401, backtracks=4135, failedAssignments=9113, nogoods=2450, foundSolutions=61, bestBound=911
7.97/4.64
7.97/4.65 num=407, depth=1..5, filters=2156105, revisions=(1884106,useless=56035), ccks=19154, wck=2.378, mem=63M581
7.97/4.65 decisions=26505, wrong=12431, backtracks=4144, failedAssignments=9136, nogoods=2453, foundSolutions=61, bestBound=911
7.97/4.65
7.97/4.65 num=408, depth=3..8, filters=2161964, revisions=(1889137,useless=56124), ccks=19154, wck=2.383, mem=63M581
7.97/4.65 decisions=26583, wrong=12468, backtracks=4159, failedAssignments=9161, nogoods=2463, foundSolutions=61, bestBound=911
7.97/4.65
7.97/4.66 num=409, depth=2..6, filters=2168614, revisions=(1894770,useless=56262), ccks=19154, wck=2.388, mem=63M581
7.97/4.66 decisions=26655, wrong=12503, backtracks=4169, failedAssignments=9189, nogoods=2474, foundSolutions=61, bestBound=911
7.97/4.66
7.97/4.67 num=410, depth=2..5, filters=2175530, revisions=(1900679,useless=56345), ccks=19154, wck=2.394, mem=63M581
7.97/4.67 decisions=26744, wrong=12546, backtracks=4183, failedAssignments=9220, nogoods=2485, foundSolutions=61, bestBound=911
7.97/4.67
7.97/4.67 num=411, depth=1..4, filters=2184566, revisions=(1908491,useless=56566), ccks=19154, wck=2.401, mem=63M581
7.97/4.67 decisions=26837, wrong=12592, backtracks=4198, failedAssignments=9254, nogoods=2495, foundSolutions=61, bestBound=911
7.97/4.67
7.97/4.68 num=412, depth=2..6, filters=2193305, revisions=(1915946,useless=56665), ccks=19154, wck=2.409, mem=63M581
7.97/4.68 decisions=26949, wrong=12646, backtracks=4218, failedAssignments=9291, nogoods=2503, foundSolutions=61, bestBound=911
7.97/4.68
7.97/4.69 num=413, depth=3..6, filters=2201695, revisions=(1923146,useless=56797), ccks=19154, wck=2.416, mem=63M581
7.97/4.69 decisions=27061, wrong=12700, backtracks=4236, failedAssignments=9332, nogoods=2510, foundSolutions=61, bestBound=911
7.97/4.69
8.08/4.70 num=414, depth=1..8, filters=2213231, revisions=(1933019,useless=56930), ccks=19154, wck=2.426, mem=63M581
8.08/4.70 decisions=27194, wrong=12764, backtracks=4262, failedAssignments=9377, nogoods=2518, foundSolutions=61, bestBound=911
8.08/4.70
8.08/4.71 num=415, depth=2..9, filters=2226070, revisions=(1944058,useless=57123), ccks=19154, wck=2.438, mem=63M581
8.08/4.71 decisions=27353, wrong=12842, backtracks=4294, failedAssignments=9427, nogoods=2529, foundSolutions=61, bestBound=911
8.08/4.71
8.08/4.72 num=416, depth=1..5, filters=2238141, revisions=(1954603,useless=57222), ccks=19154, wck=2.447, mem=63M581
8.08/4.72 decisions=27514, wrong=12920, backtracks=4319, failedAssignments=9482, nogoods=2533, foundSolutions=61, bestBound=911
8.08/4.72
8.08/4.73 num=417, depth=1..7, filters=2253916, revisions=(1968103,useless=57453), ccks=19154, wck=2.461, mem=63M581
8.08/4.73 decisions=27703, wrong=13013, backtracks=4357, failedAssignments=9543, nogoods=2536, foundSolutions=61, bestBound=911
8.08/4.73
8.08/4.75 num=418, depth=0..6, filters=2270586, revisions=(1982328,useless=57675), ccks=19154, wck=2.475, mem=66M225
8.08/4.75 decisions=27918, wrong=13119, backtracks=4401, failedAssignments=9610, nogoods=2541, foundSolutions=61, bestBound=911
8.08/4.75
8.08/4.76 num=419, depth=1..7, filters=2285283, revisions=(1995083,useless=57913), ccks=19154, wck=2.488, mem=66M225
8.08/4.76 decisions=28129, wrong=13223, backtracks=4441, failedAssignments=9684, nogoods=2545, foundSolutions=61, bestBound=911
8.08/4.76
8.08/4.77 num=420, depth=2..7, filters=2303566, revisions=(2011110,useless=58149), ccks=19154, wck=2.502, mem=66M225
8.08/4.77 decisions=28354, wrong=13334, backtracks=4479, failedAssignments=9765, nogoods=2558, foundSolutions=61, bestBound=911
8.08/4.77
8.08/4.79 num=421, depth=2..7, filters=2322835, revisions=(2027919,useless=58415), ccks=19154, wck=2.518, mem=66M225
8.08/4.79 decisions=28604, wrong=13457, backtracks=4520, failedAssignments=9854, nogoods=2563, foundSolutions=61, bestBound=911
8.08/4.79
8.19/4.81 num=422, depth=1..5, filters=2343182, revisions=(2045426,useless=58708), ccks=19154, wck=2.54, mem=66M225
8.19/4.81 decisions=28893, wrong=13601, backtracks=4575, failedAssignments=9952, nogoods=2576, foundSolutions=61, bestBound=911
8.19/4.81
8.19/4.82 o 906
8.19/4.82 num=423, depth=2..318, filters=2349298, revisions=(2050750,useless=58731), ccks=19468, wck=2.548, mem=66M225
8.19/4.82 decisions=28986, wrong=13644, backtracks=4588, failedAssignments=9985, nogoods=2580, foundSolutions=62, bestBound=906
8.19/4.82
8.19/4.84 num=424, depth=2..8, filters=2376893, revisions=(2075659,useless=59497), ccks=19468, wck=2.573, mem=66M225
8.19/4.84 decisions=29305, wrong=13801, backtracks=4632, failedAssignments=10104, nogoods=2589, foundSolutions=62, bestBound=906
8.19/4.84
8.19/4.85 num=425, depth=3..7, filters=2379893, revisions=(2078179,useless=59526), ccks=19468, wck=2.577, mem=66M225
8.19/4.85 decisions=29340, wrong=13817, backtracks=4638, failedAssignments=10115, nogoods=2595, foundSolutions=62, bestBound=906
8.19/4.85
8.19/4.85 num=426, depth=1..6, filters=2382779, revisions=(2080654,useless=59557), ccks=19468, wck=2.58, mem=66M225
8.19/4.85 decisions=29372, wrong=13832, backtracks=4642, failedAssignments=10127, nogoods=2597, foundSolutions=62, bestBound=906
8.19/4.85
8.19/4.85 o 888
8.19/4.86 num=427, depth=3..318, filters=2385530, revisions=(2082997,useless=59564), ccks=19782, wck=2.584, mem=66M225
8.19/4.86 decisions=29405, wrong=13845, backtracks=4645, failedAssignments=10137, nogoods=2602, foundSolutions=63, bestBound=888
8.19/4.86
8.19/4.86 num=428, depth=3..6, filters=2389371, revisions=(2086908,useless=60168), ccks=19782, wck=2.588, mem=66M225
8.19/4.86 decisions=29444, wrong=13862, backtracks=4649, failedAssignments=10151, nogoods=2612, foundSolutions=63, bestBound=888
8.19/4.86
8.19/4.86 num=429, depth=3..6, filters=2392283, revisions=(2089441,useless=60175), ccks=19782, wck=2.591, mem=66M225
8.19/4.86 decisions=29474, wrong=13874, backtracks=4650, failedAssignments=10162, nogoods=2622, foundSolutions=63, bestBound=888
8.19/4.86
8.19/4.87 num=430, depth=2..5, filters=2395440, revisions=(2092122,useless=60219), ccks=19782, wck=2.595, mem=66M225
8.19/4.87 decisions=29514, wrong=13893, backtracks=4657, failedAssignments=10174, nogoods=2623, foundSolutions=63, bestBound=888
8.19/4.87
8.19/4.87 num=431, depth=3..5, filters=2398660, revisions=(2094896,useless=60272), ccks=19782, wck=2.599, mem=66M225
8.19/4.87 decisions=29549, wrong=13909, backtracks=4662, failedAssignments=10187, nogoods=2628, foundSolutions=63, bestBound=888
8.19/4.87
8.19/4.87 num=432, depth=3..6, filters=2401842, revisions=(2097671,useless=60299), ccks=19782, wck=2.602, mem=66M225
8.19/4.87 decisions=29589, wrong=13927, backtracks=4667, failedAssignments=10201, nogoods=2630, foundSolutions=63, bestBound=888
8.19/4.87
8.19/4.88 num=433, depth=3..6, filters=2406176, revisions=(2101429,useless=60356), ccks=19782, wck=2.607, mem=66M225
8.19/4.88 decisions=29644, wrong=13953, backtracks=4678, failedAssignments=10217, nogoods=2631, foundSolutions=63, bestBound=888
8.19/4.88
8.19/4.88 num=434, depth=3..6, filters=2410069, revisions=(2104836,useless=60388), ccks=19782, wck=2.611, mem=66M225
8.19/4.88 decisions=29696, wrong=13977, backtracks=4685, failedAssignments=10234, nogoods=2636, foundSolutions=63, bestBound=888
8.19/4.88
8.19/4.89 num=435, depth=3..6, filters=2414662, revisions=(2108725,useless=60416), ccks=19782, wck=2.616, mem=66M225
8.19/4.89 decisions=29756, wrong=14005, backtracks=4694, failedAssignments=10253, nogoods=2647, foundSolutions=63, bestBound=888
8.19/4.89
8.19/4.89 num=436, depth=0..6, filters=2419074, revisions=(2112544,useless=60464), ccks=19782, wck=2.621, mem=66M225
8.19/4.89 decisions=29817, wrong=14034, backtracks=4704, failedAssignments=10274, nogoods=2651, foundSolutions=63, bestBound=888
8.19/4.89
8.40/4.90 num=437, depth=1..5, filters=2425761, revisions=(2118379,useless=60554), ccks=19782, wck=2.628, mem=66M225
8.40/4.90 decisions=29889, wrong=14068, backtracks=4718, failedAssignments=10297, nogoods=2656, foundSolutions=63, bestBound=888
8.40/4.90
8.40/4.91 num=438, depth=3..9, filters=2432237, revisions=(2124135,useless=60682), ccks=19782, wck=2.635, mem=66M225
8.40/4.91 decisions=29971, wrong=14107, backtracks=4735, failedAssignments=10322, nogoods=2663, foundSolutions=63, bestBound=888
8.40/4.91
8.40/4.91 num=439, depth=2..6, filters=2438518, revisions=(2129649,useless=60779), ccks=19782, wck=2.642, mem=66M225
8.40/4.91 decisions=30050, wrong=14145, backtracks=4750, failedAssignments=10350, nogoods=2674, foundSolutions=63, bestBound=888
8.40/4.91
8.40/4.92 num=440, depth=2..6, filters=2445320, revisions=(2135479,useless=60835), ccks=19782, wck=2.647, mem=66M225
8.40/4.92 decisions=30143, wrong=14190, backtracks=4768, failedAssignments=10381, nogoods=2682, foundSolutions=63, bestBound=888
8.40/4.92
8.40/4.92 num=441, depth=2..6, filters=2452392, revisions=(2141533,useless=60943), ccks=19782, wck=2.654, mem=66M225
8.40/4.92 decisions=30237, wrong=14235, backtracks=4782, failedAssignments=10415, nogoods=2685, foundSolutions=63, bestBound=888
8.40/4.92
8.40/4.93 num=442, depth=2..6, filters=2460992, revisions=(2149089,useless=61051), ccks=19782, wck=2.66, mem=66M225
8.40/4.93 decisions=30334, wrong=14282, backtracks=4795, failedAssignments=10452, nogoods=2702, foundSolutions=63, bestBound=888
8.40/4.93
8.40/4.94 num=443, depth=1..9, filters=2473114, revisions=(2159791,useless=61249), ccks=19782, wck=2.67, mem=66M225
8.40/4.94 decisions=30471, wrong=14349, backtracks=4826, failedAssignments=10493, nogoods=2709, foundSolutions=63, bestBound=888
8.40/4.94
8.40/4.95 num=444, depth=1..5, filters=2481928, revisions=(2167316,useless=61393), ccks=19782, wck=2.677, mem=66M225
8.40/4.95 decisions=30587, wrong=14406, backtracks=4840, failedAssignments=10538, nogoods=2713, foundSolutions=63, bestBound=888
8.40/4.95
8.40/4.96 num=445, depth=3..7, filters=2494838, revisions=(2178266,useless=61578), ccks=19782, wck=2.689, mem=66M225
8.40/4.96 decisions=30745, wrong=14483, backtracks=4870, failedAssignments=10588, nogoods=2719, foundSolutions=63, bestBound=888
8.40/4.96
8.40/4.96 o 872
8.40/4.96 num=446, depth=4..318, filters=2496770, revisions=(2179867,useless=61581), ccks=20096, wck=2.691, mem=66M225
8.40/4.96 decisions=30766, wrong=14490, backtracks=4873, failedAssignments=10593, nogoods=2721, foundSolutions=64, bestBound=872
8.40/4.96
8.40/4.97 num=447, depth=2..7, filters=2511884, revisions=(2193712,useless=62388), ccks=20096, wck=2.703, mem=66M225
8.40/4.97 decisions=30919, wrong=14565, backtracks=4893, failedAssignments=10654, nogoods=2727, foundSolutions=64, bestBound=872
8.40/4.97
8.40/4.98 num=448, depth=3..5, filters=2515041, revisions=(2196444,useless=62448), ccks=20096, wck=2.706, mem=66M225
8.40/4.98 decisions=30947, wrong=14577, backtracks=4895, failedAssignments=10665, nogoods=2730, foundSolutions=64, bestBound=872
8.40/4.98
8.40/4.98 o 854
8.40/4.98 num=449, depth=4..318, filters=2516800, revisions=(2197889,useless=62451), ccks=20410, wck=2.708, mem=66M225
8.40/4.98 decisions=30964, wrong=14582, backtracks=4897, failedAssignments=10669, nogoods=2732, foundSolutions=65, bestBound=854
8.40/4.98
8.40/4.98 num=450, depth=2..6, filters=2520556, revisions=(2201760,useless=63069), ccks=20410, wck=2.712, mem=66M225
8.40/4.98 decisions=31002, wrong=14599, backtracks=4902, failedAssignments=10682, nogoods=2738, foundSolutions=65, bestBound=854
8.40/4.98
8.40/4.99 num=451, depth=3..6, filters=2523810, revisions=(2204589,useless=63088), ccks=20410, wck=2.714, mem=66M225
8.40/4.99 decisions=31033, wrong=14612, backtracks=4904, failedAssignments=10693, nogoods=2744, foundSolutions=65, bestBound=854
8.40/4.99
8.40/4.99 num=452, depth=2..5, filters=2528205, revisions=(2208360,useless=63166), ccks=20410, wck=2.719, mem=66M225
8.40/4.99 decisions=31075, wrong=14631, backtracks=4911, failedAssignments=10705, nogoods=2750, foundSolutions=65, bestBound=854
8.40/4.99
8.40/4.99 num=453, depth=2..6, filters=2531359, revisions=(2211089,useless=63191), ccks=20410, wck=2.721, mem=66M225
8.40/4.99 decisions=31108, wrong=14645, backtracks=4912, failedAssignments=10718, nogoods=2761, foundSolutions=65, bestBound=854
8.40/4.99
8.40/5.00 num=454, depth=2..7, filters=2535438, revisions=(2214608,useless=63262), ccks=20410, wck=2.725, mem=66M225
8.40/5.00 decisions=31153, wrong=14666, backtracks=4920, failedAssignments=10732, nogoods=2763, foundSolutions=65, bestBound=854
8.40/5.00
8.40/5.00 num=455, depth=3..7, filters=2538687, revisions=(2217383,useless=63272), ccks=20410, wck=2.728, mem=66M225
8.40/5.00 decisions=31204, wrong=14690, backtracks=4930, failedAssignments=10748, nogoods=2764, foundSolutions=65, bestBound=854
8.40/5.00
8.40/5.00 num=456, depth=3..6, filters=2542553, revisions=(2220741,useless=63327), ccks=20410, wck=2.731, mem=66M225
8.40/5.00 decisions=31248, wrong=14710, backtracks=4934, failedAssignments=10765, nogoods=2771, foundSolutions=65, bestBound=854
8.40/5.00
8.53/5.01 num=457, depth=2..5, filters=2547583, revisions=(2225181,useless=63409), ccks=20410, wck=2.735, mem=66M225
8.53/5.01 decisions=31308, wrong=14739, backtracks=4946, failedAssignments=10784, nogoods=2774, foundSolutions=65, bestBound=854
8.53/5.01
8.53/5.01 num=458, depth=3..6, filters=2553447, revisions=(2230263,useless=63482), ccks=20410, wck=2.74, mem=66M225
8.53/5.01 decisions=31368, wrong=14767, backtracks=4953, failedAssignments=10805, nogoods=2783, foundSolutions=65, bestBound=854
8.53/5.01
8.53/5.02 num=459, depth=3..11, filters=2559193, revisions=(2235314,useless=63567), ccks=20410, wck=2.745, mem=66M225
8.53/5.02 decisions=31445, wrong=14803, backtracks=4974, failedAssignments=10828, nogoods=2788, foundSolutions=65, bestBound=854
8.53/5.02
8.53/5.02 num=460, depth=3..7, filters=2565253, revisions=(2240632,useless=63595), ccks=20410, wck=2.75, mem=66M225
8.53/5.02 decisions=31507, wrong=14832, backtracks=4979, failedAssignments=10853, nogoods=2798, foundSolutions=65, bestBound=854
8.53/5.02
8.53/5.03 num=461, depth=3..11, filters=2572693, revisions=(2247224,useless=63698), ccks=20410, wck=2.756, mem=66M225
8.53/5.03 decisions=31606, wrong=14879, backtracks=5006, failedAssignments=10881, nogoods=2803, foundSolutions=65, bestBound=854
8.53/5.03
8.53/5.03 num=462, depth=3..8, filters=2581290, revisions=(2254693,useless=63851), ccks=20410, wck=2.763, mem=66M225
8.53/5.03 decisions=31691, wrong=14920, backtracks=5020, failedAssignments=10912, nogoods=2812, foundSolutions=65, bestBound=854
8.53/5.03
8.53/5.04 num=463, depth=2..9, filters=2590534, revisions=(2262819,useless=64035), ccks=20410, wck=2.771, mem=66M225
8.53/5.04 decisions=31803, wrong=14975, backtracks=5045, failedAssignments=10946, nogoods=2820, foundSolutions=65, bestBound=854
8.53/5.04
8.53/5.05 num=464, depth=2..5, filters=2597675, revisions=(2268914,useless=64124), ccks=20410, wck=2.777, mem=66M225
8.53/5.05 decisions=31905, wrong=15025, backtracks=5061, failedAssignments=10983, nogoods=2828, foundSolutions=65, bestBound=854
8.53/5.05
8.53/5.06 num=465, depth=1..6, filters=2607029, revisions=(2276990,useless=64256), ccks=20410, wck=2.785, mem=66M225
8.53/5.06 decisions=32009, wrong=15076, backtracks=5073, failedAssignments=11024, nogoods=2832, foundSolutions=65, bestBound=854
8.53/5.06
8.53/5.07 num=466, depth=1..6, filters=2617591, revisions=(2286222,useless=64429), ccks=20410, wck=2.794, mem=66M225
8.53/5.07 decisions=32151, wrong=15146, backtracks=5107, failedAssignments=11069, nogoods=2836, foundSolutions=65, bestBound=854
8.53/5.07
8.53/5.07 num=467, depth=2..8, filters=2628217, revisions=(2295568,useless=64530), ccks=20410, wck=2.802, mem=66M225
8.53/5.07 decisions=32280, wrong=15208, backtracks=5121, failedAssignments=11119, nogoods=2844, foundSolutions=65, bestBound=854
8.53/5.07
8.53/5.08 num=468, depth=2..6, filters=2639493, revisions=(2305390,useless=64689), ccks=20410, wck=2.812, mem=66M225
8.53/5.08 decisions=32438, wrong=15286, backtracks=5149, failedAssignments=11174, nogoods=2847, foundSolutions=65, bestBound=854
8.53/5.08
8.53/5.10 num=469, depth=2..7, filters=2654512, revisions=(2318586,useless=64975), ccks=20410, wck=2.824, mem=66M225
8.53/5.10 decisions=32605, wrong=15368, backtracks=5179, failedAssignments=11235, nogoods=2855, foundSolutions=65, bestBound=854
8.53/5.10
8.63/5.11 num=470, depth=1..7, filters=2669359, revisions=(2331530,useless=65162), ccks=20410, wck=2.836, mem=66M225
8.63/5.11 decisions=32809, wrong=15467, backtracks=5217, failedAssignments=11302, nogoods=2859, foundSolutions=65, bestBound=854
8.63/5.11
8.63/5.12 num=471, depth=2..6, filters=2690123, revisions=(2349534,useless=65538), ccks=20410, wck=2.852, mem=66M225
8.63/5.12 decisions=33020, wrong=15571, backtracks=5252, failedAssignments=11376, nogoods=2869, foundSolutions=65, bestBound=854
8.63/5.12
8.63/5.14 num=472, depth=1..9, filters=2709971, revisions=(2366582,useless=65711), ccks=20410, wck=2.869, mem=66M225
8.63/5.14 decisions=33242, wrong=15678, backtracks=5286, failedAssignments=11457, nogoods=2879, foundSolutions=65, bestBound=854
8.63/5.14
8.63/5.15 num=473, depth=1..5, filters=2727248, revisions=(2381545,useless=65969), ccks=20410, wck=2.884, mem=66M225
8.63/5.15 decisions=33473, wrong=15792, backtracks=5319, failedAssignments=11546, nogoods=2893, foundSolutions=65, bestBound=854
8.63/5.15
8.63/5.18 num=474, depth=1..7, filters=2751373, revisions=(2402416,useless=66267), ccks=20410, wck=2.904, mem=66M225
8.63/5.18 decisions=33759, wrong=15934, backtracks=5372, failedAssignments=11644, nogoods=2895, foundSolutions=65, bestBound=854
8.63/5.18
8.63/5.19 num=475, depth=2..7, filters=2770188, revisions=(2418881,useless=66475), ccks=20410, wck=2.919, mem=66M225
8.63/5.19 decisions=34071, wrong=16088, backtracks=5425, failedAssignments=11752, nogoods=2904, foundSolutions=65, bestBound=854
8.63/5.19
8.72/5.21 num=476, depth=2..7, filters=2793290, revisions=(2438624,useless=66782), ccks=20410, wck=2.939, mem=66M225
8.72/5.21 decisions=34412, wrong=16256, backtracks=5483, failedAssignments=11871, nogoods=2913, foundSolutions=65, bestBound=854
8.72/5.21
8.72/5.22 o 846
8.72/5.22 num=477, depth=3..318, filters=2800633, revisions=(2444963,useless=66823), ccks=20724, wck=2.945, mem=66M225
8.72/5.22 decisions=34525, wrong=16309, backtracks=5501, failedAssignments=11910, nogoods=2917, foundSolutions=66, bestBound=846
8.72/5.22
8.72/5.24 num=478, depth=1..8, filters=2835535, revisions=(2476119,useless=67792), ccks=20724, wck=2.974, mem=66M225
8.72/5.24 decisions=34968, wrong=16528, backtracks=5593, failedAssignments=12054, nogoods=2928, foundSolutions=66, bestBound=846
8.72/5.24
8.72/5.25 num=479, depth=4..7, filters=2837970, revisions=(2478154,useless=67803), ccks=20724, wck=2.976, mem=66M225
8.72/5.25 decisions=35001, wrong=16542, backtracks=5597, failedAssignments=12065, nogoods=2933, foundSolutions=66, bestBound=846
8.72/5.25
8.72/5.25 num=480, depth=2..5, filters=2842955, revisions=(2482423,useless=67871), ccks=20724, wck=2.98, mem=66M225
8.72/5.25 decisions=35048, wrong=16563, backtracks=5606, failedAssignments=12077, nogoods=2936, foundSolutions=66, bestBound=846
8.72/5.25
8.72/5.25 num=481, depth=1..5, filters=2846850, revisions=(2485772,useless=67932), ccks=20724, wck=2.984, mem=66M225
8.72/5.25 decisions=35084, wrong=16580, backtracks=5612, failedAssignments=12090, nogoods=2940, foundSolutions=66, bestBound=846
8.72/5.25
8.72/5.26 num=482, depth=1..4, filters=2850672, revisions=(2489093,useless=67977), ccks=20724, wck=2.987, mem=68M867
8.72/5.26 decisions=35123, wrong=16599, backtracks=5618, failedAssignments=12104, nogoods=2946, foundSolutions=66, bestBound=846
8.72/5.26
8.72/5.26 num=483, depth=1..7, filters=2854516, revisions=(2492522,useless=68035), ccks=20724, wck=2.99, mem=68M867
8.72/5.26 decisions=35168, wrong=16620, backtracks=5624, failedAssignments=12120, nogoods=2954, foundSolutions=66, bestBound=846
8.72/5.26
8.72/5.27 num=484, depth=3..6, filters=2860200, revisions=(2497457,useless=68105), ccks=20724, wck=2.995, mem=68M867
8.72/5.27 decisions=35227, wrong=16647, backtracks=5635, failedAssignments=12137, nogoods=2961, foundSolutions=66, bestBound=846
8.72/5.27
8.72/5.27 num=485, depth=3..6, filters=2864055, revisions=(2500736,useless=68112), ccks=20724, wck=2.999, mem=68M867
8.72/5.27 decisions=35288, wrong=16675, backtracks=5646, failedAssignments=12156, nogoods=2964, foundSolutions=66, bestBound=846
8.72/5.27
8.72/5.27 num=486, depth=1..4, filters=2868772, revisions=(2504664,useless=68168), ccks=20724, wck=3.003, mem=68M867
8.72/5.27 decisions=35350, wrong=16705, backtracks=5655, failedAssignments=12177, nogoods=2967, foundSolutions=66, bestBound=846
8.72/5.27
8.72/5.28 num=487, depth=3..6, filters=2873616, revisions=(2508755,useless=68216), ccks=20724, wck=3.007, mem=68M867
8.72/5.28 decisions=35417, wrong=16736, backtracks=5664, failedAssignments=12200, nogoods=2972, foundSolutions=66, bestBound=846
8.72/5.28
8.72/5.28 num=488, depth=3..7, filters=2880632, revisions=(2514849,useless=68315), ccks=20724, wck=3.013, mem=68M867
8.72/5.28 decisions=35500, wrong=16776, backtracks=5681, failedAssignments=12225, nogoods=2978, foundSolutions=66, bestBound=846
8.72/5.28
8.72/5.29 num=489, depth=2..6, filters=2887508, revisions=(2520963,useless=68406), ccks=20724, wck=3.019, mem=68M867
8.72/5.29 decisions=35573, wrong=16811, backtracks=5690, failedAssignments=12253, nogoods=2986, foundSolutions=66, bestBound=846
8.72/5.29
8.83/5.30 num=490, depth=1..4, filters=2895675, revisions=(2528080,useless=68546), ccks=20724, wck=3.026, mem=68M867
8.83/5.30 decisions=35675, wrong=16861, backtracks=5711, failedAssignments=12284, nogoods=2991, foundSolutions=66, bestBound=846
8.83/5.30
8.83/5.31 num=491, depth=0..6, filters=2905442, revisions=(2536457,useless=68703), ccks=20724, wck=3.034, mem=68M867
8.83/5.31 decisions=35786, wrong=16915, backtracks=5734, failedAssignments=12318, nogoods=2992, foundSolutions=66, bestBound=846
8.83/5.31
8.83/5.31 num=492, depth=2..6, filters=2914291, revisions=(2544355,useless=68866), ccks=20724, wck=3.042, mem=68M867
8.83/5.31 decisions=35881, wrong=16961, backtracks=5745, failedAssignments=12355, nogoods=3000, foundSolutions=66, bestBound=846
8.83/5.31
8.83/5.32 num=493, depth=2..8, filters=2924493, revisions=(2553109,useless=69024), ccks=20724, wck=3.051, mem=68M867
8.83/5.32 decisions=36009, wrong=17023, backtracks=5773, failedAssignments=12396, nogoods=3006, foundSolutions=66, bestBound=846
8.83/5.32
8.83/5.33 num=494, depth=0..5, filters=2938408, revisions=(2565358,useless=69357), ccks=20724, wck=3.062, mem=68M867
8.83/5.33 decisions=36155, wrong=17094, backtracks=5803, failedAssignments=12441, nogoods=3014, foundSolutions=66, bestBound=846
8.83/5.33
8.83/5.34 num=495, depth=2..6, filters=2948041, revisions=(2573615,useless=69465), ccks=20724, wck=3.07, mem=68M867
8.83/5.34 decisions=36292, wrong=17161, backtracks=5824, failedAssignments=12491, nogoods=3020, foundSolutions=66, bestBound=846
8.83/5.34
8.83/5.35 num=496, depth=2..6, filters=2962684, revisions=(2586439,useless=69652), ccks=20724, wck=3.082, mem=68M867
8.83/5.35 decisions=36468, wrong=17248, backtracks=5860, failedAssignments=12546, nogoods=3029, foundSolutions=66, bestBound=846
8.83/5.35
8.83/5.37 num=497, depth=1..7, filters=2977933, revisions=(2599668,useless=69874), ccks=20724, wck=3.095, mem=68M867
8.83/5.37 decisions=36656, wrong=17340, backtracks=5898, failedAssignments=12607, nogoods=3035, foundSolutions=66, bestBound=846
8.83/5.37
8.83/5.38 num=498, depth=2..6, filters=2991459, revisions=(2611341,useless=70028), ccks=20724, wck=3.105, mem=68M867
8.83/5.38 decisions=36840, wrong=17430, backtracks=5928, failedAssignments=12674, nogoods=3044, foundSolutions=66, bestBound=846
8.83/5.38
8.83/5.39 num=499, depth=1..7, filters=3007803, revisions=(2625650,useless=70253), ccks=20724, wck=3.119, mem=68M867
8.83/5.39 decisions=37062, wrong=17539, backtracks=5972, failedAssignments=12748, nogoods=3051, foundSolutions=66, bestBound=846
8.83/5.39
8.93/5.41 num=500, depth=1..6, filters=3026771, revisions=(2642185,useless=70559), ccks=20724, wck=3.134, mem=68M867
8.93/5.41 decisions=37275, wrong=17644, backtracks=6001, failedAssignments=12829, nogoods=3065, foundSolutions=66, bestBound=846
8.93/5.41
8.93/5.42 num=501, depth=1..6, filters=3045494, revisions=(2658096,useless=70780), ccks=20724, wck=3.15, mem=68M867
8.93/5.42 decisions=37537, wrong=17774, backtracks=6049, failedAssignments=12918, nogoods=3074, foundSolutions=66, bestBound=846
8.93/5.42
8.93/5.43 o 842
8.93/5.43 num=502, depth=3..318, filters=3050823, revisions=(2662621,useless=70834), ccks=21038, wck=3.155, mem=68M867
8.93/5.43 decisions=37614, wrong=17809, backtracks=6057, failedAssignments=12945, nogoods=3081, foundSolutions=67, bestBound=842
8.93/5.43
8.93/5.45 num=503, depth=2..6, filters=3076670, revisions=(2685935,useless=71858), ccks=21038, wck=3.176, mem=68M867
8.93/5.45 decisions=37927, wrong=17963, backtracks=6112, failedAssignments=13053, nogoods=3090, foundSolutions=67, bestBound=842
8.93/5.45
8.93/5.45 num=504, depth=3..6, filters=3079247, revisions=(2688105,useless=71888), ccks=21038, wck=3.178, mem=68M867
8.93/5.45 decisions=37957, wrong=17976, backtracks=6115, failedAssignments=13064, nogoods=3097, foundSolutions=67, bestBound=842
8.93/5.45
8.93/5.45 num=505, depth=3..6, filters=3082857, revisions=(2691216,useless=71925), ccks=21038, wck=3.181, mem=68M867
8.93/5.45 decisions=37999, wrong=17995, backtracks=6123, failedAssignments=13076, nogoods=3101, foundSolutions=67, bestBound=842
8.93/5.45
8.93/5.46 num=506, depth=3..5, filters=3086211, revisions=(2694059,useless=71935), ccks=21038, wck=3.184, mem=68M867
8.93/5.46 decisions=38036, wrong=18012, backtracks=6127, failedAssignments=13089, nogoods=3105, foundSolutions=67, bestBound=842
8.93/5.46
8.93/5.46 num=507, depth=2..4, filters=3089073, revisions=(2696504,useless=71952), ccks=21038, wck=3.186, mem=68M867
8.93/5.46 decisions=38075, wrong=18030, backtracks=6131, failedAssignments=13103, nogoods=3113, foundSolutions=67, bestBound=842
8.93/5.46
8.93/5.46 num=508, depth=3..5, filters=3092974, revisions=(2699801,useless=71995), ccks=21038, wck=3.19, mem=68M867
8.93/5.46 decisions=38120, wrong=18051, backtracks=6137, failedAssignments=13119, nogoods=3115, foundSolutions=67, bestBound=842
8.93/5.46
8.93/5.46 num=509, depth=2..4, filters=3097255, revisions=(2703530,useless=72044), ccks=21038, wck=3.193, mem=68M867
8.93/5.46 decisions=38176, wrong=18077, backtracks=6146, failedAssignments=13136, nogoods=3122, foundSolutions=67, bestBound=842
8.93/5.46
8.93/5.47 num=510, depth=2..6, filters=3101659, revisions=(2707351,useless=72097), ccks=21038, wck=3.197, mem=68M867
8.93/5.47 decisions=38232, wrong=18103, backtracks=6155, failedAssignments=13155, nogoods=3128, foundSolutions=67, bestBound=842
8.93/5.47
8.93/5.47 num=511, depth=1..4, filters=3106280, revisions=(2711311,useless=72126), ccks=21038, wck=3.202, mem=68M867
8.93/5.47 decisions=38291, wrong=18131, backtracks=6163, failedAssignments=13176, nogoods=3134, foundSolutions=67, bestBound=842
8.93/5.47
8.93/5.48 num=512, depth=3..7, filters=3111155, revisions=(2715415,useless=72164), ccks=21038, wck=3.206, mem=68M867
8.93/5.48 decisions=38354, wrong=18160, backtracks=6170, failedAssignments=13199, nogoods=3138, foundSolutions=67, bestBound=842
8.93/5.48
8.93/5.48 num=513, depth=2..5, filters=3116684, revisions=(2720150,useless=72235), ccks=21038, wck=3.21, mem=68M867
8.93/5.48 decisions=38426, wrong=18194, backtracks=6182, failedAssignments=13224, nogoods=3149, foundSolutions=67, bestBound=842
8.93/5.48
8.93/5.49 num=514, depth=3..7, filters=3124942, revisions=(2727303,useless=72334), ccks=21038, wck=3.218, mem=68M867
8.93/5.49 decisions=38523, wrong=18241, backtracks=6203, failedAssignments=13252, nogoods=3154, foundSolutions=67, bestBound=842
8.93/5.49
8.93/5.49 num=515, depth=2..6, filters=3131549, revisions=(2732943,useless=72455), ccks=21038, wck=3.224, mem=68M867
8.93/5.49 decisions=38609, wrong=18282, backtracks=6215, failedAssignments=13283, nogoods=3162, foundSolutions=67, bestBound=842
8.93/5.49
9.04/5.50 num=516, depth=1..6, filters=3139567, revisions=(2739818,useless=72541), ccks=21038, wck=3.23, mem=68M867
9.04/5.50 decisions=38705, wrong=18329, backtracks=6231, failedAssignments=13317, nogoods=3164, foundSolutions=67, bestBound=842
9.04/5.50
9.04/5.51 num=517, depth=3..7, filters=3147798, revisions=(2746907,useless=72605), ccks=21038, wck=3.237, mem=68M867
9.04/5.51 decisions=38802, wrong=18375, backtracks=6241, failedAssignments=13354, nogoods=3174, foundSolutions=67, bestBound=842
9.04/5.51
9.04/5.52 num=518, depth=2..7, filters=3159215, revisions=(2757063,useless=72800), ccks=21038, wck=3.246, mem=68M867
9.04/5.52 decisions=38939, wrong=18442, backtracks=6272, failedAssignments=13395, nogoods=3179, foundSolutions=67, bestBound=842
9.04/5.52
9.04/5.53 num=519, depth=2..6, filters=3169953, revisions=(2766258,useless=73039), ccks=21038, wck=3.256, mem=68M867
9.04/5.53 decisions=39072, wrong=18507, backtracks=6297, failedAssignments=13440, nogoods=3184, foundSolutions=67, bestBound=842
9.04/5.53
9.04/5.53 o 838
9.04/5.53 num=520, depth=5..318, filters=3171562, revisions=(2767549,useless=73046), ccks=21352, wck=3.258, mem=68M867
9.04/5.53 decisions=39085, wrong=18510, backtracks=6297, failedAssignments=13443, nogoods=3187, foundSolutions=68, bestBound=838
9.04/5.53
9.04/5.54 num=521, depth=2..7, filters=3186889, revisions=(2781524,useless=73726), ccks=21352, wck=3.27, mem=68M867
9.04/5.54 decisions=39253, wrong=18591, backtracks=6327, failedAssignments=13498, nogoods=3193, foundSolutions=68, bestBound=838
9.04/5.54
9.04/5.54 num=522, depth=3..6, filters=3189785, revisions=(2783972,useless=73746), ccks=21352, wck=3.272, mem=68M867
9.04/5.54 decisions=39293, wrong=18608, backtracks=6333, failedAssignments=13509, nogoods=3198, foundSolutions=68, bestBound=838
9.04/5.54
9.04/5.55 num=523, depth=2..6, filters=3192625, revisions=(2786404,useless=73784), ccks=21352, wck=3.275, mem=68M867
9.04/5.55 decisions=39329, wrong=18625, backtracks=6339, failedAssignments=13521, nogoods=3200, foundSolutions=68, bestBound=838
9.04/5.55
9.04/5.55 num=524, depth=2..9, filters=3195777, revisions=(2789243,useless=73840), ccks=21352, wck=3.278, mem=68M867
9.04/5.55 decisions=39371, wrong=18643, backtracks=6345, failedAssignments=13534, nogoods=3208, foundSolutions=68, bestBound=838
9.04/5.55
9.04/5.55 num=525, depth=3..7, filters=3198806, revisions=(2791883,useless=73846), ccks=21352, wck=3.28, mem=68M867
9.04/5.55 decisions=39407, wrong=18659, backtracks=6349, failedAssignments=13548, nogoods=3213, foundSolutions=68, bestBound=838
9.04/5.55
9.04/5.56 num=526, depth=1..5, filters=3203376, revisions=(2795878,useless=73916), ccks=21352, wck=3.284, mem=68M867
9.04/5.56 decisions=39460, wrong=18684, backtracks=6359, failedAssignments=13564, nogoods=3223, foundSolutions=68, bestBound=838
9.04/5.56
9.04/5.56 o 836
9.04/5.56 num=527, depth=4..318, filters=3205523, revisions=(2797634,useless=73918), ccks=21666, wck=3.286, mem=68M867
9.04/5.56 decisions=39485, wrong=18693, backtracks=6363, failedAssignments=13570, nogoods=3224, foundSolutions=69, bestBound=836
9.04/5.56
9.04/5.56 num=528, depth=3..6, filters=3213261, revisions=(2804913,useless=74549), ccks=21666, wck=3.293, mem=68M867
9.04/5.56 decisions=39559, wrong=18728, backtracks=6380, failedAssignments=13589, nogoods=3229, foundSolutions=69, bestBound=836
9.04/5.56
9.04/5.57 num=529, depth=3..6, filters=3215892, revisions=(2807165,useless=74558), ccks=21666, wck=3.295, mem=68M867
9.04/5.57 decisions=39591, wrong=18742, backtracks=6383, failedAssignments=13600, nogoods=3233, foundSolutions=69, bestBound=836
9.04/5.57
9.04/5.57 num=530, depth=2..5, filters=3219110, revisions=(2809881,useless=74614), ccks=21666, wck=3.298, mem=68M867
9.04/5.57 decisions=39628, wrong=18759, backtracks=6390, failedAssignments=13612, nogoods=3240, foundSolutions=69, bestBound=836
9.04/5.57
9.04/5.57 num=531, depth=4..7, filters=3222377, revisions=(2812615,useless=74622), ccks=21666, wck=3.301, mem=68M867
9.04/5.57 decisions=39674, wrong=18779, backtracks=6398, failedAssignments=13625, nogoods=3244, foundSolutions=69, bestBound=836
9.04/5.57
9.04/5.57 num=532, depth=2..6, filters=3225544, revisions=(2815331,useless=74648), ccks=21666, wck=3.304, mem=68M867
9.04/5.57 decisions=39710, wrong=18795, backtracks=6401, failedAssignments=13639, nogoods=3249, foundSolutions=69, bestBound=836
9.04/5.57
9.04/5.58 num=533, depth=2..6, filters=3230266, revisions=(2819414,useless=74736), ccks=21666, wck=3.308, mem=68M867
9.04/5.58 decisions=39764, wrong=18820, backtracks=6412, failedAssignments=13655, nogoods=3254, foundSolutions=69, bestBound=836
9.04/5.58
9.04/5.58 num=534, depth=3..6, filters=3234397, revisions=(2822867,useless=74756), ccks=21666, wck=3.311, mem=68M867
9.04/5.58 decisions=39822, wrong=18847, backtracks=6423, failedAssignments=13672, nogoods=3261, foundSolutions=69, bestBound=836
9.04/5.58
9.04/5.59 num=535, depth=2..5, filters=3238248, revisions=(2826189,useless=74808), ccks=21666, wck=3.315, mem=68M867
9.04/5.59 decisions=39870, wrong=18870, backtracks=6428, failedAssignments=13691, nogoods=3263, foundSolutions=69, bestBound=836
9.04/5.59
9.04/5.59 num=536, depth=1..5, filters=3244351, revisions=(2831545,useless=74914), ccks=21666, wck=3.32, mem=68M867
9.04/5.59 decisions=39945, wrong=18906, backtracks=6445, failedAssignments=13712, nogoods=3270, foundSolutions=69, bestBound=836
9.04/5.59
9.04/5.60 num=537, depth=2..6, filters=3250664, revisions=(2837020,useless=75005), ccks=21666, wck=3.325, mem=68M867
9.04/5.60 decisions=40025, wrong=18944, backtracks=6463, failedAssignments=13735, nogoods=3273, foundSolutions=69, bestBound=836
9.04/5.60
9.14/5.60 num=538, depth=3..8, filters=3256477, revisions=(2842367,useless=75065), ccks=21666, wck=3.33, mem=68M867
9.14/5.60 decisions=40093, wrong=18975, backtracks=6471, failedAssignments=13760, nogoods=3280, foundSolutions=69, bestBound=836
9.14/5.60
9.14/5.61 num=539, depth=1..6, filters=3263406, revisions=(2848438,useless=75166), ccks=21666, wck=3.336, mem=68M867
9.14/5.61 decisions=40187, wrong=19021, backtracks=6493, failedAssignments=13788, nogoods=3284, foundSolutions=69, bestBound=836
9.14/5.61
9.14/5.61 num=540, depth=2..6, filters=3272135, revisions=(2856009,useless=75342), ccks=21666, wck=3.343, mem=68M867
9.14/5.61 decisions=40288, wrong=19070, backtracks=6515, failedAssignments=13819, nogoods=3287, foundSolutions=69, bestBound=836
9.14/5.61
9.14/5.62 num=541, depth=0..6, filters=3280344, revisions=(2863111,useless=75462), ccks=21666, wck=3.35, mem=68M867
9.14/5.62 decisions=40390, wrong=19120, backtracks=6537, failedAssignments=13853, nogoods=3292, foundSolutions=69, bestBound=836
9.14/5.62
9.14/5.63 num=542, depth=2..7, filters=3289036, revisions=(2870533,useless=75546), ccks=21666, wck=3.357, mem=68M867
9.14/5.63 decisions=40503, wrong=19174, backtracks=6557, failedAssignments=13890, nogoods=3300, foundSolutions=69, bestBound=836
9.14/5.63
9.14/5.64 num=543, depth=1..6, filters=3299630, revisions=(2879771,useless=75748), ccks=21666, wck=3.367, mem=68M867
9.14/5.64 decisions=40634, wrong=19238, backtracks=6583, failedAssignments=13931, nogoods=3306, foundSolutions=69, bestBound=836
9.14/5.64
9.14/5.65 num=544, depth=2..7, filters=3310573, revisions=(2889193,useless=75885), ccks=21666, wck=3.376, mem=68M867
9.14/5.65 decisions=40784, wrong=19311, backtracks=6616, failedAssignments=13976, nogoods=3309, foundSolutions=69, bestBound=836
9.14/5.65
9.14/5.66 num=545, depth=3..8, filters=3323905, revisions=(2901204,useless=76110), ccks=21666, wck=3.386, mem=68M867
9.14/5.66 decisions=40930, wrong=19382, backtracks=6646, failedAssignments=14026, nogoods=3313, foundSolutions=69, bestBound=836
9.14/5.66
9.14/5.67 num=546, depth=1..6, filters=3335100, revisions=(2910785,useless=76254), ccks=21666, wck=3.396, mem=68M867
9.14/5.67 decisions=41089, wrong=19460, backtracks=6680, failedAssignments=14081, nogoods=3318, foundSolutions=69, bestBound=836
9.14/5.67
9.14/5.68 num=547, depth=1..6, filters=3346672, revisions=(2920809,useless=76438), ccks=21666, wck=3.406, mem=68M867
9.14/5.68 decisions=41257, wrong=19543, backtracks=6714, failedAssignments=14142, nogoods=3320, foundSolutions=69, bestBound=836
9.14/5.68
9.14/5.69 num=548, depth=2..5, filters=3359636, revisions=(2931865,useless=76555), ccks=21666, wck=3.416, mem=68M867
9.14/5.69 decisions=41445, wrong=19636, backtracks=6743, failedAssignments=14209, nogoods=3329, foundSolutions=69, bestBound=836
9.14/5.69
9.26/5.70 num=549, depth=2..6, filters=3373710, revisions=(2944079,useless=76714), ccks=21666, wck=3.427, mem=68M867
9.26/5.70 decisions=41642, wrong=19733, backtracks=6771, failedAssignments=14283, nogoods=3331, foundSolutions=69, bestBound=836
9.26/5.70
9.26/5.72 num=550, depth=1..5, filters=3394314, revisions=(2961942,useless=77082), ccks=21666, wck=3.444, mem=68M867
9.26/5.72 decisions=41912, wrong=19867, backtracks=6837, failedAssignments=14364, nogoods=3341, foundSolutions=69, bestBound=836
9.26/5.72
9.26/5.73 num=551, depth=2..7, filters=3415460, revisions=(2980292,useless=77311), ccks=21666, wck=3.461, mem=68M867
9.26/5.73 decisions=42200, wrong=20009, backtracks=6895, failedAssignments=14453, nogoods=3348, foundSolutions=69, bestBound=836
9.26/5.73
9.26/5.75 num=552, depth=0..7, filters=3437900, revisions=(2999445,useless=77615), ccks=21666, wck=3.481, mem=68M867
9.26/5.75 decisions=42511, wrong=20162, backtracks=6961, failedAssignments=14551, nogoods=3355, foundSolutions=69, bestBound=836
9.26/5.75
9.26/5.77 num=553, depth=1..6, filters=3460030, revisions=(3018437,useless=77836), ccks=21666, wck=3.499, mem=68M867
9.26/5.77 decisions=42799, wrong=20305, backtracks=7005, failedAssignments=14659, nogoods=3360, foundSolutions=69, bestBound=836
9.26/5.77
9.26/5.79 num=554, depth=2..9, filters=3488724, revisions=(3043266,useless=78191), ccks=21666, wck=3.523, mem=68M867
9.26/5.79 decisions=43172, wrong=20490, backtracks=7078, failedAssignments=14778, nogoods=3374, foundSolutions=69, bestBound=836
9.26/5.79
9.39/5.82 num=555, depth=1..5, filters=3516264, revisions=(3067346,useless=78609), ccks=21666, wck=3.545, mem=68M867
9.39/5.82 decisions=43580, wrong=20692, backtracks=7162, failedAssignments=14909, nogoods=3384, foundSolutions=69, bestBound=836
9.39/5.82
9.39/5.84 num=556, depth=1..9, filters=3550924, revisions=(3097961,useless=79198), ccks=21666, wck=3.573, mem=68M867
9.39/5.84 decisions=44041, wrong=20921, backtracks=7265, failedAssignments=15053, nogoods=3391, foundSolutions=69, bestBound=836
9.39/5.84
9.39/5.87 num=557, depth=1..6, filters=3587654, revisions=(3129927,useless=79854), ccks=21666, wck=3.603, mem=68M867
9.39/5.87 decisions=44516, wrong=21157, backtracks=7367, failedAssignments=15211, nogoods=3400, foundSolutions=69, bestBound=836
9.39/5.87
9.49/5.91 num=558, depth=2..10, filters=3628849, revisions=(3165886,useless=80362), ccks=21666, wck=3.636, mem=68M867
9.49/5.91 decisions=45048, wrong=21421, backtracks=7472, failedAssignments=15385, nogoods=3411, foundSolutions=69, bestBound=836
9.49/5.91
9.49/5.94 num=559, depth=1..8, filters=3673007, revisions=(3204099,useless=80876), ccks=21666, wck=3.673, mem=71M510
9.49/5.94 decisions=45685, wrong=21738, backtracks=7614, failedAssignments=15576, nogoods=3421, foundSolutions=69, bestBound=836
9.49/5.94
9.49/5.98 num=560, depth=0..6, filters=3717050, revisions=(3242125,useless=81427), ccks=21666, wck=3.707, mem=71M510
9.49/5.98 decisions=46363, wrong=22075, backtracks=7761, failedAssignments=15787, nogoods=3430, foundSolutions=69, bestBound=836
9.49/5.98
9.60/6.02 num=561, depth=2..8, filters=3764061, revisions=(3282366,useless=81964), ccks=21666, wck=3.747, mem=71M510
9.60/6.02 decisions=47028, wrong=22406, backtracks=7874, failedAssignments=16019, nogoods=3449, foundSolutions=69, bestBound=836
9.60/6.02
9.60/6.06 num=562, depth=0..7, filters=3818656, revisions=(3329675,useless=82677), ccks=21666, wck=3.791, mem=71M510
9.60/6.06 decisions=47824, wrong=22803, backtracks=8042, failedAssignments=16274, nogoods=3452, foundSolutions=69, bestBound=836
9.60/6.06
9.60/6.10 o 806
9.60/6.10 num=563, depth=2..318, filters=3864594, revisions=(3369309,useless=83072), ccks=21980, wck=3.828, mem=71M510
9.60/6.10 decisions=48455, wrong=23115, backtracks=8184, failedAssignments=16467, nogoods=3465, foundSolutions=70, bestBound=806
9.60/6.10
9.70/6.16 num=564, depth=1..7, filters=3940584, revisions=(3435673,useless=84691), ccks=21980, wck=3.889, mem=71M510
9.70/6.16 decisions=49418, wrong=23595, backtracks=8391, failedAssignments=16776, nogoods=3478, foundSolutions=70, bestBound=806
9.70/6.16
9.70/6.16 num=565, depth=2..5, filters=3944014, revisions=(3438608,useless=84712), ccks=21980, wck=3.892, mem=71M510
9.70/6.16 decisions=49452, wrong=23611, backtracks=8397, failedAssignments=16787, nogoods=3485, foundSolutions=70, bestBound=806
9.70/6.16
9.70/6.17 num=566, depth=4..6, filters=3948044, revisions=(3442151,useless=84747), ccks=21980, wck=3.895, mem=71M510
9.70/6.17 decisions=49486, wrong=23626, backtracks=8402, failedAssignments=16799, nogoods=3492, foundSolutions=70, bestBound=806
9.70/6.17
9.70/6.17 num=567, depth=2..7, filters=3951593, revisions=(3445182,useless=84784), ccks=21980, wck=3.898, mem=71M510
9.70/6.17 decisions=49530, wrong=23646, backtracks=8412, failedAssignments=16812, nogoods=3495, foundSolutions=70, bestBound=806
9.70/6.17
9.70/6.17 num=568, depth=4..7, filters=3954948, revisions=(3448074,useless=84791), ccks=21980, wck=3.901, mem=71M510
9.70/6.17 decisions=49578, wrong=23668, backtracks=8421, failedAssignments=16826, nogoods=3500, foundSolutions=70, bestBound=806
9.70/6.17
9.70/6.18 num=569, depth=1..7, filters=3959696, revisions=(3452140,useless=84836), ccks=21980, wck=3.906, mem=71M510
9.70/6.18 decisions=49639, wrong=23697, backtracks=8434, failedAssignments=16842, nogoods=3504, foundSolutions=70, bestBound=806
9.70/6.18
9.70/6.18 num=570, depth=2..7, filters=3963880, revisions=(3455732,useless=84883), ccks=21980, wck=3.909, mem=71M510
9.70/6.18 decisions=49696, wrong=23723, backtracks=8447, failedAssignments=16859, nogoods=3506, foundSolutions=70, bestBound=806
9.70/6.18
9.70/6.18 num=571, depth=2..6, filters=3968938, revisions=(3460146,useless=84959), ccks=21980, wck=3.914, mem=71M510
9.70/6.18 decisions=49756, wrong=23752, backtracks=8462, failedAssignments=16878, nogoods=3510, foundSolutions=70, bestBound=806
9.70/6.18
9.70/6.19 num=572, depth=1..6, filters=3974090, revisions=(3464517,useless=85028), ccks=21980, wck=3.918, mem=71M510
9.70/6.19 decisions=49818, wrong=23781, backtracks=8473, failedAssignments=16899, nogoods=3518, foundSolutions=70, bestBound=806
9.70/6.19
9.70/6.19 num=573, depth=3..6, filters=3979711, revisions=(3469356,useless=85075), ccks=21980, wck=3.923, mem=71M510
9.70/6.19 decisions=49887, wrong=23814, backtracks=8486, failedAssignments=16922, nogoods=3521, foundSolutions=70, bestBound=806
9.70/6.19
9.82/6.20 num=574, depth=2..6, filters=3986047, revisions=(3474815,useless=85165), ccks=21980, wck=3.928, mem=71M510
9.82/6.20 decisions=49977, wrong=23857, backtracks=8506, failedAssignments=16947, nogoods=3526, foundSolutions=70, bestBound=806
9.82/6.20
9.82/6.20 num=575, depth=2..6, filters=3992723, revisions=(3480504,useless=85228), ccks=21980, wck=3.934, mem=71M510
9.82/6.20 decisions=50060, wrong=23897, backtracks=8524, failedAssignments=16975, nogoods=3528, foundSolutions=70, bestBound=806
9.82/6.20
9.82/6.21 num=576, depth=1..6, filters=4000319, revisions=(3487129,useless=85353), ccks=21980, wck=3.94, mem=71M510
9.82/6.21 decisions=50154, wrong=23943, backtracks=8540, failedAssignments=17006, nogoods=3533, foundSolutions=70, bestBound=806
9.82/6.21
9.82/6.22 num=577, depth=2..6, filters=4009564, revisions=(3495274,useless=85448), ccks=21980, wck=3.947, mem=71M510
9.82/6.22 decisions=50260, wrong=23995, backtracks=8560, failedAssignments=17040, nogoods=3537, foundSolutions=70, bestBound=806
9.82/6.22
9.82/6.23 num=578, depth=1..5, filters=4018248, revisions=(3502837,useless=85607), ccks=21980, wck=3.955, mem=71M510
9.82/6.23 decisions=50368, wrong=24047, backtracks=8577, failedAssignments=17077, nogoods=3542, foundSolutions=70, bestBound=806
9.82/6.23
9.82/6.23 num=579, depth=2..5, filters=4027584, revisions=(3510877,useless=85731), ccks=21980, wck=3.962, mem=71M510
9.82/6.23 decisions=50493, wrong=24108, backtracks=8601, failedAssignments=17118, nogoods=3551, foundSolutions=70, bestBound=806
9.82/6.23
9.82/6.24 num=580, depth=1..5, filters=4039098, revisions=(3520928,useless=85906), ccks=21980, wck=3.971, mem=71M510
9.82/6.24 decisions=50627, wrong=24173, backtracks=8626, failedAssignments=17163, nogoods=3556, foundSolutions=70, bestBound=806
9.82/6.24
9.82/6.25 num=581, depth=1..8, filters=4052763, revisions=(3532852,useless=86173), ccks=21980, wck=3.983, mem=71M510
9.82/6.25 decisions=50801, wrong=24259, backtracks=8671, failedAssignments=17213, nogoods=3560, foundSolutions=70, bestBound=806
9.82/6.25
9.82/6.26 num=582, depth=4..7, filters=4064421, revisions=(3542896,useless=86322), ccks=21980, wck=3.992, mem=71M510
9.82/6.26 decisions=50946, wrong=24329, backtracks=8688, failedAssignments=17268, nogoods=3575, foundSolutions=70, bestBound=806
9.82/6.26
9.82/6.28 num=583, depth=0..5, filters=4082723, revisions=(3558798,useless=86783), ccks=21980, wck=4.008, mem=71M510
9.82/6.28 decisions=51142, wrong=24426, backtracks=8730, failedAssignments=17329, nogoods=3578, foundSolutions=70, bestBound=806
9.82/6.28
9.82/6.29 num=584, depth=1..6, filters=4098660, revisions=(3572588,useless=87043), ccks=21980, wck=4.021, mem=71M510
9.82/6.29 decisions=51359, wrong=24532, backtracks=8784, failedAssignments=17396, nogoods=3584, foundSolutions=70, bestBound=806
9.82/6.29
9.92/6.30 o 798
9.92/6.30 num=585, depth=2..318, filters=4104821, revisions=(3577982,useless=87095), ccks=22294, wck=4.026, mem=71M510
9.92/6.30 decisions=51436, wrong=24567, backtracks=8800, failedAssignments=17416, nogoods=3590, foundSolutions=71, bestBound=798
9.92/6.30
9.92/6.31 num=586, depth=3..6, filters=4123884, revisions=(3595145,useless=87946), ccks=22294, wck=4.041, mem=71M510
9.92/6.31 decisions=51651, wrong=24673, backtracks=8828, failedAssignments=17497, nogoods=3602, foundSolutions=71, bestBound=798
9.92/6.31
9.92/6.32 num=587, depth=1..5, filters=4126762, revisions=(3597638,useless=87997), ccks=22294, wck=4.044, mem=71M510
9.92/6.32 decisions=51688, wrong=24691, backtracks=8836, failedAssignments=17508, nogoods=3604, foundSolutions=71, bestBound=798
9.92/6.32
9.92/6.32 num=588, depth=4..6, filters=4129825, revisions=(3600303,useless=88017), ccks=22294, wck=4.046, mem=71M510
9.92/6.32 decisions=51722, wrong=24706, backtracks=8840, failedAssignments=17520, nogoods=3609, foundSolutions=71, bestBound=798
9.92/6.32
9.92/6.32 num=589, depth=1..9, filters=4135489, revisions=(3605556,useless=88163), ccks=22294, wck=4.051, mem=71M510
9.92/6.32 decisions=51786, wrong=24737, backtracks=8860, failedAssignments=17533, nogoods=3613, foundSolutions=71, bestBound=798
9.92/6.32
9.92/6.33 num=590, depth=2..6, filters=4140434, revisions=(3609844,useless=88212), ccks=22294, wck=4.055, mem=71M510
9.92/6.33 decisions=51829, wrong=24756, backtracks=8866, failedAssignments=17547, nogoods=3616, foundSolutions=71, bestBound=798
9.92/6.33
9.92/6.33 num=591, depth=1..5, filters=4144517, revisions=(3613323,useless=88275), ccks=22294, wck=4.059, mem=71M510
9.92/6.33 decisions=51884, wrong=24782, backtracks=8876, failedAssignments=17563, nogoods=3619, foundSolutions=71, bestBound=798
9.92/6.33
9.92/6.33 num=592, depth=2..6, filters=4149280, revisions=(3617536,useless=88364), ccks=22294, wck=4.063, mem=71M510
9.92/6.33 decisions=51934, wrong=24805, backtracks=8884, failedAssignments=17580, nogoods=3624, foundSolutions=71, bestBound=798
9.92/6.33
9.92/6.34 num=593, depth=2..6, filters=4154360, revisions=(3621890,useless=88409), ccks=22294, wck=4.067, mem=71M510
9.92/6.34 decisions=51999, wrong=24835, backtracks=8895, failedAssignments=17599, nogoods=3626, foundSolutions=71, bestBound=798
9.92/6.34
9.92/6.34 num=594, depth=3..7, filters=4159180, revisions=(3626023,useless=88464), ccks=22294, wck=4.071, mem=71M510
9.92/6.34 decisions=52065, wrong=24866, backtracks=8907, failedAssignments=17620, nogoods=3630, foundSolutions=71, bestBound=798
9.92/6.34
9.92/6.35 num=595, depth=0..8, filters=4167251, revisions=(3633303,useless=88608), ccks=22294, wck=4.077, mem=71M510
9.92/6.35 decisions=52157, wrong=24912, backtracks=8935, failedAssignments=17643, nogoods=3630, foundSolutions=71, bestBound=798
9.92/6.35
9.92/6.36 num=596, depth=2..8, filters=4176725, revisions=(3641611,useless=88785), ccks=22294, wck=4.085, mem=71M510
9.92/6.36 decisions=52246, wrong=24955, backtracks=8955, failedAssignments=17668, nogoods=3636, foundSolutions=71, bestBound=798
9.92/6.36
9.92/6.36 num=597, depth=1..5, filters=4183822, revisions=(3647659,useless=88924), ccks=22294, wck=4.092, mem=71M510
9.92/6.36 decisions=52333, wrong=24998, backtracks=8973, failedAssignments=17696, nogoods=3639, foundSolutions=71, bestBound=798
9.92/6.36
9.92/6.37 o 796
9.92/6.37 num=598, depth=3..318, filters=4187264, revisions=(3650608,useless=88956), ccks=22608, wck=4.095, mem=71M510
9.92/6.37 decisions=52374, wrong=25015, backtracks=8982, failedAssignments=17706, nogoods=3641, foundSolutions=72, bestBound=796
9.92/6.37
9.92/6.37 num=599, depth=2..7, filters=4195439, revisions=(3658238,useless=89544), ccks=22608, wck=4.102, mem=71M510
9.92/6.37 decisions=52462, wrong=25057, backtracks=8992, failedAssignments=17740, nogoods=3646, foundSolutions=72, bestBound=796
9.92/6.37
9.92/6.38 num=600, depth=0..7, filters=4198712, revisions=(3661041,useless=89577), ccks=22608, wck=4.105, mem=71M510
9.92/6.38 decisions=52503, wrong=25075, backtracks=9002, failedAssignments=17751, nogoods=3648, foundSolutions=72, bestBound=796
9.92/6.38
9.92/6.38 num=601, depth=1..5, filters=4202107, revisions=(3664026,useless=89664), ccks=22608, wck=4.108, mem=71M510
9.92/6.38 decisions=52538, wrong=25092, backtracks=9010, failedAssignments=17763, nogoods=3649, foundSolutions=72, bestBound=796
9.92/6.38
9.92/6.38 o 788
9.92/6.38 num=602, depth=5..318, filters=4203763, revisions=(3665426,useless=89667), ccks=22922, wck=4.11, mem=71M510
9.92/6.38 decisions=52555, wrong=25097, backtracks=9012, failedAssignments=17766, nogoods=3651, foundSolutions=73, bestBound=788
9.92/6.38
9.92/6.38 num=603, depth=3..6, filters=4207501, revisions=(3669191,useless=90253), ccks=22922, wck=4.113, mem=71M510
9.92/6.38 decisions=52595, wrong=25115, backtracks=9016, failedAssignments=17780, nogoods=3658, foundSolutions=73, bestBound=788
9.92/6.38
9.92/6.39 num=604, depth=4..6, filters=4210986, revisions=(3672165,useless=90278), ccks=22922, wck=4.116, mem=71M510
9.92/6.39 decisions=52636, wrong=25133, backtracks=9023, failedAssignments=17791, nogoods=3665, foundSolutions=73, bestBound=788
9.92/6.39
9.92/6.39 num=605, depth=3..6, filters=4215242, revisions=(3675884,useless=90340), ccks=22922, wck=4.12, mem=71M510
9.92/6.39 decisions=52686, wrong=25156, backtracks=9034, failedAssignments=17803, nogoods=3671, foundSolutions=73, bestBound=788
9.92/6.39
9.92/6.39 num=606, depth=4..7, filters=4218339, revisions=(3678478,useless=90374), ccks=22922, wck=4.123, mem=71M510
9.92/6.39 decisions=52729, wrong=25175, backtracks=9041, failedAssignments=17816, nogoods=3675, foundSolutions=73, bestBound=788
9.92/6.39
10.04/6.40 num=607, depth=2..6, filters=4223341, revisions=(3682746,useless=90442), ccks=22922, wck=4.127, mem=71M510
10.04/6.40 decisions=52770, wrong=25193, backtracks=9048, failedAssignments=17830, nogoods=3685, foundSolutions=73, bestBound=788
10.04/6.40
10.04/6.40 num=608, depth=3..7, filters=4228037, revisions=(3686810,useless=90508), ccks=22922, wck=4.131, mem=71M510
10.04/6.40 decisions=52825, wrong=25219, backtracks=9060, failedAssignments=17846, nogoods=3692, foundSolutions=73, bestBound=788
10.04/6.40
10.04/6.41 num=609, depth=3..6, filters=4232136, revisions=(3690264,useless=90573), ccks=22922, wck=4.135, mem=71M510
10.04/6.41 decisions=52878, wrong=25244, backtracks=9068, failedAssignments=17863, nogoods=3695, foundSolutions=73, bestBound=788
10.04/6.41
10.04/6.41 num=610, depth=2..6, filters=4236355, revisions=(3693795,useless=90627), ccks=22922, wck=4.138, mem=71M510
10.04/6.41 decisions=52935, wrong=25271, backtracks=9078, failedAssignments=17882, nogoods=3699, foundSolutions=73, bestBound=788
10.04/6.41
10.04/6.42 num=611, depth=3..9, filters=4242694, revisions=(3699495,useless=90772), ccks=22922, wck=4.144, mem=71M510
10.04/6.42 decisions=53010, wrong=25307, backtracks=9095, failedAssignments=17903, nogoods=3706, foundSolutions=73, bestBound=788
10.04/6.42
10.04/6.42 num=612, depth=2..9, filters=4249471, revisions=(3705253,useless=90864), ccks=22922, wck=4.15, mem=71M510
10.04/6.42 decisions=53088, wrong=25345, backtracks=9115, failedAssignments=17926, nogoods=3709, foundSolutions=73, bestBound=788
10.04/6.42
10.04/6.43 num=613, depth=2..5, filters=4256835, revisions=(3711624,useless=91019), ccks=22922, wck=4.156, mem=71M510
10.04/6.43 decisions=53153, wrong=25376, backtracks=9123, failedAssignments=17951, nogoods=3716, foundSolutions=73, bestBound=788
10.04/6.43
10.04/6.43 num=614, depth=2..6, filters=4265056, revisions=(3718718,useless=91108), ccks=22922, wck=4.163, mem=71M510
10.04/6.43 decisions=53251, wrong=25424, backtracks=9145, failedAssignments=17979, nogoods=3717, foundSolutions=73, bestBound=788
10.04/6.43
10.04/6.44 num=615, depth=2..6, filters=4272812, revisions=(3725410,useless=91198), ccks=22922, wck=4.169, mem=71M510
10.04/6.44 decisions=53347, wrong=25471, backtracks=9165, failedAssignments=18010, nogoods=3721, foundSolutions=73, bestBound=788
10.04/6.44
10.04/6.45 num=616, depth=2..6, filters=4281119, revisions=(3732549,useless=91329), ccks=22922, wck=4.176, mem=71M510
10.04/6.45 decisions=53452, wrong=25522, backtracks=9188, failedAssignments=18044, nogoods=3732, foundSolutions=73, bestBound=788
10.04/6.45
10.04/6.45 num=617, depth=1..7, filters=4289996, revisions=(3740151,useless=91418), ccks=22922, wck=4.183, mem=71M510
10.04/6.45 decisions=53567, wrong=25577, backtracks=9210, failedAssignments=18081, nogoods=3738, foundSolutions=73, bestBound=788
10.04/6.45
10.04/6.46 num=618, depth=1..9, filters=4302418, revisions=(3750796,useless=91553), ccks=22922, wck=4.193, mem=71M510
10.04/6.46 decisions=53689, wrong=25635, backtracks=9229, failedAssignments=18122, nogoods=3742, foundSolutions=73, bestBound=788
10.04/6.46
10.04/6.47 num=619, depth=2..7, filters=4313871, revisions=(3760530,useless=91770), ccks=22922, wck=4.203, mem=71M510
10.04/6.47 decisions=53835, wrong=25706, backtracks=9259, failedAssignments=18167, nogoods=3748, foundSolutions=73, bestBound=788
10.04/6.47
10.04/6.48 num=620, depth=1..5, filters=4326732, revisions=(3771685,useless=91928), ccks=22922, wck=4.213, mem=71M510
10.04/6.48 decisions=53994, wrong=25784, backtracks=9291, failedAssignments=18217, nogoods=3754, foundSolutions=73, bestBound=788
10.04/6.48
10.04/6.50 num=621, depth=2..7, filters=4340827, revisions=(3783809,useless=92225), ccks=22922, wck=4.225, mem=71M510
10.04/6.50 decisions=54174, wrong=25873, backtracks=9333, failedAssignments=18272, nogoods=3760, foundSolutions=73, bestBound=788
10.04/6.50
10.14/6.51 num=622, depth=1..6, filters=4354824, revisions=(3795868,useless=92427), ccks=22922, wck=4.236, mem=71M510
10.14/6.51 decisions=54336, wrong=25953, backtracks=9355, failedAssignments=18333, nogoods=3769, foundSolutions=73, bestBound=788
10.14/6.51
10.14/6.52 num=623, depth=2..7, filters=4369904, revisions=(3808966,useless=92662), ccks=22922, wck=4.249, mem=71M510
10.14/6.52 decisions=54534, wrong=26050, backtracks=9389, failedAssignments=18400, nogoods=3784, foundSolutions=73, bestBound=788
10.14/6.52
10.14/6.53 num=624, depth=1..6, filters=4388603, revisions=(3825135,useless=92972), ccks=22922, wck=4.263, mem=71M510
10.14/6.53 decisions=54785, wrong=26174, backtracks=9445, failedAssignments=18474, nogoods=3791, foundSolutions=73, bestBound=788
10.14/6.53
10.14/6.55 num=625, depth=3..6, filters=4407606, revisions=(3841416,useless=93254), ccks=22922, wck=4.279, mem=71M510
10.14/6.55 decisions=55011, wrong=26285, backtracks=9482, failedAssignments=18555, nogoods=3805, foundSolutions=73, bestBound=788
10.14/6.55
10.14/6.57 num=626, depth=1..7, filters=4426938, revisions=(3858047,useless=93576), ccks=22922, wck=4.296, mem=71M510
10.14/6.57 decisions=55271, wrong=26413, backtracks=9536, failedAssignments=18644, nogoods=3811, foundSolutions=73, bestBound=788
10.14/6.57
10.14/6.59 num=627, depth=1..7, filters=4449720, revisions=(3877499,useless=93931), ccks=22922, wck=4.316, mem=71M510
10.14/6.59 decisions=55556, wrong=26554, backtracks=9586, failedAssignments=18742, nogoods=3821, foundSolutions=73, bestBound=788
10.14/6.59
10.24/6.61 num=628, depth=1..7, filters=4478902, revisions=(3902907,useless=94529), ccks=22922, wck=4.34, mem=74M152
10.24/6.61 decisions=55894, wrong=26721, backtracks=9659, failedAssignments=18850, nogoods=3835, foundSolutions=73, bestBound=788
10.24/6.61
10.24/6.64 num=629, depth=1..6, filters=4508844, revisions=(3928577,useless=95074), ccks=22922, wck=4.365, mem=74M152
10.24/6.64 decisions=56250, wrong=26898, backtracks=9737, failedAssignments=18969, nogoods=3842, foundSolutions=73, bestBound=788
10.24/6.64
10.24/6.66 num=630, depth=1..7, filters=4540237, revisions=(3955988,useless=95551), ccks=22922, wck=4.39, mem=74M152
10.24/6.66 decisions=56625, wrong=27084, backtracks=9802, failedAssignments=19100, nogoods=3851, foundSolutions=73, bestBound=788
10.24/6.66
10.24/6.69 num=631, depth=2..9, filters=4575348, revisions=(3986448,useless=95972), ccks=22922, wck=4.418, mem=74M152
10.24/6.69 decisions=57077, wrong=27308, backtracks=9889, failedAssignments=19244, nogoods=3861, foundSolutions=73, bestBound=788
10.24/6.69
10.34/6.72 num=632, depth=0..6, filters=4613317, revisions=(4018847,useless=96480), ccks=22922, wck=4.449, mem=74M152
10.34/6.72 decisions=57595, wrong=27566, backtracks=10006, failedAssignments=19402, nogoods=3864, foundSolutions=73, bestBound=788
10.34/6.72
10.34/6.75 num=633, depth=1..6, filters=4653676, revisions=(4053494,useless=97068), ccks=22922, wck=4.482, mem=74M152
10.34/6.75 decisions=58117, wrong=27825, backtracks=10116, failedAssignments=19576, nogoods=3870, foundSolutions=73, bestBound=788
10.34/6.75
10.44/6.80 num=634, depth=0..6, filters=4710316, revisions=(4103226,useless=98033), ccks=22922, wck=4.527, mem=74M152
10.44/6.80 decisions=58793, wrong=28162, backtracks=10289, failedAssignments=19767, nogoods=3872, foundSolutions=73, bestBound=788
10.44/6.80
10.44/6.84 num=635, depth=0..8, filters=4757657, revisions=(4144228,useless=98838), ccks=22922, wck=4.567, mem=74M152
10.44/6.84 decisions=59425, wrong=28476, backtracks=10415, failedAssignments=19978, nogoods=3876, foundSolutions=73, bestBound=788
10.44/6.84
10.44/6.88 num=636, depth=1..7, filters=4806445, revisions=(4186293,useless=99500), ccks=22922, wck=4.607, mem=74M152
10.44/6.88 decisions=60100, wrong=28811, backtracks=10539, failedAssignments=20210, nogoods=3891, foundSolutions=73, bestBound=788
10.44/6.88
10.54/6.90 o 786
10.54/6.90 num=637, depth=2..318, filters=4828896, revisions=(4205940,useless=99733), ccks=23236, wck=4.627, mem=74M152
10.54/6.90 decisions=60409, wrong=28962, backtracks=10607, failedAssignments=20304, nogoods=3903, foundSolutions=74, bestBound=786
10.54/6.90
10.54/6.95 o 766
10.54/6.95 num=638, depth=1..318, filters=4892329, revisions=(4261201,useless=101013), ccks=23550, wck=4.679, mem=74M152
10.54/6.95 decisions=61192, wrong=29350, backtracks=10742, failedAssignments=20578, nogoods=3914, foundSolutions=75, bestBound=766
10.54/6.95
10.54/6.95 num=639, depth=3..7, filters=4896056, revisions=(4264911,useless=101600), ccks=23550, wck=4.683, mem=74M152
10.54/6.95 decisions=61225, wrong=29365, backtracks=10747, failedAssignments=20589, nogoods=3917, foundSolutions=75, bestBound=766
10.54/6.95
10.54/6.96 num=640, depth=2..5, filters=4900407, revisions=(4268692,useless=101648), ccks=23550, wck=4.686, mem=74M152
10.54/6.96 decisions=61269, wrong=29386, backtracks=10757, failedAssignments=20600, nogoods=3919, foundSolutions=75, bestBound=766
10.54/6.96
10.54/6.96 num=641, depth=2..5, filters=4903741, revisions=(4271529,useless=101688), ccks=23550, wck=4.689, mem=74M152
10.54/6.96 decisions=61307, wrong=29403, backtracks=10763, failedAssignments=20612, nogoods=3922, foundSolutions=75, bestBound=766
10.54/6.96
10.54/6.96 num=642, depth=2..5, filters=4907676, revisions=(4274903,useless=101750), ccks=23550, wck=4.693, mem=74M152
10.54/6.96 decisions=61346, wrong=29421, backtracks=10769, failedAssignments=20625, nogoods=3928, foundSolutions=75, bestBound=766
10.54/6.96
10.54/6.97 num=643, depth=2..6, filters=4912499, revisions=(4279173,useless=101856), ccks=23550, wck=4.697, mem=74M152
10.54/6.97 decisions=61390, wrong=29442, backtracks=10779, failedAssignments=20639, nogoods=3932, foundSolutions=75, bestBound=766
10.54/6.97
10.54/6.97 num=644, depth=1..4, filters=4916282, revisions=(4282476,useless=101919), ccks=23550, wck=4.7, mem=74M152
10.54/6.97 decisions=61437, wrong=29464, backtracks=10786, failedAssignments=20655, nogoods=3937, foundSolutions=75, bestBound=766
10.54/6.97
10.54/6.98 num=645, depth=0..5, filters=4922309, revisions=(4287832,useless=102030), ccks=23550, wck=4.705, mem=74M152
10.54/6.98 decisions=61491, wrong=29491, backtracks=10798, failedAssignments=20672, nogoods=3937, foundSolutions=75, bestBound=766
10.54/6.98
10.54/6.98 num=646, depth=1..4, filters=4928440, revisions=(4293120,useless=102162), ccks=23550, wck=4.71, mem=74M152
10.54/6.98 decisions=61549, wrong=29519, backtracks=10808, failedAssignments=20691, nogoods=3940, foundSolutions=75, bestBound=766
10.54/6.98
10.54/6.98 num=647, depth=3..5, filters=4932859, revisions=(4296901,useless=102214), ccks=23550, wck=4.714, mem=74M152
10.54/6.98 decisions=61612, wrong=29549, backtracks=10819, failedAssignments=20712, nogoods=3949, foundSolutions=75, bestBound=766
10.54/6.98
10.54/6.99 num=648, depth=3..9, filters=4939628, revisions=(4302838,useless=102329), ccks=23550, wck=4.719, mem=74M152
10.54/6.99 decisions=61693, wrong=29588, backtracks=10838, failedAssignments=20735, nogoods=3953, foundSolutions=75, bestBound=766
10.54/6.99
10.54/7.00 num=649, depth=2..6, filters=4947588, revisions=(4309900,useless=102500), ccks=23550, wck=4.726, mem=74M152
10.54/7.00 decisions=61782, wrong=29631, backtracks=10856, failedAssignments=20760, nogoods=3961, foundSolutions=75, bestBound=766
10.54/7.00
10.54/7.00 num=650, depth=1..5, filters=4955154, revisions=(4316440,useless=102628), ccks=23550, wck=4.732, mem=74M152
10.54/7.00 decisions=61870, wrong=29673, backtracks=10874, failedAssignments=20788, nogoods=3964, foundSolutions=75, bestBound=766
10.54/7.00
10.70/7.01 num=651, depth=2..6, filters=4962257, revisions=(4322575,useless=102713), ccks=23550, wck=4.738, mem=74M152
10.70/7.01 decisions=61973, wrong=29723, backtracks=10894, failedAssignments=20819, nogoods=3968, foundSolutions=75, bestBound=766
10.70/7.01
10.70/7.02 num=652, depth=1..4, filters=4970578, revisions=(4329741,useless=102905), ccks=23550, wck=4.745, mem=74M152
10.70/7.02 decisions=62061, wrong=29766, backtracks=10905, failedAssignments=20853, nogoods=3975, foundSolutions=75, bestBound=766
10.70/7.02
10.70/7.02 num=653, depth=1..5, filters=4979379, revisions=(4337652,useless=103082), ccks=23550, wck=4.752, mem=74M152
10.70/7.02 decisions=62164, wrong=29816, backtracks=10922, failedAssignments=20890, nogoods=3978, foundSolutions=75, bestBound=766
10.70/7.02
10.70/7.03 num=654, depth=2..6, filters=4989092, revisions=(4345792,useless=103200), ccks=23550, wck=4.76, mem=74M152
10.70/7.03 decisions=62290, wrong=29878, backtracks=10945, failedAssignments=20931, nogoods=3981, foundSolutions=75, bestBound=766
10.70/7.03
10.70/7.04 num=655, depth=2..7, filters=5002475, revisions=(4357456,useless=103437), ccks=23550, wck=4.771, mem=74M152
10.70/7.04 decisions=62438, wrong=29951, backtracks=10977, failedAssignments=20976, nogoods=3986, foundSolutions=75, bestBound=766
10.70/7.04
10.70/7.05 num=656, depth=1..6, filters=5013461, revisions=(4366951,useless=103617), ccks=23550, wck=4.781, mem=74M152
10.70/7.05 decisions=62578, wrong=30019, backtracks=10999, failedAssignments=21026, nogoods=3991, foundSolutions=75, bestBound=766
10.70/7.05
10.70/7.06 num=657, depth=1..5, filters=5029872, revisions=(4380747,useless=103868), ccks=23550, wck=4.794, mem=74M152
10.70/7.06 decisions=62767, wrong=30113, backtracks=11040, failedAssignments=21081, nogoods=3998, foundSolutions=75, bestBound=766
10.70/7.06
10.70/7.08 num=658, depth=1..6, filters=5046903, revisions=(4395153,useless=104048), ccks=23550, wck=4.809, mem=74M152
10.70/7.08 decisions=62971, wrong=30214, backtracks=11086, failedAssignments=21142, nogoods=4002, foundSolutions=75, bestBound=766
10.70/7.08
10.70/7.09 o 702
10.70/7.09 num=659, depth=0..318, filters=5056665, revisions=(4403491,useless=104103), ccks=23864, wck=4.817, mem=74M152
10.70/7.09 decisions=63121, wrong=30286, backtracks=11115, failedAssignments=21189, nogoods=4008, foundSolutions=76, bestBound=702
10.70/7.09
10.70/7.10 num=660, depth=2..8, filters=5073742, revisions=(4419097,useless=104997), ccks=23864, wck=4.831, mem=74M152
10.70/7.10 decisions=63352, wrong=30399, backtracks=11162, failedAssignments=21263, nogoods=4017, foundSolutions=76, bestBound=702
10.70/7.10
10.70/7.11 num=661, depth=2..6, filters=5076648, revisions=(4421665,useless=105062), ccks=23864, wck=4.834, mem=74M152
10.70/7.11 decisions=63390, wrong=30416, backtracks=11170, failedAssignments=21274, nogoods=4019, foundSolutions=76, bestBound=702
10.70/7.11
10.80/7.11 num=662, depth=2..5, filters=5081111, revisions=(4425469,useless=105127), ccks=23864, wck=4.838, mem=74M152
10.80/7.11 decisions=63434, wrong=30436, backtracks=11178, failedAssignments=21286, nogoods=4022, foundSolutions=76, bestBound=702
10.80/7.11
10.80/7.11 num=663, depth=1..6, filters=5084381, revisions=(4428548,useless=105199), ccks=23864, wck=4.84, mem=74M152
10.80/7.11 decisions=63473, wrong=30455, backtracks=11186, failedAssignments=21299, nogoods=4026, foundSolutions=76, bestBound=702
10.80/7.11
10.80/7.12 num=664, depth=2..6, filters=5089206, revisions=(4432682,useless=105266), ccks=23864, wck=4.845, mem=74M152
10.80/7.12 decisions=63524, wrong=30479, backtracks=11197, failedAssignments=21313, nogoods=4029, foundSolutions=76, bestBound=702
10.80/7.12
10.80/7.12 num=665, depth=1..5, filters=5094533, revisions=(4437342,useless=105380), ccks=23864, wck=4.849, mem=74M152
10.80/7.12 decisions=63577, wrong=30504, backtracks=11209, failedAssignments=21329, nogoods=4034, foundSolutions=76, bestBound=702
10.80/7.12
10.80/7.12 num=666, depth=2..6, filters=5098811, revisions=(4440958,useless=105434), ccks=23864, wck=4.853, mem=74M152
10.80/7.12 decisions=63630, wrong=30529, backtracks=11218, failedAssignments=21346, nogoods=4038, foundSolutions=76, bestBound=702
10.80/7.12
10.80/7.13 num=667, depth=2..5, filters=5104098, revisions=(4445589,useless=105535), ccks=23864, wck=4.858, mem=74M152
10.80/7.13 decisions=63693, wrong=30559, backtracks=11229, failedAssignments=21365, nogoods=4044, foundSolutions=76, bestBound=702
10.80/7.13
10.80/7.13 num=668, depth=2..5, filters=5108901, revisions=(4449696,useless=105634), ccks=23864, wck=4.862, mem=74M152
10.80/7.13 decisions=63753, wrong=30587, backtracks=11237, failedAssignments=21386, nogoods=4052, foundSolutions=76, bestBound=702
10.80/7.13
10.80/7.14 num=669, depth=1..5, filters=5114562, revisions=(4454499,useless=105755), ccks=23864, wck=4.867, mem=74M152
10.80/7.14 decisions=63818, wrong=30617, backtracks=11245, failedAssignments=21409, nogoods=4056, foundSolutions=76, bestBound=702
10.80/7.14
10.80/7.14 num=670, depth=2..6, filters=5121123, revisions=(4460261,useless=105856), ccks=23864, wck=4.873, mem=74M152
10.80/7.14 decisions=63902, wrong=30658, backtracks=11264, failedAssignments=21434, nogoods=4065, foundSolutions=76, bestBound=702
10.80/7.14
10.80/7.15 num=671, depth=2..5, filters=5128764, revisions=(4466769,useless=106000), ccks=23864, wck=4.879, mem=74M152
10.80/7.15 decisions=63986, wrong=30698, backtracks=11278, failedAssignments=21462, nogoods=4074, foundSolutions=76, bestBound=702
10.80/7.15
10.80/7.16 num=672, depth=1..6, filters=5135007, revisions=(4472150,useless=106104), ccks=23864, wck=4.885, mem=74M152
10.80/7.16 decisions=64069, wrong=30738, backtracks=11293, failedAssignments=21493, nogoods=4078, foundSolutions=76, bestBound=702
10.80/7.16
10.80/7.16 num=673, depth=1..4, filters=5143281, revisions=(4479065,useless=106212), ccks=23864, wck=4.891, mem=74M152
10.80/7.16 decisions=64167, wrong=30786, backtracks=11308, failedAssignments=21527, nogoods=4085, foundSolutions=76, bestBound=702
10.80/7.16
10.80/7.17 num=674, depth=1..5, filters=5153949, revisions=(4488396,useless=106387), ccks=23864, wck=4.9, mem=74M152
10.80/7.17 decisions=64292, wrong=30847, backtracks=11335, failedAssignments=21564, nogoods=4090, foundSolutions=76, bestBound=702
10.80/7.17
10.80/7.18 num=675, depth=0..7, filters=5164742, revisions=(4497801,useless=106622), ccks=23864, wck=4.91, mem=74M152
10.80/7.18 decisions=64419, wrong=30909, backtracks=11356, failedAssignments=21605, nogoods=4094, foundSolutions=76, bestBound=702
10.80/7.18
10.80/7.19 num=676, depth=0..5, filters=5176026, revisions=(4507518,useless=106724), ccks=23864, wck=4.919, mem=74M152
10.80/7.19 decisions=64565, wrong=30981, backtracks=11386, failedAssignments=21650, nogoods=4098, foundSolutions=76, bestBound=702
10.80/7.19
10.89/7.20 num=677, depth=1..7, filters=5190468, revisions=(4520084,useless=107046), ccks=23864, wck=4.931, mem=74M152
10.89/7.20 decisions=64727, wrong=31060, backtracks=11418, failedAssignments=21700, nogoods=4105, foundSolutions=76, bestBound=702
10.89/7.20
10.89/7.21 o 694
10.89/7.21 num=678, depth=1..318, filters=5199962, revisions=(4528336,useless=107166), ccks=24178, wck=4.94, mem=74M152
10.89/7.21 decisions=64849, wrong=31118, backtracks=11442, failedAssignments=21736, nogoods=4109, foundSolutions=77, bestBound=694
10.89/7.21
10.89/7.22 num=679, depth=2..8, filters=5215917, revisions=(4542800,useless=107865), ccks=24178, wck=4.953, mem=74M152
10.89/7.22 decisions=65023, wrong=31204, backtracks=11471, failedAssignments=21797, nogoods=4113, foundSolutions=77, bestBound=694
10.89/7.22
10.89/7.23 o 692
10.89/7.23 num=680, depth=2..318, filters=5218561, revisions=(4545081,useless=107894), ccks=24492, wck=4.956, mem=74M152
10.89/7.23 decisions=65055, wrong=31217, backtracks=11477, failedAssignments=21806, nogoods=4115, foundSolutions=78, bestBound=692
10.89/7.23
10.89/7.23 num=681, depth=3..7, filters=5222315, revisions=(4548909,useless=108457), ccks=24492, wck=4.959, mem=74M152
10.89/7.23 decisions=65093, wrong=31234, backtracks=11482, failedAssignments=21818, nogoods=4117, foundSolutions=78, bestBound=692
10.89/7.23
10.89/7.23 num=682, depth=2..5, filters=5224841, revisions=(4551070,useless=108480), ccks=24492, wck=4.962, mem=74M152
10.89/7.23 decisions=65124, wrong=31248, backtracks=11487, failedAssignments=21829, nogoods=4121, foundSolutions=78, bestBound=692
10.89/7.23
10.89/7.24 num=683, depth=2..5, filters=5228730, revisions=(4554452,useless=108575), ccks=24492, wck=4.965, mem=74M152
10.89/7.24 decisions=65159, wrong=31263, backtracks=11490, failedAssignments=21841, nogoods=4124, foundSolutions=78, bestBound=692
10.89/7.24
10.89/7.24 o 684
10.89/7.24 num=684, depth=3..318, filters=5230685, revisions=(4556092,useless=108577), ccks=24806, wck=4.968, mem=74M152
10.89/7.24 decisions=65179, wrong=31270, backtracks=11492, failedAssignments=21846, nogoods=4128, foundSolutions=79, bestBound=684
10.89/7.24
10.89/7.24 num=685, depth=3..6, filters=5235486, revisions=(4560837,useless=109261), ccks=24806, wck=4.972, mem=76M794
10.89/7.24 decisions=65227, wrong=31292, backtracks=11501, failedAssignments=21860, nogoods=4132, foundSolutions=79, bestBound=684
10.89/7.24
10.89/7.25 num=686, depth=1..6, filters=5238509, revisions=(4563571,useless=109307), ccks=24806, wck=4.975, mem=76M794
10.89/7.25 decisions=65261, wrong=31308, backtracks=11508, failedAssignments=21871, nogoods=4135, foundSolutions=79, bestBound=684
10.89/7.25
10.89/7.25 num=687, depth=2..4, filters=5241523, revisions=(4566125,useless=109339), ccks=24806, wck=4.977, mem=76M794
10.89/7.25 decisions=65301, wrong=31326, backtracks=11514, failedAssignments=21883, nogoods=4140, foundSolutions=79, bestBound=684
10.89/7.25
10.89/7.25 num=688, depth=1..4, filters=5245475, revisions=(4569606,useless=109434), ccks=24806, wck=4.981, mem=76M794
10.89/7.25 decisions=65345, wrong=31347, backtracks=11523, failedAssignments=21896, nogoods=4144, foundSolutions=79, bestBound=684
10.89/7.25
10.89/7.26 num=689, depth=1..5, filters=5251041, revisions=(4574515,useless=109546), ccks=24806, wck=4.986, mem=76M794
10.89/7.26 decisions=65397, wrong=31371, backtracks=11533, failedAssignments=21910, nogoods=4148, foundSolutions=79, bestBound=684
10.89/7.26
10.89/7.26 num=690, depth=2..5, filters=5255726, revisions=(4578537,useless=109588), ccks=24806, wck=4.989, mem=76M794
10.89/7.26 decisions=65456, wrong=31399, backtracks=11546, failedAssignments=21926, nogoods=4150, foundSolutions=79, bestBound=684
10.89/7.26
10.89/7.26 num=691, depth=2..5, filters=5260249, revisions=(4582425,useless=109692), ccks=24806, wck=4.993, mem=76M794
10.89/7.26 decisions=65509, wrong=31424, backtracks=11555, failedAssignments=21943, nogoods=4153, foundSolutions=79, bestBound=684
10.89/7.26
10.89/7.27 num=692, depth=2..6, filters=5265041, revisions=(4586495,useless=109750), ccks=24806, wck=4.997, mem=76M794
10.89/7.27 decisions=65565, wrong=31450, backtracks=11562, failedAssignments=21962, nogoods=4156, foundSolutions=79, bestBound=684
10.89/7.27
10.89/7.27 num=693, depth=3..5, filters=5270670, revisions=(4591414,useless=109829), ccks=24806, wck=5.002, mem=76M794
10.89/7.27 decisions=65633, wrong=31482, backtracks=11575, failedAssignments=21983, nogoods=4161, foundSolutions=79, bestBound=684
10.89/7.27
10.89/7.28 num=694, depth=1..4, filters=5277375, revisions=(4597227,useless=110004), ccks=24806, wck=5.008, mem=76M794
10.89/7.28 decisions=65702, wrong=31516, backtracks=11587, failedAssignments=22006, nogoods=4164, foundSolutions=79, bestBound=684
10.89/7.28
10.89/7.28 num=695, depth=2..6, filters=5282586, revisions=(4601753,useless=110084), ccks=24806, wck=5.012, mem=76M794
10.89/7.28 decisions=65771, wrong=31549, backtracks=11598, failedAssignments=22031, nogoods=4168, foundSolutions=79, bestBound=684
10.89/7.28
10.89/7.29 num=696, depth=3..7, filters=5289565, revisions=(4607655,useless=110191), ccks=24806, wck=5.018, mem=76M794
10.89/7.29 decisions=65858, wrong=31591, backtracks=11614, failedAssignments=22059, nogoods=4173, foundSolutions=79, bestBound=684
10.89/7.29
10.89/7.30 num=697, depth=2..5, filters=5297910, revisions=(4615024,useless=110340), ccks=24806, wck=5.025, mem=76M794
10.89/7.30 decisions=65958, wrong=31639, backtracks=11634, failedAssignments=22090, nogoods=4178, foundSolutions=79, bestBound=684
10.89/7.30
11.01/7.30 num=698, depth=2..5, filters=5305625, revisions=(4621484,useless=110402), ccks=24806, wck=5.031, mem=76M794
11.01/7.30 decisions=66059, wrong=31688, backtracks=11650, failedAssignments=22124, nogoods=4185, foundSolutions=79, bestBound=684
11.01/7.30
11.01/7.31 num=699, depth=1..5, filters=5313991, revisions=(4628879,useless=110560), ccks=24806, wck=5.038, mem=76M794
11.01/7.31 decisions=66164, wrong=31740, backtracks=11668, failedAssignments=22161, nogoods=4193, foundSolutions=79, bestBound=684
11.01/7.31
11.01/7.32 num=700, depth=1..4, filters=5324632, revisions=(4638156,useless=110774), ccks=24806, wck=5.047, mem=76M794
11.01/7.32 decisions=66279, wrong=31796, backtracks=11687, failedAssignments=22202, nogoods=4201, foundSolutions=79, bestBound=684
11.01/7.32
11.01/7.33 num=701, depth=1..4, filters=5334301, revisions=(4646456,useless=110994), ccks=24806, wck=5.055, mem=76M794
11.01/7.33 decisions=66396, wrong=31854, backtracks=11702, failedAssignments=22247, nogoods=4208, foundSolutions=79, bestBound=684
11.01/7.33
11.01/7.34 num=702, depth=0..6, filters=5348931, revisions=(4659306,useless=111241), ccks=24806, wck=5.067, mem=76M794
11.01/7.34 decisions=66559, wrong=31935, backtracks=11739, failedAssignments=22297, nogoods=4210, foundSolutions=79, bestBound=684
11.01/7.34
11.01/7.35 num=703, depth=1..7, filters=5363413, revisions=(4671672,useless=111427), ccks=24806, wck=5.079, mem=76M794
11.01/7.35 decisions=66741, wrong=32024, backtracks=11778, failedAssignments=22352, nogoods=4217, foundSolutions=79, bestBound=684
11.01/7.35
11.01/7.36 num=704, depth=1..5, filters=5380037, revisions=(4686168,useless=111679), ccks=24806, wck=5.092, mem=76M794
11.01/7.36 decisions=66952, wrong=32129, backtracks=11826, failedAssignments=22413, nogoods=4226, foundSolutions=79, bestBound=684
11.01/7.36
11.01/7.38 num=705, depth=2..7, filters=5396580, revisions=(4700329,useless=111961), ccks=24806, wck=5.106, mem=76M794
11.01/7.38 decisions=67145, wrong=32223, backtracks=11861, failedAssignments=22480, nogoods=4234, foundSolutions=79, bestBound=684
11.01/7.38
11.01/7.40 num=706, depth=0..6, filters=5419422, revisions=(4719981,useless=112456), ccks=24806, wck=5.125, mem=76M794
11.01/7.40 decisions=67370, wrong=32333, backtracks=11905, failedAssignments=22554, nogoods=4236, foundSolutions=79, bestBound=684
11.01/7.40
11.11/7.41 num=707, depth=2..7, filters=5435908, revisions=(4733790,useless=112577), ccks=24806, wck=5.139, mem=76M794
11.11/7.41 decisions=67577, wrong=32435, backtracks=11931, failedAssignments=22635, nogoods=4245, foundSolutions=79, bestBound=684
11.11/7.41
11.11/7.43 num=708, depth=1..7, filters=5456788, revisions=(4752072,useless=113002), ccks=24806, wck=5.157, mem=76M794
11.11/7.43 decisions=67858, wrong=32574, backtracks=11992, failedAssignments=22724, nogoods=4255, foundSolutions=79, bestBound=684
11.11/7.43
11.11/7.45 num=709, depth=1..7, filters=5478817, revisions=(4770864,useless=113321), ccks=24806, wck=5.174, mem=76M794
11.11/7.45 decisions=68153, wrong=32721, backtracks=12050, failedAssignments=22822, nogoods=4256, foundSolutions=79, bestBound=684
11.11/7.45
11.11/7.47 o 648
11.11/7.47 num=710, depth=0..318, filters=5506513, revisions=(4794956,useless=113722), ccks=25120, wck=5.198, mem=76M794
11.11/7.47 decisions=68505, wrong=32894, backtracks=12128, failedAssignments=22925, nogoods=4261, foundSolutions=80, bestBound=648
11.11/7.47
11.11/7.49 num=711, depth=1..8, filters=5538372, revisions=(4823550,useless=114753), ccks=25120, wck=5.224, mem=76M794
11.11/7.49 decisions=68853, wrong=33066, backtracks=12196, failedAssignments=23044, nogoods=4269, foundSolutions=80, bestBound=648
11.11/7.49
11.21/7.50 num=712, depth=2..5, filters=5540661, revisions=(4825434,useless=114784), ccks=25120, wck=5.226, mem=76M794
11.21/7.50 decisions=68881, wrong=33079, backtracks=12199, failedAssignments=23055, nogoods=4270, foundSolutions=80, bestBound=648
11.21/7.50
11.21/7.50 num=713, depth=3..5, filters=5544332, revisions=(4828555,useless=114832), ccks=25120, wck=5.229, mem=76M794
11.21/7.50 decisions=68918, wrong=33096, backtracks=12204, failedAssignments=23067, nogoods=4276, foundSolutions=80, bestBound=648
11.21/7.50
11.21/7.50 num=714, depth=0..5, filters=5548241, revisions=(4831968,useless=114910), ccks=25120, wck=5.232, mem=76M794
11.21/7.50 decisions=68955, wrong=33113, backtracks=12210, failedAssignments=23080, nogoods=4280, foundSolutions=80, bestBound=648
11.21/7.50
11.21/7.51 num=715, depth=1..4, filters=5552776, revisions=(4835721,useless=114983), ccks=25120, wck=5.236, mem=76M794
11.21/7.51 decisions=69003, wrong=33136, backtracks=12219, failedAssignments=23094, nogoods=4283, foundSolutions=80, bestBound=648
11.21/7.51
11.21/7.51 num=716, depth=2..4, filters=5557164, revisions=(4839500,useless=115070), ccks=25120, wck=5.24, mem=76M794
11.21/7.51 decisions=69052, wrong=33159, backtracks=12227, failedAssignments=23110, nogoods=4290, foundSolutions=80, bestBound=648
11.21/7.51
11.21/7.51 num=717, depth=2..5, filters=5561546, revisions=(4843354,useless=115128), ccks=25120, wck=5.243, mem=76M794
11.21/7.51 decisions=69106, wrong=33185, backtracks=12238, failedAssignments=23127, nogoods=4293, foundSolutions=80, bestBound=648
11.21/7.51
11.21/7.52 num=718, depth=1..5, filters=5566135, revisions=(4847346,useless=115268), ccks=25120, wck=5.247, mem=76M794
11.21/7.52 decisions=69154, wrong=33208, backtracks=12243, failedAssignments=23146, nogoods=4295, foundSolutions=80, bestBound=648
11.21/7.52
11.21/7.52 num=719, depth=2..6, filters=5571155, revisions=(4851740,useless=115315), ccks=25120, wck=5.251, mem=76M794
11.21/7.52 decisions=69220, wrong=33240, backtracks=12255, failedAssignments=23167, nogoods=4300, foundSolutions=80, bestBound=648
11.21/7.52
11.21/7.52 o 638
11.21/7.52 num=720, depth=2..318, filters=5573007, revisions=(4853308,useless=115326), ccks=25434, wck=5.254, mem=76M794
11.21/7.52 decisions=69244, wrong=33249, backtracks=12260, failedAssignments=23172, nogoods=4303, foundSolutions=81, bestBound=638
11.21/7.52
11.21/7.53 num=721, depth=2..6, filters=5580157, revisions=(4859938,useless=115961), ccks=25434, wck=5.26, mem=76M794
11.21/7.53 decisions=69314, wrong=33283, backtracks=12270, failedAssignments=23197, nogoods=4305, foundSolutions=81, bestBound=638
11.21/7.53
11.21/7.53 num=722, depth=1..5, filters=5584003, revisions=(4863265,useless=115991), ccks=25434, wck=5.264, mem=76M794
11.21/7.53 decisions=69360, wrong=33304, backtracks=12281, failedAssignments=23208, nogoods=4309, foundSolutions=81, bestBound=638
11.21/7.53
11.21/7.54 num=723, depth=2..4, filters=5587923, revisions=(4866621,useless=116029), ccks=25434, wck=5.267, mem=76M794
11.21/7.54 decisions=69404, wrong=33325, backtracks=12290, failedAssignments=23220, nogoods=4312, foundSolutions=81, bestBound=638
11.21/7.54
11.21/7.54 num=724, depth=2..5, filters=5591887, revisions=(4870138,useless=116094), ccks=25434, wck=5.27, mem=76M794
11.21/7.54 decisions=69444, wrong=33344, backtracks=12298, failedAssignments=23233, nogoods=4319, foundSolutions=81, bestBound=638
11.21/7.54
11.21/7.54 num=725, depth=2..4, filters=5596136, revisions=(4873768,useless=116186), ccks=25434, wck=5.274, mem=76M794
11.21/7.54 decisions=69488, wrong=33364, backtracks=12304, failedAssignments=23247, nogoods=4325, foundSolutions=81, bestBound=638
11.21/7.54
11.21/7.55 num=726, depth=2..7, filters=5600538, revisions=(4877667,useless=116270), ccks=25434, wck=5.277, mem=76M794
11.21/7.55 decisions=69546, wrong=33391, backtracks=12315, failedAssignments=23263, nogoods=4330, foundSolutions=81, bestBound=638
11.21/7.55
11.21/7.55 num=727, depth=2..4, filters=5604914, revisions=(4881321,useless=116322), ccks=25434, wck=5.281, mem=76M794
11.21/7.55 decisions=69599, wrong=33416, backtracks=12324, failedAssignments=23280, nogoods=4334, foundSolutions=81, bestBound=638
11.21/7.55
11.21/7.55 o 634
11.21/7.55 num=728, depth=3..318, filters=5606136, revisions=(4882340,useless=116329), ccks=25748, wck=5.283, mem=76M794
11.21/7.55 decisions=69611, wrong=33419, backtracks=12325, failedAssignments=23282, nogoods=4336, foundSolutions=82, bestBound=634
11.21/7.55
11.21/7.56 num=729, depth=2..6, filters=5612893, revisions=(4888786,useless=117039), ccks=25748, wck=5.289, mem=76M794
11.21/7.56 decisions=69674, wrong=33449, backtracks=12335, failedAssignments=23303, nogoods=4341, foundSolutions=82, bestBound=634
11.21/7.56
11.21/7.56 num=730, depth=1..5, filters=5616107, revisions=(4891569,useless=117074), ccks=25748, wck=5.292, mem=76M794
11.21/7.56 decisions=69710, wrong=33465, backtracks=12341, failedAssignments=23314, nogoods=4345, foundSolutions=82, bestBound=634
11.21/7.56
11.21/7.57 num=731, depth=3..5, filters=5620503, revisions=(4895393,useless=117190), ccks=25748, wck=5.295, mem=76M794
11.21/7.57 decisions=69745, wrong=33480, backtracks=12344, failedAssignments=23326, nogoods=4352, foundSolutions=82, bestBound=634
11.21/7.57
11.21/7.57 num=732, depth=2..5, filters=5623998, revisions=(4898504,useless=117235), ccks=25748, wck=5.298, mem=76M794
11.21/7.57 decisions=69784, wrong=33498, backtracks=12349, failedAssignments=23339, nogoods=4358, foundSolutions=82, bestBound=634
11.21/7.57
11.21/7.57 num=733, depth=3..5, filters=5627039, revisions=(4901099,useless=117258), ccks=25748, wck=5.301, mem=76M794
11.21/7.57 decisions=69827, wrong=33518, backtracks=12357, failedAssignments=23353, nogoods=4362, foundSolutions=82, bestBound=634
11.21/7.57
11.21/7.58 num=734, depth=2..7, filters=5632907, revisions=(4906286,useless=117365), ccks=25748, wck=5.306, mem=76M794
11.21/7.58 decisions=69887, wrong=33546, backtracks=12370, failedAssignments=23369, nogoods=4369, foundSolutions=82, bestBound=634
11.21/7.58
11.21/7.58 o 632
11.21/7.58 num=735, depth=2..318, filters=5635547, revisions=(4908554,useless=117397), ccks=26062, wck=5.309, mem=76M794
11.21/7.58 decisions=69921, wrong=33560, backtracks=12375, failedAssignments=23379, nogoods=4372, foundSolutions=83, bestBound=632
11.21/7.58
11.21/7.59 num=736, depth=3..7, filters=5641321, revisions=(4914152,useless=118057), ccks=26062, wck=5.314, mem=76M794
11.21/7.59 decisions=69980, wrong=33587, backtracks=12387, failedAssignments=23398, nogoods=4376, foundSolutions=83, bestBound=632
11.21/7.59
11.21/7.59 num=737, depth=1..3, filters=5644743, revisions=(4917114,useless=118134), ccks=26062, wck=5.317, mem=76M794
11.21/7.59 decisions=70009, wrong=33601, backtracks=12391, failedAssignments=23409, nogoods=4380, foundSolutions=83, bestBound=632
11.21/7.59
11.21/7.59 num=738, depth=2..6, filters=5647748, revisions=(4919693,useless=118153), ccks=26062, wck=5.32, mem=76M794
11.21/7.59 decisions=70052, wrong=33621, backtracks=12401, failedAssignments=23421, nogoods=4384, foundSolutions=83, bestBound=632
11.21/7.59
11.21/7.59 num=739, depth=1..4, filters=5651633, revisions=(4922920,useless=118205), ccks=26062, wck=5.323, mem=76M794
11.21/7.59 decisions=70094, wrong=33641, backtracks=12408, failedAssignments=23434, nogoods=4388, foundSolutions=83, bestBound=632
11.21/7.59
11.31/7.60 num=740, depth=3..5, filters=5654778, revisions=(4925593,useless=118227), ccks=26062, wck=5.326, mem=76M794
11.31/7.60 decisions=70136, wrong=33660, backtracks=12414, failedAssignments=23448, nogoods=4395, foundSolutions=83, bestBound=632
11.31/7.60
11.31/7.60 num=741, depth=2..5, filters=5659372, revisions=(4929531,useless=118388), ccks=26062, wck=5.33, mem=76M794
11.31/7.60 decisions=70183, wrong=33682, backtracks=12421, failedAssignments=23464, nogoods=4400, foundSolutions=83, bestBound=632
11.31/7.60
11.31/7.60 num=742, depth=2..6, filters=5664432, revisions=(4934044,useless=118469), ccks=26062, wck=5.334, mem=76M794
11.31/7.60 decisions=70236, wrong=33707, backtracks=12431, failedAssignments=23481, nogoods=4405, foundSolutions=83, bestBound=632
11.31/7.60
11.31/7.61 num=743, depth=0..5, filters=5669751, revisions=(4938617,useless=118583), ccks=26062, wck=5.338, mem=76M794
11.31/7.61 decisions=70294, wrong=33734, backtracks=12441, failedAssignments=23500, nogoods=4408, foundSolutions=83, bestBound=632
11.31/7.61
11.31/7.61 num=744, depth=2..7, filters=5674193, revisions=(4942345,useless=118616), ccks=26062, wck=5.342, mem=76M794
11.31/7.61 decisions=70366, wrong=33768, backtracks=12456, failedAssignments=23521, nogoods=4412, foundSolutions=83, bestBound=632
11.31/7.61
11.31/7.62 num=745, depth=1..6, filters=5680168, revisions=(4947489,useless=118695), ccks=26062, wck=5.347, mem=76M794
11.31/7.62 decisions=70432, wrong=33799, backtracks=12466, failedAssignments=23544, nogoods=4417, foundSolutions=83, bestBound=632
11.31/7.62
11.31/7.62 num=746, depth=1..5, filters=5685400, revisions=(4951962,useless=118737), ccks=26062, wck=5.352, mem=76M794
11.31/7.62 decisions=70515, wrong=33840, backtracks=12484, failedAssignments=23569, nogoods=4418, foundSolutions=83, bestBound=632
11.31/7.62
11.31/7.63 num=747, depth=2..5, filters=5692346, revisions=(4957887,useless=118819), ccks=26062, wck=5.357, mem=76M794
11.31/7.63 decisions=70604, wrong=33883, backtracks=12500, failedAssignments=23597, nogoods=4422, foundSolutions=83, bestBound=632
11.31/7.63
11.31/7.63 num=748, depth=2..6, filters=5699882, revisions=(4964577,useless=118937), ccks=26062, wck=5.364, mem=76M794
11.31/7.63 decisions=70692, wrong=33926, backtracks=12514, failedAssignments=23628, nogoods=4428, foundSolutions=83, bestBound=632
11.31/7.63
11.31/7.64 num=749, depth=1..5, filters=5708985, revisions=(4972181,useless=119060), ccks=26062, wck=5.371, mem=76M794
11.31/7.64 decisions=70783, wrong=33971, backtracks=12528, failedAssignments=23662, nogoods=4436, foundSolutions=83, bestBound=632
11.31/7.64
11.31/7.65 num=750, depth=2..5, filters=5717243, revisions=(4979282,useless=119170), ccks=26062, wck=5.378, mem=76M794
11.31/7.65 decisions=70904, wrong=34029, backtracks=12551, failedAssignments=23699, nogoods=4441, foundSolutions=83, bestBound=632
11.31/7.65
11.31/7.66 num=751, depth=2..6, filters=5727036, revisions=(4987663,useless=119317), ccks=26062, wck=5.386, mem=76M794
11.31/7.66 decisions=71035, wrong=34093, backtracks=12575, failedAssignments=23740, nogoods=4447, foundSolutions=83, bestBound=632
11.31/7.66
11.31/7.67 num=752, depth=1..8, filters=5738706, revisions=(4998077,useless=119505), ccks=26062, wck=5.395, mem=76M794
11.31/7.67 decisions=71198, wrong=34173, backtracks=12614, failedAssignments=23785, nogoods=4452, foundSolutions=83, bestBound=632
11.31/7.67
11.31/7.68 num=753, depth=1..6, filters=5749228, revisions=(5007080,useless=119620), ccks=26062, wck=5.404, mem=76M794
11.31/7.68 decisions=71354, wrong=34250, backtracks=12644, failedAssignments=23835, nogoods=4458, foundSolutions=83, bestBound=632
11.31/7.68
11.31/7.69 num=754, depth=1..6, filters=5764789, revisions=(5020445,useless=119962), ccks=26062, wck=5.417, mem=76M794
11.31/7.69 decisions=71511, wrong=34328, backtracks=12670, failedAssignments=23890, nogoods=4462, foundSolutions=83, bestBound=632
11.31/7.69
11.41/7.70 num=755, depth=1..7, filters=5781300, revisions=(5034758,useless=120253), ccks=26062, wck=5.431, mem=76M794
11.41/7.70 decisions=71707, wrong=34425, backtracks=12710, failedAssignments=23951, nogoods=4471, foundSolutions=83, bestBound=632
11.41/7.70
11.41/7.71 num=756, depth=0..7, filters=5795637, revisions=(5046840,useless=120449), ccks=26062, wck=5.443, mem=76M794
11.41/7.71 decisions=71896, wrong=34518, backtracks=12741, failedAssignments=24018, nogoods=4482, foundSolutions=83, bestBound=632
11.41/7.71
11.41/7.73 num=757, depth=1..7, filters=5815587, revisions=(5064426,useless=120724), ccks=26062, wck=5.46, mem=79M438
11.41/7.73 decisions=72161, wrong=34649, backtracks=12809, failedAssignments=24092, nogoods=4491, foundSolutions=83, bestBound=632
11.41/7.73
11.41/7.74 o 630
11.41/7.74 num=758, depth=0..318, filters=5827068, revisions=(5074410,useless=120903), ccks=26376, wck=5.469, mem=79M438
11.41/7.74 decisions=72307, wrong=34719, backtracks=12839, failedAssignments=24136, nogoods=4493, foundSolutions=84, bestBound=630
11.41/7.74
11.41/7.76 num=759, depth=1..8, filters=5848794, revisions=(5093901,useless=121850), ccks=26376, wck=5.488, mem=79M438
11.41/7.76 decisions=72555, wrong=34842, backtracks=12886, failedAssignments=24225, nogoods=4499, foundSolutions=84, bestBound=630
11.41/7.76
11.41/7.76 num=760, depth=2..5, filters=5852073, revisions=(5096618,useless=121898), ccks=26376, wck=5.491, mem=79M438
11.41/7.76 decisions=72588, wrong=34857, backtracks=12892, failedAssignments=24236, nogoods=4504, foundSolutions=84, bestBound=630
11.41/7.76
11.41/7.76 num=761, depth=0..6, filters=5854908, revisions=(5099060,useless=121944), ccks=26376, wck=5.493, mem=79M438
11.41/7.76 decisions=72626, wrong=34874, backtracks=12901, failedAssignments=24248, nogoods=4506, foundSolutions=84, bestBound=630
11.41/7.76
11.41/7.77 num=762, depth=2..4, filters=5858612, revisions=(5102124,useless=122005), ccks=26376, wck=5.497, mem=79M438
11.41/7.77 decisions=72663, wrong=34891, backtracks=12906, failedAssignments=24261, nogoods=4512, foundSolutions=84, bestBound=630
11.41/7.77
11.41/7.77 num=763, depth=1..6, filters=5861653, revisions=(5104750,useless=122025), ccks=26376, wck=5.499, mem=79M438
11.41/7.77 decisions=72706, wrong=34911, backtracks=12912, failedAssignments=24275, nogoods=4516, foundSolutions=84, bestBound=630
11.41/7.77
11.41/7.77 num=764, depth=1..5, filters=5866594, revisions=(5108946,useless=122084), ccks=26376, wck=5.503, mem=79M438
11.41/7.77 decisions=72758, wrong=34936, backtracks=12922, failedAssignments=24291, nogoods=4519, foundSolutions=84, bestBound=630
11.41/7.77
11.41/7.78 num=765, depth=1..4, filters=5871081, revisions=(5112632,useless=122124), ccks=26376, wck=5.507, mem=79M438
11.41/7.78 decisions=72810, wrong=34961, backtracks=12932, failedAssignments=24308, nogoods=4523, foundSolutions=84, bestBound=630
11.41/7.78
11.41/7.78 num=766, depth=2..6, filters=5875337, revisions=(5116357,useless=122186), ccks=26376, wck=5.511, mem=79M438
11.41/7.78 decisions=72861, wrong=34985, backtracks=12939, failedAssignments=24327, nogoods=4529, foundSolutions=84, bestBound=630
11.41/7.78
11.41/7.79 num=767, depth=2..6, filters=5880231, revisions=(5120417,useless=122222), ccks=26376, wck=5.515, mem=79M438
11.41/7.79 decisions=72916, wrong=35011, backtracks=12947, failedAssignments=24348, nogoods=4532, foundSolutions=84, bestBound=630
11.41/7.79
11.41/7.79 num=768, depth=2..6, filters=5886048, revisions=(5125586,useless=122307), ccks=26376, wck=5.519, mem=79M438
11.41/7.79 decisions=72986, wrong=35044, backtracks=12959, failedAssignments=24371, nogoods=4538, foundSolutions=84, bestBound=630
11.41/7.79
11.41/7.80 num=769, depth=1..4, filters=5892465, revisions=(5130999,useless=122394), ccks=26376, wck=5.524, mem=79M438
11.41/7.80 decisions=73063, wrong=35081, backtracks=12971, failedAssignments=24396, nogoods=4545, foundSolutions=84, bestBound=630
11.41/7.80
11.51/7.80 o 626
11.51/7.80 num=770, depth=1..318, filters=5896352, revisions=(5134392,useless=122424), ccks=26690, wck=5.528, mem=79M438
11.51/7.80 decisions=73117, wrong=35105, backtracks=12982, failedAssignments=24411, nogoods=4547, foundSolutions=85, bestBound=626
11.51/7.80
11.51/7.81 num=771, depth=1..7, filters=5905499, revisions=(5142767,useless=123084), ccks=26690, wck=5.536, mem=79M438
11.51/7.81 decisions=73218, wrong=35155, backtracks=13004, failedAssignments=24442, nogoods=4550, foundSolutions=85, bestBound=626
11.51/7.81
11.51/7.81 num=772, depth=3..6, filters=5908262, revisions=(5145037,useless=123099), ccks=26690, wck=5.539, mem=79M438
11.51/7.81 decisions=73249, wrong=35169, backtracks=13009, failedAssignments=24453, nogoods=4553, foundSolutions=85, bestBound=626
11.51/7.81
11.51/7.81 num=773, depth=2..6, filters=5911964, revisions=(5148303,useless=123153), ccks=26690, wck=5.542, mem=79M438
11.51/7.81 decisions=73292, wrong=35189, backtracks=13018, failedAssignments=24465, nogoods=4557, foundSolutions=85, bestBound=626
11.51/7.81
11.51/7.82 num=774, depth=1..3, filters=5917079, revisions=(5152636,useless=123235), ccks=26690, wck=5.546, mem=79M438
11.51/7.82 decisions=73338, wrong=35211, backtracks=13027, failedAssignments=24478, nogoods=4563, foundSolutions=85, bestBound=626
11.51/7.82
11.51/7.82 num=775, depth=0..4, filters=5921252, revisions=(5156242,useless=123279), ccks=26690, wck=5.549, mem=79M438
11.51/7.82 decisions=73385, wrong=35233, backtracks=13035, failedAssignments=24492, nogoods=4566, foundSolutions=85, bestBound=626
11.51/7.82
11.51/7.82 num=776, depth=3..5, filters=5926396, revisions=(5160643,useless=123386), ccks=26690, wck=5.554, mem=79M438
11.51/7.82 decisions=73437, wrong=35257, backtracks=13045, failedAssignments=24508, nogoods=4573, foundSolutions=85, bestBound=626
11.51/7.82
11.51/7.83 num=777, depth=2..7, filters=5930668, revisions=(5164411,useless=123454), ccks=26690, wck=5.557, mem=79M438
11.51/7.83 decisions=73490, wrong=35282, backtracks=13054, failedAssignments=24525, nogoods=4578, foundSolutions=85, bestBound=626
11.51/7.83
11.51/7.83 num=778, depth=3..6, filters=5937283, revisions=(5170210,useless=123622), ccks=26690, wck=5.563, mem=79M438
11.51/7.83 decisions=73547, wrong=35309, backtracks=13065, failedAssignments=24544, nogoods=4583, foundSolutions=85, bestBound=626
11.51/7.83
11.51/7.84 num=779, depth=2..7, filters=5941854, revisions=(5174230,useless=123665), ccks=26690, wck=5.567, mem=79M438
11.51/7.84 decisions=73607, wrong=35337, backtracks=13076, failedAssignments=24565, nogoods=4586, foundSolutions=85, bestBound=626
11.51/7.84
11.51/7.84 o 624
11.51/7.84 num=780, depth=2..318, filters=5944191, revisions=(5176239,useless=123687), ccks=27004, wck=5.569, mem=79M438
11.51/7.84 decisions=73639, wrong=35350, backtracks=13081, failedAssignments=24574, nogoods=4588, foundSolutions=86, bestBound=624
11.51/7.84
11.51/7.85 num=781, depth=1..6, filters=5950031, revisions=(5181799,useless=124309), ccks=27004, wck=5.575, mem=79M438
11.51/7.85 decisions=73713, wrong=35385, backtracks=13092, failedAssignments=24599, nogoods=4595, foundSolutions=86, bestBound=624
11.51/7.85
11.51/7.85 num=782, depth=0..6, filters=5953885, revisions=(5185081,useless=124335), ccks=27004, wck=5.578, mem=79M438
11.51/7.85 decisions=73761, wrong=35407, backtracks=13105, failedAssignments=24610, nogoods=4597, foundSolutions=86, bestBound=624
11.51/7.85
11.51/7.85 num=783, depth=2..7, filters=5956848, revisions=(5187712,useless=124377), ccks=27004, wck=5.581, mem=79M438
11.51/7.85 decisions=73796, wrong=35423, backtracks=13110, failedAssignments=24622, nogoods=4608, foundSolutions=86, bestBound=624
11.51/7.85
11.51/7.85 num=784, depth=2..6, filters=5959765, revisions=(5190170,useless=124398), ccks=27004, wck=5.583, mem=79M438
11.51/7.85 decisions=73836, wrong=35441, backtracks=13117, failedAssignments=24635, nogoods=4613, foundSolutions=86, bestBound=624
11.51/7.85
11.51/7.86 num=785, depth=2..5, filters=5963715, revisions=(5193648,useless=124476), ccks=27004, wck=5.586, mem=79M438
11.51/7.86 decisions=73877, wrong=35460, backtracks=13122, failedAssignments=24649, nogoods=4623, foundSolutions=86, bestBound=624
11.51/7.86
11.51/7.86 num=786, depth=3..7, filters=5966891, revisions=(5196318,useless=124506), ccks=27004, wck=5.589, mem=79M438
11.51/7.86 decisions=73919, wrong=35479, backtracks=13129, failedAssignments=24665, nogoods=4629, foundSolutions=86, bestBound=624
11.51/7.86
11.51/7.86 num=787, depth=2..5, filters=5970557, revisions=(5199521,useless=124577), ccks=27004, wck=5.592, mem=79M438
11.51/7.86 decisions=73961, wrong=35499, backtracks=13135, failedAssignments=24682, nogoods=4637, foundSolutions=86, bestBound=624
11.51/7.86
11.51/7.87 num=788, depth=1..6, filters=5975189, revisions=(5203481,useless=124644), ccks=27004, wck=5.596, mem=79M438
11.51/7.87 decisions=74023, wrong=35529, backtracks=13149, failedAssignments=24701, nogoods=4641, foundSolutions=86, bestBound=624
11.51/7.87
11.51/7.87 num=789, depth=2..5, filters=5980468, revisions=(5208151,useless=124736), ccks=27004, wck=5.6, mem=79M438
11.51/7.87 decisions=74083, wrong=35558, backtracks=13157, failedAssignments=24722, nogoods=4648, foundSolutions=86, bestBound=624
11.51/7.87
11.51/7.88 num=790, depth=1..7, filters=5985741, revisions=(5212525,useless=124796), ccks=27004, wck=5.605, mem=79M438
11.51/7.88 decisions=74151, wrong=35590, backtracks=13171, failedAssignments=24745, nogoods=4650, foundSolutions=86, bestBound=624
11.51/7.88
11.51/7.88 num=791, depth=2..6, filters=5991499, revisions=(5217467,useless=124860), ccks=27004, wck=5.61, mem=79M438
11.51/7.88 decisions=74217, wrong=35621, backtracks=13180, failedAssignments=24770, nogoods=4657, foundSolutions=86, bestBound=624
11.51/7.88
11.51/7.89 num=792, depth=1..6, filters=5999379, revisions=(5224361,useless=124945), ccks=27004, wck=5.616, mem=79M438
11.51/7.89 decisions=74324, wrong=35674, backtracks=13208, failedAssignments=24798, nogoods=4661, foundSolutions=86, bestBound=624
11.51/7.89
11.51/7.89 num=793, depth=2..6, filters=6007279, revisions=(5231123,useless=125112), ccks=27004, wck=5.623, mem=79M438
11.51/7.89 decisions=74407, wrong=35714, backtracks=13220, failedAssignments=24829, nogoods=4667, foundSolutions=86, bestBound=624
11.51/7.89
11.62/7.90 num=794, depth=2..6, filters=6016205, revisions=(5238810,useless=125296), ccks=27004, wck=5.631, mem=79M438
11.62/7.90 decisions=74500, wrong=35759, backtracks=13233, failedAssignments=24863, nogoods=4673, foundSolutions=86, bestBound=624
11.62/7.90
11.62/7.91 num=795, depth=0..10, filters=6029030, revisions=(5250247,useless=125496), ccks=27004, wck=5.642, mem=79M438
11.62/7.91 decisions=74636, wrong=35824, backtracks=13264, failedAssignments=24900, nogoods=4678, foundSolutions=86, bestBound=624
11.62/7.91
11.62/7.92 num=796, depth=1..6, filters=6039676, revisions=(5259585,useless=125664), ccks=27004, wck=5.65, mem=79M438
11.62/7.92 decisions=74769, wrong=35889, backtracks=13293, failedAssignments=24941, nogoods=4683, foundSolutions=86, bestBound=624
11.62/7.92
11.62/7.93 num=797, depth=1..6, filters=6048458, revisions=(5266771,useless=125721), ccks=27004, wck=5.658, mem=79M438
11.62/7.93 decisions=74887, wrong=35947, backtracks=13310, failedAssignments=24986, nogoods=4688, foundSolutions=86, bestBound=624
11.62/7.93
11.62/7.94 num=798, depth=0..7, filters=6062345, revisions=(5278957,useless=125979), ccks=27004, wck=5.669, mem=79M438
11.62/7.94 decisions=75065, wrong=36035, backtracks=13355, failedAssignments=25036, nogoods=4690, foundSolutions=86, bestBound=624
11.62/7.94
11.62/7.95 num=799, depth=0..5, filters=6077764, revisions=(5292799,useless=126284), ccks=27004, wck=5.682, mem=79M438
11.62/7.95 decisions=75225, wrong=36114, backtracks=13380, failedAssignments=25091, nogoods=4697, foundSolutions=86, bestBound=624
11.62/7.95
11.62/7.97 num=800, depth=0..5, filters=6096483, revisions=(5309287,useless=126690), ccks=27004, wck=5.697, mem=79M438
11.62/7.97 decisions=75431, wrong=36217, backtracks=13427, failedAssignments=25152, nogoods=4697, foundSolutions=86, bestBound=624
11.62/7.97
11.62/7.98
11.62/7.98 New Bounds: 624..623
11.62/7.98 num=801, depth=0..6, filters=6109733, revisions=(5320753,useless=126945), ccks=27004, wck=5.709, mem=79M438
11.62/7.98 decisions=75587, wrong=36296, backtracks=13467, failedAssignments=25196, foundSolutions=86, bestBound=624
11.62/7.98
11.62/7.98 Global
11.62/7.98 filters=6109733, revisions=(5320753,useless=126945), ccks=27004
11.62/7.98 Stop=FULL_EXPLORATION, wrong=36296, bestBound=624, bestBoundWck=5.996, bestBoundCpu=7.8, foundSolutions=86, firstSolCpu=2.267
11.62/7.98 wck=6.136, cpu=7.941, mem=79M438
11.62/7.98
11.62/7.98 v <instantiation id='sol86' type='solution' cost='624'> <list> x[] drd[][] dr[] </list> <values> 30 166 238 340 592 669 831 552 416 344 242 10 87 249 552 416 344 242 10 87 249 21 115 187 289 541 618 780 21 115 187 289 541 618 780 170 34 38 140 392 469 631 170 34 38 140 392 469 631 11 147 219 321 573 650 812 337 201 129 27 225 302 464 337 201 129 27 225 302 464 694 558 486 384 132 55 107 695 559 487 385 133 56 106 656 520 448 346 94 17 145 656 520 448 346 94 17 145 2 138 210 312 564 641 803 639 503 431 329 77 0 162 639 503 431 329 77 0 162 623 487 415 313 61 16 178 250 114 42 60 312 389 551 248 112 40 62 314 391 553 578 442 370 268 16 61 223 578 442 370 268 16 61 223 19 117 189 291 543 620 782 19 117 189 291 543 620 782 208 72 0 102 354 431 593 208 72 0 102 354 431 593 801 665 593 491 239 162 0 801 665 593 491 239 162 0 136 0 72 174 426 503 665 136 0 72 174 426 503 665 98 38 110 212 464 541 703 98 38 110 212 464 541 703 0 136 208 310 562 639 801 1 137 209 311 563 640 802 618 482 410 308 56 21 183 562 426 354 252 0 77 239 310 174 102 0 252 329 491 310 174 102 0 252 329 491 200 64 8 110 362 439 601 200 64 8 110 362 439 601 10 10 21 21 34 34 11 27 27 55 56 17 17 2 0 0 16 42 40 16 16 19 19 0 0 0 0 0 0 38 38 0 1 21 0 0 0 8 8 </values> </instantiation>
11.62/7.98 s OPTIMUM FOUND
11.62/7.98
11.62/7.98 d WRONG_DECISIONS 36296
11.62/7.98 d NUMBER_SOLUTIONS 86