2.39/1.88
2.39/1.88 AbsCon 2
2.39/1.89
2.89/2.04 Instance
2.89/2.04 name=instance-4391127-1568388623, framework=COP, bounds=-infty..+infty
2.89/2.04
2.89/2.04 Loading variables...
2.89/2.08 Loading constraints...
3.13/2.19
3.13/2.19 Domains
3.13/2.19 nTypes=7, nValues=22800, sizes=[5#50,410#55]
3.13/2.19 Variables
3.13/2.19 count=105, degrees=[2#30,3#50,9#25]
3.13/2.19 Objectives
3.13/2.19 way=min, type=ObjMaximumLE
3.13/2.19 Constraints
3.13/2.19 count=136, nSpecific=81, arities=[1#5,2#75,3#25,5#6,7#25]
3.13/2.19 distribution=[AllDifferent#5,CtrExtensionSmart-TableSmart#50,CtrExtensionV-Bits#25,CtrIntension#30,ElementVariable#25,ObjMaximumLE#1]
3.13/2.19 tables=[2#50], nTotalTuples=100
3.13/2.19 nExtStructures=(55,shared:20), nIntStructures=(15,shared:15), nCftStructures=(5,shared:20,unbuilt:111)
3.13/2.19 wck=0.344, cpu=2.155, mem=26M520
3.38/2.21 Solver SolverBacktrack being built...
3.38/2.21
3.38/2.22
3.38/2.22 Solver
3.38/2.22 guaranteedGAC=true
3.38/2.22 wck=0.374, cpu=2.184, mem=37M163
4.37/2.94
4.37/2.94 Preprocessing
4.37/2.94 filters=55, revisions=(140,useless=60), ccks=7050194, nACremovedValues=4734, nTotalRemovedValues=4734, inconcistency=false
4.37/2.94 wck=0.716, cpu=2.901, mem=37M163
4.37/2.94
4.99/3.20 num=0, depth=20..20, filters=510, revisions=(841,useless=442), ccks=9841443, wck=0.981, mem=39M805
4.99/3.20 decisions=40, wrong=10, backtracks=0, failedAssignments=10, nogoods=10
4.99/3.20 nFilterCalls=276, avgTableProportion=0.4003623188405797, avgTableSize=0.8007246376811594
4.99/3.20
5.13/3.31 o 406
5.13/3.32 num=1, depth=106..104, filters=803, revisions=(1239,useless=683), ccks=11023907, wck=1.095, mem=42M447
5.13/3.32 decisions=66, wrong=10, backtracks=0, failedAssignments=10, nogoods=10, foundSolutions=1, bestBound=406
5.13/3.32 nFilterCalls=528, avgTableProportion=0.3418560606060606, avgTableSize=0.6837121212121212
5.13/3.32
5.46/3.57 num=2, depth=18..18, filters=1376, revisions=(2168,useless=1219), ccks=13326814, wck=1.346, mem=45M90
5.46/3.57 decisions=108, wrong=22, backtracks=0, failedAssignments=22, nogoods=22, foundSolutions=1, bestBound=406
5.46/3.57 nFilterCalls=818, avgTableProportion=0.35574572127139364, avgTableSize=0.7114914425427873
5.46/3.57
5.94/3.71 num=3, depth=13..13, filters=1849, revisions=(2731,useless=1539), ccks=14749102, wck=1.492, mem=45M90
5.94/3.71 decisions=143, wrong=33, backtracks=0, failedAssignments=33, nogoods=33, foundSolutions=1, bestBound=406
5.94/3.71 nFilterCalls=1145, avgTableProportion=0.33799126637554583, avgTableSize=0.6759825327510917
5.94/3.71
6.16/3.88 num=4, depth=9..11, filters=2417, revisions=(3372,useless=1828), ccks=16418690, wck=1.659, mem=47M732
6.16/3.88 decisions=180, wrong=47, backtracks=2, failedAssignments=45, nogoods=38, foundSolutions=1, bestBound=406
6.16/3.88 nFilterCalls=1451, avgTableProportion=0.3538938662991041, avgTableSize=0.7077877325982082
6.16/3.88
6.58/4.03 num=5, depth=11..11, filters=2837, revisions=(3839,useless=2040), ccks=18033221, wck=1.811, mem=47M732
6.58/4.03 decisions=217, wrong=60, backtracks=2, failedAssignments=58, nogoods=51, foundSolutions=1, bestBound=406
6.58/4.03 nFilterCalls=1754, avgTableProportion=0.35917901938426455, avgTableSize=0.7183580387685291
6.58/4.03
7.03/4.27 num=6, depth=0..22, filters=3446, revisions=(4689,useless=2494), ccks=20776305, wck=2.05, mem=50M375
7.03/4.27 decisions=269, wrong=76, backtracks=4, failedAssignments=72, nogoods=53, foundSolutions=1, bestBound=406
7.03/4.27 nFilterCalls=2083, avgTableProportion=0.35933749399903986, avgTableSize=0.7186749879980797
7.03/4.27
7.44/4.48 o 400
7.44/4.49 num=7, depth=106..104, filters=3918, revisions=(5261,useless=2815), ccks=23269476, wck=2.266, mem=50M375
7.44/4.49 decisions=302, wrong=76, backtracks=4, failedAssignments=72, nogoods=53, foundSolutions=2, bestBound=400
7.44/4.49 nFilterCalls=2577, avgTableProportion=0.35875048506014745, avgTableSize=0.7175009701202949
7.44/4.49
8.23/4.71 o 383
8.23/4.71 num=8, depth=8..104, filters=4751, revisions=(6230,useless=3363), ccks=25664223, wck=2.487, mem=53M17
8.23/4.71 decisions=351, wrong=86, backtracks=8, failedAssignments=78, nogoods=56, foundSolutions=3, bestBound=383
8.23/4.71 nFilterCalls=3310, avgTableProportion=0.3549848942598187, avgTableSize=0.7099697885196374
8.23/4.71
8.55/4.96 num=9, depth=13..14, filters=5865, revisions=(7311,useless=4006), ccks=28471588, wck=2.737, mem=55M660
8.55/4.96 decisions=389, wrong=98, backtracks=9, failedAssignments=89, nogoods=67, foundSolutions=3, bestBound=383
8.55/4.96 nFilterCalls=4401, avgTableProportion=0.3529879572824358, avgTableSize=0.7059759145648716
8.55/4.96
8.83/5.14 o 352
8.83/5.14 num=10, depth=14..104, filters=6489, revisions=(7973,useless=4375), ccks=30617152, wck=2.921, mem=55M660
8.83/5.14 decisions=426, wrong=101, backtracks=9, failedAssignments=92, nogoods=70, foundSolutions=4, bestBound=352
8.83/5.14 nFilterCalls=5068, avgTableProportion=0.34550118389897394, avgTableSize=0.6910023677979479
8.83/5.14
9.02/5.34 o 349
9.02/5.35 num=11, depth=14..104, filters=7217, revisions=(8903,useless=4955), ccks=32967764, wck=3.122, mem=55M660
9.02/5.35 decisions=470, wrong=109, backtracks=12, failedAssignments=97, nogoods=73, foundSolutions=5, bestBound=349
9.02/5.35 nFilterCalls=5817, avgTableProportion=0.33659962179817776, avgTableSize=0.6731992435963555
9.02/5.35
9.35/5.67 num=12, depth=12..16, filters=7999, revisions=(10012,useless=5604), ccks=36824146, wck=3.449, mem=58M302
9.35/5.67 decisions=515, wrong=124, backtracks=18, failedAssignments=108, nogoods=77, foundSolutions=5, bestBound=349
9.35/5.67 nFilterCalls=6302, avgTableProportion=0.3401301174230403, avgTableSize=0.6802602348460806
9.35/5.67
9.55/5.82 o 337
9.55/5.82 num=13, depth=106..104, filters=8519, revisions=(10603,useless=5935), ccks=38641387, wck=3.604, mem=58M302
9.55/5.82 decisions=545, wrong=124, backtracks=18, failedAssignments=108, nogoods=77, foundSolutions=6, bestBound=337
9.55/5.82 nFilterCalls=6829, avgTableProportion=0.335993556889735, avgTableSize=0.67198711377947
9.55/5.82
9.67/5.99 num=14, depth=10..15, filters=9542, revisions=(11785,useless=6628), ccks=40503359, wck=3.767, mem=60M944
9.67/5.99 decisions=591, wrong=141, backtracks=24, failedAssignments=120, nogoods=84, foundSolutions=6, bestBound=337
9.67/5.99 nFilterCalls=7767, avgTableProportion=0.3375820780224025, avgTableSize=0.675164156044805
9.67/5.99
9.88/6.18 num=15, depth=11..17, filters=11328, revisions=(13602,useless=7650), ccks=42760571, wck=3.964, mem=60M944
9.88/6.18 decisions=647, wrong=163, backtracks=35, failedAssignments=131, nogoods=89, foundSolutions=6, bestBound=337
9.88/6.18 nFilterCalls=9186, avgTableProportion=0.3300130633572828, avgTableSize=0.6600261267145656
9.88/6.18
10.07/6.34 o 320
10.07/6.34 num=16, depth=6..104, filters=12393, revisions=(14710,useless=8261), ccks=44595313, wck=4.123, mem=63M587
10.07/6.34 decisions=699, wrong=175, backtracks=39, failedAssignments=140, nogoods=95, foundSolutions=7, bestBound=320
10.07/6.34 nFilterCalls=10126, avgTableProportion=0.3264368951214695, avgTableSize=0.652873790242939
10.07/6.34
10.31/6.59 num=17, depth=6..10, filters=13617, revisions=(16077,useless=9022), ccks=47428920, wck=4.368, mem=63M587
10.31/6.59 decisions=749, wrong=197, backtracks=49, failedAssignments=153, nogoods=102, foundSolutions=7, bestBound=320
10.31/6.59 nFilterCalls=10969, avgTableProportion=0.33216336949585196, avgTableSize=0.6643267389917039
10.31/6.59
10.51/6.74 num=18, depth=7..11, filters=14861, revisions=(17282,useless=9654), ccks=49199701, wck=4.523, mem=66M229
10.51/6.74 decisions=796, wrong=217, backtracks=60, failedAssignments=164, nogoods=108, foundSolutions=7, bestBound=320
10.51/6.74 nFilterCalls=11835, avgTableProportion=0.3376003379805661, avgTableSize=0.6752006759611322
10.51/6.74
10.62/6.89 num=19, depth=5..11, filters=16477, revisions=(18990,useless=10579), ccks=50866611, wck=4.673, mem=68M872
10.62/6.89 decisions=854, wrong=242, backtracks=78, failedAssignments=176, nogoods=111, foundSolutions=7, bestBound=320
10.62/6.89 nFilterCalls=12881, avgTableProportion=0.3403074295473954, avgTableSize=0.6806148590947908
10.62/6.89
10.85/7.09 num=20, depth=4..11, filters=17563, revisions=(20149,useless=11165), ccks=53140905, wck=4.869, mem=68M872
10.85/7.09 decisions=900, wrong=262, backtracks=88, failedAssignments=189, nogoods=115, foundSolutions=7, bestBound=320
10.85/7.09 nFilterCalls=13505, avgTableProportion=0.34183635690485004, avgTableSize=0.6836727138097001
10.85/7.09
11.05/7.29 num=21, depth=7..13, filters=19036, revisions=(21609,useless=11934), ccks=55376114, wck=5.066, mem=71M514
11.05/7.29 decisions=958, wrong=286, backtracks=104, failedAssignments=203, nogoods=120, foundSolutions=7, bestBound=320
11.05/7.29 nFilterCalls=14494, avgTableProportion=0.3460397405823099, avgTableSize=0.6920794811646198
11.05/7.29
11.28/7.48 num=22, depth=6..9, filters=20649, revisions=(23119,useless=12713), ccks=57543688, wck=5.256, mem=71M514
11.28/7.48 decisions=1014, wrong=310, backtracks=115, failedAssignments=219, nogoods=123, foundSolutions=7, bestBound=320
11.28/7.48 nFilterCalls=15571, avgTableProportion=0.3481471967118361, avgTableSize=0.6962943934236722
11.28/7.48
11.49/7.67 num=23, depth=6..14, filters=22269, revisions=(24742,useless=13588), ccks=59715316, wck=5.447, mem=74M157
11.49/7.67 decisions=1089, wrong=344, backtracks=134, failedAssignments=236, nogoods=128, foundSolutions=7, bestBound=320
11.49/7.67 nFilterCalls=16786, avgTableProportion=0.3475515310377696, avgTableSize=0.6951030620755392
11.49/7.67
11.69/7.86 num=24, depth=7..13, filters=24090, revisions=(26639,useless=14647), ccks=61936340, wck=5.642, mem=76M799
11.69/7.86 decisions=1159, wrong=375, backtracks=153, failedAssignments=255, nogoods=132, foundSolutions=7, bestBound=320
11.69/7.86 nFilterCalls=18123, avgTableProportion=0.3468796556861447, avgTableSize=0.6937593113722894
11.69/7.86
12.20/8.34 num=25, depth=5..13, filters=25892, revisions=(28620,useless=15621), ccks=67605647, wck=6.123, mem=76M799
12.20/8.34 decisions=1248, wrong=415, backtracks=175, failedAssignments=276, nogoods=139, foundSolutions=7, bestBound=320
12.20/8.34 nFilterCalls=19099, avgTableProportion=0.3481334101261846, avgTableSize=0.6962668202523692
12.20/8.34
12.40/8.57 num=26, depth=7..16, filters=27144, revisions=(30063,useless=16393), ccks=70296399, wck=6.355, mem=79M441
12.40/8.57 decisions=1328, wrong=449, backtracks=188, failedAssignments=299, nogoods=146, foundSolutions=7, bestBound=320
12.40/8.57 nFilterCalls=19817, avgTableProportion=0.3471766664984609, avgTableSize=0.6943533329969218
12.40/8.57
12.74/8.84 num=27, depth=5..11, filters=29851, revisions=(32763,useless=17854), ccks=73245640, wck=6.619, mem=82M84
12.74/8.84 decisions=1417, wrong=490, backtracks=205, failedAssignments=324, nogoods=150, foundSolutions=7, bestBound=320
12.74/8.84 nFilterCalls=21656, avgTableProportion=0.3457702253417067, avgTableSize=0.6915404506834134
12.74/8.84
12.96/9.08 num=28, depth=6..14, filters=32507, revisions=(35439,useless=19327), ccks=75936325, wck=6.865, mem=84M726
12.96/9.08 decisions=1514, wrong=535, backtracks=227, failedAssignments=352, nogoods=154, foundSolutions=7, bestBound=320
12.96/9.08 nFilterCalls=23517, avgTableProportion=0.34264574563082023, avgTableSize=0.6852914912616405
12.96/9.08
13.35/9.50 num=29, depth=6..12, filters=34965, revisions=(38120,useless=20823), ccks=80718077, wck=7.275, mem=84M726
13.35/9.50 decisions=1620, wrong=584, backtracks=252, failedAssignments=383, nogoods=161, foundSolutions=7, bestBound=320
13.35/9.50 nFilterCalls=25150, avgTableProportion=0.3437375745526839, avgTableSize=0.6874751491053678
13.35/9.50
13.86/9.92 num=30, depth=5..12, filters=38346, revisions=(41818,useless=22757), ccks=85558444, wck=7.702, mem=90M11
13.86/9.92 decisions=1746, wrong=643, backtracks=285, failedAssignments=417, nogoods=167, foundSolutions=7, bestBound=320
13.86/9.92 nFilterCalls=26999, avgTableProportion=0.3449572206378014, avgTableSize=0.6899144412756028
13.86/9.92
14.38/10.45 num=31, depth=7..12, filters=40513, revisions=(44343,useless=24053), ccks=91812908, wck=8.235, mem=92M654
14.38/10.45 decisions=1856, wrong=694, backtracks=306, failedAssignments=454, nogoods=172, foundSolutions=7, bestBound=320
14.38/10.45 nFilterCalls=27993, avgTableProportion=0.34563998142392743, avgTableSize=0.6912799628478549
14.38/10.45
14.88/10.90 num=32, depth=3..12, filters=44228, revisions=(48288,useless=26195), ccks=96824095, wck=8.68, mem=95M296
14.88/10.90 decisions=2010, wrong=767, backtracks=347, failedAssignments=495, nogoods=180, foundSolutions=7, bestBound=320
14.88/10.90 nFilterCalls=30210, avgTableProportion=0.3485931810658722, avgTableSize=0.6971863621317445
14.88/10.90
15.18/11.29 num=33, depth=6..14, filters=48830, revisions=(53043,useless=28736), ccks=101143802, wck=9.075, mem=100M581
15.18/11.29 decisions=2178, wrong=847, backtracks=398, failedAssignments=540, nogoods=185, foundSolutions=7, bestBound=320
15.18/11.29 nFilterCalls=33009, avgTableProportion=0.34938956042291497, avgTableSize=0.6987791208458299
15.18/11.29
15.78/11.80 num=34, depth=0..0, filters=49226, revisions=(53743,useless=29042), ccks=107191478, wck=9.578, mem=100M581
15.78/11.80 decisions=2278, wrong=897, backtracks=398, failedAssignments=590, nogoods=185, foundSolutions=7, bestBound=320
15.78/11.80 nFilterCalls=33013, avgTableProportion=0.3494078090449217, avgTableSize=0.6988156180898434
15.78/11.80
16.18/12.23 num=35, depth=0..9, filters=50676, revisions=(55573,useless=29918), ccks=112215541, wck=10.006, mem=103M224
16.18/12.23 decisions=2407, wrong=958, backtracks=406, failedAssignments=645, nogoods=212, foundSolutions=7, bestBound=320
16.18/12.23 nFilterCalls=33623, avgTableProportion=0.35072718079885795, avgTableSize=0.7014543615977159
16.18/12.23
16.89/12.98 num=36, depth=6..14, filters=55104, revisions=(60594,useless=32592), ccks=120940712, wck=10.754, mem=108M508
16.89/12.98 decisions=2607, wrong=1053, backtracks=448, failedAssignments=706, nogoods=216, foundSolutions=7, bestBound=320
16.89/12.98 nFilterCalls=36082, avgTableProportion=0.34980045452025943, avgTableSize=0.6996009090405189
16.89/12.98
17.50/13.56 num=37, depth=6..14, filters=59881, revisions=(65871,useless=35332), ccks=127531180, wck=11.343, mem=113M793
17.50/13.56 decisions=2836, wrong=1164, backtracks=507, failedAssignments=773, nogoods=226, foundSolutions=7, bestBound=320
17.50/13.56 nFilterCalls=38721, avgTableProportion=0.35169546241057825, avgTableSize=0.7033909248211565
17.50/13.56
18.30/14.30 num=38, depth=4..14, filters=64910, revisions=(71523,useless=38356), ccks=136093175, wck=12.081, mem=119M78
18.30/14.30 decisions=3071, wrong=1278, backtracks=566, failedAssignments=847, nogoods=233, foundSolutions=7, bestBound=320
18.30/14.30 nFilterCalls=41430, avgTableProportion=0.34965001206854934, avgTableSize=0.6993000241370987
18.30/14.30
19.11/15.15 num=39, depth=7..15, filters=70943, revisions=(78070,useless=41869), ccks=145767256, wck=12.927, mem=124M363
19.11/15.15 decisions=3361, wrong=1419, backtracks=639, failedAssignments=928, nogoods=236, foundSolutions=7, bestBound=320
19.11/15.15 nFilterCalls=44993, avgTableProportion=0.3489320560976152, avgTableSize=0.6978641121952304
19.11/15.15
19.90/15.96 num=40, depth=6..14, filters=79236, revisions=(86530,useless=46331), ccks=154676634, wck=13.74, mem=129M648
19.90/15.96 decisions=3664, wrong=1565, backtracks=714, failedAssignments=1017, nogoods=242, foundSolutions=7, bestBound=320
19.90/15.96 nFilterCalls=50215, avgTableProportion=0.3450263865378871, avgTableSize=0.6900527730757742
19.90/15.96
20.90/17.00 num=41, depth=5..14, filters=85967, revisions=(93600,useless=49975), ccks=166705384, wck=14.779, mem=137M575
20.90/17.00 decisions=3984, wrong=1721, backtracks=788, failedAssignments=1115, nogoods=249, foundSolutions=7, bestBound=320
20.90/17.00 nFilterCalls=54165, avgTableProportion=0.3473460721868365, avgTableSize=0.694692144373673
20.90/17.00
21.94/17.91 num=42, depth=6..14, filters=94170, revisions=(102528,useless=54815), ccks=176689876, wck=15.693, mem=24M740
21.94/17.91 decisions=4340, wrong=1893, backtracks=877, failedAssignments=1223, nogoods=255, foundSolutions=7, bestBound=320
21.94/17.91 nFilterCalls=59103, avgTableProportion=0.3476134883170059, avgTableSize=0.6952269766340118
21.94/17.91
22.34/18.37 num=43, depth=5..14, filters=97206, revisions=(106364,useless=56821), ccks=181922017, wck=16.146, mem=29M972
22.34/18.37 decisions=4619, wrong=2028, backtracks=896, failedAssignments=1342, nogoods=268, foundSolutions=7, bestBound=320
22.34/18.37 nFilterCalls=60632, avgTableProportion=0.3478856049610767, avgTableSize=0.6957712099221534
22.34/18.37
23.44/19.44 num=44, depth=6..16, filters=107307, revisions=(117613,useless=63078), ccks=194217809, wck=17.218, mem=41M757
23.44/19.44 decisions=5042, wrong=2236, backtracks=1015, failedAssignments=1473, nogoods=272, foundSolutions=7, bestBound=320
23.44/19.44 nFilterCalls=66588, avgTableProportion=0.3491845377545504, avgTableSize=0.6983690755091008
23.44/19.44
24.44/20.42 num=45, depth=5..17, filters=120100, revisions=(130521,useless=70156), ccks=205227033, wck=18.197, mem=52M220
24.44/20.42 decisions=5525, wrong=2474, backtracks=1154, failedAssignments=1617, nogoods=276, foundSolutions=7, bestBound=320
24.44/20.42 nFilterCalls=75167, avgTableProportion=0.34834435324011864, avgTableSize=0.6966887064802373
24.44/20.42
25.74/21.74 num=46, depth=7..19, filters=131781, revisions=(143387,useless=77170), ccks=220511441, wck=19.519, mem=62M684
25.74/21.74 decisions=6042, wrong=2729, backtracks=1280, failedAssignments=1775, nogoods=278, foundSolutions=7, bestBound=320
25.74/21.74 nFilterCalls=81871, avgTableProportion=0.344890132036985, avgTableSize=0.68978026407397
25.74/21.74
26.88/22.87 num=47, depth=5..19, filters=145371, revisions=(156706,useless=84460), ccks=233424906, wck=20.651, mem=73M148
26.88/22.87 decisions=6589, wrong=2998, backtracks=1402, failedAssignments=1949, nogoods=285, foundSolutions=7, bestBound=320
26.88/22.87 nFilterCalls=91746, avgTableProportion=0.34151352647526867, avgTableSize=0.6830270529505373
26.88/22.87
28.79/24.72 num=48, depth=5..18, filters=158392, revisions=(171135,useless=92236), ccks=254908004, wck=22.502, mem=86M227
28.79/24.72 decisions=7195, wrong=3298, backtracks=1532, failedAssignments=2140, nogoods=290, foundSolutions=7, bestBound=320
28.79/24.72 nFilterCalls=98851, avgTableProportion=0.34103853274119633, avgTableSize=0.6820770654823927
28.79/24.72
30.10/26.04 num=49, depth=5..15, filters=173600, revisions=(186237,useless=100344), ccks=269981824, wck=23.824, mem=99M307
30.10/26.04 decisions=7830, wrong=3612, backtracks=1663, failedAssignments=2351, nogoods=294, foundSolutions=7, bestBound=320
30.10/26.04 nFilterCalls=108932, avgTableProportion=0.33736184041420336, avgTableSize=0.6747236808284067
30.10/26.04
32.26/28.14 num=50, depth=6..17, filters=193637, revisions=(206876,useless=111351), ccks=293864265, wck=25.916, mem=115M3
32.26/28.14 decisions=8649, wrong=4018, backtracks=1889, failedAssignments=2583, nogoods=302, foundSolutions=7, bestBound=320
32.26/28.14 nFilterCalls=121774, avgTableProportion=0.3385164320790973, avgTableSize=0.6770328641581946
32.26/28.14
33.95/29.80 num=51, depth=4..16, filters=212028, revisions=(225943,useless=121924), ccks=312745203, wck=27.581, mem=130M698
33.95/29.80 decisions=9457, wrong=4417, backtracks=2079, failedAssignments=2838, nogoods=308, foundSolutions=7, bestBound=320
33.95/29.80 nFilterCalls=134179, avgTableProportion=0.33548096199852434, avgTableSize=0.6709619239970487
33.95/29.80
35.80/31.61 num=52, depth=5..18, filters=234046, revisions=(248207,useless=134371), ccks=333169893, wck=29.389, mem=149M10
35.80/31.61 decisions=10342, wrong=4855, backtracks=2285, failedAssignments=3119, nogoods=315, foundSolutions=7, bestBound=320
35.80/31.61 nFilterCalls=150312, avgTableProportion=0.3295245888551812, avgTableSize=0.6590491777103624
35.80/31.61
38.74/34.47 num=53, depth=6..20, filters=255409, revisions=(270968,useless=146779), ccks=365930777, wck=32.253, mem=37M828
38.74/34.47 decisions=11321, wrong=5341, backtracks=2528, failedAssignments=3428, nogoods=320, foundSolutions=7, bestBound=320
38.74/34.47 nFilterCalls=163195, avgTableProportion=0.33039921566224456, avgTableSize=0.6607984313244891
38.74/34.47
40.96/36.62 num=54, depth=6..17, filters=282964, revisions=(300086,useless=162935), ccks=389860649, wck=34.403, mem=63M987
40.96/36.62 decisions=12415, wrong=5883, backtracks=2805, failedAssignments=3768, nogoods=331, foundSolutions=7, bestBound=320
40.96/36.62 nFilterCalls=180817, avgTableProportion=0.3318299717393829, avgTableSize=0.6636599434787658
40.96/36.62
44.38/40.09 num=55, depth=3..18, filters=315366, revisions=(333148,useless=180713), ccks=429106737, wck=37.869, mem=90M147
44.38/40.09 decisions=13710, wrong=6527, backtracks=3195, failedAssignments=4142, nogoods=337, foundSolutions=7, bestBound=320
44.38/40.09 nFilterCalls=201555, avgTableProportion=0.33589342859269183, avgTableSize=0.6717868571853837
44.38/40.09
45.38/41.03 num=56, depth=6..15, filters=327224, revisions=(347499,useless=188401), ccks=439569963, wck=38.812, mem=105M842
45.38/41.03 decisions=14613, wrong=6974, backtracks=3251, failedAssignments=4553, nogoods=385, foundSolutions=7, bestBound=320
45.38/41.03 nFilterCalls=206361, avgTableProportion=0.3357150818226312, avgTableSize=0.6714301636452624
45.38/41.03
48.69/44.37 num=57, depth=3..17, filters=358059, revisions=(379058,useless=204794), ccks=477283880, wck=42.154, mem=137M234
48.69/44.37 decisions=16063, wrong=7695, backtracks=3615, failedAssignments=5005, nogoods=390, foundSolutions=7, bestBound=320
48.69/44.37 nFilterCalls=224771, avgTableProportion=0.337314422234185, avgTableSize=0.67462884446837
48.69/44.37
52.74/48.31 num=58, depth=3..17, filters=394155, revisions=(413664,useless=222720), ccks=521996244, wck=46.09, mem=35M307
52.74/48.31 decisions=17683, wrong=8502, backtracks=4030, failedAssignments=5502, nogoods=395, foundSolutions=7, bestBound=320
52.74/48.31 nFilterCalls=248432, avgTableProportion=0.34278796612352674, avgTableSize=0.6855759322470535
52.74/48.31
52.84/48.46 o 317
52.84/48.46 num=59, depth=8..104, filters=395448, revisions=(415007,useless=223473), ccks=523686460, wck=46.239, mem=37M932
52.84/48.46 decisions=17753, wrong=8525, backtracks=4038, failedAssignments=5519, nogoods=401, foundSolutions=8, bestBound=317
52.84/48.46 nFilterCalls=249415, avgTableProportion=0.34255958943928794, avgTableSize=0.6851191788785759
52.84/48.46
58.26/53.89 num=60, depth=3..18, filters=443355, revisions=(464098,useless=249844), ccks=585907314, wck=51.671, mem=87M811
58.26/53.89 decisions=19783, wrong=9537, backtracks=4566, failedAssignments=6121, nogoods=411, foundSolutions=8, bestBound=317
58.26/53.89 nFilterCalls=279344, avgTableProportion=0.34681074231055614, avgTableSize=0.6936214846211123
58.26/53.89
58.36/54.00 num=61, depth=9..15, filters=444386, revisions=(465308,useless=250575), ccks=587126032, wck=51.778, mem=87M811
58.36/54.00 decisions=19830, wrong=9554, backtracks=4573, failedAssignments=6132, nogoods=415, foundSolutions=8, bestBound=317
58.36/54.00 nFilterCalls=280021, avgTableProportion=0.3467597073076662, avgTableSize=0.6935194146153324
58.36/54.00
58.57/54.11 num=62, depth=7..10, filters=445335, revisions=(466351,useless=251133), ccks=588457916, wck=51.895, mem=87M811
58.57/54.11 decisions=19871, wrong=9570, backtracks=4579, failedAssignments=6144, nogoods=420, foundSolutions=8, bestBound=317
58.57/54.11 nFilterCalls=280720, avgTableProportion=0.34671202621829583, avgTableSize=0.6934240524365917
58.57/54.11
58.66/54.26 num=63, depth=7..15, filters=446865, revisions=(468031,useless=252115), ccks=590087850, wck=52.039, mem=90M436
58.66/54.26 decisions=19930, wrong=9595, backtracks=4593, failedAssignments=6157, nogoods=423, foundSolutions=8, bestBound=317
58.66/54.26 nFilterCalls=281714, avgTableProportion=0.3467896519164827, avgTableSize=0.6935793038329654
58.66/54.26
58.76/54.39 num=64, depth=8..12, filters=448058, revisions=(469390,useless=252881), ccks=591600341, wck=52.172, mem=90M436
58.76/54.39 decisions=19984, wrong=9618, backtracks=4604, failedAssignments=6171, nogoods=427, foundSolutions=8, bestBound=317
58.76/54.39 nFilterCalls=282498, avgTableProportion=0.34676705675792396, avgTableSize=0.6935341135158479
58.76/54.39
59.06/54.63 num=65, depth=9..15, filters=449496, revisions=(470935,useless=253683), ccks=594345738, wck=52.41, mem=93M62
59.06/54.63 decisions=20048, wrong=9645, backtracks=4616, failedAssignments=6187, nogoods=434, foundSolutions=8, bestBound=317
59.06/54.63 nFilterCalls=283338, avgTableProportion=0.3469178154712746, avgTableSize=0.6938356309425492
59.06/54.63
59.36/54.93 num=66, depth=4..8, filters=450626, revisions=(472241,useless=254314), ccks=597864792, wck=52.71, mem=95M687
59.36/54.93 decisions=20121, wrong=9678, backtracks=4633, failedAssignments=6204, nogoods=439, foundSolutions=8, bestBound=317
59.36/54.93 nFilterCalls=283847, avgTableProportion=0.347088396213453, avgTableSize=0.694176792426906
59.36/54.93
59.57/55.17 num=67, depth=6..12, filters=452483, revisions=(474140,useless=255365), ccks=600612859, wck=52.948, mem=95M687
59.57/55.17 decisions=20192, wrong=9709, backtracks=4647, failedAssignments=6223, nogoods=449, foundSolutions=8, bestBound=317
59.57/55.17 nFilterCalls=285142, avgTableProportion=0.3470586584929614, avgTableSize=0.6941173169859228
59.57/55.17
59.76/55.33 num=68, depth=6..12, filters=453752, revisions=(475587,useless=256161), ccks=602476805, wck=53.111, mem=98M312
59.76/55.33 decisions=20259, wrong=9739, backtracks=4663, failedAssignments=6244, nogoods=452, foundSolutions=8, bestBound=317
59.76/55.33 nFilterCalls=285923, avgTableProportion=0.34694130937350265, avgTableSize=0.6938826187470053
59.76/55.33
60.06/55.64 num=69, depth=6..13, filters=455535, revisions=(477584,useless=257206), ccks=606110835, wck=53.423, mem=100M937
60.06/55.64 decisions=20342, wrong=9776, backtracks=4682, failedAssignments=6267, nogoods=458, foundSolutions=8, bestBound=317
60.06/55.64 nFilterCalls=286933, avgTableProportion=0.3469311651152011, avgTableSize=0.6938623302304022
60.06/55.64
60.47/56.05 num=70, depth=9..18, filters=458042, revisions=(480318,useless=258667), ccks=610799925, wck=53.829, mem=103M562
60.47/56.05 decisions=20437, wrong=9818, backtracks=4701, failedAssignments=6292, nogoods=462, foundSolutions=8, bestBound=317
60.47/56.05 nFilterCalls=288328, avgTableProportion=0.3471879248633501, avgTableSize=0.6943758497267002
60.47/56.05
60.66/56.27 num=71, depth=3..12, filters=459958, revisions=(482292,useless=259658), ccks=613366968, wck=54.054, mem=106M188
60.66/56.27 decisions=20539, wrong=9866, backtracks=4726, failedAssignments=6320, nogoods=466, foundSolutions=8, bestBound=317
60.66/56.27 nFilterCalls=289435, avgTableProportion=0.3473456907423083, avgTableSize=0.6946913814846166
60.66/56.27
61.16/56.70 num=72, depth=9..18, filters=463099, revisions=(485661,useless=261466), ccks=618251206, wck=54.478, mem=108M813
61.16/56.70 decisions=20656, wrong=9919, backtracks=4749, failedAssignments=6351, nogoods=475, foundSolutions=8, bestBound=317
61.16/56.70 nFilterCalls=291301, avgTableProportion=0.34746362010429077, avgTableSize=0.6949272402085815
61.16/56.70
61.57/57.11 num=73, depth=7..15, filters=465323, revisions=(488110,useless=262779), ccks=623042696, wck=54.89, mem=111M438
61.57/57.11 decisions=20774, wrong=9974, backtracks=4777, failedAssignments=6385, nogoods=479, foundSolutions=8, bestBound=317
61.57/57.11 nFilterCalls=292624, avgTableProportion=0.3474185302640932, avgTableSize=0.6948370605281864
61.57/57.11
61.87/57.44 num=74, depth=5..11, filters=467389, revisions=(490455,useless=263982), ccks=626904755, wck=55.224, mem=114M63
61.87/57.44 decisions=20892, wrong=10030, backtracks=4804, failedAssignments=6422, nogoods=488, foundSolutions=8, bestBound=317
61.87/57.44 nFilterCalls=293657, avgTableProportion=0.34768624619879657, avgTableSize=0.6953724923975931
61.87/57.44
62.27/57.85 num=75, depth=9..17, filters=470578, revisions=(493758,useless=265779), ccks=631614444, wck=55.633, mem=116M689
62.27/57.85 decisions=21018, wrong=10088, backtracks=4829, failedAssignments=6463, nogoods=496, foundSolutions=8, bestBound=317
62.27/57.85 nFilterCalls=295743, avgTableProportion=0.34759064457992245, avgTableSize=0.6951812891598449
62.27/57.85
62.58/58.12 num=76, depth=5..15, filters=472956, revisions=(496410,useless=267303), ccks=634697204, wck=55.901, mem=119M314
62.58/58.12 decisions=21161, wrong=10156, backtracks=4863, failedAssignments=6508, nogoods=501, foundSolutions=8, bestBound=317
62.58/58.12 nFilterCalls=297387, avgTableProportion=0.3469704459172728, avgTableSize=0.6939408918345455
62.58/58.12
62.97/58.52 num=77, depth=6..15, filters=476743, revisions=(500768,useless=269752), ccks=639193619, wck=56.296, mem=124M564
62.97/58.52 decisions=21335, wrong=10238, backtracks=4912, failedAssignments=6558, nogoods=509, foundSolutions=8, bestBound=317
62.97/58.52 nFilterCalls=299734, avgTableProportion=0.3467424449678715, avgTableSize=0.693484889935743
62.97/58.52
63.37/58.93 num=78, depth=8..20, filters=481767, revisions=(506115,useless=272805), ccks=643801218, wck=56.706, mem=129M815
63.37/58.93 decisions=21547, wrong=10338, backtracks=4972, failedAssignments=6613, nogoods=515, foundSolutions=8, bestBound=317
63.37/58.93 nFilterCalls=303241, avgTableProportion=0.3462707879211584, avgTableSize=0.6925415758423168
63.37/58.93
63.77/59.36 num=79, depth=4..17, filters=484660, revisions=(509617,useless=274772), ccks=648860132, wck=57.142, mem=132M440
63.77/59.36 decisions=21754, wrong=10437, backtracks=5018, failedAssignments=6674, nogoods=524, foundSolutions=8, bestBound=317
63.77/59.36 nFilterCalls=304887, avgTableProportion=0.3462905929081922, avgTableSize=0.6925811858163844
63.77/59.36
64.48/60.09 num=80, depth=6..13, filters=488797, revisions=(514167,useless=277107), ccks=657294088, wck=57.867, mem=137M690
64.48/60.09 decisions=21967, wrong=10540, backtracks=5071, failedAssignments=6741, nogoods=531, foundSolutions=8, bestBound=317
64.48/60.09 nFilterCalls=307250, avgTableProportion=0.3460813669650122, avgTableSize=0.6921627339300244
64.48/60.09
65.58/61.16 num=81, depth=5..16, filters=495310, revisions=(521050,useless=280731), ccks=669861478, wck=58.943, mem=142M941
65.58/61.16 decisions=22230, wrong=10665, backtracks=5136, failedAssignments=6815, nogoods=543, foundSolutions=8, bestBound=317
65.58/61.16 nFilterCalls=311129, avgTableProportion=0.3459095744851814, avgTableSize=0.6918191489703628
65.58/61.16
66.58/62.11 num=82, depth=5..16, filters=503467, revisions=(529718,useless=285100), ccks=680682902, wck=59.89, mem=150M816
66.58/62.11 decisions=22552, wrong=10822, backtracks=5231, failedAssignments=6896, nogoods=551, foundSolutions=8, bestBound=317
66.58/62.11 nFilterCalls=315833, avgTableProportion=0.34686527373643666, avgTableSize=0.6937305474728733
66.58/62.11
67.17/62.75 o 316
67.17/62.75 num=83, depth=5..104, filters=507511, revisions=(533807,useless=287134), ccks=688002868, wck=60.534, mem=24M811
67.17/62.75 decisions=22767, wrong=10920, backtracks=5278, failedAssignments=6961, nogoods=555, foundSolutions=9, bestBound=316
67.17/62.75 nFilterCalls=318450, avgTableProportion=0.34703721149317, avgTableSize=0.69407442298634
67.17/62.75
67.80/63.35 num=84, depth=5..17, filters=515502, revisions=(541851,useless=291594), ccks=694650042, wck=61.132, mem=32M580
67.80/63.35 decisions=23054, wrong=11060, backtracks=5332, failedAssignments=7059, nogoods=578, foundSolutions=9, bestBound=316
67.80/63.35 nFilterCalls=323450, avgTableProportion=0.34797186582161077, avgTableSize=0.6959437316432215
67.80/63.35
67.90/63.48 num=85, depth=12..20, filters=516252, revisions=(542710,useless=292035), ccks=696181146, wck=61.265, mem=32M580
67.90/63.48 decisions=23101, wrong=11076, backtracks=5340, failedAssignments=7070, nogoods=581, foundSolutions=9, bestBound=316
67.90/63.48 nFilterCalls=323909, avgTableProportion=0.34802058602879204, avgTableSize=0.6960411720575841
67.90/63.48
68.10/63.62 num=86, depth=8..13, filters=517386, revisions=(543973,useless=292733), ccks=697746844, wck=61.403, mem=35M169
68.10/63.62 decisions=23149, wrong=11095, backtracks=5350, failedAssignments=7082, nogoods=586, foundSolutions=9, bestBound=316
68.10/63.62 nFilterCalls=324646, avgTableProportion=0.34806835753405246, avgTableSize=0.6961367150681049
68.10/63.62
68.40/63.93 num=87, depth=6..11, filters=518603, revisions=(545197,useless=293320), ccks=701326987, wck=61.708, mem=37M759
68.40/63.93 decisions=23203, wrong=11118, backtracks=5363, failedAssignments=7095, nogoods=588, foundSolutions=9, bestBound=316
68.40/63.93 nFilterCalls=325324, avgTableProportion=0.34816982454414674, avgTableSize=0.6963396490882935
68.40/63.93
68.51/64.06 num=88, depth=6..12, filters=519276, revisions=(545904,useless=293713), ccks=702843735, wck=61.839, mem=37M759
68.51/64.06 decisions=23252, wrong=11137, backtracks=5368, failedAssignments=7109, nogoods=593, foundSolutions=9, bestBound=316
68.51/64.06 nFilterCalls=325828, avgTableProportion=0.34825582822839046, avgTableSize=0.6965116564567809
68.51/64.06
68.70/64.29 num=89, depth=7..11, filters=520529, revisions=(547328,useless=294449), ccks=705491866, wck=62.068, mem=40M348
68.70/64.29 decisions=23317, wrong=11165, backtracks=5382, failedAssignments=7125, nogoods=595, foundSolutions=9, bestBound=316
68.70/64.29 nFilterCalls=326517, avgTableProportion=0.3482008593733251, avgTableSize=0.6964017187466502
68.70/64.29
69.01/64.53 num=90, depth=5..13, filters=522413, revisions=(549382,useless=295464), ccks=708299044, wck=62.313, mem=40M348
69.01/64.53 decisions=23390, wrong=11197, backtracks=5406, failedAssignments=7142, nogoods=600, foundSolutions=9, bestBound=316
69.01/64.53 nFilterCalls=327632, avgTableProportion=0.348436660643649, avgTableSize=0.696873321287298
69.01/64.53
69.31/64.80 num=91, depth=6..12, filters=524175, revisions=(551163,useless=296361), ccks=711427162, wck=62.584, mem=42M938
69.31/64.80 decisions=23464, wrong=11229, backtracks=5423, failedAssignments=7161, nogoods=607, foundSolutions=9, bestBound=316
69.31/64.80 nFilterCalls=328732, avgTableProportion=0.34862745336626794, avgTableSize=0.6972549067325359
69.31/64.80
69.51/65.03 num=92, depth=6..13, filters=525270, revisions=(552356,useless=296951), ccks=714037292, wck=62.809, mem=45M527
69.51/65.03 decisions=23537, wrong=11260, backtracks=5437, failedAssignments=7182, nogoods=612, foundSolutions=9, bestBound=316
69.51/65.03 nFilterCalls=329387, avgTableProportion=0.34863701360405847, avgTableSize=0.6972740272081169
69.51/65.03
69.71/65.29 num=93, depth=8..14, filters=526642, revisions=(553943,useless=297778), ccks=717085469, wck=63.071, mem=45M527
69.71/65.29 decisions=23624, wrong=11299, backtracks=5456, failedAssignments=7205, nogoods=620, foundSolutions=9, bestBound=316
69.71/65.29 nFilterCalls=330135, avgTableProportion=0.3486376785254517, avgTableSize=0.6972753570509034
69.71/65.29
70.11/65.63 num=94, depth=7..14, filters=528188, revisions=(555630,useless=298680), ccks=721095499, wck=63.414, mem=48M117
70.11/65.63 decisions=23706, wrong=11335, backtracks=5473, failedAssignments=7230, nogoods=623, foundSolutions=9, bestBound=316
70.11/65.63 nFilterCalls=331092, avgTableProportion=0.34853303613497155, avgTableSize=0.6970660722699431
70.11/65.63
70.51/66.10 num=95, depth=6..11, filters=531202, revisions=(558697,useless=300209), ccks=726454882, wck=63.877, mem=50M706
70.51/66.10 decisions=23815, wrong=11385, backtracks=5499, failedAssignments=7258, nogoods=626, foundSolutions=9, bestBound=316
70.51/66.10 nFilterCalls=332936, avgTableProportion=0.34867061537352523, avgTableSize=0.6973412307470505
70.51/66.10
70.81/66.32 num=96, depth=7..14, filters=533367, revisions=(561060,useless=301512), ccks=728966865, wck=64.097, mem=53M295
70.81/66.32 decisions=23925, wrong=11436, backtracks=5528, failedAssignments=7289, nogoods=633, foundSolutions=9, bestBound=316
70.81/66.32 nFilterCalls=334292, avgTableProportion=0.34849024206382445, avgTableSize=0.6969804841276489
70.81/66.32
71.23/66.76 num=97, depth=7..15, filters=535817, revisions=(563847,useless=302989), ccks=734103863, wck=64.539, mem=55M885
71.23/66.76 decisions=24046, wrong=11493, backtracks=5560, failedAssignments=7323, nogoods=638, foundSolutions=9, bestBound=316
71.23/66.76 nFilterCalls=335706, avgTableProportion=0.34843732313393266, avgTableSize=0.6968746462678653
71.23/66.76
71.73/67.25 num=98, depth=4..12, filters=540014, revisions=(568177,useless=305133), ccks=739771085, wck=65.034, mem=61M64
71.73/67.25 decisions=24195, wrong=11563, backtracks=5603, failedAssignments=7360, nogoods=648, foundSolutions=9, bestBound=316
71.73/67.25 nFilterCalls=338286, avgTableProportion=0.3487300686401447, avgTableSize=0.6974601372802894
71.73/67.25
72.13/67.65 num=99, depth=6..14, filters=542800, revisions=(570965,useless=306581), ccks=744303874, wck=65.426, mem=63M653
72.13/67.65 decisions=24330, wrong=11627, backtracks=5633, failedAssignments=7401, nogoods=657, foundSolutions=9, bestBound=316
72.13/67.65 nFilterCalls=339986, avgTableProportion=0.3488761301935962, avgTableSize=0.6977522603871924
72.13/67.65
72.43/67.98 num=100, depth=6..12, filters=545847, revisions=(573955,useless=308000), ccks=748092263, wck=65.758, mem=66M243
72.43/67.98 decisions=24473, wrong=11695, backtracks=5663, failedAssignments=7446, nogoods=663, foundSolutions=9, bestBound=316
72.43/67.98 nFilterCalls=341875, avgTableProportion=0.3491422303473492, avgTableSize=0.6982844606946984
72.43/67.98
73.14/68.64 num=101, depth=5..13, filters=549948, revisions=(578436,useless=310439), ccks=755776375, wck=66.42, mem=71M422
73.14/68.64 decisions=24659, wrong=11785, backtracks=5720, failedAssignments=7496, nogoods=665, foundSolutions=9, bestBound=316
73.14/68.64 nFilterCalls=344380, avgTableProportion=0.3492827690342064, avgTableSize=0.6985655380684128
73.14/68.64
73.94/69.41 num=102, depth=4..11, filters=555228, revisions=(584235,useless=313443), ccks=764651305, wck=67.19, mem=76M601
73.94/69.41 decisions=24863, wrong=11883, backtracks=5776, failedAssignments=7551, nogoods=668, foundSolutions=9, bestBound=316
73.94/69.41 nFilterCalls=347061, avgTableProportion=0.3497728065095185, avgTableSize=0.699545613019037
73.94/69.41
74.44/69.98 num=103, depth=6..16, filters=559348, revisions=(588723,useless=315759), ccks=771225283, wck=67.76, mem=81M779
74.44/69.98 decisions=25065, wrong=11979, backtracks=5824, failedAssignments=7612, nogoods=672, foundSolutions=9, bestBound=316
74.44/69.98 nFilterCalls=349496, avgTableProportion=0.34999399134754045, avgTableSize=0.6999879826950809
74.44/69.98
75.04/70.57 num=104, depth=5..14, filters=563656, revisions=(593705,useless=318394), ccks=778112422, wck=68.353, mem=86M958
75.04/70.57 decisions=25279, wrong=12082, backtracks=5881, failedAssignments=7679, nogoods=675, foundSolutions=9, bestBound=316
75.04/70.57 nFilterCalls=351685, avgTableProportion=0.35000639777073234, avgTableSize=0.7000127955414647
75.04/70.57
75.36/70.86 num=105, depth=6..10, filters=566266, revisions=(596488,useless=319907), ccks=781374911, wck=68.638, mem=89M548
75.36/70.86 decisions=25454, wrong=12166, backtracks=5893, failedAssignments=7753, nogoods=726, foundSolutions=9, bestBound=316
75.36/70.86 nFilterCalls=353226, avgTableProportion=0.3502771596654833, avgTableSize=0.7005543193309666
75.36/70.86
76.26/71.76 num=106, depth=6..23, filters=572126, revisions=(602786,useless=323307), ccks=791966982, wck=69.543, mem=95M572
76.26/71.76 decisions=25711, wrong=12289, backtracks=5953, failedAssignments=7834, nogoods=731, foundSolutions=9, bestBound=316
76.26/71.76 nFilterCalls=356987, avgTableProportion=0.3500547638989655, avgTableSize=0.700109527797931
76.26/71.76
77.07/72.50 num=107, depth=5..12, filters=579635, revisions=(610413,useless=327552), ccks=800438117, wck=70.283, mem=105M930
77.07/72.50 decisions=25986, wrong=12423, backtracks=6005, failedAssignments=7923, nogoods=737, foundSolutions=9, bestBound=316
77.07/72.50 nFilterCalls=361389, avgTableProportion=0.35071903129314946, avgTableSize=0.7014380625862989
77.07/72.50
77.17/72.66 o 315
77.17/72.66 num=108, depth=10..104, filters=581276, revisions=(612343,useless=328669), ccks=802224213, wck=70.44, mem=105M930
77.17/72.66 decisions=26106, wrong=12471, backtracks=6023, failedAssignments=7957, nogoods=743, foundSolutions=10, bestBound=315
77.17/72.66 nFilterCalls=362427, avgTableProportion=0.35046643875870176, avgTableSize=0.7009328775174035
77.17/72.66
78.08/73.54 num=109, depth=4..14, filters=589148, revisions=(620489,useless=333008), ccks=812360558, wck=71.32, mem=113M698
78.08/73.54 decisions=26483, wrong=12654, backtracks=6114, failedAssignments=8065, nogoods=751, foundSolutions=10, bestBound=315
78.08/73.54 nFilterCalls=367409, avgTableProportion=0.3509331562373268, avgTableSize=0.7018663124746536
78.08/73.54
78.28/73.75 num=110, depth=9..13, filters=590298, revisions=(621817,useless=333701), ccks=814824773, wck=71.531, mem=116M288
78.28/73.75 decisions=26534, wrong=12675, backtracks=6127, failedAssignments=8076, nogoods=755, foundSolutions=10, bestBound=315
78.28/73.75 nFilterCalls=368016, avgTableProportion=0.3509249597843572, avgTableSize=0.7018499195687145
78.28/73.75
78.48/73.99 num=111, depth=4..16, filters=591167, revisions=(622900,useless=334259), ccks=817675758, wck=71.771, mem=116M288
78.48/73.99 decisions=26586, wrong=12697, backtracks=6138, failedAssignments=8088, nogoods=760, foundSolutions=10, bestBound=315
78.48/73.99 nFilterCalls=368474, avgTableProportion=0.35092028202804, avgTableSize=0.70184056405608
78.48/73.99
78.69/74.13 num=112, depth=5..10, filters=592250, revisions=(623837,useless=334715), ccks=819270559, wck=71.91, mem=118M877
78.69/74.13 decisions=26640, wrong=12719, backtracks=6148, failedAssignments=8101, nogoods=762, foundSolutions=10, bestBound=315
78.69/74.13 nFilterCalls=369177, avgTableProportion=0.35110529637545135, avgTableSize=0.7022105927509027
78.69/74.13
78.78/74.27 num=113, depth=6..12, filters=592939, revisions=(624496,useless=335036), ccks=820890908, wck=72.048, mem=118M877
78.78/74.27 decisions=26681, wrong=12735, backtracks=6150, failedAssignments=8115, nogoods=773, foundSolutions=10, bestBound=315
78.78/74.27 nFilterCalls=369756, avgTableProportion=0.35099092374430707, avgTableSize=0.7019818474886141
78.78/74.27
79.01/74.49 num=114, depth=7..12, filters=593896, revisions=(625627,useless=335569), ccks=823547037, wck=72.273, mem=121M467
79.01/74.49 decisions=26742, wrong=12762, backtracks=6162, failedAssignments=8131, nogoods=778, foundSolutions=10, bestBound=315
79.01/74.49 nFilterCalls=370218, avgTableProportion=0.35103776693731803, avgTableSize=0.7020755338746361
79.01/74.49
79.21/74.66 num=115, depth=7..13, filters=595521, revisions=(627437,useless=336573), ccks=825406277, wck=72.436, mem=124M56
79.21/74.66 decisions=26815, wrong=12794, backtracks=6180, failedAssignments=8148, nogoods=781, foundSolutions=10, bestBound=315
79.21/74.66 nFilterCalls=371208, avgTableProportion=0.3510525096441887, avgTableSize=0.7021050192883774
79.21/74.66
79.31/74.76 num=116, depth=9..12, filters=596108, revisions=(628135,useless=336942), ccks=826579682, wck=72.537, mem=124M56
79.31/74.76 decisions=26866, wrong=12815, backtracks=6183, failedAssignments=8167, nogoods=798, foundSolutions=10, bestBound=315
79.31/74.76 nFilterCalls=371509, avgTableProportion=0.35111935377070275, avgTableSize=0.7022387075414055
79.31/74.76
79.61/75.04 num=117, depth=6..12, filters=597165, revisions=(629430,useless=337595), ccks=829942019, wck=72.822, mem=126M645
79.61/75.04 decisions=26934, wrong=12845, backtracks=6197, failedAssignments=8188, nogoods=805, foundSolutions=10, bestBound=315
79.61/75.04 nFilterCalls=371969, avgTableProportion=0.3511515744591619, avgTableSize=0.7023031489183238
79.61/75.04
79.72/75.18 num=118, depth=9..17, filters=598655, revisions=(630962,useless=338441), ccks=831472905, wck=72.956, mem=126M645
79.72/75.18 decisions=27012, wrong=12879, backtracks=6212, failedAssignments=8211, nogoods=809, foundSolutions=10, bestBound=315
79.72/75.18 nFilterCalls=373035, avgTableProportion=0.3510836784752101, avgTableSize=0.7021673569504202
79.72/75.18
80.11/75.50 num=119, depth=6..13, filters=600027, revisions=(632575,useless=339258), ccks=835312266, wck=73.282, mem=129M235
80.11/75.50 decisions=27093, wrong=12915, backtracks=6226, failedAssignments=8236, nogoods=815, foundSolutions=10, bestBound=315
80.11/75.50 nFilterCalls=373712, avgTableProportion=0.3512290212784176, avgTableSize=0.7024580425568352
80.11/75.50
80.21/75.60 num=120, depth=8..9, filters=600544, revisions=(633250,useless=339619), ccks=836418225, wck=73.377, mem=129M235
80.21/75.60 decisions=27159, wrong=12944, backtracks=6227, failedAssignments=8264, nogoods=843, foundSolutions=10, bestBound=315
80.21/75.60 nFilterCalls=373934, avgTableProportion=0.3512932763535811, avgTableSize=0.7025865527071622
80.21/75.60
80.62/76.10 num=121, depth=5..14, filters=602732, revisions=(635775,useless=340855), ccks=842317563, wck=73.876, mem=131M824
80.62/76.10 decisions=27270, wrong=12995, backtracks=6258, failedAssignments=8295, nogoods=846, foundSolutions=10, bestBound=315
80.62/76.10 nFilterCalls=374969, avgTableProportion=0.35131037499099926, avgTableSize=0.7026207499819985
80.62/76.10
80.91/76.31 num=122, depth=8..20, filters=604864, revisions=(638069,useless=342038), ccks=844834628, wck=74.094, mem=134M414
80.91/76.31 decisions=27392, wrong=13050, backtracks=6284, failedAssignments=8329, nogoods=852, foundSolutions=10, bestBound=315
80.91/76.31 nFilterCalls=376326, avgTableProportion=0.3511078160956192, avgTableSize=0.7022156321912384
80.91/76.31
81.31/76.78 num=123, depth=5..15, filters=607762, revisions=(641482,useless=343908), ccks=850310990, wck=74.561, mem=137M3
81.31/76.78 decisions=27534, wrong=13117, backtracks=6321, failedAssignments=8366, nogoods=856, foundSolutions=10, bestBound=315
81.31/76.78 nFilterCalls=377978, avgTableProportion=0.35101381561889844, avgTableSize=0.7020276312377969
81.31/76.78
81.62/77.03 num=124, depth=7..14, filters=610077, revisions=(643956,useless=345220), ccks=853134176, wck=74.808, mem=139M593
81.62/77.03 decisions=27672, wrong=13181, backtracks=6354, failedAssignments=8407, nogoods=861, foundSolutions=10, bestBound=315
81.62/77.03 nFilterCalls=379550, avgTableProportion=0.3508694506652615, avgTableSize=0.701738901330523
81.62/77.03
82.11/77.58 num=125, depth=6..12, filters=613081, revisions=(647439,useless=347047), ccks=859634327, wck=75.359, mem=144M772
82.11/77.58 decisions=27822, wrong=13252, backtracks=6391, failedAssignments=8452, nogoods=866, foundSolutions=10, bestBound=315
82.11/77.58 nFilterCalls=381154, avgTableProportion=0.35098411665625967, avgTableSize=0.7019682333125193
82.11/77.58
82.62/78.01 num=126, depth=5..13, filters=615843, revisions=(650318,useless=348561), ccks=864697893, wck=75.791, mem=147M361
82.62/78.01 decisions=27972, wrong=13323, backtracks=6422, failedAssignments=8502, nogoods=871, foundSolutions=10, bestBound=315
82.62/78.01 nFilterCalls=383008, avgTableProportion=0.3507106901161333, avgTableSize=0.7014213802322666
82.62/78.01
82.72/78.18 num=127, depth=6..10, filters=617399, revisions=(652121,useless=349519), ccks=866653437, wck=75.963, mem=149M951
82.72/78.18 decisions=28108, wrong=13387, backtracks=6433, failedAssignments=8557, nogoods=875, foundSolutions=10, bestBound=315
82.72/78.18 nFilterCalls=383751, avgTableProportion=0.3508381737115994, avgTableSize=0.7016763474231988
82.72/78.18
83.44/78.85 num=128, depth=6..15, filters=622348, revisions=(657501,useless=352336), ccks=874272214, wck=76.631, mem=24M792
83.44/78.85 decisions=28331, wrong=13495, backtracks=6495, failedAssignments=8618, nogoods=885, foundSolutions=10, bestBound=315
83.44/78.85 nFilterCalls=386563, avgTableProportion=0.35076171283852825, avgTableSize=0.7015234256770565
83.44/78.85
84.24/79.60 num=129, depth=4..14, filters=627882, revisions=(663073,useless=355209), ccks=882930181, wck=77.384, mem=29M884
84.24/79.60 decisions=28579, wrong=13616, backtracks=6566, failedAssignments=8685, nogoods=893, foundSolutions=10, bestBound=315
84.24/79.60 nFilterCalls=389856, avgTableProportion=0.35095137691865713, avgTableSize=0.7019027538373143
84.24/79.60
84.85/80.28 num=130, depth=5..12, filters=632958, revisions=(668937,useless=358469), ccks=890659466, wck=78.057, mem=34M975
84.85/80.28 decisions=28837, wrong=13740, backtracks=6635, failedAssignments=8759, nogoods=904, foundSolutions=10, bestBound=315
84.85/80.28 nFilterCalls=392683, avgTableProportion=0.35111527618970007, avgTableSize=0.7022305523794001
84.85/80.28
85.84/81.30 num=131, depth=5..15, filters=639782, revisions=(675950,useless=362162), ccks=902484696, wck=79.075, mem=42M612
85.84/81.30 decisions=29125, wrong=13878, backtracks=6709, failedAssignments=8840, nogoods=912, foundSolutions=10, bestBound=315
85.84/81.30 nFilterCalls=396944, avgTableProportion=0.3511187976137692, avgTableSize=0.7022375952275384
85.84/81.30
86.65/82.07 num=132, depth=6..16, filters=645718, revisions=(682494,useless=365675), ccks=911374293, wck=79.849, mem=47M703
86.65/82.07 decisions=29442, wrong=14033, backtracks=6787, failedAssignments=8929, nogoods=915, foundSolutions=10, bestBound=315
86.65/82.07 nFilterCalls=400400, avgTableProportion=0.3510114885114885, avgTableSize=0.702022977022977
86.65/82.07
87.45/82.87 num=133, depth=6..13, filters=653658, revisions=(690710,useless=370086), ccks=920503627, wck=80.653, mem=55M340
87.45/82.87 decisions=29764, wrong=14190, backtracks=6880, failedAssignments=9027, nogoods=920, foundSolutions=10, bestBound=315
87.45/82.87 nFilterCalls=405580, avgTableProportion=0.3511797919029538, avgTableSize=0.7023595838059076
87.45/82.87
88.65/84.05 num=134, depth=3..16, filters=662646, revisions=(700221,useless=375249), ccks=934006831, wck=81.83, mem=65M523
88.65/84.05 decisions=30141, wrong=14376, backtracks=6977, failedAssignments=9135, nogoods=929, foundSolutions=10, bestBound=315
88.65/84.05 nFilterCalls=411033, avgTableProportion=0.3515557145046748, avgTableSize=0.7031114290093496
88.65/84.05
89.85/85.24 num=135, depth=5..15, filters=670707, revisions=(708494,useless=379425), ccks=947833351, wck=83.021, mem=73M160
89.85/85.24 decisions=30518, wrong=14561, backtracks=7062, failedAssignments=9254, nogoods=934, foundSolutions=10, bestBound=315
89.85/85.24 nFilterCalls=415543, avgTableProportion=0.35178068214360486, avgTableSize=0.7035613642872097
89.85/85.24
90.85/86.26 num=136, depth=4..14, filters=679110, revisions=(717387,useless=384155), ccks=959549914, wck=84.043, mem=81M337
90.85/86.26 decisions=30923, wrong=14760, backtracks=7148, failedAssignments=9385, nogoods=943, foundSolutions=10, bestBound=315
90.85/86.26 nFilterCalls=420507, avgTableProportion=0.3518823705669585, avgTableSize=0.703764741133917
90.85/86.26
91.66/87.03 num=137, depth=5..13, filters=687842, revisions=(726436,useless=388969), ccks=968189260, wck=84.815, mem=88M974
91.66/87.03 decisions=31368, wrong=14979, backtracks=7256, failedAssignments=9529, nogoods=952, foundSolutions=10, bestBound=315
91.66/87.03 nFilterCalls=425968, avgTableProportion=0.3521426492130864, avgTableSize=0.7042852984261728
91.66/87.03
93.05/88.45 num=138, depth=5..15, filters=699013, revisions=(736965,useless=394388), ccks=984554268, wck=86.226, mem=99M157
93.05/88.45 decisions=31837, wrong=15208, backtracks=7347, failedAssignments=9687, nogoods=960, foundSolutions=10, bestBound=315
93.05/88.45 nFilterCalls=433599, avgTableProportion=0.352108745638251, avgTableSize=0.704217491276502
93.05/88.45
94.66/90.10 num=139, depth=4..18, filters=717072, revisions=(755491,useless=404376), ccks=1003206448, wck=87.882, mem=114M431
94.66/90.10 decisions=32470, wrong=15522, backtracks=7545, failedAssignments=9861, nogoods=964, foundSolutions=10, bestBound=315
94.66/90.10 nFilterCalls=444755, avgTableProportion=0.3529055322593338, avgTableSize=0.7058110645186676
94.66/90.10
95.95/91.37 num=140, depth=5..16, filters=728288, revisions=(767190,useless=410617), ccks=1017796611, wck=89.154, mem=127M159
95.95/91.37 decisions=33079, wrong=15822, backtracks=7683, failedAssignments=10052, nogoods=973, foundSolutions=10, bestBound=315
95.95/91.37 nFilterCalls=451675, avgTableProportion=0.3529672884264128, avgTableSize=0.7059345768528256
95.95/91.37
97.55/92.94 num=141, depth=5..15, filters=747220, revisions=(786940,useless=420836), ccks=1035419953, wck=90.721, mem=147M524
97.55/92.94 decisions=33807, wrong=16181, backtracks=7876, failedAssignments=10263, nogoods=978, foundSolutions=10, bestBound=315
97.55/92.94 nFilterCalls=462633, avgTableProportion=0.3531211565106683, avgTableSize=0.7062423130213366
97.55/92.94
99.18/94.52 num=142, depth=5..17, filters=763483, revisions=(803542,useless=429790), ccks=1053330141, wck=92.303, mem=34M811
99.18/94.52 decisions=34577, wrong=16562, backtracks=8072, failedAssignments=10495, nogoods=987, foundSolutions=10, bestBound=315
99.18/94.52 nFilterCalls=472632, avgTableProportion=0.353321400159109, avgTableSize=0.706642800318218
99.18/94.52
101.69/97.02 num=143, depth=2..14, filters=785557, revisions=(825773,useless=441292), ccks=1082115002, wck=94.797, mem=54M848
101.69/97.02 decisions=35446, wrong=16993, backtracks=8319, failedAssignments=10750, nogoods=998, foundSolutions=10, bestBound=315
101.69/97.02 nFilterCalls=486292, avgTableProportion=0.35425629045923024, avgTableSize=0.7085125809184605
101.69/97.02
103.69/99.10 num=144, depth=3..14, filters=810261, revisions=(849591,useless=453745), ccks=1105717328, wck=96.879, mem=77M390
103.69/99.10 decisions=36387, wrong=17461, backtracks=8570, failedAssignments=11031, nogoods=1007, foundSolutions=10, bestBound=315
103.69/99.10 nFilterCalls=501314, avgTableProportion=0.3556214268901327, avgTableSize=0.7112428537802654
103.69/99.10
106.18/101.54 num=145, depth=4..16, filters=831537, revisions=(871165,useless=465100), ccks=1134042078, wck=99.322, mem=94M922
106.18/101.54 decisions=37359, wrong=17942, backtracks=8788, failedAssignments=11340, nogoods=1013, foundSolutions=10, bestBound=315
106.18/101.54 nFilterCalls=514461, avgTableProportion=0.3552455871290535, avgTableSize=0.710491174258107
106.18/101.54
109.08/104.44 num=146, depth=5..19, filters=854056, revisions=(896288,useless=478608), ccks=1167711784, wck=102.222, mem=117M464
109.08/104.44 decisions=38470, wrong=18493, backtracks=9090, failedAssignments=11680, nogoods=1020, foundSolutions=10, bestBound=315
109.08/104.44 nFilterCalls=527118, avgTableProportion=0.35481239494762085, avgTableSize=0.7096247898952417
109.08/104.44
110.79/106.11 num=147, depth=5..16, filters=868665, revisions=(912166,useless=487287), ccks=1187065112, wck=103.888, mem=134M996
110.79/106.11 decisions=39378, wrong=18944, backtracks=9179, failedAssignments=12054, nogoods=1024, foundSolutions=10, bestBound=315
110.79/106.11 nFilterCalls=535948, avgTableProportion=0.35330573115302233, avgTableSize=0.7066114623060447
110.79/106.11
113.92/109.29 num=148, depth=3..17, filters=900047, revisions=(945297,useless=504813), ccks=1222773379, wck=107.074, mem=39M557
113.92/109.29 decisions=40772, wrong=19638, backtracks=9557, failedAssignments=12465, nogoods=1030, foundSolutions=10, bestBound=315
113.92/109.29 nFilterCalls=554752, avgTableProportion=0.3535543810567605, avgTableSize=0.707108762113521
113.92/109.29
117.52/112.81 num=149, depth=4..17, filters=935185, revisions=(980517,useless=523635), ccks=1261751703, wck=110.589, mem=69M161
117.52/112.81 decisions=42330, wrong=20413, backtracks=9973, failedAssignments=12917, nogoods=1039, foundSolutions=10, bestBound=315
117.52/112.81 nFilterCalls=577933, avgTableProportion=0.35219653489245295, avgTableSize=0.7043930697849059
117.52/112.81
120.52/115.83 num=150, depth=4..19, filters=967739, revisions=(1015719,useless=542660), ccks=1295352186, wck=113.611, mem=101M232
120.52/115.83 decisions=43925, wrong=21206, backtracks=10364, failedAssignments=13414, nogoods=1055, foundSolutions=10, bestBound=315
120.52/115.83 nFilterCalls=597041, avgTableProportion=0.3509214610051906, avgTableSize=0.7018429220103812
120.52/115.83
124.13/119.47 num=151, depth=4..19, filters=1005653, revisions=(1055447,useless=564322), ccks=1335912748, wck=117.25, mem=130M836
124.13/119.47 decisions=45713, wrong=22096, backtracks=10801, failedAssignments=13961, nogoods=1070, foundSolutions=10, bestBound=315
124.13/119.47 nFilterCalls=622294, avgTableProportion=0.34911954799499917, avgTableSize=0.6982390959899983
124.13/119.47
129.04/124.33 num=152, depth=3..15, filters=1056500, revisions=(1106038,useless=590621), ccks=1390639440, wck=122.112, mem=53M849
129.04/124.33 decisions=47746, wrong=23110, backtracks=11346, failedAssignments=14563, nogoods=1081, foundSolutions=10, bestBound=315
129.04/124.33 nFilterCalls=654163, avgTableProportion=0.34971635509804133, avgTableSize=0.6994327101960827
129.04/124.33
132.54/127.85 num=153, depth=4..17, filters=1093532, revisions=(1146009,useless=611583), ccks=1430803211, wck=125.632, mem=92M694
132.54/127.85 decisions=49697, wrong=24080, backtracks=11759, failedAssignments=15225, nogoods=1089, foundSolutions=10, bestBound=315
132.54/127.85 nFilterCalls=675386, avgTableProportion=0.3496822557766966, avgTableSize=0.6993645115533932
132.54/127.85
133.44/128.76 o 314
133.44/128.76 num=154, depth=5..104, filters=1104577, revisions=(1157097,useless=617472), ccks=1441132763, wck=126.541, mem=102M405
133.44/128.76 decisions=50145, wrong=24292, backtracks=11872, failedAssignments=15348, nogoods=1095, foundSolutions=11, bestBound=314
133.44/128.76 nFilterCalls=682305, avgTableProportion=0.34962809887073965, avgTableSize=0.6992561977414793
133.44/128.76
137.76/133.08 num=155, depth=2..17, filters=1175980, revisions=(1222669,useless=652876), ccks=1488751480, wck=130.864, mem=46M197
137.76/133.08 decisions=52864, wrong=25650, backtracks=12573, failedAssignments=16149, nogoods=1106, foundSolutions=11, bestBound=314
137.76/133.08 nFilterCalls=731205, avgTableProportion=0.3517966917622281, avgTableSize=0.7035933835244562
137.76/133.08
137.86/133.19 num=156, depth=7..14, filters=1176835, revisions=(1223603,useless=653369), ccks=1489973759, wck=130.974, mem=48M584
137.86/133.19 decisions=52909, wrong=25668, backtracks=12585, failedAssignments=16160, nogoods=1110, foundSolutions=11, bestBound=314
137.86/133.19 nFilterCalls=731802, avgTableProportion=0.3518349225610206, avgTableSize=0.7036698451220412
137.86/133.19
138.05/133.40 num=157, depth=8..13, filters=1177751, revisions=(1224705,useless=653953), ccks=1492281448, wck=131.176, mem=48M584
138.05/133.40 decisions=52953, wrong=25684, backtracks=12592, failedAssignments=16172, nogoods=1114, foundSolutions=11, bestBound=314
138.05/133.40 nFilterCalls=732280, avgTableProportion=0.35184082591358495, avgTableSize=0.7036816518271699
138.05/133.40
138.36/133.65 num=158, depth=4..10, filters=1178794, revisions=(1225828,useless=654527), ccks=1495264625, wck=131.429, mem=50M972
138.36/133.65 decisions=52995, wrong=25702, backtracks=12601, failedAssignments=16185, nogoods=1118, foundSolutions=11, bestBound=314
138.36/133.65 nFilterCalls=732883, avgTableProportion=0.3518494766558919, avgTableSize=0.7036989533117838
138.36/133.65
138.66/133.91 num=159, depth=7..14, filters=1180413, revisions=(1227572,useless=655440), ccks=1498193931, wck=131.688, mem=50M972
138.66/133.91 decisions=53065, wrong=25733, backtracks=12620, failedAssignments=16199, nogoods=1122, foundSolutions=11, bestBound=314
138.66/133.91 nFilterCalls=733913, avgTableProportion=0.3518625504657909, avgTableSize=0.7037251009315818
138.66/133.91
138.77/134.09 num=160, depth=7..14, filters=1181704, revisions=(1229045,useless=656225), ccks=1500317383, wck=131.875, mem=53M360
138.77/134.09 decisions=53122, wrong=25758, backtracks=12634, failedAssignments=16215, nogoods=1123, foundSolutions=11, bestBound=314
138.77/134.09 nFilterCalls=734667, avgTableProportion=0.351879831270494, avgTableSize=0.703759662540988
138.77/134.09
139.06/134.38 num=161, depth=7..13, filters=1183130, revisions=(1230698,useless=657091), ccks=1503579916, wck=132.161, mem=55M747
139.06/134.38 decisions=53191, wrong=25789, backtracks=12651, failedAssignments=16232, nogoods=1126, foundSolutions=11, bestBound=314
139.06/134.38 nFilterCalls=735493, avgTableProportion=0.351813001619322, avgTableSize=0.703626003238644
139.06/134.38
139.36/134.61 num=162, depth=7..13, filters=1184840, revisions=(1232586,useless=658117), ccks=1506211679, wck=132.394, mem=55M747
139.36/134.61 decisions=53264, wrong=25821, backtracks=12670, failedAssignments=16251, nogoods=1132, foundSolutions=11, bestBound=314
139.36/134.61 nFilterCalls=736594, avgTableProportion=0.35180778013396796, avgTableSize=0.7036155602679359
139.36/134.61
139.77/135.03 num=163, depth=4..11, filters=1186051, revisions=(1234061,useless=658859), ccks=1511198433, wck=132.813, mem=58M135
139.77/135.03 decisions=53329, wrong=25850, backtracks=12680, failedAssignments=16272, nogoods=1138, foundSolutions=11, bestBound=314
139.77/135.03 nFilterCalls=737086, avgTableProportion=0.35186463994703465, avgTableSize=0.7037292798940693
139.77/135.03
139.87/135.16 num=164, depth=6..15, filters=1187472, revisions=(1235611,useless=659747), ccks=1512671697, wck=132.944, mem=60M523
139.87/135.16 decisions=53413, wrong=25885, backtracks=12694, failedAssignments=16295, nogoods=1145, foundSolutions=11, bestBound=314
139.87/135.16 nFilterCalls=738132, avgTableProportion=0.35180902602786496, avgTableSize=0.7036180520557299
139.87/135.16
140.26/135.52 num=165, depth=11..19, filters=1189496, revisions=(1237850,useless=660946), ccks=1516688744, wck=133.302, mem=62M910
140.26/135.52 decisions=53500, wrong=25923, backtracks=12710, failedAssignments=16320, nogoods=1146, foundSolutions=11, bestBound=314
140.26/135.52 nFilterCalls=739285, avgTableProportion=0.3518413061268658, avgTableSize=0.7036826122537316
140.26/135.52
140.56/135.84 num=166, depth=8..19, filters=1191168, revisions=(1239705,useless=661895), ccks=1520450156, wck=133.624, mem=65M298
140.56/135.84 decisions=53583, wrong=25960, backtracks=12725, failedAssignments=16348, nogoods=1150, foundSolutions=11, bestBound=314
140.56/135.84 nFilterCalls=740164, avgTableProportion=0.35188012386444084, avgTableSize=0.7037602477288817
140.56/135.84
140.96/136.23 num=167, depth=7..16, filters=1193564, revisions=(1242299,useless=663244), ccks=1524756332, wck=134.007, mem=67M685
140.96/136.23 decisions=53698, wrong=26014, backtracks=12755, failedAssignments=16379, nogoods=1153, foundSolutions=11, bestBound=314
140.96/136.23 nFilterCalls=741644, avgTableProportion=0.3518541240810955, avgTableSize=0.703708248162191
140.96/136.23
141.26/136.58 num=168, depth=8..16, filters=1195916, revisions=(1244973,useless=664714), ccks=1528848647, wck=134.363, mem=70M73
141.26/136.58 decisions=53817, wrong=26068, backtracks=12786, failedAssignments=16413, nogoods=1163, foundSolutions=11, bestBound=314
141.26/136.58 nFilterCalls=743076, avgTableProportion=0.3518771969488989, avgTableSize=0.7037543938977978
141.26/136.58
141.56/136.85 num=169, depth=7..16, filters=1198893, revisions=(1248190,useless=666528), ccks=1531833474, wck=134.63, mem=72M461
141.56/136.85 decisions=53958, wrong=26133, backtracks=12822, failedAssignments=16450, nogoods=1171, foundSolutions=11, bestBound=314
141.56/136.85 nFilterCalls=744897, avgTableProportion=0.3519244942589378, avgTableSize=0.7038489885178756
141.56/136.85
141.96/137.20 num=170, depth=5..19, filters=1200933, revisions=(1250731,useless=667918), ccks=1535863746, wck=134.983, mem=74M848
141.96/137.20 decisions=54083, wrong=26190, backtracks=12846, failedAssignments=16491, nogoods=1179, foundSolutions=11, bestBound=314
141.96/137.20 nFilterCalls=745949, avgTableProportion=0.35191212804092503, avgTableSize=0.7038242560818501
141.96/137.20
142.27/137.51 num=171, depth=8..16, filters=1202691, revisions=(1252775,useless=668981), ccks=1539448192, wck=135.295, mem=77M236
142.27/137.51 decisions=54207, wrong=26246, backtracks=12863, failedAssignments=16536, nogoods=1210, foundSolutions=11, bestBound=314
142.27/137.51 nFilterCalls=746721, avgTableProportion=0.3520042961159523, avgTableSize=0.7040085922319046
142.27/137.51
142.47/137.71 num=172, depth=0..10, filters=1203452, revisions=(1253986,useless=669597), ccks=1541745557, wck=135.492, mem=79M624
142.47/137.71 decisions=54317, wrong=26296, backtracks=12863, failedAssignments=16586, nogoods=1212, foundSolutions=11, bestBound=314
142.47/137.71 nFilterCalls=746888, avgTableProportion=0.35202466768779256, avgTableSize=0.7040493353755851
142.47/137.71
142.97/138.22 num=173, depth=8..15, filters=1208703, revisions=(1259278,useless=672517), ccks=1547520511, wck=136.004, mem=84M399
142.97/138.22 decisions=54518, wrong=26390, backtracks=12917, failedAssignments=16641, nogoods=1221, foundSolutions=11, bestBound=314
142.97/138.22 nFilterCalls=750602, avgTableProportion=0.3518482498048233, avgTableSize=0.7036964996096466
142.97/138.22
143.37/138.61 num=174, depth=0..15, filters=1212299, revisions=(1263188,useless=674497), ccks=1551839075, wck=136.386, mem=86M787
143.37/138.61 decisions=54716, wrong=26486, backtracks=12958, failedAssignments=16702, nogoods=1224, foundSolutions=11, bestBound=314
143.37/138.61 nFilterCalls=752624, avgTableProportion=0.35172077956589215, avgTableSize=0.7034415591317843
143.37/138.61
143.88/139.18 num=175, depth=4..12, filters=1217502, revisions=(1268729,useless=677444), ccks=1558338295, wck=136.959, mem=93M949
143.88/139.18 decisions=54944, wrong=26597, backtracks=13022, failedAssignments=16769, nogoods=1229, foundSolutions=11, bestBound=314
143.88/139.18 nFilterCalls=755557, avgTableProportion=0.35185234204699317, avgTableSize=0.7037046840939863
143.88/139.18
144.47/139.73 num=176, depth=6..15, filters=1222819, revisions=(1274634,useless=680675), ccks=1564510965, wck=137.507, mem=98M725
144.47/139.73 decisions=55194, wrong=26717, backtracks=13084, failedAssignments=16843, nogoods=1238, foundSolutions=11, bestBound=314
144.47/139.73 nFilterCalls=758474, avgTableProportion=0.3518070494176465, avgTableSize=0.703614098835293
144.47/139.73
144.88/140.12 num=177, depth=6..18, filters=1227101, revisions=(1278949,useless=683002), ccks=1568807305, wck=137.896, mem=103M500
144.88/140.12 decisions=55446, wrong=26839, backtracks=13138, failedAssignments=16924, nogoods=1257, foundSolutions=11, bestBound=314
144.88/140.12 nFilterCalls=761789, avgTableProportion=0.351403078805286, avgTableSize=0.702806157610572
144.88/140.12
145.58/140.84 num=178, depth=0..13, filters=1232642, revisions=(1285078,useless=686202), ccks=1577088085, wck=138.616, mem=108M275
145.58/140.84 decisions=55726, wrong=26976, backtracks=13201, failedAssignments=17013, nogoods=1264, foundSolutions=11, bestBound=314
145.58/140.84 nFilterCalls=764775, avgTableProportion=0.3513961622699487, avgTableSize=0.7027923245398974
145.58/140.84
146.38/141.69 num=179, depth=5..14, filters=1241197, revisions=(1293826,useless=690725), ccks=1586648358, wck=139.475, mem=115M438
146.38/141.69 decisions=56075, wrong=27148, backtracks=13289, failedAssignments=17111, nogoods=1267, foundSolutions=11, bestBound=314
146.38/141.69 nFilterCalls=770257, avgTableProportion=0.3510873643472244, avgTableSize=0.7021747286944487
146.38/141.69
147.08/142.39 num=180, depth=6..17, filters=1248786, revisions=(1301479,useless=694739), ccks=1594333975, wck=140.166, mem=122M601
147.08/142.39 decisions=56457, wrong=27336, backtracks=13377, failedAssignments=17219, nogoods=1274, foundSolutions=11, bestBound=314
147.08/142.39 nFilterCalls=775341, avgTableProportion=0.3506657070888809, avgTableSize=0.7013314141777618
147.08/142.39
147.89/143.14 num=181, depth=5..15, filters=1257399, revisions=(1310279,useless=699429), ccks=1602629732, wck=140.92, mem=129M764
147.89/143.14 decisions=56830, wrong=27519, backtracks=13460, failedAssignments=17338, nogoods=1286, foundSolutions=11, bestBound=314
147.89/143.14 nFilterCalls=780635, avgTableProportion=0.35047685538055556, avgTableSize=0.7009537107611111
147.89/143.14
149.28/144.50 num=182, depth=4..13, filters=1267924, revisions=(1321538,useless=705285), ccks=1618388412, wck=142.281, mem=139M314
149.28/144.50 decisions=57270, wrong=27736, backtracks=13581, failedAssignments=17469, nogoods=1292, foundSolutions=11, bestBound=314
149.28/144.50 nFilterCalls=785976, avgTableProportion=0.3508300507903549, avgTableSize=0.7016601015807098
149.28/144.50
149.90/145.14 num=183, depth=6..16, filters=1273794, revisions=(1328133,useless=708738), ccks=1625585675, wck=142.918, mem=27M68
149.90/145.14 decisions=57655, wrong=27924, backtracks=13632, failedAssignments=17613, nogoods=1352, foundSolutions=11, bestBound=314
149.90/145.14 nFilterCalls=789052, avgTableProportion=0.35063595301703815, avgTableSize=0.7012719060340763
149.90/145.14
151.09/146.32 num=184, depth=5..16, filters=1287056, revisions=(1342387,useless=716314), ccks=1639061810, wck=144.102, mem=38M854
151.09/146.32 decisions=58191, wrong=28188, backtracks=13772, failedAssignments=17771, nogoods=1358, foundSolutions=11, bestBound=314
151.09/146.32 nFilterCalls=796392, avgTableProportion=0.35056040241489117, avgTableSize=0.7011208048297823
151.09/146.32
152.19/147.47 num=185, depth=4..15, filters=1297857, revisions=(1352657,useless=721702), ccks=1652261738, wck=145.248, mem=48M283
152.19/147.47 decisions=58729, wrong=28451, backtracks=13888, failedAssignments=17945, nogoods=1365, foundSolutions=11, bestBound=314
152.19/147.47 nFilterCalls=804334, avgTableProportion=0.35026245316000565, avgTableSize=0.7005249063200113
152.19/147.47
153.60/148.80 num=186, depth=6..15, filters=1313312, revisions=(1369315,useless=730688), ccks=1667415812, wck=146.583, mem=65M108
153.60/148.80 decisions=59424, wrong=28795, backtracks=14078, failedAssignments=18136, nogoods=1375, foundSolutions=11, bestBound=314
153.60/148.80 nFilterCalls=813372, avgTableProportion=0.35053702364969536, avgTableSize=0.7010740472993907
153.60/148.80
155.20/150.45 num=187, depth=4..15, filters=1329248, revisions=(1384870,useless=738763), ccks=1686383383, wck=148.231, mem=76M895
155.20/150.45 decisions=60135, wrong=29146, backtracks=14258, failedAssignments=18347, nogoods=1384, foundSolutions=11, bestBound=314
155.20/150.45 nFilterCalls=823522, avgTableProportion=0.3503440102389493, avgTableSize=0.7006880204778986
155.20/150.45
156.70/151.97 num=188, depth=4..14, filters=1353097, revisions=(1406800,useless=750455), ccks=1703330720, wck=149.749, mem=95M754
156.70/151.97 decisions=60944, wrong=29545, backtracks=14480, failedAssignments=18579, nogoods=1389, foundSolutions=11, bestBound=314
156.70/151.97 nFilterCalls=840508, avgTableProportion=0.3499925045329729, avgTableSize=0.6999850090659459
156.70/151.97
158.60/153.82 num=189, depth=4..18, filters=1371036, revisions=(1425571,useless=760596), ccks=1724535970, wck=151.598, mem=112M255
158.60/153.82 decisions=61802, wrong=29971, backtracks=14686, failedAssignments=18834, nogoods=1396, foundSolutions=11, bestBound=314
158.60/153.82 nFilterCalls=851803, avgTableProportion=0.34949865168354655, avgTableSize=0.6989973033670931
158.60/153.82
160.40/155.68 num=190, depth=5..18, filters=1388924, revisions=(1444687,useless=770625), ccks=1745939684, wck=153.464, mem=131M113
160.40/155.68 decisions=62725, wrong=30425, backtracks=14907, failedAssignments=19115, nogoods=1417, foundSolutions=11, bestBound=314
160.40/155.68 nFilterCalls=862449, avgTableProportion=0.34951168127042875, avgTableSize=0.6990233625408575
160.40/155.68
162.41/157.62 num=191, depth=4..14, filters=1413339, revisions=(1468550,useless=782896), ccks=1767718251, wck=155.403, mem=38M664
162.41/157.62 decisions=63811, wrong=30964, backtracks=15213, failedAssignments=19424, nogoods=1427, foundSolutions=11, bestBound=314
162.41/157.62 nFilterCalls=878152, avgTableProportion=0.34947879182647196, avgTableSize=0.6989575836529439
162.41/157.62
163.92/159.15 num=192, depth=6..17, filters=1434306, revisions=(1491249,useless=795353), ccks=1784919959, wck=156.931, mem=59M583
163.92/159.15 decisions=64708, wrong=31409, backtracks=15349, failedAssignments=19764, nogoods=1450, foundSolutions=11, bestBound=314
163.92/159.15 nFilterCalls=889961, avgTableProportion=0.3496984699329521, avgTableSize=0.6993969398659042
163.92/159.15
167.31/162.54 num=193, depth=3..17, filters=1469836, revisions=(1526607,useless=814066), ccks=1823646683, wck=160.319, mem=92M124
167.31/162.54 decisions=66025, wrong=32065, backtracks=15712, failedAssignments=20138, nogoods=1458, foundSolutions=11, bestBound=314
167.31/162.54 nFilterCalls=912100, avgTableProportion=0.35053228812630194, avgTableSize=0.7010645762526039
167.31/162.54
170.93/166.11 num=194, depth=5..20, filters=1499325, revisions=(1558498,useless=830904), ccks=1864932798, wck=163.887, mem=122M340
170.93/166.11 decisions=67443, wrong=32769, backtracks=16092, failedAssignments=20549, nogoods=1469, foundSolutions=11, bestBound=314
170.93/166.11 nFilterCalls=928812, avgTableProportion=0.34978391752044546, avgTableSize=0.6995678350408909
170.93/166.11
173.94/169.12 num=195, depth=5..16, filters=1535249, revisions=(1596998,useless=851711), ccks=1899060898, wck=166.904, mem=40M714
173.94/169.12 decisions=69016, wrong=33550, backtracks=16533, failedAssignments=21001, nogoods=1475, foundSolutions=11, bestBound=314
173.94/169.12 nFilterCalls=951072, avgTableProportion=0.3491213073247872, avgTableSize=0.6982426146495744
173.94/169.12
177.53/172.74 num=196, depth=4..18, filters=1574476, revisions=(1636373,useless=872861), ccks=1940544828, wck=170.523, mem=75M126
177.53/172.74 decisions=70676, wrong=34376, backtracks=16948, failedAssignments=21498, nogoods=1486, foundSolutions=11, bestBound=314
177.53/172.74 nFilterCalls=976795, avgTableProportion=0.34829109485613663, avgTableSize=0.6965821897122733
177.53/172.74
180.73/175.93 num=197, depth=5..17, filters=1616876, revisions=(1679981,useless=896471), ccks=1976485691, wck=173.712, mem=116M420
180.73/175.93 decisions=72505, wrong=35286, backtracks=17416, failedAssignments=22045, nogoods=1496, foundSolutions=11, bestBound=314
180.73/175.93 nFilterCalls=1003287, avgTableProportion=0.34833801295142863, avgTableSize=0.6966760259028573
180.73/175.93
185.24/180.47 num=198, depth=4..19, filters=1668371, revisions=(1730432,useless=923425), ccks=2028503898, wck=178.255, mem=42M765
185.24/180.47 decisions=74560, wrong=36307, backtracks=17936, failedAssignments=22647, nogoods=1507, foundSolutions=11, bestBound=314
185.24/180.47 nFilterCalls=1037974, avgTableProportion=0.3472028201091742, avgTableSize=0.6944056402183484
185.24/180.47
189.74/184.97 num=199, depth=3..17, filters=1722904, revisions=(1784383,useless=952572), ccks=2079700460, wck=182.751, mem=88M35
189.74/184.97 decisions=76753, wrong=37397, backtracks=18458, failedAssignments=23309, nogoods=1516, foundSolutions=11, bestBound=314
189.74/184.97 nFilterCalls=1074368, avgTableProportion=0.3483061669744445, avgTableSize=0.696612333948889
189.74/184.97
194.16/189.30 num=200, depth=3..19, filters=1785537, revisions=(1846687,useless=987284), ccks=2128302110, wck=187.082, mem=24M594
194.16/189.30 decisions=79271, wrong=38653, backtracks=19107, failedAssignments=24037, nogoods=1522, foundSolutions=11, bestBound=314
194.16/189.30 nFilterCalls=1116084, avgTableProportion=0.34837162794198284, avgTableSize=0.6967432558839657
194.16/189.30
199.06/194.24 num=201, depth=4..16, filters=1843518, revisions=(1906096,useless=1019357), ccks=2184608319, wck=192.025, mem=78M175
199.06/194.24 decisions=81874, wrong=39952, backtracks=19718, failedAssignments=24838, nogoods=1532, foundSolutions=11, bestBound=314
199.06/194.24 nFilterCalls=1152614, avgTableProportion=0.34797599196261714, avgTableSize=0.6959519839252343
199.06/194.24
204.37/199.56 num=202, depth=3..16, filters=1919814, revisions=(1978419,useless=1057636), ccks=2244020249, wck=197.338, mem=31M200
204.37/199.56 decisions=84768, wrong=41397, backtracks=20479, failedAssignments=25719, nogoods=1544, foundSolutions=11, bestBound=314
204.37/199.56 nFilterCalls=1203370, avgTableProportion=0.3495043087329749, avgTableSize=0.6990086174659498
204.37/199.56
211.27/206.49 num=203, depth=2..17, filters=1989678, revisions=(2047303,useless=1093519), ccks=2323628389, wck=204.268, mem=97M242
211.27/206.49 decisions=87963, wrong=42991, backtracks=21283, failedAssignments=26689, nogoods=1559, foundSolutions=11, bestBound=314
211.27/206.49 nFilterCalls=1247908, avgTableProportion=0.34932102366520607, avgTableSize=0.6986420473304121
211.27/206.49
218.59/213.70 num=204, depth=2..16, filters=2066117, revisions=(2128836,useless=1136754), ccks=2405692754, wck=211.483, mem=59M406
218.59/213.70 decisions=91477, wrong=44745, backtracks=22224, failedAssignments=27756, nogoods=1571, foundSolutions=11, bestBound=314
218.59/213.70 nFilterCalls=1292405, avgTableProportion=0.3487296938653131, avgTableSize=0.6974593877306262
218.59/213.70
225.39/220.51 num=205, depth=4..17, filters=2166998, revisions=(2227089,useless=1188652), ccks=2481763815, wck=218.291, mem=37M468
225.39/220.51 decisions=95451, wrong=46728, backtracks=23262, failedAssignments=28929, nogoods=1577, foundSolutions=11, bestBound=314
225.39/220.51 nFilterCalls=1357145, avgTableProportion=0.3491417645130034, avgTableSize=0.6982835290260068
225.39/220.51
234.32/229.44 num=206, depth=2..19, filters=2265779, revisions=(2325690,useless=1241787), ccks=2583278839, wck=227.216, mem=120M883
234.32/229.44 decisions=99643, wrong=48821, backtracks=24354, failedAssignments=30220, nogoods=1585, foundSolutions=11, bestBound=314
234.32/229.44 nFilterCalls=1423139, avgTableProportion=0.3484480433745404, avgTableSize=0.6968960867490808
234.32/229.44
245.22/240.36 num=207, depth=3..19, filters=2390365, revisions=(2450532,useless=1307221), ccks=2706266785, wck=238.137, mem=127M870
245.22/240.36 decisions=104642, wrong=51317, backtracks=25801, failedAssignments=31640, nogoods=1603, foundSolutions=11, bestBound=314
245.22/240.36 nFilterCalls=1501479, avgTableProportion=0.3488497008616171, avgTableSize=0.6976994017232342
245.22/240.36
254.24/249.38 num=208, depth=2..17, filters=2546174, revisions=(2591299,useless=1381476), ccks=2805453845, wck=247.163, mem=38M895
254.24/249.38 decisions=110049, wrong=54017, backtracks=27275, failedAssignments=33202, nogoods=1608, foundSolutions=11, bestBound=314
254.24/249.38 nFilterCalls=1609805, avgTableProportion=0.35143821767232675, avgTableSize=0.7028764353446535
254.24/249.38
264.17/259.29 num=209, depth=3..17, filters=2653673, revisions=(2702028,useless=1441126), ccks=2918436626, wck=257.07, mem=34M609
264.17/259.29 decisions=115106, wrong=56543, backtracks=28332, failedAssignments=34920, nogoods=1617, foundSolutions=11, bestBound=314
264.17/259.29 nFilterCalls=1676089, avgTableProportion=0.34959688894802127, avgTableSize=0.6991937778960425
264.17/259.29
273.87/268.96 num=210, depth=2..16, filters=2843162, revisions=(2867114,useless=1527124), ccks=3021521010, wck=266.745, mem=72M360
273.87/268.96 decisions=121571, wrong=59772, backtracks=30073, failedAssignments=36810, nogoods=1636, foundSolutions=11, bestBound=314
273.87/268.96 nFilterCalls=1811077, avgTableProportion=0.3524281408244928, avgTableSize=0.7048562816489856
273.87/268.96
284.70/279.71 num=211, depth=3..19, filters=2974881, revisions=(2999921,useless=1599572), ccks=3142275467, wck=277.489, mem=83M689
284.70/279.71 decisions=127942, wrong=62954, backtracks=31491, failedAssignments=38889, nogoods=1653, foundSolutions=11, bestBound=314
284.70/279.71 nFilterCalls=1901798, avgTableProportion=0.3501036913489235, avgTableSize=0.700207382697847
284.70/279.71
300.52/295.52 num=212, depth=1..17, filters=3161886, revisions=(3180829,useless=1692588), ccks=3320198783, wck=293.297, mem=61M231
300.52/295.52 decisions=135610, wrong=66786, backtracks=33493, failedAssignments=41176, nogoods=1662, foundSolutions=11, bestBound=314
300.52/295.52 nFilterCalls=2019490, avgTableProportion=0.34909754442953417, avgTableSize=0.6981950888590683
300.52/295.52
317.23/312.24 num=213, depth=1..17, filters=3383121, revisions=(3397587,useless=1804992), ccks=3507886849, wck=310.021, mem=68M16
317.23/312.24 decisions=143959, wrong=70958, backtracks=35879, failedAssignments=43692, nogoods=1667, foundSolutions=11, bestBound=314
317.23/312.24 nFilterCalls=2156071, avgTableProportion=0.35137827093820195, avgTableSize=0.7027565418764039
317.23/312.24
336.75/331.70 num=214, depth=1..18, filters=3597941, revisions=(3607705,useless=1914519), ccks=3728154788, wck=329.478, mem=76M302
336.75/331.70 decisions=153190, wrong=75570, backtracks=38245, failedAssignments=46460, nogoods=1678, foundSolutions=11, bestBound=314
336.75/331.70 nFilterCalls=2289887, avgTableProportion=0.35081141558513584, avgTableSize=0.7016228311702717
336.75/331.70
353.27/348.23 num=215, depth=2..20, filters=3852971, revisions=(3852663,useless=2048006), ccks=3913010084, wck=346.011, mem=91M384
353.27/348.23 decisions=162862, wrong=80402, backtracks=40557, failedAssignments=49504, nogoods=1739, foundSolutions=11, bestBound=314
353.27/348.23 nFilterCalls=2465709, avgTableProportion=0.349268100980286, avgTableSize=0.698536201960572
353.27/348.23
372.90/367.83 num=216, depth=2..18, filters=4141428, revisions=(4117411,useless=2185124), ccks=4130637519, wck=365.61, mem=66M446
372.90/367.83 decisions=174067, wrong=85998, backtracks=43518, failedAssignments=52853, nogoods=1749, foundSolutions=11, bestBound=314
372.90/367.83 nFilterCalls=2667242, avgTableProportion=0.34889016444702053, avgTableSize=0.6977803288940411
372.90/367.83
383.11/378.04 o 312
383.11/378.04 num=217, depth=2..104, filters=4263769, revisions=(4244184,useless=2254596), ccks=4246469523, wck=375.822, mem=93M438
383.11/378.04 decisions=180026, wrong=88968, backtracks=44882, failedAssignments=54738, nogoods=1761, foundSolutions=12, bestBound=312
383.11/378.04 nFilterCalls=2747570, avgTableProportion=0.3474739497082877, avgTableSize=0.6949478994165754
383.11/378.04
399.43/394.34 num=218, depth=1..17, filters=4601781, revisions=(4554391,useless=2420082), ccks=4422375254, wck=392.123, mem=54M125
399.43/394.34 decisions=193252, wrong=95577, backtracks=48041, failedAssignments=58790, nogoods=1777, foundSolutions=12, bestBound=312
399.43/394.34 nFilterCalls=2977238, avgTableProportion=0.3496007037395062, avgTableSize=0.6992014074790124
399.43/394.34
399.53/394.44 num=219, depth=7..10, filters=4602621, revisions=(4555412,useless=2420625), ccks=4423514200, wck=392.223, mem=54M125
399.53/394.44 decisions=193297, wrong=95595, backtracks=48049, failedAssignments=58801, nogoods=1785, foundSolutions=12, bestBound=312
399.53/394.44 nFilterCalls=2977696, avgTableProportion=0.3496006644063061, avgTableSize=0.6992013288126122
399.53/394.44
399.73/394.65 num=220, depth=8..11, filters=4603868, revisions=(4556801,useless=2421334), ccks=4425931226, wck=392.431, mem=55M761
399.73/394.65 decisions=193347, wrong=95615, backtracks=48059, failedAssignments=58813, nogoods=1789, foundSolutions=12, bestBound=312
399.73/394.65 nFilterCalls=2978368, avgTableProportion=0.3496087454606012, avgTableSize=0.6992174909212024
399.73/394.65
399.93/394.81 num=221, depth=8..12, filters=4604970, revisions=(4558100,useless=2422026), ccks=4427799317, wck=392.594, mem=57M397
399.93/394.81 decisions=193401, wrong=95638, backtracks=48069, failedAssignments=58826, nogoods=1794, foundSolutions=12, bestBound=312
399.93/394.81 nFilterCalls=2979021, avgTableProportion=0.34960797523750253, avgTableSize=0.6992159504750051
399.93/394.81
400.03/394.98 num=222, depth=8..13, filters=4605788, revisions=(4559025,useless=2422473), ccks=4429676121, wck=392.757, mem=59M32
400.03/394.98 decisions=193453, wrong=95659, backtracks=48078, failedAssignments=58840, nogoods=1801, foundSolutions=12, bestBound=312
400.03/394.98 nFilterCalls=2979494, avgTableProportion=0.3496195998380933, avgTableSize=0.6992391996761866
400.03/394.98
400.24/395.20 num=223, depth=7..11, filters=4607088, revisions=(4560413,useless=2423235), ccks=4432222075, wck=392.975, mem=60M668
400.24/395.20 decisions=193517, wrong=95686, backtracks=48090, failedAssignments=58856, nogoods=1805, foundSolutions=12, bestBound=312
400.24/395.20 nFilterCalls=2980371, avgTableProportion=0.3496291233541059, avgTableSize=0.6992582467082118
400.24/395.20
400.53/395.45 num=224, depth=7..14, filters=4608452, revisions=(4562010,useless=2424060), ccks=4435235888, wck=393.235, mem=62M304
400.53/395.45 decisions=193587, wrong=95717, backtracks=48105, failedAssignments=58873, nogoods=1808, foundSolutions=12, bestBound=312
400.53/395.45 nFilterCalls=2981067, avgTableProportion=0.3496414203370806, avgTableSize=0.6992828406741612
400.53/395.45
400.83/395.71 num=225, depth=7..14, filters=4610302, revisions=(4563965,useless=2425089), ccks=4438184499, wck=393.49, mem=63M940
400.83/395.71 decisions=193658, wrong=95748, backtracks=48122, failedAssignments=58892, nogoods=1815, foundSolutions=12, bestBound=312
400.83/395.71 nFilterCalls=2982199, avgTableProportion=0.3496557406128833, avgTableSize=0.6993114812257666
400.83/395.71
400.93/395.86 num=226, depth=8..15, filters=4611412, revisions=(4565208,useless=2425739), ccks=4439958985, wck=393.645, mem=65M575
400.93/395.86 decisions=193725, wrong=95777, backtracks=48134, failedAssignments=58913, nogoods=1826, foundSolutions=12, bestBound=312
400.93/395.86 nFilterCalls=2982856, avgTableProportion=0.34966270580946585, avgTableSize=0.6993254116189317
400.93/395.86
401.03/396.00 num=227, depth=5..12, filters=4612956, revisions=(4566958,useless=2426707), ccks=4441438038, wck=393.776, mem=67M211
401.03/396.00 decisions=193794, wrong=95809, backtracks=48147, failedAssignments=58936, nogoods=1828, foundSolutions=12, bestBound=312
401.03/396.00 nFilterCalls=2983817, avgTableProportion=0.34965498889509644, avgTableSize=0.6993099777901929
401.03/396.00
401.43/396.36 num=228, depth=8..15, filters=4615151, revisions=(4569473,useless=2428043), ccks=4445590958, wck=394.135, mem=68M847
401.43/396.36 decisions=193898, wrong=95856, backtracks=48176, failedAssignments=58961, nogoods=1835, foundSolutions=12, bestBound=312
401.43/396.36 nFilterCalls=2985131, avgTableProportion=0.3496384245783518, avgTableSize=0.6992768491567036
401.43/396.36
401.73/396.64 num=229, depth=7..15, filters=4616879, revisions=(4571495,useless=2429125), ccks=4448928437, wck=394.421, mem=72M119
401.73/396.64 decisions=193999, wrong=95903, backtracks=48201, failedAssignments=58989, nogoods=1839, foundSolutions=12, bestBound=312
401.73/396.64 nFilterCalls=2986115, avgTableProportion=0.3496283632746897, avgTableSize=0.6992567265493794
401.73/396.64
401.93/396.88 num=230, depth=8..16, filters=4618915, revisions=(4573737,useless=2430362), ccks=4451707549, wck=394.664, mem=73M754
401.93/396.88 decisions=194117, wrong=95957, backtracks=48235, failedAssignments=59020, nogoods=1842, foundSolutions=12, bestBound=312
401.93/396.88 nFilterCalls=2987390, avgTableProportion=0.3496225802456325, avgTableSize=0.699245160491265
401.93/396.88
402.53/397.43 num=231, depth=7..14, filters=4622224, revisions=(4577113,useless=2432001), ccks=4458119448, wck=395.212, mem=77M26
402.53/397.43 decisions=194251, wrong=96017, backtracks=48267, failedAssignments=59054, nogoods=1849, foundSolutions=12, bestBound=312
402.53/397.43 nFilterCalls=2989269, avgTableProportion=0.3496557185050927, avgTableSize=0.6993114370101854
402.53/397.43
402.83/397.78 num=232, depth=6..14, filters=4624416, revisions=(4579532,useless=2433282), ccks=4462188922, wck=395.564, mem=80M297
402.83/397.78 decisions=194357, wrong=96066, backtracks=48281, failedAssignments=59091, nogoods=1853, foundSolutions=12, bestBound=312
402.83/397.78 nFilterCalls=2990606, avgTableProportion=0.3496438514468305, avgTableSize=0.699287702893661
402.83/397.78
403.14/398.04 num=233, depth=4..15, filters=4627554, revisions=(4582998,useless=2435162), ccks=4465076363, wck=395.82, mem=81M933
403.14/398.04 decisions=194500, wrong=96134, backtracks=48325, failedAssignments=59132, nogoods=1860, foundSolutions=12, bestBound=312
403.14/398.04 nFilterCalls=2992493, avgTableProportion=0.34960666574658655, avgTableSize=0.6992133314931731
403.14/398.04
403.63/398.56 num=234, depth=7..15, filters=4630638, revisions=(4586315,useless=2436878), ccks=4471119795, wck=396.339, mem=86M841
403.63/398.56 decisions=194661, wrong=96211, backtracks=48361, failedAssignments=59177, nogoods=1863, foundSolutions=12, bestBound=312
403.63/398.56 nFilterCalls=2994126, avgTableProportion=0.3496165492033401, avgTableSize=0.6992330984066802
403.63/398.56
404.24/399.14 num=235, depth=7..13, filters=4634595, revisions=(4590662,useless=2439218), ccks=4477831997, wck=396.919, mem=90M113
404.24/399.14 decisions=194848, wrong=96301, backtracks=48408, failedAssignments=59227, nogoods=1867, foundSolutions=12, bestBound=312
404.24/399.14 nFilterCalls=2996601, avgTableProportion=0.3495792399455249, avgTableSize=0.6991584798910498
404.24/399.14
404.73/399.69 num=236, depth=6..15, filters=4639182, revisions=(4595700,useless=2441908), ccks=4484155770, wck=397.472, mem=95M20
404.73/399.69 decisions=195056, wrong=96401, backtracks=48462, failedAssignments=59282, nogoods=1870, foundSolutions=12, bestBound=312
404.73/399.69 nFilterCalls=2999071, avgTableProportion=0.3496220996435229, avgTableSize=0.6992441992870458
404.73/399.69
405.34/400.26 num=237, depth=6..15, filters=4643840, revisions=(4600398,useless=2444357), ccks=4490733473, wck=398.043, mem=99M927
405.34/400.26 decisions=195276, wrong=96507, backtracks=48520, failedAssignments=59343, nogoods=1875, foundSolutions=12, bestBound=312
405.34/400.26 nFilterCalls=3001725, avgTableProportion=0.3496489518526847, avgTableSize=0.6992979037053694
405.34/400.26
405.94/400.86 num=238, depth=5..15, filters=4650453, revisions=(4607474,useless=2448290), ccks=4497443482, wck=398.641, mem=24M660
405.94/400.86 decisions=195544, wrong=96635, backtracks=48595, failedAssignments=59410, nogoods=1881, foundSolutions=12, bestBound=312
405.94/400.86 nFilterCalls=3005774, avgTableProportion=0.34966151813143637, avgTableSize=0.6993230362628727
405.94/400.86
406.64/401.55 num=239, depth=5..12, filters=4659115, revisions=(4614883,useless=2452117), ccks=4505234692, wck=399.331, mem=32M734
406.64/401.55 decisions=195806, wrong=96762, backtracks=48663, failedAssignments=59484, nogoods=1887, foundSolutions=12, bestBound=312
406.64/401.55 nFilterCalls=3011875, avgTableProportion=0.34967354222867814, avgTableSize=0.6993470844573563
406.64/401.55
407.44/402.32 num=240, depth=6..14, filters=4666544, revisions=(4622579,useless=2456049), ccks=4513968470, wck=400.1, mem=39M193
407.44/402.32 decisions=196112, wrong=96911, backtracks=48740, failedAssignments=59565, nogoods=1895, foundSolutions=12, bestBound=312
407.44/402.32 nFilterCalls=3016226, avgTableProportion=0.34972512006726286, avgTableSize=0.6994502401345257
407.44/402.32
408.54/403.48 num=241, depth=5..15, filters=4673972, revisions=(4630956,useless=2460410), ccks=4527380959, wck=401.255, mem=47M267
408.54/403.48 decisions=196427, wrong=97064, backtracks=48812, failedAssignments=59654, nogoods=1901, foundSolutions=12, bestBound=312
408.54/403.48 nFilterCalls=3019776, avgTableProportion=0.34968868551839605, avgTableSize=0.6993773710367921
408.54/403.48
409.44/404.33 num=242, depth=5..15, filters=4682974, revisions=(4639826,useless=2464969), ccks=4537081626, wck=402.105, mem=56M956
409.44/404.33 decisions=196753, wrong=97222, backtracks=48890, failedAssignments=59752, nogoods=1907, foundSolutions=12, bestBound=312
409.44/404.33 nFilterCalls=3025447, avgTableProportion=0.34974848344723936, avgTableSize=0.6994969668944787
409.44/404.33
410.64/405.52 num=243, depth=7..16, filters=4690525, revisions=(4648058,useless=2469286), ccks=4550940958, wck=403.302, mem=65M30
410.64/405.52 decisions=197139, wrong=97411, backtracks=48981, failedAssignments=59860, nogoods=1918, foundSolutions=12, bestBound=312
410.64/405.52 nFilterCalls=3029327, avgTableProportion=0.3497596991014836, avgTableSize=0.6995193982029672
410.64/405.52
411.55/406.42 num=244, depth=6..16, filters=4698929, revisions=(4656361,useless=2473859), ccks=4561244028, wck=404.197, mem=71M489
411.55/406.42 decisions=197545, wrong=97607, backtracks=49079, failedAssignments=59979, nogoods=1925, foundSolutions=12, bestBound=312
411.55/406.42 nFilterCalls=3035146, avgTableProportion=0.3496922388577024, avgTableSize=0.6993844777154048
411.55/406.42
412.76/407.64 num=245, depth=5..16, filters=4708548, revisions=(4666480,useless=2479400), ccks=4575329007, wck=405.419, mem=81M178
412.76/407.64 decisions=197984, wrong=97821, backtracks=49185, failedAssignments=60110, nogoods=1931, foundSolutions=12, bestBound=312
412.76/407.64 nFilterCalls=3041461, avgTableProportion=0.3496512038129044, avgTableSize=0.6993024076258088
412.76/407.64
413.86/408.70 num=246, depth=4..14, filters=4721254, revisions=(4679159,useless=2485998), ccks=4587233822, wck=406.477, mem=94M97
413.86/408.70 decisions=198512, wrong=98081, backtracks=49339, failedAssignments=60254, nogoods=1935, foundSolutions=12, bestBound=312
413.86/408.70 nFilterCalls=3049233, avgTableProportion=0.3497823878988585, avgTableSize=0.699564775797717
413.86/408.70
414.97/409.82 num=247, depth=4..14, filters=4733152, revisions=(4691577,useless=2492510), ccks=4599955022, wck=407.597, mem=26M266
414.97/409.82 decisions=199030, wrong=98337, backtracks=49471, failedAssignments=60412, nogoods=1943, foundSolutions=12, bestBound=312
414.97/409.82 nFilterCalls=3056194, avgTableProportion=0.3498331584971373, avgTableSize=0.6996663169942746
414.97/409.82
416.18/411.06 num=248, depth=4..13, filters=4748592, revisions=(4707877,useless=2501355), ccks=4613916906, wck=408.842, mem=40M610
416.18/411.06 decisions=199660, wrong=98650, backtracks=49653, failedAssignments=60586, nogoods=1948, foundSolutions=12, bestBound=312
416.18/411.06 nFilterCalls=3065529, avgTableProportion=0.3498823530946861, avgTableSize=0.6997647061893723
416.18/411.06
417.87/412.72 num=249, depth=3..16, filters=4766837, revisions=(4725257,useless=2510460), ccks=4632970460, wck=410.505, mem=54M955
417.87/412.72 decisions=200315, wrong=98974, backtracks=49829, failedAssignments=60777, nogoods=1962, foundSolutions=12, bestBound=312
417.87/412.72 nFilterCalls=3076967, avgTableProportion=0.3500759026664894, avgTableSize=0.7001518053329788
417.87/412.72
419.18/414.10 num=250, depth=5..19, filters=4780754, revisions=(4739515,useless=2518128), ccks=4648634911, wck=411.878, mem=67M705
419.18/414.10 decisions=201022, wrong=99323, backtracks=50004, failedAssignments=60988, nogoods=1967, foundSolutions=12, bestBound=312
419.18/414.10 nFilterCalls=3085854, avgTableProportion=0.3500374612668001, avgTableSize=0.7000749225336002
419.18/414.10
420.37/415.22 num=251, depth=3..15, filters=4797996, revisions=(4756887,useless=2527397), ccks=4661144033, wck=412.999, mem=83M644
420.37/415.22 decisions=201833, wrong=99724, backtracks=50197, failedAssignments=61220, nogoods=1974, foundSolutions=12, bestBound=312
420.37/415.22 nFilterCalls=3096937, avgTableProportion=0.3500072813880295, avgTableSize=0.700014562776059
420.37/415.22
421.77/416.67 num=252, depth=2..14, filters=4815216, revisions=(4775614,useless=2537173), ccks=4677429202, wck=414.447, mem=101M176
421.77/416.67 decisions=202682, wrong=100146, backtracks=50404, failedAssignments=61475, nogoods=2025, foundSolutions=12, bestBound=312
421.77/416.67 nFilterCalls=3106152, avgTableProportion=0.35003824667949285, avgTableSize=0.7000764933589857
421.77/416.67
423.19/418.02 num=253, depth=4..17, filters=4831344, revisions=(4793074,useless=2546492), ccks=4692719483, wck=415.801, mem=37M328
423.19/418.02 decisions=203586, wrong=100594, backtracks=50629, failedAssignments=61756, nogoods=2033, foundSolutions=12, bestBound=312
423.19/418.02 nFilterCalls=3115617, avgTableProportion=0.3499680801587615, avgTableSize=0.699936160317523
423.19/418.02
424.38/419.27 num=254, depth=4..16, filters=4844337, revisions=(4806744,useless=2553955), ccks=4706866005, wck=417.05, mem=49M995
424.38/419.27 decisions=204409, wrong=101002, backtracks=50754, failedAssignments=62065, nogoods=2126, foundSolutions=12, bestBound=312
424.38/419.27 nFilterCalls=3124005, avgTableProportion=0.3499800736554519, avgTableSize=0.6999601473109038
424.38/419.27
425.88/420.73 num=255, depth=4..17, filters=4861017, revisions=(4824448,useless=2563622), ccks=4723345757, wck=418.508, mem=65M829
425.88/420.73 decisions=205421, wrong=101505, backtracks=50951, failedAssignments=62405, nogoods=2166, foundSolutions=12, bestBound=312
425.88/420.73 nFilterCalls=3133975, avgTableProportion=0.3499943362662433, avgTableSize=0.6999886725324866
425.88/420.73
428.68/423.51 num=256, depth=3..15, filters=4884552, revisions=(4850748,useless=2577155), ccks=4755298057, wck=421.294, mem=92M745
428.68/423.51 decisions=206628, wrong=102106, backtracks=51223, failedAssignments=62779, nogoods=2177, foundSolutions=12, bestBound=312
428.68/423.51 nFilterCalls=3146216, avgTableProportion=0.3499694553711506, avgTableSize=0.6999389107423012
428.68/423.51
430.99/425.82 num=257, depth=3..15, filters=4922060, revisions=(4886219,useless=2595946), ccks=4780635296, wck=423.598, mem=41M977
430.99/425.82 decisions=208014, wrong=102795, backtracks=51577, failedAssignments=63190, nogoods=2180, foundSolutions=12, bestBound=312
430.99/425.82 nFilterCalls=3171115, avgTableProportion=0.35025188301275734, avgTableSize=0.7005037660255147
430.99/425.82
433.79/428.64 num=258, depth=4..15, filters=4958622, revisions=(4919872,useless=2613389), ccks=4812505249, wck=426.422, mem=71M861
433.79/428.64 decisions=209503, wrong=103536, backtracks=51949, failedAssignments=63642, nogoods=2187, foundSolutions=12, bestBound=312
433.79/428.64 nFilterCalls=3195783, avgTableProportion=0.3503717242378472, avgTableSize=0.7007434484756944
433.79/428.64
437.80/432.65 num=259, depth=4..18, filters=4994251, revisions=(4958096,useless=2634483), ccks=4858469985, wck=430.434, mem=27M790
437.80/432.65 decisions=211129, wrong=104344, backtracks=52341, failedAssignments=64139, nogoods=2196, foundSolutions=12, bestBound=312
437.80/432.65 nFilterCalls=3216856, avgTableProportion=0.3502929568497937, avgTableSize=0.7005859136995874
437.80/432.65
441.50/436.31 num=260, depth=3..17, filters=5037025, revisions=(5000853,useless=2656993), ccks=4899986633, wck=434.094, mem=68M411
441.50/436.31 decisions=213062, wrong=105306, backtracks=52832, failedAssignments=64686, nogoods=2202, foundSolutions=12, bestBound=312
441.50/436.31 nFilterCalls=3245524, avgTableProportion=0.3504310860126131, avgTableSize=0.7008621720252262
441.50/436.31
444.61/439.41 num=261, depth=1..16, filters=5074990, revisions=(5036075,useless=2674347), ccks=4934564613, wck=437.188, mem=24M679
444.61/439.41 decisions=214834, wrong=106190, backtracks=53184, failedAssignments=65288, nogoods=2238, foundSolutions=12, bestBound=312
444.61/439.41 nFilterCalls=3268421, avgTableProportion=0.35064148712788223, avgTableSize=0.7012829742557645
444.61/439.41
448.01/442.87 num=262, depth=4..17, filters=5122554, revisions=(5084613,useless=2701582), ccks=4973516132, wck=440.651, mem=68M132
448.01/442.87 decisions=217082, wrong=107311, backtracks=53771, failedAssignments=65950, nogoods=2243, foundSolutions=12, bestBound=312
448.01/442.87 nFilterCalls=3301490, avgTableProportion=0.350400122368991, avgTableSize=0.700800244737982
448.01/442.87
451.51/446.35 num=263, depth=2..17, filters=5185683, revisions=(5143248,useless=2732757), ccks=5011339003, wck=444.128, mem=43M166
451.51/446.35 decisions=219580, wrong=108556, backtracks=54414, failedAssignments=66678, nogoods=2248, foundSolutions=12, bestBound=312
451.51/446.35 nFilterCalls=3342357, avgTableProportion=0.35085016352232873, avgTableSize=0.7017003270446575
451.51/446.35
456.71/451.51 num=264, depth=4..18, filters=5231022, revisions=(5191156,useless=2757577), ccks=5070589281, wck=449.293, mem=90M949
456.71/451.51 decisions=222044, wrong=109785, backtracks=54957, failedAssignments=67479, nogoods=2307, foundSolutions=12, bestBound=312
456.71/451.51 nFilterCalls=3367764, avgTableProportion=0.3507996700481388, avgTableSize=0.7015993400962776
456.71/451.51
461.02/455.87 num=265, depth=4..19, filters=5301746, revisions=(5260865,useless=2795246), ccks=5118529915, wck=453.653, mem=75M211
461.02/455.87 decisions=225035, wrong=111276, backtracks=55722, failedAssignments=68360, nogoods=2315, foundSolutions=12, bestBound=312
461.02/455.87 nFilterCalls=3414315, avgTableProportion=0.351059290077219, avgTableSize=0.702118580154438
461.02/455.87
467.24/462.08 num=266, depth=1..14, filters=5378134, revisions=(5334505,useless=2833365), ccks=5188251515, wck=459.856, mem=65M732
467.24/462.08 decisions=228270, wrong=112890, backtracks=56564, failedAssignments=69330, nogoods=2327, foundSolutions=12, bestBound=312
467.24/462.08 nFilterCalls=3461561, avgTableProportion=0.3513183791936644, avgTableSize=0.7026367583873288
467.24/462.08
474.55/469.36 num=267, depth=3..18, filters=5452173, revisions=(5408470,useless=2872568), ccks=5271160325, wck=467.138, mem=59M399
474.55/469.36 decisions=231744, wrong=114625, backtracks=57400, failedAssignments=70397, nogoods=2340, foundSolutions=12, bestBound=312
474.55/469.36 nFilterCalls=3508685, avgTableProportion=0.3512301617272568, avgTableSize=0.7024603234545136
474.55/469.36
480.16/474.94 num=268, depth=3..15, filters=5545798, revisions=(5496531,useless=2919591), ccks=5332290536, wck=472.719, mem=69M676
480.16/474.94 decisions=235632, wrong=116564, backtracks=58336, failedAssignments=71570, nogoods=2345, foundSolutions=12, bestBound=312
480.16/474.94 nFilterCalls=3572002, avgTableProportion=0.3516754749857363, avgTableSize=0.7033509499714726
480.16/474.94
487.47/482.20 num=269, depth=4..16, filters=5655185, revisions=(5602772,useless=2977202), ccks=5413463002, wck=479.982, mem=78M318
487.47/482.20 decisions=239877, wrong=118683, backtracks=59403, failedAssignments=72861, nogoods=2358, foundSolutions=12, bestBound=312
487.47/482.20 nFilterCalls=3647193, avgTableProportion=0.3513680246699311, avgTableSize=0.7027360493398622
487.47/482.20
495.48/490.26 num=270, depth=2..18, filters=5759386, revisions=(5701290,useless=3027884), ccks=5504056218, wck=488.036, mem=97M150
495.48/490.26 decisions=244606, wrong=121044, backtracks=60540, failedAssignments=74281, nogoods=2371, foundSolutions=12, bestBound=312
495.48/490.26 nFilterCalls=3719752, avgTableProportion=0.35062781067124904, avgTableSize=0.7012556213424981
495.48/490.26
503.30/498.04 num=271, depth=3..19, filters=5870549, revisions=(5815925,useless=3089542), ccks=5590866204, wck=495.82, mem=43M631
503.30/498.04 decisions=249907, wrong=123690, backtracks=61881, failedAssignments=75843, nogoods=2378, foundSolutions=12, bestBound=312
503.30/498.04 nFilterCalls=3792714, avgTableProportion=0.3504976910993025, avgTableSize=0.700995382198605
503.30/498.04
517.50/512.23 num=272, depth=3..16, filters=6004357, revisions=(5952119,useless=3159682), ccks=5753986875, wck=510.009, mem=95M610
517.50/512.23 decisions=255541, wrong=126503, backtracks=63383, failedAssignments=77561, nogoods=2470, foundSolutions=12, bestBound=312
517.50/512.23 nFilterCalls=3871845, avgTableProportion=0.35114176833008554, avgTableSize=0.7022835366601711
517.50/512.23
526.11/520.85 num=273, depth=4..20, filters=6134547, revisions=(6082048,useless=3229422), ccks=5849861313, wck=518.633, mem=66M97
526.11/520.85 decisions=261566, wrong=129513, backtracks=64769, failedAssignments=79451, nogoods=2476, foundSolutions=12, bestBound=312
526.11/520.85 nFilterCalls=3956458, avgTableProportion=0.350829074894767, avgTableSize=0.701658149789534
526.11/520.85
540.74/535.45 num=274, depth=2..19, filters=6288136, revisions=(6234146,useless=3310040), ccks=6016856531, wck=533.232, mem=55M707
540.74/535.45 decisions=268393, wrong=132924, backtracks=66435, failedAssignments=81530, nogoods=2483, foundSolutions=12, bestBound=312
540.74/535.45 nFilterCalls=4054711, avgTableProportion=0.35083745795939586, avgTableSize=0.7016749159187917
540.74/535.45
553.46/548.19 num=275, depth=3..19, filters=6454048, revisions=(6395187,useless=3395340), ccks=6160470807, wck=545.968, mem=46M985
553.46/548.19 decisions=275554, wrong=136502, backtracks=68084, failedAssignments=83817, nogoods=2535, foundSolutions=12, bestBound=312
553.46/548.19 nFilterCalls=4164749, avgTableProportion=0.35016564023426144, avgTableSize=0.7003312804685229
553.46/548.19
567.97/562.66 num=276, depth=2..17, filters=6666812, revisions=(6590393,useless=3494657), ccks=6322000059, wck=560.444, mem=83M499
567.97/562.66 decisions=283744, wrong=140593, backtracks=70187, failedAssignments=86333, nogoods=2591, foundSolutions=12, bestBound=312
567.97/562.66 nFilterCalls=4302872, avgTableProportion=0.35183477454128315, avgTableSize=0.7036695490825663
567.97/562.66
582.40/577.02 o 311
582.40/577.02 num=277, depth=1..104, filters=6878980, revisions=(6786401,useless=3597414), ccks=6482166636, wck=574.796, mem=54M248
582.40/577.02 decisions=292298, wrong=144860, backtracks=72126, failedAssignments=89057, nogoods=2609, foundSolutions=13, bestBound=311
582.40/577.02 nFilterCalls=4446351, avgTableProportion=0.35202472769243814, avgTableSize=0.7040494553848763
582.40/577.02
596.46/591.02 num=278, depth=1..17, filters=7165685, revisions=(7049684,useless=3738203), ccks=6633716138, wck=588.805, mem=88M687
596.46/591.02 decisions=302886, wrong=150151, backtracks=74900, failedAssignments=92101, nogoods=2620, foundSolutions=13, bestBound=311
596.46/591.02 nFilterCalls=4637951, avgTableProportion=0.3537073806946214, avgTableSize=0.7074147613892428
596.46/591.02
596.57/591.18 num=279, depth=5..10, filters=7166817, revisions=(7050828,useless=3738781), ccks=6635407656, wck=588.956, mem=24M999
596.57/591.18 decisions=302932, wrong=150171, backtracks=74909, failedAssignments=92112, nogoods=2627, foundSolutions=13, bestBound=311
596.57/591.18 nFilterCalls=4638658, avgTableProportion=0.35372159361608463, avgTableSize=0.7074431872321693
596.57/591.18
596.76/591.34 num=280, depth=7..11, filters=7167728, revisions=(7051733,useless=3739232), ccks=6637363740, wck=589.124, mem=26M289
596.76/591.34 decisions=302972, wrong=150187, backtracks=74914, failedAssignments=92124, nogoods=2630, foundSolutions=13, bestBound=311
596.76/591.34 nFilterCalls=4639268, avgTableProportion=0.3537216431557737, avgTableSize=0.7074432863115474
596.76/591.34
596.96/591.52 num=281, depth=5..10, filters=7168883, revisions=(7052930,useless=3739816), ccks=6639398828, wck=589.303, mem=27M578
596.96/591.52 decisions=303023, wrong=150210, backtracks=74924, failedAssignments=92137, nogoods=2632, foundSolutions=13, bestBound=311
596.96/591.52 nFilterCalls=4639992, avgTableProportion=0.35373455385267905, avgTableSize=0.7074691077053581
596.96/591.52
597.06/591.66 num=282, depth=7..15, filters=7169889, revisions=(7054074,useless=3740434), ccks=6641045648, wck=589.445, mem=28M868
597.06/591.66 decisions=303073, wrong=150230, backtracks=74933, failedAssignments=92151, nogoods=2641, foundSolutions=13, bestBound=311
597.06/591.66 nFilterCalls=4640553, avgTableProportion=0.3537377980598433, avgTableSize=0.7074755961196866
597.06/591.66
597.26/591.82 num=283, depth=6..13, filters=7171335, revisions=(7055533,useless=3741217), ccks=6642779709, wck=589.597, mem=30M158
597.26/591.82 decisions=303137, wrong=150256, backtracks=74944, failedAssignments=92167, nogoods=2645, foundSolutions=13, bestBound=311
597.26/591.82 nFilterCalls=4641567, avgTableProportion=0.35374755982193085, avgTableSize=0.7074951196438617
597.26/591.82
597.47/592.07 num=284, depth=7..13, filters=7172352, revisions=(7056748,useless=3741836), ccks=6645826832, wck=589.854, mem=31M447
597.47/592.07 decisions=303190, wrong=150279, backtracks=74950, failedAssignments=92184, nogoods=2648, foundSolutions=13, bestBound=311
597.47/592.07 nFilterCalls=4642017, avgTableProportion=0.3537434266182136, avgTableSize=0.7074868532364272
597.47/592.07
597.66/592.28 num=285, depth=7..14, filters=7173676, revisions=(7058233,useless=3742575), ccks=6648187158, wck=590.058, mem=32M737
597.66/592.28 decisions=303258, wrong=150308, backtracks=74966, failedAssignments=92203, nogoods=2653, foundSolutions=13, bestBound=311
597.66/592.28 nFilterCalls=4642746, avgTableProportion=0.35375249905982364, avgTableSize=0.7075049981196473
597.66/592.28
597.87/592.48 num=286, depth=2..12, filters=7174887, revisions=(7059534,useless=3743231), ccks=6650479296, wck=590.256, mem=34M27
597.87/592.48 decisions=303318, wrong=150333, backtracks=74973, failedAssignments=92224, nogoods=2670, foundSolutions=13, bestBound=311
597.87/592.48 nFilterCalls=4643489, avgTableProportion=0.35376308633443515, avgTableSize=0.7075261726688703
597.87/592.48
598.07/592.68 num=287, depth=3..9, filters=7176449, revisions=(7061303,useless=3744201), ccks=6652828409, wck=590.46, mem=36M606
598.07/592.68 decisions=303393, wrong=150367, backtracks=74986, failedAssignments=92247, nogoods=2675, foundSolutions=13, bestBound=311
598.07/592.68 nFilterCalls=4644432, avgTableProportion=0.35375100765820233, avgTableSize=0.7075020153164047
598.07/592.68
598.37/592.99 num=288, depth=4..15, filters=7177967, revisions=(7062996,useless=3745047), ccks=6656501691, wck=590.772, mem=37M896
598.37/592.99 decisions=303476, wrong=150406, backtracks=75005, failedAssignments=92272, nogoods=2677, foundSolutions=13, bestBound=311
598.37/592.99 nFilterCalls=4645289, avgTableProportion=0.3537448369735446, avgTableSize=0.7074896739470892
598.37/592.99
598.69/593.24 num=289, depth=8..14, filters=7179710, revisions=(7064637,useless=3745849), ccks=6659333324, wck=591.016, mem=40M476
598.69/593.24 decisions=303567, wrong=150446, backtracks=75019, failedAssignments=92300, nogoods=2683, foundSolutions=13, bestBound=311
598.69/593.24 nFilterCalls=4646497, avgTableProportion=0.3537331456363794, avgTableSize=0.7074662912727588
598.69/593.24
598.99/593.52 num=290, depth=5..10, filters=7182031, revisions=(7067164,useless=3747131), ccks=6662588191, wck=591.301, mem=43M55
598.99/593.52 decisions=303679, wrong=150497, backtracks=75047, failedAssignments=92331, nogoods=2687, foundSolutions=13, bestBound=311
598.99/593.52 nFilterCalls=4647846, avgTableProportion=0.3537315995409486, avgTableSize=0.7074631990818973
598.99/593.52
599.39/593.92 num=291, depth=4..10, filters=7185096, revisions=(7070569,useless=3749005), ccks=6667161388, wck=591.697, mem=45M635
599.39/593.92 decisions=303800, wrong=150555, backtracks=75075, failedAssignments=92365, nogoods=2693, foundSolutions=13, bestBound=311
599.39/593.92 nFilterCalls=4649591, avgTableProportion=0.35373745776779075, avgTableSize=0.7074749155355815
599.39/593.92
599.69/594.21 num=292, depth=6..13, filters=7187541, revisions=(7073165,useless=3750302), ccks=6670543041, wck=591.993, mem=48M214
599.69/594.21 decisions=303928, wrong=150615, backtracks=75110, failedAssignments=92402, nogoods=2698, foundSolutions=13, bestBound=311
599.69/594.21 nFilterCalls=4650930, avgTableProportion=0.3537530128382926, avgTableSize=0.7075060256765852
599.69/594.21
600.09/594.67 num=293, depth=5..13, filters=7191878, revisions=(7077636,useless=3752523), ccks=6675839122, wck=592.455, mem=53M373
600.09/594.67 decisions=304082, wrong=150689, backtracks=75153, failedAssignments=92443, nogoods=2700, foundSolutions=13, bestBound=311
600.09/594.67 nFilterCalls=4653231, avgTableProportion=0.35377633304686573, avgTableSize=0.7075526660937315
600.09/594.67
600.39/594.97 num=294, depth=4..16, filters=7195082, revisions=(7080854,useless=3754193), ccks=6679161378, wck=592.749, mem=55M953
600.39/594.97 decisions=304254, wrong=150769, backtracks=75194, failedAssignments=92488, nogoods=2710, foundSolutions=13, bestBound=311
600.39/594.97 nFilterCalls=4655456, avgTableProportion=0.3537682452588962, avgTableSize=0.7075364905177924
600.39/594.97
600.91/595.42 num=295, depth=6..14, filters=7199720, revisions=(7085768,useless=3756792), ccks=6684315986, wck=593.203, mem=61M112
600.91/595.42 decisions=304437, wrong=150856, backtracks=75251, failedAssignments=92538, nogoods=2719, foundSolutions=13, bestBound=311
600.91/595.42 nFilterCalls=4658015, avgTableProportion=0.3537789165556573, avgTableSize=0.7075578331113146
600.91/595.42
601.41/595.95 num=296, depth=2..12, filters=7204535, revisions=(7091063,useless=3759764), ccks=6690365089, wck=593.733, mem=64M981
601.41/595.95 decisions=304638, wrong=150954, backtracks=75304, failedAssignments=92593, nogoods=2724, foundSolutions=13, bestBound=311
601.41/595.95 nFilterCalls=4660887, avgTableProportion=0.3537742923181789, avgTableSize=0.7075485846363578
601.41/595.95
601.91/596.47 num=297, depth=5..12, filters=7209921, revisions=(7096776,useless=3762735), ccks=6696266407, wck=594.254, mem=71M430
601.91/596.47 decisions=304867, wrong=151066, backtracks=75365, failedAssignments=92654, nogoods=2728, foundSolutions=13, bestBound=311
601.91/596.47 nFilterCalls=4663827, avgTableProportion=0.3537926042282443, avgTableSize=0.7075852084564886
601.91/596.47
602.52/597.07 num=298, depth=4..14, filters=7215308, revisions=(7101651,useless=3765256), ccks=6703161636, wck=594.853, mem=75M299
602.52/597.07 decisions=305096, wrong=151176, backtracks=75417, failedAssignments=92721, nogoods=2733, foundSolutions=13, bestBound=311
602.52/597.07 nFilterCalls=4667322, avgTableProportion=0.3537776052305798, avgTableSize=0.7075552104611595
602.52/597.07
603.62/598.15 num=299, depth=4..16, filters=7224070, revisions=(7110572,useless=3769665), ccks=6715620070, wck=595.929, mem=84M327
603.62/598.15 decisions=305383, wrong=151317, backtracks=75500, failedAssignments=92795, nogoods=2739, foundSolutions=13, bestBound=311
603.62/598.15 nFilterCalls=4672166, avgTableProportion=0.3538368499749367, avgTableSize=0.7076736999498734
603.62/598.15
604.12/598.64 num=300, depth=3..15, filters=7231739, revisions=(7118012,useless=3773573), ccks=6720996615, wck=596.423, mem=28M859
604.12/598.64 decisions=305685, wrong=151465, backtracks=75586, failedAssignments=92876, nogoods=2742, foundSolutions=13, bestBound=311
604.12/598.64 nFilterCalls=4677420, avgTableProportion=0.3538538339511953, avgTableSize=0.7077076679023906
604.12/598.64
604.42/598.96 num=301, depth=7..11, filters=7234298, revisions=(7120996,useless=3775029), ccks=6724598446, wck=596.736, mem=31M417
604.42/598.96 decisions=305885, wrong=151561, backtracks=75598, failedAssignments=92965, nogoods=2819, foundSolutions=13, bestBound=311
604.42/598.96 nFilterCalls=4678346, avgTableProportion=0.3538686535797053, avgTableSize=0.7077373071594106
604.42/598.96
605.42/599.93 num=302, depth=5..15, filters=7242266, revisions=(7129511,useless=3779469), ccks=6735733778, wck=597.709, mem=39M93
605.42/599.93 decisions=306230, wrong=151728, backtracks=75689, failedAssignments=93063, nogoods=2824, foundSolutions=13, bestBound=311
605.42/599.93 nFilterCalls=4682660, avgTableProportion=0.35390162856154406, avgTableSize=0.7078032571230881
605.42/599.93
606.02/600.55 num=303, depth=4..16, filters=7248693, revisions=(7136720,useless=3783450), ccks=6742903423, wck=598.335, mem=45M489
606.02/600.55 decisions=306597, wrong=151907, backtracks=75776, failedAssignments=93171, nogoods=2828, foundSolutions=13, bestBound=311
606.02/600.55 nFilterCalls=4686675, avgTableProportion=0.3538444632922061, avgTableSize=0.7076889265844122
606.02/600.55
606.72/601.24 num=304, depth=7..16, filters=7259163, revisions=(7146668,useless=3788623), ccks=6750406647, wck=599.016, mem=54M444
606.72/601.24 decisions=307019, wrong=152113, backtracks=75888, failedAssignments=93290, nogoods=2833, foundSolutions=13, bestBound=311
606.72/601.24 nFilterCalls=4693536, avgTableProportion=0.35380776881225584, avgTableSize=0.7076155376245117
606.72/601.24
607.63/602.13 num=305, depth=4..14, filters=7268765, revisions=(7156355,useless=3793777), ccks=6760501613, wck=599.906, mem=63M399
607.63/602.13 decisions=307511, wrong=152354, backtracks=76024, failedAssignments=93421, nogoods=2839, foundSolutions=13, bestBound=311
607.63/602.13 nFilterCalls=4699415, avgTableProportion=0.3538292532155598, avgTableSize=0.7076585064311196
607.63/602.13
608.63/603.12 o 310
608.63/603.12 num=306, depth=4..104, filters=7277604, revisions=(7165555,useless=3798688), ccks=6771941532, wck=600.898, mem=71M74
608.63/603.12 decisions=307898, wrong=152539, backtracks=76120, failedAssignments=93535, nogoods=2842, foundSolutions=14, bestBound=310
608.63/603.12 nFilterCalls=4705197, avgTableProportion=0.35377328515681705, avgTableSize=0.7075465703136341
608.63/603.12
609.72/604.29 num=307, depth=2..14, filters=7288396, revisions=(7177334,useless=3804758), ccks=6785401952, wck=602.068, mem=82M588
609.72/604.29 decisions=308448, wrong=152810, backtracks=76273, failedAssignments=93693, nogoods=2849, foundSolutions=14, bestBound=310
609.72/604.29 nFilterCalls=4711303, avgTableProportion=0.35377134520959486, avgTableSize=0.7075426904191897
609.72/604.29
609.92/604.43 num=308, depth=8..13, filters=7289761, revisions=(7178629,useless=3805444), ccks=6786971926, wck=602.207, mem=83M867
609.92/604.43 decisions=308503, wrong=152833, backtracks=76286, failedAssignments=93704, nogoods=2854, foundSolutions=14, bestBound=310
609.92/604.43 nFilterCalls=4712272, avgTableProportion=0.3537828461514955, avgTableSize=0.707565692302991
609.92/604.43
610.02/604.54 num=309, depth=5..9, filters=7290776, revisions=(7179518,useless=3805877), ccks=6788300694, wck=602.324, mem=83M867
610.02/604.54 decisions=308553, wrong=152855, backtracks=76298, failedAssignments=93716, nogoods=2856, foundSolutions=14, bestBound=310
610.02/604.54 nFilterCalls=4712998, avgTableProportion=0.35378319702236244, avgTableSize=0.7075663940447249
610.02/604.54
610.22/604.70 num=310, depth=6..14, filters=7291849, revisions=(7180792,useless=3806577), ccks=6790106887, wck=602.48, mem=85M146
610.22/604.70 decisions=308606, wrong=152878, backtracks=76313, failedAssignments=93729, nogoods=2859, foundSolutions=14, bestBound=310
610.22/604.70 nFilterCalls=4713650, avgTableProportion=0.35378263129422, avgTableSize=0.70756526258844
610.22/604.70
610.32/604.84 num=311, depth=9..15, filters=7293195, revisions=(7182210,useless=3807334), ccks=6791750869, wck=602.625, mem=87M705
610.32/604.84 decisions=308667, wrong=152903, backtracks=76325, failedAssignments=93743, nogoods=2864, foundSolutions=14, bestBound=310
610.32/604.84 nFilterCalls=4714590, avgTableProportion=0.3537914219476137, avgTableSize=0.7075828438952274
610.32/604.84
610.57/605.06 num=312, depth=7..14, filters=7294669, revisions=(7183807,useless=3808180), ccks=6794122226, wck=602.835, mem=25M11
610.57/605.06 decisions=308734, wrong=152932, backtracks=76345, failedAssignments=93759, nogoods=2868, foundSolutions=14, bestBound=310
610.57/605.06 nFilterCalls=4715523, avgTableProportion=0.35379787141320274, avgTableSize=0.7075957428264055
610.57/605.06
610.86/605.31 num=313, depth=4..14, filters=7297047, revisions=(7185981,useless=3809282), ccks=6796992234, wck=603.086, mem=27M548
610.86/605.31 decisions=308813, wrong=152966, backtracks=76365, failedAssignments=93776, nogoods=2870, foundSolutions=14, bestBound=310
610.86/605.31 nFilterCalls=4716963, avgTableProportion=0.35380392002226857, avgTableSize=0.7076078400445371
610.86/605.31
610.96/605.48 num=314, depth=6..12, filters=7298132, revisions=(7187219,useless=3809912), ccks=6799036309, wck=603.262, mem=28M817
610.96/605.48 decisions=308881, wrong=152997, backtracks=76379, failedAssignments=93795, nogoods=2873, foundSolutions=14, bestBound=310
610.96/605.48 nFilterCalls=4717601, avgTableProportion=0.35380662756345865, avgTableSize=0.7076132551269173
610.96/605.48
611.16/605.61 num=315, depth=5..15, filters=7299340, revisions=(7188585,useless=3810677), ccks=6800519100, wck=603.393, mem=30M86
611.16/605.61 decisions=308952, wrong=153027, backtracks=76392, failedAssignments=93816, nogoods=2883, foundSolutions=14, bestBound=310
611.16/605.61 nFilterCalls=4718436, avgTableProportion=0.35380123837644506, avgTableSize=0.7076024767528901
611.16/605.61
611.36/605.83 num=316, depth=6..11, filters=7301787, revisions=(7191008,useless=3811876), ccks=6802983627, wck=603.611, mem=32M623
611.36/605.83 decisions=309033, wrong=153063, backtracks=76410, failedAssignments=93839, nogoods=2889, foundSolutions=14, bestBound=310
611.36/605.83 nFilterCalls=4719811, avgTableProportion=0.35380410359652115, avgTableSize=0.7076082071930423
611.36/605.83
611.57/606.11 num=317, depth=4..9, filters=7304474, revisions=(7193663,useless=3813155), ccks=6806106870, wck=603.885, mem=35M161
611.57/606.11 decisions=309135, wrong=153112, backtracks=76443, failedAssignments=93864, nogoods=2892, foundSolutions=14, bestBound=310
611.57/606.11 nFilterCalls=4721294, avgTableProportion=0.3538369989244474, avgTableSize=0.7076739978488948
611.57/606.11
611.97/606.45 num=318, depth=6..14, filters=7306538, revisions=(7196017,useless=3814348), ccks=6810047239, wck=604.226, mem=36M429
611.97/606.45 decisions=309227, wrong=153154, backtracks=76464, failedAssignments=93892, nogoods=2896, foundSolutions=14, bestBound=310
611.97/606.45 nFilterCalls=4722281, avgTableProportion=0.35384711329122515, avgTableSize=0.7076942265824503
611.97/606.45
612.07/606.59 num=319, depth=5..14, filters=7308442, revisions=(7197969,useless=3815393), ccks=6811678545, wck=604.373, mem=38M967
612.07/606.59 decisions=309349, wrong=153212, backtracks=76492, failedAssignments=93923, nogoods=2902, foundSolutions=14, bestBound=310
612.07/606.59 nFilterCalls=4723662, avgTableProportion=0.35384961921492264, avgTableSize=0.7076992384298453
612.07/606.59
612.37/606.89 num=320, depth=6..14, filters=7311158, revisions=(7200858,useless=3816889), ccks=6815034935, wck=604.666, mem=41M505
612.37/606.89 decisions=309468, wrong=153268, backtracks=76523, failedAssignments=93957, nogoods=2907, foundSolutions=14, bestBound=310
612.37/606.89 nFilterCalls=4725253, avgTableProportion=0.3538653909113438, avgTableSize=0.7077307818226876
612.37/606.89
612.77/607.27 num=321, depth=4..11, filters=7314012, revisions=(7203738,useless=3818334), ccks=6819515835, wck=605.054, mem=44M42
612.77/607.27 decisions=309606, wrong=153335, backtracks=76563, failedAssignments=93994, nogoods=2908, foundSolutions=14, bestBound=310
612.77/607.27 nFilterCalls=4726901, avgTableProportion=0.3538820677649056, avgTableSize=0.7077641355298112
612.77/607.27
612.97/607.48 num=322, depth=7..16, filters=7316130, revisions=(7206027,useless=3819494), ccks=6821902537, wck=605.264, mem=46M580
612.97/607.48 decisions=309745, wrong=153401, backtracks=76595, failedAssignments=94035, nogoods=2910, foundSolutions=14, bestBound=310
612.97/607.48 nFilterCalls=4728232, avgTableProportion=0.35387667102629483, avgTableSize=0.7077533420525897
612.97/607.48
613.58/608.09 num=323, depth=5..13, filters=7319681, revisions=(7209847,useless=3821404), ccks=6828892340, wck=605.865, mem=50M386
613.58/608.09 decisions=309892, wrong=153471, backtracks=76625, failedAssignments=94080, nogoods=2913, foundSolutions=14, bestBound=310
613.58/608.09 nFilterCalls=4730174, avgTableProportion=0.35387968814677856, avgTableSize=0.7077593762935571
613.58/608.09
613.97/608.44 num=324, depth=5..18, filters=7322704, revisions=(7213398,useless=3823449), ccks=6832920378, wck=606.218, mem=52M923
613.97/608.44 decisions=310075, wrong=153557, backtracks=76672, failedAssignments=94130, nogoods=2917, foundSolutions=14, bestBound=310
613.97/608.44 nFilterCalls=4732113, avgTableProportion=0.3538639081526582, avgTableSize=0.7077278163053164
613.97/608.44
614.37/608.83 num=325, depth=5..14, filters=7326765, revisions=(7217300,useless=3825436), ccks=6837454621, wck=606.615, mem=56M730
614.37/608.83 decisions=310251, wrong=153640, backtracks=76707, failedAssignments=94185, nogoods=2929, foundSolutions=14, bestBound=310
614.37/608.83 nFilterCalls=4734795, avgTableProportion=0.3538619940250845, avgTableSize=0.707723988050169
614.37/608.83
614.77/609.22 num=326, depth=6..16, filters=7330660, revisions=(7221750,useless=3828060), ccks=6841846065, wck=607.002, mem=60M536
614.77/609.22 decisions=310475, wrong=153746, backtracks=76760, failedAssignments=94246, nogoods=2932, foundSolutions=14, bestBound=310
614.77/609.22 nFilterCalls=4737418, avgTableProportion=0.35383905325643633, avgTableSize=0.7076781065128727
614.77/609.22
615.58/610.04 num=327, depth=4..12, filters=7336651, revisions=(7227966,useless=3831159), ccks=6851392364, wck=607.824, mem=65M611
615.58/610.04 decisions=310693, wrong=153852, backtracks=76808, failedAssignments=94313, nogoods=2936, foundSolutions=14, bestBound=310
615.58/610.04 nFilterCalls=4740631, avgTableProportion=0.3538487808901389, avgTableSize=0.7076975617802778
615.58/610.04
616.28/610.79 num=328, depth=4..15, filters=7342781, revisions=(7234479,useless=3834646), ccks=6860051233, wck=608.572, mem=71M955
616.28/610.79 decisions=310944, wrong=153974, backtracks=76876, failedAssignments=94387, nogoods=2944, foundSolutions=14, bestBound=310
616.28/610.79 nFilterCalls=4744291, avgTableProportion=0.35387584783479764, avgTableSize=0.7077516956695953
616.28/610.79
616.98/611.42 num=329, depth=3..14, filters=7351012, revisions=(7242286,useless=3838709), ccks=6867133154, wck=609.203, mem=78M299
616.98/611.42 decisions=311288, wrong=154141, backtracks=76970, failedAssignments=94468, nogoods=2948, foundSolutions=14, bestBound=310
616.98/611.42 nFilterCalls=4749459, avgTableProportion=0.35393399542979526, avgTableSize=0.7078679908595905
616.98/611.42
617.78/612.22 num=330, depth=4..13, filters=7356218, revisions=(7248184,useless=3841774), ccks=6876404251, wck=610.0, mem=83M374
617.78/612.22 decisions=311590, wrong=154288, backtracks=77042, failedAssignments=94557, nogoods=2952, foundSolutions=14, bestBound=310
617.78/612.22 nFilterCalls=4752357, avgTableProportion=0.35393490009273293, avgTableSize=0.7078698001854659
617.78/612.22
618.69/613.11 num=331, depth=5..16, filters=7364329, revisions=(7256924,useless=3846286), ccks=6886510644, wck=610.889, mem=27M508
618.69/613.11 decisions=311937, wrong=154457, backtracks=77140, failedAssignments=94655, nogoods=2959, foundSolutions=14, bestBound=310
618.69/613.11 nFilterCalls=4757079, avgTableProportion=0.3539433547351221, avgTableSize=0.7078867094702442
618.69/613.11
619.59/614.08 num=332, depth=5..17, filters=7372702, revisions=(7264888,useless=3850408), ccks=6897696272, wck=611.857, mem=35M58
619.59/614.08 decisions=312300, wrong=154636, backtracks=77224, failedAssignments=94763, nogoods=2963, foundSolutions=14, bestBound=310
619.59/614.08 nFilterCalls=4762682, avgTableProportion=0.35391991319176885, avgTableSize=0.7078398263835377
619.59/614.08
620.78/615.20 num=333, depth=4..13, filters=7384498, revisions=(7277004,useless=3856651), ccks=6910478438, wck=612.978, mem=46M383
620.78/615.20 decisions=312732, wrong=154848, backtracks=77353, failedAssignments=94882, nogoods=2966, foundSolutions=14, bestBound=310
620.78/615.20 nFilterCalls=4769644, avgTableProportion=0.35399759395040803, avgTableSize=0.7079951879008161
620.78/615.20
621.78/616.27 num=334, depth=6..16, filters=7395630, revisions=(7288811,useless=3862922), ccks=6922671019, wck=614.053, mem=56M449
621.78/616.27 decisions=313208, wrong=155082, backtracks=77486, failedAssignments=95013, nogoods=2973, foundSolutions=14, bestBound=310
621.78/616.27 nFilterCalls=4776133, avgTableProportion=0.3540202921484808, avgTableSize=0.7080405842969616
621.78/616.27
622.98/617.45 num=335, depth=4..13, filters=7405673, revisions=(7298509,useless=3867909), ccks=6936198480, wck=615.234, mem=65M257
622.98/617.45 decisions=313660, wrong=155303, backtracks=77590, failedAssignments=95157, nogoods=2986, foundSolutions=14, bestBound=310
622.98/617.45 nFilterCalls=4782631, avgTableProportion=0.3540218762434317, avgTableSize=0.7080437524868634
622.98/617.45
624.18/618.60 num=336, depth=1..12, filters=7417789, revisions=(7310829,useless=3874174), ccks=6949284806, wck=616.381, mem=76M581
624.18/618.60 decisions=314176, wrong=155558, backtracks=77722, failedAssignments=95315, nogoods=2993, foundSolutions=14, bestBound=310
624.18/618.60 nFilterCalls=4789578, avgTableProportion=0.3540987327067228, avgTableSize=0.7081974654134456
624.18/618.60
625.38/619.83 num=337, depth=4..14, filters=7430834, revisions=(7323850,useless=3880785), ccks=6963268060, wck=617.608, mem=86M648
625.38/619.83 decisions=314759, wrong=155847, backtracks=77862, failedAssignments=95489, nogoods=3008, foundSolutions=14, bestBound=310
625.38/619.83 nFilterCalls=4797744, avgTableProportion=0.3540889217932428, avgTableSize=0.7081778435864856
625.38/619.83
626.78/621.26 num=338, depth=4..14, filters=7444844, revisions=(7338744,useless=3888646), ccks=6979473324, wck=619.037, mem=36M244
626.78/621.26 decisions=315419, wrong=156173, backtracks=78022, failedAssignments=95680, nogoods=3016, foundSolutions=14, bestBound=310
626.78/621.26 nFilterCalls=4805723, avgTableProportion=0.35407117721932785, avgTableSize=0.7081423544386557
626.78/621.26
628.38/622.86 num=339, depth=2..12, filters=7463520, revisions=(7356684,useless=3897676), ccks=6997628002, wck=620.637, mem=52M466
628.38/622.86 decisions=316174, wrong=156547, backtracks=78220, failedAssignments=95891, nogoods=3023, foundSolutions=14, bestBound=310
628.38/622.86 nFilterCalls=4816907, avgTableProportion=0.35418298505659335, avgTableSize=0.7083659701131867
628.38/622.86
630.48/624.95 num=340, depth=4..14, filters=7480379, revisions=(7373615,useless=3906265), ccks=7021762921, wck=622.729, mem=69M935
630.48/624.95 decisions=316954, wrong=156933, backtracks=78417, failedAssignments=96123, nogoods=3031, foundSolutions=14, bestBound=310
630.48/624.95 nFilterCalls=4826768, avgTableProportion=0.35418182518820046, avgTableSize=0.7083636503764009
630.48/624.95
631.89/626.33 num=341, depth=2..13, filters=7500761, revisions=(7393544,useless=3916421), ccks=7037016363, wck=624.106, mem=26M274
631.89/626.33 decisions=317786, wrong=157347, backtracks=78643, failedAssignments=96378, nogoods=3036, foundSolutions=14, bestBound=310
631.89/626.33 nFilterCalls=4838994, avgTableProportion=0.35433976566203634, avgTableSize=0.7086795313240727
631.89/626.33
633.89/628.32 num=342, depth=4..14, filters=7523008, revisions=(7417140,useless=3928553), ccks=7059613940, wck=626.104, mem=47M308
633.89/628.32 decisions=318764, wrong=157832, backtracks=78895, failedAssignments=96659, nogoods=3039, foundSolutions=14, bestBound=310
633.89/628.32 nFilterCalls=4851498, avgTableProportion=0.35441187443548366, avgTableSize=0.7088237488709673
633.89/628.32
635.60/630.08 num=343, depth=3..15, filters=7544590, revisions=(7437738,useless=3939231), ccks=7079419322, wck=627.864, mem=69M580
635.60/630.08 decisions=319750, wrong=158322, backtracks=79114, failedAssignments=96968, nogoods=3042, foundSolutions=14, bestBound=310
635.60/630.08 nFilterCalls=4865961, avgTableProportion=0.3544150888180156, avgTableSize=0.7088301776360312
635.60/630.08
637.80/632.25 num=344, depth=4..15, filters=7569285, revisions=(7462066,useless=3952185), ccks=7104010589, wck=630.035, mem=27M480
637.80/632.25 decisions=320850, wrong=158867, backtracks=79375, failedAssignments=97308, nogoods=3055, foundSolutions=14, bestBound=310
637.80/632.25 nFilterCalls=4882035, avgTableProportion=0.35437609521439317, avgTableSize=0.7087521904287863
637.80/632.25
639.90/634.30 num=345, depth=1..11, filters=7590795, revisions=(7484858,useless=3963610), ccks=7127277810, wck=632.078, mem=48M336
639.90/634.30 decisions=321954, wrong=159418, backtracks=79603, failedAssignments=97682, nogoods=3062, foundSolutions=14, bestBound=310
639.90/634.30 nFilterCalls=4893303, avgTableProportion=0.35449245632244725, avgTableSize=0.7089849126448945
639.90/634.30
643.00/637.40 num=346, depth=2..13, filters=7624698, revisions=(7518819,useless=3980816), ccks=7162340163, wck=635.178, mem=79M6
643.00/637.40 decisions=323335, wrong=160105, backtracks=79983, failedAssignments=98093, nogoods=3066, foundSolutions=14, bestBound=310
643.00/637.40 nFilterCalls=4912989, avgTableProportion=0.3546511095384093, avgTableSize=0.7093022190768186
643.00/637.40
646.31/640.71 num=347, depth=1..14, filters=7654721, revisions=(7549271,useless=3996076), ccks=7200346765, wck=638.492, mem=45M726
646.31/640.71 decisions=324800, wrong=160835, backtracks=80341, failedAssignments=98545, nogoods=3075, foundSolutions=14, bestBound=310
646.31/640.71 nFilterCalls=4930188, avgTableProportion=0.35466396007616746, avgTableSize=0.7093279201523349
646.31/640.71
649.21/643.66 num=348, depth=0..14, filters=7694611, revisions=(7586406,useless=4015004), ccks=7233125598, wck=641.441, mem=82M216
649.21/643.66 decisions=326552, wrong=161708, backtracks=80817, failedAssignments=99042, nogoods=3081, foundSolutions=14, bestBound=310
649.21/643.66 nFilterCalls=4955163, avgTableProportion=0.3549032594891429, avgTableSize=0.7098065189782858
649.21/643.66
653.51/647.99 num=349, depth=2..14, filters=7736110, revisions=(7628475,useless=4036513), ccks=7282866392, wck=645.768, mem=57M596
653.51/647.99 decisions=328285, wrong=162572, backtracks=81217, failedAssignments=99589, nogoods=3086, foundSolutions=14, bestBound=310
653.51/647.99 nFilterCalls=4979130, avgTableProportion=0.35492335006316367, avgTableSize=0.7098467001263273
653.51/647.99
657.12/651.57 num=350, depth=2..14, filters=7781024, revisions=(7674516,useless=4060040), ccks=7323026940, wck=649.349, mem=37M14
657.12/651.57 decisions=330263, wrong=163556, backtracks=81696, failedAssignments=100191, nogoods=3095, foundSolutions=14, bestBound=310
657.12/651.57 nFilterCalls=5005854, avgTableProportion=0.3550748783324484, avgTableSize=0.7101497566648968
657.12/651.57
662.23/656.60 num=351, depth=3..20, filters=7820177, revisions=(7715622,useless=4081294), ccks=7381161750, wck=654.383, mem=76M461
662.23/656.60 decisions=332256, wrong=164550, backtracks=82124, failedAssignments=100853, nogoods=3106, foundSolutions=14, bestBound=310
662.23/656.60 nFilterCalls=5027268, avgTableProportion=0.35512170825187755, avgTableSize=0.7102434165037551
662.23/656.60
666.44/660.82 num=352, depth=1..16, filters=7877383, revisions=(7771906,useless=4110640), ccks=7428325094, wck=658.597, mem=67M705
666.44/660.82 decisions=334744, wrong=165790, backtracks=82784, failedAssignments=101581, nogoods=3154, foundSolutions=14, bestBound=310
666.44/660.82 nFilterCalls=5062198, avgTableProportion=0.3553816938808004, avgTableSize=0.7107633877616008
666.44/660.82
671.14/665.56 num=353, depth=1..14, filters=7945892, revisions=(7831713,useless=4140366), ccks=7481211866, wck=663.342, mem=61M445
671.14/665.56 decisions=337288, wrong=167060, backtracks=83368, failedAssignments=102382, nogoods=3161, foundSolutions=14, bestBound=310
671.14/665.56 nFilterCalls=5105239, avgTableProportion=0.35578726089023455, avgTableSize=0.7115745217804691
671.14/665.56
676.15/670.59 num=354, depth=1..14, filters=8024074, revisions=(7906220,useless=4179184), ccks=7537015354, wck=668.372, mem=69M290
676.15/670.59 decisions=340284, wrong=168555, backtracks=84143, failedAssignments=103263, nogoods=3168, foundSolutions=14, bestBound=310
676.15/670.59 nFilterCalls=5154022, avgTableProportion=0.3562135551613866, avgTableSize=0.7124271103227732
676.15/670.59
679.96/674.30 num=355, depth=2..14, filters=8098464, revisions=(7972886,useless=4213212), ccks=7577095157, wck=672.083, mem=72M341
679.96/674.30 decisions=343286, wrong=170053, backtracks=84802, failedAssignments=104233, nogoods=3174, foundSolutions=14, bestBound=310
679.96/674.30 nFilterCalls=5202428, avgTableProportion=0.35678936834877867, avgTableSize=0.7135787366975573
679.96/674.30
686.47/680.88 num=356, depth=2..17, filters=8185661, revisions=(8053023,useless=4255234), ccks=7650930321, wck=678.662, mem=28M460
686.47/680.88 decisions=346748, wrong=171780, backtracks=85645, failedAssignments=105300, nogoods=3186, foundSolutions=14, bestBound=310
686.47/680.88 nFilterCalls=5262350, avgTableProportion=0.35687544538086596, avgTableSize=0.7137508907617319
686.47/680.88
692.38/686.76 num=357, depth=2..17, filters=8280059, revisions=(8140970,useless=4300484), ccks=7715657085, wck=684.536, mem=47M524
692.38/686.76 decisions=350609, wrong=173708, backtracks=86571, failedAssignments=106473, nogoods=3205, foundSolutions=14, bestBound=310
692.38/686.76 nFilterCalls=5324043, avgTableProportion=0.35712098869224007, avgTableSize=0.7142419773844801
692.38/686.76
698.98/693.36 num=358, depth=1..16, filters=8384788, revisions=(8234660,useless=4348565), ccks=7788332541, wck=691.136, mem=76M235
698.98/693.36 decisions=354940, wrong=175870, backtracks=87704, failedAssignments=107764, nogoods=3220, foundSolutions=14, bestBound=310
698.98/693.36 nFilterCalls=5395305, avgTableProportion=0.3575695905977512, avgTableSize=0.7151391811955023
698.98/693.36
705.99/700.37 num=359, depth=0..17, filters=8504122, revisions=(8343832,useless=4404715), ccks=7865109922, wck=698.149, mem=68M772
705.99/700.37 decisions=359758, wrong=178277, backtracks=88953, failedAssignments=109184, nogoods=3224, foundSolutions=14, bestBound=310
705.99/700.37 nFilterCalls=5474378, avgTableProportion=0.3573616947898008, avgTableSize=0.7147233895796016
705.99/700.37
716.22/710.56 num=360, depth=2..16, filters=8638952, revisions=(8472837,useless=4470198), ccks=7979556288, wck=708.336, mem=70M519
716.22/710.56 decisions=365150, wrong=180971, backtracks=90489, failedAssignments=110746, nogoods=3232, foundSolutions=14, bestBound=310
716.22/710.56 nFilterCalls=5557379, avgTableProportion=0.35786177260899427, avgTableSize=0.7157235452179885
716.22/710.56
724.64/718.92 num=361, depth=1..17, filters=8782932, revisions=(8604104,useless=4538450), ccks=8070819785, wck=716.698, mem=28M512
724.64/718.92 decisions=370923, wrong=183855, backtracks=91980, failedAssignments=112464, nogoods=3238, foundSolutions=14, bestBound=310
724.64/718.92 nFilterCalls=5652869, avgTableProportion=0.35829673392395966, avgTableSize=0.7165934678479193
724.64/718.92
733.65/727.98 num=362, depth=1..16, filters=8948316, revisions=(8754306,useless=4616138), ccks=8170167559, wck=725.765, mem=53M369
733.65/727.98 decisions=377082, wrong=186932, backtracks=93466, failedAssignments=114354, nogoods=3247, foundSolutions=14, bestBound=310
733.65/727.98 nFilterCalls=5762179, avgTableProportion=0.3586303028767416, avgTableSize=0.7172606057534832
733.65/727.98
743.57/737.82 num=363, depth=1..15, filters=9130158, revisions=(8919355,useless=4701202), ccks=8276716910, wck=735.602, mem=38M323
743.57/737.82 decisions=384270, wrong=190523, backtracks=95461, failedAssignments=116433, nogoods=3264, foundSolutions=14, bestBound=310
743.57/737.82 nFilterCalls=5880982, avgTableProportion=0.35936413340493134, avgTableSize=0.7187282668098627
743.57/737.82
752.90/747.17 num=364, depth=1..18, filters=9301544, revisions=(9071007,useless=4778159), ccks=8378143204, wck=744.951, mem=72M949
752.90/747.17 decisions=391204, wrong=193987, backtracks=96942, failedAssignments=118720, nogoods=3272, foundSolutions=14, bestBound=310
752.90/747.17 nFilterCalls=5993890, avgTableProportion=0.3600221225281078, avgTableSize=0.7200442450562156
752.90/747.17
767.62/761.85 num=365, depth=0..16, filters=9542749, revisions=(9279617,useless=4882871), ccks=8539586554, wck=759.634, mem=41M669
767.62/761.85 decisions=399720, wrong=198242, backtracks=99154, failedAssignments=121236, nogoods=3282, foundSolutions=14, bestBound=310
767.62/761.85 nFilterCalls=6154651, avgTableProportion=0.3605763348726029, avgTableSize=0.7211526697452058
767.62/761.85
780.65/774.89 num=366, depth=0..20, filters=9833626, revisions=(9521921,useless=5004589), ccks=8678467369, wck=772.669, mem=38M421
780.65/774.89 decisions=409175, wrong=202965, backtracks=101626, failedAssignments=124004, nogoods=3289, foundSolutions=14, bestBound=310
780.65/774.89 nFilterCalls=6353055, avgTableProportion=0.36157643842214493, avgTableSize=0.7231528768442899
780.65/774.89
794.00/788.18 num=367, depth=0..17, filters=10104075, revisions=(9759443,useless=5126451), ccks=8821675290, wck=785.962, mem=52M535
794.00/788.18 decisions=419437, wrong=208093, backtracks=104293, failedAssignments=127048, nogoods=3301, foundSolutions=14, bestBound=310
794.00/788.18 nFilterCalls=6543797, avgTableProportion=0.3612249891003648, avgTableSize=0.7224499782007296
794.00/788.18
807.02/801.17 num=368, depth=0..17, filters=10376835, revisions=(10003130,useless=5252607), ccks=8960390129, wck=798.951, mem=60M136
807.02/801.17 decisions=429929, wrong=213337, backtracks=106647, failedAssignments=130397, nogoods=3309, foundSolutions=14, bestBound=310
807.02/801.17 nFilterCalls=6725377, avgTableProportion=0.3617680466091343, avgTableSize=0.7235360932182686
807.02/801.17
823.55/817.68 num=369, depth=0..17, filters=10717182, revisions=(10292919,useless=5399404), ccks=9132396741, wck=815.461, mem=70M953
823.55/817.68 decisions=442043, wrong=219392, backtracks=109758, failedAssignments=134081, nogoods=3315, foundSolutions=14, bestBound=310
823.55/817.68 nFilterCalls=6962715, avgTableProportion=0.3629280388469153, avgTableSize=0.7258560776938306
823.55/817.68
831.47/825.55
831.47/825.55 New Bounds: 310..309
831.47/825.55 num=370, depth=0..16, filters=10921628, revisions=(10464513,useless=5485419), ccks=9211816292, wck=823.329, mem=64M497
831.47/825.55 decisions=448819, wrong=222781, backtracks=111594, failedAssignments=136050, foundSolutions=14, bestBound=310
831.47/825.55 nFilterCalls=7102787, avgTableProportion=0.3633886951699382, avgTableSize=0.7267773903398764
831.47/825.55
831.47/825.55 Global
831.47/825.55 filters=10921628, revisions=(10464513,useless=5485419), ccks=9211816292
831.47/825.55 Stop=FULL_EXPLORATION, wrong=222781, bestBound=310, bestBoundWck=601.271, bestBoundCpu=602.849, foundSolutions=14, firstSolCpu=3.272
831.47/825.55 wck=823.704, cpu=825.126, mem=65M577
831.47/825.55
831.47/825.55 v <instantiation id='sol14' type='solution' cost='310'> <list> s[][] e[] d[][] w[][] sd[][] </list> <values> 0 66 117 217 266 0 81 117 195 266 0 81 134 229 304 0 77 102 181 225 0 97 134 217 229 301 310 309 304 310 66 31 64 45 35 66 36 78 71 44 81 53 91 75 5 77 25 60 38 79 93 37 83 12 81 0 3 2 1 4 3 2 0 4 1 2 1 3 0 4 1 0 4 2 3 4 3 1 0 2 0 217 117 66 266 117 266 81 0 195 229 81 0 134 304 77 0 181 225 102 217 134 229 97 0 </values> </instantiation>
831.47/825.55 s OPTIMUM FOUND
831.47/825.55
831.47/825.55 d WRONG_DECISIONS 222781
831.47/825.55 d NUMBER_SOLUTIONS 14