2.42/1.88
2.42/1.88 AbsCon 2
2.42/1.90
3.38/2.18 Instance
3.38/2.18 name=instance-4390961-1568381588, framework=COP, bounds=-infty..+infty
3.38/2.18
3.38/2.18 Loading variables...
3.67/2.25 Loading constraints...[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6565ab97
5.14/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7af2839b
5.14/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d7c5b2
5.14/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@426794ee
5.14/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@76af69ce
5.14/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1dc639f8
5.14/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@220a3aa0
5.14/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2df8533f
5.14/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4797f009
5.14/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@44b0e986
5.14/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5090cb89
5.14/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@49f876f7
5.14/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4cc78c67
5.14/2.63 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@76e28970
5.14/2.63 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@729e2be0
5.14/2.63 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5488f530
5.14/2.63 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@488ef02
5.14/2.63 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3bc9ba13
5.14/2.63 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f4ed92d
5.14/2.63 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2ef77e8c
5.14/2.63 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@758cdca8
5.14/2.63 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7a6d01e4
5.14/2.63 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@52035313
5.14/2.63 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@773328fe
5.14/2.63 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@33e50ec0
5.14/2.63 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23feadda
5.14/2.63 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@710235e5
5.14/2.63 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4a0ffb23
5.14/2.63 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@15dc1837
5.14/2.63 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@740abb11
5.14/2.67
5.14/2.67
5.14/2.67 Domains
5.14/2.67 nTypes=9, nValues=5880, sizes=[2#900,3#30,4#150,5#150...7#30,8#30,30#30,31#30]
5.14/2.67 Variables
5.14/2.67 count=1410, degrees=[2#495,3#885,16#30]
5.14/2.67 Objectives
5.14/2.67 way=min, type=ObjMaximumLE
5.14/2.67 Constraints
5.14/2.67 count=1382, nSpecific=497, arities=[2#465,3#885,16#30,30#2]
5.14/2.67 distribution=[AllDifferent#1,CtrExtensionCT-Table#450,CtrExtensionV-Bits#450,CtrIntension#435,EQ#15,ObjMaximumLE#1,SumWeightedEQ#30]
5.14/2.67 tables=[4#30,5#150,6#150,7#60,8#30,9#30], nTotalTuples=2700
5.14/2.67 nExtStructures=(456,shared:444), nIntStructures=(6,shared:429), nCftStructures=(456,shared:429,unbuilt:497)
5.14/2.67 wck=0.817, cpu=2.635, mem=87M288
5.48/2.74 Solver SolverBacktrack being built...
5.48/2.74
5.48/2.77
5.48/2.77 Solver
5.48/2.77 guaranteedGAC=false
5.48/2.77 wck=0.924, cpu=2.74, mem=140M244
5.69/2.80
5.69/2.80 Preprocessing
5.69/2.80 filters=75, revisions=(91,useless=61), ccks=1455, nACremovedValues=552, nTotalRemovedValues=552, inconcistency=false
5.69/2.80 wck=0.027, cpu=2.77, mem=140M244
5.69/2.80
5.69/2.88 o 13
6.03/2.95 num=0, depth=1411..1409, filters=3025, revisions=(11184,useless=9021), ccks=17871, wck=0.177, mem=142M778
6.03/2.95 decisions=29, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=1, bestBound=13
6.03/2.95 nFilterCalls=3543, avgTableProportion=0.83118489845841, avgTableSize=5.183460344340954
6.03/2.95
6.36/3.02 num=1, depth=0..30, filters=6312, revisions=(21834,useless=17230), ccks=25891, wck=0.248, mem=60M868
6.36/3.02 decisions=84, wrong=14, backtracks=3, failedAssignments=11, nogoods=8, foundSolutions=1, bestBound=13
6.36/3.02 nFilterCalls=5826, avgTableProportion=0.8319541164675222, avgTableSize=5.213353930655681
6.36/3.02
6.36/3.06 o 12
6.36/3.10 num=2, depth=9..1409, filters=9392, revisions=(33802,useless=26850), ccks=37272, wck=0.328, mem=62M190
6.36/3.10 decisions=140, wrong=18, backtracks=3, failedAssignments=15, nogoods=12, foundSolutions=2, bestBound=12
6.36/3.10 nFilterCalls=8909, avgTableProportion=0.8317532030210231, avgTableSize=5.204175552811764
6.36/3.10
6.70/3.12 num=3, depth=9..19, filters=10285, revisions=(35502,useless=27802), ccks=39976, wck=0.347, mem=62M190
6.70/3.12 decisions=193, wrong=39, backtracks=18, failedAssignments=27, nogoods=18, foundSolutions=2, bestBound=12
6.70/3.12 nFilterCalls=9799, avgTableProportion=0.8308928510683778, avgTableSize=5.171548117154812
6.70/3.12
6.70/3.15 num=4, depth=10..41, filters=13011, revisions=(44190,useless=34249), ccks=49246, wck=0.372, mem=62M190
6.70/3.15 decisions=249, wrong=50, backtracks=18, failedAssignments=38, nogoods=29, foundSolutions=2, bestBound=12
6.70/3.15 nFilterCalls=11351, avgTableProportion=0.8315506080857185, avgTableSize=5.194520306580918
6.70/3.15
6.70/3.18 num=5, depth=14..54, filters=16301, revisions=(54535,useless=42013), ccks=58843, wck=0.401, mem=62M190
6.70/3.18 decisions=321, wrong=62, backtracks=18, failedAssignments=50, nogoods=41, foundSolutions=2, bestBound=12
6.70/3.18 nFilterCalls=13168, avgTableProportion=0.8320056196840856, avgTableSize=5.211725394896719
6.70/3.18
6.97/3.20 num=6, depth=14..46, filters=19064, revisions=(62085,useless=47345), ccks=67675, wck=0.426, mem=62M190
6.97/3.20 decisions=389, wrong=76, backtracks=20, failedAssignments=63, nogoods=49, foundSolutions=2, bestBound=12
6.97/3.20 nFilterCalls=14832, avgTableProportion=0.8319237363230105, avgTableSize=5.209951456310679
6.97/3.20
6.97/3.22 num=7, depth=16..43, filters=21817, revisions=(69284,useless=52370), ccks=75691, wck=0.448, mem=62M190
6.97/3.22 decisions=455, wrong=90, backtracks=20, failedAssignments=77, nogoods=63, foundSolutions=2, bestBound=12
6.97/3.22 nFilterCalls=16565, avgTableProportion=0.8314294577877371, avgTableSize=5.1915484455176575
6.97/3.22
6.97/3.24 num=8, depth=29..39, filters=24547, revisions=(76212,useless=57254), ccks=82645, wck=0.469, mem=62M190
6.97/3.24 decisions=526, wrong=106, backtracks=20, failedAssignments=93, nogoods=79, foundSolutions=2, bestBound=12
6.97/3.24 nFilterCalls=18264, avgTableProportion=0.8313042962476218, avgTableSize=5.186377573368375
6.97/3.24
6.97/3.27 num=9, depth=30..39, filters=27395, revisions=(82942,useless=61863), ccks=88808, wck=0.491, mem=62M190
6.97/3.27 decisions=599, wrong=123, backtracks=20, failedAssignments=110, nogoods=96, foundSolutions=2, bestBound=12
6.97/3.27 nFilterCalls=20033, avgTableProportion=0.8313402924856363, avgTableSize=5.187041381720162
6.97/3.27
6.97/3.29 num=10, depth=31..40, filters=31272, revisions=(90756,useless=67129), ccks=95869, wck=0.517, mem=62M190
6.97/3.29 decisions=677, wrong=142, backtracks=20, failedAssignments=129, nogoods=115, foundSolutions=2, bestBound=12
6.97/3.29 nFilterCalls=22220, avgTableProportion=0.8310390860513708, avgTableSize=5.174167416741674
6.97/3.29
7.28/3.31 num=11, depth=32..41, filters=35552, revisions=(99301,useless=72785), ccks=103801, wck=0.541, mem=64M780
7.28/3.31 decisions=762, wrong=164, backtracks=21, failedAssignments=150, nogoods=118, foundSolutions=2, bestBound=12
7.28/3.31 nFilterCalls=24731, avgTableProportion=0.8310369737099799, avgTableSize=5.172981278557276
7.28/3.31
7.28/3.34 o 11
7.28/3.38 num=12, depth=1411..1409, filters=38106, revisions=(109572,useless=81192), ccks=113208, wck=0.604, mem=64M780
7.28/3.38 decisions=823, wrong=164, backtracks=21, failedAssignments=150, nogoods=118, foundSolutions=3, bestBound=11
7.28/3.38 nFilterCalls=27601, avgTableProportion=0.8309698061317242, avgTableSize=5.1715517553711825
7.28/3.38
7.28/3.40 num=13, depth=13..21, filters=38928, revisions=(111598,useless=82598), ccks=115763, wck=0.621, mem=64M780
7.28/3.40 decisions=900, wrong=196, backtracks=29, failedAssignments=175, nogoods=122, foundSolutions=3, bestBound=11
7.28/3.40 nFilterCalls=28462, avgTableProportion=0.830687575078989, avgTableSize=5.16116225142295
7.28/3.40
7.59/3.41 num=14, depth=25..50, filters=41766, revisions=(120221,useless=89005), ccks=123691, wck=0.638, mem=64M780
7.59/3.41 decisions=973, wrong=211, backtracks=34, failedAssignments=186, nogoods=131, foundSolutions=3, bestBound=11
7.59/3.41 nFilterCalls=30075, avgTableProportion=0.8308963437963418, avgTableSize=5.1707730673316705
7.59/3.41
7.59/3.43 num=15, depth=36..63, filters=45722, revisions=(129930,useless=95736), ccks=135510, wck=0.66, mem=64M780
7.59/3.43 decisions=1068, wrong=228, backtracks=40, failedAssignments=198, nogoods=138, foundSolutions=3, bestBound=11
7.59/3.43 nFilterCalls=32349, avgTableProportion=0.830720976139406, avgTableSize=5.163869053139201
7.59/3.43
7.59/3.45 num=16, depth=38..66, filters=48771, revisions=(138430,useless=101926), ccks=143514, wck=0.677, mem=64M780
7.59/3.45 decisions=1158, wrong=241, backtracks=40, failedAssignments=211, nogoods=151, foundSolutions=3, bestBound=11
7.59/3.45 nFilterCalls=34153, avgTableProportion=0.8309953249589473, avgTableSize=5.174450267912043
7.59/3.45
7.59/3.47 num=17, depth=40..62, filters=51760, revisions=(146988,useless=108177), ccks=152075, wck=0.695, mem=64M780
7.59/3.47 decisions=1246, wrong=255, backtracks=40, failedAssignments=225, nogoods=165, foundSolutions=3, bestBound=11
7.59/3.47 nFilterCalls=35961, avgTableProportion=0.831268442046464, avgTableSize=5.185367481438225
7.59/3.47
7.59/3.48 num=18, depth=41..60, filters=54713, revisions=(155085,useless=114031), ccks=159685, wck=0.711, mem=64M780
7.59/3.48 decisions=1336, wrong=272, backtracks=42, failedAssignments=241, nogoods=178, foundSolutions=3, bestBound=11
7.59/3.48 nFilterCalls=37715, avgTableProportion=0.8312889065649828, avgTableSize=5.186477528834681
7.59/3.48
7.89/3.51 o 7
7.89/3.54 num=19, depth=55..1409, filters=57228, revisions=(163987,useless=121058), ccks=168223, wck=0.766, mem=67M370
7.89/3.54 decisions=1411, wrong=273, backtracks=42, failedAssignments=242, nogoods=179, foundSolutions=4, bestBound=7
7.89/3.54 nFilterCalls=40566, avgTableProportion=0.8313587048812001, avgTableSize=5.1890499433022725
7.89/3.54
7.89/3.55 num=20, depth=4..14, filters=57891, revisions=(165495,useless=122090), ccks=170500, wck=0.781, mem=67M370
7.89/3.55 decisions=1473, wrong=302, backtracks=52, failedAssignments=261, nogoods=185, foundSolutions=4, bestBound=7
7.89/3.55 nFilterCalls=41348, avgTableProportion=0.8312816132061377, avgTableSize=5.185764728644674
7.89/3.55
7.89/3.57 num=21, depth=28..59, filters=61269, revisions=(173634,useless=127617), ccks=179454, wck=0.795, mem=67M370
7.89/3.57 decisions=1554, wrong=315, backtracks=54, failedAssignments=272, nogoods=192, foundSolutions=4, bestBound=7
7.89/3.57 nFilterCalls=43306, avgTableProportion=0.83152253912528, avgTableSize=5.194153235117535
7.89/3.57
7.89/3.59 o 6
8.19/3.62 num=22, depth=31..1409, filters=64327, revisions=(183672,useless=135227), ccks=189440, wck=0.85, mem=67M370
8.19/3.62 decisions=1643, wrong=323, backtracks=54, failedAssignments=280, nogoods=200, foundSolutions=5, bestBound=6
8.19/3.62 nFilterCalls=46466, avgTableProportion=0.8315674662955698, avgTableSize=5.195411698876598
8.19/3.62
8.19/3.63 num=23, depth=4..12, filters=64873, revisions=(184947,useless=136105), ccks=191170, wck=0.86, mem=67M370
8.19/3.63 decisions=1689, wrong=344, backtracks=62, failedAssignments=293, nogoods=205, foundSolutions=5, bestBound=6
8.19/3.63 nFilterCalls=47194, avgTableProportion=0.8314656372784032, avgTableSize=5.191465016739416
8.19/3.63
8.19/3.64 num=24, depth=27..62, filters=67473, revisions=(192174,useless=141246), ccks=198557, wck=0.871, mem=67M370
8.19/3.64 decisions=1770, wrong=356, backtracks=63, failedAssignments=304, nogoods=214, foundSolutions=5, bestBound=6
8.19/3.64 nFilterCalls=48764, avgTableProportion=0.8314912412618928, avgTableSize=5.191883356574523
8.19/3.64
8.19/3.65 num=25, depth=32..63, filters=69025, revisions=(196826,useless=144517), ccks=203382, wck=0.88, mem=67M370
8.19/3.65 decisions=1852, wrong=368, backtracks=63, failedAssignments=316, nogoods=226, foundSolutions=5, bestBound=6
8.19/3.65 nFilterCalls=49627, avgTableProportion=0.8313379877378899, avgTableSize=5.186007616821488
8.19/3.65
8.19/3.66 num=26, depth=34..70, filters=71652, revisions=(203817,useless=149408), ccks=211374, wck=0.891, mem=67M370
8.19/3.66 decisions=1948, wrong=383, backtracks=65, failedAssignments=329, nogoods=235, foundSolutions=5, bestBound=6
8.19/3.66 nFilterCalls=51236, avgTableProportion=0.8313079484665168, avgTableSize=5.184752908111484
8.19/3.66
8.19/3.68 num=27, depth=26..71, filters=75456, revisions=(212608,useless=155189), ccks=222997, wck=0.903, mem=67M370
8.19/3.68 decisions=2041, wrong=398, backtracks=66, failedAssignments=343, nogoods=249, foundSolutions=5, bestBound=6
8.19/3.68 nFilterCalls=53223, avgTableProportion=0.8314041488809043, avgTableSize=5.188170527779343
8.19/3.68
8.19/3.70 num=28, depth=26..57, filters=78858, revisions=(220380,useless=160327), ccks=232994, wck=0.916, mem=67M370
8.19/3.70 decisions=2140, wrong=422, backtracks=78, failedAssignments=359, nogoods=256, foundSolutions=5, bestBound=6
8.19/3.70 nFilterCalls=55245, avgTableProportion=0.8313156688750846, avgTableSize=5.182423748755544
8.19/3.70
8.49/3.71 num=29, depth=27..65, filters=82957, revisions=(230443,useless=167091), ccks=245959, wck=0.935, mem=67M370
8.49/3.71 decisions=2247, wrong=446, backtracks=86, failedAssignments=376, nogoods=268, foundSolutions=5, bestBound=6
8.49/3.71 nFilterCalls=57581, avgTableProportion=0.831659073498824, avgTableSize=5.194612806307636
8.49/3.71
8.49/3.72 num=30, depth=27..58, filters=86413, revisions=(238204,useless=171902), ccks=258501, wck=0.95, mem=67M370
8.49/3.72 decisions=2352, wrong=473, backtracks=96, failedAssignments=395, nogoods=275, foundSolutions=5, bestBound=6
8.49/3.72 nFilterCalls=59550, avgTableProportion=0.8317937041040143, avgTableSize=5.1975314861460955
8.49/3.72
8.49/3.74 num=31, depth=27..63, filters=90389, revisions=(247499,useless=178178), ccks=272614, wck=0.969, mem=69M961
8.49/3.74 decisions=2464, wrong=500, backtracks=104, failedAssignments=416, nogoods=282, foundSolutions=5, bestBound=6
8.49/3.74 nFilterCalls=61916, avgTableProportion=0.8322087490276435, avgTableSize=5.21687447509529
8.49/3.74
8.49/3.76 num=32, depth=27..75, filters=94013, revisions=(256532,useless=184313), ccks=282941, wck=0.986, mem=69M961
8.49/3.76 decisions=2581, wrong=525, backtracks=106, failedAssignments=439, nogoods=299, foundSolutions=5, bestBound=6
8.49/3.76 nFilterCalls=64070, avgTableProportion=0.8323035011315544, avgTableSize=5.220399562977993
8.49/3.76
8.49/3.78 num=33, depth=28..59, filters=98071, revisions=(266560,useless=191215), ccks=293023, wck=1.003, mem=69M961
8.49/3.78 decisions=2695, wrong=555, backtracks=111, failedAssignments=464, nogoods=308, foundSolutions=5, bestBound=6
8.49/3.78 nFilterCalls=66460, avgTableProportion=0.832071839369364, avgTableSize=5.2114956364730665
8.49/3.78
8.49/3.79 num=34, depth=29..62, filters=100496, revisions=(272352,useless=195082), ccks=299526, wck=1.016, mem=69M961
8.49/3.79 decisions=2817, wrong=589, backtracks=117, failedAssignments=492, nogoods=314, foundSolutions=5, bestBound=6
8.49/3.79 nFilterCalls=67762, avgTableProportion=0.8319659482799785, avgTableSize=5.2069891679702485
8.49/3.79
8.79/3.80 num=35, depth=30..37, filters=104900, revisions=(282745,useless=202032), ccks=311978, wck=1.029, mem=69M961
8.79/3.80 decisions=2925, wrong=626, backtracks=124, failedAssignments=523, nogoods=330, foundSolutions=5, bestBound=6
8.79/3.80 nFilterCalls=70355, avgTableProportion=0.8317700990336473, avgTableSize=5.200198990832208
8.79/3.80
8.79/3.82 num=36, depth=26..39, filters=114470, revisions=(301447,useless=213152), ccks=332927, wck=1.049, mem=69M961
8.79/3.82 decisions=3085, wrong=689, backtracks=159, failedAssignments=557, nogoods=338, foundSolutions=5, bestBound=6
8.79/3.82 nFilterCalls=75306, avgTableProportion=0.8308275463629753, avgTableSize=5.17045122566595
8.79/3.82
8.79/3.85 num=37, depth=29..41, filters=126090, revisions=(324334,useless=227109), ccks=367295, wck=1.072, mem=69M961
8.79/3.85 decisions=3240, wrong=749, backtracks=188, failedAssignments=594, nogoods=347, foundSolutions=5, bestBound=6
8.79/3.85 nFilterCalls=81628, avgTableProportion=0.8307638222887043, avgTableSize=5.165445680403783
8.79/3.85
8.79/3.86 num=38, depth=34..42, filters=130070, revisions=(333631,useless=233067), ccks=379034, wck=1.084, mem=69M961
8.79/3.86 decisions=3378, wrong=798, backtracks=197, failedAssignments=635, nogoods=354, foundSolutions=5, bestBound=6
8.79/3.86 nFilterCalls=83918, avgTableProportion=0.8307415127852031, avgTableSize=5.164386663171191
8.79/3.86
8.79/3.87 num=39, depth=32..46, filters=133773, revisions=(341823,useless=238693), ccks=386125, wck=1.095, mem=69M961
8.79/3.87 decisions=3516, wrong=847, backtracks=204, failedAssignments=680, nogoods=363, foundSolutions=5, bestBound=6
8.79/3.87 nFilterCalls=85976, avgTableProportion=0.8305342779314411, avgTableSize=5.1597306224993025
8.79/3.87
8.79/3.89 num=40, depth=33..69, filters=140184, revisions=(356215,useless=248317), ccks=400991, wck=1.111, mem=69M961
8.79/3.89 decisions=3687, wrong=903, backtracks=210, failedAssignments=730, nogoods=392, foundSolutions=5, bestBound=6
8.79/3.89 nFilterCalls=89608, avgTableProportion=0.8305804036424529, avgTableSize=5.161492277475225
8.79/3.89
8.91/3.90 num=41, depth=24..47, filters=148359, revisions=(373662,useless=259683), ccks=417364, wck=1.131, mem=72M551
8.91/3.90 decisions=3848, wrong=965, backtracks=224, failedAssignments=785, nogoods=413, foundSolutions=5, bestBound=6
8.91/3.90 nFilterCalls=94030, avgTableProportion=0.8303317878968419, avgTableSize=5.149984047644369
8.91/3.90
8.91/3.93 num=42, depth=28..47, filters=158373, revisions=(391862,useless=270341), ccks=440826, wck=1.152, mem=72M551
8.91/3.93 decisions=4025, wrong=1033, backtracks=236, failedAssignments=846, nogoods=430, foundSolutions=5, bestBound=6
8.91/3.93 nFilterCalls=98978, avgTableProportion=0.8303168741689646, avgTableSize=5.146355755824526
8.91/3.93
8.91/3.95 num=43, depth=38..43, filters=170790, revisions=(416550,useless=285648), ccks=472481, wck=1.178, mem=72M551
8.91/3.95 decisions=4235, wrong=1118, backtracks=259, failedAssignments=913, nogoods=451, foundSolutions=5, bestBound=6
8.91/3.95 nFilterCalls=105834, avgTableProportion=0.8299354994695199, avgTableSize=5.129003911786382
8.91/3.95
8.91/3.98 num=44, depth=35..55, filters=187478, revisions=(446412,useless=301568), ccks=503984, wck=1.208, mem=72M551
8.91/3.98 decisions=4457, wrong=1206, backtracks=277, failedAssignments=987, nogoods=472, foundSolutions=5, bestBound=6
8.91/3.98 nFilterCalls=113568, avgTableProportion=0.8292665054604029, avgTableSize=5.11197696534235
8.91/3.98
8.91/4.00 num=45, depth=12..49, filters=195793, revisions=(465987,useless=314421), ccks=522605, wck=1.227, mem=72M551
8.91/4.00 decisions=4680, wrong=1300, backtracks=292, failedAssignments=1068, nogoods=496, foundSolutions=5, bestBound=6
8.91/4.00 nFilterCalls=118299, avgTableProportion=0.8291295516062044, avgTableSize=5.1093753962417265
8.91/4.00
9.02/4.04 num=46, depth=41..53, filters=215383, revisions=(506523,useless=340496), ccks=564382, wck=1.267, mem=75M142
9.02/4.04 decisions=4974, wrong=1422, backtracks=328, failedAssignments=1157, nogoods=522, foundSolutions=5, bestBound=6
9.02/4.04 nFilterCalls=128544, avgTableProportion=0.8285391655162605, avgTableSize=5.081979711227284
9.02/4.04
9.02/4.09 num=47, depth=31..46, filters=244025, revisions=(548929,useless=360251), ccks=619292, wck=1.316, mem=75M142
9.02/4.09 decisions=5249, wrong=1541, backtracks=360, failedAssignments=1255, nogoods=528, foundSolutions=5, bestBound=6
9.02/4.09 nFilterCalls=142082, avgTableProportion=0.8276865773692313, avgTableSize=5.047226249630495
9.02/4.09
9.14/4.12 num=48, depth=0..39, filters=256112, revisions=(574079,useless=376659), ccks=653635, wck=1.345, mem=75M142
9.14/4.12 decisions=5539, wrong=1669, backtracks=384, failedAssignments=1363, nogoods=533, foundSolutions=5, bestBound=6
9.14/4.12 nFilterCalls=148331, avgTableProportion=0.8279671012485429, avgTableSize=5.055996386460012
9.14/4.12
9.14/4.18 num=49, depth=12..31, filters=290015, revisions=(627614,useless=404027), ccks=742304, wck=1.405, mem=77M732
9.14/4.18 decisions=5931, wrong=1854, backtracks=472, failedAssignments=1482, nogoods=545, foundSolutions=5, bestBound=6
9.14/4.18 nFilterCalls=165302, avgTableProportion=0.828153129731072, avgTableSize=5.06786366771122
9.14/4.18
9.23/4.26 num=50, depth=12..35, filters=335729, revisions=(695897,useless=437521), ccks=871600, wck=1.485, mem=80M323
9.23/4.26 decisions=6420, wrong=2090, backtracks=615, failedAssignments=1613, nogoods=551, foundSolutions=5, bestBound=6
9.23/4.26 nFilterCalls=188915, avgTableProportion=0.8290516584048823, avgTableSize=5.099494481645184
9.23/4.26
9.36/4.34 num=51, depth=17..37, filters=377241, revisions=(761327,useless=470221), ccks=977619, wck=1.564, mem=82M913
9.36/4.34 decisions=6814, wrong=2273, backtracks=673, failedAssignments=1757, nogoods=559, foundSolutions=5, bestBound=6
9.36/4.34 nFilterCalls=209648, avgTableProportion=0.8287914780655647, avgTableSize=5.092068610241929
9.36/4.34
9.46/4.41 num=52, depth=18..38, filters=414877, revisions=(828551,useless=504538), ccks=1092835, wck=1.636, mem=85M504
9.46/4.41 decisions=7242, wrong=2474, backtracks=734, failedAssignments=1915, nogoods=573, foundSolutions=5, bestBound=6
9.46/4.41 nFilterCalls=231294, avgTableProportion=0.8294570875976776, avgTableSize=5.131032365733655
9.46/4.41
9.57/4.51 num=53, depth=17..36, filters=477338, revisions=(920509,useless=547872), ccks=1243282, wck=1.736, mem=88M94
9.57/4.51 decisions=7775, wrong=2727, backtracks=847, failedAssignments=2089, nogoods=595, foundSolutions=5, bestBound=6
9.57/4.51 nFilterCalls=260446, avgTableProportion=0.8293026589662912, avgTableSize=5.122651144575075
9.57/4.51
9.67/4.62 num=54, depth=19..42, filters=543626, revisions=(1036406,useless=610508), ccks=1432546, wck=1.851, mem=90M684
9.67/4.62 decisions=8355, wrong=3002, backtracks=957, failedAssignments=2280, nogoods=602, foundSolutions=5, bestBound=6
9.67/4.62 nFilterCalls=295993, avgTableProportion=0.8303109940539739, avgTableSize=5.167402607494096
9.67/4.62
9.83/4.75 num=55, depth=19..34, filters=617581, revisions=(1143366,useless=664042), ccks=1603122, wck=1.973, mem=95M865
9.83/4.75 decisions=8976, wrong=3299, backtracks=1092, failedAssignments=2491, nogoods=628, foundSolutions=5, bestBound=6
9.83/4.75 nFilterCalls=331840, avgTableProportion=0.8300712250385298, avgTableSize=5.153375120540019
9.83/4.75
9.95/4.86 num=56, depth=24..38, filters=689018, revisions=(1246459,useless=711095), ccks=1797871, wck=2.085, mem=98M456
9.95/4.86 decisions=9584, wrong=3589, backtracks=1157, failedAssignments=2723, nogoods=640, foundSolutions=5, bestBound=6
9.95/4.86 nFilterCalls=365395, avgTableProportion=0.8304254473877402, avgTableSize=5.163696821248238
9.95/4.86
10.08/4.97 num=57, depth=24..37, filters=754871, revisions=(1350396,useless=763635), ccks=1959813, wck=2.199, mem=103M637
10.08/4.97 decisions=10272, wrong=3921, backtracks=1247, failedAssignments=2978, nogoods=644, foundSolutions=5, bestBound=6
10.08/4.97 nFilterCalls=397510, avgTableProportion=0.8306241581991431, avgTableSize=5.168614626047144
10.08/4.97
10.22/5.04 num=58, depth=22..54, filters=789142, revisions=(1419104,useless=805457), ccks=2021606, wck=2.263, mem=103M637
10.22/5.04 decisions=10977, wrong=4257, backtracks=1314, failedAssignments=3259, nogoods=696, foundSolutions=5, bestBound=6
10.22/5.04 nFilterCalls=415227, avgTableProportion=0.8305349863863115, avgTableSize=5.1655913512367935
10.22/5.04
10.33/5.18 num=59, depth=33..46, filters=876320, revisions=(1556278,useless=876715), ccks=2239286, wck=2.408, mem=108M818
10.33/5.18 decisions=11758, wrong=4631, backtracks=1395, failedAssignments=3568, nogoods=703, foundSolutions=5, bestBound=6
10.33/5.18 nFilterCalls=459021, avgTableProportion=0.8312730029294543, avgTableSize=5.195555323176936
10.33/5.18
10.53/5.36 num=60, depth=0..37, filters=983018, revisions=(1726611,useless=970800), ccks=2494415, wck=2.582, mem=113M998
10.53/5.36 decisions=12746, wrong=5114, backtracks=1591, failedAssignments=3908, nogoods=715, foundSolutions=5, bestBound=6
10.53/5.36 nFilterCalls=514144, avgTableProportion=0.8306615546672369, avgTableSize=5.174031010767411
10.53/5.36
10.63/5.50 num=61, depth=28..40, filters=1063468, revisions=(1860281,useless=1046457), ccks=2675910, wck=2.721, mem=116M589
10.63/5.50 decisions=13703, wrong=5577, backtracks=1713, failedAssignments=4282, nogoods=735, foundSolutions=5, bestBound=6
10.63/5.50 nFilterCalls=556611, avgTableProportion=0.8301382191209709, avgTableSize=5.152293073618739
10.63/5.50
10.83/5.67 num=62, depth=17..39, filters=1175791, revisions=(2024692,useless=1131234), ccks=2936815, wck=2.899, mem=121M770
10.83/5.67 decisions=14726, wrong=6076, backtracks=1893, failedAssignments=4693, nogoods=740, foundSolutions=5, bestBound=6
10.83/5.67 nFilterCalls=613042, avgTableProportion=0.830070443522682, avgTableSize=5.144689923365773
10.83/5.67
11.03/5.86 num=63, depth=27..40, filters=1281359, revisions=(2210019,useless=1236905), ccks=3167526, wck=3.083, mem=126M951
11.03/5.86 decisions=15933, wrong=6664, backtracks=2060, failedAssignments=5145, nogoods=747, foundSolutions=5, bestBound=6
11.03/5.86 nFilterCalls=667574, avgTableProportion=0.8297887152932221, avgTableSize=5.12956616045562
11.03/5.86
11.25/6.04 num=64, depth=0..41, filters=1385231, revisions=(2369496,useless=1318729), ccks=3432440, wck=3.267, mem=129M541
11.25/6.04 decisions=17204, wrong=7285, backtracks=2224, failedAssignments=5642, nogoods=796, foundSolutions=5, bestBound=6
11.25/6.04 nFilterCalls=719207, avgTableProportion=0.8299941584681622, avgTableSize=5.13468723190959
11.25/6.04
11.45/6.23 num=65, depth=25..47, filters=1495611, revisions=(2539643,useless=1408167), ccks=3690836, wck=3.456, mem=137M312
11.45/6.23 decisions=18553, wrong=7940, backtracks=2387, failedAssignments=6189, nogoods=809, foundSolutions=5, bestBound=6
11.45/6.23 nFilterCalls=775222, avgTableProportion=0.8299793186750024, avgTableSize=5.133325679611776
11.45/6.23
11.65/6.45 num=66, depth=6..37, filters=1632212, revisions=(2742705,useless=1506141), ccks=3991809, wck=3.679, mem=142M493
11.65/6.45 decisions=19979, wrong=8639, backtracks=2513, failedAssignments=6791, nogoods=830, foundSolutions=5, bestBound=6
11.65/6.45 nFilterCalls=838799, avgTableProportion=0.8298385477933387, avgTableSize=5.127088849652897
11.65/6.45
11.96/6.75 num=67, depth=15..30, filters=1804005, revisions=(3032000,useless=1677977), ccks=4374357, wck=3.976, mem=150M265
11.96/6.75 decisions=21935, wrong=9605, backtracks=2896, failedAssignments=7453, nogoods=898, foundSolutions=5, bestBound=6
11.96/6.75 nFilterCalls=928171, avgTableProportion=0.82980069927536, avgTableSize=5.114950801091609
11.96/6.75
12.27/7.02 num=68, depth=6..39, filters=1952402, revisions=(3281063,useless=1805105), ccks=4777681, wck=4.245, mem=158M36
12.27/7.02 decisions=23724, wrong=10486, backtracks=3114, failedAssignments=8181, nogoods=930, foundSolutions=5, bestBound=6
12.27/7.02 nFilterCalls=1000340, avgTableProportion=0.8295456092628031, avgTableSize=5.106218885578903
12.27/7.02
12.57/7.36 num=69, depth=20..38, filters=2163656, revisions=(3592069,useless=1955327), ccks=5278410, wck=4.586, mem=168M398
12.57/7.36 decisions=25614, wrong=11421, backtracks=3372, failedAssignments=8982, nogoods=956, foundSolutions=5, bestBound=6
12.57/7.36 nFilterCalls=1103702, avgTableProportion=0.83018883160522, avgTableSize=5.132076411930032
12.57/7.36
12.97/7.71 num=70, depth=20..39, filters=2369498, revisions=(3912799,useless=2119291), ccks=5769790, wck=4.933, mem=178M760
12.97/7.71 decisions=28027, wrong=12614, backtracks=3837, failedAssignments=9863, nogoods=979, foundSolutions=5, bestBound=6
12.97/7.71 nFilterCalls=1205052, avgTableProportion=0.8306028040712438, avgTableSize=5.1491470907479515
12.97/7.71
13.42/8.19 num=71, depth=20..34, filters=2668092, revisions=(4363755,useless=2349268), ccks=6454783, wck=5.421, mem=63M657
13.42/8.19 decisions=30581, wrong=13880, backtracks=4400, failedAssignments=10833, nogoods=994, foundSolutions=5, bestBound=6
13.42/8.19 nFilterCalls=1351184, avgTableProportion=0.8305802875488607, avgTableSize=5.14828180321851
13.42/8.19
13.91/8.60 num=72, depth=25..43, filters=2909658, revisions=(4737575,useless=2541793), ccks=7065537, wck=5.824, mem=74M54
13.91/8.60 decisions=33219, wrong=15182, backtracks=4702, failedAssignments=11900, nogoods=1023, foundSolutions=5, bestBound=6
13.91/8.60 nFilterCalls=1468960, avgTableProportion=0.8308895387474499, avgTableSize=5.16321819518571
13.91/8.60
14.51/9.26 num=73, depth=10..29, filters=3331420, revisions=(5358165,useless=2839038), ccks=8180649, wck=6.489, mem=97M449
14.51/9.26 decisions=36155, wrong=16643, backtracks=5112, failedAssignments=13073, nogoods=1033, foundSolutions=5, bestBound=6
14.51/9.26 nFilterCalls=1674431, avgTableProportion=0.8306414840656545, avgTableSize=5.1663586018175724
14.51/9.26
15.11/9.84 num=74, depth=8..32, filters=3673972, revisions=(5893123,useless=3103800), ccks=9139619, wck=7.067, mem=115M644
15.11/9.84 decisions=39560, wrong=18338, backtracks=5720, failedAssignments=14364, nogoods=1064, foundSolutions=5, bestBound=6
15.11/9.84 nFilterCalls=1842147, avgTableProportion=0.8306597001288082, avgTableSize=5.172452035586737
15.11/9.84
15.91/10.61 num=75, depth=8..33, filters=4132653, revisions=(6614622,useless=3463130), ccks=10456873, wck=7.832, mem=141M638
15.91/10.61 decisions=43219, wrong=20162, backtracks=6354, failedAssignments=15784, nogoods=1095, foundSolutions=5, bestBound=6
15.91/10.61 nFilterCalls=2074336, avgTableProportion=0.8309673327671996, avgTableSize=5.190491800749734
15.91/10.61
16.31/11.03 num=76, depth=16..58, filters=4373753, revisions=(7041443,useless=3705101), ccks=11027394, wck=8.255, mem=152M35
16.31/11.03 decisions=47274, wrong=22174, backtracks=6929, failedAssignments=17346, nogoods=1139, foundSolutions=5, bestBound=6
16.31/11.03 nFilterCalls=2193528, avgTableProportion=0.8311177813138427, avgTableSize=5.198612919461252
16.31/11.03
17.01/11.75 num=77, depth=18..38, filters=4789195, revisions=(7694945,useless=4041781), ccks=12158659, wck=8.978, mem=172M830
17.01/11.75 decisions=51451, wrong=24252, backtracks=7445, failedAssignments=19064, nogoods=1151, foundSolutions=5, bestBound=6
17.01/11.75 nFilterCalls=2408530, avgTableProportion=0.8308540348903356, avgTableSize=5.191381465042993
17.01/11.75
17.31/12.07 num=78, depth=11..41, filters=4934474, revisions=(7983238,useless=4218879), ccks=12444255, wck=9.296, mem=178M29
17.31/12.07 decisions=55609, wrong=26321, backtracks=7690, failedAssignments=20954, nogoods=1202, foundSolutions=5, bestBound=6
17.31/12.07 nFilterCalls=2478828, avgTableProportion=0.8310280833313669, avgTableSize=5.196043452793013
17.31/12.07
18.07/12.78 num=79, depth=20..35, filters=5335835, revisions=(8648417,useless=4561973), ccks=13287514, wck=10.004, mem=62M594
18.07/12.78 decisions=60134, wrong=28572, backtracks=7927, failedAssignments=23033, nogoods=1238, foundSolutions=5, bestBound=6
18.07/12.78 nFilterCalls=2672779, avgTableProportion=0.8310203629290533, avgTableSize=5.194002571854987
18.07/12.78
18.87/13.56 num=80, depth=16..31, filters=5776903, revisions=(9367318,useless=4957119), ccks=14178860, wck=10.781, mem=83M932
18.87/13.56 decisions=65465, wrong=31227, backtracks=8512, failedAssignments=25320, nogoods=1264, foundSolutions=5, bestBound=6
18.87/13.56 nFilterCalls=2899204, avgTableProportion=0.8304390818811963, avgTableSize=5.1709945212548
18.87/13.56
19.97/14.64 num=81, depth=2..33, filters=6430866, revisions=(10398227,useless=5459462), ccks=15712924, wck=11.864, mem=115M969
19.97/14.64 decisions=71284, wrong=34126, backtracks=9141, failedAssignments=27836, nogoods=1296, foundSolutions=5, bestBound=6
19.97/14.64 nFilterCalls=3211376, avgTableProportion=0.83069043346108, avgTableSize=5.177669323056534
19.97/14.64
21.07/15.78 num=82, depth=2..37, filters=7093593, revisions=(11459148,useless=6023998), ccks=17437942, wck=13.008, mem=148M6
21.07/15.78 decisions=78032, wrong=37488, backtracks=9910, failedAssignments=30604, nogoods=1323, foundSolutions=5, bestBound=6
21.07/15.78 nFilterCalls=3546711, avgTableProportion=0.830657521593721, avgTableSize=5.175206268568259
21.07/15.78
22.27/16.96 num=83, depth=2..45, filters=7774366, revisions=(12535392,useless=6591631), ccks=19127512, wck=14.181, mem=184M48
22.27/16.96 decisions=85680, wrong=41300, backtracks=11058, failedAssignments=33648, nogoods=1351, foundSolutions=5, bestBound=6
22.27/16.96 nFilterCalls=3889754, avgTableProportion=0.8306881005664746, avgTableSize=5.177275992260693
22.27/16.96
23.67/18.34 num=84, depth=2..41, filters=8565519, revisions=(13811401,useless=7220525), ccks=21338986, wck=15.567, mem=224M94
23.67/18.34 decisions=93497, wrong=45199, backtracks=11742, failedAssignments=36997, nogoods=1367, foundSolutions=5, bestBound=6
23.67/18.34 nFilterCalls=4272772, avgTableProportion=0.8308167448769221, avgTableSize=5.179545503481113
23.67/18.34
24.98/19.68 num=85, depth=17..41, filters=9330874, revisions=(15022628,useless=7849363), ccks=23144498, wck=16.908, mem=260M136
24.98/19.68 decisions=102261, wrong=49570, backtracks=12816, failedAssignments=40681, nogoods=1396, foundSolutions=5, bestBound=6
24.98/19.68 nFilterCalls=4655139, avgTableProportion=0.8305519920001283, avgTableSize=5.1668160714427644
24.98/19.68
26.33/20.96 num=86, depth=0..38, filters=9995424, revisions=(16175333,useless=8475810), ccks=24695077, wck=18.185, mem=91M670
26.33/20.96 decisions=111842, wrong=54347, backtracks=13868, failedAssignments=44733, nogoods=1420, foundSolutions=5, bestBound=6
26.33/20.96 nFilterCalls=4983488, avgTableProportion=0.830404742521233, avgTableSize=5.157391770583174
26.33/20.96
27.94/22.54 num=87, depth=1..31, filters=10882734, revisions=(17598950,useless=9221499), ccks=26908778, wck=19.763, mem=137M156
27.94/22.54 decisions=122461, wrong=59646, backtracks=15166, failedAssignments=49190, nogoods=1442, foundSolutions=5, bestBound=6
27.94/22.54 nFilterCalls=5426560, avgTableProportion=0.8303008018066158, avgTableSize=5.15422901432952
27.94/22.54
29.13/23.76 num=88, depth=5..60, filters=11556033, revisions=(18907570,useless=10014727), ccks=28240176, wck=20.988, mem=161M967
29.13/23.76 decisions=134349, wrong=65572, backtracks=16655, failedAssignments=54093, nogoods=1485, foundSolutions=5, bestBound=6
29.13/23.76 nFilterCalls=5778984, avgTableProportion=0.8304835209312409, avgTableSize=5.159499143794134
29.13/23.76
31.57/26.13 num=89, depth=9..39, filters=12967954, revisions=(21370957,useless=11352108), ccks=31185837, wck=23.353, mem=219M858
31.57/26.13 decisions=148288, wrong=72531, backtracks=18948, failedAssignments=59487, nogoods=1508, foundSolutions=5, bestBound=6
31.57/26.13 nFilterCalls=6463670, avgTableProportion=0.8290968630627946, avgTableSize=5.10368196396165
31.57/26.13
32.87/27.45 num=90, depth=8..42, filters=13702451, revisions=(22840237,useless=12259473), ccks=32540295, wck=24.672, mem=244M668
32.87/27.45 decisions=162171, wrong=79461, backtracks=20171, failedAssignments=65420, nogoods=1551, foundSolutions=5, bestBound=6
32.87/27.45 nFilterCalls=6843895, avgTableProportion=0.8295984016380098, avgTableSize=5.12153108719523
32.87/27.45
34.63/29.20 num=91, depth=12..39, filters=14673737, revisions=(24528857,useless=13206715), ccks=34598442, wck=26.422, mem=82M229
34.63/29.20 decisions=177211, wrong=86968, backtracks=21800, failedAssignments=71946, nogoods=1613, foundSolutions=5, bestBound=6
34.63/29.20 nFilterCalls=7329098, avgTableProportion=0.8298849118089864, avgTableSize=5.132924815577579
34.63/29.20
38.84/33.32 num=92, depth=8..32, filters=17264251, revisions=(28298881,useless=15080478), ccks=40889284, wck=30.543, mem=212M249
38.84/33.32 decisions=199536, wrong=98123, backtracks=27788, failedAssignments=79125, nogoods=1625, foundSolutions=5, bestBound=6
38.84/33.32 nFilterCalls=8669668, avgTableProportion=0.8291599251748486, avgTableSize=5.096656181067141
38.84/33.32
40.54/35.03 num=93, depth=13..57, filters=18228804, revisions=(30245642,useless=16268035), ccks=42558605, wck=32.252, mem=247M709
40.54/35.03 decisions=218052, wrong=107363, backtracks=29471, failedAssignments=87022, nogoods=1703, foundSolutions=5, bestBound=6
40.54/35.03 nFilterCalls=9159830, avgTableProportion=0.8297339300757673, avgTableSize=5.119743925378528
40.54/35.03
44.29/38.72 o 5
44.29/38.75 num=94, depth=15..1409, filters=20531559, revisions=(33614002,useless=17926908), ccks=48426266, wck=35.981, mem=70M532
44.29/38.75 decisions=236800, wrong=116713, backtracks=34972, failedAssignments=92576, nogoods=1739, foundSolutions=6, bestBound=5
44.29/38.75 nFilterCalls=10375030, avgTableProportion=0.8292508545499518, avgTableSize=5.095238857140654
44.29/38.75
46.90/41.16 num=95, depth=0..37, filters=21951151, revisions=(35891146,useless=19033712), ccks=50996692, wck=38.388, mem=135M679
46.90/41.16 decisions=257587, wrong=127101, backtracks=36250, failedAssignments=102131, nogoods=1798, foundSolutions=6, bestBound=5
46.90/41.16 nFilterCalls=10991513, avgTableProportion=0.8289208369457581, avgTableSize=5.080318696798157
46.90/41.16
46.90/41.17 num=96, depth=9..18, filters=21955626, revisions=(35898011,useless=19037322), ccks=51008859, wck=38.396, mem=135M679
46.90/41.17 decisions=257635, wrong=127119, backtracks=36261, failedAssignments=102142, nogoods=1802, foundSolutions=6, bestBound=5
46.90/41.17 nFilterCalls=10994019, avgTableProportion=0.8289205365098956, avgTableSize=5.080302207955071
46.90/41.17
46.90/41.18 num=97, depth=3..29, filters=21959472, revisions=(35905563,useless=19041935), ccks=51020362, wck=38.405, mem=135M679
46.90/41.18 decisions=257696, wrong=127138, backtracks=36270, failedAssignments=102154, nogoods=1811, foundSolutions=6, bestBound=5
46.90/41.18 nFilterCalls=10996064, avgTableProportion=0.8289212588790695, avgTableSize=5.080327197077064
46.90/41.18
46.90/41.19 num=98, depth=5..27, filters=21962526, revisions=(35911835,useless=19045711), ccks=51029129, wck=38.412, mem=135M679
46.90/41.19 decisions=257747, wrong=127152, backtracks=36271, failedAssignments=102167, nogoods=1824, foundSolutions=6, bestBound=5
46.90/41.19 nFilterCalls=10997669, avgTableProportion=0.8289208408639989, avgTableSize=5.0803097456379165
46.90/41.19
46.90/41.19 num=99, depth=5..27, filters=21965911, revisions=(35918533,useless=19049634), ccks=51038179, wck=38.42, mem=135M679
46.90/41.19 decisions=257800, wrong=127167, backtracks=36272, failedAssignments=102181, nogoods=1838, foundSolutions=6, bestBound=5
46.90/41.19 nFilterCalls=10999391, avgTableProportion=0.8289203313750358, avgTableSize=5.080288263232028
46.90/41.19
46.99/41.20 num=100, depth=5..27, filters=21970001, revisions=(35926662,useless=19054542), ccks=51049579, wck=38.429, mem=135M679
46.99/41.20 decisions=257860, wrong=127186, backtracks=36275, failedAssignments=102197, nogoods=1854, foundSolutions=6, bestBound=5
46.99/41.20 nFilterCalls=11001611, avgTableProportion=0.8289199255578457, avgTableSize=5.080268880621211
46.99/41.20
46.99/41.21 num=101, depth=22..26, filters=21973198, revisions=(35933075,useless=19058392), ccks=51058065, wck=38.437, mem=135M679
46.99/41.21 decisions=257921, wrong=127205, backtracks=36277, failedAssignments=102214, nogoods=1871, foundSolutions=6, bestBound=5
46.99/41.21 nFilterCalls=11003303, avgTableProportion=0.82891934813622, avgTableSize=5.080242541716792
46.99/41.21
46.99/41.22 num=102, depth=9..31, filters=21977811, revisions=(35942657,useless=19064485), ccks=51070835, wck=38.447, mem=135M679
46.99/41.22 decisions=258001, wrong=127234, backtracks=36293, failedAssignments=102233, nogoods=1878, foundSolutions=6, bestBound=5
46.99/41.22 nFilterCalls=11005842, avgTableProportion=0.8289190318869649, avgTableSize=5.0802304812298775
46.99/41.22
46.99/41.23 num=103, depth=4..32, filters=21980247, revisions=(35947628,useless=19067516), ccks=51078236, wck=38.454, mem=135M679
46.99/41.23 decisions=258072, wrong=127257, backtracks=36299, failedAssignments=102254, nogoods=1889, foundSolutions=6, bestBound=5
46.99/41.23 nFilterCalls=11007089, avgTableProportion=0.8289200841914033, avgTableSize=5.080274630285992
46.99/41.23
46.99/41.24 num=104, depth=4..28, filters=21986810, revisions=(35960302,useless=19075045), ccks=51095653, wck=38.469, mem=135M679
46.99/41.24 decisions=258154, wrong=127287, backtracks=36308, failedAssignments=102277, nogoods=1896, foundSolutions=6, bestBound=5
46.99/41.24 nFilterCalls=11010603, avgTableProportion=0.8289173051443464, avgTableSize=5.080162730415401
46.99/41.24
46.99/41.25 num=105, depth=22..25, filters=21991518, revisions=(35969276,useless=19080291), ccks=51107947, wck=38.48, mem=135M679
46.99/41.25 decisions=258230, wrong=127313, backtracks=36309, failedAssignments=102302, nogoods=1918, foundSolutions=6, bestBound=5
46.99/41.25 nFilterCalls=11013053, avgTableProportion=0.8289165923019419, avgTableSize=5.080126192074078
46.99/41.25
46.99/41.27 num=106, depth=21..25, filters=21997351, revisions=(35980991,useless=19087397), ccks=51122628, wck=38.493, mem=135M679
46.99/41.27 decisions=258319, wrong=127347, backtracks=36316, failedAssignments=102330, nogoods=1919, foundSolutions=6, bestBound=5
46.99/41.27 nFilterCalls=11016083, avgTableProportion=0.8289148014308562, avgTableSize=5.080053409183646
46.99/41.27
46.99/41.28 num=107, depth=4..25, filters=22005300, revisions=(35995734,useless=19095994), ccks=51143338, wck=38.508, mem=135M679
46.99/41.28 decisions=258422, wrong=127389, backtracks=36329, failedAssignments=102361, nogoods=1935, foundSolutions=6, bestBound=5
46.99/41.28 nFilterCalls=11020245, avgTableProportion=0.8289119829394909, avgTableSize=5.079940963200001
46.99/41.28
47.12/41.30 num=108, depth=21..26, filters=22016331, revisions=(36015933,useless=19107096), ccks=51168530, wck=38.528, mem=135M679
47.12/41.30 decisions=258530, wrong=127431, backtracks=36337, failedAssignments=102395, nogoods=1950, foundSolutions=6, bestBound=5
47.12/41.30 nFilterCalls=11025578, avgTableProportion=0.8289043074696159, avgTableSize=5.079686162485087
47.12/41.30
47.12/41.32 num=109, depth=21..26, filters=22025187, revisions=(36032858,useless=19116805), ccks=51190727, wck=38.545, mem=135M679
47.12/41.32 decisions=258645, wrong=127477, backtracks=36349, failedAssignments=102432, nogoods=1961, foundSolutions=6, bestBound=5
47.12/41.32 nFilterCalls=11030045, avgTableProportion=0.828900717449878, avgTableSize=5.079546547634211
47.12/41.32
47.12/41.34 num=110, depth=18..27, filters=22035649, revisions=(36050656,useless=19126352), ccks=51216689, wck=38.564, mem=141M601
47.12/41.34 decisions=258775, wrong=127532, backtracks=36367, failedAssignments=102473, nogoods=1974, foundSolutions=6, bestBound=5
47.12/41.34 nFilterCalls=11035178, avgTableProportion=0.8289008537959509, avgTableSize=5.079536188723009
47.12/41.34
47.12/41.35 num=111, depth=7..27, filters=22041348, revisions=(36061864,useless=19132563), ccks=51233094, wck=38.577, mem=141M601
47.12/41.35 decisions=258892, wrong=127585, backtracks=36392, failedAssignments=102518, nogoods=1988, foundSolutions=6, bestBound=5
47.12/41.35 nFilterCalls=11038086, avgTableProportion=0.8289030389401646, avgTableSize=5.079604199496181
47.12/41.35
47.12/41.38 num=112, depth=4..33, filters=22054769, revisions=(36087299,useless=19148692), ccks=51266351, wck=38.602, mem=141M601
47.12/41.38 decisions=259073, wrong=127662, backtracks=36423, failedAssignments=102568, nogoods=2005, foundSolutions=6, bestBound=5
47.12/41.38 nFilterCalls=11045301, avgTableProportion=0.8289001974579433, avgTableSize=5.079494891085359
47.12/41.38
47.22/41.41 num=113, depth=6..16, filters=22071663, revisions=(36114173,useless=19163148), ccks=51313268, wck=38.632, mem=141M601
47.22/41.41 decisions=259287, wrong=127765, backtracks=36482, failedAssignments=102623, nogoods=2012, foundSolutions=6, bestBound=5
47.22/41.41 nFilterCalls=11054385, avgTableProportion=0.8288998645416743, avgTableSize=5.079452362116934
47.22/41.41
47.22/41.43 num=114, depth=5..9, filters=22084853, revisions=(36138476,useless=19176932), ccks=51352716, wck=38.657, mem=141M601
47.22/41.43 decisions=259457, wrong=127847, backtracks=36507, failedAssignments=102684, nogoods=2023, foundSolutions=6, bestBound=5
47.22/41.43 nFilterCalls=11060881, avgTableProportion=0.8289031908478414, avgTableSize=5.079536521548329
47.22/41.43
47.22/41.46 num=115, depth=19..28, filters=22101786, revisions=(36167171,useless=19193551), ccks=51391003, wck=38.687, mem=141M601
47.22/41.46 decisions=259681, wrong=127946, backtracks=36545, failedAssignments=102751, nogoods=2038, foundSolutions=6, bestBound=5
47.22/41.46 nFilterCalls=11069504, avgTableProportion=0.8288983563094864, avgTableSize=5.079354775064899
47.22/41.46
47.32/41.50 num=116, depth=6..15, filters=22122538, revisions=(36201419,useless=19213195), ccks=51446080, wck=38.724, mem=141M601
47.32/41.50 decisions=259933, wrong=128068, backtracks=36603, failedAssignments=102825, nogoods=2042, foundSolutions=6, bestBound=5
47.32/41.50 nFilterCalls=11080988, avgTableProportion=0.8288978585609986, avgTableSize=5.07929076360339
47.32/41.50
47.32/41.53 num=117, depth=18..23, filters=22140000, revisions=(36231864,useless=19229963), ccks=51485208, wck=38.756, mem=147M523
47.32/41.53 decisions=260134, wrong=128159, backtracks=36617, failedAssignments=102906, nogoods=2050, foundSolutions=6, bestBound=5
47.32/41.53 nFilterCalls=11089739, avgTableProportion=0.8288890428328437, avgTableSize=5.078944599147014
47.32/41.53
47.32/41.56 num=118, depth=22..26, filters=22158114, revisions=(36262584,useless=19246184), ccks=51524091, wck=38.789, mem=147M523
47.32/41.56 decisions=260352, wrong=128256, backtracks=36627, failedAssignments=102995, nogoods=2071, foundSolutions=6, bestBound=5
47.32/41.56 nFilterCalls=11098433, avgTableProportion=0.8288777573999481, avgTableSize=5.078573885160185
47.32/41.56
47.43/41.60 num=119, depth=22..25, filters=22180327, revisions=(36301247,useless=19267121), ccks=51578283, wck=38.829, mem=147M523
47.43/41.60 decisions=260596, wrong=128367, backtracks=36643, failedAssignments=103093, nogoods=2081, foundSolutions=6, bestBound=5
47.43/41.60 nFilterCalls=11109591, avgTableProportion=0.8288714048025924, avgTableSize=5.078301442420337
47.43/41.60
47.43/41.65 num=120, depth=18..24, filters=22206076, revisions=(36343653,useless=19289790), ccks=51639243, wck=38.873, mem=147M523
47.43/41.65 decisions=260887, wrong=128502, backtracks=36676, failedAssignments=103201, nogoods=2096, foundSolutions=6, bestBound=5
47.43/41.65 nFilterCalls=11122129, avgTableProportion=0.8288711242962403, avgTableSize=5.078268648025931
47.43/41.65
47.43/41.67 num=121, depth=4..22, filters=22217796, revisions=(36364833,useless=19302386), ccks=51667676, wck=38.9, mem=147M523
47.43/41.67 decisions=261187, wrong=128646, backtracks=36709, failedAssignments=103320, nogoods=2109, foundSolutions=6, bestBound=5
47.43/41.67 nFilterCalls=11128157, avgTableProportion=0.8288676010035922, avgTableSize=5.078116529089228
47.43/41.67
47.53/41.72 num=122, depth=22..26, filters=22241311, revisions=(36412744,useless=19331113), ccks=51724175, wck=38.945, mem=148M780
47.53/41.72 decisions=261519, wrong=128801, backtracks=36740, failedAssignments=103451, nogoods=2116, foundSolutions=6, bestBound=5
47.53/41.72 nFilterCalls=11139895, avgTableProportion=0.8288558238808512, avgTableSize=5.077655040734226
47.53/41.72
47.53/41.78 num=123, depth=22..27, filters=22278010, revisions=(36475344,useless=19364098), ccks=51813494, wck=39.009, mem=154M702
47.53/41.78 decisions=261877, wrong=128968, backtracks=36768, failedAssignments=103595, nogoods=2137, foundSolutions=6, bestBound=5
47.53/41.78 nFilterCalls=11157619, avgTableProportion=0.8288452572401355, avgTableSize=5.077182237536521
47.53/41.78
47.63/41.84 num=124, depth=5..32, filters=22311245, revisions=(36533987,useless=19395558), ccks=51895200, wck=39.069, mem=154M702
47.63/41.84 decisions=262261, wrong=129148, backtracks=36800, failedAssignments=103753, nogoods=2149, foundSolutions=6, bestBound=5
47.63/41.84 nFilterCalls=11174064, avgTableProportion=0.8288343817216157, avgTableSize=5.076736718171651
47.63/41.84
47.73/41.90 num=125, depth=21..30, filters=22343202, revisions=(36594089,useless=19429479), ccks=51976806, wck=39.131, mem=154M702
47.73/41.90 decisions=262700, wrong=129355, backtracks=36845, failedAssignments=103927, nogoods=2155, foundSolutions=6, bestBound=5
47.73/41.90 nFilterCalls=11190158, avgTableProportion=0.8288238736376972, avgTableSize=5.0763107187583945
47.73/41.90
47.73/41.98 num=126, depth=21..28, filters=22383813, revisions=(36667917,useless=19471024), ccks=52065199, wck=39.202, mem=160M624
47.73/41.98 decisions=263169, wrong=129578, backtracks=36887, failedAssignments=104118, nogoods=2178, foundSolutions=6, bestBound=5
47.73/41.98 nFilterCalls=11210221, avgTableProportion=0.8287977262875785, avgTableSize=5.075340709161755
47.73/41.98
47.84/42.06 num=127, depth=22..28, filters=22429917, revisions=(36748504,useless=19514314), ccks=52168288, wck=39.283, mem=160M624
47.84/42.06 decisions=263679, wrong=129821, backtracks=36936, failedAssignments=104329, nogoods=2189, foundSolutions=6, bestBound=5
47.84/42.06 nFilterCalls=11232508, avgTableProportion=0.828776094007678, avgTableSize=5.074507313949832
47.84/42.06
47.95/42.14 num=128, depth=16..24, filters=22472868, revisions=(36824660,useless=19555471), ccks=52273850, wck=39.363, mem=160M624
47.95/42.14 decisions=264217, wrong=130080, backtracks=36974, failedAssignments=104561, nogoods=2202, foundSolutions=6, bestBound=5
47.95/42.14 nFilterCalls=11253624, avgTableProportion=0.82876546495544, avgTableSize=5.074023265749771
47.95/42.14
48.04/42.22 num=129, depth=16..25, filters=22515681, revisions=(36899717,useless=19593690), ccks=52389698, wck=39.444, mem=166M547
48.04/42.22 decisions=264807, wrong=130366, backtracks=37012, failedAssignments=104816, nogoods=2206, foundSolutions=6, bestBound=5
48.04/42.22 nFilterCalls=11274105, avgTableProportion=0.8287589853080187, avgTableSize=5.073736407457621
48.04/42.22
48.14/42.31 num=130, depth=14..26, filters=22562961, revisions=(36981194,useless=19638896), ccks=52496719, wck=39.532, mem=166M547
48.14/42.31 decisions=265462, wrong=130682, backtracks=37052, failedAssignments=105097, nogoods=2233, foundSolutions=6, bestBound=5
48.14/42.31 nFilterCalls=11297984, avgTableProportion=0.8287425311779428, avgTableSize=5.0731187086120855
48.14/42.31
48.24/42.41 num=131, depth=17..26, filters=22618702, revisions=(37082965,useless=19693826), ccks=52631967, wck=39.636, mem=166M547
48.24/42.41 decisions=266202, wrong=131042, backtracks=37128, failedAssignments=105406, nogoods=2247, foundSolutions=6, bestBound=5
48.24/42.41 nFilterCalls=11325169, avgTableProportion=0.8287391502913757, avgTableSize=5.0729227970019695
48.24/42.41
48.34/42.54 num=132, depth=14..24, filters=22691605, revisions=(37212803,useless=19762163), ccks=52804228, wck=39.765, mem=172M469
48.34/42.54 decisions=267003, wrong=131434, backtracks=37193, failedAssignments=105746, nogoods=2255, foundSolutions=6, bestBound=5
48.34/42.54 nFilterCalls=11358313, avgTableProportion=0.8287233779275036, avgTableSize=5.072260114684284
48.34/42.54
48.44/42.70 num=133, depth=17..25, filters=22780097, revisions=(37364986,useless=19839377), ccks=53054235, wck=39.922, mem=178M392
48.44/42.70 decisions=267889, wrong=131866, backtracks=37268, failedAssignments=106120, nogoods=2282, foundSolutions=6, bestBound=5
48.44/42.70 nFilterCalls=11401729, avgTableProportion=0.8287102045050355, avgTableSize=5.07157370605809
48.44/42.70
48.64/42.87 num=134, depth=14..24, filters=22879685, revisions=(37545282,useless=19938092), ccks=53310069, wck=40.1, mem=184M314
48.64/42.87 decisions=268927, wrong=132376, backtracks=37385, failedAssignments=106531, nogoods=2302, foundSolutions=6, bestBound=5
48.64/42.87 nFilterCalls=11451082, avgTableProportion=0.8286825876010084, avgTableSize=5.070494823109292
48.64/42.87
48.85/43.04 num=135, depth=18..24, filters=22976504, revisions=(37712111,useless=20029542), ccks=53539838, wck=40.27, mem=184M314
48.85/43.04 decisions=270025, wrong=132916, backtracks=37492, failedAssignments=106983, nogoods=2312, foundSolutions=6, bestBound=5
48.85/43.04 nFilterCalls=11499963, avgTableProportion=0.8286621600153269, avgTableSize=5.069635789262974
48.85/43.04
49.05/43.22 num=136, depth=16..25, filters=23071185, revisions=(37878943,useless=20117706), ccks=53779611, wck=40.444, mem=190M236
49.05/43.22 decisions=271195, wrong=133492, backtracks=37586, failedAssignments=107480, nogoods=2325, foundSolutions=6, bestBound=5
49.05/43.22 nFilterCalls=11545249, avgTableProportion=0.8286463323238162, avgTableSize=5.068957802469224
49.05/43.22
49.25/43.47 num=137, depth=17..24, filters=23219040, revisions=(38122109,useless=20236608), ccks=54175452, wck=40.696, mem=202M81
49.25/43.47 decisions=272484, wrong=134126, backtracks=37682, failedAssignments=108027, nogoods=2341, foundSolutions=6, bestBound=5
49.25/43.47 nFilterCalls=11615402, avgTableProportion=0.8286308432484004, avgTableSize=5.068046202791776
49.25/43.47
49.45/43.69 num=138, depth=18..26, filters=23341918, revisions=(38343057,useless=20361147), ccks=54463296, wck=40.916, mem=202M81
49.45/43.69 decisions=273985, wrong=134867, backtracks=37856, failedAssignments=108629, nogoods=2371, foundSolutions=6, bestBound=5
49.45/43.69 nFilterCalls=11676897, avgTableProportion=0.828580226841641, avgTableSize=5.066157815727928
49.45/43.69
49.75/43.91 num=139, depth=7..27, filters=23459977, revisions=(38545288,useless=20467623), ccks=54737625, wck=41.134, mem=208M4
49.75/43.91 decisions=275483, wrong=135607, backtracks=37961, failedAssignments=109291, nogoods=2387, foundSolutions=6, bestBound=5
49.75/43.91 nFilterCalls=11734611, avgTableProportion=0.8285542248856551, avgTableSize=5.065010761754267
49.75/43.91
49.96/44.16 num=140, depth=7..24, filters=23597359, revisions=(38787480,useless=20600098), ccks=55068060, wck=41.387, mem=213M926
49.96/44.16 decisions=277220, wrong=136467, backtracks=38135, failedAssignments=110019, nogoods=2418, foundSolutions=6, bestBound=5
49.96/44.16 nFilterCalls=11801436, avgTableProportion=0.8285146375638718, avgTableSize=5.063550147626103
49.96/44.16
50.35/44.51 num=141, depth=6..20, filters=23799413, revisions=(39109196,useless=20765231), ccks=55581001, wck=41.732, mem=225M771
50.35/44.51 decisions=279144, wrong=137425, backtracks=38355, failedAssignments=110820, nogoods=2466, foundSolutions=6, bestBound=5
50.35/44.51 nFilterCalls=11906886, avgTableProportion=0.8285039846444234, avgTableSize=5.063264316127659
50.35/44.51
50.65/44.86 num=142, depth=4..24, filters=24000782, revisions=(39438066,useless=20937598), ccks=56113558, wck=42.082, mem=237M616
50.65/44.86 decisions=281342, wrong=138520, backtracks=38617, failedAssignments=111701, nogoods=2509, foundSolutions=6, bestBound=5
50.65/44.86 nFilterCalls=12007464, avgTableProportion=0.8285189537458125, avgTableSize=5.064208395711201
50.65/44.86
51.05/45.28 num=143, depth=0..25, filters=24234141, revisions=(39837571,useless=21155097), ccks=56806122, wck=42.504, mem=249M460
51.05/45.28 decisions=283873, wrong=139782, backtracks=38980, failedAssignments=112671, nogoods=2540, foundSolutions=6, bestBound=5
51.05/45.28 nFilterCalls=12134715, avgTableProportion=0.8285625282361164, avgTableSize=5.066042177339971
51.05/45.28
51.55/45.79 num=144, depth=4..21, filters=24535926, revisions=(40340576,useless=21426254), ccks=57610653, wck=43.016, mem=261M305
51.55/45.79 decisions=286608, wrong=141143, backtracks=39323, failedAssignments=113738, nogoods=2567, foundSolutions=6, bestBound=5
51.55/45.79 nFilterCalls=12292515, avgTableProportion=0.8285676613253491, avgTableSize=5.066300752937865
51.55/45.79
51.96/46.13 num=145, depth=5..20, filters=24711181, revisions=(40640028,useless=21590085), ccks=58081656, wck=43.357, mem=267M228
51.96/46.13 decisions=289318, wrong=142492, backtracks=39571, failedAssignments=114911, nogoods=2575, foundSolutions=6, bestBound=5
51.96/46.13 nFilterCalls=12385754, avgTableProportion=0.8285785568509639, avgTableSize=5.066684757342992
51.96/46.13
52.45/46.66 num=146, depth=3..24, filters=24994894, revisions=(41176622,useless=21899514), ccks=58961101, wck=43.888, mem=284M995
52.45/46.66 decisions=292785, wrong=144220, backtracks=40075, failedAssignments=116202, nogoods=2606, foundSolutions=6, bestBound=5
52.45/46.66 nFilterCalls=12542557, avgTableProportion=0.8286113781708246, avgTableSize=5.0680646697479625
52.45/46.66
52.75/46.97 num=147, depth=0..34, filters=25147535, revisions=(41463522,useless=22060137), ccks=59281408, wck=44.195, mem=290M917
52.75/46.97 decisions=295997, wrong=145817, backtracks=40415, failedAssignments=117622, nogoods=2643, foundSolutions=6, bestBound=5
52.75/46.97 nFilterCalls=12621961, avgTableProportion=0.8286371568800981, avgTableSize=5.069398011925405
52.75/46.97
53.35/47.57 num=148, depth=7..24, filters=25482009, revisions=(42071718,useless=22410609), ccks=60098753, wck=44.797, mem=302M762
53.35/47.57 decisions=300012, wrong=147819, backtracks=41010, failedAssignments=119184, nogoods=2652, foundSolutions=6, bestBound=5
53.35/47.57 nFilterCalls=12800072, avgTableProportion=0.8286302563320929, avgTableSize=5.069051017838024
53.35/47.57
54.05/48.22 num=149, depth=8..27, filters=25852322, revisions=(42669400,useless=22711350), ccks=60953850, wck=45.444, mem=320M529
54.05/48.22 decisions=304055, wrong=149834, backtracks=41418, failedAssignments=120902, nogoods=2675, foundSolutions=6, bestBound=5
54.05/48.22 nFilterCalls=12978378, avgTableProportion=0.8285384551117607, avgTableSize=5.06590646381235
54.05/48.22
54.75/48.96 num=150, depth=8..32, filters=26281975, revisions=(43373685,useless=23068508), ccks=61955909, wck=46.184, mem=338M296
54.75/48.96 decisions=308576, wrong=152086, backtracks=41954, failedAssignments=122792, nogoods=2699, foundSolutions=6, bestBound=5
54.75/48.96 nFilterCalls=13188704, avgTableProportion=0.8284120688736261, avgTableSize=5.06141831676562
54.75/48.96
55.70/49.84 num=151, depth=16..31, filters=26774893, revisions=(44210253,useless=23534164), ccks=63277011, wck=47.068, mem=64M639
55.70/49.84 decisions=313778, wrong=154677, backtracks=42555, failedAssignments=124871, nogoods=2731, foundSolutions=6, bestBound=5
55.70/49.84 nFilterCalls=13467278, avgTableProportion=0.8283180481188124, avgTableSize=5.05800533708445
55.70/49.84
56.60/50.73 num=152, depth=4..29, filters=27287098, revisions=(45045030,useless=23952135), ccks=64489697, wck=47.952, mem=87M657
56.60/50.73 decisions=319118, wrong=157339, backtracks=43043, failedAssignments=127158, nogoods=2758, foundSolutions=6, bestBound=5
56.60/50.73 nFilterCalls=13711860, avgTableProportion=0.8282008059533758, avgTableSize=5.05368527683334
56.60/50.73
57.30/51.50 num=153, depth=4..27, filters=27709118, revisions=(45748878,useless=24320860), ccks=65484617, wck=48.722, mem=104M921
57.30/51.50 decisions=325013, wrong=160282, backtracks=43620, failedAssignments=129674, nogoods=2794, foundSolutions=6, bestBound=5
57.30/51.50 nFilterCalls=13924117, avgTableProportion=0.8281399742956699, avgTableSize=5.05144670933173
57.30/51.50
58.40/52.56 num=154, depth=6..31, filters=28320046, revisions=(46771379,useless=24853835), ccks=66883542, wck=49.787, mem=133M693
58.40/52.56 decisions=331506, wrong=163522, backtracks=44312, failedAssignments=132442, nogoods=2824, foundSolutions=6, bestBound=5
58.40/52.56 nFilterCalls=14227387, avgTableProportion=0.8279088033109141, avgTableSize=5.042413058701503
58.40/52.56
59.22/53.37 num=155, depth=4..25, filters=28750903, revisions=(47540222,useless=25285599), ccks=67877318, wck=50.592, mem=150M957
59.22/53.37 decisions=338861, wrong=167194, backtracks=45250, failedAssignments=135486, nogoods=2834, foundSolutions=6, bestBound=5
59.22/53.37 nFilterCalls=14447655, avgTableProportion=0.827858233593911, avgTableSize=5.040709997574001
59.22/53.37
59.92/54.09 num=156, depth=11..45, filters=29141366, revisions=(48312618,useless=25760540), ccks=68710724, wck=51.317, mem=168M221
59.92/54.09 decisions=346926, wrong=171215, backtracks=46107, failedAssignments=138835, nogoods=2877, foundSolutions=6, bestBound=5
59.92/54.09 nFilterCalls=14652981, avgTableProportion=0.827858599752054, avgTableSize=5.041533596474328
59.92/54.09
60.72/54.85 num=157, depth=15..33, filters=29548696, revisions=(49121011,useless=26245526), ccks=69434022, wck=52.08, mem=179M730
60.72/54.85 decisions=355546, wrong=175515, backtracks=46962, failedAssignments=142519, nogoods=2900, foundSolutions=6, bestBound=5
60.72/54.85 nFilterCalls=14867475, avgTableProportion=0.8279276979822178, avgTableSize=5.045019009616629
60.72/54.85
61.72/55.82 num=158, depth=17..35, filters=30072195, revisions=(50016683,useless=26728763), ccks=70462083, wck=53.048, mem=202M748
61.72/55.82 decisions=364714, wrong=180086, backtracks=47672, failedAssignments=146571, nogoods=2919, foundSolutions=6, bestBound=5
61.72/55.82 nFilterCalls=15128391, avgTableProportion=0.8280622582735212, avgTableSize=5.0513972702054035
61.72/55.82
63.32/57.45 num=159, depth=10..29, filters=31005628, revisions=(51555187,useless=27540287), ccks=72758847, wck=54.675, mem=248M785
63.32/57.45 decisions=375284, wrong=185363, backtracks=48752, failedAssignments=151028, nogoods=2976, foundSolutions=6, bestBound=5
63.32/57.45 nFilterCalls=15593098, avgTableProportion=0.8279068238944317, avgTableSize=5.046397066189156
63.32/57.45
65.32/59.45 num=160, depth=18..32, filters=32187311, revisions=(53474552,useless=28512774), ccks=75523317, wck=56.678, mem=300M576
65.32/59.45 decisions=386937, wrong=191179, backtracks=50083, failedAssignments=155931, nogoods=3004, foundSolutions=6, bestBound=5
65.32/59.45 nFilterCalls=16158426, avgTableProportion=0.8276887767127388, avgTableSize=5.0398348824322365
65.32/59.45
67.37/61.49 num=161, depth=20..37, filters=33324428, revisions=(55304397,useless=29446282), ccks=78219467, wck=58.718, mem=70M63
67.37/61.49 decisions=399628, wrong=197513, backtracks=51351, failedAssignments=161325, nogoods=3036, foundSolutions=6, bestBound=5
67.37/61.49 nFilterCalls=16709881, avgTableProportion=0.8275831101973206, avgTableSize=5.0359212611986885
67.37/61.49
69.47/63.60 num=162, depth=2..29, filters=34528770, revisions=(57252932,useless=30430283), ccks=81034283, wck=60.822, mem=126M121
69.47/63.60 decisions=413647, wrong=204518, backtracks=52840, failedAssignments=167258, nogoods=3076, foundSolutions=6, bestBound=5
69.47/63.60 nFilterCalls=17295370, avgTableProportion=0.8274876843302463, avgTableSize=5.032219200861271
69.47/63.60
72.17/66.20 num=163, depth=10..41, filters=36032954, revisions=(59741870,useless=31760055), ccks=84652284, wck=63.426, mem=193M390
72.17/66.20 decisions=429765, wrong=212568, backtracks=54729, failedAssignments=173784, nogoods=3090, foundSolutions=6, bestBound=5
72.17/66.20 nFilterCalls=18066007, avgTableProportion=0.8273110033006005, avgTableSize=5.025585454494731
72.17/66.20
73.77/67.81 num=164, depth=19..44, filters=36872594, revisions=(61308344,useless=32640445), ccks=86130832, wck=65.035, mem=227M24
73.77/67.81 decisions=445666, wrong=220507, backtracks=55835, failedAssignments=180963, nogoods=3165, foundSolutions=6, bestBound=5
73.77/67.81 nFilterCalls=18482390, avgTableProportion=0.8274356165295104, avgTableSize=5.029124967063242
73.77/67.81
76.08/70.12 num=165, depth=18..46, filters=38156024, revisions=(63543693,useless=33876178), ccks=88886836, wck=67.349, mem=283M82
76.08/70.12 decisions=464115, wrong=229716, backtracks=57526, failedAssignments=188860, nogoods=3267, foundSolutions=6, bestBound=5
76.08/70.12 nFilterCalls=19119685, avgTableProportion=0.8275120077700535, avgTableSize=5.031993204908972
76.08/70.12
78.72/72.79 num=166, depth=15..34, filters=39605241, revisions=(66024703,useless=35223622), ccks=92125378, wck=70.014, mem=69M821
78.72/72.79 decisions=484110, wrong=239704, backtracks=59488, failedAssignments=197547, nogoods=3300, foundSolutions=6, bestBound=5
78.72/72.79 nFilterCalls=19842385, avgTableProportion=0.82750031586723, avgTableSize=5.031328038438928
78.72/72.79
82.32/76.34 num=167, depth=4..29, filters=41632066, revisions=(69500691,useless=37136517), ccks=96892187, wck=73.569, mem=157M250
82.32/76.34 decisions=507768, wrong=251529, backtracks=62680, failedAssignments=207102, nogoods=3324, foundSolutions=6, bestBound=5
82.32/76.34 nFilterCalls=20880586, avgTableProportion=0.8272763190178124, avgTableSize=5.023648953147196
82.32/76.34
85.72/79.74 num=168, depth=4..35, filters=43534083, revisions=(72654760,useless=38750251), ccks=101352371, wck=76.968, mem=250M144
85.72/79.74 decisions=531982, wrong=263627, backtracks=64934, failedAssignments=217613, nogoods=3401, foundSolutions=6, bestBound=5
85.72/79.74 nFilterCalls=21796554, avgTableProportion=0.8271111340058633, avgTableSize=5.017816761310067
85.72/79.74
89.98/83.91 num=169, depth=8..29, filters=45909409, revisions=(76632380,useless=40876986), ccks=107162557, wck=81.137, mem=85M694
89.98/83.91 decisions=559930, wrong=277595, backtracks=68426, failedAssignments=229175, nogoods=3434, foundSolutions=6, bestBound=5
89.98/83.91 nFilterCalls=23006280, avgTableProportion=0.8271746612712532, avgTableSize=5.020203570503358
89.98/83.91
93.78/87.73 num=170, depth=15..37, filters=47989187, revisions=(80470970,useless=43046178), ccks=111741280, wck=84.958, mem=176M149
93.78/87.73 decisions=590263, wrong=292753, backtracks=71709, failedAssignments=241893, nogoods=3450, foundSolutions=6, bestBound=5
93.78/87.73 nFilterCalls=24040951, avgTableProportion=0.8272195578331356, avgTableSize=5.020387546233092
93.78/87.73
98.78/92.70 num=171, depth=2..28, filters=50837403, revisions=(85002460,useless=45285187), ccks=118168606, wck=89.924, mem=303M851
98.78/92.70 decisions=622230, wrong=308733, backtracks=74372, failedAssignments=255883, nogoods=3479, foundSolutions=6, bestBound=5
98.78/92.70 nFilterCalls=25419557, avgTableProportion=0.8269642668270205, avgTableSize=5.011119351922616
98.78/92.70
103.91/97.88 num=172, depth=15..38, filters=53566268, revisions=(89702821,useless=47797219), ccks=125080249, wck=95.108, mem=167M978
103.91/97.88 decisions=659193, wrong=327206, backtracks=78661, failedAssignments=271272, nogoods=3502, foundSolutions=6, bestBound=5
103.91/97.88 nFilterCalls=26800761, avgTableProportion=0.8268335243972944, avgTableSize=5.0062659041659305
103.91/97.88
106.38/100.26 o 4
106.38/100.29 num=173, depth=8..1409, filters=54864546, revisions=(91943857,useless=49005743), ccks=128201149, wck=97.514, mem=225M32
106.38/100.29 decisions=676570, wrong=335877, backtracks=80504, failedAssignments=278623, nogoods=3589, foundSolutions=7, bestBound=4
106.38/100.29 nFilterCalls=27463732, avgTableProportion=0.8267735683644207, avgTableSize=5.004227721126903
106.38/100.29
111.92/105.71 num=174, depth=10..35, filters=57673329, revisions=(96590887,useless=51508993), ccks=135112032, wck=102.939, mem=89M367
111.92/105.71 decisions=718512, wrong=356839, backtracks=84207, failedAssignments=297244, nogoods=3642, foundSolutions=7, bestBound=4
111.92/105.71 nFilterCalls=28941806, avgTableProportion=0.8267861732601661, avgTableSize=5.004583646231337
111.92/105.71
111.92/105.72 num=175, depth=15..16, filters=57674945, revisions=(96593792,useless=51510518), ccks=135117437, wck=102.943, mem=89M367
111.92/105.72 decisions=718553, wrong=356852, backtracks=84209, failedAssignments=297255, nogoods=3644, foundSolutions=7, bestBound=4
111.92/105.72 nFilterCalls=28942620, avgTableProportion=0.8267861172662061, avgTableSize=5.0045804768193065
111.92/105.72
111.92/105.72 num=176, depth=3..6, filters=57676538, revisions=(96596767,useless=51512095), ccks=135122016, wck=102.947, mem=89M367
111.92/105.72 decisions=718584, wrong=356866, backtracks=84211, failedAssignments=297267, nogoods=3656, foundSolutions=7, bestBound=4
111.92/105.72 nFilterCalls=28943359, avgTableProportion=0.8267859382459123, avgTableSize=5.004572862465618
111.92/105.72
111.92/105.72 num=177, depth=3..6, filters=57677669, revisions=(96598771,useless=51513164), ccks=135125782, wck=102.951, mem=89M367
111.92/105.72 decisions=718616, wrong=356880, backtracks=84212, failedAssignments=297280, nogoods=3667, foundSolutions=7, bestBound=4
111.92/105.72 nFilterCalls=28944004, avgTableProportion=0.8267859507376858, avgTableSize=5.004573658848306
111.92/105.72
111.92/105.73 num=178, depth=4..5, filters=57681449, revisions=(96604583,useless=51515600), ccks=135134165, wck=102.957, mem=89M367
111.92/105.73 decisions=718650, wrong=356895, backtracks=84213, failedAssignments=297294, nogoods=3680, foundSolutions=7, bestBound=4
111.92/105.73 nFilterCalls=28945632, avgTableProportion=0.8267856922074293, avgTableSize=5.004560100812447
111.92/105.73
111.92/105.74 num=179, depth=2..15, filters=57684503, revisions=(96610041,useless=51518466), ccks=135144944, wck=102.964, mem=89M367
111.92/105.74 decisions=718696, wrong=356912, backtracks=84214, failedAssignments=297310, nogoods=3696, foundSolutions=7, bestBound=4
111.92/105.74 nFilterCalls=28947351, avgTableProportion=0.8267856110748493, avgTableSize=5.004559208198359
111.92/105.74
111.92/105.75 num=180, depth=5..8, filters=57688251, revisions=(96616392,useless=51521572), ccks=135153757, wck=102.971, mem=89M367
111.92/105.75 decisions=718739, wrong=356931, backtracks=84217, failedAssignments=297327, nogoods=3707, foundSolutions=7, bestBound=4
111.92/105.75 nFilterCalls=28949042, avgTableProportion=0.8267853064884563, avgTableSize=5.0045476461708125
111.92/105.75
111.92/105.75 num=181, depth=2..4, filters=57690545, revisions=(96620110,useless=51523356), ccks=135160088, wck=102.977, mem=89M367
111.92/105.75 decisions=718784, wrong=356952, backtracks=84219, failedAssignments=297346, nogoods=3710, foundSolutions=7, bestBound=4
111.92/105.75 nFilterCalls=28950174, avgTableProportion=0.8267851792743062, avgTableSize=5.004541907071094
111.92/105.75
111.92/105.76 num=182, depth=2..14, filters=57694733, revisions=(96627861,useless=51527735), ccks=135171527, wck=102.986, mem=89M367
111.92/105.76 decisions=718852, wrong=356982, backtracks=84230, failedAssignments=297367, nogoods=3712, foundSolutions=7, bestBound=4
111.92/105.76 nFilterCalls=28952351, avgTableProportion=0.8267847996746126, avgTableSize=5.004528440540113
111.92/105.76
111.92/105.77 num=183, depth=13..16, filters=57696939, revisions=(96631627,useless=51529719), ccks=135177393, wck=102.992, mem=89M367
111.92/105.77 decisions=718915, wrong=357007, backtracks=84233, failedAssignments=297390, nogoods=3720, foundSolutions=7, bestBound=4
111.92/105.77 nFilterCalls=28953277, avgTableProportion=0.8267847505551617, avgTableSize=5.004526879634385
111.92/105.77
111.92/105.78 num=184, depth=2..7, filters=57702052, revisions=(96639799,useless=51533416), ccks=135191509, wck=103.001, mem=89M367
111.92/105.78 decisions=718975, wrong=357036, backtracks=84238, failedAssignments=297415, nogoods=3724, foundSolutions=7, bestBound=4
111.92/105.78 nFilterCalls=28955577, avgTableProportion=0.82678458052987, avgTableSize=5.0045164356420875
111.92/105.78
111.92/105.78 num=185, depth=3..9, filters=57706907, revisions=(96648017,useless=51537633), ccks=135206594, wck=103.011, mem=89M367
111.92/105.78 decisions=719050, wrong=357071, backtracks=84245, failedAssignments=297443, nogoods=3735, foundSolutions=7, bestBound=4
111.92/105.78 nFilterCalls=28958246, avgTableProportion=0.8267839792827811, avgTableSize=5.0044993747204165
111.92/105.78
111.92/105.79 num=186, depth=1..13, filters=57708574, revisions=(96651140,useless=51539361), ccks=135211695, wck=103.017, mem=89M367
111.92/105.79 decisions=719129, wrong=357108, backtracks=84252, failedAssignments=297474, nogoods=3744, foundSolutions=7, bestBound=4
111.92/105.79 nFilterCalls=28958987, avgTableProportion=0.8267841407007109, avgTableSize=5.004503645103332
111.92/105.79
112.03/105.81 num=187, depth=2..8, filters=57716752, revisions=(96664115,useless=51545398), ccks=135231760, wck=103.032, mem=90M61
112.03/105.81 decisions=719218, wrong=357151, backtracks=84263, failedAssignments=297508, nogoods=3748, foundSolutions=7, bestBound=4
112.03/105.81 nFilterCalls=28962710, avgTableProportion=0.8267828799561863, avgTableSize=5.004461944341534
112.03/105.81
112.03/105.81 num=188, depth=5..12, filters=57718044, revisions=(96666741,useless=51547028), ccks=135235177, wck=103.038, mem=90M61
112.03/105.81 decisions=719303, wrong=357191, backtracks=84270, failedAssignments=297545, nogoods=3750, foundSolutions=7, bestBound=4
112.03/105.81 nFilterCalls=28963363, avgTableProportion=0.826782907264417, avgTableSize=5.004462603324068
112.03/105.81
112.03/105.83 num=189, depth=2..13, filters=57726736, revisions=(96682002,useless=51555367), ccks=135255977, wck=103.055, mem=90M61
112.03/105.83 decisions=719426, wrong=357250, backtracks=84291, failedAssignments=297586, nogoods=3763, foundSolutions=7, bestBound=4
112.03/105.83 nFilterCalls=28967698, avgTableProportion=0.8267818368351565, avgTableSize=5.004426344129934
112.03/105.83
112.03/105.84 num=190, depth=0..9, filters=57728426, revisions=(96685615,useless=51557603), ccks=135263181, wck=103.062, mem=90M61
112.03/105.84 decisions=719528, wrong=357298, backtracks=84294, failedAssignments=297631, nogoods=3768, foundSolutions=7, bestBound=4
112.03/105.84 nFilterCalls=28968598, avgTableProportion=0.8267820116658752, avgTableSize=5.004433697481666
112.03/105.84
112.03/105.86 num=191, depth=1..14, filters=57740055, revisions=(96705511,useless=51568749), ccks=135299793, wck=103.085, mem=95M113
112.03/105.86 decisions=719713, wrong=357387, backtracks=84341, failedAssignments=297681, nogoods=3775, foundSolutions=7, bestBound=4
112.03/105.86 nFilterCalls=28975185, avgTableProportion=0.826782571654556, avgTableSize=5.004437866401888
112.03/105.86
112.03/105.87 num=192, depth=1..20, filters=57747842, revisions=(96718564,useless=51575529), ccks=135320741, wck=103.101, mem=95M113
112.03/105.87 decisions=719856, wrong=357456, backtracks=84357, failedAssignments=297736, nogoods=3784, foundSolutions=7, bestBound=4
112.03/105.87 nFilterCalls=28979033, avgTableProportion=0.8267818939269312, avgTableSize=5.004417918292857
112.03/105.87
112.13/105.90 num=193, depth=4..12, filters=57762084, revisions=(96742692,useless=51587837), ccks=135360864, wck=103.128, mem=95M113
112.13/105.90 decisions=720005, wrong=357526, backtracks=84367, failedAssignments=297797, nogoods=3824, foundSolutions=7, bestBound=4
112.13/105.90 nFilterCalls=28986437, avgTableProportion=0.826780634830656, avgTableSize=5.004380945474603
112.13/105.90
112.13/105.93 num=194, depth=3..11, filters=57776433, revisions=(96766897,useless=51600456), ccks=135402225, wck=103.157, mem=95M113
112.13/105.93 decisions=720168, wrong=357605, backtracks=84386, failedAssignments=297864, nogoods=3853, foundSolutions=7, bestBound=4
112.13/105.93 nFilterCalls=28993807, avgTableProportion=0.8267792872431261, avgTableSize=5.004340202719843
112.13/105.93
112.13/105.96 num=195, depth=4..20, filters=57789295, revisions=(96787751,useless=51611902), ccks=135433755, wck=103.182, mem=95M113
112.13/105.96 decisions=720359, wrong=357697, backtracks=84408, failedAssignments=297938, nogoods=3878, foundSolutions=7, bestBound=4
112.13/105.96 nFilterCalls=29000554, avgTableProportion=0.8267777888970513, avgTableSize=5.004301917818536
112.13/105.96
112.13/105.99 num=196, depth=4..17, filters=57806935, revisions=(96816333,useless=51625761), ccks=135479427, wck=103.214, mem=95M113
112.13/105.99 decisions=720578, wrong=357801, backtracks=84440, failedAssignments=298019, nogoods=3893, foundSolutions=7, bestBound=4
112.13/105.99 nFilterCalls=29009173, avgTableProportion=0.8267768744440531, avgTableSize=5.004263547947403
112.13/105.99
112.24/106.03 num=197, depth=4..14, filters=57825691, revisions=(96849609,useless=51644131), ccks=135532250, wck=103.252, mem=95M113
112.24/106.03 decisions=720812, wrong=357915, backtracks=84481, failedAssignments=298108, nogoods=3914, foundSolutions=7, bestBound=4
112.24/106.03 nFilterCalls=29019042, avgTableProportion=0.8267764859654549, avgTableSize=5.004245453726557
112.24/106.03
112.24/106.05 num=198, depth=2..10, filters=57838123, revisions=(96871778,useless=51656621), ccks=135565585, wck=103.278, mem=100M165
112.24/106.05 decisions=721046, wrong=358029, backtracks=84500, failedAssignments=298206, nogoods=3943, foundSolutions=7, bestBound=4
112.24/106.05 nFilterCalls=29025620, avgTableProportion=0.8267755304873738, avgTableSize=5.004214655879874
112.24/106.05
112.24/106.08 num=199, depth=2..8, filters=57852062, revisions=(96895340,useless=51669623), ccks=135608657, wck=103.307, mem=100M165
112.24/106.08 decisions=721281, wrong=358144, backtracks=84507, failedAssignments=298314, nogoods=3997, foundSolutions=7, bestBound=4
112.24/106.08 nFilterCalls=29033073, avgTableProportion=0.8267766811149766, avgTableSize=5.004255836094236
112.24/106.08
112.35/106.13 num=200, depth=3..17, filters=57876529, revisions=(96934387,useless=51689427), ccks=135665166, wck=103.353, mem=100M165
112.35/106.13 decisions=721595, wrong=358297, backtracks=84551, failedAssignments=298433, nogoods=4013, foundSolutions=7, bestBound=4
112.35/106.13 nFilterCalls=29044808, avgTableProportion=0.8267721129766119, avgTableSize=5.004132717971487
112.35/106.13
112.35/106.17 num=201, depth=2..16, filters=57899748, revisions=(96971338,useless=51708277), ccks=135722691, wck=103.397, mem=100M165
112.35/106.17 decisions=721915, wrong=358454, backtracks=84582, failedAssignments=298564, nogoods=4038, foundSolutions=7, bestBound=4
112.35/106.17 nFilterCalls=29056192, avgTableProportion=0.8267683615863937, avgTableSize=5.004030466208373
112.35/106.17
112.44/106.23 num=202, depth=3..13, filters=57932885, revisions=(97026830,useless=51736995), ccks=135814175, wck=103.458, mem=100M165
112.44/106.23 decisions=722272, wrong=358630, backtracks=84626, failedAssignments=298708, nogoods=4064, foundSolutions=7, bestBound=4
112.44/106.23 nFilterCalls=29073254, avgTableProportion=0.8267643578942685, avgTableSize=5.00390850642312
112.44/106.23
112.44/106.29 num=203, depth=3..14, filters=57965727, revisions=(97083074,useless=51767113), ccks=135895336, wck=103.52, mem=105M216
112.44/106.29 decisions=722698, wrong=358840, backtracks=84686, failedAssignments=298866, nogoods=4095, foundSolutions=7, bestBound=4
112.44/106.29 nFilterCalls=29089846, avgTableProportion=0.8267609698679026, avgTableSize=5.003804557782808
112.44/106.29
112.56/106.38 num=204, depth=2..17, filters=58012190, revisions=(97160750,useless=51807289), ccks=136010137, wck=103.603, mem=105M216
112.56/106.38 decisions=723175, wrong=359074, backtracks=84762, failedAssignments=299040, nogoods=4112, foundSolutions=7, bestBound=4
112.56/106.38 nFilterCalls=29112744, avgTableProportion=0.8267521291945548, avgTableSize=5.0035615674015474
112.56/106.38
112.70/106.43 num=205, depth=14..28, filters=58036293, revisions=(97200840,useless=51827549), ccks=136068774, wck=103.657, mem=105M216
112.70/106.43 decisions=723612, wrong=359285, backtracks=84793, failedAssignments=299231, nogoods=4132, foundSolutions=7, bestBound=4
112.70/106.43 nFilterCalls=29124173, avgTableProportion=0.8267495115547628, avgTableSize=5.003474261741269
112.70/106.43
112.70/106.50 num=206, depth=3..19, filters=58068163, revisions=(97257234,useless=51859491), ccks=136147562, wck=103.721, mem=110M268
112.70/106.50 decisions=724136, wrong=359542, backtracks=84869, failedAssignments=299442, nogoods=4151, foundSolutions=7, bestBound=4
112.70/106.50 nFilterCalls=29140425, avgTableProportion=0.8267473570132774, avgTableSize=5.003406058765443
112.70/106.50
112.80/106.58 num=207, depth=0..10, filters=58115768, revisions=(97329666,useless=51892855), ccks=136256786, wck=103.806, mem=110M268
112.80/106.58 decisions=724650, wrong=359798, backtracks=84907, failedAssignments=299674, nogoods=4167, foundSolutions=7, bestBound=4
112.80/106.58 nFilterCalls=29163439, avgTableProportion=0.8267389395041317, avgTableSize=5.003164647351775
112.80/106.58
113.00/106.70 num=208, depth=2..12, filters=58184971, revisions=(97446092,useless=51952128), ccks=136434970, wck=103.928, mem=115M320
113.00/106.70 decisions=725364, wrong=360153, backtracks=85036, failedAssignments=299929, nogoods=4176, foundSolutions=7, bestBound=4
113.00/106.70 nFilterCalls=29197541, avgTableProportion=0.8267306963887011, avgTableSize=5.002919629430437
113.00/106.70
113.00/106.79 num=209, depth=4..16, filters=58229851, revisions=(97525478,useless=51994597), ccks=136549335, wck=104.016, mem=115M320
113.00/106.79 decisions=726009, wrong=360473, backtracks=85087, failedAssignments=300210, nogoods=4192, foundSolutions=7, bestBound=4
113.00/106.79 nFilterCalls=29220397, avgTableProportion=0.8267282685329149, avgTableSize=5.002835929984114
113.00/106.79
113.12/106.88 num=210, depth=4..14, filters=58275647, revisions=(97605405,useless=52037468), ccks=136673180, wck=104.11, mem=120M372
113.12/106.88 decisions=726748, wrong=360840, backtracks=85167, failedAssignments=300519, nogoods=4216, foundSolutions=7, bestBound=4
113.12/106.88 nFilterCalls=29244187, avgTableProportion=0.8267210209240259, avgTableSize=5.002620007866863
113.12/106.88
113.22/106.98 num=211, depth=0..17, filters=58325718, revisions=(97691217,useless=52081199), ccks=136801656, wck=104.21, mem=120M372
113.22/106.98 decisions=727500, wrong=361214, backtracks=85219, failedAssignments=300859, nogoods=4230, foundSolutions=7, bestBound=4
113.22/106.98 nFilterCalls=29269320, avgTableProportion=0.8267150250723464, avgTableSize=5.00241488357092
113.22/106.98
113.32/107.08 num=212, depth=1..11, filters=58373691, revisions=(97779444,useless=52131064), ccks=136925140, wck=104.31, mem=120M372
113.32/107.08 decisions=728364, wrong=361645, backtracks=85304, failedAssignments=301233, nogoods=4282, foundSolutions=7, bestBound=4
113.32/107.08 nFilterCalls=29293995, avgTableProportion=0.82671210034406, avgTableSize=5.0023192466578905
113.32/107.08
113.43/107.18 num=213, depth=6..19, filters=58417275, revisions=(97857885,useless=52174298), ccks=137049565, wck=104.405, mem=125M424
113.43/107.18 decisions=729310, wrong=362114, backtracks=85411, failedAssignments=301644, nogoods=4309, foundSolutions=7, bestBound=4
113.43/107.18 nFilterCalls=29317871, avgTableProportion=0.8267143647432719, avgTableSize=5.002384586520624
113.43/107.18
113.62/107.35 num=214, depth=9..14, filters=58509178, revisions=(98009787,useless=52246994), ccks=137284266, wck=104.578, mem=130M475
113.62/107.35 decisions=730326, wrong=362617, backtracks=85466, failedAssignments=302096, nogoods=4333, foundSolutions=7, bestBound=4
113.62/107.35 nFilterCalls=29360297, avgTableProportion=0.8267150587781601, avgTableSize=5.002366324836564
113.62/107.35
113.82/107.54 num=215, depth=5..14, filters=58607075, revisions=(98173791,useless=52332760), ccks=137542585, wck=104.762, mem=135M527
113.82/107.54 decisions=731470, wrong=363185, backtracks=85568, failedAssignments=302593, nogoods=4374, foundSolutions=7, bestBound=4
113.82/107.54 nFilterCalls=29410251, avgTableProportion=0.8267064586209799, avgTableSize=5.002115248863398
113.82/107.54
114.02/107.73 num=216, depth=1..11, filters=58703101, revisions=(98343708,useless=52427661), ccks=137849634, wck=104.952, mem=140M579
114.02/107.73 decisions=732789, wrong=363843, backtracks=85699, failedAssignments=303140, nogoods=4408, foundSolutions=7, bestBound=4
114.02/107.73 nFilterCalls=29462958, avgTableProportion=0.8267172099111623, avgTableSize=5.002491433480643
114.02/107.73
114.22/107.98 num=217, depth=2..18, filters=58850351, revisions=(98577583,useless=52542832), ccks=138172514, wck=105.209, mem=145M631
114.22/107.98 decisions=734198, wrong=364544, backtracks=85814, failedAssignments=303742, nogoods=4435, foundSolutions=7, bestBound=4
114.22/107.98 nFilterCalls=29531801, avgTableProportion=0.8266954027485401, avgTableSize=5.001868731270402
114.22/107.98
114.62/108.33 num=218, depth=5..16, filters=59064996, revisions=(98903231,useless=52694873), ccks=138670806, wck=105.553, mem=155M734
114.62/108.33 decisions=735690, wrong=365286, backtracks=85916, failedAssignments=304404, nogoods=4442, foundSolutions=7, bestBound=4
114.62/108.33 nFilterCalls=29634310, avgTableProportion=0.8267002399525606, avgTableSize=5.001895269368513
114.62/108.33
114.82/108.53 num=219, depth=0..19, filters=59166966, revisions=(99079214,useless=52789324), ccks=138920456, wck=105.758, mem=160M786
114.82/108.53 decisions=737338, wrong=366107, backtracks=86050, failedAssignments=305132, nogoods=4461, foundSolutions=7, bestBound=4
114.82/108.53 nFilterCalls=29686858, avgTableProportion=0.8266978861984005, avgTableSize=5.0018112728534625
114.82/108.53
115.12/108.81 num=220, depth=5..15, filters=59313900, revisions=(99333130,useless=52926180), ccks=139304980, wck=106.038, mem=165M838
115.12/108.81 decisions=739206, wrong=367038, backtracks=86274, failedAssignments=305933, nogoods=4493, foundSolutions=7, bestBound=4
115.12/108.81 nFilterCalls=29760389, avgTableProportion=0.8266935211077119, avgTableSize=5.0016663088644435
115.12/108.81
115.32/109.10 num=221, depth=2..14, filters=59467474, revisions=(99586916,useless=53056515), ccks=139671646, wck=106.329, mem=175M941
115.32/109.10 decisions=741217, wrong=368042, backtracks=86442, failedAssignments=306814, nogoods=4530, foundSolutions=7, bestBound=4
115.32/109.10 nFilterCalls=29834920, avgTableProportion=0.8266774237468909, avgTableSize=5.001180596428615
115.32/109.10
115.72/109.47 num=222, depth=3..21, filters=59665156, revisions=(99920319,useless=53226677), ccks=140199983, wck=106.693, mem=186M45
115.72/109.47 decisions=743400, wrong=369129, backtracks=86622, failedAssignments=307784, nogoods=4570, foundSolutions=7, bestBound=4
115.72/109.47 nFilterCalls=29933948, avgTableProportion=0.8266608019379793, avgTableSize=5.000647291830667
115.72/109.47
116.12/109.83 num=223, depth=2..15, filters=59862370, revisions=(100239556,useless=53395685), ccks=140670326, wck=107.056, mem=191M97
116.12/109.83 decisions=745880, wrong=370367, backtracks=86877, failedAssignments=308851, nogoods=4607, foundSolutions=7, bestBound=4
116.12/109.83 nFilterCalls=30033816, avgTableProportion=0.8266456224390856, avgTableSize=5.000205168733803
116.12/109.83
116.52/110.29 num=224, depth=3..17, filters=60126525, revisions=(100676297,useless=53620142), ccks=141309952, wck=107.52, mem=206M252
116.52/110.29 decisions=748667, wrong=371758, backtracks=87146, failedAssignments=310024, nogoods=4638, foundSolutions=7, bestBound=4
116.52/110.29 nFilterCalls=30164278, avgTableProportion=0.8266494528938397, avgTableSize=5.0002055411371025
116.52/110.29
116.92/110.62 num=225, depth=5..19, filters=60284777, revisions=(100960641,useless=53777295), ccks=141751247, wck=107.844, mem=211M304
116.92/110.62 decisions=751589, wrong=373215, backtracks=87395, failedAssignments=311315, nogoods=4653, foundSolutions=7, bestBound=4
116.92/110.62 nFilterCalls=30250301, avgTableProportion=0.8266528585526219, avgTableSize=5.000305451506086
116.92/110.62
117.32/111.06 num=226, depth=1..13, filters=60509703, revisions=(101356404,useless=53993739), ccks=142408399, wck=108.286, mem=221M408
117.32/111.06 decisions=754797, wrong=374818, backtracks=87624, failedAssignments=312735, nogoods=4687, foundSolutions=7, bestBound=4
117.32/111.06 nFilterCalls=30370951, avgTableProportion=0.8266667625696309, avgTableSize=5.000771197451144
117.32/111.06
117.62/111.38 num=227, depth=0..18, filters=60654944, revisions=(101609362,useless=54125739), ccks=142716536, wck=108.602, mem=231M511
117.62/111.38 decisions=758175, wrong=376506, backtracks=87799, failedAssignments=314297, nogoods=4715, foundSolutions=7, bestBound=4
117.62/111.38 nFilterCalls=30436196, avgTableProportion=0.8266587721123202, avgTableSize=5.0004505490765006
117.62/111.38
118.32/112.03 num=228, depth=0..19, filters=61028933, revisions=(102194881,useless=54407885), ccks=143658830, wck=109.259, mem=246M667
118.32/112.03 decisions=761988, wrong=378411, backtracks=88063, failedAssignments=316015, nogoods=4719, foundSolutions=7, bestBound=4
118.32/112.03 nFilterCalls=30621259, avgTableProportion=0.826633298512683, avgTableSize=4.9996781647678175
118.32/112.03
118.92/112.62 num=229, depth=0..18, filters=61350645, revisions=(102706599,useless=54667158), ccks=144402711, wck=109.85, mem=261M822
118.92/112.62 decisions=766187, wrong=380509, backtracks=88345, failedAssignments=317905, nogoods=4783, foundSolutions=7, bestBound=4
118.92/112.62 nFilterCalls=30778690, avgTableProportion=0.8266149029618359, avgTableSize=4.999051746516827
118.92/112.62
119.52/113.20 num=230, depth=2..17, filters=61653183, revisions=(103224093,useless=54938990), ccks=145157042, wck=110.426, mem=276M977
119.52/113.20 decisions=770787, wrong=382808, backtracks=88643, failedAssignments=319984, nogoods=4792, foundSolutions=7, bestBound=4
119.52/113.20 nFilterCalls=30928787, avgTableProportion=0.8266081941544124, avgTableSize=4.998793163146036
119.52/113.20
120.22/113.98 num=231, depth=0..17, filters=62087798, revisions=(103948037,useless=55318616), ccks=146180563, wck=111.209, mem=297M184
120.22/113.98 decisions=776002, wrong=385414, backtracks=89073, failedAssignments=322271, nogoods=4819, foundSolutions=7, bestBound=4
120.22/113.98 nFilterCalls=31147172, avgTableProportion=0.8266233925466007, avgTableSize=4.999169876481884
120.22/113.98
121.16/114.84 num=232, depth=0..20, filters=62553939, revisions=(104728188,useless=55717652), ccks=147263549, wck=112.066, mem=64M117
121.16/114.84 decisions=781805, wrong=388308, backtracks=89594, failedAssignments=324787, nogoods=4836, foundSolutions=7, bestBound=4
121.16/114.84 nFilterCalls=31372837, avgTableProportion=0.8266036618609999, avgTableSize=4.998259513476579
121.16/114.84
121.96/115.63 num=233, depth=0..20, filters=62968291, revisions=(105449414,useless=56107283), ccks=148326399, wck=112.858, mem=83M806
121.96/115.63 decisions=788142, wrong=391475, backtracks=90147, failedAssignments=327555, nogoods=4858, foundSolutions=7, bestBound=4
121.96/115.63 nFilterCalls=31590523, avgTableProportion=0.8265955534822466, avgTableSize=4.997854641406222
121.96/115.63
122.66/116.32 num=234, depth=0..20, filters=63290989, revisions=(106054515,useless=56452191), ccks=149175179, wck=113.547, mem=98M572
122.66/116.32 decisions=795079, wrong=394941, backtracks=90708, failedAssignments=330599, nogoods=4893, foundSolutions=7, bestBound=4
122.66/116.32 nFilterCalls=31764844, avgTableProportion=0.8266064753850465, avgTableSize=4.998099502708088
122.66/116.32
123.37/117.05 num=235, depth=0..17, filters=63616465, revisions=(106681166,useless=56811925), ccks=150013280, wck=114.275, mem=113M338
123.37/117.05 decisions=802652, wrong=398727, backtracks=91274, failedAssignments=333948, nogoods=4979, foundSolutions=7, bestBound=4
123.37/117.05 nFilterCalls=31933509, avgTableProportion=0.8266109376629603, avgTableSize=4.998152410998741
123.37/117.05
124.47/118.15 num=236, depth=0..24, filters=64209393, revisions=(107691529,useless=57348141), ccks=151375260, wck=115.376, mem=137M949
124.47/118.15 decisions=811120, wrong=402958, backtracks=92037, failedAssignments=337632, nogoods=5054, foundSolutions=7, bestBound=4
124.47/118.15 nFilterCalls=32230220, avgTableProportion=0.8265689830398828, avgTableSize=4.996713270961228
124.47/118.15
125.96/119.69 num=237, depth=4..24, filters=65076923, revisions=(109131378,useless=58080117), ccks=153547334, wck=116.919, mem=182M248
125.96/119.69 decisions=820391, wrong=407590, backtracks=92812, failedAssignments=341684, nogoods=5125, foundSolutions=7, bestBound=4
125.96/119.69 nFilterCalls=32650547, avgTableProportion=0.8265574080551579, avgTableSize=4.996485755659775
125.96/119.69
127.26/120.97 num=238, depth=0..16, filters=65731336, revisions=(110295050,useless=58700912), ccks=155220438, wck=118.193, mem=211M780
127.26/120.97 decisions=830372, wrong=412577, backtracks=93478, failedAssignments=346141, nogoods=5141, foundSolutions=7, bestBound=4
127.26/120.97 nFilterCalls=32979679, avgTableProportion=0.8265140591279057, avgTableSize=4.994971024429923
127.26/120.97
128.26/121.91 num=239, depth=0..29, filters=66163465, revisions=(111158350,useless=59227282), ccks=156050630, wck=119.131, mem=226M546
128.26/121.91 decisions=841318, wrong=418047, backtracks=94386, failedAssignments=351044, nogoods=5210, foundSolutions=7, bestBound=4
128.26/121.91 nFilterCalls=33195280, avgTableProportion=0.826557819049952, avgTableSize=4.996420515205776
128.26/121.91
129.96/123.62 num=240, depth=5..28, filters=67065158, revisions=(112737142,useless=60080029), ccks=158306176, wck=120.842, mem=265M923
129.96/123.62 decisions=853696, wrong=424231, backtracks=95456, failedAssignments=356438, nogoods=5245, foundSolutions=7, bestBound=4
129.96/123.62 nFilterCalls=33644894, avgTableProportion=0.8265442530217398, avgTableSize=4.996062760667339
129.96/123.62
131.81/125.41 num=241, depth=0..20, filters=68007655, revisions=(114355919,useless=60931582), ccks=160541459, wck=122.641, mem=64M59
131.81/125.41 decisions=867364, wrong=431063, backtracks=96715, failedAssignments=362371, nogoods=5317, foundSolutions=7, bestBound=4
131.81/125.41 nFilterCalls=34113233, avgTableProportion=0.8264727988528925, avgTableSize=4.993555814542702
131.81/125.41
133.81/127.43 num=242, depth=0..18, filters=69076796, revisions=(116187453,useless=61886061), ccks=163234709, wck=124.656, mem=112M45
133.81/127.43 decisions=882123, wrong=438441, backtracks=97826, failedAssignments=368897, nogoods=5379, foundSolutions=7, bestBound=4
133.81/127.43 nFilterCalls=34642113, avgTableProportion=0.8264228739502865, avgTableSize=4.991882885434847
133.81/127.43
135.52/129.14 num=243, depth=0..25, filters=69931896, revisions=(117765241,useless=62772461), ccks=165090296, wck=126.363, mem=150M433
135.52/129.14 decisions=898481, wrong=446617, backtracks=99344, failedAssignments=376076, nogoods=5423, foundSolutions=7, bestBound=4
135.52/129.14 nFilterCalls=35061612, avgTableProportion=0.8264153562377641, avgTableSize=4.991793874166425
135.52/129.14
138.01/131.61 num=244, depth=4..22, filters=71216650, revisions=(120006269,useless=63976153), ccks=168505674, wck=128.837, mem=208M16
138.01/131.61 decisions=916487, wrong=455617, backtracks=100768, failedAssignments=383973, nogoods=5452, foundSolutions=7, bestBound=4
138.01/131.61 nFilterCalls=35709878, avgTableProportion=0.826367492487282, avgTableSize=4.990422117936107
138.01/131.61
140.82/134.46 num=245, depth=0..28, filters=72762523, revisions=(122584830,useless=65301886), ccks=172241530, wck=131.684, mem=279M994
140.82/134.46 decisions=936847, wrong=465796, backtracks=102783, failedAssignments=392660, nogoods=5475, foundSolutions=7, bestBound=4
140.82/134.46 nFilterCalls=36471941, avgTableProportion=0.8262860106288404, avgTableSize=4.987323515356641
140.82/134.46
144.06/137.67 num=246, depth=0..22, filters=74492644, revisions=(125398892,useless=66730122), ccks=176532657, wck=134.899, mem=124M765
144.06/137.67 decisions=959005, wrong=476873, backtracks=104755, failedAssignments=402215, nogoods=5517, foundSolutions=7, bestBound=4
144.06/137.67 nFilterCalls=37325497, avgTableProportion=0.8262257527757175, avgTableSize=4.984848212469884
144.06/137.67
147.16/140.72 num=247, depth=0..23, filters=76099472, revisions=(128043479,useless=68128937), ccks=180332746, wck=137.949, mem=195M35
147.16/140.72 decisions=983252, wrong=488995, backtracks=106879, failedAssignments=412726, nogoods=5547, foundSolutions=7, bestBound=4
147.16/140.72 nFilterCalls=38125114, avgTableProportion=0.8261735852232877, avgTableSize=4.9825940454892805
147.16/140.72
148.86/142.44
148.86/142.44 New Bounds: 4..3
148.86/142.44 num=248, depth=0..23, filters=76974415, revisions=(129536613,useless=68918046), ccks=182753476, wck=139.664, mem=237M197
148.86/142.44 decisions=994988, wrong=494864, backtracks=108059, failedAssignments=417660, foundSolutions=7, bestBound=4
148.86/142.44 nFilterCalls=38571583, avgTableProportion=0.826152470122206, avgTableSize=4.981715191725473
148.86/142.44
148.86/142.44 Global
148.86/142.44 filters=76974415, revisions=(129536613,useless=68918046), ccks=182753476
148.86/142.44 Stop=FULL_EXPLORATION, wrong=494864, bestBound=4, bestBoundWck=98.409, bestBoundCpu=100.0, foundSolutions=7, firstSolCpu=2.84
148.86/142.44 wck=140.589, cpu=142.122, mem=237M197
148.86/142.44
148.86/142.44 v <instantiation id='sol7' type='solution' cost='4'> <list> p[] np[][] r[][] o[][] so[] </list> <values> 20 3 13 28 25 14 12 10 7 4 2 1 18 24 22 21 19 15 8 17 11 27 9 16 23 6 0 29 26 5 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 2 2 3 3 3 3 3 3 3 3 3 3 3 3 0 0 0 0 0 0 0 0 0 0 0 0 1 1 2 2 2 3 4 5 5 5 5 5 5 5 5 5 5 5 0 0 0 0 0 1 1 2 3 4 5 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 0 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 1 2 3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 2 3 3 3 3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 2 2 2 2 2 3 3 3 3 3 3 3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 2 2 3 4 4 4 4 4 4 0 1 2 2 2 2 3 4 4 4 4 4 4 4 4 5 6 6 6 6 7 7 7 7 7 7 7 7 7 7 0 0 0 0 0 0 0 0 1 2 3 3 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 2 2 2 2 3 3 3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 2 2 3 4 0 0 0 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 1 2 1 1 2 3 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 1 2 2 2 3 4 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 0 0 0 1 1 1 1 1 1 1 1 2 2 3 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 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 1 0 1 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 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 0 0 1 0 1 0 1 1 0 0 0 0 0 0 1 1 0 0 0 1 1 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 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 0 0 1 0 0 1 0 1 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 0 0 0 1 0 1 1 0 1 1 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 0 1 1 0 0 1 1 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 0 0 1 0 0 0 0 0 0 0 1 0 1 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 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 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 0 0 1 1 1 1 1 1 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 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 0 0 1 1 1 1 1 1 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 0 0 0 1 1 1 1 1 1 1 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 0 1 1 1 1 1 1 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 0 0 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 3 3 4 4 4 4 3 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 3 3 3 2 </values> </instantiation>
148.86/142.44 s OPTIMUM FOUND
148.86/142.44
148.86/142.44 d WRONG_DECISIONS 494864
148.86/142.44 d NUMBER_SOLUTIONS 7