Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
AbsCon 2019-07-23 | OPT | 7 | 16.9441 | 13.7383 |
Diagnostic | Value |
---|---|
WRONG_DECISIONS | 697459 |
Name | PeacableArmies/ PeacableArmies-m2-07_c18.xml |
MD5SUM | d533abf730bec48b9e0ac1943d19d6b7 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 7 |
Best CPU time to get the best result obtained on this benchmark | 9.62179 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 51 |
Number of constraints | 479 |
Number of domains | 2 |
Minimum domain size | 3 |
Maximum domain size | 24 |
Distribution of domain sizes | [{"size":3,"count":49},{"size":24,"count":2}] |
Minimum variable degree | 2 |
Maximum variable degree | 26 |
Distribution of variable degrees | [{"degree":2,"count":1},{"degree":3,"count":1},{"degree":20,"count":24},{"degree":22,"count":16},{"degree":24,"count":8},{"degree":26,"count":1}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 50 |
Distribution of constraint arities | [{"arity":2,"count":477},{"arity":50,"count":2}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 477 |
Distribution of constraint types | [{"type":"intension","count":477},{"type":"count","count":2}] |
Optimization problem | YES |
Type of objective | max VAR |
2.43/1.88 2.43/1.88 AbsCon 2 2.43/1.90 2.94/2.08 Instance 2.94/2.08 name=instance-4390908-1568387364, framework=COP, bounds=-infty..+infty 2.94/2.08 2.94/2.08 Loading variables... 3.21/2.12 Loading constraints... 3.81/2.34 3.81/2.34 Domains 3.81/2.34 nTypes=2, nValues=195, sizes=[3#49,24#2] 3.81/2.34 Variables 3.81/2.34 count=51, degrees=[2#1,3#1,20#24,22#16,24#8,26#1] 3.81/2.34 Objectives 3.81/2.34 way=max, type=ObjVarGE 3.81/2.34 Constraints 3.81/2.34 count=480, nSpecific=4, arities=[1#1,2#477,50#2] 3.81/2.34 distribution=[CtrIntension#476,EQ#1,ExactlyKVariable#2,ObjVarGE#1] 3.81/2.34 nIntStructures=(1,shared:475), nCftStructures=(1,shared:475,unbuilt:4) 3.81/2.34 wck=0.489, cpu=2.298, mem=42M367 3.81/2.34 Solver SolverBacktrack being built... 3.81/2.34 3.81/2.36 3.81/2.36 Solver 3.81/2.36 guaranteedGAC=true 3.81/2.36 wck=0.517, cpu=2.325, mem=53M9 3.81/2.37 3.81/2.37 Preprocessing 3.81/2.37 filters=0, ccks=9, nACremovedValues=0, nTotalRemovedValues=0, inconcistency=false 3.81/2.37 wck=0.002, cpu=2.328, mem=53M9 3.81/2.37 3.81/2.38 o 0 3.81/2.38 num=0, depth=52..50, filters=46, revisions=(476,useless=476), ccks=1441, wck=0.018, mem=53M9 3.81/2.38 decisions=49, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=1, bestBound=0 3.81/2.38 3.81/2.39 num=1, depth=45..48, filters=101, revisions=(995,useless=967), ccks=1517, wck=0.023, mem=55M651 3.81/2.39 decisions=134, wrong=20, backtracks=9, failedAssignments=11, nogoods=1, foundSolutions=1, bestBound=0 3.81/2.39 4.10/2.40 o 1 4.10/2.40 num=2, depth=46..50, filters=123, revisions=(1484,useless=1448), ccks=2149, wck=0.038, mem=55M651 4.10/2.40 decisions=199, wrong=28, backtracks=12, failedAssignments=16, nogoods=3, foundSolutions=2, bestBound=1 4.10/2.40 4.10/2.41 num=3, depth=44..47, filters=208, revisions=(2040,useless=1950), ccks=2405, wck=0.041, mem=55M651 4.10/2.41 decisions=287, wrong=50, backtracks=22, failedAssignments=28, nogoods=5, foundSolutions=2, bestBound=1 4.10/2.41 4.10/2.41 num=4, depth=44..47, filters=281, revisions=(2583,useless=2447), ccks=2669, wck=0.044, mem=55M651 4.10/2.41 decisions=371, wrong=70, backtracks=31, failedAssignments=39, nogoods=6, foundSolutions=2, bestBound=1 4.10/2.41 4.10/2.41 o 2 4.10/2.41 num=5, depth=46..50, filters=295, revisions=(3066,useless=2929), ccks=3286, wck=0.047, mem=55M651 4.10/2.41 decisions=428, wrong=75, backtracks=33, failedAssignments=42, nogoods=8, foundSolutions=3, bestBound=2 4.10/2.41 4.10/2.42 num=6, depth=44..46, filters=375, revisions=(3626,useless=3441), ccks=3532, wck=0.05, mem=55M651 4.10/2.42 decisions=519, wrong=98, backtracks=43, failedAssignments=55, nogoods=12, foundSolutions=3, bestBound=2 4.10/2.42 4.10/2.42 num=7, depth=43..46, filters=465, revisions=(4192,useless=3943), ccks=3805, wck=0.052, mem=55M651 4.10/2.42 decisions=602, wrong=118, backtracks=52, failedAssignments=66, nogoods=13, foundSolutions=3, bestBound=2 4.10/2.42 4.10/2.42 num=8, depth=43..46, filters=573, revisions=(4774,useless=4451), ccks=4089, wck=0.054, mem=55M651 4.10/2.42 decisions=689, wrong=140, backtracks=62, failedAssignments=78, nogoods=15, foundSolutions=3, bestBound=2 4.10/2.42 4.10/2.42 num=9, depth=42..46, filters=697, revisions=(5368,useless=4959), ccks=4375, wck=0.057, mem=55M651 4.10/2.42 decisions=779, wrong=164, backtracks=73, failedAssignments=91, nogoods=16, foundSolutions=3, bestBound=2 4.10/2.42 4.10/2.43 num=10, depth=44..46, filters=767, revisions=(5894,useless=5459), ccks=4497, wck=0.059, mem=55M651 4.10/2.43 decisions=873, wrong=189, backtracks=84, failedAssignments=105, nogoods=20, foundSolutions=3, bestBound=2 4.10/2.43 4.10/2.43 num=11, depth=42..46, filters=876, revisions=(6473,useless=5972), ccks=4685, wck=0.061, mem=55M651 4.10/2.43 decisions=976, wrong=219, backtracks=98, failedAssignments=121, nogoods=22, foundSolutions=3, bestBound=2 4.10/2.43 4.10/2.43 num=12, depth=42..46, filters=995, revisions=(7059,useless=6485), ccks=4890, wck=0.064, mem=55M651 4.10/2.43 decisions=1083, wrong=251, backtracks=113, failedAssignments=138, nogoods=25, foundSolutions=3, bestBound=2 4.10/2.43 4.10/2.43 num=13, depth=42..46, filters=1115, revisions=(7652,useless=7014), ccks=5088, wck=0.066, mem=55M651 4.10/2.43 decisions=1195, wrong=285, backtracks=128, failedAssignments=157, nogoods=28, foundSolutions=3, bestBound=2 4.10/2.43 4.10/2.43 num=14, depth=43..47, filters=1222, revisions=(8173,useless=7498), ccks=5176, wck=0.068, mem=55M651 4.10/2.43 decisions=1312, wrong=322, backtracks=149, failedAssignments=178, nogoods=30, foundSolutions=3, bestBound=2 4.10/2.43 4.10/2.44 o 3 4.10/2.44 num=15, depth=44..50, filters=1283, revisions=(8694,useless=7994), ccks=5735, wck=0.071, mem=55M651 4.10/2.44 decisions=1393, wrong=340, backtracks=157, failedAssignments=188, nogoods=34, foundSolutions=4, bestBound=3 4.10/2.44 4.10/2.44 num=16, depth=40..45, filters=1494, revisions=(9416,useless=8568), ccks=6148, wck=0.073, mem=55M651 4.10/2.44 decisions=1530, wrong=388, backtracks=182, failedAssignments=213, nogoods=36, foundSolutions=4, bestBound=3 4.10/2.44 4.10/2.44 num=17, depth=42..45, filters=1568, revisions=(9944,useless=9062), ccks=6259, wck=0.075, mem=58M294 4.10/2.44 decisions=1612, wrong=407, backtracks=191, failedAssignments=224, nogoods=40, foundSolutions=4, bestBound=3 4.10/2.44 4.10/2.44 num=18, depth=41..45, filters=1677, revisions=(10515,useless=9565), ccks=6415, wck=0.077, mem=58M294 4.10/2.44 decisions=1699, wrong=430, backtracks=202, failedAssignments=236, nogoods=43, foundSolutions=4, bestBound=3 4.10/2.44 4.10/2.44 num=19, depth=40..45, filters=1794, revisions=(11090,useless=10070), ccks=6582, wck=0.078, mem=58M294 4.10/2.44 decisions=1789, wrong=455, backtracks=215, failedAssignments=249, nogoods=44, foundSolutions=4, bestBound=3 4.10/2.44 4.10/2.45 num=20, depth=40..45, filters=1935, revisions=(11698,useless=10590), ccks=6814, wck=0.08, mem=58M294 4.10/2.45 decisions=1888, wrong=484, backtracks=230, failedAssignments=263, nogoods=46, foundSolutions=4, bestBound=3 4.10/2.45 4.10/2.45 num=21, depth=42..45, filters=2036, revisions=(12248,useless=11091), ccks=6989, wck=0.082, mem=58M294 4.10/2.45 decisions=1986, wrong=512, backtracks=243, failedAssignments=279, nogoods=48, foundSolutions=4, bestBound=3 4.10/2.45 4.10/2.45 num=22, depth=40..46, filters=2176, revisions=(12898,useless=11659), ccks=7221, wck=0.084, mem=58M294 4.10/2.45 decisions=2095, wrong=544, backtracks=260, failedAssignments=296, nogoods=52, foundSolutions=4, bestBound=3 4.10/2.45 4.10/2.45 num=23, depth=40..45, filters=2330, revisions=(13530,useless=12204), ccks=7477, wck=0.086, mem=58M294 4.10/2.45 decisions=2214, wrong=581, backtracks=279, failedAssignments=315, nogoods=54, foundSolutions=4, bestBound=3 4.10/2.45 4.10/2.45 num=24, depth=41..45, filters=2507, revisions=(14176,useless=12742), ccks=7811, wck=0.088, mem=58M294 4.10/2.45 decisions=2335, wrong=621, backtracks=299, failedAssignments=336, nogoods=57, foundSolutions=4, bestBound=3 4.10/2.45 4.10/2.45 num=25, depth=39..45, filters=2716, revisions=(14856,useless=13292), ccks=8129, wck=0.09, mem=58M294 4.10/2.45 decisions=2466, wrong=666, backtracks=323, failedAssignments=359, nogoods=59, foundSolutions=4, bestBound=3 4.10/2.45 4.10/2.46 num=26, depth=39..45, filters=2937, revisions=(15548,useless=13844), ccks=8466, wck=0.093, mem=58M294 4.10/2.46 decisions=2603, wrong=715, backtracks=350, failedAssignments=384, nogoods=60, foundSolutions=4, bestBound=3 4.10/2.46 4.10/2.46 num=27, depth=40..45, filters=3154, revisions=(16240,useless=14406), ccks=8830, wck=0.095, mem=58M294 4.10/2.46 decisions=2751, wrong=767, backtracks=377, failedAssignments=412, nogoods=62, foundSolutions=4, bestBound=3 4.10/2.46 4.10/2.46 num=28, depth=40..46, filters=3380, revisions=(16906,useless=14953), ccks=9132, wck=0.098, mem=58M294 4.10/2.46 decisions=2907, wrong=825, backtracks=412, failedAssignments=443, nogoods=65, foundSolutions=4, bestBound=3 4.10/2.46 4.10/2.46 num=29, depth=39..45, filters=3644, revisions=(17680,useless=15571), ccks=9553, wck=0.1, mem=58M294 4.10/2.46 decisions=3081, wrong=890, backtracks=446, failedAssignments=477, nogoods=68, foundSolutions=4, bestBound=3 4.10/2.46 4.10/2.47 o 4 4.10/2.47 num=30, depth=39..50, filters=3906, revisions=(18523,useless=16241), ccks=10462, wck=0.104, mem=58M294 4.10/2.47 decisions=3215, wrong=937, backtracks=472, failedAssignments=500, nogoods=71, foundSolutions=5, bestBound=4 4.10/2.47 4.10/2.47 num=31, depth=35..44, filters=4456, revisions=(19890,useless=17167), ccks=11727, wck=0.108, mem=58M294 4.10/2.47 decisions=3440, wrong=1028, backtracks=527, failedAssignments=541, nogoods=74, foundSolutions=5, bestBound=4 4.10/2.47 4.10/2.47 num=32, depth=40..44, filters=4555, revisions=(20453,useless=17676), ccks=11927, wck=0.109, mem=58M294 4.10/2.47 decisions=3522, wrong=1049, backtracks=539, failedAssignments=552, nogoods=75, foundSolutions=5, bestBound=4 4.10/2.47 4.10/2.47 num=33, depth=39..44, filters=4671, revisions=(21019,useless=18173), ccks=12100, wck=0.111, mem=58M294 4.10/2.47 decisions=3607, wrong=1072, backtracks=550, failedAssignments=564, nogoods=76, foundSolutions=5, bestBound=4 4.10/2.47 4.10/2.48 num=34, depth=40..44, filters=4774, revisions=(21566,useless=18668), ccks=12264, wck=0.112, mem=58M294 4.10/2.48 decisions=3695, wrong=1096, backtracks=561, failedAssignments=577, nogoods=77, foundSolutions=5, bestBound=4 4.10/2.48 4.10/2.48 num=35, depth=39..44, filters=4887, revisions=(22132,useless=19177), ccks=12426, wck=0.114, mem=58M294 4.10/2.48 decisions=3791, wrong=1122, backtracks=574, failedAssignments=591, nogoods=79, foundSolutions=5, bestBound=4 4.10/2.48 4.10/2.48 num=36, depth=39..44, filters=5043, revisions=(22763,useless=19706), ccks=12735, wck=0.116, mem=58M294 4.10/2.48 decisions=3893, wrong=1152, backtracks=588, failedAssignments=607, nogoods=81, foundSolutions=5, bestBound=4 4.10/2.48 4.10/2.48 num=37, depth=40..44, filters=5182, revisions=(23379,useless=20254), ccks=12937, wck=0.117, mem=58M294 4.10/2.48 decisions=3997, wrong=1184, backtracks=607, failedAssignments=624, nogoods=85, foundSolutions=5, bestBound=4 4.10/2.48 4.10/2.48 num=38, depth=39..44, filters=5356, revisions=(24044,useless=20812), ccks=13258, wck=0.12, mem=58M294 4.10/2.48 decisions=4117, wrong=1223, backtracks=630, failedAssignments=643, nogoods=87, foundSolutions=5, bestBound=4 4.10/2.48 4.10/2.49 num=39, depth=39..44, filters=5565, revisions=(24741,useless=21370), ccks=13649, wck=0.122, mem=58M294 4.10/2.49 decisions=4241, wrong=1265, backtracks=652, failedAssignments=664, nogoods=89, foundSolutions=5, bestBound=4 4.10/2.49 4.10/2.49 num=40, depth=39..45, filters=5731, revisions=(25387,useless=21923), ccks=13948, wck=0.124, mem=58M294 4.10/2.49 decisions=4364, wrong=1305, backtracks=671, failedAssignments=687, nogoods=92, foundSolutions=5, bestBound=4 4.10/2.49 4.10/2.49 num=41, depth=38..44, filters=5991, revisions=(26155,useless=22526), ccks=14384, wck=0.127, mem=58M294 4.10/2.49 decisions=4521, wrong=1362, backtracks=706, failedAssignments=712, nogoods=94, foundSolutions=5, bestBound=4 4.10/2.49 4.10/2.49 num=42, depth=38..44, filters=6305, revisions=(27021,useless=23191), ccks=14875, wck=0.13, mem=58M294 4.10/2.49 decisions=4691, wrong=1428, backtracks=750, failedAssignments=740, nogoods=97, foundSolutions=5, bestBound=4 4.10/2.49 4.10/2.50 num=43, depth=39..45, filters=6564, revisions=(27764,useless=23789), ccks=15302, wck=0.132, mem=58M294 4.10/2.50 decisions=4850, wrong=1488, backtracks=786, failedAssignments=771, nogoods=101, foundSolutions=5, bestBound=4 4.10/2.50 4.44/2.50 num=44, depth=38..44, filters=6864, revisions=(28563,useless=24392), ccks=15807, wck=0.136, mem=58M294 4.44/2.50 decisions=5017, wrong=1551, backtracks=820, failedAssignments=805, nogoods=104, foundSolutions=5, bestBound=4 4.44/2.50 4.44/2.50 num=45, depth=37..44, filters=7309, revisions=(29686,useless=25211), ccks=16604, wck=0.139, mem=58M294 4.44/2.50 decisions=5230, wrong=1639, backtracks=879, failedAssignments=842, nogoods=109, foundSolutions=5, bestBound=4 4.44/2.50 4.44/2.51 num=46, depth=36..44, filters=7828, revisions=(30882,useless=26015), ccks=17652, wck=0.143, mem=58M294 4.44/2.51 decisions=5441, wrong=1725, backtracks=927, failedAssignments=883, nogoods=111, foundSolutions=5, bestBound=4 4.44/2.51 4.44/2.51 num=47, depth=38..45, filters=8159, revisions=(31675,useless=26615), ccks=18183, wck=0.146, mem=58M294 4.44/2.51 decisions=5647, wrong=1808, backtracks=975, failedAssignments=928, nogoods=114, foundSolutions=5, bestBound=4 4.44/2.51 4.44/2.51 num=48, depth=37..45, filters=8601, revisions=(32719,useless=27374), ccks=18987, wck=0.149, mem=58M294 4.44/2.51 decisions=5878, wrong=1904, backtracks=1030, failedAssignments=978, nogoods=118, foundSolutions=5, bestBound=4 4.44/2.51 4.44/2.52 o 5 4.44/2.52 num=49, depth=38..50, filters=9073, revisions=(33743,useless=28078), ccks=20285, wck=0.153, mem=58M294 4.44/2.52 decisions=6103, wrong=1997, backtracks=1078, failedAssignments=1030, nogoods=124, foundSolutions=6, bestBound=5 4.44/2.52 4.44/2.52 num=50, depth=32..44, filters=9894, revisions=(35761,useless=29448), ccks=22099, wck=0.159, mem=58M294 4.44/2.52 decisions=6413, wrong=2131, backtracks=1164, failedAssignments=1091, nogoods=126, foundSolutions=6, bestBound=5 4.44/2.52 4.44/2.52 num=51, depth=39..43, filters=9991, revisions=(36305,useless=29942), ccks=22311, wck=0.161, mem=58M294 4.44/2.52 decisions=6494, wrong=2152, backtracks=1174, failedAssignments=1102, nogoods=128, foundSolutions=6, bestBound=5 4.44/2.52 4.44/2.53 num=52, depth=39..43, filters=10095, revisions=(36856,useless=30438), ccks=22474, wck=0.162, mem=58M294 4.44/2.53 decisions=6578, wrong=2174, backtracks=1185, failedAssignments=1114, nogoods=131, foundSolutions=6, bestBound=5 4.44/2.53 4.44/2.53 num=53, depth=38..43, filters=10215, revisions=(37439,useless=30948), ccks=22693, wck=0.164, mem=58M294 4.44/2.53 decisions=6669, wrong=2198, backtracks=1196, failedAssignments=1127, nogoods=133, foundSolutions=6, bestBound=5 4.44/2.53 4.44/2.53 num=54, depth=38..43, filters=10335, revisions=(38021,useless=31460), ccks=22905, wck=0.165, mem=58M294 4.44/2.53 decisions=6763, wrong=2224, backtracks=1208, failedAssignments=1141, nogoods=135, foundSolutions=6, bestBound=5 4.44/2.53 4.44/2.53 num=55, depth=38..43, filters=10497, revisions=(38667,useless=32006), ccks=23203, wck=0.167, mem=58M294 4.44/2.53 decisions=6867, wrong=2257, backtracks=1226, failedAssignments=1157, nogoods=137, foundSolutions=6, bestBound=5 4.44/2.53 4.44/2.53 num=56, depth=37..43, filters=10678, revisions=(39329,useless=32550), ccks=23505, wck=0.169, mem=58M294 4.44/2.53 decisions=6970, wrong=2290, backtracks=1244, failedAssignments=1174, nogoods=138, foundSolutions=6, bestBound=5 4.44/2.53 4.44/2.53 num=57, depth=38..43, filters=10839, revisions=(39959,useless=33085), ccks=23826, wck=0.17, mem=58M294 4.44/2.53 decisions=7082, wrong=2325, backtracks=1260, failedAssignments=1193, nogoods=141, foundSolutions=6, bestBound=5 4.44/2.53 4.44/2.54 num=58, depth=37..43, filters=11060, revisions=(40646,useless=33622), ccks=24207, wck=0.172, mem=58M294 4.44/2.54 decisions=7199, wrong=2365, backtracks=1280, failedAssignments=1214, nogoods=142, foundSolutions=6, bestBound=5 4.44/2.54 4.44/2.54 num=59, depth=38..43, filters=11297, revisions=(41381,useless=34204), ccks=24638, wck=0.175, mem=58M294 4.44/2.54 decisions=7334, wrong=2413, backtracks=1308, failedAssignments=1237, nogoods=146, foundSolutions=6, bestBound=5 4.44/2.54 4.44/2.54 num=60, depth=36..43, filters=11575, revisions=(42153,useless=34794), ccks=25106, wck=0.177, mem=58M294 4.44/2.54 decisions=7483, wrong=2467, backtracks=1341, failedAssignments=1262, nogoods=148, foundSolutions=6, bestBound=5 4.44/2.54 4.44/2.54 num=61, depth=37..43, filters=11873, revisions=(42940,useless=35371), ccks=25631, wck=0.179, mem=58M294 4.44/2.54 decisions=7628, wrong=2521, backtracks=1369, failedAssignments=1290, nogoods=151, foundSolutions=6, bestBound=5 4.44/2.54 4.44/2.55 num=62, depth=36..43, filters=12175, revisions=(43730,useless=35972), ccks=26134, wck=0.181, mem=58M294 4.44/2.55 decisions=7789, wrong=2582, backtracks=1402, failedAssignments=1321, nogoods=154, foundSolutions=6, bestBound=5 4.44/2.55 4.44/2.55 num=63, depth=37..43, filters=12546, revisions=(44677,useless=36661), ccks=26897, wck=0.184, mem=58M294 4.44/2.55 decisions=7973, wrong=2655, backtracks=1442, failedAssignments=1355, nogoods=158, foundSolutions=6, bestBound=5 4.44/2.55 4.44/2.55 num=64, depth=36..43, filters=13012, revisions=(45759,useless=37392), ccks=27842, wck=0.186, mem=58M294 4.44/2.55 decisions=8165, wrong=2733, backtracks=1486, failedAssignments=1392, nogoods=161, foundSolutions=6, bestBound=5 4.44/2.55 4.44/2.55 num=65, depth=36..43, filters=13409, revisions=(46660,useless=38023), ccks=28600, wck=0.189, mem=58M294 4.44/2.55 decisions=8362, wrong=2812, backtracks=1524, failedAssignments=1433, nogoods=164, foundSolutions=6, bestBound=5 4.44/2.55 4.44/2.56 num=66, depth=36..43, filters=13885, revisions=(47649,useless=38688), ccks=29514, wck=0.192, mem=58M294 4.44/2.56 decisions=8583, wrong=2904, backtracks=1573, failedAssignments=1478, nogoods=166, foundSolutions=6, bestBound=5 4.44/2.56 4.44/2.56 num=67, depth=36..43, filters=14400, revisions=(48685,useless=39369), ccks=30452, wck=0.195, mem=58M294 4.44/2.56 decisions=8818, wrong=3003, backtracks=1624, failedAssignments=1528, nogoods=170, foundSolutions=6, bestBound=5 4.44/2.56 4.44/2.56 num=68, depth=36..43, filters=14909, revisions=(49672,useless=40040), ccks=31249, wck=0.198, mem=60M936 4.44/2.56 decisions=9070, wrong=3111, backtracks=1684, failedAssignments=1583, nogoods=172, foundSolutions=6, bestBound=5 4.44/2.56 4.44/2.57 num=69, depth=35..43, filters=15573, revisions=(50848,useless=40766), ccks=32367, wck=0.202, mem=60M936 4.44/2.57 decisions=9364, wrong=3240, backtracks=1756, failedAssignments=1644, nogoods=175, foundSolutions=6, bestBound=5 4.44/2.57 4.44/2.57 num=70, depth=36..43, filters=16278, revisions=(52129,useless=41580), ccks=33570, wck=0.206, mem=60M936 4.44/2.57 decisions=9696, wrong=3387, backtracks=1846, failedAssignments=1711, nogoods=178, foundSolutions=6, bestBound=5 4.44/2.57 4.44/2.57 num=71, depth=35..43, filters=17075, revisions=(53596,useless=42483), ccks=35092, wck=0.211, mem=60M936 4.44/2.57 decisions=10040, wrong=3539, backtracks=1930, failedAssignments=1785, nogoods=180, foundSolutions=6, bestBound=5 4.44/2.57 4.44/2.58 num=72, depth=35..43, filters=17968, revisions=(55088,useless=43372), ccks=36620, wck=0.215, mem=60M936 4.44/2.58 decisions=10396, wrong=3699, backtracks=2015, failedAssignments=1866, nogoods=185, foundSolutions=6, bestBound=5 4.44/2.58 4.44/2.59 num=73, depth=32..43, filters=19202, revisions=(57153,useless=44533), ccks=39006, wck=0.221, mem=60M936 4.44/2.59 decisions=10812, wrong=3886, backtracks=2116, failedAssignments=1955, nogoods=187, foundSolutions=6, bestBound=5 4.44/2.59 4.44/2.59 num=74, depth=34..44, filters=20170, revisions=(58728,useless=45448), ccks=40690, wck=0.226, mem=60M936 4.44/2.59 decisions=11235, wrong=4078, backtracks=2224, failedAssignments=2053, nogoods=189, foundSolutions=6, bestBound=5 4.44/2.59 4.75/2.60 num=75, depth=33..43, filters=21534, revisions=(60883,useless=46728), ccks=42836, wck=0.234, mem=60M936 4.75/2.60 decisions=11767, wrong=4327, backtracks=2381, failedAssignments=2161, nogoods=193, foundSolutions=6, bestBound=5 4.75/2.60 4.75/2.61 num=76, depth=33..44, filters=22817, revisions=(62855,useless=47824), ccks=45078, wck=0.241, mem=60M936 4.75/2.61 decisions=12282, wrong=4567, backtracks=2518, failedAssignments=2280, nogoods=195, foundSolutions=6, bestBound=5 4.75/2.61 4.75/2.61 num=77, depth=33..43, filters=24456, revisions=(65503,useless=49469), ccks=47706, wck=0.25, mem=60M936 4.75/2.61 decisions=12916, wrong=4863, backtracks=2707, failedAssignments=2411, nogoods=198, foundSolutions=6, bestBound=5 4.75/2.61 4.75/2.63 num=78, depth=31..44, filters=26597, revisions=(69178,useless=51735), ccks=51228, wck=0.261, mem=60M936 4.75/2.63 decisions=13683, wrong=5226, backtracks=2964, failedAssignments=2555, nogoods=201, foundSolutions=6, bestBound=5 4.75/2.63 4.75/2.64 num=79, depth=32..43, filters=28387, revisions=(72078,useless=53478), ccks=54223, wck=0.271, mem=60M936 4.75/2.64 decisions=14355, wrong=5544, backtracks=3153, failedAssignments=2713, nogoods=204, foundSolutions=6, bestBound=5 4.75/2.64 4.75/2.65 num=80, depth=31..44, filters=30672, revisions=(75837,useless=55691), ccks=58268, wck=0.282, mem=60M936 4.75/2.65 decisions=15131, wrong=5912, backtracks=3366, failedAssignments=2887, nogoods=206, foundSolutions=6, bestBound=5 4.75/2.65 4.75/2.66 num=81, depth=32..45, filters=33098, revisions=(79420,useless=57748), ccks=62052, wck=0.295, mem=60M936 4.75/2.66 decisions=16029, wrong=6343, backtracks=3643, failedAssignments=3078, nogoods=211, foundSolutions=6, bestBound=5 4.75/2.66 4.75/2.67 num=82, depth=31..44, filters=36121, revisions=(84436,useless=60819), ccks=67175, wck=0.31, mem=60M936 4.75/2.67 decisions=17099, wrong=6860, backtracks=3993, failedAssignments=3289, nogoods=214, foundSolutions=6, bestBound=5 4.75/2.67 4.75/2.69 num=83, depth=31..44, filters=39339, revisions=(89722,useless=64007), ccks=72594, wck=0.327, mem=60M936 4.75/2.69 decisions=18236, wrong=7413, backtracks=4374, failedAssignments=3521, nogoods=215, foundSolutions=6, bestBound=5 4.75/2.69 5.07/2.71 num=84, depth=29..44, filters=43782, revisions=(97625,useless=68864), ccks=80342, wck=0.347, mem=60M936 5.07/2.71 decisions=19584, wrong=8066, backtracks=4825, failedAssignments=3776, nogoods=217, foundSolutions=6, bestBound=5 5.07/2.71 5.07/2.73 num=85, depth=30..44, filters=47715, revisions=(103992,useless=72583), ccks=87317, wck=0.365, mem=60M936 5.07/2.73 decisions=20919, wrong=8715, backtracks=5244, failedAssignments=4057, nogoods=223, foundSolutions=6, bestBound=5 5.07/2.73 5.07/2.75 num=86, depth=30..44, filters=52143, revisions=(111646,useless=77345), ccks=94908, wck=0.387, mem=63M579 5.07/2.75 decisions=22454, wrong=9467, backtracks=5754, failedAssignments=4366, nogoods=229, foundSolutions=6, bestBound=5 5.07/2.75 5.07/2.77 num=87, depth=30..44, filters=57015, revisions=(119128,useless=81665), ccks=103199, wck=0.408, mem=63M579 5.07/2.77 decisions=24150, wrong=10294, backtracks=6312, failedAssignments=4706, nogoods=232, foundSolutions=6, bestBound=5 5.07/2.77 5.36/2.80 num=88, depth=28..44, filters=63311, revisions=(130766,useless=88975), ccks=114409, wck=0.434, mem=63M579 5.36/2.80 decisions=26138, wrong=11267, backtracks=6992, failedAssignments=5080, nogoods=235, foundSolutions=6, bestBound=5 5.36/2.80 5.36/2.82 num=89, depth=29..44, filters=69885, revisions=(143393,useless=97251), ccks=125758, wck=0.454, mem=63M579 5.36/2.82 decisions=28290, wrong=12327, backtracks=7749, failedAssignments=5491, nogoods=240, foundSolutions=6, bestBound=5 5.36/2.82 5.36/2.84 num=90, depth=29..44, filters=76746, revisions=(155314,useless=104647), ccks=137394, wck=0.473, mem=63M579 5.36/2.84 decisions=30581, wrong=13456, backtracks=8529, failedAssignments=5943, nogoods=245, foundSolutions=6, bestBound=5 5.36/2.84 5.36/2.86 num=91, depth=29..44, filters=85082, revisions=(170263,useless=114093), ccks=151331, wck=0.494, mem=63M579 5.36/2.86 decisions=33309, wrong=14804, backtracks=9496, failedAssignments=6440, nogoods=249, foundSolutions=6, bestBound=5 5.36/2.86 5.36/2.88 num=92, depth=30..44, filters=92919, revisions=(182310,useless=121159), ccks=163684, wck=0.513, mem=63M579 5.36/2.88 decisions=36001, wrong=16133, backtracks=10418, failedAssignments=6987, nogoods=255, foundSolutions=6, bestBound=5 5.36/2.88 5.66/2.90 num=93, depth=30..45, filters=100924, revisions=(194902,useless=128815), ccks=176266, wck=0.532, mem=66M222 5.66/2.90 decisions=38934, wrong=17584, backtracks=11444, failedAssignments=7589, nogoods=258, foundSolutions=6, bestBound=5 5.66/2.90 5.66/2.92 num=94, depth=29..44, filters=111054, revisions=(212647,useless=140068), ccks=192801, wck=0.555, mem=66M222 5.66/2.92 decisions=42363, wrong=19281, backtracks=12658, failedAssignments=8251, nogoods=261, foundSolutions=6, bestBound=5 5.66/2.92 5.66/2.94 num=95, depth=28..44, filters=121611, revisions=(231795,useless=152401), ccks=210014, wck=0.578, mem=66M222 5.66/2.94 decisions=45918, wrong=21038, backtracks=13908, failedAssignments=8979, nogoods=264, foundSolutions=6, bestBound=5 5.66/2.94 5.66/2.97 num=96, depth=28..44, filters=134560, revisions=(255363,useless=167519), ccks=231403, wck=0.604, mem=66M222 5.66/2.97 decisions=50206, wrong=23168, backtracks=15487, failedAssignments=9780, nogoods=268, foundSolutions=6, bestBound=5 5.66/2.97 5.66/2.99 num=97, depth=28..44, filters=147224, revisions=(277130,useless=181177), ccks=252197, wck=0.63, mem=66M222 5.66/2.99 decisions=54539, wrong=25315, backtracks=16996, failedAssignments=10661, nogoods=273, foundSolutions=6, bestBound=5 5.66/2.99 5.94/3.03 num=98, depth=28..44, filters=161614, revisions=(301530,useless=196621), ccks=273854, wck=0.661, mem=66M222 5.94/3.03 decisions=59453, wrong=27756, backtracks=18767, failedAssignments=11631, nogoods=278, foundSolutions=6, bestBound=5 5.94/3.03 5.94/3.06 num=99, depth=28..44, filters=177691, revisions=(327891,useless=212815), ccks=299586, wck=0.691, mem=66M222 5.94/3.06 decisions=64876, wrong=30450, backtracks=20692, failedAssignments=12698, nogoods=281, foundSolutions=6, bestBound=5 5.94/3.06 5.94/3.07 o 6 5.94/3.07 num=100, depth=30..50, filters=185748, revisions=(340662,useless=220596), ccks=312192, wck=0.707, mem=68M864 5.94/3.07 decisions=67702, wrong=31846, backtracks=21702, failedAssignments=13283, nogoods=286, foundSolutions=7, bestBound=6 5.94/3.07 6.10/3.11 num=101, depth=24..43, filters=208280, revisions=(397021,useless=258998), ccks=361593, wck=0.748, mem=68M864 6.10/3.11 decisions=74884, wrong=35417, backtracks=24386, failedAssignments=14574, nogoods=290, foundSolutions=7, bestBound=6 6.10/3.11 6.10/3.11 num=102, depth=38..42, filters=208389, revisions=(397576,useless=259491), ccks=361923, wck=0.749, mem=68M864 6.10/3.11 decisions=74964, wrong=35438, backtracks=24396, failedAssignments=14585, nogoods=292, foundSolutions=7, bestBound=6 6.10/3.11 6.10/3.11 num=103, depth=37..41, filters=208514, revisions=(398132,useless=259984), ccks=362091, wck=0.749, mem=68M864 6.10/3.11 decisions=75047, wrong=35461, backtracks=24407, failedAssignments=14597, nogoods=294, foundSolutions=7, bestBound=6 6.10/3.11 6.10/3.11 num=104, depth=37..42, filters=208651, revisions=(398722,useless=260493), ccks=362286, wck=0.75, mem=68M864 6.10/3.11 decisions=75134, wrong=35486, backtracks=24420, failedAssignments=14610, nogoods=295, foundSolutions=7, bestBound=6 6.10/3.11 6.10/3.11 num=105, depth=35..40, filters=208853, revisions=(399356,useless=261015), ccks=362557, wck=0.751, mem=68M864 6.10/3.11 decisions=75224, wrong=35513, backtracks=24435, failedAssignments=14624, nogoods=297, foundSolutions=7, bestBound=6 6.10/3.11 6.10/3.12 num=106, depth=37..42, filters=209012, revisions=(399952,useless=261531), ccks=362795, wck=0.751, mem=68M864 6.10/3.12 decisions=75325, wrong=35545, backtracks=24452, failedAssignments=14640, nogoods=300, foundSolutions=7, bestBound=6 6.10/3.12 6.10/3.12 num=107, depth=34..39, filters=209304, revisions=(400690,useless=262083), ccks=363219, wck=0.752, mem=68M864 6.10/3.12 decisions=75427, wrong=35579, backtracks=24474, failedAssignments=14657, nogoods=303, foundSolutions=7, bestBound=6 6.10/3.12 6.10/3.12 num=108, depth=34..42, filters=209614, revisions=(401473,useless=262686), ccks=363655, wck=0.753, mem=68M864 6.10/3.12 decisions=75547, wrong=35622, backtracks=24502, failedAssignments=14676, nogoods=306, foundSolutions=7, bestBound=6 6.10/3.12 6.10/3.12 num=109, depth=34..42, filters=209918, revisions=(402242,useless=263275), ccks=364124, wck=0.754, mem=68M864 6.10/3.12 decisions=75674, wrong=35668, backtracks=24530, failedAssignments=14697, nogoods=309, foundSolutions=7, bestBound=6 6.10/3.12 6.10/3.12 num=110, depth=33..42, filters=210299, revisions=(403167,useless=263972), ccks=364705, wck=0.755, mem=68M864 6.10/3.12 decisions=75835, wrong=35731, backtracks=24575, failedAssignments=14720, nogoods=311, foundSolutions=7, bestBound=6 6.10/3.12 6.10/3.12 num=111, depth=34..42, filters=210661, revisions=(403993,useless=264589), ccks=365236, wck=0.756, mem=68M864 6.10/3.12 decisions=75986, wrong=35788, backtracks=24612, failedAssignments=14745, nogoods=314, foundSolutions=7, bestBound=6 6.10/3.12 6.10/3.12 num=112, depth=36..42, filters=210932, revisions=(404703,useless=265143), ccks=365678, wck=0.757, mem=68M864 6.10/3.12 decisions=76129, wrong=35841, backtracks=24639, failedAssignments=14773, nogoods=317, foundSolutions=7, bestBound=6 6.10/3.12 6.10/3.12 num=113, depth=33..42, filters=211435, revisions=(405785,useless=265919), ccks=366471, wck=0.759, mem=68M864 6.10/3.12 decisions=76307, wrong=35912, backtracks=24688, failedAssignments=14804, nogoods=320, foundSolutions=7, bestBound=6 6.10/3.12 6.10/3.12 num=114, depth=35..42, filters=211809, revisions=(406609,useless=266523), ccks=367066, wck=0.76, mem=68M864 6.10/3.12 decisions=76475, wrong=35978, backtracks=24724, failedAssignments=14838, nogoods=323, foundSolutions=7, bestBound=6 6.10/3.12 6.10/3.13 num=115, depth=32..42, filters=212423, revisions=(407835,useless=267365), ccks=368098, wck=0.761, mem=68M864 6.10/3.13 decisions=76694, wrong=36071, backtracks=24783, failedAssignments=14875, nogoods=325, foundSolutions=7, bestBound=6 6.10/3.13 6.10/3.13 num=116, depth=35..42, filters=212889, revisions=(408750,useless=267993), ccks=368824, wck=0.762, mem=68M864 6.10/3.13 decisions=76895, wrong=36154, backtracks=24828, failedAssignments=14916, nogoods=330, foundSolutions=7, bestBound=6 6.10/3.13 6.10/3.13 num=117, depth=31..42, filters=213725, revisions=(410396,useless=269083), ccks=370119, wck=0.764, mem=68M864 6.10/3.13 decisions=77154, wrong=36264, backtracks=24905, failedAssignments=14961, nogoods=333, foundSolutions=7, bestBound=6 6.10/3.13 6.10/3.13 num=118, depth=32..42, filters=214567, revisions=(411910,useless=270051), ccks=371540, wck=0.766, mem=68M864 6.10/3.13 decisions=77426, wrong=36383, backtracks=24978, failedAssignments=15011, nogoods=336, foundSolutions=7, bestBound=6 6.10/3.13 6.10/3.13 num=119, depth=33..42, filters=215356, revisions=(413236,useless=270889), ccks=372768, wck=0.768, mem=68M864 6.10/3.13 decisions=77726, wrong=36516, backtracks=25065, failedAssignments=15066, nogoods=339, foundSolutions=7, bestBound=6 6.10/3.13 6.10/3.13 num=120, depth=32..44, filters=216260, revisions=(414741,useless=271858), ccks=374161, wck=0.77, mem=68M864 6.10/3.13 decisions=78051, wrong=36661, backtracks=25168, failedAssignments=15127, nogoods=342, foundSolutions=7, bestBound=6 6.10/3.13 6.10/3.14 num=121, depth=31..42, filters=217464, revisions=(416780,useless=273083), ccks=376098, wck=0.772, mem=68M864 6.10/3.14 decisions=78427, wrong=36832, backtracks=25291, failedAssignments=15194, nogoods=346, foundSolutions=7, bestBound=6 6.10/3.14 6.10/3.14 num=122, depth=31..42, filters=218673, revisions=(418962,useless=274488), ccks=378018, wck=0.775, mem=68M864 6.10/3.14 decisions=78807, wrong=37005, backtracks=25413, failedAssignments=15268, nogoods=349, foundSolutions=7, bestBound=6 6.10/3.14 6.10/3.14 num=123, depth=32..43, filters=219786, revisions=(420821,useless=275673), ccks=379829, wck=0.778, mem=68M864 6.10/3.14 decisions=79221, wrong=37195, backtracks=25531, failedAssignments=15349, nogoods=353, foundSolutions=7, bestBound=6 6.10/3.14 6.10/3.14 num=124, depth=32..42, filters=220952, revisions=(422565,useless=276664), ccks=381711, wck=0.78, mem=68M864 6.10/3.14 decisions=79650, wrong=37389, backtracks=25645, failedAssignments=15438, nogoods=355, foundSolutions=7, bestBound=6 6.10/3.14 6.10/3.15 num=125, depth=31..42, filters=222508, revisions=(425123,useless=278249), ccks=384159, wck=0.783, mem=68M864 6.10/3.15 decisions=80197, wrong=37646, backtracks=25825, failedAssignments=15536, nogoods=360, foundSolutions=7, bestBound=6 6.10/3.15 6.10/3.15 num=126, depth=30..43, filters=224271, revisions=(427966,useless=279968), ccks=386880, wck=0.787, mem=68M864 6.10/3.15 decisions=80759, wrong=37908, backtracks=26005, failedAssignments=15644, nogoods=362, foundSolutions=7, bestBound=6 6.10/3.15 6.10/3.15 num=127, depth=31..43, filters=226066, revisions=(430744,useless=281621), ccks=389732, wck=0.791, mem=68M864 6.10/3.15 decisions=81382, wrong=38203, backtracks=26203, failedAssignments=15763, nogoods=367, foundSolutions=7, bestBound=6 6.10/3.15 6.10/3.16 num=128, depth=31..42, filters=227907, revisions=(433704,useless=283449), ccks=392727, wck=0.794, mem=68M864 6.10/3.16 decisions=82048, wrong=38520, backtracks=26423, failedAssignments=15894, nogoods=370, foundSolutions=7, bestBound=6 6.10/3.16 6.10/3.16 num=129, depth=29..42, filters=230037, revisions=(437445,useless=285783), ccks=396371, wck=0.798, mem=68M864 6.10/3.16 decisions=82747, wrong=38850, backtracks=26640, failedAssignments=16038, nogoods=374, foundSolutions=7, bestBound=6 6.10/3.16 6.10/3.17 num=130, depth=30..43, filters=232446, revisions=(441241,useless=288026), ccks=400447, wck=0.803, mem=68M864 6.10/3.17 decisions=83590, wrong=39252, backtracks=26912, failedAssignments=16196, nogoods=377, foundSolutions=7, bestBound=6 6.10/3.17 6.10/3.17 num=131, depth=30..43, filters=235159, revisions=(445663,useless=290692), ccks=404988, wck=0.807, mem=68M864 6.10/3.17 decisions=84483, wrong=39679, backtracks=27196, failedAssignments=16370, nogoods=381, foundSolutions=7, bestBound=6 6.10/3.17 6.10/3.18 num=132, depth=30..42, filters=238187, revisions=(450420,useless=293509), ccks=409921, wck=0.812, mem=68M864 6.10/3.18 decisions=85465, wrong=40150, backtracks=27519, failedAssignments=16561, nogoods=384, foundSolutions=7, bestBound=6 6.10/3.18 6.10/3.18 num=133, depth=30..43, filters=241131, revisions=(454895,useless=296087), ccks=415076, wck=0.817, mem=68M864 6.10/3.18 decisions=86484, wrong=40643, backtracks=27830, failedAssignments=16772, nogoods=389, foundSolutions=7, bestBound=6 6.10/3.18 6.10/3.19 num=134, depth=30..42, filters=244989, revisions=(460744,useless=299378), ccks=421663, wck=0.824, mem=68M864 6.10/3.19 decisions=87686, wrong=41226, backtracks=28219, failedAssignments=17004, nogoods=393, foundSolutions=7, bestBound=6 6.10/3.19 6.10/3.19 num=135, depth=30..43, filters=248372, revisions=(465649,useless=302147), ccks=427270, wck=0.829, mem=68M864 6.10/3.19 decisions=88873, wrong=41803, backtracks=28590, failedAssignments=17259, nogoods=398, foundSolutions=7, bestBound=6 6.10/3.19 6.28/3.20 num=136, depth=29..42, filters=252911, revisions=(473050,useless=306603), ccks=434923, wck=0.837, mem=71M506 6.28/3.20 decisions=90378, wrong=42541, backtracks=29102, failedAssignments=17540, nogoods=401, foundSolutions=7, bestBound=6 6.28/3.20 6.28/3.21 num=137, depth=27..42, filters=257813, revisions=(481773,useless=312009), ccks=443605, wck=0.845, mem=71M506 6.28/3.21 decisions=91918, wrong=43292, backtracks=29598, failedAssignments=17849, nogoods=405, foundSolutions=7, bestBound=6 6.28/3.21 6.28/3.22 num=138, depth=28..43, filters=262141, revisions=(488237,useless=315772), ccks=450536, wck=0.853, mem=71M506 6.28/3.22 decisions=93448, wrong=44039, backtracks=30089, failedAssignments=18189, nogoods=408, foundSolutions=7, bestBound=6 6.28/3.22 6.28/3.23 num=139, depth=28..43, filters=268437, revisions=(498482,useless=321871), ccks=460949, wck=0.864, mem=71M506 6.28/3.23 decisions=95450, wrong=45025, backtracks=30803, failedAssignments=18563, nogoods=413, foundSolutions=7, bestBound=6 6.28/3.23 6.28/3.24 num=140, depth=28..43, filters=274229, revisions=(507791,useless=327459), ccks=470586, wck=0.874, mem=71M506 6.28/3.24 decisions=97357, wrong=45962, backtracks=31418, failedAssignments=18974, nogoods=418, foundSolutions=7, bestBound=6 6.28/3.24 6.28/3.25 num=141, depth=27..42, filters=281922, revisions=(521449,useless=335916), ccks=483901, wck=0.887, mem=71M506 6.28/3.25 decisions=99641, wrong=47086, backtracks=32198, failedAssignments=19426, nogoods=423, foundSolutions=7, bestBound=6 6.28/3.25 6.28/3.26 num=142, depth=27..43, filters=289707, revisions=(534673,useless=343982), ccks=497611, wck=0.9, mem=71M506 6.28/3.26 decisions=102157, wrong=48326, backtracks=33052, failedAssignments=19923, nogoods=427, foundSolutions=7, bestBound=6 6.28/3.26 6.28/3.28 num=143, depth=28..43, filters=298009, revisions=(547521,useless=351539), ccks=510988, wck=0.914, mem=71M506 6.28/3.28 decisions=104923, wrong=49694, backtracks=33996, failedAssignments=20470, nogoods=433, foundSolutions=7, bestBound=6 6.28/3.28 6.28/3.30 num=144, depth=27..43, filters=308485, revisions=(566685,useless=363543), ccks=529621, wck=0.932, mem=71M506 6.28/3.30 decisions=108051, wrong=51244, backtracks=35077, failedAssignments=21072, nogoods=437, foundSolutions=7, bestBound=6 6.28/3.30 6.38/3.31 num=145, depth=26..43, filters=319070, revisions=(586081,useless=375879), ccks=547722, wck=0.951, mem=71M506 6.38/3.31 decisions=111255, wrong=52828, backtracks=36152, failedAssignments=21734, nogoods=440, foundSolutions=7, bestBound=6 6.38/3.31 6.38/3.34 num=146, depth=25..43, filters=331785, revisions=(609771,useless=390960), ccks=569522, wck=0.973, mem=71M506 6.38/3.34 decisions=115071, wrong=54720, backtracks=37536, failedAssignments=22462, nogoods=446, foundSolutions=7, bestBound=6 6.38/3.34 6.38/3.36 num=147, depth=26..43, filters=345467, revisions=(635580,useless=407555), ccks=594038, wck=0.996, mem=74M149 6.38/3.36 decisions=119353, wrong=56843, backtracks=39074, failedAssignments=23263, nogoods=452, foundSolutions=7, bestBound=6 6.38/3.36 6.38/3.39 num=148, depth=25..43, filters=361759, revisions=(665401,useless=426517), ccks=622016, wck=1.024, mem=74M149 6.38/3.39 decisions=124368, wrong=59331, backtracks=40920, failedAssignments=24144, nogoods=454, foundSolutions=7, bestBound=6 6.38/3.39 6.48/3.42 num=149, depth=25..43, filters=379585, revisions=(700430,useless=449325), ccks=655226, wck=1.056, mem=74M149 6.48/3.42 decisions=129744, wrong=61998, backtracks=42850, failedAssignments=25114, nogoods=460, foundSolutions=7, bestBound=6 6.48/3.42 6.48/3.45 num=150, depth=24..43, filters=399362, revisions=(739493,useless=474852), ccks=690349, wck=1.09, mem=74M149 6.48/3.45 decisions=135581, wrong=64899, backtracks=44967, failedAssignments=26181, nogoods=463, foundSolutions=7, bestBound=6 6.48/3.45 6.48/3.49 num=151, depth=24..44, filters=419821, revisions=(780878,useless=502407), ccks=727242, wck=1.127, mem=74M149 6.48/3.49 decisions=141900, wrong=68044, backtracks=47276, failedAssignments=27354, nogoods=465, foundSolutions=7, bestBound=6 6.48/3.49 6.59/3.54 num=152, depth=23..44, filters=444667, revisions=(833723,useless=538150), ccks=772787, wck=1.172, mem=76M791 6.59/3.54 decisions=149185, wrong=71670, backtracks=50013, failedAssignments=28645, nogoods=468, foundSolutions=7, bestBound=6 6.59/3.54 6.59/3.58 num=153, depth=24..43, filters=470523, revisions=(887991,useless=574724), ccks=821236, wck=1.218, mem=76M791 6.59/3.58 decisions=156925, wrong=75525, backtracks=52828, failedAssignments=30065, nogoods=472, foundSolutions=7, bestBound=6 6.59/3.58 6.70/3.63 num=154, depth=24..43, filters=497683, revisions=(944999,useless=613188), ccks=872008, wck=1.267, mem=76M791 6.70/3.63 decisions=165109, wrong=79598, backtracks=55820, failedAssignments=31627, nogoods=477, foundSolutions=7, bestBound=6 6.70/3.63 6.70/3.69 num=155, depth=22..43, filters=529175, revisions=(1011814,useless=658229), ccks=931495, wck=1.322, mem=76M791 6.70/3.69 decisions=174443, wrong=84249, backtracks=59211, failedAssignments=33345, nogoods=482, foundSolutions=7, bestBound=6 6.70/3.69 6.80/3.75 num=156, depth=22..43, filters=565379, revisions=(1090646,useless=711686), ccks=1001255, wck=1.386, mem=79M434 6.80/3.75 decisions=184863, wrong=89443, backtracks=63070, failedAssignments=35235, nogoods=486, foundSolutions=7, bestBound=6 6.80/3.75 6.90/3.82 num=157, depth=22..43, filters=603746, revisions=(1173779,useless=768340), ccks=1072590, wck=1.454, mem=79M434 6.90/3.82 decisions=196269, wrong=95132, backtracks=67267, failedAssignments=37314, nogoods=493, foundSolutions=7, bestBound=6 6.90/3.82 6.90/3.89 num=158, depth=22..43, filters=647074, revisions=(1267905,useless=832468), ccks=1154517, wck=1.528, mem=82M76 6.90/3.89 decisions=208962, wrong=101463, backtracks=71924, failedAssignments=39601, nogoods=499, foundSolutions=7, bestBound=6 6.90/3.89 7.00/3.97 num=159, depth=20..43, filters=692826, revisions=(1378093,useless=910405), ccks=1244437, wck=1.608, mem=82M76 7.00/3.97 decisions=222294, wrong=108117, backtracks=76681, failedAssignments=42117, nogoods=502, foundSolutions=7, bestBound=6 7.00/3.97 7.11/4.04 o 7 7.11/4.04 num=160, depth=23..50, filters=733096, revisions=(1465629,useless=970308), ccks=1319980, wck=1.681, mem=82M76 7.11/4.04 decisions=233915, wrong=113912, backtracks=81002, failedAssignments=44261, nogoods=512, foundSolutions=8, bestBound=7 7.11/4.04 7.21/4.17 num=161, depth=16..42, filters=800317, revisions=(1673175,useless=1122396), ccks=1487036, wck=1.809, mem=84M719 7.21/4.17 decisions=252999, wrong=123443, backtracks=88456, failedAssignments=47305, nogoods=517, foundSolutions=8, bestBound=7 7.21/4.17 7.21/4.17 num=162, depth=37..41, filters=800437, revisions=(1673743,useless=1122890), ccks=1487523, wck=1.81, mem=84M719 7.21/4.17 decisions=253078, wrong=123464, backtracks=88466, failedAssignments=47316, nogoods=518, foundSolutions=8, bestBound=7 7.21/4.17 7.21/4.17 num=163, depth=31..41, filters=800690, revisions=(1674586,useless=1123579), ccks=1488061, wck=1.811, mem=84M719 7.21/4.17 decisions=253200, wrong=123509, backtracks=88501, failedAssignments=47328, nogoods=522, foundSolutions=8, bestBound=7 7.21/4.17 7.21/4.18 num=164, depth=31..40, filters=800996, revisions=(1675450,useless=1124246), ccks=1488597, wck=1.812, mem=84M719 7.21/4.18 decisions=253324, wrong=123555, backtracks=88536, failedAssignments=47341, nogoods=525, foundSolutions=8, bestBound=7 7.21/4.18 7.21/4.18 num=165, depth=29..41, filters=801357, revisions=(1676476,useless=1125026), ccks=1489328, wck=1.813, mem=84M719 7.21/4.18 decisions=253455, wrong=123600, backtracks=88570, failedAssignments=47355, nogoods=527, foundSolutions=8, bestBound=7 7.21/4.18 7.21/4.18 num=166, depth=31..37, filters=801608, revisions=(1677261,useless=1125640), ccks=1489784, wck=1.813, mem=84M719 7.21/4.18 decisions=253550, wrong=123632, backtracks=88589, failedAssignments=47371, nogoods=530, foundSolutions=8, bestBound=7 7.21/4.18 7.21/4.18 num=167, depth=29..41, filters=801900, revisions=(1678178,useless=1126350), ccks=1490369, wck=1.814, mem=84M719 7.21/4.18 decisions=253663, wrong=123670, backtracks=88613, failedAssignments=47388, nogoods=533, foundSolutions=8, bestBound=7 7.21/4.18 7.21/4.18 num=168, depth=29..41, filters=802225, revisions=(1679155,useless=1127112), ccks=1490945, wck=1.815, mem=84M719 7.21/4.18 decisions=253797, wrong=123718, backtracks=88647, failedAssignments=47407, nogoods=536, foundSolutions=8, bestBound=7 7.21/4.18 7.21/4.18 num=169, depth=29..41, filters=802610, revisions=(1680269,useless=1127962), ccks=1491653, wck=1.816, mem=84M719 7.21/4.18 decisions=253935, wrong=123771, backtracks=88682, failedAssignments=47428, nogoods=540, foundSolutions=8, bestBound=7 7.21/4.18 7.21/4.18 num=170, depth=27..41, filters=803223, revisions=(1681889,useless=1129126), ccks=1492781, wck=1.818, mem=84M719 7.21/4.18 decisions=254112, wrong=123840, backtracks=88734, failedAssignments=47451, nogoods=542, foundSolutions=8, bestBound=7 7.21/4.18 7.21/4.18 num=171, depth=28..41, filters=803614, revisions=(1683058,useless=1130042), ccks=1493615, wck=1.819, mem=84M719 7.21/4.18 decisions=254272, wrong=123903, backtracks=88776, failedAssignments=47476, nogoods=546, foundSolutions=8, bestBound=7 7.21/4.18 7.21/4.18 num=172, depth=27..42, filters=804226, revisions=(1684604,useless=1131147), ccks=1494805, wck=1.82, mem=84M719 7.21/4.18 decisions=254458, wrong=123978, backtracks=88830, failedAssignments=47504, nogoods=548, foundSolutions=8, bestBound=7 7.21/4.18 7.21/4.18 num=173, depth=29..41, filters=804662, revisions=(1685627,useless=1131872), ccks=1495656, wck=1.821, mem=84M719 7.21/4.18 decisions=254625, wrong=124043, backtracks=88867, failedAssignments=47535, nogoods=552, foundSolutions=8, bestBound=7 7.21/4.18 7.21/4.19 num=174, depth=30..41, filters=805179, revisions=(1686828,useless=1132721), ccks=1496754, wck=1.822, mem=84M719 7.21/4.19 decisions=254823, wrong=124127, backtracks=88919, failedAssignments=47569, nogoods=555, foundSolutions=8, bestBound=7 7.21/4.19 7.21/4.19 num=175, depth=28..41, filters=806021, revisions=(1688789,useless=1134096), ccks=1498375, wck=1.824, mem=84M719 7.21/4.19 decisions=255099, wrong=124250, backtracks=89012, failedAssignments=47606, nogoods=559, foundSolutions=8, bestBound=7 7.21/4.19 7.21/4.19 num=176, depth=29..41, filters=806516, revisions=(1689946,useless=1134937), ccks=1499336, wck=1.825, mem=84M719 7.21/4.19 decisions=255308, wrong=124336, backtracks=89061, failedAssignments=47647, nogoods=562, foundSolutions=8, bestBound=7 7.21/4.19 7.21/4.19 num=177, depth=28..41, filters=807415, revisions=(1691770,useless=1136139), ccks=1500880, wck=1.827, mem=84M719 7.21/4.19 decisions=255584, wrong=124459, backtracks=89149, failedAssignments=47692, nogoods=564, foundSolutions=8, bestBound=7 7.21/4.19 7.21/4.19 num=178, depth=27..40, filters=808330, revisions=(1693650,useless=1137371), ccks=1502573, wck=1.829, mem=84M719 7.21/4.19 decisions=255862, wrong=124579, backtracks=89227, failedAssignments=47742, nogoods=568, foundSolutions=8, bestBound=7 7.21/4.19 7.21/4.19 num=179, depth=29..40, filters=809216, revisions=(1695413,useless=1138567), ccks=1504207, wck=1.831, mem=87M361 7.21/4.19 decisions=256174, wrong=124720, backtracks=89330, failedAssignments=47797, nogoods=571, foundSolutions=8, bestBound=7 7.21/4.19 7.31/4.20 num=180, depth=29..41, filters=810349, revisions=(1697563,useless=1139950), ccks=1506040, wck=1.833, mem=87M361 7.31/4.20 decisions=256517, wrong=124876, backtracks=89444, failedAssignments=47858, nogoods=575, foundSolutions=8, bestBound=7 7.31/4.20 7.31/4.20 num=181, depth=29..41, filters=811167, revisions=(1699101,useless=1140962), ccks=1507513, wck=1.835, mem=87M361 7.31/4.20 decisions=256847, wrong=125023, backtracks=89534, failedAssignments=47925, nogoods=578, foundSolutions=8, bestBound=7 7.31/4.20 7.31/4.20 num=182, depth=29..39, filters=812658, revisions=(1701634,useless=1142466), ccks=1509801, wck=1.838, mem=87M361 7.31/4.20 decisions=257238, wrong=125204, backtracks=89671, failedAssignments=47999, nogoods=579, foundSolutions=8, bestBound=7 7.31/4.20 7.31/4.21 num=183, depth=27..41, filters=814252, revisions=(1704786,useless=1144513), ccks=1512671, wck=1.842, mem=87M361 7.31/4.21 decisions=257701, wrong=125416, backtracks=89825, failedAssignments=48080, nogoods=583, foundSolutions=8, bestBound=7 7.31/4.21 7.31/4.21 num=184, depth=28..41, filters=815858, revisions=(1707717,useless=1146321), ccks=1515241, wck=1.845, mem=87M361 7.31/4.21 decisions=258151, wrong=125622, backtracks=89963, failedAssignments=48169, nogoods=586, foundSolutions=8, bestBound=7 7.31/4.21 7.31/4.21 num=185, depth=28..41, filters=817627, revisions=(1710983,useless=1148385), ccks=1518301, wck=1.849, mem=87M361 7.31/4.21 decisions=258659, wrong=125861, backtracks=90124, failedAssignments=48267, nogoods=589, foundSolutions=8, bestBound=7 7.31/4.21 7.31/4.22 num=186, depth=29..41, filters=819472, revisions=(1713863,useless=1150046), ccks=1521210, wck=1.852, mem=87M361 7.31/4.22 decisions=259204, wrong=126119, backtracks=90291, failedAssignments=48375, nogoods=591, foundSolutions=8, bestBound=7 7.31/4.22 7.31/4.22 num=187, depth=27..41, filters=821950, revisions=(1718235,useless=1152683), ccks=1525579, wck=1.857, mem=87M361 7.31/4.22 decisions=259857, wrong=126431, backtracks=90511, failedAssignments=48494, nogoods=594, foundSolutions=8, bestBound=7 7.31/4.22 7.31/4.22 num=188, depth=29..41, filters=824299, revisions=(1721936,useless=1154815), ccks=1529459, wck=1.861, mem=87M361 7.31/4.22 decisions=260553, wrong=126762, backtracks=90738, failedAssignments=48625, nogoods=598, foundSolutions=8, bestBound=7 7.31/4.22 7.31/4.23 num=189, depth=28..41, filters=826742, revisions=(1726037,useless=1157238), ccks=1533670, wck=1.865, mem=87M361 7.31/4.23 decisions=261283, wrong=127107, backtracks=90969, failedAssignments=48769, nogoods=601, foundSolutions=8, bestBound=7 7.31/4.23 7.31/4.23 num=190, depth=27..41, filters=829807, revisions=(1731355,useless=1160474), ccks=1539213, wck=1.87, mem=87M361 7.31/4.23 decisions=262196, wrong=127547, backtracks=91274, failedAssignments=48927, nogoods=605, foundSolutions=8, bestBound=7 7.31/4.23 7.31/4.24 num=191, depth=28..41, filters=833166, revisions=(1736559,useless=1163350), ccks=1544920, wck=1.876, mem=87M361 7.31/4.24 decisions=263132, wrong=128000, backtracks=91588, failedAssignments=49101, nogoods=610, foundSolutions=8, bestBound=7 7.31/4.24 7.31/4.25 num=192, depth=26..41, filters=836776, revisions=(1742863,useless=1167153), ccks=1551441, wck=1.882, mem=87M361 7.31/4.25 decisions=264186, wrong=128510, backtracks=91943, failedAssignments=49292, nogoods=614, foundSolutions=8, bestBound=7 7.31/4.25 7.31/4.25 num=193, depth=27..41, filters=840469, revisions=(1748756,useless=1170607), ccks=1557752, wck=1.889, mem=87M361 7.31/4.25 decisions=265342, wrong=129069, backtracks=92339, failedAssignments=49503, nogoods=617, foundSolutions=8, bestBound=7 7.31/4.25 7.31/4.26 num=194, depth=27..41, filters=844593, revisions=(1755973,useless=1175046), ccks=1565091, wck=1.897, mem=87M361 7.31/4.26 decisions=266583, wrong=129675, backtracks=92765, failedAssignments=49735, nogoods=621, foundSolutions=8, bestBound=7 7.31/4.26 7.31/4.27 num=195, depth=28..41, filters=848815, revisions=(1762391,useless=1178716), ccks=1571884, wck=1.905, mem=87M361 7.31/4.27 decisions=267916, wrong=130327, backtracks=93226, failedAssignments=49990, nogoods=625, foundSolutions=8, bestBound=7 7.31/4.27 7.31/4.28 num=196, depth=27..41, filters=853246, revisions=(1769436,useless=1182803), ccks=1579533, wck=1.913, mem=87M361 7.31/4.28 decisions=269304, wrong=131001, backtracks=93672, failedAssignments=50271, nogoods=628, foundSolutions=8, bestBound=7 7.31/4.28 7.31/4.29 num=197, depth=26..41, filters=858456, revisions=(1778426,useless=1188309), ccks=1588711, wck=1.922, mem=87M361 7.31/4.29 decisions=270898, wrong=131784, backtracks=94221, failedAssignments=50580, nogoods=631, foundSolutions=8, bestBound=7 7.31/4.29 7.42/4.30 num=198, depth=25..41, filters=864815, revisions=(1789868,useless=1195280), ccks=1600603, wck=1.933, mem=87M361 7.42/4.30 decisions=272783, wrong=132712, backtracks=94879, failedAssignments=50920, nogoods=635, foundSolutions=8, bestBound=7 7.42/4.30 7.42/4.31 num=199, depth=24..41, filters=872663, revisions=(1805167,useless=1205120), ccks=1615819, wck=1.947, mem=87M361 7.42/4.31 decisions=275125, wrong=133870, backtracks=95745, failedAssignments=51294, nogoods=641, foundSolutions=8, bestBound=7 7.42/4.31 7.42/4.33 num=200, depth=24..41, filters=881087, revisions=(1821393,useless=1215434), ccks=1631729, wck=1.962, mem=87M361 7.42/4.33 decisions=277470, wrong=135028, backtracks=96575, failedAssignments=51705, nogoods=646, foundSolutions=8, bestBound=7 7.42/4.33 7.42/4.34 num=201, depth=23..42, filters=890329, revisions=(1838734,useless=1226210), ccks=1649129, wck=1.978, mem=90M4 7.42/4.34 decisions=280014, wrong=136283, backtracks=97475, failedAssignments=52157, nogoods=648, foundSolutions=8, bestBound=7 7.42/4.34 7.42/4.36 num=202, depth=24..41, filters=899245, revisions=(1855821,useless=1237122), ccks=1665995, wck=1.994, mem=90M4 7.42/4.36 decisions=282698, wrong=137606, backtracks=98413, failedAssignments=52654, nogoods=652, foundSolutions=8, bestBound=7 7.42/4.36 7.42/4.38 num=203, depth=24..41, filters=910161, revisions=(1876904,useless=1250590), ccks=1685939, wck=2.013, mem=90M4 7.42/4.38 decisions=285743, wrong=139114, backtracks=99515, failedAssignments=53201, nogoods=656, foundSolutions=8, bestBound=7 7.42/4.38 7.53/4.40 num=204, depth=22..41, filters=922772, revisions=(1903513,useless=1268202), ccks=1710439, wck=2.037, mem=90M4 7.53/4.40 decisions=289159, wrong=140809, backtracks=100756, failedAssignments=53803, nogoods=662, foundSolutions=8, bestBound=7 7.53/4.40 7.53/4.42 num=205, depth=23..41, filters=935028, revisions=(1927039,useless=1283204), ccks=1733714, wck=2.059, mem=90M4 7.53/4.42 decisions=292764, wrong=142596, backtracks=102041, failedAssignments=54465, nogoods=665, foundSolutions=8, bestBound=7 7.53/4.42 7.53/4.45 num=206, depth=22..42, filters=948910, revisions=(1955139,useless=1301815), ccks=1759536, wck=2.085, mem=90M4 7.53/4.45 decisions=296905, wrong=144648, backtracks=103583, failedAssignments=55193, nogoods=670, foundSolutions=8, bestBound=7 7.53/4.45 7.53/4.48 num=207, depth=23..42, filters=964003, revisions=(1983877,useless=1320049), ccks=1786826, wck=2.111, mem=90M4 7.53/4.48 decisions=301146, wrong=146752, backtracks=105091, failedAssignments=55994, nogoods=675, foundSolutions=8, bestBound=7 7.53/4.48 7.63/4.51 num=208, depth=22..42, filters=982015, revisions=(2022164,useless=1345549), ccks=1821774, wck=2.145, mem=90M4 7.63/4.51 decisions=306136, wrong=149234, backtracks=106929, failedAssignments=56875, nogoods=678, foundSolutions=8, bestBound=7 7.63/4.51 7.63/4.55 num=209, depth=20..41, filters=1002999, revisions=(2072536,useless=1381023), ccks=1864310, wck=2.186, mem=92M646 7.63/4.55 decisions=312007, wrong=152158, backtracks=109140, failedAssignments=57845, nogoods=683, foundSolutions=8, bestBound=7 7.63/4.55 7.63/4.59 num=210, depth=20..42, filters=1027141, revisions=(2129056,useless=1420043), ccks=1911982, wck=2.23, mem=92M646 7.63/4.59 decisions=318292, wrong=155281, backtracks=111503, failedAssignments=58912, nogoods=687, foundSolutions=8, bestBound=7 7.63/4.59 7.74/4.64 num=211, depth=20..42, filters=1053289, revisions=(2191236,useless=1463553), ccks=1962936, wck=2.281, mem=92M646 7.74/4.64 decisions=325251, wrong=158748, backtracks=114174, failedAssignments=60085, nogoods=692, foundSolutions=8, bestBound=7 7.74/4.64 7.84/4.70 num=212, depth=20..42, filters=1080928, revisions=(2255010,useless=1507705), ccks=2017158, wck=2.333, mem=95M288 7.84/4.70 decisions=332872, wrong=162542, backtracks=117029, failedAssignments=61376, nogoods=697, foundSolutions=8, bestBound=7 7.84/4.70 7.84/4.77 num=213, depth=18..42, filters=1118154, revisions=(2350608,useless=1576070), ccks=2095783, wck=2.404, mem=95M288 7.84/4.77 decisions=342619, wrong=167403, backtracks=120904, failedAssignments=62796, nogoods=703, foundSolutions=8, bestBound=7 7.84/4.77 7.95/4.83 num=214, depth=18..42, filters=1153260, revisions=(2435255,useless=1635376), ccks=2166019, wck=2.469, mem=95M288 7.95/4.83 decisions=351887, wrong=172019, backtracks=124384, failedAssignments=64358, nogoods=709, foundSolutions=8, bestBound=7 7.95/4.83 8.05/4.91 num=215, depth=18..42, filters=1194675, revisions=(2534357,useless=1704476), ccks=2250212, wck=2.546, mem=97M931 8.05/4.91 decisions=362764, wrong=177444, backtracks=128638, failedAssignments=66076, nogoods=714, foundSolutions=8, bestBound=7 8.05/4.91 8.05/5.00 num=216, depth=17..42, filters=1240473, revisions=(2654163,useless=1791161), ccks=2347471, wck=2.632, mem=97M931 8.05/5.00 decisions=375082, wrong=183593, backtracks=133474, failedAssignments=67966, nogoods=720, foundSolutions=8, bestBound=7 8.05/5.00 8.16/5.11 num=217, depth=17..42, filters=1297197, revisions=(2807539,useless=1903157), ccks=2466434, wck=2.741, mem=100M573 8.16/5.11 decisions=389492, wrong=190788, backtracks=139293, failedAssignments=70045, nogoods=726, foundSolutions=8, bestBound=7 8.16/5.11 8.35/5.21 num=218, depth=16..42, filters=1347891, revisions=(2957671,useless=2011092), ccks=2590287, wck=2.847, mem=100M573 8.35/5.21 decisions=403143, wrong=197595, backtracks=144645, failedAssignments=72332, nogoods=731, foundSolutions=8, bestBound=7 8.35/5.21 8.45/5.32 num=219, depth=17..42, filters=1409488, revisions=(3109482,useless=2118254), ccks=2716595, wck=2.96, mem=103M216 8.45/5.32 decisions=419220, wrong=205614, backtracks=150910, failedAssignments=74848, nogoods=734, foundSolutions=8, bestBound=7 8.45/5.32 8.55/5.45 num=220, depth=15..42, filters=1475036, revisions=(3279738,useless=2241005), ccks=2851807, wck=3.084, mem=105M858 8.55/5.45 decisions=436439, wrong=214205, backtracks=157588, failedAssignments=77616, nogoods=738, foundSolutions=8, bestBound=7 8.55/5.45 8.65/5.59 num=221, depth=15..43, filters=1548240, revisions=(3485295,useless=2393659), ccks=3003866, wck=3.224, mem=105M858 8.65/5.59 decisions=455399, wrong=223666, backtracks=165032, failedAssignments=80660, nogoods=742, foundSolutions=8, bestBound=7 8.65/5.59 8.85/5.75 num=222, depth=15..42, filters=1634231, revisions=(3731694,useless=2577173), ccks=3188254, wck=3.391, mem=108M501 8.85/5.75 decisions=477438, wrong=234676, backtracks=173763, failedAssignments=84009, nogoods=747, foundSolutions=8, bestBound=7 8.85/5.75 9.05/5.95 num=223, depth=13..42, filters=1735484, revisions=(4038448,useless=2809221), ccks=3405737, wck=3.588, mem=111M143 9.05/5.95 decisions=502541, wrong=247208, backtracks=183932, failedAssignments=87693, nogoods=751, foundSolutions=8, bestBound=7 9.05/5.95 9.26/6.17 num=224, depth=13..42, filters=1845472, revisions=(4369422,useless=3060281), ccks=3642055, wck=3.804, mem=113M785 9.26/6.17 decisions=530832, wrong=261340, backtracks=195539, failedAssignments=91745, nogoods=754, foundSolutions=8, bestBound=7 9.26/6.17 9.55/6.42 num=225, depth=12..42, filters=1975485, revisions=(4778363,useless=3372310), ccks=3923998, wck=4.06, mem=119M70 9.55/6.42 decisions=561573, wrong=276700, backtracks=208142, failedAssignments=96202, nogoods=761, foundSolutions=8, bestBound=7 9.55/6.42 9.75/6.69 num=226, depth=13..42, filters=2113033, revisions=(5187983,useless=3680696), ccks=4219190, wck=4.329, mem=121M713 9.75/6.69 decisions=595786, wrong=293797, backtracks=222098, failedAssignments=101105, nogoods=765, foundSolutions=8, bestBound=7 9.75/6.69 10.16/7.04 num=227, depth=10..42, filters=2283675, revisions=(5772076,useless=4136497), ccks=4606688, wck=4.674, mem=126M998 10.16/7.04 decisions=636231, wrong=314014, backtracks=239047, failedAssignments=106499, nogoods=771, foundSolutions=8, bestBound=7 10.16/7.04 10.55/7.42 num=228, depth=11..43, filters=2473960, revisions=(6390592,useless=4612298), ccks=5038069, wck=5.054, mem=132M283 10.55/7.42 decisions=681705, wrong=336732, backtracks=258226, failedAssignments=112432, nogoods=776, foundSolutions=8, bestBound=7 10.55/7.42 10.95/7.81 num=229, depth=10..43, filters=2664270, revisions=(7029067,useless=5109958), ccks=5463765, wck=5.445, mem=137M567 10.95/7.81 decisions=728163, wrong=359948, backtracks=277531, failedAssignments=118958, nogoods=780, foundSolutions=8, bestBound=7 10.95/7.81 11.36/8.23 num=230, depth=10..42, filters=2871517, revisions=(7705403,useless=5632887), ccks=5917704, wck=5.861, mem=142M778 11.36/8.23 decisions=777929, wrong=384823, backtracks=298044, failedAssignments=126137, nogoods=784, foundSolutions=8, bestBound=7 11.36/8.23 11.89/8.72 num=231, depth=9..44, filters=3124453, revisions=(8613474,useless=6350883), ccks=6494985, wck=6.358, mem=28M236 11.89/8.72 decisions=837556, wrong=414626, backtracks=323296, failedAssignments=134034, nogoods=788, foundSolutions=8, bestBound=7 11.89/8.72 12.39/9.27 num=232, depth=7..42, filters=3411815, revisions=(9652742,useless=7172854), ccks=7168487, wck=6.903, mem=36M5 12.39/9.27 decisions=904723, wrong=448195, backtracks=351925, failedAssignments=142721, nogoods=792, foundSolutions=8, bestBound=7 12.39/9.27 13.09/9.95 num=233, depth=5..42, filters=3761028, revisions=(11042384,useless=8293671), ccks=8006931, wck=7.589, mem=43M774 13.09/9.95 decisions=982068, wrong=486853, backtracks=385530, failedAssignments=152276, nogoods=797, foundSolutions=8, bestBound=7 13.09/9.95 13.79/10.69 num=234, depth=4..42, filters=4133773, revisions=(12546702,useless=9511419), ccks=8910728, wck=8.323, mem=54M132 13.79/10.69 decisions=1066179, wrong=528894, backtracks=421986, failedAssignments=162787, nogoods=804, foundSolutions=8, bestBound=7 13.79/10.69 14.59/11.47 num=235, depth=5..42, filters=4540782, revisions=(14083478,useless=10738855), ccks=9890530, wck=9.109, mem=67M80 14.59/11.47 decisions=1160635, wrong=576107, backtracks=463070, failedAssignments=174349, nogoods=809, foundSolutions=8, bestBound=7 14.59/11.47 15.59/12.46 num=236, depth=2..42, filters=5029762, revisions=(16214564,useless=12492377), ccks=11153727, wck=10.092, mem=80M28 15.59/12.46 decisions=1270939, wrong=631249, backtracks=511961, failedAssignments=187067, nogoods=814, foundSolutions=8, bestBound=7 15.59/12.46 16.79/13.61 num=237, depth=0..42, filters=5582656, revisions=(18752522,useless=14595859), ccks=12657373, wck=11.242, mem=95M565 16.79/13.61 decisions=1391639, wrong=691590, backtracks=565085, failedAssignments=201057, nogoods=821, foundSolutions=8, bestBound=7 16.79/13.61 16.89/13.72 16.89/13.72 New Bounds: 8..7 16.89/13.72 num=238, depth=0..40, filters=5638490, revisions=(19062572,useless=14861283), ccks=12818117, wck=11.361, mem=98M155 16.89/13.72 decisions=1403375, wrong=697459, backtracks=570459, failedAssignments=202271, foundSolutions=8, bestBound=7 16.89/13.72 16.89/13.72 Global 16.89/13.72 filters=5638490, revisions=(19062572,useless=14861283), ccks=12818117 16.89/13.72 Stop=FULL_EXPLORATION, wrong=697459, bestBound=7, bestBoundWck=2.198, bestBoundCpu=3.997, foundSolutions=8, firstSolCpu=2.337 16.89/13.72 wck=11.879, cpu=13.663, mem=98M155 16.89/13.73 16.89/13.73 v <instantiation id='sol8' type='solution' cost='7'> <list> x[][] nb nw </list> <values> 0 0 0 0 2 2 2 0 0 0 0 2 2 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 2 2 0 1 1 1 0 0 0 7 7 </values> </instantiation> 16.89/13.73 s OPTIMUM FOUND 16.89/13.73 16.89/13.73 d WRONG_DECISIONS 697459 16.89/13.73 d NUMBER_SOLUTIONS 8
OK 7
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 (14421 MiB free) memory of node 1: 16384 MiB (14927 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390908-1568387364/watcher-4390908-1568387364 -o /tmp/evaluation-result-4390908-1568387364/solver-4390908-1568387364 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1568380474-13011 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4390908-1568387364.xml -cm running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=14533, runsolver pid=14530 [startup+0.10258 s]* /proc/loadavg: 2.00 2.00 1.98 3/233 14549 /proc/meminfo: memFree=30037580/32770624 swapFree=66916504/67108860 [pid=14533] ppid=14530 vsize=10659884 memory=28968 CPUtime=0.15 cores=0,2,4,6 /proc/14533/stat : 14533 (java) S 14530 14533 12980 0 -1 1077944320 5289 0 0 0 14 1 0 0 20 0 15 0 414986942 10915721216 7242 33554432000 4194304 4196468 140722090371984 140722090354528 139622284910327 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7458816 140722090378251 140722090378354 140722090378354 140722090381263 0 /proc/14533/statm: 2664971 7242 2894 1 0 2627468 0 [pid=14533/tid=14535] ppid=14530 vsize=10659884 memory=-8197568871503138682 CPUtime=0.09 cores=0,2,4,6 /proc/14533/task/14535/stat : 14535 (java) R 14530 14533 12980 0 -1 4202560 2983 0 0 0 9 0 0 0 20 0 15 0 414986943 10915721216 7374 33554432000 4194304 4196468 140722090371984 139622289138576 139622284932253 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7458816 140722090378251 140722090378354 140722090378354 140722090381263 0 [pid=14533/tid=14536] ppid=14530 vsize=10659884 memory=-7522837583129502606 CPUtime=0 cores=0,2,4,6 /proc/14533/task/14536/stat : 14536 (java) S 14530 14533 12980 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414986944 10915721216 7374 33554432000 4194304 4196468 140722090371984 139622210984464 139622284920533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7458816 140722090378251 140722090378354 140722090378354 140722090381263 0 [pid=14533/tid=14537] ppid=14530 vsize=10659884 memory=140085354903168 CPUtime=0 cores=0,2,4,6 /proc/14533/task/14537/stat : 14537 (java) S 14530 14533 12980 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414986944 10915721216 7374 33554432000 4194304 4196468 140722090371984 139622209931920 139622284920533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7458816 140722090378251 140722090378354 140722090378354 140722090381263 0 [pid=14533/tid=14538] ppid=14530 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6 /proc/14533/task/14538/stat : 14538 (java) S 14530 14533 12980 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414986944 10915721216 7374 33554432000 4194304 4196468 140722090371984 139622208878864 139622284920533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7458816 140722090378251 140722090378354 140722090378354 140722090381263 0 [pid=14533/tid=14539] ppid=14530 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/14533/task/14539/stat : 14539 (java) S 14530 14533 12980 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414986944 10915721216 7374 33554432000 4194304 4196468 140722090371984 139622207826320 139622284920533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7458816 140722090378251 140722090378354 140722090378354 140722090381263 0 [pid=14533/tid=14540] ppid=14530 vsize=10659884 memory=140085354903168 CPUtime=0 cores=0,2,4,6 /proc/14533/task/14540/stat : 14540 (java) S 14530 14533 12980 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414986945 10915721216 7374 33554432000 4194304 4196468 140722090371984 139621776829168 139622284921474 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7458816 140722090378251 140722090378354 140722090378354 140722090381263 0 [pid=14533/tid=14541] ppid=14530 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/14533/task/14541/stat : 14541 (java) S 14530 14533 12980 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414986945 10915721216 7374 33554432000 4194304 4196468 140722090371984 139621775775392 139622284920533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7458816 140722090378251 140722090378354 140722090378354 140722090381263 0 [pid=14533/tid=14542] ppid=14530 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6 /proc/14533/task/14542/stat : 14542 (java) S 14530 14533 12980 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414986946 10915721216 7374 33554432000 4194304 4196468 140722090371984 139621774722288 139622284920533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7458816 140722090378251 140722090378354 140722090378354 140722090381263 0 [pid=14533/tid=14543] ppid=14530 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6 /proc/14533/task/14543/stat : 14543 (java) S 14530 14533 12980 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414986948 10915721216 7374 33554432000 4194304 4196468 140722090371984 139621773670864 139622284928923 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7458816 140722090378251 140722090378354 140722090378354 140722090381263 0 [pid=14533/tid=14544] ppid=14530 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6 /proc/14533/task/14544/stat : 14544 (java) S 14530 14533 12980 0 -1 1077944384 457 0 0 0 0 0 0 0 20 0 15 0 414986948 10915721216 7374 33554432000 4194304 4196468 140722090371984 139621772617968 139622284921474 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7458816 140722090378251 140722090378354 140722090378354 140722090381263 0 [pid=14533/tid=14545] ppid=14530 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/14533/task/14545/stat : 14545 (java) R 14530 14533 12980 0 -1 4202560 146 0 0 0 0 0 0 0 20 0 15 0 414986948 10915721216 7374 33554432000 4194304 4196468 140722090371984 139621771555464 139622277147454 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7458816 140722090378251 140722090378354 140722090378354 140722090381263 0 [pid=14533/tid=14546] ppid=14530 vsize=10659884 memory=140085354903168 CPUtime=0.03 cores=0,2,4,6 /proc/14533/task/14546/stat : 14546 (java) R 14530 14533 12980 0 -1 4202560 400 0 0 0 3 0 0 0 20 0 15 0 414986948 10915721216 7374 33554432000 4194304 4196468 140722090371984 139621770511552 139622264301084 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7458816 140722090378251 140722090378354 140722090378354 140722090381263 0 [pid=14533/tid=14547] ppid=14530 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/14533/task/14547/stat : 14547 (java) S 14530 14533 12980 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414986948 10915721216 7374 33554432000 4194304 4196468 140722090371984 139621769460064 139622284920533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7458816 140722090378251 140722090378354 140722090378354 140722090381263 0 [pid=14533/tid=14549] ppid=14530 vsize=10659884 memory=140085354903168 CPUtime=0 cores=0,2,4,6 /proc/14533/task/14549/stat : 14549 (java) S 14530 14533 12980 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414986948 10915721216 7374 33554432000 4194304 4196468 140722090371984 139621768408112 139622284921474 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7458816 140722090378251 140722090378354 140722090378354 140722090381263 0 Current children cumulated CPU time: 0.15 s Current children cumulated vsize: 10659884 KiB Current children cumulated memory: 28968 KiB [startup+0.210984 s]* /proc/loadavg: 2.00 2.00 1.98 3/233 14549 /proc/meminfo: memFree=30030964/32770624 swapFree=66916504/67108860 [pid=14533] ppid=14530 vsize=10659884 memory=35388 CPUtime=0.32 cores=0,2,4,6 /proc/14533/stat : 14533 (java) S 14530 14533 12980 0 -1 1077944320 6494 0 0 0 31 1 0 0 20 0 15 0 414986942 10915721216 8847 33554432000 4194304 4196468 140722090371984 140722090354528 139622284910327 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7458816 140722090378251 140722090378354 140722090378354 140722090381263 0 /proc/14533/statm: 2664971 8847 2989 1 0 2627468 0 [pid=14533/tid=14535] ppid=14530 vsize=10659884 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6 /proc/14533/task/14535/stat : 14535 (java) R 14530 14533 12980 0 -1 4202560 3464 0 0 0 19 1 0 0 20 0 15 0 414986943 10915721216 8847 33554432000 4194304 4196468 140722090371984 139622289136688 139622284932253 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7458816 140722090378251 140722090378354 140722090378354 140722090381263 0 [pid=14533/tid=14536] ppid=14530 vsize=10659884 memory=364 CPUtime=0 cores=0,2,4,6 /proc/14533/task/14536/stat : 14536 (java) S 14530 14533 12980 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414986944 10915721216 8847 33554432000 4194304 4196468 140722090371984 139622210984464 139622284920533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7458816 140722090378251 140722090378354 140722090378354 140722090381263 0 [pid=14533/tid=14537] ppid=14530 vsize=10659884 memory=140085358037675 CPUtime=0 cores=0,2,4,6 /proc/14533/task/14537/stat : 14537 (java) S 14530 14533 12980 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414986944 10915721216 8847 33554432000 4194304 4196468 140722090371984 139622209931920 139622284920533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7458816 140722090378251 140722090378354 140722090378354 140722090381263 0 [pid=14533/tid=14538] ppid=14530 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6 /proc/14533/task/14538/stat : 14538 (java) S 14530 14533 12980 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414986944 10915721216 8847 33554432000 4194304 4196468 140722090371984 139622208878864 139622284920533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7458816 140722090378251 140722090378354 140722090378354 140722090381263 0 [pid=14533/tid=14539] ppid=14530 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/14533/task/14539/stat : 14539 (java) S 14530 14533 12980 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414986944 10915721216 8847 33554432000 4194304 4196468 140722090371984 139622207826320 139622284920533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7458816 140722090378251 140722090378354 140722090378354 140722090381263 0 [pid=14533/tid=14540] ppid=14530 vsize=10659884 memory=140085354903168 CPUtime=0 cores=0,2,4,6 /proc/14533/task/14540/stat : 14540 (java) S 14530 14533 12980 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414986945 10915721216 8847 33554432000 4194304 4196468 140722090371984 139621776829168 139622284921474 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7458816 140722090378251 140722090378354 140722090378354 140722090381263 0 [pid=14533/tid=14541] ppid=14530 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/14533/task/14541/stat : 14541 (java) S 14530 14533 12980 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414986945 10915721216 8847 33554432000 4194304 4196468 140722090371984 139621775775392 139622284920533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7458816 140722090378251 140722090378354 140722090378354 140722090381263 0 [pid=14533/tid=14542] ppid=14530 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6 /proc/14533/task/14542/stat : 14542 (java) S 14530 14533 12980 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414986946 10915721216 8847 33554432000 4194304 4196468 140722090371984 139621774722288 139622284920533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7458816 140722090378251 140722090378354 140722090378354 140722090381263 0 [pid=14533/tid=14543] ppid=14530 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6 /proc/14533/task/14543/stat : 14543 (java) S 14530 14533 12980 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414986948 10915721216 8847 33554432000 4194304 4196468 140722090371984 139621773670864 139622284928923 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7458816 140722090378251 140722090378354 140722090378354 140722090381263 0 [pid=14533/tid=14544] ppid=14530 vsize=10659884 memory=0 CPUtime=0.02 cores=0,2,4,6 /proc/14533/task/14544/stat : 14544 (java) S 14530 14533 12980 0 -1 1077944384 531 0 0 0 2 0 0 0 20 0 15 0 414986948 10915721216 8847 33554432000 4194304 4196468 140722090371984 139621772617968 139622284921474 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7458816 140722090378251 140722090378354 140722090378354 140722090381263 0 [pid=14533/tid=14545] ppid=14530 vsize=10659884 memory=-1 CPUtime=0.03 cores=0,2,4,6 /proc/14533/task/14545/stat : 14545 (java) S 14530 14533 12980 0 -1 1077944384 466 0 0 0 3 0 0 0 20 0 15 0 414986948 10915721216 8847 33554432000 4194304 4196468 140722090371984 139621771565424 139622284921474 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7458816 140722090378251 140722090378354 140722090378354 140722090381263 0 [pid=14533/tid=14546] ppid=14530 vsize=10659884 memory=140085354903168 CPUtime=0.05 cores=0,2,4,6 /proc/14533/task/14546/stat : 14546 (java) S 14530 14533 12980 0 -1 1077944384 675 0 0 0 5 0 0 0 20 0 15 0 414986948 10915721216 8847 33554432000 4194304 4196468 140722090371984 139621770512368 139622284921474 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7458816 140722090378251 140722090378354 140722090378354 140722090381263 0 [pid=14533/tid=14547] ppid=14530 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/14533/task/14547/stat : 14547 (java) S 14530 14533 12980 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414986948 10915721216 8847 33554432000 4194304 4196468 140722090371984 139621769460064 139622284920533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7458816 140722090378251 140722090378354 140722090378354 140722090381263 0 [pid=14533/tid=14549] ppid=14530 vsize=10659884 memory=140085354903168 CPUtime=0 cores=0,2,4,6 /proc/14533/task/14549/stat : 14549 (java) S 14530 14533 12980 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414986948 10915721216 8847 33554432000 4194304 4196468 140722090371984 139621768408112 139622284921474 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7458816 140722090378251 140722090378354 140722090378354 140722090381263 0 Current children cumulated CPU time: 0.32 s Current children cumulated vsize: 10659884 KiB Current children cumulated memory: 35388 KiB [startup+0.310361 s]* /proc/loadavg: 2.00 2.00 1.98 3/233 14549 /proc/meminfo: memFree=30023496/32770624 swapFree=66916504/67108860 [pid=14533] ppid=14530 vsize=10659884 memory=40296 CPUtime=0.48 cores=0,2,4,6 /proc/14533/stat : 14533 (java) S 14530 14533 12980 0 -1 1077944320 9072 0 0 0 45 3 0 0 20 0 15 0 414986942 10915721216 10074 33554432000 4194304 4196468 140722090371984 140722090354528 139622284910327 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7458816 140722090378251 140722090378354 140722090378354 140722090381263 0 /proc/14533/statm: 2664971 10074 3001 1 0 2627468 0 [pid=14533/tid=14535] ppid=14530 vsize=10659884 memory=7022364594140610616 CPUtime=0.3 cores=0,2,4,6 /proc/14533/task/14535/stat : 14535 (java) R 14530 14533 12980 0 -1 4202560 5982 0 0 0 28 2 0 0 20 0 15 0 414986943 10915721216 10074 33554432000 4194304 4196468 140722090371984 139622289142128 139622284932253 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7458816 140722090378251 140722090378354 140722090378354 140722090381263 0 [pid=14533/tid=14536] ppid=14530 vsize=10659884 memory=4294980864 CPUtime=0 cores=0,2,4,6 /proc/14533/task/14536/stat : 14536 (java) S 14530 14533 12980 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414986944 10915721216 10074 33554432000 4194304 4196468 140722090371984 139622210984464 139622284920533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7458816 140722090378251 140722090378354 140722090378354 140722090381263 0 [pid=14533/tid=14537] ppid=14530 vsize=10659884 memory=140085358037674 CPUtime=0 cores=0,2,4,6 /proc/14533/task/14537/stat : 14537 (java) S 14530 14533 12980 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414986944 10915721216 10074 33554432000 4194304 4196468 140722090371984 139622209931920 139622284920533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7458816 140722090378251 140722090378354 140722090378354 140722090381263 0 [pid=14533/tid=14538] ppid=14530 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6 /proc/14533/task/14538/stat : 14538 (java) S 14530 14533 12980 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414986944 10915721216 10074 33554432000 4194304 4196468 140722090371984 139622208878864 139622284920533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7458816 140722090378251 140722090378354 140722090378354 140722090381263 0 [pid=14533/tid=14539] ppid=14530 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/14533/task/14539/stat : 14539 (java) S 14530 14533 12980 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414986944 10915721216 10074 33554432000 4194304 4196468 140722090371984 139622207826320 139622284920533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7458816 140722090378251 140722090378354 140722090378354 140722090381263 0 [pid=14533/tid=14540] ppid=14530 vsize=10659884 memory=140085354903168 CPUtime=0 cores=0,2,4,6 /proc/14533/task/14540/stat : 14540 (java) S 14530 14533 12980 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414986945 10915721216 10074 33554432000 4194304 4196468 140722090371984 139621776829168 139622284921474 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7458816 140722090378251 140722090378354 140722090378354 140722090381263 0 [pid=14533/tid=14541] ppid=14530 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/14533/task/14541/stat : 14541 (java) S 14530 14533 12980 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414986945 10915721216 10074 33554432000 4194304 4196468 140722090371984 139621775775392 139622284920533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7458816 140722090378251 140722090378354 140722090378354 140722090381263 0 [pid=14533/tid=14542] ppid=14530 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6 /proc/14533/task/14542/stat : 14542 (java) S 14530 14533 12980 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414986946 10915721216 10074 33554432000 4194304 4196468 140722090371984 139621774722288 139622284920533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7458816 140722090378251 140722090378354 140722090378354 140722090381263 0 [pid=14533/tid=14543] ppid=14530 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6 /proc/14533/task/14543/stat : 14543 (java) S 14530 14533 12980 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414986948 10915721216 10074 33554432000 4194304 4196468 140722090371984 139621773670864 139622284928923 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7458816 140722090378251 140722090378354 140722090378354 140722090381263 0 [pid=14533/tid=14544] ppid=14530 vsize=10659884 memory=0 CPUtime=0.03 cores=0,2,4,6 /proc/14533/task/14544/stat : 14544 (java) R 14530 14533 12980 0 -1 4202560 539 0 0 0 3 0 0 0 20 0 15 0 414986948 10915721216 10074 33554432000 4194304 4196468 140722090371984 139621772609472 139622270950853 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7458816 140722090378251 140722090378354 140722090378354 140722090381263 0 [pid=14533/tid=14545] ppid=14530 vsize=10659884 memory=-1 CPUtime=0.04 cores=0,2,4,6 /proc/14533/task/14545/stat : 14545 (java) S 14530 14533 12980 0 -1 1077944384 501 0 0 0 4 0 0 0 20 0 15 0 414986948 10915721216 10074 33554432000 4194304 4196468 140722090371984 139621771565424 139622284921474 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7458816 140722090378251 140722090378354 140722090378354 140722090381263 0 [pid=14533/tid=14546] ppid=14530 vsize=10659884 memory=140085354903168 CPUtime=0.08 cores=0,2,4,6 /proc/14533/task/14546/stat : 14546 (java) S 14530 14533 12980 0 -1 1077944384 694 0 0 0 8 0 0 0 20 0 15 0 414986948 10915721216 10074 33554432000 4194304 4196468 140722090371984 139621770512368 139622284921474 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7458816 140722090378251 140722090378354 140722090378354 140722090381263 0 [pid=14533/tid=14547] ppid=14530 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/14533/task/14547/stat : 14547 (java) S 14530 14533 12980 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414986948 10915721216 10074 33554432000 4194304 4196468 140722090371984 139621769460064 139622284920533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7458816 140722090378251 140722090378354 140722090378354 140722090381263 0 [pid=14533/tid=14549] ppid=14530 vsize=10659884 memory=140085354903168 CPUtime=0 cores=0,2,4,6 /proc/14533/task/14549/stat : 14549 (java) S 14530 14533 12980 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414986948 10915721216 10074 33554432000 4194304 4196468 140722090371984 139621768408112 139622284921474 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7458816 140722090378251 140722090378354 140722090378354 140722090381263 0 Current children cumulated CPU time: 0.48 s Current children cumulated vsize: 10659884 KiB Current children cumulated memory: 40296 KiB [startup+0.701426 s] /proc/loadavg: 2.00 2.00 1.98 3/233 14550 /proc/meminfo: memFree=30014220/32770624 swapFree=66916504/67108860 [pid=14533] ppid=14530 vsize=10661932 memory=64072 CPUtime=1.11 cores=0,2,4,6 /proc/14533/stat : 14533 (java) S 14530 14533 12980 0 -1 1077944320 12692 0 0 0 106 5 0 0 20 0 15 0 414986942 10917818368 16018 33554432000 4194304 4196468 140722090371984 140722090354528 139622284910327 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7458816 140722090378251 140722090378354 140722090378354 140722090381263 0 /proc/14533/statm: 2665483 16018 3074 1 0 2627980 0 [pid=14533/tid=14535] ppid=14530 vsize=10661932 memory=202534081809451 CPUtime=0.68 cores=0,2,4,6 /proc/14533/task/14535/stat : 14535 (java) R 14530 14533 12980 0 -1 4202560 8406 0 0 0 64 4 0 0 20 0 15 0 414986943 10917818368 16018 33554432000 4194304 4196468 140722090371984 139622289136208 139622270075895 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7458816 140722090378251 140722090378354 140722090378354 140722090381263 0 [pid=14533/tid=14536] ppid=14530 vsize=10661932 memory=3090382 CPUtime=0 cores=0,2,4,6 /proc/14533/task/14536/stat : 14536 (java) S 14530 14533 12980 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414986944 10917818368 16018 33554432000 4194304 4196468 140722090371984 139622210984464 139622284920533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7458816 140722090378251 140722090378354 140722090378354 140722090381263 0 [pid=14533/tid=14537] ppid=14530 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6 /proc/14533/task/14537/stat : 14537 (java) S 14530 14533 12980 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414986944 10917818368 16018 33554432000 4194304 4196468 140722090371984 139622209931920 139622284920533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7458816 140722090378251 140722090378354 140722090378354 140722090381263 0 [pid=14533/tid=14538] ppid=14530 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6 /proc/14533/task/14538/stat : 14538 (java) S 14530 14533 12980 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414986944 10917818368 16018 33554432000 4194304 4196468 140722090371984 139622208878864 139622284920533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7458816 140722090378251 140722090378354 140722090378354 140722090381263 0 [pid=14533/tid=14539] ppid=14530 vsize=10661932 memory=7809523229951467568 CPUtime=0 cores=0,2,4,6 /proc/14533/task/14539/stat : 14539 (java) S 14530 14533 12980 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414986944 10917818368 16018 33554432000 4194304 4196468 140722090371984 139622207826320 139622284920533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7458816 140722090378251 140722090378354 140722090378354 140722090381263 0 [pid=14533/tid=14540] ppid=14530 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6 /proc/14533/task/14540/stat : 14540 (java) S 14530 14533 12980 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414986945 10917818368 16018 33554432000 4194304 4196468 140722090371984 139621776829168 139622284921474 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7458816 140722090378251 140722090378354 140722090378354 140722090381263 0 [pid=14533/tid=14541] ppid=14530 vsize=10661932 memory=-3535359994705172060 CPUtime=0 cores=0,2,4,6 /proc/14533/task/14541/stat : 14541 (java) S 14530 14533 12980 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414986945 10917818368 16018 33554432000 4194304 4196468 140722090371984 139621775775392 139622284920533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7458816 140722090378251 140722090378354 140722090378354 140722090381263 0 [pid=14533/tid=14542] ppid=14530 vsize=10661932 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6 /proc/14533/task/14542/stat : 14542 (java) S 14530 14533 12980 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414986946 10917818368 16018 33554432000 4194304 4196468 140722090371984 139621774722288 139622284920533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7458816 140722090378251 140722090378354 140722090378354 140722090381263 0 [pid=14533/tid=14543] ppid=14530 vsize=10661932 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6 /proc/14533/task/14543/stat : 14543 (java) S 14530 14533 12980 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414986948 10917818368 16018 33554432000 4194304 4196468 140722090371984 139621773670864 139622284928923 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7458816 140722090378251 140722090378354 140722090378354 140722090381263 0 [pid=14533/tid=14544] ppid=14530 vsize=10661932 memory=6944652177228980320 CPUtime=0.1 cores=0,2,4,6 /proc/14533/task/14544/stat : 14544 (java) R 14530 14533 12980 0 -1 4202560 946 0 0 0 10 0 0 0 20 0 15 0 414986948 10917818368 16018 33554432000 4194304 4196468 140722090371984 139621772617968 139622268296906 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7458816 140722090378251 140722090378354 140722090378354 140722090381263 0 [pid=14533/tid=14545] ppid=14530 vsize=10661932 memory=6944656592387989600 CPUtime=0.12 cores=0,2,4,6 /proc/14533/task/14545/stat : 14545 (java) S 14530 14533 12980 0 -1 1077944384 794 0 0 0 12 0 0 0 20 0 15 0 414986948 10917818368 16018 33554432000 4194304 4196468 140722090371984 139621771565424 139622284921474 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7458816 140722090378251 140722090378354 140722090378354 140722090381263 0 [pid=14533/tid=14546] ppid=14530 vsize=10661932 memory=0 CPUtime=0.19 cores=0,2,4,6 /proc/14533/task/14546/stat : 14546 (java) S 14530 14533 12980 0 -1 1077944384 1188 0 0 0 19 0 0 0 20 0 15 0 414986948 10917818368 16018 33554432000 4194304 4196468 140722090371984 139621770512368 139622284921474 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7458816 140722090378251 140722090378354 140722090378354 140722090381263 0 [pid=14533/tid=14547] ppid=14530 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6 /proc/14533/task/14547/stat : 14547 (java) S 14530 14533 12980 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414986948 10917818368 16018 33554432000 4194304 4196468 140722090371984 139621769460064 139622284920533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7458816 140722090378251 140722090378354 140722090378354 140722090381263 0 [pid=14533/tid=14549] ppid=14530 vsize=10661932 memory=20116 CPUtime=0 cores=0,2,4,6 /proc/14533/task/14549/stat : 14549 (java) S 14530 14533 12980 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414986948 10917818368 16018 33554432000 4194304 4196468 140722090371984 139621768408112 139622284921474 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7458816 140722090378251 140722090378354 140722090378354 140722090381263 0 Current children cumulated CPU time: 1.11 s Current children cumulated vsize: 10661932 KiB Current children cumulated memory: 64072 KiB [startup+1.50081 s] /proc/loadavg: 2.00 2.00 1.98 3/233 14550 /proc/meminfo: memFree=29998060/32770624 swapFree=66916504/67108860 [pid=14533] ppid=14530 vsize=10663980 memory=75848 CPUtime=2 cores=0,2,4,6 /proc/14533/stat : 14533 (java) S 14530 14533 12980 0 -1 1077944320 18015 0 0 0 194 6 0 0 20 0 15 0 414986942 10919915520 18962 33554432000 4194304 4196468 140722090371984 140722090354528 139622284910327 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7458816 140722090378251 140722090378354 140722090378354 140722090381263 0 /proc/14533/statm: 2665995 18962 3096 1 0 2628492 0 [pid=14533/tid=14535] ppid=14530 vsize=10663980 memory=13796 CPUtime=1.48 cores=0,2,4,6 /proc/14533/task/14535/stat : 14535 (java) R 14530 14533 12980 0 -1 4202560 12444 0 0 0 143 5 0 0 20 0 15 0 414986943 10919915520 18962 33554432000 4194304 4196468 140722090371984 139622289142352 139622268990814 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7458816 140722090378251 140722090378354 140722090378354 140722090381263 0 [pid=14533/tid=14536] ppid=14530 vsize=10663980 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6 /proc/14533/task/14536/stat : 14536 (java) S 14530 14533 12980 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414986944 10919915520 18962 33554432000 4194304 4196468 140722090371984 139622210984464 139622284920533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7458816 140722090378251 140722090378354 140722090378354 140722090381263 0 [pid=14533/tid=14537] ppid=14530 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6 /proc/14533/task/14537/stat : 14537 (java) S 14530 14533 12980 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414986944 10919915520 18962 33554432000 4194304 4196468 140722090371984 139622209931920 139622284920533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7458816 140722090378251 140722090378354 140722090378354 140722090381263 0 [pid=14533/tid=14538] ppid=14530 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6 /proc/14533/task/14538/stat : 14538 (java) S 14530 14533 12980 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414986944 10919915520 18962 33554432000 4194304 4196468 140722090371984 139622208878864 139622284920533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7458816 140722090378251 140722090378354 140722090378354 140722090381263 0 [pid=14533/tid=14539] ppid=14530 vsize=10663980 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6 /proc/14533/task/14539/stat : 14539 (java) S 14530 14533 12980 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414986944 10919915520 18962 33554432000 4194304 4196468 140722090371984 139622207826320 139622284920533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7458816 140722090378251 140722090378354 140722090378354 140722090381263 0 [pid=14533/tid=14540] ppid=14530 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6 /proc/14533/task/14540/stat : 14540 (java) S 14530 14533 12980 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 15 0 414986945 10919915520 18962 33554432000 4194304 4196468 140722090371984 139621776829168 139622284921474 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7458816 140722090378251 140722090378354 140722090378354 140722090381263 0 ################ # More data... # ################ [startup+12.8007 s] /proc/loadavg: 2.00 2.00 1.98 3/234 14553 /proc/meminfo: memFree=29803620/32770624 swapFree=66916504/67108860 [pid=14533] ppid=14530 vsize=10748324 memory=262272 CPUtime=15.99 cores=0,2,4,6 /proc/14533/stat : 14533 (java) S 14530 14533 12980 0 -1 1077944320 36320 0 0 0 1585 14 0 0 20 0 16 0 414986942 11006283776 65568 33554432000 4194304 4196468 140722090371984 140722090354528 139622284910327 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7458816 140722090378251 140722090378354 140722090378354 140722090381263 0 /proc/14533/statm: 2687081 65568 3368 1 0 2647217 0 [pid=14533/tid=14535] ppid=14530 vsize=10748324 memory=2 CPUtime=1.86 cores=0,2,4,6 /proc/14533/task/14535/stat : 14535 (java) S 14530 14533 12980 0 -1 1077944384 14585 0 0 0 180 6 0 0 20 0 16 0 414986943 11006283776 65568 33554432000 4194304 4196468 140722090371984 139622289153200 139622284920533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7458816 140722090378251 140722090378354 140722090378354 140722090381263 0 [pid=14533/tid=14536] ppid=14530 vsize=10748324 memory=2 CPUtime=0.01 cores=0,2,4,6 /proc/14533/task/14536/stat : 14536 (java) S 14530 14533 12980 0 -1 1077944384 172 0 0 0 1 0 0 0 20 0 16 0 414986944 11006283776 65568 33554432000 4194304 4196468 140722090371984 139622210984464 139622284920533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7458816 140722090378251 140722090378354 140722090378354 140722090381263 0 [pid=14533/tid=14537] ppid=14530 vsize=10748324 memory=1 CPUtime=0.02 cores=0,2,4,6 /proc/14533/task/14537/stat : 14537 (java) S 14530 14533 12980 0 -1 1077944384 78 0 0 0 2 0 0 0 20 0 16 0 414986944 11006283776 65568 33554432000 4194304 4196468 140722090371984 139622209931920 139622284920533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7458816 140722090378251 140722090378354 140722090378354 140722090381263 0 [pid=14533/tid=14538] ppid=14530 vsize=10748324 memory=1712 CPUtime=0.02 cores=0,2,4,6 /proc/14533/task/14538/stat : 14538 (java) S 14530 14533 12980 0 -1 1077944384 429 0 0 0 2 0 0 0 20 0 16 0 414986944 11006283776 65568 33554432000 4194304 4196468 140722090371984 139622208878864 139622284920533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7458816 140722090378251 140722090378354 140722090378354 140722090381263 0 [pid=14533/tid=14539] ppid=14530 vsize=10748324 memory=1156 CPUtime=0.01 cores=0,2,4,6 /proc/14533/task/14539/stat : 14539 (java) S 14530 14533 12980 0 -1 1077944384 966 0 0 0 1 0 0 0 20 0 16 0 414986944 11006283776 65568 33554432000 4194304 4196468 140722090371984 139622207826320 139622284920533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7458816 140722090378251 140722090378354 140722090378354 140722090381263 0 [pid=14533/tid=14540] ppid=14530 vsize=10748324 memory=944 CPUtime=0.01 cores=0,2,4,6 /proc/14533/task/14540/stat : 14540 (java) S 14530 14533 12980 0 -1 1077944384 1303 0 0 0 1 0 0 0 20 0 16 0 414986945 11006283776 65568 33554432000 4194304 4196468 140722090371984 139621776829168 139622284921474 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7458816 140722090378251 140722090378354 140722090378354 140722090381263 0 [pid=14533/tid=14541] ppid=14530 vsize=10748324 memory=1552 CPUtime=0 cores=0,2,4,6 /proc/14533/task/14541/stat : 14541 (java) S 14530 14533 12980 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 16 0 414986945 11006283776 65568 33554432000 4194304 4196468 140722090371984 139621775775456 139622284920533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7458816 140722090378251 140722090378354 140722090378354 140722090381263 0 [pid=14533/tid=14542] ppid=14530 vsize=10748324 memory=1052 CPUtime=0 cores=0,2,4,6 /proc/14533/task/14542/stat : 14542 (java) S 14530 14533 12980 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 16 0 414986946 11006283776 65568 33554432000 4194304 4196468 140722090371984 139621774722304 139622284920533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7458816 140722090378251 140722090378354 140722090378354 140722090381263 0 [pid=14533/tid=14543] ppid=14530 vsize=10748324 memory=5964 CPUtime=0 cores=0,2,4,6 /proc/14533/task/14543/stat : 14543 (java) S 14530 14533 12980 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414986948 11006283776 65568 33554432000 4194304 4196468 140722090371984 139621773670864 139622284928923 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7458816 140722090378251 140722090378354 140722090378354 140722090381263 0 [pid=14533/tid=14544] ppid=14530 vsize=10748324 memory=8300 CPUtime=1.22 cores=0,2,4,6 /proc/14533/task/14544/stat : 14544 (java) S 14530 14533 12980 0 -1 1077944384 4313 0 0 0 121 1 0 0 20 0 16 0 414986948 11006283776 65568 33554432000 4194304 4196468 140722090371984 139621772617968 139622284921474 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7458816 140722090378251 140722090378354 140722090378354 140722090381263 0 [pid=14533/tid=14545] ppid=14530 vsize=10748324 memory=776 CPUtime=1.18 cores=0,2,4,6 /proc/14533/task/14545/stat : 14545 (java) S 14530 14533 12980 0 -1 1077944384 3905 0 0 0 117 1 0 0 20 0 16 0 414986948 11006283776 65568 33554432000 4194304 4196468 140722090371984 139621771565424 139622284921474 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7458816 140722090378251 140722090378354 140722090378354 140722090381263 0 [pid=14533/tid=14546] ppid=14530 vsize=10748324 memory=1460 CPUtime=0.72 cores=0,2,4,6 /proc/14533/task/14546/stat : 14546 (java) S 14530 14533 12980 0 -1 1077944384 3790 0 0 0 71 1 0 0 20 0 16 0 414986948 11006283776 65568 33554432000 4194304 4196468 140722090371984 139621770512368 139622284921474 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7458816 140722090378251 140722090378354 140722090378354 140722090381263 0 [pid=14533/tid=14547] ppid=14530 vsize=10748324 memory=912 CPUtime=0 cores=0,2,4,6 /proc/14533/task/14547/stat : 14547 (java) S 14530 14533 12980 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414986948 11006283776 65568 33554432000 4194304 4196468 140722090371984 139621769460064 139622284920533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7458816 140722090378251 140722090378354 140722090378354 140722090381263 0 [pid=14533/tid=14549] ppid=14530 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6 /proc/14533/task/14549/stat : 14549 (java) S 14530 14533 12980 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 16 0 414986948 11006283776 65568 33554432000 4194304 4196468 140722090371984 139621768408112 139622284921474 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7458816 140722090378251 140722090378354 140722090378354 140722090381263 0 [pid=14533/tid=14551] ppid=14530 vsize=10748324 memory=0 CPUtime=10.85 cores=0,2,4,6 /proc/14533/task/14551/stat : 14551 (java) R 14530 14533 12980 0 -1 4202560 5281 0 0 0 1082 3 0 0 20 0 16 0 414987131 11006283776 65568 33554432000 4194304 4196468 140722090371984 139621751447568 139621895043851 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7458816 140722090378251 140722090378354 140722090378354 140722090381263 0 Current children cumulated CPU time: 15.99 s Current children cumulated vsize: 10748324 KiB Current children cumulated memory: 262272 KiB [startup+13.2006 s] /proc/loadavg: 2.00 2.00 1.98 3/234 14553 /proc/meminfo: memFree=29803620/32770624 swapFree=66916504/67108860 [pid=14533] ppid=14530 vsize=10748324 memory=262272 CPUtime=16.39 cores=0,2,4,6 /proc/14533/stat : 14533 (java) S 14530 14533 12980 0 -1 1077944320 36324 0 0 0 1625 14 0 0 20 0 16 0 414986942 11006283776 65568 33554432000 4194304 4196468 140722090371984 140722090354528 139622284910327 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7458816 140722090378251 140722090378354 140722090378354 140722090381263 0 /proc/14533/statm: 2687081 65568 3368 1 0 2647217 0 [pid=14533/tid=14535] ppid=14530 vsize=10748324 memory=301741394933055803 CPUtime=1.86 cores=0,2,4,6 /proc/14533/task/14535/stat : 14535 (java) S 14530 14533 12980 0 -1 1077944384 14585 0 0 0 180 6 0 0 20 0 16 0 414986943 11006283776 65568 33554432000 4194304 4196468 140722090371984 139622289153200 139622284920533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7458816 140722090378251 140722090378354 140722090378354 140722090381263 0 [pid=14533/tid=14536] ppid=14530 vsize=10748324 memory=13852992633833814 CPUtime=0.01 cores=0,2,4,6 /proc/14533/task/14536/stat : 14536 (java) S 14530 14533 12980 0 -1 1077944384 172 0 0 0 1 0 0 0 20 0 16 0 414986944 11006283776 65568 33554432000 4194304 4196468 140722090371984 139622210984464 139622284920533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7458816 140722090378251 140722090378354 140722090378354 140722090381263 0 [pid=14533/tid=14537] ppid=14530 vsize=10748324 memory=7956260087874802256 CPUtime=0.02 cores=0,2,4,6 /proc/14533/task/14537/stat : 14537 (java) S 14530 14533 12980 0 -1 1077944384 78 0 0 0 2 0 0 0 20 0 16 0 414986944 11006283776 65568 33554432000 4194304 4196468 140722090371984 139622209931920 139622284920533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7458816 140722090378251 140722090378354 140722090378354 140722090381263 0 [pid=14533/tid=14538] ppid=14530 vsize=10748324 memory=7446536375561768281 CPUtime=0.02 cores=0,2,4,6 /proc/14533/task/14538/stat : 14538 (java) S 14530 14533 12980 0 -1 1077944384 429 0 0 0 2 0 0 0 20 0 16 0 414986944 11006283776 65568 33554432000 4194304 4196468 140722090371984 139622208878864 139622284920533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7458816 140722090378251 140722090378354 140722090378354 140722090381263 0 [pid=14533/tid=14539] ppid=14530 vsize=10748324 memory=0 CPUtime=0.01 cores=0,2,4,6 /proc/14533/task/14539/stat : 14539 (java) S 14530 14533 12980 0 -1 1077944384 966 0 0 0 1 0 0 0 20 0 16 0 414986944 11006283776 65568 33554432000 4194304 4196468 140722090371984 139622207826320 139622284920533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7458816 140722090378251 140722090378354 140722090378354 140722090381263 0 [pid=14533/tid=14540] ppid=14530 vsize=10748324 memory=0 CPUtime=0.01 cores=0,2,4,6 /proc/14533/task/14540/stat : 14540 (java) S 14530 14533 12980 0 -1 1077944384 1303 0 0 0 1 0 0 0 20 0 16 0 414986945 11006283776 65568 33554432000 4194304 4196468 140722090371984 139621776829168 139622284921474 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7458816 140722090378251 140722090378354 140722090378354 140722090381263 0 [pid=14533/tid=14541] ppid=14530 vsize=10748324 memory=140085257831328 CPUtime=0 cores=0,2,4,6 /proc/14533/task/14541/stat : 14541 (java) S 14530 14533 12980 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 16 0 414986945 11006283776 65568 33554432000 4194304 4196468 140722090371984 139621775775456 139622284920533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7458816 140722090378251 140722090378354 140722090378354 140722090381263 0 [pid=14533/tid=14542] ppid=14530 vsize=10748324 memory=140085257875185 CPUtime=0 cores=0,2,4,6 /proc/14533/task/14542/stat : 14542 (java) S 14530 14533 12980 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 16 0 414986946 11006283776 65568 33554432000 4194304 4196468 140722090371984 139621774722304 139622284920533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7458816 140722090378251 140722090378354 140722090378354 140722090381263 0 [pid=14533/tid=14543] ppid=14530 vsize=10748324 memory=280170515091408 CPUtime=0 cores=0,2,4,6 /proc/14533/task/14543/stat : 14543 (java) S 14530 14533 12980 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414986948 11006283776 65568 33554432000 4194304 4196468 140722090371984 139621773670864 139622284928923 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7458816 140722090378251 140722090378354 140722090378354 140722090381263 0 [pid=14533/tid=14544] ppid=14530 vsize=10748324 memory=0 CPUtime=1.22 cores=0,2,4,6 /proc/14533/task/14544/stat : 14544 (java) S 14530 14533 12980 0 -1 1077944384 4313 0 0 0 121 1 0 0 20 0 16 0 414986948 11006283776 65568 33554432000 4194304 4196468 140722090371984 139621772617968 139622284921474 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7458816 140722090378251 140722090378354 140722090378354 140722090381263 0 [pid=14533/tid=14545] ppid=14530 vsize=10748324 memory=7449333546413813607 CPUtime=1.18 cores=0,2,4,6 /proc/14533/task/14545/stat : 14545 (java) S 14530 14533 12980 0 -1 1077944384 3905 0 0 0 117 1 0 0 20 0 16 0 414986948 11006283776 65568 33554432000 4194304 4196468 140722090371984 139621771565424 139622284921474 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7458816 140722090378251 140722090378354 140722090378354 140722090381263 0 [pid=14533/tid=14546] ppid=14530 vsize=10748324 memory=7523376918531162212 CPUtime=0.72 cores=0,2,4,6 /proc/14533/task/14546/stat : 14546 (java) S 14530 14533 12980 0 -1 1077944384 3790 0 0 0 71 1 0 0 20 0 16 0 414986948 11006283776 65568 33554432000 4194304 4196468 140722090371984 139621770512368 139622284921474 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7458816 140722090378251 140722090378354 140722090378354 140722090381263 0 [pid=14533/tid=14547] ppid=14530 vsize=10748324 memory=7380385388137112419 CPUtime=0 cores=0,2,4,6 /proc/14533/task/14547/stat : 14547 (java) S 14530 14533 12980 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414986948 11006283776 65568 33554432000 4194304 4196468 140722090371984 139621769460064 139622284920533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7458816 140722090378251 140722090378354 140722090378354 140722090381263 0 [pid=14533/tid=14549] ppid=14530 vsize=10748324 memory=912 CPUtime=0 cores=0,2,4,6 /proc/14533/task/14549/stat : 14549 (java) S 14530 14533 12980 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 16 0 414986948 11006283776 65568 33554432000 4194304 4196468 140722090371984 139621768408112 139622284921474 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7458816 140722090378251 140722090378354 140722090378354 140722090381263 0 [pid=14533/tid=14551] ppid=14530 vsize=10748324 memory=1444 CPUtime=11.25 cores=0,2,4,6 /proc/14533/task/14551/stat : 14551 (java) R 14530 14533 12980 0 -1 4202560 5285 0 0 0 1122 3 0 0 20 0 16 0 414987131 11006283776 65568 33554432000 4194304 4196468 140722090371984 139621751447568 139621894224022 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7458816 140722090378251 140722090378354 140722090378354 140722090381263 0 Current children cumulated CPU time: 16.39 s Current children cumulated vsize: 10748324 KiB Current children cumulated memory: 262272 KiB [startup+13.6006 s] /proc/loadavg: 2.00 2.00 1.98 3/234 14553 /proc/meminfo: memFree=29803620/32770624 swapFree=66916504/67108860 [pid=14533] ppid=14530 vsize=10748324 memory=262336 CPUtime=16.79 cores=0,2,4,6 /proc/14533/stat : 14533 (java) S 14530 14533 12980 0 -1 1077944320 36375 0 0 0 1665 14 0 0 20 0 16 0 414986942 11006283776 65584 33554432000 4194304 4196468 140722090371984 140722090354528 139622284910327 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7458816 140722090378251 140722090378354 140722090378354 140722090381263 0 /proc/14533/statm: 2687081 65584 3368 1 0 2647217 0 [pid=14533/tid=14535] ppid=14530 vsize=10748324 memory=-8412652169205224307 CPUtime=1.86 cores=0,2,4,6 /proc/14533/task/14535/stat : 14535 (java) S 14530 14533 12980 0 -1 1077944384 14585 0 0 0 180 6 0 0 20 0 16 0 414986943 11006283776 65584 33554432000 4194304 4196468 140722090371984 139622289153200 139622284920533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7458816 140722090378251 140722090378354 140722090378354 140722090381263 0 [pid=14533/tid=14536] ppid=14530 vsize=10748324 memory=7739833335686785893 CPUtime=0.01 cores=0,2,4,6 /proc/14533/task/14536/stat : 14536 (java) S 14530 14533 12980 0 -1 1077944384 172 0 0 0 1 0 0 0 20 0 16 0 414986944 11006283776 65584 33554432000 4194304 4196468 140722090371984 139622210984464 139622284920533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7458816 140722090378251 140722090378354 140722090378354 140722090381263 0 [pid=14533/tid=14537] ppid=14530 vsize=10748324 memory=7956845054149618002 CPUtime=0.02 cores=0,2,4,6 /proc/14533/task/14537/stat : 14537 (java) S 14530 14533 12980 0 -1 1077944384 78 0 0 0 2 0 0 0 20 0 16 0 414986944 11006283776 65584 33554432000 4194304 4196468 140722090371984 139622209931920 139622284920533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7458816 140722090378251 140722090378354 140722090378354 140722090381263 0 [pid=14533/tid=14538] ppid=14530 vsize=10748324 memory=7810739642586719087 CPUtime=0.02 cores=0,2,4,6 /proc/14533/task/14538/stat : 14538 (java) S 14530 14533 12980 0 -1 1077944384 429 0 0 0 2 0 0 0 20 0 16 0 414986944 11006283776 65584 33554432000 4194304 4196468 140722090371984 139622208878864 139622284920533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7458816 140722090378251 140722090378354 140722090378354 140722090381263 0 [pid=14533/tid=14539] ppid=14530 vsize=10748324 memory=7739506759662333032 CPUtime=0.01 cores=0,2,4,6 /proc/14533/task/14539/stat : 14539 (java) S 14530 14533 12980 0 -1 1077944384 966 0 0 0 1 0 0 0 20 0 16 0 414986944 11006283776 65584 33554432000 4194304 4196468 140722090371984 139622207826320 139622284920533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7458816 140722090378251 140722090378354 140722090378354 140722090381263 0 [pid=14533/tid=14540] ppid=14530 vsize=10748324 memory=7739506759662333032 CPUtime=0.01 cores=0,2,4,6 /proc/14533/task/14540/stat : 14540 (java) S 14530 14533 12980 0 -1 1077944384 1345 0 0 0 1 0 0 0 20 0 16 0 414986945 11006283776 65584 33554432000 4194304 4196468 140722090371984 139621776829168 139622284921474 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7458816 140722090378251 140722090378354 140722090378354 140722090381263 0 [pid=14533/tid=14541] ppid=14530 vsize=10748324 memory=7518314749917357928 CPUtime=0 cores=0,2,4,6 /proc/14533/task/14541/stat : 14541 (java) S 14530 14533 12980 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 16 0 414986945 11006283776 65584 33554432000 4194304 4196468 140722090371984 139621775775456 139622284920533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7458816 140722090378251 140722090378354 140722090378354 140722090381263 0 [pid=14533/tid=14542] ppid=14530 vsize=10748324 memory=7596846225520345198 CPUtime=0 cores=0,2,4,6 /proc/14533/task/14542/stat : 14542 (java) S 14530 14533 12980 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 16 0 414986946 11006283776 65584 33554432000 4194304 4196468 140722090371984 139621774722304 139622284920533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7458816 140722090378251 140722090378354 140722090378354 140722090381263 0 [pid=14533/tid=14543] ppid=14530 vsize=10748324 memory=7381230916521453672 CPUtime=0 cores=0,2,4,6 /proc/14533/task/14543/stat : 14543 (java) S 14530 14533 12980 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414986948 11006283776 65584 33554432000 4194304 4196468 140722090371984 139621773670864 139622284928923 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7458816 140722090378251 140722090378354 140722090378354 140722090381263 0 [pid=14533/tid=14544] ppid=14530 vsize=10748324 memory=4638778398332698720 CPUtime=1.22 cores=0,2,4,6 /proc/14533/task/14544/stat : 14544 (java) S 14530 14533 12980 0 -1 1077944384 4313 0 0 0 121 1 0 0 20 0 16 0 414986948 11006283776 65584 33554432000 4194304 4196468 140722090371984 139621772617968 139622284921474 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7458816 140722090378251 140722090378354 140722090378354 140722090381263 0 [pid=14533/tid=14545] ppid=14530 vsize=10748324 memory=7156894261224762218 CPUtime=1.18 cores=0,2,4,6 /proc/14533/task/14545/stat : 14545 (java) S 14530 14533 12980 0 -1 1077944384 3905 0 0 0 117 1 0 0 20 0 16 0 414986948 11006283776 65584 33554432000 4194304 4196468 140722090371984 139621771565424 139622284921474 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7458816 140722090378251 140722090378354 140722090378354 140722090381263 0 [pid=14533/tid=14546] ppid=14530 vsize=10748324 memory=8226000196039669013 CPUtime=0.72 cores=0,2,4,6 /proc/14533/task/14546/stat : 14546 (java) S 14530 14533 12980 0 -1 1077944384 3790 0 0 0 71 1 0 0 20 0 16 0 414986948 11006283776 65584 33554432000 4194304 4196468 140722090371984 139621770512368 139622284921474 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7458816 140722090378251 140722090378354 140722090378354 140722090381263 0 [pid=14533/tid=14547] ppid=14530 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6 /proc/14533/task/14547/stat : 14547 (java) S 14530 14533 12980 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414986948 11006283776 65584 33554432000 4194304 4196468 140722090371984 139621769460064 139622284920533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7458816 140722090378251 140722090378354 140722090378354 140722090381263 0 [pid=14533/tid=14549] ppid=14530 vsize=10748324 memory=31364 CPUtime=0 cores=0,2,4,6 /proc/14533/task/14549/stat : 14549 (java) S 14530 14533 12980 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 16 0 414986948 11006283776 65584 33554432000 4194304 4196468 140722090371984 139621768408112 139622284921474 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7458816 140722090378251 140722090378354 140722090378354 140722090381263 0 [pid=14533/tid=14551] ppid=14530 vsize=10748324 memory=6791534058613427641 CPUtime=11.65 cores=0,2,4,6 /proc/14533/task/14551/stat : 14551 (java) R 14530 14533 12980 0 -1 4202560 5294 0 0 0 1162 3 0 0 20 0 16 0 414987131 11006283776 65584 33554432000 4194304 4196468 140722090371984 139621751452784 139621894222262 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7458816 140722090378251 140722090378354 140722090378354 140722090381263 0 Current children cumulated CPU time: 16.79 s Current children cumulated vsize: 10748324 KiB Current children cumulated memory: 262336 KiB [startup+13.7006 s] /proc/loadavg: 2.00 2.00 1.98 3/234 14553 /proc/meminfo: memFree=29803620/32770624 swapFree=66916504/67108860 [pid=14533] ppid=14530 vsize=10748324 memory=262360 CPUtime=16.89 cores=0,2,4,6 /proc/14533/stat : 14533 (java) S 14530 14533 12980 0 -1 1077944320 37499 0 0 0 1675 14 0 0 20 0 16 0 414986942 11006283776 65590 33554432000 4194304 4196468 140722090371984 140722090354528 139622284910327 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7458816 140722090378251 140722090378354 140722090378354 140722090381263 0 /proc/14533/statm: 2687081 65590 3368 1 0 2647217 0 [pid=14533/tid=14535] ppid=14530 vsize=10748324 memory=262336 CPUtime=1.86 cores=0,2,4,6 /proc/14533/task/14535/stat : 14535 (java) S 14530 14533 12980 0 -1 1077944384 14585 0 0 0 180 6 0 0 20 0 16 0 414986943 11006283776 65590 33554432000 4194304 4196468 140722090371984 139622289153200 139622284920533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7458816 140722090378251 140722090378354 140722090378354 140722090381263 0 [pid=14533/tid=14536] ppid=14530 vsize=10748324 memory=262272 CPUtime=0.01 cores=0,2,4,6 /proc/14533/task/14536/stat : 14536 (java) S 14530 14533 12980 0 -1 1077944384 172 0 0 0 1 0 0 0 20 0 16 0 414986944 11006283776 65590 33554432000 4194304 4196468 140722090371984 139622210984464 139622284920533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7458816 140722090378251 140722090378354 140722090378354 140722090381263 0 [pid=14533/tid=14537] ppid=14530 vsize=10748324 memory=64976 CPUtime=0.02 cores=0,2,4,6 /proc/14533/task/14537/stat : 14537 (java) S 14530 14533 12980 0 -1 1077944384 78 0 0 0 2 0 0 0 20 0 16 0 414986944 11006283776 65590 33554432000 4194304 4196468 140722090371984 139622209931920 139622284920533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7458816 140722090378251 140722090378354 140722090378354 140722090381263 0 [pid=14533/tid=14538] ppid=14530 vsize=10748324 memory=2116 CPUtime=0.02 cores=0,2,4,6 /proc/14533/task/14538/stat : 14538 (java) S 14530 14533 12980 0 -1 1077944384 429 0 0 0 2 0 0 0 20 0 16 0 414986944 11006283776 65590 33554432000 4194304 4196468 140722090371984 139622208878864 139622284920533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7458816 140722090378251 140722090378354 140722090378354 140722090381263 0 [pid=14533/tid=14539] ppid=14530 vsize=10748324 memory=56 CPUtime=0.01 cores=0,2,4,6 /proc/14533/task/14539/stat : 14539 (java) S 14530 14533 12980 0 -1 1077944384 966 0 0 0 1 0 0 0 20 0 16 0 414986944 11006283776 65590 33554432000 4194304 4196468 140722090371984 139622207826320 139622284920533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7458816 140722090378251 140722090378354 140722090378354 140722090381263 0 [pid=14533/tid=14540] ppid=14530 vsize=10748324 memory=280170514612464 CPUtime=0.01 cores=0,2,4,6 /proc/14533/task/14540/stat : 14540 (java) S 14530 14533 12980 0 -1 1077944384 1345 0 0 0 1 0 0 0 20 0 16 0 414986945 11006283776 65590 33554432000 4194304 4196468 140722090371984 139621776829168 139622284921474 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7458816 140722090378251 140722090378354 140722090378354 140722090381263 0 [pid=14533/tid=14541] ppid=14530 vsize=10748324 memory=8027498528620439397 CPUtime=0 cores=0,2,4,6 /proc/14533/task/14541/stat : 14541 (java) S 14530 14533 12980 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 16 0 414986945 11006283776 65590 33554432000 4194304 4196468 140722090371984 139621775775456 139622284920533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7458816 140722090378251 140722090378354 140722090378354 140722090381263 0 [pid=14533/tid=14542] ppid=14530 vsize=10748324 memory=33 CPUtime=0 cores=0,2,4,6 /proc/14533/task/14542/stat : 14542 (java) S 14530 14533 12980 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 16 0 414986946 11006283776 65590 33554432000 4194304 4196468 140722090371984 139621774722304 139622284920533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7458816 140722090378251 140722090378354 140722090378354 140722090381263 0 [pid=14533/tid=14543] ppid=14530 vsize=10748324 memory=288230596050944315 CPUtime=0 cores=0,2,4,6 /proc/14533/task/14543/stat : 14543 (java) S 14530 14533 12980 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414986948 11006283776 65590 33554432000 4194304 4196468 140722090371984 139621773670864 139622284928923 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7458816 140722090378251 140722090378354 140722090378354 140722090381263 0 [pid=14533/tid=14544] ppid=14530 vsize=10748324 memory=262264 CPUtime=1.22 cores=0,2,4,6 /proc/14533/task/14544/stat : 14544 (java) S 14530 14533 12980 0 -1 1077944384 4313 0 0 0 121 1 0 0 20 0 16 0 414986948 11006283776 65590 33554432000 4194304 4196468 140722090371984 139621772617968 139622284921474 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7458816 140722090378251 140722090378354 140722090378354 140722090381263 0 [pid=14533/tid=14545] ppid=14530 vsize=10748324 memory=262264 CPUtime=1.18 cores=0,2,4,6 /proc/14533/task/14545/stat : 14545 (java) S 14530 14533 12980 0 -1 1077944384 3905 0 0 0 117 1 0 0 20 0 16 0 414986948 11006283776 65590 33554432000 4194304 4196468 140722090371984 139621771565424 139622284921474 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7458816 140722090378251 140722090378354 140722090378354 140722090381263 0 [pid=14533/tid=14546] ppid=14530 vsize=10748324 memory=3628 CPUtime=0.73 cores=0,2,4,6 /proc/14533/task/14546/stat : 14546 (java) S 14530 14533 12980 0 -1 1077944384 4906 0 0 0 72 1 0 0 20 0 16 0 414986948 11006283776 65590 33554432000 4194304 4196468 140722090371984 139621770512368 139622284921474 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7458816 140722090378251 140722090378354 140722090378354 140722090381263 0 [pid=14533/tid=14547] ppid=14530 vsize=10748324 memory=38512 CPUtime=0 cores=0,2,4,6 /proc/14533/task/14547/stat : 14547 (java) S 14530 14533 12980 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414986948 11006283776 65590 33554432000 4194304 4196468 140722090371984 139621769460064 139622284920533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7458816 140722090378251 140722090378354 140722090378354 140722090381263 0 [pid=14533/tid=14549] ppid=14530 vsize=10748324 memory=992 CPUtime=0 cores=0,2,4,6 /proc/14533/task/14549/stat : 14549 (java) S 14530 14533 12980 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 16 0 414986948 11006283776 65590 33554432000 4194304 4196468 140722090371984 139621768408112 139622284921474 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7458816 140722090378251 140722090378354 140722090378354 140722090381263 0 [pid=14533/tid=14551] ppid=14530 vsize=10748324 memory=2044 CPUtime=11.75 cores=0,2,4,6 /proc/14533/task/14551/stat : 14551 (java) R 14530 14533 12980 0 -1 4202560 5302 0 0 0 1172 3 0 0 20 0 16 0 414987131 11006283776 65590 33554432000 4194304 4196468 140722090371984 139621751452784 139621894222422 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7458816 140722090378251 140722090378354 140722090378354 140722090381263 0 Current children cumulated CPU time: 16.89 s Current children cumulated vsize: 10748324 KiB Current children cumulated memory: 262360 KiB Child status: 0 Real time (s): 13.7383 CPU time (s): 16.9441 CPU user time (s): 16.7873 CPU system time (s): 0.15688 CPU usage (%): 123.335 Max. virtual memory (cumulated for all children) (KiB): 10749348 Max. memory (cumulated for all children) (KiB): 262360 getrusage(RUSAGE_CHILDREN,...) data: user time used= 16.7873 system time used= 0.15688 maximum resident set size= 262564 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 38544 page faults= 0 swaps= 0 block input operations= 0 block output operations= 152 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 3220 involuntary context switches= 63 # summary of solver processes directly reported to runsolver: # pid: 14533 # total CPU time (s): 16.9441 # total CPU user time (s): 16.7873 # total CPU system time (s): 0.15688 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.109328 second user time and 0.178444 second system time The end
Begin job on node134 at 2019-09-13 17:08:43 IDJOB=4390908 IDBENCH=141494 IDSOLVER=2832 FILE ID=node134/4390908-1568387364 RUNJOBID= node134-1568380474-13011 PBS_JOBID= 21701834 Free space on /tmp= 56112 MiB SOLVER NAME= AbsCon 2019-07-23 BENCH NAME= XCSP18/PeacableArmies/PeacableArmies-m2-07_c18.xml COMMAND LINE= java -cp AbsCon19-06.jar AbsCon BENCHNAME -cm RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4390908-1568387364/watcher-4390908-1568387364 -o /tmp/evaluation-result-4390908-1568387364/solver-4390908-1568387364 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1568380474-13011 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4390908-1568387364.xml -cm TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= d533abf730bec48b9e0ac1943d19d6b7 RANDOM SEED=1138934892 node134.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.76 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.76 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.76 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.76 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: 30053368 kB MemAvailable: 31504348 kB Buffers: 167356 kB Cached: 1547324 kB SwapCached: 90712 kB Active: 709784 kB Inactive: 1385868 kB Active(anon): 313888 kB Inactive(anon): 106556 kB Active(file): 395896 kB Inactive(file): 1279312 kB Unevictable: 110920 kB Mlocked: 110920 kB SwapTotal: 67108860 kB SwapFree: 66916504 kB Dirty: 8868 kB Writeback: 0 kB AnonPages: 402148 kB Mapped: 55808 kB Shmem: 30956 kB Slab: 213756 kB SReclaimable: 183216 kB SUnreclaim: 30540 kB KernelStack: 4064 kB PageTables: 6040 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1262728 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 333824 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 118144 kB DirectMap2M: 33427456 kB Free space on /tmp at the end= 56104 MiB End job on node134 at 2019-09-13 17:08:57