2.42/1.88
2.42/1.88 AbsCon 2
2.42/1.89
2.96/2.11 Instance
2.96/2.11 name=instance-4391061-1568383024, framework=COP, bounds=-infty..+infty
2.96/2.11
2.96/2.11 Loading variables...
3.32/2.19 Loading constraints...[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@100bc216
3.98/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@74e9714e
3.98/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@697d658c
3.98/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@65147b56
3.98/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ea15d1f
3.98/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@62691318
3.98/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7a3a2661
3.98/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7cbcaa62
3.98/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@27318760
3.98/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@545901b4
3.98/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ef7c996
3.98/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4549ee21
3.98/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@62659679
3.98/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3907f3b0
3.98/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@37478121
3.98/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b2cb50e
3.98/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2186e2c8
3.98/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4018cc13
3.98/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@65ef5acf
3.98/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@79b9cbc3
3.98/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5e782e5c
3.98/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@29ec9ea0
3.98/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@67b1345
3.98/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@30a3ed6c
3.98/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1ba7788
3.98/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@68c37753
3.98/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@48506b24
3.98/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5d4a0d06
3.98/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2e7a032d
3.98/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@94c2429
4.34/2.45
4.34/2.45
4.34/2.45 Domains
4.34/2.45 nTypes=61, nValues=2447, sizes=[2#497,3#2,4#1,5#2...55#1,57#1,59#1,61#1]
4.34/2.45 Variables
4.34/2.45 count=556, degrees=[2#525,30#31]
4.34/2.45 Objectives
4.34/2.45 way=min, type=SumSimpleLE
4.34/2.45 Constraints
4.34/2.45 count=526, nSpecific=31, arities=[2#31,3#466,4#1,5#1...28#1,29#1,30#2,31#1]
4.34/2.45 distribution=[CtrIntension#495,SumSimpleLE#1,SumWeightedEQ#30]
4.34/2.45 nIntStructures=(31,shared:464), nCftStructures=(31,shared:464,unbuilt:31)
4.34/2.45 wck=0.597, cpu=2.41, mem=52M936
4.34/2.45 Solver SolverBacktrack being built...
4.34/2.45
4.34/2.48
4.34/2.48 Solver
4.34/2.48 guaranteedGAC=false
4.34/2.48 wck=0.634, cpu=2.446, mem=66M221
4.34/2.49
4.34/2.49 Preprocessing
4.34/2.49 filters=0, ccks=20343, nACremovedValues=0, nTotalRemovedValues=0, inconcistency=false
4.34/2.49 wck=0.011, cpu=2.458, mem=66M221
4.34/2.49
4.71/2.54 o 9455
4.71/2.54 num=0, depth=557..555, filters=1170, revisions=(1890,useless=1185), ccks=41639, wck=0.063, mem=66M221
4.71/2.54 decisions=31, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=1, bestBound=9455
4.71/2.54
4.71/2.56 o 7715
4.71/2.56 num=1, depth=0..555, filters=2317, revisions=(3824,useless=2423), ccks=47731, wck=0.082, mem=68M864
4.71/2.56 decisions=64, wrong=1, backtracks=0, failedAssignments=1, foundSolutions=2, bestBound=7715
4.71/2.56
4.71/2.58 o 6207
4.71/2.58 num=2, depth=30..555, filters=3527, revisions=(5894,useless=3749), ccks=54324, wck=0.099, mem=68M864
4.71/2.58 decisions=96, wrong=2, backtracks=0, failedAssignments=2, nogoods=1, foundSolutions=3, bestBound=6207
4.71/2.58
4.71/2.59 num=3, depth=23..32, filters=3611, revisions=(6796,useless=4592), ccks=56865, wck=0.106, mem=68M864
4.71/2.59 decisions=162, wrong=24, backtracks=11, failedAssignments=13, nogoods=2, foundSolutions=3, bestBound=6207
4.71/2.59
4.71/2.59 num=4, depth=30..34, filters=3805, revisions=(8755,useless=6394), ccks=60725, wck=0.111, mem=68M864
4.71/2.59 decisions=234, wrong=45, backtracks=26, failedAssignments=24, nogoods=4, foundSolutions=3, bestBound=6207
4.71/2.59
5.04/2.60 num=5, depth=32..37, filters=4623, revisions=(17083,useless=13982), ccks=72677, wck=0.123, mem=68M864
5.04/2.60 decisions=314, wrong=69, backtracks=38, failedAssignments=36, nogoods=6, foundSolutions=3, bestBound=6207
5.04/2.60
5.04/2.61 num=6, depth=12..37, filters=5534, revisions=(20457,useless=16592), ccks=79013, wck=0.131, mem=68M864
5.04/2.61 decisions=389, wrong=94, backtracks=50, failedAssignments=49, nogoods=8, foundSolutions=3, bestBound=6207
5.04/2.61
5.04/2.62 num=7, depth=23..35, filters=6945, revisions=(24147,useless=19090), ccks=86394, wck=0.139, mem=68M864
5.04/2.62 decisions=464, wrong=120, backtracks=62, failedAssignments=63, nogoods=9, foundSolutions=3, bestBound=6207
5.04/2.62
5.04/2.63 o 3659
5.04/2.63 num=8, depth=557..555, filters=7962, revisions=(27612,useless=21902), ccks=95046, wck=0.15, mem=68M864
5.04/2.63 decisions=496, wrong=120, backtracks=62, failedAssignments=63, nogoods=9, foundSolutions=4, bestBound=3659
5.04/2.63
5.04/2.64 o 3187
5.04/2.65 num=9, depth=32..555, filters=9044, revisions=(31166,useless=24756), ccks=101211, wck=0.165, mem=68M864
5.04/2.65 decisions=529, wrong=121, backtracks=62, failedAssignments=64, nogoods=10, foundSolutions=5, bestBound=3187
5.04/2.65
5.04/2.66 num=10, depth=6..11, filters=9691, revisions=(37804,useless=30889), ccks=109605, wck=0.175, mem=68M864
5.04/2.66 decisions=577, wrong=142, backtracks=77, failedAssignments=75, nogoods=12, foundSolutions=5, bestBound=3187
5.04/2.66
5.04/2.67 o 727
5.04/2.67 num=11, depth=557..555, filters=10716, revisions=(41054,useless=33470), ccks=120944, wck=0.188, mem=71M506
5.04/2.67 decisions=607, wrong=142, backtracks=77, failedAssignments=75, nogoods=12, foundSolutions=6, bestBound=727
5.04/2.67
5.04/2.68 o 699
5.04/2.69 num=12, depth=30..555, filters=11803, revisions=(44386,useless=36088), ccks=129552, wck=0.204, mem=71M506
5.04/2.69 decisions=638, wrong=143, backtracks=77, failedAssignments=76, nogoods=13, foundSolutions=7, bestBound=699
5.04/2.69
5.36/2.70 o 567
5.36/2.70 num=13, depth=5..555, filters=12812, revisions=(48243,useless=39267), ccks=140118, wck=0.22, mem=71M506
5.36/2.70 decisions=675, wrong=147, backtracks=79, failedAssignments=78, nogoods=14, foundSolutions=8, bestBound=567
5.36/2.70
5.36/2.72 num=14, depth=26..29, filters=14978, revisions=(52349,useless=41686), ccks=152453, wck=0.238, mem=71M506
5.36/2.72 decisions=734, wrong=164, backtracks=86, failedAssignments=89, nogoods=18, foundSolutions=8, bestBound=567
5.36/2.72
5.36/2.74 num=15, depth=25..29, filters=17226, revisions=(56300,useless=43978), ccks=162408, wck=0.254, mem=71M506
5.36/2.74 decisions=796, wrong=182, backtracks=94, failedAssignments=100, nogoods=25, foundSolutions=8, bestBound=567
5.36/2.74
5.36/2.76 o 555
5.36/2.76 num=16, depth=24..555, filters=21033, revisions=(63320,useless=48173), ccks=181647, wck=0.281, mem=71M506
5.36/2.76 decisions=866, wrong=203, backtracks=109, failedAssignments=110, nogoods=27, foundSolutions=9, bestBound=555
5.36/2.76
5.36/2.78 o 483
5.36/2.78 num=17, depth=27..555, filters=22766, revisions=(67318,useless=50936), ccks=190187, wck=0.3, mem=74M157
5.36/2.78 decisions=906, wrong=209, backtracks=111, failedAssignments=115, nogoods=31, foundSolutions=10, bestBound=483
5.36/2.78
5.66/2.80 o 419
5.66/2.80 num=18, depth=28..555, filters=24135, revisions=(70894,useless=53566), ccks=200124, wck=0.317, mem=74M157
5.66/2.80 decisions=941, wrong=212, backtracks=113, failedAssignments=117, nogoods=32, foundSolutions=11, bestBound=419
5.66/2.80
5.66/2.81 num=19, depth=26..30, filters=26691, revisions=(75116,useless=55881), ccks=213432, wck=0.333, mem=74M157
5.66/2.81 decisions=1000, wrong=228, backtracks=120, failedAssignments=128, nogoods=36, foundSolutions=11, bestBound=419
5.66/2.81
5.66/2.83 num=20, depth=24..31, filters=28827, revisions=(79091,useless=58245), ccks=224511, wck=0.344, mem=74M157
5.66/2.83 decisions=1061, wrong=246, backtracks=132, failedAssignments=139, nogoods=39, foundSolutions=11, bestBound=419
5.66/2.83
5.66/2.84 o 391
5.66/2.84 num=21, depth=27..555, filters=30595, revisions=(83069,useless=60960), ccks=231400, wck=0.356, mem=74M157
5.66/2.84 decisions=1104, wrong=254, backtracks=134, failedAssignments=145, nogoods=42, foundSolutions=12, bestBound=391
5.66/2.84
5.66/2.85 num=22, depth=27..32, filters=32998, revisions=(87300,useless=63356), ccks=240070, wck=0.37, mem=74M157
5.66/2.85 decisions=1170, wrong=274, backtracks=146, failedAssignments=158, nogoods=46, foundSolutions=12, bestBound=391
5.66/2.85
5.66/2.86 num=23, depth=26..30, filters=34706, revisions=(90618,useless=65395), ccks=247104, wck=0.379, mem=74M157
5.66/2.86 decisions=1227, wrong=289, backtracks=153, failedAssignments=169, nogoods=48, foundSolutions=12, bestBound=391
5.66/2.86
5.66/2.88 num=24, depth=26..31, filters=37796, revisions=(95274,useless=67860), ccks=260581, wck=0.393, mem=74M157
5.66/2.88 decisions=1297, wrong=310, backtracks=164, failedAssignments=181, nogoods=51, foundSolutions=12, bestBound=391
5.66/2.88
5.66/2.89 num=25, depth=24..32, filters=40366, revisions=(99313,useless=70092), ccks=274165, wck=0.405, mem=74M157
5.66/2.89 decisions=1378, wrong=337, backtracks=181, failedAssignments=194, nogoods=53, foundSolutions=12, bestBound=391
5.66/2.89
5.66/2.90 o 363
5.96/2.90 num=26, depth=28..555, filters=41791, revisions=(102682,useless=72473), ccks=281306, wck=0.416, mem=76M799
5.96/2.90 decisions=1417, wrong=341, backtracks=183, failedAssignments=196, nogoods=54, foundSolutions=13, bestBound=363
5.96/2.90
5.96/2.91 num=27, depth=28..33, filters=43486, revisions=(105590,useless=74146), ccks=288885, wck=0.426, mem=76M799
5.96/2.91 decisions=1498, wrong=368, backtracks=195, failedAssignments=212, nogoods=55, foundSolutions=13, bestBound=363
5.96/2.91
5.96/2.92 o 355
5.96/2.92 num=28, depth=29..555, filters=44490, revisions=(108329,useless=76195), ccks=295772, wck=0.435, mem=76M799
5.96/2.92 decisions=1534, wrong=371, backtracks=195, failedAssignments=215, nogoods=58, foundSolutions=14, bestBound=355
5.96/2.92
5.96/2.93 num=29, depth=27..32, filters=46920, revisions=(111979,useless=78146), ccks=305108, wck=0.447, mem=76M799
5.96/2.93 decisions=1596, wrong=388, backtracks=202, failedAssignments=227, nogoods=63, foundSolutions=14, bestBound=355
5.96/2.93
5.96/2.94 num=30, depth=25..31, filters=49199, revisions=(115619,useless=80196), ccks=317602, wck=0.457, mem=76M799
5.96/2.94 decisions=1662, wrong=408, backtracks=217, failedAssignments=238, nogoods=66, foundSolutions=14, bestBound=355
5.96/2.94
5.96/2.95 o 327
5.96/2.95 num=31, depth=557..555, filters=50134, revisions=(118449,useless=82398), ccks=323916, wck=0.465, mem=76M799
5.96/2.95 decisions=1693, wrong=408, backtracks=217, failedAssignments=238, nogoods=66, foundSolutions=15, bestBound=327
5.96/2.95
5.96/2.96 o 279
5.96/2.96 num=32, depth=30..555, filters=51311, revisions=(121601,useless=84732), ccks=330297, wck=0.476, mem=76M799
5.96/2.96 decisions=1733, wrong=413, backtracks=219, failedAssignments=241, nogoods=67, foundSolutions=16, bestBound=279
5.96/2.96
5.96/2.97 num=33, depth=25..30, filters=53672, revisions=(125715,useless=87096), ccks=340504, wck=0.488, mem=76M799
5.96/2.97 decisions=1793, wrong=430, backtracks=228, failedAssignments=252, nogoods=71, foundSolutions=16, bestBound=279
5.96/2.97
5.96/2.98 num=34, depth=25..30, filters=56071, revisions=(129671,useless=89279), ccks=350496, wck=0.497, mem=79M442
5.96/2.98 decisions=1852, wrong=447, backtracks=238, failedAssignments=263, nogoods=72, foundSolutions=16, bestBound=279
5.96/2.98
5.96/2.98 o 267
5.96/2.99 num=35, depth=28..555, filters=57221, revisions=(132715,useless=91534), ccks=356041, wck=0.505, mem=79M442
5.96/2.99 decisions=1885, wrong=449, backtracks=238, failedAssignments=265, nogoods=74, foundSolutions=17, bestBound=267
5.96/2.99
5.96/3.00 o 247
5.96/3.00 num=36, depth=28..555, filters=58695, revisions=(136119,useless=93941), ccks=361797, wck=0.516, mem=79M442
5.96/3.00 decisions=1925, wrong=454, backtracks=239, failedAssignments=269, nogoods=78, foundSolutions=18, bestBound=247
5.96/3.00
6.29/3.01 num=37, depth=25..30, filters=61781, revisions=(141031,useless=96562), ccks=372712, wck=0.528, mem=79M442
6.29/3.01 decisions=1994, wrong=476, backtracks=255, failedAssignments=280, nogoods=80, foundSolutions=18, bestBound=247
6.29/3.01
6.29/3.02 num=38, depth=21..27, filters=64853, revisions=(147757,useless=100460), ccks=380766, wck=0.538, mem=79M442
6.29/3.02 decisions=2070, wrong=502, backtracks=278, failedAssignments=291, nogoods=82, foundSolutions=18, bestBound=247
6.29/3.02
6.29/3.03 num=39, depth=27..31, filters=66981, revisions=(151118,useless=102272), ccks=388804, wck=0.547, mem=79M442
6.29/3.03 decisions=2133, wrong=520, backtracks=288, failedAssignments=303, nogoods=86, foundSolutions=18, bestBound=247
6.29/3.03
6.29/3.04 num=40, depth=21..29, filters=70430, revisions=(158596,useless=106617), ccks=397771, wck=0.557, mem=79M442
6.29/3.04 decisions=2215, wrong=549, backtracks=313, failedAssignments=316, nogoods=89, foundSolutions=18, bestBound=247
6.29/3.04
6.29/3.05 o 231
6.29/3.05 num=41, depth=27..555, filters=72457, revisions=(162433,useless=109008), ccks=407146, wck=0.567, mem=79M442
6.29/3.05 decisions=2279, wrong=567, backtracks=322, failedAssignments=328, nogoods=92, foundSolutions=19, bestBound=231
6.29/3.05
6.29/3.06 num=42, depth=26..31, filters=76692, revisions=(168621,useless=111997), ccks=422077, wck=0.582, mem=79M442
6.29/3.06 decisions=2363, wrong=596, backtracks=339, failedAssignments=344, nogoods=94, foundSolutions=19, bestBound=231
6.29/3.06
6.29/3.07 num=43, depth=26..30, filters=78936, revisions=(171953,useless=113766), ccks=431169, wck=0.591, mem=79M442
6.29/3.07 decisions=2428, wrong=615, backtracks=349, failedAssignments=355, nogoods=97, foundSolutions=19, bestBound=231
6.29/3.07
6.29/3.08 num=44, depth=25..31, filters=81463, revisions=(175970,useless=115863), ccks=439938, wck=0.599, mem=79M442
6.29/3.08 decisions=2497, wrong=637, backtracks=364, failedAssignments=367, nogoods=98, foundSolutions=19, bestBound=231
6.29/3.08
6.29/3.09 num=45, depth=25..29, filters=84673, revisions=(180577,useless=118101), ccks=451416, wck=0.608, mem=82M85
6.29/3.09 decisions=2567, wrong=659, backtracks=377, failedAssignments=380, nogoods=104, foundSolutions=19, bestBound=231
6.29/3.09
6.29/3.10 num=46, depth=24..30, filters=89034, revisions=(186697,useless=121023), ccks=466615, wck=0.62, mem=82M85
6.29/3.10 decisions=2646, wrong=686, backtracks=399, failedAssignments=394, nogoods=107, foundSolutions=19, bestBound=231
6.29/3.10
6.61/3.11 num=47, depth=25..30, filters=91668, revisions=(190686,useless=123097), ccks=477559, wck=0.628, mem=82M85
6.61/3.11 decisions=2720, wrong=710, backtracks=414, failedAssignments=410, nogoods=114, foundSolutions=19, bestBound=231
6.61/3.11
6.61/3.12 num=48, depth=24..30, filters=95959, revisions=(196514,useless=125764), ccks=491968, wck=0.639, mem=82M85
6.61/3.12 decisions=2800, wrong=738, backtracks=436, failedAssignments=427, nogoods=117, foundSolutions=19, bestBound=231
6.61/3.12
6.61/3.13 num=49, depth=24..29, filters=99951, revisions=(201889,useless=128201), ccks=504545, wck=0.65, mem=82M85
6.61/3.13 decisions=2881, wrong=766, backtracks=455, failedAssignments=446, nogoods=119, foundSolutions=19, bestBound=231
6.61/3.13
6.61/3.14 num=50, depth=22..29, filters=104782, revisions=(208501,useless=130982), ccks=519822, wck=0.663, mem=82M85
6.61/3.14 decisions=2962, wrong=795, backtracks=475, failedAssignments=467, nogoods=126, foundSolutions=19, bestBound=231
6.61/3.14
6.61/3.16 num=51, depth=23..28, filters=109493, revisions=(215286,useless=133998), ccks=534665, wck=0.675, mem=82M85
6.61/3.16 decisions=3053, wrong=829, backtracks=502, failedAssignments=490, nogoods=130, foundSolutions=19, bestBound=231
6.61/3.16
6.61/3.17 num=52, depth=21..27, filters=115384, revisions=(223182,useless=137425), ccks=554836, wck=0.691, mem=82M85
6.61/3.17 decisions=3146, wrong=864, backtracks=527, failedAssignments=515, nogoods=137, foundSolutions=19, bestBound=231
6.61/3.17
6.61/3.19 num=53, depth=20..26, filters=122253, revisions=(232629,useless=141286), ccks=574972, wck=0.707, mem=82M85
6.61/3.19 decisions=3245, wrong=903, backtracks=558, failedAssignments=543, nogoods=140, foundSolutions=19, bestBound=231
6.61/3.19
6.88/3.21 num=54, depth=16..28, filters=127833, revisions=(245828,useless=149226), ccks=587133, wck=0.724, mem=82M85
6.88/3.21 decisions=3361, wrong=953, backtracks=606, failedAssignments=574, nogoods=143, foundSolutions=19, bestBound=231
6.88/3.21
6.88/3.22 num=55, depth=24..31, filters=133855, revisions=(253736,useless=152619), ccks=605327, wck=0.738, mem=82M85
6.88/3.22 decisions=3492, wrong=1005, backtracks=638, failedAssignments=608, nogoods=150, foundSolutions=19, bestBound=231
6.88/3.22
6.88/3.23 num=56, depth=23..28, filters=139876, revisions=(261755,useless=156043), ccks=625069, wck=0.751, mem=82M85
6.88/3.23 decisions=3620, wrong=1057, backtracks=671, failedAssignments=645, nogoods=155, foundSolutions=19, bestBound=231
6.88/3.23
6.88/3.25 num=57, depth=21..30, filters=148355, revisions=(272592,useless=160351), ccks=649700, wck=0.768, mem=82M85
6.88/3.25 decisions=3758, wrong=1114, backtracks=711, failedAssignments=686, nogoods=158, foundSolutions=19, bestBound=231
6.88/3.25
6.88/3.26 num=58, depth=20..27, filters=156887, revisions=(284045,useless=165004), ccks=670368, wck=0.784, mem=82M85
6.88/3.26 decisions=3902, wrong=1175, backtracks=748, failedAssignments=731, nogoods=165, foundSolutions=19, bestBound=231
6.88/3.26
6.88/3.28 num=59, depth=21..26, filters=166252, revisions=(296597,useless=170016), ccks=696161, wck=0.802, mem=82M85
6.88/3.28 decisions=4071, wrong=1249, backtracks=795, failedAssignments=781, nogoods=172, foundSolutions=19, bestBound=231
6.88/3.28
7.15/3.30 num=60, depth=21..29, filters=177150, revisions=(310899,useless=175626), ccks=722748, wck=0.822, mem=82M85
7.15/3.30 decisions=4240, wrong=1323, backtracks=844, failedAssignments=836, nogoods=187, foundSolutions=19, bestBound=231
7.15/3.30
7.15/3.32 num=61, depth=21..27, filters=188625, revisions=(325758,useless=181292), ccks=752692, wck=0.842, mem=82M85
7.15/3.32 decisions=4428, wrong=1406, backtracks=898, failedAssignments=897, nogoods=198, foundSolutions=19, bestBound=231
7.15/3.32
7.15/3.35 num=62, depth=20..27, filters=200994, revisions=(341529,useless=187231), ccks=788844, wck=0.865, mem=84M727
7.15/3.35 decisions=4640, wrong=1501, backtracks=962, failedAssignments=964, nogoods=200, foundSolutions=19, bestBound=231
7.15/3.35
7.15/3.37 num=63, depth=21..28, filters=213146, revisions=(357166,useless=192951), ccks=817450, wck=0.886, mem=84M727
7.15/3.37 decisions=4864, wrong=1602, backtracks=1014, failedAssignments=1038, nogoods=219, foundSolutions=19, bestBound=231
7.15/3.37
7.15/3.39 num=64, depth=20..27, filters=228197, revisions=(377146,useless=200599), ccks=853321, wck=0.91, mem=84M727
7.15/3.39 decisions=5108, wrong=1714, backtracks=1079, failedAssignments=1119, nogoods=230, foundSolutions=19, bestBound=231
7.15/3.39
7.28/3.42 num=65, depth=21..28, filters=240549, revisions=(393333,useless=206822), ccks=888579, wck=0.938, mem=84M727
7.28/3.42 decisions=5387, wrong=1843, backtracks=1154, failedAssignments=1208, nogoods=237, foundSolutions=19, bestBound=231
7.28/3.42
7.28/3.49 num=66, depth=20..27, filters=257996, revisions=(416220,useless=215420), ccks=940203, wck=1.009, mem=84M727
7.28/3.49 decisions=5689, wrong=1983, backtracks=1246, failedAssignments=1306, nogoods=245, foundSolutions=19, bestBound=231
7.28/3.49
7.47/3.54 o 223
7.47/3.55 num=67, depth=22..555, filters=273522, revisions=(435804,useless=222849), ccks=978315, wck=1.064, mem=84M727
7.47/3.55 decisions=5966, wrong=2110, backtracks=1315, failedAssignments=1396, nogoods=257, foundSolutions=20, bestBound=223
7.47/3.55
7.47/3.60 num=68, depth=21..29, filters=293913, revisions=(462449,useless=233032), ccks=1028636, wck=1.114, mem=84M727
7.47/3.60 decisions=6318, wrong=2275, backtracks=1415, failedAssignments=1515, nogoods=272, foundSolutions=20, bestBound=223
7.47/3.60
7.71/3.60 num=69, depth=22..27, filters=295467, revisions=(465412,useless=234785), ccks=1033427, wck=1.118, mem=84M727
7.71/3.60 decisions=6366, wrong=2288, backtracks=1425, failedAssignments=1526, nogoods=275, foundSolutions=20, bestBound=223
7.71/3.60
7.71/3.60 num=70, depth=22..28, filters=297746, revisions=(469023,useless=236599), ccks=1039633, wck=1.123, mem=84M727
7.71/3.60 decisions=6419, wrong=2303, backtracks=1432, failedAssignments=1538, nogoods=281, foundSolutions=20, bestBound=223
7.71/3.60
7.71/3.61 num=71, depth=21..27, filters=300936, revisions=(473686,useless=238719), ccks=1050028, wck=1.13, mem=84M727
7.71/3.61 decisions=6475, wrong=2320, backtracks=1444, failedAssignments=1551, nogoods=284, foundSolutions=20, bestBound=223
7.71/3.61
7.71/3.62 num=72, depth=22..29, filters=303116, revisions=(477242,useless=240561), ccks=1056546, wck=1.135, mem=84M727
7.71/3.62 decisions=6532, wrong=2337, backtracks=1456, failedAssignments=1565, nogoods=287, foundSolutions=20, bestBound=223
7.71/3.62
7.71/3.62 num=73, depth=22..27, filters=306269, revisions=(481938,useless=242709), ccks=1065340, wck=1.141, mem=87M370
7.71/3.62 decisions=6598, wrong=2359, backtracks=1468, failedAssignments=1581, nogoods=295, foundSolutions=20, bestBound=223
7.71/3.62
7.71/3.63 num=74, depth=21..27, filters=309552, revisions=(486872,useless=245057), ccks=1077447, wck=1.148, mem=87M370
7.71/3.63 decisions=6664, wrong=2381, backtracks=1484, failedAssignments=1598, nogoods=301, foundSolutions=20, bestBound=223
7.71/3.63
7.71/3.64 num=75, depth=21..28, filters=312957, revisions=(491971,useless=247347), ccks=1089060, wck=1.155, mem=87M370
7.71/3.64 decisions=6737, wrong=2406, backtracks=1497, failedAssignments=1617, nogoods=308, foundSolutions=20, bestBound=223
7.71/3.64
7.71/3.65 num=76, depth=21..28, filters=317710, revisions=(498984,useless=250577), ccks=1101547, wck=1.164, mem=87M370
7.71/3.65 decisions=6822, wrong=2437, backtracks=1525, failedAssignments=1638, nogoods=312, foundSolutions=20, bestBound=223
7.71/3.65
7.71/3.65 num=77, depth=22..27, filters=321307, revisions=(504512,useless=253129), ccks=1111870, wck=1.171, mem=87M370
7.71/3.65 decisions=6906, wrong=2468, backtracks=1545, failedAssignments=1661, nogoods=319, foundSolutions=20, bestBound=223
7.71/3.65
7.71/3.66 num=78, depth=22..29, filters=326048, revisions=(511084,useless=255997), ccks=1123608, wck=1.181, mem=87M370
7.71/3.66 decisions=6996, wrong=2502, backtracks=1569, failedAssignments=1686, nogoods=322, foundSolutions=20, bestBound=223
7.71/3.66
7.71/3.67 num=79, depth=21..27, filters=331532, revisions=(519086,useless=259458), ccks=1137090, wck=1.19, mem=87M370
7.71/3.67 decisions=7091, wrong=2539, backtracks=1596, failedAssignments=1714, nogoods=329, foundSolutions=20, bestBound=223
7.71/3.67
7.71/3.68 num=80, depth=21..26, filters=338016, revisions=(528120,useless=263183), ccks=1153386, wck=1.202, mem=87M370
7.71/3.68 decisions=7195, wrong=2580, backtracks=1620, failedAssignments=1745, nogoods=341, foundSolutions=20, bestBound=223
7.71/3.68
7.71/3.69 num=81, depth=21..27, filters=344348, revisions=(537026,useless=266872), ccks=1170495, wck=1.213, mem=87M370
7.71/3.69 decisions=7309, wrong=2626, backtracks=1649, failedAssignments=1779, nogoods=354, foundSolutions=20, bestBound=223
7.71/3.69
7.82/3.71 num=82, depth=21..27, filters=351513, revisions=(546733,useless=270848), ccks=1193062, wck=1.227, mem=87M370
7.82/3.71 decisions=7435, wrong=2678, backtracks=1686, failedAssignments=1816, nogoods=361, foundSolutions=20, bestBound=223
7.82/3.71
7.82/3.72 num=83, depth=21..30, filters=359896, revisions=(557787,useless=275034), ccks=1213813, wck=1.242, mem=87M370
7.82/3.72 decisions=7568, wrong=2734, backtracks=1719, failedAssignments=1857, nogoods=377, foundSolutions=20, bestBound=223
7.82/3.72
7.82/3.74 num=84, depth=19..29, filters=365922, revisions=(566939,useless=279769), ccks=1235801, wck=1.255, mem=87M370
7.82/3.74 decisions=7720, wrong=2799, backtracks=1776, failedAssignments=1902, nogoods=384, foundSolutions=20, bestBound=223
7.82/3.74
7.82/3.76 num=85, depth=20..27, filters=377493, revisions=(582152,useless=285629), ccks=1266747, wck=1.276, mem=87M370
7.82/3.76 decisions=7888, wrong=2872, backtracks=1828, failedAssignments=1952, nogoods=387, foundSolutions=20, bestBound=223
7.82/3.76
7.82/3.77 num=86, depth=20..28, filters=383937, revisions=(591936,useless=290246), ccks=1288357, wck=1.288, mem=87M370
7.82/3.77 decisions=8063, wrong=2948, backtracks=1885, failedAssignments=2007, nogoods=391, foundSolutions=20, bestBound=223
7.82/3.77
7.82/3.79 num=87, depth=20..30, filters=393226, revisions=(604383,useless=295276), ccks=1313320, wck=1.305, mem=87M370
7.82/3.79 decisions=8247, wrong=3028, backtracks=1933, failedAssignments=2068, nogoods=405, foundSolutions=20, bestBound=223
7.82/3.79
7.93/3.81 num=88, depth=20..28, filters=405749, revisions=(620665,useless=301477), ccks=1345911, wck=1.329, mem=87M370
7.93/3.81 decisions=8465, wrong=3126, backtracks=2004, failedAssignments=2135, nogoods=409, foundSolutions=20, bestBound=223
7.93/3.81
7.93/3.84 num=89, depth=19..26, filters=421960, revisions=(641518,useless=309340), ccks=1389099, wck=1.356, mem=87M370
7.93/3.84 decisions=8700, wrong=3234, backtracks=2076, failedAssignments=2209, nogoods=410, foundSolutions=20, bestBound=223
7.93/3.84
7.93/3.87 num=90, depth=20..28, filters=438475, revisions=(662726,useless=317336), ccks=1439033, wck=1.386, mem=90M12
7.93/3.87 decisions=8946, wrong=3346, backtracks=2163, failedAssignments=2290, nogoods=414, foundSolutions=20, bestBound=223
7.93/3.87
7.93/3.89 num=91, depth=20..28, filters=454285, revisions=(683634,useless=325228), ccks=1477691, wck=1.413, mem=90M12
7.93/3.89 decisions=9215, wrong=3470, backtracks=2237, failedAssignments=2379, nogoods=429, foundSolutions=20, bestBound=223
7.93/3.89
8.03/3.93 num=92, depth=20..28, filters=474346, revisions=(708805,useless=334486), ccks=1536807, wck=1.449, mem=90M12
8.03/3.93 decisions=9512, wrong=3608, backtracks=2343, failedAssignments=2477, nogoods=433, foundSolutions=20, bestBound=223
8.03/3.93
8.03/3.96 num=93, depth=20..27, filters=491366, revisions=(731462,useless=343052), ccks=1582957, wck=1.478, mem=90M12
8.03/3.96 decisions=9831, wrong=3757, backtracks=2436, failedAssignments=2585, nogoods=438, foundSolutions=20, bestBound=223
8.03/3.96
8.03/3.99 num=94, depth=21..28, filters=510776, revisions=(756011,useless=352146), ccks=1633890, wck=1.511, mem=90M12
8.03/3.99 decisions=10183, wrong=3922, backtracks=2536, failedAssignments=2704, nogoods=454, foundSolutions=20, bestBound=223
8.03/3.99
8.14/4.03 num=95, depth=20..29, filters=535893, revisions=(787442,useless=363634), ccks=1697492, wck=1.553, mem=90M12
8.14/4.03 decisions=10575, wrong=4107, backtracks=2660, failedAssignments=2835, nogoods=464, foundSolutions=20, bestBound=223
8.14/4.03
8.14/4.08 num=96, depth=19..30, filters=558167, revisions=(817322,useless=376178), ccks=1767606, wck=1.594, mem=92M655
8.14/4.08 decisions=11016, wrong=4317, backtracks=2834, failedAssignments=2979, nogoods=468, foundSolutions=20, bestBound=223
8.14/4.08
8.24/4.12 num=97, depth=19..27, filters=586389, revisions=(853000,useless=389368), ccks=1842804, wck=1.642, mem=92M655
8.24/4.12 decisions=11480, wrong=4539, backtracks=2981, failedAssignments=3137, nogoods=478, foundSolutions=20, bestBound=223
8.24/4.12
8.24/4.18 num=98, depth=20..29, filters=620339, revisions=(893920,useless=403928), ccks=1944686, wck=1.701, mem=92M655
8.24/4.18 decisions=12037, wrong=4807, backtracks=3181, failedAssignments=3311, nogoods=482, foundSolutions=20, bestBound=223
8.24/4.18
8.33/4.22 num=99, depth=17..31, filters=642829, revisions=(925395,useless=419004), ccks=2021616, wck=1.743, mem=92M655
8.33/4.22 decisions=12580, wrong=5069, backtracks=3413, failedAssignments=3502, nogoods=491, foundSolutions=20, bestBound=223
8.33/4.22
8.33/4.28 num=100, depth=19..29, filters=678735, revisions=(970612,useless=435198), ccks=2115288, wck=1.804, mem=92M655
8.33/4.28 decisions=13204, wrong=5370, backtracks=3604, failedAssignments=3713, nogoods=500, foundSolutions=20, bestBound=223
8.33/4.28
8.43/4.37 num=101, depth=19..28, filters=726932, revisions=(1031569,useless=457439), ccks=2232223, wck=1.884, mem=95M297
8.43/4.37 decisions=13910, wrong=5713, backtracks=3841, failedAssignments=3945, nogoods=504, foundSolutions=20, bestBound=223
8.43/4.37
8.53/4.44 num=102, depth=19..29, filters=773446, revisions=(1088870,useless=477860), ccks=2348692, wck=1.962, mem=95M297
8.53/4.44 decisions=14660, wrong=6077, backtracks=4076, failedAssignments=4200, nogoods=514, foundSolutions=20, bestBound=223
8.53/4.44
8.69/4.52 num=103, depth=20..32, filters=819321, revisions=(1146349,useless=499355), ccks=2473089, wck=2.04, mem=95M297
8.69/4.52 decisions=15470, wrong=6471, backtracks=4378, failedAssignments=4481, nogoods=522, foundSolutions=20, bestBound=223
8.69/4.52
8.79/4.61 num=104, depth=20..28, filters=872316, revisions=(1210316,useless=522060), ccks=2610488, wck=2.127, mem=97M940
8.79/4.61 decisions=16399, wrong=6924, backtracks=4670, failedAssignments=4790, nogoods=534, foundSolutions=20, bestBound=223
8.79/4.61
8.90/4.72 num=105, depth=19..29, filters=940305, revisions=(1295469,useless=552307), ccks=2779060, wck=2.238, mem=97M940
8.90/4.72 decisions=17421, wrong=7425, backtracks=5004, failedAssignments=5130, nogoods=546, foundSolutions=20, bestBound=223
8.90/4.72
9.01/4.82 num=106, depth=20..30, filters=1000661, revisions=(1369328,useless=579851), ccks=2955938, wck=2.34, mem=100M582
9.01/4.82 decisions=18565, wrong=7985, backtracks=5417, failedAssignments=5504, nogoods=557, foundSolutions=20, bestBound=223
9.01/4.82
9.01/4.89 o 215
9.01/4.89 num=107, depth=21..555, filters=1042945, revisions=(1421231,useless=599416), ccks=3066633, wck=2.411, mem=100M582
9.01/4.89 decisions=19402, wrong=8392, backtracks=5663, failedAssignments=5777, nogoods=567, foundSolutions=21, bestBound=215
9.01/4.89
9.13/5.00 num=108, depth=21..31, filters=1112041, revisions=(1505682,useless=628799), ccks=3242018, wck=2.523, mem=103M225
9.13/5.00 decisions=20793, wrong=9076, backtracks=6079, failedAssignments=6229, nogoods=570, foundSolutions=21, bestBound=215
9.13/5.00
9.24/5.01 num=109, depth=23..28, filters=1114848, revisions=(1509890,useless=630802), ccks=3250087, wck=2.529, mem=103M225
9.24/5.01 decisions=20852, wrong=9094, backtracks=6091, failedAssignments=6240, nogoods=572, foundSolutions=21, bestBound=215
9.24/5.01
9.24/5.02 num=110, depth=24..30, filters=1117663, revisions=(1514064,useless=632875), ccks=3258628, wck=2.535, mem=103M225
9.24/5.02 decisions=20920, wrong=9116, backtracks=6109, failedAssignments=6252, nogoods=576, foundSolutions=21, bestBound=215
9.24/5.02
9.24/5.02 num=111, depth=24..29, filters=1120453, revisions=(1518118,useless=634790), ccks=3266083, wck=2.54, mem=103M225
9.24/5.02 decisions=20987, wrong=9137, backtracks=6121, failedAssignments=6265, nogoods=579, foundSolutions=21, bestBound=215
9.24/5.02
9.24/5.03 num=112, depth=22..28, filters=1124372, revisions=(1523792,useless=637395), ccks=3278353, wck=2.548, mem=103M225
9.24/5.03 decisions=21050, wrong=9157, backtracks=6139, failedAssignments=6279, nogoods=581, foundSolutions=21, bestBound=215
9.24/5.03
9.24/5.04 num=113, depth=23..27, filters=1127861, revisions=(1528748,useless=639662), ccks=3286217, wck=2.554, mem=103M225
9.24/5.04 decisions=21115, wrong=9178, backtracks=6150, failedAssignments=6295, nogoods=588, foundSolutions=21, bestBound=215
9.24/5.04
9.24/5.04 num=114, depth=23..29, filters=1131543, revisions=(1534037,useless=642018), ccks=3296061, wck=2.561, mem=103M225
9.24/5.04 decisions=21188, wrong=9202, backtracks=6166, failedAssignments=6312, nogoods=595, foundSolutions=21, bestBound=215
9.24/5.04
9.24/5.05 num=115, depth=21..31, filters=1135414, revisions=(1539482,useless=644695), ccks=3306341, wck=2.568, mem=103M225
9.24/5.05 decisions=21256, wrong=9225, backtracks=6184, failedAssignments=6331, nogoods=600, foundSolutions=21, bestBound=215
9.24/5.05
9.24/5.06 num=116, depth=23..28, filters=1139520, revisions=(1545263,useless=647127), ccks=3316298, wck=2.576, mem=103M225
9.24/5.06 decisions=21341, wrong=9255, backtracks=6200, failedAssignments=6352, nogoods=611, foundSolutions=21, bestBound=215
9.24/5.06
9.24/5.07 num=117, depth=22..28, filters=1145045, revisions=(1552866,useless=650366), ccks=3330237, wck=2.586, mem=103M225
9.24/5.07 decisions=21427, wrong=9286, backtracks=6221, failedAssignments=6375, nogoods=619, foundSolutions=21, bestBound=215
9.24/5.07
9.24/5.08 num=118, depth=21..27, filters=1150390, revisions=(1560326,useless=653647), ccks=3344454, wck=2.597, mem=103M225
9.24/5.08 decisions=21516, wrong=9319, backtracks=6244, failedAssignments=6400, nogoods=627, foundSolutions=21, bestBound=215
9.24/5.08
9.24/5.09 num=119, depth=19..30, filters=1159339, revisions=(1571727,useless=658538), ccks=3362909, wck=2.613, mem=103M225
9.24/5.09 decisions=21611, wrong=9356, backtracks=6279, failedAssignments=6428, nogoods=629, foundSolutions=21, bestBound=215
9.24/5.09
9.24/5.10 num=120, depth=22..29, filters=1164334, revisions=(1578764,useless=661436), ccks=3376394, wck=2.622, mem=103M225
9.24/5.10 decisions=21725, wrong=9402, backtracks=6302, failedAssignments=6459, nogoods=641, foundSolutions=21, bestBound=215
9.24/5.10
9.35/5.12 num=121, depth=22..28, filters=1170982, revisions=(1587785,useless=665096), ccks=3394873, wck=2.634, mem=103M225
9.35/5.12 decisions=21838, wrong=9447, backtracks=6332, failedAssignments=6493, nogoods=647, foundSolutions=21, bestBound=215
9.35/5.12
9.35/5.13 num=122, depth=21..27, filters=1177601, revisions=(1597085,useless=668781), ccks=3411644, wck=2.646, mem=103M225
9.35/5.13 decisions=21969, wrong=9501, backtracks=6358, failedAssignments=6530, nogoods=656, foundSolutions=21, bestBound=215
9.35/5.13
9.35/5.14 num=123, depth=21..27, filters=1184199, revisions=(1606383,useless=672467), ccks=3429237, wck=2.657, mem=103M225
9.35/5.14 decisions=22111, wrong=9561, backtracks=6386, failedAssignments=6571, nogoods=661, foundSolutions=21, bestBound=215
9.35/5.14
9.35/5.15 num=124, depth=19..28, filters=1189060, revisions=(1614495,useless=677056), ccks=3449251, wck=2.668, mem=103M225
9.35/5.15 decisions=22246, wrong=9618, backtracks=6439, failedAssignments=6616, nogoods=669, foundSolutions=21, bestBound=215
9.35/5.15
9.35/5.16 num=125, depth=22..28, filters=1194187, revisions=(1622421,useless=680592), ccks=3462703, wck=2.677, mem=103M225
9.35/5.16 decisions=22406, wrong=9687, backtracks=6474, failedAssignments=6666, nogoods=680, foundSolutions=21, bestBound=215
9.35/5.16
9.35/5.18 num=126, depth=18..32, filters=1207967, revisions=(1639906,useless=687732), ccks=3492241, wck=2.702, mem=103M225
9.35/5.18 decisions=22587, wrong=9766, backtracks=6530, failedAssignments=6721, nogoods=689, foundSolutions=21, bestBound=215
9.35/5.18
9.45/5.20 num=127, depth=20..29, filters=1218408, revisions=(1654154,useless=693093), ccks=3515864, wck=2.719, mem=105M867
9.45/5.20 decisions=22785, wrong=9854, backtracks=6574, failedAssignments=6782, nogoods=694, foundSolutions=21, bestBound=215
9.45/5.20
9.45/5.22 num=128, depth=20..26, filters=1231897, revisions=(1672309,useless=700112), ccks=3547671, wck=2.742, mem=105M867
9.45/5.22 decisions=22990, wrong=9946, backtracks=6626, failedAssignments=6849, nogoods=709, foundSolutions=21, bestBound=215
9.45/5.22
9.45/5.24 num=129, depth=19..30, filters=1242406, revisions=(1687411,useless=707160), ccks=3581841, wck=2.762, mem=105M867
9.45/5.24 decisions=23242, wrong=10061, backtracks=6721, failedAssignments=6923, nogoods=715, foundSolutions=21, bestBound=215
9.45/5.24
9.45/5.27 num=130, depth=21..27, filters=1256950, revisions=(1705999,useless=714107), ccks=3620404, wck=2.787, mem=105M867
9.45/5.27 decisions=23498, wrong=10178, backtracks=6789, failedAssignments=7004, nogoods=722, foundSolutions=21, bestBound=215
9.45/5.27
9.57/5.30 num=131, depth=20..27, filters=1274790, revisions=(1728758,useless=722479), ccks=3664584, wck=2.817, mem=105M867
9.57/5.30 decisions=23768, wrong=10302, backtracks=6863, failedAssignments=7093, nogoods=734, foundSolutions=21, bestBound=215
9.57/5.30
9.57/5.34 o 199
9.57/5.35 num=132, depth=19..555, filters=1300785, revisions=(1760473,useless=734925), ccks=3720931, wck=2.865, mem=105M867
9.57/5.35 decisions=24054, wrong=10435, backtracks=6971, failedAssignments=7182, nogoods=741, foundSolutions=22, bestBound=199
9.57/5.35
9.57/5.38 num=133, depth=21..29, filters=1318972, revisions=(1785364,useless=744380), ccks=3763033, wck=2.897, mem=105M867
9.57/5.38 decisions=24389, wrong=10592, backtracks=7062, failedAssignments=7290, nogoods=754, foundSolutions=22, bestBound=199
9.57/5.38
9.57/5.38 num=134, depth=19..28, filters=1320296, revisions=(1788137,useless=746188), ccks=3767491, wck=2.901, mem=105M867
9.57/5.38 decisions=24438, wrong=10606, backtracks=7074, failedAssignments=7301, nogoods=756, foundSolutions=22, bestBound=199
9.57/5.38
9.57/5.39 num=135, depth=21..27, filters=1322722, revisions=(1792123,useless=748233), ccks=3773963, wck=2.906, mem=105M867
9.57/5.39 decisions=24489, wrong=10621, backtracks=7085, failedAssignments=7313, nogoods=760, foundSolutions=22, bestBound=199
9.57/5.39
9.57/5.39 num=136, depth=21..27, filters=1325870, revisions=(1796757,useless=750534), ccks=3782302, wck=2.912, mem=105M867
9.57/5.39 decisions=24544, wrong=10637, backtracks=7096, failedAssignments=7326, nogoods=766, foundSolutions=22, bestBound=199
9.57/5.39
9.73/5.40 num=137, depth=21..29, filters=1327459, revisions=(1799809,useless=752369), ccks=3786493, wck=2.916, mem=108M509
9.73/5.40 decisions=24598, wrong=10653, backtracks=7108, failedAssignments=7340, nogoods=771, foundSolutions=22, bestBound=199
9.73/5.40
9.73/5.40 num=138, depth=21..25, filters=1330449, revisions=(1804431,useless=754621), ccks=3795596, wck=2.922, mem=108M509
9.73/5.40 decisions=24669, wrong=10678, backtracks=7121, failedAssignments=7356, nogoods=781, foundSolutions=22, bestBound=199
9.73/5.40
9.73/5.41 num=139, depth=21..26, filters=1333866, revisions=(1809566,useless=756889), ccks=3804445, wck=2.929, mem=108M509
9.73/5.41 decisions=24736, wrong=10701, backtracks=7129, failedAssignments=7373, nogoods=792, foundSolutions=22, bestBound=199
9.73/5.41
9.73/5.42 num=140, depth=21..26, filters=1337999, revisions=(1815589,useless=759530), ccks=3814462, wck=2.937, mem=108M509
9.73/5.42 decisions=24804, wrong=10724, backtracks=7145, failedAssignments=7392, nogoods=799, foundSolutions=22, bestBound=199
9.73/5.42
9.73/5.42 num=141, depth=22..28, filters=1341419, revisions=(1820903,useless=762121), ccks=3822366, wck=2.943, mem=108M509
9.73/5.42 decisions=24879, wrong=10750, backtracks=7163, failedAssignments=7413, nogoods=804, foundSolutions=22, bestBound=199
9.73/5.42
9.73/5.43 num=142, depth=22..26, filters=1344713, revisions=(1825941,useless=764398), ccks=3830587, wck=2.95, mem=108M509
9.73/5.43 decisions=24966, wrong=10782, backtracks=7177, failedAssignments=7436, nogoods=814, foundSolutions=22, bestBound=199
9.73/5.43
9.73/5.44 num=143, depth=20..29, filters=1349372, revisions=(1832661,useless=767659), ccks=3842890, wck=2.959, mem=108M509
9.73/5.44 decisions=25048, wrong=10812, backtracks=7205, failedAssignments=7461, nogoods=817, foundSolutions=22, bestBound=199
9.73/5.44
9.73/5.45 num=144, depth=21..28, filters=1354764, revisions=(1840289,useless=770798), ccks=3856283, wck=2.969, mem=108M509
9.73/5.45 decisions=25145, wrong=10849, backtracks=7226, failedAssignments=7489, nogoods=826, foundSolutions=22, bestBound=199
9.73/5.45
9.73/5.46 num=145, depth=20..28, filters=1361075, revisions=(1849013,useless=774713), ccks=3871474, wck=2.98, mem=108M509
9.73/5.46 decisions=25255, wrong=10893, backtracks=7259, failedAssignments=7520, nogoods=831, foundSolutions=22, bestBound=199
9.73/5.46
9.73/5.47 num=146, depth=21..27, filters=1367633, revisions=(1858039,useless=778475), ccks=3884766, wck=2.991, mem=108M509
9.73/5.47 decisions=25365, wrong=10937, backtracks=7279, failedAssignments=7554, nogoods=848, foundSolutions=22, bestBound=199
9.73/5.47
9.73/5.48 num=147, depth=21..27, filters=1374209, revisions=(1867299,useless=782445), ccks=3902761, wck=3.004, mem=108M509
9.73/5.48 decisions=25488, wrong=10988, backtracks=7310, failedAssignments=7591, nogoods=864, foundSolutions=22, bestBound=199
9.73/5.48
9.85/5.50 num=148, depth=19..30, filters=1383313, revisions=(1879635,useless=787880), ccks=3924599, wck=3.021, mem=108M509
9.85/5.50 decisions=25617, wrong=11042, backtracks=7358, failedAssignments=7632, nogoods=869, foundSolutions=22, bestBound=199
9.85/5.50
9.85/5.51 num=149, depth=22..26, filters=1390761, revisions=(1889650,useless=791746), ccks=3942206, wck=3.033, mem=108M509
9.85/5.51 decisions=25763, wrong=11104, backtracks=7389, failedAssignments=7677, nogoods=886, foundSolutions=22, bestBound=199
9.85/5.51
9.85/5.54 num=150, depth=19..28, filters=1402305, revisions=(1904616,useless=797730), ccks=3968847, wck=3.054, mem=108M509
9.85/5.54 decisions=25942, wrong=11183, backtracks=7445, failedAssignments=7727, nogoods=890, foundSolutions=22, bestBound=199
9.85/5.54
9.85/5.55 num=151, depth=19..27, filters=1412915, revisions=(1919445,useless=803996), ccks=3998552, wck=3.074, mem=108M509
9.85/5.55 decisions=26114, wrong=11258, backtracks=7498, failedAssignments=7782, nogoods=895, foundSolutions=22, bestBound=199
9.85/5.55
9.85/5.57 num=152, depth=21..28, filters=1421375, revisions=(1931383,useless=809149), ccks=4022390, wck=3.089, mem=108M509
9.85/5.57 decisions=26310, wrong=11345, backtracks=7562, failedAssignments=7843, nogoods=907, foundSolutions=22, bestBound=199
9.85/5.57
9.85/5.59 num=153, depth=20..27, filters=1434177, revisions=(1948844,useless=815817), ccks=4053348, wck=3.11, mem=108M509
9.85/5.59 decisions=26516, wrong=11437, backtracks=7612, failedAssignments=7910, nogoods=914, foundSolutions=22, bestBound=199
9.85/5.59
9.95/5.62 num=154, depth=19..27, filters=1447747, revisions=(1967037,useless=823047), ccks=4089245, wck=3.134, mem=111M152
9.95/5.62 decisions=26738, wrong=11537, backtracks=7674, failedAssignments=7984, nogoods=918, foundSolutions=22, bestBound=199
9.95/5.62
9.95/5.64 num=155, depth=20..27, filters=1460736, revisions=(1984735,useless=830089), ccks=4120911, wck=3.156, mem=111M152
9.95/5.64 decisions=26983, wrong=11649, backtracks=7742, failedAssignments=8065, nogoods=928, foundSolutions=22, bestBound=199
9.95/5.64
9.95/5.68 num=156, depth=17..29, filters=1485624, revisions=(2015650,useless=843337), ccks=4171074, wck=3.198, mem=111M152
9.95/5.68 decisions=27283, wrong=11789, backtracks=7850, failedAssignments=8154, nogoods=941, foundSolutions=22, bestBound=199
9.95/5.68
10.05/5.71 num=157, depth=20..27, filters=1502815, revisions=(2038123,useless=852101), ccks=4216445, wck=3.23, mem=111M152
10.05/5.71 decisions=27585, wrong=11929, backtracks=7948, failedAssignments=8252, nogoods=948, foundSolutions=22, bestBound=199
10.05/5.71
10.05/5.75 num=158, depth=20..28, filters=1523386, revisions=(2065250,useless=862827), ccks=4266066, wck=3.264, mem=111M152
10.05/5.75 decisions=27920, wrong=12086, backtracks=8054, failedAssignments=8360, nogoods=955, foundSolutions=22, bestBound=199
10.05/5.75
10.05/5.77 num=159, depth=19..27, filters=1540453, revisions=(2088893,useless=871874), ccks=4306646, wck=3.292, mem=111M152
10.05/5.77 decisions=28289, wrong=12260, backtracks=8136, failedAssignments=8479, nogoods=970, foundSolutions=22, bestBound=199
10.05/5.77
10.15/5.83 num=160, depth=17..28, filters=1575244, revisions=(2132910,useless=889654), ccks=4382708, wck=3.351, mem=111M152
10.15/5.83 decisions=28733, wrong=12472, backtracks=8305, failedAssignments=8610, nogoods=974, foundSolutions=22, bestBound=199
10.15/5.83
10.15/5.87 num=161, depth=20..29, filters=1600585, revisions=(2165743,useless=901686), ccks=4443593, wck=3.393, mem=113M794
10.15/5.87 decisions=29150, wrong=12670, backtracks=8432, failedAssignments=8754, nogoods=980, foundSolutions=22, bestBound=199
10.15/5.87
10.25/5.92 num=162, depth=19..28, filters=1625938, revisions=(2199600,useless=915490), ccks=4508039, wck=3.437, mem=113M794
10.25/5.92 decisions=29620, wrong=12895, backtracks=8592, failedAssignments=8912, nogoods=982, foundSolutions=22, bestBound=199
10.25/5.92
10.25/5.96 num=163, depth=20..29, filters=1647543, revisions=(2229599,useless=928498), ccks=4576723, wck=3.475, mem=113M794
10.25/5.96 decisions=30141, wrong=13145, backtracks=8777, failedAssignments=9086, nogoods=991, foundSolutions=22, bestBound=199
10.25/5.96
10.36/6.01 num=164, depth=20..29, filters=1678815, revisions=(2268723,useless=942989), ccks=4652755, wck=3.526, mem=113M794
10.36/6.01 decisions=30710, wrong=13419, backtracks=8953, failedAssignments=9277, nogoods=1004, foundSolutions=22, bestBound=199
10.36/6.01
10.36/6.06 num=165, depth=19..27, filters=1712303, revisions=(2313593,useless=960301), ccks=4731235, wck=3.581, mem=113M794
10.36/6.06 decisions=31343, wrong=13725, backtracks=9131, failedAssignments=9488, nogoods=1017, foundSolutions=22, bestBound=199
10.36/6.06
10.46/6.14 num=166, depth=19..28, filters=1759270, revisions=(2372252,useless=980988), ccks=4844742, wck=3.657, mem=116M437
10.46/6.14 decisions=32040, wrong=14062, backtracks=9347, failedAssignments=9720, nogoods=1024, foundSolutions=22, bestBound=199
10.46/6.14
10.55/6.22 num=167, depth=19..27, filters=1808335, revisions=(2434444,useless=1002889), ccks=4965090, wck=3.737, mem=116M437
10.55/6.22 decisions=32787, wrong=14425, backtracks=9574, failedAssignments=9975, nogoods=1040, foundSolutions=22, bestBound=199
10.55/6.22
10.65/6.31 num=168, depth=19..28, filters=1860838, revisions=(2498212,useless=1024771), ccks=5101567, wck=3.825, mem=116M437
10.65/6.31 decisions=33618, wrong=14830, backtracks=9844, failedAssignments=10256, nogoods=1046, foundSolutions=22, bestBound=199
10.65/6.31
10.75/6.42 o 187
10.75/6.42 num=169, depth=19..555, filters=1928318, revisions=(2580438,useless=1056149), ccks=5266929, wck=3.94, mem=119M79
10.75/6.42 decisions=34553, wrong=15287, backtracks=10227, failedAssignments=10564, nogoods=1056, foundSolutions=23, bestBound=187
10.75/6.42
10.85/6.54 num=170, depth=19..29, filters=1994612, revisions=(2663546,useless=1086309), ccks=5443046, wck=4.054, mem=121M721
10.85/6.54 decisions=35594, wrong=15797, backtracks=10599, failedAssignments=10904, nogoods=1063, foundSolutions=23, bestBound=187
10.85/6.54
10.85/6.54 num=171, depth=22..26, filters=1997009, revisions=(2667400,useless=1088199), ccks=5450683, wck=4.059, mem=121M721
10.85/6.54 decisions=35645, wrong=15811, backtracks=10604, failedAssignments=10915, nogoods=1072, foundSolutions=23, bestBound=187
10.85/6.54
10.85/6.55 num=172, depth=21..26, filters=2000194, revisions=(2672073,useless=1090319), ccks=5459338, wck=4.066, mem=121M721
10.85/6.55 decisions=35702, wrong=15828, backtracks=10614, failedAssignments=10927, nogoods=1074, foundSolutions=23, bestBound=187
10.85/6.55
10.85/6.55 num=173, depth=22..28, filters=2002403, revisions=(2675856,useless=1092298), ccks=5466363, wck=4.071, mem=121M721
10.85/6.55 decisions=35763, wrong=15847, backtracks=10626, failedAssignments=10940, nogoods=1081, foundSolutions=23, bestBound=187
10.85/6.55
10.85/6.56 num=174, depth=22..27, filters=2005164, revisions=(2680094,useless=1094325), ccks=5473888, wck=4.077, mem=121M721
10.85/6.56 decisions=35822, wrong=15865, backtracks=10634, failedAssignments=10954, nogoods=1091, foundSolutions=23, bestBound=187
10.85/6.56
10.85/6.56 num=175, depth=21..26, filters=2008267, revisions=(2684895,useless=1096595), ccks=5480908, wck=4.083, mem=121M721
10.85/6.56 decisions=35882, wrong=15884, backtracks=10646, failedAssignments=10970, nogoods=1098, foundSolutions=23, bestBound=187
10.85/6.56
10.85/6.57 num=176, depth=22..28, filters=2011265, revisions=(2689534,useless=1098809), ccks=5487875, wck=4.089, mem=121M721
10.85/6.57 decisions=35952, wrong=15907, backtracks=10659, failedAssignments=10987, nogoods=1101, foundSolutions=23, bestBound=187
10.85/6.57
10.85/6.58 num=177, depth=21..27, filters=2015947, revisions=(2695963,useless=1101466), ccks=5498778, wck=4.098, mem=121M721
10.85/6.58 decisions=36025, wrong=15932, backtracks=10673, failedAssignments=11006, nogoods=1107, foundSolutions=23, bestBound=187
10.85/6.58
10.85/6.59 num=178, depth=22..28, filters=2019430, revisions=(2701127,useless=1103689), ccks=5507272, wck=4.104, mem=121M721
10.85/6.59 decisions=36103, wrong=15959, backtracks=10683, failedAssignments=11027, nogoods=1121, foundSolutions=23, bestBound=187
10.85/6.59
10.85/6.59 num=179, depth=21..27, filters=2023940, revisions=(2707698,useless=1106654), ccks=5519080, wck=4.113, mem=121M721
10.85/6.59 decisions=36190, wrong=15992, backtracks=10707, failedAssignments=11050, nogoods=1125, foundSolutions=23, bestBound=187
10.85/6.59
10.96/6.60 num=180, depth=21..28, filters=2028348, revisions=(2714144,useless=1109435), ccks=5530928, wck=4.122, mem=121M721
10.96/6.60 decisions=36281, wrong=16026, backtracks=10726, failedAssignments=11075, nogoods=1130, foundSolutions=23, bestBound=187
10.96/6.60
10.96/6.62 num=181, depth=19..29, filters=2035255, revisions=(2723216,useless=1113511), ccks=5544033, wck=4.135, mem=121M721
10.96/6.62 decisions=36371, wrong=16060, backtracks=10749, failedAssignments=11103, nogoods=1138, foundSolutions=23, bestBound=187
10.96/6.62
10.96/6.63 num=182, depth=20..28, filters=2043036, revisions=(2733502,useless=1117784), ccks=5559951, wck=4.149, mem=121M721
10.96/6.63 decisions=36479, wrong=16103, backtracks=10780, failedAssignments=11134, nogoods=1145, foundSolutions=23, bestBound=187
10.96/6.63
10.96/6.65 num=183, depth=19..28, filters=2050753, revisions=(2744124,useless=1122580), ccks=5576944, wck=4.164, mem=121M721
10.96/6.65 decisions=36593, wrong=16149, backtracks=10820, failedAssignments=11168, nogoods=1151, foundSolutions=23, bestBound=187
10.96/6.65
10.96/6.66 num=184, depth=21..27, filters=2057056, revisions=(2753203,useless=1126412), ccks=5592254, wck=4.176, mem=121M721
10.96/6.66 decisions=36713, wrong=16198, backtracks=10850, failedAssignments=11205, nogoods=1159, foundSolutions=23, bestBound=187
10.96/6.66
10.96/6.67 num=185, depth=20..28, filters=2065702, revisions=(2764912,useless=1131444), ccks=5611816, wck=4.192, mem=121M721
10.96/6.67 decisions=36850, wrong=16256, backtracks=10888, failedAssignments=11246, nogoods=1174, foundSolutions=23, bestBound=187
10.96/6.67
10.96/6.69 num=186, depth=20..26, filters=2073179, revisions=(2775417,useless=1135827), ccks=5632774, wck=4.206, mem=121M721
10.96/6.69 decisions=36994, wrong=16317, backtracks=10930, failedAssignments=11291, nogoods=1177, foundSolutions=23, bestBound=187
10.96/6.69
11.07/6.70 num=187, depth=20..28, filters=2079156, revisions=(2784426,useless=1140168), ccks=5649751, wck=4.218, mem=121M721
11.07/6.70 decisions=37146, wrong=16382, backtracks=10979, failedAssignments=11341, nogoods=1187, foundSolutions=23, bestBound=187
11.07/6.70
11.07/6.72 num=188, depth=20..28, filters=2090684, revisions=(2799812,useless=1146216), ccks=5679564, wck=4.239, mem=121M721
11.07/6.72 decisions=37308, wrong=16451, backtracks=11033, failedAssignments=11396, nogoods=1198, foundSolutions=23, bestBound=187
11.07/6.72
11.07/6.74 num=189, depth=20..27, filters=2102641, revisions=(2815694,useless=1152221), ccks=5710482, wck=4.26, mem=121M721
11.07/6.74 decisions=37497, wrong=16535, backtracks=11090, failedAssignments=11457, nogoods=1209, foundSolutions=23, bestBound=187
11.07/6.74
11.07/6.76 num=190, depth=20..28, filters=2115825, revisions=(2833644,useless=1159057), ccks=5741080, wck=4.283, mem=124M364
11.07/6.76 decisions=37702, wrong=16627, backtracks=11146, failedAssignments=11524, nogoods=1220, foundSolutions=23, bestBound=187
11.07/6.76
11.07/6.79 num=191, depth=19..29, filters=2129945, revisions=(2853067,useless=1166840), ccks=5775073, wck=4.308, mem=124M364
11.07/6.79 decisions=37938, wrong=16735, backtracks=11219, failedAssignments=11598, nogoods=1225, foundSolutions=23, bestBound=187
11.07/6.79
11.17/6.81 num=192, depth=20..28, filters=2138206, revisions=(2865807,useless=1172994), ccks=5801207, wck=4.324, mem=124M364
11.17/6.81 decisions=38167, wrong=16839, backtracks=11293, failedAssignments=11679, nogoods=1238, foundSolutions=23, bestBound=187
11.17/6.81
11.17/6.83 num=193, depth=20..27, filters=2150795, revisions=(2883009,useless=1179789), ccks=5833122, wck=4.347, mem=124M364
11.17/6.83 decisions=38430, wrong=16959, backtracks=11365, failedAssignments=11768, nogoods=1247, foundSolutions=23, bestBound=187
11.17/6.83
11.17/6.85 num=194, depth=20..30, filters=2160710, revisions=(2897414,useless=1186045), ccks=5860659, wck=4.365, mem=124M364
11.17/6.85 decisions=38713, wrong=17090, backtracks=11455, failedAssignments=11866, nogoods=1251, foundSolutions=23, bestBound=187
11.17/6.85
11.17/6.88 num=195, depth=18..30, filters=2182225, revisions=(2926782,useless=1198742), ccks=5909206, wck=4.403, mem=124M364
11.17/6.88 decisions=39054, wrong=17251, backtracks=11586, failedAssignments=11974, nogoods=1255, foundSolutions=23, bestBound=187
11.17/6.88
11.27/6.92 num=196, depth=19..29, filters=2205228, revisions=(2956594,useless=1209645), ccks=5968236, wck=4.443, mem=124M364
11.27/6.92 decisions=39415, wrong=17420, backtracks=11692, failedAssignments=12093, nogoods=1263, foundSolutions=23, bestBound=187
11.27/6.92
11.27/6.97 num=197, depth=18..28, filters=2232498, revisions=(2994162,useless=1225402), ccks=6028743, wck=4.489, mem=124M364
11.27/6.97 decisions=39828, wrong=17616, backtracks=11810, failedAssignments=12224, nogoods=1279, foundSolutions=23, bestBound=187
11.27/6.97
11.27/7.00 num=198, depth=20..29, filters=2247586, revisions=(3016288,useless=1234968), ccks=6062008, wck=4.517, mem=127M6
11.27/7.00 decisions=40256, wrong=17818, backtracks=11947, failedAssignments=12368, nogoods=1289, foundSolutions=23, bestBound=187
11.27/7.00
11.38/7.05 num=199, depth=20..28, filters=2275095, revisions=(3050900,useless=1247656), ccks=6134154, wck=4.564, mem=127M6
11.38/7.05 decisions=40736, wrong=18047, backtracks=12096, failedAssignments=12526, nogoods=1304, foundSolutions=23, bestBound=187
11.38/7.05
11.38/7.09 num=200, depth=20..29, filters=2303272, revisions=(3087579,useless=1261389), ccks=6203068, wck=4.613, mem=127M6
11.38/7.09 decisions=41249, wrong=18293, backtracks=12260, failedAssignments=12700, nogoods=1315, foundSolutions=23, bestBound=187
11.38/7.09
11.48/7.15 num=201, depth=19..28, filters=2338189, revisions=(3133015,useless=1278106), ccks=6283323, wck=4.671, mem=127M6
11.48/7.15 decisions=41804, wrong=18560, backtracks=12427, failedAssignments=12891, nogoods=1323, foundSolutions=23, bestBound=187
11.48/7.15
11.57/7.22 num=202, depth=18..29, filters=2376275, revisions=(3183581,useless=1297541), ccks=6378250, wck=4.737, mem=129M649
11.57/7.22 decisions=42434, wrong=18865, backtracks=12612, failedAssignments=13102, nogoods=1327, foundSolutions=23, bestBound=187
11.57/7.22
11.57/7.29 num=203, depth=19..31, filters=2417563, revisions=(3236411,useless=1317474), ccks=6480918, wck=4.806, mem=129M649
11.57/7.29 decisions=43123, wrong=19198, backtracks=12862, failedAssignments=13334, nogoods=1338, foundSolutions=23, bestBound=187
11.57/7.29
11.67/7.36 num=204, depth=19..29, filters=2461102, revisions=(3292007,useless=1337706), ccks=6594560, wck=4.882, mem=129M649
11.67/7.36 decisions=43892, wrong=19572, backtracks=13113, failedAssignments=13589, nogoods=1349, foundSolutions=23, bestBound=187
11.67/7.36
11.77/7.43 num=205, depth=18..29, filters=2498216, revisions=(3342746,useless=1359384), ccks=6705805, wck=4.947, mem=129M649
11.77/7.43 decisions=44750, wrong=19991, backtracks=13433, failedAssignments=13870, nogoods=1358, foundSolutions=23, bestBound=187
11.77/7.43
11.87/7.51 num=206, depth=17..28, filters=2543033, revisions=(3406515,useless=1388965), ccks=6860021, wck=5.031, mem=132M291
11.87/7.51 decisions=45815, wrong=20513, backtracks=13885, failedAssignments=14179, nogoods=1368, foundSolutions=23, bestBound=187
11.87/7.51
11.97/7.61 num=207, depth=18..28, filters=2604095, revisions=(3484482,useless=1418725), ccks=7004645, wck=5.132, mem=132M291
11.97/7.61 decisions=46802, wrong=20995, backtracks=14226, failedAssignments=14519, nogoods=1376, foundSolutions=23, bestBound=187
11.97/7.61
12.07/7.72 num=208, depth=19..30, filters=2664378, revisions=(3559547,useless=1446041), ccks=7167697, wck=5.234, mem=134M934
12.07/7.72 decisions=47945, wrong=21555, backtracks=14617, failedAssignments=14893, nogoods=1382, foundSolutions=23, bestBound=187
12.07/7.72
12.17/7.82 num=209, depth=18..28, filters=2729903, revisions=(3644090,useless=1476578), ccks=7329003, wck=5.343, mem=134M934
12.17/7.82 decisions=49185, wrong=22165, backtracks=14982, failedAssignments=15304, nogoods=1384, foundSolutions=23, bestBound=187
12.17/7.82
12.27/7.96 num=210, depth=19..29, filters=2813322, revisions=(3745168,useless=1512495), ccks=7550952, wck=5.481, mem=137M576
12.27/7.96 decisions=50561, wrong=22842, backtracks=15450, failedAssignments=15756, nogoods=1390, foundSolutions=23, bestBound=187
12.27/7.96
12.38/8.10 o 179
12.38/8.10 num=211, depth=19..555, filters=2897563, revisions=(3849537,useless=1550781), ccks=7766300, wck=5.624, mem=137M576
12.38/8.10 decisions=51954, wrong=23528, backtracks=15982, failedAssignments=16221, nogoods=1402, foundSolutions=24, bestBound=179
12.38/8.10
12.57/8.29 num=212, depth=19..31, filters=3002653, revisions=(3976899,useless=1595516), ccks=8042506, wck=5.804, mem=140M218
12.57/8.29 decisions=53595, wrong=24338, backtracks=16582, failedAssignments=16768, nogoods=1412, foundSolutions=24, bestBound=179
12.57/8.29
12.57/8.29 num=213, depth=21..26, filters=3004595, revisions=(3980237,useless=1597308), ccks=8050076, wck=5.809, mem=140M218
12.57/8.29 decisions=53643, wrong=24351, backtracks=16589, failedAssignments=16779, nogoods=1417, foundSolutions=24, bestBound=179
12.57/8.29
12.57/8.30 num=214, depth=22..27, filters=3006628, revisions=(3983891,useless=1599261), ccks=8056703, wck=5.814, mem=140M218
12.57/8.30 decisions=53696, wrong=24366, backtracks=16602, failedAssignments=16791, nogoods=1421, foundSolutions=24, bestBound=179
12.57/8.30
12.67/8.30 num=215, depth=20..28, filters=3008377, revisions=(3987148,useless=1601208), ccks=8062282, wck=5.818, mem=140M218
12.67/8.30 decisions=53752, wrong=24383, backtracks=16613, failedAssignments=16804, nogoods=1427, foundSolutions=24, bestBound=179
12.67/8.30
12.67/8.31 num=216, depth=21..25, filters=3011249, revisions=(3991781,useless=1603527), ccks=8069090, wck=5.824, mem=140M218
12.67/8.31 decisions=53811, wrong=24401, backtracks=16623, failedAssignments=16818, nogoods=1435, foundSolutions=24, bestBound=179
12.67/8.31
12.67/8.31 num=217, depth=21..28, filters=3014661, revisions=(3996878,useless=1605859), ccks=8077972, wck=5.831, mem=140M218
12.67/8.31 decisions=53875, wrong=24422, backtracks=16638, failedAssignments=16834, nogoods=1440, foundSolutions=24, bestBound=179
12.67/8.31
12.67/8.32 num=218, depth=21..26, filters=3018835, revisions=(4003154,useless=1608735), ccks=8089976, wck=5.84, mem=140M218
12.67/8.32 decisions=53940, wrong=24444, backtracks=16657, failedAssignments=16851, nogoods=1447, foundSolutions=24, bestBound=179
12.67/8.32
12.67/8.33 num=219, depth=21..28, filters=3022523, revisions=(4008801,useless=1611336), ccks=8100081, wck=5.847, mem=140M218
12.67/8.33 decisions=54012, wrong=24469, backtracks=16675, failedAssignments=16870, nogoods=1454, foundSolutions=24, bestBound=179
12.67/8.33
12.67/8.34 num=220, depth=20..25, filters=3026957, revisions=(4015351,useless=1614247), ccks=8112605, wck=5.856, mem=140M218
12.67/8.34 decisions=54098, wrong=24501, backtracks=16693, failedAssignments=16891, nogoods=1456, foundSolutions=24, bestBound=179
12.67/8.34
12.67/8.35 num=221, depth=20..25, filters=3032841, revisions=(4023698,useless=1617784), ccks=8128170, wck=5.867, mem=140M218
12.67/8.35 decisions=54182, wrong=24532, backtracks=16715, failedAssignments=16914, nogoods=1460, foundSolutions=24, bestBound=179
12.67/8.35
12.67/8.36 num=222, depth=20..27, filters=3038793, revisions=(4032191,useless=1621398), ccks=8142884, wck=5.879, mem=140M218
12.67/8.36 decisions=54273, wrong=24567, backtracks=16742, failedAssignments=16939, nogoods=1466, foundSolutions=24, bestBound=179
12.67/8.36
12.67/8.37 num=223, depth=20..25, filters=3044316, revisions=(4040474,useless=1624982), ccks=8156273, wck=5.889, mem=140M218
12.67/8.37 decisions=54376, wrong=24608, backtracks=16766, failedAssignments=16967, nogoods=1475, foundSolutions=24, bestBound=179
12.67/8.37
12.67/8.38 num=224, depth=21..25, filters=3049901, revisions=(4048734,useless=1628497), ccks=8169403, wck=5.899, mem=142M778
12.67/8.38 decisions=54481, wrong=24650, backtracks=16791, failedAssignments=16998, nogoods=1486, foundSolutions=24, bestBound=179
12.67/8.38
12.67/8.39 num=225, depth=21..26, filters=3055337, revisions=(4056754,useless=1631904), ccks=8182767, wck=5.909, mem=142M778
12.67/8.39 decisions=54593, wrong=24695, backtracks=16814, failedAssignments=17032, nogoods=1498, foundSolutions=24, bestBound=179
12.67/8.39
12.77/8.40 num=226, depth=20..27, filters=3062921, revisions=(4067193,useless=1636264), ccks=8205430, wck=5.924, mem=142M778
12.77/8.40 decisions=54714, wrong=24745, backtracks=16854, failedAssignments=17069, nogoods=1501, foundSolutions=24, bestBound=179
12.77/8.40
12.77/8.42 num=227, depth=20..29, filters=3068037, revisions=(4075098,useless=1640093), ccks=8217805, wck=5.934, mem=142M778
12.77/8.42 decisions=54842, wrong=24798, backtracks=16893, failedAssignments=17110, nogoods=1506, foundSolutions=24, bestBound=179
12.77/8.42
12.77/8.43 num=228, depth=20..27, filters=3077755, revisions=(4088354,useless=1645345), ccks=8244099, wck=5.952, mem=142M778
12.77/8.43 decisions=54991, wrong=24862, backtracks=16939, failedAssignments=17155, nogoods=1511, foundSolutions=24, bestBound=179
12.77/8.43
12.77/8.45 num=229, depth=20..27, filters=3086631, revisions=(4100521,useless=1650241), ccks=8263235, wck=5.967, mem=142M778
12.77/8.45 decisions=55153, wrong=24932, backtracks=16980, failedAssignments=17205, nogoods=1514, foundSolutions=24, bestBound=179
12.77/8.45
12.77/8.47 num=230, depth=20..28, filters=3097331, revisions=(4114890,useless=1655932), ccks=8292045, wck=5.987, mem=142M778
12.77/8.47 decisions=55324, wrong=25007, backtracks=17038, failedAssignments=17260, nogoods=1522, foundSolutions=24, bestBound=179
12.77/8.47
12.77/8.49 num=231, depth=19..26, filters=3109802, revisions=(4131994,useless=1662584), ccks=8322336, wck=6.009, mem=142M778
12.77/8.49 decisions=55518, wrong=25093, backtracks=17094, failedAssignments=17321, nogoods=1526, foundSolutions=24, bestBound=179
12.77/8.49
12.88/8.51 num=232, depth=20..27, filters=3123895, revisions=(4150671,useless=1669717), ccks=8355157, wck=6.033, mem=142M778
12.88/8.51 decisions=55725, wrong=25186, backtracks=17156, failedAssignments=17388, nogoods=1530, foundSolutions=24, bestBound=179
12.88/8.51
12.88/8.53 num=233, depth=17..29, filters=3132806, revisions=(4164335,useless=1677080), ccks=8386857, wck=6.053, mem=142M778
12.88/8.53 decisions=55954, wrong=25290, backtracks=17254, failedAssignments=17462, nogoods=1536, foundSolutions=24, bestBound=179
12.88/8.53
12.88/8.56 num=234, depth=20..27, filters=3148048, revisions=(4184348,useless=1684741), ccks=8426528, wck=6.08, mem=142M778
12.88/8.56 decisions=56201, wrong=25403, backtracks=17329, failedAssignments=17543, nogoods=1542, foundSolutions=24, bestBound=179
12.88/8.56
12.88/8.59 num=235, depth=19..28, filters=3165648, revisions=(4207986,useless=1694015), ccks=8472665, wck=6.111, mem=142M778
12.88/8.59 decisions=56477, wrong=25531, backtracks=17414, failedAssignments=17632, nogoods=1545, foundSolutions=24, bestBound=179
12.88/8.59
13.01/8.64 num=236, depth=20..28, filters=3185240, revisions=(4232873,useless=1703444), ccks=8523245, wck=6.16, mem=25M122
13.01/8.64 decisions=56768, wrong=25666, backtracks=17515, failedAssignments=17730, nogoods=1559, foundSolutions=24, bestBound=179
13.01/8.64
13.01/8.67 num=237, depth=19..28, filters=3202617, revisions=(4256412,useless=1712859), ccks=8567533, wck=6.192, mem=25M122
13.01/8.67 decisions=57095, wrong=25819, backtracks=17614, failedAssignments=17838, nogoods=1571, foundSolutions=24, bestBound=179
13.01/8.67
13.12/8.70 num=238, depth=18..29, filters=3216627, revisions=(4277515,useless=1723138), ccks=8613467, wck=6.219, mem=25M122
13.12/8.70 decisions=57459, wrong=25990, backtracks=17765, failedAssignments=17957, nogoods=1575, foundSolutions=24, bestBound=179
13.12/8.70
13.12/8.73 num=239, depth=20..27, filters=3235064, revisions=(4302501,useless=1732813), ccks=8658999, wck=6.252, mem=25M122
13.12/8.73 decisions=57846, wrong=26173, backtracks=17880, failedAssignments=18088, nogoods=1579, foundSolutions=24, bestBound=179
13.12/8.73
13.12/8.77 num=240, depth=18..29, filters=3253410, revisions=(4329034,useless=1745176), ccks=8721675, wck=6.287, mem=25M122
13.12/8.77 decisions=58278, wrong=26379, backtracks=18057, failedAssignments=18232, nogoods=1593, foundSolutions=24, bestBound=179
13.12/8.77
13.22/8.82 num=241, depth=19..28, filters=3283652, revisions=(4369287,useless=1760983), ccks=8786514, wck=6.336, mem=25M122
13.22/8.82 decisions=58749, wrong=26604, backtracks=18205, failedAssignments=18390, nogoods=1602, foundSolutions=24, bestBound=179
13.22/8.82
13.22/8.87 num=242, depth=20..28, filters=3311793, revisions=(4405146,useless=1774293), ccks=8862085, wck=6.386, mem=27M711
13.22/8.87 decisions=59268, wrong=26852, backtracks=18384, failedAssignments=18564, nogoods=1610, foundSolutions=24, bestBound=179
13.22/8.87
13.32/8.93 num=243, depth=19..27, filters=3350962, revisions=(4455189,useless=1792582), ccks=8956002, wck=6.45, mem=27M711
13.32/8.93 decisions=59848, wrong=27132, backtracks=18572, failedAssignments=18755, nogoods=1618, foundSolutions=24, bestBound=179
13.32/8.93
13.32/9.00 num=244, depth=19..28, filters=3394014, revisions=(4507790,useless=1812278), ccks=9063132, wck=6.523, mem=27M711
13.32/9.00 decisions=60496, wrong=27446, backtracks=18804, failedAssignments=18966, nogoods=1626, foundSolutions=24, bestBound=179
13.32/9.00
13.43/9.07 num=245, depth=19..27, filters=3433988, revisions=(4559315,useless=1831296), ccks=9164229, wck=6.593, mem=27M711
13.43/9.07 decisions=61193, wrong=27784, backtracks=19033, failedAssignments=19198, nogoods=1631, foundSolutions=24, bestBound=179
13.43/9.07
13.54/9.13 num=246, depth=19..29, filters=3467527, revisions=(4605760,useless=1851253), ccks=9268105, wck=6.653, mem=30M301
13.54/9.13 decisions=61939, wrong=28146, backtracks=19317, failedAssignments=19453, nogoods=1635, foundSolutions=24, bestBound=179
13.54/9.13
13.63/9.23 num=247, depth=19..31, filters=3525486, revisions=(4676671,useless=1878105), ccks=9404546, wck=6.745, mem=30M301
13.63/9.23 decisions=62807, wrong=28569, backtracks=19614, failedAssignments=19734, nogoods=1641, foundSolutions=24, bestBound=179
13.63/9.23
13.73/9.31 num=248, depth=19..29, filters=3571274, revisions=(4737079,useless=1901983), ccks=9535019, wck=6.827, mem=30M301
13.73/9.31 decisions=63704, wrong=29006, backtracks=19939, failedAssignments=20043, nogoods=1649, foundSolutions=24, bestBound=179
13.73/9.31
13.83/9.42 num=249, depth=19..30, filters=3637296, revisions=(4817442,useless=1931700), ccks=9698880, wck=6.939, mem=32M890
13.83/9.42 decisions=64715, wrong=29500, backtracks=20323, failedAssignments=20383, nogoods=1653, foundSolutions=24, bestBound=179
13.83/9.42
13.93/9.54 num=250, depth=18..28, filters=3713877, revisions=(4913771,useless=1966858), ccks=9868176, wck=7.062, mem=35M480
13.93/9.54 decisions=65842, wrong=30053, backtracks=20686, failedAssignments=20757, nogoods=1673, foundSolutions=24, bestBound=179
13.93/9.54
14.03/9.65 num=251, depth=19..29, filters=3775497, revisions=(4994212,useless=1996777), ccks=10023480, wck=7.166, mem=36M801
14.03/9.65 decisions=67048, wrong=30646, backtracks=21073, failedAssignments=21168, nogoods=1686, foundSolutions=24, bestBound=179
14.03/9.65
14.24/9.80 num=252, depth=19..28, filters=3863843, revisions=(5101702,useless=2035378), ccks=10252053, wck=7.316, mem=39M390
14.24/9.80 decisions=68424, wrong=31324, backtracks=21585, failedAssignments=21620, nogoods=1694, foundSolutions=24, bestBound=179
14.24/9.80
14.34/9.93 num=253, depth=18..28, filters=3943120, revisions=(5206735,useless=2075324), ccks=10449924, wck=7.446, mem=39M390
14.34/9.93 decisions=69883, wrong=32044, backtracks=22038, failedAssignments=22117, nogoods=1701, foundSolutions=24, bestBound=179
14.34/9.93
14.46/10.02 o 175
14.46/10.02 num=254, depth=19..555, filters=3999386, revisions=(5277215,useless=2100848), ccks=10580935, wck=7.54, mem=41M980
14.46/10.02 decisions=70720, wrong=32452, backtracks=22325, failedAssignments=22388, nogoods=1709, foundSolutions=25, bestBound=175
14.46/10.02
14.66/10.20 num=255, depth=19..29, filters=4100721, revisions=(5403041,useless=2146781), ccks=10855925, wck=7.717, mem=41M980
14.66/10.20 decisions=72529, wrong=33346, backtracks=22968, failedAssignments=22990, nogoods=1715, foundSolutions=25, bestBound=175
14.66/10.20
14.66/10.20 num=256, depth=22..28, filters=4102628, revisions=(5406336,useless=2148582), ccks=10861679, wck=7.722, mem=41M980
14.66/10.20 decisions=72577, wrong=33358, backtracks=22972, failedAssignments=23001, nogoods=1722, foundSolutions=25, bestBound=175
14.66/10.20
14.66/10.21 num=257, depth=21..29, filters=4104385, revisions=(5409710,useless=2150588), ccks=10866912, wck=7.726, mem=41M980
14.66/10.21 decisions=72632, wrong=33375, backtracks=22988, failedAssignments=23013, nogoods=1725, foundSolutions=25, bestBound=175
14.66/10.21
14.66/10.21 num=258, depth=22..27, filters=4106787, revisions=(5413546,useless=2152484), ccks=10872912, wck=7.731, mem=41M980
14.66/10.21 decisions=72690, wrong=33392, backtracks=22996, failedAssignments=23026, nogoods=1731, foundSolutions=25, bestBound=175
14.66/10.21
14.66/10.22 num=259, depth=22..28, filters=4109369, revisions=(5417778,useless=2154586), ccks=10879587, wck=7.736, mem=41M980
14.66/10.22 decisions=72748, wrong=33410, backtracks=23007, failedAssignments=23040, nogoods=1736, foundSolutions=25, bestBound=175
14.66/10.22
14.66/10.22 num=260, depth=22..29, filters=4111904, revisions=(5421919,useless=2156683), ccks=10887072, wck=7.742, mem=44M569
14.66/10.22 decisions=72812, wrong=33430, backtracks=23020, failedAssignments=23056, nogoods=1743, foundSolutions=25, bestBound=175
14.66/10.22
14.66/10.23 num=261, depth=21..24, filters=4115771, revisions=(5427641,useless=2159237), ccks=10896507, wck=7.749, mem=44M569
14.66/10.23 decisions=72882, wrong=33454, backtracks=23032, failedAssignments=23073, nogoods=1750, foundSolutions=25, bestBound=175
14.66/10.23
14.66/10.24 num=262, depth=21..26, filters=4119738, revisions=(5433515,useless=2161820), ccks=10908127, wck=7.757, mem=44M569
14.66/10.24 decisions=72960, wrong=33482, backtracks=23049, failedAssignments=23092, nogoods=1757, foundSolutions=25, bestBound=175
14.66/10.24
14.66/10.24 num=263, depth=22..25, filters=4123162, revisions=(5438753,useless=2164231), ccks=10917012, wck=7.763, mem=44M569
14.66/10.24 decisions=73040, wrong=33511, backtracks=23063, failedAssignments=23113, nogoods=1767, foundSolutions=25, bestBound=175
14.66/10.24
14.66/10.25 num=264, depth=21..26, filters=4128125, revisions=(5445994,useless=2167323), ccks=10928019, wck=7.772, mem=44M569
14.66/10.25 decisions=73127, wrong=33543, backtracks=23080, failedAssignments=23136, nogoods=1780, foundSolutions=25, bestBound=175
14.66/10.25
14.66/10.26 num=265, depth=21..28, filters=4131589, revisions=(5451648,useless=2170145), ccks=10936132, wck=7.779, mem=44M569
14.66/10.26 decisions=73218, wrong=33578, backtracks=23104, failedAssignments=23161, nogoods=1787, foundSolutions=25, bestBound=175
14.66/10.26
14.66/10.27 num=266, depth=20..27, filters=4136832, revisions=(5459463,useless=2173668), ccks=10950199, wck=7.79, mem=44M569
14.66/10.27 decisions=73310, wrong=33613, backtracks=23127, failedAssignments=23189, nogoods=1793, foundSolutions=25, bestBound=175
14.66/10.27
14.66/10.28 num=267, depth=20..27, filters=4142799, revisions=(5468212,useless=2177564), ccks=10963868, wck=7.801, mem=44M569
14.66/10.28 decisions=73409, wrong=33652, backtracks=23155, failedAssignments=23220, nogoods=1800, foundSolutions=25, bestBound=175
14.66/10.28
14.76/10.30 num=268, depth=19..30, filters=4154569, revisions=(5482642,useless=2183702), ccks=10985191, wck=7.822, mem=44M569
14.76/10.30 decisions=73525, wrong=33699, backtracks=23197, failedAssignments=23254, nogoods=1805, foundSolutions=25, bestBound=175
14.76/10.30
14.76/10.32 num=269, depth=20..26, filters=4161915, revisions=(5493146,useless=2188093), ccks=11002408, wck=7.835, mem=44M569
14.76/10.32 decisions=73647, wrong=33749, backtracks=23229, failedAssignments=23291, nogoods=1810, foundSolutions=25, bestBound=175
14.76/10.32
14.76/10.33 num=270, depth=21..27, filters=4168795, revisions=(5503312,useless=2192292), ccks=11017194, wck=7.846, mem=44M569
14.76/10.33 decisions=73776, wrong=33803, backtracks=23254, failedAssignments=23332, nogoods=1824, foundSolutions=25, bestBound=175
14.76/10.33
14.76/10.35 num=271, depth=19..30, filters=4182029, revisions=(5519665,useless=2198732), ccks=11045624, wck=7.87, mem=44M569
14.76/10.35 decisions=73921, wrong=33865, backtracks=23307, failedAssignments=23377, nogoods=1831, foundSolutions=25, bestBound=175
14.76/10.35
14.76/10.37 num=272, depth=20..26, filters=4193888, revisions=(5535273,useless=2204844), ccks=11073302, wck=7.891, mem=44M569
14.76/10.37 decisions=74081, wrong=33934, backtracks=23355, failedAssignments=23427, nogoods=1837, foundSolutions=25, bestBound=175
14.76/10.37
14.76/10.39 num=273, depth=20..28, filters=4204576, revisions=(5550280,useless=2211320), ccks=11097454, wck=7.91, mem=44M569
14.76/10.39 decisions=74251, wrong=34008, backtracks=23412, failedAssignments=23482, nogoods=1845, foundSolutions=25, bestBound=175
14.76/10.39
14.86/10.41 num=274, depth=19..27, filters=4216806, revisions=(5567243,useless=2218435), ccks=11128127, wck=7.932, mem=44M569
14.86/10.41 decisions=74435, wrong=34089, backtracks=23479, failedAssignments=23543, nogoods=1848, foundSolutions=25, bestBound=175
14.86/10.41
14.86/10.43 num=275, depth=20..27, filters=4228649, revisions=(5583691,useless=2225161), ccks=11154637, wck=7.953, mem=44M569
14.86/10.43 decisions=74633, wrong=34177, backtracks=23536, failedAssignments=23610, nogoods=1860, foundSolutions=25, bestBound=175
14.86/10.43
14.86/10.45 num=276, depth=20..29, filters=4238585, revisions=(5598529,useless=2232124), ccks=11181742, wck=7.972, mem=47M159
14.86/10.45 decisions=74854, wrong=34277, backtracks=23614, failedAssignments=23684, nogoods=1871, foundSolutions=25, bestBound=175
14.86/10.45
14.86/10.48 num=277, depth=19..27, filters=4255667, revisions=(5621290,useless=2240958), ccks=11218482, wck=8.001, mem=47M159
14.86/10.48 decisions=75097, wrong=34388, backtracks=23685, failedAssignments=23765, nogoods=1877, foundSolutions=25, bestBound=175
14.86/10.48
14.96/10.51 num=278, depth=19..26, filters=4271861, revisions=(5642816,useless=2249184), ccks=11257937, wck=8.028, mem=47M159
14.96/10.51 decisions=75365, wrong=34511, backtracks=23759, failedAssignments=23854, nogoods=1884, foundSolutions=25, bestBound=175
14.96/10.51
14.96/10.54 num=279, depth=19..27, filters=4290272, revisions=(5667830,useless=2258867), ccks=11301716, wck=8.06, mem=47M159
14.96/10.54 decisions=75658, wrong=34647, backtracks=23849, failedAssignments=23952, nogoods=1891, foundSolutions=25, bestBound=175
14.96/10.54
14.96/10.58 num=280, depth=19..27, filters=4311337, revisions=(5695573,useless=2269556), ccks=11353795, wck=8.096, mem=47M159
14.96/10.58 decisions=75980, wrong=34797, backtracks=23957, failedAssignments=24060, nogoods=1898, foundSolutions=25, bestBound=175
14.96/10.58
15.06/10.64 num=281, depth=17..30, filters=4348170, revisions=(5740038,useless=2287117), ccks=11424786, wck=8.16, mem=47M159
15.06/10.64 decisions=76407, wrong=35001, backtracks=24121, failedAssignments=24179, nogoods=1901, foundSolutions=25, bestBound=175
15.06/10.64
15.06/10.69 num=282, depth=19..27, filters=4375007, revisions=(5774065,useless=2299575), ccks=11493714, wck=8.208, mem=49M748
15.06/10.69 decisions=76830, wrong=35202, backtracks=24269, failedAssignments=24310, nogoods=1909, foundSolutions=25, bestBound=175
15.06/10.69
15.16/10.73 num=283, depth=20..27, filters=4398184, revisions=(5804704,useless=2311055), ccks=11549020, wck=8.248, mem=49M748
15.16/10.73 decisions=77267, wrong=35410, backtracks=24398, failedAssignments=24454, nogoods=1918, foundSolutions=25, bestBound=175
15.16/10.73
15.16/10.79 num=284, depth=19..30, filters=4433620, revisions=(5850312,useless=2329265), ccks=11632637, wck=8.31, mem=49M748
15.16/10.79 decisions=77765, wrong=35648, backtracks=24595, failedAssignments=24612, nogoods=1927, foundSolutions=25, bestBound=175
15.16/10.79
15.27/10.85 num=285, depth=19..26, filters=4469275, revisions=(5896862,useless=2346689), ccks=11721755, wck=8.37, mem=49M748
15.27/10.85 decisions=78298, wrong=35905, backtracks=24772, failedAssignments=24786, nogoods=1933, foundSolutions=25, bestBound=175
15.27/10.85
15.37/10.91 num=286, depth=20..28, filters=4506013, revisions=(5942914,useless=2363664), ccks=11819235, wck=8.433, mem=52M338
15.37/10.91 decisions=78888, wrong=36189, backtracks=24979, failedAssignments=24977, nogoods=1941, foundSolutions=25, bestBound=175
15.37/10.91
15.37/10.98 num=287, depth=19..27, filters=4544247, revisions=(5991312,useless=2381926), ccks=11922100, wck=8.498, mem=52M338
15.37/10.98 decisions=79549, wrong=36510, backtracks=25210, failedAssignments=25188, nogoods=1942, foundSolutions=25, bestBound=175
15.37/10.98
15.48/11.04 num=288, depth=18..28, filters=4582512, revisions=(6046644,useless=2404860), ccks=12005974, wck=8.562, mem=52M338
15.48/11.04 decisions=80251, wrong=36851, backtracks=25410, failedAssignments=25420, nogoods=1962, foundSolutions=25, bestBound=175
15.48/11.04
15.64/11.12 num=289, depth=19..28, filters=4629293, revisions=(6105659,useless=2427326), ccks=12129360, wck=8.641, mem=52M338
15.64/11.12 decisions=81021, wrong=37225, backtracks=25679, failedAssignments=25675, nogoods=1970, foundSolutions=25, bestBound=175
15.64/11.12
15.74/11.21 num=290, depth=19..30, filters=4684232, revisions=(6175110,useless=2453877), ccks=12264915, wck=8.73, mem=54M927
15.74/11.21 decisions=81869, wrong=37638, backtracks=25991, failedAssignments=25956, nogoods=1984, foundSolutions=25, bestBound=175
15.74/11.21
15.84/11.30 num=291, depth=19..29, filters=4736774, revisions=(6240556,useless=2477451), ccks=12406540, wck=8.823, mem=54M927
15.84/11.30 decisions=82771, wrong=38078, backtracks=26300, failedAssignments=26265, nogoods=1990, foundSolutions=25, bestBound=175
15.84/11.30
15.94/11.41 num=292, depth=20..30, filters=4795624, revisions=(6315575,useless=2506526), ccks=12573880, wck=8.924, mem=57M517
15.94/11.41 decisions=83846, wrong=38604, backtracks=26718, failedAssignments=26605, nogoods=2000, foundSolutions=25, bestBound=175
15.94/11.41
16.04/11.53 num=293, depth=18..28, filters=4871291, revisions=(6410516,useless=2541200), ccks=12752151, wck=9.05, mem=57M517
16.04/11.53 decisions=84968, wrong=39155, backtracks=27098, failedAssignments=26979, nogoods=2004, foundSolutions=25, bestBound=175
16.04/11.53
16.14/11.67 num=294, depth=18..30, filters=4955057, revisions=(6513689,useless=2578018), ccks=12953701, wck=9.189, mem=60M106
16.14/11.67 decisions=86183, wrong=39752, backtracks=27533, failedAssignments=27390, nogoods=2008, foundSolutions=25, bestBound=175
16.14/11.67
16.34/11.81 num=295, depth=18..28, filters=5035566, revisions=(6613304,useless=2613506), ccks=13157854, wck=9.327, mem=60M106
16.34/11.81 decisions=87525, wrong=40412, backtracks=27993, failedAssignments=27842, nogoods=2013, foundSolutions=25, bestBound=175
16.34/11.81
16.44/11.98 num=296, depth=18..28, filters=5137539, revisions=(6738362,useless=2657731), ccks=13415421, wck=9.494, mem=62M696
16.44/11.98 decisions=89008, wrong=41143, backtracks=28519, failedAssignments=28339, nogoods=2017, foundSolutions=25, bestBound=175
16.44/11.98
16.65/12.14 num=297, depth=18..29, filters=5238669, revisions=(6865178,useless=2703587), ccks=13664026, wck=9.661, mem=65M285
16.65/12.14 decisions=90644, wrong=41951, backtracks=29075, failedAssignments=28886, nogoods=2032, foundSolutions=25, bestBound=175
16.65/12.14
16.84/12.33 num=298, depth=18..28, filters=5350891, revisions=(7003245,useless=2752231), ccks=13934035, wck=9.846, mem=67M875
16.84/12.33 decisions=92426, wrong=42832, backtracks=29676, failedAssignments=29488, nogoods=2046, foundSolutions=25, bestBound=175
16.84/12.33
17.04/12.54 num=299, depth=18..29, filters=5480786, revisions=(7164369,useless=2809894), ccks=14270938, wck=10.06, mem=67M875
17.04/12.54 decisions=94437, wrong=43827, backtracks=30394, failedAssignments=30150, nogoods=2055, foundSolutions=25, bestBound=175
17.04/12.54
17.34/12.80 num=300, depth=17..30, filters=5636904, revisions=(7359846,useless=2886263), ccks=14647274, wck=10.317, mem=73M54
17.34/12.80 decisions=96733, wrong=44965, backtracks=31311, failedAssignments=30878, nogoods=2060, foundSolutions=25, bestBound=175
17.34/12.80
17.55/13.04 num=301, depth=18..29, filters=5783269, revisions=(7541328,useless=2950588), ccks=15020901, wck=10.556, mem=75M643
17.55/13.04 decisions=99159, wrong=46168, backtracks=32117, failedAssignments=31679, nogoods=2070, foundSolutions=25, bestBound=175
17.55/13.04
17.74/13.29 num=302, depth=17..28, filters=5942403, revisions=(7739880,useless=3022904), ccks=15399248, wck=10.812, mem=78M233
17.74/13.29 decisions=101796, wrong=47476, backtracks=32986, failedAssignments=32560, nogoods=2074, foundSolutions=25, bestBound=175
17.74/13.29
18.04/13.57 num=303, depth=18..28, filters=6108669, revisions=(7943202,useless=3095624), ccks=15828646, wck=11.089, mem=80M822
18.04/13.57 decisions=104692, wrong=48913, backtracks=34007, failedAssignments=33530, nogoods=2085, foundSolutions=25, bestBound=175
18.04/13.57
18.34/13.89 num=304, depth=17..29, filters=6302459, revisions=(8181300,useless=3181543), ccks=16327103, wck=11.409, mem=83M412
18.34/13.89 decisions=107894, wrong=50504, backtracks=35132, failedAssignments=34597, nogoods=2087, foundSolutions=25, bestBound=175
18.34/13.89
18.74/14.24 num=305, depth=18..30, filters=6514872, revisions=(8444219,useless=3277392), ccks=16865470, wck=11.759, mem=88M591
18.74/14.24 decisions=111443, wrong=52268, backtracks=36407, failedAssignments=35770, nogoods=2100, foundSolutions=25, bestBound=175
18.74/14.24
19.04/14.57 num=306, depth=17..31, filters=6699640, revisions=(8689374,useless=3380421), ccks=17425018, wck=12.086, mem=91M180
19.04/14.57 decisions=115381, wrong=54227, backtracks=38053, failedAssignments=37061, nogoods=2107, foundSolutions=25, bestBound=175
19.04/14.57
19.44/14.99 num=307, depth=17..29, filters=6957013, revisions=(9010795,useless=3500086), ccks=18045207, wck=12.504, mem=96M359
19.44/14.99 decisions=119544, wrong=56299, backtracks=39413, failedAssignments=38481, nogoods=2117, foundSolutions=25, bestBound=175
19.44/14.99
19.55/15.09 o 167
19.55/15.09 num=308, depth=20..555, filters=7018758, revisions=(9086775,useless=3527683), ccks=18202922, wck=12.608, mem=96M359
19.55/15.09 decisions=120864, wrong=56948, backtracks=39827, failedAssignments=38907, nogoods=2129, foundSolutions=26, bestBound=167
19.55/15.09
20.04/15.58 num=309, depth=18..30, filters=7312899, revisions=(9453642,useless=3665763), ccks=18948240, wck=13.102, mem=101M538
20.04/15.58 decisions=126414, wrong=59712, backtracks=41878, failedAssignments=40625, nogoods=2136, foundSolutions=26, bestBound=167
20.04/15.58
20.04/15.59 num=310, depth=20..27, filters=7316759, revisions=(9459193,useless=3668443), ccks=18956890, wck=13.11, mem=104M127
20.04/15.59 decisions=126469, wrong=59729, backtracks=41889, failedAssignments=40636, nogoods=2142, foundSolutions=26, bestBound=167
20.04/15.59
20.04/15.59 num=311, depth=20..29, filters=7318133, revisions=(9461973,useless=3670177), ccks=18961116, wck=13.113, mem=104M127
20.04/15.59 decisions=126522, wrong=59744, backtracks=41895, failedAssignments=40648, nogoods=2151, foundSolutions=26, bestBound=167
20.04/15.59
20.14/15.60 num=312, depth=19..27, filters=7320742, revisions=(9466219,useless=3672456), ccks=18967256, wck=13.119, mem=104M127
20.14/15.60 decisions=126581, wrong=59763, backtracks=41908, failedAssignments=40661, nogoods=2154, foundSolutions=26, bestBound=167
20.14/15.60
20.14/15.61 num=313, depth=20..25, filters=7323978, revisions=(9471170,useless=3674837), ccks=18973887, wck=13.125, mem=104M127
20.14/15.61 decisions=126643, wrong=59783, backtracks=41917, failedAssignments=40675, nogoods=2159, foundSolutions=26, bestBound=167
20.14/15.61
20.14/15.61 num=314, depth=20..25, filters=7326625, revisions=(9475520,useless=3676986), ccks=18979653, wck=13.13, mem=104M127
20.14/15.61 decisions=126707, wrong=59805, backtracks=41928, failedAssignments=40691, nogoods=2160, foundSolutions=26, bestBound=167
20.14/15.61
20.14/15.62 num=315, depth=20..27, filters=7330018, revisions=(9480602,useless=3679417), ccks=18988290, wck=13.137, mem=104M127
20.14/15.62 decisions=126773, wrong=59827, backtracks=41938, failedAssignments=40708, nogoods=2170, foundSolutions=26, bestBound=167
20.14/15.62
20.14/15.63 num=316, depth=20..27, filters=7334387, revisions=(9486765,useless=3682004), ccks=18998525, wck=13.145, mem=104M127
20.14/15.63 decisions=126849, wrong=59854, backtracks=41953, failedAssignments=40727, nogoods=2173, foundSolutions=26, bestBound=167
20.14/15.63
20.14/15.64 num=317, depth=19..27, filters=7340832, revisions=(9496038,useless=3686217), ccks=19010916, wck=13.157, mem=104M127
20.14/15.64 decisions=126940, wrong=59889, backtracks=41981, failedAssignments=40748, nogoods=2180, foundSolutions=26, bestBound=167
20.14/15.64
20.14/15.65 num=318, depth=20..27, filters=7345984, revisions=(9503425,useless=3689423), ccks=19023072, wck=13.167, mem=104M127
20.14/15.65 decisions=127024, wrong=59920, backtracks=41999, failedAssignments=40771, nogoods=2186, foundSolutions=26, bestBound=167
20.14/15.65
20.14/15.66 num=319, depth=21..27, filters=7349970, revisions=(9509419,useless=3692106), ccks=19033327, wck=13.174, mem=104M127
20.14/15.66 decisions=127113, wrong=59953, backtracks=42016, failedAssignments=40796, nogoods=2197, foundSolutions=26, bestBound=167
20.14/15.66
20.14/15.67 num=320, depth=20..25, filters=7354659, revisions=(9516327,useless=3695155), ccks=19045144, wck=13.184, mem=104M127
20.14/15.67 decisions=127215, wrong=59992, backtracks=42038, failedAssignments=40824, nogoods=2209, foundSolutions=26, bestBound=167
20.14/15.67
20.14/15.67 num=321, depth=19..27, filters=7359144, revisions=(9523726,useless=3699001), ccks=19055599, wck=13.193, mem=104M127
20.14/15.67 decisions=127310, wrong=60029, backtracks=42063, failedAssignments=40855, nogoods=2217, foundSolutions=26, bestBound=167
20.14/15.67
20.14/15.68 num=322, depth=19..24, filters=7364432, revisions=(9532138,useless=3702884), ccks=19068278, wck=13.203, mem=104M127
20.14/15.68 decisions=127421, wrong=60074, backtracks=42083, failedAssignments=40889, nogoods=2223, foundSolutions=26, bestBound=167
20.14/15.68
20.14/15.69 num=323, depth=17..29, filters=7368502, revisions=(9539232,useless=3706937), ccks=19081889, wck=13.212, mem=104M127
20.14/15.69 decisions=127541, wrong=60125, backtracks=42130, failedAssignments=40926, nogoods=2228, foundSolutions=26, bestBound=167
20.14/15.69
20.24/15.71 num=324, depth=20..28, filters=7376162, revisions=(9550345,useless=3711469), ccks=19098095, wck=13.225, mem=104M127
20.24/15.71 decisions=127671, wrong=60180, backtracks=42159, failedAssignments=40967, nogoods=2242, foundSolutions=26, bestBound=167
20.24/15.71
20.24/15.72 num=325, depth=19..27, filters=7384565, revisions=(9562203,useless=3716291), ccks=19118546, wck=13.24, mem=104M127
20.24/15.72 decisions=127813, wrong=60241, backtracks=42194, failedAssignments=41012, nogoods=2254, foundSolutions=26, bestBound=167
20.24/15.72
20.24/15.74 num=326, depth=19..26, filters=7394203, revisions=(9575792,useless=3721736), ccks=19139046, wck=13.257, mem=104M127
20.24/15.74 decisions=127976, wrong=60313, backtracks=42229, failedAssignments=41062, nogoods=2256, foundSolutions=26, bestBound=167
20.24/15.74
20.24/15.76 num=327, depth=18..29, filters=7407759, revisions=(9593602,useless=3729156), ccks=19165805, wck=13.28, mem=104M127
20.24/15.76 decisions=128157, wrong=60394, backtracks=42287, failedAssignments=41117, nogoods=2273, foundSolutions=26, bestBound=167
20.24/15.76
20.24/15.79 num=328, depth=19..29, filters=7421991, revisions=(9612341,useless=3736321), ccks=19200820, wck=13.306, mem=104M127
20.24/15.79 decisions=128347, wrong=60478, backtracks=42345, failedAssignments=41178, nogoods=2281, foundSolutions=26, bestBound=167
20.24/15.79
20.41/15.81 num=329, depth=17..28, filters=7436186, revisions=(9630903,useless=3743909), ccks=19229738, wck=13.33, mem=106M717
20.41/15.81 decisions=128575, wrong=60581, backtracks=42408, failedAssignments=41245, nogoods=2298, foundSolutions=26, bestBound=167
20.41/15.81
20.41/15.83 num=330, depth=20..28, filters=7448966, revisions=(9648561,useless=3750653), ccks=19258050, wck=13.352, mem=106M717
20.41/15.83 decisions=128802, wrong=60684, backtracks=42468, failedAssignments=41319, nogoods=2312, foundSolutions=26, bestBound=167
20.41/15.83
20.41/15.88 num=331, depth=16..28, filters=7476174, revisions=(9681866,useless=3764789), ccks=19305759, wck=13.4, mem=106M717
20.41/15.88 decisions=129059, wrong=60803, backtracks=42571, failedAssignments=41400, nogoods=2321, foundSolutions=26, bestBound=167
20.41/15.88
20.51/15.91 num=332, depth=19..25, filters=7489626, revisions=(9701960,useless=3773625), ccks=19337258, wck=13.424, mem=106M717
20.51/15.91 decisions=129339, wrong=60933, backtracks=42642, failedAssignments=41489, nogoods=2339, foundSolutions=26, bestBound=167
20.51/15.91
20.51/15.94 num=333, depth=19..26, filters=7512691, revisions=(9733186,useless=3785594), ccks=19386166, wck=13.462, mem=106M717
20.51/15.94 decisions=129644, wrong=61075, backtracks=42736, failedAssignments=41587, nogoods=2346, foundSolutions=26, bestBound=167
20.51/15.94
20.51/15.97 num=334, depth=18..28, filters=7529138, revisions=(9756929,useless=3795876), ccks=19425561, wck=13.49, mem=106M717
20.51/15.97 decisions=129984, wrong=61235, backtracks=42852, failedAssignments=41695, nogoods=2348, foundSolutions=26, bestBound=167
20.51/15.97
20.62/16.01 num=335, depth=19..26, filters=7551424, revisions=(9787652,useless=3807880), ccks=19471406, wck=13.527, mem=106M717
20.62/16.01 decisions=130341, wrong=61403, backtracks=42948, failedAssignments=41814, nogoods=2355, foundSolutions=26, bestBound=167
20.62/16.01
20.62/16.05 num=336, depth=19..27, filters=7576160, revisions=(9821290,useless=3820956), ccks=19528113, wck=13.57, mem=109M306
20.62/16.05 decisions=130734, wrong=61590, backtracks=43065, failedAssignments=41945, nogoods=2365, foundSolutions=26, bestBound=167
20.62/16.05
20.62/16.08 num=337, depth=19..28, filters=7594156, revisions=(9847584,useless=3832405), ccks=19575783, wck=13.602, mem=109M306
20.62/16.08 decisions=131166, wrong=61796, backtracks=43199, failedAssignments=42089, nogoods=2373, foundSolutions=26, bestBound=167
20.62/16.08
20.72/16.13 num=338, depth=18..25, filters=7626118, revisions=(9893150,useless=3850592), ccks=19640792, wck=13.652, mem=109M306
20.72/16.13 decisions=131648, wrong=62027, backtracks=43324, failedAssignments=42247, nogoods=2390, foundSolutions=26, bestBound=167
20.72/16.13
20.72/16.20 num=339, depth=18..29, filters=7663457, revisions=(9941482,useless=3870280), ccks=19711540, wck=13.715, mem=109M306
20.72/16.20 decisions=132164, wrong=62275, backtracks=43513, failedAssignments=42421, nogoods=2394, foundSolutions=26, bestBound=167
20.72/16.20
20.81/16.25 num=340, depth=19..28, filters=7698567, revisions=(9987900,useless=3887383), ccks=19780903, wck=13.77, mem=111M896
20.81/16.25 decisions=132734, wrong=62550, backtracks=43676, failedAssignments=42612, nogoods=2401, foundSolutions=26, bestBound=167
20.81/16.25
20.91/16.32 num=341, depth=19..27, filters=7735256, revisions=(10036395,useless=3905651), ccks=19866629, wck=13.834, mem=111M896
20.91/16.32 decisions=133372, wrong=62859, backtracks=43861, failedAssignments=42823, nogoods=2411, foundSolutions=26, bestBound=167
20.91/16.32
20.91/16.39 num=342, depth=19..27, filters=7779369, revisions=(10093419,useless=3926684), ccks=19966911, wck=13.907, mem=111M896
20.91/16.39 decisions=134073, wrong=63200, backtracks=44072, failedAssignments=43055, nogoods=2422, foundSolutions=26, bestBound=167
20.91/16.39
21.01/16.46 num=343, depth=19..28, filters=7825234, revisions=(10153810,useless=3949510), ccks=20071664, wck=13.983, mem=111M896
21.01/16.46 decisions=134814, wrong=63560, backtracks=44322, failedAssignments=43310, nogoods=2430, foundSolutions=26, bestBound=167
21.01/16.46
21.11/16.54 num=344, depth=18..28, filters=7872616, revisions=(10218248,useless=3974395), ccks=20168478, wck=14.058, mem=114M485
21.11/16.54 decisions=135642, wrong=63964, backtracks=44552, failedAssignments=43591, nogoods=2442, foundSolutions=26, bestBound=167
21.11/16.54
21.21/16.63 num=345, depth=18..29, filters=7920717, revisions=(10284340,useless=4003653), ccks=20326295, wck=14.148, mem=114M485
21.21/16.63 decisions=136678, wrong=64471, backtracks=44994, failedAssignments=43900, nogoods=2448, foundSolutions=26, bestBound=167
21.21/16.63
21.31/16.72 o 159
21.31/16.72 num=346, depth=20..555, filters=7977916, revisions=(10353443,useless=4028537), ccks=20461457, wck=14.241, mem=117M75
21.31/16.72 decisions=137628, wrong=64935, backtracks=45311, failedAssignments=44208, nogoods=2459, foundSolutions=27, bestBound=159
21.31/16.72
21.42/16.82 num=347, depth=20..29, filters=8031751, revisions=(10426474,useless=4057236), ccks=20593250, wck=14.338, mem=117M75
21.42/16.82 decisions=138762, wrong=65492, backtracks=45694, failedAssignments=44582, nogoods=2472, foundSolutions=27, bestBound=159
21.42/16.82
21.42/16.83 num=348, depth=20..27, filters=8034443, revisions=(10430819,useless=4059518), ccks=20599143, wck=14.344, mem=117M75
21.42/16.83 decisions=138809, wrong=65505, backtracks=45702, failedAssignments=44593, nogoods=2477, foundSolutions=27, bestBound=159
21.42/16.83
21.42/16.83 num=349, depth=21..26, filters=8037010, revisions=(10434825,useless=4061520), ccks=20604007, wck=14.35, mem=117M75
21.42/16.83 decisions=138859, wrong=65519, backtracks=45707, failedAssignments=44605, nogoods=2483, foundSolutions=27, bestBound=159
21.42/16.83
21.42/16.84 num=350, depth=21..26, filters=8040682, revisions=(10440233,useless=4063901), ccks=20613179, wck=14.357, mem=117M75
21.42/16.84 decisions=138916, wrong=65537, backtracks=45717, failedAssignments=44618, nogoods=2491, foundSolutions=27, bestBound=159
21.42/16.84
21.42/16.84 num=351, depth=21..25, filters=8043296, revisions=(10444612,useless=4066112), ccks=20619832, wck=14.362, mem=117M75
21.42/16.84 decisions=138976, wrong=65556, backtracks=45726, failedAssignments=44632, nogoods=2499, foundSolutions=27, bestBound=159
21.42/16.84
21.42/16.85 num=352, depth=20..28, filters=8046699, revisions=(10449681,useless=4068345), ccks=20627584, wck=14.369, mem=117M75
21.42/16.85 decisions=139041, wrong=65578, backtracks=45738, failedAssignments=44648, nogoods=2501, foundSolutions=27, bestBound=159
21.42/16.85
21.42/16.86 num=353, depth=20..26, filters=8050438, revisions=(10455760,useless=4071418), ccks=20635391, wck=14.376, mem=117M75
21.42/16.86 decisions=139112, wrong=65603, backtracks=45759, failedAssignments=44665, nogoods=2509, foundSolutions=27, bestBound=159
21.42/16.86
21.42/16.87 num=354, depth=21..26, filters=8054727, revisions=(10461955,useless=4074213), ccks=20643955, wck=14.385, mem=117M75
21.42/16.87 decisions=139180, wrong=65626, backtracks=45772, failedAssignments=44684, nogoods=2520, foundSolutions=27, bestBound=159
21.42/16.87
21.42/16.87 num=355, depth=20..26, filters=8058949, revisions=(10468298,useless=4077082), ccks=20653090, wck=14.393, mem=117M75
21.42/16.87 decisions=139264, wrong=65657, backtracks=45790, failedAssignments=44705, nogoods=2525, foundSolutions=27, bestBound=159
21.42/16.87
21.42/16.88 num=356, depth=21..25, filters=8063740, revisions=(10475373,useless=4080212), ccks=20662987, wck=14.401, mem=117M75
21.42/16.88 decisions=139353, wrong=65691, backtracks=45810, failedAssignments=44728, nogoods=2536, foundSolutions=27, bestBound=159
21.42/16.88
21.42/16.89 num=357, depth=20..25, filters=8068631, revisions=(10483041,useless=4083717), ccks=20673339, wck=14.411, mem=117M75
21.42/16.89 decisions=139437, wrong=65723, backtracks=45828, failedAssignments=44753, nogoods=2545, foundSolutions=27, bestBound=159
21.42/16.89
21.52/16.90 num=358, depth=19..30, filters=8074697, revisions=(10491651,useless=4087715), ccks=20686308, wck=14.423, mem=117M75
21.52/16.90 decisions=139537, wrong=65762, backtracks=45858, failedAssignments=44781, nogoods=2555, foundSolutions=27, bestBound=159
21.52/16.90
21.52/16.92 num=359, depth=20..27, filters=8081260, revisions=(10501010,useless=4091712), ccks=20702092, wck=14.435, mem=119M664
21.52/16.92 decisions=139647, wrong=65806, backtracks=45887, failedAssignments=44812, nogoods=2558, foundSolutions=27, bestBound=159
21.52/16.92
21.52/16.93 num=360, depth=21..27, filters=8086826, revisions=(10509126,useless=4095283), ccks=20713422, wck=14.446, mem=119M664
21.52/16.93 decisions=139758, wrong=65851, backtracks=45914, failedAssignments=44846, nogoods=2563, foundSolutions=27, bestBound=159
21.52/16.93
21.52/16.94 num=361, depth=21..26, filters=8093172, revisions=(10518521,useless=4099192), ccks=20727136, wck=14.457, mem=119M664
21.52/16.94 decisions=139884, wrong=65903, backtracks=45937, failedAssignments=44883, nogoods=2575, foundSolutions=27, bestBound=159
21.52/16.94
21.52/16.95 num=362, depth=20..25, filters=8101855, revisions=(10530726,useless=4104086), ccks=20746574, wck=14.473, mem=119M664
21.52/16.95 decisions=140018, wrong=65960, backtracks=45972, failedAssignments=44924, nogoods=2582, foundSolutions=27, bestBound=159
21.52/16.95
21.52/16.97 num=363, depth=19..30, filters=8108156, revisions=(10540256,useless=4108836), ccks=20764258, wck=14.486, mem=119M664
21.52/16.97 decisions=140157, wrong=66019, backtracks=46024, failedAssignments=44969, nogoods=2585, foundSolutions=27, bestBound=159
21.52/16.97
21.52/16.98 num=364, depth=20..25, filters=8116175, revisions=(10552178,useless=4113762), ccks=20781919, wck=14.499, mem=119M664
21.52/16.98 decisions=140322, wrong=66091, backtracks=46059, failedAssignments=45019, nogoods=2600, foundSolutions=27, bestBound=159
21.52/16.98
21.52/17.00 num=365, depth=19..28, filters=8127152, revisions=(10568044,useless=4120237), ccks=20806820, wck=14.518, mem=119M664
21.52/17.00 decisions=140498, wrong=66168, backtracks=46106, failedAssignments=45074, nogoods=2611, foundSolutions=27, bestBound=159
21.52/17.00
21.62/17.02 num=366, depth=20..28, filters=8134541, revisions=(10579503,useless=4125641), ccks=20827601, wck=14.534, mem=119M664
21.62/17.02 decisions=140694, wrong=66255, backtracks=46170, failedAssignments=45135, nogoods=2623, foundSolutions=27, bestBound=159
21.62/17.02
21.62/17.04 num=367, depth=20..28, filters=8146901, revisions=(10596115,useless=4132083), ccks=20857432, wck=14.556, mem=119M664
21.62/17.04 decisions=140915, wrong=66355, backtracks=46235, failedAssignments=45202, nogoods=2627, foundSolutions=27, bestBound=159
21.62/17.04
21.62/17.06 num=368, depth=20..27, filters=8159352, revisions=(10613825,useless=4139196), ccks=20884532, wck=14.578, mem=119M664
21.62/17.06 decisions=141133, wrong=66454, backtracks=46297, failedAssignments=45276, nogoods=2634, foundSolutions=27, bestBound=159
21.62/17.06
21.62/17.08 num=369, depth=19..26, filters=8174589, revisions=(10635691,useless=4147934), ccks=20916448, wck=14.603, mem=119M664
21.62/17.08 decisions=141385, wrong=66569, backtracks=46363, failedAssignments=45357, nogoods=2646, foundSolutions=27, bestBound=159
21.62/17.08
21.72/17.12 num=370, depth=18..26, filters=8192633, revisions=(10661709,useless=4158967), ccks=20958935, wck=14.635, mem=119M664
21.72/17.12 decisions=141670, wrong=66701, backtracks=46437, failedAssignments=45446, nogoods=2662, foundSolutions=27, bestBound=159
21.72/17.12
21.72/17.15 num=371, depth=19..27, filters=8213730, revisions=(10689748,useless=4169531), ccks=21012034, wck=14.673, mem=122M254
21.72/17.15 decisions=141985, wrong=66848, backtracks=46539, failedAssignments=45544, nogoods=2669, foundSolutions=27, bestBound=159
21.72/17.15
21.72/17.19 num=372, depth=19..28, filters=8233830, revisions=(10716673,useless=4180240), ccks=21064695, wck=14.711, mem=122M254
21.72/17.19 decisions=142308, wrong=66999, backtracks=46655, failedAssignments=45652, nogoods=2674, foundSolutions=27, bestBound=159
21.72/17.19
21.82/17.23 num=373, depth=20..28, filters=8254952, revisions=(10744720,useless=4190772), ccks=21112199, wck=14.748, mem=122M254
21.82/17.23 decisions=142670, wrong=67170, backtracks=46771, failedAssignments=45771, nogoods=2678, foundSolutions=27, bestBound=159
21.82/17.23
21.82/17.27 num=374, depth=19..29, filters=8279637, revisions=(10776634,useless=4202830), ccks=21169468, wck=14.793, mem=122M254
21.82/17.27 decisions=143070, wrong=67359, backtracks=46894, failedAssignments=45902, nogoods=2687, foundSolutions=27, bestBound=159
21.82/17.27
21.92/17.32 num=375, depth=19..28, filters=8306709, revisions=(10812199,useless=4216151), ccks=21234286, wck=14.84, mem=122M254
21.92/17.32 decisions=143502, wrong=67565, backtracks=47026, failedAssignments=46046, nogoods=2695, foundSolutions=27, bestBound=159
21.92/17.32
21.92/17.37 num=376, depth=19..28, filters=8335628, revisions=(10850619,useless=4231757), ccks=21307137, wck=14.893, mem=124M843
21.92/17.37 decisions=144001, wrong=67803, backtracks=47225, failedAssignments=46204, nogoods=2702, foundSolutions=27, bestBound=159
21.92/17.37
22.02/17.43 num=377, depth=20..28, filters=8366820, revisions=(10891233,useless=4247130), ccks=21388449, wck=14.95, mem=124M843
22.02/17.43 decisions=144521, wrong=68053, backtracks=47409, failedAssignments=46378, nogoods=2716, foundSolutions=27, bestBound=159
22.02/17.43
22.02/17.49 num=378, depth=19..27, filters=8400406, revisions=(10934759,useless=4263155), ccks=21471715, wck=15.009, mem=124M843
22.02/17.49 decisions=145083, wrong=68323, backtracks=47591, failedAssignments=46569, nogoods=2721, foundSolutions=27, bestBound=159
22.02/17.49
22.12/17.57 num=379, depth=18..29, filters=8444175, revisions=(10990896,useless=4286181), ccks=21572883, wck=15.086, mem=124M843
22.12/17.57 decisions=145748, wrong=68645, backtracks=47858, failedAssignments=46780, nogoods=2731, foundSolutions=27, bestBound=159
22.12/17.57
22.22/17.64 num=380, depth=19..28, filters=8481865, revisions=(11038899,useless=4304755), ccks=21673235, wck=15.155, mem=127M433
22.22/17.64 decisions=146442, wrong=68981, backtracks=48076, failedAssignments=47012, nogoods=2737, foundSolutions=27, bestBound=159
22.22/17.64
22.32/17.71 num=381, depth=19..28, filters=8522053, revisions=(11090600,useless=4323854), ccks=21770068, wck=15.227, mem=127M433
22.32/17.71 decisions=147187, wrong=69343, backtracks=48316, failedAssignments=47267, nogoods=2752, foundSolutions=27, bestBound=159
22.32/17.71
22.32/17.79 num=382, depth=19..29, filters=8568170, revisions=(11150310,useless=4345654), ccks=21876088, wck=15.306, mem=127M433
22.32/17.79 decisions=148011, wrong=69745, backtracks=48568, failedAssignments=47548, nogoods=2761, foundSolutions=27, bestBound=159
22.32/17.79
22.42/17.88 num=383, depth=18..29, filters=8625073, revisions=(11224768,useless=4374928), ccks=22011546, wck=15.402, mem=130M22
22.42/17.88 decisions=148910, wrong=70184, backtracks=48888, failedAssignments=47857, nogoods=2771, foundSolutions=27, bestBound=159
22.42/17.88
22.52/17.99 num=384, depth=19..29, filters=8686068, revisions=(11302573,useless=4405004), ccks=22161757, wck=15.51, mem=130M22
22.52/17.99 decisions=149949, wrong=70693, backtracks=49298, failedAssignments=48197, nogoods=2775, foundSolutions=27, bestBound=159
22.52/17.99
22.73/18.13 num=385, depth=18..29, filters=8767420, revisions=(11406769,useless=4446494), ccks=22347157, wck=15.652, mem=132M612
22.73/18.13 decisions=151103, wrong=71259, backtracks=49789, failedAssignments=48571, nogoods=2781, foundSolutions=27, bestBound=159
22.73/18.13
22.82/18.27 num=386, depth=18..29, filters=8846143, revisions=(11507328,useless=4484637), ccks=22551912, wck=15.791, mem=132M612
22.82/18.27 decisions=152329, wrong=71861, backtracks=50221, failedAssignments=48982, nogoods=2791, foundSolutions=27, bestBound=159
22.82/18.27
23.02/18.42 num=387, depth=18..28, filters=8934138, revisions=(11619137,useless=4525860), ccks=22776481, wck=15.939, mem=135M201
23.02/18.42 decisions=153768, wrong=72570, backtracks=50707, failedAssignments=49434, nogoods=2804, foundSolutions=27, bestBound=159
23.02/18.42
23.12/18.59 num=388, depth=18..28, filters=9032707, revisions=(11744879,useless=4571422), ccks=23000457, wck=16.104, mem=137M791
23.12/18.59 decisions=155275, wrong=73313, backtracks=51214, failedAssignments=49931, nogoods=2817, foundSolutions=27, bestBound=159
23.12/18.59
23.32/18.76 num=389, depth=19..29, filters=9135592, revisions=(11875501,useless=4621544), ccks=23262116, wck=16.277, mem=137M791
23.32/18.76 decisions=156943, wrong=74136, backtracks=51831, failedAssignments=50478, nogoods=2827, foundSolutions=27, bestBound=159
23.32/18.76
23.52/18.95 num=390, depth=17..29, filters=9249146, revisions=(12021877,useless=4679621), ccks=23553242, wck=16.472, mem=140M380
23.52/18.95 decisions=158789, wrong=75048, backtracks=52575, failedAssignments=51080, nogoods=2836, foundSolutions=27, bestBound=159
23.52/18.95
23.73/19.16 num=391, depth=19..30, filters=9373262, revisions=(12177391,useless=4738306), ccks=23857164, wck=16.677, mem=142M970
23.73/19.16 decisions=160899, wrong=76092, backtracks=53322, failedAssignments=51742, nogoods=2843, foundSolutions=27, bestBound=159
23.73/19.16
23.92/19.38 num=392, depth=18..29, filters=9503615, revisions=(12336804,useless=4796531), ccks=24188967, wck=16.895, mem=145M559
23.92/19.38 decisions=163153, wrong=77207, backtracks=54128, failedAssignments=52470, nogoods=2853, foundSolutions=27, bestBound=159
23.92/19.38
24.12/19.60 num=393, depth=17..29, filters=9630361, revisions=(12498716,useless=4857406), ccks=24507522, wck=17.114, mem=148M149
24.12/19.60 decisions=165528, wrong=78384, backtracks=54879, failedAssignments=53271, nogoods=2865, foundSolutions=27, bestBound=159
24.12/19.60
24.42/19.82 num=394, depth=18..28, filters=9759916, revisions=(12663793,useless=4917908), ccks=24812033, wck=17.335, mem=150M738
24.42/19.82 decisions=168153, wrong=79686, backtracks=55715, failedAssignments=54152, nogoods=2880, foundSolutions=27, bestBound=159
24.42/19.82
24.73/20.14 num=395, depth=18..30, filters=9960065, revisions=(12914928,useless=5014294), ccks=25288313, wck=17.661, mem=153M328
24.73/20.14 decisions=171154, wrong=81176, backtracks=56828, failedAssignments=55122, nogoods=2887, foundSolutions=27, bestBound=159
24.73/20.14
25.06/20.49 num=396, depth=18..28, filters=10159324, revisions=(13171551,useless=5112952), ccks=25769942, wck=18.007, mem=25M336
25.06/20.49 decisions=174381, wrong=82779, backtracks=57994, failedAssignments=56189, nogoods=2902, foundSolutions=27, bestBound=159
25.06/20.49
25.46/20.87 num=397, depth=18..29, filters=10392928, revisions=(13448421,useless=5213351), ccks=26383115, wck=18.391, mem=30M533
25.46/20.87 decisions=178261, wrong=84708, backtracks=59468, failedAssignments=57362, nogoods=2914, foundSolutions=27, bestBound=159
25.46/20.87
25.86/21.28 num=398, depth=17..29, filters=10637776, revisions=(13752406,useless=5324956), ccks=27011168, wck=18.802, mem=33M132
25.86/21.28 decisions=182211, wrong=86673, backtracks=60946, failedAssignments=58653, nogoods=2935, foundSolutions=27, bestBound=159
25.86/21.28
26.36/21.79 num=399, depth=16..30, filters=10954604, revisions=(14150443,useless=5471766), ccks=27788675, wck=19.31, mem=40M928
26.36/21.79 decisions=186939, wrong=89026, backtracks=62555, failedAssignments=60073, nogoods=2946, foundSolutions=27, bestBound=159
26.36/21.79
26.86/22.22 num=400, depth=17..30, filters=11204518, revisions=(14474371,useless=5596586), ccks=28409372, wck=19.744, mem=43M527
26.86/22.22 decisions=191762, wrong=91427, backtracks=64365, failedAssignments=61635, nogoods=2960, foundSolutions=27, bestBound=159
26.86/22.22
27.36/22.73 num=401, depth=17..28, filters=11515661, revisions=(14858459,useless=5737220), ccks=29156821, wck=20.251, mem=48M724
27.36/22.73 decisions=196977, wrong=94025, backtracks=66123, failedAssignments=63353, nogoods=2971, foundSolutions=27, bestBound=159
27.36/22.73
27.96/23.36 num=402, depth=17..29, filters=11885173, revisions=(15320483,useless=5913535), ccks=30157460, wck=20.877, mem=56M521
27.96/23.36 decisions=203063, wrong=97057, backtracks=68549, failedAssignments=65243, nogoods=2986, foundSolutions=27, bestBound=159
27.96/23.36
28.56/24.00 num=403, depth=17..29, filters=12281118, revisions=(15805800,useless=6085116), ccks=31101380, wck=21.519, mem=64M317
28.56/24.00 decisions=209446, wrong=100237, backtracks=70778, failedAssignments=67322, nogoods=2990, foundSolutions=27, bestBound=159
28.56/24.00
29.27/24.67 num=404, depth=17..29, filters=12692215, revisions=(16309162,useless=6265898), ccks=32077772, wck=22.191, mem=72M113
29.27/24.67 decisions=216410, wrong=103710, backtracks=73166, failedAssignments=69609, nogoods=2996, foundSolutions=27, bestBound=159
29.27/24.67
30.07/25.41 num=405, depth=17..30, filters=13136091, revisions=(16864061,useless=6475497), ccks=33204586, wck=22.93, mem=79M909
30.07/25.41 decisions=224398, wrong=107693, backtracks=76019, failedAssignments=72125, nogoods=3012, foundSolutions=27, bestBound=159
30.07/25.41
30.78/26.17 num=406, depth=17..30, filters=13609040, revisions=(17437044,useless=6682174), ccks=34356831, wck=23.693, mem=87M706
30.78/26.17 decisions=233110, wrong=112038, backtracks=78933, failedAssignments=74893, nogoods=3017, foundSolutions=27, bestBound=159
30.78/26.17
31.57/26.99 num=407, depth=18..32, filters=14122621, revisions=(18057071,useless=6910160), ccks=35625719, wck=24.509, mem=98M101
31.57/26.99 decisions=243010, wrong=116978, backtracks=82238, failedAssignments=77937, nogoods=3029, foundSolutions=27, bestBound=159
31.57/26.99
32.57/27.98 num=408, depth=16..30, filters=14721394, revisions=(18796300,useless=7182604), ccks=37068446, wck=25.495, mem=108M496
32.57/27.98 decisions=253350, wrong=122138, backtracks=85789, failedAssignments=81286, nogoods=3037, foundSolutions=27, bestBound=159
32.57/27.98
33.78/29.11 num=409, depth=17..30, filters=15427159, revisions=(19657520,useless=7499424), ccks=38862669, wck=26.633, mem=121M490
33.78/29.11 decisions=265336, wrong=128121, backtracks=90118, failedAssignments=84970, nogoods=3045, foundSolutions=27, bestBound=159
33.78/29.11
34.87/30.27 num=410, depth=17..31, filters=16147679, revisions=(20544950,useless=7824606), ccks=40642133, wck=27.792, mem=134M483
34.87/30.27 decisions=278275, wrong=134580, backtracks=94523, failedAssignments=89022, nogoods=3053, foundSolutions=27, bestBound=159
34.87/30.27
36.27/31.61 num=411, depth=17..33, filters=17007488, revisions=(21551000,useless=8179585), ccks=42790022, wck=29.128, mem=150M76
36.27/31.61 decisions=293999, wrong=142430, backtracks=100074, failedAssignments=93479, nogoods=3062, foundSolutions=27, bestBound=159
36.27/31.61
37.61/32.93 num=412, depth=16..31, filters=17832801, revisions=(22587110,useless=8559339), ccks=44706579, wck=30.451, mem=33M267
37.61/32.93 decisions=309105, wrong=149973, backtracks=104987, failedAssignments=98382, nogoods=3075, foundSolutions=27, bestBound=159
37.61/32.93
39.01/34.37 num=413, depth=17..31, filters=18745219, revisions=(23691082,useless=8956622), ccks=46995519, wck=31.892, mem=48M951
39.01/34.37 decisions=326810, wrong=158814, backtracks=111144, failedAssignments=103776, nogoods=3086, foundSolutions=27, bestBound=159
39.01/34.37
40.21/35.54 o 151
40.21/35.54 num=414, depth=16..555, filters=19495808, revisions=(24610008,useless=9282312), ccks=48643806, wck=33.055, mem=62M21
40.21/35.54 decisions=339395, wrong=165097, backtracks=115180, failedAssignments=107854, nogoods=3103, foundSolutions=28, bestBound=151
40.21/35.54
41.61/36.95 o 131
41.61/36.95 num=415, depth=17..555, filters=20344608, revisions=(25654240,useless=9663436), ccks=50710094, wck=34.472, mem=77M705
41.61/36.95 decisions=355653, wrong=173216, backtracks=121035, failedAssignments=112919, nogoods=3116, foundSolutions=29, bestBound=131
41.61/36.95
41.61/36.96 num=416, depth=23..26, filters=20346336, revisions=(25657201,useless=9665045), ccks=50716302, wck=34.479, mem=77M705
41.61/36.96 decisions=355706, wrong=173231, backtracks=121042, failedAssignments=112930, nogoods=3118, foundSolutions=29, bestBound=131
41.61/36.96
41.61/36.96 num=417, depth=22..26, filters=20348362, revisions=(25660525,useless=9666771), ccks=50720830, wck=34.483, mem=77M705
41.61/36.96 decisions=355757, wrong=173245, backtracks=121047, failedAssignments=112941, nogoods=3125, foundSolutions=29, bestBound=131
41.61/36.96
41.61/36.97 num=418, depth=21..28, filters=20350434, revisions=(25664127,useless=9668752), ccks=50725465, wck=34.488, mem=77M705
41.61/36.97 decisions=355808, wrong=173260, backtracks=121061, failedAssignments=112953, nogoods=3126, foundSolutions=29, bestBound=131
41.61/36.97
41.61/36.98 num=419, depth=22..26, filters=20353386, revisions=(25668766,useless=9671032), ccks=50732448, wck=34.494, mem=77M705
41.61/36.98 decisions=355867, wrong=173278, backtracks=121076, failedAssignments=112966, nogoods=3132, foundSolutions=29, bestBound=131
41.61/36.98
41.61/36.98 num=420, depth=21..26, filters=20355900, revisions=(25672953,useless=9673171), ccks=50738800, wck=34.5, mem=77M705
41.61/36.98 decisions=355928, wrong=173297, backtracks=121088, failedAssignments=112980, nogoods=3136, foundSolutions=29, bestBound=131
41.61/36.98
41.61/36.99 num=421, depth=21..26, filters=20358822, revisions=(25677776,useless=9675486), ccks=50745864, wck=34.505, mem=77M705
41.61/36.99 decisions=355995, wrong=173319, backtracks=121101, failedAssignments=112996, nogoods=3142, foundSolutions=29, bestBound=131
41.61/36.99
41.61/36.99 num=422, depth=21..27, filters=20362032, revisions=(25682693,useless=9677657), ccks=50752789, wck=34.511, mem=77M705
41.61/36.99 decisions=356064, wrong=173343, backtracks=121112, failedAssignments=113013, nogoods=3143, foundSolutions=29, bestBound=131
41.61/36.99
41.61/37.00 num=423, depth=21..25, filters=20364814, revisions=(25687362,useless=9680002), ccks=50759331, wck=34.516, mem=77M705
41.61/37.00 decisions=356137, wrong=173369, backtracks=121125, failedAssignments=113032, nogoods=3150, foundSolutions=29, bestBound=131
41.61/37.00
41.61/37.00 num=424, depth=21..26, filters=20368419, revisions=(25693213,useless=9682827), ccks=50767249, wck=34.524, mem=80M319
41.61/37.00 decisions=356215, wrong=173397, backtracks=121143, failedAssignments=113053, nogoods=3160, foundSolutions=29, bestBound=131
41.61/37.00
41.72/37.01 num=425, depth=20..26, filters=20372722, revisions=(25700054,useless=9685944), ccks=50776421, wck=34.531, mem=80M319
41.72/37.01 decisions=356304, wrong=173431, backtracks=121162, failedAssignments=113076, nogoods=3165, foundSolutions=29, bestBound=131
41.72/37.01
41.72/37.02 num=426, depth=20..26, filters=20377320, revisions=(25707378,useless=9689374), ccks=50785602, wck=34.54, mem=80M319
41.72/37.02 decisions=356391, wrong=173464, backtracks=121182, failedAssignments=113101, nogoods=3171, foundSolutions=29, bestBound=131
41.72/37.02
41.72/37.03 num=427, depth=19..25, filters=20381974, revisions=(25714659,useless=9692782), ccks=50796279, wck=34.55, mem=80M319
41.72/37.03 decisions=356487, wrong=173501, backtracks=121202, failedAssignments=113129, nogoods=3181, foundSolutions=29, bestBound=131
41.72/37.03
41.72/37.04 num=428, depth=21..28, filters=20389044, revisions=(25724665,useless=9697066), ccks=50810150, wck=34.563, mem=80M319
41.72/37.04 decisions=356596, wrong=173545, backtracks=121233, failedAssignments=113160, nogoods=3196, foundSolutions=29, bestBound=131
41.72/37.04
41.72/37.06 num=429, depth=20..28, filters=20394244, revisions=(25732601,useless=9700572), ccks=50822725, wck=34.574, mem=80M319
41.72/37.06 decisions=356708, wrong=173591, backtracks=121261, failedAssignments=113194, nogoods=3199, foundSolutions=29, bestBound=131
41.72/37.06
41.72/37.06 num=430, depth=17..28, filters=20397447, revisions=(25739178,useless=9704600), ccks=50832641, wck=34.582, mem=80M319
41.72/37.06 decisions=356822, wrong=173638, backtracks=121300, failedAssignments=113231, nogoods=3205, foundSolutions=29, bestBound=131
41.72/37.06
41.72/37.08 num=431, depth=20..26, filters=20403888, revisions=(25748978,useless=9708844), ccks=50849293, wck=34.595, mem=80M319
41.72/37.08 decisions=356956, wrong=173695, backtracks=121334, failedAssignments=113272, nogoods=3217, foundSolutions=29, bestBound=131
41.72/37.08
41.72/37.09 num=432, depth=18..28, filters=20410260, revisions=(25759062,useless=9713897), ccks=50866718, wck=34.608, mem=80M319
41.72/37.09 decisions=357130, wrong=173771, backtracks=121396, failedAssignments=113317, nogoods=3223, foundSolutions=29, bestBound=131
41.72/37.09
41.72/37.10 num=433, depth=21..27, filters=20417800, revisions=(25769569,useless=9718025), ccks=50882516, wck=34.62, mem=80M319
41.72/37.10 decisions=357296, wrong=173843, backtracks=121431, failedAssignments=113367, nogoods=3228, foundSolutions=29, bestBound=131
41.72/37.10
41.82/37.12 num=434, depth=19..29, filters=20427553, revisions=(25784116,useless=9724139), ccks=50902149, wck=34.638, mem=80M319
41.82/37.12 decisions=357470, wrong=173920, backtracks=121476, failedAssignments=113422, nogoods=3233, foundSolutions=29, bestBound=131
41.82/37.12
41.82/37.14 num=435, depth=19..27, filters=20438472, revisions=(25799714,useless=9730529), ccks=50921852, wck=34.657, mem=80M319
41.82/37.14 decisions=357654, wrong=174000, backtracks=121514, failedAssignments=113483, nogoods=3247, foundSolutions=29, bestBound=131
41.82/37.14
41.82/37.15 num=436, depth=19..28, filters=20447121, revisions=(25813139,useless=9736786), ccks=50942225, wck=34.674, mem=80M319
41.82/37.15 decisions=357855, wrong=174090, backtracks=121580, failedAssignments=113550, nogoods=3254, foundSolutions=29, bestBound=131
41.82/37.15
41.82/37.17 num=437, depth=17..27, filters=20456618, revisions=(25828883,useless=9745030), ccks=50971136, wck=34.693, mem=80M319
41.82/37.17 decisions=358113, wrong=174210, backtracks=121683, failedAssignments=113624, nogoods=3264, foundSolutions=29, bestBound=131
41.82/37.17
41.82/37.20 num=438, depth=21..27, filters=20469845, revisions=(25847654,useless=9752139), ccks=50998988, wck=34.714, mem=80M319
41.82/37.20 decisions=358370, wrong=174327, backtracks=121737, failedAssignments=113705, nogoods=3273, foundSolutions=29, bestBound=131
41.82/37.20
41.91/37.22 num=439, depth=19..28, filters=20485835, revisions=(25868746,useless=9759860), ccks=51033345, wck=34.741, mem=82M933
41.91/37.22 decisions=358638, wrong=174450, backtracks=121804, failedAssignments=113794, nogoods=3278, foundSolutions=29, bestBound=131
41.91/37.22
41.91/37.25 num=440, depth=19..27, filters=20505417, revisions=(25896673,useless=9770970), ccks=51070342, wck=34.774, mem=82M933
41.91/37.25 decisions=358933, wrong=174587, backtracks=121885, failedAssignments=113892, nogoods=3292, foundSolutions=29, bestBound=131
41.91/37.25
41.91/37.29 num=441, depth=18..27, filters=20527566, revisions=(25927714,useless=9783838), ccks=51116895, wck=34.812, mem=82M933
41.91/37.29 decisions=359264, wrong=174742, backtracks=121995, failedAssignments=114000, nogoods=3295, foundSolutions=29, bestBound=131
41.91/37.29
42.01/37.32 num=442, depth=17..28, filters=20542786, revisions=(25951299,useless=9795606), ccks=51160103, wck=34.843, mem=82M933
42.01/37.32 decisions=359643, wrong=174922, backtracks=122158, failedAssignments=114119, nogoods=3297, foundSolutions=29, bestBound=131
42.01/37.32
42.01/37.37 num=443, depth=19..27, filters=20568715, revisions=(25986378,useless=9808723), ccks=51212853, wck=34.887, mem=82M933
42.01/37.37 decisions=360051, wrong=175116, backtracks=122267, failedAssignments=114250, nogoods=3303, foundSolutions=29, bestBound=131
42.01/37.37
42.11/37.41 num=444, depth=19..28, filters=20596198, revisions=(26022927,useless=9822076), ccks=51268543, wck=34.932, mem=82M933
42.11/37.41 decisions=360482, wrong=175321, backtracks=122384, failedAssignments=114394, nogoods=3312, foundSolutions=29, bestBound=131
42.11/37.41
42.11/37.45 num=445, depth=19..27, filters=20618909, revisions=(26054669,useless=9834495), ccks=51313658, wck=34.969, mem=85M547
42.11/37.45 decisions=360956, wrong=175547, backtracks=122504, failedAssignments=114552, nogoods=3328, foundSolutions=29, bestBound=131
42.11/37.45
42.11/37.49 num=446, depth=17..28, filters=20643552, revisions=(26089919,useless=9850050), ccks=51382049, wck=35.013, mem=85M547
42.11/37.49 decisions=361557, wrong=175838, backtracks=122731, failedAssignments=114726, nogoods=3334, foundSolutions=29, bestBound=131
42.11/37.49
42.21/37.54 num=447, depth=20..27, filters=20673249, revisions=(26129615,useless=9865005), ccks=51443559, wck=35.061, mem=85M547
42.21/37.54 decisions=362125, wrong=176112, backtracks=122876, failedAssignments=114917, nogoods=3345, foundSolutions=29, bestBound=131
42.21/37.54
42.21/37.59 num=448, depth=19..28, filters=20706901, revisions=(26175623,useless=9881982), ccks=51508703, wck=35.114, mem=85M547
42.21/37.59 decisions=362745, wrong=176411, backtracks=123030, failedAssignments=115128, nogoods=3356, foundSolutions=29, bestBound=131
42.21/37.59
42.31/37.66 num=449, depth=17..29, filters=20741346, revisions=(26227243,useless=9906140), ccks=51608197, wck=35.175, mem=85M547
42.31/37.66 decisions=363556, wrong=176807, backtracks=123348, failedAssignments=115360, nogoods=3362, foundSolutions=29, bestBound=131
42.31/37.66
42.41/37.73 num=450, depth=20..28, filters=20786077, revisions=(26285487,useless=9927485), ccks=51703424, wck=35.245, mem=88M161
42.41/37.73 decisions=364341, wrong=177189, backtracks=123577, failedAssignments=115615, nogoods=3371, foundSolutions=29, bestBound=131
42.41/37.73
42.51/37.81 num=451, depth=18..29, filters=20836088, revisions=(26354945,useless=9955159), ccks=51804433, wck=35.33, mem=88M161
42.51/37.81 decisions=365198, wrong=177607, backtracks=123830, failedAssignments=115896, nogoods=3386, foundSolutions=29, bestBound=131
42.51/37.81
42.61/37.90 num=452, depth=18..29, filters=20891138, revisions=(26427922,useless=9981921), ccks=51916761, wck=35.418, mem=90M776
42.61/37.90 decisions=366121, wrong=178058, backtracks=124099, failedAssignments=116205, nogoods=3400, foundSolutions=29, bestBound=131
42.61/37.90
42.61/38.00 num=453, depth=18..27, filters=20949944, revisions=(26504276,useless=10010406), ccks=52035496, wck=35.514, mem=90M776
42.61/38.00 decisions=367136, wrong=178555, backtracks=124388, failedAssignments=116545, nogoods=3406, foundSolutions=29, bestBound=131
42.61/38.00
42.72/38.10 num=454, depth=18..28, filters=21014022, revisions=(26588732,useless=10041769), ccks=52171057, wck=35.62, mem=90M776
42.72/38.10 decisions=368233, wrong=179094, backtracks=124721, failedAssignments=116919, nogoods=3414, foundSolutions=29, bestBound=131
42.72/38.10
42.91/38.21 num=455, depth=18..27, filters=21082744, revisions=(26682138,useless=10076822), ccks=52310831, wck=35.728, mem=93M390
42.91/38.21 decisions=369471, wrong=179703, backtracks=125047, failedAssignments=117330, nogoods=3428, foundSolutions=29, bestBound=131
42.91/38.21
43.01/38.35 num=456, depth=18..29, filters=21164850, revisions=(26788142,useless=10116984), ccks=52497408, wck=35.866, mem=93M390
43.01/38.35 decisions=370835, wrong=180375, backtracks=125548, failedAssignments=117782, nogoods=3430, foundSolutions=29, bestBound=131
43.01/38.35
43.11/38.48 num=457, depth=18..29, filters=21251256, revisions=(26900438,useless=10158433), ccks=52673485, wck=36.003, mem=96M4
43.11/38.48 decisions=372365, wrong=181131, backtracks=126014, failedAssignments=118279, nogoods=3438, foundSolutions=29, bestBound=131
43.11/38.48
43.31/38.66 num=458, depth=18..33, filters=21353034, revisions=(27028870,useless=10207011), ccks=52889281, wck=36.174, mem=98M618
43.31/38.66 decisions=373967, wrong=181922, backtracks=126608, failedAssignments=118826, nogoods=3449, foundSolutions=29, bestBound=131
43.31/38.66
43.41/38.78 num=459, depth=17..29, filters=21424518, revisions=(27133663,useless=10254065), ccks=53082836, wck=36.302, mem=98M618
43.41/38.78 decisions=375718, wrong=182788, backtracks=127266, failedAssignments=119428, nogoods=3454, foundSolutions=29, bestBound=131
43.41/38.78
43.61/38.97 num=460, depth=18..28, filters=21538226, revisions=(27279728,useless=10307723), ccks=53332032, wck=36.488, mem=101M232
43.61/38.97 decisions=377709, wrong=183774, backtracks=127900, failedAssignments=120090, nogoods=3465, foundSolutions=29, bestBound=131
43.61/38.97
43.91/39.22 num=461, depth=17..29, filters=21684446, revisions=(27474539,useless=10386816), ccks=53668827, wck=36.737, mem=103M846
43.91/39.22 decisions=379942, wrong=184881, backtracks=128797, failedAssignments=120818, nogoods=3471, foundSolutions=29, bestBound=131
43.91/39.22
44.11/39.46 num=462, depth=18..30, filters=21820379, revisions=(27649294,useless=10453039), ccks=53991415, wck=36.977, mem=106M460
44.11/39.46 decisions=382369, wrong=186083, backtracks=129715, failedAssignments=121619, nogoods=3478, foundSolutions=29, bestBound=131
44.11/39.46
44.31/39.68 num=463, depth=17..29, filters=21957303, revisions=(27829140,useless=10519062), ccks=54281524, wck=37.197, mem=109M74
44.31/39.68 decisions=385004, wrong=187390, backtracks=130457, failedAssignments=122500, nogoods=3487, foundSolutions=29, bestBound=131
44.31/39.68
44.61/39.94 num=464, depth=17..28, filters=22110205, revisions=(28030718,useless=10595141), ccks=54636173, wck=37.454, mem=111M688
44.61/39.94 decisions=387954, wrong=188855, backtracks=131371, failedAssignments=123470, nogoods=3493, foundSolutions=29, bestBound=131
44.61/39.94
44.91/40.28 num=465, depth=17..28, filters=22310027, revisions=(28279906,useless=10686206), ccks=55118796, wck=37.796, mem=116M916
44.91/40.28 decisions=391227, wrong=190481, backtracks=132605, failedAssignments=124537, nogoods=3500, foundSolutions=29, bestBound=131
44.91/40.28
45.31/40.61 num=466, depth=17..28, filters=22517625, revisions=(28555342,useless=10793768), ccks=55554392, wck=38.131, mem=119M530
45.31/40.61 decisions=394710, wrong=192213, backtracks=133742, failedAssignments=125710, nogoods=3507, foundSolutions=29, bestBound=131
45.31/40.61
45.62/40.96 num=467, depth=17..29, filters=22718777, revisions=(28809811,useless=10888718), ccks=56012993, wck=38.474, mem=122M144
45.62/40.96 decisions=398672, wrong=194183, backtracks=135116, failedAssignments=127001, nogoods=3512, foundSolutions=29, bestBound=131
45.62/40.96
46.02/41.34 num=468, depth=17..29, filters=22942930, revisions=(29099685,useless=10998335), ccks=56548477, wck=38.86, mem=127M372
46.02/41.34 decisions=403013, wrong=196342, backtracks=136616, failedAssignments=128421, nogoods=3516, foundSolutions=29, bestBound=131
46.02/41.34
46.42/41.78 num=469, depth=17..30, filters=23205508, revisions=(29435677,useless=11124590), ccks=57159155, wck=39.3, mem=132M600
46.42/41.78 decisions=407816, wrong=198733, backtracks=138236, failedAssignments=129983, nogoods=3527, foundSolutions=29, bestBound=131
46.42/41.78
46.92/42.26 num=470, depth=17..29, filters=23479854, revisions=(29799043,useless=11265432), ccks=57826273, wck=39.775, mem=137M828
46.92/42.26 decisions=413264, wrong=201447, backtracks=140200, failedAssignments=131701, nogoods=3540, foundSolutions=29, bestBound=131
46.92/42.26
47.52/42.88 num=471, depth=16..29, filters=23852145, revisions=(30273951,useless=11446428), ccks=58706496, wck=40.396, mem=143M56
47.52/42.88 decisions=419185, wrong=204398, backtracks=142433, failedAssignments=133591, nogoods=3548, foundSolutions=29, bestBound=131
47.52/42.88
48.22/43.53 num=472, depth=16..30, filters=24246838, revisions=(30764778,useless=11627591), ccks=59628988, wck=41.049, mem=150M898
48.22/43.53 decisions=425589, wrong=207589, backtracks=144824, failedAssignments=135670, nogoods=3554, foundSolutions=29, bestBound=131
48.22/43.53
49.04/44.35 num=473, depth=16..30, filters=24726521, revisions=(31358083,useless=11846327), ccks=60767837, wck=41.873, mem=28M8
49.04/44.35 decisions=432894, wrong=211231, backtracks=147805, failedAssignments=137957, nogoods=3562, foundSolutions=29, bestBound=131
49.04/44.35
49.85/45.11 num=474, depth=16..30, filters=25200280, revisions=(31943959,useless=12059222), ccks=61846043, wck=42.632, mem=35M755
49.85/45.11 decisions=440548, wrong=215047, backtracks=150453, failedAssignments=140473, nogoods=3567, foundSolutions=29, bestBound=131
49.85/45.11
50.69/45.95 num=475, depth=16..29, filters=25695086, revisions=(32566572,useless=12293950), ccks=62999984, wck=43.468, mem=43M502
50.69/45.95 decisions=449383, wrong=219453, backtracks=153848, failedAssignments=143241, nogoods=3578, foundSolutions=29, bestBound=131
50.69/45.95
51.59/46.80 num=476, depth=16..30, filters=26206302, revisions=(33211217,useless=12530529), ccks=64161679, wck=44.318, mem=53M831
51.59/46.80 decisions=458583, wrong=224043, backtracks=156935, failedAssignments=146285, nogoods=3594, foundSolutions=29, bestBound=131
51.59/46.80
52.49/47.77 num=477, depth=16..31, filters=26793338, revisions=(33934265,useless=12792493), ccks=65546543, wck=45.293, mem=64M160
52.49/47.77 decisions=468917, wrong=229200, backtracks=160648, failedAssignments=149634, nogoods=3604, foundSolutions=29, bestBound=131
52.49/47.77
53.49/48.80 num=478, depth=16..32, filters=27377058, revisions=(34716107,useless=13117697), ccks=67267875, wck=46.314, mem=74M490
53.49/48.80 decisions=481460, wrong=235461, backtracks=165575, failedAssignments=153318, nogoods=3611, foundSolutions=29, bestBound=131
53.49/48.80
54.80/50.09 num=479, depth=16..31, filters=28173650, revisions=(35694779,useless=13476944), ccks=69149322, wck=47.608, mem=89M984
54.80/50.09 decisions=494643, wrong=242042, backtracks=170451, failedAssignments=157370, nogoods=3617, foundSolutions=29, bestBound=131
54.80/50.09
55.29/50.59 o 115
55.29/50.59 num=480, depth=18..555, filters=28483436, revisions=(36071036,useless=13611503), ccks=69858030, wck=48.112, mem=95M148
55.29/50.59 decisions=500461, wrong=244940, backtracks=172392, failedAssignments=159210, nogoods=3633, foundSolutions=30, bestBound=115
55.29/50.59
56.80/52.06 num=481, depth=17..30, filters=29385710, revisions=(37185891,useless=14021453), ccks=71885016, wck=49.576, mem=110M642
56.80/52.06 decisions=516182, wrong=252790, backtracks=177866, failedAssignments=164113, nogoods=3642, foundSolutions=30, bestBound=115
56.80/52.06
56.80/52.06 num=482, depth=23..29, filters=29387442, revisions=(37189131,useless=14023275), ccks=71890897, wck=49.581, mem=113M224
56.80/52.06 decisions=516236, wrong=252805, backtracks=177877, failedAssignments=164124, nogoods=3644, foundSolutions=30, bestBound=115
56.80/52.06
56.80/52.07 num=483, depth=23..26, filters=29389541, revisions=(37192656,useless=14025121), ccks=71895636, wck=49.586, mem=113M224
56.80/52.07 decisions=516295, wrong=252823, backtracks=177887, failedAssignments=164136, nogoods=3650, foundSolutions=30, bestBound=115
56.80/52.07
56.80/52.07 num=484, depth=23..27, filters=29391858, revisions=(37196419,useless=14026987), ccks=71901427, wck=49.591, mem=113M224
56.80/52.07 decisions=516355, wrong=252841, backtracks=177895, failedAssignments=164149, nogoods=3655, foundSolutions=30, bestBound=115
56.80/52.07
56.80/52.08 num=485, depth=23..29, filters=29394012, revisions=(37200041,useless=14028896), ccks=71906675, wck=49.595, mem=113M224
56.80/52.08 decisions=516415, wrong=252859, backtracks=177907, failedAssignments=164163, nogoods=3658, foundSolutions=30, bestBound=115
56.80/52.08
56.80/52.08 num=486, depth=23..28, filters=29397262, revisions=(37205033,useless=14031263), ccks=71914046, wck=49.602, mem=113M224
56.80/52.08 decisions=516483, wrong=252881, backtracks=177923, failedAssignments=164179, nogoods=3664, foundSolutions=30, bestBound=115
56.80/52.08
56.80/52.09 num=487, depth=22..27, filters=29400833, revisions=(37210506,useless=14033862), ccks=71923105, wck=49.609, mem=113M224
56.80/52.09 decisions=516552, wrong=252904, backtracks=177938, failedAssignments=164196, nogoods=3670, foundSolutions=30, bestBound=115
56.80/52.09
56.80/52.10 num=488, depth=21..28, filters=29406887, revisions=(37219089,useless=14037868), ccks=71933867, wck=49.621, mem=113M224
56.80/52.10 decisions=516636, wrong=252934, backtracks=177962, failedAssignments=164215, nogoods=3674, foundSolutions=30, bestBound=115
56.80/52.10
56.90/52.11 num=489, depth=21..27, filters=29412352, revisions=(37227010,useless=14041405), ccks=71947770, wck=49.631, mem=113M224
56.90/52.11 decisions=516727, wrong=252968, backtracks=177987, failedAssignments=164236, nogoods=3678, foundSolutions=30, bestBound=115
56.90/52.11
56.90/52.12 num=490, depth=22..27, filters=29417817, revisions=(37234816,useless=14044856), ccks=71960302, wck=49.642, mem=113M224
56.90/52.12 decisions=516820, wrong=253003, backtracks=178016, failedAssignments=164259, nogoods=3683, foundSolutions=30, bestBound=115
56.90/52.12
56.90/52.13 num=491, depth=21..30, filters=29424082, revisions=(37243891,useless=14048920), ccks=71972220, wck=49.653, mem=113M224
56.90/52.13 decisions=516919, wrong=253041, backtracks=178043, failedAssignments=164284, nogoods=3686, foundSolutions=30, bestBound=115
56.90/52.13
56.90/52.14 num=492, depth=22..28, filters=29428041, revisions=(37249965,useless=14051642), ccks=71981489, wck=49.66, mem=113M224
56.90/52.14 decisions=517019, wrong=253080, backtracks=178062, failedAssignments=164312, nogoods=3687, foundSolutions=30, bestBound=115
56.90/52.14
56.90/52.15 num=493, depth=22..28, filters=29432914, revisions=(37257450,useless=14055164), ccks=71992205, wck=49.67, mem=113M224
56.90/52.15 decisions=517130, wrong=253124, backtracks=178093, failedAssignments=164343, nogoods=3693, foundSolutions=30, bestBound=115
56.90/52.15
56.90/52.17 num=494, depth=21..28, filters=29440958, revisions=(37268114,useless=14059586), ccks=72008654, wck=49.684, mem=113M224
56.90/52.17 decisions=517258, wrong=253177, backtracks=178134, failedAssignments=164377, nogoods=3697, foundSolutions=30, bestBound=115
56.90/52.17
56.90/52.18 num=495, depth=22..29, filters=29448924, revisions=(37279140,useless=14064282), ccks=72025617, wck=49.698, mem=113M224
56.90/52.18 decisions=517398, wrong=253235, backtracks=178175, failedAssignments=164414, nogoods=3708, foundSolutions=30, bestBound=115
56.90/52.18
56.90/52.19 num=496, depth=20..29, filters=29456902, revisions=(37290351,useless=14069126), ccks=72043722, wck=49.713, mem=113M224
56.90/52.19 decisions=517545, wrong=253297, backtracks=178220, failedAssignments=164455, nogoods=3712, foundSolutions=30, bestBound=115
56.90/52.19
57.00/52.21 num=497, depth=21..28, filters=29463552, revisions=(37299945,useless=14073320), ccks=72058473, wck=49.725, mem=113M224
57.00/52.21 decisions=517691, wrong=253358, backtracks=178259, failedAssignments=164500, nogoods=3722, foundSolutions=30, bestBound=115
57.00/52.21
57.00/52.22 num=498, depth=21..28, filters=29473161, revisions=(37313579,useless=14079220), ccks=72080660, wck=49.742, mem=113M224
57.00/52.22 decisions=517869, wrong=253436, backtracks=178318, failedAssignments=164550, nogoods=3726, foundSolutions=30, bestBound=115
57.00/52.22
57.00/52.25 num=499, depth=20..28, filters=29485380, revisions=(37331065,useless=14087186), ccks=72109078, wck=49.765, mem=113M224
57.00/52.25 decisions=518060, wrong=253521, backtracks=178392, failedAssignments=164605, nogoods=3730, foundSolutions=30, bestBound=115
57.00/52.25
57.00/52.26 num=500, depth=21..28, filters=29495786, revisions=(37345904,useless=14093438), ccks=72132236, wck=49.783, mem=113M224
57.00/52.26 decisions=518260, wrong=253610, backtracks=178450, failedAssignments=164666, nogoods=3738, foundSolutions=30, bestBound=115
57.00/52.26
57.00/52.29 num=501, depth=21..27, filters=29510872, revisions=(37365563,useless=14101307), ccks=72169562, wck=49.809, mem=115M807
57.00/52.29 decisions=518506, wrong=253722, backtracks=178534, failedAssignments=164733, nogoods=3744, foundSolutions=30, bestBound=115
57.00/52.29
57.09/52.32 num=502, depth=21..29, filters=29524962, revisions=(37384624,useless=14109172), ccks=72203441, wck=49.835, mem=115M807
57.09/52.32 decisions=518757, wrong=253835, backtracks=178615, failedAssignments=164807, nogoods=3753, foundSolutions=30, bestBound=115
57.09/52.32
57.09/52.34 num=503, depth=18..29, filters=29535454, revisions=(37401197,useless=14117121), ccks=72231458, wck=49.855, mem=115M807
57.09/52.34 decisions=519033, wrong=253963, backtracks=178708, failedAssignments=164888, nogoods=3756, foundSolutions=30, bestBound=115
57.09/52.34
57.09/52.36 num=504, depth=21..28, filters=29550718, revisions=(37421870,useless=14125467), ccks=72268800, wck=49.881, mem=115M807
57.09/52.36 decisions=519323, wrong=254097, backtracks=178797, failedAssignments=164977, nogoods=3764, foundSolutions=30, bestBound=115
57.09/52.36
57.19/52.40 num=505, depth=20..28, filters=29571691, revisions=(37449813,useless=14136554), ccks=72321014, wck=49.918, mem=115M807
57.19/52.40 decisions=519670, wrong=254260, backtracks=178911, failedAssignments=165075, nogoods=3768, foundSolutions=30, bestBound=115
57.19/52.40
57.19/52.43 num=506, depth=21..29, filters=29588697, revisions=(37473216,useless=14145754), ccks=72356677, wck=49.947, mem=115M807
57.19/52.43 decisions=520021, wrong=254424, backtracks=179017, failedAssignments=165183, nogoods=3775, foundSolutions=30, bestBound=115
57.19/52.43
57.19/52.46 num=507, depth=20..28, filters=29607560, revisions=(37498715,useless=14156252), ccks=72398436, wck=49.979, mem=115M807
57.19/52.46 decisions=520415, wrong=254609, backtracks=179132, failedAssignments=165302, nogoods=3780, foundSolutions=30, bestBound=115
57.19/52.46
57.19/52.50 num=508, depth=20..29, filters=29626999, revisions=(37526763,useless=14168557), ccks=72448460, wck=50.015, mem=118M389
57.19/52.50 decisions=520832, wrong=254806, backtracks=179290, failedAssignments=165433, nogoods=3785, foundSolutions=30, bestBound=115
57.19/52.50
57.29/52.54 num=509, depth=20..30, filters=29654353, revisions=(37562768,useless=14182595), ccks=72508030, wck=50.062, mem=118M389
57.29/52.54 decisions=521279, wrong=255019, backtracks=179445, failedAssignments=165577, nogoods=3791, foundSolutions=30, bestBound=115
57.29/52.54
57.29/52.58 num=510, depth=21..31, filters=29673159, revisions=(37588440,useless=14192552), ccks=72548550, wck=50.094, mem=118M389
57.29/52.58 decisions=521761, wrong=255249, backtracks=179566, failedAssignments=165735, nogoods=3798, foundSolutions=30, bestBound=115
57.29/52.58
57.40/52.63 num=511, depth=19..28, filters=29704587, revisions=(37629577,useless=14208832), ccks=72620803, wck=50.15, mem=118M389
57.40/52.63 decisions=522331, wrong=255523, backtracks=179760, failedAssignments=165909, nogoods=3805, foundSolutions=30, bestBound=115
57.40/52.63
57.51/52.70 num=512, depth=20..28, filters=29743294, revisions=(37679019,useless=14228160), ccks=72704731, wck=50.217, mem=118M389
57.51/52.70 decisions=522966, wrong=255830, backtracks=179972, failedAssignments=166100, nogoods=3815, foundSolutions=30, bestBound=115
57.51/52.70
57.51/52.76 num=513, depth=19..28, filters=29777817, revisions=(37725888,useless=14247108), ccks=72783793, wck=50.275, mem=120M971
57.51/52.76 decisions=523626, wrong=256149, backtracks=180195, failedAssignments=166311, nogoods=3820, foundSolutions=30, bestBound=115
57.51/52.76
57.61/52.84 num=514, depth=19..28, filters=29824001, revisions=(37786302,useless=14270595), ccks=72882614, wck=50.355, mem=120M971
57.61/52.84 decisions=524341, wrong=256495, backtracks=180455, failedAssignments=166543, nogoods=3831, foundSolutions=30, bestBound=115
57.61/52.84
57.61/52.89 num=515, depth=19..28, filters=29857776, revisions=(37832984,useless=14288894), ccks=72957033, wck=50.413, mem=120M971
57.61/52.89 decisions=525113, wrong=256871, backtracks=180681, failedAssignments=166798, nogoods=3835, foundSolutions=30, bestBound=115
57.61/52.89
57.71/52.97 num=516, depth=19..28, filters=29902364, revisions=(37891643,useless=14310631), ccks=73058847, wck=50.491, mem=123M554
57.71/52.97 decisions=526001, wrong=257304, backtracks=180947, failedAssignments=167079, nogoods=3848, foundSolutions=30, bestBound=115
57.71/52.97
57.82/53.05 num=517, depth=19..28, filters=29947181, revisions=(37955103,useless=14337299), ccks=73164249, wck=50.571, mem=123M554
57.82/53.05 decisions=526947, wrong=257765, backtracks=181260, failedAssignments=167388, nogoods=3857, foundSolutions=30, bestBound=115
57.82/53.05
57.92/53.14 num=518, depth=19..31, filters=30000130, revisions=(38027144,useless=14365571), ccks=73285273, wck=50.662, mem=123M554
57.92/53.14 decisions=528018, wrong=258289, backtracks=181615, failedAssignments=167728, nogoods=3866, foundSolutions=30, bestBound=115
57.92/53.14
58.01/53.24 num=519, depth=19..28, filters=30058018, revisions=(38104402,useless=14395946), ccks=73412988, wck=50.761, mem=126M136
58.01/53.24 decisions=529134, wrong=258836, backtracks=181984, failedAssignments=168102, nogoods=3873, foundSolutions=30, bestBound=115
58.01/53.24
58.11/53.34 num=520, depth=18..29, filters=30110451, revisions=(38180426,useless=14429918), ccks=73561450, wck=50.859, mem=126M136
58.11/53.34 decisions=530365, wrong=259441, backtracks=182489, failedAssignments=168513, nogoods=3879, foundSolutions=30, bestBound=115
58.11/53.34
58.21/53.46 num=521, depth=19..29, filters=30183777, revisions=(38277173,useless=14466965), ccks=73718170, wck=50.983, mem=128M718
58.21/53.46 decisions=531735, wrong=260116, backtracks=182928, failedAssignments=168965, nogoods=3889, foundSolutions=30, bestBound=115
58.21/53.46
58.41/53.62 num=522, depth=19..29, filters=30274172, revisions=(38396030,useless=14513676), ccks=73911839, wck=51.135, mem=128M718
58.41/53.62 decisions=533289, wrong=260883, backtracks=183484, failedAssignments=169462, nogoods=3897, foundSolutions=30, bestBound=115
58.41/53.62
58.51/53.75 num=523, depth=17..27, filters=30343362, revisions=(38497603,useless=14556312), ccks=74075697, wck=51.266, mem=131M301
58.51/53.75 decisions=534941, wrong=261699, backtracks=183948, failedAssignments=170009, nogoods=3909, foundSolutions=30, bestBound=115
58.51/53.75
58.71/53.91 num=524, depth=19..29, filters=30440323, revisions=(38624727,useless=14604692), ccks=74289949, wck=51.428, mem=131M301
58.71/53.91 decisions=536778, wrong=262606, backtracks=184541, failedAssignments=170611, nogoods=3919, foundSolutions=30, bestBound=115
58.71/53.91
58.92/54.11 num=525, depth=18..28, filters=30558171, revisions=(38780741,useless=14666001), ccks=74547429, wck=51.632, mem=133M883
58.92/54.11 decisions=538826, wrong=263620, backtracks=185265, failedAssignments=171273, nogoods=3929, foundSolutions=30, bestBound=115
58.92/54.11
59.11/54.33 num=526, depth=17..28, filters=30685583, revisions=(38943615,useless=14724606), ccks=74833934, wck=51.853, mem=136M466
59.11/54.33 decisions=541077, wrong=264735, backtracks=186014, failedAssignments=172001, nogoods=3933, foundSolutions=30, bestBound=115
59.11/54.33
59.41/54.62 num=527, depth=18..29, filters=30850157, revisions=(39152795,useless=14805174), ccks=75210397, wck=52.137, mem=139M48
59.41/54.62 decisions=543800, wrong=266086, backtracks=187089, failedAssignments=172802, nogoods=3947, foundSolutions=30, bestBound=115
59.41/54.62
59.61/54.89 num=528, depth=17..29, filters=31016711, revisions=(39371146,useless=14889113), ccks=75573573, wck=52.412, mem=144M213
59.61/54.89 decisions=546528, wrong=267440, backtracks=188048, failedAssignments=173683, nogoods=3956, foundSolutions=30, bestBound=115
59.61/54.89
59.92/55.15 num=529, depth=18..30, filters=31165174, revisions=(39571332,useless=14967446), ccks=75902235, wck=52.666, mem=146M795
59.92/55.15 decisions=549628, wrong=268980, backtracks=189119, failedAssignments=174653, nogoods=3962, foundSolutions=30, bestBound=115
59.92/55.15
60.21/55.41 num=530, depth=18..32, filters=31318202, revisions=(39778287,useless=15056734), ccks=76296861, wck=52.933, mem=149M377
60.21/55.41 decisions=553067, wrong=270690, backtracks=190426, failedAssignments=175720, nogoods=3969, foundSolutions=30, bestBound=115
60.21/55.41
60.61/55.81 num=531, depth=17..28, filters=31551033, revisions=(40081246,useless=15172835), ccks=76810776, wck=53.333, mem=151M960
60.61/55.81 decisions=556696, wrong=272494, backtracks=191666, failedAssignments=176893, nogoods=3979, foundSolutions=30, bestBound=115
60.61/55.81
61.04/56.25 num=532, depth=17..29, filters=31801492, revisions=(40394316,useless=15287355), ccks=77383029, wck=53.765, mem=28M44
61.04/56.25 decisions=560756, wrong=274514, backtracks=193187, failedAssignments=178184, nogoods=3993, foundSolutions=30, bestBound=115
61.04/56.25
61.54/56.72 num=533, depth=17..30, filters=32075904, revisions=(40756284,useless=15428313), ccks=78004219, wck=54.238, mem=33M138
61.54/56.72 decisions=565127, wrong=276688, backtracks=194862, failedAssignments=179604, nogoods=4001, foundSolutions=30, bestBound=115
61.54/56.72
62.04/57.29 num=534, depth=16..29, filters=32416738, revisions=(41201687,useless=15602476), ccks=78732582, wck=54.809, mem=38M231
62.04/57.29 decisions=570252, wrong=279240, backtracks=196845, failedAssignments=181166, nogoods=4007, foundSolutions=30, bestBound=115
62.04/57.29
62.64/57.81 num=535, depth=17..29, filters=32730605, revisions=(41592601,useless=15744415), ccks=79422042, wck=55.331, mem=43M325
62.64/57.81 decisions=575510, wrong=281859, backtracks=198679, failedAssignments=182884, nogoods=4018, foundSolutions=30, bestBound=115
62.64/57.81
63.14/58.35 num=536, depth=16..28, filters=33052662, revisions=(42011631,useless=15902722), ccks=80110161, wck=55.869, mem=50M966
63.14/58.35 decisions=581270, wrong=284729, backtracks=200511, failedAssignments=184774, nogoods=4027, foundSolutions=30, bestBound=115
63.14/58.35
63.64/58.89 num=537, depth=17..29, filters=33362726, revisions=(42422749,useless=16063623), ccks=80834401, wck=56.41, mem=56M60
63.64/58.89 decisions=587604, wrong=287886, backtracks=202739, failedAssignments=186853, nogoods=4041, foundSolutions=30, bestBound=115
63.64/58.89
64.44/59.64 num=538, depth=16..31, filters=33817042, revisions=(42989121,useless=16284759), ccks=81827317, wck=57.157, mem=63M700
64.44/59.64 decisions=594874, wrong=291510, backtracks=205448, failedAssignments=189140, nogoods=4047, foundSolutions=30, bestBound=115
64.44/59.64
65.24/60.47 num=539, depth=16..30, filters=34313934, revisions=(43599020,useless=16505337), ccks=82925279, wck=57.987, mem=73M888
65.24/60.47 decisions=602693, wrong=295409, backtracks=208300, failedAssignments=191656, nogoods=4054, foundSolutions=30, bestBound=115
65.24/60.47
66.14/61.37 num=540, depth=16..30, filters=34853831, revisions=(44261574,useless=16749554), ccks=84167510, wck=58.889, mem=81M529
66.14/61.37 decisions=611651, wrong=299877, backtracks=211661, failedAssignments=194424, nogoods=4059, foundSolutions=30, bestBound=115
66.14/61.37
67.25/62.40 num=541, depth=16..31, filters=35477269, revisions=(45063131,useless=17061525), ccks=85559351, wck=59.923, mem=94M263
67.25/62.40 decisions=621346, wrong=304715, backtracks=215493, failedAssignments=197468, nogoods=4067, foundSolutions=30, bestBound=115
67.25/62.40
68.35/63.52 num=542, depth=17..31, filters=36135969, revisions=(45924410,useless=17404372), ccks=87096499, wck=61.04, mem=106M998
68.35/63.52 decisions=632793, wrong=310427, backtracks=220200, failedAssignments=200817, nogoods=4078, foundSolutions=30, bestBound=115
68.35/63.52
69.45/64.65 num=543, depth=16..30, filters=36823492, revisions=(46800836,useless=17734564), ccks=88594135, wck=62.174, mem=117M185
69.45/64.65 decisions=644196, wrong=316119, backtracks=224349, failedAssignments=204501, nogoods=4087, foundSolutions=30, bestBound=115
69.45/64.65
70.78/65.97 num=544, depth=16..30, filters=37609394, revisions=(47785079,useless=18096151), ccks=90350753, wck=63.487, mem=132M467
70.78/65.97 decisions=656988, wrong=322504, backtracks=229053, failedAssignments=208553, nogoods=4103, foundSolutions=30, bestBound=115
70.78/65.97
72.18/67.34 num=545, depth=17..32, filters=38399148, revisions=(48891251,useless=18569682), ccks=92487220, wck=64.86, mem=147M748
72.18/67.34 decisions=672494, wrong=330247, backtracks=235363, failedAssignments=213010, nogoods=4115, foundSolutions=30, bestBound=115
72.18/67.34
73.92/69.07 num=546, depth=15..30, filters=39439144, revisions=(50169173,useless=19040791), ccks=94857523, wck=66.586, mem=38M38
73.92/69.07 decisions=688220, wrong=338100, backtracks=241479, failedAssignments=217913, nogoods=4123, foundSolutions=30, bestBound=115
73.92/69.07
75.61/70.74 num=547, depth=16..33, filters=40432043, revisions=(51441302,useless=19528901), ccks=97219464, wck=68.254, mem=58M111
75.61/70.74 decisions=705598, wrong=346778, backtracks=248527, failedAssignments=223307, nogoods=4132, foundSolutions=30, bestBound=115
75.61/70.74
77.61/72.74 num=548, depth=16..31, filters=41642190, revisions=(52981351,useless=20122713), ccks=100186844, wck=70.262, mem=80M693
77.61/72.74 decisions=725812, wrong=356876, backtracks=255653, failedAssignments=229240, nogoods=4138, foundSolutions=30, bestBound=115
77.61/72.74
79.71/74.87 num=549, depth=15..31, filters=42888520, revisions=(54534946,useless=20706226), ccks=103145390, wck=72.384, mem=103M276
79.71/74.87 decisions=746704, wrong=367312, backtracks=263909, failedAssignments=235766, nogoods=4147, foundSolutions=30, bestBound=115
79.71/74.87
81.81/76.90 num=550, depth=15..30, filters=44134750, revisions=(56097013,useless=21273690), ccks=105867501, wck=74.423, mem=125M858
81.81/76.90 decisions=769307, wrong=378604, backtracks=271446, failedAssignments=242945, nogoods=4159, foundSolutions=30, bestBound=115
81.81/76.90
84.24/79.35 num=551, depth=15..31, filters=45586783, revisions=(57888143,useless=21948353), ccks=109275707, wck=76.87, mem=25M442
84.24/79.35 decisions=795129, wrong=391505, backtracks=281599, failedAssignments=250842, nogoods=4171, foundSolutions=30, bestBound=115
84.24/79.35
86.84/81.93 num=552, depth=15..30, filters=47199562, revisions=(59914685,useless=22704499), ccks=112910357, wck=79.446, mem=55M80
86.84/81.93 decisions=823449, wrong=405656, backtracks=291481, failedAssignments=259529, nogoods=4183, foundSolutions=30, bestBound=115
86.84/81.93
89.84/84.90 num=553, depth=16..34, filters=48969037, revisions=(62121813,useless=23550214), ccks=117205920, wck=82.416, mem=87M189
89.84/84.90 decisions=855304, wrong=421574, backtracks=304365, failedAssignments=269084, nogoods=4192, foundSolutions=30, bestBound=115
89.84/84.90
92.95/88.06 num=554, depth=16..32, filters=50892930, revisions=(64648054,useless=24557589), ccks=121796651, wck=85.583, mem=124M237
92.95/88.06 decisions=890619, wrong=439221, backtracks=317516, failedAssignments=279595, nogoods=4201, foundSolutions=30, bestBound=115
92.95/88.06
96.15/91.28 num=555, depth=14..32, filters=52764342, revisions=(67134442,useless=25608956), ccks=127121133, wck=88.799, mem=35M227
96.15/91.28 decisions=930346, wrong=459075, backtracks=333713, failedAssignments=291157, nogoods=4210, foundSolutions=30, bestBound=115
96.15/91.28
100.45/95.59 num=556, depth=15..31, filters=55385101, revisions=(70407773,useless=26875289), ccks=133439298, wck=93.114, mem=83M820
100.45/95.59 decisions=973553, wrong=480669, backtracks=350612, failedAssignments=303875, nogoods=4218, foundSolutions=30, bestBound=115
100.45/95.59
104.75/99.80 num=557, depth=15..30, filters=57939009, revisions=(73693735,useless=28138504), ccks=139393162, wck=97.319, mem=129M983
104.75/99.80 decisions=1018998, wrong=503383, backtracks=367903, failedAssignments=317865, nogoods=4228, foundSolutions=30, bestBound=115
104.75/99.80
109.47/104.51 num=558, depth=14..30, filters=60777061, revisions=(77196496,useless=29421909), ccks=145908497, wck=102.032, mem=58M878
109.47/104.51 decisions=1067668, wrong=527709, backtracks=386905, failedAssignments=333254, nogoods=4234, foundSolutions=30, bestBound=115
109.47/104.51
114.57/109.66 num=559, depth=14..31, filters=63949387, revisions=(81068056,useless=30834401), ccks=153104447, wck=107.179, mem=116M209
114.57/109.66 decisions=1122406, wrong=555069, backtracks=407013, failedAssignments=350182, nogoods=4245, foundSolutions=30, bestBound=115
114.57/109.66
120.09/115.17 num=560, depth=14..30, filters=67364699, revisions=(85292651,useless=32375487), ccks=160734075, wck=112.685, mem=58M416
120.09/115.17 decisions=1183362, wrong=585537, backtracks=428921, failedAssignments=368803, nogoods=4251, foundSolutions=30, bestBound=115
120.09/115.17
126.19/121.26 num=561, depth=14..32, filters=71076755, revisions=(90011479,useless=34187524), ccks=169504615, wck=118.775, mem=126M800
126.19/121.26 decisions=1249539, wrong=618616, backtracks=453405, failedAssignments=389287, nogoods=4262, foundSolutions=30, bestBound=115
126.19/121.26
133.01/128.07 num=562, depth=14..32, filters=75267521, revisions=(95285598,useless=36182541), ccks=179285682, wck=125.593, mem=83M548
133.01/128.07 decisions=1324859, wrong=656266, backtracks=481672, failedAssignments=411819, nogoods=4273, foundSolutions=30, bestBound=115
133.01/128.07
141.81/136.86 num=563, depth=14..32, filters=80635420, revisions=(102111290,useless=38861957), ccks=191627038, wck=134.375, mem=66M675
141.81/136.86 decisions=1411328, wrong=699489, backtracks=517034, failedAssignments=436604, nogoods=4277, foundSolutions=30, bestBound=115
141.81/136.86
150.82/145.86 num=564, depth=14..32, filters=86038603, revisions=(109072237,useless=41546733), ccks=204525747, wck=143.379, mem=50M229
150.82/145.86 decisions=1508005, wrong=747818, backtracks=554348, failedAssignments=463868, nogoods=4282, foundSolutions=30, bestBound=115
150.82/145.86
161.23/156.24 num=565, depth=14..32, filters=92302830, revisions=(117108703,useless=44705628), ccks=219394821, wck=153.761, mem=52M119
161.23/156.24 decisions=1611067, wrong=799339, backtracks=594391, failedAssignments=493858, nogoods=4292, foundSolutions=30, bestBound=115
161.23/156.24
171.54/166.57 num=566, depth=13..32, filters=98513300, revisions=(124829914,useless=47611142), ccks=234258989, wck=164.086, mem=53M880
171.54/166.57 decisions=1721516, wrong=854554, backtracks=637174, failedAssignments=526847, nogoods=4301, foundSolutions=30, bestBound=115
171.54/166.57
183.55/178.57 num=567, depth=13..31, filters=105849358, revisions=(133922173,useless=50985905), ccks=251518504, wck=176.088, mem=75M214
183.55/178.57 decisions=1843682, wrong=915627, backtracks=685216, failedAssignments=563135, nogoods=4315, foundSolutions=30, bestBound=115
183.55/178.57
196.86/191.85 num=568, depth=13..32, filters=113998338, revisions=(143921553,useless=54668317), ccks=270661213, wck=189.369, mem=112M971
196.86/191.85 decisions=1977641, wrong=982596, backtracks=737634, failedAssignments=603052, nogoods=4325, foundSolutions=30, bestBound=115
196.86/191.85
209.88/204.82 num=569, depth=14..32, filters=122084936, revisions=(154101281,useless=58463538), ccks=289319313, wck=202.342, mem=48M54
209.88/204.82 decisions=2123490, wrong=1055511, backtracks=792585, failedAssignments=646961, nogoods=4342, foundSolutions=30, bestBound=115
209.88/204.82
223.49/218.43 num=570, depth=13..33, filters=130099264, revisions=(164750718,useless=62889286), ccks=310859224, wck=215.953, mem=94M704
223.49/218.43 decisions=2287970, wrong=1137741, backtracks=860727, failedAssignments=695261, nogoods=4352, foundSolutions=30, bestBound=115
223.49/218.43
240.90/235.80 num=571, depth=13..32, filters=140834676, revisions=(177965695,useless=67863843), ccks=336522765, wck=233.322, mem=90M877
240.90/235.80 decisions=2466213, wrong=1226852, backtracks=927487, failedAssignments=748391, nogoods=4361, foundSolutions=30, bestBound=115
240.90/235.80
256.81/251.79 num=572, depth=0..37, filters=149288695, revisions=(190113873,useless=73701454), ccks=361336661, wck=249.313, mem=73M898
256.81/251.79 decisions=2684355, wrong=1335914, backtracks=1017270, failedAssignments=806834, nogoods=4369, foundSolutions=30, bestBound=115
256.81/251.79
296.56/291.46 num=573, depth=0..40, filters=171341675, revisions=(227040802,useless=93011981), ccks=415151893, wck=288.975, mem=70M765
296.56/291.46 decisions=2937643, wrong=1462547, backtracks=1105183, failedAssignments=871121, nogoods=4377, foundSolutions=30, bestBound=115
296.56/291.46
314.48/309.34 o 111
314.48/309.34 num=574, depth=14..555, filters=182412349, revisions=(241558798,useless=98952264), ccks=441162763, wck=306.855, mem=100M28
314.48/309.34 decisions=3125233, wrong=1556332, backtracks=1171412, failedAssignments=924343, nogoods=4394, foundSolutions=31, bestBound=111
314.48/309.34
339.11/333.92 num=575, depth=13..44, filters=197444341, revisions=(260284438,useless=105951976), ccks=474749558, wck=331.438, mem=109M401
339.11/333.92 decisions=3393538, wrong=1690475, backtracks=1270961, failedAssignments=1002130, nogoods=4410, foundSolutions=31, bestBound=111
339.11/333.92
339.11/333.93 num=576, depth=21..26, filters=197446379, revisions=(260288050,useless=105954009), ccks=474756444, wck=331.445, mem=109M401
339.11/333.93 decisions=3393592, wrong=1690490, backtracks=1270970, failedAssignments=1002141, nogoods=4413, foundSolutions=31, bestBound=111
339.11/333.93
339.11/333.93 num=577, depth=21..27, filters=197449370, revisions=(260292880,useless=105956397), ccks=474763715, wck=331.451, mem=109M401
339.11/333.93 decisions=3393649, wrong=1690507, backtracks=1270983, failedAssignments=1002153, nogoods=4415, foundSolutions=31, bestBound=111
339.11/333.93
339.11/333.94 num=578, depth=20..26, filters=197452876, revisions=(260298554,useless=105959320), ccks=474770346, wck=331.458, mem=109M401
339.11/333.94 decisions=3393706, wrong=1690525, backtracks=1270999, failedAssignments=1002166, nogoods=4417, foundSolutions=31, bestBound=111
339.11/333.94
339.11/333.95 num=579, depth=21..26, filters=197455154, revisions=(260302383,useless=105961304), ccks=474775697, wck=331.467, mem=25M142
339.11/333.95 decisions=3393766, wrong=1690544, backtracks=1271009, failedAssignments=1002180, nogoods=4421, foundSolutions=31, bestBound=111
339.11/333.95
339.11/333.96 num=580, depth=21..27, filters=197458161, revisions=(260307242,useless=105963725), ccks=474782388, wck=331.474, mem=25M142
339.11/333.96 decisions=3393833, wrong=1690566, backtracks=1271021, failedAssignments=1002196, nogoods=4432, foundSolutions=31, bestBound=111
339.11/333.96
339.11/333.96 num=581, depth=20..26, filters=197462453, revisions=(260313863,useless=105966874), ccks=474793064, wck=331.483, mem=25M142
339.11/333.96 decisions=3393904, wrong=1690591, backtracks=1271039, failedAssignments=1002213, nogoods=4436, foundSolutions=31, bestBound=111
339.11/333.96
339.11/333.97 num=582, depth=21..26, filters=197465376, revisions=(260318697,useless=105969223), ccks=474799483, wck=331.489, mem=25M142
339.11/333.97 decisions=3393978, wrong=1690617, backtracks=1271051, failedAssignments=1002232, nogoods=4441, foundSolutions=31, bestBound=111
339.11/333.97
339.11/333.98 num=583, depth=20..26, filters=197469230, revisions=(260324682,useless=105972054), ccks=474807301, wck=331.497, mem=25M142
339.11/333.98 decisions=3394060, wrong=1690648, backtracks=1271071, failedAssignments=1002253, nogoods=4442, foundSolutions=31, bestBound=111
339.11/333.98
339.11/333.99 num=584, depth=19..28, filters=197474708, revisions=(260332512,useless=105975677), ccks=474816507, wck=331.507, mem=25M142
339.11/333.99 decisions=3394147, wrong=1690681, backtracks=1271091, failedAssignments=1002276, nogoods=4451, foundSolutions=31, bestBound=111
339.11/333.99
339.11/334.00 num=585, depth=20..28, filters=197480046, revisions=(260340401,useless=105979232), ccks=474828184, wck=331.518, mem=25M142
339.11/334.00 decisions=3394239, wrong=1690716, backtracks=1271114, failedAssignments=1002301, nogoods=4461, foundSolutions=31, bestBound=111
339.11/334.00
339.23/334.02 num=586, depth=18..27, filters=197489244, revisions=(260353506,useless=105985130), ccks=474844045, wck=331.536, mem=25M142
339.23/334.02 decisions=3394348, wrong=1690760, backtracks=1271153, failedAssignments=1002329, nogoods=4464, foundSolutions=31, bestBound=111
339.23/334.02
339.23/334.03 num=587, depth=20..26, filters=197496223, revisions=(260363791,useless=105989692), ccks=474857805, wck=331.549, mem=25M142
339.23/334.03 decisions=3394462, wrong=1690807, backtracks=1271184, failedAssignments=1002360, nogoods=4470, foundSolutions=31, bestBound=111
339.23/334.03
339.23/334.04 num=588, depth=19..27, filters=197502645, revisions=(260373320,useless=105993956), ccks=474873030, wck=331.563, mem=25M142
339.23/334.04 decisions=3394586, wrong=1690859, backtracks=1271216, failedAssignments=1002394, nogoods=4480, foundSolutions=31, bestBound=111
339.23/334.04
339.23/334.06 num=589, depth=19..27, filters=197510245, revisions=(260384537,useless=105998809), ccks=474890290, wck=331.577, mem=25M142
339.23/334.06 decisions=3394716, wrong=1690913, backtracks=1271253, failedAssignments=1002431, nogoods=4491, foundSolutions=31, bestBound=111
339.23/334.06
339.23/334.07 num=590, depth=20..26, filters=197516186, revisions=(260393168,useless=106002486), ccks=474903166, wck=331.589, mem=25M142
339.23/334.07 decisions=3394854, wrong=1690972, backtracks=1271283, failedAssignments=1002472, nogoods=4499, foundSolutions=31, bestBound=111
339.23/334.07
339.23/334.09 num=591, depth=19..28, filters=197524859, revisions=(260405555,useless=106007926), ccks=474920959, wck=331.605, mem=25M142
339.23/334.09 decisions=3395015, wrong=1691041, backtracks=1271331, failedAssignments=1002517, nogoods=4508, foundSolutions=31, bestBound=111
339.23/334.09
339.23/334.10 num=592, depth=19..27, filters=197533087, revisions=(260417705,useless=106013204), ccks=474941505, wck=331.622, mem=26M840
339.23/334.10 decisions=3395184, wrong=1691115, backtracks=1271381, failedAssignments=1002567, nogoods=4514, foundSolutions=31, bestBound=111
339.23/334.10
339.33/334.12 num=593, depth=18..27, filters=197540726, revisions=(260429751,useless=106019264), ccks=474960776, wck=331.638, mem=26M840
339.33/334.12 decisions=3395380, wrong=1691202, backtracks=1271449, failedAssignments=1002622, nogoods=4521, foundSolutions=31, bestBound=111
339.33/334.12
339.33/334.14 num=594, depth=19..27, filters=197551272, revisions=(260445241,useless=106025952), ccks=474984858, wck=331.66, mem=26M840
339.33/334.14 decisions=3395578, wrong=1691291, backtracks=1271509, failedAssignments=1002683, nogoods=4533, foundSolutions=31, bestBound=111
339.33/334.14
339.33/334.16 num=595, depth=19..27, filters=197561015, revisions=(260459333,useless=106032253), ccks=475007247, wck=331.678, mem=26M840
339.33/334.16 decisions=3395783, wrong=1691383, backtracks=1271572, failedAssignments=1002750, nogoods=4545, foundSolutions=31, bestBound=111
339.33/334.16
339.33/334.18 num=596, depth=18..27, filters=197573612, revisions=(260477350,useless=106039868), ccks=475036609, wck=331.702, mem=26M840
339.33/334.18 decisions=3396018, wrong=1691489, backtracks=1271639, failedAssignments=1002824, nogoods=4548, foundSolutions=31, bestBound=111
339.33/334.18
339.42/334.21 num=597, depth=18..29, filters=197588818, revisions=(260498482,useless=106048802), ccks=475066538, wck=331.731, mem=26M840
339.42/334.21 decisions=3396284, wrong=1691611, backtracks=1271721, failedAssignments=1002905, nogoods=4552, foundSolutions=31, bestBound=111
339.42/334.21
339.42/334.24 num=598, depth=18..28, filters=197603701, revisions=(260519486,useless=106057474), ccks=475098756, wck=331.758, mem=26M840
339.42/334.24 decisions=3396575, wrong=1691746, backtracks=1271806, failedAssignments=1002994, nogoods=4559, foundSolutions=31, bestBound=111
339.42/334.24
339.42/334.27 num=599, depth=18..29, filters=197622228, revisions=(260544086,useless=106067121), ccks=475137842, wck=331.791, mem=28M539
339.42/334.27 decisions=3396896, wrong=1691895, backtracks=1271906, failedAssignments=1003092, nogoods=4572, foundSolutions=31, bestBound=111
339.42/334.27
339.52/334.31 num=600, depth=18..27, filters=197640925, revisions=(260569560,useless=106077426), ccks=475183706, wck=331.827, mem=28M539
339.52/334.31 decisions=3397247, wrong=1692060, backtracks=1272001, failedAssignments=1003200, nogoods=4586, foundSolutions=31, bestBound=111
339.52/334.31
339.52/334.35 num=601, depth=18..28, filters=197660188, revisions=(260597591,useless=106090054), ccks=475229762, wck=331.864, mem=28M539
339.52/334.35 decisions=3397623, wrong=1692237, backtracks=1272142, failedAssignments=1003319, nogoods=4595, foundSolutions=31, bestBound=111
339.52/334.35
339.52/334.40 num=602, depth=18..29, filters=197687213, revisions=(260633680,useless=106105097), ccks=475290781, wck=331.914, mem=28M539
339.52/334.40 decisions=3398092, wrong=1692460, backtracks=1272307, failedAssignments=1003450, nogoods=4604, foundSolutions=31, bestBound=111
339.52/334.40
339.62/334.44 num=603, depth=18..30, filters=197711686, revisions=(260666202,useless=106117613), ccks=475343057, wck=331.96, mem=30M238
339.62/334.44 decisions=3398577, wrong=1692692, backtracks=1272452, failedAssignments=1003594, nogoods=4615, foundSolutions=31, bestBound=111
339.62/334.44
339.72/334.50 num=604, depth=18..27, filters=197743923, revisions=(260709571,useless=106134918), ccks=475417206, wck=332.019, mem=30M238
339.72/334.50 decisions=3399112, wrong=1692948, backtracks=1272642, failedAssignments=1003752, nogoods=4626, foundSolutions=31, bestBound=111
339.72/334.50
339.72/334.55 num=605, depth=17..29, filters=197769203, revisions=(260746143,useless=106151085), ccks=475481819, wck=332.066, mem=30M238
339.72/334.55 decisions=3399693, wrong=1693228, backtracks=1272846, failedAssignments=1003926, nogoods=4631, foundSolutions=31, bestBound=111
339.72/334.55
339.82/334.60 num=606, depth=18..28, filters=197801691, revisions=(260789263,useless=106168245), ccks=475553445, wck=332.121, mem=31M936
339.82/334.60 decisions=3400310, wrong=1693524, backtracks=1273043, failedAssignments=1004117, nogoods=4639, foundSolutions=31, bestBound=111
339.82/334.60
339.82/334.66 num=607, depth=18..27, filters=197830967, revisions=(260832651,useless=106187733), ccks=475629666, wck=332.174, mem=31M936
339.82/334.66 decisions=3400953, wrong=1693836, backtracks=1273277, failedAssignments=1004328, nogoods=4648, foundSolutions=31, bestBound=111
339.82/334.66
339.92/334.73 num=608, depth=17..31, filters=197872753, revisions=(260888137,useless=106209728), ccks=475723907, wck=332.247, mem=33M635
339.92/334.73 decisions=3401723, wrong=1694209, backtracks=1273533, failedAssignments=1004560, nogoods=4658, foundSolutions=31, bestBound=111
339.92/334.73
340.02/334.80 num=609, depth=18..27, filters=197914565, revisions=(260943239,useless=106230842), ccks=475813825, wck=332.318, mem=33M635
340.02/334.80 decisions=3402526, wrong=1694600, backtracks=1273768, failedAssignments=1004815, nogoods=4663, foundSolutions=31, bestBound=111
340.02/334.80
340.02/334.87 num=610, depth=19..28, filters=197955208, revisions=(260996261,useless=106251190), ccks=475899778, wck=332.386, mem=35M334
340.02/334.87 decisions=3403434, wrong=1695044, backtracks=1274036, failedAssignments=1005096, nogoods=4673, foundSolutions=31, bestBound=111
340.02/334.87
340.12/334.96 num=611, depth=18..27, filters=198010675, revisions=(261067779,useless=106277871), ccks=476019412, wck=332.482, mem=35M334
340.12/334.96 decisions=3404423, wrong=1695529, backtracks=1274331, failedAssignments=1005405, nogoods=4685, foundSolutions=31, bestBound=111
340.12/334.96
340.23/335.06 num=612, depth=17..28, filters=198067994, revisions=(261143698,useless=106306942), ccks=476145631, wck=332.58, mem=37M32
340.23/335.06 decisions=3405493, wrong=1696053, backtracks=1274676, failedAssignments=1005745, nogoods=4694, foundSolutions=31, bestBound=111
340.23/335.06
340.33/335.16 num=613, depth=17..29, filters=198120744, revisions=(261216701,useless=106337847), ccks=476276767, wck=332.675, mem=37M32
340.33/335.16 decisions=3406680, wrong=1696636, backtracks=1275117, failedAssignments=1006119, nogoods=4701, foundSolutions=31, bestBound=111
340.33/335.16
340.42/335.28 num=614, depth=18..31, filters=198192244, revisions=(261312704,useless=106375846), ccks=476437592, wck=332.796, mem=38M731
340.42/335.28 decisions=3408010, wrong=1697291, backtracks=1275565, failedAssignments=1006530, nogoods=4708, foundSolutions=31, bestBound=111
340.42/335.28
340.62/335.40 num=615, depth=16..30, filters=198263136, revisions=(261411353,useless=106418727), ccks=476622393, wck=332.917, mem=40M430
340.62/335.40 decisions=3409487, wrong=1698018, backtracks=1276148, failedAssignments=1006982, nogoods=4712, foundSolutions=31, bestBound=111
340.62/335.40
340.72/335.53 num=616, depth=17..29, filters=198336723, revisions=(261512717,useless=106459803), ccks=476789429, wck=333.047, mem=42M128
340.72/335.53 decisions=3411027, wrong=1698778, backtracks=1276680, failedAssignments=1007479, nogoods=4721, foundSolutions=31, bestBound=111
340.72/335.53
340.82/335.68 num=617, depth=17..28, filters=198430976, revisions=(261636257,useless=106505807), ccks=476984578, wck=333.2, mem=43M827
340.82/335.68 decisions=3412727, wrong=1699618, backtracks=1277231, failedAssignments=1008026, nogoods=4725, foundSolutions=31, bestBound=111
340.82/335.68
341.02/335.89 num=618, depth=17..29, filters=198557353, revisions=(261799451,useless=106569425), ccks=477247703, wck=333.408, mem=45M526
341.02/335.89 decisions=3414616, wrong=1700553, backtracks=1277947, failedAssignments=1008628, nogoods=4740, foundSolutions=31, bestBound=111
341.02/335.89
341.23/336.10 num=619, depth=16..28, filters=198683954, revisions=(261966972,useless=106636417), ccks=477518521, wck=333.62, mem=48M923
341.23/336.10 decisions=3416665, wrong=1701566, backtracks=1278700, failedAssignments=1009290, nogoods=4743, foundSolutions=31, bestBound=111
341.23/336.10
341.52/336.33 num=620, depth=17..30, filters=198824671, revisions=(262147559,useless=106704505), ccks=477815974, wck=333.847, mem=50M622
341.52/336.33 decisions=3418966, wrong=1702706, backtracks=1279536, failedAssignments=1010018, nogoods=4753, foundSolutions=31, bestBound=111
341.52/336.33
341.72/336.55 num=621, depth=17..30, filters=198960055, revisions=(262324191,useless=106770997), ccks=478106289, wck=334.065, mem=54M19
341.72/336.55 decisions=3421497, wrong=1703962, backtracks=1280373, failedAssignments=1010819, nogoods=4763, foundSolutions=31, bestBound=111
341.72/336.55
342.02/336.80 num=622, depth=17..31, filters=199113350, revisions=(262525780,useless=106849471), ccks=478420435, wck=334.318, mem=55M718
342.02/336.80 decisions=3424271, wrong=1705339, backtracks=1281357, failedAssignments=1011700, nogoods=4771, foundSolutions=31, bestBound=111
342.02/336.80
342.23/337.06 num=623, depth=16..29, filters=199261186, revisions=(262733462,useless=106943786), ccks=478816989, wck=334.583, mem=59M115
342.23/337.06 decisions=3427398, wrong=1706893, backtracks=1282725, failedAssignments=1012670, nogoods=4779, foundSolutions=31, bestBound=111
342.23/337.06
342.62/337.42 num=624, depth=16..30, filters=199481964, revisions=(263006993,useless=107041865), ccks=479283814, wck=334.942, mem=62M513
342.62/337.42 decisions=3430784, wrong=1708575, backtracks=1283917, failedAssignments=1013737, nogoods=4785, foundSolutions=31, bestBound=111
342.62/337.42
343.02/337.80 num=625, depth=16..30, filters=199721191, revisions=(263303003,useless=107147307), ccks=479794604, wck=335.323, mem=67M609
343.02/337.80 decisions=3434630, wrong=1710487, backtracks=1285293, failedAssignments=1014910, nogoods=4803, foundSolutions=31, bestBound=111
343.02/337.80
343.42/338.25 num=626, depth=16..29, filters=200001182, revisions=(263649124,useless=107273167), ccks=480395986, wck=335.772, mem=72M705
343.42/338.25 decisions=3438773, wrong=1712549, backtracks=1286841, failedAssignments=1016201, nogoods=4811, foundSolutions=31, bestBound=111
343.42/338.25
343.82/338.70 num=627, depth=17..30, filters=200274930, revisions=(263995991,useless=107401663), ccks=480994217, wck=336.214, mem=77M801
343.82/338.70 decisions=3443170, wrong=1714738, backtracks=1288407, failedAssignments=1017621, nogoods=4822, foundSolutions=31, bestBound=111
343.82/338.70
344.42/339.22 num=628, depth=16..30, filters=200594196, revisions=(264407023,useless=107560717), ccks=481702629, wck=336.743, mem=82M897
344.42/339.22 decisions=3448081, wrong=1717183, backtracks=1290349, failedAssignments=1019183, nogoods=4830, foundSolutions=31, bestBound=111
344.42/339.22
344.92/339.78 num=629, depth=16..29, filters=200935642, revisions=(264831371,useless=107717420), ccks=482452807, wck=337.294, mem=87M993
344.92/339.78 decisions=3453719, wrong=1719992, backtracks=1292441, failedAssignments=1020901, nogoods=4846, foundSolutions=31, bestBound=111
344.92/339.78
345.52/340.37 num=630, depth=16..29, filters=201299708, revisions=(265283719,useless=107882300), ccks=483234772, wck=337.893, mem=94M788
345.52/340.37 decisions=3459857, wrong=1723051, backtracks=1294567, failedAssignments=1022791, nogoods=4857, foundSolutions=31, bestBound=111
345.52/340.37
346.12/340.98 num=631, depth=16..29, filters=201667981, revisions=(265762820,useless=108064465), ccks=484021403, wck=338.498, mem=101M583
346.12/340.98 decisions=3466361, wrong=1726292, backtracks=1296805, failedAssignments=1024870, nogoods=4871, foundSolutions=31, bestBound=111
346.12/340.98
346.82/341.62 num=632, depth=16..30, filters=202046210, revisions=(266263180,useless=108265367), ccks=484980252, wck=339.14, mem=108M377
346.82/341.62 decisions=3473722, wrong=1729963, backtracks=1299728, failedAssignments=1027157, nogoods=4880, foundSolutions=31, bestBound=111
346.82/341.62
347.53/342.39 num=633, depth=16..30, filters=202519698, revisions=(266846319,useless=108472059), ccks=485979693, wck=339.905, mem=31M897
347.53/342.39 decisions=3481657, wrong=1733920, backtracks=1302491, failedAssignments=1029673, nogoods=4892, foundSolutions=31, bestBound=111
347.53/342.39
348.43/343.20 num=634, depth=16..31, filters=203031032, revisions=(267485739,useless=108707447), ccks=487097912, wck=340.722, mem=41M963
348.43/343.20 decisions=3490502, wrong=1738333, backtracks=1305510, failedAssignments=1032441, nogoods=4908, foundSolutions=31, bestBound=111
348.43/343.20
349.24/344.10 num=635, depth=16..29, filters=203570910, revisions=(268186728,useless=108972161), ccks=488209051, wck=341.615, mem=52M30
349.24/344.10 decisions=3499983, wrong=1743063, backtracks=1308705, failedAssignments=1035485, nogoods=4917, foundSolutions=31, bestBound=111
349.24/344.10
350.13/345.00 num=636, depth=15..29, filters=204086678, revisions=(268879544,useless=109268992), ccks=489598538, wck=342.515, mem=60M418
350.13/345.00 decisions=3510883, wrong=1748502, backtracks=1313166, failedAssignments=1038834, nogoods=4927, foundSolutions=31, bestBound=111
350.13/345.00
351.34/346.12 num=637, depth=16..41, filters=204783305, revisions=(269781290,useless=109609433), ccks=491041022, wck=343.643, mem=73M840
351.34/346.12 decisions=3522550, wrong=1754325, backtracks=1317032, failedAssignments=1042518, nogoods=4936, foundSolutions=31, bestBound=111
351.34/346.12
352.34/347.16 num=638, depth=15..33, filters=205365068, revisions=(270588041,useless=109949994), ccks=492605767, wck=344.679, mem=83M906
352.34/347.16 decisions=3535727, wrong=1760903, backtracks=1322311, failedAssignments=1046570, nogoods=4943, foundSolutions=31, bestBound=111
352.34/347.16
353.63/348.49 num=639, depth=16..29, filters=206175509, revisions=(271618096,useless=110332597), ccks=494384718, wck=346.013, mem=99M6
353.63/348.49 decisions=3549851, wrong=1767955, backtracks=1327328, failedAssignments=1051027, nogoods=4955, foundSolutions=31, bestBound=111
353.63/348.49
355.14/349.92 num=640, depth=15..31, filters=206983652, revisions=(272689715,useless=110765572), ccks=496432007, wck=347.434, mem=30M193
355.14/349.92 decisions=3565689, wrong=1775865, backtracks=1333784, failedAssignments=1055930, nogoods=4965, foundSolutions=31, bestBound=111
355.14/349.92
356.84/351.69 num=641, depth=16..30, filters=208064698, revisions=(274065199,useless=111287200), ccks=498778758, wck=349.206, mem=50M74
356.84/351.69 decisions=3582790, wrong=1784407, backtracks=1340035, failedAssignments=1061324, nogoods=4977, foundSolutions=31, bestBound=111
356.84/351.69
358.74/353.59 num=642, depth=15..30, filters=209210635, revisions=(275524427,useless=111836333), ccks=501251619, wck=351.105, mem=69M955
358.74/353.59 decisions=3602076, wrong=1794040, backtracks=1347013, failedAssignments=1067257, nogoods=4988, foundSolutions=31, bestBound=111
358.74/353.59
360.54/355.38 num=643, depth=15..31, filters=210262470, revisions=(276899702,useless=112400085), ccks=503830209, wck=352.903, mem=89M836
360.54/355.38 decisions=3623459, wrong=1804722, backtracks=1355323, failedAssignments=1073783, nogoods=4996, foundSolutions=31, bestBound=111
360.54/355.38
362.84/357.68 num=644, depth=14..30, filters=211649501, revisions=(278639644,useless=113055579), ccks=506967312, wck=355.195, mem=31M745
362.84/357.68 decisions=3647477, wrong=1816721, backtracks=1364118, failedAssignments=1080962, nogoods=5004, foundSolutions=31, bestBound=111
362.84/357.68
365.35/360.20 num=645, depth=15..31, filters=213193322, revisions=(280561956,useless=113763581), ccks=510382467, wck=357.714, mem=59M553
365.35/360.20 decisions=3673312, wrong=1829629, backtracks=1373465, failedAssignments=1088859, nogoods=5011, foundSolutions=31, bestBound=111
365.35/360.20
368.25/363.04 num=646, depth=14..29, filters=214930135, revisions=(282718739,useless=114566588), ccks=514175285, wck=360.562, mem=90M632
368.25/363.04 decisions=3701969, wrong=1843948, backtracks=1383791, failedAssignments=1097546, nogoods=5020, foundSolutions=31, bestBound=111
368.25/363.04
370.95/365.71 num=647, depth=14..33, filters=216454347, revisions=(284741030,useless=115410795), ccks=518284248, wck=363.23, mem=38M91
370.95/365.71 decisions=3734109, wrong=1860008, backtracks=1396780, failedAssignments=1107101, nogoods=5031, foundSolutions=31, bestBound=111
370.95/365.71
374.65/369.43 num=648, depth=14..30, filters=218694361, revisions=(287511839,useless=116442553), ccks=523302117, wck=366.949, mem=76M846
374.65/369.43 decisions=3769686, wrong=1877785, backtracks=1410382, failedAssignments=1117612, nogoods=5041, foundSolutions=31, bestBound=111
374.65/369.43
378.06/372.88 num=649, depth=15..31, filters=220724862, revisions=(290222723,useless=117530966), ccks=527785375, wck=370.398, mem=34M780
378.06/372.88 decisions=3807566, wrong=1896715, backtracks=1425191, failedAssignments=1129174, nogoods=5051, foundSolutions=31, bestBound=111
378.06/372.88
382.37/377.17 num=650, depth=14..30, filters=223282750, revisions=(293450459,useless=118783744), ccks=533498094, wck=374.694, mem=79M407
382.37/377.17 decisions=3849581, wrong=1917713, backtracks=1441104, failedAssignments=1141892, nogoods=5072, foundSolutions=31, bestBound=111
382.37/377.17
386.67/381.48 num=651, depth=14..29, filters=225892512, revisions=(296720198,useless=120009287), ccks=539280622, wck=378.997, mem=47M308
386.67/381.48 decisions=3895553, wrong=1940689, backtracks=1457725, failedAssignments=1155882, nogoods=5082, foundSolutions=31, bestBound=111
386.67/381.48
391.67/386.49 num=652, depth=13..29, filters=228966956, revisions=(300542526,useless=121467534), ccks=546236121, wck=384.012, mem=102M725
391.67/386.49 decisions=3946607, wrong=1966206, backtracks=1476548, failedAssignments=1171271, nogoods=5091, foundSolutions=31, bestBound=111
391.67/386.49
397.07/391.80 num=653, depth=14..33, filters=232113923, revisions=(304719173,useless=123126167), ccks=553282513, wck=389.319, mem=81M786
397.07/391.80 decisions=4004517, wrong=1995151, backtracks=1498799, failedAssignments=1188199, nogoods=5104, foundSolutions=31, bestBound=111
397.07/391.80
402.88/397.64 num=654, depth=14..31, filters=235702913, revisions=(309176978,useless=124802107), ccks=561320430, wck=395.158, mem=67M337
402.88/397.64 decisions=4065780, wrong=2025772, backtracks=1521370, failedAssignments=1206820, nogoods=5118, foundSolutions=31, bestBound=111
402.88/397.64
403.98/398.73 o 87
403.98/398.73 num=655, depth=15..555, filters=236359957, revisions=(310021362,useless=125116328), ccks=562737899, wck=396.247, mem=79M836
403.98/398.73 decisions=4078534, wrong=2032138, backtracks=1525556, failedAssignments=1210733, nogoods=5129, foundSolutions=32, bestBound=87
403.98/398.73
411.19/405.95 num=656, depth=14..32, filters=240712651, revisions=(315475397,useless=127182723), ccks=571883251, wck=403.467, mem=79M491
411.19/405.95 decisions=4154050, wrong=2069887, backtracks=1553508, failedAssignments=1233265, nogoods=5138, foundSolutions=32, bestBound=87
411.19/405.95
411.19/405.96 num=657, depth=34..42, filters=240715301, revisions=(315481990,useless=127186737), ccks=571890176, wck=403.474, mem=79M491
411.19/405.96 decisions=4154116, wrong=2069903, backtracks=1553521, failedAssignments=1233276, nogoods=5139, foundSolutions=32, bestBound=87
411.19/405.96
411.19/405.96 num=658, depth=19..25, filters=240717661, revisions=(315486088,useless=127188908), ccks=571896095, wck=403.481, mem=79M491
411.19/405.96 decisions=4154169, wrong=2069919, backtracks=1553531, failedAssignments=1233288, nogoods=5144, foundSolutions=32, bestBound=87
411.19/405.96
411.19/405.97 num=659, depth=19..24, filters=240719347, revisions=(315489592,useless=127191051), ccks=571899739, wck=403.485, mem=79M491
411.19/405.97 decisions=4154225, wrong=2069937, backtracks=1553544, failedAssignments=1233301, nogoods=5150, foundSolutions=32, bestBound=87
411.19/405.97
411.19/405.97 num=660, depth=19..24, filters=240722024, revisions=(315494050,useless=127193325), ccks=571905687, wck=403.491, mem=79M491
411.19/405.97 decisions=4154284, wrong=2069956, backtracks=1553554, failedAssignments=1233315, nogoods=5153, foundSolutions=32, bestBound=87
411.19/405.97
411.19/405.98 num=661, depth=19..25, filters=240724723, revisions=(315498754,useless=127195743), ccks=571911343, wck=403.497, mem=79M491
411.19/405.98 decisions=4154346, wrong=2069976, backtracks=1553564, failedAssignments=1233331, nogoods=5162, foundSolutions=32, bestBound=87
411.19/405.98
411.19/405.98 num=662, depth=19..24, filters=240727717, revisions=(315503957,useless=127198467), ccks=571917923, wck=403.503, mem=79M491
411.19/405.98 decisions=4154412, wrong=2069999, backtracks=1553582, failedAssignments=1233348, nogoods=5168, foundSolutions=32, bestBound=87
411.19/405.98
411.19/405.99 num=663, depth=19..25, filters=240731807, revisions=(315510421,useless=127201446), ccks=571925888, wck=403.511, mem=79M491
411.19/405.99 decisions=4154490, wrong=2070028, backtracks=1553599, failedAssignments=1233367, nogoods=5172, foundSolutions=32, bestBound=87
411.19/405.99
411.19/406.00 num=664, depth=19..26, filters=240736729, revisions=(315517637,useless=127204690), ccks=571934850, wck=403.52, mem=79M491
411.19/406.00 decisions=4154569, wrong=2070058, backtracks=1553618, failedAssignments=1233388, nogoods=5177, foundSolutions=32, bestBound=87
411.19/406.00
411.30/406.01 num=665, depth=19..24, filters=240740302, revisions=(315523384,useless=127207478), ccks=571942641, wck=403.527, mem=79M491
411.30/406.01 decisions=4154650, wrong=2070089, backtracks=1553636, failedAssignments=1233411, nogoods=5186, foundSolutions=32, bestBound=87
411.30/406.01
411.30/406.02 num=666, depth=19..25, filters=240744475, revisions=(315529942,useless=127210656), ccks=571952307, wck=403.536, mem=79M491
411.30/406.02 decisions=4154739, wrong=2070124, backtracks=1553659, failedAssignments=1233436, nogoods=5191, foundSolutions=32, bestBound=87
411.30/406.02
411.30/406.03 num=667, depth=18..26, filters=240749858, revisions=(315537711,useless=127213966), ccks=571963126, wck=403.546, mem=79M491
411.30/406.03 decisions=4154838, wrong=2070163, backtracks=1553683, failedAssignments=1233464, nogoods=5195, foundSolutions=32, bestBound=87
411.30/406.03
411.30/406.04 num=668, depth=18..25, filters=240757107, revisions=(315548227,useless=127218738), ccks=571976921, wck=403.56, mem=79M491
411.30/406.04 decisions=4154943, wrong=2070206, backtracks=1553716, failedAssignments=1233495, nogoods=5199, foundSolutions=32, bestBound=87
411.30/406.04
411.30/406.06 num=669, depth=19..25, filters=240764231, revisions=(315558906,useless=127223477), ccks=571992690, wck=403.574, mem=79M491
411.30/406.06 decisions=4155072, wrong=2070261, backtracks=1553756, failedAssignments=1233529, nogoods=5206, foundSolutions=32, bestBound=87
411.30/406.06
411.30/406.07 num=670, depth=19..27, filters=240771329, revisions=(315569795,useless=127228638), ccks=572008546, wck=403.589, mem=81M43
411.30/406.07 decisions=4155200, wrong=2070314, backtracks=1553802, failedAssignments=1233566, nogoods=5212, foundSolutions=32, bestBound=87
411.30/406.07
411.30/406.09 num=671, depth=19..26, filters=240779199, revisions=(315581789,useless=127234029), ccks=572023453, wck=403.604, mem=81M43
411.30/406.09 decisions=4155344, wrong=2070375, backtracks=1553843, failedAssignments=1233607, nogoods=5221, foundSolutions=32, bestBound=87
411.30/406.09
411.30/406.10 num=672, depth=18..25, filters=240788282, revisions=(315594384,useless=127239408), ccks=572041675, wck=403.621, mem=81M43
411.30/406.10 decisions=4155494, wrong=2070440, backtracks=1553884, failedAssignments=1233652, nogoods=5228, foundSolutions=32, bestBound=87
411.30/406.10
411.40/406.12 num=673, depth=17..26, filters=240795264, revisions=(315606449,useless=127245678), ccks=572057584, wck=403.636, mem=81M43
411.40/406.12 decisions=4155664, wrong=2070516, backtracks=1553948, failedAssignments=1233702, nogoods=5232, foundSolutions=32, bestBound=87
411.40/406.12
411.40/406.13 num=674, depth=18..25, filters=240803833, revisions=(315618864,useless=127250974), ccks=572075421, wck=403.652, mem=81M43
411.40/406.13 decisions=4155852, wrong=2070600, backtracks=1553993, failedAssignments=1233757, nogoods=5240, foundSolutions=32, bestBound=87
411.40/406.13
411.40/406.15 num=675, depth=18..26, filters=240814064, revisions=(315633540,useless=127257208), ccks=572097080, wck=403.67, mem=81M43
411.40/406.15 decisions=4156052, wrong=2070690, backtracks=1554050, failedAssignments=1233818, nogoods=5245, foundSolutions=32, bestBound=87
411.40/406.15
411.40/406.18 num=676, depth=18..25, filters=240827759, revisions=(315652827,useless=127265615), ccks=572125557, wck=403.696, mem=81M43
411.40/406.18 decisions=4156279, wrong=2070793, backtracks=1554131, failedAssignments=1233885, nogoods=5250, foundSolutions=32, bestBound=87
411.40/406.18
411.49/406.20 num=677, depth=18..26, filters=240841556, revisions=(315672761,useless=127274145), ccks=572153501, wck=403.722, mem=82M595
411.49/406.20 decisions=4156517, wrong=2070902, backtracks=1554209, failedAssignments=1233959, nogoods=5258, foundSolutions=32, bestBound=87
411.49/406.20
411.49/406.23 num=678, depth=17..27, filters=240857452, revisions=(315694511,useless=127283347), ccks=572185819, wck=403.751, mem=82M595
411.49/406.23 decisions=4156778, wrong=2071023, backtracks=1554299, failedAssignments=1234040, nogoods=5264, foundSolutions=32, bestBound=87
411.49/406.23
411.49/406.26 num=679, depth=17..26, filters=240872644, revisions=(315715586,useless=127292118), ccks=572220307, wck=403.777, mem=82M595
411.49/406.26 decisions=4157065, wrong=2071157, backtracks=1554385, failedAssignments=1234129, nogoods=5270, foundSolutions=32, bestBound=87
411.49/406.26
411.59/406.30 num=680, depth=17..26, filters=240896607, revisions=(315749244,useless=127307085), ccks=572268280, wck=403.821, mem=82M595
411.59/406.30 decisions=4157435, wrong=2071332, backtracks=1554525, failedAssignments=1234227, nogoods=5278, foundSolutions=32, bestBound=87
411.59/406.30
411.59/406.34 num=681, depth=18..25, filters=240915824, revisions=(315775767,useless=127317973), ccks=572308270, wck=403.857, mem=82M595
411.59/406.34 decisions=4157776, wrong=2071493, backtracks=1554630, failedAssignments=1234335, nogoods=5287, foundSolutions=32, bestBound=87
411.59/406.34
411.59/406.37 num=682, depth=16..27, filters=240934889, revisions=(315804808,useless=127331852), ccks=572352088, wck=403.893, mem=84M147
411.59/406.37 decisions=4158166, wrong=2071678, backtracks=1554781, failedAssignments=1234454, nogoods=5294, foundSolutions=32, bestBound=87
411.59/406.37
411.69/406.42 num=683, depth=17..26, filters=240959031, revisions=(315837856,useless=127345412), ccks=572400059, wck=403.936, mem=84M147
411.69/406.42 decisions=4158596, wrong=2071883, backtracks=1554913, failedAssignments=1234585, nogoods=5300, foundSolutions=32, bestBound=87
411.69/406.42
411.69/406.46 num=684, depth=17..27, filters=240984243, revisions=(315872221,useless=127359672), ccks=572449278, wck=403.981, mem=84M147
411.69/406.46 decisions=4159044, wrong=2072098, backtracks=1555058, failedAssignments=1234729, nogoods=5304, foundSolutions=32, bestBound=87
411.69/406.46
411.79/406.51 num=685, depth=17..25, filters=241010749, revisions=(315911948,useless=127377230), ccks=572503452, wck=404.029, mem=85M699
411.79/406.51 decisions=4159552, wrong=2072343, backtracks=1555227, failedAssignments=1234887, nogoods=5314, foundSolutions=32, bestBound=87
411.79/406.51
411.79/406.57 num=686, depth=16..25, filters=241046651, revisions=(315960886,useless=127397900), ccks=572572754, wck=404.093, mem=85M699
411.79/406.57 decisions=4160103, wrong=2072609, backtracks=1555426, failedAssignments=1235061, nogoods=5325, foundSolutions=32, bestBound=87
411.79/406.57
411.89/406.63 num=687, depth=16..28, filters=241076739, revisions=(316004083,useless=127417189), ccks=572642750, wck=404.148, mem=87M251
411.89/406.63 decisions=4160707, wrong=2072900, backtracks=1555639, failedAssignments=1235252, nogoods=5333, foundSolutions=32, bestBound=87
411.89/406.63
411.99/406.71 num=688, depth=16..26, filters=241121712, revisions=(316067473,useless=127445239), ccks=572735713, wck=404.226, mem=87M251
411.99/406.71 decisions=4161436, wrong=2073254, backtracks=1555910, failedAssignments=1235463, nogoods=5339, foundSolutions=32, bestBound=87
411.99/406.71
411.99/406.77 num=689, depth=16..27, filters=241157705, revisions=(316115871,useless=127464393), ccks=572807332, wck=404.289, mem=87M251
411.99/406.77 decisions=4162161, wrong=2073606, backtracks=1556119, failedAssignments=1235695, nogoods=5346, foundSolutions=32, bestBound=87
411.99/406.77
412.09/406.86 num=690, depth=16..27, filters=241209311, revisions=(316186425,useless=127494196), ccks=572915205, wck=404.38, mem=88M804
412.09/406.86 decisions=4163047, wrong=2074039, backtracks=1556451, failedAssignments=1235950, nogoods=5352, foundSolutions=32, bestBound=87
412.09/406.86
412.20/406.95 num=691, depth=16..26, filters=241262656, revisions=(316261655,useless=127526430), ccks=573026438, wck=404.474, mem=90M356
412.20/406.95 decisions=4164015, wrong=2074512, backtracks=1556784, failedAssignments=1236231, nogoods=5369, foundSolutions=32, bestBound=87
412.20/406.95
412.31/407.05 num=692, depth=16..26, filters=241316310, revisions=(316333021,useless=127555068), ccks=573140271, wck=404.567, mem=90M356
412.31/407.05 decisions=4165020, wrong=2075005, backtracks=1557106, failedAssignments=1236540, nogoods=5376, foundSolutions=32, bestBound=87
412.31/407.05
412.41/407.15 num=693, depth=16..25, filters=241375345, revisions=(316411136,useless=127586607), ccks=573261025, wck=404.666, mem=91M908
412.41/407.15 decisions=4166130, wrong=2075551, backtracks=1557450, failedAssignments=1236880, nogoods=5396, foundSolutions=32, bestBound=87
412.41/407.15
412.50/407.28 num=694, depth=11..27, filters=241447517, revisions=(316521945,useless=127636050), ccks=573391767, wck=404.797, mem=93M459
412.50/407.28 decisions=4167610, wrong=2076283, backtracks=1557963, failedAssignments=1237254, nogoods=5402, foundSolutions=32, bestBound=87
412.50/407.28
412.70/407.42 num=695, depth=15..29, filters=241531356, revisions=(316632907,useless=127680529), ccks=573562923, wck=404.944, mem=95M11
412.70/407.42 decisions=4168971, wrong=2076954, backtracks=1558457, failedAssignments=1237665, nogoods=5409, foundSolutions=32, bestBound=87
412.70/407.42
412.80/407.58 num=696, depth=15..29, filters=241621267, revisions=(316752651,useless=127729796), ccks=573744540, wck=405.096, mem=96M563
412.80/407.58 decisions=4170453, wrong=2077685, backtracks=1558990, failedAssignments=1238117, nogoods=5417, foundSolutions=32, bestBound=87
412.80/407.58
413.00/407.72 num=697, depth=16..27, filters=241702262, revisions=(316863584,useless=127775928), ccks=573910436, wck=405.235, mem=98M115
413.00/407.72 decisions=4172118, wrong=2078508, backtracks=1559526, failedAssignments=1238614, nogoods=5429, foundSolutions=32, bestBound=87
413.00/407.72
413.10/407.87 num=698, depth=15..28, filters=241783230, revisions=(316986359,useless=127835217), ccks=574119595, wck=405.388, mem=99M667
413.10/407.87 decisions=4174029, wrong=2079454, backtracks=1560363, failedAssignments=1239161, nogoods=5436, foundSolutions=32, bestBound=87
413.10/407.87
413.31/408.06 num=699, depth=15..28, filters=241890429, revisions=(317131844,useless=127893981), ccks=574339068, wck=405.579, mem=25M222
413.31/408.06 decisions=4176024, wrong=2080441, backtracks=1561029, failedAssignments=1239763, nogoods=5445, foundSolutions=32, bestBound=87
413.31/408.06
413.51/408.26 num=700, depth=14..30, filters=241996477, revisions=(317282093,useless=127961188), ccks=574607108, wck=405.774, mem=26M763
413.51/408.26 decisions=4178228, wrong=2081533, backtracks=1561981, failedAssignments=1240425, nogoods=5457, foundSolutions=32, bestBound=87
413.51/408.26
413.71/408.48 num=701, depth=15..34, filters=242125972, revisions=(317469195,useless=128042752), ccks=574873632, wck=406.0, mem=28M305
413.71/408.48 decisions=4180722, wrong=2082771, backtracks=1562817, failedAssignments=1241153, nogoods=5466, foundSolutions=32, bestBound=87
413.71/408.48
414.01/408.71 num=702, depth=16..27, filters=242256760, revisions=(317653926,useless=128120041), ccks=575138172, wck=406.226, mem=31M387
414.01/408.71 decisions=4183193, wrong=2083997, backtracks=1563625, failedAssignments=1241954, nogoods=5472, foundSolutions=32, bestBound=87
414.01/408.71
414.21/409.00 num=703, depth=15..29, filters=242431875, revisions=(317882672,useless=128208712), ccks=575503075, wck=406.523, mem=34M470
414.21/409.00 decisions=4186186, wrong=2085483, backtracks=1564772, failedAssignments=1242835, nogoods=5481, foundSolutions=32, bestBound=87
414.21/409.00
414.61/409.33 num=704, depth=15..28, filters=242613995, revisions=(318135952,useless=128319802), ccks=575909153, wck=406.845, mem=37M553
414.61/409.33 decisions=4189330, wrong=2087045, backtracks=1566087, failedAssignments=1243805, nogoods=5488, foundSolutions=32, bestBound=87
414.61/409.33
414.91/409.67 num=705, depth=15..28, filters=242819849, revisions=(318397265,useless=128416539), ccks=576325738, wck=407.186, mem=42M177
414.91/409.67 decisions=4192650, wrong=2088695, backtracks=1567233, failedAssignments=1244872, nogoods=5497, foundSolutions=32, bestBound=87
414.91/409.67
415.42/410.11 num=706, depth=15..29, filters=243084071, revisions=(318742617,useless=128552829), ccks=576861446, wck=407.628, mem=46M801
415.42/410.11 decisions=4196558, wrong=2090639, backtracks=1568762, failedAssignments=1246045, nogoods=5503, foundSolutions=32, bestBound=87
415.42/410.11
415.81/410.53 num=707, depth=15..28, filters=243338359, revisions=(319065816,useless=128675329), ccks=577379939, wck=408.049, mem=51M426
415.81/410.53 decisions=4200671, wrong=2092686, backtracks=1570215, failedAssignments=1247336, nogoods=5516, foundSolutions=32, bestBound=87
415.81/410.53
416.21/410.97 num=708, depth=16..29, filters=243574900, revisions=(319392491,useless=128816812), ccks=577944222, wck=408.491, mem=54M508
416.21/410.97 decisions=4205279, wrong=2094980, backtracks=1572257, failedAssignments=1248756, nogoods=5522, foundSolutions=32, bestBound=87
416.21/410.97
416.81/411.54 num=709, depth=16..28, filters=243898805, revisions=(319812989,useless=128981709), ccks=578624738, wck=409.062, mem=60M674
416.81/411.54 decisions=4210483, wrong=2097572, backtracks=1574415, failedAssignments=1250318, nogoods=5526, foundSolutions=32, bestBound=87
416.81/411.54
417.42/412.18 num=710, depth=16..28, filters=244265858, revisions=(320291053,useless=129167876), ccks=579394345, wck=409.694, mem=68M381
417.42/412.18 decisions=4215947, wrong=2100295, backtracks=1576554, failedAssignments=1252036, nogoods=5534, foundSolutions=32, bestBound=87
417.42/412.18
418.11/412.81 num=711, depth=16..28, filters=244640972, revisions=(320789863,useless=129361841), ccks=580161761, wck=410.329, mem=74M546
418.11/412.81 decisions=4221797, wrong=2103210, backtracks=1578724, failedAssignments=1253926, nogoods=5545, foundSolutions=32, bestBound=87
418.11/412.81
418.91/413.61 num=712, depth=16..28, filters=245096816, revisions=(321383550,useless=129595807), ccks=581115530, wck=411.127, mem=82M253
418.91/413.61 decisions=4228675, wrong=2106639, backtracks=1581684, failedAssignments=1256005, nogoods=5554, foundSolutions=32, bestBound=87
418.91/413.61
419.71/414.49 num=713, depth=16..29, filters=245612091, revisions=(322055195,useless=129863737), ccks=582191205, wck=412.005, mem=91M502
419.71/414.49 decisions=4236224, wrong=2110405, backtracks=1584868, failedAssignments=1258292, nogoods=5562, foundSolutions=32, bestBound=87
419.71/414.49
420.72/415.45 num=714, depth=15..28, filters=246181808, revisions=(322782593,useless=130144308), ccks=583356816, wck=412.97, mem=25M211
420.72/415.45 decisions=4244786, wrong=2114677, backtracks=1588328, failedAssignments=1260808, nogoods=5572, foundSolutions=32, bestBound=87
420.72/415.45
421.72/416.44 num=715, depth=15..30, filters=246768591, revisions=(323550320,useless=130443776), ccks=584555136, wck=413.959, mem=35M928
421.72/416.44 decisions=4253570, wrong=2119059, backtracks=1591696, failedAssignments=1263576, nogoods=5584, foundSolutions=32, bestBound=87
421.72/416.44
422.82/417.57 num=716, depth=15..29, filters=247418260, revisions=(324413440,useless=130789939), ccks=585900780, wck=415.085, mem=48M175
422.82/417.57 decisions=4264165, wrong=2124347, backtracks=1596193, failedAssignments=1266620, nogoods=5590, foundSolutions=32, bestBound=87
422.82/417.57
423.82/418.52 num=717, depth=16..31, filters=247943878, revisions=(325152181,useless=131114087), ccks=587165484, wck=416.042, mem=57M360
423.82/418.52 decisions=4274756, wrong=2129633, backtracks=1600706, failedAssignments=1269969, nogoods=5598, foundSolutions=32, bestBound=87
423.82/418.52
425.02/419.77 num=718, depth=15..29, filters=248682970, revisions=(326124482,useless=131496659), ccks=588688265, wck=417.293, mem=71M138
425.02/419.77 decisions=4286521, wrong=2135506, backtracks=1605177, failedAssignments=1273653, nogoods=5608, foundSolutions=32, bestBound=87
425.02/419.77
426.43/421.16 num=719, depth=15..30, filters=249470856, revisions=(327136970,useless=131894130), ccks=590317883, wck=418.674, mem=84M917
426.43/421.16 decisions=4299733, wrong=2142103, backtracks=1610475, failedAssignments=1277705, nogoods=5619, foundSolutions=32, bestBound=87
426.43/421.16
428.12/422.86 num=720, depth=15..31, filters=250472034, revisions=(328441572,useless=132412228), ccks=592398409, wck=420.378, mem=26M746
428.12/422.86 decisions=4314425, wrong=2149439, backtracks=1616597, failedAssignments=1282162, nogoods=5628, foundSolutions=32, bestBound=87
428.12/422.86
429.92/424.67 num=721, depth=14..29, filters=251527556, revisions=(329782046,useless=132935805), ccks=594626478, wck=422.192, mem=44M991
429.92/424.67 decisions=4330922, wrong=2157678, backtracks=1623443, failedAssignments=1287065, nogoods=5635, foundSolutions=32, bestBound=87
429.92/424.67
432.02/426.75 num=722, depth=14..28, filters=252748378, revisions=(331329539,useless=133534625), ccks=597163521, wck=424.272, mem=67M797
432.02/426.75 decisions=4348733, wrong=2166574, backtracks=1630661, failedAssignments=1292459, nogoods=5642, foundSolutions=32, bestBound=87
432.02/426.75
434.02/428.76 num=723, depth=14..30, filters=253874084, revisions=(332785648,useless=134115960), ccks=599660916, wck=426.28, mem=87M563
434.02/428.76 decisions=4368279, wrong=2176337, backtracks=1638679, failedAssignments=1298392, nogoods=5650, foundSolutions=32, bestBound=87
434.02/428.76
436.63/431.38 num=724, depth=14..29, filters=255390696, revisions=(334738174,useless=134885870), ccks=602876609, wck=428.898, mem=38M870
436.63/431.38 decisions=4390408, wrong=2187391, backtracks=1648031, failedAssignments=1304918, nogoods=5660, foundSolutions=32, bestBound=87
436.63/431.38
439.23/434.00 num=725, depth=15..30, filters=256908172, revisions=(336670147,useless=135635074), ccks=606028437, wck=431.523, mem=66M49
439.23/434.00 decisions=4414679, wrong=2199517, backtracks=1657820, failedAssignments=1312097, nogoods=5670, foundSolutions=32, bestBound=87
439.23/434.00
442.13/436.80 num=726, depth=14..29, filters=258540282, revisions=(338790221,useless=136465232), ccks=609451388, wck=434.32, mem=96M247
442.13/436.80 decisions=4441056, wrong=2212695, backtracks=1668006, failedAssignments=1319994, nogoods=5679, foundSolutions=32, bestBound=87
442.13/436.80
445.13/439.89 num=727, depth=14..29, filters=260340919, revisions=(341112278,useless=137374712), ccks=613231384, wck=437.41, mem=52M227
445.13/439.89 decisions=4469963, wrong=2227139, backtracks=1679443, failedAssignments=1328681, nogoods=5692, foundSolutions=32, bestBound=87
445.13/439.89
448.53/443.27 num=728, depth=14..32, filters=262276723, revisions=(343674879,useless=138408608), ccks=617369889, wck=440.792, mem=88M214
448.53/443.27 decisions=4502940, wrong=2243617, backtracks=1692852, failedAssignments=1338236, nogoods=5700, foundSolutions=32, bestBound=87
448.53/443.27
452.24/446.97 num=729, depth=14..30, filters=264463832, revisions=(346514998,useless=139526257), ccks=621977852, wck=444.487, mem=52M20
452.24/446.97 decisions=4538455, wrong=2261364, backtracks=1706619, failedAssignments=1348747, nogoods=5706, foundSolutions=32, bestBound=87
452.24/446.97
456.04/450.76 num=730, depth=14..30, filters=266608678, revisions=(349349878,useless=140681223), ccks=626867219, wck=448.278, mem=92M222
456.04/450.76 decisions=4577851, wrong=2281053, backtracks=1723143, failedAssignments=1360309, nogoods=5718, foundSolutions=32, bestBound=87
456.04/450.76
460.64/455.35 num=731, depth=14..29, filters=269329340, revisions=(352877135,useless=142055928), ccks=632671639, wck=452.868, mem=66M638
460.64/455.35 decisions=4621325, wrong=2302780, backtracks=1740208, failedAssignments=1373027, nogoods=5727, foundSolutions=32, bestBound=87
460.64/455.35
465.55/460.26 num=732, depth=14..29, filters=272137810, revisions=(356546080,useless=143502411), ccks=638588979, wck=457.775, mem=44M380
465.55/460.26 decisions=4669102, wrong=2326659, backtracks=1759125, failedAssignments=1387017, nogoods=5739, foundSolutions=32, bestBound=87
465.55/460.26
471.47/466.19 num=733, depth=13..30, filters=275652012, revisions=(360998562,useless=145205167), ccks=645965211, wck=463.706, mem=32M573
471.47/466.19 decisions=4722399, wrong=2353298, backtracks=1779961, failedAssignments=1402406, nogoods=5749, foundSolutions=32, bestBound=87
471.47/466.19
477.07/471.75 num=734, depth=14..30, filters=278893853, revisions=(365193445,useless=146844879), ccks=652693906, wck=469.268, mem=92M331
477.07/471.75 decisions=4779049, wrong=2381613, backtracks=1801888, failedAssignments=1419334, nogoods=5759, foundSolutions=32, bestBound=87
477.07/471.75
481.07/475.73 num=735, depth=0..33, filters=280973898, revisions=(369088646,useless=149018705), ccks=658554338, wck=473.253, mem=77M360
481.07/475.73 decisions=4850015, wrong=2417086, backtracks=1824654, failedAssignments=1437955, nogoods=5766, foundSolutions=32, bestBound=87
481.07/475.73
488.49/483.15 num=736, depth=13..30, filters=285433337, revisions=(374840820,useless=151274410), ccks=667735503, wck=480.668, mem=84M179
488.49/483.15 decisions=4920613, wrong=2452375, backtracks=1852457, failedAssignments=1458439, nogoods=5784, foundSolutions=32, bestBound=87
488.49/483.15
495.89/490.57 num=737, depth=14..32, filters=289804170, revisions=(380626327,useless=153590989), ccks=676807078, wck=488.086, mem=92M385
495.89/490.57 decisions=4996415, wrong=2490264, backtracks=1882904, failedAssignments=1480971, nogoods=5798, foundSolutions=32, bestBound=87
495.89/490.57
504.80/499.47 num=738, depth=13..30, filters=295093058, revisions=(387385204,useless=156221198), ccks=687915050, wck=496.993, mem=45M27
504.80/499.47 decisions=5081768, wrong=2532930, backtracks=1916047, failedAssignments=1505756, nogoods=5810, foundSolutions=32, bestBound=87
504.80/499.47
515.21/509.87 num=739, depth=13..30, filters=301213957, revisions=(395090479,useless=159160793), ccks=700686161, wck=507.388, mem=83M910
515.21/509.87 decisions=5177615, wrong=2580844, backtracks=1954231, failedAssignments=1533020, nogoods=5820, foundSolutions=32, bestBound=87
515.21/509.87
525.93/520.58 num=740, depth=13..31, filters=307597118, revisions=(403183247,useless=162292121), ccks=714035868, wck=518.094, mem=59M698
525.93/520.58 decisions=5279849, wrong=2631952, backtracks=1994735, failedAssignments=1563010, nogoods=5828, foundSolutions=32, bestBound=87
525.93/520.58
536.84/531.49 num=741, depth=13..34, filters=313747910, revisions=(411480163,useless=165757397), ccks=728316223, wck=529.005, mem=36M207
536.84/531.49 decisions=5394360, wrong=2689197, backtracks=2042277, failedAssignments=1595999, nogoods=5834, foundSolutions=32, bestBound=87
536.84/531.49
550.26/544.87 num=742, depth=12..31, filters=321661288, revisions=(421628452,useless=169717083), ccks=745166215, wck=542.388, mem=45M389
550.26/544.87 decisions=5520918, wrong=2752467, backtracks=2092898, failedAssignments=1632287, nogoods=5841, foundSolutions=32, bestBound=87
550.26/544.87
564.87/559.41 num=743, depth=13..30, filters=330314020, revisions=(432693400,useless=173960226), ccks=763099281, wck=556.928, mem=67M384
564.87/559.41 decisions=5658405, wrong=2821200, backtracks=2147568, failedAssignments=1672204, nogoods=5852, foundSolutions=32, bestBound=87
564.87/559.41
580.89/575.50 num=744, depth=13..40, filters=340046415, revisions=(445290125,useless=178865076), ccks=783294221, wck=573.014, mem=48M511
580.89/575.50 decisions=5812737, wrong=2898357, backtracks=2208608, failedAssignments=1716113, nogoods=5865, foundSolutions=32, bestBound=87
580.89/575.50
598.71/593.25 num=745, depth=13..31, filters=350618127, revisions=(458605039,useless=183937259), ccks=805327386, wck=590.766, mem=47M954
598.71/593.25 decisions=5981740, wrong=2982850, backtracks=2275020, failedAssignments=1764413, nogoods=5884, foundSolutions=32, bestBound=87
598.71/593.25
618.23/612.74 num=746, depth=12..30, filters=362346754, revisions=(473459268,useless=189645292), ccks=829798564, wck=610.256, mem=71M724
618.23/612.74 decisions=6166234, wrong=3075089, backtracks=2347571, failedAssignments=1817543, nogoods=5898, foundSolutions=32, bestBound=87
618.23/612.74
638.87/633.33 num=747, depth=12..30, filters=374567609, revisions=(489176787,useless=195715276), ccks=855181616, wck=630.85, mem=52M513
638.87/633.33 decisions=6371801, wrong=3177863, backtracks=2425389, failedAssignments=1875986, nogoods=5910, foundSolutions=32, bestBound=87
638.87/633.33
662.00/656.47 num=748, depth=13..31, filters=388100827, revisions=(506437951,useless=202407837), ccks=883667624, wck=653.989, mem=65M145
662.00/656.47 decisions=6599544, wrong=3291725, backtracks=2516798, failedAssignments=1940273, nogoods=5925, foundSolutions=32, bestBound=87
662.00/656.47
687.64/682.03 num=749, depth=12..32, filters=403484997, revisions=(526125280,useless=210015783), ccks=915634922, wck=679.549, mem=63M307
687.64/682.03 decisions=6846809, wrong=3415347, backtracks=2613808, failedAssignments=2010989, nogoods=5939, foundSolutions=32, bestBound=87
687.64/682.03
718.57/712.94 num=750, depth=11..31, filters=421738068, revisions=(549209127,useless=218936324), ccks=954381463, wck=710.46, mem=66M571
718.57/712.94 decisions=7126888, wrong=3555377, backtracks=2730138, failedAssignments=2088776, nogoods=5949, foundSolutions=32, bestBound=87
718.57/712.94
751.92/746.29 num=751, depth=11..30, filters=441730664, revisions=(574297376,useless=228583315), ccks=995911008, wck=743.813, mem=47M172
751.92/746.29 decisions=7434303, wrong=3709075, backtracks=2852355, failedAssignments=2174342, nogoods=5959, foundSolutions=32, bestBound=87
751.92/746.29
787.67/781.97 num=752, depth=11..47, filters=462955459, revisions=(601420073,useless=239236052), ccks=1038252448, wck=779.493, mem=57M997
787.67/781.97 decisions=7773411, wrong=3878620, backtracks=2983302, failedAssignments=2268465, nogoods=5969, foundSolutions=32, bestBound=87
787.67/781.97
824.43/818.63 num=753, depth=12..33, filters=484482465, revisions=(630505261,useless=251412046), ccks=1083063336, wck=816.149, mem=34M253
824.43/818.63 decisions=8166773, wrong=4075292, backtracks=3144432, failedAssignments=2372000, nogoods=5974, foundSolutions=32, bestBound=87
824.43/818.63
865.78/859.91 num=754, depth=11..41, filters=509584726, revisions=(662689294,useless=264034535), ccks=1133773532, wck=857.428, mem=63M454
865.78/859.91 decisions=8585655, wrong=4284722, backtracks=3306442, failedAssignments=2485889, nogoods=5982, foundSolutions=32, bestBound=87
865.78/859.91
913.55/907.61 num=755, depth=11..33, filters=538617515, revisions=(698478542,useless=277442258), ccks=1193058579, wck=905.132, mem=35M357
913.55/907.61 decisions=9042544, wrong=4513157, backtracks=3485156, failedAssignments=2611167, nogoods=5990, foundSolutions=32, bestBound=87
913.55/907.61
964.72/958.72 num=756, depth=12..44, filters=569106041, revisions=(738483528,useless=293291356), ccks=1255380850, wck=956.236, mem=60M247
964.72/958.72 decisions=9539574, wrong=4761663, backtracks=3686336, failedAssignments=2748973, nogoods=6003, foundSolutions=32, bestBound=87
964.72/958.72
1024.31/1018.27 num=757, depth=11..40, filters=604921194, revisions=(782776365,useless=310066674), ccks=1330957794, wck=1015.791, mem=46M223
1024.31/1018.27 decisions=10086738, wrong=5035235, backtracks=3908153, failedAssignments=2900559, nogoods=6016, foundSolutions=32, bestBound=87
1024.31/1018.27
1082.99/1076.86 num=758, depth=11..46, filters=640183976, revisions=(827769220,useless=327588455), ccks=1400156024, wck=1074.379, mem=37M607
1082.99/1076.86 decisions=10684264, wrong=5333990, backtracks=4133678, failedAssignments=3067304, nogoods=6024, foundSolutions=32, bestBound=87
1082.99/1076.86
1150.88/1144.63 num=759, depth=11..44, filters=680857873, revisions=(879351911,useless=347448207), ccks=1484160449, wck=1142.151, mem=67M873
1150.88/1144.63 decisions=11348985, wrong=5666342, backtracks=4395135, failedAssignments=3250723, nogoods=6035, foundSolutions=32, bestBound=87
1150.88/1144.63
1226.40/1220.01 num=760, depth=11..46, filters=726530558, revisions=(937777320,useless=370325154), ccks=1580362736, wck=1217.528, mem=35M415
1226.40/1220.01 decisions=12085005, wrong=6034342, backtracks=4686419, failedAssignments=3452484, nogoods=6045, foundSolutions=32, bestBound=87
1226.40/1220.01
1306.21/1299.73 num=761, depth=11..45, filters=774066129, revisions=(998404096,useless=394042474), ccks=1682002662, wck=1297.253, mem=34M359
1306.21/1299.73 decisions=12877108, wrong=6430385, backtracks=5005322, failedAssignments=3674422, nogoods=6059, foundSolutions=32, bestBound=87
1306.21/1299.73
1408.96/1402.33 num=762, depth=10..33, filters=835656985, revisions=(1076976593,useless=424748639), ccks=1814172822, wck=1399.853, mem=73M265
1408.96/1402.33 decisions=13787814, wrong=6885730, backtracks=5392960, failedAssignments=3918553, nogoods=6066, foundSolutions=32, bestBound=87
1408.96/1402.33
1511.91/1505.14 num=763, depth=10..41, filters=897130123, revisions=(1155007018,useless=455730137), ccks=1949264010, wck=1502.657, mem=41M968
1511.91/1505.14 decisions=14733965, wrong=7358795, backtracks=5777628, failedAssignments=4187098, nogoods=6079, foundSolutions=32, bestBound=87
1511.91/1505.14
1621.07/1614.17 num=764, depth=10..42, filters=961372840, revisions=(1237391534,useless=488178915), ccks=2087443686, wck=1611.687, mem=32M273
1621.07/1614.17 decisions=15801172, wrong=7892390, backtracks=6222839, failedAssignments=4482497, nogoods=6088, foundSolutions=32, bestBound=87
1621.07/1614.17
1742.33/1735.27 num=765, depth=10..38, filters=1034522384, revisions=(1329431971,useless=523220863), ccks=2241415644, wck=1732.789, mem=46M338
1742.33/1735.27 decisions=16974573, wrong=8479081, backtracks=6683821, failedAssignments=4807436, nogoods=6094, foundSolutions=32, bestBound=87
1742.33/1735.27
1880.02/1872.77 num=766, depth=10..45, filters=1117740329, revisions=(1433473551,useless=563269380), ccks=2413928085, wck=1870.293, mem=30M162
1880.02/1872.77 decisions=18271811, wrong=9127691, backtracks=7195782, failedAssignments=5164869, nogoods=6105, foundSolutions=32, bestBound=87
1880.02/1872.77
2033.45/2025.96 num=767, depth=10..45, filters=1209780711, revisions=(1551327907,useless=609413515), ccks=2605326597, wck=2023.483, mem=53M947
2033.45/2025.96 decisions=19746837, wrong=9865194, backtracks=7774431, failedAssignments=5558045, nogoods=6118, foundSolutions=32, bestBound=87
2033.45/2025.96
2185.78/2178.05 num=768, depth=10..48, filters=1302370980, revisions=(1669820274,useless=654961480), ccks=2791667230, wck=2175.572, mem=69M100
2185.78/2178.05 decisions=21326163, wrong=10654848, backtracks=8371002, failedAssignments=5990539, nogoods=6127, foundSolutions=32, bestBound=87
2185.78/2178.05
2360.71/2352.72 num=769, depth=10..47, filters=1407438932, revisions=(1804933708,useless=708159283), ccks=3002509398, wck=2350.241, mem=65M876
2360.71/2352.72 decisions=23071405, wrong=11527461, backtracks=9046140, failedAssignments=6466283, nogoods=6140, foundSolutions=32, bestBound=87
2360.71/2352.72
2520.03/2511.80
2520.03/2511.80 v <instantiation id='sol32' type='solution' cost='87'> <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 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 4 1 0 1 0 -1 0 -1 0 -1 0 1 2 -1 0 -1 0 -3 -2 3 0 3 4 -1 0 -1 2 -1 2 -1 16 1 0 1 0 1 0 1 0 1 0 1 4 1 0 1 0 9 4 9 0 9 16 1 0 1 4 1 4 1 </values> </instantiation>
2520.03/2511.80 s SATISFIABLE