2.38/1.89
2.38/1.89 AbsCon 2
2.63/1.91
2.88/2.04 Instance
2.88/2.04 name=instance-4390858-1568387090, framework=COP, bounds=-infty..+infty
2.88/2.04
2.88/2.04 Loading variables...
2.88/2.06 Loading constraints...
3.10/2.19
3.10/2.19 Domains
3.10/2.19 nTypes=18, nValues=330, sizes=[1#1,2#24,3#3,4#2,5#1,7#1,21#12]
3.10/2.19 Variables
3.10/2.19 count=44, degrees=[2#32,31#6,32#6]
3.10/2.19 Objectives
3.10/2.19 way=min, type=SumSimpleLE
3.10/2.19 Constraints
3.10/2.19 count=106, nSpecific=21, arities=[2#85,12#1,13#20]
3.10/2.19 distribution=[CtrIntension#85,ExactlyKVariable#20,SumSimpleLE#1]
3.10/2.19 nIntStructures=(20,shared:65), nCftStructures=(20,shared:65,unbuilt:21)
3.10/2.19 wck=0.328, cpu=2.154, mem=23M870
3.10/2.19 Solver SolverBacktrack being built...
3.10/2.19
3.38/2.21
3.38/2.21 Solver
3.38/2.21 guaranteedGAC=true
3.38/2.21 wck=0.352, cpu=2.177, mem=34M512
3.38/2.22
3.38/2.22 Preprocessing
3.38/2.22 filters=3, revisions=(2,useless=1), ccks=889, nACremovedValues=25, nTotalRemovedValues=25, inconcistency=false
3.38/2.22 wck=0.002, cpu=2.18, mem=34M512
3.38/2.22
3.38/2.23 o 84
3.38/2.23 num=0, depth=5..43, filters=151, revisions=(240,useless=151), ccks=1918, wck=0.02, mem=37M155
3.38/2.23 decisions=30, wrong=7, backtracks=0, failedAssignments=7, nogoods=7, foundSolutions=1, bestBound=84
3.38/2.23
3.38/2.24 num=1, depth=5..11, filters=403, revisions=(512,useless=218), ccks=2585, wck=0.026, mem=37M155
3.38/2.24 decisions=65, wrong=22, backtracks=6, failedAssignments=18, nogoods=8, foundSolutions=1, bestBound=84
3.38/2.24
3.38/2.25 o 82
3.38/2.25 num=2, depth=9..43, filters=658, revisions=(1384,useless=902), ccks=3425, wck=0.037, mem=37M155
3.38/2.25 decisions=122, wrong=42, backtracks=18, failedAssignments=27, nogoods=9, foundSolutions=2, bestBound=82
3.38/2.25
3.38/2.27 num=3, depth=8..13, filters=842, revisions=(1622,useless=1000), ccks=4098, wck=0.052, mem=37M155
3.38/2.27 decisions=162, wrong=58, backtracks=23, failedAssignments=39, nogoods=11, foundSolutions=2, bestBound=82
3.38/2.27
3.38/2.27 o 72
3.38/2.27 num=4, depth=11..43, filters=923, revisions=(1846,useless=1172), ccks=4632, wck=0.055, mem=37M155
3.38/2.27 decisions=190, wrong=61, backtracks=25, failedAssignments=41, nogoods=12, foundSolutions=3, bestBound=72
3.38/2.27
3.38/2.27 num=5, depth=8..14, filters=1176, revisions=(2268,useless=1397), ccks=5370, wck=0.059, mem=37M155
3.38/2.27 decisions=237, wrong=80, backtracks=35, failedAssignments=53, nogoods=14, foundSolutions=3, bestBound=72
3.38/2.27
3.38/2.28 o 69
3.38/2.28 num=6, depth=14..43, filters=1301, revisions=(2682,useless=1742), ccks=5814, wck=0.063, mem=37M155
3.38/2.28 decisions=280, wrong=92, backtracks=41, failedAssignments=60, nogoods=17, foundSolutions=4, bestBound=69
3.38/2.28
3.38/2.28 num=7, depth=8..14, filters=1560, revisions=(3156,useless=2005), ccks=6354, wck=0.066, mem=37M155
3.38/2.28 decisions=324, wrong=110, backtracks=50, failedAssignments=72, nogoods=18, foundSolutions=4, bestBound=69
3.38/2.28
3.38/2.29 num=8, depth=12..17, filters=1761, revisions=(3749,useless=2460), ccks=6854, wck=0.072, mem=37M155
3.38/2.29 decisions=374, wrong=128, backtracks=58, failedAssignments=83, nogoods=23, foundSolutions=4, bestBound=69
3.38/2.29
3.38/2.29 o 68
3.38/2.29 num=9, depth=11..43, filters=1915, revisions=(4118,useless=2721), ccks=7391, wck=0.076, mem=37M155
3.38/2.29 decisions=414, wrong=139, backtracks=62, failedAssignments=91, nogoods=28, foundSolutions=5, bestBound=68
3.38/2.29
3.38/2.29 num=10, depth=5..9, filters=2154, revisions=(4373,useless=2780), ccks=8288, wck=0.078, mem=37M155
3.38/2.29 decisions=453, wrong=156, backtracks=66, failedAssignments=104, nogoods=32, foundSolutions=5, bestBound=68
3.38/2.29
3.38/2.30 o 67
3.38/2.30 num=11, depth=45..43, filters=2206, revisions=(4549,useless=2926), ccks=8686, wck=0.081, mem=37M155
3.38/2.30 decisions=467, wrong=156, backtracks=66, failedAssignments=104, nogoods=32, foundSolutions=6, bestBound=67
3.38/2.30
3.70/2.30 num=12, depth=5..10, filters=2443, revisions=(4805,useless=2987), ccks=9404, wck=0.084, mem=37M155
3.70/2.30 decisions=506, wrong=173, backtracks=71, failedAssignments=116, nogoods=33, foundSolutions=6, bestBound=67
3.70/2.30
3.70/2.30 num=13, depth=10..14, filters=2688, revisions=(5736,useless=3749), ccks=10035, wck=0.088, mem=37M155
3.70/2.30 decisions=562, wrong=196, backtracks=84, failedAssignments=127, nogoods=36, foundSolutions=6, bestBound=67
3.70/2.30
3.70/2.31 num=14, depth=11..19, filters=2838, revisions=(6393,useless=4337), ccks=10548, wck=0.091, mem=37M155
3.70/2.31 decisions=625, wrong=220, backtracks=97, failedAssignments=139, nogoods=38, foundSolutions=6, bestBound=67
3.70/2.31
3.70/2.31 o 65
3.70/2.31 num=15, depth=15..43, filters=2947, revisions=(6733,useless=4613), ccks=10987, wck=0.094, mem=37M155
3.70/2.31 decisions=659, wrong=228, backtracks=100, failedAssignments=144, nogoods=40, foundSolutions=7, bestBound=65
3.70/2.31
3.70/2.31 num=16, depth=7..11, filters=3158, revisions=(6989,useless=4701), ccks=11706, wck=0.096, mem=37M155
3.70/2.31 decisions=702, wrong=246, backtracks=104, failedAssignments=158, nogoods=43, foundSolutions=7, bestBound=65
3.70/2.31
3.70/2.31 o 58
3.70/2.31 num=17, depth=12..43, filters=3237, revisions=(7181,useless=4843), ccks=12187, wck=0.099, mem=37M155
3.70/2.31 decisions=724, wrong=248, backtracks=104, failedAssignments=160, nogoods=45, foundSolutions=8, bestBound=58
3.70/2.31
3.70/2.32 num=18, depth=4..8, filters=3478, revisions=(7427,useless=4889), ccks=13061, wck=0.101, mem=37M155
3.70/2.32 decisions=760, wrong=264, backtracks=108, failedAssignments=172, nogoods=48, foundSolutions=8, bestBound=58
3.70/2.32
3.70/2.32 num=19, depth=10..16, filters=3615, revisions=(8034,useless=5420), ccks=13452, wck=0.104, mem=37M155
3.70/2.32 decisions=804, wrong=280, backtracks=121, failedAssignments=183, nogoods=51, foundSolutions=8, bestBound=58
3.70/2.32
3.70/2.32 o 57
3.70/2.32 num=20, depth=9..43, filters=3693, revisions=(8320,useless=5657), ccks=13829, wck=0.106, mem=37M155
3.70/2.32 decisions=821, wrong=282, backtracks=121, failedAssignments=185, nogoods=53, foundSolutions=9, bestBound=57
3.70/2.32
3.70/2.32 num=21, depth=6..11, filters=3938, revisions=(8589,useless=5722), ccks=14539, wck=0.108, mem=37M155
3.70/2.32 decisions=863, wrong=300, backtracks=126, failedAssignments=198, nogoods=56, foundSolutions=9, bestBound=57
3.70/2.32
3.70/2.33 num=22, depth=12..17, filters=4062, revisions=(8997,useless=6059), ccks=14784, wck=0.111, mem=37M155
3.70/2.33 decisions=904, wrong=314, backtracks=135, failedAssignments=209, nogoods=59, foundSolutions=9, bestBound=57
3.70/2.33
3.70/2.33 o 56
3.70/2.33 num=23, depth=10..43, filters=4135, revisions=(9188,useless=6201), ccks=15104, wck=0.113, mem=37M155
3.70/2.33 decisions=919, wrong=315, backtracks=135, failedAssignments=210, nogoods=60, foundSolutions=10, bestBound=56
3.70/2.33
3.70/2.33 num=24, depth=6..11, filters=4400, revisions=(9522,useless=6321), ccks=15808, wck=0.115, mem=37M155
3.70/2.33 decisions=963, wrong=334, backtracks=143, failedAssignments=223, nogoods=63, foundSolutions=10, bestBound=56
3.70/2.33
3.70/2.33 num=25, depth=12..17, filters=4538, revisions=(9983,useless=6699), ccks=16137, wck=0.118, mem=37M155
3.70/2.33 decisions=1007, wrong=349, backtracks=153, failedAssignments=234, nogoods=66, foundSolutions=10, bestBound=56
3.70/2.33
3.70/2.33 o 55
3.70/2.33 num=26, depth=13..43, filters=4628, revisions=(10310,useless=6973), ccks=16496, wck=0.12, mem=37M155
3.70/2.33 decisions=1034, wrong=356, backtracks=159, failedAssignments=239, nogoods=68, foundSolutions=11, bestBound=55
3.70/2.33
3.70/2.34 num=27, depth=9..14, filters=4829, revisions=(10597,useless=7099), ccks=17089, wck=0.122, mem=37M155
3.70/2.34 decisions=1081, wrong=375, backtracks=166, failedAssignments=252, nogoods=71, foundSolutions=11, bestBound=55
3.70/2.34
3.70/2.34 num=28, depth=11..18, filters=4980, revisions=(11118,useless=7526), ccks=17544, wck=0.125, mem=37M155
3.70/2.34 decisions=1129, wrong=392, backtracks=176, failedAssignments=263, nogoods=77, foundSolutions=11, bestBound=55
3.70/2.34
3.70/2.34 num=29, depth=9..16, filters=5214, revisions=(11561,useless=7791), ccks=18091, wck=0.127, mem=37M155
3.70/2.34 decisions=1174, wrong=409, backtracks=184, failedAssignments=275, nogoods=83, foundSolutions=11, bestBound=55
3.70/2.34
3.70/2.34 num=30, depth=8..14, filters=5436, revisions=(11913,useless=7980), ccks=18706, wck=0.13, mem=37M155
3.70/2.34 decisions=1224, wrong=429, backtracks=194, failedAssignments=288, nogoods=88, foundSolutions=11, bestBound=55
3.70/2.34
3.70/2.35 num=31, depth=10..16, filters=5614, revisions=(12539,useless=8503), ccks=19117, wck=0.134, mem=37M155
3.70/2.35 decisions=1269, wrong=446, backtracks=206, failedAssignments=302, nogoods=93, foundSolutions=11, bestBound=55
3.70/2.35
3.70/2.35 num=32, depth=11..17, filters=5945, revisions=(13555,useless=9308), ccks=19802, wck=0.139, mem=37M155
3.70/2.35 decisions=1332, wrong=472, backtracks=222, failedAssignments=318, nogoods=96, foundSolutions=11, bestBound=55
3.70/2.35
3.70/2.36 num=33, depth=12..20, filters=6190, revisions=(14234,useless=9820), ccks=20389, wck=0.143, mem=37M155
3.70/2.36 decisions=1398, wrong=498, backtracks=240, failedAssignments=335, nogoods=101, foundSolutions=11, bestBound=55
3.70/2.36
3.70/2.36 num=34, depth=8..16, filters=6489, revisions=(14681,useless=10043), ccks=21367, wck=0.147, mem=37M155
3.70/2.36 decisions=1470, wrong=529, backtracks=254, failedAssignments=354, nogoods=104, foundSolutions=11, bestBound=55
3.70/2.36
3.70/2.36 o 54
3.70/2.36 num=35, depth=14..43, filters=6563, revisions=(14926,useless=10244), ccks=21710, wck=0.149, mem=37M155
3.70/2.36 decisions=1492, wrong=532, backtracks=256, failedAssignments=356, nogoods=105, foundSolutions=12, bestBound=54
3.70/2.36
3.70/2.37 num=36, depth=2..7, filters=6966, revisions=(15299,useless=10277), ccks=23615, wck=0.153, mem=37M155
3.70/2.37 decisions=1550, wrong=560, backtracks=261, failedAssignments=379, nogoods=109, foundSolutions=12, bestBound=54
3.70/2.37
3.70/2.37 num=37, depth=9..15, filters=7075, revisions=(15793,useless=10709), ccks=23888, wck=0.156, mem=37M155
3.70/2.37 decisions=1586, wrong=573, backtracks=270, failedAssignments=390, nogoods=113, foundSolutions=12, bestBound=54
3.70/2.37
3.70/2.38 num=38, depth=9..14, filters=7331, revisions=(16823,useless=11575), ccks=24380, wck=0.162, mem=37M155
3.70/2.38 decisions=1640, wrong=594, backtracks=279, failedAssignments=402, nogoods=117, foundSolutions=12, bestBound=54
3.70/2.38
3.70/2.38 num=39, depth=10..18, filters=7472, revisions=(17521,useless=12202), ccks=24674, wck=0.165, mem=37M155
3.70/2.38 decisions=1688, wrong=612, backtracks=292, failedAssignments=415, nogoods=119, foundSolutions=12, bestBound=54
3.70/2.38
3.70/2.38 num=40, depth=12..19, filters=7676, revisions=(18045,useless=12598), ccks=25203, wck=0.169, mem=37M155
3.70/2.38 decisions=1749, wrong=636, backtracks=305, failedAssignments=429, nogoods=126, foundSolutions=12, bestBound=54
3.70/2.38
3.70/2.39 o 53
3.70/2.39 num=41, depth=13..43, filters=7823, revisions=(18384,useless=12856), ccks=25580, wck=0.173, mem=37M155
3.70/2.39 decisions=1796, wrong=650, backtracks=310, failedAssignments=440, nogoods=130, foundSolutions=13, bestBound=53
3.70/2.39
3.70/2.39 num=42, depth=6..11, filters=8078, revisions=(18685,useless=12948), ccks=26520, wck=0.175, mem=39M797
3.70/2.39 decisions=1846, wrong=672, backtracks=315, failedAssignments=457, nogoods=132, foundSolutions=13, bestBound=53
3.70/2.39
3.70/2.39 num=43, depth=10..17, filters=8242, revisions=(19328,useless=13492), ccks=26868, wck=0.179, mem=39M797
3.70/2.39 decisions=1899, wrong=693, backtracks=333, failedAssignments=468, nogoods=135, foundSolutions=13, bestBound=53
3.70/2.39
3.70/2.40 num=44, depth=10..17, filters=8412, revisions=(19962,useless=14029), ccks=27240, wck=0.183, mem=39M797
3.70/2.40 decisions=1943, wrong=708, backtracks=341, failedAssignments=480, nogoods=142, foundSolutions=13, bestBound=53
3.70/2.40
4.03/2.40 o 52
4.03/2.40 num=45, depth=9..43, filters=8513, revisions=(20177,useless=14176), ccks=27656, wck=0.186, mem=39M797
4.03/2.40 decisions=1966, wrong=712, backtracks=343, failedAssignments=482, nogoods=144, foundSolutions=14, bestBound=52
4.03/2.40
4.03/2.40 num=46, depth=3..8, filters=8753, revisions=(20431,useless=14230), ccks=28880, wck=0.189, mem=39M797
4.03/2.40 decisions=2007, wrong=731, backtracks=348, failedAssignments=496, nogoods=145, foundSolutions=14, bestBound=52
4.03/2.40
4.03/2.41 num=47, depth=7..15, filters=8958, revisions=(20743,useless=14381), ccks=29519, wck=0.192, mem=39M797
4.03/2.41 decisions=2053, wrong=747, backtracks=353, failedAssignments=507, nogoods=148, foundSolutions=14, bestBound=52
4.03/2.41
4.03/2.41 num=48, depth=8..19, filters=9099, revisions=(21132,useless=14688), ccks=29889, wck=0.195, mem=39M797
4.03/2.41 decisions=2096, wrong=762, backtracks=363, failedAssignments=519, nogoods=151, foundSolutions=14, bestBound=52
4.03/2.41
4.03/2.41 num=49, depth=10..18, filters=9269, revisions=(21606,useless=15068), ccks=30310, wck=0.198, mem=39M797
4.03/2.41 decisions=2151, wrong=784, backtracks=375, failedAssignments=532, nogoods=154, foundSolutions=14, bestBound=52
4.03/2.41
4.03/2.42 num=50, depth=10..17, filters=9463, revisions=(22353,useless=15705), ccks=30653, wck=0.202, mem=39M797
4.03/2.42 decisions=2205, wrong=806, backtracks=388, failedAssignments=546, nogoods=156, foundSolutions=14, bestBound=52
4.03/2.42
4.03/2.42 num=51, depth=10..14, filters=9713, revisions=(22784,useless=15960), ccks=31469, wck=0.206, mem=39M797
4.03/2.42 decisions=2269, wrong=832, backtracks=398, failedAssignments=562, nogoods=159, foundSolutions=14, bestBound=52
4.03/2.42
4.03/2.42 o 50
4.03/2.42 num=52, depth=10..43, filters=9975, revisions=(23321,useless=16312), ccks=32258, wck=0.21, mem=39M797
4.03/2.42 decisions=2334, wrong=856, backtracks=414, failedAssignments=576, nogoods=161, foundSolutions=15, bestBound=50
4.03/2.42
4.03/2.43 num=53, depth=3..7, filters=10306, revisions=(23641,useless=16350), ccks=33702, wck=0.214, mem=39M797
4.03/2.43 decisions=2383, wrong=879, backtracks=418, failedAssignments=595, nogoods=167, foundSolutions=15, bestBound=50
4.03/2.43
4.03/2.43 num=54, depth=9..16, filters=10448, revisions=(24155,useless=16776), ccks=34182, wck=0.217, mem=39M797
4.03/2.43 decisions=2423, wrong=893, backtracks=427, failedAssignments=606, nogoods=172, foundSolutions=15, bestBound=50
4.03/2.43
4.03/2.44 num=55, depth=9..12, filters=10656, revisions=(24914,useless=17387), ccks=34748, wck=0.221, mem=39M797
4.03/2.44 decisions=2472, wrong=913, backtracks=435, failedAssignments=618, nogoods=176, foundSolutions=15, bestBound=50
4.03/2.44
4.03/2.44 num=56, depth=9..16, filters=10891, revisions=(25518,useless=17830), ccks=35237, wck=0.224, mem=39M797
4.03/2.44 decisions=2523, wrong=932, backtracks=445, failedAssignments=631, nogoods=181, foundSolutions=15, bestBound=50
4.03/2.44
4.03/2.44 num=57, depth=9..14, filters=11078, revisions=(26394,useless=18596), ccks=35538, wck=0.229, mem=39M797
4.03/2.44 decisions=2574, wrong=952, backtracks=460, failedAssignments=645, nogoods=187, foundSolutions=15, bestBound=50
4.03/2.44
4.03/2.45 o 49
4.03/2.45 num=58, depth=6..43, filters=11299, revisions=(26881,useless=18927), ccks=36288, wck=0.233, mem=39M797
4.03/2.45 decisions=2625, wrong=971, backtracks=465, failedAssignments=660, nogoods=196, foundSolutions=16, bestBound=49
4.03/2.45
4.03/2.45 num=59, depth=4..11, filters=11615, revisions=(27212,useless=18993), ccks=37509, wck=0.236, mem=39M797
4.03/2.45 decisions=2675, wrong=994, backtracks=472, failedAssignments=677, nogoods=199, foundSolutions=16, bestBound=49
4.03/2.45
4.03/2.45 num=60, depth=9..16, filters=11777, revisions=(27817,useless=19500), ccks=37903, wck=0.24, mem=39M797
4.03/2.45 decisions=2723, wrong=1012, backtracks=485, failedAssignments=688, nogoods=203, foundSolutions=16, bestBound=49
4.03/2.45
4.03/2.46 num=61, depth=7..20, filters=11977, revisions=(28321,useless=19874), ccks=38366, wck=0.243, mem=39M797
4.03/2.46 decisions=2776, wrong=1032, backtracks=494, failedAssignments=700, nogoods=212, foundSolutions=16, bestBound=49
4.03/2.46
4.03/2.46 num=62, depth=0..11, filters=12204, revisions=(28814,useless=20192), ccks=39573, wck=0.247, mem=39M797
4.03/2.46 decisions=2815, wrong=1046, backtracks=495, failedAssignments=713, nogoods=216, foundSolutions=16, bestBound=49
4.03/2.46
4.03/2.47 num=63, depth=9..16, filters=12372, revisions=(29425,useless=20714), ccks=39832, wck=0.251, mem=39M797
4.03/2.47 decisions=2863, wrong=1064, backtracks=507, failedAssignments=727, nogoods=223, foundSolutions=16, bestBound=49
4.03/2.47
4.03/2.47 num=64, depth=7..14, filters=12711, revisions=(30843,useless=21907), ccks=40410, wck=0.256, mem=39M797
4.03/2.47 decisions=2937, wrong=1096, backtracks=528, failedAssignments=743, nogoods=226, foundSolutions=16, bestBound=49
4.03/2.47
4.03/2.47 num=65, depth=9..15, filters=12999, revisions=(31370,useless=22228), ccks=41168, wck=0.26, mem=39M797
4.03/2.47 decisions=3004, wrong=1124, backtracks=547, failedAssignments=760, nogoods=229, foundSolutions=16, bestBound=49
4.03/2.47
4.03/2.48 num=66, depth=9..16, filters=13315, revisions=(32366,useless=23002), ccks=42007, wck=0.265, mem=39M797
4.03/2.48 decisions=3087, wrong=1158, backtracks=563, failedAssignments=779, nogoods=234, foundSolutions=16, bestBound=49
4.03/2.48
4.03/2.48 num=67, depth=8..18, filters=13693, revisions=(33148,useless=23511), ccks=42970, wck=0.27, mem=39M797
4.03/2.48 decisions=3167, wrong=1192, backtracks=585, failedAssignments=800, nogoods=239, foundSolutions=16, bestBound=49
4.03/2.48
4.03/2.49 num=68, depth=9..16, filters=14076, revisions=(34040,useless=24129), ccks=43912, wck=0.276, mem=39M797
4.03/2.49 decisions=3255, wrong=1230, backtracks=605, failedAssignments=823, nogoods=245, foundSolutions=16, bestBound=49
4.03/2.49
4.03/2.50 num=69, depth=10..17, filters=14429, revisions=(34862,useless=24722), ccks=44678, wck=0.282, mem=39M797
4.03/2.50 decisions=3341, wrong=1267, backtracks=626, failedAssignments=848, nogoods=249, foundSolutions=16, bestBound=49
4.03/2.50
4.35/2.51 num=70, depth=10..16, filters=14859, revisions=(35835,useless=25418), ccks=45554, wck=0.288, mem=39M797
4.35/2.51 decisions=3444, wrong=1312, backtracks=644, failedAssignments=876, nogoods=256, foundSolutions=16, bestBound=49
4.35/2.51
4.35/2.51 num=71, depth=10..14, filters=15394, revisions=(38178,useless=27442), ccks=46480, wck=0.298, mem=39M797
4.35/2.51 decisions=3549, wrong=1359, backtracks=666, failedAssignments=907, nogoods=266, foundSolutions=16, bestBound=49
4.35/2.51
4.35/2.52 num=72, depth=9..16, filters=15897, revisions=(39115,useless=28027), ccks=47860, wck=0.304, mem=39M797
4.35/2.52 decisions=3668, wrong=1413, backtracks=702, failedAssignments=941, nogoods=270, foundSolutions=16, bestBound=49
4.35/2.52
4.35/2.53 num=73, depth=9..20, filters=16241, revisions=(40112,useless=28830), ccks=48838, wck=0.311, mem=39M797
4.35/2.53 decisions=3788, wrong=1466, backtracks=738, failedAssignments=978, nogoods=278, foundSolutions=16, bestBound=49
4.35/2.53
4.35/2.53 o 48
4.35/2.53 num=74, depth=11..43, filters=16537, revisions=(41073,useless=29616), ccks=49427, wck=0.317, mem=39M797
4.35/2.53 decisions=3882, wrong=1505, backtracks=757, failedAssignments=1000, nogoods=282, foundSolutions=17, bestBound=48
4.35/2.53
4.35/2.54 num=75, depth=0..19, filters=17167, revisions=(42103,useless=30173), ccks=52309, wck=0.325, mem=39M797
4.35/2.54 decisions=4014, wrong=1564, backtracks=787, failedAssignments=1045, nogoods=286, foundSolutions=17, bestBound=48
4.35/2.54
4.35/2.54 num=76, depth=12..15, filters=17332, revisions=(42493,useless=30455), ccks=52695, wck=0.328, mem=39M797
4.35/2.54 decisions=4054, wrong=1578, backtracks=794, failedAssignments=1056, nogoods=289, foundSolutions=17, bestBound=48
4.35/2.54
4.35/2.55 num=77, depth=10..15, filters=17517, revisions=(43093,useless=30937), ccks=53099, wck=0.332, mem=39M797
4.35/2.55 decisions=4100, wrong=1595, backtracks=805, failedAssignments=1068, nogoods=292, foundSolutions=17, bestBound=48
4.35/2.55
4.35/2.55 o 47
4.35/2.55 num=78, depth=11..43, filters=17647, revisions=(43546,useless=31305), ccks=53513, wck=0.335, mem=39M797
4.35/2.55 decisions=4127, wrong=1601, backtracks=809, failedAssignments=1071, nogoods=294, foundSolutions=18, bestBound=47
4.35/2.55
4.35/2.55 num=79, depth=10..16, filters=17946, revisions=(44197,useless=31741), ccks=54112, wck=0.339, mem=39M797
4.35/2.55 decisions=4192, wrong=1627, backtracks=824, failedAssignments=1085, nogoods=297, foundSolutions=18, bestBound=47
4.35/2.55
4.35/2.56 o 46
4.35/2.56 num=80, depth=10..43, filters=18039, revisions=(44491,useless=31974), ccks=54406, wck=0.342, mem=39M797
4.35/2.56 decisions=4211, wrong=1630, backtracks=825, failedAssignments=1087, nogoods=299, foundSolutions=19, bestBound=46
4.35/2.56
4.35/2.56 num=81, depth=11..17, filters=18261, revisions=(45279,useless=32610), ccks=55045, wck=0.346, mem=39M797
4.35/2.56 decisions=4270, wrong=1653, backtracks=838, failedAssignments=1099, nogoods=303, foundSolutions=19, bestBound=46
4.35/2.56
4.35/2.57 num=82, depth=10..15, filters=18505, revisions=(45764,useless=32919), ccks=55682, wck=0.351, mem=39M797
4.35/2.57 decisions=4327, wrong=1676, backtracks=852, failedAssignments=1110, nogoods=305, foundSolutions=19, bestBound=46
4.35/2.57
4.35/2.57 num=83, depth=10..19, filters=18691, revisions=(46214,useless=33247), ccks=56036, wck=0.354, mem=39M797
4.35/2.57 decisions=4375, wrong=1694, backtracks=864, failedAssignments=1122, nogoods=307, foundSolutions=19, bestBound=46
4.35/2.57
4.35/2.57 o 45
4.35/2.58 num=84, depth=10..43, filters=18794, revisions=(46531,useless=33504), ccks=56358, wck=0.357, mem=42M439
4.35/2.58 decisions=4403, wrong=1701, backtracks=865, failedAssignments=1128, nogoods=313, foundSolutions=20, bestBound=45
4.35/2.58
4.35/2.58 num=85, depth=11..14, filters=18979, revisions=(47262,useless=34129), ccks=56736, wck=0.361, mem=42M439
4.35/2.58 decisions=4465, wrong=1727, backtracks=878, failedAssignments=1142, nogoods=318, foundSolutions=20, bestBound=45
4.35/2.58
4.35/2.58 num=86, depth=8..13, filters=19168, revisions=(47628,useless=34359), ccks=57308, wck=0.365, mem=42M439
4.35/2.58 decisions=4506, wrong=1743, backtracks=884, failedAssignments=1153, nogoods=323, foundSolutions=20, bestBound=45
4.35/2.58
4.35/2.58 num=87, depth=9..13, filters=19379, revisions=(48086,useless=34670), ccks=57855, wck=0.368, mem=42M439
4.35/2.58 decisions=4551, wrong=1760, backtracks=889, failedAssignments=1165, nogoods=328, foundSolutions=20, bestBound=45
4.35/2.58
4.35/2.59 num=88, depth=10..12, filters=19596, revisions=(48615,useless=35035), ccks=58447, wck=0.372, mem=42M439
4.35/2.59 decisions=4601, wrong=1780, backtracks=896, failedAssignments=1178, nogoods=331, foundSolutions=20, bestBound=45
4.35/2.59
4.35/2.59 num=89, depth=11..17, filters=19793, revisions=(49106,useless=35395), ccks=58937, wck=0.375, mem=42M439
4.35/2.59 decisions=4651, wrong=1799, backtracks=906, failedAssignments=1192, nogoods=336, foundSolutions=20, bestBound=45
4.35/2.59
4.35/2.60 num=90, depth=10..12, filters=20110, revisions=(49886,useless=35964), ccks=59578, wck=0.38, mem=42M439
4.35/2.60 decisions=4721, wrong=1829, backtracks=920, failedAssignments=1208, nogoods=339, foundSolutions=20, bestBound=45
4.35/2.60
4.66/2.60 num=91, depth=11..15, filters=20226, revisions=(50296,useless=36331), ccks=59808, wck=0.384, mem=42M439
4.66/2.60 decisions=4775, wrong=1850, backtracks=936, failedAssignments=1225, nogoods=344, foundSolutions=20, bestBound=45
4.66/2.60
4.66/2.61 num=92, depth=9..12, filters=20534, revisions=(51337,useless=37161), ccks=60355, wck=0.39, mem=42M439
4.66/2.61 decisions=4836, wrong=1876, backtracks=946, failedAssignments=1244, nogoods=351, foundSolutions=20, bestBound=45
4.66/2.61
4.66/2.61 num=93, depth=10..16, filters=20820, revisions=(52131,useless=37783), ccks=60864, wck=0.394, mem=42M439
4.66/2.61 decisions=4900, wrong=1903, backtracks=962, failedAssignments=1265, nogoods=358, foundSolutions=20, bestBound=45
4.66/2.61
4.66/2.62 num=94, depth=9..15, filters=21200, revisions=(53089,useless=38491), ccks=61829, wck=0.4, mem=42M439
4.66/2.62 decisions=4982, wrong=1939, backtracks=976, failedAssignments=1288, nogoods=361, foundSolutions=20, bestBound=45
4.66/2.62
4.66/2.62 num=95, depth=12..20, filters=21487, revisions=(53791,useless=39030), ccks=62444, wck=0.406, mem=42M439
4.66/2.62 decisions=5073, wrong=1978, backtracks=1001, failedAssignments=1313, nogoods=366, foundSolutions=20, bestBound=45
4.66/2.62
4.66/2.63 num=96, depth=12..20, filters=21819, revisions=(54451,useless=39469), ccks=63154, wck=0.412, mem=42M439
4.66/2.63 decisions=5159, wrong=2015, backtracks=1016, failedAssignments=1341, nogoods=372, foundSolutions=20, bestBound=45
4.66/2.63
4.66/2.63 num=97, depth=9..16, filters=22208, revisions=(55179,useless=39947), ccks=64737, wck=0.418, mem=42M439
4.66/2.63 decisions=5275, wrong=2067, backtracks=1040, failedAssignments=1372, nogoods=376, foundSolutions=20, bestBound=45
4.66/2.63
4.66/2.64 o 44
4.66/2.64 num=98, depth=11..43, filters=22361, revisions=(55764,useless=40444), ccks=65165, wck=0.422, mem=42M439
4.66/2.64 decisions=5319, wrong=2082, backtracks=1047, failedAssignments=1382, nogoods=377, foundSolutions=21, bestBound=44
4.66/2.64
4.66/2.65 num=99, depth=9..15, filters=23104, revisions=(57516,useless=41648), ccks=66761, wck=0.431, mem=42M439
4.66/2.65 decisions=5463, wrong=2149, backtracks=1080, failedAssignments=1419, nogoods=381, foundSolutions=21, bestBound=44
4.66/2.65
4.66/2.65 num=100, depth=9..12, filters=23318, revisions=(57955,useless=41935), ccks=67336, wck=0.434, mem=42M439
4.66/2.65 decisions=5505, wrong=2165, backtracks=1085, failedAssignments=1430, nogoods=386, foundSolutions=21, bestBound=44
4.66/2.65
4.66/2.65 num=101, depth=10..15, filters=23470, revisions=(58536,useless=42430), ccks=67693, wck=0.438, mem=42M439
4.66/2.65 decisions=5548, wrong=2181, backtracks=1096, failedAssignments=1442, nogoods=391, foundSolutions=21, bestBound=44
4.66/2.65
4.66/2.66 num=102, depth=12..16, filters=23586, revisions=(59006,useless=42849), ccks=67941, wck=0.441, mem=42M439
4.66/2.66 decisions=5593, wrong=2197, backtracks=1108, failedAssignments=1455, nogoods=395, foundSolutions=21, bestBound=44
4.66/2.66
4.66/2.66 num=103, depth=10..13, filters=23834, revisions=(59541,useless=43208), ccks=68538, wck=0.445, mem=42M439
4.66/2.66 decisions=5642, wrong=2216, backtracks=1113, failedAssignments=1469, nogoods=403, foundSolutions=21, bestBound=44
4.66/2.66
4.66/2.66 num=104, depth=10..16, filters=24047, revisions=(60272,useless=43817), ccks=68974, wck=0.449, mem=42M439
4.66/2.66 decisions=5699, wrong=2238, backtracks=1125, failedAssignments=1485, nogoods=406, foundSolutions=21, bestBound=44
4.66/2.66
4.66/2.67 num=105, depth=8..13, filters=24358, revisions=(60872,useless=44187), ccks=69721, wck=0.454, mem=42M439
4.66/2.67 decisions=5766, wrong=2267, backtracks=1138, failedAssignments=1502, nogoods=412, foundSolutions=21, bestBound=44
4.66/2.67
4.66/2.67 num=106, depth=12..16, filters=24476, revisions=(61295,useless=44571), ccks=70158, wck=0.458, mem=42M439
4.66/2.67 decisions=5825, wrong=2290, backtracks=1154, failedAssignments=1521, nogoods=419, foundSolutions=21, bestBound=44
4.66/2.67
4.66/2.68 num=107, depth=8..13, filters=24860, revisions=(62059,useless=45064), ccks=71081, wck=0.463, mem=42M439
4.66/2.68 decisions=5902, wrong=2324, backtracks=1169, failedAssignments=1542, nogoods=425, foundSolutions=21, bestBound=44
4.66/2.68
4.66/2.68 num=108, depth=10..15, filters=25045, revisions=(62819,useless=45750), ccks=71509, wck=0.468, mem=42M439
4.66/2.68 decisions=5977, wrong=2356, backtracks=1196, failedAssignments=1565, nogoods=428, foundSolutions=21, bestBound=44
4.66/2.68
4.66/2.69 num=109, depth=9..12, filters=25450, revisions=(63817,useless=46444), ccks=72457, wck=0.474, mem=42M439
4.66/2.69 decisions=6066, wrong=2396, backtracks=1212, failedAssignments=1590, nogoods=437, foundSolutions=21, bestBound=44
4.66/2.69
4.66/2.69 num=110, depth=9..15, filters=25739, revisions=(64814,useless=47276), ccks=73081, wck=0.48, mem=42M439
4.66/2.69 decisions=6153, wrong=2434, backtracks=1235, failedAssignments=1618, nogoods=441, foundSolutions=21, bestBound=44
4.66/2.69
4.96/2.71 num=111, depth=9..14, filters=26215, revisions=(65969,useless=48100), ccks=74102, wck=0.488, mem=42M439
4.96/2.71 decisions=6256, wrong=2481, backtracks=1251, failedAssignments=1649, nogoods=445, foundSolutions=21, bestBound=44
4.96/2.71
4.96/2.71 num=112, depth=10..16, filters=26610, revisions=(66915,useless=48792), ccks=74985, wck=0.495, mem=42M439
4.96/2.71 decisions=6366, wrong=2531, backtracks=1273, failedAssignments=1683, nogoods=456, foundSolutions=21, bestBound=44
4.96/2.71
4.96/2.72 num=113, depth=6..16, filters=27228, revisions=(68411,useless=49864), ccks=76588, wck=0.504, mem=42M439
4.96/2.72 decisions=6480, wrong=2584, backtracks=1293, failedAssignments=1720, nogoods=459, foundSolutions=21, bestBound=44
4.96/2.72
4.96/2.73 num=114, depth=10..17, filters=27589, revisions=(69665,useless=50945), ccks=77471, wck=0.512, mem=42M439
4.96/2.73 decisions=6616, wrong=2646, backtracks=1337, failedAssignments=1761, nogoods=469, foundSolutions=21, bestBound=44
4.96/2.73
4.96/2.73 num=115, depth=9..15, filters=27905, revisions=(71197,useless=52375), ccks=78389, wck=0.52, mem=42M439
4.96/2.73 decisions=6773, wrong=2719, backtracks=1400, failedAssignments=1806, nogoods=473, foundSolutions=21, bestBound=44
4.96/2.73
4.96/2.74 num=116, depth=10..16, filters=28548, revisions=(72527,useless=53303), ccks=79932, wck=0.529, mem=42M439
4.96/2.74 decisions=6915, wrong=2784, backtracks=1421, failedAssignments=1856, nogoods=492, foundSolutions=21, bestBound=44
4.96/2.74
4.96/2.75 num=117, depth=10..15, filters=29172, revisions=(74168,useless=54535), ccks=81375, wck=0.539, mem=42M439
4.96/2.75 decisions=7088, wrong=2865, backtracks=1454, failedAssignments=1911, nogoods=494, foundSolutions=21, bestBound=44
4.96/2.75
4.96/2.77 num=118, depth=10..16, filters=29886, revisions=(75769,useless=55655), ccks=83067, wck=0.55, mem=42M439
4.96/2.77 decisions=7278, wrong=2954, backtracks=1488, failedAssignments=1972, nogoods=502, foundSolutions=21, bestBound=44
4.96/2.77
4.96/2.77 o 43
4.96/2.77 num=119, depth=11..43, filters=30019, revisions=(76074,useless=55876), ccks=83476, wck=0.553, mem=42M439
4.96/2.77 decisions=7309, wrong=2961, backtracks=1490, failedAssignments=1977, nogoods=507, foundSolutions=22, bestBound=43
4.96/2.77
4.96/2.78 num=120, depth=11..15, filters=31086, revisions=(78768,useless=57849), ccks=85947, wck=0.567, mem=42M439
4.96/2.78 decisions=7527, wrong=3064, backtracks=1528, failedAssignments=2051, nogoods=520, foundSolutions=22, bestBound=43
4.96/2.78
4.96/2.79 num=121, depth=9..16, filters=31247, revisions=(79125,useless=58104), ccks=86374, wck=0.57, mem=45M82
4.96/2.79 decisions=7567, wrong=3078, backtracks=1533, failedAssignments=2062, nogoods=527, foundSolutions=22, bestBound=43
4.96/2.79
4.96/2.79 num=122, depth=9..15, filters=31355, revisions=(79476,useless=58395), ccks=86605, wck=0.574, mem=45M82
4.96/2.79 decisions=7604, wrong=3092, backtracks=1539, failedAssignments=2074, nogoods=528, foundSolutions=22, bestBound=43
4.96/2.79
4.96/2.79 num=123, depth=12..16, filters=31506, revisions=(79935,useless=58775), ccks=86945, wck=0.577, mem=45M82
4.96/2.79 decisions=7648, wrong=3108, backtracks=1550, failedAssignments=2087, nogoods=533, foundSolutions=22, bestBound=43
4.96/2.79
4.96/2.79 num=124, depth=9..11, filters=31692, revisions=(80419,useless=59133), ccks=87501, wck=0.581, mem=45M82
4.96/2.79 decisions=7689, wrong=3124, backtracks=1553, failedAssignments=2101, nogoods=540, foundSolutions=22, bestBound=43
4.96/2.79
5.27/2.80 num=125, depth=10..14, filters=31877, revisions=(80826,useless=59425), ccks=87851, wck=0.584, mem=45M82
5.27/2.80 decisions=7734, wrong=3141, backtracks=1556, failedAssignments=2117, nogoods=550, foundSolutions=22, bestBound=43
5.27/2.80
5.27/2.81 num=126, depth=9..11, filters=32146, revisions=(81433,useless=59833), ccks=88476, wck=0.589, mem=45M82
5.27/2.81 decisions=7793, wrong=3165, backtracks=1563, failedAssignments=2134, nogoods=557, foundSolutions=22, bestBound=43
5.27/2.81
5.27/2.81 num=127, depth=9..13, filters=32426, revisions=(82269,useless=60474), ccks=89034, wck=0.594, mem=45M82
5.27/2.81 decisions=7859, wrong=3193, backtracks=1574, failedAssignments=2153, nogoods=561, foundSolutions=22, bestBound=43
5.27/2.81
5.27/2.81 num=128, depth=10..15, filters=32646, revisions=(82780,useless=60849), ccks=89494, wck=0.598, mem=45M82
5.27/2.81 decisions=7915, wrong=3215, backtracks=1578, failedAssignments=2174, nogoods=574, foundSolutions=22, bestBound=43
5.27/2.81
5.27/2.82 o 42
5.27/2.82 num=129, depth=9..43, filters=32859, revisions=(83266,useless=61194), ccks=90027, wck=0.602, mem=45M82
5.27/2.82 decisions=7967, wrong=3235, backtracks=1585, failedAssignments=2189, nogoods=581, foundSolutions=23, bestBound=42
5.27/2.82
5.27/2.82 num=130, depth=9..17, filters=33283, revisions=(84322,useless=61947), ccks=90950, wck=0.608, mem=45M82
5.27/2.82 decisions=8059, wrong=3275, backtracks=1602, failedAssignments=2214, nogoods=590, foundSolutions=23, bestBound=42
5.27/2.82
5.27/2.83 num=131, depth=9..15, filters=33466, revisions=(84742,useless=62246), ccks=91403, wck=0.611, mem=45M82
5.27/2.83 decisions=8105, wrong=3293, backtracks=1610, failedAssignments=2225, nogoods=592, foundSolutions=23, bestBound=42
5.27/2.83
5.27/2.83 num=132, depth=7..17, filters=33652, revisions=(85197,useless=62585), ccks=91853, wck=0.614, mem=45M82
5.27/2.83 decisions=8149, wrong=3310, backtracks=1619, failedAssignments=2237, nogoods=597, foundSolutions=23, bestBound=42
5.27/2.83
5.27/2.83 num=133, depth=10..13, filters=33866, revisions=(85724,useless=62972), ccks=92436, wck=0.617, mem=45M82
5.27/2.83 decisions=8192, wrong=3326, backtracks=1623, failedAssignments=2250, nogoods=600, foundSolutions=23, bestBound=42
5.27/2.83
5.27/2.83 o 41
5.27/2.83 num=134, depth=12..43, filters=33938, revisions=(85924,useless=63131), ccks=92735, wck=0.619, mem=45M82
5.27/2.83 decisions=8213, wrong=3330, backtracks=1623, failedAssignments=2254, nogoods=604, foundSolutions=24, bestBound=41
5.27/2.83
5.27/2.84 num=135, depth=10..14, filters=34283, revisions=(86804,useless=63755), ccks=93489, wck=0.623, mem=45M82
5.27/2.84 decisions=8269, wrong=3353, backtracks=1632, failedAssignments=2270, nogoods=612, foundSolutions=24, bestBound=41
5.27/2.84
5.27/2.84 num=136, depth=10..14, filters=34495, revisions=(87290,useless=64098), ccks=94197, wck=0.626, mem=45M82
5.27/2.84 decisions=8309, wrong=3368, backtracks=1637, failedAssignments=2281, nogoods=617, foundSolutions=24, bestBound=41
5.27/2.84
5.27/2.84 num=137, depth=12..16, filters=34673, revisions=(87840,useless=64549), ccks=94584, wck=0.63, mem=45M82
5.27/2.84 decisions=8354, wrong=3384, backtracks=1646, failedAssignments=2293, nogoods=624, foundSolutions=24, bestBound=41
5.27/2.84
5.27/2.85 num=138, depth=10..15, filters=34965, revisions=(88476,useless=64976), ccks=95343, wck=0.633, mem=45M82
5.27/2.85 decisions=8409, wrong=3404, backtracks=1654, failedAssignments=2306, nogoods=630, foundSolutions=24, bestBound=41
5.27/2.85
5.27/2.85 num=139, depth=11..15, filters=35178, revisions=(88976,useless=65334), ccks=95972, wck=0.636, mem=45M82
5.27/2.85 decisions=8455, wrong=3421, backtracks=1662, failedAssignments=2320, nogoods=634, foundSolutions=24, bestBound=41
5.27/2.85
5.27/2.86 num=140, depth=13..18, filters=35364, revisions=(89545,useless=65813), ccks=96460, wck=0.64, mem=45M82
5.27/2.86 decisions=8507, wrong=3440, backtracks=1675, failedAssignments=2336, nogoods=640, foundSolutions=24, bestBound=41
5.27/2.86
5.27/2.86 num=141, depth=14..18, filters=35549, revisions=(89936,useless=66108), ccks=96966, wck=0.643, mem=45M82
5.27/2.86 decisions=8571, wrong=3465, backtracks=1688, failedAssignments=2353, nogoods=642, foundSolutions=24, bestBound=41
5.27/2.86
5.27/2.86 num=142, depth=11..17, filters=35819, revisions=(90659,useless=66666), ccks=97588, wck=0.648, mem=45M82
5.27/2.86 decisions=8634, wrong=3490, backtracks=1695, failedAssignments=2372, nogoods=653, foundSolutions=24, bestBound=41
5.27/2.86
5.27/2.87 num=143, depth=9..15, filters=36129, revisions=(91365,useless=67164), ccks=98340, wck=0.652, mem=45M82
5.27/2.87 decisions=8708, wrong=3522, backtracks=1708, failedAssignments=2393, nogoods=658, foundSolutions=24, bestBound=41
5.27/2.87
5.27/2.87 num=144, depth=10..14, filters=36393, revisions=(91943,useless=67549), ccks=99267, wck=0.656, mem=45M82
5.27/2.87 decisions=8791, wrong=3558, backtracks=1722, failedAssignments=2416, nogoods=663, foundSolutions=24, bestBound=41
5.27/2.87
5.27/2.88 num=145, depth=8..13, filters=36804, revisions=(92788,useless=68102), ccks=100339, wck=0.661, mem=45M82
5.27/2.88 decisions=8886, wrong=3600, backtracks=1740, failedAssignments=2441, nogoods=669, foundSolutions=24, bestBound=41
5.27/2.88
5.27/2.88 num=146, depth=9..16, filters=37078, revisions=(93400,useless=68557), ccks=101040, wck=0.665, mem=45M82
5.27/2.88 decisions=8965, wrong=3634, backtracks=1763, failedAssignments=2469, nogoods=677, foundSolutions=24, bestBound=41
5.27/2.88
5.27/2.88 num=147, depth=11..16, filters=37486, revisions=(94186,useless=69065), ccks=102243, wck=0.67, mem=45M82
5.27/2.88 decisions=9048, wrong=3670, backtracks=1772, failedAssignments=2500, nogoods=680, foundSolutions=24, bestBound=41
5.27/2.88
5.27/2.89 num=148, depth=10..16, filters=37840, revisions=(95014,useless=69710), ccks=103034, wck=0.675, mem=45M82
5.27/2.89 decisions=9140, wrong=3711, backtracks=1788, failedAssignments=2534, nogoods=682, foundSolutions=24, bestBound=41
5.27/2.89
5.27/2.90 num=149, depth=11..18, filters=38249, revisions=(96007,useless=70438), ccks=103916, wck=0.681, mem=45M82
5.27/2.90 decisions=9246, wrong=3757, backtracks=1805, failedAssignments=2571, nogoods=694, foundSolutions=24, bestBound=41
5.27/2.90
5.59/2.90 num=150, depth=8..12, filters=38985, revisions=(97532,useless=71436), ccks=105968, wck=0.69, mem=45M82
5.59/2.90 decisions=9360, wrong=3810, backtracks=1819, failedAssignments=2612, nogoods=698, foundSolutions=24, bestBound=41
5.59/2.90
5.59/2.91 num=151, depth=8..13, filters=39585, revisions=(99540,useless=73081), ccks=107422, wck=0.698, mem=45M82
5.59/2.91 decisions=9497, wrong=3874, backtracks=1858, failedAssignments=2657, nogoods=708, foundSolutions=24, bestBound=41
5.59/2.91
5.59/2.92 num=152, depth=10..17, filters=40124, revisions=(100958,useless=74166), ccks=108705, wck=0.706, mem=45M82
5.59/2.92 decisions=9634, wrong=3937, backtracks=1886, failedAssignments=2707, nogoods=715, foundSolutions=24, bestBound=41
5.59/2.92
5.59/2.93 num=153, depth=10..19, filters=40690, revisions=(102070,useless=74953), ccks=109932, wck=0.713, mem=45M82
5.59/2.93 decisions=9776, wrong=4003, backtracks=1914, failedAssignments=2762, nogoods=718, foundSolutions=24, bestBound=41
5.59/2.93
5.59/2.94 num=154, depth=10..16, filters=41439, revisions=(103835,useless=76199), ccks=111765, wck=0.723, mem=45M82
5.59/2.94 decisions=9952, wrong=4086, backtracks=1941, failedAssignments=2823, nogoods=725, foundSolutions=24, bestBound=41
5.59/2.94
5.59/2.95 num=155, depth=8..16, filters=42306, revisions=(105689,useless=77474), ccks=113965, wck=0.735, mem=45M82
5.59/2.95 decisions=10152, wrong=4181, backtracks=1981, failedAssignments=2890, nogoods=731, foundSolutions=24, bestBound=41
5.59/2.95
5.59/2.96 num=156, depth=7..14, filters=43477, revisions=(107999,useless=78901), ccks=117527, wck=0.75, mem=45M82
5.59/2.96 decisions=10388, wrong=4295, backtracks=2022, failedAssignments=2964, nogoods=738, foundSolutions=24, bestBound=41
5.59/2.96
5.59/2.98 num=157, depth=7..15, filters=44371, revisions=(110229,useless=80505), ccks=119715, wck=0.764, mem=45M82
5.59/2.98 decisions=10631, wrong=4413, backtracks=2072, failedAssignments=3045, nogoods=740, foundSolutions=24, bestBound=41
5.59/2.98
5.59/2.99 num=158, depth=7..14, filters=45507, revisions=(112859,useless=82338), ccks=122435, wck=0.78, mem=45M82
5.59/2.99 decisions=10877, wrong=4531, backtracks=2119, failedAssignments=3134, nogoods=756, foundSolutions=24, bestBound=41
5.59/2.99
5.91/3.02 num=159, depth=6..11, filters=47355, revisions=(117828,useless=86020), ccks=126114, wck=0.81, mem=47M724
5.91/3.02 decisions=11182, wrong=4680, backtracks=2178, failedAssignments=3232, nogoods=759, foundSolutions=24, bestBound=41
5.91/3.02
5.91/3.04 num=160, depth=9..18, filters=48573, revisions=(120649,useless=88059), ccks=128999, wck=0.827, mem=47M724
5.91/3.04 decisions=11510, wrong=4838, backtracks=2256, failedAssignments=3340, nogoods=771, foundSolutions=24, bestBound=41
5.91/3.04
5.91/3.07 num=161, depth=7..13, filters=50493, revisions=(125234,useless=91355), ccks=135005, wck=0.851, mem=47M724
5.91/3.07 decisions=11912, wrong=5035, backtracks=2340, failedAssignments=3459, nogoods=774, foundSolutions=24, bestBound=41
5.91/3.07
5.91/3.08 num=162, depth=9..18, filters=51800, revisions=(129031,useless=94422), ccks=138001, wck=0.865, mem=47M724
5.91/3.08 decisions=12291, wrong=5219, backtracks=2453, failedAssignments=3590, nogoods=780, foundSolutions=24, bestBound=41
5.91/3.08
5.91/3.09 num=163, depth=7..16, filters=53537, revisions=(132470,useless=96606), ccks=142815, wck=0.878, mem=47M724
5.91/3.09 decisions=12709, wrong=5422, backtracks=2527, failedAssignments=3734, nogoods=791, foundSolutions=24, bestBound=41
5.91/3.09
6.22/3.11 num=164, depth=7..14, filters=55984, revisions=(138555,useless=101042), ccks=149043, wck=0.898, mem=47M724
6.22/3.11 decisions=13177, wrong=5652, backtracks=2615, failedAssignments=3892, nogoods=806, foundSolutions=24, bestBound=41
6.22/3.11
6.22/3.13 num=165, depth=5..14, filters=58245, revisions=(143325,useless=104201), ccks=155591, wck=0.916, mem=47M724
6.22/3.13 decisions=13668, wrong=5894, backtracks=2702, failedAssignments=4066, nogoods=810, foundSolutions=24, bestBound=41
6.22/3.13
6.22/3.15 num=166, depth=7..17, filters=60646, revisions=(148815,useless=108079), ccks=161806, wck=0.935, mem=47M724
6.22/3.15 decisions=14199, wrong=6156, backtracks=2797, failedAssignments=4257, nogoods=812, foundSolutions=24, bestBound=41
6.22/3.15
6.22/3.17 num=167, depth=9..17, filters=62481, revisions=(153029,useless=111329), ccks=165504, wck=0.953, mem=47M724
6.22/3.17 decisions=14760, wrong=6431, backtracks=2918, failedAssignments=4468, nogoods=826, foundSolutions=24, bestBound=41
6.22/3.17
6.22/3.19 num=168, depth=5..12, filters=65545, revisions=(158670,useless=114803), ccks=176903, wck=0.976, mem=47M724
6.22/3.19 decisions=15372, wrong=6733, backtracks=2993, failedAssignments=4700, nogoods=836, foundSolutions=24, bestBound=41
6.22/3.19
6.49/3.22 num=169, depth=6..16, filters=68704, revisions=(167504,useless=121601), ccks=184289, wck=1.004, mem=47M724
6.49/3.22 decisions=16077, wrong=7081, backtracks=3157, failedAssignments=4955, nogoods=844, foundSolutions=24, bestBound=41
6.49/3.22
6.49/3.25 num=170, depth=6..14, filters=73173, revisions=(177796,useless=128732), ccks=196275, wck=1.038, mem=47M724
6.49/3.25 decisions=16906, wrong=7491, backtracks=3308, failedAssignments=5236, nogoods=859, foundSolutions=24, bestBound=41
6.49/3.25
6.49/3.29 num=171, depth=6..14, filters=77656, revisions=(187925,useless=135757), ccks=207741, wck=1.071, mem=50M367
6.49/3.29 decisions=17782, wrong=7925, backtracks=3458, failedAssignments=5545, nogoods=870, foundSolutions=24, bestBound=41
6.49/3.29
6.79/3.31 num=172, depth=6..17, filters=81684, revisions=(195973,useless=140914), ccks=219232, wck=1.1, mem=50M367
6.79/3.31 decisions=18753, wrong=8406, backtracks=3643, failedAssignments=5885, nogoods=883, foundSolutions=24, bestBound=41
6.79/3.31
6.79/3.35 num=173, depth=5..14, filters=86200, revisions=(205110,useless=146867), ccks=232312, wck=1.133, mem=50M367
6.79/3.35 decisions=19778, wrong=8915, backtracks=3816, failedAssignments=6259, nogoods=891, foundSolutions=24, bestBound=41
6.79/3.35
6.79/3.40 num=174, depth=6..14, filters=92346, revisions=(220723,useless=158219), ccks=248680, wck=1.181, mem=50M367
6.79/3.40 decisions=20973, wrong=9508, backtracks=4021, failedAssignments=6670, nogoods=912, foundSolutions=24, bestBound=41
6.79/3.40
7.09/3.42 num=175, depth=6..15, filters=96809, revisions=(232173,useless=166849), ccks=260728, wck=1.21, mem=50M367
7.09/3.42 decisions=22192, wrong=10113, backtracks=4308, failedAssignments=7122, nogoods=925, foundSolutions=24, bestBound=41
7.09/3.42
7.09/3.45 num=176, depth=4..11, filters=103930, revisions=(246374,useless=175700), ccks=287712, wck=1.24, mem=50M367
7.09/3.45 decisions=23656, wrong=10842, backtracks=4547, failedAssignments=7619, nogoods=935, foundSolutions=24, bestBound=41
7.09/3.45
7.09/3.48 num=177, depth=5..15, filters=109800, revisions=(259090,useless=184412), ccks=305197, wck=1.265, mem=50M367
7.09/3.48 decisions=25097, wrong=11559, backtracks=4822, failedAssignments=8166, nogoods=946, foundSolutions=24, bestBound=41
7.09/3.48
7.39/3.51 num=178, depth=6..15, filters=118233, revisions=(277823,useless=197277), ccks=327614, wck=1.3, mem=53M9
7.39/3.51 decisions=26766, wrong=12390, backtracks=5114, failedAssignments=8768, nogoods=960, foundSolutions=24, bestBound=41
7.39/3.51
7.39/3.54 num=179, depth=5..15, filters=125523, revisions=(293232,useless=207414), ccks=352222, wck=1.33, mem=53M9
7.39/3.54 decisions=28517, wrong=13261, backtracks=5382, failedAssignments=9430, nogoods=972, foundSolutions=24, bestBound=41
7.39/3.54
7.39/3.58 num=180, depth=5..17, filters=133797, revisions=(310423,useless=218951), ccks=375712, wck=1.361, mem=53M9
7.39/3.58 decisions=30489, wrong=14242, backtracks=5688, failedAssignments=10158, nogoods=991, foundSolutions=24, bestBound=41
7.39/3.58
7.69/3.62 num=181, depth=6..15, filters=144640, revisions=(334225,useless=235495), ccks=405091, wck=1.401, mem=53M9
7.69/3.62 decisions=32620, wrong=15304, backtracks=6005, failedAssignments=10959, nogoods=1005, foundSolutions=24, bestBound=41
7.69/3.62
7.69/3.65 num=182, depth=5..17, filters=154784, revisions=(355993,useless=250390), ccks=433587, wck=1.436, mem=53M9
7.69/3.65 decisions=34902, wrong=16439, backtracks=6348, failedAssignments=11840, nogoods=1023, foundSolutions=24, bestBound=41
7.69/3.65
7.69/3.69 num=183, depth=6..17, filters=166591, revisions=(380340,useless=266702), ccks=468709, wck=1.476, mem=55M652
7.69/3.69 decisions=37496, wrong=17731, backtracks=6795, failedAssignments=12810, nogoods=1033, foundSolutions=24, bestBound=41
7.69/3.69
7.99/3.73 num=184, depth=5..14, filters=177580, revisions=(404184,useless=283062), ccks=504051, wck=1.514, mem=55M652
7.99/3.73 decisions=40264, wrong=19111, backtracks=7215, failedAssignments=13877, nogoods=1058, foundSolutions=24, bestBound=41
7.99/3.73
7.99/3.77 num=185, depth=4..14, filters=191941, revisions=(432380,useless=300530), ccks=559147, wck=1.558, mem=55M652
7.99/3.77 decisions=43517, wrong=20733, backtracks=7687, failedAssignments=15050, nogoods=1074, foundSolutions=24, bestBound=41
7.99/3.77
8.18/3.81 num=186, depth=3..13, filters=205295, revisions=(458743,useless=317402), ccks=608052, wck=1.597, mem=55M652
8.18/3.81 decisions=46925, wrong=22433, backtracks=8137, failedAssignments=16341, nogoods=1084, foundSolutions=24, bestBound=41
8.18/3.81
8.18/3.86 num=187, depth=5..15, filters=222536, revisions=(497049,useless=343787), ccks=660737, wck=1.649, mem=55M652
8.18/3.86 decisions=50851, wrong=24393, backtracks=8809, failedAssignments=17761, nogoods=1112, foundSolutions=24, bestBound=41
8.18/3.86
8.33/3.91 num=188, depth=4..15, filters=238130, revisions=(524744,useless=360424), ccks=721281, wck=1.693, mem=55M652
8.33/3.91 decisions=54753, wrong=26340, backtracks=9256, failedAssignments=19323, nogoods=1134, foundSolutions=24, bestBound=41
8.33/3.91
8.33/3.97 num=189, depth=4..15, filters=258656, revisions=(566919,useless=387621), ccks=798665, wck=1.752, mem=55M652
8.33/3.97 decisions=59483, wrong=28701, backtracks=9939, failedAssignments=21041, nogoods=1160, foundSolutions=24, bestBound=41
8.33/3.97
8.46/4.03 num=190, depth=4..16, filters=282267, revisions=(613213,useless=417222), ccks=879191, wck=1.815, mem=55M652
8.46/4.03 decisions=64498, wrong=31206, backtracks=10686, failedAssignments=22931, nogoods=1173, foundSolutions=24, bestBound=41
8.46/4.03
8.46/4.09 num=191, depth=4..14, filters=304902, revisions=(655361,useless=443608), ccks=960239, wck=1.875, mem=55M652
8.46/4.09 decisions=69985, wrong=33945, backtracks=11402, failedAssignments=25010, nogoods=1196, foundSolutions=24, bestBound=41
8.46/4.09
8.57/4.15 num=192, depth=4..16, filters=329272, revisions=(706220,useless=477847), ccks=1038438, wck=1.94, mem=55M652
8.57/4.15 decisions=76160, wrong=37029, backtracks=12397, failedAssignments=27297, nogoods=1214, foundSolutions=24, bestBound=41
8.57/4.15
8.67/4.23 num=193, depth=3..16, filters=354230, revisions=(759332,useless=515762), ccks=1111019, wck=2.013, mem=55M652
8.67/4.23 decisions=82671, wrong=40281, backtracks=13499, failedAssignments=29813, nogoods=1231, foundSolutions=24, bestBound=41
8.67/4.23
8.77/4.30 num=194, depth=3..15, filters=382569, revisions=(813716,useless=550527), ccks=1217699, wck=2.089, mem=55M652
8.77/4.30 decisions=89676, wrong=43781, backtracks=14437, failedAssignments=32581, nogoods=1264, foundSolutions=24, bestBound=41
8.77/4.30
8.77/4.39 num=195, depth=3..17, filters=413207, revisions=(871910,useless=587714), ccks=1329190, wck=2.172, mem=55M652
8.77/4.39 decisions=97333, wrong=47607, backtracks=15430, failedAssignments=35625, nogoods=1301, foundSolutions=24, bestBound=41
8.77/4.39
8.87/4.49 num=196, depth=3..16, filters=452229, revisions=(946044,useless=634820), ccks=1473917, wck=2.277, mem=55M652
8.87/4.49 decisions=105905, wrong=51889, backtracks=16524, failedAssignments=38974, nogoods=1325, foundSolutions=24, bestBound=41
8.87/4.49
9.07/4.60 num=197, depth=3..15, filters=496642, revisions=(1029366,useless=686991), ccks=1643195, wck=2.39, mem=55M652
9.07/4.60 decisions=115781, wrong=56822, backtracks=17864, failedAssignments=42658, nogoods=1341, foundSolutions=24, bestBound=41
9.07/4.60
9.17/4.71 num=198, depth=2..15, filters=534958, revisions=(1098389,useless=729334), ccks=1807403, wck=2.491, mem=55M652
9.17/4.71 decisions=125865, wrong=61862, backtracks=19046, failedAssignments=46710, nogoods=1379, foundSolutions=24, bestBound=41
9.17/4.71
9.27/4.83 num=199, depth=2..13, filters=581434, revisions=(1181759,useless=778453), ccks=2024716, wck=2.614, mem=55M652
9.27/4.83 decisions=137479, wrong=67666, backtracks=20459, failedAssignments=51167, nogoods=1403, foundSolutions=24, bestBound=41
9.27/4.83
9.38/4.97 num=200, depth=2..13, filters=635095, revisions=(1281447,useless=839269), ccks=2244197, wck=2.755, mem=58M294
9.38/4.97 decisions=150857, wrong=74351, backtracks=22398, failedAssignments=56070, nogoods=1418, foundSolutions=24, bestBound=41
9.38/4.97
9.61/5.11 num=201, depth=2..17, filters=686084, revisions=(1379885,useless=903213), ccks=2431881, wck=2.894, mem=58M294
9.61/5.11 decisions=164454, wrong=81144, backtracks=24265, failedAssignments=61464, nogoods=1443, foundSolutions=24, bestBound=41
9.61/5.11
9.70/5.28 num=202, depth=2..14, filters=749821, revisions=(1499788,useless=975927), ccks=2716374, wck=3.061, mem=58M294
9.70/5.28 decisions=180428, wrong=89127, backtracks=26448, failedAssignments=67397, nogoods=1468, foundSolutions=24, bestBound=41
9.70/5.28
9.90/5.45 num=203, depth=2..15, filters=816751, revisions=(1624020,useless=1050931), ccks=3016444, wck=3.235, mem=58M294
9.90/5.45 decisions=197520, wrong=97669, backtracks=28569, failedAssignments=73923, nogoods=1493, foundSolutions=24, bestBound=41
9.90/5.45
10.10/5.65 num=204, depth=2..16, filters=891457, revisions=(1765284,useless=1140877), ccks=3294668, wck=3.432, mem=58M294
10.10/5.65 decisions=215902, wrong=106857, backtracks=30935, failedAssignments=81102, nogoods=1517, foundSolutions=24, bestBound=41
10.10/5.65
10.30/5.89 num=205, depth=4..16, filters=978076, revisions=(1944814,useless=1265105), ccks=3580481, wck=3.671, mem=58M294
10.30/5.89 decisions=236972, wrong=117389, backtracks=34095, failedAssignments=88999, nogoods=1545, foundSolutions=24, bestBound=41
10.30/5.89
10.51/6.11 num=206, depth=2..17, filters=1056248, revisions=(2104662,useless=1377479), ccks=3839354, wck=3.891, mem=58M294
10.51/6.11 decisions=258828, wrong=128313, backtracks=37560, failedAssignments=97686, nogoods=1581, foundSolutions=24, bestBound=41
10.51/6.11
10.80/6.34 num=207, depth=0..16, filters=1147820, revisions=(2266584,useless=1472364), ccks=4305587, wck=4.125, mem=58M294
10.80/6.34 decisions=282954, wrong=140371, backtracks=40210, failedAssignments=107241, nogoods=1607, foundSolutions=24, bestBound=41
10.80/6.34
11.10/6.63 num=208, depth=2..17, filters=1258353, revisions=(2470778,useless=1601587), ccks=4731131, wck=4.415, mem=60M936
11.10/6.63 decisions=309845, wrong=153815, backtracks=43543, failedAssignments=117752, nogoods=1627, foundSolutions=24, bestBound=41
11.10/6.63
11.10/6.63 o 40
11.10/6.63 num=209, depth=7..43, filters=1258666, revisions=(2471557,useless=1602182), ccks=4731978, wck=4.417, mem=60M936
11.10/6.63 decisions=309911, wrong=153844, backtracks=43556, failedAssignments=117776, nogoods=1628, foundSolutions=25, bestBound=40
11.10/6.63
11.55/7.02 num=210, depth=4..18, filters=1395596, revisions=(2765978,useless=1805324), ccks=5199932, wck=4.81, mem=60M936
11.55/7.02 decisions=345682, wrong=171726, backtracks=49608, failedAssignments=130494, nogoods=1664, foundSolutions=25, bestBound=40
11.55/7.02
11.55/7.03 num=211, depth=8..11, filters=1395781, revisions=(2766338,useless=1805547), ccks=5200549, wck=4.811, mem=60M936
11.55/7.03 decisions=345720, wrong=171741, backtracks=49613, failedAssignments=130505, nogoods=1667, foundSolutions=25, bestBound=40
11.55/7.03
11.55/7.03 num=212, depth=7..14, filters=1395941, revisions=(2766685,useless=1805789), ccks=5201221, wck=4.812, mem=60M936
11.55/7.03 decisions=345756, wrong=171753, backtracks=49613, failedAssignments=130517, nogoods=1679, foundSolutions=25, bestBound=40
11.55/7.03
11.55/7.03 num=213, depth=6..10, filters=1396141, revisions=(2767155,useless=1806114), ccks=5201787, wck=4.813, mem=60M936
11.55/7.03 decisions=345810, wrong=171776, backtracks=49623, failedAssignments=130530, nogoods=1682, foundSolutions=25, bestBound=40
11.55/7.03
11.55/7.03 num=214, depth=8..11, filters=1396335, revisions=(2767595,useless=1806420), ccks=5202433, wck=4.814, mem=60M936
11.55/7.03 decisions=345852, wrong=171793, backtracks=49626, failedAssignments=130544, nogoods=1687, foundSolutions=25, bestBound=40
11.55/7.03
11.55/7.03 num=215, depth=11..16, filters=1396466, revisions=(2767921,useless=1806660), ccks=5203027, wck=4.815, mem=60M936
11.55/7.03 decisions=345897, wrong=171809, backtracks=49626, failedAssignments=130560, nogoods=1703, foundSolutions=25, bestBound=40
11.55/7.03
11.55/7.03 num=216, depth=8..12, filters=1396685, revisions=(2768392,useless=1806999), ccks=5203670, wck=4.816, mem=60M936
11.55/7.03 decisions=345945, wrong=171828, backtracks=49628, failedAssignments=130577, nogoods=1714, foundSolutions=25, bestBound=40
11.55/7.03
11.55/7.03 num=217, depth=6..11, filters=1396946, revisions=(2768916,useless=1807320), ccks=5204574, wck=4.817, mem=60M936
11.55/7.03 decisions=346010, wrong=171857, backtracks=49639, failedAssignments=130596, nogoods=1717, foundSolutions=25, bestBound=40
11.55/7.03
11.55/7.03 num=218, depth=9..12, filters=1397219, revisions=(2769497,useless=1807691), ccks=5205546, wck=4.818, mem=60M936
11.55/7.03 decisions=346077, wrong=171886, backtracks=49648, failedAssignments=130617, nogoods=1723, foundSolutions=25, bestBound=40
11.55/7.03
11.55/7.03 num=219, depth=10..15, filters=1397440, revisions=(2770090,useless=1808157), ccks=5206319, wck=4.819, mem=60M936
11.55/7.03 decisions=346141, wrong=171912, backtracks=49657, failedAssignments=130640, nogoods=1731, foundSolutions=25, bestBound=40
11.55/7.03
11.55/7.03 num=220, depth=6..12, filters=1397942, revisions=(2771153,useless=1808853), ccks=5207568, wck=4.82, mem=60M936
11.55/7.03 decisions=346229, wrong=171953, backtracks=49675, failedAssignments=130665, nogoods=1736, foundSolutions=25, bestBound=40
11.55/7.03
11.55/7.04 num=221, depth=11..17, filters=1398156, revisions=(2771702,useless=1809268), ccks=5208225, wck=4.821, mem=60M936
11.55/7.04 decisions=346304, wrong=171985, backtracks=49686, failedAssignments=130693, nogoods=1744, foundSolutions=25, bestBound=40
11.55/7.04
11.55/7.04 num=222, depth=6..12, filters=1398605, revisions=(2772624,useless=1809840), ccks=5209624, wck=4.823, mem=60M936
11.55/7.04 decisions=346430, wrong=172044, backtracks=49714, failedAssignments=130724, nogoods=1749, foundSolutions=25, bestBound=40
11.55/7.04
11.55/7.04 num=223, depth=6..12, filters=1399023, revisions=(2773441,useless=1810344), ccks=5211259, wck=4.824, mem=60M936
11.55/7.04 decisions=346529, wrong=172088, backtracks=49724, failedAssignments=130758, nogoods=1757, foundSolutions=25, bestBound=40
11.55/7.04
11.55/7.04 num=224, depth=9..16, filters=1399352, revisions=(2774241,useless=1810923), ccks=5212434, wck=4.826, mem=60M936
11.55/7.04 decisions=346622, wrong=172130, backtracks=49738, failedAssignments=130795, nogoods=1761, foundSolutions=25, bestBound=40
11.55/7.04
11.55/7.04 num=225, depth=9..15, filters=1399745, revisions=(2775313,useless=1811749), ccks=5213661, wck=4.827, mem=60M936
11.55/7.04 decisions=346733, wrong=172181, backtracks=49761, failedAssignments=130836, nogoods=1767, foundSolutions=25, bestBound=40
11.55/7.04
11.55/7.04 num=226, depth=6..13, filters=1400330, revisions=(2776462,useless=1812447), ccks=5215556, wck=4.829, mem=60M936
11.55/7.04 decisions=346897, wrong=172258, backtracks=49794, failedAssignments=130881, nogoods=1773, foundSolutions=25, bestBound=40
11.55/7.04
11.55/7.05 num=227, depth=6..13, filters=1400950, revisions=(2777658,useless=1813156), ccks=5217939, wck=4.831, mem=60M936
11.55/7.05 decisions=347038, wrong=172324, backtracks=49810, failedAssignments=130931, nogoods=1780, foundSolutions=25, bestBound=40
11.55/7.05
11.55/7.05 num=228, depth=5..11, filters=1401692, revisions=(2779164,useless=1814122), ccks=5220269, wck=4.833, mem=60M936
11.55/7.05 decisions=347191, wrong=172398, backtracks=49832, failedAssignments=130986, nogoods=1788, foundSolutions=25, bestBound=40
11.55/7.05
11.55/7.05 num=229, depth=8..15, filters=1402344, revisions=(2780963,useless=1815538), ccks=5222378, wck=4.836, mem=60M936
11.55/7.05 decisions=347358, wrong=172476, backtracks=49859, failedAssignments=131047, nogoods=1801, foundSolutions=25, bestBound=40
11.55/7.05
11.55/7.05 num=230, depth=5..12, filters=1403165, revisions=(2782795,useless=1816742), ccks=5225358, wck=4.838, mem=60M936
11.55/7.05 decisions=347586, wrong=172585, backtracks=49903, failedAssignments=131114, nogoods=1811, foundSolutions=25, bestBound=40
11.55/7.05
11.55/7.06 num=231, depth=6..11, filters=1404273, revisions=(2785664,useless=1818870), ccks=5228391, wck=4.842, mem=60M936
11.55/7.06 decisions=347804, wrong=172691, backtracks=49942, failedAssignments=131188, nogoods=1822, foundSolutions=25, bestBound=40
11.55/7.06
11.55/7.06 num=232, depth=5..12, filters=1405274, revisions=(2787740,useless=1820164), ccks=5231798, wck=4.845, mem=60M936
11.55/7.06 decisions=348089, wrong=172830, backtracks=50001, failedAssignments=131269, nogoods=1825, foundSolutions=25, bestBound=40
11.55/7.06
11.55/7.06 num=233, depth=4..11, filters=1406160, revisions=(2789596,useless=1821366), ccks=5235346, wck=4.847, mem=60M936
11.55/7.06 decisions=348352, wrong=172959, backtracks=50042, failedAssignments=131358, nogoods=1836, foundSolutions=25, bestBound=40
11.55/7.06
11.55/7.06 num=234, depth=10..15, filters=1407120, revisions=(2791696,useless=1822822), ccks=5238902, wck=4.85, mem=60M936
11.55/7.06 decisions=348594, wrong=173074, backtracks=50062, failedAssignments=131456, nogoods=1857, foundSolutions=25, bestBound=40
11.55/7.06
11.55/7.07 num=235, depth=5..13, filters=1408533, revisions=(2794437,useless=1824580), ccks=5242850, wck=4.854, mem=60M936
11.55/7.07 decisions=348915, wrong=173229, backtracks=50113, failedAssignments=131564, nogoods=1867, foundSolutions=25, bestBound=40
11.55/7.07
11.55/7.07 num=236, depth=5..13, filters=1410137, revisions=(2797990,useless=1827008), ccks=5248875, wck=4.86, mem=60M936
11.55/7.07 decisions=349293, wrong=173415, backtracks=50184, failedAssignments=131683, nogoods=1876, foundSolutions=25, bestBound=40
11.55/7.07
11.55/7.08 num=237, depth=4..12, filters=1411435, revisions=(2800728,useless=1828757), ccks=5254207, wck=4.863, mem=60M936
11.55/7.08 decisions=349689, wrong=173610, backtracks=50250, failedAssignments=131814, nogoods=1887, foundSolutions=25, bestBound=40
11.55/7.08
11.55/7.08 num=238, depth=6..12, filters=1412863, revisions=(2803906,useless=1830855), ccks=5259465, wck=4.868, mem=60M936
11.55/7.08 decisions=350116, wrong=173818, backtracks=50315, failedAssignments=131958, nogoods=1894, foundSolutions=25, bestBound=40
11.55/7.08
11.55/7.09 num=239, depth=5..11, filters=1414932, revisions=(2808757,useless=1834210), ccks=5267586, wck=4.874, mem=60M936
11.55/7.09 decisions=350671, wrong=174093, backtracks=50433, failedAssignments=132116, nogoods=1901, foundSolutions=25, bestBound=40
11.55/7.09
11.55/7.09 num=240, depth=5..12, filters=1416600, revisions=(2812038,useless=1836205), ccks=5273996, wck=4.879, mem=60M936
11.55/7.09 decisions=351197, wrong=174351, backtracks=50517, failedAssignments=132290, nogoods=1910, foundSolutions=25, bestBound=40
11.55/7.09
11.55/7.10 num=241, depth=5..11, filters=1419102, revisions=(2817939,useless=1840311), ccks=5283696, wck=4.887, mem=60M936
11.55/7.10 decisions=351881, wrong=174690, backtracks=50665, failedAssignments=132481, nogoods=1920, foundSolutions=25, bestBound=40
11.55/7.10
11.66/7.11 num=242, depth=2..10, filters=1421241, revisions=(2821847,useless=1842592), ccks=5293266, wck=4.893, mem=60M936
11.66/7.11 decisions=352421, wrong=174959, backtracks=50726, failedAssignments=132692, nogoods=1930, foundSolutions=25, bestBound=40
11.66/7.11
11.66/7.11 num=243, depth=7..15, filters=1423334, revisions=(2826710,useless=1846198), ccks=5299677, wck=4.9, mem=60M936
11.66/7.11 decisions=353016, wrong=175253, backtracks=50828, failedAssignments=132924, nogoods=1941, foundSolutions=25, bestBound=40
11.66/7.11
11.66/7.12 num=244, depth=5..13, filters=1426498, revisions=(2833325,useless=1850486), ccks=5310373, wck=4.908, mem=60M936
11.66/7.12 decisions=353746, wrong=175614, backtracks=50938, failedAssignments=133179, nogoods=1956, foundSolutions=25, bestBound=40
11.66/7.12
11.66/7.13 num=245, depth=5..14, filters=1429917, revisions=(2840456,useless=1855071), ccks=5322200, wck=4.918, mem=60M936
11.66/7.13 decisions=354493, wrong=175985, backtracks=51033, failedAssignments=133460, nogoods=1960, foundSolutions=25, bestBound=40
11.66/7.13
11.66/7.14 num=246, depth=5..17, filters=1432630, revisions=(2846221,useless=1859118), ccks=5330795, wck=4.926, mem=60M936
11.66/7.14 decisions=355285, wrong=176378, backtracks=51168, failedAssignments=133769, nogoods=1976, foundSolutions=25, bestBound=40
11.66/7.14
11.66/7.15 num=247, depth=1..17, filters=1436016, revisions=(2852269,useless=1862856), ccks=5346669, wck=4.936, mem=60M936
11.66/7.15 decisions=356148, wrong=176804, backtracks=51274, failedAssignments=134109, nogoods=2001, foundSolutions=25, bestBound=40
11.66/7.15
11.66/7.16 num=248, depth=4..13, filters=1439869, revisions=(2860631,useless=1868304), ccks=5360743, wck=4.947, mem=60M936
11.66/7.16 decisions=357246, wrong=177349, backtracks=51447, failedAssignments=134483, nogoods=2005, foundSolutions=25, bestBound=40
11.66/7.16
11.66/7.17 num=249, depth=4..16, filters=1443692, revisions=(2868294,useless=1873285), ccks=5374494, wck=4.957, mem=60M936
11.66/7.17 decisions=358318, wrong=177882, backtracks=51574, failedAssignments=134894, nogoods=2014, foundSolutions=25, bestBound=40
11.66/7.17
11.66/7.19 num=250, depth=4..13, filters=1448447, revisions=(2877634,useless=1879284), ccks=5393108, wck=4.971, mem=60M936
11.66/7.19 decisions=359588, wrong=178514, backtracks=51763, failedAssignments=135346, nogoods=2035, foundSolutions=25, bestBound=40
11.66/7.19
11.75/7.20 num=251, depth=4..14, filters=1453144, revisions=(2886317,useless=1884309), ccks=5412932, wck=4.984, mem=60M936
11.75/7.20 decisions=360950, wrong=179191, backtracks=51946, failedAssignments=135843, nogoods=2057, foundSolutions=25, bestBound=40
11.75/7.20
11.75/7.21 num=252, depth=4..15, filters=1458165, revisions=(2896750,useless=1890962), ccks=5431632, wck=4.998, mem=60M936
11.75/7.21 decisions=362570, wrong=179997, backtracks=52220, failedAssignments=136390, nogoods=2065, foundSolutions=25, bestBound=40
11.75/7.21
11.75/7.23 num=253, depth=4..12, filters=1464161, revisions=(2908563,useless=1898154), ccks=5456587, wck=5.014, mem=60M936
11.75/7.23 decisions=364277, wrong=180846, backtracks=52475, failedAssignments=136992, nogoods=2081, foundSolutions=25, bestBound=40
11.75/7.23
11.75/7.24 num=254, depth=3..14, filters=1469755, revisions=(2918906,useless=1904300), ccks=5480962, wck=5.029, mem=63M579
11.75/7.24 decisions=366013, wrong=181712, backtracks=52692, failedAssignments=137654, nogoods=2106, foundSolutions=25, bestBound=40
11.75/7.24
11.75/7.26 num=255, depth=3..15, filters=1475854, revisions=(2930556,useless=1911480), ccks=5508700, wck=5.046, mem=63M579
11.75/7.26 decisions=367781, wrong=182593, backtracks=52854, failedAssignments=138382, nogoods=2119, foundSolutions=25, bestBound=40
11.75/7.26
11.75/7.28 num=256, depth=4..14, filters=1483490, revisions=(2945979,useless=1921062), ccks=5538425, wck=5.068, mem=63M579
11.75/7.28 decisions=370126, wrong=183762, backtracks=53235, failedAssignments=139183, nogoods=2135, foundSolutions=25, bestBound=40
11.75/7.28
11.86/7.31 num=257, depth=4..14, filters=1493265, revisions=(2966586,useless=1934802), ccks=5575951, wck=5.096, mem=63M579
11.86/7.31 decisions=372795, wrong=185093, backtracks=53696, failedAssignments=140064, nogoods=2164, foundSolutions=25, bestBound=40
11.86/7.31
11.86/7.33 num=258, depth=3..13, filters=1501864, revisions=(2982851,useless=1944531), ccks=5614165, wck=5.12, mem=63M579
11.86/7.33 decisions=375349, wrong=186366, backtracks=54009, failedAssignments=141034, nogoods=2183, foundSolutions=25, bestBound=40
11.86/7.33
11.86/7.37 num=259, depth=3..14, filters=1513303, revisions=(3006298,useless=1959830), ccks=5660692, wck=5.151, mem=63M579
11.86/7.37 decisions=378474, wrong=187927, backtracks=54518, failedAssignments=142101, nogoods=2186, foundSolutions=25, bestBound=40
11.86/7.37
11.86/7.40 num=260, depth=3..16, filters=1524174, revisions=(3026306,useless=1973328), ccks=5698080, wck=5.181, mem=63M579
11.86/7.40 decisions=381541, wrong=189458, backtracks=54985, failedAssignments=143274, nogoods=2223, foundSolutions=25, bestBound=40
11.86/7.40
11.96/7.43 num=261, depth=2..14, filters=1535476, revisions=(3047148,useless=1985725), ccks=5749944, wck=5.212, mem=63M579
11.96/7.43 decisions=384971, wrong=191170, backtracks=55427, failedAssignments=144565, nogoods=2248, foundSolutions=25, bestBound=40
11.96/7.43
11.96/7.46 num=262, depth=3..14, filters=1547307, revisions=(3069938,useless=1999742), ccks=5806724, wck=5.244, mem=63M579
11.96/7.46 decisions=388551, wrong=192956, backtracks=55801, failedAssignments=145985, nogoods=2265, foundSolutions=25, bestBound=40
11.96/7.46
12.06/7.51 num=263, depth=4..14, filters=1565021, revisions=(3106301,useless=2023837), ccks=5871707, wck=5.294, mem=63M579
12.06/7.51 decisions=392769, wrong=195062, backtracks=56388, failedAssignments=147547, nogoods=2284, foundSolutions=25, bestBound=40
12.06/7.51
12.06/7.54 num=264, depth=1..16, filters=1578688, revisions=(3131033,useless=2038197), ccks=5943725, wck=5.33, mem=63M579
12.06/7.54 decisions=396912, wrong=197131, backtracks=56757, failedAssignments=149265, nogoods=2302, foundSolutions=25, bestBound=40
12.06/7.54
12.06/7.59 num=265, depth=2..15, filters=1594680, revisions=(3160893,useless=2056090), ccks=6024817, wck=5.374, mem=63M579
12.06/7.59 decisions=401651, wrong=199497, backtracks=57247, failedAssignments=151155, nogoods=2324, foundSolutions=25, bestBound=40
12.06/7.59
12.16/7.64 num=266, depth=3..16, filters=1614033, revisions=(3199194,useless=2080639), ccks=6101181, wck=5.427, mem=63M579
12.16/7.64 decisions=407399, wrong=202368, backtracks=58113, failedAssignments=153234, nogoods=2349, foundSolutions=25, bestBound=40
12.16/7.64
12.26/7.70 num=267, depth=1..15, filters=1636493, revisions=(3240407,useless=2107415), ccks=6187482, wck=5.488, mem=63M579
12.26/7.70 decisions=413412, wrong=205370, backtracks=58908, failedAssignments=155521, nogoods=2368, foundSolutions=25, bestBound=40
12.26/7.70
12.26/7.79 num=268, depth=3..17, filters=1664615, revisions=(3301938,useless=2151195), ccks=6283029, wck=5.571, mem=63M579
12.26/7.79 decisions=419913, wrong=208615, backtracks=59918, failedAssignments=158037, nogoods=2376, foundSolutions=25, bestBound=40
12.26/7.79
12.36/7.86 num=269, depth=2..15, filters=1691182, revisions=(3351309,useless=2181606), ccks=6397855, wck=5.644, mem=63M579
12.36/7.86 decisions=427499, wrong=212404, backtracks=60974, failedAssignments=160805, nogoods=2395, foundSolutions=25, bestBound=40
12.36/7.86
12.48/7.93 num=270, depth=2..17, filters=1717640, revisions=(3397131,useless=2210537), ccks=6499968, wck=5.714, mem=63M579
12.48/7.93 decisions=435136, wrong=216218, backtracks=61836, failedAssignments=163849, nogoods=2401, foundSolutions=25, bestBound=40
12.48/7.93
12.59/8.01 num=271, depth=1..13, filters=1748011, revisions=(3452295,useless=2243253), ccks=6651318, wck=5.798, mem=63M579
12.59/8.01 decisions=443754, wrong=220525, backtracks=62818, failedAssignments=167198, nogoods=2449, foundSolutions=25, bestBound=40
12.59/8.01
12.69/8.13 num=272, depth=2..15, filters=1789165, revisions=(3532692,useless=2295584), ccks=6818491, wck=5.911, mem=63M579
12.69/8.13 decisions=453439, wrong=225365, backtracks=64090, failedAssignments=170882, nogoods=2466, foundSolutions=25, bestBound=40
12.69/8.13
12.78/8.22 num=273, depth=1..15, filters=1826450, revisions=(3601928,useless=2337960), ccks=6989809, wck=6.01, mem=63M579
12.78/8.22 decisions=463915, wrong=230602, backtracks=65332, failedAssignments=174934, nogoods=2478, foundSolutions=25, bestBound=40
12.78/8.22
12.88/8.33 num=274, depth=1..17, filters=1866398, revisions=(3673707,useless=2384654), ccks=7140472, wck=6.119, mem=63M579
12.88/8.33 decisions=475225, wrong=236256, backtracks=66932, failedAssignments=179391, nogoods=2514, foundSolutions=25, bestBound=40
12.88/8.33
12.98/8.45 num=275, depth=0..16, filters=1908157, revisions=(3749394,useless=2430438), ccks=7364573, wck=6.231, mem=66M221
12.98/8.45 decisions=487359, wrong=242322, backtracks=68202, failedAssignments=184294, nogoods=2548, foundSolutions=25, bestBound=40
12.98/8.45
13.08/8.57 num=276, depth=0..17, filters=1954860, revisions=(3835733,useless=2484283), ccks=7579689, wck=6.36, mem=66M221
13.08/8.57 decisions=501249, wrong=249265, backtracks=69958, failedAssignments=189688, nogoods=2552, foundSolutions=25, bestBound=40
13.08/8.57
13.28/8.74 num=277, depth=0..18, filters=2013440, revisions=(3947159,useless=2555714), ccks=7833521, wck=6.523, mem=66M221
13.28/8.74 decisions=516769, wrong=257021, backtracks=72017, failedAssignments=195621, nogoods=2562, foundSolutions=25, bestBound=40
13.28/8.74
13.38/8.89 num=278, depth=0..14, filters=2071763, revisions=(4048799,useless=2614702), ccks=8124486, wck=6.677, mem=66M221
13.38/8.89 decisions=533286, wrong=265277, backtracks=73828, failedAssignments=202147, nogoods=2586, foundSolutions=25, bestBound=40
13.38/8.89
13.59/9.09 num=279, depth=0..15, filters=2144312, revisions=(4176871,useless=2692671), ccks=8477806, wck=6.872, mem=66M221
13.59/9.09 decisions=551668, wrong=274466, backtracks=76043, failedAssignments=209326, nogoods=2617, foundSolutions=25, bestBound=40
13.59/9.09
13.78/9.28 num=280, depth=0..16, filters=2216971, revisions=(4308449,useless=2772519), ccks=8824578, wck=7.063, mem=66M221
13.78/9.28 decisions=572567, wrong=284914, backtracks=78746, failedAssignments=217223, nogoods=2623, foundSolutions=25, bestBound=40
13.78/9.28
14.08/9.52 num=281, depth=0..15, filters=2306576, revisions=(4469921,useless=2873075), ccks=9213493, wck=7.303, mem=66M221
14.08/9.52 decisions=595687, wrong=296472, backtracks=81896, failedAssignments=225910, nogoods=2639, foundSolutions=25, bestBound=40
14.08/9.52
14.28/9.78 num=282, depth=0..15, filters=2404994, revisions=(4653512,useless=2989333), ccks=9628835, wck=7.566, mem=66M221
14.28/9.78 decisions=621564, wrong=309408, backtracks=85745, failedAssignments=235465, nogoods=2662, foundSolutions=25, bestBound=40
14.28/9.78
14.59/10.10 num=283, depth=0..16, filters=2520724, revisions=(4880286,useless=3137906), ccks=10095894, wck=7.885, mem=68M864
14.59/10.10 decisions=650843, wrong=324044, backtracks=90596, failedAssignments=245976, nogoods=2687, foundSolutions=25, bestBound=40
14.59/10.10
14.98/10.42 num=284, depth=0..17, filters=2641475, revisions=(5101411,useless=3279224), ccks=10585180, wck=8.209, mem=68M864
14.98/10.42 decisions=681502, wrong=339371, backtracks=94853, failedAssignments=257538, nogoods=2702, foundSolutions=25, bestBound=40
14.98/10.42
14.98/10.48
14.98/10.48 New Bounds: 40..39
14.98/10.48 num=285, depth=0..15, filters=2663793, revisions=(5142224,useless=3304884), ccks=10677230, wck=8.269, mem=68M864
14.98/10.48 decisions=687014, wrong=342128, backtracks=95634, failedAssignments=259598, foundSolutions=25, bestBound=40
14.98/10.48
14.98/10.48 Global
14.98/10.48 filters=2663793, revisions=(5142224,useless=3304884), ccks=10677230
14.98/10.48 Stop=FULL_EXPLORATION, wrong=342128, bestBound=40, bestBoundWck=4.77, bestBoundCpu=6.58, foundSolutions=25, firstSolCpu=2.191
14.98/10.48 wck=8.622, cpu=10.432, mem=68M864
14.98/10.48
14.98/10.48 v <instantiation id='sol25' type='solution' cost='40'> <list> v[] np[] nf[] pp[] </list> <values> 9 9 -9 -9 -9 9 9 9 1 9 1 -1 1 0 0 0 0 0 0 0 3 0 2 0 0 0 0 0 0 0 6 0 0 0 9 8 10 0 0 0 0 0 0 13 </values> </instantiation>
14.98/10.48 s OPTIMUM FOUND
14.98/10.48
14.98/10.48 d WRONG_DECISIONS 342128
14.98/10.48 d NUMBER_SOLUTIONS 25