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