2.45/1.87
2.45/1.87 AbsCon 2
2.45/1.89
2.93/2.02 Instance
2.93/2.02 name=instance-4391158-1568391771, framework=COP, bounds=-infty..+infty
2.93/2.02
2.93/2.02 Loading variables...
2.93/2.04 Loading constraints...
3.16/2.17
3.16/2.17 Domains
3.16/2.17 nTypes=18, nValues=330, sizes=[1#1,2#24,3#3,4#2,5#1,7#1,21#12]
3.16/2.17 Variables
3.16/2.17 count=44, degrees=[2#32,31#6,32#6]
3.16/2.17 Objectives
3.16/2.17 way=min, type=SumSimpleLE
3.16/2.17 Constraints
3.16/2.17 count=106, nSpecific=21, arities=[2#85,12#1,13#20]
3.16/2.17 distribution=[CtrIntension#85,ExactlyKVariable#20,SumSimpleLE#1]
3.16/2.17 nIntStructures=(20,shared:65), nCftStructures=(20,shared:65,unbuilt:21)
3.16/2.17 wck=0.33, cpu=2.138, mem=23M870
3.16/2.17 Solver SolverBacktrack being built...
3.16/2.17
3.16/2.19
3.16/2.19 Solver
3.16/2.19 guaranteedGAC=true
3.16/2.19 wck=0.354, cpu=2.16, mem=34M513
3.16/2.20
3.16/2.20 Preprocessing
3.16/2.20 filters=3, revisions=(2,useless=1), ccks=889, nACremovedValues=25, nTotalRemovedValues=25, inconcistency=false
3.16/2.20 wck=0.001, cpu=2.163, mem=34M513
3.16/2.20
3.44/2.21 o 84
3.44/2.21 num=0, depth=5..43, filters=151, revisions=(240,useless=151), ccks=1918, wck=0.02, mem=37M155
3.44/2.21 decisions=30, wrong=7, backtracks=0, failedAssignments=7, nogoods=7, foundSolutions=1, bestBound=84
3.44/2.21
3.44/2.23 num=1, depth=5..11, filters=403, revisions=(512,useless=218), ccks=2585, wck=0.026, mem=37M155
3.44/2.23 decisions=65, wrong=22, backtracks=6, failedAssignments=18, nogoods=8, foundSolutions=1, bestBound=84
3.44/2.23
3.44/2.23 o 82
3.44/2.23 num=2, depth=9..43, filters=658, revisions=(1384,useless=902), ccks=3425, wck=0.033, mem=37M155
3.44/2.23 decisions=122, wrong=42, backtracks=18, failedAssignments=27, nogoods=9, foundSolutions=2, bestBound=82
3.44/2.23
3.44/2.25 num=3, depth=8..13, filters=842, revisions=(1622,useless=1000), ccks=4098, wck=0.052, mem=37M155
3.44/2.25 decisions=162, wrong=58, backtracks=23, failedAssignments=39, nogoods=11, foundSolutions=2, bestBound=82
3.44/2.25
3.44/2.25 o 72
3.44/2.25 num=4, depth=11..43, filters=923, revisions=(1846,useless=1172), ccks=4632, wck=0.055, mem=37M155
3.44/2.25 decisions=190, wrong=61, backtracks=25, failedAssignments=41, nogoods=12, foundSolutions=3, bestBound=72
3.44/2.25
3.44/2.26 num=5, depth=8..14, filters=1176, revisions=(2268,useless=1397), ccks=5370, wck=0.059, mem=37M155
3.44/2.26 decisions=237, wrong=80, backtracks=35, failedAssignments=53, nogoods=14, foundSolutions=3, bestBound=72
3.44/2.26
3.44/2.26 o 69
3.44/2.26 num=6, depth=14..43, filters=1301, revisions=(2682,useless=1742), ccks=5814, wck=0.063, mem=37M155
3.44/2.26 decisions=280, wrong=92, backtracks=41, failedAssignments=60, nogoods=17, foundSolutions=4, bestBound=69
3.44/2.26
3.44/2.26 num=7, depth=8..14, filters=1560, revisions=(3156,useless=2005), ccks=6354, wck=0.066, mem=37M155
3.44/2.26 decisions=324, wrong=110, backtracks=50, failedAssignments=72, nogoods=18, foundSolutions=4, bestBound=69
3.44/2.26
3.44/2.27 num=8, depth=12..17, filters=1761, revisions=(3749,useless=2460), ccks=6854, wck=0.072, mem=37M155
3.44/2.27 decisions=374, wrong=128, backtracks=58, failedAssignments=83, nogoods=23, foundSolutions=4, bestBound=69
3.44/2.27
3.44/2.27 o 68
3.44/2.28 num=9, depth=11..43, filters=1915, revisions=(4118,useless=2721), ccks=7391, wck=0.076, mem=37M155
3.44/2.28 decisions=414, wrong=139, backtracks=62, failedAssignments=91, nogoods=28, foundSolutions=5, bestBound=68
3.44/2.28
3.44/2.28 num=10, depth=5..9, filters=2154, revisions=(4373,useless=2780), ccks=8288, wck=0.079, mem=37M155
3.44/2.28 decisions=453, wrong=156, backtracks=66, failedAssignments=104, nogoods=32, foundSolutions=5, bestBound=68
3.44/2.28
3.44/2.28 o 67
3.44/2.28 num=11, depth=45..43, filters=2206, revisions=(4549,useless=2926), ccks=8686, wck=0.081, mem=37M155
3.44/2.28 decisions=467, wrong=156, backtracks=66, failedAssignments=104, nogoods=32, foundSolutions=6, bestBound=67
3.44/2.28
3.44/2.28 num=12, depth=5..10, filters=2443, revisions=(4805,useless=2987), ccks=9404, wck=0.083, mem=37M155
3.44/2.28 decisions=506, wrong=173, backtracks=71, failedAssignments=116, nogoods=33, foundSolutions=6, bestBound=67
3.44/2.28
3.44/2.29 num=13, depth=10..14, filters=2688, revisions=(5736,useless=3749), ccks=10035, wck=0.087, mem=37M155
3.44/2.29 decisions=562, wrong=196, backtracks=84, failedAssignments=127, nogoods=36, foundSolutions=6, bestBound=67
3.44/2.29
3.44/2.29 num=14, depth=11..19, filters=2838, revisions=(6393,useless=4337), ccks=10548, wck=0.09, mem=37M155
3.44/2.29 decisions=625, wrong=220, backtracks=97, failedAssignments=139, nogoods=38, foundSolutions=6, bestBound=67
3.44/2.29
3.44/2.29 o 65
3.44/2.29 num=15, depth=15..43, filters=2947, revisions=(6733,useless=4613), ccks=10987, wck=0.093, mem=37M155
3.44/2.29 decisions=659, wrong=228, backtracks=100, failedAssignments=144, nogoods=40, foundSolutions=7, bestBound=65
3.44/2.29
3.44/2.29 num=16, depth=7..11, filters=3158, revisions=(6989,useless=4701), ccks=11706, wck=0.096, mem=37M155
3.44/2.29 decisions=702, wrong=246, backtracks=104, failedAssignments=158, nogoods=43, foundSolutions=7, bestBound=65
3.44/2.29
3.44/2.29 o 58
3.44/2.29 num=17, depth=12..43, filters=3237, revisions=(7181,useless=4843), ccks=12187, wck=0.098, mem=37M155
3.44/2.29 decisions=724, wrong=248, backtracks=104, failedAssignments=160, nogoods=45, foundSolutions=8, bestBound=58
3.44/2.29
3.44/2.29 num=18, depth=4..8, filters=3478, revisions=(7427,useless=4889), ccks=13061, wck=0.1, mem=37M155
3.44/2.29 decisions=760, wrong=264, backtracks=108, failedAssignments=172, nogoods=48, foundSolutions=8, bestBound=58
3.44/2.29
3.44/2.30 num=19, depth=10..16, filters=3615, revisions=(8034,useless=5420), ccks=13452, wck=0.103, mem=37M155
3.44/2.30 decisions=804, wrong=280, backtracks=121, failedAssignments=183, nogoods=51, foundSolutions=8, bestBound=58
3.44/2.30
3.44/2.30 o 57
3.44/2.30 num=20, depth=9..43, filters=3693, revisions=(8320,useless=5657), ccks=13829, wck=0.105, mem=37M155
3.44/2.30 decisions=821, wrong=282, backtracks=121, failedAssignments=185, nogoods=53, foundSolutions=9, bestBound=57
3.44/2.30
3.44/2.30 num=21, depth=6..11, filters=3938, revisions=(8589,useless=5722), ccks=14539, wck=0.107, mem=37M155
3.44/2.30 decisions=863, wrong=300, backtracks=126, failedAssignments=198, nogoods=56, foundSolutions=9, bestBound=57
3.44/2.30
3.78/2.30 num=22, depth=12..17, filters=4062, revisions=(8997,useless=6059), ccks=14784, wck=0.11, mem=37M155
3.78/2.30 decisions=904, wrong=314, backtracks=135, failedAssignments=209, nogoods=59, foundSolutions=9, bestBound=57
3.78/2.30
3.78/2.30 o 56
3.78/2.31 num=23, depth=10..43, filters=4135, revisions=(9188,useless=6201), ccks=15104, wck=0.112, mem=37M155
3.78/2.31 decisions=919, wrong=315, backtracks=135, failedAssignments=210, nogoods=60, foundSolutions=10, bestBound=56
3.78/2.31
3.78/2.31 num=24, depth=6..11, filters=4400, revisions=(9522,useless=6321), ccks=15808, wck=0.114, mem=37M155
3.78/2.31 decisions=963, wrong=334, backtracks=143, failedAssignments=223, nogoods=63, foundSolutions=10, bestBound=56
3.78/2.31
3.78/2.31 num=25, depth=12..17, filters=4538, revisions=(9983,useless=6699), ccks=16137, wck=0.117, mem=37M155
3.78/2.31 decisions=1007, wrong=349, backtracks=153, failedAssignments=234, nogoods=66, foundSolutions=10, bestBound=56
3.78/2.31
3.78/2.31 o 55
3.78/2.31 num=26, depth=13..43, filters=4628, revisions=(10310,useless=6973), ccks=16496, wck=0.119, mem=37M155
3.78/2.31 decisions=1034, wrong=356, backtracks=159, failedAssignments=239, nogoods=68, foundSolutions=11, bestBound=55
3.78/2.31
3.78/2.31 num=27, depth=9..14, filters=4829, revisions=(10597,useless=7099), ccks=17089, wck=0.121, mem=37M155
3.78/2.31 decisions=1081, wrong=375, backtracks=166, failedAssignments=252, nogoods=71, foundSolutions=11, bestBound=55
3.78/2.31
3.78/2.32 num=28, depth=11..18, filters=4980, revisions=(11118,useless=7526), ccks=17544, wck=0.124, mem=37M155
3.78/2.32 decisions=1129, wrong=392, backtracks=176, failedAssignments=263, nogoods=77, foundSolutions=11, bestBound=55
3.78/2.32
3.78/2.32 num=29, depth=9..16, filters=5214, revisions=(11561,useless=7791), ccks=18091, wck=0.126, mem=37M155
3.78/2.32 decisions=1174, wrong=409, backtracks=184, failedAssignments=275, nogoods=83, foundSolutions=11, bestBound=55
3.78/2.32
3.78/2.32 num=30, depth=8..14, filters=5436, revisions=(11913,useless=7980), ccks=18706, wck=0.129, mem=37M155
3.78/2.32 decisions=1224, wrong=429, backtracks=194, failedAssignments=288, nogoods=88, foundSolutions=11, bestBound=55
3.78/2.32
3.78/2.33 num=31, depth=10..16, filters=5614, revisions=(12539,useless=8503), ccks=19117, wck=0.132, mem=37M155
3.78/2.33 decisions=1269, wrong=446, backtracks=206, failedAssignments=302, nogoods=93, foundSolutions=11, bestBound=55
3.78/2.33
3.78/2.33 num=32, depth=11..17, filters=5945, revisions=(13555,useless=9308), ccks=19802, wck=0.137, mem=37M155
3.78/2.33 decisions=1332, wrong=472, backtracks=222, failedAssignments=318, nogoods=96, foundSolutions=11, bestBound=55
3.78/2.33
3.78/2.33 num=33, depth=12..20, filters=6190, revisions=(14234,useless=9820), ccks=20389, wck=0.141, mem=37M155
3.78/2.33 decisions=1398, wrong=498, backtracks=240, failedAssignments=335, nogoods=101, foundSolutions=11, bestBound=55
3.78/2.33
3.78/2.34 num=34, depth=8..16, filters=6489, revisions=(14681,useless=10043), ccks=21367, wck=0.145, mem=37M155
3.78/2.34 decisions=1470, wrong=529, backtracks=254, failedAssignments=354, nogoods=104, foundSolutions=11, bestBound=55
3.78/2.34
3.78/2.34 o 54
3.78/2.34 num=35, depth=14..43, filters=6563, revisions=(14926,useless=10244), ccks=21710, wck=0.147, mem=37M155
3.78/2.34 decisions=1492, wrong=532, backtracks=256, failedAssignments=356, nogoods=105, foundSolutions=12, bestBound=54
3.78/2.34
3.78/2.34 num=36, depth=2..7, filters=6966, revisions=(15299,useless=10277), ccks=23615, wck=0.151, mem=37M155
3.78/2.34 decisions=1550, wrong=560, backtracks=261, failedAssignments=379, nogoods=109, foundSolutions=12, bestBound=54
3.78/2.34
3.78/2.35 num=37, depth=9..15, filters=7075, revisions=(15793,useless=10709), ccks=23888, wck=0.154, mem=37M155
3.78/2.35 decisions=1586, wrong=573, backtracks=270, failedAssignments=390, nogoods=113, foundSolutions=12, bestBound=54
3.78/2.35
3.78/2.35 num=38, depth=9..14, filters=7331, revisions=(16823,useless=11575), ccks=24380, wck=0.159, mem=37M155
3.78/2.35 decisions=1640, wrong=594, backtracks=279, failedAssignments=402, nogoods=117, foundSolutions=12, bestBound=54
3.78/2.35
3.78/2.36 num=39, depth=10..18, filters=7472, revisions=(17521,useless=12202), ccks=24674, wck=0.163, mem=37M155
3.78/2.36 decisions=1688, wrong=612, backtracks=292, failedAssignments=415, nogoods=119, foundSolutions=12, bestBound=54
3.78/2.36
3.78/2.36 num=40, depth=12..19, filters=7676, revisions=(18045,useless=12598), ccks=25203, wck=0.166, mem=37M155
3.78/2.36 decisions=1749, wrong=636, backtracks=305, failedAssignments=429, nogoods=126, foundSolutions=12, bestBound=54
3.78/2.36
3.78/2.36 o 53
3.78/2.36 num=41, depth=13..43, filters=7823, revisions=(18384,useless=12856), ccks=25580, wck=0.17, mem=37M155
3.78/2.36 decisions=1796, wrong=650, backtracks=310, failedAssignments=440, nogoods=130, foundSolutions=13, bestBound=53
3.78/2.36
3.78/2.37 num=42, depth=6..11, filters=8078, revisions=(18685,useless=12948), ccks=26520, wck=0.173, mem=39M797
3.78/2.37 decisions=1846, wrong=672, backtracks=315, failedAssignments=457, nogoods=132, foundSolutions=13, bestBound=53
3.78/2.37
3.78/2.37 num=43, depth=10..17, filters=8242, revisions=(19328,useless=13492), ccks=26868, wck=0.176, mem=39M797
3.78/2.37 decisions=1899, wrong=693, backtracks=333, failedAssignments=468, nogoods=135, foundSolutions=13, bestBound=53
3.78/2.37
3.78/2.37 num=44, depth=10..17, filters=8412, revisions=(19962,useless=14029), ccks=27240, wck=0.18, mem=39M797
3.78/2.37 decisions=1943, wrong=708, backtracks=341, failedAssignments=480, nogoods=142, foundSolutions=13, bestBound=53
3.78/2.37
3.78/2.38 o 52
3.78/2.38 num=45, depth=9..43, filters=8513, revisions=(20177,useless=14176), ccks=27656, wck=0.182, mem=39M797
3.78/2.38 decisions=1966, wrong=712, backtracks=343, failedAssignments=482, nogoods=144, foundSolutions=14, bestBound=52
3.78/2.38
3.78/2.38 num=46, depth=3..8, filters=8753, revisions=(20431,useless=14230), ccks=28880, wck=0.185, mem=39M797
3.78/2.38 decisions=2007, wrong=731, backtracks=348, failedAssignments=496, nogoods=145, foundSolutions=14, bestBound=52
3.78/2.38
3.78/2.38 num=47, depth=7..15, filters=8958, revisions=(20743,useless=14381), ccks=29519, wck=0.188, mem=39M797
3.78/2.38 decisions=2053, wrong=747, backtracks=353, failedAssignments=507, nogoods=148, foundSolutions=14, bestBound=52
3.78/2.38
3.78/2.38 num=48, depth=8..19, filters=9099, revisions=(21132,useless=14688), ccks=29889, wck=0.191, mem=39M797
3.78/2.38 decisions=2096, wrong=762, backtracks=363, failedAssignments=519, nogoods=151, foundSolutions=14, bestBound=52
3.78/2.38
3.78/2.39 num=49, depth=10..18, filters=9269, revisions=(21606,useless=15068), ccks=30310, wck=0.194, mem=39M797
3.78/2.39 decisions=2151, wrong=784, backtracks=375, failedAssignments=532, nogoods=154, foundSolutions=14, bestBound=52
3.78/2.39
3.78/2.39 num=50, depth=10..17, filters=9463, revisions=(22353,useless=15705), ccks=30653, wck=0.198, mem=39M797
3.78/2.39 decisions=2205, wrong=806, backtracks=388, failedAssignments=546, nogoods=156, foundSolutions=14, bestBound=52
3.78/2.39
3.78/2.39 num=51, depth=10..14, filters=9713, revisions=(22784,useless=15960), ccks=31469, wck=0.201, mem=39M797
3.78/2.39 decisions=2269, wrong=832, backtracks=398, failedAssignments=562, nogoods=159, foundSolutions=14, bestBound=52
3.78/2.39
4.08/2.40 o 50
4.08/2.40 num=52, depth=10..43, filters=9975, revisions=(23321,useless=16312), ccks=32258, wck=0.206, mem=39M797
4.08/2.40 decisions=2334, wrong=856, backtracks=414, failedAssignments=576, nogoods=161, foundSolutions=15, bestBound=50
4.08/2.40
4.08/2.40 num=53, depth=3..7, filters=10306, revisions=(23641,useless=16350), ccks=33702, wck=0.209, mem=39M797
4.08/2.40 decisions=2383, wrong=879, backtracks=418, failedAssignments=595, nogoods=167, foundSolutions=15, bestBound=50
4.08/2.40
4.08/2.41 num=54, depth=9..16, filters=10448, revisions=(24155,useless=16776), ccks=34182, wck=0.213, mem=39M797
4.08/2.41 decisions=2423, wrong=893, backtracks=427, failedAssignments=606, nogoods=172, foundSolutions=15, bestBound=50
4.08/2.41
4.08/2.41 num=55, depth=9..12, filters=10656, revisions=(24914,useless=17387), ccks=34748, wck=0.216, mem=39M797
4.08/2.41 decisions=2472, wrong=913, backtracks=435, failedAssignments=618, nogoods=176, foundSolutions=15, bestBound=50
4.08/2.41
4.08/2.41 num=56, depth=9..16, filters=10891, revisions=(25518,useless=17830), ccks=35237, wck=0.22, mem=39M797
4.08/2.41 decisions=2523, wrong=932, backtracks=445, failedAssignments=631, nogoods=181, foundSolutions=15, bestBound=50
4.08/2.41
4.08/2.42 num=57, depth=9..14, filters=11078, revisions=(26394,useless=18596), ccks=35538, wck=0.224, mem=39M797
4.08/2.42 decisions=2574, wrong=952, backtracks=460, failedAssignments=645, nogoods=187, foundSolutions=15, bestBound=50
4.08/2.42
4.08/2.42 o 49
4.08/2.42 num=58, depth=6..43, filters=11299, revisions=(26881,useless=18927), ccks=36288, wck=0.228, mem=39M797
4.08/2.42 decisions=2625, wrong=971, backtracks=465, failedAssignments=660, nogoods=196, foundSolutions=16, bestBound=49
4.08/2.42
4.08/2.42 num=59, depth=4..11, filters=11615, revisions=(27212,useless=18993), ccks=37509, wck=0.231, mem=39M797
4.08/2.42 decisions=2675, wrong=994, backtracks=472, failedAssignments=677, nogoods=199, foundSolutions=16, bestBound=49
4.08/2.42
4.08/2.43 num=60, depth=9..16, filters=11777, revisions=(27817,useless=19500), ccks=37903, wck=0.234, mem=39M797
4.08/2.43 decisions=2723, wrong=1012, backtracks=485, failedAssignments=688, nogoods=203, foundSolutions=16, bestBound=49
4.08/2.43
4.08/2.43 num=61, depth=7..20, filters=11977, revisions=(28321,useless=19874), ccks=38366, wck=0.238, mem=39M797
4.08/2.43 decisions=2776, wrong=1032, backtracks=494, failedAssignments=700, nogoods=212, foundSolutions=16, bestBound=49
4.08/2.43
4.08/2.43 num=62, depth=0..11, filters=12204, revisions=(28814,useless=20192), ccks=39573, wck=0.241, mem=39M797
4.08/2.43 decisions=2815, wrong=1046, backtracks=495, failedAssignments=713, nogoods=216, foundSolutions=16, bestBound=49
4.08/2.43
4.08/2.44 num=63, depth=9..16, filters=12372, revisions=(29425,useless=20714), ccks=39832, wck=0.245, mem=39M797
4.08/2.44 decisions=2863, wrong=1064, backtracks=507, failedAssignments=727, nogoods=223, foundSolutions=16, bestBound=49
4.08/2.44
4.08/2.44 num=64, depth=7..14, filters=12711, revisions=(30843,useless=21907), ccks=40410, wck=0.25, mem=39M797
4.08/2.44 decisions=2937, wrong=1096, backtracks=528, failedAssignments=743, nogoods=226, foundSolutions=16, bestBound=49
4.08/2.44
4.08/2.45 num=65, depth=9..15, filters=12999, revisions=(31370,useless=22228), ccks=41168, wck=0.254, mem=39M797
4.08/2.45 decisions=3004, wrong=1124, backtracks=547, failedAssignments=760, nogoods=229, foundSolutions=16, bestBound=49
4.08/2.45
4.08/2.45 num=66, depth=9..16, filters=13315, revisions=(32366,useless=23002), ccks=42007, wck=0.259, mem=39M797
4.08/2.45 decisions=3087, wrong=1158, backtracks=563, failedAssignments=779, nogoods=234, foundSolutions=16, bestBound=49
4.08/2.45
4.08/2.46 num=67, depth=8..18, filters=13693, revisions=(33148,useless=23511), ccks=42970, wck=0.264, mem=39M797
4.08/2.46 decisions=3167, wrong=1192, backtracks=585, failedAssignments=800, nogoods=239, foundSolutions=16, bestBound=49
4.08/2.46
4.08/2.46 num=68, depth=9..16, filters=14076, revisions=(34040,useless=24129), ccks=43912, wck=0.269, mem=39M797
4.08/2.46 decisions=3255, wrong=1230, backtracks=605, failedAssignments=823, nogoods=245, foundSolutions=16, bestBound=49
4.08/2.46
4.08/2.47 num=69, depth=10..17, filters=14429, revisions=(34862,useless=24722), ccks=44678, wck=0.274, mem=39M797
4.08/2.47 decisions=3341, wrong=1267, backtracks=626, failedAssignments=848, nogoods=249, foundSolutions=16, bestBound=49
4.08/2.47
4.08/2.47 num=70, depth=10..16, filters=14859, revisions=(35835,useless=25418), ccks=45554, wck=0.28, mem=39M797
4.08/2.47 decisions=3444, wrong=1312, backtracks=644, failedAssignments=876, nogoods=256, foundSolutions=16, bestBound=49
4.08/2.47
4.08/2.48 num=71, depth=10..14, filters=15394, revisions=(38178,useless=27442), ccks=46480, wck=0.289, mem=39M797
4.08/2.48 decisions=3549, wrong=1359, backtracks=666, failedAssignments=907, nogoods=266, foundSolutions=16, bestBound=49
4.08/2.48
4.08/2.49 num=72, depth=9..16, filters=15897, revisions=(39115,useless=28027), ccks=47860, wck=0.295, mem=39M797
4.08/2.49 decisions=3668, wrong=1413, backtracks=702, failedAssignments=941, nogoods=270, foundSolutions=16, bestBound=49
4.08/2.49
4.08/2.49 num=73, depth=9..20, filters=16241, revisions=(40112,useless=28830), ccks=48838, wck=0.301, mem=39M797
4.08/2.49 decisions=3788, wrong=1466, backtracks=738, failedAssignments=978, nogoods=278, foundSolutions=16, bestBound=49
4.08/2.49
4.40/2.50 o 48
4.40/2.50 num=74, depth=11..43, filters=16537, revisions=(41073,useless=29616), ccks=49427, wck=0.308, mem=39M797
4.40/2.50 decisions=3882, wrong=1505, backtracks=757, failedAssignments=1000, nogoods=282, foundSolutions=17, bestBound=48
4.40/2.50
4.40/2.51 num=75, depth=0..19, filters=17167, revisions=(42103,useless=30173), ccks=52309, wck=0.316, mem=39M797
4.40/2.51 decisions=4014, wrong=1564, backtracks=787, failedAssignments=1045, nogoods=286, foundSolutions=17, bestBound=48
4.40/2.51
4.40/2.51 num=76, depth=12..15, filters=17332, revisions=(42493,useless=30455), ccks=52695, wck=0.319, mem=39M797
4.40/2.51 decisions=4054, wrong=1578, backtracks=794, failedAssignments=1056, nogoods=289, foundSolutions=17, bestBound=48
4.40/2.51
4.40/2.52 num=77, depth=10..15, filters=17517, revisions=(43093,useless=30937), ccks=53099, wck=0.322, mem=39M797
4.40/2.52 decisions=4100, wrong=1595, backtracks=805, failedAssignments=1068, nogoods=292, foundSolutions=17, bestBound=48
4.40/2.52
4.40/2.52 o 47
4.40/2.52 num=78, depth=11..43, filters=17647, revisions=(43546,useless=31305), ccks=53513, wck=0.325, mem=39M797
4.40/2.52 decisions=4127, wrong=1601, backtracks=809, failedAssignments=1071, nogoods=294, foundSolutions=18, bestBound=47
4.40/2.52
4.40/2.52 num=79, depth=10..16, filters=17946, revisions=(44197,useless=31741), ccks=54112, wck=0.33, mem=39M797
4.40/2.52 decisions=4192, wrong=1627, backtracks=824, failedAssignments=1085, nogoods=297, foundSolutions=18, bestBound=47
4.40/2.52
4.40/2.53 o 46
4.40/2.53 num=80, depth=10..43, filters=18039, revisions=(44491,useless=31974), ccks=54406, wck=0.332, mem=39M797
4.40/2.53 decisions=4211, wrong=1630, backtracks=825, failedAssignments=1087, nogoods=299, foundSolutions=19, bestBound=46
4.40/2.53
4.40/2.53 num=81, depth=11..17, filters=18261, revisions=(45279,useless=32610), ccks=55045, wck=0.336, mem=39M797
4.40/2.53 decisions=4270, wrong=1653, backtracks=838, failedAssignments=1099, nogoods=303, foundSolutions=19, bestBound=46
4.40/2.53
4.40/2.53 num=82, depth=10..15, filters=18505, revisions=(45764,useless=32919), ccks=55682, wck=0.341, mem=39M797
4.40/2.53 decisions=4327, wrong=1676, backtracks=852, failedAssignments=1110, nogoods=305, foundSolutions=19, bestBound=46
4.40/2.53
4.40/2.54 num=83, depth=10..19, filters=18691, revisions=(46214,useless=33247), ccks=56036, wck=0.344, mem=39M797
4.40/2.54 decisions=4375, wrong=1694, backtracks=864, failedAssignments=1122, nogoods=307, foundSolutions=19, bestBound=46
4.40/2.54
4.40/2.54 o 45
4.40/2.54 num=84, depth=10..43, filters=18794, revisions=(46531,useless=33504), ccks=56358, wck=0.346, mem=42M440
4.40/2.54 decisions=4403, wrong=1701, backtracks=865, failedAssignments=1128, nogoods=313, foundSolutions=20, bestBound=45
4.40/2.54
4.40/2.54 num=85, depth=11..14, filters=18979, revisions=(47262,useless=34129), ccks=56736, wck=0.35, mem=42M440
4.40/2.54 decisions=4465, wrong=1727, backtracks=878, failedAssignments=1142, nogoods=318, foundSolutions=20, bestBound=45
4.40/2.54
4.40/2.55 num=86, depth=8..13, filters=19168, revisions=(47628,useless=34359), ccks=57308, wck=0.353, mem=42M440
4.40/2.55 decisions=4506, wrong=1743, backtracks=884, failedAssignments=1153, nogoods=323, foundSolutions=20, bestBound=45
4.40/2.55
4.40/2.55 num=87, depth=9..13, filters=19379, revisions=(48086,useless=34670), ccks=57855, wck=0.357, mem=42M440
4.40/2.55 decisions=4551, wrong=1760, backtracks=889, failedAssignments=1165, nogoods=328, foundSolutions=20, bestBound=45
4.40/2.55
4.40/2.55 num=88, depth=10..12, filters=19596, revisions=(48615,useless=35035), ccks=58447, wck=0.36, mem=42M440
4.40/2.55 decisions=4601, wrong=1780, backtracks=896, failedAssignments=1178, nogoods=331, foundSolutions=20, bestBound=45
4.40/2.55
4.40/2.56 num=89, depth=11..17, filters=19793, revisions=(49106,useless=35395), ccks=58937, wck=0.363, mem=42M440
4.40/2.56 decisions=4651, wrong=1799, backtracks=906, failedAssignments=1192, nogoods=336, foundSolutions=20, bestBound=45
4.40/2.56
4.40/2.56 num=90, depth=10..12, filters=20110, revisions=(49886,useless=35964), ccks=59578, wck=0.368, mem=42M440
4.40/2.56 decisions=4721, wrong=1829, backtracks=920, failedAssignments=1208, nogoods=339, foundSolutions=20, bestBound=45
4.40/2.56
4.40/2.56 num=91, depth=11..15, filters=20226, revisions=(50296,useless=36331), ccks=59808, wck=0.371, mem=42M440
4.40/2.56 decisions=4775, wrong=1850, backtracks=936, failedAssignments=1225, nogoods=344, foundSolutions=20, bestBound=45
4.40/2.56
4.40/2.57 num=92, depth=9..12, filters=20534, revisions=(51337,useless=37161), ccks=60355, wck=0.377, mem=42M440
4.40/2.57 decisions=4836, wrong=1876, backtracks=946, failedAssignments=1244, nogoods=351, foundSolutions=20, bestBound=45
4.40/2.57
4.40/2.57 num=93, depth=10..16, filters=20820, revisions=(52131,useless=37783), ccks=60864, wck=0.381, mem=42M440
4.40/2.57 decisions=4900, wrong=1903, backtracks=962, failedAssignments=1265, nogoods=358, foundSolutions=20, bestBound=45
4.40/2.57
4.40/2.58 num=94, depth=9..15, filters=21200, revisions=(53089,useless=38491), ccks=61829, wck=0.387, mem=42M440
4.40/2.58 decisions=4982, wrong=1939, backtracks=976, failedAssignments=1288, nogoods=361, foundSolutions=20, bestBound=45
4.40/2.58
4.40/2.59 num=95, depth=12..20, filters=21487, revisions=(53791,useless=39030), ccks=62444, wck=0.392, mem=42M440
4.40/2.59 decisions=5073, wrong=1978, backtracks=1001, failedAssignments=1313, nogoods=366, foundSolutions=20, bestBound=45
4.40/2.59
4.40/2.59 num=96, depth=12..20, filters=21819, revisions=(54451,useless=39469), ccks=63154, wck=0.397, mem=42M440
4.40/2.59 decisions=5159, wrong=2015, backtracks=1016, failedAssignments=1341, nogoods=372, foundSolutions=20, bestBound=45
4.40/2.59
4.40/2.60 num=97, depth=9..16, filters=22208, revisions=(55179,useless=39947), ccks=64737, wck=0.403, mem=42M440
4.40/2.60 decisions=5275, wrong=2067, backtracks=1040, failedAssignments=1372, nogoods=376, foundSolutions=20, bestBound=45
4.40/2.60
4.40/2.60 o 44
4.40/2.60 num=98, depth=11..43, filters=22361, revisions=(55764,useless=40444), ccks=65165, wck=0.407, mem=42M440
4.40/2.60 decisions=5319, wrong=2082, backtracks=1047, failedAssignments=1382, nogoods=377, foundSolutions=21, bestBound=44
4.40/2.60
4.74/2.61 num=99, depth=9..15, filters=23104, revisions=(57516,useless=41648), ccks=66761, wck=0.417, mem=42M440
4.74/2.61 decisions=5463, wrong=2149, backtracks=1080, failedAssignments=1419, nogoods=381, foundSolutions=21, bestBound=44
4.74/2.61
4.74/2.61 num=100, depth=9..12, filters=23318, revisions=(57955,useless=41935), ccks=67336, wck=0.42, mem=42M440
4.74/2.61 decisions=5505, wrong=2165, backtracks=1085, failedAssignments=1430, nogoods=386, foundSolutions=21, bestBound=44
4.74/2.61
4.74/2.62 num=101, depth=10..15, filters=23470, revisions=(58536,useless=42430), ccks=67693, wck=0.424, mem=42M440
4.74/2.62 decisions=5548, wrong=2181, backtracks=1096, failedAssignments=1442, nogoods=391, foundSolutions=21, bestBound=44
4.74/2.62
4.74/2.62 num=102, depth=12..16, filters=23586, revisions=(59006,useless=42849), ccks=67941, wck=0.427, mem=42M440
4.74/2.62 decisions=5593, wrong=2197, backtracks=1108, failedAssignments=1455, nogoods=395, foundSolutions=21, bestBound=44
4.74/2.62
4.74/2.62 num=103, depth=10..13, filters=23834, revisions=(59541,useless=43208), ccks=68538, wck=0.43, mem=42M440
4.74/2.62 decisions=5642, wrong=2216, backtracks=1113, failedAssignments=1469, nogoods=403, foundSolutions=21, bestBound=44
4.74/2.62
4.74/2.63 num=104, depth=10..16, filters=24047, revisions=(60272,useless=43817), ccks=68974, wck=0.434, mem=42M440
4.74/2.63 decisions=5699, wrong=2238, backtracks=1125, failedAssignments=1485, nogoods=406, foundSolutions=21, bestBound=44
4.74/2.63
4.74/2.63 num=105, depth=8..13, filters=24358, revisions=(60872,useless=44187), ccks=69721, wck=0.438, mem=42M440
4.74/2.63 decisions=5766, wrong=2267, backtracks=1138, failedAssignments=1502, nogoods=412, foundSolutions=21, bestBound=44
4.74/2.63
4.74/2.64 num=106, depth=12..16, filters=24476, revisions=(61295,useless=44571), ccks=70158, wck=0.442, mem=42M440
4.74/2.64 decisions=5825, wrong=2290, backtracks=1154, failedAssignments=1521, nogoods=419, foundSolutions=21, bestBound=44
4.74/2.64
4.74/2.64 num=107, depth=8..13, filters=24860, revisions=(62059,useless=45064), ccks=71081, wck=0.447, mem=42M440
4.74/2.64 decisions=5902, wrong=2324, backtracks=1169, failedAssignments=1542, nogoods=425, foundSolutions=21, bestBound=44
4.74/2.64
4.74/2.64 num=108, depth=10..15, filters=25045, revisions=(62819,useless=45750), ccks=71509, wck=0.452, mem=42M440
4.74/2.64 decisions=5977, wrong=2356, backtracks=1196, failedAssignments=1565, nogoods=428, foundSolutions=21, bestBound=44
4.74/2.64
4.74/2.65 num=109, depth=9..12, filters=25450, revisions=(63817,useless=46444), ccks=72457, wck=0.458, mem=42M440
4.74/2.65 decisions=6066, wrong=2396, backtracks=1212, failedAssignments=1590, nogoods=437, foundSolutions=21, bestBound=44
4.74/2.65
4.74/2.66 num=110, depth=9..15, filters=25739, revisions=(64814,useless=47276), ccks=73081, wck=0.463, mem=42M440
4.74/2.66 decisions=6153, wrong=2434, backtracks=1235, failedAssignments=1618, nogoods=441, foundSolutions=21, bestBound=44
4.74/2.66
4.74/2.66 num=111, depth=9..14, filters=26215, revisions=(65969,useless=48100), ccks=74102, wck=0.47, mem=42M440
4.74/2.66 decisions=6256, wrong=2481, backtracks=1251, failedAssignments=1649, nogoods=445, foundSolutions=21, bestBound=44
4.74/2.66
4.74/2.67 num=112, depth=10..16, filters=26610, revisions=(66915,useless=48792), ccks=74985, wck=0.476, mem=42M440
4.74/2.67 decisions=6366, wrong=2531, backtracks=1273, failedAssignments=1683, nogoods=456, foundSolutions=21, bestBound=44
4.74/2.67
4.74/2.68 num=113, depth=6..16, filters=27228, revisions=(68411,useless=49864), ccks=76588, wck=0.485, mem=42M440
4.74/2.68 decisions=6480, wrong=2584, backtracks=1293, failedAssignments=1720, nogoods=459, foundSolutions=21, bestBound=44
4.74/2.68
4.74/2.69 num=114, depth=10..17, filters=27589, revisions=(69665,useless=50945), ccks=77471, wck=0.492, mem=42M440
4.74/2.69 decisions=6616, wrong=2646, backtracks=1337, failedAssignments=1761, nogoods=469, foundSolutions=21, bestBound=44
4.74/2.69
4.74/2.69 num=115, depth=9..15, filters=27905, revisions=(71197,useless=52375), ccks=78389, wck=0.5, mem=42M440
4.74/2.69 decisions=6773, wrong=2719, backtracks=1400, failedAssignments=1806, nogoods=473, foundSolutions=21, bestBound=44
4.74/2.69
5.02/2.70 num=116, depth=10..16, filters=28548, revisions=(72527,useless=53303), ccks=79932, wck=0.509, mem=42M440
5.02/2.70 decisions=6915, wrong=2784, backtracks=1421, failedAssignments=1856, nogoods=492, foundSolutions=21, bestBound=44
5.02/2.70
5.02/2.71 num=117, depth=10..15, filters=29172, revisions=(74168,useless=54535), ccks=81375, wck=0.519, mem=42M440
5.02/2.71 decisions=7088, wrong=2865, backtracks=1454, failedAssignments=1911, nogoods=494, foundSolutions=21, bestBound=44
5.02/2.71
5.02/2.72 num=118, depth=10..16, filters=29886, revisions=(75769,useless=55655), ccks=83067, wck=0.529, mem=42M440
5.02/2.72 decisions=7278, wrong=2954, backtracks=1488, failedAssignments=1972, nogoods=502, foundSolutions=21, bestBound=44
5.02/2.72
5.02/2.73 o 43
5.02/2.73 num=119, depth=11..43, filters=30019, revisions=(76074,useless=55876), ccks=83476, wck=0.533, mem=42M440
5.02/2.73 decisions=7309, wrong=2961, backtracks=1490, failedAssignments=1977, nogoods=507, foundSolutions=22, bestBound=43
5.02/2.73
5.02/2.74 num=120, depth=11..15, filters=31086, revisions=(78768,useless=57849), ccks=85947, wck=0.546, mem=42M440
5.02/2.74 decisions=7527, wrong=3064, backtracks=1528, failedAssignments=2051, nogoods=520, foundSolutions=22, bestBound=43
5.02/2.74
5.02/2.74 num=121, depth=9..16, filters=31247, revisions=(79125,useless=58104), ccks=86374, wck=0.549, mem=45M82
5.02/2.74 decisions=7567, wrong=3078, backtracks=1533, failedAssignments=2062, nogoods=527, foundSolutions=22, bestBound=43
5.02/2.74
5.02/2.75 num=122, depth=9..15, filters=31355, revisions=(79476,useless=58395), ccks=86605, wck=0.552, mem=45M82
5.02/2.75 decisions=7604, wrong=3092, backtracks=1539, failedAssignments=2074, nogoods=528, foundSolutions=22, bestBound=43
5.02/2.75
5.02/2.75 num=123, depth=12..16, filters=31506, revisions=(79935,useless=58775), ccks=86945, wck=0.556, mem=45M82
5.02/2.75 decisions=7648, wrong=3108, backtracks=1550, failedAssignments=2087, nogoods=533, foundSolutions=22, bestBound=43
5.02/2.75
5.02/2.75 num=124, depth=9..11, filters=31692, revisions=(80419,useless=59133), ccks=87501, wck=0.559, mem=45M82
5.02/2.75 decisions=7689, wrong=3124, backtracks=1553, failedAssignments=2101, nogoods=540, foundSolutions=22, bestBound=43
5.02/2.75
5.02/2.76 num=125, depth=10..14, filters=31877, revisions=(80826,useless=59425), ccks=87851, wck=0.562, mem=45M82
5.02/2.76 decisions=7734, wrong=3141, backtracks=1556, failedAssignments=2117, nogoods=550, foundSolutions=22, bestBound=43
5.02/2.76
5.02/2.76 num=126, depth=9..11, filters=32146, revisions=(81433,useless=59833), ccks=88476, wck=0.566, mem=45M82
5.02/2.76 decisions=7793, wrong=3165, backtracks=1563, failedAssignments=2134, nogoods=557, foundSolutions=22, bestBound=43
5.02/2.76
5.02/2.77 num=127, depth=9..13, filters=32426, revisions=(82269,useless=60474), ccks=89034, wck=0.571, mem=45M82
5.02/2.77 decisions=7859, wrong=3193, backtracks=1574, failedAssignments=2153, nogoods=561, foundSolutions=22, bestBound=43
5.02/2.77
5.02/2.77 num=128, depth=10..15, filters=32646, revisions=(82780,useless=60849), ccks=89494, wck=0.575, mem=45M82
5.02/2.77 decisions=7915, wrong=3215, backtracks=1578, failedAssignments=2174, nogoods=574, foundSolutions=22, bestBound=43
5.02/2.77
5.02/2.77 o 42
5.02/2.77 num=129, depth=9..43, filters=32859, revisions=(83266,useless=61194), ccks=90027, wck=0.579, mem=45M82
5.02/2.77 decisions=7967, wrong=3235, backtracks=1585, failedAssignments=2189, nogoods=581, foundSolutions=23, bestBound=42
5.02/2.77
5.02/2.78 num=130, depth=9..17, filters=33283, revisions=(84322,useless=61947), ccks=90950, wck=0.585, mem=45M82
5.02/2.78 decisions=8059, wrong=3275, backtracks=1602, failedAssignments=2214, nogoods=590, foundSolutions=23, bestBound=42
5.02/2.78
5.02/2.78 num=131, depth=9..15, filters=33466, revisions=(84742,useless=62246), ccks=91403, wck=0.588, mem=45M82
5.02/2.78 decisions=8105, wrong=3293, backtracks=1610, failedAssignments=2225, nogoods=592, foundSolutions=23, bestBound=42
5.02/2.78
5.02/2.78 num=132, depth=7..17, filters=33652, revisions=(85197,useless=62585), ccks=91853, wck=0.592, mem=45M82
5.02/2.78 decisions=8149, wrong=3310, backtracks=1619, failedAssignments=2237, nogoods=597, foundSolutions=23, bestBound=42
5.02/2.78
5.02/2.79 num=133, depth=10..13, filters=33866, revisions=(85724,useless=62972), ccks=92436, wck=0.595, mem=45M82
5.02/2.79 decisions=8192, wrong=3326, backtracks=1623, failedAssignments=2250, nogoods=600, foundSolutions=23, bestBound=42
5.02/2.79
5.02/2.79 o 41
5.02/2.79 num=134, depth=12..43, filters=33938, revisions=(85924,useless=63131), ccks=92735, wck=0.598, mem=45M82
5.02/2.79 decisions=8213, wrong=3330, backtracks=1623, failedAssignments=2254, nogoods=604, foundSolutions=24, bestBound=41
5.02/2.79
5.02/2.80 num=135, depth=10..14, filters=34283, revisions=(86804,useless=63755), ccks=93489, wck=0.602, mem=45M82
5.02/2.80 decisions=8269, wrong=3353, backtracks=1632, failedAssignments=2270, nogoods=612, foundSolutions=24, bestBound=41
5.02/2.80
5.34/2.80 num=136, depth=10..14, filters=34495, revisions=(87290,useless=64098), ccks=94197, wck=0.606, mem=45M82
5.34/2.80 decisions=8309, wrong=3368, backtracks=1637, failedAssignments=2281, nogoods=617, foundSolutions=24, bestBound=41
5.34/2.80
5.34/2.80 num=137, depth=12..16, filters=34673, revisions=(87840,useless=64549), ccks=94584, wck=0.61, mem=45M82
5.34/2.80 decisions=8354, wrong=3384, backtracks=1646, failedAssignments=2293, nogoods=624, foundSolutions=24, bestBound=41
5.34/2.80
5.34/2.81 num=138, depth=10..15, filters=34965, revisions=(88476,useless=64976), ccks=95343, wck=0.613, mem=45M82
5.34/2.81 decisions=8409, wrong=3404, backtracks=1654, failedAssignments=2306, nogoods=630, foundSolutions=24, bestBound=41
5.34/2.81
5.34/2.81 num=139, depth=11..15, filters=35178, revisions=(88976,useless=65334), ccks=95972, wck=0.616, mem=45M82
5.34/2.81 decisions=8455, wrong=3421, backtracks=1662, failedAssignments=2320, nogoods=634, foundSolutions=24, bestBound=41
5.34/2.81
5.34/2.81 num=140, depth=13..18, filters=35364, revisions=(89545,useless=65813), ccks=96460, wck=0.62, mem=45M82
5.34/2.81 decisions=8507, wrong=3440, backtracks=1675, failedAssignments=2336, nogoods=640, foundSolutions=24, bestBound=41
5.34/2.81
5.34/2.82 num=141, depth=14..18, filters=35549, revisions=(89936,useless=66108), ccks=96966, wck=0.623, mem=45M82
5.34/2.82 decisions=8571, wrong=3465, backtracks=1688, failedAssignments=2353, nogoods=642, foundSolutions=24, bestBound=41
5.34/2.82
5.34/2.82 num=142, depth=11..17, filters=35819, revisions=(90659,useless=66666), ccks=97588, wck=0.627, mem=45M82
5.34/2.82 decisions=8634, wrong=3490, backtracks=1695, failedAssignments=2372, nogoods=653, foundSolutions=24, bestBound=41
5.34/2.82
5.34/2.82 num=143, depth=9..15, filters=36129, revisions=(91365,useless=67164), ccks=98340, wck=0.631, mem=45M82
5.34/2.82 decisions=8708, wrong=3522, backtracks=1708, failedAssignments=2393, nogoods=658, foundSolutions=24, bestBound=41
5.34/2.82
5.34/2.83 num=144, depth=10..14, filters=36393, revisions=(91943,useless=67549), ccks=99267, wck=0.635, mem=45M82
5.34/2.83 decisions=8791, wrong=3558, backtracks=1722, failedAssignments=2416, nogoods=663, foundSolutions=24, bestBound=41
5.34/2.83
5.34/2.83 num=145, depth=8..13, filters=36804, revisions=(92788,useless=68102), ccks=100339, wck=0.64, mem=45M82
5.34/2.83 decisions=8886, wrong=3600, backtracks=1740, failedAssignments=2441, nogoods=669, foundSolutions=24, bestBound=41
5.34/2.83
5.34/2.84 num=146, depth=9..16, filters=37078, revisions=(93400,useless=68557), ccks=101040, wck=0.644, mem=45M82
5.34/2.84 decisions=8965, wrong=3634, backtracks=1763, failedAssignments=2469, nogoods=677, foundSolutions=24, bestBound=41
5.34/2.84
5.34/2.84 num=147, depth=11..16, filters=37486, revisions=(94186,useless=69065), ccks=102243, wck=0.648, mem=45M82
5.34/2.84 decisions=9048, wrong=3670, backtracks=1772, failedAssignments=2500, nogoods=680, foundSolutions=24, bestBound=41
5.34/2.84
5.34/2.85 num=148, depth=10..16, filters=37840, revisions=(95014,useless=69710), ccks=103034, wck=0.654, mem=45M82
5.34/2.85 decisions=9140, wrong=3711, backtracks=1788, failedAssignments=2534, nogoods=682, foundSolutions=24, bestBound=41
5.34/2.85
5.34/2.85 num=149, depth=11..18, filters=38249, revisions=(96007,useless=70438), ccks=103916, wck=0.66, mem=45M82
5.34/2.85 decisions=9246, wrong=3757, backtracks=1805, failedAssignments=2571, nogoods=694, foundSolutions=24, bestBound=41
5.34/2.85
5.34/2.86 num=150, depth=8..12, filters=38985, revisions=(97532,useless=71436), ccks=105968, wck=0.667, mem=45M82
5.34/2.86 decisions=9360, wrong=3810, backtracks=1819, failedAssignments=2612, nogoods=698, foundSolutions=24, bestBound=41
5.34/2.86
5.34/2.87 num=151, depth=8..13, filters=39585, revisions=(99540,useless=73081), ccks=107422, wck=0.675, mem=45M82
5.34/2.87 decisions=9497, wrong=3874, backtracks=1858, failedAssignments=2657, nogoods=708, foundSolutions=24, bestBound=41
5.34/2.87
5.34/2.88 num=152, depth=10..17, filters=40124, revisions=(100958,useless=74166), ccks=108705, wck=0.683, mem=45M82
5.34/2.88 decisions=9634, wrong=3937, backtracks=1886, failedAssignments=2707, nogoods=715, foundSolutions=24, bestBound=41
5.34/2.88
5.34/2.88 num=153, depth=10..19, filters=40690, revisions=(102070,useless=74953), ccks=109932, wck=0.69, mem=45M82
5.34/2.88 decisions=9776, wrong=4003, backtracks=1914, failedAssignments=2762, nogoods=718, foundSolutions=24, bestBound=41
5.34/2.88
5.34/2.89 num=154, depth=10..16, filters=41439, revisions=(103835,useless=76199), ccks=111765, wck=0.7, mem=45M82
5.34/2.89 decisions=9952, wrong=4086, backtracks=1941, failedAssignments=2823, nogoods=725, foundSolutions=24, bestBound=41
5.34/2.89
5.65/2.91 num=155, depth=8..16, filters=42306, revisions=(105689,useless=77474), ccks=113965, wck=0.712, mem=45M82
5.65/2.91 decisions=10152, wrong=4181, backtracks=1981, failedAssignments=2890, nogoods=731, foundSolutions=24, bestBound=41
5.65/2.91
5.65/2.92 num=156, depth=7..14, filters=43477, revisions=(107999,useless=78901), ccks=117527, wck=0.727, mem=45M82
5.65/2.92 decisions=10388, wrong=4295, backtracks=2022, failedAssignments=2964, nogoods=738, foundSolutions=24, bestBound=41
5.65/2.92
5.65/2.93 num=157, depth=7..15, filters=44371, revisions=(110229,useless=80505), ccks=119715, wck=0.74, mem=45M82
5.65/2.93 decisions=10631, wrong=4413, backtracks=2072, failedAssignments=3045, nogoods=740, foundSolutions=24, bestBound=41
5.65/2.93
5.65/2.95 num=158, depth=7..14, filters=45507, revisions=(112859,useless=82338), ccks=122435, wck=0.756, mem=45M82
5.65/2.95 decisions=10877, wrong=4531, backtracks=2119, failedAssignments=3134, nogoods=756, foundSolutions=24, bestBound=41
5.65/2.95
5.65/2.97 num=159, depth=6..11, filters=47355, revisions=(117828,useless=86020), ccks=126114, wck=0.78, mem=47M725
5.65/2.97 decisions=11182, wrong=4680, backtracks=2178, failedAssignments=3232, nogoods=759, foundSolutions=24, bestBound=41
5.65/2.97
5.65/2.99 num=160, depth=9..18, filters=48573, revisions=(120649,useless=88059), ccks=128999, wck=0.797, mem=47M725
5.65/2.99 decisions=11510, wrong=4838, backtracks=2256, failedAssignments=3340, nogoods=771, foundSolutions=24, bestBound=41
5.65/2.99
5.98/3.02 num=161, depth=7..13, filters=50493, revisions=(125234,useless=91355), ccks=135005, wck=0.828, mem=47M725
5.98/3.02 decisions=11912, wrong=5035, backtracks=2340, failedAssignments=3459, nogoods=774, foundSolutions=24, bestBound=41
5.98/3.02
5.98/3.04 num=162, depth=9..18, filters=51800, revisions=(129031,useless=94422), ccks=138001, wck=0.849, mem=47M725
5.98/3.04 decisions=12291, wrong=5219, backtracks=2453, failedAssignments=3590, nogoods=780, foundSolutions=24, bestBound=41
5.98/3.04
5.98/3.06 num=163, depth=7..16, filters=53537, revisions=(132470,useless=96606), ccks=142815, wck=0.864, mem=47M725
5.98/3.06 decisions=12709, wrong=5422, backtracks=2527, failedAssignments=3734, nogoods=791, foundSolutions=24, bestBound=41
5.98/3.06
5.98/3.08 num=164, depth=7..14, filters=55984, revisions=(138555,useless=101042), ccks=149043, wck=0.882, mem=47M725
5.98/3.08 decisions=13177, wrong=5652, backtracks=2615, failedAssignments=3892, nogoods=806, foundSolutions=24, bestBound=41
5.98/3.08
5.98/3.09 num=165, depth=5..14, filters=58245, revisions=(143325,useless=104201), ccks=155591, wck=0.899, mem=47M725
5.98/3.09 decisions=13668, wrong=5894, backtracks=2702, failedAssignments=4066, nogoods=810, foundSolutions=24, bestBound=41
5.98/3.09
5.98/3.11 num=166, depth=7..17, filters=60646, revisions=(148815,useless=108079), ccks=161806, wck=0.913, mem=47M725
5.98/3.11 decisions=14199, wrong=6156, backtracks=2797, failedAssignments=4257, nogoods=812, foundSolutions=24, bestBound=41
5.98/3.11
6.29/3.12 num=167, depth=9..17, filters=62481, revisions=(153029,useless=111329), ccks=165504, wck=0.926, mem=47M725
6.29/3.12 decisions=14760, wrong=6431, backtracks=2918, failedAssignments=4468, nogoods=826, foundSolutions=24, bestBound=41
6.29/3.12
6.29/3.14 num=168, depth=5..12, filters=65545, revisions=(158670,useless=114803), ccks=176903, wck=0.943, mem=47M725
6.29/3.14 decisions=15372, wrong=6733, backtracks=2993, failedAssignments=4700, nogoods=836, foundSolutions=24, bestBound=41
6.29/3.14
6.29/3.16 num=169, depth=6..16, filters=68704, revisions=(167504,useless=121601), ccks=184289, wck=0.962, mem=47M725
6.29/3.16 decisions=16077, wrong=7081, backtracks=3157, failedAssignments=4955, nogoods=844, foundSolutions=24, bestBound=41
6.29/3.16
6.29/3.19 num=170, depth=6..14, filters=73173, revisions=(177796,useless=128732), ccks=196275, wck=0.996, mem=50M367
6.29/3.19 decisions=16906, wrong=7491, backtracks=3308, failedAssignments=5236, nogoods=859, foundSolutions=24, bestBound=41
6.29/3.19
6.55/3.22 num=171, depth=6..14, filters=77656, revisions=(187925,useless=135757), ccks=207741, wck=1.028, mem=50M367
6.55/3.22 decisions=17782, wrong=7925, backtracks=3458, failedAssignments=5545, nogoods=870, foundSolutions=24, bestBound=41
6.55/3.22
6.55/3.25 num=172, depth=6..17, filters=81684, revisions=(195973,useless=140914), ccks=219232, wck=1.057, mem=50M367
6.55/3.25 decisions=18753, wrong=8406, backtracks=3643, failedAssignments=5885, nogoods=883, foundSolutions=24, bestBound=41
6.55/3.25
6.55/3.28 num=173, depth=5..14, filters=86200, revisions=(205110,useless=146867), ccks=232312, wck=1.088, mem=50M367
6.55/3.28 decisions=19778, wrong=8915, backtracks=3816, failedAssignments=6259, nogoods=891, foundSolutions=24, bestBound=41
6.55/3.28
6.85/3.33 num=174, depth=6..14, filters=92346, revisions=(220723,useless=158219), ccks=248680, wck=1.135, mem=50M367
6.85/3.33 decisions=20973, wrong=9508, backtracks=4021, failedAssignments=6670, nogoods=912, foundSolutions=24, bestBound=41
6.85/3.33
6.85/3.36 num=175, depth=6..15, filters=96809, revisions=(232173,useless=166849), ccks=260728, wck=1.172, mem=50M367
6.85/3.36 decisions=22192, wrong=10113, backtracks=4308, failedAssignments=7122, nogoods=925, foundSolutions=24, bestBound=41
6.85/3.36
7.15/3.41 num=176, depth=4..11, filters=103930, revisions=(246374,useless=175700), ccks=287712, wck=1.217, mem=50M367
7.15/3.41 decisions=23656, wrong=10842, backtracks=4547, failedAssignments=7619, nogoods=935, foundSolutions=24, bestBound=41
7.15/3.41
7.15/3.45 num=177, depth=5..15, filters=109800, revisions=(259090,useless=184412), ccks=305197, wck=1.261, mem=53M10
7.15/3.45 decisions=25097, wrong=11559, backtracks=4822, failedAssignments=8166, nogoods=946, foundSolutions=24, bestBound=41
7.15/3.45
7.45/3.51 num=178, depth=6..15, filters=118233, revisions=(277823,useless=197277), ccks=327614, wck=1.321, mem=53M10
7.45/3.51 decisions=26766, wrong=12390, backtracks=5114, failedAssignments=8768, nogoods=960, foundSolutions=24, bestBound=41
7.45/3.51
7.45/3.57 num=179, depth=5..15, filters=125523, revisions=(293232,useless=207414), ccks=352222, wck=1.373, mem=53M10
7.45/3.57 decisions=28517, wrong=13261, backtracks=5382, failedAssignments=9430, nogoods=972, foundSolutions=24, bestBound=41
7.45/3.57
7.75/3.62 num=180, depth=5..17, filters=133797, revisions=(310423,useless=218951), ccks=375712, wck=1.43, mem=53M10
7.75/3.62 decisions=30489, wrong=14242, backtracks=5688, failedAssignments=10158, nogoods=991, foundSolutions=24, bestBound=41
7.75/3.62
8.05/3.70 num=181, depth=6..15, filters=144640, revisions=(334225,useless=235495), ccks=405091, wck=1.509, mem=55M652
8.05/3.70 decisions=32620, wrong=15304, backtracks=6005, failedAssignments=10959, nogoods=1005, foundSolutions=24, bestBound=41
8.05/3.70
8.05/3.78 num=182, depth=5..17, filters=154784, revisions=(355993,useless=250390), ccks=433587, wck=1.586, mem=55M652
8.05/3.78 decisions=34902, wrong=16439, backtracks=6348, failedAssignments=11840, nogoods=1023, foundSolutions=24, bestBound=41
8.05/3.78
8.35/3.87 num=183, depth=6..17, filters=166591, revisions=(380340,useless=266702), ccks=468709, wck=1.678, mem=55M652
8.35/3.87 decisions=37496, wrong=17731, backtracks=6795, failedAssignments=12810, nogoods=1033, foundSolutions=24, bestBound=41
8.35/3.87
8.65/3.95 num=184, depth=5..14, filters=177580, revisions=(404184,useless=283062), ccks=504051, wck=1.761, mem=58M294
8.65/3.95 decisions=40264, wrong=19111, backtracks=7215, failedAssignments=13877, nogoods=1058, foundSolutions=24, bestBound=41
8.65/3.95
8.98/4.05 num=185, depth=4..14, filters=191941, revisions=(432380,useless=300530), ccks=559147, wck=1.86, mem=58M294
8.98/4.05 decisions=43517, wrong=20733, backtracks=7687, failedAssignments=15050, nogoods=1074, foundSolutions=24, bestBound=41
8.98/4.05
9.29/4.13 num=186, depth=3..13, filters=205295, revisions=(458743,useless=317402), ccks=608052, wck=1.94, mem=58M294
9.29/4.13 decisions=46925, wrong=22433, backtracks=8137, failedAssignments=16341, nogoods=1084, foundSolutions=24, bestBound=41
9.29/4.13
9.56/4.23 num=187, depth=5..15, filters=222536, revisions=(497049,useless=343787), ccks=660737, wck=2.037, mem=58M294
9.56/4.23 decisions=50851, wrong=24393, backtracks=8809, failedAssignments=17761, nogoods=1112, foundSolutions=24, bestBound=41
9.56/4.23
9.56/4.29 num=188, depth=4..15, filters=238130, revisions=(524744,useless=360424), ccks=721281, wck=2.094, mem=58M294
9.56/4.29 decisions=54753, wrong=26340, backtracks=9256, failedAssignments=19323, nogoods=1134, foundSolutions=24, bestBound=41
9.56/4.29
9.86/4.36 num=189, depth=4..15, filters=258656, revisions=(566919,useless=387621), ccks=798665, wck=2.165, mem=58M294
9.86/4.36 decisions=59483, wrong=28701, backtracks=9939, failedAssignments=21041, nogoods=1160, foundSolutions=24, bestBound=41
9.86/4.36
10.10/4.43 num=190, depth=4..16, filters=282267, revisions=(613213,useless=417222), ccks=879191, wck=2.232, mem=58M294
10.10/4.43 decisions=64498, wrong=31206, backtracks=10686, failedAssignments=22931, nogoods=1173, foundSolutions=24, bestBound=41
10.10/4.43
10.10/4.49 num=191, depth=4..14, filters=304902, revisions=(655361,useless=443608), ccks=960239, wck=2.297, mem=58M294
10.10/4.49 decisions=69985, wrong=33945, backtracks=11402, failedAssignments=25010, nogoods=1196, foundSolutions=24, bestBound=41
10.10/4.49
10.23/4.56 num=192, depth=4..16, filters=329272, revisions=(706220,useless=477847), ccks=1038438, wck=2.366, mem=58M294
10.23/4.56 decisions=76160, wrong=37029, backtracks=12397, failedAssignments=27297, nogoods=1214, foundSolutions=24, bestBound=41
10.23/4.56
10.34/4.63 num=193, depth=3..16, filters=354230, revisions=(759332,useless=515762), ccks=1111019, wck=2.441, mem=58M294
10.34/4.63 decisions=82671, wrong=40281, backtracks=13499, failedAssignments=29813, nogoods=1231, foundSolutions=24, bestBound=41
10.34/4.63
10.45/4.71 num=194, depth=3..15, filters=382569, revisions=(813716,useless=550527), ccks=1217699, wck=2.521, mem=58M294
10.45/4.71 decisions=89676, wrong=43781, backtracks=14437, failedAssignments=32581, nogoods=1264, foundSolutions=24, bestBound=41
10.45/4.71
10.55/4.80 num=195, depth=3..17, filters=413207, revisions=(871910,useless=587714), ccks=1329190, wck=2.609, mem=58M294
10.55/4.80 decisions=97333, wrong=47607, backtracks=15430, failedAssignments=35625, nogoods=1301, foundSolutions=24, bestBound=41
10.55/4.80
10.65/4.91 num=196, depth=3..16, filters=452229, revisions=(946044,useless=634820), ccks=1473917, wck=2.719, mem=58M294
10.65/4.91 decisions=105905, wrong=51889, backtracks=16524, failedAssignments=38974, nogoods=1325, foundSolutions=24, bestBound=41
10.65/4.91
10.76/5.03 num=197, depth=3..15, filters=496642, revisions=(1029366,useless=686991), ccks=1643195, wck=2.838, mem=58M294
10.76/5.03 decisions=115781, wrong=56822, backtracks=17864, failedAssignments=42658, nogoods=1341, foundSolutions=24, bestBound=41
10.76/5.03
10.86/5.13 num=198, depth=2..15, filters=534958, revisions=(1098389,useless=729334), ccks=1807403, wck=2.941, mem=60M937
10.86/5.13 decisions=125865, wrong=61862, backtracks=19046, failedAssignments=46710, nogoods=1379, foundSolutions=24, bestBound=41
10.86/5.13
10.95/5.26 num=199, depth=2..13, filters=581434, revisions=(1181759,useless=778453), ccks=2024716, wck=3.065, mem=60M937
10.95/5.26 decisions=137479, wrong=67666, backtracks=20459, failedAssignments=51167, nogoods=1403, foundSolutions=24, bestBound=41
10.95/5.26
11.19/5.40 num=200, depth=2..13, filters=635095, revisions=(1281447,useless=839269), ccks=2244197, wck=3.207, mem=60M937
11.19/5.40 decisions=150857, wrong=74351, backtracks=22398, failedAssignments=56070, nogoods=1418, foundSolutions=24, bestBound=41
11.19/5.40
11.31/5.54 num=201, depth=2..17, filters=686084, revisions=(1379885,useless=903213), ccks=2431881, wck=3.348, mem=60M937
11.31/5.54 decisions=164454, wrong=81144, backtracks=24265, failedAssignments=61464, nogoods=1443, foundSolutions=24, bestBound=41
11.31/5.54
11.51/5.71 num=202, depth=2..14, filters=749821, revisions=(1499788,useless=975927), ccks=2716374, wck=3.516, mem=60M937
11.51/5.71 decisions=180428, wrong=89127, backtracks=26448, failedAssignments=67397, nogoods=1468, foundSolutions=24, bestBound=41
11.51/5.71
11.61/5.88 num=203, depth=2..15, filters=816751, revisions=(1624020,useless=1050931), ccks=3016444, wck=3.692, mem=60M937
11.61/5.88 decisions=197520, wrong=97669, backtracks=28569, failedAssignments=73923, nogoods=1493, foundSolutions=24, bestBound=41
11.61/5.88
11.82/6.09 num=204, depth=2..16, filters=891457, revisions=(1765284,useless=1140877), ccks=3294668, wck=3.892, mem=60M937
11.82/6.09 decisions=215902, wrong=106857, backtracks=30935, failedAssignments=81102, nogoods=1517, foundSolutions=24, bestBound=41
11.82/6.09
12.12/6.33 num=205, depth=4..16, filters=978076, revisions=(1944814,useless=1265105), ccks=3580481, wck=4.135, mem=60M937
12.12/6.33 decisions=236972, wrong=117389, backtracks=34095, failedAssignments=88999, nogoods=1545, foundSolutions=24, bestBound=41
12.12/6.33
12.32/6.55 num=206, depth=2..17, filters=1056248, revisions=(2104662,useless=1377479), ccks=3839354, wck=4.358, mem=60M937
12.32/6.55 decisions=258828, wrong=128313, backtracks=37560, failedAssignments=97686, nogoods=1581, foundSolutions=24, bestBound=41
12.32/6.55
12.52/6.79 num=207, depth=0..16, filters=1147820, revisions=(2266584,useless=1472364), ccks=4305587, wck=4.593, mem=63M579
12.52/6.79 decisions=282954, wrong=140371, backtracks=40210, failedAssignments=107241, nogoods=1607, foundSolutions=24, bestBound=41
12.52/6.79
12.83/7.08 num=208, depth=2..17, filters=1258353, revisions=(2470778,useless=1601587), ccks=4731131, wck=4.887, mem=63M579
12.83/7.08 decisions=309845, wrong=153815, backtracks=43543, failedAssignments=117752, nogoods=1627, foundSolutions=24, bestBound=41
12.83/7.08
12.83/7.08 o 40
12.83/7.08 num=209, depth=7..43, filters=1258666, revisions=(2471557,useless=1602182), ccks=4731978, wck=4.889, mem=63M579
12.83/7.08 decisions=309911, wrong=153844, backtracks=43556, failedAssignments=117776, nogoods=1628, foundSolutions=25, bestBound=40
12.83/7.08
13.25/7.48 num=210, depth=4..18, filters=1395596, revisions=(2765978,useless=1805324), ccks=5199932, wck=5.287, mem=63M579
13.25/7.48 decisions=345682, wrong=171726, backtracks=49608, failedAssignments=130494, nogoods=1664, foundSolutions=25, bestBound=40
13.25/7.48
13.25/7.48 num=211, depth=8..11, filters=1395781, revisions=(2766338,useless=1805547), ccks=5200549, wck=5.288, mem=63M579
13.25/7.48 decisions=345720, wrong=171741, backtracks=49613, failedAssignments=130505, nogoods=1667, foundSolutions=25, bestBound=40
13.25/7.48
13.25/7.48 num=212, depth=7..14, filters=1395941, revisions=(2766685,useless=1805789), ccks=5201221, wck=5.288, mem=63M579
13.25/7.48 decisions=345756, wrong=171753, backtracks=49613, failedAssignments=130517, nogoods=1679, foundSolutions=25, bestBound=40
13.25/7.48
13.25/7.48 num=213, depth=6..10, filters=1396141, revisions=(2767155,useless=1806114), ccks=5201787, wck=5.289, mem=63M579
13.25/7.48 decisions=345810, wrong=171776, backtracks=49623, failedAssignments=130530, nogoods=1682, foundSolutions=25, bestBound=40
13.25/7.48
13.25/7.48 num=214, depth=8..11, filters=1396335, revisions=(2767595,useless=1806420), ccks=5202433, wck=5.29, mem=63M579
13.25/7.48 decisions=345852, wrong=171793, backtracks=49626, failedAssignments=130544, nogoods=1687, foundSolutions=25, bestBound=40
13.25/7.48
13.25/7.48 num=215, depth=11..16, filters=1396466, revisions=(2767921,useless=1806660), ccks=5203027, wck=5.291, mem=63M579
13.25/7.48 decisions=345897, wrong=171809, backtracks=49626, failedAssignments=130560, nogoods=1703, foundSolutions=25, bestBound=40
13.25/7.48
13.25/7.49 num=216, depth=8..12, filters=1396685, revisions=(2768392,useless=1806999), ccks=5203670, wck=5.292, mem=63M579
13.25/7.49 decisions=345945, wrong=171828, backtracks=49628, failedAssignments=130577, nogoods=1714, foundSolutions=25, bestBound=40
13.25/7.49
13.25/7.49 num=217, depth=6..11, filters=1396946, revisions=(2768916,useless=1807320), ccks=5204574, wck=5.293, mem=63M579
13.25/7.49 decisions=346010, wrong=171857, backtracks=49639, failedAssignments=130596, nogoods=1717, foundSolutions=25, bestBound=40
13.25/7.49
13.25/7.49 num=218, depth=9..12, filters=1397219, revisions=(2769497,useless=1807691), ccks=5205546, wck=5.294, mem=63M579
13.25/7.49 decisions=346077, wrong=171886, backtracks=49648, failedAssignments=130617, nogoods=1723, foundSolutions=25, bestBound=40
13.25/7.49
13.25/7.49 num=219, depth=10..15, filters=1397440, revisions=(2770090,useless=1808157), ccks=5206319, wck=5.295, mem=63M579
13.25/7.49 decisions=346141, wrong=171912, backtracks=49657, failedAssignments=130640, nogoods=1731, foundSolutions=25, bestBound=40
13.25/7.49
13.25/7.49 num=220, depth=6..12, filters=1397942, revisions=(2771153,useless=1808853), ccks=5207568, wck=5.297, mem=63M579
13.25/7.49 decisions=346229, wrong=171953, backtracks=49675, failedAssignments=130665, nogoods=1736, foundSolutions=25, bestBound=40
13.25/7.49
13.25/7.49 num=221, depth=11..17, filters=1398156, revisions=(2771702,useless=1809268), ccks=5208225, wck=5.298, mem=63M579
13.25/7.49 decisions=346304, wrong=171985, backtracks=49686, failedAssignments=130693, nogoods=1744, foundSolutions=25, bestBound=40
13.25/7.49
13.25/7.49 num=222, depth=6..12, filters=1398605, revisions=(2772624,useless=1809840), ccks=5209624, wck=5.299, mem=63M579
13.25/7.49 decisions=346430, wrong=172044, backtracks=49714, failedAssignments=130724, nogoods=1749, foundSolutions=25, bestBound=40
13.25/7.49
13.25/7.49 num=223, depth=6..12, filters=1399023, revisions=(2773441,useless=1810344), ccks=5211259, wck=5.301, mem=63M579
13.25/7.49 decisions=346529, wrong=172088, backtracks=49724, failedAssignments=130758, nogoods=1757, foundSolutions=25, bestBound=40
13.25/7.49
13.25/7.50 num=224, depth=9..16, filters=1399352, revisions=(2774241,useless=1810923), ccks=5212434, wck=5.302, mem=63M579
13.25/7.50 decisions=346622, wrong=172130, backtracks=49738, failedAssignments=130795, nogoods=1761, foundSolutions=25, bestBound=40
13.25/7.50
13.35/7.50 num=225, depth=9..15, filters=1399745, revisions=(2775313,useless=1811749), ccks=5213661, wck=5.304, mem=63M579
13.35/7.50 decisions=346733, wrong=172181, backtracks=49761, failedAssignments=130836, nogoods=1767, foundSolutions=25, bestBound=40
13.35/7.50
13.35/7.50 num=226, depth=6..13, filters=1400330, revisions=(2776462,useless=1812447), ccks=5215556, wck=5.306, mem=63M579
13.35/7.50 decisions=346897, wrong=172258, backtracks=49794, failedAssignments=130881, nogoods=1773, foundSolutions=25, bestBound=40
13.35/7.50
13.35/7.50 num=227, depth=6..13, filters=1400950, revisions=(2777658,useless=1813156), ccks=5217939, wck=5.308, mem=63M579
13.35/7.50 decisions=347038, wrong=172324, backtracks=49810, failedAssignments=130931, nogoods=1780, foundSolutions=25, bestBound=40
13.35/7.50
13.35/7.50 num=228, depth=5..11, filters=1401692, revisions=(2779164,useless=1814122), ccks=5220269, wck=5.31, mem=63M579
13.35/7.50 decisions=347191, wrong=172398, backtracks=49832, failedAssignments=130986, nogoods=1788, foundSolutions=25, bestBound=40
13.35/7.50
13.35/7.51 num=229, depth=8..15, filters=1402344, revisions=(2780963,useless=1815538), ccks=5222378, wck=5.312, mem=63M579
13.35/7.51 decisions=347358, wrong=172476, backtracks=49859, failedAssignments=131047, nogoods=1801, foundSolutions=25, bestBound=40
13.35/7.51
13.35/7.51 num=230, depth=5..12, filters=1403165, revisions=(2782795,useless=1816742), ccks=5225358, wck=5.315, mem=63M579
13.35/7.51 decisions=347586, wrong=172585, backtracks=49903, failedAssignments=131114, nogoods=1811, foundSolutions=25, bestBound=40
13.35/7.51
13.35/7.51 num=231, depth=6..11, filters=1404273, revisions=(2785664,useless=1818870), ccks=5228391, wck=5.318, mem=63M579
13.35/7.51 decisions=347804, wrong=172691, backtracks=49942, failedAssignments=131188, nogoods=1822, foundSolutions=25, bestBound=40
13.35/7.51
13.35/7.51 num=232, depth=5..12, filters=1405274, revisions=(2787740,useless=1820164), ccks=5231798, wck=5.321, mem=63M579
13.35/7.51 decisions=348089, wrong=172830, backtracks=50001, failedAssignments=131269, nogoods=1825, foundSolutions=25, bestBound=40
13.35/7.51
13.35/7.52 num=233, depth=4..11, filters=1406160, revisions=(2789596,useless=1821366), ccks=5235346, wck=5.324, mem=63M579
13.35/7.52 decisions=348352, wrong=172959, backtracks=50042, failedAssignments=131358, nogoods=1836, foundSolutions=25, bestBound=40
13.35/7.52
13.35/7.52 num=234, depth=10..15, filters=1407120, revisions=(2791696,useless=1822822), ccks=5238902, wck=5.327, mem=63M579
13.35/7.52 decisions=348594, wrong=173074, backtracks=50062, failedAssignments=131456, nogoods=1857, foundSolutions=25, bestBound=40
13.35/7.52
13.35/7.52 num=235, depth=5..13, filters=1408533, revisions=(2794437,useless=1824580), ccks=5242850, wck=5.331, mem=63M579
13.35/7.52 decisions=348915, wrong=173229, backtracks=50113, failedAssignments=131564, nogoods=1867, foundSolutions=25, bestBound=40
13.35/7.52
13.35/7.53 num=236, depth=5..13, filters=1410137, revisions=(2797990,useless=1827008), ccks=5248875, wck=5.337, mem=63M579
13.35/7.53 decisions=349293, wrong=173415, backtracks=50184, failedAssignments=131683, nogoods=1876, foundSolutions=25, bestBound=40
13.35/7.53
13.35/7.53 num=237, depth=4..12, filters=1411435, revisions=(2800728,useless=1828757), ccks=5254207, wck=5.34, mem=63M579
13.35/7.53 decisions=349689, wrong=173610, backtracks=50250, failedAssignments=131814, nogoods=1887, foundSolutions=25, bestBound=40
13.35/7.53
13.35/7.54 num=238, depth=6..12, filters=1412863, revisions=(2803906,useless=1830855), ccks=5259465, wck=5.345, mem=63M579
13.35/7.54 decisions=350116, wrong=173818, backtracks=50315, failedAssignments=131958, nogoods=1894, foundSolutions=25, bestBound=40
13.35/7.54
13.35/7.54 num=239, depth=5..11, filters=1414932, revisions=(2808757,useless=1834210), ccks=5267586, wck=5.351, mem=63M579
13.35/7.54 decisions=350671, wrong=174093, backtracks=50433, failedAssignments=132116, nogoods=1901, foundSolutions=25, bestBound=40
13.35/7.54
13.35/7.55 num=240, depth=5..12, filters=1416600, revisions=(2812038,useless=1836205), ccks=5273996, wck=5.356, mem=63M579
13.35/7.55 decisions=351197, wrong=174351, backtracks=50517, failedAssignments=132290, nogoods=1910, foundSolutions=25, bestBound=40
13.35/7.55
13.35/7.56 num=241, depth=5..11, filters=1419102, revisions=(2817939,useless=1840311), ccks=5283696, wck=5.364, mem=63M579
13.35/7.56 decisions=351881, wrong=174690, backtracks=50665, failedAssignments=132481, nogoods=1920, foundSolutions=25, bestBound=40
13.35/7.56
13.35/7.56 num=242, depth=2..10, filters=1421241, revisions=(2821847,useless=1842592), ccks=5293266, wck=5.37, mem=63M579
13.35/7.56 decisions=352421, wrong=174959, backtracks=50726, failedAssignments=132692, nogoods=1930, foundSolutions=25, bestBound=40
13.35/7.56
13.35/7.57 num=243, depth=7..15, filters=1423334, revisions=(2826710,useless=1846198), ccks=5299677, wck=5.377, mem=63M579
13.35/7.57 decisions=353016, wrong=175253, backtracks=50828, failedAssignments=132924, nogoods=1941, foundSolutions=25, bestBound=40
13.35/7.57
13.35/7.58 num=244, depth=5..13, filters=1426498, revisions=(2833325,useless=1850486), ccks=5310373, wck=5.385, mem=63M579
13.35/7.58 decisions=353746, wrong=175614, backtracks=50938, failedAssignments=133179, nogoods=1956, foundSolutions=25, bestBound=40
13.35/7.58
13.35/7.59 num=245, depth=5..14, filters=1429917, revisions=(2840456,useless=1855071), ccks=5322200, wck=5.395, mem=63M579
13.35/7.59 decisions=354493, wrong=175985, backtracks=51033, failedAssignments=133460, nogoods=1960, foundSolutions=25, bestBound=40
13.35/7.59
13.46/7.60 num=246, depth=5..17, filters=1432630, revisions=(2846221,useless=1859118), ccks=5330795, wck=5.403, mem=63M579
13.46/7.60 decisions=355285, wrong=176378, backtracks=51168, failedAssignments=133769, nogoods=1976, foundSolutions=25, bestBound=40
13.46/7.60
13.46/7.61 num=247, depth=1..17, filters=1436016, revisions=(2852269,useless=1862856), ccks=5346669, wck=5.413, mem=63M579
13.46/7.61 decisions=356148, wrong=176804, backtracks=51274, failedAssignments=134109, nogoods=2001, foundSolutions=25, bestBound=40
13.46/7.61
13.46/7.62 num=248, depth=4..13, filters=1439869, revisions=(2860631,useless=1868304), ccks=5360743, wck=5.424, mem=63M579
13.46/7.62 decisions=357246, wrong=177349, backtracks=51447, failedAssignments=134483, nogoods=2005, foundSolutions=25, bestBound=40
13.46/7.62
13.46/7.63 num=249, depth=4..16, filters=1443692, revisions=(2868294,useless=1873285), ccks=5374494, wck=5.435, mem=66M222
13.46/7.63 decisions=358318, wrong=177882, backtracks=51574, failedAssignments=134894, nogoods=2014, foundSolutions=25, bestBound=40
13.46/7.63
13.46/7.64 num=250, depth=4..13, filters=1448447, revisions=(2877634,useless=1879284), ccks=5393108, wck=5.448, mem=66M222
13.46/7.64 decisions=359588, wrong=178514, backtracks=51763, failedAssignments=135346, nogoods=2035, foundSolutions=25, bestBound=40
13.46/7.64
13.46/7.65 num=251, depth=4..14, filters=1453144, revisions=(2886317,useless=1884309), ccks=5412932, wck=5.461, mem=66M222
13.46/7.65 decisions=360950, wrong=179191, backtracks=51946, failedAssignments=135843, nogoods=2057, foundSolutions=25, bestBound=40
13.46/7.65
13.46/7.67 num=252, depth=4..15, filters=1458165, revisions=(2896750,useless=1890962), ccks=5431632, wck=5.475, mem=66M222
13.46/7.67 decisions=362570, wrong=179997, backtracks=52220, failedAssignments=136390, nogoods=2065, foundSolutions=25, bestBound=40
13.46/7.67
13.46/7.68 num=253, depth=4..12, filters=1464161, revisions=(2908563,useless=1898154), ccks=5456587, wck=5.492, mem=66M222
13.46/7.68 decisions=364277, wrong=180846, backtracks=52475, failedAssignments=136992, nogoods=2081, foundSolutions=25, bestBound=40
13.46/7.68
13.57/7.70 num=254, depth=3..14, filters=1469755, revisions=(2918906,useless=1904300), ccks=5480962, wck=5.507, mem=66M222
13.57/7.70 decisions=366013, wrong=181712, backtracks=52692, failedAssignments=137654, nogoods=2106, foundSolutions=25, bestBound=40
13.57/7.70
13.57/7.72 num=255, depth=3..15, filters=1475854, revisions=(2930556,useless=1911480), ccks=5508700, wck=5.524, mem=66M222
13.57/7.72 decisions=367781, wrong=182593, backtracks=52854, failedAssignments=138382, nogoods=2119, foundSolutions=25, bestBound=40
13.57/7.72
13.57/7.74 num=256, depth=4..14, filters=1483490, revisions=(2945979,useless=1921062), ccks=5538425, wck=5.545, mem=66M222
13.57/7.74 decisions=370126, wrong=183762, backtracks=53235, failedAssignments=139183, nogoods=2135, foundSolutions=25, bestBound=40
13.57/7.74
13.57/7.77 num=257, depth=4..14, filters=1493265, revisions=(2966586,useless=1934802), ccks=5575951, wck=5.574, mem=66M222
13.57/7.77 decisions=372795, wrong=185093, backtracks=53696, failedAssignments=140064, nogoods=2164, foundSolutions=25, bestBound=40
13.57/7.77
13.57/7.79 num=258, depth=3..13, filters=1501864, revisions=(2982851,useless=1944531), ccks=5614165, wck=5.597, mem=66M222
13.57/7.79 decisions=375349, wrong=186366, backtracks=54009, failedAssignments=141034, nogoods=2183, foundSolutions=25, bestBound=40
13.57/7.79
13.68/7.82 num=259, depth=3..14, filters=1513303, revisions=(3006298,useless=1959830), ccks=5660692, wck=5.629, mem=66M222
13.68/7.82 decisions=378474, wrong=187927, backtracks=54518, failedAssignments=142101, nogoods=2186, foundSolutions=25, bestBound=40
13.68/7.82
13.68/7.85 num=260, depth=3..16, filters=1524174, revisions=(3026306,useless=1973328), ccks=5698080, wck=5.659, mem=66M222
13.68/7.85 decisions=381541, wrong=189458, backtracks=54985, failedAssignments=143274, nogoods=2223, foundSolutions=25, bestBound=40
13.68/7.85
13.68/7.88 num=261, depth=2..14, filters=1535476, revisions=(3047148,useless=1985725), ccks=5749944, wck=5.69, mem=66M222
13.68/7.88 decisions=384971, wrong=191170, backtracks=55427, failedAssignments=144565, nogoods=2248, foundSolutions=25, bestBound=40
13.68/7.88
13.78/7.92 num=262, depth=3..14, filters=1547307, revisions=(3069938,useless=1999742), ccks=5806724, wck=5.722, mem=66M222
13.78/7.92 decisions=388551, wrong=192956, backtracks=55801, failedAssignments=145985, nogoods=2265, foundSolutions=25, bestBound=40
13.78/7.92
13.78/7.97 num=263, depth=4..14, filters=1565021, revisions=(3106301,useless=2023837), ccks=5871707, wck=5.772, mem=66M222
13.78/7.97 decisions=392769, wrong=195062, backtracks=56388, failedAssignments=147547, nogoods=2284, foundSolutions=25, bestBound=40
13.78/7.97
13.78/8.00 num=264, depth=1..16, filters=1578688, revisions=(3131033,useless=2038197), ccks=5943725, wck=5.808, mem=66M222
13.78/8.00 decisions=396912, wrong=197131, backtracks=56757, failedAssignments=149265, nogoods=2302, foundSolutions=25, bestBound=40
13.78/8.00
13.89/8.05 num=265, depth=2..15, filters=1594680, revisions=(3160893,useless=2056090), ccks=6024817, wck=5.854, mem=66M222
13.89/8.05 decisions=401651, wrong=199497, backtracks=57247, failedAssignments=151155, nogoods=2324, foundSolutions=25, bestBound=40
13.89/8.05
13.89/8.10 num=266, depth=3..16, filters=1614033, revisions=(3199194,useless=2080639), ccks=6101181, wck=5.907, mem=66M222
13.89/8.10 decisions=407399, wrong=202368, backtracks=58113, failedAssignments=153234, nogoods=2349, foundSolutions=25, bestBound=40
13.89/8.10
13.99/8.16 num=267, depth=1..15, filters=1636493, revisions=(3240407,useless=2107415), ccks=6187482, wck=5.968, mem=66M222
13.99/8.16 decisions=413412, wrong=205370, backtracks=58908, failedAssignments=155521, nogoods=2368, foundSolutions=25, bestBound=40
13.99/8.16
14.08/8.25 num=268, depth=3..17, filters=1664615, revisions=(3301938,useless=2151195), ccks=6283029, wck=6.052, mem=66M222
14.08/8.25 decisions=419913, wrong=208615, backtracks=59918, failedAssignments=158037, nogoods=2376, foundSolutions=25, bestBound=40
14.08/8.25
14.19/8.32 num=269, depth=2..15, filters=1691182, revisions=(3351309,useless=2181606), ccks=6397855, wck=6.124, mem=66M222
14.19/8.32 decisions=427499, wrong=212404, backtracks=60974, failedAssignments=160805, nogoods=2395, foundSolutions=25, bestBound=40
14.19/8.32
14.19/8.39 num=270, depth=2..17, filters=1717640, revisions=(3397131,useless=2210537), ccks=6499968, wck=6.196, mem=66M222
14.19/8.39 decisions=435136, wrong=216218, backtracks=61836, failedAssignments=163849, nogoods=2401, foundSolutions=25, bestBound=40
14.19/8.39
14.30/8.47 num=271, depth=1..13, filters=1748011, revisions=(3452295,useless=2243253), ccks=6651318, wck=6.28, mem=66M222
14.30/8.47 decisions=443754, wrong=220525, backtracks=62818, failedAssignments=167198, nogoods=2449, foundSolutions=25, bestBound=40
14.30/8.47
14.40/8.59 num=272, depth=2..15, filters=1789165, revisions=(3532692,useless=2295584), ccks=6818491, wck=6.395, mem=66M222
14.40/8.59 decisions=453439, wrong=225365, backtracks=64090, failedAssignments=170882, nogoods=2466, foundSolutions=25, bestBound=40
14.40/8.59
14.50/8.69 num=273, depth=1..15, filters=1826450, revisions=(3601928,useless=2337960), ccks=6989809, wck=6.494, mem=66M222
14.50/8.69 decisions=463915, wrong=230602, backtracks=65332, failedAssignments=174934, nogoods=2478, foundSolutions=25, bestBound=40
14.50/8.69
14.70/8.80 num=274, depth=1..17, filters=1866398, revisions=(3673707,useless=2384654), ccks=7140472, wck=6.605, mem=68M864
14.70/8.80 decisions=475225, wrong=236256, backtracks=66932, failedAssignments=179391, nogoods=2514, foundSolutions=25, bestBound=40
14.70/8.80
14.80/8.91 num=275, depth=0..16, filters=1908157, revisions=(3749394,useless=2430438), ccks=7364573, wck=6.718, mem=68M864
14.80/8.91 decisions=487359, wrong=242322, backtracks=68202, failedAssignments=184294, nogoods=2548, foundSolutions=25, bestBound=40
14.80/8.91
14.91/9.04 num=276, depth=0..17, filters=1954860, revisions=(3835733,useless=2484283), ccks=7579689, wck=6.848, mem=68M864
14.91/9.04 decisions=501249, wrong=249265, backtracks=69958, failedAssignments=189688, nogoods=2552, foundSolutions=25, bestBound=40
14.91/9.04
15.10/9.20 num=277, depth=0..18, filters=2013440, revisions=(3947159,useless=2555714), ccks=7833521, wck=7.012, mem=68M864
15.10/9.20 decisions=516769, wrong=257021, backtracks=72017, failedAssignments=195621, nogoods=2562, foundSolutions=25, bestBound=40
15.10/9.20
15.20/9.36 num=278, depth=0..14, filters=2071763, revisions=(4048799,useless=2614702), ccks=8124486, wck=7.167, mem=68M864
15.20/9.36 decisions=533286, wrong=265277, backtracks=73828, failedAssignments=202147, nogoods=2586, foundSolutions=25, bestBound=40
15.20/9.36
15.40/9.56 num=279, depth=0..15, filters=2144312, revisions=(4176871,useless=2692671), ccks=8477806, wck=7.363, mem=68M864
15.40/9.56 decisions=551668, wrong=274466, backtracks=76043, failedAssignments=209326, nogoods=2617, foundSolutions=25, bestBound=40
15.40/9.56
15.60/9.75 num=280, depth=0..16, filters=2216971, revisions=(4308449,useless=2772519), ccks=8824578, wck=7.556, mem=68M864
15.60/9.75 decisions=572567, wrong=284914, backtracks=78746, failedAssignments=217223, nogoods=2623, foundSolutions=25, bestBound=40
15.60/9.75
15.80/9.99 num=281, depth=0..15, filters=2306576, revisions=(4469921,useless=2873075), ccks=9213493, wck=7.797, mem=68M864
15.80/9.99 decisions=595687, wrong=296472, backtracks=81896, failedAssignments=225910, nogoods=2639, foundSolutions=25, bestBound=40
15.80/9.99
16.10/10.26 num=282, depth=0..15, filters=2404994, revisions=(4653512,useless=2989333), ccks=9628835, wck=8.063, mem=68M864
16.10/10.26 decisions=621564, wrong=309408, backtracks=85745, failedAssignments=235465, nogoods=2662, foundSolutions=25, bestBound=40
16.10/10.26
16.40/10.58 num=283, depth=0..16, filters=2520724, revisions=(4880286,useless=3137906), ccks=10095894, wck=8.384, mem=71M507
16.40/10.58 decisions=650843, wrong=324044, backtracks=90596, failedAssignments=245976, nogoods=2687, foundSolutions=25, bestBound=40
16.40/10.58
16.80/10.91 num=284, depth=0..17, filters=2641475, revisions=(5101411,useless=3279224), ccks=10585180, wck=8.713, mem=71M507
16.80/10.91 decisions=681502, wrong=339371, backtracks=94853, failedAssignments=257538, nogoods=2702, foundSolutions=25, bestBound=40
16.80/10.91
16.80/10.97
16.80/10.97 New Bounds: 40..39
16.80/10.97 num=285, depth=0..15, filters=2663793, revisions=(5142224,useless=3304884), ccks=10677230, wck=8.773, mem=71M507
16.80/10.97 decisions=687014, wrong=342128, backtracks=95634, failedAssignments=259598, foundSolutions=25, bestBound=40
16.80/10.97
16.80/10.97 Global
16.80/10.97 filters=2663793, revisions=(5142224,useless=3304884), ccks=10677230
16.80/10.97 Stop=FULL_EXPLORATION, wrong=342128, bestBound=40, bestBoundWck=5.244, bestBoundCpu=7.034, foundSolutions=25, firstSolCpu=2.175
16.80/10.97 wck=9.128, cpu=10.918, mem=71M507
16.80/10.97
16.80/10.97 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>
16.80/10.97 s OPTIMUM FOUND
16.80/10.97
16.80/10.97 d WRONG_DECISIONS 342128
16.80/10.97 d NUMBER_SOLUTIONS 25