2.60/1.90
2.60/1.90 AbsCon 2
2.60/1.91
3.24/2.17 Instance
3.24/2.17 name=instance-4391210-1568389741, framework=COP, bounds=-infty..+infty
3.24/2.17
3.24/2.17 Loading variables...
3.54/2.20 Loading constraints...
4.59/2.57
4.59/2.57 Domains
4.59/2.57 nTypes=62, nValues=2357, sizes=[2#1,3#6,4#14,5#9...17#8,18#1,29#30,30#30]
4.59/2.57 Variables
4.59/2.57 count=120, degrees=[2#60,31#30,32#29,33#1]
4.59/2.57 Objectives
4.59/2.57 way=min, type=SumSimpleLE
4.59/2.57 Constraints
4.59/2.57 count=963, nSpecific=2, arities=[1#1,2#960,30#1,60#1]
4.59/2.57 distribution=[Circuit#1,CtrExtensionV-Bits#60,CtrIntension#901,SumSimpleLE#1]
4.59/2.57 nExtStructures=(60,shared:0), nIntStructures=(31,shared:870), nCftStructures=(90,shared:870,unbuilt:3)
4.59/2.57 wck=0.7, cpu=2.532, mem=79M361
5.26/2.70 Solver SolverBacktrack being built...
5.26/2.70
5.26/2.70
5.26/2.70 Solver
5.26/2.70 guaranteedGAC=false
5.26/2.70 wck=0.736, cpu=2.567, mem=90M3
5.26/2.70
5.26/2.70 Preprocessing
5.26/2.70 filters=32, revisions=(62,useless=30), ccks=26103, nACremovedValues=774, nTotalRemovedValues=774, inconcistency=false
5.26/2.70 wck=0.013, cpu=2.58, mem=90M3
5.26/2.70
5.26/2.70 o 323
5.26/2.70 num=0, depth=121..119, filters=1381, revisions=(1972,useless=618), ccks=27967, wck=0.043, mem=90M3
5.26/2.70 decisions=27, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=1, bestBound=323
5.26/2.70
5.26/2.70 o 322
5.26/2.70 num=1, depth=20..119, filters=2702, revisions=(4788,useless=2162), ccks=30416, wck=0.079, mem=90M3
5.26/2.70 decisions=98, wrong=12, backtracks=6, failedAssignments=8, nogoods=1, foundSolutions=2, bestBound=322
5.26/2.70
5.26/2.70 num=2, depth=2..11, filters=3088, revisions=(7009,useless=4037), ccks=31704, wck=0.088, mem=90M3
5.26/2.70 decisions=129, wrong=25, backtracks=15, failedAssignments=19, nogoods=7, foundSolutions=2, bestBound=322
5.26/2.70
5.26/2.70 o 321
5.26/2.70 num=3, depth=5..119, filters=3590, revisions=(9814,useless=6365), ccks=33665, wck=0.101, mem=92M646
5.26/2.70 decisions=163, wrong=31, backtracks=18, failedAssignments=22, nogoods=10, foundSolutions=3, bestBound=321
5.26/2.70
5.26/2.71 num=4, depth=2..13, filters=3950, revisions=(12993,useless=9225), ccks=35238, wck=0.11, mem=92M646
5.26/2.71 decisions=201, wrong=46, backtracks=25, failedAssignments=34, nogoods=16, foundSolutions=3, bestBound=321
5.26/2.71
5.26/2.72 o 320
5.26/2.72 num=5, depth=9..119, filters=4391, revisions=(15537,useless=11335), ccks=37048, wck=0.121, mem=92M646
5.26/2.72 decisions=228, wrong=49, backtracks=25, failedAssignments=37, nogoods=19, foundSolutions=4, bestBound=320
5.26/2.72
5.26/2.74 o 319
5.26/2.74 num=6, depth=2..119, filters=4951, revisions=(19131,useless=14403), ccks=39110, wck=0.136, mem=92M646
5.26/2.74 decisions=264, wrong=56, backtracks=30, failedAssignments=41, nogoods=23, foundSolutions=5, bestBound=319
5.26/2.74
5.26/2.75 o 318
5.26/2.75 num=7, depth=2..119, filters=5342, revisions=(21549,useless=16444), ccks=40694, wck=0.146, mem=92M646
5.26/2.75 decisions=288, wrong=58, backtracks=30, failedAssignments=43, nogoods=25, foundSolutions=6, bestBound=318
5.26/2.75
5.26/2.76 o 317
5.26/2.76 num=8, depth=2..119, filters=5605, revisions=(23663,useless=18303), ccks=41970, wck=0.156, mem=92M646
5.26/2.76 decisions=315, wrong=59, backtracks=30, failedAssignments=44, nogoods=26, foundSolutions=7, bestBound=317
5.26/2.76
5.26/2.77 o 316
5.26/2.77 num=9, depth=2..119, filters=6002, revisions=(25917,useless=20170), ccks=43391, wck=0.165, mem=92M646
5.26/2.77 decisions=341, wrong=60, backtracks=30, failedAssignments=45, nogoods=27, foundSolutions=8, bestBound=316
5.26/2.77
5.26/2.78 o 311
5.26/2.78 num=10, depth=7..119, filters=6683, revisions=(29403,useless=23008), ccks=45165, wck=0.179, mem=92M646
5.26/2.78 decisions=401, wrong=66, backtracks=32, failedAssignments=49, nogoods=30, foundSolutions=9, bestBound=311
5.26/2.78
5.26/2.79 num=11, depth=7..11, filters=7225, revisions=(32490,useless=25614), ccks=46646, wck=0.186, mem=92M646
5.26/2.79 decisions=446, wrong=84, backtracks=42, failedAssignments=60, nogoods=33, foundSolutions=9, bestBound=311
5.26/2.79
5.26/2.79 num=12, depth=5..9, filters=7693, revisions=(35609,useless=28307), ccks=48145, wck=0.193, mem=92M646
5.26/2.79 decisions=479, wrong=98, backtracks=50, failedAssignments=71, nogoods=37, foundSolutions=9, bestBound=311
5.26/2.79
5.60/2.80 o 298
5.60/2.80 num=13, depth=14..119, filters=8221, revisions=(37508,useless=29703), ccks=50016, wck=0.203, mem=92M646
5.60/2.80 decisions=544, wrong=101, backtracks=50, failedAssignments=74, nogoods=40, foundSolutions=10, bestBound=298
5.60/2.80
5.60/2.81 o 296
5.60/2.81 num=14, depth=13..119, filters=8781, revisions=(39824,useless=31465), ccks=51630, wck=0.212, mem=92M646
5.60/2.81 decisions=588, wrong=104, backtracks=50, failedAssignments=77, nogoods=43, foundSolutions=11, bestBound=296
5.60/2.81
5.60/2.83 o 295
5.60/2.83 num=15, depth=9..119, filters=9463, revisions=(44211,useless=35222), ccks=54105, wck=0.225, mem=92M646
5.60/2.83 decisions=659, wrong=119, backtracks=59, failedAssignments=87, nogoods=47, foundSolutions=12, bestBound=295
5.60/2.83
5.60/2.84 o 294
5.60/2.84 num=16, depth=4..119, filters=10672, revisions=(48603,useless=38448), ccks=56724, wck=0.238, mem=92M646
5.60/2.84 decisions=709, wrong=132, backtracks=64, failedAssignments=96, nogoods=52, foundSolutions=13, bestBound=294
5.60/2.84
5.60/2.85 o 293
5.60/2.85 num=17, depth=14..119, filters=11180, revisions=(50989,useless=40339), ccks=58391, wck=0.248, mem=92M646
5.60/2.85 decisions=742, wrong=137, backtracks=64, failedAssignments=101, nogoods=57, foundSolutions=14, bestBound=293
5.60/2.85
5.60/2.86 num=18, depth=11..16, filters=12311, revisions=(55329,useless=43645), ccks=60586, wck=0.259, mem=95M288
5.60/2.86 decisions=797, wrong=159, backtracks=80, failedAssignments=112, nogoods=58, foundSolutions=14, bestBound=293
5.60/2.86
5.60/2.87 num=19, depth=10..18, filters=13225, revisions=(58070,useless=45488), ccks=61701, wck=0.268, mem=95M288
5.60/2.87 decisions=836, wrong=172, backtracks=85, failedAssignments=123, nogoods=66, foundSolutions=14, bestBound=293
5.60/2.87
5.60/2.88 o 290
5.60/2.88 num=20, depth=11..119, filters=13857, revisions=(60634,useless=47434), ccks=63722, wck=0.276, mem=95M288
5.60/2.88 decisions=883, wrong=176, backtracks=86, failedAssignments=126, nogoods=69, foundSolutions=15, bestBound=290
5.60/2.88
5.60/2.89 num=21, depth=2..15, filters=14566, revisions=(65037,useless=51200), ccks=65856, wck=0.284, mem=95M288
5.60/2.89 decisions=935, wrong=196, backtracks=98, failedAssignments=139, nogoods=77, foundSolutions=15, bestBound=290
5.60/2.89
5.60/2.89 num=22, depth=4..8, filters=14896, revisions=(67479,useless=53345), ccks=66995, wck=0.288, mem=95M288
5.60/2.89 decisions=969, wrong=211, backtracks=108, failedAssignments=150, nogoods=81, foundSolutions=15, bestBound=290
5.60/2.89
5.60/2.89 num=23, depth=12..16, filters=15556, revisions=(70502,useless=55757), ccks=68404, wck=0.293, mem=95M288
5.60/2.89 decisions=1014, wrong=227, backtracks=116, failedAssignments=162, nogoods=87, foundSolutions=15, bestBound=290
5.60/2.89
5.91/2.90 o 288
5.91/2.90 num=24, depth=13..119, filters=16246, revisions=(73136,useless=57728), ccks=70626, wck=0.299, mem=95M288
5.91/2.90 decisions=1065, wrong=233, backtracks=119, failedAssignments=165, nogoods=90, foundSolutions=16, bestBound=288
5.91/2.90
5.91/2.91 num=25, depth=3..9, filters=16897, revisions=(77668,useless=61684), ccks=73198, wck=0.304, mem=95M288
5.91/2.91 decisions=1120, wrong=258, backtracks=137, failedAssignments=179, nogoods=97, foundSolutions=16, bestBound=288
5.91/2.91
5.91/2.91 o 287
5.91/2.91 num=26, depth=14..119, filters=17658, revisions=(80160,useless=63433), ccks=75297, wck=0.31, mem=95M288
5.91/2.91 decisions=1154, wrong=260, backtracks=137, failedAssignments=181, nogoods=99, foundSolutions=17, bestBound=287
5.91/2.91
5.91/2.92 o 286
5.91/2.92 num=27, depth=6..119, filters=18388, revisions=(84649,useless=67248), ccks=77671, wck=0.317, mem=95M288
5.91/2.92 decisions=1210, wrong=275, backtracks=147, failedAssignments=188, nogoods=102, foundSolutions=18, bestBound=286
5.91/2.92
5.91/2.92 num=28, depth=3..8, filters=18919, revisions=(88163,useless=70281), ccks=79304, wck=0.322, mem=95M288
5.91/2.92 decisions=1254, wrong=295, backtracks=160, failedAssignments=199, nogoods=108, foundSolutions=18, bestBound=286
5.91/2.92
5.91/2.93 num=29, depth=5..16, filters=19804, revisions=(92463,useless=73753), ccks=81433, wck=0.328, mem=95M288
5.91/2.93 decisions=1298, wrong=311, backtracks=169, failedAssignments=210, nogoods=115, foundSolutions=18, bestBound=286
5.91/2.93
5.91/2.93 num=30, depth=12..16, filters=20355, revisions=(95319,useless=76116), ccks=82963, wck=0.333, mem=95M288
5.91/2.93 decisions=1344, wrong=328, backtracks=176, failedAssignments=222, nogoods=118, foundSolutions=18, bestBound=286
5.91/2.93
5.91/2.94 o 285
5.91/2.94 num=31, depth=11..119, filters=21925, revisions=(100024,useless=79322), ccks=86196, wck=0.341, mem=95M288
5.91/2.94 decisions=1398, wrong=342, backtracks=184, failedAssignments=230, nogoods=122, foundSolutions=19, bestBound=285
5.91/2.94
5.91/2.95 o 282
5.91/2.95 num=32, depth=121..119, filters=22408, revisions=(102017,useless=80851), ccks=87889, wck=0.347, mem=95M288
5.91/2.95 decisions=1447, wrong=342, backtracks=184, failedAssignments=230, nogoods=122, foundSolutions=20, bestBound=282
5.91/2.95
5.91/2.95 num=33, depth=4..9, filters=22751, revisions=(105364,useless=83897), ccks=89487, wck=0.352, mem=95M288
5.91/2.95 decisions=1484, wrong=357, backtracks=194, failedAssignments=241, nogoods=128, foundSolutions=20, bestBound=282
5.91/2.95
5.91/2.96 num=34, depth=11..17, filters=23903, revisions=(108842,useless=86268), ccks=91509, wck=0.357, mem=95M288
5.91/2.96 decisions=1524, wrong=371, backtracks=199, failedAssignments=252, nogoods=136, foundSolutions=20, bestBound=282
5.91/2.96
5.91/2.96 o 281
5.91/2.96 num=35, depth=14..119, filters=24366, revisions=(110908,useless=87895), ccks=93413, wck=0.362, mem=95M288
5.91/2.96 decisions=1553, wrong=372, backtracks=199, failedAssignments=253, nogoods=137, foundSolutions=21, bestBound=281
5.91/2.96
5.91/2.97 o 280
5.91/2.97 num=36, depth=121..119, filters=24793, revisions=(112900,useless=89479), ccks=94616, wck=0.367, mem=97M930
5.91/2.97 decisions=1580, wrong=372, backtracks=199, failedAssignments=253, nogoods=137, foundSolutions=22, bestBound=280
5.91/2.97
5.91/2.97 o 279
5.91/2.97 num=37, depth=15..119, filters=25456, revisions=(115360,useless=91295), ccks=96516, wck=0.374, mem=97M930
5.91/2.97 decisions=1622, wrong=380, backtracks=199, failedAssignments=261, nogoods=145, foundSolutions=23, bestBound=279
5.91/2.97
5.91/2.98 o 277
5.91/2.98 num=38, depth=121..119, filters=25984, revisions=(117401,useless=92829), ccks=98221, wck=0.38, mem=97M930
5.91/2.98 decisions=1666, wrong=380, backtracks=199, failedAssignments=261, nogoods=145, foundSolutions=24, bestBound=277
5.91/2.98
5.91/2.99 num=39, depth=2..15, filters=26514, revisions=(119239,useless=94170), ccks=99052, wck=0.384, mem=97M930
5.91/2.99 decisions=1705, wrong=393, backtracks=204, failedAssignments=272, nogoods=150, foundSolutions=24, bestBound=277
5.91/2.99
5.91/2.99 num=40, depth=4..7, filters=26920, revisions=(121007,useless=95564), ccks=100080, wck=0.387, mem=97M930
5.91/2.99 decisions=1735, wrong=405, backtracks=210, failedAssignments=283, nogoods=154, foundSolutions=24, bestBound=277
5.91/2.99
5.91/2.99 o 276
5.91/2.99 num=41, depth=11..119, filters=27835, revisions=(124427,useless=98089), ccks=102330, wck=0.392, mem=97M930
5.91/2.99 decisions=1770, wrong=411, backtracks=213, failedAssignments=286, nogoods=157, foundSolutions=25, bestBound=276
5.91/2.99
5.91/3.00 o 273
5.91/3.00 num=42, depth=121..119, filters=28346, revisions=(126447,useless=99618), ccks=104041, wck=0.397, mem=97M930
5.91/3.00 decisions=1819, wrong=411, backtracks=213, failedAssignments=286, nogoods=157, foundSolutions=26, bestBound=273
5.91/3.00
6.24/3.01 o 272
6.24/3.01 num=43, depth=13..119, filters=29195, revisions=(129411,useless=101786), ccks=106277, wck=0.404, mem=97M930
6.24/3.01 decisions=1867, wrong=422, backtracks=214, failedAssignments=296, nogoods=167, foundSolutions=27, bestBound=272
6.24/3.01
6.24/3.01 o 271
6.24/3.01 num=44, depth=4..119, filters=29683, revisions=(131362,useless=103264), ccks=108019, wck=0.408, mem=97M930
6.24/3.01 decisions=1901, wrong=423, backtracks=214, failedAssignments=297, nogoods=168, foundSolutions=28, bestBound=271
6.24/3.01
6.24/3.01 num=45, depth=8..14, filters=30841, revisions=(134910,useless=105717), ccks=110052, wck=0.412, mem=97M930
6.24/3.01 decisions=1941, wrong=439, backtracks=222, failedAssignments=308, nogoods=169, foundSolutions=28, bestBound=271
6.24/3.01
6.24/3.02 o 270
6.24/3.02 num=46, depth=10..119, filters=31525, revisions=(138545,useless=108715), ccks=112362, wck=0.418, mem=97M930
6.24/3.02 decisions=1977, wrong=447, backtracks=226, failedAssignments=313, nogoods=173, foundSolutions=29, bestBound=270
6.24/3.02
6.24/3.02 o 269
6.24/3.02 num=47, depth=121..119, filters=31971, revisions=(140551,useless=110293), ccks=113843, wck=0.421, mem=97M930
6.24/3.02 decisions=2004, wrong=447, backtracks=226, failedAssignments=313, nogoods=173, foundSolutions=30, bestBound=269
6.24/3.02
6.24/3.03 num=48, depth=4..14, filters=32387, revisions=(143156,useless=112516), ccks=115124, wck=0.425, mem=97M930
6.24/3.03 decisions=2040, wrong=460, backtracks=229, failedAssignments=324, nogoods=182, foundSolutions=30, bestBound=269
6.24/3.03
6.24/3.03 o 268
6.24/3.03 num=49, depth=13..119, filters=33212, revisions=(146830,useless=115414), ccks=117723, wck=0.431, mem=97M930
6.24/3.03 decisions=2097, wrong=475, backtracks=240, failedAssignments=334, nogoods=186, foundSolutions=31, bestBound=268
6.24/3.03
6.24/3.04 o 267
6.24/3.04 num=50, depth=11..119, filters=34993, revisions=(152274,useless=119142), ccks=121089, wck=0.438, mem=97M930
6.24/3.04 decisions=2153, wrong=490, backtracks=249, failedAssignments=344, nogoods=190, foundSolutions=32, bestBound=267
6.24/3.04
6.24/3.04 o 266
6.24/3.04 num=51, depth=16..119, filters=35451, revisions=(154463,useless=120882), ccks=122608, wck=0.442, mem=97M930
6.24/3.04 decisions=2179, wrong=492, backtracks=249, failedAssignments=346, nogoods=192, foundSolutions=33, bestBound=266
6.24/3.04
6.24/3.05 num=52, depth=12..16, filters=36654, revisions=(158249,useless=123530), ccks=124383, wck=0.446, mem=97M930
6.24/3.05 decisions=2225, wrong=508, backtracks=255, failedAssignments=357, nogoods=196, foundSolutions=33, bestBound=266
6.24/3.05
6.24/3.05 num=53, depth=7..13, filters=37362, revisions=(161686,useless=126319), ccks=126038, wck=0.45, mem=97M930
6.24/3.05 decisions=2279, wrong=531, backtracks=270, failedAssignments=368, nogoods=203, foundSolutions=33, bestBound=266
6.24/3.05
6.24/3.05 num=54, depth=4..9, filters=37918, revisions=(164316,useless=128442), ccks=127391, wck=0.454, mem=100M573
6.24/3.05 decisions=2319, wrong=547, backtracks=280, failedAssignments=380, nogoods=208, foundSolutions=33, bestBound=266
6.24/3.05
6.24/3.06 o 265
6.24/3.06 num=55, depth=11..119, filters=38895, revisions=(167431,useless=130612), ccks=129715, wck=0.459, mem=100M573
6.24/3.06 decisions=2366, wrong=559, backtracks=282, failedAssignments=390, nogoods=217, foundSolutions=34, bestBound=265
6.24/3.06
6.24/3.07 o 264
6.24/3.07 num=56, depth=7..119, filters=39604, revisions=(171797,useless=134324), ccks=132384, wck=0.465, mem=100M573
6.24/3.07 decisions=2416, wrong=572, backtracks=289, failedAssignments=401, nogoods=219, foundSolutions=35, bestBound=264
6.24/3.07
6.24/3.07 num=57, depth=10..17, filters=41416, revisions=(176420,useless=137201), ccks=134849, wck=0.47, mem=100M573
6.24/3.07 decisions=2458, wrong=588, backtracks=296, failedAssignments=412, nogoods=220, foundSolutions=35, bestBound=264
6.24/3.07
6.24/3.07 o 263
6.24/3.08 num=58, depth=11..119, filters=41998, revisions=(178694,useless=138914), ccks=136633, wck=0.475, mem=100M573
6.24/3.08 decisions=2490, wrong=592, backtracks=296, failedAssignments=416, nogoods=224, foundSolutions=36, bestBound=263
6.24/3.08
6.24/3.08 o 262
6.24/3.08 num=59, depth=10..119, filters=44082, revisions=(184557,useless=142740), ccks=139779, wck=0.482, mem=100M573
6.24/3.08 decisions=2548, wrong=609, backtracks=305, failedAssignments=427, nogoods=228, foundSolutions=37, bestBound=262
6.24/3.08
6.24/3.09 o 260
6.24/3.09 num=60, depth=4..119, filters=44761, revisions=(188588,useless=146115), ccks=142216, wck=0.488, mem=100M573
6.24/3.09 decisions=2613, wrong=622, backtracks=312, failedAssignments=436, nogoods=232, foundSolutions=38, bestBound=260
6.24/3.09
6.24/3.09 num=61, depth=11..16, filters=46155, revisions=(191873,useless=148074), ccks=144275, wck=0.492, mem=100M573
6.24/3.09 decisions=2655, wrong=637, backtracks=317, failedAssignments=447, nogoods=236, foundSolutions=38, bestBound=260
6.24/3.09
6.24/3.10 num=62, depth=10..16, filters=47245, revisions=(195214,useless=150402), ccks=146376, wck=0.496, mem=100M573
6.24/3.10 decisions=2707, wrong=658, backtracks=330, failedAssignments=458, nogoods=240, foundSolutions=38, bestBound=260
6.24/3.10
6.24/3.10 num=63, depth=5..10, filters=47927, revisions=(197983,useless=152552), ccks=147998, wck=0.5, mem=100M573
6.24/3.10 decisions=2752, wrong=678, backtracks=343, failedAssignments=470, nogoods=242, foundSolutions=38, bestBound=260
6.24/3.10
6.24/3.11 num=64, depth=3..7, filters=48714, revisions=(202566,useless=156413), ccks=149829, wck=0.504, mem=100M573
6.24/3.11 decisions=2792, wrong=696, backtracks=355, failedAssignments=483, nogoods=249, foundSolutions=38, bestBound=260
6.24/3.11
6.51/3.11 o 259
6.51/3.11 num=65, depth=10..119, filters=49666, revisions=(205613,useless=158543), ccks=152163, wck=0.509, mem=100M573
6.51/3.11 decisions=2837, wrong=709, backtracks=356, failedAssignments=495, nogoods=261, foundSolutions=39, bestBound=259
6.51/3.11
6.51/3.12 num=66, depth=9..12, filters=51144, revisions=(211105,useless=162653), ccks=154510, wck=0.515, mem=100M573
6.51/3.12 decisions=2896, wrong=734, backtracks=372, failedAssignments=511, nogoods=270, foundSolutions=39, bestBound=259
6.51/3.12
6.51/3.12 num=67, depth=3..11, filters=52142, revisions=(215731,useless=166360), ccks=156720, wck=0.52, mem=100M573
6.51/3.12 decisions=2955, wrong=761, backtracks=394, failedAssignments=522, nogoods=275, foundSolutions=39, bestBound=259
6.51/3.12
6.51/3.13 num=68, depth=7..14, filters=53385, revisions=(219535,useless=169004), ccks=158910, wck=0.525, mem=100M573
6.51/3.13 decisions=3004, wrong=782, backtracks=409, failedAssignments=534, nogoods=277, foundSolutions=39, bestBound=259
6.51/3.13
6.51/3.13 o 258
6.51/3.13 num=69, depth=10..119, filters=54116, revisions=(222185,useless=170946), ccks=160877, wck=0.53, mem=103M216
6.51/3.13 decisions=3037, wrong=788, backtracks=410, failedAssignments=539, nogoods=282, foundSolutions=40, bestBound=258
6.51/3.13
6.51/3.14 o 257
6.51/3.14 num=70, depth=16..119, filters=54759, revisions=(224501,useless=172647), ccks=162820, wck=0.535, mem=103M216
6.51/3.14 decisions=3073, wrong=791, backtracks=410, failedAssignments=542, nogoods=285, foundSolutions=41, bestBound=257
6.51/3.14
6.51/3.14 o 255
6.51/3.14 num=71, depth=10..119, filters=56429, revisions=(228967,useless=175492), ccks=166215, wck=0.543, mem=103M216
6.51/3.14 decisions=3135, wrong=805, backtracks=414, failedAssignments=552, nogoods=292, foundSolutions=42, bestBound=255
6.51/3.14
6.51/3.15 o 254
6.51/3.15 num=72, depth=17..119, filters=56883, revisions=(230980,useless=177072), ccks=167999, wck=0.546, mem=103M216
6.51/3.15 decisions=3164, wrong=806, backtracks=414, failedAssignments=553, nogoods=293, foundSolutions=43, bestBound=254
6.51/3.15
6.51/3.15 o 253
6.51/3.15 num=73, depth=4..119, filters=57461, revisions=(233169,useless=178692), ccks=169439, wck=0.551, mem=103M216
6.51/3.15 decisions=3193, wrong=807, backtracks=414, failedAssignments=554, nogoods=294, foundSolutions=44, bestBound=253
6.51/3.15
6.51/3.15 o 252
6.51/3.16 num=74, depth=121..119, filters=57892, revisions=(235165,useless=180277), ccks=170706, wck=0.554, mem=103M216
6.51/3.16 decisions=3219, wrong=807, backtracks=414, failedAssignments=554, nogoods=294, foundSolutions=45, bestBound=252
6.51/3.16
6.51/3.16 o 251
6.51/3.16 num=75, depth=121..119, filters=58458, revisions=(237267,useless=181820), ccks=172055, wck=0.558, mem=103M216
6.51/3.16 decisions=3248, wrong=807, backtracks=414, failedAssignments=554, nogoods=294, foundSolutions=46, bestBound=251
6.51/3.16
6.51/3.16 o 250
6.51/3.16 num=76, depth=15..119, filters=59041, revisions=(239844,useless=183834), ccks=173600, wck=0.563, mem=103M216
6.51/3.16 decisions=3284, wrong=810, backtracks=415, failedAssignments=556, nogoods=296, foundSolutions=47, bestBound=250
6.51/3.16
6.51/3.17 o 249
6.51/3.17 num=77, depth=121..119, filters=59572, revisions=(241945,useless=185412), ccks=174960, wck=0.566, mem=103M216
6.51/3.17 decisions=3311, wrong=810, backtracks=415, failedAssignments=556, nogoods=296, foundSolutions=48, bestBound=249
6.51/3.17
6.51/3.17 num=78, depth=9..18, filters=61787, revisions=(246725,useless=188050), ccks=177823, wck=0.572, mem=103M216
6.51/3.17 decisions=3354, wrong=827, backtracks=425, failedAssignments=567, nogoods=298, foundSolutions=48, bestBound=249
6.51/3.17
6.51/3.18 o 248
6.51/3.18 num=79, depth=5..119, filters=62899, revisions=(250700,useless=190959), ccks=180673, wck=0.578, mem=103M216
6.51/3.18 decisions=3405, wrong=840, backtracks=429, failedAssignments=576, nogoods=304, foundSolutions=49, bestBound=248
6.51/3.18
6.51/3.18 o 247
6.51/3.19 num=80, depth=121..119, filters=63438, revisions=(252777,useless=192511), ccks=182242, wck=0.583, mem=103M216
6.51/3.19 decisions=3434, wrong=840, backtracks=429, failedAssignments=576, nogoods=304, foundSolutions=50, bestBound=247
6.51/3.19
6.51/3.19 num=81, depth=9..16, filters=64999, revisions=(256330,useless=194569), ccks=184480, wck=0.587, mem=103M216
6.51/3.19 decisions=3477, wrong=857, backtracks=436, failedAssignments=587, nogoods=305, foundSolutions=50, bestBound=247
6.51/3.19
6.51/3.19 num=82, depth=2..7, filters=65374, revisions=(259372,useless=197276), ccks=185950, wck=0.591, mem=103M216
6.51/3.19 decisions=3506, wrong=870, backtracks=443, failedAssignments=598, nogoods=310, foundSolutions=50, bestBound=247
6.51/3.19
6.51/3.20 num=83, depth=4..8, filters=66115, revisions=(262901,useless=200130), ccks=187664, wck=0.596, mem=103M216
6.51/3.20 decisions=3552, wrong=890, backtracks=455, failedAssignments=610, nogoods=315, foundSolutions=50, bestBound=247
6.51/3.20
6.74/3.20 num=84, depth=2..9, filters=66491, revisions=(265297,useless=202191), ccks=189045, wck=0.599, mem=103M216
6.74/3.20 decisions=3591, wrong=907, backtracks=463, failedAssignments=623, nogoods=319, foundSolutions=50, bestBound=247
6.74/3.20
6.74/3.20 num=85, depth=5..10, filters=67180, revisions=(267802,useless=204065), ccks=190695, wck=0.602, mem=105M859
6.74/3.20 decisions=3636, wrong=927, backtracks=473, failedAssignments=637, nogoods=322, foundSolutions=50, bestBound=247
6.74/3.20
6.74/3.21 num=86, depth=5..9, filters=69188, revisions=(273752,useless=208136), ccks=193989, wck=0.608, mem=105M859
6.74/3.21 decisions=3693, wrong=953, backtracks=489, failedAssignments=653, nogoods=326, foundSolutions=50, bestBound=247
6.74/3.21
6.74/3.21 num=87, depth=6..14, filters=70386, revisions=(278013,useless=211283), ccks=196006, wck=0.614, mem=105M859
6.74/3.21 decisions=3761, wrong=983, backtracks=508, failedAssignments=670, nogoods=330, foundSolutions=50, bestBound=247
6.74/3.21
6.74/3.22 num=88, depth=2..9, filters=71413, revisions=(283102,useless=215437), ccks=198737, wck=0.619, mem=105M859
6.74/3.22 decisions=3823, wrong=1011, backtracks=521, failedAssignments=689, nogoods=334, foundSolutions=50, bestBound=247
6.74/3.22
6.74/3.22 o 246
6.74/3.22 num=89, depth=5..119, filters=72210, revisions=(285935,useless=217477), ccks=200779, wck=0.623, mem=105M859
6.74/3.22 decisions=3851, wrong=1018, backtracks=521, failedAssignments=696, nogoods=341, foundSolutions=51, bestBound=246
6.74/3.22
6.74/3.23 num=90, depth=7..14, filters=74183, revisions=(292670,useless=222350), ccks=204140, wck=0.63, mem=105M859
6.74/3.23 decisions=3923, wrong=1049, backtracks=540, failedAssignments=719, nogoods=344, foundSolutions=51, bestBound=246
6.74/3.23
6.74/3.23 num=91, depth=5..10, filters=75180, revisions=(295685,useless=224428), ccks=205894, wck=0.634, mem=105M859
6.74/3.23 decisions=3963, wrong=1066, backtracks=549, failedAssignments=730, nogoods=347, foundSolutions=51, bestBound=246
6.74/3.23
6.74/3.24 num=92, depth=5..11, filters=76820, revisions=(299816,useless=226949), ccks=207922, wck=0.639, mem=105M859
6.74/3.24 decisions=4005, wrong=1084, backtracks=560, failedAssignments=742, nogoods=349, foundSolutions=51, bestBound=246
6.74/3.24
6.74/3.24 num=93, depth=4..11, filters=77600, revisions=(303783,useless=230209), ccks=209933, wck=0.643, mem=105M859
6.74/3.24 decisions=4060, wrong=1107, backtracks=576, failedAssignments=755, nogoods=352, foundSolutions=51, bestBound=246
6.74/3.24
6.74/3.25 num=94, depth=5..11, filters=79263, revisions=(308993,useless=233868), ccks=212813, wck=0.649, mem=105M859
6.74/3.25 decisions=4121, wrong=1134, backtracks=596, failedAssignments=769, nogoods=355, foundSolutions=51, bestBound=246
6.74/3.25
6.74/3.25 o 245
6.74/3.25 num=95, depth=121..119, filters=79838, revisions=(311431,useless=235718), ccks=214455, wck=0.652, mem=105M859
6.74/3.25 decisions=4134, wrong=1134, backtracks=596, failedAssignments=769, nogoods=355, foundSolutions=52, bestBound=245
6.74/3.25
6.74/3.26 num=96, depth=8..12, filters=81036, revisions=(316448,useless=239631), ccks=216740, wck=0.658, mem=105M859
6.74/3.26 decisions=4196, wrong=1161, backtracks=615, failedAssignments=786, nogoods=359, foundSolutions=52, bestBound=245
6.74/3.26
6.74/3.26 num=97, depth=4..9, filters=81589, revisions=(319245,useless=241928), ccks=218360, wck=0.66, mem=105M859
6.74/3.26 decisions=4230, wrong=1176, backtracks=625, failedAssignments=797, nogoods=362, foundSolutions=52, bestBound=245
6.74/3.26
6.74/3.26 o 244
6.74/3.26 num=98, depth=121..119, filters=82175, revisions=(321520,useless=243608), ccks=220141, wck=0.663, mem=105M859
6.74/3.26 decisions=4246, wrong=1176, backtracks=625, failedAssignments=797, nogoods=362, foundSolutions=53, bestBound=244
6.74/3.26
6.74/3.27 num=99, depth=8..14, filters=82914, revisions=(324992,useless=246399), ccks=221431, wck=0.667, mem=105M859
6.74/3.27 decisions=4286, wrong=1192, backtracks=638, failedAssignments=810, nogoods=366, foundSolutions=53, bestBound=244
6.74/3.27
6.74/3.27 num=100, depth=5..12, filters=83742, revisions=(327718,useless=248345), ccks=222743, wck=0.67, mem=105M859
6.74/3.27 decisions=4319, wrong=1206, backtracks=650, failedAssignments=821, nogoods=369, foundSolutions=53, bestBound=244
6.74/3.27
6.74/3.28 num=101, depth=5..12, filters=85851, revisions=(332641,useless=251237), ccks=225544, wck=0.676, mem=108M501
6.74/3.28 decisions=4367, wrong=1227, backtracks=664, failedAssignments=833, nogoods=376, foundSolutions=53, bestBound=244
6.74/3.28
6.74/3.28 o 243
6.74/3.28 num=102, depth=2..119, filters=87228, revisions=(337576,useless=254844), ccks=228987, wck=0.682, mem=108M501
6.74/3.28 decisions=4422, wrong=1245, backtracks=676, failedAssignments=845, nogoods=380, foundSolutions=54, bestBound=243
6.74/3.28
6.74/3.29 o 242
6.74/3.29 num=103, depth=6..119, filters=88199, revisions=(341452,useless=257786), ccks=231477, wck=0.687, mem=108M501
6.74/3.29 decisions=4470, wrong=1256, backtracks=682, failedAssignments=851, nogoods=386, foundSolutions=55, bestBound=242
6.74/3.29
6.74/3.29 num=104, depth=5..15, filters=89465, revisions=(345977,useless=261132), ccks=233460, wck=0.693, mem=108M501
6.74/3.29 decisions=4521, wrong=1278, backtracks=700, failedAssignments=862, nogoods=389, foundSolutions=55, bestBound=242
6.74/3.29
6.88/3.30 num=105, depth=10..18, filters=90303, revisions=(348273,useless=262628), ccks=234800, wck=0.696, mem=108M501
6.88/3.30 decisions=4558, wrong=1290, backtracks=701, failedAssignments=873, nogoods=400, foundSolutions=55, bestBound=242
6.88/3.30
6.88/3.30 o 241
6.88/3.30 num=106, depth=9..119, filters=91555, revisions=(352352,useless=265498), ccks=237457, wck=0.701, mem=108M501
6.88/3.30 decisions=4599, wrong=1299, backtracks=705, failedAssignments=880, nogoods=406, foundSolutions=56, bestBound=241
6.88/3.30
6.88/3.31 num=107, depth=7..11, filters=92462, revisions=(356215,useless=268521), ccks=239411, wck=0.705, mem=108M501
6.88/3.31 decisions=4648, wrong=1320, backtracks=718, failedAssignments=893, nogoods=409, foundSolutions=56, bestBound=241
6.88/3.31
6.88/3.31 num=108, depth=4..13, filters=93167, revisions=(359197,useless=270836), ccks=240853, wck=0.709, mem=108M501
6.88/3.31 decisions=4679, wrong=1332, backtracks=722, failedAssignments=904, nogoods=419, foundSolutions=56, bestBound=241
6.88/3.31
6.88/3.31 num=109, depth=5..9, filters=94204, revisions=(362019,useless=272683), ccks=242718, wck=0.713, mem=108M501
6.88/3.31 decisions=4712, wrong=1346, backtracks=727, failedAssignments=916, nogoods=425, foundSolutions=56, bestBound=241
6.88/3.31
6.88/3.32 o 240
6.88/3.32 num=110, depth=12..119, filters=95049, revisions=(364307,useless=274135), ccks=244765, wck=0.717, mem=108M501
6.88/3.32 decisions=4743, wrong=1350, backtracks=727, failedAssignments=920, nogoods=429, foundSolutions=57, bestBound=240
6.88/3.32
6.88/3.32 num=111, depth=9..13, filters=96012, revisions=(367661,useless=276597), ccks=246575, wck=0.721, mem=108M501
6.88/3.32 decisions=4796, wrong=1372, backtracks=737, failedAssignments=934, nogoods=435, foundSolutions=57, bestBound=240
6.88/3.32
6.88/3.33 num=112, depth=4..9, filters=96977, revisions=(371730,useless=279772), ccks=248679, wck=0.724, mem=108M501
6.88/3.33 decisions=4836, wrong=1389, backtracks=746, failedAssignments=945, nogoods=439, foundSolutions=57, bestBound=240
6.88/3.33
6.88/3.33 o 239
6.88/3.33 num=113, depth=11..119, filters=98390, revisions=(376260,useless=282942), ccks=251468, wck=0.73, mem=108M501
6.88/3.33 decisions=4889, wrong=1405, backtracks=756, failedAssignments=953, nogoods=444, foundSolutions=58, bestBound=239
6.88/3.33
6.88/3.34 num=114, depth=6..12, filters=99688, revisions=(380501,useless=285969), ccks=253970, wck=0.735, mem=108M501
6.88/3.34 decisions=4936, wrong=1425, backtracks=770, failedAssignments=966, nogoods=449, foundSolutions=58, bestBound=239
6.88/3.34
6.88/3.34 num=115, depth=3..13, filters=100743, revisions=(384329,useless=288821), ccks=256044, wck=0.74, mem=108M501
6.88/3.34 decisions=4983, wrong=1444, backtracks=780, failedAssignments=977, nogoods=455, foundSolutions=58, bestBound=239
6.88/3.34
6.88/3.34 o 238
6.88/3.34 num=116, depth=14..119, filters=101305, revisions=(386586,useless=290541), ccks=257864, wck=0.743, mem=108M501
6.88/3.34 decisions=5016, wrong=1447, backtracks=782, failedAssignments=978, nogoods=456, foundSolutions=59, bestBound=238
6.88/3.34
6.88/3.35 num=117, depth=8..14, filters=102578, revisions=(391047,useless=293820), ccks=259987, wck=0.748, mem=111M144
6.88/3.35 decisions=5066, wrong=1468, backtracks=794, failedAssignments=991, nogoods=459, foundSolutions=59, bestBound=238
6.88/3.35
6.88/3.35 o 237
6.88/3.35 num=118, depth=10..119, filters=103366, revisions=(394002,useless=296002), ccks=261974, wck=0.752, mem=111M144
6.88/3.35 decisions=5102, wrong=1477, backtracks=795, failedAssignments=999, nogoods=467, foundSolutions=60, bestBound=237
6.88/3.35
6.88/3.36 num=119, depth=8..12, filters=104106, revisions=(396687,useless=298001), ccks=263229, wck=0.755, mem=111M144
6.88/3.36 decisions=5141, wrong=1492, backtracks=805, failedAssignments=1011, nogoods=473, foundSolutions=60, bestBound=237
6.88/3.36
6.88/3.36 num=120, depth=7..13, filters=106146, revisions=(401574,useless=300952), ccks=266129, wck=0.761, mem=111M144
6.88/3.36 decisions=5202, wrong=1518, backtracks=822, failedAssignments=1022, nogoods=480, foundSolutions=60, bestBound=237
6.88/3.36
6.88/3.37 num=121, depth=3..11, filters=107433, revisions=(406612,useless=304789), ccks=268650, wck=0.767, mem=111M144
6.88/3.37 decisions=5249, wrong=1538, backtracks=839, failedAssignments=1034, nogoods=484, foundSolutions=60, bestBound=237
6.88/3.37
6.88/3.37 o 236
6.88/3.37 num=122, depth=8..119, filters=108997, revisions=(411350,useless=308000), ccks=271766, wck=0.773, mem=111M144
6.88/3.37 decisions=5293, wrong=1550, backtracks=844, failedAssignments=1043, nogoods=492, foundSolutions=61, bestBound=236
6.88/3.37
6.88/3.38 num=123, depth=6..9, filters=110238, revisions=(415743,useless=311229), ccks=273838, wck=0.777, mem=111M144
6.88/3.38 decisions=5339, wrong=1570, backtracks=854, failedAssignments=1057, nogoods=497, foundSolutions=61, bestBound=236
6.88/3.38
6.88/3.38 num=124, depth=8..12, filters=111776, revisions=(419848,useless=313887), ccks=275997, wck=0.782, mem=111M144
6.88/3.38 decisions=5381, wrong=1587, backtracks=865, failedAssignments=1068, nogoods=505, foundSolutions=61, bestBound=236
6.88/3.38
6.88/3.39 num=125, depth=5..13, filters=113506, revisions=(424366,useless=316759), ccks=278379, wck=0.787, mem=111M144
6.88/3.39 decisions=5425, wrong=1605, backtracks=873, failedAssignments=1080, nogoods=515, foundSolutions=61, bestBound=236
6.88/3.39
6.88/3.39 num=126, depth=7..12, filters=114788, revisions=(428695,useless=319898), ccks=280564, wck=0.792, mem=111M144
6.88/3.39 decisions=5478, wrong=1627, backtracks=885, failedAssignments=1093, nogoods=519, foundSolutions=61, bestBound=236
6.88/3.39
6.88/3.40 num=127, depth=6..13, filters=116116, revisions=(432437,useless=322384), ccks=282900, wck=0.796, mem=111M144
6.88/3.40 decisions=5533, wrong=1651, backtracks=898, failedAssignments=1107, nogoods=523, foundSolutions=61, bestBound=236
6.88/3.40
6.88/3.40 o 235
6.88/3.40 num=128, depth=7..119, filters=116595, revisions=(434897,useless=324376), ccks=284781, wck=0.8, mem=111M144
6.88/3.40 decisions=5559, wrong=1655, backtracks=898, failedAssignments=1111, nogoods=527, foundSolutions=62, bestBound=235
6.88/3.40
7.08/3.40 o 234
7.08/3.41 num=129, depth=14..119, filters=117322, revisions=(437324,useless=326103), ccks=286617, wck=0.804, mem=111M144
7.08/3.41 decisions=5598, wrong=1659, backtracks=898, failedAssignments=1115, nogoods=531, foundSolutions=63, bestBound=234
7.08/3.41
7.08/3.41 num=130, depth=8..10, filters=118367, revisions=(440151,useless=327923), ccks=288544, wck=0.808, mem=111M144
7.08/3.41 decisions=5635, wrong=1673, backtracks=902, failedAssignments=1126, nogoods=536, foundSolutions=63, bestBound=234
7.08/3.41
7.08/3.41 num=131, depth=5..14, filters=119560, revisions=(443736,useless=330397), ccks=290454, wck=0.813, mem=113M786
7.08/3.41 decisions=5684, wrong=1695, backtracks=919, failedAssignments=1137, nogoods=538, foundSolutions=63, bestBound=234
7.08/3.41
7.08/3.42 o 233
7.08/3.42 num=132, depth=8..119, filters=120398, revisions=(446585,useless=332435), ccks=292600, wck=0.818, mem=113M786
7.08/3.42 decisions=5723, wrong=1702, backtracks=919, failedAssignments=1144, nogoods=545, foundSolutions=64, bestBound=233
7.08/3.42
7.08/3.43 num=133, depth=9..14, filters=122268, revisions=(451655,useless=335726), ccks=295064, wck=0.825, mem=113M786
7.08/3.43 decisions=5786, wrong=1729, backtracks=935, failedAssignments=1157, nogoods=553, foundSolutions=64, bestBound=233
7.08/3.43
7.08/3.43 o 232
7.08/3.43 num=134, depth=2..119, filters=122878, revisions=(455128,useless=338624), ccks=297553, wck=0.829, mem=113M786
7.08/3.43 decisions=5831, wrong=1739, backtracks=937, failedAssignments=1165, nogoods=560, foundSolutions=65, bestBound=232
7.08/3.43
7.08/3.43 num=135, depth=7..10, filters=123294, revisions=(457499,useless=340619), ccks=298835, wck=0.832, mem=113M786
7.08/3.43 decisions=5864, wrong=1752, backtracks=942, failedAssignments=1177, nogoods=567, foundSolutions=65, bestBound=232
7.08/3.43
7.08/3.44 num=136, depth=6..11, filters=123965, revisions=(460312,useless=342829), ccks=300374, wck=0.836, mem=113M786
7.08/3.44 decisions=5906, wrong=1770, backtracks=953, failedAssignments=1188, nogoods=571, foundSolutions=65, bestBound=232
7.08/3.44
7.08/3.44 num=137, depth=2..11, filters=124832, revisions=(464091,useless=345812), ccks=302024, wck=0.84, mem=113M786
7.08/3.44 decisions=5949, wrong=1789, backtracks=965, failedAssignments=1200, nogoods=578, foundSolutions=65, bestBound=232
7.08/3.44
7.08/3.44 o 231
7.08/3.45 num=138, depth=8..119, filters=125999, revisions=(468752,useless=349366), ccks=305288, wck=0.844, mem=113M786
7.08/3.45 decisions=5991, wrong=1803, backtracks=970, failedAssignments=1211, nogoods=587, foundSolutions=66, bestBound=231
7.08/3.45
7.08/3.45 o 230
7.08/3.45 num=139, depth=8..119, filters=126619, revisions=(471239,useless=351259), ccks=307188, wck=0.849, mem=113M786
7.08/3.45 decisions=6024, wrong=1806, backtracks=970, failedAssignments=1214, nogoods=590, foundSolutions=67, bestBound=230
7.08/3.45
7.08/3.45 o 229
7.08/3.46 num=140, depth=121..119, filters=127228, revisions=(473546,useless=352951), ccks=308821, wck=0.852, mem=113M786
7.08/3.46 decisions=6043, wrong=1806, backtracks=970, failedAssignments=1214, nogoods=590, foundSolutions=68, bestBound=229
7.08/3.46
7.08/3.46 num=141, depth=7..14, filters=129005, revisions=(478083,useless=355786), ccks=311058, wck=0.858, mem=113M786
7.08/3.46 decisions=6088, wrong=1825, backtracks=983, failedAssignments=1225, nogoods=591, foundSolutions=68, bestBound=229
7.08/3.46
7.08/3.46 num=142, depth=3..8, filters=129666, revisions=(480783,useless=357870), ccks=312417, wck=0.861, mem=113M786
7.08/3.46 decisions=6120, wrong=1839, backtracks=992, failedAssignments=1236, nogoods=594, foundSolutions=68, bestBound=229
7.08/3.46
7.08/3.47 num=143, depth=5..11, filters=130522, revisions=(483367,useless=359655), ccks=313957, wck=0.865, mem=113M786
7.08/3.47 decisions=6156, wrong=1854, backtracks=996, failedAssignments=1248, nogoods=604, foundSolutions=68, bestBound=229
7.08/3.47
7.08/3.47 num=144, depth=8..14, filters=131702, revisions=(486945,useless=362127), ccks=316166, wck=0.869, mem=113M786
7.08/3.47 decisions=6199, wrong=1870, backtracks=1001, failedAssignments=1261, nogoods=609, foundSolutions=68, bestBound=229
7.08/3.47
7.08/3.48 num=145, depth=3..13, filters=133781, revisions=(493065,useless=366293), ccks=319776, wck=0.876, mem=113M786
7.08/3.48 decisions=6264, wrong=1899, backtracks=1019, failedAssignments=1275, nogoods=615, foundSolutions=68, bestBound=229
7.08/3.48
7.08/3.48 o 228
7.08/3.48 num=146, depth=14..119, filters=134386, revisions=(495582,useless=368237), ccks=321689, wck=0.88, mem=113M786
7.08/3.48 decisions=6297, wrong=1903, backtracks=1020, failedAssignments=1278, nogoods=618, foundSolutions=69, bestBound=228
7.08/3.48
7.08/3.49 num=147, depth=5..11, filters=136957, revisions=(501395,useless=371604), ccks=325325, wck=0.887, mem=116M428
7.08/3.49 decisions=6356, wrong=1929, backtracks=1035, failedAssignments=1295, nogoods=625, foundSolutions=69, bestBound=228
7.08/3.49
7.08/3.49 o 227
7.08/3.49 num=148, depth=121..119, filters=137665, revisions=(503349,useless=372875), ccks=327075, wck=0.891, mem=116M428
7.08/3.49 decisions=6392, wrong=1929, backtracks=1035, failedAssignments=1295, nogoods=625, foundSolutions=70, bestBound=227
7.08/3.49
7.08/3.50 num=149, depth=6..13, filters=138996, revisions=(506478,useless=374736), ccks=328905, wck=0.896, mem=116M428
7.08/3.50 decisions=6432, wrong=1945, backtracks=1044, failedAssignments=1307, nogoods=631, foundSolutions=70, bestBound=227
7.08/3.50
7.29/3.50 o 226
7.29/3.50 num=150, depth=3..119, filters=139780, revisions=(509141,useless=376633), ccks=330914, wck=0.9, mem=116M428
7.29/3.50 decisions=6470, wrong=1952, backtracks=1047, failedAssignments=1312, nogoods=636, foundSolutions=71, bestBound=226
7.29/3.50
7.29/3.51 num=151, depth=5..15, filters=140873, revisions=(512334,useless=378781), ccks=332604, wck=0.905, mem=116M428
7.29/3.51 decisions=6519, wrong=1973, backtracks=1061, failedAssignments=1324, nogoods=641, foundSolutions=71, bestBound=226
7.29/3.51
7.29/3.51 num=152, depth=9..16, filters=141739, revisions=(515166,useless=380822), ccks=334351, wck=0.908, mem=116M428
7.29/3.51 decisions=6568, wrong=1993, backtracks=1071, failedAssignments=1335, nogoods=644, foundSolutions=71, bestBound=226
7.29/3.51
7.29/3.51 num=153, depth=3..11, filters=142061, revisions=(516806,useless=382168), ccks=335282, wck=0.91, mem=116M428
7.29/3.51 decisions=6597, wrong=2005, backtracks=1072, failedAssignments=1347, nogoods=655, foundSolutions=71, bestBound=226
7.29/3.51
7.29/3.52 num=154, depth=8..16, filters=143084, revisions=(520724,useless=385131), ccks=337268, wck=0.915, mem=116M428
7.29/3.52 decisions=6645, wrong=2023, backtracks=1082, failedAssignments=1360, nogoods=661, foundSolutions=71, bestBound=226
7.29/3.52
7.29/3.52 num=155, depth=3..12, filters=145359, revisions=(525330,useless=387566), ccks=340628, wck=0.92, mem=116M428
7.29/3.52 decisions=6692, wrong=2043, backtracks=1093, failedAssignments=1374, nogoods=664, foundSolutions=71, bestBound=226
7.29/3.52
7.29/3.53 num=156, depth=5..14, filters=147230, revisions=(530510,useless=390984), ccks=343561, wck=0.926, mem=116M428
7.29/3.53 decisions=6762, wrong=2075, backtracks=1114, failedAssignments=1390, nogoods=669, foundSolutions=71, bestBound=226
7.29/3.53
7.29/3.53 num=157, depth=3..10, filters=149208, revisions=(536298,useless=394901), ccks=346616, wck=0.932, mem=116M428
7.29/3.53 decisions=6818, wrong=2101, backtracks=1132, failedAssignments=1407, nogoods=672, foundSolutions=71, bestBound=226
7.29/3.53
7.29/3.54 o 225
7.29/3.54 num=158, depth=2..119, filters=150177, revisions=(540818,useless=398511), ccks=349893, wck=0.937, mem=116M428
7.29/3.54 decisions=6862, wrong=2114, backtracks=1142, failedAssignments=1414, nogoods=675, foundSolutions=72, bestBound=225
7.29/3.54
7.29/3.54 o 224
7.29/3.54 num=159, depth=5..119, filters=151601, revisions=(545585,useless=401911), ccks=352787, wck=0.942, mem=116M428
7.29/3.54 decisions=6910, wrong=2127, backtracks=1150, failedAssignments=1422, nogoods=680, foundSolutions=73, bestBound=224
7.29/3.54
7.29/3.55 num=160, depth=6..12, filters=154374, revisions=(550952,useless=404603), ccks=356531, wck=0.948, mem=119M71
7.29/3.55 decisions=6956, wrong=2146, backtracks=1162, failedAssignments=1433, nogoods=682, foundSolutions=73, bestBound=224
7.29/3.55
7.29/3.55 num=161, depth=2..10, filters=155010, revisions=(553888,useless=406969), ccks=358123, wck=0.951, mem=119M71
7.29/3.55 decisions=6999, wrong=2165, backtracks=1174, failedAssignments=1444, nogoods=685, foundSolutions=73, bestBound=224
7.29/3.55
7.29/3.56 num=162, depth=5..12, filters=156056, revisions=(557046,useless=409160), ccks=360086, wck=0.955, mem=119M71
7.29/3.56 decisions=7044, wrong=2185, backtracks=1185, failedAssignments=1456, nogoods=689, foundSolutions=73, bestBound=224
7.29/3.56
7.29/3.56 o 223
7.29/3.56 num=163, depth=11..119, filters=156878, revisions=(560395,useless=411706), ccks=362453, wck=0.96, mem=119M71
7.29/3.56 decisions=7079, wrong=2192, backtracks=1190, failedAssignments=1460, nogoods=691, foundSolutions=74, bestBound=223
7.29/3.56
7.29/3.57 num=164, depth=4..10, filters=158383, revisions=(565084,useless=414995), ccks=364904, wck=0.965, mem=119M71
7.29/3.57 decisions=7129, wrong=2215, backtracks=1205, failedAssignments=1474, nogoods=696, foundSolutions=74, bestBound=223
7.29/3.57
7.29/3.57 o 222
7.29/3.57 num=165, depth=6..119, filters=159262, revisions=(568141,useless=417214), ccks=367103, wck=0.969, mem=119M71
7.29/3.57 decisions=7166, wrong=2222, backtracks=1206, failedAssignments=1480, nogoods=702, foundSolutions=75, bestBound=222
7.29/3.57
7.29/3.57 num=166, depth=6..12, filters=159855, revisions=(570943,useless=419482), ccks=368709, wck=0.972, mem=119M71
7.29/3.57 decisions=7204, wrong=2238, backtracks=1217, failedAssignments=1492, nogoods=704, foundSolutions=75, bestBound=222
7.29/3.57
7.29/3.58 num=167, depth=3..10, filters=160582, revisions=(573367,useless=421228), ccks=370152, wck=0.975, mem=119M71
7.29/3.58 decisions=7235, wrong=2252, backtracks=1224, failedAssignments=1503, nogoods=709, foundSolutions=75, bestBound=222
7.29/3.58
7.29/3.58 o 221
7.29/3.58 num=168, depth=12..119, filters=161648, revisions=(576444,useless=423277), ccks=372685, wck=0.98, mem=119M71
7.29/3.58 decisions=7274, wrong=2260, backtracks=1225, failedAssignments=1510, nogoods=716, foundSolutions=76, bestBound=221
7.29/3.58
7.29/3.58 num=169, depth=6..14, filters=162602, revisions=(579710,useless=425664), ccks=374501, wck=0.984, mem=119M71
7.29/3.58 decisions=7320, wrong=2280, backtracks=1239, failedAssignments=1523, nogoods=718, foundSolutions=76, bestBound=221
7.29/3.58
7.29/3.59 num=170, depth=4..9, filters=166117, revisions=(586861,useless=429434), ccks=379182, wck=0.991, mem=119M71
7.29/3.59 decisions=7375, wrong=2304, backtracks=1257, failedAssignments=1534, nogoods=724, foundSolutions=76, bestBound=221
7.29/3.59
7.29/3.60 num=171, depth=3..12, filters=167437, revisions=(589927,useless=431217), ccks=381217, wck=0.995, mem=119M71
7.29/3.60 decisions=7408, wrong=2317, backtracks=1260, failedAssignments=1546, nogoods=734, foundSolutions=76, bestBound=221
7.29/3.60
7.42/3.60 o 220
7.42/3.60 num=172, depth=12..119, filters=167935, revisions=(592103,useless=432903), ccks=383038, wck=0.998, mem=119M71
7.42/3.60 decisions=7431, wrong=2318, backtracks=1260, failedAssignments=1547, nogoods=735, foundSolutions=77, bestBound=220
7.42/3.60
7.42/3.60 num=173, depth=3..9, filters=169024, revisions=(596850,useless=436652), ccks=385369, wck=1.003, mem=119M71
7.42/3.60 decisions=7476, wrong=2338, backtracks=1275, failedAssignments=1561, nogoods=738, foundSolutions=77, bestBound=220
7.42/3.60
7.42/3.61 num=174, depth=3..11, filters=170225, revisions=(601336,useless=440020), ccks=387953, wck=1.008, mem=119M71
7.42/3.61 decisions=7523, wrong=2359, backtracks=1290, failedAssignments=1572, nogoods=744, foundSolutions=77, bestBound=220
7.42/3.61
7.42/3.61 o 219
7.42/3.61 num=175, depth=5..119, filters=171498, revisions=(605881,useless=443335), ccks=390648, wck=1.013, mem=121M713
7.42/3.61 decisions=7564, wrong=2371, backtracks=1293, failedAssignments=1582, nogoods=754, foundSolutions=78, bestBound=219
7.42/3.61
7.42/3.62 num=176, depth=6..12, filters=173287, revisions=(609993,useless=445736), ccks=393405, wck=1.018, mem=121M713
7.42/3.62 decisions=7609, wrong=2390, backtracks=1302, failedAssignments=1595, nogoods=760, foundSolutions=78, bestBound=219
7.42/3.62
7.42/3.62 o 218
7.42/3.62 num=177, depth=121..119, filters=173760, revisions=(612175,useless=447460), ccks=395153, wck=1.021, mem=121M713
7.42/3.62 decisions=7627, wrong=2390, backtracks=1302, failedAssignments=1595, nogoods=760, foundSolutions=79, bestBound=218
7.42/3.62
7.42/3.63 num=178, depth=5..11, filters=175374, revisions=(617151,useless=450914), ccks=398149, wck=1.025, mem=121M713
7.42/3.63 decisions=7674, wrong=2410, backtracks=1313, failedAssignments=1607, nogoods=763, foundSolutions=79, bestBound=218
7.42/3.63
7.42/3.63 o 217
7.42/3.63 num=179, depth=4..119, filters=176414, revisions=(620704,useless=453457), ccks=400499, wck=1.03, mem=121M713
7.42/3.63 decisions=7711, wrong=2420, backtracks=1316, failedAssignments=1616, nogoods=772, foundSolutions=80, bestBound=217
7.42/3.63
7.42/3.64 num=180, depth=6..13, filters=177429, revisions=(623990,useless=455797), ccks=402575, wck=1.034, mem=121M713
7.42/3.64 decisions=7752, wrong=2437, backtracks=1326, failedAssignments=1628, nogoods=775, foundSolutions=80, bestBound=217
7.42/3.64
7.42/3.64 o 216
7.42/3.64 num=181, depth=6..119, filters=178580, revisions=(627714,useless=458417), ccks=405274, wck=1.04, mem=121M713
7.42/3.64 decisions=7808, wrong=2451, backtracks=1333, failedAssignments=1637, nogoods=783, foundSolutions=81, bestBound=216
7.42/3.64
7.42/3.64 num=182, depth=6..14, filters=179951, revisions=(631081,useless=460473), ccks=407261, wck=1.044, mem=121M713
7.42/3.64 decisions=7848, wrong=2467, backtracks=1338, failedAssignments=1649, nogoods=793, foundSolutions=81, bestBound=216
7.42/3.64
7.42/3.65 num=183, depth=8..11, filters=181125, revisions=(634320,useless=462611), ccks=409305, wck=1.047, mem=121M713
7.42/3.65 decisions=7890, wrong=2484, backtracks=1347, failedAssignments=1660, nogoods=798, foundSolutions=81, bestBound=216
7.42/3.65
7.42/3.65 o 215
7.42/3.65 num=184, depth=4..119, filters=182661, revisions=(639159,useless=465964), ccks=412295, wck=1.054, mem=121M713
7.42/3.65 decisions=7943, wrong=2500, backtracks=1358, failedAssignments=1669, nogoods=803, foundSolutions=82, bestBound=215
7.42/3.65
7.42/3.66 num=185, depth=5..11, filters=184394, revisions=(643315,useless=468477), ccks=414726, wck=1.059, mem=121M713
7.42/3.66 decisions=7994, wrong=2522, backtracks=1373, failedAssignments=1682, nogoods=806, foundSolutions=82, bestBound=215
7.42/3.66
7.42/3.66 num=186, depth=9..14, filters=185849, revisions=(647521,useless=471317), ccks=417205, wck=1.063, mem=121M713
7.42/3.66 decisions=8043, wrong=2542, backtracks=1385, failedAssignments=1693, nogoods=808, foundSolutions=82, bestBound=215
7.42/3.66
7.42/3.67 num=187, depth=3..11, filters=187471, revisions=(651361,useless=473598), ccks=419560, wck=1.067, mem=121M713
7.42/3.67 decisions=8084, wrong=2559, backtracks=1392, failedAssignments=1705, nogoods=816, foundSolutions=82, bestBound=215
7.42/3.67
7.42/3.67 num=188, depth=9..14, filters=189004, revisions=(655878,useless=476680), ccks=422233, wck=1.073, mem=121M713
7.42/3.67 decisions=8140, wrong=2582, backtracks=1408, failedAssignments=1718, nogoods=821, foundSolutions=82, bestBound=215
7.42/3.67
7.42/3.68 num=189, depth=3..13, filters=190419, revisions=(659796,useless=479251), ccks=424505, wck=1.078, mem=124M356
7.42/3.68 decisions=8189, wrong=2604, backtracks=1421, failedAssignments=1732, nogoods=827, foundSolutions=82, bestBound=215
7.42/3.68
7.42/3.68 num=190, depth=7..12, filters=191886, revisions=(664558,useless=482667), ccks=427270, wck=1.083, mem=124M356
7.42/3.68 decisions=8251, wrong=2631, backtracks=1437, failedAssignments=1748, nogoods=830, foundSolutions=82, bestBound=215
7.42/3.68
7.42/3.69 num=191, depth=2..8, filters=193975, revisions=(669980,useless=486100), ccks=430784, wck=1.089, mem=124M356
7.42/3.69 decisions=8308, wrong=2657, backtracks=1455, failedAssignments=1765, nogoods=836, foundSolutions=82, bestBound=215
7.42/3.69
7.42/3.69 num=192, depth=3..9, filters=195343, revisions=(674586,useless=489452), ccks=433852, wck=1.094, mem=124M356
7.42/3.69 decisions=8372, wrong=2686, backtracks=1469, failedAssignments=1784, nogoods=842, foundSolutions=82, bestBound=215
7.42/3.69
7.55/3.70 num=193, depth=5..9, filters=197410, revisions=(680742,useless=493652), ccks=437091, wck=1.101, mem=124M356
7.55/3.70 decisions=8440, wrong=2717, backtracks=1490, failedAssignments=1805, nogoods=850, foundSolutions=82, bestBound=215
7.55/3.70
7.55/3.71 num=194, depth=4..15, filters=200343, revisions=(689755,useless=499867), ccks=442007, wck=1.111, mem=124M356
7.55/3.71 decisions=8535, wrong=2762, backtracks=1523, failedAssignments=1828, nogoods=854, foundSolutions=82, bestBound=215
7.55/3.71
7.55/3.72 num=195, depth=4..12, filters=202438, revisions=(696030,useless=504186), ccks=446386, wck=1.118, mem=124M356
7.55/3.72 decisions=8615, wrong=2800, backtracks=1547, failedAssignments=1853, nogoods=857, foundSolutions=82, bestBound=215
7.55/3.72
7.55/3.72 o 214
7.55/3.72 num=196, depth=8..119, filters=203148, revisions=(699329,useless=506808), ccks=448646, wck=1.121, mem=124M356
7.55/3.72 decisions=8640, wrong=2805, backtracks=1550, failedAssignments=1856, nogoods=858, foundSolutions=83, bestBound=214
7.55/3.72
7.55/3.73 num=197, depth=4..13, filters=206111, revisions=(708114,useless=512820), ccks=453953, wck=1.131, mem=124M356
7.55/3.73 decisions=8742, wrong=2853, backtracks=1582, failedAssignments=1887, nogoods=865, foundSolutions=83, bestBound=214
7.55/3.73
7.55/3.74 num=198, depth=4..10, filters=207096, revisions=(710820,useless=514606), ccks=455764, wck=1.134, mem=124M356
7.55/3.74 decisions=8782, wrong=2871, backtracks=1591, failedAssignments=1898, nogoods=872, foundSolutions=83, bestBound=214
7.55/3.74
7.55/3.74 o 213
7.55/3.74 num=199, depth=9..119, filters=208381, revisions=(714276,useless=516797), ccks=458323, wck=1.14, mem=126M998
7.55/3.74 decisions=8826, wrong=2879, backtracks=1598, failedAssignments=1900, nogoods=873, foundSolutions=84, bestBound=213
7.55/3.74
7.55/3.74 num=200, depth=6..9, filters=209288, revisions=(717834,useless=519520), ccks=460173, wck=1.144, mem=126M998
7.55/3.74 decisions=8871, wrong=2898, backtracks=1604, failedAssignments=1913, nogoods=881, foundSolutions=84, bestBound=213
7.55/3.74
7.55/3.75 num=201, depth=3..6, filters=210609, revisions=(722257,useless=522697), ccks=462659, wck=1.148, mem=126M998
7.55/3.75 decisions=8914, wrong=2917, backtracks=1613, failedAssignments=1924, nogoods=887, foundSolutions=84, bestBound=213
7.55/3.75
7.55/3.75 num=202, depth=3..14, filters=211776, revisions=(726344,useless=525706), ccks=464915, wck=1.153, mem=126M998
7.55/3.75 decisions=8974, wrong=2945, backtracks=1634, failedAssignments=1936, nogoods=890, foundSolutions=84, bestBound=213
7.55/3.75
7.55/3.76 o 212
7.55/3.76 num=203, depth=9..119, filters=212418, revisions=(728847,useless=527566), ccks=466699, wck=1.156, mem=126M998
7.55/3.76 decisions=8993, wrong=2946, backtracks=1634, failedAssignments=1937, nogoods=891, foundSolutions=85, bestBound=212
7.55/3.76
7.55/3.76 num=204, depth=5..10, filters=213765, revisions=(732671,useless=530128), ccks=468876, wck=1.161, mem=126M998
7.55/3.76 decisions=9041, wrong=2967, backtracks=1648, failedAssignments=1951, nogoods=894, foundSolutions=85, bestBound=212
7.55/3.76
7.55/3.77 num=205, depth=5..12, filters=214975, revisions=(735866,useless=532142), ccks=470371, wck=1.164, mem=126M998
7.55/3.77 decisions=9072, wrong=2979, backtracks=1651, failedAssignments=1962, nogoods=903, foundSolutions=85, bestBound=212
7.55/3.77
7.55/3.77 num=206, depth=5..14, filters=216135, revisions=(739400,useless=534593), ccks=472320, wck=1.169, mem=126M998
7.55/3.77 decisions=9126, wrong=3002, backtracks=1665, failedAssignments=1974, nogoods=907, foundSolutions=85, bestBound=212
7.55/3.77
7.55/3.78 num=207, depth=4..11, filters=218408, revisions=(745357,useless=538340), ccks=475374, wck=1.175, mem=126M998
7.55/3.78 decisions=9173, wrong=3022, backtracks=1680, failedAssignments=1987, nogoods=911, foundSolutions=85, bestBound=212
7.55/3.78
7.55/3.78 num=208, depth=6..13, filters=219904, revisions=(749368,useless=540960), ccks=477944, wck=1.18, mem=126M998
7.55/3.78 decisions=9228, wrong=3046, backtracks=1692, failedAssignments=2001, nogoods=913, foundSolutions=85, bestBound=212
7.55/3.78
7.55/3.78 o 211
7.55/3.78 num=209, depth=6..119, filters=220773, revisions=(752041,useless=542760), ccks=479970, wck=1.184, mem=126M998
7.55/3.78 decisions=9252, wrong=3049, backtracks=1692, failedAssignments=2004, nogoods=916, foundSolutions=86, bestBound=211
7.55/3.78
7.55/3.79 num=210, depth=4..11, filters=223654, revisions=(759444,useless=547433), ccks=484403, wck=1.193, mem=126M998
7.55/3.79 decisions=9323, wrong=3081, backtracks=1717, failedAssignments=2021, nogoods=918, foundSolutions=86, bestBound=211
7.55/3.79
7.66/3.80 num=211, depth=3..13, filters=224616, revisions=(762527,useless=549617), ccks=486154, wck=1.196, mem=126M998
7.66/3.80 decisions=9369, wrong=3102, backtracks=1729, failedAssignments=2032, nogoods=922, foundSolutions=86, bestBound=211
7.66/3.80
7.66/3.80 o 210
7.66/3.80 num=212, depth=4..119, filters=226008, revisions=(766798,useless=552546), ccks=489038, wck=1.202, mem=126M998
7.66/3.80 decisions=9409, wrong=3112, backtracks=1733, failedAssignments=2040, nogoods=928, foundSolutions=87, bestBound=210
7.66/3.80
7.66/3.81 num=213, depth=6..12, filters=227876, revisions=(771396,useless=555364), ccks=491856, wck=1.207, mem=129M641
7.66/3.81 decisions=9457, wrong=3132, backtracks=1743, failedAssignments=2053, nogoods=935, foundSolutions=87, bestBound=210
7.66/3.81
7.66/3.81 num=214, depth=5..10, filters=230285, revisions=(776053,useless=557684), ccks=495043, wck=1.212, mem=129M641
7.66/3.81 decisions=9500, wrong=3151, backtracks=1755, failedAssignments=2064, nogoods=938, foundSolutions=87, bestBound=210
7.66/3.81
7.66/3.82 num=215, depth=3..14, filters=231792, revisions=(780891,useless=561125), ccks=497599, wck=1.218, mem=129M641
7.66/3.82 decisions=9563, wrong=3181, backtracks=1779, failedAssignments=2076, nogoods=939, foundSolutions=87, bestBound=210
7.66/3.82
7.66/3.82 o 209
7.66/3.82 num=216, depth=4..119, filters=232477, revisions=(783267,useless=562810), ccks=499362, wck=1.221, mem=129M641
7.66/3.82 decisions=9584, wrong=3182, backtracks=1779, failedAssignments=2077, nogoods=940, foundSolutions=88, bestBound=209
7.66/3.82
7.66/3.83 o 208
7.66/3.83 num=217, depth=6..119, filters=234128, revisions=(788424,useless=566381), ccks=502345, wck=1.228, mem=129M641
7.66/3.83 decisions=9640, wrong=3198, backtracks=1786, failedAssignments=2086, nogoods=945, foundSolutions=89, bestBound=208
7.66/3.83
7.66/3.83 num=218, depth=7..14, filters=236138, revisions=(792717,useless=568709), ccks=505025, wck=1.234, mem=129M641
7.66/3.83 decisions=9683, wrong=3214, backtracks=1791, failedAssignments=2097, nogoods=953, foundSolutions=89, bestBound=208
7.66/3.83
7.66/3.84 num=219, depth=3..8, filters=237057, revisions=(796097,useless=571241), ccks=507077, wck=1.237, mem=129M641
7.66/3.84 decisions=9728, wrong=3233, backtracks=1802, failedAssignments=2108, nogoods=957, foundSolutions=89, bestBound=208
7.66/3.84
7.66/3.84 num=220, depth=3..9, filters=237899, revisions=(799089,useless=573462), ccks=509036, wck=1.241, mem=129M641
7.66/3.84 decisions=9769, wrong=3251, backtracks=1811, failedAssignments=2120, nogoods=962, foundSolutions=89, bestBound=208
7.66/3.84
7.66/3.85 num=221, depth=3..8, filters=239008, revisions=(802874,useless=576220), ccks=511196, wck=1.245, mem=129M641
7.66/3.85 decisions=9818, wrong=3273, backtracks=1827, failedAssignments=2133, nogoods=967, foundSolutions=89, bestBound=208
7.66/3.85
7.66/3.85 num=222, depth=5..9, filters=239871, revisions=(805849,useless=578394), ccks=513026, wck=1.249, mem=129M641
7.66/3.85 decisions=9860, wrong=3291, backtracks=1838, failedAssignments=2147, nogoods=970, foundSolutions=89, bestBound=208
7.66/3.85
7.66/3.86 o 207
7.66/3.86 num=223, depth=7..119, filters=241704, revisions=(811504,useless=582303), ccks=516937, wck=1.256, mem=129M641
7.66/3.86 decisions=9924, wrong=3311, backtracks=1850, failedAssignments=2158, nogoods=974, foundSolutions=90, bestBound=207
7.66/3.86
7.66/3.86 num=224, depth=5..11, filters=243953, revisions=(817245,useless=585902), ccks=520320, wck=1.263, mem=129M641
7.66/3.86 decisions=9993, wrong=3342, backtracks=1872, failedAssignments=2175, nogoods=977, foundSolutions=90, bestBound=207
7.66/3.86
7.66/3.87 o 206
7.66/3.87 num=225, depth=12..119, filters=244746, revisions=(819789,useless=587659), ccks=522383, wck=1.267, mem=129M641
7.66/3.87 decisions=10018, wrong=3343, backtracks=1872, failedAssignments=2176, nogoods=978, foundSolutions=91, bestBound=206
7.66/3.87
7.66/3.87 num=226, depth=6..13, filters=246094, revisions=(823329,useless=589920), ccks=524563, wck=1.271, mem=129M641
7.66/3.87 decisions=10063, wrong=3361, backtracks=1883, failedAssignments=2188, nogoods=983, foundSolutions=91, bestBound=206
7.66/3.87
7.66/3.88 num=227, depth=3..7, filters=248190, revisions=(829005,useless=593587), ccks=527488, wck=1.277, mem=132M283
7.66/3.88 decisions=10111, wrong=3383, backtracks=1899, failedAssignments=2199, nogoods=989, foundSolutions=91, bestBound=206
7.66/3.88
7.66/3.88 o 205
7.66/3.88 num=228, depth=9..119, filters=248926, revisions=(831538,useless=595388), ccks=529526, wck=1.28, mem=132M283
7.66/3.88 decisions=10137, wrong=3386, backtracks=1899, failedAssignments=2202, nogoods=992, foundSolutions=92, bestBound=205
7.66/3.88
7.66/3.88 o 204
7.66/3.88 num=229, depth=6..119, filters=249603, revisions=(834023,useless=597209), ccks=531176, wck=1.284, mem=132M283
7.66/3.88 decisions=10167, wrong=3389, backtracks=1900, failedAssignments=2204, nogoods=994, foundSolutions=93, bestBound=204
7.66/3.88
7.66/3.89 num=230, depth=6..12, filters=251912, revisions=(838857,useless=599796), ccks=534036, wck=1.29, mem=132M283
7.66/3.89 decisions=10205, wrong=3405, backtracks=1913, failedAssignments=2215, nogoods=998, foundSolutions=93, bestBound=204
7.66/3.89
7.66/3.89 num=231, depth=3..8, filters=252622, revisions=(841925,useless=602213), ccks=535826, wck=1.293, mem=132M283
7.66/3.89 decisions=10240, wrong=3421, backtracks=1923, failedAssignments=2226, nogoods=1000, foundSolutions=93, bestBound=204
7.66/3.89
7.66/3.90 num=232, depth=2..9, filters=254246, revisions=(845751,useless=604499), ccks=538352, wck=1.298, mem=132M283
7.66/3.90 decisions=10287, wrong=3442, backtracks=1937, failedAssignments=2238, nogoods=1002, foundSolutions=93, bestBound=204
7.66/3.90
7.79/3.90 num=233, depth=7..14, filters=255410, revisions=(849318,useless=606984), ccks=540547, wck=1.302, mem=132M283
7.79/3.90 decisions=10335, wrong=3462, backtracks=1949, failedAssignments=2251, nogoods=1004, foundSolutions=93, bestBound=204
7.79/3.90
7.79/3.91 num=234, depth=4..12, filters=257074, revisions=(853741,useless=609781), ccks=542817, wck=1.307, mem=132M283
7.79/3.91 decisions=10382, wrong=3483, backtracks=1961, failedAssignments=2265, nogoods=1011, foundSolutions=93, bestBound=204
7.79/3.91
7.79/3.92 o 203
7.79/3.92 num=235, depth=6..119, filters=259161, revisions=(859720,useless=613736), ccks=546407, wck=1.315, mem=132M283
7.79/3.92 decisions=10447, wrong=3504, backtracks=1973, failedAssignments=2275, nogoods=1016, foundSolutions=94, bestBound=203
7.79/3.92
7.79/3.92 num=236, depth=6..11, filters=261185, revisions=(864674,useless=616763), ccks=549471, wck=1.32, mem=132M283
7.79/3.92 decisions=10504, wrong=3529, backtracks=1988, failedAssignments=2292, nogoods=1025, foundSolutions=94, bestBound=203
7.79/3.92
7.79/3.92 o 202
7.79/3.92 num=237, depth=4..119, filters=262090, revisions=(867180,useless=618389), ccks=551500, wck=1.324, mem=132M283
7.79/3.92 decisions=10533, wrong=3534, backtracks=1988, failedAssignments=2297, nogoods=1030, foundSolutions=95, bestBound=202
7.79/3.92
7.79/3.93 num=238, depth=5..14, filters=263867, revisions=(872914,useless=622436), ccks=554093, wck=1.331, mem=132M283
7.79/3.93 decisions=10586, wrong=3557, backtracks=2004, failedAssignments=2309, nogoods=1036, foundSolutions=95, bestBound=202
7.79/3.93
7.79/3.93 num=239, depth=5..14, filters=264446, revisions=(875042,useless=624034), ccks=555330, wck=1.334, mem=132M283
7.79/3.93 decisions=10629, wrong=3574, backtracks=2011, failedAssignments=2320, nogoods=1042, foundSolutions=95, bestBound=202
7.79/3.93
7.79/3.94 num=240, depth=3..14, filters=266438, revisions=(880464,useless=627552), ccks=558202, wck=1.34, mem=134M926
7.79/3.94 decisions=10681, wrong=3598, backtracks=2027, failedAssignments=2332, nogoods=1048, foundSolutions=95, bestBound=202
7.79/3.94
7.79/3.94 num=241, depth=6..11, filters=267427, revisions=(883740,useless=629906), ccks=560069, wck=1.344, mem=134M926
7.79/3.94 decisions=10727, wrong=3618, backtracks=2040, failedAssignments=2345, nogoods=1051, foundSolutions=95, bestBound=202
7.79/3.94
7.79/3.95 num=242, depth=3..11, filters=268700, revisions=(888450,useless=633446), ccks=562530, wck=1.349, mem=134M926
7.79/3.95 decisions=10786, wrong=3645, backtracks=2057, failedAssignments=2359, nogoods=1053, foundSolutions=95, bestBound=202
7.79/3.95
7.79/3.96 num=243, depth=8..14, filters=270298, revisions=(893111,useless=636628), ccks=565178, wck=1.354, mem=134M926
7.79/3.96 decisions=10848, wrong=3672, backtracks=2073, failedAssignments=2375, nogoods=1056, foundSolutions=95, bestBound=202
7.79/3.96
7.79/3.96 num=244, depth=4..10, filters=271618, revisions=(897624,useless=639904), ccks=567657, wck=1.36, mem=134M926
7.79/3.96 decisions=10901, wrong=3695, backtracks=2086, failedAssignments=2392, nogoods=1067, foundSolutions=95, bestBound=202
7.79/3.96
7.79/3.97 num=245, depth=4..13, filters=272980, revisions=(902271,useless=643295), ccks=570333, wck=1.365, mem=134M926
7.79/3.97 decisions=10963, wrong=3724, backtracks=2107, failedAssignments=2411, nogoods=1068, foundSolutions=95, bestBound=202
7.79/3.97
7.79/3.97 num=246, depth=5..11, filters=275386, revisions=(909722,useless=648498), ccks=574310, wck=1.372, mem=134M926
7.79/3.97 decisions=11045, wrong=3762, backtracks=2133, failedAssignments=2432, nogoods=1073, foundSolutions=95, bestBound=202
7.79/3.97
7.79/3.98 num=247, depth=2..11, filters=277520, revisions=(915624,useless=652411), ccks=578007, wck=1.379, mem=134M926
7.79/3.98 decisions=11122, wrong=3799, backtracks=2151, failedAssignments=2455, nogoods=1079, foundSolutions=95, bestBound=202
7.79/3.98
7.79/3.99 num=248, depth=3..10, filters=280579, revisions=(924107,useless=658004), ccks=582439, wck=1.389, mem=134M926
7.79/3.99 decisions=11221, wrong=3846, backtracks=2183, failedAssignments=2480, nogoods=1083, foundSolutions=95, bestBound=202
7.79/3.99
7.79/4.00 num=249, depth=4..14, filters=283311, revisions=(932754,useless=664120), ccks=587399, wck=1.4, mem=134M926
7.79/4.00 decisions=11334, wrong=3900, backtracks=2220, failedAssignments=2508, nogoods=1088, foundSolutions=95, bestBound=202
7.79/4.00
7.90/4.01 num=250, depth=6..13, filters=286718, revisions=(942017,useless=670197), ccks=592847, wck=1.412, mem=137M568
7.90/4.01 decisions=11457, wrong=3958, backtracks=2254, failedAssignments=2539, nogoods=1093, foundSolutions=95, bestBound=202
7.90/4.01
7.90/4.03 o 201
7.90/4.03 num=251, depth=2..119, filters=291165, revisions=(954657,useless=678534), ccks=599961, wck=1.425, mem=137M568
7.90/4.03 decisions=11561, wrong=4002, backtracks=2281, failedAssignments=2562, nogoods=1099, foundSolutions=96, bestBound=201
7.90/4.03
7.90/4.04 num=252, depth=5..12, filters=294946, revisions=(964868,useless=685124), ccks=605665, wck=1.436, mem=137M568
7.90/4.04 decisions=11686, wrong=4061, backtracks=2316, failedAssignments=2599, nogoods=1105, foundSolutions=96, bestBound=201
7.90/4.04
7.90/4.04 num=253, depth=7..13, filters=296367, revisions=(968713,useless=687637), ccks=608156, wck=1.441, mem=137M568
7.90/4.04 decisions=11737, wrong=4082, backtracks=2332, failedAssignments=2610, nogoods=1110, foundSolutions=96, bestBound=201
7.90/4.04
7.90/4.05 num=254, depth=5..13, filters=297713, revisions=(972027,useless=689669), ccks=610115, wck=1.445, mem=137M568
7.90/4.05 decisions=11782, wrong=4100, backtracks=2344, failedAssignments=2622, nogoods=1113, foundSolutions=96, bestBound=201
7.90/4.05
7.90/4.05 num=255, depth=6..15, filters=299600, revisions=(977405,useless=693282), ccks=612569, wck=1.451, mem=137M568
7.90/4.05 decisions=11844, wrong=4128, backtracks=2363, failedAssignments=2635, nogoods=1118, foundSolutions=96, bestBound=201
7.90/4.05
7.90/4.06 num=256, depth=6..11, filters=300345, revisions=(980052,useless=695248), ccks=614375, wck=1.454, mem=137M568
7.90/4.06 decisions=11890, wrong=4148, backtracks=2373, failedAssignments=2649, nogoods=1119, foundSolutions=96, bestBound=201
7.90/4.06
7.90/4.06 o 200
7.90/4.06 num=257, depth=6..119, filters=302500, revisions=(984564,useless=697608), ccks=617591, wck=1.462, mem=137M568
7.90/4.06 decisions=11941, wrong=4161, backtracks=2378, failedAssignments=2660, nogoods=1127, foundSolutions=97, bestBound=200
7.90/4.06
7.90/4.07 num=258, depth=4..10, filters=303631, revisions=(988581,useless=700568), ccks=619897, wck=1.466, mem=137M568
7.90/4.07 decisions=11988, wrong=4182, backtracks=2390, failedAssignments=2677, nogoods=1131, foundSolutions=97, bestBound=200
7.90/4.07
7.90/4.07 num=259, depth=4..9, filters=305482, revisions=(992413,useless=702625), ccks=622282, wck=1.471, mem=140M211
7.90/4.07 decisions=12029, wrong=4200, backtracks=2401, failedAssignments=2688, nogoods=1136, foundSolutions=97, bestBound=200
7.90/4.07
7.90/4.08 num=260, depth=4..13, filters=307776, revisions=(997970,useless=705934), ccks=625006, wck=1.477, mem=140M211
7.90/4.08 decisions=12077, wrong=4221, backtracks=2412, failedAssignments=2700, nogoods=1143, foundSolutions=97, bestBound=200
7.90/4.08
7.90/4.08 num=261, depth=4..14, filters=309584, revisions=(1003207,useless=709500), ccks=627934, wck=1.484, mem=140M211
7.90/4.08 decisions=12144, wrong=4252, backtracks=2436, failedAssignments=2713, nogoods=1148, foundSolutions=97, bestBound=200
7.90/4.08
7.90/4.09 num=262, depth=5..13, filters=310596, revisions=(1006761,useless=712124), ccks=629895, wck=1.488, mem=140M211
7.90/4.09 decisions=12191, wrong=4273, backtracks=2447, failedAssignments=2727, nogoods=1154, foundSolutions=97, bestBound=200
7.90/4.09
7.90/4.10 num=263, depth=4..9, filters=312587, revisions=(1012522,useless=716010), ccks=633014, wck=1.494, mem=140M211
7.90/4.10 decisions=12246, wrong=4298, backtracks=2462, failedAssignments=2743, nogoods=1161, foundSolutions=97, bestBound=200
7.90/4.10
7.90/4.10 num=264, depth=11..18, filters=314887, revisions=(1019260,useless=720592), ccks=636657, wck=1.502, mem=140M211
7.90/4.10 decisions=12321, wrong=4330, backtracks=2482, failedAssignments=2760, nogoods=1166, foundSolutions=97, bestBound=200
7.90/4.10
8.02/4.11 num=265, depth=3..15, filters=316569, revisions=(1023928,useless=723651), ccks=638876, wck=1.507, mem=140M211
8.02/4.11 decisions=12383, wrong=4358, backtracks=2497, failedAssignments=2779, nogoods=1171, foundSolutions=97, bestBound=200
8.02/4.11
8.02/4.12 num=266, depth=1..12, filters=318764, revisions=(1030507,useless=728185), ccks=642904, wck=1.515, mem=140M211
8.02/4.12 decisions=12470, wrong=4399, backtracks=2520, failedAssignments=2800, nogoods=1178, foundSolutions=97, bestBound=200
8.02/4.12
8.02/4.12 o 199
8.02/4.12 num=267, depth=6..119, filters=319503, revisions=(1032826,useless=729789), ccks=644853, wck=1.518, mem=140M211
8.02/4.12 decisions=12501, wrong=4403, backtracks=2520, failedAssignments=2804, nogoods=1182, foundSolutions=98, bestBound=199
8.02/4.12
8.02/4.12 o 198
8.02/4.12 num=268, depth=9..119, filters=320673, revisions=(1036359,useless=732166), ccks=647295, wck=1.523, mem=140M211
8.02/4.12 decisions=12535, wrong=4410, backtracks=2521, failedAssignments=2810, nogoods=1188, foundSolutions=99, bestBound=198
8.02/4.12
8.02/4.13 num=269, depth=6..16, filters=321681, revisions=(1038998,useless=733800), ccks=648570, wck=1.527, mem=140M211
8.02/4.13 decisions=12567, wrong=4422, backtracks=2522, failedAssignments=2821, nogoods=1199, foundSolutions=99, bestBound=198
8.02/4.13
8.02/4.13 num=270, depth=9..15, filters=323145, revisions=(1043311,useless=736740), ccks=650885, wck=1.532, mem=140M211
8.02/4.13 decisions=12620, wrong=4444, backtracks=2538, failedAssignments=2832, nogoods=1203, foundSolutions=99, bestBound=198
8.02/4.13
8.02/4.14 num=271, depth=4..10, filters=323944, revisions=(1046468,useless=739148), ccks=652212, wck=1.536, mem=142M778
8.02/4.14 decisions=12661, wrong=4461, backtracks=2545, failedAssignments=2844, nogoods=1211, foundSolutions=99, bestBound=198
8.02/4.14
8.02/4.14 o 197
8.02/4.14 num=272, depth=12..119, filters=325417, revisions=(1050612,useless=741868), ccks=655151, wck=1.541, mem=142M778
8.02/4.14 decisions=12706, wrong=4472, backtracks=2553, failedAssignments=2852, nogoods=1215, foundSolutions=100, bestBound=197
8.02/4.14
8.02/4.14 o 196
8.02/4.14 num=273, depth=9..119, filters=326118, revisions=(1053117,useless=743674), ccks=656928, wck=1.544, mem=142M778
8.02/4.14 decisions=12726, wrong=4473, backtracks=2553, failedAssignments=2853, nogoods=1216, foundSolutions=101, bestBound=196
8.02/4.14
8.02/4.15 num=274, depth=7..14, filters=326815, revisions=(1054877,useless=744766), ccks=657800, wck=1.547, mem=142M778
8.02/4.15 decisions=12756, wrong=4484, backtracks=2553, failedAssignments=2864, nogoods=1227, foundSolutions=101, bestBound=196
8.02/4.15
8.02/4.15 num=275, depth=4..12, filters=327776, revisions=(1057919,useless=746920), ccks=659583, wck=1.551, mem=142M778
8.02/4.15 decisions=12800, wrong=4504, backtracks=2564, failedAssignments=2875, nogoods=1230, foundSolutions=101, bestBound=196
8.02/4.15
8.02/4.16 num=276, depth=3..10, filters=329274, revisions=(1062837,useless=750426), ccks=662308, wck=1.556, mem=142M778
8.02/4.16 decisions=12845, wrong=4524, backtracks=2576, failedAssignments=2887, nogoods=1232, foundSolutions=101, bestBound=196
8.02/4.16
8.02/4.16 num=277, depth=2..9, filters=330943, revisions=(1068022,useless=754041), ccks=665313, wck=1.562, mem=142M778
8.02/4.16 decisions=12908, wrong=4552, backtracks=2593, failedAssignments=2900, nogoods=1235, foundSolutions=101, bestBound=196
8.02/4.16
8.02/4.17 o 195
8.02/4.17 num=278, depth=10..119, filters=331655, revisions=(1070502,useless=755812), ccks=667200, wck=1.565, mem=142M778
8.02/4.17 decisions=12929, wrong=4553, backtracks=2593, failedAssignments=2901, nogoods=1236, foundSolutions=102, bestBound=195
8.02/4.17
8.02/4.17 o 194
8.02/4.17 num=279, depth=121..119, filters=332311, revisions=(1072847,useless=757500), ccks=668825, wck=1.568, mem=142M778
8.02/4.17 decisions=12947, wrong=4553, backtracks=2593, failedAssignments=2901, nogoods=1236, foundSolutions=103, bestBound=194
8.02/4.17
8.02/4.17 o 193
8.02/4.17 num=280, depth=121..119, filters=333071, revisions=(1075142,useless=759048), ccks=670853, wck=1.571, mem=142M778
8.02/4.17 decisions=12967, wrong=4553, backtracks=2593, failedAssignments=2901, nogoods=1236, foundSolutions=104, bestBound=193
8.02/4.17
8.02/4.17 o 192
8.02/4.17 num=281, depth=121..119, filters=333692, revisions=(1077476,useless=760761), ccks=672553, wck=1.574, mem=142M778
8.02/4.17 decisions=12984, wrong=4553, backtracks=2593, failedAssignments=2901, nogoods=1236, foundSolutions=105, bestBound=192
8.02/4.17
8.02/4.18 o 191
8.02/4.18 num=282, depth=121..119, filters=334462, revisions=(1079762,useless=762286), ccks=674379, wck=1.576, mem=142M778
8.02/4.18 decisions=13005, wrong=4553, backtracks=2593, failedAssignments=2901, nogoods=1236, foundSolutions=106, bestBound=191
8.02/4.18
8.02/4.18 o 190
8.02/4.18 num=283, depth=8..119, filters=336159, revisions=(1084736,useless=765606), ccks=677450, wck=1.582, mem=142M778
8.02/4.18 decisions=13055, wrong=4566, backtracks=2600, failedAssignments=2910, nogoods=1241, foundSolutions=107, bestBound=190
8.02/4.18
8.02/4.19 o 189
8.02/4.19 num=284, depth=121..119, filters=336935, revisions=(1087033,useless=767134), ccks=679244, wck=1.585, mem=142M778
8.02/4.19 decisions=13076, wrong=4566, backtracks=2600, failedAssignments=2910, nogoods=1241, foundSolutions=108, bestBound=189
8.02/4.19
8.02/4.19 o 188
8.02/4.19 num=285, depth=11..119, filters=337766, revisions=(1089689,useless=768973), ccks=681188, wck=1.589, mem=142M778
8.02/4.19 decisions=13109, wrong=4569, backtracks=2601, failedAssignments=2912, nogoods=1243, foundSolutions=109, bestBound=188
8.02/4.19
8.02/4.19 o 187
8.02/4.19 num=286, depth=6..119, filters=338569, revisions=(1092077,useless=770568), ccks=682951, wck=1.593, mem=142M778
8.02/4.19 decisions=13134, wrong=4571, backtracks=2601, failedAssignments=2914, nogoods=1245, foundSolutions=110, bestBound=187
8.02/4.19
8.12/4.21 o 186
8.12/4.21 num=287, depth=121..119, filters=339270, revisions=(1094330,useless=772132), ccks=684488, wck=1.612, mem=24M761
8.12/4.21 decisions=13159, wrong=4571, backtracks=2601, failedAssignments=2914, nogoods=1245, foundSolutions=111, bestBound=186
8.12/4.21
8.12/4.22 o 185
8.12/4.22 num=288, depth=121..119, filters=340045, revisions=(1096738,useless=773767), ccks=686165, wck=1.614, mem=24M761
8.12/4.22 decisions=13177, wrong=4571, backtracks=2601, failedAssignments=2914, nogoods=1245, foundSolutions=112, bestBound=185
8.12/4.22
8.12/4.22 o 184
8.12/4.22 num=289, depth=121..119, filters=340747, revisions=(1098943,useless=775284), ccks=687706, wck=1.618, mem=24M761
8.12/4.22 decisions=13206, wrong=4571, backtracks=2601, failedAssignments=2914, nogoods=1245, foundSolutions=113, bestBound=184
8.12/4.22
8.12/4.22 o 183
8.12/4.22 num=290, depth=121..119, filters=341535, revisions=(1101401,useless=776949), ccks=689360, wck=1.62, mem=24M761
8.12/4.22 decisions=13223, wrong=4571, backtracks=2601, failedAssignments=2914, nogoods=1245, foundSolutions=114, bestBound=183
8.12/4.22
8.12/4.22 o 182
8.12/4.22 num=291, depth=121..119, filters=342208, revisions=(1103630,useless=778520), ccks=690898, wck=1.624, mem=24M761
8.12/4.22 decisions=13248, wrong=4571, backtracks=2601, failedAssignments=2914, nogoods=1245, foundSolutions=115, bestBound=182
8.12/4.22
8.12/4.23 o 181
8.12/4.23 num=292, depth=121..119, filters=342981, revisions=(1106036,useless=780143), ccks=692578, wck=1.626, mem=24M761
8.12/4.23 decisions=13268, wrong=4571, backtracks=2601, failedAssignments=2914, nogoods=1245, foundSolutions=116, bestBound=181
8.12/4.23
8.12/4.23 o 180
8.12/4.23 num=293, depth=10..119, filters=343959, revisions=(1109543,useless=782692), ccks=694638, wck=1.63, mem=24M761
8.12/4.23 decisions=13301, wrong=4577, backtracks=2605, failedAssignments=2916, nogoods=1246, foundSolutions=117, bestBound=180
8.12/4.23
8.12/4.23 o 179
8.12/4.23 num=294, depth=7..119, filters=344736, revisions=(1112089,useless=784450), ccks=696453, wck=1.633, mem=24M761
8.12/4.23 decisions=13320, wrong=4578, backtracks=2605, failedAssignments=2917, nogoods=1247, foundSolutions=118, bestBound=179
8.12/4.23
8.12/4.24 o 178
8.12/4.24 num=295, depth=11..119, filters=345825, revisions=(1115555,useless=786849), ccks=698782, wck=1.637, mem=24M761
8.12/4.24 decisions=13350, wrong=4584, backtracks=2608, failedAssignments=2921, nogoods=1250, foundSolutions=119, bestBound=178
8.12/4.24
8.12/4.24 o 177
8.12/4.24 num=296, depth=121..119, filters=346558, revisions=(1118095,useless=788643), ccks=700593, wck=1.64, mem=24M761
8.12/4.24 decisions=13364, wrong=4584, backtracks=2608, failedAssignments=2921, nogoods=1250, foundSolutions=120, bestBound=177
8.12/4.24
8.12/4.24 num=297, depth=7..13, filters=347857, revisions=(1121545,useless=790853), ccks=702352, wck=1.644, mem=24M761
8.12/4.24 decisions=13404, wrong=4600, backtracks=2616, failedAssignments=2932, nogoods=1253, foundSolutions=120, bestBound=177
8.12/4.24
8.12/4.25 num=298, depth=3..6, filters=348919, revisions=(1124422,useless=792731), ccks=704146, wck=1.647, mem=24M761
8.12/4.25 decisions=13442, wrong=4617, backtracks=2624, failedAssignments=2943, nogoods=1259, foundSolutions=120, bestBound=177
8.12/4.25
8.12/4.25 num=299, depth=4..10, filters=351940, revisions=(1130509,useless=795866), ccks=708022, wck=1.653, mem=24M761
8.12/4.25 decisions=13493, wrong=4640, backtracks=2640, failedAssignments=2955, nogoods=1264, foundSolutions=120, bestBound=177
8.12/4.25
8.12/4.26 num=300, depth=2..10, filters=353091, revisions=(1133950,useless=798216), ccks=709978, wck=1.657, mem=24M761
8.12/4.26 decisions=13539, wrong=4659, backtracks=2650, failedAssignments=2968, nogoods=1270, foundSolutions=120, bestBound=177
8.12/4.26
8.12/4.26 num=301, depth=3..10, filters=354557, revisions=(1137621,useless=800511), ccks=712296, wck=1.661, mem=24M761
8.12/4.26 decisions=13592, wrong=4684, backtracks=2665, failedAssignments=2982, nogoods=1275, foundSolutions=120, bestBound=177
8.12/4.26
8.12/4.27 num=302, depth=4..11, filters=356629, revisions=(1143206,useless=804172), ccks=715755, wck=1.667, mem=27M351
8.12/4.27 decisions=13662, wrong=4717, backtracks=2687, failedAssignments=2998, nogoods=1280, foundSolutions=120, bestBound=177
8.12/4.27
8.12/4.28 num=303, depth=3..12, filters=359641, revisions=(1150313,useless=808359), ccks=719766, wck=1.674, mem=27M351
8.12/4.28 decisions=13717, wrong=4743, backtracks=2705, failedAssignments=3015, nogoods=1284, foundSolutions=120, bestBound=177
8.12/4.28
8.12/4.28 num=304, depth=3..10, filters=361850, revisions=(1156136,useless=812114), ccks=723424, wck=1.68, mem=27M351
8.12/4.28 decisions=13786, wrong=4776, backtracks=2728, failedAssignments=3034, nogoods=1287, foundSolutions=120, bestBound=177
8.12/4.28
8.12/4.29 num=305, depth=3..8, filters=366044, revisions=(1164757,useless=816722), ccks=729271, wck=1.689, mem=27M351
8.12/4.29 decisions=13870, wrong=4816, backtracks=2754, failedAssignments=3055, nogoods=1293, foundSolutions=120, bestBound=177
8.12/4.29
8.26/4.30 num=306, depth=4..14, filters=369402, revisions=(1173304,useless=822067), ccks=733926, wck=1.698, mem=27M351
8.26/4.30 decisions=13958, wrong=4857, backtracks=2778, failedAssignments=3078, nogoods=1297, foundSolutions=120, bestBound=177
8.26/4.30
8.26/4.31 num=307, depth=3..12, filters=372776, revisions=(1181948,useless=827545), ccks=738862, wck=1.707, mem=27M351
8.26/4.31 decisions=14047, wrong=4899, backtracks=2806, failedAssignments=3103, nogoods=1304, foundSolutions=120, bestBound=177
8.26/4.31
8.26/4.32 num=308, depth=2..9, filters=375361, revisions=(1189571,useless=832738), ccks=743222, wck=1.714, mem=27M351
8.26/4.32 decisions=14134, wrong=4941, backtracks=2834, failedAssignments=3131, nogoods=1310, foundSolutions=120, bestBound=177
8.26/4.32
8.26/4.33 num=309, depth=2..16, filters=378926, revisions=(1200044,useless=839815), ccks=748338, wck=1.725, mem=29M940
8.26/4.33 decisions=14239, wrong=4988, backtracks=2862, failedAssignments=3162, nogoods=1323, foundSolutions=120, bestBound=177
8.26/4.33
8.26/4.33 num=310, depth=1..7, filters=381084, revisions=(1208425,useless=846226), ccks=752891, wck=1.733, mem=29M940
8.26/4.33 decisions=14354, wrong=5044, backtracks=2893, failedAssignments=3196, nogoods=1329, foundSolutions=120, bestBound=177
8.26/4.33
8.26/4.34 o 176
8.26/4.34 num=311, depth=4..119, filters=382226, revisions=(1212245,useless=848925), ccks=755466, wck=1.738, mem=29M940
8.26/4.34 decisions=14396, wrong=5058, backtracks=2894, failedAssignments=3209, nogoods=1342, foundSolutions=121, bestBound=176
8.26/4.34
8.26/4.35 num=312, depth=3..11, filters=385839, revisions=(1222297,useless=855581), ccks=761237, wck=1.748, mem=29M940
8.26/4.35 decisions=14514, wrong=5114, backtracks=2927, failedAssignments=3250, nogoods=1348, foundSolutions=121, bestBound=176
8.26/4.35
8.26/4.35 num=313, depth=2..6, filters=386754, revisions=(1225089,useless=857515), ccks=762923, wck=1.751, mem=29M940
8.26/4.35 decisions=14550, wrong=5131, backtracks=2935, failedAssignments=3261, nogoods=1353, foundSolutions=121, bestBound=176
8.26/4.35
8.26/4.36 o 175
8.26/4.36 num=314, depth=5..119, filters=388416, revisions=(1229130,useless=859923), ccks=765774, wck=1.756, mem=29M940
8.26/4.36 decisions=14587, wrong=5140, backtracks=2938, failedAssignments=3268, nogoods=1359, foundSolutions=122, bestBound=175
8.26/4.36
8.26/4.36 num=315, depth=3..8, filters=390056, revisions=(1233590,useless=862844), ccks=768401, wck=1.76, mem=29M940
8.26/4.36 decisions=14636, wrong=5162, backtracks=2952, failedAssignments=3281, nogoods=1364, foundSolutions=122, bestBound=175
8.26/4.36
8.26/4.36 num=316, depth=2..6, filters=391455, revisions=(1236996,useless=864900), ccks=770356, wck=1.764, mem=29M940
8.26/4.36 decisions=14670, wrong=5177, backtracks=2958, failedAssignments=3292, nogoods=1369, foundSolutions=122, bestBound=175
8.26/4.36
8.26/4.37 num=317, depth=1..8, filters=392636, revisions=(1240601,useless=867377), ccks=772268, wck=1.768, mem=29M940
8.26/4.37 decisions=14709, wrong=5194, backtracks=2967, failedAssignments=3304, nogoods=1378, foundSolutions=122, bestBound=175
8.26/4.37
8.26/4.37 num=318, depth=1..5, filters=393415, revisions=(1243346,useless=869400), ccks=773774, wck=1.771, mem=29M940
8.26/4.37 decisions=14745, wrong=5211, backtracks=2977, failedAssignments=3317, nogoods=1385, foundSolutions=122, bestBound=175
8.26/4.37
8.26/4.38 num=319, depth=2..6, filters=394747, revisions=(1247528,useless=872337), ccks=775964, wck=1.774, mem=29M940
8.26/4.38 decisions=14792, wrong=5232, backtracks=2988, failedAssignments=3331, nogoods=1387, foundSolutions=122, bestBound=175
8.26/4.38
8.26/4.38 num=320, depth=3..10, filters=396867, revisions=(1253924,useless=876657), ccks=778595, wck=1.781, mem=29M940
8.26/4.38 decisions=14846, wrong=5257, backtracks=3004, failedAssignments=3347, nogoods=1394, foundSolutions=122, bestBound=175
8.26/4.38
8.26/4.39 num=321, depth=1..10, filters=399066, revisions=(1260211,useless=880875), ccks=782173, wck=1.787, mem=32M530
8.26/4.39 decisions=14915, wrong=5288, backtracks=3026, failedAssignments=3364, nogoods=1400, foundSolutions=122, bestBound=175
8.26/4.39
8.37/4.40 o 174
8.37/4.40 num=322, depth=2..119, filters=402340, revisions=(1269664,useless=887136), ccks=787533, wck=1.797, mem=32M530
8.37/4.40 decisions=14986, wrong=5317, backtracks=3043, failedAssignments=3382, nogoods=1413, foundSolutions=123, bestBound=174
8.37/4.40
8.37/4.41 num=323, depth=6..14, filters=404966, revisions=(1276921,useless=891905), ccks=791416, wck=1.804, mem=32M530
8.37/4.41 decisions=15066, wrong=5354, backtracks=3064, failedAssignments=3403, nogoods=1415, foundSolutions=123, bestBound=174
8.37/4.41
8.37/4.41 num=324, depth=3..14, filters=406299, revisions=(1279781,useless=893488), ccks=792974, wck=1.808, mem=32M530
8.37/4.41 decisions=15103, wrong=5368, backtracks=3068, failedAssignments=3414, nogoods=1426, foundSolutions=123, bestBound=174
8.37/4.41
8.37/4.41 num=325, depth=5..11, filters=407145, revisions=(1282239,useless=895168), ccks=794665, wck=1.811, mem=32M530
8.37/4.41 decisions=15142, wrong=5385, backtracks=3076, failedAssignments=3426, nogoods=1430, foundSolutions=123, bestBound=174
8.37/4.41
8.37/4.41 num=326, depth=3..13, filters=407717, revisions=(1284132,useless=896521), ccks=795562, wck=1.814, mem=32M530
8.37/4.41 decisions=15175, wrong=5399, backtracks=3077, failedAssignments=3439, nogoods=1443, foundSolutions=123, bestBound=174
8.37/4.41
8.37/4.42 num=327, depth=2..14, filters=410020, revisions=(1289676,useless=899879), ccks=798664, wck=1.82, mem=32M530
8.37/4.42 decisions=15235, wrong=5428, backtracks=3098, failedAssignments=3453, nogoods=1444, foundSolutions=123, bestBound=174
8.37/4.42
8.37/4.43 num=328, depth=3..19, filters=412653, revisions=(1295367,useless=902986), ccks=801430, wck=1.827, mem=32M530
8.37/4.43 decisions=15295, wrong=5451, backtracks=3110, failedAssignments=3469, nogoods=1454, foundSolutions=123, bestBound=174
8.37/4.43
8.37/4.43 num=329, depth=3..8, filters=414732, revisions=(1299692,useless=905348), ccks=804385, wck=1.832, mem=32M530
8.37/4.43 decisions=15353, wrong=5477, backtracks=3122, failedAssignments=3486, nogoods=1462, foundSolutions=123, bestBound=174
8.37/4.43
8.37/4.44 num=330, depth=1..13, filters=415920, revisions=(1303739,useless=908290), ccks=806754, wck=1.837, mem=32M530
8.37/4.44 decisions=15407, wrong=5500, backtracks=3132, failedAssignments=3505, nogoods=1471, foundSolutions=123, bestBound=174
8.37/4.44
8.37/4.45 num=331, depth=4..12, filters=419064, revisions=(1311519,useless=913118), ccks=811296, wck=1.844, mem=32M530
8.37/4.45 decisions=15488, wrong=5538, backtracks=3154, failedAssignments=3526, nogoods=1476, foundSolutions=123, bestBound=174
8.37/4.45
8.37/4.45 o 173
8.37/4.45 num=332, depth=2..119, filters=421340, revisions=(1316728,useless=916095), ccks=814635, wck=1.85, mem=35M120
8.37/4.45 decisions=15524, wrong=5547, backtracks=3160, failedAssignments=3531, nogoods=1478, foundSolutions=124, bestBound=173
8.37/4.45
8.37/4.46 num=333, depth=2..9, filters=424348, revisions=(1324257,useless=920779), ccks=819547, wck=1.858, mem=35M120
8.37/4.46 decisions=15604, wrong=5585, backtracks=3181, failedAssignments=3556, nogoods=1486, foundSolutions=124, bestBound=173
8.37/4.46
8.37/4.46 num=334, depth=4..11, filters=424998, revisions=(1326554,useless=922460), ccks=820621, wck=1.86, mem=35M120
8.37/4.46 decisions=15633, wrong=5597, backtracks=3183, failedAssignments=3567, nogoods=1497, foundSolutions=124, bestBound=173
8.37/4.46
8.37/4.47 num=335, depth=5..11, filters=427510, revisions=(1331632,useless=925151), ccks=823711, wck=1.866, mem=35M120
8.37/4.47 decisions=15685, wrong=5620, backtracks=3196, failedAssignments=3579, nogoods=1501, foundSolutions=124, bestBound=173
8.37/4.47
8.37/4.47 num=336, depth=2..10, filters=429656, revisions=(1336063,useless=927454), ccks=825968, wck=1.871, mem=35M120
8.37/4.47 decisions=15729, wrong=5641, backtracks=3212, failedAssignments=3592, nogoods=1502, foundSolutions=124, bestBound=173
8.37/4.47
8.37/4.48 num=337, depth=4..11, filters=430705, revisions=(1339055,useless=929454), ccks=827592, wck=1.875, mem=35M120
8.37/4.48 decisions=15769, wrong=5659, backtracks=3223, failedAssignments=3606, nogoods=1504, foundSolutions=124, bestBound=173
8.37/4.48
8.37/4.48 o 172
8.37/4.48 num=338, depth=5..119, filters=431608, revisions=(1341777,useless=931289), ccks=829373, wck=1.879, mem=35M120
8.37/4.48 decisions=15801, wrong=5668, backtracks=3223, failedAssignments=3615, nogoods=1513, foundSolutions=125, bestBound=172
8.37/4.48
8.37/4.48 num=339, depth=4..12, filters=432873, revisions=(1345473,useless=933798), ccks=831642, wck=1.883, mem=35M120
8.37/4.48 decisions=15848, wrong=5689, backtracks=3234, failedAssignments=3632, nogoods=1517, foundSolutions=125, bestBound=172
8.37/4.48
8.37/4.49 num=340, depth=8..13, filters=434594, revisions=(1350175,useless=936867), ccks=834015, wck=1.888, mem=35M120
8.37/4.49 decisions=15904, wrong=5711, backtracks=3248, failedAssignments=3643, nogoods=1523, foundSolutions=125, bestBound=172
8.37/4.49
8.37/4.49 o 171
8.37/4.49 num=341, depth=8..119, filters=435515, revisions=(1352913,useless=938692), ccks=835870, wck=1.892, mem=35M120
8.37/4.49 decisions=15923, wrong=5712, backtracks=3248, failedAssignments=3644, nogoods=1524, foundSolutions=126, bestBound=171
8.37/4.49
8.48/4.50 num=342, depth=3..9, filters=436825, revisions=(1356729,useless=941267), ccks=838359, wck=1.896, mem=35M120
8.48/4.50 decisions=15969, wrong=5733, backtracks=3261, failedAssignments=3657, nogoods=1526, foundSolutions=126, bestBound=171
8.48/4.50
8.48/4.50 num=343, depth=4..11, filters=438496, revisions=(1361008,useless=943970), ccks=840833, wck=1.901, mem=35M120
8.48/4.50 decisions=16018, wrong=5755, backtracks=3275, failedAssignments=3668, nogoods=1529, foundSolutions=126, bestBound=171
8.48/4.50
8.48/4.51 o 170
8.48/4.51 num=344, depth=2..119, filters=441325, revisions=(1366674,useless=946854), ccks=844761, wck=1.907, mem=37M709
8.48/4.51 decisions=16055, wrong=5766, backtracks=3283, failedAssignments=3675, nogoods=1530, foundSolutions=127, bestBound=170
8.48/4.51
8.48/4.51 num=345, depth=3..9, filters=442331, revisions=(1369577,useless=948817), ccks=846575, wck=1.91, mem=37M709
8.48/4.51 decisions=16092, wrong=5783, backtracks=3289, failedAssignments=3688, nogoods=1533, foundSolutions=127, bestBound=170
8.48/4.51
8.48/4.52 num=346, depth=2..8, filters=443942, revisions=(1374197,useless=951930), ccks=849095, wck=1.915, mem=37M709
8.48/4.52 decisions=16144, wrong=5807, backtracks=3308, failedAssignments=3699, nogoods=1541, foundSolutions=127, bestBound=170
8.48/4.52
8.48/4.52 o 169
8.48/4.52 num=347, depth=6..119, filters=444918, revisions=(1376765,useless=953547), ccks=851167, wck=1.919, mem=37M709
8.48/4.52 decisions=16173, wrong=5813, backtracks=3308, failedAssignments=3705, nogoods=1547, foundSolutions=128, bestBound=169
8.48/4.52
8.48/4.52 num=348, depth=2..8, filters=446074, revisions=(1380173,useless=955871), ccks=853036, wck=1.923, mem=37M709
8.48/4.52 decisions=16212, wrong=5830, backtracks=3316, failedAssignments=3718, nogoods=1554, foundSolutions=128, bestBound=169
8.48/4.52
8.48/4.53 num=349, depth=2..6, filters=447527, revisions=(1383446,useless=957760), ccks=855015, wck=1.926, mem=37M709
8.48/4.53 decisions=16248, wrong=5847, backtracks=3328, failedAssignments=3729, nogoods=1559, foundSolutions=128, bestBound=169
8.48/4.53
8.48/4.53 num=350, depth=3..10, filters=450740, revisions=(1389285,useless=960443), ccks=858617, wck=1.932, mem=37M709
8.48/4.53 decisions=16288, wrong=5864, backtracks=3340, failedAssignments=3741, nogoods=1563, foundSolutions=128, bestBound=169
8.48/4.53
8.48/4.54 o 168
8.48/4.54 num=351, depth=121..119, filters=451651, revisions=(1391624,useless=961886), ccks=860568, wck=1.935, mem=37M709
8.48/4.54 decisions=16305, wrong=5864, backtracks=3340, failedAssignments=3741, nogoods=1563, foundSolutions=129, bestBound=168
8.48/4.54
8.48/4.54 num=352, depth=1..10, filters=453825, revisions=(1397177,useless=965382), ccks=863856, wck=1.941, mem=37M709
8.48/4.54 decisions=16364, wrong=5892, backtracks=3360, failedAssignments=3755, nogoods=1570, foundSolutions=129, bestBound=168
8.48/4.54
8.48/4.55 num=353, depth=3..10, filters=457126, revisions=(1403542,useless=968519), ccks=867429, wck=1.948, mem=37M709
8.48/4.55 decisions=16413, wrong=5913, backtracks=3372, failedAssignments=3766, nogoods=1576, foundSolutions=129, bestBound=168
8.48/4.55
8.48/4.55 num=354, depth=2..8, filters=458609, revisions=(1407034,useless=970616), ccks=869764, wck=1.952, mem=37M709
8.48/4.55 decisions=16458, wrong=5934, backtracks=3385, failedAssignments=3778, nogoods=1579, foundSolutions=129, bestBound=168
8.48/4.55
8.48/4.56 num=355, depth=3..13, filters=460451, revisions=(1410954,useless=972764), ccks=872159, wck=1.956, mem=37M709
8.48/4.56 decisions=16493, wrong=5950, backtracks=3396, failedAssignments=3791, nogoods=1581, foundSolutions=129, bestBound=168
8.48/4.56
8.48/4.56 num=356, depth=4..11, filters=462556, revisions=(1415579,useless=975368), ccks=875253, wck=1.961, mem=37M709
8.48/4.56 decisions=16541, wrong=5971, backtracks=3405, failedAssignments=3805, nogoods=1584, foundSolutions=129, bestBound=168
8.48/4.56
8.48/4.56 o 167
8.48/4.56 num=357, depth=121..119, filters=463354, revisions=(1418163,useless=977130), ccks=876978, wck=1.964, mem=40M299
8.48/4.56 decisions=16552, wrong=5971, backtracks=3405, failedAssignments=3805, nogoods=1584, foundSolutions=130, bestBound=167
8.48/4.56
8.48/4.57 num=358, depth=2..6, filters=465391, revisions=(1425111,useless=982175), ccks=880546, wck=1.97, mem=40M299
8.48/4.57 decisions=16617, wrong=6001, backtracks=3425, failedAssignments=3822, nogoods=1587, foundSolutions=130, bestBound=167
8.48/4.57
8.48/4.57 o 166
8.48/4.57 num=359, depth=121..119, filters=466306, revisions=(1427411,useless=983577), ccks=882304, wck=1.973, mem=40M299
8.48/4.57 decisions=16636, wrong=6001, backtracks=3425, failedAssignments=3822, nogoods=1587, foundSolutions=131, bestBound=166
8.48/4.57
8.48/4.58 num=360, depth=2..8, filters=468299, revisions=(1431816,useless=986088), ccks=884990, wck=1.977, mem=40M299
8.48/4.58 decisions=16683, wrong=6023, backtracks=3439, failedAssignments=3834, nogoods=1594, foundSolutions=131, bestBound=166
8.48/4.58
8.48/4.58 num=361, depth=3..9, filters=469298, revisions=(1434498,useless=987833), ccks=886707, wck=1.98, mem=40M299
8.48/4.58 decisions=16719, wrong=6039, backtracks=3447, failedAssignments=3845, nogoods=1597, foundSolutions=131, bestBound=166
8.48/4.58
8.48/4.58 num=362, depth=3..12, filters=470747, revisions=(1438161,useless=990122), ccks=888700, wck=1.984, mem=40M299
8.48/4.58 decisions=16759, wrong=6056, backtracks=3454, failedAssignments=3857, nogoods=1606, foundSolutions=131, bestBound=166
8.48/4.58
8.48/4.59 num=363, depth=3..7, filters=473618, revisions=(1444124,useless=993340), ccks=892742, wck=1.99, mem=40M299
8.48/4.59 decisions=16813, wrong=6081, backtracks=3468, failedAssignments=3870, nogoods=1611, foundSolutions=131, bestBound=166
8.48/4.59
8.48/4.59 o 165
8.48/4.59 num=364, depth=5..119, filters=474430, revisions=(1446630,useless=995022), ccks=894543, wck=1.992, mem=40M299
8.48/4.59 decisions=16831, wrong=6082, backtracks=3468, failedAssignments=3871, nogoods=1612, foundSolutions=132, bestBound=165
8.48/4.59
8.60/4.60 num=365, depth=2..9, filters=477228, revisions=(1453491,useless=999223), ccks=899003, wck=1.999, mem=40M299
8.60/4.60 decisions=16895, wrong=6113, backtracks=3491, failedAssignments=3887, nogoods=1615, foundSolutions=132, bestBound=165
8.60/4.60
8.60/4.60 num=366, depth=2..8, filters=478320, revisions=(1456398,useless=1001106), ccks=900736, wck=2.002, mem=40M299
8.60/4.60 decisions=16931, wrong=6130, backtracks=3501, failedAssignments=3898, nogoods=1617, foundSolutions=132, bestBound=165
8.60/4.60
8.60/4.61 num=367, depth=3..8, filters=479561, revisions=(1459771,useless=1003311), ccks=902595, wck=2.006, mem=40M299
8.60/4.61 decisions=16980, wrong=6153, backtracks=3515, failedAssignments=3910, nogoods=1619, foundSolutions=132, bestBound=165
8.60/4.61
8.60/4.61 num=368, depth=1..7, filters=480944, revisions=(1463589,useless=1005825), ccks=904978, wck=2.01, mem=40M299
8.60/4.61 decisions=17026, wrong=6174, backtracks=3526, failedAssignments=3923, nogoods=1624, foundSolutions=132, bestBound=165
8.60/4.61
8.60/4.62 num=369, depth=3..10, filters=482355, revisions=(1467912,useless=1008810), ccks=907207, wck=2.015, mem=40M299
8.60/4.62 decisions=17074, wrong=6194, backtracks=3537, failedAssignments=3937, nogoods=1631, foundSolutions=132, bestBound=165
8.60/4.62
8.60/4.62 num=370, depth=5..12, filters=485472, revisions=(1476720,useless=1014629), ccks=911462, wck=2.023, mem=42M889
8.60/4.62 decisions=17145, wrong=6227, backtracks=3560, failedAssignments=3953, nogoods=1639, foundSolutions=132, bestBound=165
8.60/4.62
8.60/4.63 o 164
8.60/4.63 num=371, depth=121..119, filters=486268, revisions=(1479216,useless=1016318), ccks=913195, wck=2.026, mem=42M889
8.60/4.63 decisions=17159, wrong=6227, backtracks=3560, failedAssignments=3953, nogoods=1639, foundSolutions=133, bestBound=164
8.60/4.63
8.60/4.63 num=372, depth=1..10, filters=488942, revisions=(1486243,useless=1020807), ccks=917555, wck=2.033, mem=42M889
8.60/4.63 decisions=17227, wrong=6259, backtracks=3578, failedAssignments=3972, nogoods=1646, foundSolutions=133, bestBound=164
8.60/4.63
8.60/4.64 num=373, depth=3..6, filters=490349, revisions=(1489719,useless=1022961), ccks=919601, wck=2.036, mem=42M889
8.60/4.64 decisions=17265, wrong=6276, backtracks=3589, failedAssignments=3983, nogoods=1649, foundSolutions=133, bestBound=164
8.60/4.64
8.60/4.64 num=374, depth=2..8, filters=491938, revisions=(1494493,useless=1026234), ccks=922269, wck=2.041, mem=42M889
8.60/4.64 decisions=17315, wrong=6300, backtracks=3605, failedAssignments=3995, nogoods=1653, foundSolutions=133, bestBound=164
8.60/4.64
8.60/4.65 num=375, depth=2..8, filters=493545, revisions=(1498812,useless=1029048), ccks=924760, wck=2.045, mem=42M889
8.60/4.65 decisions=17369, wrong=6325, backtracks=3621, failedAssignments=4008, nogoods=1659, foundSolutions=133, bestBound=164
8.60/4.65
8.60/4.65 num=376, depth=2..9, filters=495579, revisions=(1503581,useless=1031896), ccks=927630, wck=2.05, mem=42M889
8.60/4.65 decisions=17416, wrong=6347, backtracks=3637, failedAssignments=4022, nogoods=1662, foundSolutions=133, bestBound=164
8.60/4.65
8.60/4.65 o 163
8.60/4.65 num=377, depth=121..119, filters=496362, revisions=(1506106,useless=1033630), ccks=929336, wck=2.053, mem=42M889
8.60/4.65 decisions=17428, wrong=6347, backtracks=3637, failedAssignments=4022, nogoods=1662, foundSolutions=134, bestBound=163
8.60/4.65
8.60/4.66 num=378, depth=1..11, filters=498301, revisions=(1511371,useless=1037042), ccks=932508, wck=2.059, mem=42M889
8.60/4.66 decisions=17490, wrong=6375, backtracks=3654, failedAssignments=4039, nogoods=1667, foundSolutions=134, bestBound=163
8.60/4.66
8.60/4.66 num=379, depth=3..14, filters=499836, revisions=(1514629,useless=1038821), ccks=934624, wck=2.062, mem=42M889
8.60/4.66 decisions=17522, wrong=6389, backtracks=3658, failedAssignments=4050, nogoods=1677, foundSolutions=134, bestBound=163
8.60/4.66
8.60/4.67 num=380, depth=2..15, filters=501438, revisions=(1518339,useless=1040976), ccks=936786, wck=2.067, mem=42M889
8.60/4.67 decisions=17566, wrong=6410, backtracks=3674, failedAssignments=4062, nogoods=1681, foundSolutions=134, bestBound=163
8.60/4.67
8.60/4.67 num=381, depth=2..13, filters=503463, revisions=(1522269,useless=1042931), ccks=939143, wck=2.071, mem=42M889
8.60/4.67 decisions=17602, wrong=6427, backtracks=3688, failedAssignments=4075, nogoods=1682, foundSolutions=134, bestBound=163
8.60/4.67
8.60/4.68 num=382, depth=2..7, filters=505895, revisions=(1527462,useless=1045811), ccks=942369, wck=2.077, mem=45M479
8.60/4.68 decisions=17656, wrong=6452, backtracks=3705, failedAssignments=4089, nogoods=1687, foundSolutions=134, bestBound=163
8.60/4.68
8.60/4.68 num=383, depth=3..7, filters=508730, revisions=(1534024,useless=1049687), ccks=946429, wck=2.084, mem=45M479
8.60/4.68 decisions=17713, wrong=6479, backtracks=3721, failedAssignments=4105, nogoods=1691, foundSolutions=134, bestBound=163
8.60/4.68
8.60/4.69 o 162
8.60/4.69 num=384, depth=121..119, filters=509651, revisions=(1536378,useless=1051130), ccks=948327, wck=2.087, mem=46M800
8.60/4.69 decisions=17730, wrong=6479, backtracks=3721, failedAssignments=4105, nogoods=1691, foundSolutions=135, bestBound=162
8.60/4.69
8.60/4.70 num=385, depth=1..9, filters=513080, revisions=(1543609,useless=1055055), ccks=952695, wck=2.095, mem=46M800
8.60/4.70 decisions=17791, wrong=6507, backtracks=3738, failedAssignments=4124, nogoods=1697, foundSolutions=135, bestBound=162
8.60/4.70
8.71/4.70 num=386, depth=4..12, filters=514579, revisions=(1547149,useless=1057177), ccks=954865, wck=2.099, mem=46M800
8.71/4.70 decisions=17831, wrong=6525, backtracks=3750, failedAssignments=4135, nogoods=1701, foundSolutions=135, bestBound=162
8.71/4.70
8.71/4.70 num=387, depth=2..8, filters=516048, revisions=(1550701,useless=1059346), ccks=957028, wck=2.103, mem=46M800
8.71/4.70 decisions=17876, wrong=6546, backtracks=3761, failedAssignments=4147, nogoods=1704, foundSolutions=135, bestBound=162
8.71/4.70
8.71/4.71 num=388, depth=2..16, filters=518580, revisions=(1556548,useless=1062742), ccks=960310, wck=2.11, mem=46M800
8.71/4.71 decisions=17935, wrong=6573, backtracks=3780, failedAssignments=4160, nogoods=1711, foundSolutions=135, bestBound=162
8.71/4.71
8.71/4.72 num=389, depth=1..8, filters=520352, revisions=(1560581,useless=1065084), ccks=962912, wck=2.114, mem=46M800
8.71/4.72 decisions=17981, wrong=6595, backtracks=3793, failedAssignments=4174, nogoods=1713, foundSolutions=135, bestBound=162
8.71/4.72
8.71/4.72 num=390, depth=1..11, filters=522407, revisions=(1565710,useless=1068268), ccks=966153, wck=2.12, mem=46M800
8.71/4.72 decisions=18035, wrong=6619, backtracks=3809, failedAssignments=4190, nogoods=1718, foundSolutions=135, bestBound=162
8.71/4.72
8.71/4.73 num=391, depth=1..9, filters=524955, revisions=(1572547,useless=1072690), ccks=969751, wck=2.126, mem=46M800
8.71/4.73 decisions=18104, wrong=6653, backtracks=3833, failedAssignments=4207, nogoods=1721, foundSolutions=135, bestBound=162
8.71/4.73
8.71/4.73 num=392, depth=3..13, filters=527339, revisions=(1578659,useless=1076476), ccks=972712, wck=2.133, mem=49M389
8.71/4.73 decisions=18161, wrong=6680, backtracks=3855, failedAssignments=4226, nogoods=1725, foundSolutions=135, bestBound=162
8.71/4.73
8.71/4.74 num=393, depth=1..9, filters=528422, revisions=(1582263,useless=1079078), ccks=975178, wck=2.137, mem=49M389
8.71/4.74 decisions=18223, wrong=6710, backtracks=3871, failedAssignments=4247, nogoods=1728, foundSolutions=135, bestBound=162
8.71/4.74
8.71/4.74 o 161
8.71/4.74 num=394, depth=121..119, filters=529338, revisions=(1584600,useless=1080504), ccks=977063, wck=2.139, mem=49M389
8.71/4.74 decisions=18241, wrong=6710, backtracks=3871, failedAssignments=4247, nogoods=1728, foundSolutions=136, bestBound=161
8.71/4.74
8.71/4.75 num=395, depth=2..12, filters=534162, revisions=(1594038,useless=1085182), ccks=982342, wck=2.15, mem=49M389
8.71/4.75 decisions=18327, wrong=6750, backtracks=3898, failedAssignments=4272, nogoods=1737, foundSolutions=136, bestBound=161
8.71/4.75
8.71/4.76 num=396, depth=12..16, filters=535589, revisions=(1598014,useless=1087783), ccks=984252, wck=2.155, mem=49M389
8.71/4.76 decisions=18373, wrong=6767, backtracks=3909, failedAssignments=4283, nogoods=1742, foundSolutions=136, bestBound=161
8.71/4.76
8.71/4.76 num=397, depth=1..11, filters=537177, revisions=(1601661,useless=1089902), ccks=986236, wck=2.159, mem=49M389
8.71/4.76 decisions=18414, wrong=6785, backtracks=3921, failedAssignments=4295, nogoods=1745, foundSolutions=136, bestBound=161
8.71/4.76
8.71/4.77 num=398, depth=1..9, filters=540452, revisions=(1607417,useless=1092464), ccks=990134, wck=2.165, mem=49M389
8.71/4.77 decisions=18459, wrong=6807, backtracks=3937, failedAssignments=4308, nogoods=1746, foundSolutions=136, bestBound=161
8.71/4.77
8.71/4.77 num=399, depth=1..10, filters=544262, revisions=(1614822,useless=1096114), ccks=994392, wck=2.173, mem=49M389
8.71/4.77 decisions=18513, wrong=6831, backtracks=3951, failedAssignments=4322, nogoods=1755, foundSolutions=136, bestBound=161
8.71/4.77
8.71/4.78 num=400, depth=2..15, filters=546702, revisions=(1620666,useless=1099644), ccks=997922, wck=2.179, mem=49M389
8.71/4.78 decisions=18581, wrong=6861, backtracks=3968, failedAssignments=4338, nogoods=1760, foundSolutions=136, bestBound=161
8.71/4.78
8.71/4.78 o 160
8.71/4.78 num=401, depth=121..119, filters=547622, revisions=(1623023,useless=1101089), ccks=999811, wck=2.182, mem=49M389
8.71/4.78 decisions=18598, wrong=6861, backtracks=3968, failedAssignments=4338, nogoods=1760, foundSolutions=137, bestBound=160
8.71/4.78
8.71/4.79 num=402, depth=1..19, filters=549902, revisions=(1628167,useless=1104052), ccks=1002814, wck=2.188, mem=49M389
8.71/4.79 decisions=18665, wrong=6894, backtracks=3991, failedAssignments=4357, nogoods=1762, foundSolutions=137, bestBound=160
8.71/4.79
8.71/4.79 num=403, depth=0..7, filters=550418, revisions=(1630293,useless=1105707), ccks=1003780, wck=2.191, mem=49M389
8.71/4.79 decisions=18700, wrong=6909, backtracks=3999, failedAssignments=4368, nogoods=1765, foundSolutions=137, bestBound=160
8.71/4.79
8.82/4.80 num=404, depth=1..11, filters=552468, revisions=(1636336,useless=1109810), ccks=1007031, wck=2.198, mem=51M979
8.82/4.80 decisions=18763, wrong=6940, backtracks=4023, failedAssignments=4380, nogoods=1766, foundSolutions=137, bestBound=160
8.82/4.80
8.82/4.80 num=405, depth=3..14, filters=554137, revisions=(1640587,useless=1112482), ccks=1009477, wck=2.203, mem=51M979
8.82/4.80 decisions=18814, wrong=6963, backtracks=4040, failedAssignments=4393, nogoods=1770, foundSolutions=137, bestBound=160
8.82/4.80
8.82/4.81 num=406, depth=1..11, filters=557747, revisions=(1647678,useless=1116014), ccks=1013629, wck=2.21, mem=51M979
8.82/4.81 decisions=18876, wrong=6991, backtracks=4059, failedAssignments=4407, nogoods=1776, foundSolutions=137, bestBound=160
8.82/4.81
8.82/4.81 o 159
8.82/4.81 num=407, depth=4..119, filters=559117, revisions=(1650952,useless=1117909), ccks=1015897, wck=2.214, mem=51M979
8.82/4.81 decisions=18892, wrong=6992, backtracks=4059, failedAssignments=4408, nogoods=1777, foundSolutions=138, bestBound=159
8.82/4.81
8.82/4.82 num=408, depth=0..6, filters=563288, revisions=(1658756,useless=1121619), ccks=1020514, wck=2.222, mem=51M979
8.82/4.82 decisions=18948, wrong=7018, backtracks=4077, failedAssignments=4425, nogoods=1778, foundSolutions=138, bestBound=159
8.82/4.82
8.82/4.83 num=409, depth=0..10, filters=564912, revisions=(1662142,useless=1123448), ccks=1022888, wck=2.226, mem=51M979
8.82/4.83 decisions=18989, wrong=7035, backtracks=4084, failedAssignments=4436, nogoods=1782, foundSolutions=138, bestBound=159
8.82/4.83
8.82/4.83 num=410, depth=4..12, filters=565869, revisions=(1665052,useless=1125467), ccks=1024599, wck=2.229, mem=51M979
8.82/4.83 decisions=19038, wrong=7057, backtracks=4100, failedAssignments=4448, nogoods=1786, foundSolutions=138, bestBound=159
8.82/4.83
8.82/4.84 num=411, depth=1..7, filters=567885, revisions=(1669962,useless=1128477), ccks=1027189, wck=2.236, mem=51M979
8.82/4.84 decisions=19090, wrong=7082, backtracks=4119, failedAssignments=4461, nogoods=1790, foundSolutions=138, bestBound=159
8.82/4.84
8.82/4.84 num=412, depth=2..7, filters=570021, revisions=(1675083,useless=1131556), ccks=1030212, wck=2.24, mem=51M979
8.82/4.84 decisions=19137, wrong=7104, backtracks=4132, failedAssignments=4475, nogoods=1794, foundSolutions=138, bestBound=159
8.82/4.84
8.82/4.85 num=413, depth=1..10, filters=573441, revisions=(1682776,useless=1135993), ccks=1034758, wck=2.248, mem=51M979
8.82/4.85 decisions=19199, wrong=7133, backtracks=4152, failedAssignments=4491, nogoods=1796, foundSolutions=138, bestBound=159
8.82/4.85
8.82/4.85 num=414, depth=4..14, filters=575381, revisions=(1687261,useless=1138583), ccks=1037006, wck=2.253, mem=51M979
8.82/4.85 decisions=19248, wrong=7155, backtracks=4166, failedAssignments=4508, nogoods=1803, foundSolutions=138, bestBound=159
8.82/4.85
8.82/4.86 num=415, depth=1..11, filters=578851, revisions=(1694929,useless=1142887), ccks=1041809, wck=2.261, mem=54M568
8.82/4.86 decisions=19321, wrong=7190, backtracks=4187, failedAssignments=4527, nogoods=1806, foundSolutions=138, bestBound=159
8.82/4.86
8.82/4.87 num=416, depth=3..10, filters=581471, revisions=(1701131,useless=1146630), ccks=1045577, wck=2.268, mem=54M568
8.82/4.87 decisions=19396, wrong=7226, backtracks=4207, failedAssignments=4548, nogoods=1808, foundSolutions=138, bestBound=159
8.82/4.87
8.82/4.87 o 158
8.82/4.87 num=417, depth=4..119, filters=582396, revisions=(1703605,useless=1148180), ccks=1047361, wck=2.271, mem=54M568
8.82/4.87 decisions=19412, wrong=7227, backtracks=4207, failedAssignments=4549, nogoods=1809, foundSolutions=139, bestBound=158
8.82/4.87
8.82/4.88 num=418, depth=3..8, filters=584543, revisions=(1709656,useless=1152231), ccks=1050683, wck=2.277, mem=54M568
8.82/4.88 decisions=19499, wrong=7269, backtracks=4228, failedAssignments=4574, nogoods=1814, foundSolutions=139, bestBound=158
8.82/4.88
8.82/4.88 num=419, depth=3..11, filters=585413, revisions=(1713085,useless=1154837), ccks=1051938, wck=2.281, mem=54M568
8.82/4.88 decisions=19528, wrong=7281, backtracks=4234, failedAssignments=4585, nogoods=1823, foundSolutions=139, bestBound=158
8.82/4.88
8.82/4.89 num=420, depth=0..6, filters=586513, revisions=(1717003,useless=1157743), ccks=1054070, wck=2.285, mem=54M568
8.82/4.89 decisions=19572, wrong=7302, backtracks=4250, failedAssignments=4597, nogoods=1826, foundSolutions=139, bestBound=158
8.82/4.89
8.82/4.89 o 157
8.82/4.89 num=421, depth=0..119, filters=587604, revisions=(1720136,useless=1159822), ccks=1056472, wck=2.289, mem=54M568
8.82/4.89 decisions=19613, wrong=7312, backtracks=4252, failedAssignments=4605, nogoods=1832, foundSolutions=140, bestBound=157
8.82/4.89
8.82/4.89 num=422, depth=3..9, filters=588970, revisions=(1723553,useless=1161951), ccks=1058461, wck=2.293, mem=54M568
8.82/4.89 decisions=19657, wrong=7332, backtracks=4263, failedAssignments=4619, nogoods=1834, foundSolutions=140, bestBound=157
8.82/4.89
8.82/4.90 o 156
8.82/4.90 num=423, depth=121..119, filters=589882, revisions=(1726005,useless=1163500), ccks=1060219, wck=2.296, mem=54M568
8.82/4.90 decisions=19671, wrong=7332, backtracks=4263, failedAssignments=4619, nogoods=1834, foundSolutions=141, bestBound=156
8.82/4.90
8.92/4.90 num=424, depth=3..7, filters=591426, revisions=(1729554,useless=1165584), ccks=1062009, wck=2.3, mem=54M568
8.92/4.90 decisions=19710, wrong=7350, backtracks=4273, failedAssignments=4631, nogoods=1836, foundSolutions=141, bestBound=156
8.92/4.90
8.92/4.91 num=425, depth=1..6, filters=594958, revisions=(1735752,useless=1168302), ccks=1065888, wck=2.306, mem=54M568
8.92/4.91 decisions=19746, wrong=7367, backtracks=4286, failedAssignments=4642, nogoods=1841, foundSolutions=141, bestBound=156
8.92/4.91
8.92/4.91 num=426, depth=1..5, filters=596682, revisions=(1739790,useless=1170711), ccks=1068267, wck=2.311, mem=57M158
8.92/4.91 decisions=19792, wrong=7389, backtracks=4297, failedAssignments=4654, nogoods=1847, foundSolutions=141, bestBound=156
8.92/4.91
8.92/4.92 num=427, depth=4..8, filters=597919, revisions=(1743403,useless=1173169), ccks=1070481, wck=2.315, mem=57M158
8.92/4.92 decisions=19839, wrong=7410, backtracks=4310, failedAssignments=4667, nogoods=1855, foundSolutions=141, bestBound=156
8.92/4.92
8.92/4.92 o 155
8.92/4.92 num=428, depth=121..119, filters=598836, revisions=(1745853,useless=1174706), ccks=1072313, wck=2.318, mem=57M158
8.92/4.92 decisions=19853, wrong=7410, backtracks=4310, failedAssignments=4667, nogoods=1855, foundSolutions=142, bestBound=155
8.92/4.92
8.92/4.92 num=429, depth=2..9, filters=601149, revisions=(1751468,useless=1178106), ccks=1075523, wck=2.324, mem=57M158
8.92/4.92 decisions=19903, wrong=7433, backtracks=4323, failedAssignments=4683, nogoods=1864, foundSolutions=142, bestBound=155
8.92/4.92
8.92/4.93 num=430, depth=1..6, filters=602977, revisions=(1755664,useless=1180541), ccks=1077879, wck=2.328, mem=57M158
8.92/4.93 decisions=19940, wrong=7450, backtracks=4332, failedAssignments=4694, nogoods=1869, foundSolutions=142, bestBound=155
8.92/4.93
8.92/4.93 o 154
8.92/4.93 num=431, depth=121..119, filters=603941, revisions=(1757949,useless=1181880), ccks=1079729, wck=2.331, mem=57M158
8.92/4.93 decisions=19961, wrong=7450, backtracks=4332, failedAssignments=4694, nogoods=1869, foundSolutions=143, bestBound=154
8.92/4.93
8.92/4.93 num=432, depth=2..11, filters=604636, revisions=(1761101,useless=1184403), ccks=1081579, wck=2.334, mem=57M158
8.92/4.93 decisions=20001, wrong=7467, backtracks=4337, failedAssignments=4707, nogoods=1880, foundSolutions=143, bestBound=154
8.92/4.93
8.92/4.94 o 153
8.92/4.94 num=433, depth=7..119, filters=605560, revisions=(1763616,useless=1186001), ccks=1083484, wck=2.337, mem=57M158
8.92/4.94 decisions=20016, wrong=7468, backtracks=4337, failedAssignments=4708, nogoods=1881, foundSolutions=144, bestBound=153
8.92/4.94
8.92/4.94 num=434, depth=2..6, filters=606504, revisions=(1766395,useless=1187901), ccks=1085043, wck=2.34, mem=57M158
8.92/4.94 decisions=20056, wrong=7487, backtracks=4346, failedAssignments=4720, nogoods=1883, foundSolutions=144, bestBound=153
8.92/4.94
8.92/4.95 num=435, depth=0..9, filters=608623, revisions=(1771299,useless=1190772), ccks=1087843, wck=2.345, mem=57M158
8.92/4.95 decisions=20106, wrong=7510, backtracks=4362, failedAssignments=4731, nogoods=1886, foundSolutions=144, bestBound=153
8.92/4.95
8.92/4.95 o 152
8.92/4.95 num=436, depth=3..119, filters=610980, revisions=(1776352,useless=1193509), ccks=1091337, wck=2.351, mem=57M158
8.92/4.95 decisions=20149, wrong=7522, backtracks=4371, failedAssignments=4740, nogoods=1887, foundSolutions=145, bestBound=152
8.92/4.95
8.92/4.96 num=437, depth=1..8, filters=612763, revisions=(1781087,useless=1196540), ccks=1093932, wck=2.356, mem=57M158
8.92/4.96 decisions=20189, wrong=7540, backtracks=4384, failedAssignments=4753, nogoods=1892, foundSolutions=145, bestBound=152
8.92/4.96
8.92/4.96 o 151
8.92/4.96 num=438, depth=3..119, filters=613714, revisions=(1783406,useless=1197926), ccks=1095744, wck=2.359, mem=57M158
8.92/4.96 decisions=20210, wrong=7541, backtracks=4384, failedAssignments=4754, nogoods=1893, foundSolutions=146, bestBound=151
8.92/4.96
8.92/4.96 num=439, depth=1..8, filters=615352, revisions=(1787498,useless=1200464), ccks=1097946, wck=2.363, mem=57M158
8.92/4.96 decisions=20252, wrong=7561, backtracks=4397, failedAssignments=4766, nogoods=1895, foundSolutions=146, bestBound=151
8.92/4.96
8.92/4.97 o 150
8.92/4.97 num=440, depth=121..119, filters=616233, revisions=(1790044,useless=1202122), ccks=1099719, wck=2.366, mem=57M158
8.92/4.97 decisions=20264, wrong=7561, backtracks=4397, failedAssignments=4766, nogoods=1895, foundSolutions=147, bestBound=150
8.92/4.97
8.92/4.97 num=441, depth=3..12, filters=617591, revisions=(1793230,useless=1203979), ccks=1101115, wck=2.37, mem=59M748
8.92/4.97 decisions=20298, wrong=7575, backtracks=4400, failedAssignments=4778, nogoods=1903, foundSolutions=147, bestBound=150
8.92/4.97
8.92/4.97 num=442, depth=1..6, filters=619005, revisions=(1796878,useless=1206286), ccks=1102859, wck=2.374, mem=59M748
8.92/4.97 decisions=20335, wrong=7593, backtracks=4412, failedAssignments=4789, nogoods=1906, foundSolutions=147, bestBound=150
8.92/4.97
8.92/4.98 num=443, depth=0..15, filters=620336, revisions=(1799507,useless=1207645), ccks=1104445, wck=2.378, mem=59M748
8.92/4.98 decisions=20384, wrong=7610, backtracks=4418, failedAssignments=4801, nogoods=1910, foundSolutions=147, bestBound=150
8.92/4.98
8.92/4.98 num=444, depth=4..10, filters=621768, revisions=(1803400,useless=1210184), ccks=1106964, wck=2.382, mem=59M748
8.92/4.98 decisions=20427, wrong=7629, backtracks=4430, failedAssignments=4814, nogoods=1912, foundSolutions=147, bestBound=150
8.92/4.98
8.92/4.99 o 149
8.92/4.99 num=445, depth=121..119, filters=622721, revisions=(1805718,useless=1211564), ccks=1108767, wck=2.385, mem=59M748
8.92/4.99 decisions=20446, wrong=7629, backtracks=4430, failedAssignments=4814, nogoods=1912, foundSolutions=148, bestBound=149
8.92/4.99
8.92/4.99 o 148
8.92/4.99 num=446, depth=121..119, filters=623449, revisions=(1808273,useless=1213393), ccks=1110547, wck=2.387, mem=59M748
8.92/4.99 decisions=20459, wrong=7629, backtracks=4430, failedAssignments=4814, nogoods=1912, foundSolutions=149, bestBound=148
8.92/4.99
8.92/4.99 num=447, depth=7..13, filters=625998, revisions=(1813224,useless=1215849), ccks=1113638, wck=2.393, mem=59M748
8.92/4.99 decisions=20506, wrong=7649, backtracks=4440, failedAssignments=4825, nogoods=1916, foundSolutions=149, bestBound=148
8.92/4.99
8.92/5.00 num=448, depth=2..6, filters=626919, revisions=(1815626,useless=1217387), ccks=1115198, wck=2.395, mem=59M748
8.92/5.00 decisions=20544, wrong=7667, backtracks=4448, failedAssignments=4836, nogoods=1919, foundSolutions=149, bestBound=148
8.92/5.00
8.92/5.00 num=449, depth=2..9, filters=628717, revisions=(1820342,useless=1220388), ccks=1117949, wck=2.4, mem=59M748
8.92/5.00 decisions=20591, wrong=7689, backtracks=4464, failedAssignments=4848, nogoods=1921, foundSolutions=149, bestBound=148
8.92/5.00
9.04/5.01 num=450, depth=0..9, filters=631198, revisions=(1825458,useless=1223095), ccks=1121315, wck=2.406, mem=59M748
9.04/5.01 decisions=20637, wrong=7710, backtracks=4479, failedAssignments=4861, nogoods=1925, foundSolutions=149, bestBound=148
9.04/5.01
9.04/5.01 num=451, depth=2..8, filters=633418, revisions=(1830361,useless=1225872), ccks=1124282, wck=2.411, mem=59M748
9.04/5.01 decisions=20691, wrong=7736, backtracks=4497, failedAssignments=4875, nogoods=1928, foundSolutions=149, bestBound=148
9.04/5.01
9.04/5.02 num=452, depth=0..11, filters=635352, revisions=(1835888,useless=1229602), ccks=1126999, wck=2.417, mem=59M748
9.04/5.02 decisions=20756, wrong=7766, backtracks=4515, failedAssignments=4891, nogoods=1931, foundSolutions=149, bestBound=148
9.04/5.02
9.04/5.02 o 147
9.04/5.02 num=453, depth=121..119, filters=636308, revisions=(1838190,useless=1230962), ccks=1128862, wck=2.42, mem=59M748
9.04/5.02 decisions=20776, wrong=7766, backtracks=4515, failedAssignments=4891, nogoods=1931, foundSolutions=150, bestBound=147
9.04/5.02
9.04/5.03 num=454, depth=0..9, filters=640417, revisions=(1848050,useless=1236851), ccks=1134106, wck=2.43, mem=62M337
9.04/5.03 decisions=20859, wrong=7805, backtracks=4542, failedAssignments=4910, nogoods=1933, foundSolutions=150, bestBound=147
9.04/5.03
9.04/5.04 num=455, depth=0..8, filters=641871, revisions=(1851949,useless=1239342), ccks=1136264, wck=2.435, mem=62M337
9.04/5.04 decisions=20899, wrong=7824, backtracks=4554, failedAssignments=4921, nogoods=1935, foundSolutions=150, bestBound=147
9.04/5.04
9.04/5.04 num=456, depth=0..5, filters=643767, revisions=(1857051,useless=1242632), ccks=1139331, wck=2.439, mem=62M337
9.04/5.04 decisions=20951, wrong=7848, backtracks=4569, failedAssignments=4933, nogoods=1937, foundSolutions=150, bestBound=147
9.04/5.04
9.04/5.04 num=457, depth=1..8, filters=644651, revisions=(1860124,useless=1244904), ccks=1140831, wck=2.443, mem=62M337
9.04/5.04 decisions=20998, wrong=7871, backtracks=4584, failedAssignments=4946, nogoods=1940, foundSolutions=150, bestBound=147
9.04/5.04
9.04/5.05 num=458, depth=2..7, filters=646305, revisions=(1864823,useless=1248037), ccks=1143421, wck=2.447, mem=62M337
9.04/5.05 decisions=21043, wrong=7892, backtracks=4597, failedAssignments=4960, nogoods=1946, foundSolutions=150, bestBound=147
9.04/5.05
9.04/5.05 num=459, depth=0..8, filters=649764, revisions=(1872309,useless=1252155), ccks=1147296, wck=2.454, mem=62M337
9.04/5.05 decisions=21099, wrong=7920, backtracks=4615, failedAssignments=4976, nogoods=1946, foundSolutions=150, bestBound=147
9.04/5.05
9.04/5.06 num=460, depth=2..12, filters=652488, revisions=(1879557,useless=1256798), ccks=1151296, wck=2.461, mem=62M337
9.04/5.06 decisions=21170, wrong=7954, backtracks=4638, failedAssignments=4993, nogoods=1953, foundSolutions=150, bestBound=147
9.04/5.06
9.04/5.07 o 146
9.04/5.07 num=461, depth=0..119, filters=655944, revisions=(1887526,useless=1261366), ccks=1155952, wck=2.469, mem=62M337
9.04/5.07 decisions=21231, wrong=7976, backtracks=4649, failedAssignments=5005, nogoods=1955, foundSolutions=151, bestBound=146
9.04/5.07
9.04/5.08 num=462, depth=6..22, filters=659735, revisions=(1896273,useless=1266436), ccks=1160804, wck=2.479, mem=62M337
9.04/5.08 decisions=21315, wrong=8012, backtracks=4672, failedAssignments=5026, nogoods=1961, foundSolutions=151, bestBound=146
9.04/5.08
9.04/5.09 num=463, depth=1..7, filters=663480, revisions=(1902864,useless=1269411), ccks=1165356, wck=2.485, mem=62M337
9.04/5.09 decisions=21362, wrong=8035, backtracks=4689, failedAssignments=5037, nogoods=1963, foundSolutions=151, bestBound=146
9.04/5.09
9.04/5.09 num=464, depth=6..13, filters=665286, revisions=(1906503,useless=1271298), ccks=1167417, wck=2.49, mem=64M927
9.04/5.09 decisions=21399, wrong=8049, backtracks=4696, failedAssignments=5049, nogoods=1969, foundSolutions=151, bestBound=146
9.04/5.09
9.04/5.09 num=465, depth=4..11, filters=666477, revisions=(1909564,useless=1273234), ccks=1169488, wck=2.493, mem=64M927
9.04/5.09 decisions=21445, wrong=8069, backtracks=4707, failedAssignments=5062, nogoods=1973, foundSolutions=151, bestBound=146
9.04/5.09
9.04/5.10 o 145
9.04/5.10 num=466, depth=2..119, filters=668805, revisions=(1914637,useless=1276022), ccks=1173078, wck=2.499, mem=64M927
9.04/5.10 decisions=21483, wrong=8078, backtracks=4712, failedAssignments=5067, nogoods=1977, foundSolutions=152, bestBound=145
9.04/5.10
9.04/5.10 num=467, depth=6..18, filters=670447, revisions=(1918529,useless=1278330), ccks=1174982, wck=2.504, mem=64M927
9.04/5.10 decisions=21537, wrong=8101, backtracks=4729, failedAssignments=5083, nogoods=1981, foundSolutions=152, bestBound=145
9.04/5.10
9.15/5.11 num=468, depth=1..6, filters=672152, revisions=(1921754,useless=1279916), ccks=1177229, wck=2.507, mem=64M927
9.15/5.11 decisions=21570, wrong=8117, backtracks=4738, failedAssignments=5094, nogoods=1985, foundSolutions=152, bestBound=145
9.15/5.11
9.15/5.11 o 144
9.15/5.11 num=469, depth=1..119, filters=674382, revisions=(1927526,useless=1283515), ccks=1180909, wck=2.514, mem=64M927
9.15/5.11 decisions=21627, wrong=8137, backtracks=4754, failedAssignments=5105, nogoods=1986, foundSolutions=153, bestBound=144
9.15/5.11
9.15/5.12 num=470, depth=7..11, filters=675859, revisions=(1931095,useless=1285671), ccks=1182975, wck=2.518, mem=64M927
9.15/5.12 decisions=21674, wrong=8157, backtracks=4766, failedAssignments=5118, nogoods=1992, foundSolutions=153, bestBound=144
9.15/5.12
9.15/5.12 o 143
9.15/5.12 num=471, depth=2..119, filters=676939, revisions=(1934135,useless=1287652), ccks=1185041, wck=2.522, mem=64M927
9.15/5.12 decisions=21702, wrong=8162, backtracks=4767, failedAssignments=5122, nogoods=1996, foundSolutions=154, bestBound=143
9.15/5.12
9.15/5.13 num=472, depth=7..12, filters=678559, revisions=(1937699,useless=1289670), ccks=1187178, wck=2.526, mem=64M927
9.15/5.13 decisions=21751, wrong=8182, backtracks=4778, failedAssignments=5134, nogoods=2001, foundSolutions=154, bestBound=143
9.15/5.13
9.15/5.13 o 142
9.15/5.13 num=473, depth=1..119, filters=679751, revisions=(1941174,useless=1291976), ccks=1189457, wck=2.53, mem=64M927
9.15/5.13 decisions=21778, wrong=8188, backtracks=4781, failedAssignments=5138, nogoods=2004, foundSolutions=155, bestBound=142
9.15/5.13
9.15/5.14 num=474, depth=5..14, filters=681902, revisions=(1945880,useless=1294609), ccks=1192079, wck=2.535, mem=64M927
9.15/5.14 decisions=21834, wrong=8212, backtracks=4797, failedAssignments=5150, nogoods=2010, foundSolutions=155, bestBound=142
9.15/5.14
9.15/5.14 num=475, depth=0..7, filters=683609, revisions=(1949865,useless=1296972), ccks=1194509, wck=2.539, mem=64M927
9.15/5.14 decisions=21878, wrong=8232, backtracks=4809, failedAssignments=5161, nogoods=2013, foundSolutions=155, bestBound=142
9.15/5.14
9.15/5.15 num=476, depth=0..17, filters=685981, revisions=(1954141,useless=1298950), ccks=1196909, wck=2.545, mem=64M927
9.15/5.15 decisions=21929, wrong=8253, backtracks=4824, failedAssignments=5173, nogoods=2015, foundSolutions=155, bestBound=142
9.15/5.15
9.15/5.15 num=477, depth=0..9, filters=688535, revisions=(1960084,useless=1302451), ccks=1200384, wck=2.551, mem=64M927
9.15/5.15 decisions=21987, wrong=8279, backtracks=4843, failedAssignments=5186, nogoods=2017, foundSolutions=155, bestBound=142
9.15/5.15
9.15/5.15 o 141
9.15/5.15 num=478, depth=3..119, filters=689459, revisions=(1962594,useless=1304042), ccks=1202189, wck=2.554, mem=64M927
9.15/5.15 decisions=22003, wrong=8280, backtracks=4843, failedAssignments=5187, nogoods=2018, foundSolutions=156, bestBound=141
9.15/5.15
9.15/5.16 num=479, depth=2..13, filters=691484, revisions=(1968479,useless=1308009), ccks=1204947, wck=2.561, mem=67M516
9.15/5.16 decisions=22073, wrong=8314, backtracks=4865, failedAssignments=5203, nogoods=2021, foundSolutions=156, bestBound=141
9.15/5.16
9.15/5.17 num=480, depth=1..11, filters=693457, revisions=(1972945,useless=1310587), ccks=1207400, wck=2.566, mem=67M516
9.15/5.17 decisions=22127, wrong=8340, backtracks=4883, failedAssignments=5214, nogoods=2023, foundSolutions=156, bestBound=141
9.15/5.17
9.15/5.17 num=481, depth=1..13, filters=694538, revisions=(1976174,useless=1312787), ccks=1208719, wck=2.57, mem=67M516
9.15/5.17 decisions=22171, wrong=8358, backtracks=4889, failedAssignments=5226, nogoods=2034, foundSolutions=156, bestBound=141
9.15/5.17
9.15/5.18 num=482, depth=0..7, filters=696314, revisions=(1980409,useless=1315336), ccks=1211295, wck=2.575, mem=67M516
9.15/5.18 decisions=22219, wrong=8381, backtracks=4902, failedAssignments=5239, nogoods=2038, foundSolutions=156, bestBound=141
9.15/5.18
9.15/5.18 num=483, depth=0..11, filters=698011, revisions=(1984727,useless=1318021), ccks=1213565, wck=2.58, mem=67M516
9.15/5.18 decisions=22271, wrong=8404, backtracks=4917, failedAssignments=5253, nogoods=2043, foundSolutions=156, bestBound=141
9.15/5.18
9.15/5.19 num=484, depth=0..11, filters=700948, revisions=(1990399,useless=1320854), ccks=1217044, wck=2.586, mem=67M516
9.15/5.19 decisions=22334, wrong=8435, backtracks=4940, failedAssignments=5269, nogoods=2046, foundSolutions=156, bestBound=141
9.15/5.19
9.15/5.20 num=485, depth=0..13, filters=705347, revisions=(1998032,useless=1324212), ccks=1221767, wck=2.595, mem=67M516
9.15/5.20 decisions=22412, wrong=8473, backtracks=4969, failedAssignments=5286, nogoods=2049, foundSolutions=156, bestBound=141
9.15/5.20
9.24/5.20 o 140
9.24/5.20 num=486, depth=3..119, filters=706228, revisions=(2000461,useless=1325765), ccks=1223643, wck=2.598, mem=67M516
9.24/5.20 decisions=22428, wrong=8474, backtracks=4969, failedAssignments=5287, nogoods=2050, foundSolutions=157, bestBound=140
9.24/5.20
9.24/5.21 o 139
9.24/5.21 num=487, depth=0..119, filters=709136, revisions=(2007853,useless=1330341), ccks=1227629, wck=2.607, mem=67M516
9.24/5.21 decisions=22517, wrong=8507, backtracks=4991, failedAssignments=5305, nogoods=2058, foundSolutions=158, bestBound=139
9.24/5.21
9.24/5.21 o 138
9.24/5.21 num=488, depth=1..119, filters=710115, revisions=(2010509,useless=1332028), ccks=1229352, wck=2.611, mem=67M516
9.24/5.21 decisions=22543, wrong=8511, backtracks=4992, failedAssignments=5308, nogoods=2061, foundSolutions=159, bestBound=138
9.24/5.21
9.24/5.22 o 137
9.24/5.22 num=489, depth=1..119, filters=711110, revisions=(2013216,useless=1333757), ccks=1231014, wck=2.615, mem=67M516
9.24/5.22 decisions=22572, wrong=8516, backtracks=4993, failedAssignments=5312, nogoods=2065, foundSolutions=160, bestBound=137
9.24/5.22
9.24/5.22 o 136
9.24/5.22 num=490, depth=9..119, filters=712083, revisions=(2015699,useless=1335274), ccks=1232654, wck=2.618, mem=67M516
9.24/5.22 decisions=22593, wrong=8517, backtracks=4993, failedAssignments=5313, nogoods=2066, foundSolutions=161, bestBound=136
9.24/5.22
9.24/5.22 o 135
9.24/5.22 num=491, depth=121..119, filters=713008, revisions=(2018199,useless=1336854), ccks=1234256, wck=2.621, mem=67M516
9.24/5.22 decisions=22611, wrong=8517, backtracks=4993, failedAssignments=5313, nogoods=2066, foundSolutions=162, bestBound=135
9.24/5.22
9.24/5.23 o 134
9.24/5.23 num=492, depth=121..119, filters=713941, revisions=(2020633,useless=1338365), ccks=1235851, wck=2.625, mem=67M516
9.24/5.23 decisions=22630, wrong=8517, backtracks=4993, failedAssignments=5313, nogoods=2066, foundSolutions=163, bestBound=134
9.24/5.23
9.24/5.23 o 133
9.24/5.23 num=493, depth=121..119, filters=714844, revisions=(2023150,useless=1339985), ccks=1237454, wck=2.628, mem=67M516
9.24/5.23 decisions=22648, wrong=8517, backtracks=4993, failedAssignments=5313, nogoods=2066, foundSolutions=164, bestBound=133
9.24/5.23
9.24/5.23 o 132
9.24/5.23 num=494, depth=121..119, filters=715754, revisions=(2025631,useless=1341563), ccks=1239046, wck=2.631, mem=67M516
9.24/5.23 decisions=22665, wrong=8517, backtracks=4993, failedAssignments=5313, nogoods=2066, foundSolutions=165, bestBound=132
9.24/5.23
9.24/5.24 num=495, depth=0..9, filters=717636, revisions=(2029825,useless=1343922), ccks=1240979, wck=2.637, mem=67M516
9.24/5.24 decisions=22724, wrong=8543, backtracks=5008, failedAssignments=5324, nogoods=2069, foundSolutions=165, bestBound=132
9.24/5.24
9.24/5.24 num=496, depth=0..11, filters=719463, revisions=(2033720,useless=1346061), ccks=1243165, wck=2.642, mem=70M106
9.24/5.24 decisions=22784, wrong=8573, backtracks=5029, failedAssignments=5335, nogoods=2069, foundSolutions=165, bestBound=132
9.24/5.24
9.24/5.25
9.24/5.25 New Bounds: 132..131
9.24/5.25 num=497, depth=0..7, filters=721247, revisions=(2036743,useless=1347325), ccks=1245010, wck=2.645, mem=70M106
9.24/5.25 decisions=22808, wrong=8586, backtracks=5039, failedAssignments=5340, foundSolutions=165, bestBound=132
9.24/5.25
9.24/5.25 Global
9.24/5.25 filters=721247, revisions=(2036743,useless=1347325), ccks=1245010
9.24/5.25 Stop=FULL_EXPLORATION, wrong=8586, bestBound=132, bestBoundWck=3.367, bestBoundCpu=5.18, foundSolutions=165, firstSolCpu=2.6
9.24/5.25 wck=3.381, cpu=5.195, mem=70M106
9.24/5.25
9.24/5.25 v <instantiation id='sol165' type='solution' cost='132'> <list> s[] d[] l[] c[] </list> <values> 0 1 2 3 4 5 6 7 8 9 11 17 12 13 14 15 10 23 18 19 20 21 16 29 24 25 26 27 22 28 0 0 0 0 0 0 0 0 0 0 4 1 0 0 0 0 16 5 0 0 0 0 8 3 0 0 0 0 1 2 28 28 10 11 23 17 17 10 10 23 16 10 11 10 28 17 23 10 23 16 16 10 28 16 10 22 11 11 10 16 2 3 5 4 2 1 3 1 2 4 2 5 4 5 4 1 4 1 4 4 7 4 4 2 5 1 1 1 1 5 </values> </instantiation>
9.24/5.25 s OPTIMUM FOUND
9.24/5.25
9.24/5.25 d WRONG_DECISIONS 8586
9.24/5.25 d NUMBER_SOLUTIONS 165