2.61/2.50	
2.61/2.50	AbsCon 2 
2.61/2.51	
3.01/2.72	  Instance
3.01/2.72	    name=instance-4390788-1568380515, framework=COP, bounds=-infty..+infty
3.01/2.72	
3.01/2.72	  Loading variables...
3.01/2.76	  Loading constraints...
3.18/2.87	
3.18/2.87	  Domains
3.18/2.87	    nTypes=7, nValues=20155, sizes=[4#5,5#45,362#55]
3.18/2.87	  Variables
3.18/2.87	    count=105, degrees=[2#30,3#50,9#25]
3.18/2.87	  Objectives
3.18/2.87	    way=min, type=ObjMaximumLE
3.18/2.87	  Constraints
3.18/2.87	    count=136, nSpecific=81, arities=[1#5,2#75,3#25,5#6,7#25]
3.18/2.87	    distribution=[AllDifferent#5,CtrExtensionSmart-TableSmart#50,CtrExtensionV-Bits#25,CtrIntension#30,ElementVariable#25,ObjMaximumLE#1]
3.18/2.87	    tables=[2#50], nTotalTuples=100
3.18/2.87	    nExtStructures=(55,shared:20), nIntStructures=(14,shared:16), nCftStructures=(5,shared:20,unbuilt:111)
3.18/2.87	    wck=0.404, cpu=2.164, mem=26M520
3.18/2.88	  Solver SolverBacktrack being built...
3.18/2.88	
3.46/2.90	
3.46/2.90	  Solver
3.46/2.90	    guaranteedGAC=true
3.46/2.90	    wck=0.435, cpu=2.193, mem=37M163
4.07/3.37	
4.07/3.37	  Preprocessing
4.07/3.37	    filters=55, revisions=(140,useless=60), ccks=4442423, nACremovedValues=3141, nTotalRemovedValues=3141, inconcistency=false
4.07/3.37	    wck=0.467, cpu=2.662, mem=37M163
4.07/3.37	
4.56/3.50	    num=0, depth=20..22, filters=407, revisions=(668,useless=350), ccks=5636487, wck=0.596, mem=39M805
4.56/3.50	    decisions=44, wrong=12, backtracks=2, failedAssignments=10, nogoods=4
4.56/3.50	    nFilterCalls=297, avgTableProportion=0.32323232323232326, avgTableSize=0.6464646464646465
4.56/3.50	    
4.56/3.53	    num=1, depth=0..0, filters=525, revisions=(887,useless=457), ccks=5964476, wck=0.627, mem=39M805
4.56/3.53	    decisions=66, wrong=23, backtracks=2, failedAssignments=21, nogoods=4
4.56/3.53	    nFilterCalls=297, avgTableProportion=0.32323232323232326, avgTableSize=0.6464646464646465
4.56/3.53	    
4.56/3.59	    num=2, depth=0..0, filters=681, revisions=(1163,useless=589), ccks=6583516, wck=0.683, mem=39M805
4.56/3.59	    decisions=90, wrong=35, backtracks=2, failedAssignments=33, nogoods=4
4.56/3.59	    nFilterCalls=297, avgTableProportion=0.32323232323232326, avgTableSize=0.6464646464646465
4.56/3.59	    
4.90/3.70	o 343
4.90/3.71	    num=3, depth=0..104, filters=999, revisions=(1603,useless=846), ccks=7714681, wck=0.805, mem=42M447
4.90/3.71	    decisions=124, wrong=39, backtracks=2, failedAssignments=37, nogoods=4, foundSolutions=1, bestBound=343
4.90/3.71	    nFilterCalls=533, avgTableProportion=0.3433395872420263, avgTableSize=0.6866791744840526
4.90/3.71	    
5.08/3.83	    num=4, depth=14..14, filters=1306, revisions=(2100,useless=1194), ccks=8828837, wck=0.929, mem=42M447
5.08/3.83	    decisions=166, wrong=53, backtracks=2, failedAssignments=51, nogoods=18, foundSolutions=1, bestBound=343
5.08/3.83	    nFilterCalls=793, avgTableProportion=0.3770491803278688, avgTableSize=0.7540983606557377
5.08/3.83	    
5.08/3.88	    num=5, depth=0..0, filters=1406, revisions=(2290,useless=1283), ccks=9309998, wck=0.977, mem=42M447
5.08/3.88	    decisions=188, wrong=64, backtracks=2, failedAssignments=62, nogoods=18, foundSolutions=1, bestBound=343
5.08/3.88	    nFilterCalls=793, avgTableProportion=0.3770491803278688, avgTableSize=0.7540983606557377
5.08/3.88	    
5.30/3.96	    num=6, depth=0..0, filters=1524, revisions=(2517,useless=1385), ccks=10102483, wck=1.055, mem=42M447
5.30/3.96	    decisions=212, wrong=76, backtracks=2, failedAssignments=74, nogoods=18, foundSolutions=1, bestBound=343
5.30/3.96	    nFilterCalls=793, avgTableProportion=0.3770491803278688, avgTableSize=0.7540983606557377
5.30/3.96	    
5.54/4.08	    num=7, depth=0..0, filters=1641, revisions=(2751,useless=1489), ccks=11273541, wck=1.174, mem=45M90
5.54/4.08	    decisions=238, wrong=89, backtracks=2, failedAssignments=87, nogoods=18, foundSolutions=1, bestBound=343
5.54/4.08	    nFilterCalls=793, avgTableProportion=0.3770491803278688, avgTableSize=0.7540983606557377
5.54/4.08	    
5.92/4.24	    num=8, depth=0..2, filters=1861, revisions=(3074,useless=1617), ccks=12979354, wck=1.34, mem=45M90
5.92/4.24	    decisions=271, wrong=105, backtracks=4, failedAssignments=101, nogoods=20, foundSolutions=1, bestBound=343
5.92/4.24	    nFilterCalls=844, avgTableProportion=0.384478672985782, avgTableSize=0.768957345971564
5.92/4.24	    
6.18/4.33	    num=9, depth=17..17, filters=2166, revisions=(3400,useless=1799), ccks=13807012, wck=1.427, mem=45M90
6.18/4.33	    decisions=320, wrong=121, backtracks=4, failedAssignments=117, nogoods=36, foundSolutions=1, bestBound=343
6.18/4.33	    nFilterCalls=1138, avgTableProportion=0.39235500878734625, avgTableSize=0.7847100175746925
6.18/4.33	    
6.39/4.47	o 329
6.39/4.48	    num=10, depth=0..104, filters=2668, revisions=(4074,useless=2156), ccks=15240995, wck=1.569, mem=47M732
6.39/4.48	    decisions=377, wrong=135, backtracks=4, failedAssignments=131, nogoods=37, foundSolutions=2, bestBound=329
6.39/4.48	    nFilterCalls=1507, avgTableProportion=0.3858659588586596, avgTableSize=0.7717319177173192
6.39/4.48	    
6.88/4.62	    num=11, depth=12..27, filters=3245, revisions=(4916,useless=2679), ccks=16844230, wck=1.717, mem=47M732
6.88/4.62	    decisions=441, wrong=154, backtracks=4, failedAssignments=150, nogoods=56, foundSolutions=2, bestBound=329
6.88/4.62	    nFilterCalls=1973, avgTableProportion=0.37937151545869235, avgTableSize=0.7587430309173847
6.88/4.62	    
6.88/4.64	    num=12, depth=0..0, filters=3363, revisions=(5135,useless=2786), ccks=17010231, wck=1.734, mem=47M732
6.88/4.64	    decisions=463, wrong=165, backtracks=4, failedAssignments=161, nogoods=56, foundSolutions=2, bestBound=329
6.88/4.64	    nFilterCalls=1973, avgTableProportion=0.37937151545869235, avgTableSize=0.7587430309173847
6.88/4.64	    
7.18/4.74	o 328
7.18/4.74	    num=13, depth=0..104, filters=3826, revisions=(5683,useless=3110), ccks=18065211, wck=1.834, mem=50M375
7.18/4.74	    decisions=502, wrong=170, backtracks=6, failedAssignments=164, nogoods=57, foundSolutions=3, bestBound=328
7.18/4.74	    nFilterCalls=2427, avgTableProportion=0.3660898228265348, avgTableSize=0.7321796456530696
7.18/4.74	    
7.49/4.85	    num=14, depth=13..14, filters=4601, revisions=(6410,useless=3535), ccks=19206713, wck=1.943, mem=50M375
7.49/4.85	    decisions=543, wrong=184, backtracks=7, failedAssignments=177, nogoods=70, foundSolutions=3, bestBound=328
7.49/4.85	    nFilterCalls=3072, avgTableProportion=0.3693033854166667, avgTableSize=0.7386067708333334
7.49/4.85	    
7.75/4.97	o 299
7.75/4.97	    num=15, depth=12..104, filters=5173, revisions=(7024,useless=3908), ccks=20493941, wck=2.061, mem=50M375
7.75/4.97	    decisions=583, wrong=187, backtracks=7, failedAssignments=180, nogoods=73, foundSolutions=4, bestBound=299
7.75/4.97	    nFilterCalls=3679, avgTableProportion=0.35702636586028813, avgTableSize=0.7140527317205763
7.75/4.97	    
8.22/5.13	    num=16, depth=8..24, filters=6401, revisions=(8210,useless=4636), ccks=22367180, wck=2.231, mem=53M17
8.22/5.13	    decisions=644, wrong=206, backtracks=15, failedAssignments=192, nogoods=77, foundSolutions=4, bestBound=299
8.22/5.13	    nFilterCalls=4830, avgTableProportion=0.3556935817805383, avgTableSize=0.7113871635610766
8.22/5.13	    
8.33/5.22	o 290
8.33/5.22	    num=17, depth=13..104, filters=6908, revisions=(8779,useless=4970), ccks=23315867, wck=2.316, mem=53M17
8.33/5.22	    decisions=679, wrong=208, backtracks=15, failedAssignments=194, nogoods=79, foundSolutions=5, bestBound=290
8.33/5.22	    nFilterCalls=5359, avgTableProportion=0.34791938794551225, avgTableSize=0.6958387758910245
8.33/5.22	    
8.44/5.33	    num=18, depth=10..20, filters=7514, revisions=(9619,useless=5519), ccks=24573816, wck=2.427, mem=53M17
8.44/5.33	    decisions=722, wrong=220, backtracks=15, failedAssignments=206, nogoods=91, foundSolutions=5, bestBound=290
8.44/5.33	    nFilterCalls=5892, avgTableProportion=0.3475050916496945, avgTableSize=0.695010183299389
8.44/5.33	    
8.44/5.38	    num=19, depth=4..4, filters=7805, revisions=(9851,useless=5608), ccks=25139269, wck=2.477, mem=55M660
8.44/5.38	    decisions=748, wrong=231, backtracks=15, failedAssignments=217, nogoods=102, foundSolutions=5, bestBound=290
8.44/5.38	    nFilterCalls=6105, avgTableProportion=0.3524160524160524, avgTableSize=0.7048321048321048
8.44/5.38	    
8.54/5.47	    num=20, depth=6..22, filters=8507, revisions=(10699,useless=6053), ccks=26143028, wck=2.568, mem=55M660
8.54/5.47	    decisions=797, wrong=246, backtracks=18, failedAssignments=229, nogoods=105, foundSolutions=5, bestBound=290
8.54/5.47	    nFilterCalls=6579, avgTableProportion=0.35035719714242286, avgTableSize=0.7007143942848457
8.54/5.47	    
8.65/5.58	    num=21, depth=10..22, filters=9360, revisions=(11552,useless=6507), ccks=27329531, wck=2.673, mem=55M660
8.65/5.58	    decisions=851, wrong=264, backtracks=25, failedAssignments=242, nogoods=108, foundSolutions=5, bestBound=290
8.65/5.58	    nFilterCalls=7328, avgTableProportion=0.3429312227074236, avgTableSize=0.6858624454148472
8.65/5.58	    
8.85/5.71	    num=22, depth=11..19, filters=10370, revisions=(12617,useless=7078), ccks=28877834, wck=2.81, mem=58M302
8.85/5.71	    decisions=917, wrong=290, backtracks=37, failedAssignments=256, nogoods=110, foundSolutions=5, bestBound=290
8.85/5.71	    nFilterCalls=8015, avgTableProportion=0.3451029320024953, avgTableSize=0.6902058640049906
8.85/5.71	    
8.99/5.85	    num=23, depth=7..22, filters=11228, revisions=(13661,useless=7642), ccks=30414272, wck=2.946, mem=58M302
8.99/5.85	    decisions=982, wrong=313, backtracks=44, failedAssignments=272, nogoods=121, foundSolutions=5, bestBound=290
8.99/5.85	    nFilterCalls=8502, avgTableProportion=0.34650670430486946, avgTableSize=0.6930134086097389
8.99/5.85	    
9.09/5.94	o 284
9.09/5.94	    num=24, depth=8..104, filters=11834, revisions=(14347,useless=8040), ccks=31453822, wck=3.038, mem=58M302
9.09/5.94	    decisions=1020, wrong=317, backtracks=45, failedAssignments=275, nogoods=123, foundSolutions=6, bestBound=284
9.09/5.94	    nFilterCalls=9078, avgTableProportion=0.34148490857016967, avgTableSize=0.6829698171403393
9.09/5.94	    
9.20/6.08	    num=25, depth=9..18, filters=12711, revisions=(15533,useless=8781), ccks=32999376, wck=3.175, mem=60M944
9.20/6.08	    decisions=1088, wrong=343, backtracks=52, failedAssignments=294, nogoods=135, foundSolutions=6, bestBound=284
9.20/6.08	    nFilterCalls=9718, avgTableProportion=0.3415311792549907, avgTableSize=0.6830623585099814
9.20/6.08	    
9.41/6.22	    num=26, depth=6..11, filters=13253, revisions=(16171,useless=9094), ccks=34626682, wck=3.318, mem=60M944
9.41/6.22	    decisions=1128, wrong=359, backtracks=58, failedAssignments=305, nogoods=142, foundSolutions=6, bestBound=284
9.41/6.22	    nFilterCalls=10023, avgTableProportion=0.3425122218896538, avgTableSize=0.6850244437793076
9.41/6.22	    
9.51/6.33	    num=27, depth=6..17, filters=14156, revisions=(17091,useless=9548), ccks=35844900, wck=3.426, mem=63M587
9.51/6.33	    decisions=1178, wrong=377, backtracks=65, failedAssignments=317, nogoods=149, foundSolutions=6, bestBound=284
9.51/6.33	    nFilterCalls=10686, avgTableProportion=0.34124087591240876, avgTableSize=0.6824817518248175
9.51/6.33	    
9.61/6.48	o 282
9.61/6.48	    num=28, depth=13..104, filters=15044, revisions=(18136,useless=10124), ccks=37529576, wck=3.574, mem=63M587
9.61/6.48	    decisions=1244, wrong=396, backtracks=74, failedAssignments=327, nogoods=155, foundSolutions=7, bestBound=282
9.61/6.48	    nFilterCalls=11314, avgTableProportion=0.3381651051794237, avgTableSize=0.6763302103588474
9.61/6.48	    
9.82/6.60	    num=29, depth=9..15, filters=16162, revisions=(19257,useless=10756), ccks=38822118, wck=3.693, mem=66M229
9.82/6.60	    decisions=1300, wrong=419, backtracks=85, failedAssignments=341, nogoods=158, foundSolutions=7, bestBound=282
9.82/6.60	    nFilterCalls=12201, avgTableProportion=0.33964429145152036, avgTableSize=0.6792885829030407
9.82/6.60	    
9.92/6.74	    num=30, depth=6..21, filters=16945, revisions=(20100,useless=11231), ccks=40434087, wck=3.834, mem=66M229
9.92/6.74	    decisions=1348, wrong=433, backtracks=89, failedAssignments=352, nogoods=167, foundSolutions=7, bestBound=282
9.92/6.74	    nFilterCalls=12877, avgTableProportion=0.3380445755999068, avgTableSize=0.6760891511998136
9.92/6.74	    
10.12/6.90	    num=31, depth=16..20, filters=17685, revisions=(21005,useless=11717), ccks=42290140, wck=3.996, mem=66M229
10.12/6.90	    decisions=1402, wrong=451, backtracks=96, failedAssignments=364, nogoods=170, foundSolutions=7, bestBound=282
10.12/6.90	    nFilterCalls=13322, avgTableProportion=0.3373742681279087, avgTableSize=0.6747485362558174
10.12/6.90	    
10.23/7.04	    num=32, depth=8..11, filters=18705, revisions=(21982,useless=12188), ccks=43846841, wck=4.138, mem=68M872
10.23/7.04	    decisions=1452, wrong=471, backtracks=103, failedAssignments=377, nogoods=173, foundSolutions=7, bestBound=282
10.23/7.04	    nFilterCalls=13893, avgTableProportion=0.3402072986396027, avgTableSize=0.6804145972792054
10.23/7.04	    
10.43/7.25	    num=33, depth=8..12, filters=19887, revisions=(23022,useless=12680), ccks=46251285, wck=4.349, mem=68M872
10.43/7.25	    decisions=1507, wrong=494, backtracks=113, failedAssignments=391, nogoods=177, foundSolutions=7, bestBound=282
10.43/7.25	    nFilterCalls=14656, avgTableProportion=0.3429653384279476, avgTableSize=0.6859306768558951
10.43/7.25	    
10.64/7.43	    num=34, depth=8..11, filters=21443, revisions=(24443,useless=13359), ccks=48118270, wck=4.522, mem=71M514
10.64/7.43	    decisions=1569, wrong=521, backtracks=127, failedAssignments=407, nogoods=180, foundSolutions=7, bestBound=282
10.64/7.43	    nFilterCalls=15626, avgTableProportion=0.3463778318187636, avgTableSize=0.6927556636375272
10.64/7.43	    
10.87/7.61	    num=35, depth=13..18, filters=22370, revisions=(25579,useless=13983), ccks=50233914, wck=4.707, mem=71M514
10.87/7.61	    decisions=1641, wrong=549, backtracks=138, failedAssignments=424, nogoods=184, foundSolutions=7, bestBound=282
10.87/7.61	    nFilterCalls=16153, avgTableProportion=0.3454157122515941, avgTableSize=0.6908314245031882
10.87/7.61	    
10.97/7.75	o 280
10.97/7.75	    num=36, depth=10..104, filters=23530, revisions=(26929,useless=14688), ccks=51792336, wck=4.847, mem=71M514
10.97/7.75	    decisions=1716, wrong=572, backtracks=146, failedAssignments=440, nogoods=192, foundSolutions=8, bestBound=280
10.97/7.75	    nFilterCalls=16975, avgTableProportion=0.34167893961708395, avgTableSize=0.6833578792341679
10.97/7.75	    
11.09/7.87	o 279
11.09/7.87	    num=37, depth=6..104, filters=24608, revisions=(28160,useless=15434), ccks=53071294, wck=4.965, mem=74M157
11.09/7.87	    decisions=1776, wrong=586, backtracks=152, failedAssignments=449, nogoods=197, foundSolutions=9, bestBound=279
11.09/7.87	    nFilterCalls=17876, avgTableProportion=0.34059633027522934, avgTableSize=0.6811926605504587
11.09/7.87	    
11.21/7.97	    num=38, depth=8..14, filters=25272, revisions=(28997,useless=15922), ccks=54207827, wck=5.067, mem=74M157
11.21/7.97	    decisions=1815, wrong=600, backtracks=156, failedAssignments=460, nogoods=204, foundSolutions=9, bestBound=279
11.21/7.97	    nFilterCalls=18405, avgTableProportion=0.34227112197772347, avgTableSize=0.6845422439554469
11.21/7.97	    
11.32/8.05	    num=39, depth=10..25, filters=26008, revisions=(29858,useless=16422), ccks=55068321, wck=5.146, mem=74M157
11.32/8.05	    decisions=1864, wrong=614, backtracks=159, failedAssignments=471, nogoods=210, foundSolutions=9, bestBound=279
11.32/8.05	    nFilterCalls=18990, avgTableProportion=0.3417588204318062, avgTableSize=0.6835176408636124
11.32/8.05	    
11.44/8.16	    num=40, depth=11..20, filters=26989, revisions=(30980,useless=17079), ccks=56349749, wck=5.26, mem=76M799
11.44/8.16	    decisions=1913, wrong=630, backtracks=163, failedAssignments=483, nogoods=219, foundSolutions=9, bestBound=279
11.44/8.16	    nFilterCalls=19678, avgTableProportion=0.3400752108954162, avgTableSize=0.6801504217908324
11.44/8.16	    
11.53/8.25	o 278
11.53/8.25	    num=41, depth=106..104, filters=27410, revisions=(31438,useless=17328), ccks=57321940, wck=5.346, mem=76M799
11.53/8.25	    decisions=1940, wrong=630, backtracks=163, failedAssignments=483, nogoods=219, foundSolutions=10, bestBound=278
11.53/8.25	    nFilterCalls=20088, avgTableProportion=0.34025288729589803, avgTableSize=0.6805057745917961
11.53/8.25	    
11.80/8.41	    num=42, depth=6..18, filters=28375, revisions=(32715,useless=18026), ccks=59154092, wck=5.508, mem=79M441
11.80/8.41	    decisions=1999, wrong=653, backtracks=172, failedAssignments=497, nogoods=225, foundSolutions=10, bestBound=278
11.80/8.41	    nFilterCalls=20648, avgTableProportion=0.3401540100736149, avgTableSize=0.6803080201472298
11.80/8.41	    
11.90/8.56	    num=43, depth=10..16, filters=29467, revisions=(33871,useless=18633), ccks=60819495, wck=5.655, mem=79M441
11.90/8.56	    decisions=2044, wrong=670, backtracks=181, failedAssignments=508, nogoods=227, foundSolutions=10, bestBound=278
11.90/8.56	    nFilterCalls=21377, avgTableProportion=0.3394536183748889, avgTableSize=0.6789072367497778
11.90/8.56	    
12.00/8.63	o 272
12.00/8.63	    num=44, depth=6..104, filters=29997, revisions=(34488,useless=18984), ccks=61653328, wck=5.73, mem=79M441
12.00/8.63	    decisions=2085, wrong=675, backtracks=182, failedAssignments=512, nogoods=231, foundSolutions=11, bestBound=272
12.00/8.63	    nFilterCalls=21865, avgTableProportion=0.33805168076835124, avgTableSize=0.6761033615367025
12.00/8.63	    
12.10/8.75	    num=45, depth=6..11, filters=31055, revisions=(35605,useless=19590), ccks=62997202, wck=5.851, mem=82M84
12.10/8.75	    decisions=2138, wrong=697, backtracks=193, failedAssignments=525, nogoods=236, foundSolutions=11, bestBound=272
12.10/8.75	    nFilterCalls=22683, avgTableProportion=0.33851342415024466, avgTableSize=0.6770268483004893
12.10/8.75	    
12.20/8.89	    num=46, depth=6..11, filters=32027, revisions=(36591,useless=20088), ccks=64531086, wck=5.986, mem=82M84
12.20/8.89	    decisions=2184, wrong=717, backtracks=203, failedAssignments=536, nogoods=237, foundSolutions=11, bestBound=272
12.20/8.89	    nFilterCalls=23299, avgTableProportion=0.33870552384222496, avgTableSize=0.6774110476844499
12.20/8.89	    
12.30/8.98	    num=47, depth=7..14, filters=32689, revisions=(37241,useless=20380), ccks=65543052, wck=6.079, mem=82M84
12.30/8.98	    decisions=2224, wrong=732, backtracks=208, failedAssignments=548, nogoods=243, foundSolutions=11, bestBound=272
12.30/8.98	    nFilterCalls=23699, avgTableProportion=0.33955019199122327, avgTableSize=0.6791003839824465
12.30/8.98	    
12.41/9.04	    num=48, depth=7..13, filters=33467, revisions=(37955,useless=20756), ccks=66185168, wck=6.138, mem=84M726
12.41/9.04	    decisions=2263, wrong=748, backtracks=214, failedAssignments=561, nogoods=244, foundSolutions=11, bestBound=272
12.41/9.04	    nFilterCalls=24407, avgTableProportion=0.33801778178391445, avgTableSize=0.6760355635678289
12.41/9.04	    
12.51/9.16	    num=49, depth=6..10, filters=34500, revisions=(38952,useless=21230), ccks=67532560, wck=6.261, mem=84M726
12.51/9.16	    decisions=2311, wrong=769, backtracks=223, failedAssignments=575, nogoods=248, foundSolutions=11, bestBound=272
12.51/9.16	    nFilterCalls=25072, avgTableProportion=0.3396019463943842, avgTableSize=0.6792038927887684
12.51/9.16	    
12.70/9.33	    num=50, depth=5..15, filters=35449, revisions=(40085,useless=21779), ccks=69403129, wck=6.431, mem=84M726
12.70/9.33	    decisions=2374, wrong=796, backtracks=236, failedAssignments=591, nogoods=251, foundSolutions=11, bestBound=272
12.70/9.33	    nFilterCalls=25517, avgTableProportion=0.34128228239996866, avgTableSize=0.6825645647999373
12.70/9.33	    
12.80/9.47	    num=51, depth=8..20, filters=36395, revisions=(41203,useless=22340), ccks=70920816, wck=6.564, mem=87M369
12.80/9.47	    decisions=2436, wrong=819, backtracks=242, failedAssignments=608, nogoods=260, foundSolutions=11, bestBound=272
12.80/9.47	    nFilterCalls=25978, avgTableProportion=0.34155824158903686, avgTableSize=0.6831164831780737
12.80/9.47	    
13.00/9.65	o 270
13.00/9.65	    num=52, depth=6..104, filters=38161, revisions=(43025,useless=23349), ccks=72930253, wck=6.747, mem=87M369
13.00/9.65	    decisions=2517, wrong=846, backtracks=252, failedAssignments=626, nogoods=267, foundSolutions=12, bestBound=270
13.00/9.65	    nFilterCalls=27204, avgTableProportion=0.3398581091016027, avgTableSize=0.6797162182032054
13.00/9.65	    
13.20/9.83	    num=53, depth=6..11, filters=39526, revisions=(44672,useless=24224), ccks=74864096, wck=6.925, mem=90M11
13.20/9.83	    decisions=2594, wrong=881, backtracks=270, failedAssignments=647, nogoods=269, foundSolutions=12, bestBound=270
13.20/9.83	    nFilterCalls=27990, avgTableProportion=0.34180064308681674, avgTableSize=0.6836012861736335
13.20/9.83	    
13.30/9.91	    num=54, depth=5..9, filters=40020, revisions=(45216,useless=24488), ccks=75751514, wck=7.007, mem=90M11
13.30/9.91	    decisions=2630, wrong=895, backtracks=274, failedAssignments=658, nogoods=275, foundSolutions=12, bestBound=270
13.30/9.91	    nFilterCalls=28293, avgTableProportion=0.34308839642314354, avgTableSize=0.6861767928462871
13.30/9.91	    
13.41/10.04	    num=55, depth=9..12, filters=41153, revisions=(46459,useless=25141), ccks=77235112, wck=7.139, mem=90M11
13.41/10.04	    decisions=2680, wrong=915, backtracks=282, failedAssignments=670, nogoods=281, foundSolutions=12, bestBound=270
13.41/10.04	    nFilterCalls=28930, avgTableProportion=0.34372623574144484, avgTableSize=0.6874524714828897
13.41/10.04	    
13.51/10.19	    num=56, depth=5..11, filters=41944, revisions=(47338,useless=25601), ccks=78898135, wck=7.284, mem=92M654
13.51/10.19	    decisions=2728, wrong=934, backtracks=288, failedAssignments=683, nogoods=289, foundSolutions=12, bestBound=270
13.51/10.19	    nFilterCalls=29416, avgTableProportion=0.34426842534675006, avgTableSize=0.6885368506935001
13.51/10.19	    
13.70/10.35	    num=57, depth=6..14, filters=43269, revisions=(48699,useless=26292), ccks=80750174, wck=7.448, mem=92M654
13.70/10.35	    decisions=2791, wrong=960, backtracks=303, failedAssignments=697, nogoods=295, foundSolutions=12, bestBound=270
13.70/10.35	    nFilterCalls=30236, avgTableProportion=0.345597962693478, avgTableSize=0.691195925386956
13.70/10.35	    
13.90/10.50	    num=58, depth=6..14, filters=44471, revisions=(50041,useless=27038), ccks=82388491, wck=7.594, mem=95M296
13.90/10.50	    decisions=2859, wrong=989, backtracks=316, failedAssignments=713, nogoods=300, foundSolutions=12, bestBound=270
13.90/10.50	    nFilterCalls=31009, avgTableProportion=0.3463833080718501, avgTableSize=0.6927666161437002
13.90/10.50	    
14.10/10.71	    num=59, depth=8..12, filters=46179, revisions=(51612,useless=27825), ccks=84818356, wck=7.81, mem=95M296
14.10/10.71	    decisions=2931, wrong=1020, backtracks=332, failedAssignments=730, nogoods=303, foundSolutions=12, bestBound=270
14.10/10.71	    nFilterCalls=32145, avgTableProportion=0.348001244361487, avgTableSize=0.696002488722974
14.10/10.71	    
14.20/10.86	    num=60, depth=8..13, filters=47920, revisions=(53384,useless=28784), ccks=86360382, wck=7.952, mem=97M938
14.20/10.86	    decisions=3010, wrong=1055, backtracks=351, failedAssignments=749, nogoods=307, foundSolutions=12, bestBound=270
14.20/10.86	    nFilterCalls=33353, avgTableProportion=0.34773483644649655, avgTableSize=0.6954696728929931
14.20/10.86	    
14.30/11.00	    num=61, depth=9..15, filters=50614, revisions=(55553,useless=29918), ccks=87827167, wck=8.092, mem=100M581
14.30/11.00	    decisions=3099, wrong=1094, backtracks=369, failedAssignments=770, nogoods=312, foundSolutions=12, bestBound=270
14.30/11.00	    nFilterCalls=35572, avgTableProportion=0.3481249297200045, avgTableSize=0.696249859440009
14.30/11.00	    
14.61/11.24	    num=62, depth=5..12, filters=53203, revisions=(57705,useless=31006), ccks=90485186, wck=8.333, mem=100M581
14.61/11.24	    decisions=3191, wrong=1137, backtracks=397, failedAssignments=793, nogoods=316, foundSolutions=12, bestBound=270
14.61/11.24	    nFilterCalls=37372, avgTableProportion=0.35166702344000855, avgTableSize=0.7033340468800171
14.61/11.24	    
14.80/11.45	    num=63, depth=6..12, filters=55114, revisions=(59642,useless=32001), ccks=92780980, wck=8.541, mem=103M223
14.80/11.45	    decisions=3291, wrong=1184, backtracks=422, failedAssignments=818, nogoods=320, foundSolutions=12, bestBound=270
14.80/11.45	    nFilterCalls=38530, avgTableProportion=0.3515831819361536, avgTableSize=0.7031663638723072
14.80/11.45	    
15.01/11.63	    num=64, depth=7..13, filters=57067, revisions=(61385,useless=32848), ccks=94857889, wck=8.729, mem=105M866
15.01/11.63	    decisions=3387, wrong=1228, backtracks=444, failedAssignments=846, nogoods=325, foundSolutions=12, bestBound=270
15.01/11.63	    nFilterCalls=39845, avgTableProportion=0.353795959342452, avgTableSize=0.707591918684904
15.01/11.63	    
15.21/11.84	    num=65, depth=4..12, filters=59465, revisions=(63687,useless=34045), ccks=97088855, wck=8.937, mem=105M866
15.21/11.84	    decisions=3500, wrong=1282, backtracks=476, failedAssignments=877, nogoods=328, foundSolutions=12, bestBound=270
15.21/11.84	    nFilterCalls=41388, avgTableProportion=0.35593650333429977, avgTableSize=0.7118730066685995
15.21/11.84	    
15.42/12.10	    num=66, depth=6..12, filters=63116, revisions=(66710,useless=35522), ccks=99813647, wck=9.191, mem=108M508
15.42/12.10	    decisions=3633, wrong=1344, backtracks=512, failedAssignments=911, nogoods=333, foundSolutions=12, bestBound=270
15.42/12.10	    nFilterCalls=44200, avgTableProportion=0.358789592760181, avgTableSize=0.717579185520362
15.42/12.10	    
15.72/12.35	    num=67, depth=5..13, filters=66232, revisions=(69445,useless=36936), ccks=102583054, wck=9.451, mem=111M151
15.72/12.35	    decisions=3763, wrong=1405, backtracks=547, failedAssignments=948, nogoods=338, foundSolutions=12, bestBound=270
15.72/12.35	    nFilterCalls=46422, avgTableProportion=0.35942010253758994, avgTableSize=0.7188402050751799
15.72/12.35	    
16.16/12.70	    num=68, depth=7..13, filters=70198, revisions=(72898,useless=38689), ccks=106276813, wck=9.794, mem=113M793
16.16/12.70	    decisions=3926, wrong=1483, backtracks=587, failedAssignments=989, nogoods=343, foundSolutions=12, bestBound=270
16.16/12.70	    nFilterCalls=49372, avgTableProportion=0.3612472656566475, avgTableSize=0.722494531313295
16.16/12.70	    
16.57/13.12	    num=69, depth=5..14, filters=73741, revisions=(76387,useless=40454), ccks=111069272, wck=10.219, mem=116M435
16.57/13.12	    decisions=4106, wrong=1568, backtracks=633, failedAssignments=1034, nogoods=347, foundSolutions=12, bestBound=270
16.57/13.12	    nFilterCalls=51711, avgTableProportion=0.36283382645858714, avgTableSize=0.7256676529171743
16.57/13.12	    
16.96/13.51	    num=70, depth=6..14, filters=76617, revisions=(79423,useless=41917), ccks=115290112, wck=10.604, mem=121M720
16.96/13.51	    decisions=4280, wrong=1651, backtracks=674, failedAssignments=1084, nogoods=352, foundSolutions=12, bestBound=270
16.96/13.51	    nFilterCalls=53377, avgTableProportion=0.36358356595537406, avgTableSize=0.7271671319107481
16.96/13.51	    
17.36/13.94	    num=71, depth=5..13, filters=80908, revisions=(83763,useless=44240), ccks=120146143, wck=11.036, mem=124M363
17.36/13.94	    decisions=4472, wrong=1744, backtracks=723, failedAssignments=1139, nogoods=355, foundSolutions=12, bestBound=270
17.36/13.94	    nFilterCalls=56231, avgTableProportion=0.3634738845121019, avgTableSize=0.7269477690242038
17.36/13.94	    
17.76/14.36	    num=72, depth=6..15, filters=84464, revisions=(87595,useless=46137), ccks=124750633, wck=11.454, mem=127M5
17.76/14.36	    decisions=4671, wrong=1840, backtracks=776, failedAssignments=1200, nogoods=364, foundSolutions=12, bestBound=270
17.76/14.36	    nFilterCalls=58326, avgTableProportion=0.3633628227548606, avgTableSize=0.7267256455097212
17.76/14.36	    
18.26/14.88	    num=73, depth=4..15, filters=88167, revisions=(91435,useless=48106), ccks=130725983, wck=11.98, mem=132M290
18.26/14.88	    decisions=4895, wrong=1948, backtracks=833, failedAssignments=1267, nogoods=373, foundSolutions=12, bestBound=270
18.26/14.88	    nFilterCalls=60625, avgTableProportion=0.36415670103092784, avgTableSize=0.7283134020618557
18.26/14.88	    
18.47/15.05	o 268
18.47/15.05	    num=74, depth=8..104, filters=89318, revisions=(92858,useless=48870), ccks=132621311, wck=12.148, mem=132M290
18.47/15.05	    decisions=4974, wrong=1974, backtracks=846, failedAssignments=1283, nogoods=378, foundSolutions=13, bestBound=268
18.47/15.05	    nFilterCalls=61369, avgTableProportion=0.36352229953233717, avgTableSize=0.7270445990646743
18.47/15.05	    
19.16/15.72	    num=75, depth=4..12, filters=95732, revisions=(98844,useless=52093), ccks=140111947, wck=12.818, mem=137M575
19.16/15.72	    decisions=5254, wrong=2110, backtracks=925, failedAssignments=1364, nogoods=384, foundSolutions=13, bestBound=268
19.16/15.72	    nFilterCalls=66050, avgTableProportion=0.3653898561695685, avgTableSize=0.730779712339137
19.16/15.72	    
19.26/15.83	    num=76, depth=7..9, filters=96306, revisions=(99396,useless=52334), ccks=141332126, wck=12.926, mem=140M217
19.26/15.83	    decisions=5286, wrong=2122, backtracks=926, failedAssignments=1375, nogoods=393, foundSolutions=13, bestBound=268
19.26/15.83	    nFilterCalls=66448, avgTableProportion=0.36554900072236934, avgTableSize=0.7310980014447387
19.26/15.83	    
19.37/15.92	    num=77, depth=8..11, filters=97087, revisions=(100128,useless=52667), ccks=142327827, wck=13.015, mem=140M217
19.37/15.92	    decisions=5330, wrong=2140, backtracks=933, failedAssignments=1387, nogoods=395, foundSolutions=13, bestBound=268
19.37/15.92	    nFilterCalls=66978, avgTableProportion=0.36579175251575147, avgTableSize=0.7315835050315029
19.37/15.92	    
19.48/16.05	    num=78, depth=5..11, filters=98350, revisions=(101274,useless=53233), ccks=143794166, wck=13.15, mem=140M217
19.48/16.05	    decisions=5387, wrong=2163, backtracks=945, failedAssignments=1400, nogoods=399, foundSolutions=13, bestBound=268
19.48/16.05	    nFilterCalls=67873, avgTableProportion=0.36602920159710045, avgTableSize=0.7320584031942009
19.48/16.05	    
19.58/16.18	    num=79, depth=6..13, filters=99261, revisions=(102363,useless=53817), ccks=145206029, wck=13.276, mem=142M778
19.58/16.18	    decisions=5442, wrong=2187, backtracks=959, failedAssignments=1414, nogoods=402, foundSolutions=13, bestBound=268
19.58/16.18	    nFilterCalls=68405, avgTableProportion=0.36627439514655363, avgTableSize=0.7325487902931073
19.58/16.18	    
19.68/16.28	    num=80, depth=9..23, filters=100121, revisions=(103364,useless=54384), ccks=146284705, wck=13.372, mem=142M778
19.68/16.28	    decisions=5508, wrong=2211, backtracks=968, failedAssignments=1430, nogoods=410, foundSolutions=13, bestBound=268
19.68/16.28	    nFilterCalls=69016, avgTableProportion=0.36531384026892316, avgTableSize=0.7306276805378463
19.68/16.28	    
19.88/16.42	    num=81, depth=8..13, filters=101321, revisions=(104609,useless=55054), ccks=147845624, wck=13.511, mem=142M778
19.88/16.42	    decisions=5568, wrong=2235, backtracks=977, failedAssignments=1447, nogoods=418, foundSolutions=13, bestBound=268
19.88/16.42	    nFilterCalls=69889, avgTableProportion=0.3659874944554937, avgTableSize=0.7319749889109874
19.88/16.42	    
20.02/16.56	    num=82, depth=6..12, filters=102441, revisions=(105920,useless=55751), ccks=149290242, wck=13.653, mem=24M500
20.02/16.56	    decisions=5633, wrong=2264, backtracks=991, failedAssignments=1466, nogoods=421, foundSolutions=13, bestBound=268
20.02/16.56	    nFilterCalls=70495, avgTableProportion=0.3662671111426342, avgTableSize=0.7325342222852684
20.02/16.56	    
20.22/16.72	    num=83, depth=6..12, filters=103828, revisions=(107323,useless=56411), ccks=151189644, wck=13.82, mem=24M500
20.22/16.72	    decisions=5708, wrong=2298, backtracks=1008, failedAssignments=1487, nogoods=424, foundSolutions=13, bestBound=268
20.22/16.72	    nFilterCalls=71329, avgTableProportion=0.3662255183726114, avgTableSize=0.7324510367452228
20.22/16.72	    
20.32/16.89	    num=84, depth=6..15, filters=105141, revisions=(108825,useless=57203), ccks=153066396, wck=13.986, mem=27M116
20.32/16.89	    decisions=5788, wrong=2333, backtracks=1021, failedAssignments=1510, nogoods=432, foundSolutions=13, bestBound=268
20.32/16.89	    nFilterCalls=72187, avgTableProportion=0.3662847881197446, avgTableSize=0.7325695762394892
20.32/16.89	    
20.63/17.13	    num=85, depth=8..13, filters=106989, revisions=(110615,useless=58059), ccks=155811439, wck=14.227, mem=29M732
20.63/17.13	    decisions=5882, wrong=2374, backtracks=1038, failedAssignments=1535, nogoods=436, foundSolutions=13, bestBound=268
20.63/17.13	    nFilterCalls=73328, avgTableProportion=0.3658766092079424, avgTableSize=0.7317532184158848
20.63/17.13	    
20.82/17.32	    num=86, depth=6..15, filters=108596, revisions=(112373,useless=58987), ccks=157901523, wck=14.412, mem=29M732
20.82/17.32	    decisions=5976, wrong=2417, backtracks=1059, failedAssignments=1563, nogoods=443, foundSolutions=13, bestBound=268
20.82/17.32	    nFilterCalls=74246, avgTableProportion=0.36620828058077204, avgTableSize=0.7324165611615441
20.82/17.32	    
21.02/17.50	    num=87, depth=6..12, filters=110668, revisions=(114411,useless=60047), ccks=159985911, wck=14.598, mem=32M348
21.02/17.50	    decisions=6080, wrong=2466, backtracks=1081, failedAssignments=1594, nogoods=449, foundSolutions=13, bestBound=268
21.02/17.50	    nFilterCalls=75765, avgTableProportion=0.3666138718405596, avgTableSize=0.7332277436811192
21.02/17.50	    
21.12/17.69	    num=88, depth=5..16, filters=112656, revisions=(116440,useless=61063), ccks=162137100, wck=14.79, mem=34M963
21.12/17.69	    decisions=6194, wrong=2517, backtracks=1100, failedAssignments=1628, nogoods=458, foundSolutions=13, bestBound=268
21.12/17.69	    nFilterCalls=77016, avgTableProportion=0.36667056196115094, avgTableSize=0.7333411239223019
21.12/17.69	    
21.32/17.87	    num=89, depth=9..24, filters=114434, revisions=(118708,useless=62200), ccks=164198383, wck=14.971, mem=34M963
21.32/17.87	    decisions=6338, wrong=2579, backtracks=1127, failedAssignments=1665, nogoods=464, foundSolutions=13, bestBound=268
21.32/17.87	    nFilterCalls=77772, avgTableProportion=0.36550429460474204, avgTableSize=0.7310085892094841
21.32/17.87	    
21.64/18.19	    num=90, depth=7..14, filters=117144, revisions=(121690,useless=63815), ccks=167761507, wck=15.284, mem=37M579
21.64/18.19	    decisions=6471, wrong=2641, backtracks=1155, failedAssignments=1706, nogoods=468, foundSolutions=13, bestBound=268
21.64/18.19	    nFilterCalls=79474, avgTableProportion=0.36437073759971816, avgTableSize=0.7287414751994363
21.64/18.19	    
22.03/18.55	    num=91, depth=5..15, filters=119441, revisions=(124217,useless=65149), ccks=171901452, wck=15.646, mem=40M195
22.03/18.55	    decisions=6620, wrong=2712, backtracks=1186, failedAssignments=1751, nogoods=473, foundSolutions=13, bestBound=268
22.03/18.55	    nFilterCalls=80854, avgTableProportion=0.3644284760185025, avgTableSize=0.728856952037005
22.03/18.55	    
22.13/18.69	    num=92, depth=9..20, filters=121185, revisions=(126256,useless=66247), ccks=173514247, wck=15.789, mem=42M811
22.13/18.69	    decisions=6767, wrong=2778, backtracks=1202, failedAssignments=1801, nogoods=480, foundSolutions=13, bestBound=268
22.13/18.69	    nFilterCalls=81875, avgTableProportion=0.3624854961832061, avgTableSize=0.7249709923664122
22.13/18.69	    
22.43/18.99	    num=93, depth=7..14, filters=123799, revisions=(129181,useless=67859), ccks=176864657, wck=16.084, mem=42M811
22.43/18.99	    decisions=6928, wrong=2853, backtracks=1227, failedAssignments=1856, nogoods=499, foundSolutions=13, bestBound=268
22.43/18.99	    nFilterCalls=83356, avgTableProportion=0.3611797591055233, avgTableSize=0.7223595182110466
22.43/18.99	    
23.06/19.54	    num=94, depth=6..15, filters=127509, revisions=(132992,useless=69776), ccks=183114658, wck=16.631, mem=48M43
23.06/19.54	    decisions=7158, wrong=2963, backtracks=1284, failedAssignments=1917, nogoods=508, foundSolutions=13, bestBound=268
23.06/19.54	    nFilterCalls=85855, avgTableProportion=0.3617086948925514, avgTableSize=0.7234173897851028
23.06/19.54	    
23.39/19.86	    num=95, depth=5..14, filters=132057, revisions=(137161,useless=71993), ccks=186746021, wck=16.961, mem=50M659
23.39/19.86	    decisions=7375, wrong=3066, backtracks=1335, failedAssignments=1984, nogoods=513, foundSolutions=13, bestBound=268
23.39/19.86	    nFilterCalls=89187, avgTableProportion=0.3621211611557738, avgTableSize=0.7242423223115476
23.39/19.86	    
23.99/20.43	    num=96, depth=5..14, filters=137393, revisions=(142602,useless=74836), ccks=193124263, wck=17.523, mem=55M891
23.99/20.43	    decisions=7624, wrong=3185, backtracks=1395, failedAssignments=2058, nogoods=520, foundSolutions=13, bestBound=268
23.99/20.43	    nFilterCalls=92416, avgTableProportion=0.3617122576177285, avgTableSize=0.723424515235457
23.99/20.43	    
24.29/20.78	    num=97, depth=5..14, filters=142882, revisions=(147454,useless=77401), ccks=196992776, wck=17.877, mem=61M123
24.29/20.78	    decisions=7894, wrong=3317, backtracks=1467, failedAssignments=2139, nogoods=526, foundSolutions=13, bestBound=268
24.29/20.78	    nFilterCalls=96626, avgTableProportion=0.36239210978411607, avgTableSize=0.7247842195682321
24.29/20.78	    
24.90/21.32	    num=98, depth=6..15, filters=148138, revisions=(152553,useless=80167), ccks=202985428, wck=18.415, mem=63M738
24.90/21.32	    decisions=8201, wrong=3467, backtracks=1536, failedAssignments=2228, nogoods=533, foundSolutions=13, bestBound=268
24.90/21.32	    nFilterCalls=100538, avgTableProportion=0.36331039010125527, avgTableSize=0.7266207802025105
24.90/21.32	    
25.31/21.76	    num=99, depth=5..14, filters=154474, revisions=(158513,useless=83262), ccks=207838962, wck=18.856, mem=68M970
25.31/21.76	    decisions=8520, wrong=3623, backtracks=1614, failedAssignments=2326, nogoods=537, foundSolutions=13, bestBound=268
25.31/21.76	    nFilterCalls=105165, avgTableProportion=0.3642799410450245, avgTableSize=0.728559882090049
25.31/21.76	    
26.51/22.90	    num=100, depth=4..17, filters=163521, revisions=(167108,useless=87725), ccks=220790135, wck=19.994, mem=79M434
26.51/22.90	    decisions=8942, wrong=3829, backtracks=1736, failedAssignments=2434, nogoods=540, foundSolutions=13, bestBound=268
26.51/22.90	    nFilterCalls=110903, avgTableProportion=0.36650496379719216, avgTableSize=0.7330099275943843
26.51/22.90	    
27.02/23.49	    num=101, depth=6..25, filters=169417, revisions=(173812,useless=91036), ccks=227507300, wck=20.584, mem=82M50
27.02/23.49	    decisions=9277, wrong=3993, backtracks=1800, failedAssignments=2553, nogoods=549, foundSolutions=13, bestBound=268
27.02/23.49	    nFilterCalls=113902, avgTableProportion=0.3650989447068533, avgTableSize=0.7301978894137066
27.02/23.49	    
28.22/24.61	    num=102, depth=4..14, filters=178977, revisions=(182818,useless=95603), ccks=240196665, wck=21.705, mem=91M219
28.22/24.61	    decisions=9727, wrong=4215, backtracks=1911, failedAssignments=2684, nogoods=556, foundSolutions=13, bestBound=268
28.22/24.61	    nFilterCalls=120105, avgTableProportion=0.3673202614379085, avgTableSize=0.734640522875817
28.22/24.61	    
28.82/25.29	    num=103, depth=4..15, filters=189695, revisions=(192259,useless=100514), ccks=247679370, wck=22.388, mem=101M682
28.82/25.29	    decisions=10231, wrong=4464, backtracks=2061, failedAssignments=2828, nogoods=559, foundSolutions=13, bestBound=268
28.82/25.29	    nFilterCalls=127753, avgTableProportion=0.36803049634842233, avgTableSize=0.7360609926968447
28.82/25.29	    
29.65/26.01	    num=104, depth=4..14, filters=197089, revisions=(200338,useless=104854), ccks=255713708, wck=23.109, mem=106M914
29.65/26.01	    decisions=10749, wrong=4718, backtracks=2182, failedAssignments=2986, nogoods=567, foundSolutions=13, bestBound=268
29.65/26.01	    nFilterCalls=131968, avgTableProportion=0.36871438530552864, avgTableSize=0.7374287706110573
29.65/26.01	    
30.82/27.18	    num=105, depth=4..12, filters=208565, revisions=(212505,useless=111053), ccks=268386842, wck=24.276, mem=117M378
30.82/27.18	    decisions=11365, wrong=5023, backtracks=2346, failedAssignments=3160, nogoods=574, foundSolutions=13, bestBound=268
30.82/27.18	    nFilterCalls=138398, avgTableProportion=0.36976690414601365, avgTableSize=0.7395338082920273
30.82/27.18	    
31.41/27.75	    num=106, depth=6..16, filters=219503, revisions=(222776,useless=116389), ccks=274369080, wck=24.846, mem=125M226
31.41/27.75	    decisions=11899, wrong=5284, backtracks=2437, failedAssignments=3351, nogoods=580, foundSolutions=13, bestBound=268
31.41/27.75	    nFilterCalls=145733, avgTableProportion=0.3694564717668613, avgTableSize=0.7389129435337226
31.41/27.75	    
32.84/29.12	    num=107, depth=4..17, filters=235130, revisions=(237646,useless=124228), ccks=289727440, wck=26.213, mem=135M689
32.84/29.12	    decisions=12593, wrong=5627, backtracks=2605, failedAssignments=3562, nogoods=589, foundSolutions=13, bestBound=268
32.84/29.12	    nFilterCalls=156233, avgTableProportion=0.36807524658682866, avgTableSize=0.7361504931736573
32.84/29.12	    
33.93/30.24	    num=108, depth=5..18, filters=252825, revisions=(254816,useless=133414), ccks=302077425, wck=27.333, mem=148M769
33.93/30.24	    decisions=13394, wrong=6024, backtracks=2813, failedAssignments=3794, nogoods=599, foundSolutions=13, bestBound=268
33.93/30.24	    nFilterCalls=168013, avgTableProportion=0.3666472237267354, avgTableSize=0.7332944474534708
33.93/30.24	    
35.03/31.34	o 267
35.03/31.34	    num=109, depth=2..104, filters=258697, revisions=(261405,useless=136892), ccks=314846364, wck=28.44, mem=154M1
35.03/31.34	    decisions=13795, wrong=6209, backtracks=2903, failedAssignments=3902, nogoods=611, foundSolutions=14, bestBound=267
35.03/31.34	    nFilterCalls=171806, avgTableProportion=0.3660058438005658, avgTableSize=0.7320116876011316
35.03/31.34	    
36.88/33.13	    num=110, depth=5..26, filters=276213, revisions=(279946,useless=146851), ccks=334836356, wck=30.222, mem=37M596
36.88/33.13	    decisions=14802, wrong=6707, backtracks=3160, failedAssignments=4183, nogoods=624, foundSolutions=14, bestBound=267
36.88/33.13	    nFilterCalls=182863, avgTableProportion=0.3639145152381838, avgTableSize=0.7278290304763676
36.88/33.13	    
36.97/33.22	    num=111, depth=5..11, filters=277034, revisions=(280732,useless=147227), ccks=335908263, wck=30.317, mem=40M212
36.97/33.22	    decisions=14843, wrong=6725, backtracks=3168, failedAssignments=4194, nogoods=625, foundSolutions=14, bestBound=267
36.97/33.22	    nFilterCalls=183389, avgTableProportion=0.3639640327391501, avgTableSize=0.7279280654783002
36.97/33.22	    
37.07/33.32	    num=112, depth=7..12, filters=277663, revisions=(281367,useless=147529), ccks=337073186, wck=30.419, mem=40M212
37.07/33.32	    decisions=14880, wrong=6739, backtracks=3171, failedAssignments=4206, nogoods=631, foundSolutions=14, bestBound=267
37.07/33.32	    nFilterCalls=183819, avgTableProportion=0.3640891311561917, avgTableSize=0.7281782623123834
37.07/33.32	    
37.17/33.45	    num=113, depth=8..12, filters=278676, revisions=(282433,useless=148063), ccks=338477580, wck=30.543, mem=40M212
37.17/33.45	    decisions=14932, wrong=6761, backtracks=3181, failedAssignments=4219, nogoods=637, foundSolutions=14, bestBound=267
37.17/33.45	    nFilterCalls=184430, avgTableProportion=0.36400802472482785, avgTableSize=0.7280160494496557
37.17/33.45	    
37.27/33.55	    num=114, depth=7..20, filters=279475, revisions=(283391,useless=148598), ccks=339654272, wck=30.646, mem=42M828
37.27/33.55	    decisions=14984, wrong=6780, backtracks=3188, failedAssignments=4233, nogoods=641, foundSolutions=14, bestBound=267
37.27/33.55	    nFilterCalls=184925, avgTableProportion=0.363858320940922, avgTableSize=0.727716641881844
37.27/33.55	    
37.37/33.68	    num=115, depth=9..14, filters=280591, revisions=(284630,useless=149276), ccks=341085584, wck=30.773, mem=42M828
37.37/33.68	    decisions=15038, wrong=6802, backtracks=3196, failedAssignments=4249, nogoods=645, foundSolutions=14, bestBound=267
37.37/33.68	    nFilterCalls=185714, avgTableProportion=0.36365594408606783, avgTableSize=0.7273118881721357
37.37/33.68	    
37.47/33.76	    num=116, depth=8..13, filters=281627, revisions=(285531,useless=149735), ccks=342015689, wck=30.857, mem=42M828
37.47/33.76	    decisions=15096, wrong=6827, backtracks=3206, failedAssignments=4266, nogoods=648, foundSolutions=14, bestBound=267
37.47/33.76	    nFilterCalls=186762, avgTableProportion=0.3634492027286065, avgTableSize=0.726898405457213
37.47/33.76	    
37.67/33.98	    num=117, depth=6..12, filters=283127, revisions=(287180,useless=150550), ccks=344545070, wck=31.08, mem=45M444
37.67/33.98	    decisions=15170, wrong=6861, backtracks=3222, failedAssignments=4285, nogoods=651, foundSolutions=14, bestBound=267
37.67/33.98	    nFilterCalls=187611, avgTableProportion=0.3636966915585973, avgTableSize=0.7273933831171946
37.67/33.98	    
37.88/34.19	    num=118, depth=6..15, filters=284711, revisions=(288958,useless=151444), ccks=346897362, wck=31.286, mem=48M59
37.88/34.19	    decisions=15252, wrong=6898, backtracks=3243, failedAssignments=4306, nogoods=655, foundSolutions=14, bestBound=267
37.88/34.19	    nFilterCalls=188511, avgTableProportion=0.3635835574581855, avgTableSize=0.727167114916371
37.88/34.19	    
38.07/34.32	    num=119, depth=8..23, filters=286002, revisions=(290408,useless=152233), ccks=348328193, wck=31.413, mem=48M59
38.07/34.32	    decisions=15336, wrong=6931, backtracks=3255, failedAssignments=4329, nogoods=660, foundSolutions=14, bestBound=267
38.07/34.32	    nFilterCalls=189348, avgTableProportion=0.3631831337009105, avgTableSize=0.726366267401821
38.07/34.32	    
38.17/34.48	    num=120, depth=9..18, filters=287618, revisions=(292057,useless=153126), ccks=350132195, wck=31.573, mem=48M59
38.17/34.48	    decisions=15425, wrong=6967, backtracks=3267, failedAssignments=4354, nogoods=671, foundSolutions=14, bestBound=267
38.17/34.48	    nFilterCalls=190562, avgTableProportion=0.36262738636244374, avgTableSize=0.7252547727248875
38.17/34.48	    
38.38/34.69	    num=121, depth=5..16, filters=289496, revisions=(294097,useless=154198), ccks=352481185, wck=31.782, mem=50M675
38.38/34.69	    decisions=15530, wrong=7016, backtracks=3295, failedAssignments=4382, nogoods=674, foundSolutions=14, bestBound=267
38.38/34.69	    nFilterCalls=191591, avgTableProportion=0.3627414648913571, avgTableSize=0.7254829297827142
38.38/34.69	    
38.68/34.93	    num=122, depth=6..16, filters=292054, revisions=(296480,useless=155453), ccks=355182674, wck=32.025, mem=53M291
38.68/34.93	    decisions=15663, wrong=7075, backtracks=3328, failedAssignments=4413, nogoods=681, foundSolutions=14, bestBound=267
38.68/34.93	    nFilterCalls=193657, avgTableProportion=0.3630671754700321, avgTableSize=0.7261343509400642
38.68/34.93	    
39.08/35.36	    num=123, depth=5..12, filters=294066, revisions=(298593,useless=156439), ccks=360172464, wck=32.456, mem=55M907
39.08/35.36	    decisions=15794, wrong=7135, backtracks=3360, failedAssignments=4447, nogoods=685, foundSolutions=14, bestBound=267
39.08/35.36	    nFilterCalls=194753, avgTableProportion=0.3631677047336883, avgTableSize=0.7263354094673766
39.08/35.36	    
39.28/35.56	    num=124, depth=6..16, filters=296230, revisions=(300956,useless=157624), ccks=362389658, wck=32.653, mem=58M523
39.28/35.56	    decisions=15933, wrong=7199, backtracks=3388, failedAssignments=4484, nogoods=688, foundSolutions=14, bestBound=267
39.28/35.56	    nFilterCalls=195960, avgTableProportion=0.36322718922229025, avgTableSize=0.7264543784445805
39.28/35.56	    
39.58/35.86	    num=125, depth=5..12, filters=299034, revisions=(303490,useless=158826), ccks=365731500, wck=32.952, mem=61M139
39.58/35.86	    decisions=16071, wrong=7264, backtracks=3416, failedAssignments=4525, nogoods=692, foundSolutions=14, bestBound=267
39.58/35.86	    nFilterCalls=197833, avgTableProportion=0.36322302143727286, avgTableSize=0.7264460428745457
39.58/35.86	    
39.89/36.15	    num=126, depth=7..15, filters=302404, revisions=(306652,useless=160495), ccks=369055186, wck=33.25, mem=63M755
39.89/36.15	    decisions=16231, wrong=7340, backtracks=3454, failedAssignments=4570, nogoods=699, foundSolutions=14, bestBound=267
39.89/36.15	    nFilterCalls=200239, avgTableProportion=0.3633557898311518, avgTableSize=0.7267115796623036
39.89/36.15	    
40.08/36.36	    num=127, depth=6..18, filters=305067, revisions=(309257,useless=161789), ccks=371321203, wck=33.458, mem=66M371
40.08/36.36	    decisions=16401, wrong=7421, backtracks=3498, failedAssignments=4620, nogoods=710, foundSolutions=14, bestBound=267
40.08/36.36	    nFilterCalls=201999, avgTableProportion=0.363415165421611, avgTableSize=0.726830330843222
40.08/36.36	    
40.38/36.65	    num=128, depth=7..18, filters=308162, revisions=(312385,useless=163431), ccks=374543727, wck=33.743, mem=68M987
40.38/36.65	    decisions=16580, wrong=7507, backtracks=3535, failedAssignments=4675, nogoods=711, foundSolutions=14, bestBound=267
40.38/36.65	    nFilterCalls=204183, avgTableProportion=0.3625962984185755, avgTableSize=0.725192596837151
40.38/36.65	    
40.68/36.99	    num=129, depth=5..13, filters=312229, revisions=(316169,useless=165320), ccks=378288986, wck=34.085, mem=71M603
40.68/36.99	    decisions=16790, wrong=7609, backtracks=3588, failedAssignments=4736, nogoods=717, foundSolutions=14, bestBound=267
40.68/36.99	    nFilterCalls=206910, avgTableProportion=0.36352037117587355, avgTableSize=0.7270407423517471
40.68/36.99	    
40.99/37.29	    num=130, depth=5..16, filters=316138, revisions=(320093,useless=167437), ccks=381621501, wck=34.388, mem=74M219
40.99/37.29	    decisions=16997, wrong=7708, backtracks=3633, failedAssignments=4803, nogoods=729, foundSolutions=14, bestBound=267
40.99/37.29	    nFilterCalls=209277, avgTableProportion=0.3635659914849697, avgTableSize=0.7271319829699394
40.99/37.29	    
41.49/37.70	    num=131, depth=7..14, filters=322170, revisions=(325795,useless=170355), ccks=386083589, wck=34.795, mem=79M451
41.49/37.70	    decisions=17274, wrong=7841, backtracks=3702, failedAssignments=4877, nogoods=731, foundSolutions=14, bestBound=267
41.49/37.70	    nFilterCalls=213639, avgTableProportion=0.36345423822429423, avgTableSize=0.7269084764485885
41.49/37.70	    
41.80/38.08	    num=132, depth=7..26, filters=325707, revisions=(330006,useless=172542), ccks=390418974, wck=35.178, mem=82M67
41.80/38.08	    decisions=17533, wrong=7961, backtracks=3747, failedAssignments=4958, nogoods=750, foundSolutions=14, bestBound=267
41.80/38.08	    nFilterCalls=215433, avgTableProportion=0.3627438693236412, avgTableSize=0.7254877386472824
41.80/38.08	    
42.09/38.34	    num=133, depth=6..24, filters=328761, revisions=(333466,useless=174389), ccks=393301866, wck=35.434, mem=84M683
42.09/38.34	    decisions=17773, wrong=8075, backtracks=3775, failedAssignments=5047, nogoods=758, foundSolutions=14, bestBound=267
42.09/38.34	    nFilterCalls=217576, avgTableProportion=0.3614507114755304, avgTableSize=0.7229014229510607
42.09/38.34	    
42.49/38.79	    num=134, depth=6..26, filters=334524, revisions=(339051,useless=177401), ccks=398287444, wck=35.883, mem=89M914
42.49/38.79	    decisions=18104, wrong=8236, backtracks=3852, failedAssignments=5145, nogoods=766, foundSolutions=14, bestBound=267
42.49/38.79	    nFilterCalls=221777, avgTableProportion=0.36043412977901224, avgTableSize=0.7208682595580245
42.49/38.79	    
43.29/39.54	    num=135, depth=4..15, filters=340089, revisions=(345059,useless=180451), ccks=406902417, wck=36.638, mem=92M530
43.29/39.54	    decisions=18465, wrong=8412, backtracks=3940, failedAssignments=5253, nogoods=772, foundSolutions=14, bestBound=267
43.29/39.54	    nFilterCalls=224802, avgTableProportion=0.3608397612120889, avgTableSize=0.7216795224241778
43.29/39.54	    
43.49/39.78	    num=136, depth=5..28, filters=343634, revisions=(349055,useless=182599), ccks=409582305, wck=36.877, mem=95M146
43.49/39.78	    decisions=18801, wrong=8569, backtracks=3979, failedAssignments=5372, nogoods=818, foundSolutions=14, bestBound=267
43.49/39.78	    nFilterCalls=227012, avgTableProportion=0.359093351893292, avgTableSize=0.718186703786584
43.49/39.78	    
44.19/40.46	    num=137, depth=0..15, filters=351547, revisions=(356555,useless=186189), ccks=417124207, wck=37.552, mem=102M994
44.19/40.46	    decisions=19197, wrong=8762, backtracks=4051, failedAssignments=5503, nogoods=826, foundSolutions=14, bestBound=267
44.19/40.46	    nFilterCalls=231908, avgTableProportion=0.35875433361505427, avgTableSize=0.7175086672301085
44.19/40.46	    
45.29/41.55	    num=138, depth=4..14, filters=360446, revisions=(366531,useless=191406), ccks=429533241, wck=38.645, mem=110M842
45.29/41.55	    decisions=19728, wrong=9025, backtracks=4193, failedAssignments=5647, nogoods=832, foundSolutions=14, bestBound=267
45.29/41.55	    nFilterCalls=236427, avgTableProportion=0.3596755023749403, avgTableSize=0.7193510047498806
45.29/41.55	    
46.29/42.57	    num=139, depth=5..16, filters=371240, revisions=(377922,useless=197518), ccks=440933364, wck=39.666, mem=121M306
46.29/42.57	    decisions=20315, wrong=9313, backtracks=4362, failedAssignments=5805, nogoods=845, foundSolutions=14, bestBound=267
46.29/42.57	    nFilterCalls=242608, avgTableProportion=0.35995309305546397, avgTableSize=0.7199061861109279
46.29/42.57	    
46.99/43.27	o 266
46.99/43.27	    num=140, depth=6..104, filters=377302, revisions=(384118,useless=200654), ccks=448883552, wck=40.365, mem=126M538
46.99/43.27	    decisions=20593, wrong=9438, backtracks=4424, failedAssignments=5878, nogoods=856, foundSolutions=15, bestBound=266
46.99/43.27	    nFilterCalls=246216, avgTableProportion=0.35962528836468793, avgTableSize=0.7192505767293759
46.99/43.27	    
48.60/44.80	    num=141, depth=4..26, filters=387727, revisions=(396377,useless=207060), ccks=466407706, wck=41.894, mem=134M385
48.60/44.80	    decisions=21291, wrong=9780, backtracks=4592, failedAssignments=6069, nogoods=863, foundSolutions=15, bestBound=266
48.60/44.80	    nFilterCalls=251320, avgTableProportion=0.3593307337259271, avgTableSize=0.7186614674518542
48.60/44.80	    
48.70/44.90	    num=142, depth=6..13, filters=388714, revisions=(397389,useless=207559), ccks=467519631, wck=41.994, mem=137M1
48.70/44.90	    decisions=21343, wrong=9801, backtracks=4603, failedAssignments=6080, nogoods=866, foundSolutions=15, bestBound=266
48.70/44.90	    nFilterCalls=251911, avgTableProportion=0.3594166193615999, avgTableSize=0.7188332387231998
48.70/44.90	    
48.70/44.98	    num=143, depth=9..16, filters=389482, revisions=(398275,useless=208100), ccks=468418518, wck=42.075, mem=137M1
48.70/44.98	    decisions=21391, wrong=9818, backtracks=4609, failedAssignments=6092, nogoods=871, foundSolutions=15, bestBound=266
48.70/44.98	    nFilterCalls=252549, avgTableProportion=0.35939560243754676, avgTableSize=0.7187912048750935
48.70/44.98	    
48.80/45.10	    num=144, depth=11..16, filters=390354, revisions=(399263,useless=208604), ccks=469818897, wck=42.199, mem=139M617
48.80/45.10	    decisions=21441, wrong=9836, backtracks=4616, failedAssignments=6105, nogoods=876, foundSolutions=15, bestBound=266
48.80/45.10	    nFilterCalls=253129, avgTableProportion=0.3594471593535312, avgTableSize=0.7188943187070624
48.80/45.10	    
49.00/45.26	    num=145, depth=8..17, filters=391574, revisions=(400522,useless=209278), ccks=471569767, wck=42.354, mem=139M617
49.00/45.26	    decisions=21501, wrong=9860, backtracks=4629, failedAssignments=6119, nogoods=881, foundSolutions=15, bestBound=266
49.00/45.26	    nFilterCalls=253945, avgTableProportion=0.3595719545570891, avgTableSize=0.7191439091141782
49.00/45.26	    
49.10/45.36	    num=146, depth=5..12, filters=392380, revisions=(401368,useless=209713), ccks=472696808, wck=42.454, mem=139M617
49.10/45.36	    decisions=21553, wrong=9882, backtracks=4640, failedAssignments=6135, nogoods=887, foundSolutions=15, bestBound=266
49.10/45.36	    nFilterCalls=254466, avgTableProportion=0.3596099282418869, avgTableSize=0.7192198564837738
49.10/45.36	    
49.20/45.48	    num=147, depth=5..15, filters=393392, revisions=(402548,useless=210373), ccks=474125628, wck=42.58, mem=142M233
49.20/45.48	    decisions=21616, wrong=9909, backtracks=4650, failedAssignments=6152, nogoods=895, foundSolutions=15, bestBound=266
49.20/45.48	    nFilterCalls=255103, avgTableProportion=0.3595214481993548, avgTableSize=0.7190428963987096
49.20/45.48	    
49.40/45.61	    num=148, depth=9..24, filters=394458, revisions=(403800,useless=211055), ccks=475566270, wck=42.708, mem=142M233
49.40/45.61	    decisions=21689, wrong=9936, backtracks=4659, failedAssignments=6171, nogoods=902, foundSolutions=15, bestBound=266
49.40/45.61	    nFilterCalls=255795, avgTableProportion=0.35936003440254893, avgTableSize=0.7187200688050979
49.40/45.61	    
49.50/45.79	    num=149, depth=6..12, filters=396256, revisions=(405664,useless=212044), ccks=477604645, wck=42.89, mem=144M849
49.50/45.79	    decisions=21764, wrong=9968, backtracks=4678, failedAssignments=6192, nogoods=906, foundSolutions=15, bestBound=266
49.50/45.79	    nFilterCalls=256922, avgTableProportion=0.3593989615525335, avgTableSize=0.718797923105067
49.50/45.79	    
49.80/46.02	    num=150, depth=9..17, filters=398032, revisions=(407471,useless=213011), ccks=480224715, wck=43.121, mem=147M465
49.80/46.02	    decisions=21859, wrong=10009, backtracks=4700, failedAssignments=6215, nogoods=910, foundSolutions=15, bestBound=266
49.80/46.02	    nFilterCalls=258102, avgTableProportion=0.3595458384669627, avgTableSize=0.7190916769339254
49.80/46.02	    
50.00/46.23	    num=151, depth=5..11, filters=400053, revisions=(409335,useless=213921), ccks=482506381, wck=43.324, mem=147M465
50.00/46.23	    decisions=21954, wrong=10053, backtracks=4722, failedAssignments=6240, nogoods=919, foundSolutions=15, bestBound=266
50.00/46.23	    nFilterCalls=259532, avgTableProportion=0.3596454387127599, avgTableSize=0.7192908774255198
50.00/46.23	    
50.10/46.35	    num=152, depth=6..19, filters=401494, revisions=(410829,useless=214767), ccks=483857932, wck=43.447, mem=150M81
50.10/46.35	    decisions=22058, wrong=10096, backtracks=4737, failedAssignments=6268, nogoods=924, foundSolutions=15, bestBound=266
50.10/46.35	    nFilterCalls=260754, avgTableProportion=0.35947291316719976, avgTableSize=0.7189458263343995
50.10/46.35	    
50.30/46.55	    num=153, depth=9..16, filters=403459, revisions=(413067,useless=215982), ccks=486092671, wck=43.646, mem=150M81
50.30/46.55	    decisions=22173, wrong=10148, backtracks=4762, failedAssignments=6299, nogoods=929, foundSolutions=15, bestBound=266
50.30/46.55	    nFilterCalls=261935, avgTableProportion=0.359451772386279, avgTableSize=0.718903544772558
50.30/46.55	    
50.50/46.79	    num=154, depth=6..13, filters=405734, revisions=(415275,useless=217145), ccks=488852011, wck=43.89, mem=152M697
50.50/46.79	    decisions=22283, wrong=10199, backtracks=4786, failedAssignments=6333, nogoods=932, foundSolutions=15, bestBound=266
50.50/46.79	    nFilterCalls=263374, avgTableProportion=0.3596292724414711, avgTableSize=0.7192585448829422
50.50/46.79	    
50.80/47.02	    num=155, depth=7..15, filters=408040, revisions=(417447,useless=218224), ccks=491279736, wck=44.119, mem=24M591
50.80/47.02	    decisions=22419, wrong=10263, backtracks=4818, failedAssignments=6370, nogoods=939, foundSolutions=15, bestBound=266
50.80/47.02	    nFilterCalls=264959, avgTableProportion=0.35988964330330353, avgTableSize=0.7197792866066071
50.80/47.02	    
51.12/47.31	    num=156, depth=5..11, filters=410971, revisions=(420340,useless=219693), ccks=494418133, wck=44.405, mem=27M216
51.12/47.31	    decisions=22562, wrong=10332, backtracks=4855, failedAssignments=6411, nogoods=940, foundSolutions=15, bestBound=266
51.12/47.31	    nFilterCalls=266662, avgTableProportion=0.3600288005040088, avgTableSize=0.7200576010080176
51.12/47.31	    
51.32/47.57	    num=157, depth=6..14, filters=414076, revisions=(423431,useless=221321), ccks=497320508, wck=44.669, mem=29M841
51.32/47.57	    decisions=22736, wrong=10414, backtracks=4901, failedAssignments=6456, nogoods=948, foundSolutions=15, bestBound=266
51.32/47.57	    nFilterCalls=268672, avgTableProportion=0.36033527870414483, avgTableSize=0.7206705574082897
51.32/47.57	    
51.62/47.88	    num=158, depth=7..18, filters=416999, revisions=(426622,useless=222879), ccks=500651743, wck=44.971, mem=32M467
51.62/47.88	    decisions=22909, wrong=10493, backtracks=4935, failedAssignments=6506, nogoods=960, foundSolutions=15, bestBound=266
51.62/47.88	    nFilterCalls=270295, avgTableProportion=0.36047281673726855, avgTableSize=0.7209456334745371
51.62/47.88	    
52.03/48.20	    num=159, depth=5..24, filters=420360, revisions=(430122,useless=224699), ccks=504323156, wck=45.298, mem=35M92
52.03/48.20	    decisions=23098, wrong=10578, backtracks=4973, failedAssignments=6561, nogoods=971, foundSolutions=15, bestBound=266
52.03/48.20	    nFilterCalls=272365, avgTableProportion=0.3600646191691297, avgTableSize=0.7201292383382594
52.03/48.20	    
52.33/48.56	    num=160, depth=6..18, filters=424193, revisions=(434307,useless=227028), ccks=508373638, wck=45.657, mem=37M717
52.33/48.56	    decisions=23318, wrong=10680, backtracks=5024, failedAssignments=6622, nogoods=981, foundSolutions=15, bestBound=266
52.33/48.56	    nFilterCalls=274984, avgTableProportion=0.3594300032001862, avgTableSize=0.7188600064003724
52.33/48.56	    
52.63/48.87	    num=161, depth=5..18, filters=428052, revisions=(438252,useless=229200), ccks=511765258, wck=45.968, mem=42M967
52.63/48.87	    decisions=23546, wrong=10788, backtracks=5077, failedAssignments=6689, nogoods=991, foundSolutions=15, bestBound=266
52.63/48.87	    nFilterCalls=277536, avgTableProportion=0.35925609650639917, avgTableSize=0.7185121930127983
52.63/48.87	    
53.03/49.27	    num=162, depth=5..16, filters=432605, revisions=(442890,useless=231594), ccks=516172498, wck=46.363, mem=45M593
53.03/49.27	    decisions=23827, wrong=10923, backtracks=5147, failedAssignments=6763, nogoods=998, foundSolutions=15, bestBound=266
53.03/49.27	    nFilterCalls=280534, avgTableProportion=0.35909551070458484, avgTableSize=0.7181910214091697
53.03/49.27	    
53.73/49.94	    num=163, depth=7..16, filters=438220, revisions=(448696,useless=234577), ccks=523684750, wck=47.035, mem=50M843
53.73/49.94	    decisions=24130, wrong=11069, backtracks=5220, failedAssignments=6844, nogoods=1006, foundSolutions=15, bestBound=266
53.73/49.94	    nFilterCalls=283741, avgTableProportion=0.3592783559654756, avgTableSize=0.7185567119309512
53.73/49.94	    
54.23/50.40	    num=164, depth=4..13, filters=445481, revisions=(455097,useless=237802), ccks=528754590, wck=47.498, mem=56M93
54.23/50.40	    decisions=24424, wrong=11211, backtracks=5288, failedAssignments=6933, nogoods=1016, foundSolutions=15, bestBound=266
54.23/50.40	    nFilterCalls=288504, avgTableProportion=0.3596085322907135, avgTableSize=0.719217064581427
54.23/50.40	    
54.84/51.07	    num=165, depth=5..14, filters=451198, revisions=(461064,useless=240962), ccks=536211827, wck=48.162, mem=58M719
54.84/51.07	    decisions=24746, wrong=11366, backtracks=5362, failedAssignments=7031, nogoods=1027, foundSolutions=15, bestBound=266
54.84/51.07	    nFilterCalls=291833, avgTableProportion=0.35947785205922567, avgTableSize=0.7189557041184513
54.84/51.07	    
55.43/51.65	    num=166, depth=4..15, filters=459064, revisions=(468680,useless=244847), ccks=542603655, wck=48.743, mem=66M595
55.43/51.65	    decisions=25139, wrong=11559, backtracks=5461, failedAssignments=7139, nogoods=1034, foundSolutions=15, bestBound=266
55.43/51.65	    nFilterCalls=296778, avgTableProportion=0.3594774545283006, avgTableSize=0.7189549090566012
55.43/51.65	    
56.05/52.24	    num=167, depth=5..17, filters=464055, revisions=(474210,useless=247868), ccks=549264340, wck=49.339, mem=71M845
56.05/52.24	    decisions=25503, wrong=11736, backtracks=5540, failedAssignments=7258, nogoods=1041, foundSolutions=15, bestBound=266
56.05/52.24	    nFilterCalls=299961, avgTableProportion=0.35925003583799225, avgTableSize=0.7185000716759845
56.05/52.24	    
56.65/52.83	    num=168, depth=5..17, filters=472324, revisions=(482621,useless=252580), ccks=555645718, wck=49.929, mem=77M96
56.65/52.83	    decisions=25929, wrong=11946, backtracks=5649, failedAssignments=7389, nogoods=1046, foundSolutions=15, bestBound=266
56.65/52.83	    nFilterCalls=305428, avgTableProportion=0.35980820357007215, avgTableSize=0.7196164071401443
56.65/52.83	    
57.35/53.50	    num=169, depth=5..14, filters=482705, revisions=(492269,useless=257521), ccks=562900238, wck=50.597, mem=84M971
57.35/53.50	    decisions=26444, wrong=12200, backtracks=5796, failedAssignments=7533, nogoods=1053, foundSolutions=15, bestBound=266
57.35/53.50	    nFilterCalls=312329, avgTableProportion=0.35981769224119436, avgTableSize=0.7196353844823887
57.35/53.50	    
58.15/54.33	    num=170, depth=4..14, filters=489044, revisions=(499188,useless=261053), ccks=572227715, wck=51.43, mem=90M222
58.15/54.33	    decisions=26886, wrong=12418, backtracks=5865, failedAssignments=7691, nogoods=1060, foundSolutions=15, bestBound=266
58.15/54.33	    nFilterCalls=315561, avgTableProportion=0.3599763595628104, avgTableSize=0.7199527191256208
58.15/54.33	    
59.35/55.54	    num=171, depth=5..16, filters=501380, revisions=(511687,useless=267742), ccks=585633544, wck=52.638, mem=103M348
59.35/55.54	    decisions=27531, wrong=12737, backtracks=6053, failedAssignments=7865, nogoods=1065, foundSolutions=15, bestBound=266
59.35/55.54	    nFilterCalls=323110, avgTableProportion=0.36058772554238494, avgTableSize=0.7211754510847699
59.35/55.54	    
59.75/55.95	o 265
59.75/55.95	    num=172, depth=5..104, filters=507455, revisions=(518764,useless=271576), ccks=590214739, wck=53.048, mem=105M973
59.75/55.95	    decisions=28026, wrong=12974, backtracks=6152, failedAssignments=8016, nogoods=1077, foundSolutions=16, bestBound=265
59.75/55.95	    nFilterCalls=326682, avgTableProportion=0.3590219234607355, avgTableSize=0.718043846921471
59.75/55.95	    
61.35/57.58	    num=173, depth=4..19, filters=520155, revisions=(533516,useless=279105), ccks=608514506, wck=54.673, mem=119M958
61.35/57.58	    decisions=28854, wrong=13384, backtracks=6382, failedAssignments=8227, nogoods=1087, foundSolutions=16, bestBound=265
61.35/57.58	    nFilterCalls=333044, avgTableProportion=0.3590771789913645, avgTableSize=0.718154357982729
61.35/57.58	    
61.55/57.70	    num=174, depth=8..13, filters=520958, revisions=(534333,useless=279509), ccks=609888263, wck=54.794, mem=119M958
61.55/57.70	    decisions=28900, wrong=13403, backtracks=6390, failedAssignments=8238, nogoods=1091, foundSolutions=16, bestBound=265
61.55/57.70	    nFilterCalls=333525, avgTableProportion=0.3590570422007346, avgTableSize=0.7181140844014692
61.55/57.70	    
61.65/57.80	    num=175, depth=6..12, filters=521551, revisions=(535002,useless=279834), ccks=611054627, wck=54.898, mem=119M958
61.65/57.80	    decisions=28936, wrong=13417, backtracks=6395, failedAssignments=8250, nogoods=1099, foundSolutions=16, bestBound=265
61.65/57.80	    nFilterCalls=333885, avgTableProportion=0.3591595908770984, avgTableSize=0.7183191817541968
61.65/57.80	    
61.75/57.91	    num=176, depth=8..16, filters=522409, revisions=(535995,useless=280348), ccks=612316076, wck=55.01, mem=122M583
61.75/57.91	    decisions=28986, wrong=13436, backtracks=6402, failedAssignments=8263, nogoods=1106, foundSolutions=16, bestBound=265
61.75/57.91	    nFilterCalls=334442, avgTableProportion=0.35917588101972836, avgTableSize=0.7183517620394567
61.75/57.91	    
61.86/58.02	    num=177, depth=8..13, filters=523284, revisions=(536913,useless=280823), ccks=613508234, wck=55.118, mem=122M583
61.86/58.02	    decisions=29037, wrong=13456, backtracks=6410, failedAssignments=8277, nogoods=1112, foundSolutions=16, bestBound=265
61.86/58.02	    nFilterCalls=335017, avgTableProportion=0.3593131094839963, avgTableSize=0.7186262189679926
61.86/58.02	    
61.96/58.18	    num=178, depth=8..15, filters=524538, revisions=(538360,useless=281575), ccks=615294247, wck=55.277, mem=122M583
61.96/58.18	    decisions=29097, wrong=13482, backtracks=6424, failedAssignments=8293, nogoods=1113, foundSolutions=16, bestBound=265
61.96/58.18	    nFilterCalls=335804, avgTableProportion=0.35927654226870437, avgTableSize=0.7185530845374087
61.96/58.18	    
62.15/58.36	    num=179, depth=7..12, filters=525959, revisions=(539916,useless=282306), ccks=617279670, wck=55.454, mem=125M208
62.15/58.36	    decisions=29173, wrong=13516, backtracks=6442, failedAssignments=8310, nogoods=1116, foundSolutions=16, bestBound=265
62.15/58.36	    nFilterCalls=336517, avgTableProportion=0.3593027989670656, avgTableSize=0.7186055979341311
62.15/58.36	    
62.35/58.53	    num=180, depth=9..14, filters=527064, revisions=(541228,useless=283000), ccks=619236955, wck=55.627, mem=125M208
62.35/58.53	    decisions=29247, wrong=13547, backtracks=6456, failedAssignments=8329, nogoods=1120, foundSolutions=16, bestBound=265
62.35/58.53	    nFilterCalls=337144, avgTableProportion=0.35933013786393947, avgTableSize=0.7186602757278789
62.35/58.53	    
62.45/58.70	    num=181, depth=5..15, filters=528513, revisions=(542692,useless=283782), ccks=621099890, wck=55.792, mem=127M834
62.45/58.70	    decisions=29324, wrong=13583, backtracks=6473, failedAssignments=8350, nogoods=1121, foundSolutions=16, bestBound=265
62.45/58.70	    nFilterCalls=338144, avgTableProportion=0.359375, avgTableSize=0.71875
62.45/58.70	    
62.65/58.87	    num=182, depth=7..12, filters=529863, revisions=(544040,useless=284418), ccks=623066820, wck=55.966, mem=127M834
62.65/58.87	    decisions=29402, wrong=13618, backtracks=6491, failedAssignments=8373, nogoods=1127, foundSolutions=16, bestBound=265
62.65/58.87	    nFilterCalls=338865, avgTableProportion=0.3594986203945524, avgTableSize=0.7189972407891048
62.65/58.87	    
62.97/59.15	    num=183, depth=5..11, filters=531741, revisions=(546033,useless=285428), ccks=626216579, wck=56.248, mem=130M459
62.97/59.15	    decisions=29503, wrong=13665, backtracks=6517, failedAssignments=8398, nogoods=1129, foundSolutions=16, bestBound=265
62.97/59.15	    nFilterCalls=339959, avgTableProportion=0.35960365808818123, avgTableSize=0.7192073161763625
62.97/59.15	    
63.16/59.37	    num=184, depth=5..12, filters=533829, revisions=(548339,useless=286623), ccks=628684527, wck=56.469, mem=133M84
63.16/59.37	    decisions=29611, wrong=13716, backtracks=6545, failedAssignments=8426, nogoods=1134, foundSolutions=16, bestBound=265
63.16/59.37	    nFilterCalls=341130, avgTableProportion=0.3596898543077419, avgTableSize=0.7193797086154838
63.16/59.37	    
63.46/59.69	    num=185, depth=5..15, filters=535881, revisions=(550689,useless=287868), ccks=632275157, wck=56.788, mem=135M709
63.46/59.69	    decisions=29725, wrong=13766, backtracks=6569, failedAssignments=8457, nogoods=1140, foundSolutions=16, bestBound=265
63.46/59.69	    nFilterCalls=342191, avgTableProportion=0.35979905958952746, avgTableSize=0.7195981191790549
63.46/59.69	    
63.76/59.97	    num=186, depth=5..14, filters=538382, revisions=(553293,useless=289202), ccks=635426378, wck=57.07, mem=138M334
63.76/59.97	    decisions=29856, wrong=13826, backtracks=6601, failedAssignments=8491, nogoods=1148, foundSolutions=16, bestBound=265
63.76/59.97	    nFilterCalls=343720, avgTableProportion=0.35990922844175494, avgTableSize=0.7198184568835099
63.76/59.97	    
64.06/60.24	    num=187, depth=7..15, filters=540554, revisions=(555756,useless=290501), ccks=638368353, wck=57.333, mem=138M334
64.06/60.24	    decisions=29980, wrong=13884, backtracks=6624, failedAssignments=8528, nogoods=1152, foundSolutions=16, bestBound=265
64.06/60.24	    nFilterCalls=344978, avgTableProportion=0.3598142490245755, avgTableSize=0.719628498049151
64.06/60.24	    
64.26/60.45	    num=188, depth=6..16, filters=543358, revisions=(558372,useless=291875), ccks=640649757, wck=57.542, mem=140M960
64.26/60.45	    decisions=30134, wrong=13958, backtracks=6663, failedAssignments=8569, nogoods=1156, foundSolutions=16, bestBound=265
64.26/60.45	    nFilterCalls=347089, avgTableProportion=0.3595677189424038, avgTableSize=0.7191354378848076
64.26/60.45	    
64.66/60.82	    num=189, depth=6..14, filters=546589, revisions=(561717,useless=293665), ccks=644804354, wck=57.915, mem=146M210
64.66/60.82	    decisions=30293, wrong=14033, backtracks=6702, failedAssignments=8614, nogoods=1161, foundSolutions=16, bestBound=265
64.66/60.82	    nFilterCalls=349235, avgTableProportion=0.3597964121580025, avgTableSize=0.719592824316005
64.66/60.82	    
64.97/61.15	    num=190, depth=6..20, filters=550384, revisions=(565398,useless=295542), ccks=648460363, wck=58.247, mem=148M835
64.97/61.15	    decisions=30450, wrong=14105, backtracks=6727, failedAssignments=8664, nogoods=1173, foundSolutions=16, bestBound=265
64.97/61.15	    nFilterCalls=351865, avgTableProportion=0.3596464553166697, avgTableSize=0.7192929106333394
64.97/61.15	    
65.26/61.46	    num=191, depth=5..14, filters=553948, revisions=(568804,useless=297318), ccks=651886282, wck=58.554, mem=151M460
65.26/61.46	    decisions=30637, wrong=14193, backtracks=6768, failedAssignments=8719, nogoods=1176, foundSolutions=16, bestBound=265
65.26/61.46	    nFilterCalls=354426, avgTableProportion=0.3594995852448748, avgTableSize=0.7189991704897496
65.26/61.46	    
65.56/61.75	    num=192, depth=4..19, filters=557889, revisions=(572417,useless=299195), ccks=655169137, wck=58.85, mem=154M86
65.56/61.75	    decisions=30840, wrong=14287, backtracks=6807, failedAssignments=8780, nogoods=1196, foundSolutions=16, bestBound=265
65.56/61.75	    nFilterCalls=357345, avgTableProportion=0.35927185213169344, avgTableSize=0.7185437042633869
65.56/61.75	    
66.00/62.11	    num=193, depth=4..13, filters=562359, revisions=(577000,useless=301553), ccks=659029388, wck=59.21, mem=24M558
66.00/62.11	    decisions=31073, wrong=14400, backtracks=6866, failedAssignments=8847, nogoods=1199, foundSolutions=16, bestBound=265
66.00/62.11	    nFilterCalls=359833, avgTableProportion=0.35941117129335, avgTableSize=0.7188223425867
66.00/62.11	    
66.39/62.56	    num=194, depth=6..20, filters=567191, revisions=(581887,useless=304121), ccks=663734804, wck=59.653, mem=29M725
66.39/62.56	    decisions=31347, wrong=14529, backtracks=6934, failedAssignments=8921, nogoods=1209, foundSolutions=16, bestBound=265
66.39/62.56	    nFilterCalls=363064, avgTableProportion=0.35936088403146554, avgTableSize=0.7187217680629311
66.39/62.56	    
66.79/62.96	    num=195, depth=6..21, filters=572112, revisions=(587164,useless=306913), ccks=668229274, wck=60.06, mem=32M308
66.79/62.96	    decisions=31634, wrong=14669, backtracks=7001, failedAssignments=9002, nogoods=1215, foundSolutions=16, bestBound=265
66.79/62.96	    nFilterCalls=366100, avgTableProportion=0.3587667304015296, avgTableSize=0.7175334608030592
66.79/62.96	    
67.39/63.57	    num=196, depth=4..13, filters=575981, revisions=(590820,useless=308596), ccks=674684745, wck=60.667, mem=37M475
67.39/63.57	    decisions=31918, wrong=14808, backtracks=7057, failedAssignments=9091, nogoods=1229, foundSolutions=16, bestBound=265
67.39/63.57	    nFilterCalls=368553, avgTableProportion=0.35922241848526537, avgTableSize=0.7184448369705307
67.39/63.57	    
67.79/63.96	    num=197, depth=6..15, filters=581997, revisions=(596174,useless=311477), ccks=678777587, wck=61.058, mem=42M642
67.79/63.96	    decisions=32234, wrong=14962, backtracks=7127, failedAssignments=9189, nogoods=1241, foundSolutions=16, bestBound=265
67.79/63.96	    nFilterCalls=372936, avgTableProportion=0.35929087028337303, avgTableSize=0.7185817405667461
67.79/63.96	    
68.59/64.78	    num=198, depth=4..14, filters=588571, revisions=(602973,useless=314814), ccks=687564126, wck=61.872, mem=50M393
68.59/64.78	    decisions=32596, wrong=15139, backtracks=7222, failedAssignments=9297, nogoods=1246, foundSolutions=16, bestBound=265
68.59/64.78	    nFilterCalls=376630, avgTableProportion=0.35953986671268884, avgTableSize=0.7190797334253777
68.59/64.78	    
69.29/65.45	    num=199, depth=5..13, filters=598637, revisions=(611999,useless=319391), ccks=694937137, wck=62.548, mem=58M143
69.29/65.45	    decisions=33025, wrong=15351, backtracks=7346, failedAssignments=9416, nogoods=1252, foundSolutions=16, bestBound=265
69.29/65.45	    nFilterCalls=383352, avgTableProportion=0.35945814812496085, avgTableSize=0.7189162962499217
69.29/65.45	    
70.00/66.19	    num=200, depth=5..19, filters=605292, revisions=(619412,useless=323406), ccks=702710593, wck=63.284, mem=63M311
70.00/66.19	    decisions=33474, wrong=15568, backtracks=7452, failedAssignments=9547, nogoods=1265, foundSolutions=16, bestBound=265
70.00/66.19	    nFilterCalls=387197, avgTableProportion=0.359544366304491, avgTableSize=0.719088732608982
70.00/66.19	    
70.69/66.81	    num=201, depth=4..27, filters=612836, revisions=(627373,useless=327399), ccks=709574386, wck=63.909, mem=68M478
70.69/66.81	    decisions=33961, wrong=15803, backtracks=7557, failedAssignments=9691, nogoods=1280, foundSolutions=16, bestBound=265
70.69/66.81	    nFilterCalls=391781, avgTableProportion=0.35918153253986285, avgTableSize=0.7183630650797257
70.69/66.81	    
71.49/67.66	    num=202, depth=6..15, filters=623708, revisions=(637933,useless=333186), ccks=718713761, wck=64.751, mem=76M228
71.49/67.66	    decisions=34465, wrong=16050, backtracks=7673, failedAssignments=9849, nogoods=1294, foundSolutions=16, bestBound=265
71.49/67.66	    nFilterCalls=399275, avgTableProportion=0.3586638281885918, avgTableSize=0.7173276563771837
71.49/67.66	    
72.70/68.80	    num=203, depth=2..16, filters=634266, revisions=(648081,useless=337833), ccks=730721760, wck=65.896, mem=86M562
72.70/68.80	    decisions=35088, wrong=16357, backtracks=7843, failedAssignments=10023, nogoods=1304, foundSolutions=16, bestBound=265
72.70/68.80	    nFilterCalls=406081, avgTableProportion=0.3590256623678527, avgTableSize=0.7180513247357054
72.70/68.80	    
73.91/70.02	    num=204, depth=4..17, filters=644804, revisions=(659390,useless=343700), ccks=743878100, wck=67.115, mem=94M313
73.91/70.02	    decisions=35717, wrong=16666, backtracks=7999, failedAssignments=10214, nogoods=1312, foundSolutions=16, bestBound=265
73.91/70.02	    nFilterCalls=411839, avgTableProportion=0.35908813881152585, avgTableSize=0.7181762776230517
73.91/70.02	    
75.09/71.22	    num=205, depth=5..15, filters=656845, revisions=(672420,useless=350199), ccks=756838765, wck=68.317, mem=107M231
75.09/71.22	    decisions=36470, wrong=17040, backtracks=8200, failedAssignments=10425, nogoods=1318, foundSolutions=16, bestBound=265
75.09/71.22	    nFilterCalls=418209, avgTableProportion=0.3594482662974733, avgTableSize=0.7188965325949466
75.09/71.22	    
76.69/72.87	    num=206, depth=4..22, filters=672645, revisions=(688549,useless=358800), ccks=774497426, wck=69.967, mem=120M148
76.69/72.87	    decisions=37282, wrong=17439, backtracks=8396, failedAssignments=10657, nogoods=1327, foundSolutions=16, bestBound=265
76.69/72.87	    nFilterCalls=428434, avgTableProportion=0.35899811873007276, avgTableSize=0.7179962374601455
76.69/72.87	    
77.90/74.10	    num=207, depth=5..16, filters=692370, revisions=(706308,useless=368109), ccks=787701626, wck=71.195, mem=133M66
77.90/74.10	    decisions=38167, wrong=17877, backtracks=8631, failedAssignments=10912, nogoods=1339, foundSolutions=16, bestBound=265
77.90/74.10	    nFilterCalls=442219, avgTableProportion=0.35951983067213306, avgTableSize=0.7190396613442661
77.90/74.10	    
79.60/75.77	    num=208, depth=4..15, filters=705884, revisions=(720703,useless=375267), ccks=805497208, wck=72.863, mem=143M400
79.60/75.77	    decisions=39017, wrong=18297, backtracks=8810, failedAssignments=11193, nogoods=1346, foundSolutions=16, bestBound=265
79.60/75.77	    nFilterCalls=449035, avgTableProportion=0.36039172892981614, avgTableSize=0.7207834578596323
79.60/75.77	    
80.73/76.84	    num=209, depth=4..23, filters=719772, revisions=(736218,useless=383496), ccks=817270067, wck=73.94, mem=24M563
80.73/76.84	    decisions=39962, wrong=18763, backtracks=8989, failedAssignments=11502, nogoods=1363, foundSolutions=16, bestBound=265
80.73/76.84	    nFilterCalls=457106, avgTableProportion=0.35899003732175905, avgTableSize=0.7179800746435181
80.73/76.84	    
82.64/78.72	    num=210, depth=4..17, filters=737421, revisions=(753883,useless=392071), ccks=838307794, wck=75.817, mem=39M849
82.64/78.72	    decisions=41030, wrong=19294, backtracks=9239, failedAssignments=11842, nogoods=1432, foundSolutions=16, bestBound=265
82.64/78.72	    nFilterCalls=467313, avgTableProportion=0.3598155839876057, avgTableSize=0.7196311679752114
82.64/78.72	    
84.44/80.54	    num=211, depth=3..24, filters=759309, revisions=(775898,useless=403489), ccks=858578475, wck=77.639, mem=57M683
84.44/80.54	    decisions=42233, wrong=19893, backtracks=9532, failedAssignments=12216, nogoods=1437, foundSolutions=16, bestBound=265
84.44/80.54	    nFilterCalls=480432, avgTableProportion=0.3602622223332334, avgTableSize=0.7205244446664668
84.44/80.54	    
86.14/82.25	    num=212, depth=5..25, filters=780854, revisions=(800201,useless=416854), ccks=877568846, wck=79.344, mem=72M969
86.14/82.25	    decisions=43566, wrong=20555, backtracks=9836, failedAssignments=12627, nogoods=1467, foundSolutions=16, bestBound=265
86.14/82.25	    nFilterCalls=492217, avgTableProportion=0.35886001499338704, avgTableSize=0.7177200299867741
86.14/82.25	    
88.64/84.79	    num=213, depth=0..22, filters=806469, revisions=(827589,useless=430813), ccks=906179656, wck=81.889, mem=95M898
88.64/84.79	    decisions=45040, wrong=21288, backtracks=10209, failedAssignments=13079, nogoods=1482, foundSolutions=16, bestBound=265
88.64/84.79	    nFilterCalls=506083, avgTableProportion=0.35843824036768673, avgTableSize=0.7168764807353735
88.64/84.79	    
91.24/87.32	    num=214, depth=4..16, filters=847986, revisions=(865867,useless=451022), ccks=933833248, wck=84.419, mem=123M923
91.24/87.32	    decisions=46731, wrong=22129, backtracks=10684, failedAssignments=13576, nogoods=1489, foundSolutions=16, bestBound=265
91.24/87.32	    nFilterCalls=533663, avgTableProportion=0.3589521851805353, avgTableSize=0.7179043703610706
91.24/87.32	    
93.24/89.30	    num=215, depth=5..23, filters=872392, revisions=(896178,useless=467448), ccks=955807718, wck=86.393, mem=141M757
93.24/89.30	    decisions=48678, wrong=23098, backtracks=11154, failedAssignments=14123, nogoods=1510, foundSolutions=16, bestBound=265
93.24/89.30	    nFilterCalls=544650, avgTableProportion=0.3567704030111081, avgTableSize=0.7135408060222161
93.24/89.30	    
95.86/91.92	    num=216, depth=3..18, filters=910117, revisions=(932837,useless=486986), ccks=984390373, wck=89.012, mem=44M708
95.86/91.92	    decisions=50679, wrong=24095, backtracks=11707, failedAssignments=14725, nogoods=1518, foundSolutions=16, bestBound=265
95.86/91.92	    nFilterCalls=569961, avgTableProportion=0.35606997671770524, avgTableSize=0.7121399534354105
95.86/91.92	    
98.16/94.29	    num=217, depth=4..18, filters=954060, revisions=(973466,useless=508175), ccks=1010232719, wck=91.391, mem=74M824
98.16/94.29	    decisions=52714, wrong=25110, backtracks=12178, failedAssignments=15387, nogoods=1528, foundSolutions=16, bestBound=265
98.16/94.29	    nFilterCalls=598550, avgTableProportion=0.3563996324450756, avgTableSize=0.7127992648901512
98.16/94.29	    
100.86/96.92	o 263
100.86/96.93	    num=218, depth=2..104, filters=985336, revisions=(1007825,useless=526756), ccks=1039728433, wck=94.022, mem=97M411
100.86/96.93	    decisions=55099, wrong=26288, backtracks=12815, failedAssignments=16036, nogoods=1537, foundSolutions=17, bestBound=263
100.86/96.93	    nFilterCalls=617568, avgTableProportion=0.35519975128244985, avgTableSize=0.7103995025648997
100.86/96.93	    
105.67/101.71	    num=219, depth=3..20, filters=1035903, revisions=(1060644,useless=554784), ccks=1093700869, wck=98.811, mem=142M585
105.67/101.71	    decisions=57839, wrong=27655, backtracks=13503, failedAssignments=16837, nogoods=1542, foundSolutions=17, bestBound=263
105.67/101.71	    nFilterCalls=647429, avgTableProportion=0.35507754518256057, avgTableSize=0.7101550903651211
105.67/101.71	    
105.67/101.79	    num=220, depth=0..8, filters=1036342, revisions=(1061138,useless=555004), ccks=1094549229, wck=98.885, mem=142M585
105.67/101.79	    decisions=57870, wrong=27668, backtracks=13507, failedAssignments=16848, nogoods=1544, foundSolutions=17, bestBound=263
105.67/101.79	    nFilterCalls=647618, avgTableProportion=0.3550989935424895, avgTableSize=0.710197987084979
105.67/101.79	    
105.77/101.87	    num=221, depth=8..13, filters=1037156, revisions=(1061980,useless=555433), ccks=1095445983, wck=98.966, mem=145M95
105.77/101.87	    decisions=57918, wrong=27688, backtracks=13517, failedAssignments=16860, nogoods=1548, foundSolutions=17, bestBound=263
105.77/101.87	    nFilterCalls=648133, avgTableProportion=0.35512078539435576, avgTableSize=0.7102415707887115
105.77/101.87	    
105.87/101.97	    num=222, depth=4..15, filters=1037983, revisions=(1062854,useless=555845), ccks=1096547362, wck=99.064, mem=145M95
105.87/101.97	    decisions=57972, wrong=27709, backtracks=13525, failedAssignments=16873, nogoods=1555, foundSolutions=17, bestBound=263
105.87/101.97	    nFilterCalls=648724, avgTableProportion=0.3551425567729882, avgTableSize=0.7102851135459765
105.87/101.97	    
105.98/102.10	    num=223, depth=7..12, filters=1038623, revisions=(1063636,useless=556205), ccks=1098115577, wck=99.2, mem=145M95
105.98/102.10	    decisions=58021, wrong=27729, backtracks=13533, failedAssignments=16887, nogoods=1559, foundSolutions=17, bestBound=263
105.98/102.10	    nFilterCalls=649015, avgTableProportion=0.3551574308760198, avgTableSize=0.7103148617520396
105.98/102.10	    
106.08/102.17	    num=224, depth=5..9, filters=1039625, revisions=(1064427,useless=556526), ccks=1098883346, wck=99.271, mem=147M604
106.08/102.17	    decisions=58076, wrong=27754, backtracks=13542, failedAssignments=16903, nogoods=1563, foundSolutions=17, bestBound=263
106.08/102.17	    nFilterCalls=649753, avgTableProportion=0.3552480711901292, avgTableSize=0.7104961423802584
106.08/102.17	    
106.27/102.31	    num=225, depth=7..12, filters=1040867, revisions=(1065763,useless=557219), ccks=1100400856, wck=99.406, mem=147M604
106.27/102.31	    decisions=58143, wrong=27783, backtracks=13557, failedAssignments=16920, nogoods=1567, foundSolutions=17, bestBound=263
106.27/102.31	    nFilterCalls=650475, avgTableProportion=0.35527191667627506, avgTableSize=0.7105438333525501
106.27/102.31	    
106.37/102.42	    num=226, depth=8..12, filters=1041819, revisions=(1066794,useless=557741), ccks=1101595696, wck=99.512, mem=147M951
106.37/102.42	    decisions=58205, wrong=27810, backtracks=13566, failedAssignments=16939, nogoods=1570, foundSolutions=17, bestBound=263
106.37/102.42	    nFilterCalls=651046, avgTableProportion=0.3552920991757879, avgTableSize=0.7105841983515758
106.37/102.42	    
106.60/102.63	    num=227, depth=8..16, filters=1043178, revisions=(1068280,useless=558419), ccks=1103857665, wck=99.722, mem=24M526
106.60/102.63	    decisions=58288, wrong=27847, backtracks=13588, failedAssignments=16960, nogoods=1572, foundSolutions=17, bestBound=263
106.60/102.63	    nFilterCalls=651733, avgTableProportion=0.3552689521629256, avgTableSize=0.7105379043258512
106.60/102.63	    
106.80/102.84	    num=228, depth=5..13, filters=1044887, revisions=(1070119,useless=559336), ccks=1106296518, wck=99.938, mem=26M996
106.80/102.84	    decisions=58372, wrong=27884, backtracks=13605, failedAssignments=16983, nogoods=1576, foundSolutions=17, bestBound=263
106.80/102.84	    nFilterCalls=652809, avgTableProportion=0.3553405360526586, avgTableSize=0.7106810721053172
106.80/102.84	    
107.01/103.02	    num=229, depth=6..13, filters=1046952, revisions=(1072032,useless=560269), ccks=1108247400, wck=100.115, mem=29M467
107.01/103.02	    decisions=58476, wrong=27933, backtracks=13634, failedAssignments=17008, nogoods=1581, foundSolutions=17, bestBound=263
107.01/103.02	    nFilterCalls=654226, avgTableProportion=0.35551017538281876, avgTableSize=0.7110203507656375
107.01/103.02	    
107.11/103.15	    num=230, depth=6..12, filters=1048696, revisions=(1073636,useless=561040), ccks=1109624202, wck=100.243, mem=29M467
107.11/103.15	    decisions=58578, wrong=27981, backtracks=13661, failedAssignments=17036, nogoods=1584, foundSolutions=17, bestBound=263
107.11/103.15	    nFilterCalls=655361, avgTableProportion=0.35559027772479596, avgTableSize=0.7111805554495919
107.11/103.15	    
107.30/103.39	    num=231, depth=5..13, filters=1050838, revisions=(1075989,useless=562229), ccks=1112378737, wck=100.487, mem=31M937
107.30/103.39	    decisions=58699, wrong=28038, backtracks=13692, failedAssignments=17067, nogoods=1589, foundSolutions=17, bestBound=263
107.30/103.39	    nFilterCalls=656507, avgTableProportion=0.35561540090204674, avgTableSize=0.7112308018040935
107.30/103.39	    
107.50/103.56	    num=232, depth=6..15, filters=1052814, revisions=(1078000,useless=563229), ccks=1114242162, wck=100.656, mem=34M407
107.50/103.56	    decisions=58819, wrong=28095, backtracks=13719, failedAssignments=17101, nogoods=1592, foundSolutions=17, bestBound=263
107.50/103.56	    nFilterCalls=657560, avgTableProportion=0.3556306648822921, avgTableSize=0.7112613297645842
107.50/103.56	    
107.70/103.79	    num=233, depth=8..16, filters=1054524, revisions=(1080001,useless=564188), ccks=1116871448, wck=100.887, mem=36M877
107.70/103.79	    decisions=58955, wrong=28158, backtracks=13752, failedAssignments=17138, nogoods=1595, foundSolutions=17, bestBound=263
107.70/103.79	    nFilterCalls=658356, avgTableProportion=0.35566547582159197, avgTableSize=0.7113309516431839
107.70/103.79	    
107.90/104.00	    num=234, depth=7..15, filters=1056985, revisions=(1082579,useless=565564), ccks=1119181915, wck=101.097, mem=39M347
107.90/104.00	    decisions=59108, wrong=28230, backtracks=13795, failedAssignments=17179, nogoods=1599, foundSolutions=17, bestBound=263
107.90/104.00	    nFilterCalls=659907, avgTableProportion=0.35571982112631023, avgTableSize=0.7114396422526205
107.90/104.00	    
108.20/104.24	    num=235, depth=7..14, filters=1059809, revisions=(1085346,useless=566944), ccks=1121808652, wck=101.334, mem=41M818
108.20/104.24	    decisions=59279, wrong=28311, backtracks=13841, failedAssignments=17224, nogoods=1605, foundSolutions=17, bestBound=263
108.20/104.24	    nFilterCalls=661799, avgTableProportion=0.355630637096762, avgTableSize=0.711261274193524
108.20/104.24	    
108.40/104.44	    num=236, depth=8..17, filters=1062264, revisions=(1088116,useless=568312), ccks=1124016864, wck=101.536, mem=44M288
108.40/104.44	    decisions=59450, wrong=28391, backtracks=13880, failedAssignments=17274, nogoods=1612, foundSolutions=17, bestBound=263
108.40/104.44	    nFilterCalls=663077, avgTableProportion=0.3556826733546783, avgTableSize=0.7113653467093566
108.40/104.44	    
108.60/104.67	    num=237, depth=7..15, filters=1064933, revisions=(1090938,useless=569777), ccks=1126628062, wck=101.771, mem=46M758
108.60/104.67	    decisions=59616, wrong=28470, backtracks=13917, failedAssignments=17329, nogoods=1625, foundSolutions=17, bestBound=263
108.60/104.67	    nFilterCalls=664858, avgTableProportion=0.3556233060292574, avgTableSize=0.7112466120585148
108.60/104.67	    
109.20/105.23	    num=238, depth=5..13, filters=1068866, revisions=(1094972,useless=571700), ccks=1132927104, wck=102.331, mem=51M698
109.20/105.23	    decisions=59855, wrong=28586, backtracks=13981, failedAssignments=17390, nogoods=1630, foundSolutions=17, bestBound=263
109.20/105.23	    nFilterCalls=667015, avgTableProportion=0.35568990202619133, avgTableSize=0.7113798040523827
109.20/105.23	    
109.40/105.41	    num=239, depth=4..13, filters=1072465, revisions=(1098106,useless=573302), ccks=1134751041, wck=102.504, mem=54M169
109.40/105.41	    decisions=60032, wrong=28671, backtracks=14000, failedAssignments=17457, nogoods=1661, foundSolutions=17, bestBound=263
109.40/105.41	    nFilterCalls=669279, avgTableProportion=0.35586728404746004, avgTableSize=0.7117345680949201
109.40/105.41	    
109.80/105.86	    num=240, depth=5..13, filters=1077955, revisions=(1103419,useless=575866), ccks=1139755085, wck=102.955, mem=59M109
109.80/105.86	    decisions=60341, wrong=28822, backtracks=14088, failedAssignments=17531, nogoods=1669, foundSolutions=17, bestBound=263
109.80/105.86	    nFilterCalls=672478, avgTableProportion=0.3558867353281446, avgTableSize=0.7117734706562892
109.80/105.86	    
110.30/106.37	    num=241, depth=5..15, filters=1082758, revisions=(1108665,useless=578621), ccks=1145383173, wck=103.462, mem=64M49
110.30/106.37	    decisions=60622, wrong=28956, backtracks=14157, failedAssignments=17612, nogoods=1684, foundSolutions=17, bestBound=263
110.30/106.37	    nFilterCalls=675236, avgTableProportion=0.3559007517371704, avgTableSize=0.7118015034743408
110.30/106.37	    
110.70/106.78	    num=242, depth=2..14, filters=1087710, revisions=(1113967,useless=581401), ccks=1149971727, wck=103.878, mem=66M520
110.70/106.78	    decisions=60912, wrong=29098, backtracks=14220, failedAssignments=17701, nogoods=1690, foundSolutions=17, bestBound=263
110.70/106.78	    nFilterCalls=678009, avgTableProportion=0.3561302283598005, avgTableSize=0.712260456719601
110.70/106.78	    
111.40/107.43	    num=243, depth=6..17, filters=1093888, revisions=(1120804,useless=584950), ccks=1157154250, wck=104.524, mem=73M930
111.40/107.43	    decisions=61253, wrong=29263, backtracks=14303, failedAssignments=17799, nogoods=1699, foundSolutions=17, bestBound=263
111.40/107.43	    nFilterCalls=681299, avgTableProportion=0.3563883111526657, avgTableSize=0.7127766223053315
111.40/107.43	    
112.01/108.07	    num=244, depth=3..11, filters=1103216, revisions=(1129826,useless=589579), ccks=1164233517, wck=105.168, mem=81M341
112.01/108.07	    decisions=61642, wrong=29455, backtracks=14413, failedAssignments=17907, nogoods=1703, foundSolutions=17, bestBound=263
112.01/108.07	    nFilterCalls=686875, avgTableProportion=0.3565736123748863, avgTableSize=0.7131472247497725
112.01/108.07	    
112.81/108.81	    num=245, depth=6..18, filters=1109099, revisions=(1136475,useless=593018), ccks=1172583905, wck=105.909, mem=86M281
112.81/108.81	    decisions=62051, wrong=29655, backtracks=14506, failedAssignments=18026, nogoods=1706, foundSolutions=17, bestBound=263
112.81/108.81	    nFilterCalls=690117, avgTableProportion=0.3564286925260499, avgTableSize=0.7128573850520998
112.81/108.81	    
113.51/109.52	    num=246, depth=5..15, filters=1116939, revisions=(1144554,useless=597139), ccks=1180437039, wck=106.619, mem=93M692
113.51/109.52	    decisions=62534, wrong=29894, backtracks=14641, failedAssignments=18157, nogoods=1711, foundSolutions=17, bestBound=263
113.51/109.52	    nFilterCalls=694727, avgTableProportion=0.3565846728283196, avgTableSize=0.7131693456566393
113.51/109.52	    
114.41/110.41	    num=247, depth=4..14, filters=1127097, revisions=(1154694,useless=602265), ccks=1190331893, wck=107.508, mem=103M573
114.41/110.41	    decisions=63041, wrong=30145, backtracks=14773, failedAssignments=18301, nogoods=1719, foundSolutions=17, bestBound=263
114.41/110.41	    nFilterCalls=700542, avgTableProportion=0.3566831110768519, avgTableSize=0.7133662221537038
114.41/110.41	    
114.71/110.77	    num=248, depth=4..23, filters=1133022, revisions=(1160794,useless=605555), ccks=1194216643, wck=107.87, mem=110M983
114.71/110.77	    decisions=63468, wrong=30350, backtracks=14828, failedAssignments=18459, nogoods=1751, foundSolutions=17, bestBound=263
114.71/110.77	    nFilterCalls=704021, avgTableProportion=0.3567322565662104, avgTableSize=0.7134645131324208
114.71/110.77	    
115.71/111.77	    num=249, depth=0..16, filters=1143604, revisions=(1171474,useless=610546), ccks=1205345167, wck=108.866, mem=118M394
115.71/111.77	    decisions=64051, wrong=30638, backtracks=14981, failedAssignments=18633, nogoods=1765, foundSolutions=17, bestBound=263
115.71/111.77	    nFilterCalls=710214, avgTableProportion=0.3562264331595829, avgTableSize=0.7124528663191658
115.71/111.77	    
116.61/112.69	    num=250, depth=6..16, filters=1154943, revisions=(1182378,useless=615812), ccks=1215594343, wck=109.789, mem=128M275
116.61/112.69	    decisions=64710, wrong=30964, backtracks=15156, failedAssignments=18824, nogoods=1773, foundSolutions=17, bestBound=263
116.61/112.69	    nFilterCalls=717192, avgTableProportion=0.35614103336345077, avgTableSize=0.7122820667269015
116.61/112.69	    
117.71/113.74	    num=251, depth=3..17, filters=1166216, revisions=(1194175,useless=622199), ccks=1227191579, wck=110.836, mem=140M626
117.71/113.74	    decisions=65430, wrong=31321, backtracks=15330, failedAssignments=19035, nogoods=1783, foundSolutions=17, bestBound=263
117.71/113.74	    nFilterCalls=724712, avgTableProportion=0.3559469140844915, avgTableSize=0.711893828168983
117.71/113.74	    
118.52/114.56	    num=252, depth=5..18, filters=1180288, revisions=(1207181,useless=628439), ccks=1235820982, wck=111.653, mem=27M14
118.52/114.56	    decisions=66275, wrong=31738, backtracks=15578, failedAssignments=19267, nogoods=1790, foundSolutions=17, bestBound=263
118.52/114.56	    nFilterCalls=734130, avgTableProportion=0.3556570362197431, avgTableSize=0.7113140724394862
118.52/114.56	    
119.72/115.76	    num=253, depth=4..15, filters=1201732, revisions=(1227439,useless=638799), ccks=1248879113, wck=112.859, mem=41M593
119.72/115.76	    decisions=67221, wrong=32208, backtracks=15850, failedAssignments=19522, nogoods=1804, foundSolutions=17, bestBound=263
119.72/115.76	    nFilterCalls=747460, avgTableProportion=0.35619096674069517, avgTableSize=0.7123819334813903
119.72/115.76	    
121.13/117.14	    num=254, depth=5..21, filters=1216603, revisions=(1243511,useless=647102), ccks=1263797481, wck=114.234, mem=58M602
121.13/117.14	    decisions=68121, wrong=32649, backtracks=16050, failedAssignments=19803, nogoods=1822, foundSolutions=17, bestBound=263
121.13/117.14	    nFilterCalls=755717, avgTableProportion=0.3563278317147821, avgTableSize=0.7126556634295642
121.13/117.14	    
122.43/118.47	    num=255, depth=0..17, filters=1236309, revisions=(1262520,useless=656482), ccks=1278402520, wck=115.567, mem=73M181
122.43/118.47	    decisions=69120, wrong=33146, backtracks=16285, failedAssignments=20112, nogoods=1829, foundSolutions=17, bestBound=263
122.43/118.47	    nFilterCalls=767302, avgTableProportion=0.3564404888818223, avgTableSize=0.7128809777636446
122.43/118.47	    
123.83/119.85	    num=256, depth=4..17, filters=1254499, revisions=(1280988,useless=666330), ccks=1292858350, wck=116.947, mem=90M190
123.83/119.85	    decisions=70231, wrong=33698, backtracks=16553, failedAssignments=20452, nogoods=1839, foundSolutions=17, bestBound=263
123.83/119.85	    nFilterCalls=778343, avgTableProportion=0.3564296203601754, avgTableSize=0.7128592407203508
123.83/119.85	    
125.93/121.90	    num=257, depth=3..20, filters=1279923, revisions=(1306440,useless=679525), ccks=1315685781, wck=119.0, mem=107M199
125.93/121.90	    decisions=71482, wrong=34322, backtracks=16860, failedAssignments=20826, nogoods=1848, foundSolutions=17, bestBound=263
125.93/121.90	    nFilterCalls=793801, avgTableProportion=0.3564476487180036, avgTableSize=0.7128952974360072
125.93/121.90	    
128.14/124.11	    num=258, depth=4..19, filters=1303312, revisions=(1331252,useless=692168), ccks=1339365328, wck=121.207, mem=129M68
128.14/124.11	    decisions=72922, wrong=35038, backtracks=17242, failedAssignments=21237, nogoods=1856, foundSolutions=17, bestBound=263
128.14/124.11	    nFilterCalls=807896, avgTableProportion=0.35620797726440034, avgTableSize=0.7124159545288007
128.14/124.11	    
131.05/127.10	    num=259, depth=5..20, filters=1331632, revisions=(1360526,useless=706812), ccks=1371994290, wck=124.195, mem=34M66
131.05/127.10	    decisions=74602, wrong=35873, backtracks=17707, failedAssignments=21689, nogoods=1865, foundSolutions=17, bestBound=263
131.05/127.10	    nFilterCalls=823759, avgTableProportion=0.35611325642572644, avgTableSize=0.7122265128514529
131.05/127.10	    
133.54/129.53	    num=260, depth=4..15, filters=1364785, revisions=(1393397,useless=723730), ccks=1398905059, wck=126.625, mem=62M733
133.54/129.53	    decisions=76277, wrong=36706, backtracks=18134, failedAssignments=22186, nogoods=1883, foundSolutions=17, bestBound=263
133.54/129.53	    nFilterCalls=843693, avgTableProportion=0.3561615421723305, avgTableSize=0.712323084344661
133.54/129.53	    
136.78/132.78	    num=261, depth=2..15, filters=1394803, revisions=(1424270,useless=738636), ccks=1435685179, wck=129.879, mem=93M790
136.78/132.78	    decisions=78090, wrong=37610, backtracks=18578, failedAssignments=22733, nogoods=1891, foundSolutions=17, bestBound=263
136.78/132.78	    nFilterCalls=860193, avgTableProportion=0.3559712762135939, avgTableSize=0.7119425524271878
136.78/132.78	    
140.28/136.20	    num=262, depth=3..23, filters=1433763, revisions=(1464232,useless=760070), ccks=1474012640, wck=133.298, mem=127M235
140.28/136.20	    decisions=80199, wrong=38658, backtracks=19117, failedAssignments=23335, nogoods=1904, foundSolutions=17, bestBound=263
140.28/136.20	    nFilterCalls=884977, avgTableProportion=0.35593241406273834, avgTableSize=0.7118648281254767
140.28/136.20	    
143.51/139.43	    num=263, depth=5..18, filters=1474542, revisions=(1505796,useless=781489), ccks=1508333218, wck=136.525, mem=43M345
143.51/139.43	    decisions=82492, wrong=39798, backtracks=19678, failedAssignments=23997, nogoods=1922, foundSolutions=17, bestBound=263
143.51/139.43	    nFilterCalls=909559, avgTableProportion=0.35544368204811344, avgTableSize=0.7108873640962269
143.51/139.43	    
145.91/141.89	    num=264, depth=4..22, filters=1516486, revisions=(1548236,useless=802428), ccks=1534911933, wck=138.989, mem=71M642
145.91/141.89	    decisions=84712, wrong=40904, backtracks=20133, failedAssignments=24725, nogoods=1940, foundSolutions=17, bestBound=263
145.91/141.89	    nFilterCalls=933707, avgTableProportion=0.35541288648366137, avgTableSize=0.7108257729673227
145.91/141.89	    
150.01/145.98	    num=265, depth=3..18, filters=1585921, revisions=(1609590,useless=834123), ccks=1578140486, wck=143.073, mem=114M88
150.01/145.98	    decisions=87479, wrong=42285, backtracks=20916, failedAssignments=25526, nogoods=1950, foundSolutions=17, bestBound=263
150.01/145.98	    nFilterCalls=981992, avgTableProportion=0.3559000480655647, avgTableSize=0.7118000961311294
150.01/145.98	    
154.72/150.68	    num=266, depth=2..25, filters=1654094, revisions=(1673341,useless=867948), ccks=1628912032, wck=147.78, mem=50M79
154.72/150.68	    decisions=90589, wrong=43837, backtracks=21757, failedAssignments=26407, nogoods=1958, foundSolutions=17, bestBound=263
154.72/150.68	    nFilterCalls=1028684, avgTableProportion=0.35681171282920704, avgTableSize=0.7136234256584141
154.72/150.68	    
158.72/154.63	o 262
158.72/154.63	    num=267, depth=2..104, filters=1727224, revisions=(1736502,useless=900530), ccks=1671652776, wck=151.731, mem=98M948
158.72/154.63	    decisions=93590, wrong=45326, backtracks=22594, failedAssignments=27235, nogoods=1978, foundSolutions=18, bestBound=262
158.72/154.63	    nFilterCalls=1079549, avgTableProportion=0.35850063313476277, avgTableSize=0.7170012662695255
158.72/154.63	    
163.65/159.50	    num=268, depth=4..19, filters=1807280, revisions=(1809195,useless=937719), ccks=1723991408, wck=156.596, mem=47M409
163.65/159.50	    decisions=97395, wrong=47223, backtracks=23631, failedAssignments=28302, nogoods=1990, foundSolutions=18, bestBound=262
163.65/159.50	    nFilterCalls=1134553, avgTableProportion=0.3604177151706443, avgTableSize=0.7208354303412886
163.65/159.50	    
163.65/159.56	    num=269, depth=8..12, filters=1807744, revisions=(1809693,useless=937979), ccks=1724656812, wck=156.655, mem=49M705
163.65/159.56	    decisions=97429, wrong=47236, backtracks=23635, failedAssignments=28313, nogoods=1996, foundSolutions=18, bestBound=262
163.65/159.56	    nFilterCalls=1134844, avgTableProportion=0.3604279530931124, avgTableSize=0.7208559061862247
163.65/159.56	    
163.75/159.67	    num=270, depth=5..8, filters=1808132, revisions=(1810191,useless=938219), ccks=1725969461, wck=156.768, mem=49M705
163.75/159.67	    decisions=97468, wrong=47253, backtracks=23642, failedAssignments=28325, nogoods=2001, foundSolutions=18, bestBound=262
163.75/159.67	    nFilterCalls=1134996, avgTableProportion=0.36044003679308123, avgTableSize=0.7208800735861625
163.75/159.67	    
163.85/159.79	    num=271, depth=5..11, filters=1809164, revisions=(1811240,useless=938737), ccks=1727252738, wck=156.882, mem=49M705
163.85/159.79	    decisions=97527, wrong=47280, backtracks=23660, failedAssignments=28338, nogoods=2004, foundSolutions=18, bestBound=262
163.85/159.79	    nFilterCalls=1135727, avgTableProportion=0.36046602748723944, avgTableSize=0.7209320549744789
163.85/159.79	    
163.96/159.86	    num=272, depth=8..13, filters=1809882, revisions=(1811976,useless=939104), ccks=1728089223, wck=156.957, mem=52M1
163.96/159.86	    decisions=97579, wrong=47302, backtracks=23669, failedAssignments=28352, nogoods=2005, foundSolutions=18, bestBound=262
163.96/159.86	    nFilterCalls=1136190, avgTableProportion=0.3605004444679147, avgTableSize=0.7210008889358294
163.96/159.86	    
164.17/160.02	    num=273, depth=6..11, filters=1810991, revisions=(1813138,useless=939637), ccks=1729899724, wck=157.116, mem=52M1
164.17/160.02	    decisions=97647, wrong=47333, backtracks=23685, failedAssignments=28368, nogoods=2009, foundSolutions=18, bestBound=262
164.17/160.02	    nFilterCalls=1136758, avgTableProportion=0.36054067796311967, avgTableSize=0.7210813559262393
164.17/160.02	    
164.28/160.13	    num=274, depth=6..13, filters=1812228, revisions=(1814382,useless=940299), ccks=1731117006, wck=157.225, mem=54M297
164.28/160.13	    decisions=97711, wrong=47361, backtracks=23699, failedAssignments=28385, nogoods=2015, foundSolutions=18, bestBound=262
164.28/160.13	    nFilterCalls=1137521, avgTableProportion=0.3605783981130898, avgTableSize=0.7211567962261796
164.28/160.13	    
164.37/160.25	    num=275, depth=4..17, filters=1813684, revisions=(1815833,useless=941069), ccks=1732461600, wck=157.346, mem=54M297
164.37/160.25	    decisions=97791, wrong=47395, backtracks=23718, failedAssignments=28404, nogoods=2019, foundSolutions=18, bestBound=262
164.37/160.25	    nFilterCalls=1138580, avgTableProportion=0.3605943368054946, avgTableSize=0.7211886736109892
164.37/160.25	    
164.57/160.40	    num=276, depth=6..13, filters=1814889, revisions=(1817065,useless=941658), ccks=1734158966, wck=157.496, mem=56M593
164.57/160.40	    decisions=97864, wrong=47428, backtracks=23734, failedAssignments=28425, nogoods=2022, foundSolutions=18, bestBound=262
164.57/160.40	    nFilterCalls=1139186, avgTableProportion=0.3606364544508096, avgTableSize=0.7212729089016192
164.57/160.40	    
164.67/160.58	    num=277, depth=6..14, filters=1816407, revisions=(1818769,useless=942560), ccks=1736174855, wck=157.674, mem=58M889
164.67/160.58	    decisions=97955, wrong=47469, backtracks=23756, failedAssignments=28448, nogoods=2027, foundSolutions=18, bestBound=262
164.67/160.58	    nFilterCalls=1140076, avgTableProportion=0.3606750778018308, avgTableSize=0.7213501556036616
164.67/160.58	    
164.87/160.74	    num=278, depth=6..11, filters=1818439, revisions=(1820766,useless=943535), ccks=1738017485, wck=157.84, mem=61M185
164.87/160.74	    decisions=98061, wrong=47519, backtracks=23784, failedAssignments=28473, nogoods=2032, foundSolutions=18, bestBound=262
164.87/160.74	    nFilterCalls=1141311, avgTableProportion=0.36075267827962754, avgTableSize=0.7215053565592551
164.87/160.74	    
165.07/160.96	    num=279, depth=5..13, filters=1820287, revisions=(1822987,useless=944652), ccks=1740445236, wck=158.054, mem=61M185
165.07/160.96	    decisions=98170, wrong=47569, backtracks=23809, failedAssignments=28501, nogoods=2037, foundSolutions=18, bestBound=262
165.07/160.96	    nFilterCalls=1142132, avgTableProportion=0.36078754469711033, avgTableSize=0.7215750893942207
165.07/160.96	    
165.28/161.13	    num=280, depth=7..15, filters=1822440, revisions=(1825167,useless=945761), ccks=1742364759, wck=158.228, mem=63M481
165.28/161.13	    decisions=98293, wrong=47626, backtracks=23839, failedAssignments=28532, nogoods=2040, foundSolutions=18, bestBound=262
165.28/161.13	    nFilterCalls=1143440, avgTableProportion=0.3608239173021759, avgTableSize=0.7216478346043518
165.28/161.13	    
165.47/161.32	    num=281, depth=6..12, filters=1824740, revisions=(1827415,useless=946927), ccks=1744498297, wck=158.421, mem=65M777
165.47/161.32	    decisions=98411, wrong=47679, backtracks=23870, failedAssignments=28566, nogoods=2045, foundSolutions=18, bestBound=262
165.47/161.32	    nFilterCalls=1144988, avgTableProportion=0.36088413153674975, avgTableSize=0.7217682630734995
165.47/161.32	    
165.67/161.55	    num=282, depth=3..12, filters=1827719, revisions=(1830029,useless=948164), ccks=1746947242, wck=158.645, mem=68M73
165.67/161.55	    decisions=98563, wrong=47752, backtracks=23911, failedAssignments=28603, nogoods=2051, foundSolutions=18, bestBound=262
165.67/161.55	    nFilterCalls=1146867, avgTableProportion=0.3610300932889341, avgTableSize=0.7220601865778682
165.67/161.55	    
165.97/161.83	    num=283, depth=5..15, filters=1830048, revisions=(1832508,useless=949468), ccks=1750108127, wck=158.924, mem=72M665
165.97/161.83	    decisions=98703, wrong=47818, backtracks=23947, failedAssignments=28644, nogoods=2055, foundSolutions=18, bestBound=262
165.97/161.83	    nFilterCalls=1148279, avgTableProportion=0.3610916859056031, avgTableSize=0.7221833718112062
165.97/161.83	    
166.18/162.08	    num=284, depth=4..15, filters=1832633, revisions=(1835135,useless=950881), ccks=1752933190, wck=159.176, mem=74M961
166.18/162.08	    decisions=98836, wrong=47881, backtracks=23975, failedAssignments=28689, nogoods=2059, foundSolutions=18, bestBound=262
166.18/162.08	    nFilterCalls=1149938, avgTableProportion=0.36113033920089604, avgTableSize=0.7222606784017921
166.18/162.08	    
166.37/162.26	    num=285, depth=5..14, filters=1835806, revisions=(1837704,useless=952130), ccks=1754870756, wck=159.356, mem=77M257
166.37/162.26	    decisions=99004, wrong=47960, backtracks=24008, failedAssignments=28739, nogoods=2070, foundSolutions=18, bestBound=262
166.37/162.26	    nFilterCalls=1152437, avgTableProportion=0.3611928461165339, avgTableSize=0.7223856922330678
166.37/162.26	    
166.57/162.46	    num=286, depth=8..15, filters=1838100, revisions=(1840240,useless=953376), ccks=1757163575, wck=159.561, mem=79M552
166.57/162.46	    decisions=99168, wrong=48037, backtracks=24037, failedAssignments=28794, nogoods=2077, foundSolutions=18, bestBound=262
166.57/162.46	    nFilterCalls=1153734, avgTableProportion=0.36114780356650666, avgTableSize=0.7222956071330133
166.57/162.46	    
166.87/162.73	    num=287, depth=8..14, filters=1840791, revisions=(1843170,useless=954895), ccks=1760160643, wck=159.828, mem=81M848
166.87/162.73	    decisions=99355, wrong=48126, backtracks=24073, failedAssignments=28855, nogoods=2099, foundSolutions=18, bestBound=262
166.87/162.73	    nFilterCalls=1155342, avgTableProportion=0.361203868638031, avgTableSize=0.722407737276062
166.87/162.73	    
167.32/163.12	    num=288, depth=0..14, filters=1843530, revisions=(1846082,useless=956297), ccks=1764594255, wck=160.218, mem=86M440
167.32/163.12	    decisions=99561, wrong=48224, backtracks=24115, failedAssignments=28922, nogoods=2113, foundSolutions=18, bestBound=262
167.32/163.12	    nFilterCalls=1156723, avgTableProportion=0.3612161252088875, avgTableSize=0.722432250417775
167.32/163.12	    
167.61/163.42	    num=289, depth=5..16, filters=1848122, revisions=(1850007,useless=958146), ccks=1767826954, wck=160.513, mem=91M32
167.61/163.42	    decisions=99803, wrong=48341, backtracks=24171, failedAssignments=28996, nogoods=2123, foundSolutions=18, bestBound=262
167.61/163.42	    nFilterCalls=1159715, avgTableProportion=0.3612736749977365, avgTableSize=0.722547349995473
167.61/163.42	    
167.81/163.67	    num=290, depth=4..15, filters=1853802, revisions=(1855483,useless=961088), ccks=1770499732, wck=160.765, mem=93M328
167.81/163.67	    decisions=100097, wrong=48485, backtracks=24251, failedAssignments=29077, nogoods=2128, foundSolutions=18, bestBound=262
167.81/163.67	    nFilterCalls=1163622, avgTableProportion=0.36121910723585493, avgTableSize=0.7224382144717099
167.81/163.67	    
168.32/164.12	    num=291, depth=4..13, filters=1862213, revisions=(1862987,useless=964850), ccks=1775430109, wck=161.219, mem=100M216
168.32/164.12	    decisions=100431, wrong=48649, backtracks=24344, failedAssignments=29166, nogoods=2132, foundSolutions=18, bestBound=262
168.32/164.12	    nFilterCalls=1169320, avgTableProportion=0.36131640611637533, avgTableSize=0.7226328122327507
168.32/164.12	    
168.71/164.51	    num=292, depth=4..15, filters=1868094, revisions=(1868113,useless=967365), ccks=1779626495, wck=161.603, mem=104M807
168.71/164.51	    decisions=100743, wrong=48803, backtracks=24418, failedAssignments=29264, nogoods=2136, foundSolutions=18, bestBound=262
168.71/164.51	    nFilterCalls=1173444, avgTableProportion=0.3614948817327457, avgTableSize=0.7229897634654914
168.71/164.51	    
169.32/165.16	    num=293, depth=5..12, filters=1875886, revisions=(1876079,useless=971203), ccks=1786898979, wck=162.252, mem=109M399
169.32/165.16	    decisions=101119, wrong=48986, backtracks=24515, failedAssignments=29372, nogoods=2139, foundSolutions=18, bestBound=262
169.32/165.16	    nFilterCalls=1177415, avgTableProportion=0.36160487168925143, avgTableSize=0.7232097433785029
169.32/165.16	    
169.91/165.76	    num=294, depth=3..12, filters=1885655, revisions=(1885022,useless=975635), ccks=1793499944, wck=162.86, mem=118M583
169.91/165.76	    decisions=101564, wrong=49206, backtracks=24647, failedAssignments=29491, nogoods=2146, foundSolutions=18, bestBound=262
169.91/165.76	    nFilterCalls=1184028, avgTableProportion=0.3619099379406568, avgTableSize=0.7238198758813136
169.91/165.76	    
170.64/166.46	    num=295, depth=6..17, filters=1893428, revisions=(1892495,useless=979355), ccks=1801228516, wck=163.552, mem=125M470
170.64/166.46	    decisions=102033, wrong=49437, backtracks=24771, failedAssignments=29622, nogoods=2148, foundSolutions=18, bestBound=262
170.64/166.46	    nFilterCalls=1189109, avgTableProportion=0.36203115105511774, avgTableSize=0.7240623021102355
170.64/166.46	    
171.25/167.09	    num=296, depth=3..14, filters=1903438, revisions=(1902443,useless=984482), ccks=1808179163, wck=164.187, mem=132M358
171.25/167.09	    decisions=102545, wrong=49691, backtracks=24914, failedAssignments=29766, nogoods=2155, foundSolutions=18, bestBound=262
171.25/167.09	    nFilterCalls=1195435, avgTableProportion=0.3620636002793962, avgTableSize=0.7241272005587924
171.25/167.09	    
172.15/167.97	    num=297, depth=5..18, filters=1915973, revisions=(1914146,useless=990490), ccks=1817747456, wck=165.064, mem=28M981
172.15/167.97	    decisions=103132, wrong=49981, backtracks=25078, failedAssignments=29924, nogoods=2165, foundSolutions=18, bestBound=262
172.15/167.97	    nFilterCalls=1203056, avgTableProportion=0.36229859624157146, avgTableSize=0.7245971924831429
172.15/167.97	    
172.94/168.71	    num=298, depth=4..15, filters=1928399, revisions=(1925606,useless=996356), ccks=1825813136, wck=165.807, mem=38M39
172.94/168.71	    decisions=103762, wrong=50293, backtracks=25233, failedAssignments=30098, nogoods=2170, foundSolutions=18, bestBound=262
172.94/168.71	    nFilterCalls=1210874, avgTableProportion=0.3624373799420914, avgTableSize=0.7248747598841828
172.94/168.71	    
173.74/169.57	    num=299, depth=4..15, filters=1941141, revisions=(1936552,useless=1001724), ccks=1835148330, wck=166.662, mem=49M362
173.74/169.57	    decisions=104393, wrong=50605, backtracks=25408, failedAssignments=30289, nogoods=2173, foundSolutions=18, bestBound=262
173.74/169.57	    nFilterCalls=1219604, avgTableProportion=0.3627820997635298, avgTableSize=0.7255641995270596
173.74/169.57	    
175.14/170.91	    num=300, depth=4..14, filters=1956704, revisions=(1951175,useless=1008893), ccks=1850184468, wck=168.009, mem=65M215
175.14/170.91	    decisions=105151, wrong=50981, backtracks=25602, failedAssignments=30500, nogoods=2181, foundSolutions=18, bestBound=262
175.14/170.91	    nFilterCalls=1228268, avgTableProportion=0.36316341384779216, avgTableSize=0.7263268276955843
175.14/170.91	    
176.54/172.34	    num=301, depth=4..18, filters=1970391, revisions=(1965583,useless=1016351), ccks=1866284794, wck=169.437, mem=78M802
176.54/172.34	    decisions=105935, wrong=51371, backtracks=25813, failedAssignments=30732, nogoods=2206, foundSolutions=18, bestBound=262
176.54/172.34	    nFilterCalls=1236143, avgTableProportion=0.3633499522304458, avgTableSize=0.7266999044608916
176.54/172.34	    
178.25/174.06	    num=302, depth=1..14, filters=1987593, revisions=(1982363,useless=1024743), ccks=1885532413, wck=171.152, mem=94M654
178.25/174.06	    decisions=106862, wrong=51833, backtracks=26063, failedAssignments=30987, nogoods=2214, foundSolutions=18, bestBound=262
178.25/174.06	    nFilterCalls=1246840, avgTableProportion=0.3637651984216098, avgTableSize=0.7275303968432196
178.25/174.06	    
180.35/176.13	    num=303, depth=4..20, filters=2000491, revisions=(1996758,useless=1032151), ccks=1909397065, wck=173.23, mem=110M507
180.35/176.13	    decisions=107771, wrong=52284, backtracks=26263, failedAssignments=31268, nogoods=2221, foundSolutions=18, bestBound=262
180.35/176.13	    nFilterCalls=1253326, avgTableProportion=0.3638115701740808, avgTableSize=0.7276231403481616
180.35/176.13	    
181.44/177.27	    num=304, depth=4..18, filters=2015633, revisions=(2012678,useless=1040407), ccks=1921977043, wck=174.365, mem=121M830
181.44/177.27	    decisions=108710, wrong=52750, backtracks=26466, failedAssignments=31577, nogoods=2228, foundSolutions=18, bestBound=262
181.44/177.27	    nFilterCalls=1261936, avgTableProportion=0.3639261420547476, avgTableSize=0.7278522841094952
181.44/177.27	    
183.06/178.85	    num=305, depth=3..15, filters=2036859, revisions=(2033351,useless=1051008), ccks=1939352548, wck=175.943, mem=28M887
183.06/178.85	    decisions=109895, wrong=53337, backtracks=26762, failedAssignments=31917, nogoods=2239, foundSolutions=18, bestBound=262
183.06/178.85	    nFilterCalls=1274669, avgTableProportion=0.3642212213523668, avgTableSize=0.7284424427047336
183.06/178.85	    
184.66/180.46	    num=306, depth=2..15, filters=2064288, revisions=(2058173,useless=1063795), ccks=1956911738, wck=177.555, mem=46M753
184.66/180.46	    decisions=111199, wrong=53987, backtracks=27110, failedAssignments=32291, nogoods=2245, foundSolutions=18, bestBound=262
184.66/180.46	    nFilterCalls=1293908, avgTableProportion=0.36461247631207166, avgTableSize=0.7292249526241433
184.66/180.46	    
186.46/182.27	    num=307, depth=4..15, filters=2094052, revisions=(2084745,useless=1077136), ccks=1976449500, wck=179.363, mem=73M552
186.46/182.27	    decisions=112634, wrong=54700, backtracks=27466, failedAssignments=32702, nogoods=2251, foundSolutions=18, bestBound=262
186.46/182.27	    nFilterCalls=1314859, avgTableProportion=0.3653174979218304, avgTableSize=0.7306349958436608
186.46/182.27	    
188.76/184.52	    num=308, depth=4..16, filters=2125427, revisions=(2112857,useless=1091132), ccks=2001311868, wck=181.619, mem=102M584
188.76/184.52	    decisions=114294, wrong=55526, backtracks=27936, failedAssignments=33154, nogoods=2258, foundSolutions=18, bestBound=262
188.76/184.52	    nFilterCalls=1336892, avgTableProportion=0.3657056815359805, avgTableSize=0.731411363071961
188.76/184.52	    
191.86/187.68	    num=309, depth=4..19, filters=2159033, revisions=(2145254,useless=1107484), ccks=2036721307, wck=184.772, mem=129M384
191.86/187.68	    decisions=116040, wrong=56394, backtracks=28356, failedAssignments=33651, nogoods=2265, foundSolutions=18, bestBound=262
191.86/187.68	    nFilterCalls=1357159, avgTableProportion=0.36636974739142575, avgTableSize=0.7327394947828515
191.86/187.68	    
194.47/190.23	    num=310, depth=3..19, filters=2200212, revisions=(2184299,useless=1127411), ccks=2064759162, wck=187.323, mem=44M173
194.47/190.23	    decisions=117793, wrong=57268, backtracks=28763, failedAssignments=34198, nogoods=2275, foundSolutions=18, bestBound=262
194.47/190.23	    nFilterCalls=1381599, avgTableProportion=0.366307807113352, avgTableSize=0.732615614226704
194.47/190.23	    
196.77/192.51	    num=311, depth=3..19, filters=2236241, revisions=(2219047,useless=1145237), ccks=2089588759, wck=189.611, mem=77M201
196.77/192.51	    decisions=119756, wrong=58246, backtracks=29221, failedAssignments=34800, nogoods=2277, foundSolutions=18, bestBound=262
196.77/192.51	    nFilterCalls=1404797, avgTableProportion=0.3666479925569317, avgTableSize=0.7332959851138634
196.77/192.51	    
199.57/195.33	    num=312, depth=2..21, filters=2293043, revisions=(2268248,useless=1170479), ccks=2119497021, wck=192.426, mem=116M835
199.57/195.33	    decisions=122114, wrong=59423, backtracks=29917, failedAssignments=35462, nogoods=2281, foundSolutions=18, bestBound=262
199.57/195.33	    nFilterCalls=1444426, avgTableProportion=0.36758857843877085, avgTableSize=0.7351771568775417
199.57/195.33	    
202.98/198.77	    num=313, depth=2..21, filters=2337674, revisions=(2312270,useless=1193913), ccks=2157670279, wck=195.87, mem=43M949
202.98/198.77	    decisions=124676, wrong=60701, backtracks=30572, failedAssignments=36190, nogoods=2291, foundSolutions=18, bestBound=262
202.98/198.77	    nFilterCalls=1472855, avgTableProportion=0.36758234856791744, avgTableSize=0.7351646971358349
202.98/198.77	    
206.18/202.00	    num=314, depth=4..17, filters=2386020, revisions=(2358782,useless=1218003), ccks=2193110840, wck=199.092, mem=83M17
206.18/202.00	    decisions=127182, wrong=61950, backtracks=31153, failedAssignments=36991, nogoods=2298, foundSolutions=18, bestBound=262
206.18/202.00	    nFilterCalls=1503782, avgTableProportion=0.36793132249222293, avgTableSize=0.7358626449844459
206.18/202.00	    
211.30/207.03	    num=315, depth=2..16, filters=2446254, revisions=(2415623,useless=1246615), ccks=2249054193, wck=204.124, mem=26M563
211.30/207.03	    decisions=130199, wrong=63456, backtracks=31941, failedAssignments=37872, nogoods=2305, foundSolutions=18, bestBound=262
211.30/207.03	    nFilterCalls=1542521, avgTableProportion=0.3680332390936655, avgTableSize=0.736066478187331
211.30/207.03	    
214.69/210.43	    num=316, depth=2..15, filters=2486709, revisions=(2458159,useless=1268529), ccks=2286924831, wck=207.531, mem=62M927
214.69/210.43	    decisions=133063, wrong=64884, backtracks=32530, failedAssignments=38842, nogoods=2312, foundSolutions=18, bestBound=262
214.69/210.43	    nFilterCalls=1566812, avgTableProportion=0.36846092575241957, avgTableSize=0.7369218515048391
214.69/210.43	    
220.30/216.06	    num=317, depth=3..20, filters=2568410, revisions=(2535904,useless=1308813), ccks=2348785687, wck=213.154, mem=127M98
220.30/216.06	    decisions=136890, wrong=66795, backtracks=33621, failedAssignments=39909, nogoods=2319, foundSolutions=18, bestBound=262
220.30/216.06	    nFilterCalls=1619097, avgTableProportion=0.36911531551228866, avgTableSize=0.7382306310245773
220.30/216.06	    
225.80/221.56	    num=318, depth=2..14, filters=2663004, revisions=(2616718,useless=1350044), ccks=2408207311, wck=218.654, mem=91M803
225.80/221.56	    decisions=141075, wrong=68884, backtracks=34809, failedAssignments=41082, nogoods=2327, foundSolutions=18, bestBound=262
225.80/221.56	    nFilterCalls=1685342, avgTableProportion=0.3704749540449357, avgTableSize=0.7409499080898714
225.80/221.56	    
231.10/226.83	    num=319, depth=2..23, filters=2750440, revisions=(2700533,useless=1394471), ccks=2465731723, wck=223.93, mem=51M335
231.10/226.83	    decisions=145466, wrong=71076, backtracks=35996, failedAssignments=42373, nogoods=2334, foundSolutions=18, bestBound=262
231.10/226.83	    nFilterCalls=1745811, avgTableProportion=0.37020674059219466, avgTableSize=0.7404134811843893
231.10/226.83	    
237.21/232.91	    num=320, depth=2..18, filters=2864986, revisions=(2798492,useless=1443455), ccks=2530724917, wck=230.009, mem=32M525
237.21/232.91	    decisions=150592, wrong=73634, backtracks=37502, failedAssignments=43793, nogoods=2345, foundSolutions=18, bestBound=262
237.21/232.91	    nFilterCalls=1825159, avgTableProportion=0.3716251570411126, avgTableSize=0.7432503140822252
237.21/232.91	    
243.61/239.30	    num=321, depth=1..19, filters=2972667, revisions=(2899051,useless=1495679), ccks=2600397542, wck=236.4, mem=110M224
243.61/239.30	    decisions=155994, wrong=76332, backtracks=38952, failedAssignments=45355, nogoods=2356, foundSolutions=18, bestBound=262
243.61/239.30	    nFilterCalls=1899319, avgTableProportion=0.3714307601829919, avgTableSize=0.7428615203659839
243.61/239.30	    
250.43/246.16	    num=322, depth=0..19, filters=3089105, revisions=(3003973,useless=1549012), ccks=2674620988, wck=243.252, mem=92M765
250.43/246.16	    decisions=162000, wrong=79331, backtracks=40596, failedAssignments=47073, nogoods=2363, foundSolutions=18, bestBound=262
250.43/246.16	    nFilterCalls=1976467, avgTableProportion=0.37285646560251196, avgTableSize=0.7457129312050239
250.43/246.16	    
258.13/253.86	    num=323, depth=2..18, filters=3232000, revisions=(3127684,useless=1611345), ccks=2757287619, wck=250.957, mem=100M33
258.13/253.86	    decisions=168663, wrong=82660, backtracks=42446, failedAssignments=48963, nogoods=2373, foundSolutions=18, bestBound=262
258.13/253.86	    nFilterCalls=2076792, avgTableProportion=0.37401627124911885, avgTableSize=0.7480325424982377
258.13/253.86	    
265.74/261.43	    num=324, depth=1..20, filters=3380163, revisions=(3256905,useless=1677054), ccks=2838416960, wck=258.529, mem=109M80
265.74/261.43	    decisions=175537, wrong=86095, backtracks=44163, failedAssignments=51042, nogoods=2383, foundSolutions=18, bestBound=262
265.74/261.43	    nFilterCalls=2181951, avgTableProportion=0.3748335778392824, avgTableSize=0.7496671556785648
265.74/261.43	    
273.37/269.02	    num=325, depth=2..17, filters=3555880, revisions=(3406627,useless=1754098), ccks=2917586852, wck=266.114, mem=37M843
273.37/269.02	    decisions=183522, wrong=90085, backtracks=46347, failedAssignments=53329, nogoods=2396, foundSolutions=18, bestBound=262
273.37/269.02	    nFilterCalls=2310740, avgTableProportion=0.3762770800695881, avgTableSize=0.7525541601391762
273.37/269.02	    
283.80/279.46	    num=326, depth=1..17, filters=3767726, revisions=(3583073,useless=1843842), ccks=3028512315, wck=276.558, mem=96M869
283.80/279.46	    decisions=192747, wrong=94693, backtracks=49121, failedAssignments=55845, nogoods=2408, foundSolutions=18, bestBound=262
283.80/279.46	    nFilterCalls=2462849, avgTableProportion=0.37781122594198835, avgTableSize=0.7556224518839767
283.80/279.46	    
293.62/289.27	    num=327, depth=0..23, filters=3970728, revisions=(3758067,useless=1933289), ccks=3132798991, wck=286.363, mem=46M770
293.62/289.27	    decisions=202479, wrong=99556, backtracks=51829, failedAssignments=58613, nogoods=2419, foundSolutions=18, bestBound=262
293.62/289.27	    nFilterCalls=2605670, avgTableProportion=0.37767138586236937, avgTableSize=0.7553427717247387
293.62/289.27	    
307.24/302.82	    num=328, depth=0..21, filters=4225576, revisions=(3976424,useless=2044089), ccks=3278211840, wck=299.916, mem=38M993
307.24/302.82	    decisions=213189, wrong=104907, backtracks=54917, failedAssignments=61657, nogoods=2432, foundSolutions=18, bestBound=262
307.24/302.82	    nFilterCalls=2783025, avgTableProportion=0.3794256249943856, avgTableSize=0.7588512499887712
307.24/302.82	    
322.15/317.79	    num=329, depth=1..19, filters=4481507, revisions=(4197203,useless=2156247), ccks=3439557415, wck=314.885, mem=54M724
322.15/317.79	    decisions=225029, wrong=110823, backtracks=58289, failedAssignments=65006, nogoods=2439, foundSolutions=18, bestBound=262
322.15/317.79	    nFilterCalls=2967579, avgTableProportion=0.3804225599385897, avgTableSize=0.7608451198771794
322.15/317.79	    
339.67/335.29	    num=330, depth=1..22, filters=4729985, revisions=(4432175,useless=2281654), ccks=3632035125, wck=332.387, mem=69M692
339.67/335.29	    decisions=237499, wrong=117055, backtracks=61693, failedAssignments=68690, nogoods=2450, foundSolutions=18, bestBound=262
339.67/335.29	    nFilterCalls=3136049, avgTableProportion=0.38102944182313475, avgTableSize=0.7620588836462695
339.67/335.29	    
358.69/354.24	    num=331, depth=1..20, filters=5051166, revisions=(4714236,useless=2424790), ccks=3837593105, wck=351.335, mem=42M926
358.69/354.24	    decisions=251830, wrong=124216, backtracks=65704, failedAssignments=72742, nogoods=2461, foundSolutions=18, bestBound=262
358.69/354.24	    nFilterCalls=3361049, avgTableProportion=0.38186634589379687, avgTableSize=0.7637326917875937
358.69/354.24	    
376.61/372.16	    num=332, depth=0..23, filters=5335147, revisions=(4977000,useless=2560389), ccks=4033220403, wck=369.261, mem=96M452
376.61/372.16	    decisions=266150, wrong=131373, backtracks=69296, failedAssignments=77199, nogoods=2472, foundSolutions=18, bestBound=262
376.61/372.16	    nFilterCalls=3548279, avgTableProportion=0.38235479791752564, avgTableSize=0.7647095958350513
376.61/372.16	    
398.94/394.48	    num=333, depth=1..29, filters=5720004, revisions=(5326132,useless=2740273), ccks=4275962100, wck=391.58, mem=33M828
398.94/394.48	    decisions=283007, wrong=139799, backtracks=73769, failedAssignments=82102, nogoods=2482, foundSolutions=18, bestBound=262
398.94/394.48	    nFilterCalls=3806107, avgTableProportion=0.38292946046971355, avgTableSize=0.7658589209394271
398.94/394.48	    
425.76/421.24	    num=334, depth=0..23, filters=6156916, revisions=(5711133,useless=2935524), ccks=4566450883, wck=418.336, mem=53M510
425.76/421.24	    decisions=302166, wrong=149377, backtracks=79314, failedAssignments=87496, nogoods=2494, foundSolutions=18, bestBound=262
425.76/421.24	    nFilterCalls=4107252, avgTableProportion=0.3842006772411335, avgTableSize=0.768401354482267
425.76/421.24	    
455.00/450.48	    num=335, depth=0..23, filters=6642683, revisions=(6141977,useless=3157060), ccks=4884552005, wck=447.572, mem=86M950
455.00/450.48	    decisions=323419, wrong=160001, backtracks=85478, failedAssignments=93429, nogoods=2504, foundSolutions=18, bestBound=262
455.00/450.48	    nFilterCalls=4441764, avgTableProportion=0.3849899499388081, avgTableSize=0.7699798998776162
455.00/450.48	    
484.33/479.73	    num=336, depth=1..25, filters=7178061, revisions=(6614160,useless=3401627), ccks=5199609239, wck=476.824, mem=27M202
484.33/479.73	    decisions=346649, wrong=171613, backtracks=92038, failedAssignments=99955, nogoods=2512, foundSolutions=18, bestBound=262
484.33/479.73	    nFilterCalls=4820861, avgTableProportion=0.3849697180648851, avgTableSize=0.7699394361297702
484.33/479.73	    
517.17/512.53	
517.17/512.53	  New Bounds: 262..261
517.17/512.53	    num=337, depth=0..21, filters=7728985, revisions=(7093629,useless=3643365), ccks=5552041396, wck=509.627, mem=61M435
517.17/512.53	    decisions=369139, wrong=182859, backtracks=98576, failedAssignments=106316, foundSolutions=18, bestBound=262
517.17/512.53	    nFilterCalls=5198726, avgTableProportion=0.38623664720933554, avgTableSize=0.7724732944186711
517.17/512.53	    
517.17/512.53	  Global
517.17/512.53	    filters=7728985, revisions=(7093629,useless=3643365), ccks=5552041396
517.17/512.53	    Stop=FULL_EXPLORATION, wrong=182859, bestBound=262, bestBoundWck=152.166, bestBoundCpu=153.818, foundSolutions=18, firstSolCpu=2.991
517.17/512.53	    wck=510.063, cpu=511.548, mem=61M435
517.17/512.53	
517.17/512.53	v <instantiation id='sol18' type='solution' cost='262'>  <list> s[][] e[] d[][] w[][] sd[][] </list>  <values> 0 83 115 141 222 0 87 109 199 251 0 64 86 109 199 0 87 115 148 222 0 86 148 192 207 260 257 200 262 262 83 32 19 81 38 64 22 90 52 6 35 15 8 83 1 87 21 33 71 40 86 55 42 15 55 3 4 0 2 1 2 1 3 4 0 4 2 0 1 3 1 3 4 0 2 0 2 4 1 3 115 222 141 0 83 251 87 0 109 199 86 109 64 199 0 148 0 222 87 115 0 192 86 207 148 </values>  </instantiation>
517.17/512.53	s OPTIMUM FOUND
517.17/512.53	
517.17/512.53	d WRONG_DECISIONS 182859
517.17/512.53	d NUMBER_SOLUTIONS 18

OK	262

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (11658 MiB free)
  memory of node 1: 16384 MiB (14351 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390788-1568380515/watcher-4390788-1568380515 -o /tmp/evaluation-result-4390788-1568380515/solver-4390788-1568380515 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node147-1568380472-32116 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4390788-1568380515.xml -cm 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=32143, runsolver pid=32136

[startup+0.100195 s]*
/proc/loadavg: 0.03 0.03 0.05 3/200 32146
/proc/meminfo: memFree=26632960/32770624 swapFree=66957012/67108860
[pid=32143] ppid=32136 vsize=10648 memory=660 CPUtime=0 cores=1,3,5,7
/proc/32143/stat : 32143 (java) D 32136 32143 32084 0 -1 1077944320 310 0 0 0 0 0 0 0 20 0 1 0 413965389 10903552 165 33554432000 4194304 4196468 140722067430048 140722067408248 140521744177680 0 0 4096 0 18446744072101617188 0 0 17 5 0 0 1 0 0 6293624 6294260 7122944 140722067432459 140722067432562 140722067432562 140722067435471 0
/proc/32143/statm: 2662 165 132 1 0 84 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 10648 KiB
Current children cumulated memory: 660 KiB

[startup+0.209579 s]*
/proc/loadavg: 0.03 0.03 0.05 1/202 32148
/proc/meminfo: memFree=26630460/32770624 swapFree=66957012/67108860
[pid=32143] ppid=32136 vsize=111596 memory=5604 CPUtime=0 cores=1,3,5,7
/proc/32143/stat : 32143 (java) S 32136 32143 32084 0 -1 1077944320 1725 0 0 0 0 0 0 0 20 0 2 0 413965389 114274304 1401 33554432000 4194304 4196468 140722067430048 140722067412592 140521751498487 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 1 0 0 6293624 6294260 7122944 140722067432459 140722067432562 140722067432562 140722067435471 0
/proc/32143/statm: 27899 1401 1062 1 0 16810 0
[pid=32143/tid=32148] ppid=32136 vsize=111596 memory=7022364594140610616 CPUtime=0 cores=1,3,5,7
/proc/32143/task/32148/stat : 32148 (java) D 32136 32143 32084 0 -1 1077944384 434 0 0 0 0 0 0 0 20 0 2 0 413965403 114274304 1401 33554432000 4194304 4196468 140722067430048 140521755738344 140521744176501 0 4 0 16784584 18446744072101617188 0 0 -1 1 0 0 0 0 0 6293624 6294260 7122944 140722067432459 140722067432562 140722067432562 140722067435471 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 111596 KiB
Current children cumulated memory: 5604 KiB

[startup+0.309607 s]*
/proc/loadavg: 0.03 0.03 0.05 4/216 32162
/proc/meminfo: memFree=26610604/32770624 swapFree=66957012/67108860
[pid=32143] ppid=32136 vsize=10260324 memory=20316 CPUtime=0.04 cores=1,3,5,7
/proc/32143/stat : 32143 (java) S 32136 32143 32084 0 -1 1077944320 3987 0 0 0 3 1 0 0 20 0 9 0 413965389 10506571776 5079 33554432000 4194304 4196468 140722067430048 140722067412592 140521751498487 0 0 0 16800971 18446744073709551615 0 0 17 5 0 0 1 0 0 6293624 6294260 7122944 140722067432459 140722067432562 140722067432562 140722067435471 0
/proc/32143/statm: 2565081 5079 2156 1 0 2527622 0
[pid=32143/tid=32148] ppid=32136 vsize=10260324 memory=7022364594140610616 CPUtime=0.03 cores=1,3,5,7
/proc/32143/task/32148/stat : 32148 (java) D 32136 32143 32084 0 -1 1077944384 2635 0 0 0 3 0 0 0 20 0 9 0 413965403 10506571776 5079 33554432000 4194304 4196468 140722067430048 140521755733800 140521744176501 0 4 0 16800971 18446744072101617188 0 0 -1 3 0 0 0 0 0 6293624 6294260 7122944 140722067432459 140722067432562 140722067432562 140722067435471 0
[pid=32143/tid=32149] ppid=32136 vsize=10260324 memory=339 CPUtime=0 cores=1,3,5,7
/proc/32143/task/32149/stat : 32149 (java) S 32136 32143 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 413965416 10506571776 5079 33554432000 4194304 4196468 140722067430048 140521677572368 140521751508693 0 4 0 16800971 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7122944 140722067432459 140722067432562 140722067432562 140722067435471 0
[pid=32143/tid=32150] ppid=32136 vsize=10260324 memory=140508408561693 CPUtime=0 cores=1,3,5,7
/proc/32143/task/32150/stat : 32150 (java) S 32136 32143 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 413965416 10506571776 5079 33554432000 4194304 4196468 140722067430048 140521676519824 140521751508693 0 4 0 16800971 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7122944 140722067432459 140722067432562 140722067432562 140722067435471 0
[pid=32143/tid=32151] ppid=32136 vsize=10260324 memory=6944656592455360604 CPUtime=0 cores=1,3,5,7
/proc/32143/task/32151/stat : 32151 (java) S 32136 32143 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 413965416 10506571776 5079 33554432000 4194304 4196468 140722067430048 140521675467280 140521751508693 0 4 0 16800971 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7122944 140722067432459 140722067432562 140722067432562 140722067435471 0
[pid=32143/tid=32152] ppid=32136 vsize=10260324 memory=3472328296227680303 CPUtime=0 cores=1,3,5,7
/proc/32143/task/32152/stat : 32152 (java) S 32136 32143 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 413965416 10506571776 5079 33554432000 4194304 4196468 140722067430048 140521674414736 140521751508693 0 4 0 16800971 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7122944 140722067432459 140722067432562 140722067432562 140722067435471 0
[pid=32143/tid=32158] ppid=32136 vsize=10260324 memory=8388507626769202932 CPUtime=0 cores=1,3,5,7
/proc/32143/task/32158/stat : 32158 (java) S 32136 32143 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 413965418 10506571776 5079 33554432000 4194304 4196468 140722067430048 140520786459120 140521751509634 0 0 0 16800971 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7122944 140722067432459 140722067432562 140722067432562 140722067435471 0
[pid=32143/tid=32160] ppid=32136 vsize=10260324 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32143/task/32160/stat : 32160 (java) S 32136 32143 32084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 413965418 10506571776 5079 33554432000 4194304 4196468 140722067430048 140520785405344 140521751508693 0 4 0 16800971 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7122944 140722067432459 140722067432562 140722067432562 140722067435471 0
[pid=32143/tid=32162] ppid=32136 vsize=10260324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32143/task/32162/stat : 32162 (java) S 32136 32143 32084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 413965419 10506571776 5079 33554432000 4194304 4196468 140722067430048 140520784352752 140521751508693 0 4 0 16800971 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7122944 140722067432459 140722067432562 140722067432562 140722067435471 0
Current children cumulated CPU time: 0.04 s
Current children cumulated vsize: 10260324 KiB
Current children cumulated memory: 20316 KiB

[startup+0.700685 s]
/proc/loadavg: 0.03 0.03 0.05 2/226 32172
/proc/meminfo: memFree=26609532/32770624 swapFree=66957012/67108860
[pid=32143] ppid=32136 vsize=10659884 memory=34408 CPUtime=0.27 cores=1,3,5,7
/proc/32143/stat : 32143 (java) S 32136 32143 32084 0 -1 1077944320 6677 0 0 0 26 1 0 0 20 0 15 0 413965389 10915721216 8602 33554432000 4194304 4196468 140722067430048 140722067412592 140521751498487 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 1 0 0 6293624 6294260 7122944 140722067432459 140722067432562 140722067432562 140722067435471 0
/proc/32143/statm: 2664971 8602 2949 1 0 2627468 0
[pid=32143/tid=32148] ppid=32136 vsize=10659884 memory=2520 CPUtime=0.17 cores=1,3,5,7
/proc/32143/task/32148/stat : 32148 (java) R 32136 32143 32084 0 -1 4202560 3848 0 0 0 16 1 0 0 20 0 15 0 413965403 10915721216 8602 33554432000 4194304 4196468 140722067430048 140521755736656 140521751520413 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 7122944 140722067432459 140722067432562 140722067432562 140722067435471 0
[pid=32143/tid=32149] ppid=32136 vsize=10659884 memory=1760 CPUtime=0 cores=1,3,5,7
/proc/32143/task/32149/stat : 32149 (java) S 32136 32143 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 413965416 10915721216 8602 33554432000 4194304 4196468 140722067430048 140521677572368 140521751508693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7122944 140722067432459 140722067432562 140722067432562 140722067435471 0
[pid=32143/tid=32150] ppid=32136 vsize=10659884 memory=1660 CPUtime=0 cores=1,3,5,7
/proc/32143/task/32150/stat : 32150 (java) S 32136 32143 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 413965416 10915721216 8602 33554432000 4194304 4196468 140722067430048 140521676519824 140521751508693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7122944 140722067432459 140722067432562 140722067432562 140722067435471 0
[pid=32143/tid=32151] ppid=32136 vsize=10659884 memory=111632 CPUtime=0 cores=1,3,5,7
/proc/32143/task/32151/stat : 32151 (java) S 32136 32143 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 413965416 10915721216 8602 33554432000 4194304 4196468 140722067430048 140521675467280 140521751508693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7122944 140722067432459 140722067432562 140722067432562 140722067435471 0
[pid=32143/tid=32152] ppid=32136 vsize=10659884 memory=796 CPUtime=0 cores=1,3,5,7
/proc/32143/task/32152/stat : 32152 (java) S 32136 32143 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 413965416 10915721216 8602 33554432000 4194304 4196468 140722067430048 140521674414736 140521751508693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7122944 140722067432459 140722067432562 140722067432562 140722067435471 0
[pid=32143/tid=32158] ppid=32136 vsize=10659884 memory=4104 CPUtime=0 cores=1,3,5,7
/proc/32143/task/32158/stat : 32158 (java) S 32136 32143 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 413965418 10915721216 8602 33554432000 4194304 4196468 140722067430048 140520786459120 140521751509634 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7122944 140722067432459 140722067432562 140722067432562 140722067435471 0
[pid=32143/tid=32160] ppid=32136 vsize=10659884 memory=5793437063179157604 CPUtime=0 cores=1,3,5,7
/proc/32143/task/32160/stat : 32160 (java) S 32136 32143 32084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 413965418 10915721216 8602 33554432000 4194304 4196468 140722067430048 140520785405344 140521751508693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7122944 140722067432459 140722067432562 140722067432562 140722067435471 0
[pid=32143/tid=32162] ppid=32136 vsize=10659884 memory=7811043120814189401 CPUtime=0 cores=1,3,5,7
/proc/32143/task/32162/stat : 32162 (java) S 32136 32143 32084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 413965419 10915721216 8602 33554432000 4194304 4196468 140722067430048 140520784352752 140521751508693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7122944 140722067432459 140722067432562 140722067432562 140722067435471 0
[pid=32143/tid=32168] ppid=32136 vsize=10659884 memory=7594309579129972328 CPUtime=0 cores=1,3,5,7
/proc/32143/task/32168/stat : 32168 (java) S 32136 32143 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 413965437 10915721216 8602 33554432000 4194304 4196468 140722067430048 140520783301328 140521751517083 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7122944 140722067432459 140722067432562 140722067432562 140722067435471 0
[pid=32143/tid=32169] ppid=32136 vsize=10659884 memory=4638778424102965584 CPUtime=0.02 cores=1,3,5,7
/proc/32143/task/32169/stat : 32169 (java) R 32136 32143 32084 0 -1 4202560 611 0 0 0 2 0 0 0 20 0 15 0 413965437 10915721216 8602 33554432000 4194304 4196468 140722067430048 140520782247920 140521736398654 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7122944 140722067432459 140722067432562 140722067432562 140722067435471 0
[pid=32143/tid=32170] ppid=32136 vsize=10659884 memory=7450753067347437651 CPUtime=0.01 cores=1,3,5,7
/proc/32143/task/32170/stat : 32170 (java) R 32136 32143 32084 0 -1 4202560 176 0 0 0 1 0 0 0 20 0 15 0 413965437 10915721216 8602 33554432000 4194304 4196468 140722067430048 140520781195376 140521730687936 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7122944 140722067432459 140722067432562 140722067432562 140722067435471 0
[pid=32143/tid=32171] ppid=32136 vsize=10659884 memory=7893295687695687954 CPUtime=0.05 cores=1,3,5,7
/proc/32143/task/32171/stat : 32171 (java) S 32136 32143 32084 0 -1 1077944384 683 0 0 0 5 0 0 0 20 0 15 0 413965437 10915721216 8602 33554432000 4194304 4196468 140722067430048 140520780142832 140521751509634 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7122944 140722067432459 140722067432562 140722067432562 140722067435471 0
[pid=32143/tid=32172] ppid=32136 vsize=10659884 memory=4137290303932963203 CPUtime=0 cores=1,3,5,7
/proc/32143/task/32172/stat : 32172 (java) S 32136 32143 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 413965437 10915721216 8602 33554432000 4194304 4196468 140722067430048 140520779090528 140521751508693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7122944 140722067432459 140722067432562 140722067432562 140722067435471 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 34408 KiB

[startup+1.50082 s]
/proc/loadavg: 0.03 0.03 0.05 4/228 32174
/proc/meminfo: memFree=26553492/32770624 swapFree=66957012/67108860
[pid=32143] ppid=32136 vsize=10663980 memory=68588 CPUtime=1.39 cores=1,3,5,7
/proc/32143/stat : 32143 (java) S 32136 32143 32084 0 -1 1077944320 13708 0 0 0 134 5 0 0 20 0 15 0 413965389 10919915520 17147 33554432000 4194304 4196468 140722067430048 140722067412592 140521751498487 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 1 0 0 6293624 6294260 7122944 140722067432459 140722067432562 140722067432562 140722067435471 0
/proc/32143/statm: 2665995 17147 3065 1 0 2628492 0
[pid=32143/tid=32148] ppid=32136 vsize=10663980 memory=0 CPUtime=0.94 cores=1,3,5,7
/proc/32143/task/32148/stat : 32148 (java) R 32136 32143 32084 0 -1 4202560 9433 0 0 0 90 4 0 0 20 0 15 0 413965403 10919915520 17147 33554432000 4194304 4196468 140722067430048 140521755726352 140521735578974 0 4 0 16800975 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 7122944 140722067432459 140722067432562 140722067432562 140722067435471 0
[pid=32143/tid=32149] ppid=32136 vsize=10663980 memory=140508311830608 CPUtime=0 cores=1,3,5,7
/proc/32143/task/32149/stat : 32149 (java) S 32136 32143 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 413965416 10919915520 17147 33554432000 4194304 4196468 140722067430048 140521677572368 140521751508693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7122944 140722067432459 140722067432562 140722067432562 140722067435471 0
[pid=32143/tid=32150] ppid=32136 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32143/task/32150/stat : 32150 (java) S 32136 32143 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 413965416 10919915520 17147 33554432000 4194304 4196468 140722067430048 140521676519824 140521751508693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7122944 140722067432459 140722067432562 140722067432562 140722067435471 0
[pid=32143/tid=32151] ppid=32136 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32143/task/32151/stat : 32151 (java) S 32136 32143 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 413965416 10919915520 17147 33554432000 4194304 4196468 140722067430048 140521675467280 140521751508693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7122944 140722067432459 140722067432562 140722067432562 140722067435471 0
[pid=32143/tid=32152] ppid=32136 vsize=10663980 memory=2372 CPUtime=0 cores=1,3,5,7
/proc/32143/task/32152/stat : 32152 (java) S 32136 32143 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 413965416 10919915520 17147 33554432000 4194304 4196468 140722067430048 140521674414736 140521751508693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7122944 140722067432459 140722067432562 140722067432562 140722067435471 0
[pid=32143/tid=32158] ppid=32136 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32143/task/32158/stat : 32158 (java) S 32136 32143 32084 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 15 0 413965418 10919915520 17147 33554432000 4194304 4196468 140722067430048 140520786459120 140521751509634 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7122944 140722067432459 140722067432562 140722067432562 140722067435471 0
[pid=32143/tid=32160] ppid=32136 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32143/task/32160/stat : 32160 (java) S 32136 32143 32084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 413965418 10919915520 17147 33554432000 4194304 4196468 140722067430048 140520785405344 140521751508693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7122944 140722067432459 140722067432562 140722067432562 140722067435471 0
[pid=32143/tid=32162] ppid=32136 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32143/task/32162/stat : 32162 (java) S 32136 32143 32084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 413965419 10919915520 17147 33554432000 4194304 4196468 140722067430048 140520784352752 140521751508693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7122944 140722067432459 140722067432562 140722067432562 140722067435471 0
[pid=32143/tid=32168] ppid=32136 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32143/task/32168/stat : 32168 (java) S 32136 32143 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 413965437 10919915520 17147 33554432000 4194304 4196468 140722067430048 140520783301328 140521751517083 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7122944 140722067432459 140722067432562 140722067432562 140722067435471 0
[pid=32143/tid=32169] ppid=32136 vsize=10663980 memory=13412 CPUtime=0.1 cores=1,3,5,7
/proc/32143/task/32169/stat : 32169 (java) S 32136 32143 32084 0 -1 1077944384 1020 0 0 0 10 0 0 0 20 0 15 0 413965437 10919915520 17147 33554432000 4194304 4196468 140722067430048 140520782247920 140521751509634 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7122944 140722067432459 140722067432562 140722067432562 140722067435471 0
[pid=32143/tid=32170] ppid=32136 vsize=10663980 memory=4206186544037388384 CPUtime=0.13 cores=1,3,5,7
/proc/32143/task/32170/stat : 32170 (java) S 32136 32143 32084 0 -1 1077944384 676 0 0 0 13 0 0 0 20 0 15 0 413965437 10919915520 17147 33554432000 4194304 4196468 140722067430048 140520781195376 140521751509634 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7122944 140722067432459 140722067432562 140722067432562 140722067435471 0
[pid=32143/tid=32171] ppid=32136 vsize=10663980 memory=6791534058613427641 CPUtime=0.19 cores=1,3,5,7
/proc/32143/task/32171/stat : 32171 (java) S 32136 32143 32084 0 -1 1077944384 1218 0 0 0 19 0 0 0 20 0 15 0 413965437 10919915520 17147 33554432000 4194304 4196468 140722067430048 140520780142832 140521751509634 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7122944 140722067432459 140722067432562 140722067432562 140722067435471 0
[pid=32143/tid=32172] ppid=32136 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32143/task/32172/stat : 32172 (java) S 32136 32143 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 413965437 10919915520 17147 33554432000 4194304 4196468 140722067430048 140520779090528 140521751508693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7122944 140722067432459 140722067432562 140722067432562 140722067435471 0
[pid=32143/tid=32174] ppid=32136 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32143/task/32174/stat : 32174 (java) S 32136 32143 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 413965446 10919915520 17147 33554432000 4194304 4196468 140722067430048 140520778038064 140521751509634 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7122944 140722067432459 140722067432562 140722067432562 140722067435471 0
Current children cumulated CPU time: 1.39 s
Current children cumulated vsize: 10663980 KiB
Current children cumulated memory: 68588 KiB

[startup+3.11049 s]
/proc/loadavg: 0.03 0.03 0.05 4/230 32176
/proc/meminfo: memFree=26355464/32770624 swapFree=66957012/67108860
[pid=32143] ppid=32136 vsize=10748324 memory=152812 CPUtime=3.81 cores=1,3,5,7
/proc/32143/stat : 32143 (java) S 32136 32143 32084 0 -1 1077944320 23171 0 0 0 371 10 0 0 20 0 16 0 413965389 11006283776 38203 33554432000 4194304 4196468 140722067430048 140722067412592 140521751498487 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 1 0 0 6293624 6294260 7122944 140722067432459 140722067432562 140722067432562 140722067435471 0
/proc/32143/statm: 2687081 38203 3339 1 0 2647217 0
[pid=32143/tid=32148] ppid=32136 vsize=10748324 memory=56 CPUtime=1.86 cores=1,3,5,7
/proc/32143/task/32148/stat : 32148 (java) S 32136 32143 32084 0 -1 1077944384 13778 0 0 0 180 6 0 0 20 0 16 0 413965403 11006283776 38203 33554432000 4194304 4196468 140722067430048 140521755741360 140521751508693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 7122944 140722067432459 140722067432562 140722067432562 140722067435471 0
[pid=32143/tid=32149] ppid=32136 vsize=10748324 memory=3512 CPUtime=0.01 cores=1,3,5,7
/proc/32143/task/32149/stat : 32149 (java) S 32136 32143 32084 0 -1 1077944384 110 0 0 0 1 0 0 0 20 0 16 0 413965416 11006283776 38203 33554432000 4194304 4196468 140722067430048 140521677572368 140521751508693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7122944 140722067432459 140722067432562 140722067432562 140722067435471 0
[pid=32143/tid=32150] ppid=32136 vsize=10748324 memory=2241 CPUtime=0.01 cores=1,3,5,7
/proc/32143/task/32150/stat : 32150 (java) S 32136 32143 32084 0 -1 1077944384 22 0 0 0 1 0 0 0 20 0 16 0 413965416 11006283776 38203 33554432000 4194304 4196468 140722067430048 140521676519824 140521751508693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7122944 140722067432459 140722067432562 140722067432562 140722067435471 0
[pid=32143/tid=32151] ppid=32136 vsize=10748324 memory=281016623472336 CPUtime=0 cores=1,3,5,7
/proc/32143/task/32151/stat : 32151 (java) S 32136 32143 32084 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 16 0 413965416 11006283776 38203 33554432000 4194304 4196468 140722067430048 140521675467280 140521751508693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7122944 140722067432459 140722067432562 140722067432562 140722067435471 0
[pid=32143/tid=32152] ppid=32136 vsize=10748324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32143/task/32152/stat : 32152 (java) S 32136 32143 32084 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 16 0 413965416 11006283776 38203 33554432000 4194304 4196468 140722067430048 140521674414736 140521751508693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7122944 140722067432459 140722067432562 140722067432562 140722067435471 0
[pid=32143/tid=32158] ppid=32136 vsize=10748324 memory=281016623225504 CPUtime=0.01 cores=1,3,5,7
/proc/32143/task/32158/stat : 32158 (java) S 32136 32143 32084 0 -1 1077944384 704 0 0 0 1 0 0 0 20 0 16 0 413965418 11006283776 38203 33554432000 4194304 4196468 140722067430048 140520786459120 140521751509634 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7122944 140722067432459 140722067432562 140722067432562 140722067435471 0
[pid=32143/tid=32160] ppid=32136 vsize=10748324 memory=8751464017575753781 CPUtime=0 cores=1,3,5,7
/proc/32143/task/32160/stat : 32160 (java) S 32136 32143 32084 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 413965418 11006283776 38203 33554432000 4194304 4196468 140722067430048 140520785405408 140521751508693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7122944 140722067432459 140722067432562 140722067432562 140722067435471 0
[pid=32143/tid=32162] ppid=32136 vsize=10748324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32143/task/32162/stat : 32162 (java) S 32136 32143 32084 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 413965419 11006283776 38203 33554432000 4194304 4196468 140722067430048 140520784352768 140521751508693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7122944 140722067432459 140722067432562 140722067432562 140722067435471 0
[pid=32143/tid=32168] ppid=32136 vsize=10748324 memory=7305797817860646498 CPUtime=0 cores=1,3,5,7
/proc/32143/task/32168/stat : 32168 (java) S 32136 32143 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 413965437 11006283776 38203 33554432000 4194304 4196468 140722067430048 140520783301328 140521751517083 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7122944 140722067432459 140722067432562 140722067432562 140722067435471 0
[pid=32143/tid=32169] ppid=32136 vsize=10748324 memory=7666341982765340012 CPUtime=0.42 cores=1,3,5,7
/proc/32143/task/32169/stat : 32169 (java) S 32136 32143 32084 0 -1 1077944384 1653 0 0 0 42 0 0 0 20 0 16 0 413965437 11006283776 38203 33554432000 4194304 4196468 140722067430048 140520782247920 140521751509634 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7122944 140722067432459 140722067432562 140722067432562 140722067435471 0
[pid=32143/tid=32170] ppid=32136 vsize=10748324 memory=7228987962922674067 CPUtime=0.43 cores=1,3,5,7
/proc/32143/task/32170/stat : 32170 (java) S 32136 32143 32084 0 -1 1077944384 1603 0 0 0 43 0 0 0 20 0 16 0 413965437 11006283776 38203 33554432000 4194304 4196468 140722067430048 140520781195376 140521751509634 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7122944 140722067432459 140722067432562 140722067432562 140722067435471 0
[pid=32143/tid=32171] ppid=32136 vsize=10748324 memory=11415960682 CPUtime=0.47 cores=1,3,5,7
/proc/32143/task/32171/stat : 32171 (java) S 32136 32143 32084 0 -1 1077944384 1995 0 0 0 47 0 0 0 20 0 16 0 413965437 11006283776 38203 33554432000 4194304 4196468 140722067430048 140520780142832 140521751509634 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7122944 140722067432459 140722067432562 140722067432562 140722067435471 0
[pid=32143/tid=32172] ppid=32136 vsize=10748324 memory=281016623217384 CPUtime=0 cores=1,3,5,7
/proc/32143/task/32172/stat : 32172 (java) S 32136 32143 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 413965437 11006283776 38203 33554432000 4194304 4196468 140722067430048 140520779090528 140521751508693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7122944 140722067432459 140722067432562 140722067432562 140722067435471 0
[pid=32143/tid=32174] ppid=32136 vsize=10748324 memory=281016623255472 CPUtime=0 cores=1,3,5,7
/proc/32143/task/32174/stat : 32174 (java) S 32136 32143 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 413965446 11006283776 38203 33554432000 4194304 4196468 140722067430048 140520778038064 140521751509634 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7122944 140722067432459 140722067432562 140722067432562 140722067435471 0
[pid=32143/tid=32175] ppid=32136 vsize=10748324 memory=281016623433680 CPUtime=0.51 cores=1,3,5,7
/proc/32143/task/32175/stat : 32175 (java) R 32136 32143 32084 0 -1 4202560 1836 0 0 0 51 0 0 0 20 0 16 0 413965639 11006283776 38203 33554432000 4194304 4196468 140722067430048 140520761374144 140521352865411 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7122944 140722067432459 140722067432562 140722067432562 140722067435471 0
Current children cumulated CPU time: 3.81 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 152812 KiB

[startup+6.30064 s]
/proc/loadavg: 0.27 0.08 0.06 4/230 32176
/proc/meminfo: memFree=26324496/32770624 swapFree=66957012/67108860
[pid=32143] ppid=32136 vsize=10748324 memory=170536 CPUtime=9.51 cores=1,3,5,7
/proc/32143/stat : 32143 (java) S 32136 32143 32084 0 -1 1077944320 31684 0 0 0 939 12 0 0 20 0 16 0 413965389 11006283776 42634 33554432000 4194304 4196468 140722067430048 140722067412592 140521751498487 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 1 0 0 6293624 6294260 7122944 140722067432459 140722067432562 140722067432562 140722067435471 0
/proc/32143/statm: 2687081 42634 3344 1 0 2647217 0
[pid=32143/tid=32148] ppid=32136 vsize=10748324 memory=4420 CPUtime=1.86 cores=1,3,5,7
/proc/32143/task/32148/stat : 32148 (java) S 32136 32143 32084 0 -1 1077944384 13778 0 0 0 180 6 0 0 20 0 16 0 413965403 11006283776 42634 33554432000 4194304 4196468 140722067430048 140521755741360 140521751508693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 7122944 140722067432459 140722067432562 140722067432562 140722067435471 0

################
# More data... #
################

[startup+511.201 s]
/proc/loadavg: 1.71 1.46 0.79 4/230 32224
/proc/meminfo: memFree=26259412/32770624 swapFree=66957012/67108860
[pid=32143] ppid=32136 vsize=10748324 memory=202192 CPUtime=515.87 cores=1,3,5,7
/proc/32143/stat : 32143 (java) S 32136 32143 32084 0 -1 1077944320 69824 0 0 0 51561 26 0 0 20 0 16 0 413965389 11006283776 50548 33554432000 4194304 4196468 140722067430048 140722067412592 140521751498487 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 1 0 0 6293624 6294260 7122944 140722067432459 140722067432562 140722067432562 140722067435471 0
/proc/32143/statm: 2687081 50548 3379 1 0 2647217 0
[pid=32143/tid=32148] ppid=32136 vsize=10748324 memory=988 CPUtime=1.86 cores=1,3,5,7
/proc/32143/task/32148/stat : 32148 (java) S 32136 32143 32084 0 -1 1077944384 13778 0 0 0 180 6 0 0 20 0 16 0 413965403 11006283776 50548 33554432000 4194304 4196468 140722067430048 140521755741360 140521751508693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 7122944 140722067432459 140722067432562 140722067432562 140722067435471 0
[pid=32143/tid=32149] ppid=32136 vsize=10748324 memory=1368 CPUtime=0.2 cores=1,3,5,7
/proc/32143/task/32149/stat : 32149 (java) S 32136 32143 32084 0 -1 1077944384 1691 0 0 0 19 1 0 0 20 0 16 0 413965416 11006283776 50548 33554432000 4194304 4196468 140722067430048 140521677572368 140521751508693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7122944 140722067432459 140722067432562 140722067432562 140722067435471 0
[pid=32143/tid=32150] ppid=32136 vsize=10748324 memory=1056 CPUtime=0.2 cores=1,3,5,7
/proc/32143/task/32150/stat : 32150 (java) S 32136 32143 32084 0 -1 1077944384 2836 0 0 0 19 1 0 0 20 0 16 0 413965416 11006283776 50548 33554432000 4194304 4196468 140722067430048 140521676519824 140521751508693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7122944 140722067432459 140722067432562 140722067432562 140722067435471 0
[pid=32143/tid=32151] ppid=32136 vsize=10748324 memory=14008 CPUtime=0.2 cores=1,3,5,7
/proc/32143/task/32151/stat : 32151 (java) S 32136 32143 32084 0 -1 1077944384 2496 0 0 0 19 1 0 0 20 0 16 0 413965416 11006283776 50548 33554432000 4194304 4196468 140722067430048 140521675467280 140521751508693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7122944 140722067432459 140722067432562 140722067432562 140722067435471 0
[pid=32143/tid=32152] ppid=32136 vsize=10748324 memory=12040 CPUtime=0.19 cores=1,3,5,7
/proc/32143/task/32152/stat : 32152 (java) S 32136 32143 32084 0 -1 1077944384 1696 0 0 0 18 1 0 0 20 0 16 0 413965416 11006283776 50548 33554432000 4194304 4196468 140722067430048 140521674414736 140521751508693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7122944 140722067432459 140722067432562 140722067432562 140722067435471 0
[pid=32143/tid=32158] ppid=32136 vsize=10748324 memory=2124 CPUtime=0.07 cores=1,3,5,7
/proc/32143/task/32158/stat : 32158 (java) S 32136 32143 32084 0 -1 1077944384 2484 0 0 0 5 2 0 0 20 0 16 0 413965418 11006283776 50548 33554432000 4194304 4196468 140722067430048 140520786459120 140521751509634 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7122944 140722067432459 140722067432562 140722067432562 140722067435471 0
[pid=32143/tid=32160] ppid=32136 vsize=10748324 memory=21180 CPUtime=0 cores=1,3,5,7
/proc/32143/task/32160/stat : 32160 (java) S 32136 32143 32084 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 16 0 413965418 11006283776 50548 33554432000 4194304 4196468 140722067430048 140520785405408 140521751508693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7122944 140722067432459 140722067432562 140722067432562 140722067435471 0
[pid=32143/tid=32162] ppid=32136 vsize=10748324 memory=202192 CPUtime=0 cores=1,3,5,7
/proc/32143/task/32162/stat : 32162 (java) S 32136 32143 32084 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 16 0 413965419 11006283776 50548 33554432000 4194304 4196468 140722067430048 140520784352768 140521751508693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7122944 140722067432459 140722067432562 140722067432562 140722067435471 0
[pid=32143/tid=32168] ppid=32136 vsize=10748324 memory=4008 CPUtime=0 cores=1,3,5,7
/proc/32143/task/32168/stat : 32168 (java) S 32136 32143 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 413965437 11006283776 50548 33554432000 4194304 4196468 140722067430048 140520783301328 140521751517083 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7122944 140722067432459 140722067432562 140722067432562 140722067435471 0
[pid=32143/tid=32169] ppid=32136 vsize=10748324 memory=1096 CPUtime=1.51 cores=1,3,5,7
/proc/32143/task/32169/stat : 32169 (java) S 32136 32143 32084 0 -1 1077944384 10394 0 0 0 150 1 0 0 20 0 16 0 413965437 11006283776 50548 33554432000 4194304 4196468 140722067430048 140520782247920 140521751509634 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7122944 140722067432459 140722067432562 140722067432562 140722067435471 0
[pid=32143/tid=32170] ppid=32136 vsize=10748324 memory=2828 CPUtime=2.43 cores=1,3,5,7
/proc/32143/task/32170/stat : 32170 (java) S 32136 32143 32084 0 -1 1077944384 11453 0 0 0 242 1 0 0 20 0 16 0 413965437 11006283776 50548 33554432000 4194304 4196468 140722067430048 140520781195376 140521751509634 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7122944 140722067432459 140722067432562 140722067432562 140722067435471 0
[pid=32143/tid=32171] ppid=32136 vsize=10748324 memory=1164 CPUtime=0.69 cores=1,3,5,7
/proc/32143/task/32171/stat : 32171 (java) S 32136 32143 32084 0 -1 1077944384 8002 0 0 0 68 1 0 0 20 0 16 0 413965437 11006283776 50548 33554432000 4194304 4196468 140722067430048 140520780142832 140521751509634 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7122944 140722067432459 140722067432562 140722067432562 140722067435471 0
[pid=32143/tid=32172] ppid=32136 vsize=10748324 memory=14008 CPUtime=0 cores=1,3,5,7
/proc/32143/task/32172/stat : 32172 (java) S 32136 32143 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 413965437 11006283776 50548 33554432000 4194304 4196468 140722067430048 140520779090528 140521751508693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7122944 140722067432459 140722067432562 140722067432562 140722067435471 0
[pid=32143/tid=32174] ppid=32136 vsize=10748324 memory=12040 CPUtime=0.09 cores=1,3,5,7
/proc/32143/task/32174/stat : 32174 (java) S 32136 32143 32084 0 -1 1077944384 487 0 0 0 3 6 0 0 20 0 16 0 413965446 11006283776 50548 33554432000 4194304 4196468 140722067430048 140520778038064 140521751509634 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7122944 140722067432459 140722067432562 140722067432562 140722067435471 0
[pid=32143/tid=32175] ppid=32136 vsize=10748324 memory=2124 CPUtime=508.32 cores=1,3,5,7
/proc/32143/task/32175/stat : 32175 (java) R 32136 32143 32084 0 -1 4202560 13078 0 0 0 50829 3 0 0 20 0 16 0 413965639 11006283776 50548 33554432000 4194304 4196468 140722067430048 140520761376416 140521353050121 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7122944 140722067432459 140722067432562 140722067432562 140722067435471 0
Current children cumulated CPU time: 515.87 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 202192 KiB

[startup+512.001 s]*
/proc/loadavg: 1.71 1.46 0.79 4/230 32224
/proc/meminfo: memFree=26259536/32770624 swapFree=66957012/67108860
[pid=32143] ppid=32136 vsize=10748324 memory=202192 CPUtime=516.68 cores=1,3,5,7
/proc/32143/stat : 32143 (java) S 32136 32143 32084 0 -1 1077944320 69824 0 0 0 51642 26 0 0 20 0 16 0 413965389 11006283776 50548 33554432000 4194304 4196468 140722067430048 140722067412592 140521751498487 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 1 0 0 6293624 6294260 7122944 140722067432459 140722067432562 140722067432562 140722067435471 0
/proc/32143/statm: 2687081 50548 3379 1 0 2647217 0
[pid=32143/tid=32148] ppid=32136 vsize=10748324 memory=6791534058613427641 CPUtime=1.86 cores=1,3,5,7
/proc/32143/task/32148/stat : 32148 (java) S 32136 32143 32084 0 -1 1077944384 13778 0 0 0 180 6 0 0 20 0 16 0 413965403 11006283776 50548 33554432000 4194304 4196468 140722067430048 140521755741360 140521751508693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 7122944 140722067432459 140722067432562 140722067432562 140722067435471 0
[pid=32143/tid=32149] ppid=32136 vsize=10748324 memory=988 CPUtime=0.2 cores=1,3,5,7
/proc/32143/task/32149/stat : 32149 (java) S 32136 32143 32084 0 -1 1077944384 1691 0 0 0 19 1 0 0 20 0 16 0 413965416 11006283776 50548 33554432000 4194304 4196468 140722067430048 140521677572368 140521751508693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7122944 140722067432459 140722067432562 140722067432562 140722067435471 0
[pid=32143/tid=32150] ppid=32136 vsize=10748324 memory=1368 CPUtime=0.2 cores=1,3,5,7
/proc/32143/task/32150/stat : 32150 (java) S 32136 32143 32084 0 -1 1077944384 2836 0 0 0 19 1 0 0 20 0 16 0 413965416 11006283776 50548 33554432000 4194304 4196468 140722067430048 140521676519824 140521751508693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7122944 140722067432459 140722067432562 140722067432562 140722067435471 0
[pid=32143/tid=32151] ppid=32136 vsize=10748324 memory=1056 CPUtime=0.2 cores=1,3,5,7
/proc/32143/task/32151/stat : 32151 (java) S 32136 32143 32084 0 -1 1077944384 2496 0 0 0 19 1 0 0 20 0 16 0 413965416 11006283776 50548 33554432000 4194304 4196468 140722067430048 140521675467280 140521751508693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7122944 140722067432459 140722067432562 140722067432562 140722067435471 0
[pid=32143/tid=32152] ppid=32136 vsize=10748324 memory=492 CPUtime=0.19 cores=1,3,5,7
/proc/32143/task/32152/stat : 32152 (java) S 32136 32143 32084 0 -1 1077944384 1696 0 0 0 18 1 0 0 20 0 16 0 413965416 11006283776 50548 33554432000 4194304 4196468 140722067430048 140521674414736 140521751508693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7122944 140722067432459 140722067432562 140722067432562 140722067435471 0
[pid=32143/tid=32158] ppid=32136 vsize=10748324 memory=1560 CPUtime=0.07 cores=1,3,5,7
/proc/32143/task/32158/stat : 32158 (java) S 32136 32143 32084 0 -1 1077944384 2484 0 0 0 5 2 0 0 20 0 16 0 413965418 11006283776 50548 33554432000 4194304 4196468 140722067430048 140520786459120 140521751509634 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7122944 140722067432459 140722067432562 140722067432562 140722067435471 0
[pid=32143/tid=32160] ppid=32136 vsize=10748324 memory=932 CPUtime=0 cores=1,3,5,7
/proc/32143/task/32160/stat : 32160 (java) S 32136 32143 32084 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 16 0 413965418 11006283776 50548 33554432000 4194304 4196468 140722067430048 140520785405408 140521751508693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7122944 140722067432459 140722067432562 140722067432562 140722067435471 0
[pid=32143/tid=32162] ppid=32136 vsize=10748324 memory=202192 CPUtime=0 cores=1,3,5,7
/proc/32143/task/32162/stat : 32162 (java) S 32136 32143 32084 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 16 0 413965419 11006283776 50548 33554432000 4194304 4196468 140722067430048 140520784352768 140521751508693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7122944 140722067432459 140722067432562 140722067432562 140722067435471 0
[pid=32143/tid=32168] ppid=32136 vsize=10748324 memory=916 CPUtime=0 cores=1,3,5,7
/proc/32143/task/32168/stat : 32168 (java) S 32136 32143 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 413965437 11006283776 50548 33554432000 4194304 4196468 140722067430048 140520783301328 140521751517083 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7122944 140722067432459 140722067432562 140722067432562 140722067435471 0
[pid=32143/tid=32169] ppid=32136 vsize=10748324 memory=202192 CPUtime=1.51 cores=1,3,5,7
/proc/32143/task/32169/stat : 32169 (java) S 32136 32143 32084 0 -1 1077944384 10394 0 0 0 150 1 0 0 20 0 16 0 413965437 11006283776 50548 33554432000 4194304 4196468 140722067430048 140520782247920 140521751509634 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7122944 140722067432459 140722067432562 140722067432562 140722067435471 0
[pid=32143/tid=32170] ppid=32136 vsize=10748324 memory=224304 CPUtime=2.43 cores=1,3,5,7
/proc/32143/task/32170/stat : 32170 (java) S 32136 32143 32084 0 -1 1077944384 11453 0 0 0 242 1 0 0 20 0 16 0 413965437 11006283776 50548 33554432000 4194304 4196468 140722067430048 140520781195376 140521751509634 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7122944 140722067432459 140722067432562 140722067432562 140722067435471 0
[pid=32143/tid=32171] ppid=32136 vsize=10748324 memory=39504 CPUtime=0.69 cores=1,3,5,7
/proc/32143/task/32171/stat : 32171 (java) S 32136 32143 32084 0 -1 1077944384 8002 0 0 0 68 1 0 0 20 0 16 0 413965437 11006283776 50548 33554432000 4194304 4196468 140722067430048 140520780142832 140521751509634 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7122944 140722067432459 140722067432562 140722067432562 140722067435471 0
[pid=32143/tid=32172] ppid=32136 vsize=10748324 memory=2020 CPUtime=0 cores=1,3,5,7
/proc/32143/task/32172/stat : 32172 (java) S 32136 32143 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 413965437 11006283776 50548 33554432000 4194304 4196468 140722067430048 140520779090528 140521751508693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7122944 140722067432459 140722067432562 140722067432562 140722067435471 0
[pid=32143/tid=32174] ppid=32136 vsize=10748324 memory=202192 CPUtime=0.09 cores=1,3,5,7
/proc/32143/task/32174/stat : 32174 (java) S 32136 32143 32084 0 -1 1077944384 487 0 0 0 3 6 0 0 20 0 16 0 413965446 11006283776 50548 33554432000 4194304 4196468 140722067430048 140520778038064 140521751509634 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7122944 140722067432459 140722067432562 140722067432562 140722067435471 0
[pid=32143/tid=32175] ppid=32136 vsize=10748324 memory=4126316290023845779 CPUtime=509.13 cores=1,3,5,7
/proc/32143/task/32175/stat : 32175 (java) R 32136 32143 32084 0 -1 4202560 13078 0 0 0 50910 3 0 0 20 0 16 0 413965639 11006283776 50548 33554432000 4194304 4196468 140722067430048 140520761376416 140521353257168 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7122944 140722067432459 140722067432562 140722067432562 140722067435471 0
Current children cumulated CPU time: 516.68 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 202192 KiB

[startup+512.401 s]
/proc/loadavg: 1.71 1.46 0.79 4/230 32224
/proc/meminfo: memFree=26259536/32770624 swapFree=66957012/67108860
[pid=32143] ppid=32136 vsize=10748324 memory=202192 CPUtime=517.07 cores=1,3,5,7
/proc/32143/stat : 32143 (java) S 32136 32143 32084 0 -1 1077944320 69824 0 0 0 51681 26 0 0 20 0 16 0 413965389 11006283776 50548 33554432000 4194304 4196468 140722067430048 140722067412592 140521751498487 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 1 0 0 6293624 6294260 7122944 140722067432459 140722067432562 140722067432562 140722067435471 0
/proc/32143/statm: 2687081 50548 3379 1 0 2647217 0
[pid=32143/tid=32148] ppid=32136 vsize=10748324 memory=6944656575208382560 CPUtime=1.86 cores=1,3,5,7
/proc/32143/task/32148/stat : 32148 (java) S 32136 32143 32084 0 -1 1077944384 13778 0 0 0 180 6 0 0 20 0 16 0 413965403 11006283776 50548 33554432000 4194304 4196468 140722067430048 140521755741360 140521751508693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 7122944 140722067432459 140722067432562 140722067432562 140722067435471 0
[pid=32143/tid=32149] ppid=32136 vsize=10748324 memory=4137282578176515228 CPUtime=0.2 cores=1,3,5,7
/proc/32143/task/32149/stat : 32149 (java) S 32136 32143 32084 0 -1 1077944384 1691 0 0 0 19 1 0 0 20 0 16 0 413965416 11006283776 50548 33554432000 4194304 4196468 140722067430048 140521677572368 140521751508693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7122944 140722067432459 140722067432562 140722067432562 140722067435471 0
[pid=32143/tid=32150] ppid=32136 vsize=10748324 memory=6791534058613427641 CPUtime=0.2 cores=1,3,5,7
/proc/32143/task/32150/stat : 32150 (java) S 32136 32143 32084 0 -1 1077944384 2836 0 0 0 19 1 0 0 20 0 16 0 413965416 11006283776 50548 33554432000 4194304 4196468 140722067430048 140521676519824 140521751508693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7122944 140722067432459 140722067432562 140722067432562 140722067435471 0
[pid=32143/tid=32151] ppid=32136 vsize=10748324 memory=6100 CPUtime=0.2 cores=1,3,5,7
/proc/32143/task/32151/stat : 32151 (java) S 32136 32143 32084 0 -1 1077944384 2496 0 0 0 19 1 0 0 20 0 16 0 413965416 11006283776 50548 33554432000 4194304 4196468 140722067430048 140521675467280 140521751508693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7122944 140722067432459 140722067432562 140722067432562 140722067435471 0
[pid=32143/tid=32152] ppid=32136 vsize=10748324 memory=11624 CPUtime=0.19 cores=1,3,5,7
/proc/32143/task/32152/stat : 32152 (java) S 32136 32143 32084 0 -1 1077944384 1696 0 0 0 18 1 0 0 20 0 16 0 413965416 11006283776 50548 33554432000 4194304 4196468 140722067430048 140521674414736 140521751508693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7122944 140722067432459 140722067432562 140722067432562 140722067435471 0
[pid=32143/tid=32158] ppid=32136 vsize=10748324 memory=732 CPUtime=0.07 cores=1,3,5,7
/proc/32143/task/32158/stat : 32158 (java) S 32136 32143 32084 0 -1 1077944384 2484 0 0 0 5 2 0 0 20 0 16 0 413965418 11006283776 50548 33554432000 4194304 4196468 140722067430048 140520786459120 140521751509634 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7122944 140722067432459 140722067432562 140722067432562 140722067435471 0
[pid=32143/tid=32160] ppid=32136 vsize=10748324 memory=776 CPUtime=0 cores=1,3,5,7
/proc/32143/task/32160/stat : 32160 (java) S 32136 32143 32084 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 16 0 413965418 11006283776 50548 33554432000 4194304 4196468 140722067430048 140520785405408 140521751508693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7122944 140722067432459 140722067432562 140722067432562 140722067435471 0
[pid=32143/tid=32162] ppid=32136 vsize=10748324 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/32143/task/32162/stat : 32162 (java) S 32136 32143 32084 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 16 0 413965419 11006283776 50548 33554432000 4194304 4196468 140722067430048 140520784352768 140521751508693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7122944 140722067432459 140722067432562 140722067432562 140722067435471 0
[pid=32143/tid=32168] ppid=32136 vsize=10748324 memory=202192 CPUtime=0 cores=1,3,5,7
/proc/32143/task/32168/stat : 32168 (java) S 32136 32143 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 413965437 11006283776 50548 33554432000 4194304 4196468 140722067430048 140520783301328 140521751517083 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7122944 140722067432459 140722067432562 140722067432562 140722067435471 0
[pid=32143/tid=32169] ppid=32136 vsize=10748324 memory=202824 CPUtime=1.51 cores=1,3,5,7
/proc/32143/task/32169/stat : 32169 (java) S 32136 32143 32084 0 -1 1077944384 10394 0 0 0 150 1 0 0 20 0 16 0 413965437 11006283776 50548 33554432000 4194304 4196468 140722067430048 140520782247920 140521751509634 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7122944 140722067432459 140722067432562 140722067432562 140722067435471 0
[pid=32143/tid=32170] ppid=32136 vsize=10748324 memory=1056 CPUtime=2.43 cores=1,3,5,7
/proc/32143/task/32170/stat : 32170 (java) S 32136 32143 32084 0 -1 1077944384 11453 0 0 0 242 1 0 0 20 0 16 0 413965437 11006283776 50548 33554432000 4194304 4196468 140722067430048 140520781195376 140521751509634 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7122944 140722067432459 140722067432562 140722067432562 140722067435471 0
[pid=32143/tid=32171] ppid=32136 vsize=10748324 memory=1712 CPUtime=0.69 cores=1,3,5,7
/proc/32143/task/32171/stat : 32171 (java) S 32136 32143 32084 0 -1 1077944384 8002 0 0 0 68 1 0 0 20 0 16 0 413965437 11006283776 50548 33554432000 4194304 4196468 140722067430048 140520780142832 140521751509634 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7122944 140722067432459 140722067432562 140722067432562 140722067435471 0
[pid=32143/tid=32172] ppid=32136 vsize=10748324 memory=6100 CPUtime=0 cores=1,3,5,7
/proc/32143/task/32172/stat : 32172 (java) S 32136 32143 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 413965437 11006283776 50548 33554432000 4194304 4196468 140722067430048 140520779090528 140521751508693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7122944 140722067432459 140722067432562 140722067432562 140722067435471 0
[pid=32143/tid=32174] ppid=32136 vsize=10748324 memory=202192 CPUtime=0.09 cores=1,3,5,7
/proc/32143/task/32174/stat : 32174 (java) S 32136 32143 32084 0 -1 1077944384 487 0 0 0 3 6 0 0 20 0 16 0 413965446 11006283776 50548 33554432000 4194304 4196468 140722067430048 140520778038064 140521751509634 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7122944 140722067432459 140722067432562 140722067432562 140722067435471 0
[pid=32143/tid=32175] ppid=32136 vsize=10748324 memory=202704 CPUtime=509.52 cores=1,3,5,7
/proc/32143/task/32175/stat : 32175 (java) R 32136 32143 32084 0 -1 4202560 13078 0 0 0 50949 3 0 0 20 0 16 0 413965639 11006283776 50548 33554432000 4194304 4196468 140722067430048 140520761376416 140521352797184 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7122944 140722067432459 140722067432562 140722067432562 140722067435471 0
Current children cumulated CPU time: 517.07 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 202192 KiB

[startup+512.501 s]
/proc/loadavg: 1.71 1.46 0.79 4/230 32224
/proc/meminfo: memFree=26259536/32770624 swapFree=66957012/67108860
[pid=32143] ppid=32136 vsize=10748324 memory=202192 CPUtime=517.17 cores=1,3,5,7
/proc/32143/stat : 32143 (java) S 32136 32143 32084 0 -1 1077944320 69824 0 0 0 51691 26 0 0 20 0 16 0 413965389 11006283776 50548 33554432000 4194304 4196468 140722067430048 140722067412592 140521751498487 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 1 0 0 6293624 6294260 7122944 140722067432459 140722067432562 140722067432562 140722067435471 0
/proc/32143/statm: 2687081 50548 3379 1 0 2647217 0
[pid=32143/tid=32148] ppid=32136 vsize=10748324 memory=202192 CPUtime=1.86 cores=1,3,5,7
/proc/32143/task/32148/stat : 32148 (java) S 32136 32143 32084 0 -1 1077944384 13778 0 0 0 180 6 0 0 20 0 16 0 413965403 11006283776 50548 33554432000 4194304 4196468 140722067430048 140521755741360 140521751508693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 7122944 140722067432459 140722067432562 140722067432562 140722067435471 0
[pid=32143/tid=32149] ppid=32136 vsize=10748324 memory=223344 CPUtime=0.2 cores=1,3,5,7
/proc/32143/task/32149/stat : 32149 (java) S 32136 32143 32084 0 -1 1077944384 1691 0 0 0 19 1 0 0 20 0 16 0 413965416 11006283776 50548 33554432000 4194304 4196468 140722067430048 140521677572368 140521751508693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7122944 140722067432459 140722067432562 140722067432562 140722067435471 0
[pid=32143/tid=32150] ppid=32136 vsize=10748324 memory=202192 CPUtime=0.2 cores=1,3,5,7
/proc/32143/task/32150/stat : 32150 (java) S 32136 32143 32084 0 -1 1077944384 2836 0 0 0 19 1 0 0 20 0 16 0 413965416 11006283776 50548 33554432000 4194304 4196468 140722067430048 140521676519824 140521751508693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7122944 140722067432459 140722067432562 140722067432562 140722067435471 0
[pid=32143/tid=32151] ppid=32136 vsize=10748324 memory=1368 CPUtime=0.2 cores=1,3,5,7
/proc/32143/task/32151/stat : 32151 (java) S 32136 32143 32084 0 -1 1077944384 2496 0 0 0 19 1 0 0 20 0 16 0 413965416 11006283776 50548 33554432000 4194304 4196468 140722067430048 140521675467280 140521751508693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7122944 140722067432459 140722067432562 140722067432562 140722067435471 0
[pid=32143/tid=32152] ppid=32136 vsize=10748324 memory=1056 CPUtime=0.19 cores=1,3,5,7
/proc/32143/task/32152/stat : 32152 (java) S 32136 32143 32084 0 -1 1077944384 1696 0 0 0 18 1 0 0 20 0 16 0 413965416 11006283776 50548 33554432000 4194304 4196468 140722067430048 140521674414736 140521751508693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7122944 140722067432459 140722067432562 140722067432562 140722067435471 0
[pid=32143/tid=32158] ppid=32136 vsize=10748324 memory=69 CPUtime=0.07 cores=1,3,5,7
/proc/32143/task/32158/stat : 32158 (java) S 32136 32143 32084 0 -1 1077944384 2484 0 0 0 5 2 0 0 20 0 16 0 413965418 11006283776 50548 33554432000 4194304 4196468 140722067430048 140520786459120 140521751509634 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7122944 140722067432459 140722067432562 140722067432562 140722067435471 0
[pid=32143/tid=32160] ppid=32136 vsize=10748324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32143/task/32160/stat : 32160 (java) S 32136 32143 32084 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 16 0 413965418 11006283776 50548 33554432000 4194304 4196468 140722067430048 140520785405408 140521751508693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7122944 140722067432459 140722067432562 140722067432562 140722067435471 0
[pid=32143/tid=32162] ppid=32136 vsize=10748324 memory=202192 CPUtime=0 cores=1,3,5,7
/proc/32143/task/32162/stat : 32162 (java) S 32136 32143 32084 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 16 0 413965419 11006283776 50548 33554432000 4194304 4196468 140722067430048 140520784352768 140521751508693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7122944 140722067432459 140722067432562 140722067432562 140722067435471 0
[pid=32143/tid=32168] ppid=32136 vsize=10748324 memory=202192 CPUtime=0 cores=1,3,5,7
/proc/32143/task/32168/stat : 32168 (java) S 32136 32143 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 413965437 11006283776 50548 33554432000 4194304 4196468 140722067430048 140520783301328 140521751517083 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7122944 140722067432459 140722067432562 140722067432562 140722067435471 0
[pid=32143/tid=32169] ppid=32136 vsize=10748324 memory=202192 CPUtime=1.51 cores=1,3,5,7
/proc/32143/task/32169/stat : 32169 (java) S 32136 32143 32084 0 -1 1077944384 10394 0 0 0 150 1 0 0 20 0 16 0 413965437 11006283776 50548 33554432000 4194304 4196468 140722067430048 140520782247920 140521751509634 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7122944 140722067432459 140722067432562 140722067432562 140722067435471 0
[pid=32143/tid=32170] ppid=32136 vsize=10748324 memory=202192 CPUtime=2.43 cores=1,3,5,7
/proc/32143/task/32170/stat : 32170 (java) S 32136 32143 32084 0 -1 1077944384 11453 0 0 0 242 1 0 0 20 0 16 0 413965437 11006283776 50548 33554432000 4194304 4196468 140722067430048 140520781195376 140521751509634 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7122944 140722067432459 140722067432562 140722067432562 140722067435471 0
[pid=32143/tid=32171] ppid=32136 vsize=10748324 memory=0 CPUtime=0.69 cores=1,3,5,7
/proc/32143/task/32171/stat : 32171 (java) S 32136 32143 32084 0 -1 1077944384 8002 0 0 0 68 1 0 0 20 0 16 0 413965437 11006283776 50548 33554432000 4194304 4196468 140722067430048 140520780142832 140521751509634 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7122944 140722067432459 140722067432562 140722067432562 140722067435471 0
[pid=32143/tid=32172] ppid=32136 vsize=10748324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32143/task/32172/stat : 32172 (java) S 32136 32143 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 413965437 11006283776 50548 33554432000 4194304 4196468 140722067430048 140520779090528 140521751508693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7122944 140722067432459 140722067432562 140722067432562 140722067435471 0
[pid=32143/tid=32174] ppid=32136 vsize=10748324 memory=164 CPUtime=0.09 cores=1,3,5,7
/proc/32143/task/32174/stat : 32174 (java) S 32136 32143 32084 0 -1 1077944384 487 0 0 0 3 6 0 0 20 0 16 0 413965446 11006283776 50548 33554432000 4194304 4196468 140722067430048 140520778038064 140521751509634 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7122944 140722067432459 140722067432562 140722067432562 140722067435471 0
[pid=32143/tid=32175] ppid=32136 vsize=10748324 memory=7451035598953604693 CPUtime=509.62 cores=1,3,5,7
/proc/32143/task/32175/stat : 32175 (java) R 32136 32143 32084 0 -1 4202560 13078 0 0 0 50959 3 0 0 20 0 16 0 413965639 11006283776 50548 33554432000 4194304 4196468 140722067430048 140520761376416 140521352727315 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7122944 140722067432459 140722067432562 140722067432562 140722067435471 0
Current children cumulated CPU time: 517.17 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 202192 KiB

Child status: 0
Real time (s): 512.542
CPU time (s): 517.227
CPU user time (s): 516.951
CPU system time (s): 0.276111
CPU usage (%): 100.914
Max. virtual memory (cumulated for all children) (KiB): 10749348
Max. memory (cumulated for all children) (KiB): 259056

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 516.951
system time used= 0.276111
maximum resident set size= 259060
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 70594
page faults= 0
swaps= 0
block input operations= 0
block output operations= 688
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 15596
involuntary context switches= 308


# summary of solver processes directly reported to runsolver:
#   pid: 32143
#   total CPU time (s): 517.227
#   total CPU user time (s): 516.951
#   total CPU system time (s): 0.276111

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.81441 second user time and 4.56877 second system time

The end

Begin job on node147 at 2019-09-13 15:14:32
IDJOB=4390788
IDBENCH=115810
IDSOLVER=2832
FILE ID=node147/4390788-1568380515
RUNJOBID= node147-1568380472-32116
PBS_JOBID= 21701824
Free space on /tmp= 56544 MiB

SOLVER NAME= AbsCon 2019-07-23
BENCH NAME= XCSP17/Scheduling/Scheduling-os-taillard/Taillard-os-05-05-1.xml
COMMAND LINE= java -cp AbsCon19-06.jar AbsCon BENCHNAME -cm
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4390788-1568380515/watcher-4390788-1568380515 -o /tmp/evaluation-result-4390788-1568380515/solver-4390788-1568380515 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node147-1568380472-32116 --watchdog 2580  java -cp AbsCon19-06.jar AbsCon HOME/instance-4390788-1568380515.xml -cm

TIME LIMIT= 2520 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 3747a76ad44ca32161ac6cfee5e9d7cb
RANDOM SEED=139609832

node147.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.52
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.52
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.52
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.52
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        26634672 kB
MemAvailable:   31815524 kB
Buffers:          159544 kB
Cached:          5235356 kB
SwapCached:        48500 kB
Active:          2157408 kB
Inactive:        3288924 kB
Active(anon):       3432 kB
Inactive(anon):    89612 kB
Active(file):    2153976 kB
Inactive(file):  3199312 kB
Unevictable:      108012 kB
Mlocked:          108012 kB
SwapTotal:      67108860 kB
SwapFree:       66957012 kB
Dirty:             17076 kB
Writeback:             0 kB
AnonPages:        112576 kB
Mapped:            43392 kB
Shmem:             32768 kB
Slab:             284204 kB
SReclaimable:     256024 kB
SUnreclaim:        28180 kB
KernelStack:        3296 kB
PageTables:         5196 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     501400 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 56528 MiB
End job on node147 at 2019-09-13 15:23:05