2.41/1.88
2.41/1.88 AbsCon 2
2.65/1.90
3.31/2.11 Instance
3.31/2.11 name=instance-4391361-1568389907, framework=COP, bounds=-infty..+infty
3.31/2.11
3.31/2.11 Loading variables...
3.31/2.19 Loading constraints...[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1dfeece2
4.02/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@789cdc17
4.02/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@686edc3c
4.02/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@449d4e36
4.02/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5ce470e9
4.02/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@52916cb0
4.02/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4149f12d
4.02/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7fdf4895
4.02/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@62be22ff
4.02/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5346717d
4.02/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f5587a6
4.02/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@593007d0
4.02/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@19efa4ba
4.02/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@13d6667b
4.02/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4e82bc51
4.02/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2bb0db40
4.02/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ad34363
4.02/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3049c521
4.02/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@31b120d3
4.02/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@21f71940
4.02/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@45f36bdb
4.02/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4ed6e934
4.02/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e9fd397
4.02/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@36760c97
4.02/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@70e06682
4.02/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3f354202
4.02/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@54ea7dfb
4.02/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7755fe24
4.02/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@398c2e4c
4.02/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2ff2540b
4.41/2.45
4.41/2.45
4.41/2.45 Domains
4.41/2.45 nTypes=61, nValues=2447, sizes=[2#497,3#2,4#1,5#2...55#1,57#1,59#1,61#1]
4.41/2.45 Variables
4.41/2.45 count=556, degrees=[2#525,30#31]
4.41/2.45 Objectives
4.41/2.45 way=min, type=SumSimpleLE
4.41/2.45 Constraints
4.41/2.45 count=526, nSpecific=31, arities=[2#31,3#466,4#1,5#1...28#1,29#1,30#2,31#1]
4.41/2.45 distribution=[CtrIntension#495,SumSimpleLE#1,SumWeightedEQ#30]
4.41/2.45 nIntStructures=(31,shared:464), nCftStructures=(31,shared:464,unbuilt:31)
4.41/2.45 wck=0.597, cpu=2.42, mem=52M936
4.41/2.46 Solver SolverBacktrack being built...
4.41/2.46
4.41/2.49
4.41/2.49 Solver
4.41/2.49 guaranteedGAC=false
4.41/2.49 wck=0.634, cpu=2.456, mem=66M221
4.77/2.50
4.77/2.50 Preprocessing
4.77/2.50 filters=0, ccks=20343, nACremovedValues=0, nTotalRemovedValues=0, inconcistency=false
4.77/2.50 wck=0.012, cpu=2.469, mem=66M221
4.77/2.50
4.77/2.55 o 9455
4.77/2.55 num=0, depth=557..555, filters=1170, revisions=(1890,useless=1185), ccks=41639, wck=0.064, mem=66M221
4.77/2.55 decisions=31, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=1, bestBound=9455
4.77/2.55
4.77/2.57 o 7715
4.77/2.57 num=1, depth=0..555, filters=2317, revisions=(3824,useless=2423), ccks=47731, wck=0.085, mem=68M864
4.77/2.57 decisions=64, wrong=1, backtracks=0, failedAssignments=1, foundSolutions=2, bestBound=7715
4.77/2.57
4.77/2.59 o 6207
4.77/2.59 num=2, depth=30..555, filters=3527, revisions=(5894,useless=3749), ccks=54324, wck=0.102, mem=68M864
4.77/2.59 decisions=96, wrong=2, backtracks=0, failedAssignments=2, nogoods=1, foundSolutions=3, bestBound=6207
4.77/2.59
4.77/2.60 num=3, depth=23..32, filters=3611, revisions=(6796,useless=4592), ccks=56865, wck=0.109, mem=68M864
4.77/2.60 decisions=162, wrong=24, backtracks=11, failedAssignments=13, nogoods=2, foundSolutions=3, bestBound=6207
4.77/2.60
5.11/2.60 num=4, depth=30..34, filters=3805, revisions=(8755,useless=6394), ccks=60725, wck=0.116, mem=68M864
5.11/2.60 decisions=234, wrong=45, backtracks=26, failedAssignments=24, nogoods=4, foundSolutions=3, bestBound=6207
5.11/2.60
5.11/2.62 num=5, depth=32..37, filters=4623, revisions=(17083,useless=13982), ccks=72677, wck=0.128, mem=68M864
5.11/2.62 decisions=314, wrong=69, backtracks=38, failedAssignments=36, nogoods=6, foundSolutions=3, bestBound=6207
5.11/2.62
5.11/2.62 num=6, depth=12..37, filters=5534, revisions=(20457,useless=16592), ccks=79013, wck=0.136, mem=68M864
5.11/2.62 decisions=389, wrong=94, backtracks=50, failedAssignments=49, nogoods=8, foundSolutions=3, bestBound=6207
5.11/2.62
5.11/2.63 num=7, depth=23..35, filters=6945, revisions=(24147,useless=19090), ccks=86394, wck=0.145, mem=68M864
5.11/2.63 decisions=464, wrong=120, backtracks=62, failedAssignments=63, nogoods=9, foundSolutions=3, bestBound=6207
5.11/2.63
5.11/2.64 o 3659
5.11/2.64 num=8, depth=557..555, filters=7962, revisions=(27612,useless=21902), ccks=95046, wck=0.157, mem=68M864
5.11/2.64 decisions=496, wrong=120, backtracks=62, failedAssignments=63, nogoods=9, foundSolutions=4, bestBound=3659
5.11/2.64
5.11/2.66 o 3187
5.11/2.66 num=9, depth=32..555, filters=9044, revisions=(31166,useless=24756), ccks=101211, wck=0.171, mem=68M864
5.11/2.66 decisions=529, wrong=121, backtracks=62, failedAssignments=64, nogoods=10, foundSolutions=5, bestBound=3187
5.11/2.66
5.11/2.67 num=10, depth=6..11, filters=9691, revisions=(37804,useless=30889), ccks=109605, wck=0.181, mem=68M864
5.11/2.67 decisions=577, wrong=142, backtracks=77, failedAssignments=75, nogoods=12, foundSolutions=5, bestBound=3187
5.11/2.67
5.11/2.68 o 727
5.11/2.68 num=11, depth=557..555, filters=10716, revisions=(41054,useless=33470), ccks=120944, wck=0.192, mem=71M511
5.11/2.68 decisions=607, wrong=142, backtracks=77, failedAssignments=75, nogoods=12, foundSolutions=6, bestBound=727
5.11/2.68
5.11/2.69 o 699
5.11/2.69 num=12, depth=30..555, filters=11803, revisions=(44386,useless=36088), ccks=129552, wck=0.207, mem=71M511
5.11/2.69 decisions=638, wrong=143, backtracks=77, failedAssignments=76, nogoods=13, foundSolutions=7, bestBound=699
5.11/2.69
5.42/2.71 o 567
5.42/2.71 num=13, depth=5..555, filters=12812, revisions=(48243,useless=39267), ccks=140118, wck=0.221, mem=71M511
5.42/2.71 decisions=675, wrong=147, backtracks=79, failedAssignments=78, nogoods=14, foundSolutions=8, bestBound=567
5.42/2.71
5.42/2.72 num=14, depth=26..29, filters=14978, revisions=(52349,useless=41686), ccks=152453, wck=0.235, mem=71M511
5.42/2.72 decisions=734, wrong=164, backtracks=86, failedAssignments=89, nogoods=18, foundSolutions=8, bestBound=567
5.42/2.72
5.42/2.73 num=15, depth=25..29, filters=17226, revisions=(56300,useless=43978), ccks=162408, wck=0.246, mem=71M511
5.42/2.73 decisions=796, wrong=182, backtracks=94, failedAssignments=100, nogoods=25, foundSolutions=8, bestBound=567
5.42/2.73
5.42/2.75 o 555
5.42/2.75 num=16, depth=24..555, filters=21033, revisions=(63320,useless=48173), ccks=181647, wck=0.264, mem=71M511
5.42/2.75 decisions=866, wrong=203, backtracks=109, failedAssignments=110, nogoods=27, foundSolutions=9, bestBound=555
5.42/2.75
5.42/2.76 o 483
5.42/2.76 num=17, depth=27..555, filters=22766, revisions=(67318,useless=50936), ccks=190187, wck=0.276, mem=71M511
5.42/2.76 decisions=906, wrong=209, backtracks=111, failedAssignments=115, nogoods=31, foundSolutions=10, bestBound=483
5.42/2.76
5.42/2.77 o 419
5.42/2.77 num=18, depth=28..555, filters=24135, revisions=(70894,useless=53566), ccks=200124, wck=0.288, mem=74M158
5.42/2.77 decisions=941, wrong=212, backtracks=113, failedAssignments=117, nogoods=32, foundSolutions=11, bestBound=419
5.42/2.77
5.42/2.79 num=19, depth=26..30, filters=26691, revisions=(75116,useless=55881), ccks=213432, wck=0.301, mem=74M158
5.42/2.79 decisions=1000, wrong=228, backtracks=120, failedAssignments=128, nogoods=36, foundSolutions=11, bestBound=419
5.42/2.79
5.42/2.80 num=20, depth=24..31, filters=28827, revisions=(79091,useless=58245), ccks=224511, wck=0.309, mem=74M158
5.42/2.80 decisions=1061, wrong=246, backtracks=132, failedAssignments=139, nogoods=39, foundSolutions=11, bestBound=419
5.42/2.80
5.73/2.80 o 391
5.73/2.81 num=21, depth=27..555, filters=30595, revisions=(83069,useless=60960), ccks=231400, wck=0.32, mem=74M158
5.73/2.81 decisions=1104, wrong=254, backtracks=134, failedAssignments=145, nogoods=42, foundSolutions=12, bestBound=391
5.73/2.81
5.73/2.82 num=22, depth=27..32, filters=32998, revisions=(87300,useless=63356), ccks=240070, wck=0.332, mem=74M158
5.73/2.82 decisions=1170, wrong=274, backtracks=146, failedAssignments=158, nogoods=46, foundSolutions=12, bestBound=391
5.73/2.82
5.73/2.83 num=23, depth=26..30, filters=34706, revisions=(90618,useless=65395), ccks=247104, wck=0.344, mem=74M158
5.73/2.83 decisions=1227, wrong=289, backtracks=153, failedAssignments=169, nogoods=48, foundSolutions=12, bestBound=391
5.73/2.83
5.73/2.85 num=24, depth=26..31, filters=37796, revisions=(95274,useless=67860), ccks=260581, wck=0.359, mem=74M158
5.73/2.85 decisions=1297, wrong=310, backtracks=164, failedAssignments=181, nogoods=51, foundSolutions=12, bestBound=391
5.73/2.85
5.73/2.86 num=25, depth=24..32, filters=40366, revisions=(99313,useless=70092), ccks=274165, wck=0.368, mem=74M158
5.73/2.86 decisions=1378, wrong=337, backtracks=181, failedAssignments=194, nogoods=53, foundSolutions=12, bestBound=391
5.73/2.86
5.73/2.86 o 363
5.73/2.86 num=26, depth=28..555, filters=41791, revisions=(102682,useless=72473), ccks=281306, wck=0.377, mem=74M158
5.73/2.86 decisions=1417, wrong=341, backtracks=183, failedAssignments=196, nogoods=54, foundSolutions=13, bestBound=363
5.73/2.86
5.73/2.87 num=27, depth=28..33, filters=43486, revisions=(105590,useless=74146), ccks=288885, wck=0.385, mem=74M158
5.73/2.87 decisions=1498, wrong=368, backtracks=195, failedAssignments=212, nogoods=55, foundSolutions=13, bestBound=363
5.73/2.87
5.73/2.88 o 355
5.73/2.88 num=28, depth=29..555, filters=44490, revisions=(108329,useless=76195), ccks=295772, wck=0.392, mem=74M158
5.73/2.88 decisions=1534, wrong=371, backtracks=195, failedAssignments=215, nogoods=58, foundSolutions=14, bestBound=355
5.73/2.88
5.73/2.89 num=29, depth=27..32, filters=46920, revisions=(111979,useless=78146), ccks=305108, wck=0.402, mem=74M158
5.73/2.89 decisions=1596, wrong=388, backtracks=202, failedAssignments=227, nogoods=63, foundSolutions=14, bestBound=355
5.73/2.89
6.03/2.90 num=30, depth=25..31, filters=49199, revisions=(115619,useless=80196), ccks=317602, wck=0.41, mem=74M158
6.03/2.90 decisions=1662, wrong=408, backtracks=217, failedAssignments=238, nogoods=66, foundSolutions=14, bestBound=355
6.03/2.90
6.03/2.90 o 327
6.03/2.90 num=31, depth=557..555, filters=50134, revisions=(118449,useless=82398), ccks=323916, wck=0.418, mem=74M158
6.03/2.90 decisions=1693, wrong=408, backtracks=217, failedAssignments=238, nogoods=66, foundSolutions=15, bestBound=327
6.03/2.90
6.03/2.91 o 279
6.03/2.91 num=32, depth=30..555, filters=51311, revisions=(121601,useless=84732), ccks=330297, wck=0.427, mem=76M805
6.03/2.91 decisions=1733, wrong=413, backtracks=219, failedAssignments=241, nogoods=67, foundSolutions=16, bestBound=279
6.03/2.91
6.03/2.92 num=33, depth=25..30, filters=53672, revisions=(125715,useless=87096), ccks=340504, wck=0.436, mem=76M805
6.03/2.92 decisions=1793, wrong=430, backtracks=228, failedAssignments=252, nogoods=71, foundSolutions=16, bestBound=279
6.03/2.92
6.03/2.93 num=34, depth=25..30, filters=56071, revisions=(129671,useless=89279), ccks=350496, wck=0.443, mem=76M805
6.03/2.93 decisions=1852, wrong=447, backtracks=238, failedAssignments=263, nogoods=72, foundSolutions=16, bestBound=279
6.03/2.93
6.03/2.93 o 267
6.03/2.94 num=35, depth=28..555, filters=57221, revisions=(132715,useless=91534), ccks=356041, wck=0.449, mem=76M805
6.03/2.94 decisions=1885, wrong=449, backtracks=238, failedAssignments=265, nogoods=74, foundSolutions=17, bestBound=267
6.03/2.94
6.03/2.94 o 247
6.03/2.94 num=36, depth=28..555, filters=58695, revisions=(136119,useless=93941), ccks=361797, wck=0.457, mem=76M805
6.03/2.94 decisions=1925, wrong=454, backtracks=239, failedAssignments=269, nogoods=78, foundSolutions=18, bestBound=247
6.03/2.94
6.03/2.95 num=37, depth=25..30, filters=61781, revisions=(141031,useless=96562), ccks=372712, wck=0.466, mem=76M805
6.03/2.95 decisions=1994, wrong=476, backtracks=255, failedAssignments=280, nogoods=80, foundSolutions=18, bestBound=247
6.03/2.95
6.03/2.96 num=38, depth=21..27, filters=64853, revisions=(147757,useless=100460), ccks=380766, wck=0.474, mem=76M805
6.03/2.96 decisions=2070, wrong=502, backtracks=278, failedAssignments=291, nogoods=82, foundSolutions=18, bestBound=247
6.03/2.96
6.03/2.97 num=39, depth=27..31, filters=66981, revisions=(151118,useless=102272), ccks=388804, wck=0.48, mem=76M805
6.03/2.97 decisions=2133, wrong=520, backtracks=288, failedAssignments=303, nogoods=86, foundSolutions=18, bestBound=247
6.03/2.97
6.03/2.97 num=40, depth=21..29, filters=70430, revisions=(158596,useless=106617), ccks=397771, wck=0.488, mem=76M805
6.03/2.97 decisions=2215, wrong=549, backtracks=313, failedAssignments=316, nogoods=89, foundSolutions=18, bestBound=247
6.03/2.97
6.03/2.98 o 231
6.03/2.98 num=41, depth=27..555, filters=72457, revisions=(162433,useless=109008), ccks=407146, wck=0.496, mem=76M805
6.03/2.98 decisions=2279, wrong=567, backtracks=322, failedAssignments=328, nogoods=92, foundSolutions=19, bestBound=231
6.03/2.98
6.03/3.00 num=42, depth=26..31, filters=76692, revisions=(168621,useless=111997), ccks=422077, wck=0.51, mem=76M805
6.03/3.00 decisions=2363, wrong=596, backtracks=339, failedAssignments=344, nogoods=94, foundSolutions=19, bestBound=231
6.03/3.00
6.35/3.01 num=43, depth=26..30, filters=78936, revisions=(171953,useless=113766), ccks=431169, wck=0.517, mem=76M805
6.35/3.01 decisions=2428, wrong=615, backtracks=349, failedAssignments=355, nogoods=97, foundSolutions=19, bestBound=231
6.35/3.01
6.35/3.01 num=44, depth=25..31, filters=81463, revisions=(175970,useless=115863), ccks=439938, wck=0.524, mem=76M805
6.35/3.01 decisions=2497, wrong=637, backtracks=364, failedAssignments=367, nogoods=98, foundSolutions=19, bestBound=231
6.35/3.01
6.35/3.02 num=45, depth=25..29, filters=84673, revisions=(180577,useless=118101), ccks=451416, wck=0.533, mem=76M805
6.35/3.02 decisions=2567, wrong=659, backtracks=377, failedAssignments=380, nogoods=104, foundSolutions=19, bestBound=231
6.35/3.02
6.35/3.03 num=46, depth=24..30, filters=89034, revisions=(186697,useless=121023), ccks=466615, wck=0.544, mem=76M805
6.35/3.03 decisions=2646, wrong=686, backtracks=399, failedAssignments=394, nogoods=107, foundSolutions=19, bestBound=231
6.35/3.03
6.35/3.04 num=47, depth=25..30, filters=91668, revisions=(190686,useless=123097), ccks=477559, wck=0.551, mem=76M805
6.35/3.04 decisions=2720, wrong=710, backtracks=414, failedAssignments=410, nogoods=114, foundSolutions=19, bestBound=231
6.35/3.04
6.35/3.05 num=48, depth=24..30, filters=95959, revisions=(196514,useless=125764), ccks=491968, wck=0.562, mem=76M805
6.35/3.05 decisions=2800, wrong=738, backtracks=436, failedAssignments=427, nogoods=117, foundSolutions=19, bestBound=231
6.35/3.05
6.35/3.06 num=49, depth=24..29, filters=99951, revisions=(201889,useless=128201), ccks=504545, wck=0.572, mem=76M805
6.35/3.06 decisions=2881, wrong=766, backtracks=455, failedAssignments=446, nogoods=119, foundSolutions=19, bestBound=231
6.35/3.06
6.35/3.07 num=50, depth=22..29, filters=104782, revisions=(208501,useless=130982), ccks=519822, wck=0.583, mem=76M805
6.35/3.07 decisions=2962, wrong=795, backtracks=475, failedAssignments=467, nogoods=126, foundSolutions=19, bestBound=231
6.35/3.07
6.35/3.08 num=51, depth=23..28, filters=109493, revisions=(215286,useless=133998), ccks=534665, wck=0.595, mem=76M805
6.35/3.08 decisions=3053, wrong=829, backtracks=502, failedAssignments=490, nogoods=130, foundSolutions=19, bestBound=231
6.35/3.08
6.35/3.10 num=52, depth=21..27, filters=115384, revisions=(223182,useless=137425), ccks=554836, wck=0.61, mem=76M805
6.35/3.10 decisions=3146, wrong=864, backtracks=527, failedAssignments=515, nogoods=137, foundSolutions=19, bestBound=231
6.35/3.10
6.65/3.11 num=53, depth=20..26, filters=122253, revisions=(232629,useless=141286), ccks=574972, wck=0.627, mem=76M805
6.65/3.11 decisions=3245, wrong=903, backtracks=558, failedAssignments=543, nogoods=140, foundSolutions=19, bestBound=231
6.65/3.11
6.65/3.13 num=54, depth=16..28, filters=127833, revisions=(245828,useless=149226), ccks=587133, wck=0.641, mem=76M805
6.65/3.13 decisions=3361, wrong=953, backtracks=606, failedAssignments=574, nogoods=143, foundSolutions=19, bestBound=231
6.65/3.13
6.65/3.14 num=55, depth=24..31, filters=133855, revisions=(253736,useless=152619), ccks=605327, wck=0.653, mem=76M805
6.65/3.14 decisions=3492, wrong=1005, backtracks=638, failedAssignments=608, nogoods=150, foundSolutions=19, bestBound=231
6.65/3.14
6.65/3.15 num=56, depth=23..28, filters=139876, revisions=(261755,useless=156043), ccks=625069, wck=0.666, mem=76M805
6.65/3.15 decisions=3620, wrong=1057, backtracks=671, failedAssignments=645, nogoods=155, foundSolutions=19, bestBound=231
6.65/3.15
6.65/3.17 num=57, depth=21..30, filters=148355, revisions=(272592,useless=160351), ccks=649700, wck=0.682, mem=76M805
6.65/3.17 decisions=3758, wrong=1114, backtracks=711, failedAssignments=686, nogoods=158, foundSolutions=19, bestBound=231
6.65/3.17
6.65/3.18 num=58, depth=20..27, filters=156887, revisions=(284045,useless=165004), ccks=670368, wck=0.696, mem=76M805
6.65/3.18 decisions=3902, wrong=1175, backtracks=748, failedAssignments=731, nogoods=165, foundSolutions=19, bestBound=231
6.65/3.18
6.78/3.20 num=59, depth=21..26, filters=166252, revisions=(296597,useless=170016), ccks=696161, wck=0.714, mem=76M805
6.78/3.20 decisions=4071, wrong=1249, backtracks=795, failedAssignments=781, nogoods=172, foundSolutions=19, bestBound=231
6.78/3.20
6.78/3.22 num=60, depth=21..29, filters=177150, revisions=(310899,useless=175626), ccks=722748, wck=0.734, mem=76M805
6.78/3.22 decisions=4240, wrong=1323, backtracks=844, failedAssignments=836, nogoods=187, foundSolutions=19, bestBound=231
6.78/3.22
6.78/3.24 num=61, depth=21..27, filters=188625, revisions=(325758,useless=181292), ccks=752692, wck=0.755, mem=76M805
6.78/3.24 decisions=4428, wrong=1406, backtracks=898, failedAssignments=897, nogoods=198, foundSolutions=19, bestBound=231
6.78/3.24
6.78/3.26 num=62, depth=20..27, filters=200994, revisions=(341529,useless=187231), ccks=788844, wck=0.777, mem=76M805
6.78/3.26 decisions=4640, wrong=1501, backtracks=962, failedAssignments=964, nogoods=200, foundSolutions=19, bestBound=231
6.78/3.26
6.78/3.28 num=63, depth=21..28, filters=213146, revisions=(357166,useless=192951), ccks=817450, wck=0.798, mem=76M805
6.78/3.28 decisions=4864, wrong=1602, backtracks=1014, failedAssignments=1038, nogoods=219, foundSolutions=19, bestBound=231
6.78/3.28
6.89/3.31 num=64, depth=20..27, filters=228197, revisions=(377146,useless=200599), ccks=853321, wck=0.823, mem=76M805
6.89/3.31 decisions=5108, wrong=1714, backtracks=1079, failedAssignments=1119, nogoods=230, foundSolutions=19, bestBound=231
6.89/3.31
6.89/3.34 num=65, depth=21..28, filters=240549, revisions=(393333,useless=206822), ccks=888579, wck=0.85, mem=76M805
6.89/3.34 decisions=5387, wrong=1843, backtracks=1154, failedAssignments=1208, nogoods=237, foundSolutions=19, bestBound=231
6.89/3.34
7.06/3.41 num=66, depth=20..27, filters=257996, revisions=(416220,useless=215420), ccks=940203, wck=0.921, mem=76M805
7.06/3.41 decisions=5689, wrong=1983, backtracks=1246, failedAssignments=1306, nogoods=245, foundSolutions=19, bestBound=231
7.06/3.41
7.06/3.46 o 223
7.06/3.47 num=67, depth=22..555, filters=273522, revisions=(435804,useless=222849), ccks=978315, wck=0.974, mem=79M448
7.06/3.47 decisions=5966, wrong=2110, backtracks=1315, failedAssignments=1396, nogoods=257, foundSolutions=20, bestBound=223
7.06/3.47
7.26/3.50 num=68, depth=21..29, filters=293913, revisions=(462449,useless=233032), ccks=1028636, wck=1.013, mem=79M448
7.26/3.50 decisions=6318, wrong=2275, backtracks=1415, failedAssignments=1515, nogoods=272, foundSolutions=20, bestBound=223
7.26/3.50
7.26/3.50 num=69, depth=22..27, filters=295467, revisions=(465412,useless=234785), ccks=1033427, wck=1.017, mem=79M448
7.26/3.50 decisions=6366, wrong=2288, backtracks=1425, failedAssignments=1526, nogoods=275, foundSolutions=20, bestBound=223
7.26/3.50
7.26/3.51 num=70, depth=22..28, filters=297746, revisions=(469023,useless=236599), ccks=1039633, wck=1.022, mem=79M448
7.26/3.51 decisions=6419, wrong=2303, backtracks=1432, failedAssignments=1538, nogoods=281, foundSolutions=20, bestBound=223
7.26/3.51
7.26/3.52 num=71, depth=21..27, filters=300936, revisions=(473686,useless=238719), ccks=1050028, wck=1.029, mem=79M448
7.26/3.52 decisions=6475, wrong=2320, backtracks=1444, failedAssignments=1551, nogoods=284, foundSolutions=20, bestBound=223
7.26/3.52
7.26/3.52 num=72, depth=22..29, filters=303116, revisions=(477242,useless=240561), ccks=1056546, wck=1.034, mem=79M448
7.26/3.52 decisions=6532, wrong=2337, backtracks=1456, failedAssignments=1565, nogoods=287, foundSolutions=20, bestBound=223
7.26/3.52
7.26/3.53 num=73, depth=22..27, filters=306269, revisions=(481938,useless=242709), ccks=1065340, wck=1.04, mem=79M448
7.26/3.53 decisions=6598, wrong=2359, backtracks=1468, failedAssignments=1581, nogoods=295, foundSolutions=20, bestBound=223
7.26/3.53
7.26/3.53 num=74, depth=21..27, filters=309552, revisions=(486872,useless=245057), ccks=1077447, wck=1.047, mem=79M448
7.26/3.53 decisions=6664, wrong=2381, backtracks=1484, failedAssignments=1598, nogoods=301, foundSolutions=20, bestBound=223
7.26/3.53
7.26/3.54 num=75, depth=21..28, filters=312957, revisions=(491971,useless=247347), ccks=1089060, wck=1.054, mem=79M448
7.26/3.54 decisions=6737, wrong=2406, backtracks=1497, failedAssignments=1617, nogoods=308, foundSolutions=20, bestBound=223
7.26/3.54
7.26/3.55 num=76, depth=21..28, filters=317710, revisions=(498984,useless=250577), ccks=1101547, wck=1.064, mem=79M448
7.26/3.55 decisions=6822, wrong=2437, backtracks=1525, failedAssignments=1638, nogoods=312, foundSolutions=20, bestBound=223
7.26/3.55
7.26/3.56 num=77, depth=22..27, filters=321307, revisions=(504512,useless=253129), ccks=1111870, wck=1.071, mem=79M448
7.26/3.56 decisions=6906, wrong=2468, backtracks=1545, failedAssignments=1661, nogoods=319, foundSolutions=20, bestBound=223
7.26/3.56
7.26/3.57 num=78, depth=22..29, filters=326048, revisions=(511084,useless=255997), ccks=1123608, wck=1.08, mem=79M448
7.26/3.57 decisions=6996, wrong=2502, backtracks=1569, failedAssignments=1686, nogoods=322, foundSolutions=20, bestBound=223
7.26/3.57
7.26/3.58 num=79, depth=21..27, filters=331532, revisions=(519086,useless=259458), ccks=1137090, wck=1.09, mem=79M448
7.26/3.58 decisions=7091, wrong=2539, backtracks=1596, failedAssignments=1714, nogoods=329, foundSolutions=20, bestBound=223
7.26/3.58
7.26/3.59 num=80, depth=21..26, filters=338016, revisions=(528120,useless=263183), ccks=1153386, wck=1.101, mem=79M448
7.26/3.59 decisions=7195, wrong=2580, backtracks=1620, failedAssignments=1745, nogoods=341, foundSolutions=20, bestBound=223
7.26/3.59
7.37/3.60 num=81, depth=21..27, filters=344348, revisions=(537026,useless=266872), ccks=1170495, wck=1.113, mem=79M448
7.37/3.60 decisions=7309, wrong=2626, backtracks=1649, failedAssignments=1779, nogoods=354, foundSolutions=20, bestBound=223
7.37/3.60
7.37/3.61 num=82, depth=21..27, filters=351513, revisions=(546733,useless=270848), ccks=1193062, wck=1.128, mem=79M448
7.37/3.61 decisions=7435, wrong=2678, backtracks=1686, failedAssignments=1816, nogoods=361, foundSolutions=20, bestBound=223
7.37/3.61
7.37/3.63 num=83, depth=21..30, filters=359896, revisions=(557787,useless=275034), ccks=1213813, wck=1.142, mem=79M448
7.37/3.63 decisions=7568, wrong=2734, backtracks=1719, failedAssignments=1857, nogoods=377, foundSolutions=20, bestBound=223
7.37/3.63
7.37/3.64 num=84, depth=19..29, filters=365922, revisions=(566939,useless=279769), ccks=1235801, wck=1.156, mem=79M448
7.37/3.64 decisions=7720, wrong=2799, backtracks=1776, failedAssignments=1902, nogoods=384, foundSolutions=20, bestBound=223
7.37/3.64
7.37/3.66 num=85, depth=20..27, filters=377493, revisions=(582152,useless=285629), ccks=1266747, wck=1.177, mem=79M448
7.37/3.66 decisions=7888, wrong=2872, backtracks=1828, failedAssignments=1952, nogoods=387, foundSolutions=20, bestBound=223
7.37/3.66
7.37/3.68 num=86, depth=20..28, filters=383937, revisions=(591936,useless=290246), ccks=1288357, wck=1.189, mem=79M448
7.37/3.68 decisions=8063, wrong=2948, backtracks=1885, failedAssignments=2007, nogoods=391, foundSolutions=20, bestBound=223
7.37/3.68
7.37/3.69 num=87, depth=20..30, filters=393226, revisions=(604383,useless=295276), ccks=1313320, wck=1.206, mem=79M448
7.37/3.69 decisions=8247, wrong=3028, backtracks=1933, failedAssignments=2068, nogoods=405, foundSolutions=20, bestBound=223
7.37/3.69
7.49/3.72 num=88, depth=20..28, filters=405749, revisions=(620665,useless=301477), ccks=1345911, wck=1.229, mem=79M448
7.49/3.72 decisions=8465, wrong=3126, backtracks=2004, failedAssignments=2135, nogoods=409, foundSolutions=20, bestBound=223
7.49/3.72
7.49/3.74 num=89, depth=19..26, filters=421960, revisions=(641518,useless=309340), ccks=1389099, wck=1.257, mem=79M448
7.49/3.74 decisions=8700, wrong=3234, backtracks=2076, failedAssignments=2209, nogoods=410, foundSolutions=20, bestBound=223
7.49/3.74
7.49/3.77 num=90, depth=20..28, filters=438475, revisions=(662726,useless=317336), ccks=1439033, wck=1.287, mem=79M448
7.49/3.77 decisions=8946, wrong=3346, backtracks=2163, failedAssignments=2290, nogoods=414, foundSolutions=20, bestBound=223
7.49/3.77
7.59/3.80 num=91, depth=20..28, filters=454285, revisions=(683634,useless=325228), ccks=1477691, wck=1.314, mem=79M448
7.59/3.80 decisions=9215, wrong=3470, backtracks=2237, failedAssignments=2379, nogoods=429, foundSolutions=20, bestBound=223
7.59/3.80
7.59/3.84 num=92, depth=20..28, filters=474346, revisions=(708805,useless=334486), ccks=1536807, wck=1.35, mem=79M448
7.59/3.84 decisions=9512, wrong=3608, backtracks=2343, failedAssignments=2477, nogoods=433, foundSolutions=20, bestBound=223
7.59/3.84
7.59/3.87 num=93, depth=20..27, filters=491366, revisions=(731462,useless=343052), ccks=1582957, wck=1.379, mem=79M448
7.59/3.87 decisions=9831, wrong=3757, backtracks=2436, failedAssignments=2585, nogoods=438, foundSolutions=20, bestBound=223
7.59/3.87
7.69/3.90 num=94, depth=21..28, filters=510776, revisions=(756011,useless=352146), ccks=1633890, wck=1.412, mem=79M448
7.69/3.90 decisions=10183, wrong=3922, backtracks=2536, failedAssignments=2704, nogoods=454, foundSolutions=20, bestBound=223
7.69/3.90
7.69/3.94 num=95, depth=20..29, filters=535893, revisions=(787442,useless=363634), ccks=1697492, wck=1.454, mem=79M448
7.69/3.94 decisions=10575, wrong=4107, backtracks=2660, failedAssignments=2835, nogoods=464, foundSolutions=20, bestBound=223
7.69/3.94
7.69/3.98 num=96, depth=19..30, filters=558167, revisions=(817322,useless=376178), ccks=1767606, wck=1.495, mem=79M448
7.69/3.98 decisions=11016, wrong=4317, backtracks=2834, failedAssignments=2979, nogoods=468, foundSolutions=20, bestBound=223
7.69/3.98
7.80/4.03 num=97, depth=19..27, filters=586389, revisions=(853000,useless=389368), ccks=1842804, wck=1.543, mem=79M448
7.80/4.03 decisions=11480, wrong=4539, backtracks=2981, failedAssignments=3137, nogoods=478, foundSolutions=20, bestBound=223
7.80/4.03
7.80/4.09 num=98, depth=20..29, filters=620339, revisions=(893920,useless=403928), ccks=1944686, wck=1.603, mem=79M448
7.80/4.09 decisions=12037, wrong=4807, backtracks=3181, failedAssignments=3311, nogoods=482, foundSolutions=20, bestBound=223
7.80/4.09
7.90/4.13 num=99, depth=17..31, filters=642829, revisions=(925395,useless=419004), ccks=2021616, wck=1.646, mem=79M448
7.90/4.13 decisions=12580, wrong=5069, backtracks=3413, failedAssignments=3502, nogoods=491, foundSolutions=20, bestBound=223
7.90/4.13
7.90/4.19 num=100, depth=19..29, filters=678735, revisions=(970612,useless=435198), ccks=2115288, wck=1.707, mem=79M448
7.90/4.19 decisions=13204, wrong=5370, backtracks=3604, failedAssignments=3713, nogoods=500, foundSolutions=20, bestBound=223
7.90/4.19
8.00/4.27 num=101, depth=19..28, filters=726932, revisions=(1031569,useless=457439), ccks=2232223, wck=1.788, mem=79M448
8.00/4.27 decisions=13910, wrong=5713, backtracks=3841, failedAssignments=3945, nogoods=504, foundSolutions=20, bestBound=223
8.00/4.27
8.10/4.35 num=102, depth=19..29, filters=773446, revisions=(1088870,useless=477860), ccks=2348692, wck=1.866, mem=79M448
8.10/4.35 decisions=14660, wrong=6077, backtracks=4076, failedAssignments=4200, nogoods=514, foundSolutions=20, bestBound=223
8.10/4.35
8.25/4.43 num=103, depth=20..32, filters=819321, revisions=(1146349,useless=499355), ccks=2473089, wck=1.945, mem=79M448
8.25/4.43 decisions=15470, wrong=6471, backtracks=4378, failedAssignments=4481, nogoods=522, foundSolutions=20, bestBound=223
8.25/4.43
8.36/4.52 num=104, depth=20..28, filters=872316, revisions=(1210316,useless=522060), ccks=2610488, wck=2.033, mem=79M448
8.36/4.52 decisions=16399, wrong=6924, backtracks=4670, failedAssignments=4790, nogoods=534, foundSolutions=20, bestBound=223
8.36/4.52
8.46/4.63 num=105, depth=19..29, filters=940305, revisions=(1295469,useless=552307), ccks=2779060, wck=2.144, mem=79M448
8.46/4.63 decisions=17421, wrong=7425, backtracks=5004, failedAssignments=5130, nogoods=546, foundSolutions=20, bestBound=223
8.46/4.63
8.57/4.73 num=106, depth=20..30, filters=1000661, revisions=(1369328,useless=579851), ccks=2955938, wck=2.247, mem=79M448
8.57/4.73 decisions=18565, wrong=7985, backtracks=5417, failedAssignments=5504, nogoods=557, foundSolutions=20, bestBound=223
8.57/4.73
8.68/4.80 o 215
8.68/4.81 num=107, depth=21..555, filters=1042945, revisions=(1421231,useless=599416), ccks=3066633, wck=2.319, mem=79M448
8.68/4.81 decisions=19402, wrong=8392, backtracks=5663, failedAssignments=5777, nogoods=567, foundSolutions=21, bestBound=215
8.68/4.81
8.79/4.92 num=108, depth=21..31, filters=1112041, revisions=(1505682,useless=628799), ccks=3242018, wck=2.432, mem=79M448
8.79/4.92 decisions=20793, wrong=9076, backtracks=6079, failedAssignments=6229, nogoods=570, foundSolutions=21, bestBound=215
8.79/4.92
8.79/4.92 num=109, depth=23..28, filters=1114848, revisions=(1509890,useless=630802), ccks=3250087, wck=2.437, mem=79M448
8.79/4.92 decisions=20852, wrong=9094, backtracks=6091, failedAssignments=6240, nogoods=572, foundSolutions=21, bestBound=215
8.79/4.92
8.79/4.93 num=110, depth=24..30, filters=1117663, revisions=(1514064,useless=632875), ccks=3258628, wck=2.443, mem=79M448
8.79/4.93 decisions=20920, wrong=9116, backtracks=6109, failedAssignments=6252, nogoods=576, foundSolutions=21, bestBound=215
8.79/4.93
8.79/4.94 num=111, depth=24..29, filters=1120453, revisions=(1518118,useless=634790), ccks=3266083, wck=2.449, mem=79M448
8.79/4.94 decisions=20987, wrong=9137, backtracks=6121, failedAssignments=6265, nogoods=579, foundSolutions=21, bestBound=215
8.79/4.94
8.79/4.94 num=112, depth=22..28, filters=1124372, revisions=(1523792,useless=637395), ccks=3278353, wck=2.456, mem=79M448
8.79/4.94 decisions=21050, wrong=9157, backtracks=6139, failedAssignments=6279, nogoods=581, foundSolutions=21, bestBound=215
8.79/4.94
8.79/4.95 num=113, depth=23..27, filters=1127861, revisions=(1528748,useless=639662), ccks=3286217, wck=2.463, mem=79M448
8.79/4.95 decisions=21115, wrong=9178, backtracks=6150, failedAssignments=6295, nogoods=588, foundSolutions=21, bestBound=215
8.79/4.95
8.79/4.96 num=114, depth=23..29, filters=1131543, revisions=(1534037,useless=642018), ccks=3296061, wck=2.47, mem=79M448
8.79/4.96 decisions=21188, wrong=9202, backtracks=6166, failedAssignments=6312, nogoods=595, foundSolutions=21, bestBound=215
8.79/4.96
8.79/4.96 num=115, depth=21..31, filters=1135414, revisions=(1539482,useless=644695), ccks=3306341, wck=2.477, mem=79M448
8.79/4.96 decisions=21256, wrong=9225, backtracks=6184, failedAssignments=6331, nogoods=600, foundSolutions=21, bestBound=215
8.79/4.96
8.79/4.97 num=116, depth=23..28, filters=1139520, revisions=(1545263,useless=647127), ccks=3316298, wck=2.484, mem=79M448
8.79/4.97 decisions=21341, wrong=9255, backtracks=6200, failedAssignments=6352, nogoods=611, foundSolutions=21, bestBound=215
8.79/4.97
8.79/4.98 num=117, depth=22..28, filters=1145045, revisions=(1552866,useless=650366), ccks=3330237, wck=2.495, mem=79M448
8.79/4.98 decisions=21427, wrong=9286, backtracks=6221, failedAssignments=6375, nogoods=619, foundSolutions=21, bestBound=215
8.79/4.98
8.79/4.99 num=118, depth=21..27, filters=1150390, revisions=(1560326,useless=653647), ccks=3344454, wck=2.505, mem=79M448
8.79/4.99 decisions=21516, wrong=9319, backtracks=6244, failedAssignments=6400, nogoods=627, foundSolutions=21, bestBound=215
8.79/4.99
8.91/5.01 num=119, depth=19..30, filters=1159339, revisions=(1571727,useless=658538), ccks=3362909, wck=2.522, mem=79M448
8.91/5.01 decisions=21611, wrong=9356, backtracks=6279, failedAssignments=6428, nogoods=629, foundSolutions=21, bestBound=215
8.91/5.01
8.91/5.02 num=120, depth=22..29, filters=1164334, revisions=(1578764,useless=661436), ccks=3376394, wck=2.531, mem=79M448
8.91/5.02 decisions=21725, wrong=9402, backtracks=6302, failedAssignments=6459, nogoods=641, foundSolutions=21, bestBound=215
8.91/5.02
8.91/5.03 num=121, depth=22..28, filters=1170982, revisions=(1587785,useless=665096), ccks=3394873, wck=2.543, mem=79M448
8.91/5.03 decisions=21838, wrong=9447, backtracks=6332, failedAssignments=6493, nogoods=647, foundSolutions=21, bestBound=215
8.91/5.03
8.91/5.04 num=122, depth=21..27, filters=1177601, revisions=(1597085,useless=668781), ccks=3411644, wck=2.555, mem=79M448
8.91/5.04 decisions=21969, wrong=9501, backtracks=6358, failedAssignments=6530, nogoods=656, foundSolutions=21, bestBound=215
8.91/5.04
8.91/5.05 num=123, depth=21..27, filters=1184199, revisions=(1606383,useless=672467), ccks=3429237, wck=2.566, mem=79M448
8.91/5.05 decisions=22111, wrong=9561, backtracks=6386, failedAssignments=6571, nogoods=661, foundSolutions=21, bestBound=215
8.91/5.05
8.91/5.06 num=124, depth=19..28, filters=1189060, revisions=(1614495,useless=677056), ccks=3449251, wck=2.577, mem=79M448
8.91/5.06 decisions=22246, wrong=9618, backtracks=6439, failedAssignments=6616, nogoods=669, foundSolutions=21, bestBound=215
8.91/5.06
8.91/5.07 num=125, depth=22..28, filters=1194187, revisions=(1622421,useless=680592), ccks=3462703, wck=2.587, mem=79M448
8.91/5.07 decisions=22406, wrong=9687, backtracks=6474, failedAssignments=6666, nogoods=680, foundSolutions=21, bestBound=215
8.91/5.07
8.91/5.10 num=126, depth=18..32, filters=1207967, revisions=(1639906,useless=687732), ccks=3492241, wck=2.611, mem=79M448
8.91/5.10 decisions=22587, wrong=9766, backtracks=6530, failedAssignments=6721, nogoods=689, foundSolutions=21, bestBound=215
8.91/5.10
9.02/5.11 num=127, depth=20..29, filters=1218408, revisions=(1654154,useless=693093), ccks=3515864, wck=2.628, mem=79M448
9.02/5.11 decisions=22785, wrong=9854, backtracks=6574, failedAssignments=6782, nogoods=694, foundSolutions=21, bestBound=215
9.02/5.11
9.02/5.14 num=128, depth=20..26, filters=1231897, revisions=(1672309,useless=700112), ccks=3547671, wck=2.651, mem=79M448
9.02/5.14 decisions=22990, wrong=9946, backtracks=6626, failedAssignments=6849, nogoods=709, foundSolutions=21, bestBound=215
9.02/5.14
9.02/5.16 num=129, depth=19..30, filters=1242406, revisions=(1687411,useless=707160), ccks=3581841, wck=2.671, mem=79M448
9.02/5.16 decisions=23242, wrong=10061, backtracks=6721, failedAssignments=6923, nogoods=715, foundSolutions=21, bestBound=215
9.02/5.16
9.02/5.18 num=130, depth=21..27, filters=1256950, revisions=(1705999,useless=714107), ccks=3620404, wck=2.696, mem=79M448
9.02/5.18 decisions=23498, wrong=10178, backtracks=6789, failedAssignments=7004, nogoods=722, foundSolutions=21, bestBound=215
9.02/5.18
9.13/5.21 num=131, depth=20..27, filters=1274790, revisions=(1728758,useless=722479), ccks=3664584, wck=2.727, mem=79M448
9.13/5.21 decisions=23768, wrong=10302, backtracks=6863, failedAssignments=7093, nogoods=734, foundSolutions=21, bestBound=215
9.13/5.21
9.13/5.26 o 199
9.13/5.26 num=132, depth=19..555, filters=1300785, revisions=(1760473,useless=734925), ccks=3720931, wck=2.775, mem=82M91
9.13/5.26 decisions=24054, wrong=10435, backtracks=6971, failedAssignments=7182, nogoods=741, foundSolutions=22, bestBound=199
9.13/5.26
9.13/5.29 num=133, depth=21..29, filters=1318972, revisions=(1785364,useless=744380), ccks=3763033, wck=2.807, mem=82M91
9.13/5.29 decisions=24389, wrong=10592, backtracks=7062, failedAssignments=7290, nogoods=754, foundSolutions=22, bestBound=199
9.13/5.29
9.27/5.30 num=134, depth=19..28, filters=1320296, revisions=(1788137,useless=746188), ccks=3767491, wck=2.811, mem=82M91
9.27/5.30 decisions=24438, wrong=10606, backtracks=7074, failedAssignments=7301, nogoods=756, foundSolutions=22, bestBound=199
9.27/5.30
9.27/5.30 num=135, depth=21..27, filters=1322722, revisions=(1792123,useless=748233), ccks=3773963, wck=2.816, mem=82M91
9.27/5.30 decisions=24489, wrong=10621, backtracks=7085, failedAssignments=7313, nogoods=760, foundSolutions=22, bestBound=199
9.27/5.30
9.27/5.31 num=136, depth=21..27, filters=1325870, revisions=(1796757,useless=750534), ccks=3782302, wck=2.823, mem=82M91
9.27/5.31 decisions=24544, wrong=10637, backtracks=7096, failedAssignments=7326, nogoods=766, foundSolutions=22, bestBound=199
9.27/5.31
9.27/5.31 num=137, depth=21..29, filters=1327459, revisions=(1799809,useless=752369), ccks=3786493, wck=2.827, mem=82M91
9.27/5.31 decisions=24598, wrong=10653, backtracks=7108, failedAssignments=7340, nogoods=771, foundSolutions=22, bestBound=199
9.27/5.31
9.27/5.32 num=138, depth=21..25, filters=1330449, revisions=(1804431,useless=754621), ccks=3795596, wck=2.833, mem=82M91
9.27/5.32 decisions=24669, wrong=10678, backtracks=7121, failedAssignments=7356, nogoods=781, foundSolutions=22, bestBound=199
9.27/5.32
9.27/5.33 num=139, depth=21..26, filters=1333866, revisions=(1809566,useless=756889), ccks=3804445, wck=2.84, mem=82M91
9.27/5.33 decisions=24736, wrong=10701, backtracks=7129, failedAssignments=7373, nogoods=792, foundSolutions=22, bestBound=199
9.27/5.33
9.27/5.33 num=140, depth=21..26, filters=1337999, revisions=(1815589,useless=759530), ccks=3814462, wck=2.848, mem=82M91
9.27/5.33 decisions=24804, wrong=10724, backtracks=7145, failedAssignments=7392, nogoods=799, foundSolutions=22, bestBound=199
9.27/5.33
9.27/5.34 num=141, depth=22..28, filters=1341419, revisions=(1820903,useless=762121), ccks=3822366, wck=2.854, mem=82M91
9.27/5.34 decisions=24879, wrong=10750, backtracks=7163, failedAssignments=7413, nogoods=804, foundSolutions=22, bestBound=199
9.27/5.34
9.27/5.35 num=142, depth=22..26, filters=1344713, revisions=(1825941,useless=764398), ccks=3830587, wck=2.861, mem=82M91
9.27/5.35 decisions=24966, wrong=10782, backtracks=7177, failedAssignments=7436, nogoods=814, foundSolutions=22, bestBound=199
9.27/5.35
9.27/5.36 num=143, depth=20..29, filters=1349372, revisions=(1832661,useless=767659), ccks=3842890, wck=2.87, mem=82M91
9.27/5.36 decisions=25048, wrong=10812, backtracks=7205, failedAssignments=7461, nogoods=817, foundSolutions=22, bestBound=199
9.27/5.36
9.27/5.37 num=144, depth=21..28, filters=1354764, revisions=(1840289,useless=770798), ccks=3856283, wck=2.88, mem=82M91
9.27/5.37 decisions=25145, wrong=10849, backtracks=7226, failedAssignments=7489, nogoods=826, foundSolutions=22, bestBound=199
9.27/5.37
9.27/5.38 num=145, depth=20..28, filters=1361075, revisions=(1849013,useless=774713), ccks=3871474, wck=2.891, mem=82M91
9.27/5.38 decisions=25255, wrong=10893, backtracks=7259, failedAssignments=7520, nogoods=831, foundSolutions=22, bestBound=199
9.27/5.38
9.27/5.39 num=146, depth=21..27, filters=1367633, revisions=(1858039,useless=778475), ccks=3884766, wck=2.902, mem=82M91
9.27/5.39 decisions=25365, wrong=10937, backtracks=7279, failedAssignments=7554, nogoods=848, foundSolutions=22, bestBound=199
9.27/5.39
9.41/5.40 num=147, depth=21..27, filters=1374209, revisions=(1867299,useless=782445), ccks=3902761, wck=2.915, mem=82M91
9.41/5.40 decisions=25488, wrong=10988, backtracks=7310, failedAssignments=7591, nogoods=864, foundSolutions=22, bestBound=199
9.41/5.40
9.41/5.42 num=148, depth=19..30, filters=1383313, revisions=(1879635,useless=787880), ccks=3924599, wck=2.932, mem=82M91
9.41/5.42 decisions=25617, wrong=11042, backtracks=7358, failedAssignments=7632, nogoods=869, foundSolutions=22, bestBound=199
9.41/5.42
9.41/5.43 num=149, depth=22..26, filters=1390761, revisions=(1889650,useless=791746), ccks=3942206, wck=2.944, mem=82M91
9.41/5.43 decisions=25763, wrong=11104, backtracks=7389, failedAssignments=7677, nogoods=886, foundSolutions=22, bestBound=199
9.41/5.43
9.41/5.45 num=150, depth=19..28, filters=1402305, revisions=(1904616,useless=797730), ccks=3968847, wck=2.965, mem=82M91
9.41/5.45 decisions=25942, wrong=11183, backtracks=7445, failedAssignments=7727, nogoods=890, foundSolutions=22, bestBound=199
9.41/5.45
9.41/5.47 num=151, depth=19..27, filters=1412915, revisions=(1919445,useless=803996), ccks=3998552, wck=2.985, mem=82M91
9.41/5.47 decisions=26114, wrong=11258, backtracks=7498, failedAssignments=7782, nogoods=895, foundSolutions=22, bestBound=199
9.41/5.47
9.41/5.49 num=152, depth=21..28, filters=1421375, revisions=(1931383,useless=809149), ccks=4022390, wck=3.0, mem=82M91
9.41/5.49 decisions=26310, wrong=11345, backtracks=7562, failedAssignments=7843, nogoods=907, foundSolutions=22, bestBound=199
9.41/5.49
9.51/5.51 num=153, depth=20..27, filters=1434177, revisions=(1948844,useless=815817), ccks=4053348, wck=3.022, mem=82M91
9.51/5.51 decisions=26516, wrong=11437, backtracks=7612, failedAssignments=7910, nogoods=914, foundSolutions=22, bestBound=199
9.51/5.51
9.51/5.53 num=154, depth=19..27, filters=1447747, revisions=(1967037,useless=823047), ccks=4089245, wck=3.045, mem=82M91
9.51/5.53 decisions=26738, wrong=11537, backtracks=7674, failedAssignments=7984, nogoods=918, foundSolutions=22, bestBound=199
9.51/5.53
9.51/5.55 num=155, depth=20..27, filters=1460736, revisions=(1984735,useless=830089), ccks=4120911, wck=3.068, mem=82M91
9.51/5.55 decisions=26983, wrong=11649, backtracks=7742, failedAssignments=8065, nogoods=928, foundSolutions=22, bestBound=199
9.51/5.55
9.61/5.60 num=156, depth=17..29, filters=1485624, revisions=(2015650,useless=843337), ccks=4171074, wck=3.11, mem=82M91
9.61/5.60 decisions=27283, wrong=11789, backtracks=7850, failedAssignments=8154, nogoods=941, foundSolutions=22, bestBound=199
9.61/5.60
9.61/5.63 num=157, depth=20..27, filters=1502815, revisions=(2038123,useless=852101), ccks=4216445, wck=3.142, mem=82M91
9.61/5.63 decisions=27585, wrong=11929, backtracks=7948, failedAssignments=8252, nogoods=948, foundSolutions=22, bestBound=199
9.61/5.63
9.61/5.66 num=158, depth=20..28, filters=1523386, revisions=(2065250,useless=862827), ccks=4266066, wck=3.176, mem=82M91
9.61/5.66 decisions=27920, wrong=12086, backtracks=8054, failedAssignments=8360, nogoods=955, foundSolutions=22, bestBound=199
9.61/5.66
9.61/5.69 num=159, depth=19..27, filters=1540453, revisions=(2088893,useless=871874), ccks=4306646, wck=3.204, mem=82M91
9.61/5.69 decisions=28289, wrong=12260, backtracks=8136, failedAssignments=8479, nogoods=970, foundSolutions=22, bestBound=199
9.61/5.69
9.71/5.75 num=160, depth=17..28, filters=1575244, revisions=(2132910,useless=889654), ccks=4382708, wck=3.264, mem=82M91
9.71/5.75 decisions=28733, wrong=12472, backtracks=8305, failedAssignments=8610, nogoods=974, foundSolutions=22, bestBound=199
9.71/5.75
9.71/5.79 num=161, depth=20..29, filters=1600585, revisions=(2165743,useless=901686), ccks=4443593, wck=3.306, mem=82M91
9.71/5.79 decisions=29150, wrong=12670, backtracks=8432, failedAssignments=8754, nogoods=980, foundSolutions=22, bestBound=199
9.71/5.79
9.81/5.84 num=162, depth=19..28, filters=1625938, revisions=(2199600,useless=915490), ccks=4508039, wck=3.349, mem=82M91
9.81/5.84 decisions=29620, wrong=12895, backtracks=8592, failedAssignments=8912, nogoods=982, foundSolutions=22, bestBound=199
9.81/5.84
9.81/5.87 num=163, depth=20..29, filters=1647543, revisions=(2229599,useless=928498), ccks=4576723, wck=3.388, mem=82M91
9.81/5.87 decisions=30141, wrong=13145, backtracks=8777, failedAssignments=9086, nogoods=991, foundSolutions=22, bestBound=199
9.81/5.87
9.91/5.93 num=164, depth=20..29, filters=1678815, revisions=(2268723,useless=942989), ccks=4652755, wck=3.439, mem=82M91
9.91/5.93 decisions=30710, wrong=13419, backtracks=8953, failedAssignments=9277, nogoods=1004, foundSolutions=22, bestBound=199
9.91/5.93
9.91/5.98 num=165, depth=19..27, filters=1712303, revisions=(2313593,useless=960301), ccks=4731235, wck=3.494, mem=82M91
9.91/5.98 decisions=31343, wrong=13725, backtracks=9131, failedAssignments=9488, nogoods=1017, foundSolutions=22, bestBound=199
9.91/5.98
10.02/6.06 num=166, depth=19..28, filters=1759270, revisions=(2372252,useless=980988), ccks=4844742, wck=3.571, mem=82M91
10.02/6.06 decisions=32040, wrong=14062, backtracks=9347, failedAssignments=9720, nogoods=1024, foundSolutions=22, bestBound=199
10.02/6.06
10.12/6.14 num=167, depth=19..27, filters=1808335, revisions=(2434444,useless=1002889), ccks=4965090, wck=3.651, mem=82M91
10.12/6.14 decisions=32787, wrong=14425, backtracks=9574, failedAssignments=9975, nogoods=1040, foundSolutions=22, bestBound=199
10.12/6.14
10.21/6.23 num=168, depth=19..28, filters=1860838, revisions=(2498212,useless=1024771), ccks=5101567, wck=3.739, mem=82M91
10.21/6.23 decisions=33618, wrong=14830, backtracks=9844, failedAssignments=10256, nogoods=1046, foundSolutions=22, bestBound=199
10.21/6.23
10.31/6.34 o 187
10.31/6.34 num=169, depth=19..555, filters=1928318, revisions=(2580438,useless=1056149), ccks=5266929, wck=3.855, mem=82M91
10.31/6.34 decisions=34553, wrong=15287, backtracks=10227, failedAssignments=10564, nogoods=1056, foundSolutions=23, bestBound=187
10.31/6.34
10.41/6.46 num=170, depth=19..29, filters=1994612, revisions=(2663546,useless=1086309), ccks=5443046, wck=3.971, mem=82M91
10.41/6.46 decisions=35594, wrong=15797, backtracks=10599, failedAssignments=10904, nogoods=1063, foundSolutions=23, bestBound=187
10.41/6.46
10.41/6.46 num=171, depth=22..26, filters=1997009, revisions=(2667400,useless=1088199), ccks=5450683, wck=3.976, mem=82M91
10.41/6.46 decisions=35645, wrong=15811, backtracks=10604, failedAssignments=10915, nogoods=1072, foundSolutions=23, bestBound=187
10.41/6.46
10.41/6.47 num=172, depth=21..26, filters=2000194, revisions=(2672073,useless=1090319), ccks=5459338, wck=3.983, mem=82M91
10.41/6.47 decisions=35702, wrong=15828, backtracks=10614, failedAssignments=10927, nogoods=1074, foundSolutions=23, bestBound=187
10.41/6.47
10.41/6.47 num=173, depth=22..28, filters=2002403, revisions=(2675856,useless=1092298), ccks=5466363, wck=3.987, mem=82M91
10.41/6.47 decisions=35763, wrong=15847, backtracks=10626, failedAssignments=10940, nogoods=1081, foundSolutions=23, bestBound=187
10.41/6.47
10.41/6.48 num=174, depth=22..27, filters=2005164, revisions=(2680094,useless=1094325), ccks=5473888, wck=3.993, mem=82M91
10.41/6.48 decisions=35822, wrong=15865, backtracks=10634, failedAssignments=10954, nogoods=1091, foundSolutions=23, bestBound=187
10.41/6.48
10.41/6.49 num=175, depth=21..26, filters=2008267, revisions=(2684895,useless=1096595), ccks=5480908, wck=3.999, mem=82M91
10.41/6.49 decisions=35882, wrong=15884, backtracks=10646, failedAssignments=10970, nogoods=1098, foundSolutions=23, bestBound=187
10.41/6.49
10.41/6.49 num=176, depth=22..28, filters=2011265, revisions=(2689534,useless=1098809), ccks=5487875, wck=4.005, mem=82M91
10.41/6.49 decisions=35952, wrong=15907, backtracks=10659, failedAssignments=10987, nogoods=1101, foundSolutions=23, bestBound=187
10.41/6.49
10.51/6.50 num=177, depth=21..27, filters=2015947, revisions=(2695963,useless=1101466), ccks=5498778, wck=4.014, mem=82M91
10.51/6.50 decisions=36025, wrong=15932, backtracks=10673, failedAssignments=11006, nogoods=1107, foundSolutions=23, bestBound=187
10.51/6.50
10.51/6.51 num=178, depth=22..28, filters=2019430, revisions=(2701127,useless=1103689), ccks=5507272, wck=4.021, mem=82M91
10.51/6.51 decisions=36103, wrong=15959, backtracks=10683, failedAssignments=11027, nogoods=1121, foundSolutions=23, bestBound=187
10.51/6.51
10.51/6.52 num=179, depth=21..27, filters=2023940, revisions=(2707698,useless=1106654), ccks=5519080, wck=4.03, mem=82M91
10.51/6.52 decisions=36190, wrong=15992, backtracks=10707, failedAssignments=11050, nogoods=1125, foundSolutions=23, bestBound=187
10.51/6.52
10.51/6.53 num=180, depth=21..28, filters=2028348, revisions=(2714144,useless=1109435), ccks=5530928, wck=4.039, mem=82M91
10.51/6.53 decisions=36281, wrong=16026, backtracks=10726, failedAssignments=11075, nogoods=1130, foundSolutions=23, bestBound=187
10.51/6.53
10.51/6.54 num=181, depth=19..29, filters=2035255, revisions=(2723216,useless=1113511), ccks=5544033, wck=4.052, mem=82M91
10.51/6.54 decisions=36371, wrong=16060, backtracks=10749, failedAssignments=11103, nogoods=1138, foundSolutions=23, bestBound=187
10.51/6.54
10.51/6.55 num=182, depth=20..28, filters=2043036, revisions=(2733502,useless=1117784), ccks=5559951, wck=4.066, mem=82M91
10.51/6.55 decisions=36479, wrong=16103, backtracks=10780, failedAssignments=11134, nogoods=1145, foundSolutions=23, bestBound=187
10.51/6.55
10.51/6.57 num=183, depth=19..28, filters=2050753, revisions=(2744124,useless=1122580), ccks=5576944, wck=4.08, mem=82M91
10.51/6.57 decisions=36593, wrong=16149, backtracks=10820, failedAssignments=11168, nogoods=1151, foundSolutions=23, bestBound=187
10.51/6.57
10.51/6.58 num=184, depth=21..27, filters=2057056, revisions=(2753203,useless=1126412), ccks=5592254, wck=4.092, mem=82M91
10.51/6.58 decisions=36713, wrong=16198, backtracks=10850, failedAssignments=11205, nogoods=1159, foundSolutions=23, bestBound=187
10.51/6.58
10.51/6.59 num=185, depth=20..28, filters=2065702, revisions=(2764912,useless=1131444), ccks=5611816, wck=4.108, mem=82M91
10.51/6.59 decisions=36850, wrong=16256, backtracks=10888, failedAssignments=11246, nogoods=1174, foundSolutions=23, bestBound=187
10.51/6.59
10.62/6.61 num=186, depth=20..26, filters=2073179, revisions=(2775417,useless=1135827), ccks=5632774, wck=4.123, mem=82M91
10.62/6.61 decisions=36994, wrong=16317, backtracks=10930, failedAssignments=11291, nogoods=1177, foundSolutions=23, bestBound=187
10.62/6.61
10.62/6.62 num=187, depth=20..28, filters=2079156, revisions=(2784426,useless=1140168), ccks=5649751, wck=4.135, mem=82M91
10.62/6.62 decisions=37146, wrong=16382, backtracks=10979, failedAssignments=11341, nogoods=1187, foundSolutions=23, bestBound=187
10.62/6.62
10.62/6.64 num=188, depth=20..28, filters=2090684, revisions=(2799812,useless=1146216), ccks=5679564, wck=4.156, mem=82M91
10.62/6.64 decisions=37308, wrong=16451, backtracks=11033, failedAssignments=11396, nogoods=1198, foundSolutions=23, bestBound=187
10.62/6.64
10.62/6.66 num=189, depth=20..27, filters=2102641, revisions=(2815694,useless=1152221), ccks=5710482, wck=4.178, mem=82M91
10.62/6.66 decisions=37497, wrong=16535, backtracks=11090, failedAssignments=11457, nogoods=1209, foundSolutions=23, bestBound=187
10.62/6.66
10.62/6.69 num=190, depth=20..28, filters=2115825, revisions=(2833644,useless=1159057), ccks=5741080, wck=4.2, mem=82M91
10.62/6.69 decisions=37702, wrong=16627, backtracks=11146, failedAssignments=11524, nogoods=1220, foundSolutions=23, bestBound=187
10.62/6.69
10.73/6.71 num=191, depth=19..29, filters=2129945, revisions=(2853067,useless=1166840), ccks=5775073, wck=4.225, mem=82M91
10.73/6.71 decisions=37938, wrong=16735, backtracks=11219, failedAssignments=11598, nogoods=1225, foundSolutions=23, bestBound=187
10.73/6.71
10.73/6.73 num=192, depth=20..28, filters=2138206, revisions=(2865807,useless=1172994), ccks=5801207, wck=4.242, mem=82M91
10.73/6.73 decisions=38167, wrong=16839, backtracks=11293, failedAssignments=11679, nogoods=1238, foundSolutions=23, bestBound=187
10.73/6.73
10.73/6.75 num=193, depth=20..27, filters=2150795, revisions=(2883009,useless=1179789), ccks=5833122, wck=4.265, mem=82M91
10.73/6.75 decisions=38430, wrong=16959, backtracks=11365, failedAssignments=11768, nogoods=1247, foundSolutions=23, bestBound=187
10.73/6.75
10.73/6.77 num=194, depth=20..30, filters=2160710, revisions=(2897414,useless=1186045), ccks=5860659, wck=4.283, mem=82M91
10.73/6.77 decisions=38713, wrong=17090, backtracks=11455, failedAssignments=11866, nogoods=1251, foundSolutions=23, bestBound=187
10.73/6.77
10.83/6.81 num=195, depth=18..30, filters=2182225, revisions=(2926782,useless=1198742), ccks=5909206, wck=4.321, mem=84M733
10.83/6.81 decisions=39054, wrong=17251, backtracks=11586, failedAssignments=11974, nogoods=1255, foundSolutions=23, bestBound=187
10.83/6.81
10.83/6.85 num=196, depth=19..29, filters=2205228, revisions=(2956594,useless=1209645), ccks=5968236, wck=4.36, mem=84M733
10.83/6.85 decisions=39415, wrong=17420, backtracks=11692, failedAssignments=12093, nogoods=1263, foundSolutions=23, bestBound=187
10.83/6.85
10.83/6.89 num=197, depth=18..28, filters=2232498, revisions=(2994162,useless=1225402), ccks=6028743, wck=4.406, mem=84M733
10.83/6.89 decisions=39828, wrong=17616, backtracks=11810, failedAssignments=12224, nogoods=1279, foundSolutions=23, bestBound=187
10.83/6.89
10.93/6.92 num=198, depth=20..29, filters=2247586, revisions=(3016288,useless=1234968), ccks=6062008, wck=4.435, mem=84M733
10.93/6.92 decisions=40256, wrong=17818, backtracks=11947, failedAssignments=12368, nogoods=1289, foundSolutions=23, bestBound=187
10.93/6.92
10.93/6.97 num=199, depth=20..28, filters=2275095, revisions=(3050900,useless=1247656), ccks=6134154, wck=4.482, mem=84M733
10.93/6.97 decisions=40736, wrong=18047, backtracks=12096, failedAssignments=12526, nogoods=1304, foundSolutions=23, bestBound=187
10.93/6.97
11.04/7.02 num=200, depth=20..29, filters=2303272, revisions=(3087579,useless=1261389), ccks=6203068, wck=4.532, mem=84M733
11.04/7.02 decisions=41249, wrong=18293, backtracks=12260, failedAssignments=12700, nogoods=1315, foundSolutions=23, bestBound=187
11.04/7.02
11.04/7.08 num=201, depth=19..28, filters=2338189, revisions=(3133015,useless=1278106), ccks=6283323, wck=4.59, mem=84M733
11.04/7.08 decisions=41804, wrong=18560, backtracks=12427, failedAssignments=12891, nogoods=1323, foundSolutions=23, bestBound=187
11.04/7.08
11.14/7.14 num=202, depth=18..29, filters=2376275, revisions=(3183581,useless=1297541), ccks=6378250, wck=4.656, mem=84M733
11.14/7.14 decisions=42434, wrong=18865, backtracks=12612, failedAssignments=13102, nogoods=1327, foundSolutions=23, bestBound=187
11.14/7.14
11.23/7.21 num=203, depth=19..31, filters=2417563, revisions=(3236411,useless=1317474), ccks=6480918, wck=4.726, mem=84M733
11.23/7.21 decisions=43123, wrong=19198, backtracks=12862, failedAssignments=13334, nogoods=1338, foundSolutions=23, bestBound=187
11.23/7.21
11.23/7.29 num=204, depth=19..29, filters=2461102, revisions=(3292007,useless=1337706), ccks=6594560, wck=4.802, mem=84M733
11.23/7.29 decisions=43892, wrong=19572, backtracks=13113, failedAssignments=13589, nogoods=1349, foundSolutions=23, bestBound=187
11.23/7.29
11.33/7.35 num=205, depth=18..29, filters=2498216, revisions=(3342746,useless=1359384), ccks=6705805, wck=4.868, mem=84M733
11.33/7.35 decisions=44750, wrong=19991, backtracks=13433, failedAssignments=13870, nogoods=1358, foundSolutions=23, bestBound=187
11.33/7.35
11.43/7.44 num=206, depth=17..28, filters=2543033, revisions=(3406515,useless=1388965), ccks=6860021, wck=4.952, mem=84M733
11.43/7.44 decisions=45815, wrong=20513, backtracks=13885, failedAssignments=14179, nogoods=1368, foundSolutions=23, bestBound=187
11.43/7.44
11.53/7.54 num=207, depth=18..28, filters=2604095, revisions=(3484482,useless=1418725), ccks=7004645, wck=5.053, mem=84M733
11.53/7.54 decisions=46802, wrong=20995, backtracks=14226, failedAssignments=14519, nogoods=1376, foundSolutions=23, bestBound=187
11.53/7.54
11.63/7.64 num=208, depth=19..30, filters=2664378, revisions=(3559547,useless=1446041), ccks=7167697, wck=5.156, mem=84M733
11.63/7.64 decisions=47945, wrong=21555, backtracks=14617, failedAssignments=14893, nogoods=1382, foundSolutions=23, bestBound=187
11.63/7.64
11.73/7.75 num=209, depth=18..28, filters=2729903, revisions=(3644090,useless=1476578), ccks=7329003, wck=5.266, mem=84M733
11.73/7.75 decisions=49185, wrong=22165, backtracks=14982, failedAssignments=15304, nogoods=1384, foundSolutions=23, bestBound=187
11.73/7.75
11.84/7.89 num=210, depth=19..29, filters=2813322, revisions=(3745168,useless=1512495), ccks=7550952, wck=5.404, mem=84M733
11.84/7.89 decisions=50561, wrong=22842, backtracks=15450, failedAssignments=15756, nogoods=1390, foundSolutions=23, bestBound=187
11.84/7.89
12.05/8.03 o 179
12.05/8.03 num=211, depth=19..555, filters=2897563, revisions=(3849537,useless=1550781), ccks=7766300, wck=5.548, mem=84M733
12.05/8.03 decisions=51954, wrong=23528, backtracks=15982, failedAssignments=16221, nogoods=1402, foundSolutions=24, bestBound=179
12.05/8.03
12.24/8.22 num=212, depth=19..31, filters=3002653, revisions=(3976899,useless=1595516), ccks=8042506, wck=5.73, mem=84M733
12.24/8.22 decisions=53595, wrong=24338, backtracks=16582, failedAssignments=16768, nogoods=1412, foundSolutions=24, bestBound=179
12.24/8.22
12.24/8.22 num=213, depth=21..26, filters=3004595, revisions=(3980237,useless=1597308), ccks=8050076, wck=5.735, mem=84M733
12.24/8.22 decisions=53643, wrong=24351, backtracks=16589, failedAssignments=16779, nogoods=1417, foundSolutions=24, bestBound=179
12.24/8.22
12.24/8.23 num=214, depth=22..27, filters=3006628, revisions=(3983891,useless=1599261), ccks=8056703, wck=5.74, mem=84M733
12.24/8.23 decisions=53696, wrong=24366, backtracks=16602, failedAssignments=16791, nogoods=1421, foundSolutions=24, bestBound=179
12.24/8.23
12.24/8.23 num=215, depth=20..28, filters=3008377, revisions=(3987148,useless=1601208), ccks=8062282, wck=5.744, mem=84M733
12.24/8.23 decisions=53752, wrong=24383, backtracks=16613, failedAssignments=16804, nogoods=1427, foundSolutions=24, bestBound=179
12.24/8.23
12.24/8.24 num=216, depth=21..25, filters=3011249, revisions=(3991781,useless=1603527), ccks=8069090, wck=5.75, mem=84M733
12.24/8.24 decisions=53811, wrong=24401, backtracks=16623, failedAssignments=16818, nogoods=1435, foundSolutions=24, bestBound=179
12.24/8.24
12.24/8.24 num=217, depth=21..28, filters=3014661, revisions=(3996878,useless=1605859), ccks=8077972, wck=5.757, mem=84M733
12.24/8.24 decisions=53875, wrong=24422, backtracks=16638, failedAssignments=16834, nogoods=1440, foundSolutions=24, bestBound=179
12.24/8.24
12.24/8.25 num=218, depth=21..26, filters=3018835, revisions=(4003154,useless=1608735), ccks=8089976, wck=5.766, mem=84M733
12.24/8.25 decisions=53940, wrong=24444, backtracks=16657, failedAssignments=16851, nogoods=1447, foundSolutions=24, bestBound=179
12.24/8.25
12.24/8.26 num=219, depth=21..28, filters=3022523, revisions=(4008801,useless=1611336), ccks=8100081, wck=5.773, mem=84M733
12.24/8.26 decisions=54012, wrong=24469, backtracks=16675, failedAssignments=16870, nogoods=1454, foundSolutions=24, bestBound=179
12.24/8.26
12.24/8.27 num=220, depth=20..25, filters=3026957, revisions=(4015351,useless=1614247), ccks=8112605, wck=5.782, mem=84M733
12.24/8.27 decisions=54098, wrong=24501, backtracks=16693, failedAssignments=16891, nogoods=1456, foundSolutions=24, bestBound=179
12.24/8.27
12.24/8.28 num=221, depth=20..25, filters=3032841, revisions=(4023698,useless=1617784), ccks=8128170, wck=5.793, mem=84M733
12.24/8.28 decisions=54182, wrong=24532, backtracks=16715, failedAssignments=16914, nogoods=1460, foundSolutions=24, bestBound=179
12.24/8.28
12.24/8.29 num=222, depth=20..27, filters=3038793, revisions=(4032191,useless=1621398), ccks=8142884, wck=5.805, mem=84M733
12.24/8.29 decisions=54273, wrong=24567, backtracks=16742, failedAssignments=16939, nogoods=1466, foundSolutions=24, bestBound=179
12.24/8.29
12.34/8.30 num=223, depth=20..25, filters=3044316, revisions=(4040474,useless=1624982), ccks=8156273, wck=5.815, mem=84M733
12.34/8.30 decisions=54376, wrong=24608, backtracks=16766, failedAssignments=16967, nogoods=1475, foundSolutions=24, bestBound=179
12.34/8.30
12.34/8.31 num=224, depth=21..25, filters=3049901, revisions=(4048734,useless=1628497), ccks=8169403, wck=5.825, mem=84M733
12.34/8.31 decisions=54481, wrong=24650, backtracks=16791, failedAssignments=16998, nogoods=1486, foundSolutions=24, bestBound=179
12.34/8.31
12.34/8.32 num=225, depth=21..26, filters=3055337, revisions=(4056754,useless=1631904), ccks=8182767, wck=5.835, mem=84M733
12.34/8.32 decisions=54593, wrong=24695, backtracks=16814, failedAssignments=17032, nogoods=1498, foundSolutions=24, bestBound=179
12.34/8.32
12.34/8.34 num=226, depth=20..27, filters=3062921, revisions=(4067193,useless=1636264), ccks=8205430, wck=5.85, mem=84M733
12.34/8.34 decisions=54714, wrong=24745, backtracks=16854, failedAssignments=17069, nogoods=1501, foundSolutions=24, bestBound=179
12.34/8.34
12.34/8.35 num=227, depth=20..29, filters=3068037, revisions=(4075098,useless=1640093), ccks=8217805, wck=5.86, mem=84M733
12.34/8.35 decisions=54842, wrong=24798, backtracks=16893, failedAssignments=17110, nogoods=1506, foundSolutions=24, bestBound=179
12.34/8.35
12.34/8.36 num=228, depth=20..27, filters=3077755, revisions=(4088354,useless=1645345), ccks=8244099, wck=5.878, mem=84M733
12.34/8.36 decisions=54991, wrong=24862, backtracks=16939, failedAssignments=17155, nogoods=1511, foundSolutions=24, bestBound=179
12.34/8.36
12.34/8.38 num=229, depth=20..27, filters=3086631, revisions=(4100521,useless=1650241), ccks=8263235, wck=5.893, mem=84M733
12.34/8.38 decisions=55153, wrong=24932, backtracks=16980, failedAssignments=17205, nogoods=1514, foundSolutions=24, bestBound=179
12.34/8.38
12.45/8.40 num=230, depth=20..28, filters=3097331, revisions=(4114890,useless=1655932), ccks=8292045, wck=5.913, mem=84M733
12.45/8.40 decisions=55324, wrong=25007, backtracks=17038, failedAssignments=17260, nogoods=1522, foundSolutions=24, bestBound=179
12.45/8.40
12.45/8.42 num=231, depth=19..26, filters=3109802, revisions=(4131994,useless=1662584), ccks=8322336, wck=5.936, mem=84M733
12.45/8.42 decisions=55518, wrong=25093, backtracks=17094, failedAssignments=17321, nogoods=1526, foundSolutions=24, bestBound=179
12.45/8.42
12.45/8.45 num=232, depth=20..27, filters=3123895, revisions=(4150671,useless=1669717), ccks=8355157, wck=5.96, mem=84M733
12.45/8.45 decisions=55725, wrong=25186, backtracks=17156, failedAssignments=17388, nogoods=1530, foundSolutions=24, bestBound=179
12.45/8.45
12.45/8.47 num=233, depth=17..29, filters=3132806, revisions=(4164335,useless=1677080), ccks=8386857, wck=5.979, mem=84M733
12.45/8.47 decisions=55954, wrong=25290, backtracks=17254, failedAssignments=17462, nogoods=1536, foundSolutions=24, bestBound=179
12.45/8.47
12.45/8.49 num=234, depth=20..27, filters=3148048, revisions=(4184348,useless=1684741), ccks=8426528, wck=6.007, mem=84M733
12.45/8.49 decisions=56201, wrong=25403, backtracks=17329, failedAssignments=17543, nogoods=1542, foundSolutions=24, bestBound=179
12.45/8.49
12.55/8.53 num=235, depth=19..28, filters=3165648, revisions=(4207986,useless=1694015), ccks=8472665, wck=6.039, mem=84M733
12.55/8.53 decisions=56477, wrong=25531, backtracks=17414, failedAssignments=17632, nogoods=1545, foundSolutions=24, bestBound=179
12.55/8.53
12.55/8.56 num=236, depth=20..28, filters=3185240, revisions=(4232873,useless=1703444), ccks=8523245, wck=6.074, mem=84M733
12.55/8.56 decisions=56768, wrong=25666, backtracks=17515, failedAssignments=17730, nogoods=1559, foundSolutions=24, bestBound=179
12.55/8.56
12.55/8.59 num=237, depth=19..28, filters=3202617, revisions=(4256412,useless=1712859), ccks=8567533, wck=6.106, mem=84M733
12.55/8.59 decisions=57095, wrong=25819, backtracks=17614, failedAssignments=17838, nogoods=1571, foundSolutions=24, bestBound=179
12.55/8.59
12.65/8.62 num=238, depth=18..29, filters=3216627, revisions=(4277515,useless=1723138), ccks=8613467, wck=6.134, mem=84M733
12.65/8.62 decisions=57459, wrong=25990, backtracks=17765, failedAssignments=17957, nogoods=1575, foundSolutions=24, bestBound=179
12.65/8.62
12.65/8.65 num=239, depth=20..27, filters=3235064, revisions=(4302501,useless=1732813), ccks=8658999, wck=6.168, mem=84M733
12.65/8.65 decisions=57846, wrong=26173, backtracks=17880, failedAssignments=18088, nogoods=1579, foundSolutions=24, bestBound=179
12.65/8.65
12.65/8.69 num=240, depth=18..29, filters=3253410, revisions=(4329034,useless=1745176), ccks=8721675, wck=6.204, mem=84M733
12.65/8.69 decisions=58278, wrong=26379, backtracks=18057, failedAssignments=18232, nogoods=1593, foundSolutions=24, bestBound=179
12.65/8.69
12.75/8.74 num=241, depth=19..28, filters=3283652, revisions=(4369287,useless=1760983), ccks=8786514, wck=6.255, mem=84M733
12.75/8.74 decisions=58749, wrong=26604, backtracks=18205, failedAssignments=18390, nogoods=1602, foundSolutions=24, bestBound=179
12.75/8.74
12.75/8.79 num=242, depth=20..28, filters=3311793, revisions=(4405146,useless=1774293), ccks=8862085, wck=6.306, mem=84M733
12.75/8.79 decisions=59268, wrong=26852, backtracks=18384, failedAssignments=18564, nogoods=1610, foundSolutions=24, bestBound=179
12.75/8.79
12.85/8.86 num=243, depth=19..27, filters=3350962, revisions=(4455189,useless=1792582), ccks=8956002, wck=6.373, mem=84M733
12.85/8.86 decisions=59848, wrong=27132, backtracks=18572, failedAssignments=18755, nogoods=1618, foundSolutions=24, bestBound=179
12.85/8.86
12.96/8.94 num=244, depth=19..28, filters=3394014, revisions=(4507790,useless=1812278), ccks=9063132, wck=6.449, mem=84M733
12.96/8.94 decisions=60496, wrong=27446, backtracks=18804, failedAssignments=18966, nogoods=1626, foundSolutions=24, bestBound=179
12.96/8.94
13.06/9.01 num=245, depth=19..27, filters=3433988, revisions=(4559315,useless=1831296), ccks=9164229, wck=6.521, mem=84M733
13.06/9.01 decisions=61193, wrong=27784, backtracks=19033, failedAssignments=19198, nogoods=1631, foundSolutions=24, bestBound=179
13.06/9.01
13.06/9.07 num=246, depth=19..29, filters=3467527, revisions=(4605760,useless=1851253), ccks=9268105, wck=6.584, mem=84M733
13.06/9.07 decisions=61939, wrong=28146, backtracks=19317, failedAssignments=19453, nogoods=1635, foundSolutions=24, bestBound=179
13.06/9.07
13.17/9.17 num=247, depth=19..31, filters=3525486, revisions=(4676671,useless=1878105), ccks=9404546, wck=6.679, mem=84M733
13.17/9.17 decisions=62807, wrong=28569, backtracks=19614, failedAssignments=19734, nogoods=1641, foundSolutions=24, bestBound=179
13.17/9.17
13.26/9.25 num=248, depth=19..29, filters=3571274, revisions=(4737079,useless=1901983), ccks=9535019, wck=6.764, mem=84M733
13.26/9.25 decisions=63704, wrong=29006, backtracks=19939, failedAssignments=20043, nogoods=1649, foundSolutions=24, bestBound=179
13.26/9.25
13.36/9.37 num=249, depth=19..30, filters=3637296, revisions=(4817442,useless=1931700), ccks=9698880, wck=6.879, mem=84M733
13.36/9.37 decisions=64715, wrong=29500, backtracks=20323, failedAssignments=20383, nogoods=1653, foundSolutions=24, bestBound=179
13.36/9.37
13.46/9.49 num=250, depth=18..28, filters=3713877, revisions=(4913771,useless=1966858), ccks=9868176, wck=7.005, mem=84M733
13.46/9.49 decisions=65842, wrong=30053, backtracks=20686, failedAssignments=20757, nogoods=1673, foundSolutions=24, bestBound=179
13.46/9.49
13.67/9.60 num=251, depth=19..29, filters=3775497, revisions=(4994212,useless=1996777), ccks=10023480, wck=7.112, mem=84M733
13.67/9.60 decisions=67048, wrong=30646, backtracks=21073, failedAssignments=21168, nogoods=1686, foundSolutions=24, bestBound=179
13.67/9.60
13.77/9.75 num=252, depth=19..28, filters=3863843, revisions=(5101702,useless=2035378), ccks=10252053, wck=7.266, mem=84M733
13.77/9.75 decisions=68424, wrong=31324, backtracks=21585, failedAssignments=21620, nogoods=1694, foundSolutions=24, bestBound=179
13.77/9.75
13.87/9.89 num=253, depth=18..28, filters=3943120, revisions=(5206735,useless=2075324), ccks=10449924, wck=7.4, mem=84M733
13.87/9.89 decisions=69883, wrong=32044, backtracks=22038, failedAssignments=22117, nogoods=1701, foundSolutions=24, bestBound=179
13.87/9.89
13.98/9.98 o 175
13.98/9.98 num=254, depth=19..555, filters=3999386, revisions=(5277215,useless=2100848), ccks=10580935, wck=7.497, mem=87M376
13.98/9.98 decisions=70720, wrong=32452, backtracks=22325, failedAssignments=22388, nogoods=1709, foundSolutions=25, bestBound=175
13.98/9.98
14.20/10.17 num=255, depth=19..29, filters=4100721, revisions=(5403041,useless=2146781), ccks=10855925, wck=7.68, mem=87M376
14.20/10.17 decisions=72529, wrong=33346, backtracks=22968, failedAssignments=22990, nogoods=1715, foundSolutions=25, bestBound=175
14.20/10.17
14.20/10.17 num=256, depth=22..28, filters=4102628, revisions=(5406336,useless=2148582), ccks=10861679, wck=7.685, mem=87M376
14.20/10.17 decisions=72577, wrong=33358, backtracks=22972, failedAssignments=23001, nogoods=1722, foundSolutions=25, bestBound=175
14.20/10.17
14.20/10.18 num=257, depth=21..29, filters=4104385, revisions=(5409710,useless=2150588), ccks=10866912, wck=7.689, mem=87M376
14.20/10.18 decisions=72632, wrong=33375, backtracks=22988, failedAssignments=23013, nogoods=1725, foundSolutions=25, bestBound=175
14.20/10.18
14.20/10.18 num=258, depth=22..27, filters=4106787, revisions=(5413546,useless=2152484), ccks=10872912, wck=7.694, mem=87M376
14.20/10.18 decisions=72690, wrong=33392, backtracks=22996, failedAssignments=23026, nogoods=1731, foundSolutions=25, bestBound=175
14.20/10.18
14.20/10.19 num=259, depth=22..28, filters=4109369, revisions=(5417778,useless=2154586), ccks=10879587, wck=7.699, mem=87M376
14.20/10.19 decisions=72748, wrong=33410, backtracks=23007, failedAssignments=23040, nogoods=1736, foundSolutions=25, bestBound=175
14.20/10.19
14.20/10.19 num=260, depth=22..29, filters=4111904, revisions=(5421919,useless=2156683), ccks=10887072, wck=7.704, mem=87M376
14.20/10.19 decisions=72812, wrong=33430, backtracks=23020, failedAssignments=23056, nogoods=1743, foundSolutions=25, bestBound=175
14.20/10.19
14.29/10.20 num=261, depth=21..24, filters=4115771, revisions=(5427641,useless=2159237), ccks=10896507, wck=7.712, mem=87M376
14.29/10.20 decisions=72882, wrong=33454, backtracks=23032, failedAssignments=23073, nogoods=1750, foundSolutions=25, bestBound=175
14.29/10.20
14.29/10.21 num=262, depth=21..26, filters=4119738, revisions=(5433515,useless=2161820), ccks=10908127, wck=7.72, mem=87M376
14.29/10.21 decisions=72960, wrong=33482, backtracks=23049, failedAssignments=23092, nogoods=1757, foundSolutions=25, bestBound=175
14.29/10.21
14.29/10.21 num=263, depth=22..25, filters=4123162, revisions=(5438753,useless=2164231), ccks=10917012, wck=7.727, mem=87M376
14.29/10.21 decisions=73040, wrong=33511, backtracks=23063, failedAssignments=23113, nogoods=1767, foundSolutions=25, bestBound=175
14.29/10.21
14.29/10.22 num=264, depth=21..26, filters=4128125, revisions=(5445994,useless=2167323), ccks=10928019, wck=7.736, mem=87M376
14.29/10.22 decisions=73127, wrong=33543, backtracks=23080, failedAssignments=23136, nogoods=1780, foundSolutions=25, bestBound=175
14.29/10.22
14.29/10.23 num=265, depth=21..28, filters=4131589, revisions=(5451648,useless=2170145), ccks=10936132, wck=7.743, mem=87M376
14.29/10.23 decisions=73218, wrong=33578, backtracks=23104, failedAssignments=23161, nogoods=1787, foundSolutions=25, bestBound=175
14.29/10.23
14.29/10.24 num=266, depth=20..27, filters=4136832, revisions=(5459463,useless=2173668), ccks=10950199, wck=7.754, mem=87M376
14.29/10.24 decisions=73310, wrong=33613, backtracks=23127, failedAssignments=23189, nogoods=1793, foundSolutions=25, bestBound=175
14.29/10.24
14.29/10.25 num=267, depth=20..27, filters=4142799, revisions=(5468212,useless=2177564), ccks=10963868, wck=7.765, mem=87M376
14.29/10.25 decisions=73409, wrong=33652, backtracks=23155, failedAssignments=23220, nogoods=1800, foundSolutions=25, bestBound=175
14.29/10.25
14.29/10.27 num=268, depth=19..30, filters=4154569, revisions=(5482642,useless=2183702), ccks=10985191, wck=7.787, mem=87M376
14.29/10.27 decisions=73525, wrong=33699, backtracks=23197, failedAssignments=23254, nogoods=1805, foundSolutions=25, bestBound=175
14.29/10.27
14.29/10.29 num=269, depth=20..26, filters=4161915, revisions=(5493146,useless=2188093), ccks=11002408, wck=7.8, mem=87M376
14.29/10.29 decisions=73647, wrong=33749, backtracks=23229, failedAssignments=23291, nogoods=1810, foundSolutions=25, bestBound=175
14.29/10.29
14.39/10.30 num=270, depth=21..27, filters=4168795, revisions=(5503312,useless=2192292), ccks=11017194, wck=7.811, mem=87M376
14.39/10.30 decisions=73776, wrong=33803, backtracks=23254, failedAssignments=23332, nogoods=1824, foundSolutions=25, bestBound=175
14.39/10.30
14.39/10.32 num=271, depth=19..30, filters=4182029, revisions=(5519665,useless=2198732), ccks=11045624, wck=7.837, mem=87M376
14.39/10.32 decisions=73921, wrong=33865, backtracks=23307, failedAssignments=23377, nogoods=1831, foundSolutions=25, bestBound=175
14.39/10.32
14.39/10.34 num=272, depth=20..26, filters=4193888, revisions=(5535273,useless=2204844), ccks=11073302, wck=7.858, mem=87M376
14.39/10.34 decisions=74081, wrong=33934, backtracks=23355, failedAssignments=23427, nogoods=1837, foundSolutions=25, bestBound=175
14.39/10.34
14.39/10.36 num=273, depth=20..28, filters=4204576, revisions=(5550280,useless=2211320), ccks=11097454, wck=7.878, mem=87M376
14.39/10.36 decisions=74251, wrong=34008, backtracks=23412, failedAssignments=23482, nogoods=1845, foundSolutions=25, bestBound=175
14.39/10.36
14.39/10.39 num=274, depth=19..27, filters=4216806, revisions=(5567243,useless=2218435), ccks=11128127, wck=7.901, mem=87M376
14.39/10.39 decisions=74435, wrong=34089, backtracks=23479, failedAssignments=23543, nogoods=1848, foundSolutions=25, bestBound=175
14.39/10.39
14.49/10.41 num=275, depth=20..27, filters=4228649, revisions=(5583691,useless=2225161), ccks=11154637, wck=7.922, mem=87M376
14.49/10.41 decisions=74633, wrong=34177, backtracks=23536, failedAssignments=23610, nogoods=1860, foundSolutions=25, bestBound=175
14.49/10.41
14.49/10.43 num=276, depth=20..29, filters=4238585, revisions=(5598529,useless=2232124), ccks=11181742, wck=7.941, mem=87M376
14.49/10.43 decisions=74854, wrong=34277, backtracks=23614, failedAssignments=23684, nogoods=1871, foundSolutions=25, bestBound=175
14.49/10.43
14.49/10.46 num=277, depth=19..27, filters=4255667, revisions=(5621290,useless=2240958), ccks=11218482, wck=7.971, mem=87M376
14.49/10.46 decisions=75097, wrong=34388, backtracks=23685, failedAssignments=23765, nogoods=1877, foundSolutions=25, bestBound=175
14.49/10.46
14.49/10.49 num=278, depth=19..26, filters=4271861, revisions=(5642816,useless=2249184), ccks=11257937, wck=7.999, mem=87M376
14.49/10.49 decisions=75365, wrong=34511, backtracks=23759, failedAssignments=23854, nogoods=1884, foundSolutions=25, bestBound=175
14.49/10.49
14.59/10.52 num=279, depth=19..27, filters=4290272, revisions=(5667830,useless=2258867), ccks=11301716, wck=8.033, mem=87M376
14.59/10.52 decisions=75658, wrong=34647, backtracks=23849, failedAssignments=23952, nogoods=1891, foundSolutions=25, bestBound=175
14.59/10.52
14.59/10.56 num=280, depth=19..27, filters=4311337, revisions=(5695573,useless=2269556), ccks=11353795, wck=8.07, mem=87M376
14.59/10.56 decisions=75980, wrong=34797, backtracks=23957, failedAssignments=24060, nogoods=1898, foundSolutions=25, bestBound=175
14.59/10.56
14.69/10.62 num=281, depth=17..30, filters=4348170, revisions=(5740038,useless=2287117), ccks=11424786, wck=8.134, mem=87M376
14.69/10.62 decisions=76407, wrong=35001, backtracks=24121, failedAssignments=24179, nogoods=1901, foundSolutions=25, bestBound=175
14.69/10.62
14.69/10.67 num=282, depth=19..27, filters=4375007, revisions=(5774065,useless=2299575), ccks=11493714, wck=8.184, mem=87M376
14.69/10.67 decisions=76830, wrong=35202, backtracks=24269, failedAssignments=24310, nogoods=1909, foundSolutions=25, bestBound=175
14.69/10.67
14.79/10.71 num=283, depth=20..27, filters=4398184, revisions=(5804704,useless=2311055), ccks=11549020, wck=8.226, mem=87M376
14.79/10.71 decisions=77267, wrong=35410, backtracks=24398, failedAssignments=24454, nogoods=1918, foundSolutions=25, bestBound=175
14.79/10.71
14.79/10.78 num=284, depth=19..30, filters=4433620, revisions=(5850312,useless=2329265), ccks=11632637, wck=8.289, mem=87M376
14.79/10.78 decisions=77765, wrong=35648, backtracks=24595, failedAssignments=24612, nogoods=1927, foundSolutions=25, bestBound=175
14.79/10.78
14.90/10.84 num=285, depth=19..26, filters=4469275, revisions=(5896862,useless=2346689), ccks=11721755, wck=8.352, mem=87M376
14.90/10.84 decisions=78298, wrong=35905, backtracks=24772, failedAssignments=24786, nogoods=1933, foundSolutions=25, bestBound=175
14.90/10.84
15.00/10.90 num=286, depth=20..28, filters=4506013, revisions=(5942914,useless=2363664), ccks=11819235, wck=8.417, mem=87M376
15.00/10.90 decisions=78888, wrong=36189, backtracks=24979, failedAssignments=24977, nogoods=1941, foundSolutions=25, bestBound=175
15.00/10.90
15.00/10.97 num=287, depth=19..27, filters=4544247, revisions=(5991312,useless=2381926), ccks=11922100, wck=8.485, mem=87M376
15.00/10.97 decisions=79549, wrong=36510, backtracks=25210, failedAssignments=25188, nogoods=1942, foundSolutions=25, bestBound=175
15.00/10.97
15.11/11.04 num=288, depth=18..28, filters=4582512, revisions=(6046644,useless=2404860), ccks=12005974, wck=8.551, mem=87M376
15.11/11.04 decisions=80251, wrong=36851, backtracks=25410, failedAssignments=25420, nogoods=1962, foundSolutions=25, bestBound=175
15.11/11.04
15.27/11.12 num=289, depth=19..28, filters=4629293, revisions=(6105659,useless=2427326), ccks=12129360, wck=8.634, mem=87M376
15.27/11.12 decisions=81021, wrong=37225, backtracks=25679, failedAssignments=25675, nogoods=1970, foundSolutions=25, bestBound=175
15.27/11.12
15.36/11.21 num=290, depth=19..30, filters=4684232, revisions=(6175110,useless=2453877), ccks=12264915, wck=8.726, mem=87M376
15.36/11.21 decisions=81869, wrong=37638, backtracks=25991, failedAssignments=25956, nogoods=1984, foundSolutions=25, bestBound=175
15.36/11.21
15.46/11.31 num=291, depth=19..29, filters=4736774, revisions=(6240556,useless=2477451), ccks=12406540, wck=8.823, mem=87M376
15.46/11.31 decisions=82771, wrong=38078, backtracks=26300, failedAssignments=26265, nogoods=1990, foundSolutions=25, bestBound=175
15.46/11.31
15.56/11.42 num=292, depth=20..30, filters=4795624, revisions=(6315575,useless=2506526), ccks=12573880, wck=8.928, mem=87M376
15.56/11.42 decisions=83846, wrong=38604, backtracks=26718, failedAssignments=26605, nogoods=2000, foundSolutions=25, bestBound=175
15.56/11.42
15.66/11.54 num=293, depth=18..28, filters=4871291, revisions=(6410516,useless=2541200), ccks=12752151, wck=9.058, mem=87M376
15.66/11.54 decisions=84968, wrong=39155, backtracks=27098, failedAssignments=26979, nogoods=2004, foundSolutions=25, bestBound=175
15.66/11.54
15.76/11.69 num=294, depth=18..30, filters=4955057, revisions=(6513689,useless=2578018), ccks=12953701, wck=9.201, mem=87M376
15.76/11.69 decisions=86183, wrong=39752, backtracks=27533, failedAssignments=27390, nogoods=2008, foundSolutions=25, bestBound=175
15.76/11.69
15.96/11.83 num=295, depth=18..28, filters=5035566, revisions=(6613304,useless=2613506), ccks=13157854, wck=9.343, mem=87M376
15.96/11.83 decisions=87525, wrong=40412, backtracks=27993, failedAssignments=27842, nogoods=2013, foundSolutions=25, bestBound=175
15.96/11.83
16.07/12.01 num=296, depth=18..28, filters=5137539, revisions=(6738362,useless=2657731), ccks=13415421, wck=9.519, mem=87M376
16.07/12.01 decisions=89008, wrong=41143, backtracks=28519, failedAssignments=28339, nogoods=2017, foundSolutions=25, bestBound=175
16.07/12.01
16.28/12.18 num=297, depth=18..29, filters=5238669, revisions=(6865178,useless=2703587), ccks=13664026, wck=9.691, mem=87M376
16.28/12.18 decisions=90644, wrong=41951, backtracks=29075, failedAssignments=28886, nogoods=2032, foundSolutions=25, bestBound=175
16.28/12.18
16.47/12.37 num=298, depth=18..28, filters=5350891, revisions=(7003245,useless=2752231), ccks=13934035, wck=9.881, mem=87M376
16.47/12.37 decisions=92426, wrong=42832, backtracks=29676, failedAssignments=29488, nogoods=2046, foundSolutions=25, bestBound=175
16.47/12.37
16.67/12.59 num=299, depth=18..29, filters=5480786, revisions=(7164369,useless=2809894), ccks=14270938, wck=10.103, mem=87M376
16.67/12.59 decisions=94437, wrong=43827, backtracks=30394, failedAssignments=30150, nogoods=2055, foundSolutions=25, bestBound=175
16.67/12.59
16.97/12.86 num=300, depth=17..30, filters=5636904, revisions=(7359846,useless=2886263), ccks=14647274, wck=10.37, mem=87M376
16.97/12.86 decisions=96733, wrong=44965, backtracks=31311, failedAssignments=30878, nogoods=2060, foundSolutions=25, bestBound=175
16.97/12.86
17.18/13.11 num=301, depth=18..29, filters=5783269, revisions=(7541328,useless=2950588), ccks=15020901, wck=10.619, mem=87M376
17.18/13.11 decisions=99159, wrong=46168, backtracks=32117, failedAssignments=31679, nogoods=2070, foundSolutions=25, bestBound=175
17.18/13.11
17.47/13.37 num=302, depth=17..28, filters=5942403, revisions=(7739880,useless=3022904), ccks=15399248, wck=10.884, mem=87M376
17.47/13.37 decisions=101796, wrong=47476, backtracks=32986, failedAssignments=32560, nogoods=2074, foundSolutions=25, bestBound=175
17.47/13.37
17.77/13.66 num=303, depth=18..28, filters=6108669, revisions=(7943202,useless=3095624), ccks=15828646, wck=11.171, mem=87M376
17.77/13.66 decisions=104692, wrong=48913, backtracks=34007, failedAssignments=33530, nogoods=2085, foundSolutions=25, bestBound=175
17.77/13.66
18.07/13.99 num=304, depth=17..29, filters=6302459, revisions=(8181300,useless=3181543), ccks=16327103, wck=11.503, mem=87M376
18.07/13.99 decisions=107894, wrong=50504, backtracks=35132, failedAssignments=34597, nogoods=2087, foundSolutions=25, bestBound=175
18.07/13.99
18.47/14.35 num=305, depth=18..30, filters=6514872, revisions=(8444219,useless=3277392), ccks=16865470, wck=11.866, mem=87M376
18.47/14.35 decisions=111443, wrong=52268, backtracks=36407, failedAssignments=35770, nogoods=2100, foundSolutions=25, bestBound=175
18.47/14.35
18.77/14.69 num=306, depth=17..31, filters=6699640, revisions=(8689374,useless=3380421), ccks=17425018, wck=12.205, mem=87M376
18.77/14.69 decisions=115381, wrong=54227, backtracks=38053, failedAssignments=37061, nogoods=2107, foundSolutions=25, bestBound=175
18.77/14.69
19.28/15.13 num=307, depth=17..29, filters=6957013, revisions=(9010795,useless=3500086), ccks=18045207, wck=12.639, mem=87M376
19.28/15.13 decisions=119544, wrong=56299, backtracks=39413, failedAssignments=38481, nogoods=2117, foundSolutions=25, bestBound=175
19.28/15.13
19.37/15.23 o 167
19.37/15.23 num=308, depth=20..555, filters=7018758, revisions=(9086775,useless=3527683), ccks=18202922, wck=12.746, mem=90M23
19.37/15.23 decisions=120864, wrong=56948, backtracks=39827, failedAssignments=38907, nogoods=2129, foundSolutions=26, bestBound=167
19.37/15.23
19.87/15.74 num=309, depth=18..30, filters=7312899, revisions=(9453642,useless=3665763), ccks=18948240, wck=13.257, mem=90M23
19.87/15.74 decisions=126414, wrong=59712, backtracks=41878, failedAssignments=40625, nogoods=2136, foundSolutions=26, bestBound=167
19.87/15.74
19.87/15.75 num=310, depth=20..27, filters=7316759, revisions=(9459193,useless=3668443), ccks=18956890, wck=13.265, mem=90M23
19.87/15.75 decisions=126469, wrong=59729, backtracks=41889, failedAssignments=40636, nogoods=2142, foundSolutions=26, bestBound=167
19.87/15.75
19.87/15.75 num=311, depth=20..29, filters=7318133, revisions=(9461973,useless=3670177), ccks=18961116, wck=13.268, mem=90M23
19.87/15.75 decisions=126522, wrong=59744, backtracks=41895, failedAssignments=40648, nogoods=2151, foundSolutions=26, bestBound=167
19.87/15.75
19.87/15.76 num=312, depth=19..27, filters=7320742, revisions=(9466219,useless=3672456), ccks=18967256, wck=13.274, mem=90M23
19.87/15.76 decisions=126581, wrong=59763, backtracks=41908, failedAssignments=40661, nogoods=2154, foundSolutions=26, bestBound=167
19.87/15.76
19.87/15.77 num=313, depth=20..25, filters=7323978, revisions=(9471170,useless=3674837), ccks=18973887, wck=13.28, mem=90M23
19.87/15.77 decisions=126643, wrong=59783, backtracks=41917, failedAssignments=40675, nogoods=2159, foundSolutions=26, bestBound=167
19.87/15.77
19.87/15.77 num=314, depth=20..25, filters=7326625, revisions=(9475520,useless=3676986), ccks=18979653, wck=13.285, mem=90M23
19.87/15.77 decisions=126707, wrong=59805, backtracks=41928, failedAssignments=40691, nogoods=2160, foundSolutions=26, bestBound=167
19.87/15.77
19.87/15.78 num=315, depth=20..27, filters=7330018, revisions=(9480602,useless=3679417), ccks=18988290, wck=13.292, mem=90M23
19.87/15.78 decisions=126773, wrong=59827, backtracks=41938, failedAssignments=40708, nogoods=2170, foundSolutions=26, bestBound=167
19.87/15.78
19.87/15.79 num=316, depth=20..27, filters=7334387, revisions=(9486765,useless=3682004), ccks=18998525, wck=13.3, mem=90M23
19.87/15.79 decisions=126849, wrong=59854, backtracks=41953, failedAssignments=40727, nogoods=2173, foundSolutions=26, bestBound=167
19.87/15.79
19.97/15.80 num=317, depth=19..27, filters=7340832, revisions=(9496038,useless=3686217), ccks=19010916, wck=13.312, mem=90M23
19.97/15.80 decisions=126940, wrong=59889, backtracks=41981, failedAssignments=40748, nogoods=2180, foundSolutions=26, bestBound=167
19.97/15.80
19.97/15.81 num=318, depth=20..27, filters=7345984, revisions=(9503425,useless=3689423), ccks=19023072, wck=13.322, mem=90M23
19.97/15.81 decisions=127024, wrong=59920, backtracks=41999, failedAssignments=40771, nogoods=2186, foundSolutions=26, bestBound=167
19.97/15.81
19.97/15.82 num=319, depth=21..27, filters=7349970, revisions=(9509419,useless=3692106), ccks=19033327, wck=13.33, mem=90M23
19.97/15.82 decisions=127113, wrong=59953, backtracks=42016, failedAssignments=40796, nogoods=2197, foundSolutions=26, bestBound=167
19.97/15.82
19.97/15.83 num=320, depth=20..25, filters=7354659, revisions=(9516327,useless=3695155), ccks=19045144, wck=13.339, mem=90M23
19.97/15.83 decisions=127215, wrong=59992, backtracks=42038, failedAssignments=40824, nogoods=2209, foundSolutions=26, bestBound=167
19.97/15.83
19.97/15.84 num=321, depth=19..27, filters=7359144, revisions=(9523726,useless=3699001), ccks=19055599, wck=13.349, mem=90M23
19.97/15.84 decisions=127310, wrong=60029, backtracks=42063, failedAssignments=40855, nogoods=2217, foundSolutions=26, bestBound=167
19.97/15.84
19.97/15.85 num=322, depth=19..24, filters=7364432, revisions=(9532138,useless=3702884), ccks=19068278, wck=13.358, mem=90M23
19.97/15.85 decisions=127421, wrong=60074, backtracks=42083, failedAssignments=40889, nogoods=2223, foundSolutions=26, bestBound=167
19.97/15.85
19.97/15.85 num=323, depth=17..29, filters=7368502, revisions=(9539232,useless=3706937), ccks=19081889, wck=13.368, mem=90M23
19.97/15.85 decisions=127541, wrong=60125, backtracks=42130, failedAssignments=40926, nogoods=2228, foundSolutions=26, bestBound=167
19.97/15.85
19.97/15.87 num=324, depth=20..28, filters=7376162, revisions=(9550345,useless=3711469), ccks=19098095, wck=13.382, mem=90M23
19.97/15.87 decisions=127671, wrong=60180, backtracks=42159, failedAssignments=40967, nogoods=2242, foundSolutions=26, bestBound=167
19.97/15.87
19.97/15.88 num=325, depth=19..27, filters=7384565, revisions=(9562203,useless=3716291), ccks=19118546, wck=13.397, mem=90M23
19.97/15.88 decisions=127813, wrong=60241, backtracks=42194, failedAssignments=41012, nogoods=2254, foundSolutions=26, bestBound=167
19.97/15.88
20.10/15.90 num=326, depth=19..26, filters=7394203, revisions=(9575792,useless=3721736), ccks=19139046, wck=13.415, mem=90M23
20.10/15.90 decisions=127976, wrong=60313, backtracks=42229, failedAssignments=41062, nogoods=2256, foundSolutions=26, bestBound=167
20.10/15.90
20.10/15.92 num=327, depth=18..29, filters=7407759, revisions=(9593602,useless=3729156), ccks=19165805, wck=13.438, mem=90M23
20.10/15.92 decisions=128157, wrong=60394, backtracks=42287, failedAssignments=41117, nogoods=2273, foundSolutions=26, bestBound=167
20.10/15.92
20.10/15.95 num=328, depth=19..29, filters=7421991, revisions=(9612341,useless=3736321), ccks=19200820, wck=13.465, mem=90M23
20.10/15.95 decisions=128347, wrong=60478, backtracks=42345, failedAssignments=41178, nogoods=2281, foundSolutions=26, bestBound=167
20.10/15.95
20.10/15.98 num=329, depth=17..28, filters=7436186, revisions=(9630903,useless=3743909), ccks=19229738, wck=13.49, mem=90M23
20.10/15.98 decisions=128575, wrong=60581, backtracks=42408, failedAssignments=41245, nogoods=2298, foundSolutions=26, bestBound=167
20.10/15.98
20.10/16.00 num=330, depth=20..28, filters=7448966, revisions=(9648561,useless=3750653), ccks=19258050, wck=13.512, mem=90M23
20.10/16.00 decisions=128802, wrong=60684, backtracks=42468, failedAssignments=41319, nogoods=2312, foundSolutions=26, bestBound=167
20.10/16.00
20.25/16.05 num=331, depth=16..28, filters=7476174, revisions=(9681866,useless=3764789), ccks=19305759, wck=13.563, mem=90M23
20.25/16.05 decisions=129059, wrong=60803, backtracks=42571, failedAssignments=41400, nogoods=2321, foundSolutions=26, bestBound=167
20.25/16.05
20.25/16.07 num=332, depth=19..25, filters=7489626, revisions=(9701960,useless=3773625), ccks=19337258, wck=13.587, mem=90M23
20.25/16.07 decisions=129339, wrong=60933, backtracks=42642, failedAssignments=41489, nogoods=2339, foundSolutions=26, bestBound=167
20.25/16.07
20.35/16.11 num=333, depth=19..26, filters=7512691, revisions=(9733186,useless=3785594), ccks=19386166, wck=13.628, mem=90M23
20.35/16.11 decisions=129644, wrong=61075, backtracks=42736, failedAssignments=41587, nogoods=2346, foundSolutions=26, bestBound=167
20.35/16.11
20.35/16.14 num=334, depth=18..28, filters=7529138, revisions=(9756929,useless=3795876), ccks=19425561, wck=13.656, mem=90M23
20.35/16.14 decisions=129984, wrong=61235, backtracks=42852, failedAssignments=41695, nogoods=2348, foundSolutions=26, bestBound=167
20.35/16.14
20.35/16.18 num=335, depth=19..26, filters=7551424, revisions=(9787652,useless=3807880), ccks=19471406, wck=13.694, mem=90M23
20.35/16.18 decisions=130341, wrong=61403, backtracks=42948, failedAssignments=41814, nogoods=2355, foundSolutions=26, bestBound=167
20.35/16.18
20.44/16.22 num=336, depth=19..27, filters=7576160, revisions=(9821290,useless=3820956), ccks=19528113, wck=13.738, mem=90M23
20.44/16.22 decisions=130734, wrong=61590, backtracks=43065, failedAssignments=41945, nogoods=2365, foundSolutions=26, bestBound=167
20.44/16.22
20.44/16.26 num=337, depth=19..28, filters=7594156, revisions=(9847584,useless=3832405), ccks=19575783, wck=13.771, mem=90M23
20.44/16.26 decisions=131166, wrong=61796, backtracks=43199, failedAssignments=42089, nogoods=2373, foundSolutions=26, bestBound=167
20.44/16.26
20.54/16.31 num=338, depth=18..25, filters=7626118, revisions=(9893150,useless=3850592), ccks=19640792, wck=13.823, mem=90M23
20.54/16.31 decisions=131648, wrong=62027, backtracks=43324, failedAssignments=42247, nogoods=2390, foundSolutions=26, bestBound=167
20.54/16.31
20.54/16.37 num=339, depth=18..29, filters=7663457, revisions=(9941482,useless=3870280), ccks=19711540, wck=13.888, mem=90M23
20.54/16.37 decisions=132164, wrong=62275, backtracks=43513, failedAssignments=42421, nogoods=2394, foundSolutions=26, bestBound=167
20.54/16.37
20.64/16.43 num=340, depth=19..28, filters=7698567, revisions=(9987900,useless=3887383), ccks=19780903, wck=13.945, mem=90M23
20.64/16.43 decisions=132734, wrong=62550, backtracks=43676, failedAssignments=42612, nogoods=2401, foundSolutions=26, bestBound=167
20.64/16.43
20.75/16.50 num=341, depth=19..27, filters=7735256, revisions=(10036395,useless=3905651), ccks=19866629, wck=14.011, mem=90M23
20.75/16.50 decisions=133372, wrong=62859, backtracks=43861, failedAssignments=42823, nogoods=2411, foundSolutions=26, bestBound=167
20.75/16.50
20.75/16.57 num=342, depth=19..27, filters=7779369, revisions=(10093419,useless=3926684), ccks=19966911, wck=14.086, mem=90M23
20.75/16.57 decisions=134073, wrong=63200, backtracks=44072, failedAssignments=43055, nogoods=2422, foundSolutions=26, bestBound=167
20.75/16.57
20.85/16.65 num=343, depth=19..28, filters=7825234, revisions=(10153810,useless=3949510), ccks=20071664, wck=14.165, mem=90M23
20.85/16.65 decisions=134814, wrong=63560, backtracks=44322, failedAssignments=43310, nogoods=2430, foundSolutions=26, bestBound=167
20.85/16.65
20.95/16.73 num=344, depth=18..28, filters=7872616, revisions=(10218248,useless=3974395), ccks=20168478, wck=14.243, mem=90M23
20.95/16.73 decisions=135642, wrong=63964, backtracks=44552, failedAssignments=43591, nogoods=2442, foundSolutions=26, bestBound=167
20.95/16.73
21.05/16.82 num=345, depth=18..29, filters=7920717, revisions=(10284340,useless=4003653), ccks=20326295, wck=14.335, mem=90M23
21.05/16.82 decisions=136678, wrong=64471, backtracks=44994, failedAssignments=43900, nogoods=2448, foundSolutions=26, bestBound=167
21.05/16.82
21.15/16.92 o 159
21.15/16.92 num=346, depth=20..555, filters=7977916, revisions=(10353443,useless=4028537), ccks=20461457, wck=14.433, mem=90M23
21.15/16.92 decisions=137628, wrong=64935, backtracks=45311, failedAssignments=44208, nogoods=2459, foundSolutions=27, bestBound=159
21.15/16.92
21.26/17.02 num=347, depth=20..29, filters=8031751, revisions=(10426474,useless=4057236), ccks=20593250, wck=14.533, mem=90M23
21.26/17.02 decisions=138762, wrong=65492, backtracks=45694, failedAssignments=44582, nogoods=2472, foundSolutions=27, bestBound=159
21.26/17.02
21.26/17.03 num=348, depth=20..27, filters=8034443, revisions=(10430819,useless=4059518), ccks=20599143, wck=14.539, mem=90M23
21.26/17.03 decisions=138809, wrong=65505, backtracks=45702, failedAssignments=44593, nogoods=2477, foundSolutions=27, bestBound=159
21.26/17.03
21.26/17.03 num=349, depth=21..26, filters=8037010, revisions=(10434825,useless=4061520), ccks=20604007, wck=14.545, mem=90M23
21.26/17.03 decisions=138859, wrong=65519, backtracks=45707, failedAssignments=44605, nogoods=2483, foundSolutions=27, bestBound=159
21.26/17.03
21.26/17.04 num=350, depth=21..26, filters=8040682, revisions=(10440233,useless=4063901), ccks=20613179, wck=14.552, mem=90M23
21.26/17.04 decisions=138916, wrong=65537, backtracks=45717, failedAssignments=44618, nogoods=2491, foundSolutions=27, bestBound=159
21.26/17.04
21.26/17.04 num=351, depth=21..25, filters=8043296, revisions=(10444612,useless=4066112), ccks=20619832, wck=14.557, mem=90M23
21.26/17.04 decisions=138976, wrong=65556, backtracks=45726, failedAssignments=44632, nogoods=2499, foundSolutions=27, bestBound=159
21.26/17.04
21.26/17.05 num=352, depth=20..28, filters=8046699, revisions=(10449681,useless=4068345), ccks=20627584, wck=14.564, mem=90M23
21.26/17.05 decisions=139041, wrong=65578, backtracks=45738, failedAssignments=44648, nogoods=2501, foundSolutions=27, bestBound=159
21.26/17.05
21.26/17.06 num=353, depth=20..26, filters=8050438, revisions=(10455760,useless=4071418), ccks=20635391, wck=14.572, mem=90M23
21.26/17.06 decisions=139112, wrong=65603, backtracks=45759, failedAssignments=44665, nogoods=2509, foundSolutions=27, bestBound=159
21.26/17.06
21.26/17.07 num=354, depth=21..26, filters=8054727, revisions=(10461955,useless=4074213), ccks=20643955, wck=14.58, mem=90M23
21.26/17.07 decisions=139180, wrong=65626, backtracks=45772, failedAssignments=44684, nogoods=2520, foundSolutions=27, bestBound=159
21.26/17.07
21.26/17.07 num=355, depth=20..26, filters=8058949, revisions=(10468298,useless=4077082), ccks=20653090, wck=14.588, mem=90M23
21.26/17.07 decisions=139264, wrong=65657, backtracks=45790, failedAssignments=44705, nogoods=2525, foundSolutions=27, bestBound=159
21.26/17.07
21.26/17.08 num=356, depth=21..25, filters=8063740, revisions=(10475373,useless=4080212), ccks=20662987, wck=14.597, mem=90M23
21.26/17.08 decisions=139353, wrong=65691, backtracks=45810, failedAssignments=44728, nogoods=2536, foundSolutions=27, bestBound=159
21.26/17.08
21.26/17.09 num=357, depth=20..25, filters=8068631, revisions=(10483041,useless=4083717), ccks=20673339, wck=14.607, mem=90M23
21.26/17.09 decisions=139437, wrong=65723, backtracks=45828, failedAssignments=44753, nogoods=2545, foundSolutions=27, bestBound=159
21.26/17.09
21.26/17.11 num=358, depth=19..30, filters=8074697, revisions=(10491651,useless=4087715), ccks=20686308, wck=14.619, mem=90M23
21.26/17.11 decisions=139537, wrong=65762, backtracks=45858, failedAssignments=44781, nogoods=2555, foundSolutions=27, bestBound=159
21.26/17.11
21.36/17.12 num=359, depth=20..27, filters=8081260, revisions=(10501010,useless=4091712), ccks=20702092, wck=14.632, mem=90M23
21.36/17.12 decisions=139647, wrong=65806, backtracks=45887, failedAssignments=44812, nogoods=2558, foundSolutions=27, bestBound=159
21.36/17.12
21.36/17.13 num=360, depth=21..27, filters=8086826, revisions=(10509126,useless=4095283), ccks=20713422, wck=14.643, mem=90M23
21.36/17.13 decisions=139758, wrong=65851, backtracks=45914, failedAssignments=44846, nogoods=2563, foundSolutions=27, bestBound=159
21.36/17.13
21.36/17.14 num=361, depth=21..26, filters=8093172, revisions=(10518521,useless=4099192), ccks=20727136, wck=14.655, mem=90M23
21.36/17.14 decisions=139884, wrong=65903, backtracks=45937, failedAssignments=44883, nogoods=2575, foundSolutions=27, bestBound=159
21.36/17.14
21.36/17.16 num=362, depth=20..25, filters=8101855, revisions=(10530726,useless=4104086), ccks=20746574, wck=14.671, mem=90M23
21.36/17.16 decisions=140018, wrong=65960, backtracks=45972, failedAssignments=44924, nogoods=2582, foundSolutions=27, bestBound=159
21.36/17.16
21.36/17.17 num=363, depth=19..30, filters=8108156, revisions=(10540256,useless=4108836), ccks=20764258, wck=14.685, mem=90M23
21.36/17.17 decisions=140157, wrong=66019, backtracks=46024, failedAssignments=44969, nogoods=2585, foundSolutions=27, bestBound=159
21.36/17.17
21.36/17.18 num=364, depth=20..25, filters=8116175, revisions=(10552178,useless=4113762), ccks=20781919, wck=14.698, mem=90M23
21.36/17.18 decisions=140322, wrong=66091, backtracks=46059, failedAssignments=45019, nogoods=2600, foundSolutions=27, bestBound=159
21.36/17.18
21.45/17.20 num=365, depth=19..28, filters=8127152, revisions=(10568044,useless=4120237), ccks=20806820, wck=14.718, mem=90M23
21.45/17.20 decisions=140498, wrong=66168, backtracks=46106, failedAssignments=45074, nogoods=2611, foundSolutions=27, bestBound=159
21.45/17.20
21.45/17.22 num=366, depth=20..28, filters=8134541, revisions=(10579503,useless=4125641), ccks=20827601, wck=14.734, mem=90M23
21.45/17.22 decisions=140694, wrong=66255, backtracks=46170, failedAssignments=45135, nogoods=2623, foundSolutions=27, bestBound=159
21.45/17.22
21.45/17.24 num=367, depth=20..28, filters=8146901, revisions=(10596115,useless=4132083), ccks=20857432, wck=14.757, mem=90M23
21.45/17.24 decisions=140915, wrong=66355, backtracks=46235, failedAssignments=45202, nogoods=2627, foundSolutions=27, bestBound=159
21.45/17.24
21.45/17.27 num=368, depth=20..27, filters=8159352, revisions=(10613825,useless=4139196), ccks=20884532, wck=14.779, mem=90M23
21.45/17.27 decisions=141133, wrong=66454, backtracks=46297, failedAssignments=45276, nogoods=2634, foundSolutions=27, bestBound=159
21.45/17.27
21.45/17.29 num=369, depth=19..26, filters=8174589, revisions=(10635691,useless=4147934), ccks=20916448, wck=14.805, mem=90M23
21.45/17.29 decisions=141385, wrong=66569, backtracks=46363, failedAssignments=45357, nogoods=2646, foundSolutions=27, bestBound=159
21.45/17.29
21.55/17.33 num=370, depth=18..26, filters=8192633, revisions=(10661709,useless=4158967), ccks=20958935, wck=14.839, mem=90M23
21.55/17.33 decisions=141670, wrong=66701, backtracks=46437, failedAssignments=45446, nogoods=2662, foundSolutions=27, bestBound=159
21.55/17.33
21.55/17.36 num=371, depth=19..27, filters=8213730, revisions=(10689748,useless=4169531), ccks=21012034, wck=14.878, mem=90M23
21.55/17.36 decisions=141985, wrong=66848, backtracks=46539, failedAssignments=45544, nogoods=2669, foundSolutions=27, bestBound=159
21.55/17.36
21.65/17.40 num=372, depth=19..28, filters=8233830, revisions=(10716673,useless=4180240), ccks=21064695, wck=14.917, mem=90M23
21.65/17.40 decisions=142308, wrong=66999, backtracks=46655, failedAssignments=45652, nogoods=2674, foundSolutions=27, bestBound=159
21.65/17.40
21.65/17.44 num=373, depth=20..28, filters=8254952, revisions=(10744720,useless=4190772), ccks=21112199, wck=14.955, mem=92M665
21.65/17.44 decisions=142670, wrong=67170, backtracks=46771, failedAssignments=45771, nogoods=2678, foundSolutions=27, bestBound=159
21.65/17.44
21.65/17.49 num=374, depth=19..29, filters=8279637, revisions=(10776634,useless=4202830), ccks=21169468, wck=15.001, mem=92M665
21.65/17.49 decisions=143070, wrong=67359, backtracks=46894, failedAssignments=45902, nogoods=2687, foundSolutions=27, bestBound=159
21.65/17.49
21.76/17.54 num=375, depth=19..28, filters=8306709, revisions=(10812199,useless=4216151), ccks=21234286, wck=15.049, mem=92M665
21.76/17.54 decisions=143502, wrong=67565, backtracks=47026, failedAssignments=46046, nogoods=2695, foundSolutions=27, bestBound=159
21.76/17.54
21.76/17.59 num=376, depth=19..28, filters=8335628, revisions=(10850619,useless=4231757), ccks=21307137, wck=15.104, mem=92M665
21.76/17.59 decisions=144001, wrong=67803, backtracks=47225, failedAssignments=46204, nogoods=2702, foundSolutions=27, bestBound=159
21.76/17.59
21.86/17.65 num=377, depth=20..28, filters=8366820, revisions=(10891233,useless=4247130), ccks=21388449, wck=15.163, mem=92M665
21.86/17.65 decisions=144521, wrong=68053, backtracks=47409, failedAssignments=46378, nogoods=2716, foundSolutions=27, bestBound=159
21.86/17.65
21.96/17.71 num=378, depth=19..27, filters=8400406, revisions=(10934759,useless=4263155), ccks=21471715, wck=15.224, mem=92M665
21.96/17.71 decisions=145083, wrong=68323, backtracks=47591, failedAssignments=46569, nogoods=2721, foundSolutions=27, bestBound=159
21.96/17.71
21.96/17.79 num=379, depth=18..29, filters=8444175, revisions=(10990896,useless=4286181), ccks=21572883, wck=15.303, mem=92M665
21.96/17.79 decisions=145748, wrong=68645, backtracks=47858, failedAssignments=46780, nogoods=2731, foundSolutions=27, bestBound=159
21.96/17.79
22.06/17.86 num=380, depth=19..28, filters=8481865, revisions=(11038899,useless=4304755), ccks=21673235, wck=15.374, mem=92M665
22.06/17.86 decisions=146442, wrong=68981, backtracks=48076, failedAssignments=47012, nogoods=2737, foundSolutions=27, bestBound=159
22.06/17.86
22.16/17.94 num=381, depth=19..28, filters=8522053, revisions=(11090600,useless=4323854), ccks=21770068, wck=15.45, mem=92M665
22.16/17.94 decisions=147187, wrong=69343, backtracks=48316, failedAssignments=47267, nogoods=2752, foundSolutions=27, bestBound=159
22.16/17.94
22.27/18.02 num=382, depth=19..29, filters=8568170, revisions=(11150310,useless=4345654), ccks=21876088, wck=15.532, mem=92M665
22.27/18.02 decisions=148011, wrong=69745, backtracks=48568, failedAssignments=47548, nogoods=2761, foundSolutions=27, bestBound=159
22.27/18.02
22.37/18.12 num=383, depth=18..29, filters=8625073, revisions=(11224768,useless=4374928), ccks=22011546, wck=15.632, mem=92M665
22.37/18.12 decisions=148910, wrong=70184, backtracks=48888, failedAssignments=47857, nogoods=2771, foundSolutions=27, bestBound=159
22.37/18.12
22.47/18.23 num=384, depth=19..29, filters=8686068, revisions=(11302573,useless=4405004), ccks=22161757, wck=15.744, mem=92M665
22.47/18.23 decisions=149949, wrong=70693, backtracks=49298, failedAssignments=48197, nogoods=2775, foundSolutions=27, bestBound=159
22.47/18.23
22.57/18.38 num=385, depth=18..29, filters=8767420, revisions=(11406769,useless=4446494), ccks=22347157, wck=15.891, mem=92M665
22.57/18.38 decisions=151103, wrong=71259, backtracks=49789, failedAssignments=48571, nogoods=2781, foundSolutions=27, bestBound=159
22.57/18.38
22.77/18.52 num=386, depth=18..29, filters=8846143, revisions=(11507328,useless=4484637), ccks=22551912, wck=16.035, mem=92M665
22.77/18.52 decisions=152329, wrong=71861, backtracks=50221, failedAssignments=48982, nogoods=2791, foundSolutions=27, bestBound=159
22.77/18.52
22.87/18.67 num=387, depth=18..28, filters=8934138, revisions=(11619137,useless=4525860), ccks=22776481, wck=16.188, mem=92M665
22.87/18.67 decisions=153768, wrong=72570, backtracks=50707, failedAssignments=49434, nogoods=2804, foundSolutions=27, bestBound=159
22.87/18.67
23.07/18.85 num=388, depth=18..28, filters=9032707, revisions=(11744879,useless=4571422), ccks=23000457, wck=16.359, mem=92M665
23.07/18.85 decisions=155275, wrong=73313, backtracks=51214, failedAssignments=49931, nogoods=2817, foundSolutions=27, bestBound=159
23.07/18.85
23.28/19.03 num=389, depth=19..29, filters=9135592, revisions=(11875501,useless=4621544), ccks=23262116, wck=16.54, mem=92M665
23.28/19.03 decisions=156943, wrong=74136, backtracks=51831, failedAssignments=50478, nogoods=2827, foundSolutions=27, bestBound=159
23.28/19.03
23.47/19.23 num=390, depth=17..29, filters=9249146, revisions=(12021877,useless=4679621), ccks=23553242, wck=16.742, mem=92M665
23.47/19.23 decisions=158789, wrong=75048, backtracks=52575, failedAssignments=51080, nogoods=2836, foundSolutions=27, bestBound=159
23.47/19.23
23.67/19.44 num=391, depth=19..30, filters=9373262, revisions=(12177391,useless=4738306), ccks=23857164, wck=16.955, mem=92M665
23.67/19.44 decisions=160899, wrong=76092, backtracks=53322, failedAssignments=51742, nogoods=2843, foundSolutions=27, bestBound=159
23.67/19.44
23.87/19.67 num=392, depth=18..29, filters=9503615, revisions=(12336804,useless=4796531), ccks=24188967, wck=17.181, mem=92M665
23.87/19.67 decisions=163153, wrong=77207, backtracks=54128, failedAssignments=52470, nogoods=2853, foundSolutions=27, bestBound=159
23.87/19.67
24.07/19.89 num=393, depth=17..29, filters=9630361, revisions=(12498716,useless=4857406), ccks=24507522, wck=17.407, mem=92M665
24.07/19.89 decisions=165528, wrong=78384, backtracks=54879, failedAssignments=53271, nogoods=2865, foundSolutions=27, bestBound=159
24.07/19.89
24.38/20.12 num=394, depth=18..28, filters=9759916, revisions=(12663793,useless=4917908), ccks=24812033, wck=17.637, mem=92M665
24.38/20.12 decisions=168153, wrong=79686, backtracks=55715, failedAssignments=54152, nogoods=2880, foundSolutions=27, bestBound=159
24.38/20.12
24.67/20.46 num=395, depth=18..30, filters=9960065, revisions=(12914928,useless=5014294), ccks=25288313, wck=17.974, mem=92M665
24.67/20.46 decisions=171154, wrong=81176, backtracks=56828, failedAssignments=55122, nogoods=2887, foundSolutions=27, bestBound=159
24.67/20.46
25.07/20.81 num=396, depth=18..28, filters=10159324, revisions=(13171551,useless=5112952), ccks=25769942, wck=18.322, mem=92M665
25.07/20.81 decisions=174381, wrong=82779, backtracks=57994, failedAssignments=56189, nogoods=2902, foundSolutions=27, bestBound=159
25.07/20.81
25.47/21.21 num=397, depth=18..29, filters=10392928, revisions=(13448421,useless=5213351), ccks=26383115, wck=18.726, mem=92M665
25.47/21.21 decisions=178261, wrong=84708, backtracks=59468, failedAssignments=57362, nogoods=2914, foundSolutions=27, bestBound=159
25.47/21.21
25.87/21.64 num=398, depth=17..29, filters=10637776, revisions=(13752406,useless=5324956), ccks=27011168, wck=19.155, mem=92M665
25.87/21.64 decisions=182211, wrong=86673, backtracks=60946, failedAssignments=58653, nogoods=2935, foundSolutions=27, bestBound=159
25.87/21.64
26.38/22.17 num=399, depth=16..30, filters=10954604, revisions=(14150443,useless=5471766), ccks=27788675, wck=19.687, mem=92M665
26.38/22.17 decisions=186939, wrong=89026, backtracks=62555, failedAssignments=60073, nogoods=2946, foundSolutions=27, bestBound=159
26.38/22.17
26.87/22.63 num=400, depth=17..30, filters=11204518, revisions=(14474371,useless=5596586), ccks=28409372, wck=20.139, mem=92M665
26.87/22.63 decisions=191762, wrong=91427, backtracks=64365, failedAssignments=61635, nogoods=2960, foundSolutions=27, bestBound=159
26.87/22.63
27.38/23.16 num=401, depth=17..28, filters=11515661, revisions=(14858459,useless=5737220), ccks=29156821, wck=20.671, mem=92M665
27.38/23.16 decisions=196977, wrong=94025, backtracks=66123, failedAssignments=63353, nogoods=2971, foundSolutions=27, bestBound=159
27.38/23.16
28.07/23.81 num=402, depth=17..29, filters=11885173, revisions=(15320483,useless=5913535), ccks=30157460, wck=21.325, mem=92M665
28.07/23.81 decisions=203063, wrong=97057, backtracks=68549, failedAssignments=65243, nogoods=2986, foundSolutions=27, bestBound=159
28.07/23.81
28.67/24.48 num=403, depth=17..29, filters=12281118, revisions=(15805800,useless=6085116), ccks=31101380, wck=21.994, mem=92M665
28.67/24.48 decisions=209446, wrong=100237, backtracks=70778, failedAssignments=67322, nogoods=2990, foundSolutions=27, bestBound=159
28.67/24.48
29.38/25.18 num=404, depth=17..29, filters=12692215, revisions=(16309162,useless=6265898), ccks=32077772, wck=22.697, mem=92M665
29.38/25.18 decisions=216410, wrong=103710, backtracks=73166, failedAssignments=69609, nogoods=2996, foundSolutions=27, bestBound=159
29.38/25.18
30.17/25.95 num=405, depth=17..30, filters=13136091, revisions=(16864061,useless=6475497), ccks=33204586, wck=23.468, mem=92M665
30.17/25.95 decisions=224398, wrong=107693, backtracks=76019, failedAssignments=72125, nogoods=3012, foundSolutions=27, bestBound=159
30.17/25.95
30.97/26.75 num=406, depth=17..30, filters=13609040, revisions=(17437044,useless=6682174), ccks=34356831, wck=24.267, mem=92M665
30.97/26.75 decisions=233110, wrong=112038, backtracks=78933, failedAssignments=74893, nogoods=3017, foundSolutions=27, bestBound=159
30.97/26.75
31.87/27.61 num=407, depth=18..32, filters=14122621, revisions=(18057071,useless=6910160), ccks=35625719, wck=25.122, mem=95M308
31.87/27.61 decisions=243010, wrong=116978, backtracks=82238, failedAssignments=77937, nogoods=3029, foundSolutions=27, bestBound=159
31.87/27.61
32.87/28.64 num=408, depth=16..30, filters=14721394, revisions=(18796300,useless=7182604), ccks=37068446, wck=26.152, mem=95M308
32.87/28.64 decisions=253350, wrong=122138, backtracks=85789, failedAssignments=81286, nogoods=3037, foundSolutions=27, bestBound=159
32.87/28.64
34.07/29.83 num=409, depth=17..30, filters=15427159, revisions=(19657520,useless=7499424), ccks=38862669, wck=27.341, mem=95M308
34.07/29.83 decisions=265336, wrong=128121, backtracks=90118, failedAssignments=84970, nogoods=3045, foundSolutions=27, bestBound=159
34.07/29.83
35.28/31.04 num=410, depth=17..31, filters=16147679, revisions=(20544950,useless=7824606), ccks=40642133, wck=28.553, mem=95M308
35.28/31.04 decisions=278275, wrong=134580, backtracks=94523, failedAssignments=89022, nogoods=3053, foundSolutions=27, bestBound=159
35.28/31.04
36.67/32.44 num=411, depth=17..33, filters=17007488, revisions=(21551000,useless=8179585), ccks=42790022, wck=29.95, mem=95M308
36.67/32.44 decisions=293999, wrong=142430, backtracks=100074, failedAssignments=93479, nogoods=3062, foundSolutions=27, bestBound=159
36.67/32.44
38.07/33.81 num=412, depth=16..31, filters=17832801, revisions=(22587110,useless=8559339), ccks=44706579, wck=31.324, mem=95M308
38.07/33.81 decisions=309105, wrong=149973, backtracks=104987, failedAssignments=98382, nogoods=3075, foundSolutions=27, bestBound=159
38.07/33.81
39.57/35.32 num=413, depth=17..31, filters=18745219, revisions=(23691082,useless=8956622), ccks=46995519, wck=32.834, mem=95M308
39.57/35.32 decisions=326810, wrong=158814, backtracks=111144, failedAssignments=103776, nogoods=3086, foundSolutions=27, bestBound=159
39.57/35.32
40.77/36.54 o 151
40.77/36.54 num=414, depth=16..555, filters=19495808, revisions=(24610008,useless=9282312), ccks=48643806, wck=34.052, mem=95M308
40.77/36.54 decisions=339395, wrong=165097, backtracks=115180, failedAssignments=107854, nogoods=3103, foundSolutions=28, bestBound=151
40.77/36.54
42.28/38.02 o 131
42.28/38.02 num=415, depth=17..555, filters=20344608, revisions=(25654240,useless=9663436), ccks=50710094, wck=35.536, mem=97M950
42.28/38.02 decisions=355653, wrong=173216, backtracks=121035, failedAssignments=112919, nogoods=3116, foundSolutions=29, bestBound=131
42.28/38.02
42.28/38.03 num=416, depth=23..26, filters=20346336, revisions=(25657201,useless=9665045), ccks=50716302, wck=35.543, mem=97M950
42.28/38.03 decisions=355706, wrong=173231, backtracks=121042, failedAssignments=112930, nogoods=3118, foundSolutions=29, bestBound=131
42.28/38.03
42.28/38.03 num=417, depth=22..26, filters=20348362, revisions=(25660525,useless=9666771), ccks=50720830, wck=35.547, mem=97M950
42.28/38.03 decisions=355757, wrong=173245, backtracks=121047, failedAssignments=112941, nogoods=3125, foundSolutions=29, bestBound=131
42.28/38.03
42.28/38.04 num=418, depth=21..28, filters=20350434, revisions=(25664127,useless=9668752), ccks=50725465, wck=35.552, mem=97M950
42.28/38.04 decisions=355808, wrong=173260, backtracks=121061, failedAssignments=112953, nogoods=3126, foundSolutions=29, bestBound=131
42.28/38.04
42.28/38.05 num=419, depth=22..26, filters=20353386, revisions=(25668766,useless=9671032), ccks=50732448, wck=35.559, mem=97M950
42.28/38.05 decisions=355867, wrong=173278, backtracks=121076, failedAssignments=112966, nogoods=3132, foundSolutions=29, bestBound=131
42.28/38.05
42.28/38.05 num=420, depth=21..26, filters=20355900, revisions=(25672953,useless=9673171), ccks=50738800, wck=35.564, mem=97M950
42.28/38.05 decisions=355928, wrong=173297, backtracks=121088, failedAssignments=112980, nogoods=3136, foundSolutions=29, bestBound=131
42.28/38.05
42.28/38.06 num=421, depth=21..26, filters=20358822, revisions=(25677776,useless=9675486), ccks=50745864, wck=35.57, mem=97M950
42.28/38.06 decisions=355995, wrong=173319, backtracks=121101, failedAssignments=112996, nogoods=3142, foundSolutions=29, bestBound=131
42.28/38.06
42.28/38.06 num=422, depth=21..27, filters=20362032, revisions=(25682693,useless=9677657), ccks=50752789, wck=35.576, mem=97M950
42.28/38.06 decisions=356064, wrong=173343, backtracks=121112, failedAssignments=113013, nogoods=3143, foundSolutions=29, bestBound=131
42.28/38.06
42.28/38.07 num=423, depth=21..25, filters=20364814, revisions=(25687362,useless=9680002), ccks=50759331, wck=35.581, mem=97M950
42.28/38.07 decisions=356137, wrong=173369, backtracks=121125, failedAssignments=113032, nogoods=3150, foundSolutions=29, bestBound=131
42.28/38.07
42.28/38.08 num=424, depth=21..26, filters=20368419, revisions=(25693213,useless=9682827), ccks=50767249, wck=35.589, mem=97M950
42.28/38.08 decisions=356215, wrong=173397, backtracks=121143, failedAssignments=113053, nogoods=3160, foundSolutions=29, bestBound=131
42.28/38.08
42.28/38.08 num=425, depth=20..26, filters=20372722, revisions=(25700054,useless=9685944), ccks=50776421, wck=35.596, mem=97M950
42.28/38.08 decisions=356304, wrong=173431, backtracks=121162, failedAssignments=113076, nogoods=3165, foundSolutions=29, bestBound=131
42.28/38.08
42.28/38.09 num=426, depth=20..26, filters=20377320, revisions=(25707378,useless=9689374), ccks=50785602, wck=35.606, mem=97M950
42.28/38.09 decisions=356391, wrong=173464, backtracks=121182, failedAssignments=113101, nogoods=3171, foundSolutions=29, bestBound=131
42.28/38.09
42.28/38.10 num=427, depth=19..25, filters=20381974, revisions=(25714659,useless=9692782), ccks=50796279, wck=35.616, mem=97M950
42.28/38.10 decisions=356487, wrong=173501, backtracks=121202, failedAssignments=113129, nogoods=3181, foundSolutions=29, bestBound=131
42.28/38.10
42.38/38.12 num=428, depth=21..28, filters=20389044, revisions=(25724665,useless=9697066), ccks=50810150, wck=35.63, mem=97M950
42.38/38.12 decisions=356596, wrong=173545, backtracks=121233, failedAssignments=113160, nogoods=3196, foundSolutions=29, bestBound=131
42.38/38.12
42.38/38.13 num=429, depth=20..28, filters=20394244, revisions=(25732601,useless=9700572), ccks=50822725, wck=35.641, mem=97M950
42.38/38.13 decisions=356708, wrong=173591, backtracks=121261, failedAssignments=113194, nogoods=3199, foundSolutions=29, bestBound=131
42.38/38.13
42.38/38.14 num=430, depth=17..28, filters=20397447, revisions=(25739178,useless=9704600), ccks=50832641, wck=35.65, mem=97M950
42.38/38.14 decisions=356822, wrong=173638, backtracks=121300, failedAssignments=113231, nogoods=3205, foundSolutions=29, bestBound=131
42.38/38.14
42.38/38.15 num=431, depth=20..26, filters=20403888, revisions=(25748978,useless=9708844), ccks=50849293, wck=35.662, mem=97M950
42.38/38.15 decisions=356956, wrong=173695, backtracks=121334, failedAssignments=113272, nogoods=3217, foundSolutions=29, bestBound=131
42.38/38.15
42.38/38.16 num=432, depth=18..28, filters=20410260, revisions=(25759062,useless=9713897), ccks=50866718, wck=35.676, mem=97M950
42.38/38.16 decisions=357130, wrong=173771, backtracks=121396, failedAssignments=113317, nogoods=3223, foundSolutions=29, bestBound=131
42.38/38.16
42.38/38.18 num=433, depth=21..27, filters=20417800, revisions=(25769569,useless=9718025), ccks=50882516, wck=35.689, mem=97M950
42.38/38.18 decisions=357296, wrong=173843, backtracks=121431, failedAssignments=113367, nogoods=3228, foundSolutions=29, bestBound=131
42.38/38.18
42.38/38.19 num=434, depth=19..29, filters=20427553, revisions=(25784116,useless=9724139), ccks=50902149, wck=35.707, mem=97M950
42.38/38.19 decisions=357470, wrong=173920, backtracks=121476, failedAssignments=113422, nogoods=3233, foundSolutions=29, bestBound=131
42.38/38.19
42.47/38.21 num=435, depth=19..27, filters=20438472, revisions=(25799714,useless=9730529), ccks=50921852, wck=35.727, mem=97M950
42.47/38.21 decisions=357654, wrong=174000, backtracks=121514, failedAssignments=113483, nogoods=3247, foundSolutions=29, bestBound=131
42.47/38.21
42.47/38.23 num=436, depth=19..28, filters=20447121, revisions=(25813139,useless=9736786), ccks=50942225, wck=35.745, mem=97M950
42.47/38.23 decisions=357855, wrong=174090, backtracks=121580, failedAssignments=113550, nogoods=3254, foundSolutions=29, bestBound=131
42.47/38.23
42.47/38.25 num=437, depth=17..27, filters=20456618, revisions=(25828883,useless=9745030), ccks=50971136, wck=35.765, mem=97M950
42.47/38.25 decisions=358113, wrong=174210, backtracks=121683, failedAssignments=113624, nogoods=3264, foundSolutions=29, bestBound=131
42.47/38.25
42.47/38.27 num=438, depth=21..27, filters=20469845, revisions=(25847654,useless=9752139), ccks=50998988, wck=35.787, mem=97M950
42.47/38.27 decisions=358370, wrong=174327, backtracks=121737, failedAssignments=113705, nogoods=3273, foundSolutions=29, bestBound=131
42.47/38.27
42.57/38.30 num=439, depth=19..28, filters=20485835, revisions=(25868746,useless=9759860), ccks=51033345, wck=35.815, mem=97M950
42.57/38.30 decisions=358638, wrong=174450, backtracks=121804, failedAssignments=113794, nogoods=3278, foundSolutions=29, bestBound=131
42.57/38.30
42.57/38.34 num=440, depth=19..27, filters=20505417, revisions=(25896673,useless=9770970), ccks=51070342, wck=35.849, mem=97M950
42.57/38.34 decisions=358933, wrong=174587, backtracks=121885, failedAssignments=113892, nogoods=3292, foundSolutions=29, bestBound=131
42.57/38.34
42.57/38.38 num=441, depth=18..27, filters=20527566, revisions=(25927714,useless=9783838), ccks=51116895, wck=35.889, mem=97M950
42.57/38.38 decisions=359264, wrong=174742, backtracks=121995, failedAssignments=114000, nogoods=3295, foundSolutions=29, bestBound=131
42.57/38.38
42.67/38.41 num=442, depth=17..28, filters=20542786, revisions=(25951299,useless=9795606), ccks=51160103, wck=35.921, mem=97M950
42.67/38.41 decisions=359643, wrong=174922, backtracks=122158, failedAssignments=114119, nogoods=3297, foundSolutions=29, bestBound=131
42.67/38.41
42.67/38.45 num=443, depth=19..27, filters=20568715, revisions=(25986378,useless=9808723), ccks=51212853, wck=35.966, mem=97M950
42.67/38.45 decisions=360051, wrong=175116, backtracks=122267, failedAssignments=114250, nogoods=3303, foundSolutions=29, bestBound=131
42.67/38.45
42.77/38.50 num=444, depth=19..28, filters=20596198, revisions=(26022927,useless=9822076), ccks=51268543, wck=36.013, mem=97M950
42.77/38.50 decisions=360482, wrong=175321, backtracks=122384, failedAssignments=114394, nogoods=3312, foundSolutions=29, bestBound=131
42.77/38.50
42.77/38.54 num=445, depth=19..27, filters=20618909, revisions=(26054669,useless=9834495), ccks=51313658, wck=36.052, mem=97M950
42.77/38.54 decisions=360956, wrong=175547, backtracks=122504, failedAssignments=114552, nogoods=3328, foundSolutions=29, bestBound=131
42.77/38.54
42.77/38.58 num=446, depth=17..28, filters=20643552, revisions=(26089919,useless=9850050), ccks=51382049, wck=36.097, mem=97M950
42.77/38.58 decisions=361557, wrong=175838, backtracks=122731, failedAssignments=114726, nogoods=3334, foundSolutions=29, bestBound=131
42.77/38.58
42.87/38.63 num=447, depth=20..27, filters=20673249, revisions=(26129615,useless=9865005), ccks=51443559, wck=36.147, mem=97M950
42.87/38.63 decisions=362125, wrong=176112, backtracks=122876, failedAssignments=114917, nogoods=3345, foundSolutions=29, bestBound=131
42.87/38.63
42.87/38.69 num=448, depth=19..28, filters=20706901, revisions=(26175623,useless=9881982), ccks=51508703, wck=36.202, mem=97M950
42.87/38.69 decisions=362745, wrong=176411, backtracks=123030, failedAssignments=115128, nogoods=3356, foundSolutions=29, bestBound=131
42.87/38.69
42.97/38.75 num=449, depth=17..29, filters=20741346, revisions=(26227243,useless=9906140), ccks=51608197, wck=36.266, mem=97M950
42.97/38.75 decisions=363556, wrong=176807, backtracks=123348, failedAssignments=115360, nogoods=3362, foundSolutions=29, bestBound=131
42.97/38.75
43.07/38.83 num=450, depth=20..28, filters=20786077, revisions=(26285487,useless=9927485), ccks=51703424, wck=36.339, mem=97M950
43.07/38.83 decisions=364341, wrong=177189, backtracks=123577, failedAssignments=115615, nogoods=3371, foundSolutions=29, bestBound=131
43.07/38.83
43.17/38.91 num=451, depth=18..29, filters=20836088, revisions=(26354945,useless=9955159), ccks=51804433, wck=36.427, mem=97M950
43.17/38.91 decisions=365198, wrong=177607, backtracks=123830, failedAssignments=115896, nogoods=3386, foundSolutions=29, bestBound=131
43.17/38.91
43.28/39.01 num=452, depth=18..29, filters=20891138, revisions=(26427922,useless=9981921), ccks=51916761, wck=36.521, mem=97M950
43.28/39.01 decisions=366121, wrong=178058, backtracks=124099, failedAssignments=116205, nogoods=3400, foundSolutions=29, bestBound=131
43.28/39.01
43.38/39.11 num=453, depth=18..27, filters=20949944, revisions=(26504276,useless=10010406), ccks=52035496, wck=36.621, mem=97M950
43.38/39.11 decisions=367136, wrong=178555, backtracks=124388, failedAssignments=116545, nogoods=3406, foundSolutions=29, bestBound=131
43.38/39.11
43.47/39.22 num=454, depth=18..28, filters=21014022, revisions=(26588732,useless=10041769), ccks=52171057, wck=36.731, mem=97M950
43.47/39.22 decisions=368233, wrong=179094, backtracks=124721, failedAssignments=116919, nogoods=3414, foundSolutions=29, bestBound=131
43.47/39.22
43.57/39.33 num=455, depth=18..27, filters=21082744, revisions=(26682138,useless=10076822), ccks=52310831, wck=36.843, mem=97M950
43.57/39.33 decisions=369471, wrong=179703, backtracks=125047, failedAssignments=117330, nogoods=3428, foundSolutions=29, bestBound=131
43.57/39.33
43.67/39.47 num=456, depth=18..29, filters=21164850, revisions=(26788142,useless=10116984), ccks=52497408, wck=36.986, mem=97M950
43.67/39.47 decisions=370835, wrong=180375, backtracks=125548, failedAssignments=117782, nogoods=3430, foundSolutions=29, bestBound=131
43.67/39.47
43.87/39.62 num=457, depth=18..29, filters=21251256, revisions=(26900438,useless=10158433), ccks=52673485, wck=37.13, mem=97M950
43.87/39.62 decisions=372365, wrong=181131, backtracks=126014, failedAssignments=118279, nogoods=3438, foundSolutions=29, bestBound=131
43.87/39.62
43.97/39.79 num=458, depth=18..33, filters=21353034, revisions=(27028870,useless=10207011), ccks=52889281, wck=37.308, mem=97M950
43.97/39.79 decisions=373967, wrong=181922, backtracks=126608, failedAssignments=118826, nogoods=3449, foundSolutions=29, bestBound=131
43.97/39.79
44.17/39.93 num=459, depth=17..29, filters=21424518, revisions=(27133663,useless=10254065), ccks=53082836, wck=37.441, mem=97M950
44.17/39.93 decisions=375718, wrong=182788, backtracks=127266, failedAssignments=119428, nogoods=3454, foundSolutions=29, bestBound=131
44.17/39.93
44.38/40.12 num=460, depth=18..28, filters=21538226, revisions=(27279728,useless=10307723), ccks=53332032, wck=37.636, mem=97M950
44.38/40.12 decisions=377709, wrong=183774, backtracks=127900, failedAssignments=120090, nogoods=3465, foundSolutions=29, bestBound=131
44.38/40.12
44.57/40.38 num=461, depth=17..29, filters=21684446, revisions=(27474539,useless=10386816), ccks=53668827, wck=37.894, mem=97M950
44.57/40.38 decisions=379942, wrong=184881, backtracks=128797, failedAssignments=120818, nogoods=3471, foundSolutions=29, bestBound=131
44.57/40.38
44.87/40.63 num=462, depth=18..30, filters=21820379, revisions=(27649294,useless=10453039), ccks=53991415, wck=38.144, mem=97M950
44.87/40.63 decisions=382369, wrong=186083, backtracks=129715, failedAssignments=121619, nogoods=3478, foundSolutions=29, bestBound=131
44.87/40.63
45.07/40.86 num=463, depth=17..29, filters=21957303, revisions=(27829140,useless=10519062), ccks=54281524, wck=38.373, mem=97M950
45.07/40.86 decisions=385004, wrong=187390, backtracks=130457, failedAssignments=122500, nogoods=3487, foundSolutions=29, bestBound=131
45.07/40.86
45.38/41.13 num=464, depth=17..28, filters=22110205, revisions=(28030718,useless=10595141), ccks=54636173, wck=38.642, mem=97M950
45.38/41.13 decisions=387954, wrong=188855, backtracks=131371, failedAssignments=123470, nogoods=3493, foundSolutions=29, bestBound=131
45.38/41.13
45.67/41.49 num=465, depth=17..28, filters=22310027, revisions=(28279906,useless=10686206), ccks=55118796, wck=38.999, mem=97M950
45.67/41.49 decisions=391227, wrong=190481, backtracks=132605, failedAssignments=124537, nogoods=3500, foundSolutions=29, bestBound=131
45.67/41.49
46.07/41.83 num=466, depth=17..28, filters=22517625, revisions=(28555342,useless=10793768), ccks=55554392, wck=39.348, mem=97M950
46.07/41.83 decisions=394710, wrong=192213, backtracks=133742, failedAssignments=125710, nogoods=3507, foundSolutions=29, bestBound=131
46.07/41.83
46.38/42.19 num=467, depth=17..29, filters=22718777, revisions=(28809811,useless=10888718), ccks=56012993, wck=39.707, mem=97M950
46.38/42.19 decisions=398672, wrong=194183, backtracks=135116, failedAssignments=127001, nogoods=3512, foundSolutions=29, bestBound=131
46.38/42.19
46.77/42.59 num=468, depth=17..29, filters=22942930, revisions=(29099685,useless=10998335), ccks=56548477, wck=40.108, mem=97M950
46.77/42.59 decisions=403013, wrong=196342, backtracks=136616, failedAssignments=128421, nogoods=3516, foundSolutions=29, bestBound=131
46.77/42.59
47.28/43.06 num=469, depth=17..30, filters=23205508, revisions=(29435677,useless=11124590), ccks=57159155, wck=40.57, mem=97M950
47.28/43.06 decisions=407816, wrong=198733, backtracks=138236, failedAssignments=129983, nogoods=3527, foundSolutions=29, bestBound=131
47.28/43.06
47.77/43.55 num=470, depth=17..29, filters=23479854, revisions=(29799043,useless=11265432), ccks=57826273, wck=41.066, mem=97M950
47.77/43.55 decisions=413264, wrong=201447, backtracks=140200, failedAssignments=131701, nogoods=3540, foundSolutions=29, bestBound=131
47.77/43.55
48.47/44.20 num=471, depth=16..29, filters=23852145, revisions=(30273951,useless=11446428), ccks=58706496, wck=41.712, mem=100M593
48.47/44.20 decisions=419185, wrong=204398, backtracks=142433, failedAssignments=133591, nogoods=3548, foundSolutions=29, bestBound=131
48.47/44.20
49.07/44.88 num=472, depth=16..30, filters=24246838, revisions=(30764778,useless=11627591), ccks=59628988, wck=42.394, mem=100M593
49.07/44.88 decisions=425589, wrong=207589, backtracks=144824, failedAssignments=135670, nogoods=3554, foundSolutions=29, bestBound=131
49.07/44.88
49.97/45.73 num=473, depth=16..30, filters=24726521, revisions=(31358083,useless=11846327), ccks=60767837, wck=43.243, mem=100M593
49.97/45.73 decisions=432894, wrong=211231, backtracks=147805, failedAssignments=137957, nogoods=3562, foundSolutions=29, bestBound=131
49.97/45.73
50.77/46.52 num=474, depth=16..30, filters=25200280, revisions=(31943959,useless=12059222), ccks=61846043, wck=44.037, mem=100M593
50.77/46.52 decisions=440548, wrong=215047, backtracks=150453, failedAssignments=140473, nogoods=3567, foundSolutions=29, bestBound=131
50.77/46.52
51.58/47.39 num=475, depth=16..29, filters=25695086, revisions=(32566572,useless=12293950), ccks=62999984, wck=44.901, mem=100M593
51.58/47.39 decisions=449383, wrong=219453, backtracks=153848, failedAssignments=143241, nogoods=3578, foundSolutions=29, bestBound=131
51.58/47.39
52.48/48.26 num=476, depth=16..30, filters=26206302, revisions=(33211217,useless=12530529), ccks=64161679, wck=45.773, mem=100M593
52.48/48.26 decisions=458583, wrong=224043, backtracks=156935, failedAssignments=146285, nogoods=3594, foundSolutions=29, bestBound=131
52.48/48.26
53.48/49.26 num=477, depth=16..31, filters=26793338, revisions=(33934265,useless=12792493), ccks=65546543, wck=46.776, mem=100M593
53.48/49.26 decisions=468917, wrong=229200, backtracks=160648, failedAssignments=149634, nogoods=3604, foundSolutions=29, bestBound=131
53.48/49.26
54.58/50.31 num=478, depth=16..32, filters=27377058, revisions=(34716107,useless=13117697), ccks=67267875, wck=47.823, mem=100M593
54.58/50.31 decisions=481460, wrong=235461, backtracks=165575, failedAssignments=153318, nogoods=3611, foundSolutions=29, bestBound=131
54.58/50.31
55.88/51.64 num=479, depth=16..31, filters=28173650, revisions=(35694779,useless=13476944), ccks=69149322, wck=49.152, mem=100M593
55.88/51.64 decisions=494643, wrong=242042, backtracks=170451, failedAssignments=157370, nogoods=3617, foundSolutions=29, bestBound=131
55.88/51.64
56.39/52.15 o 115
56.39/52.16 num=480, depth=18..555, filters=28483436, revisions=(36071036,useless=13611503), ccks=69858030, wck=49.669, mem=100M593
56.39/52.16 decisions=500461, wrong=244940, backtracks=172392, failedAssignments=159210, nogoods=3633, foundSolutions=30, bestBound=115
56.39/52.16
57.88/53.66 num=481, depth=17..30, filters=29385710, revisions=(37185891,useless=14021453), ccks=71885016, wck=51.173, mem=100M593
57.88/53.66 decisions=516182, wrong=252790, backtracks=177866, failedAssignments=164113, nogoods=3642, foundSolutions=30, bestBound=115
57.88/53.66
57.88/53.66 num=482, depth=23..29, filters=29387442, revisions=(37189131,useless=14023275), ccks=71890897, wck=51.178, mem=100M593
57.88/53.66 decisions=516236, wrong=252805, backtracks=177877, failedAssignments=164124, nogoods=3644, foundSolutions=30, bestBound=115
57.88/53.66
57.88/53.67 num=483, depth=23..26, filters=29389541, revisions=(37192656,useless=14025121), ccks=71895636, wck=51.183, mem=100M593
57.88/53.67 decisions=516295, wrong=252823, backtracks=177887, failedAssignments=164136, nogoods=3650, foundSolutions=30, bestBound=115
57.88/53.67
57.88/53.67 num=484, depth=23..27, filters=29391858, revisions=(37196419,useless=14026987), ccks=71901427, wck=51.188, mem=100M593
57.88/53.67 decisions=516355, wrong=252841, backtracks=177895, failedAssignments=164149, nogoods=3655, foundSolutions=30, bestBound=115
57.88/53.67
57.88/53.68 num=485, depth=23..29, filters=29394012, revisions=(37200041,useless=14028896), ccks=71906675, wck=51.192, mem=100M593
57.88/53.68 decisions=516415, wrong=252859, backtracks=177907, failedAssignments=164163, nogoods=3658, foundSolutions=30, bestBound=115
57.88/53.68
57.88/53.69 num=486, depth=23..28, filters=29397262, revisions=(37205033,useless=14031263), ccks=71914046, wck=51.199, mem=100M593
57.88/53.69 decisions=516483, wrong=252881, backtracks=177923, failedAssignments=164179, nogoods=3664, foundSolutions=30, bestBound=115
57.88/53.69
57.88/53.69 num=487, depth=22..27, filters=29400833, revisions=(37210506,useless=14033862), ccks=71923105, wck=51.206, mem=100M593
57.88/53.69 decisions=516552, wrong=252904, backtracks=177938, failedAssignments=164196, nogoods=3670, foundSolutions=30, bestBound=115
57.88/53.69
57.98/53.71 num=488, depth=21..28, filters=29406887, revisions=(37219089,useless=14037868), ccks=71933867, wck=51.219, mem=100M593
57.98/53.71 decisions=516636, wrong=252934, backtracks=177962, failedAssignments=164215, nogoods=3674, foundSolutions=30, bestBound=115
57.98/53.71
57.98/53.72 num=489, depth=21..27, filters=29412352, revisions=(37227010,useless=14041405), ccks=71947770, wck=51.23, mem=100M593
57.98/53.72 decisions=516727, wrong=252968, backtracks=177987, failedAssignments=164236, nogoods=3678, foundSolutions=30, bestBound=115
57.98/53.72
57.98/53.73 num=490, depth=22..27, filters=29417817, revisions=(37234816,useless=14044856), ccks=71960302, wck=51.24, mem=100M593
57.98/53.73 decisions=516820, wrong=253003, backtracks=178016, failedAssignments=164259, nogoods=3683, foundSolutions=30, bestBound=115
57.98/53.73
57.98/53.74 num=491, depth=21..30, filters=29424082, revisions=(37243891,useless=14048920), ccks=71972220, wck=51.252, mem=100M593
57.98/53.74 decisions=516919, wrong=253041, backtracks=178043, failedAssignments=164284, nogoods=3686, foundSolutions=30, bestBound=115
57.98/53.74
57.98/53.75 num=492, depth=22..28, filters=29428041, revisions=(37249965,useless=14051642), ccks=71981489, wck=51.259, mem=100M593
57.98/53.75 decisions=517019, wrong=253080, backtracks=178062, failedAssignments=164312, nogoods=3687, foundSolutions=30, bestBound=115
57.98/53.75
57.98/53.76 num=493, depth=22..28, filters=29432914, revisions=(37257450,useless=14055164), ccks=71992205, wck=51.269, mem=100M593
57.98/53.76 decisions=517130, wrong=253124, backtracks=178093, failedAssignments=164343, nogoods=3693, foundSolutions=30, bestBound=115
57.98/53.76
57.98/53.77 num=494, depth=21..28, filters=29440958, revisions=(37268114,useless=14059586), ccks=72008654, wck=51.283, mem=100M593
57.98/53.77 decisions=517258, wrong=253177, backtracks=178134, failedAssignments=164377, nogoods=3697, foundSolutions=30, bestBound=115
57.98/53.77
57.98/53.78 num=495, depth=22..29, filters=29448924, revisions=(37279140,useless=14064282), ccks=72025617, wck=51.297, mem=100M593
57.98/53.78 decisions=517398, wrong=253235, backtracks=178175, failedAssignments=164414, nogoods=3708, foundSolutions=30, bestBound=115
57.98/53.78
58.08/53.80 num=496, depth=20..29, filters=29456902, revisions=(37290351,useless=14069126), ccks=72043722, wck=51.313, mem=103M236
58.08/53.80 decisions=517545, wrong=253297, backtracks=178220, failedAssignments=164455, nogoods=3712, foundSolutions=30, bestBound=115
58.08/53.80
58.08/53.81 num=497, depth=21..28, filters=29463552, revisions=(37299945,useless=14073320), ccks=72058473, wck=51.326, mem=103M236
58.08/53.81 decisions=517691, wrong=253358, backtracks=178259, failedAssignments=164500, nogoods=3722, foundSolutions=30, bestBound=115
58.08/53.81
58.08/53.83 num=498, depth=21..28, filters=29473161, revisions=(37313579,useless=14079220), ccks=72080660, wck=51.343, mem=103M236
58.08/53.83 decisions=517869, wrong=253436, backtracks=178318, failedAssignments=164550, nogoods=3726, foundSolutions=30, bestBound=115
58.08/53.83
58.08/53.85 num=499, depth=20..28, filters=29485380, revisions=(37331065,useless=14087186), ccks=72109078, wck=51.366, mem=103M236
58.08/53.85 decisions=518060, wrong=253521, backtracks=178392, failedAssignments=164605, nogoods=3730, foundSolutions=30, bestBound=115
58.08/53.85
58.08/53.87 num=500, depth=21..28, filters=29495786, revisions=(37345904,useless=14093438), ccks=72132236, wck=51.384, mem=103M236
58.08/53.87 decisions=518260, wrong=253610, backtracks=178450, failedAssignments=164666, nogoods=3738, foundSolutions=30, bestBound=115
58.08/53.87
58.18/53.90 num=501, depth=21..27, filters=29510872, revisions=(37365563,useless=14101307), ccks=72169562, wck=51.411, mem=103M236
58.18/53.90 decisions=518506, wrong=253722, backtracks=178534, failedAssignments=164733, nogoods=3744, foundSolutions=30, bestBound=115
58.18/53.90
58.18/53.92 num=502, depth=21..29, filters=29524962, revisions=(37384624,useless=14109172), ccks=72203441, wck=51.438, mem=103M236
58.18/53.92 decisions=518757, wrong=253835, backtracks=178615, failedAssignments=164807, nogoods=3753, foundSolutions=30, bestBound=115
58.18/53.92
58.18/53.94 num=503, depth=18..29, filters=29535454, revisions=(37401197,useless=14117121), ccks=72231458, wck=51.458, mem=103M236
58.18/53.94 decisions=519033, wrong=253963, backtracks=178708, failedAssignments=164888, nogoods=3756, foundSolutions=30, bestBound=115
58.18/53.94
58.18/53.97 num=504, depth=21..28, filters=29550718, revisions=(37421870,useless=14125467), ccks=72268800, wck=51.485, mem=103M236
58.18/53.97 decisions=519323, wrong=254097, backtracks=178797, failedAssignments=164977, nogoods=3764, foundSolutions=30, bestBound=115
58.18/53.97
58.29/54.01 num=505, depth=20..28, filters=29571691, revisions=(37449813,useless=14136554), ccks=72321014, wck=51.524, mem=103M236
58.29/54.01 decisions=519670, wrong=254260, backtracks=178911, failedAssignments=165075, nogoods=3768, foundSolutions=30, bestBound=115
58.29/54.01
58.29/54.04 num=506, depth=21..29, filters=29588697, revisions=(37473216,useless=14145754), ccks=72356677, wck=51.553, mem=103M236
58.29/54.04 decisions=520021, wrong=254424, backtracks=179017, failedAssignments=165183, nogoods=3775, foundSolutions=30, bestBound=115
58.29/54.04
58.29/54.07 num=507, depth=20..28, filters=29607560, revisions=(37498715,useless=14156252), ccks=72398436, wck=51.586, mem=103M236
58.29/54.07 decisions=520415, wrong=254609, backtracks=179132, failedAssignments=165302, nogoods=3780, foundSolutions=30, bestBound=115
58.29/54.07
58.39/54.11 num=508, depth=20..29, filters=29626999, revisions=(37526763,useless=14168557), ccks=72448460, wck=51.622, mem=103M236
58.39/54.11 decisions=520832, wrong=254806, backtracks=179290, failedAssignments=165433, nogoods=3785, foundSolutions=30, bestBound=115
58.39/54.11
58.39/54.16 num=509, depth=20..30, filters=29654353, revisions=(37562768,useless=14182595), ccks=72508030, wck=51.67, mem=103M236
58.39/54.16 decisions=521279, wrong=255019, backtracks=179445, failedAssignments=165577, nogoods=3791, foundSolutions=30, bestBound=115
58.39/54.16
58.39/54.19 num=510, depth=21..31, filters=29673159, revisions=(37588440,useless=14192552), ccks=72548550, wck=51.703, mem=103M236
58.39/54.19 decisions=521761, wrong=255249, backtracks=179566, failedAssignments=165735, nogoods=3798, foundSolutions=30, bestBound=115
58.39/54.19
58.48/54.25 num=511, depth=19..28, filters=29704587, revisions=(37629577,useless=14208832), ccks=72620803, wck=51.761, mem=103M236
58.48/54.25 decisions=522331, wrong=255523, backtracks=179760, failedAssignments=165909, nogoods=3805, foundSolutions=30, bestBound=115
58.48/54.25
58.59/54.32 num=512, depth=20..28, filters=29743294, revisions=(37679019,useless=14228160), ccks=72704731, wck=51.83, mem=103M236
58.59/54.32 decisions=522966, wrong=255830, backtracks=179972, failedAssignments=166100, nogoods=3815, foundSolutions=30, bestBound=115
58.59/54.32
58.59/54.38 num=513, depth=19..28, filters=29777817, revisions=(37725888,useless=14247108), ccks=72783793, wck=51.89, mem=103M236
58.59/54.38 decisions=523626, wrong=256149, backtracks=180195, failedAssignments=166311, nogoods=3820, foundSolutions=30, bestBound=115
58.59/54.38
58.69/54.46 num=514, depth=19..28, filters=29824001, revisions=(37786302,useless=14270595), ccks=72882614, wck=51.972, mem=103M236
58.69/54.46 decisions=524341, wrong=256495, backtracks=180455, failedAssignments=166543, nogoods=3831, foundSolutions=30, bestBound=115
58.69/54.46
58.79/54.52 num=515, depth=19..28, filters=29857776, revisions=(37832984,useless=14288894), ccks=72957033, wck=52.032, mem=103M236
58.79/54.52 decisions=525113, wrong=256871, backtracks=180681, failedAssignments=166798, nogoods=3835, foundSolutions=30, bestBound=115
58.79/54.52
58.89/54.60 num=516, depth=19..28, filters=29902364, revisions=(37891643,useless=14310631), ccks=73058847, wck=52.112, mem=103M236
58.89/54.60 decisions=526001, wrong=257304, backtracks=180947, failedAssignments=167079, nogoods=3848, foundSolutions=30, bestBound=115
58.89/54.60
58.89/54.68 num=517, depth=19..28, filters=29947181, revisions=(37955103,useless=14337299), ccks=73164249, wck=52.194, mem=103M236
58.89/54.68 decisions=526947, wrong=257765, backtracks=181260, failedAssignments=167388, nogoods=3857, foundSolutions=30, bestBound=115
58.89/54.68
58.99/54.77 num=518, depth=19..31, filters=30000130, revisions=(38027144,useless=14365571), ccks=73285273, wck=52.287, mem=103M236
58.99/54.77 decisions=528018, wrong=258289, backtracks=181615, failedAssignments=167728, nogoods=3866, foundSolutions=30, bestBound=115
58.99/54.77
59.09/54.88 num=519, depth=19..28, filters=30058018, revisions=(38104402,useless=14395946), ccks=73412988, wck=52.388, mem=103M236
59.09/54.88 decisions=529134, wrong=258836, backtracks=181984, failedAssignments=168102, nogoods=3873, foundSolutions=30, bestBound=115
59.09/54.88
59.19/54.98 num=520, depth=18..29, filters=30110451, revisions=(38180426,useless=14429918), ccks=73561450, wck=52.489, mem=103M236
59.19/54.98 decisions=530365, wrong=259441, backtracks=182489, failedAssignments=168513, nogoods=3879, foundSolutions=30, bestBound=115
59.19/54.98
59.30/55.10 num=521, depth=19..29, filters=30183777, revisions=(38277173,useless=14466965), ccks=73718170, wck=52.618, mem=103M236
59.30/55.10 decisions=531735, wrong=260116, backtracks=182928, failedAssignments=168965, nogoods=3889, foundSolutions=30, bestBound=115
59.30/55.10
59.49/55.26 num=522, depth=19..29, filters=30274172, revisions=(38396030,useless=14513676), ccks=73911839, wck=52.774, mem=103M236
59.49/55.26 decisions=533289, wrong=260883, backtracks=183484, failedAssignments=169462, nogoods=3897, foundSolutions=30, bestBound=115
59.49/55.26
59.59/55.39 num=523, depth=17..27, filters=30343362, revisions=(38497603,useless=14556312), ccks=74075697, wck=52.908, mem=103M236
59.59/55.39 decisions=534941, wrong=261699, backtracks=183948, failedAssignments=170009, nogoods=3909, foundSolutions=30, bestBound=115
59.59/55.39
59.79/55.56 num=524, depth=19..29, filters=30440323, revisions=(38624727,useless=14604692), ccks=74289949, wck=53.074, mem=103M236
59.79/55.56 decisions=536778, wrong=262606, backtracks=184541, failedAssignments=170611, nogoods=3919, foundSolutions=30, bestBound=115
59.79/55.56
59.99/55.77 num=525, depth=18..28, filters=30558171, revisions=(38780741,useless=14666001), ccks=74547429, wck=53.283, mem=103M236
59.99/55.77 decisions=538826, wrong=263620, backtracks=185265, failedAssignments=171273, nogoods=3929, foundSolutions=30, bestBound=115
59.99/55.77
60.19/56.00 num=526, depth=17..28, filters=30685583, revisions=(38943615,useless=14724606), ccks=74833934, wck=53.51, mem=103M236
60.19/56.00 decisions=541077, wrong=264735, backtracks=186014, failedAssignments=172001, nogoods=3933, foundSolutions=30, bestBound=115
60.19/56.00
60.50/56.29 num=527, depth=18..29, filters=30850157, revisions=(39152795,useless=14805174), ccks=75210397, wck=53.803, mem=103M236
60.50/56.29 decisions=543800, wrong=266086, backtracks=187089, failedAssignments=172802, nogoods=3947, foundSolutions=30, bestBound=115
60.50/56.29
60.80/56.57 num=528, depth=17..29, filters=31016711, revisions=(39371146,useless=14889113), ccks=75573573, wck=54.085, mem=103M236
60.80/56.57 decisions=546528, wrong=267440, backtracks=188048, failedAssignments=173683, nogoods=3956, foundSolutions=30, bestBound=115
60.80/56.57
61.10/56.83 num=529, depth=18..30, filters=31165174, revisions=(39571332,useless=14967446), ccks=75902235, wck=54.345, mem=103M236
61.10/56.83 decisions=549628, wrong=268980, backtracks=189119, failedAssignments=174653, nogoods=3962, foundSolutions=30, bestBound=115
61.10/56.83
61.40/57.11 num=530, depth=18..32, filters=31318202, revisions=(39778287,useless=15056734), ccks=76296861, wck=54.622, mem=103M236
61.40/57.11 decisions=553067, wrong=270690, backtracks=190426, failedAssignments=175720, nogoods=3969, foundSolutions=30, bestBound=115
61.40/57.11
61.80/57.52 num=531, depth=17..28, filters=31551033, revisions=(40081246,useless=15172835), ccks=76810776, wck=55.033, mem=103M236
61.80/57.52 decisions=556696, wrong=272494, backtracks=191666, failedAssignments=176893, nogoods=3979, foundSolutions=30, bestBound=115
61.80/57.52
62.20/57.96 num=532, depth=17..29, filters=31801492, revisions=(40394316,useless=15287355), ccks=77383029, wck=55.469, mem=103M236
62.20/57.96 decisions=560756, wrong=274514, backtracks=193187, failedAssignments=178184, nogoods=3993, foundSolutions=30, bestBound=115
62.20/57.96
62.70/58.44 num=533, depth=17..30, filters=32075904, revisions=(40756284,useless=15428313), ccks=78004219, wck=55.958, mem=103M236
62.70/58.44 decisions=565127, wrong=276688, backtracks=194862, failedAssignments=179604, nogoods=4001, foundSolutions=30, bestBound=115
62.70/58.44
63.30/59.03 num=534, depth=16..29, filters=32416738, revisions=(41201687,useless=15602476), ccks=78732582, wck=56.545, mem=103M236
63.30/59.03 decisions=570252, wrong=279240, backtracks=196845, failedAssignments=181166, nogoods=4007, foundSolutions=30, bestBound=115
63.30/59.03
63.80/59.57 num=535, depth=17..29, filters=32730605, revisions=(41592601,useless=15744415), ccks=79422042, wck=57.084, mem=103M236
63.80/59.57 decisions=575510, wrong=281859, backtracks=198679, failedAssignments=182884, nogoods=4018, foundSolutions=30, bestBound=115
63.80/59.57
64.41/60.13 num=536, depth=16..28, filters=33052662, revisions=(42011631,useless=15902722), ccks=80110161, wck=57.641, mem=103M236
64.41/60.13 decisions=581270, wrong=284729, backtracks=200511, failedAssignments=184774, nogoods=4027, foundSolutions=30, bestBound=115
64.41/60.13
64.90/60.68 num=537, depth=17..29, filters=33362726, revisions=(42422749,useless=16063623), ccks=80834401, wck=58.198, mem=103M236
64.90/60.68 decisions=587604, wrong=287886, backtracks=202739, failedAssignments=186853, nogoods=4041, foundSolutions=30, bestBound=115
64.90/60.68
65.70/61.46 num=538, depth=16..31, filters=33817042, revisions=(42989121,useless=16284759), ccks=81827317, wck=58.969, mem=103M236
65.70/61.46 decisions=594874, wrong=291510, backtracks=205448, failedAssignments=189140, nogoods=4047, foundSolutions=30, bestBound=115
65.70/61.46
66.61/62.31 num=539, depth=16..30, filters=34313934, revisions=(43599020,useless=16505337), ccks=82925279, wck=59.825, mem=105M878
66.61/62.31 decisions=602693, wrong=295409, backtracks=208300, failedAssignments=191656, nogoods=4054, foundSolutions=30, bestBound=115
66.61/62.31
67.50/63.24 num=540, depth=16..30, filters=34853831, revisions=(44261574,useless=16749554), ccks=84167510, wck=60.757, mem=105M878
67.50/63.24 decisions=611651, wrong=299877, backtracks=211661, failedAssignments=194424, nogoods=4059, foundSolutions=30, bestBound=115
67.50/63.24
68.61/64.31 num=541, depth=16..31, filters=35477269, revisions=(45063131,useless=17061525), ccks=85559351, wck=61.823, mem=105M878
68.61/64.31 decisions=621346, wrong=304715, backtracks=215493, failedAssignments=197468, nogoods=4067, foundSolutions=30, bestBound=115
68.61/64.31
69.71/65.46 num=542, depth=17..31, filters=36135969, revisions=(45924410,useless=17404372), ccks=87096499, wck=62.973, mem=105M878
69.71/65.46 decisions=632793, wrong=310427, backtracks=220200, failedAssignments=200817, nogoods=4078, foundSolutions=30, bestBound=115
69.71/65.46
70.91/66.63 num=543, depth=16..30, filters=36823492, revisions=(46800836,useless=17734564), ccks=88594135, wck=64.14, mem=105M878
70.91/66.63 decisions=644196, wrong=316119, backtracks=224349, failedAssignments=204501, nogoods=4087, foundSolutions=30, bestBound=115
70.91/66.63
72.23/67.98 num=544, depth=16..30, filters=37609394, revisions=(47785079,useless=18096151), ccks=90350753, wck=65.495, mem=105M878
72.23/67.98 decisions=656988, wrong=322504, backtracks=229053, failedAssignments=208553, nogoods=4103, foundSolutions=30, bestBound=115
72.23/67.98
73.63/69.39 num=545, depth=17..32, filters=38399148, revisions=(48891251,useless=18569682), ccks=92487220, wck=66.902, mem=105M878
73.63/69.39 decisions=672494, wrong=330247, backtracks=235363, failedAssignments=213010, nogoods=4115, foundSolutions=30, bestBound=115
73.63/69.39
75.44/71.17 num=546, depth=15..30, filters=39439144, revisions=(50169173,useless=19040791), ccks=94857523, wck=68.686, mem=105M878
75.44/71.17 decisions=688220, wrong=338100, backtracks=241479, failedAssignments=217913, nogoods=4123, foundSolutions=30, bestBound=115
75.44/71.17
77.13/72.90 num=547, depth=16..33, filters=40432043, revisions=(51441302,useless=19528901), ccks=97219464, wck=70.41, mem=105M878
77.13/72.90 decisions=705598, wrong=346778, backtracks=248527, failedAssignments=223307, nogoods=4132, foundSolutions=30, bestBound=115
77.13/72.90
79.23/74.97 num=548, depth=16..31, filters=41642190, revisions=(52981351,useless=20122713), ccks=100186844, wck=72.482, mem=105M878
79.23/74.97 decisions=725812, wrong=356876, backtracks=255653, failedAssignments=229240, nogoods=4138, foundSolutions=30, bestBound=115
79.23/74.97
81.44/77.15 num=549, depth=15..31, filters=42888520, revisions=(54534946,useless=20706226), ccks=103145390, wck=74.667, mem=108M521
81.44/77.15 decisions=746704, wrong=367312, backtracks=263909, failedAssignments=235766, nogoods=4147, foundSolutions=30, bestBound=115
81.44/77.15
83.53/79.25 num=550, depth=15..30, filters=44134750, revisions=(56097013,useless=21273690), ccks=105867501, wck=76.763, mem=108M521
83.53/79.25 decisions=769307, wrong=378604, backtracks=271446, failedAssignments=242945, nogoods=4159, foundSolutions=30, bestBound=115
83.53/79.25
86.03/81.75 num=551, depth=15..31, filters=45586783, revisions=(57888143,useless=21948353), ccks=109275707, wck=79.266, mem=108M521
86.03/81.75 decisions=795129, wrong=391505, backtracks=281599, failedAssignments=250842, nogoods=4171, foundSolutions=30, bestBound=115
86.03/81.75
88.73/84.40 num=552, depth=15..30, filters=47199562, revisions=(59914685,useless=22704499), ccks=112910357, wck=81.914, mem=108M521
88.73/84.40 decisions=823449, wrong=405656, backtracks=291481, failedAssignments=259529, nogoods=4183, foundSolutions=30, bestBound=115
88.73/84.40
91.73/87.45 num=553, depth=16..34, filters=48969037, revisions=(62121813,useless=23550214), ccks=117205920, wck=84.965, mem=108M521
91.73/87.45 decisions=855304, wrong=421574, backtracks=304365, failedAssignments=269084, nogoods=4192, foundSolutions=30, bestBound=115
91.73/87.45
95.03/90.70 num=554, depth=16..32, filters=50892930, revisions=(64648054,useless=24557589), ccks=121796651, wck=88.21, mem=108M521
95.03/90.70 decisions=890619, wrong=439221, backtracks=317516, failedAssignments=279595, nogoods=4201, foundSolutions=30, bestBound=115
95.03/90.70
98.23/93.98 num=555, depth=14..32, filters=52764342, revisions=(67134442,useless=25608956), ccks=127121133, wck=91.494, mem=111M163
98.23/93.98 decisions=930346, wrong=459075, backtracks=333713, failedAssignments=291157, nogoods=4210, foundSolutions=30, bestBound=115
98.23/93.98
102.73/98.44 num=556, depth=15..31, filters=55385101, revisions=(70407773,useless=26875289), ccks=133439298, wck=95.953, mem=111M163
102.73/98.44 decisions=973553, wrong=480669, backtracks=350612, failedAssignments=303875, nogoods=4218, foundSolutions=30, bestBound=115
102.73/98.44
107.03/102.77 num=557, depth=15..30, filters=57939009, revisions=(73693735,useless=28138504), ccks=139393162, wck=100.281, mem=111M163
107.03/102.77 decisions=1018998, wrong=503383, backtracks=367903, failedAssignments=317865, nogoods=4228, foundSolutions=30, bestBound=115
107.03/102.77
111.93/107.63 num=558, depth=14..30, filters=60777061, revisions=(77196496,useless=29421909), ccks=145908497, wck=105.145, mem=113M806
111.93/107.63 decisions=1067668, wrong=527709, backtracks=386905, failedAssignments=333254, nogoods=4234, foundSolutions=30, bestBound=115
111.93/107.63
117.23/112.95 num=559, depth=14..31, filters=63949387, revisions=(81068056,useless=30834401), ccks=153104447, wck=110.462, mem=113M806
117.23/112.95 decisions=1122406, wrong=555069, backtracks=407013, failedAssignments=350182, nogoods=4245, foundSolutions=30, bestBound=115
117.23/112.95
122.93/118.63 num=560, depth=14..30, filters=67364699, revisions=(85292651,useless=32375487), ccks=160734075, wck=116.141, mem=113M806
122.93/118.63 decisions=1183362, wrong=585537, backtracks=428921, failedAssignments=368803, nogoods=4251, foundSolutions=30, bestBound=115
122.93/118.63
129.25/124.92 num=561, depth=14..32, filters=71076755, revisions=(90011479,useless=34187524), ccks=169504615, wck=122.429, mem=116M448
129.25/124.92 decisions=1249539, wrong=618616, backtracks=453405, failedAssignments=389287, nogoods=4262, foundSolutions=30, bestBound=115
129.25/124.92
136.25/131.95 num=562, depth=14..32, filters=75267521, revisions=(95285598,useless=36182541), ccks=179285682, wck=129.464, mem=116M448
136.25/131.95 decisions=1324859, wrong=656266, backtracks=481672, failedAssignments=411819, nogoods=4273, foundSolutions=30, bestBound=115
136.25/131.95
145.26/140.97 num=563, depth=14..32, filters=80635420, revisions=(102111290,useless=38861957), ccks=191627038, wck=138.487, mem=119M90
145.26/140.97 decisions=1411328, wrong=699489, backtracks=517034, failedAssignments=436604, nogoods=4277, foundSolutions=30, bestBound=115
145.26/140.97
154.56/150.26 num=564, depth=14..32, filters=86038603, revisions=(109072237,useless=41546733), ccks=204525747, wck=147.776, mem=119M90
154.56/150.26 decisions=1508005, wrong=747818, backtracks=554348, failedAssignments=463868, nogoods=4282, foundSolutions=30, bestBound=115
154.56/150.26
165.26/160.96 num=565, depth=14..32, filters=92302830, revisions=(117108703,useless=44705628), ccks=219394821, wck=158.476, mem=121M733
165.26/160.96 decisions=1611067, wrong=799339, backtracks=594391, failedAssignments=493858, nogoods=4292, foundSolutions=30, bestBound=115
165.26/160.96
175.96/171.62 num=566, depth=13..32, filters=98513300, revisions=(124829914,useless=47611142), ccks=234258989, wck=169.132, mem=124M375
175.96/171.62 decisions=1721516, wrong=854554, backtracks=637174, failedAssignments=526847, nogoods=4301, foundSolutions=30, bestBound=115
175.96/171.62
188.37/184.02 num=567, depth=13..31, filters=105849358, revisions=(133922173,useless=50985905), ccks=251518504, wck=181.538, mem=127M18
188.37/184.02 decisions=1843682, wrong=915627, backtracks=685216, failedAssignments=563135, nogoods=4315, foundSolutions=30, bestBound=115
188.37/184.02
202.07/197.78 num=568, depth=13..32, filters=113998338, revisions=(143921553,useless=54668317), ccks=270661213, wck=195.297, mem=127M18
202.07/197.78 decisions=1977641, wrong=982596, backtracks=737634, failedAssignments=603052, nogoods=4325, foundSolutions=30, bestBound=115
202.07/197.78
215.48/211.13 num=569, depth=14..32, filters=122084936, revisions=(154101281,useless=58463538), ccks=289319313, wck=208.642, mem=129M660
215.48/211.13 decisions=2123490, wrong=1055511, backtracks=792585, failedAssignments=646961, nogoods=4342, foundSolutions=30, bestBound=115
215.48/211.13
229.38/225.09 num=570, depth=13..33, filters=130099264, revisions=(164750718,useless=62889286), ccks=310859224, wck=222.603, mem=132M303
229.38/225.09 decisions=2287970, wrong=1137741, backtracks=860727, failedAssignments=695261, nogoods=4352, foundSolutions=30, bestBound=115
229.38/225.09
247.28/242.99 num=571, depth=13..32, filters=140834676, revisions=(177965695,useless=67863843), ccks=336522765, wck=240.5, mem=134M945
247.28/242.99 decisions=2466213, wrong=1226852, backtracks=927487, failedAssignments=748391, nogoods=4361, foundSolutions=30, bestBound=115
247.28/242.99
263.69/259.32 num=572, depth=0..37, filters=149288695, revisions=(190113873,useless=73701454), ccks=361336661, wck=256.835, mem=140M230
263.69/259.32 decisions=2684355, wrong=1335914, backtracks=1017270, failedAssignments=806834, nogoods=4369, foundSolutions=30, bestBound=115
263.69/259.32
303.90/299.58 num=573, depth=0..40, filters=171341675, revisions=(227040802,useless=93011981), ccks=415151893, wck=297.091, mem=142M778
303.90/299.58 decisions=2937643, wrong=1462547, backtracks=1105183, failedAssignments=871121, nogoods=4377, foundSolutions=30, bestBound=115
303.90/299.58
321.75/317.36 o 111
321.75/317.36 num=574, depth=14..555, filters=182412349, revisions=(241558798,useless=98952264), ccks=441162763, wck=314.87, mem=25M613
321.75/317.36 decisions=3125233, wrong=1556332, backtracks=1171412, failedAssignments=924343, nogoods=4394, foundSolutions=31, bestBound=111
321.75/317.36
346.35/341.99 num=575, depth=13..44, filters=197444341, revisions=(260284438,useless=105951976), ccks=474749558, wck=339.505, mem=30M793
346.35/341.99 decisions=3393538, wrong=1690475, backtracks=1270961, failedAssignments=1002130, nogoods=4410, foundSolutions=31, bestBound=111
346.35/341.99
346.35/342.00 num=576, depth=21..26, filters=197446379, revisions=(260288050,useless=105954009), ccks=474756444, wck=339.512, mem=30M793
346.35/342.00 decisions=3393592, wrong=1690490, backtracks=1270970, failedAssignments=1002141, nogoods=4413, foundSolutions=31, bestBound=111
346.35/342.00
346.35/342.01 num=577, depth=21..27, filters=197449370, revisions=(260292880,useless=105956397), ccks=474763715, wck=339.519, mem=30M793
346.35/342.01 decisions=3393649, wrong=1690507, backtracks=1270983, failedAssignments=1002153, nogoods=4415, foundSolutions=31, bestBound=111
346.35/342.01
346.46/342.01 num=578, depth=20..26, filters=197452876, revisions=(260298554,useless=105959320), ccks=474770346, wck=339.527, mem=30M793
346.46/342.01 decisions=3393706, wrong=1690525, backtracks=1270999, failedAssignments=1002166, nogoods=4417, foundSolutions=31, bestBound=111
346.46/342.01
346.46/342.02 num=579, depth=21..26, filters=197455154, revisions=(260302383,useless=105961304), ccks=474775697, wck=339.532, mem=30M793
346.46/342.02 decisions=3393766, wrong=1690544, backtracks=1271009, failedAssignments=1002180, nogoods=4421, foundSolutions=31, bestBound=111
346.46/342.02
346.46/342.03 num=580, depth=21..27, filters=197458161, revisions=(260307242,useless=105963725), ccks=474782388, wck=339.539, mem=30M793
346.46/342.03 decisions=3393833, wrong=1690566, backtracks=1271021, failedAssignments=1002196, nogoods=4432, foundSolutions=31, bestBound=111
346.46/342.03
346.46/342.03 num=581, depth=20..26, filters=197462453, revisions=(260313863,useless=105966874), ccks=474793064, wck=339.548, mem=30M793
346.46/342.03 decisions=3393904, wrong=1690591, backtracks=1271039, failedAssignments=1002213, nogoods=4436, foundSolutions=31, bestBound=111
346.46/342.03
346.46/342.04 num=582, depth=21..26, filters=197465376, revisions=(260318697,useless=105969223), ccks=474799483, wck=339.554, mem=30M793
346.46/342.04 decisions=3393978, wrong=1690617, backtracks=1271051, failedAssignments=1002232, nogoods=4441, foundSolutions=31, bestBound=111
346.46/342.04
346.46/342.05 num=583, depth=20..26, filters=197469230, revisions=(260324682,useless=105972054), ccks=474807301, wck=339.562, mem=30M793
346.46/342.05 decisions=3394060, wrong=1690648, backtracks=1271071, failedAssignments=1002253, nogoods=4442, foundSolutions=31, bestBound=111
346.46/342.05
346.46/342.06 num=584, depth=19..28, filters=197474708, revisions=(260332512,useless=105975677), ccks=474816507, wck=339.572, mem=30M793
346.46/342.06 decisions=3394147, wrong=1690681, backtracks=1271091, failedAssignments=1002276, nogoods=4451, foundSolutions=31, bestBound=111
346.46/342.06
346.46/342.07 num=585, depth=20..28, filters=197480046, revisions=(260340401,useless=105979232), ccks=474828184, wck=339.583, mem=30M793
346.46/342.07 decisions=3394239, wrong=1690716, backtracks=1271114, failedAssignments=1002301, nogoods=4461, foundSolutions=31, bestBound=111
346.46/342.07
346.46/342.09 num=586, depth=18..27, filters=197489244, revisions=(260353506,useless=105985130), ccks=474844045, wck=339.6, mem=30M793
346.46/342.09 decisions=3394348, wrong=1690760, backtracks=1271153, failedAssignments=1002329, nogoods=4464, foundSolutions=31, bestBound=111
346.46/342.09
346.46/342.10 num=587, depth=20..26, filters=197496223, revisions=(260363791,useless=105989692), ccks=474857805, wck=339.614, mem=30M793
346.46/342.10 decisions=3394462, wrong=1690807, backtracks=1271184, failedAssignments=1002360, nogoods=4470, foundSolutions=31, bestBound=111
346.46/342.10
346.56/342.11 num=588, depth=19..27, filters=197502645, revisions=(260373320,useless=105993956), ccks=474873030, wck=339.628, mem=30M793
346.56/342.11 decisions=3394586, wrong=1690859, backtracks=1271216, failedAssignments=1002394, nogoods=4480, foundSolutions=31, bestBound=111
346.56/342.11
346.56/342.13 num=589, depth=19..27, filters=197510245, revisions=(260384537,useless=105998809), ccks=474890290, wck=339.643, mem=30M793
346.56/342.13 decisions=3394716, wrong=1690913, backtracks=1271253, failedAssignments=1002431, nogoods=4491, foundSolutions=31, bestBound=111
346.56/342.13
346.56/342.14 num=590, depth=20..26, filters=197516186, revisions=(260393168,useless=106002486), ccks=474903166, wck=339.654, mem=30M793
346.56/342.14 decisions=3394854, wrong=1690972, backtracks=1271283, failedAssignments=1002472, nogoods=4499, foundSolutions=31, bestBound=111
346.56/342.14
346.56/342.16 num=591, depth=19..28, filters=197524859, revisions=(260405555,useless=106007926), ccks=474920959, wck=339.671, mem=30M793
346.56/342.16 decisions=3395015, wrong=1691041, backtracks=1271331, failedAssignments=1002517, nogoods=4508, foundSolutions=31, bestBound=111
346.56/342.16
346.56/342.17 num=592, depth=19..27, filters=197533087, revisions=(260417705,useless=106013204), ccks=474941505, wck=339.688, mem=30M793
346.56/342.17 decisions=3395184, wrong=1691115, backtracks=1271381, failedAssignments=1002567, nogoods=4514, foundSolutions=31, bestBound=111
346.56/342.17
346.56/342.19 num=593, depth=18..27, filters=197540726, revisions=(260429751,useless=106019264), ccks=474960776, wck=339.703, mem=30M793
346.56/342.19 decisions=3395380, wrong=1691202, backtracks=1271449, failedAssignments=1002622, nogoods=4521, foundSolutions=31, bestBound=111
346.56/342.19
346.65/342.21 num=594, depth=19..27, filters=197551272, revisions=(260445241,useless=106025952), ccks=474984858, wck=339.725, mem=30M793
346.65/342.21 decisions=3395578, wrong=1691291, backtracks=1271509, failedAssignments=1002683, nogoods=4533, foundSolutions=31, bestBound=111
346.65/342.21
346.65/342.23 num=595, depth=19..27, filters=197561015, revisions=(260459333,useless=106032253), ccks=475007247, wck=339.744, mem=30M793
346.65/342.23 decisions=3395783, wrong=1691383, backtracks=1271572, failedAssignments=1002750, nogoods=4545, foundSolutions=31, bestBound=111
346.65/342.23
346.65/342.25 num=596, depth=18..27, filters=197573612, revisions=(260477350,useless=106039868), ccks=475036609, wck=339.768, mem=30M793
346.65/342.25 decisions=3396018, wrong=1691489, backtracks=1271639, failedAssignments=1002824, nogoods=4548, foundSolutions=31, bestBound=111
346.65/342.25
346.65/342.28 num=597, depth=18..29, filters=197588818, revisions=(260498482,useless=106048802), ccks=475066538, wck=339.797, mem=30M793
346.65/342.28 decisions=3396284, wrong=1691611, backtracks=1271721, failedAssignments=1002905, nogoods=4552, foundSolutions=31, bestBound=111
346.65/342.28
346.76/342.31 num=598, depth=18..28, filters=197603701, revisions=(260519486,useless=106057474), ccks=475098756, wck=339.825, mem=30M793
346.76/342.31 decisions=3396575, wrong=1691746, backtracks=1271806, failedAssignments=1002994, nogoods=4559, foundSolutions=31, bestBound=111
346.76/342.31
346.76/342.34 num=599, depth=18..29, filters=197622228, revisions=(260544086,useless=106067121), ccks=475137842, wck=339.858, mem=30M793
346.76/342.34 decisions=3396896, wrong=1691895, backtracks=1271906, failedAssignments=1003092, nogoods=4572, foundSolutions=31, bestBound=111
346.76/342.34
346.76/342.38 num=600, depth=18..27, filters=197640925, revisions=(260569560,useless=106077426), ccks=475183706, wck=339.894, mem=30M793
346.76/342.38 decisions=3397247, wrong=1692060, backtracks=1272001, failedAssignments=1003200, nogoods=4586, foundSolutions=31, bestBound=111
346.76/342.38
346.86/342.42 num=601, depth=18..28, filters=197660188, revisions=(260597591,useless=106090054), ccks=475229762, wck=339.932, mem=30M793
346.86/342.42 decisions=3397623, wrong=1692237, backtracks=1272142, failedAssignments=1003319, nogoods=4595, foundSolutions=31, bestBound=111
346.86/342.42
346.86/342.47 num=602, depth=18..29, filters=197687213, revisions=(260633680,useless=106105097), ccks=475290781, wck=339.982, mem=30M793
346.86/342.47 decisions=3398092, wrong=1692460, backtracks=1272307, failedAssignments=1003450, nogoods=4604, foundSolutions=31, bestBound=111
346.86/342.47
346.96/342.51 num=603, depth=18..30, filters=197711686, revisions=(260666202,useless=106117613), ccks=475343057, wck=340.028, mem=33M383
346.96/342.51 decisions=3398577, wrong=1692692, backtracks=1272452, failedAssignments=1003594, nogoods=4615, foundSolutions=31, bestBound=111
346.96/342.51
346.96/342.57 num=604, depth=18..27, filters=197743923, revisions=(260709571,useless=106134918), ccks=475417206, wck=340.087, mem=33M383
346.96/342.57 decisions=3399112, wrong=1692948, backtracks=1272642, failedAssignments=1003752, nogoods=4626, foundSolutions=31, bestBound=111
346.96/342.57
347.06/342.62 num=605, depth=17..29, filters=197769203, revisions=(260746143,useless=106151085), ccks=475481819, wck=340.134, mem=33M383
347.06/342.62 decisions=3399693, wrong=1693228, backtracks=1272846, failedAssignments=1003926, nogoods=4631, foundSolutions=31, bestBound=111
347.06/342.62
347.06/342.68 num=606, depth=18..28, filters=197801691, revisions=(260789263,useless=106168245), ccks=475553445, wck=340.19, mem=33M383
347.06/342.68 decisions=3400310, wrong=1693524, backtracks=1273043, failedAssignments=1004117, nogoods=4639, foundSolutions=31, bestBound=111
347.06/342.68
347.16/342.73 num=607, depth=18..27, filters=197830967, revisions=(260832651,useless=106187733), ccks=475629666, wck=340.243, mem=33M383
347.16/342.73 decisions=3400953, wrong=1693836, backtracks=1273277, failedAssignments=1004328, nogoods=4648, foundSolutions=31, bestBound=111
347.16/342.73
347.26/342.80 num=608, depth=17..31, filters=197872753, revisions=(260888137,useless=106209728), ccks=475723907, wck=340.316, mem=33M383
347.26/342.80 decisions=3401723, wrong=1694209, backtracks=1273533, failedAssignments=1004560, nogoods=4658, foundSolutions=31, bestBound=111
347.26/342.80
347.26/342.87 num=609, depth=18..27, filters=197914565, revisions=(260943239,useless=106230842), ccks=475813825, wck=340.387, mem=33M383
347.26/342.87 decisions=3402526, wrong=1694600, backtracks=1273768, failedAssignments=1004815, nogoods=4663, foundSolutions=31, bestBound=111
347.26/342.87
347.36/342.94 num=610, depth=19..28, filters=197955208, revisions=(260996261,useless=106251190), ccks=475899778, wck=340.457, mem=33M383
347.36/342.94 decisions=3403434, wrong=1695044, backtracks=1274036, failedAssignments=1005096, nogoods=4673, foundSolutions=31, bestBound=111
347.36/342.94
347.46/343.04 num=611, depth=18..27, filters=198010675, revisions=(261067779,useless=106277871), ccks=476019412, wck=340.554, mem=33M383
347.46/343.04 decisions=3404423, wrong=1695529, backtracks=1274331, failedAssignments=1005405, nogoods=4685, foundSolutions=31, bestBound=111
347.46/343.04
347.56/343.14 num=612, depth=17..28, filters=198067994, revisions=(261143698,useless=106306942), ccks=476145631, wck=340.652, mem=33M383
347.56/343.14 decisions=3405493, wrong=1696053, backtracks=1274676, failedAssignments=1005745, nogoods=4694, foundSolutions=31, bestBound=111
347.56/343.14
347.66/343.23 num=613, depth=17..29, filters=198120744, revisions=(261216701,useless=106337847), ccks=476276767, wck=340.747, mem=33M383
347.66/343.23 decisions=3406680, wrong=1696636, backtracks=1275117, failedAssignments=1006119, nogoods=4701, foundSolutions=31, bestBound=111
347.66/343.23
347.76/343.35 num=614, depth=18..31, filters=198192244, revisions=(261312704,useless=106375846), ccks=476437592, wck=340.868, mem=33M383
347.76/343.35 decisions=3408010, wrong=1697291, backtracks=1275565, failedAssignments=1006530, nogoods=4708, foundSolutions=31, bestBound=111
347.76/343.35
347.86/343.48 num=615, depth=16..30, filters=198263136, revisions=(261411353,useless=106418727), ccks=476622393, wck=340.99, mem=33M383
347.86/343.48 decisions=3409487, wrong=1698018, backtracks=1276148, failedAssignments=1006982, nogoods=4712, foundSolutions=31, bestBound=111
347.86/343.48
348.06/343.61 num=616, depth=17..29, filters=198336723, revisions=(261512717,useless=106459803), ccks=476789429, wck=341.121, mem=33M383
348.06/343.61 decisions=3411027, wrong=1698778, backtracks=1276680, failedAssignments=1007479, nogoods=4721, foundSolutions=31, bestBound=111
348.06/343.61
348.16/343.76 num=617, depth=17..28, filters=198430976, revisions=(261636257,useless=106505807), ccks=476984578, wck=341.273, mem=33M383
348.16/343.76 decisions=3412727, wrong=1699618, backtracks=1277231, failedAssignments=1008026, nogoods=4725, foundSolutions=31, bestBound=111
348.16/343.76
348.36/343.97 num=618, depth=17..29, filters=198557353, revisions=(261799451,useless=106569425), ccks=477247703, wck=341.482, mem=33M383
348.36/343.97 decisions=3414616, wrong=1700553, backtracks=1277947, failedAssignments=1008628, nogoods=4740, foundSolutions=31, bestBound=111
348.36/343.97
348.57/344.18 num=619, depth=16..28, filters=198683954, revisions=(261966972,useless=106636417), ccks=477518521, wck=341.694, mem=33M383
348.57/344.18 decisions=3416665, wrong=1701566, backtracks=1278700, failedAssignments=1009290, nogoods=4743, foundSolutions=31, bestBound=111
348.57/344.18
348.86/344.41 num=620, depth=17..30, filters=198824671, revisions=(262147559,useless=106704505), ccks=477815974, wck=341.923, mem=33M383
348.86/344.41 decisions=3418966, wrong=1702706, backtracks=1279536, failedAssignments=1010018, nogoods=4753, foundSolutions=31, bestBound=111
348.86/344.41
349.06/344.63 num=621, depth=17..30, filters=198960055, revisions=(262324191,useless=106770997), ccks=478106289, wck=342.142, mem=33M383
349.06/344.63 decisions=3421497, wrong=1703962, backtracks=1280373, failedAssignments=1010819, nogoods=4763, foundSolutions=31, bestBound=111
349.06/344.63
349.26/344.88 num=622, depth=17..31, filters=199113350, revisions=(262525780,useless=106849471), ccks=478420435, wck=342.394, mem=33M383
349.26/344.88 decisions=3424271, wrong=1705339, backtracks=1281357, failedAssignments=1011700, nogoods=4771, foundSolutions=31, bestBound=111
349.26/344.88
349.57/345.15 num=623, depth=16..29, filters=199261186, revisions=(262733462,useless=106943786), ccks=478816989, wck=342.663, mem=33M383
349.57/345.15 decisions=3427398, wrong=1706893, backtracks=1282725, failedAssignments=1012670, nogoods=4779, foundSolutions=31, bestBound=111
349.57/345.15
349.96/345.51 num=624, depth=16..30, filters=199481964, revisions=(263006993,useless=107041865), ccks=479283814, wck=343.024, mem=33M383
349.96/345.51 decisions=3430784, wrong=1708575, backtracks=1283917, failedAssignments=1013737, nogoods=4785, foundSolutions=31, bestBound=111
349.96/345.51
350.26/345.89 num=625, depth=16..30, filters=199721191, revisions=(263303003,useless=107147307), ccks=479794604, wck=343.405, mem=33M383
350.26/345.89 decisions=3434630, wrong=1710487, backtracks=1285293, failedAssignments=1014910, nogoods=4803, foundSolutions=31, bestBound=111
350.26/345.89
350.76/346.34 num=626, depth=16..29, filters=200001182, revisions=(263649124,useless=107273167), ccks=480395986, wck=343.857, mem=33M383
350.76/346.34 decisions=3438773, wrong=1712549, backtracks=1286841, failedAssignments=1016201, nogoods=4811, foundSolutions=31, bestBound=111
350.76/346.34
351.16/346.79 num=627, depth=17..30, filters=200274930, revisions=(263995991,useless=107401663), ccks=480994217, wck=344.299, mem=33M383
351.16/346.79 decisions=3443170, wrong=1714738, backtracks=1288407, failedAssignments=1017621, nogoods=4822, foundSolutions=31, bestBound=111
351.16/346.79
351.76/347.32 num=628, depth=16..30, filters=200594196, revisions=(264407023,useless=107560717), ccks=481702629, wck=344.832, mem=33M383
351.76/347.32 decisions=3448081, wrong=1717183, backtracks=1290349, failedAssignments=1019183, nogoods=4830, foundSolutions=31, bestBound=111
351.76/347.32
352.26/347.87 num=629, depth=16..29, filters=200935642, revisions=(264831371,useless=107717420), ccks=482452807, wck=345.384, mem=33M383
352.26/347.87 decisions=3453719, wrong=1719992, backtracks=1292441, failedAssignments=1020901, nogoods=4846, foundSolutions=31, bestBound=111
352.26/347.87
352.86/348.47 num=630, depth=16..29, filters=201299708, revisions=(265283719,useless=107882300), ccks=483234772, wck=345.987, mem=33M383
352.86/348.47 decisions=3459857, wrong=1723051, backtracks=1294567, failedAssignments=1022791, nogoods=4857, foundSolutions=31, bestBound=111
352.86/348.47
353.47/349.08 num=631, depth=16..29, filters=201667981, revisions=(265762820,useless=108064465), ccks=484021403, wck=346.594, mem=33M383
353.47/349.08 decisions=3466361, wrong=1726292, backtracks=1296805, failedAssignments=1024870, nogoods=4871, foundSolutions=31, bestBound=111
353.47/349.08
354.16/349.73 num=632, depth=16..30, filters=202046210, revisions=(266263180,useless=108265367), ccks=484980252, wck=347.24, mem=33M383
354.16/349.73 decisions=3473722, wrong=1729963, backtracks=1299728, failedAssignments=1027157, nogoods=4880, foundSolutions=31, bestBound=111
354.16/349.73
354.86/350.49 num=633, depth=16..30, filters=202519698, revisions=(266846319,useless=108472059), ccks=485979693, wck=348.006, mem=33M383
354.86/350.49 decisions=3481657, wrong=1733920, backtracks=1302491, failedAssignments=1029673, nogoods=4892, foundSolutions=31, bestBound=111
354.86/350.49
355.76/351.31 num=634, depth=16..31, filters=203031032, revisions=(267485739,useless=108707447), ccks=487097912, wck=348.827, mem=33M383
355.76/351.31 decisions=3490502, wrong=1738333, backtracks=1305510, failedAssignments=1032441, nogoods=4908, foundSolutions=31, bestBound=111
355.76/351.31
356.66/352.21 num=635, depth=16..29, filters=203570910, revisions=(268186728,useless=108972161), ccks=488209051, wck=349.724, mem=35M973
356.66/352.21 decisions=3499983, wrong=1743063, backtracks=1308705, failedAssignments=1035485, nogoods=4917, foundSolutions=31, bestBound=111
356.66/352.21
357.57/353.12 num=636, depth=15..29, filters=204086678, revisions=(268879544,useless=109268992), ccks=489598538, wck=350.631, mem=35M973
357.57/353.12 decisions=3510883, wrong=1748502, backtracks=1313166, failedAssignments=1038834, nogoods=4927, foundSolutions=31, bestBound=111
357.57/353.12
358.66/354.25 num=637, depth=16..41, filters=204783305, revisions=(269781290,useless=109609433), ccks=491041022, wck=351.763, mem=35M973
358.66/354.25 decisions=3522550, wrong=1754325, backtracks=1317032, failedAssignments=1042518, nogoods=4936, foundSolutions=31, bestBound=111
358.66/354.25
359.66/355.29 num=638, depth=15..33, filters=205365068, revisions=(270588041,useless=109949994), ccks=492605767, wck=352.803, mem=35M973
359.66/355.29 decisions=3535727, wrong=1760903, backtracks=1322311, failedAssignments=1046570, nogoods=4943, foundSolutions=31, bestBound=111
359.66/355.29
361.06/356.63 num=639, depth=16..29, filters=206175509, revisions=(271618096,useless=110332597), ccks=494384718, wck=354.145, mem=35M973
361.06/356.63 decisions=3549851, wrong=1767955, backtracks=1327328, failedAssignments=1051027, nogoods=4955, foundSolutions=31, bestBound=111
361.06/356.63
362.47/358.06 num=640, depth=15..31, filters=206983652, revisions=(272689715,useless=110765572), ccks=496432007, wck=355.572, mem=35M973
362.47/358.06 decisions=3565689, wrong=1775865, backtracks=1333784, failedAssignments=1055930, nogoods=4965, foundSolutions=31, bestBound=111
362.47/358.06
364.26/359.84 num=641, depth=16..30, filters=208064698, revisions=(274065199,useless=111287200), ccks=498778758, wck=357.356, mem=35M973
364.26/359.84 decisions=3582790, wrong=1784407, backtracks=1340035, failedAssignments=1061324, nogoods=4977, foundSolutions=31, bestBound=111
364.26/359.84
366.16/361.76 num=642, depth=15..30, filters=209210635, revisions=(275524427,useless=111836333), ccks=501251619, wck=359.269, mem=35M973
366.16/361.76 decisions=3602076, wrong=1794040, backtracks=1347013, failedAssignments=1067257, nogoods=4988, foundSolutions=31, bestBound=111
366.16/361.76
367.96/363.57 num=643, depth=15..31, filters=210262470, revisions=(276899702,useless=112400085), ccks=503830209, wck=361.081, mem=35M973
367.96/363.57 decisions=3623459, wrong=1804722, backtracks=1355323, failedAssignments=1073783, nogoods=4996, foundSolutions=31, bestBound=111
367.96/363.57
370.26/365.87 num=644, depth=14..30, filters=211649501, revisions=(278639644,useless=113055579), ccks=506967312, wck=363.386, mem=38M562
370.26/365.87 decisions=3647477, wrong=1816721, backtracks=1364118, failedAssignments=1080962, nogoods=5004, foundSolutions=31, bestBound=111
370.26/365.87
372.86/368.41 num=645, depth=15..31, filters=213193322, revisions=(280561956,useless=113763581), ccks=510382467, wck=365.921, mem=38M562
372.86/368.41 decisions=3673312, wrong=1829629, backtracks=1373465, failedAssignments=1088859, nogoods=5011, foundSolutions=31, bestBound=111
372.86/368.41
375.66/371.27 num=646, depth=14..29, filters=214930135, revisions=(282718739,useless=114566588), ccks=514175285, wck=368.787, mem=38M562
375.66/371.27 decisions=3701969, wrong=1843948, backtracks=1383791, failedAssignments=1097546, nogoods=5020, foundSolutions=31, bestBound=111
375.66/371.27
378.36/373.96 num=647, depth=14..33, filters=216454347, revisions=(284741030,useless=115410795), ccks=518284248, wck=371.471, mem=38M562
378.36/373.96 decisions=3734109, wrong=1860008, backtracks=1396780, failedAssignments=1107101, nogoods=5031, foundSolutions=31, bestBound=111
378.36/373.96
382.16/377.71 num=648, depth=14..30, filters=218694361, revisions=(287511839,useless=116442553), ccks=523302117, wck=375.219, mem=38M562
382.16/377.71 decisions=3769686, wrong=1877785, backtracks=1410382, failedAssignments=1117612, nogoods=5041, foundSolutions=31, bestBound=111
382.16/377.71
385.57/381.17 num=649, depth=15..31, filters=220724862, revisions=(290222723,useless=117530966), ccks=527785375, wck=378.685, mem=41M152
385.57/381.17 decisions=3807566, wrong=1896715, backtracks=1425191, failedAssignments=1129174, nogoods=5051, foundSolutions=31, bestBound=111
385.57/381.17
389.97/385.50 num=650, depth=14..30, filters=223282750, revisions=(293450459,useless=118783744), ccks=533498094, wck=383.011, mem=41M152
389.97/385.50 decisions=3849581, wrong=1917713, backtracks=1441104, failedAssignments=1141892, nogoods=5072, foundSolutions=31, bestBound=111
389.97/385.50
394.27/389.83 num=651, depth=14..29, filters=225892512, revisions=(296720198,useless=120009287), ccks=539280622, wck=387.34, mem=41M152
394.27/389.83 decisions=3895553, wrong=1940689, backtracks=1457725, failedAssignments=1155882, nogoods=5082, foundSolutions=31, bestBound=111
394.27/389.83
399.27/394.88 num=652, depth=13..29, filters=228966956, revisions=(300542526,useless=121467534), ccks=546236121, wck=392.392, mem=43M741
399.27/394.88 decisions=3946607, wrong=1966206, backtracks=1476548, failedAssignments=1171271, nogoods=5091, foundSolutions=31, bestBound=111
399.27/394.88
404.67/400.21 num=653, depth=14..33, filters=232113923, revisions=(304719173,useless=123126167), ccks=553282513, wck=397.719, mem=43M741
404.67/400.21 decisions=4004517, wrong=1995151, backtracks=1498799, failedAssignments=1188199, nogoods=5104, foundSolutions=31, bestBound=111
404.67/400.21
410.48/406.08 num=654, depth=14..31, filters=235702913, revisions=(309176978,useless=124802107), ccks=561320430, wck=403.597, mem=43M741
410.48/406.08 decisions=4065780, wrong=2025772, backtracks=1521370, failedAssignments=1206820, nogoods=5118, foundSolutions=31, bestBound=111
410.48/406.08
411.58/407.18 o 87
411.58/407.18 num=655, depth=15..555, filters=236359957, revisions=(310021362,useless=125116328), ccks=562737899, wck=404.691, mem=46M339
411.58/407.18 decisions=4078534, wrong=2032138, backtracks=1525556, failedAssignments=1210733, nogoods=5129, foundSolutions=32, bestBound=87
411.58/407.18
418.88/414.45 num=656, depth=14..32, filters=240712651, revisions=(315475397,useless=127182723), ccks=571883251, wck=411.959, mem=46M339
418.88/414.45 decisions=4154050, wrong=2069887, backtracks=1553508, failedAssignments=1233265, nogoods=5138, foundSolutions=32, bestBound=87
418.88/414.45
418.88/414.45 num=657, depth=34..42, filters=240715301, revisions=(315481990,useless=127186737), ccks=571890176, wck=411.966, mem=46M339
418.88/414.45 decisions=4154116, wrong=2069903, backtracks=1553521, failedAssignments=1233276, nogoods=5139, foundSolutions=32, bestBound=87
418.88/414.45
418.88/414.46 num=658, depth=19..25, filters=240717661, revisions=(315486088,useless=127188908), ccks=571896095, wck=411.973, mem=46M339
418.88/414.46 decisions=4154169, wrong=2069919, backtracks=1553531, failedAssignments=1233288, nogoods=5144, foundSolutions=32, bestBound=87
418.88/414.46
418.88/414.46 num=659, depth=19..24, filters=240719347, revisions=(315489592,useless=127191051), ccks=571899739, wck=411.977, mem=46M339
418.88/414.46 decisions=4154225, wrong=2069937, backtracks=1553544, failedAssignments=1233301, nogoods=5150, foundSolutions=32, bestBound=87
418.88/414.46
418.88/414.47 num=660, depth=19..24, filters=240722024, revisions=(315494050,useless=127193325), ccks=571905687, wck=411.983, mem=46M339
418.88/414.47 decisions=4154284, wrong=2069956, backtracks=1553554, failedAssignments=1233315, nogoods=5153, foundSolutions=32, bestBound=87
418.88/414.47
418.88/414.48 num=661, depth=19..25, filters=240724723, revisions=(315498754,useless=127195743), ccks=571911343, wck=411.989, mem=46M339
418.88/414.48 decisions=4154346, wrong=2069976, backtracks=1553564, failedAssignments=1233331, nogoods=5162, foundSolutions=32, bestBound=87
418.88/414.48
418.88/414.48 num=662, depth=19..24, filters=240727717, revisions=(315503957,useless=127198467), ccks=571917923, wck=411.995, mem=46M339
418.88/414.48 decisions=4154412, wrong=2069999, backtracks=1553582, failedAssignments=1233348, nogoods=5168, foundSolutions=32, bestBound=87
418.88/414.48
418.88/414.49 num=663, depth=19..25, filters=240731807, revisions=(315510421,useless=127201446), ccks=571925888, wck=412.003, mem=46M339
418.88/414.49 decisions=4154490, wrong=2070028, backtracks=1553599, failedAssignments=1233367, nogoods=5172, foundSolutions=32, bestBound=87
418.88/414.49
418.98/414.50 num=664, depth=19..26, filters=240736729, revisions=(315517637,useless=127204690), ccks=571934850, wck=412.012, mem=46M339
418.98/414.50 decisions=4154569, wrong=2070058, backtracks=1553618, failedAssignments=1233388, nogoods=5177, foundSolutions=32, bestBound=87
418.98/414.50
418.98/414.51 num=665, depth=19..24, filters=240740302, revisions=(315523384,useless=127207478), ccks=571942641, wck=412.019, mem=46M339
418.98/414.51 decisions=4154650, wrong=2070089, backtracks=1553636, failedAssignments=1233411, nogoods=5186, foundSolutions=32, bestBound=87
418.98/414.51
418.98/414.51 num=666, depth=19..25, filters=240744475, revisions=(315529942,useless=127210656), ccks=571952307, wck=412.028, mem=46M339
418.98/414.51 decisions=4154739, wrong=2070124, backtracks=1553659, failedAssignments=1233436, nogoods=5191, foundSolutions=32, bestBound=87
418.98/414.51
418.98/414.52 num=667, depth=18..26, filters=240749858, revisions=(315537711,useless=127213966), ccks=571963126, wck=412.038, mem=46M339
418.98/414.52 decisions=4154838, wrong=2070163, backtracks=1553683, failedAssignments=1233464, nogoods=5195, foundSolutions=32, bestBound=87
418.98/414.52
418.98/414.54 num=668, depth=18..25, filters=240757107, revisions=(315548227,useless=127218738), ccks=571976921, wck=412.053, mem=46M339
418.98/414.54 decisions=4154943, wrong=2070206, backtracks=1553716, failedAssignments=1233495, nogoods=5199, foundSolutions=32, bestBound=87
418.98/414.54
418.98/414.55 num=669, depth=19..25, filters=240764231, revisions=(315558906,useless=127223477), ccks=571992690, wck=412.067, mem=46M339
418.98/414.55 decisions=4155072, wrong=2070261, backtracks=1553756, failedAssignments=1233529, nogoods=5206, foundSolutions=32, bestBound=87
418.98/414.55
418.98/414.57 num=670, depth=19..27, filters=240771329, revisions=(315569795,useless=127228638), ccks=572008546, wck=412.081, mem=46M339
418.98/414.57 decisions=4155200, wrong=2070314, backtracks=1553802, failedAssignments=1233566, nogoods=5212, foundSolutions=32, bestBound=87
418.98/414.57
418.98/414.58 num=671, depth=19..26, filters=240779199, revisions=(315581789,useless=127234029), ccks=572023453, wck=412.096, mem=46M339
418.98/414.58 decisions=4155344, wrong=2070375, backtracks=1553843, failedAssignments=1233607, nogoods=5221, foundSolutions=32, bestBound=87
418.98/414.58
419.08/414.60 num=672, depth=18..25, filters=240788282, revisions=(315594384,useless=127239408), ccks=572041675, wck=412.113, mem=46M339
419.08/414.60 decisions=4155494, wrong=2070440, backtracks=1553884, failedAssignments=1233652, nogoods=5228, foundSolutions=32, bestBound=87
419.08/414.60
419.08/414.61 num=673, depth=17..26, filters=240795264, revisions=(315606449,useless=127245678), ccks=572057584, wck=412.128, mem=46M339
419.08/414.61 decisions=4155664, wrong=2070516, backtracks=1553948, failedAssignments=1233702, nogoods=5232, foundSolutions=32, bestBound=87
419.08/414.61
419.08/414.63 num=674, depth=18..25, filters=240803833, revisions=(315618864,useless=127250974), ccks=572075421, wck=412.144, mem=46M339
419.08/414.63 decisions=4155852, wrong=2070600, backtracks=1553993, failedAssignments=1233757, nogoods=5240, foundSolutions=32, bestBound=87
419.08/414.63
419.08/414.65 num=675, depth=18..26, filters=240814064, revisions=(315633540,useless=127257208), ccks=572097080, wck=412.163, mem=46M339
419.08/414.65 decisions=4156052, wrong=2070690, backtracks=1554050, failedAssignments=1233818, nogoods=5245, foundSolutions=32, bestBound=87
419.08/414.65
419.08/414.68 num=676, depth=18..25, filters=240827759, revisions=(315652827,useless=127265615), ccks=572125557, wck=412.189, mem=46M339
419.08/414.68 decisions=4156279, wrong=2070793, backtracks=1554131, failedAssignments=1233885, nogoods=5250, foundSolutions=32, bestBound=87
419.08/414.68
419.18/414.70 num=677, depth=18..26, filters=240841556, revisions=(315672761,useless=127274145), ccks=572153501, wck=412.215, mem=46M339
419.18/414.70 decisions=4156517, wrong=2070902, backtracks=1554209, failedAssignments=1233959, nogoods=5258, foundSolutions=32, bestBound=87
419.18/414.70
419.18/414.73 num=678, depth=17..27, filters=240857452, revisions=(315694511,useless=127283347), ccks=572185819, wck=412.244, mem=46M339
419.18/414.73 decisions=4156778, wrong=2071023, backtracks=1554299, failedAssignments=1234040, nogoods=5264, foundSolutions=32, bestBound=87
419.18/414.73
419.18/414.76 num=679, depth=17..26, filters=240872644, revisions=(315715586,useless=127292118), ccks=572220307, wck=412.27, mem=46M339
419.18/414.76 decisions=4157065, wrong=2071157, backtracks=1554385, failedAssignments=1234129, nogoods=5270, foundSolutions=32, bestBound=87
419.18/414.76
419.28/414.80 num=680, depth=17..26, filters=240896607, revisions=(315749244,useless=127307085), ccks=572268280, wck=412.314, mem=46M339
419.28/414.80 decisions=4157435, wrong=2071332, backtracks=1554525, failedAssignments=1234227, nogoods=5278, foundSolutions=32, bestBound=87
419.28/414.80
419.28/414.84 num=681, depth=18..25, filters=240915824, revisions=(315775767,useless=127317973), ccks=572308270, wck=412.35, mem=46M339
419.28/414.84 decisions=4157776, wrong=2071493, backtracks=1554630, failedAssignments=1234335, nogoods=5287, foundSolutions=32, bestBound=87
419.28/414.84
419.28/414.87 num=682, depth=16..27, filters=240934889, revisions=(315804808,useless=127331852), ccks=572352088, wck=412.387, mem=46M339
419.28/414.87 decisions=4158166, wrong=2071678, backtracks=1554781, failedAssignments=1234454, nogoods=5294, foundSolutions=32, bestBound=87
419.28/414.87
419.38/414.92 num=683, depth=17..26, filters=240959031, revisions=(315837856,useless=127345412), ccks=572400059, wck=412.431, mem=46M339
419.38/414.92 decisions=4158596, wrong=2071883, backtracks=1554913, failedAssignments=1234585, nogoods=5300, foundSolutions=32, bestBound=87
419.38/414.92
419.38/414.96 num=684, depth=17..27, filters=240984243, revisions=(315872221,useless=127359672), ccks=572449278, wck=412.476, mem=46M339
419.38/414.96 decisions=4159044, wrong=2072098, backtracks=1555058, failedAssignments=1234729, nogoods=5304, foundSolutions=32, bestBound=87
419.38/414.96
419.48/415.01 num=685, depth=17..25, filters=241010749, revisions=(315911948,useless=127377230), ccks=572503452, wck=412.524, mem=46M339
419.48/415.01 decisions=4159552, wrong=2072343, backtracks=1555227, failedAssignments=1234887, nogoods=5314, foundSolutions=32, bestBound=87
419.48/415.01
419.48/415.07 num=686, depth=16..25, filters=241046651, revisions=(315960886,useless=127397900), ccks=572572754, wck=412.588, mem=46M339
419.48/415.07 decisions=4160103, wrong=2072609, backtracks=1555426, failedAssignments=1235061, nogoods=5325, foundSolutions=32, bestBound=87
419.48/415.07
419.59/415.13 num=687, depth=16..28, filters=241076739, revisions=(316004083,useless=127417189), ccks=572642750, wck=412.645, mem=46M339
419.59/415.13 decisions=4160707, wrong=2072900, backtracks=1555639, failedAssignments=1235252, nogoods=5333, foundSolutions=32, bestBound=87
419.59/415.13
419.68/415.21 num=688, depth=16..26, filters=241121712, revisions=(316067473,useless=127445239), ccks=572735713, wck=412.723, mem=46M339
419.68/415.21 decisions=4161436, wrong=2073254, backtracks=1555910, failedAssignments=1235463, nogoods=5339, foundSolutions=32, bestBound=87
419.68/415.21
419.68/415.27 num=689, depth=16..27, filters=241157705, revisions=(316115871,useless=127464393), ccks=572807332, wck=412.786, mem=46M339
419.68/415.27 decisions=4162161, wrong=2073606, backtracks=1556119, failedAssignments=1235695, nogoods=5346, foundSolutions=32, bestBound=87
419.68/415.27
419.78/415.36 num=690, depth=16..27, filters=241209311, revisions=(316186425,useless=127494196), ccks=572915205, wck=412.878, mem=46M339
419.78/415.36 decisions=4163047, wrong=2074039, backtracks=1556451, failedAssignments=1235950, nogoods=5352, foundSolutions=32, bestBound=87
419.78/415.36
419.88/415.46 num=691, depth=16..26, filters=241262656, revisions=(316261655,useless=127526430), ccks=573026438, wck=412.971, mem=46M339
419.88/415.46 decisions=4164015, wrong=2074512, backtracks=1556784, failedAssignments=1236231, nogoods=5369, foundSolutions=32, bestBound=87
419.88/415.46
419.98/415.55 num=692, depth=16..26, filters=241316310, revisions=(316333021,useless=127555068), ccks=573140271, wck=413.065, mem=46M339
419.98/415.55 decisions=4165020, wrong=2075005, backtracks=1557106, failedAssignments=1236540, nogoods=5376, foundSolutions=32, bestBound=87
419.98/415.55
420.08/415.65 num=693, depth=16..25, filters=241375345, revisions=(316411136,useless=127586607), ccks=573261025, wck=413.164, mem=48M929
420.08/415.65 decisions=4166130, wrong=2075551, backtracks=1557450, failedAssignments=1236880, nogoods=5396, foundSolutions=32, bestBound=87
420.08/415.65
420.18/415.78 num=694, depth=11..27, filters=241447517, revisions=(316521945,useless=127636050), ccks=573391767, wck=413.295, mem=48M929
420.18/415.78 decisions=4167610, wrong=2076283, backtracks=1557963, failedAssignments=1237254, nogoods=5402, foundSolutions=32, bestBound=87
420.18/415.78
420.38/415.93 num=695, depth=15..29, filters=241531356, revisions=(316632907,useless=127680529), ccks=573562923, wck=413.443, mem=48M929
420.38/415.93 decisions=4168971, wrong=2076954, backtracks=1558457, failedAssignments=1237665, nogoods=5409, foundSolutions=32, bestBound=87
420.38/415.93
420.49/416.08 num=696, depth=15..29, filters=241621267, revisions=(316752651,useless=127729796), ccks=573744540, wck=413.596, mem=48M929
420.49/416.08 decisions=4170453, wrong=2077685, backtracks=1558990, failedAssignments=1238117, nogoods=5417, foundSolutions=32, bestBound=87
420.49/416.08
420.68/416.22 num=697, depth=16..27, filters=241702262, revisions=(316863584,useless=127775928), ccks=573910436, wck=413.735, mem=48M929
420.68/416.22 decisions=4172118, wrong=2078508, backtracks=1559526, failedAssignments=1238614, nogoods=5429, foundSolutions=32, bestBound=87
420.68/416.22
420.78/416.38 num=698, depth=15..28, filters=241783230, revisions=(316986359,useless=127835217), ccks=574119595, wck=413.889, mem=48M929
420.78/416.38 decisions=4174029, wrong=2079454, backtracks=1560363, failedAssignments=1239161, nogoods=5436, foundSolutions=32, bestBound=87
420.78/416.38
420.98/416.56 num=699, depth=15..28, filters=241890429, revisions=(317131844,useless=127893981), ccks=574339068, wck=414.078, mem=48M929
420.98/416.56 decisions=4176024, wrong=2080441, backtracks=1561029, failedAssignments=1239763, nogoods=5445, foundSolutions=32, bestBound=87
420.98/416.56
421.18/416.76 num=700, depth=14..30, filters=241996477, revisions=(317282093,useless=127961188), ccks=574607108, wck=414.274, mem=48M929
421.18/416.76 decisions=4178228, wrong=2081533, backtracks=1561981, failedAssignments=1240425, nogoods=5457, foundSolutions=32, bestBound=87
421.18/416.76
421.38/416.99 num=701, depth=15..34, filters=242125972, revisions=(317469195,useless=128042752), ccks=574873632, wck=414.502, mem=48M929
421.38/416.99 decisions=4180722, wrong=2082771, backtracks=1562817, failedAssignments=1241153, nogoods=5466, foundSolutions=32, bestBound=87
421.38/416.99
421.68/417.22 num=702, depth=16..27, filters=242256760, revisions=(317653926,useless=128120041), ccks=575138172, wck=414.73, mem=48M929
421.68/417.22 decisions=4183193, wrong=2083997, backtracks=1563625, failedAssignments=1241954, nogoods=5472, foundSolutions=32, bestBound=87
421.68/417.22
421.98/417.52 num=703, depth=15..29, filters=242431875, revisions=(317882672,useless=128208712), ccks=575503075, wck=415.028, mem=48M929
421.98/417.52 decisions=4186186, wrong=2085483, backtracks=1564772, failedAssignments=1242835, nogoods=5481, foundSolutions=32, bestBound=87
421.98/417.52
422.28/417.84 num=704, depth=15..28, filters=242613995, revisions=(318135952,useless=128319802), ccks=575909153, wck=415.352, mem=48M929
422.28/417.84 decisions=4189330, wrong=2087045, backtracks=1566087, failedAssignments=1243805, nogoods=5488, foundSolutions=32, bestBound=87
422.28/417.84
422.59/418.18 num=705, depth=15..28, filters=242819849, revisions=(318397265,useless=128416539), ccks=576325738, wck=415.695, mem=48M929
422.59/418.18 decisions=4192650, wrong=2088695, backtracks=1567233, failedAssignments=1244872, nogoods=5497, foundSolutions=32, bestBound=87
422.59/418.18
423.08/418.63 num=706, depth=15..29, filters=243084071, revisions=(318742617,useless=128552829), ccks=576861446, wck=416.14, mem=48M929
423.08/418.63 decisions=4196558, wrong=2090639, backtracks=1568762, failedAssignments=1246045, nogoods=5503, foundSolutions=32, bestBound=87
423.08/418.63
423.49/419.05 num=707, depth=15..28, filters=243338359, revisions=(319065816,useless=128675329), ccks=577379939, wck=416.566, mem=48M929
423.49/419.05 decisions=4200671, wrong=2092686, backtracks=1570215, failedAssignments=1247336, nogoods=5516, foundSolutions=32, bestBound=87
423.49/419.05
423.88/419.50 num=708, depth=16..29, filters=243574900, revisions=(319392491,useless=128816812), ccks=577944222, wck=417.009, mem=48M929
423.88/419.50 decisions=4205279, wrong=2094980, backtracks=1572257, failedAssignments=1248756, nogoods=5522, foundSolutions=32, bestBound=87
423.88/419.50
424.49/420.07 num=709, depth=16..28, filters=243898805, revisions=(319812989,useless=128981709), ccks=578624738, wck=417.584, mem=48M929
424.49/420.07 decisions=4210483, wrong=2097572, backtracks=1574415, failedAssignments=1250318, nogoods=5526, foundSolutions=32, bestBound=87
424.49/420.07
425.18/420.71 num=710, depth=16..28, filters=244265858, revisions=(320291053,useless=129167876), ccks=579394345, wck=418.223, mem=48M929
425.18/420.71 decisions=4215947, wrong=2100295, backtracks=1576554, failedAssignments=1252036, nogoods=5534, foundSolutions=32, bestBound=87
425.18/420.71
425.78/421.35 num=711, depth=16..28, filters=244640972, revisions=(320789863,useless=129361841), ccks=580161761, wck=418.862, mem=48M929
425.78/421.35 decisions=4221797, wrong=2103210, backtracks=1578724, failedAssignments=1253926, nogoods=5545, foundSolutions=32, bestBound=87
425.78/421.35
426.59/422.15 num=712, depth=16..28, filters=245096816, revisions=(321383550,useless=129595807), ccks=581115530, wck=419.664, mem=48M929
426.59/422.15 decisions=4228675, wrong=2106639, backtracks=1581684, failedAssignments=1256005, nogoods=5554, foundSolutions=32, bestBound=87
426.59/422.15
427.49/423.03 num=713, depth=16..29, filters=245612091, revisions=(322055195,useless=129863737), ccks=582191205, wck=420.548, mem=48M929
427.49/423.03 decisions=4236224, wrong=2110405, backtracks=1584868, failedAssignments=1258292, nogoods=5562, foundSolutions=32, bestBound=87
427.49/423.03
428.38/424.00 num=714, depth=15..28, filters=246181808, revisions=(322782593,useless=130144308), ccks=583356816, wck=421.516, mem=48M929
428.38/424.00 decisions=4244786, wrong=2114677, backtracks=1588328, failedAssignments=1260808, nogoods=5572, foundSolutions=32, bestBound=87
428.38/424.00
429.38/425.00 num=715, depth=15..30, filters=246768591, revisions=(323550320,useless=130443776), ccks=584555136, wck=422.51, mem=48M929
429.38/425.00 decisions=4253570, wrong=2119059, backtracks=1591696, failedAssignments=1263576, nogoods=5584, foundSolutions=32, bestBound=87
429.38/425.00
430.59/426.13 num=716, depth=15..29, filters=247418260, revisions=(324413440,useless=130789939), ccks=585900780, wck=423.646, mem=48M929
430.59/426.13 decisions=4264165, wrong=2124347, backtracks=1596193, failedAssignments=1266620, nogoods=5590, foundSolutions=32, bestBound=87
430.59/426.13
431.49/427.10 num=717, depth=16..31, filters=247943878, revisions=(325152181,useless=131114087), ccks=587165484, wck=424.609, mem=51M518
431.49/427.10 decisions=4274756, wrong=2129633, backtracks=1600706, failedAssignments=1269969, nogoods=5598, foundSolutions=32, bestBound=87
431.49/427.10
432.78/428.35 num=718, depth=15..29, filters=248682970, revisions=(326124482,useless=131496659), ccks=588688265, wck=425.866, mem=51M518
432.78/428.35 decisions=4286521, wrong=2135506, backtracks=1605177, failedAssignments=1273653, nogoods=5608, foundSolutions=32, bestBound=87
432.78/428.35
434.18/429.75 num=719, depth=15..30, filters=249470856, revisions=(327136970,useless=131894130), ccks=590317883, wck=427.259, mem=51M518
434.18/429.75 decisions=4299733, wrong=2142103, backtracks=1610475, failedAssignments=1277705, nogoods=5619, foundSolutions=32, bestBound=87
434.18/429.75
435.88/431.46 num=720, depth=15..31, filters=250472034, revisions=(328441572,useless=132412228), ccks=592398409, wck=428.969, mem=51M518
435.88/431.46 decisions=4314425, wrong=2149439, backtracks=1616597, failedAssignments=1282162, nogoods=5628, foundSolutions=32, bestBound=87
435.88/431.46
437.68/433.29 num=721, depth=14..29, filters=251527556, revisions=(329782046,useless=132935805), ccks=594626478, wck=430.801, mem=51M518
437.68/433.29 decisions=4330922, wrong=2157678, backtracks=1623443, failedAssignments=1287065, nogoods=5635, foundSolutions=32, bestBound=87
437.68/433.29
439.78/435.38 num=722, depth=14..28, filters=252748378, revisions=(331329539,useless=133534625), ccks=597163521, wck=432.897, mem=51M518
439.78/435.38 decisions=4348733, wrong=2166574, backtracks=1630661, failedAssignments=1292459, nogoods=5642, foundSolutions=32, bestBound=87
439.78/435.38
441.78/437.38 num=723, depth=14..30, filters=253874084, revisions=(332785648,useless=134115960), ccks=599660916, wck=434.891, mem=51M518
441.78/437.38 decisions=4368279, wrong=2176337, backtracks=1638679, failedAssignments=1298392, nogoods=5650, foundSolutions=32, bestBound=87
441.78/437.38
444.38/439.96 num=724, depth=14..29, filters=255390696, revisions=(334738174,useless=134885870), ccks=602876609, wck=437.478, mem=51M518
444.38/439.96 decisions=4390408, wrong=2187391, backtracks=1648031, failedAssignments=1304918, nogoods=5660, foundSolutions=32, bestBound=87
444.38/439.96
446.98/442.56 num=725, depth=15..30, filters=256908172, revisions=(336670147,useless=135635074), ccks=606028437, wck=440.077, mem=54M108
446.98/442.56 decisions=4414679, wrong=2199517, backtracks=1657820, failedAssignments=1312097, nogoods=5670, foundSolutions=32, bestBound=87
446.98/442.56
449.78/445.33 num=726, depth=14..29, filters=258540282, revisions=(338790221,useless=136465232), ccks=609451388, wck=442.843, mem=54M108
449.78/445.33 decisions=4441056, wrong=2212695, backtracks=1668006, failedAssignments=1319994, nogoods=5679, foundSolutions=32, bestBound=87
449.78/445.33
452.78/448.38 num=727, depth=14..29, filters=260340919, revisions=(341112278,useless=137374712), ccks=613231384, wck=445.897, mem=54M108
452.78/448.38 decisions=4469963, wrong=2227139, backtracks=1679443, failedAssignments=1328681, nogoods=5692, foundSolutions=32, bestBound=87
452.78/448.38
456.18/451.73 num=728, depth=14..32, filters=262276723, revisions=(343674879,useless=138408608), ccks=617369889, wck=449.243, mem=54M108
456.18/451.73 decisions=4502940, wrong=2243617, backtracks=1692852, failedAssignments=1338236, nogoods=5700, foundSolutions=32, bestBound=87
456.18/451.73
459.79/455.38 num=729, depth=14..30, filters=264463832, revisions=(346514998,useless=139526257), ccks=621977852, wck=452.894, mem=54M108
459.79/455.38 decisions=4538455, wrong=2261364, backtracks=1706619, failedAssignments=1348747, nogoods=5706, foundSolutions=32, bestBound=87
459.79/455.38
463.60/459.13 num=730, depth=14..30, filters=266608678, revisions=(349349878,useless=140681223), ccks=626867219, wck=456.646, mem=56M697
463.60/459.13 decisions=4577851, wrong=2281053, backtracks=1723143, failedAssignments=1360309, nogoods=5718, foundSolutions=32, bestBound=87
463.60/459.13
468.09/463.67 num=731, depth=14..29, filters=269329340, revisions=(352877135,useless=142055928), ccks=632671639, wck=461.181, mem=56M697
468.09/463.67 decisions=4621325, wrong=2302780, backtracks=1740208, failedAssignments=1373027, nogoods=5727, foundSolutions=32, bestBound=87
468.09/463.67
472.99/468.52 num=732, depth=14..29, filters=272137810, revisions=(356546080,useless=143502411), ccks=638588979, wck=466.03, mem=56M697
472.99/468.52 decisions=4669102, wrong=2326659, backtracks=1759125, failedAssignments=1387017, nogoods=5739, foundSolutions=32, bestBound=87
472.99/468.52
478.79/474.38 num=733, depth=13..30, filters=275652012, revisions=(360998562,useless=145205167), ccks=645965211, wck=471.897, mem=59M287
478.79/474.38 decisions=4722399, wrong=2353298, backtracks=1779961, failedAssignments=1402406, nogoods=5749, foundSolutions=32, bestBound=87
478.79/474.38
484.29/479.88 num=734, depth=14..30, filters=278893853, revisions=(365193445,useless=146844879), ccks=652693906, wck=477.398, mem=59M287
484.29/479.88 decisions=4779049, wrong=2381613, backtracks=1801888, failedAssignments=1419334, nogoods=5759, foundSolutions=32, bestBound=87
484.29/479.88
488.19/483.77 num=735, depth=0..33, filters=280973898, revisions=(369088646,useless=149018705), ccks=658554338, wck=481.282, mem=59M287
488.19/483.77 decisions=4850015, wrong=2417086, backtracks=1824654, failedAssignments=1437955, nogoods=5766, foundSolutions=32, bestBound=87
488.19/483.77
495.59/491.18 num=736, depth=13..30, filters=285433337, revisions=(374840820,useless=151274410), ccks=667735503, wck=488.692, mem=61M876
495.59/491.18 decisions=4920613, wrong=2452375, backtracks=1852457, failedAssignments=1458439, nogoods=5784, foundSolutions=32, bestBound=87
495.59/491.18
502.99/498.60 num=737, depth=14..32, filters=289804170, revisions=(380626327,useless=153590989), ccks=676807078, wck=496.109, mem=61M876
502.99/498.60 decisions=4996415, wrong=2490264, backtracks=1882904, failedAssignments=1480971, nogoods=5798, foundSolutions=32, bestBound=87
502.99/498.60
511.99/507.53 num=738, depth=13..30, filters=295093058, revisions=(387385204,useless=156221198), ccks=687915050, wck=505.047, mem=64M465
511.99/507.53 decisions=5081768, wrong=2532930, backtracks=1916047, failedAssignments=1505756, nogoods=5810, foundSolutions=32, bestBound=87
511.99/507.53
522.39/517.96 num=739, depth=13..30, filters=301213957, revisions=(395090479,useless=159160793), ccks=700686161, wck=515.476, mem=64M465
522.39/517.96 decisions=5177615, wrong=2580844, backtracks=1954231, failedAssignments=1533020, nogoods=5820, foundSolutions=32, bestBound=87
522.39/517.96
533.19/528.70 num=740, depth=13..31, filters=307597118, revisions=(403183247,useless=162292121), ccks=714035868, wck=526.214, mem=67M55
533.19/528.70 decisions=5279849, wrong=2631952, backtracks=1994735, failedAssignments=1563010, nogoods=5828, foundSolutions=32, bestBound=87
533.19/528.70
544.09/539.62 num=741, depth=13..34, filters=313747910, revisions=(411480163,useless=165757397), ccks=728316223, wck=537.134, mem=69M644
544.09/539.62 decisions=5394360, wrong=2689197, backtracks=2042277, failedAssignments=1595999, nogoods=5834, foundSolutions=32, bestBound=87
544.09/539.62
557.50/553.04 num=742, depth=12..31, filters=321661288, revisions=(421628452,useless=169717083), ccks=745166215, wck=550.557, mem=72M234
557.50/553.04 decisions=5520918, wrong=2752467, backtracks=2092898, failedAssignments=1632287, nogoods=5841, foundSolutions=32, bestBound=87
557.50/553.04
572.09/567.61 num=743, depth=13..30, filters=330314020, revisions=(432693400,useless=173960226), ccks=763099281, wck=565.123, mem=74M823
572.09/567.61 decisions=5658405, wrong=2821200, backtracks=2147568, failedAssignments=1672204, nogoods=5852, foundSolutions=32, bestBound=87
572.09/567.61
588.20/583.72 num=744, depth=13..40, filters=340046415, revisions=(445290125,useless=178865076), ccks=783294221, wck=581.229, mem=77M413
588.20/583.72 decisions=5812737, wrong=2898357, backtracks=2208608, failedAssignments=1716113, nogoods=5865, foundSolutions=32, bestBound=87
588.20/583.72
606.00/601.53 num=745, depth=13..31, filters=350618127, revisions=(458605039,useless=183937259), ccks=805327386, wck=599.038, mem=80M2
606.00/601.53 decisions=5981740, wrong=2982850, backtracks=2275020, failedAssignments=1764413, nogoods=5884, foundSolutions=32, bestBound=87
606.00/601.53
625.51/621.06 num=746, depth=12..30, filters=362346754, revisions=(473459268,useless=189645292), ccks=829798564, wck=618.577, mem=82M592
625.51/621.06 decisions=6166234, wrong=3075089, backtracks=2347571, failedAssignments=1817543, nogoods=5898, foundSolutions=32, bestBound=87
625.51/621.06
646.10/641.69 num=747, depth=12..30, filters=374567609, revisions=(489176787,useless=195715276), ccks=855181616, wck=639.206, mem=85M181
646.10/641.69 decisions=6371801, wrong=3177863, backtracks=2425389, failedAssignments=1875986, nogoods=5910, foundSolutions=32, bestBound=87
646.10/641.69
669.41/664.90 num=748, depth=13..31, filters=388100827, revisions=(506437951,useless=202407837), ccks=883667624, wck=662.413, mem=90M360
669.41/664.90 decisions=6599544, wrong=3291725, backtracks=2516798, failedAssignments=1940273, nogoods=5925, foundSolutions=32, bestBound=87
669.41/664.90
695.01/690.50 num=749, depth=12..32, filters=403484997, revisions=(526125280,useless=210015783), ccks=915634922, wck=688.015, mem=92M950
695.01/690.50 decisions=6846809, wrong=3415347, backtracks=2613808, failedAssignments=2010989, nogoods=5939, foundSolutions=32, bestBound=87
695.01/690.50
726.02/721.53 num=750, depth=11..31, filters=421738068, revisions=(549209127,useless=218936324), ccks=954381463, wck=719.044, mem=98M129
726.02/721.53 decisions=7126888, wrong=3555377, backtracks=2730138, failedAssignments=2088776, nogoods=5949, foundSolutions=32, bestBound=87
726.02/721.53
759.53/755.02 num=751, depth=11..30, filters=441730664, revisions=(574297376,useless=228583315), ccks=995911008, wck=752.533, mem=103M308
759.53/755.02 decisions=7434303, wrong=3709075, backtracks=2852355, failedAssignments=2174342, nogoods=5959, foundSolutions=32, bestBound=87
759.53/755.02
795.23/790.79 num=752, depth=11..47, filters=462955459, revisions=(601420073,useless=239236052), ccks=1038252448, wck=788.304, mem=108M486
795.23/790.79 decisions=7773411, wrong=3878620, backtracks=2983302, failedAssignments=2268465, nogoods=5969, foundSolutions=32, bestBound=87
795.23/790.79
831.94/827.41 num=753, depth=12..33, filters=484482465, revisions=(630505261,useless=251412046), ccks=1083063336, wck=824.925, mem=113M665
831.94/827.41 decisions=8166773, wrong=4075292, backtracks=3144432, failedAssignments=2372000, nogoods=5974, foundSolutions=32, bestBound=87
831.94/827.41
873.34/868.80 num=754, depth=11..41, filters=509584726, revisions=(662689294,useless=264034535), ccks=1133773532, wck=866.316, mem=121M434
873.34/868.80 decisions=8585655, wrong=4284722, backtracks=3306442, failedAssignments=2485889, nogoods=5982, foundSolutions=32, bestBound=87
873.34/868.80
921.15/916.68 num=755, depth=11..33, filters=538617515, revisions=(698478542,useless=277442258), ccks=1193058579, wck=914.191, mem=129M202
921.15/916.68 decisions=9042544, wrong=4513157, backtracks=3485156, failedAssignments=2611167, nogoods=5990, foundSolutions=32, bestBound=87
921.15/916.68
972.36/967.80 num=756, depth=12..44, filters=569106041, revisions=(738483528,useless=293291356), ccks=1255380850, wck=965.318, mem=136M971
972.36/967.80 decisions=9539574, wrong=4761663, backtracks=3686336, failedAssignments=2748973, nogoods=6003, foundSolutions=32, bestBound=87
972.36/967.80
1032.17/1027.64 num=757, depth=11..40, filters=604921194, revisions=(782776365,useless=310066674), ccks=1330957794, wck=1025.149, mem=147M329
1032.17/1027.64 decisions=10086738, wrong=5035235, backtracks=3908153, failedAssignments=2900559, nogoods=6016, foundSolutions=32, bestBound=87
1032.17/1027.64
1090.88/1086.33 num=758, depth=11..46, filters=640183976, revisions=(827769220,useless=327588455), ccks=1400156024, wck=1083.846, mem=155M97
1090.88/1086.33 decisions=10684264, wrong=5333990, backtracks=4133678, failedAssignments=3067304, nogoods=6024, foundSolutions=32, bestBound=87
1090.88/1086.33
1158.01/1153.47 num=759, depth=11..44, filters=680857873, revisions=(879351911,useless=347448207), ccks=1484160449, wck=1150.985, mem=33M726
1158.01/1153.47 decisions=11348985, wrong=5666342, backtracks=4395135, failedAssignments=3250723, nogoods=6035, foundSolutions=32, bestBound=87
1158.01/1153.47
1233.53/1229.00 num=760, depth=11..46, filters=726530558, revisions=(937777320,useless=370325154), ccks=1580362736, wck=1226.517, mem=46M766
1233.53/1229.00 decisions=12085005, wrong=6034342, backtracks=4686419, failedAssignments=3452484, nogoods=6045, foundSolutions=32, bestBound=87
1233.53/1229.00
1313.34/1308.74 num=761, depth=11..45, filters=774066129, revisions=(998404096,useless=394042474), ccks=1682002662, wck=1306.251, mem=59M805
1313.34/1308.74 decisions=12877108, wrong=6430385, backtracks=5005322, failedAssignments=3674422, nogoods=6059, foundSolutions=32, bestBound=87
1313.34/1308.74
1415.58/1410.99 num=762, depth=10..33, filters=835656985, revisions=(1076976593,useless=424748639), ccks=1814172822, wck=1408.506, mem=75M453
1415.58/1410.99 decisions=13787814, wrong=6885730, backtracks=5392960, failedAssignments=3918553, nogoods=6066, foundSolutions=32, bestBound=87
1415.58/1410.99
1517.93/1513.25 num=763, depth=10..41, filters=897130123, revisions=(1155007018,useless=455730137), ccks=1949264010, wck=1510.768, mem=91M101
1517.93/1513.25 decisions=14733965, wrong=7358795, backtracks=5777628, failedAssignments=4187098, nogoods=6079, foundSolutions=32, bestBound=87
1517.93/1513.25
1626.59/1621.82 num=764, depth=10..42, filters=961372840, revisions=(1237391534,useless=488178915), ccks=2087443686, wck=1619.334, mem=106M748
1626.59/1621.82 decisions=15801172, wrong=7892390, backtracks=6222839, failedAssignments=4482497, nogoods=6088, foundSolutions=32, bestBound=87
1626.59/1621.82
1747.15/1742.34 num=765, depth=10..38, filters=1034522384, revisions=(1329431971,useless=523220863), ccks=2241415644, wck=1739.85, mem=127M612
1747.15/1742.34 decisions=16974573, wrong=8479081, backtracks=6683821, failedAssignments=4807436, nogoods=6094, foundSolutions=32, bestBound=87
1747.15/1742.34
1884.11/1879.21 num=766, depth=10..45, filters=1117740329, revisions=(1433473551,useless=563269380), ccks=2413928085, wck=1876.721, mem=148M475
1884.11/1879.21 decisions=18271811, wrong=9127691, backtracks=7195782, failedAssignments=5164869, nogoods=6105, foundSolutions=32, bestBound=87
1884.11/1879.21
2035.29/2030.31 num=767, depth=10..45, filters=1209780711, revisions=(1551327907,useless=609413515), ccks=2605326597, wck=2027.826, mem=39M55
2035.29/2030.31 decisions=19746837, wrong=9865194, backtracks=7774431, failedAssignments=5558045, nogoods=6118, foundSolutions=32, bestBound=87
2035.29/2030.31
2185.96/2180.93 num=768, depth=10..48, filters=1302370980, revisions=(1669820274,useless=654961480), ccks=2791667230, wck=2178.446, mem=62M635
2185.96/2180.93 decisions=21326163, wrong=10654848, backtracks=8371002, failedAssignments=5990539, nogoods=6127, foundSolutions=32, bestBound=87
2185.96/2180.93
2359.33/2354.28 num=769, depth=10..47, filters=1407438932, revisions=(1804933708,useless=708159283), ccks=3002509398, wck=2351.789, mem=91M455
2359.33/2354.28 decisions=23071405, wrong=11527461, backtracks=9046140, failedAssignments=6466283, nogoods=6140, foundSolutions=32, bestBound=87
2359.33/2354.28
2400.05/2394.90
2400.05/2394.90 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>
2400.05/2394.90 s SATISFIABLE