2.37/1.89
2.37/1.89 AbsCon 2
2.62/1.91
3.29/2.20 Instance
3.29/2.20 name=instance-4391308-1568389891, framework=COP, bounds=-infty..+infty
3.29/2.20
3.29/2.20 Loading variables...
3.60/2.29 Loading constraints...[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@35f1ccf0
5.05/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6535c6cb
5.05/2.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b968387
5.05/2.69 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@525b4dc1
5.05/2.69 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@28ba6fe6
5.05/2.69 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@270ee256
5.05/2.69 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@11933fc4
5.05/2.69 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@72665a34
5.05/2.69 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7de82cd2
5.05/2.69 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4f44fe9a
5.05/2.69 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6c61d72e
5.05/2.70 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@160ddf4c
5.05/2.70 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3bd12fcc
5.05/2.70 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@172e874d
5.05/2.70 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2680cc4b
5.05/2.70 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@24251a8b
5.05/2.70 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@79f5eacb
5.05/2.70 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@25442eb9
5.05/2.70 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@165aaad8
5.05/2.70 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@77713ac3
5.05/2.70 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@9b17a77
5.05/2.70 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23e7ed20
5.05/2.70 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1b6f4d07
5.05/2.70 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@29764d2e
5.05/2.70 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2e0d3efa
5.05/2.70 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@213b68f0
5.05/2.70 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@73d353c6
5.05/2.70 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@49476095
5.05/2.70 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@66c19b92
5.05/2.70 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@289a9bfd
5.05/2.70 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@608c260f
5.05/2.70 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1ec35799
5.05/2.70 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c58231c
5.05/2.70 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7902685b
5.05/2.70 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@170e05cd
5.39/2.70 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4cd3b2fd
5.39/2.70 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2dfbc39f
5.39/2.70 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@10cd816b
5.39/2.70 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d7088b5
5.39/2.70 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@34a84f73
5.39/2.70 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@61b2988c
5.39/2.70 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d919a7a
5.39/2.70 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6440990c
5.39/2.70 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3a25a221
5.39/2.70 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@532dae2d
5.39/2.70 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a4d3916
5.39/2.70 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@293a7126
5.39/2.70 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@22fb1ba9
5.39/2.70 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@8733b29
5.39/2.70 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5be30958
5.39/2.70 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6e7ec900
5.39/2.70 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@77b59910
5.71/2.80
5.71/2.80
5.71/2.80 Domains
5.71/2.80 nTypes=105, nValues=7100, sizes=[2#1432,3#2,4#1,5#2...99#1,101#1,103#1,105#1]
5.71/2.80 Variables
5.71/2.80 count=1535, degrees=[2#1482,52#53]
5.71/2.80 Objectives
5.71/2.80 way=min, type=SumSimpleLE
5.71/2.80 Constraints
5.71/2.80 count=1483, nSpecific=53, arities=[2#53,3#1379,4#1,5#1...50#1,51#1,52#2,53#1]
5.71/2.80 distribution=[CtrIntension#1430,SumSimpleLE#1,SumWeightedEQ#52]
5.71/2.80 nIntStructures=(53,shared:1377), nCftStructures=(53,shared:1377,unbuilt:53)
5.71/2.80 wck=0.938, cpu=2.757, mem=118M998
5.71/2.81 Solver SolverBacktrack being built...
5.71/2.81
5.71/2.85
5.71/2.85 Solver
5.71/2.85 guaranteedGAC=false
5.71/2.85 wck=0.993, cpu=2.811, mem=140M210
5.71/2.88
5.71/2.88 Preprocessing
5.71/2.88 filters=0, ccks=100654, nACremovedValues=0, nTotalRemovedValues=0, inconcistency=false
5.71/2.88 wck=0.025, cpu=2.838, mem=140M210
5.71/2.88
5.98/2.95 o 48230
5.98/2.96 num=0, depth=1536..1534, filters=3458, revisions=(5564,useless=3484), ccks=204109, wck=0.112, mem=140M210
5.98/2.96 decisions=53, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=1, bestBound=48230
5.98/2.96
6.35/3.03 o 42926
6.35/3.03 num=1, depth=0..1534, filters=6875, revisions=(11205,useless=7061), ccks=232103, wck=0.182, mem=142M778
6.35/3.03 decisions=108, wrong=1, backtracks=0, failedAssignments=1, foundSolutions=2, bestBound=42926
6.35/3.03
6.35/3.08 o 38030
6.35/3.08 num=2, depth=52..1534, filters=10402, revisions=(17081,useless=10789), ccks=261576, wck=0.232, mem=142M778
6.35/3.08 decisions=162, wrong=2, backtracks=0, failedAssignments=2, nogoods=1, foundSolutions=3, bestBound=38030
6.35/3.08
6.35/3.10 num=3, depth=45..54, filters=10508, revisions=(18621,useless=12248), ccks=267153, wck=0.251, mem=142M778
6.35/3.10 decisions=250, wrong=24, backtracks=11, failedAssignments=13, nogoods=2, foundSolutions=3, bestBound=38030
6.35/3.10
6.66/3.11 num=4, depth=52..56, filters=10724, revisions=(22010,useless=15458), ccks=275081, wck=0.26, mem=142M778
6.66/3.11 decisions=344, wrong=45, backtracks=26, failedAssignments=24, nogoods=4, foundSolutions=3, bestBound=38030
6.66/3.11
6.66/3.13 num=5, depth=54..59, filters=11564, revisions=(36696,useless=29382), ccks=297703, wck=0.274, mem=142M778
6.66/3.13 decisions=446, wrong=69, backtracks=38, failedAssignments=36, nogoods=6, foundSolutions=3, bestBound=38030
6.66/3.13
6.66/3.14 num=6, depth=12..59, filters=12497, revisions=(42556,useless=34456), ccks=310309, wck=0.284, mem=142M778
6.66/3.14 decisions=543, wrong=94, backtracks=50, failedAssignments=49, nogoods=8, foundSolutions=3, bestBound=38030
6.66/3.14
6.66/3.15 num=7, depth=48..62, filters=14308, revisions=(50299,useless=40677), ccks=328384, wck=0.297, mem=142M778
6.66/3.15 decisions=647, wrong=122, backtracks=64, failedAssignments=63, nogoods=9, foundSolutions=3, bestBound=38030
6.66/3.15
6.66/3.19 num=8, depth=30..67, filters=16530, revisions=(57011,useless=45663), ccks=351338, wck=0.334, mem=35M764
6.66/3.19 decisions=760, wrong=152, backtracks=78, failedAssignments=79, nogoods=11, foundSolutions=3, bestBound=38030
6.66/3.19
6.95/3.21 o 13458
6.95/3.21 num=9, depth=1536..1534, filters=19613, revisions=(67528,useless=54209), ccks=392059, wck=0.363, mem=35M764
6.95/3.21 decisions=814, wrong=152, backtracks=78, failedAssignments=79, nogoods=11, foundSolutions=4, bestBound=13458
6.95/3.21
6.95/3.25 o 11358
6.95/3.25 num=10, depth=54..1534, filters=22820, revisions=(78200,useless=62825), ccks=422198, wck=0.4, mem=35M764
6.95/3.25 decisions=869, wrong=153, backtracks=78, failedAssignments=80, nogoods=12, foundSolutions=5, bestBound=11358
6.95/3.25
6.95/3.27 num=11, depth=6..11, filters=23467, revisions=(89854,useless=73974), ccks=437060, wck=0.422, mem=35M764
6.95/3.27 decisions=917, wrong=174, backtracks=93, failedAssignments=91, nogoods=14, foundSolutions=5, bestBound=11358
6.95/3.27
6.95/3.29 o 3250
6.95/3.30 num=12, depth=51..1534, filters=26538, revisions=(99952,useless=82094), ccks=492251, wck=0.445, mem=38M327
6.95/3.30 decisions=971, wrong=175, backtracks=93, failedAssignments=92, nogoods=15, foundSolutions=6, bestBound=3250
6.95/3.30
7.26/3.33 o 2118
7.26/3.33 num=13, depth=1536..1534, filters=29592, revisions=(110042,useless=90211), ccks=535831, wck=0.481, mem=38M327
7.26/3.33 decisions=1023, wrong=175, backtracks=93, failedAssignments=92, nogoods=15, foundSolutions=7, bestBound=2118
7.26/3.33
7.26/3.37 num=14, depth=5..53, filters=34512, revisions=(120136,useless=96873), ccks=597343, wck=0.517, mem=38M327
7.26/3.37 decisions=1113, wrong=195, backtracks=104, failedAssignments=103, nogoods=18, foundSolutions=7, bestBound=2118
7.26/3.37
7.26/3.39 num=15, depth=41..48, filters=39254, revisions=(129764,useless=103110), ccks=661254, wck=0.541, mem=38M327
7.26/3.39 decisions=1196, wrong=215, backtracks=117, failedAssignments=114, nogoods=20, foundSolutions=7, bestBound=2118
7.26/3.39
7.53/3.42 num=16, depth=46..51, filters=44362, revisions=(139222,useless=108847), ccks=706098, wck=0.57, mem=38M327
7.53/3.42 decisions=1280, wrong=234, backtracks=125, failedAssignments=126, nogoods=24, foundSolutions=7, bestBound=2118
7.53/3.42
7.53/3.46 num=17, depth=38..48, filters=56763, revisions=(159863,useless=120831), ccks=779512, wck=0.605, mem=38M327
7.53/3.46 decisions=1378, wrong=263, backtracks=149, failedAssignments=139, nogoods=27, foundSolutions=7, bestBound=2118
7.53/3.46
7.53/3.48 num=18, depth=46..50, filters=63829, revisions=(171379,useless=127180), ccks=838940, wck=0.633, mem=40M890
7.53/3.48 decisions=1476, wrong=288, backtracks=163, failedAssignments=153, nogoods=29, foundSolutions=7, bestBound=2118
7.53/3.48
7.67/3.51 o 1874
7.67/3.52 num=19, depth=49..1534, filters=68458, revisions=(181788,useless=134367), ccks=884035, wck=0.664, mem=40M890
7.67/3.52 decisions=1554, wrong=302, backtracks=169, failedAssignments=163, nogoods=33, foundSolutions=8, bestBound=1874
7.67/3.52
7.67/3.55 num=20, depth=49..57, filters=73733, revisions=(190878,useless=139615), ccks=927985, wck=0.696, mem=40M890
7.67/3.55 decisions=1653, wrong=327, backtracks=180, failedAssignments=180, nogoods=41, foundSolutions=8, bestBound=1874
7.67/3.55
7.67/3.57 num=21, depth=48..52, filters=78638, revisions=(199475,useless=144724), ccks=968949, wck=0.714, mem=40M890
7.67/3.57 decisions=1732, wrong=342, backtracks=186, failedAssignments=191, nogoods=44, foundSolutions=8, bestBound=1874
7.67/3.57
7.67/3.58 num=22, depth=49..52, filters=83179, revisions=(207571,useless=149662), ccks=1010092, wck=0.731, mem=40M890
7.67/3.58 decisions=1812, wrong=357, backtracks=191, failedAssignments=203, nogoods=54, foundSolutions=8, bestBound=1874
7.67/3.58
7.83/3.60 num=23, depth=44..54, filters=89317, revisions=(218059,useless=155964), ccks=1058439, wck=0.751, mem=40M890
7.83/3.60 decisions=1900, wrong=377, backtracks=202, failedAssignments=216, nogoods=61, foundSolutions=8, bestBound=1874
7.83/3.60
7.83/3.62 num=24, depth=42..54, filters=95068, revisions=(227640,useless=161487), ccks=1107539, wck=0.77, mem=40M890
7.83/3.62 decisions=1987, wrong=397, backtracks=212, failedAssignments=230, nogoods=67, foundSolutions=8, bestBound=1874
7.83/3.62
7.83/3.64 o 1650
7.83/3.64 num=25, depth=1536..1534, filters=97987, revisions=(235353,useless=167264), ccks=1149327, wck=0.788, mem=43M453
7.83/3.64 decisions=2039, wrong=397, backtracks=212, failedAssignments=230, nogoods=67, foundSolutions=9, bestBound=1650
7.83/3.64
7.83/3.67 o 1550
7.83/3.67 num=26, depth=51..1534, filters=101829, revisions=(244125,useless=173396), ccks=1190750, wck=0.82, mem=43M453
7.83/3.67 decisions=2114, wrong=408, backtracks=216, failedAssignments=238, nogoods=70, foundSolutions=10, bestBound=1550
7.83/3.67
7.98/3.70 o 1502
7.98/3.71 num=27, depth=51..1534, filters=105385, revisions=(252842,useless=179662), ccks=1234165, wck=0.855, mem=43M453
7.98/3.71 decisions=2182, wrong=416, backtracks=219, failedAssignments=243, nogoods=71, foundSolutions=11, bestBound=1502
7.98/3.71
7.98/3.74 num=28, depth=51..56, filters=109091, revisions=(259674,useless=183920), ccks=1279936, wck=0.884, mem=43M453
7.98/3.74 decisions=2267, wrong=433, backtracks=226, failedAssignments=254, nogoods=73, foundSolutions=11, bestBound=1502
7.98/3.74
7.98/3.75 num=29, depth=50..54, filters=113406, revisions=(266887,useless=188195), ccks=1319339, wck=0.9, mem=43M453
7.98/3.75 decisions=2352, wrong=449, backtracks=231, failedAssignments=265, nogoods=79, foundSolutions=11, bestBound=1502
7.98/3.75
7.98/3.77 num=30, depth=50..54, filters=117353, revisions=(273694,useless=192315), ccks=1358174, wck=0.915, mem=43M453
7.98/3.77 decisions=2435, wrong=464, backtracks=235, failedAssignments=277, nogoods=86, foundSolutions=11, bestBound=1502
7.98/3.77
7.98/3.78 num=31, depth=45..52, filters=122511, revisions=(283105,useless=197931), ccks=1407838, wck=0.933, mem=46M16
7.98/3.78 decisions=2518, wrong=483, backtracks=251, failedAssignments=290, nogoods=88, foundSolutions=11, bestBound=1502
7.98/3.78
8.12/3.80 num=32, depth=49..53, filters=127025, revisions=(290815,useless=202418), ccks=1443250, wck=0.947, mem=46M16
8.12/3.80 decisions=2611, wrong=504, backtracks=259, failedAssignments=304, nogoods=90, foundSolutions=11, bestBound=1502
8.12/3.80
8.12/3.82 num=33, depth=44..54, filters=134950, revisions=(303883,useless=209485), ccks=1505896, wck=0.971, mem=46M16
8.12/3.82 decisions=2718, wrong=532, backtracks=277, failedAssignments=320, nogoods=96, foundSolutions=11, bestBound=1502
8.12/3.82
8.12/3.84 num=34, depth=47..55, filters=141899, revisions=(315057,useless=215474), ccks=1559295, wck=0.992, mem=46M16
8.12/3.84 decisions=2829, wrong=564, backtracks=299, failedAssignments=337, nogoods=99, foundSolutions=11, bestBound=1502
8.12/3.84
8.12/3.86 o 1398
8.12/3.86 num=35, depth=50..1534, filters=145415, revisions=(323434,useless=221467), ccks=1604527, wck=1.011, mem=46M16
8.12/3.86 decisions=2891, wrong=569, backtracks=300, failedAssignments=341, nogoods=103, foundSolutions=12, bestBound=1398
8.12/3.86
8.12/3.89 num=36, depth=49..56, filters=151958, revisions=(333600,useless=226911), ccks=1650350, wck=1.043, mem=46M16
8.12/3.89 decisions=3004, wrong=600, backtracks=314, failedAssignments=362, nogoods=111, foundSolutions=12, bestBound=1398
8.12/3.89
8.22/3.91 num=37, depth=44..50, filters=157313, revisions=(342410,useless=231946), ccks=1700335, wck=1.061, mem=46M16
8.22/3.91 decisions=3092, wrong=622, backtracks=331, failedAssignments=373, nogoods=115, foundSolutions=12, bestBound=1398
8.22/3.91
8.22/3.93 num=38, depth=48..52, filters=162702, revisions=(350986,useless=236691), ccks=1738225, wck=1.078, mem=46M16
8.22/3.93 decisions=3178, wrong=640, backtracks=338, failedAssignments=385, nogoods=117, foundSolutions=12, bestBound=1398
8.22/3.93
8.22/3.95 num=39, depth=43..51, filters=169317, revisions=(361523,useless=242432), ccks=1795992, wck=1.1, mem=46M16
8.22/3.95 decisions=3277, wrong=668, backtracks=360, failedAssignments=398, nogoods=118, foundSolutions=12, bestBound=1398
8.22/3.95
8.22/3.97 o 1354
8.22/3.97 num=40, depth=49..1534, filters=173340, revisions=(370018,useless=248182), ccks=1831671, wck=1.118, mem=48M579
8.22/3.97 decisions=3340, wrong=674, backtracks=362, failedAssignments=402, nogoods=119, foundSolutions=13, bestBound=1354
8.22/3.97
8.22/4.00 num=41, depth=48..54, filters=179161, revisions=(378909,useless=253012), ccks=1871537, wck=1.149, mem=48M579
8.22/4.00 decisions=3439, wrong=700, backtracks=375, failedAssignments=418, nogoods=120, foundSolutions=13, bestBound=1354
8.22/4.00
8.33/4.02 num=42, depth=48..52, filters=183618, revisions=(386571,useless=257445), ccks=1908801, wck=1.164, mem=48M579
8.33/4.02 decisions=3519, wrong=716, backtracks=382, failedAssignments=429, nogoods=124, foundSolutions=13, bestBound=1354
8.33/4.02
8.33/4.03 o 1298
8.33/4.03 num=43, depth=49..1534, filters=188072, revisions=(395375,useless=263133), ccks=1949364, wck=1.183, mem=48M579
8.33/4.03 decisions=3595, wrong=728, backtracks=386, failedAssignments=437, nogoods=125, foundSolutions=14, bestBound=1298
8.33/4.03
8.33/4.06 num=44, depth=51..58, filters=191562, revisions=(401789,useless=267028), ccks=1986025, wck=1.209, mem=48M579
8.33/4.06 decisions=3685, wrong=747, backtracks=393, failedAssignments=450, nogoods=130, foundSolutions=14, bestBound=1298
8.33/4.06
8.33/4.08 num=45, depth=47..53, filters=196807, revisions=(410411,useless=271844), ccks=2032767, wck=1.227, mem=48M579
8.33/4.08 decisions=3777, wrong=768, backtracks=405, failedAssignments=461, nogoods=134, foundSolutions=14, bestBound=1298
8.33/4.08
8.33/4.09 o 778
8.33/4.09 num=46, depth=52..1534, filters=199677, revisions=(417553,useless=277034), ccks=2065275, wck=1.243, mem=51M166
8.33/4.09 decisions=3835, wrong=770, backtracks=405, failedAssignments=463, nogoods=136, foundSolutions=15, bestBound=778
8.33/4.09
8.44/4.12 num=47, depth=51..55, filters=204060, revisions=(425034,useless=281291), ccks=2100862, wck=1.271, mem=51M166
8.44/4.12 decisions=3927, wrong=789, backtracks=411, failedAssignments=476, nogoods=141, foundSolutions=15, bestBound=778
8.44/4.12
8.44/4.16 num=48, depth=49..54, filters=207493, revisions=(431561,useless=285312), ccks=2123466, wck=1.305, mem=52M488
8.44/4.16 decisions=4008, wrong=803, backtracks=414, failedAssignments=487, nogoods=149, foundSolutions=15, bestBound=778
8.44/4.16
8.60/4.20 num=49, depth=45..51, filters=212055, revisions=(439553,useless=290023), ccks=2159341, wck=1.348, mem=52M488
8.60/4.20 decisions=4094, wrong=823, backtracks=426, failedAssignments=499, nogoods=154, foundSolutions=15, bestBound=778
8.60/4.20
8.60/4.24 num=50, depth=48..53, filters=216763, revisions=(447880,useless=294764), ccks=2185997, wck=1.385, mem=52M488
8.60/4.24 decisions=4182, wrong=843, backtracks=436, failedAssignments=512, nogoods=155, foundSolutions=15, bestBound=778
8.60/4.24
8.60/4.26 num=51, depth=49..54, filters=222355, revisions=(456903,useless=299634), ccks=2217380, wck=1.409, mem=52M488
8.60/4.26 decisions=4274, wrong=864, backtracks=444, failedAssignments=526, nogoods=159, foundSolutions=15, bestBound=778
8.60/4.26
8.60/4.28 num=52, depth=40..49, filters=227142, revisions=(465600,useless=304956), ccks=2261430, wck=1.426, mem=52M488
8.60/4.28 decisions=4371, wrong=891, backtracks=462, failedAssignments=542, nogoods=165, foundSolutions=15, bestBound=778
8.60/4.28
8.76/4.30 num=53, depth=46..52, filters=235394, revisions=(480214,useless=312973), ccks=2302325, wck=1.449, mem=52M488
8.76/4.30 decisions=4465, wrong=915, backtracks=478, failedAssignments=559, nogoods=166, foundSolutions=15, bestBound=778
8.76/4.30
8.76/4.33 num=54, depth=47..53, filters=245222, revisions=(495498,useless=320718), ccks=2364217, wck=1.477, mem=52M488
8.76/4.33 decisions=4577, wrong=947, backtracks=496, failedAssignments=578, nogoods=168, foundSolutions=15, bestBound=778
8.76/4.33
8.76/4.34 num=55, depth=48..52, filters=250403, revisions=(504136,useless=325672), ccks=2400144, wck=1.493, mem=52M488
8.76/4.34 decisions=4688, wrong=978, backtracks=510, failedAssignments=599, nogoods=178, foundSolutions=15, bestBound=778
8.76/4.34
8.76/4.37 num=56, depth=46..52, filters=261994, revisions=(520234,useless=333278), ccks=2461497, wck=1.522, mem=52M488
8.76/4.37 decisions=4823, wrong=1022, backtracks=541, failedAssignments=622, nogoods=181, foundSolutions=15, bestBound=778
8.76/4.37
8.76/4.39 num=57, depth=47..54, filters=268859, revisions=(530722,useless=338695), ccks=2500867, wck=1.541, mem=52M488
8.76/4.39 decisions=4950, wrong=1062, backtracks=563, failedAssignments=647, nogoods=182, foundSolutions=15, bestBound=778
8.76/4.39
8.87/4.43 num=58, depth=43..49, filters=281470, revisions=(548878,useless=346975), ccks=2567307, wck=1.574, mem=52M488
8.87/4.43 decisions=5081, wrong=1106, backtracks=590, failedAssignments=675, nogoods=188, foundSolutions=15, bestBound=778
8.87/4.43
8.87/4.48 num=59, depth=39..50, filters=303946, revisions=(578200,useless=360123), ccks=2657353, wck=1.631, mem=55M51
8.87/4.48 decisions=5229, wrong=1159, backtracks=635, failedAssignments=706, nogoods=192, foundSolutions=15, bestBound=778
8.87/4.48
8.97/4.52 num=60, depth=43..50, filters=319279, revisions=(598774,useless=368822), ccks=2744752, wck=1.672, mem=55M51
8.97/4.52 decisions=5378, wrong=1211, backtracks=673, failedAssignments=740, nogoods=196, foundSolutions=15, bestBound=778
8.97/4.52
8.97/4.56 num=61, depth=43..48, filters=332146, revisions=(616807,useless=376687), ccks=2828518, wck=1.71, mem=55M51
8.97/4.56 decisions=5533, wrong=1267, backtracks=709, failedAssignments=777, nogoods=200, foundSolutions=15, bestBound=778
8.97/4.56
9.07/4.63 num=62, depth=40..47, filters=355892, revisions=(648806,useless=388849), ccks=2981852, wck=1.777, mem=55M51
9.07/4.63 decisions=5708, wrong=1334, backtracks=767, failedAssignments=818, nogoods=205, foundSolutions=15, bestBound=778
9.07/4.63
9.07/4.68 num=63, depth=39..46, filters=372455, revisions=(673022,useless=399057), ccks=3071535, wck=1.824, mem=55M51
9.07/4.68 decisions=5861, wrong=1391, backtracks=810, failedAssignments=863, nogoods=216, foundSolutions=15, bestBound=778
9.07/4.68
9.17/4.73 num=64, depth=38..45, filters=394098, revisions=(703486,useless=411184), ccks=3169557, wck=1.877, mem=55M51
9.17/4.73 decisions=6034, wrong=1457, backtracks=857, failedAssignments=913, nogoods=223, foundSolutions=15, bestBound=778
9.17/4.73
9.17/4.80 num=65, depth=39..46, filters=419290, revisions=(737375,useless=424163), ccks=3305932, wck=1.944, mem=57M613
9.17/4.80 decisions=6228, wrong=1534, backtracks=918, failedAssignments=968, nogoods=225, foundSolutions=15, bestBound=778
9.17/4.80
9.27/4.88 num=66, depth=36..46, filters=450522, revisions=(779822,useless=440158), ccks=3460347, wck=2.025, mem=57M613
9.27/4.88 decisions=6435, wrong=1618, backtracks=982, failedAssignments=1029, nogoods=234, foundSolutions=15, bestBound=778
9.27/4.88
9.39/4.95 num=67, depth=38..46, filters=479850, revisions=(820097,useless=456221), ccks=3620187, wck=2.103, mem=57M613
9.39/4.95 decisions=6659, wrong=1710, backtracks=1054, failedAssignments=1096, nogoods=238, foundSolutions=15, bestBound=778
9.39/4.95
9.50/5.02 num=68, depth=37..44, filters=507061, revisions=(859035,useless=471772), ccks=3742873, wck=2.171, mem=57M613
9.50/5.02 decisions=6902, wrong=1812, backtracks=1124, failedAssignments=1170, nogoods=251, foundSolutions=15, bestBound=778
9.50/5.02
9.50/5.09 num=69, depth=37..46, filters=535565, revisions=(899391,useless=487877), ccks=3864699, wck=2.241, mem=57M613
9.50/5.09 decisions=7159, wrong=1921, backtracks=1197, failedAssignments=1251, nogoods=260, foundSolutions=15, bestBound=778
9.50/5.09
9.60/5.18 num=70, depth=36..45, filters=569965, revisions=(948584,useless=506989), ccks=4069312, wck=2.332, mem=60M176
9.60/5.18 decisions=7428, wrong=2037, backtracks=1294, failedAssignments=1340, nogoods=267, foundSolutions=15, bestBound=778
9.60/5.18
9.69/5.29 num=71, depth=23..37, filters=623283, revisions=(1062481,useless=569634), ccks=4158138, wck=2.442, mem=60M176
9.69/5.29 decisions=7755, wrong=2188, backtracks=1418, failedAssignments=1438, nogoods=274, foundSolutions=15, bestBound=778
9.69/5.29
9.90/5.42 num=72, depth=38..46, filters=675894, revisions=(1132020,useless=594184), ccks=4405249, wck=2.564, mem=62M739
9.90/5.42 decisions=8099, wrong=2340, backtracks=1524, failedAssignments=1546, nogoods=281, foundSolutions=15, bestBound=778
9.90/5.42
10.00/5.57 num=73, depth=38..47, filters=733292, revisions=(1209340,useless=623471), ccks=4747733, wck=2.716, mem=62M739
10.00/5.57 decisions=8478, wrong=2510, backtracks=1682, failedAssignments=1665, nogoods=291, foundSolutions=15, bestBound=778
10.00/5.57
10.10/5.69 num=74, depth=38..46, filters=784275, revisions=(1275769,useless=646884), ccks=4993711, wck=2.839, mem=62M739
10.10/5.69 decisions=8880, wrong=2691, backtracks=1802, failedAssignments=1796, nogoods=295, foundSolutions=15, bestBound=778
10.10/5.69
10.30/5.88 num=75, depth=36..46, filters=857987, revisions=(1374773,useless=682563), ccks=5396759, wck=3.024, mem=65M302
10.30/5.88 decisions=9316, wrong=2890, backtracks=1976, failedAssignments=1940, nogoods=298, foundSolutions=15, bestBound=778
10.30/5.88
10.51/6.05 num=76, depth=35..45, filters=934428, revisions=(1478092,useless=719669), ccks=5732472, wck=3.201, mem=67M865
10.51/6.05 decisions=9775, wrong=3101, backtracks=2139, failedAssignments=2098, nogoods=315, foundSolutions=15, bestBound=778
10.51/6.05
10.70/6.24 num=77, depth=35..44, filters=1010410, revisions=(1583187,useless=759152), ccks=6132268, wck=3.388, mem=67M865
10.70/6.24 decisions=10306, wrong=3348, backtracks=2321, failedAssignments=2272, nogoods=333, foundSolutions=15, bestBound=778
10.70/6.24
10.90/6.49 num=78, depth=33..48, filters=1114221, revisions=(1709584,useless=807911), ccks=6463787, wck=3.635, mem=70M428
10.90/6.49 decisions=10859, wrong=3607, backtracks=2555, failedAssignments=2463, nogoods=339, foundSolutions=15, bestBound=778
10.90/6.49
11.22/6.73 num=79, depth=35..45, filters=1217853, revisions=(1846759,useless=855968), ccks=6935071, wck=3.876, mem=72M991
11.22/6.73 decisions=11470, wrong=3894, backtracks=2784, failedAssignments=2674, nogoods=348, foundSolutions=15, bestBound=778
11.22/6.73
11.42/6.97 num=80, depth=36..47, filters=1314354, revisions=(1971549,useless=899198), ccks=7460689, wck=4.122, mem=75M554
11.42/6.97 decisions=12172, wrong=4226, backtracks=3035, failedAssignments=2906, nogoods=350, foundSolutions=15, bestBound=778
11.42/6.97
11.72/7.20 num=81, depth=35..46, filters=1415540, revisions=(2109152,useless=950278), ccks=7867445, wck=4.349, mem=75M554
11.72/7.20 decisions=12888, wrong=4566, backtracks=3267, failedAssignments=3161, nogoods=367, foundSolutions=15, bestBound=778
11.72/7.20
11.92/7.49 num=82, depth=36..46, filters=1536582, revisions=(2267315,useless=1005819), ccks=8440047, wck=4.643, mem=78M117
11.92/7.49 decisions=13697, wrong=4952, backtracks=3556, failedAssignments=3442, nogoods=381, foundSolutions=15, bestBound=778
11.92/7.49
12.32/7.80 num=83, depth=36..45, filters=1661447, revisions=(2432395,useless=1064023), ccks=9107732, wck=4.951, mem=80M680
12.32/7.80 decisions=14575, wrong=5373, backtracks=3881, failedAssignments=3751, nogoods=386, foundSolutions=15, bestBound=778
12.32/7.80
12.63/8.15 num=84, depth=21..46, filters=1811378, revisions=(2750625,useless=1239966), ccks=9350089, wck=5.296, mem=83M243
12.63/8.15 decisions=15694, wrong=5919, backtracks=4370, failedAssignments=4091, nogoods=395, foundSolutions=15, bestBound=778
12.63/8.15
13.02/8.58 num=85, depth=35..46, filters=1973736, revisions=(2962544,useless=1314768), ccks=10306660, wck=5.723, mem=88M369
13.02/8.58 decisions=16755, wrong=6431, backtracks=4817, failedAssignments=4465, nogoods=400, foundSolutions=15, bestBound=778
13.02/8.58
13.42/8.99 num=86, depth=34..44, filters=2144955, revisions=(3187153,useless=1396379), ccks=11098876, wck=6.143, mem=90M932
13.42/8.99 decisions=17906, wrong=6987, backtracks=5223, failedAssignments=4876, nogoods=411, foundSolutions=15, bestBound=778
13.42/8.99
13.92/9.42 num=87, depth=35..46, filters=2320047, revisions=(3416170,useless=1475449), ccks=11975666, wck=6.573, mem=93M495
13.92/9.42 decisions=19190, wrong=7610, backtracks=5699, failedAssignments=5328, nogoods=422, foundSolutions=15, bestBound=778
13.92/9.42
14.43/9.93 num=88, depth=35..45, filters=2530172, revisions=(3687323,useless=1568953), ccks=12989812, wck=7.081, mem=98M621
14.43/9.93 decisions=20577, wrong=8285, backtracks=6214, failedAssignments=5825, nogoods=442, foundSolutions=15, bestBound=778
14.43/9.93
14.93/10.48 num=89, depth=35..45, filters=2764195, revisions=(3990546,useless=1674011), ccks=14055024, wck=7.63, mem=103M747
14.93/10.48 decisions=22087, wrong=9021, backtracks=6774, failedAssignments=6372, nogoods=455, foundSolutions=15, bestBound=778
14.93/10.48
15.54/11.02 num=90, depth=34..46, filters=2993941, revisions=(4302938,useless=1788673), ccks=15155111, wck=8.171, mem=106M310
15.54/11.02 decisions=23805, wrong=9862, backtracks=7365, failedAssignments=6974, nogoods=469, foundSolutions=15, bestBound=778
15.54/11.02
16.24/11.74 num=91, depth=34..46, filters=3298597, revisions=(4700634,useless=1923341), ccks=16674035, wck=8.892, mem=113M999
16.24/11.74 decisions=25696, wrong=10789, backtracks=8079, failedAssignments=7636, nogoods=478, foundSolutions=15, bestBound=778
16.24/11.74
17.14/12.63 num=92, depth=15..44, filters=3689511, revisions=(5582490,useless=2434934), ccks=17324667, wck=9.776, mem=121M688
17.14/12.63 decisions=28150, wrong=12003, backtracks=9217, failedAssignments=8364, nogoods=494, foundSolutions=15, bestBound=778
17.14/12.63
18.04/13.58 num=93, depth=35..45, filters=4076170, revisions=(6081056,useless=2608605), ccks=19456205, wck=10.724, mem=129M377
18.04/13.58 decisions=30552, wrong=13185, backtracks=10227, failedAssignments=9165, nogoods=511, foundSolutions=15, bestBound=778
18.04/13.58
18.95/14.48 num=94, depth=33..46, filters=4486836, revisions=(6624200,useless=2799189), ccks=21274932, wck=11.633, mem=137M65
18.95/14.48 decisions=33019, wrong=14400, backtracks=11150, failedAssignments=10046, nogoods=519, foundSolutions=15, bestBound=778
18.95/14.48
19.85/15.37 num=95, depth=37..47, filters=4868895, revisions=(7104192,useless=2964991), ccks=23082064, wck=12.514, mem=144M754
19.85/15.37 decisions=35821, wrong=15782, backtracks=12191, failedAssignments=11016, nogoods=532, foundSolutions=15, bestBound=778
19.85/15.37
20.76/16.29 num=96, depth=33..46, filters=5257730, revisions=(7636524,useless=3163091), ccks=25019736, wck=13.435, mem=152M443
20.76/16.29 decisions=38951, wrong=17329, backtracks=13220, failedAssignments=12083, nogoods=544, foundSolutions=15, bestBound=778
20.76/16.29
22.26/17.78 num=97, depth=18..46, filters=5891466, revisions=(9039335,useless=3984589), ccks=26023818, wck=14.925, mem=35M979
22.26/17.78 decisions=43334, wrong=19509, backtracks=15203, failedAssignments=13256, nogoods=551, foundSolutions=15, bestBound=778
22.26/17.78
23.50/18.94 num=98, depth=38..49, filters=6468890, revisions=(9722351,useless=4216503), ccks=28142255, wck=16.091, mem=46M305
23.50/18.94 decisions=47465, wrong=21553, backtracks=16754, failedAssignments=14547, nogoods=559, foundSolutions=15, bestBound=778
23.50/18.94
23.93/19.25 o 766
23.93/19.25 num=99, depth=43..1534, filters=6627681, revisions=(9908488,useless=4283902), ccks=28558359, wck=16.398, mem=48M886
23.93/19.25 decisions=49084, wrong=22339, backtracks=17223, failedAssignments=15013, nogoods=572, foundSolutions=16, bestBound=766
23.93/19.25
25.06/20.39 num=100, depth=41..54, filters=7230927, revisions=(10657935,useless=4574470), ccks=30389556, wck=17.538, mem=61M793
25.06/20.39 decisions=54327, wrong=24939, backtracks=18792, failedAssignments=16575, nogoods=585, foundSolutions=16, bestBound=766
25.06/20.39
25.16/20.41 num=101, depth=46..50, filters=7236026, revisions=(10667199,useless=4579746), ccks=30426708, wck=17.555, mem=61M793
25.16/20.41 decisions=54409, wrong=24957, backtracks=18803, failedAssignments=16586, nogoods=586, foundSolutions=16, bestBound=766
25.16/20.41
25.16/20.42 num=102, depth=43..50, filters=7240183, revisions=(10675131,useless=4584558), ccks=30462471, wck=17.569, mem=61M793
25.16/20.42 decisions=54486, wrong=24974, backtracks=18819, failedAssignments=16598, nogoods=588, foundSolutions=16, bestBound=766
25.16/20.42
25.16/20.44 num=103, depth=46..50, filters=7245484, revisions=(10684563,useless=4589869), ccks=30491372, wck=17.585, mem=61M793
25.16/20.44 decisions=54569, wrong=24992, backtracks=18827, failedAssignments=16611, nogoods=591, foundSolutions=16, bestBound=766
25.16/20.44
25.16/20.45 num=104, depth=39..50, filters=7249636, revisions=(10692833,useless=4595023), ccks=30523517, wck=17.599, mem=61M793
25.16/20.45 decisions=54652, wrong=25013, backtracks=18846, failedAssignments=16625, nogoods=593, foundSolutions=16, bestBound=766
25.16/20.45
25.16/20.47 num=105, depth=46..50, filters=7255237, revisions=(10702998,useless=4600586), ccks=30554665, wck=17.615, mem=61M793
25.16/20.47 decisions=54747, wrong=25037, backtracks=18857, failedAssignments=16641, nogoods=599, foundSolutions=16, bestBound=766
25.16/20.47
25.16/20.48 num=106, depth=46..51, filters=7261066, revisions=(10712969,useless=4605973), ccks=30587943, wck=17.631, mem=61M793
25.16/20.48 decisions=54849, wrong=25065, backtracks=18871, failedAssignments=16658, nogoods=600, foundSolutions=16, bestBound=766
25.16/20.48
25.26/20.50 num=107, depth=47..52, filters=7268344, revisions=(10724223,useless=4611857), ccks=30627655, wck=17.651, mem=61M793
25.26/20.50 decisions=54958, wrong=25096, backtracks=18891, failedAssignments=16677, nogoods=608, foundSolutions=16, bestBound=766
25.26/20.50
25.26/20.52 num=108, depth=49..53, filters=7273682, revisions=(10733357,useless=4616788), ccks=30659453, wck=17.666, mem=61M793
25.26/20.52 decisions=55072, wrong=25128, backtracks=18905, failedAssignments=16698, nogoods=616, foundSolutions=16, bestBound=766
25.26/20.52
25.26/20.54 num=109, depth=46..52, filters=7282121, revisions=(10746550,useless=4623363), ccks=30707159, wck=17.688, mem=61M793
25.26/20.54 decisions=55192, wrong=25165, backtracks=18926, failedAssignments=16721, nogoods=618, foundSolutions=16, bestBound=766
25.26/20.54
25.26/20.56 num=110, depth=47..53, filters=7291353, revisions=(10759544,useless=4629648), ccks=30755179, wck=17.713, mem=61M793
25.26/20.56 decisions=55323, wrong=25206, backtracks=18948, failedAssignments=16746, nogoods=625, foundSolutions=16, bestBound=766
25.26/20.56
25.26/20.59 num=111, depth=47..53, filters=7303761, revisions=(10776602,useless=4637304), ccks=30812418, wck=17.742, mem=61M793
25.26/20.59 decisions=55480, wrong=25261, backtracks=18987, failedAssignments=16774, nogoods=631, foundSolutions=16, bestBound=766
25.26/20.59
25.37/20.62 num=112, depth=47..52, filters=7313230, revisions=(10790633,useless=4644078), ccks=30856056, wck=17.765, mem=61M793
25.37/20.62 decisions=55622, wrong=25308, backtracks=19012, failedAssignments=16805, nogoods=635, foundSolutions=16, bestBound=766
25.37/20.62
25.37/20.64 num=113, depth=46..53, filters=7321173, revisions=(10803423,useless=4650600), ccks=30901551, wck=17.787, mem=64M375
25.37/20.64 decisions=55770, wrong=25359, backtracks=19041, failedAssignments=16839, nogoods=637, foundSolutions=16, bestBound=766
25.37/20.64
25.37/20.67 num=114, depth=45..51, filters=7335850, revisions=(10823337,useless=4659407), ccks=30969665, wck=17.822, mem=64M375
25.37/20.67 decisions=55936, wrong=25419, backtracks=19081, failedAssignments=16876, nogoods=642, foundSolutions=16, bestBound=766
25.37/20.67
25.47/20.71 num=115, depth=43..50, filters=7350242, revisions=(10843965,useless=4668683), ccks=31046626, wck=17.86, mem=64M375
25.47/20.71 decisions=56102, wrong=25480, backtracks=19118, failedAssignments=16917, nogoods=648, foundSolutions=16, bestBound=766
25.47/20.71
25.47/20.75 num=116, depth=43..49, filters=7366612, revisions=(10867313,useless=4678619), ccks=31118741, wck=17.899, mem=64M375
25.47/20.75 decisions=56275, wrong=25545, backtracks=19155, failedAssignments=16962, nogoods=651, foundSolutions=16, bestBound=766
25.47/20.75
25.47/20.79 num=117, depth=38..51, filters=7380229, revisions=(10889705,useless=4690767), ccks=31213078, wck=17.937, mem=64M375
25.47/20.79 decisions=56469, wrong=25622, backtracks=19227, failedAssignments=17012, nogoods=656, foundSolutions=16, bestBound=766
25.47/20.79
25.57/20.83 num=118, depth=43..49, filters=7399893, revisions=(10917598,useless=4702262), ccks=31295002, wck=17.98, mem=64M375
25.57/20.83 decisions=56664, wrong=25698, backtracks=19272, failedAssignments=17067, nogoods=662, foundSolutions=16, bestBound=766
25.57/20.83
25.67/20.90 num=119, depth=40..48, filters=7430986, revisions=(10960542,useless=4718449), ccks=31436949, wck=18.049, mem=64M375
25.67/20.90 decisions=56889, wrong=25789, backtracks=19323, failedAssignments=17128, nogoods=671, foundSolutions=16, bestBound=766
25.67/20.90
25.67/20.96 num=120, depth=42..48, filters=7459196, revisions=(11000084,useless=4733670), ccks=31530053, wck=18.105, mem=66M956
25.67/20.96 decisions=57123, wrong=25885, backtracks=19373, failedAssignments=17195, nogoods=681, foundSolutions=16, bestBound=766
25.67/20.96
25.78/21.03 num=121, depth=40..48, filters=7490325, revisions=(11041939,useless=4750607), ccks=31656807, wck=18.177, mem=66M956
25.78/21.03 decisions=57361, wrong=25984, backtracks=19448, failedAssignments=17269, nogoods=687, foundSolutions=16, bestBound=766
25.78/21.03
25.78/21.08 num=122, depth=37..48, filters=7508178, revisions=(11070032,useless=4765332), ccks=31793812, wck=18.23, mem=67M815
25.78/21.08 decisions=57630, wrong=26099, backtracks=19554, failedAssignments=17350, nogoods=692, foundSolutions=16, bestBound=766
25.78/21.08
25.89/21.16 num=123, depth=39..45, filters=7543129, revisions=(11118689,useless=4783928), ccks=31938027, wck=18.307, mem=67M815
25.89/21.16 decisions=57919, wrong=26223, backtracks=19628, failedAssignments=17439, nogoods=698, foundSolutions=16, bestBound=766
25.89/21.16
25.98/21.23 num=124, depth=39..46, filters=7577837, revisions=(11165663,useless=4801355), ccks=32062297, wck=18.382, mem=70M397
25.98/21.23 decisions=58240, wrong=26363, backtracks=19702, failedAssignments=17537, nogoods=701, foundSolutions=16, bestBound=766
25.98/21.23
26.08/21.30 num=125, depth=41..49, filters=7604473, revisions=(11202428,useless=4815790), ccks=32189308, wck=18.445, mem=70M397
26.08/21.30 decisions=58582, wrong=26513, backtracks=19777, failedAssignments=17645, nogoods=706, foundSolutions=16, bestBound=766
26.08/21.30
26.08/21.37 num=126, depth=36..50, filters=7630257, revisions=(11241390,useless=4835480), ccks=32356341, wck=18.515, mem=70M397
26.08/21.37 decisions=58940, wrong=26671, backtracks=19920, failedAssignments=17764, nogoods=713, foundSolutions=16, bestBound=766
26.08/21.37
26.18/21.48 num=127, depth=39..46, filters=7684593, revisions=(11313431,useless=4860893), ccks=32566425, wck=18.631, mem=70M397
26.18/21.48 decisions=59341, wrong=26852, backtracks=20023, failedAssignments=17895, nogoods=718, foundSolutions=16, bestBound=766
26.18/21.48
26.28/21.59 num=128, depth=38..48, filters=7730331, revisions=(11377255,useless=4886753), ccks=32763925, wck=18.736, mem=72M978
26.28/21.59 decisions=59761, wrong=27042, backtracks=20155, failedAssignments=18039, nogoods=726, foundSolutions=16, bestBound=766
26.28/21.59
26.48/21.73 num=129, depth=37..45, filters=7796836, revisions=(11465951,useless=4918430), ccks=33038579, wck=18.882, mem=72M978
26.48/21.73 decisions=60237, wrong=27260, backtracks=20294, failedAssignments=18197, nogoods=736, foundSolutions=16, bestBound=766
26.48/21.73
26.58/21.88 num=130, depth=37..46, filters=7859092, revisions=(11550537,useless=4949811), ccks=33329599, wck=19.03, mem=75M560
26.58/21.88 decisions=60752, wrong=27498, backtracks=20452, failedAssignments=18371, nogoods=751, foundSolutions=16, bestBound=766
26.58/21.88
26.79/22.02 num=131, depth=37..46, filters=7926723, revisions=(11642966,useless=4983668), ccks=33553534, wck=19.17, mem=75M560
26.79/22.02 decisions=61321, wrong=27763, backtracks=20602, failedAssignments=18562, nogoods=774, foundSolutions=16, bestBound=766
26.79/22.02
26.89/22.18 num=132, depth=37..46, filters=7994148, revisions=(11732791,useless=5015994), ccks=33878164, wck=19.333, mem=78M141
26.89/22.18 decisions=61959, wrong=28062, backtracks=20770, failedAssignments=18773, nogoods=778, foundSolutions=16, bestBound=766
26.89/22.18
27.08/22.36 num=133, depth=36..45, filters=8076809, revisions=(11847543,useless=5058098), ccks=34182681, wck=19.505, mem=78M141
27.08/22.36 decisions=62623, wrong=28375, backtracks=20944, failedAssignments=19005, nogoods=793, foundSolutions=16, bestBound=766
27.08/22.36
27.28/22.50 num=134, depth=36..49, filters=8134608, revisions=(11927682,useless=5090676), ccks=34494967, wck=19.648, mem=80M723
27.28/22.50 decisions=63370, wrong=28730, backtracks=21205, failedAssignments=19260, nogoods=800, foundSolutions=16, bestBound=766
27.28/22.50
27.48/22.73 num=135, depth=38..46, filters=8246483, revisions=(12080362,useless=5147184), ccks=34945827, wck=19.882, mem=83M304
27.48/22.73 decisions=64181, wrong=29115, backtracks=21441, failedAssignments=19541, nogoods=812, foundSolutions=16, bestBound=766
27.48/22.73
27.68/22.95 num=136, depth=38..46, filters=8337898, revisions=(12201475,useless=5189051), ccks=35383535, wck=20.098, mem=83M304
27.68/22.95 decisions=65076, wrong=29543, backtracks=21695, failedAssignments=19850, nogoods=822, foundSolutions=16, bestBound=766
27.68/22.95
27.98/23.25 num=137, depth=36..46, filters=8475051, revisions=(12379961,useless=5252796), ccks=35919326, wck=20.402, mem=85M886
27.98/23.25 decisions=66100, wrong=30037, backtracks=22009, failedAssignments=20190, nogoods=828, foundSolutions=16, bestBound=766
27.98/23.25
28.28/23.50 num=138, depth=36..46, filters=8583220, revisions=(12524202,useless=5303259), ccks=36358384, wck=20.645, mem=88M467
28.28/23.50 decisions=67155, wrong=30546, backtracks=22301, failedAssignments=20564, nogoods=836, foundSolutions=16, bestBound=766
28.28/23.50
28.58/23.86 num=139, depth=36..46, filters=8732239, revisions=(12715978,useless=5367972), ccks=37115922, wck=21.012, mem=91M49
28.58/23.86 decisions=68337, wrong=31117, backtracks=22674, failedAssignments=20975, nogoods=848, foundSolutions=16, bestBound=766
28.58/23.86
29.08/24.32 num=140, depth=35..44, filters=8922423, revisions=(12967339,useless=5456556), ccks=38038251, wck=21.466, mem=96M212
29.08/24.32 decisions=69631, wrong=31746, backtracks=23142, failedAssignments=21427, nogoods=859, foundSolutions=16, bestBound=766
29.08/24.32
29.38/24.63 num=141, depth=36..47, filters=9065725, revisions=(13160679,useless=5525718), ccks=38567806, wck=21.781, mem=98M793
29.38/24.63 decisions=71077, wrong=32449, backtracks=23543, failedAssignments=21924, nogoods=878, foundSolutions=16, bestBound=766
29.38/24.63
29.89/25.12 num=142, depth=34..50, filters=9274781, revisions=(13426316,useless=5629395), ccks=39256600, wck=22.265, mem=101M375
29.89/25.12 decisions=72571, wrong=33177, backtracks=24126, failedAssignments=22471, nogoods=887, foundSolutions=16, bestBound=766
29.89/25.12
30.39/25.67 num=143, depth=33..44, filters=9527060, revisions=(13777494,useless=5762175), ccks=40246583, wck=22.817, mem=106M537
30.39/25.67 decisions=74257, wrong=34002, backtracks=24673, failedAssignments=23073, nogoods=910, foundSolutions=16, bestBound=766
30.39/25.67
30.89/26.12 num=144, depth=35..47, filters=9722478, revisions=(14044711,useless=5859363), ccks=41123681, wck=23.267, mem=111M700
30.89/26.12 decisions=76117, wrong=34913, backtracks=25219, failedAssignments=23735, nogoods=925, foundSolutions=16, bestBound=766
30.89/26.12
31.49/26.79 num=145, depth=35..46, filters=10003554, revisions=(14408915,useless=5984571), ccks=42435637, wck=23.936, mem=116M863
31.49/26.79 decisions=78132, wrong=35902, backtracks=25916, failedAssignments=24463, nogoods=939, foundSolutions=16, bestBound=766
31.49/26.79
32.29/27.58 num=146, depth=34..46, filters=10344979, revisions=(14848678,useless=6130389), ccks=44031244, wck=24.724, mem=122M26
32.29/27.58 decisions=80371, wrong=37003, backtracks=26717, failedAssignments=25264, nogoods=944, foundSolutions=16, bestBound=766
32.29/27.58
33.09/28.35 num=147, depth=34..46, filters=10682489, revisions=(15302513,useless=6294104), ccks=45551655, wck=25.497, mem=129M771
33.09/28.35 decisions=82835, wrong=38217, backtracks=27583, failedAssignments=26145, nogoods=956, foundSolutions=16, bestBound=766
33.09/28.35
33.69/28.90 num=148, depth=30..50, filters=10906365, revisions=(15604341,useless=6425656), ccks=46841730, wck=26.05, mem=134M934
33.69/28.90 decisions=85616, wrong=39590, backtracks=28767, failedAssignments=27115, nogoods=967, foundSolutions=16, bestBound=766
33.69/28.90
34.49/29.75 num=149, depth=34..46, filters=11316401, revisions=(16151278,useless=6617632), ccks=48374416, wck=26.896, mem=142M678
34.49/29.75 decisions=88629, wrong=41078, backtracks=29660, failedAssignments=28182, nogoods=984, foundSolutions=16, bestBound=766
34.49/29.75
35.09/30.39 num=150, depth=33..52, filters=11568770, revisions=(16498077,useless=6761334), ccks=49838930, wck=27.542, mem=147M841
35.09/30.39 decisions=91931, wrong=42710, backtracks=31019, failedAssignments=29355, nogoods=1005, foundSolutions=16, bestBound=766
35.09/30.39
36.09/31.35 num=151, depth=22..45, filters=12014161, revisions=(17448691,useless=7311405), ccks=50658248, wck=28.5, mem=158M167
36.09/31.35 decisions=96311, wrong=44886, backtracks=32889, failedAssignments=30646, nogoods=1014, foundSolutions=16, bestBound=766
36.09/31.35
37.19/32.45 num=152, depth=37..48, filters=12490273, revisions=(18049578,useless=7532032), ccks=52631228, wck=29.599, mem=165M518
37.19/32.45 decisions=100621, wrong=47022, backtracks=34583, failedAssignments=32066, nogoods=1023, foundSolutions=16, bestBound=766
37.19/32.45
38.75/33.92 num=153, depth=36..47, filters=13123970, revisions=(18835892,useless=7801995), ccks=55545158, wck=31.068, mem=47M790
38.75/33.92 decisions=105240, wrong=49313, backtracks=36276, failedAssignments=33628, nogoods=1038, foundSolutions=16, bestBound=766
38.75/33.92
40.26/35.40 num=154, depth=34..45, filters=13732712, revisions=(19610756,useless=8069890), ccks=58619699, wck=32.553, mem=58M486
40.26/35.40 decisions=110174, wrong=51763, backtracks=37998, failedAssignments=35346, nogoods=1039, foundSolutions=16, bestBound=766
40.26/35.40
41.46/36.62 num=155, depth=34..46, filters=14276961, revisions=(20334599,useless=8324096), ccks=60847973, wck=33.772, mem=69M183
41.46/36.62 decisions=115477, wrong=54395, backtracks=39697, failedAssignments=37236, nogoods=1054, foundSolutions=16, bestBound=766
41.46/36.62
43.67/38.87 num=156, depth=33..46, filters=15220193, revisions=(21539434,useless=8735946), ccks=65499142, wck=36.021, mem=87M10
43.67/38.87 decisions=121426, wrong=57352, backtracks=42058, failedAssignments=39315, nogoods=1064, foundSolutions=16, bestBound=766
43.67/38.87
44.98/40.13 num=157, depth=30..50, filters=15696021, revisions=(22204394,useless=9040521), ccks=68592185, wck=37.277, mem=97M706
44.98/40.13 decisions=127846, wrong=60544, backtracks=44896, failedAssignments=41602, nogoods=1076, foundSolutions=16, bestBound=766
44.98/40.13
47.17/42.34 num=158, depth=34..50, filters=16647065, revisions=(23380153,useless=9437960), ccks=72987458, wck=39.485, mem=111M968
47.17/42.34 decisions=134973, wrong=64089, backtracks=47440, failedAssignments=44118, nogoods=1081, foundSolutions=16, bestBound=766
47.17/42.34
49.47/44.62 num=159, depth=36..50, filters=17649771, revisions=(24608738,useless=9848670), ccks=77584881, wck=41.768, mem=133M360
49.47/44.62 decisions=143131, wrong=68148, backtracks=50368, failedAssignments=46886, nogoods=1093, foundSolutions=16, bestBound=766
49.47/44.62
52.07/47.21 num=160, depth=34..47, filters=18723288, revisions=(25962897,useless=10309799), ccks=83013993, wck=44.355, mem=154M753
52.07/47.21 decisions=151993, wrong=72560, backtracks=53390, failedAssignments=49930, nogoods=1101, foundSolutions=16, bestBound=766
52.07/47.21
55.77/50.96 num=161, depth=31..49, filters=20447208, revisions=(27993697,useless=11067275), ccks=88836578, wck=48.11, mem=183M276
55.77/50.96 decisions=162130, wrong=77610, backtracks=57542, failedAssignments=53279, nogoods=1117, foundSolutions=16, bestBound=766
55.77/50.96
58.88/54.07 num=162, depth=34..47, filters=21747377, revisions=(29626082,useless=11615416), ccks=95577761, wck=51.221, mem=208M234
58.88/54.07 decisions=172565, wrong=82809, backtracks=61348, failedAssignments=56963, nogoods=1132, foundSolutions=16, bestBound=766
58.88/54.07
62.73/57.89 num=163, depth=32..46, filters=23372862, revisions=(31768504,useless=12388068), ccks=103506163, wck=55.033, mem=58M140
62.73/57.89 decisions=184366, wrong=88691, backtracks=65535, failedAssignments=61015, nogoods=1144, foundSolutions=16, bestBound=766
62.73/57.89
66.23/61.38 num=164, depth=34..47, filters=24781584, revisions=(33548564,useless=13003323), ccks=111143533, wck=58.533, mem=86M258
66.23/61.38 decisions=197105, wrong=95042, backtracks=69980, failedAssignments=65472, nogoods=1156, foundSolutions=16, bestBound=766
66.23/61.38
70.73/65.87 num=165, depth=34..48, filters=26696950, revisions=(35909896,useless=13788104), ccks=120627068, wck=63.017, mem=121M406
70.73/65.87 decisions=211158, wrong=102051, backtracks=75284, failedAssignments=70375, nogoods=1169, foundSolutions=16, bestBound=766
70.73/65.87
76.34/71.43 num=166, depth=32..46, filters=29031765, revisions=(38867207,useless=14801181), ccks=132282333, wck=68.573, mem=167M98
76.34/71.43 decisions=226978, wrong=109944, backtracks=81281, failedAssignments=75769, nogoods=1172, foundSolutions=16, bestBound=766
76.34/71.43
83.29/78.35 num=167, depth=32..49, filters=32009394, revisions=(42377197,useless=16010315), ccks=143990505, wck=75.495, mem=43M970
83.29/78.35 decisions=244023, wrong=118448, backtracks=88887, failedAssignments=81702, nogoods=1184, foundSolutions=16, bestBound=766
83.29/78.35
90.89/85.99 num=168, depth=31..48, filters=35441350, revisions=(46416806,useless=17454269), ccks=157079785, wck=83.136, mem=102M719
90.89/85.99 decisions=264773, wrong=128805, backtracks=98033, failedAssignments=88228, nogoods=1191, foundSolutions=16, bestBound=766
90.89/85.99
97.39/92.43 num=169, depth=34..50, filters=38562748, revisions=(50153195,useless=18673210), ccks=168572094, wck=89.576, mem=158M13
97.39/92.43 decisions=285698, wrong=139249, backtracks=105567, failedAssignments=95407, nogoods=1204, foundSolutions=16, bestBound=766
97.39/92.43
104.64/99.60 num=170, depth=35..51, filters=41725061, revisions=(53890904,useless=19918615), ccks=182865645, wck=96.747, mem=40M390
104.64/99.60 decisions=309169, wrong=150965, backtracks=114796, failedAssignments=103304, nogoods=1229, foundSolutions=16, bestBound=766
104.64/99.60
111.74/106.71 num=171, depth=35..50, filters=45200071, revisions=(58006355,useless=21329801), ccks=195531884, wck=103.858, mem=104M832
111.74/106.71 decisions=335042, wrong=163882, backtracks=124443, failedAssignments=111991, nogoods=1242, foundSolutions=16, bestBound=766
111.74/106.71
119.94/114.92 num=172, depth=34..50, filters=48686501, revisions=(62256866,useless=22772671), ccks=211948796, wck=112.073, mem=169M274
119.94/114.92 decisions=363503, wrong=178094, backtracks=135281, failedAssignments=121546, nogoods=1262, foundSolutions=16, bestBound=766
119.94/114.92
130.99/125.91 num=173, depth=32..49, filters=53382315, revisions=(67810383,useless=24740590), ccks=232360084, wck=123.061, mem=80M141
130.99/125.91 decisions=395778, wrong=194213, backtracks=149268, failedAssignments=132057, nogoods=1274, foundSolutions=16, bestBound=766
130.99/125.91
139.80/134.71 num=174, depth=34..49, filters=57603510, revisions=(73095420,useless=26537518), ccks=248932975, wck=131.863, mem=159M921
139.80/134.71 decisions=429164, wrong=210887, backtracks=160115, failedAssignments=143619, nogoods=1286, foundSolutions=16, bestBound=766
139.80/134.71
150.44/145.37 num=175, depth=36..52, filters=62861019, revisions=(79363652,useless=28731058), ccks=268523788, wck=142.516, mem=89M172
150.44/145.37 decisions=470472, wrong=231521, backtracks=176186, failedAssignments=156337, nogoods=1297, foundSolutions=16, bestBound=766
150.44/145.37
162.64/157.54 num=176, depth=33..49, filters=67993810, revisions=(85700413,useless=30908321), ccks=294091869, wck=154.692, mem=187M122
162.64/157.54 decisions=511309, wrong=251920, backtracks=192016, failedAssignments=170327, nogoods=1312, foundSolutions=16, bestBound=766
162.64/157.54
174.78/169.65 num=177, depth=35..50, filters=73586820, revisions=(92425023,useless=33189259), ccks=318532051, wck=166.796, mem=126M564
174.78/169.65 decisions=557857, wrong=275174, backtracks=209657, failedAssignments=185716, nogoods=1326, foundSolutions=16, bestBound=766
174.78/169.65
185.73/180.52 num=178, depth=33..52, filters=78419741, revisions=(98539192,useless=35520054), ccks=343102368, wck=177.67, mem=58M746
185.73/180.52 decisions=609730, wrong=301092, backtracks=230755, failedAssignments=202644, nogoods=1339, foundSolutions=16, bestBound=766
185.73/180.52
201.34/196.19 num=179, depth=32..49, filters=85511516, revisions=(107242901,useless=38416725), ccks=374049196, wck=193.337, mem=190M755
201.34/196.19 decisions=663576, wrong=327996, backtracks=250044, failedAssignments=221265, nogoods=1355, foundSolutions=16, bestBound=766
201.34/196.19
219.48/214.20 num=180, depth=33..49, filters=93502945, revisions=(116858666,useless=41552617), ccks=410973431, wck=211.346, mem=184M609
219.48/214.20 decisions=725224, wrong=358801, backtracks=272962, failedAssignments=241749, nogoods=1366, foundSolutions=16, bestBound=766
219.48/214.20
236.03/230.76 num=181, depth=32..50, filters=100893404, revisions=(125990308,useless=44527817), ccks=443894327, wck=227.91, mem=169M514
236.03/230.76 decisions=788400, wrong=390370, backtracks=293636, failedAssignments=264281, nogoods=1385, foundSolutions=16, bestBound=766
236.03/230.76
257.21/251.83 num=182, depth=33..50, filters=110365167, revisions=(137337846,useless=48261922), ccks=486460745, wck=248.976, mem=45M326
257.21/251.83 decisions=861045, wrong=426674, backtracks=321101, failedAssignments=289066, nogoods=1410, foundSolutions=16, bestBound=766
257.21/251.83
278.35/272.95 num=183, depth=32..49, filters=119251999, revisions=(148165623,useless=51845171), ccks=529479460, wck=270.094, mem=68M15
278.35/272.95 decisions=940314, wrong=466290, backtracks=348353, failedAssignments=316330, nogoods=1416, foundSolutions=16, bestBound=766
278.35/272.95
305.02/299.56 num=184, depth=31..48, filters=131606007, revisions=(163537145,useless=56961673), ccks=581083273, wck=296.709, mem=157M20
305.02/299.56 decisions=1027481, wrong=509856, backtracks=379161, failedAssignments=346320, nogoods=1426, foundSolutions=16, bestBound=766
305.02/299.56
326.84/321.36 num=185, depth=31..49, filters=141038851, revisions=(175878804,useless=61651460), ccks=631219667, wck=318.513, mem=57M765
326.84/321.36 decisions=1121351, wrong=556773, backtracks=417871, failedAssignments=379309, nogoods=1442, foundSolutions=16, bestBound=766
326.84/321.36
358.07/352.52 num=186, depth=31..47, filters=155100855, revisions=(193363267,useless=67568691), ccks=694760572, wck=349.666, mem=57M60
358.07/352.52 decisions=1226915, wrong=609538, backtracks=454526, failedAssignments=415597, nogoods=1462, foundSolutions=16, bestBound=766
358.07/352.52
374.78/369.28 o 682
374.78/369.29 num=187, depth=34..1534, filters=162304584, revisions=(202203615,useless=70620286), ccks=729187350, wck=366.434, mem=64M454
374.78/369.29 decisions=1294217, wrong=643170, backtracks=479373, failedAssignments=438130, nogoods=1479, foundSolutions=17, bestBound=682
374.78/369.29
405.84/400.28 num=188, depth=32..50, filters=177243461, revisions=(220883526,useless=76720964), ccks=787397962, wck=397.424, mem=86M6
405.84/400.28 decisions=1421108, wrong=706598, backtracks=519284, failedAssignments=482039, nogoods=1500, foundSolutions=17, bestBound=682
405.84/400.28
405.84/400.29 num=189, depth=38..47, filters=177247830, revisions=(220891499,useless=76725695), ccks=787419041, wck=397.439, mem=86M6
405.84/400.29 decisions=1421171, wrong=706610, backtracks=519291, failedAssignments=482050, nogoods=1505, foundSolutions=17, bestBound=682
405.84/400.29
405.94/400.30 num=190, depth=38..45, filters=177252063, revisions=(220899409,useless=76730220), ccks=787443343, wck=397.453, mem=86M6
405.94/400.30 decisions=1421240, wrong=706625, backtracks=519301, failedAssignments=482062, nogoods=1510, foundSolutions=17, bestBound=682
405.94/400.30
405.94/400.32 num=191, depth=38..42, filters=177256766, revisions=(220907857,useless=76735008), ccks=787464588, wck=397.467, mem=86M6
405.94/400.32 decisions=1421311, wrong=706641, backtracks=519311, failedAssignments=482075, nogoods=1516, foundSolutions=17, bestBound=682
405.94/400.32
405.94/400.34 num=192, depth=38..43, filters=177262688, revisions=(220917930,useless=76740171), ccks=787493717, wck=397.484, mem=86M6
405.94/400.34 decisions=1421390, wrong=706661, backtracks=519320, failedAssignments=482089, nogoods=1524, foundSolutions=17, bestBound=682
405.94/400.34
405.94/400.35 num=193, depth=38..43, filters=177267703, revisions=(220926632,useless=76744814), ccks=787517867, wck=397.499, mem=86M6
405.94/400.35 decisions=1421473, wrong=706683, backtracks=519330, failedAssignments=482105, nogoods=1530, foundSolutions=17, bestBound=682
405.94/400.35
405.94/400.36 num=194, depth=38..47, filters=177272176, revisions=(220935035,useless=76749675), ccks=787535261, wck=397.512, mem=86M6
405.94/400.36 decisions=1421548, wrong=706701, backtracks=519337, failedAssignments=482122, nogoods=1540, foundSolutions=17, bestBound=682
405.94/400.36
405.94/400.38 num=195, depth=38..44, filters=177279030, revisions=(220946382,useless=76755449), ccks=787564751, wck=397.532, mem=86M6
405.94/400.38 decisions=1421635, wrong=706725, backtracks=519352, failedAssignments=482141, nogoods=1547, foundSolutions=17, bestBound=682
405.94/400.38
406.05/400.40 num=196, depth=36..48, filters=177283355, revisions=(220955161,useless=76760887), ccks=787587342, wck=397.546, mem=86M6
406.05/400.40 decisions=1421722, wrong=706750, backtracks=519372, failedAssignments=482162, nogoods=1553, foundSolutions=17, bestBound=682
406.05/400.40
406.05/400.42 num=197, depth=37..44, filters=177291355, revisions=(220967618,useless=76766817), ccks=787625974, wck=397.568, mem=86M6
406.05/400.42 decisions=1421825, wrong=706782, backtracks=519390, failedAssignments=482185, nogoods=1555, foundSolutions=17, bestBound=682
406.05/400.42
406.05/400.44 num=198, depth=35..48, filters=177297108, revisions=(220978062,useless=76772771), ccks=787660419, wck=397.586, mem=86M6
406.05/400.44 decisions=1421924, wrong=706813, backtracks=519412, failedAssignments=482210, nogoods=1561, foundSolutions=17, bestBound=682
406.05/400.44
406.05/400.46 num=199, depth=38..44, filters=177306125, revisions=(220992044,useless=76779416), ccks=787701879, wck=397.612, mem=86M6
406.05/400.46 decisions=1422036, wrong=706850, backtracks=519431, failedAssignments=482238, nogoods=1574, foundSolutions=17, bestBound=682
406.05/400.46
406.05/400.49 num=200, depth=37..44, filters=177315829, revisions=(221007026,useless=76786167), ccks=787748946, wck=397.638, mem=86M6
406.05/400.49 decisions=1422167, wrong=706896, backtracks=519456, failedAssignments=482269, nogoods=1576, foundSolutions=17, bestBound=682
406.05/400.49
406.16/400.52 num=201, depth=37..45, filters=177325084, revisions=(221021079,useless=76792624), ccks=787810787, wck=397.668, mem=86M6
406.16/400.52 decisions=1422300, wrong=706943, backtracks=519479, failedAssignments=482303, nogoods=1590, foundSolutions=17, bestBound=682
406.16/400.52
406.16/400.55 num=202, depth=37..46, filters=177336411, revisions=(221038346,useless=76800435), ccks=787878624, wck=397.703, mem=88M501
406.16/400.55 decisions=1422435, wrong=706991, backtracks=519512, failedAssignments=482340, nogoods=1594, foundSolutions=17, bestBound=682
406.16/400.55
406.16/400.58 num=203, depth=37..47, filters=177346751, revisions=(221055076,useless=76808867), ccks=787931362, wck=397.731, mem=88M501
406.16/400.58 decisions=1422583, wrong=707046, backtracks=519556, failedAssignments=482381, nogoods=1604, foundSolutions=17, bestBound=682
406.16/400.58
406.26/400.62 num=204, depth=37..44, filters=177362062, revisions=(221077687,useless=76818225), ccks=787994001, wck=397.767, mem=88M501
406.26/400.62 decisions=1422746, wrong=707108, backtracks=519588, failedAssignments=482426, nogoods=1617, foundSolutions=17, bestBound=682
406.26/400.62
406.26/400.66 num=205, depth=37..46, filters=177375096, revisions=(221097247,useless=76826798), ccks=788062760, wck=397.804, mem=88M501
406.26/400.66 decisions=1422913, wrong=707172, backtracks=519625, failedAssignments=482476, nogoods=1627, foundSolutions=17, bestBound=682
406.26/400.66
406.26/400.69 num=206, depth=36..49, filters=177388222, revisions=(221118205,useless=76836967), ccks=788132016, wck=397.839, mem=88M501
406.26/400.69 decisions=1423097, wrong=707245, backtracks=519687, failedAssignments=482531, nogoods=1631, foundSolutions=17, bestBound=682
406.26/400.69
406.36/400.73 num=207, depth=37..44, filters=177403168, revisions=(221141049,useless=76846963), ccks=788199825, wck=397.877, mem=88M501
406.36/400.73 decisions=1423296, wrong=707325, backtracks=519729, failedAssignments=482592, nogoods=1650, foundSolutions=17, bestBound=682
406.36/400.73
406.36/400.78 num=208, depth=36..43, filters=177423057, revisions=(221169467,useless=76858696), ccks=788307473, wck=397.93, mem=88M501
406.36/400.78 decisions=1423517, wrong=707416, backtracks=519784, failedAssignments=482659, nogoods=1657, foundSolutions=17, bestBound=682
406.36/400.78
406.47/400.84 num=209, depth=36..47, filters=177444656, revisions=(221200342,useless=76871865), ccks=788427108, wck=397.991, mem=88M501
406.47/400.84 decisions=1423756, wrong=707516, backtracks=519858, failedAssignments=482733, nogoods=1663, foundSolutions=17, bestBound=682
406.47/400.84
406.60/400.91 num=210, depth=36..44, filters=177469585, revisions=(221235498,useless=76886090), ccks=788553357, wck=398.057, mem=90M997
406.60/400.91 decisions=1424014, wrong=707626, backtracks=519929, failedAssignments=482814, nogoods=1668, foundSolutions=17, bestBound=682
406.60/400.91
406.60/400.97 num=211, depth=36..47, filters=177493255, revisions=(221269753,useless=76900809), ccks=788672521, wck=398.118, mem=90M997
406.60/400.97 decisions=1424298, wrong=707748, backtracks=520018, failedAssignments=482903, nogoods=1682, foundSolutions=17, bestBound=682
406.60/400.97
406.71/401.02 num=212, depth=36..47, filters=177514997, revisions=(221301946,useless=76914368), ccks=788761705, wck=398.169, mem=90M997
406.71/401.02 decisions=1424595, wrong=707877, backtracks=520089, failedAssignments=483001, nogoods=1701, foundSolutions=17, bestBound=682
406.71/401.02
406.71/401.10 num=213, depth=36..46, filters=177548428, revisions=(221349846,useless=76934937), ccks=788913333, wck=398.251, mem=90M997
406.71/401.10 decisions=1424925, wrong=708023, backtracks=520213, failedAssignments=483109, nogoods=1707, foundSolutions=17, bestBound=682
406.71/401.10
406.81/401.19 num=214, depth=36..46, filters=177580556, revisions=(221395294,useless=76952958), ccks=789085485, wck=398.336, mem=93M493
406.81/401.19 decisions=1425275, wrong=708179, backtracks=520316, failedAssignments=483228, nogoods=1724, foundSolutions=17, bestBound=682
406.81/401.19
406.90/401.29 num=215, depth=36..44, filters=177620430, revisions=(221451275,useless=76974276), ccks=789283979, wck=398.436, mem=93M493
406.90/401.29 decisions=1425679, wrong=708362, backtracks=520439, failedAssignments=483359, nogoods=1730, foundSolutions=17, bestBound=682
406.90/401.29
407.10/401.42 num=216, depth=36..45, filters=177670242, revisions=(221518386,useless=76998841), ccks=789575588, wck=398.57, mem=93M493
407.10/401.42 decisions=1426116, wrong=708562, backtracks=520592, failedAssignments=483503, nogoods=1738, foundSolutions=17, bestBound=682
407.10/401.42
407.20/401.59 num=217, depth=36..46, filters=177735580, revisions=(221605968,useless=77030334), ccks=789932902, wck=398.738, mem=95M988
407.20/401.59 decisions=1426588, wrong=708780, backtracks=520777, failedAssignments=483661, nogoods=1748, foundSolutions=17, bestBound=682
407.20/401.59
407.30/401.69 num=218, depth=35..46, filters=177771838, revisions=(221661381,useless=77056240), ccks=790163913, wck=398.839, mem=95M988
407.30/401.69 decisions=1427084, wrong=709009, backtracks=520986, failedAssignments=483835, nogoods=1754, foundSolutions=17, bestBound=682
407.30/401.69
407.50/401.87 num=219, depth=35..46, filters=177839078, revisions=(221751728,useless=77089062), ccks=790543067, wck=399.017, mem=98M484
407.50/401.87 decisions=1427656, wrong=709276, backtracks=521181, failedAssignments=484026, nogoods=1762, foundSolutions=17, bestBound=682
407.50/401.87
407.71/402.06 num=220, depth=35..47, filters=177913351, revisions=(221852759,useless=77128691), ccks=790954590, wck=399.211, mem=98M484
407.71/402.06 decisions=1428301, wrong=709580, backtracks=521446, failedAssignments=484237, nogoods=1777, foundSolutions=17, bestBound=682
407.71/402.06
407.90/402.25 num=221, depth=35..46, filters=177983910, revisions=(221947457,useless=77163446), ccks=791337574, wck=399.395, mem=100M979
407.90/402.25 decisions=1428979, wrong=709900, backtracks=521664, failedAssignments=484469, nogoods=1793, foundSolutions=17, bestBound=682
407.90/402.25
408.10/402.46 num=222, depth=35..45, filters=178074290, revisions=(222067700,useless=77206005), ccks=791785676, wck=399.612, mem=103M475
408.10/402.46 decisions=1429726, wrong=710255, backtracks=521916, failedAssignments=484724, nogoods=1802, foundSolutions=17, bestBound=682
408.10/402.46
408.40/402.73 num=223, depth=35..44, filters=178183715, revisions=(222211457,useless=77255817), ccks=792333135, wck=399.877, mem=105M971
408.40/402.73 decisions=1430557, wrong=710653, backtracks=522216, failedAssignments=485005, nogoods=1804, foundSolutions=17, bestBound=682
408.40/402.73
408.71/403.01 num=224, depth=35..44, filters=178301340, revisions=(222365732,useless=77310240), ccks=792926806, wck=400.161, mem=105M971
408.71/403.01 decisions=1431490, wrong=711102, backtracks=522527, failedAssignments=485314, nogoods=1810, foundSolutions=17, bestBound=682
408.71/403.01
409.00/403.32 num=225, depth=35..45, filters=178436193, revisions=(222541410,useless=77370669), ccks=793486965, wck=400.464, mem=108M466
409.00/403.32 decisions=1432468, wrong=711572, backtracks=522828, failedAssignments=485654, nogoods=1813, foundSolutions=17, bestBound=682
409.00/403.32
409.30/403.63 num=226, depth=35..44, filters=178572388, revisions=(222723713,useless=77435157), ccks=794112996, wck=400.778, mem=113M457
409.30/403.63 decisions=1433536, wrong=712088, backtracks=523187, failedAssignments=486028, nogoods=1818, foundSolutions=17, bestBound=682
409.30/403.63
409.60/403.93 num=227, depth=35..48, filters=178715916, revisions=(222920712,useless=77507274), ccks=794664079, wck=401.08, mem=115M953
409.60/403.93 decisions=1434665, wrong=712634, backtracks=523557, failedAssignments=486439, nogoods=1824, foundSolutions=17, bestBound=682
409.60/403.93
409.90/404.29 num=228, depth=35..45, filters=178886681, revisions=(223145492,useless=77582563), ccks=795325659, wck=401.436, mem=118M448
409.90/404.29 decisions=1435946, wrong=713256, backtracks=523918, failedAssignments=486891, nogoods=1841, foundSolutions=17, bestBound=682
409.90/404.29
410.57/404.84 num=229, depth=31..47, filters=179140038, revisions=(223466977,useless=77711543), ccks=796147690, wck=401.993, mem=123M440
410.57/404.84 decisions=1437505, wrong=714018, backtracks=524561, failedAssignments=487388, nogoods=1844, foundSolutions=17, bestBound=682
410.57/404.84
410.97/405.29 num=230, depth=35..46, filters=179350027, revisions=(223746168,useless=77807086), ccks=796985594, wck=402.44, mem=125M935
410.97/405.29 decisions=1439029, wrong=714762, backtracks=525049, failedAssignments=487935, nogoods=1855, foundSolutions=17, bestBound=682
410.97/405.29
411.47/405.78 num=231, depth=34..47, filters=179576402, revisions=(224047544,useless=77912736), ccks=797909437, wck=402.932, mem=130M926
411.47/405.78 decisions=1440713, wrong=715586, backtracks=525580, failedAssignments=488537, nogoods=1860, foundSolutions=17, bestBound=682
411.47/405.78
411.88/406.13 num=232, depth=34..49, filters=179720943, revisions=(224250908,useless=77996776), ccks=798668030, wck=403.278, mem=133M422
411.88/406.13 decisions=1442481, wrong=716453, backtracks=526255, failedAssignments=489199, nogoods=1874, foundSolutions=17, bestBound=682
411.88/406.13
412.27/406.57 num=233, depth=32..47, filters=179895161, revisions=(224491817,useless=78101843), ccks=799692869, wck=403.722, mem=135M918
412.27/406.57 decisions=1444646, wrong=717518, backtracks=527174, failedAssignments=489927, nogoods=1887, foundSolutions=17, bestBound=682
412.27/406.57
412.97/407.28 num=234, depth=34..45, filters=180221851, revisions=(224919666,useless=78249409), ccks=800997378, wck=404.429, mem=143M404
412.97/407.28 decisions=1446908, wrong=718630, backtracks=527924, failedAssignments=490728, nogoods=1895, foundSolutions=17, bestBound=682
412.97/407.28
413.67/407.90 num=235, depth=34..46, filters=180502881, revisions=(225293385,useless=78381208), ccks=802144373, wck=405.047, mem=148M396
413.67/407.90 decisions=1449389, wrong=719851, backtracks=528658, failedAssignments=491609, nogoods=1913, foundSolutions=17, bestBound=682
413.67/407.90
414.57/408.83 num=236, depth=34..46, filters=180946252, revisions=(225873716,useless=78578820), ccks=803863714, wck=405.982, mem=155M882
414.57/408.83 decisions=1452171, wrong=721223, backtracks=529614, failedAssignments=492579, nogoods=1937, foundSolutions=17, bestBound=682
414.57/408.83
415.38/409.69 num=237, depth=35..46, filters=181332795, revisions=(226367492,useless=78740009), ccks=805558115, wck=406.843, mem=38M604
415.38/409.69 decisions=1455146, wrong=722692, backtracks=530544, failedAssignments=493646, nogoods=1954, foundSolutions=17, bestBound=682
415.38/409.69
417.18/411.45 num=238, depth=29..47, filters=182129233, revisions=(227317530,useless=79112279), ccks=807649387, wck=408.6, mem=53M326
417.18/411.45 decisions=1458936, wrong=724570, backtracks=532152, failedAssignments=494819, nogoods=1962, foundSolutions=17, bestBound=682
417.18/411.45
418.18/412.41 num=239, depth=34..46, filters=182586184, revisions=(227923312,useless=79317758), ccks=809517646, wck=409.554, mem=60M687
418.18/412.41 decisions=1462560, wrong=726364, backtracks=533283, failedAssignments=496110, nogoods=1975, foundSolutions=17, bestBound=682
418.18/412.41
419.09/413.37 num=240, depth=34..45, filters=183057886, revisions=(228545474,useless=79535363), ccks=811205577, wck=410.522, mem=70M501
419.09/413.37 decisions=1466524, wrong=728328, backtracks=534371, failedAssignments=497530, nogoods=2005, foundSolutions=17, bestBound=682
419.09/413.37
419.90/414.19 num=241, depth=32..49, filters=183401127, revisions=(229034045,useless=79746377), ccks=813032018, wck=411.335, mem=75M409
419.90/414.19 decisions=1470669, wrong=730382, backtracks=536061, failedAssignments=499092, nogoods=2012, foundSolutions=17, bestBound=682
419.90/414.19
421.39/415.62 num=242, depth=33..48, filters=184079368, revisions=(229925449,useless=80054420), ccks=815649995, wck=412.769, mem=90M131
421.39/415.62 decisions=1475433, wrong=732746, backtracks=537667, failedAssignments=500810, nogoods=2030, foundSolutions=17, bestBound=682
421.39/415.62
422.70/416.91 num=243, depth=34..48, filters=184702148, revisions=(230738945,useless=80325843), ccks=817995414, wck=414.057, mem=99M945
422.70/416.91 decisions=1480736, wrong=735379, backtracks=539186, failedAssignments=502700, nogoods=2039, foundSolutions=17, bestBound=682
422.70/416.91
424.50/418.77 num=244, depth=33..49, filters=185558947, revisions=(231794894,useless=80709869), ccks=821237683, wck=415.92, mem=114M667
424.50/418.77 decisions=1486710, wrong=738347, backtracks=541503, failedAssignments=504779, nogoods=2050, foundSolutions=17, bestBound=682
424.50/418.77
426.30/420.57 num=245, depth=34..48, filters=186421555, revisions=(232905777,useless=81075573), ccks=824640349, wck=417.716, mem=131M843
426.30/420.57 decisions=1493107, wrong=741526, backtracks=543514, failedAssignments=507066, nogoods=2069, foundSolutions=17, bestBound=682
426.30/420.57
428.40/422.61 num=246, depth=33..44, filters=187411691, revisions=(234221250,useless=81530812), ccks=828419057, wck=419.756, mem=151M472
428.40/422.61 decisions=1500221, wrong=745066, backtracks=545730, failedAssignments=509582, nogoods=2083, foundSolutions=17, bestBound=682
428.40/422.61
429.92/424.11 num=247, depth=31..48, filters=188033774, revisions=(235099191,useless=81907828), ccks=831849420, wck=421.257, mem=40M965
429.92/424.11 decisions=1507986, wrong=748931, backtracks=548688, failedAssignments=512350, nogoods=2097, foundSolutions=17, bestBound=682
429.92/424.11
432.21/426.40 num=248, depth=34..48, filters=189110869, revisions=(236492551,useless=82374114), ccks=836112744, wck=423.546, mem=60M258
432.21/426.40 decisions=1516420, wrong=753130, backtracks=551324, failedAssignments=515394, nogoods=2111, foundSolutions=17, bestBound=682
432.21/426.40
434.71/428.91 num=249, depth=33..47, filters=190288371, revisions=(238023750,useless=82907052), ccks=840745525, wck=426.054, mem=81M964
434.71/428.91 decisions=1525769, wrong=757786, backtracks=554304, failedAssignments=518743, nogoods=2125, foundSolutions=17, bestBound=682
434.71/428.91
437.82/432.07 num=250, depth=32..48, filters=191768143, revisions=(239779380,useless=83563271), ccks=845642484, wck=429.215, mem=108M492
437.82/432.07 decisions=1535636, wrong=762703, backtracks=558268, failedAssignments=522427, nogoods=2136, foundSolutions=17, bestBound=682
437.82/432.07
440.83/435.04 num=251, depth=34..47, filters=193219128, revisions=(241665278,useless=84216125), ccks=850929661, wck=432.187, mem=135M531
440.83/435.04 decisions=1547047, wrong=768390, backtracks=561766, failedAssignments=526479, nogoods=2159, foundSolutions=17, bestBound=682
440.83/435.04
444.73/438.93 num=252, depth=32..46, filters=195047289, revisions=(244027882,useless=85019364), ccks=858378005, wck=436.083, mem=50M359
444.73/438.93 decisions=1559549, wrong=774623, backtracks=566188, failedAssignments=530936, nogoods=2181, foundSolutions=17, bestBound=682
444.73/438.93
448.63/442.89 num=253, depth=33..47, filters=196901132, revisions=(246409082,useless=85813465), ccks=865965982, wck=440.04, mem=85M853
448.63/442.89 decisions=1573475, wrong=781567, backtracks=570629, failedAssignments=535839, nogoods=2198, foundSolutions=17, bestBound=682
448.63/442.89
452.84/447.03 num=254, depth=30..48, filters=198736826, revisions=(248780409,useless=86747450), ccks=873316250, wck=444.18, mem=116M614
452.84/447.03 decisions=1589608, wrong=789617, backtracks=576878, failedAssignments=541233, nogoods=2208, foundSolutions=17, bestBound=682
452.84/447.03
457.34/451.57 num=255, depth=33..46, filters=200894787, revisions=(251526668,useless=87656211), ccks=881857224, wck=448.717, mem=40M836
457.34/451.57 decisions=1606197, wrong=797894, backtracks=582142, failedAssignments=547166, nogoods=2220, foundSolutions=17, bestBound=682
457.34/451.57
462.24/456.40 num=256, depth=33..49, filters=203046166, revisions=(254216856,useless=88629733), ccks=890820951, wck=453.549, mem=78M213
462.24/456.40 decisions=1624378, wrong=806967, backtracks=589044, failedAssignments=553692, nogoods=2235, foundSolutions=17, bestBound=682
462.24/456.40
468.74/462.96 num=257, depth=32..47, filters=206037209, revisions=(258012946,useless=89877022), ccks=903547180, wck=460.104, mem=134M278
468.74/462.96 decisions=1645447, wrong=817483, backtracks=596111, failedAssignments=560871, nogoods=2253, foundSolutions=17, bestBound=682
468.74/462.96
474.36/468.53 num=258, depth=33..48, filters=208506407, revisions=(261145345,useless=90917910), ccks=914678432, wck=465.678, mem=66M169
474.36/468.53 decisions=1667716, wrong=828599, backtracks=603085, failedAssignments=568768, nogoods=2263, foundSolutions=17, bestBound=682
474.36/468.53
482.06/476.25 num=259, depth=33..49, filters=211872096, revisions=(265372230,useless=92338365), ccks=930477602, wck=473.401, mem=128M415
482.06/476.25 decisions=1693127, wrong=841285, backtracks=612507, failedAssignments=577455, nogoods=2271, foundSolutions=17, bestBound=682
482.06/476.25
491.37/485.59 num=260, depth=32..46, filters=216345942, revisions=(271139795,useless=94280209), ccks=948226591, wck=482.738, mem=97M578
491.37/485.59 decisions=1722230, wrong=855818, backtracks=622598, failedAssignments=587010, nogoods=2286, foundSolutions=17, bestBound=682
491.37/485.59
499.38/493.52 num=261, depth=32..49, filters=220025223, revisions=(275915240,useless=95955411), ccks=963274419, wck=490.666, mem=54M83
499.38/493.52 decisions=1751885, wrong=870628, backtracks=632465, failedAssignments=597521, nogoods=2303, foundSolutions=17, bestBound=682
499.38/493.52
508.08/502.26 num=262, depth=33..46, filters=224310942, revisions=(281375384,useless=97734456), ccks=980271857, wck=499.406, mem=134M844
508.08/502.26 decisions=1785353, wrong=887343, backtracks=643113, failedAssignments=609083, nogoods=2318, foundSolutions=17, bestBound=682
508.08/502.26
519.49/513.64 num=263, depth=32..46, filters=229701205, revisions=(288205037,useless=99986102), ccks=1001357970, wck=510.786, mem=122M443
519.49/513.64 decisions=1822587, wrong=905942, backtracks=655294, failedAssignments=621801, nogoods=2330, foundSolutions=17, bestBound=682
519.49/513.64
528.01/522.16 num=264, depth=31..50, filters=233434359, revisions=(293058385,useless=101854882), ccks=1019872017, wck=519.309, mem=82M2
528.01/522.16 decisions=1861101, wrong=925182, backtracks=671178, failedAssignments=635791, nogoods=2340, foundSolutions=17, bestBound=682
528.01/522.16
541.11/535.28 num=265, depth=31..47, filters=239890597, revisions=(301265517,useless=104615925), ccks=1043399378, wck=532.433, mem=92M26
541.11/535.28 decisions=1904784, wrong=947006, backtracks=685797, failedAssignments=651180, nogoods=2358, foundSolutions=17, bestBound=682
541.11/535.28
553.42/547.56 num=266, depth=33..48, filters=244991264, revisions=(307838624,useless=106948034), ccks=1067937844, wck=544.709, mem=84M889
553.42/547.56 decisions=1954926, wrong=972059, backtracks=703342, failedAssignments=668108, nogoods=2370, foundSolutions=17, bestBound=682
553.42/547.56
569.84/563.91 num=267, depth=32..48, filters=252422837, revisions=(317185866,useless=110032382), ccks=1099942745, wck=561.057, mem=119M640
569.84/563.91 decisions=2009260, wrong=999207, backtracks=722327, failedAssignments=686729, nogoods=2384, foundSolutions=17, bestBound=682
569.84/563.91
584.96/579.01 num=268, depth=31..49, filters=259361186, revisions=(325864308,useless=112961499), ccks=1127651019, wck=576.157, mem=40M174
584.96/579.01 decisions=2067493, wrong=1028306, backtracks=740588, failedAssignments=707213, nogoods=2394, foundSolutions=17, bestBound=682
584.96/579.01
601.36/595.47 num=269, depth=32..47, filters=267087516, revisions=(335588369,useless=116106266), ccks=1159136534, wck=592.617, mem=81M917
601.36/595.47 decisions=2131900, wrong=1060491, backtracks=760654, failedAssignments=729745, nogoods=2409, foundSolutions=17, bestBound=682
601.36/595.47
624.49/618.55 num=270, depth=32..47, filters=277411226, revisions=(348260398,useless=120232093), ccks=1205000005, wck=615.701, mem=78M985
624.49/618.55 decisions=2205817, wrong=1097432, backtracks=787962, failedAssignments=754530, nogoods=2415, foundSolutions=17, bestBound=682
624.49/618.55
646.80/640.82 num=271, depth=31..48, filters=287752217, revisions=(361482920,useless=124738039), ccks=1246530582, wck=637.968, mem=78M86
646.80/640.82 decisions=2283731, wrong=1136372, backtracks=814278, failedAssignments=781794, nogoods=2428, foundSolutions=17, bestBound=682
646.80/640.82
672.42/666.45 num=272, depth=31..49, filters=299488918, revisions=(376058362,useless=129463384), ccks=1296152480, wck=663.594, mem=110M783
672.42/666.45 decisions=2370960, wrong=1179969, backtracks=844575, failedAssignments=811784, nogoods=2436, foundSolutions=17, bestBound=682
672.42/666.45
697.45/691.42 num=273, depth=32..48, filters=311269486, revisions=(390848958,useless=134557916), ccks=1341428967, wck=688.571, mem=48M736
697.45/691.42 decisions=2466449, wrong=1227696, backtracks=877613, failedAssignments=844773, nogoods=2458, foundSolutions=17, bestBound=682
697.45/691.42
724.87/718.86 num=274, depth=31..48, filters=324713705, revisions=(407967549,useless=140383541), ccks=1390091800, wck=716.004, mem=115M390
724.87/718.86 decisions=2571541, wrong=1280224, backtracks=910554, failedAssignments=881061, nogoods=2474, foundSolutions=17, bestBound=682
724.87/718.86
753.90/747.86 num=275, depth=31..49, filters=337649764, revisions=(424297259,useless=146046815), ccks=1444940287, wck=745.008, mem=97M258
753.90/747.86 decisions=2687100, wrong=1337985, backtracks=948337, failedAssignments=920978, nogoods=2503, foundSolutions=17, bestBound=682
753.90/747.86
795.73/789.61 num=276, depth=30..50, filters=356564921, revisions=(446564758,useless=153732251), ccks=1512692272, wck=786.754, mem=97M457
795.73/789.61 decisions=2819669, wrong=1404251, backtracks=999189, failedAssignments=964887, nogoods=2515, foundSolutions=17, bestBound=682
795.73/789.61
835.69/829.59 num=277, depth=31..47, filters=374920309, revisions=(469447239,useless=161360561), ccks=1589698416, wck=826.734, mem=45M392
835.69/829.59 decisions=2960888, wrong=1474844, backtracks=1047585, failedAssignments=1013187, nogoods=2533, foundSolutions=17, bestBound=682
835.69/829.59
863.01/856.82 o 678
863.01/856.82 num=278, depth=32..1534, filters=387334771, revisions=(484862107,useless=166373849), ccks=1641367224, wck=853.967, mem=46M717
863.01/856.82 decisions=3064691, wrong=1526728, backtracks=1082129, failedAssignments=1048973, nogoods=2548, foundSolutions=18, bestBound=678
863.01/856.82
907.46/901.28 num=279, depth=31..49, filters=408012302, revisions=(510672145,useless=175094761), ccks=1724424414, wck=898.432, mem=53M654
907.46/901.28 decisions=3231824, wrong=1610276, backtracks=1138534, failedAssignments=1107416, nogoods=2574, foundSolutions=18, bestBound=678
907.46/901.28
907.56/901.30 num=280, depth=37..44, filters=408016396, revisions=(510679886,useless=175099320), ccks=1724455297, wck=898.448, mem=53M654
907.56/901.30 decisions=3231892, wrong=1610291, backtracks=1138543, failedAssignments=1107427, nogoods=2582, foundSolutions=18, bestBound=678
907.56/901.30
907.56/901.32 num=281, depth=37..43, filters=408022841, revisions=(510690964,useless=175104950), ccks=1724483257, wck=898.465, mem=53M654
907.56/901.32 decisions=3231959, wrong=1610306, backtracks=1138555, failedAssignments=1107439, nogoods=2584, foundSolutions=18, bestBound=678
907.56/901.32
907.56/901.33 num=282, depth=37..44, filters=408026587, revisions=(510698726,useless=175109683), ccks=1724503159, wck=898.477, mem=55M122
907.56/901.33 decisions=3232025, wrong=1610320, backtracks=1138562, failedAssignments=1107452, nogoods=2591, foundSolutions=18, bestBound=678
907.56/901.33
907.56/901.34 num=283, depth=37..43, filters=408032142, revisions=(510708412,useless=175114829), ccks=1724527056, wck=898.493, mem=55M122
907.56/901.34 decisions=3232098, wrong=1610337, backtracks=1138572, failedAssignments=1107466, nogoods=2597, foundSolutions=18, bestBound=678
907.56/901.34
907.56/901.36 num=284, depth=37..45, filters=408039202, revisions=(510720369,useless=175120793), ccks=1724560927, wck=898.512, mem=55M122
907.56/901.36 decisions=3232175, wrong=1610356, backtracks=1138583, failedAssignments=1107482, nogoods=2606, foundSolutions=18, bestBound=678
907.56/901.36
907.56/901.38 num=285, depth=36..42, filters=408047346, revisions=(510733698,useless=175127199), ccks=1724594673, wck=898.533, mem=55M122
907.56/901.38 decisions=3232261, wrong=1610381, backtracks=1138600, failedAssignments=1107499, nogoods=2607, foundSolutions=18, bestBound=678
907.56/901.38
907.66/901.40 num=286, depth=37..42, filters=408054618, revisions=(510746201,useless=175133404), ccks=1724626437, wck=898.552, mem=55M122
907.66/901.40 decisions=3232348, wrong=1610405, backtracks=1138611, failedAssignments=1107518, nogoods=2617, foundSolutions=18, bestBound=678
907.66/901.40
907.66/901.42 num=287, depth=37..42, filters=408062625, revisions=(510759426,useless=175139775), ccks=1724662471, wck=898.572, mem=55M122
907.66/901.42 decisions=3232443, wrong=1610434, backtracks=1138628, failedAssignments=1107539, nogoods=2622, foundSolutions=18, bestBound=678
907.66/901.42
907.66/901.44 num=288, depth=35..48, filters=408067518, revisions=(510768894,useless=175145372), ccks=1724688406, wck=898.587, mem=55M122
907.66/901.44 decisions=3232535, wrong=1610462, backtracks=1138648, failedAssignments=1107562, nogoods=2628, foundSolutions=18, bestBound=678
907.66/901.44
907.66/901.46 num=289, depth=36..42, filters=408074079, revisions=(510780661,useless=175151581), ccks=1724718271, wck=898.606, mem=55M122
907.66/901.46 decisions=3232634, wrong=1610493, backtracks=1138663, failedAssignments=1107587, nogoods=2636, foundSolutions=18, bestBound=678
907.66/901.46
907.66/901.49 num=290, depth=37..44, filters=408087040, revisions=(510800888,useless=175160718), ccks=1724770420, wck=898.638, mem=56M590
907.66/901.49 decisions=3232749, wrong=1610532, backtracks=1138687, failedAssignments=1107615, nogoods=2648, foundSolutions=18, bestBound=678
907.66/901.49
907.76/901.52 num=291, depth=37..44, filters=408099105, revisions=(510820069,useless=175169594), ccks=1724820321, wck=898.669, mem=56M590
907.76/901.52 decisions=3232863, wrong=1610570, backtracks=1138715, failedAssignments=1107646, nogoods=2654, foundSolutions=18, bestBound=678
907.76/901.52
907.76/901.55 num=292, depth=37..44, filters=408111859, revisions=(510840035,useless=175178614), ccks=1724878958, wck=898.702, mem=56M590
907.76/901.55 decisions=3232986, wrong=1610613, backtracks=1138746, failedAssignments=1107680, nogoods=2664, foundSolutions=18, bestBound=678
907.76/901.55
907.76/901.60 num=293, depth=36..43, filters=408129537, revisions=(510866667,useless=175189895), ccks=1724953140, wck=898.744, mem=56M590
907.76/901.60 decisions=3233125, wrong=1610663, backtracks=1138780, failedAssignments=1107717, nogoods=2674, foundSolutions=18, bestBound=678
907.76/901.60
907.86/901.62 num=294, depth=34..46, filters=408138445, revisions=(510882368,useless=175198672), ccks=1725009709, wck=898.772, mem=56M590
907.86/901.62 decisions=3233265, wrong=1610715, backtracks=1138824, failedAssignments=1107758, nogoods=2682, foundSolutions=18, bestBound=678
907.86/901.62
907.86/901.67 num=295, depth=36..44, filters=408157961, revisions=(510910822,useless=175210516), ccks=1725102705, wck=898.822, mem=58M58
907.86/901.67 decisions=3233418, wrong=1610773, backtracks=1138870, failedAssignments=1107803, nogoods=2689, foundSolutions=18, bestBound=678
907.86/901.67
907.96/901.70 num=296, depth=33..47, filters=408167333, revisions=(510927759,useless=175219927), ccks=1725161898, wck=898.851, mem=58M58
907.96/901.70 decisions=3233588, wrong=1610841, backtracks=1138927, failedAssignments=1107853, nogoods=2693, foundSolutions=18, bestBound=678
907.96/901.70
907.96/901.75 num=297, depth=36..43, filters=408186373, revisions=(510956199,useless=175231942), ccks=1725240900, wck=898.897, mem=58M58
907.96/901.75 decisions=3233772, wrong=1610914, backtracks=1138971, failedAssignments=1107908, nogoods=2710, foundSolutions=18, bestBound=678
907.96/901.75
907.96/901.79 num=298, depth=33..45, filters=408200462, revisions=(510979606,useless=175243916), ccks=1725334799, wck=898.939, mem=58M58
907.96/901.79 decisions=3233989, wrong=1611004, backtracks=1139047, failedAssignments=1107969, nogoods=2717, foundSolutions=18, bestBound=678
907.96/901.79
908.06/901.86 num=299, depth=35..43, filters=408227898, revisions=(511019905,useless=175260182), ccks=1725465801, wck=899.006, mem=59M526
908.06/901.86 decisions=3234219, wrong=1611101, backtracks=1139111, failedAssignments=1108036, nogoods=2726, foundSolutions=18, bestBound=678
908.06/901.86
908.16/901.93 num=300, depth=35..43, filters=408259943, revisions=(511065215,useless=175278060), ccks=1725604176, wck=899.083, mem=59M526
908.16/901.93 decisions=3234462, wrong=1611204, backtracks=1139185, failedAssignments=1108110, nogoods=2731, foundSolutions=18, bestBound=678
908.16/901.93
908.16/902.00 num=301, depth=33..43, filters=408282831, revisions=(511100656,useless=175294519), ccks=1725754218, wck=899.148, mem=59M526
908.16/902.00 decisions=3234756, wrong=1611332, backtracks=1139291, failedAssignments=1108191, nogoods=2743, foundSolutions=18, bestBound=678
908.16/902.00
908.27/902.09 num=302, depth=35..45, filters=408318993, revisions=(511152265,useless=175314327), ccks=1725929986, wck=899.237, mem=60M994
908.27/902.09 decisions=3235047, wrong=1611459, backtracks=1139379, failedAssignments=1108280, nogoods=2749, foundSolutions=18, bestBound=678
908.27/902.09
908.37/902.18 num=303, depth=35..45, filters=408357444, revisions=(511207218,useless=175335702), ccks=1726104654, wck=899.326, mem=60M994
908.37/902.18 decisions=3235360, wrong=1611596, backtracks=1139474, failedAssignments=1108378, nogoods=2768, foundSolutions=18, bestBound=678
908.37/902.18
908.46/902.28 num=304, depth=35..44, filters=408403630, revisions=(511271102,useless=175358927), ccks=1726321738, wck=899.433, mem=62M462
908.46/902.28 decisions=3235696, wrong=1611745, backtracks=1139576, failedAssignments=1108486, nogoods=2776, foundSolutions=18, bestBound=678
908.46/902.28
908.66/902.41 num=305, depth=35..43, filters=408457262, revisions=(511346958,useless=175387724), ccks=1726553815, wck=899.555, mem=63M930
908.66/902.41 decisions=3236073, wrong=1611915, backtracks=1139697, failedAssignments=1108605, nogoods=2792, foundSolutions=18, bestBound=678
908.66/902.41
908.76/902.54 num=306, depth=35..42, filters=408517588, revisions=(511429505,useless=175418408), ccks=1726809464, wck=899.693, mem=65M398
908.76/902.54 decisions=3236472, wrong=1612097, backtracks=1139827, failedAssignments=1108736, nogoods=2798, foundSolutions=18, bestBound=678
908.76/902.54
908.86/902.69 num=307, depth=35..41, filters=408580376, revisions=(511515422,useless=175449175), ccks=1727093320, wck=899.834, mem=65M398
908.86/902.69 decisions=3236931, wrong=1612309, backtracks=1139962, failedAssignments=1108880, nogoods=2813, foundSolutions=18, bestBound=678
908.86/902.69
909.06/902.86 num=308, depth=35..44, filters=408652870, revisions=(511614844,useless=175484447), ccks=1727440106, wck=900.004, mem=68M334
909.06/902.86 decisions=3237415, wrong=1612532, backtracks=1140121, failedAssignments=1109038, nogoods=2818, foundSolutions=18, bestBound=678
909.06/902.86
909.16/902.98 num=309, depth=32..47, filters=408697531, revisions=(511680721,useless=175514818), ccks=1727731382, wck=900.131, mem=68M334
909.16/902.98 decisions=3237979, wrong=1612796, backtracks=1140368, failedAssignments=1109212, nogoods=2827, foundSolutions=18, bestBound=678
909.16/902.98
909.37/903.19 num=310, depth=34..43, filters=408787017, revisions=(511802628,useless=175558752), ccks=1728135182, wck=900.335, mem=69M802
909.37/903.19 decisions=3238563, wrong=1613069, backtracks=1140563, failedAssignments=1109403, nogoods=2841, foundSolutions=18, bestBound=678
909.37/903.19
909.56/903.33 num=311, depth=34..46, filters=408845416, revisions=(511887622,useless=175594716), ccks=1728453738, wck=900.481, mem=71M270
909.56/903.33 decisions=3239180, wrong=1613359, backtracks=1140788, failedAssignments=1109614, nogoods=2854, foundSolutions=18, bestBound=678
909.56/903.33
909.76/903.54 num=312, depth=34..44, filters=408938634, revisions=(512014996,useless=175641030), ccks=1728849947, wck=900.689, mem=72M738
909.76/903.54 decisions=3239870, wrong=1613686, backtracks=1141000, failedAssignments=1109846, nogoods=2865, foundSolutions=18, bestBound=678
909.76/903.54
909.86/903.69 num=313, depth=32..47, filters=408996749, revisions=(512102327,useless=175680557), ccks=1729200030, wck=900.843, mem=74M206
909.86/903.69 decisions=3240695, wrong=1614080, backtracks=1141316, failedAssignments=1110101, nogoods=2876, foundSolutions=18, bestBound=678
909.86/903.69
910.16/903.97 num=314, depth=34..44, filters=409118288, revisions=(512267019,useless=175738730), ccks=1729742563, wck=901.116, mem=77M142
910.16/903.97 decisions=3241557, wrong=1614492, backtracks=1141584, failedAssignments=1110382, nogoods=2889, foundSolutions=18, bestBound=678
910.16/903.97
910.56/904.31 num=315, depth=33..42, filters=409270880, revisions=(512469959,useless=175809873), ccks=1730405146, wck=901.457, mem=80M78
910.56/904.31 decisions=3242527, wrong=1614958, backtracks=1141901, failedAssignments=1110691, nogoods=2891, foundSolutions=18, bestBound=678
910.56/904.31
910.76/904.53 num=316, depth=33..46, filters=409354952, revisions=(512591980,useless=175862883), ccks=1730923779, wck=901.681, mem=81M546
910.76/904.53 decisions=3243598, wrong=1615476, backtracks=1142342, failedAssignments=1111031, nogoods=2897, foundSolutions=18, bestBound=678
910.76/904.53
910.96/904.79 num=317, depth=32..45, filters=409449567, revisions=(512731006,useless=175926579), ccks=1731528478, wck=901.935, mem=83M14
910.96/904.79 decisions=3244920, wrong=1616119, backtracks=1142901, failedAssignments=1111405, nogoods=2905, foundSolutions=18, bestBound=678
910.96/904.79
911.37/905.13 num=318, depth=35..44, filters=409600471, revisions=(512935677,useless=175998460), ccks=1732223783, wck=902.278, mem=87M418
911.37/905.13 decisions=3246133, wrong=1616707, backtracks=1143291, failedAssignments=1111816, nogoods=2918, foundSolutions=18, bestBound=678
911.37/905.13
911.76/905.58 num=319, depth=33..46, filters=409797380, revisions=(513197962,useless=176091208), ccks=1733116111, wck=902.728, mem=90M354
911.76/905.58 decisions=3247495, wrong=1617369, backtracks=1143744, failedAssignments=1112268, nogoods=2935, foundSolutions=18, bestBound=678
911.76/905.58
912.27/906.05 num=320, depth=33..45, filters=410009054, revisions=(513477988,useless=176187031), ccks=1734050841, wck=903.202, mem=94M758
912.27/906.05 decisions=3248969, wrong=1618086, backtracks=1144225, failedAssignments=1112765, nogoods=2950, foundSolutions=18, bestBound=678
912.27/906.05
912.86/906.60 num=321, depth=33..45, filters=410251283, revisions=(513797444,useless=176296235), ccks=1735170132, wck=903.753, mem=99M162
912.86/906.60 decisions=3250641, wrong=1618903, backtracks=1144782, failedAssignments=1113312, nogoods=2957, foundSolutions=18, bestBound=678
912.86/906.60
913.37/907.19 num=322, depth=33..47, filters=410504814, revisions=(514128465,useless=176407915), ccks=1736363252, wck=904.336, mem=105M34
913.37/907.19 decisions=3252430, wrong=1619779, backtracks=1145390, failedAssignments=1113914, nogoods=2971, foundSolutions=18, bestBound=678
913.37/907.19
914.07/907.83 num=323, depth=33..45, filters=410795518, revisions=(514499357,useless=176528844), ccks=1737606616, wck=904.983, mem=36M158
914.07/907.83 decisions=3254385, wrong=1620738, backtracks=1146022, failedAssignments=1114576, nogoods=2985, foundSolutions=18, bestBound=678
914.07/907.83
914.47/908.28 num=324, depth=31..48, filters=410959779, revisions=(514737295,useless=176638361), ccks=1738647759, wck=905.427, mem=40M531
914.47/908.28 decisions=3256634, wrong=1621845, backtracks=1147021, failedAssignments=1115304, nogoods=2988, foundSolutions=18, bestBound=678
914.47/908.28
915.28/909.03 num=325, depth=34..45, filters=411295306, revisions=(515173592,useless=176784717), ccks=1740132569, wck=906.178, mem=46M361
915.28/909.03 decisions=3258977, wrong=1622998, backtracks=1147821, failedAssignments=1116105, nogoods=3002, foundSolutions=18, bestBound=678
915.28/909.03
916.07/909.84 num=326, depth=33..44, filters=411666353, revisions=(515671975,useless=176958255), ccks=1741714862, wck=906.987, mem=53M649
916.07/909.84 decisions=3261522, wrong=1624252, backtracks=1148681, failedAssignments=1116986, nogoods=3006, foundSolutions=18, bestBound=678
916.07/909.84
916.97/910.76 num=327, depth=34..45, filters=412083602, revisions=(516214000,useless=177139764), ccks=1743411360, wck=907.906, mem=62M394
916.97/910.76 decisions=3264277, wrong=1625612, backtracks=1149598, failedAssignments=1117956, nogoods=3011, foundSolutions=18, bestBound=678
916.97/910.76
917.87/911.65 num=328, depth=35..46, filters=412478415, revisions=(516729435,useless=177310378), ccks=1745180000, wck=908.802, mem=69M681
917.87/911.65 decisions=3267248, wrong=1627079, backtracks=1150607, failedAssignments=1119023, nogoods=3020, foundSolutions=18, bestBound=678
917.87/911.65
918.67/912.48 num=329, depth=34..46, filters=412861720, revisions=(517249401,useless=177491205), ccks=1746788659, wck=909.63, mem=76M969
918.67/912.48 decisions=3270575, wrong=1628724, backtracks=1151586, failedAssignments=1120196, nogoods=3036, foundSolutions=18, bestBound=678
918.67/912.48
919.87/913.64 num=330, depth=33..49, filters=413376180, revisions=(517893923,useless=177727058), ccks=1748659466, wck=910.785, mem=85M714
919.87/913.64 decisions=3274099, wrong=1630468, backtracks=1153002, failedAssignments=1121487, nogoods=3044, foundSolutions=18, bestBound=678
919.87/913.64
921.17/914.94 num=331, depth=34..46, filters=413964694, revisions=(518656391,useless=177984467), ccks=1751134201, wck=912.085, mem=97M374
921.17/914.94 decisions=3278050, wrong=1632426, backtracks=1154392, failedAssignments=1122907, nogoods=3052, foundSolutions=18, bestBound=678
921.17/914.94
922.58/916.34 num=332, depth=34..46, filters=414625581, revisions=(519522321,useless=178271146), ccks=1753769347, wck=913.484, mem=37M628
922.58/916.34 decisions=3282469, wrong=1634618, backtracks=1155829, failedAssignments=1124469, nogoods=3071, foundSolutions=18, bestBound=678
922.58/916.34
923.98/917.75 num=333, depth=33..46, filters=415280734, revisions=(520385934,useless=178572117), ccks=1756308777, wck=914.897, mem=49M204
923.98/917.75 decisions=3287205, wrong=1636968, backtracks=1157402, failedAssignments=1126187, nogoods=3085, foundSolutions=18, bestBound=678
923.98/917.75
925.48/919.27 num=334, depth=34..46, filters=415979349, revisions=(521297449,useless=178882371), ccks=1759216234, wck=916.423, mem=62M227
925.48/919.27 decisions=3292495, wrong=1639595, backtracks=1159134, failedAssignments=1128077, nogoods=3104, foundSolutions=18, bestBound=678
925.48/919.27
928.39/922.14 num=335, depth=31..50, filters=417313360, revisions=(522796054,useless=179420986), ccks=1762711729, wck=919.289, mem=83M933
928.39/922.14 decisions=3298656, wrong=1642658, backtracks=1161671, failedAssignments=1130156, nogoods=3119, foundSolutions=18, bestBound=678
928.39/922.14
930.48/924.26 num=336, depth=33..46, filters=418276596, revisions=(524050327,useless=179852669), ccks=1766552563, wck=921.411, mem=102M744
930.48/924.26 decisions=3305094, wrong=1645859, backtracks=1163930, failedAssignments=1132443, nogoods=3134, foundSolutions=18, bestBound=678
930.48/924.26
932.59/926.30 num=337, depth=34..46, filters=419210263, revisions=(525256966,useless=180248068), ccks=1770403239, wck=923.45, mem=47M663
932.59/926.30 decisions=3312252, wrong=1649420, backtracks=1166195, failedAssignments=1134959, nogoods=3145, foundSolutions=18, bestBound=678
932.59/926.30
934.79/928.59 num=338, depth=32..49, filters=420250410, revisions=(526519878,useless=180697469), ccks=1773995692, wck=925.735, mem=66M338
934.79/928.59 decisions=3319562, wrong=1653057, backtracks=1169106, failedAssignments=1137727, nogoods=3155, foundSolutions=18, bestBound=678
934.79/928.59
937.99/931.72 num=339, depth=32..46, filters=421670610, revisions=(528352934,useless=181308353), ccks=1780327059, wck=928.871, mem=93M632
937.99/931.72 decisions=3328280, wrong=1657398, backtracks=1172436, failedAssignments=1140771, nogoods=3161, foundSolutions=18, bestBound=678
937.99/931.72
940.50/934.26 num=340, depth=33..46, filters=422813106, revisions=(529837533,useless=181802667), ccks=1785246908, wck=931.41, mem=43M323
940.50/934.26 decisions=3337679, wrong=1662079, backtracks=1175340, failedAssignments=1144120, nogoods=3181, foundSolutions=18, bestBound=678
940.50/934.26
943.81/937.53 num=341, depth=33..48, filters=424325018, revisions=(531695053,useless=182472107), ccks=1790863454, wck=934.678, mem=70M418
943.81/937.53 decisions=3347911, wrong=1667177, backtracks=1179326, failedAssignments=1147804, nogoods=3196, foundSolutions=18, bestBound=678
943.81/937.53
946.71/940.48 num=342, depth=33..47, filters=425684013, revisions=(533461833,useless=183067316), ccks=1796454169, wck=937.627, mem=96M87
946.71/940.48 decisions=3359283, wrong=1672844, backtracks=1182900, failedAssignments=1151856, nogoods=3213, foundSolutions=18, bestBound=678
946.71/940.48
950.43/944.16 num=343, depth=33..47, filters=427434381, revisions=(535707702,useless=183799703), ccks=1803276503, wck=941.304, mem=57M416
950.43/944.16 decisions=3371685, wrong=1679027, backtracks=1186973, failedAssignments=1156313, nogoods=3236, foundSolutions=18, bestBound=678
950.43/944.16
954.43/948.12 num=344, depth=32..49, filters=429208651, revisions=(538018556,useless=184610627), ccks=1810872261, wck=945.264, mem=91M389
954.43/948.12 decisions=3385322, wrong=1685827, backtracks=1191784, failedAssignments=1161216, nogoods=3248, foundSolutions=18, bestBound=678
954.43/948.12
958.13/951.85 num=345, depth=33..47, filters=430970496, revisions=(540293798,useless=185362363), ccks=1817712227, wck=948.994, mem=53M65
958.13/951.85 decisions=3400632, wrong=1693464, backtracks=1196312, failedAssignments=1166610, nogoods=3266, foundSolutions=18, bestBound=678
958.13/951.85
963.13/956.87 num=346, depth=32..48, filters=433268343, revisions=(543139979,useless=186409719), ccks=1826082551, wck=954.016, mem=93M813
963.13/956.87 decisions=3416543, wrong=1701402, backtracks=1202547, failedAssignments=1172543, nogoods=3277, foundSolutions=18, bestBound=678
963.13/956.87
969.13/962.82 num=347, depth=32..46, filters=435896344, revisions=(546479189,useless=187511608), ccks=1837642150, wck=959.968, mem=73M848
969.13/962.82 decisions=3435249, wrong=1710737, backtracks=1209049, failedAssignments=1179069, nogoods=3293, foundSolutions=18, bestBound=678
969.13/962.82
973.74/967.44 num=348, depth=32..50, filters=437823461, revisions=(549038782,useless=188526971), ccks=1847673687, wck=964.586, mem=40M368
973.74/967.44 decisions=3454889, wrong=1720540, backtracks=1217456, failedAssignments=1186248, nogoods=3302, foundSolutions=18, bestBound=678
973.74/967.44
979.15/972.80 num=349, depth=33..48, filters=440110973, revisions=(551996213,useless=189539020), ccks=1858337023, wck=969.95, mem=84M660
979.15/972.80 decisions=3477221, wrong=1731687, backtracks=1224419, failedAssignments=1194145, nogoods=3315, foundSolutions=18, bestBound=678
979.15/972.80
986.65/980.30 num=350, depth=32..47, filters=443569589, revisions=(556427516,useless=191059650), ccks=1872000343, wck=977.448, mem=80M162
986.65/980.30 decisions=3501696, wrong=1743906, backtracks=1232921, failedAssignments=1202832, nogoods=3339, foundSolutions=18, bestBound=678
986.65/980.30
994.86/988.53 num=351, depth=33..51, filters=447360126, revisions=(560969612,useless=192675082), ccks=1885646119, wck=985.682, mem=77M89
994.86/988.53 decisions=3528294, wrong=1757187, backtracks=1243380, failedAssignments=1212387, nogoods=3364, foundSolutions=18, bestBound=678
994.86/988.53
1003.17/996.81 num=352, depth=31..47, filters=451352523, revisions=(566128808,useless=194427844), ccks=1900870022, wck=993.96, mem=83M541
1003.17/996.81 decisions=3558728, wrong=1772386, backtracks=1252763, failedAssignments=1222898, nogoods=3380, foundSolutions=18, bestBound=678
1003.17/996.81
1013.28/1007.00 num=353, depth=33..47, filters=455707371, revisions=(571519554,useless=196207508), ccks=1921014443, wck=1004.152, mem=99M302
1013.28/1007.00 decisions=3592262, wrong=1789134, backtracks=1264968, failedAssignments=1234460, nogoods=3391, foundSolutions=18, bestBound=678
1013.28/1007.00
1022.70/1016.38 num=354, depth=32..48, filters=459849958, revisions=(576906169,useless=198061237), ccks=1938577269, wck=1013.525, mem=44M159
1022.70/1016.38 decisions=3629083, wrong=1807526, backtracks=1276826, failedAssignments=1247178, nogoods=3398, foundSolutions=18, bestBound=678
1022.70/1016.38
1033.31/1026.91 num=355, depth=32..46, filters=464529775, revisions=(582918130,useless=200152985), ccks=1958820221, wck=1024.057, mem=66M335
1033.31/1026.91 decisions=3670247, wrong=1828089, backtracks=1289545, failedAssignments=1261168, nogoods=3404, foundSolutions=18, bestBound=678
1033.31/1026.91
1051.03/1044.60 num=356, depth=31..50, filters=472338565, revisions=(591965364,useless=203292593), ccks=1987083196, wck=1041.747, mem=72M313
1051.03/1044.60 decisions=3715825, wrong=1850860, backtracks=1309410, failedAssignments=1276557, nogoods=3417, foundSolutions=18, bestBound=678
1051.03/1044.60
1067.34/1060.95 num=357, depth=30..50, filters=479768954, revisions=(601054406,useless=206611957), ccks=2011813188, wck=1058.099, mem=71M779
1067.34/1060.95 decisions=3766680, wrong=1876270, backtracks=1328774, failedAssignments=1293485, nogoods=3436, foundSolutions=18, bestBound=678
1067.34/1060.95
1081.27/1074.89 num=358, depth=33..49, filters=485666765, revisions=(608392754,useless=209138234), ccks=2038876030, wck=1072.041, mem=57M502
1081.27/1074.89 decisions=3821368, wrong=1903595, backtracks=1347377, failedAssignments=1312106, nogoods=3461, foundSolutions=18, bestBound=678
1081.27/1074.89
1098.09/1091.69 num=359, depth=32..49, filters=493062956, revisions=(617557125,useless=212166020), ccks=2071562442, wck=1088.839, mem=71M863
1098.09/1091.69 decisions=3879648, wrong=1932717, backtracks=1367824, failedAssignments=1332590, nogoods=3481, foundSolutions=18, bestBound=678
1098.09/1091.69
1115.61/1109.15 num=360, depth=32..49, filters=500567185, revisions=(626932590,useless=215302058), ccks=2105216926, wck=1106.301, mem=90M577
1115.61/1109.15 decisions=3944398, wrong=1965074, backtracks=1389714, failedAssignments=1355122, nogoods=3497, foundSolutions=18, bestBound=678
1115.61/1109.15
1134.72/1128.28 num=361, depth=31..50, filters=509209608, revisions=(637902291,useless=219013088), ccks=2141686965, wck=1125.431, mem=73M936
1134.72/1128.28 decisions=4016120, wrong=2000917, backtracks=1412863, failedAssignments=1379907, nogoods=3516, foundSolutions=18, bestBound=678
1134.72/1128.28
1159.06/1152.58 num=362, depth=30..50, filters=520168267, revisions=(651188265,useless=223796174), ccks=2186952782, wck=1149.726, mem=37M495
1159.06/1152.58 decisions=4099513, wrong=2042595, backtracks=1447258, failedAssignments=1407171, nogoods=3529, foundSolutions=18, bestBound=678
1159.06/1152.58
1182.70/1176.14 num=363, depth=32..48, filters=530540614, revisions=(663914192,useless=227952086), ccks=2231792539, wck=1173.292, mem=62M796
1182.70/1176.14 decisions=4185868, wrong=2085755, backtracks=1476573, failedAssignments=1437161, nogoods=3540, foundSolutions=18, bestBound=678
1182.70/1176.14
1201.41/1194.90 num=364, depth=30..52, filters=538600193, revisions=(674505773,useless=232075922), ccks=2273010701, wck=1192.044, mem=53M511
1201.41/1194.90 decisions=4280637, wrong=2133122, backtracks=1513336, failedAssignments=1470150, nogoods=3562, foundSolutions=18, bestBound=678
1201.41/1194.90
1233.35/1226.71 num=365, depth=31..47, filters=553195172, revisions=(692635465,useless=238114729), ccks=2332357789, wck=1223.861, mem=56M736
1233.35/1226.71 decisions=4385930, wrong=2185751, backtracks=1550396, failedAssignments=1506438, nogoods=3584, foundSolutions=18, bestBound=678
1233.35/1226.71
1271.31/1264.69 num=366, depth=31..49, filters=570528345, revisions=(713556170,useless=245281578), ccks=2399410337, wck=1261.835, mem=44M979
1271.31/1264.69 decisions=4503244, wrong=2244390, backtracks=1595882, failedAssignments=1546355, nogoods=3592, foundSolutions=18, bestBound=678
1271.31/1264.69
1308.26/1301.56 num=367, depth=31..48, filters=586012754, revisions=(732717314,useless=251722870), ccks=2472701652, wck=1298.707, mem=71M799
1308.26/1301.56 decisions=4630663, wrong=2308081, backtracks=1643164, failedAssignments=1590264, nogoods=3604, foundSolutions=18, bestBound=678
1308.26/1301.56
1351.61/1344.84 num=368, depth=31..50, filters=604402860, revisions=(755166031,useless=259367823), ccks=2558605507, wck=1341.989, mem=41M869
1351.61/1344.84 decisions=4771926, wrong=2378695, backtracks=1699132, failedAssignments=1638564, nogoods=3618, foundSolutions=18, bestBound=678
1351.61/1344.84
1397.18/1390.38 num=369, depth=31..49, filters=624666459, revisions=(779802030,useless=267403723), ccks=2645781021, wck=1387.528, mem=45M94
1397.18/1390.38 decisions=4926680, wrong=2456054, backtracks=1754550, failedAssignments=1691694, nogoods=3629, foundSolutions=18, bestBound=678
1397.18/1390.38
1444.63/1437.73 num=370, depth=31..50, filters=646716251, revisions=(806812812,useless=276306640), ccks=2734686385, wck=1434.881, mem=78M266
1444.63/1437.73 decisions=5098794, wrong=2542093, backtracks=1813878, failedAssignments=1750137, nogoods=3640, foundSolutions=18, bestBound=678
1444.63/1437.73
1500.92/1493.99 num=371, depth=31..49, filters=670380813, revisions=(835421307,useless=285850508), ccks=2845542695, wck=1491.141, mem=38M742
1500.92/1493.99 decisions=5290111, wrong=2637732, backtracks=1883637, failedAssignments=1814424, nogoods=3652, foundSolutions=18, bestBound=678
1500.92/1493.99
1566.20/1559.16 num=372, depth=30..50, filters=699563231, revisions=(871855798,useless=298499519), ccks=2967723274, wck=1556.309, mem=45M176
1566.20/1559.16 decisions=5499238, wrong=2742277, backtracks=1961798, failedAssignments=1885140, nogoods=3668, foundSolutions=18, bestBound=678
1566.20/1559.16
1629.07/1621.95 num=373, depth=31..50, filters=727893887, revisions=(906413555,useless=309919239), ccks=3088128392, wck=1619.102, mem=36M603
1629.07/1621.95 decisions=5725995, wrong=2855637, backtracks=2043008, failedAssignments=1962927, nogoods=3683, foundSolutions=18, bestBound=678
1629.07/1621.95
1705.48/1698.24 num=374, depth=31..49, filters=761576406, revisions=(946991023,useless=323185700), ccks=3236639776, wck=1695.385, mem=71M922
1705.48/1698.24 decisions=5980542, wrong=2982892, backtracks=2138552, failedAssignments=2048493, nogoods=3693, foundSolutions=18, bestBound=678
1705.48/1698.24
1783.58/1776.24 num=375, depth=30..49, filters=796286168, revisions=(989564139,useless=337427127), ccks=3388062413, wck=1773.392, mem=74M78
1783.58/1776.24 decisions=6258458, wrong=3121831, backtracks=2239058, failedAssignments=2142616, nogoods=3715, foundSolutions=18, bestBound=678
1783.58/1776.24
1866.89/1859.47 num=376, depth=30..49, filters=833383664, revisions=(1034966601,useless=352592363), ccks=3548657359, wck=1856.622, mem=64M509
1866.89/1859.47 decisions=6560453, wrong=3272811, backtracks=2346274, failedAssignments=2246151, nogoods=3730, foundSolutions=18, bestBound=678
1866.89/1859.47
1962.92/1955.33 num=377, depth=30..48, filters=876117025, revisions=(1086292195,useless=369243248), ccks=3734091398, wck=1952.481, mem=52M728
1962.92/1955.33 decisions=6898353, wrong=3441743, backtracks=2467789, failedAssignments=2360040, nogoods=3741, foundSolutions=18, bestBound=678
1962.92/1955.33
1979.54/1971.91 o 634
1979.54/1971.91 num=378, depth=31..1534, filters=883544429, revisions=(1094837340,useless=372254819), ccks=3761993270, wck=1969.062, mem=74M176
1979.54/1971.91 decisions=6946584, wrong=3465841, backtracks=2488741, failedAssignments=2374989, nogoods=3756, foundSolutions=19, bestBound=634
1979.54/1971.91
2097.39/2089.68 num=379, depth=31..50, filters=939395008, revisions=(1163041412,useless=394775683), ccks=3976778130, wck=2086.829, mem=78M402
2097.39/2089.68 decisions=7356557, wrong=3670810, backtracks=2634818, failedAssignments=2512795, nogoods=3772, foundSolutions=19, bestBound=634
2097.39/2089.68
2097.49/2089.71 num=380, depth=38..42, filters=939403375, revisions=(1163054535,useless=394781909), ccks=3976819852, wck=2086.855, mem=78M402
2097.49/2089.71 decisions=7356632, wrong=3670828, backtracks=2634833, failedAssignments=2512806, nogoods=3778, foundSolutions=19, bestBound=634
2097.49/2089.71
2097.49/2089.73 num=381, depth=38..43, filters=939410335, revisions=(1163065885,useless=394787507), ccks=3976852965, wck=2086.875, mem=78M402
2097.49/2089.73 decisions=7356711, wrong=3670848, backtracks=2634847, failedAssignments=2512818, nogoods=3785, foundSolutions=19, bestBound=634
2097.49/2089.73
2097.49/2089.75 num=382, depth=37..45, filters=939417543, revisions=(1163077596,useless=394793331), ccks=3976889224, wck=2086.896, mem=78M402
2097.49/2089.75 decisions=7356787, wrong=3670867, backtracks=2634862, failedAssignments=2512831, nogoods=3789, foundSolutions=19, bestBound=634
2097.49/2089.75
2097.49/2089.76 num=383, depth=37..47, filters=939421150, revisions=(1163085131,useless=394798082), ccks=3976905694, wck=2086.908, mem=78M402
2097.49/2089.76 decisions=7356860, wrong=3670885, backtracks=2634879, failedAssignments=2512845, nogoods=3791, foundSolutions=19, bestBound=634
2097.49/2089.76
2097.49/2089.78 num=384, depth=38..44, filters=939428520, revisions=(1163097205,useless=394803981), ccks=3976941759, wck=2086.929, mem=79M618
2097.49/2089.78 decisions=7356949, wrong=3670910, backtracks=2634896, failedAssignments=2512861, nogoods=3799, foundSolutions=19, bestBound=634
2097.49/2089.78
2097.59/2089.80 num=385, depth=38..43, filters=939435073, revisions=(1163107729,useless=394809044), ccks=3976975475, wck=2086.949, mem=79M618
2097.59/2089.80 decisions=7357036, wrong=3670934, backtracks=2634908, failedAssignments=2512878, nogoods=3809, foundSolutions=19, bestBound=634
2097.59/2089.80
2097.59/2089.83 num=386, depth=38..45, filters=939443768, revisions=(1163121096,useless=394815304), ccks=3977012862, wck=2086.974, mem=79M618
2097.59/2089.83 decisions=7357126, wrong=3670960, backtracks=2634925, failedAssignments=2512897, nogoods=3817, foundSolutions=19, bestBound=634
2097.59/2089.83
2097.59/2089.85 num=387, depth=38..44, filters=939452838, revisions=(1163134934,useless=394821653), ccks=3977055697, wck=2086.998, mem=79M618
2097.59/2089.85 decisions=7357221, wrong=3670988, backtracks=2634941, failedAssignments=2512918, nogoods=3822, foundSolutions=19, bestBound=634
2097.59/2089.85
2097.59/2089.87 num=388, depth=36..47, filters=939458715, revisions=(1163145516,useless=394827694), ccks=3977085465, wck=2087.016, mem=79M618
2097.59/2089.87 decisions=7357317, wrong=3671016, backtracks=2634964, failedAssignments=2512941, nogoods=3827, foundSolutions=19, bestBound=634
2097.59/2089.87
2097.59/2089.90 num=389, depth=37..47, filters=939468793, revisions=(1163160987,useless=394834766), ccks=3977133561, wck=2087.044, mem=79M618
2097.59/2089.90 decisions=7357423, wrong=3671049, backtracks=2634985, failedAssignments=2512966, nogoods=3835, foundSolutions=19, bestBound=634
2097.59/2089.90
2097.70/2089.92 num=390, depth=37..49, filters=939478268, revisions=(1163175746,useless=394841791), ccks=3977183485, wck=2087.072, mem=80M688
2097.70/2089.92 decisions=7357532, wrong=3671085, backtracks=2635020, failedAssignments=2512994, nogoods=3837, foundSolutions=19, bestBound=634
2097.70/2089.92
2097.70/2089.95 num=391, depth=37..47, filters=939488403, revisions=(1163192018,useless=394849523), ccks=3977225663, wck=2087.099, mem=80M688
2097.70/2089.95 decisions=7357653, wrong=3671126, backtracks=2635051, failedAssignments=2513025, nogoods=3844, foundSolutions=19, bestBound=634
2097.70/2089.95
2097.70/2089.99 num=392, depth=37..47, filters=939502566, revisions=(1163212884,useless=394858977), ccks=3977299811, wck=2087.139, mem=80M688
2097.70/2089.99 decisions=7357796, wrong=3671178, backtracks=2635100, failedAssignments=2513059, nogoods=3848, foundSolutions=19, bestBound=634
2097.70/2089.99
2097.80/2090.03 num=393, depth=37..46, filters=939517608, revisions=(1163234597,useless=394867920), ccks=3977375503, wck=2087.18, mem=80M688
2097.80/2090.03 decisions=7357939, wrong=3671230, backtracks=2635137, failedAssignments=2513096, nogoods=3856, foundSolutions=19, bestBound=634
2097.80/2090.03
2097.80/2090.08 num=394, depth=37..45, filters=939533618, revisions=(1163257409,useless=394877262), ccks=3977459206, wck=2087.225, mem=81M757
2097.80/2090.08 decisions=7358094, wrong=3671289, backtracks=2635178, failedAssignments=2513137, nogoods=3859, foundSolutions=19, bestBound=634
2097.80/2090.08
2097.90/2090.13 num=395, depth=37..48, filters=939554135, revisions=(1163285732,useless=394888262), ccks=3977561189, wck=2087.28, mem=81M757
2097.90/2090.13 decisions=7358272, wrong=3671359, backtracks=2635230, failedAssignments=2513182, nogoods=3871, foundSolutions=19, bestBound=634
2097.90/2090.13
2097.90/2090.19 num=396, depth=36..44, filters=939574340, revisions=(1163314154,useless=394899763), ccks=3977662699, wck=2087.334, mem=82M827
2097.90/2090.19 decisions=7358453, wrong=3671430, backtracks=2635286, failedAssignments=2513232, nogoods=3873, foundSolutions=19, bestBound=634
2097.90/2090.19
2098.00/2090.25 num=397, depth=36..44, filters=939597244, revisions=(1163345455,useless=394912209), ccks=3977787960, wck=2087.399, mem=82M827
2098.00/2090.25 decisions=7358662, wrong=3671515, backtracks=2635351, failedAssignments=2513287, nogoods=3876, foundSolutions=19, bestBound=634
2098.00/2090.25
2098.10/2090.32 num=398, depth=36..46, filters=939623154, revisions=(1163380884,useless=394925735), ccks=3977918291, wck=2087.466, mem=83M896
2098.10/2090.32 decisions=7358890, wrong=3671609, backtracks=2635421, failedAssignments=2513348, nogoods=3886, foundSolutions=19, bestBound=634
2098.10/2090.32
2098.20/2090.40 num=399, depth=36..46, filters=939652415, revisions=(1163420810,useless=394941007), ccks=3978088177, wck=2087.548, mem=83M896
2098.20/2090.40 decisions=7359120, wrong=3671704, backtracks=2635499, failedAssignments=2513415, nogoods=3892, foundSolutions=19, bestBound=634
2098.20/2090.40
2098.20/2090.47 num=400, depth=36..45, filters=939682684, revisions=(1163460765,useless=394955488), ccks=3978225153, wck=2087.623, mem=84M966
2098.20/2090.47 decisions=7359394, wrong=3671822, backtracks=2635577, failedAssignments=2513489, nogoods=3895, foundSolutions=19, bestBound=634
2098.20/2090.47
2098.30/2090.56 num=401, depth=36..46, filters=939715101, revisions=(1163505101,useless=394972018), ccks=3978398698, wck=2087.71, mem=84M966
2098.30/2090.56 decisions=7359666, wrong=3671939, backtracks=2635666, failedAssignments=2513570, nogoods=3905, foundSolutions=19, bestBound=634
2098.30/2090.56
2098.40/2090.64 num=402, depth=36..49, filters=939745411, revisions=(1163547349,useless=394989270), ccks=3978557148, wck=2087.792, mem=86M35
2098.40/2090.64 decisions=7359966, wrong=3672070, backtracks=2635784, failedAssignments=2513659, nogoods=3912, foundSolutions=19, bestBound=634
2098.40/2090.64
2098.50/2090.74 num=403, depth=36..45, filters=939782827, revisions=(1163597904,useless=395008043), ccks=3978737341, wck=2087.887, mem=87M105
2098.50/2090.74 decisions=7360290, wrong=3672213, backtracks=2635885, failedAssignments=2513757, nogoods=3916, foundSolutions=19, bestBound=634
2098.50/2090.74
2098.60/2090.86 num=404, depth=36..46, filters=939827907, revisions=(1163659075,useless=395031282), ccks=3978958485, wck=2088.004, mem=88M174
2098.60/2090.86 decisions=7360630, wrong=3672364, backtracks=2636011, failedAssignments=2513865, nogoods=3928, foundSolutions=19, bestBound=634
2098.60/2090.86
2098.81/2091.01 num=405, depth=36..44, filters=939887060, revisions=(1163735076,useless=395058000), ccks=3979276574, wck=2088.161, mem=89M98
2098.81/2091.01 decisions=7361035, wrong=3672548, backtracks=2636165, failedAssignments=2513984, nogoods=3940, foundSolutions=19, bestBound=634
2098.81/2091.01
2098.91/2091.15 num=406, depth=35..46, filters=939939173, revisions=(1163804434,useless=395083640), ccks=3979540663, wck=2088.3, mem=36M795
2098.91/2091.15 decisions=7361454, wrong=3672738, backtracks=2636317, failedAssignments=2514115, nogoods=3943, foundSolutions=19, bestBound=634
2098.91/2091.15
2099.01/2091.25 num=407, depth=34..49, filters=939974261, revisions=(1163856693,useless=395106780), ccks=3979729761, wck=2088.395, mem=36M795
2099.01/2091.25 decisions=7361919, wrong=3672952, backtracks=2636502, failedAssignments=2514259, nogoods=3949, foundSolutions=19, bestBound=634
2099.01/2091.25
2099.21/2091.42 num=408, depth=35..46, filters=940039220, revisions=(1163939166,useless=395135364), ccks=3980080648, wck=2088.567, mem=38M932
2099.21/2091.42 decisions=7362456, wrong=3673202, backtracks=2636683, failedAssignments=2514417, nogoods=3958, foundSolutions=19, bestBound=634
2099.21/2091.42
2099.31/2091.54 num=409, depth=34..47, filters=940083434, revisions=(1164002721,useless=395163020), ccks=3980352711, wck=2088.69, mem=40M1
2099.31/2091.54 decisions=7363056, wrong=3673484, backtracks=2636933, failedAssignments=2514591, nogoods=3964, foundSolutions=19, bestBound=634
2099.31/2091.54
2099.51/2091.70 num=410, depth=36..45, filters=940148027, revisions=(1164087787,useless=395193058), ccks=3980644054, wck=2088.849, mem=41M69
2099.51/2091.70 decisions=7363677, wrong=3673776, backtracks=2637129, failedAssignments=2514782, nogoods=3980, foundSolutions=19, bestBound=634
2099.51/2091.70
2099.61/2091.87 num=411, depth=36..44, filters=940217376, revisions=(1164177541,useless=395224464), ccks=3980986227, wck=2089.022, mem=42M138
2099.61/2091.87 decisions=7364369, wrong=3674104, backtracks=2637345, failedAssignments=2514993, nogoods=3985, foundSolutions=19, bestBound=634
2099.61/2091.87
2099.81/2092.08 num=412, depth=35..47, filters=940300015, revisions=(1164284016,useless=395260684), ccks=3981383386, wck=2089.227, mem=44M275
2099.81/2092.08 decisions=7365112, wrong=3674456, backtracks=2637578, failedAssignments=2515225, nogoods=4003, foundSolutions=19, bestBound=634
2099.81/2092.08
2100.01/2092.28 num=413, depth=35..45, filters=940379492, revisions=(1164388171,useless=395297731), ccks=3981758844, wck=2089.425, mem=45M343
2100.01/2092.28 decisions=7365936, wrong=3674849, backtracks=2637834, failedAssignments=2515480, nogoods=4018, foundSolutions=19, bestBound=634
2100.01/2092.28
2100.21/2092.48 num=414, depth=33..49, filters=940454216, revisions=(1164495228,useless=395344621), ccks=3982218988, wck=2089.633, mem=46M412
2100.21/2092.48 decisions=7366895, wrong=3675309, backtracks=2638267, failedAssignments=2515761, nogoods=4024, foundSolutions=19, bestBound=634
2100.21/2092.48
2100.51/2092.77 num=415, depth=35..47, filters=940564329, revisions=(1164636379,useless=395393985), ccks=3982791876, wck=2089.916, mem=48M549
2100.51/2092.77 decisions=7367835, wrong=3675760, backtracks=2638608, failedAssignments=2516070, nogoods=4029, foundSolutions=19, bestBound=634
2100.51/2092.77
2100.81/2093.02 num=416, depth=35..49, filters=940664337, revisions=(1164766864,useless=395440683), ccks=3983280316, wck=2090.166, mem=50M686
2100.81/2093.02 decisions=7368850, wrong=3676249, backtracks=2638952, failedAssignments=2516410, nogoods=4041, foundSolutions=19, bestBound=634
2100.81/2093.02
2101.11/2093.36 num=417, depth=35..46, filters=940801015, revisions=(1164944514,useless=395503864), ccks=3983958587, wck=2090.51, mem=53M891
2101.11/2093.36 decisions=7370009, wrong=3676810, backtracks=2639378, failedAssignments=2516784, nogoods=4051, foundSolutions=19, bestBound=634
2101.11/2093.36
2101.51/2093.72 num=418, depth=35..47, filters=940948555, revisions=(1165132471,useless=395569772), ccks=3984690629, wck=2090.872, mem=57M97
2101.51/2093.72 decisions=7371254, wrong=3677413, backtracks=2639828, failedAssignments=2517195, nogoods=4061, foundSolutions=19, bestBound=634
2101.51/2093.72
2101.92/2094.12 num=419, depth=34..46, filters=941104016, revisions=(1165330384,useless=395638262), ccks=3985471607, wck=2091.266, mem=59M234
2101.92/2094.12 decisions=7372685, wrong=3678109, backtracks=2640304, failedAssignments=2517647, nogoods=4073, foundSolutions=19, bestBound=634
2101.92/2094.12
2102.51/2094.70 num=420, depth=34..47, filters=941327304, revisions=(1165616314,useless=395735801), ccks=3986661606, wck=2091.847, mem=64M576
2102.51/2094.70 decisions=7374274, wrong=3678884, backtracks=2640938, failedAssignments=2518144, nogoods=4080, foundSolutions=19, bestBound=634
2102.51/2094.70
2103.01/2095.24 num=421, depth=34..48, filters=941541866, revisions=(1165885048,useless=395831509), ccks=3987719928, wck=2092.387, mem=67M782
2103.01/2095.24 decisions=7375971, wrong=3679713, backtracks=2641638, failedAssignments=2518691, nogoods=4089, foundSolutions=19, bestBound=634
2103.01/2095.24
2103.51/2095.70 num=422, depth=34..47, filters=941733257, revisions=(1166136403,useless=395926842), ccks=3988513141, wck=2092.849, mem=72M56
2103.51/2095.70 decisions=7377675, wrong=3680546, backtracks=2642276, failedAssignments=2519293, nogoods=4107, foundSolutions=19, bestBound=634
2103.51/2095.70
2104.11/2096.33 num=423, depth=34..46, filters=941980150, revisions=(1166449942,useless=396034176), ccks=3989768216, wck=2093.481, mem=76M330
2104.11/2096.33 decisions=7379577, wrong=3681478, backtracks=2643024, failedAssignments=2519955, nogoods=4112, foundSolutions=19, bestBound=634
2104.11/2096.33
2104.61/2096.84 num=424, depth=34..46, filters=942183852, revisions=(1166712945,useless=396125930), ccks=3990724643, wck=2093.984, mem=80M604
2104.61/2096.84 decisions=7381651, wrong=3682496, backtracks=2643686, failedAssignments=2520683, nogoods=4120, foundSolutions=19, bestBound=634
2104.61/2096.84
2105.31/2097.50 num=425, depth=34..45, filters=942438917, revisions=(1167051181,useless=396253450), ccks=3992023710, wck=2094.649, mem=85M947
2105.31/2097.50 decisions=7384009, wrong=3683657, backtracks=2644584, failedAssignments=2521484, nogoods=4129, foundSolutions=19, bestBound=634
2105.31/2097.50
2105.82/2098.08 num=426, depth=34..47, filters=942676019, revisions=(1167361755,useless=396361624), ccks=3993087875, wck=2095.227, mem=36M861
2105.82/2098.08 decisions=7386524, wrong=3684896, backtracks=2645370, failedAssignments=2522365, nogoods=4134, foundSolutions=19, bestBound=634
2105.82/2098.08
2106.61/2098.82 num=427, depth=35..46, filters=942970201, revisions=(1167740565,useless=396495609), ccks=3994520701, wck=2095.967, mem=42M205
2106.61/2098.82 decisions=7389230, wrong=3686230, backtracks=2646345, failedAssignments=2523335, nogoods=4148, foundSolutions=19, bestBound=634
2106.61/2098.82
2107.41/2099.65 num=428, depth=34..47, filters=943298948, revisions=(1168156191,useless=396637023), ccks=3996171699, wck=2096.802, mem=48M619
2107.41/2099.65 decisions=7392309, wrong=3687751, backtracks=2647408, failedAssignments=2524402, nogoods=4168, foundSolutions=19, bestBound=634
2107.41/2099.65
2108.31/2100.53 num=429, depth=35..48, filters=943647575, revisions=(1168599470,useless=396789967), ccks=3997894036, wck=2097.679, mem=56M102
2108.31/2100.53 decisions=7395556, wrong=3689356, backtracks=2648522, failedAssignments=2525575, nogoods=4187, foundSolutions=19, bestBound=634
2108.31/2100.53
2109.31/2101.51 num=430, depth=35..46, filters=944031114, revisions=(1169090525,useless=396960801), ccks=3999888792, wck=2098.663, mem=63M584
2109.31/2101.51 decisions=7399167, wrong=3691143, backtracks=2649807, failedAssignments=2526866, nogoods=4204, foundSolutions=19, bestBound=634
2109.31/2101.51
2110.31/2102.55 num=431, depth=35..48, filters=944450430, revisions=(1169636741,useless=397156114), ccks=4001783593, wck=2099.7, mem=72M135
2110.31/2102.55 decisions=7403080, wrong=3693081, backtracks=2651238, failedAssignments=2528286, nogoods=4211, foundSolutions=19, bestBound=634
2110.31/2102.55
2111.61/2103.83 num=432, depth=35..47, filters=944951999, revisions=(1170285146,useless=397384514), ccks=4004254840, wck=2100.978, mem=81M755
2111.61/2103.83 decisions=7407554, wrong=3695299, backtracks=2652853, failedAssignments=2529848, nogoods=4228, foundSolutions=19, bestBound=634
2111.61/2103.83
2113.02/2105.20 num=433, depth=35..47, filters=945499105, revisions=(1170990432,useless=397631595), ccks=4006848160, wck=2102.349, mem=39M32
2113.02/2105.20 decisions=7412508, wrong=3697758, backtracks=2654624, failedAssignments=2531566, nogoods=4238, foundSolutions=19, bestBound=634
2113.02/2105.20
2114.42/2106.62 num=434, depth=34..47, filters=946052972, revisions=(1171693643,useless=397874731), ccks=4009695673, wck=2103.764, mem=49M723
2114.42/2106.62 decisions=7417857, wrong=3700414, backtracks=2656472, failedAssignments=2533456, nogoods=4249, foundSolutions=19, bestBound=634
2114.42/2106.62
2116.02/2108.26 num=435, depth=34..48, filters=946695997, revisions=(1172522696,useless=398169371), ccks=4012857095, wck=2105.407, mem=62M552
2116.02/2108.26 decisions=7423795, wrong=3703364, backtracks=2658642, failedAssignments=2535535, nogoods=4260, foundSolutions=19, bestBound=634
2116.02/2108.26
2117.62/2109.81 num=436, depth=35..49, filters=947323299, revisions=(1173349144,useless=398464754), ccks=4015737109, wck=2106.955, mem=74M312
2117.62/2109.81 decisions=7430106, wrong=3706500, backtracks=2660882, failedAssignments=2537822, nogoods=4269, foundSolutions=19, bestBound=634
2117.62/2109.81
2119.63/2111.80 num=437, depth=34..49, filters=948122028, revisions=(1174363964,useless=398814306), ccks=4019628457, wck=2108.946, mem=36M894
2119.63/2111.80 decisions=7437082, wrong=3709970, backtracks=2663439, failedAssignments=2540338, nogoods=4277, foundSolutions=19, bestBound=634
2119.63/2111.80
2121.63/2113.82 num=438, depth=34..47, filters=948980198, revisions=(1175470541,useless=399196061), ccks=4023127218, wck=2110.968, mem=52M933
2121.63/2113.82 decisions=7444955, wrong=3713888, backtracks=2666108, failedAssignments=2543106, nogoods=4285, foundSolutions=19, bestBound=634
2121.63/2113.82
2123.63/2115.81 num=439, depth=34..47, filters=949815254, revisions=(1176540030,useless=399565442), ccks=4026735829, wck=2112.958, mem=68M972
2123.63/2115.81 decisions=7453450, wrong=3718116, backtracks=2668716, failedAssignments=2546150, nogoods=4296, foundSolutions=19, bestBound=634
2123.63/2115.81
2125.63/2117.89 num=440, depth=34..48, filters=950736506, revisions=(1177745495,useless=400011526), ccks=4030090370, wck=2115.037, mem=86M80
2125.63/2117.89 decisions=7463050, wrong=3722897, backtracks=2671932, failedAssignments=2549499, nogoods=4307, foundSolutions=19, bestBound=634
2125.63/2117.89
2128.33/2120.53 num=441, depth=33..46, filters=951885786, revisions=(1179226722,useless=400529949), ccks=4034902286, wck=2117.678, mem=54M37
2128.33/2120.53 decisions=7473574, wrong=3728140, backtracks=2675327, failedAssignments=2553183, nogoods=4317, foundSolutions=19, bestBound=634
2128.33/2120.53
2130.33/2122.53 num=442, depth=31..49, filters=952733954, revisions=(1180488951,useless=401084411), ccks=4037994691, wck=2119.677, mem=71M146
2130.33/2122.53 decisions=7486343, wrong=3734506, backtracks=2680421, failedAssignments=2557235, nogoods=4330, foundSolutions=19, bestBound=634
2130.33/2122.53
2133.24/2125.40 num=443, depth=33..48, filters=953959296, revisions=(1182180617,useless=401742060), ccks=4042427903, wck=2122.553, mem=41M172
2133.24/2125.40 decisions=7499343, wrong=3740987, backtracks=2685348, failedAssignments=2561692, nogoods=4349, foundSolutions=19, bestBound=634
2133.24/2125.40
2137.75/2129.93 num=444, depth=33..47, filters=955812467, revisions=(1184524592,useless=402549568), ccks=4051195046, wck=2127.083, mem=76M463
2137.75/2129.93 decisions=7513730, wrong=3748162, backtracks=2690658, failedAssignments=2566595, nogoods=4362, foundSolutions=19, bestBound=634
2137.75/2129.93
2143.06/2135.20 num=445, depth=32..50, filters=958008454, revisions=(1187244779,useless=403574110), ccks=4060741684, wck=2132.348, mem=61M525
2143.06/2135.20 decisions=7531321, wrong=3756939, backtracks=2698275, failedAssignments=2571989, nogoods=4368, foundSolutions=19, bestBound=634
2143.06/2135.20
2147.37/2139.58 num=446, depth=33..48, filters=959872779, revisions=(1189669053,useless=404423597), ccks=4068994787, wck=2136.727, mem=43M344
2147.37/2139.58 decisions=7548074, wrong=3765297, backtracks=2703736, failedAssignments=2577922, nogoods=4378, foundSolutions=19, bestBound=634
2147.37/2139.58
2151.98/2144.15 num=447, depth=32..49, filters=961836918, revisions=(1192181802,useless=405389377), ccks=4077726389, wck=2141.303, mem=79M707
2151.98/2144.15 decisions=7566497, wrong=3774490, backtracks=2710895, failedAssignments=2584448, nogoods=4399, foundSolutions=19, bestBound=634
2151.98/2144.15
2155.89/2148.09 num=448, depth=31..48, filters=963351732, revisions=(1194294440,useless=406282031), ccks=4086876202, wck=2145.236, mem=56M178
2155.89/2148.09 decisions=7587422, wrong=3784935, backtracks=2719126, failedAssignments=2591627, nogoods=4412, foundSolutions=19, bestBound=634
2155.89/2148.09
2166.49/2158.66 num=449, depth=30..49, filters=968033762, revisions=(1199602221,useless=408181984), ccks=4102370773, wck=2155.804, mem=81M847
2166.49/2158.66 decisions=7613560, wrong=3797988, backtracks=2730653, failedAssignments=2599524, nogoods=4421, foundSolutions=19, bestBound=634
2166.49/2158.66
2175.70/2167.83 num=450, depth=31..46, filters=972025789, revisions=(1204759685,useless=409927551), ccks=4120860400, wck=2164.98, mem=51M901
2175.70/2167.83 decisions=7638884, wrong=3810633, backtracks=2740715, failedAssignments=2608211, nogoods=4432, foundSolutions=19, bestBound=634
2175.70/2167.83
2183.21/2175.35 num=451, depth=32..48, filters=975438535, revisions=(1209112307,useless=411404917), ccks=4134650007, wck=2172.501, mem=62M596
2183.21/2175.35 decisions=7665945, wrong=3824146, backtracks=2749484, failedAssignments=2617766, nogoods=4443, foundSolutions=19, bestBound=634
2183.21/2175.35
2193.82/2185.96 num=452, depth=32..48, filters=980098550, revisions=(1214950505,useless=413327765), ccks=4155440565, wck=2183.113, mem=43M344
2193.82/2185.96 decisions=7696142, wrong=3839226, backtracks=2761313, failedAssignments=2628277, nogoods=4454, foundSolutions=19, bestBound=634
2193.82/2185.96
2203.63/2195.79 num=453, depth=32..47, filters=984486137, revisions=(1220554910,useless=415206717), ccks=4174698891, wck=2192.939, mem=73M324
2203.63/2195.79 decisions=7729301, wrong=3855787, backtracks=2772842, failedAssignments=2639839, nogoods=4466, foundSolutions=19, bestBound=634
2203.63/2195.79
2215.26/2207.37 num=454, depth=31..47, filters=989692112, revisions=(1227303799,useless=417538097), ccks=4197175804, wck=2204.521, mem=65M862
2215.26/2207.37 decisions=7766327, wrong=3874282, backtracks=2786632, failedAssignments=2652557, nogoods=4476, foundSolutions=19, bestBound=634
2215.26/2207.37
2227.08/2219.12 num=455, depth=32..49, filters=994745333, revisions=(1233686140,useless=419667975), ccks=4220167629, wck=2216.271, mem=54M114
2227.08/2219.12 decisions=7806421, wrong=3894311, backtracks=2800690, failedAssignments=2666547, nogoods=4487, foundSolutions=19, bestBound=634
2227.08/2219.12
2240.29/2232.31 num=456, depth=31..46, filters=1000867935, revisions=(1241493877,useless=422314110), ccks=4244862710, wck=2229.454, mem=62M719
2240.29/2232.31 decisions=7851054, wrong=3916610, backtracks=2816066, failedAssignments=2681936, nogoods=4493, foundSolutions=19, bestBound=634
2240.29/2232.31
2257.03/2249.04 num=457, depth=32..47, filters=1008122886, revisions=(1250519501,useless=425303332), ccks=4278230186, wck=2246.19, mem=39M263
2257.03/2249.04 decisions=7901114, wrong=3941622, backtracks=2835524, failedAssignments=2698864, nogoods=4509, foundSolutions=19, bestBound=634
2257.03/2249.04
2275.05/2267.10 num=458, depth=31..48, filters=1016359952, revisions=(1260931338,useless=428732519), ccks=4312356517, wck=2264.248, mem=87M417
2275.05/2267.10 decisions=7955117, wrong=3968605, backtracks=2855484, failedAssignments=2717485, nogoods=4525, foundSolutions=19, bestBound=634
2275.05/2267.10
2293.17/2285.12 num=459, depth=31..47, filters=1024426084, revisions=(1271021125,useless=432046308), ccks=4347169286, wck=2282.273, mem=78M910
2293.17/2285.12 decisions=8014396, wrong=3998226, backtracks=2876729, failedAssignments=2737969, nogoods=4540, foundSolutions=19, bestBound=634
2293.17/2285.12
2313.58/2305.53 num=460, depth=31..48, filters=1033492669, revisions=(1282617373,useless=436169918), ccks=4385521017, wck=2302.683, mem=88M584
2313.58/2305.53 decisions=8078864, wrong=4030442, backtracks=2901831, failedAssignments=2760501, nogoods=4549, foundSolutions=19, bestBound=634
2313.58/2305.53
2329.12/2321.02 num=461, depth=31..51, filters=1039701256, revisions=(1290717586,useless=439416696), ccks=4419489182, wck=2318.17, mem=45M852
2329.12/2321.02 decisions=8148389, wrong=4065187, backtracks=2932793, failedAssignments=2785286, nogoods=4565, foundSolutions=19, bestBound=634
2329.12/2321.02
2353.74/2345.61 num=462, depth=31..47, filters=1050917903, revisions=(1304602933,useless=443874364), ccks=4466298343, wck=2342.756, mem=41M599
2353.74/2345.61 decisions=8228212, wrong=4105081, backtracks=2961438, failedAssignments=2812550, nogoods=4579, foundSolutions=19, bestBound=634
2353.74/2345.61
2378.57/2370.45 num=463, depth=32..49, filters=1061353191, revisions=(1317489674,useless=448198389), ccks=4515441687, wck=2367.596, mem=79M82
2378.57/2370.45 decisions=8315060, wrong=4148487, backtracks=2994254, failedAssignments=2842540, nogoods=4590, foundSolutions=19, bestBound=634
2378.57/2370.45
2400.00/2391.80
2400.00/2391.80 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>
2400.00/2391.80 s SATISFIABLE