2.40/1.89	
2.40/1.89	AbsCon 2 
2.64/1.90	
2.90/2.05	  Instance
2.90/2.05	    name=instance-4391088-1568388080, framework=COP, bounds=-infty..+infty
2.90/2.05	
2.90/2.05	  Loading variables...
2.90/2.09	  Loading constraints...
3.39/2.21	
3.39/2.21	  Domains
3.39/2.21	    nTypes=7, nValues=20155, sizes=[4#5,5#45,362#55]
3.39/2.21	  Variables
3.39/2.21	    count=105, degrees=[2#30,3#50,9#25]
3.39/2.21	  Objectives
3.39/2.21	    way=min, type=ObjMaximumLE
3.39/2.21	  Constraints
3.39/2.21	    count=136, nSpecific=81, arities=[1#5,2#75,3#25,5#6,7#25]
3.39/2.21	    distribution=[AllDifferent#5,CtrExtensionSmart-TableSmart#50,CtrExtensionV-Bits#25,CtrIntension#30,ElementVariable#25,ObjMaximumLE#1]
3.39/2.21	    tables=[2#50], nTotalTuples=100
3.39/2.21	    nExtStructures=(55,shared:20), nIntStructures=(14,shared:16), nCftStructures=(5,shared:20,unbuilt:111)
3.39/2.21	    wck=0.35, cpu=2.173, mem=26M521
3.39/2.21	  Solver SolverBacktrack being built...
3.39/2.21	
3.39/2.24	
3.39/2.24	  Solver
3.39/2.24	    guaranteedGAC=true
3.39/2.24	    wck=0.381, cpu=2.202, mem=37M163
4.24/2.70	
4.24/2.70	  Preprocessing
4.24/2.70	    filters=55, revisions=(140,useless=60), ccks=4442423, nACremovedValues=3141, nTotalRemovedValues=3141, inconcistency=false
4.24/2.70	    wck=0.467, cpu=2.67, mem=37M163
4.24/2.70	
4.47/2.83	    num=0, depth=20..22, filters=407, revisions=(668,useless=350), ccks=5636487, wck=0.595, mem=39M805
4.47/2.83	    decisions=44, wrong=12, backtracks=2, failedAssignments=10, nogoods=4
4.47/2.83	    nFilterCalls=297, avgTableProportion=0.32323232323232326, avgTableSize=0.6464646464646465
4.47/2.83	    
4.47/2.86	    num=1, depth=0..0, filters=525, revisions=(887,useless=457), ccks=5964476, wck=0.626, mem=39M805
4.47/2.86	    decisions=66, wrong=23, backtracks=2, failedAssignments=21, nogoods=4
4.47/2.86	    nFilterCalls=297, avgTableProportion=0.32323232323232326, avgTableSize=0.6464646464646465
4.47/2.86	    
4.67/2.92	    num=2, depth=0..0, filters=681, revisions=(1163,useless=589), ccks=6583516, wck=0.681, mem=42M448
4.67/2.92	    decisions=90, wrong=35, backtracks=2, failedAssignments=33, nogoods=4
4.67/2.92	    nFilterCalls=297, avgTableProportion=0.32323232323232326, avgTableSize=0.6464646464646465
4.67/2.92	    
4.82/3.03	o 343
4.82/3.04	    num=3, depth=0..104, filters=999, revisions=(1603,useless=846), ccks=7714681, wck=0.801, mem=42M448
4.82/3.04	    decisions=124, wrong=39, backtracks=2, failedAssignments=37, nogoods=4, foundSolutions=1, bestBound=343
4.82/3.04	    nFilterCalls=533, avgTableProportion=0.3433395872420263, avgTableSize=0.6866791744840526
4.82/3.04	    
4.99/3.16	    num=4, depth=14..14, filters=1306, revisions=(2100,useless=1194), ccks=8828837, wck=0.926, mem=45M90
4.99/3.16	    decisions=166, wrong=53, backtracks=2, failedAssignments=51, nogoods=18, foundSolutions=1, bestBound=343
4.99/3.16	    nFilterCalls=793, avgTableProportion=0.3770491803278688, avgTableSize=0.7540983606557377
4.99/3.16	    
5.20/3.21	    num=5, depth=0..0, filters=1406, revisions=(2290,useless=1283), ccks=9309998, wck=0.975, mem=45M90
5.20/3.21	    decisions=188, wrong=64, backtracks=2, failedAssignments=62, nogoods=18, foundSolutions=1, bestBound=343
5.20/3.21	    nFilterCalls=793, avgTableProportion=0.3770491803278688, avgTableSize=0.7540983606557377
5.20/3.21	    
5.20/3.29	    num=6, depth=0..0, filters=1524, revisions=(2517,useless=1385), ccks=10102483, wck=1.052, mem=45M90
5.20/3.29	    decisions=212, wrong=76, backtracks=2, failedAssignments=74, nogoods=18, foundSolutions=1, bestBound=343
5.20/3.29	    nFilterCalls=793, avgTableProportion=0.3770491803278688, avgTableSize=0.7540983606557377
5.20/3.29	    
5.61/3.40	    num=7, depth=0..0, filters=1641, revisions=(2751,useless=1489), ccks=11273541, wck=1.167, mem=45M90
5.61/3.40	    decisions=238, wrong=89, backtracks=2, failedAssignments=87, nogoods=18, foundSolutions=1, bestBound=343
5.61/3.40	    nFilterCalls=793, avgTableProportion=0.3770491803278688, avgTableSize=0.7540983606557377
5.61/3.40	    
5.81/3.57	    num=8, depth=0..2, filters=1861, revisions=(3074,useless=1617), ccks=12979354, wck=1.335, mem=47M733
5.81/3.57	    decisions=271, wrong=105, backtracks=4, failedAssignments=101, nogoods=20, foundSolutions=1, bestBound=343
5.81/3.57	    nFilterCalls=844, avgTableProportion=0.384478672985782, avgTableSize=0.768957345971564
5.81/3.57	    
6.28/3.72	    num=9, depth=17..17, filters=2166, revisions=(3400,useless=1799), ccks=13807012, wck=1.423, mem=47M733
6.28/3.72	    decisions=320, wrong=121, backtracks=4, failedAssignments=117, nogoods=36, foundSolutions=1, bestBound=343
6.28/3.72	    nFilterCalls=1138, avgTableProportion=0.39235500878734625, avgTableSize=0.7847100175746925
6.28/3.72	    
6.51/3.81	o 329
6.51/3.81	    num=10, depth=0..104, filters=2668, revisions=(4074,useless=2156), ccks=15240995, wck=1.565, mem=50M375
6.51/3.81	    decisions=377, wrong=135, backtracks=4, failedAssignments=131, nogoods=37, foundSolutions=2, bestBound=329
6.51/3.81	    nFilterCalls=1507, avgTableProportion=0.3858659588586596, avgTableSize=0.7717319177173192
6.51/3.81	    
6.76/3.95	    num=11, depth=12..27, filters=3245, revisions=(4916,useless=2679), ccks=16844230, wck=1.714, mem=50M375
6.76/3.95	    decisions=441, wrong=154, backtracks=4, failedAssignments=150, nogoods=56, foundSolutions=2, bestBound=329
6.76/3.95	    nFilterCalls=1973, avgTableProportion=0.37937151545869235, avgTableSize=0.7587430309173847
6.76/3.95	    
6.76/3.97	    num=12, depth=0..0, filters=3363, revisions=(5135,useless=2786), ccks=17010231, wck=1.731, mem=53M18
6.76/3.97	    decisions=463, wrong=165, backtracks=4, failedAssignments=161, nogoods=56, foundSolutions=2, bestBound=329
6.76/3.97	    nFilterCalls=1973, avgTableProportion=0.37937151545869235, avgTableSize=0.7587430309173847
6.76/3.97	    
7.06/4.07	o 328
7.06/4.07	    num=13, depth=0..104, filters=3826, revisions=(5683,useless=3110), ccks=18065211, wck=1.832, mem=53M18
7.06/4.07	    decisions=502, wrong=170, backtracks=6, failedAssignments=164, nogoods=57, foundSolutions=3, bestBound=328
7.06/4.07	    nFilterCalls=2427, avgTableProportion=0.3660898228265348, avgTableSize=0.7321796456530696
7.06/4.07	    
7.37/4.18	    num=14, depth=13..14, filters=4601, revisions=(6410,useless=3535), ccks=19206713, wck=1.94, mem=53M18
7.37/4.18	    decisions=543, wrong=184, backtracks=7, failedAssignments=177, nogoods=70, foundSolutions=3, bestBound=328
7.37/4.18	    nFilterCalls=3072, avgTableProportion=0.3693033854166667, avgTableSize=0.7386067708333334
7.37/4.18	    
7.62/4.30	o 299
7.62/4.30	    num=15, depth=12..104, filters=5173, revisions=(7024,useless=3908), ccks=20493941, wck=2.058, mem=55M660
7.62/4.30	    decisions=583, wrong=187, backtracks=7, failedAssignments=180, nogoods=73, foundSolutions=4, bestBound=299
7.62/4.30	    nFilterCalls=3679, avgTableProportion=0.35702636586028813, avgTableSize=0.7140527317205763
7.62/4.30	    
8.08/4.47	    num=16, depth=8..24, filters=6401, revisions=(8210,useless=4636), ccks=22367180, wck=2.229, mem=55M660
8.08/4.47	    decisions=644, wrong=206, backtracks=15, failedAssignments=192, nogoods=77, foundSolutions=4, bestBound=299
8.08/4.47	    nFilterCalls=4830, avgTableProportion=0.3556935817805383, avgTableSize=0.7113871635610766
8.08/4.47	    
8.27/4.55	o 290
8.27/4.55	    num=17, depth=13..104, filters=6908, revisions=(8779,useless=4970), ccks=23315867, wck=2.314, mem=58M302
8.27/4.55	    decisions=679, wrong=208, backtracks=15, failedAssignments=194, nogoods=79, foundSolutions=5, bestBound=290
8.27/4.55	    nFilterCalls=5359, avgTableProportion=0.34791938794551225, avgTableSize=0.6958387758910245
8.27/4.55	    
8.38/4.66	    num=18, depth=10..20, filters=7514, revisions=(9619,useless=5519), ccks=24573816, wck=2.426, mem=58M302
8.38/4.66	    decisions=722, wrong=220, backtracks=15, failedAssignments=206, nogoods=91, foundSolutions=5, bestBound=290
8.38/4.66	    nFilterCalls=5892, avgTableProportion=0.3475050916496945, avgTableSize=0.695010183299389
8.38/4.66	    
8.48/4.71	    num=19, depth=4..4, filters=7805, revisions=(9851,useless=5608), ccks=25139269, wck=2.477, mem=58M302
8.48/4.71	    decisions=748, wrong=231, backtracks=15, failedAssignments=217, nogoods=102, foundSolutions=5, bestBound=290
8.48/4.71	    nFilterCalls=6105, avgTableProportion=0.3524160524160524, avgTableSize=0.7048321048321048
8.48/4.71	    
8.58/4.80	    num=20, depth=6..22, filters=8507, revisions=(10699,useless=6053), ccks=26143028, wck=2.567, mem=60M945
8.58/4.80	    decisions=797, wrong=246, backtracks=18, failedAssignments=229, nogoods=105, foundSolutions=5, bestBound=290
8.58/4.80	    nFilterCalls=6579, avgTableProportion=0.35035719714242286, avgTableSize=0.7007143942848457
8.58/4.80	    
8.69/4.91	    num=21, depth=10..22, filters=9360, revisions=(11552,useless=6507), ccks=27329531, wck=2.672, mem=60M945
8.69/4.91	    decisions=851, wrong=264, backtracks=25, failedAssignments=242, nogoods=108, foundSolutions=5, bestBound=290
8.69/4.91	    nFilterCalls=7328, avgTableProportion=0.3429312227074236, avgTableSize=0.6858624454148472
8.69/4.91	    
8.80/5.05	    num=22, depth=11..19, filters=10370, revisions=(12617,useless=7078), ccks=28877834, wck=2.81, mem=60M945
8.80/5.05	    decisions=917, wrong=290, backtracks=37, failedAssignments=256, nogoods=110, foundSolutions=5, bestBound=290
8.80/5.05	    nFilterCalls=8015, avgTableProportion=0.3451029320024953, avgTableSize=0.6902058640049906
8.80/5.05	    
8.90/5.18	    num=23, depth=7..22, filters=11228, revisions=(13661,useless=7642), ccks=30414272, wck=2.946, mem=63M587
8.90/5.18	    decisions=982, wrong=313, backtracks=44, failedAssignments=272, nogoods=121, foundSolutions=5, bestBound=290
8.90/5.18	    nFilterCalls=8502, avgTableProportion=0.34650670430486946, avgTableSize=0.6930134086097389
8.90/5.18	    
9.03/5.27	o 284
9.03/5.27	    num=24, depth=8..104, filters=11834, revisions=(14347,useless=8040), ccks=31453822, wck=3.038, mem=63M587
9.03/5.27	    decisions=1020, wrong=317, backtracks=45, failedAssignments=275, nogoods=123, foundSolutions=6, bestBound=284
9.03/5.27	    nFilterCalls=9078, avgTableProportion=0.34148490857016967, avgTableSize=0.6829698171403393
9.03/5.27	    
9.24/5.41	    num=25, depth=9..18, filters=12711, revisions=(15533,useless=8781), ccks=32999376, wck=3.177, mem=63M587
9.24/5.41	    decisions=1088, wrong=343, backtracks=52, failedAssignments=294, nogoods=135, foundSolutions=6, bestBound=284
9.24/5.41	    nFilterCalls=9718, avgTableProportion=0.3415311792549907, avgTableSize=0.6830623585099814
9.24/5.41	    
9.35/5.56	    num=26, depth=6..11, filters=13253, revisions=(16171,useless=9094), ccks=34626682, wck=3.319, mem=66M230
9.35/5.56	    decisions=1128, wrong=359, backtracks=58, failedAssignments=305, nogoods=142, foundSolutions=6, bestBound=284
9.35/5.56	    nFilterCalls=10023, avgTableProportion=0.3425122218896538, avgTableSize=0.6850244437793076
9.35/5.56	    
9.45/5.66	    num=27, depth=6..17, filters=14156, revisions=(17091,useless=9548), ccks=35844900, wck=3.428, mem=66M230
9.45/5.66	    decisions=1178, wrong=377, backtracks=65, failedAssignments=317, nogoods=149, foundSolutions=6, bestBound=284
9.45/5.66	    nFilterCalls=10686, avgTableProportion=0.34124087591240876, avgTableSize=0.6824817518248175
9.45/5.66	    
9.65/5.81	o 282
9.65/5.81	    num=28, depth=13..104, filters=15044, revisions=(18136,useless=10124), ccks=37529576, wck=3.577, mem=68M872
9.65/5.81	    decisions=1244, wrong=396, backtracks=74, failedAssignments=327, nogoods=155, foundSolutions=7, bestBound=282
9.65/5.81	    nFilterCalls=11314, avgTableProportion=0.3381651051794237, avgTableSize=0.6763302103588474
9.65/5.81	    
9.76/5.93	    num=29, depth=9..15, filters=16162, revisions=(19257,useless=10756), ccks=38822118, wck=3.694, mem=68M872
9.76/5.93	    decisions=1300, wrong=419, backtracks=85, failedAssignments=341, nogoods=158, foundSolutions=7, bestBound=282
9.76/5.93	    nFilterCalls=12201, avgTableProportion=0.33964429145152036, avgTableSize=0.6792885829030407
9.76/5.93	    
9.87/6.07	    num=30, depth=6..21, filters=16945, revisions=(20100,useless=11231), ccks=40434087, wck=3.835, mem=68M872
9.87/6.07	    decisions=1348, wrong=433, backtracks=89, failedAssignments=352, nogoods=167, foundSolutions=7, bestBound=282
9.87/6.07	    nFilterCalls=12877, avgTableProportion=0.3380445755999068, avgTableSize=0.6760891511998136
9.87/6.07	    
10.06/6.23	    num=31, depth=16..20, filters=17685, revisions=(21005,useless=11717), ccks=42290140, wck=3.997, mem=71M515
10.06/6.23	    decisions=1402, wrong=451, backtracks=96, failedAssignments=364, nogoods=170, foundSolutions=7, bestBound=282
10.06/6.23	    nFilterCalls=13322, avgTableProportion=0.3373742681279087, avgTableSize=0.6747485362558174
10.06/6.23	    
10.17/6.37	    num=32, depth=8..11, filters=18705, revisions=(21982,useless=12188), ccks=43846841, wck=4.134, mem=71M515
10.17/6.37	    decisions=1452, wrong=471, backtracks=103, failedAssignments=377, nogoods=173, foundSolutions=7, bestBound=282
10.17/6.37	    nFilterCalls=13893, avgTableProportion=0.3402072986396027, avgTableSize=0.6804145972792054
10.17/6.37	    
10.37/6.58	    num=33, depth=8..12, filters=19887, revisions=(23022,useless=12680), ccks=46251285, wck=4.344, mem=74M157
10.37/6.58	    decisions=1507, wrong=494, backtracks=113, failedAssignments=391, nogoods=177, foundSolutions=7, bestBound=282
10.37/6.58	    nFilterCalls=14656, avgTableProportion=0.3429653384279476, avgTableSize=0.6859306768558951
10.37/6.58	    
10.57/6.75	    num=34, depth=8..11, filters=21443, revisions=(24443,useless=13359), ccks=48118270, wck=4.512, mem=74M157
10.57/6.75	    decisions=1569, wrong=521, backtracks=127, failedAssignments=407, nogoods=180, foundSolutions=7, bestBound=282
10.57/6.75	    nFilterCalls=15626, avgTableProportion=0.3463778318187636, avgTableSize=0.6927556636375272
10.57/6.75	    
10.81/6.93	    num=35, depth=13..18, filters=22370, revisions=(25579,useless=13983), ccks=50233914, wck=4.697, mem=76M799
10.81/6.93	    decisions=1641, wrong=549, backtracks=138, failedAssignments=424, nogoods=184, foundSolutions=7, bestBound=282
10.81/6.93	    nFilterCalls=16153, avgTableProportion=0.3454157122515941, avgTableSize=0.6908314245031882
10.81/6.93	    
10.92/7.07	o 280
10.92/7.07	    num=36, depth=10..104, filters=23530, revisions=(26929,useless=14688), ccks=51792336, wck=4.836, mem=76M799
10.92/7.07	    decisions=1716, wrong=572, backtracks=146, failedAssignments=440, nogoods=192, foundSolutions=8, bestBound=280
10.92/7.07	    nFilterCalls=16975, avgTableProportion=0.34167893961708395, avgTableSize=0.6833578792341679
10.92/7.07	    
11.03/7.19	o 279
11.03/7.19	    num=37, depth=6..104, filters=24608, revisions=(28160,useless=15434), ccks=53071294, wck=4.952, mem=79M442
11.03/7.19	    decisions=1776, wrong=586, backtracks=152, failedAssignments=449, nogoods=197, foundSolutions=9, bestBound=279
11.03/7.19	    nFilterCalls=17876, avgTableProportion=0.34059633027522934, avgTableSize=0.6811926605504587
11.03/7.19	    
11.13/7.29	    num=38, depth=8..14, filters=25272, revisions=(28997,useless=15922), ccks=54207827, wck=5.054, mem=79M442
11.13/7.29	    decisions=1815, wrong=600, backtracks=156, failedAssignments=460, nogoods=204, foundSolutions=9, bestBound=279
11.13/7.29	    nFilterCalls=18405, avgTableProportion=0.34227112197772347, avgTableSize=0.6845422439554469
11.13/7.29	    
11.24/7.37	    num=39, depth=10..25, filters=26008, revisions=(29858,useless=16422), ccks=55068321, wck=5.131, mem=79M442
11.24/7.37	    decisions=1864, wrong=614, backtracks=159, failedAssignments=471, nogoods=210, foundSolutions=9, bestBound=279
11.24/7.37	    nFilterCalls=18990, avgTableProportion=0.3417588204318062, avgTableSize=0.6835176408636124
11.24/7.37	    
11.36/7.48	    num=40, depth=11..20, filters=26989, revisions=(30980,useless=17079), ccks=56349749, wck=5.244, mem=82M84
11.36/7.48	    decisions=1913, wrong=630, backtracks=163, failedAssignments=483, nogoods=219, foundSolutions=9, bestBound=279
11.36/7.48	    nFilterCalls=19678, avgTableProportion=0.3400752108954162, avgTableSize=0.6801504217908324
11.36/7.48	    
11.47/7.57	o 278
11.47/7.57	    num=41, depth=106..104, filters=27410, revisions=(31438,useless=17328), ccks=57321940, wck=5.331, mem=82M84
11.47/7.57	    decisions=1940, wrong=630, backtracks=163, failedAssignments=483, nogoods=219, foundSolutions=10, bestBound=278
11.47/7.57	    nFilterCalls=20088, avgTableProportion=0.34025288729589803, avgTableSize=0.6805057745917961
11.47/7.57	    
11.74/7.73	    num=42, depth=6..18, filters=28375, revisions=(32715,useless=18026), ccks=59154092, wck=5.492, mem=82M84
11.74/7.73	    decisions=1999, wrong=653, backtracks=172, failedAssignments=497, nogoods=225, foundSolutions=10, bestBound=278
11.74/7.73	    nFilterCalls=20648, avgTableProportion=0.3401540100736149, avgTableSize=0.6803080201472298
11.74/7.73	    
11.84/7.87	    num=43, depth=10..16, filters=29467, revisions=(33871,useless=18633), ccks=60819495, wck=5.638, mem=84M727
11.84/7.87	    decisions=2044, wrong=670, backtracks=181, failedAssignments=508, nogoods=227, foundSolutions=10, bestBound=278
11.84/7.87	    nFilterCalls=21377, avgTableProportion=0.3394536183748889, avgTableSize=0.6789072367497778
11.84/7.87	    
11.94/7.95	o 272
11.94/7.95	    num=44, depth=6..104, filters=29997, revisions=(34488,useless=18984), ccks=61653328, wck=5.712, mem=84M727
11.94/7.95	    decisions=2085, wrong=675, backtracks=182, failedAssignments=512, nogoods=231, foundSolutions=11, bestBound=272
11.94/7.95	    nFilterCalls=21865, avgTableProportion=0.33805168076835124, avgTableSize=0.6761033615367025
11.94/7.95	    
12.05/8.07	    num=45, depth=6..11, filters=31055, revisions=(35605,useless=19590), ccks=62997202, wck=5.833, mem=84M727
12.05/8.07	    decisions=2138, wrong=697, backtracks=193, failedAssignments=525, nogoods=236, foundSolutions=11, bestBound=272
12.05/8.07	    nFilterCalls=22683, avgTableProportion=0.33851342415024466, avgTableSize=0.6770268483004893
12.05/8.07	    
12.24/8.20	    num=46, depth=6..11, filters=32027, revisions=(36591,useless=20088), ccks=64531086, wck=5.968, mem=87M369
12.24/8.20	    decisions=2184, wrong=717, backtracks=203, failedAssignments=536, nogoods=237, foundSolutions=11, bestBound=272
12.24/8.20	    nFilterCalls=23299, avgTableProportion=0.33870552384222496, avgTableSize=0.6774110476844499
12.24/8.20	    
12.24/8.29	    num=47, depth=7..14, filters=32689, revisions=(37241,useless=20380), ccks=65543052, wck=6.058, mem=87M369
12.24/8.29	    decisions=2224, wrong=732, backtracks=208, failedAssignments=548, nogoods=243, foundSolutions=11, bestBound=272
12.24/8.29	    nFilterCalls=23699, avgTableProportion=0.33955019199122327, avgTableSize=0.6791003839824465
12.24/8.29	    
12.34/8.35	    num=48, depth=7..13, filters=33467, revisions=(37955,useless=20756), ccks=66185168, wck=6.116, mem=87M369
12.34/8.35	    decisions=2263, wrong=748, backtracks=214, failedAssignments=561, nogoods=244, foundSolutions=11, bestBound=272
12.34/8.35	    nFilterCalls=24407, avgTableProportion=0.33801778178391445, avgTableSize=0.6760355635678289
12.34/8.35	    
12.44/8.47	    num=49, depth=6..10, filters=34500, revisions=(38952,useless=21230), ccks=67532560, wck=6.236, mem=90M12
12.44/8.47	    decisions=2311, wrong=769, backtracks=223, failedAssignments=575, nogoods=248, foundSolutions=11, bestBound=272
12.44/8.47	    nFilterCalls=25072, avgTableProportion=0.3396019463943842, avgTableSize=0.6792038927887684
12.44/8.47	    
12.64/8.64	    num=50, depth=5..15, filters=35449, revisions=(40085,useless=21779), ccks=69403129, wck=6.4, mem=90M12
12.64/8.64	    decisions=2374, wrong=796, backtracks=236, failedAssignments=591, nogoods=251, foundSolutions=11, bestBound=272
12.64/8.64	    nFilterCalls=25517, avgTableProportion=0.34128228239996866, avgTableSize=0.6825645647999373
12.64/8.64	    
12.74/8.77	    num=51, depth=8..20, filters=36395, revisions=(41203,useless=22340), ccks=70920816, wck=6.533, mem=92M654
12.74/8.77	    decisions=2436, wrong=819, backtracks=242, failedAssignments=608, nogoods=260, foundSolutions=11, bestBound=272
12.74/8.77	    nFilterCalls=25978, avgTableProportion=0.34155824158903686, avgTableSize=0.6831164831780737
12.74/8.77	    
12.94/8.95	o 270
12.94/8.95	    num=52, depth=6..104, filters=38161, revisions=(43025,useless=23349), ccks=72930253, wck=6.713, mem=92M654
12.94/8.95	    decisions=2517, wrong=846, backtracks=252, failedAssignments=626, nogoods=267, foundSolutions=12, bestBound=270
12.94/8.95	    nFilterCalls=27204, avgTableProportion=0.3398581091016027, avgTableSize=0.6797162182032054
12.94/8.95	    
13.16/9.12	    num=53, depth=6..11, filters=39526, revisions=(44672,useless=24224), ccks=74864096, wck=6.886, mem=95M296
13.16/9.12	    decisions=2594, wrong=881, backtracks=270, failedAssignments=647, nogoods=269, foundSolutions=12, bestBound=270
13.16/9.12	    nFilterCalls=27990, avgTableProportion=0.34180064308681674, avgTableSize=0.6836012861736335
13.16/9.12	    
13.25/9.20	    num=54, depth=5..9, filters=40020, revisions=(45216,useless=24488), ccks=75751514, wck=6.966, mem=95M296
13.25/9.20	    decisions=2630, wrong=895, backtracks=274, failedAssignments=658, nogoods=275, foundSolutions=12, bestBound=270
13.25/9.20	    nFilterCalls=28293, avgTableProportion=0.34308839642314354, avgTableSize=0.6861767928462871
13.25/9.20	    
13.35/9.33	    num=55, depth=9..12, filters=41153, revisions=(46459,useless=25141), ccks=77235112, wck=7.098, mem=95M296
13.35/9.33	    decisions=2680, wrong=915, backtracks=282, failedAssignments=670, nogoods=281, foundSolutions=12, bestBound=270
13.35/9.33	    nFilterCalls=28930, avgTableProportion=0.34372623574144484, avgTableSize=0.6874524714828897
13.35/9.33	    
13.44/9.48	    num=56, depth=5..11, filters=41944, revisions=(47338,useless=25601), ccks=78898135, wck=7.242, mem=97M939
13.44/9.48	    decisions=2728, wrong=934, backtracks=288, failedAssignments=683, nogoods=289, foundSolutions=12, bestBound=270
13.44/9.48	    nFilterCalls=29416, avgTableProportion=0.34426842534675006, avgTableSize=0.6885368506935001
13.44/9.48	    
13.64/9.64	    num=57, depth=6..14, filters=43269, revisions=(48699,useless=26292), ccks=80750174, wck=7.406, mem=97M939
13.64/9.64	    decisions=2791, wrong=960, backtracks=303, failedAssignments=697, nogoods=295, foundSolutions=12, bestBound=270
13.64/9.64	    nFilterCalls=30236, avgTableProportion=0.345597962693478, avgTableSize=0.691195925386956
13.64/9.64	    
13.75/9.79	    num=58, depth=6..14, filters=44471, revisions=(50041,useless=27038), ccks=82388491, wck=7.552, mem=100M581
13.75/9.79	    decisions=2859, wrong=989, backtracks=316, failedAssignments=713, nogoods=300, foundSolutions=12, bestBound=270
13.75/9.79	    nFilterCalls=31009, avgTableProportion=0.3463833080718501, avgTableSize=0.6927666161437002
13.75/9.79	    
13.95/10.00	    num=59, depth=8..12, filters=46179, revisions=(51612,useless=27825), ccks=84818356, wck=7.767, mem=100M581
13.95/10.00	    decisions=2931, wrong=1020, backtracks=332, failedAssignments=730, nogoods=303, foundSolutions=12, bestBound=270
13.95/10.00	    nFilterCalls=32145, avgTableProportion=0.348001244361487, avgTableSize=0.696002488722974
13.95/10.00	    
14.15/10.14	    num=60, depth=8..13, filters=47920, revisions=(53384,useless=28784), ccks=86360382, wck=7.907, mem=103M224
14.15/10.14	    decisions=3010, wrong=1055, backtracks=351, failedAssignments=749, nogoods=307, foundSolutions=12, bestBound=270
14.15/10.14	    nFilterCalls=33353, avgTableProportion=0.34773483644649655, avgTableSize=0.6954696728929931
14.15/10.14	    
14.24/10.28	    num=61, depth=9..15, filters=50614, revisions=(55553,useless=29918), ccks=87827167, wck=8.044, mem=105M866
14.24/10.28	    decisions=3099, wrong=1094, backtracks=369, failedAssignments=770, nogoods=312, foundSolutions=12, bestBound=270
14.24/10.28	    nFilterCalls=35572, avgTableProportion=0.3481249297200045, avgTableSize=0.696249859440009
14.24/10.28	    
14.54/10.52	    num=62, depth=5..12, filters=53203, revisions=(57705,useless=31006), ccks=90485186, wck=8.284, mem=105M866
14.54/10.52	    decisions=3191, wrong=1137, backtracks=397, failedAssignments=793, nogoods=316, foundSolutions=12, bestBound=270
14.54/10.52	    nFilterCalls=37372, avgTableProportion=0.35166702344000855, avgTableSize=0.7033340468800171
14.54/10.52	    
14.75/10.72	    num=63, depth=6..12, filters=55114, revisions=(59642,useless=32001), ccks=92780980, wck=8.488, mem=108M508
14.75/10.72	    decisions=3291, wrong=1184, backtracks=422, failedAssignments=818, nogoods=320, foundSolutions=12, bestBound=270
14.75/10.72	    nFilterCalls=38530, avgTableProportion=0.3515831819361536, avgTableSize=0.7031663638723072
14.75/10.72	    
14.95/10.91	    num=64, depth=7..13, filters=57067, revisions=(61385,useless=32848), ccks=94857889, wck=8.674, mem=111M151
14.95/10.91	    decisions=3387, wrong=1228, backtracks=444, failedAssignments=846, nogoods=325, foundSolutions=12, bestBound=270
14.95/10.91	    nFilterCalls=39845, avgTableProportion=0.353795959342452, avgTableSize=0.707591918684904
14.95/10.91	    
15.16/11.11	    num=65, depth=4..12, filters=59465, revisions=(63687,useless=34045), ccks=97088855, wck=8.876, mem=111M151
15.16/11.11	    decisions=3500, wrong=1282, backtracks=476, failedAssignments=877, nogoods=328, foundSolutions=12, bestBound=270
15.16/11.11	    nFilterCalls=41388, avgTableProportion=0.35593650333429977, avgTableSize=0.7118730066685995
15.16/11.11	    
15.35/11.36	    num=66, depth=6..12, filters=63116, revisions=(66710,useless=35522), ccks=99813647, wck=9.126, mem=113M793
15.35/11.36	    decisions=3633, wrong=1344, backtracks=512, failedAssignments=911, nogoods=333, foundSolutions=12, bestBound=270
15.35/11.36	    nFilterCalls=44200, avgTableProportion=0.358789592760181, avgTableSize=0.717579185520362
15.35/11.36	    
15.67/11.61	    num=67, depth=5..13, filters=66232, revisions=(69445,useless=36936), ccks=102583054, wck=9.378, mem=116M436
15.67/11.61	    decisions=3763, wrong=1405, backtracks=547, failedAssignments=948, nogoods=338, foundSolutions=12, bestBound=270
15.67/11.61	    nFilterCalls=46422, avgTableProportion=0.35942010253758994, avgTableSize=0.7188402050751799
15.67/11.61	    
16.00/11.95	    num=68, depth=7..13, filters=70198, revisions=(72898,useless=38689), ccks=106276813, wck=9.713, mem=119M78
16.00/11.95	    decisions=3926, wrong=1483, backtracks=587, failedAssignments=989, nogoods=343, foundSolutions=12, bestBound=270
16.00/11.95	    nFilterCalls=49372, avgTableProportion=0.3612472656566475, avgTableSize=0.722494531313295
16.00/11.95	    
16.40/12.37	    num=69, depth=5..14, filters=73741, revisions=(76387,useless=40454), ccks=111069272, wck=10.137, mem=121M721
16.40/12.37	    decisions=4106, wrong=1568, backtracks=633, failedAssignments=1034, nogoods=347, foundSolutions=12, bestBound=270
16.40/12.37	    nFilterCalls=51711, avgTableProportion=0.36283382645858714, avgTableSize=0.7256676529171743
16.40/12.37	    
16.80/12.75	    num=70, depth=6..14, filters=76617, revisions=(79423,useless=41917), ccks=115290112, wck=10.51, mem=124M363
16.80/12.75	    decisions=4280, wrong=1651, backtracks=674, failedAssignments=1084, nogoods=352, foundSolutions=12, bestBound=270
16.80/12.75	    nFilterCalls=53377, avgTableProportion=0.36358356595537406, avgTableSize=0.7271671319107481
16.80/12.75	    
17.20/13.18	    num=71, depth=5..13, filters=80908, revisions=(83763,useless=44240), ccks=120146143, wck=10.943, mem=129M648
17.20/13.18	    decisions=4472, wrong=1744, backtracks=723, failedAssignments=1139, nogoods=355, foundSolutions=12, bestBound=270
17.20/13.18	    nFilterCalls=56231, avgTableProportion=0.3634738845121019, avgTableSize=0.7269477690242038
17.20/13.18	    
17.59/13.59	    num=72, depth=6..15, filters=84464, revisions=(87595,useless=46137), ccks=124750633, wck=11.352, mem=132M290
17.59/13.59	    decisions=4671, wrong=1840, backtracks=776, failedAssignments=1200, nogoods=364, foundSolutions=12, bestBound=270
17.59/13.59	    nFilterCalls=58326, avgTableProportion=0.3633628227548606, avgTableSize=0.7267256455097212
17.59/13.59	    
18.21/14.11	    num=73, depth=4..15, filters=88167, revisions=(91435,useless=48106), ccks=130725983, wck=11.877, mem=134M933
18.21/14.11	    decisions=4895, wrong=1948, backtracks=833, failedAssignments=1267, nogoods=373, foundSolutions=12, bestBound=270
18.21/14.11	    nFilterCalls=60625, avgTableProportion=0.36415670103092784, avgTableSize=0.7283134020618557
18.21/14.11	    
18.30/14.28	o 268
18.30/14.28	    num=74, depth=8..104, filters=89318, revisions=(92858,useless=48870), ccks=132621311, wck=12.044, mem=137M576
18.30/14.28	    decisions=4974, wrong=1974, backtracks=846, failedAssignments=1283, nogoods=378, foundSolutions=13, bestBound=268
18.30/14.28	    nFilterCalls=61369, avgTableProportion=0.36352229953233717, avgTableSize=0.7270445990646743
18.30/14.28	    
19.01/14.95	    num=75, depth=4..12, filters=95732, revisions=(98844,useless=52093), ccks=140111947, wck=12.713, mem=142M778
19.01/14.95	    decisions=5254, wrong=2110, backtracks=925, failedAssignments=1364, nogoods=384, foundSolutions=13, bestBound=268
19.01/14.95	    nFilterCalls=66050, avgTableProportion=0.3653898561695685, avgTableSize=0.730779712339137
19.01/14.95	    
19.12/15.07	    num=76, depth=7..9, filters=96306, revisions=(99396,useless=52334), ccks=141332126, wck=12.834, mem=24M508
19.12/15.07	    decisions=5286, wrong=2122, backtracks=926, failedAssignments=1375, nogoods=393, foundSolutions=13, bestBound=268
19.12/15.07	    nFilterCalls=66448, avgTableProportion=0.36554900072236934, avgTableSize=0.7310980014447387
19.12/15.07	    
19.25/15.16	    num=77, depth=8..11, filters=97087, revisions=(100128,useless=52667), ccks=142327827, wck=12.922, mem=24M508
19.25/15.16	    decisions=5330, wrong=2140, backtracks=933, failedAssignments=1387, nogoods=395, foundSolutions=13, bestBound=268
19.25/15.16	    nFilterCalls=66978, avgTableProportion=0.36579175251575147, avgTableSize=0.7315835050315029
19.25/15.16	    
19.34/15.29	    num=78, depth=5..11, filters=98350, revisions=(101274,useless=53233), ccks=143794166, wck=13.053, mem=24M508
19.34/15.29	    decisions=5387, wrong=2163, backtracks=945, failedAssignments=1400, nogoods=399, foundSolutions=13, bestBound=268
19.34/15.29	    nFilterCalls=67873, avgTableProportion=0.36602920159710045, avgTableSize=0.7320584031942009
19.34/15.29	    
19.55/15.41	    num=79, depth=6..13, filters=99261, revisions=(102363,useless=53817), ccks=145206029, wck=13.178, mem=27M124
19.55/15.41	    decisions=5442, wrong=2187, backtracks=959, failedAssignments=1414, nogoods=402, foundSolutions=13, bestBound=268
19.55/15.41	    nFilterCalls=68405, avgTableProportion=0.36627439514655363, avgTableSize=0.7325487902931073
19.55/15.41	    
19.65/15.51	    num=80, depth=9..23, filters=100121, revisions=(103364,useless=54384), ccks=146284705, wck=13.273, mem=27M124
19.65/15.51	    decisions=5508, wrong=2211, backtracks=968, failedAssignments=1430, nogoods=410, foundSolutions=13, bestBound=268
19.65/15.51	    nFilterCalls=69016, avgTableProportion=0.36531384026892316, avgTableSize=0.7306276805378463
19.65/15.51	    
19.75/15.65	    num=81, depth=8..13, filters=101321, revisions=(104609,useless=55054), ccks=147845624, wck=13.412, mem=27M124
19.75/15.65	    decisions=5568, wrong=2235, backtracks=977, failedAssignments=1447, nogoods=418, foundSolutions=13, bestBound=268
19.75/15.65	    nFilterCalls=69889, avgTableProportion=0.3659874944554937, avgTableSize=0.7319749889109874
19.75/15.65	    
19.85/15.78	    num=82, depth=6..12, filters=102441, revisions=(105920,useless=55751), ccks=149290242, wck=13.54, mem=29M740
19.85/15.78	    decisions=5633, wrong=2264, backtracks=991, failedAssignments=1466, nogoods=421, foundSolutions=13, bestBound=268
19.85/15.78	    nFilterCalls=70495, avgTableProportion=0.3662671111426342, avgTableSize=0.7325342222852684
19.85/15.78	    
20.05/15.94	    num=83, depth=6..12, filters=103828, revisions=(107323,useless=56411), ccks=151189644, wck=13.709, mem=29M740
20.05/15.94	    decisions=5708, wrong=2298, backtracks=1008, failedAssignments=1487, nogoods=424, foundSolutions=13, bestBound=268
20.05/15.94	    nFilterCalls=71329, avgTableProportion=0.3662255183726114, avgTableSize=0.7324510367452228
20.05/15.94	    
20.26/16.11	    num=84, depth=6..15, filters=105141, revisions=(108825,useless=57203), ccks=153066396, wck=13.875, mem=32M356
20.26/16.11	    decisions=5788, wrong=2333, backtracks=1021, failedAssignments=1510, nogoods=432, foundSolutions=13, bestBound=268
20.26/16.11	    nFilterCalls=72187, avgTableProportion=0.3662847881197446, avgTableSize=0.7325695762394892
20.26/16.11	    
20.45/16.35	    num=85, depth=8..13, filters=106989, revisions=(110615,useless=58059), ccks=155811439, wck=14.117, mem=34M972
20.45/16.35	    decisions=5882, wrong=2374, backtracks=1038, failedAssignments=1535, nogoods=436, foundSolutions=13, bestBound=268
20.45/16.35	    nFilterCalls=73328, avgTableProportion=0.3658766092079424, avgTableSize=0.7317532184158848
20.45/16.35	    
20.65/16.54	    num=86, depth=6..15, filters=108596, revisions=(112373,useless=58987), ccks=157901523, wck=14.302, mem=34M972
20.65/16.54	    decisions=5976, wrong=2417, backtracks=1059, failedAssignments=1563, nogoods=443, foundSolutions=13, bestBound=268
20.65/16.54	    nFilterCalls=74246, avgTableProportion=0.36620828058077204, avgTableSize=0.7324165611615441
20.65/16.54	    
20.86/16.73	    num=87, depth=6..12, filters=110668, revisions=(114411,useless=60047), ccks=159985911, wck=14.489, mem=37M588
20.86/16.73	    decisions=6080, wrong=2466, backtracks=1081, failedAssignments=1594, nogoods=449, foundSolutions=13, bestBound=268
20.86/16.73	    nFilterCalls=75765, avgTableProportion=0.3666138718405596, avgTableSize=0.7332277436811192
20.86/16.73	    
21.06/16.92	    num=88, depth=5..16, filters=112656, revisions=(116440,useless=61063), ccks=162137100, wck=14.682, mem=40M204
21.06/16.92	    decisions=6194, wrong=2517, backtracks=1100, failedAssignments=1628, nogoods=458, foundSolutions=13, bestBound=268
21.06/16.92	    nFilterCalls=77016, avgTableProportion=0.36667056196115094, avgTableSize=0.7333411239223019
21.06/16.92	    
21.17/17.10	    num=89, depth=9..24, filters=114434, revisions=(118708,useless=62200), ccks=164198383, wck=14.864, mem=40M204
21.17/17.10	    decisions=6338, wrong=2579, backtracks=1127, failedAssignments=1665, nogoods=464, foundSolutions=13, bestBound=268
21.17/17.10	    nFilterCalls=77772, avgTableProportion=0.36550429460474204, avgTableSize=0.7310085892094841
21.17/17.10	    
21.56/17.41	    num=90, depth=7..14, filters=117144, revisions=(121690,useless=63815), ccks=167761507, wck=15.178, mem=42M820
21.56/17.41	    decisions=6471, wrong=2641, backtracks=1155, failedAssignments=1706, nogoods=468, foundSolutions=13, bestBound=268
21.56/17.41	    nFilterCalls=79474, avgTableProportion=0.36437073759971816, avgTableSize=0.7287414751994363
21.56/17.41	    
21.86/17.78	    num=91, depth=5..15, filters=119441, revisions=(124217,useless=65149), ccks=171901452, wck=15.54, mem=45M436
21.86/17.78	    decisions=6620, wrong=2712, backtracks=1186, failedAssignments=1751, nogoods=473, foundSolutions=13, bestBound=268
21.86/17.78	    nFilterCalls=80854, avgTableProportion=0.3644284760185025, avgTableSize=0.728856952037005
21.86/17.78	    
22.06/17.92	    num=92, depth=9..20, filters=121185, revisions=(126256,useless=66247), ccks=173514247, wck=15.684, mem=48M52
22.06/17.92	    decisions=6767, wrong=2778, backtracks=1202, failedAssignments=1801, nogoods=480, foundSolutions=13, bestBound=268
22.06/17.92	    nFilterCalls=81875, avgTableProportion=0.3624854961832061, avgTableSize=0.7249709923664122
22.06/17.92	    
22.36/18.22	    num=93, depth=7..14, filters=123799, revisions=(129181,useless=67859), ccks=176864657, wck=15.98, mem=50M668
22.36/18.22	    decisions=6928, wrong=2853, backtracks=1227, failedAssignments=1856, nogoods=499, foundSolutions=13, bestBound=268
22.36/18.22	    nFilterCalls=83356, avgTableProportion=0.3611797591055233, avgTableSize=0.7223595182110466
22.36/18.22	    
22.89/18.76	    num=94, depth=6..15, filters=127509, revisions=(132992,useless=69776), ccks=183114658, wck=16.529, mem=53M284
22.89/18.76	    decisions=7158, wrong=2963, backtracks=1284, failedAssignments=1917, nogoods=508, foundSolutions=13, bestBound=268
22.89/18.76	    nFilterCalls=85855, avgTableProportion=0.3617086948925514, avgTableSize=0.7234173897851028
22.89/18.76	    
23.22/19.10	    num=95, depth=5..14, filters=132057, revisions=(137161,useless=71993), ccks=186746021, wck=16.859, mem=55M900
23.22/19.10	    decisions=7375, wrong=3066, backtracks=1335, failedAssignments=1984, nogoods=513, foundSolutions=13, bestBound=268
23.22/19.10	    nFilterCalls=89187, avgTableProportion=0.3621211611557738, avgTableSize=0.7242423223115476
23.22/19.10	    
23.82/19.66	    num=96, depth=5..14, filters=137393, revisions=(142602,useless=74836), ccks=193124263, wck=17.423, mem=61M131
23.82/19.66	    decisions=7624, wrong=3185, backtracks=1395, failedAssignments=2058, nogoods=520, foundSolutions=13, bestBound=268
23.82/19.66	    nFilterCalls=92416, avgTableProportion=0.3617122576177285, avgTableSize=0.723424515235457
23.82/19.66	    
24.23/20.01	    num=97, depth=5..14, filters=142882, revisions=(147454,useless=77401), ccks=196992776, wck=17.779, mem=66M363
24.23/20.01	    decisions=7894, wrong=3317, backtracks=1467, failedAssignments=2139, nogoods=526, foundSolutions=13, bestBound=268
24.23/20.01	    nFilterCalls=96626, avgTableProportion=0.36239210978411607, avgTableSize=0.7247842195682321
24.23/20.01	    
24.73/20.56	    num=98, depth=6..15, filters=148138, revisions=(152553,useless=80167), ccks=202985428, wck=18.319, mem=71M595
24.73/20.56	    decisions=8201, wrong=3467, backtracks=1536, failedAssignments=2228, nogoods=533, foundSolutions=13, bestBound=268
24.73/20.56	    nFilterCalls=100538, avgTableProportion=0.36331039010125527, avgTableSize=0.7266207802025105
24.73/20.56	    
25.14/21.00	    num=99, depth=5..14, filters=154474, revisions=(158513,useless=83262), ccks=207838962, wck=18.763, mem=76M827
25.14/21.00	    decisions=8520, wrong=3623, backtracks=1614, failedAssignments=2326, nogoods=537, foundSolutions=13, bestBound=268
25.14/21.00	    nFilterCalls=105165, avgTableProportion=0.3642799410450245, avgTableSize=0.728559882090049
25.14/21.00	    
26.35/22.14	    num=100, depth=4..17, filters=163521, revisions=(167108,useless=87725), ccks=220790135, wck=19.904, mem=84M675
26.35/22.14	    decisions=8942, wrong=3829, backtracks=1736, failedAssignments=2434, nogoods=540, foundSolutions=13, bestBound=268
26.35/22.14	    nFilterCalls=110903, avgTableProportion=0.36650496379719216, avgTableSize=0.7330099275943843
26.35/22.14	    
26.95/22.73	    num=101, depth=6..25, filters=169417, revisions=(173812,useless=91036), ccks=227507300, wck=20.497, mem=89M906
26.95/22.73	    decisions=9277, wrong=3993, backtracks=1800, failedAssignments=2553, nogoods=549, foundSolutions=13, bestBound=268
26.95/22.73	    nFilterCalls=113902, avgTableProportion=0.3650989447068533, avgTableSize=0.7301978894137066
26.95/22.73	    
28.05/23.86	    num=102, depth=4..14, filters=178977, revisions=(182818,useless=95603), ccks=240196665, wck=21.62, mem=99M75
28.05/23.86	    decisions=9727, wrong=4215, backtracks=1911, failedAssignments=2684, nogoods=556, foundSolutions=13, bestBound=268
28.05/23.86	    nFilterCalls=120105, avgTableProportion=0.3673202614379085, avgTableSize=0.734640522875817
28.05/23.86	    
28.76/24.54	    num=103, depth=4..15, filters=189695, revisions=(192259,useless=100514), ccks=247679370, wck=22.306, mem=106M923
28.76/24.54	    decisions=10231, wrong=4464, backtracks=2061, failedAssignments=2828, nogoods=559, foundSolutions=13, bestBound=268
28.76/24.54	    nFilterCalls=127753, avgTableProportion=0.36803049634842233, avgTableSize=0.7360609926968447
28.76/24.54	    
29.48/25.27	    num=104, depth=4..14, filters=197089, revisions=(200338,useless=104854), ccks=255713708, wck=23.033, mem=114M771
29.48/25.27	    decisions=10749, wrong=4718, backtracks=2182, failedAssignments=2986, nogoods=567, foundSolutions=13, bestBound=268
29.48/25.27	    nFilterCalls=131968, avgTableProportion=0.36871438530552864, avgTableSize=0.7374287706110573
29.48/25.27	    
30.75/26.41	    num=105, depth=4..12, filters=208565, revisions=(212505,useless=111053), ccks=268386842, wck=24.176, mem=122M619
30.75/26.41	    decisions=11365, wrong=5023, backtracks=2346, failedAssignments=3160, nogoods=574, foundSolutions=13, bestBound=268
30.75/26.41	    nFilterCalls=138398, avgTableProportion=0.36976690414601365, avgTableSize=0.7395338082920273
30.75/26.41	    
31.25/26.97	    num=106, depth=6..16, filters=219503, revisions=(222776,useless=116389), ccks=274369080, wck=24.735, mem=130M466
31.25/26.97	    decisions=11899, wrong=5284, backtracks=2437, failedAssignments=3351, nogoods=580, foundSolutions=13, bestBound=268
31.25/26.97	    nFilterCalls=145733, avgTableProportion=0.3694564717668613, avgTableSize=0.7389129435337226
31.25/26.97	    
32.67/28.35	    num=107, depth=4..17, filters=235130, revisions=(237646,useless=124228), ccks=289727440, wck=26.11, mem=143M546
32.67/28.35	    decisions=12593, wrong=5627, backtracks=2605, failedAssignments=3562, nogoods=589, foundSolutions=13, bestBound=268
32.67/28.35	    nFilterCalls=156233, avgTableProportion=0.36807524658682866, avgTableSize=0.7361504931736573
32.67/28.35	    
33.77/29.47	    num=108, depth=5..18, filters=252825, revisions=(254816,useless=133414), ccks=302077425, wck=27.237, mem=154M10
33.77/29.47	    decisions=13394, wrong=6024, backtracks=2813, failedAssignments=3794, nogoods=599, foundSolutions=13, bestBound=268
33.77/29.47	    nFilterCalls=168013, avgTableProportion=0.3666472237267354, avgTableSize=0.7332944474534708
33.77/29.47	    
34.90/30.59	o 267
34.90/30.59	    num=109, depth=2..104, filters=258697, revisions=(261405,useless=136892), ccks=314846364, wck=28.358, mem=29M740
34.90/30.59	    decisions=13795, wrong=6209, backtracks=2903, failedAssignments=3902, nogoods=611, foundSolutions=14, bestBound=267
34.90/30.59	    nFilterCalls=171806, avgTableProportion=0.3660058438005658, avgTableSize=0.7320116876011316
34.90/30.59	    
36.70/32.37	    num=110, depth=5..26, filters=276213, revisions=(279946,useless=146851), ccks=334836356, wck=30.133, mem=45M436
36.70/32.37	    decisions=14802, wrong=6707, backtracks=3160, failedAssignments=4183, nogoods=624, foundSolutions=14, bestBound=267
36.70/32.37	    nFilterCalls=182863, avgTableProportion=0.3639145152381838, avgTableSize=0.7278290304763676
36.70/32.37	    
36.80/32.46	    num=111, depth=5..11, filters=277034, revisions=(280732,useless=147227), ccks=335908263, wck=30.228, mem=45M436
36.80/32.46	    decisions=14843, wrong=6725, backtracks=3168, failedAssignments=4194, nogoods=625, foundSolutions=14, bestBound=267
36.80/32.46	    nFilterCalls=183389, avgTableProportion=0.3639640327391501, avgTableSize=0.7279280654783002
36.80/32.46	    
36.90/32.57	    num=112, depth=7..12, filters=277663, revisions=(281367,useless=147529), ccks=337073186, wck=30.33, mem=45M436
36.90/32.57	    decisions=14880, wrong=6739, backtracks=3171, failedAssignments=4206, nogoods=631, foundSolutions=14, bestBound=267
36.90/32.57	    nFilterCalls=183819, avgTableProportion=0.3640891311561917, avgTableSize=0.7281782623123834
36.90/32.57	    
37.00/32.69	    num=113, depth=8..12, filters=278676, revisions=(282433,useless=148063), ccks=338477580, wck=30.454, mem=48M52
37.00/32.69	    decisions=14932, wrong=6761, backtracks=3181, failedAssignments=4219, nogoods=637, foundSolutions=14, bestBound=267
37.00/32.69	    nFilterCalls=184430, avgTableProportion=0.36400802472482785, avgTableSize=0.7280160494496557
37.00/32.69	    
37.10/32.79	    num=114, depth=7..20, filters=279475, revisions=(283391,useless=148598), ccks=339654272, wck=30.558, mem=48M52
37.10/32.79	    decisions=14984, wrong=6780, backtracks=3188, failedAssignments=4233, nogoods=641, foundSolutions=14, bestBound=267
37.10/32.79	    nFilterCalls=184925, avgTableProportion=0.363858320940922, avgTableSize=0.727716641881844
37.10/32.79	    
37.30/32.92	    num=115, depth=9..14, filters=280591, revisions=(284630,useless=149276), ccks=341085584, wck=30.685, mem=48M52
37.30/32.92	    decisions=15038, wrong=6802, backtracks=3196, failedAssignments=4249, nogoods=645, foundSolutions=14, bestBound=267
37.30/32.92	    nFilterCalls=185714, avgTableProportion=0.36365594408606783, avgTableSize=0.7273118881721357
37.30/32.92	    
37.30/33.00	    num=116, depth=8..13, filters=281627, revisions=(285531,useless=149735), ccks=342015689, wck=30.769, mem=50M668
37.30/33.00	    decisions=15096, wrong=6827, backtracks=3206, failedAssignments=4266, nogoods=648, foundSolutions=14, bestBound=267
37.30/33.00	    nFilterCalls=186762, avgTableProportion=0.3634492027286065, avgTableSize=0.726898405457213
37.30/33.00	    
37.60/33.23	    num=117, depth=6..12, filters=283127, revisions=(287180,useless=150550), ccks=344545070, wck=30.991, mem=50M668
37.60/33.23	    decisions=15170, wrong=6861, backtracks=3222, failedAssignments=4285, nogoods=651, foundSolutions=14, bestBound=267
37.60/33.23	    nFilterCalls=187611, avgTableProportion=0.3636966915585973, avgTableSize=0.7273933831171946
37.60/33.23	    
37.80/33.43	    num=118, depth=6..15, filters=284711, revisions=(288958,useless=151444), ccks=346897362, wck=31.197, mem=53M284
37.80/33.43	    decisions=15252, wrong=6898, backtracks=3243, failedAssignments=4306, nogoods=655, foundSolutions=14, bestBound=267
37.80/33.43	    nFilterCalls=188511, avgTableProportion=0.3635835574581855, avgTableSize=0.727167114916371
37.80/33.43	    
37.90/33.56	    num=119, depth=8..23, filters=286002, revisions=(290408,useless=152233), ccks=348328193, wck=31.324, mem=53M284
37.90/33.56	    decisions=15336, wrong=6931, backtracks=3255, failedAssignments=4329, nogoods=660, foundSolutions=14, bestBound=267
37.90/33.56	    nFilterCalls=189348, avgTableProportion=0.3631831337009105, avgTableSize=0.726366267401821
37.90/33.56	    
38.10/33.72	    num=120, depth=9..18, filters=287618, revisions=(292057,useless=153126), ccks=350132195, wck=31.484, mem=55M900
38.10/33.72	    decisions=15425, wrong=6967, backtracks=3267, failedAssignments=4354, nogoods=671, foundSolutions=14, bestBound=267
38.10/33.72	    nFilterCalls=190562, avgTableProportion=0.36262738636244374, avgTableSize=0.7252547727248875
38.10/33.72	    
38.31/33.93	    num=121, depth=5..16, filters=289496, revisions=(294097,useless=154198), ccks=352481185, wck=31.693, mem=58M515
38.31/33.93	    decisions=15530, wrong=7016, backtracks=3295, failedAssignments=4382, nogoods=674, foundSolutions=14, bestBound=267
38.31/33.93	    nFilterCalls=191591, avgTableProportion=0.3627414648913571, avgTableSize=0.7254829297827142
38.31/33.93	    
38.52/34.17	    num=122, depth=6..16, filters=292054, revisions=(296480,useless=155453), ccks=355182674, wck=31.936, mem=61M131
38.52/34.17	    decisions=15663, wrong=7075, backtracks=3328, failedAssignments=4413, nogoods=681, foundSolutions=14, bestBound=267
38.52/34.17	    nFilterCalls=193657, avgTableProportion=0.3630671754700321, avgTableSize=0.7261343509400642
38.52/34.17	    
39.01/34.60	    num=123, depth=5..12, filters=294066, revisions=(298593,useless=156439), ccks=360172464, wck=32.368, mem=61M131
39.01/34.60	    decisions=15794, wrong=7135, backtracks=3360, failedAssignments=4447, nogoods=685, foundSolutions=14, bestBound=267
39.01/34.60	    nFilterCalls=194753, avgTableProportion=0.3631677047336883, avgTableSize=0.7263354094673766
39.01/34.60	    
39.21/34.80	    num=124, depth=6..16, filters=296230, revisions=(300956,useless=157624), ccks=362389658, wck=32.566, mem=63M747
39.21/34.80	    decisions=15933, wrong=7199, backtracks=3388, failedAssignments=4484, nogoods=688, foundSolutions=14, bestBound=267
39.21/34.80	    nFilterCalls=195960, avgTableProportion=0.36322718922229025, avgTableSize=0.7264543784445805
39.21/34.80	    
39.41/35.10	    num=125, depth=5..12, filters=299034, revisions=(303490,useless=158826), ccks=365731500, wck=32.863, mem=66M363
39.41/35.10	    decisions=16071, wrong=7264, backtracks=3416, failedAssignments=4525, nogoods=692, foundSolutions=14, bestBound=267
39.41/35.10	    nFilterCalls=197833, avgTableProportion=0.36322302143727286, avgTableSize=0.7264460428745457
39.41/35.10	    
39.81/35.40	    num=126, depth=7..15, filters=302404, revisions=(306652,useless=160495), ccks=369055186, wck=33.161, mem=68M979
39.81/35.40	    decisions=16231, wrong=7340, backtracks=3454, failedAssignments=4570, nogoods=699, foundSolutions=14, bestBound=267
39.81/35.40	    nFilterCalls=200239, avgTableProportion=0.3633557898311518, avgTableSize=0.7267115796623036
39.81/35.40	    
40.01/35.61	    num=127, depth=6..18, filters=305067, revisions=(309257,useless=161789), ccks=371321203, wck=33.369, mem=71M595
40.01/35.61	    decisions=16401, wrong=7421, backtracks=3498, failedAssignments=4620, nogoods=710, foundSolutions=14, bestBound=267
40.01/35.61	    nFilterCalls=201999, avgTableProportion=0.363415165421611, avgTableSize=0.726830330843222
40.01/35.61	    
40.21/35.89	    num=128, depth=7..18, filters=308162, revisions=(312385,useless=163431), ccks=374543727, wck=33.656, mem=74M211
40.21/35.89	    decisions=16580, wrong=7507, backtracks=3535, failedAssignments=4675, nogoods=711, foundSolutions=14, bestBound=267
40.21/35.89	    nFilterCalls=204183, avgTableProportion=0.3625962984185755, avgTableSize=0.725192596837151
40.21/35.89	    
40.61/36.23	    num=129, depth=5..13, filters=312229, revisions=(316169,useless=165320), ccks=378288986, wck=33.996, mem=79M443
40.61/36.23	    decisions=16790, wrong=7609, backtracks=3588, failedAssignments=4736, nogoods=717, foundSolutions=14, bestBound=267
40.61/36.23	    nFilterCalls=206910, avgTableProportion=0.36352037117587355, avgTableSize=0.7270407423517471
40.61/36.23	    
40.92/36.53	    num=130, depth=5..16, filters=316138, revisions=(320093,useless=167437), ccks=381621501, wck=34.298, mem=82M59
40.92/36.53	    decisions=16997, wrong=7708, backtracks=3633, failedAssignments=4803, nogoods=729, foundSolutions=14, bestBound=267
40.92/36.53	    nFilterCalls=209277, avgTableProportion=0.3635659914849697, avgTableSize=0.7271319829699394
40.92/36.53	    
41.32/36.94	    num=131, depth=7..14, filters=322170, revisions=(325795,useless=170355), ccks=386083589, wck=34.704, mem=84M675
41.32/36.94	    decisions=17274, wrong=7841, backtracks=3702, failedAssignments=4877, nogoods=731, foundSolutions=14, bestBound=267
41.32/36.94	    nFilterCalls=213639, avgTableProportion=0.36345423822429423, avgTableSize=0.7269084764485885
41.32/36.94	    
41.73/37.32	    num=132, depth=7..26, filters=325707, revisions=(330006,useless=172542), ccks=390418974, wck=35.087, mem=89M907
41.73/37.32	    decisions=17533, wrong=7961, backtracks=3747, failedAssignments=4958, nogoods=750, foundSolutions=14, bestBound=267
41.73/37.32	    nFilterCalls=215433, avgTableProportion=0.3627438693236412, avgTableSize=0.7254877386472824
41.73/37.32	    
41.93/37.58	    num=133, depth=6..24, filters=328761, revisions=(333466,useless=174389), ccks=393301866, wck=35.343, mem=89M907
41.93/37.58	    decisions=17773, wrong=8075, backtracks=3775, failedAssignments=5047, nogoods=758, foundSolutions=14, bestBound=267
41.93/37.58	    nFilterCalls=217576, avgTableProportion=0.3614507114755304, avgTableSize=0.7229014229510607
41.93/37.58	    
42.44/38.03	    num=134, depth=6..26, filters=334524, revisions=(339051,useless=177401), ccks=398287444, wck=35.791, mem=95M139
42.44/38.03	    decisions=18104, wrong=8236, backtracks=3852, failedAssignments=5145, nogoods=766, foundSolutions=14, bestBound=267
42.44/38.03	    nFilterCalls=221777, avgTableProportion=0.36043412977901224, avgTableSize=0.7208682595580245
42.44/38.03	    
43.13/38.78	    num=135, depth=4..15, filters=340089, revisions=(345059,useless=180451), ccks=406902417, wck=36.547, mem=100M370
43.13/38.78	    decisions=18465, wrong=8412, backtracks=3940, failedAssignments=5253, nogoods=772, foundSolutions=14, bestBound=267
43.13/38.78	    nFilterCalls=224802, avgTableProportion=0.3608397612120889, avgTableSize=0.7216795224241778
43.13/38.78	    
43.44/39.02	    num=136, depth=5..28, filters=343634, revisions=(349055,useless=182599), ccks=409582305, wck=36.788, mem=102M986
43.44/39.02	    decisions=18801, wrong=8569, backtracks=3979, failedAssignments=5372, nogoods=818, foundSolutions=14, bestBound=267
43.44/39.02	    nFilterCalls=227012, avgTableProportion=0.359093351893292, avgTableSize=0.718186703786584
43.44/39.02	    
44.14/39.70	    num=137, depth=0..15, filters=351547, revisions=(356555,useless=186189), ccks=417124207, wck=37.462, mem=108M218
44.14/39.70	    decisions=19197, wrong=8762, backtracks=4051, failedAssignments=5503, nogoods=826, foundSolutions=14, bestBound=267
44.14/39.70	    nFilterCalls=231908, avgTableProportion=0.35875433361505427, avgTableSize=0.7175086672301085
44.14/39.70	    
45.14/40.79	    num=138, depth=4..14, filters=360446, revisions=(366531,useless=191406), ccks=429533241, wck=38.557, mem=116M66
45.14/40.79	    decisions=19728, wrong=9025, backtracks=4193, failedAssignments=5647, nogoods=832, foundSolutions=14, bestBound=267
45.14/40.79	    nFilterCalls=236427, avgTableProportion=0.3596755023749403, avgTableSize=0.7193510047498806
45.14/40.79	    
46.24/41.81	    num=139, depth=5..16, filters=371240, revisions=(377922,useless=197518), ccks=440933364, wck=39.577, mem=126M530
46.24/41.81	    decisions=20315, wrong=9313, backtracks=4362, failedAssignments=5805, nogoods=845, foundSolutions=14, bestBound=267
46.24/41.81	    nFilterCalls=242608, avgTableProportion=0.35995309305546397, avgTableSize=0.7199061861109279
46.24/41.81	    
46.94/42.51	o 266
46.94/42.51	    num=140, depth=6..104, filters=377302, revisions=(384118,useless=200654), ccks=448883552, wck=40.276, mem=131M762
46.94/42.51	    decisions=20593, wrong=9438, backtracks=4424, failedAssignments=5878, nogoods=856, foundSolutions=15, bestBound=266
46.94/42.51	    nFilterCalls=246216, avgTableProportion=0.35962528836468793, avgTableSize=0.7192505767293759
46.94/42.51	    
48.45/44.04	    num=141, depth=4..26, filters=387727, revisions=(396377,useless=207060), ccks=466407706, wck=41.806, mem=142M225
48.45/44.04	    decisions=21291, wrong=9780, backtracks=4592, failedAssignments=6069, nogoods=863, foundSolutions=15, bestBound=266
48.45/44.04	    nFilterCalls=251320, avgTableProportion=0.3593307337259271, avgTableSize=0.7186614674518542
48.45/44.04	    
48.55/44.14	    num=142, depth=6..13, filters=388714, revisions=(397389,useless=207559), ccks=467519631, wck=41.906, mem=142M225
48.55/44.14	    decisions=21343, wrong=9801, backtracks=4603, failedAssignments=6080, nogoods=866, foundSolutions=15, bestBound=266
48.55/44.14	    nFilterCalls=251911, avgTableProportion=0.3594166193615999, avgTableSize=0.7188332387231998
48.55/44.14	    
48.64/44.22	    num=143, depth=9..16, filters=389482, revisions=(398275,useless=208100), ccks=468418518, wck=41.986, mem=144M841
48.64/44.22	    decisions=21391, wrong=9818, backtracks=4609, failedAssignments=6092, nogoods=871, foundSolutions=15, bestBound=266
48.64/44.22	    nFilterCalls=252549, avgTableProportion=0.35939560243754676, avgTableSize=0.7187912048750935
48.64/44.22	    
48.74/44.35	    num=144, depth=11..16, filters=390354, revisions=(399263,useless=208604), ccks=469818897, wck=42.11, mem=144M841
48.74/44.35	    decisions=21441, wrong=9836, backtracks=4616, failedAssignments=6105, nogoods=876, foundSolutions=15, bestBound=266
48.74/44.35	    nFilterCalls=253129, avgTableProportion=0.3594471593535312, avgTableSize=0.7188943187070624
48.74/44.35	    
48.94/44.50	    num=145, depth=8..17, filters=391574, revisions=(400522,useless=209278), ccks=471569767, wck=42.265, mem=147M457
48.94/44.50	    decisions=21501, wrong=9860, backtracks=4629, failedAssignments=6119, nogoods=881, foundSolutions=15, bestBound=266
48.94/44.50	    nFilterCalls=253945, avgTableProportion=0.3595719545570891, avgTableSize=0.7191439091141782
48.94/44.50	    
49.04/44.60	    num=146, depth=5..12, filters=392380, revisions=(401368,useless=209713), ccks=472696808, wck=42.365, mem=147M457
49.04/44.60	    decisions=21553, wrong=9882, backtracks=4640, failedAssignments=6135, nogoods=887, foundSolutions=15, bestBound=266
49.04/44.60	    nFilterCalls=254466, avgTableProportion=0.3596099282418869, avgTableSize=0.7192198564837738
49.04/44.60	    
49.14/44.73	    num=147, depth=5..15, filters=393392, revisions=(402548,useless=210373), ccks=474125628, wck=42.491, mem=147M457
49.14/44.73	    decisions=21616, wrong=9909, backtracks=4650, failedAssignments=6152, nogoods=895, foundSolutions=15, bestBound=266
49.14/44.73	    nFilterCalls=255103, avgTableProportion=0.3595214481993548, avgTableSize=0.7190428963987096
49.14/44.73	    
49.24/44.85	    num=148, depth=9..24, filters=394458, revisions=(403800,useless=211055), ccks=475566270, wck=42.618, mem=150M73
49.24/44.85	    decisions=21689, wrong=9936, backtracks=4659, failedAssignments=6171, nogoods=902, foundSolutions=15, bestBound=266
49.24/44.85	    nFilterCalls=255795, avgTableProportion=0.35936003440254893, avgTableSize=0.7187200688050979
49.24/44.85	    
49.45/45.04	    num=149, depth=6..12, filters=396256, revisions=(405664,useless=212044), ccks=477604645, wck=42.8, mem=150M73
49.45/45.04	    decisions=21764, wrong=9968, backtracks=4678, failedAssignments=6192, nogoods=906, foundSolutions=15, bestBound=266
49.45/45.04	    nFilterCalls=256922, avgTableProportion=0.3593989615525335, avgTableSize=0.718797923105067
49.45/45.04	    
49.64/45.27	    num=150, depth=9..17, filters=398032, revisions=(407471,useless=213011), ccks=480224715, wck=43.031, mem=152M689
49.64/45.27	    decisions=21859, wrong=10009, backtracks=4700, failedAssignments=6215, nogoods=910, foundSolutions=15, bestBound=266
49.64/45.27	    nFilterCalls=258102, avgTableProportion=0.3595458384669627, avgTableSize=0.7190916769339254
49.64/45.27	    
49.84/45.47	    num=151, depth=5..11, filters=400053, revisions=(409335,useless=213921), ccks=482506381, wck=43.235, mem=154M13
49.84/45.47	    decisions=21954, wrong=10053, backtracks=4722, failedAssignments=6240, nogoods=919, foundSolutions=15, bestBound=266
49.84/45.47	    nFilterCalls=259532, avgTableProportion=0.3596454387127599, avgTableSize=0.7192908774255198
49.84/45.47	    
50.07/45.60	    num=152, depth=6..19, filters=401494, revisions=(410829,useless=214767), ccks=483857932, wck=43.369, mem=24M591
50.07/45.60	    decisions=22058, wrong=10096, backtracks=4737, failedAssignments=6268, nogoods=924, foundSolutions=15, bestBound=266
50.07/45.60	    nFilterCalls=260754, avgTableProportion=0.35947291316719976, avgTableSize=0.7189458263343995
50.07/45.60	    
50.27/45.80	    num=153, depth=9..16, filters=403459, revisions=(413067,useless=215982), ccks=486092671, wck=43.568, mem=24M591
50.27/45.80	    decisions=22173, wrong=10148, backtracks=4762, failedAssignments=6299, nogoods=929, foundSolutions=15, bestBound=266
50.27/45.80	    nFilterCalls=261935, avgTableProportion=0.359451772386279, avgTableSize=0.718903544772558
50.27/45.80	    
50.48/46.05	    num=154, depth=6..13, filters=405734, revisions=(415275,useless=217145), ccks=488852011, wck=43.813, mem=27M217
50.48/46.05	    decisions=22283, wrong=10199, backtracks=4786, failedAssignments=6333, nogoods=932, foundSolutions=15, bestBound=266
50.48/46.05	    nFilterCalls=263374, avgTableProportion=0.3596292724414711, avgTableSize=0.7192585448829422
50.48/46.05	    
50.67/46.27	    num=155, depth=7..15, filters=408040, revisions=(417447,useless=218224), ccks=491279736, wck=44.033, mem=29M842
50.67/46.27	    decisions=22419, wrong=10263, backtracks=4818, failedAssignments=6370, nogoods=939, foundSolutions=15, bestBound=266
50.67/46.27	    nFilterCalls=264959, avgTableProportion=0.35988964330330353, avgTableSize=0.7197792866066071
50.67/46.27	    
50.97/46.55	    num=156, depth=5..11, filters=410971, revisions=(420340,useless=219693), ccks=494418133, wck=44.314, mem=32M467
50.97/46.55	    decisions=22562, wrong=10332, backtracks=4855, failedAssignments=6411, nogoods=940, foundSolutions=15, bestBound=266
50.97/46.55	    nFilterCalls=266662, avgTableProportion=0.3600288005040088, avgTableSize=0.7200576010080176
50.97/46.55	    
51.27/46.82	    num=157, depth=6..14, filters=414076, revisions=(423431,useless=221321), ccks=497320508, wck=44.583, mem=37M717
51.27/46.82	    decisions=22736, wrong=10414, backtracks=4901, failedAssignments=6456, nogoods=948, foundSolutions=15, bestBound=266
51.27/46.82	    nFilterCalls=268672, avgTableProportion=0.36033527870414483, avgTableSize=0.7206705574082897
51.27/46.82	    
51.58/47.12	    num=158, depth=7..18, filters=416999, revisions=(426622,useless=222879), ccks=500651743, wck=44.881, mem=40M343
51.58/47.12	    decisions=22909, wrong=10493, backtracks=4935, failedAssignments=6506, nogoods=960, foundSolutions=15, bestBound=266
51.58/47.12	    nFilterCalls=270295, avgTableProportion=0.36047281673726855, avgTableSize=0.7209456334745371
51.58/47.12	    
51.88/47.45	    num=159, depth=5..24, filters=420360, revisions=(430122,useless=224699), ccks=504323156, wck=45.213, mem=42M968
51.88/47.45	    decisions=23098, wrong=10578, backtracks=4973, failedAssignments=6561, nogoods=971, foundSolutions=15, bestBound=266
51.88/47.45	    nFilterCalls=272365, avgTableProportion=0.3600646191691297, avgTableSize=0.7201292383382594
51.88/47.45	    
52.28/47.81	    num=160, depth=6..18, filters=424193, revisions=(434307,useless=227028), ccks=508373638, wck=45.578, mem=45M593
52.28/47.81	    decisions=23318, wrong=10680, backtracks=5024, failedAssignments=6622, nogoods=981, foundSolutions=15, bestBound=266
52.28/47.81	    nFilterCalls=274984, avgTableProportion=0.3594300032001862, avgTableSize=0.7188600064003724
52.28/47.81	    
52.59/48.12	    num=161, depth=5..18, filters=428052, revisions=(438252,useless=229200), ccks=511765258, wck=45.885, mem=48M218
52.59/48.12	    decisions=23546, wrong=10788, backtracks=5077, failedAssignments=6689, nogoods=991, foundSolutions=15, bestBound=266
52.59/48.12	    nFilterCalls=277536, avgTableProportion=0.35925609650639917, avgTableSize=0.7185121930127983
52.59/48.12	    
52.98/48.53	    num=162, depth=5..16, filters=432605, revisions=(442890,useless=231594), ccks=516172498, wck=46.293, mem=53M469
52.98/48.53	    decisions=23827, wrong=10923, backtracks=5147, failedAssignments=6763, nogoods=998, foundSolutions=15, bestBound=266
52.98/48.53	    nFilterCalls=280534, avgTableProportion=0.35909551070458484, avgTableSize=0.7181910214091697
52.98/48.53	    
53.59/49.19	    num=163, depth=7..16, filters=438220, revisions=(448696,useless=234577), ccks=523684750, wck=46.956, mem=56M94
53.59/49.19	    decisions=24130, wrong=11069, backtracks=5220, failedAssignments=6844, nogoods=1006, foundSolutions=15, bestBound=266
53.59/49.19	    nFilterCalls=283741, avgTableProportion=0.3592783559654756, avgTableSize=0.7185567119309512
53.59/49.19	    
54.08/49.66	    num=164, depth=4..13, filters=445481, revisions=(455097,useless=237802), ccks=528754590, wck=47.42, mem=61M344
54.08/49.66	    decisions=24424, wrong=11211, backtracks=5288, failedAssignments=6933, nogoods=1016, foundSolutions=15, bestBound=266
54.08/49.66	    nFilterCalls=288504, avgTableProportion=0.3596085322907135, avgTableSize=0.719217064581427
54.08/49.66	    
54.78/50.32	    num=165, depth=5..14, filters=451198, revisions=(461064,useless=240962), ccks=536211827, wck=48.079, mem=66M595
54.78/50.32	    decisions=24746, wrong=11366, backtracks=5362, failedAssignments=7031, nogoods=1027, foundSolutions=15, bestBound=266
54.78/50.32	    nFilterCalls=291833, avgTableProportion=0.35947785205922567, avgTableSize=0.7189557041184513
54.78/50.32	    
55.38/50.90	    num=166, depth=4..15, filters=459064, revisions=(468680,useless=244847), ccks=542603655, wck=48.666, mem=71M845
55.38/50.90	    decisions=25139, wrong=11559, backtracks=5461, failedAssignments=7139, nogoods=1034, foundSolutions=15, bestBound=266
55.38/50.90	    nFilterCalls=296778, avgTableProportion=0.3594774545283006, avgTableSize=0.7189549090566012
55.38/50.90	    
55.88/51.49	    num=167, depth=5..17, filters=464055, revisions=(474210,useless=247868), ccks=549264340, wck=49.258, mem=77M95
55.88/51.49	    decisions=25503, wrong=11736, backtracks=5540, failedAssignments=7258, nogoods=1041, foundSolutions=15, bestBound=266
55.88/51.49	    nFilterCalls=299961, avgTableProportion=0.35925003583799225, avgTableSize=0.7185000716759845
55.88/51.49	    
56.49/52.08	    num=168, depth=5..17, filters=472324, revisions=(482621,useless=252580), ccks=555645718, wck=49.845, mem=84M971
56.49/52.08	    decisions=25929, wrong=11946, backtracks=5649, failedAssignments=7389, nogoods=1046, foundSolutions=15, bestBound=266
56.49/52.08	    nFilterCalls=305428, avgTableProportion=0.35980820357007215, avgTableSize=0.7196164071401443
56.49/52.08	    
57.18/52.75	    num=169, depth=5..14, filters=482705, revisions=(492269,useless=257521), ccks=562900238, wck=50.516, mem=92M847
57.18/52.75	    decisions=26444, wrong=12200, backtracks=5796, failedAssignments=7533, nogoods=1053, foundSolutions=15, bestBound=266
57.18/52.75	    nFilterCalls=312329, avgTableProportion=0.35981769224119436, avgTableSize=0.7196353844823887
57.18/52.75	    
57.98/53.57	    num=170, depth=4..14, filters=489044, revisions=(499188,useless=261053), ccks=572227715, wck=51.337, mem=98M97
57.98/53.57	    decisions=26886, wrong=12418, backtracks=5865, failedAssignments=7691, nogoods=1060, foundSolutions=15, bestBound=266
57.98/53.57	    nFilterCalls=315561, avgTableProportion=0.3599763595628104, avgTableSize=0.7199527191256208
57.98/53.57	    
59.18/54.79	    num=171, depth=5..16, filters=501380, revisions=(511687,useless=267742), ccks=585633544, wck=52.551, mem=111M223
59.18/54.79	    decisions=27531, wrong=12737, backtracks=6053, failedAssignments=7865, nogoods=1065, foundSolutions=15, bestBound=266
59.18/54.79	    nFilterCalls=323110, avgTableProportion=0.36058772554238494, avgTableSize=0.7211754510847699
59.18/54.79	    
59.68/55.20	o 265
59.68/55.20	    num=172, depth=5..104, filters=507455, revisions=(518764,useless=271576), ccks=590214739, wck=52.964, mem=113M848
59.68/55.20	    decisions=28026, wrong=12974, backtracks=6152, failedAssignments=8016, nogoods=1077, foundSolutions=16, bestBound=265
59.68/55.20	    nFilterCalls=326682, avgTableProportion=0.3590219234607355, avgTableSize=0.718043846921471
59.68/55.20	    
61.29/56.81	    num=173, depth=4..19, filters=520155, revisions=(533516,useless=279105), ccks=608514506, wck=54.576, mem=125M208
61.29/56.81	    decisions=28854, wrong=13384, backtracks=6382, failedAssignments=8227, nogoods=1087, foundSolutions=16, bestBound=265
61.29/56.81	    nFilterCalls=333044, avgTableProportion=0.3590771789913645, avgTableSize=0.718154357982729
61.29/56.81	    
61.39/56.93	    num=174, depth=8..13, filters=520958, revisions=(534333,useless=279509), ccks=609888263, wck=54.696, mem=127M833
61.39/56.93	    decisions=28900, wrong=13403, backtracks=6390, failedAssignments=8238, nogoods=1091, foundSolutions=16, bestBound=265
61.39/56.93	    nFilterCalls=333525, avgTableProportion=0.3590570422007346, avgTableSize=0.7181140844014692
61.39/56.93	    
61.49/57.04	    num=175, depth=6..12, filters=521551, revisions=(535002,useless=279834), ccks=611054627, wck=54.799, mem=127M833
61.49/57.04	    decisions=28936, wrong=13417, backtracks=6395, failedAssignments=8250, nogoods=1099, foundSolutions=16, bestBound=265
61.49/57.04	    nFilterCalls=333885, avgTableProportion=0.3591595908770984, avgTableSize=0.7183191817541968
61.49/57.04	    
61.60/57.15	    num=176, depth=8..16, filters=522409, revisions=(535995,useless=280348), ccks=612316076, wck=54.913, mem=127M833
61.60/57.15	    decisions=28986, wrong=13436, backtracks=6402, failedAssignments=8263, nogoods=1106, foundSolutions=16, bestBound=265
61.60/57.15	    nFilterCalls=334442, avgTableProportion=0.35917588101972836, avgTableSize=0.7183517620394567
61.60/57.15	    
61.69/57.26	    num=177, depth=8..13, filters=523284, revisions=(536913,useless=280823), ccks=613508234, wck=55.019, mem=130M458
61.69/57.26	    decisions=29037, wrong=13456, backtracks=6410, failedAssignments=8277, nogoods=1112, foundSolutions=16, bestBound=265
61.69/57.26	    nFilterCalls=335017, avgTableProportion=0.3593131094839963, avgTableSize=0.7186262189679926
61.69/57.26	    
61.89/57.41	    num=178, depth=8..15, filters=524538, revisions=(538360,useless=281575), ccks=615294247, wck=55.178, mem=130M458
61.89/57.41	    decisions=29097, wrong=13482, backtracks=6424, failedAssignments=8293, nogoods=1113, foundSolutions=16, bestBound=265
61.89/57.41	    nFilterCalls=335804, avgTableProportion=0.35927654226870437, avgTableSize=0.7185530845374087
61.89/57.41	    
61.99/57.59	    num=179, depth=7..12, filters=525959, revisions=(539916,useless=282306), ccks=617279670, wck=55.354, mem=133M83
61.99/57.59	    decisions=29173, wrong=13516, backtracks=6442, failedAssignments=8310, nogoods=1116, foundSolutions=16, bestBound=265
61.99/57.59	    nFilterCalls=336517, avgTableProportion=0.3593027989670656, avgTableSize=0.7186055979341311
61.99/57.59	    
62.19/57.76	    num=180, depth=9..14, filters=527064, revisions=(541228,useless=283000), ccks=619236955, wck=55.527, mem=133M83
62.19/57.76	    decisions=29247, wrong=13547, backtracks=6456, failedAssignments=8329, nogoods=1120, foundSolutions=16, bestBound=265
62.19/57.76	    nFilterCalls=337144, avgTableProportion=0.35933013786393947, avgTableSize=0.7186602757278789
62.19/57.76	    
62.39/57.93	    num=181, depth=5..15, filters=528513, revisions=(542692,useless=283782), ccks=621099890, wck=55.697, mem=135M709
62.39/57.93	    decisions=29324, wrong=13583, backtracks=6473, failedAssignments=8350, nogoods=1121, foundSolutions=16, bestBound=265
62.39/57.93	    nFilterCalls=338144, avgTableProportion=0.359375, avgTableSize=0.71875
62.39/57.93	    
62.60/58.11	    num=182, depth=7..12, filters=529863, revisions=(544040,useless=284418), ccks=623066820, wck=55.873, mem=135M709
62.60/58.11	    decisions=29402, wrong=13618, backtracks=6491, failedAssignments=8373, nogoods=1127, foundSolutions=16, bestBound=265
62.60/58.11	    nFilterCalls=338865, avgTableProportion=0.3594986203945524, avgTableSize=0.7189972407891048
62.60/58.11	    
62.79/58.39	    num=183, depth=5..11, filters=531741, revisions=(546033,useless=285428), ccks=626216579, wck=56.149, mem=138M334
62.79/58.39	    decisions=29503, wrong=13665, backtracks=6517, failedAssignments=8398, nogoods=1129, foundSolutions=16, bestBound=265
62.79/58.39	    nFilterCalls=339959, avgTableProportion=0.35960365808818123, avgTableSize=0.7192073161763625
62.79/58.39	    
63.09/58.61	    num=184, depth=5..12, filters=533829, revisions=(548339,useless=286623), ccks=628684527, wck=56.37, mem=140M959
63.09/58.61	    decisions=29611, wrong=13716, backtracks=6545, failedAssignments=8426, nogoods=1134, foundSolutions=16, bestBound=265
63.09/58.61	    nFilterCalls=341130, avgTableProportion=0.3596898543077419, avgTableSize=0.7193797086154838
63.09/58.61	    
63.39/58.92	    num=185, depth=5..15, filters=535881, revisions=(550689,useless=287868), ccks=632275157, wck=56.686, mem=143M584
63.39/58.92	    decisions=29725, wrong=13766, backtracks=6569, failedAssignments=8457, nogoods=1140, foundSolutions=16, bestBound=265
63.39/58.92	    nFilterCalls=342191, avgTableProportion=0.35979905958952746, avgTableSize=0.7195981191790549
63.39/58.92	    
63.69/59.21	    num=186, depth=5..14, filters=538382, revisions=(553293,useless=289202), ccks=635426378, wck=56.971, mem=143M584
63.69/59.21	    decisions=29856, wrong=13826, backtracks=6601, failedAssignments=8491, nogoods=1148, foundSolutions=16, bestBound=265
63.69/59.21	    nFilterCalls=343720, avgTableProportion=0.35990922844175494, avgTableSize=0.7198184568835099
63.69/59.21	    
63.90/59.47	    num=187, depth=7..15, filters=540554, revisions=(555756,useless=290501), ccks=638368353, wck=57.232, mem=146M209
63.90/59.47	    decisions=29980, wrong=13884, backtracks=6624, failedAssignments=8528, nogoods=1152, foundSolutions=16, bestBound=265
63.90/59.47	    nFilterCalls=344978, avgTableProportion=0.3598142490245755, avgTableSize=0.719628498049151
63.90/59.47	    
64.10/59.68	    num=188, depth=6..16, filters=543358, revisions=(558372,useless=291875), ccks=640649757, wck=57.441, mem=148M835
64.10/59.68	    decisions=30134, wrong=13958, backtracks=6663, failedAssignments=8569, nogoods=1156, foundSolutions=16, bestBound=265
64.10/59.68	    nFilterCalls=347089, avgTableProportion=0.3595677189424038, avgTableSize=0.7191354378848076
64.10/59.68	    
64.51/60.05	    num=189, depth=6..14, filters=546589, revisions=(561717,useless=293665), ccks=644804354, wck=57.812, mem=151M460
64.51/60.05	    decisions=30293, wrong=14033, backtracks=6702, failedAssignments=8614, nogoods=1161, foundSolutions=16, bestBound=265
64.51/60.05	    nFilterCalls=349235, avgTableProportion=0.3597964121580025, avgTableSize=0.719592824316005
64.51/60.05	    
64.80/60.39	    num=190, depth=6..20, filters=550384, revisions=(565398,useless=295542), ccks=648460363, wck=58.153, mem=24M599
64.80/60.39	    decisions=30450, wrong=14105, backtracks=6727, failedAssignments=8664, nogoods=1173, foundSolutions=16, bestBound=265
64.80/60.39	    nFilterCalls=351865, avgTableProportion=0.3596464553166697, avgTableSize=0.7192929106333394
64.80/60.39	    
65.23/60.70	    num=191, depth=5..14, filters=553948, revisions=(568804,useless=297318), ccks=651886282, wck=58.461, mem=27M182
65.23/60.70	    decisions=30637, wrong=14193, backtracks=6768, failedAssignments=8719, nogoods=1176, foundSolutions=16, bestBound=265
65.23/60.70	    nFilterCalls=354426, avgTableProportion=0.3594995852448748, avgTableSize=0.7189991704897496
65.23/60.70	    
65.43/61.00	    num=192, depth=4..19, filters=557889, revisions=(572417,useless=299195), ccks=655169137, wck=58.76, mem=29M766
65.43/61.00	    decisions=30840, wrong=14287, backtracks=6807, failedAssignments=8780, nogoods=1196, foundSolutions=16, bestBound=265
65.43/61.00	    nFilterCalls=357345, avgTableProportion=0.35927185213169344, avgTableSize=0.7185437042633869
65.43/61.00	    
65.83/61.35	    num=193, depth=4..13, filters=562359, revisions=(577000,useless=301553), ccks=659029388, wck=59.111, mem=32M349
65.83/61.35	    decisions=31073, wrong=14400, backtracks=6866, failedAssignments=8847, nogoods=1199, foundSolutions=16, bestBound=265
65.83/61.35	    nFilterCalls=359833, avgTableProportion=0.35941117129335, avgTableSize=0.7188223425867
65.83/61.35	    
66.23/61.77	    num=194, depth=6..20, filters=567191, revisions=(581887,useless=304121), ccks=663734804, wck=59.534, mem=37M516
66.23/61.77	    decisions=31347, wrong=14529, backtracks=6934, failedAssignments=8921, nogoods=1209, foundSolutions=16, bestBound=265
66.23/61.77	    nFilterCalls=363064, avgTableProportion=0.35936088403146554, avgTableSize=0.7187217680629311
66.23/61.77	    
66.64/62.17	    num=195, depth=6..21, filters=572112, revisions=(587164,useless=306913), ccks=668229274, wck=59.937, mem=40M100
66.64/62.17	    decisions=31634, wrong=14669, backtracks=7001, failedAssignments=9002, nogoods=1215, foundSolutions=16, bestBound=265
66.64/62.17	    nFilterCalls=366100, avgTableProportion=0.3587667304015296, avgTableSize=0.7175334608030592
66.64/62.17	    
67.23/62.74	    num=196, depth=4..13, filters=575981, revisions=(590820,useless=308596), ccks=674684745, wck=60.503, mem=45M267
67.23/62.74	    decisions=31918, wrong=14808, backtracks=7057, failedAssignments=9091, nogoods=1229, foundSolutions=16, bestBound=265
67.23/62.74	    nFilterCalls=368553, avgTableProportion=0.35922241848526537, avgTableSize=0.7184448369705307
67.23/62.74	    
67.64/63.12	    num=197, depth=6..15, filters=581997, revisions=(596174,useless=311477), ccks=678777587, wck=60.881, mem=50M434
67.64/63.12	    decisions=32234, wrong=14962, backtracks=7127, failedAssignments=9189, nogoods=1241, foundSolutions=16, bestBound=265
67.64/63.12	    nFilterCalls=372936, avgTableProportion=0.35929087028337303, avgTableSize=0.7185817405667461
67.64/63.12	    
68.43/63.91	    num=198, depth=4..14, filters=588571, revisions=(602973,useless=314814), ccks=687564126, wck=61.677, mem=58M185
68.43/63.91	    decisions=32596, wrong=15139, backtracks=7222, failedAssignments=9297, nogoods=1246, foundSolutions=16, bestBound=265
68.43/63.91	    nFilterCalls=376630, avgTableProportion=0.35953986671268884, avgTableSize=0.7190797334253777
68.43/63.91	    
69.03/64.59	    num=199, depth=5..13, filters=598637, revisions=(611999,useless=319391), ccks=694937137, wck=62.35, mem=63M352
69.03/64.59	    decisions=33025, wrong=15351, backtracks=7346, failedAssignments=9416, nogoods=1252, foundSolutions=16, bestBound=265
69.03/64.59	    nFilterCalls=383352, avgTableProportion=0.35945814812496085, avgTableSize=0.7189162962499217
69.03/64.59	    
69.73/65.29	    num=200, depth=5..19, filters=605292, revisions=(619412,useless=323406), ccks=702710593, wck=63.051, mem=71M102
69.73/65.29	    decisions=33474, wrong=15568, backtracks=7452, failedAssignments=9547, nogoods=1265, foundSolutions=16, bestBound=265
69.73/65.29	    nFilterCalls=387197, avgTableProportion=0.359544366304491, avgTableSize=0.719088732608982
69.73/65.29	    
70.43/65.91	    num=201, depth=4..27, filters=612836, revisions=(627373,useless=327399), ccks=709574386, wck=63.672, mem=76M269
70.43/65.91	    decisions=33961, wrong=15803, backtracks=7557, failedAssignments=9691, nogoods=1280, foundSolutions=16, bestBound=265
70.43/65.91	    nFilterCalls=391781, avgTableProportion=0.35918153253986285, avgTableSize=0.7183630650797257
70.43/65.91	    
71.23/66.75	    num=202, depth=6..15, filters=623708, revisions=(637933,useless=333186), ccks=718713761, wck=64.512, mem=84M20
71.23/66.75	    decisions=34465, wrong=16050, backtracks=7673, failedAssignments=9849, nogoods=1294, foundSolutions=16, bestBound=265
71.23/66.75	    nFilterCalls=399275, avgTableProportion=0.3586638281885918, avgTableSize=0.7173276563771837
71.23/66.75	    
72.33/67.82	    num=203, depth=2..16, filters=634266, revisions=(648081,useless=337833), ccks=730721760, wck=65.585, mem=94M354
72.33/67.82	    decisions=35088, wrong=16357, backtracks=7843, failedAssignments=10023, nogoods=1304, foundSolutions=16, bestBound=265
72.33/67.82	    nFilterCalls=406081, avgTableProportion=0.3590256623678527, avgTableSize=0.7180513247357054
72.33/67.82	    
73.43/68.99	    num=204, depth=4..17, filters=644804, revisions=(659390,useless=343700), ccks=743878100, wck=66.758, mem=104M688
73.43/68.99	    decisions=35717, wrong=16666, backtracks=7999, failedAssignments=10214, nogoods=1312, foundSolutions=16, bestBound=265
73.43/68.99	    nFilterCalls=411839, avgTableProportion=0.35908813881152585, avgTableSize=0.7181762776230517
73.43/68.99	    
74.64/70.15	    num=205, depth=5..15, filters=656845, revisions=(672420,useless=350199), ccks=756838765, wck=67.916, mem=115M22
74.64/70.15	    decisions=36470, wrong=17040, backtracks=8200, failedAssignments=10425, nogoods=1318, foundSolutions=16, bestBound=265
74.64/70.15	    nFilterCalls=418209, avgTableProportion=0.3594482662974733, avgTableSize=0.7188965325949466
74.64/70.15	    
76.24/71.72	    num=206, depth=4..22, filters=672645, revisions=(688549,useless=358800), ccks=774497426, wck=69.486, mem=127M940
76.24/71.72	    decisions=37282, wrong=17439, backtracks=8396, failedAssignments=10657, nogoods=1327, foundSolutions=16, bestBound=265
76.24/71.72	    nFilterCalls=428434, avgTableProportion=0.35899811873007276, avgTableSize=0.7179962374601455
76.24/71.72	    
77.44/72.95	    num=207, depth=5..16, filters=692370, revisions=(706308,useless=368109), ccks=787701626, wck=70.709, mem=140M858
77.44/72.95	    decisions=38167, wrong=17877, backtracks=8631, failedAssignments=10912, nogoods=1339, foundSolutions=16, bestBound=265
77.44/72.95	    nFilterCalls=442219, avgTableProportion=0.35951983067213306, avgTableSize=0.7190396613442661
77.44/72.95	    
79.04/74.52	    num=208, depth=4..15, filters=705884, revisions=(720703,useless=375267), ccks=805497208, wck=72.282, mem=151M192
79.04/74.52	    decisions=39017, wrong=18297, backtracks=8810, failedAssignments=11193, nogoods=1346, foundSolutions=16, bestBound=265
79.04/74.52	    nFilterCalls=449035, avgTableProportion=0.36039172892981614, avgTableSize=0.7207834578596323
79.04/74.52	    
80.07/75.58	    num=209, depth=4..23, filters=719772, revisions=(736218,useless=383496), ccks=817270067, wck=73.348, mem=32M198
80.07/75.58	    decisions=39962, wrong=18763, backtracks=8989, failedAssignments=11502, nogoods=1363, foundSolutions=16, bestBound=265
80.07/75.58	    nFilterCalls=457106, avgTableProportion=0.35899003732175905, avgTableSize=0.7179800746435181
80.07/75.58	    
81.97/77.45	    num=210, depth=4..17, filters=737421, revisions=(753883,useless=392071), ccks=838307794, wck=75.218, mem=50M32
81.97/77.45	    decisions=41030, wrong=19294, backtracks=9239, failedAssignments=11842, nogoods=1432, foundSolutions=16, bestBound=265
81.97/77.45	    nFilterCalls=467313, avgTableProportion=0.3598155839876057, avgTableSize=0.7196311679752114
81.97/77.45	    
83.77/79.27	    num=211, depth=3..24, filters=759309, revisions=(775898,useless=403489), ccks=858578475, wck=77.035, mem=65M318
83.77/79.27	    decisions=42233, wrong=19893, backtracks=9532, failedAssignments=12216, nogoods=1437, foundSolutions=16, bestBound=265
83.77/79.27	    nFilterCalls=480432, avgTableProportion=0.3602622223332334, avgTableSize=0.7205244446664668
83.77/79.27	    
85.47/80.97	    num=212, depth=5..25, filters=780854, revisions=(800201,useless=416854), ccks=877568846, wck=78.735, mem=83M152
85.47/80.97	    decisions=43566, wrong=20555, backtracks=9836, failedAssignments=12627, nogoods=1467, foundSolutions=16, bestBound=265
85.47/80.97	    nFilterCalls=492217, avgTableProportion=0.35886001499338704, avgTableSize=0.7177200299867741
85.47/80.97	    
88.07/83.51	    num=213, depth=0..22, filters=806469, revisions=(827589,useless=430813), ccks=906179656, wck=81.279, mem=106M81
88.07/83.51	    decisions=45040, wrong=21288, backtracks=10209, failedAssignments=13079, nogoods=1482, foundSolutions=16, bestBound=265
88.07/83.51	    nFilterCalls=506083, avgTableProportion=0.35843824036768673, avgTableSize=0.7168764807353735
88.07/83.51	    
90.58/86.05	    num=214, depth=4..16, filters=847986, revisions=(865867,useless=451022), ccks=933833248, wck=83.81, mem=131M558
90.58/86.05	    decisions=46731, wrong=22129, backtracks=10684, failedAssignments=13576, nogoods=1489, foundSolutions=16, bestBound=265
90.58/86.05	    nFilterCalls=533663, avgTableProportion=0.3589521851805353, avgTableSize=0.7179043703610706
90.58/86.05	    
92.48/88.00	    num=215, depth=5..23, filters=872392, revisions=(896178,useless=467448), ccks=955807718, wck=85.767, mem=149M392
92.48/88.00	    decisions=48678, wrong=23098, backtracks=11154, failedAssignments=14123, nogoods=1510, foundSolutions=16, bestBound=265
92.48/88.00	    nFilterCalls=544650, avgTableProportion=0.3567704030111081, avgTableSize=0.7135408060222161
92.48/88.00	    
95.21/90.63	    num=216, depth=3..18, filters=910117, revisions=(932837,useless=486986), ccks=984390373, wck=88.392, mem=52M188
95.21/90.63	    decisions=50679, wrong=24095, backtracks=11707, failedAssignments=14725, nogoods=1518, foundSolutions=16, bestBound=265
95.21/90.63	    nFilterCalls=569961, avgTableProportion=0.35606997671770524, avgTableSize=0.7121399534354105
95.21/90.63	    
97.62/93.02	    num=217, depth=4..18, filters=954060, revisions=(973466,useless=508175), ccks=1010232719, wck=90.784, mem=82M304
97.62/93.02	    decisions=52714, wrong=25110, backtracks=12178, failedAssignments=15387, nogoods=1528, foundSolutions=16, bestBound=265
97.62/93.02	    nFilterCalls=598550, avgTableProportion=0.3563996324450756, avgTableSize=0.7127992648901512
97.62/93.02	    
100.21/95.66	o 263
100.21/95.66	    num=218, depth=2..104, filters=985336, revisions=(1007825,useless=526756), ccks=1039728433, wck=93.423, mem=107M401
100.21/95.66	    decisions=55099, wrong=26288, backtracks=12815, failedAssignments=16036, nogoods=1537, foundSolutions=17, bestBound=263
100.21/95.66	    nFilterCalls=617568, avgTableProportion=0.35519975128244985, avgTableSize=0.7103995025648997
100.21/95.66	    
105.04/100.48	    num=219, depth=3..20, filters=1035903, revisions=(1060644,useless=554784), ccks=1093700869, wck=98.248, mem=27M13
105.04/100.48	    decisions=57839, wrong=27655, backtracks=13503, failedAssignments=16837, nogoods=1542, foundSolutions=17, bestBound=263
105.04/100.48	    nFilterCalls=647429, avgTableProportion=0.35507754518256057, avgTableSize=0.7101550903651211
105.04/100.48	    
105.14/100.56	    num=220, depth=0..8, filters=1036342, revisions=(1061138,useless=555004), ccks=1094549229, wck=98.322, mem=27M13
105.14/100.56	    decisions=57870, wrong=27668, backtracks=13507, failedAssignments=16848, nogoods=1544, foundSolutions=17, bestBound=263
105.14/100.56	    nFilterCalls=647618, avgTableProportion=0.3550989935424895, avgTableSize=0.710197987084979
105.14/100.56	    
105.24/100.64	    num=221, depth=8..13, filters=1037156, revisions=(1061980,useless=555433), ccks=1095445983, wck=98.403, mem=27M13
105.24/100.64	    decisions=57918, wrong=27688, backtracks=13517, failedAssignments=16860, nogoods=1548, foundSolutions=17, bestBound=263
105.24/100.64	    nFilterCalls=648133, avgTableProportion=0.35512078539435576, avgTableSize=0.7102415707887115
105.24/100.64	    
105.34/100.74	    num=222, depth=4..15, filters=1037983, revisions=(1062854,useless=555845), ccks=1096547362, wck=98.501, mem=29M483
105.34/100.74	    decisions=57972, wrong=27709, backtracks=13525, failedAssignments=16873, nogoods=1555, foundSolutions=17, bestBound=263
105.34/100.74	    nFilterCalls=648724, avgTableProportion=0.3551425567729882, avgTableSize=0.7102851135459765
105.34/100.74	    
105.44/100.87	    num=223, depth=7..12, filters=1038623, revisions=(1063636,useless=556205), ccks=1098115577, wck=98.637, mem=29M483
105.44/100.87	    decisions=58021, wrong=27729, backtracks=13533, failedAssignments=16887, nogoods=1559, foundSolutions=17, bestBound=263
105.44/100.87	    nFilterCalls=649015, avgTableProportion=0.3551574308760198, avgTableSize=0.7103148617520396
105.44/100.87	    
105.54/100.94	    num=224, depth=5..9, filters=1039625, revisions=(1064427,useless=556526), ccks=1098883346, wck=98.708, mem=29M483
105.54/100.94	    decisions=58076, wrong=27754, backtracks=13542, failedAssignments=16903, nogoods=1563, foundSolutions=17, bestBound=263
105.54/100.94	    nFilterCalls=649753, avgTableProportion=0.3552480711901292, avgTableSize=0.7104961423802584
105.54/100.94	    
105.65/101.08	    num=225, depth=7..12, filters=1040867, revisions=(1065763,useless=557219), ccks=1100400856, wck=98.844, mem=31M953
105.65/101.08	    decisions=58143, wrong=27783, backtracks=13557, failedAssignments=16920, nogoods=1567, foundSolutions=17, bestBound=263
105.65/101.08	    nFilterCalls=650475, avgTableProportion=0.35527191667627506, avgTableSize=0.7105438333525501
105.65/101.08	    
105.75/101.19	    num=226, depth=8..12, filters=1041819, revisions=(1066794,useless=557741), ccks=1101595696, wck=98.95, mem=31M953
105.75/101.19	    decisions=58205, wrong=27810, backtracks=13566, failedAssignments=16939, nogoods=1570, foundSolutions=17, bestBound=263
105.75/101.19	    nFilterCalls=651046, avgTableProportion=0.3552920991757879, avgTableSize=0.7105841983515758
105.75/101.19	    
105.94/101.38	    num=227, depth=8..16, filters=1043178, revisions=(1068280,useless=558419), ccks=1103857665, wck=99.148, mem=34M424
105.94/101.38	    decisions=58288, wrong=27847, backtracks=13588, failedAssignments=16960, nogoods=1572, foundSolutions=17, bestBound=263
105.94/101.38	    nFilterCalls=651733, avgTableProportion=0.3552689521629256, avgTableSize=0.7105379043258512
105.94/101.38	    
106.24/101.60	    num=228, depth=5..13, filters=1044887, revisions=(1070119,useless=559336), ccks=1106296518, wck=99.364, mem=36M894
106.24/101.60	    decisions=58372, wrong=27884, backtracks=13605, failedAssignments=16983, nogoods=1576, foundSolutions=17, bestBound=263
106.24/101.60	    nFilterCalls=652809, avgTableProportion=0.3553405360526586, avgTableSize=0.7106810721053172
106.24/101.60	    
106.34/101.78	    num=229, depth=6..13, filters=1046952, revisions=(1072032,useless=560269), ccks=1108247400, wck=99.54, mem=36M894
106.34/101.78	    decisions=58476, wrong=27933, backtracks=13634, failedAssignments=17008, nogoods=1581, foundSolutions=17, bestBound=263
106.34/101.78	    nFilterCalls=654226, avgTableProportion=0.35551017538281876, avgTableSize=0.7110203507656375
106.34/101.78	    
106.54/101.90	    num=230, depth=6..12, filters=1048696, revisions=(1073636,useless=561040), ccks=1109624202, wck=99.666, mem=39M364
106.54/101.90	    decisions=58578, wrong=27981, backtracks=13661, failedAssignments=17036, nogoods=1584, foundSolutions=17, bestBound=263
106.54/101.90	    nFilterCalls=655361, avgTableProportion=0.35559027772479596, avgTableSize=0.7111805554495919
106.54/101.90	    
106.75/102.15	    num=231, depth=5..13, filters=1050838, revisions=(1075989,useless=562229), ccks=1112378737, wck=99.911, mem=41M834
106.75/102.15	    decisions=58699, wrong=28038, backtracks=13692, failedAssignments=17067, nogoods=1589, foundSolutions=17, bestBound=263
106.75/102.15	    nFilterCalls=656507, avgTableProportion=0.35561540090204674, avgTableSize=0.7112308018040935
106.75/102.15	    
106.94/102.32	    num=232, depth=6..15, filters=1052814, revisions=(1078000,useless=563229), ccks=1114242162, wck=100.079, mem=44M304
106.94/102.32	    decisions=58819, wrong=28095, backtracks=13719, failedAssignments=17101, nogoods=1592, foundSolutions=17, bestBound=263
106.94/102.32	    nFilterCalls=657560, avgTableProportion=0.3556306648822921, avgTableSize=0.7112613297645842
106.94/102.32	    
107.14/102.55	    num=233, depth=8..16, filters=1054524, revisions=(1080001,useless=564188), ccks=1116871448, wck=100.312, mem=46M775
107.14/102.55	    decisions=58955, wrong=28158, backtracks=13752, failedAssignments=17138, nogoods=1595, foundSolutions=17, bestBound=263
107.14/102.55	    nFilterCalls=658356, avgTableProportion=0.35566547582159197, avgTableSize=0.7113309516431839
107.14/102.55	    
107.34/102.76	    num=234, depth=7..15, filters=1056985, revisions=(1082579,useless=565564), ccks=1119181915, wck=100.521, mem=49M245
107.34/102.76	    decisions=59108, wrong=28230, backtracks=13795, failedAssignments=17179, nogoods=1599, foundSolutions=17, bestBound=263
107.34/102.76	    nFilterCalls=659907, avgTableProportion=0.35571982112631023, avgTableSize=0.7114396422526205
107.34/102.76	    
107.54/102.99	    num=235, depth=7..14, filters=1059809, revisions=(1085346,useless=566944), ccks=1121808652, wck=100.759, mem=51M715
107.54/102.99	    decisions=59279, wrong=28311, backtracks=13841, failedAssignments=17224, nogoods=1605, foundSolutions=17, bestBound=263
107.54/102.99	    nFilterCalls=661799, avgTableProportion=0.355630637096762, avgTableSize=0.711261274193524
107.54/102.99	    
107.75/103.19	    num=236, depth=8..17, filters=1062264, revisions=(1088116,useless=568312), ccks=1124016864, wck=100.959, mem=54M185
107.75/103.19	    decisions=59450, wrong=28391, backtracks=13880, failedAssignments=17274, nogoods=1612, foundSolutions=17, bestBound=263
107.75/103.19	    nFilterCalls=663077, avgTableProportion=0.3556826733546783, avgTableSize=0.7113653467093566
107.75/103.19	    
108.05/103.43	    num=237, depth=7..15, filters=1064933, revisions=(1090938,useless=569777), ccks=1126628062, wck=101.195, mem=56M656
108.05/103.43	    decisions=59616, wrong=28470, backtracks=13917, failedAssignments=17329, nogoods=1625, foundSolutions=17, bestBound=263
108.05/103.43	    nFilterCalls=664858, avgTableProportion=0.3556233060292574, avgTableSize=0.7112466120585148
108.05/103.43	    
108.55/103.98	    num=238, depth=5..13, filters=1068866, revisions=(1094972,useless=571700), ccks=1132927104, wck=101.748, mem=61M596
108.55/103.98	    decisions=59855, wrong=28586, backtracks=13981, failedAssignments=17390, nogoods=1630, foundSolutions=17, bestBound=263
108.55/103.98	    nFilterCalls=667015, avgTableProportion=0.35568990202619133, avgTableSize=0.7113798040523827
108.55/103.98	    
108.75/104.16	    num=239, depth=4..13, filters=1072465, revisions=(1098106,useless=573302), ccks=1134751041, wck=101.919, mem=64M66
108.75/104.16	    decisions=60032, wrong=28671, backtracks=14000, failedAssignments=17457, nogoods=1661, foundSolutions=17, bestBound=263
108.75/104.16	    nFilterCalls=669279, avgTableProportion=0.35586728404746004, avgTableSize=0.7117345680949201
108.75/104.16	    
109.25/104.61	    num=240, depth=5..13, filters=1077955, revisions=(1103419,useless=575866), ccks=1139755085, wck=102.371, mem=69M7
109.25/104.61	    decisions=60341, wrong=28822, backtracks=14088, failedAssignments=17531, nogoods=1669, foundSolutions=17, bestBound=263
109.25/104.61	    nFilterCalls=672478, avgTableProportion=0.3558867353281446, avgTableSize=0.7117734706562892
109.25/104.61	    
109.76/105.11	    num=241, depth=5..15, filters=1082758, revisions=(1108665,useless=578621), ccks=1145383173, wck=102.872, mem=73M947
109.76/105.11	    decisions=60622, wrong=28956, backtracks=14157, failedAssignments=17612, nogoods=1684, foundSolutions=17, bestBound=263
109.76/105.11	    nFilterCalls=675236, avgTableProportion=0.3559007517371704, avgTableSize=0.7118015034743408
109.76/105.11	    
110.15/105.52	    num=242, depth=2..14, filters=1087710, revisions=(1113967,useless=581401), ccks=1149971727, wck=103.286, mem=76M417
110.15/105.52	    decisions=60912, wrong=29098, backtracks=14220, failedAssignments=17701, nogoods=1690, foundSolutions=17, bestBound=263
110.15/105.52	    nFilterCalls=678009, avgTableProportion=0.3561302283598005, avgTableSize=0.712260456719601
110.15/105.52	    
110.76/106.16	    num=243, depth=6..17, filters=1093888, revisions=(1120804,useless=584950), ccks=1157154250, wck=103.926, mem=83M828
110.76/106.16	    decisions=61253, wrong=29263, backtracks=14303, failedAssignments=17799, nogoods=1699, foundSolutions=17, bestBound=263
110.76/106.16	    nFilterCalls=681299, avgTableProportion=0.3563883111526657, avgTableSize=0.7127766223053315
110.76/106.16	    
111.45/106.80	    num=244, depth=3..11, filters=1103216, revisions=(1129826,useless=589579), ccks=1164233517, wck=104.569, mem=91M238
111.45/106.80	    decisions=61642, wrong=29455, backtracks=14413, failedAssignments=17907, nogoods=1703, foundSolutions=17, bestBound=263
111.45/106.80	    nFilterCalls=686875, avgTableProportion=0.3565736123748863, avgTableSize=0.7131472247497725
111.45/106.80	    
112.15/107.54	    num=245, depth=6..18, filters=1109099, revisions=(1136475,useless=593018), ccks=1172583905, wck=105.304, mem=96M179
112.15/107.54	    decisions=62051, wrong=29655, backtracks=14506, failedAssignments=18026, nogoods=1706, foundSolutions=17, bestBound=263
112.15/107.54	    nFilterCalls=690117, avgTableProportion=0.3564286925260499, avgTableSize=0.7128573850520998
112.15/107.54	    
112.85/108.25	    num=246, depth=5..15, filters=1116939, revisions=(1144554,useless=597139), ccks=1180437039, wck=106.011, mem=103M589
112.85/108.25	    decisions=62534, wrong=29894, backtracks=14641, failedAssignments=18157, nogoods=1711, foundSolutions=17, bestBound=263
112.85/108.25	    nFilterCalls=694727, avgTableProportion=0.3565846728283196, avgTableSize=0.7131693456566393
112.85/108.25	    
113.76/109.14	    num=247, depth=4..14, filters=1127097, revisions=(1154694,useless=602265), ccks=1190331893, wck=106.902, mem=113M470
113.76/109.14	    decisions=63041, wrong=30145, backtracks=14773, failedAssignments=18301, nogoods=1719, foundSolutions=17, bestBound=263
113.76/109.14	    nFilterCalls=700542, avgTableProportion=0.3566831110768519, avgTableSize=0.7133662221537038
113.76/109.14	    
114.15/109.50	    num=248, depth=4..23, filters=1133022, revisions=(1160794,useless=605555), ccks=1194216643, wck=107.261, mem=120M881
114.15/109.50	    decisions=63468, wrong=30350, backtracks=14828, failedAssignments=18459, nogoods=1751, foundSolutions=17, bestBound=263
114.15/109.50	    nFilterCalls=704021, avgTableProportion=0.3567322565662104, avgTableSize=0.7134645131324208
114.15/109.50	    
115.05/110.49	    num=249, depth=0..16, filters=1143604, revisions=(1171474,useless=610546), ccks=1205345167, wck=108.253, mem=128M292
115.05/110.49	    decisions=64051, wrong=30638, backtracks=14981, failedAssignments=18633, nogoods=1765, foundSolutions=17, bestBound=263
115.05/110.49	    nFilterCalls=710214, avgTableProportion=0.3562264331595829, avgTableSize=0.7124528663191658
115.05/110.49	    
116.05/111.41	    num=250, depth=6..16, filters=1154943, revisions=(1182378,useless=615812), ccks=1215594343, wck=109.178, mem=138M172
116.05/111.41	    decisions=64710, wrong=30964, backtracks=15156, failedAssignments=18824, nogoods=1773, foundSolutions=17, bestBound=263
116.05/111.41	    nFilterCalls=717192, avgTableProportion=0.35614103336345077, avgTableSize=0.7122820667269015
116.05/111.41	    
117.06/112.46	    num=251, depth=3..17, filters=1166216, revisions=(1194175,useless=622199), ccks=1227191579, wck=110.225, mem=26M932
117.06/112.46	    decisions=65430, wrong=31321, backtracks=15330, failedAssignments=19035, nogoods=1783, foundSolutions=17, bestBound=263
117.06/112.46	    nFilterCalls=724712, avgTableProportion=0.3559469140844915, avgTableSize=0.711893828168983
117.06/112.46	    
117.86/113.27	    num=252, depth=5..18, filters=1180288, revisions=(1207181,useless=628439), ccks=1235820982, wck=111.03, mem=36M652
117.86/113.27	    decisions=66275, wrong=31738, backtracks=15578, failedAssignments=19267, nogoods=1790, foundSolutions=17, bestBound=263
117.86/113.27	    nFilterCalls=734130, avgTableProportion=0.3556570362197431, avgTableSize=0.7113140724394862
117.86/113.27	    
119.06/114.48	    num=253, depth=4..15, filters=1201732, revisions=(1227439,useless=638799), ccks=1248879113, wck=112.246, mem=53M661
119.06/114.48	    decisions=67221, wrong=32208, backtracks=15850, failedAssignments=19522, nogoods=1804, foundSolutions=17, bestBound=263
119.06/114.48	    nFilterCalls=747460, avgTableProportion=0.35619096674069517, avgTableSize=0.7123819334813903
119.06/114.48	    
120.46/115.84	    num=254, depth=5..21, filters=1216603, revisions=(1243511,useless=647102), ccks=1263797481, wck=113.599, mem=68M240
120.46/115.84	    decisions=68121, wrong=32649, backtracks=16050, failedAssignments=19803, nogoods=1822, foundSolutions=17, bestBound=263
120.46/115.84	    nFilterCalls=755717, avgTableProportion=0.3563278317147821, avgTableSize=0.7126556634295642
120.46/115.84	    
121.77/117.17	    num=255, depth=0..17, filters=1236309, revisions=(1262520,useless=656482), ccks=1278402520, wck=114.938, mem=82M819
121.77/117.17	    decisions=69120, wrong=33146, backtracks=16285, failedAssignments=20112, nogoods=1829, foundSolutions=17, bestBound=263
121.77/117.17	    nFilterCalls=767302, avgTableProportion=0.3564404888818223, avgTableSize=0.7128809777636446
121.77/117.17	    
123.16/118.51	    num=256, depth=4..17, filters=1254499, revisions=(1280988,useless=666330), ccks=1292858350, wck=116.269, mem=99M828
123.16/118.51	    decisions=70231, wrong=33698, backtracks=16553, failedAssignments=20452, nogoods=1839, foundSolutions=17, bestBound=263
123.16/118.51	    nFilterCalls=778343, avgTableProportion=0.3564296203601754, avgTableSize=0.7128592407203508
123.16/118.51	    
125.16/120.59	    num=257, depth=3..20, filters=1279923, revisions=(1306440,useless=679525), ccks=1315685781, wck=118.351, mem=119M267
125.16/120.59	    decisions=71482, wrong=34322, backtracks=16860, failedAssignments=20826, nogoods=1848, foundSolutions=17, bestBound=263
125.16/120.59	    nFilterCalls=793801, avgTableProportion=0.3564476487180036, avgTableSize=0.7128952974360072
125.16/120.59	    
127.36/122.73	    num=258, depth=4..19, filters=1303312, revisions=(1331252,useless=692168), ccks=1339365328, wck=120.489, mem=141M136
127.36/122.73	    decisions=72922, wrong=35038, backtracks=17242, failedAssignments=21237, nogoods=1856, foundSolutions=17, bestBound=263
127.36/122.73	    nFilterCalls=807896, avgTableProportion=0.35620797726440034, avgTableSize=0.7124159545288007
127.36/122.73	    
130.27/125.66	    num=259, depth=5..20, filters=1331632, revisions=(1360526,useless=706812), ccks=1371994290, wck=123.42, mem=46M3
130.27/125.66	    decisions=74602, wrong=35873, backtracks=17707, failedAssignments=21689, nogoods=1865, foundSolutions=17, bestBound=263
130.27/125.66	    nFilterCalls=823759, avgTableProportion=0.35611325642572644, avgTableSize=0.7122265128514529
130.27/125.66	    
132.78/128.11	    num=260, depth=4..15, filters=1364785, revisions=(1393397,useless=723730), ccks=1398905059, wck=125.876, mem=74M670
132.78/128.11	    decisions=76277, wrong=36706, backtracks=18134, failedAssignments=22186, nogoods=1883, foundSolutions=17, bestBound=263
132.78/128.11	    nFilterCalls=843693, avgTableProportion=0.3561615421723305, avgTableSize=0.712323084344661
132.78/128.11	    
136.02/131.39	    num=261, depth=2..15, filters=1394803, revisions=(1424270,useless=738636), ccks=1435685179, wck=129.15, mem=105M727
136.02/131.39	    decisions=78090, wrong=37610, backtracks=18578, failedAssignments=22733, nogoods=1891, foundSolutions=17, bestBound=263
136.02/131.39	    nFilterCalls=860193, avgTableProportion=0.3559712762135939, avgTableSize=0.7119425524271878
136.02/131.39	    
139.52/134.82	    num=262, depth=3..23, filters=1433763, revisions=(1464232,useless=760070), ccks=1474012640, wck=132.586, mem=139M172
139.52/134.82	    decisions=80199, wrong=38658, backtracks=19117, failedAssignments=23335, nogoods=1904, foundSolutions=17, bestBound=263
139.52/134.82	    nFilterCalls=884977, avgTableProportion=0.35593241406273834, avgTableSize=0.7118648281254767
139.52/134.82	    
142.65/137.93	    num=263, depth=5..18, filters=1474542, revisions=(1505796,useless=781489), ccks=1508333218, wck=135.696, mem=55M160
142.65/137.93	    decisions=82492, wrong=39798, backtracks=19678, failedAssignments=23997, nogoods=1922, foundSolutions=17, bestBound=263
142.65/137.93	    nFilterCalls=909559, avgTableProportion=0.35544368204811344, avgTableSize=0.7108873640962269
142.65/137.93	    
145.05/140.36	    num=264, depth=4..22, filters=1516486, revisions=(1548236,useless=802428), ccks=1534911933, wck=138.122, mem=85M816
145.05/140.36	    decisions=84712, wrong=40904, backtracks=20133, failedAssignments=24725, nogoods=1940, foundSolutions=17, bestBound=263
145.05/140.36	    nFilterCalls=933707, avgTableProportion=0.35541288648366137, avgTableSize=0.7108257729673227
145.05/140.36	    
149.05/144.33	    num=265, depth=3..18, filters=1585921, revisions=(1609590,useless=834123), ccks=1578140486, wck=142.093, mem=128M262
149.05/144.33	    decisions=87479, wrong=42285, backtracks=20916, failedAssignments=25526, nogoods=1950, foundSolutions=17, bestBound=263
149.05/144.33	    nFilterCalls=981992, avgTableProportion=0.3559000480655647, avgTableSize=0.7118000961311294
149.05/144.33	    
153.76/149.01	    num=266, depth=2..25, filters=1654094, revisions=(1673341,useless=867948), ccks=1628912032, wck=146.77, mem=61M674
153.76/149.01	    decisions=90589, wrong=43837, backtracks=21757, failedAssignments=26407, nogoods=1958, foundSolutions=17, bestBound=263
153.76/149.01	    nFilterCalls=1028684, avgTableProportion=0.35681171282920704, avgTableSize=0.7136234256584141
153.76/149.01	    
157.66/153.00	o 262
157.66/153.00	    num=267, depth=2..104, filters=1727224, revisions=(1736502,useless=900530), ccks=1671652776, wck=150.76, mem=112M870
157.66/153.00	    decisions=93590, wrong=45326, backtracks=22594, failedAssignments=27235, nogoods=1978, foundSolutions=18, bestBound=262
157.66/153.00	    nFilterCalls=1079549, avgTableProportion=0.35850063313476277, avgTableSize=0.7170012662695255
157.66/153.00	    
162.61/157.89	    num=268, depth=4..19, filters=1807280, revisions=(1809195,useless=937719), ccks=1723991408, wck=155.649, mem=61M177
162.61/157.89	    decisions=97395, wrong=47223, backtracks=23631, failedAssignments=28302, nogoods=1990, foundSolutions=18, bestBound=262
162.61/157.89	    nFilterCalls=1134553, avgTableProportion=0.3604177151706443, avgTableSize=0.7208354303412886
162.61/157.89	    
162.71/157.94	    num=269, depth=8..12, filters=1807744, revisions=(1809693,useless=937979), ccks=1724656812, wck=155.708, mem=61M177
162.71/157.94	    decisions=97429, wrong=47236, backtracks=23635, failedAssignments=28313, nogoods=1996, foundSolutions=18, bestBound=262
162.71/157.94	    nFilterCalls=1134844, avgTableProportion=0.3604279530931124, avgTableSize=0.7208559061862247
162.71/157.94	    
162.82/158.06	    num=270, depth=5..8, filters=1808132, revisions=(1810191,useless=938219), ccks=1725969461, wck=155.822, mem=63M472
162.82/158.06	    decisions=97468, wrong=47253, backtracks=23642, failedAssignments=28325, nogoods=2001, foundSolutions=18, bestBound=262
162.82/158.06	    nFilterCalls=1134996, avgTableProportion=0.36044003679308123, avgTableSize=0.7208800735861625
162.82/158.06	    
162.92/158.17	    num=271, depth=5..11, filters=1809164, revisions=(1811240,useless=938737), ccks=1727252738, wck=155.936, mem=63M472
162.92/158.17	    decisions=97527, wrong=47280, backtracks=23660, failedAssignments=28338, nogoods=2004, foundSolutions=18, bestBound=262
162.92/158.17	    nFilterCalls=1135727, avgTableProportion=0.36046602748723944, avgTableSize=0.7209320549744789
162.92/158.17	    
163.01/158.25	    num=272, depth=8..13, filters=1809882, revisions=(1811976,useless=939104), ccks=1728089223, wck=156.011, mem=65M768
163.01/158.25	    decisions=97579, wrong=47302, backtracks=23669, failedAssignments=28352, nogoods=2005, foundSolutions=18, bestBound=262
163.01/158.25	    nFilterCalls=1136190, avgTableProportion=0.3605004444679147, avgTableSize=0.7210008889358294
163.01/158.25	    
163.22/158.41	    num=273, depth=6..11, filters=1810991, revisions=(1813138,useless=939637), ccks=1729899724, wck=156.17, mem=65M768
163.22/158.41	    decisions=97647, wrong=47333, backtracks=23685, failedAssignments=28368, nogoods=2009, foundSolutions=18, bestBound=262
163.22/158.41	    nFilterCalls=1136758, avgTableProportion=0.36054067796311967, avgTableSize=0.7210813559262393
163.22/158.41	    
163.32/158.52	    num=274, depth=6..13, filters=1812228, revisions=(1814382,useless=940299), ccks=1731117006, wck=156.28, mem=68M64
163.32/158.52	    decisions=97711, wrong=47361, backtracks=23699, failedAssignments=28385, nogoods=2015, foundSolutions=18, bestBound=262
163.32/158.52	    nFilterCalls=1137521, avgTableProportion=0.3605783981130898, avgTableSize=0.7211567962261796
163.32/158.52	    
163.42/158.64	    num=275, depth=4..17, filters=1813684, revisions=(1815833,useless=941069), ccks=1732461600, wck=156.402, mem=68M64
163.42/158.64	    decisions=97791, wrong=47395, backtracks=23718, failedAssignments=28404, nogoods=2019, foundSolutions=18, bestBound=262
163.42/158.64	    nFilterCalls=1138580, avgTableProportion=0.3605943368054946, avgTableSize=0.7211886736109892
163.42/158.64	    
163.52/158.79	    num=276, depth=6..13, filters=1814889, revisions=(1817065,useless=941658), ccks=1734158966, wck=156.552, mem=70M360
163.52/158.79	    decisions=97864, wrong=47428, backtracks=23734, failedAssignments=28425, nogoods=2022, foundSolutions=18, bestBound=262
163.52/158.79	    nFilterCalls=1139186, avgTableProportion=0.3606364544508096, avgTableSize=0.7212729089016192
163.52/158.79	    
163.72/158.97	    num=277, depth=6..14, filters=1816407, revisions=(1818769,useless=942560), ccks=1736174855, wck=156.73, mem=70M360
163.72/158.97	    decisions=97955, wrong=47469, backtracks=23756, failedAssignments=28448, nogoods=2027, foundSolutions=18, bestBound=262
163.72/158.97	    nFilterCalls=1140076, avgTableProportion=0.3606750778018308, avgTableSize=0.7213501556036616
163.72/158.97	    
163.93/159.13	    num=278, depth=6..11, filters=1818439, revisions=(1820766,useless=943535), ccks=1738017485, wck=156.897, mem=72M656
163.93/159.13	    decisions=98061, wrong=47519, backtracks=23784, failedAssignments=28473, nogoods=2032, foundSolutions=18, bestBound=262
163.93/159.13	    nFilterCalls=1141311, avgTableProportion=0.36075267827962754, avgTableSize=0.7215053565592551
163.93/159.13	    
164.12/159.35	    num=279, depth=5..13, filters=1820287, revisions=(1822987,useless=944652), ccks=1740445236, wck=157.111, mem=74M952
164.12/159.35	    decisions=98170, wrong=47569, backtracks=23809, failedAssignments=28501, nogoods=2037, foundSolutions=18, bestBound=262
164.12/159.35	    nFilterCalls=1142132, avgTableProportion=0.36078754469711033, avgTableSize=0.7215750893942207
164.12/159.35	    
164.32/159.52	    num=280, depth=7..15, filters=1822440, revisions=(1825167,useless=945761), ccks=1742364759, wck=157.285, mem=77M248
164.32/159.52	    decisions=98293, wrong=47626, backtracks=23839, failedAssignments=28532, nogoods=2040, foundSolutions=18, bestBound=262
164.32/159.52	    nFilterCalls=1143440, avgTableProportion=0.3608239173021759, avgTableSize=0.7216478346043518
164.32/159.52	    
164.52/159.71	    num=281, depth=6..12, filters=1824740, revisions=(1827415,useless=946927), ccks=1744498297, wck=157.479, mem=79M544
164.52/159.71	    decisions=98411, wrong=47679, backtracks=23870, failedAssignments=28566, nogoods=2045, foundSolutions=18, bestBound=262
164.52/159.71	    nFilterCalls=1144988, avgTableProportion=0.36088413153674975, avgTableSize=0.7217682630734995
164.52/159.71	    
164.72/159.94	    num=282, depth=3..12, filters=1827719, revisions=(1830029,useless=948164), ccks=1746947242, wck=157.703, mem=81M840
164.72/159.94	    decisions=98563, wrong=47752, backtracks=23911, failedAssignments=28603, nogoods=2051, foundSolutions=18, bestBound=262
164.72/159.94	    nFilterCalls=1146867, avgTableProportion=0.3610300932889341, avgTableSize=0.7220601865778682
164.72/159.94	    
165.02/160.22	    num=283, depth=5..15, filters=1830048, revisions=(1832508,useless=949468), ccks=1750108127, wck=157.982, mem=84M136
165.02/160.22	    decisions=98703, wrong=47818, backtracks=23947, failedAssignments=28644, nogoods=2055, foundSolutions=18, bestBound=262
165.02/160.22	    nFilterCalls=1148279, avgTableProportion=0.3610916859056031, avgTableSize=0.7221833718112062
165.02/160.22	    
165.22/160.47	    num=284, depth=4..15, filters=1832633, revisions=(1835135,useless=950881), ccks=1752933190, wck=158.236, mem=88M727
165.22/160.47	    decisions=98836, wrong=47881, backtracks=23975, failedAssignments=28689, nogoods=2059, foundSolutions=18, bestBound=262
165.22/160.47	    nFilterCalls=1149938, avgTableProportion=0.36113033920089604, avgTableSize=0.7222606784017921
165.22/160.47	    
165.42/160.65	    num=285, depth=5..14, filters=1835806, revisions=(1837704,useless=952130), ccks=1754870756, wck=158.416, mem=91M23
165.42/160.65	    decisions=99004, wrong=47960, backtracks=24008, failedAssignments=28739, nogoods=2070, foundSolutions=18, bestBound=262
165.42/160.65	    nFilterCalls=1152437, avgTableProportion=0.3611928461165339, avgTableSize=0.7223856922330678
165.42/160.65	    
165.62/160.86	    num=286, depth=8..15, filters=1838100, revisions=(1840240,useless=953376), ccks=1757163575, wck=158.621, mem=93M319
165.62/160.86	    decisions=99168, wrong=48037, backtracks=24037, failedAssignments=28794, nogoods=2077, foundSolutions=18, bestBound=262
165.62/160.86	    nFilterCalls=1153734, avgTableProportion=0.36114780356650666, avgTableSize=0.7222956071330133
165.62/160.86	    
165.93/161.13	    num=287, depth=8..14, filters=1840791, revisions=(1843170,useless=954895), ccks=1760160643, wck=158.89, mem=95M615
165.93/161.13	    decisions=99355, wrong=48126, backtracks=24073, failedAssignments=28855, nogoods=2099, foundSolutions=18, bestBound=262
165.93/161.13	    nFilterCalls=1155342, avgTableProportion=0.361203868638031, avgTableSize=0.722407737276062
165.93/161.13	    
166.37/161.52	    num=288, depth=0..14, filters=1843530, revisions=(1846082,useless=956297), ccks=1764594255, wck=159.28, mem=97M911
166.37/161.52	    decisions=99561, wrong=48224, backtracks=24115, failedAssignments=28922, nogoods=2113, foundSolutions=18, bestBound=262
166.37/161.52	    nFilterCalls=1156723, avgTableProportion=0.3612161252088875, avgTableSize=0.722432250417775
166.37/161.52	    
166.67/161.81	    num=289, depth=5..16, filters=1848122, revisions=(1850007,useless=958146), ccks=1767826954, wck=159.575, mem=102M503
166.67/161.81	    decisions=99803, wrong=48341, backtracks=24171, failedAssignments=28996, nogoods=2123, foundSolutions=18, bestBound=262
166.67/161.81	    nFilterCalls=1159715, avgTableProportion=0.3612736749977365, avgTableSize=0.722547349995473
166.67/161.81	    
166.87/162.06	    num=290, depth=4..15, filters=1853802, revisions=(1855483,useless=961088), ccks=1770499732, wck=159.828, mem=107M95
166.87/162.06	    decisions=100097, wrong=48485, backtracks=24251, failedAssignments=29077, nogoods=2128, foundSolutions=18, bestBound=262
166.87/162.06	    nFilterCalls=1163622, avgTableProportion=0.36121910723585493, avgTableSize=0.7224382144717099
166.87/162.06	    
167.37/162.52	    num=291, depth=4..13, filters=1862213, revisions=(1862987,useless=964850), ccks=1775430109, wck=160.283, mem=113M982
167.37/162.52	    decisions=100431, wrong=48649, backtracks=24344, failedAssignments=29166, nogoods=2132, foundSolutions=18, bestBound=262
167.37/162.52	    nFilterCalls=1169320, avgTableProportion=0.36131640611637533, avgTableSize=0.7226328122327507
167.37/162.52	    
167.77/162.90	    num=292, depth=4..15, filters=1868094, revisions=(1868113,useless=967365), ccks=1779626495, wck=160.668, mem=116M278
167.77/162.90	    decisions=100743, wrong=48803, backtracks=24418, failedAssignments=29264, nogoods=2136, foundSolutions=18, bestBound=262
167.77/162.90	    nFilterCalls=1173444, avgTableProportion=0.3614948817327457, avgTableSize=0.7229897634654914
167.77/162.90	    
168.37/163.56	    num=293, depth=5..12, filters=1875886, revisions=(1876079,useless=971203), ccks=1786898979, wck=161.32, mem=123M166
168.37/163.56	    decisions=101119, wrong=48986, backtracks=24515, failedAssignments=29372, nogoods=2139, foundSolutions=18, bestBound=262
168.37/163.56	    nFilterCalls=1177415, avgTableProportion=0.36160487168925143, avgTableSize=0.7232097433785029
168.37/163.56	    
168.98/164.17	    num=294, depth=3..12, filters=1885655, revisions=(1885022,useless=975635), ccks=1793499944, wck=161.931, mem=130M53
168.98/164.17	    decisions=101564, wrong=49206, backtracks=24647, failedAssignments=29491, nogoods=2146, foundSolutions=18, bestBound=262
168.98/164.17	    nFilterCalls=1184028, avgTableProportion=0.3619099379406568, avgTableSize=0.7238198758813136
168.98/164.17	    
169.70/164.86	    num=295, depth=6..17, filters=1893428, revisions=(1892495,useless=979355), ccks=1801228516, wck=162.624, mem=136M941
169.70/164.86	    decisions=102033, wrong=49437, backtracks=24771, failedAssignments=29622, nogoods=2148, foundSolutions=18, bestBound=262
169.70/164.86	    nFilterCalls=1189109, avgTableProportion=0.36203115105511774, avgTableSize=0.7240623021102355
169.70/164.86	    
170.40/165.50	    num=296, depth=3..14, filters=1903438, revisions=(1902443,useless=984482), ccks=1808179163, wck=163.267, mem=31M180
170.40/165.50	    decisions=102545, wrong=49691, backtracks=24914, failedAssignments=29766, nogoods=2155, foundSolutions=18, bestBound=262
170.40/165.50	    nFilterCalls=1195435, avgTableProportion=0.3620636002793962, avgTableSize=0.7241272005587924
170.40/165.50	    
171.20/166.38	    num=297, depth=5..18, filters=1915973, revisions=(1914146,useless=990490), ccks=1817747456, wck=164.141, mem=42M503
171.20/166.38	    decisions=103132, wrong=49981, backtracks=25078, failedAssignments=29924, nogoods=2165, foundSolutions=18, bestBound=262
171.20/166.38	    nFilterCalls=1203056, avgTableProportion=0.36229859624157146, avgTableSize=0.7245971924831429
171.20/166.38	    
172.01/167.12	    num=298, depth=4..15, filters=1928399, revisions=(1925606,useless=996356), ccks=1825813136, wck=164.884, mem=51M562
172.01/167.12	    decisions=103762, wrong=50293, backtracks=25233, failedAssignments=30098, nogoods=2170, foundSolutions=18, bestBound=262
172.01/167.12	    nFilterCalls=1210874, avgTableProportion=0.3624373799420914, avgTableSize=0.7248747598841828
172.01/167.12	    
172.80/167.98	    num=299, depth=4..15, filters=1941141, revisions=(1936552,useless=1001724), ccks=1835148330, wck=165.743, mem=62M885
172.80/167.98	    decisions=104393, wrong=50605, backtracks=25408, failedAssignments=30289, nogoods=2173, foundSolutions=18, bestBound=262
172.80/167.98	    nFilterCalls=1219604, avgTableProportion=0.3627820997635298, avgTableSize=0.7255641995270596
172.80/167.98	    
174.20/169.33	    num=300, depth=4..14, filters=1956704, revisions=(1951175,useless=1008893), ccks=1850184468, wck=167.096, mem=78M737
174.20/169.33	    decisions=105151, wrong=50981, backtracks=25602, failedAssignments=30500, nogoods=2181, foundSolutions=18, bestBound=262
174.20/169.33	    nFilterCalls=1228268, avgTableProportion=0.36316341384779216, avgTableSize=0.7263268276955843
174.20/169.33	    
175.60/170.77	    num=301, depth=4..18, filters=1970391, revisions=(1965583,useless=1016351), ccks=1866284794, wck=168.53, mem=92M325
175.60/170.77	    decisions=105935, wrong=51371, backtracks=25813, failedAssignments=30732, nogoods=2206, foundSolutions=18, bestBound=262
175.60/170.77	    nFilterCalls=1236143, avgTableProportion=0.3633499522304458, avgTableSize=0.7266999044608916
175.60/170.77	    
177.30/172.49	    num=302, depth=1..14, filters=1987593, revisions=(1982363,useless=1024743), ccks=1885532413, wck=170.253, mem=108M177
177.30/172.49	    decisions=106862, wrong=51833, backtracks=26063, failedAssignments=30987, nogoods=2214, foundSolutions=18, bestBound=262
177.30/172.49	    nFilterCalls=1246840, avgTableProportion=0.3637651984216098, avgTableSize=0.7275303968432196
177.30/172.49	    
179.40/174.58	    num=303, depth=4..20, filters=2000491, revisions=(1996758,useless=1032151), ccks=1909397065, wck=172.34, mem=124M29
179.40/174.58	    decisions=107771, wrong=52284, backtracks=26263, failedAssignments=31268, nogoods=2221, foundSolutions=18, bestBound=262
179.40/174.58	    nFilterCalls=1253326, avgTableProportion=0.3638115701740808, avgTableSize=0.7276231403481616
179.40/174.58	    
180.60/175.72	    num=304, depth=4..18, filters=2015633, revisions=(2012678,useless=1040407), ccks=1921977043, wck=173.481, mem=135M352
180.60/175.72	    decisions=108710, wrong=52750, backtracks=26466, failedAssignments=31577, nogoods=2228, foundSolutions=18, bestBound=262
180.60/175.72	    nFilterCalls=1261936, avgTableProportion=0.3639261420547476, avgTableSize=0.7278522841094952
180.60/175.72	    
182.21/177.30	    num=305, depth=3..15, filters=2036859, revisions=(2033351,useless=1051008), ccks=1939352548, wck=175.063, mem=42M287
182.21/177.30	    decisions=109895, wrong=53337, backtracks=26762, failedAssignments=31917, nogoods=2239, foundSolutions=18, bestBound=262
182.21/177.30	    nFilterCalls=1274669, avgTableProportion=0.3642212213523668, avgTableSize=0.7284424427047336
182.21/177.30	    
183.81/178.92	    num=306, depth=2..15, filters=2064288, revisions=(2058173,useless=1063795), ccks=1956911738, wck=176.681, mem=60M153
183.81/178.92	    decisions=111199, wrong=53987, backtracks=27110, failedAssignments=32291, nogoods=2245, foundSolutions=18, bestBound=262
183.81/178.92	    nFilterCalls=1293908, avgTableProportion=0.36461247631207166, avgTableSize=0.7292249526241433
183.81/178.92	    
185.61/180.73	    num=307, depth=4..15, filters=2094052, revisions=(2084745,useless=1077136), ccks=1976449500, wck=178.498, mem=86M952
185.61/180.73	    decisions=112634, wrong=54700, backtracks=27466, failedAssignments=32702, nogoods=2251, foundSolutions=18, bestBound=262
185.61/180.73	    nFilterCalls=1314859, avgTableProportion=0.3653174979218304, avgTableSize=0.7306349958436608
185.61/180.73	    
187.82/183.00	    num=308, depth=4..16, filters=2125427, revisions=(2112857,useless=1091132), ccks=2001311868, wck=180.766, mem=118M218
187.82/183.00	    decisions=114294, wrong=55526, backtracks=27936, failedAssignments=33154, nogoods=2258, foundSolutions=18, bestBound=262
187.82/183.00	    nFilterCalls=1336892, avgTableProportion=0.3657056815359805, avgTableSize=0.731411363071961
187.82/183.00	    
191.04/186.18	    num=309, depth=4..19, filters=2159033, revisions=(2145254,useless=1107484), ccks=2036721307, wck=183.942, mem=33M197
191.04/186.18	    decisions=116040, wrong=56394, backtracks=28356, failedAssignments=33651, nogoods=2265, foundSolutions=18, bestBound=262
191.04/186.18	    nFilterCalls=1357159, avgTableProportion=0.36636974739142575, avgTableSize=0.7327394947828515
191.04/186.18	    
193.63/188.73	    num=310, depth=3..19, filters=2200212, revisions=(2184299,useless=1127411), ccks=2064759162, wck=186.495, mem=59M619
193.63/188.73	    decisions=117793, wrong=57268, backtracks=28763, failedAssignments=34198, nogoods=2275, foundSolutions=18, bestBound=262
193.63/188.73	    nFilterCalls=1381599, avgTableProportion=0.366307807113352, avgTableSize=0.732615614226704
193.63/188.73	    
195.94/191.02	    num=311, depth=3..19, filters=2236241, revisions=(2219047,useless=1145237), ccks=2089588759, wck=188.784, mem=92M647
195.94/191.02	    decisions=119756, wrong=58246, backtracks=29221, failedAssignments=34800, nogoods=2277, foundSolutions=18, bestBound=262
195.94/191.02	    nFilterCalls=1404797, avgTableProportion=0.3666479925569317, avgTableSize=0.7332959851138634
195.94/191.02	    
198.73/193.84	    num=312, depth=2..21, filters=2293043, revisions=(2268248,useless=1170479), ccks=2119497021, wck=191.601, mem=132M281
198.73/193.84	    decisions=122114, wrong=59423, backtracks=29917, failedAssignments=35462, nogoods=2281, foundSolutions=18, bestBound=262
198.73/193.84	    nFilterCalls=1444426, avgTableProportion=0.36758857843877085, avgTableSize=0.7351771568775417
198.73/193.84	    
202.25/197.30	    num=313, depth=2..21, filters=2337674, revisions=(2312270,useless=1193913), ccks=2157670279, wck=195.061, mem=59M163
202.25/197.30	    decisions=124676, wrong=60701, backtracks=30572, failedAssignments=36190, nogoods=2291, foundSolutions=18, bestBound=262
202.25/197.30	    nFilterCalls=1472855, avgTableProportion=0.36758234856791744, avgTableSize=0.7351646971358349
202.25/197.30	    
205.45/200.54	    num=314, depth=4..17, filters=2386020, revisions=(2358782,useless=1218003), ccks=2193110840, wck=198.301, mem=98M231
205.45/200.54	    decisions=127182, wrong=61950, backtracks=31153, failedAssignments=36991, nogoods=2298, foundSolutions=18, bestBound=262
205.45/200.54	    nFilterCalls=1503782, avgTableProportion=0.36793132249222293, avgTableSize=0.7358626449844459
205.45/200.54	    
210.56/205.60	    num=315, depth=2..16, filters=2446254, revisions=(2415623,useless=1246615), ccks=2249054193, wck=203.362, mem=41M525
210.56/205.60	    decisions=130199, wrong=63456, backtracks=31941, failedAssignments=37872, nogoods=2305, foundSolutions=18, bestBound=262
210.56/205.60	    nFilterCalls=1542521, avgTableProportion=0.3680332390936655, avgTableSize=0.736066478187331
210.56/205.60	    
213.96/209.02	    num=316, depth=2..15, filters=2486709, revisions=(2458159,useless=1268529), ccks=2286924831, wck=206.786, mem=80M27
213.96/209.02	    decisions=133063, wrong=64884, backtracks=32530, failedAssignments=38842, nogoods=2312, foundSolutions=18, bestBound=262
213.96/209.02	    nFilterCalls=1566812, avgTableProportion=0.36846092575241957, avgTableSize=0.7369218515048391
213.96/209.02	    
219.56/214.68	    num=317, depth=3..20, filters=2568410, revisions=(2535904,useless=1308813), ccks=2348785687, wck=212.442, mem=37M27
219.56/214.68	    decisions=136890, wrong=66795, backtracks=33621, failedAssignments=39909, nogoods=2319, foundSolutions=18, bestBound=262
219.56/214.68	    nFilterCalls=1619097, avgTableProportion=0.36911531551228866, avgTableSize=0.7382306310245773
219.56/214.68	    
225.16/220.20	    num=318, depth=2..14, filters=2663004, revisions=(2616718,useless=1350044), ccks=2408207311, wck=217.967, mem=106M577
225.16/220.20	    decisions=141075, wrong=68884, backtracks=34809, failedAssignments=41082, nogoods=2327, foundSolutions=18, bestBound=262
225.16/220.20	    nFilterCalls=1685342, avgTableProportion=0.3704749540449357, avgTableSize=0.7409499080898714
225.16/220.20	    
230.36/225.49	    num=319, depth=2..23, filters=2750440, revisions=(2700533,useless=1394471), ccks=2465731723, wck=223.258, mem=67M965
230.36/225.49	    decisions=145466, wrong=71076, backtracks=35996, failedAssignments=42373, nogoods=2334, foundSolutions=18, bestBound=262
230.36/225.49	    nFilterCalls=1745811, avgTableProportion=0.37020674059219466, avgTableSize=0.7404134811843893
230.36/225.49	    
236.57/231.60	    num=320, depth=2..18, filters=2864986, revisions=(2798492,useless=1443455), ccks=2530724917, wck=229.366, mem=48M871
236.57/231.60	    decisions=150592, wrong=73634, backtracks=37502, failedAssignments=43793, nogoods=2345, foundSolutions=18, bestBound=262
236.57/231.60	    nFilterCalls=1825159, avgTableProportion=0.3716251570411126, avgTableSize=0.7432503140822252
236.57/231.60	    
242.99/238.02	    num=321, depth=1..19, filters=2972667, revisions=(2899051,useless=1495679), ccks=2600397542, wck=235.786, mem=26M349
242.99/238.02	    decisions=155994, wrong=76332, backtracks=38952, failedAssignments=45355, nogoods=2356, foundSolutions=18, bestBound=262
242.99/238.02	    nFilterCalls=1899319, avgTableProportion=0.3714307601829919, avgTableSize=0.7428615203659839
242.99/238.02	    
249.88/244.95	    num=322, depth=0..19, filters=3089105, revisions=(3003973,useless=1549012), ccks=2674620988, wck=242.712, mem=110M905
249.88/244.95	    decisions=162000, wrong=79331, backtracks=40596, failedAssignments=47073, nogoods=2363, foundSolutions=18, bestBound=262
249.88/244.95	    nFilterCalls=1976467, avgTableProportion=0.37285646560251196, avgTableSize=0.7457129312050239
249.88/244.95	    
257.68/252.74	    num=323, depth=2..18, filters=3232000, revisions=(3127684,useless=1611345), ccks=2757287619, wck=250.501, mem=119M977
257.68/252.74	    decisions=168663, wrong=82660, backtracks=42446, failedAssignments=48963, nogoods=2373, foundSolutions=18, bestBound=262
257.68/252.74	    nFilterCalls=2076792, avgTableProportion=0.37401627124911885, avgTableSize=0.7480325424982377
257.68/252.74	    
265.30/260.39	    num=324, depth=1..20, filters=3380163, revisions=(3256905,useless=1677054), ccks=2838416960, wck=258.152, mem=30M181
265.30/260.39	    decisions=175537, wrong=86095, backtracks=44163, failedAssignments=51042, nogoods=2383, foundSolutions=18, bestBound=262
265.30/260.39	    nFilterCalls=2181951, avgTableProportion=0.3748335778392824, avgTableSize=0.7496671556785648
265.30/260.39	    
273.02/268.01	    num=325, depth=2..17, filters=3555880, revisions=(3406627,useless=1754098), ccks=2917586852, wck=265.775, mem=59M62
273.02/268.01	    decisions=183522, wrong=90085, backtracks=46347, failedAssignments=53329, nogoods=2396, foundSolutions=18, bestBound=262
273.02/268.01	    nFilterCalls=2310740, avgTableProportion=0.3762770800695881, avgTableSize=0.7525541601391762
273.02/268.01	    
283.56/278.51	    num=326, depth=1..17, filters=3767726, revisions=(3583073,useless=1843842), ccks=3028512315, wck=276.277, mem=117M857
283.56/278.51	    decisions=192747, wrong=94693, backtracks=49121, failedAssignments=55845, nogoods=2408, foundSolutions=18, bestBound=262
283.56/278.51	    nFilterCalls=2462849, avgTableProportion=0.37781122594198835, avgTableSize=0.7556224518839767
283.56/278.51	    
293.38/288.37	    num=327, depth=0..23, filters=3970728, revisions=(3758067,useless=1933289), ccks=3132798991, wck=286.13, mem=69M131
293.38/288.37	    decisions=202479, wrong=99556, backtracks=51829, failedAssignments=58613, nogoods=2419, foundSolutions=18, bestBound=262
293.38/288.37	    nFilterCalls=2605670, avgTableProportion=0.37767138586236937, avgTableSize=0.7553427717247387
293.38/288.37	    
306.99/301.99	    num=328, depth=0..21, filters=4225576, revisions=(3976424,useless=2044089), ccks=3278211840, wck=299.751, mem=60M834
306.99/301.99	    decisions=213189, wrong=104907, backtracks=54917, failedAssignments=61657, nogoods=2432, foundSolutions=18, bestBound=262
306.99/301.99	    nFilterCalls=2783025, avgTableProportion=0.3794256249943856, avgTableSize=0.7588512499887712
306.99/301.99	    
322.13/317.03	    num=329, depth=1..19, filters=4481507, revisions=(4197203,useless=2156247), ccks=3439557415, wck=314.795, mem=77M828
322.13/317.03	    decisions=225029, wrong=110823, backtracks=58289, failedAssignments=65006, nogoods=2439, foundSolutions=18, bestBound=262
322.13/317.03	    nFilterCalls=2967579, avgTableProportion=0.3804225599385897, avgTableSize=0.7608451198771794
322.13/317.03	    
339.73/334.63	    num=330, depth=1..22, filters=4729985, revisions=(4432175,useless=2281654), ccks=3632035125, wck=332.389, mem=93M983
339.73/334.63	    decisions=237499, wrong=117055, backtracks=61693, failedAssignments=68690, nogoods=2450, foundSolutions=18, bestBound=262
339.73/334.63	    nFilterCalls=3136049, avgTableProportion=0.38102944182313475, avgTableSize=0.7620588836462695
339.73/334.63	    
358.76/353.66	    num=331, depth=1..20, filters=5051166, revisions=(4714236,useless=2424790), ccks=3837593105, wck=351.426, mem=69M667
358.76/353.66	    decisions=251830, wrong=124216, backtracks=65704, failedAssignments=72742, nogoods=2461, foundSolutions=18, bestBound=262
358.76/353.66	    nFilterCalls=3361049, avgTableProportion=0.38186634589379687, avgTableSize=0.7637326917875937
358.76/353.66	    
376.77/371.69	    num=332, depth=0..23, filters=5335147, revisions=(4977000,useless=2560389), ccks=4033220403, wck=369.458, mem=42M159
376.77/371.69	    decisions=266150, wrong=131373, backtracks=69296, failedAssignments=77199, nogoods=2472, foundSolutions=18, bestBound=262
376.77/371.69	    nFilterCalls=3548279, avgTableProportion=0.38235479791752564, avgTableSize=0.7647095958350513
376.77/371.69	    
399.38/394.26	    num=333, depth=1..29, filters=5720004, revisions=(5326132,useless=2740273), ccks=4275962100, wck=392.024, mem=62M119
399.38/394.26	    decisions=283007, wrong=139799, backtracks=73769, failedAssignments=82102, nogoods=2482, foundSolutions=18, bestBound=262
399.38/394.26	    nFilterCalls=3806107, avgTableProportion=0.38292946046971355, avgTableSize=0.7658589209394271
399.38/394.26	    
426.41/421.24	    num=334, depth=0..23, filters=6156916, revisions=(5711133,useless=2935524), ccks=4566450883, wck=419.001, mem=82M536
426.41/421.24	    decisions=302166, wrong=149377, backtracks=79314, failedAssignments=87496, nogoods=2494, foundSolutions=18, bestBound=262
426.41/421.24	    nFilterCalls=4107252, avgTableProportion=0.3842006772411335, avgTableSize=0.768401354482267
426.41/421.24	    
455.85/450.63	    num=335, depth=0..23, filters=6642683, revisions=(6141977,useless=3157060), ccks=4884552005, wck=448.396, mem=43M603
455.85/450.63	    decisions=323419, wrong=160001, backtracks=85478, failedAssignments=93429, nogoods=2504, foundSolutions=18, bestBound=262
455.85/450.63	    nFilterCalls=4441764, avgTableProportion=0.3849899499388081, avgTableSize=0.7699798998776162
455.85/450.63	    
485.29/480.06	    num=336, depth=1..25, filters=7178061, revisions=(6614160,useless=3401627), ccks=5199609239, wck=477.821, mem=59M982
485.29/480.06	    decisions=346649, wrong=171613, backtracks=92038, failedAssignments=99955, nogoods=2512, foundSolutions=18, bestBound=262
485.29/480.06	    nFilterCalls=4820861, avgTableProportion=0.3849697180648851, avgTableSize=0.7699394361297702
485.29/480.06	    
518.11/512.84	
518.11/512.84	  New Bounds: 262..261
518.11/512.84	    num=337, depth=0..21, filters=7728985, revisions=(7093629,useless=3643365), ccks=5552041396, wck=510.603, mem=28M414
518.11/512.84	    decisions=369139, wrong=182859, backtracks=98576, failedAssignments=106316, foundSolutions=18, bestBound=262
518.11/512.84	    nFilterCalls=5198726, avgTableProportion=0.38623664720933554, avgTableSize=0.7724732944186711
518.11/512.84	    
518.11/512.84	  Global
518.11/512.84	    filters=7728985, revisions=(7093629,useless=3643365), ccks=5552041396
518.11/512.84	    Stop=FULL_EXPLORATION, wrong=182859, bestBound=262, bestBoundWck=151.141, bestBoundCpu=152.842, foundSolutions=18, firstSolCpu=2.997
518.11/512.84	    wck=510.986, cpu=512.478, mem=28M414
518.11/512.84	
518.11/512.84	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>
518.11/512.84	s OPTIMUM FOUND
518.11/512.84	
518.11/512.84	d WRONG_DECISIONS 182859
518.11/512.84	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 (10971 MiB free)
  memory of node 1: 16384 MiB (15348 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4391088-1568388080/watcher-4391088-1568388080 -o /tmp/evaluation-result-4391088-1568388080/solver-4391088-1568388080 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node104-1568383863-3869 --watchdog 2560 java -cp AbsCon19-06.jar AbsCon HOME/instance-4391088-1568388080.xml -cm 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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=3899, runsolver pid=3892

[startup+0.104156 s]*
/proc/loadavg: 1.50 1.79 1.80 7/227 3928
/proc/meminfo: memFree=26919284/32770624 swapFree=66977616/67108860
[pid=3899] ppid=3892 vsize=10659884 memory=27672 CPUtime=0.14 cores=0,2,4,6
/proc/3899/stat : 3899 (java) S 3892 3899 2180 0 -1 1077944320 5479 0 0 0 13 1 0 0 20 0 15 0 415065276 10915721216 6918 33554432000 4194304 4196468 140728345460272 140728345442816 140001488211703 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 15998976 140728345465867 140728345465970 140728345465970 140728345468879 0
/proc/3899/statm: 2664971 6918 2894 1 0 2627468 0
[pid=3899/tid=3902] ppid=3892 vsize=10659884 memory=720575944405811505 CPUtime=0.1 cores=0,2,4,6
/proc/3899/task/3902/stat : 3902 (java) R 3892 3899 2180 0 -1 4202560 3209 0 0 0 9 1 0 0 20 0 15 0 415065276 10915721216 7114 33554432000 4194304 4196468 140728345460272 140001492441096 140001119716913 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15998976 140728345465867 140728345465970 140728345465970 140728345468879 0
[pid=3899/tid=3907] ppid=3892 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3899/task/3907/stat : 3907 (java) S 3892 3899 2180 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415065277 10915721216 7114 33554432000 4194304 4196468 140728345460272 140001440832272 140001488221909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15998976 140728345465867 140728345465970 140728345465970 140728345468879 0
[pid=3899/tid=3908] ppid=3892 vsize=10659884 memory=140604313943409 CPUtime=0 cores=0,2,4,6
/proc/3899/task/3908/stat : 3908 (java) S 3892 3899 2180 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415065277 10915721216 7114 33554432000 4194304 4196468 140728345460272 140001439779728 140001488221909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15998976 140728345465867 140728345465970 140728345465970 140728345468879 0
[pid=3899/tid=3909] ppid=3892 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3899/task/3909/stat : 3909 (java) S 3892 3899 2180 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415065277 10915721216 7114 33554432000 4194304 4196468 140728345460272 140001093016592 140001488221909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15998976 140728345465867 140728345465970 140728345465970 140728345468879 0
[pid=3899/tid=3910] ppid=3892 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3899/task/3910/stat : 3910 (java) S 3892 3899 2180 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415065277 10915721216 7114 33554432000 4194304 4196468 140728345460272 140001091964048 140001488221909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15998976 140728345465867 140728345465970 140728345465970 140728345468879 0
[pid=3899/tid=3912] ppid=3892 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3899/task/3912/stat : 3912 (java) S 3892 3899 2180 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415065278 10915721216 7114 33554432000 4194304 4196468 140728345460272 140001047386096 140001488222850 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15998976 140728345465867 140728345465970 140728345465970 140728345468879 0
[pid=3899/tid=3914] ppid=3892 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3899/task/3914/stat : 3914 (java) S 3892 3899 2180 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415065279 10915721216 7114 33554432000 4194304 4196468 140728345460272 140001046332320 140001488221909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15998976 140728345465867 140728345465970 140728345465970 140728345468879 0
[pid=3899/tid=3916] ppid=3892 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3899/task/3916/stat : 3916 (java) S 3892 3899 2180 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415065279 10915721216 7114 33554432000 4194304 4196468 140728345460272 140001045279728 140001488221909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15998976 140728345465867 140728345465970 140728345465970 140728345468879 0
[pid=3899/tid=3921] ppid=3892 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3899/task/3921/stat : 3921 (java) S 3892 3899 2180 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415065281 10915721216 7114 33554432000 4194304 4196468 140728345460272 140001044228304 140001488230299 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15998976 140728345465867 140728345465970 140728345465970 140728345468879 0
[pid=3899/tid=3922] ppid=3892 vsize=10659884 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/3899/task/3922/stat : 3922 (java) R 3892 3899 2180 0 -1 4202560 413 0 0 0 1 0 0 0 20 0 15 0 415065281 10915721216 7114 33554432000 4194304 4196468 140728345460272 140001043175920 140001468912000 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15998976 140728345465867 140728345465970 140728345465970 140728345468879 0
[pid=3899/tid=3923] ppid=3892 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3899/task/3923/stat : 3923 (java) R 3892 3899 2180 0 -1 1077944384 178 0 0 0 0 0 0 0 20 0 15 0 415065281 10915721216 7114 33554432000 4194304 4196468 140728345460272 140001042123376 140001488222850 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15998976 140728345465867 140728345465970 140728345465970 140728345468879 0
[pid=3899/tid=3924] ppid=3892 vsize=10659884 memory=140604311107200 CPUtime=0.03 cores=0,2,4,6
/proc/3899/task/3924/stat : 3924 (java) R 3892 3899 2180 0 -1 4202560 402 0 0 0 3 0 0 0 20 0 15 0 415065281 10915721216 7114 33554432000 4194304 4196468 140728345460272 140001041068640 140001467600997 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15998976 140728345465867 140728345465970 140728345465970 140728345468879 0
[pid=3899/tid=3926] ppid=3892 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3899/task/3926/stat : 3926 (java) S 3892 3899 2180 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415065282 10915721216 7114 33554432000 4194304 4196468 140728345460272 140001040018528 140001488221909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15998976 140728345465867 140728345465970 140728345465970 140728345468879 0
[pid=3899/tid=3928] ppid=3892 vsize=10659884 memory=140604311107200 CPUtime=0 cores=0,2,4,6
/proc/3899/task/3928/stat : 3928 (java) S 3892 3899 2180 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415065282 10915721216 7114 33554432000 4194304 4196468 140728345460272 140001038965040 140001488222850 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15998976 140728345465867 140728345465970 140728345465970 140728345468879 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 27672 KiB

[startup+0.210588 s]*
/proc/loadavg: 1.50 1.79 1.80 4/227 3928
/proc/meminfo: memFree=26905300/32770624 swapFree=66977616/67108860
[pid=3899] ppid=3892 vsize=10659884 memory=35048 CPUtime=0.33 cores=0,2,4,6
/proc/3899/stat : 3899 (java) S 3892 3899 2180 0 -1 1077944320 6948 0 0 0 31 2 0 0 20 0 15 0 415065276 10915721216 8762 33554432000 4194304 4196468 140728345460272 140728345442816 140001488211703 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 15998976 140728345465867 140728345465970 140728345465970 140728345468879 0
/proc/3899/statm: 2664971 8762 2988 1 0 2627468 0
[pid=3899/tid=3902] ppid=3892 vsize=10659884 memory=7022364594140610616 CPUtime=0.19 cores=0,2,4,6
/proc/3899/task/3902/stat : 3902 (java) R 3892 3899 2180 0 -1 4202560 3839 0 0 0 18 1 0 0 20 0 15 0 415065276 10915721216 8762 33554432000 4194304 4196468 140728345460272 140001492443792 140001488233629 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15998976 140728345465867 140728345465970 140728345465970 140728345468879 0
[pid=3899/tid=3907] ppid=3892 vsize=10659884 memory=345 CPUtime=0 cores=0,2,4,6
/proc/3899/task/3907/stat : 3907 (java) S 3892 3899 2180 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415065277 10915721216 8762 33554432000 4194304 4196468 140728345460272 140001440832272 140001488221909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15998976 140728345465867 140728345465970 140728345465970 140728345468879 0
[pid=3899/tid=3908] ppid=3892 vsize=10659884 memory=3545933882359051936 CPUtime=0 cores=0,2,4,6
/proc/3899/task/3908/stat : 3908 (java) S 3892 3899 2180 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415065277 10915721216 8762 33554432000 4194304 4196468 140728345460272 140001439779728 140001488221909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15998976 140728345465867 140728345465970 140728345465970 140728345468879 0
[pid=3899/tid=3909] ppid=3892 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3899/task/3909/stat : 3909 (java) S 3892 3899 2180 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415065277 10915721216 8762 33554432000 4194304 4196468 140728345460272 140001093016592 140001488221909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15998976 140728345465867 140728345465970 140728345465970 140728345468879 0
[pid=3899/tid=3910] ppid=3892 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3899/task/3910/stat : 3910 (java) S 3892 3899 2180 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415065277 10915721216 8762 33554432000 4194304 4196468 140728345460272 140001091964048 140001488221909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15998976 140728345465867 140728345465970 140728345465970 140728345468879 0
[pid=3899/tid=3912] ppid=3892 vsize=10659884 memory=140604311107200 CPUtime=0 cores=0,2,4,6
/proc/3899/task/3912/stat : 3912 (java) S 3892 3899 2180 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415065278 10915721216 8762 33554432000 4194304 4196468 140728345460272 140001047386096 140001488222850 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15998976 140728345465867 140728345465970 140728345465970 140728345468879 0
[pid=3899/tid=3914] ppid=3892 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3899/task/3914/stat : 3914 (java) S 3892 3899 2180 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415065279 10915721216 8762 33554432000 4194304 4196468 140728345460272 140001046332320 140001488221909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15998976 140728345465867 140728345465970 140728345465970 140728345468879 0
[pid=3899/tid=3916] ppid=3892 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3899/task/3916/stat : 3916 (java) S 3892 3899 2180 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415065279 10915721216 8762 33554432000 4194304 4196468 140728345460272 140001045279728 140001488221909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15998976 140728345465867 140728345465970 140728345465970 140728345468879 0
[pid=3899/tid=3921] ppid=3892 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3899/task/3921/stat : 3921 (java) S 3892 3899 2180 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415065281 10915721216 8762 33554432000 4194304 4196468 140728345460272 140001044228304 140001488230299 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15998976 140728345465867 140728345465970 140728345465970 140728345468879 0
[pid=3899/tid=3922] ppid=3892 vsize=10659884 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/3899/task/3922/stat : 3922 (java) S 3892 3899 2180 0 -1 1077944384 790 0 0 0 3 0 0 0 20 0 15 0 415065281 10915721216 8762 33554432000 4194304 4196468 140728345460272 140001043175920 140001488222850 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15998976 140728345465867 140728345465970 140728345465970 140728345468879 0
[pid=3899/tid=3923] ppid=3892 vsize=10659884 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/3899/task/3923/stat : 3923 (java) S 3892 3899 2180 0 -1 1077944384 261 0 0 0 2 0 0 0 20 0 15 0 415065281 10915721216 8762 33554432000 4194304 4196468 140728345460272 140001042123376 140001488222850 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15998976 140728345465867 140728345465970 140728345465970 140728345468879 0
[pid=3899/tid=3924] ppid=3892 vsize=10659884 memory=140604311107200 CPUtime=0.05 cores=0,2,4,6
/proc/3899/task/3924/stat : 3924 (java) S 3892 3899 2180 0 -1 1077944384 699 0 0 0 5 0 0 0 20 0 15 0 415065281 10915721216 8762 33554432000 4194304 4196468 140728345460272 140001041070832 140001488222850 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15998976 140728345465867 140728345465970 140728345465970 140728345468879 0
[pid=3899/tid=3926] ppid=3892 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3899/task/3926/stat : 3926 (java) S 3892 3899 2180 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415065282 10915721216 8762 33554432000 4194304 4196468 140728345460272 140001040018528 140001488221909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15998976 140728345465867 140728345465970 140728345465970 140728345468879 0
[pid=3899/tid=3928] ppid=3892 vsize=10659884 memory=140604311107200 CPUtime=0 cores=0,2,4,6
/proc/3899/task/3928/stat : 3928 (java) S 3892 3899 2180 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415065282 10915721216 8762 33554432000 4194304 4196468 140728345460272 140001038965040 140001488222850 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15998976 140728345465867 140728345465970 140728345465970 140728345468879 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 35048 KiB

[startup+0.310125 s]*
/proc/loadavg: 1.50 1.79 1.80 4/227 3928
/proc/meminfo: memFree=26894796/32770624 swapFree=66977616/67108860
[pid=3899] ppid=3892 vsize=10659884 memory=40168 CPUtime=0.47 cores=0,2,4,6
/proc/3899/stat : 3899 (java) S 3892 3899 2180 0 -1 1077944320 9461 0 0 0 44 3 0 0 20 0 15 0 415065276 10915721216 10042 33554432000 4194304 4196468 140728345460272 140728345442816 140001488211703 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 15998976 140728345465867 140728345465970 140728345465970 140728345468879 0
/proc/3899/statm: 2664971 10042 3000 1 0 2627468 0
[pid=3899/tid=3902] ppid=3892 vsize=10659884 memory=7022364594140610616 CPUtime=0.3 cores=0,2,4,6
/proc/3899/task/3902/stat : 3902 (java) R 3892 3899 2180 0 -1 4202560 6285 0 0 0 27 3 0 0 20 0 15 0 415065276 10915721216 10042 33554432000 4194304 4196468 140728345460272 140001492432592 140001488233629 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15998976 140728345465867 140728345465970 140728345465970 140728345468879 0
[pid=3899/tid=3907] ppid=3892 vsize=10659884 memory=4296865450 CPUtime=0 cores=0,2,4,6
/proc/3899/task/3907/stat : 3907 (java) S 3892 3899 2180 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415065277 10915721216 10042 33554432000 4194304 4196468 140728345460272 140001440832272 140001488221909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15998976 140728345465867 140728345465970 140728345465970 140728345468879 0
[pid=3899/tid=3908] ppid=3892 vsize=10659884 memory=3691179364093294240 CPUtime=0 cores=0,2,4,6
/proc/3899/task/3908/stat : 3908 (java) S 3892 3899 2180 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415065277 10915721216 10042 33554432000 4194304 4196468 140728345460272 140001439779728 140001488221909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15998976 140728345465867 140728345465970 140728345465970 140728345468879 0
[pid=3899/tid=3909] ppid=3892 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3899/task/3909/stat : 3909 (java) S 3892 3899 2180 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415065277 10915721216 10042 33554432000 4194304 4196468 140728345460272 140001093016592 140001488221909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15998976 140728345465867 140728345465970 140728345465970 140728345468879 0
[pid=3899/tid=3910] ppid=3892 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3899/task/3910/stat : 3910 (java) S 3892 3899 2180 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415065277 10915721216 10042 33554432000 4194304 4196468 140728345460272 140001091964048 140001488221909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15998976 140728345465867 140728345465970 140728345465970 140728345468879 0
[pid=3899/tid=3912] ppid=3892 vsize=10659884 memory=140604311107200 CPUtime=0 cores=0,2,4,6
/proc/3899/task/3912/stat : 3912 (java) S 3892 3899 2180 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415065278 10915721216 10042 33554432000 4194304 4196468 140728345460272 140001047386096 140001488222850 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15998976 140728345465867 140728345465970 140728345465970 140728345468879 0
[pid=3899/tid=3914] ppid=3892 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3899/task/3914/stat : 3914 (java) S 3892 3899 2180 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415065279 10915721216 10042 33554432000 4194304 4196468 140728345460272 140001046332320 140001488221909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15998976 140728345465867 140728345465970 140728345465970 140728345468879 0
[pid=3899/tid=3916] ppid=3892 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3899/task/3916/stat : 3916 (java) S 3892 3899 2180 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415065279 10915721216 10042 33554432000 4194304 4196468 140728345460272 140001045279728 140001488221909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15998976 140728345465867 140728345465970 140728345465970 140728345468879 0
[pid=3899/tid=3921] ppid=3892 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3899/task/3921/stat : 3921 (java) S 3892 3899 2180 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415065281 10915721216 10042 33554432000 4194304 4196468 140728345460272 140001044228304 140001488230299 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15998976 140728345465867 140728345465970 140728345465970 140728345468879 0
[pid=3899/tid=3922] ppid=3892 vsize=10659884 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/3899/task/3922/stat : 3922 (java) S 3892 3899 2180 0 -1 1077944384 829 0 0 0 5 0 0 0 20 0 15 0 415065281 10915721216 10042 33554432000 4194304 4196468 140728345460272 140001043175920 140001488222850 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15998976 140728345465867 140728345465970 140728345465970 140728345468879 0
[pid=3899/tid=3923] ppid=3892 vsize=10659884 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/3899/task/3923/stat : 3923 (java) S 3892 3899 2180 0 -1 1077944384 269 0 0 0 3 0 0 0 20 0 15 0 415065281 10915721216 10042 33554432000 4194304 4196468 140728345460272 140001042123376 140001488222850 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15998976 140728345465867 140728345465970 140728345465970 140728345468879 0
[pid=3899/tid=3924] ppid=3892 vsize=10659884 memory=140604311107200 CPUtime=0.08 cores=0,2,4,6
/proc/3899/task/3924/stat : 3924 (java) S 3892 3899 2180 0 -1 1077944384 723 0 0 0 8 0 0 0 20 0 15 0 415065281 10915721216 10042 33554432000 4194304 4196468 140728345460272 140001041070832 140001488222850 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15998976 140728345465867 140728345465970 140728345465970 140728345468879 0
[pid=3899/tid=3926] ppid=3892 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3899/task/3926/stat : 3926 (java) S 3892 3899 2180 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415065282 10915721216 10042 33554432000 4194304 4196468 140728345460272 140001040018528 140001488221909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15998976 140728345465867 140728345465970 140728345465970 140728345468879 0
[pid=3899/tid=3928] ppid=3892 vsize=10659884 memory=140604311107200 CPUtime=0 cores=0,2,4,6
/proc/3899/task/3928/stat : 3928 (java) S 3892 3899 2180 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415065282 10915721216 10042 33554432000 4194304 4196468 140728345460272 140001038965040 140001488222850 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15998976 140728345465867 140728345465970 140728345465970 140728345468879 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40168 KiB

[startup+0.700617 s]
/proc/loadavg: 1.50 1.79 1.80 4/227 3928
/proc/meminfo: memFree=26873928/32770624 swapFree=66977616/67108860
[pid=3899] ppid=3892 vsize=10661932 memory=64116 CPUtime=1.1 cores=0,2,4,6
/proc/3899/stat : 3899 (java) S 3892 3899 2180 0 -1 1077944320 13210 0 0 0 104 6 0 0 20 0 15 0 415065276 10917818368 16029 33554432000 4194304 4196468 140728345460272 140728345442816 140001488211703 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 15998976 140728345465867 140728345465970 140728345465970 140728345468879 0
/proc/3899/statm: 2665483 16029 3061 1 0 2627980 0
[pid=3899/tid=3902] ppid=3892 vsize=10661932 memory=39920 CPUtime=0.68 cores=0,2,4,6
/proc/3899/task/3902/stat : 3902 (java) R 3892 3899 2180 0 -1 4202560 8823 0 0 0 63 5 0 0 20 0 15 0 415065276 10917818368 16029 33554432000 4194304 4196468 140728345460272 140001492443728 140001472292190 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15998976 140728345465867 140728345465970 140728345465970 140728345468879 0
[pid=3899/tid=3907] ppid=3892 vsize=10661932 memory=988 CPUtime=0 cores=0,2,4,6
/proc/3899/task/3907/stat : 3907 (java) S 3892 3899 2180 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415065277 10917818368 16029 33554432000 4194304 4196468 140728345460272 140001440832272 140001488221909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15998976 140728345465867 140728345465970 140728345465970 140728345468879 0
[pid=3899/tid=3908] ppid=3892 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3899/task/3908/stat : 3908 (java) S 3892 3899 2180 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415065277 10917818368 16029 33554432000 4194304 4196468 140728345460272 140001439779728 140001488221909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15998976 140728345465867 140728345465970 140728345465970 140728345468879 0
[pid=3899/tid=3909] ppid=3892 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3899/task/3909/stat : 3909 (java) S 3892 3899 2180 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415065277 10917818368 16029 33554432000 4194304 4196468 140728345460272 140001093016592 140001488221909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15998976 140728345465867 140728345465970 140728345465970 140728345468879 0
[pid=3899/tid=3910] ppid=3892 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3899/task/3910/stat : 3910 (java) S 3892 3899 2180 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415065277 10917818368 16033 33554432000 4194304 4196468 140728345460272 140001091964048 140001488221909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15998976 140728345465867 140728345465970 140728345465970 140728345468879 0
[pid=3899/tid=3912] ppid=3892 vsize=10661932 memory=1 CPUtime=0 cores=0,2,4,6
/proc/3899/task/3912/stat : 3912 (java) S 3892 3899 2180 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415065278 10917818368 16033 33554432000 4194304 4196468 140728345460272 140001047386096 140001488222850 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15998976 140728345465867 140728345465970 140728345465970 140728345468879 0
[pid=3899/tid=3914] ppid=3892 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3899/task/3914/stat : 3914 (java) S 3892 3899 2180 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415065279 10917818368 16033 33554432000 4194304 4196468 140728345460272 140001046332320 140001488221909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15998976 140728345465867 140728345465970 140728345465970 140728345468879 0
[pid=3899/tid=3916] ppid=3892 vsize=10661932 memory=1 CPUtime=0 cores=0,2,4,6
/proc/3899/task/3916/stat : 3916 (java) S 3892 3899 2180 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415065279 10917818368 16033 33554432000 4194304 4196468 140728345460272 140001045279728 140001488221909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15998976 140728345465867 140728345465970 140728345465970 140728345468879 0
[pid=3899/tid=3921] ppid=3892 vsize=10661932 memory=1 CPUtime=0 cores=0,2,4,6
/proc/3899/task/3921/stat : 3921 (java) S 3892 3899 2180 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415065281 10917818368 16033 33554432000 4194304 4196468 140728345460272 140001044228304 140001488230299 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15998976 140728345465867 140728345465970 140728345465970 140728345468879 0
[pid=3899/tid=3922] ppid=3892 vsize=10661932 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/3899/task/3922/stat : 3922 (java) R 3892 3899 2180 0 -1 4202560 1236 0 0 0 11 0 0 0 20 0 15 0 415065281 10917818368 16033 33554432000 4194304 4196468 140728345460272 140001043175920 140001468984260 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15998976 140728345465867 140728345465970 140728345465970 140728345468879 0
[pid=3899/tid=3923] ppid=3892 vsize=10661932 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/3899/task/3923/stat : 3923 (java) S 3892 3899 2180 0 -1 1077944384 560 0 0 0 10 0 0 0 20 0 15 0 415065281 10917818368 16033 33554432000 4194304 4196468 140728345460272 140001042123376 140001488222850 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15998976 140728345465867 140728345465970 140728345465970 140728345468879 0
[pid=3899/tid=3924] ppid=3892 vsize=10661932 memory=4 CPUtime=0.18 cores=0,2,4,6
/proc/3899/task/3924/stat : 3924 (java) S 3892 3899 2180 0 -1 1077944384 1234 0 0 0 18 0 0 0 20 0 15 0 415065281 10917818368 16033 33554432000 4194304 4196468 140728345460272 140001041070832 140001488222850 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15998976 140728345465867 140728345465970 140728345465970 140728345468879 0
[pid=3899/tid=3926] ppid=3892 vsize=10661932 memory=4 CPUtime=0 cores=0,2,4,6
/proc/3899/task/3926/stat : 3926 (java) S 3892 3899 2180 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415065282 10917818368 16033 33554432000 4194304 4196468 140728345460272 140001040018528 140001488221909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15998976 140728345465867 140728345465970 140728345465970 140728345468879 0
[pid=3899/tid=3928] ppid=3892 vsize=10661932 memory=78 CPUtime=0 cores=0,2,4,6
/proc/3899/task/3928/stat : 3928 (java) S 3892 3899 2180 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415065282 10917818368 16033 33554432000 4194304 4196468 140728345460272 140001038965040 140001488222850 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15998976 140728345465867 140728345465970 140728345465970 140728345468879 0
Current children cumulated CPU time: 1.1 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 64116 KiB

[startup+1.50076 s]
/proc/loadavg: 1.50 1.79 1.80 5/227 3928
/proc/meminfo: memFree=26840644/32770624 swapFree=66977616/67108860
[pid=3899] ppid=3892 vsize=10663980 memory=76180 CPUtime=2.01 cores=0,2,4,6
/proc/3899/stat : 3899 (java) S 3892 3899 2180 0 -1 1077944320 18801 0 0 0 194 7 0 0 20 0 15 0 415065276 10919915520 19045 33554432000 4194304 4196468 140728345460272 140728345442816 140001488211703 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 15998976 140728345465867 140728345465970 140728345465970 140728345468879 0
/proc/3899/statm: 2665995 19045 3096 1 0 2628492 0
[pid=3899/tid=3902] ppid=3892 vsize=10663980 memory=0 CPUtime=1.47 cores=0,2,4,6
/proc/3899/task/3902/stat : 3902 (java) R 3892 3899 2180 0 -1 4202560 13083 0 0 0 142 5 0 0 20 0 15 0 415065276 10919915520 19045 33554432000 4194304 4196468 140728345460272 140001492437584 140001472292190 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15998976 140728345465867 140728345465970 140728345465970 140728345468879 0
[pid=3899/tid=3907] ppid=3892 vsize=10663980 memory=39920 CPUtime=0 cores=0,2,4,6
/proc/3899/task/3907/stat : 3907 (java) S 3892 3899 2180 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415065277 10919915520 19045 33554432000 4194304 4196468 140728345460272 140001440832272 140001488221909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15998976 140728345465867 140728345465970 140728345465970 140728345468879 0
[pid=3899/tid=3908] ppid=3892 vsize=10663980 memory=988 CPUtime=0 cores=0,2,4,6
/proc/3899/task/3908/stat : 3908 (java) S 3892 3899 2180 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415065277 10919915520 19045 33554432000 4194304 4196468 140728345460272 140001439779728 140001488221909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15998976 140728345465867 140728345465970 140728345465970 140728345468879 0
[pid=3899/tid=3909] ppid=3892 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3899/task/3909/stat : 3909 (java) S 3892 3899 2180 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415065277 10919915520 19045 33554432000 4194304 4196468 140728345460272 140001093016592 140001488221909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15998976 140728345465867 140728345465970 140728345465970 140728345468879 0
[pid=3899/tid=3910] ppid=3892 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3899/task/3910/stat : 3910 (java) S 3892 3899 2180 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415065277 10919915520 19045 33554432000 4194304 4196468 140728345460272 140001091964048 140001488221909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15998976 140728345465867 140728345465970 140728345465970 140728345468879 0
[pid=3899/tid=3912] ppid=3892 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3899/task/3912/stat : 3912 (java) S 3892 3899 2180 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 415065278 10919915520 19045 33554432000 4194304 4196468 140728345460272 140001047386096 140001488222850 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15998976 140728345465867 140728345465970 140728345465970 140728345468879 0

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

[startup+510.401 s]
/proc/loadavg: 1.68 1.77 1.80 5/229 3970
/proc/meminfo: memFree=25944284/32770624 swapFree=66977616/67108860
[pid=3899] ppid=3892 vsize=10748324 memory=181444 CPUtime=515.7 cores=0,2,4,6
/proc/3899/stat : 3899 (java) S 3892 3899 2180 0 -1 1077944320 74554 0 0 0 51542 28 0 0 20 0 16 0 415065276 11006283776 45361 33554432000 4194304 4196468 140728345460272 140728345442816 140001488211703 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 15998976 140728345465867 140728345465970 140728345465970 140728345468879 0
/proc/3899/statm: 2687081 45361 3385 1 0 2647217 0
[pid=3899/tid=3902] ppid=3892 vsize=10748324 memory=8112282956445269571 CPUtime=1.86 cores=0,2,4,6
/proc/3899/task/3902/stat : 3902 (java) S 3892 3899 2180 0 -1 1077944384 15355 0 0 0 179 7 0 0 20 0 16 0 415065276 11006283776 45361 33554432000 4194304 4196468 140728345460272 140001492454576 140001488221909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15998976 140728345465867 140728345465970 140728345465970 140728345468879 0
[pid=3899/tid=3907] ppid=3892 vsize=10748324 memory=988 CPUtime=0.2 cores=0,2,4,6
/proc/3899/task/3907/stat : 3907 (java) S 3892 3899 2180 0 -1 1077944384 2643 0 0 0 19 1 0 0 20 0 16 0 415065277 11006283776 45361 33554432000 4194304 4196468 140728345460272 140001440832272 140001488221909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15998976 140728345465867 140728345465970 140728345465970 140728345468879 0
[pid=3899/tid=3908] ppid=3892 vsize=10748324 memory=2004 CPUtime=0.19 cores=0,2,4,6
/proc/3899/task/3908/stat : 3908 (java) S 3892 3899 2180 0 -1 1077944384 3426 0 0 0 18 1 0 0 20 0 16 0 415065277 11006283776 45361 33554432000 4194304 4196468 140728345460272 140001439779728 140001488221909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15998976 140728345465867 140728345465970 140728345465970 140728345468879 0
[pid=3899/tid=3909] ppid=3892 vsize=10748324 memory=181444 CPUtime=0.19 cores=0,2,4,6
/proc/3899/task/3909/stat : 3909 (java) S 3892 3899 2180 0 -1 1077944384 2317 0 0 0 18 1 0 0 20 0 16 0 415065277 11006283776 45361 33554432000 4194304 4196468 140728345460272 140001093016592 140001488221909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15998976 140728345465867 140728345465970 140728345465970 140728345468879 0
[pid=3899/tid=3910] ppid=3892 vsize=10748324 memory=1084 CPUtime=0.19 cores=0,2,4,6
/proc/3899/task/3910/stat : 3910 (java) S 3892 3899 2180 0 -1 1077944384 1955 0 0 0 18 1 0 0 20 0 16 0 415065277 11006283776 45361 33554432000 4194304 4196468 140728345460272 140001091964048 140001488221909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15998976 140728345465867 140728345465970 140728345465970 140728345468879 0
[pid=3899/tid=3912] ppid=3892 vsize=10748324 memory=14012 CPUtime=0.07 cores=0,2,4,6
/proc/3899/task/3912/stat : 3912 (java) S 3892 3899 2180 0 -1 1077944384 3188 0 0 0 6 1 0 0 20 0 16 0 415065278 11006283776 45361 33554432000 4194304 4196468 140728345460272 140001047386096 140001488222850 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15998976 140728345465867 140728345465970 140728345465970 140728345468879 0
[pid=3899/tid=3914] ppid=3892 vsize=10748324 memory=14048 CPUtime=0 cores=0,2,4,6
/proc/3899/task/3914/stat : 3914 (java) S 3892 3899 2180 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 16 0 415065279 11006283776 45361 33554432000 4194304 4196468 140728345460272 140001046332384 140001488221909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15998976 140728345465867 140728345465970 140728345465970 140728345468879 0
[pid=3899/tid=3916] ppid=3892 vsize=10748324 memory=21168 CPUtime=0 cores=0,2,4,6
/proc/3899/task/3916/stat : 3916 (java) S 3892 3899 2180 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 16 0 415065279 11006283776 45361 33554432000 4194304 4196468 140728345460272 140001045279744 140001488221909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15998976 140728345465867 140728345465970 140728345465970 140728345468879 0
[pid=3899/tid=3921] ppid=3892 vsize=10748324 memory=3616 CPUtime=0 cores=0,2,4,6
/proc/3899/task/3921/stat : 3921 (java) S 3892 3899 2180 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415065281 11006283776 45361 33554432000 4194304 4196468 140728345460272 140001044228304 140001488230299 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15998976 140728345465867 140728345465970 140728345465970 140728345468879 0
[pid=3899/tid=3922] ppid=3892 vsize=10748324 memory=39920 CPUtime=1.52 cores=0,2,4,6
/proc/3899/task/3922/stat : 3922 (java) S 3892 3899 2180 0 -1 1077944384 10047 0 0 0 151 1 0 0 20 0 16 0 415065281 11006283776 45361 33554432000 4194304 4196468 140728345460272 140001043175920 140001488222850 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15998976 140728345465867 140728345465970 140728345465970 140728345468879 0
[pid=3899/tid=3923] ppid=3892 vsize=10748324 memory=988 CPUtime=2.38 cores=0,2,4,6
/proc/3899/task/3923/stat : 3923 (java) S 3892 3899 2180 0 -1 1077944384 10461 0 0 0 237 1 0 0 20 0 16 0 415065281 11006283776 45361 33554432000 4194304 4196468 140728345460272 140001042123376 140001488222850 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15998976 140728345465867 140728345465970 140728345465970 140728345468879 0
[pid=3899/tid=3924] ppid=3892 vsize=10748324 memory=2004 CPUtime=0.7 cores=0,2,4,6
/proc/3899/task/3924/stat : 3924 (java) S 3892 3899 2180 0 -1 1077944384 9205 0 0 0 69 1 0 0 20 0 16 0 415065281 11006283776 45361 33554432000 4194304 4196468 140728345460272 140001041070832 140001488222850 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15998976 140728345465867 140728345465970 140728345465970 140728345468879 0
[pid=3899/tid=3926] ppid=3892 vsize=10748324 memory=1428 CPUtime=0 cores=0,2,4,6
/proc/3899/task/3926/stat : 3926 (java) S 3892 3899 2180 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415065282 11006283776 45361 33554432000 4194304 4196468 140728345460272 140001040018528 140001488221909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15998976 140728345465867 140728345465970 140728345465970 140728345468879 0
[pid=3899/tid=3928] ppid=3892 vsize=10748324 memory=14048 CPUtime=0.14 cores=0,2,4,6
/proc/3899/task/3928/stat : 3928 (java) S 3892 3899 2180 0 -1 1077944384 584 0 0 0 7 7 0 0 20 0 16 0 415065282 11006283776 45361 33554432000 4194304 4196468 140728345460272 140001038965040 140001488222850 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15998976 140728345465867 140728345465970 140728345465970 140728345468879 0
[pid=3899/tid=3930] ppid=3892 vsize=10748324 memory=21168 CPUtime=508.14 cores=0,2,4,6
/proc/3899/task/3930/stat : 3930 (java) R 3892 3899 2180 0 -1 4202560 13936 0 0 0 50810 4 0 0 20 0 16 0 415065465 11006283776 45361 33554432000 4194304 4196468 140728345460272 140001037503648 140001125642944 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15998976 140728345465867 140728345465970 140728345465970 140728345468879 0
Current children cumulated CPU time: 515.7 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 181444 KiB

[startup+512.001 s]*
/proc/loadavg: 1.68 1.77 1.80 5/229 3970
/proc/meminfo: memFree=25944284/32770624 swapFree=66977616/67108860
[pid=3899] ppid=3892 vsize=10748324 memory=181444 CPUtime=517.31 cores=0,2,4,6
/proc/3899/stat : 3899 (java) S 3892 3899 2180 0 -1 1077944320 74554 0 0 0 51703 28 0 0 20 0 16 0 415065276 11006283776 45361 33554432000 4194304 4196468 140728345460272 140728345442816 140001488211703 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 15998976 140728345465867 140728345465970 140728345465970 140728345468879 0
/proc/3899/statm: 2687081 45361 3385 1 0 2647217 0
[pid=3899/tid=3902] ppid=3892 vsize=10748324 memory=231088 CPUtime=1.86 cores=0,2,4,6
/proc/3899/task/3902/stat : 3902 (java) S 3892 3899 2180 0 -1 1077944384 15355 0 0 0 179 7 0 0 20 0 16 0 415065276 11006283776 45361 33554432000 4194304 4196468 140728345460272 140001492454576 140001488221909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15998976 140728345465867 140728345465970 140728345465970 140728345468879 0
[pid=3899/tid=3907] ppid=3892 vsize=10748324 memory=181444 CPUtime=0.2 cores=0,2,4,6
/proc/3899/task/3907/stat : 3907 (java) S 3892 3899 2180 0 -1 1077944384 2643 0 0 0 19 1 0 0 20 0 16 0 415065277 11006283776 45361 33554432000 4194304 4196468 140728345460272 140001440832272 140001488221909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15998976 140728345465867 140728345465970 140728345465970 140728345468879 0
[pid=3899/tid=3908] ppid=3892 vsize=10748324 memory=8317482817917895235 CPUtime=0.19 cores=0,2,4,6
/proc/3899/task/3908/stat : 3908 (java) S 3892 3899 2180 0 -1 1077944384 3426 0 0 0 18 1 0 0 20 0 16 0 415065277 11006283776 45361 33554432000 4194304 4196468 140728345460272 140001439779728 140001488221909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15998976 140728345465867 140728345465970 140728345465970 140728345468879 0
[pid=3899/tid=3909] ppid=3892 vsize=10748324 memory=845944 CPUtime=0.19 cores=0,2,4,6
/proc/3899/task/3909/stat : 3909 (java) S 3892 3899 2180 0 -1 1077944384 2317 0 0 0 18 1 0 0 20 0 16 0 415065277 11006283776 45361 33554432000 4194304 4196468 140728345460272 140001093016592 140001488221909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15998976 140728345465867 140728345465970 140728345465970 140728345468879 0
[pid=3899/tid=3910] ppid=3892 vsize=10748324 memory=181444 CPUtime=0.19 cores=0,2,4,6
/proc/3899/task/3910/stat : 3910 (java) S 3892 3899 2180 0 -1 1077944384 1955 0 0 0 18 1 0 0 20 0 16 0 415065277 11006283776 45361 33554432000 4194304 4196468 140728345460272 140001091964048 140001488221909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15998976 140728345465867 140728345465970 140728345465970 140728345468879 0
[pid=3899/tid=3912] ppid=3892 vsize=10748324 memory=1164 CPUtime=0.07 cores=0,2,4,6
/proc/3899/task/3912/stat : 3912 (java) S 3892 3899 2180 0 -1 1077944384 3188 0 0 0 6 1 0 0 20 0 16 0 415065278 11006283776 45361 33554432000 4194304 4196468 140728345460272 140001047386096 140001488222850 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15998976 140728345465867 140728345465970 140728345465970 140728345468879 0
[pid=3899/tid=3914] ppid=3892 vsize=10748324 memory=7379260502078090092 CPUtime=0 cores=0,2,4,6
/proc/3899/task/3914/stat : 3914 (java) S 3892 3899 2180 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 16 0 415065279 11006283776 45361 33554432000 4194304 4196468 140728345460272 140001046332384 140001488221909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15998976 140728345465867 140728345465970 140728345465970 140728345468879 0
[pid=3899/tid=3916] ppid=3892 vsize=10748324 memory=7740674458122478447 CPUtime=0 cores=0,2,4,6
/proc/3899/task/3916/stat : 3916 (java) S 3892 3899 2180 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 16 0 415065279 11006283776 45361 33554432000 4194304 4196468 140728345460272 140001045279744 140001488221909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15998976 140728345465867 140728345465970 140728345465970 140728345468879 0
[pid=3899/tid=3921] ppid=3892 vsize=10748324 memory=7740674458122478447 CPUtime=0 cores=0,2,4,6
/proc/3899/task/3921/stat : 3921 (java) S 3892 3899 2180 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415065281 11006283776 45361 33554432000 4194304 4196468 140728345460272 140001044228304 140001488230299 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15998976 140728345465867 140728345465970 140728345465970 140728345468879 0
[pid=3899/tid=3922] ppid=3892 vsize=10748324 memory=3472464501583932980 CPUtime=1.52 cores=0,2,4,6
/proc/3899/task/3922/stat : 3922 (java) S 3892 3899 2180 0 -1 1077944384 10047 0 0 0 151 1 0 0 20 0 16 0 415065281 11006283776 45361 33554432000 4194304 4196468 140728345460272 140001043175920 140001488222850 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15998976 140728345465867 140728345465970 140728345465970 140728345468879 0
[pid=3899/tid=3923] ppid=3892 vsize=10748324 memory=140604211016712 CPUtime=2.38 cores=0,2,4,6
/proc/3899/task/3923/stat : 3923 (java) S 3892 3899 2180 0 -1 1077944384 10461 0 0 0 237 1 0 0 20 0 16 0 415065281 11006283776 45361 33554432000 4194304 4196468 140728345460272 140001042123376 140001488222850 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15998976 140728345465867 140728345465970 140728345465970 140728345468879 0
[pid=3899/tid=3924] ppid=3892 vsize=10748324 memory=6944652177228980320 CPUtime=0.7 cores=0,2,4,6
/proc/3899/task/3924/stat : 3924 (java) S 3892 3899 2180 0 -1 1077944384 9205 0 0 0 69 1 0 0 20 0 16 0 415065281 11006283776 45361 33554432000 4194304 4196468 140728345460272 140001041070832 140001488222850 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15998976 140728345465867 140728345465970 140728345465970 140728345468879 0
[pid=3899/tid=3926] ppid=3892 vsize=10748324 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/3899/task/3926/stat : 3926 (java) S 3892 3899 2180 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415065282 11006283776 45361 33554432000 4194304 4196468 140728345460272 140001040018528 140001488221909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15998976 140728345465867 140728345465970 140728345465970 140728345468879 0
[pid=3899/tid=3928] ppid=3892 vsize=10748324 memory=0 CPUtime=0.14 cores=0,2,4,6
/proc/3899/task/3928/stat : 3928 (java) S 3892 3899 2180 0 -1 1077944384 584 0 0 0 7 7 0 0 20 0 16 0 415065282 11006283776 45361 33554432000 4194304 4196468 140728345460272 140001038965040 140001488222850 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15998976 140728345465867 140728345465970 140728345465970 140728345468879 0
[pid=3899/tid=3930] ppid=3892 vsize=10748324 memory=281208420663552 CPUtime=509.75 cores=0,2,4,6
/proc/3899/task/3930/stat : 3930 (java) R 3892 3899 2180 0 -1 4202560 13936 0 0 0 50971 4 0 0 20 0 16 0 415065465 11006283776 45361 33554432000 4194304 4196468 140728345460272 140001037503648 140001120917336 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15998976 140728345465867 140728345465970 140728345465970 140728345468879 0
Current children cumulated CPU time: 517.31 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 181444 KiB

[startup+512.401 s]
/proc/loadavg: 1.68 1.77 1.80 5/229 3970
/proc/meminfo: memFree=25944284/32770624 swapFree=66977616/67108860
[pid=3899] ppid=3892 vsize=10748324 memory=181444 CPUtime=517.7 cores=0,2,4,6
/proc/3899/stat : 3899 (java) S 3892 3899 2180 0 -1 1077944320 74554 0 0 0 51742 28 0 0 20 0 16 0 415065276 11006283776 45361 33554432000 4194304 4196468 140728345460272 140728345442816 140001488211703 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 15998976 140728345465867 140728345465970 140728345465970 140728345468879 0
/proc/3899/statm: 2687081 45361 3385 1 0 2647217 0
[pid=3899/tid=3902] ppid=3892 vsize=10748324 memory=210600 CPUtime=1.86 cores=0,2,4,6
/proc/3899/task/3902/stat : 3902 (java) S 3892 3899 2180 0 -1 1077944384 15355 0 0 0 179 7 0 0 20 0 16 0 415065276 11006283776 45361 33554432000 4194304 4196468 140728345460272 140001492454576 140001488221909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15998976 140728345465867 140728345465970 140728345465970 140728345468879 0
[pid=3899/tid=3907] ppid=3892 vsize=10748324 memory=3616 CPUtime=0.2 cores=0,2,4,6
/proc/3899/task/3907/stat : 3907 (java) S 3892 3899 2180 0 -1 1077944384 2643 0 0 0 19 1 0 0 20 0 16 0 415065277 11006283776 45361 33554432000 4194304 4196468 140728345460272 140001440832272 140001488221909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15998976 140728345465867 140728345465970 140728345465970 140728345468879 0
[pid=3899/tid=3908] ppid=3892 vsize=10748324 memory=8112282956445269571 CPUtime=0.19 cores=0,2,4,6
/proc/3899/task/3908/stat : 3908 (java) S 3892 3899 2180 0 -1 1077944384 3426 0 0 0 18 1 0 0 20 0 16 0 415065277 11006283776 45361 33554432000 4194304 4196468 140728345460272 140001439779728 140001488221909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15998976 140728345465867 140728345465970 140728345465970 140728345468879 0
[pid=3899/tid=3909] ppid=3892 vsize=10748324 memory=1556 CPUtime=0.19 cores=0,2,4,6
/proc/3899/task/3909/stat : 3909 (java) S 3892 3899 2180 0 -1 1077944384 2317 0 0 0 18 1 0 0 20 0 16 0 415065277 11006283776 45361 33554432000 4194304 4196468 140728345460272 140001093016592 140001488221909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15998976 140728345465867 140728345465970 140728345465970 140728345468879 0
[pid=3899/tid=3910] ppid=3892 vsize=10748324 memory=780 CPUtime=0.19 cores=0,2,4,6
/proc/3899/task/3910/stat : 3910 (java) S 3892 3899 2180 0 -1 1077944384 1955 0 0 0 18 1 0 0 20 0 16 0 415065277 11006283776 45361 33554432000 4194304 4196468 140728345460272 140001091964048 140001488221909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15998976 140728345465867 140728345465970 140728345465970 140728345468879 0
[pid=3899/tid=3912] ppid=3892 vsize=10748324 memory=181444 CPUtime=0.07 cores=0,2,4,6
/proc/3899/task/3912/stat : 3912 (java) S 3892 3899 2180 0 -1 1077944384 3188 0 0 0 6 1 0 0 20 0 16 0 415065278 11006283776 45361 33554432000 4194304 4196468 140728345460272 140001047386096 140001488222850 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15998976 140728345465867 140728345465970 140728345465970 140728345468879 0
[pid=3899/tid=3914] ppid=3892 vsize=10748324 memory=1112 CPUtime=0 cores=0,2,4,6
/proc/3899/task/3914/stat : 3914 (java) S 3892 3899 2180 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 16 0 415065279 11006283776 45361 33554432000 4194304 4196468 140728345460272 140001046332384 140001488221909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15998976 140728345465867 140728345465970 140728345465970 140728345468879 0
[pid=3899/tid=3916] ppid=3892 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3899/task/3916/stat : 3916 (java) S 3892 3899 2180 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 16 0 415065279 11006283776 45361 33554432000 4194304 4196468 140728345460272 140001045279744 140001488221909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15998976 140728345465867 140728345465970 140728345465970 140728345468879 0
[pid=3899/tid=3921] ppid=3892 vsize=10748324 memory=6945507666079274341 CPUtime=0 cores=0,2,4,6
/proc/3899/task/3921/stat : 3921 (java) S 3892 3899 2180 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415065281 11006283776 45361 33554432000 4194304 4196468 140728345460272 140001044228304 140001488230299 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15998976 140728345465867 140728345465970 140728345465970 140728345468879 0
[pid=3899/tid=3922] ppid=3892 vsize=10748324 memory=281208421114672 CPUtime=1.52 cores=0,2,4,6
/proc/3899/task/3922/stat : 3922 (java) S 3892 3899 2180 0 -1 1077944384 10047 0 0 0 151 1 0 0 20 0 16 0 415065281 11006283776 45361 33554432000 4194304 4196468 140728345460272 140001043175920 140001488222850 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15998976 140728345465867 140728345465970 140728345465970 140728345468879 0
[pid=3899/tid=3923] ppid=3892 vsize=10748324 memory=8292095139715588497 CPUtime=2.38 cores=0,2,4,6
/proc/3899/task/3923/stat : 3923 (java) S 3892 3899 2180 0 -1 1077944384 10461 0 0 0 237 1 0 0 20 0 16 0 415065281 11006283776 45361 33554432000 4194304 4196468 140728345460272 140001042123376 140001488222850 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15998976 140728345465867 140728345465970 140728345465970 140728345468879 0
[pid=3899/tid=3924] ppid=3892 vsize=10748324 memory=-7883089880079496384 CPUtime=0.7 cores=0,2,4,6
/proc/3899/task/3924/stat : 3924 (java) S 3892 3899 2180 0 -1 1077944384 9205 0 0 0 69 1 0 0 20 0 16 0 415065281 11006283776 45361 33554432000 4194304 4196468 140728345460272 140001041070832 140001488222850 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15998976 140728345465867 140728345465970 140728345465970 140728345468879 0
[pid=3899/tid=3926] ppid=3892 vsize=10748324 memory=181444 CPUtime=0 cores=0,2,4,6
/proc/3899/task/3926/stat : 3926 (java) S 3892 3899 2180 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415065282 11006283776 45361 33554432000 4194304 4196468 140728345460272 140001040018528 140001488221909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15998976 140728345465867 140728345465970 140728345465970 140728345468879 0
[pid=3899/tid=3928] ppid=3892 vsize=10748324 memory=3848 CPUtime=0.14 cores=0,2,4,6
/proc/3899/task/3928/stat : 3928 (java) S 3892 3899 2180 0 -1 1077944384 584 0 0 0 7 7 0 0 20 0 16 0 415065282 11006283776 45361 33554432000 4194304 4196468 140728345460272 140001038965040 140001488222850 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15998976 140728345465867 140728345465970 140728345465970 140728345468879 0
[pid=3899/tid=3930] ppid=3892 vsize=10748324 memory=1768 CPUtime=510.14 cores=0,2,4,6
/proc/3899/task/3930/stat : 3930 (java) R 3892 3899 2180 0 -1 4202560 13936 0 0 0 51010 4 0 0 20 0 16 0 415065465 11006283776 45361 33554432000 4194304 4196468 140728345460272 140001037503648 140001125642948 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15998976 140728345465867 140728345465970 140728345465970 140728345468879 0
Current children cumulated CPU time: 517.7 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 181444 KiB

[startup+512.801 s]
/proc/loadavg: 1.68 1.77 1.80 5/229 3970
/proc/meminfo: memFree=25944284/32770624 swapFree=66977616/67108860
[pid=3899] ppid=3892 vsize=10748324 memory=180936 CPUtime=518.11 cores=0,2,4,6
/proc/3899/stat : 3899 (java) S 3892 3899 2180 0 -1 1077944320 74570 0 0 0 51783 28 0 0 20 0 16 0 415065276 11006283776 45234 33554432000 4194304 4196468 140728345460272 140728345442816 140001488211703 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 15998976 140728345465867 140728345465970 140728345465970 140728345468879 0
/proc/3899/statm: 2687081 45234 3385 1 0 2647217 0
[pid=3899/tid=3902] ppid=3892 vsize=10748324 memory=2480 CPUtime=1.86 cores=0,2,4,6
/proc/3899/task/3902/stat : 3902 (java) S 3892 3899 2180 0 -1 1077944384 15355 0 0 0 179 7 0 0 20 0 16 0 415065276 11006283776 45234 33554432000 4194304 4196468 140728345460272 140001492454576 140001488221909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15998976 140728345465867 140728345465970 140728345465970 140728345468879 0
[pid=3899/tid=3907] ppid=3892 vsize=10748324 memory=8112282956445269571 CPUtime=0.2 cores=0,2,4,6
/proc/3899/task/3907/stat : 3907 (java) S 3892 3899 2180 0 -1 1077944384 2644 0 0 0 19 1 0 0 20 0 16 0 415065277 11006283776 45234 33554432000 4194304 4196468 140728345460272 140001440832272 140001488221909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15998976 140728345465867 140728345465970 140728345465970 140728345468879 0
[pid=3899/tid=3908] ppid=3892 vsize=10748324 memory=0 CPUtime=0.19 cores=0,2,4,6
/proc/3899/task/3908/stat : 3908 (java) S 3892 3899 2180 0 -1 1077944384 3433 0 0 0 18 1 0 0 20 0 16 0 415065277 11006283776 45234 33554432000 4194304 4196468 140728345460272 140001439779728 140001488221909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15998976 140728345465867 140728345465970 140728345465970 140728345468879 0
[pid=3899/tid=3909] ppid=3892 vsize=10748324 memory=318629919389385093 CPUtime=0.2 cores=0,2,4,6
/proc/3899/task/3909/stat : 3909 (java) S 3892 3899 2180 0 -1 1077944384 2318 0 0 0 19 1 0 0 20 0 16 0 415065277 11006283776 45234 33554432000 4194304 4196468 140728345460272 140001093016592 140001488221909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15998976 140728345465867 140728345465970 140728345465970 140728345468879 0
[pid=3899/tid=3910] ppid=3892 vsize=10748324 memory=15538539748141095 CPUtime=0.19 cores=0,2,4,6
/proc/3899/task/3910/stat : 3910 (java) S 3892 3899 2180 0 -1 1077944384 1955 0 0 0 18 1 0 0 20 0 16 0 415065277 11006283776 45234 33554432000 4194304 4196468 140728345460272 140001091964048 140001488221909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15998976 140728345465867 140728345465970 140728345465970 140728345468879 0
[pid=3899/tid=3912] ppid=3892 vsize=10748324 memory=8112282956445269571 CPUtime=0.07 cores=0,2,4,6
/proc/3899/task/3912/stat : 3912 (java) S 3892 3899 2180 0 -1 1077944384 3192 0 0 0 6 1 0 0 20 0 16 0 415065278 11006283776 45234 33554432000 4194304 4196468 140728345460272 140001047386096 140001488222850 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15998976 140728345465867 140728345465970 140728345465970 140728345468879 0
[pid=3899/tid=3914] ppid=3892 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3899/task/3914/stat : 3914 (java) S 3892 3899 2180 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 16 0 415065279 11006283776 45234 33554432000 4194304 4196468 140728345460272 140001046332384 140001488221909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15998976 140728345465867 140728345465970 140728345465970 140728345468879 0
[pid=3899/tid=3916] ppid=3892 vsize=10748324 memory=6371566027755066287 CPUtime=0 cores=0,2,4,6
/proc/3899/task/3916/stat : 3916 (java) S 3892 3899 2180 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 16 0 415065279 11006283776 45234 33554432000 4194304 4196468 140728345460272 140001045279744 140001488221909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15998976 140728345465867 140728345465970 140728345465970 140728345468879 0
[pid=3899/tid=3921] ppid=3892 vsize=10748324 memory=6371566027755066287 CPUtime=0 cores=0,2,4,6
/proc/3899/task/3921/stat : 3921 (java) S 3892 3899 2180 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415065281 11006283776 45234 33554432000 4194304 4196468 140728345460272 140001044228304 140001488230299 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15998976 140728345465867 140728345465970 140728345465970 140728345468879 0
[pid=3899/tid=3922] ppid=3892 vsize=10748324 memory=244392 CPUtime=1.52 cores=0,2,4,6
/proc/3899/task/3922/stat : 3922 (java) S 3892 3899 2180 0 -1 1077944384 10047 0 0 0 151 1 0 0 20 0 16 0 415065281 11006283776 45234 33554432000 4194304 4196468 140728345460272 140001043175920 140001488222850 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15998976 140728345465867 140728345465970 140728345465970 140728345468879 0
[pid=3899/tid=3923] ppid=3892 vsize=10748324 memory=11204 CPUtime=2.38 cores=0,2,4,6
/proc/3899/task/3923/stat : 3923 (java) S 3892 3899 2180 0 -1 1077944384 10461 0 0 0 237 1 0 0 20 0 16 0 415065281 11006283776 45234 33554432000 4194304 4196468 140728345460272 140001042123376 140001488222850 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15998976 140728345465867 140728345465970 140728345465970 140728345468879 0
[pid=3899/tid=3924] ppid=3892 vsize=10748324 memory=181444 CPUtime=0.7 cores=0,2,4,6
/proc/3899/task/3924/stat : 3924 (java) S 3892 3899 2180 0 -1 1077944384 9205 0 0 0 69 1 0 0 20 0 16 0 415065281 11006283776 45234 33554432000 4194304 4196468 140728345460272 140001041070832 140001488222850 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15998976 140728345465867 140728345465970 140728345465970 140728345468879 0
[pid=3899/tid=3926] ppid=3892 vsize=10748324 memory=181444 CPUtime=0 cores=0,2,4,6
/proc/3899/task/3926/stat : 3926 (java) S 3892 3899 2180 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415065282 11006283776 45234 33554432000 4194304 4196468 140728345460272 140001040018528 140001488221909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15998976 140728345465867 140728345465970 140728345465970 140728345468879 0
[pid=3899/tid=3928] ppid=3892 vsize=10748324 memory=181444 CPUtime=0.14 cores=0,2,4,6
/proc/3899/task/3928/stat : 3928 (java) S 3892 3899 2180 0 -1 1077944384 584 0 0 0 7 7 0 0 20 0 16 0 415065282 11006283776 45234 33554432000 4194304 4196468 140728345460272 140001038965040 140001488222850 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15998976 140728345465867 140728345465970 140728345465970 140728345468879 0
[pid=3899/tid=3930] ppid=3892 vsize=10748324 memory=3616 CPUtime=510.54 cores=0,2,4,6
/proc/3899/task/3930/stat : 3930 (java) R 3892 3899 2180 0 -1 4202560 13939 0 0 0 51050 4 0 0 20 0 16 0 415065465 11006283776 45234 33554432000 4194304 4196468 140728345460272 140001037503664 140001124875722 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15998976 140728345465867 140728345465970 140728345465970 140728345468879 0
Current children cumulated CPU time: 518.11 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 180936 KiB

Child status: 0
Real time (s): 512.854
CPU time (s): 518.175
CPU user time (s): 517.883
CPU system time (s): 0.292096
CPU usage (%): 101.038
Max. virtual memory (cumulated for all children) (KiB): 10748324
Max. memory (cumulated for all children) (KiB): 253536

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 517.883
system time used= 0.292096
maximum resident set size= 253536
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 76066
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= 15565
involuntary context switches= 597


# summary of solver processes directly reported to runsolver:
#   pid: 3899
#   total CPU time (s): 518.175
#   total CPU user time (s): 517.883
#   total CPU system time (s): 0.292096

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.21793 second user time and 4.23471 second system time

The end

Begin job on node104 at 2019-09-13 16:11:03
IDJOB=4391088
IDBENCH=115810
IDSOLVER=2833
FILE ID=node104/4391088-1568388080
RUNJOBID= node104-1568383863-3869
PBS_JOBID= 21701850
Free space on /tmp= 59012 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-4391088-1568388080/watcher-4391088-1568388080 -o /tmp/evaluation-result-4391088-1568388080/solver-4391088-1568388080 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node104-1568383863-3869 --watchdog 2560  java -cp AbsCon19-06.jar AbsCon HOME/instance-4391088-1568388080.xml -cm

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

MD5SUM BENCH= 3747a76ad44ca32161ac6cfee5e9d7cb
RANDOM SEED=1509311715

node104.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	: 5334.09
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	: 5334.09
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	: 5334.09
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	: 5334.09
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:        26951964 kB
MemAvailable:   31838900 kB
Buffers:          154456 kB
Cached:          4987100 kB
SwapCached:        31860 kB
Active:          1589768 kB
Inactive:        3587760 kB
Active(anon):       3020 kB
Inactive(anon):    74488 kB
Active(file):    1586748 kB
Inactive(file):  3513272 kB
Unevictable:      107784 kB
Mlocked:          107784 kB
SwapTotal:      67108860 kB
SwapFree:       66977616 kB
Dirty:             17280 kB
Writeback:             0 kB
AnonPages:        113668 kB
Mapped:            43484 kB
Shmem:             32780 kB
Slab:             235292 kB
SReclaimable:     205500 kB
SUnreclaim:        29792 kB
KernelStack:        3424 kB
PageTables:         5728 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     493340 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     69632 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      124288 kB
DirectMap2M:    33421312 kB

Free space on /tmp at the end= 58996 MiB
End job on node104 at 2019-09-13 16:19:36