2.43/1.86
2.43/1.86 AbsCon 2
2.43/1.88
3.36/2.18 Instance
3.36/2.18 name=instance-4391008-1568383018, framework=COP, bounds=-infty..+infty
3.36/2.18
3.36/2.18 Loading variables...
3.72/2.28 Loading constraints...[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@35f1ccf0
5.12/2.63 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6535c6cb
5.12/2.63 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b968387
5.12/2.63 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@525b4dc1
5.12/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@28ba6fe6
5.12/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@270ee256
5.12/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@11933fc4
5.12/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@72665a34
5.12/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7de82cd2
5.12/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4f44fe9a
5.12/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6c61d72e
5.12/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@160ddf4c
5.12/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3bd12fcc
5.12/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@172e874d
5.12/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2680cc4b
5.12/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@24251a8b
5.12/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@79f5eacb
5.12/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@25442eb9
5.12/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@165aaad8
5.12/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@77713ac3
5.12/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@9b17a77
5.12/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23e7ed20
5.12/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1b6f4d07
5.12/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@29764d2e
5.12/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2e0d3efa
5.12/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@213b68f0
5.12/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@73d353c6
5.12/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@49476095
5.12/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@66c19b92
5.12/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@289a9bfd
5.12/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@608c260f
5.12/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1ec35799
5.12/2.65 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c58231c
5.12/2.65 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7902685b
5.12/2.65 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@170e05cd
5.12/2.65 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4cd3b2fd
5.12/2.65 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2dfbc39f
5.12/2.65 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@10cd816b
5.12/2.65 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d7088b5
5.12/2.65 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@34a84f73
5.12/2.65 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@61b2988c
5.12/2.65 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d919a7a
5.12/2.65 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6440990c
5.12/2.65 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3a25a221
5.12/2.65 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@532dae2d
5.12/2.65 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a4d3916
5.12/2.65 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@293a7126
5.12/2.65 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@22fb1ba9
5.12/2.65 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@8733b29
5.12/2.65 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5be30958
5.12/2.65 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6e7ec900
5.12/2.65 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@77b59910
5.47/2.76
5.47/2.76
5.47/2.76 Domains
5.47/2.76 nTypes=105, nValues=7100, sizes=[2#1432,3#2,4#1,5#2...99#1,101#1,103#1,105#1]
5.47/2.76 Variables
5.47/2.76 count=1535, degrees=[2#1482,52#53]
5.47/2.76 Objectives
5.47/2.76 way=min, type=SumSimpleLE
5.47/2.76 Constraints
5.47/2.76 count=1483, nSpecific=53, arities=[2#53,3#1379,4#1,5#1...50#1,51#1,52#2,53#1]
5.47/2.76 distribution=[CtrIntension#1430,SumSimpleLE#1,SumWeightedEQ#52]
5.47/2.76 nIntStructures=(53,shared:1377), nCftStructures=(53,shared:1377,unbuilt:53)
5.47/2.76 wck=0.917, cpu=2.717, mem=116M355
5.47/2.76 Solver SolverBacktrack being built...
5.47/2.76
5.76/2.80
5.76/2.80 Solver
5.76/2.80 guaranteedGAC=false
5.76/2.80 wck=0.969, cpu=2.767, mem=137M567
5.76/2.83
5.76/2.83 Preprocessing
5.76/2.83 filters=0, ccks=100654, nACremovedValues=0, nTotalRemovedValues=0, inconcistency=false
5.76/2.83 wck=0.025, cpu=2.795, mem=137M567
5.76/2.83
6.04/2.92 o 48230
6.04/2.93 num=0, depth=1536..1534, filters=3458, revisions=(5564,useless=3484), ccks=204109, wck=0.123, mem=137M567
6.04/2.93 decisions=53, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=1, bestBound=48230
6.04/2.93
6.04/2.99 o 42926
6.04/3.00 num=1, depth=0..1534, filters=6875, revisions=(11205,useless=7061), ccks=232103, wck=0.19, mem=140M209
6.04/3.00 decisions=108, wrong=1, backtracks=0, failedAssignments=1, foundSolutions=2, bestBound=42926
6.04/3.00
6.40/3.05 o 38030
6.40/3.05 num=2, depth=52..1534, filters=10402, revisions=(17081,useless=10789), ccks=261576, wck=0.249, mem=140M209
6.40/3.05 decisions=162, wrong=2, backtracks=0, failedAssignments=2, nogoods=1, foundSolutions=3, bestBound=38030
6.40/3.05
6.40/3.08 num=3, depth=45..54, filters=10508, revisions=(18621,useless=12248), ccks=267153, wck=0.271, mem=140M209
6.40/3.08 decisions=250, wrong=24, backtracks=11, failedAssignments=13, nogoods=2, foundSolutions=3, bestBound=38030
6.40/3.08
6.40/3.09 num=4, depth=52..56, filters=10724, revisions=(22010,useless=15458), ccks=275081, wck=0.283, mem=140M209
6.40/3.09 decisions=344, wrong=45, backtracks=26, failedAssignments=24, nogoods=4, foundSolutions=3, bestBound=38030
6.40/3.09
6.70/3.12 num=5, depth=54..59, filters=11564, revisions=(36696,useless=29382), ccks=297703, wck=0.312, mem=140M209
6.70/3.12 decisions=446, wrong=69, backtracks=38, failedAssignments=36, nogoods=6, foundSolutions=3, bestBound=38030
6.70/3.12
6.70/3.13 num=6, depth=12..59, filters=12497, revisions=(42556,useless=34456), ccks=310309, wck=0.329, mem=140M209
6.70/3.13 decisions=543, wrong=94, backtracks=50, failedAssignments=49, nogoods=8, foundSolutions=3, bestBound=38030
6.70/3.13
6.70/3.16 num=7, depth=48..62, filters=14308, revisions=(50299,useless=40677), ccks=328384, wck=0.352, mem=142M778
6.70/3.16 decisions=647, wrong=122, backtracks=64, failedAssignments=63, nogoods=9, foundSolutions=3, bestBound=38030
6.70/3.16
6.70/3.18 num=8, depth=30..67, filters=16530, revisions=(57011,useless=45663), ccks=351338, wck=0.375, mem=142M778
6.70/3.18 decisions=760, wrong=152, backtracks=78, failedAssignments=79, nogoods=11, foundSolutions=3, bestBound=38030
6.70/3.18
6.98/3.22 o 13458
6.98/3.22 num=9, depth=1536..1534, filters=19613, revisions=(67528,useless=54209), ccks=392059, wck=0.416, mem=142M778
6.98/3.22 decisions=814, wrong=152, backtracks=78, failedAssignments=79, nogoods=11, foundSolutions=4, bestBound=13458
6.98/3.22
6.98/3.27 o 11358
6.98/3.30 num=10, depth=54..1534, filters=22820, revisions=(78200,useless=62825), ccks=422198, wck=0.493, mem=35M801
6.98/3.30 decisions=869, wrong=153, backtracks=78, failedAssignments=80, nogoods=12, foundSolutions=5, bestBound=11358
6.98/3.30
7.33/3.32 num=11, depth=6..11, filters=23467, revisions=(89854,useless=73974), ccks=437060, wck=0.518, mem=35M801
7.33/3.32 decisions=917, wrong=174, backtracks=93, failedAssignments=91, nogoods=14, foundSolutions=5, bestBound=11358
7.33/3.32
7.33/3.35 o 3250
7.33/3.35 num=12, depth=51..1534, filters=26538, revisions=(99952,useless=82094), ccks=492251, wck=0.549, mem=35M801
7.33/3.35 decisions=971, wrong=175, backtracks=93, failedAssignments=92, nogoods=15, foundSolutions=6, bestBound=3250
7.33/3.35
7.33/3.39 o 2118
7.33/3.39 num=13, depth=1536..1534, filters=29592, revisions=(110042,useless=90211), ccks=535831, wck=0.587, mem=38M417
7.33/3.39 decisions=1023, wrong=175, backtracks=93, failedAssignments=92, nogoods=15, foundSolutions=7, bestBound=2118
7.33/3.39
7.61/3.43 num=14, depth=5..53, filters=34512, revisions=(120136,useless=96873), ccks=597343, wck=0.626, mem=38M417
7.61/3.43 decisions=1113, wrong=195, backtracks=104, failedAssignments=103, nogoods=18, foundSolutions=7, bestBound=2118
7.61/3.43
7.61/3.45 num=15, depth=41..48, filters=39254, revisions=(129764,useless=103110), ccks=661254, wck=0.649, mem=38M417
7.61/3.45 decisions=1196, wrong=215, backtracks=117, failedAssignments=114, nogoods=20, foundSolutions=7, bestBound=2118
7.61/3.45
7.61/3.47 num=16, depth=46..51, filters=44362, revisions=(139222,useless=108847), ccks=706098, wck=0.669, mem=38M417
7.61/3.47 decisions=1280, wrong=234, backtracks=125, failedAssignments=126, nogoods=24, foundSolutions=7, bestBound=2118
7.61/3.47
7.89/3.51 num=17, depth=38..48, filters=56763, revisions=(159863,useless=120831), ccks=779512, wck=0.704, mem=38M417
7.89/3.51 decisions=1378, wrong=263, backtracks=149, failedAssignments=139, nogoods=27, foundSolutions=7, bestBound=2118
7.89/3.51
7.89/3.54 num=18, depth=46..50, filters=63829, revisions=(171379,useless=127180), ccks=838940, wck=0.731, mem=38M417
7.89/3.54 decisions=1476, wrong=288, backtracks=163, failedAssignments=153, nogoods=29, foundSolutions=7, bestBound=2118
7.89/3.54
7.89/3.56 o 1874
7.89/3.57 num=19, depth=49..1534, filters=68458, revisions=(181788,useless=134367), ccks=884035, wck=0.762, mem=38M417
7.89/3.57 decisions=1554, wrong=302, backtracks=169, failedAssignments=163, nogoods=33, foundSolutions=8, bestBound=1874
7.89/3.57
8.08/3.60 num=20, depth=49..57, filters=73733, revisions=(190878,useless=139615), ccks=927985, wck=0.794, mem=38M417
8.08/3.60 decisions=1653, wrong=327, backtracks=180, failedAssignments=180, nogoods=41, foundSolutions=8, bestBound=1874
8.08/3.60
8.08/3.62 num=21, depth=48..52, filters=78638, revisions=(199475,useless=144724), ccks=968949, wck=0.811, mem=41M33
8.08/3.62 decisions=1732, wrong=342, backtracks=186, failedAssignments=191, nogoods=44, foundSolutions=8, bestBound=1874
8.08/3.62
8.08/3.63 num=22, depth=49..52, filters=83179, revisions=(207571,useless=149662), ccks=1010092, wck=0.828, mem=41M33
8.08/3.63 decisions=1812, wrong=357, backtracks=191, failedAssignments=203, nogoods=54, foundSolutions=8, bestBound=1874
8.08/3.63
8.08/3.65 num=23, depth=44..54, filters=89317, revisions=(218059,useless=155964), ccks=1058439, wck=0.847, mem=41M33
8.08/3.65 decisions=1900, wrong=377, backtracks=202, failedAssignments=216, nogoods=61, foundSolutions=8, bestBound=1874
8.08/3.65
8.08/3.67 num=24, depth=42..54, filters=95068, revisions=(227640,useless=161487), ccks=1107539, wck=0.865, mem=41M33
8.08/3.67 decisions=1987, wrong=397, backtracks=212, failedAssignments=230, nogoods=67, foundSolutions=8, bestBound=1874
8.08/3.67
8.08/3.69 o 1650
8.08/3.69 num=25, depth=1536..1534, filters=97987, revisions=(235353,useless=167264), ccks=1149327, wck=0.882, mem=41M33
8.08/3.69 decisions=2039, wrong=397, backtracks=212, failedAssignments=230, nogoods=67, foundSolutions=9, bestBound=1650
8.08/3.69
8.24/3.72 o 1550
8.24/3.72 num=26, depth=51..1534, filters=101829, revisions=(244125,useless=173396), ccks=1190750, wck=0.915, mem=41M33
8.24/3.72 decisions=2114, wrong=408, backtracks=216, failedAssignments=238, nogoods=70, foundSolutions=10, bestBound=1550
8.24/3.72
8.24/3.75 o 1502
8.24/3.75 num=27, depth=51..1534, filters=105385, revisions=(252842,useless=179662), ccks=1234165, wck=0.948, mem=43M649
8.24/3.75 decisions=2182, wrong=416, backtracks=219, failedAssignments=243, nogoods=71, foundSolutions=11, bestBound=1502
8.24/3.75
8.24/3.78 num=28, depth=51..56, filters=109091, revisions=(259674,useless=183920), ccks=1279936, wck=0.975, mem=43M649
8.24/3.78 decisions=2267, wrong=433, backtracks=226, failedAssignments=254, nogoods=73, foundSolutions=11, bestBound=1502
8.24/3.78
8.24/3.79 num=29, depth=50..54, filters=113406, revisions=(266887,useless=188195), ccks=1319339, wck=0.99, mem=43M649
8.24/3.79 decisions=2352, wrong=449, backtracks=231, failedAssignments=265, nogoods=79, foundSolutions=11, bestBound=1502
8.24/3.79
8.40/3.81 num=30, depth=50..54, filters=117353, revisions=(273694,useless=192315), ccks=1358174, wck=1.005, mem=43M649
8.40/3.81 decisions=2435, wrong=464, backtracks=235, failedAssignments=277, nogoods=86, foundSolutions=11, bestBound=1502
8.40/3.81
8.40/3.83 num=31, depth=45..52, filters=122511, revisions=(283105,useless=197931), ccks=1407838, wck=1.022, mem=43M649
8.40/3.83 decisions=2518, wrong=483, backtracks=251, failedAssignments=290, nogoods=88, foundSolutions=11, bestBound=1502
8.40/3.83
8.40/3.84 num=32, depth=49..53, filters=127025, revisions=(290815,useless=202418), ccks=1443250, wck=1.036, mem=43M649
8.40/3.84 decisions=2611, wrong=504, backtracks=259, failedAssignments=304, nogoods=90, foundSolutions=11, bestBound=1502
8.40/3.84
8.50/4.00 num=33, depth=44..54, filters=134950, revisions=(303883,useless=209485), ccks=1505896, wck=1.059, mem=43M649
8.50/4.00 decisions=2718, wrong=532, backtracks=277, failedAssignments=320, nogoods=96, foundSolutions=11, bestBound=1502
8.50/4.00
8.50/4.00 num=34, depth=47..55, filters=141899, revisions=(315057,useless=215474), ccks=1559295, wck=1.078, mem=43M649
8.50/4.00 decisions=2829, wrong=564, backtracks=299, failedAssignments=337, nogoods=99, foundSolutions=11, bestBound=1502
8.50/4.00
8.50/4.00 o 1398
8.50/4.00 num=35, depth=50..1534, filters=145415, revisions=(323434,useless=221467), ccks=1604527, wck=1.096, mem=46M264
8.50/4.00 decisions=2891, wrong=569, backtracks=300, failedAssignments=341, nogoods=103, foundSolutions=12, bestBound=1398
8.50/4.00
8.50/4.00 num=36, depth=49..56, filters=151958, revisions=(333600,useless=226911), ccks=1650350, wck=1.128, mem=46M264
8.50/4.00 decisions=3004, wrong=600, backtracks=314, failedAssignments=362, nogoods=111, foundSolutions=12, bestBound=1398
8.50/4.00
8.50/4.00 num=37, depth=44..50, filters=157313, revisions=(342410,useless=231946), ccks=1700335, wck=1.145, mem=46M264
8.50/4.00 decisions=3092, wrong=622, backtracks=331, failedAssignments=373, nogoods=115, foundSolutions=12, bestBound=1398
8.50/4.00
8.50/4.00 num=38, depth=48..52, filters=162702, revisions=(350986,useless=236691), ccks=1738225, wck=1.161, mem=46M264
8.50/4.00 decisions=3178, wrong=640, backtracks=338, failedAssignments=385, nogoods=117, foundSolutions=12, bestBound=1398
8.50/4.00
8.50/4.00 num=39, depth=43..51, filters=169317, revisions=(361523,useless=242432), ccks=1795992, wck=1.181, mem=46M264
8.50/4.00 decisions=3277, wrong=668, backtracks=360, failedAssignments=398, nogoods=118, foundSolutions=12, bestBound=1398
8.50/4.00
8.50/4.00 o 1354
8.50/4.00 num=40, depth=49..1534, filters=173340, revisions=(370018,useless=248182), ccks=1831671, wck=1.198, mem=46M264
8.50/4.00 decisions=3340, wrong=674, backtracks=362, failedAssignments=402, nogoods=119, foundSolutions=13, bestBound=1354
8.50/4.00
8.61/4.03 num=41, depth=48..54, filters=179161, revisions=(378909,useless=253012), ccks=1871537, wck=1.228, mem=46M264
8.61/4.03 decisions=3439, wrong=700, backtracks=375, failedAssignments=418, nogoods=120, foundSolutions=13, bestBound=1354
8.61/4.03
8.61/4.05 num=42, depth=48..52, filters=183618, revisions=(386571,useless=257445), ccks=1908801, wck=1.243, mem=46M264
8.61/4.05 decisions=3519, wrong=716, backtracks=382, failedAssignments=429, nogoods=124, foundSolutions=13, bestBound=1354
8.61/4.05
8.61/4.06 o 1298
8.61/4.07 num=43, depth=49..1534, filters=188072, revisions=(395375,useless=263133), ccks=1949364, wck=1.261, mem=48M880
8.61/4.07 decisions=3595, wrong=728, backtracks=386, failedAssignments=437, nogoods=125, foundSolutions=14, bestBound=1298
8.61/4.07
8.61/4.09 num=44, depth=51..58, filters=191562, revisions=(401789,useless=267028), ccks=1986025, wck=1.287, mem=48M880
8.61/4.09 decisions=3685, wrong=747, backtracks=393, failedAssignments=450, nogoods=130, foundSolutions=14, bestBound=1298
8.61/4.09
8.72/4.11 num=45, depth=47..53, filters=196807, revisions=(410411,useless=271844), ccks=2032767, wck=1.304, mem=48M880
8.72/4.11 decisions=3777, wrong=768, backtracks=405, failedAssignments=461, nogoods=134, foundSolutions=14, bestBound=1298
8.72/4.11
8.72/4.12 o 778
8.72/4.12 num=46, depth=52..1534, filters=199677, revisions=(417553,useless=277034), ccks=2065275, wck=1.319, mem=48M880
8.72/4.12 decisions=3835, wrong=770, backtracks=405, failedAssignments=463, nogoods=136, foundSolutions=15, bestBound=778
8.72/4.12
8.72/4.15 num=47, depth=51..55, filters=204060, revisions=(425034,useless=281291), ccks=2100862, wck=1.346, mem=48M880
8.72/4.15 decisions=3927, wrong=789, backtracks=411, failedAssignments=476, nogoods=141, foundSolutions=15, bestBound=778
8.72/4.15
8.72/4.19 num=48, depth=49..54, filters=207493, revisions=(431561,useless=285312), ccks=2123466, wck=1.382, mem=50M201
8.72/4.19 decisions=4008, wrong=803, backtracks=414, failedAssignments=487, nogoods=149, foundSolutions=15, bestBound=778
8.72/4.19
8.86/4.23 num=49, depth=45..51, filters=212055, revisions=(439553,useless=290023), ccks=2159341, wck=1.425, mem=50M201
8.86/4.23 decisions=4094, wrong=823, backtracks=426, failedAssignments=499, nogoods=154, foundSolutions=15, bestBound=778
8.86/4.23
8.86/4.27 num=50, depth=48..53, filters=216763, revisions=(447880,useless=294764), ccks=2185997, wck=1.464, mem=50M201
8.86/4.27 decisions=4182, wrong=843, backtracks=436, failedAssignments=512, nogoods=155, foundSolutions=15, bestBound=778
8.86/4.27
8.86/4.29 num=51, depth=49..54, filters=222355, revisions=(456903,useless=299634), ccks=2217380, wck=1.486, mem=50M201
8.86/4.29 decisions=4274, wrong=864, backtracks=444, failedAssignments=526, nogoods=159, foundSolutions=15, bestBound=778
8.86/4.29
9.05/4.31 num=52, depth=40..49, filters=227142, revisions=(465600,useless=304956), ccks=2261430, wck=1.503, mem=50M201
9.05/4.31 decisions=4371, wrong=891, backtracks=462, failedAssignments=542, nogoods=165, foundSolutions=15, bestBound=778
9.05/4.31
9.05/4.33 num=53, depth=46..52, filters=235394, revisions=(480214,useless=312973), ccks=2302325, wck=1.525, mem=50M201
9.05/4.33 decisions=4465, wrong=915, backtracks=478, failedAssignments=559, nogoods=166, foundSolutions=15, bestBound=778
9.05/4.33
9.05/4.36 num=54, depth=47..53, filters=245222, revisions=(495498,useless=320718), ccks=2364217, wck=1.551, mem=50M201
9.05/4.36 decisions=4577, wrong=947, backtracks=496, failedAssignments=578, nogoods=168, foundSolutions=15, bestBound=778
9.05/4.36
9.05/4.37 num=55, depth=48..52, filters=250403, revisions=(504136,useless=325672), ccks=2400144, wck=1.567, mem=52M817
9.05/4.37 decisions=4688, wrong=978, backtracks=510, failedAssignments=599, nogoods=178, foundSolutions=15, bestBound=778
9.05/4.37
9.16/4.40 num=56, depth=46..52, filters=261994, revisions=(520234,useless=333278), ccks=2461497, wck=1.595, mem=52M817
9.16/4.40 decisions=4823, wrong=1022, backtracks=541, failedAssignments=622, nogoods=181, foundSolutions=15, bestBound=778
9.16/4.40
9.16/4.42 num=57, depth=47..54, filters=268859, revisions=(530722,useless=338695), ccks=2500867, wck=1.613, mem=52M817
9.16/4.42 decisions=4950, wrong=1062, backtracks=563, failedAssignments=647, nogoods=182, foundSolutions=15, bestBound=778
9.16/4.42
9.16/4.45 num=58, depth=43..49, filters=281470, revisions=(548878,useless=346975), ccks=2567307, wck=1.645, mem=52M817
9.16/4.45 decisions=5081, wrong=1106, backtracks=590, failedAssignments=675, nogoods=188, foundSolutions=15, bestBound=778
9.16/4.45
9.27/4.50 num=59, depth=39..50, filters=303946, revisions=(578200,useless=360123), ccks=2657353, wck=1.7, mem=52M817
9.27/4.50 decisions=5229, wrong=1159, backtracks=635, failedAssignments=706, nogoods=192, foundSolutions=15, bestBound=778
9.27/4.50
9.27/4.55 num=60, depth=43..50, filters=319279, revisions=(598774,useless=368822), ccks=2744752, wck=1.74, mem=52M817
9.27/4.55 decisions=5378, wrong=1211, backtracks=673, failedAssignments=740, nogoods=196, foundSolutions=15, bestBound=778
9.27/4.55
9.27/4.58 num=61, depth=43..48, filters=332146, revisions=(616807,useless=376687), ccks=2828518, wck=1.777, mem=52M817
9.27/4.58 decisions=5533, wrong=1267, backtracks=709, failedAssignments=777, nogoods=200, foundSolutions=15, bestBound=778
9.27/4.58
9.37/4.65 num=62, depth=40..47, filters=355892, revisions=(648806,useless=388849), ccks=2981852, wck=1.841, mem=52M817
9.37/4.65 decisions=5708, wrong=1334, backtracks=767, failedAssignments=818, nogoods=205, foundSolutions=15, bestBound=778
9.37/4.65
9.37/4.69 num=63, depth=39..46, filters=372455, revisions=(673022,useless=399057), ccks=3071535, wck=1.886, mem=55M433
9.37/4.69 decisions=5861, wrong=1391, backtracks=810, failedAssignments=863, nogoods=216, foundSolutions=15, bestBound=778
9.37/4.69
9.47/4.74 num=64, depth=38..45, filters=394098, revisions=(703486,useless=411184), ccks=3169557, wck=1.937, mem=55M433
9.47/4.74 decisions=6034, wrong=1457, backtracks=857, failedAssignments=913, nogoods=223, foundSolutions=15, bestBound=778
9.47/4.74
9.57/4.81 num=65, depth=39..46, filters=419290, revisions=(737375,useless=424163), ccks=3305932, wck=2.001, mem=55M433
9.57/4.81 decisions=6228, wrong=1534, backtracks=918, failedAssignments=968, nogoods=225, foundSolutions=15, bestBound=778
9.57/4.81
9.57/4.88 num=66, depth=36..46, filters=450522, revisions=(779822,useless=440158), ccks=3460347, wck=2.079, mem=55M433
9.57/4.88 decisions=6435, wrong=1618, backtracks=982, failedAssignments=1029, nogoods=234, foundSolutions=15, bestBound=778
9.57/4.88
9.69/4.96 num=67, depth=38..46, filters=479850, revisions=(820097,useless=456221), ccks=3620187, wck=2.156, mem=55M433
9.69/4.96 decisions=6659, wrong=1710, backtracks=1054, failedAssignments=1096, nogoods=238, foundSolutions=15, bestBound=778
9.69/4.96
9.80/5.03 num=68, depth=37..44, filters=507061, revisions=(859035,useless=471772), ccks=3742873, wck=2.22, mem=58M49
9.80/5.03 decisions=6902, wrong=1812, backtracks=1124, failedAssignments=1170, nogoods=251, foundSolutions=15, bestBound=778
9.80/5.03
9.80/5.09 num=69, depth=37..46, filters=535565, revisions=(899391,useless=487877), ccks=3864699, wck=2.288, mem=58M49
9.80/5.09 decisions=7159, wrong=1921, backtracks=1197, failedAssignments=1251, nogoods=260, foundSolutions=15, bestBound=778
9.80/5.09
9.90/5.18 num=70, depth=36..45, filters=569965, revisions=(948584,useless=506989), ccks=4069312, wck=2.375, mem=58M49
9.90/5.18 decisions=7428, wrong=2037, backtracks=1294, failedAssignments=1340, nogoods=267, foundSolutions=15, bestBound=778
9.90/5.18
9.99/5.29 num=71, depth=23..37, filters=623283, revisions=(1062481,useless=569634), ccks=4158138, wck=2.482, mem=60M665
9.99/5.29 decisions=7755, wrong=2188, backtracks=1418, failedAssignments=1438, nogoods=274, foundSolutions=15, bestBound=778
9.99/5.29
10.20/5.40 num=72, depth=38..46, filters=675894, revisions=(1132020,useless=594184), ccks=4405249, wck=2.6, mem=60M665
10.20/5.40 decisions=8099, wrong=2340, backtracks=1524, failedAssignments=1546, nogoods=281, foundSolutions=15, bestBound=778
10.20/5.40
10.30/5.55 num=73, depth=38..47, filters=733292, revisions=(1209340,useless=623471), ccks=4747733, wck=2.746, mem=60M665
10.30/5.55 decisions=8478, wrong=2510, backtracks=1682, failedAssignments=1665, nogoods=291, foundSolutions=15, bestBound=778
10.30/5.55
10.40/5.67 num=74, depth=38..46, filters=784275, revisions=(1275769,useless=646884), ccks=4993711, wck=2.863, mem=63M280
10.40/5.67 decisions=8880, wrong=2691, backtracks=1802, failedAssignments=1796, nogoods=295, foundSolutions=15, bestBound=778
10.40/5.67
10.60/5.85 num=75, depth=36..46, filters=857987, revisions=(1374773,useless=682563), ccks=5396759, wck=3.042, mem=63M280
10.60/5.85 decisions=9316, wrong=2890, backtracks=1976, failedAssignments=1940, nogoods=298, foundSolutions=15, bestBound=778
10.60/5.85
10.81/6.02 num=76, depth=35..45, filters=934428, revisions=(1478092,useless=719669), ccks=5732472, wck=3.211, mem=65M896
10.81/6.02 decisions=9775, wrong=3101, backtracks=2139, failedAssignments=2098, nogoods=315, foundSolutions=15, bestBound=778
10.81/6.02
10.91/6.20 num=77, depth=35..44, filters=1010410, revisions=(1583187,useless=759152), ccks=6132268, wck=3.391, mem=68M512
10.91/6.20 decisions=10306, wrong=3348, backtracks=2321, failedAssignments=2272, nogoods=333, foundSolutions=15, bestBound=778
10.91/6.20
11.20/6.44 num=78, depth=33..48, filters=1114221, revisions=(1709584,useless=807911), ccks=6463787, wck=3.631, mem=68M512
11.20/6.44 decisions=10859, wrong=3607, backtracks=2555, failedAssignments=2463, nogoods=339, foundSolutions=15, bestBound=778
11.20/6.44
11.40/6.67 num=79, depth=35..45, filters=1217853, revisions=(1846759,useless=855968), ccks=6935071, wck=3.864, mem=71M128
11.40/6.67 decisions=11470, wrong=3894, backtracks=2784, failedAssignments=2674, nogoods=348, foundSolutions=15, bestBound=778
11.40/6.67
11.71/6.91 num=80, depth=36..47, filters=1314354, revisions=(1971549,useless=899198), ccks=7460689, wck=4.1, mem=73M744
11.71/6.91 decisions=12172, wrong=4226, backtracks=3035, failedAssignments=2906, nogoods=350, foundSolutions=15, bestBound=778
11.71/6.91
11.92/7.13 num=81, depth=35..46, filters=1415540, revisions=(2109152,useless=950278), ccks=7867445, wck=4.32, mem=76M359
11.92/7.13 decisions=12888, wrong=4566, backtracks=3267, failedAssignments=3161, nogoods=367, foundSolutions=15, bestBound=778
11.92/7.13
12.21/7.41 num=82, depth=36..46, filters=1536582, revisions=(2267315,useless=1005819), ccks=8440047, wck=4.603, mem=76M359
12.21/7.41 decisions=13697, wrong=4952, backtracks=3556, failedAssignments=3442, nogoods=381, foundSolutions=15, bestBound=778
12.21/7.41
12.51/7.71 num=83, depth=36..45, filters=1661447, revisions=(2432395,useless=1064023), ccks=9107732, wck=4.9, mem=78M975
12.51/7.71 decisions=14575, wrong=5373, backtracks=3881, failedAssignments=3751, nogoods=386, foundSolutions=15, bestBound=778
12.51/7.71
12.83/8.04 num=84, depth=21..46, filters=1811378, revisions=(2750625,useless=1239966), ccks=9350089, wck=5.234, mem=84M207
12.83/8.04 decisions=15694, wrong=5919, backtracks=4370, failedAssignments=4091, nogoods=395, foundSolutions=15, bestBound=778
12.83/8.04
13.22/8.45 num=85, depth=35..46, filters=1973736, revisions=(2962544,useless=1314768), ccks=10306660, wck=5.645, mem=86M823
13.22/8.45 decisions=16755, wrong=6431, backtracks=4817, failedAssignments=4465, nogoods=400, foundSolutions=15, bestBound=778
13.22/8.45
13.62/8.85 num=86, depth=34..44, filters=2144955, revisions=(3187153,useless=1396379), ccks=11098876, wck=6.05, mem=89M438
13.62/8.85 decisions=17906, wrong=6987, backtracks=5223, failedAssignments=4876, nogoods=411, foundSolutions=15, bestBound=778
13.62/8.85
14.02/9.27 num=87, depth=35..46, filters=2320047, revisions=(3416170,useless=1475449), ccks=11975666, wck=6.465, mem=92M54
14.02/9.27 decisions=19190, wrong=7610, backtracks=5699, failedAssignments=5328, nogoods=422, foundSolutions=15, bestBound=778
14.02/9.27
14.54/9.76 num=88, depth=35..45, filters=2530172, revisions=(3687323,useless=1568953), ccks=12989812, wck=6.956, mem=97M286
14.54/9.76 decisions=20577, wrong=8285, backtracks=6214, failedAssignments=5825, nogoods=442, foundSolutions=15, bestBound=778
14.54/9.76
15.04/10.29 num=89, depth=35..45, filters=2764195, revisions=(3990546,useless=1674011), ccks=14055024, wck=7.488, mem=102M517
15.04/10.29 decisions=22087, wrong=9021, backtracks=6774, failedAssignments=6372, nogoods=455, foundSolutions=15, bestBound=778
15.04/10.29
15.64/10.82 num=90, depth=34..46, filters=2993941, revisions=(4302938,useless=1788673), ccks=15155111, wck=8.011, mem=105M133
15.64/10.82 decisions=23805, wrong=9862, backtracks=7365, failedAssignments=6974, nogoods=469, foundSolutions=15, bestBound=778
15.64/10.82
16.34/11.51 num=91, depth=34..46, filters=3298597, revisions=(4700634,useless=1923341), ccks=16674035, wck=8.707, mem=112M980
16.34/11.51 decisions=25696, wrong=10789, backtracks=8079, failedAssignments=7636, nogoods=478, foundSolutions=15, bestBound=778
16.34/11.51
17.14/12.37 num=92, depth=15..44, filters=3689511, revisions=(5582490,useless=2434934), ccks=17324667, wck=9.565, mem=120M828
17.14/12.37 decisions=28150, wrong=12003, backtracks=9217, failedAssignments=8364, nogoods=494, foundSolutions=15, bestBound=778
17.14/12.37
18.04/13.28 num=93, depth=35..45, filters=4076170, revisions=(6081056,useless=2608605), ccks=19456205, wck=10.477, mem=128M675
18.04/13.28 decisions=30552, wrong=13185, backtracks=10227, failedAssignments=9165, nogoods=511, foundSolutions=15, bestBound=778
18.04/13.28
18.96/14.16 num=94, depth=33..46, filters=4486836, revisions=(6624200,useless=2799189), ccks=21274932, wck=11.356, mem=136M523
18.96/14.16 decisions=33019, wrong=14400, backtracks=11150, failedAssignments=10046, nogoods=519, foundSolutions=15, bestBound=778
18.96/14.16
19.86/15.01 num=95, depth=37..47, filters=4868895, revisions=(7104192,useless=2964991), ccks=23082064, wck=12.207, mem=144M370
19.86/15.01 decisions=35821, wrong=15782, backtracks=12191, failedAssignments=11016, nogoods=532, foundSolutions=15, bestBound=778
19.86/15.01
20.75/15.90 num=96, depth=33..46, filters=5257730, revisions=(7636524,useless=3163091), ccks=25019736, wck=13.094, mem=152M217
20.75/15.90 decisions=38951, wrong=17329, backtracks=13220, failedAssignments=12083, nogoods=544, foundSolutions=15, bestBound=778
20.75/15.90
22.15/17.33 num=97, depth=18..46, filters=5891466, revisions=(9039335,useless=3984589), ccks=26023818, wck=14.525, mem=165M293
22.15/17.33 decisions=43334, wrong=19509, backtracks=15203, failedAssignments=13256, nogoods=551, foundSolutions=15, bestBound=778
22.15/17.33
23.30/18.48 num=98, depth=38..49, filters=6468890, revisions=(9722351,useless=4216503), ccks=28142255, wck=15.674, mem=43M800
23.30/18.48 decisions=47465, wrong=21553, backtracks=16754, failedAssignments=14547, nogoods=559, foundSolutions=15, bestBound=778
23.30/18.48
23.69/18.78 o 766
23.69/18.78 num=99, depth=43..1534, filters=6627681, revisions=(9908488,useless=4283902), ccks=28558359, wck=15.976, mem=49M45
23.69/18.78 decisions=49084, wrong=22339, backtracks=17223, failedAssignments=15013, nogoods=572, foundSolutions=16, bestBound=766
23.69/18.78
24.84/19.89 num=100, depth=41..54, filters=7230927, revisions=(10657935,useless=4574470), ccks=30389556, wck=17.085, mem=59M508
24.84/19.89 decisions=54327, wrong=24939, backtracks=18792, failedAssignments=16575, nogoods=585, foundSolutions=16, bestBound=766
24.84/19.89
24.94/19.91 num=101, depth=46..50, filters=7236026, revisions=(10667199,useless=4579746), ccks=30426708, wck=17.101, mem=59M508
24.94/19.91 decisions=54409, wrong=24957, backtracks=18803, failedAssignments=16586, nogoods=586, foundSolutions=16, bestBound=766
24.94/19.91
24.94/19.92 num=102, depth=43..50, filters=7240183, revisions=(10675131,useless=4584558), ccks=30462471, wck=17.116, mem=59M508
24.94/19.92 decisions=54486, wrong=24974, backtracks=18819, failedAssignments=16598, nogoods=588, foundSolutions=16, bestBound=766
24.94/19.92
24.94/19.94 num=103, depth=46..50, filters=7245484, revisions=(10684563,useless=4589869), ccks=30491372, wck=17.131, mem=59M508
24.94/19.94 decisions=54569, wrong=24992, backtracks=18827, failedAssignments=16611, nogoods=591, foundSolutions=16, bestBound=766
24.94/19.94
24.94/19.95 num=104, depth=39..50, filters=7249636, revisions=(10692833,useless=4595023), ccks=30523517, wck=17.144, mem=59M508
24.94/19.95 decisions=54652, wrong=25013, backtracks=18846, failedAssignments=16625, nogoods=593, foundSolutions=16, bestBound=766
24.94/19.95
24.94/19.96 num=105, depth=46..50, filters=7255237, revisions=(10702998,useless=4600586), ccks=30554665, wck=17.16, mem=59M508
24.94/19.96 decisions=54747, wrong=25037, backtracks=18857, failedAssignments=16641, nogoods=599, foundSolutions=16, bestBound=766
24.94/19.96
24.94/19.98 num=106, depth=46..51, filters=7261066, revisions=(10712969,useless=4605973), ccks=30587943, wck=17.175, mem=59M508
24.94/19.98 decisions=54849, wrong=25065, backtracks=18871, failedAssignments=16658, nogoods=600, foundSolutions=16, bestBound=766
24.94/19.98
24.94/20.00 num=107, depth=47..52, filters=7268344, revisions=(10724223,useless=4611857), ccks=30627655, wck=17.194, mem=59M508
24.94/20.00 decisions=54958, wrong=25096, backtracks=18891, failedAssignments=16677, nogoods=608, foundSolutions=16, bestBound=766
24.94/20.00
25.05/20.01 num=108, depth=49..53, filters=7273682, revisions=(10733357,useless=4616788), ccks=30659453, wck=17.209, mem=62M124
25.05/20.01 decisions=55072, wrong=25128, backtracks=18905, failedAssignments=16698, nogoods=616, foundSolutions=16, bestBound=766
25.05/20.01
25.05/20.04 num=109, depth=46..52, filters=7282121, revisions=(10746550,useless=4623363), ccks=30707159, wck=17.231, mem=62M124
25.05/20.04 decisions=55192, wrong=25165, backtracks=18926, failedAssignments=16721, nogoods=618, foundSolutions=16, bestBound=766
25.05/20.04
25.05/20.06 num=110, depth=47..53, filters=7291353, revisions=(10759544,useless=4629648), ccks=30755179, wck=17.254, mem=62M124
25.05/20.06 decisions=55323, wrong=25206, backtracks=18948, failedAssignments=16746, nogoods=625, foundSolutions=16, bestBound=766
25.05/20.06
25.05/20.09 num=111, depth=47..53, filters=7303761, revisions=(10776602,useless=4637304), ccks=30812418, wck=17.282, mem=62M124
25.05/20.09 decisions=55480, wrong=25261, backtracks=18987, failedAssignments=16774, nogoods=631, foundSolutions=16, bestBound=766
25.05/20.09
25.15/20.11 num=112, depth=47..52, filters=7313230, revisions=(10790633,useless=4644078), ccks=30856056, wck=17.305, mem=62M124
25.15/20.11 decisions=55622, wrong=25308, backtracks=19012, failedAssignments=16805, nogoods=635, foundSolutions=16, bestBound=766
25.15/20.11
25.15/20.13 num=113, depth=46..53, filters=7321173, revisions=(10803423,useless=4650600), ccks=30901551, wck=17.326, mem=62M124
25.15/20.13 decisions=55770, wrong=25359, backtracks=19041, failedAssignments=16839, nogoods=637, foundSolutions=16, bestBound=766
25.15/20.13
25.15/20.17 num=114, depth=45..51, filters=7335850, revisions=(10823337,useless=4659407), ccks=30969665, wck=17.361, mem=62M124
25.15/20.17 decisions=55936, wrong=25419, backtracks=19081, failedAssignments=16876, nogoods=642, foundSolutions=16, bestBound=766
25.15/20.17
25.25/20.20 num=115, depth=43..50, filters=7350242, revisions=(10843965,useless=4668683), ccks=31046626, wck=17.397, mem=62M124
25.25/20.20 decisions=56102, wrong=25480, backtracks=19118, failedAssignments=16917, nogoods=648, foundSolutions=16, bestBound=766
25.25/20.20
25.25/20.24 num=116, depth=43..49, filters=7366612, revisions=(10867313,useless=4678619), ccks=31118741, wck=17.435, mem=62M124
25.25/20.24 decisions=56275, wrong=25545, backtracks=19155, failedAssignments=16962, nogoods=651, foundSolutions=16, bestBound=766
25.25/20.24
25.25/20.28 num=117, depth=38..51, filters=7380229, revisions=(10889705,useless=4690767), ccks=31213078, wck=17.472, mem=62M124
25.25/20.28 decisions=56469, wrong=25622, backtracks=19227, failedAssignments=17012, nogoods=656, foundSolutions=16, bestBound=766
25.25/20.28
25.35/20.32 num=118, depth=43..49, filters=7399893, revisions=(10917598,useless=4702262), ccks=31295002, wck=17.514, mem=64M740
25.35/20.32 decisions=56664, wrong=25698, backtracks=19272, failedAssignments=17067, nogoods=662, foundSolutions=16, bestBound=766
25.35/20.32
25.35/20.39 num=119, depth=40..48, filters=7430986, revisions=(10960542,useless=4718449), ccks=31436949, wck=17.581, mem=64M740
25.35/20.39 decisions=56889, wrong=25789, backtracks=19323, failedAssignments=17128, nogoods=671, foundSolutions=16, bestBound=766
25.35/20.39
25.45/20.44 num=120, depth=42..48, filters=7459196, revisions=(11000084,useless=4733670), ccks=31530053, wck=17.635, mem=64M740
25.45/20.44 decisions=57123, wrong=25885, backtracks=19373, failedAssignments=17195, nogoods=681, foundSolutions=16, bestBound=766
25.45/20.44
25.57/20.51 num=121, depth=40..48, filters=7490325, revisions=(11041939,useless=4750607), ccks=31656807, wck=17.705, mem=64M740
25.57/20.51 decisions=57361, wrong=25984, backtracks=19448, failedAssignments=17269, nogoods=687, foundSolutions=16, bestBound=766
25.57/20.51
25.57/20.56 num=122, depth=37..48, filters=7508178, revisions=(11070032,useless=4765332), ccks=31793812, wck=17.757, mem=64M740
25.57/20.56 decisions=57630, wrong=26099, backtracks=19554, failedAssignments=17350, nogoods=692, foundSolutions=16, bestBound=766
25.57/20.56
25.68/20.64 num=123, depth=39..45, filters=7543129, revisions=(11118689,useless=4783928), ccks=31938027, wck=17.832, mem=67M356
25.68/20.64 decisions=57919, wrong=26223, backtracks=19628, failedAssignments=17439, nogoods=698, foundSolutions=16, bestBound=766
25.68/20.64
25.78/20.71 num=124, depth=39..46, filters=7577837, revisions=(11165663,useless=4801355), ccks=32062297, wck=17.904, mem=67M356
25.78/20.71 decisions=58240, wrong=26363, backtracks=19702, failedAssignments=17537, nogoods=701, foundSolutions=16, bestBound=766
25.78/20.71
25.78/20.77 num=125, depth=41..49, filters=7604473, revisions=(11202428,useless=4815790), ccks=32189308, wck=17.965, mem=67M356
25.78/20.77 decisions=58582, wrong=26513, backtracks=19777, failedAssignments=17645, nogoods=706, foundSolutions=16, bestBound=766
25.78/20.77
25.88/20.84 num=126, depth=36..50, filters=7630257, revisions=(11241390,useless=4835480), ccks=32356341, wck=18.033, mem=67M356
25.88/20.84 decisions=58940, wrong=26671, backtracks=19920, failedAssignments=17764, nogoods=713, foundSolutions=16, bestBound=766
25.88/20.84
25.98/20.95 num=127, depth=39..46, filters=7684593, revisions=(11313431,useless=4860893), ccks=32566425, wck=18.145, mem=69M972
25.98/20.95 decisions=59341, wrong=26852, backtracks=20023, failedAssignments=17895, nogoods=718, foundSolutions=16, bestBound=766
25.98/20.95
26.09/21.05 num=128, depth=38..48, filters=7730331, revisions=(11377255,useless=4886753), ccks=32763925, wck=18.246, mem=69M972
26.09/21.05 decisions=59761, wrong=27042, backtracks=20155, failedAssignments=18039, nogoods=726, foundSolutions=16, bestBound=766
26.09/21.05
26.19/21.19 num=129, depth=37..45, filters=7796836, revisions=(11465951,useless=4918430), ccks=33038579, wck=18.388, mem=72M587
26.19/21.19 decisions=60237, wrong=27260, backtracks=20294, failedAssignments=18197, nogoods=736, foundSolutions=16, bestBound=766
26.19/21.19
26.38/21.34 num=130, depth=37..46, filters=7859092, revisions=(11550537,useless=4949811), ccks=33329599, wck=18.531, mem=72M587
26.38/21.34 decisions=60752, wrong=27498, backtracks=20452, failedAssignments=18371, nogoods=751, foundSolutions=16, bestBound=766
26.38/21.34
26.48/21.47 num=131, depth=37..46, filters=7926723, revisions=(11642966,useless=4983668), ccks=33553534, wck=18.667, mem=75M203
26.48/21.47 decisions=61321, wrong=27763, backtracks=20602, failedAssignments=18562, nogoods=774, foundSolutions=16, bestBound=766
26.48/21.47
26.68/21.63 num=132, depth=37..46, filters=7994148, revisions=(11732791,useless=5015994), ccks=33878164, wck=18.826, mem=75M203
26.68/21.63 decisions=61959, wrong=28062, backtracks=20770, failedAssignments=18773, nogoods=778, foundSolutions=16, bestBound=766
26.68/21.63
26.88/21.80 num=133, depth=36..45, filters=8076809, revisions=(11847543,useless=5058098), ccks=34182681, wck=18.992, mem=78M678
26.88/21.80 decisions=62623, wrong=28375, backtracks=20944, failedAssignments=19005, nogoods=793, foundSolutions=16, bestBound=766
26.88/21.80
26.98/21.94 num=134, depth=36..49, filters=8134608, revisions=(11927682,useless=5090676), ccks=34494967, wck=19.131, mem=78M678
26.98/21.94 decisions=63370, wrong=28730, backtracks=21205, failedAssignments=19260, nogoods=800, foundSolutions=16, bestBound=766
26.98/21.94
27.19/22.16 num=135, depth=38..46, filters=8246483, revisions=(12080362,useless=5147184), ccks=34945827, wck=19.357, mem=81M294
27.19/22.16 decisions=64181, wrong=29115, backtracks=21441, failedAssignments=19541, nogoods=812, foundSolutions=16, bestBound=766
27.19/22.16
27.39/22.37 num=136, depth=38..46, filters=8337898, revisions=(12201475,useless=5189051), ccks=35383535, wck=19.566, mem=83M910
27.39/22.37 decisions=65076, wrong=29543, backtracks=21695, failedAssignments=19850, nogoods=822, foundSolutions=16, bestBound=766
27.39/22.37
27.69/22.67 num=137, depth=36..46, filters=8475051, revisions=(12379961,useless=5252796), ccks=35919326, wck=19.862, mem=86M525
27.69/22.67 decisions=66100, wrong=30037, backtracks=22009, failedAssignments=20190, nogoods=828, foundSolutions=16, bestBound=766
27.69/22.67
27.99/22.90 num=138, depth=36..46, filters=8583220, revisions=(12524202,useless=5303259), ccks=36358384, wck=20.098, mem=89M141
27.99/22.90 decisions=67155, wrong=30546, backtracks=22301, failedAssignments=20564, nogoods=836, foundSolutions=16, bestBound=766
27.99/22.90
28.29/23.26 num=139, depth=36..46, filters=8732239, revisions=(12715978,useless=5367972), ccks=37115922, wck=20.453, mem=91M757
28.29/23.26 decisions=68337, wrong=31117, backtracks=22674, failedAssignments=20975, nogoods=848, foundSolutions=16, bestBound=766
28.29/23.26
28.79/23.70 num=140, depth=35..44, filters=8922423, revisions=(12967339,useless=5456556), ccks=38038251, wck=20.892, mem=94M373
28.79/23.70 decisions=69631, wrong=31746, backtracks=23142, failedAssignments=21427, nogoods=859, foundSolutions=16, bestBound=766
28.79/23.70
28.99/24.00 num=141, depth=36..47, filters=9065725, revisions=(13160679,useless=5525718), ccks=38567806, wck=21.2, mem=96M989
28.99/24.00 decisions=71077, wrong=32449, backtracks=23543, failedAssignments=21924, nogoods=878, foundSolutions=16, bestBound=766
28.99/24.00
29.49/24.48 num=142, depth=34..50, filters=9274781, revisions=(13426316,useless=5629395), ccks=39256600, wck=21.67, mem=102M221
29.49/24.48 decisions=72571, wrong=33177, backtracks=24126, failedAssignments=22471, nogoods=887, foundSolutions=16, bestBound=766
29.49/24.48
30.10/25.01 num=143, depth=33..44, filters=9527060, revisions=(13777494,useless=5762175), ccks=40246583, wck=22.207, mem=104M836
30.10/25.01 decisions=74257, wrong=34002, backtracks=24673, failedAssignments=23073, nogoods=910, foundSolutions=16, bestBound=766
30.10/25.01
30.49/25.45 num=144, depth=35..47, filters=9722478, revisions=(14044711,useless=5859363), ccks=41123681, wck=22.643, mem=110M68
30.49/25.45 decisions=76117, wrong=34913, backtracks=25219, failedAssignments=23735, nogoods=925, foundSolutions=16, bestBound=766
30.49/25.45
31.10/26.10 num=145, depth=35..46, filters=10003554, revisions=(14408915,useless=5984571), ccks=42435637, wck=23.291, mem=115M300
31.10/26.10 decisions=78132, wrong=35902, backtracks=25916, failedAssignments=24463, nogoods=939, foundSolutions=16, bestBound=766
31.10/26.10
31.89/26.86 num=146, depth=34..46, filters=10344979, revisions=(14848678,useless=6130389), ccks=44031244, wck=24.055, mem=123M147
31.89/26.86 decisions=80371, wrong=37003, backtracks=26717, failedAssignments=25264, nogoods=944, foundSolutions=16, bestBound=766
31.89/26.86
32.69/27.61 num=147, depth=34..46, filters=10682489, revisions=(15302513,useless=6294104), ccks=45551655, wck=24.804, mem=128M379
32.69/27.61 decisions=82835, wrong=38217, backtracks=27583, failedAssignments=26145, nogoods=956, foundSolutions=16, bestBound=766
32.69/27.61
33.20/28.14 num=148, depth=30..50, filters=10906365, revisions=(15604341,useless=6425656), ccks=46841730, wck=25.337, mem=133M611
33.20/28.14 decisions=85616, wrong=39590, backtracks=28767, failedAssignments=27115, nogoods=967, foundSolutions=16, bestBound=766
33.20/28.14
33.99/28.96 num=149, depth=34..46, filters=11316401, revisions=(16151278,useless=6617632), ccks=48374416, wck=26.159, mem=141M458
33.99/28.96 decisions=88629, wrong=41078, backtracks=29660, failedAssignments=28182, nogoods=984, foundSolutions=16, bestBound=766
33.99/28.96
34.59/29.59 num=150, depth=33..52, filters=11568770, revisions=(16498077,useless=6761334), ccks=49838930, wck=26.782, mem=146M690
34.59/29.59 decisions=91931, wrong=42710, backtracks=31019, failedAssignments=29355, nogoods=1005, foundSolutions=16, bestBound=766
34.59/29.59
35.59/30.52 num=151, depth=22..45, filters=12014161, revisions=(17448691,useless=7311405), ccks=50658248, wck=27.715, mem=157M153
35.59/30.52 decisions=96311, wrong=44886, backtracks=32889, failedAssignments=30646, nogoods=1014, foundSolutions=16, bestBound=766
35.59/30.52
36.59/31.59 num=152, depth=37..48, filters=12490273, revisions=(18049578,useless=7532032), ccks=52631228, wck=28.784, mem=165M1
36.59/31.59 decisions=100621, wrong=47022, backtracks=34583, failedAssignments=32066, nogoods=1023, foundSolutions=16, bestBound=766
36.59/31.59
38.16/33.01 num=153, depth=36..47, filters=13123970, revisions=(18835892,useless=7801995), ccks=55545158, wck=30.205, mem=44M146
38.16/33.01 decisions=105240, wrong=49313, backtracks=36276, failedAssignments=33628, nogoods=1038, foundSolutions=16, bestBound=766
38.16/33.01
39.56/34.45 num=154, depth=34..45, filters=13732712, revisions=(19610756,useless=8069890), ccks=58619699, wck=31.645, mem=58M405
39.56/34.45 decisions=110174, wrong=51763, backtracks=37998, failedAssignments=35346, nogoods=1039, foundSolutions=16, bestBound=766
39.56/34.45
40.76/35.63 num=155, depth=34..46, filters=14276961, revisions=(20334599,useless=8324096), ccks=60847973, wck=32.83, mem=69M99
40.76/35.63 decisions=115477, wrong=54395, backtracks=39697, failedAssignments=37236, nogoods=1054, foundSolutions=16, bestBound=766
40.76/35.63
42.97/37.82 num=156, depth=33..46, filters=15220193, revisions=(21539434,useless=8735946), ccks=65499142, wck=35.014, mem=86M923
42.97/37.82 decisions=121426, wrong=57352, backtracks=42058, failedAssignments=39315, nogoods=1064, foundSolutions=16, bestBound=766
42.97/37.82
44.18/39.03 num=157, depth=30..50, filters=15696021, revisions=(22204394,useless=9040521), ccks=68592185, wck=36.229, mem=94M53
44.18/39.03 decisions=127846, wrong=60544, backtracks=44896, failedAssignments=41602, nogoods=1076, foundSolutions=16, bestBound=766
44.18/39.03
46.28/41.19 num=158, depth=34..50, filters=16647065, revisions=(23380153,useless=9437960), ccks=72987458, wck=38.381, mem=111M877
46.28/41.19 decisions=134973, wrong=64089, backtracks=47440, failedAssignments=44118, nogoods=1081, foundSolutions=16, bestBound=766
46.28/41.19
48.57/43.41 num=159, depth=36..50, filters=17649771, revisions=(24608738,useless=9848670), ccks=77584881, wck=40.6, mem=129M701
48.57/43.41 decisions=143131, wrong=68148, backtracks=50368, failedAssignments=46886, nogoods=1093, foundSolutions=16, bestBound=766
48.57/43.41
51.07/45.92 num=160, depth=34..47, filters=18723288, revisions=(25962897,useless=10309799), ccks=83013993, wck=43.118, mem=151M90
51.07/45.92 decisions=151993, wrong=72560, backtracks=53390, failedAssignments=49930, nogoods=1101, foundSolutions=16, bestBound=766
51.07/45.92
54.67/49.59 num=161, depth=31..49, filters=20447208, revisions=(27993697,useless=11067275), ccks=88836578, wck=46.79, mem=179M609
54.67/49.59 decisions=162130, wrong=77610, backtracks=57542, failedAssignments=53279, nogoods=1117, foundSolutions=16, bestBound=766
54.67/49.59
57.77/52.62 num=162, depth=34..47, filters=21747377, revisions=(29626082,useless=11615416), ccks=95577761, wck=49.815, mem=204M562
57.77/52.62 decisions=172565, wrong=82809, backtracks=61348, failedAssignments=56963, nogoods=1132, foundSolutions=16, bestBound=766
57.77/52.62
61.53/56.33 num=163, depth=32..46, filters=23372862, revisions=(31768504,useless=12388068), ccks=103506163, wck=53.526, mem=58M42
61.53/56.33 decisions=184366, wrong=88691, backtracks=65535, failedAssignments=61015, nogoods=1144, foundSolutions=16, bestBound=766
61.53/56.33
64.93/59.74 num=164, depth=34..47, filters=24781584, revisions=(33548564,useless=13003323), ccks=111143533, wck=56.935, mem=86M66
64.93/59.74 decisions=197105, wrong=95042, backtracks=69980, failedAssignments=65472, nogoods=1156, foundSolutions=16, bestBound=766
64.93/59.74
69.34/64.11 num=165, depth=34..48, filters=26696950, revisions=(35909896,useless=13788104), ccks=120627068, wck=61.301, mem=121M95
69.34/64.11 decisions=211158, wrong=102051, backtracks=75284, failedAssignments=70375, nogoods=1169, foundSolutions=16, bestBound=766
69.34/64.11
74.73/69.50 num=166, depth=32..46, filters=29031765, revisions=(38867207,useless=14801181), ccks=132282333, wck=66.699, mem=166M634
74.73/69.50 decisions=226978, wrong=109944, backtracks=81281, failedAssignments=75769, nogoods=1172, foundSolutions=16, bestBound=766
74.73/69.50
81.47/76.25 num=167, depth=32..49, filters=32009394, revisions=(42377197,useless=16010315), ccks=143990505, wck=73.444, mem=43M828
81.47/76.25 decisions=244023, wrong=118448, backtracks=88887, failedAssignments=81702, nogoods=1184, foundSolutions=16, bestBound=766
81.47/76.25
88.97/83.71 num=168, depth=31..48, filters=35441350, revisions=(46416806,useless=17454269), ccks=157079785, wck=80.901, mem=102M255
88.97/83.71 decisions=264773, wrong=128805, backtracks=98033, failedAssignments=88228, nogoods=1191, foundSolutions=16, bestBound=766
88.97/83.71
95.17/89.98 num=169, depth=34..50, filters=38562748, revisions=(50153195,useless=18673210), ccks=168572094, wck=87.177, mem=160M683
95.17/89.98 decisions=285698, wrong=139249, backtracks=105567, failedAssignments=95407, nogoods=1204, foundSolutions=16, bestBound=766
95.17/89.98
102.21/96.97 num=170, depth=35..51, filters=41725061, revisions=(53890904,useless=19918615), ccks=182865645, wck=94.16, mem=47M31
102.21/96.97 decisions=309169, wrong=150965, backtracks=114796, failedAssignments=103304, nogoods=1229, foundSolutions=16, bestBound=766
102.21/96.97
109.11/103.89 num=171, depth=35..50, filters=45200071, revisions=(58006355,useless=21329801), ccks=195531884, wck=101.085, mem=107M658
109.11/103.89 decisions=335042, wrong=163882, backtracks=124443, failedAssignments=111991, nogoods=1242, foundSolutions=16, bestBound=766
109.11/103.89
117.12/111.89 num=172, depth=34..50, filters=48686501, revisions=(62256866,useless=22772671), ccks=211948796, wck=109.081, mem=171M655
117.12/111.89 decisions=363503, wrong=178094, backtracks=135281, failedAssignments=121546, nogoods=1262, foundSolutions=16, bestBound=766
117.12/111.89
127.86/122.59 num=173, depth=32..49, filters=53382315, revisions=(67810383,useless=24740590), ccks=232360084, wck=119.784, mem=86M527
127.86/122.59 decisions=395778, wrong=194213, backtracks=149268, failedAssignments=132057, nogoods=1274, foundSolutions=16, bestBound=766
127.86/122.59
136.46/131.11 num=174, depth=34..49, filters=57603510, revisions=(73095420,useless=26537518), ccks=248932975, wck=128.307, mem=165M925
136.46/131.11 decisions=429164, wrong=210887, backtracks=160115, failedAssignments=143619, nogoods=1286, foundSolutions=16, bestBound=766
136.46/131.11
146.79/141.46 num=175, depth=36..52, filters=62861019, revisions=(79363652,useless=28731058), ccks=268523788, wck=138.657, mem=95M296
146.79/141.46 decisions=470472, wrong=231521, backtracks=176186, failedAssignments=156337, nogoods=1297, foundSolutions=16, bestBound=766
146.79/141.46
158.70/153.30 num=176, depth=33..49, filters=67993810, revisions=(85700413,useless=30908321), ccks=294091869, wck=150.493, mem=192M714
158.70/153.30 decisions=511309, wrong=251920, backtracks=192016, failedAssignments=170327, nogoods=1312, foundSolutions=16, bestBound=766
158.70/153.30
170.45/165.07 num=177, depth=35..50, filters=73586820, revisions=(92425023,useless=33189259), ccks=318532051, wck=162.27, mem=135M536
170.45/165.07 decisions=557857, wrong=275174, backtracks=209657, failedAssignments=185716, nogoods=1326, foundSolutions=16, bestBound=766
170.45/165.07
181.08/175.62 num=178, depth=33..52, filters=78419741, revisions=(98539192,useless=35520054), ccks=343102368, wck=172.813, mem=67M956
181.08/175.62 decisions=609730, wrong=301092, backtracks=230755, failedAssignments=202644, nogoods=1339, foundSolutions=16, bestBound=766
181.08/175.62
196.32/190.88 num=179, depth=32..49, filters=85511516, revisions=(107242901,useless=38416725), ccks=374049196, wck=188.071, mem=42M749
196.32/190.88 decisions=663576, wrong=327996, backtracks=250044, failedAssignments=221265, nogoods=1355, foundSolutions=16, bestBound=766
196.32/190.88
213.96/208.43 num=180, depth=33..49, filters=93502945, revisions=(116858666,useless=41552617), ccks=410973431, wck=205.628, mem=39M649
213.96/208.43 decisions=725224, wrong=358801, backtracks=272962, failedAssignments=241749, nogoods=1366, foundSolutions=16, bestBound=766
213.96/208.43
230.06/224.55 num=181, depth=32..50, filters=100893404, revisions=(125990308,useless=44527817), ccks=443894327, wck=221.744, mem=178M57
230.06/224.55 decisions=788400, wrong=390370, backtracks=293636, failedAssignments=264281, nogoods=1385, foundSolutions=16, bestBound=766
230.06/224.55
250.65/245.06 num=182, depth=33..50, filters=110365167, revisions=(137337846,useless=48261922), ccks=486460745, wck=242.257, mem=56M833
250.65/245.06 decisions=861045, wrong=426674, backtracks=321101, failedAssignments=289066, nogoods=1410, foundSolutions=16, bestBound=766
250.65/245.06
271.28/265.66 num=183, depth=32..49, filters=119251999, revisions=(148165623,useless=51845171), ccks=529479460, wck=262.859, mem=79M267
271.28/265.66 decisions=940314, wrong=466290, backtracks=348353, failedAssignments=316330, nogoods=1416, foundSolutions=16, bestBound=766
271.28/265.66
297.25/291.56 num=184, depth=31..48, filters=131606007, revisions=(163537145,useless=56961673), ccks=581083273, wck=288.754, mem=167M810
297.25/291.56 decisions=1027481, wrong=509856, backtracks=379161, failedAssignments=346320, nogoods=1426, foundSolutions=16, bestBound=766
297.25/291.56
318.36/312.66 num=185, depth=31..49, filters=141038851, revisions=(175878804,useless=61651460), ccks=631219667, wck=309.857, mem=71M316
318.36/312.66 decisions=1121351, wrong=556773, backtracks=417871, failedAssignments=379309, nogoods=1442, foundSolutions=16, bestBound=766
318.36/312.66
348.68/342.91 num=186, depth=31..47, filters=155100855, revisions=(193363267,useless=67568691), ccks=694760572, wck=340.104, mem=70M98
348.68/342.91 decisions=1226915, wrong=609538, backtracks=454526, failedAssignments=415597, nogoods=1462, foundSolutions=16, bestBound=766
348.68/342.91
364.98/359.20 o 682
364.98/359.21 num=187, depth=34..1534, filters=162304584, revisions=(202203615,useless=70620286), ccks=729187350, wck=356.401, mem=77M315
364.98/359.21 decisions=1294217, wrong=643170, backtracks=479373, failedAssignments=438130, nogoods=1479, foundSolutions=17, bestBound=682
364.98/359.21
395.04/389.20 num=188, depth=32..50, filters=177243461, revisions=(220883526,useless=76720964), ccks=787397962, wck=386.392, mem=98M384
395.04/389.20 decisions=1421108, wrong=706598, backtracks=519284, failedAssignments=482039, nogoods=1500, foundSolutions=17, bestBound=682
395.04/389.20
395.04/389.21 num=189, depth=38..47, filters=177247830, revisions=(220891499,useless=76725695), ccks=787419041, wck=386.407, mem=98M384
395.04/389.21 decisions=1421171, wrong=706610, backtracks=519291, failedAssignments=482050, nogoods=1505, foundSolutions=17, bestBound=682
395.04/389.21
395.04/389.22 num=190, depth=38..45, filters=177252063, revisions=(220899409,useless=76730220), ccks=787443343, wck=386.42, mem=98M384
395.04/389.22 decisions=1421240, wrong=706625, backtracks=519301, failedAssignments=482062, nogoods=1510, foundSolutions=17, bestBound=682
395.04/389.22
395.04/389.24 num=191, depth=38..42, filters=177256766, revisions=(220907857,useless=76735008), ccks=787464588, wck=386.434, mem=98M384
395.04/389.24 decisions=1421311, wrong=706641, backtracks=519311, failedAssignments=482075, nogoods=1516, foundSolutions=17, bestBound=682
395.04/389.24
395.04/389.26 num=192, depth=38..43, filters=177262688, revisions=(220917930,useless=76740171), ccks=787493717, wck=386.451, mem=98M384
395.04/389.26 decisions=1421390, wrong=706661, backtracks=519320, failedAssignments=482089, nogoods=1524, foundSolutions=17, bestBound=682
395.04/389.26
395.04/389.27 num=193, depth=38..43, filters=177267703, revisions=(220926632,useless=76744814), ccks=787517867, wck=386.465, mem=100M879
395.04/389.27 decisions=1421473, wrong=706683, backtracks=519330, failedAssignments=482105, nogoods=1530, foundSolutions=17, bestBound=682
395.04/389.27
395.04/389.28 num=194, depth=38..47, filters=177272176, revisions=(220935035,useless=76749675), ccks=787535261, wck=386.478, mem=100M879
395.04/389.28 decisions=1421548, wrong=706701, backtracks=519337, failedAssignments=482122, nogoods=1540, foundSolutions=17, bestBound=682
395.04/389.28
395.16/389.30 num=195, depth=38..44, filters=177279030, revisions=(220946382,useless=76755449), ccks=787564751, wck=386.497, mem=100M879
395.16/389.30 decisions=1421635, wrong=706725, backtracks=519352, failedAssignments=482141, nogoods=1547, foundSolutions=17, bestBound=682
395.16/389.30
395.16/389.32 num=196, depth=36..48, filters=177283355, revisions=(220955161,useless=76760887), ccks=787587342, wck=386.511, mem=100M879
395.16/389.32 decisions=1421722, wrong=706750, backtracks=519372, failedAssignments=482162, nogoods=1553, foundSolutions=17, bestBound=682
395.16/389.32
395.16/389.34 num=197, depth=37..44, filters=177291355, revisions=(220967618,useless=76766817), ccks=787625974, wck=386.533, mem=100M879
395.16/389.34 decisions=1421825, wrong=706782, backtracks=519390, failedAssignments=482185, nogoods=1555, foundSolutions=17, bestBound=682
395.16/389.34
395.16/389.35 num=198, depth=35..48, filters=177297108, revisions=(220978062,useless=76772771), ccks=787660419, wck=386.55, mem=100M879
395.16/389.35 decisions=1421924, wrong=706813, backtracks=519412, failedAssignments=482210, nogoods=1561, foundSolutions=17, bestBound=682
395.16/389.35
395.16/389.38 num=199, depth=38..44, filters=177306125, revisions=(220992044,useless=76779416), ccks=787701879, wck=386.574, mem=100M879
395.16/389.38 decisions=1422036, wrong=706850, backtracks=519431, failedAssignments=482238, nogoods=1574, foundSolutions=17, bestBound=682
395.16/389.38
395.26/389.40 num=200, depth=37..44, filters=177315829, revisions=(221007026,useless=76786167), ccks=787748946, wck=386.6, mem=100M879
395.26/389.40 decisions=1422167, wrong=706896, backtracks=519456, failedAssignments=482269, nogoods=1576, foundSolutions=17, bestBound=682
395.26/389.40
395.26/389.43 num=201, depth=37..45, filters=177325084, revisions=(221021079,useless=76792624), ccks=787810787, wck=386.63, mem=100M879
395.26/389.43 decisions=1422300, wrong=706943, backtracks=519479, failedAssignments=482303, nogoods=1590, foundSolutions=17, bestBound=682
395.26/389.43
395.26/389.47 num=202, depth=37..46, filters=177336411, revisions=(221038346,useless=76800435), ccks=787878624, wck=386.663, mem=100M879
395.26/389.47 decisions=1422435, wrong=706991, backtracks=519512, failedAssignments=482340, nogoods=1594, foundSolutions=17, bestBound=682
395.26/389.47
395.26/389.50 num=203, depth=37..47, filters=177346751, revisions=(221055076,useless=76808867), ccks=787931362, wck=386.691, mem=100M879
395.26/389.50 decisions=1422583, wrong=707046, backtracks=519556, failedAssignments=482381, nogoods=1604, foundSolutions=17, bestBound=682
395.26/389.50
395.36/389.53 num=204, depth=37..44, filters=177362062, revisions=(221077687,useless=76818225), ccks=787994001, wck=386.726, mem=100M879
395.36/389.53 decisions=1422746, wrong=707108, backtracks=519588, failedAssignments=482426, nogoods=1617, foundSolutions=17, bestBound=682
395.36/389.53
395.36/389.57 num=205, depth=37..46, filters=177375096, revisions=(221097247,useless=76826798), ccks=788062760, wck=386.761, mem=103M374
395.36/389.57 decisions=1422913, wrong=707172, backtracks=519625, failedAssignments=482476, nogoods=1627, foundSolutions=17, bestBound=682
395.36/389.57
395.46/389.60 num=206, depth=36..49, filters=177388222, revisions=(221118205,useless=76836967), ccks=788132016, wck=386.796, mem=103M374
395.46/389.60 decisions=1423097, wrong=707245, backtracks=519687, failedAssignments=482531, nogoods=1631, foundSolutions=17, bestBound=682
395.46/389.60
395.46/389.64 num=207, depth=37..44, filters=177403168, revisions=(221141049,useless=76846963), ccks=788199825, wck=386.833, mem=103M374
395.46/389.64 decisions=1423296, wrong=707325, backtracks=519729, failedAssignments=482592, nogoods=1650, foundSolutions=17, bestBound=682
395.46/389.64
395.46/389.69 num=208, depth=36..43, filters=177423057, revisions=(221169467,useless=76858696), ccks=788307473, wck=386.885, mem=103M374
395.46/389.69 decisions=1423517, wrong=707416, backtracks=519784, failedAssignments=482659, nogoods=1657, foundSolutions=17, bestBound=682
395.46/389.69
395.56/389.75 num=209, depth=36..47, filters=177444656, revisions=(221200342,useless=76871865), ccks=788427108, wck=386.944, mem=103M374
395.56/389.75 decisions=1423756, wrong=707516, backtracks=519858, failedAssignments=482733, nogoods=1663, foundSolutions=17, bestBound=682
395.56/389.75
395.70/389.81 num=210, depth=36..44, filters=177469585, revisions=(221235498,useless=76886090), ccks=788553357, wck=387.008, mem=103M374
395.70/389.81 decisions=1424014, wrong=707626, backtracks=519929, failedAssignments=482814, nogoods=1668, foundSolutions=17, bestBound=682
395.70/389.81
395.70/389.87 num=211, depth=36..47, filters=177493255, revisions=(221269753,useless=76900809), ccks=788672521, wck=387.067, mem=105M869
395.70/389.87 decisions=1424298, wrong=707748, backtracks=520018, failedAssignments=482903, nogoods=1682, foundSolutions=17, bestBound=682
395.70/389.87
395.80/389.92 num=212, depth=36..47, filters=177514997, revisions=(221301946,useless=76914368), ccks=788761705, wck=387.117, mem=105M869
395.80/389.92 decisions=1424595, wrong=707877, backtracks=520089, failedAssignments=483001, nogoods=1701, foundSolutions=17, bestBound=682
395.80/389.92
395.80/390.00 num=213, depth=36..46, filters=177548428, revisions=(221349846,useless=76934937), ccks=788913333, wck=387.197, mem=105M869
395.80/390.00 decisions=1424925, wrong=708023, backtracks=520213, failedAssignments=483109, nogoods=1707, foundSolutions=17, bestBound=682
395.80/390.00
395.91/390.08 num=214, depth=36..46, filters=177580556, revisions=(221395294,useless=76952958), ccks=789085485, wck=387.28, mem=105M869
395.91/390.08 decisions=1425275, wrong=708179, backtracks=520316, failedAssignments=483228, nogoods=1724, foundSolutions=17, bestBound=682
395.91/390.08
396.01/390.18 num=215, depth=36..44, filters=177620430, revisions=(221451275,useless=76974276), ccks=789283979, wck=387.376, mem=108M364
396.01/390.18 decisions=1425679, wrong=708362, backtracks=520439, failedAssignments=483359, nogoods=1730, foundSolutions=17, bestBound=682
396.01/390.18
396.20/390.31 num=216, depth=36..45, filters=177670242, revisions=(221518386,useless=76998841), ccks=789575588, wck=387.507, mem=108M364
396.20/390.31 decisions=1426116, wrong=708562, backtracks=520592, failedAssignments=483503, nogoods=1738, foundSolutions=17, bestBound=682
396.20/390.31
396.30/390.48 num=217, depth=36..46, filters=177735580, revisions=(221605968,useless=77030334), ccks=789932902, wck=387.67, mem=110M859
396.30/390.48 decisions=1426588, wrong=708780, backtracks=520777, failedAssignments=483661, nogoods=1748, foundSolutions=17, bestBound=682
396.30/390.48
396.40/390.57 num=218, depth=35..46, filters=177771838, revisions=(221661381,useless=77056240), ccks=790163913, wck=387.768, mem=110M859
396.40/390.57 decisions=1427084, wrong=709009, backtracks=520986, failedAssignments=483835, nogoods=1754, foundSolutions=17, bestBound=682
396.40/390.57
396.60/390.75 num=219, depth=35..46, filters=177839078, revisions=(221751728,useless=77089062), ccks=790543067, wck=387.942, mem=110M859
396.60/390.75 decisions=1427656, wrong=709276, backtracks=521181, failedAssignments=484026, nogoods=1762, foundSolutions=17, bestBound=682
396.60/390.75
396.80/390.93 num=220, depth=35..47, filters=177913351, revisions=(221852759,useless=77128691), ccks=790954590, wck=388.129, mem=113M354
396.80/390.93 decisions=1428301, wrong=709580, backtracks=521446, failedAssignments=484237, nogoods=1777, foundSolutions=17, bestBound=682
396.80/390.93
397.01/391.11 num=221, depth=35..46, filters=177983910, revisions=(221947457,useless=77163446), ccks=791337574, wck=388.308, mem=115M849
397.01/391.11 decisions=1428979, wrong=709900, backtracks=521664, failedAssignments=484469, nogoods=1793, foundSolutions=17, bestBound=682
397.01/391.11
397.20/391.32 num=222, depth=35..45, filters=178074290, revisions=(222067700,useless=77206005), ccks=791785676, wck=388.519, mem=115M849
397.20/391.32 decisions=1429726, wrong=710255, backtracks=521916, failedAssignments=484724, nogoods=1802, foundSolutions=17, bestBound=682
397.20/391.32
397.40/391.58 num=223, depth=35..44, filters=178183715, revisions=(222211457,useless=77255817), ccks=792333135, wck=388.777, mem=118M344
397.40/391.58 decisions=1430557, wrong=710653, backtracks=522216, failedAssignments=485005, nogoods=1804, foundSolutions=17, bestBound=682
397.40/391.58
397.70/391.86 num=224, depth=35..44, filters=178301340, revisions=(222365732,useless=77310240), ccks=792926806, wck=389.053, mem=120M839
397.70/391.86 decisions=1431490, wrong=711102, backtracks=522527, failedAssignments=485314, nogoods=1810, foundSolutions=17, bestBound=682
397.70/391.86
398.01/392.15 num=225, depth=35..45, filters=178436193, revisions=(222541410,useless=77370669), ccks=793486965, wck=389.348, mem=123M334
398.01/392.15 decisions=1432468, wrong=711572, backtracks=522828, failedAssignments=485654, nogoods=1813, foundSolutions=17, bestBound=682
398.01/392.15
398.30/392.46 num=226, depth=35..44, filters=178572388, revisions=(222723713,useless=77435157), ccks=794112996, wck=389.652, mem=125M829
398.30/392.46 decisions=1433536, wrong=712088, backtracks=523187, failedAssignments=486028, nogoods=1818, foundSolutions=17, bestBound=682
398.30/392.46
398.60/392.75 num=227, depth=35..48, filters=178715916, revisions=(222920712,useless=77507274), ccks=794664079, wck=389.946, mem=128M324
398.60/392.75 decisions=1434665, wrong=712634, backtracks=523557, failedAssignments=486439, nogoods=1824, foundSolutions=17, bestBound=682
398.60/392.75
398.91/393.10 num=228, depth=35..45, filters=178886681, revisions=(223145492,useless=77582563), ccks=795325659, wck=390.291, mem=133M313
398.91/393.10 decisions=1435946, wrong=713256, backtracks=523918, failedAssignments=486891, nogoods=1841, foundSolutions=17, bestBound=682
398.91/393.10
399.56/393.64 num=229, depth=31..47, filters=179140038, revisions=(223466977,useless=77711543), ccks=796147690, wck=390.834, mem=135M808
399.56/393.64 decisions=1437505, wrong=714018, backtracks=524561, failedAssignments=487388, nogoods=1844, foundSolutions=17, bestBound=682
399.56/393.64
399.97/394.07 num=230, depth=35..46, filters=179350027, revisions=(223746168,useless=77807086), ccks=796985594, wck=391.268, mem=140M798
399.97/394.07 decisions=1439029, wrong=714762, backtracks=525049, failedAssignments=487935, nogoods=1855, foundSolutions=17, bestBound=682
399.97/394.07
400.46/394.55 num=231, depth=34..47, filters=179576402, revisions=(224047544,useless=77912736), ccks=797909437, wck=391.747, mem=145M788
400.46/394.55 decisions=1440713, wrong=715586, backtracks=525580, failedAssignments=488537, nogoods=1860, foundSolutions=17, bestBound=682
400.46/394.55
400.76/394.89 num=232, depth=34..49, filters=179720943, revisions=(224250908,useless=77996776), ccks=798668030, wck=392.082, mem=148M283
400.76/394.89 decisions=1442481, wrong=716453, backtracks=526255, failedAssignments=489199, nogoods=1874, foundSolutions=17, bestBound=682
400.76/394.89
401.26/395.32 num=233, depth=32..47, filters=179895161, revisions=(224491817,useless=78101843), ccks=799692869, wck=392.512, mem=150M778
401.26/395.32 decisions=1444646, wrong=717518, backtracks=527174, failedAssignments=489927, nogoods=1887, foundSolutions=17, bestBound=682
401.26/395.32
401.86/396.00 num=234, depth=34..45, filters=180221851, revisions=(224919666,useless=78249409), ccks=800997378, wck=393.198, mem=158M263
401.86/396.00 decisions=1446908, wrong=718630, backtracks=527924, failedAssignments=490728, nogoods=1895, foundSolutions=17, bestBound=682
401.86/396.00
402.57/396.61 num=235, depth=34..46, filters=180502881, revisions=(225293385,useless=78381208), ccks=802144373, wck=393.803, mem=38M578
402.57/396.61 decisions=1449389, wrong=719851, backtracks=528658, failedAssignments=491609, nogoods=1913, foundSolutions=17, bestBound=682
402.57/396.61
403.47/397.52 num=236, depth=34..46, filters=180946252, revisions=(225873716,useless=78578820), ccks=803863714, wck=394.711, mem=45M938
403.47/397.52 decisions=1452171, wrong=721223, backtracks=529614, failedAssignments=492579, nogoods=1937, foundSolutions=17, bestBound=682
403.47/397.52
404.27/398.35 num=237, depth=35..46, filters=181332795, revisions=(226367492,useless=78740009), ccks=805558115, wck=395.542, mem=53M297
404.27/398.35 decisions=1455146, wrong=722692, backtracks=530544, failedAssignments=493646, nogoods=1954, foundSolutions=17, bestBound=682
404.27/398.35
405.98/400.07 num=238, depth=29..47, filters=182129233, revisions=(227317530,useless=79112279), ccks=807649387, wck=397.265, mem=65M564
405.98/400.07 decisions=1458936, wrong=724570, backtracks=532152, failedAssignments=494819, nogoods=1962, foundSolutions=17, bestBound=682
405.98/400.07
406.87/401.00 num=239, depth=34..46, filters=182586184, revisions=(227923312,useless=79317758), ccks=809517646, wck=398.192, mem=75M376
406.87/401.00 decisions=1462560, wrong=726364, backtracks=533283, failedAssignments=496110, nogoods=1975, foundSolutions=17, bestBound=682
406.87/401.00
407.87/401.94 num=240, depth=34..45, filters=183057886, revisions=(228545474,useless=79535363), ccks=811205577, wck=399.134, mem=82M736
407.87/401.94 decisions=1466524, wrong=728328, backtracks=534371, failedAssignments=497530, nogoods=2005, foundSolutions=17, bestBound=682
407.87/401.94
408.67/402.73 num=241, depth=32..49, filters=183401127, revisions=(229034045,useless=79746377), ccks=813032018, wck=399.921, mem=90M96
408.67/402.73 decisions=1470669, wrong=730382, backtracks=536061, failedAssignments=499092, nogoods=2012, foundSolutions=17, bestBound=682
408.67/402.73
410.08/404.12 num=242, depth=33..48, filters=184079368, revisions=(229925449,useless=80054420), ccks=815649995, wck=401.315, mem=102M362
410.08/404.12 decisions=1475433, wrong=732746, backtracks=537667, failedAssignments=500810, nogoods=2030, foundSolutions=17, bestBound=682
410.08/404.12
411.28/405.37 num=243, depth=34..48, filters=184702148, revisions=(230738945,useless=80325843), ccks=817995414, wck=402.568, mem=114M628
411.28/405.37 decisions=1480736, wrong=735379, backtracks=539186, failedAssignments=502700, nogoods=2039, foundSolutions=17, bestBound=682
411.28/405.37
413.09/407.19 num=244, depth=33..49, filters=185558947, revisions=(231794894,useless=80709869), ccks=821237683, wck=404.381, mem=129M348
413.09/407.19 decisions=1486710, wrong=738347, backtracks=541503, failedAssignments=504779, nogoods=2050, foundSolutions=17, bestBound=682
413.09/407.19
414.88/408.93 num=245, depth=34..48, filters=186421555, revisions=(232905777,useless=81075573), ccks=824640349, wck=406.129, mem=146M520
414.88/408.93 decisions=1493107, wrong=741526, backtracks=543514, failedAssignments=507066, nogoods=2069, foundSolutions=17, bestBound=682
414.88/408.93
416.88/410.92 num=246, depth=33..44, filters=187411691, revisions=(234221250,useless=81530812), ccks=828419057, wck=408.117, mem=43M342
416.88/410.92 decisions=1500221, wrong=745066, backtracks=545730, failedAssignments=509582, nogoods=2083, foundSolutions=17, bestBound=682
416.88/410.92
418.28/412.37 num=247, depth=31..48, filters=188033774, revisions=(235099191,useless=81907828), ccks=831849420, wck=409.566, mem=55M399
418.28/412.37 decisions=1507986, wrong=748931, backtracks=548688, failedAssignments=512350, nogoods=2097, foundSolutions=17, bestBound=682
418.28/412.37
420.58/414.60 num=248, depth=34..48, filters=189110869, revisions=(236492551,useless=82374114), ccks=836112744, wck=411.796, mem=74M691
420.58/414.60 decisions=1516420, wrong=753130, backtracks=551324, failedAssignments=515394, nogoods=2111, foundSolutions=17, bestBound=682
420.58/414.60
422.99/417.04 num=249, depth=33..47, filters=190288371, revisions=(238023750,useless=82907052), ccks=840745525, wck=414.239, mem=96M394
422.99/417.04 decisions=1525769, wrong=757786, backtracks=554304, failedAssignments=518743, nogoods=2125, foundSolutions=17, bestBound=682
422.99/417.04
426.09/420.13 num=250, depth=32..48, filters=191768143, revisions=(239779380,useless=83563271), ccks=845642484, wck=417.327, mem=122M920
426.09/420.13 decisions=1535636, wrong=762703, backtracks=558268, failedAssignments=522427, nogoods=2136, foundSolutions=17, bestBound=682
426.09/420.13
429.00/423.03 num=251, depth=34..47, filters=193219128, revisions=(241665278,useless=84216125), ccks=850929661, wck=420.222, mem=149M777
429.00/423.03 decisions=1547047, wrong=768390, backtracks=561766, failedAssignments=526479, nogoods=2159, foundSolutions=17, bestBound=682
429.00/423.03
432.80/426.82 num=252, depth=32..46, filters=195047289, revisions=(244027882,useless=85019364), ccks=858378005, wck=424.013, mem=64M561
432.80/426.82 decisions=1559549, wrong=774623, backtracks=566188, failedAssignments=530936, nogoods=2181, foundSolutions=17, bestBound=682
432.80/426.82
436.60/430.67 num=253, depth=33..47, filters=196901132, revisions=(246409082,useless=85813465), ccks=865965982, wck=427.862, mem=97M704
436.60/430.67 decisions=1573475, wrong=781567, backtracks=570629, failedAssignments=535839, nogoods=2198, foundSolutions=17, bestBound=682
436.60/430.67
440.70/434.70 num=254, depth=30..48, filters=198736826, revisions=(248780409,useless=86747450), ccks=873316250, wck=431.894, mem=130M846
440.70/434.70 decisions=1589608, wrong=789617, backtracks=576878, failedAssignments=541233, nogoods=2208, foundSolutions=17, bestBound=682
440.70/434.70
445.11/439.11 num=255, depth=33..46, filters=200894787, revisions=(251526668,useless=87656211), ccks=881857224, wck=436.305, mem=52M505
445.11/439.11 decisions=1606197, wrong=797894, backtracks=582142, failedAssignments=547166, nogoods=2220, foundSolutions=17, bestBound=682
445.11/439.11
449.80/443.82 num=256, depth=33..49, filters=203046166, revisions=(254216856,useless=88629733), ccks=890820951, wck=441.02, mem=92M229
449.80/443.82 decisions=1624378, wrong=806967, backtracks=589044, failedAssignments=553692, nogoods=2235, foundSolutions=17, bestBound=682
449.80/443.82
456.21/450.22 num=257, depth=32..47, filters=206037209, revisions=(258012946,useless=89877022), ccks=903547180, wck=447.412, mem=148M311
456.21/450.22 decisions=1645447, wrong=817483, backtracks=596111, failedAssignments=560871, nogoods=2253, foundSolutions=17, bestBound=682
456.21/450.22
461.62/455.64 num=258, depth=33..48, filters=208506407, revisions=(261145345,useless=90917910), ccks=914678432, wck=452.84, mem=79M919
461.62/455.64 decisions=1667716, wrong=828599, backtracks=603085, failedAssignments=568768, nogoods=2263, foundSolutions=17, bestBound=682
461.62/455.64
469.13/463.16 num=259, depth=33..49, filters=211872096, revisions=(265372230,useless=92338365), ccks=930477602, wck=460.357, mem=144M483
469.13/463.16 decisions=1693127, wrong=841285, backtracks=612507, failedAssignments=577455, nogoods=2271, foundSolutions=17, bestBound=682
469.13/463.16
478.23/472.24 num=260, depth=32..46, filters=216345942, revisions=(271139795,useless=94280209), ccks=948226591, wck=469.433, mem=111M177
478.23/472.24 decisions=1722230, wrong=855818, backtracks=622598, failedAssignments=587010, nogoods=2286, foundSolutions=17, bestBound=682
478.23/472.24
485.93/479.95 num=261, depth=32..49, filters=220025223, revisions=(275915240,useless=95955411), ccks=963274419, wck=477.142, mem=67M545
485.93/479.95 decisions=1751885, wrong=870628, backtracks=632465, failedAssignments=597521, nogoods=2303, foundSolutions=17, bestBound=682
485.93/479.95
494.44/488.45 num=262, depth=33..46, filters=224310942, revisions=(281375384,useless=97734456), ccks=980271857, wck=485.646, mem=36M64
494.44/488.45 decisions=1785353, wrong=887343, backtracks=643113, failedAssignments=609083, nogoods=2318, foundSolutions=17, bestBound=682
494.44/488.45
505.54/499.57 num=263, depth=32..46, filters=229701205, revisions=(288205037,useless=99986102), ccks=1001357970, wck=496.769, mem=135M614
505.54/499.57 decisions=1822587, wrong=905942, backtracks=655294, failedAssignments=621801, nogoods=2330, foundSolutions=17, bestBound=682
505.54/499.57
513.94/507.92 num=264, depth=31..50, filters=233434359, revisions=(293058385,useless=101854882), ccks=1019872017, wck=505.117, mem=97M154
513.94/507.92 decisions=1861101, wrong=925182, backtracks=671178, failedAssignments=635791, nogoods=2340, foundSolutions=17, bestBound=682
513.94/507.92
526.64/520.69 num=265, depth=31..47, filters=239890597, revisions=(301265517,useless=104615925), ccks=1043399378, wck=517.883, mem=106M991
526.64/520.69 decisions=1904784, wrong=947006, backtracks=685797, failedAssignments=651180, nogoods=2358, foundSolutions=17, bestBound=682
526.64/520.69
538.65/532.60 num=266, depth=33..48, filters=244991264, revisions=(307838624,useless=106948034), ccks=1067937844, wck=529.795, mem=99M593
538.65/532.60 decisions=1954926, wrong=972059, backtracks=703342, failedAssignments=668108, nogoods=2370, foundSolutions=17, bestBound=682
538.65/532.60
554.47/548.45 num=267, depth=32..48, filters=252422837, revisions=(317185866,useless=110032382), ccks=1099942745, wck=545.641, mem=131M972
554.47/548.45 decisions=2009260, wrong=999207, backtracks=722327, failedAssignments=686729, nogoods=2384, foundSolutions=17, bestBound=682
554.47/548.45
569.19/563.12 num=268, depth=31..49, filters=259361186, revisions=(325864308,useless=112961499), ccks=1127651019, wck=560.315, mem=54M168
569.19/563.12 decisions=2067493, wrong=1028306, backtracks=740588, failedAssignments=707213, nogoods=2394, foundSolutions=17, bestBound=682
569.19/563.12
585.10/579.07 num=269, depth=32..47, filters=267087516, revisions=(335588369,useless=116106266), ccks=1159136534, wck=576.264, mem=96M49
585.10/579.07 decisions=2131900, wrong=1060491, backtracks=760654, failedAssignments=729745, nogoods=2409, foundSolutions=17, bestBound=682
585.10/579.07
607.50/601.45 num=270, depth=32..47, filters=277411226, revisions=(348260398,useless=120232093), ccks=1205000005, wck=598.645, mem=90M868
607.50/601.45 decisions=2205817, wrong=1097432, backtracks=787962, failedAssignments=754530, nogoods=2415, foundSolutions=17, bestBound=682
607.50/601.45
629.11/623.07 num=271, depth=31..48, filters=287752217, revisions=(361482920,useless=124738039), ccks=1246530582, wck=620.269, mem=89M676
629.11/623.07 decisions=2283731, wrong=1136372, backtracks=814278, failedAssignments=781794, nogoods=2428, foundSolutions=17, bestBound=682
629.11/623.07
654.01/647.92 num=272, depth=31..49, filters=299488918, revisions=(376058362,useless=129463384), ccks=1296152480, wck=645.113, mem=120M417
654.01/647.92 decisions=2370960, wrong=1179969, backtracks=844575, failedAssignments=811784, nogoods=2436, foundSolutions=17, bestBound=682
654.01/647.92
678.24/672.17 num=273, depth=32..48, filters=311269486, revisions=(390848958,useless=134557916), ccks=1341428967, wck=669.37, mem=57M734
678.24/672.17 decisions=2466449, wrong=1227696, backtracks=877613, failedAssignments=844773, nogoods=2458, foundSolutions=17, bestBound=682
678.24/672.17
704.95/698.83 num=274, depth=31..48, filters=324713705, revisions=(407967549,useless=140383541), ccks=1390091800, wck=696.026, mem=122M805
704.95/698.83 decisions=2571541, wrong=1280224, backtracks=910554, failedAssignments=881061, nogoods=2474, foundSolutions=17, bestBound=682
704.95/698.83
733.18/727.02 num=275, depth=31..49, filters=337649764, revisions=(424297259,useless=146046815), ccks=1444940287, wck=724.21, mem=102M616
733.18/727.02 decisions=2687100, wrong=1337985, backtracks=948337, failedAssignments=920978, nogoods=2503, foundSolutions=17, bestBound=682
733.18/727.02
773.89/767.72 num=276, depth=30..50, filters=356564921, revisions=(446564758,useless=153732251), ccks=1512692272, wck=764.92, mem=100M919
773.89/767.72 decisions=2819669, wrong=1404251, backtracks=999189, failedAssignments=964887, nogoods=2515, foundSolutions=17, bestBound=682
773.89/767.72
812.73/806.55 num=277, depth=31..47, filters=374920309, revisions=(469447239,useless=161360561), ccks=1589698416, wck=803.742, mem=48M331
812.73/806.55 decisions=2960888, wrong=1474844, backtracks=1047585, failedAssignments=1013187, nogoods=2533, foundSolutions=17, bestBound=682
812.73/806.55
839.15/832.99 o 678
839.15/832.99 num=278, depth=32..1534, filters=387334771, revisions=(484862107,useless=166373849), ccks=1641367224, wck=830.187, mem=49M605
839.15/832.99 decisions=3064691, wrong=1526728, backtracks=1082129, failedAssignments=1048973, nogoods=2548, foundSolutions=18, bestBound=678
839.15/832.99
882.38/876.19 num=279, depth=31..49, filters=408012302, revisions=(510672145,useless=175094761), ccks=1724424414, wck=873.387, mem=57M926
882.38/876.19 decisions=3231824, wrong=1610276, backtracks=1138534, failedAssignments=1107416, nogoods=2574, foundSolutions=18, bestBound=678
882.38/876.19
882.47/876.21 num=280, depth=37..44, filters=408016396, revisions=(510679886,useless=175099320), ccks=1724455297, wck=873.402, mem=57M926
882.47/876.21 decisions=3231892, wrong=1610291, backtracks=1138543, failedAssignments=1107427, nogoods=2582, foundSolutions=18, bestBound=678
882.47/876.21
882.47/876.22 num=281, depth=37..43, filters=408022841, revisions=(510690964,useless=175104950), ccks=1724483257, wck=873.419, mem=57M926
882.47/876.22 decisions=3231959, wrong=1610306, backtracks=1138555, failedAssignments=1107439, nogoods=2584, foundSolutions=18, bestBound=678
882.47/876.22
882.47/876.24 num=282, depth=37..44, filters=408026587, revisions=(510698726,useless=175109683), ccks=1724503159, wck=873.431, mem=57M926
882.47/876.24 decisions=3232025, wrong=1610320, backtracks=1138562, failedAssignments=1107452, nogoods=2591, foundSolutions=18, bestBound=678
882.47/876.24
882.47/876.25 num=283, depth=37..43, filters=408032142, revisions=(510708412,useless=175114829), ccks=1724527056, wck=873.446, mem=57M926
882.47/876.25 decisions=3232098, wrong=1610337, backtracks=1138572, failedAssignments=1107466, nogoods=2597, foundSolutions=18, bestBound=678
882.47/876.25
882.47/876.27 num=284, depth=37..45, filters=408039202, revisions=(510720369,useless=175120793), ccks=1724560927, wck=873.465, mem=57M926
882.47/876.27 decisions=3232175, wrong=1610356, backtracks=1138583, failedAssignments=1107482, nogoods=2606, foundSolutions=18, bestBound=678
882.47/876.27
882.47/876.29 num=285, depth=36..42, filters=408047346, revisions=(510733698,useless=175127199), ccks=1724594673, wck=873.486, mem=57M926
882.47/876.29 decisions=3232261, wrong=1610381, backtracks=1138600, failedAssignments=1107499, nogoods=2607, foundSolutions=18, bestBound=678
882.47/876.29
882.58/876.31 num=286, depth=37..42, filters=408054618, revisions=(510746201,useless=175133404), ccks=1724626437, wck=873.504, mem=57M926
882.58/876.31 decisions=3232348, wrong=1610405, backtracks=1138611, failedAssignments=1107518, nogoods=2617, foundSolutions=18, bestBound=678
882.58/876.31
882.58/876.33 num=287, depth=37..42, filters=408062625, revisions=(510759426,useless=175139775), ccks=1724662471, wck=873.524, mem=57M926
882.58/876.33 decisions=3232443, wrong=1610434, backtracks=1138628, failedAssignments=1107539, nogoods=2622, foundSolutions=18, bestBound=678
882.58/876.33
882.58/876.34 num=288, depth=35..48, filters=408067518, revisions=(510768894,useless=175145372), ccks=1724688406, wck=873.538, mem=59M394
882.58/876.34 decisions=3232535, wrong=1610462, backtracks=1138648, failedAssignments=1107562, nogoods=2628, foundSolutions=18, bestBound=678
882.58/876.34
882.58/876.36 num=289, depth=36..42, filters=408074079, revisions=(510780661,useless=175151581), ccks=1724718271, wck=873.556, mem=59M394
882.58/876.36 decisions=3232634, wrong=1610493, backtracks=1138663, failedAssignments=1107587, nogoods=2636, foundSolutions=18, bestBound=678
882.58/876.36
882.58/876.39 num=290, depth=37..44, filters=408087040, revisions=(510800888,useless=175160718), ccks=1724770420, wck=873.587, mem=59M394
882.58/876.39 decisions=3232749, wrong=1610532, backtracks=1138687, failedAssignments=1107615, nogoods=2648, foundSolutions=18, bestBound=678
882.58/876.39
882.68/876.42 num=291, depth=37..44, filters=408099105, revisions=(510820069,useless=175169594), ccks=1724820321, wck=873.617, mem=59M394
882.68/876.42 decisions=3232863, wrong=1610570, backtracks=1138715, failedAssignments=1107646, nogoods=2654, foundSolutions=18, bestBound=678
882.68/876.42
882.68/876.45 num=292, depth=37..44, filters=408111859, revisions=(510840035,useless=175178614), ccks=1724878958, wck=873.65, mem=59M394
882.68/876.45 decisions=3232986, wrong=1610613, backtracks=1138746, failedAssignments=1107680, nogoods=2664, foundSolutions=18, bestBound=678
882.68/876.45
882.68/876.50 num=293, depth=36..43, filters=408129537, revisions=(510866667,useless=175189895), ccks=1724953140, wck=873.691, mem=59M394
882.68/876.50 decisions=3233125, wrong=1610663, backtracks=1138780, failedAssignments=1107717, nogoods=2674, foundSolutions=18, bestBound=678
882.68/876.50
882.78/876.52 num=294, depth=34..46, filters=408138445, revisions=(510882368,useless=175198672), ccks=1725009709, wck=873.718, mem=60M863
882.78/876.52 decisions=3233265, wrong=1610715, backtracks=1138824, failedAssignments=1107758, nogoods=2682, foundSolutions=18, bestBound=678
882.78/876.52
882.78/876.57 num=295, depth=36..44, filters=408157961, revisions=(510910822,useless=175210516), ccks=1725102705, wck=873.767, mem=60M863
882.78/876.57 decisions=3233418, wrong=1610773, backtracks=1138870, failedAssignments=1107803, nogoods=2689, foundSolutions=18, bestBound=678
882.78/876.57
882.88/876.60 num=296, depth=33..47, filters=408167333, revisions=(510927759,useless=175219927), ccks=1725161898, wck=873.795, mem=60M863
882.88/876.60 decisions=3233588, wrong=1610841, backtracks=1138927, failedAssignments=1107853, nogoods=2693, foundSolutions=18, bestBound=678
882.88/876.60
882.88/876.64 num=297, depth=36..43, filters=408186373, revisions=(510956199,useless=175231942), ccks=1725240900, wck=873.84, mem=60M863
882.88/876.64 decisions=3233772, wrong=1610914, backtracks=1138971, failedAssignments=1107908, nogoods=2710, foundSolutions=18, bestBound=678
882.88/876.64
882.88/876.69 num=298, depth=33..45, filters=408200462, revisions=(510979606,useless=175243916), ccks=1725334799, wck=873.881, mem=62M331
882.88/876.69 decisions=3233989, wrong=1611004, backtracks=1139047, failedAssignments=1107969, nogoods=2717, foundSolutions=18, bestBound=678
882.88/876.69
882.98/876.75 num=299, depth=35..43, filters=408227898, revisions=(511019905,useless=175260182), ccks=1725465801, wck=873.945, mem=62M331
882.98/876.75 decisions=3234219, wrong=1611101, backtracks=1139111, failedAssignments=1108036, nogoods=2726, foundSolutions=18, bestBound=678
882.98/876.75
883.08/876.82 num=300, depth=35..43, filters=408259943, revisions=(511065215,useless=175278060), ccks=1725604176, wck=874.02, mem=62M331
883.08/876.82 decisions=3234462, wrong=1611204, backtracks=1139185, failedAssignments=1108110, nogoods=2731, foundSolutions=18, bestBound=678
883.08/876.82
883.08/876.89 num=301, depth=33..43, filters=408282831, revisions=(511100656,useless=175294519), ccks=1725754218, wck=874.083, mem=63M799
883.08/876.89 decisions=3234756, wrong=1611332, backtracks=1139291, failedAssignments=1108191, nogoods=2743, foundSolutions=18, bestBound=678
883.08/876.89
883.18/876.97 num=302, depth=35..45, filters=408318993, revisions=(511152265,useless=175314327), ccks=1725929986, wck=874.169, mem=63M799
883.18/876.97 decisions=3235047, wrong=1611459, backtracks=1139379, failedAssignments=1108280, nogoods=2749, foundSolutions=18, bestBound=678
883.18/876.97
883.29/877.06 num=303, depth=35..45, filters=408357444, revisions=(511207218,useless=175335702), ccks=1726104654, wck=874.255, mem=65M267
883.29/877.06 decisions=3235360, wrong=1611596, backtracks=1139474, failedAssignments=1108378, nogoods=2768, foundSolutions=18, bestBound=678
883.29/877.06
883.39/877.16 num=304, depth=35..44, filters=408403630, revisions=(511271102,useless=175358927), ccks=1726321738, wck=874.359, mem=65M267
883.39/877.16 decisions=3235696, wrong=1611745, backtracks=1139576, failedAssignments=1108486, nogoods=2776, foundSolutions=18, bestBound=678
883.39/877.16
883.48/877.28 num=305, depth=35..43, filters=408457262, revisions=(511346958,useless=175387724), ccks=1726553815, wck=874.478, mem=66M735
883.48/877.28 decisions=3236073, wrong=1611915, backtracks=1139697, failedAssignments=1108605, nogoods=2792, foundSolutions=18, bestBound=678
883.48/877.28
883.68/877.42 num=306, depth=35..42, filters=408517588, revisions=(511429505,useless=175418408), ccks=1726809464, wck=874.612, mem=68M203
883.68/877.42 decisions=3236472, wrong=1612097, backtracks=1139827, failedAssignments=1108736, nogoods=2798, foundSolutions=18, bestBound=678
883.68/877.42
883.78/877.55 num=307, depth=35..41, filters=408580376, revisions=(511515422,useless=175449175), ccks=1727093320, wck=874.748, mem=69M671
883.78/877.55 decisions=3236931, wrong=1612309, backtracks=1139962, failedAssignments=1108880, nogoods=2813, foundSolutions=18, bestBound=678
883.78/877.55
883.98/877.72 num=308, depth=35..44, filters=408652870, revisions=(511614844,useless=175484447), ccks=1727440106, wck=874.913, mem=71M139
883.98/877.72 decisions=3237415, wrong=1612532, backtracks=1140121, failedAssignments=1109038, nogoods=2818, foundSolutions=18, bestBound=678
883.98/877.72
884.08/877.84 num=309, depth=32..47, filters=408697531, revisions=(511680721,useless=175514818), ccks=1727731382, wck=875.036, mem=71M139
884.08/877.84 decisions=3237979, wrong=1612796, backtracks=1140368, failedAssignments=1109212, nogoods=2827, foundSolutions=18, bestBound=678
884.08/877.84
884.29/878.04 num=310, depth=34..43, filters=408787017, revisions=(511802628,useless=175558752), ccks=1728135182, wck=875.234, mem=74M75
884.29/878.04 decisions=3238563, wrong=1613069, backtracks=1140563, failedAssignments=1109403, nogoods=2841, foundSolutions=18, bestBound=678
884.29/878.04
884.39/878.18 num=311, depth=34..46, filters=408845416, revisions=(511887622,useless=175594716), ccks=1728453738, wck=875.375, mem=75M543
884.39/878.18 decisions=3239180, wrong=1613359, backtracks=1140788, failedAssignments=1109614, nogoods=2854, foundSolutions=18, bestBound=678
884.39/878.18
884.59/878.38 num=312, depth=34..44, filters=408938634, revisions=(512014996,useless=175641030), ccks=1728849947, wck=875.577, mem=77M11
884.59/878.38 decisions=3239870, wrong=1613686, backtracks=1141000, failedAssignments=1109846, nogoods=2865, foundSolutions=18, bestBound=678
884.59/878.38
884.79/878.53 num=313, depth=32..47, filters=408996749, revisions=(512102327,useless=175680557), ccks=1729200030, wck=875.726, mem=78M479
884.79/878.53 decisions=3240695, wrong=1614080, backtracks=1141316, failedAssignments=1110101, nogoods=2876, foundSolutions=18, bestBound=678
884.79/878.53
884.99/878.80 num=314, depth=34..44, filters=409118288, revisions=(512267019,useless=175738730), ccks=1729742563, wck=875.991, mem=79M947
884.99/878.80 decisions=3241557, wrong=1614492, backtracks=1141584, failedAssignments=1110382, nogoods=2889, foundSolutions=18, bestBound=678
884.99/878.80
885.40/879.13 num=315, depth=33..42, filters=409270880, revisions=(512469959,useless=175809873), ccks=1730405146, wck=876.321, mem=82M883
885.40/879.13 decisions=3242527, wrong=1614958, backtracks=1141901, failedAssignments=1110691, nogoods=2891, foundSolutions=18, bestBound=678
885.40/879.13
885.59/879.34 num=316, depth=33..46, filters=409354952, revisions=(512591980,useless=175862883), ccks=1730923779, wck=876.538, mem=84M351
885.59/879.34 decisions=3243598, wrong=1615476, backtracks=1142342, failedAssignments=1111031, nogoods=2897, foundSolutions=18, bestBound=678
885.59/879.34
885.79/879.59 num=317, depth=32..45, filters=409449567, revisions=(512731006,useless=175926579), ccks=1731528478, wck=876.784, mem=87M287
885.79/879.59 decisions=3244920, wrong=1616119, backtracks=1142901, failedAssignments=1111405, nogoods=2905, foundSolutions=18, bestBound=678
885.79/879.59
886.19/879.92 num=318, depth=35..44, filters=409600471, revisions=(512935677,useless=175998460), ccks=1732223783, wck=877.116, mem=90M223
886.19/879.92 decisions=3246133, wrong=1616707, backtracks=1143291, failedAssignments=1111816, nogoods=2918, foundSolutions=18, bestBound=678
886.19/879.92
886.59/880.36 num=319, depth=33..46, filters=409797380, revisions=(513197962,useless=176091208), ccks=1733116111, wck=877.552, mem=94M627
886.59/880.36 decisions=3247495, wrong=1617369, backtracks=1143744, failedAssignments=1112268, nogoods=2935, foundSolutions=18, bestBound=678
886.59/880.36
887.09/880.82 num=320, depth=33..45, filters=410009054, revisions=(513477988,useless=176187031), ccks=1734050841, wck=878.012, mem=97M563
887.09/880.82 decisions=3248969, wrong=1618086, backtracks=1144225, failedAssignments=1112765, nogoods=2950, foundSolutions=18, bestBound=678
887.09/880.82
887.59/881.35 num=321, depth=33..45, filters=410251283, revisions=(513797444,useless=176296235), ccks=1735170132, wck=878.547, mem=103M435
887.59/881.35 decisions=3250641, wrong=1618903, backtracks=1144782, failedAssignments=1113312, nogoods=2957, foundSolutions=18, bestBound=678
887.59/881.35
888.19/881.92 num=322, depth=33..47, filters=410504814, revisions=(514128465,useless=176407915), ccks=1736363252, wck=879.112, mem=107M838
888.19/881.92 decisions=3252430, wrong=1619779, backtracks=1145390, failedAssignments=1113914, nogoods=2971, foundSolutions=18, bestBound=678
888.19/881.92
888.79/882.54 num=323, depth=33..45, filters=410795518, revisions=(514499357,useless=176528844), ccks=1737606616, wck=879.74, mem=40M366
888.79/882.54 decisions=3254385, wrong=1620738, backtracks=1146022, failedAssignments=1114576, nogoods=2985, foundSolutions=18, bestBound=678
888.79/882.54
889.19/882.97 num=324, depth=31..48, filters=410959779, revisions=(514737295,useless=176638361), ccks=1738647759, wck=880.169, mem=43M281
889.19/882.97 decisions=3256634, wrong=1621845, backtracks=1147021, failedAssignments=1115304, nogoods=2988, foundSolutions=18, bestBound=678
889.19/882.97
889.99/883.70 num=325, depth=34..45, filters=411295306, revisions=(515173592,useless=176784717), ccks=1740132569, wck=880.897, mem=49M111
889.99/883.70 decisions=3258977, wrong=1622998, backtracks=1147821, failedAssignments=1116105, nogoods=3002, foundSolutions=18, bestBound=678
889.99/883.70
890.69/884.48 num=326, depth=33..44, filters=411666353, revisions=(515671975,useless=176958255), ccks=1741714862, wck=881.68, mem=56M399
890.69/884.48 decisions=3261522, wrong=1624252, backtracks=1148681, failedAssignments=1116986, nogoods=3006, foundSolutions=18, bestBound=678
890.69/884.48
891.59/885.38 num=327, depth=34..45, filters=412083602, revisions=(516214000,useless=177139764), ccks=1743411360, wck=882.572, mem=65M144
891.59/885.38 decisions=3264277, wrong=1625612, backtracks=1149598, failedAssignments=1117956, nogoods=3011, foundSolutions=18, bestBound=678
891.59/885.38
892.49/886.25 num=328, depth=35..46, filters=412478415, revisions=(516729435,useless=177310378), ccks=1745180000, wck=883.442, mem=72M432
892.49/886.25 decisions=3267248, wrong=1627079, backtracks=1150607, failedAssignments=1119023, nogoods=3020, foundSolutions=18, bestBound=678
892.49/886.25
893.30/887.05 num=329, depth=34..46, filters=412861720, revisions=(517249401,useless=177491205), ccks=1746788659, wck=884.244, mem=79M719
893.30/887.05 decisions=3270575, wrong=1628724, backtracks=1151586, failedAssignments=1120196, nogoods=3036, foundSolutions=18, bestBound=678
893.30/887.05
894.40/888.17 num=330, depth=33..49, filters=413376180, revisions=(517893923,useless=177727058), ccks=1748659466, wck=885.37, mem=89M922
894.40/888.17 decisions=3274099, wrong=1630468, backtracks=1153002, failedAssignments=1121487, nogoods=3044, foundSolutions=18, bestBound=678
894.40/888.17
895.70/889.44 num=331, depth=34..46, filters=413964694, revisions=(518656391,useless=177984467), ccks=1751134201, wck=886.632, mem=100M124
895.70/889.44 decisions=3278050, wrong=1632426, backtracks=1154392, failedAssignments=1122907, nogoods=3052, foundSolutions=18, bestBound=678
895.70/889.44
897.01/890.79 num=332, depth=34..46, filters=414625581, revisions=(519522321,useless=178271146), ccks=1753769347, wck=887.989, mem=40M357
897.01/890.79 decisions=3282469, wrong=1634618, backtracks=1155829, failedAssignments=1124469, nogoods=3071, foundSolutions=18, bestBound=678
897.01/890.79
898.42/892.16 num=333, depth=33..46, filters=415280734, revisions=(520385934,useless=178572117), ccks=1756308777, wck=889.36, mem=51M933
898.42/892.16 decisions=3287205, wrong=1636968, backtracks=1157402, failedAssignments=1126187, nogoods=3085, foundSolutions=18, bestBound=678
898.42/892.16
899.91/893.65 num=334, depth=34..46, filters=415979349, revisions=(521297449,useless=178882371), ccks=1759216234, wck=890.841, mem=66M404
899.91/893.65 decisions=3292495, wrong=1639595, backtracks=1159134, failedAssignments=1128077, nogoods=3104, foundSolutions=18, bestBound=678
899.91/893.65
902.71/896.45 num=335, depth=31..50, filters=417313360, revisions=(522796054,useless=179420986), ccks=1762711729, wck=893.65, mem=88M109
902.71/896.45 decisions=3298656, wrong=1642658, backtracks=1161671, failedAssignments=1130156, nogoods=3119, foundSolutions=18, bestBound=678
902.71/896.45
904.81/898.52 num=336, depth=33..46, filters=418276596, revisions=(524050327,useless=179852669), ccks=1766552563, wck=895.713, mem=105M473
904.81/898.52 decisions=3305094, wrong=1645859, backtracks=1163930, failedAssignments=1132443, nogoods=3134, foundSolutions=18, bestBound=678
904.81/898.52
906.72/900.49 num=337, depth=34..46, filters=419210263, revisions=(525256966,useless=180248068), ccks=1770403239, wck=897.69, mem=51M832
906.72/900.49 decisions=3312252, wrong=1649420, backtracks=1166195, failedAssignments=1134959, nogoods=3145, foundSolutions=18, bestBound=678
906.72/900.49
909.02/902.72 num=338, depth=32..49, filters=420250410, revisions=(526519878,useless=180697469), ccks=1773995692, wck=899.92, mem=69M71
909.02/902.72 decisions=3319562, wrong=1653057, backtracks=1169106, failedAssignments=1137727, nogoods=3155, foundSolutions=18, bestBound=678
909.02/902.72
912.02/905.77 num=339, depth=32..46, filters=421670610, revisions=(528352934,useless=181308353), ccks=1780327059, wck=902.96, mem=96M365
912.02/905.77 decisions=3328280, wrong=1657398, backtracks=1172436, failedAssignments=1140771, nogoods=3161, foundSolutions=18, bestBound=678
912.02/905.77
914.53/908.23 num=340, depth=33..46, filters=422813106, revisions=(529837533,useless=181802667), ccks=1785246908, wck=905.424, mem=47M428
914.53/908.23 decisions=3337679, wrong=1662079, backtracks=1175340, failedAssignments=1144120, nogoods=3181, foundSolutions=18, bestBound=678
914.53/908.23
917.73/911.41 num=341, depth=33..48, filters=424325018, revisions=(531695053,useless=182472107), ccks=1790863454, wck=908.604, mem=73M97
917.73/911.41 decisions=3347911, wrong=1667177, backtracks=1179326, failedAssignments=1147804, nogoods=3196, foundSolutions=18, bestBound=678
917.73/911.41
920.53/914.27 num=342, depth=33..47, filters=425684013, revisions=(533461833,useless=183067316), ccks=1796454169, wck=911.463, mem=98M766
920.53/914.27 decisions=3359283, wrong=1672844, backtracks=1182900, failedAssignments=1151856, nogoods=3213, foundSolutions=18, bestBound=678
920.53/914.27
924.14/917.84 num=343, depth=33..47, filters=427434381, revisions=(535707702,useless=183799703), ccks=1803276503, wck=915.031, mem=60M74
924.14/917.84 decisions=3371685, wrong=1679027, backtracks=1186973, failedAssignments=1156313, nogoods=3236, foundSolutions=18, bestBound=678
924.14/917.84
927.94/921.68 num=344, depth=32..49, filters=429208651, revisions=(538018556,useless=184610627), ccks=1810872261, wck=918.873, mem=94M49
927.94/921.68 decisions=3385322, wrong=1685827, backtracks=1191784, failedAssignments=1161216, nogoods=3248, foundSolutions=18, bestBound=678
927.94/921.68
931.65/925.30 num=345, depth=33..47, filters=430970496, revisions=(540293798,useless=185362363), ccks=1817712227, wck=922.492, mem=57M75
931.65/925.30 decisions=3400632, wrong=1693464, backtracks=1196312, failedAssignments=1166610, nogoods=3266, foundSolutions=18, bestBound=678
931.65/925.30
936.46/930.19 num=346, depth=32..48, filters=433268343, revisions=(543139979,useless=186409719), ccks=1826082551, wck=927.39, mem=96M417
936.46/930.19 decisions=3416543, wrong=1701402, backtracks=1202547, failedAssignments=1172543, nogoods=3277, foundSolutions=18, bestBound=678
936.46/930.19
942.25/935.97 num=347, depth=32..46, filters=435896344, revisions=(546479189,useless=187511608), ccks=1837642150, wck=933.167, mem=76M432
942.25/935.97 decisions=3435249, wrong=1710737, backtracks=1209049, failedAssignments=1179069, nogoods=3293, foundSolutions=18, bestBound=678
942.25/935.97
946.76/940.45 num=348, depth=32..50, filters=437823461, revisions=(549038782,useless=188526971), ccks=1847673687, wck=937.644, mem=44M307
946.76/940.45 decisions=3454889, wrong=1720540, backtracks=1217456, failedAssignments=1186248, nogoods=3302, foundSolutions=18, bestBound=678
946.76/940.45
951.96/945.65 num=349, depth=33..48, filters=440110973, revisions=(551996213,useless=189539020), ccks=1858337023, wck=942.847, mem=88M599
951.96/945.65 decisions=3477221, wrong=1731687, backtracks=1224419, failedAssignments=1194145, nogoods=3315, foundSolutions=18, bestBound=678
951.96/945.65
959.27/952.93 num=350, depth=32..47, filters=443569589, revisions=(556427516,useless=191059650), ccks=1872000343, wck=950.128, mem=82M728
959.27/952.93 decisions=3501696, wrong=1743906, backtracks=1232921, failedAssignments=1202832, nogoods=3339, foundSolutions=18, bestBound=678
959.27/952.93
967.28/960.97 num=351, depth=33..51, filters=447360126, revisions=(560969612,useless=192675082), ccks=1885646119, wck=958.162, mem=80M965
967.28/960.97 decisions=3528294, wrong=1757187, backtracks=1243380, failedAssignments=1212387, nogoods=3364, foundSolutions=18, bestBound=678
967.28/960.97
975.28/969.01 num=352, depth=31..47, filters=451352523, revisions=(566128808,useless=194427844), ccks=1900870022, wck=966.2, mem=87M442
975.28/969.01 decisions=3558728, wrong=1772386, backtracks=1252763, failedAssignments=1222898, nogoods=3380, foundSolutions=18, bestBound=678
975.28/969.01
985.28/978.91 num=353, depth=33..47, filters=455707371, revisions=(571519554,useless=196207508), ccks=1921014443, wck=976.104, mem=101M797
985.28/978.91 decisions=3592262, wrong=1789134, backtracks=1264968, failedAssignments=1234460, nogoods=3391, foundSolutions=18, bestBound=678
985.28/978.91
994.41/988.01 num=354, depth=32..48, filters=459849958, revisions=(576906169,useless=198061237), ccks=1938577269, wck=985.21, mem=46M580
994.41/988.01 decisions=3629083, wrong=1807526, backtracks=1276826, failedAssignments=1247178, nogoods=3398, foundSolutions=18, bestBound=678
994.41/988.01
1004.61/998.25 num=355, depth=32..46, filters=464529775, revisions=(582918130,useless=200152985), ccks=1958820221, wck=995.441, mem=70M45
1004.61/998.25 decisions=3670247, wrong=1828089, backtracks=1289545, failedAssignments=1261168, nogoods=3404, foundSolutions=18, bestBound=678
1004.61/998.25
1021.92/1015.50 num=356, depth=31..50, filters=472338565, revisions=(591965364,useless=203292593), ccks=1987083196, wck=1012.694, mem=75M944
1021.92/1015.50 decisions=3715825, wrong=1850860, backtracks=1309410, failedAssignments=1276557, nogoods=3417, foundSolutions=18, bestBound=678
1021.92/1015.50
1037.83/1031.46 num=357, depth=30..50, filters=479768954, revisions=(601054406,useless=206611957), ccks=2011813188, wck=1028.653, mem=75M330
1037.83/1031.46 decisions=3766680, wrong=1876270, backtracks=1328774, failedAssignments=1293485, nogoods=3436, foundSolutions=18, bestBound=678
1037.83/1031.46
1051.45/1045.01 num=358, depth=33..49, filters=485666765, revisions=(608392754,useless=209138234), ccks=2038876030, wck=1042.207, mem=60M983
1051.45/1045.01 decisions=3821368, wrong=1903595, backtracks=1347377, failedAssignments=1312106, nogoods=3461, foundSolutions=18, bestBound=678
1051.45/1045.01
1067.77/1061.33 num=359, depth=32..49, filters=493062956, revisions=(617557125,useless=212166020), ccks=2071562442, wck=1058.526, mem=75M313
1067.77/1061.33 decisions=3879648, wrong=1932717, backtracks=1367824, failedAssignments=1332590, nogoods=3481, foundSolutions=18, bestBound=678
1067.77/1061.33
1084.78/1078.30 num=360, depth=32..49, filters=500567185, revisions=(626932590,useless=215302058), ccks=2105216926, wck=1075.495, mem=93M964
1084.78/1078.30 decisions=3944398, wrong=1965074, backtracks=1389714, failedAssignments=1355122, nogoods=3497, foundSolutions=18, bestBound=678
1084.78/1078.30
1103.30/1096.86 num=361, depth=31..50, filters=509209608, revisions=(637902291,useless=219013088), ccks=2141686965, wck=1094.059, mem=77M229
1103.30/1096.86 decisions=4016120, wrong=2000917, backtracks=1412863, failedAssignments=1379907, nogoods=3516, foundSolutions=18, bestBound=678
1103.30/1096.86
1126.93/1120.49 num=362, depth=30..50, filters=520168267, revisions=(651188265,useless=223796174), ccks=2186952782, wck=1117.687, mem=40M662
1126.93/1120.49 decisions=4099513, wrong=2042595, backtracks=1447258, failedAssignments=1407171, nogoods=3529, foundSolutions=18, bestBound=678
1126.93/1120.49
1149.94/1143.40 num=363, depth=32..48, filters=530540614, revisions=(663914192,useless=227952086), ccks=2231792539, wck=1140.598, mem=65M877
1149.94/1143.40 decisions=4185868, wrong=2085755, backtracks=1476573, failedAssignments=1437161, nogoods=3540, foundSolutions=18, bestBound=678
1149.94/1143.40
1168.06/1161.57 num=364, depth=30..52, filters=538600193, revisions=(674505773,useless=232075922), ccks=2273010701, wck=1158.767, mem=56M674
1168.06/1161.57 decisions=4280637, wrong=2133122, backtracks=1513336, failedAssignments=1470150, nogoods=3562, foundSolutions=18, bestBound=678
1168.06/1161.57
1199.00/1192.47 num=365, depth=31..47, filters=553195172, revisions=(692635465,useless=238114729), ccks=2332357789, wck=1189.665, mem=57M804
1199.00/1192.47 decisions=4385930, wrong=2185751, backtracks=1550396, failedAssignments=1506438, nogoods=3584, foundSolutions=18, bestBound=678
1199.00/1192.47
1236.04/1229.43 num=366, depth=31..49, filters=570528345, revisions=(713556170,useless=245281578), ccks=2399410337, wck=1226.629, mem=42M724
1236.04/1229.43 decisions=4503244, wrong=2244390, backtracks=1595882, failedAssignments=1546355, nogoods=3592, foundSolutions=18, bestBound=678
1236.04/1229.43
1271.87/1265.24 num=367, depth=31..48, filters=586012754, revisions=(732717314,useless=251722870), ccks=2472701652, wck=1262.44, mem=66M526
1271.87/1265.24 decisions=4630663, wrong=2308081, backtracks=1643164, failedAssignments=1590264, nogoods=3604, foundSolutions=18, bestBound=678
1271.87/1265.24
1314.00/1307.30 num=368, depth=31..50, filters=604402860, revisions=(755166031,useless=259367823), ccks=2558605507, wck=1304.494, mem=87M71
1314.00/1307.30 decisions=4771926, wrong=2378695, backtracks=1699132, failedAssignments=1638564, nogoods=3618, foundSolutions=18, bestBound=678
1314.00/1307.30
1358.26/1351.56 num=369, depth=31..49, filters=624666459, revisions=(779802030,useless=267403723), ccks=2645781021, wck=1348.751, mem=87M87
1358.26/1351.56 decisions=4926680, wrong=2456054, backtracks=1754550, failedAssignments=1691694, nogoods=3629, foundSolutions=18, bestBound=678
1358.26/1351.56
1404.31/1397.54 num=370, depth=31..50, filters=646716251, revisions=(806812812,useless=276306640), ccks=2734686385, wck=1394.737, mem=61M191
1404.31/1397.54 decisions=5098794, wrong=2542093, backtracks=1813878, failedAssignments=1750137, nogoods=3640, foundSolutions=18, bestBound=678
1404.31/1397.54
1459.06/1452.29 num=371, depth=31..49, filters=670380813, revisions=(835421307,useless=285850508), ccks=2845542695, wck=1449.482, mem=72M40
1459.06/1452.29 decisions=5290111, wrong=2637732, backtracks=1883637, failedAssignments=1814424, nogoods=3652, foundSolutions=18, bestBound=678
1459.06/1452.29
1522.52/1515.62 num=372, depth=30..50, filters=699563231, revisions=(871855798,useless=298499519), ccks=2967723274, wck=1512.813, mem=73M137
1522.52/1515.62 decisions=5499238, wrong=2742277, backtracks=1961798, failedAssignments=1885140, nogoods=3668, foundSolutions=18, bestBound=678
1522.52/1515.62
1583.59/1576.63 num=373, depth=31..50, filters=727893887, revisions=(906413555,useless=309919239), ccks=3088128392, wck=1573.827, mem=60M201
1583.59/1576.63 decisions=5725995, wrong=2855637, backtracks=2043008, failedAssignments=1962927, nogoods=3683, foundSolutions=18, bestBound=678
1583.59/1576.63
1657.86/1650.82 num=374, depth=31..49, filters=761576406, revisions=(946991023,useless=323185700), ccks=3236639776, wck=1648.015, mem=88M274
1657.86/1650.82 decisions=5980542, wrong=2982892, backtracks=2138552, failedAssignments=2048493, nogoods=3693, foundSolutions=18, bestBound=678
1657.86/1650.82
1733.74/1726.61 num=375, depth=30..49, filters=796286168, revisions=(989564139,useless=337427127), ccks=3388062413, wck=1723.804, mem=85M83
1733.74/1726.61 decisions=6258458, wrong=3121831, backtracks=2239058, failedAssignments=2142616, nogoods=3715, foundSolutions=18, bestBound=678
1733.74/1726.61
1814.74/1807.51 num=376, depth=30..49, filters=833383664, revisions=(1034966601,useless=352592363), ccks=3548657359, wck=1804.705, mem=68M899
1814.74/1807.51 decisions=6560453, wrong=3272811, backtracks=2346274, failedAssignments=2246151, nogoods=3730, foundSolutions=18, bestBound=678
1814.74/1807.51
1908.03/1900.71 num=377, depth=30..48, filters=876117025, revisions=(1086292195,useless=369243248), ccks=3734091398, wck=1897.902, mem=48M403
1908.03/1900.71 decisions=6898353, wrong=3441743, backtracks=2467789, failedAssignments=2360040, nogoods=3741, foundSolutions=18, bestBound=678
1908.03/1900.71
1924.15/1916.89 o 634
1924.15/1916.89 num=378, depth=31..1534, filters=883544429, revisions=(1094837340,useless=372254819), ccks=3761993270, wck=1914.089, mem=69M995
1924.15/1916.89 decisions=6946584, wrong=3465841, backtracks=2488741, failedAssignments=2374989, nogoods=3756, foundSolutions=19, bestBound=634
1924.15/1916.89
2038.79/2031.39 num=379, depth=31..50, filters=939395008, revisions=(1163041412,useless=394775683), ccks=3976778130, wck=2028.587, mem=63M495
2038.79/2031.39 decisions=7356557, wrong=3670810, backtracks=2634818, failedAssignments=2512795, nogoods=3772, foundSolutions=19, bestBound=634
2038.79/2031.39
2038.89/2031.42 num=380, depth=38..42, filters=939403375, revisions=(1163054535,useless=394781909), ccks=3976819852, wck=2028.612, mem=63M495
2038.89/2031.42 decisions=7356632, wrong=3670828, backtracks=2634833, failedAssignments=2512806, nogoods=3778, foundSolutions=19, bestBound=634
2038.89/2031.42
2038.89/2031.44 num=381, depth=38..43, filters=939410335, revisions=(1163065885,useless=394787507), ccks=3976852965, wck=2028.632, mem=63M495
2038.89/2031.44 decisions=7356711, wrong=3670848, backtracks=2634847, failedAssignments=2512818, nogoods=3785, foundSolutions=19, bestBound=634
2038.89/2031.44
2038.89/2031.46 num=382, depth=37..45, filters=939417543, revisions=(1163077596,useless=394793331), ccks=3976889224, wck=2028.653, mem=63M495
2038.89/2031.46 decisions=7356787, wrong=3670867, backtracks=2634862, failedAssignments=2512831, nogoods=3789, foundSolutions=19, bestBound=634
2038.89/2031.46
2038.89/2031.47 num=383, depth=37..47, filters=939421150, revisions=(1163085131,useless=394798082), ccks=3976905694, wck=2028.664, mem=63M495
2038.89/2031.47 decisions=7356860, wrong=3670885, backtracks=2634879, failedAssignments=2512845, nogoods=3791, foundSolutions=19, bestBound=634
2038.89/2031.47
2038.89/2031.49 num=384, depth=38..44, filters=939428520, revisions=(1163097205,useless=394803981), ccks=3976941759, wck=2028.685, mem=63M592
2038.89/2031.49 decisions=7356949, wrong=3670910, backtracks=2634896, failedAssignments=2512861, nogoods=3799, foundSolutions=19, bestBound=634
2038.89/2031.49
2039.00/2031.51 num=385, depth=38..43, filters=939435073, revisions=(1163107729,useless=394809044), ccks=3976975475, wck=2028.704, mem=64M672
2039.00/2031.51 decisions=7357036, wrong=3670934, backtracks=2634908, failedAssignments=2512878, nogoods=3809, foundSolutions=19, bestBound=634
2039.00/2031.51
2039.00/2031.53 num=386, depth=38..45, filters=939443768, revisions=(1163121096,useless=394815304), ccks=3977012862, wck=2028.726, mem=64M672
2039.00/2031.53 decisions=7357126, wrong=3670960, backtracks=2634925, failedAssignments=2512897, nogoods=3817, foundSolutions=19, bestBound=634
2039.00/2031.53
2039.00/2031.56 num=387, depth=38..44, filters=939452838, revisions=(1163134934,useless=394821653), ccks=3977055697, wck=2028.75, mem=64M672
2039.00/2031.56 decisions=7357221, wrong=3670988, backtracks=2634941, failedAssignments=2512918, nogoods=3822, foundSolutions=19, bestBound=634
2039.00/2031.56
2039.00/2031.57 num=388, depth=36..47, filters=939458715, revisions=(1163145516,useless=394827694), ccks=3977085465, wck=2028.768, mem=64M672
2039.00/2031.57 decisions=7357317, wrong=3671016, backtracks=2634964, failedAssignments=2512941, nogoods=3827, foundSolutions=19, bestBound=634
2039.00/2031.57
2039.10/2031.60 num=389, depth=37..47, filters=939468793, revisions=(1163160987,useless=394834766), ccks=3977133561, wck=2028.795, mem=64M672
2039.10/2031.60 decisions=7357423, wrong=3671049, backtracks=2634985, failedAssignments=2512966, nogoods=3835, foundSolutions=19, bestBound=634
2039.10/2031.60
2039.10/2031.63 num=390, depth=37..49, filters=939478268, revisions=(1163175746,useless=394841791), ccks=3977183485, wck=2028.822, mem=64M672
2039.10/2031.63 decisions=7357532, wrong=3671085, backtracks=2635020, failedAssignments=2512994, nogoods=3837, foundSolutions=19, bestBound=634
2039.10/2031.63
2039.10/2031.65 num=391, depth=37..47, filters=939488403, revisions=(1163192018,useless=394849523), ccks=3977225663, wck=2028.849, mem=65M752
2039.10/2031.65 decisions=7357653, wrong=3671126, backtracks=2635051, failedAssignments=2513025, nogoods=3844, foundSolutions=19, bestBound=634
2039.10/2031.65
2039.10/2031.69 num=392, depth=37..47, filters=939502566, revisions=(1163212884,useless=394858977), ccks=3977299811, wck=2028.888, mem=65M752
2039.10/2031.69 decisions=7357796, wrong=3671178, backtracks=2635100, failedAssignments=2513059, nogoods=3848, foundSolutions=19, bestBound=634
2039.10/2031.69
2039.20/2031.73 num=393, depth=37..46, filters=939517608, revisions=(1163234597,useless=394867920), ccks=3977375503, wck=2028.927, mem=65M752
2039.20/2031.73 decisions=7357939, wrong=3671230, backtracks=2635137, failedAssignments=2513096, nogoods=3856, foundSolutions=19, bestBound=634
2039.20/2031.73
2039.20/2031.78 num=394, depth=37..45, filters=939533618, revisions=(1163257409,useless=394877262), ccks=3977459206, wck=2028.971, mem=66M832
2039.20/2031.78 decisions=7358094, wrong=3671289, backtracks=2635178, failedAssignments=2513137, nogoods=3859, foundSolutions=19, bestBound=634
2039.20/2031.78
2039.30/2031.83 num=395, depth=37..48, filters=939554135, revisions=(1163285732,useless=394888262), ccks=3977561189, wck=2029.025, mem=66M832
2039.30/2031.83 decisions=7358272, wrong=3671359, backtracks=2635230, failedAssignments=2513182, nogoods=3871, foundSolutions=19, bestBound=634
2039.30/2031.83
2039.30/2031.88 num=396, depth=36..44, filters=939574340, revisions=(1163314154,useless=394899763), ccks=3977662699, wck=2029.077, mem=66M832
2039.30/2031.88 decisions=7358453, wrong=3671430, backtracks=2635286, failedAssignments=2513232, nogoods=3873, foundSolutions=19, bestBound=634
2039.30/2031.88
2039.40/2031.95 num=397, depth=36..44, filters=939597244, revisions=(1163345455,useless=394912209), ccks=3977787960, wck=2029.141, mem=67M912
2039.40/2031.95 decisions=7358662, wrong=3671515, backtracks=2635351, failedAssignments=2513287, nogoods=3876, foundSolutions=19, bestBound=634
2039.40/2031.95
2039.51/2032.01 num=398, depth=36..46, filters=939623154, revisions=(1163380884,useless=394925735), ccks=3977918291, wck=2029.206, mem=67M912
2039.51/2032.01 decisions=7358890, wrong=3671609, backtracks=2635421, failedAssignments=2513348, nogoods=3886, foundSolutions=19, bestBound=634
2039.51/2032.01
2039.51/2032.09 num=399, depth=36..46, filters=939652415, revisions=(1163420810,useless=394941007), ccks=3978088177, wck=2029.286, mem=68M992
2039.51/2032.09 decisions=7359120, wrong=3671704, backtracks=2635499, failedAssignments=2513415, nogoods=3892, foundSolutions=19, bestBound=634
2039.51/2032.09
2039.61/2032.16 num=400, depth=36..45, filters=939682684, revisions=(1163460765,useless=394955488), ccks=3978225153, wck=2029.359, mem=68M992
2039.61/2032.16 decisions=7359394, wrong=3671822, backtracks=2635577, failedAssignments=2513489, nogoods=3895, foundSolutions=19, bestBound=634
2039.61/2032.16
2039.70/2032.25 num=401, depth=36..46, filters=939715101, revisions=(1163505101,useless=394972018), ccks=3978398698, wck=2029.444, mem=70M72
2039.70/2032.25 decisions=7359666, wrong=3671939, backtracks=2635666, failedAssignments=2513570, nogoods=3905, foundSolutions=19, bestBound=634
2039.70/2032.25
2039.80/2032.33 num=402, depth=36..49, filters=939745411, revisions=(1163547349,useless=394989270), ccks=3978557148, wck=2029.524, mem=71M152
2039.80/2032.33 decisions=7359966, wrong=3672070, backtracks=2635784, failedAssignments=2513659, nogoods=3912, foundSolutions=19, bestBound=634
2039.80/2032.33
2039.90/2032.42 num=403, depth=36..45, filters=939782827, revisions=(1163597904,useless=395008043), ccks=3978737341, wck=2029.616, mem=71M152
2039.90/2032.42 decisions=7360290, wrong=3672213, backtracks=2635885, failedAssignments=2513757, nogoods=3916, foundSolutions=19, bestBound=634
2039.90/2032.42
2040.00/2032.53 num=404, depth=36..46, filters=939827907, revisions=(1163659075,useless=395031282), ccks=3978958485, wck=2029.73, mem=72M232
2040.00/2032.53 decisions=7360630, wrong=3672364, backtracks=2636011, failedAssignments=2513865, nogoods=3928, foundSolutions=19, bestBound=634
2040.00/2032.53
2040.10/2032.69 num=405, depth=36..44, filters=939887060, revisions=(1163735076,useless=395058000), ccks=3979276574, wck=2029.882, mem=73M312
2040.10/2032.69 decisions=7361035, wrong=3672548, backtracks=2636165, failedAssignments=2513984, nogoods=3940, foundSolutions=19, bestBound=634
2040.10/2032.69
2040.30/2032.82 num=406, depth=35..46, filters=939939173, revisions=(1163804434,useless=395083640), ccks=3979540663, wck=2030.013, mem=74M392
2040.30/2032.82 decisions=7361454, wrong=3672738, backtracks=2636317, failedAssignments=2514115, nogoods=3943, foundSolutions=19, bestBound=634
2040.30/2032.82
2040.40/2032.91 num=407, depth=34..49, filters=939974261, revisions=(1163856693,useless=395106780), ccks=3979729761, wck=2030.105, mem=75M472
2040.40/2032.91 decisions=7361919, wrong=3672952, backtracks=2636502, failedAssignments=2514259, nogoods=3949, foundSolutions=19, bestBound=634
2040.40/2032.91
2040.51/2033.08 num=408, depth=35..46, filters=940039220, revisions=(1163939166,useless=395135364), ccks=3980080648, wck=2030.271, mem=76M552
2040.51/2033.08 decisions=7362456, wrong=3673202, backtracks=2636683, failedAssignments=2514417, nogoods=3958, foundSolutions=19, bestBound=634
2040.51/2033.08
2040.61/2033.19 num=409, depth=34..47, filters=940083434, revisions=(1164002721,useless=395163020), ccks=3980352711, wck=2030.39, mem=77M632
2040.61/2033.19 decisions=7363056, wrong=3673484, backtracks=2636933, failedAssignments=2514591, nogoods=3964, foundSolutions=19, bestBound=634
2040.61/2033.19
2040.80/2033.35 num=410, depth=36..45, filters=940148027, revisions=(1164087787,useless=395193058), ccks=3980644054, wck=2030.544, mem=78M712
2040.80/2033.35 decisions=7363677, wrong=3673776, backtracks=2637129, failedAssignments=2514782, nogoods=3980, foundSolutions=19, bestBound=634
2040.80/2033.35
2041.00/2033.52 num=411, depth=36..44, filters=940217376, revisions=(1164177541,useless=395224464), ccks=3980986227, wck=2030.713, mem=80M872
2041.00/2033.52 decisions=7364369, wrong=3674104, backtracks=2637345, failedAssignments=2514993, nogoods=3985, foundSolutions=19, bestBound=634
2041.00/2033.52
2041.20/2033.72 num=412, depth=35..47, filters=940300015, revisions=(1164284016,useless=395260684), ccks=3981383386, wck=2030.912, mem=81M952
2041.20/2033.72 decisions=7365112, wrong=3674456, backtracks=2637578, failedAssignments=2515225, nogoods=4003, foundSolutions=19, bestBound=634
2041.20/2033.72
2041.40/2033.91 num=413, depth=35..45, filters=940379492, revisions=(1164388171,useless=395297731), ccks=3981758844, wck=2031.104, mem=84M112
2041.40/2033.91 decisions=7365936, wrong=3674849, backtracks=2637834, failedAssignments=2515480, nogoods=4018, foundSolutions=19, bestBound=634
2041.40/2033.91
2041.61/2034.11 num=414, depth=33..49, filters=940454216, revisions=(1164495228,useless=395344621), ccks=3982218988, wck=2031.306, mem=85M192
2041.61/2034.11 decisions=7366895, wrong=3675309, backtracks=2638267, failedAssignments=2515761, nogoods=4024, foundSolutions=19, bestBound=634
2041.61/2034.11
2041.80/2034.39 num=415, depth=35..47, filters=940564329, revisions=(1164636379,useless=395393985), ccks=3982791876, wck=2031.581, mem=87M352
2041.80/2034.39 decisions=7367835, wrong=3675760, backtracks=2638608, failedAssignments=2516070, nogoods=4029, foundSolutions=19, bestBound=634
2041.80/2034.39
2042.10/2034.63 num=416, depth=35..49, filters=940664337, revisions=(1164766864,useless=395440683), ccks=3983280316, wck=2031.825, mem=89M416
2042.10/2034.63 decisions=7368850, wrong=3676249, backtracks=2638952, failedAssignments=2516410, nogoods=4041, foundSolutions=19, bestBound=634
2042.10/2034.63
2042.41/2034.97 num=417, depth=35..46, filters=940801015, revisions=(1164944514,useless=395503864), ccks=3983958587, wck=2032.162, mem=37M680
2042.41/2034.97 decisions=7370009, wrong=3676810, backtracks=2639378, failedAssignments=2516784, nogoods=4051, foundSolutions=19, bestBound=634
2042.41/2034.97
2042.81/2035.32 num=418, depth=35..47, filters=940948555, revisions=(1165132471,useless=395569772), ccks=3984690629, wck=2032.515, mem=40M918
2042.81/2035.32 decisions=7371254, wrong=3677413, backtracks=2639828, failedAssignments=2517195, nogoods=4061, foundSolutions=19, bestBound=634
2042.81/2035.32
2043.21/2035.70 num=419, depth=34..46, filters=941104016, revisions=(1165330384,useless=395638262), ccks=3985471607, wck=2032.896, mem=44M156
2043.21/2035.70 decisions=7372685, wrong=3678109, backtracks=2640304, failedAssignments=2517647, nogoods=4073, foundSolutions=19, bestBound=634
2043.21/2035.70
2043.71/2036.26 num=420, depth=34..47, filters=941327304, revisions=(1165616314,useless=395735801), ccks=3986661606, wck=2033.46, mem=48M473
2043.71/2036.26 decisions=7374274, wrong=3678884, backtracks=2640938, failedAssignments=2518144, nogoods=4080, foundSolutions=19, bestBound=634
2043.71/2036.26
2044.21/2036.79 num=421, depth=34..48, filters=941541866, revisions=(1165885048,useless=395831509), ccks=3987719928, wck=2033.987, mem=52M791
2044.21/2036.79 decisions=7375971, wrong=3679713, backtracks=2641638, failedAssignments=2518691, nogoods=4089, foundSolutions=19, bestBound=634
2044.21/2036.79
2044.71/2037.24 num=422, depth=34..47, filters=941733257, revisions=(1166136403,useless=395926842), ccks=3988513141, wck=2034.437, mem=56M29
2044.71/2037.24 decisions=7377675, wrong=3680546, backtracks=2642276, failedAssignments=2519293, nogoods=4107, foundSolutions=19, bestBound=634
2044.71/2037.24
2045.31/2037.86 num=423, depth=34..46, filters=941980150, revisions=(1166449942,useless=396034176), ccks=3989768216, wck=2035.052, mem=61M426
2045.31/2037.86 decisions=7379577, wrong=3681478, backtracks=2643024, failedAssignments=2519955, nogoods=4112, foundSolutions=19, bestBound=634
2045.31/2037.86
2045.81/2038.35 num=424, depth=34..46, filters=942183852, revisions=(1166712945,useless=396125930), ccks=3990724643, wck=2035.542, mem=64M664
2045.81/2038.35 decisions=7381651, wrong=3682496, backtracks=2643686, failedAssignments=2520683, nogoods=4120, foundSolutions=19, bestBound=634
2045.81/2038.35
2046.41/2038.99 num=425, depth=34..45, filters=942438917, revisions=(1167051181,useless=396253450), ccks=3992023710, wck=2036.19, mem=70M60
2046.41/2038.99 decisions=7384009, wrong=3683657, backtracks=2644584, failedAssignments=2521484, nogoods=4129, foundSolutions=19, bestBound=634
2046.41/2038.99
2047.01/2039.55 num=426, depth=34..47, filters=942676019, revisions=(1167361755,useless=396361624), ccks=3993087875, wck=2036.749, mem=74M378
2047.01/2039.55 decisions=7386524, wrong=3684896, backtracks=2645370, failedAssignments=2522365, nogoods=4134, foundSolutions=19, bestBound=634
2047.01/2039.55
2047.71/2040.27 num=427, depth=35..46, filters=942970201, revisions=(1167740565,useless=396495609), ccks=3994520701, wck=2037.47, mem=80M854
2047.71/2040.27 decisions=7389230, wrong=3686230, backtracks=2646345, failedAssignments=2523335, nogoods=4148, foundSolutions=19, bestBound=634
2047.71/2040.27
2048.52/2041.09 num=428, depth=34..47, filters=943298948, revisions=(1168156191,useless=396637023), ccks=3996171699, wck=2038.283, mem=87M330
2048.52/2041.09 decisions=7392309, wrong=3687751, backtracks=2647408, failedAssignments=2524402, nogoods=4168, foundSolutions=19, bestBound=634
2048.52/2041.09
2049.42/2041.95 num=429, depth=35..48, filters=943647575, revisions=(1168599470,useless=396789967), ccks=3997894036, wck=2039.141, mem=39M905
2049.42/2041.95 decisions=7395556, wrong=3689356, backtracks=2648522, failedAssignments=2525575, nogoods=4187, foundSolutions=19, bestBound=634
2049.42/2041.95
2050.42/2042.90 num=430, depth=35..46, filters=944031114, revisions=(1169090525,useless=396960801), ccks=3999888792, wck=2040.098, mem=47M462
2050.42/2042.90 decisions=7399167, wrong=3691143, backtracks=2649807, failedAssignments=2526866, nogoods=4204, foundSolutions=19, bestBound=634
2050.42/2042.90
2051.42/2043.91 num=431, depth=35..48, filters=944450430, revisions=(1169636741,useless=397156114), ccks=4001783593, wck=2041.109, mem=55M19
2051.42/2043.91 decisions=7403080, wrong=3693081, backtracks=2651238, failedAssignments=2528286, nogoods=4211, foundSolutions=19, bestBound=634
2051.42/2043.91
2052.63/2045.16 num=432, depth=35..47, filters=944951999, revisions=(1170285146,useless=397384514), ccks=4004254840, wck=2042.353, mem=65M815
2052.63/2045.16 decisions=7407554, wrong=3695299, backtracks=2652853, failedAssignments=2529848, nogoods=4228, foundSolutions=19, bestBound=634
2052.63/2045.16
2053.92/2046.49 num=433, depth=35..47, filters=945499105, revisions=(1170990432,useless=397631595), ccks=4006848160, wck=2043.685, mem=75M531
2053.92/2046.49 decisions=7412508, wrong=3697758, backtracks=2654624, failedAssignments=2531566, nogoods=4238, foundSolutions=19, bestBound=634
2053.92/2046.49
2055.32/2047.87 num=434, depth=34..47, filters=946052972, revisions=(1171693643,useless=397874731), ccks=4009695673, wck=2045.064, mem=87M407
2055.32/2047.87 decisions=7417857, wrong=3700414, backtracks=2656472, failedAssignments=2533456, nogoods=4249, foundSolutions=19, bestBound=634
2055.32/2047.87
2056.92/2049.47 num=435, depth=34..48, filters=946695997, revisions=(1172522696,useless=398169371), ccks=4012857095, wck=2046.667, mem=45M337
2056.92/2049.47 decisions=7423795, wrong=3703364, backtracks=2658642, failedAssignments=2535535, nogoods=4260, foundSolutions=19, bestBound=634
2056.92/2049.47
2058.42/2050.98 num=436, depth=35..49, filters=947323299, revisions=(1173349144,useless=398464754), ccks=4015737109, wck=2048.175, mem=58M294
2058.42/2050.98 decisions=7430106, wrong=3706500, backtracks=2660882, failedAssignments=2537822, nogoods=4269, foundSolutions=19, bestBound=634
2058.42/2050.98
2060.42/2052.91 num=437, depth=34..49, filters=948122028, revisions=(1174363964,useless=398814306), ccks=4019628457, wck=2050.11, mem=73M410
2060.42/2052.91 decisions=7437082, wrong=3709970, backtracks=2663439, failedAssignments=2540338, nogoods=4277, foundSolutions=19, bestBound=634
2060.42/2052.91
2062.33/2054.88 num=438, depth=34..47, filters=948980198, revisions=(1175470541,useless=399196061), ccks=4023127218, wck=2052.077, mem=89M606
2062.33/2054.88 decisions=7444955, wrong=3713888, backtracks=2666108, failedAssignments=2543106, nogoods=4285, foundSolutions=19, bestBound=634
2062.33/2054.88
2064.33/2056.82 num=439, depth=34..47, filters=949815254, revisions=(1176540030,useless=399565442), ccks=4026735829, wck=2054.018, mem=51M817
2064.33/2056.82 decisions=7453450, wrong=3718116, backtracks=2668716, failedAssignments=2546150, nogoods=4296, foundSolutions=19, bestBound=634
2064.33/2056.82
2066.33/2058.85 num=440, depth=34..48, filters=950736506, revisions=(1177745495,useless=400011526), ccks=4030090370, wck=2056.05, mem=69M95
2066.33/2058.85 decisions=7463050, wrong=3722897, backtracks=2671932, failedAssignments=2549499, nogoods=4307, foundSolutions=19, bestBound=634
2066.33/2058.85
2068.93/2061.43 num=441, depth=33..46, filters=951885786, revisions=(1179226722,useless=400529949), ccks=4034902286, wck=2058.621, mem=36M699
2068.93/2061.43 decisions=7473574, wrong=3728140, backtracks=2675327, failedAssignments=2553183, nogoods=4317, foundSolutions=19, bestBound=634
2068.93/2061.43
2070.84/2063.38 num=442, depth=31..49, filters=952733954, revisions=(1180488951,useless=401084411), ccks=4037994691, wck=2060.574, mem=53M978
2070.84/2063.38 decisions=7486343, wrong=3734506, backtracks=2680421, failedAssignments=2557235, nogoods=4330, foundSolutions=19, bestBound=634
2070.84/2063.38
2073.65/2066.19 num=443, depth=33..48, filters=953959296, revisions=(1182180617,useless=401742060), ccks=4042427903, wck=2063.381, mem=76M656
2073.65/2066.19 decisions=7499343, wrong=3740987, backtracks=2685348, failedAssignments=2561692, nogoods=4349, foundSolutions=19, bestBound=634
2073.65/2066.19
2078.15/2070.60 num=444, depth=33..47, filters=955812467, revisions=(1184524592,useless=402549568), ccks=4051195046, wck=2067.792, mem=58M298
2078.15/2070.60 decisions=7513730, wrong=3748162, backtracks=2690658, failedAssignments=2566595, nogoods=4362, foundSolutions=19, bestBound=634
2078.15/2070.60
2083.25/2075.73 num=445, depth=32..50, filters=958008454, revisions=(1187244779,useless=403574110), ccks=4060741684, wck=2072.924, mem=43M179
2083.25/2075.73 decisions=7531321, wrong=3756939, backtracks=2698275, failedAssignments=2571989, nogoods=4368, foundSolutions=19, bestBound=634
2083.25/2075.73
2087.47/2079.99 num=446, depth=33..48, filters=959872779, revisions=(1189669053,useless=404423597), ccks=4068994787, wck=2077.183, mem=78M819
2087.47/2079.99 decisions=7548074, wrong=3765297, backtracks=2703736, failedAssignments=2577922, nogoods=4378, foundSolutions=19, bestBound=634
2087.47/2079.99
2091.97/2084.45 num=447, depth=32..49, filters=961836918, revisions=(1192181802,useless=405389377), ccks=4077726389, wck=2081.642, mem=60M459
2091.97/2084.45 decisions=7566497, wrong=3774490, backtracks=2710895, failedAssignments=2584448, nogoods=4399, foundSolutions=19, bestBound=634
2091.97/2084.45
2095.78/2088.26 num=448, depth=31..48, filters=963351732, revisions=(1194294440,useless=406282031), ccks=4086876202, wck=2085.456, mem=36M699
2095.78/2088.26 decisions=7587422, wrong=3784935, backtracks=2719126, failedAssignments=2591627, nogoods=4412, foundSolutions=19, bestBound=634
2095.78/2088.26
2106.19/2098.60 num=449, depth=30..49, filters=968033762, revisions=(1199602221,useless=408181984), ccks=4102370773, wck=2095.797, mem=61M540
2106.19/2098.60 decisions=7613560, wrong=3797988, backtracks=2730653, failedAssignments=2599524, nogoods=4421, foundSolutions=19, bestBound=634
2106.19/2098.60
2115.09/2107.50 num=450, depth=31..46, filters=972025789, revisions=(1204759685,useless=409927551), ccks=4120860400, wck=2104.698, mem=84M220
2115.09/2107.50 decisions=7638884, wrong=3810633, backtracks=2740715, failedAssignments=2608211, nogoods=4432, foundSolutions=19, bestBound=634
2115.09/2107.50
2122.41/2114.82 num=451, depth=32..48, filters=975438535, revisions=(1209112307,useless=411404917), ccks=4134650007, wck=2112.013, mem=39M940
2122.41/2114.82 decisions=7665945, wrong=3824146, backtracks=2749484, failedAssignments=2617766, nogoods=4443, foundSolutions=19, bestBound=634
2122.41/2114.82
2132.73/2125.12 num=452, depth=32..48, filters=980098550, revisions=(1214950505,useless=413327765), ccks=4155440565, wck=2122.317, mem=74M500
2132.73/2125.12 decisions=7696142, wrong=3839226, backtracks=2761313, failedAssignments=2628277, nogoods=4454, foundSolutions=19, bestBound=634
2132.73/2125.12
2142.23/2134.67 num=453, depth=32..47, filters=984486137, revisions=(1220554910,useless=415206717), ccks=4174698891, wck=2131.861, mem=49M709
2142.23/2134.67 decisions=7729301, wrong=3855787, backtracks=2772842, failedAssignments=2639839, nogoods=4466, foundSolutions=19, bestBound=634
2142.23/2134.67
2153.55/2145.92 num=454, depth=31..47, filters=989692112, revisions=(1227303799,useless=417538097), ccks=4197175804, wck=2143.112, mem=41M69
2153.55/2145.92 decisions=7766327, wrong=3874282, backtracks=2786632, failedAssignments=2652557, nogoods=4476, foundSolutions=19, bestBound=634
2153.55/2145.92
2164.95/2157.33 num=455, depth=32..49, filters=994745333, revisions=(1233686140,useless=419667975), ccks=4220167629, wck=2154.528, mem=83M214
2164.95/2157.33 decisions=7806421, wrong=3894311, backtracks=2800690, failedAssignments=2666547, nogoods=4487, foundSolutions=19, bestBound=634
2164.95/2157.33
2177.78/2170.13 num=456, depth=31..46, filters=1000867935, revisions=(1241493877,useless=422314110), ccks=4244862710, wck=2167.323, mem=89M744
2177.78/2170.13 decisions=7851054, wrong=3916610, backtracks=2816066, failedAssignments=2681936, nogoods=4493, foundSolutions=19, bestBound=634
2177.78/2170.13
2194.08/2186.40 num=457, depth=32..47, filters=1008122886, revisions=(1250519501,useless=425303332), ccks=4278230186, wck=2183.598, mem=64M977
2194.08/2186.40 decisions=7901114, wrong=3941622, backtracks=2835524, failedAssignments=2698864, nogoods=4509, foundSolutions=19, bestBound=634
2194.08/2186.40
2211.60/2203.96 num=458, depth=31..48, filters=1016359952, revisions=(1260931338,useless=428732519), ccks=4312356517, wck=2201.156, mem=57M499
2211.60/2203.96 decisions=7955117, wrong=3968605, backtracks=2855484, failedAssignments=2717485, nogoods=4525, foundSolutions=19, bestBound=634
2211.60/2203.96
2229.12/2221.47 num=459, depth=31..47, filters=1024426084, revisions=(1271021125,useless=432046308), ccks=4347169286, wck=2218.665, mem=47M827
2229.12/2221.47 decisions=8014396, wrong=3998226, backtracks=2876729, failedAssignments=2737969, nogoods=4540, foundSolutions=19, bestBound=634
2229.12/2221.47
2249.04/2241.31 num=460, depth=31..48, filters=1033492669, revisions=(1282617373,useless=436169918), ccks=4385521017, wck=2238.505, mem=55M412
2249.04/2241.31 decisions=8078864, wrong=4030442, backtracks=2901831, failedAssignments=2760501, nogoods=4549, foundSolutions=19, bestBound=634
2249.04/2241.31
2264.06/2256.34 num=461, depth=31..51, filters=1039701256, revisions=(1290717586,useless=439416696), ccks=4419489182, wck=2253.534, mem=65M182
2264.06/2256.34 decisions=8148389, wrong=4065187, backtracks=2932793, failedAssignments=2785286, nogoods=4565, foundSolutions=19, bestBound=634
2264.06/2256.34
2287.98/2280.21 num=462, depth=31..47, filters=1050917903, revisions=(1304602933,useless=443874364), ccks=4466298343, wck=2277.406, mem=59M831
2287.98/2280.21 decisions=8228212, wrong=4105081, backtracks=2961438, failedAssignments=2812550, nogoods=4579, foundSolutions=19, bestBound=634
2287.98/2280.21
2312.11/2304.38 num=463, depth=32..49, filters=1061353191, revisions=(1317489674,useless=448198389), ccks=4515441687, wck=2301.575, mem=41M487
2312.11/2304.38 decisions=8315060, wrong=4148487, backtracks=2994254, failedAssignments=2842540, nogoods=4590, foundSolutions=19, bestBound=634
2312.11/2304.38
2347.86/2340.05 num=464, depth=29..48, filters=1077511465, revisions=(1336829449,useless=455248197), ccks=4577050234, wck=2337.241, mem=49M71
2347.86/2340.05 decisions=8418952, wrong=4200416, backtracks=3039161, failedAssignments=2875529, nogoods=4605, foundSolutions=19, bestBound=634
2347.86/2340.05
2373.77/2365.93 num=465, depth=32..48, filters=1088969129, revisions=(1350975060,useless=459963285), ccks=4626301314, wck=2363.128, mem=46M952
2373.77/2365.93 decisions=8524226, wrong=4253035, backtracks=3073510, failedAssignments=2911817, nogoods=4618, foundSolutions=19, bestBound=634
2373.77/2365.93
2403.60/2395.75 num=466, depth=31..48, filters=1102681318, revisions=(1368207981,useless=465739392), ccks=4683956300, wck=2392.948, mem=86M905
2403.60/2395.75 decisions=8639067, wrong=4310437, backtracks=3112613, failedAssignments=2951734, nogoods=4633, foundSolutions=19, bestBound=634
2403.60/2395.75
2431.43/2423.51 num=467, depth=30..50, filters=1115630044, revisions=(1385030121,useless=471975124), ccks=4741431873, wck=2420.708, mem=57M785
2431.43/2423.51 decisions=8764919, wrong=4373345, backtracks=3160627, failedAssignments=2995643, nogoods=4649, foundSolutions=19, bestBound=634
2431.43/2423.51
2468.17/2460.24 num=468, depth=30..48, filters=1133656752, revisions=(1407894395,useless=479629875), ccks=4809130803, wck=2457.434, mem=66M417
2468.17/2460.24 decisions=8904136, wrong=4442936, backtracks=3205377, failedAssignments=3043943, nogoods=4671, foundSolutions=19, bestBound=634
2468.17/2460.24
2504.20/2496.20 num=469, depth=31..48, filters=1149148003, revisions=(1427300282,useless=486308075), ccks=4879292813, wck=2493.392, mem=90M251
2504.20/2496.20 decisions=9057994, wrong=4519847, backtracks=3257744, failedAssignments=3097073, nogoods=4691, foundSolutions=19, bestBound=634
2504.20/2496.20
2520.04/2512.01
2520.04/2512.01 v <instantiation id='sol19' type='solution' cost='634'> <list> x[] y[][] c[] s[] </list> <values> 1 -1 -1 1 -1 -1 -1 -1 -1 1 1 1 -1 -1 -1 -1 -1 1 1 -1 1 -1 1 -1 -1 1 -1 -1 -1 1 1 -1 -1 -1 1 1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 1 -1 1 -1 1 -1 -1 1 1 1 1 -1 1 1 -1 1 1 1 1 -1 1 -1 -1 -1 -1 -1 1 -1 -1 1 1 -1 1 -1 1 1 -1 1 -1 1 -1 -1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 1 1 -1 -1 1 -1 -1 1 1 1 -1 -1 -1 1 1 1 1 -1 -1 1 -1 1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 1 -1 1 1 1 1 1 -1 1 1 1 1 1 1 * 1 1 1 -1 1 1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 1 1 -1 -1 -1 1 1 1 1 -1 -1 -1 1 -1 -1 -1 -1 1 -1 1 1 1 -1 1 1 1 1 -1 1 -1 -1 -1 -1 -1 * * -1 1 1 -1 1 -1 -1 -1 1 -1 -1 -1 1 -1 -1 1 -1 -1 1 1 -1 -1 -1 1 1 1 -1 1 1 -1 1 -1 1 1 1 -1 1 1 -1 1 1 1 -1 1 -1 1 1 1 1 * * * -1 1 1 -1 -1 -1 -1 1 1 -1 -1 -1 -1 -1 1 -1 1 1 -1 1 1 1 -1 1 -1 1 1 1 1 1 1 1 1 -1 -1 -1 1 1 -1 1 1 -1 1 -1 1 -1 -1 -1 * * * * -1 1 1 1 -1 -1 1 1 1 -1 -1 1 -1 1 -1 1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 1 1 -1 1 -1 1 -1 1 -1 -1 1 1 -1 1 -1 1 -1 1 -1 1 1 * * * * * -1 1 -1 1 -1 1 1 1 1 -1 1 1 1 -1 1 -1 1 -1 1 1 -1 1 1 -1 1 -1 1 -1 -1 -1 -1 -1 1 1 -1 -1 1 1 -1 -1 1 -1 1 -1 1 -1 * * * * * * -1 -1 -1 1 1 1 1 1 1 1 1 -1 -1 1 -1 1 1 1 -1 1 -1 -1 1 1 1 -1 -1 -1 1 -1 1 1 1 1 -1 -1 1 1 1 1 -1 1 -1 1 -1 * * * * * * * 1 -1 -1 -1 1 1 1 1 -1 1 -1 1 1 -1 1 1 -1 -1 -1 1 1 -1 -1 1 1 1 -1 1 1 1 -1 1 1 1 -1 -1 1 -1 -1 -1 1 -1 1 -1 * * * * * * * * 1 -1 1 -1 1 1 1 -1 -1 -1 1 -1 -1 1 1 -1 1 -1 -1 -1 1 1 -1 1 -1 1 1 1 -1 -1 -1 1 1 1 -1 -1 -1 1 1 1 -1 1 -1 * * * * * * * * * 1 1 1 -1 1 1 -1 -1 1 1 -1 1 1 1 -1 1 1 -1 1 -1 -1 1 -1 -1 -1 -1 1 -1 1 -1 -1 1 1 1 -1 1 1 -1 -1 -1 1 -1 * * * * * * * * * * -1 1 1 -1 1 -1 -1 1 -1 -1 1 -1 1 -1 1 1 1 1 1 1 -1 1 1 -1 1 -1 -1 1 1 -1 -1 1 1 1 1 -1 -1 1 1 1 -1 * * * * * * * * * * * -1 1 1 -1 -1 -1 1 -1 1 1 -1 -1 -1 1 1 1 -1 1 -1 1 -1 -1 1 1 1 1 1 1 1 -1 -1 1 1 -1 -1 1 1 -1 -1 -1 * * * * * * * * * * * * -1 1 1 1 -1 1 -1 1 -1 -1 -1 1 1 1 1 -1 -1 -1 -1 1 1 -1 -1 1 -1 -1 1 1 1 -1 -1 1 -1 1 1 -1 -1 1 1 * * * * * * * * * * * * * -1 1 -1 1 1 -1 1 -1 1 -1 1 -1 1 1 -1 -1 1 -1 -1 -1 1 1 -1 -1 1 -1 1 1 1 -1 -1 -1 1 -1 -1 1 1 -1 * * * * * * * * * * * * * * -1 -1 -1 -1 -1 1 -1 1 1 1 -1 -1 1 -1 -1 1 1 -1 1 -1 -1 1 1 1 1 -1 1 1 1 -1 1 1 -1 1 1 -1 -1 * * * * * * * * * * * * * * * 1 -1 1 1 1 -1 1 1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 -1 -1 -1 1 1 -1 1 1 1 1 -1 -1 1 -1 -1 1 * * * * * * * * * * * * * * * * 1 1 -1 -1 -1 1 1 -1 1 -1 -1 1 -1 1 1 1 -1 1 -1 1 1 1 -1 1 1 -1 1 1 -1 -1 1 1 -1 1 1 * * * * * * * * * * * * * * * * * -1 -1 1 1 1 1 -1 1 1 -1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 1 -1 1 1 -1 1 -1 1 1 -1 -1 1 -1 * * * * * * * * * * * * * * * * * * 1 1 -1 -1 1 -1 1 1 1 1 1 -1 1 1 -1 -1 1 -1 1 1 -1 1 -1 1 1 -1 -1 1 -1 -1 1 1 -1 * * * * * * * * * * * * * * * * * * * -1 -1 1 -1 -1 1 1 1 -1 1 -1 -1 1 -1 -1 1 1 1 -1 1 -1 1 -1 1 1 1 1 -1 1 1 -1 -1 * * * * * * * * * * * * * * * * * * * * 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 -1 1 -1 1 -1 1 -1 -1 -1 1 -1 -1 1 * * * * * * * * * * * * * * * * * * * * * -1 1 -1 -1 1 1 -1 -1 1 -1 -1 1 -1 1 1 -1 1 -1 -1 1 -1 1 -1 -1 1 1 1 -1 1 1 * * * * * * * * * * * * * * * * * * * * * * -1 -1 1 -1 1 -1 -1 1 1 -1 1 1 1 1 -1 1 1 -1 -1 1 -1 1 1 1 -1 -1 -1 1 -1 * * * * * * * * * * * * * * * * * * * * * * * 1 1 1 -1 -1 -1 1 1 1 1 1 -1 1 -1 1 1 1 -1 -1 1 -1 -1 -1 -1 1 1 1 -1 * * * * * * * * * * * * * * * * * * * * * * * * -1 1 1 1 -1 1 1 1 -1 1 -1 -1 -1 1 1 1 1 -1 -1 1 1 1 1 1 -1 -1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * -1 1 -1 1 1 1 1 -1 -1 -1 -1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * -1 -1 -1 -1 1 1 -1 -1 1 -1 1 -1 1 1 1 1 1 -1 1 1 1 1 1 1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 -1 1 -1 1 -1 -1 1 1 1 -1 -1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 1 1 -1 -1 -1 1 1 -1 -1 -1 -1 1 1 1 1 -1 -1 1 1 1 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 1 1 1 -1 1 1 -1 1 -1 -1 -1 1 1 1 -1 1 1 -1 -1 -1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 1 -1 1 1 1 -1 1 1 -1 -1 -1 1 1 -1 1 -1 -1 1 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 -1 -1 -1 1 -1 1 1 1 -1 -1 -1 1 -1 1 -1 1 1 -1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 -1 1 -1 -1 1 1 1 1 -1 -1 -1 -1 1 -1 1 -1 -1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 1 1 1 1 1 1 1 1 -1 -1 1 1 -1 1 -1 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 1 -1 -1 1 1 1 1 1 -1 1 -1 -1 1 -1 1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 -1 1 -1 1 1 1 1 1 1 -1 1 1 -1 1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 1 1 -1 1 1 1 1 -1 -1 1 -1 -1 1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 1 1 -1 1 1 1 -1 1 1 -1 1 1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 1 1 -1 1 1 -1 1 -1 -1 1 -1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 1 1 -1 1 -1 1 -1 1 1 -1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 1 1 -1 -1 1 -1 1 -1 -1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 1 1 1 1 -1 1 -1 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 1 -1 -1 -1 1 -1 1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 -1 1 1 1 -1 1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 1 -1 -1 -1 1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 -1 1 1 1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 1 -1 -1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 -1 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 3 -4 5 2 -3 2 9 4 1 2 7 2 1 -2 1 4 7 2 5 2 -3 0 1 4 5 0 5 0 5 0 3 -4 -1 10 1 4 3 4 -1 2 -1 4 -3 0 -1 0 -1 0 1 -2 1 0 9 16 25 4 9 4 81 16 1 4 49 4 1 4 1 16 49 4 25 4 9 0 1 16 25 0 25 0 25 0 9 16 1 100 1 16 9 16 1 4 1 16 9 0 1 0 1 0 1 4 1 </values> </instantiation>
2520.04/2512.01 s SATISFIABLE