2.39/1.88
2.39/1.88 AbsCon 2
2.39/1.90
2.63/2.00 Instance
2.63/2.00 name=instance-4391242-1568390570, framework=COP, bounds=-infty..+infty
2.63/2.00
2.63/2.00 Loading variables...
2.88/2.02 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e5e7950
2.88/2.03 Loading constraints...[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7a51d6ee
2.88/2.03 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@248489ba
2.88/2.04 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@663dbd6
2.88/2.04 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a4082ef
2.88/2.04 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6cc40143
2.88/2.04 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@20cc4c3a
2.88/2.04 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@161ef711
2.88/2.08
2.88/2.08
2.88/2.08 Domains
2.88/2.08 nTypes=1, nValues=188, sizes=[2#94]
2.88/2.08 Variables
2.88/2.08 count=94, degrees=[3#64,6#1,8#29]
2.88/2.08 Objectives
2.88/2.08 way=min, type=SumWeightedLE
2.88/2.08 Constraints
2.88/2.08 count=9, nSpecific=9, arities=[45#2,46#6,64#1]
2.88/2.08 distribution=[SumWeightedGE#8,SumWeightedLE#1]
2.88/2.08 wck=0.235, cpu=2.044, mem=18M585
2.88/2.09 Solver SolverBacktrack being built...
2.88/2.09
3.16/2.11
3.16/2.11 Solver
3.16/2.11 guaranteedGAC=true
3.16/2.11 wck=0.264, cpu=2.071, mem=29M228
3.16/2.11
3.16/2.11 Preprocessing
3.16/2.11 filters=0, nACremovedValues=0, nTotalRemovedValues=0, inconcistency=false
3.16/2.11 wck=0.001, cpu=2.073, mem=29M228
3.16/2.11
3.16/2.12 num=0, depth=76..82, filters=45, wck=0.013, mem=29M228
3.16/2.12 decisions=100, wrong=12, backtracks=10, failedAssignments=10, nogoods=3
3.16/2.12
3.16/2.14 o 754
3.16/2.14 num=1, depth=95..93, filters=67, ccks=9, wck=0.031, mem=31M870
3.16/2.14 decisions=143, wrong=12, backtracks=10, failedAssignments=10, nogoods=3, foundSolutions=1, bestBound=754
3.16/2.14
3.16/2.15 o 753
3.16/2.15 num=2, depth=34..93, filters=103, ccks=18, wck=0.036, mem=31M870
3.16/2.15 decisions=182, wrong=14, backtracks=10, failedAssignments=12, nogoods=5, foundSolutions=2, bestBound=753
3.16/2.15
3.16/2.16 o 661
3.16/2.16 num=3, depth=19..93, filters=183, ccks=27, wck=0.041, mem=31M870
3.16/2.16 decisions=234, wrong=24, backtracks=15, failedAssignments=17, nogoods=10, foundSolutions=3, bestBound=661
3.16/2.16
3.16/2.16 o 653
3.16/2.16 num=4, depth=18..93, filters=207, ccks=36, wck=0.044, mem=31M870
3.16/2.16 decisions=270, wrong=25, backtracks=15, failedAssignments=18, nogoods=11, foundSolutions=4, bestBound=653
3.16/2.16
3.16/2.16 o 648
3.16/2.16 num=5, depth=17..93, filters=243, ccks=45, wck=0.047, mem=31M870
3.16/2.16 decisions=306, wrong=28, backtracks=17, failedAssignments=20, nogoods=12, foundSolutions=5, bestBound=648
3.16/2.16
3.16/2.17 o 484
3.16/2.17 num=6, depth=17..93, filters=311, ccks=54, wck=0.051, mem=31M870
3.16/2.17 decisions=371, wrong=39, backtracks=25, failedAssignments=24, nogoods=15, foundSolutions=6, bestBound=484
3.16/2.17
3.16/2.17 num=7, depth=16..33, filters=407, ccks=54, wck=0.053, mem=31M870
3.16/2.17 decisions=434, wrong=62, backtracks=45, failedAssignments=35, nogoods=18, foundSolutions=6, bestBound=484
3.16/2.17
3.16/2.17 o 404
3.16/2.17 num=8, depth=95..93, filters=425, ccks=63, wck=0.055, mem=31M870
3.16/2.17 decisions=477, wrong=62, backtracks=45, failedAssignments=35, nogoods=18, foundSolutions=7, bestBound=404
3.16/2.17
3.16/2.17 o 324
3.16/2.17 num=9, depth=95..93, filters=442, ccks=72, wck=0.057, mem=31M870
3.16/2.17 decisions=515, wrong=62, backtracks=45, failedAssignments=35, nogoods=18, foundSolutions=8, bestBound=324
3.16/2.17
3.16/2.17 o 314
3.16/2.17 num=10, depth=19..93, filters=502, ccks=81, wck=0.059, mem=31M870
3.16/2.17 decisions=579, wrong=74, backtracks=54, failedAssignments=38, nogoods=21, foundSolutions=9, bestBound=314
3.16/2.17
3.16/2.17 num=11, depth=24..32, filters=614, ccks=81, wck=0.061, mem=31M870
3.16/2.17 decisions=643, wrong=93, backtracks=68, failedAssignments=49, nogoods=25, foundSolutions=9, bestBound=314
3.16/2.17
3.16/2.18 num=12, depth=17..30, filters=670, ccks=81, wck=0.062, mem=31M870
3.16/2.18 decisions=685, wrong=104, backtracks=68, failedAssignments=60, nogoods=36, foundSolutions=9, bestBound=314
3.16/2.18
3.16/2.18 num=13, depth=24..35, filters=771, ccks=81, wck=0.064, mem=31M870
3.16/2.18 decisions=746, wrong=122, backtracks=83, failedAssignments=72, nogoods=38, foundSolutions=9, bestBound=314
3.16/2.18
3.16/2.18 o 117
3.16/2.18 num=14, depth=34..93, filters=794, ccks=90, wck=0.065, mem=31M870
3.16/2.18 decisions=799, wrong=123, backtracks=83, failedAssignments=73, nogoods=39, foundSolutions=10, bestBound=117
3.16/2.18
3.16/2.18 o 116
3.16/2.18 num=15, depth=21..93, filters=819, ccks=99, wck=0.067, mem=31M870
3.16/2.18 decisions=832, wrong=125, backtracks=83, failedAssignments=75, nogoods=41, foundSolutions=11, bestBound=116
3.16/2.18
3.16/2.18 o 106
3.16/2.18 num=16, depth=33..93, filters=838, ccks=108, wck=0.068, mem=31M870
3.16/2.18 decisions=875, wrong=126, backtracks=83, failedAssignments=76, nogoods=42, foundSolutions=12, bestBound=106
3.16/2.18
3.16/2.18 num=17, depth=17..39, filters=920, ccks=108, wck=0.069, mem=31M870
3.16/2.18 decisions=956, wrong=149, backtracks=102, failedAssignments=87, nogoods=44, foundSolutions=12, bestBound=106
3.16/2.18
3.16/2.18 num=18, depth=17..27, filters=1018, ccks=108, wck=0.071, mem=31M870
3.16/2.18 decisions=1015, wrong=170, backtracks=119, failedAssignments=98, nogoods=48, foundSolutions=12, bestBound=106
3.16/2.18
3.16/2.18 num=19, depth=16..27, filters=1123, ccks=108, wck=0.072, mem=31M870
3.16/2.18 decisions=1085, wrong=195, backtracks=137, failedAssignments=110, nogoods=56, foundSolutions=12, bestBound=106
3.16/2.18
3.16/2.19 num=20, depth=13..28, filters=1187, ccks=108, wck=0.074, mem=31M870
3.16/2.19 decisions=1135, wrong=213, backtracks=150, failedAssignments=123, nogoods=61, foundSolutions=12, bestBound=106
3.16/2.19
3.16/2.19 num=21, depth=12..23, filters=1253, ccks=108, wck=0.075, mem=31M870
3.16/2.19 decisions=1185, wrong=231, backtracks=158, failedAssignments=137, nogoods=71, foundSolutions=12, bestBound=106
3.16/2.19
3.16/2.19 o 90
3.16/2.19 num=22, depth=19..93, filters=1284, ccks=117, wck=0.076, mem=31M870
3.16/2.19 decisions=1234, wrong=234, backtracks=158, failedAssignments=140, nogoods=74, foundSolutions=13, bestBound=90
3.16/2.19
3.16/2.19 num=23, depth=19..28, filters=1361, ccks=117, wck=0.078, mem=31M870
3.16/2.19 decisions=1299, wrong=257, backtracks=175, failedAssignments=157, nogoods=79, foundSolutions=13, bestBound=90
3.16/2.19
3.16/2.19 num=24, depth=14..30, filters=1489, ccks=117, wck=0.08, mem=31M870
3.16/2.19 decisions=1365, wrong=283, backtracks=197, failedAssignments=168, nogoods=80, foundSolutions=13, bestBound=90
3.16/2.19
3.16/2.19 num=25, depth=13..21, filters=1549, ccks=117, wck=0.081, mem=31M870
3.16/2.19 decisions=1412, wrong=299, backtracks=209, failedAssignments=180, nogoods=84, foundSolutions=13, bestBound=90
3.16/2.19
3.16/2.19 num=26, depth=12..28, filters=1621, ccks=117, wck=0.082, mem=31M870
3.16/2.19 decisions=1463, wrong=318, backtracks=225, failedAssignments=193, nogoods=87, foundSolutions=13, bestBound=90
3.16/2.19
3.16/2.20 num=27, depth=17..29, filters=1732, ccks=117, wck=0.084, mem=31M870
3.16/2.20 decisions=1538, wrong=345, backtracks=249, failedAssignments=207, nogoods=91, foundSolutions=13, bestBound=90
3.16/2.20
3.16/2.20 num=28, depth=25..42, filters=1825, ccks=117, wck=0.085, mem=31M870
3.16/2.20 decisions=1606, wrong=365, backtracks=262, failedAssignments=223, nogoods=98, foundSolutions=13, bestBound=90
3.16/2.20
3.16/2.20 o 67
3.16/2.20 num=29, depth=13..93, filters=1940, ccks=126, wck=0.087, mem=31M870
3.16/2.20 decisions=1690, wrong=387, backtracks=274, failedAssignments=236, nogoods=108, foundSolutions=14, bestBound=67
3.16/2.20
3.16/2.20 num=30, depth=13..31, filters=2031, ccks=126, wck=0.089, mem=31M870
3.16/2.20 decisions=1750, wrong=410, backtracks=287, failedAssignments=255, nogoods=118, foundSolutions=14, bestBound=67
3.16/2.20
3.47/2.20 num=31, depth=27..34, filters=2128, ccks=126, wck=0.09, mem=31M870
3.47/2.20 decisions=1814, wrong=428, backtracks=298, failedAssignments=266, nogoods=122, foundSolutions=14, bestBound=67
3.47/2.20
3.47/2.20 num=32, depth=13..26, filters=2206, ccks=126, wck=0.092, mem=31M870
3.47/2.20 decisions=1868, wrong=448, backtracks=313, failedAssignments=278, nogoods=127, foundSolutions=14, bestBound=67
3.47/2.20
3.47/2.21 num=33, depth=14..22, filters=2267, ccks=126, wck=0.093, mem=31M870
3.47/2.21 decisions=1916, wrong=465, backtracks=329, failedAssignments=291, nogoods=131, foundSolutions=14, bestBound=67
3.47/2.21
3.47/2.21 num=34, depth=13..23, filters=2342, ccks=126, wck=0.094, mem=31M870
3.47/2.21 decisions=1971, wrong=486, backtracks=350, failedAssignments=305, nogoods=132, foundSolutions=14, bestBound=67
3.47/2.21
3.47/2.21 num=35, depth=12..26, filters=2412, ccks=126, wck=0.096, mem=31M870
3.47/2.21 decisions=2025, wrong=505, backtracks=360, failedAssignments=321, nogoods=141, foundSolutions=14, bestBound=67
3.47/2.21
3.47/2.21 num=36, depth=14..23, filters=2481, ccks=126, wck=0.097, mem=31M870
3.47/2.21 decisions=2083, wrong=526, backtracks=376, failedAssignments=338, nogoods=146, foundSolutions=14, bestBound=67
3.47/2.21
3.47/2.21 num=37, depth=12..21, filters=2575, ccks=126, wck=0.099, mem=31M870
3.47/2.21 decisions=2146, wrong=550, backtracks=393, failedAssignments=357, nogoods=153, foundSolutions=14, bestBound=67
3.47/2.21
3.47/2.21 num=38, depth=12..23, filters=2674, ccks=126, wck=0.1, mem=31M870
3.47/2.21 decisions=2216, wrong=578, backtracks=413, failedAssignments=378, nogoods=162, foundSolutions=14, bestBound=67
3.47/2.21
3.47/2.21 o 57
3.47/2.21 num=39, depth=16..93, filters=2764, ccks=135, wck=0.102, mem=31M870
3.47/2.21 decisions=2293, wrong=597, backtracks=424, failedAssignments=392, nogoods=170, foundSolutions=15, bestBound=57
3.47/2.21
3.47/2.22 o 53
3.47/2.22 num=40, depth=13..93, filters=2888, ccks=144, wck=0.104, mem=31M870
3.47/2.22 decisions=2371, wrong=621, backtracks=442, failedAssignments=410, nogoods=176, foundSolutions=16, bestBound=53
3.47/2.22
3.47/2.22 num=41, depth=13..23, filters=2959, ccks=144, wck=0.106, mem=31M870
3.47/2.22 decisions=2415, wrong=635, backtracks=451, failedAssignments=421, nogoods=182, foundSolutions=16, bestBound=53
3.47/2.22
3.47/2.22 o 37
3.47/2.22 num=42, depth=14..93, filters=2988, ccks=153, wck=0.107, mem=31M870
3.47/2.22 decisions=2457, wrong=638, backtracks=451, failedAssignments=424, nogoods=185, foundSolutions=17, bestBound=37
3.47/2.22
3.47/2.22 num=43, depth=11..19, filters=3062, ccks=153, wck=0.108, mem=31M870
3.47/2.22 decisions=2506, wrong=656, backtracks=465, failedAssignments=436, nogoods=188, foundSolutions=17, bestBound=37
3.47/2.22
3.47/2.22 num=44, depth=13..20, filters=3130, ccks=153, wck=0.109, mem=31M870
3.47/2.22 decisions=2557, wrong=674, backtracks=477, failedAssignments=447, nogoods=192, foundSolutions=17, bestBound=37
3.47/2.22
3.47/2.22 num=45, depth=12..20, filters=3187, ccks=153, wck=0.11, mem=31M870
3.47/2.22 decisions=2602, wrong=690, backtracks=489, failedAssignments=459, nogoods=197, foundSolutions=17, bestBound=37
3.47/2.22
3.47/2.22 num=46, depth=13..22, filters=3279, ccks=153, wck=0.111, mem=31M870
3.47/2.22 decisions=2663, wrong=714, backtracks=512, failedAssignments=472, nogoods=201, foundSolutions=17, bestBound=37
3.47/2.22
3.47/2.23 num=47, depth=11..20, filters=3341, ccks=153, wck=0.112, mem=31M870
3.47/2.23 decisions=2712, wrong=732, backtracks=527, failedAssignments=486, nogoods=204, foundSolutions=17, bestBound=37
3.47/2.23
3.47/2.23 num=48, depth=13..23, filters=3409, ccks=153, wck=0.114, mem=31M870
3.47/2.23 decisions=2763, wrong=751, backtracks=540, failedAssignments=502, nogoods=210, foundSolutions=17, bestBound=37
3.47/2.23
3.47/2.23 num=49, depth=12..20, filters=3485, ccks=153, wck=0.115, mem=31M870
3.47/2.23 decisions=2817, wrong=772, backtracks=560, failedAssignments=519, nogoods=211, foundSolutions=17, bestBound=37
3.47/2.23
3.47/2.23 o 15
3.47/2.23 num=50, depth=13..93, filters=3574, ccks=162, wck=0.116, mem=31M870
3.47/2.23 decisions=2886, wrong=789, backtracks=571, failedAssignments=530, nogoods=217, foundSolutions=18, bestBound=15
3.47/2.23
3.47/2.23 num=51, depth=10..21, filters=3694, ccks=162, wck=0.118, mem=31M870
3.47/2.23 decisions=2956, wrong=818, backtracks=592, failedAssignments=551, nogoods=225, foundSolutions=18, bestBound=15
3.47/2.23
3.47/2.23 num=52, depth=12..21, filters=3749, ccks=162, wck=0.119, mem=31M870
3.47/2.23 decisions=2998, wrong=832, backtracks=602, failedAssignments=562, nogoods=230, foundSolutions=18, bestBound=15
3.47/2.23
3.47/2.23 num=53, depth=11..18, filters=3792, ccks=162, wck=0.119, mem=31M870
3.47/2.23 decisions=3043, wrong=848, backtracks=611, failedAssignments=574, nogoods=236, foundSolutions=18, bestBound=15
3.47/2.23
3.47/2.23 num=54, depth=10..17, filters=3847, ccks=162, wck=0.12, mem=31M870
3.47/2.23 decisions=3089, wrong=865, backtracks=622, failedAssignments=587, nogoods=242, foundSolutions=18, bestBound=15
3.47/2.23
3.47/2.23 num=55, depth=12..18, filters=3905, ccks=162, wck=0.121, mem=31M870
3.47/2.23 decisions=3135, wrong=882, backtracks=635, failedAssignments=601, nogoods=248, foundSolutions=18, bestBound=15
3.47/2.23
3.47/2.24 num=56, depth=12..22, filters=3979, ccks=162, wck=0.122, mem=31M870
3.47/2.24 decisions=3188, wrong=902, backtracks=651, failedAssignments=617, nogoods=253, foundSolutions=18, bestBound=15
3.47/2.24
3.47/2.24 num=57, depth=11..20, filters=4051, ccks=162, wck=0.123, mem=31M870
3.47/2.24 decisions=3242, wrong=923, backtracks=669, failedAssignments=634, nogoods=256, foundSolutions=18, bestBound=15
3.47/2.24
3.47/2.24 num=58, depth=12..20, filters=4133, ccks=162, wck=0.124, mem=31M870
3.47/2.24 decisions=3303, wrong=947, backtracks=690, failedAssignments=653, nogoods=259, foundSolutions=18, bestBound=15
3.47/2.24
3.47/2.24 num=59, depth=11..22, filters=4245, ccks=162, wck=0.126, mem=34M513
3.47/2.24 decisions=3365, wrong=972, backtracks=708, failedAssignments=674, nogoods=267, foundSolutions=18, bestBound=15
3.47/2.24
3.47/2.24 num=60, depth=10..19, filters=4371, ccks=162, wck=0.127, mem=34M513
3.47/2.24 decisions=3444, wrong=1006, backtracks=735, failedAssignments=697, nogoods=274, foundSolutions=18, bestBound=15
3.47/2.24
3.47/2.24 num=61, depth=12..23, filters=4490, ccks=162, wck=0.129, mem=34M513
3.47/2.24 decisions=3517, wrong=1036, backtracks=763, failedAssignments=722, nogoods=279, foundSolutions=18, bestBound=15
3.47/2.24
3.47/2.24 num=62, depth=9..22, filters=4607, ccks=162, wck=0.13, mem=34M513
3.47/2.24 decisions=3606, wrong=1075, backtracks=791, failedAssignments=750, nogoods=287, foundSolutions=18, bestBound=15
3.47/2.24
3.47/2.24 num=63, depth=11..20, filters=4743, ccks=162, wck=0.132, mem=34M513
3.47/2.24 decisions=3699, wrong=1115, backtracks=824, failedAssignments=781, nogoods=295, foundSolutions=18, bestBound=15
3.47/2.24
3.47/2.25 num=64, depth=11..20, filters=4941, ccks=162, wck=0.134, mem=34M513
3.47/2.25 decisions=3811, wrong=1165, backtracks=871, failedAssignments=815, nogoods=301, foundSolutions=18, bestBound=15
3.47/2.25
3.47/2.25 num=65, depth=12..22, filters=5127, ccks=162, wck=0.136, mem=34M513
3.47/2.25 decisions=3916, wrong=1211, backtracks=913, failedAssignments=852, nogoods=309, foundSolutions=18, bestBound=15
3.47/2.25
3.47/2.25 num=66, depth=12..23, filters=5296, ccks=162, wck=0.138, mem=34M513
3.47/2.25 decisions=4033, wrong=1263, backtracks=959, failedAssignments=893, nogoods=318, foundSolutions=18, bestBound=15
3.47/2.25
3.47/2.25 num=67, depth=11..22, filters=5523, ccks=162, wck=0.14, mem=34M513
3.47/2.25 decisions=4165, wrong=1323, backtracks=1008, failedAssignments=938, nogoods=329, foundSolutions=18, bestBound=15
3.47/2.25
3.47/2.25 num=68, depth=12..23, filters=5788, ccks=162, wck=0.143, mem=34M513
3.47/2.25 decisions=4311, wrong=1389, backtracks=1067, failedAssignments=988, nogoods=337, foundSolutions=18, bestBound=15
3.47/2.25
3.47/2.26 num=69, depth=11..21, filters=6060, ccks=162, wck=0.145, mem=34M513
3.47/2.26 decisions=4465, wrong=1460, backtracks=1134, failedAssignments=1043, nogoods=343, foundSolutions=18, bestBound=15
3.47/2.26
3.47/2.26 num=70, depth=9..21, filters=6332, ccks=162, wck=0.148, mem=34M513
3.47/2.26 decisions=4627, wrong=1535, backtracks=1199, failedAssignments=1104, nogoods=352, foundSolutions=18, bestBound=15
3.47/2.26
3.47/2.26 num=71, depth=11..22, filters=6614, ccks=162, wck=0.151, mem=34M513
3.47/2.26 decisions=4803, wrong=1617, backtracks=1275, failedAssignments=1171, nogoods=360, foundSolutions=18, bestBound=15
3.47/2.26
3.47/2.27 num=72, depth=11..21, filters=7028, ccks=162, wck=0.154, mem=34M513
3.47/2.27 decisions=5024, wrong=1722, backtracks=1377, failedAssignments=1245, nogoods=365, foundSolutions=18, bestBound=15
3.47/2.27
3.47/2.27 num=73, depth=12..27, filters=7386, ccks=162, wck=0.157, mem=34M513
3.47/2.27 decisions=5244, wrong=1826, backtracks=1476, failedAssignments=1326, nogoods=371, foundSolutions=18, bestBound=15
3.47/2.27
3.47/2.27 num=74, depth=10..22, filters=7821, ccks=162, wck=0.16, mem=34M513
3.47/2.27 decisions=5504, wrong=1950, backtracks=1592, failedAssignments=1415, nogoods=380, foundSolutions=18, bestBound=15
3.47/2.27
3.47/2.27 o 14
3.47/2.28 num=75, depth=12..93, filters=7960, ccks=171, wck=0.162, mem=34M513
3.47/2.28 decisions=5592, wrong=1985, backtracks=1616, failedAssignments=1442, nogoods=391, foundSolutions=19, bestBound=14
3.47/2.28
3.47/2.28 num=76, depth=11..23, filters=8437, ccks=171, wck=0.166, mem=34M513
3.47/2.28 decisions=5887, wrong=2126, backtracks=1751, failedAssignments=1550, nogoods=396, foundSolutions=19, bestBound=14
3.47/2.28
3.47/2.28 num=77, depth=12..18, filters=8490, ccks=171, wck=0.167, mem=34M513
3.47/2.28 decisions=5928, wrong=2140, backtracks=1762, failedAssignments=1561, nogoods=400, foundSolutions=19, bestBound=14
3.47/2.28
3.47/2.28 num=78, depth=12..22, filters=8557, ccks=171, wck=0.168, mem=34M513
3.47/2.28 decisions=5968, wrong=2154, backtracks=1775, failedAssignments=1573, nogoods=402, foundSolutions=19, bestBound=14
3.47/2.28
3.47/2.28 num=79, depth=12..17, filters=8633, ccks=171, wck=0.169, mem=34M513
3.47/2.28 decisions=6016, wrong=2172, backtracks=1791, failedAssignments=1586, nogoods=408, foundSolutions=19, bestBound=14
3.47/2.28
3.47/2.28 num=80, depth=11..19, filters=8695, ccks=171, wck=0.17, mem=34M513
3.47/2.28 decisions=6064, wrong=2190, backtracks=1804, failedAssignments=1600, nogoods=414, foundSolutions=19, bestBound=14
3.47/2.28
3.47/2.28 num=81, depth=11..22, filters=8754, ccks=171, wck=0.17, mem=34M513
3.47/2.28 decisions=6113, wrong=2208, backtracks=1812, failedAssignments=1616, nogoods=424, foundSolutions=19, bestBound=14
3.47/2.28
3.47/2.28 num=82, depth=10..17, filters=8834, ccks=171, wck=0.171, mem=34M513
3.47/2.28 decisions=6171, wrong=2231, backtracks=1829, failedAssignments=1633, nogoods=431, foundSolutions=19, bestBound=14
3.47/2.28
3.47/2.28 num=83, depth=10..20, filters=8911, ccks=171, wck=0.172, mem=34M513
3.47/2.28 decisions=6230, wrong=2255, backtracks=1851, failedAssignments=1652, nogoods=433, foundSolutions=19, bestBound=14
3.47/2.28
3.47/2.29 num=84, depth=12..24, filters=9004, ccks=171, wck=0.173, mem=34M513
3.47/2.29 decisions=6292, wrong=2280, backtracks=1875, failedAssignments=1673, nogoods=436, foundSolutions=19, bestBound=14
3.47/2.29
3.47/2.29 num=85, depth=12..21, filters=9101, ccks=171, wck=0.174, mem=34M513
3.47/2.29 decisions=6358, wrong=2307, backtracks=1901, failedAssignments=1696, nogoods=439, foundSolutions=19, bestBound=14
3.47/2.29
3.47/2.29 num=86, depth=12..26, filters=9203, ccks=171, wck=0.176, mem=34M513
3.47/2.29 decisions=6429, wrong=2336, backtracks=1926, failedAssignments=1721, nogoods=444, foundSolutions=19, bestBound=14
3.47/2.29
3.47/2.29 num=87, depth=10..20, filters=9321, ccks=171, wck=0.177, mem=34M513
3.47/2.29 decisions=6507, wrong=2369, backtracks=1953, failedAssignments=1749, nogoods=450, foundSolutions=19, bestBound=14
3.47/2.29
3.47/2.29 num=88, depth=13..23, filters=9489, ccks=171, wck=0.179, mem=34M513
3.47/2.29 decisions=6607, wrong=2412, backtracks=1992, failedAssignments=1780, nogoods=457, foundSolutions=19, bestBound=14
3.47/2.29
3.47/2.29 num=89, depth=11..23, filters=9650, ccks=171, wck=0.18, mem=34M513
3.47/2.29 decisions=6699, wrong=2452, backtracks=2029, failedAssignments=1814, nogoods=461, foundSolutions=19, bestBound=14
3.47/2.29
3.47/2.30 num=90, depth=12..26, filters=9834, ccks=171, wck=0.183, mem=34M513
3.47/2.30 decisions=6804, wrong=2498, backtracks=2073, failedAssignments=1851, nogoods=465, foundSolutions=19, bestBound=14
3.47/2.30
3.47/2.30 num=91, depth=11..23, filters=10041, ccks=171, wck=0.185, mem=34M513
3.47/2.30 decisions=6918, wrong=2549, backtracks=2117, failedAssignments=1892, nogoods=473, foundSolutions=19, bestBound=14
3.47/2.30
3.47/2.30 num=92, depth=12..23, filters=10233, ccks=171, wck=0.187, mem=34M513
3.47/2.30 decisions=7041, wrong=2604, backtracks=2166, failedAssignments=1937, nogoods=481, foundSolutions=19, bestBound=14
3.47/2.30
3.47/2.30 num=93, depth=11..20, filters=10484, ccks=171, wck=0.189, mem=34M513
3.47/2.30 decisions=7183, wrong=2669, backtracks=2222, failedAssignments=1987, nogoods=492, foundSolutions=19, bestBound=14
3.47/2.30
3.47/2.30 num=94, depth=11..24, filters=10722, ccks=171, wck=0.191, mem=34M513
3.47/2.30 decisions=7338, wrong=2740, backtracks=2285, failedAssignments=2042, nogoods=500, foundSolutions=19, bestBound=14
3.47/2.30
3.78/2.31 num=95, depth=10..21, filters=11091, ccks=171, wck=0.194, mem=34M513
3.78/2.31 decisions=7525, wrong=2828, backtracks=2366, failedAssignments=2103, nogoods=509, foundSolutions=19, bestBound=14
3.78/2.31
3.78/2.31 num=96, depth=11..23, filters=11389, ccks=171, wck=0.197, mem=34M513
3.78/2.31 decisions=7708, wrong=2913, backtracks=2446, failedAssignments=2170, nogoods=516, foundSolutions=19, bestBound=14
3.78/2.31
3.78/2.31 num=97, depth=11..23, filters=11744, ccks=171, wck=0.2, mem=34M513
3.78/2.31 decisions=7905, wrong=3005, backtracks=2533, failedAssignments=2244, nogoods=521, foundSolutions=19, bestBound=14
3.78/2.31
3.78/2.31 num=98, depth=11..25, filters=12139, ccks=171, wck=0.203, mem=34M513
3.78/2.31 decisions=8114, wrong=3104, backtracks=2630, failedAssignments=2325, nogoods=531, foundSolutions=19, bestBound=14
3.78/2.31
3.78/2.32 num=99, depth=11..23, filters=12538, ccks=171, wck=0.206, mem=34M513
3.78/2.32 decisions=8367, wrong=3224, backtracks=2738, failedAssignments=2414, nogoods=543, foundSolutions=19, bestBound=14
3.78/2.32
3.78/2.32 num=100, depth=11..25, filters=13038, ccks=171, wck=0.209, mem=34M513
3.78/2.32 decisions=8640, wrong=3355, backtracks=2866, failedAssignments=2512, nogoods=548, foundSolutions=19, bestBound=14
3.78/2.32
3.78/2.33 num=101, depth=10..25, filters=13609, ccks=171, wck=0.214, mem=34M513
3.78/2.33 decisions=8938, wrong=3498, backtracks=3001, failedAssignments=2620, nogoods=555, foundSolutions=19, bestBound=14
3.78/2.33
3.78/2.33 num=102, depth=11..23, filters=14188, ccks=171, wck=0.218, mem=34M513
3.78/2.33 decisions=9271, wrong=3659, backtracks=3161, failedAssignments=2739, nogoods=559, foundSolutions=19, bestBound=14
3.78/2.33
3.78/2.34 num=103, depth=11..23, filters=14852, ccks=171, wck=0.223, mem=34M513
3.78/2.34 decisions=9636, wrong=3835, backtracks=3328, failedAssignments=2870, nogoods=569, foundSolutions=19, bestBound=14
3.78/2.34
3.78/2.34 num=104, depth=10..23, filters=15567, ccks=171, wck=0.228, mem=34M513
3.78/2.34 decisions=10016, wrong=4019, backtracks=3507, failedAssignments=3014, nogoods=573, foundSolutions=19, bestBound=14
3.78/2.34
3.78/2.35 num=105, depth=11..25, filters=16333, ccks=171, wck=0.233, mem=34M513
3.78/2.35 decisions=10450, wrong=4230, backtracks=3709, failedAssignments=3172, nogoods=585, foundSolutions=19, bestBound=14
3.78/2.35
3.78/2.35 num=106, depth=11..24, filters=17184, ccks=171, wck=0.239, mem=34M513
3.78/2.35 decisions=10910, wrong=4454, backtracks=3931, failedAssignments=3346, nogoods=589, foundSolutions=19, bestBound=14
3.78/2.35
3.78/2.36 num=107, depth=10..22, filters=18143, ccks=171, wck=0.246, mem=34M513
3.78/2.36 decisions=11454, wrong=4720, backtracks=4188, failedAssignments=3537, nogoods=598, foundSolutions=19, bestBound=14
3.78/2.36
3.78/2.37 num=108, depth=10..29, filters=19233, ccks=171, wck=0.253, mem=34M513
3.78/2.37 decisions=12018, wrong=4996, backtracks=4455, failedAssignments=3748, nogoods=608, foundSolutions=19, bestBound=14
3.78/2.37
3.78/2.37 num=109, depth=11..23, filters=20316, ccks=171, wck=0.261, mem=34M513
3.78/2.37 decisions=12629, wrong=5295, backtracks=4748, failedAssignments=3980, nogoods=620, foundSolutions=19, bestBound=14
3.78/2.37
3.78/2.38 o 12
3.78/2.38 num=110, depth=10..93, filters=20936, ccks=180, wck=0.266, mem=34M513
3.78/2.38 decisions=12978, wrong=5457, backtracks=4903, failedAssignments=4101, nogoods=625, foundSolutions=20, bestBound=12
3.78/2.38
3.78/2.38 o 11
3.78/2.38 num=111, depth=11..93, filters=21887, ccks=189, wck=0.273, mem=37M155
3.78/2.38 decisions=13485, wrong=5702, backtracks=5139, failedAssignments=4288, nogoods=639, foundSolutions=21, bestBound=11
3.78/2.38
3.78/2.39 num=112, depth=13..18, filters=21940, ccks=189, wck=0.273, mem=37M155
3.78/2.39 decisions=13527, wrong=5716, backtracks=5149, failedAssignments=4299, nogoods=645, foundSolutions=21, bestBound=11
3.78/2.39
3.78/2.39 num=113, depth=13..21, filters=22002, ccks=189, wck=0.274, mem=37M155
3.78/2.39 decisions=13568, wrong=5730, backtracks=5154, failedAssignments=4310, nogoods=655, foundSolutions=21, bestBound=11
3.78/2.39
3.78/2.39 num=114, depth=12..19, filters=22060, ccks=189, wck=0.275, mem=37M155
3.78/2.39 decisions=13611, wrong=5745, backtracks=5162, failedAssignments=4322, nogoods=662, foundSolutions=21, bestBound=11
3.78/2.39
3.78/2.39 num=115, depth=12..18, filters=22114, ccks=189, wck=0.275, mem=37M155
3.78/2.39 decisions=13653, wrong=5760, backtracks=5173, failedAssignments=4335, nogoods=667, foundSolutions=21, bestBound=11
3.78/2.39
3.78/2.39 num=116, depth=12..21, filters=22181, ccks=189, wck=0.276, mem=37M155
3.78/2.39 decisions=13702, wrong=5778, backtracks=5182, failedAssignments=4349, nogoods=676, foundSolutions=21, bestBound=11
3.78/2.39
3.78/2.39 num=117, depth=12..22, filters=22264, ccks=189, wck=0.277, mem=37M155
3.78/2.39 decisions=13754, wrong=5798, backtracks=5200, failedAssignments=4365, nogoods=680, foundSolutions=21, bestBound=11
3.78/2.39
3.78/2.39 num=118, depth=11..21, filters=22348, ccks=189, wck=0.278, mem=37M155
3.78/2.39 decisions=13810, wrong=5820, backtracks=5218, failedAssignments=4382, nogoods=685, foundSolutions=21, bestBound=11
3.78/2.39
3.78/2.39 num=119, depth=10..19, filters=22425, ccks=189, wck=0.279, mem=37M155
3.78/2.39 decisions=13864, wrong=5841, backtracks=5231, failedAssignments=4401, nogoods=693, foundSolutions=21, bestBound=11
3.78/2.39
3.78/2.39 num=120, depth=12..18, filters=22545, ccks=189, wck=0.28, mem=37M155
3.78/2.39 decisions=13938, wrong=5872, backtracks=5259, failedAssignments=4422, nogoods=697, foundSolutions=21, bestBound=11
3.78/2.39
3.78/2.39 num=121, depth=11..23, filters=22636, ccks=189, wck=0.281, mem=37M155
3.78/2.39 decisions=14002, wrong=5898, backtracks=5278, failedAssignments=4445, nogoods=704, foundSolutions=21, bestBound=11
3.78/2.39
3.78/2.39 num=122, depth=10..19, filters=22757, ccks=189, wck=0.282, mem=37M155
3.78/2.39 decisions=14080, wrong=5931, backtracks=5303, failedAssignments=4470, nogoods=715, foundSolutions=21, bestBound=11
3.78/2.39
3.78/2.40 num=123, depth=12..24, filters=22865, ccks=189, wck=0.283, mem=37M155
3.78/2.40 decisions=14159, wrong=5964, backtracks=5328, failedAssignments=4498, nogoods=723, foundSolutions=21, bestBound=11
3.78/2.40
4.05/2.40 num=124, depth=11..23, filters=22991, ccks=189, wck=0.285, mem=37M155
4.05/2.40 decisions=14246, wrong=6002, backtracks=5365, failedAssignments=4529, nogoods=726, foundSolutions=21, bestBound=11
4.05/2.40
4.05/2.40 num=125, depth=12..22, filters=23164, ccks=189, wck=0.287, mem=37M155
4.05/2.40 decisions=14344, wrong=6044, backtracks=5403, failedAssignments=4563, nogoods=730, foundSolutions=21, bestBound=11
4.05/2.40
4.05/2.40 num=126, depth=11..24, filters=23355, ccks=189, wck=0.288, mem=37M155
4.05/2.40 decisions=14452, wrong=6092, backtracks=5449, failedAssignments=4600, nogoods=733, foundSolutions=21, bestBound=11
4.05/2.40
4.05/2.40 num=127, depth=12..26, filters=23546, ccks=189, wck=0.29, mem=37M155
4.05/2.40 decisions=14564, wrong=6141, backtracks=5493, failedAssignments=4641, nogoods=739, foundSolutions=21, bestBound=11
4.05/2.40
4.05/2.40 num=128, depth=12..21, filters=23747, ccks=189, wck=0.292, mem=37M155
4.05/2.40 decisions=14686, wrong=6196, backtracks=5546, failedAssignments=4686, nogoods=749, foundSolutions=21, bestBound=11
4.05/2.40
4.05/2.41 num=129, depth=11..24, filters=23978, ccks=189, wck=0.294, mem=37M155
4.05/2.41 decisions=14821, wrong=6258, backtracks=5607, failedAssignments=4736, nogoods=750, foundSolutions=21, bestBound=11
4.05/2.41
4.05/2.41 num=130, depth=10..19, filters=24259, ccks=189, wck=0.296, mem=37M155
4.05/2.41 decisions=14981, wrong=6333, backtracks=5681, failedAssignments=4791, nogoods=751, foundSolutions=21, bestBound=11
4.05/2.41
4.05/2.41 num=131, depth=12..24, filters=24533, ccks=189, wck=0.299, mem=37M155
4.05/2.41 decisions=15147, wrong=6409, backtracks=5751, failedAssignments=4852, nogoods=757, foundSolutions=21, bestBound=11
4.05/2.41
4.05/2.41 num=132, depth=10..22, filters=24847, ccks=189, wck=0.301, mem=37M155
4.05/2.41 decisions=15339, wrong=6499, backtracks=5832, failedAssignments=4919, nogoods=765, foundSolutions=21, bestBound=11
4.05/2.41
4.05/2.42 num=133, depth=10..23, filters=25186, ccks=189, wck=0.304, mem=37M155
4.05/2.42 decisions=15542, wrong=6594, backtracks=5921, failedAssignments=4993, nogoods=773, foundSolutions=21, bestBound=11
4.05/2.42
4.05/2.42 num=134, depth=11..23, filters=25568, ccks=189, wck=0.307, mem=37M155
4.05/2.42 decisions=15764, wrong=6699, backtracks=6024, failedAssignments=5074, nogoods=777, foundSolutions=21, bestBound=11
4.05/2.42
4.05/2.42 num=135, depth=11..23, filters=25981, ccks=189, wck=0.311, mem=37M155
4.05/2.42 decisions=16006, wrong=6814, backtracks=6132, failedAssignments=5163, nogoods=789, foundSolutions=21, bestBound=11
4.05/2.42
4.05/2.43 o 10
4.05/2.43 num=136, depth=12..93, filters=26421, ccks=198, wck=0.314, mem=37M155
4.05/2.43 decisions=16247, wrong=6924, backtracks=6236, failedAssignments=5251, nogoods=797, foundSolutions=22, bestBound=10
4.05/2.43
4.05/2.43 num=137, depth=11..23, filters=26936, ccks=198, wck=0.318, mem=37M155
4.05/2.43 decisions=16539, wrong=7064, backtracks=6374, failedAssignments=5359, nogoods=805, foundSolutions=22, bestBound=10
4.05/2.43
4.05/2.43 num=138, depth=12..19, filters=26982, ccks=198, wck=0.319, mem=37M155
4.05/2.43 decisions=16581, wrong=7078, backtracks=6384, failedAssignments=5370, nogoods=809, foundSolutions=22, bestBound=10
4.05/2.43
4.05/2.43 num=139, depth=12..21, filters=27042, ccks=198, wck=0.32, mem=37M155
4.05/2.43 decisions=16626, wrong=7094, backtracks=6398, failedAssignments=5382, nogoods=812, foundSolutions=22, bestBound=10
4.05/2.43
4.05/2.43 num=140, depth=12..21, filters=27095, ccks=198, wck=0.321, mem=37M155
4.05/2.43 decisions=16671, wrong=7110, backtracks=6409, failedAssignments=5395, nogoods=817, foundSolutions=22, bestBound=10
4.05/2.43
4.05/2.43 num=141, depth=11..21, filters=27161, ccks=198, wck=0.321, mem=37M155
4.05/2.43 decisions=16717, wrong=7127, backtracks=6421, failedAssignments=5409, nogoods=822, foundSolutions=22, bestBound=10
4.05/2.43
4.05/2.43 num=142, depth=11..21, filters=27222, ccks=198, wck=0.322, mem=37M155
4.05/2.43 decisions=16768, wrong=7147, backtracks=6440, failedAssignments=5425, nogoods=823, foundSolutions=22, bestBound=10
4.05/2.43
4.05/2.44 num=143, depth=11..21, filters=27304, ccks=198, wck=0.323, mem=37M155
4.05/2.44 decisions=16827, wrong=7170, backtracks=6460, failedAssignments=5442, nogoods=827, foundSolutions=22, bestBound=10
4.05/2.44
4.05/2.44 num=144, depth=11..25, filters=27411, ccks=198, wck=0.324, mem=37M155
4.05/2.44 decisions=16887, wrong=7194, backtracks=6479, failedAssignments=5461, nogoods=833, foundSolutions=22, bestBound=10
4.05/2.44
4.05/2.44 num=145, depth=12..22, filters=27518, ccks=198, wck=0.325, mem=37M155
4.05/2.44 decisions=16954, wrong=7221, backtracks=6501, failedAssignments=5482, nogoods=839, foundSolutions=22, bestBound=10
4.05/2.44
4.05/2.44 num=146, depth=12..23, filters=27625, ccks=198, wck=0.327, mem=37M155
4.05/2.44 decisions=17021, wrong=7248, backtracks=6524, failedAssignments=5505, nogoods=845, foundSolutions=22, bestBound=10
4.05/2.44
4.05/2.44 num=147, depth=12..21, filters=27735, ccks=198, wck=0.328, mem=37M155
4.05/2.44 decisions=17094, wrong=7278, backtracks=6549, failedAssignments=5530, nogoods=852, foundSolutions=22, bestBound=10
4.05/2.44
4.05/2.44 num=148, depth=12..23, filters=27874, ccks=198, wck=0.329, mem=37M155
4.05/2.44 decisions=17175, wrong=7312, backtracks=6579, failedAssignments=5558, nogoods=858, foundSolutions=22, bestBound=10
4.05/2.44
4.05/2.44 num=149, depth=11..20, filters=28018, ccks=198, wck=0.33, mem=37M155
4.05/2.44 decisions=17263, wrong=7350, backtracks=6613, failedAssignments=5589, nogoods=862, foundSolutions=22, bestBound=10
4.05/2.44
4.05/2.44 num=150, depth=12..19, filters=28205, ccks=198, wck=0.332, mem=37M155
4.05/2.44 decisions=17369, wrong=7397, backtracks=6658, failedAssignments=5623, nogoods=870, foundSolutions=22, bestBound=10
4.05/2.44
4.05/2.45 num=151, depth=12..24, filters=28383, ccks=198, wck=0.334, mem=37M155
4.05/2.45 decisions=17470, wrong=7441, backtracks=6697, failedAssignments=5660, nogoods=877, foundSolutions=22, bestBound=10
4.05/2.45
4.05/2.45 num=152, depth=11..21, filters=28566, ccks=198, wck=0.336, mem=37M155
4.05/2.45 decisions=17594, wrong=7497, backtracks=6747, failedAssignments=5701, nogoods=886, foundSolutions=22, bestBound=10
4.05/2.45
4.05/2.45 num=153, depth=11..23, filters=28824, ccks=198, wck=0.338, mem=37M155
4.05/2.45 decisions=17725, wrong=7556, backtracks=6801, failedAssignments=5746, nogoods=889, foundSolutions=22, bestBound=10
4.05/2.45
4.05/2.45 num=154, depth=11..24, filters=29053, ccks=198, wck=0.34, mem=37M155
4.05/2.45 decisions=17858, wrong=7616, backtracks=6852, failedAssignments=5796, nogoods=900, foundSolutions=22, bestBound=10
4.05/2.45
4.05/2.45 num=155, depth=11..24, filters=29303, ccks=198, wck=0.342, mem=37M155
4.05/2.45 decisions=18008, wrong=7684, backtracks=6915, failedAssignments=5851, nogoods=907, foundSolutions=22, bestBound=10
4.05/2.45
4.05/2.46 num=156, depth=11..22, filters=29536, ccks=198, wck=0.344, mem=37M155
4.05/2.46 decisions=18172, wrong=7760, backtracks=6988, failedAssignments=5912, nogoods=913, foundSolutions=22, bestBound=10
4.05/2.46
4.05/2.46 num=157, depth=11..25, filters=29843, ccks=198, wck=0.347, mem=37M155
4.05/2.46 decisions=18349, wrong=7842, backtracks=7066, failedAssignments=5979, nogoods=917, foundSolutions=22, bestBound=10
4.05/2.46
4.05/2.46 num=158, depth=11..24, filters=30216, ccks=198, wck=0.35, mem=37M155
4.05/2.46 decisions=18548, wrong=7935, backtracks=7154, failedAssignments=6053, nogoods=928, foundSolutions=22, bestBound=10
4.05/2.46
4.05/2.46 num=159, depth=12..23, filters=30615, ccks=198, wck=0.353, mem=37M155
4.05/2.46 decisions=18765, wrong=8037, backtracks=7255, failedAssignments=6134, nogoods=935, foundSolutions=22, bestBound=10
4.05/2.46
4.05/2.47 num=160, depth=11..25, filters=31018, ccks=198, wck=0.356, mem=37M155
4.05/2.47 decisions=18990, wrong=8143, backtracks=7356, failedAssignments=6223, nogoods=941, foundSolutions=22, bestBound=10
4.05/2.47
4.05/2.47 o 5
4.05/2.47 num=161, depth=13..93, filters=31043, ccks=207, wck=0.357, mem=37M155
4.05/2.47 decisions=19025, wrong=8146, backtracks=7358, failedAssignments=6225, nogoods=942, foundSolutions=23, bestBound=5
4.05/2.47
4.05/2.47 num=162, depth=10..23, filters=31584, ccks=207, wck=0.361, mem=37M155
4.05/2.47 decisions=19341, wrong=8298, backtracks=7502, failedAssignments=6333, nogoods=947, foundSolutions=23, bestBound=5
4.05/2.47
4.05/2.47 num=163, depth=11..22, filters=31636, ccks=207, wck=0.362, mem=37M155
4.05/2.47 decisions=19381, wrong=8312, backtracks=7514, failedAssignments=6344, nogoods=950, foundSolutions=23, bestBound=5
4.05/2.47
4.05/2.47 num=164, depth=11..20, filters=31674, ccks=207, wck=0.362, mem=37M155
4.05/2.47 decisions=19421, wrong=8326, backtracks=7525, failedAssignments=6356, nogoods=953, foundSolutions=23, bestBound=5
4.05/2.47
4.05/2.47 num=165, depth=10..17, filters=31736, ccks=207, wck=0.363, mem=37M155
4.05/2.47 decisions=19468, wrong=8344, backtracks=7539, failedAssignments=6369, nogoods=957, foundSolutions=23, bestBound=5
4.05/2.47
4.05/2.48 num=166, depth=11..20, filters=31800, ccks=207, wck=0.364, mem=37M155
4.05/2.48 decisions=19514, wrong=8361, backtracks=7547, failedAssignments=6383, nogoods=966, foundSolutions=23, bestBound=5
4.05/2.48
4.05/2.48 num=167, depth=10..20, filters=31858, ccks=207, wck=0.364, mem=37M155
4.05/2.48 decisions=19563, wrong=8380, backtracks=7564, failedAssignments=6399, nogoods=968, foundSolutions=23, bestBound=5
4.05/2.48
4.05/2.48 num=168, depth=10..19, filters=31927, ccks=207, wck=0.365, mem=37M155
4.05/2.48 decisions=19616, wrong=8401, backtracks=7579, failedAssignments=6416, nogoods=974, foundSolutions=23, bestBound=5
4.05/2.48
4.05/2.48 num=169, depth=10..19, filters=31987, ccks=207, wck=0.366, mem=37M155
4.05/2.48 decisions=19669, wrong=8422, backtracks=7596, failedAssignments=6435, nogoods=978, foundSolutions=23, bestBound=5
4.05/2.48
4.05/2.48 num=170, depth=10..19, filters=32071, ccks=207, wck=0.367, mem=37M155
4.05/2.48 decisions=19730, wrong=8447, backtracks=7617, failedAssignments=6456, nogoods=983, foundSolutions=23, bestBound=5
4.05/2.48
4.05/2.48 num=171, depth=12..19, filters=32192, ccks=207, wck=0.368, mem=37M155
4.05/2.48 decisions=19804, wrong=8478, backtracks=7644, failedAssignments=6479, nogoods=989, foundSolutions=23, bestBound=5
4.05/2.48
4.05/2.48 num=172, depth=10..20, filters=32311, ccks=207, wck=0.369, mem=37M155
4.05/2.48 decisions=19881, wrong=8511, backtracks=7673, failedAssignments=6504, nogoods=994, foundSolutions=23, bestBound=5
4.05/2.48
4.05/2.48 num=173, depth=12..22, filters=32416, ccks=207, wck=0.371, mem=37M155
4.05/2.48 decisions=19958, wrong=8543, backtracks=7702, failedAssignments=6532, nogoods=1000, foundSolutions=23, bestBound=5
4.05/2.48
4.05/2.48 num=174, depth=12..25, filters=32581, ccks=207, wck=0.372, mem=37M155
4.05/2.48 decisions=20049, wrong=8582, backtracks=7732, failedAssignments=6563, nogoods=1011, foundSolutions=23, bestBound=5
4.05/2.48
4.05/2.49 num=175, depth=11..24, filters=32724, ccks=207, wck=0.374, mem=37M155
4.05/2.49 decisions=20147, wrong=8625, backtracks=7767, failedAssignments=6597, nogoods=1019, foundSolutions=23, bestBound=5
4.05/2.49
4.05/2.49 num=176, depth=10..24, filters=32888, ccks=207, wck=0.375, mem=37M155
4.05/2.49 decisions=20250, wrong=8671, backtracks=7811, failedAssignments=6634, nogoods=1024, foundSolutions=23, bestBound=5
4.05/2.49
4.05/2.49 num=177, depth=11..24, filters=33043, ccks=207, wck=0.377, mem=37M155
4.05/2.49 decisions=20361, wrong=8720, backtracks=7851, failedAssignments=6675, nogoods=1033, foundSolutions=23, bestBound=5
4.05/2.49
4.05/2.49 num=178, depth=12..25, filters=33235, ccks=207, wck=0.379, mem=37M155
4.05/2.49 decisions=20481, wrong=8774, backtracks=7901, failedAssignments=6720, nogoods=1043, foundSolutions=23, bestBound=5
4.05/2.49
4.05/2.49 num=179, depth=11..22, filters=33448, ccks=207, wck=0.381, mem=37M155
4.05/2.49 decisions=20622, wrong=8839, backtracks=7965, failedAssignments=6770, nogoods=1051, foundSolutions=23, bestBound=5
4.05/2.49
4.05/2.50 num=180, depth=11..23, filters=33716, ccks=207, wck=0.383, mem=37M155
4.05/2.50 decisions=20771, wrong=8908, backtracks=8033, failedAssignments=6825, nogoods=1058, foundSolutions=23, bestBound=5
4.05/2.50
4.25/2.50 num=181, depth=11..20, filters=34006, ccks=207, wck=0.386, mem=37M155
4.25/2.50 decisions=20947, wrong=8990, backtracks=8113, failedAssignments=6886, nogoods=1065, foundSolutions=23, bestBound=5
4.25/2.50
4.25/2.50 num=182, depth=11..25, filters=34300, ccks=207, wck=0.389, mem=37M155
4.25/2.50 decisions=21120, wrong=9070, backtracks=8186, failedAssignments=6953, nogoods=1071, foundSolutions=23, bestBound=5
4.25/2.50
4.25/2.50 num=183, depth=11..23, filters=34668, ccks=207, wck=0.392, mem=37M155
4.25/2.50 decisions=21319, wrong=9164, backtracks=8278, failedAssignments=7027, nogoods=1076, foundSolutions=23, bestBound=5
4.25/2.50
4.25/2.51 num=184, depth=11..21, filters=35091, ccks=207, wck=0.395, mem=37M155
4.25/2.51 decisions=21551, wrong=9273, backtracks=8381, failedAssignments=7108, nogoods=1084, foundSolutions=23, bestBound=5
4.25/2.51
4.25/2.51 num=185, depth=10..23, filters=35477, ccks=207, wck=0.398, mem=37M155
4.25/2.51 decisions=21782, wrong=9382, backtracks=8481, failedAssignments=7197, nogoods=1094, foundSolutions=23, bestBound=5
4.25/2.51
4.25/2.51 num=186, depth=11..24, filters=35929, ccks=207, wck=0.402, mem=39M798
4.25/2.51 decisions=22033, wrong=9501, backtracks=8597, failedAssignments=7295, nogoods=1101, foundSolutions=23, bestBound=5
4.25/2.51
4.25/2.52 num=187, depth=9..21, filters=36366, ccks=207, wck=0.406, mem=39M798
4.25/2.52 decisions=22324, wrong=9641, backtracks=8730, failedAssignments=7403, nogoods=1110, foundSolutions=23, bestBound=5
4.25/2.52
4.25/2.52 num=188, depth=11..25, filters=36870, ccks=207, wck=0.41, mem=39M798
4.25/2.52 decisions=22628, wrong=9786, backtracks=8865, failedAssignments=7522, nogoods=1121, foundSolutions=23, bestBound=5
4.25/2.52
4.25/2.53 num=189, depth=8..21, filters=37450, ccks=207, wck=0.415, mem=39M798
4.25/2.53 decisions=22985, wrong=9960, backtracks=9037, failedAssignments=7653, nogoods=1127, foundSolutions=23, bestBound=5
4.25/2.53
4.25/2.53 num=190, depth=11..26, filters=38000, ccks=207, wck=0.42, mem=39M798
4.25/2.53 decisions=23363, wrong=10142, backtracks=9212, failedAssignments=7797, nogoods=1133, foundSolutions=23, bestBound=5
4.25/2.53
4.25/2.54 num=191, depth=9..23, filters=38704, ccks=207, wck=0.425, mem=39M798
4.25/2.54 decisions=23773, wrong=10341, backtracks=9406, failedAssignments=7955, nogoods=1142, foundSolutions=23, bestBound=5
4.25/2.54
4.25/2.54 num=192, depth=10..25, filters=39395, ccks=207, wck=0.431, mem=39M798
4.25/2.54 decisions=24217, wrong=10557, backtracks=9614, failedAssignments=8129, nogoods=1146, foundSolutions=23, bestBound=5
4.25/2.54
4.25/2.55 num=193, depth=10..24, filters=40346, ccks=207, wck=0.437, mem=39M798
4.25/2.55 decisions=24760, wrong=10823, backtracks=9872, failedAssignments=8320, nogoods=1159, foundSolutions=23, bestBound=5
4.25/2.55
4.25/2.56 num=194, depth=10..21, filters=41289, ccks=207, wck=0.444, mem=39M798
4.25/2.56 decisions=25359, wrong=11117, backtracks=10158, failedAssignments=8531, nogoods=1169, foundSolutions=23, bestBound=5
4.25/2.56
4.25/2.56 num=195, depth=10..24, filters=42383, ccks=207, wck=0.452, mem=39M798
4.25/2.56 decisions=25950, wrong=11407, backtracks=10444, failedAssignments=8763, nogoods=1177, foundSolutions=23, bestBound=5
4.25/2.56
4.25/2.57 num=196, depth=10..24, filters=43622, ccks=207, wck=0.461, mem=39M798
4.25/2.57 decisions=26700, wrong=11776, backtracks=10799, failedAssignments=9018, nogoods=1183, foundSolutions=23, bestBound=5
4.25/2.57
4.25/2.58 num=197, depth=9..21, filters=45109, ccks=207, wck=0.471, mem=39M798
4.25/2.58 decisions=27469, wrong=12155, backtracks=11172, failedAssignments=9299, nogoods=1193, foundSolutions=23, bestBound=5
4.25/2.58
4.25/2.59 num=198, depth=10..23, filters=46705, ccks=207, wck=0.481, mem=39M798
4.25/2.59 decisions=28359, wrong=12594, backtracks=11596, failedAssignments=9608, nogoods=1199, foundSolutions=23, bestBound=5
4.25/2.59
4.36/2.60 num=199, depth=10..23, filters=48331, ccks=207, wck=0.493, mem=39M798
4.36/2.60 decisions=29313, wrong=13066, backtracks=12056, failedAssignments=9948, nogoods=1201, foundSolutions=23, bestBound=5
4.36/2.60
4.36/2.62 num=200, depth=9..26, filters=50321, ccks=207, wck=0.505, mem=39M798
4.36/2.62 decisions=30332, wrong=13570, backtracks=12551, failedAssignments=10322, nogoods=1207, foundSolutions=23, bestBound=5
4.36/2.62
4.36/2.63 num=201, depth=10..25, filters=52167, ccks=207, wck=0.518, mem=39M798
4.36/2.63 decisions=31420, wrong=14107, backtracks=13078, failedAssignments=10733, nogoods=1216, foundSolutions=23, bestBound=5
4.36/2.63
4.36/2.64 num=202, depth=10..25, filters=54393, ccks=207, wck=0.532, mem=39M798
4.36/2.64 decisions=32644, wrong=14713, backtracks=13672, failedAssignments=11185, nogoods=1222, foundSolutions=23, bestBound=5
4.36/2.64
4.36/2.66 num=203, depth=11..24, filters=56765, ccks=207, wck=0.548, mem=39M798
4.36/2.66 decisions=34031, wrong=15400, backtracks=14338, failedAssignments=11682, nogoods=1234, foundSolutions=23, bestBound=5
4.36/2.66
4.36/2.68 num=204, depth=8..22, filters=59722, ccks=207, wck=0.566, mem=39M798
4.36/2.68 decisions=35622, wrong=16190, backtracks=15103, failedAssignments=12229, nogoods=1239, foundSolutions=23, bestBound=5
4.36/2.68
4.46/2.70 num=205, depth=9..25, filters=62464, ccks=207, wck=0.585, mem=39M798
4.46/2.70 decisions=37193, wrong=16970, backtracks=15868, failedAssignments=12831, nogoods=1246, foundSolutions=23, bestBound=5
4.46/2.70
4.46/2.72 num=206, depth=8..22, filters=66222, ccks=207, wck=0.606, mem=39M798
4.46/2.72 decisions=39271, wrong=18003, backtracks=16850, failedAssignments=13493, nogoods=1254, foundSolutions=23, bestBound=5
4.46/2.72
4.46/2.74 num=207, depth=8..22, filters=69715, ccks=207, wck=0.628, mem=39M798
4.46/2.74 decisions=41323, wrong=19024, backtracks=17844, failedAssignments=14221, nogoods=1263, foundSolutions=23, bestBound=5
4.46/2.74
4.46/2.77 num=208, depth=8..25, filters=73428, ccks=207, wck=0.654, mem=39M798
4.46/2.77 decisions=43587, wrong=20150, backtracks=18929, failedAssignments=15022, nogoods=1273, foundSolutions=23, bestBound=5
4.46/2.77
4.46/2.79 num=209, depth=8..23, filters=78302, ccks=207, wck=0.683, mem=42M440
4.46/2.79 decisions=46146, wrong=21424, backtracks=20169, failedAssignments=15903, nogoods=1285, foundSolutions=23, bestBound=5
4.46/2.79
4.56/2.82 num=210, depth=9..24, filters=83002, ccks=207, wck=0.712, mem=42M440
4.56/2.82 decisions=48784, wrong=22737, backtracks=21453, failedAssignments=16873, nogoods=1294, foundSolutions=23, bestBound=5
4.56/2.82
4.56/2.86 num=211, depth=9..24, filters=88136, ccks=207, wck=0.745, mem=42M440
4.56/2.86 decisions=51818, wrong=24248, backtracks=22918, failedAssignments=17940, nogoods=1303, foundSolutions=23, bestBound=5
4.56/2.86
4.66/2.90 num=212, depth=8..25, filters=94042, ccks=207, wck=0.786, mem=42M440
4.66/2.90 decisions=55274, wrong=25970, backtracks=24583, failedAssignments=19113, nogoods=1313, foundSolutions=23, bestBound=5
4.66/2.90
4.66/2.94 num=213, depth=9..24, filters=100182, ccks=207, wck=0.827, mem=42M440
4.66/2.94 decisions=58850, wrong=27752, backtracks=26310, failedAssignments=20404, nogoods=1324, foundSolutions=23, bestBound=5
4.66/2.94
4.66/2.99 num=214, depth=9..24, filters=108043, ccks=207, wck=0.874, mem=42M440
4.66/2.99 decisions=63169, wrong=29905, backtracks=28406, failedAssignments=21824, nogoods=1334, foundSolutions=23, bestBound=5
4.66/2.99
4.80/3.04 num=215, depth=8..25, filters=116679, ccks=207, wck=0.932, mem=42M440
4.80/3.04 decisions=67795, wrong=32212, backtracks=30652, failedAssignments=23386, nogoods=1343, foundSolutions=23, bestBound=5
4.80/3.04
4.80/3.10 num=216, depth=8..24, filters=125733, ccks=207, wck=0.987, mem=45M83
4.80/3.10 decisions=72852, wrong=34735, backtracks=33094, failedAssignments=25104, nogoods=1348, foundSolutions=23, bestBound=5
4.80/3.10
4.92/3.16 num=217, depth=8..27, filters=134777, ccks=207, wck=1.045, mem=45M83
4.92/3.16 decisions=78318, wrong=37461, backtracks=35741, failedAssignments=26994, nogoods=1357, foundSolutions=23, bestBound=5
4.92/3.16
5.02/3.23 num=218, depth=8..25, filters=146370, ccks=207, wck=1.119, mem=45M83
5.02/3.23 decisions=84632, wrong=40613, backtracks=38778, failedAssignments=29073, nogoods=1365, foundSolutions=23, bestBound=5
5.02/3.23
5.12/3.30 num=219, depth=8..25, filters=157832, ccks=207, wck=1.191, mem=45M83
5.12/3.30 decisions=91231, wrong=43907, backtracks=41983, failedAssignments=31360, nogoods=1371, foundSolutions=23, bestBound=5
5.12/3.30
5.12/3.39 num=220, depth=7..25, filters=171938, ccks=207, wck=1.28, mem=45M83
5.12/3.39 decisions=99428, wrong=47999, backtracks=45872, failedAssignments=33876, nogoods=1384, foundSolutions=23, bestBound=5
5.12/3.39
5.22/3.48 num=221, depth=7..24, filters=186541, ccks=207, wck=1.37, mem=47M725
5.22/3.48 decisions=107578, wrong=52069, backtracks=49835, failedAssignments=36644, nogoods=1394, foundSolutions=23, bestBound=5
5.22/3.48
5.32/3.58 num=222, depth=8..24, filters=202719, ccks=207, wck=1.466, mem=47M725
5.32/3.58 decisions=116634, wrong=56591, backtracks=54235, failedAssignments=39688, nogoods=1403, foundSolutions=23, bestBound=5
5.32/3.58
5.42/3.70 num=223, depth=7..23, filters=221377, ccks=207, wck=1.584, mem=47M725
5.42/3.70 decisions=127418, wrong=61977, backtracks=59398, failedAssignments=43037, nogoods=1408, foundSolutions=23, bestBound=5
5.42/3.70
5.62/3.81 o 4
5.62/3.81 num=224, depth=7..93, filters=239369, ccks=216, wck=1.701, mem=50M367
5.62/3.81 decisions=137713, wrong=67116, backtracks=64371, failedAssignments=46584, nogoods=1420, foundSolutions=24, bestBound=4
5.62/3.81
5.73/3.93 num=225, depth=7..25, filters=259811, ccks=216, wck=1.817, mem=50M367
5.73/3.93 decisions=149829, wrong=73170, backtracks=70224, failedAssignments=50636, nogoods=1427, foundSolutions=24, bestBound=4
5.73/3.93
5.73/3.93 num=226, depth=12..20, filters=259859, ccks=216, wck=1.818, mem=50M367
5.73/3.93 decisions=149869, wrong=73184, backtracks=70237, failedAssignments=50647, nogoods=1429, foundSolutions=24, bestBound=4
5.73/3.93
5.73/3.93 num=227, depth=12..19, filters=259903, ccks=216, wck=1.819, mem=50M367
5.73/3.93 decisions=149911, wrong=73198, backtracks=70246, failedAssignments=50659, nogoods=1434, foundSolutions=24, bestBound=4
5.73/3.93
5.73/3.93 num=228, depth=11..16, filters=259960, ccks=216, wck=1.82, mem=50M367
5.73/3.93 decisions=149959, wrong=73216, backtracks=70261, failedAssignments=50672, nogoods=1437, foundSolutions=24, bestBound=4
5.73/3.93
5.73/3.93 num=229, depth=10..20, filters=260015, ccks=216, wck=1.82, mem=50M367
5.73/3.93 decisions=150003, wrong=73232, backtracks=70274, failedAssignments=50686, nogoods=1440, foundSolutions=24, bestBound=4
5.73/3.93
5.73/3.93 num=230, depth=12..23, filters=260082, ccks=216, wck=1.821, mem=50M367
5.73/3.93 decisions=150053, wrong=73251, backtracks=70290, failedAssignments=50702, nogoods=1445, foundSolutions=24, bestBound=4
5.73/3.93
5.73/3.93 num=231, depth=10..21, filters=260149, ccks=216, wck=1.822, mem=50M367
5.73/3.93 decisions=150102, wrong=73270, backtracks=70305, failedAssignments=50719, nogoods=1450, foundSolutions=24, bestBound=4
5.73/3.93
5.73/3.94 num=232, depth=10..21, filters=260239, ccks=216, wck=1.823, mem=50M367
5.73/3.94 decisions=150165, wrong=73296, backtracks=70328, failedAssignments=50738, nogoods=1454, foundSolutions=24, bestBound=4
5.73/3.94
5.73/3.94 num=233, depth=10..17, filters=260323, ccks=216, wck=1.824, mem=50M367
5.73/3.94 decisions=150231, wrong=73323, backtracks=70351, failedAssignments=50759, nogoods=1458, foundSolutions=24, bestBound=4
5.73/3.94
5.73/3.94 num=234, depth=11..22, filters=260426, ccks=216, wck=1.825, mem=50M367
5.73/3.94 decisions=150301, wrong=73352, backtracks=70378, failedAssignments=50782, nogoods=1460, foundSolutions=24, bestBound=4
5.73/3.94
5.73/3.94 num=235, depth=9..21, filters=260555, ccks=216, wck=1.826, mem=50M367
5.73/3.94 decisions=150386, wrong=73389, backtracks=70404, failedAssignments=50807, nogoods=1471, foundSolutions=24, bestBound=4
5.73/3.94
5.73/3.94 num=236, depth=10..22, filters=260667, ccks=216, wck=1.827, mem=50M367
5.73/3.94 decisions=150466, wrong=73423, backtracks=70430, failedAssignments=50835, nogoods=1482, foundSolutions=24, bestBound=4
5.73/3.94
5.73/3.94 num=237, depth=12..23, filters=260798, ccks=216, wck=1.829, mem=50M367
5.73/3.94 decisions=150552, wrong=73460, backtracks=70463, failedAssignments=50866, nogoods=1488, foundSolutions=24, bestBound=4
5.73/3.94
5.73/3.94 num=238, depth=11..21, filters=260939, ccks=216, wck=1.83, mem=50M367
5.73/3.94 decisions=150647, wrong=73502, backtracks=70504, failedAssignments=50900, nogoods=1493, foundSolutions=24, bestBound=4
5.73/3.94
5.73/3.94 num=239, depth=11..23, filters=261083, ccks=216, wck=1.831, mem=50M367
5.73/3.94 decisions=150747, wrong=73546, backtracks=70539, failedAssignments=50937, nogoods=1502, foundSolutions=24, bestBound=4
5.73/3.94
5.73/3.95 num=240, depth=11..21, filters=261253, ccks=216, wck=1.833, mem=50M367
5.73/3.95 decisions=150859, wrong=73596, backtracks=70583, failedAssignments=50978, nogoods=1512, foundSolutions=24, bestBound=4
5.73/3.95
5.73/3.95 num=241, depth=10..23, filters=261478, ccks=216, wck=1.835, mem=50M367
5.73/3.95 decisions=150997, wrong=73659, backtracks=70637, failedAssignments=51023, nogoods=1522, foundSolutions=24, bestBound=4
5.73/3.95
5.73/3.95 num=242, depth=10..22, filters=261690, ccks=216, wck=1.837, mem=50M367
5.73/3.95 decisions=151132, wrong=73721, backtracks=70692, failedAssignments=51073, nogoods=1533, foundSolutions=24, bestBound=4
5.73/3.95
5.73/3.95 num=243, depth=11..24, filters=261920, ccks=216, wck=1.839, mem=50M367
5.73/3.95 decisions=151281, wrong=73789, backtracks=70754, failedAssignments=51128, nogoods=1539, foundSolutions=24, bestBound=4
5.73/3.95
5.73/3.95 num=244, depth=8..21, filters=262202, ccks=216, wck=1.841, mem=50M367
5.73/3.95 decisions=151466, wrong=73876, backtracks=70835, failedAssignments=51189, nogoods=1544, foundSolutions=24, bestBound=4
5.73/3.95
5.73/3.96 num=245, depth=11..22, filters=262502, ccks=216, wck=1.844, mem=50M367
5.73/3.96 decisions=151667, wrong=73970, backtracks=70923, failedAssignments=51256, nogoods=1549, foundSolutions=24, bestBound=4
5.73/3.96
5.73/3.96 num=246, depth=10..20, filters=262838, ccks=216, wck=1.847, mem=50M367
5.73/3.96 decisions=151875, wrong=74068, backtracks=71014, failedAssignments=51330, nogoods=1560, foundSolutions=24, bestBound=4
5.73/3.96
5.73/3.96 num=247, depth=10..21, filters=263171, ccks=216, wck=1.85, mem=50M367
5.73/3.96 decisions=152094, wrong=74171, backtracks=71111, failedAssignments=51411, nogoods=1563, foundSolutions=24, bestBound=4
5.73/3.96
5.73/3.97 num=248, depth=10..23, filters=263514, ccks=216, wck=1.853, mem=50M367
5.73/3.97 decisions=152328, wrong=74282, backtracks=71215, failedAssignments=51500, nogoods=1574, foundSolutions=24, bestBound=4
5.73/3.97
5.73/3.97 num=249, depth=11..23, filters=263910, ccks=216, wck=1.857, mem=50M367
5.73/3.97 decisions=152577, wrong=74401, backtracks=71333, failedAssignments=51598, nogoods=1580, foundSolutions=24, bestBound=4
5.73/3.97
5.73/3.97 num=250, depth=11..22, filters=264435, ccks=216, wck=1.861, mem=50M367
5.73/3.97 decisions=152891, wrong=74552, backtracks=71480, failedAssignments=51706, nogoods=1588, foundSolutions=24, bestBound=4
5.73/3.97
5.73/3.98 num=251, depth=10..24, filters=264966, ccks=216, wck=1.866, mem=50M367
5.73/3.98 decisions=153218, wrong=74710, backtracks=71634, failedAssignments=51825, nogoods=1594, foundSolutions=24, bestBound=4
5.73/3.98
5.73/3.98 num=252, depth=10..23, filters=265532, ccks=216, wck=1.871, mem=53M10
5.73/3.98 decisions=153578, wrong=74884, backtracks=71802, failedAssignments=51956, nogoods=1604, foundSolutions=24, bestBound=4
5.73/3.98
5.73/3.99 num=253, depth=11..24, filters=266151, ccks=216, wck=1.876, mem=53M10
5.73/3.99 decisions=153967, wrong=75073, backtracks=71988, failedAssignments=52100, nogoods=1609, foundSolutions=24, bestBound=4
5.73/3.99
5.73/3.99 num=254, depth=9..23, filters=266786, ccks=216, wck=1.881, mem=53M10
5.73/3.99 decisions=154391, wrong=75279, backtracks=72187, failedAssignments=52258, nogoods=1617, foundSolutions=24, bestBound=4
5.73/3.99
5.73/4.00 num=255, depth=10..23, filters=267415, ccks=216, wck=1.887, mem=53M10
5.73/4.00 decisions=154850, wrong=75503, backtracks=72403, failedAssignments=52432, nogoods=1627, foundSolutions=24, bestBound=4
5.73/4.00
5.85/4.01 num=256, depth=8..23, filters=268271, ccks=216, wck=1.895, mem=53M10
5.85/4.01 decisions=155423, wrong=75785, backtracks=72672, failedAssignments=52623, nogoods=1634, foundSolutions=24, bestBound=4
5.85/4.01
5.85/4.01 num=257, depth=10..24, filters=269147, ccks=216, wck=1.902, mem=53M10
5.85/4.01 decisions=155979, wrong=76057, backtracks=72933, failedAssignments=52834, nogoods=1640, foundSolutions=24, bestBound=4
5.85/4.01
5.85/4.02 num=258, depth=10..24, filters=270165, ccks=216, wck=1.91, mem=53M10
5.85/4.02 decisions=156594, wrong=76358, backtracks=73225, failedAssignments=53066, nogoods=1649, foundSolutions=24, bestBound=4
5.85/4.02
5.85/4.03 num=259, depth=9..23, filters=271341, ccks=216, wck=1.919, mem=53M10
5.85/4.03 decisions=157271, wrong=76690, backtracks=73544, failedAssignments=53321, nogoods=1660, foundSolutions=24, bestBound=4
5.85/4.03
5.85/4.04 num=260, depth=10..23, filters=272527, ccks=216, wck=1.929, mem=53M10
5.85/4.04 decisions=158028, wrong=77062, backtracks=73904, failedAssignments=53602, nogoods=1664, foundSolutions=24, bestBound=4
5.85/4.04
5.85/4.05 num=261, depth=9..23, filters=273955, ccks=216, wck=1.94, mem=53M10
5.85/4.05 decisions=158869, wrong=77477, backtracks=74310, failedAssignments=53911, nogoods=1670, foundSolutions=24, bestBound=4
5.85/4.05
5.85/4.06 num=262, depth=10..25, filters=275505, ccks=216, wck=1.951, mem=53M10
5.85/4.06 decisions=159775, wrong=77924, backtracks=74746, failedAssignments=54251, nogoods=1679, foundSolutions=24, bestBound=4
5.85/4.06
5.85/4.08 num=263, depth=10..22, filters=277327, ccks=216, wck=1.964, mem=53M10
5.85/4.08 decisions=160817, wrong=78439, backtracks=75249, failedAssignments=54625, nogoods=1686, foundSolutions=24, bestBound=4
5.85/4.08
5.85/4.09 num=264, depth=9..22, filters=279297, ccks=216, wck=1.979, mem=53M10
5.85/4.09 decisions=161946, wrong=78997, backtracks=75793, failedAssignments=55036, nogoods=1693, foundSolutions=24, bestBound=4
5.85/4.09
5.96/4.11 num=265, depth=9..22, filters=281228, ccks=216, wck=1.994, mem=53M10
5.96/4.11 decisions=163198, wrong=79617, backtracks=76398, failedAssignments=55488, nogoods=1703, foundSolutions=24, bestBound=4
5.96/4.11
5.96/4.12 num=266, depth=9..23, filters=283531, ccks=216, wck=2.011, mem=53M10
5.96/4.12 decisions=164520, wrong=80272, backtracks=77040, failedAssignments=55985, nogoods=1713, foundSolutions=24, bestBound=4
5.96/4.12
5.96/4.14 num=267, depth=10..24, filters=285992, ccks=216, wck=2.029, mem=53M10
5.96/4.14 decisions=166044, wrong=81028, backtracks=77777, failedAssignments=56532, nogoods=1722, foundSolutions=24, bestBound=4
5.96/4.14
5.96/4.16 num=268, depth=9..24, filters=289074, ccks=216, wck=2.051, mem=53M10
5.96/4.16 decisions=167850, wrong=81925, backtracks=78631, failedAssignments=57134, nogoods=1734, foundSolutions=24, bestBound=4
5.96/4.16
5.96/4.18 num=269, depth=10..24, filters=292226, ccks=216, wck=2.071, mem=53M10
5.96/4.18 decisions=169653, wrong=82820, backtracks=79515, failedAssignments=57796, nogoods=1743, foundSolutions=24, bestBound=4
5.96/4.18
6.05/4.21 num=270, depth=9..24, filters=295841, ccks=216, wck=2.095, mem=53M10
6.05/4.21 decisions=171680, wrong=83828, backtracks=80500, failedAssignments=58524, nogoods=1752, foundSolutions=24, bestBound=4
6.05/4.21
6.05/4.24 num=271, depth=8..24, filters=299729, ccks=216, wck=2.123, mem=53M10
6.05/4.24 decisions=174018, wrong=84991, backtracks=81627, failedAssignments=59325, nogoods=1759, foundSolutions=24, bestBound=4
6.05/4.24
6.05/4.26 num=272, depth=9..23, filters=304024, ccks=216, wck=2.152, mem=53M10
6.05/4.26 decisions=176477, wrong=86215, backtracks=82822, failedAssignments=60206, nogoods=1766, foundSolutions=24, bestBound=4
6.05/4.26
6.15/4.30 num=273, depth=9..23, filters=308855, ccks=216, wck=2.185, mem=55M652
6.15/4.30 decisions=179341, wrong=87642, backtracks=84209, failedAssignments=61176, nogoods=1777, foundSolutions=24, bestBound=4
6.15/4.30
6.15/4.33 num=274, depth=9..25, filters=314079, ccks=216, wck=2.219, mem=55M652
6.15/4.33 decisions=182259, wrong=89095, backtracks=85631, failedAssignments=62243, nogoods=1784, foundSolutions=24, bestBound=4
6.15/4.33
6.15/4.37 num=275, depth=8..25, filters=320129, ccks=216, wck=2.259, mem=55M652
6.15/4.37 decisions=185522, wrong=90721, backtracks=87220, failedAssignments=63416, nogoods=1792, foundSolutions=24, bestBound=4
6.15/4.37
6.25/4.41 num=276, depth=9..24, filters=325628, ccks=216, wck=2.298, mem=55M652
6.25/4.41 decisions=189011, wrong=92459, backtracks=88931, failedAssignments=64707, nogoods=1803, foundSolutions=24, bestBound=4
6.25/4.41
6.25/4.46 num=277, depth=8..24, filters=332766, ccks=216, wck=2.347, mem=55M652
6.25/4.46 decisions=193044, wrong=94470, backtracks=90890, failedAssignments=66127, nogoods=1809, foundSolutions=24, bestBound=4
6.25/4.46
6.35/4.51 num=278, depth=8..24, filters=340640, ccks=216, wck=2.397, mem=55M652
6.35/4.51 decisions=197587, wrong=96736, backtracks=93091, failedAssignments=67689, nogoods=1816, foundSolutions=24, bestBound=4
6.35/4.51
6.35/4.56 num=279, depth=8..24, filters=348799, ccks=216, wck=2.451, mem=55M652
6.35/4.56 decisions=202700, wrong=99288, backtracks=95557, failedAssignments=69407, nogoods=1827, foundSolutions=24, bestBound=4
6.35/4.56
6.45/4.62 num=280, depth=7..25, filters=357758, ccks=216, wck=2.512, mem=58M295
6.45/4.62 decisions=208110, wrong=101988, backtracks=98176, failedAssignments=71297, nogoods=1835, foundSolutions=24, bestBound=4
6.45/4.62
6.45/4.69 num=281, depth=8..25, filters=367576, ccks=216, wck=2.575, mem=58M295
6.45/4.69 decisions=213955, wrong=104904, backtracks=101020, failedAssignments=73376, nogoods=1843, foundSolutions=24, bestBound=4
6.45/4.69
6.55/4.76 num=282, depth=8..25, filters=378619, ccks=216, wck=2.645, mem=58M295
6.55/4.76 decisions=220519, wrong=108180, backtracks=104206, failedAssignments=75663, nogoods=1854, foundSolutions=24, bestBound=4
6.55/4.76
6.65/4.85 num=283, depth=8..25, filters=391924, ccks=216, wck=2.735, mem=58M295
6.65/4.85 decisions=228149, wrong=111990, backtracks=107877, failedAssignments=78179, nogoods=1865, foundSolutions=24, bestBound=4
6.65/4.85
6.75/4.94 num=284, depth=8..24, filters=405785, ccks=216, wck=2.828, mem=60M937
6.75/4.94 decisions=236312, wrong=116065, backtracks=111833, failedAssignments=80947, nogoods=1875, foundSolutions=24, bestBound=4
6.75/4.94
6.86/5.04 num=285, depth=8..24, filters=420294, ccks=216, wck=2.924, mem=60M937
6.86/5.04 decisions=245413, wrong=120609, backtracks=116225, failedAssignments=83991, nogoods=1884, foundSolutions=24, bestBound=4
6.86/5.04
6.96/5.15 num=286, depth=7..24, filters=438739, ccks=216, wck=3.042, mem=60M937
6.96/5.15 decisions=255930, wrong=125862, backtracks=121292, failedAssignments=87340, nogoods=1894, foundSolutions=24, bestBound=4
6.96/5.15
7.05/5.27 num=287, depth=7..25, filters=457190, ccks=216, wck=3.16, mem=63M580
7.05/5.27 decisions=267004, wrong=131394, backtracks=126653, failedAssignments=91024, nogoods=1904, foundSolutions=24, bestBound=4
7.05/5.27
7.25/5.42 num=288, depth=7..24, filters=479236, ccks=216, wck=3.305, mem=63M580
7.25/5.42 decisions=280472, wrong=138123, backtracks=133050, failedAssignments=95076, nogoods=1914, foundSolutions=24, bestBound=4
7.25/5.42
7.35/5.55 num=289, depth=8..25, filters=500805, ccks=216, wck=3.442, mem=63M580
7.35/5.55 decisions=293236, wrong=144499, backtracks=139215, failedAssignments=99533, nogoods=1924, foundSolutions=24, bestBound=4
7.35/5.55
7.55/5.71 num=290, depth=7..23, filters=527013, ccks=216, wck=3.601, mem=66M222
7.55/5.71 decisions=308022, wrong=151886, backtracks=146401, failedAssignments=104436, nogoods=1935, foundSolutions=24, bestBound=4
7.55/5.71
7.65/5.88 num=291, depth=7..25, filters=553930, ccks=216, wck=3.772, mem=66M222
7.65/5.88 decisions=324154, wrong=159946, backtracks=154193, failedAssignments=109830, nogoods=1946, foundSolutions=24, bestBound=4
7.65/5.88
7.86/6.09 num=292, depth=7..25, filters=586427, ccks=216, wck=3.982, mem=68M864
7.86/6.09 decisions=342843, wrong=169286, backtracks=163220, failedAssignments=115763, nogoods=1952, foundSolutions=24, bestBound=4
7.86/6.09
8.15/6.30 num=293, depth=6..24, filters=618296, ccks=216, wck=4.184, mem=71M507
8.15/6.30 decisions=362571, wrong=179145, backtracks=172737, failedAssignments=122289, nogoods=1960, foundSolutions=24, bestBound=4
8.15/6.30
8.35/6.53 num=294, depth=7..25, filters=655572, ccks=216, wck=4.418, mem=71M507
8.35/6.53 decisions=383945, wrong=189826, backtracks=183071, failedAssignments=129468, nogoods=1972, foundSolutions=24, bestBound=4
8.35/6.53
8.55/6.79 num=295, depth=7..25, filters=697253, ccks=216, wck=4.683, mem=74M149
8.55/6.79 decisions=408887, wrong=202291, backtracks=195005, failedAssignments=137365, nogoods=1982, foundSolutions=24, bestBound=4
8.55/6.79
8.88/7.07 num=296, depth=6..24, filters=745061, ccks=216, wck=4.954, mem=76M792
8.88/7.07 decisions=435715, wrong=215701, backtracks=207957, failedAssignments=146052, nogoods=1991, foundSolutions=24, bestBound=4
8.88/7.07
9.27/7.40 num=297, depth=6..25, filters=799520, ccks=216, wck=5.292, mem=79M434
9.27/7.40 decisions=467276, wrong=231476, backtracks=223099, failedAssignments=155607, nogoods=2004, foundSolutions=24, bestBound=4
9.27/7.40
9.57/7.75 num=298, depth=6..25, filters=854257, ccks=216, wck=5.642, mem=82M77
9.57/7.75 decisions=499827, wrong=247746, backtracks=238847, failedAssignments=166118, nogoods=2014, foundSolutions=24, bestBound=4
9.57/7.75
9.98/8.15 num=299, depth=6..25, filters=915515, ccks=216, wck=6.038, mem=84M719
9.98/8.15 decisions=536556, wrong=266105, backtracks=256511, failedAssignments=177680, nogoods=2025, foundSolutions=24, bestBound=4
9.98/8.15
10.38/8.58 num=300, depth=6..24, filters=988255, ccks=216, wck=6.472, mem=87M362
10.38/8.58 decisions=577968, wrong=286805, backtracks=276401, failedAssignments=190398, nogoods=2034, foundSolutions=24, bestBound=4
10.38/8.58
10.89/9.06 num=301, depth=6..25, filters=1060125, ccks=216, wck=6.952, mem=90M4
10.89/9.06 decisions=621862, wrong=308746, backtracks=297501, failedAssignments=204388, nogoods=2045, foundSolutions=24, bestBound=4
10.89/9.06
11.38/9.56 num=302, depth=6..25, filters=1140342, ccks=216, wck=7.45, mem=95M289
11.38/9.56 decisions=670563, wrong=333092, backtracks=320979, failedAssignments=219777, nogoods=2059, foundSolutions=24, bestBound=4
11.38/9.56
11.99/10.15 num=303, depth=6..24, filters=1236112, ccks=216, wck=8.04, mem=97M931
11.99/10.15 decisions=725120, wrong=360365, backtracks=347173, failedAssignments=236705, nogoods=2068, foundSolutions=24, bestBound=4
11.99/10.15
12.68/10.80 num=304, depth=6..25, filters=1339542, ccks=216, wck=8.686, mem=103M216
12.68/10.80 decisions=786146, wrong=390872, backtracks=376573, failedAssignments=255326, nogoods=2078, foundSolutions=24, bestBound=4
12.68/10.80
13.39/11.54 num=305, depth=6..25, filters=1456174, ccks=216, wck=9.428, mem=108M501
13.39/11.54 decisions=853566, wrong=424577, backtracks=409101, failedAssignments=275810, nogoods=2089, foundSolutions=24, bestBound=4
13.39/11.54
14.09/12.26 num=306, depth=6..25, filters=1572287, ccks=216, wck=10.148, mem=113M786
14.09/12.26 decisions=922901, wrong=459239, backtracks=442537, failedAssignments=298342, nogoods=2100, foundSolutions=24, bestBound=4
14.09/12.26
15.00/13.14 num=307, depth=5..24, filters=1712573, ccks=216, wck=11.031, mem=119M71
15.00/13.14 decisions=1006008, wrong=500787, backtracks=482239, failedAssignments=323127, nogoods=2111, foundSolutions=24, bestBound=4
15.00/13.14
15.89/14.01 num=308, depth=5..25, filters=1845828, ccks=216, wck=11.902, mem=126M998
15.89/14.01 decisions=1089931, wrong=542744, backtracks=522696, failedAssignments=350391, nogoods=2122, foundSolutions=24, bestBound=4
15.89/14.01
16.89/15.04 num=309, depth=6..25, filters=2007391, ccks=216, wck=12.923, mem=132M283
16.89/15.04 decisions=1189190, wrong=592368, backtracks=570669, failedAssignments=380381, nogoods=2128, foundSolutions=24, bestBound=4
16.89/15.04
18.18/16.31 num=310, depth=5..24, filters=2212853, ccks=216, wck=14.194, mem=140M210
18.18/16.31 decisions=1303223, wrong=649379, backtracks=625008, failedAssignments=413370, nogoods=2140, foundSolutions=24, bestBound=4
18.18/16.31
18.18/16.31 o 3
18.18/16.31 num=311, depth=10..93, filters=2213145, ccks=225, wck=14.197, mem=140M210
18.18/16.31 decisions=1303400, wrong=649461, backtracks=625085, failedAssignments=413419, nogoods=2145, foundSolutions=25, bestBound=3
18.18/16.31
19.52/17.61 num=312, depth=4..24, filters=2448646, ccks=225, wck=15.497, mem=27M693
19.52/17.61 decisions=1438991, wrong=717251, backtracks=689831, failedAssignments=453336, nogoods=2157, foundSolutions=25, bestBound=3
19.52/17.61
19.52/17.61 num=313, depth=11..16, filters=2448686, ccks=225, wck=15.498, mem=27M693
19.52/17.61 decisions=1439030, wrong=717265, backtracks=689844, failedAssignments=453347, nogoods=2160, foundSolutions=25, bestBound=3
19.52/17.61
19.52/17.61 num=314, depth=10..19, filters=2448742, ccks=225, wck=15.499, mem=27M693
19.52/17.61 decisions=1439068, wrong=717279, backtracks=689857, failedAssignments=453359, nogoods=2161, foundSolutions=25, bestBound=3
19.52/17.61
19.52/17.61 num=315, depth=10..17, filters=2448794, ccks=225, wck=15.499, mem=27M693
19.52/17.61 decisions=1439112, wrong=717295, backtracks=689871, failedAssignments=453372, nogoods=2163, foundSolutions=25, bestBound=3
19.52/17.61
19.52/17.61 num=316, depth=10..18, filters=2448859, ccks=225, wck=15.5, mem=27M693
19.52/17.61 decisions=1439160, wrong=717313, backtracks=689887, failedAssignments=453386, nogoods=2165, foundSolutions=25, bestBound=3
19.52/17.61
19.52/17.61 num=317, depth=10..17, filters=2448917, ccks=225, wck=15.501, mem=27M693
19.52/17.61 decisions=1439207, wrong=717331, backtracks=689898, failedAssignments=453402, nogoods=2172, foundSolutions=25, bestBound=3
19.52/17.61
19.52/17.61 num=318, depth=11..17, filters=2449004, ccks=225, wck=15.501, mem=27M693
19.52/17.61 decisions=1439262, wrong=717353, backtracks=689913, failedAssignments=453419, nogoods=2182, foundSolutions=25, bestBound=3
19.52/17.61
19.52/17.61 num=319, depth=10..19, filters=2449079, ccks=225, wck=15.502, mem=27M693
19.52/17.61 decisions=1439319, wrong=717376, backtracks=689929, failedAssignments=453438, nogoods=2189, foundSolutions=25, bestBound=3
19.52/17.61
19.52/17.61 num=320, depth=10..21, filters=2449164, ccks=225, wck=15.503, mem=27M693
19.52/17.61 decisions=1439381, wrong=717401, backtracks=689951, failedAssignments=453459, nogoods=2192, foundSolutions=25, bestBound=3
19.52/17.61
19.52/17.62 num=321, depth=11..18, filters=2449257, ccks=225, wck=15.504, mem=27M693
19.52/17.62 decisions=1439452, wrong=717431, backtracks=689975, failedAssignments=453482, nogoods=2202, foundSolutions=25, bestBound=3
19.52/17.62
19.52/17.62 num=322, depth=10..19, filters=2449376, ccks=225, wck=15.505, mem=27M693
19.52/17.62 decisions=1439525, wrong=717462, backtracks=690001, failedAssignments=453507, nogoods=2209, foundSolutions=25, bestBound=3
19.52/17.62
19.52/17.62 num=323, depth=10..19, filters=2449512, ccks=225, wck=15.506, mem=27M693
19.52/17.62 decisions=1439607, wrong=717497, backtracks=690028, failedAssignments=453535, nogoods=2217, foundSolutions=25, bestBound=3
19.52/17.62
19.52/17.62 num=324, depth=10..18, filters=2449646, ccks=225, wck=15.507, mem=27M693
19.52/17.62 decisions=1439698, wrong=717537, backtracks=690065, failedAssignments=453566, nogoods=2225, foundSolutions=25, bestBound=3
19.52/17.62
19.52/17.62 num=325, depth=11..21, filters=2449783, ccks=225, wck=15.508, mem=27M693
19.52/17.62 decisions=1439788, wrong=717576, backtracks=690098, failedAssignments=453600, nogoods=2234, foundSolutions=25, bestBound=3
19.52/17.62
19.52/17.62 num=326, depth=10..19, filters=2449945, ccks=225, wck=15.509, mem=27M693
19.52/17.62 decisions=1439901, wrong=717627, backtracks=690146, failedAssignments=453637, nogoods=2240, foundSolutions=25, bestBound=3
19.52/17.62
19.52/17.62 num=327, depth=10..19, filters=2450118, ccks=225, wck=15.51, mem=27M693
19.52/17.62 decisions=1440016, wrong=717679, backtracks=690190, failedAssignments=453678, nogoods=2252, foundSolutions=25, bestBound=3
19.52/17.62
19.52/17.62 num=328, depth=11..25, filters=2450321, ccks=225, wck=15.512, mem=27M693
19.52/17.62 decisions=1440138, wrong=717734, backtracks=690240, failedAssignments=453723, nogoods=2258, foundSolutions=25, bestBound=3
19.52/17.62
19.52/17.63 num=329, depth=10..20, filters=2450530, ccks=225, wck=15.514, mem=27M693
19.52/17.63 decisions=1440276, wrong=717797, backtracks=690300, failedAssignments=453773, nogoods=2262, foundSolutions=25, bestBound=3
19.52/17.63
19.52/17.63 num=330, depth=10..21, filters=2450770, ccks=225, wck=15.516, mem=27M693
19.52/17.63 decisions=1440435, wrong=717871, backtracks=690368, failedAssignments=453828, nogoods=2272, foundSolutions=25, bestBound=3
19.52/17.63
19.52/17.63 num=331, depth=10..19, filters=2451027, ccks=225, wck=15.518, mem=27M693
19.52/17.63 decisions=1440607, wrong=717952, backtracks=690446, failedAssignments=453889, nogoods=2283, foundSolutions=25, bestBound=3
19.52/17.63
19.52/17.63 num=332, depth=10..18, filters=2451342, ccks=225, wck=15.52, mem=27M693
19.52/17.63 decisions=1440804, wrong=718045, backtracks=690534, failedAssignments=453956, nogoods=2292, foundSolutions=25, bestBound=3
19.52/17.63
19.52/17.63 num=333, depth=10..20, filters=2451657, ccks=225, wck=15.523, mem=27M693
19.52/17.63 decisions=1441006, wrong=718140, backtracks=690621, failedAssignments=454030, nogoods=2300, foundSolutions=25, bestBound=3
19.52/17.63
19.52/17.64 num=334, depth=9..20, filters=2452014, ccks=225, wck=15.526, mem=27M693
19.52/17.64 decisions=1441235, wrong=718249, backtracks=690717, failedAssignments=454111, nogoods=2314, foundSolutions=25, bestBound=3
19.52/17.64
19.52/17.64 num=335, depth=9..20, filters=2452425, ccks=225, wck=15.529, mem=27M693
19.52/17.64 decisions=1441494, wrong=718372, backtracks=690835, failedAssignments=454200, nogoods=2319, foundSolutions=25, bestBound=3
19.52/17.64
19.52/17.64 num=336, depth=11..23, filters=2452862, ccks=225, wck=15.532, mem=27M693
19.52/17.64 decisions=1441763, wrong=718500, backtracks=690956, failedAssignments=454298, nogoods=2331, foundSolutions=25, bestBound=3
19.52/17.64
19.52/17.65 num=337, depth=9..21, filters=2453436, ccks=225, wck=15.536, mem=27M693
19.52/17.65 decisions=1442087, wrong=718657, backtracks=691101, failedAssignments=454406, nogoods=2334, foundSolutions=25, bestBound=3
19.52/17.65
19.52/17.65 num=338, depth=10..23, filters=2453954, ccks=225, wck=15.541, mem=27M693
19.52/17.65 decisions=1442400, wrong=718808, backtracks=691250, failedAssignments=454525, nogoods=2336, foundSolutions=25, bestBound=3
19.52/17.65
19.52/17.66 num=339, depth=10..22, filters=2454566, ccks=225, wck=15.545, mem=27M693
19.52/17.66 decisions=1442753, wrong=718978, backtracks=691413, failedAssignments=454656, nogoods=2343, foundSolutions=25, bestBound=3
19.52/17.66
19.52/17.66 num=340, depth=9..22, filters=2455173, ccks=225, wck=15.55, mem=27M693
19.52/17.66 decisions=1443133, wrong=719162, backtracks=691589, failedAssignments=454800, nogoods=2350, foundSolutions=25, bestBound=3
19.52/17.66
19.52/17.67 num=341, depth=10..22, filters=2455959, ccks=225, wck=15.555, mem=27M693
19.52/17.67 decisions=1443586, wrong=719383, backtracks=691804, failedAssignments=454958, nogoods=2357, foundSolutions=25, bestBound=3
19.52/17.67
19.52/17.67 num=342, depth=10..24, filters=2456760, ccks=225, wck=15.562, mem=27M693
19.52/17.67 decisions=1444062, wrong=719615, backtracks=692029, failedAssignments=455132, nogoods=2365, foundSolutions=25, bestBound=3
19.52/17.67
19.52/17.68 num=343, depth=10..22, filters=2457658, ccks=225, wck=15.568, mem=30M309
19.52/17.68 decisions=1444578, wrong=719867, backtracks=692271, failedAssignments=455323, nogoods=2373, foundSolutions=25, bestBound=3
19.52/17.68
19.52/17.69 num=344, depth=10..23, filters=2458625, ccks=225, wck=15.576, mem=30M309
19.52/17.69 decisions=1445142, wrong=720143, backtracks=692539, failedAssignments=455534, nogoods=2382, foundSolutions=25, bestBound=3
19.52/17.69
19.52/17.70 num=345, depth=10..24, filters=2459607, ccks=225, wck=15.583, mem=30M309
19.52/17.70 decisions=1445773, wrong=720452, backtracks=692838, failedAssignments=455766, nogoods=2391, foundSolutions=25, bestBound=3
19.52/17.70
19.62/17.70 num=346, depth=10..24, filters=2460816, ccks=225, wck=15.592, mem=30M309
19.62/17.70 decisions=1446453, wrong=720786, backtracks=693167, failedAssignments=456021, nogoods=2396, foundSolutions=25, bestBound=3
19.62/17.70
19.62/17.71 num=347, depth=10..25, filters=2462117, ccks=225, wck=15.601, mem=30M309
19.62/17.71 decisions=1447200, wrong=721153, backtracks=693527, failedAssignments=456302, nogoods=2404, foundSolutions=25, bestBound=3
19.62/17.71
19.62/17.72 num=348, depth=9..23, filters=2463565, ccks=225, wck=15.611, mem=30M309
19.62/17.72 decisions=1448061, wrong=721578, backtracks=693941, failedAssignments=456611, nogoods=2413, foundSolutions=25, bestBound=3
19.62/17.72
19.62/17.73 num=349, depth=10..22, filters=2465242, ccks=225, wck=15.622, mem=30M309
19.62/17.73 decisions=1449027, wrong=722055, backtracks=694406, failedAssignments=456951, nogoods=2425, foundSolutions=25, bestBound=3
19.62/17.73
19.62/17.75 num=350, depth=8..22, filters=2466985, ccks=225, wck=15.635, mem=30M309
19.62/17.75 decisions=1450116, wrong=722594, backtracks=694925, failedAssignments=457325, nogoods=2432, foundSolutions=25, bestBound=3
19.62/17.75
19.62/17.76 num=351, depth=9..24, filters=2468969, ccks=225, wck=15.649, mem=30M309
19.62/17.76 decisions=1451263, wrong=723162, backtracks=695481, failedAssignments=457736, nogoods=2445, foundSolutions=25, bestBound=3
19.62/17.76
19.62/17.78 num=352, depth=9..23, filters=2471130, ccks=225, wck=15.664, mem=30M309
19.62/17.78 decisions=1452506, wrong=723778, backtracks=696085, failedAssignments=458188, nogoods=2452, foundSolutions=25, bestBound=3
19.62/17.78
19.62/17.79 num=353, depth=9..24, filters=2473384, ccks=225, wck=15.681, mem=30M309
19.62/17.79 decisions=1453891, wrong=724464, backtracks=696748, failedAssignments=458685, nogoods=2457, foundSolutions=25, bestBound=3
19.62/17.79
19.72/17.81 num=354, depth=9..23, filters=2476198, ccks=225, wck=15.699, mem=30M309
19.72/17.81 decisions=1455497, wrong=725261, backtracks=697518, failedAssignments=459232, nogoods=2465, foundSolutions=25, bestBound=3
19.72/17.81
19.72/17.83 num=355, depth=10..24, filters=2478901, ccks=225, wck=15.719, mem=30M309
19.72/17.83 decisions=1457141, wrong=726076, backtracks=698314, failedAssignments=459834, nogoods=2472, foundSolutions=25, bestBound=3
19.72/17.83
19.72/17.85 num=356, depth=8..24, filters=2481979, ccks=225, wck=15.741, mem=30M309
19.72/17.85 decisions=1458973, wrong=726986, backtracks=699205, failedAssignments=460496, nogoods=2477, foundSolutions=25, bestBound=3
19.72/17.85
19.72/17.88 num=357, depth=9..25, filters=2485285, ccks=225, wck=15.763, mem=30M309
19.72/17.88 decisions=1460968, wrong=727978, backtracks=700175, failedAssignments=461224, nogoods=2488, foundSolutions=25, bestBound=3
19.72/17.88
19.82/17.90 num=358, depth=9..24, filters=2489099, ccks=225, wck=15.791, mem=30M309
19.82/17.90 decisions=1463287, wrong=729131, backtracks=701298, failedAssignments=462025, nogoods=2499, foundSolutions=25, bestBound=3
19.82/17.90
19.82/17.93 num=359, depth=9..25, filters=2493197, ccks=225, wck=15.82, mem=30M309
19.82/17.93 decisions=1465733, wrong=730348, backtracks=702479, failedAssignments=462906, nogoods=2512, foundSolutions=25, bestBound=3
19.82/17.93
19.82/17.96 num=360, depth=9..24, filters=2497842, ccks=225, wck=15.852, mem=30M309
19.82/17.96 decisions=1468552, wrong=731752, backtracks=703838, failedAssignments=463876, nogoods=2517, foundSolutions=25, bestBound=3
19.82/17.96
19.82/18.00 num=361, depth=8..25, filters=2502767, ccks=225, wck=15.889, mem=32M925
19.82/18.00 decisions=1471514, wrong=733227, backtracks=705283, failedAssignments=464943, nogoods=2527, foundSolutions=25, bestBound=3
19.82/18.00
19.93/18.04 num=362, depth=9..25, filters=2508314, ccks=225, wck=15.926, mem=32M925
19.93/18.04 decisions=1474779, wrong=734854, backtracks=706869, failedAssignments=466116, nogoods=2535, foundSolutions=25, bestBound=3
19.93/18.04
19.93/18.08 num=363, depth=9..25, filters=2514472, ccks=225, wck=15.968, mem=32M925
19.93/18.08 decisions=1478342, wrong=736629, backtracks=708614, failedAssignments=467407, nogoods=2544, foundSolutions=25, bestBound=3
19.93/18.08
20.03/18.13 num=364, depth=8..25, filters=2522039, ccks=225, wck=16.02, mem=32M925
20.03/18.13 decisions=1482828, wrong=738866, backtracks=710756, failedAssignments=468827, nogoods=2555, foundSolutions=25, bestBound=3
20.03/18.13
20.03/18.18 num=365, depth=8..24, filters=2529563, ccks=225, wck=16.073, mem=32M925
20.03/18.18 decisions=1487445, wrong=741169, backtracks=712960, failedAssignments=470389, nogoods=2566, foundSolutions=25, bestBound=3
20.03/18.18
20.12/18.24 num=366, depth=8..25, filters=2537287, ccks=225, wck=16.129, mem=32M925
20.12/18.24 decisions=1492102, wrong=743491, backtracks=715230, failedAssignments=472107, nogoods=2578, foundSolutions=25, bestBound=3
20.12/18.24
20.22/18.30 num=367, depth=9..25, filters=2546160, ccks=225, wck=16.192, mem=32M925
20.22/18.30 decisions=1497508, wrong=746188, backtracks=717829, failedAssignments=473997, nogoods=2589, foundSolutions=25, bestBound=3
20.22/18.30
20.22/18.37 num=368, depth=8..24, filters=2556562, ccks=225, wck=16.263, mem=35M541
20.22/18.37 decisions=1503585, wrong=749221, backtracks=720756, failedAssignments=476076, nogoods=2600, foundSolutions=25, bestBound=3
20.22/18.37
20.32/18.45 num=369, depth=8..25, filters=2568295, ccks=225, wck=16.339, mem=35M541
20.32/18.45 decisions=1510537, wrong=752692, backtracks=724116, failedAssignments=478363, nogoods=2612, foundSolutions=25, bestBound=3
20.32/18.45
20.42/18.54 num=370, depth=7..25, filters=2581034, ccks=225, wck=16.427, mem=35M541
20.42/18.54 decisions=1518465, wrong=756651, backtracks=727899, failedAssignments=480879, nogoods=2623, foundSolutions=25, bestBound=3
20.42/18.54
20.52/18.63 num=371, depth=8..24, filters=2595599, ccks=225, wck=16.521, mem=35M541
20.52/18.63 decisions=1526801, wrong=760813, backtracks=731865, failedAssignments=483647, nogoods=2632, foundSolutions=25, bestBound=3
20.52/18.63
20.62/18.73 num=372, depth=8..23, filters=2611693, ccks=225, wck=16.62, mem=38M157
20.62/18.73 decisions=1536140, wrong=765477, backtracks=736333, failedAssignments=486691, nogoods=2643, foundSolutions=25, bestBound=3
20.62/18.73
20.72/18.86 num=373, depth=7..23, filters=2629730, ccks=225, wck=16.746, mem=38M157
20.72/18.86 decisions=1546573, wrong=770688, backtracks=741376, failedAssignments=490040, nogoods=2648, foundSolutions=25, bestBound=3
20.72/18.86
20.82/18.97 num=374, depth=7..25, filters=2646483, ccks=225, wck=16.861, mem=38M157
20.82/18.97 decisions=1557374, wrong=776083, backtracks=746555, failedAssignments=493724, nogoods=2655, foundSolutions=25, bestBound=3
20.82/18.97
21.03/19.12 num=375, depth=7..24, filters=2668578, ccks=225, wck=17.008, mem=40M773
21.03/19.12 decisions=1570425, wrong=782603, backtracks=752761, failedAssignments=497776, nogoods=2667, foundSolutions=25, bestBound=3
21.03/19.12
21.12/19.27 num=376, depth=7..24, filters=2692149, ccks=225, wck=17.16, mem=40M773
21.12/19.27 decisions=1583792, wrong=789281, backtracks=759233, failedAssignments=502233, nogoods=2678, foundSolutions=25, bestBound=3
21.12/19.27
21.32/19.45 num=377, depth=7..24, filters=2716771, ccks=225, wck=17.34, mem=43M389
21.32/19.45 decisions=1599004, wrong=796881, backtracks=766465, failedAssignments=507136, nogoods=2689, foundSolutions=25, bestBound=3
21.32/19.45
21.52/19.65 num=378, depth=7..24, filters=2746907, ccks=225, wck=17.536, mem=43M389
21.52/19.65 decisions=1617081, wrong=805915, backtracks=775182, failedAssignments=512530, nogoods=2700, foundSolutions=25, bestBound=3
21.52/19.65
21.72/19.85 num=379, depth=7..25, filters=2777944, ccks=225, wck=17.743, mem=46M5
21.72/19.85 decisions=1635221, wrong=814980, backtracks=783916, failedAssignments=518463, nogoods=2711, foundSolutions=25, bestBound=3
21.72/19.85
21.93/20.07 num=380, depth=7..24, filters=2810545, ccks=225, wck=17.957, mem=46M5
21.93/20.07 decisions=1654664, wrong=824696, backtracks=793267, failedAssignments=524989, nogoods=2722, foundSolutions=25, bestBound=3
21.93/20.07
22.23/20.34 num=381, depth=6..24, filters=2851516, ccks=225, wck=18.229, mem=48M621
22.23/20.34 decisions=1678640, wrong=836678, backtracks=804716, failedAssignments=532168, nogoods=2729, foundSolutions=25, bestBound=3
22.23/20.34
22.53/20.67 num=382, depth=5..24, filters=2899862, ccks=225, wck=18.554, mem=51M237
22.53/20.67 decisions=1707389, wrong=851047, backtracks=818296, failedAssignments=540065, nogoods=2738, foundSolutions=25, bestBound=3
22.53/20.67
22.83/20.96 num=383, depth=6..24, filters=2948866, ccks=225, wck=18.847, mem=53M853
22.83/20.96 decisions=1734937, wrong=864816, backtracks=831522, failedAssignments=548752, nogoods=2742, foundSolutions=25, bestBound=3
22.83/20.96
23.13/21.28 num=384, depth=6..24, filters=2998021, ccks=225, wck=19.171, mem=55M174
23.13/21.28 decisions=1763424, wrong=879054, backtracks=845253, failedAssignments=558307, nogoods=2750, foundSolutions=25, bestBound=3
23.13/21.28
23.53/21.66 num=385, depth=6..25, filters=3055464, ccks=225, wck=19.546, mem=57M790
23.53/21.66 decisions=1798138, wrong=896406, backtracks=861702, failedAssignments=568818, nogoods=2761, foundSolutions=25, bestBound=3
23.53/21.66
23.94/22.06 num=386, depth=6..24, filters=3120820, ccks=225, wck=19.948, mem=60M406
23.94/22.06 decisions=1834518, wrong=914590, backtracks=879148, failedAssignments=580380, nogoods=2764, foundSolutions=25, bestBound=3
23.94/22.06
24.34/22.49 num=387, depth=6..25, filters=3188528, ccks=225, wck=20.379, mem=63M22
24.34/22.49 decisions=1874641, wrong=934645, backtracks=898447, failedAssignments=593098, nogoods=2773, foundSolutions=25, bestBound=3
24.34/22.49
24.83/22.96 num=388, depth=6..25, filters=3260181, ccks=225, wck=20.851, mem=68M254
24.83/22.96 decisions=1918620, wrong=956629, backtracks=919461, failedAssignments=607088, nogoods=2782, foundSolutions=25, bestBound=3
24.83/22.96
25.43/23.51 num=389, depth=6..25, filters=3341993, ccks=225, wck=21.402, mem=70M870
25.43/23.51 decisions=1967465, wrong=981047, backtracks=942954, failedAssignments=622477, nogoods=2793, foundSolutions=25, bestBound=3
25.43/23.51
25.94/24.05 num=390, depth=6..24, filters=3432633, ccks=225, wck=21.942, mem=76M102
25.94/24.05 decisions=2019649, wrong=1007134, backtracks=968200, failedAssignments=639405, nogoods=2802, foundSolutions=25, bestBound=3
25.94/24.05
26.54/24.68 num=391, depth=6..25, filters=3526981, ccks=225, wck=22.573, mem=78M718
26.54/24.68 decisions=2078515, wrong=1036560, backtracks=996630, failedAssignments=658026, nogoods=2810, foundSolutions=25, bestBound=3
26.54/24.68
27.43/25.51 num=392, depth=5..26, filters=3652895, ccks=225, wck=23.396, mem=83M950
27.43/25.51 decisions=2152656, wrong=1073625, backtracks=1031706, failedAssignments=678510, nogoods=2821, foundSolutions=25, bestBound=3
27.43/25.51
28.23/26.34 num=393, depth=5..24, filters=3785967, ccks=225, wck=24.224, mem=89M182
28.23/26.34 decisions=2228304, wrong=1111444, backtracks=1067837, failedAssignments=701042, nogoods=2829, foundSolutions=25, bestBound=3
28.23/26.34
29.05/27.13 num=394, depth=5..25, filters=3910048, ccks=225, wck=25.021, mem=94M414
29.05/27.13 decisions=2306975, wrong=1150774, backtracks=1105610, failedAssignments=725827, nogoods=2840, foundSolutions=25, bestBound=3
29.05/27.13
30.05/28.11 num=395, depth=5..25, filters=4056677, ccks=225, wck=25.998, mem=102M262
30.05/28.11 decisions=2397746, wrong=1196154, backtracks=1149127, failedAssignments=753091, nogoods=2850, foundSolutions=25, bestBound=3
30.05/28.11
31.05/29.19 num=396, depth=6..26, filters=4218559, ccks=225, wck=27.078, mem=107M494
31.05/29.19 decisions=2499182, wrong=1246865, backtracks=1197720, failedAssignments=783081, nogoods=2860, foundSolutions=25, bestBound=3
31.05/29.19
32.34/30.49 num=397, depth=5..24, filters=4430464, ccks=225, wck=28.381, mem=115M342
32.34/30.49 decisions=2613226, wrong=1303881, backtracks=1252180, failedAssignments=816070, nogoods=2870, foundSolutions=25, bestBound=3
32.34/30.49
33.64/31.78 num=398, depth=5..25, filters=4632371, ccks=225, wck=29.668, mem=125M806
33.64/31.78 decisions=2735838, wrong=1365183, backtracks=1311091, failedAssignments=852358, nogoods=2880, foundSolutions=25, bestBound=3
33.64/31.78
35.14/33.21 num=399, depth=5..25, filters=4857478, ccks=225, wck=31.101, mem=133M654
35.14/33.21 decisions=2870134, wrong=1432326, backtracks=1375129, failedAssignments=892275, nogoods=2893, foundSolutions=25, bestBound=3
35.14/33.21
36.74/34.80 num=400, depth=4..25, filters=5101707, ccks=225, wck=32.689, mem=144M118
36.74/34.80 decisions=3017668, wrong=1506088, backtracks=1446111, failedAssignments=936184, nogoods=2899, foundSolutions=25, bestBound=3
36.74/34.80
38.48/36.57 num=401, depth=5..25, filters=5378170, ccks=225, wck=34.457, mem=22M469
38.48/36.57 decisions=3188504, wrong=1591500, backtracks=1527793, failedAssignments=984484, nogoods=2911, foundSolutions=25, bestBound=3
38.48/36.57
40.48/38.56 num=402, depth=4..24, filters=5709890, ccks=225, wck=36.451, mem=35M549
40.48/38.56 decisions=3373625, wrong=1684056, backtracks=1615570, failedAssignments=1037614, nogoods=2922, foundSolutions=25, bestBound=3
40.48/38.56
42.48/40.59 num=403, depth=5..25, filters=6027277, ccks=225, wck=38.473, mem=48M629
42.48/40.59 decisions=3572475, wrong=1783477, backtracks=1710445, failedAssignments=1096057, nogoods=2933, foundSolutions=25, bestBound=3
42.48/40.59
44.99/43.07 num=404, depth=3..25, filters=6429262, ccks=225, wck=40.963, mem=64M325
44.99/43.07 decisions=3806695, wrong=1900583, backtracks=1821702, failedAssignments=1160344, nogoods=2943, foundSolutions=25, bestBound=3
44.99/43.07
47.58/45.64 num=405, depth=4..25, filters=6850089, ccks=225, wck=43.523, mem=80M21
47.58/45.64 decisions=4056524, wrong=2025493, backtracks=1941212, failedAssignments=1231060, nogoods=2955, foundSolutions=25, bestBound=3
47.58/45.64
50.48/48.53 num=406, depth=3..24, filters=7316860, ccks=225, wck=46.414, mem=98M333
50.48/48.53 decisions=4338372, wrong=2166411, backtracks=2076111, failedAssignments=1308847, nogoods=2962, foundSolutions=25, bestBound=3
50.48/48.53
53.78/51.89 num=407, depth=3..25, filters=7840619, ccks=225, wck=49.776, mem=116M645
53.78/51.89 decisions=4653543, wrong=2323990, backtracks=2224125, failedAssignments=1394413, nogoods=2972, foundSolutions=25, bestBound=3
53.78/51.89
57.38/55.40 num=408, depth=4..25, filters=8438721, ccks=225, wck=53.289, mem=137M573
57.38/55.40 decisions=4997473, wrong=2495949, backtracks=2387483, failedAssignments=1488536, nogoods=2983, foundSolutions=25, bestBound=3
57.38/55.40
57.99/56.06 o 2
57.99/56.06 num=409, depth=5..93, filters=8544305, ccks=234, wck=53.949, mem=142M805
57.99/56.06 decisions=5059854, wrong=2527133, backtracks=2417505, failedAssignments=1507708, nogoods=2995, foundSolutions=26, bestBound=2
57.99/56.06
62.41/60.40 num=410, depth=2..25, filters=9275308, ccks=234, wck=58.288, mem=35M646
62.41/60.40 decisions=5510643, wrong=2752522, backtracks=2630806, failedAssignments=1621597, nogoods=3006, foundSolutions=26, bestBound=2
62.41/60.40
62.41/60.40 num=411, depth=12..18, filters=9275353, ccks=234, wck=58.289, mem=35M646
62.41/60.40 decisions=5510681, wrong=2752535, backtracks=2630818, failedAssignments=1621608, nogoods=3008, foundSolutions=26, bestBound=2
62.41/60.40
62.41/60.40 num=412, depth=11..17, filters=9275420, ccks=234, wck=58.29, mem=35M646
62.41/60.40 decisions=5510731, wrong=2752554, backtracks=2630833, failedAssignments=1621620, nogoods=3012, foundSolutions=26, bestBound=2
62.41/60.40
62.41/60.40 num=413, depth=12..20, filters=9275486, ccks=234, wck=58.29, mem=35M646
62.41/60.40 decisions=5510778, wrong=2752571, backtracks=2630848, failedAssignments=1621633, nogoods=3015, foundSolutions=26, bestBound=2
62.41/60.40
62.41/60.40 num=414, depth=11..18, filters=9275542, ccks=234, wck=58.291, mem=35M646
62.41/60.40 decisions=5510828, wrong=2752590, backtracks=2630859, failedAssignments=1621647, nogoods=3023, foundSolutions=26, bestBound=2
62.41/60.40
62.41/60.40 num=415, depth=11..18, filters=9275613, ccks=234, wck=58.292, mem=35M646
62.41/60.40 decisions=5510878, wrong=2752609, backtracks=2630872, failedAssignments=1621663, nogoods=3030, foundSolutions=26, bestBound=2
62.41/60.40
62.41/60.40 num=416, depth=11..19, filters=9275687, ccks=234, wck=58.292, mem=35M646
62.41/60.40 decisions=5510934, wrong=2752630, backtracks=2630890, failedAssignments=1621680, nogoods=3033, foundSolutions=26, bestBound=2
62.41/60.40
62.41/60.41 num=417, depth=11..20, filters=9275785, ccks=234, wck=58.293, mem=35M646
62.41/60.41 decisions=5511001, wrong=2752657, backtracks=2630913, failedAssignments=1621699, nogoods=3040, foundSolutions=26, bestBound=2
62.41/60.41
62.41/60.41 num=418, depth=11..19, filters=9275887, ccks=234, wck=58.294, mem=35M646
62.41/60.41 decisions=5511068, wrong=2752684, backtracks=2630937, failedAssignments=1621720, nogoods=3043, foundSolutions=26, bestBound=2
62.41/60.41
62.41/60.41 num=419, depth=11..20, filters=9275987, ccks=234, wck=58.295, mem=35M646
62.41/60.41 decisions=5511139, wrong=2752714, backtracks=2630966, failedAssignments=1621743, nogoods=3045, foundSolutions=26, bestBound=2
62.41/60.41
62.41/60.41 num=420, depth=10..20, filters=9276079, ccks=234, wck=58.297, mem=35M646
62.41/60.41 decisions=5511212, wrong=2752745, backtracks=2630994, failedAssignments=1621768, nogoods=3048, foundSolutions=26, bestBound=2
62.41/60.41
62.41/60.41 num=421, depth=11..21, filters=9276200, ccks=234, wck=58.298, mem=35M646
62.41/60.41 decisions=5511293, wrong=2752779, backtracks=2631024, failedAssignments=1621796, nogoods=3052, foundSolutions=26, bestBound=2
62.41/60.41
62.41/60.41 num=422, depth=11..21, filters=9276331, ccks=234, wck=58.299, mem=35M646
62.41/60.41 decisions=5511383, wrong=2752818, backtracks=2631057, failedAssignments=1621827, nogoods=3060, foundSolutions=26, bestBound=2
62.41/60.41
62.41/60.41 num=423, depth=11..20, filters=9276471, ccks=234, wck=58.3, mem=35M646
62.41/60.41 decisions=5511484, wrong=2752862, backtracks=2631097, failedAssignments=1621861, nogoods=3063, foundSolutions=26, bestBound=2
62.41/60.41
62.41/60.41 num=424, depth=11..21, filters=9276635, ccks=234, wck=58.302, mem=35M646
62.41/60.41 decisions=5511600, wrong=2752914, backtracks=2631146, failedAssignments=1621898, nogoods=3071, foundSolutions=26, bestBound=2
62.41/60.41
62.41/60.42 num=425, depth=11..21, filters=9276822, ccks=234, wck=58.303, mem=35M646
62.41/60.42 decisions=5511722, wrong=2752969, backtracks=2631196, failedAssignments=1621939, nogoods=3077, foundSolutions=26, bestBound=2
62.41/60.42
62.41/60.42 num=426, depth=11..20, filters=9277032, ccks=234, wck=58.305, mem=35M646
62.41/60.42 decisions=5511853, wrong=2753029, backtracks=2631255, failedAssignments=1621984, nogoods=3081, foundSolutions=26, bestBound=2
62.41/60.42
62.41/60.42 num=427, depth=11..22, filters=9277238, ccks=234, wck=58.306, mem=35M646
62.41/60.42 decisions=5511988, wrong=2753091, backtracks=2631315, failedAssignments=1622034, nogoods=3087, foundSolutions=26, bestBound=2
62.41/60.42
62.41/60.42 num=428, depth=10..22, filters=9277469, ccks=234, wck=58.309, mem=35M646
62.41/60.42 decisions=5512144, wrong=2753163, backtracks=2631377, failedAssignments=1622089, nogoods=3096, foundSolutions=26, bestBound=2
62.41/60.42
62.41/60.42 num=429, depth=10..24, filters=9277748, ccks=234, wck=58.311, mem=35M646
62.41/60.42 decisions=5512317, wrong=2753244, backtracks=2631454, failedAssignments=1622150, nogoods=3098, foundSolutions=26, bestBound=2
62.41/60.42
62.41/60.43 num=430, depth=10..21, filters=9278038, ccks=234, wck=58.314, mem=35M646
62.41/60.43 decisions=5512512, wrong=2753335, backtracks=2631538, failedAssignments=1622217, nogoods=3104, foundSolutions=26, bestBound=2
62.41/60.43
62.41/60.43 num=431, depth=10..21, filters=9278386, ccks=234, wck=58.317, mem=35M646
62.41/60.43 decisions=5512736, wrong=2753441, backtracks=2631635, failedAssignments=1622291, nogoods=3110, foundSolutions=26, bestBound=2
62.41/60.43
62.41/60.43 num=432, depth=10..22, filters=9278738, ccks=234, wck=58.32, mem=35M646
62.41/60.43 decisions=5512973, wrong=2753554, backtracks=2631742, failedAssignments=1622372, nogoods=3118, foundSolutions=26, bestBound=2
62.41/60.43
62.41/60.44 num=433, depth=10..20, filters=9279164, ccks=234, wck=58.323, mem=35M646
62.41/60.44 decisions=5513244, wrong=2753684, backtracks=2631866, failedAssignments=1622461, nogoods=3125, foundSolutions=26, bestBound=2
62.41/60.44
62.41/60.44 num=434, depth=10..20, filters=9279598, ccks=234, wck=58.327, mem=35M646
62.41/60.44 decisions=5513524, wrong=2753818, backtracks=2631995, failedAssignments=1622559, nogoods=3132, foundSolutions=26, bestBound=2
62.41/60.44
62.41/60.44 num=435, depth=10..21, filters=9280107, ccks=234, wck=58.33, mem=35M646
62.41/60.44 decisions=5513837, wrong=2753968, backtracks=2632143, failedAssignments=1622667, nogoods=3136, foundSolutions=26, bestBound=2
62.41/60.44
62.41/60.45 num=436, depth=9..20, filters=9280638, ccks=234, wck=58.335, mem=35M646
62.41/60.45 decisions=5514192, wrong=2754140, backtracks=2632304, failedAssignments=1622786, nogoods=3145, foundSolutions=26, bestBound=2
62.41/60.45
62.41/60.45 num=437, depth=10..23, filters=9281246, ccks=234, wck=58.341, mem=35M646
62.41/60.45 decisions=5514553, wrong=2754314, backtracks=2632470, failedAssignments=1622917, nogoods=3156, foundSolutions=26, bestBound=2
62.41/60.45
62.41/60.46 num=438, depth=9..20, filters=9281971, ccks=234, wck=58.346, mem=35M646
62.41/60.46 decisions=5515009, wrong=2754536, backtracks=2632677, failedAssignments=1623061, nogoods=3160, foundSolutions=26, bestBound=2
62.41/60.46
62.41/60.46 num=439, depth=9..21, filters=9282653, ccks=234, wck=58.352, mem=35M646
62.41/60.46 decisions=5515439, wrong=2754745, backtracks=2632880, failedAssignments=1623219, nogoods=3166, foundSolutions=26, bestBound=2
62.41/60.46
62.41/60.47 num=440, depth=10..22, filters=9283540, ccks=234, wck=58.359, mem=35M646
62.41/60.47 decisions=5515979, wrong=2755009, backtracks=2633121, failedAssignments=1623393, nogoods=3176, foundSolutions=26, bestBound=2
62.41/60.47
62.41/60.48 num=441, depth=10..22, filters=9284442, ccks=234, wck=58.366, mem=35M646
62.41/60.48 decisions=5516491, wrong=2755259, backtracks=2633364, failedAssignments=1623584, nogoods=3187, foundSolutions=26, bestBound=2
62.41/60.48
62.41/60.49 num=442, depth=10..21, filters=9285521, ccks=234, wck=58.374, mem=35M646
62.41/60.49 decisions=5517121, wrong=2755567, backtracks=2633656, failedAssignments=1623795, nogoods=3195, foundSolutions=26, bestBound=2
62.41/60.49
62.41/60.49 num=443, depth=9..22, filters=9286528, ccks=234, wck=58.382, mem=35M646
62.41/60.49 decisions=5517792, wrong=2755897, backtracks=2633973, failedAssignments=1624027, nogoods=3199, foundSolutions=26, bestBound=2
62.41/60.49
62.55/60.50 num=444, depth=10..22, filters=9287590, ccks=234, wck=58.392, mem=35M646
62.55/60.50 decisions=5518461, wrong=2756226, backtracks=2634294, failedAssignments=1624282, nogoods=3209, foundSolutions=26, bestBound=2
62.55/60.50
62.55/60.52 num=445, depth=9..21, filters=9288828, ccks=234, wck=58.403, mem=35M646
62.55/60.52 decisions=5519300, wrong=2756640, backtracks=2634689, failedAssignments=1624563, nogoods=3218, foundSolutions=26, bestBound=2
62.55/60.52
62.55/60.53 num=446, depth=9..23, filters=9290191, ccks=234, wck=58.415, mem=35M646
62.55/60.53 decisions=5520160, wrong=2757064, backtracks=2635098, failedAssignments=1624872, nogoods=3225, foundSolutions=26, bestBound=2
62.55/60.53
62.55/60.54 num=447, depth=9..24, filters=9291762, ccks=234, wck=58.427, mem=35M646
62.55/60.54 decisions=5521149, wrong=2757553, backtracks=2635573, failedAssignments=1625212, nogoods=3232, foundSolutions=26, bestBound=2
62.55/60.54
62.55/60.55 num=448, depth=9..23, filters=9293537, ccks=234, wck=58.44, mem=35M646
62.55/60.55 decisions=5522169, wrong=2758057, backtracks=2636064, failedAssignments=1625586, nogoods=3237, foundSolutions=26, bestBound=2
62.55/60.55
62.55/60.57 num=449, depth=8..21, filters=9295525, ccks=234, wck=58.455, mem=38M271
62.55/60.57 decisions=5523422, wrong=2758678, backtracks=2636654, failedAssignments=1625997, nogoods=3245, foundSolutions=26, bestBound=2
62.55/60.57
62.55/60.58 num=450, depth=10..24, filters=9297592, ccks=234, wck=58.471, mem=38M271
62.55/60.58 decisions=5524670, wrong=2759296, backtracks=2637261, failedAssignments=1626449, nogoods=3253, foundSolutions=26, bestBound=2
62.55/60.58
62.65/60.60 num=451, depth=8..23, filters=9299509, ccks=234, wck=58.487, mem=38M271
62.65/60.60 decisions=5526053, wrong=2759982, backtracks=2637926, failedAssignments=1626946, nogoods=3259, foundSolutions=26, bestBound=2
62.65/60.60
62.65/60.62 num=452, depth=9..23, filters=9302069, ccks=234, wck=58.505, mem=38M271
62.65/60.62 decisions=5527625, wrong=2760762, backtracks=2638683, failedAssignments=1627493, nogoods=3268, foundSolutions=26, bestBound=2
62.65/60.62
62.65/60.64 num=453, depth=8..23, filters=9304970, ccks=234, wck=58.526, mem=38M271
62.65/60.64 decisions=5529382, wrong=2761635, backtracks=2639530, failedAssignments=1628095, nogoods=3273, foundSolutions=26, bestBound=2
62.65/60.64
62.65/60.66 num=454, depth=9..22, filters=9308136, ccks=234, wck=58.547, mem=38M271
62.65/60.66 decisions=5531276, wrong=2762576, backtracks=2640443, failedAssignments=1628757, nogoods=3281, foundSolutions=26, bestBound=2
62.65/60.66
62.65/60.68 num=455, depth=8..21, filters=9311320, ccks=234, wck=58.571, mem=38M271
62.65/60.68 decisions=5533324, wrong=2763595, backtracks=2641432, failedAssignments=1629485, nogoods=3293, foundSolutions=26, bestBound=2
62.65/60.68
62.75/60.71 num=456, depth=9..23, filters=9314806, ccks=234, wck=58.598, mem=38M271
62.75/60.71 decisions=5535509, wrong=2764681, backtracks=2642501, failedAssignments=1630286, nogoods=3300, foundSolutions=26, bestBound=2
62.75/60.71
62.75/60.74 num=457, depth=9..23, filters=9318956, ccks=234, wck=58.629, mem=38M271
62.75/60.74 decisions=5538239, wrong=2766039, backtracks=2643814, failedAssignments=1631167, nogoods=3311, foundSolutions=26, bestBound=2
62.75/60.74
62.75/60.78 num=458, depth=7..23, filters=9323765, ccks=234, wck=58.664, mem=38M271
62.75/60.78 decisions=5541159, wrong=2767494, backtracks=2645203, failedAssignments=1632137, nogoods=3315, foundSolutions=26, bestBound=2
62.75/60.78
62.85/60.81 num=459, depth=8..24, filters=9328579, ccks=234, wck=58.701, mem=38M271
62.85/60.81 decisions=5544250, wrong=2769034, backtracks=2646677, failedAssignments=1633204, nogoods=3326, foundSolutions=26, bestBound=2
62.85/60.81
62.85/60.85 num=460, depth=9..23, filters=9334163, ccks=234, wck=58.739, mem=38M271
62.85/60.85 decisions=5547647, wrong=2770727, backtracks=2648328, failedAssignments=1634377, nogoods=3335, foundSolutions=26, bestBound=2
62.85/60.85
62.85/60.90 num=461, depth=7..24, filters=9340286, ccks=234, wck=58.784, mem=38M271
62.85/60.90 decisions=5551489, wrong=2772642, backtracks=2650178, failedAssignments=1635668, nogoods=3343, foundSolutions=26, bestBound=2
62.85/60.90
62.95/60.95 num=462, depth=8..24, filters=9347634, ccks=234, wck=58.835, mem=40M897
62.95/60.95 decisions=5555892, wrong=2774838, backtracks=2652296, failedAssignments=1637088, nogoods=3353, foundSolutions=26, bestBound=2
62.95/60.95
62.95/61.01 num=463, depth=8..23, filters=9356024, ccks=234, wck=58.893, mem=40M897
62.95/61.01 decisions=5560757, wrong=2777264, backtracks=2654612, failedAssignments=1638650, nogoods=3362, foundSolutions=26, bestBound=2
62.95/61.01
63.06/61.06 num=464, depth=8..23, filters=9364566, ccks=234, wck=58.952, mem=40M897
63.06/61.06 decisions=5565892, wrong=2779826, backtracks=2657074, failedAssignments=1640368, nogoods=3370, foundSolutions=26, bestBound=2
63.06/61.06
63.16/61.13 num=465, depth=8..23, filters=9374618, ccks=234, wck=59.018, mem=40M897
63.16/61.13 decisions=5571495, wrong=2782621, backtracks=2659768, failedAssignments=1642258, nogoods=3378, foundSolutions=26, bestBound=2
63.16/61.13
63.25/61.20 num=466, depth=7..24, filters=9384804, ccks=234, wck=59.085, mem=40M897
63.25/61.20 decisions=5577722, wrong=2785729, backtracks=2662754, failedAssignments=1644337, nogoods=3388, foundSolutions=26, bestBound=2
63.25/61.20
63.25/61.27 num=467, depth=8..23, filters=9395503, ccks=234, wck=59.161, mem=40M897
63.25/61.27 decisions=5584538, wrong=2789131, backtracks=2666010, failedAssignments=1646624, nogoods=3397, foundSolutions=26, bestBound=2
63.25/61.27
63.35/61.35 num=468, depth=8..24, filters=9407996, ccks=234, wck=59.242, mem=43M522
63.35/61.35 decisions=5591986, wrong=2792849, backtracks=2669602, failedAssignments=1649140, nogoods=3409, foundSolutions=26, bestBound=2
63.35/61.35
63.45/61.45 num=469, depth=7..24, filters=9421314, ccks=234, wck=59.333, mem=43M522
63.45/61.45 decisions=5600033, wrong=2796867, backtracks=2673488, failedAssignments=1651908, nogoods=3418, foundSolutions=26, bestBound=2
63.45/61.45
63.55/61.56 num=470, depth=7..23, filters=9437017, ccks=234, wck=59.449, mem=43M522
63.55/61.56 decisions=5609841, wrong=2801765, backtracks=2678194, failedAssignments=1654952, nogoods=3426, foundSolutions=26, bestBound=2
63.55/61.56
63.65/61.68 num=471, depth=7..23, filters=9452968, ccks=234, wck=59.565, mem=46M147
63.65/61.68 decisions=5619695, wrong=2806687, backtracks=2682962, failedAssignments=1658301, nogoods=3438, foundSolutions=26, bestBound=2
63.65/61.68
63.85/61.81 num=472, depth=7..24, filters=9471473, ccks=234, wck=59.697, mem=46M147
63.85/61.81 decisions=5631159, wrong=2812413, backtracks=2688424, failedAssignments=1661985, nogoods=3447, foundSolutions=26, bestBound=2
63.85/61.81
63.95/61.95 num=473, depth=7..23, filters=9493185, ccks=234, wck=59.841, mem=46M147
63.95/61.95 decisions=5644251, wrong=2818955, backtracks=2694687, failedAssignments=1666037, nogoods=3455, foundSolutions=26, bestBound=2
63.95/61.95
64.16/62.12 num=474, depth=6..24, filters=9515432, ccks=234, wck=60.007, mem=48M772
64.16/62.12 decisions=5657989, wrong=2825819, backtracks=2701277, failedAssignments=1670494, nogoods=3464, foundSolutions=26, bestBound=2
64.16/62.12
64.35/62.30 num=475, depth=7..23, filters=9541041, ccks=234, wck=60.188, mem=48M772
64.35/62.30 decisions=5673593, wrong=2833616, backtracks=2708693, failedAssignments=1675397, nogoods=3473, foundSolutions=26, bestBound=2
64.35/62.30
64.45/62.49 num=476, depth=6..22, filters=9567504, ccks=234, wck=60.379, mem=48M772
64.45/62.49 decisions=5690435, wrong=2842031, backtracks=2716717, failedAssignments=1680791, nogoods=3485, foundSolutions=26, bestBound=2
64.45/62.49
64.65/62.69 num=477, depth=7..24, filters=9594363, ccks=234, wck=60.578, mem=51M398
64.65/62.69 decisions=5708001, wrong=2850809, backtracks=2725167, failedAssignments=1686724, nogoods=3494, foundSolutions=26, bestBound=2
64.65/62.69
64.95/62.93 num=478, depth=7..24, filters=9628341, ccks=234, wck=60.818, mem=54M23
64.95/62.93 decisions=5729247, wrong=2861426, backtracks=2735426, failedAssignments=1693250, nogoods=3503, foundSolutions=26, bestBound=2
64.95/62.93
65.16/63.19 num=479, depth=6..24, filters=9668743, ccks=234, wck=61.08, mem=54M23
65.16/63.19 decisions=5752914, wrong=2873254, backtracks=2746758, failedAssignments=1700429, nogoods=3512, foundSolutions=26, bestBound=2
65.16/63.19
65.45/63.48 num=480, depth=6..23, filters=9708097, ccks=234, wck=61.365, mem=56M648
65.45/63.48 decisions=5778232, wrong=2885907, backtracks=2758844, failedAssignments=1708326, nogoods=3519, foundSolutions=26, bestBound=2
65.45/63.48
65.85/63.80 num=481, depth=6..24, filters=9753783, ccks=234, wck=61.691, mem=56M648
65.85/63.80 decisions=5805972, wrong=2899772, backtracks=2772012, failedAssignments=1717013, nogoods=3527, foundSolutions=26, bestBound=2
65.85/63.80
66.16/64.14 num=482, depth=6..24, filters=9805100, ccks=234, wck=62.032, mem=59M273
66.16/64.14 decisions=5837082, wrong=2915321, backtracks=2786821, failedAssignments=1726568, nogoods=3538, foundSolutions=26, bestBound=2
66.16/64.14
66.55/64.53 num=483, depth=5..23, filters=9865269, ccks=234, wck=62.419, mem=61M899
66.55/64.53 decisions=5873244, wrong=2933397, backtracks=2803984, failedAssignments=1737079, nogoods=3551, foundSolutions=26, bestBound=2
66.55/64.53
66.95/64.95 num=484, depth=5..24, filters=9927355, ccks=234, wck=62.842, mem=64M524
66.95/64.95 decisions=5912041, wrong=2952791, backtracks=2822389, failedAssignments=1748641, nogoods=3558, foundSolutions=26, bestBound=2
66.95/64.95
67.45/65.43 num=485, depth=6..25, filters=9996825, ccks=234, wck=63.322, mem=67M149
67.45/65.43 decisions=5955227, wrong=2974378, backtracks=2843005, failedAssignments=1761359, nogoods=3568, foundSolutions=26, bestBound=2
67.45/65.43
67.95/65.95 num=486, depth=6..24, filters=10078643, ccks=234, wck=63.836, mem=69M774
67.95/65.95 decisions=6002554, wrong=2998036, backtracks=2865671, failedAssignments=1775349, nogoods=3580, foundSolutions=26, bestBound=2
67.95/65.95
68.55/66.55 num=487, depth=5..23, filters=10165008, ccks=234, wck=64.441, mem=75M25
68.55/66.55 decisions=6057212, wrong=3025359, backtracks=2891545, failedAssignments=1790738, nogoods=3590, foundSolutions=26, bestBound=2
68.55/66.55
69.16/67.18 num=488, depth=5..24, filters=10263292, ccks=234, wck=65.068, mem=77M650
69.16/67.18 decisions=6116386, wrong=3054940, backtracks=2919766, failedAssignments=1807666, nogoods=3592, foundSolutions=26, bestBound=2
69.16/67.18
69.95/67.92 num=489, depth=4..24, filters=10368704, ccks=234, wck=65.807, mem=82M900
69.95/67.92 decisions=6184529, wrong=3089006, backtracks=2952124, failedAssignments=1826287, nogoods=3602, foundSolutions=26, bestBound=2
69.95/67.92
70.65/68.64 num=490, depth=6..25, filters=10469442, ccks=234, wck=66.526, mem=85M526
70.65/68.64 decisions=6251208, wrong=3122341, backtracks=2983997, failedAssignments=1846771, nogoods=3610, foundSolutions=26, bestBound=2
70.65/68.64
71.55/69.51 num=491, depth=4..24, filters=10595961, ccks=234, wck=67.401, mem=90M776
71.55/69.51 decisions=6330678, wrong=3162071, backtracks=3021790, failedAssignments=1869303, nogoods=3619, foundSolutions=26, bestBound=2
71.55/69.51
72.45/70.47 num=492, depth=4..23, filters=10737939, ccks=234, wck=68.355, mem=96M27
72.45/70.47 decisions=6418396, wrong=3205924, backtracks=3063338, failedAssignments=1894088, nogoods=3627, foundSolutions=26, bestBound=2
72.45/70.47
73.45/71.45 num=493, depth=5..26, filters=10882161, ccks=234, wck=69.341, mem=101M277
73.45/71.45 decisions=6509666, wrong=3251554, backtracks=3107049, failedAssignments=1921352, nogoods=3637, foundSolutions=26, bestBound=2
73.45/71.45
74.65/72.61 num=494, depth=4..23, filters=11056496, ccks=234, wck=70.503, mem=109M153
74.65/72.61 decisions=6617950, wrong=3305692, backtracks=3158526, failedAssignments=1951342, nogoods=3648, foundSolutions=26, bestBound=2
74.65/72.61
75.85/73.88 num=495, depth=5..25, filters=11246330, ccks=234, wck=71.767, mem=114M403
75.85/73.88 decisions=6734713, wrong=3364068, backtracks=3214199, failedAssignments=1984331, nogoods=3660, foundSolutions=26, bestBound=2
75.85/73.88
77.35/75.38 num=496, depth=4..24, filters=11473090, ccks=234, wck=73.267, mem=122M279
77.35/75.38 decisions=6868232, wrong=3430821, backtracks=3277709, failedAssignments=2020619, nogoods=3665, foundSolutions=26, bestBound=2
77.35/75.38
78.98/76.94 num=497, depth=4..24, filters=11707429, ccks=234, wck=74.824, mem=132M780
78.98/76.94 decisions=7011498, wrong=3502448, backtracks=3345769, failedAssignments=2060536, nogoods=3675, foundSolutions=26, bestBound=2
78.98/76.94
80.68/78.65 num=498, depth=4..24, filters=11972189, ccks=234, wck=76.535, mem=140M656
80.68/78.65 decisions=7169337, wrong=3581363, backtracks=3420428, failedAssignments=2104445, nogoods=3685, foundSolutions=26, bestBound=2
80.68/78.65
82.49/80.49 num=499, depth=4..24, filters=12250612, ccks=234, wck=78.382, mem=151M157
82.49/80.49 decisions=7343980, wrong=3668680, backtracks=3503219, failedAssignments=2152745, nogoods=3694, foundSolutions=26, bestBound=2
82.49/80.49
84.61/82.59 num=500, depth=3..24, filters=12576023, ccks=234, wck=80.477, mem=30M383
84.61/82.59 decisions=7547700, wrong=3770534, backtracks=3599462, failedAssignments=2205875, nogoods=3704, foundSolutions=26, bestBound=2
84.61/82.59
87.12/85.06 num=501, depth=3..24, filters=12944890, ccks=234, wck=82.948, mem=43M331
87.12/85.06 decisions=7768129, wrong=3880744, backtracks=3704247, failedAssignments=2264318, nogoods=3709, foundSolutions=26, bestBound=2
87.12/85.06
89.51/87.48 num=502, depth=3..24, filters=13336123, ccks=234, wck=85.369, mem=56M278
89.51/87.48 decisions=8011649, wrong=4002499, backtracks=3819434, failedAssignments=2328605, nogoods=3718, foundSolutions=26, bestBound=2
89.51/87.48
92.51/90.41 num=503, depth=3..25, filters=13766308, ccks=234, wck=88.301, mem=71M815
92.51/90.41 decisions=8280644, wrong=4136991, backtracks=3946478, failedAssignments=2399321, nogoods=3727, foundSolutions=26, bestBound=2
92.51/90.41
95.71/93.67 num=504, depth=3..24, filters=14258978, ccks=234, wck=91.559, mem=87M352
95.71/93.67 decisions=8583526, wrong=4288427, backtracks=4089532, failedAssignments=2477108, nogoods=3739, foundSolutions=26, bestBound=2
95.71/93.67
99.41/97.38 num=505, depth=2..24, filters=14801014, ccks=234, wck=95.268, mem=105M478
99.41/97.38 decisions=8933313, wrong=4463315, backtracks=4254505, failedAssignments=2562674, nogoods=3747, foundSolutions=26, bestBound=2
99.41/97.38
103.41/101.38 num=506, depth=2..26, filters=15407506, ccks=234, wck=99.269, mem=126M194
103.41/101.38 decisions=9306365, wrong=4649835, backtracks=4430807, failedAssignments=2656797, nogoods=3757, foundSolutions=26, bestBound=2
103.41/101.38
107.62/105.58 num=507, depth=3..24, filters=16048260, ccks=234, wck=103.47, mem=146M910
107.62/105.58 decisions=9720099, wrong=4856698, backtracks=4626259, failedAssignments=2760332, nogoods=3767, foundSolutions=26, bestBound=2
107.62/105.58
112.66/110.50 num=508, depth=2..24, filters=16811136, ccks=234, wck=108.39, mem=40M413
112.66/110.50 decisions=10190195, wrong=5091741, backtracks=4849540, failedAssignments=2874221, nogoods=3778, foundSolutions=26, bestBound=2
112.66/110.50
118.27/116.18 num=509, depth=2..25, filters=17644935, ccks=234, wck=114.073, mem=68M479
118.27/116.18 decisions=10704387, wrong=5348833, backtracks=5092907, failedAssignments=2999499, nogoods=3791, foundSolutions=26, bestBound=2
118.27/116.18
124.66/122.52 num=510, depth=1..25, filters=18561749, ccks=234, wck=120.41, mem=93M994
124.66/122.52 decisions=11299627, wrong=5646449, backtracks=5371477, failedAssignments=3137305, nogoods=3801, foundSolutions=26, bestBound=2
124.66/122.52
131.77/129.60 num=511, depth=1..25, filters=19617091, ccks=234, wck=127.486, mem=127M164
131.77/129.60 decisions=11962588, wrong=5977927, backtracks=5685380, failedAssignments=3288891, nogoods=3812, foundSolutions=26, bestBound=2
131.77/129.60
140.10/137.94 num=512, depth=0..25, filters=20800509, ccks=234, wck=135.832, mem=32M570
140.10/137.94 decisions=12721268, wrong=6357262, backtracks=6041907, failedAssignments=3455636, nogoods=3822, foundSolutions=26, bestBound=2
140.10/137.94
142.31/140.15
142.31/140.15 New Bounds: 2..1
142.31/140.15 num=513, depth=0..23, filters=21103108, ccks=234, wck=138.037, mem=40M106
142.31/140.15 decisions=12912516, wrong=6452887, backtracks=6132360, failedAssignments=3493195, foundSolutions=26, bestBound=2
142.31/140.15
142.31/140.15 Global
142.31/140.15 filters=21103108, ccks=234
142.31/140.15 Stop=FULL_EXPLORATION, wrong=6452887, bestBound=2, bestBoundWck=54.213, bestBoundCpu=55.984, foundSolutions=26, firstSolCpu=2.098
142.31/140.15 wck=138.302, cpu=140.025, mem=40M106
142.31/140.15
142.31/140.15 v <instantiation id='sol26' type='solution' cost='2'> <list> x[] </list> <values> 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 1 1 1 0 1 0 1 1 1 1 1 0 0 0 0 0 0 1 1 0 1 0 0 1 </values> </instantiation>
142.31/140.15 s OPTIMUM FOUND
142.31/140.15
142.31/140.15 d WRONG_DECISIONS 6452887
142.31/140.15 d NUMBER_SOLUTIONS 26