2.41/1.88
2.41/1.88 AbsCon 2
2.41/1.90
2.92/2.08 Instance
2.92/2.08 name=instance-4391112-1568391033, framework=COP, bounds=-infty..+infty
2.92/2.08
2.92/2.08 Loading variables...
3.25/2.14 Loading constraints...
3.57/2.22
3.57/2.22 Domains
3.57/2.22 nTypes=27, nValues=5938, sizes=[23#7,25#21,26#202]
3.57/2.22 Variables
3.57/2.22 count=230, degrees=[2#224,33#6]
3.57/2.22 Objectives
3.57/2.22 way=min, type=SumSimpleLE
3.57/2.22 Constraints
3.57/2.22 count=226, nSpecific=34, arities=[2#192,6#1,7#32,32#1]
3.57/2.22 distribution=[CtrExtensionV-Bits#192,Minimum#32,OrderedLT#1,SumSimpleLE#1]
3.57/2.22 nExtStructures=(26,shared:166), nCftStructures=(26,shared:166,unbuilt:34)
3.57/2.22 wck=0.37, cpu=2.181, mem=26M513
3.57/2.22 Solver SolverBacktrack being built...
3.57/2.22
3.57/2.25
3.57/2.25 Solver
3.57/2.25 guaranteedGAC=true
3.57/2.25 wck=0.398, cpu=2.207, mem=39M798
3.57/2.26
3.57/2.26 Preprocessing
3.57/2.26 filters=227, revisions=(332,useless=140), nACremovedValues=1137, nTotalRemovedValues=1137, inconcistency=false
3.57/2.26 wck=0.008, cpu=2.217, mem=39M798
3.57/2.26
3.57/2.27 o 6620
3.57/2.27 num=0, depth=231..229, filters=541, revisions=(524,useless=140), ccks=226, wck=0.026, mem=39M798
3.57/2.27 decisions=6, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=1, bestBound=6620
3.57/2.27
3.57/2.29 o 1832
3.57/2.30 num=1, depth=231..229, filters=840, revisions=(1100,useless=524), ccks=452, wck=0.045, mem=39M798
3.57/2.30 decisions=12, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=2, bestBound=1832
3.57/2.30
3.57/2.30 o 1830
3.57/2.30 num=2, depth=231..229, filters=1139, revisions=(1676,useless=908), ccks=678, wck=0.051, mem=39M798
3.57/2.30 decisions=18, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=3, bestBound=1830
3.57/2.30
3.90/2.30 o 1712
3.90/2.31 num=3, depth=5..229, filters=1623, revisions=(2380,useless=1293), ccks=904, wck=0.059, mem=39M798
3.90/2.31 decisions=26, wrong=1, backtracks=0, failedAssignments=1, nogoods=1, foundSolutions=4, bestBound=1712
3.90/2.31
3.90/2.32 o 1691
3.90/2.32 num=4, depth=5..229, filters=2209, revisions=(3244,useless=1677), ccks=1130, wck=0.063, mem=39M798
3.90/2.32 decisions=34, wrong=2, backtracks=0, failedAssignments=2, nogoods=2, foundSolutions=5, bestBound=1691
3.90/2.32
3.90/2.32 o 1560
3.90/2.32 num=5, depth=5..229, filters=3093, revisions=(4365,useless=2062), ccks=1356, wck=0.068, mem=39M798
3.90/2.32 decisions=46, wrong=5, backtracks=0, failedAssignments=5, nogoods=5, foundSolutions=6, bestBound=1560
3.90/2.32
3.90/2.32 num=6, depth=1..5, filters=6410, revisions=(7514,useless=2460), ccks=1356, wck=0.076, mem=39M798
3.90/2.32 decisions=75, wrong=18, backtracks=2, failedAssignments=16, nogoods=15, foundSolutions=6, bestBound=1560
3.90/2.32
3.90/2.33 num=7, depth=1..2, filters=8531, revisions=(9147,useless=2470), ccks=1356, wck=0.082, mem=39M798
3.90/2.33 decisions=100, wrong=30, backtracks=3, failedAssignments=27, nogoods=24, foundSolutions=6, bestBound=1560
3.90/2.33
3.90/2.34 num=8, depth=0..4, filters=11918, revisions=(12007,useless=2512), ccks=1356, wck=0.089, mem=39M798
3.90/2.34 decisions=132, wrong=45, backtracks=6, failedAssignments=39, nogoods=28, foundSolutions=6, bestBound=1560
3.90/2.34
3.90/2.34 o 1487
3.90/2.34 num=9, depth=1..229, filters=13533, revisions=(13195,useless=2523), ccks=1582, wck=0.095, mem=39M798
3.90/2.34 decisions=152, wrong=53, backtracks=7, failedAssignments=46, nogoods=32, foundSolutions=7, bestBound=1487
3.90/2.34
3.90/2.35 o 1468
3.90/2.35 num=10, depth=1..229, filters=15278, revisions=(15019,useless=2911), ccks=1808, wck=0.101, mem=39M798
3.90/2.35 decisions=167, wrong=58, backtracks=7, failedAssignments=51, nogoods=37, foundSolutions=8, bestBound=1468
3.90/2.35
3.90/2.35 o 1466
3.90/2.35 num=11, depth=1..229, filters=17093, revisions=(16919,useless=3311), ccks=2034, wck=0.107, mem=42M441
3.90/2.35 decisions=182, wrong=63, backtracks=7, failedAssignments=56, nogoods=42, foundSolutions=9, bestBound=1466
3.90/2.35
3.90/2.36 o 1459
3.90/2.36 num=12, depth=231..229, filters=17666, revisions=(17783,useless=3695), ccks=2260, wck=0.11, mem=42M441
3.90/2.36 decisions=186, wrong=63, backtracks=7, failedAssignments=56, nogoods=42, foundSolutions=10, bestBound=1459
3.90/2.36
3.90/2.36 o 1457
3.90/2.36 num=13, depth=231..229, filters=18238, revisions=(18647,useless=4079), ccks=2486, wck=0.112, mem=42M441
3.90/2.36 decisions=190, wrong=63, backtracks=7, failedAssignments=56, nogoods=42, foundSolutions=11, bestBound=1457
3.90/2.36
3.90/2.36 o 1443
3.90/2.36 num=14, depth=2..229, filters=18990, revisions=(19671,useless=4463), ccks=2712, wck=0.115, mem=42M441
3.90/2.36 decisions=197, wrong=64, backtracks=7, failedAssignments=57, nogoods=43, foundSolutions=12, bestBound=1443
3.90/2.36
3.90/2.36 o 1441
3.90/2.37 num=15, depth=2..229, filters=19808, revisions=(20759,useless=4847), ccks=2938, wck=0.118, mem=42M441
3.90/2.37 decisions=204, wrong=65, backtracks=7, failedAssignments=58, nogoods=44, foundSolutions=13, bestBound=1441
3.90/2.37
3.90/2.37 o 1438
3.90/2.37 num=16, depth=3..229, filters=20589, revisions=(21817,useless=5231), ccks=3164, wck=0.121, mem=42M441
3.90/2.37 decisions=211, wrong=66, backtracks=7, failedAssignments=59, nogoods=45, foundSolutions=14, bestBound=1438
3.90/2.37
3.90/2.37 o 1436
3.90/2.37 num=17, depth=3..229, filters=21369, revisions=(22875,useless=5615), ccks=3390, wck=0.124, mem=42M441
3.90/2.37 decisions=218, wrong=67, backtracks=7, failedAssignments=60, nogoods=46, foundSolutions=15, bestBound=1436
3.90/2.37
3.90/2.37 o 1435
3.90/2.37 num=18, depth=2..229, filters=22442, revisions=(24211,useless=5999), ccks=3616, wck=0.128, mem=42M441
3.90/2.37 decisions=228, wrong=69, backtracks=7, failedAssignments=62, nogoods=48, foundSolutions=16, bestBound=1435
3.90/2.37
3.90/2.38 o 1429
3.90/2.38 num=19, depth=2..229, filters=23421, revisions=(25454,useless=6384), ccks=3842, wck=0.131, mem=42M441
3.90/2.38 decisions=237, wrong=71, backtracks=7, failedAssignments=64, nogoods=50, foundSolutions=17, bestBound=1429
3.90/2.38
3.90/2.38 o 1409
3.90/2.38 num=20, depth=1..229, filters=25454, revisions=(27623,useless=6777), ccks=4068, wck=0.136, mem=42M441
3.90/2.38 decisions=260, wrong=80, backtracks=11, failedAssignments=70, nogoods=52, foundSolutions=18, bestBound=1409
3.90/2.38
3.90/2.39 o 1407
3.90/2.39 num=21, depth=2..229, filters=26145, revisions=(28552,useless=7163), ccks=4294, wck=0.139, mem=42M441
3.90/2.39 decisions=268, wrong=82, backtracks=11, failedAssignments=72, nogoods=54, foundSolutions=19, bestBound=1407
3.90/2.39
3.90/2.39 o 1392
3.90/2.39 num=22, depth=3..229, filters=26728, revisions=(29416,useless=7547), ccks=4520, wck=0.142, mem=42M441
3.90/2.39 decisions=274, wrong=83, backtracks=11, failedAssignments=73, nogoods=55, foundSolutions=20, bestBound=1392
3.90/2.39
3.90/2.39 o 1390
3.90/2.39 num=23, depth=3..229, filters=27287, revisions=(30248,useless=7932), ccks=4746, wck=0.144, mem=42M441
3.90/2.39 decisions=280, wrong=84, backtracks=11, failedAssignments=74, nogoods=56, foundSolutions=21, bestBound=1390
3.90/2.39
3.90/2.39 o 1388
3.90/2.40 num=24, depth=3..229, filters=27901, revisions=(31144,useless=8316), ccks=4972, wck=0.147, mem=42M441
3.90/2.40 decisions=286, wrong=85, backtracks=11, failedAssignments=75, nogoods=57, foundSolutions=22, bestBound=1388
3.90/2.40
3.90/2.40 o 1386
3.90/2.40 num=25, depth=3..229, filters=28490, revisions=(32008,useless=8701), ccks=5198, wck=0.15, mem=42M441
3.90/2.40 decisions=292, wrong=86, backtracks=11, failedAssignments=76, nogoods=58, foundSolutions=23, bestBound=1386
3.90/2.40
4.21/2.40 o 1378
4.21/2.40 num=26, depth=2..229, filters=29382, revisions=(33162,useless=9089), ccks=5424, wck=0.153, mem=45M83
4.21/2.40 decisions=301, wrong=88, backtracks=11, failedAssignments=78, nogoods=60, foundSolutions=24, bestBound=1378
4.21/2.40
4.21/2.40 o 1343
4.21/2.40 num=27, depth=2..229, filters=30164, revisions=(34162,useless=9480), ccks=5650, wck=0.156, mem=45M83
4.21/2.40 decisions=309, wrong=90, backtracks=11, failedAssignments=80, nogoods=62, foundSolutions=25, bestBound=1343
4.21/2.40
4.21/2.41 o 1328
4.21/2.41 num=28, depth=1..229, filters=31116, revisions=(35314,useless=9865), ccks=5876, wck=0.16, mem=45M83
4.21/2.41 decisions=319, wrong=93, backtracks=11, failedAssignments=83, nogoods=65, foundSolutions=26, bestBound=1328
4.21/2.41
4.21/2.41 o 1326
4.21/2.41 num=29, depth=3..229, filters=31677, revisions=(36146,useless=10249), ccks=6102, wck=0.162, mem=45M83
4.21/2.41 decisions=325, wrong=94, backtracks=11, failedAssignments=84, nogoods=66, foundSolutions=27, bestBound=1326
4.21/2.41
4.21/2.41 o 1324
4.21/2.41 num=30, depth=3..229, filters=32262, revisions=(37010,useless=10633), ccks=6328, wck=0.165, mem=45M83
4.21/2.41 decisions=331, wrong=95, backtracks=11, failedAssignments=85, nogoods=67, foundSolutions=28, bestBound=1324
4.21/2.41
4.21/2.41 o 1322
4.21/2.41 num=31, depth=3..229, filters=32824, revisions=(37842,useless=11017), ccks=6554, wck=0.167, mem=45M83
4.21/2.41 decisions=337, wrong=96, backtracks=11, failedAssignments=86, nogoods=68, foundSolutions=29, bestBound=1322
4.21/2.41
4.21/2.42 o 1314
4.21/2.42 num=32, depth=2..229, filters=33758, revisions=(39029,useless=11407), ccks=6780, wck=0.17, mem=45M83
4.21/2.42 decisions=346, wrong=98, backtracks=11, failedAssignments=88, nogoods=70, foundSolutions=30, bestBound=1314
4.21/2.42
4.21/2.42 o 1308
4.21/2.42 num=33, depth=2..229, filters=34679, revisions=(40155,useless=11801), ccks=7006, wck=0.173, mem=45M83
4.21/2.42 decisions=356, wrong=101, backtracks=11, failedAssignments=91, nogoods=73, foundSolutions=31, bestBound=1308
4.21/2.42
4.21/2.42 o 1307
4.21/2.42 num=34, depth=4..229, filters=35336, revisions=(41083,useless=12185), ccks=7232, wck=0.176, mem=45M83
4.21/2.42 decisions=363, wrong=102, backtracks=11, failedAssignments=92, nogoods=74, foundSolutions=32, bestBound=1307
4.21/2.42
4.21/2.42 o 1304
4.21/2.43 num=35, depth=3..229, filters=35899, revisions=(41915,useless=12569), ccks=7458, wck=0.178, mem=45M83
4.21/2.43 decisions=369, wrong=103, backtracks=11, failedAssignments=93, nogoods=75, foundSolutions=33, bestBound=1304
4.21/2.43
4.21/2.43 num=36, depth=2..5, filters=38313, revisions=(44471,useless=12970), ccks=7458, wck=0.182, mem=45M83
4.21/2.43 decisions=402, wrong=118, backtracks=17, failedAssignments=104, nogoods=79, foundSolutions=33, bestBound=1304
4.21/2.43
4.21/2.43 num=37, depth=4..10, filters=39949, revisions=(45628,useless=12979), ccks=7458, wck=0.186, mem=45M83
4.21/2.43 decisions=428, wrong=129, backtracks=17, failedAssignments=115, nogoods=90, foundSolutions=33, bestBound=1304
4.21/2.43
4.21/2.44 num=38, depth=3..9, filters=42129, revisions=(47367,useless=12997), ccks=7458, wck=0.19, mem=45M83
4.21/2.44 decisions=457, wrong=142, backtracks=18, failedAssignments=127, nogoods=102, foundSolutions=33, bestBound=1304
4.21/2.44
4.21/2.44 num=39, depth=3..11, filters=44660, revisions=(49340,useless=13025), ccks=7458, wck=0.195, mem=45M83
4.21/2.44 decisions=488, wrong=156, backtracks=19, failedAssignments=140, nogoods=115, foundSolutions=33, bestBound=1304
4.21/2.44
4.21/2.45 num=40, depth=3..12, filters=47477, revisions=(51552,useless=13061), ccks=7458, wck=0.201, mem=45M83
4.21/2.45 decisions=521, wrong=171, backtracks=20, failedAssignments=154, nogoods=129, foundSolutions=33, bestBound=1304
4.21/2.45
4.21/2.45 num=41, depth=2..4, filters=49813, revisions=(53484,useless=13063), ccks=7458, wck=0.206, mem=45M83
4.21/2.45 decisions=557, wrong=187, backtracks=20, failedAssignments=170, nogoods=145, foundSolutions=33, bestBound=1304
4.21/2.45
4.21/2.46 num=42, depth=2..10, filters=52027, revisions=(55089,useless=13068), ccks=7458, wck=0.211, mem=45M83
4.21/2.46 decisions=596, wrong=205, backtracks=28, failedAssignments=187, nogoods=152, foundSolutions=33, bestBound=1304
4.21/2.46
4.21/2.46 o 1303
4.21/2.46 num=43, depth=2..229, filters=54416, revisions=(56998,useless=13072), ccks=7684, wck=0.216, mem=45M83
4.21/2.46 decisions=622, wrong=215, backtracks=28, failedAssignments=197, nogoods=162, foundSolutions=34, bestBound=1303
4.21/2.46
4.21/2.47 o 1302
4.21/2.47 num=44, depth=2..229, filters=55200, revisions=(57963,useless=13460), ccks=7910, wck=0.219, mem=45M83
4.21/2.47 decisions=629, wrong=217, backtracks=28, failedAssignments=199, nogoods=164, foundSolutions=35, bestBound=1302
4.21/2.47
4.21/2.47 o 1300
4.21/2.47 num=45, depth=2..229, filters=55813, revisions=(58798,useless=13847), ccks=8136, wck=0.222, mem=45M83
4.21/2.47 decisions=634, wrong=218, backtracks=28, failedAssignments=200, nogoods=165, foundSolutions=36, bestBound=1300
4.21/2.47
4.21/2.47 num=46, depth=1..6, filters=57816, revisions=(60853,useless=14237), ccks=8136, wck=0.225, mem=45M83
4.21/2.47 decisions=660, wrong=230, backtracks=33, failedAssignments=211, nogoods=169, foundSolutions=36, bestBound=1300
4.21/2.47
4.21/2.47 o 1283
4.21/2.48 num=47, depth=3..229, filters=59066, revisions=(61942,useless=14238), ccks=8362, wck=0.228, mem=47M725
4.21/2.48 decisions=674, wrong=234, backtracks=33, failedAssignments=215, nogoods=173, foundSolutions=37, bestBound=1283
4.21/2.48
4.21/2.48 o 1257
4.21/2.48 num=48, depth=3..229, filters=60014, revisions=(63066,useless=14626), ccks=8588, wck=0.231, mem=47M725
4.21/2.48 decisions=682, wrong=236, backtracks=33, failedAssignments=217, nogoods=175, foundSolutions=38, bestBound=1257
4.21/2.48
4.21/2.48 o 1178
4.21/2.48 num=49, depth=1..229, filters=62145, revisions=(65120,useless=15019), ccks=8814, wck=0.237, mem=47M725
4.21/2.48 decisions=710, wrong=247, backtracks=36, failedAssignments=227, nogoods=179, foundSolutions=39, bestBound=1178
4.21/2.48
4.21/2.49 num=50, depth=2..5, filters=64249, revisions=(67102,useless=15416), ccks=8814, wck=0.241, mem=47M725
4.21/2.49 decisions=738, wrong=260, backtracks=41, failedAssignments=238, nogoods=181, foundSolutions=39, bestBound=1178
4.21/2.49
4.21/2.49 num=51, depth=2..5, filters=66533, revisions=(69147,useless=15436), ccks=8814, wck=0.245, mem=47M725
4.21/2.49 decisions=768, wrong=274, backtracks=44, failedAssignments=249, nogoods=183, foundSolutions=39, bestBound=1178
4.21/2.49
4.21/2.50 num=52, depth=3..8, filters=68490, revisions=(70588,useless=15443), ccks=8814, wck=0.249, mem=47M725
4.21/2.50 decisions=798, wrong=287, backtracks=47, failedAssignments=261, nogoods=189, foundSolutions=39, bestBound=1178
4.21/2.50
4.52/2.50 num=53, depth=2..4, filters=71932, revisions=(73572,useless=15459), ccks=8814, wck=0.255, mem=47M725
4.52/2.50 decisions=838, wrong=305, backtracks=52, failedAssignments=274, nogoods=191, foundSolutions=39, bestBound=1178
4.52/2.50
4.52/2.51 num=54, depth=1..3, filters=75512, revisions=(76268,useless=15510), ccks=8814, wck=0.261, mem=47M725
4.52/2.51 decisions=875, wrong=323, backtracks=58, failedAssignments=288, nogoods=203, foundSolutions=39, bestBound=1178
4.52/2.51
4.52/2.51 o 1174
4.52/2.51 num=55, depth=3..229, filters=76816, revisions=(77392,useless=15512), ccks=9040, wck=0.264, mem=47M725
4.52/2.51 decisions=893, wrong=329, backtracks=58, failedAssignments=294, nogoods=209, foundSolutions=40, bestBound=1174
4.52/2.51
4.52/2.52 num=56, depth=2..9, filters=79789, revisions=(80161,useless=15909), ccks=9040, wck=0.269, mem=47M725
4.52/2.52 decisions=934, wrong=348, backtracks=68, failedAssignments=311, nogoods=215, foundSolutions=40, bestBound=1174
4.52/2.52
4.52/2.52 num=57, depth=0..8, filters=81296, revisions=(81290,useless=15919), ccks=9040, wck=0.273, mem=47M725
4.52/2.52 decisions=958, wrong=359, backtracks=68, failedAssignments=322, nogoods=225, foundSolutions=40, bestBound=1174
4.52/2.52
4.52/2.52 num=58, depth=1..8, filters=83568, revisions=(83107,useless=15944), ccks=9040, wck=0.277, mem=47M725
4.52/2.52 decisions=985, wrong=371, backtracks=68, failedAssignments=334, nogoods=237, foundSolutions=40, bestBound=1174
4.52/2.52
4.52/2.53 num=59, depth=1..9, filters=86296, revisions=(85290,useless=15984), ccks=9040, wck=0.281, mem=47M725
4.52/2.53 decisions=1018, wrong=386, backtracks=70, failedAssignments=347, nogoods=250, foundSolutions=40, bestBound=1174
4.52/2.53
4.52/2.54 num=60, depth=1..11, filters=89191, revisions=(87625,useless=16036), ccks=9040, wck=0.287, mem=47M725
4.52/2.54 decisions=1053, wrong=402, backtracks=72, failedAssignments=361, nogoods=264, foundSolutions=40, bestBound=1174
4.52/2.54
4.52/2.54 num=61, depth=0..2, filters=94125, revisions=(91412,useless=16045), ccks=9040, wck=0.295, mem=47M725
4.52/2.54 decisions=1087, wrong=418, backtracks=72, failedAssignments=377, nogoods=266, foundSolutions=40, bestBound=1174
4.52/2.54
4.52/2.55 num=62, depth=0..7, filters=96410, revisions=(93264,useless=16078), ccks=9040, wck=0.3, mem=47M725
4.52/2.55 decisions=1125, wrong=436, backtracks=77, failedAssignments=394, nogoods=271, foundSolutions=40, bestBound=1174
4.52/2.55
4.52/2.55 o 1168
4.52/2.55 num=63, depth=3..229, filters=98312, revisions=(94887,useless=16087), ccks=9266, wck=0.304, mem=47M725
4.52/2.55 decisions=1155, wrong=448, backtracks=81, failedAssignments=404, nogoods=277, foundSolutions=41, bestBound=1168
4.52/2.55
4.52/2.56 num=64, depth=1..9, filters=102153, revisions=(98418,useless=16503), ccks=9266, wck=0.31, mem=47M725
4.52/2.56 decisions=1208, wrong=472, backtracks=87, failedAssignments=425, nogoods=291, foundSolutions=41, bestBound=1168
4.52/2.56
4.52/2.56 num=65, depth=3..6, filters=104031, revisions=(99958,useless=16510), ccks=9266, wck=0.313, mem=47M725
4.52/2.56 decisions=1235, wrong=483, backtracks=87, failedAssignments=436, nogoods=302, foundSolutions=41, bestBound=1168
4.52/2.56
4.52/2.56 num=66, depth=2..5, filters=105774, revisions=(101325,useless=16523), ccks=9266, wck=0.316, mem=47M725
4.52/2.56 decisions=1267, wrong=498, backtracks=92, failedAssignments=448, nogoods=307, foundSolutions=41, bestBound=1168
4.52/2.56
4.52/2.56 o 1163
4.52/2.57 num=67, depth=4..229, filters=106849, revisions=(102253,useless=16526), ccks=9492, wck=0.318, mem=47M725
4.52/2.57 decisions=1281, wrong=502, backtracks=93, failedAssignments=451, nogoods=309, foundSolutions=42, bestBound=1163
4.52/2.57
4.52/2.57 o 1143
4.52/2.57 num=68, depth=5..229, filters=108598, revisions=(104110,useless=16911), ccks=9718, wck=0.322, mem=47M725
4.52/2.57 decisions=1308, wrong=512, backtracks=94, failedAssignments=460, nogoods=314, foundSolutions=43, bestBound=1143
4.52/2.57
4.52/2.57 num=69, depth=1..7, filters=110158, revisions=(105686,useless=17305), ccks=9718, wck=0.325, mem=47M725
4.52/2.57 decisions=1336, wrong=523, backtracks=94, failedAssignments=471, nogoods=325, foundSolutions=43, bestBound=1143
4.52/2.57
4.52/2.58 num=70, depth=3..4, filters=112586, revisions=(107712,useless=17317), ccks=9718, wck=0.329, mem=47M725
4.52/2.58 decisions=1362, wrong=534, backtracks=94, failedAssignments=482, nogoods=336, foundSolutions=43, bestBound=1143
4.52/2.58
4.52/2.58 num=71, depth=1..5, filters=114454, revisions=(109123,useless=17323), ccks=9718, wck=0.332, mem=47M725
4.52/2.58 decisions=1394, wrong=549, backtracks=98, failedAssignments=494, nogoods=343, foundSolutions=43, bestBound=1143
4.52/2.58
4.52/2.58 num=72, depth=1..7, filters=115920, revisions=(110339,useless=17336), ccks=9718, wck=0.334, mem=47M725
4.52/2.58 decisions=1425, wrong=563, backtracks=101, failedAssignments=507, nogoods=349, foundSolutions=43, bestBound=1143
4.52/2.58
4.52/2.58 num=73, depth=3..5, filters=118432, revisions=(112526,useless=17355), ccks=9718, wck=0.337, mem=47M725
4.52/2.58 decisions=1466, wrong=582, backtracks=106, failedAssignments=521, nogoods=356, foundSolutions=43, bestBound=1143
4.52/2.58
4.52/2.59 num=74, depth=3..9, filters=121027, revisions=(114599,useless=17376), ccks=9718, wck=0.341, mem=47M725
4.52/2.59 decisions=1506, wrong=600, backtracks=113, failedAssignments=537, nogoods=362, foundSolutions=43, bestBound=1143
4.52/2.59
4.52/2.59 num=75, depth=1..5, filters=123150, revisions=(116274,useless=17395), ccks=9718, wck=0.344, mem=47M725
4.52/2.59 decisions=1545, wrong=619, backtracks=117, failedAssignments=554, nogoods=363, foundSolutions=43, bestBound=1143
4.52/2.59
4.52/2.60 o 1120
4.52/2.60 num=76, depth=2..229, filters=126649, revisions=(119194,useless=17467), ccks=9944, wck=0.35, mem=47M725
4.52/2.60 decisions=1586, wrong=637, backtracks=123, failedAssignments=568, nogoods=367, foundSolutions=44, bestBound=1120
4.52/2.60
4.83/2.60 o 1116
4.83/2.60 num=77, depth=5..229, filters=128285, revisions=(120972,useless=17857), ccks=10170, wck=0.353, mem=47M725
4.83/2.60 decisions=1611, wrong=646, backtracks=126, failedAssignments=575, nogoods=372, foundSolutions=45, bestBound=1116
4.83/2.60
4.83/2.60 num=78, depth=5..6, filters=130192, revisions=(122812,useless=18247), ccks=10170, wck=0.357, mem=47M725
4.83/2.60 decisions=1640, wrong=658, backtracks=127, failedAssignments=586, nogoods=380, foundSolutions=45, bestBound=1116
4.83/2.60
4.83/2.61 num=79, depth=3..6, filters=132899, revisions=(125011,useless=18272), ccks=10170, wck=0.36, mem=47M725
4.83/2.61 decisions=1671, wrong=672, backtracks=133, failedAssignments=597, nogoods=385, foundSolutions=45, bestBound=1116
4.83/2.61
4.83/2.61 num=80, depth=2..5, filters=134553, revisions=(126295,useless=18283), ccks=10170, wck=0.362, mem=47M725
4.83/2.61 decisions=1699, wrong=685, backtracks=136, failedAssignments=609, nogoods=390, foundSolutions=45, bestBound=1116
4.83/2.61
4.83/2.62 num=81, depth=0..4, filters=138288, revisions=(129408,useless=18346), ccks=10170, wck=0.367, mem=47M725
4.83/2.62 decisions=1734, wrong=701, backtracks=139, failedAssignments=622, nogoods=396, foundSolutions=45, bestBound=1116
4.83/2.62
4.83/2.62 num=82, depth=3..4, filters=141273, revisions=(131951,useless=18363), ccks=10170, wck=0.371, mem=47M725
4.83/2.62 decisions=1766, wrong=715, backtracks=139, failedAssignments=636, nogoods=410, foundSolutions=45, bestBound=1116
4.83/2.62
4.83/2.62 num=83, depth=1..8, filters=143524, revisions=(133687,useless=18386), ccks=10170, wck=0.374, mem=47M725
4.83/2.62 decisions=1805, wrong=733, backtracks=147, failedAssignments=652, nogoods=414, foundSolutions=45, bestBound=1116
4.83/2.62
4.83/2.63 o 1097
4.83/2.63 num=84, depth=3..229, filters=147006, revisions=(136591,useless=18408), ccks=10396, wck=0.38, mem=47M725
4.83/2.63 decisions=1845, wrong=750, backtracks=148, failedAssignments=668, nogoods=426, foundSolutions=46, bestBound=1097
4.83/2.63
4.83/2.63 o 1095
4.83/2.63 num=85, depth=4..229, filters=148947, revisions=(138619,useless=18805), ccks=10622, wck=0.384, mem=47M725
4.83/2.63 decisions=1870, wrong=759, backtracks=148, failedAssignments=677, nogoods=435, foundSolutions=47, bestBound=1095
4.83/2.63
4.83/2.64 num=86, depth=5..9, filters=150782, revisions=(140483,useless=19203), ccks=10622, wck=0.387, mem=47M725
4.83/2.64 decisions=1901, wrong=772, backtracks=153, failedAssignments=688, nogoods=439, foundSolutions=47, bestBound=1095
4.83/2.64
4.83/2.64 num=87, depth=3..6, filters=152919, revisions=(142283,useless=19227), ccks=10622, wck=0.39, mem=50M369
4.83/2.64 decisions=1931, wrong=785, backtracks=157, failedAssignments=699, nogoods=446, foundSolutions=47, bestBound=1095
4.83/2.64
4.83/2.64 num=88, depth=2..6, filters=155076, revisions=(143984,useless=19237), ccks=10622, wck=0.393, mem=50M369
4.83/2.64 decisions=1962, wrong=799, backtracks=164, failedAssignments=711, nogoods=450, foundSolutions=47, bestBound=1095
4.83/2.64
4.83/2.64 num=89, depth=2..6, filters=157399, revisions=(145823,useless=19257), ccks=10622, wck=0.396, mem=50M369
4.83/2.64 decisions=2004, wrong=819, backtracks=175, failedAssignments=724, nogoods=458, foundSolutions=47, bestBound=1095
4.83/2.64
4.83/2.65 num=90, depth=2..5, filters=160814, revisions=(148647,useless=19293), ccks=10622, wck=0.4, mem=50M369
4.83/2.65 decisions=2044, wrong=837, backtracks=181, failedAssignments=738, nogoods=466, foundSolutions=47, bestBound=1095
4.83/2.65
4.83/2.65 num=91, depth=3..6, filters=164161, revisions=(151501,useless=19332), ccks=10622, wck=0.404, mem=50M369
4.83/2.65 decisions=2089, wrong=858, backtracks=189, failedAssignments=754, nogoods=468, foundSolutions=47, bestBound=1095
4.83/2.65
4.83/2.65 num=92, depth=2..6, filters=166928, revisions=(153731,useless=19350), ccks=10622, wck=0.407, mem=50M369
4.83/2.65 decisions=2134, wrong=879, backtracks=199, failedAssignments=771, nogoods=475, foundSolutions=47, bestBound=1095
4.83/2.65
4.83/2.66 num=93, depth=2..7, filters=170180, revisions=(156400,useless=19383), ccks=10622, wck=0.411, mem=50M369
4.83/2.66 decisions=2178, wrong=900, backtracks=204, failedAssignments=790, nogoods=483, foundSolutions=47, bestBound=1095
4.83/2.66
4.83/2.66 num=94, depth=1..6, filters=173626, revisions=(159163,useless=19419), ccks=10622, wck=0.416, mem=50M369
4.83/2.66 decisions=2239, wrong=930, backtracks=218, failedAssignments=811, nogoods=487, foundSolutions=47, bestBound=1095
4.83/2.66
4.83/2.67 num=95, depth=2..6, filters=177216, revisions=(162180,useless=19462), ccks=10622, wck=0.419, mem=50M369
4.83/2.67 decisions=2292, wrong=955, backtracks=221, failedAssignments=834, nogoods=495, foundSolutions=47, bestBound=1095
4.83/2.67
4.83/2.67 o 1078
4.83/2.67 num=96, depth=0..229, filters=181761, revisions=(166251,useless=19521), ccks=10848, wck=0.425, mem=50M369
4.83/2.67 decisions=2345, wrong=979, backtracks=228, failedAssignments=851, nogoods=508, foundSolutions=48, bestBound=1078
4.83/2.67
4.83/2.68 o 1077
4.83/2.68 num=97, depth=4..229, filters=184234, revisions=(168734,useless=19921), ccks=11074, wck=0.429, mem=50M369
4.83/2.68 decisions=2383, wrong=994, backtracks=230, failedAssignments=864, nogoods=516, foundSolutions=49, bestBound=1077
4.83/2.68
4.83/2.68 num=98, depth=5..6, filters=186311, revisions=(170761,useless=20317), ccks=11074, wck=0.432, mem=50M369
4.83/2.68 decisions=2419, wrong=1009, backtracks=234, failedAssignments=875, nogoods=522, foundSolutions=49, bestBound=1077
4.83/2.68
4.83/2.68 num=99, depth=4..5, filters=188325, revisions=(172435,useless=20337), ccks=11074, wck=0.434, mem=50M369
4.83/2.68 decisions=2451, wrong=1023, backtracks=237, failedAssignments=886, nogoods=530, foundSolutions=49, bestBound=1077
4.83/2.68
4.83/2.68 num=100, depth=2..6, filters=190352, revisions=(174112,useless=20361), ccks=11074, wck=0.437, mem=50M369
4.83/2.68 decisions=2484, wrong=1038, backtracks=241, failedAssignments=898, nogoods=537, foundSolutions=49, bestBound=1077
4.83/2.68
4.83/2.69 num=101, depth=3..5, filters=192290, revisions=(175831,useless=20388), ccks=11074, wck=0.439, mem=50M369
4.83/2.69 decisions=2517, wrong=1053, backtracks=243, failedAssignments=911, nogoods=546, foundSolutions=49, bestBound=1077
4.83/2.69
4.83/2.69 num=102, depth=1..7, filters=194577, revisions=(177676,useless=20401), ccks=11074, wck=0.442, mem=50M369
4.83/2.69 decisions=2553, wrong=1070, backtracks=251, failedAssignments=925, nogoods=548, foundSolutions=49, bestBound=1077
4.83/2.69
4.83/2.70 num=103, depth=0..6, filters=198590, revisions=(181073,useless=20461), ccks=11074, wck=0.447, mem=50M369
4.83/2.70 decisions=2601, wrong=1092, backtracks=260, failedAssignments=941, nogoods=558, foundSolutions=49, bestBound=1077
4.83/2.70
5.14/2.70 num=104, depth=3..5, filters=201443, revisions=(183418,useless=20491), ccks=11074, wck=0.452, mem=50M369
5.14/2.70 decisions=2645, wrong=1112, backtracks=265, failedAssignments=958, nogoods=569, foundSolutions=49, bestBound=1077
5.14/2.70
5.14/2.70 num=105, depth=0..10, filters=204233, revisions=(185667,useless=20504), ccks=11074, wck=0.455, mem=50M369
5.14/2.70 decisions=2692, wrong=1134, backtracks=274, failedAssignments=977, nogoods=576, foundSolutions=49, bestBound=1077
5.14/2.70
5.14/2.71 num=106, depth=2..7, filters=206775, revisions=(187737,useless=20530), ccks=11074, wck=0.459, mem=50M369
5.14/2.71 decisions=2743, wrong=1157, backtracks=278, failedAssignments=998, nogoods=584, foundSolutions=49, bestBound=1077
5.14/2.71
5.14/2.71 num=107, depth=2..5, filters=209399, revisions=(189859,useless=20552), ccks=11074, wck=0.463, mem=50M369
5.14/2.71 decisions=2798, wrong=1183, backtracks=283, failedAssignments=1021, nogoods=593, foundSolutions=49, bestBound=1077
5.14/2.71
5.14/2.71 num=108, depth=2..9, filters=212340, revisions=(192194,useless=20561), ccks=11074, wck=0.466, mem=50M369
5.14/2.71 decisions=2859, wrong=1212, backtracks=292, failedAssignments=1046, nogoods=597, foundSolutions=49, bestBound=1077
5.14/2.71
5.14/2.72 num=109, depth=2..7, filters=215863, revisions=(195187,useless=20584), ccks=11074, wck=0.471, mem=50M369
5.14/2.72 decisions=2926, wrong=1243, backtracks=296, failedAssignments=1074, nogoods=610, foundSolutions=49, bestBound=1077
5.14/2.72
5.14/2.72 num=110, depth=1..8, filters=220488, revisions=(198820,useless=20601), ccks=11074, wck=0.476, mem=50M369
5.14/2.72 decisions=3012, wrong=1285, backtracks=313, failedAssignments=1105, nogoods=615, foundSolutions=49, bestBound=1077
5.14/2.72
5.14/2.73 num=111, depth=1..7, filters=226920, revisions=(203878,useless=20639), ccks=11074, wck=0.483, mem=50M369
5.14/2.73 decisions=3125, wrong=1341, backtracks=338, failedAssignments=1139, nogoods=619, foundSolutions=49, bestBound=1077
5.14/2.73
5.14/2.74 num=112, depth=0..5, filters=237009, revisions=(212525,useless=20780), ccks=11074, wck=0.494, mem=50M369
5.14/2.74 decisions=3238, wrong=1395, backtracks=356, failedAssignments=1176, nogoods=622, foundSolutions=49, bestBound=1077
5.14/2.74
5.14/2.75 o 1075
5.14/2.75 num=113, depth=4..229, filters=242199, revisions=(216848,useless=20855), ccks=11300, wck=0.501, mem=50M369
5.14/2.75 decisions=3321, wrong=1433, backtracks=365, failedAssignments=1207, nogoods=628, foundSolutions=50, bestBound=1075
5.14/2.75
5.14/2.75 o 1074
5.14/2.75 num=114, depth=5..229, filters=243508, revisions=(218328,useless=21249), ccks=11526, wck=0.503, mem=50M369
5.14/2.75 decisions=3340, wrong=1439, backtracks=365, failedAssignments=1213, nogoods=634, foundSolutions=51, bestBound=1074
5.14/2.75
5.14/2.75 num=115, depth=4..6, filters=245935, revisions=(220621,useless=21641), ccks=11526, wck=0.507, mem=50M369
5.14/2.75 decisions=3382, wrong=1457, backtracks=372, failedAssignments=1224, nogoods=636, foundSolutions=51, bestBound=1074
5.14/2.75
5.14/2.76 num=116, depth=4..7, filters=247717, revisions=(222107,useless=21655), ccks=11526, wck=0.509, mem=50M369
5.14/2.76 decisions=3412, wrong=1470, backtracks=375, failedAssignments=1235, nogoods=640, foundSolutions=51, bestBound=1074
5.14/2.76
5.14/2.76 num=117, depth=2..6, filters=249541, revisions=(223549,useless=21658), ccks=11526, wck=0.512, mem=50M369
5.14/2.76 decisions=3441, wrong=1483, backtracks=378, failedAssignments=1247, nogoods=648, foundSolutions=51, bestBound=1074
5.14/2.76
5.14/2.76 num=118, depth=3..7, filters=251308, revisions=(225002,useless=21674), ccks=11526, wck=0.514, mem=50M369
5.14/2.76 decisions=3475, wrong=1497, backtracks=380, failedAssignments=1260, nogoods=653, foundSolutions=51, bestBound=1074
5.14/2.76
5.14/2.76 o 1073
5.14/2.76 num=119, depth=4..229, filters=252505, revisions=(226003,useless=21685), ccks=11752, wck=0.517, mem=50M369
5.14/2.76 decisions=3495, wrong=1504, backtracks=380, failedAssignments=1267, nogoods=660, foundSolutions=52, bestBound=1073
5.14/2.76
5.14/2.77 o 1067
5.14/2.77 num=120, depth=5..229, filters=253384, revisions=(227112,useless=22078), ccks=11978, wck=0.519, mem=50M369
5.14/2.77 decisions=3506, wrong=1506, backtracks=380, failedAssignments=1269, nogoods=662, foundSolutions=53, bestBound=1067
5.14/2.77
5.14/2.77 num=121, depth=4..7, filters=255017, revisions=(228778,useless=22466), ccks=11978, wck=0.522, mem=50M369
5.14/2.77 decisions=3534, wrong=1518, backtracks=383, failedAssignments=1280, nogoods=664, foundSolutions=53, bestBound=1067
5.14/2.77
5.14/2.77 num=122, depth=2..8, filters=256961, revisions=(230325,useless=22474), ccks=11978, wck=0.525, mem=50M369
5.14/2.77 decisions=3564, wrong=1531, backtracks=391, failedAssignments=1291, nogoods=669, foundSolutions=53, bestBound=1067
5.14/2.77
5.14/2.77 num=123, depth=5..8, filters=258628, revisions=(231629,useless=22479), ccks=11978, wck=0.527, mem=50M369
5.14/2.77 decisions=3595, wrong=1544, backtracks=394, failedAssignments=1303, nogoods=672, foundSolutions=53, bestBound=1067
5.14/2.77
5.14/2.78 num=124, depth=2..6, filters=260340, revisions=(232931,useless=22482), ccks=11978, wck=0.53, mem=50M369
5.14/2.78 decisions=3626, wrong=1558, backtracks=398, failedAssignments=1316, nogoods=676, foundSolutions=53, bestBound=1067
5.14/2.78
5.14/2.78 num=125, depth=3..5, filters=262758, revisions=(234964,useless=22511), ccks=11978, wck=0.533, mem=50M369
5.14/2.78 decisions=3661, wrong=1574, backtracks=400, failedAssignments=1330, nogoods=678, foundSolutions=53, bestBound=1067
5.14/2.78
5.14/2.78 num=126, depth=3..6, filters=265577, revisions=(237250,useless=22561), ccks=11978, wck=0.537, mem=50M369
5.14/2.78 decisions=3705, wrong=1594, backtracks=406, failedAssignments=1346, nogoods=684, foundSolutions=53, bestBound=1067
5.14/2.78
5.14/2.79 num=127, depth=2..6, filters=268529, revisions=(239582,useless=22577), ccks=11978, wck=0.54, mem=50M369
5.14/2.79 decisions=3748, wrong=1614, backtracks=413, failedAssignments=1363, nogoods=694, foundSolutions=53, bestBound=1067
5.14/2.79
5.14/2.79 num=128, depth=0..8, filters=271145, revisions=(241739,useless=22601), ccks=11978, wck=0.544, mem=50M369
5.14/2.79 decisions=3796, wrong=1635, backtracks=416, failedAssignments=1382, nogoods=707, foundSolutions=53, bestBound=1067
5.14/2.79
5.14/2.79 o 1051
5.14/2.80 num=129, depth=4..229, filters=273206, revisions=(243420,useless=22617), ccks=12204, wck=0.548, mem=50M369
5.14/2.80 decisions=3832, wrong=1650, backtracks=420, failedAssignments=1395, nogoods=711, foundSolutions=54, bestBound=1051
5.14/2.80
5.14/2.80 o 1025
5.47/2.81 num=130, depth=4..229, filters=275398, revisions=(245631,useless=23023), ccks=12430, wck=0.552, mem=50M369
5.47/2.81 decisions=3867, wrong=1664, backtracks=422, failedAssignments=1407, nogoods=716, foundSolutions=55, bestBound=1025
5.47/2.81
5.47/2.81 num=131, depth=5..9, filters=277052, revisions=(247342,useless=23414), ccks=12430, wck=0.555, mem=50M369
5.47/2.81 decisions=3896, wrong=1676, backtracks=426, failedAssignments=1418, nogoods=718, foundSolutions=55, bestBound=1025
5.47/2.81
5.47/2.81 num=132, depth=1..5, filters=278693, revisions=(248558,useless=23419), ccks=12430, wck=0.557, mem=50M369
5.47/2.81 decisions=3923, wrong=1689, backtracks=430, failedAssignments=1429, nogoods=719, foundSolutions=55, bestBound=1025
5.47/2.81
5.47/2.81 num=133, depth=4..7, filters=280654, revisions=(250153,useless=23431), ccks=12430, wck=0.56, mem=50M369
5.47/2.81 decisions=3959, wrong=1705, backtracks=437, failedAssignments=1441, nogoods=726, foundSolutions=55, bestBound=1025
5.47/2.81
5.47/2.81 num=134, depth=3..8, filters=282659, revisions=(251803,useless=23453), ccks=12430, wck=0.563, mem=50M369
5.47/2.81 decisions=3994, wrong=1720, backtracks=441, failedAssignments=1454, nogoods=730, foundSolutions=55, bestBound=1025
5.47/2.81
5.47/2.81 num=135, depth=3..7, filters=284628, revisions=(253440,useless=23474), ccks=12430, wck=0.566, mem=50M369
5.47/2.81 decisions=4029, wrong=1736, backtracks=448, failedAssignments=1468, nogoods=735, foundSolutions=55, bestBound=1025
5.47/2.81
5.47/2.82 num=136, depth=3..5, filters=287014, revisions=(255407,useless=23503), ccks=12430, wck=0.569, mem=50M369
5.47/2.82 decisions=4073, wrong=1756, backtracks=453, failedAssignments=1484, nogoods=741, foundSolutions=55, bestBound=1025
5.47/2.82
5.47/2.82 num=137, depth=2..6, filters=290623, revisions=(258443,useless=23547), ccks=12430, wck=0.573, mem=50M369
5.47/2.82 decisions=4127, wrong=1781, backtracks=462, failedAssignments=1501, nogoods=747, foundSolutions=55, bestBound=1025
5.47/2.82
5.47/2.82 num=138, depth=2..5, filters=293386, revisions=(260698,useless=23571), ccks=12430, wck=0.576, mem=50M369
5.47/2.82 decisions=4178, wrong=1805, backtracks=469, failedAssignments=1520, nogoods=753, foundSolutions=55, bestBound=1025
5.47/2.82
5.47/2.83 num=139, depth=3..7, filters=297509, revisions=(264136,useless=23642), ccks=12430, wck=0.581, mem=50M369
5.47/2.83 decisions=4237, wrong=1832, backtracks=480, failedAssignments=1541, nogoods=757, foundSolutions=55, bestBound=1025
5.47/2.83
5.47/2.83 num=140, depth=2..10, filters=301046, revisions=(266983,useless=23653), ccks=12430, wck=0.586, mem=53M11
5.47/2.83 decisions=4291, wrong=1857, backtracks=491, failedAssignments=1564, nogoods=767, foundSolutions=55, bestBound=1025
5.47/2.83
5.47/2.84 num=141, depth=4..8, filters=305185, revisions=(270449,useless=23691), ccks=12430, wck=0.591, mem=53M11
5.47/2.84 decisions=4352, wrong=1885, backtracks=497, failedAssignments=1589, nogoods=778, foundSolutions=55, bestBound=1025
5.47/2.84
5.47/2.84 num=142, depth=2..5, filters=309455, revisions=(273990,useless=23747), ccks=12430, wck=0.596, mem=53M11
5.47/2.84 decisions=4423, wrong=1919, backtracks=505, failedAssignments=1617, nogoods=790, foundSolutions=55, bestBound=1025
5.47/2.84
5.47/2.85 num=143, depth=0..6, filters=316178, revisions=(279495,useless=23854), ccks=12430, wck=0.603, mem=53M11
5.47/2.85 decisions=4531, wrong=1970, backtracks=526, failedAssignments=1648, nogoods=792, foundSolutions=55, bestBound=1025
5.47/2.85
5.47/2.86 num=144, depth=3..6, filters=321228, revisions=(283632,useless=23924), ccks=12430, wck=0.61, mem=53M11
5.47/2.86 decisions=4620, wrong=2013, backtracks=538, failedAssignments=1682, nogoods=799, foundSolutions=55, bestBound=1025
5.47/2.86
5.47/2.86 o 1007
5.47/2.86 num=145, depth=2..229, filters=325245, revisions=(286811,useless=23948), ccks=12656, wck=0.615, mem=53M11
5.47/2.86 decisions=4682, wrong=2042, backtracks=553, failedAssignments=1708, nogoods=810, foundSolutions=56, bestBound=1007
5.47/2.86
5.47/2.87 o 1003
5.47/2.87 num=146, depth=5..229, filters=326643, revisions=(288351,useless=24339), ccks=12882, wck=0.618, mem=53M11
5.47/2.87 decisions=4701, wrong=2048, backtracks=553, failedAssignments=1714, nogoods=816, foundSolutions=57, bestBound=1003
5.47/2.87
5.47/2.87 num=147, depth=5..9, filters=328289, revisions=(290069,useless=24727), ccks=12882, wck=0.621, mem=53M11
5.47/2.87 decisions=4730, wrong=2060, backtracks=557, failedAssignments=1725, nogoods=819, foundSolutions=57, bestBound=1003
5.47/2.87
5.47/2.87 num=148, depth=2..7, filters=330448, revisions=(291784,useless=24732), ccks=12882, wck=0.624, mem=53M11
5.47/2.87 decisions=4759, wrong=2073, backtracks=565, failedAssignments=1736, nogoods=822, foundSolutions=57, bestBound=1003
5.47/2.87
5.47/2.87 num=149, depth=2..6, filters=332209, revisions=(293217,useless=24747), ccks=12882, wck=0.626, mem=53M11
5.47/2.87 decisions=4792, wrong=2088, backtracks=571, failedAssignments=1748, nogoods=826, foundSolutions=57, bestBound=1003
5.47/2.87
5.47/2.88 num=150, depth=4..6, filters=334900, revisions=(295451,useless=24784), ccks=12882, wck=0.629, mem=53M11
5.47/2.88 decisions=4832, wrong=2106, backtracks=577, failedAssignments=1761, nogoods=834, foundSolutions=57, bestBound=1003
5.47/2.88
5.47/2.88 num=151, depth=3..5, filters=337183, revisions=(297222,useless=24792), ccks=12882, wck=0.632, mem=53M11
5.47/2.88 decisions=4873, wrong=2125, backtracks=584, failedAssignments=1775, nogoods=843, foundSolutions=57, bestBound=1003
5.47/2.88
5.47/2.88 num=152, depth=3..7, filters=340081, revisions=(299622,useless=24808), ccks=12882, wck=0.636, mem=53M11
5.47/2.88 decisions=4922, wrong=2148, backtracks=596, failedAssignments=1791, nogoods=847, foundSolutions=57, bestBound=1003
5.47/2.88
5.47/2.89 num=153, depth=3..6, filters=343452, revisions=(302439,useless=24847), ccks=12882, wck=0.639, mem=53M11
5.47/2.89 decisions=4967, wrong=2169, backtracks=602, failedAssignments=1808, nogoods=853, foundSolutions=57, bestBound=1003
5.47/2.89
5.47/2.89 o 976
5.47/2.89 num=154, depth=231..229, filters=343981, revisions=(302852,useless=24850), ccks=13108, wck=0.641, mem=53M11
5.47/2.89 decisions=4971, wrong=2169, backtracks=602, failedAssignments=1808, nogoods=853, foundSolutions=58, bestBound=976
5.47/2.89
5.47/2.89 num=155, depth=4..8, filters=346918, revisions=(305623,useless=25257), ccks=13108, wck=0.645, mem=53M11
5.47/2.89 decisions=5024, wrong=2193, backtracks=607, failedAssignments=1829, nogoods=857, foundSolutions=58, bestBound=976
5.47/2.89
5.47/2.90 num=156, depth=1..6, filters=349056, revisions=(307327,useless=25275), ccks=13108, wck=0.648, mem=53M11
5.47/2.90 decisions=5054, wrong=2206, backtracks=609, failedAssignments=1840, nogoods=865, foundSolutions=58, bestBound=976
5.47/2.90
5.78/2.90 num=157, depth=2..7, filters=351131, revisions=(309033,useless=25281), ccks=13108, wck=0.651, mem=53M11
5.78/2.90 decisions=5088, wrong=2222, backtracks=620, failedAssignments=1852, nogoods=867, foundSolutions=58, bestBound=976
5.78/2.90
5.78/2.90 num=158, depth=3..4, filters=353973, revisions=(311487,useless=25359), ccks=13108, wck=0.655, mem=53M11
5.78/2.90 decisions=5119, wrong=2236, backtracks=621, failedAssignments=1865, nogoods=877, foundSolutions=58, bestBound=976
5.78/2.90
5.78/2.91 num=159, depth=3..7, filters=356222, revisions=(313255,useless=25375), ccks=13108, wck=0.658, mem=53M11
5.78/2.91 decisions=5153, wrong=2251, backtracks=625, failedAssignments=1879, nogoods=886, foundSolutions=58, bestBound=976
5.78/2.91
5.78/2.91 num=160, depth=2..6, filters=358971, revisions=(315545,useless=25400), ccks=13108, wck=0.661, mem=53M11
5.78/2.91 decisions=5197, wrong=2272, backtracks=635, failedAssignments=1895, nogoods=888, foundSolutions=58, bestBound=976
5.78/2.91
5.78/2.91 num=161, depth=2..7, filters=362050, revisions=(318084,useless=25448), ccks=13108, wck=0.664, mem=53M11
5.78/2.91 decisions=5243, wrong=2293, backtracks=643, failedAssignments=1912, nogoods=894, foundSolutions=58, bestBound=976
5.78/2.91
5.78/2.91 num=162, depth=2..8, filters=365190, revisions=(320594,useless=25481), ccks=13108, wck=0.667, mem=53M11
5.78/2.91 decisions=5291, wrong=2315, backtracks=650, failedAssignments=1931, nogoods=899, foundSolutions=58, bestBound=976
5.78/2.91
5.78/2.92 num=163, depth=3..7, filters=368443, revisions=(323249,useless=25513), ccks=13108, wck=0.67, mem=53M11
5.78/2.92 decisions=5352, wrong=2344, backtracks=661, failedAssignments=1952, nogoods=902, foundSolutions=58, bestBound=976
5.78/2.92
5.78/2.92 num=164, depth=4..8, filters=372683, revisions=(326814,useless=25622), ccks=13108, wck=0.674, mem=53M11
5.78/2.92 decisions=5412, wrong=2372, backtracks=670, failedAssignments=1975, nogoods=914, foundSolutions=58, bestBound=976
5.78/2.92
5.78/2.92 num=165, depth=3..6, filters=376328, revisions=(329777,useless=25647), ccks=13108, wck=0.678, mem=53M11
5.78/2.92 decisions=5473, wrong=2401, backtracks=677, failedAssignments=2000, nogoods=923, foundSolutions=58, bestBound=976
5.78/2.92
5.78/2.93 num=166, depth=2..7, filters=381068, revisions=(333708,useless=25686), ccks=13108, wck=0.682, mem=53M11
5.78/2.93 decisions=5557, wrong=2442, backtracks=699, failedAssignments=2028, nogoods=928, foundSolutions=58, bestBound=976
5.78/2.93
5.78/2.94 num=167, depth=3..7, filters=386385, revisions=(338132,useless=25761), ccks=13108, wck=0.691, mem=53M11
5.78/2.94 decisions=5647, wrong=2485, backtracks=717, failedAssignments=2059, nogoods=933, foundSolutions=58, bestBound=976
5.78/2.94
5.78/2.94 num=168, depth=2..7, filters=392633, revisions=(343249,useless=25809), ccks=13108, wck=0.697, mem=53M11
5.78/2.94 decisions=5736, wrong=2527, backtracks=730, failedAssignments=2093, nogoods=942, foundSolutions=58, bestBound=976
5.78/2.94
5.78/2.95 num=169, depth=2..6, filters=400795, revisions=(350137,useless=26051), ccks=13108, wck=0.706, mem=53M11
5.78/2.95 decisions=5842, wrong=2579, backtracks=747, failedAssignments=2130, nogoods=943, foundSolutions=58, bestBound=976
5.78/2.95
5.78/2.96 num=170, depth=2..7, filters=408360, revisions=(356525,useless=26099), ccks=13108, wck=0.714, mem=53M11
5.78/2.96 decisions=5953, wrong=2633, backtracks=768, failedAssignments=2171, nogoods=948, foundSolutions=58, bestBound=976
5.78/2.96
5.78/2.97 num=171, depth=2..7, filters=418341, revisions=(365092,useless=26296), ccks=13108, wck=0.724, mem=53M11
5.78/2.97 decisions=6082, wrong=2696, backtracks=793, failedAssignments=2216, nogoods=950, foundSolutions=58, bestBound=976
5.78/2.97
5.78/2.98 num=172, depth=2..8, filters=431873, revisions=(377003,useless=26606), ccks=13108, wck=0.738, mem=53M11
5.78/2.98 decisions=6257, wrong=2782, backtracks=845, failedAssignments=2266, nogoods=955, foundSolutions=58, bestBound=976
5.78/2.98
5.78/3.00 num=173, depth=2..7, filters=446626, revisions=(389992,useless=26886), ccks=13108, wck=0.757, mem=53M11
5.78/3.00 decisions=6412, wrong=2858, backtracks=879, failedAssignments=2321, nogoods=960, foundSolutions=58, bestBound=976
5.78/3.00
5.98/3.02 num=174, depth=1..7, filters=460904, revisions=(402292,useless=27098), ccks=13108, wck=0.772, mem=53M11
5.98/3.02 decisions=6562, wrong=2931, backtracks=899, failedAssignments=2382, nogoods=968, foundSolutions=58, bestBound=976
5.98/3.02
5.98/3.03 num=175, depth=0..6, filters=470610, revisions=(410388,useless=27193), ccks=13108, wck=0.782, mem=53M11
5.98/3.03 decisions=6736, wrong=3016, backtracks=923, failedAssignments=2449, nogoods=971, foundSolutions=58, bestBound=976
5.98/3.03
5.98/3.04 num=176, depth=1..10, filters=486255, revisions=(423465,useless=27451), ccks=13108, wck=0.798, mem=53M11
5.98/3.04 decisions=6964, wrong=3128, backtracks=970, failedAssignments=2523, nogoods=977, foundSolutions=58, bestBound=976
5.98/3.04
5.98/3.06 num=177, depth=0..8, filters=497891, revisions=(432805,useless=27550), ccks=13108, wck=0.811, mem=53M11
5.98/3.06 decisions=7158, wrong=3223, backtracks=997, failedAssignments=2604, nogoods=982, foundSolutions=58, bestBound=976
5.98/3.06
5.98/3.07 num=178, depth=1..7, filters=511849, revisions=(444518,useless=27679), ccks=13108, wck=0.824, mem=53M11
5.98/3.07 decisions=7403, wrong=3344, backtracks=1041, failedAssignments=2693, nogoods=988, foundSolutions=58, bestBound=976
5.98/3.07
5.98/3.08 num=179, depth=1..9, filters=529668, revisions=(459526,useless=27740), ccks=13108, wck=0.838, mem=53M11
5.98/3.08 decisions=7680, wrong=3481, backtracks=1112, failedAssignments=2791, nogoods=999, foundSolutions=58, bestBound=976
5.98/3.08
5.98/3.09 o 964
5.98/3.09 num=180, depth=1..229, filters=537246, revisions=(465654,useless=27883), ccks=13334, wck=0.845, mem=53M11
5.98/3.09 decisions=7798, wrong=3537, backtracks=1130, failedAssignments=2838, nogoods=1009, foundSolutions=59, bestBound=964
5.98/3.09
5.98/3.10 o 963
5.98/3.10 num=181, depth=4..229, filters=544360, revisions=(471828,useless=28354), ccks=13560, wck=0.852, mem=53M11
5.98/3.10 decisions=7915, wrong=3592, backtracks=1147, failedAssignments=2881, nogoods=1017, foundSolutions=60, bestBound=963
5.98/3.10
5.98/3.10 num=182, depth=5..6, filters=546085, revisions=(473610,useless=28742), ccks=13560, wck=0.854, mem=53M11
5.98/3.10 decisions=7944, wrong=3604, backtracks=1148, failedAssignments=2892, nogoods=1022, foundSolutions=60, bestBound=963
5.98/3.10
5.98/3.10 num=183, depth=4..9, filters=548043, revisions=(475190,useless=28749), ccks=13560, wck=0.856, mem=53M11
5.98/3.10 decisions=7973, wrong=3616, backtracks=1151, failedAssignments=2903, nogoods=1030, foundSolutions=60, bestBound=963
5.98/3.10
5.98/3.10 num=184, depth=2..7, filters=549742, revisions=(476573,useless=28762), ccks=13560, wck=0.857, mem=53M11
5.98/3.10 decisions=8003, wrong=3630, backtracks=1156, failedAssignments=2915, nogoods=1031, foundSolutions=60, bestBound=963
5.98/3.10
5.98/3.11 num=185, depth=4..8, filters=551525, revisions=(477926,useless=28774), ccks=13560, wck=0.859, mem=53M11
5.98/3.11 decisions=8036, wrong=3644, backtracks=1157, failedAssignments=2928, nogoods=1039, foundSolutions=60, bestBound=963
5.98/3.11
6.16/3.11 num=186, depth=3..6, filters=553679, revisions=(479642,useless=28782), ccks=13560, wck=0.862, mem=53M11
6.16/3.11 decisions=8071, wrong=3660, backtracks=1163, failedAssignments=2942, nogoods=1042, foundSolutions=60, bestBound=963
6.16/3.11
6.16/3.11 num=187, depth=1..4, filters=556064, revisions=(481488,useless=28802), ccks=13560, wck=0.864, mem=53M11
6.16/3.11 decisions=8110, wrong=3679, backtracks=1166, failedAssignments=2958, nogoods=1049, foundSolutions=60, bestBound=963
6.16/3.11
6.16/3.11 num=188, depth=4..6, filters=558807, revisions=(483616,useless=28830), ccks=13560, wck=0.867, mem=53M11
6.16/3.11 decisions=8155, wrong=3699, backtracks=1171, failedAssignments=2975, nogoods=1055, foundSolutions=60, bestBound=963
6.16/3.11
6.16/3.12 num=189, depth=2..6, filters=562059, revisions=(486318,useless=28855), ccks=13560, wck=0.87, mem=53M11
6.16/3.12 decisions=8203, wrong=3721, backtracks=1177, failedAssignments=2994, nogoods=1058, foundSolutions=60, bestBound=963
6.16/3.12
6.16/3.12 num=190, depth=1..10, filters=566770, revisions=(490445,useless=28929), ccks=13560, wck=0.874, mem=53M11
6.16/3.12 decisions=8265, wrong=3749, backtracks=1189, failedAssignments=3015, nogoods=1066, foundSolutions=60, bestBound=963
6.16/3.12
6.16/3.13 num=191, depth=1..8, filters=571203, revisions=(494232,useless=28987), ccks=13560, wck=0.878, mem=53M11
6.16/3.13 decisions=8328, wrong=3778, backtracks=1198, failedAssignments=3038, nogoods=1074, foundSolutions=60, bestBound=963
6.16/3.13
6.16/3.13 o 936
6.16/3.13 num=192, depth=4..229, filters=574209, revisions=(496766,useless=28996), ccks=13786, wck=0.881, mem=53M11
6.16/3.13 decisions=8372, wrong=3797, backtracks=1204, failedAssignments=3054, nogoods=1083, foundSolutions=61, bestBound=936
6.16/3.13
6.16/3.13 o 930
6.16/3.13 num=193, depth=5..229, filters=576831, revisions=(499237,useless=29396), ccks=14012, wck=0.884, mem=53M11
6.16/3.13 decisions=8419, wrong=3817, backtracks=1209, failedAssignments=3070, nogoods=1089, foundSolutions=62, bestBound=930
6.16/3.13
6.16/3.13 num=194, depth=4..7, filters=579343, revisions=(501685,useless=29815), ccks=14012, wck=0.887, mem=53M11
6.16/3.13 decisions=8451, wrong=3831, backtracks=1214, failedAssignments=3081, nogoods=1090, foundSolutions=62, bestBound=930
6.16/3.13
6.16/3.13 o 927
6.16/3.14 num=195, depth=5..229, filters=580006, revisions=(502235,useless=29821), ccks=14238, wck=0.888, mem=53M11
6.16/3.14 decisions=8459, wrong=3832, backtracks=1214, failedAssignments=3082, nogoods=1091, foundSolutions=63, bestBound=927
6.16/3.14
6.16/3.14 num=196, depth=4..7, filters=582337, revisions=(504492,useless=30230), ccks=14238, wck=0.891, mem=53M11
6.16/3.14 decisions=8499, wrong=3850, backtracks=1221, failedAssignments=3094, nogoods=1092, foundSolutions=63, bestBound=927
6.16/3.14
6.16/3.14 num=197, depth=1..7, filters=584299, revisions=(506094,useless=30269), ccks=14238, wck=0.893, mem=55M654
6.16/3.14 decisions=8527, wrong=3862, backtracks=1224, failedAssignments=3105, nogoods=1099, foundSolutions=63, bestBound=927
6.16/3.14
6.16/3.14 num=198, depth=0..7, filters=586599, revisions=(507973,useless=30292), ccks=14238, wck=0.895, mem=55M654
6.16/3.14 decisions=8561, wrong=3877, backtracks=1230, failedAssignments=3117, nogoods=1102, foundSolutions=63, bestBound=927
6.16/3.14
6.16/3.14 num=199, depth=0..7, filters=589386, revisions=(510316,useless=30340), ccks=14238, wck=0.898, mem=55M654
6.16/3.14 decisions=8601, wrong=3895, backtracks=1238, failedAssignments=3130, nogoods=1109, foundSolutions=63, bestBound=927
6.16/3.14
6.16/3.15 num=200, depth=3..6, filters=591464, revisions=(511950,useless=30346), ccks=14238, wck=0.9, mem=55M654
6.16/3.15 decisions=8636, wrong=3911, backtracks=1244, failedAssignments=3144, nogoods=1111, foundSolutions=63, bestBound=927
6.16/3.15
6.16/3.15 num=201, depth=1..4, filters=595402, revisions=(515221,useless=30375), ccks=14238, wck=0.903, mem=55M654
6.16/3.15 decisions=8691, wrong=3937, backtracks=1254, failedAssignments=3160, nogoods=1115, foundSolutions=63, bestBound=927
6.16/3.15
6.16/3.15 num=202, depth=4..6, filters=598486, revisions=(517816,useless=30396), ccks=14238, wck=0.905, mem=55M654
6.16/3.15 decisions=8736, wrong=3957, backtracks=1259, failedAssignments=3177, nogoods=1122, foundSolutions=63, bestBound=927
6.16/3.15
6.16/3.16 num=203, depth=3..8, filters=602135, revisions=(520878,useless=30463), ccks=14238, wck=0.909, mem=55M654
6.16/3.16 decisions=8788, wrong=3981, backtracks=1268, failedAssignments=3196, nogoods=1129, foundSolutions=63, bestBound=927
6.16/3.16
6.16/3.16 num=204, depth=2..6, filters=605342, revisions=(523419,useless=30484), ccks=14238, wck=0.912, mem=55M654
6.16/3.16 decisions=8841, wrong=4006, backtracks=1275, failedAssignments=3217, nogoods=1132, foundSolutions=63, bestBound=927
6.16/3.16
6.16/3.16 o 915
6.16/3.16 num=205, depth=5..229, filters=606153, revisions=(524064,useless=30491), ccks=14464, wck=0.913, mem=55M654
6.16/3.16 decisions=8855, wrong=4010, backtracks=1275, failedAssignments=3221, nogoods=1136, foundSolutions=64, bestBound=915
6.16/3.16
6.16/3.16 num=206, depth=5..7, filters=609541, revisions=(527119,useless=30899), ccks=14464, wck=0.917, mem=55M654
6.16/3.16 decisions=8919, wrong=4039, backtracks=1281, failedAssignments=3246, nogoods=1143, foundSolutions=64, bestBound=915
6.16/3.16
6.16/3.17 num=207, depth=3..4, filters=611276, revisions=(528503,useless=30907), ccks=14464, wck=0.918, mem=55M654
6.16/3.17 decisions=8947, wrong=4051, backtracks=1282, failedAssignments=3257, nogoods=1150, foundSolutions=64, bestBound=915
6.16/3.17
6.16/3.17 num=208, depth=4..8, filters=613153, revisions=(530039,useless=30911), ccks=14464, wck=0.92, mem=55M654
6.16/3.17 decisions=8978, wrong=4064, backtracks=1286, failedAssignments=3269, nogoods=1158, foundSolutions=64, bestBound=915
6.16/3.17
6.16/3.17 num=209, depth=3..8, filters=615887, revisions=(532323,useless=30940), ccks=14464, wck=0.923, mem=55M654
6.16/3.17 decisions=9021, wrong=4084, backtracks=1298, failedAssignments=3282, nogoods=1159, foundSolutions=64, bestBound=915
6.16/3.17
6.16/3.17 num=210, depth=3..5, filters=618431, revisions=(534371,useless=30962), ccks=14464, wck=0.925, mem=55M654
6.16/3.17 decisions=9059, wrong=4101, backtracks=1301, failedAssignments=3296, nogoods=1164, foundSolutions=64, bestBound=915
6.16/3.17
6.16/3.17 o 909
6.16/3.17 num=211, depth=5..229, filters=619026, revisions=(534856,useless=30968), ccks=14690, wck=0.926, mem=55M654
6.16/3.17 decisions=9067, wrong=4102, backtracks=1301, failedAssignments=3297, nogoods=1165, foundSolutions=65, bestBound=909
6.16/3.17
6.16/3.18 o 904
6.16/3.18 num=212, depth=5..229, filters=620702, revisions=(536538,useless=31360), ccks=14916, wck=0.929, mem=55M654
6.16/3.18 decisions=9096, wrong=4113, backtracks=1304, failedAssignments=3306, nogoods=1168, foundSolutions=66, bestBound=904
6.16/3.18
6.16/3.18 num=213, depth=5..10, filters=622647, revisions=(538481,useless=31754), ccks=14916, wck=0.931, mem=55M654
6.16/3.18 decisions=9126, wrong=4125, backtracks=1306, failedAssignments=3317, nogoods=1176, foundSolutions=66, bestBound=904
6.16/3.18
6.16/3.18 num=214, depth=3..5, filters=624494, revisions=(539958,useless=31767), ccks=14916, wck=0.933, mem=55M654
6.16/3.18 decisions=9158, wrong=4139, backtracks=1309, failedAssignments=3328, nogoods=1183, foundSolutions=66, bestBound=904
6.16/3.18
6.16/3.18 num=215, depth=3..5, filters=626498, revisions=(541630,useless=31779), ccks=14916, wck=0.934, mem=55M654
6.16/3.18 decisions=9194, wrong=4155, backtracks=1313, failedAssignments=3340, nogoods=1190, foundSolutions=66, bestBound=904
6.16/3.18
6.16/3.18 o 895
6.16/3.18 num=216, depth=5..229, filters=627232, revisions=(542219,useless=31784), ccks=15142, wck=0.936, mem=55M654
6.16/3.18 decisions=9202, wrong=4156, backtracks=1313, failedAssignments=3341, nogoods=1191, foundSolutions=67, bestBound=895
6.16/3.18
6.16/3.18 o 889
6.16/3.18 num=217, depth=5..229, filters=628406, revisions=(543546,useless=32176), ccks=15368, wck=0.938, mem=55M654
6.16/3.18 decisions=9219, wrong=4161, backtracks=1315, failedAssignments=3344, nogoods=1193, foundSolutions=68, bestBound=889
6.16/3.18
6.16/3.19 num=218, depth=5..9, filters=630383, revisions=(545531,useless=32568), ccks=15368, wck=0.94, mem=55M654
6.16/3.19 decisions=9248, wrong=4173, backtracks=1319, failedAssignments=3355, nogoods=1198, foundSolutions=68, bestBound=889
6.16/3.19
6.16/3.19 num=219, depth=4..10, filters=631950, revisions=(546798,useless=32571), ccks=15368, wck=0.941, mem=55M654
6.16/3.19 decisions=9276, wrong=4185, backtracks=1324, failedAssignments=3366, nogoods=1203, foundSolutions=68, bestBound=889
6.16/3.19
6.16/3.19 num=220, depth=2..6, filters=636105, revisions=(550373,useless=32647), ccks=15368, wck=0.945, mem=55M654
6.16/3.19 decisions=9326, wrong=4208, backtracks=1338, failedAssignments=3378, nogoods=1205, foundSolutions=68, bestBound=889
6.16/3.19
6.16/3.19 num=221, depth=4..6, filters=637756, revisions=(551663,useless=32661), ccks=15368, wck=0.947, mem=55M654
6.16/3.19 decisions=9358, wrong=4222, backtracks=1340, failedAssignments=3391, nogoods=1210, foundSolutions=68, bestBound=889
6.16/3.19
6.16/3.20 num=222, depth=4..7, filters=639970, revisions=(553435,useless=32671), ccks=15368, wck=0.949, mem=55M654
6.16/3.20 decisions=9395, wrong=4238, backtracks=1343, failedAssignments=3405, nogoods=1221, foundSolutions=68, bestBound=889
6.16/3.20
6.30/3.20 o 881
6.30/3.20 num=223, depth=4..229, filters=641823, revisions=(554940,useless=32674), ccks=15594, wck=0.951, mem=55M654
6.30/3.20 decisions=9427, wrong=4251, backtracks=1349, failedAssignments=3415, nogoods=1226, foundSolutions=69, bestBound=881
6.30/3.20
6.30/3.20 num=224, depth=4..6, filters=644996, revisions=(557835,useless=33084), ccks=15594, wck=0.955, mem=55M654
6.30/3.20 decisions=9478, wrong=4274, backtracks=1355, failedAssignments=3432, nogoods=1230, foundSolutions=69, bestBound=881
6.30/3.20
6.30/3.20 num=225, depth=4..7, filters=646843, revisions=(559305,useless=33093), ccks=15594, wck=0.957, mem=55M654
6.30/3.20 decisions=9508, wrong=4287, backtracks=1358, failedAssignments=3443, nogoods=1239, foundSolutions=69, bestBound=881
6.30/3.20
6.30/3.21 num=226, depth=3..7, filters=648774, revisions=(560835,useless=33101), ccks=15594, wck=0.959, mem=55M654
6.30/3.21 decisions=9540, wrong=4301, backtracks=1361, failedAssignments=3455, nogoods=1245, foundSolutions=69, bestBound=881
6.30/3.21
6.30/3.21 num=227, depth=3..5, filters=650860, revisions=(562502,useless=33123), ccks=15594, wck=0.961, mem=55M654
6.30/3.21 decisions=9574, wrong=4316, backtracks=1363, failedAssignments=3468, nogoods=1248, foundSolutions=69, bestBound=881
6.30/3.21
6.30/3.21 num=228, depth=2..5, filters=653152, revisions=(564414,useless=33153), ccks=15594, wck=0.963, mem=55M654
6.30/3.21 decisions=9613, wrong=4333, backtracks=1366, failedAssignments=3482, nogoods=1250, foundSolutions=69, bestBound=881
6.30/3.21
6.30/3.21 num=229, depth=4..8, filters=655864, revisions=(566548,useless=33179), ccks=15594, wck=0.965, mem=55M654
6.30/3.21 decisions=9657, wrong=4353, backtracks=1374, failedAssignments=3498, nogoods=1257, foundSolutions=69, bestBound=881
6.30/3.21
6.30/3.22 num=230, depth=2..6, filters=658926, revisions=(569066,useless=33203), ccks=15594, wck=0.968, mem=55M654
6.30/3.22 decisions=9705, wrong=4375, backtracks=1383, failedAssignments=3515, nogoods=1260, foundSolutions=69, bestBound=881
6.30/3.22
6.30/3.22 num=231, depth=3..7, filters=662346, revisions=(571848,useless=33246), ccks=15594, wck=0.971, mem=55M654
6.30/3.22 decisions=9764, wrong=4402, backtracks=1393, failedAssignments=3534, nogoods=1264, foundSolutions=69, bestBound=881
6.30/3.22
6.30/3.22 num=232, depth=1..6, filters=667216, revisions=(576042,useless=33323), ccks=15594, wck=0.976, mem=55M654
6.30/3.22 decisions=9829, wrong=4432, backtracks=1404, failedAssignments=3555, nogoods=1273, foundSolutions=69, bestBound=881
6.30/3.22
6.30/3.23 num=233, depth=3..7, filters=670093, revisions=(578419,useless=33337), ccks=15594, wck=0.978, mem=55M654
6.30/3.23 decisions=9887, wrong=4459, backtracks=1413, failedAssignments=3578, nogoods=1280, foundSolutions=69, bestBound=881
6.30/3.23
6.30/3.23 num=234, depth=2..6, filters=674213, revisions=(581785,useless=33367), ccks=15594, wck=0.982, mem=55M654
6.30/3.23 decisions=9957, wrong=4492, backtracks=1423, failedAssignments=3603, nogoods=1293, foundSolutions=69, bestBound=881
6.30/3.23
6.30/3.23 num=235, depth=3..6, filters=680380, revisions=(586977,useless=33438), ccks=15594, wck=0.987, mem=55M654
6.30/3.23 decisions=10030, wrong=4527, backtracks=1431, failedAssignments=3631, nogoods=1307, foundSolutions=69, bestBound=881
6.30/3.23
6.30/3.24 num=236, depth=3..7, filters=684979, revisions=(590763,useless=33454), ccks=15594, wck=0.991, mem=55M654
6.30/3.24 decisions=10105, wrong=4563, backtracks=1440, failedAssignments=3662, nogoods=1316, foundSolutions=69, bestBound=881
6.30/3.24
6.30/3.25 num=237, depth=2..7, filters=693275, revisions=(597920,useless=33671), ccks=15594, wck=0.998, mem=55M654
6.30/3.25 decisions=10211, wrong=4614, backtracks=1468, failedAssignments=3696, nogoods=1321, foundSolutions=69, bestBound=881
6.30/3.25
6.30/3.25 num=238, depth=3..6, filters=699886, revisions=(603570,useless=33731), ccks=15594, wck=1.004, mem=55M654
6.30/3.25 decisions=10312, wrong=4663, backtracks=1481, failedAssignments=3733, nogoods=1327, foundSolutions=69, bestBound=881
6.30/3.25
6.30/3.26 o 856
6.30/3.26 num=239, depth=2..229, filters=704846, revisions=(607550,useless=33742), ccks=15820, wck=1.009, mem=55M654
6.30/3.26 decisions=10410, wrong=4709, backtracks=1496, failedAssignments=3773, nogoods=1340, foundSolutions=70, bestBound=856
6.30/3.26
6.30/3.26 num=240, depth=3..8, filters=713352, revisions=(615026,useless=34193), ccks=15820, wck=1.016, mem=55M654
6.30/3.26 decisions=10517, wrong=4760, backtracks=1505, failedAssignments=3818, nogoods=1356, foundSolutions=70, bestBound=856
6.30/3.26
6.30/3.26 num=241, depth=3..6, filters=714983, revisions=(616357,useless=34198), ccks=15820, wck=1.018, mem=55M654
6.30/3.26 decisions=10545, wrong=4772, backtracks=1508, failedAssignments=3829, nogoods=1362, foundSolutions=70, bestBound=856
6.30/3.26
6.30/3.27 num=242, depth=2..5, filters=717048, revisions=(618092,useless=34220), ccks=15820, wck=1.02, mem=55M654
6.30/3.27 decisions=10578, wrong=4787, backtracks=1512, failedAssignments=3841, nogoods=1368, foundSolutions=70, bestBound=856
6.30/3.27
6.30/3.27 num=243, depth=3..4, filters=720280, revisions=(620742,useless=34240), ccks=15820, wck=1.023, mem=55M654
6.30/3.27 decisions=10618, wrong=4805, backtracks=1517, failedAssignments=3854, nogoods=1375, foundSolutions=70, bestBound=856
6.30/3.27
6.30/3.27 num=244, depth=3..6, filters=722726, revisions=(622778,useless=34252), ccks=15820, wck=1.025, mem=55M654
6.30/3.27 decisions=10656, wrong=4822, backtracks=1524, failedAssignments=3868, nogoods=1380, foundSolutions=70, bestBound=856
6.30/3.27
6.30/3.27 num=245, depth=1..5, filters=725236, revisions=(624878,useless=34264), ccks=15820, wck=1.027, mem=55M654
6.30/3.27 decisions=10701, wrong=4843, backtracks=1532, failedAssignments=3884, nogoods=1384, foundSolutions=70, bestBound=856
6.30/3.27
6.30/3.28 num=246, depth=2..5, filters=729513, revisions=(628488,useless=34318), ccks=15820, wck=1.031, mem=55M654
6.30/3.28 decisions=10757, wrong=4869, backtracks=1541, failedAssignments=3901, nogoods=1388, foundSolutions=70, bestBound=856
6.30/3.28
6.30/3.28 o 847
6.30/3.28 num=247, depth=3..229, filters=731595, revisions=(630203,useless=34327), ccks=16046, wck=1.033, mem=55M654
6.30/3.28 decisions=10794, wrong=4885, backtracks=1548, failedAssignments=3913, nogoods=1396, foundSolutions=71, bestBound=847
6.30/3.28
6.30/3.28 num=248, depth=4..7, filters=735644, revisions=(633934,useless=34778), ccks=16046, wck=1.037, mem=55M654
6.30/3.28 decisions=10859, wrong=4914, backtracks=1557, failedAssignments=3934, nogoods=1398, foundSolutions=71, bestBound=847
6.30/3.28
6.30/3.29 num=249, depth=2..7, filters=737454, revisions=(635399,useless=34787), ccks=16046, wck=1.039, mem=55M654
6.30/3.29 decisions=10890, wrong=4928, backtracks=1562, failedAssignments=3945, nogoods=1402, foundSolutions=71, bestBound=847
6.30/3.29
6.30/3.29 num=250, depth=4..6, filters=739475, revisions=(637020,useless=34810), ccks=16046, wck=1.041, mem=55M654
6.30/3.29 decisions=10925, wrong=4943, backtracks=1566, failedAssignments=3957, nogoods=1408, foundSolutions=71, bestBound=847
6.30/3.29
6.30/3.29 num=251, depth=2..6, filters=742757, revisions=(639844,useless=34865), ccks=16046, wck=1.045, mem=55M654
6.30/3.29 decisions=10968, wrong=4962, backtracks=1575, failedAssignments=3970, nogoods=1413, foundSolutions=71, bestBound=847
6.30/3.29
6.30/3.29 num=252, depth=2..6, filters=746201, revisions=(642746,useless=34916), ccks=16046, wck=1.048, mem=55M654
6.30/3.29 decisions=11018, wrong=4985, backtracks=1585, failedAssignments=3984, nogoods=1422, foundSolutions=71, bestBound=847
6.30/3.29
6.47/3.30 num=253, depth=3..9, filters=748641, revisions=(644808,useless=34926), ccks=16046, wck=1.05, mem=55M654
6.47/3.30 decisions=11057, wrong=5003, backtracks=1595, failedAssignments=4000, nogoods=1426, foundSolutions=71, bestBound=847
6.47/3.30
6.47/3.30 num=254, depth=1..6, filters=754128, revisions=(649628,useless=35010), ccks=16046, wck=1.055, mem=55M654
6.47/3.30 decisions=11115, wrong=5030, backtracks=1609, failedAssignments=4017, nogoods=1432, foundSolutions=71, bestBound=847
6.47/3.30
6.47/3.31 num=255, depth=4..6, filters=758180, revisions=(653032,useless=35052), ccks=16046, wck=1.058, mem=58M296
6.47/3.31 decisions=11171, wrong=5056, backtracks=1616, failedAssignments=4036, nogoods=1441, foundSolutions=71, bestBound=847
6.47/3.31
6.47/3.31 num=256, depth=2..8, filters=761513, revisions=(655830,useless=35103), ccks=16046, wck=1.062, mem=58M296
6.47/3.31 decisions=11227, wrong=5083, backtracks=1628, failedAssignments=4057, nogoods=1443, foundSolutions=71, bestBound=847
6.47/3.31
6.47/3.31 num=257, depth=3..5, filters=765848, revisions=(659371,useless=35163), ccks=16046, wck=1.066, mem=58M296
6.47/3.31 decisions=11289, wrong=5112, backtracks=1634, failedAssignments=4080, nogoods=1453, foundSolutions=71, bestBound=847
6.47/3.31
6.47/3.31 o 841
6.47/3.31 num=258, depth=3..229, filters=767810, revisions=(660984,useless=35170), ccks=16272, wck=1.068, mem=58M296
6.47/3.31 decisions=11322, wrong=5126, backtracks=1640, failedAssignments=4091, nogoods=1459, foundSolutions=72, bestBound=841
6.47/3.31
6.47/3.32 num=259, depth=3..7, filters=773911, revisions=(666419,useless=35686), ccks=16272, wck=1.073, mem=58M296
6.47/3.32 decisions=11404, wrong=5165, backtracks=1655, failedAssignments=4119, nogoods=1468, foundSolutions=72, bestBound=841
6.47/3.32
6.47/3.32 num=260, depth=5..8, filters=776227, revisions=(668407,useless=35744), ccks=16272, wck=1.075, mem=58M296
6.47/3.32 decisions=11435, wrong=5178, backtracks=1659, failedAssignments=4130, nogoods=1476, foundSolutions=72, bestBound=841
6.47/3.32
6.47/3.32 o 838
6.47/3.32 num=261, depth=4..229, filters=777072, revisions=(669088,useless=35745), ccks=16498, wck=1.077, mem=58M296
6.47/3.32 decisions=11446, wrong=5181, backtracks=1659, failedAssignments=4133, nogoods=1479, foundSolutions=73, bestBound=838
6.47/3.32
6.47/3.33 num=262, depth=2..8, filters=779605, revisions=(671603,useless=36166), ccks=16498, wck=1.079, mem=58M296
6.47/3.33 decisions=11484, wrong=5197, backtracks=1663, failedAssignments=4146, nogoods=1487, foundSolutions=73, bestBound=838
6.47/3.33
6.47/3.33 num=263, depth=2..6, filters=781257, revisions=(672929,useless=36167), ccks=16498, wck=1.081, mem=58M296
6.47/3.33 decisions=11511, wrong=5209, backtracks=1667, failedAssignments=4157, nogoods=1494, foundSolutions=73, bestBound=838
6.47/3.33
6.47/3.33 num=264, depth=3..5, filters=786483, revisions=(677484,useless=36293), ccks=16498, wck=1.085, mem=58M296
6.47/3.33 decisions=11562, wrong=5233, backtracks=1679, failedAssignments=4169, nogoods=1496, foundSolutions=73, bestBound=838
6.47/3.33
6.47/3.33 o 824
6.47/3.33 num=265, depth=4..229, filters=787193, revisions=(678061,useless=36295), ccks=16724, wck=1.087, mem=58M296
6.47/3.33 decisions=11569, wrong=5234, backtracks=1679, failedAssignments=4170, nogoods=1497, foundSolutions=74, bestBound=824
6.47/3.33
6.47/3.34 num=266, depth=3..7, filters=789261, revisions=(680144,useless=36694), ccks=16724, wck=1.089, mem=58M296
6.47/3.34 decisions=11606, wrong=5250, backtracks=1682, failedAssignments=4184, nogoods=1504, foundSolutions=74, bestBound=824
6.47/3.34
6.47/3.34 num=267, depth=2..6, filters=791030, revisions=(681557,useless=36698), ccks=16724, wck=1.091, mem=58M296
6.47/3.34 decisions=11637, wrong=5264, backtracks=1687, failedAssignments=4195, nogoods=1507, foundSolutions=74, bestBound=824
6.47/3.34
6.47/3.34 num=268, depth=3..5, filters=792982, revisions=(683139,useless=36722), ccks=16724, wck=1.093, mem=58M296
6.47/3.34 decisions=11671, wrong=5279, backtracks=1691, failedAssignments=4207, nogoods=1511, foundSolutions=74, bestBound=824
6.47/3.34
6.47/3.34 num=269, depth=4..8, filters=795019, revisions=(684854,useless=36750), ccks=16724, wck=1.095, mem=58M296
6.47/3.34 decisions=11705, wrong=5294, backtracks=1697, failedAssignments=4220, nogoods=1517, foundSolutions=74, bestBound=824
6.47/3.34
6.47/3.34 num=270, depth=2..5, filters=797652, revisions=(687046,useless=36776), ccks=16724, wck=1.097, mem=58M296
6.47/3.34 decisions=11742, wrong=5311, backtracks=1703, failedAssignments=4234, nogoods=1522, foundSolutions=74, bestBound=824
6.47/3.34
6.47/3.35 num=271, depth=2..7, filters=800314, revisions=(689324,useless=36813), ccks=16724, wck=1.1, mem=58M296
6.47/3.35 decisions=11787, wrong=5332, backtracks=1711, failedAssignments=4250, nogoods=1527, foundSolutions=74, bestBound=824
6.47/3.35
6.47/3.35 num=272, depth=3..7, filters=803485, revisions=(691992,useless=36859), ccks=16724, wck=1.103, mem=58M296
6.47/3.35 decisions=11835, wrong=5353, backtracks=1717, failedAssignments=4267, nogoods=1536, foundSolutions=74, bestBound=824
6.47/3.35
6.47/3.35 num=273, depth=1..5, filters=807469, revisions=(695360,useless=36892), ccks=16724, wck=1.106, mem=58M296
6.47/3.35 decisions=11894, wrong=5382, backtracks=1732, failedAssignments=4286, nogoods=1540, foundSolutions=74, bestBound=824
6.47/3.35
6.47/3.36 num=274, depth=3..8, filters=811291, revisions=(698588,useless=36958), ccks=16724, wck=1.109, mem=58M296
6.47/3.36 decisions=11952, wrong=5409, backtracks=1742, failedAssignments=4307, nogoods=1545, foundSolutions=74, bestBound=824
6.47/3.36
6.47/3.36 num=275, depth=3..6, filters=814832, revisions=(701545,useless=36994), ccks=16724, wck=1.112, mem=58M296
6.47/3.36 decisions=12009, wrong=5435, backtracks=1745, failedAssignments=4330, nogoods=1554, foundSolutions=74, bestBound=824
6.47/3.36
6.47/3.36 num=276, depth=3..7, filters=818338, revisions=(704494,useless=37017), ccks=16724, wck=1.115, mem=58M296
6.47/3.36 decisions=12069, wrong=5463, backtracks=1752, failedAssignments=4355, nogoods=1564, foundSolutions=74, bestBound=824
6.47/3.36
6.47/3.37 num=277, depth=0..8, filters=824283, revisions=(709638,useless=37122), ccks=16724, wck=1.121, mem=58M296
6.47/3.37 decisions=12158, wrong=5506, backtracks=1772, failedAssignments=4383, nogoods=1570, foundSolutions=74, bestBound=824
6.47/3.37
6.47/3.37 num=278, depth=2..7, filters=828553, revisions=(713230,useless=37159), ccks=16724, wck=1.124, mem=58M296
6.47/3.37 decisions=12235, wrong=5543, backtracks=1782, failedAssignments=4414, nogoods=1578, foundSolutions=74, bestBound=824
6.47/3.37
6.47/3.38 num=279, depth=0..7, filters=834472, revisions=(718271,useless=37208), ccks=16724, wck=1.129, mem=58M296
6.47/3.38 decisions=12332, wrong=5589, backtracks=1795, failedAssignments=4448, nogoods=1582, foundSolutions=74, bestBound=824
6.47/3.38
6.47/3.38 num=280, depth=1..5, filters=840225, revisions=(723171,useless=37271), ccks=16724, wck=1.134, mem=58M296
6.47/3.38 decisions=12425, wrong=5635, backtracks=1806, failedAssignments=4485, nogoods=1583, foundSolutions=74, bestBound=824
6.47/3.38
6.47/3.39 num=281, depth=0..7, filters=846500, revisions=(728416,useless=37314), ccks=16724, wck=1.139, mem=58M296
6.47/3.39 decisions=12532, wrong=5688, backtracks=1827, failedAssignments=4526, nogoods=1589, foundSolutions=74, bestBound=824
6.47/3.39
6.47/3.39 num=282, depth=0..7, filters=854427, revisions=(735064,useless=37394), ccks=16724, wck=1.146, mem=58M296
6.47/3.39 decisions=12656, wrong=5749, backtracks=1848, failedAssignments=4571, nogoods=1594, foundSolutions=74, bestBound=824
6.47/3.39
6.58/3.40 num=283, depth=1..5, filters=862551, revisions=(741799,useless=37462), ccks=16724, wck=1.153, mem=58M296
6.58/3.40 decisions=12789, wrong=5814, backtracks=1866, failedAssignments=4621, nogoods=1600, foundSolutions=74, bestBound=824
6.58/3.40
6.58/3.41 num=284, depth=0..7, filters=871118, revisions=(748819,useless=37532), ccks=16724, wck=1.16, mem=58M296
6.58/3.41 decisions=12938, wrong=5887, backtracks=1887, failedAssignments=4676, nogoods=1608, foundSolutions=74, bestBound=824
6.58/3.41
6.58/3.41 o 814
6.58/3.41 num=285, depth=4..229, filters=872167, revisions=(749653,useless=37533), ccks=16950, wck=1.162, mem=58M296
6.58/3.41 decisions=12953, wrong=5892, backtracks=1887, failedAssignments=4681, nogoods=1613, foundSolutions=75, bestBound=814
6.58/3.41
6.58/3.42 num=286, depth=2..6, filters=884320, revisions=(760001,useless=38069), ccks=16950, wck=1.172, mem=58M296
6.58/3.42 decisions=13128, wrong=5978, backtracks=1912, failedAssignments=4748, nogoods=1630, foundSolutions=75, bestBound=814
6.58/3.42
6.58/3.42 num=287, depth=1..3, filters=886407, revisions=(761765,useless=38101), ccks=16950, wck=1.175, mem=58M296
6.58/3.42 decisions=13156, wrong=5991, backtracks=1915, failedAssignments=4759, nogoods=1635, foundSolutions=75, bestBound=814
6.58/3.42
6.58/3.42 num=288, depth=0..4, filters=889549, revisions=(764382,useless=38150), ccks=16950, wck=1.177, mem=58M296
6.58/3.42 decisions=13192, wrong=6008, backtracks=1921, failedAssignments=4771, nogoods=1637, foundSolutions=75, bestBound=814
6.58/3.42
6.58/3.43 num=289, depth=1..7, filters=892357, revisions=(766767,useless=38203), ccks=16950, wck=1.18, mem=58M296
6.58/3.43 decisions=13229, wrong=6024, backtracks=1924, failedAssignments=4784, nogoods=1649, foundSolutions=75, bestBound=814
6.58/3.43
6.58/3.43 num=290, depth=1..5, filters=895738, revisions=(769688,useless=38230), ccks=16950, wck=1.183, mem=58M296
6.58/3.43 decisions=13272, wrong=6043, backtracks=1931, failedAssignments=4798, nogoods=1655, foundSolutions=75, bestBound=814
6.58/3.43
6.58/3.43 num=291, depth=0..4, filters=899174, revisions=(772626,useless=38283), ccks=16950, wck=1.186, mem=58M296
6.58/3.43 decisions=13321, wrong=6066, backtracks=1941, failedAssignments=4814, nogoods=1656, foundSolutions=75, bestBound=814
6.58/3.43
6.58/3.44 num=292, depth=1..6, filters=902147, revisions=(775155,useless=38307), ccks=16950, wck=1.189, mem=58M296
6.58/3.44 decisions=13368, wrong=6087, backtracks=1946, failedAssignments=4831, nogoods=1665, foundSolutions=75, bestBound=814
6.58/3.44
6.58/3.44 o 810
6.58/3.44 num=293, depth=2..229, filters=905657, revisions=(778022,useless=38331), ccks=17176, wck=1.192, mem=58M296
6.58/3.44 decisions=13427, wrong=6114, backtracks=1957, failedAssignments=4849, nogoods=1670, foundSolutions=76, bestBound=810
6.58/3.44
6.58/3.44 num=294, depth=1..6, filters=910906, revisions=(782777,useless=38825), ccks=17176, wck=1.197, mem=58M296
6.58/3.44 decisions=13492, wrong=6144, backtracks=1969, failedAssignments=4870, nogoods=1673, foundSolutions=76, bestBound=810
6.58/3.44
6.58/3.45 o 789
6.58/3.45 num=295, depth=3..229, filters=912119, revisions=(783730,useless=38831), ccks=17402, wck=1.199, mem=58M296
6.58/3.45 decisions=13509, wrong=6150, backtracks=1970, failedAssignments=4875, nogoods=1675, foundSolutions=77, bestBound=789
6.58/3.45
6.58/3.45 num=296, depth=3..7, filters=914745, revisions=(786285,useless=39239), ccks=17402, wck=1.201, mem=58M296
6.58/3.45 decisions=13541, wrong=6164, backtracks=1976, failedAssignments=4887, nogoods=1678, foundSolutions=77, bestBound=789
6.58/3.45
6.58/3.45 num=297, depth=1..6, filters=916785, revisions=(788078,useless=39263), ccks=17402, wck=1.204, mem=58M296
6.58/3.45 decisions=13574, wrong=6178, backtracks=1979, failedAssignments=4898, nogoods=1684, foundSolutions=77, bestBound=789
6.58/3.45
6.58/3.45 num=298, depth=2..7, filters=919291, revisions=(790196,useless=39291), ccks=17402, wck=1.206, mem=58M296
6.58/3.45 decisions=13606, wrong=6192, backtracks=1983, failedAssignments=4910, nogoods=1693, foundSolutions=77, bestBound=789
6.58/3.45
6.58/3.45 o 783
6.58/3.45 num=299, depth=4..229, filters=920132, revisions=(790854,useless=39293), ccks=17628, wck=1.207, mem=58M296
6.58/3.45 decisions=13617, wrong=6195, backtracks=1983, failedAssignments=4913, nogoods=1696, foundSolutions=78, bestBound=783
6.58/3.45
6.58/3.46 num=300, depth=2..7, filters=924870, revisions=(795349,useless=39800), ccks=17628, wck=1.212, mem=58M296
6.58/3.46 decisions=13669, wrong=6219, backtracks=1997, failedAssignments=4927, nogoods=1698, foundSolutions=78, bestBound=783
6.58/3.46
6.58/3.46 num=301, depth=1..7, filters=926612, revisions=(796846,useless=39818), ccks=17628, wck=1.213, mem=58M296
6.58/3.46 decisions=13699, wrong=6231, backtracks=1998, failedAssignments=4938, nogoods=1707, foundSolutions=78, bestBound=783
6.58/3.46
6.58/3.46 num=302, depth=3..6, filters=929449, revisions=(799286,useless=39885), ccks=17628, wck=1.216, mem=58M296
6.58/3.46 decisions=13733, wrong=6246, backtracks=2005, failedAssignments=4950, nogoods=1711, foundSolutions=78, bestBound=783
6.58/3.46
6.58/3.47 num=303, depth=1..9, filters=932900, revisions=(802354,useless=39963), ccks=17628, wck=1.219, mem=58M296
6.58/3.47 decisions=13783, wrong=6268, backtracks=2017, failedAssignments=4963, nogoods=1718, foundSolutions=78, bestBound=783
6.58/3.47
6.58/3.47 num=304, depth=0..6, filters=936767, revisions=(805665,useless=40018), ccks=17628, wck=1.222, mem=58M296
6.58/3.47 decisions=13833, wrong=6291, backtracks=2029, failedAssignments=4977, nogoods=1724, foundSolutions=78, bestBound=783
6.58/3.47
6.58/3.47 o 781
6.58/3.47 num=305, depth=4..229, filters=937458, revisions=(806203,useless=40019), ccks=17854, wck=1.223, mem=58M296
6.58/3.47 decisions=13840, wrong=6292, backtracks=2029, failedAssignments=4978, nogoods=1725, foundSolutions=79, bestBound=781
6.58/3.47
6.58/3.48 num=306, depth=3..6, filters=943524, revisions=(811728,useless=40456), ccks=17854, wck=1.228, mem=58M296
6.58/3.48 decisions=13886, wrong=6313, backtracks=2034, failedAssignments=4995, nogoods=1733, foundSolutions=79, bestBound=781
6.58/3.48
6.58/3.48 num=307, depth=3..7, filters=946699, revisions=(814357,useless=40482), ccks=17854, wck=1.231, mem=58M296
6.58/3.48 decisions=13926, wrong=6331, backtracks=2043, failedAssignments=5006, nogoods=1736, foundSolutions=79, bestBound=781
6.58/3.48
6.58/3.48 num=308, depth=2..5, filters=949010, revisions=(816197,useless=40506), ccks=17854, wck=1.233, mem=58M296
6.58/3.48 decisions=13959, wrong=6346, backtracks=2047, failedAssignments=5018, nogoods=1738, foundSolutions=79, bestBound=781
6.58/3.48
6.58/3.48 num=309, depth=1..6, filters=951508, revisions=(818330,useless=40524), ccks=17854, wck=1.236, mem=58M296
6.58/3.48 decisions=13994, wrong=6361, backtracks=2049, failedAssignments=5031, nogoods=1742, foundSolutions=79, bestBound=781
6.58/3.48
6.58/3.49 num=310, depth=0..4, filters=954819, revisions=(821126,useless=40559), ccks=17854, wck=1.238, mem=58M296
6.58/3.49 decisions=14044, wrong=6384, backtracks=2059, failedAssignments=5045, nogoods=1743, foundSolutions=79, bestBound=781
6.58/3.49
6.58/3.49 num=311, depth=2..5, filters=957782, revisions=(823581,useless=40580), ccks=17854, wck=1.241, mem=58M296
6.58/3.49 decisions=14093, wrong=6407, backtracks=2069, failedAssignments=5061, nogoods=1748, foundSolutions=79, bestBound=781
6.58/3.49
6.58/3.49 num=312, depth=3..5, filters=960715, revisions=(826140,useless=40600), ccks=17854, wck=1.243, mem=58M296
6.58/3.49 decisions=14138, wrong=6428, backtracks=2073, failedAssignments=5078, nogoods=1758, foundSolutions=79, bestBound=781
6.58/3.49
6.58/3.49 num=313, depth=2..4, filters=963998, revisions=(828779,useless=40607), ccks=17854, wck=1.246, mem=58M296
6.58/3.49 decisions=14197, wrong=6456, backtracks=2082, failedAssignments=5097, nogoods=1763, foundSolutions=79, bestBound=781
6.58/3.49
6.58/3.50 num=314, depth=2..5, filters=967854, revisions=(832037,useless=40630), ccks=17854, wck=1.249, mem=60M938
6.58/3.50 decisions=14261, wrong=6487, backtracks=2093, failedAssignments=5118, nogoods=1767, foundSolutions=79, bestBound=781
6.58/3.50
6.58/3.50 num=315, depth=3..8, filters=971397, revisions=(835033,useless=40673), ccks=17854, wck=1.253, mem=60M938
6.58/3.50 decisions=14319, wrong=6514, backtracks=2100, failedAssignments=5141, nogoods=1777, foundSolutions=79, bestBound=781
6.58/3.50
6.72/3.50 num=316, depth=1..5, filters=976035, revisions=(838957,useless=40700), ccks=17854, wck=1.256, mem=60M938
6.72/3.50 decisions=14391, wrong=6548, backtracks=2109, failedAssignments=5166, nogoods=1781, foundSolutions=79, bestBound=781
6.72/3.50
6.72/3.51 num=317, depth=1..6, filters=980871, revisions=(842999,useless=40725), ccks=17854, wck=1.26, mem=60M938
6.72/3.51 decisions=14472, wrong=6587, backtracks=2123, failedAssignments=5194, nogoods=1786, foundSolutions=79, bestBound=781
6.72/3.51
6.72/3.51 num=318, depth=1..6, filters=986644, revisions=(847921,useless=40771), ccks=17854, wck=1.265, mem=60M938
6.72/3.51 decisions=14560, wrong=6629, backtracks=2134, failedAssignments=5225, nogoods=1790, foundSolutions=79, bestBound=781
6.72/3.51
6.72/3.52 num=319, depth=1..6, filters=992716, revisions=(853110,useless=40859), ccks=17854, wck=1.27, mem=60M938
6.72/3.52 decisions=14652, wrong=6673, backtracks=2147, failedAssignments=5259, nogoods=1798, foundSolutions=79, bestBound=781
6.72/3.52
6.72/3.52 num=320, depth=0..5, filters=999422, revisions=(858763,useless=40907), ccks=17854, wck=1.275, mem=60M938
6.72/3.52 decisions=14757, wrong=6724, backtracks=2163, failedAssignments=5296, nogoods=1804, foundSolutions=79, bestBound=781
6.72/3.52
6.72/3.53 o 766
6.72/3.53 num=321, depth=2..229, filters=1003530, revisions=(862004,useless=40943), ccks=18080, wck=1.28, mem=60M938
6.72/3.53 decisions=14831, wrong=6758, backtracks=2173, failedAssignments=5323, nogoods=1810, foundSolutions=80, bestBound=766
6.72/3.53
6.72/3.54 num=322, depth=1..7, filters=1013994, revisions=(871260,useless=41560), ccks=18080, wck=1.289, mem=60M938
6.72/3.54 decisions=14956, wrong=6819, backtracks=2196, failedAssignments=5368, nogoods=1815, foundSolutions=80, bestBound=766
6.72/3.54
6.72/3.54 num=323, depth=2..6, filters=1016148, revisions=(873062,useless=41582), ccks=18080, wck=1.291, mem=60M938
6.72/3.54 decisions=14990, wrong=6834, backtracks=2202, failedAssignments=5379, nogoods=1817, foundSolutions=80, bestBound=766
6.72/3.54
6.72/3.54 o 762
6.72/3.54 num=324, depth=3..229, filters=1017854, revisions=(874512,useless=41589), ccks=18306, wck=1.293, mem=60M938
6.72/3.54 decisions=15012, wrong=6842, backtracks=2203, failedAssignments=5386, nogoods=1823, foundSolutions=81, bestBound=762
6.72/3.54
6.72/3.54 num=325, depth=4..6, filters=1020932, revisions=(877523,useless=41997), ccks=18306, wck=1.296, mem=60M938
6.72/3.54 decisions=15046, wrong=6857, backtracks=2206, failedAssignments=5399, nogoods=1829, foundSolutions=81, bestBound=762
6.72/3.54
6.72/3.54 num=326, depth=2..6, filters=1023327, revisions=(879583,useless=42039), ccks=18306, wck=1.298, mem=60M938
6.72/3.54 decisions=15085, wrong=6874, backtracks=2215, failedAssignments=5410, nogoods=1832, foundSolutions=81, bestBound=762
6.72/3.54
6.72/3.55 num=327, depth=2..5, filters=1025296, revisions=(881117,useless=42054), ccks=18306, wck=1.3, mem=60M938
6.72/3.55 decisions=15117, wrong=6888, backtracks=2218, failedAssignments=5422, nogoods=1834, foundSolutions=81, bestBound=762
6.72/3.55
6.72/3.55 o 751
6.72/3.55 num=328, depth=4..229, filters=1026553, revisions=(882175,useless=42058), ccks=18532, wck=1.302, mem=60M938
6.72/3.55 decisions=15133, wrong=6893, backtracks=2219, failedAssignments=5426, nogoods=1838, foundSolutions=82, bestBound=751
6.72/3.55
6.72/3.55 num=329, depth=3..8, filters=1028745, revisions=(884393,useless=42457), ccks=18532, wck=1.304, mem=60M938
6.72/3.55 decisions=15170, wrong=6909, backtracks=2223, failedAssignments=5440, nogoods=1843, foundSolutions=82, bestBound=751
6.72/3.55
6.72/3.55 o 734
6.72/3.55 num=330, depth=3..229, filters=1030300, revisions=(885643,useless=42462), ccks=18758, wck=1.306, mem=60M938
6.72/3.55 decisions=15195, wrong=6919, backtracks=2228, failedAssignments=5447, nogoods=1847, foundSolutions=83, bestBound=734
6.72/3.55
6.72/3.56 num=331, depth=4..7, filters=1032861, revisions=(888193,useless=42880), ccks=18758, wck=1.308, mem=60M938
6.72/3.56 decisions=15229, wrong=6933, backtracks=2231, failedAssignments=5459, nogoods=1850, foundSolutions=83, bestBound=734
6.72/3.56
6.72/3.56 o 728
6.72/3.56 num=332, depth=3..229, filters=1034053, revisions=(889154,useless=42885), ccks=18984, wck=1.31, mem=60M938
6.72/3.56 decisions=15246, wrong=6939, backtracks=2233, failedAssignments=5463, nogoods=1852, foundSolutions=84, bestBound=728
6.72/3.56
6.72/3.56 num=333, depth=5..6, filters=1036216, revisions=(891335,useless=43276), ccks=18984, wck=1.312, mem=60M938
6.72/3.56 decisions=15277, wrong=6952, backtracks=2234, failedAssignments=5475, nogoods=1862, foundSolutions=84, bestBound=728
6.72/3.56
6.72/3.56 num=334, depth=2..6, filters=1038736, revisions=(893481,useless=43316), ccks=18984, wck=1.315, mem=60M938
6.72/3.56 decisions=15309, wrong=6966, backtracks=2239, failedAssignments=5486, nogoods=1870, foundSolutions=84, bestBound=728
6.72/3.56
6.72/3.56 o 726
6.72/3.56 num=335, depth=4..229, filters=1039413, revisions=(894022,useless=43318), ccks=19210, wck=1.316, mem=60M938
6.72/3.56 decisions=15316, wrong=6967, backtracks=2239, failedAssignments=5487, nogoods=1871, foundSolutions=85, bestBound=726
6.72/3.56
6.72/3.57 num=336, depth=4..8, filters=1042802, revisions=(897269,useless=43766), ccks=19210, wck=1.319, mem=60M938
6.72/3.57 decisions=15352, wrong=6983, backtracks=2244, failedAssignments=5500, nogoods=1879, foundSolutions=85, bestBound=726
6.72/3.57
6.72/3.57 num=337, depth=3..6, filters=1045460, revisions=(899536,useless=43787), ccks=19210, wck=1.321, mem=60M938
6.72/3.57 decisions=15392, wrong=7001, backtracks=2252, failedAssignments=5511, nogoods=1886, foundSolutions=85, bestBound=726
6.72/3.57
6.72/3.57 num=338, depth=2..6, filters=1048357, revisions=(902081,useless=43838), ccks=19210, wck=1.323, mem=60M938
6.72/3.57 decisions=15429, wrong=7018, backtracks=2258, failedAssignments=5523, nogoods=1891, foundSolutions=85, bestBound=726
6.72/3.57
6.72/3.57 num=339, depth=2..5, filters=1050991, revisions=(904363,useless=43875), ccks=19210, wck=1.326, mem=60M938
6.72/3.57 decisions=15464, wrong=7034, backtracks=2265, failedAssignments=5536, nogoods=1896, foundSolutions=85, bestBound=726
6.72/3.57
6.72/3.58 num=340, depth=2..4, filters=1053685, revisions=(906513,useless=43910), ccks=19210, wck=1.328, mem=60M938
6.72/3.58 decisions=15503, wrong=7052, backtracks=2269, failedAssignments=5550, nogoods=1900, foundSolutions=85, bestBound=726
6.72/3.58
6.72/3.58 num=341, depth=3..5, filters=1057030, revisions=(909350,useless=43921), ccks=19210, wck=1.331, mem=60M938
6.72/3.58 decisions=15546, wrong=7072, backtracks=2273, failedAssignments=5566, nogoods=1907, foundSolutions=85, bestBound=726
6.72/3.58
6.72/3.58 num=342, depth=2..7, filters=1059255, revisions=(911249,useless=43972), ccks=19210, wck=1.333, mem=60M938
6.72/3.58 decisions=15588, wrong=7091, backtracks=2276, failedAssignments=5583, nogoods=1922, foundSolutions=85, bestBound=726
6.72/3.58
6.72/3.58 num=343, depth=2..5, filters=1063702, revisions=(915106,useless=44058), ccks=19210, wck=1.337, mem=60M938
6.72/3.58 decisions=15633, wrong=7112, backtracks=2279, failedAssignments=5602, nogoods=1925, foundSolutions=85, bestBound=726
6.72/3.58
6.72/3.59 num=344, depth=1..5, filters=1067556, revisions=(918427,useless=44109), ccks=19210, wck=1.34, mem=60M938
6.72/3.59 decisions=15695, wrong=7142, backtracks=2288, failedAssignments=5623, nogoods=1929, foundSolutions=85, bestBound=726
6.72/3.59
6.72/3.59 num=345, depth=1..6, filters=1073325, revisions=(923234,useless=44155), ccks=19210, wck=1.345, mem=60M938
6.72/3.59 decisions=15758, wrong=7171, backtracks=2299, failedAssignments=5646, nogoods=1936, foundSolutions=85, bestBound=726
6.72/3.59
6.72/3.60 num=346, depth=2..4, filters=1077695, revisions=(926766,useless=44169), ccks=19210, wck=1.349, mem=60M938
6.72/3.60 decisions=15838, wrong=7210, backtracks=2313, failedAssignments=5671, nogoods=1943, foundSolutions=85, bestBound=726
6.72/3.60
6.84/3.60 num=347, depth=1..6, filters=1083290, revisions=(931525,useless=44207), ccks=19210, wck=1.353, mem=60M938
6.84/3.60 decisions=15923, wrong=7251, backtracks=2332, failedAssignments=5699, nogoods=1950, foundSolutions=85, bestBound=726
6.84/3.60
6.84/3.61 num=348, depth=1..6, filters=1089193, revisions=(936476,useless=44265), ccks=19210, wck=1.358, mem=60M938
6.84/3.61 decisions=16007, wrong=7291, backtracks=2343, failedAssignments=5730, nogoods=1963, foundSolutions=85, bestBound=726
6.84/3.61
6.84/3.61 num=349, depth=1..6, filters=1095944, revisions=(942242,useless=44291), ccks=19210, wck=1.363, mem=60M938
6.84/3.61 decisions=16111, wrong=7342, backtracks=2363, failedAssignments=5764, nogoods=1971, foundSolutions=85, bestBound=726
6.84/3.61
6.84/3.62 num=350, depth=2..6, filters=1102575, revisions=(947822,useless=44323), ccks=19210, wck=1.369, mem=60M938
6.84/3.62 decisions=16210, wrong=7389, backtracks=2373, failedAssignments=5801, nogoods=1977, foundSolutions=85, bestBound=726
6.84/3.62
6.84/3.62 num=351, depth=0..6, filters=1110421, revisions=(954476,useless=44408), ccks=19210, wck=1.375, mem=60M938
6.84/3.62 decisions=16325, wrong=7445, backtracks=2394, failedAssignments=5842, nogoods=1984, foundSolutions=85, bestBound=726
6.84/3.62
6.84/3.63 num=352, depth=1..6, filters=1117033, revisions=(959866,useless=44443), ccks=19210, wck=1.381, mem=60M938
6.84/3.63 decisions=16440, wrong=7501, backtracks=2415, failedAssignments=5887, nogoods=1998, foundSolutions=85, bestBound=726
6.84/3.63
6.84/3.63 num=353, depth=3..7, filters=1124373, revisions=(965955,useless=44519), ccks=19210, wck=1.387, mem=60M938
6.84/3.63 decisions=16565, wrong=7562, backtracks=2427, failedAssignments=5937, nogoods=2014, foundSolutions=85, bestBound=726
6.84/3.63
6.84/3.64 num=354, depth=1..5, filters=1133000, revisions=(973011,useless=44588), ccks=19210, wck=1.395, mem=60M938
6.84/3.64 decisions=16706, wrong=7632, backtracks=2449, failedAssignments=5992, nogoods=2025, foundSolutions=85, bestBound=726
6.84/3.64
6.84/3.65 num=355, depth=1..7, filters=1144879, revisions=(983095,useless=44760), ccks=19210, wck=1.404, mem=60M938
6.84/3.65 decisions=16902, wrong=7728, backtracks=2489, failedAssignments=6053, nogoods=2029, foundSolutions=85, bestBound=726
6.84/3.65
6.84/3.65 o 724
6.84/3.65 num=356, depth=3..229, filters=1148032, revisions=(985745,useless=44792), ccks=19436, wck=1.407, mem=60M938
6.84/3.65 decisions=16948, wrong=7748, backtracks=2496, failedAssignments=6066, nogoods=2032, foundSolutions=86, bestBound=724
6.84/3.65
6.84/3.66 o 722
6.84/3.66 num=357, depth=3..229, filters=1159909, revisions=(995792,useless=45312), ccks=19662, wck=1.418, mem=60M938
6.84/3.66 decisions=17123, wrong=7832, backtracks=2522, failedAssignments=6128, nogoods=2042, foundSolutions=87, bestBound=722
6.84/3.66
6.84/3.67 num=358, depth=3..7, filters=1162742, revisions=(998675,useless=45748), ccks=19662, wck=1.42, mem=60M938
6.84/3.67 decisions=17155, wrong=7846, backtracks=2527, failedAssignments=6139, nogoods=2049, foundSolutions=87, bestBound=722
6.84/3.67
6.84/3.67 num=359, depth=0..6, filters=1164992, revisions=(1000546,useless=45760), ccks=19662, wck=1.423, mem=60M938
6.84/3.67 decisions=17189, wrong=7861, backtracks=2534, failedAssignments=6150, nogoods=2051, foundSolutions=87, bestBound=722
6.84/3.67
6.84/3.67 num=360, depth=1..4, filters=1167369, revisions=(1002572,useless=45775), ccks=19662, wck=1.425, mem=60M938
6.84/3.67 decisions=17220, wrong=7875, backtracks=2536, failedAssignments=6162, nogoods=2061, foundSolutions=87, bestBound=722
6.84/3.67
6.84/3.67 num=361, depth=3..6, filters=1169365, revisions=(1004181,useless=45781), ccks=19662, wck=1.427, mem=60M938
6.84/3.67 decisions=17255, wrong=7891, backtracks=2542, failedAssignments=6175, nogoods=2064, foundSolutions=87, bestBound=722
6.84/3.67
6.84/3.68 o 720
6.84/3.68 num=362, depth=1..229, filters=1172731, revisions=(1007093,useless=45854), ccks=19888, wck=1.429, mem=60M938
6.84/3.68 decisions=17297, wrong=7909, backtracks=2548, failedAssignments=6187, nogoods=2069, foundSolutions=88, bestBound=720
6.84/3.68
6.84/3.68 o 719
6.84/3.68 num=363, depth=5..229, filters=1173766, revisions=(1008342,useless=46245), ccks=20114, wck=1.431, mem=63M581
6.84/3.68 decisions=17306, wrong=7910, backtracks=2548, failedAssignments=6188, nogoods=2070, foundSolutions=89, bestBound=719
6.84/3.68
6.84/3.68 num=364, depth=3..6, filters=1176986, revisions=(1011472,useless=46685), ccks=20114, wck=1.434, mem=63M581
6.84/3.68 decisions=17341, wrong=7926, backtracks=2556, failedAssignments=6199, nogoods=2077, foundSolutions=89, bestBound=719
6.84/3.68
6.84/3.68 num=365, depth=4..6, filters=1178637, revisions=(1012808,useless=46695), ccks=20114, wck=1.436, mem=63M581
6.84/3.68 decisions=17370, wrong=7938, backtracks=2558, failedAssignments=6210, nogoods=2082, foundSolutions=89, bestBound=719
6.84/3.68
6.84/3.68 num=366, depth=3..7, filters=1180689, revisions=(1014545,useless=46706), ccks=20114, wck=1.438, mem=63M581
6.84/3.68 decisions=17405, wrong=7954, backtracks=2566, failedAssignments=6222, nogoods=2086, foundSolutions=89, bestBound=719
6.84/3.68
6.84/3.69 o 711
6.84/3.69 num=367, depth=3..229, filters=1181975, revisions=(1015608,useless=46713), ccks=20340, wck=1.439, mem=63M581
6.84/3.69 decisions=17421, wrong=7959, backtracks=2566, failedAssignments=6227, nogoods=2091, foundSolutions=90, bestBound=711
6.84/3.69
6.84/3.69 num=368, depth=4..6, filters=1184769, revisions=(1018345,useless=47139), ccks=20340, wck=1.442, mem=63M581
6.84/3.69 decisions=17461, wrong=7977, backtracks=2570, failedAssignments=6241, nogoods=2093, foundSolutions=90, bestBound=711
6.84/3.69
6.84/3.69 num=369, depth=3..6, filters=1186966, revisions=(1020084,useless=47165), ccks=20340, wck=1.444, mem=63M581
6.84/3.69 decisions=17492, wrong=7991, backtracks=2575, failedAssignments=6252, nogoods=2095, foundSolutions=90, bestBound=711
6.84/3.69
6.84/3.69 num=370, depth=2..4, filters=1190387, revisions=(1023039,useless=47209), ccks=20340, wck=1.447, mem=63M581
6.84/3.69 decisions=17524, wrong=8006, backtracks=2579, failedAssignments=6264, nogoods=2105, foundSolutions=90, bestBound=711
6.84/3.69
6.84/3.69 o 708
6.84/3.69 num=371, depth=4..229, filters=1191255, revisions=(1023754,useless=47219), ccks=20566, wck=1.448, mem=63M581
6.84/3.69 decisions=17534, wrong=8008, backtracks=2580, failedAssignments=6265, nogoods=2106, foundSolutions=91, bestBound=708
6.84/3.69
6.95/3.70 num=372, depth=4..6, filters=1194201, revisions=(1026598,useless=47643), ccks=20566, wck=1.45, mem=63M581
6.95/3.70 decisions=17574, wrong=8026, backtracks=2584, failedAssignments=6279, nogoods=2109, foundSolutions=91, bestBound=708
6.95/3.70
6.95/3.70 num=373, depth=2..6, filters=1196315, revisions=(1028274,useless=47655), ccks=20566, wck=1.452, mem=63M581
6.95/3.70 decisions=17604, wrong=8039, backtracks=2587, failedAssignments=6290, nogoods=2112, foundSolutions=91, bestBound=708
6.95/3.70
6.95/3.70 o 704
6.95/3.70 num=374, depth=3..229, filters=1197674, revisions=(1029406,useless=47671), ccks=20792, wck=1.454, mem=63M581
6.95/3.70 decisions=17622, wrong=8045, backtracks=2589, failedAssignments=6294, nogoods=2114, foundSolutions=92, bestBound=704
6.95/3.70
6.95/3.70 num=375, depth=4..7, filters=1200159, revisions=(1031861,useless=48077), ccks=20792, wck=1.456, mem=63M581
6.95/3.70 decisions=17660, wrong=8062, backtracks=2594, failedAssignments=6307, nogoods=2118, foundSolutions=92, bestBound=704
6.95/3.70
6.95/3.71 num=376, depth=3..8, filters=1202143, revisions=(1033500,useless=48089), ccks=20792, wck=1.458, mem=63M581
6.95/3.71 decisions=17694, wrong=8077, backtracks=2602, failedAssignments=6318, nogoods=2121, foundSolutions=92, bestBound=704
6.95/3.71
6.95/3.71 num=377, depth=2..5, filters=1204814, revisions=(1035784,useless=48112), ccks=20792, wck=1.46, mem=63M581
6.95/3.71 decisions=17733, wrong=8095, backtracks=2610, failedAssignments=6330, nogoods=2127, foundSolutions=92, bestBound=704
6.95/3.71
6.95/3.71 num=378, depth=3..5, filters=1207922, revisions=(1038416,useless=48162), ccks=20792, wck=1.463, mem=63M581
6.95/3.71 decisions=17772, wrong=8113, backtracks=2615, failedAssignments=6343, nogoods=2134, foundSolutions=92, bestBound=704
6.95/3.71
6.95/3.71 num=379, depth=4..6, filters=1210676, revisions=(1040651,useless=48186), ccks=20792, wck=1.465, mem=63M581
6.95/3.71 decisions=17813, wrong=8131, backtracks=2621, failedAssignments=6357, nogoods=2143, foundSolutions=92, bestBound=704
6.95/3.71
6.95/3.71 num=380, depth=1..5, filters=1213334, revisions=(1042905,useless=48201), ccks=20792, wck=1.468, mem=63M581
6.95/3.71 decisions=17856, wrong=8151, backtracks=2629, failedAssignments=6373, nogoods=2146, foundSolutions=92, bestBound=704
6.95/3.71
6.95/3.72 num=381, depth=3..5, filters=1215915, revisions=(1044962,useless=48216), ccks=20792, wck=1.47, mem=63M581
6.95/3.72 decisions=17897, wrong=8170, backtracks=2631, failedAssignments=6390, nogoods=2147, foundSolutions=92, bestBound=704
6.95/3.72
6.95/3.72 num=382, depth=2..5, filters=1219636, revisions=(1048134,useless=48239), ccks=20792, wck=1.473, mem=63M581
6.95/3.72 decisions=17958, wrong=8199, backtracks=2643, failedAssignments=6409, nogoods=2153, foundSolutions=92, bestBound=704
6.95/3.72
6.95/3.72 num=383, depth=1..5, filters=1224196, revisions=(1052110,useless=48346), ccks=20792, wck=1.477, mem=63M581
6.95/3.72 decisions=18014, wrong=8225, backtracks=2651, failedAssignments=6430, nogoods=2159, foundSolutions=92, bestBound=704
6.95/3.72
6.95/3.73 num=384, depth=2..5, filters=1227656, revisions=(1055018,useless=48419), ccks=20792, wck=1.481, mem=63M581
6.95/3.73 decisions=18073, wrong=8253, backtracks=2659, failedAssignments=6453, nogoods=2172, foundSolutions=92, bestBound=704
6.95/3.73
6.95/3.73 num=385, depth=2..5, filters=1232194, revisions=(1058908,useless=48496), ccks=20792, wck=1.485, mem=63M581
6.95/3.73 decisions=18131, wrong=8281, backtracks=2664, failedAssignments=6478, nogoods=2181, foundSolutions=92, bestBound=704
6.95/3.73
6.95/3.74 num=386, depth=3..6, filters=1237525, revisions=(1063250,useless=48548), ccks=20792, wck=1.49, mem=63M581
6.95/3.74 decisions=18216, wrong=8321, backtracks=2677, failedAssignments=6506, nogoods=2192, foundSolutions=92, bestBound=704
6.95/3.74
6.95/3.74 o 693
6.95/3.74 num=387, depth=4..229, filters=1238617, revisions=(1064151,useless=48550), ccks=21018, wck=1.491, mem=63M581
6.95/3.74 decisions=18230, wrong=8325, backtracks=2677, failedAssignments=6510, nogoods=2196, foundSolutions=93, bestBound=693
6.95/3.74
6.95/3.74 num=388, depth=3..7, filters=1244050, revisions=(1069043,useless=49038), ccks=21018, wck=1.496, mem=63M581
6.95/3.74 decisions=18317, wrong=8366, backtracks=2687, failedAssignments=6544, nogoods=2208, foundSolutions=93, bestBound=693
6.95/3.74
6.95/3.74 num=389, depth=3..6, filters=1246034, revisions=(1070717,useless=49047), ccks=21018, wck=1.498, mem=63M581
6.95/3.74 decisions=18346, wrong=8379, backtracks=2691, failedAssignments=6555, nogoods=2214, foundSolutions=93, bestBound=693
6.95/3.74
6.95/3.75 o 690
6.95/3.75 num=390, depth=4..229, filters=1247016, revisions=(1071524,useless=49053), ccks=21244, wck=1.499, mem=63M581
6.95/3.75 decisions=18358, wrong=8382, backtracks=2692, failedAssignments=6557, nogoods=2216, foundSolutions=94, bestBound=690
6.95/3.75
6.95/3.75 num=391, depth=5..7, filters=1249115, revisions=(1073645,useless=49458), ccks=21244, wck=1.501, mem=63M581
6.95/3.75 decisions=18393, wrong=8397, backtracks=2695, failedAssignments=6570, nogoods=2220, foundSolutions=94, bestBound=690
6.95/3.75
6.95/3.75 num=392, depth=3..5, filters=1251484, revisions=(1075542,useless=49469), ccks=21244, wck=1.504, mem=63M581
6.95/3.75 decisions=18427, wrong=8412, backtracks=2700, failedAssignments=6581, nogoods=2227, foundSolutions=94, bestBound=690
6.95/3.75
6.95/3.75 num=393, depth=3..5, filters=1253734, revisions=(1077417,useless=49488), ccks=21244, wck=1.506, mem=63M581
6.95/3.75 decisions=18462, wrong=8428, backtracks=2704, failedAssignments=6593, nogoods=2232, foundSolutions=94, bestBound=690
6.95/3.75
6.95/3.75 num=394, depth=2..8, filters=1255913, revisions=(1079194,useless=49501), ccks=21244, wck=1.508, mem=63M581
6.95/3.75 decisions=18499, wrong=8445, backtracks=2712, failedAssignments=6606, nogoods=2239, foundSolutions=94, bestBound=690
6.95/3.75
6.95/3.76 num=395, depth=1..4, filters=1259409, revisions=(1082145,useless=49539), ccks=21244, wck=1.511, mem=63M581
6.95/3.76 decisions=18545, wrong=8466, backtracks=2719, failedAssignments=6620, nogoods=2249, foundSolutions=94, bestBound=690
6.95/3.76
6.95/3.76 num=396, depth=2..6, filters=1262517, revisions=(1084715,useless=49597), ccks=21244, wck=1.513, mem=63M581
6.95/3.76 decisions=18593, wrong=8488, backtracks=2731, failedAssignments=6636, nogoods=2254, foundSolutions=94, bestBound=690
6.95/3.76
6.95/3.76 num=397, depth=1..7, filters=1265361, revisions=(1087113,useless=49632), ccks=21244, wck=1.516, mem=63M581
6.95/3.76 decisions=18637, wrong=8507, backtracks=2734, failedAssignments=6653, nogoods=2265, foundSolutions=94, bestBound=690
6.95/3.76
6.95/3.77 num=398, depth=3..7, filters=1268177, revisions=(1089333,useless=49638), ccks=21244, wck=1.519, mem=63M581
6.95/3.77 decisions=18686, wrong=8530, backtracks=2742, failedAssignments=6672, nogoods=2274, foundSolutions=94, bestBound=690
6.95/3.77
6.95/3.77 o 685
6.95/3.77 num=399, depth=231..229, filters=1268899, revisions=(1089914,useless=49640), ccks=21470, wck=1.52, mem=63M581
6.95/3.77 decisions=18692, wrong=8530, backtracks=2742, failedAssignments=6672, nogoods=2274, foundSolutions=95, bestBound=685
6.95/3.77
6.95/3.77 num=400, depth=4..7, filters=1273111, revisions=(1093802,useless=50110), ccks=21470, wck=1.524, mem=63M581
6.95/3.77 decisions=18751, wrong=8557, backtracks=2748, failedAssignments=6695, nogoods=2279, foundSolutions=95, bestBound=685
6.95/3.77
6.95/3.77 num=401, depth=2..6, filters=1275389, revisions=(1095721,useless=50125), ccks=21470, wck=1.526, mem=63M581
6.95/3.77 decisions=18785, wrong=8573, backtracks=2756, failedAssignments=6706, nogoods=2283, foundSolutions=95, bestBound=685
6.95/3.77
6.95/3.77 o 682
6.95/3.77 num=402, depth=4..229, filters=1276328, revisions=(1096500,useless=50135), ccks=21696, wck=1.527, mem=63M581
6.95/3.77 decisions=18795, wrong=8575, backtracks=2757, failedAssignments=6707, nogoods=2284, foundSolutions=96, bestBound=682
6.95/3.77
6.95/3.78 num=403, depth=4..5, filters=1279307, revisions=(1099343,useless=50544), ccks=21696, wck=1.53, mem=63M581
6.95/3.78 decisions=18832, wrong=8591, backtracks=2760, failedAssignments=6720, nogoods=2294, foundSolutions=96, bestBound=682
6.95/3.78
6.95/3.78 num=404, depth=2..5, filters=1281412, revisions=(1101056,useless=50555), ccks=21696, wck=1.532, mem=63M581
6.95/3.78 decisions=18863, wrong=8605, backtracks=2767, failedAssignments=6731, nogoods=2298, foundSolutions=96, bestBound=682
6.95/3.78
6.95/3.78 num=405, depth=3..4, filters=1284283, revisions=(1103417,useless=50587), ccks=21696, wck=1.535, mem=63M581
6.95/3.78 decisions=18899, wrong=8621, backtracks=2771, failedAssignments=6743, nogoods=2305, foundSolutions=96, bestBound=682
6.95/3.78
6.95/3.78 num=406, depth=2..5, filters=1287203, revisions=(1105847,useless=50611), ccks=21696, wck=1.537, mem=63M581
6.95/3.78 decisions=18939, wrong=8640, backtracks=2779, failedAssignments=6756, nogoods=2310, foundSolutions=96, bestBound=682
6.95/3.78
6.95/3.79 num=407, depth=3..5, filters=1290569, revisions=(1108732,useless=50667), ccks=21696, wck=1.54, mem=63M581
6.95/3.79 decisions=18988, wrong=8663, backtracks=2788, failedAssignments=6770, nogoods=2318, foundSolutions=96, bestBound=682
6.95/3.79
6.95/3.79 num=408, depth=1..5, filters=1293532, revisions=(1111175,useless=50696), ccks=21696, wck=1.543, mem=63M581
6.95/3.79 decisions=19036, wrong=8686, backtracks=2796, failedAssignments=6786, nogoods=2322, foundSolutions=96, bestBound=682
6.95/3.79
6.95/3.79 num=409, depth=3..5, filters=1297627, revisions=(1114654,useless=50766), ccks=21696, wck=1.546, mem=63M581
6.95/3.79 decisions=19092, wrong=8712, backtracks=2806, failedAssignments=6803, nogoods=2329, foundSolutions=96, bestBound=682
6.95/3.79
6.95/3.80 num=410, depth=4..6, filters=1300729, revisions=(1117191,useless=50788), ccks=21696, wck=1.549, mem=63M581
6.95/3.80 decisions=19143, wrong=8735, backtracks=2812, failedAssignments=6822, nogoods=2337, foundSolutions=96, bestBound=682
6.95/3.80
7.11/3.80 num=411, depth=1..5, filters=1305057, revisions=(1120913,useless=50834), ccks=21696, wck=1.552, mem=63M581
7.11/3.80 decisions=19204, wrong=8765, backtracks=2825, failedAssignments=6843, nogoods=2339, foundSolutions=96, bestBound=682
7.11/3.80
7.11/3.80 num=412, depth=3..6, filters=1308439, revisions=(1123639,useless=50860), ccks=21696, wck=1.555, mem=63M581
7.11/3.80 decisions=19265, wrong=8794, backtracks=2833, failedAssignments=6866, nogoods=2347, foundSolutions=96, bestBound=682
7.11/3.80
7.11/3.81 num=413, depth=0..5, filters=1313351, revisions=(1127789,useless=50940), ccks=21696, wck=1.559, mem=63M581
7.11/3.81 decisions=19335, wrong=8828, backtracks=2842, failedAssignments=6891, nogoods=2352, foundSolutions=96, bestBound=682
7.11/3.81
7.11/3.81 num=414, depth=2..5, filters=1319368, revisions=(1132793,useless=51077), ccks=21696, wck=1.565, mem=63M581
7.11/3.81 decisions=19422, wrong=8870, backtracks=2856, failedAssignments=6919, nogoods=2358, foundSolutions=96, bestBound=682
7.11/3.81
7.11/3.82 num=415, depth=1..5, filters=1325102, revisions=(1137475,useless=51140), ccks=21696, wck=1.57, mem=63M581
7.11/3.82 decisions=19507, wrong=8911, backtracks=2870, failedAssignments=6950, nogoods=2365, foundSolutions=96, bestBound=682
7.11/3.82
7.11/3.82 num=416, depth=1..6, filters=1331803, revisions=(1143265,useless=51229), ccks=21696, wck=1.575, mem=63M581
7.11/3.82 decisions=19612, wrong=8962, backtracks=2893, failedAssignments=6984, nogoods=2373, foundSolutions=96, bestBound=682
7.11/3.82
7.11/3.83 num=417, depth=3..5, filters=1339349, revisions=(1149567,useless=51325), ccks=21696, wck=1.581, mem=63M581
7.11/3.83 decisions=19726, wrong=9017, backtracks=2912, failedAssignments=7021, nogoods=2383, foundSolutions=96, bestBound=682
7.11/3.83
7.11/3.83 num=418, depth=1..5, filters=1347846, revisions=(1156881,useless=51413), ccks=21696, wck=1.587, mem=63M581
7.11/3.83 decisions=19858, wrong=9082, backtracks=2941, failedAssignments=7062, nogoods=2390, foundSolutions=96, bestBound=682
7.11/3.83
7.11/3.84 num=419, depth=2..6, filters=1354334, revisions=(1162187,useless=51454), ccks=21696, wck=1.593, mem=63M581
7.11/3.84 decisions=19973, wrong=9138, backtracks=2957, failedAssignments=7107, nogoods=2403, foundSolutions=96, bestBound=682
7.11/3.84
7.11/3.85 num=420, depth=0..7, filters=1362429, revisions=(1168904,useless=51528), ccks=21696, wck=1.599, mem=63M581
7.11/3.85 decisions=20119, wrong=9209, backtracks=2982, failedAssignments=7157, nogoods=2412, foundSolutions=96, bestBound=682
7.11/3.85
7.11/3.86 num=421, depth=0..6, filters=1373817, revisions=(1178578,useless=51683), ccks=21696, wck=1.609, mem=63M581
7.11/3.86 decisions=20284, wrong=9290, backtracks=3015, failedAssignments=7212, nogoods=2419, foundSolutions=96, bestBound=682
7.11/3.86
7.11/3.86 num=422, depth=0..7, filters=1384164, revisions=(1187140,useless=51866), ccks=21696, wck=1.618, mem=63M581
7.11/3.86 decisions=20437, wrong=9365, backtracks=3034, failedAssignments=7273, nogoods=2430, foundSolutions=96, bestBound=682
7.11/3.86
7.11/3.87 num=423, depth=1..5, filters=1394243, revisions=(1195293,useless=51927), ccks=21696, wck=1.627, mem=63M581
7.11/3.87 decisions=20609, wrong=9450, backtracks=3055, failedAssignments=7340, nogoods=2436, foundSolutions=96, bestBound=682
7.11/3.87
7.11/3.88 num=424, depth=1..5, filters=1407194, revisions=(1206191,useless=52149), ccks=21696, wck=1.637, mem=63M581
7.11/3.88 decisions=20795, wrong=9541, backtracks=3074, failedAssignments=7414, nogoods=2439, foundSolutions=96, bestBound=682
7.11/3.88
7.11/3.89 o 678
7.11/3.89 num=425, depth=1..229, filters=1415751, revisions=(1213518,useless=52206), ccks=21922, wck=1.644, mem=66M225
7.11/3.89 decisions=20941, wrong=9611, backtracks=3103, failedAssignments=7462, nogoods=2443, foundSolutions=97, bestBound=678
7.11/3.89
7.21/3.90 num=426, depth=3..6, filters=1429178, revisions=(1224711,useless=52780), ccks=21922, wck=1.656, mem=66M225
7.21/3.90 decisions=21156, wrong=9717, backtracks=3121, failedAssignments=7551, nogoods=2445, foundSolutions=97, bestBound=678
7.21/3.90
7.21/3.90 num=427, depth=3..6, filters=1431090, revisions=(1226315,useless=52790), ccks=21922, wck=1.658, mem=66M225
7.21/3.90 decisions=21189, wrong=9732, backtracks=3126, failedAssignments=7562, nogoods=2448, foundSolutions=97, bestBound=678
7.21/3.90
7.21/3.91 num=428, depth=4..6, filters=1433991, revisions=(1228739,useless=52842), ccks=21922, wck=1.66, mem=66M225
7.21/3.91 decisions=21227, wrong=9749, backtracks=3132, failedAssignments=7574, nogoods=2456, foundSolutions=97, bestBound=678
7.21/3.91
7.21/3.91 num=429, depth=1..4, filters=1436370, revisions=(1230720,useless=52848), ccks=21922, wck=1.662, mem=66M225
7.21/3.91 decisions=21261, wrong=9765, backtracks=3136, failedAssignments=7587, nogoods=2460, foundSolutions=97, bestBound=678
7.21/3.91
7.21/3.91 o 675
7.21/3.91 num=430, depth=4..229, filters=1437304, revisions=(1231488,useless=52849), ccks=22148, wck=1.664, mem=66M225
7.21/3.91 decisions=21271, wrong=9767, backtracks=3136, failedAssignments=7589, nogoods=2462, foundSolutions=98, bestBound=675
7.21/3.91
7.21/3.91 num=431, depth=4..7, filters=1440747, revisions=(1234742,useless=53292), ccks=22148, wck=1.667, mem=66M225
7.21/3.91 decisions=21313, wrong=9785, backtracks=3138, failedAssignments=7605, nogoods=2470, foundSolutions=98, bestBound=675
7.21/3.91
7.21/3.92 num=432, depth=1..3, filters=1442968, revisions=(1236558,useless=53299), ccks=22148, wck=1.669, mem=66M225
7.21/3.92 decisions=21343, wrong=9799, backtracks=3142, failedAssignments=7616, nogoods=2475, foundSolutions=98, bestBound=675
7.21/3.92
7.21/3.92 num=433, depth=3..5, filters=1446142, revisions=(1239183,useless=53346), ccks=22148, wck=1.672, mem=66M225
7.21/3.92 decisions=21378, wrong=9814, backtracks=3145, failedAssignments=7628, nogoods=2484, foundSolutions=98, bestBound=675
7.21/3.92
7.21/3.92 o 671
7.21/3.92 num=434, depth=4..229, filters=1447089, revisions=(1239938,useless=53351), ccks=22374, wck=1.673, mem=66M225
7.21/3.92 decisions=21388, wrong=9816, backtracks=3145, failedAssignments=7630, nogoods=2486, foundSolutions=99, bestBound=671
7.21/3.92
7.21/3.92 num=435, depth=4..8, filters=1450563, revisions=(1243274,useless=53811), ccks=22374, wck=1.676, mem=66M225
7.21/3.92 decisions=21430, wrong=9835, backtracks=3153, failedAssignments=7644, nogoods=2488, foundSolutions=99, bestBound=671
7.21/3.92
7.21/3.92 num=436, depth=1..3, filters=1452566, revisions=(1244903,useless=53822), ccks=22374, wck=1.678, mem=66M225
7.21/3.92 decisions=21460, wrong=9849, backtracks=3157, failedAssignments=7655, nogoods=2491, foundSolutions=99, bestBound=671
7.21/3.92
7.21/3.93 num=437, depth=3..5, filters=1455365, revisions=(1247253,useless=53844), ccks=22374, wck=1.68, mem=66M225
7.21/3.93 decisions=21498, wrong=9866, backtracks=3162, failedAssignments=7667, nogoods=2495, foundSolutions=99, bestBound=671
7.21/3.93
7.21/3.93 num=438, depth=0..6, filters=1457482, revisions=(1248957,useless=53866), ccks=22374, wck=1.682, mem=66M225
7.21/3.93 decisions=21534, wrong=9882, backtracks=3169, failedAssignments=7680, nogoods=2497, foundSolutions=99, bestBound=671
7.21/3.93
7.21/3.93 o 664
7.21/3.93 num=439, depth=5..229, filters=1458191, revisions=(1249533,useless=53867), ccks=22600, wck=1.683, mem=66M225
7.21/3.93 decisions=21542, wrong=9883, backtracks=3169, failedAssignments=7681, nogoods=2498, foundSolutions=100, bestBound=664
7.21/3.93
7.21/3.93 num=440, depth=4..7, filters=1461310, revisions=(1252491,useless=54297), ccks=22600, wck=1.686, mem=66M225
7.21/3.93 decisions=21584, wrong=9901, backtracks=3171, failedAssignments=7697, nogoods=2504, foundSolutions=100, bestBound=664
7.21/3.93
7.21/3.93 num=441, depth=2..5, filters=1463290, revisions=(1254170,useless=54309), ccks=22600, wck=1.688, mem=66M225
7.21/3.93 decisions=21617, wrong=9916, backtracks=3176, failedAssignments=7708, nogoods=2508, foundSolutions=100, bestBound=664
7.21/3.93
7.21/3.94 num=442, depth=3..6, filters=1466010, revisions=(1256418,useless=54325), ccks=22600, wck=1.691, mem=66M225
7.21/3.94 decisions=21659, wrong=9935, backtracks=3184, failedAssignments=7720, nogoods=2512, foundSolutions=100, bestBound=664
7.21/3.94
7.21/3.94 num=443, depth=3..5, filters=1468065, revisions=(1258063,useless=54330), ccks=22600, wck=1.692, mem=66M225
7.21/3.94 decisions=21692, wrong=9950, backtracks=3186, failedAssignments=7733, nogoods=2513, foundSolutions=100, bestBound=664
7.21/3.94
7.21/3.94 num=444, depth=2..5, filters=1470633, revisions=(1260278,useless=54348), ccks=22600, wck=1.694, mem=66M225
7.21/3.94 decisions=21736, wrong=9970, backtracks=3193, failedAssignments=7747, nogoods=2516, foundSolutions=100, bestBound=664
7.21/3.94
7.21/3.94 o 661
7.21/3.94 num=445, depth=4..229, filters=1472171, revisions=(1261501,useless=54354), ccks=22826, wck=1.696, mem=66M225
7.21/3.94 decisions=21760, wrong=9979, backtracks=3196, failedAssignments=7753, nogoods=2520, foundSolutions=101, bestBound=661
7.21/3.94
7.21/3.95 num=446, depth=5..7, filters=1476248, revisions=(1265264,useless=54833), ccks=22826, wck=1.7, mem=66M225
7.21/3.95 decisions=21809, wrong=10001, backtracks=3203, failedAssignments=7770, nogoods=2532, foundSolutions=101, bestBound=661
7.21/3.95
7.21/3.95 num=447, depth=3..5, filters=1478770, revisions=(1267347,useless=54848), ccks=22826, wck=1.702, mem=66M225
7.21/3.95 decisions=21847, wrong=10018, backtracks=3209, failedAssignments=7781, nogoods=2539, foundSolutions=101, bestBound=661
7.21/3.95
7.21/3.95 num=448, depth=3..5, filters=1481622, revisions=(1269724,useless=54887), ccks=22826, wck=1.705, mem=66M225
7.21/3.95 decisions=21887, wrong=10036, backtracks=3215, failedAssignments=7793, nogoods=2547, foundSolutions=101, bestBound=661
7.21/3.95
7.21/3.95 num=449, depth=3..6, filters=1484087, revisions=(1271722,useless=54913), ccks=22826, wck=1.707, mem=66M225
7.21/3.95 decisions=21923, wrong=10052, backtracks=3219, failedAssignments=7806, nogoods=2552, foundSolutions=101, bestBound=661
7.21/3.95
7.21/3.96 num=450, depth=3..6, filters=1486506, revisions=(1273779,useless=54931), ccks=22826, wck=1.709, mem=66M225
7.21/3.96 decisions=21964, wrong=10071, backtracks=3225, failedAssignments=7820, nogoods=2557, foundSolutions=101, bestBound=661
7.21/3.96
7.21/3.96 num=451, depth=2..5, filters=1490031, revisions=(1276736,useless=54994), ccks=22826, wck=1.712, mem=66M225
7.21/3.96 decisions=22013, wrong=10094, backtracks=3233, failedAssignments=7836, nogoods=2562, foundSolutions=101, bestBound=661
7.21/3.96
7.21/3.96 num=452, depth=2..5, filters=1493167, revisions=(1279411,useless=55006), ccks=22826, wck=1.715, mem=66M225
7.21/3.96 decisions=22069, wrong=10121, backtracks=3246, failedAssignments=7853, nogoods=2566, foundSolutions=101, bestBound=661
7.21/3.96
7.21/3.96 num=453, depth=3..6, filters=1497155, revisions=(1282644,useless=55046), ccks=22826, wck=1.718, mem=66M225
7.21/3.96 decisions=22126, wrong=10148, backtracks=3255, failedAssignments=7872, nogoods=2568, foundSolutions=101, bestBound=661
7.21/3.96
7.21/3.97 num=454, depth=2..6, filters=1500901, revisions=(1285774,useless=55061), ccks=22826, wck=1.721, mem=66M225
7.21/3.97 decisions=22186, wrong=10177, backtracks=3265, failedAssignments=7893, nogoods=2571, foundSolutions=101, bestBound=661
7.21/3.97
7.21/3.97 num=455, depth=3..5, filters=1505743, revisions=(1289779,useless=55129), ccks=22826, wck=1.725, mem=66M225
7.21/3.97 decisions=22256, wrong=10210, backtracks=3275, failedAssignments=7916, nogoods=2582, foundSolutions=101, bestBound=661
7.21/3.97
7.21/3.97 o 658
7.21/3.97 num=456, depth=4..229, filters=1508536, revisions=(1292063,useless=55163), ccks=23052, wck=1.728, mem=66M225
7.21/3.97 decisions=22300, wrong=10229, backtracks=3281, failedAssignments=7931, nogoods=2588, foundSolutions=102, bestBound=658
7.21/3.97
7.21/3.98 num=457, depth=4..8, filters=1513329, revisions=(1296404,useless=55624), ccks=23052, wck=1.733, mem=66M225
7.21/3.98 decisions=22371, wrong=10262, backtracks=3291, failedAssignments=7959, nogoods=2602, foundSolutions=102, bestBound=658
7.21/3.98
7.21/3.98 num=458, depth=3..5, filters=1515198, revisions=(1297912,useless=55627), ccks=23052, wck=1.734, mem=66M225
7.21/3.98 decisions=22402, wrong=10276, backtracks=3295, failedAssignments=7970, nogoods=2608, foundSolutions=102, bestBound=658
7.21/3.98
7.21/3.98 o 651
7.21/3.98 num=459, depth=3..229, filters=1516884, revisions=(1299326,useless=55637), ccks=23278, wck=1.736, mem=66M225
7.21/3.98 decisions=22426, wrong=10285, backtracks=3297, failedAssignments=7977, nogoods=2610, foundSolutions=103, bestBound=651
7.21/3.98
7.21/3.99 num=460, depth=3..7, filters=1519449, revisions=(1301823,useless=56042), ccks=23278, wck=1.739, mem=66M225
7.21/3.99 decisions=22463, wrong=10301, backtracks=3301, failedAssignments=7990, nogoods=2618, foundSolutions=103, bestBound=651
7.21/3.99
7.21/3.99 num=461, depth=2..5, filters=1521368, revisions=(1303398,useless=56048), ccks=23278, wck=1.741, mem=66M225
7.21/3.99 decisions=22494, wrong=10315, backtracks=3305, failedAssignments=8001, nogoods=2623, foundSolutions=103, bestBound=651
7.21/3.99
7.21/3.99 o 640
7.21/3.99 num=462, depth=4..229, filters=1522346, revisions=(1304200,useless=56051), ccks=23504, wck=1.742, mem=66M225
7.21/3.99 decisions=22506, wrong=10318, backtracks=3305, failedAssignments=8004, nogoods=2626, foundSolutions=104, bestBound=640
7.21/3.99
7.21/3.99 num=463, depth=4..7, filters=1524685, revisions=(1306473,useless=56452), ccks=23504, wck=1.744, mem=66M225
7.21/3.99 decisions=22541, wrong=10333, backtracks=3308, failedAssignments=8017, nogoods=2634, foundSolutions=104, bestBound=640
7.21/3.99
7.21/3.99 num=464, depth=2..4, filters=1526954, revisions=(1308364,useless=56481), ccks=23504, wck=1.747, mem=66M225
7.21/3.99 decisions=22575, wrong=10348, backtracks=3312, failedAssignments=8028, nogoods=2640, foundSolutions=104, bestBound=640
7.21/3.99
7.21/4.00 num=465, depth=0..3, filters=1529095, revisions=(1310157,useless=56495), ccks=23504, wck=1.748, mem=66M225
7.21/4.00 decisions=22613, wrong=10367, backtracks=3319, failedAssignments=8040, nogoods=2640, foundSolutions=104, bestBound=640
7.21/4.00
7.21/4.00 o 637
7.21/4.00 num=466, depth=4..229, filters=1530103, revisions=(1310998,useless=56510), ccks=23730, wck=1.75, mem=66M225
7.21/4.00 decisions=22625, wrong=10370, backtracks=3320, failedAssignments=8042, nogoods=2642, foundSolutions=105, bestBound=637
7.21/4.00
7.21/4.00 num=467, depth=4..7, filters=1533256, revisions=(1314026,useless=56917), ccks=23730, wck=1.753, mem=66M225
7.21/4.00 decisions=22671, wrong=10391, backtracks=3328, failedAssignments=8056, nogoods=2649, foundSolutions=105, bestBound=637
7.21/4.00
7.21/4.00 num=468, depth=3..5, filters=1535608, revisions=(1315920,useless=56928), ccks=23730, wck=1.755, mem=66M225
7.21/4.00 decisions=22704, wrong=10406, backtracks=3332, failedAssignments=8067, nogoods=2654, foundSolutions=105, bestBound=637
7.21/4.00
7.21/4.00 num=469, depth=1..5, filters=1537900, revisions=(1317857,useless=56942), ccks=23730, wck=1.757, mem=66M225
7.21/4.00 decisions=22741, wrong=10422, backtracks=3336, failedAssignments=8079, nogoods=2660, foundSolutions=105, bestBound=637
7.21/4.00
7.21/4.01 num=470, depth=3..5, filters=1540116, revisions=(1319601,useless=56959), ccks=23730, wck=1.759, mem=66M225
7.21/4.01 decisions=22776, wrong=10438, backtracks=3340, failedAssignments=8092, nogoods=2664, foundSolutions=105, bestBound=637
7.21/4.01
7.21/4.01 o 634
7.21/4.01 num=471, depth=4..229, filters=1541068, revisions=(1320403,useless=56963), ccks=23956, wck=1.761, mem=66M225
7.21/4.01 decisions=22788, wrong=10441, backtracks=3341, failedAssignments=8094, nogoods=2666, foundSolutions=106, bestBound=634
7.21/4.01
7.34/4.01 num=472, depth=4..6, filters=1544193, revisions=(1323290,useless=57380), ccks=23956, wck=1.764, mem=66M225
7.34/4.01 decisions=22835, wrong=10462, backtracks=3346, failedAssignments=8110, nogoods=2670, foundSolutions=106, bestBound=634
7.34/4.01
7.34/4.01 num=473, depth=1..5, filters=1546832, revisions=(1325509,useless=57403), ccks=23956, wck=1.766, mem=66M225
7.34/4.01 decisions=22869, wrong=10477, backtracks=3350, failedAssignments=8121, nogoods=2674, foundSolutions=106, bestBound=634
7.34/4.01
7.34/4.01 num=474, depth=2..5, filters=1549384, revisions=(1327664,useless=57421), ccks=23956, wck=1.768, mem=66M225
7.34/4.01 decisions=22911, wrong=10496, backtracks=3357, failedAssignments=8133, nogoods=2677, foundSolutions=106, bestBound=634
7.34/4.01
7.34/4.02 num=475, depth=3..6, filters=1551783, revisions=(1329700,useless=57431), ccks=23956, wck=1.77, mem=66M225
7.34/4.02 decisions=22946, wrong=10512, backtracks=3362, failedAssignments=8146, nogoods=2682, foundSolutions=106, bestBound=634
7.34/4.02
7.34/4.02 num=476, depth=2..5, filters=1554634, revisions=(1332149,useless=57463), ccks=23956, wck=1.772, mem=66M225
7.34/4.02 decisions=22990, wrong=10533, backtracks=3369, failedAssignments=8160, nogoods=2683, foundSolutions=106, bestBound=634
7.34/4.02
7.34/4.02 num=477, depth=2..5, filters=1557413, revisions=(1334411,useless=57491), ccks=23956, wck=1.775, mem=68M867
7.34/4.02 decisions=23031, wrong=10552, backtracks=3372, failedAssignments=8176, nogoods=2691, foundSolutions=106, bestBound=634
7.34/4.02
7.34/4.02 num=478, depth=2..5, filters=1561139, revisions=(1337619,useless=57536), ccks=23956, wck=1.778, mem=68M867
7.34/4.02 decisions=23085, wrong=10577, backtracks=3381, failedAssignments=8193, nogoods=2694, foundSolutions=106, bestBound=634
7.34/4.02
7.34/4.03 num=479, depth=3..5, filters=1564582, revisions=(1340513,useless=57581), ccks=23956, wck=1.781, mem=68M867
7.34/4.03 decisions=23139, wrong=10602, backtracks=3387, failedAssignments=8212, nogoods=2698, foundSolutions=106, bestBound=634
7.34/4.03
7.34/4.03 num=480, depth=2..5, filters=1568561, revisions=(1343839,useless=57618), ccks=23956, wck=1.784, mem=68M867
7.34/4.03 decisions=23200, wrong=10631, backtracks=3396, failedAssignments=8233, nogoods=2705, foundSolutions=106, bestBound=634
7.34/4.03
7.34/4.03 num=481, depth=0..5, filters=1572470, revisions=(1347116,useless=57636), ccks=23956, wck=1.788, mem=68M867
7.34/4.03 decisions=23268, wrong=10663, backtracks=3405, failedAssignments=8256, nogoods=2712, foundSolutions=106, bestBound=634
7.34/4.03
7.34/4.04 num=482, depth=2..4, filters=1576765, revisions=(1350618,useless=57691), ccks=23956, wck=1.792, mem=68M867
7.34/4.04 decisions=23333, wrong=10694, backtracks=3411, failedAssignments=8281, nogoods=2722, foundSolutions=106, bestBound=634
7.34/4.04
7.34/4.04 num=483, depth=2..4, filters=1581708, revisions=(1354850,useless=57753), ccks=23956, wck=1.796, mem=68M867
7.34/4.04 decisions=23415, wrong=10734, backtracks=3424, failedAssignments=8309, nogoods=2732, foundSolutions=106, bestBound=634
7.34/4.04
7.34/4.05 num=484, depth=2..6, filters=1586771, revisions=(1359184,useless=57766), ccks=23956, wck=1.8, mem=68M867
7.34/4.05 decisions=23504, wrong=10776, backtracks=3440, failedAssignments=8340, nogoods=2736, foundSolutions=106, bestBound=634
7.34/4.05
7.34/4.05 o 632
7.34/4.05 num=485, depth=1..229, filters=1588598, revisions=(1360723,useless=57771), ccks=24182, wck=1.802, mem=68M867
7.34/4.05 decisions=23534, wrong=10788, backtracks=3446, failedAssignments=8348, nogoods=2740, foundSolutions=107, bestBound=632
7.34/4.05
7.34/4.05 num=486, depth=3..6, filters=1594649, revisions=(1365897,useless=58182), ccks=24182, wck=1.807, mem=68M867
7.34/4.05 decisions=23642, wrong=10840, backtracks=3462, failedAssignments=8385, nogoods=2743, foundSolutions=107, bestBound=632
7.34/4.05
7.34/4.05 o 621
7.34/4.06 num=487, depth=5..229, filters=1595350, revisions=(1366473,useless=58182), ccks=24408, wck=1.808, mem=68M867
7.34/4.06 decisions=23650, wrong=10841, backtracks=3462, failedAssignments=8386, nogoods=2744, foundSolutions=108, bestBound=621
7.34/4.06
7.34/4.06 num=488, depth=4..7, filters=1597167, revisions=(1368289,useless=58572), ccks=24408, wck=1.81, mem=68M867
7.34/4.06 decisions=23680, wrong=10854, backtracks=3465, failedAssignments=8398, nogoods=2749, foundSolutions=108, bestBound=621
7.34/4.06
7.34/4.06 num=489, depth=3..5, filters=1599446, revisions=(1370221,useless=58587), ccks=24408, wck=1.812, mem=68M867
7.34/4.06 decisions=23713, wrong=10869, backtracks=3469, failedAssignments=8409, nogoods=2752, foundSolutions=108, bestBound=621
7.34/4.06
7.34/4.06 num=490, depth=1..6, filters=1601675, revisions=(1372080,useless=58608), ccks=24408, wck=1.814, mem=68M867
7.34/4.06 decisions=23749, wrong=10885, backtracks=3474, failedAssignments=8421, nogoods=2756, foundSolutions=108, bestBound=621
7.34/4.06
7.34/4.06 num=491, depth=2..6, filters=1604272, revisions=(1374224,useless=58635), ccks=24408, wck=1.817, mem=68M867
7.34/4.06 decisions=23787, wrong=10902, backtracks=3478, failedAssignments=8434, nogoods=2761, foundSolutions=108, bestBound=621
7.34/4.06
7.34/4.07 num=492, depth=3..5, filters=1606733, revisions=(1376317,useless=58648), ccks=24408, wck=1.819, mem=68M867
7.34/4.07 decisions=23826, wrong=10920, backtracks=3482, failedAssignments=8448, nogoods=2765, foundSolutions=108, bestBound=621
7.34/4.07
7.34/4.07 num=493, depth=1..6, filters=1610008, revisions=(1379070,useless=58705), ccks=24408, wck=1.822, mem=68M867
7.34/4.07 decisions=23872, wrong=10941, backtracks=3488, failedAssignments=8464, nogoods=2775, foundSolutions=108, bestBound=621
7.34/4.07
7.34/4.07 num=494, depth=2..5, filters=1613692, revisions=(1382201,useless=58745), ccks=24408, wck=1.825, mem=68M867
7.34/4.07 decisions=23928, wrong=10967, backtracks=3498, failedAssignments=8481, nogoods=2781, foundSolutions=108, bestBound=621
7.34/4.07
7.34/4.08 num=495, depth=1..4, filters=1618833, revisions=(1386614,useless=58926), ccks=24408, wck=1.83, mem=68M867
7.34/4.08 decisions=23982, wrong=10993, backtracks=3506, failedAssignments=8500, nogoods=2788, foundSolutions=108, bestBound=621
7.34/4.08
7.34/4.08 num=496, depth=1..5, filters=1622201, revisions=(1389264,useless=58944), ccks=24408, wck=1.833, mem=68M867
7.34/4.08 decisions=24035, wrong=11017, backtracks=3510, failedAssignments=8521, nogoods=2795, foundSolutions=108, bestBound=621
7.34/4.08
7.34/4.08 o 616
7.34/4.08 num=497, depth=4..229, filters=1622987, revisions=(1389909,useless=58948), ccks=24634, wck=1.834, mem=68M867
7.34/4.08 decisions=24043, wrong=11018, backtracks=3510, failedAssignments=8522, nogoods=2796, foundSolutions=109, bestBound=616
7.34/4.08
7.34/4.09 num=498, depth=3..7, filters=1626680, revisions=(1393161,useless=59365), ccks=24634, wck=1.838, mem=68M867
7.34/4.09 decisions=24103, wrong=11046, backtracks=3514, failedAssignments=8547, nogoods=2806, foundSolutions=109, bestBound=616
7.34/4.09
7.34/4.09 num=499, depth=2..4, filters=1628946, revisions=(1395090,useless=59397), ccks=24634, wck=1.84, mem=68M867
7.34/4.09 decisions=24136, wrong=11061, backtracks=3518, failedAssignments=8558, nogoods=2812, foundSolutions=109, bestBound=616
7.34/4.09
7.34/4.09 o 605
7.34/4.09 num=500, depth=5..229, filters=1629649, revisions=(1395666,useless=59397), ccks=24860, wck=1.842, mem=68M867
7.34/4.09 decisions=24144, wrong=11062, backtracks=3518, failedAssignments=8559, nogoods=2813, foundSolutions=110, bestBound=605
7.34/4.09
7.34/4.09 num=501, depth=3..5, filters=1631997, revisions=(1397985,useless=59810), ccks=24860, wck=1.844, mem=68M867
7.34/4.09 decisions=24179, wrong=11078, backtracks=3521, failedAssignments=8572, nogoods=2818, foundSolutions=110, bestBound=605
7.34/4.09
7.34/4.09 num=502, depth=3..5, filters=1634067, revisions=(1399622,useless=59814), ccks=24860, wck=1.846, mem=68M867
7.34/4.09 decisions=24207, wrong=11090, backtracks=3522, failedAssignments=8583, nogoods=2829, foundSolutions=110, bestBound=605
7.34/4.09
7.34/4.10 num=503, depth=4..6, filters=1636451, revisions=(1401652,useless=59848), ccks=24860, wck=1.848, mem=68M867
7.34/4.10 decisions=24239, wrong=11104, backtracks=3524, failedAssignments=8595, nogoods=2834, foundSolutions=110, bestBound=605
7.34/4.10
7.34/4.10 num=504, depth=3..6, filters=1638479, revisions=(1403247,useless=59861), ccks=24860, wck=1.85, mem=68M867
7.34/4.10 decisions=24274, wrong=11119, backtracks=3526, failedAssignments=8608, nogoods=2838, foundSolutions=110, bestBound=605
7.34/4.10
7.34/4.10 o 602
7.34/4.10 num=505, depth=4..229, filters=1639477, revisions=(1404084,useless=59871), ccks=25086, wck=1.852, mem=68M867
7.34/4.10 decisions=24286, wrong=11122, backtracks=3527, failedAssignments=8610, nogoods=2840, foundSolutions=111, bestBound=602
7.34/4.10
7.34/4.10 num=506, depth=3..6, filters=1642976, revisions=(1407408,useless=60309), ccks=25086, wck=1.855, mem=68M867
7.34/4.10 decisions=24334, wrong=11144, backtracks=3534, failedAssignments=8626, nogoods=2850, foundSolutions=111, bestBound=602
7.34/4.10
7.34/4.10 num=507, depth=4..6, filters=1644900, revisions=(1408918,useless=60314), ccks=25086, wck=1.857, mem=68M867
7.34/4.10 decisions=24364, wrong=11157, backtracks=3537, failedAssignments=8637, nogoods=2853, foundSolutions=111, bestBound=602
7.34/4.10
7.44/4.11 num=508, depth=3..5, filters=1647866, revisions=(1411456,useless=60351), ccks=25086, wck=1.859, mem=68M867
7.44/4.11 decisions=24404, wrong=11175, backtracks=3543, failedAssignments=8649, nogoods=2860, foundSolutions=111, bestBound=602
7.44/4.11
7.44/4.11 num=509, depth=1..5, filters=1650441, revisions=(1413625,useless=60371), ccks=25086, wck=1.862, mem=68M867
7.44/4.11 decisions=24442, wrong=11193, backtracks=3548, failedAssignments=8662, nogoods=2862, foundSolutions=111, bestBound=602
7.44/4.11
7.44/4.11 num=510, depth=2..4, filters=1653158, revisions=(1415911,useless=60403), ccks=25086, wck=1.864, mem=68M867
7.44/4.11 decisions=24484, wrong=11213, backtracks=3555, failedAssignments=8676, nogoods=2863, foundSolutions=111, bestBound=602
7.44/4.11
7.44/4.11 num=511, depth=1..4, filters=1655918, revisions=(1418232,useless=60415), ccks=25086, wck=1.867, mem=68M867
7.44/4.11 decisions=24527, wrong=11234, backtracks=3561, failedAssignments=8692, nogoods=2865, foundSolutions=111, bestBound=602
7.44/4.11
7.44/4.12 num=512, depth=1..5, filters=1659505, revisions=(1421291,useless=60484), ccks=25086, wck=1.87, mem=68M867
7.44/4.12 decisions=24577, wrong=11258, backtracks=3571, failedAssignments=8709, nogoods=2874, foundSolutions=111, bestBound=602
7.44/4.12
7.44/4.12 num=513, depth=2..4, filters=1663218, revisions=(1424421,useless=60516), ccks=25086, wck=1.873, mem=68M867
7.44/4.12 decisions=24636, wrong=11286, backtracks=3580, failedAssignments=8728, nogoods=2883, foundSolutions=111, bestBound=602
7.44/4.12
7.44/4.12 num=514, depth=0..5, filters=1667318, revisions=(1427842,useless=60591), ccks=25086, wck=1.877, mem=68M867
7.44/4.12 decisions=24698, wrong=11316, backtracks=3589, failedAssignments=8749, nogoods=2888, foundSolutions=111, bestBound=602
7.44/4.12
7.44/4.13 num=515, depth=1..5, filters=1671098, revisions=(1431103,useless=60624), ccks=25086, wck=1.88, mem=68M867
7.44/4.13 decisions=24768, wrong=11350, backtracks=3601, failedAssignments=8772, nogoods=2891, foundSolutions=111, bestBound=602
7.44/4.13
7.44/4.13 num=516, depth=2..4, filters=1677558, revisions=(1436587,useless=60807), ccks=25086, wck=1.886, mem=68M867
7.44/4.13 decisions=24836, wrong=11383, backtracks=3609, failedAssignments=8797, nogoods=2905, foundSolutions=111, bestBound=602
7.44/4.13
7.44/4.14 num=517, depth=3..6, filters=1681957, revisions=(1440088,useless=60838), ccks=25086, wck=1.89, mem=68M867
7.44/4.14 decisions=24904, wrong=11415, backtracks=3615, failedAssignments=8825, nogoods=2913, foundSolutions=111, bestBound=602
7.44/4.14
7.44/4.14 o 599
7.44/4.14 num=518, depth=0..229, filters=1684116, revisions=(1441898,useless=60862), ccks=25312, wck=1.892, mem=68M867
7.44/4.14 decisions=24934, wrong=11427, backtracks=3619, failedAssignments=8833, nogoods=2916, foundSolutions=112, bestBound=599
7.44/4.14
7.44/4.14 num=519, depth=2..6, filters=1689936, revisions=(1446995,useless=61329), ccks=25312, wck=1.898, mem=68M867
7.44/4.14 decisions=25025, wrong=11471, backtracks=3631, failedAssignments=8867, nogoods=2924, foundSolutions=112, bestBound=599
7.44/4.14
7.44/4.15 num=520, depth=2..5, filters=1691927, revisions=(1448647,useless=61363), ccks=25312, wck=1.9, mem=68M867
7.44/4.15 decisions=25055, wrong=11484, backtracks=3633, failedAssignments=8878, nogoods=2933, foundSolutions=112, bestBound=599
7.44/4.15
7.44/4.15 num=521, depth=3..6, filters=1694485, revisions=(1450629,useless=61387), ccks=25312, wck=1.903, mem=68M867
7.44/4.15 decisions=25088, wrong=11499, backtracks=3637, failedAssignments=8890, nogoods=2935, foundSolutions=112, bestBound=599
7.44/4.15
7.44/4.15 num=522, depth=1..4, filters=1696540, revisions=(1452362,useless=61391), ccks=25312, wck=1.904, mem=68M867
7.44/4.15 decisions=25123, wrong=11516, backtracks=3643, failedAssignments=8903, nogoods=2937, foundSolutions=112, bestBound=599
7.44/4.15
7.44/4.15 o 596
7.44/4.15 num=523, depth=2..229, filters=1697625, revisions=(1453247,useless=61398), ccks=25538, wck=1.906, mem=68M867
7.44/4.15 decisions=25137, wrong=11520, backtracks=3644, failedAssignments=8906, nogoods=2940, foundSolutions=113, bestBound=596
7.44/4.15
7.44/4.16 num=524, depth=3..5, filters=1699520, revisions=(1455194,useless=61793), ccks=25538, wck=1.908, mem=68M867
7.44/4.16 decisions=25175, wrong=11537, backtracks=3645, failedAssignments=8922, nogoods=2955, foundSolutions=113, bestBound=596
7.44/4.16
7.44/4.16 num=525, depth=2..5, filters=1702307, revisions=(1457405,useless=61809), ccks=25538, wck=1.911, mem=68M867
7.44/4.16 decisions=25216, wrong=11555, backtracks=3652, failedAssignments=8933, nogoods=2958, foundSolutions=113, bestBound=596
7.44/4.16
7.44/4.16 num=526, depth=2..5, filters=1704662, revisions=(1459399,useless=61832), ccks=25538, wck=1.913, mem=68M867
7.44/4.16 decisions=25255, wrong=11573, backtracks=3658, failedAssignments=8945, nogoods=2961, foundSolutions=113, bestBound=596
7.44/4.16
7.44/4.16 num=527, depth=2..5, filters=1707410, revisions=(1461638,useless=61856), ccks=25538, wck=1.916, mem=68M867
7.44/4.16 decisions=25293, wrong=11590, backtracks=3662, failedAssignments=8958, nogoods=2965, foundSolutions=113, bestBound=596
7.44/4.16
7.44/4.16 num=528, depth=1..5, filters=1710134, revisions=(1463947,useless=61881), ccks=25538, wck=1.918, mem=68M867
7.44/4.16 decisions=25336, wrong=11609, backtracks=3668, failedAssignments=8972, nogoods=2972, foundSolutions=113, bestBound=596
7.44/4.16
7.44/4.17 num=529, depth=3..5, filters=1713670, revisions=(1466792,useless=61914), ccks=25538, wck=1.921, mem=68M867
7.44/4.17 decisions=25384, wrong=11631, backtracks=3674, failedAssignments=8988, nogoods=2976, foundSolutions=113, bestBound=596
7.44/4.17
7.44/4.17 num=530, depth=0..5, filters=1717246, revisions=(1469818,useless=61942), ccks=25538, wck=1.924, mem=68M867
7.44/4.17 decisions=25439, wrong=11657, backtracks=3683, failedAssignments=9005, nogoods=2977, foundSolutions=113, bestBound=596
7.44/4.17
7.44/4.17 o 592
7.44/4.17 num=531, depth=2..229, filters=1719882, revisions=(1472045,useless=61974), ccks=25764, wck=1.927, mem=68M867
7.44/4.17 decisions=25475, wrong=11672, backtracks=3689, failedAssignments=9014, nogoods=2980, foundSolutions=114, bestBound=592
7.44/4.17
7.44/4.18 num=532, depth=2..4, filters=1723214, revisions=(1475194,useless=62442), ccks=25764, wck=1.93, mem=68M867
7.44/4.18 decisions=25531, wrong=11699, backtracks=3696, failedAssignments=9035, nogoods=2990, foundSolutions=114, bestBound=592
7.44/4.18
7.44/4.18 num=533, depth=2..5, filters=1725631, revisions=(1477264,useless=62468), ccks=25764, wck=1.932, mem=68M867
7.44/4.18 decisions=25567, wrong=11715, backtracks=3701, failedAssignments=9046, nogoods=2993, foundSolutions=114, bestBound=592
7.44/4.18
7.44/4.18 num=534, depth=0..5, filters=1728353, revisions=(1479470,useless=62500), ccks=25764, wck=1.935, mem=68M867
7.44/4.18 decisions=25605, wrong=11732, backtracks=3707, failedAssignments=9058, nogoods=2996, foundSolutions=114, bestBound=592
7.44/4.18
7.44/4.18 num=535, depth=0..5, filters=1731360, revisions=(1482027,useless=62517), ccks=25764, wck=1.938, mem=68M867
7.44/4.18 decisions=25653, wrong=11754, backtracks=3716, failedAssignments=9071, nogoods=2997, foundSolutions=114, bestBound=592
7.44/4.18
7.44/4.19 num=536, depth=2..5, filters=1734110, revisions=(1484329,useless=62543), ccks=25764, wck=1.94, mem=68M867
7.44/4.19 decisions=25691, wrong=11771, backtracks=3719, failedAssignments=9085, nogoods=3002, foundSolutions=114, bestBound=592
7.44/4.19
7.44/4.19 num=537, depth=1..5, filters=1737827, revisions=(1487476,useless=62569), ccks=25764, wck=1.943, mem=71M510
7.44/4.19 decisions=25744, wrong=11796, backtracks=3731, failedAssignments=9101, nogoods=3005, foundSolutions=114, bestBound=592
7.44/4.19
7.44/4.19 num=538, depth=2..5, filters=1741138, revisions=(1490216,useless=62598), ccks=25764, wck=1.946, mem=71M510
7.44/4.19 decisions=25800, wrong=11822, backtracks=3740, failedAssignments=9118, nogoods=3014, foundSolutions=114, bestBound=592
7.44/4.19
7.57/4.20 num=539, depth=2..6, filters=1745346, revisions=(1493776,useless=62671), ccks=25764, wck=1.95, mem=71M510
7.57/4.20 decisions=25852, wrong=11846, backtracks=3748, failedAssignments=9137, nogoods=3018, foundSolutions=114, bestBound=592
7.57/4.20
7.57/4.20 num=540, depth=2..6, filters=1749485, revisions=(1497281,useless=62704), ccks=25764, wck=1.953, mem=71M510
7.57/4.20 decisions=25917, wrong=11877, backtracks=3762, failedAssignments=9158, nogoods=3027, foundSolutions=114, bestBound=592
7.57/4.20
7.57/4.20 num=541, depth=3..6, filters=1755626, revisions=(1502539,useless=62865), ccks=25764, wck=1.958, mem=71M510
7.57/4.20 decisions=25979, wrong=11906, backtracks=3768, failedAssignments=9181, nogoods=3037, foundSolutions=114, bestBound=592
7.57/4.20
7.57/4.21 num=542, depth=3..6, filters=1761418, revisions=(1507387,useless=62940), ccks=25764, wck=1.963, mem=71M510
7.57/4.21 decisions=26056, wrong=11943, backtracks=3780, failedAssignments=9206, nogoods=3042, foundSolutions=114, bestBound=592
7.57/4.21
7.57/4.21 num=543, depth=3..7, filters=1766569, revisions=(1511767,useless=63015), ccks=25764, wck=1.967, mem=71M510
7.57/4.21 decisions=26129, wrong=11978, backtracks=3790, failedAssignments=9234, nogoods=3050, foundSolutions=114, bestBound=592
7.57/4.21
7.57/4.22 num=544, depth=1..5, filters=1772581, revisions=(1516937,useless=63080), ccks=25764, wck=1.972, mem=71M510
7.57/4.22 decisions=26225, wrong=12024, backtracks=3809, failedAssignments=9265, nogoods=3057, foundSolutions=114, bestBound=592
7.57/4.22
7.57/4.22 num=545, depth=1..5, filters=1778325, revisions=(1521851,useless=63132), ccks=25764, wck=1.977, mem=71M510
7.57/4.22 decisions=26324, wrong=12073, backtracks=3825, failedAssignments=9299, nogoods=3062, foundSolutions=114, bestBound=592
7.57/4.22
7.57/4.23 num=546, depth=2..5, filters=1783900, revisions=(1526439,useless=63202), ccks=25764, wck=1.981, mem=71M510
7.57/4.23 decisions=26419, wrong=12119, backtracks=3834, failedAssignments=9336, nogoods=3071, foundSolutions=114, bestBound=592
7.57/4.23
7.57/4.24 num=547, depth=2..6, filters=1792002, revisions=(1533041,useless=63300), ccks=25764, wck=1.989, mem=71M510
7.57/4.24 decisions=26540, wrong=12178, backtracks=3854, failedAssignments=9377, nogoods=3083, foundSolutions=114, bestBound=592
7.57/4.24
7.57/4.24 num=548, depth=0..5, filters=1800542, revisions=(1540196,useless=63410), ccks=25764, wck=1.996, mem=71M510
7.57/4.24 decisions=26669, wrong=12241, backtracks=3876, failedAssignments=9422, nogoods=3085, foundSolutions=114, bestBound=592
7.57/4.24
7.57/4.25 num=549, depth=1..5, filters=1809556, revisions=(1547661,useless=63538), ccks=25764, wck=2.004, mem=71M510
7.57/4.25 decisions=26814, wrong=12312, backtracks=3900, failedAssignments=9472, nogoods=3091, foundSolutions=114, bestBound=592
7.57/4.25
7.57/4.26 num=550, depth=1..5, filters=1819691, revisions=(1556175,useless=63738), ccks=25764, wck=2.012, mem=71M510
7.57/4.26 decisions=26963, wrong=12385, backtracks=3920, failedAssignments=9527, nogoods=3101, foundSolutions=114, bestBound=592
7.57/4.26
7.57/4.27 o 589
7.57/4.27 num=551, depth=0..229, filters=1827799, revisions=(1563113,useless=63827), ccks=25990, wck=2.02, mem=71M510
7.57/4.27 decisions=27083, wrong=12442, backtracks=3943, failedAssignments=9562, nogoods=3103, foundSolutions=115, bestBound=589
7.57/4.27
7.57/4.28 num=552, depth=1..7, filters=1841321, revisions=(1574845,useless=64372), ccks=25990, wck=2.032, mem=71M510
7.57/4.28 decisions=27266, wrong=12532, backtracks=3971, failedAssignments=9629, nogoods=3116, foundSolutions=115, bestBound=589
7.57/4.28
7.57/4.28 num=553, depth=3..5, filters=1843527, revisions=(1576680,useless=64395), ccks=25990, wck=2.033, mem=71M510
7.57/4.28 decisions=27304, wrong=12549, backtracks=3977, failedAssignments=9640, nogoods=3118, foundSolutions=115, bestBound=589
7.57/4.28
7.57/4.28 num=554, depth=1..6, filters=1845642, revisions=(1578460,useless=64421), ccks=25990, wck=2.036, mem=71M510
7.57/4.28 decisions=27337, wrong=12565, backtracks=3984, failedAssignments=9652, nogoods=3119, foundSolutions=115, bestBound=589
7.57/4.28
7.57/4.28 num=555, depth=1..5, filters=1848453, revisions=(1580880,useless=64447), ccks=25990, wck=2.038, mem=71M510
7.57/4.28 decisions=27380, wrong=12585, backtracks=3991, failedAssignments=9665, nogoods=3122, foundSolutions=115, bestBound=589
7.57/4.28
7.57/4.29 num=556, depth=1..4, filters=1851574, revisions=(1583596,useless=64489), ccks=25990, wck=2.04, mem=71M510
7.57/4.29 decisions=27423, wrong=12606, backtracks=4000, failedAssignments=9679, nogoods=3125, foundSolutions=115, bestBound=589
7.57/4.29
7.57/4.29 num=557, depth=3..6, filters=1855830, revisions=(1587233,useless=64601), ccks=25990, wck=2.044, mem=71M510
7.57/4.29 decisions=27466, wrong=12626, backtracks=4006, failedAssignments=9695, nogoods=3131, foundSolutions=115, bestBound=589
7.57/4.29
7.57/4.29 num=558, depth=2..5, filters=1858697, revisions=(1589716,useless=64628), ccks=25990, wck=2.046, mem=71M510
7.57/4.29 decisions=27517, wrong=12650, backtracks=4014, failedAssignments=9712, nogoods=3134, foundSolutions=115, bestBound=589
7.57/4.29
7.67/4.30 num=559, depth=1..5, filters=1862980, revisions=(1593375,useless=64689), ccks=25990, wck=2.05, mem=71M510
7.67/4.30 decisions=27582, wrong=12681, backtracks=4027, failedAssignments=9731, nogoods=3137, foundSolutions=115, bestBound=589
7.67/4.30
7.67/4.30 num=560, depth=1..5, filters=1867346, revisions=(1597178,useless=64728), ccks=25990, wck=2.053, mem=71M510
7.67/4.30 decisions=27649, wrong=12714, backtracks=4039, failedAssignments=9752, nogoods=3139, foundSolutions=115, bestBound=589
7.67/4.30
7.67/4.30 num=561, depth=1..4, filters=1872624, revisions=(1601667,useless=64853), ccks=25990, wck=2.057, mem=71M510
7.67/4.30 decisions=27714, wrong=12746, backtracks=4048, failedAssignments=9775, nogoods=3147, foundSolutions=115, bestBound=589
7.67/4.30
7.67/4.31 num=562, depth=1..5, filters=1878502, revisions=(1606810,useless=64908), ccks=25990, wck=2.062, mem=71M510
7.67/4.31 decisions=27795, wrong=12786, backtracks=4064, failedAssignments=9800, nogoods=3152, foundSolutions=115, bestBound=589
7.67/4.31
7.67/4.31 num=563, depth=0..6, filters=1884755, revisions=(1612087,useless=65028), ccks=25990, wck=2.068, mem=71M510
7.67/4.31 decisions=27878, wrong=12826, backtracks=4080, failedAssignments=9828, nogoods=3161, foundSolutions=115, bestBound=589
7.67/4.31
7.67/4.32 num=564, depth=0..5, filters=1892205, revisions=(1618531,useless=65160), ccks=25990, wck=2.073, mem=71M510
7.67/4.32 decisions=27985, wrong=12879, backtracks=4104, failedAssignments=9859, nogoods=3165, foundSolutions=115, bestBound=589
7.67/4.32
7.67/4.33 num=565, depth=0..5, filters=1898716, revisions=(1624220,useless=65229), ccks=25990, wck=2.079, mem=71M510
7.67/4.33 decisions=28089, wrong=12931, backtracks=4126, failedAssignments=9893, nogoods=3165, foundSolutions=115, bestBound=589
7.67/4.33
7.67/4.33 num=566, depth=0..6, filters=1905246, revisions=(1629654,useless=65344), ccks=25990, wck=2.084, mem=71M510
7.67/4.33 decisions=28192, wrong=12981, backtracks=4141, failedAssignments=9930, nogoods=3171, foundSolutions=115, bestBound=589
7.67/4.33
7.67/4.34 num=567, depth=1..4, filters=1913237, revisions=(1636682,useless=65407), ccks=25990, wck=2.09, mem=71M510
7.67/4.34 decisions=28327, wrong=13047, backtracks=4169, failedAssignments=9971, nogoods=3180, foundSolutions=115, bestBound=589
7.67/4.34
7.67/4.35 num=568, depth=2..5, filters=1922733, revisions=(1644588,useless=65557), ccks=25990, wck=2.099, mem=71M510
7.67/4.35 decisions=28453, wrong=13109, backtracks=4188, failedAssignments=10016, nogoods=3193, foundSolutions=115, bestBound=589
7.67/4.35
7.67/4.35 num=569, depth=0..5, filters=1932886, revisions=(1653210,useless=65681), ccks=25990, wck=2.107, mem=71M510
7.67/4.35 decisions=28610, wrong=13186, backtracks=4216, failedAssignments=10066, nogoods=3202, foundSolutions=115, bestBound=589
7.67/4.35
7.67/4.36 num=570, depth=1..5, filters=1943581, revisions=(1662509,useless=65816), ccks=25990, wck=2.116, mem=71M510
7.67/4.36 decisions=28798, wrong=13278, backtracks=4258, failedAssignments=10121, nogoods=3210, foundSolutions=115, bestBound=589
7.67/4.36
7.67/4.37 num=571, depth=1..6, filters=1956075, revisions=(1673061,useless=66073), ccks=25990, wck=2.126, mem=71M510
7.67/4.37 decisions=28967, wrong=13361, backtracks=4284, failedAssignments=10182, nogoods=3222, foundSolutions=115, bestBound=589
7.67/4.37
7.67/4.38 num=572, depth=1..5, filters=1969886, revisions=(1684668,useless=66276), ccks=25990, wck=2.137, mem=71M510
7.67/4.38 decisions=29150, wrong=13452, backtracks=4314, failedAssignments=10249, nogoods=3232, foundSolutions=115, bestBound=589
7.67/4.38
7.67/4.40 num=573, depth=0..5, filters=1983401, revisions=(1696102,useless=66528), ccks=25990, wck=2.148, mem=71M510
7.67/4.40 decisions=29380, wrong=13565, backtracks=4357, failedAssignments=10323, nogoods=3239, foundSolutions=115, bestBound=589
7.67/4.40
7.77/4.41 num=574, depth=0..7, filters=1998879, revisions=(1709627,useless=66732), ccks=25990, wck=2.16, mem=71M510
7.77/4.41 decisions=29632, wrong=13690, backtracks=4414, failedAssignments=10404, nogoods=3245, foundSolutions=115, bestBound=589
7.77/4.41
7.77/4.42 num=575, depth=0..6, filters=2015375, revisions=(1723438,useless=67002), ccks=25990, wck=2.174, mem=71M510
7.77/4.42 decisions=29895, wrong=13820, backtracks=4465, failedAssignments=10493, nogoods=3249, foundSolutions=115, bestBound=589
7.77/4.42
7.77/4.43 num=576, depth=1..5, filters=2031999, revisions=(1737100,useless=67255), ccks=25990, wck=2.187, mem=71M510
7.77/4.43 decisions=30178, wrong=13961, backtracks=4510, failedAssignments=10591, nogoods=3254, foundSolutions=115, bestBound=589
7.77/4.43
7.77/4.45 num=577, depth=0..5, filters=2052007, revisions=(1753927,useless=67519), ccks=25990, wck=2.204, mem=71M510
7.77/4.45 decisions=30525, wrong=14134, backtracks=4589, failedAssignments=10699, nogoods=3262, foundSolutions=115, bestBound=589
7.77/4.45
7.77/4.47 num=578, depth=1..5, filters=2072983, revisions=(1770713,useless=67808), ccks=25990, wck=2.222, mem=71M510
7.77/4.47 decisions=30853, wrong=14296, backtracks=4634, failedAssignments=10818, nogoods=3267, foundSolutions=115, bestBound=589
7.77/4.47
7.77/4.49 num=579, depth=0..5, filters=2098269, revisions=(1791692,useless=68186), ccks=25990, wck=2.243, mem=71M510
7.77/4.49 decisions=31231, wrong=14484, backtracks=4705, failedAssignments=10949, nogoods=3276, foundSolutions=115, bestBound=589
7.77/4.49
7.87/4.51 num=580, depth=0..5, filters=2127700, revisions=(1816402,useless=68674), ccks=25990, wck=2.267, mem=71M510
7.87/4.51 decisions=31665, wrong=14700, backtracks=4791, failedAssignments=11093, nogoods=3287, foundSolutions=115, bestBound=589
7.87/4.51
7.87/4.53 o 588
7.87/4.53 num=581, depth=1..229, filters=2143992, revisions=(1829887,useless=68997), ccks=26216, wck=2.281, mem=71M510
7.87/4.53 decisions=31912, wrong=14821, backtracks=4837, failedAssignments=11172, nogoods=3291, foundSolutions=116, bestBound=588
7.87/4.53
7.87/4.56 num=582, depth=1..6, filters=2177619, revisions=(1858137,useless=69912), ccks=26216, wck=2.309, mem=71M510
7.87/4.56 decisions=32388, wrong=15058, backtracks=4911, failedAssignments=11346, nogoods=3303, foundSolutions=116, bestBound=588
7.87/4.56
7.87/4.56 num=583, depth=3..6, filters=2179562, revisions=(1859729,useless=69929), ccks=26216, wck=2.311, mem=71M510
7.87/4.56 decisions=32420, wrong=15072, backtracks=4915, failedAssignments=11357, nogoods=3305, foundSolutions=116, bestBound=588
7.87/4.56
7.87/4.56 num=584, depth=1..5, filters=2182402, revisions=(1862185,useless=69968), ccks=26216, wck=2.313, mem=71M510
7.87/4.56 decisions=32467, wrong=15095, backtracks=4929, failedAssignments=11369, nogoods=3308, foundSolutions=116, bestBound=588
7.87/4.56
7.87/4.56 num=585, depth=3..5, filters=2185089, revisions=(1864349,useless=69997), ccks=26216, wck=2.316, mem=71M510
7.87/4.56 decisions=32511, wrong=15115, backtracks=4936, failedAssignments=11382, nogoods=3312, foundSolutions=116, bestBound=588
7.87/4.56
7.87/4.57 num=586, depth=0..4, filters=2188780, revisions=(1867470,useless=70030), ccks=26216, wck=2.319, mem=71M510
7.87/4.57 decisions=32561, wrong=15139, backtracks=4950, failedAssignments=11396, nogoods=3314, foundSolutions=116, bestBound=588
7.87/4.57
7.87/4.57 num=587, depth=2..5, filters=2192005, revisions=(1870120,useless=70070), ccks=26216, wck=2.322, mem=71M510
7.87/4.57 decisions=32605, wrong=15160, backtracks=4956, failedAssignments=11412, nogoods=3318, foundSolutions=116, bestBound=588
7.87/4.57
7.87/4.57 o 582
7.87/4.57 num=588, depth=0..229, filters=2194428, revisions=(1872183,useless=70105), ccks=26442, wck=2.324, mem=71M510
7.87/4.57 decisions=32639, wrong=15174, backtracks=4964, failedAssignments=11419, nogoods=3320, foundSolutions=117, bestBound=582
7.87/4.57
7.87/4.58 num=589, depth=1..4, filters=2199259, revisions=(1876638,useless=70544), ccks=26442, wck=2.328, mem=71M510
7.87/4.58 decisions=32705, wrong=15206, backtracks=4978, failedAssignments=11438, nogoods=3323, foundSolutions=117, bestBound=582
7.87/4.58
7.87/4.58 num=590, depth=2..5, filters=2201102, revisions=(1878165,useless=70561), ccks=26442, wck=2.33, mem=71M510
7.87/4.58 decisions=32736, wrong=15219, backtracks=4980, failedAssignments=11449, nogoods=3327, foundSolutions=117, bestBound=582
7.87/4.58
7.87/4.58 num=591, depth=1..5, filters=2203842, revisions=(1880537,useless=70607), ccks=26442, wck=2.332, mem=71M510
7.87/4.58 decisions=32779, wrong=15240, backtracks=4992, failedAssignments=11461, nogoods=3330, foundSolutions=117, bestBound=582
7.87/4.58
7.87/4.58 num=592, depth=2..4, filters=2206243, revisions=(1882476,useless=70636), ccks=26442, wck=2.335, mem=71M510
7.87/4.58 decisions=32818, wrong=15258, backtracks=4997, failedAssignments=11474, nogoods=3336, foundSolutions=117, bestBound=582
7.87/4.58
7.87/4.58 num=593, depth=0..5, filters=2209357, revisions=(1885119,useless=70659), ccks=26442, wck=2.337, mem=71M510
7.87/4.58 decisions=32866, wrong=15280, backtracks=5008, failedAssignments=11488, nogoods=3337, foundSolutions=117, bestBound=582
7.87/4.58
7.87/4.59 num=594, depth=1..5, filters=2212511, revisions=(1887809,useless=70677), ccks=26442, wck=2.34, mem=71M510
7.87/4.59 decisions=32914, wrong=15303, backtracks=5017, failedAssignments=11504, nogoods=3340, foundSolutions=117, bestBound=582
7.87/4.59
7.87/4.59 num=595, depth=2..5, filters=2215521, revisions=(1890276,useless=70740), ccks=26442, wck=2.343, mem=71M510
7.87/4.59 decisions=32958, wrong=15324, backtracks=5022, failedAssignments=11521, nogoods=3344, foundSolutions=117, bestBound=582
7.87/4.59
7.87/4.59 num=596, depth=1..5, filters=2219274, revisions=(1893491,useless=70790), ccks=26442, wck=2.346, mem=71M510
7.87/4.59 decisions=33020, wrong=15354, backtracks=5037, failedAssignments=11540, nogoods=3350, foundSolutions=117, bestBound=582
7.87/4.59
7.98/4.60 num=597, depth=1..6, filters=2223328, revisions=(1896766,useless=70831), ccks=26442, wck=2.35, mem=71M510
7.98/4.60 decisions=33080, wrong=15383, backtracks=5047, failedAssignments=11561, nogoods=3355, foundSolutions=117, bestBound=582
7.98/4.60
7.98/4.60 num=598, depth=1..5, filters=2228305, revisions=(1900941,useless=70888), ccks=26442, wck=2.354, mem=71M510
7.98/4.60 decisions=33156, wrong=15420, backtracks=5064, failedAssignments=11584, nogoods=3360, foundSolutions=117, bestBound=582
7.98/4.60
7.98/4.61 num=599, depth=0..4, filters=2233274, revisions=(1905087,useless=70955), ccks=26442, wck=2.358, mem=71M510
7.98/4.61 decisions=33238, wrong=15460, backtracks=5081, failedAssignments=11609, nogoods=3362, foundSolutions=117, bestBound=582
7.98/4.61
7.98/4.61 num=600, depth=1..5, filters=2238807, revisions=(1909591,useless=71030), ccks=26442, wck=2.363, mem=71M510
7.98/4.61 decisions=33317, wrong=15499, backtracks=5092, failedAssignments=11637, nogoods=3365, foundSolutions=117, bestBound=582
7.98/4.61
7.98/4.62 num=601, depth=0..5, filters=2246002, revisions=(1915695,useless=71112), ccks=26442, wck=2.369, mem=71M510
7.98/4.62 decisions=33424, wrong=15550, backtracks=5115, failedAssignments=11668, nogoods=3368, foundSolutions=117, bestBound=582
7.98/4.62
7.98/4.62 num=602, depth=0..5, filters=2252369, revisions=(1921089,useless=71148), ccks=26442, wck=2.374, mem=71M510
7.98/4.62 decisions=33529, wrong=15600, backtracks=5135, failedAssignments=11702, nogoods=3369, foundSolutions=117, bestBound=582
7.98/4.62
7.98/4.63 num=603, depth=0..5, filters=2261148, revisions=(1928772,useless=71248), ccks=26442, wck=2.381, mem=71M510
7.98/4.63 decisions=33655, wrong=15662, backtracks=5164, failedAssignments=11739, nogoods=3371, foundSolutions=117, bestBound=582
7.98/4.63
7.98/4.64 num=604, depth=0..5, filters=2270474, revisions=(1936887,useless=71415), ccks=26442, wck=2.388, mem=71M510
7.98/4.64 decisions=33781, wrong=15724, backtracks=5188, failedAssignments=11780, nogoods=3377, foundSolutions=117, bestBound=582
7.98/4.64
7.98/4.64
7.98/4.64 New Bounds: 582..581
7.98/4.64 num=605, depth=0..5, filters=2282057, revisions=(1947001,useless=71563), ccks=26442, wck=2.398, mem=71M510
7.98/4.64 decisions=33933, wrong=15801, backtracks=5228, failedAssignments=11824, foundSolutions=117, bestBound=582
7.98/4.64
7.98/4.64 Global
7.98/4.64 filters=2282057, revisions=(1947001,useless=71563), ccks=26442
7.98/4.64 Stop=FULL_EXPLORATION, wrong=15801, bestBound=582, bestBoundWck=2.723, bestBoundCpu=4.522, foundSolutions=117, firstSolCpu=2.225
7.98/4.64 wck=2.797, cpu=4.596, mem=71M510
7.98/4.65
7.98/4.65 v <instantiation id='sol117' type='solution' cost='582'> <list> x[] drd[][] dr[] </list> <values> 50 98 187 512 606 661 87 39 50 375 469 524 0 48 137 462 556 611 72 24 65 390 484 539 72 24 65 390 484 539 37 11 100 425 519 574 31 17 106 431 525 580 137 89 0 325 419 474 8 40 129 454 548 603 110 62 27 352 446 501 48 0 89 414 508 563 45 3 92 417 511 566 25 73 162 487 581 636 27 75 164 489 583 638 661 613 524 199 105 50 9 57 146 471 565 620 462 414 325 0 94 149 462 414 325 0 94 149 54 6 83 408 502 557 17 31 120 445 539 594 611 563 474 149 55 0 611 563 474 149 55 0 417 369 280 45 139 194 417 369 280 45 139 194 188 140 51 274 368 423 12 36 125 450 544 599 12 36 125 450 544 599 556 508 419 94 0 55 556 508 419 94 0 55 159 111 22 303 397 452 38 86 175 500 594 649 498 450 361 36 58 113 496 448 359 34 60 115 39 0 24 24 11 17 0 8 27 0 3 25 27 50 9 0 0 6 17 0 0 45 45 51 12 12 0 0 22 38 36 34 </values> </instantiation>
7.98/4.65 s OPTIMUM FOUND
7.98/4.65
7.98/4.65 d WRONG_DECISIONS 15801
7.98/4.65 d NUMBER_SOLUTIONS 117