Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
AbsCon 2019-07-23 | OPT | 16 | 26.1854 | 20.2598 |
Diagnostic | Value |
---|---|
WRONG_DECISIONS | 100484 |
Name | Tal/ Tal-05_c18.xml |
MD5SUM | 0bfba4554f8c52d47ef9f831901bb64c |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 16 |
Best CPU time to get the best result obtained on this benchmark | 26.1854 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 526 |
Number of constraints | 364 |
Number of domains | 11 |
Minimum domain size | 1 |
Maximum domain size | 42 |
Distribution of domain sizes | [{"size":1,"count":84},{"size":2,"count":4},{"size":3,"count":5},{"size":4,"count":6},{"size":5,"count":7},{"size":6,"count":52},{"size":7,"count":9},{"size":8,"count":10},{"size":10,"count":36},{"size":42,"count":79}] |
Minimum variable degree | 0 |
Maximum variable degree | 14 |
Distribution of variable degrees | [{"degree":0,"count":234},{"degree":1,"count":84},{"degree":2,"count":58},{"degree":3,"count":9},{"degree":4,"count":10},{"degree":5,"count":32},{"degree":6,"count":19},{"degree":7,"count":13},{"degree":8,"count":13},{"degree":9,"count":19},{"degree":10,"count":18},{"degree":11,"count":8},{"degree":12,"count":5},{"degree":13,"count":3},{"degree":14,"count":1}] |
Minimum constraint arity | 1 |
Maximum constraint arity | 11 |
Distribution of constraint arities | [{"arity":1,"count":109},{"arity":2,"count":115},{"arity":3,"count":38},{"arity":4,"count":11},{"arity":5,"count":18},{"arity":6,"count":17},{"arity":7,"count":16},{"arity":8,"count":15},{"arity":9,"count":13},{"arity":10,"count":10},{"arity":11,"count":2}] |
Number of extensional constraints | 64 |
Number of intensional constraints | 286 |
Distribution of constraint types | [{"type":"extension","count":64},{"type":"intension","count":286},{"type":"count","count":14}] |
Optimization problem | YES |
Type of objective | min SUM |
2.42/1.89 2.42/1.89 AbsCon 2 2.64/1.91 3.55/2.21 Instance 3.55/2.21 name=instance-4391214-1568391587, framework=COP, bounds=-infty..+infty 3.55/2.21 3.55/2.21 Loading variables... 3.55/2.25 Loading constraints... 4.64/2.54 4.64/2.54 Domains 4.64/2.54 nTypes=11, nValues=4299, sizes=[1#84,2#4,3#5,4#6...7#9,8#10,10#36,42#79] 4.64/2.54 Variables 4.64/2.54 count=292, degrees=[1#84,2#58,3#9,4#10...11#8,12#5,13#3,14#1] 4.64/2.54 Objectives 4.64/2.54 way=min, type=SumSimpleLE 4.64/2.54 Constraints 4.64/2.54 count=365, nSpecific=93, arities=[1#109,2#115,3#38,4#11...9#13,10#10,11#2,128#1] 4.64/2.54 distribution=[CtrExtensionCT-Table#64,CtrIntension#272,EQ#14,ExactlyKVariable#14,SumSimpleLE#1] 4.64/2.54 tables=[83#1,91#1,124#2,165#3...1860#5,2047#4,2111#3,2126#2], nTotalTuples=51710 4.64/2.54 nExtStructures=(15,shared:49), nIntStructures=(84,shared:188), nCftStructures=(20,shared:117,unbuilt:228) 4.64/2.54 wck=0.675, cpu=2.504, mem=71M433 4.64/2.55 Solver SolverBacktrack being built... 4.64/2.55 4.64/2.57 4.64/2.57 Solver 4.64/2.57 guaranteedGAC=false 4.64/2.57 wck=0.713, cpu=2.54, mem=84M718 4.97/2.60 4.97/2.60 Preprocessing 4.97/2.60 filters=247, revisions=(923,useless=844), ccks=29517, nACremovedValues=2859, nTotalRemovedValues=2859, inconcistency=false 4.97/2.60 wck=0.024, cpu=2.566, mem=84M718 4.97/2.60 4.97/2.64 num=0, depth=38..209, filters=680, revisions=(3256,useless=3041), ccks=31857, wck=0.069, mem=87M361 4.97/2.64 decisions=64, wrong=13, backtracks=614, failedAssignments=10, nogoods=1 4.97/2.64 nFilterCalls=2203, avgTableProportion=0.9972638254136037, avgTableSize=878.1756695415343 4.97/2.64 4.97/2.66 num=1, depth=36..44, filters=1925, revisions=(7153,useless=6594), ccks=35433, wck=0.083, mem=87M361 4.97/2.66 decisions=132, wrong=28, backtracks=624, failedAssignments=21, nogoods=4 4.97/2.66 nFilterCalls=4018, avgTableProportion=0.997095837537028, avgTableSize=800.1256844201095 4.97/2.66 4.97/2.67 num=2, depth=14..19, filters=2812, revisions=(10164,useless=9323), ccks=40838, wck=0.093, mem=87M361 4.97/2.67 decisions=187, wrong=47, backtracks=634, failedAssignments=33, nogoods=7 4.97/2.67 nFilterCalls=5310, avgTableProportion=0.997144936237762, avgTableSize=806.4212806026366 4.97/2.67 4.97/2.68 num=3, depth=14..21, filters=3548, revisions=(12666,useless=11633), ccks=45372, wck=0.102, mem=87M361 4.97/2.68 decisions=245, wrong=66, backtracks=644, failedAssignments=46, nogoods=14 4.97/2.68 nFilterCalls=6441, avgTableProportion=0.9971268231363383, avgTableSize=802.6680639652228 4.97/2.68 4.97/2.68 num=4, depth=6..215, filters=3804, revisions=(13798,useless=12702), ccks=46379, wck=0.109, mem=87M361 4.97/2.68 decisions=280, wrong=80, backtracks=852, failedAssignments=60, nogoods=16 4.97/2.68 nFilterCalls=7315, avgTableProportion=0.9971291441639049, avgTableSize=801.7434039644565 4.97/2.68 5.31/2.70 num=5, depth=5..217, filters=4298, revisions=(15735,useless=14546), ccks=49328, wck=0.125, mem=87M361 5.31/2.70 decisions=326, wrong=96, backtracks=1529, failedAssignments=76, nogoods=21 5.31/2.70 nFilterCalls=9109, avgTableProportion=0.997128580652802, avgTableSize=808.3157316939291 5.31/2.70 5.31/2.71 num=6, depth=8..14, filters=5063, revisions=(18472,useless=17093), ccks=56851, wck=0.135, mem=87M361 5.31/2.71 decisions=377, wrong=118, backtracks=1535, failedAssignments=93, nogoods=22 5.31/2.71 nFilterCalls=10331, avgTableProportion=0.9971615170606405, avgTableSize=816.2270835349917 5.31/2.71 5.31/2.72 num=7, depth=4..163, filters=5828, revisions=(21063,useless=19532), ccks=59670, wck=0.146, mem=87M361 5.31/2.72 decisions=434, wrong=141, backtracks=1688, failedAssignments=112, nogoods=25 5.31/2.72 nFilterCalls=11595, avgTableProportion=0.9971365784555883, avgTableSize=813.0998706338939 5.31/2.72 5.31/2.73 o 76 5.31/2.74 num=8, depth=3..291, filters=6338, revisions=(23163,useless=21525), ccks=62738, wck=0.163, mem=87M361 5.31/2.74 decisions=459, wrong=145, backtracks=1688, failedAssignments=116, nogoods=29, foundSolutions=1, bestBound=76 5.31/2.74 nFilterCalls=12777, avgTableProportion=0.9971252376742156, avgTableSize=809.2870000782656 5.31/2.74 5.31/2.76 o 68 5.31/2.76 num=9, depth=4..291, filters=7407, revisions=(27698,useless=25853), ccks=69382, wck=0.186, mem=87M361 5.31/2.76 decisions=519, wrong=166, backtracks=1840, failedAssignments=133, nogoods=31, foundSolutions=2, bestBound=68 5.31/2.76 nFilterCalls=14972, avgTableProportion=0.9971161397405818, avgTableSize=810.1110072134651 5.31/2.76 5.31/2.77 num=10, depth=21..26, filters=8250, revisions=(30927,useless=28918), ccks=73490, wck=0.198, mem=87M361 5.31/2.77 decisions=574, wrong=182, backtracks=1847, failedAssignments=144, nogoods=33, foundSolutions=2, bestBound=68 5.31/2.77 nFilterCalls=16510, avgTableProportion=0.9971197131239827, avgTableSize=806.9135675348274 5.31/2.77 5.31/2.78 o 53 5.31/2.78 num=11, depth=12..291, filters=8666, revisions=(32795,useless=30694), ccks=77132, wck=0.209, mem=87M361 5.31/2.78 decisions=594, wrong=185, backtracks=1848, failedAssignments=147, nogoods=35, foundSolutions=3, bestBound=53 5.31/2.78 nFilterCalls=17646, avgTableProportion=0.9971213559573848, avgTableSize=805.3222260002267 5.31/2.78 5.31/2.80 num=12, depth=19..27, filters=9571, revisions=(36017,useless=33730), ccks=82069, wck=0.221, mem=87M361 5.31/2.80 decisions=653, wrong=204, backtracks=1857, failedAssignments=159, nogoods=40, foundSolutions=3, bestBound=53 5.31/2.80 nFilterCalls=19178, avgTableProportion=0.9971077098692097, avgTableSize=799.9620919803942 5.31/2.80 5.63/2.81 num=13, depth=16..19, filters=10280, revisions=(38524,useless=36072), ccks=87401, wck=0.23, mem=87M361 5.63/2.81 decisions=702, wrong=219, backtracks=1862, failedAssignments=170, nogoods=42, foundSolutions=3, bestBound=53 5.63/2.81 nFilterCalls=20220, avgTableProportion=0.9970969575775444, avgTableSize=796.3802176063303 5.63/2.81 5.63/2.81 num=14, depth=17..24, filters=10887, revisions=(40673,useless=38075), ccks=90672, wck=0.236, mem=87M361 5.63/2.81 decisions=756, wrong=237, backtracks=1868, failedAssignments=182, nogoods=48, foundSolutions=3, bestBound=53 5.63/2.81 nFilterCalls=21068, avgTableProportion=0.9970957102446718, avgTableSize=795.7072811847352 5.63/2.81 5.63/2.82 num=15, depth=5..10, filters=11687, revisions=(43499,useless=40689), ccks=97168, wck=0.248, mem=87M361 5.63/2.82 decisions=804, wrong=257, backtracks=1877, failedAssignments=195, nogoods=53, foundSolutions=3, bestBound=53 5.63/2.82 nFilterCalls=22397, avgTableProportion=0.9971010798782216, avgTableSize=796.7219716926375 5.63/2.82 5.63/2.84 num=16, depth=8..211, filters=11988, revisions=(45842,useless=42985), ccks=97961, wck=0.263, mem=90M4 5.63/2.84 decisions=840, wrong=271, backtracks=3156, failedAssignments=209, nogoods=54, foundSolutions=3, bestBound=53 5.63/2.84 nFilterCalls=24999, avgTableProportion=0.9971264431229084, avgTableSize=804.423136925477 5.63/2.84 5.63/2.85 num=17, depth=16..29, filters=13109, revisions=(49204,useless=46084), ccks=102425, wck=0.279, mem=90M4 5.63/2.85 decisions=909, wrong=295, backtracks=3170, failedAssignments=225, nogoods=59, foundSolutions=3, bestBound=53 5.63/2.85 nFilterCalls=26735, avgTableProportion=0.9971096024288579, avgTableSize=798.9759117262016 5.63/2.85 5.63/2.87 o 49 5.63/2.87 num=18, depth=8..291, filters=14116, revisions=(52987,useless=49693), ccks=113142, wck=0.3, mem=90M4 5.63/2.87 decisions=953, wrong=307, backtracks=3174, failedAssignments=233, nogoods=62, foundSolutions=4, bestBound=49 5.63/2.87 nFilterCalls=28708, avgTableProportion=0.9971178207064154, avgTableSize=801.2302842413264 5.63/2.87 5.93/2.90 num=19, depth=10..17, filters=15602, revisions=(58300,useless=54645), ccks=123848, wck=0.328, mem=90M4 5.93/2.90 decisions=1029, wrong=339, backtracks=3191, failedAssignments=252, nogoods=64, foundSolutions=4, bestBound=49 5.93/2.90 nFilterCalls=30838, avgTableProportion=0.9971292072541991, avgTableSize=804.6661586354497 5.93/2.90 5.93/2.92 num=20, depth=10..21, filters=16704, revisions=(61952,useless=58126), ccks=133074, wck=0.349, mem=90M4 5.93/2.92 decisions=1086, wrong=358, backtracks=3200, failedAssignments=263, nogoods=68, foundSolutions=4, bestBound=49 5.93/2.92 nFilterCalls=32804, avgTableProportion=0.9971324523910726, avgTableSize=804.4980795024996 5.93/2.92 5.93/2.93 num=21, depth=3..9, filters=17196, revisions=(63652,useless=59681), ccks=135914, wck=0.356, mem=90M4 5.93/2.93 decisions=1125, wrong=376, backtracks=3208, failedAssignments=275, nogoods=70, foundSolutions=4, bestBound=49 5.93/2.93 nFilterCalls=33563, avgTableProportion=0.9971315974385373, avgTableSize=805.0919464886929 5.93/2.93 5.93/2.95 num=22, depth=7..27, filters=18412, revisions=(67461,useless=63206), ccks=140401, wck=0.373, mem=90M4 5.93/2.95 decisions=1193, wrong=399, backtracks=3219, failedAssignments=288, nogoods=76, foundSolutions=4, bestBound=49 5.93/2.95 nFilterCalls=35219, avgTableProportion=0.9971090175022571, avgTableSize=798.9722308980947 5.93/2.95 5.93/2.96 o 42 5.93/2.96 num=23, depth=11..291, filters=18959, revisions=(69646,useless=65277), ccks=143039, wck=0.388, mem=90M4 5.93/2.96 decisions=1220, wrong=404, backtracks=3222, failedAssignments=291, nogoods=77, foundSolutions=5, bestBound=42 5.93/2.96 nFilterCalls=36459, avgTableProportion=0.997110287284664, avgTableSize=799.103403823473 5.93/2.96 5.93/2.99 num=24, depth=13..21, filters=20793, revisions=(76039,useless=71277), ccks=149704, wck=0.414, mem=90M4 5.93/2.99 decisions=1284, wrong=429, backtracks=3234, failedAssignments=307, nogoods=82, foundSolutions=5, bestBound=42 5.93/2.99 nFilterCalls=39006, avgTableProportion=0.9971026227206679, avgTableSize=796.0521970978824 5.93/2.99 5.93/3.01 num=25, depth=14..25, filters=21793, revisions=(79206,useless=74253), ccks=152658, wck=0.43, mem=90M4 5.93/3.01 decisions=1338, wrong=449, backtracks=3245, failedAssignments=318, nogoods=84, foundSolutions=5, bestBound=42 5.93/3.01 nFilterCalls=40598, avgTableProportion=0.9971051164047934, avgTableSize=795.6778166412139 5.93/3.01 6.27/3.02 num=26, depth=8..16, filters=22917, revisions=(83201,useless=78015), ccks=158379, wck=0.45, mem=90M4 6.27/3.02 decisions=1395, wrong=472, backtracks=3260, failedAssignments=330, nogoods=88, foundSolutions=5, bestBound=42 6.27/3.02 nFilterCalls=42267, avgTableProportion=0.9971064785426863, avgTableSize=795.5007925805002 6.27/3.02 6.27/3.05 num=27, depth=9..18, filters=24378, revisions=(88445,useless=82890), ccks=164536, wck=0.471, mem=90M4 6.27/3.05 decisions=1456, wrong=496, backtracks=3277, failedAssignments=343, nogoods=93, foundSolutions=5, bestBound=42 6.27/3.05 nFilterCalls=44182, avgTableProportion=0.9970964011404702, avgTableSize=793.0454257389887 6.27/3.05 6.27/3.06 num=28, depth=7..164, filters=25191, revisions=(91252,useless=85535), ccks=169198, wck=0.486, mem=90M4 6.27/3.06 decisions=1495, wrong=512, backtracks=3436, failedAssignments=357, nogoods=95, foundSolutions=5, bestBound=42 6.27/3.06 nFilterCalls=45593, avgTableProportion=0.9970947902902203, avgTableSize=793.2012808983835 6.27/3.06 6.27/3.08 num=29, depth=3..156, filters=26283, revisions=(94955,useless=89022), ccks=173711, wck=0.503, mem=90M4 6.27/3.08 decisions=1536, wrong=531, backtracks=3589, failedAssignments=373, nogoods=96, foundSolutions=5, bestBound=42 6.27/3.08 nFilterCalls=47276, avgTableProportion=0.9970824866105908, avgTableSize=791.5579363736357 6.27/3.08 6.27/3.09 num=30, depth=3..19, filters=28208, revisions=(101133,useless=94709), ccks=179911, wck=0.517, mem=90M4 6.27/3.09 decisions=1605, wrong=561, backtracks=3606, failedAssignments=390, nogoods=103, foundSolutions=5, bestBound=42 6.27/3.09 nFilterCalls=49523, avgTableProportion=0.9970813403891571, avgTableSize=790.9076388748663 6.27/3.09 6.27/3.11 num=31, depth=3..19, filters=29879, revisions=(106960,useless=100229), ccks=186721, wck=0.53, mem=90M4 6.27/3.11 decisions=1669, wrong=588, backtracks=3623, failedAssignments=409, nogoods=113, foundSolutions=5, bestBound=42 6.27/3.11 nFilterCalls=51872, avgTableProportion=0.9970701302864281, avgTableSize=788.5625771128932 6.27/3.11 6.57/3.12 num=32, depth=3..13, filters=31385, revisions=(111749,useless=104662), ccks=194384, wck=0.543, mem=90M4 6.57/3.12 decisions=1736, wrong=618, backtracks=3638, failedAssignments=430, nogoods=118, foundSolutions=5, bestBound=42 6.57/3.12 nFilterCalls=53983, avgTableProportion=0.9970684505752871, avgTableSize=788.2857936757869 6.57/3.12 6.57/3.14 num=33, depth=8..17, filters=33569, revisions=(118947,useless=111314), ccks=205033, wck=0.56, mem=90M4 6.57/3.14 decisions=1831, wrong=660, backtracks=3662, failedAssignments=453, nogoods=123, foundSolutions=5, bestBound=42 6.57/3.14 nFilterCalls=56976, avgTableProportion=0.9970643777602559, avgTableSize=786.8765445099691 6.57/3.14 6.57/3.15 num=34, depth=7..22, filters=35637, revisions=(126283,useless=118164), ccks=213052, wck=0.577, mem=90M4 6.57/3.15 decisions=1936, wrong=706, backtracks=3694, failedAssignments=478, nogoods=128, foundSolutions=5, bestBound=42 6.57/3.15 nFilterCalls=59863, avgTableProportion=0.9970492137657998, avgTableSize=783.5819454420928 6.57/3.15 6.57/3.18 num=35, depth=7..21, filters=38295, revisions=(135593,useless=126801), ccks=224600, wck=0.597, mem=90M4 6.57/3.18 decisions=2061, wrong=761, backtracks=3723, failedAssignments=506, nogoods=142, foundSolutions=5, bestBound=42 6.57/3.18 nFilterCalls=63328, avgTableProportion=0.997050620627864, avgTableSize=783.8137948458817 6.57/3.18 6.57/3.19 num=36, depth=9..19, filters=40116, revisions=(141415,useless=132295), ccks=232073, wck=0.609, mem=90M4 6.57/3.19 decisions=2148, wrong=799, backtracks=3735, failedAssignments=537, nogoods=148, foundSolutions=5, bestBound=42 6.57/3.19 nFilterCalls=66303, avgTableProportion=0.9970598539382477, avgTableSize=784.9362773931798 6.57/3.19 6.84/3.22 num=37, depth=6..17, filters=43238, revisions=(151867,useless=141931), ccks=244197, wck=0.642, mem=90M4 6.84/3.22 decisions=2295, wrong=868, backtracks=3784, failedAssignments=571, nogoods=154, foundSolutions=5, bestBound=42 6.84/3.22 nFilterCalls=70216, avgTableProportion=0.9970405652891661, avgTableSize=780.9222826706164 6.84/3.22 6.84/3.25 num=38, depth=10..19, filters=45565, revisions=(159664,useless=149167), ccks=255548, wck=0.673, mem=90M4 6.84/3.25 decisions=2431, wrong=929, backtracks=3819, failedAssignments=608, nogoods=158, foundSolutions=5, bestBound=42 6.84/3.25 nFilterCalls=73978, avgTableProportion=0.9970510977194462, avgTableSize=782.3254886587905 6.84/3.25 6.84/3.29 num=39, depth=8..27, filters=48952, revisions=(170591,useless=159251), ccks=269770, wck=0.711, mem=90M4 6.84/3.29 decisions=2592, wrong=1002, backtracks=3862, failedAssignments=649, nogoods=163, foundSolutions=5, bestBound=42 6.84/3.29 nFilterCalls=78685, avgTableProportion=0.9970349447133361, avgTableSize=777.7216114888479 6.84/3.29 7.15/3.32 num=40, depth=12..24, filters=51166, revisions=(177807,useless=165953), ccks=280788, wck=0.74, mem=90M4 7.15/3.32 decisions=2758, wrong=1078, backtracks=3902, failedAssignments=694, nogoods=169, foundSolutions=5, bestBound=42 7.15/3.32 nFilterCalls=82431, avgTableProportion=0.9970436481969943, avgTableSize=779.1761837172908 7.15/3.32 7.15/3.36 o 36 7.15/3.36 num=41, depth=2..291, filters=53757, revisions=(187273,useless=174795), ccks=297121, wck=0.785, mem=90M4 7.15/3.36 decisions=2910, wrong=1151, backtracks=4977, failedAssignments=741, nogoods=173, foundSolutions=6, bestBound=36 7.15/3.36 nFilterCalls=88709, avgTableProportion=0.9970573916992642, avgTableSize=783.3558827176498 7.15/3.36 7.45/3.41 num=42, depth=10..23, filters=57541, revisions=(200302,useless=187058), ccks=314020, wck=0.834, mem=90M4 7.45/3.41 decisions=3094, wrong=1236, backtracks=5023, failedAssignments=796, nogoods=183, foundSolutions=6, bestBound=36 7.45/3.41 nFilterCalls=94564, avgTableProportion=0.9970525191072002, avgTableSize=781.4653250708515 7.45/3.41 7.45/3.43 num=43, depth=9..16, filters=59010, revisions=(205344,useless=191761), ccks=321342, wck=0.854, mem=90M4 7.45/3.43 decisions=3147, wrong=1258, backtracks=5037, failedAssignments=807, nogoods=187, foundSolutions=6, bestBound=36 7.45/3.43 nFilterCalls=96392, avgTableProportion=0.9970507664962313, avgTableSize=781.0196074363017 7.45/3.43 7.45/3.44 num=44, depth=14..20, filters=59798, revisions=(208019,useless=194273), ccks=324556, wck=0.865, mem=90M4 7.45/3.44 decisions=3194, wrong=1274, backtracks=5044, failedAssignments=819, nogoods=190, foundSolutions=6, bestBound=36 7.45/3.44 nFilterCalls=97492, avgTableProportion=0.9970524587442638, avgTableSize=781.2889057563698 7.45/3.44 7.45/3.45 num=45, depth=6..154, filters=60454, revisions=(210213,useless=196347), ccks=327896, wck=0.877, mem=90M4 7.45/3.45 decisions=3228, wrong=1288, backtracks=5192, failedAssignments=832, nogoods=191, foundSolutions=6, bestBound=36 7.45/3.45 nFilterCalls=98647, avgTableProportion=0.9970541135515849, avgTableSize=782.10174663193 7.45/3.45 7.45/3.47 num=46, depth=11..15, filters=61958, revisions=(215286,useless=201093), ccks=333310, wck=0.896, mem=90M4 7.45/3.47 decisions=3274, wrong=1306, backtracks=5204, failedAssignments=846, nogoods=195, foundSolutions=6, bestBound=36 7.45/3.47 nFilterCalls=100820, avgTableProportion=0.9970520594584662, avgTableSize=781.226224955366 7.45/3.47 7.45/3.49 num=47, depth=9..19, filters=63037, revisions=(219048,useless=204620), ccks=337644, wck=0.91, mem=90M4 7.45/3.49 decisions=3331, wrong=1327, backtracks=5210, failedAssignments=862, nogoods=203, foundSolutions=6, bestBound=36 7.45/3.49 nFilterCalls=102352, avgTableProportion=0.9970521728556275, avgTableSize=781.1564014381742 7.45/3.49 7.75/3.50 o 35 7.75/3.50 num=48, depth=9..291, filters=63651, revisions=(221616,useless=207077), ccks=340695, wck=0.924, mem=92M647 7.75/3.50 decisions=3365, wrong=1338, backtracks=5529, failedAssignments=870, nogoods=206, foundSolutions=7, bestBound=35 7.75/3.50 nFilterCalls=104278, avgTableProportion=0.9970556667880823, avgTableSize=782.0725176930896 7.75/3.50 7.75/3.52 num=49, depth=8..22, filters=64997, revisions=(226540,useless=211749), ccks=347144, wck=0.944, mem=92M647 7.75/3.52 decisions=3432, wrong=1365, backtracks=5541, failedAssignments=889, nogoods=213, foundSolutions=7, bestBound=35 7.75/3.52 nFilterCalls=106272, avgTableProportion=0.9970540463787777, avgTableSize=781.7180630834087 7.75/3.52 7.75/3.53 num=50, depth=8..21, filters=65978, revisions=(229980,useless=214952), ccks=351182, wck=0.957, mem=92M647 7.75/3.53 decisions=3482, wrong=1385, backtracks=5554, failedAssignments=900, nogoods=217, foundSolutions=7, bestBound=35 7.75/3.53 nFilterCalls=107611, avgTableProportion=0.9970530270018324, avgTableSize=781.6078932451144 7.75/3.53 7.75/3.54 num=51, depth=9..188, filters=66798, revisions=(232747,useless=217566), ccks=354353, wck=0.97, mem=92M647 7.75/3.54 decisions=3531, wrong=1399, backtracks=5721, failedAssignments=912, nogoods=222, foundSolutions=7, bestBound=35 7.75/3.54 nFilterCalls=108984, avgTableProportion=0.9970544815815711, avgTableSize=781.959278426191 7.75/3.54 7.75/3.56 num=52, depth=9..18, filters=67828, revisions=(236293,useless=220909), ccks=358764, wck=0.983, mem=92M647 7.75/3.56 decisions=3580, wrong=1416, backtracks=5729, failedAssignments=925, nogoods=229, foundSolutions=7, bestBound=35 7.75/3.56 nFilterCalls=110557, avgTableProportion=0.9970559517973846, avgTableSize=782.4948849914524 7.75/3.56 7.75/3.58 num=53, depth=9..20, filters=69260, revisions=(241313,useless=225589), ccks=364494, wck=1.001, mem=92M647 7.75/3.58 decisions=3648, wrong=1444, backtracks=5747, failedAssignments=939, nogoods=235, foundSolutions=7, bestBound=35 7.75/3.58 nFilterCalls=112593, avgTableProportion=0.9970552398472499, avgTableSize=782.037808744771 7.75/3.58 7.75/3.60 num=54, depth=11..17, filters=70781, revisions=(246256,useless=230172), ccks=371174, wck=1.02, mem=92M647 7.75/3.60 decisions=3713, wrong=1470, backtracks=5760, failedAssignments=955, nogoods=246, foundSolutions=7, bestBound=35 7.75/3.60 nFilterCalls=114746, avgTableProportion=0.9970585052336343, avgTableSize=782.6110888396981 7.75/3.60 8.06/3.62 num=55, depth=6..18, filters=72420, revisions=(251699,useless=235176), ccks=381209, wck=1.044, mem=92M647 8.06/3.62 decisions=3796, wrong=1505, backtracks=5786, failedAssignments=972, nogoods=252, foundSolutions=7, bestBound=35 8.06/3.62 nFilterCalls=117042, avgTableProportion=0.997063952604271, avgTableSize=784.1735359956255 8.06/3.62 8.06/3.64 num=56, depth=8..18, filters=74516, revisions=(259001,useless=241971), ccks=391389, wck=1.07, mem=92M647 8.06/3.64 decisions=3876, wrong=1539, backtracks=5809, failedAssignments=991, nogoods=258, foundSolutions=7, bestBound=35 8.06/3.64 nFilterCalls=119879, avgTableProportion=0.9970647150323234, avgTableSize=784.626323209236 8.06/3.64 8.06/3.67 num=57, depth=9..21, filters=76351, revisions=(265529,useless=248075), ccks=399113, wck=1.093, mem=92M647 8.06/3.67 decisions=3964, wrong=1574, backtracks=5832, failedAssignments=1012, nogoods=266, foundSolutions=7, bestBound=35 8.06/3.67 nFilterCalls=122468, avgTableProportion=0.9970640161520068, avgTableSize=784.4917039553189 8.06/3.67 8.36/3.70 num=58, depth=2..18, filters=78496, revisions=(272595,useless=254608), ccks=413163, wck=1.125, mem=92M647 8.36/3.70 decisions=4085, wrong=1631, backtracks=5872, failedAssignments=1035, nogoods=273, foundSolutions=7, bestBound=35 8.36/3.70 nFilterCalls=125365, avgTableProportion=0.9970671098247843, avgTableSize=785.723399672955 8.36/3.70 8.36/3.73 num=59, depth=2..16, filters=80727, revisions=(280300,useless=261855), ccks=422065, wck=1.153, mem=92M647 8.36/3.73 decisions=4179, wrong=1673, backtracks=5901, failedAssignments=1060, nogoods=281, foundSolutions=7, bestBound=35 8.36/3.73 nFilterCalls=128612, avgTableProportion=0.9970663961733235, avgTableSize=785.7069402544087 8.36/3.73 8.36/3.75 o 34 8.36/3.75 num=60, depth=12..291, filters=82201, revisions=(285588,useless=266837), ccks=428011, wck=1.175, mem=92M647 8.36/3.75 decisions=4252, wrong=1699, backtracks=5917, failedAssignments=1075, nogoods=288, foundSolutions=8, bestBound=34 8.36/3.75 nFilterCalls=131275, avgTableProportion=0.9970672509681234, avgTableSize=785.5592382403352 8.36/3.75 8.36/3.78 num=61, depth=10..22, filters=84836, revisions=(294488,useless=275158), ccks=437280, wck=1.207, mem=92M647 8.36/3.78 decisions=4372, wrong=1752, backtracks=5950, failedAssignments=1106, nogoods=300, foundSolutions=8, bestBound=34 8.36/3.78 nFilterCalls=135080, avgTableProportion=0.9970684792632364, avgTableSize=785.5862081729346 8.36/3.78 8.36/3.79 o 31 8.36/3.79 num=62, depth=12..291, filters=85399, revisions=(296867,useless=277435), ccks=440635, wck=1.219, mem=92M647 8.36/3.79 decisions=4403, wrong=1757, backtracks=5954, failedAssignments=1110, nogoods=304, foundSolutions=9, bestBound=31 8.36/3.79 nFilterCalls=136371, avgTableProportion=0.9970698878644797, avgTableSize=786.0316269588109 8.36/3.79 8.67/3.81 num=63, depth=11..17, filters=86150, revisions=(300026,useless=280447), ccks=445563, wck=1.232, mem=92M647 8.67/3.81 decisions=4438, wrong=1769, backtracks=5960, failedAssignments=1122, nogoods=305, foundSolutions=9, bestBound=31 8.67/3.81 nFilterCalls=137517, avgTableProportion=0.9970681913360728, avgTableSize=785.839961604747 8.67/3.81 8.67/3.82 num=64, depth=6..23, filters=87190, revisions=(303590,useless=283815), ccks=450043, wck=1.246, mem=92M647 8.67/3.82 decisions=4491, wrong=1789, backtracks=5970, failedAssignments=1133, nogoods=312, foundSolutions=9, bestBound=31 8.67/3.82 nFilterCalls=139027, avgTableProportion=0.9970666326170835, avgTableSize=785.6004804822085 8.67/3.82 8.67/3.83 o 27 8.67/3.83 num=65, depth=9..291, filters=87613, revisions=(305422,useless=285565), ccks=452321, wck=1.257, mem=92M647 8.67/3.83 decisions=4518, wrong=1797, backtracks=6136, failedAssignments=1141, nogoods=314, foundSolutions=10, bestBound=27 8.67/3.83 nFilterCalls=140408, avgTableProportion=0.9970681781308337, avgTableSize=785.9375035610507 8.67/3.83 8.67/3.85 num=66, depth=7..15, filters=89119, revisions=(311092,useless=290931), ccks=458681, wck=1.276, mem=92M647 8.67/3.85 decisions=4569, wrong=1819, backtracks=6151, failedAssignments=1154, nogoods=318, foundSolutions=10, bestBound=27 8.67/3.85 nFilterCalls=142514, avgTableProportion=0.9970643432732298, avgTableSize=785.1145712000225 8.67/3.85 8.67/3.86 num=67, depth=7..12, filters=90067, revisions=(314244,useless=293826), ccks=465463, wck=1.288, mem=92M647 8.67/3.86 decisions=4608, wrong=1835, backtracks=6162, failedAssignments=1165, nogoods=319, foundSolutions=10, bestBound=27 8.67/3.86 nFilterCalls=143822, avgTableProportion=0.997066979542103, avgTableSize=785.9278552655366 8.67/3.86 8.67/3.88 num=68, depth=7..20, filters=91032, revisions=(317565,useless=296965), ccks=469367, wck=1.301, mem=92M647 8.67/3.88 decisions=4666, wrong=1856, backtracks=6171, failedAssignments=1177, nogoods=329, foundSolutions=10, bestBound=27 8.67/3.88 nFilterCalls=145293, avgTableProportion=0.9970658315666909, avgTableSize=785.7668917291267 8.67/3.88 8.67/3.89 num=69, depth=6..225, filters=91933, revisions=(320719,useless=299886), ccks=474836, wck=1.314, mem=92M647 8.67/3.89 decisions=4717, wrong=1877, backtracks=6396, failedAssignments=1190, nogoods=332, foundSolutions=10, bestBound=27 8.67/3.89 nFilterCalls=147176, avgTableProportion=0.9970697361540651, avgTableSize=786.7051285535686 8.67/3.89 8.97/3.91 num=70, depth=6..12, filters=93146, revisions=(324705,useless=303576), ccks=481628, wck=1.33, mem=92M647 8.97/3.91 decisions=4764, wrong=1896, backtracks=6407, failedAssignments=1204, nogoods=335, foundSolutions=10, bestBound=27 8.97/3.91 nFilterCalls=148907, avgTableProportion=0.9970710035627607, avgTableSize=787.1852968631428 8.97/3.91 8.97/3.92 num=71, depth=12..22, filters=94303, revisions=(328651,useless=307284), ccks=486809, wck=1.345, mem=92M647 8.97/3.92 decisions=4837, wrong=1925, backtracks=6427, failedAssignments=1220, nogoods=338, foundSolutions=10, bestBound=27 8.97/3.92 nFilterCalls=150604, avgTableProportion=0.9970694011999328, avgTableSize=786.7623967490904 8.97/3.92 8.97/3.94 num=72, depth=7..20, filters=95947, revisions=(334667,useless=312998), ccks=493495, wck=1.365, mem=92M647 8.97/3.94 decisions=4917, wrong=1957, backtracks=6448, failedAssignments=1237, nogoods=343, foundSolutions=10, bestBound=27 8.97/3.94 nFilterCalls=153096, avgTableProportion=0.9970678108274422, avgTableSize=786.3671944400899 8.97/3.94 8.97/3.96 num=73, depth=5..20, filters=97326, revisions=(339166,useless=317132), ccks=499326, wck=1.382, mem=92M647 8.97/3.96 decisions=4989, wrong=1987, backtracks=6466, failedAssignments=1256, nogoods=350, foundSolutions=10, bestBound=27 8.97/3.96 nFilterCalls=155087, avgTableProportion=0.9970705745085902, avgTableSize=786.8957681817302 8.97/3.96 8.97/3.97 num=74, depth=8..20, filters=98598, revisions=(342977,useless=320738), ccks=506211, wck=1.395, mem=92M647 8.97/3.97 decisions=5076, wrong=2025, backtracks=6489, failedAssignments=1277, nogoods=353, foundSolutions=10, bestBound=27 8.97/3.97 nFilterCalls=157097, avgTableProportion=0.99706701782273, avgTableSize=786.2533593894218 8.97/3.97 8.97/3.98 num=75, depth=7..16, filters=100577, revisions=(349778,useless=327130), ccks=516083, wck=1.406, mem=92M647 8.97/3.98 decisions=5173, wrong=2068, backtracks=6519, failedAssignments=1300, nogoods=359, foundSolutions=10, bestBound=27 8.97/3.98 nFilterCalls=159822, avgTableProportion=0.9970670214433224, avgTableSize=786.4341642577367 8.97/3.98 8.97/3.99 num=76, depth=8..20, filters=101585, revisions=(352787,useless=329935), ccks=519148, wck=1.411, mem=92M647 8.97/3.99 decisions=5247, wrong=2100, backtracks=6530, failedAssignments=1325, nogoods=367, foundSolutions=10, bestBound=27 8.97/3.99 nFilterCalls=161498, avgTableProportion=0.9970668631063246, avgTableSize=786.1628998501529 8.97/3.99 8.97/4.00 num=77, depth=8..26, filters=103856, revisions=(359935,useless=336592), ccks=528490, wck=1.422, mem=92M647 8.97/4.00 decisions=5344, wrong=2141, backtracks=6552, failedAssignments=1353, nogoods=371, foundSolutions=10, bestBound=27 8.97/4.00 nFilterCalls=164582, avgTableProportion=0.9970646667411105, avgTableSize=785.7983740627773 8.97/4.00 9.30/4.01 num=78, depth=8..176, filters=105861, revisions=(367250,useless=343426), ccks=540966, wck=1.437, mem=92M647 9.30/4.01 decisions=5461, wrong=2194, backtracks=6912, failedAssignments=1384, nogoods=379, foundSolutions=10, bestBound=27 9.30/4.01 nFilterCalls=168512, avgTableProportion=0.997068974007171, avgTableSize=786.7494184390429 9.30/4.01 9.30/4.02 num=79, depth=11..179, filters=107887, revisions=(374066,useless=349742), ccks=554592, wck=1.449, mem=92M647 9.30/4.02 decisions=5580, wrong=2248, backtracks=7105, failedAssignments=1418, nogoods=384, foundSolutions=10, bestBound=27 9.30/4.02 nFilterCalls=172015, avgTableProportion=0.9970727463978704, avgTableSize=787.6097433363369 9.30/4.02 9.30/4.04 num=80, depth=5..162, filters=110078, revisions=(381303,useless=356439), ccks=565469, wck=1.462, mem=92M647 9.30/4.04 decisions=5695, wrong=2302, backtracks=7438, failedAssignments=1455, nogoods=389, foundSolutions=10, bestBound=27 9.30/4.04 nFilterCalls=176139, avgTableProportion=0.9970777324696645, avgTableSize=788.7183417641749 9.30/4.04 9.30/4.05 num=81, depth=3..218, filters=110903, revisions=(386132,useless=361120), ccks=568340, wck=1.476, mem=92M647 9.30/4.05 decisions=5787, wrong=2344, backtracks=9634, failedAssignments=1496, nogoods=393, foundSolutions=10, bestBound=27 9.30/4.05 nFilterCalls=181098, avgTableProportion=0.9970817580698418, avgTableSize=790.6187312946581 9.30/4.05 9.30/4.07 num=82, depth=10..21, filters=113988, revisions=(396330,useless=370361), ccks=612760, wck=1.5, mem=92M647 9.30/4.07 decisions=5965, wrong=2426, backtracks=9678, failedAssignments=1541, nogoods=398, foundSolutions=10, bestBound=27 9.30/4.07 nFilterCalls=185058, avgTableProportion=0.9970851772056646, avgTableSize=790.9404024684153 9.30/4.07 9.30/4.09 num=83, depth=9..27, filters=117972, revisions=(409276,useless=382255), ccks=632323, wck=1.518, mem=92M647 9.30/4.09 decisions=6176, wrong=2523, backtracks=9743, failedAssignments=1591, nogoods=402, foundSolutions=10, bestBound=27 9.30/4.09 nFilterCalls=191066, avgTableProportion=0.9970841517131641, avgTableSize=790.3605194016727 9.30/4.09 9.61/4.11 num=84, depth=8..225, filters=120296, revisions=(417900,useless=390343), ccks=646943, wck=1.534, mem=92M647 9.61/4.11 decisions=6355, wrong=2606, backtracks=10327, failedAssignments=1646, nogoods=409, foundSolutions=10, bestBound=27 9.61/4.11 nFilterCalls=196505, avgTableProportion=0.997095843506693, avgTableSize=792.902104272156 9.61/4.11 9.61/4.13 num=85, depth=1..10, filters=123911, revisions=(429636,useless=401148), ccks=680437, wck=1.554, mem=92M647 9.61/4.13 decisions=6536, wrong=2694, backtracks=10375, failedAssignments=1707, nogoods=419, foundSolutions=10, bestBound=27 9.61/4.13 nFilterCalls=202561, avgTableProportion=0.9971029138246125, avgTableSize=793.7680945492963 9.61/4.13 9.61/4.15 num=86, depth=0..16, filters=128795, revisions=(446100,useless=416383), ccks=699258, wck=1.575, mem=92M647 9.61/4.15 decisions=6780, wrong=2813, backtracks=10459, failedAssignments=1774, nogoods=423, foundSolutions=10, bestBound=27 9.61/4.15 nFilterCalls=209474, avgTableProportion=0.997101857039164, avgTableSize=793.397777289783 9.61/4.15 9.61/4.18 num=87, depth=9..25, filters=134674, revisions=(466713,useless=435204), ccks=737533, wck=1.601, mem=92M647 9.61/4.18 decisions=7083, wrong=2957, backtracks=10553, failedAssignments=1848, nogoods=430, foundSolutions=10, bestBound=27 9.61/4.18 nFilterCalls=218440, avgTableProportion=0.9971015820934445, avgTableSize=792.1027192821828 9.61/4.18 9.61/4.19 num=88, depth=11..28, filters=138727, revisions=(479949,useless=447432), ccks=754673, wck=1.617, mem=92M647 9.61/4.19 decisions=7356, wrong=3087, backtracks=10620, failedAssignments=1929, nogoods=437, foundSolutions=10, bestBound=27 9.61/4.19 nFilterCalls=224841, avgTableProportion=0.9970976149284307, avgTableSize=790.2766888601278 9.61/4.19 9.75/4.21 num=89, depth=10..22, filters=143837, revisions=(496802,useless=462886), ccks=775195, wck=1.637, mem=92M647 9.75/4.21 decisions=7699, wrong=3253, backtracks=10741, failedAssignments=2018, nogoods=442, foundSolutions=10, bestBound=27 9.75/4.21 nFilterCalls=232849, avgTableProportion=0.9971027440202512, avgTableSize=790.7244909791324 9.75/4.21 9.75/4.24 num=90, depth=10..21, filters=150448, revisions=(519572,useless=483857), ccks=803120, wck=1.664, mem=92M647 9.75/4.24 decisions=8036, wrong=3416, backtracks=10861, failedAssignments=2116, nogoods=449, foundSolutions=10, bestBound=27 9.75/4.24 nFilterCalls=242769, avgTableProportion=0.9971121184272191, avgTableSize=793.1321832688687 9.75/4.24 9.75/4.26 num=91, depth=14..182, filters=155562, revisions=(537396,useless=500290), ccks=832307, wck=1.687, mem=95M290 9.75/4.26 decisions=8381, wrong=3580, backtracks=11117, failedAssignments=2224, nogoods=453, foundSolutions=10, bestBound=27 9.75/4.26 nFilterCalls=251828, avgTableProportion=0.9971134781834619, avgTableSize=792.8019005035183 9.75/4.26 9.75/4.28 num=92, depth=10..188, filters=159257, revisions=(548902,useless=510881), ccks=848522, wck=1.705, mem=95M290 9.75/4.28 decisions=8765, wrong=3763, backtracks=11534, failedAssignments=2343, nogoods=462, foundSolutions=10, bestBound=27 9.75/4.28 nFilterCalls=259906, avgTableProportion=0.9971218117449527, avgTableSize=793.4724477311028 9.75/4.28 9.85/4.32 num=93, depth=11..228, filters=167399, revisions=(576385,useless=536432), ccks=892629, wck=1.743, mem=95M290 9.85/4.32 decisions=9233, wrong=3988, backtracks=12204, failedAssignments=2474, nogoods=473, foundSolutions=10, bestBound=27 9.85/4.32 nFilterCalls=275055, avgTableProportion=0.9971319196512504, avgTableSize=795.6971514787951 9.85/4.32 9.85/4.37 num=94, depth=6..22, filters=176986, revisions=(608857,useless=566288), ccks=963463, wck=1.793, mem=95M290 9.85/4.37 decisions=9805, wrong=4271, backtracks=12375, failedAssignments=2618, nogoods=474, foundSolutions=10, bestBound=27 9.85/4.37 nFilterCalls=289303, avgTableProportion=0.9971489176908217, avgTableSize=798.6817005008589 9.85/4.37 9.97/4.42 num=95, depth=7..22, filters=189875, revisions=(651749,useless=605853), ccks=1019721, wck=1.841, mem=95M290 9.97/4.42 decisions=10362, wrong=4543, backtracks=12535, failedAssignments=2776, nogoods=486, foundSolutions=10, bestBound=27 9.97/4.42 nFilterCalls=307458, avgTableProportion=0.9971328504393961, avgTableSize=793.6046256724495 9.97/4.42 9.97/4.42 o 20 9.97/4.43 num=96, depth=12..291, filters=190753, revisions=(655405,useless=609310), ccks=1025109, wck=1.85, mem=95M290 9.97/4.43 decisions=10467, wrong=4587, backtracks=13091, failedAssignments=2817, nogoods=487, foundSolutions=11, bestBound=20 9.97/4.43 nFilterCalls=310965, avgTableProportion=0.9971365308169765, avgTableSize=794.3163056935668 9.97/4.43 9.97/4.47 num=97, depth=9..21, filters=201153, revisions=(690293,useless=641295), ccks=1069251, wck=1.892, mem=95M290 9.97/4.47 decisions=11116, wrong=4907, backtracks=13267, failedAssignments=3008, nogoods=492, foundSolutions=11, bestBound=20 9.97/4.47 nFilterCalls=327367, avgTableProportion=0.9971410056710143, avgTableSize=794.6596663683267 9.97/4.47 9.97/4.47 num=98, depth=15..23, filters=202040, revisions=(693531,useless=644328), ccks=1076183, wck=1.898, mem=95M290 9.97/4.47 decisions=11163, wrong=4923, backtracks=13280, failedAssignments=3019, nogoods=494, foundSolutions=11, bestBound=20 9.97/4.47 nFilterCalls=328854, avgTableProportion=0.9971409737814037, avgTableSize=794.4967432356 9.97/4.47 9.97/4.48 o 16 9.97/4.48 num=99, depth=10..291, filters=203130, revisions=(697703,useless=648244), ccks=1082429, wck=1.906, mem=95M290 9.97/4.48 decisions=11206, wrong=4937, backtracks=13288, failedAssignments=3028, nogoods=498, foundSolutions=12, bestBound=16 9.97/4.48 nFilterCalls=331065, avgTableProportion=0.997141301066358, avgTableSize=794.3727274100253 9.97/4.48 9.97/4.49 num=100, depth=9..23, filters=203825, revisions=(700317,useless=650714), ccks=1086180, wck=1.911, mem=95M290 9.97/4.49 decisions=11266, wrong=4958, backtracks=13299, failedAssignments=3041, nogoods=503, foundSolutions=12, bestBound=16 9.97/4.49 nFilterCalls=332450, avgTableProportion=0.9971416550673341, avgTableSize=794.252666566401 9.97/4.49 9.97/4.49 num=101, depth=9..21, filters=204705, revisions=(703510,useless=653688), ccks=1090857, wck=1.915, mem=95M290 9.97/4.49 decisions=11314, wrong=4974, backtracks=13307, failedAssignments=3052, nogoods=508, foundSolutions=12, bestBound=16 9.97/4.49 nFilterCalls=333753, avgTableProportion=0.9971411372202295, avgTableSize=794.1370384685681 9.97/4.49 9.97/4.49 num=102, depth=8..187, filters=205490, revisions=(706122,useless=656093), ccks=1095996, wck=1.92, mem=95M290 9.97/4.49 decisions=11354, wrong=4988, backtracks=13488, failedAssignments=3064, nogoods=512, foundSolutions=12, bestBound=16 9.97/4.49 nFilterCalls=335347, avgTableProportion=0.9971423973813052, avgTableSize=794.3244311116545 9.97/4.49 10.21/4.50 num=103, depth=8..21, filters=206736, revisions=(710907,useless=660546), ccks=1102879, wck=1.927, mem=95M290 10.21/4.50 decisions=11414, wrong=5010, backtracks=13503, failedAssignments=3077, nogoods=517, foundSolutions=12, bestBound=16 10.21/4.50 nFilterCalls=337241, avgTableProportion=0.9971414465843116, avgTableSize=794.0123798707749 10.21/4.50 10.21/4.51 num=104, depth=8..19, filters=208066, revisions=(715781,useless=665057), ccks=1110536, wck=1.933, mem=95M290 10.21/4.51 decisions=11476, wrong=5034, backtracks=13518, failedAssignments=3091, nogoods=522, foundSolutions=12, bestBound=16 10.21/4.51 nFilterCalls=339232, avgTableProportion=0.9971405668067326, avgTableSize=793.7383619469862 10.21/4.51 10.21/4.52 num=105, depth=8..24, filters=209853, revisions=(721875,useless=670632), ccks=1120982, wck=1.941, mem=95M290 10.21/4.52 decisions=11562, wrong=5070, backtracks=13540, failedAssignments=3107, nogoods=527, foundSolutions=12, bestBound=16 10.21/4.52 nFilterCalls=341635, avgTableProportion=0.9971396754503807, avgTableSize=793.5404481390958 10.21/4.52 10.21/4.52 num=106, depth=11..24, filters=210982, revisions=(725690,useless=674164), ccks=1126053, wck=1.946, mem=95M290 10.21/4.52 decisions=11637, wrong=5099, backtracks=13558, failedAssignments=3124, nogoods=535, foundSolutions=12, bestBound=16 10.21/4.52 nFilterCalls=343396, avgTableProportion=0.997138823983445, avgTableSize=793.2577927523909 10.21/4.52 10.21/4.53 num=107, depth=13..20, filters=212586, revisions=(731180,useless=679226), ccks=1132961, wck=1.953, mem=95M290 10.21/4.53 decisions=11720, wrong=5133, backtracks=13582, failedAssignments=3143, nogoods=540, foundSolutions=12, bestBound=16 10.21/4.53 nFilterCalls=345896, avgTableProportion=0.997138824563699, avgTableSize=793.0766646622106 10.21/4.53 10.21/4.53 num=108, depth=8..17, filters=213890, revisions=(735622,useless=683380), ccks=1143468, wck=1.96, mem=95M290 10.21/4.53 decisions=11792, wrong=5165, backtracks=13601, failedAssignments=3164, nogoods=542, foundSolutions=12, bestBound=16 10.21/4.53 nFilterCalls=348450, avgTableProportion=0.997138843836955, avgTableSize=792.8400028698522 10.21/4.53 10.21/4.54 num=109, depth=7..16, filters=215544, revisions=(741155,useless=688582), ccks=1155050, wck=1.968, mem=95M290 10.21/4.54 decisions=11883, wrong=5206, backtracks=13627, failedAssignments=3187, nogoods=546, foundSolutions=12, bestBound=16 10.21/4.54 nFilterCalls=351527, avgTableProportion=0.9971371465145001, avgTableSize=792.4596033875065 10.21/4.54 10.21/4.55 num=110, depth=13..187, filters=216296, revisions=(743581,useless=690830), ccks=1158112, wck=1.973, mem=95M290 10.21/4.55 decisions=11956, wrong=5236, backtracks=13811, failedAssignments=3212, nogoods=550, foundSolutions=12, bestBound=16 10.21/4.55 nFilterCalls=353282, avgTableProportion=0.9971385316422074, avgTableSize=792.6123550025193 10.21/4.55 10.21/4.56 num=111, depth=6..215, filters=217652, revisions=(748674,useless=695511), ccks=1167228, wck=1.981, mem=95M290 10.21/4.56 decisions=12052, wrong=5279, backtracks=14191, failedAssignments=3240, nogoods=558, foundSolutions=12, bestBound=16 10.21/4.56 nFilterCalls=356198, avgTableProportion=0.9971412386851773, avgTableSize=793.3385392394118 10.21/4.56 10.21/4.57 num=112, depth=6..10, filters=219449, revisions=(755010,useless=701423), ccks=1175108, wck=1.99, mem=95M290 10.21/4.57 decisions=12122, wrong=5310, backtracks=14215, failedAssignments=3271, nogoods=564, foundSolutions=12, bestBound=16 10.21/4.57 nFilterCalls=358769, avgTableProportion=0.9971417837389391, avgTableSize=793.1244282532772 10.21/4.57 10.21/4.58 num=113, depth=8..218, filters=220464, revisions=(760607,useless=706707), ccks=1181244, wck=2.005, mem=95M290 10.21/4.58 decisions=12225, wrong=5353, backtracks=16633, failedAssignments=3305, nogoods=574, foundSolutions=12, bestBound=16 10.21/4.58 nFilterCalls=364434, avgTableProportion=0.9971462294577311, avgTableSize=794.6677670030788 10.21/4.58 10.21/4.59 num=114, depth=8..22, filters=223149, revisions=(770197,useless=715608), ccks=1196608, wck=2.017, mem=95M290 10.21/4.59 decisions=12355, wrong=5412, backtracks=16670, failedAssignments=3342, nogoods=581, foundSolutions=12, bestBound=16 10.21/4.59 nFilterCalls=368510, avgTableProportion=0.9971459691109702, avgTableSize=794.4288350383979 10.21/4.59 10.38/4.60 num=115, depth=12..172, filters=225457, revisions=(778945,useless=723794), ccks=1207923, wck=2.028, mem=95M290 10.38/4.60 decisions=12502, wrong=5477, backtracks=16864, failedAssignments=3383, nogoods=585, foundSolutions=12, bestBound=16 10.38/4.60 nFilterCalls=372006, avgTableProportion=0.997145270295184, avgTableSize=794.2681569652102 10.38/4.60 10.38/4.61 num=116, depth=11..222, filters=227166, revisions=(785381,useless=729760), ccks=1215396, wck=2.039, mem=95M290 10.38/4.61 decisions=12640, wrong=5539, backtracks=17961, failedAssignments=3428, nogoods=593, foundSolutions=12, bestBound=16 10.38/4.61 nFilterCalls=376682, avgTableProportion=0.9971490849791665, avgTableSize=795.0937740587551 10.38/4.61 10.38/4.63 num=117, depth=12..21, filters=231607, revisions=(800720,useless=744032), ccks=1239353, wck=2.059, mem=95M290 10.38/4.63 decisions=12841, wrong=5631, backtracks=18019, failedAssignments=3478, nogoods=600, foundSolutions=12, bestBound=16 10.38/4.63 nFilterCalls=383473, avgTableProportion=0.9971476952116158, avgTableSize=794.3485929909016 10.38/4.63 10.38/4.65 num=118, depth=10..226, filters=234059, revisions=(809287,useless=751842), ccks=1251788, wck=2.071, mem=95M290 10.38/4.65 decisions=13069, wrong=5739, backtracks=18633, failedAssignments=3533, nogoods=604, foundSolutions=12, bestBound=16 10.38/4.65 nFilterCalls=388704, avgTableProportion=0.9971506565822011, avgTableSize=794.8245297192723 10.38/4.65 10.38/4.67 num=119, depth=5..215, filters=235941, revisions=(819105,useless=761111), ccks=1263098, wck=2.092, mem=95M290 10.38/4.67 decisions=13235, wrong=5819, backtracks=22109, failedAssignments=3594, nogoods=608, foundSolutions=12, bestBound=16 10.38/4.67 nFilterCalls=397205, avgTableProportion=0.9971574955623455, avgTableSize=797.2408882063418 10.38/4.67 10.38/4.69 num=120, depth=4..24, filters=240652, revisions=(836461,useless=777080), ccks=1291418, wck=2.113, mem=95M290 10.38/4.69 decisions=13503, wrong=5944, backtracks=22186, failedAssignments=3661, nogoods=616, foundSolutions=12, bestBound=16 10.38/4.69 nFilterCalls=404205, avgTableProportion=0.9971607373124327, avgTableSize=798.3526923219654 10.38/4.69 10.52/4.71 num=121, depth=4..16, filters=244572, revisions=(851282,useless=790858), ccks=1318459, wck=2.132, mem=95M290 10.52/4.71 decisions=13788, wrong=6082, backtracks=22278, failedAssignments=3735, nogoods=619, foundSolutions=12, bestBound=16 10.52/4.71 nFilterCalls=410998, avgTableProportion=0.9971633956238535, avgTableSize=799.9347466411028 10.52/4.71 10.52/4.73 num=122, depth=6..25, filters=251828, revisions=(876273,useless=814132), ccks=1350735, wck=2.159, mem=95M290 10.52/4.73 decisions=14161, wrong=6264, backtracks=22403, failedAssignments=3816, nogoods=621, foundSolutions=12, bestBound=16 10.52/4.73 nFilterCalls=420838, avgTableProportion=0.9971509268151786, avgTableSize=798.2034393281975 10.52/4.73 10.52/4.77 num=123, depth=1..19, filters=260737, revisions=(907050,useless=842460), ccks=1392162, wck=2.198, mem=95M290 10.52/4.77 decisions=14472, wrong=6419, backtracks=22497, failedAssignments=3905, nogoods=625, foundSolutions=12, bestBound=16 10.52/4.77 nFilterCalls=433566, avgTableProportion=0.9971444915232853, avgTableSize=797.3270874561197 10.52/4.77 10.63/4.80 num=124, depth=7..23, filters=268302, revisions=(931148,useless=864904), ccks=1418203, wck=2.227, mem=95M290 10.63/4.80 decisions=14926, wrong=6640, backtracks=22648, failedAssignments=4003, nogoods=637, foundSolutions=12, bestBound=16 10.63/4.80 nFilterCalls=443572, avgTableProportion=0.9971302089746232, avgTableSize=794.2893555048561 10.63/4.80 10.63/4.83 num=125, depth=3..166, filters=274540, revisions=(953310,useless=885229), ccks=1451875, wck=2.255, mem=95M290 10.63/4.83 decisions=15288, wrong=6817, backtracks=23203, failedAssignments=4111, nogoods=642, foundSolutions=12, bestBound=16 10.63/4.83 nFilterCalls=453921, avgTableProportion=0.9971367787639305, avgTableSize=795.7623022508322 10.63/4.83 10.63/4.85 num=126, depth=6..148, filters=279105, revisions=(968340,useless=898774), ccks=1479457, wck=2.277, mem=95M290 10.63/4.85 decisions=15716, wrong=7026, backtracks=23462, failedAssignments=4230, nogoods=648, foundSolutions=12, bestBound=16 10.63/4.85 nFilterCalls=462122, avgTableProportion=0.9971467501880082, avgTableSize=797.8174767702035 10.63/4.85 10.74/4.90 num=127, depth=7..220, filters=291363, revisions=(1007728,useless=935345), ccks=1523339, wck=2.324, mem=95M290 10.74/4.90 decisions=16276, wrong=7298, backtracks=24062, failedAssignments=4361, nogoods=658, foundSolutions=12, bestBound=16 10.74/4.90 nFilterCalls=480239, avgTableProportion=0.9971299117224376, avgTableSize=793.8116521148845 10.74/4.90 10.74/4.94 num=128, depth=0..214, filters=299600, revisions=(1036973,useless=962590), ccks=1564207, wck=2.368, mem=95M290 10.74/4.94 decisions=16783, wrong=7545, backtracks=26601, failedAssignments=4505, nogoods=667, foundSolutions=12, bestBound=16 10.74/4.94 nFilterCalls=497340, avgTableProportion=0.9971248763245892, avgTableSize=792.7791088591306 10.74/4.94 10.74/4.98 num=129, depth=6..214, filters=307920, revisions=(1065303,useless=988851), ccks=1600421, wck=2.403, mem=95M290 10.74/4.98 decisions=17367, wrong=7829, backtracks=27144, failedAssignments=4663, nogoods=675, foundSolutions=12, bestBound=16 10.74/4.98 nFilterCalls=511527, avgTableProportion=0.9971292049297867, avgTableSize=793.5052284630137 10.74/4.98 10.85/5.02 num=130, depth=7..175, filters=317775, revisions=(1100238,useless=1021481), ccks=1641420, wck=2.445, mem=95M290 10.85/5.02 decisions=17927, wrong=8104, backtracks=27764, failedAssignments=4837, nogoods=682, foundSolutions=12, bestBound=16 10.85/5.02 nFilterCalls=528396, avgTableProportion=0.997130243404735, avgTableSize=793.4678744729332 10.85/5.02 10.85/5.07 num=131, depth=4..216, filters=326641, revisions=(1129471,useless=1049027), ccks=1690688, wck=2.49, mem=95M290 10.85/5.07 decisions=18502, wrong=8384, backtracks=29275, failedAssignments=5028, nogoods=690, foundSolutions=12, bestBound=16 10.85/5.07 nFilterCalls=546268, avgTableProportion=0.9971268042687593, avgTableSize=792.7336252535385 10.85/5.07 10.95/5.12 num=132, depth=6..229, filters=336817, revisions=(1167041,useless=1083660), ccks=1749331, wck=2.541, mem=95M290 10.95/5.12 decisions=19136, wrong=8698, backtracks=31227, failedAssignments=5239, nogoods=691, foundSolutions=12, bestBound=16 10.95/5.12 nFilterCalls=565492, avgTableProportion=0.9971316039674561, avgTableSize=793.677528594569 10.95/5.12 10.95/5.18 num=133, depth=3..219, filters=353140, revisions=(1225599,useless=1138286), ccks=1815483, wck=2.607, mem=97M932 10.95/5.18 decisions=19852, wrong=9051, backtracks=32698, failedAssignments=5471, nogoods=696, foundSolutions=12, bestBound=16 10.95/5.18 nFilterCalls=591099, avgTableProportion=0.9971229051511267, avgTableSize=792.2387434253823 10.95/5.18 11.04/5.25 num=134, depth=8..226, filters=367611, revisions=(1278651,useless=1187685), ccks=1887565, wck=2.674, mem=97M932 11.04/5.25 decisions=20736, wrong=9487, backtracks=35179, failedAssignments=5726, nogoods=702, foundSolutions=12, bestBound=16 11.04/5.25 nFilterCalls=615793, avgTableProportion=0.9971188520057119, avgTableSize=791.2984541883393 11.04/5.25 11.14/5.31 num=135, depth=2..224, filters=375676, revisions=(1311635,useless=1218446), ccks=1920236, wck=2.736, mem=97M932 11.14/5.31 decisions=21548, wrong=9888, backtracks=43398, failedAssignments=6007, nogoods=710, foundSolutions=12, bestBound=16 11.14/5.31 nFilterCalls=643603, avgTableProportion=0.9971321188074029, avgTableSize=794.8213292977192 11.14/5.31 11.14/5.39 num=136, depth=1..20, filters=394095, revisions=(1374149,useless=1277008), ccks=2019366, wck=2.818, mem=97M932 11.14/5.39 decisions=22495, wrong=10360, backtracks=43683, failedAssignments=6316, nogoods=719, foundSolutions=12, bestBound=16 11.14/5.39 nFilterCalls=673519, avgTableProportion=0.9971260370658667, avgTableSize=792.2890816740137 11.14/5.39 11.35/5.50 num=137, depth=5..219, filters=420447, revisions=(1468609,useless=1365158), ccks=2131316, wck=2.926, mem=97M932 11.35/5.50 decisions=23658, wrong=10933, backtracks=45429, failedAssignments=6656, nogoods=726, foundSolutions=12, bestBound=16 11.35/5.50 nFilterCalls=713833, avgTableProportion=0.9971142989492419, avgTableSize=789.9849670721303 11.35/5.50 11.45/5.60 num=138, depth=10..229, filters=442610, revisions=(1544152,useless=1434467), ccks=2263952, wck=3.028, mem=97M932 11.45/5.60 decisions=25051, wrong=11623, backtracks=46719, failedAssignments=7030, nogoods=734, foundSolutions=12, bestBound=16 11.45/5.60 nFilterCalls=753865, avgTableProportion=0.9971292911018296, avgTableSize=792.8276853282749 11.45/5.60 11.57/5.72 num=139, depth=7..227, filters=463439, revisions=(1621950,useless=1506827), ccks=2371935, wck=3.14, mem=97M932 11.57/5.72 decisions=26433, wrong=12309, backtracks=53677, failedAssignments=7441, nogoods=738, foundSolutions=12, bestBound=16 11.57/5.72 nFilterCalls=798981, avgTableProportion=0.9971382158468926, avgTableSize=795.571767038265 11.57/5.72 11.67/5.84 num=140, depth=1..216, filters=491510, revisions=(1723961,useless=1602782), ccks=2493003, wck=3.262, mem=97M932 11.67/5.84 decisions=27910, wrong=13045, backtracks=56471, failedAssignments=7893, nogoods=744, foundSolutions=12, bestBound=16 11.67/5.84 nFilterCalls=847569, avgTableProportion=0.9971328227325064, avgTableSize=795.553445206231 11.67/5.84 11.77/5.97 num=141, depth=4..24, filters=525003, revisions=(1841167,useless=1711931), ccks=2626886, wck=3.393, mem=97M932 11.77/5.97 decisions=29632, wrong=13899, backtracks=56999, failedAssignments=8390, nogoods=753, foundSolutions=12, bestBound=16 11.77/5.97 nFilterCalls=897254, avgTableProportion=0.9971176934945604, avgTableSize=793.3074012486989 11.77/5.97 12.00/6.14 num=142, depth=1..222, filters=560192, revisions=(1960069,useless=1823100), ccks=2854072, wck=3.567, mem=97M932 12.00/6.14 decisions=31383, wrong=14766, backtracks=59774, failedAssignments=8937, nogoods=763, foundSolutions=12, bestBound=16 12.00/6.14 nFilterCalls=959460, avgTableProportion=0.9971202222859779, avgTableSize=792.8822681508349 12.00/6.14 12.19/6.30 num=143, depth=5..183, filters=596136, revisions=(2081088,useless=1935020), ccks=3037367, wck=3.724, mem=97M932 12.19/6.30 decisions=33512, wrong=15823, backtracks=60866, failedAssignments=9539, nogoods=773, foundSolutions=12, bestBound=16 12.19/6.30 nFilterCalls=1019479, avgTableProportion=0.9971316157961164, avgTableSize=794.7733410889288 12.19/6.30 12.29/6.50 num=144, depth=5..226, filters=637709, revisions=(2233443,useless=2077500), ccks=3220430, wck=3.921, mem=97M932 12.29/6.50 decisions=35769, wrong=16947, backtracks=70282, failedAssignments=10201, nogoods=778, foundSolutions=12, bestBound=16 12.29/6.50 nFilterCalls=1103748, avgTableProportion=0.997136254019569, avgTableSize=796.1253420164747 12.29/6.50 12.60/6.70 num=145, depth=5..25, filters=691929, revisions=(2420496,useless=2251684), ccks=3444239, wck=4.128, mem=97M932 12.60/6.70 decisions=38483, wrong=18296, backtracks=71133, failedAssignments=10929, nogoods=797, foundSolutions=12, bestBound=16 12.60/6.70 nFilterCalls=1187467, avgTableProportion=0.9971225960891194, avgTableSize=790.8814299681591 12.60/6.70 12.80/6.92 num=146, depth=6..224, filters=730692, revisions=(2567732,useless=2389203), ccks=3620709, wck=4.345, mem=97M932 12.80/6.92 decisions=41116, wrong=19607, backtracks=87759, failedAssignments=11730, nogoods=803, foundSolutions=12, bestBound=16 12.80/6.92 nFilterCalls=1282992, avgTableProportion=0.9971366384004079, avgTableSize=793.1600921907541 12.80/6.92 13.01/7.16 num=147, depth=2..225, filters=781116, revisions=(2751870,useless=2561046), ccks=3877203, wck=4.59, mem=97M932 13.01/7.16 decisions=44022, wrong=21055, backtracks=96362, failedAssignments=12611, nogoods=810, foundSolutions=12, bestBound=16 13.01/7.16 nFilterCalls=1380705, avgTableProportion=0.9971424169544322, avgTableSize=795.2614265900392 13.01/7.16 13.30/7.46 num=148, depth=4..171, filters=848293, revisions=(2988228,useless=2781036), ccks=4251098, wck=4.887, mem=97M932 13.30/7.46 decisions=47254, wrong=22667, backtracks=97959, failedAssignments=13581, nogoods=827, foundSolutions=12, bestBound=16 13.30/7.46 nFilterCalls=1488581, avgTableProportion=0.9971389247722141, avgTableSize=794.4792497015615 13.30/7.46 13.60/7.79 num=149, depth=0..218, filters=906540, revisions=(3213341,useless=2992577), ccks=4545024, wck=5.218, mem=100M574 13.60/7.79 decisions=50624, wrong=24349, backtracks=124249, failedAssignments=14648, nogoods=838, foundSolutions=12, bestBound=16 13.60/7.79 nFilterCalls=1621425, avgTableProportion=0.9971341358697637, avgTableSize=794.8384143577409 13.60/7.79 13.91/8.08 num=150, depth=3..226, filters=964386, revisions=(3420706,useless=3185102), ccks=4866071, wck=5.501, mem=100M574 13.91/8.08 decisions=54443, wrong=26252, backtracks=131596, failedAssignments=15821, nogoods=847, foundSolutions=12, bestBound=16 13.91/8.08 nFilterCalls=1729235, avgTableProportion=0.9971451635767226, avgTableSize=797.2923865177377 13.91/8.08 14.30/8.44 num=151, depth=2..224, filters=1046931, revisions=(3704761,useless=3450887), ccks=5223262, wck=5.866, mem=100M574 14.30/8.44 decisions=58838, wrong=28446, backtracks=140794, failedAssignments=17112, nogoods=862, foundSolutions=12, bestBound=16 14.30/8.44 nFilterCalls=1879128, avgTableProportion=0.9971305873913786, avgTableSize=794.7720192557399 14.30/8.44 14.70/8.87 num=152, depth=1..189, filters=1153619, revisions=(4079079,useless=3799766), ccks=5693025, wck=6.296, mem=100M574 14.70/8.87 decisions=63947, wrong=30995, backtracks=144724, failedAssignments=18532, nogoods=868, foundSolutions=12, bestBound=16 14.70/8.87 nFilterCalls=2046897, avgTableProportion=0.9971192331539966, avgTableSize=791.4814717105942 14.70/8.87 15.10/9.29 num=153, depth=5..224, filters=1254797, revisions=(4420772,useless=4118754), ccks=6095116, wck=6.714, mem=100M574 15.10/9.29 decisions=69482, wrong=33756, backtracks=150969, failedAssignments=20094, nogoods=879, foundSolutions=12, bestBound=16 15.10/9.29 nFilterCalls=2225837, avgTableProportion=0.9971034277080822, avgTableSize=786.7021480009543 15.10/9.29 15.60/9.76 num=154, depth=3..228, filters=1347689, revisions=(4732521,useless=4412643), ccks=6641927, wck=7.186, mem=100M574 15.60/9.76 decisions=74579, wrong=36297, backtracks=163206, failedAssignments=21812, nogoods=891, foundSolutions=12, bestBound=16 15.60/9.76 nFilterCalls=2415184, avgTableProportion=0.9971071030725231, avgTableSize=786.4501139457698 15.60/9.76 16.10/10.25 num=155, depth=4..225, filters=1438951, revisions=(5058613,useless=4716233), ccks=7111123, wck=7.677, mem=100M574 16.10/10.25 decisions=80797, wrong=39402, backtracks=186379, failedAssignments=23702, nogoods=901, foundSolutions=12, bestBound=16 16.10/10.25 nFilterCalls=2614882, avgTableProportion=0.9971250971933687, avgTableSize=791.2643805724312 16.10/10.25 16.71/10.85 num=156, depth=0..228, filters=1577111, revisions=(5538217,useless=5162817), ccks=7706313, wck=8.278, mem=103M217 16.71/10.85 decisions=88314, wrong=43158, backtracks=203558, failedAssignments=25781, nogoods=911, foundSolutions=12, bestBound=16 16.71/10.85 nFilterCalls=2854992, avgTableProportion=0.9971190271933271, avgTableSize=790.2063224695551 16.71/10.85 17.31/11.45 num=157, depth=2..228, filters=1670479, revisions=(5899797,useless=5499977), ccks=8158221, wck=8.876, mem=103M217 17.31/11.45 decisions=95494, wrong=46744, backtracks=258362, failedAssignments=28068, nogoods=917, foundSolutions=12, bestBound=16 17.31/11.45 nFilterCalls=3108141, avgTableProportion=0.9971456615174521, avgTableSize=796.3875866635394 17.31/11.45 18.11/12.25 num=158, depth=1..224, filters=1872533, revisions=(6579583,useless=6133819), ccks=9030902, wck=9.679, mem=103M217 18.11/12.25 decisions=105165, wrong=51576, backtracks=264043, failedAssignments=30584, nogoods=935, foundSolutions=12, bestBound=16 18.11/12.25 nFilterCalls=3428763, avgTableProportion=0.9971238502263102, avgTableSize=790.3024638914967 18.11/12.25 18.92/13.10 num=159, depth=0..226, filters=2069786, revisions=(7271866,useless=6781357), ccks=9909990, wck=10.521, mem=103M217 18.92/13.10 decisions=114471, wrong=56226, backtracks=280512, failedAssignments=33352, nogoods=945, foundSolutions=12, bestBound=16 18.92/13.10 nFilterCalls=3759041, avgTableProportion=0.9971037457835311, avgTableSize=785.4684444782592 18.92/13.10 19.81/13.98 num=160, depth=1..223, filters=2275896, revisions=(7993004,useless=7456719), ccks=10861789, wck=11.402, mem=105M859 19.81/13.98 decisions=124357, wrong=61164, backtracks=293865, failedAssignments=36396, nogoods=959, foundSolutions=12, bestBound=16 19.81/13.98 nFilterCalls=4096329, avgTableProportion=0.9970885111216126, avgTableSize=781.6261296394894 19.81/13.98 20.92/15.01 num=161, depth=1..227, filters=2495552, revisions=(8740616,useless=8155372), ccks=12107196, wck=12.44, mem=105M859 20.92/15.01 decisions=135743, wrong=66853, backtracks=316534, failedAssignments=39745, nogoods=964, foundSolutions=12, bestBound=16 20.92/15.01 nFilterCalls=4486683, avgTableProportion=0.9970814289834372, avgTableSize=778.8941986763941 20.92/15.01 21.92/16.03 num=162, depth=1..228, filters=2731396, revisions=(9569645,useless=8929112), ccks=13194974, wck=13.46, mem=105M859 21.92/16.03 decisions=148590, wrong=73270, backtracks=337508, failedAssignments=43429, nogoods=973, foundSolutions=12, bestBound=16 21.92/16.03 nFilterCalls=4899004, avgTableProportion=0.9970707780187675, avgTableSize=775.1674946580979 21.92/16.03 23.02/17.19 num=163, depth=0..225, filters=3006326, revisions=(10517160,useless=9811544), ccks=14408067, wck=14.614, mem=105M859 23.02/17.19 decisions=162803, wrong=80372, backtracks=346620, failedAssignments=47481, nogoods=981, foundSolutions=12, bestBound=16 23.02/17.19 nFilterCalls=5361619, avgTableProportion=0.9970744101773391, avgTableSize=774.9447577308272 23.02/17.19 24.21/18.36 num=164, depth=0..230, filters=3277900, revisions=(11428840,useless=10659372), ccks=15503712, wck=15.788, mem=105M859 24.21/18.36 decisions=178301, wrong=88118, backtracks=369551, failedAssignments=51938, nogoods=989, foundSolutions=12, bestBound=16 24.21/18.36 nFilterCalls=5857575, avgTableProportion=0.9970761064900134, avgTableSize=774.5433355953616 24.21/18.36 25.51/19.67 num=165, depth=0..226, filters=3563270, revisions=(12417764,useless=11583143), ccks=16816965, wck=17.092, mem=108M502 25.51/19.67 decisions=195592, wrong=96758, backtracks=402808, failedAssignments=56841, nogoods=998, foundSolutions=12, bestBound=16 25.51/19.67 nFilterCalls=6386225, avgTableProportion=0.9970716064474546, avgTableSize=772.5216931755458 25.51/19.67 26.11/20.24 26.11/20.24 New Bounds: 16..15 26.11/20.25 num=166, depth=0..222, filters=3694553, revisions=(12877373,useless=12013614), ccks=17421810, wck=17.67, mem=108M502 26.11/20.25 decisions=203042, wrong=100484, backtracks=410562, failedAssignments=59156, foundSolutions=12, bestBound=16 26.11/20.25 nFilterCalls=6618388, avgTableProportion=0.9970716354550743, avgTableSize=772.0790148598118 26.11/20.25 26.11/20.25 Global 26.11/20.25 filters=3694553, revisions=(12877373,useless=12013614), ccks=17421810 26.11/20.25 Stop=FULL_EXPLORATION, wrong=100484, bestBound=16, bestBoundWck=2.618, bestBoundCpu=4.443, foundSolutions=12, firstSolCpu=2.694 26.11/20.25 wck=18.385, cpu=20.21, mem=108M502 26.11/20.25 26.11/20.25 v <instantiation id='sol12' type='solution' cost='16'> <list> c[][] l[][] a[][] i[][] cnt[] </list> <values> 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 27 35 38 22 15 13 26 28 27 10 0 22 15 13 4 28 27 10 22 15 13 4 28 0 4 10 4 0 0 5 0 * 4 10 4 5 0 0 0 * 6 0 0 0 0 0 * * 6 0 0 0 0 0 * * 6 0 0 0 0 * * * 6 0 0 0 0 * * * 6 0 0 0 * * * * 6 0 0 0 * * * * 6 0 0 * * * * * 6 0 0 * * * * * 6 0 * * * * * * 6 0 * * * * * * 6 * * * * * * * * * * * * * * * 1 2 0 1 1 1 1 1 * * * * * * * * 1 1 3 0 0 2 0 * * * * * * * * * 4 0 0 0 0 0 * * * * * * * * * * 1 0 0 0 0 * * * * * * * * * * * 1 0 0 0 * * * * * * * * * * * * 1 0 0 * * * * * * * * * * * * * 1 0 * * * * * * * * * * * * * * 1 * * * * * * * * * * * * * * * * * * * * * * * 0 1 3 4 5 6 7 7 * * * * * * * * 0 1 2 5 6 6 6 * * * * * * * * * 0 5 5 5 5 5 * * * * * * * * * * 0 4 4 4 4 * * * * * * * * * * * 0 3 3 3 * * * * * * * * * * * * 0 2 2 * * * * * * * * * * * * * 0 1 * * * * * * * * * * * * * * 1 1 3 3 5 5 4 4 3 3 2 2 1 1 </values> </instantiation> 26.11/20.25 s OPTIMUM FOUND 26.11/20.25 26.11/20.25 d WRONG_DECISIONS 100484 26.11/20.25 d NUMBER_SOLUTIONS 12
OK 16
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 (15301 MiB free) memory of node 1: 16384 MiB (13960 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4391214-1568391587/watcher-4391214-1568391587 -o /tmp/evaluation-result-4391214-1568391587/solver-4391214-1568391587 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node141-1568388891-27766 --watchdog 2560 java -cp AbsCon19-06.jar AbsCon HOME/instance-4391214-1568391587.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 solver pid=29184, runsolver pid=29181 Current StackSize limit: 8192 KiB [startup+0.100126 s]* /proc/loadavg: 2.25 1.92 1.78 4/229 29199 /proc/meminfo: memFree=29948232/32770624 swapFree=66918708/67108860 [pid=29184] ppid=29181 vsize=10659884 memory=27436 CPUtime=0.13 cores=0,2,4,6 /proc/29184/stat : 29184 (java) S 29181 29184 26121 0 -1 1077944320 5425 0 0 0 12 1 0 0 20 0 15 0 415096569 10915721216 6859 33554432000 4194304 4196468 140730480561264 140730480543808 140167671181047 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 33218560 140730480563211 140730480563314 140730480563314 140730480566223 0 /proc/29184/statm: 2664971 6859 2868 1 0 2627468 0 [pid=29184/tid=29186] ppid=29181 vsize=10659884 memory=7892391828772250251 CPUtime=0.09 cores=0,2,4,6 /proc/29184/task/29186/stat : 29186 (java) R 29181 29184 26121 0 -1 4202560 3204 0 0 0 9 0 0 0 20 0 15 0 415096569 10915721216 6859 33554432000 4194304 4196468 140730480561264 140167675411720 140167671192982 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33218560 140730480563211 140730480563314 140730480563314 140730480566223 0 [pid=29184/tid=29187] ppid=29181 vsize=10659884 memory=-7025452035940392864 CPUtime=0 cores=0,2,4,6 /proc/29184/task/29187/stat : 29187 (java) S 29181 29184 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415096570 10915721216 6859 33554432000 4194304 4196468 140730480561264 140167607872656 140167671191253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33218560 140730480563211 140730480563314 140730480563314 140730480566223 0 [pid=29184/tid=29188] ppid=29181 vsize=10659884 memory=140409050674816 CPUtime=0 cores=0,2,4,6 /proc/29184/task/29188/stat : 29188 (java) S 29181 29184 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415096570 10915721216 6859 33554432000 4194304 4196468 140730480561264 140167606819856 140167671191253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33218560 140730480563211 140730480563314 140730480563314 140730480566223 0 [pid=29184/tid=29189] ppid=29181 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6 /proc/29184/task/29189/stat : 29189 (java) S 29181 29184 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415096570 10915721216 6859 33554432000 4194304 4196468 140730480561264 140167605767056 140167671191253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33218560 140730480563211 140730480563314 140730480563314 140730480566223 0 [pid=29184/tid=29190] ppid=29181 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/29184/task/29190/stat : 29190 (java) S 29181 29184 26121 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415096570 10915721216 6859 33554432000 4194304 4196468 140730480561264 140167604714256 140167671191253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33218560 140730480563211 140730480563314 140730480563314 140730480566223 0 [pid=29184/tid=29191] ppid=29181 vsize=10659884 memory=140409050674816 CPUtime=0 cores=0,2,4,6 /proc/29184/task/29191/stat : 29191 (java) S 29181 29184 26121 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415096571 10915721216 6859 33554432000 4194304 4196468 140730480561264 140166773361008 140167671192194 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33218560 140730480563211 140730480563314 140730480563314 140730480566223 0 [pid=29184/tid=29192] ppid=29181 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/29184/task/29192/stat : 29192 (java) S 29181 29184 26121 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415096572 10915721216 6859 33554432000 4194304 4196468 140730480561264 140166772306976 140167671191253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33218560 140730480563211 140730480563314 140730480563314 140730480566223 0 [pid=29184/tid=29193] ppid=29181 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6 /proc/29184/task/29193/stat : 29193 (java) S 29181 29184 26121 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415096572 10915721216 6859 33554432000 4194304 4196468 140730480561264 140166771254128 140167671191253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33218560 140730480563211 140730480563314 140730480563314 140730480566223 0 [pid=29184/tid=29194] ppid=29181 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6 /proc/29184/task/29194/stat : 29194 (java) S 29181 29184 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415096574 10915721216 6859 33554432000 4194304 4196468 140730480561264 140166770202448 140167671199643 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33218560 140730480563211 140730480563314 140730480563314 140730480566223 0 [pid=29184/tid=29195] ppid=29181 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6 /proc/29184/task/29195/stat : 29195 (java) R 29181 29184 26121 0 -1 4202560 326 0 0 0 0 0 0 0 20 0 15 0 415096574 10915721216 6859 33554432000 4194304 4196468 140730480561264 140166769131368 140167651686752 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33218560 140730480563211 140730480563314 140730480563314 140730480566223 0 [pid=29184/tid=29196] ppid=29181 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/29184/task/29196/stat : 29196 (java) R 29181 29184 26121 0 -1 1077944384 183 0 0 0 0 0 0 0 20 0 15 0 415096574 10915721216 6925 33554432000 4194304 4196468 140730480561264 140166768098032 140167671192194 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33218560 140730480563211 140730480563314 140730480563314 140730480566223 0 [pid=29184/tid=29197] ppid=29181 vsize=10659884 memory=140409050674816 CPUtime=0.02 cores=0,2,4,6 /proc/29184/task/29197/stat : 29197 (java) R 29181 29184 26121 0 -1 4202560 366 0 0 0 2 0 0 0 20 0 15 0 415096574 10915721216 6925 33554432000 4194304 4196468 140730480561264 140166767041496 140167655261534 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33218560 140730480563211 140730480563314 140730480563314 140730480566223 0 [pid=29184/tid=29198] ppid=29181 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/29184/task/29198/stat : 29198 (java) S 29181 29184 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415096575 10915721216 6925 33554432000 4194304 4196468 140730480561264 140166765992672 140167671191253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33218560 140730480563211 140730480563314 140730480563314 140730480566223 0 [pid=29184/tid=29199] ppid=29181 vsize=10659884 memory=140409050674816 CPUtime=0 cores=0,2,4,6 /proc/29184/task/29199/stat : 29199 (java) R 29181 29184 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415096575 10915721216 6925 33554432000 4194304 4196468 140730480561264 140166764939952 140167671192194 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33218560 140730480563211 140730480563314 140730480563314 140730480566223 0 Current children cumulated CPU time: 0.13 s Current children cumulated vsize: 10659884 KiB Current children cumulated memory: 27436 KiB [startup+0.210867 s]* /proc/loadavg: 2.25 1.92 1.78 3/229 29199 /proc/meminfo: memFree=29942216/32770624 swapFree=66918708/67108860 [pid=29184] ppid=29181 vsize=10659884 memory=34988 CPUtime=0.33 cores=0,2,4,6 /proc/29184/stat : 29184 (java) S 29181 29184 26121 0 -1 1077944320 6913 0 0 0 31 2 0 0 20 0 15 0 415096569 10915721216 8747 33554432000 4194304 4196468 140730480561264 140730480543808 140167671181047 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 33218560 140730480563211 140730480563314 140730480563314 140730480566223 0 /proc/29184/statm: 2664971 8747 2987 1 0 2627468 0 [pid=29184/tid=29186] ppid=29181 vsize=10659884 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6 /proc/29184/task/29186/stat : 29186 (java) R 29181 29184 26121 0 -1 4202560 3862 0 0 0 19 1 0 0 20 0 15 0 415096569 10915721216 8747 33554432000 4194304 4196468 140730480561264 140167675407408 140167671202973 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33218560 140730480563211 140730480563314 140730480563314 140730480566223 0 [pid=29184/tid=29187] ppid=29181 vsize=10659884 memory=345 CPUtime=0 cores=0,2,4,6 /proc/29184/task/29187/stat : 29187 (java) S 29181 29184 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415096570 10915721216 8747 33554432000 4194304 4196468 140730480561264 140167607872656 140167671191253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33218560 140730480563211 140730480563314 140730480563314 140730480566223 0 [pid=29184/tid=29188] ppid=29181 vsize=10659884 memory=288370785202386560 CPUtime=0 cores=0,2,4,6 /proc/29184/task/29188/stat : 29188 (java) S 29181 29184 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415096570 10915721216 8747 33554432000 4194304 4196468 140730480561264 140167606819856 140167671191253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33218560 140730480563211 140730480563314 140730480563314 140730480566223 0 [pid=29184/tid=29189] ppid=29181 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6 /proc/29184/task/29189/stat : 29189 (java) S 29181 29184 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415096570 10915721216 8747 33554432000 4194304 4196468 140730480561264 140167605767056 140167671191253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33218560 140730480563211 140730480563314 140730480563314 140730480566223 0 [pid=29184/tid=29190] ppid=29181 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/29184/task/29190/stat : 29190 (java) S 29181 29184 26121 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415096570 10915721216 8747 33554432000 4194304 4196468 140730480561264 140167604714256 140167671191253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33218560 140730480563211 140730480563314 140730480563314 140730480566223 0 [pid=29184/tid=29191] ppid=29181 vsize=10659884 memory=140409050674816 CPUtime=0 cores=0,2,4,6 /proc/29184/task/29191/stat : 29191 (java) S 29181 29184 26121 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415096571 10915721216 8747 33554432000 4194304 4196468 140730480561264 140166773361008 140167671192194 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33218560 140730480563211 140730480563314 140730480563314 140730480566223 0 [pid=29184/tid=29192] ppid=29181 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/29184/task/29192/stat : 29192 (java) S 29181 29184 26121 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415096572 10915721216 8747 33554432000 4194304 4196468 140730480561264 140166772306976 140167671191253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33218560 140730480563211 140730480563314 140730480563314 140730480566223 0 [pid=29184/tid=29193] ppid=29181 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6 /proc/29184/task/29193/stat : 29193 (java) S 29181 29184 26121 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415096572 10915721216 8747 33554432000 4194304 4196468 140730480561264 140166771254128 140167671191253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33218560 140730480563211 140730480563314 140730480563314 140730480566223 0 [pid=29184/tid=29194] ppid=29181 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6 /proc/29184/task/29194/stat : 29194 (java) S 29181 29184 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415096574 10915721216 8747 33554432000 4194304 4196468 140730480561264 140166770202448 140167671199643 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33218560 140730480563211 140730480563314 140730480563314 140730480566223 0 [pid=29184/tid=29195] ppid=29181 vsize=10659884 memory=0 CPUtime=0.03 cores=0,2,4,6 /proc/29184/task/29195/stat : 29195 (java) S 29181 29184 26121 0 -1 1077944384 693 0 0 0 3 0 0 0 20 0 15 0 415096574 10915721216 8747 33554432000 4194304 4196468 140730480561264 140166769150832 140167671192194 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33218560 140730480563211 140730480563314 140730480563314 140730480566223 0 [pid=29184/tid=29196] ppid=29181 vsize=10659884 memory=-1 CPUtime=0.02 cores=0,2,4,6 /proc/29184/task/29196/stat : 29196 (java) S 29181 29184 26121 0 -1 1077944384 260 0 0 0 2 0 0 0 20 0 15 0 415096574 10915721216 8747 33554432000 4194304 4196468 140730480561264 140166768098032 140167671192194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33218560 140730480563211 140730480563314 140730480563314 140730480566223 0 [pid=29184/tid=29197] ppid=29181 vsize=10659884 memory=140409050674816 CPUtime=0.05 cores=0,2,4,6 /proc/29184/task/29197/stat : 29197 (java) S 29181 29184 26121 0 -1 1077944384 738 0 0 0 5 0 0 0 20 0 15 0 415096574 10915721216 8747 33554432000 4194304 4196468 140730480561264 140166767045232 140167671192194 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33218560 140730480563211 140730480563314 140730480563314 140730480566223 0 [pid=29184/tid=29198] ppid=29181 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/29184/task/29198/stat : 29198 (java) S 29181 29184 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415096575 10915721216 8747 33554432000 4194304 4196468 140730480561264 140166765992672 140167671191253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33218560 140730480563211 140730480563314 140730480563314 140730480566223 0 [pid=29184/tid=29199] ppid=29181 vsize=10659884 memory=140409050674816 CPUtime=0 cores=0,2,4,6 /proc/29184/task/29199/stat : 29199 (java) S 29181 29184 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415096575 10915721216 8747 33554432000 4194304 4196468 140730480561264 140166764939952 140167671192194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33218560 140730480563211 140730480563314 140730480563314 140730480566223 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 10659884 KiB Current children cumulated memory: 34988 KiB [startup+0.310386 s]* /proc/loadavg: 2.25 1.92 1.78 3/229 29199 /proc/meminfo: memFree=29934036/32770624 swapFree=66918708/67108860 [pid=29184] ppid=29181 vsize=10659884 memory=40112 CPUtime=0.47 cores=0,2,4,6 /proc/29184/stat : 29184 (java) S 29181 29184 26121 0 -1 1077944320 9428 0 0 0 43 4 0 0 20 0 15 0 415096569 10915721216 10028 33554432000 4194304 4196468 140730480561264 140730480543808 140167671181047 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 33218560 140730480563211 140730480563314 140730480563314 140730480566223 0 /proc/29184/statm: 2664971 10028 2999 1 0 2627468 0 [pid=29184/tid=29186] ppid=29181 vsize=10659884 memory=7311146985107750967 CPUtime=0.3 cores=0,2,4,6 /proc/29184/task/29186/stat : 29186 (java) R 29181 29184 26121 0 -1 4202560 6312 0 0 0 27 3 0 0 20 0 15 0 415096569 10915721216 10028 33554432000 4194304 4196468 140730480561264 140167675412848 140167655261534 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33218560 140730480563211 140730480563314 140730480563314 140730480566223 0 [pid=29184/tid=29187] ppid=29181 vsize=10659884 memory=2810766 CPUtime=0 cores=0,2,4,6 /proc/29184/task/29187/stat : 29187 (java) S 29181 29184 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415096570 10915721216 10028 33554432000 4194304 4196468 140730480561264 140167607872656 140167671191253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33218560 140730480563211 140730480563314 140730480563314 140730480566223 0 [pid=29184/tid=29188] ppid=29181 vsize=10659884 memory=288370785202386560 CPUtime=0 cores=0,2,4,6 /proc/29184/task/29188/stat : 29188 (java) S 29181 29184 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415096570 10915721216 10028 33554432000 4194304 4196468 140730480561264 140167606819856 140167671191253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33218560 140730480563211 140730480563314 140730480563314 140730480566223 0 [pid=29184/tid=29189] ppid=29181 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6 /proc/29184/task/29189/stat : 29189 (java) S 29181 29184 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415096570 10915721216 10028 33554432000 4194304 4196468 140730480561264 140167605767056 140167671191253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33218560 140730480563211 140730480563314 140730480563314 140730480566223 0 [pid=29184/tid=29190] ppid=29181 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/29184/task/29190/stat : 29190 (java) S 29181 29184 26121 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415096570 10915721216 10028 33554432000 4194304 4196468 140730480561264 140167604714256 140167671191253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33218560 140730480563211 140730480563314 140730480563314 140730480566223 0 [pid=29184/tid=29191] ppid=29181 vsize=10659884 memory=140409050674816 CPUtime=0 cores=0,2,4,6 /proc/29184/task/29191/stat : 29191 (java) S 29181 29184 26121 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415096571 10915721216 10028 33554432000 4194304 4196468 140730480561264 140166773361008 140167671192194 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33218560 140730480563211 140730480563314 140730480563314 140730480566223 0 [pid=29184/tid=29192] ppid=29181 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/29184/task/29192/stat : 29192 (java) S 29181 29184 26121 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415096572 10915721216 10028 33554432000 4194304 4196468 140730480561264 140166772306976 140167671191253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33218560 140730480563211 140730480563314 140730480563314 140730480566223 0 [pid=29184/tid=29193] ppid=29181 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6 /proc/29184/task/29193/stat : 29193 (java) S 29181 29184 26121 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415096572 10915721216 10028 33554432000 4194304 4196468 140730480561264 140166771254128 140167671191253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33218560 140730480563211 140730480563314 140730480563314 140730480566223 0 [pid=29184/tid=29194] ppid=29181 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6 /proc/29184/task/29194/stat : 29194 (java) S 29181 29184 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415096574 10915721216 10028 33554432000 4194304 4196468 140730480561264 140166770202448 140167671199643 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33218560 140730480563211 140730480563314 140730480563314 140730480566223 0 [pid=29184/tid=29195] ppid=29181 vsize=10659884 memory=0 CPUtime=0.04 cores=0,2,4,6 /proc/29184/task/29195/stat : 29195 (java) S 29181 29184 26121 0 -1 1077944384 701 0 0 0 4 0 0 0 20 0 15 0 415096574 10915721216 10028 33554432000 4194304 4196468 140730480561264 140166769150832 140167671192194 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33218560 140730480563211 140730480563314 140730480563314 140730480566223 0 [pid=29184/tid=29196] ppid=29181 vsize=10659884 memory=-1 CPUtime=0.04 cores=0,2,4,6 /proc/29184/task/29196/stat : 29196 (java) S 29181 29184 26121 0 -1 1077944384 295 0 0 0 4 0 0 0 20 0 15 0 415096574 10915721216 10028 33554432000 4194304 4196468 140730480561264 140166768098032 140167671192194 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33218560 140730480563211 140730480563314 140730480563314 140730480566223 0 [pid=29184/tid=29197] ppid=29181 vsize=10659884 memory=140409050674816 CPUtime=0.07 cores=0,2,4,6 /proc/29184/task/29197/stat : 29197 (java) S 29181 29184 26121 0 -1 1077944384 762 0 0 0 7 0 0 0 20 0 15 0 415096574 10915721216 10028 33554432000 4194304 4196468 140730480561264 140166767045232 140167671192194 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33218560 140730480563211 140730480563314 140730480563314 140730480566223 0 [pid=29184/tid=29198] ppid=29181 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/29184/task/29198/stat : 29198 (java) S 29181 29184 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415096575 10915721216 10028 33554432000 4194304 4196468 140730480561264 140166765992672 140167671191253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33218560 140730480563211 140730480563314 140730480563314 140730480566223 0 [pid=29184/tid=29199] ppid=29181 vsize=10659884 memory=140409050674816 CPUtime=0 cores=0,2,4,6 /proc/29184/task/29199/stat : 29199 (java) S 29181 29184 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415096575 10915721216 10028 33554432000 4194304 4196468 140730480561264 140166764939952 140167671192194 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33218560 140730480563211 140730480563314 140730480563314 140730480566223 0 Current children cumulated CPU time: 0.47 s Current children cumulated vsize: 10659884 KiB Current children cumulated memory: 40112 KiB [startup+0.710382 s] /proc/loadavg: 2.25 1.92 1.78 3/229 29199 /proc/meminfo: memFree=29925128/32770624 swapFree=66918708/67108860 [pid=29184] ppid=29181 vsize=10661932 memory=63924 CPUtime=1.12 cores=0,2,4,6 /proc/29184/stat : 29184 (java) S 29181 29184 26121 0 -1 1077944320 13167 0 0 0 106 6 0 0 20 0 15 0 415096569 10917818368 15981 33554432000 4194304 4196468 140730480561264 140730480543808 140167671181047 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 33218560 140730480563211 140730480563314 140730480563314 140730480566223 0 /proc/29184/statm: 2665483 15981 3073 1 0 2627980 0 [pid=29184/tid=29186] ppid=29181 vsize=10661932 memory=4481 CPUtime=0.69 cores=0,2,4,6 /proc/29184/task/29186/stat : 29186 (java) R 29181 29184 26121 0 -1 4202560 8884 0 0 0 64 5 0 0 20 0 15 0 415096569 10917818368 15981 33554432000 4194304 4196468 140730480561264 140167675413072 140167651452784 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33218560 140730480563211 140730480563314 140730480563314 140730480566223 0 [pid=29184/tid=29187] ppid=29181 vsize=10661932 memory=4420 CPUtime=0 cores=0,2,4,6 /proc/29184/task/29187/stat : 29187 (java) S 29181 29184 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415096570 10917818368 15981 33554432000 4194304 4196468 140730480561264 140167607872656 140167671191253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33218560 140730480563211 140730480563314 140730480563314 140730480566223 0 [pid=29184/tid=29188] ppid=29181 vsize=10661932 memory=4580 CPUtime=0 cores=0,2,4,6 /proc/29184/task/29188/stat : 29188 (java) S 29181 29184 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415096570 10917818368 15981 33554432000 4194304 4196468 140730480561264 140167606819856 140167671191253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33218560 140730480563211 140730480563314 140730480563314 140730480566223 0 [pid=29184/tid=29189] ppid=29181 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6 /proc/29184/task/29189/stat : 29189 (java) S 29181 29184 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415096570 10917818368 15981 33554432000 4194304 4196468 140730480561264 140167605767056 140167671191253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33218560 140730480563211 140730480563314 140730480563314 140730480566223 0 [pid=29184/tid=29190] ppid=29181 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6 /proc/29184/task/29190/stat : 29190 (java) S 29181 29184 26121 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415096570 10917818368 15981 33554432000 4194304 4196468 140730480561264 140167604714256 140167671191253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33218560 140730480563211 140730480563314 140730480563314 140730480566223 0 [pid=29184/tid=29191] ppid=29181 vsize=10661932 memory=265783313728870 CPUtime=0 cores=0,2,4,6 /proc/29184/task/29191/stat : 29191 (java) S 29181 29184 26121 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415096571 10917818368 15981 33554432000 4194304 4196468 140730480561264 140166773361008 140167671192194 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33218560 140730480563211 140730480563314 140730480563314 140730480566223 0 [pid=29184/tid=29192] ppid=29181 vsize=10661932 memory=3545796572287875304 CPUtime=0 cores=0,2,4,6 /proc/29184/task/29192/stat : 29192 (java) S 29181 29184 26121 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415096572 10917818368 15981 33554432000 4194304 4196468 140730480561264 140166772306976 140167671191253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33218560 140730480563211 140730480563314 140730480563314 140730480566223 0 [pid=29184/tid=29193] ppid=29181 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6 /proc/29184/task/29193/stat : 29193 (java) S 29181 29184 26121 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415096572 10917818368 15981 33554432000 4194304 4196468 140730480561264 140166771254128 140167671191253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33218560 140730480563211 140730480563314 140730480563314 140730480566223 0 [pid=29184/tid=29194] ppid=29181 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6 /proc/29184/task/29194/stat : 29194 (java) S 29181 29184 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415096574 10917818368 15981 33554432000 4194304 4196468 140730480561264 140166770202448 140167671199643 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33218560 140730480563211 140730480563314 140730480563314 140730480566223 0 [pid=29184/tid=29195] ppid=29181 vsize=10661932 memory=280817846741920 CPUtime=0.11 cores=0,2,4,6 /proc/29184/task/29195/stat : 29195 (java) S 29181 29184 26121 0 -1 1077944384 1040 0 0 0 11 0 0 0 20 0 15 0 415096574 10917818368 15981 33554432000 4194304 4196468 140730480561264 140166769150832 140167671192194 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33218560 140730480563211 140730480563314 140730480563314 140730480566223 0 [pid=29184/tid=29196] ppid=29181 vsize=10661932 memory=19153 CPUtime=0.11 cores=0,2,4,6 /proc/29184/task/29196/stat : 29196 (java) R 29181 29184 26121 0 -1 4202560 621 0 0 0 11 0 0 0 20 0 15 0 415096574 10917818368 15981 33554432000 4194304 4196468 140730480561264 140166768084128 140167650426895 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33218560 140730480563211 140730480563314 140730480563314 140730480566223 0 [pid=29184/tid=29197] ppid=29181 vsize=10661932 memory=280817846714608 CPUtime=0.18 cores=0,2,4,6 /proc/29184/task/29197/stat : 29197 (java) S 29181 29184 26121 0 -1 1077944384 1262 0 0 0 18 0 0 0 20 0 15 0 415096574 10917818368 15981 33554432000 4194304 4196468 140730480561264 140166767045232 140167671192194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33218560 140730480563211 140730480563314 140730480563314 140730480566223 0 [pid=29184/tid=29198] ppid=29181 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6 /proc/29184/task/29198/stat : 29198 (java) S 29181 29184 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415096575 10917818368 15981 33554432000 4194304 4196468 140730480561264 140166765992672 140167671191253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33218560 140730480563211 140730480563314 140730480563314 140730480566223 0 [pid=29184/tid=29199] ppid=29181 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6 /proc/29184/task/29199/stat : 29199 (java) S 29181 29184 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415096575 10917818368 15981 33554432000 4194304 4196468 140730480561264 140166764939952 140167671192194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33218560 140730480563211 140730480563314 140730480563314 140730480566223 0 Current children cumulated CPU time: 1.12 s Current children cumulated vsize: 10661932 KiB Current children cumulated memory: 63924 KiB [startup+1.50081 s] /proc/loadavg: 2.25 1.92 1.78 3/229 29199 /proc/meminfo: memFree=29908376/32770624 swapFree=66918708/67108860 [pid=29184] ppid=29181 vsize=10663980 memory=75756 CPUtime=2.01 cores=0,2,4,6 /proc/29184/stat : 29184 (java) S 29181 29184 26121 0 -1 1077944320 17279 0 0 0 194 7 0 0 20 0 15 0 415096569 10919915520 18939 33554432000 4194304 4196468 140730480561264 140730480543808 140167671181047 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 33218560 140730480563211 140730480563314 140730480563314 140730480566223 0 /proc/29184/statm: 2665995 18939 3090 1 0 2628492 0 [pid=29184/tid=29186] ppid=29181 vsize=10663980 memory=280817847591584 CPUtime=1.48 cores=0,2,4,6 /proc/29184/task/29186/stat : 29186 (java) R 29181 29184 26121 0 -1 4202560 11877 0 0 0 143 5 0 0 20 0 15 0 415096569 10919915520 18939 33554432000 4194304 4196468 140730480561264 140167675413072 140167671202973 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33218560 140730480563211 140730480563314 140730480563314 140730480566223 0 [pid=29184/tid=29187] ppid=29181 vsize=10663980 memory=280817846764464 CPUtime=0 cores=0,2,4,6 /proc/29184/task/29187/stat : 29187 (java) S 29181 29184 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415096570 10919915520 18939 33554432000 4194304 4196468 140730480561264 140167607872656 140167671191253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33218560 140730480563211 140730480563314 140730480563314 140730480566223 0 [pid=29184/tid=29188] ppid=29181 vsize=10663980 memory=56 CPUtime=0 cores=0,2,4,6 /proc/29184/task/29188/stat : 29188 (java) S 29181 29184 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415096570 10919915520 18939 33554432000 4194304 4196468 140730480561264 140167606819856 140167671191253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33218560 140730480563211 140730480563314 140730480563314 140730480566223 0 [pid=29184/tid=29189] ppid=29181 vsize=10663980 memory=2811011 CPUtime=0 cores=0,2,4,6 /proc/29184/task/29189/stat : 29189 (java) S 29181 29184 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415096570 10919915520 18939 33554432000 4194304 4196468 140730480561264 140167605767056 140167671191253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33218560 140730480563211 140730480563314 140730480563314 140730480566223 0 [pid=29184/tid=29190] ppid=29181 vsize=10663980 memory=2812297 CPUtime=0 cores=0,2,4,6 /proc/29184/task/29190/stat : 29190 (java) S 29181 29184 26121 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415096570 10919915520 18939 33554432000 4194304 4196468 140730480561264 140167604714256 140167671191253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33218560 140730480563211 140730480563314 140730480563314 140730480566223 0 [pid=29184/tid=29191] ppid=29181 vsize=10663980 memory=-1161699032756226647 CPUtime=0 cores=0,2,4,6 /proc/29184/task/29191/stat : 29191 (java) S 29181 29184 26121 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 15 0 415096571 10919915520 18939 33554432000 4194304 4196468 140730480561264 140166773361008 140167671192194 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33218560 140730480563211 140730480563314 140730480563314 140730480566223 0 ################ # More data... # ################ [startup+17.6007 s] /proc/loadavg: 2.12 1.90 1.78 3/230 29200 /proc/meminfo: memFree=29754484/32770624 swapFree=66918708/67108860 [pid=29184] ppid=29181 vsize=10748324 memory=223336 CPUtime=23.51 cores=0,2,4,6 /proc/29184/stat : 29184 (java) S 29181 29184 26121 0 -1 1077944320 43065 0 0 0 2333 18 0 0 20 0 16 0 415096569 11006283776 55834 33554432000 4194304 4196468 140730480561264 140730480543808 140167671181047 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 33218560 140730480563211 140730480563314 140730480563314 140730480566223 0 /proc/29184/statm: 2687081 55834 3360 1 0 2647217 0 [pid=29184/tid=29186] ppid=29181 vsize=10748324 memory=6791534058613427641 CPUtime=1.88 cores=0,2,4,6 /proc/29184/task/29186/stat : 29186 (java) S 29181 29184 26121 0 -1 1077944384 13772 0 0 0 181 7 0 0 20 0 16 0 415096569 11006283776 55834 33554432000 4194304 4196468 140730480561264 140167675423920 140167671191253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33218560 140730480563211 140730480563314 140730480563314 140730480566223 0 [pid=29184/tid=29187] ppid=29181 vsize=10748324 memory=21504 CPUtime=0 cores=0,2,4,6 /proc/29184/task/29187/stat : 29187 (java) S 29181 29184 26121 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 16 0 415096570 11006283776 55834 33554432000 4194304 4196468 140730480561264 140167607872656 140167671191253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33218560 140730480563211 140730480563314 140730480563314 140730480566223 0 [pid=29184/tid=29188] ppid=29181 vsize=10748324 memory=988 CPUtime=0.01 cores=0,2,4,6 /proc/29184/task/29188/stat : 29188 (java) S 29181 29184 26121 0 -1 1077944384 30 0 0 0 1 0 0 0 20 0 16 0 415096570 11006283776 55834 33554432000 4194304 4196468 140730480561264 140167606819856 140167671191253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33218560 140730480563211 140730480563314 140730480563314 140730480566223 0 [pid=29184/tid=29189] ppid=29181 vsize=10748324 memory=2012 CPUtime=0 cores=0,2,4,6 /proc/29184/task/29189/stat : 29189 (java) S 29181 29184 26121 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 16 0 415096570 11006283776 55834 33554432000 4194304 4196468 140730480561264 140167605767056 140167671191253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33218560 140730480563211 140730480563314 140730480563314 140730480566223 0 [pid=29184/tid=29190] ppid=29181 vsize=10748324 memory=1324 CPUtime=0 cores=0,2,4,6 /proc/29184/task/29190/stat : 29190 (java) S 29181 29184 26121 0 -1 1077944384 119 0 0 0 0 0 0 0 20 0 16 0 415096570 11006283776 55834 33554432000 4194304 4196468 140730480561264 140167604714256 140167671191253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33218560 140730480563211 140730480563314 140730480563314 140730480566223 0 [pid=29184/tid=29191] ppid=29181 vsize=10748324 memory=1704 CPUtime=0.01 cores=0,2,4,6 /proc/29184/task/29191/stat : 29191 (java) S 29181 29184 26121 0 -1 1077944384 841 0 0 0 1 0 0 0 20 0 16 0 415096571 11006283776 55834 33554432000 4194304 4196468 140730480561264 140166773361008 140167671192194 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33218560 140730480563211 140730480563314 140730480563314 140730480566223 0 [pid=29184/tid=29192] ppid=29181 vsize=10748324 memory=5936 CPUtime=0 cores=0,2,4,6 /proc/29184/task/29192/stat : 29192 (java) S 29181 29184 26121 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 16 0 415096572 11006283776 55834 33554432000 4194304 4196468 140730480561264 140166772307040 140167671191253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33218560 140730480563211 140730480563314 140730480563314 140730480566223 0 [pid=29184/tid=29193] ppid=29181 vsize=10748324 memory=588 CPUtime=0 cores=0,2,4,6 /proc/29184/task/29193/stat : 29193 (java) S 29181 29184 26121 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 415096572 11006283776 55834 33554432000 4194304 4196468 140730480561264 140166771254144 140167671191253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33218560 140730480563211 140730480563314 140730480563314 140730480566223 0 [pid=29184/tid=29194] ppid=29181 vsize=10748324 memory=780 CPUtime=0 cores=0,2,4,6 /proc/29184/task/29194/stat : 29194 (java) S 29181 29184 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415096574 11006283776 55834 33554432000 4194304 4196468 140730480561264 140166770202448 140167671199643 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33218560 140730480563211 140730480563314 140730480563314 140730480566223 0 [pid=29184/tid=29195] ppid=29181 vsize=10748324 memory=1056 CPUtime=2.42 cores=0,2,4,6 /proc/29184/task/29195/stat : 29195 (java) S 29181 29184 26121 0 -1 1077944384 5777 0 0 0 241 1 0 0 20 0 16 0 415096574 11006283776 55834 33554432000 4194304 4196468 140730480561264 140166769150832 140167671192194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33218560 140730480563211 140730480563314 140730480563314 140730480566223 0 [pid=29184/tid=29196] ppid=29181 vsize=10748324 memory=11464 CPUtime=2.56 cores=0,2,4,6 /proc/29184/task/29196/stat : 29196 (java) S 29181 29184 26121 0 -1 1077944384 10068 0 0 0 255 1 0 0 20 0 16 0 415096574 11006283776 55834 33554432000 4194304 4196468 140730480561264 140166768098032 140167671192194 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33218560 140730480563211 140730480563314 140730480563314 140730480566223 0 [pid=29184/tid=29197] ppid=29181 vsize=10748324 memory=4004 CPUtime=0.87 cores=0,2,4,6 /proc/29184/task/29197/stat : 29197 (java) S 29181 29184 26121 0 -1 1077944384 4731 0 0 0 86 1 0 0 20 0 16 0 415096574 11006283776 55834 33554432000 4194304 4196468 140730480561264 140166767045232 140167671192194 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33218560 140730480563211 140730480563314 140730480563314 140730480566223 0 [pid=29184/tid=29198] ppid=29181 vsize=10748324 memory=2828 CPUtime=0 cores=0,2,4,6 /proc/29184/task/29198/stat : 29198 (java) S 29181 29184 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415096575 11006283776 55834 33554432000 4194304 4196468 140730480561264 140166765992672 140167671191253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33218560 140730480563211 140730480563314 140730480563314 140730480566223 0 [pid=29184/tid=29199] ppid=29181 vsize=10748324 memory=3616 CPUtime=0 cores=0,2,4,6 /proc/29184/task/29199/stat : 29199 (java) S 29181 29184 26121 0 -1 1077944384 245 0 0 0 0 0 0 0 20 0 16 0 415096575 11006283776 55834 33554432000 4194304 4196468 140730480561264 140166764939952 140167671192194 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33218560 140730480563211 140730480563314 140730480563314 140730480566223 0 [pid=29184/tid=29200] ppid=29181 vsize=10748324 memory=21504 CPUtime=15.66 cores=0,2,4,6 /proc/29184/task/29200/stat : 29200 (java) R 29181 29184 26121 0 -1 4202560 6030 0 0 0 1563 3 0 0 20 0 16 0 415096758 11006283776 55834 33554432000 4194304 4196468 140730480561264 140166748275376 140167281452140 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33218560 140730480563211 140730480563314 140730480563314 140730480566223 0 Current children cumulated CPU time: 23.51 s Current children cumulated vsize: 10748324 KiB Current children cumulated memory: 223336 KiB [startup+19.2007 s] /proc/loadavg: 2.12 1.90 1.78 3/230 29200 /proc/meminfo: memFree=29752436/32770624 swapFree=66918708/67108860 [pid=29184] ppid=29181 vsize=10748324 memory=223336 CPUtime=25.11 cores=0,2,4,6 /proc/29184/stat : 29184 (java) S 29181 29184 26121 0 -1 1077944320 43423 0 0 0 2493 18 0 0 20 0 16 0 415096569 11006283776 55834 33554432000 4194304 4196468 140730480561264 140730480543808 140167671181047 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 33218560 140730480563211 140730480563314 140730480563314 140730480566223 0 /proc/29184/statm: 2687081 55834 3360 1 0 2647217 0 [pid=29184/tid=29186] ppid=29181 vsize=10748324 memory=0 CPUtime=1.88 cores=0,2,4,6 /proc/29184/task/29186/stat : 29186 (java) S 29181 29184 26121 0 -1 1077944384 13772 0 0 0 181 7 0 0 20 0 16 0 415096569 11006283776 55834 33554432000 4194304 4196468 140730480561264 140167675423920 140167671191253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33218560 140730480563211 140730480563314 140730480563314 140730480566223 0 [pid=29184/tid=29187] ppid=29181 vsize=10748324 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6 /proc/29184/task/29187/stat : 29187 (java) S 29181 29184 26121 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 16 0 415096570 11006283776 55834 33554432000 4194304 4196468 140730480561264 140167607872656 140167671191253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33218560 140730480563211 140730480563314 140730480563314 140730480566223 0 [pid=29184/tid=29188] ppid=29181 vsize=10748324 memory=288230583166042426 CPUtime=0.01 cores=0,2,4,6 /proc/29184/task/29188/stat : 29188 (java) S 29181 29184 26121 0 -1 1077944384 30 0 0 0 1 0 0 0 20 0 16 0 415096570 11006283776 55834 33554432000 4194304 4196468 140730480561264 140167606819856 140167671191253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33218560 140730480563211 140730480563314 140730480563314 140730480566223 0 [pid=29184/tid=29189] ppid=29181 vsize=10748324 memory=14699582244260396 CPUtime=0 cores=0,2,4,6 /proc/29184/task/29189/stat : 29189 (java) S 29181 29184 26121 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 16 0 415096570 11006283776 55834 33554432000 4194304 4196468 140730480561264 140167605767056 140167671191253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33218560 140730480563211 140730480563314 140730480563314 140730480566223 0 [pid=29184/tid=29190] ppid=29181 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6 /proc/29184/task/29190/stat : 29190 (java) S 29181 29184 26121 0 -1 1077944384 119 0 0 0 0 0 0 0 20 0 16 0 415096570 11006283776 55834 33554432000 4194304 4196468 140730480561264 140167604714256 140167671191253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33218560 140730480563211 140730480563314 140730480563314 140730480566223 0 [pid=29184/tid=29191] ppid=29181 vsize=10748324 memory=1580 CPUtime=0.01 cores=0,2,4,6 /proc/29184/task/29191/stat : 29191 (java) S 29181 29184 26121 0 -1 1077944384 843 0 0 0 1 0 0 0 20 0 16 0 415096571 11006283776 55834 33554432000 4194304 4196468 140730480561264 140166773361008 140167671192194 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33218560 140730480563211 140730480563314 140730480563314 140730480566223 0 [pid=29184/tid=29192] ppid=29181 vsize=10748324 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6 /proc/29184/task/29192/stat : 29192 (java) S 29181 29184 26121 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 16 0 415096572 11006283776 55834 33554432000 4194304 4196468 140730480561264 140166772307040 140167671191253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33218560 140730480563211 140730480563314 140730480563314 140730480566223 0 [pid=29184/tid=29193] ppid=29181 vsize=10748324 memory=2012 CPUtime=0 cores=0,2,4,6 /proc/29184/task/29193/stat : 29193 (java) S 29181 29184 26121 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 415096572 11006283776 55834 33554432000 4194304 4196468 140730480561264 140166771254144 140167671191253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33218560 140730480563211 140730480563314 140730480563314 140730480566223 0 [pid=29184/tid=29194] ppid=29181 vsize=10748324 memory=1324 CPUtime=0 cores=0,2,4,6 /proc/29184/task/29194/stat : 29194 (java) S 29181 29184 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415096574 11006283776 55834 33554432000 4194304 4196468 140730480561264 140166770202448 140167671199643 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33218560 140730480563211 140730480563314 140730480563314 140730480566223 0 [pid=29184/tid=29195] ppid=29181 vsize=10748324 memory=1704 CPUtime=2.42 cores=0,2,4,6 /proc/29184/task/29195/stat : 29195 (java) S 29181 29184 26121 0 -1 1077944384 5779 0 0 0 241 1 0 0 20 0 16 0 415096574 11006283776 55834 33554432000 4194304 4196468 140730480561264 140166769150832 140167671192194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33218560 140730480563211 140730480563314 140730480563314 140730480566223 0 [pid=29184/tid=29196] ppid=29181 vsize=10748324 memory=5936 CPUtime=2.56 cores=0,2,4,6 /proc/29184/task/29196/stat : 29196 (java) S 29181 29184 26121 0 -1 1077944384 10070 0 0 0 255 1 0 0 20 0 16 0 415096574 11006283776 55834 33554432000 4194304 4196468 140730480561264 140166768098032 140167671192194 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33218560 140730480563211 140730480563314 140730480563314 140730480566223 0 [pid=29184/tid=29197] ppid=29181 vsize=10748324 memory=588 CPUtime=0.87 cores=0,2,4,6 /proc/29184/task/29197/stat : 29197 (java) S 29181 29184 26121 0 -1 1077944384 4780 0 0 0 86 1 0 0 20 0 16 0 415096574 11006283776 55834 33554432000 4194304 4196468 140730480561264 140166767045232 140167671192194 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33218560 140730480563211 140730480563314 140730480563314 140730480566223 0 [pid=29184/tid=29198] ppid=29181 vsize=10748324 memory=221288 CPUtime=0 cores=0,2,4,6 /proc/29184/task/29198/stat : 29198 (java) S 29181 29184 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415096575 11006283776 55834 33554432000 4194304 4196468 140730480561264 140166765992672 140167671191253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33218560 140730480563211 140730480563314 140730480563314 140730480566223 0 [pid=29184/tid=29199] ppid=29181 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6 /proc/29184/task/29199/stat : 29199 (java) S 29181 29184 26121 0 -1 1077944384 245 0 0 0 0 0 0 0 20 0 16 0 415096575 11006283776 55834 33554432000 4194304 4196468 140730480561264 140166764939952 140167671192194 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33218560 140730480563211 140730480563314 140730480563314 140730480566223 0 [pid=29184/tid=29200] ppid=29181 vsize=10748324 memory=221288 CPUtime=17.26 cores=0,2,4,6 /proc/29184/task/29200/stat : 29200 (java) R 29181 29184 26121 0 -1 4202560 6333 0 0 0 1723 3 0 0 20 0 16 0 415096758 11006283776 55834 33554432000 4194304 4196468 140730480561264 140166748269904 140167288864379 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33218560 140730480563211 140730480563314 140730480563314 140730480566223 0 Current children cumulated CPU time: 25.11 s Current children cumulated vsize: 10748324 KiB Current children cumulated memory: 223336 KiB [startup+20.0007 s]* /proc/loadavg: 2.11 1.91 1.78 3/230 29200 /proc/meminfo: memFree=29752436/32770624 swapFree=66918708/67108860 [pid=29184] ppid=29181 vsize=10748324 memory=223336 CPUtime=25.92 cores=0,2,4,6 /proc/29184/stat : 29184 (java) S 29181 29184 26121 0 -1 1077944320 43622 0 0 0 2574 18 0 0 20 0 16 0 415096569 11006283776 55834 33554432000 4194304 4196468 140730480561264 140730480543808 140167671181047 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 33218560 140730480563211 140730480563314 140730480563314 140730480566223 0 /proc/29184/statm: 2687081 55834 3360 1 0 2647217 0 [pid=29184/tid=29186] ppid=29181 vsize=10748324 memory=739793252410982705 CPUtime=1.88 cores=0,2,4,6 /proc/29184/task/29186/stat : 29186 (java) S 29181 29184 26121 0 -1 1077944384 13772 0 0 0 181 7 0 0 20 0 16 0 415096569 11006283776 55834 33554432000 4194304 4196468 140730480561264 140167675423920 140167671191253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33218560 140730480563211 140730480563314 140730480563314 140730480566223 0 [pid=29184/tid=29187] ppid=29181 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6 /proc/29184/task/29187/stat : 29187 (java) S 29181 29184 26121 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 16 0 415096570 11006283776 55834 33554432000 4194304 4196468 140730480561264 140167607872656 140167671191253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33218560 140730480563211 140730480563314 140730480563314 140730480566223 0 [pid=29184/tid=29188] ppid=29181 vsize=10748324 memory=140409050702491 CPUtime=0.01 cores=0,2,4,6 /proc/29184/task/29188/stat : 29188 (java) S 29181 29184 26121 0 -1 1077944384 30 0 0 0 1 0 0 0 20 0 16 0 415096570 11006283776 55834 33554432000 4194304 4196468 140730480561264 140167606819856 140167671191253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33218560 140730480563211 140730480563314 140730480563314 140730480566223 0 [pid=29184/tid=29189] ppid=29181 vsize=10748324 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6 /proc/29184/task/29189/stat : 29189 (java) S 29181 29184 26121 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 16 0 415096570 11006283776 55834 33554432000 4194304 4196468 140730480561264 140167605767056 140167671191253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33218560 140730480563211 140730480563314 140730480563314 140730480566223 0 [pid=29184/tid=29190] ppid=29181 vsize=10748324 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6 /proc/29184/task/29190/stat : 29190 (java) S 29181 29184 26121 0 -1 1077944384 119 0 0 0 0 0 0 0 20 0 16 0 415096570 11006283776 55834 33554432000 4194304 4196468 140730480561264 140167604714256 140167671191253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33218560 140730480563211 140730480563314 140730480563314 140730480566223 0 [pid=29184/tid=29191] ppid=29181 vsize=10748324 memory=0 CPUtime=0.01 cores=0,2,4,6 /proc/29184/task/29191/stat : 29191 (java) S 29181 29184 26121 0 -1 1077944384 843 0 0 0 1 0 0 0 20 0 16 0 415096571 11006283776 55834 33554432000 4194304 4196468 140730480561264 140166773361008 140167671192194 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33218560 140730480563211 140730480563314 140730480563314 140730480566223 0 [pid=29184/tid=29192] ppid=29181 vsize=10748324 memory=7311670330933265002 CPUtime=0 cores=0,2,4,6 /proc/29184/task/29192/stat : 29192 (java) S 29181 29184 26121 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 16 0 415096572 11006283776 55834 33554432000 4194304 4196468 140730480561264 140166772307040 140167671191253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33218560 140730480563211 140730480563314 140730480563314 140730480566223 0 [pid=29184/tid=29193] ppid=29181 vsize=10748324 memory=-9001728533042062950 CPUtime=0 cores=0,2,4,6 /proc/29184/task/29193/stat : 29193 (java) S 29181 29184 26121 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 415096572 11006283776 55834 33554432000 4194304 4196468 140730480561264 140166771254144 140167671191253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33218560 140730480563211 140730480563314 140730480563314 140730480566223 0 [pid=29184/tid=29194] ppid=29181 vsize=10748324 memory=7595127701546559035 CPUtime=0 cores=0,2,4,6 /proc/29184/task/29194/stat : 29194 (java) S 29181 29184 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415096574 11006283776 55834 33554432000 4194304 4196468 140730480561264 140166770202448 140167671199643 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33218560 140730480563211 140730480563314 140730480563314 140730480566223 0 [pid=29184/tid=29195] ppid=29181 vsize=10748324 memory=0 CPUtime=2.42 cores=0,2,4,6 /proc/29184/task/29195/stat : 29195 (java) S 29181 29184 26121 0 -1 1077944384 5779 0 0 0 241 1 0 0 20 0 16 0 415096574 11006283776 55834 33554432000 4194304 4196468 140730480561264 140166769150832 140167671192194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33218560 140730480563211 140730480563314 140730480563314 140730480566223 0 [pid=29184/tid=29196] ppid=29181 vsize=10748324 memory=3472328279047811119 CPUtime=2.56 cores=0,2,4,6 /proc/29184/task/29196/stat : 29196 (java) S 29181 29184 26121 0 -1 1077944384 10070 0 0 0 255 1 0 0 20 0 16 0 415096574 11006283776 55834 33554432000 4194304 4196468 140730480561264 140166768098032 140167671192194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33218560 140730480563211 140730480563314 140730480563314 140730480566223 0 [pid=29184/tid=29197] ppid=29181 vsize=10748324 memory=3184238329126643376 CPUtime=0.87 cores=0,2,4,6 /proc/29184/task/29197/stat : 29197 (java) S 29181 29184 26121 0 -1 1077944384 4975 0 0 0 86 1 0 0 20 0 16 0 415096574 11006283776 55834 33554432000 4194304 4196468 140730480561264 140166767045232 140167671192194 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33218560 140730480563211 140730480563314 140730480563314 140730480566223 0 [pid=29184/tid=29198] ppid=29181 vsize=10748324 memory=3472328296227680299 CPUtime=0 cores=0,2,4,6 /proc/29184/task/29198/stat : 29198 (java) S 29181 29184 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415096575 11006283776 55834 33554432000 4194304 4196468 140730480561264 140166765992672 140167671191253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33218560 140730480563211 140730480563314 140730480563314 140730480566223 0 [pid=29184/tid=29199] ppid=29181 vsize=10748324 memory=3472468705278355116 CPUtime=0 cores=0,2,4,6 /proc/29184/task/29199/stat : 29199 (java) S 29181 29184 26121 0 -1 1077944384 245 0 0 0 0 0 0 0 20 0 16 0 415096575 11006283776 55834 33554432000 4194304 4196468 140730480561264 140166764939952 140167671192194 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33218560 140730480563211 140730480563314 140730480563314 140730480566223 0 [pid=29184/tid=29200] ppid=29181 vsize=10748324 memory=3834869174383091759 CPUtime=18.07 cores=0,2,4,6 /proc/29184/task/29200/stat : 29200 (java) R 29181 29184 26121 0 -1 4202560 6337 0 0 0 1804 3 0 0 20 0 16 0 415096758 11006283776 55834 33554432000 4194304 4196468 140730480561264 140166748269904 140167289491568 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33218560 140730480563211 140730480563314 140730480563314 140730480566223 0 Current children cumulated CPU time: 25.92 s Current children cumulated vsize: 10748324 KiB Current children cumulated memory: 223336 KiB [startup+20.2007 s] /proc/loadavg: 2.11 1.91 1.78 3/230 29200 /proc/meminfo: memFree=29752436/32770624 swapFree=66918708/67108860 [pid=29184] ppid=29181 vsize=10748324 memory=223336 CPUtime=26.11 cores=0,2,4,6 /proc/29184/stat : 29184 (java) S 29181 29184 26121 0 -1 1077944320 43634 0 0 0 2593 18 0 0 20 0 16 0 415096569 11006283776 55834 33554432000 4194304 4196468 140730480561264 140730480543808 140167671181047 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 33218560 140730480563211 140730480563314 140730480563314 140730480566223 0 /proc/29184/statm: 2687081 55834 3360 1 0 2647217 0 [pid=29184/tid=29186] ppid=29181 vsize=10748324 memory=7447089357297969236 CPUtime=1.88 cores=0,2,4,6 /proc/29184/task/29186/stat : 29186 (java) S 29181 29184 26121 0 -1 1077944384 13772 0 0 0 181 7 0 0 20 0 16 0 415096569 11006283776 55834 33554432000 4194304 4196468 140730480561264 140167675423920 140167671191253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33218560 140730480563211 140730480563314 140730480563314 140730480566223 0 [pid=29184/tid=29187] ppid=29181 vsize=10748324 memory=6935649333103710288 CPUtime=0 cores=0,2,4,6 /proc/29184/task/29187/stat : 29187 (java) S 29181 29184 26121 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 16 0 415096570 11006283776 55834 33554432000 4194304 4196468 140730480561264 140167607872656 140167671191253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33218560 140730480563211 140730480563314 140730480563314 140730480566223 0 [pid=29184/tid=29188] ppid=29181 vsize=10748324 memory=5793436075370964329 CPUtime=0.01 cores=0,2,4,6 /proc/29184/task/29188/stat : 29188 (java) S 29181 29184 26121 0 -1 1077944384 30 0 0 0 1 0 0 0 20 0 16 0 415096570 11006283776 55834 33554432000 4194304 4196468 140730480561264 140167606819856 140167671191253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33218560 140730480563211 140730480563314 140730480563314 140730480566223 0 [pid=29184/tid=29189] ppid=29181 vsize=10748324 memory=6935650410838380624 CPUtime=0 cores=0,2,4,6 /proc/29184/task/29189/stat : 29189 (java) S 29181 29184 26121 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 16 0 415096570 11006283776 55834 33554432000 4194304 4196468 140730480561264 140167605767056 140167671191253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33218560 140730480563211 140730480563314 140730480563314 140730480566223 0 [pid=29184/tid=29190] ppid=29181 vsize=10748324 memory=8026650869813564775 CPUtime=0 cores=0,2,4,6 /proc/29184/task/29190/stat : 29190 (java) S 29181 29184 26121 0 -1 1077944384 119 0 0 0 0 0 0 0 20 0 16 0 415096570 11006283776 55834 33554432000 4194304 4196468 140730480561264 140167604714256 140167671191253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33218560 140730480563211 140730480563314 140730480563314 140730480566223 0 [pid=29184/tid=29191] ppid=29181 vsize=10748324 memory=7522818314749111398 CPUtime=0.01 cores=0,2,4,6 /proc/29184/task/29191/stat : 29191 (java) S 29181 29184 26121 0 -1 1077944384 843 0 0 0 1 0 0 0 20 0 16 0 415096571 11006283776 55834 33554432000 4194304 4196468 140730480561264 140166773361008 140167671192194 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33218560 140730480563211 140730480563314 140730480563314 140730480566223 0 [pid=29184/tid=29192] ppid=29181 vsize=10748324 memory=7019815840277882981 CPUtime=0 cores=0,2,4,6 /proc/29184/task/29192/stat : 29192 (java) S 29181 29184 26121 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 16 0 415096572 11006283776 55834 33554432000 4194304 4196468 140730480561264 140166772307040 140167671191253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33218560 140730480563211 140730480563314 140730480563314 140730480566223 0 [pid=29184/tid=29193] ppid=29181 vsize=10748324 memory=7594587674001172330 CPUtime=0 cores=0,2,4,6 /proc/29184/task/29193/stat : 29193 (java) S 29181 29184 26121 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 415096572 11006283776 55834 33554432000 4194304 4196468 140730480561264 140166771254144 140167671191253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33218560 140730480563211 140730480563314 140730480563314 140730480566223 0 [pid=29184/tid=29194] ppid=29181 vsize=10748324 memory=7883944108235712103 CPUtime=0 cores=0,2,4,6 /proc/29184/task/29194/stat : 29194 (java) S 29181 29184 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415096574 11006283776 55834 33554432000 4194304 4196468 140730480561264 140166770202448 140167671199643 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33218560 140730480563211 140730480563314 140730480563314 140730480566223 0 [pid=29184/tid=29195] ppid=29181 vsize=10748324 memory=5859271421085237344 CPUtime=2.42 cores=0,2,4,6 /proc/29184/task/29195/stat : 29195 (java) S 29181 29184 26121 0 -1 1077944384 5779 0 0 0 241 1 0 0 20 0 16 0 415096574 11006283776 55834 33554432000 4194304 4196468 140730480561264 140166769150832 140167671192194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33218560 140730480563211 140730480563314 140730480563314 140730480566223 0 [pid=29184/tid=29196] ppid=29181 vsize=10748324 memory=7372762370857263680 CPUtime=2.56 cores=0,2,4,6 /proc/29184/task/29196/stat : 29196 (java) S 29181 29184 26121 0 -1 1077944384 10070 0 0 0 255 1 0 0 20 0 16 0 415096574 11006283776 55834 33554432000 4194304 4196468 140730480561264 140166768098032 140167671192194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33218560 140730480563211 140730480563314 140730480563314 140730480566223 0 [pid=29184/tid=29197] ppid=29181 vsize=10748324 memory=242 CPUtime=0.87 cores=0,2,4,6 /proc/29184/task/29197/stat : 29197 (java) S 29181 29184 26121 0 -1 1077944384 4975 0 0 0 86 1 0 0 20 0 16 0 415096574 11006283776 55834 33554432000 4194304 4196468 140730480561264 140166767045232 140167671192194 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33218560 140730480563211 140730480563314 140730480563314 140730480566223 0 [pid=29184/tid=29198] ppid=29181 vsize=10748324 memory=256 CPUtime=0 cores=0,2,4,6 /proc/29184/task/29198/stat : 29198 (java) S 29181 29184 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415096575 11006283776 55834 33554432000 4194304 4196468 140730480561264 140166765992672 140167671191253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33218560 140730480563211 140730480563314 140730480563314 140730480566223 0 [pid=29184/tid=29199] ppid=29181 vsize=10748324 memory=7019573524675434446 CPUtime=0 cores=0,2,4,6 /proc/29184/task/29199/stat : 29199 (java) S 29181 29184 26121 0 -1 1077944384 256 0 0 0 0 0 0 0 20 0 16 0 415096575 11006283776 55834 33554432000 4194304 4196468 140730480561264 140166764939952 140167671192194 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33218560 140730480563211 140730480563314 140730480563314 140730480566223 0 [pid=29184/tid=29200] ppid=29181 vsize=10748324 memory=-7173504570862900581 CPUtime=18.26 cores=0,2,4,6 /proc/29184/task/29200/stat : 29200 (java) R 29181 29184 26121 0 -1 4202560 6338 0 0 0 1823 3 0 0 20 0 16 0 415096758 11006283776 55834 33554432000 4194304 4196468 140730480561264 140166748269904 140167289491276 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33218560 140730480563211 140730480563314 140730480563314 140730480566223 0 Current children cumulated CPU time: 26.11 s Current children cumulated vsize: 10748324 KiB Current children cumulated memory: 223336 KiB Child status: 0 Real time (s): 20.2598 CPU time (s): 26.1854 CPU user time (s): 25.9929 CPU system time (s): 0.192584 CPU usage (%): 129.248 Max. virtual memory (cumulated for all children) (KiB): 10748500 Max. memory (cumulated for all children) (KiB): 223336 getrusage(RUSAGE_CHILDREN,...) data: user time used= 25.9929 system time used= 0.192584 maximum resident set size= 227808 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 44849 page faults= 0 swaps= 0 block input operations= 0 block output operations= 112 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 3254 involuntary context switches= 52 # summary of solver processes directly reported to runsolver: # pid: 29184 # total CPU time (s): 26.1854 # total CPU user time (s): 25.9929 # total CPU system time (s): 0.192584 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.141002 second user time and 0.246436 second system time The end
Begin job on node141 at 2019-09-13 18:19:05 IDJOB=4391214 IDBENCH=141103 IDSOLVER=2833 FILE ID=node141/4391214-1568391587 RUNJOBID= node141-1568388891-27766 PBS_JOBID= 21701828 Free space on /tmp= 58532 MiB SOLVER NAME= AbsCon 2019-07-23 BENCH NAME= XCSP18/Tal/Tal-05_c18.xml COMMAND LINE= java -cp AbsCon19-06.jar AbsCon BENCHNAME -cm RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4391214-1568391587/watcher-4391214-1568391587 -o /tmp/evaluation-result-4391214-1568391587/solver-4391214-1568391587 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node141-1568388891-27766 --watchdog 2560 java -cp AbsCon19-06.jar AbsCon HOME/instance-4391214-1568391587.xml -cm TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 0bfba4554f8c52d47ef9f831901bb64c RANDOM SEED=1313391778 node141.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 : 5332.93 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 : 5332.93 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 : 5332.93 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 : 5332.93 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: 29964344 kB MemAvailable: 30250792 kB Buffers: 155408 kB Cached: 419424 kB SwapCached: 80840 kB Active: 1853304 kB Inactive: 397844 kB Active(anon): 1601368 kB Inactive(anon): 106348 kB Active(file): 251936 kB Inactive(file): 291496 kB Unevictable: 109180 kB Mlocked: 109180 kB SwapTotal: 67108860 kB SwapFree: 66918708 kB Dirty: 8924 kB Writeback: 0 kB AnonPages: 1817692 kB Mapped: 47876 kB Shmem: 22752 kB Slab: 147924 kB SReclaimable: 117700 kB SUnreclaim: 30224 kB KernelStack: 4064 kB PageTables: 8876 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 3363076 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 1677312 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 128384 kB DirectMap2M: 33417216 kB Free space on /tmp at the end= 58524 MiB End job on node141 at 2019-09-13 18:19:25