2.43/1.87
2.43/1.87 AbsCon 2
2.43/1.89
2.90/2.11 Instance
2.90/2.11 name=instance-4390838-1568385557, framework=COP, bounds=-infty..+infty
2.90/2.11
2.90/2.11 Loading variables...
3.26/2.17 Loading constraints...
3.62/2.27
3.62/2.27 Domains
3.62/2.27 nTypes=34, nValues=10706, sizes=[31#24,32#48,33#108,34#143]
3.62/2.27 Variables
3.62/2.27 count=323, degrees=[2#318,54#5]
3.62/2.27 Objectives
3.62/2.27 way=min, type=SumSimpleLE
3.62/2.27 Constraints
3.62/2.27 count=320, nSpecific=55, arities=[2#265,5#1,6#53,53#1]
3.62/2.27 distribution=[CtrExtensionV-Bits#265,Minimum#53,OrderedLT#1,SumSimpleLE#1]
3.62/2.27 nExtStructures=(34,shared:231), nCftStructures=(34,shared:231,unbuilt:55)
3.62/2.27 wck=0.427, cpu=2.233, mem=31M797
3.62/2.28 Solver SolverBacktrack being built...
3.62/2.28
3.98/2.30
3.98/2.30 Solver
3.98/2.30 guaranteedGAC=true
3.98/2.30 wck=0.459, cpu=2.264, mem=45M82
3.98/2.31
3.98/2.31 Preprocessing
3.98/2.31 filters=351, revisions=(357,useless=92), nACremovedValues=1256, nTotalRemovedValues=1256, inconcistency=false
3.98/2.31 wck=0.012, cpu=2.278, mem=45M82
3.98/2.31
3.98/2.33 o 4062
3.98/2.34 num=0, depth=324..322, filters=804, revisions=(622,useless=92), ccks=320, wck=0.033, mem=45M82
3.98/2.34 decisions=5, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=1, bestBound=4062
3.98/2.34
3.98/2.34 o 2311
3.98/2.35 num=1, depth=324..322, filters=1222, revisions=(1417,useless=622), ccks=640, wck=0.043, mem=45M82
3.98/2.35 decisions=10, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=2, bestBound=2311
3.98/2.35
3.98/2.36 o 2100
3.98/2.36 num=2, depth=4..322, filters=1938, revisions=(2424,useless=1159), ccks=960, wck=0.055, mem=45M82
3.98/2.36 decisions=17, wrong=1, backtracks=0, failedAssignments=1, nogoods=1, foundSolutions=3, bestBound=2100
3.98/2.36
3.98/2.37 o 2048
3.98/2.37 num=3, depth=324..322, filters=2581, revisions=(3431,useless=1689), ccks=1280, wck=0.064, mem=47M725
3.98/2.37 decisions=22, wrong=1, backtracks=0, failedAssignments=1, nogoods=1, foundSolutions=4, bestBound=2048
3.98/2.37
3.98/2.38 o 2017
3.98/2.38 num=4, depth=4..322, filters=3496, revisions=(4650,useless=2223), ccks=1600, wck=0.073, mem=47M725
3.98/2.38 decisions=29, wrong=2, backtracks=0, failedAssignments=2, nogoods=2, foundSolutions=5, bestBound=2017
3.98/2.38
3.98/2.38 o 1707
3.98/2.38 num=5, depth=324..322, filters=4260, revisions=(5764,useless=2754), ccks=1920, wck=0.081, mem=47M725
3.98/2.38 decisions=34, wrong=2, backtracks=0, failedAssignments=2, nogoods=2, foundSolutions=6, bestBound=1707
3.98/2.38
3.98/2.39 o 1599
3.98/2.39 num=6, depth=4..322, filters=5159, revisions=(6984,useless=3286), ccks=2240, wck=0.09, mem=47M725
3.98/2.39 decisions=41, wrong=3, backtracks=0, failedAssignments=3, nogoods=3, foundSolutions=7, bestBound=1599
3.98/2.39
3.98/2.40 o 1587
3.98/2.40 num=7, depth=4..322, filters=6167, revisions=(8311,useless=3822), ccks=2560, wck=0.099, mem=47M725
3.98/2.40 decisions=48, wrong=4, backtracks=0, failedAssignments=4, nogoods=4, foundSolutions=8, bestBound=1587
3.98/2.40
4.36/2.41 o 1453
4.36/2.41 num=8, depth=4..322, filters=7353, revisions=(9796,useless=4358), ccks=2880, wck=0.108, mem=50M367
4.36/2.41 decisions=57, wrong=5, backtracks=0, failedAssignments=5, nogoods=5, foundSolutions=9, bestBound=1453
4.36/2.41
4.36/2.43 num=9, depth=4..6, filters=11608, revisions=(13935,useless=4924), ccks=2880, wck=0.125, mem=50M367
4.36/2.43 decisions=89, wrong=19, backtracks=3, failedAssignments=16, nogoods=9, foundSolutions=9, bestBound=1453
4.36/2.43
4.36/2.44 num=10, depth=1..1, filters=13856, revisions=(15419,useless=4945), ccks=2880, wck=0.137, mem=50M367
4.36/2.44 decisions=112, wrong=30, backtracks=3, failedAssignments=27, nogoods=20, foundSolutions=9, bestBound=1453
4.36/2.44
4.36/2.47 num=11, depth=0..2, filters=18773, revisions=(19130,useless=4971), ccks=2880, wck=0.152, mem=55M652
4.36/2.47 decisions=138, wrong=42, backtracks=3, failedAssignments=39, nogoods=26, foundSolutions=9, bestBound=1453
4.36/2.47
4.36/2.48 num=12, depth=0..3, filters=24856, revisions=(24389,useless=4996), ccks=2880, wck=0.181, mem=58M294
4.36/2.48 decisions=168, wrong=56, backtracks=4, failedAssignments=52, nogoods=33, foundSolutions=9, bestBound=1453
4.36/2.48
4.36/2.49 num=13, depth=1..3, filters=28192, revisions=(26773,useless=5019), ccks=2880, wck=0.192, mem=58M294
4.36/2.49 decisions=202, wrong=72, backtracks=7, failedAssignments=66, nogoods=36, foundSolutions=9, bestBound=1453
4.36/2.49
4.66/2.50 o 1451
4.66/2.50 num=14, depth=2..322, filters=32383, revisions=(30267,useless=5045), ccks=3200, wck=0.201, mem=58M294
4.66/2.50 decisions=241, wrong=89, backtracks=10, failedAssignments=81, nogoods=48, foundSolutions=10, bestBound=1451
4.66/2.50
4.66/2.51 o 1398
4.66/2.51 num=15, depth=2..322, filters=33498, revisions=(31651,useless=5577), ccks=3520, wck=0.206, mem=60M937
4.66/2.51 decisions=254, wrong=94, backtracks=10, failedAssignments=86, nogoods=53, foundSolutions=11, bestBound=1398
4.66/2.51
4.66/2.51 o 1390
4.66/2.51 num=16, depth=2..322, filters=34157, revisions=(32677,useless=6110), ccks=3840, wck=0.21, mem=60M937
4.66/2.51 decisions=259, wrong=95, backtracks=10, failedAssignments=87, nogoods=54, foundSolutions=12, bestBound=1390
4.66/2.51
4.66/2.52 o 1338
4.66/2.52 num=17, depth=2..322, filters=34830, revisions=(33720,useless=6645), ccks=4160, wck=0.214, mem=60M937
4.66/2.52 decisions=264, wrong=96, backtracks=10, failedAssignments=88, nogoods=55, foundSolutions=13, bestBound=1338
4.66/2.52
4.66/2.52 num=18, depth=1..4, filters=38061, revisions=(36884,useless=7197), ccks=4160, wck=0.223, mem=60M937
4.66/2.52 decisions=291, wrong=108, backtracks=11, failedAssignments=99, nogoods=65, foundSolutions=13, bestBound=1338
4.66/2.52
4.66/2.53 num=19, depth=3..6, filters=40660, revisions=(38903,useless=7213), ccks=4160, wck=0.23, mem=63M579
4.66/2.53 decisions=319, wrong=120, backtracks=13, failedAssignments=110, nogoods=73, foundSolutions=13, bestBound=1338
4.66/2.53
4.66/2.54 num=20, depth=4..7, filters=42936, revisions=(40387,useless=7231), ccks=4160, wck=0.237, mem=63M579
4.66/2.54 decisions=347, wrong=132, backtracks=13, failedAssignments=122, nogoods=85, foundSolutions=13, bestBound=1338
4.66/2.54
4.66/2.55 num=21, depth=4..10, filters=46209, revisions=(42614,useless=7261), ccks=4160, wck=0.247, mem=63M579
4.66/2.55 decisions=377, wrong=145, backtracks=13, failedAssignments=135, nogoods=98, foundSolutions=13, bestBound=1338
4.66/2.55
4.66/2.56 num=22, depth=4..5, filters=50259, revisions=(45794,useless=7285), ccks=4160, wck=0.256, mem=66M222
4.66/2.56 decisions=410, wrong=159, backtracks=13, failedAssignments=149, nogoods=112, foundSolutions=13, bestBound=1338
4.66/2.56
4.66/2.57 num=23, depth=0..3, filters=53264, revisions=(48078,useless=7309), ccks=4160, wck=0.264, mem=66M222
4.66/2.57 decisions=445, wrong=176, backtracks=15, failedAssignments=165, nogoods=116, foundSolutions=13, bestBound=1338
4.66/2.57
4.66/2.57 num=24, depth=3..9, filters=56816, revisions=(50652,useless=7345), ccks=4160, wck=0.274, mem=68M864
4.66/2.57 decisions=485, wrong=194, backtracks=16, failedAssignments=182, nogoods=127, foundSolutions=13, bestBound=1338
4.66/2.57
4.66/2.58 o 1267
4.66/2.59 num=25, depth=4..322, filters=58686, revisions=(51977,useless=7366), ccks=4480, wck=0.28, mem=68M864
4.66/2.59 decisions=498, wrong=198, backtracks=16, failedAssignments=186, nogoods=131, foundSolutions=14, bestBound=1267
4.66/2.59
4.66/2.59 o 1254
4.66/2.59 num=26, depth=4..322, filters=59699, revisions=(53249,useless=7908), ccks=4800, wck=0.285, mem=68M864
4.66/2.59 decisions=507, wrong=200, backtracks=16, failedAssignments=188, nogoods=133, foundSolutions=15, bestBound=1254
4.66/2.59
4.66/2.59 o 1054
4.66/2.59 num=27, depth=4..322, filters=60716, revisions=(54551,useless=8445), ccks=5120, wck=0.29, mem=71M507
4.66/2.59 decisions=514, wrong=201, backtracks=16, failedAssignments=189, nogoods=134, foundSolutions=16, bestBound=1054
4.66/2.59
4.97/2.60 num=28, depth=1..1, filters=64741, revisions=(58116,useless=8996), ccks=5120, wck=0.301, mem=71M507
4.97/2.60 decisions=537, wrong=212, backtracks=16, failedAssignments=200, nogoods=145, foundSolutions=16, bestBound=1054
4.97/2.60
4.97/2.62 num=29, depth=0..0, filters=69411, revisions=(61649,useless=9047), ccks=5120, wck=0.314, mem=74M149
4.97/2.62 decisions=559, wrong=223, backtracks=16, failedAssignments=211, nogoods=145, foundSolutions=16, bestBound=1054
4.97/2.62
4.97/2.62 num=30, depth=0..6, filters=73145, revisions=(64675,useless=9060), ccks=5120, wck=0.322, mem=76M792
4.97/2.62 decisions=590, wrong=237, backtracks=21, failedAssignments=223, nogoods=148, foundSolutions=16, bestBound=1054
4.97/2.62
4.97/2.63 num=31, depth=1..4, filters=77118, revisions=(68019,useless=9094), ccks=5120, wck=0.331, mem=76M792
4.97/2.63 decisions=622, wrong=252, backtracks=24, failedAssignments=236, nogoods=153, foundSolutions=16, bestBound=1054
4.97/2.63
4.97/2.64 num=32, depth=2..6, filters=79546, revisions=(69826,useless=9122), ccks=5120, wck=0.338, mem=76M792
4.97/2.64 decisions=652, wrong=266, backtracks=24, failedAssignments=250, nogoods=167, foundSolutions=16, bestBound=1054
4.97/2.64
4.97/2.65 num=33, depth=1..5, filters=83594, revisions=(72806,useless=9141), ccks=5120, wck=0.347, mem=79M434
4.97/2.65 decisions=687, wrong=282, backtracks=24, failedAssignments=266, nogoods=183, foundSolutions=16, bestBound=1054
4.97/2.65
4.97/2.66 num=34, depth=1..3, filters=88322, revisions=(76684,useless=9167), ccks=5120, wck=0.356, mem=79M434
4.97/2.66 decisions=726, wrong=300, backtracks=25, failedAssignments=283, nogoods=200, foundSolutions=16, bestBound=1054
4.97/2.66
4.97/2.67 num=35, depth=0..3, filters=93038, revisions=(80625,useless=9199), ccks=5120, wck=0.365, mem=82M76
4.97/2.67 decisions=768, wrong=320, backtracks=26, failedAssignments=302, nogoods=212, foundSolutions=16, bestBound=1054
4.97/2.67
4.97/2.68 num=36, depth=1..4, filters=98967, revisions=(85739,useless=9291), ccks=5120, wck=0.375, mem=82M76
4.97/2.68 decisions=820, wrong=345, backtracks=31, failedAssignments=323, nogoods=222, foundSolutions=16, bestBound=1054
4.97/2.68
4.97/2.69 num=37, depth=2..4, filters=104083, revisions=(89473,useless=9358), ccks=5120, wck=0.386, mem=84M719
4.97/2.69 decisions=875, wrong=371, backtracks=36, failedAssignments=346, nogoods=227, foundSolutions=16, bestBound=1054
4.97/2.69
5.25/2.70 num=38, depth=1..7, filters=108928, revisions=(93047,useless=9407), ccks=5120, wck=0.396, mem=84M719
5.25/2.70 decisions=933, wrong=399, backtracks=43, failedAssignments=371, nogoods=234, foundSolutions=16, bestBound=1054
5.25/2.70
5.25/2.71 num=39, depth=0..6, filters=116712, revisions=(99287,useless=9455), ccks=5120, wck=0.412, mem=87M361
5.25/2.71 decisions=1000, wrong=431, backtracks=49, failedAssignments=399, nogoods=251, foundSolutions=16, bestBound=1054
5.25/2.71
5.25/2.73 num=40, depth=1..7, filters=122918, revisions=(103961,useless=9510), ccks=5120, wck=0.426, mem=90M4
5.25/2.73 decisions=1068, wrong=464, backtracks=55, failedAssignments=430, nogoods=257, foundSolutions=16, bestBound=1054
5.25/2.73
5.25/2.74 num=41, depth=1..4, filters=132993, revisions=(112423,useless=9642), ccks=5120, wck=0.441, mem=90M4
5.25/2.74 decisions=1161, wrong=509, backtracks=66, failedAssignments=464, nogoods=271, foundSolutions=16, bestBound=1054
5.25/2.74
5.25/2.75 num=42, depth=1..6, filters=141907, revisions=(120143,useless=9715), ccks=5120, wck=0.453, mem=92M646
5.25/2.75 decisions=1251, wrong=553, backtracks=75, failedAssignments=501, nogoods=282, foundSolutions=16, bestBound=1054
5.25/2.75
5.25/2.78 num=43, depth=0..6, filters=156610, revisions=(132306,useless=9939), ccks=5120, wck=0.477, mem=95M289
5.25/2.78 decisions=1365, wrong=608, backtracks=92, failedAssignments=542, nogoods=299, foundSolutions=16, bestBound=1054
5.25/2.78
5.25/2.79 num=44, depth=1..6, filters=166146, revisions=(140608,useless=10011), ccks=5120, wck=0.489, mem=95M289
5.25/2.79 decisions=1472, wrong=661, backtracks=104, failedAssignments=587, nogoods=305, foundSolutions=16, bestBound=1054
5.25/2.79
5.45/2.81 num=45, depth=1..5, filters=180748, revisions=(152701,useless=10313), ccks=5120, wck=0.51, mem=97M931
5.45/2.81 decisions=1596, wrong=722, backtracks=116, failedAssignments=637, nogoods=338, foundSolutions=16, bestBound=1054
5.45/2.81
5.45/2.83 num=46, depth=1..6, filters=195525, revisions=(165785,useless=10419), ccks=5120, wck=0.528, mem=100M574
5.45/2.83 decisions=1744, wrong=794, backtracks=136, failedAssignments=692, nogoods=346, foundSolutions=16, bestBound=1054
5.45/2.83
5.45/2.85 num=47, depth=1..5, filters=208677, revisions=(175821,useless=10529), ccks=5120, wck=0.551, mem=103M216
5.45/2.85 decisions=1891, wrong=866, backtracks=152, failedAssignments=753, nogoods=349, foundSolutions=16, bestBound=1054
5.45/2.85
5.45/2.88 num=48, depth=1..5, filters=224659, revisions=(188668,useless=10710), ccks=5120, wck=0.578, mem=105M858
5.45/2.88 decisions=2046, wrong=942, backtracks=165, failedAssignments=820, nogoods=364, foundSolutions=16, bestBound=1054
5.45/2.88
5.58/2.90 num=49, depth=1..5, filters=239353, revisions=(200114,useless=10803), ccks=5120, wck=0.599, mem=108M501
5.58/2.90 decisions=2231, wrong=1033, backtracks=184, failedAssignments=894, nogoods=378, foundSolutions=16, bestBound=1054
5.58/2.90
5.58/2.93 num=50, depth=0..5, filters=257235, revisions=(214030,useless=10986), ccks=5120, wck=0.63, mem=111M143
5.58/2.93 decisions=2430, wrong=1131, backtracks=204, failedAssignments=975, nogoods=379, foundSolutions=16, bestBound=1054
5.58/2.93
5.58/2.96 o 1048
5.58/2.96 num=51, depth=1..322, filters=273757, revisions=(227947,useless=11244), ccks=5440, wck=0.657, mem=113M786
5.58/2.96 decisions=2563, wrong=1195, backtracks=216, failedAssignments=1027, nogoods=384, foundSolutions=17, bestBound=1048
5.58/2.96
5.58/3.00 num=52, depth=2..6, filters=305502, revisions=(256052,useless=12308), ccks=5440, wck=0.699, mem=119M71
5.58/3.00 decisions=2784, wrong=1304, backtracks=231, failedAssignments=1125, nogoods=407, foundSolutions=17, bestBound=1048
5.58/3.00
5.58/3.01 num=53, depth=3..7, filters=308151, revisions=(258232,useless=12330), ccks=5440, wck=0.704, mem=119M71
5.58/3.01 decisions=2814, wrong=1317, backtracks=236, failedAssignments=1136, nogoods=411, foundSolutions=17, bestBound=1048
5.58/3.01
5.72/3.01 num=54, depth=2..7, filters=312144, revisions=(261512,useless=12428), ccks=5440, wck=0.71, mem=119M71
5.72/3.01 decisions=2844, wrong=1330, backtracks=239, failedAssignments=1148, nogoods=418, foundSolutions=17, bestBound=1048
5.72/3.01
5.72/3.02 num=55, depth=3..3, filters=316769, revisions=(265444,useless=12524), ccks=5440, wck=0.716, mem=121M713
5.72/3.02 decisions=2873, wrong=1343, backtracks=239, failedAssignments=1161, nogoods=431, foundSolutions=17, bestBound=1048
5.72/3.02
5.72/3.02 num=56, depth=1..6, filters=320740, revisions=(268728,useless=12593), ccks=5440, wck=0.722, mem=121M713
5.72/3.02 decisions=2908, wrong=1359, backtracks=244, failedAssignments=1175, nogoods=435, foundSolutions=17, bestBound=1048
5.72/3.02
5.72/3.03 o 1038
5.72/3.03 num=57, depth=3..322, filters=322539, revisions=(270110,useless=12601), ccks=5760, wck=0.727, mem=121M713
5.72/3.03 decisions=2921, wrong=1363, backtracks=244, failedAssignments=1179, nogoods=439, foundSolutions=18, bestBound=1038
5.72/3.03
5.72/3.04 num=58, depth=2..3, filters=327416, revisions=(274722,useless=13222), ccks=5760, wck=0.735, mem=121M713
5.72/3.04 decisions=2959, wrong=1381, backtracks=245, failedAssignments=1196, nogoods=450, foundSolutions=18, bestBound=1038
5.72/3.04
5.72/3.04 num=59, depth=2..5, filters=330650, revisions=(277462,useless=13291), ccks=5760, wck=0.74, mem=124M356
5.72/3.04 decisions=2988, wrong=1394, backtracks=250, failedAssignments=1207, nogoods=454, foundSolutions=18, bestBound=1038
5.72/3.04
5.72/3.05 num=60, depth=3..5, filters=333878, revisions=(280065,useless=13314), ccks=5760, wck=0.745, mem=124M356
5.72/3.05 decisions=3026, wrong=1411, backtracks=256, failedAssignments=1219, nogoods=458, foundSolutions=18, bestBound=1038
5.72/3.05
5.72/3.05 o 1029
5.72/3.05 num=61, depth=4..322, filters=334942, revisions=(280862,useless=13315), ccks=6080, wck=0.748, mem=124M356
5.72/3.05 decisions=3033, wrong=1412, backtracks=256, failedAssignments=1220, nogoods=459, foundSolutions=19, bestBound=1029
5.72/3.05
5.72/3.06 o 1017
5.72/3.06 num=62, depth=1..322, filters=339871, revisions=(285425,useless=13931), ccks=6400, wck=0.759, mem=124M356
5.72/3.06 decisions=3074, wrong=1430, backtracks=264, failedAssignments=1232, nogoods=466, foundSolutions=20, bestBound=1017
5.72/3.06
5.72/3.06 num=63, depth=1..4, filters=342094, revisions=(287892,useless=14490), ccks=6400, wck=0.764, mem=126M998
5.72/3.06 decisions=3100, wrong=1441, backtracks=264, failedAssignments=1243, nogoods=477, foundSolutions=20, bestBound=1017
5.72/3.06
5.72/3.07 num=64, depth=2..6, filters=345498, revisions=(290631,useless=14549), ccks=6400, wck=0.769, mem=126M998
5.72/3.07 decisions=3136, wrong=1458, backtracks=272, failedAssignments=1254, nogoods=478, foundSolutions=20, bestBound=1017
5.72/3.07
5.72/3.08 num=65, depth=1..4, filters=348309, revisions=(292884,useless=14593), ccks=6400, wck=0.774, mem=126M998
5.72/3.08 decisions=3163, wrong=1470, backtracks=272, failedAssignments=1266, nogoods=490, foundSolutions=20, bestBound=1017
5.72/3.08
5.72/3.08 num=66, depth=1..6, filters=351971, revisions=(295872,useless=14676), ccks=6400, wck=0.782, mem=126M998
5.72/3.08 decisions=3197, wrong=1486, backtracks=280, failedAssignments=1279, nogoods=493, foundSolutions=20, bestBound=1017
5.72/3.08
5.72/3.09 num=67, depth=2..3, filters=355106, revisions=(298325,useless=14717), ccks=6400, wck=0.787, mem=126M998
5.72/3.09 decisions=3229, wrong=1501, backtracks=281, failedAssignments=1293, nogoods=506, foundSolutions=20, bestBound=1017
5.72/3.09
5.72/3.09 o 995
5.72/3.10 num=68, depth=2..322, filters=358201, revisions=(300717,useless=14760), ccks=6720, wck=0.795, mem=129M640
5.72/3.10 decisions=3257, wrong=1513, backtracks=285, failedAssignments=1304, nogoods=510, foundSolutions=21, bestBound=995
5.72/3.10
5.72/3.10 num=69, depth=3..4, filters=361108, revisions=(303781,useless=15314), ccks=6720, wck=0.801, mem=129M640
5.72/3.10 decisions=3294, wrong=1530, backtracks=285, failedAssignments=1321, nogoods=527, foundSolutions=21, bestBound=995
5.72/3.10
5.90/3.11 num=70, depth=2..5, filters=364066, revisions=(306145,useless=15375), ccks=6720, wck=0.807, mem=129M640
5.90/3.11 decisions=3321, wrong=1542, backtracks=288, failedAssignments=1332, nogoods=534, foundSolutions=21, bestBound=995
5.90/3.11
5.90/3.11 num=71, depth=2..6, filters=367323, revisions=(308903,useless=15419), ccks=6720, wck=0.814, mem=132M283
5.90/3.11 decisions=3353, wrong=1557, backtracks=293, failedAssignments=1344, nogoods=537, foundSolutions=21, bestBound=995
5.90/3.11
5.90/3.12 num=72, depth=1..5, filters=371288, revisions=(312113,useless=15461), ccks=6720, wck=0.821, mem=132M283
5.90/3.12 decisions=3390, wrong=1575, backtracks=300, failedAssignments=1357, nogoods=538, foundSolutions=21, bestBound=995
5.90/3.12
5.90/3.13 num=73, depth=3..3, filters=373822, revisions=(314188,useless=15511), ccks=6720, wck=0.826, mem=132M283
5.90/3.13 decisions=3421, wrong=1589, backtracks=300, failedAssignments=1371, nogoods=552, foundSolutions=21, bestBound=995
5.90/3.13
5.90/3.13 o 964
5.90/3.13 num=74, depth=2..322, filters=376402, revisions=(316161,useless=15544), ccks=7040, wck=0.832, mem=132M283
5.90/3.13 decisions=3449, wrong=1601, backtracks=305, failedAssignments=1382, nogoods=555, foundSolutions=22, bestBound=964
5.90/3.13
5.90/3.15 num=75, depth=2..5, filters=382564, revisions=(322073,useless=16209), ccks=7040, wck=0.845, mem=134M925
5.90/3.15 decisions=3492, wrong=1621, backtracks=308, failedAssignments=1399, nogoods=559, foundSolutions=22, bestBound=964
5.90/3.15
5.90/3.16 num=76, depth=1..5, filters=387616, revisions=(326272,useless=16300), ccks=7040, wck=0.854, mem=134M925
5.90/3.16 decisions=3522, wrong=1634, backtracks=311, failedAssignments=1410, nogoods=564, foundSolutions=22, bestBound=964
5.90/3.16
5.90/3.16 num=77, depth=2..5, filters=390438, revisions=(328482,useless=16333), ccks=7040, wck=0.86, mem=137M568
5.90/3.16 decisions=3551, wrong=1647, backtracks=314, failedAssignments=1422, nogoods=572, foundSolutions=22, bestBound=964
5.90/3.16
5.90/3.17 num=78, depth=2..3, filters=395955, revisions=(332951,useless=16402), ccks=7040, wck=0.87, mem=137M568
5.90/3.17 decisions=3582, wrong=1661, backtracks=315, failedAssignments=1435, nogoods=582, foundSolutions=22, bestBound=964
5.90/3.17
5.90/3.18 num=79, depth=1..5, filters=400578, revisions=(336706,useless=16454), ccks=7040, wck=0.878, mem=137M568
5.90/3.18 decisions=3623, wrong=1681, backtracks=323, failedAssignments=1449, nogoods=585, foundSolutions=22, bestBound=964
5.90/3.18
5.90/3.19 num=80, depth=2..3, filters=406710, revisions=(341552,useless=16544), ccks=7040, wck=0.888, mem=140M210
5.90/3.19 decisions=3664, wrong=1700, backtracks=326, failedAssignments=1465, nogoods=592, foundSolutions=22, bestBound=964
5.90/3.19
5.90/3.19 o 959
6.11/3.20 num=81, depth=2..322, filters=408780, revisions=(343117,useless=16570), ccks=7360, wck=0.894, mem=140M210
6.11/3.20 decisions=3684, wrong=1708, backtracks=330, failedAssignments=1472, nogoods=594, foundSolutions=23, bestBound=959
6.11/3.20
6.11/3.21 num=82, depth=1..5, filters=415498, revisions=(349326,useless=17205), ccks=7360, wck=0.906, mem=142M778
6.11/3.21 decisions=3734, wrong=1731, backtracks=334, failedAssignments=1491, nogoods=600, foundSolutions=23, bestBound=959
6.11/3.21
6.11/3.21 num=83, depth=2..5, filters=418264, revisions=(351560,useless=17230), ccks=7360, wck=0.91, mem=142M778
6.11/3.21 decisions=3764, wrong=1745, backtracks=339, failedAssignments=1502, nogoods=605, foundSolutions=23, bestBound=959
6.11/3.21
6.11/3.22 num=84, depth=2..5, filters=422634, revisions=(355041,useless=17286), ccks=7360, wck=0.916, mem=142M778
6.11/3.22 decisions=3798, wrong=1760, backtracks=343, failedAssignments=1514, nogoods=610, foundSolutions=23, bestBound=959
6.11/3.22
6.11/3.24 num=85, depth=1..4, filters=427415, revisions=(359023,useless=17355), ccks=7360, wck=0.936, mem=23M440
6.11/3.24 decisions=3841, wrong=1781, backtracks=353, failedAssignments=1527, nogoods=614, foundSolutions=23, bestBound=959
6.11/3.24
6.11/3.24 num=86, depth=2..4, filters=432530, revisions=(363122,useless=17419), ccks=7360, wck=0.943, mem=23M440
6.11/3.24 decisions=3878, wrong=1798, backtracks=356, failedAssignments=1541, nogoods=617, foundSolutions=23, bestBound=959
6.11/3.24
6.11/3.25 o 916
6.11/3.25 num=87, depth=1..322, filters=438236, revisions=(367698,useless=17528), ccks=7680, wck=0.952, mem=23M440
6.11/3.25 decisions=3921, wrong=1817, backtracks=361, failedAssignments=1556, nogoods=623, foundSolutions=24, bestBound=916
6.11/3.25
6.11/3.26 o 915
6.11/3.26 num=88, depth=2..322, filters=444360, revisions=(373224,useless=18141), ccks=8000, wck=0.963, mem=26M29
6.11/3.26 decisions=3960, wrong=1834, backtracks=363, failedAssignments=1572, nogoods=633, foundSolutions=25, bestBound=915
6.11/3.26
6.11/3.27 num=89, depth=1..6, filters=448009, revisions=(376751,useless=18707), ccks=8000, wck=0.969, mem=26M29
6.11/3.27 decisions=3987, wrong=1846, backtracks=366, failedAssignments=1583, nogoods=637, foundSolutions=25, bestBound=915
6.11/3.27
6.11/3.28 num=90, depth=0..3, filters=451848, revisions=(379898,useless=18746), ccks=8000, wck=0.975, mem=29M940
6.11/3.28 decisions=4020, wrong=1862, backtracks=372, failedAssignments=1594, nogoods=639, foundSolutions=25, bestBound=915
6.11/3.28
6.11/3.28 num=91, depth=3..3, filters=454218, revisions=(381678,useless=18772), ccks=8000, wck=0.98, mem=29M940
6.11/3.28 decisions=4047, wrong=1874, backtracks=372, failedAssignments=1606, nogoods=651, foundSolutions=25, bestBound=915
6.11/3.28
6.11/3.29 num=92, depth=2..5, filters=458130, revisions=(384889,useless=18866), ccks=8000, wck=0.985, mem=29M940
6.11/3.29 decisions=4082, wrong=1890, backtracks=378, failedAssignments=1619, nogoods=655, foundSolutions=25, bestBound=915
6.11/3.29
6.11/3.29 num=93, depth=2..4, filters=461719, revisions=(387717,useless=18910), ccks=8000, wck=0.991, mem=29M940
6.11/3.29 decisions=4120, wrong=1908, backtracks=383, failedAssignments=1633, nogoods=661, foundSolutions=25, bestBound=915
6.11/3.29
6.29/3.30 num=94, depth=2..5, filters=467102, revisions=(392189,useless=18989), ccks=8000, wck=0.997, mem=32M530
6.29/3.30 decisions=4168, wrong=1930, backtracks=390, failedAssignments=1649, nogoods=670, foundSolutions=25, bestBound=915
6.29/3.30
6.29/3.31 num=95, depth=1..7, filters=473150, revisions=(397243,useless=19098), ccks=8000, wck=1.007, mem=32M530
6.29/3.31 decisions=4218, wrong=1953, backtracks=399, failedAssignments=1666, nogoods=678, foundSolutions=25, bestBound=915
6.29/3.31
6.29/3.32 num=96, depth=2..4, filters=477038, revisions=(400268,useless=19152), ccks=8000, wck=1.014, mem=32M530
6.29/3.32 decisions=4263, wrong=1974, backtracks=403, failedAssignments=1685, nogoods=682, foundSolutions=25, bestBound=915
6.29/3.32
6.29/3.32 num=97, depth=2..5, filters=482639, revisions=(404843,useless=19214), ccks=8000, wck=1.023, mem=35M119
6.29/3.32 decisions=4321, wrong=2001, backtracks=411, failedAssignments=1706, nogoods=688, foundSolutions=25, bestBound=915
6.29/3.32
6.29/3.33 o 911
6.29/3.33 num=98, depth=2..322, filters=485182, revisions=(406799,useless=19245), ccks=8320, wck=1.028, mem=35M119
6.29/3.33 decisions=4347, wrong=2012, backtracks=414, failedAssignments=1716, nogoods=691, foundSolutions=26, bestBound=911
6.29/3.33
6.29/3.34 num=99, depth=2..4, filters=492458, revisions=(413341,useless=19840), ccks=8320, wck=1.041, mem=35M119
6.29/3.34 decisions=4417, wrong=2045, backtracks=422, failedAssignments=1741, nogoods=702, foundSolutions=26, bestBound=911
6.29/3.34
6.29/3.35 num=100, depth=2..5, filters=495364, revisions=(415582,useless=19872), ccks=8320, wck=1.046, mem=35M119
6.29/3.35 decisions=4445, wrong=2058, backtracks=426, failedAssignments=1752, nogoods=709, foundSolutions=26, bestBound=911
6.29/3.35
6.29/3.35 num=101, depth=2..5, filters=498786, revisions=(418327,useless=19904), ccks=8320, wck=1.051, mem=37M709
6.29/3.35 decisions=4479, wrong=2073, backtracks=430, failedAssignments=1764, nogoods=716, foundSolutions=26, bestBound=911
6.29/3.35
6.29/3.36 num=102, depth=3..6, filters=501601, revisions=(420538,useless=19942), ccks=8320, wck=1.055, mem=37M709
6.29/3.36 decisions=4511, wrong=2087, backtracks=432, failedAssignments=1777, nogoods=726, foundSolutions=26, bestBound=911
6.29/3.36
6.29/3.36 num=103, depth=1..6, filters=504776, revisions=(423169,useless=19991), ccks=8320, wck=1.06, mem=37M709
6.29/3.36 decisions=4545, wrong=2103, backtracks=437, failedAssignments=1791, nogoods=734, foundSolutions=26, bestBound=911
6.29/3.36
6.29/3.37 num=104, depth=2..5, filters=511714, revisions=(428921,useless=20121), ccks=8320, wck=1.069, mem=37M709
6.29/3.37 decisions=4585, wrong=2122, backtracks=441, failedAssignments=1807, nogoods=738, foundSolutions=26, bestBound=911
6.29/3.37
6.29/3.38 num=105, depth=3..5, filters=515796, revisions=(432109,useless=20161), ccks=8320, wck=1.075, mem=40M298
6.29/3.38 decisions=4630, wrong=2143, backtracks=446, failedAssignments=1824, nogoods=745, foundSolutions=26, bestBound=911
6.29/3.38
6.29/3.38 o 910
6.29/3.38 num=106, depth=3..322, filters=517010, revisions=(433052,useless=20169), ccks=8640, wck=1.078, mem=40M298
6.29/3.38 decisions=4637, wrong=2144, backtracks=446, failedAssignments=1825, nogoods=746, foundSolutions=27, bestBound=910
6.29/3.38
6.29/3.38 o 908
6.29/3.38 num=107, depth=3..322, filters=519021, revisions=(435234,useless=20708), ccks=8960, wck=1.083, mem=40M298
6.29/3.38 decisions=4658, wrong=2152, backtracks=448, failedAssignments=1831, nogoods=750, foundSolutions=28, bestBound=908
6.29/3.38
6.29/3.39 num=108, depth=2..11, filters=522945, revisions=(439339,useless=21305), ccks=8960, wck=1.088, mem=40M298
6.29/3.39 decisions=4696, wrong=2169, backtracks=455, failedAssignments=1842, nogoods=754, foundSolutions=28, bestBound=908
6.29/3.39
6.29/3.39 num=109, depth=3..6, filters=526030, revisions=(441735,useless=21336), ccks=8960, wck=1.093, mem=40M298
6.29/3.39 decisions=4725, wrong=2182, backtracks=459, failedAssignments=1853, nogoods=761, foundSolutions=28, bestBound=908
6.29/3.39
6.29/3.40 o 901
6.29/3.40 num=110, depth=4..322, filters=527188, revisions=(442619,useless=21339), ccks=9280, wck=1.096, mem=42M888
6.29/3.40 decisions=4732, wrong=2183, backtracks=459, failedAssignments=1854, nogoods=762, foundSolutions=29, bestBound=901
6.29/3.40
6.49/3.40 num=111, depth=2..4, filters=531410, revisions=(446621,useless=21917), ccks=9280, wck=1.103, mem=42M888
6.49/3.40 decisions=4768, wrong=2199, backtracks=462, failedAssignments=1867, nogoods=770, foundSolutions=29, bestBound=901
6.49/3.40
6.49/3.41 num=112, depth=2..8, filters=533767, revisions=(448473,useless=21941), ccks=9280, wck=1.106, mem=42M888
6.49/3.41 decisions=4794, wrong=2211, backtracks=468, failedAssignments=1878, nogoods=771, foundSolutions=29, bestBound=901
6.49/3.41
6.49/3.41 num=113, depth=0..5, filters=538436, revisions=(452433,useless=21957), ccks=9280, wck=1.112, mem=42M888
6.49/3.41 decisions=4834, wrong=2229, backtracks=476, failedAssignments=1890, nogoods=775, foundSolutions=29, bestBound=901
6.49/3.41
6.49/3.42 num=114, depth=3..5, filters=542644, revisions=(455773,useless=22048), ccks=9280, wck=1.118, mem=42M888
6.49/3.42 decisions=4870, wrong=2245, backtracks=482, failedAssignments=1903, nogoods=783, foundSolutions=29, bestBound=901
6.49/3.42
6.49/3.42 o 893
6.49/3.42 num=115, depth=2..322, filters=545489, revisions=(458066,useless=22083), ccks=9600, wck=1.123, mem=45M477
6.49/3.42 decisions=4893, wrong=2254, backtracks=483, failedAssignments=1911, nogoods=789, foundSolutions=30, bestBound=893
6.49/3.42
6.49/3.43 num=116, depth=2..4, filters=550696, revisions=(462992,useless=22672), ccks=9600, wck=1.13, mem=45M477
6.49/3.43 decisions=4937, wrong=2274, backtracks=487, failedAssignments=1927, nogoods=794, foundSolutions=30, bestBound=893
6.49/3.43
6.49/3.44 num=117, depth=2..5, filters=553394, revisions=(465119,useless=22695), ccks=9600, wck=1.135, mem=45M477
6.49/3.44 decisions=4967, wrong=2288, backtracks=492, failedAssignments=1938, nogoods=797, foundSolutions=30, bestBound=893
6.49/3.44
6.49/3.44 num=118, depth=3..4, filters=557182, revisions=(468108,useless=22730), ccks=9600, wck=1.14, mem=45M477
6.49/3.44 decisions=5003, wrong=2304, backtracks=496, failedAssignments=1950, nogoods=803, foundSolutions=30, bestBound=893
6.49/3.44
6.49/3.45 num=119, depth=3..6, filters=560647, revisions=(470923,useless=22787), ccks=9600, wck=1.145, mem=45M477
6.49/3.45 decisions=5038, wrong=2320, backtracks=503, failedAssignments=1963, nogoods=806, foundSolutions=30, bestBound=893
6.49/3.45
6.49/3.45 num=120, depth=2..5, filters=565698, revisions=(475172,useless=22893), ccks=9600, wck=1.151, mem=48M67
6.49/3.45 decisions=5075, wrong=2336, backtracks=505, failedAssignments=1977, nogoods=812, foundSolutions=30, bestBound=893
6.49/3.45
6.49/3.46 num=121, depth=2..6, filters=571147, revisions=(479650,useless=23008), ccks=9600, wck=1.158, mem=48M67
6.49/3.46 decisions=5121, wrong=2358, backtracks=514, failedAssignments=1993, nogoods=815, foundSolutions=30, bestBound=893
6.49/3.46
6.49/3.47 num=122, depth=2..5, filters=575398, revisions=(482970,useless=23059), ccks=9600, wck=1.165, mem=48M67
6.49/3.47 decisions=5165, wrong=2379, backtracks=520, failedAssignments=2010, nogoods=824, foundSolutions=30, bestBound=893
6.49/3.47
6.49/3.47 num=123, depth=2..5, filters=580975, revisions=(487464,useless=23152), ccks=9600, wck=1.171, mem=48M67
6.49/3.47 decisions=5219, wrong=2404, backtracks=526, failedAssignments=2029, nogoods=831, foundSolutions=30, bestBound=893
6.49/3.47
6.49/3.48 num=124, depth=0..6, filters=590828, revisions=(496050,useless=23390), ccks=9600, wck=1.183, mem=50M657
6.49/3.48 decisions=5283, wrong=2434, backtracks=538, failedAssignments=2050, nogoods=841, foundSolutions=30, bestBound=893
6.49/3.48
6.49/3.49 num=125, depth=2..7, filters=596706, revisions=(500655,useless=23485), ccks=9600, wck=1.191, mem=50M657
6.49/3.49 decisions=5338, wrong=2460, backtracks=543, failedAssignments=2073, nogoods=843, foundSolutions=30, bestBound=893
6.49/3.49
6.67/3.50 num=126, depth=1..4, filters=601528, revisions=(504315,useless=23531), ccks=9600, wck=1.198, mem=53M246
6.67/3.50 decisions=5393, wrong=2487, backtracks=546, failedAssignments=2098, nogoods=844, foundSolutions=30, bestBound=893
6.67/3.50
6.67/3.51 num=127, depth=0..3, filters=612490, revisions=(513789,useless=23627), ccks=9600, wck=1.212, mem=53M246
6.67/3.51 decisions=5464, wrong=2522, backtracks=553, failedAssignments=2126, nogoods=854, foundSolutions=30, bestBound=893
6.67/3.51
6.67/3.52 o 890
6.67/3.52 num=128, depth=2..322, filters=616952, revisions=(517291,useless=23676), ccks=9920, wck=1.218, mem=55M836
6.67/3.52 decisions=5512, wrong=2544, backtracks=560, failedAssignments=2145, nogoods=863, foundSolutions=31, bestBound=890
6.67/3.52
6.67/3.53 o 887
6.67/3.53 num=129, depth=2..322, filters=624900, revisions=(524429,useless=24284), ccks=10240, wck=1.229, mem=55M836
6.67/3.53 decisions=5581, wrong=2576, backtracks=569, failedAssignments=2169, nogoods=871, foundSolutions=32, bestBound=887
6.67/3.53
6.67/3.54 num=130, depth=3..7, filters=628414, revisions=(527904,useless=24861), ccks=10240, wck=1.234, mem=55M836
6.67/3.54 decisions=5607, wrong=2587, backtracks=569, failedAssignments=2180, nogoods=882, foundSolutions=32, bestBound=887
6.67/3.54
6.67/3.54 num=131, depth=1..4, filters=631969, revisions=(530774,useless=24889), ccks=10240, wck=1.239, mem=55M836
6.67/3.54 decisions=5639, wrong=2602, backtracks=573, failedAssignments=2191, nogoods=888, foundSolutions=32, bestBound=887
6.67/3.54
6.67/3.55 num=132, depth=3..4, filters=635822, revisions=(533837,useless=24945), ccks=10240, wck=1.244, mem=58M425
6.67/3.55 decisions=5674, wrong=2618, backtracks=577, failedAssignments=2203, nogoods=896, foundSolutions=32, bestBound=887
6.67/3.55
6.67/3.55 num=133, depth=2..4, filters=639975, revisions=(537330,useless=24996), ccks=10240, wck=1.249, mem=58M425
6.67/3.55 decisions=5710, wrong=2635, backtracks=581, failedAssignments=2216, nogoods=901, foundSolutions=32, bestBound=887
6.67/3.55
6.67/3.56 num=134, depth=2..4, filters=644606, revisions=(541053,useless=25057), ccks=10240, wck=1.255, mem=58M425
6.67/3.56 decisions=5755, wrong=2656, backtracks=588, failedAssignments=2230, nogoods=907, foundSolutions=32, bestBound=887
6.67/3.56
6.67/3.56 num=135, depth=1..4, filters=650335, revisions=(545921,useless=25124), ccks=10240, wck=1.261, mem=58M425
6.67/3.56 decisions=5803, wrong=2679, backtracks=596, failedAssignments=2246, nogoods=915, foundSolutions=32, bestBound=887
6.67/3.56
6.67/3.57 num=136, depth=3..4, filters=655332, revisions=(549941,useless=25195), ccks=10240, wck=1.267, mem=58M425
6.67/3.57 decisions=5854, wrong=2703, backtracks=603, failedAssignments=2263, nogoods=926, foundSolutions=32, bestBound=887
6.67/3.57
6.67/3.58 num=137, depth=0..4, filters=663367, revisions=(556577,useless=25298), ccks=10240, wck=1.277, mem=61M15
6.67/3.58 decisions=5911, wrong=2730, backtracks=612, failedAssignments=2282, nogoods=931, foundSolutions=32, bestBound=887
6.67/3.58
6.67/3.58 num=138, depth=1..6, filters=668254, revisions=(560459,useless=25345), ccks=10240, wck=1.283, mem=61M15
6.67/3.58 decisions=5961, wrong=2754, backtracks=618, failedAssignments=2303, nogoods=937, foundSolutions=32, bestBound=887
6.67/3.58
6.67/3.59 num=139, depth=0..5, filters=675948, revisions=(566828,useless=25491), ccks=10240, wck=1.293, mem=63M604
6.67/3.59 decisions=6031, wrong=2788, backtracks=630, failedAssignments=2326, nogoods=942, foundSolutions=32, bestBound=887
6.67/3.59
6.79/3.60 num=140, depth=3..5, filters=681879, revisions=(571706,useless=25630), ccks=10240, wck=1.3, mem=63M604
6.79/3.60 decisions=6096, wrong=2819, backtracks=637, failedAssignments=2351, nogoods=949, foundSolutions=32, bestBound=887
6.79/3.60
6.79/3.61 num=141, depth=2..4, filters=691086, revisions=(579361,useless=25752), ccks=10240, wck=1.311, mem=63M604
6.79/3.61 decisions=6172, wrong=2855, backtracks=645, failedAssignments=2379, nogoods=955, foundSolutions=32, bestBound=887
6.79/3.61
6.79/3.62 num=142, depth=1..4, filters=698806, revisions=(585826,useless=25831), ccks=10240, wck=1.32, mem=66M194
6.79/3.62 decisions=6249, wrong=2893, backtracks=652, failedAssignments=2410, nogoods=965, foundSolutions=32, bestBound=887
6.79/3.62
6.79/3.63 num=143, depth=2..6, filters=707296, revisions=(592959,useless=25957), ccks=10240, wck=1.329, mem=66M194
6.79/3.63 decisions=6331, wrong=2933, backtracks=661, failedAssignments=2444, nogoods=968, foundSolutions=32, bestBound=887
6.79/3.63
6.79/3.64 num=144, depth=0..5, filters=717864, revisions=(601793,useless=26091), ccks=10240, wck=1.341, mem=66M194
6.79/3.64 decisions=6428, wrong=2980, backtracks=673, failedAssignments=2481, nogoods=975, foundSolutions=32, bestBound=887
6.79/3.64
6.79/3.65 o 877
6.79/3.65 num=145, depth=1..322, filters=723858, revisions=(606665,useless=26148), ccks=10560, wck=1.349, mem=68M784
6.79/3.65 decisions=6498, wrong=3013, backtracks=682, failedAssignments=2505, nogoods=981, foundSolutions=33, bestBound=877
6.79/3.65
6.79/3.66 num=146, depth=2..5, filters=734604, revisions=(616051,useless=26808), ccks=10560, wck=1.362, mem=68M784
6.79/3.66 decisions=6610, wrong=3067, backtracks=691, failedAssignments=2550, nogoods=995, foundSolutions=33, bestBound=877
6.79/3.66
6.79/3.67 num=147, depth=2..5, filters=736883, revisions=(617867,useless=26834), ccks=10560, wck=1.366, mem=68M784
6.79/3.67 decisions=6637, wrong=3079, backtracks=694, failedAssignments=2561, nogoods=998, foundSolutions=33, bestBound=877
6.79/3.67
6.79/3.67 num=148, depth=2..3, filters=741076, revisions=(621367,useless=26974), ccks=10560, wck=1.371, mem=71M373
6.79/3.67 decisions=6665, wrong=3092, backtracks=695, failedAssignments=2573, nogoods=1001, foundSolutions=33, bestBound=877
6.79/3.67
6.79/3.68 num=149, depth=2..5, filters=743919, revisions=(623617,useless=27007), ccks=10560, wck=1.375, mem=71M373
6.79/3.68 decisions=6697, wrong=3107, backtracks=700, failedAssignments=2586, nogoods=1004, foundSolutions=33, bestBound=877
6.79/3.68
6.79/3.68 num=150, depth=0..3, filters=747758, revisions=(626813,useless=27054), ccks=10560, wck=1.38, mem=71M373
6.79/3.68 decisions=6731, wrong=3123, backtracks=702, failedAssignments=2600, nogoods=1010, foundSolutions=33, bestBound=877
6.79/3.68
6.79/3.69 num=151, depth=2..4, filters=751130, revisions=(629467,useless=27081), ccks=10560, wck=1.384, mem=71M373
6.79/3.69 decisions=6772, wrong=3142, backtracks=707, failedAssignments=2616, nogoods=1017, foundSolutions=33, bestBound=877
6.79/3.69
6.79/3.69 o 874
6.79/3.69 num=152, depth=3..322, filters=751975, revisions=(630103,useless=27081), ccks=10880, wck=1.386, mem=71M373
6.79/3.69 decisions=6778, wrong=3143, backtracks=707, failedAssignments=2617, nogoods=1018, foundSolutions=34, bestBound=874
6.79/3.69
6.79/3.70 num=153, depth=2..5, filters=758136, revisions=(635600,useless=27683), ccks=10880, wck=1.395, mem=73M963
6.79/3.70 decisions=6833, wrong=3169, backtracks=714, failedAssignments=2636, nogoods=1027, foundSolutions=34, bestBound=874
6.79/3.70
6.90/3.70 num=154, depth=3..4, filters=761020, revisions=(637858,useless=27710), ccks=10880, wck=1.399, mem=73M963
6.90/3.70 decisions=6860, wrong=3181, backtracks=715, failedAssignments=2647, nogoods=1033, foundSolutions=34, bestBound=874
6.90/3.70
6.90/3.70 num=155, depth=1..4, filters=764432, revisions=(640568,useless=27724), ccks=10880, wck=1.403, mem=73M963
6.90/3.70 decisions=6900, wrong=3200, backtracks=723, failedAssignments=2659, nogoods=1035, foundSolutions=34, bestBound=874
6.90/3.70
6.90/3.71 num=156, depth=0..3, filters=767720, revisions=(643325,useless=27753), ccks=10880, wck=1.407, mem=73M963
6.90/3.71 decisions=6932, wrong=3215, backtracks=725, failedAssignments=2672, nogoods=1041, foundSolutions=34, bestBound=874
6.90/3.71
6.90/3.71 num=157, depth=1..3, filters=771669, revisions=(646502,useless=27795), ccks=10880, wck=1.412, mem=73M963
6.90/3.71 decisions=6976, wrong=3236, backtracks=732, failedAssignments=2686, nogoods=1043, foundSolutions=34, bestBound=874
6.90/3.71
6.90/3.72 o 862
6.90/3.72 num=158, depth=3..322, filters=774947, revisions=(649157,useless=27807), ccks=11200, wck=1.417, mem=76M552
6.90/3.72 decisions=7017, wrong=3254, backtracks=738, failedAssignments=2700, nogoods=1048, foundSolutions=35, bestBound=862
6.90/3.72
6.90/3.72 num=159, depth=3..5, filters=780104, revisions=(653802,useless=28437), ccks=11200, wck=1.424, mem=76M552
6.90/3.72 decisions=7063, wrong=3275, backtracks=743, failedAssignments=2717, nogoods=1060, foundSolutions=35, bestBound=862
6.90/3.72
6.90/3.73 o 861
6.90/3.73 num=160, depth=3..322, filters=781587, revisions=(654968,useless=28445), ccks=11520, wck=1.426, mem=76M552
6.90/3.73 decisions=7079, wrong=3281, backtracks=743, failedAssignments=2723, nogoods=1066, foundSolutions=36, bestBound=861
6.90/3.73
6.90/3.73 num=161, depth=2..5, filters=785105, revisions=(658292,useless=29028), ccks=11520, wck=1.432, mem=76M552
6.90/3.73 decisions=7112, wrong=3296, backtracks=747, failedAssignments=2735, nogoods=1069, foundSolutions=36, bestBound=861
6.90/3.73
6.90/3.74 num=162, depth=2..4, filters=788586, revisions=(661070,useless=29072), ccks=11520, wck=1.436, mem=76M552
6.90/3.74 decisions=7140, wrong=3309, backtracks=749, failedAssignments=2746, nogoods=1070, foundSolutions=36, bestBound=861
6.90/3.74
6.90/3.74 o 858
6.90/3.74 num=163, depth=2..322, filters=790373, revisions=(662447,useless=29093), ccks=11840, wck=1.44, mem=79M142
6.90/3.74 decisions=7156, wrong=3315, backtracks=750, failedAssignments=2751, nogoods=1074, foundSolutions=37, bestBound=858
6.90/3.74
6.90/3.75 num=164, depth=3..6, filters=793127, revisions=(665131,useless=29638), ccks=11840, wck=1.444, mem=79M142
6.90/3.75 decisions=7189, wrong=3329, backtracks=751, failedAssignments=2764, nogoods=1082, foundSolutions=37, bestBound=858
6.90/3.75
6.90/3.75 o 853
6.90/3.75 num=165, depth=3..322, filters=794029, revisions=(665810,useless=29648), ccks=12160, wck=1.446, mem=79M142
6.90/3.75 decisions=7195, wrong=3330, backtracks=751, failedAssignments=2765, nogoods=1083, foundSolutions=38, bestBound=853
6.90/3.75
6.90/3.75 o 849
6.90/3.75 num=166, depth=4..322, filters=796311, revisions=(668012,useless=30194), ccks=12480, wck=1.451, mem=79M142
6.90/3.75 decisions=7217, wrong=3338, backtracks=752, failedAssignments=2772, nogoods=1086, foundSolutions=39, bestBound=849
6.90/3.75
6.90/3.76 num=167, depth=2..5, filters=799412, revisions=(671159,useless=30765), ccks=12480, wck=1.456, mem=79M142
6.90/3.76 decisions=7243, wrong=3349, backtracks=752, failedAssignments=2783, nogoods=1097, foundSolutions=39, bestBound=849
6.90/3.76
6.90/3.76 o 836
6.90/3.76 num=168, depth=2..322, filters=801664, revisions=(672908,useless=30794), ccks=12800, wck=1.459, mem=79M142
6.90/3.76 decisions=7263, wrong=3357, backtracks=756, failedAssignments=2789, nogoods=1099, foundSolutions=40, bestBound=836
6.90/3.76
6.90/3.77 o 834
6.90/3.77 num=169, depth=4..322, filters=804514, revisions=(675593,useless=31353), ccks=13120, wck=1.464, mem=81M731
6.90/3.77 decisions=7287, wrong=3366, backtracks=758, failedAssignments=2796, nogoods=1103, foundSolutions=41, bestBound=834
6.90/3.77
6.90/3.77 num=170, depth=3..5, filters=807854, revisions=(679053,useless=31920), ccks=13120, wck=1.469, mem=81M731
6.90/3.77 decisions=7314, wrong=3378, backtracks=760, failedAssignments=2807, nogoods=1109, foundSolutions=41, bestBound=834
6.90/3.77
6.90/3.77 o 831
6.90/3.77 num=171, depth=3..322, filters=808806, revisions=(679781,useless=31932), ccks=13440, wck=1.471, mem=81M731
6.90/3.77 decisions=7320, wrong=3379, backtracks=760, failedAssignments=2808, nogoods=1110, foundSolutions=42, bestBound=831
6.90/3.77
6.90/3.78 num=172, depth=3..5, filters=812724, revisions=(683262,useless=32493), ccks=13440, wck=1.477, mem=81M731
6.90/3.78 decisions=7361, wrong=3398, backtracks=767, failedAssignments=2820, nogoods=1112, foundSolutions=42, bestBound=831
6.90/3.78
6.90/3.78 num=173, depth=3..4, filters=815403, revisions=(685260,useless=32518), ccks=13440, wck=1.481, mem=81M731
6.90/3.78 decisions=7388, wrong=3410, backtracks=768, failedAssignments=2831, nogoods=1119, foundSolutions=42, bestBound=831
6.90/3.78
6.90/3.78 o 830
6.90/3.78 num=174, depth=3..322, filters=816362, revisions=(685991,useless=32531), ccks=13760, wck=1.483, mem=81M731
6.90/3.78 decisions=7394, wrong=3411, backtracks=768, failedAssignments=2832, nogoods=1120, foundSolutions=43, bestBound=830
6.90/3.78
6.90/3.79 num=175, depth=2..5, filters=820878, revisions=(690087,useless=33106), ccks=13760, wck=1.49, mem=84M321
6.90/3.79 decisions=7433, wrong=3429, backtracks=773, failedAssignments=2845, nogoods=1124, foundSolutions=43, bestBound=830
6.90/3.79
6.90/3.79 o 816
6.90/3.79 num=176, depth=2..322, filters=822283, revisions=(691188,useless=33124), ccks=14080, wck=1.492, mem=84M321
6.90/3.79 decisions=7445, wrong=3433, backtracks=774, failedAssignments=2848, nogoods=1125, foundSolutions=44, bestBound=816
6.90/3.79
7.02/3.80 num=177, depth=3..6, filters=824940, revisions=(693811,useless=33676), ccks=14080, wck=1.497, mem=84M321
7.02/3.80 decisions=7476, wrong=3446, backtracks=775, failedAssignments=2860, nogoods=1133, foundSolutions=44, bestBound=816
7.02/3.80
7.02/3.80 o 811
7.02/3.80 num=178, depth=3..322, filters=825853, revisions=(694493,useless=33685), ccks=14400, wck=1.499, mem=84M321
7.02/3.80 decisions=7482, wrong=3447, backtracks=775, failedAssignments=2861, nogoods=1134, foundSolutions=45, bestBound=811
7.02/3.80
7.02/3.81 num=179, depth=4..6, filters=829434, revisions=(697803,useless=34265), ccks=14400, wck=1.504, mem=84M321
7.02/3.81 decisions=7516, wrong=3462, backtracks=779, failedAssignments=2873, nogoods=1139, foundSolutions=45, bestBound=811
7.02/3.81
7.02/3.81 o 810
7.02/3.81 num=180, depth=3..322, filters=830352, revisions=(698486,useless=34273), ccks=14720, wck=1.506, mem=84M321
7.02/3.81 decisions=7522, wrong=3463, backtracks=779, failedAssignments=2874, nogoods=1140, foundSolutions=46, bestBound=810
7.02/3.81
7.02/3.81 num=181, depth=3..5, filters=834283, revisions=(702003,useless=34838), ccks=14720, wck=1.512, mem=86M911
7.02/3.81 decisions=7563, wrong=3482, backtracks=786, failedAssignments=2886, nogoods=1142, foundSolutions=46, bestBound=810
7.02/3.81
7.02/3.82 num=182, depth=2..5, filters=837574, revisions=(704725,useless=34887), ccks=14720, wck=1.516, mem=86M911
7.02/3.82 decisions=7594, wrong=3496, backtracks=790, failedAssignments=2897, nogoods=1144, foundSolutions=46, bestBound=810
7.02/3.82
7.02/3.82 num=183, depth=2..5, filters=840688, revisions=(707243,useless=34909), ccks=14720, wck=1.52, mem=86M911
7.02/3.82 decisions=7630, wrong=3513, backtracks=796, failedAssignments=2909, nogoods=1145, foundSolutions=46, bestBound=810
7.02/3.82
7.02/3.83 num=184, depth=0..4, filters=844581, revisions=(710414,useless=34966), ccks=14720, wck=1.525, mem=86M911
7.02/3.83 decisions=7664, wrong=3529, backtracks=799, failedAssignments=2922, nogoods=1151, foundSolutions=46, bestBound=810
7.02/3.83
7.02/3.83 num=185, depth=2..4, filters=847783, revisions=(713072,useless=34983), ccks=14720, wck=1.529, mem=86M911
7.02/3.83 decisions=7703, wrong=3547, backtracks=804, failedAssignments=2936, nogoods=1157, foundSolutions=46, bestBound=810
7.02/3.83
7.02/3.84 num=186, depth=2..5, filters=852337, revisions=(716940,useless=35119), ccks=14720, wck=1.535, mem=89M500
7.02/3.84 decisions=7753, wrong=3570, backtracks=812, failedAssignments=2952, nogoods=1160, foundSolutions=46, bestBound=810
7.02/3.84
7.02/3.84 o 808
7.02/3.84 num=187, depth=2..322, filters=854256, revisions=(718421,useless=35137), ccks=15040, wck=1.539, mem=89M500
7.02/3.84 decisions=7771, wrong=3577, backtracks=814, failedAssignments=2957, nogoods=1162, foundSolutions=47, bestBound=808
7.02/3.84
7.02/3.85 num=188, depth=2..5, filters=860081, revisions=(723587,useless=35749), ccks=15040, wck=1.548, mem=89M500
7.02/3.85 decisions=7819, wrong=3600, backtracks=819, failedAssignments=2976, nogoods=1166, foundSolutions=47, bestBound=808
7.02/3.85
7.02/3.85 o 806
7.02/3.85 num=189, depth=3..322, filters=861360, revisions=(724584,useless=35758), ccks=15360, wck=1.55, mem=89M500
7.02/3.85 decisions=7831, wrong=3604, backtracks=819, failedAssignments=2980, nogoods=1170, foundSolutions=48, bestBound=806
7.02/3.85
7.02/3.86 num=190, depth=3..4, filters=865558, revisions=(728366,useless=36335), ccks=15360, wck=1.557, mem=89M500
7.02/3.86 decisions=7865, wrong=3619, backtracks=822, failedAssignments=2992, nogoods=1175, foundSolutions=48, bestBound=806
7.02/3.86
7.02/3.86 num=191, depth=3..5, filters=868969, revisions=(731162,useless=36403), ccks=15360, wck=1.561, mem=92M90
7.02/3.86 decisions=7895, wrong=3632, backtracks=824, failedAssignments=3003, nogoods=1178, foundSolutions=48, bestBound=806
7.02/3.86
7.02/3.87 num=192, depth=1..4, filters=872751, revisions=(734295,useless=36444), ccks=15360, wck=1.566, mem=92M90
7.02/3.87 decisions=7932, wrong=3649, backtracks=830, failedAssignments=3015, nogoods=1182, foundSolutions=48, bestBound=806
7.02/3.87
7.02/3.87 num=193, depth=1..5, filters=877421, revisions=(738149,useless=36530), ccks=15360, wck=1.572, mem=92M90
7.02/3.87 decisions=7972, wrong=3668, backtracks=838, failedAssignments=3028, nogoods=1184, foundSolutions=48, bestBound=806
7.02/3.87
7.02/3.88 num=194, depth=3..5, filters=880452, revisions=(740641,useless=36542), ccks=15360, wck=1.576, mem=92M90
7.02/3.88 decisions=8012, wrong=3686, backtracks=843, failedAssignments=3042, nogoods=1189, foundSolutions=48, bestBound=806
7.02/3.88
7.02/3.88 num=195, depth=3..4, filters=885890, revisions=(745196,useless=36634), ccks=15360, wck=1.582, mem=92M90
7.02/3.88 decisions=8049, wrong=3703, backtracks=844, failedAssignments=3058, nogoods=1204, foundSolutions=48, bestBound=806
7.02/3.88
7.02/3.89 num=196, depth=2..5, filters=890369, revisions=(748981,useless=36713), ccks=15360, wck=1.587, mem=94M679
7.02/3.89 decisions=8087, wrong=3721, backtracks=847, failedAssignments=3075, nogoods=1208, foundSolutions=48, bestBound=806
7.02/3.89
7.02/3.89 num=197, depth=2..4, filters=895145, revisions=(752929,useless=36750), ccks=15360, wck=1.593, mem=94M679
7.02/3.89 decisions=8140, wrong=3746, backtracks=853, failedAssignments=3094, nogoods=1215, foundSolutions=48, bestBound=806
7.02/3.89
7.23/3.90 num=198, depth=1..5, filters=900039, revisions=(756874,useless=36858), ccks=15360, wck=1.599, mem=94M679
7.23/3.90 decisions=8189, wrong=3769, backtracks=856, failedAssignments=3115, nogoods=1221, foundSolutions=48, bestBound=806
7.23/3.90
7.23/3.91 num=199, depth=1..5, filters=907178, revisions=(762837,useless=36972), ccks=15360, wck=1.608, mem=94M679
7.23/3.91 decisions=8258, wrong=3803, backtracks=870, failedAssignments=3138, nogoods=1222, foundSolutions=48, bestBound=806
7.23/3.91
7.23/3.92 num=200, depth=2..5, filters=913405, revisions=(767901,useless=37090), ccks=15360, wck=1.615, mem=97M269
7.23/3.92 decisions=8317, wrong=3831, backtracks=874, failedAssignments=3163, nogoods=1233, foundSolutions=48, bestBound=806
7.23/3.92
7.23/3.92 num=201, depth=2..5, filters=919507, revisions=(772988,useless=37118), ccks=15360, wck=1.622, mem=97M269
7.23/3.92 decisions=8394, wrong=3868, backtracks=884, failedAssignments=3191, nogoods=1238, foundSolutions=48, bestBound=806
7.23/3.92
7.23/3.93 num=202, depth=1..6, filters=928659, revisions=(780798,useless=37284), ccks=15360, wck=1.632, mem=97M269
7.23/3.93 decisions=8480, wrong=3909, backtracks=897, failedAssignments=3222, nogoods=1247, foundSolutions=48, bestBound=806
7.23/3.93
7.23/3.94 num=203, depth=1..4, filters=937992, revisions=(788339,useless=37398), ccks=15360, wck=1.644, mem=99M859
7.23/3.94 decisions=8575, wrong=3955, backtracks=911, failedAssignments=3256, nogoods=1253, foundSolutions=48, bestBound=806
7.23/3.94
7.23/3.95 num=204, depth=2..5, filters=946246, revisions=(795231,useless=37431), ccks=15360, wck=1.653, mem=99M859
7.23/3.95 decisions=8679, wrong=4006, backtracks=926, failedAssignments=3293, nogoods=1260, foundSolutions=48, bestBound=806
7.23/3.95
7.23/3.97 num=205, depth=2..5, filters=958468, revisions=(805742,useless=37751), ccks=15360, wck=1.667, mem=102M448
7.23/3.97 decisions=8792, wrong=4061, backtracks=941, failedAssignments=3334, nogoods=1270, foundSolutions=48, bestBound=806
7.23/3.97
7.23/3.98 num=206, depth=1..4, filters=968535, revisions=(813443,useless=37851), ccks=15360, wck=1.68, mem=102M448
7.23/3.98 decisions=8906, wrong=4117, backtracks=953, failedAssignments=3379, nogoods=1279, foundSolutions=48, bestBound=806
7.23/3.98
7.23/3.99 num=207, depth=1..5, filters=979115, revisions=(822252,useless=37945), ccks=15360, wck=1.693, mem=105M38
7.23/3.99 decisions=9030, wrong=4178, backtracks=967, failedAssignments=3429, nogoods=1293, foundSolutions=48, bestBound=806
7.23/3.99
7.35/4.01 num=208, depth=1..4, filters=994494, revisions=(835102,useless=38199), ccks=15360, wck=1.71, mem=105M38
7.35/4.01 decisions=9165, wrong=4244, backtracks=979, failedAssignments=3484, nogoods=1315, foundSolutions=48, bestBound=806
7.35/4.01
7.35/4.03 num=209, depth=1..6, filters=1007930, revisions=(846043,useless=38423), ccks=15360, wck=1.727, mem=107M627
7.35/4.03 decisions=9311, wrong=4316, backtracks=996, failedAssignments=3545, nogoods=1317, foundSolutions=48, bestBound=806
7.35/4.03
7.35/4.05 num=210, depth=1..10, filters=1024221, revisions=(858478,useless=38602), ccks=15360, wck=1.753, mem=110M217
7.35/4.05 decisions=9462, wrong=4389, backtracks=1013, failedAssignments=3612, nogoods=1347, foundSolutions=48, bestBound=806
7.35/4.05
7.35/4.08 num=211, depth=1..9, filters=1043598, revisions=(873915,useless=38767), ccks=15360, wck=1.778, mem=112M806
7.35/4.08 decisions=9655, wrong=4484, backtracks=1042, failedAssignments=3686, nogoods=1356, foundSolutions=48, bestBound=806
7.35/4.08
7.35/4.10 num=212, depth=0..6, filters=1065979, revisions=(892980,useless=39076), ccks=15360, wck=1.802, mem=115M396
7.35/4.10 decisions=9888, wrong=4599, backtracks=1080, failedAssignments=3767, nogoods=1368, foundSolutions=48, bestBound=806
7.35/4.10
7.45/4.13 num=213, depth=0..6, filters=1090615, revisions=(913460,useless=39411), ccks=15360, wck=1.83, mem=117M986
7.45/4.13 decisions=10135, wrong=4721, backtracks=1122, failedAssignments=3856, nogoods=1375, foundSolutions=48, bestBound=806
7.45/4.13
7.45/4.15 num=214, depth=2..7, filters=1110305, revisions=(929608,useless=39713), ccks=15360, wck=1.854, mem=120M575
7.45/4.15 decisions=10375, wrong=4839, backtracks=1150, failedAssignments=3954, nogoods=1383, foundSolutions=48, bestBound=806
7.45/4.15
7.45/4.18 num=215, depth=1..4, filters=1136396, revisions=(951607,useless=40056), ccks=15360, wck=1.881, mem=123M165
7.45/4.18 decisions=10681, wrong=4990, backtracks=1194, failedAssignments=4062, nogoods=1398, foundSolutions=48, bestBound=806
7.45/4.18
7.54/4.21 num=216, depth=0..7, filters=1166627, revisions=(977591,useless=40349), ccks=15360, wck=1.913, mem=125M754
7.54/4.21 decisions=11038, wrong=5167, backtracks=1266, failedAssignments=4181, nogoods=1401, foundSolutions=48, bestBound=806
7.54/4.21
7.54/4.25 num=217, depth=0..5, filters=1198644, revisions=(1004718,useless=40687), ccks=15360, wck=1.948, mem=128M344
7.54/4.25 decisions=11414, wrong=5354, backtracks=1325, failedAssignments=4312, nogoods=1406, foundSolutions=48, bestBound=806
7.54/4.25
7.54/4.29 num=218, depth=2..7, filters=1232488, revisions=(1031811,useless=41132), ccks=15360, wck=1.99, mem=130M933
7.54/4.29 decisions=11797, wrong=5544, backtracks=1381, failedAssignments=4456, nogoods=1426, foundSolutions=48, bestBound=806
7.54/4.29
7.68/4.33 o 793
7.68/4.33 num=219, depth=0..322, filters=1271260, revisions=(1064877,useless=41761), ccks=15680, wck=2.033, mem=136M113
7.68/4.33 decisions=12144, wrong=5715, backtracks=1435, failedAssignments=4578, nogoods=1431, foundSolutions=49, bestBound=793
7.68/4.33
7.68/4.35 o 790
7.68/4.35 num=220, depth=1..322, filters=1285407, revisions=(1077026,useless=42505), ccks=16000, wck=2.052, mem=138M702
7.68/4.35 decisions=12270, wrong=5775, backtracks=1452, failedAssignments=4623, nogoods=1436, foundSolutions=50, bestBound=790
7.68/4.35
7.68/4.36 num=221, depth=1..5, filters=1288656, revisions=(1080067,useless=43076), ccks=16000, wck=2.058, mem=138M702
7.68/4.36 decisions=12296, wrong=5786, backtracks=1452, failedAssignments=4634, nogoods=1447, foundSolutions=50, bestBound=790
7.68/4.36
7.68/4.36 num=222, depth=3..5, filters=1291095, revisions=(1082036,useless=43106), ccks=16000, wck=2.061, mem=138M702
7.68/4.36 decisions=12323, wrong=5798, backtracks=1454, failedAssignments=4645, nogoods=1452, foundSolutions=50, bestBound=790
7.68/4.36
7.68/4.37 num=223, depth=2..5, filters=1294479, revisions=(1084782,useless=43126), ccks=16000, wck=2.066, mem=138M702
7.68/4.37 decisions=12362, wrong=5816, backtracks=1461, failedAssignments=4657, nogoods=1456, foundSolutions=50, bestBound=790
7.68/4.37
7.68/4.37 num=224, depth=2..4, filters=1298949, revisions=(1088468,useless=43174), ccks=16000, wck=2.071, mem=141M292
7.68/4.37 decisions=12401, wrong=5834, backtracks=1466, failedAssignments=4670, nogoods=1468, foundSolutions=50, bestBound=790
7.68/4.37
7.68/4.38 o 787
7.68/4.38 num=225, depth=2..322, filters=1301251, revisions=(1090339,useless=43201), ccks=16320, wck=2.075, mem=141M292
7.68/4.38 decisions=12422, wrong=5842, backtracks=1469, failedAssignments=4676, nogoods=1470, foundSolutions=51, bestBound=787
7.68/4.38
7.68/4.38 num=226, depth=3..6, filters=1306128, revisions=(1094859,useless=43798), ccks=16320, wck=2.082, mem=141M292
7.68/4.38 decisions=12464, wrong=5861, backtracks=1476, failedAssignments=4692, nogoods=1474, foundSolutions=51, bestBound=787
7.68/4.38
7.68/4.39 num=227, depth=2..4, filters=1308928, revisions=(1097051,useless=43833), ccks=16320, wck=2.086, mem=141M292
7.68/4.39 decisions=12493, wrong=5874, backtracks=1478, failedAssignments=4703, nogoods=1483, foundSolutions=51, bestBound=787
7.68/4.39
7.68/4.39 num=228, depth=2..4, filters=1312396, revisions=(1099690,useless=43884), ccks=16320, wck=2.091, mem=143M881
7.68/4.39 decisions=12523, wrong=5888, backtracks=1480, failedAssignments=4715, nogoods=1487, foundSolutions=51, bestBound=787
7.68/4.39
7.68/4.40 num=229, depth=3..6, filters=1315582, revisions=(1102244,useless=43917), ccks=16320, wck=2.095, mem=143M881
7.68/4.40 decisions=12557, wrong=5903, backtracks=1486, failedAssignments=4728, nogoods=1491, foundSolutions=51, bestBound=787
7.68/4.40
7.78/4.40 num=230, depth=1..4, filters=1321684, revisions=(1107425,useless=44053), ccks=16320, wck=2.102, mem=143M881
7.78/4.40 decisions=12600, wrong=5923, backtracks=1492, failedAssignments=4742, nogoods=1494, foundSolutions=51, bestBound=787
7.78/4.40
7.78/4.41 num=231, depth=2..4, filters=1327699, revisions=(1112194,useless=44142), ccks=16320, wck=2.108, mem=143M881
7.78/4.41 decisions=12650, wrong=5947, backtracks=1500, failedAssignments=4758, nogoods=1502, foundSolutions=51, bestBound=787
7.78/4.41
7.78/4.42 num=232, depth=2..4, filters=1332717, revisions=(1116118,useless=44222), ccks=16320, wck=2.115, mem=143M881
7.78/4.42 decisions=12694, wrong=5968, backtracks=1505, failedAssignments=4775, nogoods=1507, foundSolutions=51, bestBound=787
7.78/4.42
7.78/4.42 num=233, depth=1..4, filters=1337316, revisions=(1119920,useless=44241), ccks=16320, wck=2.12, mem=146M471
7.78/4.42 decisions=12752, wrong=5996, backtracks=1515, failedAssignments=4794, nogoods=1509, foundSolutions=51, bestBound=787
7.78/4.42
7.78/4.43 num=234, depth=2..4, filters=1345852, revisions=(1127255,useless=44408), ccks=16320, wck=2.129, mem=146M471
7.78/4.43 decisions=12813, wrong=6025, backtracks=1523, failedAssignments=4815, nogoods=1524, foundSolutions=51, bestBound=787
7.78/4.43
7.78/4.44 num=235, depth=2..6, filters=1351337, revisions=(1131848,useless=44481), ccks=16320, wck=2.136, mem=146M471
7.78/4.44 decisions=12874, wrong=6054, backtracks=1532, failedAssignments=4838, nogoods=1534, foundSolutions=51, bestBound=787
7.78/4.44
7.78/4.44 num=236, depth=2..6, filters=1356933, revisions=(1136480,useless=44507), ccks=16320, wck=2.142, mem=146M471
7.78/4.44 decisions=12949, wrong=6090, backtracks=1545, failedAssignments=4863, nogoods=1540, foundSolutions=51, bestBound=787
7.78/4.44
7.78/4.45 num=237, depth=1..4, filters=1365424, revisions=(1143408,useless=44612), ccks=16320, wck=2.152, mem=149M60
7.78/4.45 decisions=13029, wrong=6129, backtracks=1556, failedAssignments=4891, nogoods=1544, foundSolutions=51, bestBound=787
7.78/4.45
7.78/4.46 o 785
7.78/4.46 num=238, depth=3..322, filters=1367463, revisions=(1145022,useless=44633), ccks=16640, wck=2.156, mem=149M60
7.78/4.46 decisions=13048, wrong=6136, backtracks=1558, failedAssignments=4897, nogoods=1546, foundSolutions=52, bestBound=785
7.78/4.46
7.78/4.47 num=239, depth=2..8, filters=1378858, revisions=(1155123,useless=45411), ccks=16640, wck=2.172, mem=151M650
7.78/4.47 decisions=13138, wrong=6180, backtracks=1574, failedAssignments=4931, nogoods=1548, foundSolutions=52, bestBound=785
7.78/4.47
7.78/4.48 num=240, depth=3..4, filters=1382629, revisions=(1158173,useless=45469), ccks=16640, wck=2.176, mem=151M650
7.78/4.48 decisions=13173, wrong=6196, backtracks=1579, failedAssignments=4942, nogoods=1555, foundSolutions=52, bestBound=785
7.78/4.48
7.78/4.48 num=241, depth=1..6, filters=1386866, revisions=(1161510,useless=45525), ccks=16640, wck=2.182, mem=151M650
7.78/4.48 decisions=13210, wrong=6213, backtracks=1586, failedAssignments=4954, nogoods=1559, foundSolutions=52, bestBound=785
7.78/4.48
7.78/4.49 num=242, depth=2..4, filters=1390445, revisions=(1164516,useless=45644), ccks=16640, wck=2.187, mem=151M650
7.78/4.49 decisions=13243, wrong=6228, backtracks=1588, failedAssignments=4967, nogoods=1564, foundSolutions=52, bestBound=785
7.78/4.49
7.78/4.49 num=243, depth=2..5, filters=1394203, revisions=(1167579,useless=45664), ccks=16640, wck=2.191, mem=151M650
7.78/4.49 decisions=13286, wrong=6248, backtracks=1595, failedAssignments=4981, nogoods=1568, foundSolutions=52, bestBound=785
7.78/4.49
7.89/4.50 num=244, depth=2..4, filters=1399115, revisions=(1171722,useless=45728), ccks=16640, wck=2.197, mem=151M650
7.89/4.50 decisions=13334, wrong=6270, backtracks=1601, failedAssignments=4997, nogoods=1574, foundSolutions=52, bestBound=785
7.89/4.50
7.89/4.50 num=245, depth=2..5, filters=1403801, revisions=(1175517,useless=45769), ccks=16640, wck=2.202, mem=152M971
7.89/4.50 decisions=13386, wrong=6294, backtracks=1609, failedAssignments=5014, nogoods=1580, foundSolutions=52, bestBound=785
7.89/4.50
7.89/4.51 num=246, depth=1..5, filters=1412045, revisions=(1182360,useless=45924), ccks=16640, wck=2.212, mem=152M971
7.89/4.51 decisions=13452, wrong=6325, backtracks=1621, failedAssignments=5033, nogoods=1591, foundSolutions=52, bestBound=785
7.89/4.51
7.89/4.53 num=247, depth=3..6, filters=1416361, revisions=(1185762,useless=45990), ccks=16640, wck=2.23, mem=23M555
7.89/4.53 decisions=13501, wrong=6348, backtracks=1626, failedAssignments=5054, nogoods=1597, foundSolutions=52, bestBound=785
7.89/4.53
7.89/4.54 num=248, depth=1..4, filters=1423383, revisions=(1191778,useless=46066), ccks=16640, wck=2.237, mem=23M555
7.89/4.54 decisions=13570, wrong=6381, backtracks=1636, failedAssignments=5077, nogoods=1602, foundSolutions=52, bestBound=785
7.89/4.54
7.89/4.55 num=249, depth=3..8, filters=1429278, revisions=(1196515,useless=46121), ccks=16640, wck=2.245, mem=23M555
7.89/4.55 decisions=13637, wrong=6413, backtracks=1648, failedAssignments=5102, nogoods=1609, foundSolutions=52, bestBound=785
7.89/4.55
7.89/4.55 num=250, depth=2..4, filters=1436942, revisions=(1202942,useless=46193), ccks=16640, wck=2.253, mem=26M154
7.89/4.55 decisions=13724, wrong=6455, backtracks=1662, failedAssignments=5130, nogoods=1614, foundSolutions=52, bestBound=785
7.89/4.55
7.89/4.56 num=251, depth=2..7, filters=1444085, revisions=(1208709,useless=46246), ccks=16640, wck=2.262, mem=26M154
7.89/4.56 decisions=13801, wrong=6492, backtracks=1673, failedAssignments=5161, nogoods=1621, foundSolutions=52, bestBound=785
7.89/4.56
7.89/4.57 num=252, depth=2..4, filters=1453477, revisions=(1216522,useless=46305), ccks=16640, wck=2.272, mem=26M154
7.89/4.57 decisions=13915, wrong=6547, backtracks=1694, failedAssignments=5195, nogoods=1631, foundSolutions=52, bestBound=785
7.89/4.57
7.89/4.58 num=253, depth=2..7, filters=1461986, revisions=(1223321,useless=46382), ccks=16640, wck=2.282, mem=28M753
7.89/4.58 decisions=14012, wrong=6594, backtracks=1711, failedAssignments=5232, nogoods=1634, foundSolutions=52, bestBound=785
7.89/4.58
8.02/4.60 num=254, depth=2..5, filters=1473501, revisions=(1232386,useless=46531), ccks=16640, wck=2.297, mem=28M753
8.02/4.60 decisions=14117, wrong=6645, backtracks=1721, failedAssignments=5273, nogoods=1643, foundSolutions=52, bestBound=785
8.02/4.60
8.02/4.61 num=255, depth=2..7, filters=1484268, revisions=(1241038,useless=46661), ccks=16640, wck=2.311, mem=31M352
8.02/4.61 decisions=14230, wrong=6700, backtracks=1739, failedAssignments=5318, nogoods=1648, foundSolutions=52, bestBound=785
8.02/4.61
8.02/4.63 num=256, depth=1..6, filters=1499169, revisions=(1253285,useless=46899), ccks=16640, wck=2.33, mem=31M352
8.02/4.63 decisions=14367, wrong=6767, backtracks=1759, failedAssignments=5368, nogoods=1663, foundSolutions=52, bestBound=785
8.02/4.63
8.02/4.65 num=257, depth=2..7, filters=1514284, revisions=(1265549,useless=47157), ccks=16640, wck=2.349, mem=33M951
8.02/4.65 decisions=14530, wrong=6847, backtracks=1787, failedAssignments=5423, nogoods=1672, foundSolutions=52, bestBound=785
8.02/4.65
8.02/4.67 num=258, depth=2..6, filters=1528231, revisions=(1276774,useless=47291), ccks=16640, wck=2.367, mem=36M549
8.02/4.67 decisions=14685, wrong=6923, backtracks=1807, failedAssignments=5484, nogoods=1682, foundSolutions=52, bestBound=785
8.02/4.67
8.02/4.69 num=259, depth=1..5, filters=1547085, revisions=(1292636,useless=47508), ccks=16640, wck=2.388, mem=36M549
8.02/4.69 decisions=14883, wrong=7020, backtracks=1839, failedAssignments=5551, nogoods=1699, foundSolutions=52, bestBound=785
8.02/4.69
8.02/4.69 o 778
8.02/4.69 num=260, depth=2..322, filters=1549891, revisions=(1294897,useless=47520), ccks=16960, wck=2.392, mem=39M148
8.02/4.69 decisions=14914, wrong=7033, backtracks=1845, failedAssignments=5559, nogoods=1702, foundSolutions=53, bestBound=778
8.02/4.69
8.13/4.72 num=261, depth=2..7, filters=1572925, revisions=(1315216,useless=48513), ccks=16960, wck=2.417, mem=41M747
8.13/4.72 decisions=15110, wrong=7129, backtracks=1866, failedAssignments=5640, nogoods=1723, foundSolutions=53, bestBound=778
8.13/4.72
8.13/4.72 num=262, depth=2..4, filters=1576402, revisions=(1318065,useless=48578), ccks=16960, wck=2.422, mem=41M747
8.13/4.72 decisions=15143, wrong=7144, backtracks=1870, failedAssignments=5651, nogoods=1727, foundSolutions=53, bestBound=778
8.13/4.72
8.13/4.73 num=263, depth=2..4, filters=1580730, revisions=(1321596,useless=48634), ccks=16960, wck=2.427, mem=41M747
8.13/4.73 decisions=15179, wrong=7161, backtracks=1876, failedAssignments=5663, nogoods=1734, foundSolutions=53, bestBound=778
8.13/4.73
8.13/4.73 o 775
8.13/4.73 num=264, depth=3..322, filters=1582746, revisions=(1323212,useless=48655), ccks=17280, wck=2.43, mem=41M747
8.13/4.73 decisions=15198, wrong=7168, backtracks=1879, failedAssignments=5667, nogoods=1737, foundSolutions=54, bestBound=775
8.13/4.73
8.13/4.74 num=265, depth=2..6, filters=1586554, revisions=(1326829,useless=49237), ccks=17280, wck=2.436, mem=41M747
8.13/4.74 decisions=15237, wrong=7186, backtracks=1885, failedAssignments=5681, nogoods=1739, foundSolutions=54, bestBound=775
8.13/4.74
8.13/4.74 num=266, depth=1..4, filters=1589586, revisions=(1329195,useless=49271), ccks=17280, wck=2.44, mem=44M346
8.13/4.74 decisions=15266, wrong=7199, backtracks=1888, failedAssignments=5692, nogoods=1742, foundSolutions=54, bestBound=775
8.13/4.74
8.13/4.75 num=267, depth=1..4, filters=1594546, revisions=(1333106,useless=49397), ccks=17280, wck=2.446, mem=44M346
8.13/4.75 decisions=15303, wrong=7216, backtracks=1893, failedAssignments=5704, nogoods=1744, foundSolutions=54, bestBound=775
8.13/4.75
8.13/4.75 o 772
8.13/4.75 num=268, depth=2..322, filters=1598533, revisions=(1336380,useless=49420), ccks=17600, wck=2.451, mem=44M346
8.13/4.75 decisions=15350, wrong=7237, backtracks=1904, failedAssignments=5716, nogoods=1748, foundSolutions=55, bestBound=772
8.13/4.75
8.13/4.76 num=269, depth=3..6, filters=1601999, revisions=(1339753,useless=50029), ccks=17600, wck=2.457, mem=44M346
8.13/4.76 decisions=15385, wrong=7253, backtracks=1908, failedAssignments=5730, nogoods=1754, foundSolutions=55, bestBound=772
8.13/4.76
8.13/4.76 num=270, depth=2..4, filters=1605016, revisions=(1342201,useless=50070), ccks=17600, wck=2.461, mem=44M346
8.13/4.76 decisions=15415, wrong=7267, backtracks=1913, failedAssignments=5741, nogoods=1762, foundSolutions=55, bestBound=772
8.13/4.76
8.13/4.77 num=271, depth=2..5, filters=1608966, revisions=(1345613,useless=50135), ccks=17600, wck=2.465, mem=44M346
8.13/4.77 decisions=15448, wrong=7282, backtracks=1917, failedAssignments=5753, nogoods=1767, foundSolutions=55, bestBound=772
8.13/4.77
8.13/4.77 num=272, depth=1..4, filters=1613254, revisions=(1349125,useless=50171), ccks=17600, wck=2.47, mem=46M945
8.13/4.77 decisions=15492, wrong=7303, backtracks=1926, failedAssignments=5766, nogoods=1771, foundSolutions=55, bestBound=772
8.13/4.77
8.13/4.78 num=273, depth=2..5, filters=1617044, revisions=(1352239,useless=50199), ccks=17600, wck=2.475, mem=46M945
8.13/4.78 decisions=15535, wrong=7323, backtracks=1933, failedAssignments=5780, nogoods=1775, foundSolutions=55, bestBound=772
8.13/4.78
8.13/4.78 num=274, depth=2..4, filters=1621908, revisions=(1356306,useless=50262), ccks=17600, wck=2.48, mem=46M945
8.13/4.78 decisions=15580, wrong=7344, backtracks=1938, failedAssignments=5796, nogoods=1780, foundSolutions=55, bestBound=772
8.13/4.78
8.13/4.79 num=275, depth=3..7, filters=1625795, revisions=(1359388,useless=50299), ccks=17600, wck=2.486, mem=46M945
8.13/4.79 decisions=15624, wrong=7364, backtracks=1946, failedAssignments=5813, nogoods=1785, foundSolutions=55, bestBound=772
8.13/4.79
8.13/4.79 num=276, depth=2..4, filters=1630757, revisions=(1363524,useless=50363), ccks=17600, wck=2.491, mem=46M945
8.13/4.79 decisions=15675, wrong=7388, backtracks=1951, failedAssignments=5832, nogoods=1789, foundSolutions=55, bestBound=772
8.13/4.79
8.23/4.80 num=277, depth=3..5, filters=1636176, revisions=(1367955,useless=50429), ccks=17600, wck=2.498, mem=49M543
8.23/4.80 decisions=15734, wrong=7416, backtracks=1960, failedAssignments=5853, nogoods=1797, foundSolutions=55, bestBound=772
8.23/4.80
8.23/4.81 num=278, depth=2..4, filters=1642434, revisions=(1373131,useless=50526), ccks=17600, wck=2.505, mem=49M543
8.23/4.81 decisions=15793, wrong=7444, backtracks=1965, failedAssignments=5876, nogoods=1802, foundSolutions=55, bestBound=772
8.23/4.81
8.23/4.81 num=279, depth=2..8, filters=1648329, revisions=(1377854,useless=50584), ccks=17600, wck=2.512, mem=49M543
8.23/4.81 decisions=15860, wrong=7476, backtracks=1979, failedAssignments=5901, nogoods=1806, foundSolutions=55, bestBound=772
8.23/4.81
8.23/4.83 num=280, depth=1..4, filters=1657372, revisions=(1385698,useless=50808), ccks=17600, wck=2.525, mem=52M142
8.23/4.83 decisions=15932, wrong=7511, backtracks=1987, failedAssignments=5929, nogoods=1813, foundSolutions=55, bestBound=772
8.23/4.83
8.23/4.84 num=281, depth=1..4, filters=1666426, revisions=(1393363,useless=50869), ccks=17600, wck=2.537, mem=52M142
8.23/4.84 decisions=16037, wrong=7562, backtracks=2007, failedAssignments=5960, nogoods=1821, foundSolutions=55, bestBound=772
8.23/4.84
8.23/4.85 num=282, depth=2..6, filters=1676218, revisions=(1401199,useless=51042), ccks=17600, wck=2.551, mem=52M142
8.23/4.85 decisions=16129, wrong=7607, backtracks=2020, failedAssignments=5994, nogoods=1834, foundSolutions=55, bestBound=772
8.23/4.85
8.23/4.87 num=283, depth=1..5, filters=1685968, revisions=(1409226,useless=51156), ccks=17600, wck=2.564, mem=54M741
8.23/4.87 decisions=16236, wrong=7659, backtracks=2042, failedAssignments=6031, nogoods=1841, foundSolutions=55, bestBound=772
8.23/4.87
8.23/4.88 num=284, depth=1..4, filters=1699858, revisions=(1420530,useless=51385), ccks=17600, wck=2.583, mem=54M741
8.23/4.88 decisions=16356, wrong=7718, backtracks=2060, failedAssignments=6072, nogoods=1854, foundSolutions=55, bestBound=772
8.23/4.88
8.23/4.89 o 770
8.23/4.89 num=285, depth=2..322, filters=1703211, revisions=(1423296,useless=51406), ccks=17920, wck=2.588, mem=54M741
8.23/4.89 decisions=16395, wrong=7735, backtracks=2065, failedAssignments=6086, nogoods=1858, foundSolutions=56, bestBound=770
8.23/4.89
8.40/4.90 o 764
8.40/4.90 num=286, depth=2..322, filters=1711007, revisions=(1430409,useless=52053), ccks=18240, wck=2.601, mem=57M340
8.40/4.90 decisions=16462, wrong=7766, backtracks=2075, failedAssignments=6109, nogoods=1867, foundSolutions=57, bestBound=764
8.40/4.90
8.40/4.91 num=287, depth=2..4, filters=1713348, revisions=(1432977,useless=52612), ccks=18240, wck=2.606, mem=57M340
8.40/4.91 decisions=16487, wrong=7777, backtracks=2075, failedAssignments=6120, nogoods=1878, foundSolutions=57, bestBound=764
8.40/4.91
8.40/4.91 num=288, depth=2..4, filters=1716480, revisions=(1435511,useless=52632), ccks=18240, wck=2.61, mem=57M340
8.40/4.91 decisions=16522, wrong=7793, backtracks=2080, failedAssignments=6131, nogoods=1882, foundSolutions=57, bestBound=764
8.40/4.91
8.40/4.92 num=289, depth=2..3, filters=1721903, revisions=(1440110,useless=52768), ccks=18240, wck=2.618, mem=57M340
8.40/4.92 decisions=16556, wrong=7809, backtracks=2084, failedAssignments=6143, nogoods=1892, foundSolutions=57, bestBound=764
8.40/4.92
8.40/4.93 num=290, depth=2..5, filters=1725509, revisions=(1443098,useless=52844), ccks=18240, wck=2.624, mem=59M939
8.40/4.93 decisions=16592, wrong=7826, backtracks=2091, failedAssignments=6156, nogoods=1897, foundSolutions=57, bestBound=764
8.40/4.93
8.40/4.93 num=291, depth=1..4, filters=1730620, revisions=(1447335,useless=52931), ccks=18240, wck=2.631, mem=59M939
8.40/4.93 decisions=16637, wrong=7847, backtracks=2098, failedAssignments=6170, nogoods=1904, foundSolutions=57, bestBound=764
8.40/4.93
8.40/4.94 num=292, depth=1..4, filters=1734951, revisions=(1450734,useless=52978), ccks=18240, wck=2.636, mem=59M939
8.40/4.94 decisions=16679, wrong=7867, backtracks=2103, failedAssignments=6186, nogoods=1911, foundSolutions=57, bestBound=764
8.40/4.94
8.40/4.94 num=293, depth=1..7, filters=1739878, revisions=(1454670,useless=53053), ccks=18240, wck=2.643, mem=59M939
8.40/4.94 decisions=16726, wrong=7888, backtracks=2108, failedAssignments=6203, nogoods=1921, foundSolutions=57, bestBound=764
8.40/4.94
8.40/4.95 num=294, depth=2..5, filters=1744422, revisions=(1458283,useless=53084), ccks=18240, wck=2.649, mem=62M538
8.40/4.95 decisions=16774, wrong=7911, backtracks=2116, failedAssignments=6222, nogoods=1927, foundSolutions=57, bestBound=764
8.40/4.95
8.40/4.95 o 762
8.40/4.95 num=295, depth=3..322, filters=1746630, revisions=(1460046,useless=53108), ccks=18560, wck=2.652, mem=62M538
8.40/4.95 decisions=16794, wrong=7918, backtracks=2117, failedAssignments=6228, nogoods=1932, foundSolutions=58, bestBound=762
8.40/4.95
8.40/4.96 o 761
8.40/4.96 num=296, depth=3..322, filters=1748288, revisions=(1461908,useless=53656), ccks=18880, wck=2.656, mem=62M538
8.40/4.96 decisions=16805, wrong=7921, backtracks=2117, failedAssignments=6231, nogoods=1935, foundSolutions=59, bestBound=761
8.40/4.96
8.40/4.96 o 760
8.40/4.96 num=297, depth=4..322, filters=1750444, revisions=(1464090,useless=54206), ccks=19200, wck=2.66, mem=62M538
8.40/4.96 decisions=16823, wrong=7927, backtracks=2119, failedAssignments=6235, nogoods=1937, foundSolutions=60, bestBound=760
8.40/4.96
8.40/4.97 num=298, depth=3..5, filters=1754469, revisions=(1467865,useless=54771), ccks=19200, wck=2.666, mem=62M538
8.40/4.97 decisions=16858, wrong=7943, backtracks=2125, failedAssignments=6246, nogoods=1943, foundSolutions=60, bestBound=760
8.40/4.97
8.40/4.97 num=299, depth=3..6, filters=1757597, revisions=(1470401,useless=54800), ccks=19200, wck=2.67, mem=62M538
8.40/4.97 decisions=16889, wrong=7957, backtracks=2131, failedAssignments=6257, nogoods=1946, foundSolutions=60, bestBound=760
8.40/4.97
8.40/4.98 num=300, depth=2..4, filters=1762164, revisions=(1474140,useless=54896), ccks=19200, wck=2.676, mem=65M136
8.40/4.98 decisions=16919, wrong=7970, backtracks=2132, failedAssignments=6269, nogoods=1956, foundSolutions=60, bestBound=760
8.40/4.98
8.40/4.98 num=301, depth=1..7, filters=1765490, revisions=(1476773,useless=54954), ccks=19200, wck=2.68, mem=65M136
8.40/4.98 decisions=16949, wrong=7983, backtracks=2132, failedAssignments=6282, nogoods=1969, foundSolutions=60, bestBound=760
8.40/4.98
8.40/4.99 num=302, depth=1..6, filters=1770296, revisions=(1480541,useless=55016), ccks=19200, wck=2.687, mem=65M136
8.40/4.99 decisions=16987, wrong=8000, backtracks=2135, failedAssignments=6296, nogoods=1982, foundSolutions=60, bestBound=760
8.40/4.99
8.40/5.00 num=303, depth=0..4, filters=1776107, revisions=(1485296,useless=55085), ccks=19200, wck=2.694, mem=65M136
8.40/5.00 decisions=17039, wrong=8025, backtracks=2144, failedAssignments=6312, nogoods=1987, foundSolutions=60, bestBound=760
8.40/5.00
8.40/5.00 num=304, depth=2..4, filters=1780397, revisions=(1488803,useless=55116), ccks=19200, wck=2.699, mem=67M735
8.40/5.00 decisions=17090, wrong=8049, backtracks=2151, failedAssignments=6329, nogoods=1993, foundSolutions=60, bestBound=760
8.40/5.00
8.57/5.01 num=305, depth=2..5, filters=1784733, revisions=(1492246,useless=55174), ccks=19200, wck=2.706, mem=67M735
8.57/5.01 decisions=17137, wrong=8071, backtracks=2154, failedAssignments=6348, nogoods=1996, foundSolutions=60, bestBound=760
8.57/5.01
8.57/5.02 num=306, depth=0..6, filters=1791833, revisions=(1498053,useless=55249), ccks=19200, wck=2.715, mem=67M735
8.57/5.02 decisions=17204, wrong=8102, backtracks=2168, failedAssignments=6369, nogoods=2000, foundSolutions=60, bestBound=760
8.57/5.02
8.57/5.02 num=307, depth=3..7, filters=1797218, revisions=(1502581,useless=55335), ccks=19200, wck=2.722, mem=70M334
8.57/5.02 decisions=17257, wrong=8127, backtracks=2172, failedAssignments=6392, nogoods=2010, foundSolutions=60, bestBound=760
8.57/5.02
8.57/5.03 num=308, depth=2..6, filters=1804413, revisions=(1508487,useless=55420), ccks=19200, wck=2.731, mem=70M334
8.57/5.03 decisions=17330, wrong=8162, backtracks=2187, failedAssignments=6417, nogoods=2015, foundSolutions=60, bestBound=760
8.57/5.03
8.57/5.04 num=309, depth=2..5, filters=1810937, revisions=(1513888,useless=55528), ccks=19200, wck=2.74, mem=70M334
8.57/5.04 decisions=17396, wrong=8194, backtracks=2192, failedAssignments=6445, nogoods=2017, foundSolutions=60, bestBound=760
8.57/5.04
8.57/5.05 num=310, depth=2..6, filters=1818093, revisions=(1519472,useless=55617), ccks=19200, wck=2.749, mem=72M933
8.57/5.05 decisions=17476, wrong=8233, backtracks=2205, failedAssignments=6476, nogoods=2026, foundSolutions=60, bestBound=760
8.57/5.05
8.57/5.06 num=311, depth=1..6, filters=1829078, revisions=(1528488,useless=55796), ccks=19200, wck=2.762, mem=72M933
8.57/5.06 decisions=17572, wrong=8279, backtracks=2219, failedAssignments=6510, nogoods=2032, foundSolutions=60, bestBound=760
8.57/5.06
8.57/5.08 num=312, depth=1..5, filters=1840404, revisions=(1537606,useless=55927), ccks=19200, wck=2.776, mem=75M532
8.57/5.08 decisions=17682, wrong=8333, backtracks=2241, failedAssignments=6547, nogoods=2039, foundSolutions=60, bestBound=760
8.57/5.08
8.57/5.09 num=313, depth=0..5, filters=1853307, revisions=(1548226,useless=56116), ccks=19200, wck=2.791, mem=75M532
8.57/5.09 decisions=17796, wrong=8389, backtracks=2259, failedAssignments=6588, nogoods=2045, foundSolutions=60, bestBound=760
8.57/5.09
8.57/5.10 num=314, depth=1..4, filters=1863862, revisions=(1557211,useless=56173), ccks=19200, wck=2.802, mem=78M130
8.57/5.10 decisions=17932, wrong=8456, backtracks=2282, failedAssignments=6633, nogoods=2053, foundSolutions=60, bestBound=760
8.57/5.10
8.68/5.12 num=315, depth=2..4, filters=1876599, revisions=(1567522,useless=56354), ccks=19200, wck=2.817, mem=78M130
8.68/5.12 decisions=18067, wrong=8522, backtracks=2298, failedAssignments=6683, nogoods=2058, foundSolutions=60, bestBound=760
8.68/5.12
8.68/5.13 num=316, depth=1..6, filters=1889727, revisions=(1577936,useless=56486), ccks=19200, wck=2.833, mem=80M729
8.68/5.13 decisions=18212, wrong=8593, backtracks=2319, failedAssignments=6738, nogoods=2065, foundSolutions=60, bestBound=760
8.68/5.13
8.68/5.15 num=317, depth=2..5, filters=1904894, revisions=(1590039,useless=56722), ccks=19200, wck=2.853, mem=83M328
8.68/5.15 decisions=18362, wrong=8666, backtracks=2333, failedAssignments=6799, nogoods=2074, foundSolutions=60, bestBound=760
8.68/5.15
8.68/5.18 num=318, depth=2..6, filters=1923732, revisions=(1605569,useless=56945), ccks=19200, wck=2.874, mem=83M328
8.68/5.18 decisions=18558, wrong=8763, backtracks=2369, failedAssignments=6866, nogoods=2093, foundSolutions=60, bestBound=760
8.68/5.18
8.68/5.18 o 759
8.68/5.18 num=319, depth=2..322, filters=1928185, revisions=(1609393,useless=57056), ccks=19520, wck=2.88, mem=85M929
8.68/5.18 decisions=18600, wrong=8781, backtracks=2372, failedAssignments=6881, nogoods=2105, foundSolutions=61, bestBound=759
8.68/5.18
8.68/5.19 o 758
8.68/5.19 num=320, depth=2..322, filters=1931111, revisions=(1612264,useless=57631), ccks=19840, wck=2.886, mem=85M929
8.68/5.19 decisions=18625, wrong=8791, backtracks=2374, failedAssignments=6890, nogoods=2109, foundSolutions=62, bestBound=758
8.68/5.19
8.68/5.19 num=321, depth=3..6, filters=1933469, revisions=(1614828,useless=58184), ccks=19840, wck=2.889, mem=85M929
8.68/5.19 decisions=18652, wrong=8802, backtracks=2374, failedAssignments=6901, nogoods=2120, foundSolutions=62, bestBound=758
8.68/5.19
8.68/5.19 num=322, depth=3..6, filters=1936109, revisions=(1616901,useless=58213), ccks=19840, wck=2.893, mem=85M929
8.68/5.19 decisions=18681, wrong=8815, backtracks=2379, failedAssignments=6912, nogoods=2123, foundSolutions=62, bestBound=758
8.68/5.19
8.77/5.20 num=323, depth=2..6, filters=1939511, revisions=(1619745,useless=58264), ccks=19840, wck=2.897, mem=85M929
8.77/5.20 decisions=18712, wrong=8829, backtracks=2383, failedAssignments=6924, nogoods=2129, foundSolutions=62, bestBound=758
8.77/5.20
8.77/5.20 num=324, depth=1..6, filters=1943552, revisions=(1623007,useless=58306), ccks=19840, wck=2.902, mem=85M929
8.77/5.20 decisions=18754, wrong=8849, backtracks=2394, failedAssignments=6937, nogoods=2133, foundSolutions=62, bestBound=758
8.77/5.20
8.77/5.21 num=325, depth=3..4, filters=1947305, revisions=(1626037,useless=58364), ccks=19840, wck=2.907, mem=88M528
8.77/5.21 decisions=18787, wrong=8864, backtracks=2395, failedAssignments=6951, nogoods=2143, foundSolutions=62, bestBound=758
8.77/5.21
8.77/5.22 num=326, depth=0..4, filters=1953435, revisions=(1631001,useless=58463), ccks=19840, wck=2.915, mem=88M528
8.77/5.22 decisions=18840, wrong=8889, backtracks=2404, failedAssignments=6967, nogoods=2153, foundSolutions=62, bestBound=758
8.77/5.22
8.77/5.22 num=327, depth=2..5, filters=1959967, revisions=(1636530,useless=58634), ccks=19840, wck=2.923, mem=88M528
8.77/5.22 decisions=18890, wrong=8912, backtracks=2412, failedAssignments=6984, nogoods=2164, foundSolutions=62, bestBound=758
8.77/5.22
8.77/5.23 num=328, depth=2..5, filters=1966876, revisions=(1642223,useless=58733), ccks=19840, wck=2.932, mem=91M127
8.77/5.23 decisions=18949, wrong=8940, backtracks=2422, failedAssignments=7003, nogoods=2166, foundSolutions=62, bestBound=758
8.77/5.23
8.77/5.24 num=329, depth=1..5, filters=1971599, revisions=(1646165,useless=58772), ccks=19840, wck=2.938, mem=91M127
8.77/5.24 decisions=19003, wrong=8966, backtracks=2429, failedAssignments=7024, nogoods=2169, foundSolutions=62, bestBound=758
8.77/5.24
8.77/5.25 num=330, depth=2..5, filters=1979534, revisions=(1652718,useless=58985), ccks=19840, wck=2.947, mem=91M127
8.77/5.25 decisions=19063, wrong=8994, backtracks=2435, failedAssignments=7047, nogoods=2188, foundSolutions=62, bestBound=758
8.77/5.25
8.77/5.26 num=331, depth=1..6, filters=1988815, revisions=(1660362,useless=59132), ccks=19840, wck=2.959, mem=93M726
8.77/5.26 decisions=19144, wrong=9033, backtracks=2452, failedAssignments=7072, nogoods=2193, foundSolutions=62, bestBound=758
8.77/5.26
8.77/5.27 num=332, depth=1..4, filters=1996061, revisions=(1666377,useless=59221), ccks=19840, wck=2.968, mem=93M726
8.77/5.27 decisions=19220, wrong=9070, backtracks=2462, failedAssignments=7100, nogoods=2199, foundSolutions=62, bestBound=758
8.77/5.27
8.77/5.28 num=333, depth=1..4, filters=2003850, revisions=(1672878,useless=59288), ccks=19840, wck=2.977, mem=93M726
8.77/5.28 decisions=19307, wrong=9112, backtracks=2474, failedAssignments=7131, nogoods=2203, foundSolutions=62, bestBound=758
8.77/5.28
8.77/5.29 num=334, depth=2..6, filters=2014186, revisions=(1681152,useless=59466), ccks=19840, wck=2.989, mem=96M324
8.77/5.29 decisions=19405, wrong=9160, backtracks=2495, failedAssignments=7165, nogoods=2209, foundSolutions=62, bestBound=758
8.77/5.29
8.88/5.30 num=335, depth=1..5, filters=2022733, revisions=(1688220,useless=59529), ccks=19840, wck=2.999, mem=96M324
8.88/5.30 decisions=19503, wrong=9208, backtracks=2508, failedAssignments=7202, nogoods=2211, foundSolutions=62, bestBound=758
8.88/5.30
8.88/5.31 num=336, depth=2..5, filters=2033422, revisions=(1696995,useless=59674), ccks=19840, wck=3.012, mem=96M324
8.88/5.31 decisions=19620, wrong=9265, backtracks=2525, failedAssignments=7243, nogoods=2222, foundSolutions=62, bestBound=758
8.88/5.31
8.88/5.33 num=337, depth=1..4, filters=2044484, revisions=(1706464,useless=59864), ccks=19840, wck=3.024, mem=98M923
8.88/5.33 decisions=19728, wrong=9318, backtracks=2533, failedAssignments=7288, nogoods=2225, foundSolutions=62, bestBound=758
8.88/5.33
8.88/5.33 o 757
8.88/5.34 num=338, depth=2..322, filters=2052213, revisions=(1713093,useless=59999), ccks=20160, wck=3.034, mem=98M923
8.88/5.34 decisions=19814, wrong=9358, backtracks=2540, failedAssignments=7322, nogoods=2242, foundSolutions=63, bestBound=757
8.88/5.34
8.88/5.34 o 749
8.88/5.34 num=339, depth=3..322, filters=2054695, revisions=(1715565,useless=60556), ccks=20480, wck=3.038, mem=101M522
8.88/5.34 decisions=19831, wrong=9364, backtracks=2542, failedAssignments=7326, nogoods=2244, foundSolutions=64, bestBound=749
8.88/5.34
8.88/5.34 o 748
8.88/5.34 num=340, depth=5..322, filters=2055972, revisions=(1717031,useless=61100), ccks=20800, wck=3.042, mem=101M522
8.88/5.34 decisions=19839, wrong=9365, backtracks=2542, failedAssignments=7327, nogoods=2245, foundSolutions=65, bestBound=748
8.88/5.34
8.88/5.35 o 744
8.88/5.35 num=341, depth=3..322, filters=2057390, revisions=(1718597,useless=61648), ccks=21120, wck=3.045, mem=101M522
8.88/5.35 decisions=19848, wrong=9367, backtracks=2543, failedAssignments=7328, nogoods=2246, foundSolutions=66, bestBound=744
8.88/5.35
8.88/5.35 o 743
8.88/5.35 num=342, depth=5..322, filters=2058673, revisions=(1720062,useless=62191), ccks=21440, wck=3.048, mem=101M522
8.88/5.35 decisions=19856, wrong=9368, backtracks=2543, failedAssignments=7329, nogoods=2247, foundSolutions=67, bestBound=743
8.88/5.35
8.88/5.35 o 742
8.88/5.35 num=343, depth=3..322, filters=2061171, revisions=(1722529,useless=62747), ccks=21760, wck=3.053, mem=101M522
8.88/5.35 decisions=19873, wrong=9374, backtracks=2545, failedAssignments=7333, nogoods=2249, foundSolutions=68, bestBound=742
8.88/5.35
8.88/5.36 num=344, depth=2..6, filters=2064793, revisions=(1725870,useless=63331), ccks=21760, wck=3.058, mem=101M522
8.88/5.36 decisions=19906, wrong=9389, backtracks=2550, failedAssignments=7344, nogoods=2251, foundSolutions=68, bestBound=742
8.88/5.36
8.88/5.36 num=345, depth=2..4, filters=2068514, revisions=(1728761,useless=63373), ccks=21760, wck=3.064, mem=104M121
8.88/5.36 decisions=19938, wrong=9403, backtracks=2554, failedAssignments=7355, nogoods=2257, foundSolutions=68, bestBound=742
8.88/5.36
8.88/5.37 num=346, depth=2..5, filters=2072351, revisions=(1731834,useless=63425), ccks=21760, wck=3.069, mem=104M121
8.88/5.37 decisions=19971, wrong=9418, backtracks=2557, failedAssignments=7367, nogoods=2260, foundSolutions=68, bestBound=742
8.88/5.37
8.88/5.38 num=347, depth=2..6, filters=2076460, revisions=(1735228,useless=63493), ccks=21760, wck=3.074, mem=104M121
8.88/5.38 decisions=20013, wrong=9438, backtracks=2566, failedAssignments=7380, nogoods=2262, foundSolutions=68, bestBound=742
8.88/5.38
8.88/5.38 num=348, depth=1..4, filters=2080330, revisions=(1738407,useless=63540), ccks=21760, wck=3.079, mem=104M121
8.88/5.38 decisions=20050, wrong=9456, backtracks=2573, failedAssignments=7394, nogoods=2266, foundSolutions=68, bestBound=742
8.88/5.38
8.88/5.38 num=349, depth=3..6, filters=2083840, revisions=(1741298,useless=63581), ccks=21760, wck=3.083, mem=104M121
8.88/5.38 decisions=20088, wrong=9473, backtracks=2576, failedAssignments=7410, nogoods=2275, foundSolutions=68, bestBound=742
8.88/5.38
8.88/5.39 num=350, depth=2..5, filters=2088276, revisions=(1744894,useless=63613), ccks=21760, wck=3.089, mem=106M720
8.88/5.39 decisions=20137, wrong=9496, backtracks=2583, failedAssignments=7427, nogoods=2281, foundSolutions=68, bestBound=742
8.88/5.39
9.00/5.40 num=351, depth=1..4, filters=2093172, revisions=(1748745,useless=63672), ccks=21760, wck=3.095, mem=106M720
9.00/5.40 decisions=20184, wrong=9518, backtracks=2586, failedAssignments=7446, nogoods=2286, foundSolutions=68, bestBound=742
9.00/5.40
9.00/5.40 num=352, depth=1..5, filters=2098661, revisions=(1753242,useless=63714), ccks=21760, wck=3.102, mem=106M720
9.00/5.40 decisions=20244, wrong=9547, backtracks=2595, failedAssignments=7467, nogoods=2290, foundSolutions=68, bestBound=742
9.00/5.40
9.00/5.41 o 738
9.00/5.41 num=353, depth=3..322, filters=2100788, revisions=(1754897,useless=63736), ccks=22080, wck=3.106, mem=106M720
9.00/5.41 decisions=20265, wrong=9555, backtracks=2597, failedAssignments=7473, nogoods=2292, foundSolutions=69, bestBound=738
9.00/5.41
9.00/5.42 num=354, depth=2..4, filters=2108693, revisions=(1761772,useless=64344), ccks=22080, wck=3.116, mem=109M319
9.00/5.42 decisions=20330, wrong=9586, backtracks=2603, failedAssignments=7498, nogoods=2300, foundSolutions=69, bestBound=738
9.00/5.42
9.00/5.42 o 737
9.00/5.42 num=355, depth=3..322, filters=2110079, revisions=(1762837,useless=64354), ccks=22400, wck=3.119, mem=109M319
9.00/5.42 decisions=20343, wrong=9590, backtracks=2604, failedAssignments=7501, nogoods=2301, foundSolutions=70, bestBound=737
9.00/5.42
9.00/5.43 num=356, depth=2..4, filters=2114375, revisions=(1766793,useless=64935), ccks=22400, wck=3.125, mem=109M319
9.00/5.43 decisions=20377, wrong=9606, backtracks=2609, failedAssignments=7513, nogoods=2305, foundSolutions=70, bestBound=737
9.00/5.43
9.00/5.43 num=357, depth=2..4, filters=2118243, revisions=(1769884,useless=64978), ccks=22400, wck=3.13, mem=109M319
9.00/5.43 decisions=20415, wrong=9623, backtracks=2615, failedAssignments=7524, nogoods=2309, foundSolutions=70, bestBound=737
9.00/5.43
9.00/5.44 num=358, depth=2..4, filters=2122363, revisions=(1773386,useless=65029), ccks=22400, wck=3.135, mem=109M319
9.00/5.44 decisions=20452, wrong=9640, backtracks=2621, failedAssignments=7536, nogoods=2314, foundSolutions=70, bestBound=737
9.00/5.44
9.00/5.44 num=359, depth=1..3, filters=2126660, revisions=(1776904,useless=65127), ccks=22400, wck=3.14, mem=109M319
9.00/5.44 decisions=20482, wrong=9654, backtracks=2622, failedAssignments=7549, nogoods=2320, foundSolutions=70, bestBound=737
9.00/5.44
9.00/5.45 num=360, depth=1..4, filters=2130398, revisions=(1779932,useless=65186), ccks=22400, wck=3.145, mem=111M917
9.00/5.45 decisions=20520, wrong=9672, backtracks=2628, failedAssignments=7563, nogoods=2325, foundSolutions=70, bestBound=737
9.00/5.45
9.00/5.45 num=361, depth=2..7, filters=2134957, revisions=(1783728,useless=65243), ccks=22400, wck=3.15, mem=111M917
9.00/5.45 decisions=20558, wrong=9690, backtracks=2633, failedAssignments=7579, nogoods=2333, foundSolutions=70, bestBound=737
9.00/5.45
9.00/5.46 num=362, depth=0..6, filters=2139802, revisions=(1787802,useless=65330), ccks=22400, wck=3.156, mem=111M917
9.00/5.46 decisions=20607, wrong=9713, backtracks=2643, failedAssignments=7596, nogoods=2337, foundSolutions=70, bestBound=737
9.00/5.46
9.00/5.46 num=363, depth=3..6, filters=2145324, revisions=(1792383,useless=65445), ccks=22400, wck=3.163, mem=111M917
9.00/5.46 decisions=20654, wrong=9735, backtracks=2648, failedAssignments=7615, nogoods=2348, foundSolutions=70, bestBound=737
9.00/5.46
9.00/5.47 num=364, depth=2..6, filters=2150932, revisions=(1796970,useless=65500), ccks=22400, wck=3.17, mem=114M516
9.00/5.47 decisions=20712, wrong=9763, backtracks=2658, failedAssignments=7636, nogoods=2349, foundSolutions=70, bestBound=737
9.00/5.47
9.00/5.48 num=365, depth=1..5, filters=2157215, revisions=(1802222,useless=65587), ccks=22400, wck=3.177, mem=114M516
9.00/5.48 decisions=20776, wrong=9794, backtracks=2667, failedAssignments=7659, nogoods=2355, foundSolutions=70, bestBound=737
9.00/5.48
9.00/5.49 num=366, depth=1..4, filters=2165816, revisions=(1809486,useless=65808), ccks=22400, wck=3.187, mem=114M516
9.00/5.49 decisions=20838, wrong=9823, backtracks=2671, failedAssignments=7684, nogoods=2361, foundSolutions=70, bestBound=737
9.00/5.49
9.10/5.50 num=367, depth=2..5, filters=2172676, revisions=(1815178,useless=65914), ccks=22400, wck=3.195, mem=117M115
9.10/5.50 decisions=20909, wrong=9857, backtracks=2679, failedAssignments=7712, nogoods=2367, foundSolutions=70, bestBound=737
9.10/5.50
9.10/5.51 num=368, depth=2..4, filters=2181197, revisions=(1822086,useless=66016), ccks=22400, wck=3.206, mem=117M115
9.10/5.51 decisions=20993, wrong=9897, backtracks=2688, failedAssignments=7743, nogoods=2378, foundSolutions=70, bestBound=737
9.10/5.51
9.10/5.52 num=369, depth=2..5, filters=2191862, revisions=(1830783,useless=66104), ccks=22400, wck=3.219, mem=117M115
9.10/5.52 decisions=21091, wrong=9944, backtracks=2703, failedAssignments=7777, nogoods=2390, foundSolutions=70, bestBound=737
9.10/5.52
9.10/5.53 num=370, depth=0..7, filters=2199863, revisions=(1837302,useless=66206), ccks=22400, wck=3.23, mem=119M714
9.10/5.53 decisions=21183, wrong=9988, backtracks=2712, failedAssignments=7814, nogoods=2400, foundSolutions=70, bestBound=737
9.10/5.53
9.10/5.54 num=371, depth=3..7, filters=2208627, revisions=(1844468,useless=66291), ccks=22400, wck=3.241, mem=119M714
9.10/5.54 decisions=21285, wrong=10037, backtracks=2726, failedAssignments=7855, nogoods=2411, foundSolutions=70, bestBound=737
9.10/5.54
9.10/5.56 num=372, depth=1..4, filters=2222496, revisions=(1856269,useless=66513), ccks=22400, wck=3.257, mem=122M313
9.10/5.56 decisions=21421, wrong=10104, backtracks=2748, failedAssignments=7900, nogoods=2415, foundSolutions=70, bestBound=737
9.10/5.56
9.10/5.57 num=373, depth=2..5, filters=2235419, revisions=(1866805,useless=66741), ccks=22400, wck=3.271, mem=122M313
9.10/5.57 decisions=21538, wrong=10161, backtracks=2757, failedAssignments=7950, nogoods=2434, foundSolutions=70, bestBound=737
9.10/5.57
9.10/5.59 num=374, depth=2..8, filters=2247041, revisions=(1876307,useless=66865), ccks=22400, wck=3.286, mem=124M911
9.10/5.59 decisions=21671, wrong=10226, backtracks=2774, failedAssignments=8005, nogoods=2446, foundSolutions=70, bestBound=737
9.10/5.59
9.20/5.61 num=375, depth=1..4, filters=2264593, revisions=(1891312,useless=67115), ccks=22400, wck=3.304, mem=124M911
9.20/5.61 decisions=21849, wrong=10314, backtracks=2801, failedAssignments=8066, nogoods=2456, foundSolutions=70, bestBound=737
9.20/5.61
9.20/5.62 num=376, depth=1..8, filters=2280017, revisions=(1904115,useless=67271), ccks=22400, wck=3.322, mem=127M510
9.20/5.62 decisions=22027, wrong=10402, backtracks=2831, failedAssignments=8133, nogoods=2465, foundSolutions=70, bestBound=737
9.20/5.62
9.20/5.65 num=377, depth=1..4, filters=2300516, revisions=(1921389,useless=67641), ccks=22400, wck=3.344, mem=130M109
9.20/5.65 decisions=22236, wrong=10505, backtracks=2861, failedAssignments=8207, nogoods=2478, foundSolutions=70, bestBound=737
9.20/5.65
9.20/5.67 num=378, depth=1..7, filters=2322768, revisions=(1940201,useless=67875), ccks=22400, wck=3.369, mem=132M708
9.20/5.67 decisions=22473, wrong=10622, backtracks=2911, failedAssignments=8288, nogoods=2486, foundSolutions=70, bestBound=737
9.20/5.67
9.31/5.70 num=379, depth=0..5, filters=2346949, revisions=(1960499,useless=68255), ccks=22400, wck=3.397, mem=135M307
9.31/5.70 decisions=22711, wrong=10740, backtracks=2944, failedAssignments=8377, nogoods=2493, foundSolutions=70, bestBound=737
9.31/5.70
9.31/5.73 num=380, depth=1..6, filters=2374138, revisions=(1983041,useless=68725), ccks=22400, wck=3.429, mem=137M906
9.31/5.73 decisions=22973, wrong=10870, backtracks=2981, failedAssignments=8475, nogoods=2496, foundSolutions=70, bestBound=737
9.31/5.73
9.31/5.76 num=381, depth=1..5, filters=2397214, revisions=(2001903,useless=69118), ccks=22400, wck=3.456, mem=140M504
9.31/5.76 decisions=23226, wrong=10995, backtracks=3001, failedAssignments=8583, nogoods=2506, foundSolutions=70, bestBound=737
9.31/5.76
9.31/5.80 num=382, depth=0..4, filters=2432444, revisions=(2031563,useless=69678), ccks=22400, wck=3.495, mem=143M103
9.31/5.80 decisions=23571, wrong=11166, backtracks=3058, failedAssignments=8702, nogoods=2521, foundSolutions=70, bestBound=737
9.31/5.80
9.41/5.83 num=383, depth=0..4, filters=2466195, revisions=(2059749,useless=70089), ccks=22400, wck=3.534, mem=145M702
9.41/5.83 decisions=23935, wrong=11347, backtracks=3111, failedAssignments=8833, nogoods=2529, foundSolutions=70, bestBound=737
9.41/5.83
9.41/5.88 num=384, depth=0..7, filters=2504053, revisions=(2092087,useless=70548), ccks=22400, wck=3.575, mem=149M160
9.41/5.88 decisions=24359, wrong=11558, backtracks=3187, failedAssignments=8977, nogoods=2539, foundSolutions=70, bestBound=737
9.41/5.88
9.52/5.92 num=385, depth=1..7, filters=2545488, revisions=(2128108,useless=70956), ccks=22400, wck=3.618, mem=153M77
9.52/5.92 decisions=24803, wrong=11779, backtracks=3272, failedAssignments=9135, nogoods=2556, foundSolutions=70, bestBound=737
9.52/5.92
9.52/5.99 num=386, depth=0..5, filters=2593648, revisions=(2168317,useless=71729), ccks=22400, wck=3.685, mem=28M601
9.52/5.99 decisions=25302, wrong=12027, backtracks=3351, failedAssignments=9309, nogoods=2566, foundSolutions=70, bestBound=737
9.52/5.99
9.66/6.04 o 733
9.66/6.04 num=387, depth=1..322, filters=2641874, revisions=(2208079,useless=72420), ccks=22720, wck=3.739, mem=32M337
9.66/6.04 decisions=25805, wrong=12276, backtracks=3424, failedAssignments=9493, nogoods=2576, foundSolutions=71, bestBound=733
9.66/6.04
9.66/6.05 o 732
9.66/6.05 num=388, depth=1..322, filters=2646908, revisions=(2212540,useless=73038), ccks=23040, wck=3.747, mem=32M337
9.66/6.05 decisions=25847, wrong=12294, backtracks=3427, failedAssignments=9508, nogoods=2580, foundSolutions=72, bestBound=732
9.66/6.05
9.66/6.05 num=389, depth=1..5, filters=2649902, revisions=(2215378,useless=73607), ccks=23040, wck=3.752, mem=32M337
9.66/6.05 decisions=25875, wrong=12306, backtracks=3429, failedAssignments=9519, nogoods=2586, foundSolutions=72, bestBound=732
9.66/6.05
9.66/6.06 num=390, depth=2..7, filters=2652956, revisions=(2217914,useless=73632), ccks=23040, wck=3.755, mem=32M337
9.66/6.06 decisions=25908, wrong=12321, backtracks=3436, failedAssignments=9530, nogoods=2588, foundSolutions=72, bestBound=732
9.66/6.06
9.66/6.06 num=391, depth=2..4, filters=2657972, revisions=(2221985,useless=73761), ccks=23040, wck=3.761, mem=32M337
9.66/6.06 decisions=25945, wrong=12338, backtracks=3441, failedAssignments=9542, nogoods=2592, foundSolutions=72, bestBound=732
9.66/6.06
9.66/6.07 num=392, depth=1..4, filters=2662821, revisions=(2226011,useless=73846), ccks=23040, wck=3.768, mem=36M73
9.66/6.07 decisions=25987, wrong=12357, backtracks=3447, failedAssignments=9555, nogoods=2602, foundSolutions=72, bestBound=732
9.66/6.07
9.66/6.07 o 705
9.66/6.07 num=393, depth=2..322, filters=2666913, revisions=(2229352,useless=73915), ccks=23360, wck=3.773, mem=36M73
9.66/6.07 decisions=26022, wrong=12372, backtracks=3451, failedAssignments=9566, nogoods=2606, foundSolutions=73, bestBound=705
9.66/6.07
9.66/6.08 num=394, depth=3..8, filters=2670312, revisions=(2232616,useless=74481), ccks=23360, wck=3.778, mem=36M73
9.66/6.08 decisions=26061, wrong=12389, backtracks=3452, failedAssignments=9582, nogoods=2618, foundSolutions=73, bestBound=705
9.66/6.08
9.66/6.08 num=395, depth=2..6, filters=2672858, revisions=(2234711,useless=74495), ccks=23360, wck=3.781, mem=36M73
9.66/6.08 decisions=26089, wrong=12402, backtracks=3456, failedAssignments=9593, nogoods=2622, foundSolutions=73, bestBound=705
9.66/6.08
9.66/6.09 num=396, depth=2..5, filters=2676499, revisions=(2237825,useless=74565), ccks=23360, wck=3.785, mem=36M73
9.66/6.09 decisions=26123, wrong=12418, backtracks=3462, failedAssignments=9605, nogoods=2626, foundSolutions=73, bestBound=705
9.66/6.09
9.66/6.09 num=397, depth=1..3, filters=2680525, revisions=(2241099,useless=74653), ccks=23360, wck=3.79, mem=36M73
9.66/6.09 decisions=26157, wrong=12434, backtracks=3465, failedAssignments=9618, nogoods=2630, foundSolutions=73, bestBound=705
9.66/6.09
9.66/6.10 num=398, depth=1..5, filters=2684584, revisions=(2244572,useless=74697), ccks=23360, wck=3.795, mem=36M73
9.66/6.10 decisions=26197, wrong=12453, backtracks=3473, failedAssignments=9632, nogoods=2634, foundSolutions=73, bestBound=705
9.66/6.10
9.66/6.10 num=399, depth=2..4, filters=2690024, revisions=(2249184,useless=74819), ccks=23360, wck=3.801, mem=36M73
9.66/6.10 decisions=26248, wrong=12477, backtracks=3482, failedAssignments=9648, nogoods=2640, foundSolutions=73, bestBound=705
9.66/6.10
9.76/6.11 num=400, depth=0..4, filters=2695011, revisions=(2253392,useless=74882), ccks=23360, wck=3.807, mem=36M73
9.76/6.11 decisions=26292, wrong=12498, backtracks=3488, failedAssignments=9665, nogoods=2643, foundSolutions=73, bestBound=705
9.76/6.11
9.76/6.12 num=401, depth=1..3, filters=2700918, revisions=(2258255,useless=75040), ccks=23360, wck=3.815, mem=39M809
9.76/6.12 decisions=26347, wrong=12525, backtracks=3498, failedAssignments=9684, nogoods=2648, foundSolutions=73, bestBound=705
9.76/6.12
9.76/6.12 num=402, depth=1..4, filters=2707279, revisions=(2263698,useless=75151), ccks=23360, wck=3.822, mem=39M809
9.76/6.12 decisions=26406, wrong=12554, backtracks=3508, failedAssignments=9705, nogoods=2656, foundSolutions=73, bestBound=705
9.76/6.12
9.76/6.13 num=403, depth=0..6, filters=2715196, revisions=(2270272,useless=75276), ccks=23360, wck=3.831, mem=39M809
9.76/6.13 decisions=26480, wrong=12590, backtracks=3525, failedAssignments=9728, nogoods=2660, foundSolutions=73, bestBound=705
9.76/6.13
9.76/6.14 num=404, depth=2..6, filters=2721050, revisions=(2274799,useless=75385), ccks=23360, wck=3.839, mem=39M809
9.76/6.14 decisions=26538, wrong=12617, backtracks=3527, failedAssignments=9753, nogoods=2667, foundSolutions=73, bestBound=705
9.76/6.14
9.76/6.15 num=405, depth=1..5, filters=2727299, revisions=(2280057,useless=75465), ccks=23360, wck=3.847, mem=39M809
9.76/6.15 decisions=26607, wrong=12650, backtracks=3534, failedAssignments=9781, nogoods=2671, foundSolutions=73, bestBound=705
9.76/6.15
9.76/6.16 num=406, depth=2..4, filters=2735453, revisions=(2286494,useless=75596), ccks=23360, wck=3.857, mem=43M545
9.76/6.16 decisions=26688, wrong=12689, backtracks=3543, failedAssignments=9812, nogoods=2684, foundSolutions=73, bestBound=705
9.76/6.16
9.76/6.17 num=407, depth=2..4, filters=2744891, revisions=(2293926,useless=75770), ccks=23360, wck=3.869, mem=43M545
9.76/6.17 decisions=26773, wrong=12730, backtracks=3550, failedAssignments=9846, nogoods=2693, foundSolutions=73, bestBound=705
9.76/6.17
9.76/6.18 num=408, depth=0..7, filters=2754342, revisions=(2301617,useless=75917), ccks=23360, wck=3.881, mem=43M545
9.76/6.18 decisions=26869, wrong=12776, backtracks=3561, failedAssignments=9883, nogoods=2710, foundSolutions=73, bestBound=705
9.76/6.18
9.76/6.19 num=409, depth=2..5, filters=2763210, revisions=(2308891,useless=76103), ccks=23360, wck=3.893, mem=43M545
9.76/6.19 decisions=26966, wrong=12822, backtracks=3567, failedAssignments=9924, nogoods=2722, foundSolutions=73, bestBound=705
9.76/6.19
9.85/6.21 num=410, depth=2..7, filters=2774836, revisions=(2318852,useless=76182), ccks=23360, wck=3.905, mem=47M281
9.85/6.21 decisions=27088, wrong=12881, backtracks=3586, failedAssignments=9969, nogoods=2739, foundSolutions=73, bestBound=705
9.85/6.21
9.85/6.21 o 700
9.85/6.21 num=411, depth=2..322, filters=2779600, revisions=(2322817,useless=76305), ccks=23680, wck=3.912, mem=48M81
9.85/6.21 decisions=27121, wrong=12895, backtracks=3589, failedAssignments=9981, nogoods=2742, foundSolutions=74, bestBound=700
9.85/6.21
9.85/6.24 num=412, depth=2..6, filters=2795094, revisions=(2335908,useless=77089), ccks=23680, wck=3.934, mem=51M817
9.85/6.24 decisions=27261, wrong=12964, backtracks=3604, failedAssignments=10036, nogoods=2756, foundSolutions=74, bestBound=700
9.85/6.24
9.85/6.24 num=413, depth=2..5, filters=2798360, revisions=(2338633,useless=77108), ccks=23680, wck=3.938, mem=51M817
9.85/6.24 decisions=27292, wrong=12978, backtracks=3609, failedAssignments=10047, nogoods=2766, foundSolutions=74, bestBound=700
9.85/6.24
9.85/6.24 num=414, depth=2..6, filters=2801451, revisions=(2341300,useless=77139), ccks=23680, wck=3.941, mem=51M817
9.85/6.24 decisions=27325, wrong=12992, backtracks=3614, failedAssignments=10059, nogoods=2772, foundSolutions=74, bestBound=700
9.85/6.24
9.85/6.25 num=415, depth=2..5, filters=2805745, revisions=(2344766,useless=77259), ccks=23680, wck=3.947, mem=51M817
9.85/6.25 decisions=27361, wrong=13008, backtracks=3617, failedAssignments=10072, nogoods=2775, foundSolutions=74, bestBound=700
9.85/6.25
9.85/6.25 num=416, depth=2..5, filters=2809837, revisions=(2348193,useless=77300), ccks=23680, wck=3.951, mem=51M817
9.85/6.25 decisions=27403, wrong=13028, backtracks=3625, failedAssignments=10086, nogoods=2779, foundSolutions=74, bestBound=700
9.85/6.25
9.85/6.26 num=417, depth=2..4, filters=2814618, revisions=(2352011,useless=77377), ccks=23680, wck=3.958, mem=51M817
9.85/6.26 decisions=27442, wrong=13046, backtracks=3627, failedAssignments=10102, nogoods=2792, foundSolutions=74, bestBound=700
9.85/6.26
9.85/6.26 num=418, depth=2..5, filters=2818931, revisions=(2355615,useless=77435), ccks=23680, wck=3.963, mem=51M817
9.85/6.26 decisions=27488, wrong=13068, backtracks=3634, failedAssignments=10119, nogoods=2799, foundSolutions=74, bestBound=700
9.85/6.26
9.85/6.27 num=419, depth=1..10, filters=2823892, revisions=(2359351,useless=77506), ccks=23680, wck=3.971, mem=55M553
9.85/6.27 decisions=27537, wrong=13090, backtracks=3643, failedAssignments=10138, nogoods=2807, foundSolutions=74, bestBound=700
9.85/6.27
9.85/6.28 num=420, depth=1..5, filters=2829552, revisions=(2363941,useless=77584), ccks=23680, wck=3.978, mem=55M553
9.85/6.28 decisions=27591, wrong=13116, backtracks=3649, failedAssignments=10159, nogoods=2809, foundSolutions=74, bestBound=700
9.85/6.28
9.85/6.29 num=421, depth=1..5, filters=2836810, revisions=(2370178,useless=77697), ccks=23680, wck=3.986, mem=55M553
9.85/6.29 decisions=27658, wrong=13148, backtracks=3660, failedAssignments=10182, nogoods=2818, foundSolutions=74, bestBound=700
9.85/6.29
9.99/6.30 num=422, depth=1..6, filters=2845228, revisions=(2377191,useless=77794), ccks=23680, wck=3.996, mem=55M553
9.99/6.30 decisions=27735, wrong=13185, backtracks=3675, failedAssignments=10207, nogoods=2821, foundSolutions=74, bestBound=700
9.99/6.30
9.99/6.31 num=423, depth=2..5, filters=2854994, revisions=(2385044,useless=77963), ccks=23680, wck=4.009, mem=55M553
9.99/6.31 decisions=27811, wrong=13222, backtracks=3684, failedAssignments=10235, nogoods=2830, foundSolutions=74, bestBound=700
9.99/6.31
9.99/6.32 num=424, depth=1..5, filters=2863552, revisions=(2392365,useless=78021), ccks=23680, wck=4.019, mem=59M290
9.99/6.32 decisions=27895, wrong=13262, backtracks=3694, failedAssignments=10266, nogoods=2839, foundSolutions=74, bestBound=700
9.99/6.32
9.99/6.33 num=425, depth=1..5, filters=2872340, revisions=(2399669,useless=78116), ccks=23680, wck=4.03, mem=59M290
9.99/6.33 decisions=27990, wrong=13308, backtracks=3711, failedAssignments=10300, nogoods=2847, foundSolutions=74, bestBound=700
9.99/6.33
9.99/6.34 num=426, depth=1..6, filters=2882863, revisions=(2408686,useless=78237), ccks=23680, wck=4.041, mem=59M290
9.99/6.34 decisions=28100, wrong=13362, backtracks=3733, failedAssignments=10337, nogoods=2855, foundSolutions=74, bestBound=700
9.99/6.34
9.99/6.35 o 699
9.99/6.35 num=427, depth=1..322, filters=2888634, revisions=(2413437,useless=78348), ccks=24000, wck=4.049, mem=59M290
9.99/6.35 decisions=28149, wrong=13384, backtracks=3740, failedAssignments=10353, nogoods=2857, foundSolutions=75, bestBound=699
9.99/6.35
9.99/6.37 num=428, depth=1..6, filters=2899740, revisions=(2422873,useless=78968), ccks=24000, wck=4.064, mem=63M26
9.99/6.37 decisions=28269, wrong=13443, backtracks=3755, failedAssignments=10398, nogoods=2860, foundSolutions=75, bestBound=699
9.99/6.37
9.99/6.37 num=429, depth=2..7, filters=2902378, revisions=(2425054,useless=78994), ccks=24000, wck=4.068, mem=63M26
9.99/6.37 decisions=28297, wrong=13456, backtracks=3760, failedAssignments=10409, nogoods=2863, foundSolutions=75, bestBound=699
9.99/6.37
9.99/6.37 num=430, depth=1..6, filters=2906170, revisions=(2428245,useless=79032), ccks=24000, wck=4.072, mem=63M26
9.99/6.37 decisions=28335, wrong=13474, backtracks=3768, failedAssignments=10421, nogoods=2866, foundSolutions=75, bestBound=699
9.99/6.37
9.99/6.38 num=431, depth=1..4, filters=2910310, revisions=(2431489,useless=79092), ccks=24000, wck=4.077, mem=63M26
9.99/6.38 decisions=28370, wrong=13490, backtracks=3771, failedAssignments=10434, nogoods=2871, foundSolutions=75, bestBound=699
9.99/6.38
9.99/6.38 num=432, depth=0..4, filters=2915303, revisions=(2435664,useless=79168), ccks=24000, wck=4.084, mem=63M26
9.99/6.38 decisions=28410, wrong=13508, backtracks=3775, failedAssignments=10448, nogoods=2873, foundSolutions=75, bestBound=699
9.99/6.38
9.99/6.39 num=433, depth=3..5, filters=2920497, revisions=(2439810,useless=79271), ccks=24000, wck=4.09, mem=63M26
9.99/6.39 decisions=28452, wrong=13527, backtracks=3778, failedAssignments=10464, nogoods=2875, foundSolutions=75, bestBound=699
9.99/6.39
9.99/6.40 num=434, depth=3..6, filters=2925050, revisions=(2443581,useless=79298), ccks=24000, wck=4.095, mem=63M26
9.99/6.40 decisions=28500, wrong=13549, backtracks=3786, failedAssignments=10481, nogoods=2882, foundSolutions=75, bestBound=699
9.99/6.40
10.09/6.40 num=435, depth=2..5, filters=2931071, revisions=(2448614,useless=79433), ccks=24000, wck=4.102, mem=66M762
10.09/6.40 decisions=28553, wrong=13574, backtracks=3793, failedAssignments=10500, nogoods=2887, foundSolutions=75, bestBound=699
10.09/6.40
10.09/6.41 num=436, depth=2..4, filters=2936835, revisions=(2453200,useless=79516), ccks=24000, wck=4.109, mem=66M762
10.09/6.41 decisions=28611, wrong=13602, backtracks=3800, failedAssignments=10521, nogoods=2889, foundSolutions=75, bestBound=699
10.09/6.41
10.09/6.42 num=437, depth=0..5, filters=2944755, revisions=(2459741,useless=79609), ccks=24000, wck=4.12, mem=66M762
10.09/6.42 decisions=28681, wrong=13635, backtracks=3812, failedAssignments=10544, nogoods=2893, foundSolutions=75, bestBound=699
10.09/6.42
10.09/6.43 num=438, depth=2..5, filters=2950251, revisions=(2464289,useless=79633), ccks=24000, wck=4.126, mem=66M762
10.09/6.43 decisions=28746, wrong=13666, backtracks=3819, failedAssignments=10569, nogoods=2900, foundSolutions=75, bestBound=699
10.09/6.43
10.09/6.43 num=439, depth=2..5, filters=2956417, revisions=(2469585,useless=79670), ccks=24000, wck=4.133, mem=66M762
10.09/6.43 decisions=28820, wrong=13702, backtracks=3829, failedAssignments=10597, nogoods=2907, foundSolutions=75, bestBound=699
10.09/6.43
10.09/6.44 num=440, depth=2..4, filters=2965653, revisions=(2476815,useless=79823), ccks=24000, wck=4.143, mem=66M762
10.09/6.44 decisions=28899, wrong=13740, backtracks=3836, failedAssignments=10628, nogoods=2914, foundSolutions=75, bestBound=699
10.09/6.44
10.09/6.46 num=441, depth=2..4, filters=2976292, revisions=(2485388,useless=79989), ccks=24000, wck=4.156, mem=70M498
10.09/6.46 decisions=28999, wrong=13789, backtracks=3852, failedAssignments=10662, nogoods=2917, foundSolutions=75, bestBound=699
10.09/6.46
10.09/6.47 num=442, depth=1..5, filters=2986170, revisions=(2493883,useless=80075), ccks=24000, wck=4.167, mem=70M498
10.09/6.47 decisions=29105, wrong=13841, backtracks=3871, failedAssignments=10699, nogoods=2923, foundSolutions=75, bestBound=699
10.09/6.47
10.09/6.48 num=443, depth=1..4, filters=2998991, revisions=(2504490,useless=80282), ccks=24000, wck=4.182, mem=70M498
10.09/6.48 decisions=29222, wrong=13898, backtracks=3889, failedAssignments=10740, nogoods=2929, foundSolutions=75, bestBound=699
10.09/6.48
10.09/6.49 o 694
10.09/6.49 num=444, depth=2..322, filters=3008004, revisions=(2512190,useless=80351), ccks=24320, wck=4.192, mem=74M234
10.09/6.49 decisions=29321, wrong=13945, backtracks=3905, failedAssignments=10772, nogoods=2937, foundSolutions=76, bestBound=694
10.09/6.49
10.19/6.50 o 685
10.19/6.50 num=445, depth=3..322, filters=3011491, revisions=(2515390,useless=80921), ccks=24640, wck=4.197, mem=74M234
10.19/6.50 decisions=29353, wrong=13958, backtracks=3907, failedAssignments=10783, nogoods=2943, foundSolutions=77, bestBound=685
10.19/6.50
10.19/6.50 o 684
10.19/6.50 num=446, depth=1..322, filters=3013519, revisions=(2517377,useless=81474), ccks=24960, wck=4.201, mem=74M234
10.19/6.50 decisions=29367, wrong=13962, backtracks=3907, failedAssignments=10787, nogoods=2947, foundSolutions=78, bestBound=684
10.19/6.50
10.19/6.51 o 680
10.19/6.51 num=447, depth=4..322, filters=3015048, revisions=(2518976,useless=82014), ccks=25280, wck=4.205, mem=74M234
10.19/6.51 decisions=29377, wrong=13964, backtracks=3908, failedAssignments=10788, nogoods=2948, foundSolutions=79, bestBound=680
10.19/6.51
10.19/6.51 o 679
10.19/6.51 num=448, depth=5..322, filters=3016448, revisions=(2520466,useless=82549), ccks=25600, wck=4.208, mem=74M234
10.19/6.51 decisions=29385, wrong=13965, backtracks=3908, failedAssignments=10789, nogoods=2949, foundSolutions=80, bestBound=679
10.19/6.51
10.19/6.51 o 678
10.19/6.51 num=449, depth=4..322, filters=3018732, revisions=(2522647,useless=83093), ccks=25920, wck=4.212, mem=74M234
10.19/6.51 decisions=29403, wrong=13971, backtracks=3910, failedAssignments=10793, nogoods=2951, foundSolutions=81, bestBound=678
10.19/6.51
10.19/6.52 o 677
10.19/6.52 num=450, depth=2..322, filters=3023430, revisions=(2526808,useless=83677), ccks=26240, wck=4.219, mem=74M234
10.19/6.52 decisions=29440, wrong=13987, backtracks=3917, failedAssignments=10803, nogoods=2955, foundSolutions=82, bestBound=677
10.19/6.52
10.19/6.53 num=451, depth=2..6, filters=3026390, revisions=(2529624,useless=84242), ccks=26240, wck=4.224, mem=74M234
10.19/6.53 decisions=29468, wrong=13999, backtracks=3920, failedAssignments=10814, nogoods=2959, foundSolutions=82, bestBound=677
10.19/6.53
10.19/6.53 num=452, depth=2..6, filters=3029300, revisions=(2532097,useless=84266), ccks=26240, wck=4.228, mem=77M970
10.19/6.53 decisions=29500, wrong=14014, backtracks=3927, failedAssignments=10825, nogoods=2962, foundSolutions=82, bestBound=677
10.19/6.53
10.19/6.53 num=453, depth=3..5, filters=3033001, revisions=(2534968,useless=84357), ccks=26240, wck=4.233, mem=77M970
10.19/6.53 decisions=29536, wrong=14030, backtracks=3931, failedAssignments=10837, nogoods=2970, foundSolutions=82, bestBound=677
10.19/6.53
10.19/6.54 num=454, depth=2..4, filters=3037469, revisions=(2538497,useless=84426), ccks=26240, wck=4.239, mem=77M970
10.19/6.54 decisions=29579, wrong=14050, backtracks=3938, failedAssignments=10850, nogoods=2975, foundSolutions=82, bestBound=677
10.19/6.54
10.19/6.54 o 673
10.19/6.54 num=455, depth=3..322, filters=3040869, revisions=(2541318,useless=84452), ccks=26560, wck=4.243, mem=77M970
10.19/6.54 decisions=29612, wrong=14064, backtracks=3942, failedAssignments=10861, nogoods=2980, foundSolutions=83, bestBound=673
10.19/6.54
10.19/6.55 o 667
10.19/6.55 num=456, depth=3..322, filters=3044462, revisions=(2544640,useless=85024), ccks=26880, wck=4.249, mem=77M970
10.19/6.55 decisions=29644, wrong=14077, backtracks=3944, failedAssignments=10872, nogoods=2988, foundSolutions=84, bestBound=667
10.19/6.55
10.19/6.55 o 666
10.19/6.55 num=457, depth=3..322, filters=3046514, revisions=(2546775,useless=85566), ccks=27200, wck=4.253, mem=77M970
10.19/6.55 decisions=29662, wrong=14083, backtracks=3944, failedAssignments=10878, nogoods=2994, foundSolutions=85, bestBound=666
10.19/6.55
10.19/6.56 o 662
10.19/6.56 num=458, depth=4..322, filters=3048047, revisions=(2548382,useless=86107), ccks=27520, wck=4.256, mem=77M970
10.19/6.56 decisions=29672, wrong=14085, backtracks=3945, failedAssignments=10879, nogoods=2995, foundSolutions=86, bestBound=662
10.19/6.56
10.19/6.56 o 661
10.19/6.56 num=459, depth=5..322, filters=3049451, revisions=(2549880,useless=86643), ccks=27840, wck=4.26, mem=77M970
10.19/6.56 decisions=29680, wrong=14086, backtracks=3945, failedAssignments=10880, nogoods=2996, foundSolutions=87, bestBound=661
10.19/6.56
10.19/6.56 o 660
10.19/6.57 num=460, depth=4..322, filters=3051739, revisions=(2552069,useless=87188), ccks=28160, wck=4.264, mem=77M970
10.19/6.57 decisions=29698, wrong=14092, backtracks=3947, failedAssignments=10884, nogoods=2998, foundSolutions=88, bestBound=660
10.19/6.57
10.19/6.57 num=461, depth=2..6, filters=3056674, revisions=(2556401,useless=87775), ccks=28160, wck=4.271, mem=81M706
10.19/6.57 decisions=29736, wrong=14109, backtracks=3954, failedAssignments=10895, nogoods=3003, foundSolutions=88, bestBound=660
10.19/6.57
10.19/6.58 num=462, depth=1..4, filters=3060953, revisions=(2559934,useless=87845), ccks=28160, wck=4.276, mem=81M706
10.19/6.58 decisions=29773, wrong=14126, backtracks=3960, failedAssignments=10906, nogoods=3006, foundSolutions=88, bestBound=660
10.19/6.58
10.19/6.58 num=463, depth=2..4, filters=3065670, revisions=(2563799,useless=87954), ccks=28160, wck=4.282, mem=81M706
10.19/6.58 decisions=29808, wrong=14142, backtracks=3964, failedAssignments=10918, nogoods=3012, foundSolutions=88, bestBound=660
10.19/6.58
10.19/6.59 num=464, depth=1..5, filters=3069615, revisions=(2567164,useless=87984), ccks=28160, wck=4.287, mem=81M706
10.19/6.59 decisions=29848, wrong=14161, backtracks=3971, failedAssignments=10931, nogoods=3014, foundSolutions=88, bestBound=660
10.19/6.59
10.19/6.59 num=465, depth=2..5, filters=3073626, revisions=(2570534,useless=88007), ccks=28160, wck=4.291, mem=81M706
10.19/6.59 decisions=29890, wrong=14181, backtracks=3978, failedAssignments=10945, nogoods=3017, foundSolutions=88, bestBound=660
10.19/6.59
10.33/6.60 num=466, depth=2..6, filters=3077598, revisions=(2573922,useless=88033), ccks=28160, wck=4.296, mem=81M706
10.33/6.60 decisions=29937, wrong=14203, backtracks=3986, failedAssignments=10961, nogoods=3024, foundSolutions=88, bestBound=660
10.33/6.60
10.33/6.60 num=467, depth=2..4, filters=3083223, revisions=(2578497,useless=88152), ccks=28160, wck=4.303, mem=81M706
10.33/6.60 decisions=29987, wrong=14227, backtracks=3993, failedAssignments=10978, nogoods=3031, foundSolutions=88, bestBound=660
10.33/6.60
10.33/6.61 num=468, depth=2..6, filters=3087970, revisions=(2582561,useless=88204), ccks=28160, wck=4.308, mem=81M706
10.33/6.61 decisions=30037, wrong=14251, backtracks=4005, failedAssignments=10997, nogoods=3036, foundSolutions=88, bestBound=660
10.33/6.61
10.33/6.62 num=469, depth=2..4, filters=3094207, revisions=(2587543,useless=88293), ccks=28160, wck=4.316, mem=85M442
10.33/6.62 decisions=30099, wrong=14280, backtracks=4013, failedAssignments=11018, nogoods=3042, foundSolutions=88, bestBound=660
10.33/6.62
10.33/6.63 num=470, depth=1..5, filters=3101519, revisions=(2593410,useless=88428), ccks=28160, wck=4.325, mem=85M442
10.33/6.63 decisions=30160, wrong=14310, backtracks=4022, failedAssignments=11041, nogoods=3046, foundSolutions=88, bestBound=660
10.33/6.63
10.33/6.63 num=471, depth=1..4, filters=3109280, revisions=(2600182,useless=88495), ccks=28160, wck=4.333, mem=85M442
10.33/6.63 decisions=30234, wrong=14345, backtracks=4034, failedAssignments=11066, nogoods=3053, foundSolutions=88, bestBound=660
10.33/6.63
10.33/6.64 num=472, depth=1..5, filters=3117751, revisions=(2607328,useless=88606), ccks=28160, wck=4.343, mem=85M442
10.33/6.64 decisions=30321, wrong=14387, backtracks=4051, failedAssignments=11094, nogoods=3058, foundSolutions=88, bestBound=660
10.33/6.64
10.33/6.66 num=473, depth=1..4, filters=3127001, revisions=(2614635,useless=88779), ccks=28160, wck=4.355, mem=89M178
10.33/6.66 decisions=30405, wrong=14428, backtracks=4062, failedAssignments=11125, nogoods=3066, foundSolutions=88, bestBound=660
10.33/6.66
10.33/6.67 num=474, depth=2..5, filters=3135462, revisions=(2621841,useless=88840), ccks=28160, wck=4.365, mem=89M178
10.33/6.67 decisions=30499, wrong=14474, backtracks=4075, failedAssignments=11159, nogoods=3073, foundSolutions=88, bestBound=660
10.33/6.67
10.33/6.68 num=475, depth=1..4, filters=3145935, revisions=(2630484,useless=88962), ccks=28160, wck=4.376, mem=89M178
10.33/6.68 decisions=30599, wrong=14523, backtracks=4087, failedAssignments=11196, nogoods=3075, foundSolutions=88, bestBound=660
10.33/6.68
10.33/6.69 num=476, depth=1..4, filters=3156313, revisions=(2639373,useless=89101), ccks=28160, wck=4.388, mem=89M178
10.33/6.69 decisions=30709, wrong=14577, backtracks=4100, failedAssignments=11237, nogoods=3080, foundSolutions=88, bestBound=660
10.33/6.69
10.43/6.71 num=477, depth=0..5, filters=3169352, revisions=(2649734,useless=89326), ccks=28160, wck=4.406, mem=92M915
10.43/6.71 decisions=30828, wrong=14635, backtracks=4116, failedAssignments=11282, nogoods=3085, foundSolutions=88, bestBound=660
10.43/6.71
10.43/6.72 num=478, depth=0..5, filters=3182678, revisions=(2660626,useless=89515), ccks=28160, wck=4.422, mem=92M915
10.43/6.72 decisions=30966, wrong=14702, backtracks=4136, failedAssignments=11332, nogoods=3093, foundSolutions=88, bestBound=660
10.43/6.72
10.43/6.74 num=479, depth=2..4, filters=3198042, revisions=(2673003,useless=89733), ccks=28160, wck=4.44, mem=92M915
10.43/6.74 decisions=31121, wrong=14778, backtracks=4157, failedAssignments=11387, nogoods=3101, foundSolutions=88, bestBound=660
10.43/6.74
10.43/6.76 num=480, depth=1..6, filters=3215344, revisions=(2687141,useless=89915), ccks=28160, wck=4.46, mem=96M651
10.43/6.76 decisions=31297, wrong=14864, backtracks=4189, failedAssignments=11448, nogoods=3109, foundSolutions=88, bestBound=660
10.43/6.76
10.43/6.78 num=481, depth=1..5, filters=3233532, revisions=(2701823,useless=90138), ccks=28160, wck=4.481, mem=96M651
10.43/6.78 decisions=31480, wrong=14954, backtracks=4214, failedAssignments=11515, nogoods=3117, foundSolutions=88, bestBound=660
10.43/6.78
10.53/6.81 num=482, depth=1..4, filters=3256579, revisions=(2721683,useless=90629), ccks=28160, wck=4.507, mem=100M387
10.53/6.81 decisions=31707, wrong=15066, backtracks=4254, failedAssignments=11589, nogoods=3127, foundSolutions=88, bestBound=660
10.53/6.81
10.53/6.81 o 659
10.53/6.81 num=483, depth=2..322, filters=3262390, revisions=(2726627,useless=90683), ccks=28480, wck=4.513, mem=100M387
10.53/6.81 decisions=31768, wrong=15094, backtracks=4264, failedAssignments=11609, nogoods=3131, foundSolutions=89, bestBound=659
10.53/6.81
10.53/6.85 num=484, depth=2..5, filters=3287357, revisions=(2746822,useless=91477), ccks=28480, wck=4.546, mem=104M123
10.53/6.85 decisions=31993, wrong=15205, backtracks=4287, failedAssignments=11698, nogoods=3139, foundSolutions=89, bestBound=659
10.53/6.85
10.53/6.85 num=485, depth=3..4, filters=3291647, revisions=(2750236,useless=91550), ccks=28480, wck=4.551, mem=104M123
10.53/6.85 decisions=32029, wrong=15221, backtracks=4292, failedAssignments=11709, nogoods=3147, foundSolutions=89, bestBound=659
10.53/6.85
10.53/6.86 o 658
10.53/6.86 num=486, depth=3..322, filters=3294169, revisions=(2752364,useless=91568), ccks=28800, wck=4.555, mem=104M123
10.53/6.86 decisions=32052, wrong=15230, backtracks=4297, failedAssignments=11715, nogoods=3150, foundSolutions=90, bestBound=658
10.53/6.86
10.53/6.86 num=487, depth=3..5, filters=3297205, revisions=(2755320,useless=92147), ccks=28800, wck=4.56, mem=104M123
10.53/6.86 decisions=32084, wrong=15244, backtracks=4298, failedAssignments=11728, nogoods=3155, foundSolutions=90, bestBound=658
10.53/6.86
10.53/6.86 num=488, depth=2..4, filters=3299657, revisions=(2757236,useless=92165), ccks=28800, wck=4.564, mem=104M123
10.53/6.86 decisions=32112, wrong=15257, backtracks=4300, failedAssignments=11739, nogoods=3157, foundSolutions=90, bestBound=658
10.53/6.86
10.53/6.87 num=489, depth=2..5, filters=3303773, revisions=(2760510,useless=92219), ccks=28800, wck=4.57, mem=104M123
10.53/6.87 decisions=32149, wrong=15274, backtracks=4306, failedAssignments=11751, nogoods=3160, foundSolutions=90, bestBound=658
10.53/6.87
10.53/6.88 num=490, depth=3..4, filters=3308342, revisions=(2764229,useless=92378), ccks=28800, wck=4.575, mem=107M859
10.53/6.88 decisions=32180, wrong=15288, backtracks=4307, failedAssignments=11764, nogoods=3172, foundSolutions=90, bestBound=658
10.53/6.88
10.53/6.88 num=491, depth=2..4, filters=3312421, revisions=(2767239,useless=92419), ccks=28800, wck=4.581, mem=107M859
10.53/6.88 decisions=32214, wrong=15304, backtracks=4309, failedAssignments=11778, nogoods=3177, foundSolutions=90, bestBound=658
10.53/6.88
10.53/6.89 num=492, depth=2..4, filters=3318691, revisions=(2772282,useless=92522), ccks=28800, wck=4.589, mem=107M859
10.53/6.89 decisions=32270, wrong=15330, backtracks=4320, failedAssignments=11794, nogoods=3180, foundSolutions=90, bestBound=658
10.53/6.89
10.63/6.90 num=493, depth=1..5, filters=3325711, revisions=(2778325,useless=92611), ccks=28800, wck=4.596, mem=107M859
10.63/6.90 decisions=32331, wrong=15359, backtracks=4335, failedAssignments=11811, nogoods=3183, foundSolutions=90, bestBound=658
10.63/6.90
10.63/6.90 o 657
10.63/6.90 num=494, depth=2..322, filters=3331033, revisions=(2782414,useless=92670), ccks=29120, wck=4.603, mem=107M859
10.63/6.90 decisions=32384, wrong=15383, backtracks=4342, failedAssignments=11828, nogoods=3188, foundSolutions=91, bestBound=657
10.63/6.90
10.63/6.91 num=495, depth=2..5, filters=3336832, revisions=(2787572,useless=93267), ccks=29120, wck=4.612, mem=107M859
10.63/6.91 decisions=32442, wrong=15411, backtracks=4350, failedAssignments=11849, nogoods=3196, foundSolutions=91, bestBound=657
10.63/6.91
10.63/6.92 num=496, depth=2..5, filters=3339879, revisions=(2790166,useless=93352), ccks=29120, wck=4.616, mem=111M595
10.63/6.92 decisions=32471, wrong=15424, backtracks=4352, failedAssignments=11860, nogoods=3202, foundSolutions=91, bestBound=657
10.63/6.92
10.63/6.92 num=497, depth=2..4, filters=3343951, revisions=(2793411,useless=93454), ccks=29120, wck=4.621, mem=111M595
10.63/6.92 decisions=32506, wrong=15440, backtracks=4356, failedAssignments=11872, nogoods=3205, foundSolutions=91, bestBound=657
10.63/6.92
10.63/6.93 num=498, depth=3..4, filters=3347677, revisions=(2796361,useless=93482), ccks=29120, wck=4.626, mem=111M595
10.63/6.93 decisions=32544, wrong=15457, backtracks=4360, failedAssignments=11885, nogoods=3211, foundSolutions=91, bestBound=657
10.63/6.93
10.63/6.93 num=499, depth=2..4, filters=3352152, revisions=(2800207,useless=93514), ccks=29120, wck=4.631, mem=111M595
10.63/6.93 decisions=32587, wrong=15477, backtracks=4366, failedAssignments=11899, nogoods=3215, foundSolutions=91, bestBound=657
10.63/6.93
10.63/6.94 o 656
10.63/6.94 num=500, depth=3..322, filters=3355137, revisions=(2802461,useless=93548), ccks=29440, wck=4.635, mem=111M595
10.63/6.94 decisions=32608, wrong=15485, backtracks=4368, failedAssignments=11905, nogoods=3220, foundSolutions=92, bestBound=656
10.63/6.94
10.63/6.94 num=501, depth=1..5, filters=3360437, revisions=(2807233,useless=94136), ccks=29440, wck=4.643, mem=111M595
10.63/6.94 decisions=32660, wrong=15509, backtracks=4376, failedAssignments=11922, nogoods=3227, foundSolutions=92, bestBound=656
10.63/6.94
10.63/6.95 num=502, depth=2..5, filters=3363364, revisions=(2809679,useless=94154), ccks=29440, wck=4.647, mem=111M595
10.63/6.95 decisions=32691, wrong=15523, backtracks=4380, failedAssignments=11933, nogoods=3229, foundSolutions=92, bestBound=656
10.63/6.95
10.63/6.95 num=503, depth=1..5, filters=3366968, revisions=(2812604,useless=94241), ccks=29440, wck=4.652, mem=111M595
10.63/6.95 decisions=32725, wrong=15538, backtracks=4383, failedAssignments=11945, nogoods=3232, foundSolutions=92, bestBound=656
10.63/6.95
10.63/6.96 num=504, depth=3..5, filters=3370402, revisions=(2815471,useless=94257), ccks=29440, wck=4.656, mem=111M595
10.63/6.96 decisions=32762, wrong=15555, backtracks=4388, failedAssignments=11958, nogoods=3238, foundSolutions=92, bestBound=656
10.63/6.96
10.63/6.96 num=505, depth=3..4, filters=3374624, revisions=(2818728,useless=94306), ccks=29440, wck=4.661, mem=115M331
10.63/6.96 decisions=32802, wrong=15573, backtracks=4392, failedAssignments=11972, nogoods=3245, foundSolutions=92, bestBound=656
10.63/6.96
10.63/6.97 num=506, depth=2..5, filters=3378948, revisions=(2822225,useless=94347), ccks=29440, wck=4.667, mem=115M331
10.63/6.97 decisions=32846, wrong=15594, backtracks=4398, failedAssignments=11988, nogoods=3247, foundSolutions=92, bestBound=656
10.63/6.97
10.63/6.97 num=507, depth=1..4, filters=3384356, revisions=(2826717,useless=94412), ccks=29440, wck=4.673, mem=115M331
10.63/6.97 decisions=32902, wrong=15621, backtracks=4408, failedAssignments=12005, nogoods=3249, foundSolutions=92, bestBound=656
10.63/6.97
10.63/6.98 num=508, depth=3..5, filters=3389502, revisions=(2830861,useless=94487), ccks=29440, wck=4.68, mem=115M331
10.63/6.98 decisions=32955, wrong=15646, backtracks=4416, failedAssignments=12024, nogoods=3256, foundSolutions=92, bestBound=656
10.63/6.98
10.63/6.99 num=509, depth=2..6, filters=3395220, revisions=(2835697,useless=94597), ccks=29440, wck=4.687, mem=115M331
10.63/6.99 decisions=33013, wrong=15674, backtracks=4425, failedAssignments=12045, nogoods=3261, foundSolutions=92, bestBound=656
10.63/6.99
10.63/6.99 num=510, depth=2..6, filters=3400571, revisions=(2840030,useless=94650), ccks=29440, wck=4.694, mem=115M331
10.63/6.99 decisions=33072, wrong=15702, backtracks=4433, failedAssignments=12068, nogoods=3265, foundSolutions=92, bestBound=656
10.63/6.99
10.63/7.00 num=511, depth=0..6, filters=3407512, revisions=(2845738,useless=94771), ccks=29440, wck=4.703, mem=115M331
10.63/7.00 decisions=33138, wrong=15733, backtracks=4441, failedAssignments=12093, nogoods=3269, foundSolutions=92, bestBound=656
10.63/7.00
10.76/7.01 num=512, depth=2..6, filters=3414450, revisions=(2851656,useless=94839), ccks=29440, wck=4.71, mem=119M67
10.76/7.01 decisions=33216, wrong=15771, backtracks=4454, failedAssignments=12121, nogoods=3277, foundSolutions=92, bestBound=656
10.76/7.01
10.76/7.02 num=513, depth=2..4, filters=3423658, revisions=(2859185,useless=94993), ccks=29440, wck=4.721, mem=119M67
10.76/7.02 decisions=33299, wrong=15811, backtracks=4463, failedAssignments=12152, nogoods=3283, foundSolutions=92, bestBound=656
10.76/7.02
10.76/7.03 num=514, depth=2..6, filters=3432573, revisions=(2866462,useless=95134), ccks=29440, wck=4.732, mem=119M67
10.76/7.03 decisions=33392, wrong=15856, backtracks=4479, failedAssignments=12186, nogoods=3289, foundSolutions=92, bestBound=656
10.76/7.03
10.76/7.05 num=515, depth=1..5, filters=3444264, revisions=(2875927,useless=95308), ccks=29440, wck=4.746, mem=119M67
10.76/7.05 decisions=33508, wrong=15913, backtracks=4500, failedAssignments=12223, nogoods=3292, foundSolutions=92, bestBound=656
10.76/7.05
10.76/7.06 num=516, depth=2..5, filters=3455498, revisions=(2884843,useless=95420), ccks=29440, wck=4.761, mem=122M804
10.76/7.06 decisions=33615, wrong=15965, backtracks=4511, failedAssignments=12264, nogoods=3308, foundSolutions=92, bestBound=656
10.76/7.06
10.76/7.08 num=517, depth=1..5, filters=3467730, revisions=(2895402,useless=95508), ccks=29440, wck=4.774, mem=122M804
10.76/7.08 decisions=33739, wrong=16026, backtracks=4530, failedAssignments=12309, nogoods=3317, foundSolutions=92, bestBound=656
10.76/7.08
10.76/7.09 num=518, depth=2..5, filters=3481778, revisions=(2906192,useless=95704), ccks=29440, wck=4.791, mem=122M804
10.76/7.09 decisions=33867, wrong=16088, backtracks=4542, failedAssignments=12359, nogoods=3327, foundSolutions=92, bestBound=656
10.76/7.09
10.86/7.11 num=519, depth=1..6, filters=3497430, revisions=(2919342,useless=95867), ccks=29440, wck=4.808, mem=126M540
10.86/7.11 decisions=34032, wrong=16169, backtracks=4572, failedAssignments=12414, nogoods=3337, foundSolutions=92, bestBound=656
10.86/7.11
10.86/7.13 num=520, depth=1..5, filters=3514219, revisions=(2933266,useless=96162), ccks=29440, wck=4.828, mem=126M540
10.86/7.13 decisions=34203, wrong=16254, backtracks=4598, failedAssignments=12475, nogoods=3346, foundSolutions=92, bestBound=656
10.86/7.13
10.86/7.15 num=521, depth=0..5, filters=3535358, revisions=(2951006,useless=96447), ccks=29440, wck=4.852, mem=130M276
10.86/7.15 decisions=34405, wrong=16353, backtracks=4636, failedAssignments=12542, nogoods=3359, foundSolutions=92, bestBound=656
10.86/7.15
10.86/7.17 num=522, depth=1..6, filters=3554367, revisions=(2967072,useless=96679), ccks=29440, wck=4.873, mem=130M276
10.86/7.17 decisions=34615, wrong=16456, backtracks=4670, failedAssignments=12616, nogoods=3367, foundSolutions=92, bestBound=656
10.86/7.17
10.95/7.20 num=523, depth=0..6, filters=3573454, revisions=(2982453,useless=96999), ccks=29440, wck=4.899, mem=134M12
10.95/7.20 decisions=34822, wrong=16558, backtracks=4696, failedAssignments=12697, nogoods=3372, foundSolutions=92, bestBound=656
10.95/7.20
10.95/7.22 num=524, depth=1..4, filters=3595295, revisions=(3000379,useless=97183), ccks=29440, wck=4.923, mem=134M12
10.95/7.22 decisions=35055, wrong=16673, backtracks=4724, failedAssignments=12786, nogoods=3375, foundSolutions=92, bestBound=656
10.95/7.22
10.95/7.26 num=525, depth=1..5, filters=3622086, revisions=(3022073,useless=97484), ccks=29440, wck=4.954, mem=137M748
10.95/7.26 decisions=35344, wrong=16816, backtracks=4772, failedAssignments=12884, nogoods=3383, foundSolutions=92, bestBound=656
10.95/7.26
10.95/7.26 o 655
10.95/7.26 num=526, depth=3..322, filters=3623549, revisions=(3023190,useless=97497), ccks=29760, wck=4.956, mem=137M748
10.95/7.26 decisions=35355, wrong=16819, backtracks=4773, failedAssignments=12886, nogoods=3384, foundSolutions=93, bestBound=655
10.95/7.26
10.95/7.28 o 653
10.95/7.28 num=527, depth=2..322, filters=3640422, revisions=(3036752,useless=98192), ccks=30080, wck=4.98, mem=141M484
10.95/7.28 decisions=35512, wrong=16895, backtracks=4789, failedAssignments=12947, nogoods=3387, foundSolutions=94, bestBound=653
10.95/7.28
10.95/7.28 o 652
10.95/7.29 num=528, depth=1..322, filters=3642661, revisions=(3038996,useless=98740), ccks=30400, wck=4.984, mem=141M484
10.95/7.29 decisions=35528, wrong=16900, backtracks=4789, failedAssignments=12952, nogoods=3392, foundSolutions=95, bestBound=652
10.95/7.29
10.95/7.29 o 648
10.95/7.29 num=529, depth=3..322, filters=3644305, revisions=(3040754,useless=99282), ccks=30720, wck=4.987, mem=141M484
10.95/7.29 decisions=35542, wrong=16904, backtracks=4790, failedAssignments=12955, nogoods=3395, foundSolutions=96, bestBound=648
10.95/7.29
10.95/7.29 o 647
10.95/7.29 num=530, depth=5..322, filters=3645679, revisions=(3042241,useless=99817), ccks=31040, wck=4.991, mem=141M484
10.95/7.29 decisions=35550, wrong=16905, backtracks=4790, failedAssignments=12956, nogoods=3396, foundSolutions=97, bestBound=647
10.95/7.29
10.95/7.30 o 646
10.95/7.30 num=531, depth=4..322, filters=3647860, revisions=(3044366,useless=100360), ccks=31360, wck=4.995, mem=141M484
10.95/7.30 decisions=35568, wrong=16911, backtracks=4792, failedAssignments=12960, nogoods=3398, foundSolutions=98, bestBound=646
10.95/7.30
11.05/7.30 num=532, depth=3..6, filters=3651799, revisions=(3047886,useless=100932), ccks=31360, wck=5.001, mem=141M484
11.05/7.30 decisions=35601, wrong=16926, backtracks=4797, failedAssignments=12971, nogoods=3403, foundSolutions=98, bestBound=646
11.05/7.30
11.05/7.31 num=533, depth=2..4, filters=3656042, revisions=(3051393,useless=100985), ccks=31360, wck=5.006, mem=141M484
11.05/7.31 decisions=35636, wrong=16942, backtracks=4803, failedAssignments=12982, nogoods=3407, foundSolutions=98, bestBound=646
11.05/7.31
11.05/7.31 num=534, depth=2..4, filters=3660258, revisions=(3054709,useless=101027), ccks=31360, wck=5.011, mem=145M220
11.05/7.31 decisions=35677, wrong=16961, backtracks=4810, failedAssignments=12994, nogoods=3409, foundSolutions=98, bestBound=646
11.05/7.31
11.05/7.32 num=535, depth=2..4, filters=3664433, revisions=(3058000,useless=101079), ccks=31360, wck=5.017, mem=145M220
11.05/7.32 decisions=35715, wrong=16979, backtracks=4815, failedAssignments=13007, nogoods=3411, foundSolutions=98, bestBound=646
11.05/7.32
11.05/7.32 num=536, depth=2..4, filters=3668168, revisions=(3061003,useless=101121), ccks=31360, wck=5.022, mem=145M220
11.05/7.32 decisions=35757, wrong=16998, backtracks=4820, failedAssignments=13021, nogoods=3416, foundSolutions=98, bestBound=646
11.05/7.32
11.05/7.33 num=537, depth=3..6, filters=3672780, revisions=(3064715,useless=101192), ccks=31360, wck=5.028, mem=145M220
11.05/7.33 decisions=35802, wrong=17019, backtracks=4828, failedAssignments=13037, nogoods=3421, foundSolutions=98, bestBound=646
11.05/7.33
11.05/7.33 num=538, depth=2..5, filters=3677677, revisions=(3068718,useless=101257), ccks=31360, wck=5.034, mem=145M220
11.05/7.33 decisions=35853, wrong=17043, backtracks=4837, failedAssignments=13054, nogoods=3427, foundSolutions=98, bestBound=646
11.05/7.33
11.05/7.34 num=539, depth=2..6, filters=3683449, revisions=(3073455,useless=101357), ccks=31360, wck=5.041, mem=145M220
11.05/7.34 decisions=35909, wrong=17069, backtracks=4847, failedAssignments=13073, nogoods=3431, foundSolutions=98, bestBound=646
11.05/7.34
11.05/7.35 num=540, depth=1..4, filters=3688124, revisions=(3077471,useless=101416), ccks=31360, wck=5.047, mem=145M220
11.05/7.35 decisions=35962, wrong=17095, backtracks=4853, failedAssignments=13094, nogoods=3435, foundSolutions=98, bestBound=646
11.05/7.35
11.05/7.36 num=541, depth=2..4, filters=3695009, revisions=(3082985,useless=101504), ccks=31360, wck=5.055, mem=145M220
11.05/7.36 decisions=36027, wrong=17126, backtracks=4861, failedAssignments=13117, nogoods=3439, foundSolutions=98, bestBound=646
11.05/7.36
11.05/7.37 num=542, depth=1..5, filters=3703531, revisions=(3089987,useless=101630), ccks=31360, wck=5.065, mem=148M956
11.05/7.37 decisions=36101, wrong=17162, backtracks=4874, failedAssignments=13142, nogoods=3443, foundSolutions=98, bestBound=646
11.05/7.37
11.05/7.37 num=543, depth=2..6, filters=3710757, revisions=(3096007,useless=101792), ccks=31360, wck=5.073, mem=148M956
11.05/7.37 decisions=36175, wrong=17198, backtracks=4883, failedAssignments=13170, nogoods=3444, foundSolutions=98, bestBound=646
11.05/7.37
11.05/7.38 num=544, depth=2..5, filters=3719413, revisions=(3103298,useless=101871), ccks=31360, wck=5.083, mem=148M956
11.05/7.38 decisions=36273, wrong=17245, backtracks=4901, failedAssignments=13201, nogoods=3450, foundSolutions=98, bestBound=646
11.05/7.38
11.05/7.40 num=545, depth=1..3, filters=3729343, revisions=(3111612,useless=102053), ccks=31360, wck=5.095, mem=148M956
11.05/7.40 decisions=36363, wrong=17289, backtracks=4911, failedAssignments=13235, nogoods=3459, foundSolutions=98, bestBound=646
11.05/7.40
11.17/7.41 num=546, depth=1..4, filters=3739893, revisions=(3120579,useless=102175), ccks=31360, wck=5.107, mem=152M692
11.17/7.41 decisions=36480, wrong=17346, backtracks=4933, failedAssignments=13272, nogoods=3467, foundSolutions=98, bestBound=646
11.17/7.41
11.17/7.42 num=547, depth=1..6, filters=3752074, revisions=(3130722,useless=102285), ccks=31360, wck=5.12, mem=152M692
11.17/7.42 decisions=36610, wrong=17410, backtracks=4961, failedAssignments=13313, nogoods=3471, foundSolutions=98, bestBound=646
11.17/7.42
11.17/7.44 num=548, depth=1..4, filters=3766830, revisions=(3142647,useless=102477), ccks=31360, wck=5.137, mem=152M692
11.17/7.44 decisions=36746, wrong=17477, backtracks=4983, failedAssignments=13358, nogoods=3477, foundSolutions=98, bestBound=646
11.17/7.44
11.17/7.45 o 645
11.17/7.45 num=549, depth=2..322, filters=3772998, revisions=(3147758,useless=102562), ccks=31680, wck=5.145, mem=152M692
11.17/7.45 decisions=36813, wrong=17508, backtracks=4988, failedAssignments=13384, nogoods=3483, foundSolutions=99, bestBound=645
11.17/7.45
11.17/7.47 num=550, depth=2..5, filters=3789870, revisions=(3162013,useless=103285), ccks=31680, wck=5.167, mem=156M429
11.17/7.47 decisions=36980, wrong=17590, backtracks=5016, failedAssignments=13439, nogoods=3497, foundSolutions=99, bestBound=645
11.17/7.47
11.17/7.47 num=551, depth=2..5, filters=3792588, revisions=(3164006,useless=103305), ccks=31680, wck=5.171, mem=156M429
11.17/7.47 decisions=37008, wrong=17603, backtracks=5019, failedAssignments=13450, nogoods=3500, foundSolutions=99, bestBound=645
11.17/7.47
11.17/7.48 num=552, depth=1..4, filters=3795864, revisions=(3166652,useless=103351), ccks=31680, wck=5.175, mem=156M429
11.17/7.48 decisions=37040, wrong=17618, backtracks=5023, failedAssignments=13462, nogoods=3503, foundSolutions=99, bestBound=645
11.17/7.48
11.17/7.48 num=553, depth=3..6, filters=3799391, revisions=(3169631,useless=103383), ccks=31680, wck=5.18, mem=156M429
11.17/7.48 decisions=37077, wrong=17635, backtracks=5030, failedAssignments=13475, nogoods=3508, foundSolutions=99, bestBound=645
11.17/7.48
11.17/7.49 num=554, depth=2..4, filters=3803877, revisions=(3173199,useless=103479), ccks=31680, wck=5.185, mem=156M429
11.17/7.49 decisions=37115, wrong=17653, backtracks=5034, failedAssignments=13489, nogoods=3512, foundSolutions=99, bestBound=645
11.17/7.49
11.17/7.49 num=555, depth=2..6, filters=3808739, revisions=(3177310,useless=103525), ccks=31680, wck=5.191, mem=160M165
11.17/7.49 decisions=37164, wrong=17676, backtracks=5045, failedAssignments=13505, nogoods=3517, foundSolutions=99, bestBound=645
11.17/7.49
11.28/7.50 num=556, depth=1..4, filters=3814209, revisions=(3181770,useless=103582), ccks=31680, wck=5.198, mem=160M165
11.28/7.50 decisions=37216, wrong=17701, backtracks=5054, failedAssignments=13522, nogoods=3524, foundSolutions=99, bestBound=645
11.28/7.50
11.28/7.50 o 642
11.28/7.50 num=557, depth=2..322, filters=3817244, revisions=(3184344,useless=103634), ccks=32000, wck=5.202, mem=160M165
11.28/7.50 decisions=37247, wrong=17714, backtracks=5059, failedAssignments=13530, nogoods=3525, foundSolutions=100, bestBound=642
11.28/7.50
11.28/7.51 num=558, depth=2..5, filters=3824398, revisions=(3190590,useless=104279), ccks=32000, wck=5.212, mem=160M165
11.28/7.51 decisions=37309, wrong=17744, backtracks=5068, failedAssignments=13551, nogoods=3534, foundSolutions=100, bestBound=642
11.28/7.51
11.28/7.52 num=559, depth=0..5, filters=3829380, revisions=(3194734,useless=104350), ccks=32000, wck=5.218, mem=160M165
11.28/7.52 decisions=37345, wrong=17761, backtracks=5076, failedAssignments=13562, nogoods=3535, foundSolutions=100, bestBound=642
11.28/7.52
11.28/7.52 o 641
11.28/7.52 num=560, depth=4..322, filters=3830420, revisions=(3195536,useless=104356), ccks=32320, wck=5.22, mem=160M165
11.28/7.52 decisions=37352, wrong=17762, backtracks=5076, failedAssignments=13563, nogoods=3536, foundSolutions=101, bestBound=641
11.28/7.52
11.28/7.53 num=561, depth=1..6, filters=3834645, revisions=(3199484,useless=104952), ccks=32320, wck=5.227, mem=160M165
11.28/7.53 decisions=37386, wrong=17777, backtracks=5079, failedAssignments=13576, nogoods=3547, foundSolutions=101, bestBound=641
11.28/7.53
11.28/7.53 num=562, depth=2..4, filters=3837926, revisions=(3202096,useless=105002), ccks=32320, wck=5.231, mem=163M901
11.28/7.53 decisions=37414, wrong=17790, backtracks=5081, failedAssignments=13587, nogoods=3548, foundSolutions=101, bestBound=641
11.28/7.53
11.28/7.54 num=563, depth=2..5, filters=3841875, revisions=(3205449,useless=105041), ccks=32320, wck=5.235, mem=163M901
11.28/7.54 decisions=37452, wrong=17808, backtracks=5090, failedAssignments=13599, nogoods=3551, foundSolutions=101, bestBound=641
11.28/7.54
11.28/7.54 o 640
11.28/7.54 num=564, depth=3..322, filters=3843464, revisions=(3206729,useless=105050), ccks=32640, wck=5.238, mem=163M901
11.28/7.54 decisions=37467, wrong=17813, backtracks=5092, failedAssignments=13602, nogoods=3553, foundSolutions=102, bestBound=640
11.28/7.54
11.28/7.55 num=565, depth=3..5, filters=3847771, revisions=(3210665,useless=105655), ccks=32640, wck=5.245, mem=163M901
11.28/7.55 decisions=37506, wrong=17831, backtracks=5096, failedAssignments=13616, nogoods=3561, foundSolutions=102, bestBound=640
11.28/7.55
11.28/7.55 num=566, depth=2..5, filters=3850248, revisions=(3212685,useless=105684), ccks=32640, wck=5.248, mem=163M901
11.28/7.55 decisions=37532, wrong=17843, backtracks=5099, failedAssignments=13627, nogoods=3565, foundSolutions=102, bestBound=640
11.28/7.55
11.28/7.55 num=567, depth=1..4, filters=3853917, revisions=(3215850,useless=105733), ccks=32640, wck=5.252, mem=163M901
11.28/7.55 decisions=37564, wrong=17858, backtracks=5103, failedAssignments=13639, nogoods=3568, foundSolutions=102, bestBound=640
11.28/7.55
11.28/7.56 o 639
11.28/7.56 num=568, depth=4..322, filters=3854957, revisions=(3216653,useless=105739), ccks=32960, wck=5.254, mem=163M901
11.28/7.56 decisions=37571, wrong=17859, backtracks=5103, failedAssignments=13640, nogoods=3569, foundSolutions=103, bestBound=639
11.28/7.56
11.28/7.56 num=569, depth=2..6, filters=3859192, revisions=(3220444,useless=106295), ccks=32960, wck=5.261, mem=163M901
11.28/7.56 decisions=37610, wrong=17876, backtracks=5108, failedAssignments=13654, nogoods=3575, foundSolutions=103, bestBound=639
11.28/7.56
11.28/7.57 num=570, depth=2..4, filters=3862424, revisions=(3222992,useless=106333), ccks=32960, wck=5.265, mem=163M901
11.28/7.57 decisions=37638, wrong=17889, backtracks=5110, failedAssignments=13665, nogoods=3576, foundSolutions=103, bestBound=639
11.28/7.57
11.28/7.57 num=571, depth=1..3, filters=3866069, revisions=(3226035,useless=106371), ccks=32960, wck=5.269, mem=163M901
11.28/7.57 decisions=37676, wrong=17907, backtracks=5116, failedAssignments=13677, nogoods=3580, foundSolutions=103, bestBound=639
11.28/7.57
11.28/7.57 o 636
11.28/7.57 num=572, depth=3..322, filters=3867291, revisions=(3227003,useless=106385), ccks=33280, wck=5.272, mem=167M637
11.28/7.57 decisions=37685, wrong=17909, backtracks=5117, failedAssignments=13678, nogoods=3581, foundSolutions=104, bestBound=636
11.28/7.57
11.28/7.58 o 625
11.28/7.58 num=573, depth=2..322, filters=3870981, revisions=(3230484,useless=106939), ccks=33600, wck=5.278, mem=167M637
11.28/7.58 decisions=37720, wrong=17924, backtracks=5123, failedAssignments=13689, nogoods=3585, foundSolutions=105, bestBound=625
11.28/7.58
11.28/7.58 num=574, depth=1..6, filters=3874635, revisions=(3233945,useless=107496), ccks=33600, wck=5.284, mem=167M637
11.28/7.58 decisions=37750, wrong=17937, backtracks=5125, failedAssignments=13700, nogoods=3592, foundSolutions=105, bestBound=625
11.28/7.58
11.28/7.59 num=575, depth=2..4, filters=3878452, revisions=(3237030,useless=107549), ccks=33600, wck=5.288, mem=167M637
11.28/7.59 decisions=37791, wrong=17956, backtracks=5133, failedAssignments=13711, nogoods=3594, foundSolutions=105, bestBound=625
11.28/7.59
11.28/7.59 num=576, depth=1..4, filters=3881796, revisions=(3239856,useless=107577), ccks=33600, wck=5.292, mem=167M637
11.28/7.59 decisions=37827, wrong=17973, backtracks=5139, failedAssignments=13723, nogoods=3599, foundSolutions=105, bestBound=625
11.28/7.59
11.41/7.60 num=577, depth=2..4, filters=3885931, revisions=(3243325,useless=107618), ccks=33600, wck=5.297, mem=167M637
11.41/7.60 decisions=37869, wrong=17993, backtracks=5146, failedAssignments=13736, nogoods=3601, foundSolutions=105, bestBound=625
11.41/7.60
11.41/7.60 num=578, depth=0..5, filters=3890675, revisions=(3247343,useless=107673), ccks=33600, wck=5.303, mem=167M637
11.41/7.60 decisions=37907, wrong=18010, backtracks=5151, failedAssignments=13750, nogoods=3604, foundSolutions=105, bestBound=625
11.41/7.60
11.41/7.61 num=579, depth=3..5, filters=3896592, revisions=(3251984,useless=107749), ccks=33600, wck=5.31, mem=167M637
11.41/7.61 decisions=37957, wrong=18033, backtracks=5158, failedAssignments=13766, nogoods=3607, foundSolutions=105, bestBound=625
11.41/7.61
11.41/7.62 num=580, depth=3..5, filters=3901207, revisions=(3255774,useless=107831), ccks=33600, wck=5.316, mem=167M637
11.41/7.62 decisions=38004, wrong=18055, backtracks=5165, failedAssignments=13783, nogoods=3612, foundSolutions=105, bestBound=625
11.41/7.62
11.41/7.62 num=581, depth=2..4, filters=3906003, revisions=(3259760,useless=107853), ccks=33600, wck=5.321, mem=171M373
11.41/7.62 decisions=38062, wrong=18082, backtracks=5173, failedAssignments=13802, nogoods=3615, foundSolutions=105, bestBound=625
11.41/7.62
11.41/7.63 num=582, depth=1..4, filters=3912249, revisions=(3265135,useless=107957), ccks=33600, wck=5.329, mem=171M373
11.41/7.63 decisions=38122, wrong=18110, backtracks=5181, failedAssignments=13823, nogoods=3621, foundSolutions=105, bestBound=625
11.41/7.63
11.41/7.64 num=583, depth=2..6, filters=3917871, revisions=(3269770,useless=108023), ccks=33600, wck=5.335, mem=171M373
11.41/7.64 decisions=38181, wrong=18138, backtracks=5189, failedAssignments=13846, nogoods=3627, foundSolutions=105, bestBound=625
11.41/7.64
11.41/7.64 num=584, depth=2..5, filters=3924752, revisions=(3275519,useless=108076), ccks=33600, wck=5.343, mem=171M373
11.41/7.64 decisions=38261, wrong=18176, backtracks=5203, failedAssignments=13871, nogoods=3632, foundSolutions=105, bestBound=625
11.41/7.64
11.41/7.65 num=585, depth=1..6, filters=3933153, revisions=(3282569,useless=108224), ccks=33600, wck=5.353, mem=171M373
11.41/7.65 decisions=38332, wrong=18210, backtracks=5213, failedAssignments=13899, nogoods=3634, foundSolutions=105, bestBound=625
11.41/7.65
11.41/7.67 num=586, depth=1..4, filters=3942621, revisions=(3290467,useless=108383), ccks=33600, wck=5.364, mem=171M373
11.41/7.67 decisions=38415, wrong=18251, backtracks=5223, failedAssignments=13930, nogoods=3644, foundSolutions=105, bestBound=625
11.41/7.67
11.41/7.68 num=587, depth=2..5, filters=3952458, revisions=(3298974,useless=108517), ccks=33600, wck=5.374, mem=175M109
11.41/7.68 decisions=38524, wrong=18304, backtracks=5245, failedAssignments=13964, nogoods=3652, foundSolutions=105, bestBound=625
11.41/7.68
11.41/7.69 num=588, depth=0..4, filters=3962512, revisions=(3307158,useless=108617), ccks=33600, wck=5.387, mem=175M109
11.41/7.69 decisions=38625, wrong=18353, backtracks=5257, failedAssignments=14001, nogoods=3660, foundSolutions=105, bestBound=625
11.41/7.69
11.51/7.70 num=589, depth=1..4, filters=3974685, revisions=(3317392,useless=108792), ccks=33600, wck=5.401, mem=175M109
11.51/7.70 decisions=38753, wrong=18416, backtracks=5280, failedAssignments=14042, nogoods=3664, foundSolutions=105, bestBound=625
11.51/7.70
11.51/7.72 num=590, depth=1..6, filters=3987544, revisions=(3328461,useless=108945), ccks=33600, wck=5.415, mem=178M845
11.51/7.72 decisions=38889, wrong=18482, backtracks=5308, failedAssignments=14087, nogoods=3672, foundSolutions=105, bestBound=625
11.51/7.72
11.51/7.73 num=591, depth=1..5, filters=4002549, revisions=(3340991,useless=109112), ccks=33600, wck=5.432, mem=178M845
11.51/7.73 decisions=39046, wrong=18559, backtracks=5337, failedAssignments=14137, nogoods=3679, foundSolutions=105, bestBound=625
11.51/7.73
11.51/7.74 o 612
11.51/7.74 num=592, depth=2..322, filters=4008648, revisions=(3346002,useless=109185), ccks=33920, wck=5.44, mem=178M845
11.51/7.74 decisions=39101, wrong=18584, backtracks=5346, failedAssignments=14153, nogoods=3683, foundSolutions=106, bestBound=612
11.51/7.74
11.51/7.75 o 611
11.51/7.75 num=593, depth=2..322, filters=4013618, revisions=(3350331,useless=109752), ccks=34240, wck=5.448, mem=178M845
11.51/7.75 decisions=39146, wrong=18604, backtracks=5353, failedAssignments=14166, nogoods=3685, foundSolutions=107, bestBound=611
11.51/7.75
11.51/7.75 num=594, depth=2..5, filters=4017179, revisions=(3353528,useless=110307), ccks=34240, wck=5.453, mem=178M845
11.51/7.75 decisions=39179, wrong=18618, backtracks=5356, failedAssignments=14177, nogoods=3691, foundSolutions=107, bestBound=611
11.51/7.75
11.51/7.76 o 609
11.51/7.76 num=595, depth=2..322, filters=4020011, revisions=(3355781,useless=110336), ccks=34560, wck=5.457, mem=178M845
11.51/7.76 decisions=39200, wrong=18626, backtracks=5358, failedAssignments=14183, nogoods=3692, foundSolutions=108, bestBound=609
11.51/7.76
11.51/7.76 num=596, depth=3..6, filters=4023657, revisions=(3359067,useless=110904), ccks=34560, wck=5.463, mem=182M581
11.51/7.76 decisions=39233, wrong=18641, backtracks=5362, failedAssignments=14195, nogoods=3697, foundSolutions=108, bestBound=609
11.51/7.76
11.51/7.77 num=597, depth=3..4, filters=4026725, revisions=(3361532,useless=110928), ccks=34560, wck=5.467, mem=182M581
11.51/7.77 decisions=39265, wrong=18655, backtracks=5365, failedAssignments=14206, nogoods=3702, foundSolutions=108, bestBound=609
11.51/7.77
11.51/7.77 num=598, depth=2..5, filters=4030807, revisions=(3364999,useless=110977), ccks=34560, wck=5.472, mem=182M581
11.51/7.77 decisions=39303, wrong=18673, backtracks=5375, failedAssignments=14218, nogoods=3706, foundSolutions=108, bestBound=609
11.51/7.77
11.51/7.78 num=599, depth=2..6, filters=4034817, revisions=(3368305,useless=111022), ccks=34560, wck=5.477, mem=182M581
11.51/7.78 decisions=39349, wrong=18694, backtracks=5385, failedAssignments=14231, nogoods=3710, foundSolutions=108, bestBound=609
11.51/7.78
11.51/7.78 num=600, depth=1..4, filters=4040012, revisions=(3372772,useless=111111), ccks=34560, wck=5.483, mem=182M581
11.51/7.78 decisions=39396, wrong=18716, backtracks=5395, failedAssignments=14245, nogoods=3713, foundSolutions=108, bestBound=609
11.51/7.78
11.51/7.79 num=601, depth=2..5, filters=4044864, revisions=(3376803,useless=111163), ccks=34560, wck=5.488, mem=182M581
11.51/7.79 decisions=39444, wrong=18738, backtracks=5402, failedAssignments=14261, nogoods=3717, foundSolutions=108, bestBound=609
11.51/7.79
11.51/7.80 num=602, depth=2..4, filters=4049552, revisions=(3380572,useless=111226), ccks=34560, wck=5.494, mem=182M581
11.51/7.80 decisions=39489, wrong=18759, backtracks=5406, failedAssignments=14278, nogoods=3726, foundSolutions=108, bestBound=609
11.51/7.80
11.61/7.80 num=603, depth=1..3, filters=4054443, revisions=(3384780,useless=111280), ccks=34560, wck=5.5, mem=182M581
11.61/7.80 decisions=39542, wrong=18785, backtracks=5413, failedAssignments=14297, nogoods=3730, foundSolutions=108, bestBound=609
11.61/7.80
11.61/7.81 num=604, depth=2..6, filters=4061476, revisions=(3390683,useless=111421), ccks=34560, wck=5.508, mem=186M318
11.61/7.81 decisions=39612, wrong=18818, backtracks=5428, failedAssignments=14318, nogoods=3738, foundSolutions=108, bestBound=609
11.61/7.81
11.61/7.82 num=605, depth=0..4, filters=4068661, revisions=(3396798,useless=111559), ccks=34560, wck=5.517, mem=186M318
11.61/7.82 decisions=39671, wrong=18846, backtracks=5436, failedAssignments=14341, nogoods=3747, foundSolutions=108, bestBound=609
11.61/7.82
11.61/7.83 num=606, depth=1..5, filters=4075123, revisions=(3402143,useless=111634), ccks=34560, wck=5.526, mem=186M318
11.61/7.83 decisions=39737, wrong=18878, backtracks=5444, failedAssignments=14366, nogoods=3751, foundSolutions=108, bestBound=609
11.61/7.83
11.61/7.83 o 608
11.61/7.83 num=607, depth=2..322, filters=4078654, revisions=(3405045,useless=111665), ccks=34880, wck=5.53, mem=186M318
11.61/7.83 decisions=39770, wrong=18892, backtracks=5451, failedAssignments=14373, nogoods=3754, foundSolutions=109, bestBound=608
11.61/7.83
11.61/7.84 o 607
11.61/7.84 num=608, depth=2..322, filters=4081156, revisions=(3407518,useless=112206), ccks=35200, wck=5.535, mem=186M318
11.61/7.84 decisions=39790, wrong=18899, backtracks=5454, failedAssignments=14378, nogoods=3756, foundSolutions=110, bestBound=607
11.61/7.84
11.61/7.84 o 605
11.61/7.84 num=609, depth=2..322, filters=4083191, revisions=(3409625,useless=112749), ccks=35520, wck=5.539, mem=186M318
11.61/7.84 decisions=39806, wrong=18904, backtracks=5455, failedAssignments=14382, nogoods=3759, foundSolutions=111, bestBound=605
11.61/7.84
11.61/7.84 o 604
11.61/7.84 num=610, depth=5..322, filters=4084513, revisions=(3411142,useless=113282), ccks=35840, wck=5.542, mem=186M318
11.61/7.84 decisions=39814, wrong=18905, backtracks=5455, failedAssignments=14383, nogoods=3760, foundSolutions=112, bestBound=604
11.61/7.84
11.61/7.85 o 603
11.61/7.85 num=611, depth=4..322, filters=4086734, revisions=(3413350,useless=113824), ccks=36160, wck=5.547, mem=190M54
11.61/7.85 decisions=39832, wrong=18911, backtracks=5457, failedAssignments=14387, nogoods=3762, foundSolutions=113, bestBound=603
11.61/7.85
11.61/7.85 num=612, depth=3..6, filters=4090652, revisions=(3416900,useless=114393), ccks=36160, wck=5.553, mem=190M54
11.61/7.85 decisions=39865, wrong=18926, backtracks=5462, failedAssignments=14398, nogoods=3767, foundSolutions=113, bestBound=603
11.61/7.85
11.61/7.86 num=613, depth=3..5, filters=4093883, revisions=(3419538,useless=114425), ccks=36160, wck=5.557, mem=190M54
11.61/7.86 decisions=39896, wrong=18940, backtracks=5466, failedAssignments=14409, nogoods=3770, foundSolutions=113, bestBound=603
11.61/7.86
11.61/7.86 num=614, depth=2..5, filters=4098222, revisions=(3423119,useless=114466), ccks=36160, wck=5.562, mem=190M54
11.61/7.86 decisions=39934, wrong=18958, backtracks=5473, failedAssignments=14421, nogoods=3775, foundSolutions=113, bestBound=603
11.61/7.86
11.61/7.87 o 602
11.61/7.87 num=615, depth=3..322, filters=4099919, revisions=(3424472,useless=114475), ccks=36480, wck=5.565, mem=190M54
11.61/7.87 decisions=39947, wrong=18962, backtracks=5474, failedAssignments=14424, nogoods=3776, foundSolutions=114, bestBound=602
11.61/7.87
11.61/7.87 num=616, depth=2..7, filters=4104162, revisions=(3428334,useless=115034), ccks=36480, wck=5.572, mem=190M54
11.61/7.87 decisions=39986, wrong=18980, backtracks=5481, failedAssignments=14438, nogoods=3779, foundSolutions=114, bestBound=602
11.61/7.87
11.61/7.88 num=617, depth=1..4, filters=4108233, revisions=(3431793,useless=115097), ccks=36480, wck=5.576, mem=190M54
11.61/7.88 decisions=40023, wrong=18998, backtracks=5488, failedAssignments=14449, nogoods=3781, foundSolutions=114, bestBound=602
11.61/7.88
11.61/7.88 num=618, depth=1..4, filters=4112698, revisions=(3435534,useless=115123), ccks=36480, wck=5.582, mem=190M54
11.61/7.88 decisions=40059, wrong=19015, backtracks=5495, failedAssignments=14461, nogoods=3786, foundSolutions=114, bestBound=602
11.61/7.88
11.61/7.89 num=619, depth=1..5, filters=4116869, revisions=(3438830,useless=115165), ccks=36480, wck=5.588, mem=190M54
11.61/7.89 decisions=40096, wrong=19032, backtracks=5500, failedAssignments=14474, nogoods=3791, foundSolutions=114, bestBound=602
11.61/7.89
11.61/7.89 num=620, depth=2..5, filters=4120498, revisions=(3441872,useless=115216), ccks=36480, wck=5.592, mem=190M54
11.61/7.89 decisions=40136, wrong=19050, backtracks=5505, failedAssignments=14488, nogoods=3796, foundSolutions=114, bestBound=602
11.61/7.89
11.71/7.90 o 601
11.71/7.90 num=621, depth=2..322, filters=4126132, revisions=(3446515,useless=115279), ccks=36800, wck=5.599, mem=193M790
11.71/7.90 decisions=40191, wrong=19075, backtracks=5516, failedAssignments=14503, nogoods=3800, foundSolutions=115, bestBound=601
11.71/7.90
11.71/7.90 o 597
11.71/7.91 num=622, depth=3..322, filters=4128801, revisions=(3449096,useless=115834), ccks=37120, wck=5.604, mem=193M790
11.71/7.91 decisions=40213, wrong=19083, backtracks=5519, failedAssignments=14510, nogoods=3801, foundSolutions=116, bestBound=597
11.71/7.91
11.71/7.91 o 596
11.71/7.91 num=623, depth=2..322, filters=4130745, revisions=(3451204,useless=116379), ccks=37440, wck=5.608, mem=193M790
11.71/7.91 decisions=40227, wrong=19087, backtracks=5519, failedAssignments=14514, nogoods=3805, foundSolutions=117, bestBound=596
11.71/7.91
11.71/7.91 o 592
11.71/7.91 num=624, depth=4..322, filters=4132303, revisions=(3452929,useless=116919), ccks=37760, wck=5.612, mem=193M790
11.71/7.91 decisions=40237, wrong=19089, backtracks=5520, failedAssignments=14515, nogoods=3806, foundSolutions=118, bestBound=592
11.71/7.91
11.71/7.92 o 591
11.71/7.92 num=625, depth=5..322, filters=4133613, revisions=(3454441,useless=117454), ccks=38080, wck=5.615, mem=193M790
11.71/7.92 decisions=40245, wrong=19090, backtracks=5520, failedAssignments=14516, nogoods=3807, foundSolutions=119, bestBound=591
11.71/7.92
11.71/7.92 o 590
11.71/7.92 num=626, depth=4..322, filters=4135928, revisions=(3456750,useless=117998), ccks=38400, wck=5.619, mem=193M790
11.71/7.92 decisions=40263, wrong=19096, backtracks=5522, failedAssignments=14520, nogoods=3809, foundSolutions=120, bestBound=590
11.71/7.92
11.71/7.93 num=627, depth=3..6, filters=4139892, revisions=(3460348,useless=118571), ccks=38400, wck=5.625, mem=193M790
11.71/7.93 decisions=40296, wrong=19111, backtracks=5527, failedAssignments=14531, nogoods=3814, foundSolutions=120, bestBound=590
11.71/7.93
11.71/7.93 num=628, depth=2..4, filters=4143709, revisions=(3463414,useless=118616), ccks=38400, wck=5.63, mem=193M790
11.71/7.93 decisions=40332, wrong=19128, backtracks=5533, failedAssignments=14542, nogoods=3816, foundSolutions=120, bestBound=590
11.71/7.93
11.71/7.94 num=629, depth=2..4, filters=4147938, revisions=(3467034,useless=118665), ccks=38400, wck=5.635, mem=193M790
11.71/7.94 decisions=40373, wrong=19147, backtracks=5540, failedAssignments=14554, nogoods=3823, foundSolutions=120, bestBound=590
11.71/7.94
11.71/7.94 num=630, depth=2..4, filters=4153282, revisions=(3471318,useless=118754), ccks=38400, wck=5.642, mem=197M526
11.71/7.94 decisions=40416, wrong=19167, backtracks=5547, failedAssignments=14567, nogoods=3829, foundSolutions=120, bestBound=590
11.71/7.94
11.71/7.95 num=631, depth=1..5, filters=4157419, revisions=(3474651,useless=118795), ccks=38400, wck=5.647, mem=197M526
11.71/7.95 decisions=40460, wrong=19187, backtracks=5553, failedAssignments=14581, nogoods=3832, foundSolutions=120, bestBound=590
11.71/7.95
11.71/7.96 num=632, depth=1..5, filters=4163052, revisions=(3479376,useless=118892), ccks=38400, wck=5.655, mem=197M526
11.71/7.96 decisions=40508, wrong=19210, backtracks=5563, failedAssignments=14597, nogoods=3837, foundSolutions=120, bestBound=590
11.71/7.96
11.71/7.96 num=633, depth=2..4, filters=4168455, revisions=(3483808,useless=118967), ccks=38400, wck=5.661, mem=197M526
11.71/7.96 decisions=40554, wrong=19232, backtracks=5568, failedAssignments=14614, nogoods=3843, foundSolutions=120, bestBound=590
11.71/7.96
11.71/7.97 num=634, depth=1..4, filters=4174601, revisions=(3489070,useless=119020), ccks=38400, wck=5.668, mem=197M526
11.71/7.97 decisions=40622, wrong=19265, backtracks=5582, failedAssignments=14633, nogoods=3848, foundSolutions=120, bestBound=590
11.71/7.97
11.71/7.98 num=635, depth=3..6, filters=4179682, revisions=(3493327,useless=119080), ccks=38400, wck=5.675, mem=197M526
11.71/7.98 decisions=40675, wrong=19290, backtracks=5589, failedAssignments=14654, nogoods=3856, foundSolutions=120, bestBound=590
11.71/7.98
11.71/7.99 num=636, depth=0..4, filters=4187627, revisions=(3499897,useless=119270), ccks=38400, wck=5.686, mem=201M262
11.71/7.99 decisions=40745, wrong=19324, backtracks=5600, failedAssignments=14677, nogoods=3859, foundSolutions=120, bestBound=590
11.71/7.99
11.71/7.99 num=637, depth=1..4, filters=4193908, revisions=(3504988,useless=119367), ccks=38400, wck=5.694, mem=201M262
11.71/7.99 decisions=40809, wrong=19355, backtracks=5606, failedAssignments=14702, nogoods=3864, foundSolutions=120, bestBound=590
11.71/7.99
11.71/8.00 num=638, depth=2..6, filters=4201974, revisions=(3511828,useless=119463), ccks=38400, wck=5.703, mem=201M262
11.71/8.00 decisions=40894, wrong=19396, backtracks=5624, failedAssignments=14730, nogoods=3870, foundSolutions=120, bestBound=590
11.71/8.00
11.83/8.01 num=639, depth=1..5, filters=4210931, revisions=(3519277,useless=119619), ccks=38400, wck=5.713, mem=201M262
11.83/8.01 decisions=40985, wrong=19440, backtracks=5638, failedAssignments=14761, nogoods=3877, foundSolutions=120, bestBound=590
11.83/8.01
11.83/8.03 num=640, depth=1..4, filters=4221804, revisions=(3528503,useless=119748), ccks=38400, wck=5.725, mem=201M262
11.83/8.03 decisions=41102, wrong=19498, backtracks=5665, failedAssignments=14795, nogoods=3879, foundSolutions=120, bestBound=590
11.83/8.03
11.83/8.04 num=641, depth=1..6, filters=4231877, revisions=(3536848,useless=119902), ccks=38400, wck=5.737, mem=204M998
11.83/8.04 decisions=41212, wrong=19552, backtracks=5685, failedAssignments=14832, nogoods=3886, foundSolutions=120, bestBound=590
11.83/8.04
11.83/8.05 num=642, depth=2..5, filters=4243667, revisions=(3546869,useless=120056), ccks=38400, wck=5.751, mem=204M998
11.83/8.05 decisions=41335, wrong=19612, backtracks=5706, failedAssignments=14873, nogoods=3895, foundSolutions=120, bestBound=590
11.83/8.05
11.83/8.07 num=643, depth=1..5, filters=4257012, revisions=(3558186,useless=120295), ccks=38400, wck=5.765, mem=204M998
11.83/8.07 decisions=41473, wrong=19680, backtracks=5731, failedAssignments=14918, nogoods=3897, foundSolutions=120, bestBound=590
11.83/8.07
11.83/8.08 num=644, depth=1..4, filters=4270564, revisions=(3569651,useless=120476), ccks=38400, wck=5.782, mem=208M734
11.83/8.08 decisions=41608, wrong=19746, backtracks=5749, failedAssignments=14968, nogoods=3911, foundSolutions=120, bestBound=590
11.83/8.08
11.83/8.10 num=645, depth=2..6, filters=4284724, revisions=(3581402,useless=120656), ccks=38400, wck=5.799, mem=208M734
11.83/8.10 decisions=41777, wrong=19829, backtracks=5782, failedAssignments=15023, nogoods=3918, foundSolutions=120, bestBound=590
11.83/8.10
11.94/8.12 num=646, depth=0..5, filters=4302854, revisions=(3596548,useless=120882), ccks=38400, wck=5.821, mem=208M734
11.94/8.12 decisions=41959, wrong=19919, backtracks=5817, failedAssignments=15084, nogoods=3922, foundSolutions=120, bestBound=590
11.94/8.12
11.94/8.15 num=647, depth=1..4, filters=4321907, revisions=(3612315,useless=121327), ccks=38400, wck=5.846, mem=210M397
11.94/8.15 decisions=42140, wrong=20008, backtracks=5839, failedAssignments=15151, nogoods=3934, foundSolutions=120, bestBound=590
11.94/8.15
11.94/8.17 o 589
11.94/8.17 num=648, depth=1..322, filters=4326335, revisions=(3616090,useless=121387), ccks=38720, wck=5.864, mem=24M950
11.94/8.17 decisions=42185, wrong=20028, backtracks=5845, failedAssignments=15165, nogoods=3940, foundSolutions=121, bestBound=589
11.94/8.17
11.94/8.19 num=649, depth=2..7, filters=4348449, revisions=(3634026,useless=122169), ccks=38720, wck=5.893, mem=24M950
11.94/8.19 decisions=42396, wrong=20132, backtracks=5872, failedAssignments=15246, nogoods=3955, foundSolutions=121, bestBound=589
11.94/8.19
12.06/8.20 num=650, depth=1..3, filters=4351713, revisions=(3636710,useless=122197), ccks=38720, wck=5.897, mem=28M698
12.06/8.20 decisions=42426, wrong=20146, backtracks=5875, failedAssignments=15257, nogoods=3959, foundSolutions=121, bestBound=589
12.06/8.20
12.06/8.20 num=651, depth=2..4, filters=4354994, revisions=(3639413,useless=122282), ccks=38720, wck=5.901, mem=28M698
12.06/8.20 decisions=42457, wrong=20160, backtracks=5878, failedAssignments=15269, nogoods=3965, foundSolutions=121, bestBound=589
12.06/8.20
12.06/8.21 num=652, depth=2..4, filters=4358905, revisions=(3642698,useless=122321), ccks=38720, wck=5.906, mem=28M698
12.06/8.21 decisions=42494, wrong=20177, backtracks=5883, failedAssignments=15282, nogoods=3973, foundSolutions=121, bestBound=589
12.06/8.21
12.06/8.21 num=653, depth=1..4, filters=4363402, revisions=(3646327,useless=122418), ccks=38720, wck=5.912, mem=28M698
12.06/8.21 decisions=42533, wrong=20195, backtracks=5888, failedAssignments=15296, nogoods=3976, foundSolutions=121, bestBound=589
12.06/8.21
12.06/8.22 num=654, depth=2..5, filters=4368133, revisions=(3650022,useless=122496), ccks=38720, wck=5.918, mem=28M698
12.06/8.22 decisions=42575, wrong=20214, backtracks=5891, failedAssignments=15312, nogoods=3978, foundSolutions=121, bestBound=589
12.06/8.22
12.06/8.22 num=655, depth=1..6, filters=4372417, revisions=(3653596,useless=122609), ccks=38720, wck=5.924, mem=28M698
12.06/8.22 decisions=42619, wrong=20235, backtracks=5899, failedAssignments=15329, nogoods=3983, foundSolutions=121, bestBound=589
12.06/8.22
12.06/8.23 num=656, depth=1..4, filters=4379126, revisions=(3659215,useless=122706), ccks=38720, wck=5.932, mem=28M698
12.06/8.23 decisions=42673, wrong=20261, backtracks=5907, failedAssignments=15348, nogoods=3989, foundSolutions=121, bestBound=589
12.06/8.23
12.06/8.24 num=657, depth=0..3, filters=4386759, revisions=(3665586,useless=122901), ccks=38720, wck=5.941, mem=32M446
12.06/8.24 decisions=42738, wrong=20293, backtracks=5919, failedAssignments=15369, nogoods=3991, foundSolutions=121, bestBound=589
12.06/8.24
12.06/8.25 num=658, depth=1..5, filters=4394918, revisions=(3672353,useless=123063), ccks=38720, wck=5.951, mem=32M446
12.06/8.25 decisions=42814, wrong=20330, backtracks=5933, failedAssignments=15392, nogoods=3995, foundSolutions=121, bestBound=589
12.06/8.25
12.06/8.26 o 588
12.06/8.26 num=659, depth=2..322, filters=4396916, revisions=(3674012,useless=123080), ccks=39040, wck=5.954, mem=32M446
12.06/8.26 decisions=42835, wrong=20338, backtracks=5936, failedAssignments=15398, nogoods=3998, foundSolutions=122, bestBound=588
12.06/8.26
12.06/8.27 num=660, depth=1..6, filters=4404425, revisions=(3680367,useless=123686), ccks=39040, wck=5.966, mem=32M446
12.06/8.27 decisions=42903, wrong=20371, backtracks=5944, failedAssignments=15426, nogoods=4004, foundSolutions=122, bestBound=588
12.06/8.27
12.06/8.27 num=661, depth=0..4, filters=4409189, revisions=(3684314,useless=123770), ccks=39040, wck=5.972, mem=32M446
12.06/8.27 decisions=42948, wrong=20393, backtracks=5955, failedAssignments=15437, nogoods=4005, foundSolutions=122, bestBound=588
12.06/8.27
12.06/8.28 num=662, depth=2..5, filters=4412978, revisions=(3687459,useless=123801), ccks=39040, wck=5.976, mem=32M446
12.06/8.28 decisions=42989, wrong=20412, backtracks=5962, failedAssignments=15449, nogoods=4011, foundSolutions=122, bestBound=588
12.06/8.28
12.06/8.28 o 587
12.06/8.28 num=663, depth=2..322, filters=4416627, revisions=(3690536,useless=123844), ccks=39360, wck=5.98, mem=32M446
12.06/8.28 decisions=43024, wrong=20427, backtracks=5970, failedAssignments=15457, nogoods=4013, foundSolutions=123, bestBound=587
12.06/8.28
12.06/8.29 num=664, depth=3..8, filters=4420434, revisions=(3694172,useless=124442), ccks=39360, wck=5.987, mem=36M193
12.06/8.29 decisions=43061, wrong=20444, backtracks=5973, failedAssignments=15471, nogoods=4025, foundSolutions=123, bestBound=587
12.06/8.29
12.06/8.29 num=665, depth=2..4, filters=4424538, revisions=(3697597,useless=124495), ccks=39360, wck=5.991, mem=36M193
12.06/8.29 decisions=43096, wrong=20460, backtracks=5978, failedAssignments=15482, nogoods=4029, foundSolutions=123, bestBound=587
12.06/8.29
12.16/8.30 num=666, depth=2..5, filters=4428407, revisions=(3700768,useless=124522), ccks=39360, wck=5.996, mem=36M193
12.16/8.30 decisions=43136, wrong=20478, backtracks=5985, failedAssignments=15494, nogoods=4034, foundSolutions=123, bestBound=587
12.16/8.30
12.16/8.30 o 586
12.16/8.30 num=667, depth=1..322, filters=4433000, revisions=(3704640,useless=124576), ccks=39680, wck=6.002, mem=36M193
12.16/8.30 decisions=43177, wrong=20496, backtracks=5995, failedAssignments=15504, nogoods=4037, foundSolutions=124, bestBound=586
12.16/8.30
12.16/8.31 num=668, depth=2..7, filters=4438305, revisions=(3709455,useless=125211), ccks=39680, wck=6.009, mem=36M193
12.16/8.31 decisions=43221, wrong=20516, backtracks=6002, failedAssignments=15518, nogoods=4043, foundSolutions=124, bestBound=586
12.16/8.31
12.16/8.31 num=669, depth=2..4, filters=4441938, revisions=(3712451,useless=125272), ccks=39680, wck=6.014, mem=36M193
12.16/8.31 decisions=43253, wrong=20531, backtracks=6006, failedAssignments=15529, nogoods=4046, foundSolutions=124, bestBound=586
12.16/8.31
12.16/8.32 o 585
12.16/8.32 num=670, depth=2..322, filters=4446483, revisions=(3716327,useless=125331), ccks=40000, wck=6.019, mem=36M193
12.16/8.32 decisions=43292, wrong=20548, backtracks=6015, failedAssignments=15538, nogoods=4048, foundSolutions=125, bestBound=585
12.16/8.32
12.16/8.33 num=671, depth=2..5, filters=4452170, revisions=(3721307,useless=125947), ccks=40000, wck=6.028, mem=39M941
12.16/8.33 decisions=43335, wrong=20568, backtracks=6024, failedAssignments=15551, nogoods=4053, foundSolutions=125, bestBound=585
12.16/8.33
12.16/8.33 num=672, depth=1..4, filters=4456344, revisions=(3724801,useless=126018), ccks=40000, wck=6.033, mem=39M941
12.16/8.33 decisions=43367, wrong=20583, backtracks=6028, failedAssignments=15562, nogoods=4058, foundSolutions=125, bestBound=585
12.16/8.33
12.16/8.34 num=673, depth=1..4, filters=4459625, revisions=(3727438,useless=126082), ccks=40000, wck=6.038, mem=39M941
12.16/8.34 decisions=43398, wrong=20598, backtracks=6031, failedAssignments=15574, nogoods=4060, foundSolutions=125, bestBound=585
12.16/8.34
12.16/8.34 num=674, depth=2..5, filters=4463879, revisions=(3730920,useless=126132), ccks=40000, wck=6.043, mem=39M941
12.16/8.34 decisions=43438, wrong=20616, backtracks=6037, failedAssignments=15587, nogoods=4063, foundSolutions=125, bestBound=585
12.16/8.34
12.16/8.35 num=675, depth=1..5, filters=4469842, revisions=(3735957,useless=126208), ccks=40000, wck=6.05, mem=39M941
12.16/8.35 decisions=43494, wrong=20643, backtracks=6051, failedAssignments=15601, nogoods=4068, foundSolutions=125, bestBound=585
12.16/8.35
12.16/8.36 num=676, depth=0..5, filters=4474686, revisions=(3739878,useless=126251), ccks=40000, wck=6.056, mem=39M941
12.16/8.36 decisions=43540, wrong=20665, backtracks=6059, failedAssignments=15617, nogoods=4070, foundSolutions=125, bestBound=585
12.16/8.36
12.16/8.36 num=677, depth=2..4, filters=4480201, revisions=(3744416,useless=126393), ccks=40000, wck=6.062, mem=39M941
12.16/8.36 decisions=43586, wrong=20687, backtracks=6064, failedAssignments=15634, nogoods=4077, foundSolutions=125, bestBound=585
12.16/8.36
12.16/8.37 num=678, depth=0..3, filters=4485966, revisions=(3749206,useless=126480), ccks=40000, wck=6.07, mem=39M941
12.16/8.37 decisions=43644, wrong=20715, backtracks=6074, failedAssignments=15653, nogoods=4080, foundSolutions=125, bestBound=585
12.16/8.37
12.16/8.38 num=679, depth=1..5, filters=4494341, revisions=(3756346,useless=126566), ccks=40000, wck=6.079, mem=43M689
12.16/8.38 decisions=43724, wrong=20753, backtracks=6092, failedAssignments=15674, nogoods=4083, foundSolutions=125, bestBound=585
12.16/8.38
12.16/8.39 num=680, depth=1..5, filters=4500872, revisions=(3761567,useless=126632), ccks=40000, wck=6.087, mem=43M689
12.16/8.39 decisions=43789, wrong=20784, backtracks=6102, failedAssignments=15697, nogoods=4090, foundSolutions=125, bestBound=585
12.16/8.39
12.27/8.40 num=681, depth=0..4, filters=4510191, revisions=(3769190,useless=126771), ccks=40000, wck=6.098, mem=43M689
12.27/8.40 decisions=43872, wrong=20824, backtracks=6118, failedAssignments=15722, nogoods=4093, foundSolutions=125, bestBound=585
12.27/8.40
12.27/8.40 o 584
12.27/8.40 num=682, depth=2..322, filters=4513444, revisions=(3771859,useless=126821), ccks=40320, wck=6.102, mem=43M689
12.27/8.40 decisions=43901, wrong=20836, backtracks=6123, failedAssignments=15729, nogoods=4094, foundSolutions=126, bestBound=584
12.27/8.40
12.27/8.41 num=683, depth=1..5, filters=4521160, revisions=(3778412,useless=127446), ccks=40320, wck=6.114, mem=43M689
12.27/8.41 decisions=43978, wrong=20874, backtracks=6133, failedAssignments=15760, nogoods=4106, foundSolutions=126, bestBound=584
12.27/8.41
12.27/8.42 num=684, depth=2..4, filters=4524538, revisions=(3781068,useless=127490), ccks=40320, wck=6.118, mem=43M689
12.27/8.42 decisions=44009, wrong=20888, backtracks=6136, failedAssignments=15771, nogoods=4110, foundSolutions=126, bestBound=584
12.27/8.42
12.27/8.42 num=685, depth=1..5, filters=4528442, revisions=(3784392,useless=127545), ccks=40320, wck=6.123, mem=47M437
12.27/8.42 decisions=44046, wrong=20905, backtracks=6142, failedAssignments=15783, nogoods=4114, foundSolutions=126, bestBound=584
12.27/8.42
12.27/8.43 num=686, depth=1..4, filters=4533892, revisions=(3788814,useless=127638), ccks=40320, wck=6.129, mem=47M437
12.27/8.43 decisions=44093, wrong=20928, backtracks=6152, failedAssignments=15796, nogoods=4115, foundSolutions=126, bestBound=584
12.27/8.43
12.27/8.44 o 583
12.27/8.44 num=687, depth=1..322, filters=4538648, revisions=(3792845,useless=127708), ccks=40640, wck=6.135, mem=47M437
12.27/8.44 decisions=44136, wrong=20947, backtracks=6161, failedAssignments=15808, nogoods=4117, foundSolutions=127, bestBound=583
12.27/8.44
12.27/8.44 num=688, depth=0..4, filters=4543942, revisions=(3797562,useless=128318), ccks=40640, wck=6.143, mem=47M437
12.27/8.44 decisions=44182, wrong=20969, backtracks=6169, failedAssignments=15824, nogoods=4119, foundSolutions=127, bestBound=583
12.27/8.44
12.27/8.45 num=689, depth=2..5, filters=4548182, revisions=(3801168,useless=128400), ccks=40640, wck=6.148, mem=47M437
12.27/8.45 decisions=44218, wrong=20986, backtracks=6177, failedAssignments=15835, nogoods=4123, foundSolutions=127, bestBound=583
12.27/8.45
12.27/8.46 num=690, depth=1..4, filters=4553799, revisions=(3805855,useless=128523), ccks=40640, wck=6.154, mem=47M437
12.27/8.46 decisions=44259, wrong=21005, backtracks=6184, failedAssignments=15847, nogoods=4128, foundSolutions=127, bestBound=583
12.27/8.46
12.27/8.46 num=691, depth=2..4, filters=4558428, revisions=(3809611,useless=128636), ccks=40640, wck=6.16, mem=47M437
12.27/8.46 decisions=44295, wrong=21022, backtracks=6188, failedAssignments=15860, nogoods=4131, foundSolutions=127, bestBound=583
12.27/8.46
12.27/8.47 num=692, depth=0..4, filters=4564706, revisions=(3814853,useless=128732), ccks=40640, wck=6.168, mem=51M184
12.27/8.47 decisions=44346, wrong=21046, backtracks=6200, failedAssignments=15874, nogoods=4133, foundSolutions=127, bestBound=583
12.27/8.47
12.27/8.48 num=693, depth=1..4, filters=4570316, revisions=(3819609,useless=128812), ccks=40640, wck=6.174, mem=51M184
12.27/8.48 decisions=44393, wrong=21069, backtracks=6208, failedAssignments=15890, nogoods=4138, foundSolutions=127, bestBound=583
12.27/8.48
12.27/8.48 num=694, depth=1..4, filters=4576618, revisions=(3824836,useless=128933), ccks=40640, wck=6.181, mem=51M184
12.27/8.48 decisions=44448, wrong=21095, backtracks=6217, failedAssignments=15907, nogoods=4143, foundSolutions=127, bestBound=583
12.27/8.48
12.27/8.49 num=695, depth=1..4, filters=4582503, revisions=(3829355,useless=129002), ccks=40640, wck=6.189, mem=51M184
12.27/8.49 decisions=44500, wrong=21120, backtracks=6224, failedAssignments=15926, nogoods=4150, foundSolutions=127, bestBound=583
12.27/8.49
12.38/8.50 num=696, depth=1..4, filters=4590644, revisions=(3836486,useless=129162), ccks=40640, wck=6.198, mem=51M184
12.38/8.50 decisions=44572, wrong=21155, backtracks=6240, failedAssignments=15947, nogoods=4154, foundSolutions=127, bestBound=583
12.38/8.50
12.38/8.51 num=697, depth=2..4, filters=4596429, revisions=(3841072,useless=129225), ccks=40640, wck=6.206, mem=51M184
12.38/8.51 decisions=44634, wrong=21185, backtracks=6247, failedAssignments=15970, nogoods=4161, foundSolutions=127, bestBound=583
12.38/8.51
12.38/8.52 num=698, depth=1..5, filters=4604094, revisions=(3847623,useless=129349), ccks=40640, wck=6.215, mem=51M184
12.38/8.52 decisions=44702, wrong=21218, backtracks=6259, failedAssignments=15995, nogoods=4170, foundSolutions=127, bestBound=583
12.38/8.52
12.38/8.53 num=699, depth=0..4, filters=4614629, revisions=(3856009,useless=129499), ccks=40640, wck=6.228, mem=54M932
12.38/8.53 decisions=44788, wrong=21260, backtracks=6275, failedAssignments=16023, nogoods=4173, foundSolutions=127, bestBound=583
12.38/8.53
12.38/8.54 num=700, depth=0..4, filters=4622538, revisions=(3862615,useless=129590), ccks=40640, wck=6.238, mem=54M932
12.38/8.54 decisions=44875, wrong=21302, backtracks=6288, failedAssignments=16054, nogoods=4179, foundSolutions=127, bestBound=583
12.38/8.54
12.38/8.55 num=701, depth=1..5, filters=4632604, revisions=(3870519,useless=129801), ccks=40640, wck=6.252, mem=54M932
12.38/8.55 decisions=44966, wrong=21347, backtracks=6301, failedAssignments=16088, nogoods=4184, foundSolutions=127, bestBound=583
12.38/8.55
12.38/8.57 num=702, depth=0..4, filters=4645390, revisions=(3881174,useless=129982), ccks=40640, wck=6.268, mem=54M932
12.38/8.57 decisions=45074, wrong=21400, backtracks=6319, failedAssignments=16125, nogoods=4189, foundSolutions=127, bestBound=583
12.38/8.57
12.38/8.58 num=703, depth=0..4, filters=4655448, revisions=(3889515,useless=130129), ccks=40640, wck=6.28, mem=58M680
12.38/8.58 decisions=45173, wrong=21449, backtracks=6328, failedAssignments=16166, nogoods=4199, foundSolutions=127, bestBound=583
12.38/8.58
12.48/8.60 num=704, depth=0..4, filters=4670935, revisions=(3902730,useless=130473), ccks=40640, wck=6.301, mem=58M680
12.48/8.60 decisions=45317, wrong=21520, backtracks=6356, failedAssignments=16211, nogoods=4203, foundSolutions=127, bestBound=583
12.48/8.60
12.48/8.62 num=705, depth=0..4, filters=4688029, revisions=(3916802,useless=130826), ccks=40640, wck=6.323, mem=58M680
12.48/8.62 decisions=45458, wrong=21590, backtracks=6380, failedAssignments=16261, nogoods=4206, foundSolutions=127, bestBound=583
12.48/8.62
12.48/8.63
12.48/8.63 New Bounds: 583..582
12.48/8.63 num=706, depth=0..2, filters=4690875, revisions=(3918989,useless=130873), ccks=40640, wck=6.327, mem=62M428
12.48/8.63 decisions=45476, wrong=21600, backtracks=6383, failedAssignments=16269, foundSolutions=127, bestBound=583
12.48/8.63
12.48/8.63 Global
12.48/8.63 filters=4690875, revisions=(3918989,useless=130873), ccks=40640
12.48/8.63 Stop=FULL_EXPLORATION, wrong=21600, bestBound=583, bestBoundWck=6.594, bestBoundCpu=8.348, foundSolutions=127, firstSolCpu=2.287
12.48/8.63 wck=6.787, cpu=8.541, mem=62M428
12.48/8.63
12.48/8.63 v <instantiation id='sol127' type='solution' cost='583'> <list> x[] drd[][] dr[] </list> <values> 15 52 113 204 277 1 38 99 190 263 1 38 99 190 263 91 54 7 98 171 91 54 7 98 171 36 1 62 153 226 36 1 62 153 226 118 81 20 71 144 118 81 20 71 144 52 15 46 137 210 52 15 46 137 210 11 26 87 178 251 12 25 86 177 250 127 90 29 62 135 0 37 98 189 262 0 37 98 189 262 189 152 91 0 73 188 151 90 1 74 262 225 164 73 0 262 225 164 73 0 35 2 63 154 227 35 2 63 154 227 43 6 55 146 219 42 5 56 147 220 4 41 102 193 266 301 264 203 112 39 42 5 56 147 220 70 33 28 119 192 234 197 136 45 28 29 8 69 160 233 138 101 40 51 124 208 171 110 19 54 208 171 110 19 54 15 52 113 204 277 15 52 113 204 277 30 7 68 159 232 30 7 68 159 232 67 30 31 122 195 260 223 162 71 2 28 9 70 161 234 15 22 83 174 247 15 22 83 174 247 37 0 61 152 225 37 0 61 152 225 179 142 81 10 83 88 51 10 101 174 98 61 0 91 164 98 61 0 91 164 140 103 42 49 122 140 103 42 49 122 43 6 55 146 219 43 6 55 146 219 95 58 3 94 167 95 58 3 94 167 1 1 7 7 1 1 20 20 15 15 11 12 29 0 0 0 1 0 0 2 2 6 5 4 39 5 28 28 8 40 19 19 15 15 7 7 30 2 9 15 15 0 0 10 10 0 0 42 42 6 6 3 3 </values> </instantiation>
12.48/8.63 s OPTIMUM FOUND
12.48/8.63
12.48/8.63 d WRONG_DECISIONS 21600
12.48/8.63 d NUMBER_SOLUTIONS 127