Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
AbsCon 2019-07-23 | OPT | 0 | 51.8468 | 48.7562 |
Diagnostic | Value |
---|---|
WRONG_DECISIONS | 165717 |
Name | QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-07.xml |
MD5SUM | 7aff4fe352a8c3fb8c4e8479cd8d4369 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 0 |
Best CPU time to get the best result obtained on this benchmark | 45.7895 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 65 |
Number of constraints | 64 |
Number of domains | 2 |
Minimum domain size | 2 |
Maximum domain size | 49 |
Distribution of domain sizes | [{"size":2,"count":15},{"size":49,"count":50}] |
Minimum variable degree | 2 |
Maximum variable degree | 15 |
Distribution of variable degrees | [{"degree":2,"count":17},{"degree":3,"count":32},{"degree":4,"count":15},{"degree":15,"count":1}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 49 |
Distribution of constraint arities | [{"arity":2,"count":48},{"arity":3,"count":15},{"arity":49,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 63 |
Distribution of constraint types | [{"type":"intension","count":63},{"type":"allDifferent","count":1}] |
Optimization problem | YES |
Type of objective | min SUM |
2.63/1.90 2.63/1.90 AbsCon 2 2.63/1.92 2.88/2.04 Instance 2.88/2.04 name=instance-4390906-1568383134, framework=COP, bounds=-infty..+infty 2.88/2.04 2.88/2.04 Loading variables... 2.88/2.06 Loading constraints... 3.48/2.24 3.48/2.24 Domains 3.48/2.24 nTypes=2, nValues=2480, sizes=[2#15,49#50] 3.48/2.24 Variables 3.48/2.24 count=65, degrees=[2#17,3#32,4#15,15#1] 3.48/2.24 Objectives 3.48/2.24 way=min, type=SumSimpleLE 3.48/2.24 Constraints 3.48/2.24 count=65, nSpecific=2, arities=[2#48,3#15,15#1,49#1] 3.48/2.24 distribution=[AllDifferent#1,CtrIntension#63,SumSimpleLE#1] 3.48/2.24 nIntStructures=(2,shared:61), nCftStructures=(2,shared:61,unbuilt:2) 3.48/2.24 wck=0.368, cpu=2.213, mem=34M439 3.48/2.25 Solver SolverBacktrack being built... 3.48/2.25 3.48/2.27 3.48/2.27 Solver 3.48/2.27 guaranteedGAC=true 3.48/2.27 wck=0.396, cpu=2.24, mem=45M82 3.48/2.27 3.48/2.27 Preprocessing 3.48/2.27 filters=0, ccks=7203, nACremovedValues=0, nTotalRemovedValues=0, inconcistency=false 3.48/2.27 wck=0.003, cpu=2.244, mem=45M82 3.48/2.27 3.83/2.34 num=0, depth=26..32, filters=291, revisions=(1617,useless=1371), ccks=52728, wck=0.072, mem=45M82 3.83/2.34 decisions=53, wrong=12, backtracks=3, failedAssignments=10, nogoods=8 3.83/2.34 3.83/2.37 num=1, depth=14..22, filters=580, revisions=(2998,useless=2512), ccks=87458, wck=0.105, mem=47M724 3.83/2.37 decisions=100, wrong=25, backtracks=5, failedAssignments=21, nogoods=13 3.83/2.37 4.15/2.41 num=2, depth=10..21, filters=936, revisions=(4464,useless=3684), ccks=119150, wck=0.136, mem=47M724 4.15/2.41 decisions=151, wrong=41, backtracks=10, failedAssignments=33, nogoods=17 4.15/2.41 4.15/2.47 num=3, depth=0..19, filters=1321, revisions=(6140,useless=5023), ccks=192500, wck=0.203, mem=47M724 4.15/2.47 decisions=196, wrong=55, backtracks=12, failedAssignments=46, nogoods=22 4.15/2.47 4.15/2.50 num=4, depth=11..21, filters=1686, revisions=(7713,useless=6277), ccks=224950, wck=0.229, mem=47M724 4.15/2.50 decisions=247, wrong=71, backtracks=14, failedAssignments=60, nogoods=27 4.15/2.50 4.47/2.54 num=5, depth=0..22, filters=2102, revisions=(9567,useless=7774), ccks=285583, wck=0.27, mem=47M724 4.47/2.54 decisions=304, wrong=89, backtracks=16, failedAssignments=76, nogoods=38 4.47/2.54 4.47/2.58 num=6, depth=0..21, filters=2557, revisions=(11471,useless=9293), ccks=349374, wck=0.313, mem=47M724 4.47/2.58 decisions=366, wrong=110, backtracks=20, failedAssignments=93, nogoods=43 4.47/2.58 4.65/2.63 num=7, depth=0..26, filters=3116, revisions=(13608,useless=10967), ccks=413858, wck=0.358, mem=47M724 4.65/2.63 decisions=440, wrong=136, backtracks=28, failedAssignments=112, nogoods=48 4.65/2.63 4.65/2.67 num=8, depth=0..21, filters=3513, revisions=(15450,useless=12463), ccks=474971, wck=0.397, mem=47M724 4.65/2.67 decisions=505, wrong=158, backtracks=29, failedAssignments=133, nogoods=60 4.65/2.67 4.65/2.69 num=9, depth=15..26, filters=3969, revisions=(17304,useless=13933), ccks=509045, wck=0.423, mem=47M724 4.65/2.69 decisions=584, wrong=186, backtracks=35, failedAssignments=156, nogoods=71 4.65/2.69 4.80/2.74 num=10, depth=0..24, filters=4476, revisions=(19538,useless=15737), ccks=572783, wck=0.466, mem=47M724 4.80/2.74 decisions=665, wrong=215, backtracks=39, failedAssignments=181, nogoods=87 4.80/2.74 4.80/2.78 num=11, depth=0..25, filters=5153, revisions=(22220,useless=17850), ccks=641855, wck=0.514, mem=50M367 4.80/2.78 decisions=766, wrong=255, backtracks=52, failedAssignments=209, nogoods=96 4.80/2.78 4.91/2.81 num=12, depth=17..27, filters=5709, revisions=(24333,useless=19503), ccks=676320, wck=0.54, mem=50M367 4.91/2.81 decisions=864, wrong=293, backtracks=62, failedAssignments=240, nogoods=103 4.91/2.81 4.91/2.84 num=13, depth=14..25, filters=6400, revisions=(26872,useless=21455), ccks=720333, wck=0.573, mem=50M367 4.91/2.84 decisions=970, wrong=335, backtracks=71, failedAssignments=274, nogoods=115 4.91/2.84 4.91/2.87 num=14, depth=21..25, filters=7052, revisions=(29326,useless=23380), ccks=759603, wck=0.603, mem=50M367 4.91/2.87 decisions=1086, wrong=382, backtracks=83, failedAssignments=311, nogoods=121 4.91/2.87 5.03/2.90 num=15, depth=20..26, filters=7822, revisions=(31970,useless=25378), ccks=798794, wck=0.634, mem=50M367 5.03/2.90 decisions=1211, wrong=434, backtracks=96, failedAssignments=352, nogoods=128 5.03/2.90 5.03/2.96 num=16, depth=0..26, filters=8806, revisions=(35532,useless=28136), ccks=871430, wck=0.686, mem=50M367 5.03/2.96 decisions=1351, wrong=493, backtracks=117, failedAssignments=397, nogoods=142 5.03/2.96 5.03/2.99 num=17, depth=22..26, filters=9785, revisions=(38525,useless=30284), ccks=914346, wck=0.72, mem=50M367 5.03/2.99 decisions=1497, wrong=554, backtracks=129, failedAssignments=447, nogoods=152 5.03/2.99 5.14/3.03 num=18, depth=23..29, filters=10844, revisions=(42076,useless=32971), ccks=961723, wck=0.76, mem=50M367 5.14/3.03 decisions=1662, wrong=625, backtracks=149, failedAssignments=502, nogoods=157 5.14/3.03 5.14/3.09 num=19, depth=0..25, filters=12108, revisions=(46411,useless=36228), ccks=1037701, wck=0.817, mem=53M9 5.14/3.09 decisions=1853, wrong=709, backtracks=177, failedAssignments=563, nogoods=170 5.14/3.09 5.24/3.13 num=20, depth=18..23, filters=13232, revisions=(50078,useless=38954), ccks=1085729, wck=0.857, mem=53M9 5.24/3.13 decisions=2037, wrong=792, backtracks=198, failedAssignments=630, nogoods=171 5.24/3.13 5.24/3.18 num=21, depth=0..25, filters=14609, revisions=(54200,useless=41891), ccks=1161718, wck=0.914, mem=53M9 5.24/3.18 decisions=2233, wrong=880, backtracks=214, failedAssignments=704, nogoods=181 5.24/3.18 5.33/3.23 num=22, depth=22..27, filters=16019, revisions=(59150,useless=45681), ccks=1214884, wck=0.96, mem=53M9 5.33/3.23 decisions=2481, wrong=993, backtracks=255, failedAssignments=785, nogoods=189 5.33/3.23 5.33/3.28 num=23, depth=20..28, filters=17586, revisions=(63893,useless=49130), ccks=1268794, wck=1.008, mem=53M9 5.33/3.28 decisions=2748, wrong=1114, backtracks=295, failedAssignments=874, nogoods=204 5.33/3.28 5.44/3.32 num=24, depth=20..29, filters=19138, revisions=(68237,useless=52177), ccks=1319813, wck=1.05, mem=53M9 5.44/3.32 decisions=3007, wrong=1232, backtracks=318, failedAssignments=972, nogoods=213 5.44/3.32 5.44/3.37 num=25, depth=24..30, filters=20776, revisions=(73374,useless=56014), ccks=1384405, wck=1.105, mem=55M652 5.44/3.37 decisions=3327, wrong=1380, backtracks=366, failedAssignments=1080, nogoods=218 5.44/3.37 5.54/3.45 num=26, depth=0..25, filters=23012, revisions=(80097,useless=60860), ccks=1484799, wck=1.184, mem=55M652 5.54/3.45 decisions=3661, wrong=1536, backtracks=406, failedAssignments=1199, nogoods=235 5.54/3.45 5.68/3.52 num=27, depth=22..29, filters=25686, revisions=(86980,useless=65490), ccks=1552765, wck=1.248, mem=55M652 5.68/3.52 decisions=4038, wrong=1712, backtracks=461, failedAssignments=1330, nogoods=248 5.68/3.52 5.78/3.60 num=28, depth=0..31, filters=28175, revisions=(94066,useless=70551), ccks=1655142, wck=1.329, mem=55M652 5.78/3.60 decisions=4436, wrong=1898, backtracks=505, failedAssignments=1474, nogoods=260 5.78/3.60 5.78/3.68 num=29, depth=15..27, filters=31337, revisions=(103126,useless=76957), ccks=1734196, wck=1.405, mem=58M294 5.78/3.68 decisions=4868, wrong=2103, backtracks=574, failedAssignments=1632, nogoods=266 5.78/3.68 5.89/3.74 num=30, depth=21..28, filters=34403, revisions=(111510,useless=82868), ccks=1804744, wck=1.472, mem=58M294 5.89/3.74 decisions=5373, wrong=2344, backtracks=660, failedAssignments=1806, nogoods=278 5.89/3.74 5.89/3.79 o 7 5.89/3.79 num=31, depth=20..64, filters=35905, revisions=(115838,useless=85994), ccks=1856309, wck=1.52, mem=58M294 5.89/3.79 decisions=5622, wrong=2455, backtracks=689, failedAssignments=1890, nogoods=289, foundSolutions=1, bestBound=7 5.89/3.79 6.01/3.87 num=32, depth=16..29, filters=39908, revisions=(126517,useless=93255), ccks=1929026, wck=1.596, mem=60M936 6.01/3.87 decisions=6190, wrong=2727, backtracks=762, failedAssignments=2101, nogoods=300, foundSolutions=1, bestBound=7 6.01/3.87 6.01/3.89 num=33, depth=26..29, filters=40185, revisions=(128258,useless=94772), ccks=1962869, wck=1.618, mem=60M936 6.01/3.89 decisions=6244, wrong=2741, backtracks=766, failedAssignments=2112, nogoods=302, foundSolutions=1, bestBound=7 6.01/3.89 6.18/3.92 num=34, depth=0..26, filters=40491, revisions=(129969,useless=96226), ccks=2022067, wck=1.653, mem=60M936 6.18/3.92 decisions=6297, wrong=2755, backtracks=768, failedAssignments=2124, nogoods=306, foundSolutions=1, bestBound=7 6.18/3.92 6.18/3.95 num=35, depth=23..28, filters=40857, revisions=(131871,useless=97818), ccks=2057607, wck=1.677, mem=60M936 6.18/3.95 decisions=6352, wrong=2771, backtracks=772, failedAssignments=2137, nogoods=308, foundSolutions=1, bestBound=7 6.18/3.95 6.18/3.97 num=36, depth=24..27, filters=41282, revisions=(133929,useless=99513), ccks=2094069, wck=1.702, mem=60M936 6.18/3.97 decisions=6417, wrong=2791, backtracks=778, failedAssignments=2151, nogoods=310, foundSolutions=1, bestBound=7 6.18/3.97 6.18/3.99 num=37, depth=22..28, filters=41622, revisions=(135740,useless=101048), ccks=2127733, wck=1.724, mem=60M936 6.18/3.99 decisions=6483, wrong=2812, backtracks=783, failedAssignments=2167, nogoods=315, foundSolutions=1, bestBound=7 6.18/3.99 6.30/4.02 num=38, depth=24..29, filters=42075, revisions=(137917,useless=102839), ccks=2164793, wck=1.752, mem=60M936 6.30/4.02 decisions=6559, wrong=2838, backtracks=793, failedAssignments=2184, nogoods=317, foundSolutions=1, bestBound=7 6.30/4.02 6.30/4.06 num=39, depth=0..24, filters=42568, revisions=(139955,useless=104450), ccks=2227501, wck=1.79, mem=60M936 6.30/4.06 decisions=6629, wrong=2862, backtracks=798, failedAssignments=2203, nogoods=326, foundSolutions=1, bestBound=7 6.30/4.06 6.30/4.09 num=40, depth=23..27, filters=43179, revisions=(142490,useless=106463), ccks=2267603, wck=1.819, mem=60M936 6.30/4.09 decisions=6714, wrong=2892, backtracks=807, failedAssignments=2224, nogoods=330, foundSolutions=1, bestBound=7 6.30/4.09 6.39/4.11 num=41, depth=22..29, filters=43652, revisions=(144522,useless=108098), ccks=2300792, wck=1.842, mem=60M936 6.39/4.11 decisions=6800, wrong=2922, backtracks=816, failedAssignments=2247, nogoods=339, foundSolutions=1, bestBound=7 6.39/4.11 6.39/4.14 num=42, depth=19..27, filters=44220, revisions=(146722,useless=109806), ccks=2337189, wck=1.869, mem=60M936 6.39/4.14 decisions=6881, wrong=2950, backtracks=820, failedAssignments=2272, nogoods=349, foundSolutions=1, bestBound=7 6.39/4.14 6.39/4.17 num=43, depth=23..28, filters=44931, revisions=(149638,useless=112142), ccks=2377556, wck=1.898, mem=60M936 6.39/4.17 decisions=6983, wrong=2989, backtracks=837, failedAssignments=2300, nogoods=358, foundSolutions=1, bestBound=7 6.39/4.17 6.50/4.21 num=44, depth=0..30, filters=45665, revisions=(152322,useless=114199), ccks=2442865, wck=1.94, mem=63M579 6.50/4.21 decisions=7092, wrong=3031, backtracks=849, failedAssignments=2331, nogoods=361, foundSolutions=1, bestBound=7 6.50/4.21 6.50/4.26 num=45, depth=0..30, filters=46441, revisions=(155346,useless=116560), ccks=2512698, wck=1.986, mem=63M579 6.50/4.26 decisions=7211, wrong=3077, backtracks=862, failedAssignments=2365, nogoods=365, foundSolutions=1, bestBound=7 6.50/4.26 6.50/4.29 num=46, depth=23..27, filters=47229, revisions=(158275,useless=118812), ccks=2554022, wck=2.017, mem=63M579 6.50/4.29 decisions=7325, wrong=3122, backtracks=873, failedAssignments=2402, nogoods=385, foundSolutions=1, bestBound=7 6.50/4.29 6.62/4.34 num=47, depth=0..30, filters=48131, revisions=(161689,useless=121475), ccks=2626048, wck=2.066, mem=63M579 6.62/4.34 decisions=7469, wrong=3181, backtracks=892, failedAssignments=2443, nogoods=391, foundSolutions=1, bestBound=7 6.62/4.34 6.62/4.37 num=48, depth=25..29, filters=49004, revisions=(164899,useless=123953), ccks=2669981, wck=2.099, mem=63M579 6.62/4.37 decisions=7607, wrong=3237, backtracks=906, failedAssignments=2488, nogoods=398, foundSolutions=1, bestBound=7 6.62/4.37 6.72/4.41 num=49, depth=15..27, filters=49949, revisions=(168463,useless=126706), ccks=2716853, wck=2.136, mem=63M579 6.72/4.41 decisions=7756, wrong=3299, backtracks=919, failedAssignments=2538, nogoods=417, foundSolutions=1, bestBound=7 6.72/4.41 6.72/4.46 num=50, depth=0..29, filters=51120, revisions=(172446,useless=129690), ccks=2789767, wck=2.186, mem=63M579 6.72/4.46 decisions=7924, wrong=3370, backtracks=940, failedAssignments=2593, nogoods=434, foundSolutions=1, bestBound=7 6.72/4.46 6.72/4.50 num=51, depth=25..31, filters=52243, revisions=(176552,useless=132871), ccks=2840855, wck=2.225, mem=66M221 6.72/4.50 decisions=8113, wrong=3451, backtracks=965, failedAssignments=2654, nogoods=437, foundSolutions=1, bestBound=7 6.72/4.50 6.82/4.53 num=52, depth=25..29, filters=53527, revisions=(180518,useless=135746), ccks=2888520, wck=2.264, mem=66M221 6.82/4.53 decisions=8302, wrong=3532, backtracks=984, failedAssignments=2721, nogoods=444, foundSolutions=1, bestBound=7 6.82/4.53 6.82/4.58 num=53, depth=25..30, filters=54779, revisions=(184782,useless=138968), ccks=2939980, wck=2.306, mem=66M221 6.82/4.58 decisions=8522, wrong=3629, backtracks=1010, failedAssignments=2795, nogoods=458, foundSolutions=1, bestBound=7 6.82/4.58 6.93/4.62 num=54, depth=25..29, filters=56128, revisions=(188854,useless=141943), ccks=2990814, wck=2.346, mem=66M221 6.93/4.62 decisions=8757, wrong=3733, backtracks=1039, failedAssignments=2876, nogoods=474, foundSolutions=1, bestBound=7 6.93/4.62 6.93/4.67 num=55, depth=22..30, filters=57714, revisions=(193929,useless=145716), ccks=3051314, wck=2.396, mem=66M221 6.93/4.67 decisions=9020, wrong=3852, backtracks=1077, failedAssignments=2965, nogoods=478, foundSolutions=1, bestBound=7 6.93/4.67 7.05/4.72 num=56, depth=23..27, filters=59712, revisions=(199728,useless=149846), ccks=3114123, wck=2.451, mem=66M221 7.05/4.72 decisions=9319, wrong=3990, backtracks=1118, failedAssignments=3063, nogoods=494, foundSolutions=1, bestBound=7 7.05/4.72 7.05/4.78 num=57, depth=22..27, filters=61854, revisions=(206346,useless=154621), ccks=3187892, wck=2.514, mem=68M864 7.05/4.78 decisions=9616, wrong=4127, backtracks=1153, failedAssignments=3171, nogoods=508, foundSolutions=1, bestBound=7 7.05/4.78 7.18/4.83 num=58, depth=22..31, filters=63797, revisions=(212034,useless=158736), ccks=3247805, wck=2.564, mem=68M864 7.18/4.83 decisions=9964, wrong=4288, backtracks=1204, failedAssignments=3290, nogoods=518, foundSolutions=1, bestBound=7 7.18/4.83 7.18/4.89 num=59, depth=19..30, filters=66122, revisions=(218978,useless=163799), ccks=3314668, wck=2.623, mem=68M864 7.18/4.89 decisions=10353, wrong=4470, backtracks=1271, failedAssignments=3421, nogoods=527, foundSolutions=1, bestBound=7 7.18/4.89 7.28/4.96 num=60, depth=20..31, filters=68702, revisions=(226392,useless=169087), ccks=3391262, wck=2.69, mem=68M864 7.28/4.96 decisions=10741, wrong=4653, backtracks=1325, failedAssignments=3565, nogoods=538, foundSolutions=1, bestBound=7 7.28/4.96 7.39/5.03 num=61, depth=21..29, filters=71390, revisions=(234406,useless=174853), ccks=3473425, wck=2.764, mem=71M506 7.39/5.03 decisions=11183, wrong=4862, backtracks=1389, failedAssignments=3723, nogoods=557, foundSolutions=1, bestBound=7 7.39/5.03 7.50/5.11 num=62, depth=17..29, filters=74678, revisions=(243252,useless=180965), ccks=3555615, wck=2.84, mem=71M506 7.50/5.11 decisions=11674, wrong=5095, backtracks=1454, failedAssignments=3897, nogoods=566, foundSolutions=1, bestBound=7 7.50/5.11 7.60/5.21 num=63, depth=21..26, filters=78375, revisions=(254668,useless=189162), ccks=3658665, wck=2.936, mem=71M506 7.60/5.21 decisions=12170, wrong=5332, backtracks=1519, failedAssignments=4088, nogoods=597, foundSolutions=1, bestBound=7 7.60/5.21 7.60/5.29 num=64, depth=21..29, filters=81853, revisions=(264014,useless=195713), ccks=3749578, wck=3.021, mem=74M149 7.60/5.29 decisions=12748, wrong=5609, backtracks=1602, failedAssignments=4299, nogoods=614, foundSolutions=1, bestBound=7 7.60/5.29 7.74/5.39 num=65, depth=20..29, filters=86305, revisions=(275941,useless=203895), ccks=3859041, wck=3.125, mem=74M149 7.74/5.39 decisions=13372, wrong=5910, backtracks=1690, failedAssignments=4531, nogoods=633, foundSolutions=1, bestBound=7 7.74/5.39 7.84/5.49 num=66, depth=23..29, filters=91018, revisions=(287923,useless=212094), ccks=3957264, wck=3.22, mem=76M791 7.84/5.49 decisions=14118, wrong=6271, backtracks=1827, failedAssignments=4786, nogoods=646, foundSolutions=1, bestBound=7 7.84/5.49 8.04/5.63 num=67, depth=20..28, filters=96702, revisions=(305501,useless=224883), ccks=4101216, wck=3.36, mem=76M791 8.04/5.63 decisions=14889, wrong=6645, backtracks=1966, failedAssignments=5067, nogoods=675, foundSolutions=1, bestBound=7 8.04/5.63 8.14/5.74 num=68, depth=20..28, filters=102339, revisions=(319925,useless=234572), ccks=4213678, wck=3.474, mem=79M433 8.14/5.74 decisions=15720, wrong=7050, backtracks=2087, failedAssignments=5376, nogoods=681, foundSolutions=1, bestBound=7 8.14/5.74 8.25/5.89 num=69, depth=21..29, filters=108181, revisions=(336538,useless=246330), ccks=4364292, wck=3.619, mem=79M433 8.25/5.89 decisions=16625, wrong=7491, backtracks=2211, failedAssignments=5716, nogoods=696, foundSolutions=1, bestBound=7 8.25/5.89 8.45/6.03 num=70, depth=22..29, filters=114819, revisions=(354133,useless=258324), ccks=4505098, wck=3.763, mem=82M76 8.45/6.03 decisions=17622, wrong=7978, backtracks=2346, failedAssignments=6090, nogoods=708, foundSolutions=1, bestBound=7 8.45/6.03 8.65/6.20 num=71, depth=21..28, filters=122697, revisions=(376094,useless=273673), ccks=4676013, wck=3.935, mem=84M718 8.65/6.20 decisions=18747, wrong=8529, backtracks=2511, failedAssignments=6501, nogoods=735, foundSolutions=1, bestBound=7 8.65/6.20 8.75/6.37 num=72, depth=20..28, filters=130480, revisions=(397027,useless=288149), ccks=4837213, wck=4.101, mem=84M718 8.75/6.37 decisions=19978, wrong=9132, backtracks=2701, failedAssignments=6953, nogoods=751, foundSolutions=1, bestBound=7 8.75/6.37 8.95/6.56 num=73, depth=21..28, filters=138761, revisions=(418974,useless=303214), ccks=5025945, wck=4.291, mem=87M361 8.95/6.56 decisions=21316, wrong=9790, backtracks=2897, failedAssignments=7450, nogoods=764, foundSolutions=1, bestBound=7 8.95/6.56 9.05/6.70 o 4 9.05/6.70 num=74, depth=0..64, filters=143850, revisions=(432923,useless=312860), ccks=5179350, wck=4.426, mem=90M3 9.05/6.70 decisions=22099, wrong=10167, backtracks=3002, failedAssignments=7739, nogoods=792, foundSolutions=2, bestBound=4 9.05/6.70 9.32/6.89 num=75, depth=23..31, filters=154827, revisions=(462952,useless=333837), ccks=5357973, wck=4.622, mem=90M3 9.32/6.89 decisions=23809, wrong=11009, backtracks=3291, failedAssignments=8341, nogoods=816, foundSolutions=2, bestBound=4 9.32/6.89 9.42/6.92 num=76, depth=21..30, filters=155159, revisions=(464953,useless=335562), ccks=5392992, wck=4.646, mem=90M3 9.42/6.92 decisions=23864, wrong=11023, backtracks=3296, failedAssignments=8352, nogoods=824, foundSolutions=2, bestBound=4 9.42/6.92 9.42/6.94 num=77, depth=26..28, filters=155480, revisions=(466643,useless=336985), ccks=5425574, wck=4.668, mem=92M646 9.42/6.94 decisions=23921, wrong=11038, backtracks=3300, failedAssignments=8364, nogoods=830, foundSolutions=2, bestBound=4 9.42/6.94 9.42/6.98 num=78, depth=0..29, filters=155829, revisions=(468589,useless=338641), ccks=5486684, wck=4.707, mem=92M646 9.42/6.98 decisions=23980, wrong=11054, backtracks=3305, failedAssignments=8377, nogoods=839, foundSolutions=2, bestBound=4 9.42/6.98 9.42/7.00 num=79, depth=25..29, filters=156235, revisions=(470445,useless=340159), ccks=5519172, wck=4.729, mem=92M646 9.42/7.00 decisions=24046, wrong=11074, backtracks=3311, failedAssignments=8391, nogoods=843, foundSolutions=2, bestBound=4 9.42/7.00 9.53/7.03 num=80, depth=25..27, filters=156663, revisions=(472576,useless=341932), ccks=5555686, wck=4.756, mem=92M646 9.53/7.03 decisions=24114, wrong=11095, backtracks=3319, failedAssignments=8407, nogoods=850, foundSolutions=2, bestBound=4 9.53/7.03 9.53/7.05 num=81, depth=24..27, filters=157037, revisions=(474316,useless=343361), ccks=5587002, wck=4.777, mem=92M646 9.53/7.05 decisions=24180, wrong=11116, backtracks=3324, failedAssignments=8424, nogoods=852, foundSolutions=2, bestBound=4 9.53/7.05 9.53/7.07 num=82, depth=25..28, filters=157502, revisions=(476572,useless=345234), ccks=5623399, wck=4.804, mem=92M646 9.53/7.07 decisions=24259, wrong=11143, backtracks=3333, failedAssignments=8443, nogoods=861, foundSolutions=2, bestBound=4 9.53/7.07 9.53/7.10 num=83, depth=25..29, filters=157990, revisions=(478668,useless=346913), ccks=5657673, wck=4.828, mem=92M646 9.53/7.10 decisions=24341, wrong=11171, backtracks=3341, failedAssignments=8464, nogoods=867, foundSolutions=2, bestBound=4 9.53/7.10 9.64/7.13 num=84, depth=26..30, filters=158600, revisions=(481217,useless=348958), ccks=5696701, wck=4.856, mem=92M646 9.64/7.13 decisions=24434, wrong=11204, backtracks=3355, failedAssignments=8487, nogoods=875, foundSolutions=2, bestBound=4 9.64/7.13 9.64/7.15 num=85, depth=23..26, filters=159055, revisions=(483197,useless=350558), ccks=5731688, wck=4.879, mem=92M646 9.64/7.15 decisions=24517, wrong=11233, backtracks=3360, failedAssignments=8512, nogoods=887, foundSolutions=2, bestBound=4 9.64/7.15 9.64/7.18 num=86, depth=25..30, filters=159714, revisions=(485889,useless=352705), ccks=5772663, wck=4.908, mem=92M646 9.64/7.18 decisions=24624, wrong=11273, backtracks=3372, failedAssignments=8540, nogoods=890, foundSolutions=2, bestBound=4 9.64/7.18 9.73/7.21 num=87, depth=23..26, filters=160463, revisions=(488667,useless=354845), ccks=5812510, wck=4.937, mem=92M646 9.73/7.21 decisions=24729, wrong=11314, backtracks=3387, failedAssignments=8571, nogoods=907, foundSolutions=2, bestBound=4 9.73/7.21 9.73/7.24 num=88, depth=24..28, filters=161183, revisions=(491468,useless=357045), ccks=5853176, wck=4.967, mem=92M646 9.73/7.24 decisions=24842, wrong=11358, backtracks=3401, failedAssignments=8605, nogoods=918, foundSolutions=2, bestBound=4 9.73/7.24 9.73/7.27 num=89, depth=25..29, filters=162033, revisions=(494321,useless=359180), ccks=5893108, wck=4.996, mem=95M288 9.73/7.27 decisions=24968, wrong=11408, backtracks=3415, failedAssignments=8642, nogoods=920, foundSolutions=2, bestBound=4 9.73/7.27 9.83/7.30 num=90, depth=21..31, filters=162849, revisions=(497493,useless=361660), ccks=5936393, wck=5.027, mem=95M288 9.83/7.30 decisions=25096, wrong=11460, backtracks=3432, failedAssignments=8683, nogoods=925, foundSolutions=2, bestBound=4 9.83/7.30 9.83/7.32 num=91, depth=23..28, filters=163531, revisions=(499971,useless=363571), ccks=5973952, wck=5.054, mem=95M288 9.83/7.32 decisions=25233, wrong=11516, backtracks=3444, failedAssignments=8728, nogoods=930, foundSolutions=2, bestBound=4 9.83/7.32 9.83/7.36 num=92, depth=23..27, filters=164413, revisions=(503320,useless=366175), ccks=6018072, wck=5.088, mem=95M288 9.83/7.36 decisions=25381, wrong=11578, backtracks=3458, failedAssignments=8778, nogoods=934, foundSolutions=2, bestBound=4 9.83/7.36 9.83/7.39 num=93, depth=24..28, filters=165587, revisions=(507091,useless=368968), ccks=6062773, wck=5.123, mem=95M288 9.83/7.39 decisions=25558, wrong=11654, backtracks=3484, failedAssignments=8833, nogoods=939, foundSolutions=2, bestBound=4 9.83/7.39 9.93/7.43 num=94, depth=23..29, filters=166602, revisions=(510772,useless=371821), ccks=6112528, wck=5.162, mem=95M288 9.93/7.43 decisions=25740, wrong=11732, backtracks=3502, failedAssignments=8894, nogoods=949, foundSolutions=2, bestBound=4 9.93/7.43 9.93/7.47 num=95, depth=23..28, filters=167801, revisions=(514646,useless=374695), ccks=6162005, wck=5.201, mem=95M288 9.93/7.47 decisions=25945, wrong=11823, backtracks=3531, failedAssignments=8961, nogoods=952, foundSolutions=2, bestBound=4 9.93/7.47 10.03/7.51 num=96, depth=23..29, filters=169127, revisions=(519265,useless=378216), ccks=6216166, wck=5.245, mem=95M288 10.03/7.51 decisions=26165, wrong=11921, backtracks=3562, failedAssignments=9035, nogoods=963, foundSolutions=2, bestBound=4 10.03/7.51 10.03/7.56 num=97, depth=21..25, filters=170887, revisions=(524455,useless=381859), ccks=6275125, wck=5.295, mem=97M931 10.03/7.56 decisions=26384, wrong=12019, backtracks=3584, failedAssignments=9116, nogoods=977, foundSolutions=2, bestBound=4 10.03/7.56 10.15/7.61 num=98, depth=22..27, filters=172538, revisions=(529591,useless=385604), ccks=6332465, wck=5.343, mem=97M931 10.15/7.61 decisions=26626, wrong=12128, backtracks=3608, failedAssignments=9205, nogoods=984, foundSolutions=2, bestBound=4 10.15/7.61 10.15/7.66 num=99, depth=22..28, filters=174288, revisions=(534889,useless=389472), ccks=6390702, wck=5.392, mem=97M931 10.15/7.66 decisions=26906, wrong=12256, backtracks=3647, failedAssignments=9303, nogoods=999, foundSolutions=2, bestBound=4 10.15/7.66 10.24/7.72 num=100, depth=25..30, filters=176305, revisions=(541033,useless=393960), ccks=6458586, wck=5.448, mem=97M931 10.24/7.72 decisions=27223, wrong=12401, backtracks=3689, failedAssignments=9411, nogoods=1007, foundSolutions=2, bestBound=4 10.24/7.72 10.24/7.77 num=101, depth=23..27, filters=178399, revisions=(546887,useless=398043), ccks=6519266, wck=5.502, mem=97M931 10.24/7.77 decisions=27556, wrong=12555, backtracks=3729, failedAssignments=9530, nogoods=1019, foundSolutions=2, bestBound=4 10.24/7.77 10.35/7.83 num=102, depth=21..27, filters=180505, revisions=(553360,useless=402743), ccks=6585639, wck=5.56, mem=100M573 10.35/7.83 decisions=27902, wrong=12717, backtracks=3766, failedAssignments=9661, nogoods=1028, foundSolutions=2, bestBound=4 10.35/7.83 10.45/7.91 num=103, depth=0..29, filters=183315, revisions=(561098,useless=408159), ccks=6683297, wck=5.638, mem=100M573 10.45/7.91 decisions=28346, wrong=12927, backtracks=3840, failedAssignments=9805, nogoods=1038, foundSolutions=2, bestBound=4 10.45/7.91 10.45/7.98 num=104, depth=23..30, filters=185854, revisions=(568569,useless=413607), ccks=6761220, wck=5.706, mem=100M573 10.45/7.98 decisions=28810, wrong=13147, backtracks=3920, failedAssignments=9963, nogoods=1044, foundSolutions=2, bestBound=4 10.45/7.98 10.56/8.05 num=105, depth=22..28, filters=189123, revisions=(577524,useless=419877), ccks=6840043, wck=5.783, mem=103M216 10.56/8.05 decisions=29318, wrong=13389, backtracks=4009, failedAssignments=10137, nogoods=1066, foundSolutions=2, bestBound=4 10.56/8.05 10.69/8.12 num=106, depth=23..29, filters=191982, revisions=(585675,useless=425729), ccks=6911646, wck=5.849, mem=103M216 10.69/8.12 decisions=29842, wrong=13639, backtracks=4089, failedAssignments=10328, nogoods=1074, foundSolutions=2, bestBound=4 10.69/8.12 10.78/8.21 num=107, depth=0..31, filters=195587, revisions=(595352,useless=432514), ccks=7022335, wck=5.941, mem=103M216 10.78/8.21 decisions=30455, wrong=13933, backtracks=4189, failedAssignments=10539, nogoods=1081, foundSolutions=2, bestBound=4 10.78/8.21 10.90/8.31 num=108, depth=25..34, filters=199428, revisions=(606850,useless=440908), ccks=7124779, wck=6.035, mem=105M858 10.90/8.31 decisions=31133, wrong=14259, backtracks=4305, failedAssignments=10771, nogoods=1085, foundSolutions=2, bestBound=4 10.90/8.31 11.02/8.40 num=109, depth=23..31, filters=204018, revisions=(618792,useless=449051), ccks=7228276, wck=6.134, mem=105M858 11.02/8.40 decisions=31844, wrong=14602, backtracks=4415, failedAssignments=11026, nogoods=1096, foundSolutions=2, bestBound=4 11.02/8.40 11.12/8.52 num=110, depth=23..31, filters=209265, revisions=(633118,useless=459116), ccks=7351939, wck=6.255, mem=105M858 11.12/8.52 decisions=32660, wrong=14998, backtracks=4556, failedAssignments=11307, nogoods=1103, foundSolutions=2, bestBound=4 11.12/8.52 11.22/8.65 num=111, depth=20..31, filters=215676, revisions=(650283,useless=470975), ccks=7475167, wck=6.385, mem=108M500 11.22/8.65 decisions=33566, wrong=15438, backtracks=4716, failedAssignments=11616, nogoods=1114, foundSolutions=2, bestBound=4 11.22/8.65 11.42/8.80 num=112, depth=22..29, filters=221713, revisions=(667136,useless=482981), ccks=7621184, wck=6.528, mem=111M143 11.42/8.80 decisions=34504, wrong=15895, backtracks=4852, failedAssignments=11956, nogoods=1118, foundSolutions=2, bestBound=4 11.42/8.80 11.52/8.93 num=113, depth=23..30, filters=228680, revisions=(684594,useless=494740), ccks=7749033, wck=6.661, mem=111M143 11.52/8.93 decisions=35584, wrong=16423, backtracks=5032, failedAssignments=12330, nogoods=1153, foundSolutions=2, bestBound=4 11.52/8.93 11.73/9.12 num=114, depth=21..28, filters=236766, revisions=(708562,useless=511811), ccks=7931839, wck=6.848, mem=113M785 11.73/9.12 decisions=36689, wrong=16964, backtracks=5183, failedAssignments=12741, nogoods=1174, foundSolutions=2, bestBound=4 11.73/9.12 11.73/9.19 num=115, depth=22..31, filters=243124, revisions=(729015,useless=526633), ccks=8017909, wck=6.923, mem=113M785 11.73/9.19 decisions=37715, wrong=17465, backtracks=5251, failedAssignments=13193, nogoods=1223, foundSolutions=2, bestBound=4 11.73/9.19 11.93/9.37 num=116, depth=22..28, filters=251538, revisions=(751208,useless=542004), ccks=8188951, wck=7.097, mem=116M428 11.93/9.37 decisions=39100, wrong=18145, backtracks=5470, failedAssignments=13690, nogoods=1247, foundSolutions=2, bestBound=4 11.93/9.37 12.13/9.59 num=117, depth=20..28, filters=262264, revisions=(781047,useless=562856), ccks=8405509, wck=7.324, mem=119M70 12.13/9.59 decisions=40538, wrong=18852, backtracks=5695, failedAssignments=14237, nogoods=1269, foundSolutions=2, bestBound=4 12.13/9.59 12.33/9.70 o 3 12.33/9.70 num=118, depth=23..64, filters=267094, revisions=(794616,useless=572551), ccks=8518549, wck=7.434, mem=119M70 12.33/9.70 decisions=41394, wrong=19265, backtracks=5852, failedAssignments=14526, nogoods=1290, foundSolutions=3, bestBound=3 12.33/9.70 12.43/9.89 num=119, depth=30..37, filters=283663, revisions=(833241,useless=596399), ccks=8681494, wck=7.62, mem=121M713 12.43/9.89 decisions=43135, wrong=20119, backtracks=6066, failedAssignments=15188, nogoods=1320, foundSolutions=3, bestBound=3 12.43/9.89 12.54/9.91 num=120, depth=25..28, filters=284070, revisions=(835202,useless=598012), ccks=8716357, wck=7.643, mem=121M713 12.54/9.91 decisions=43195, wrong=20136, backtracks=6073, failedAssignments=15199, nogoods=1329, foundSolutions=3, bestBound=3 12.54/9.91 12.54/9.94 num=121, depth=27..30, filters=284475, revisions=(837264,useless=599740), ccks=8752172, wck=7.668, mem=121M713 12.54/9.94 decisions=43257, wrong=20153, backtracks=6078, failedAssignments=15211, nogoods=1338, foundSolutions=3, bestBound=3 12.54/9.94 12.54/9.96 num=122, depth=24..27, filters=284881, revisions=(839130,useless=601268), ccks=8785526, wck=7.69, mem=121M713 12.54/9.96 decisions=43318, wrong=20170, backtracks=6083, failedAssignments=15224, nogoods=1343, foundSolutions=3, bestBound=3 12.54/9.96 12.54/9.98 num=123, depth=24..27, filters=285220, revisions=(841012,useless=602868), ccks=8818449, wck=7.712, mem=124M355 12.54/9.98 decisions=43378, wrong=20187, backtracks=6087, failedAssignments=15238, nogoods=1348, foundSolutions=3, bestBound=3 12.54/9.98 12.54/10.00 num=124, depth=25..28, filters=285565, revisions=(842885,useless=604451), ccks=8853260, wck=7.734, mem=124M355 12.54/10.00 decisions=43440, wrong=20205, backtracks=6089, failedAssignments=15254, nogoods=1360, foundSolutions=3, bestBound=3 12.54/10.00 12.65/10.03 num=125, depth=24..32, filters=285973, revisions=(845021,useless=606246), ccks=8890684, wck=7.76, mem=124M355 12.65/10.03 decisions=43513, wrong=20228, backtracks=6099, failedAssignments=15271, nogoods=1366, foundSolutions=3, bestBound=3 12.65/10.03 12.65/10.07 num=126, depth=0..31, filters=286413, revisions=(847190,useless=608041), ccks=8953551, wck=7.798, mem=124M355 12.65/10.07 decisions=43586, wrong=20251, backtracks=6104, failedAssignments=15290, nogoods=1368, foundSolutions=3, bestBound=3 12.65/10.07 12.65/10.09 num=127, depth=24..27, filters=286905, revisions=(849449,useless=609892), ccks=8990673, wck=7.824, mem=124M355 12.65/10.09 decisions=43664, wrong=20278, backtracks=6110, failedAssignments=15311, nogoods=1371, foundSolutions=3, bestBound=3 12.65/10.09 12.77/10.12 num=128, depth=24..28, filters=287473, revisions=(851896,useless=611861), ccks=9028924, wck=7.851, mem=124M355 12.77/10.12 decisions=43751, wrong=20309, backtracks=6119, failedAssignments=15334, nogoods=1375, foundSolutions=3, bestBound=3 12.77/10.12 12.77/10.14 num=129, depth=25..31, filters=287974, revisions=(854181,useless=613740), ccks=9065027, wck=7.875, mem=124M355 12.77/10.14 decisions=43840, wrong=20340, backtracks=6127, failedAssignments=15359, nogoods=1381, foundSolutions=3, bestBound=3 12.77/10.14 12.77/10.17 num=130, depth=20..28, filters=288587, revisions=(856754,useless=615805), ccks=9103867, wck=7.903, mem=124M355 12.77/10.17 decisions=43938, wrong=20376, backtracks=6138, failedAssignments=15387, nogoods=1389, foundSolutions=3, bestBound=3 12.77/10.17 12.86/10.20 num=131, depth=23..29, filters=289320, revisions=(859627,useless=618057), ccks=9141972, wck=7.932, mem=124M355 12.86/10.20 decisions=44048, wrong=20419, backtracks=6153, failedAssignments=15418, nogoods=1391, foundSolutions=3, bestBound=3 12.86/10.20 12.86/10.24 num=132, depth=22..27, filters=290221, revisions=(862898,useless=620558), ccks=9187722, wck=7.967, mem=124M355 12.86/10.24 decisions=44164, wrong=20465, backtracks=6170, failedAssignments=15452, nogoods=1405, foundSolutions=3, bestBound=3 12.86/10.24 12.86/10.27 num=133, depth=25..28, filters=290946, revisions=(865618,useless=622677), ccks=9229073, wck=7.997, mem=124M355 12.86/10.27 decisions=44284, wrong=20512, backtracks=6180, failedAssignments=15489, nogoods=1416, foundSolutions=3, bestBound=3 12.86/10.27 12.96/10.30 num=134, depth=23..28, filters=291641, revisions=(868561,useless=625045), ccks=9271897, wck=8.028, mem=126M997 12.96/10.30 decisions=44415, wrong=20565, backtracks=6195, failedAssignments=15530, nogoods=1425, foundSolutions=3, bestBound=3 12.96/10.30 12.96/10.33 num=135, depth=23..27, filters=292598, revisions=(871804,useless=627503), ccks=9314658, wck=8.061, mem=126M997 12.96/10.33 decisions=44566, wrong=20629, backtracks=6217, failedAssignments=15575, nogoods=1428, foundSolutions=3, bestBound=3 12.96/10.33 12.96/10.37 num=136, depth=20..29, filters=293693, revisions=(875717,useless=630502), ccks=9363216, wck=8.1, mem=126M997 12.96/10.37 decisions=44736, wrong=20701, backtracks=6243, failedAssignments=15625, nogoods=1432, foundSolutions=3, bestBound=3 12.96/10.37 13.06/10.40 num=137, depth=23..28, filters=294828, revisions=(879402,useless=633272), ccks=9406108, wck=8.135, mem=126M997 13.06/10.40 decisions=44906, wrong=20774, backtracks=6264, failedAssignments=15680, nogoods=1436, foundSolutions=3, bestBound=3 13.06/10.40 13.06/10.45 num=138, depth=24..29, filters=296134, revisions=(883533,useless=636321), ccks=9456905, wck=8.176, mem=126M997 13.06/10.45 decisions=45111, wrong=20864, backtracks=6295, failedAssignments=15741, nogoods=1443, foundSolutions=3, bestBound=3 13.06/10.45 13.06/10.48 num=139, depth=26..36, filters=297368, revisions=(887781,useless=639586), ccks=9502261, wck=8.21, mem=126M997 13.06/10.48 decisions=45332, wrong=20960, backtracks=6333, failedAssignments=15808, nogoods=1449, foundSolutions=3, bestBound=3 13.06/10.48 13.17/10.52 num=140, depth=23..30, filters=298691, revisions=(892252,useless=642973), ccks=9554582, wck=8.253, mem=126M997 13.17/10.52 decisions=45557, wrong=21060, backtracks=6367, failedAssignments=15882, nogoods=1453, foundSolutions=3, bestBound=3 13.17/10.52 13.17/10.56 num=141, depth=24..32, filters=299942, revisions=(896316,useless=645991), ccks=9602965, wck=8.29, mem=129M640 13.17/10.56 decisions=45788, wrong=21163, backtracks=6396, failedAssignments=15963, nogoods=1459, foundSolutions=3, bestBound=3 13.17/10.56 13.27/10.60 num=142, depth=25..30, filters=301368, revisions=(900706,useless=649191), ccks=9656444, wck=8.333, mem=129M640 13.27/10.60 decisions=46031, wrong=21271, backtracks=6419, failedAssignments=16052, nogoods=1475, foundSolutions=3, bestBound=3 13.27/10.60 13.27/10.65 num=143, depth=24..29, filters=302949, revisions=(905669,useless=652825), ccks=9718589, wck=8.385, mem=129M640 13.27/10.65 decisions=46305, wrong=21396, backtracks=6449, failedAssignments=16150, nogoods=1477, foundSolutions=3, bestBound=3 13.27/10.65 13.37/10.71 num=144, depth=20..26, filters=304930, revisions=(911656,useless=657192), ccks=9781296, wck=8.439, mem=129M640 13.37/10.71 decisions=46621, wrong=21542, backtracks=6493, failedAssignments=16258, nogoods=1493, foundSolutions=3, bestBound=3 13.37/10.71 13.37/10.77 num=145, depth=20..29, filters=307364, revisions=(918597,useless=662083), ccks=9850597, wck=8.501, mem=129M640 13.37/10.77 decisions=46961, wrong=21701, backtracks=6547, failedAssignments=16377, nogoods=1506, foundSolutions=3, bestBound=3 13.37/10.77 13.47/10.85 num=146, depth=0..29, filters=309999, revisions=(926199,useless=667468), ccks=9955075, wck=8.585, mem=132M282 13.47/10.85 decisions=47353, wrong=21884, backtracks=6606, failedAssignments=16508, nogoods=1521, foundSolutions=3, bestBound=3 13.47/10.85 13.57/10.93 num=147, depth=22..29, filters=312956, revisions=(934772,useless=673531), ccks=10030194, wck=8.656, mem=132M282 13.57/10.93 decisions=47753, wrong=22073, backtracks=6665, failedAssignments=16652, nogoods=1536, foundSolutions=3, bestBound=3 13.57/10.93 13.57/10.99 num=148, depth=23..29, filters=315755, revisions=(942630,useless=679031), ccks=10105539, wck=8.724, mem=132M282 13.57/10.99 decisions=48200, wrong=22284, backtracks=6731, failedAssignments=16810, nogoods=1546, foundSolutions=3, bestBound=3 13.57/10.99 13.68/11.06 num=149, depth=23..28, filters=318646, revisions=(950247,useless=684292), ccks=10172438, wck=8.787, mem=132M282 13.68/11.06 decisions=48668, wrong=22506, backtracks=6793, failedAssignments=16984, nogoods=1567, foundSolutions=3, bestBound=3 13.68/11.06 13.78/11.15 num=150, depth=23..27, filters=322101, revisions=(960692,useless=691868), ccks=10273903, wck=8.881, mem=134M925 13.78/11.15 decisions=49183, wrong=22751, backtracks=6856, failedAssignments=17175, nogoods=1580, foundSolutions=3, bestBound=3 13.78/11.15 13.87/11.24 num=151, depth=21..27, filters=326106, revisions=(972338,useless=700116), ccks=10367969, wck=8.974, mem=134M925 13.87/11.24 decisions=49738, wrong=23017, backtracks=6931, failedAssignments=17386, nogoods=1597, foundSolutions=3, bestBound=3 13.87/11.24 13.97/11.32 num=152, depth=24..34, filters=329989, revisions=(983079,useless=707550), ccks=10449185, wck=9.048, mem=137M567 13.97/11.32 decisions=50344, wrong=23307, backtracks=7002, failedAssignments=17618, nogoods=1613, foundSolutions=3, bestBound=3 13.97/11.32 14.12/11.41 num=153, depth=2..27, filters=335159, revisions=(994883,useless=715050), ccks=10549554, wck=9.141, mem=137M567 14.12/11.41 decisions=51005, wrong=23629, backtracks=7076, failedAssignments=17873, nogoods=1627, foundSolutions=3, bestBound=3 14.12/11.41 14.24/11.52 num=154, depth=23..30, filters=340089, revisions=(1007391,useless=723420), ccks=10656561, wck=9.246, mem=137M567 14.24/11.52 decisions=51754, wrong=23991, backtracks=7180, failedAssignments=18154, nogoods=1643, foundSolutions=3, bestBound=3 14.24/11.52 14.34/11.64 num=155, depth=21..29, filters=345419, revisions=(1022143,useless=733837), ccks=10782724, wck=9.37, mem=140M210 14.34/11.64 decisions=52630, wrong=24418, backtracks=7334, failedAssignments=18463, nogoods=1649, foundSolutions=3, bestBound=3 14.34/11.64 14.44/11.75 num=156, depth=22..30, filters=350758, revisions=(1035718,useless=743120), ccks=10891950, wck=9.477, mem=140M210 14.44/11.75 decisions=53571, wrong=24876, backtracks=7476, failedAssignments=18803, nogoods=1659, foundSolutions=3, bestBound=3 14.44/11.75 14.54/11.81 num=157, depth=21..36, filters=355370, revisions=(1052316,useless=755601), ccks=10968910, wck=9.541, mem=142M778 14.54/11.81 decisions=54394, wrong=25277, backtracks=7508, failedAssignments=19177, nogoods=1668, foundSolutions=3, bestBound=3 14.54/11.81 14.65/11.92 num=158, depth=6..30, filters=363573, revisions=(1069995,useless=766449), ccks=11081927, wck=9.654, mem=142M778 14.65/11.92 decisions=55439, wrong=25787, backtracks=7639, failedAssignments=19588, nogoods=1702, foundSolutions=3, bestBound=3 14.65/11.92 14.90/12.12 num=159, depth=22..29, filters=371807, revisions=(1093650,useless=783390), ccks=11269829, wck=9.855, mem=23M51 14.90/12.12 decisions=56722, wrong=26417, backtracks=7857, failedAssignments=20040, nogoods=1720, foundSolutions=3, bestBound=3 14.90/12.12 14.99/12.29 num=160, depth=22..28, filters=380740, revisions=(1115956,useless=798400), ccks=11432410, wck=10.024, mem=25M667 14.99/12.29 decisions=58123, wrong=27105, backtracks=8107, failedAssignments=20537, nogoods=1744, foundSolutions=3, bestBound=3 14.99/12.29 15.29/12.52 num=161, depth=21..29, filters=390986, revisions=(1144740,useless=818751), ccks=11656077, wck=10.254, mem=28M283 15.29/12.52 decisions=59655, wrong=27859, backtracks=8364, failedAssignments=21084, nogoods=1757, foundSolutions=3, bestBound=3 15.29/12.52 15.49/12.78 num=162, depth=22..28, filters=403056, revisions=(1175470,useless=839280), ccks=11907189, wck=10.512, mem=30M899 15.49/12.78 decisions=61309, wrong=28673, backtracks=8605, failedAssignments=21686, nogoods=1777, foundSolutions=3, bestBound=3 15.49/12.78 15.69/13.00 num=163, depth=22..29, filters=415170, revisions=(1205420,useless=859460), ccks=12112295, wck=10.732, mem=33M515 15.69/13.00 decisions=63225, wrong=29619, backtracks=8957, failedAssignments=22348, nogoods=1792, foundSolutions=3, bestBound=3 15.69/13.00 15.99/13.27 num=164, depth=22..30, filters=427941, revisions=(1238078,useless=881640), ccks=12376083, wck=11.005, mem=36M131 15.99/13.27 decisions=65255, wrong=30622, backtracks=9273, failedAssignments=23076, nogoods=1819, foundSolutions=3, bestBound=3 15.99/13.27 16.29/13.52 num=165, depth=21..28, filters=440544, revisions=(1270054,useless=903361), ccks=12613298, wck=11.253, mem=38M747 16.29/13.52 decisions=67392, wrong=31679, backtracks=9589, failedAssignments=23877, nogoods=1838, foundSolutions=3, bestBound=3 16.29/13.52 16.59/13.83 num=166, depth=21..29, filters=456025, revisions=(1310100,useless=930632), ccks=12908508, wck=11.565, mem=43M979 16.59/13.83 decisions=69804, wrong=32874, backtracks=9986, failedAssignments=24758, nogoods=1843, foundSolutions=3, bestBound=3 16.59/13.83 16.99/14.22 num=167, depth=19..30, filters=474309, revisions=(1359896,useless=965087), ccks=13271652, wck=11.95, mem=46M595 16.99/14.22 decisions=72407, wrong=34165, backtracks=10400, failedAssignments=25728, nogoods=1854, foundSolutions=3, bestBound=3 16.99/14.22 17.39/14.65 num=168, depth=21..29, filters=493929, revisions=(1411140,useless=1000206), ccks=13685102, wck=12.378, mem=51M827 17.39/14.65 decisions=75389, wrong=35644, backtracks=10890, failedAssignments=26795, nogoods=1871, foundSolutions=3, bestBound=3 17.39/14.65 17.80/15.03 num=169, depth=21..29, filters=514523, revisions=(1464722,useless=1036788), ccks=14029174, wck=12.755, mem=57M59 17.80/15.03 decisions=78603, wrong=37240, backtracks=11432, failedAssignments=27968, nogoods=1906, foundSolutions=3, bestBound=3 17.80/15.03 18.29/15.58 num=170, depth=21..28, filters=539922, revisions=(1531972,useless=1083229), ccks=14564097, wck=13.31, mem=62M291 18.29/15.58 decisions=82275, wrong=39065, backtracks=12066, failedAssignments=29259, nogoods=1919, foundSolutions=3, bestBound=3 18.29/15.58 18.80/16.05 num=171, depth=21..29, filters=564885, revisions=(1594244,useless=1125254), ccks=15001390, wck=13.782, mem=67M523 18.80/16.05 decisions=86183, wrong=41007, backtracks=12702, failedAssignments=30679, nogoods=1935, foundSolutions=3, bestBound=3 18.80/16.05 19.39/16.65 num=172, depth=21..30, filters=593692, revisions=(1670481,useless=1178019), ccks=15564526, wck=14.377, mem=75M371 19.39/16.65 decisions=90443, wrong=43126, backtracks=13407, failedAssignments=32241, nogoods=1957, foundSolutions=3, bestBound=3 19.39/16.65 19.99/17.20 num=173, depth=21..30, filters=624757, revisions=(1744916,useless=1226710), ccks=16058178, wck=14.933, mem=80M603 19.99/17.20 decisions=95079, wrong=45433, backtracks=14136, failedAssignments=33959, nogoods=1987, foundSolutions=3, bestBound=3 19.99/17.20 20.80/18.01 num=174, depth=20..29, filters=663073, revisions=(1851363,useless=1300969), ccks=16804774, wck=15.739, mem=91M67 20.80/18.01 decisions=100333, wrong=48048, backtracks=15017, failedAssignments=35849, nogoods=2010, foundSolutions=3, bestBound=3 20.80/18.01 21.23/18.44 num=175, depth=21..38, filters=694571, revisions=(1954693,useless=1378073), ccks=17214415, wck=16.171, mem=96M299 21.23/18.44 decisions=105709, wrong=50725, backtracks=15808, failedAssignments=37928, nogoods=2022, foundSolutions=3, bestBound=3 21.23/18.44 22.03/19.23 num=176, depth=20..29, filters=739090, revisions=(2065224,useless=1451192), ccks=17908965, wck=16.965, mem=104M147 22.03/19.23 decisions=111916, wrong=53816, backtracks=16758, failedAssignments=40215, nogoods=2037, foundSolutions=3, bestBound=3 22.03/19.23 23.03/20.20 num=177, depth=22..30, filters=784723, revisions=(2182661,useless=1531010), ccks=18830092, wck=17.933, mem=114M611 23.03/20.20 decisions=118828, wrong=57260, backtracks=17892, failedAssignments=42731, nogoods=2061, foundSolutions=3, bestBound=3 23.03/20.20 23.65/20.82 num=178, depth=22..31, filters=828260, revisions=(2295300,useless=1607374), ccks=19371642, wck=18.547, mem=122M459 23.65/20.82 decisions=125917, wrong=60793, backtracks=18798, failedAssignments=45499, nogoods=2089, foundSolutions=3, bestBound=3 23.65/20.82 24.75/21.93 num=179, depth=19..29, filters=886452, revisions=(2444878,useless=1708357), ccks=20382148, wck=19.665, mem=135M539 24.75/21.93 decisions=134012, wrong=64829, backtracks=20136, failedAssignments=48543, nogoods=2104, foundSolutions=3, bestBound=3 24.75/21.93 26.05/23.25 num=180, depth=20..30, filters=949075, revisions=(2610032,useless=1822343), ccks=21576738, wck=20.98, mem=151M234 26.05/23.25 decisions=143297, wrong=69460, backtracks=21808, failedAssignments=51892, nogoods=2117, foundSolutions=3, bestBound=3 26.05/23.25 27.29/24.43 num=181, depth=20..31, filters=1014087, revisions=(2773873,useless=1932971), ccks=22611399, wck=22.156, mem=30M944 27.29/24.43 decisions=153331, wrong=74465, backtracks=23457, failedAssignments=55576, nogoods=2141, foundSolutions=3, bestBound=3 27.29/24.43 28.90/26.02 num=182, depth=20..33, filters=1089807, revisions=(2975912,useless=2073114), ccks=24118548, wck=23.754, mem=49M321 28.90/26.02 decisions=164687, wrong=80132, backtracks=25438, failedAssignments=59628, nogoods=2157, foundSolutions=3, bestBound=3 28.90/26.02 30.30/27.48 num=183, depth=19..29, filters=1171263, revisions=(3178831,useless=2209376), ccks=25423305, wck=25.215, mem=67M697 30.30/27.48 decisions=176504, wrong=86030, backtracks=27397, failedAssignments=64085, nogoods=2175, foundSolutions=3, bestBound=3 30.30/27.48 32.01/29.18 num=184, depth=22..36, filters=1258332, revisions=(3402984,useless=2362406), ccks=26984374, wck=26.905, mem=86M74 32.01/29.18 decisions=190093, wrong=92813, backtracks=29773, failedAssignments=68988, nogoods=2210, foundSolutions=3, bestBound=3 32.01/29.18 33.80/30.98 num=185, depth=19..33, filters=1358005, revisions=(3644631,useless=2521933), ccks=28584518, wck=28.709, mem=107M76 33.80/30.98 decisions=204843, wrong=100177, backtracks=32207, failedAssignments=74382, nogoods=2238, foundSolutions=3, bestBound=3 33.80/30.98 36.10/33.28 num=186, depth=21..33, filters=1469122, revisions=(3939052,useless=2725061), ccks=30748990, wck=31.013, mem=134M650 36.10/33.28 decisions=221546, wrong=108517, backtracks=35107, failedAssignments=80315, nogoods=2257, foundSolutions=3, bestBound=3 36.10/33.28 38.44/35.53 num=187, depth=19..29, filters=1595395, revisions=(4254389,useless=2934421), ccks=32696317, wck=33.26, mem=28M350 38.44/35.53 decisions=239369, wrong=117417, backtracks=37975, failedAssignments=86841, nogoods=2275, foundSolutions=3, bestBound=3 38.44/35.53 41.24/38.38 num=188, depth=19..30, filters=1736547, revisions=(4634099,useless=3195791), ccks=35320729, wck=36.106, mem=62M436 41.24/38.38 decisions=259152, wrong=127297, backtracks=41211, failedAssignments=94020, nogoods=2292, foundSolutions=3, bestBound=3 41.24/38.38 43.44/40.53 o 2 43.44/40.53 num=189, depth=20..64, filters=1866099, revisions=(4944139,useless=3399408), ccks=37172548, wck=38.264, mem=86M893 43.44/40.53 decisions=278040, wrong=136726, backtracks=44681, failedAssignments=100607, nogoods=2305, foundSolutions=4, bestBound=2 43.44/40.53 45.96/43.08 num=190, depth=15..34, filters=2055094, revisions=(5388416,useless=3683852), ccks=39364295, wck=40.814, mem=120M979 45.96/43.08 decisions=299685, wrong=147537, backtracks=47412, failedAssignments=109294, nogoods=2319, foundSolutions=4, bestBound=2 45.96/43.08 45.96/43.10 num=191, depth=24..29, filters=2055445, revisions=(5390255,useless=3685396), ccks=39396510, wck=40.835, mem=120M979 45.96/43.10 decisions=299744, wrong=147553, backtracks=47417, failedAssignments=109305, nogoods=2325, foundSolutions=4, bestBound=2 45.96/43.10 46.06/43.13 num=192, depth=26..29, filters=2055732, revisions=(5391995,useless=3686895), ccks=39430199, wck=40.857, mem=120M979 46.06/43.13 decisions=299800, wrong=147568, backtracks=47420, failedAssignments=109317, nogoods=2328, foundSolutions=4, bestBound=2 46.06/43.13 46.06/43.15 num=193, depth=21..29, filters=2056039, revisions=(5393806,useless=3688449), ccks=39462809, wck=40.877, mem=120M979 46.06/43.15 decisions=299858, wrong=147584, backtracks=47424, failedAssignments=109330, nogoods=2331, foundSolutions=4, bestBound=2 46.06/43.15 46.06/43.17 num=194, depth=28..30, filters=2056467, revisions=(5395900,useless=3690194), ccks=39496473, wck=40.899, mem=120M979 46.06/43.17 decisions=299924, wrong=147602, backtracks=47429, failedAssignments=109344, nogoods=2338, foundSolutions=4, bestBound=2 46.06/43.17 46.06/43.19 num=195, depth=23..28, filters=2056956, revisions=(5398187,useless=3692076), ccks=39530307, wck=40.922, mem=120M979 46.06/43.19 decisions=299996, wrong=147626, backtracks=47438, failedAssignments=109360, nogoods=2341, foundSolutions=4, bestBound=2 46.06/43.19 46.15/43.21 num=196, depth=26..31, filters=2057350, revisions=(5400217,useless=3693782), ccks=39564700, wck=40.944, mem=120M979 46.15/43.21 decisions=300070, wrong=147650, backtracks=47447, failedAssignments=109377, nogoods=2346, foundSolutions=4, bestBound=2 46.15/43.21 46.15/43.24 num=197, depth=26..30, filters=2057826, revisions=(5402506,useless=3695673), ccks=39597654, wck=40.966, mem=120M979 46.15/43.24 decisions=300149, wrong=147676, backtracks=47456, failedAssignments=109396, nogoods=2349, foundSolutions=4, bestBound=2 46.15/43.24 46.15/43.26 num=198, depth=28..32, filters=2058256, revisions=(5404717,useless=3697545), ccks=39632531, wck=40.989, mem=120M979 46.15/43.26 decisions=300237, wrong=147706, backtracks=47467, failedAssignments=109417, nogoods=2353, foundSolutions=4, bestBound=2 46.15/43.26 46.15/43.28 num=199, depth=16..29, filters=2058804, revisions=(5407064,useless=3699415), ccks=39666711, wck=41.013, mem=123M601 46.15/43.28 decisions=300321, wrong=147735, backtracks=47476, failedAssignments=109440, nogoods=2368, foundSolutions=4, bestBound=2 46.15/43.28 46.25/43.31 num=200, depth=25..28, filters=2059419, revisions=(5409561,useless=3701390), ccks=39703518, wck=41.038, mem=123M601 46.25/43.31 decisions=300413, wrong=147768, backtracks=47487, failedAssignments=109465, nogoods=2376, foundSolutions=4, bestBound=2 46.25/43.31 46.25/43.33 num=201, depth=24..29, filters=2060031, revisions=(5412078,useless=3703410), ccks=39737468, wck=41.062, mem=123M601 46.25/43.33 decisions=300517, wrong=147807, backtracks=47499, failedAssignments=109493, nogoods=2385, foundSolutions=4, bestBound=2 46.25/43.33 46.25/43.36 num=202, depth=28..32, filters=2060703, revisions=(5414834,useless=3705612), ccks=39776064, wck=41.089, mem=123M601 46.25/43.36 decisions=300628, wrong=147848, backtracks=47511, failedAssignments=109524, nogoods=2391, foundSolutions=4, bestBound=2 46.25/43.36 46.25/43.39 num=203, depth=25..29, filters=2061544, revisions=(5417810,useless=3707879), ccks=39814010, wck=41.117, mem=123M601 46.25/43.39 decisions=300744, wrong=147893, backtracks=47524, failedAssignments=109558, nogoods=2396, foundSolutions=4, bestBound=2 46.25/43.39 46.35/43.42 num=204, depth=22..25, filters=2062359, revisions=(5420867,useless=3710243), ccks=39854517, wck=41.146, mem=123M601 46.35/43.42 decisions=300864, wrong=147942, backtracks=47536, failedAssignments=109595, nogoods=2409, foundSolutions=4, bestBound=2 46.35/43.42 46.35/43.44 num=205, depth=26..30, filters=2063104, revisions=(5423680,useless=3712446), ccks=39893062, wck=41.173, mem=123M601 46.35/43.44 decisions=301002, wrong=147997, backtracks=47554, failedAssignments=109636, nogoods=2415, foundSolutions=4, bestBound=2 46.35/43.44 46.35/43.47 num=206, depth=24..28, filters=2063998, revisions=(5426915,useless=3714960), ccks=39930126, wck=41.2, mem=123M601 46.35/43.47 decisions=301152, wrong=148059, backtracks=47573, failedAssignments=109681, nogoods=2421, foundSolutions=4, bestBound=2 46.35/43.47 46.45/43.50 num=207, depth=26..31, filters=2064900, revisions=(5430138,useless=3717438), ccks=39969714, wck=41.229, mem=123M601 46.45/43.50 decisions=301310, wrong=148125, backtracks=47593, failedAssignments=109731, nogoods=2427, foundSolutions=4, bestBound=2 46.45/43.50 46.45/43.53 num=208, depth=24..29, filters=2065986, revisions=(5433709,useless=3720119), ccks=40008018, wck=41.259, mem=123M601 46.45/43.53 decisions=301490, wrong=148202, backtracks=47619, failedAssignments=109786, nogoods=2432, foundSolutions=4, bestBound=2 46.45/43.53 46.45/43.56 num=209, depth=24..29, filters=2067083, revisions=(5437769,useless=3723264), ccks=40051972, wck=41.292, mem=126M223 46.45/43.56 decisions=301678, wrong=148282, backtracks=47643, failedAssignments=109847, nogoods=2440, foundSolutions=4, bestBound=2 46.45/43.56 46.55/43.60 num=210, depth=20..30, filters=2068411, revisions=(5442599,useless=3727015), ccks=40099852, wck=41.329, mem=126M223 46.55/43.60 decisions=301887, wrong=148374, backtracks=47673, failedAssignments=109914, nogoods=2447, foundSolutions=4, bestBound=2 46.55/43.60 46.55/43.64 num=211, depth=26..30, filters=2069869, revisions=(5447038,useless=3730217), ccks=40144690, wck=41.365, mem=126M223 46.55/43.64 decisions=302107, wrong=148471, backtracks=47697, failedAssignments=109988, nogoods=2453, foundSolutions=4, bestBound=2 46.55/43.64 46.55/43.67 num=212, depth=23..28, filters=2071387, revisions=(5452012,useless=3733875), ccks=40192504, wck=41.404, mem=126M223 46.55/43.67 decisions=302331, wrong=148571, backtracks=47721, failedAssignments=110069, nogoods=2461, foundSolutions=4, bestBound=2 46.55/43.67 46.69/43.71 num=213, depth=23..32, filters=2072845, revisions=(5456984,useless=3737656), ccks=40238169, wck=41.441, mem=126M223 46.69/43.71 decisions=302599, wrong=148691, backtracks=47757, failedAssignments=110158, nogoods=2476, foundSolutions=4, bestBound=2 46.69/43.71 46.69/43.76 num=214, depth=25..29, filters=2075024, revisions=(5463607,useless=3742438), ccks=40293486, wck=41.488, mem=126M223 46.69/43.76 decisions=302906, wrong=148831, backtracks=47804, failedAssignments=110256, nogoods=2494, foundSolutions=4, bestBound=2 46.69/43.76 46.79/43.80 num=215, depth=19..30, filters=2077052, revisions=(5470083,useless=3747195), ccks=40346997, wck=41.535, mem=126M223 46.79/43.80 decisions=303218, wrong=148974, backtracks=47848, failedAssignments=110364, nogoods=2502, foundSolutions=4, bestBound=2 46.79/43.80 46.79/43.85 num=216, depth=22..29, filters=2079351, revisions=(5476856,useless=3752013), ccks=40402540, wck=41.584, mem=128M845 46.79/43.85 decisions=303564, wrong=149135, backtracks=47897, failedAssignments=110483, nogoods=2529, foundSolutions=4, bestBound=2 46.79/43.85 46.89/43.92 num=217, depth=21..28, filters=2082145, revisions=(5485451,useless=3758205), ccks=40479208, wck=41.653, mem=128M845 46.89/43.92 decisions=303931, wrong=149307, backtracks=47949, failedAssignments=110614, nogoods=2546, foundSolutions=4, bestBound=2 46.89/43.92 46.89/43.97 num=218, depth=24..29, filters=2084643, revisions=(5492809,useless=3763431), ccks=40535368, wck=41.704, mem=128M845 46.89/43.97 decisions=304316, wrong=149487, backtracks=47999, failedAssignments=110758, nogoods=2557, foundSolutions=4, bestBound=2 46.89/43.97 47.00/44.06 num=219, depth=22..28, filters=2088518, revisions=(5504445,useless=3771712), ccks=40620936, wck=41.787, mem=128M845 47.00/44.06 decisions=304774, wrong=149705, backtracks=48070, failedAssignments=110916, nogoods=2568, foundSolutions=4, bestBound=2 47.00/44.06 47.10/44.11 num=220, depth=26..33, filters=2091616, revisions=(5512997,useless=3777695), ccks=40681662, wck=41.842, mem=131M467 47.10/44.11 decisions=305273, wrong=149941, backtracks=48153, failedAssignments=111090, nogoods=2576, foundSolutions=4, bestBound=2 47.10/44.11 47.10/44.18 num=221, depth=26..31, filters=2095122, revisions=(5522984,useless=3784840), ccks=40753120, wck=41.909, mem=131M467 47.10/44.18 decisions=305832, wrong=150207, backtracks=48246, failedAssignments=111281, nogoods=2592, foundSolutions=4, bestBound=2 47.10/44.18 47.19/44.25 num=222, depth=24..31, filters=2099088, revisions=(5534065,useless=3792634), ccks=40823188, wck=41.979, mem=131M467 47.19/44.25 decisions=306432, wrong=150494, backtracks=48338, failedAssignments=111492, nogoods=2599, foundSolutions=4, bestBound=2 47.19/44.25 47.29/44.33 num=223, depth=24..31, filters=2103387, revisions=(5545462,useless=3800473), ccks=40904228, wck=42.059, mem=134M89 47.29/44.33 decisions=307061, wrong=150796, backtracks=48427, failedAssignments=111724, nogoods=2620, foundSolutions=4, bestBound=2 47.29/44.33 47.39/44.40 num=224, depth=23..29, filters=2107638, revisions=(5557304,useless=3808864), ccks=40979068, wck=42.134, mem=134M89 47.39/44.40 decisions=307751, wrong=151129, backtracks=48517, failedAssignments=111979, nogoods=2648, foundSolutions=4, bestBound=2 47.39/44.40 47.49/44.50 num=225, depth=24..31, filters=2112573, revisions=(5570466,useless=3818031), ccks=41081024, wck=42.232, mem=134M89 47.49/44.50 decisions=308550, wrong=151516, backtracks=48643, failedAssignments=112260, nogoods=2661, foundSolutions=4, bestBound=2 47.49/44.50 47.59/44.60 num=226, depth=23..30, filters=2118067, revisions=(5585985,useless=3828921), ccks=41177488, wck=42.332, mem=136M711 47.59/44.60 decisions=309357, wrong=151907, backtracks=48757, failedAssignments=112569, nogoods=2676, foundSolutions=4, bestBound=2 47.59/44.60 47.69/44.72 num=227, depth=24..31, filters=2124924, revisions=(5604845,useless=3842222), ccks=41292903, wck=42.45, mem=136M711 47.69/44.72 decisions=310373, wrong=152402, backtracks=48943, failedAssignments=112909, nogoods=2687, foundSolutions=4, bestBound=2 47.69/44.72 47.79/44.85 num=228, depth=21..32, filters=2132055, revisions=(5624906,useless=3856257), ccks=41415081, wck=42.576, mem=139M333 47.79/44.85 decisions=311385, wrong=152896, backtracks=49112, failedAssignments=113283, nogoods=2701, foundSolutions=4, bestBound=2 47.79/44.85 47.89/44.98 num=229, depth=22..29, filters=2140340, revisions=(5646159,useless=3870596), ccks=41538981, wck=42.71, mem=139M333 47.89/44.98 decisions=312531, wrong=153457, backtracks=49288, failedAssignments=113694, nogoods=2705, foundSolutions=4, bestBound=2 47.89/44.98 48.00/45.09 num=230, depth=23..31, filters=2148242, revisions=(5667248,useless=3885411), ccks=41639595, wck=42.822, mem=141M955 48.00/45.09 decisions=313837, wrong=154097, backtracks=49523, failedAssignments=114146, nogoods=2715, foundSolutions=4, bestBound=2 48.00/45.09 48.19/45.26 num=231, depth=20..30, filters=2157621, revisions=(5691795,useless=3902016), ccks=41802116, wck=42.993, mem=144M577 48.19/45.26 decisions=315168, wrong=154751, backtracks=49712, failedAssignments=114643, nogoods=2724, foundSolutions=4, bestBound=2 48.19/45.26 48.43/45.42 num=232, depth=22..30, filters=2166966, revisions=(5716813,useless=3919206), ccks=41945404, wck=43.148, mem=144M577 48.43/45.42 decisions=316581, wrong=155445, backtracks=49906, failedAssignments=115190, nogoods=2737, foundSolutions=4, bestBound=2 48.43/45.42 48.63/45.64 num=233, depth=23..32, filters=2179199, revisions=(5749042,useless=3941346), ccks=42149215, wck=43.366, mem=147M199 48.63/45.64 decisions=318314, wrong=156299, backtracks=50196, failedAssignments=115792, nogoods=2756, foundSolutions=4, bestBound=2 48.63/45.64 48.83/45.85 num=234, depth=21..29, filters=2192543, revisions=(5786024,useless=3966853), ccks=42338146, wck=43.583, mem=149M821 48.83/45.85 decisions=320109, wrong=157185, backtracks=50483, failedAssignments=116454, nogoods=2780, foundSolutions=4, bestBound=2 48.83/45.85 49.04/46.08 num=235, depth=22..30, filters=2205952, revisions=(5822675,useless=3992372), ccks=42543704, wck=43.808, mem=152M443 49.04/46.08 decisions=322152, wrong=158194, backtracks=50816, failedAssignments=117182, nogoods=2789, foundSolutions=4, bestBound=2 49.04/46.08 49.37/46.35 num=236, depth=22..29, filters=2222229, revisions=(5864184,useless=4020143), ccks=42766952, wck=44.077, mem=23M172 49.37/46.35 decisions=324318, wrong=159265, backtracks=51153, failedAssignments=117983, nogoods=2800, foundSolutions=4, bestBound=2 49.37/46.35 49.67/46.62 num=237, depth=21..30, filters=2239457, revisions=(5911994,useless=4053612), ccks=43010443, wck=44.354, mem=25M754 49.67/46.62 decisions=326687, wrong=160437, backtracks=51548, failedAssignments=118864, nogoods=2820, foundSolutions=4, bestBound=2 49.67/46.62 49.97/46.94 num=238, depth=20..28, filters=2257765, revisions=(5961434,useless=4087894), ccks=43301442, wck=44.673, mem=30M917 49.97/46.94 decisions=329372, wrong=161768, backtracks=51981, failedAssignments=119834, nogoods=2832, foundSolutions=4, bestBound=2 49.97/46.94 50.27/47.24 num=239, depth=23..31, filters=2277491, revisions=(6014551,useless=4124844), ccks=43565036, wck=44.973, mem=33M498 50.27/47.24 decisions=332314, wrong=163227, backtracks=52474, failedAssignments=120901, nogoods=2854, foundSolutions=4, bestBound=2 50.27/47.24 50.47/47.49 o 1 50.47/47.49 num=240, depth=20..64, filters=2294638, revisions=(6060764,useless=4156621), ccks=43791291, wck=45.219, mem=36M80 50.47/47.49 decisions=334868, wrong=164492, backtracks=52815, failedAssignments=121904, nogoods=2874, foundSolutions=5, bestBound=1 50.47/47.49 51.78/48.74 o 0 51.78/48.74 num=241, depth=1..64, filters=2323339, revisions=(6124112,useless=4194912), ccks=45896727, wck=46.474, mem=46M406 51.78/48.74 decisions=337339, wrong=165717, backtracks=53257, failedAssignments=122785, nogoods=2899, foundSolutions=6, bestBound=0 51.78/48.74 51.78/48.74 Global 51.78/48.74 filters=2323339, revisions=(6124112,useless=4194912), ccks=45896727, nogoods=2899 51.78/48.74 Stop=FULL_EXPLORATION, wrong=165717, bestBound=0, bestBoundWck=46.87, bestBoundCpu=48.663, foundSolutions=6, firstSolCpu=3.755 51.78/48.74 wck=46.871, cpu=48.664, mem=46M406 51.78/48.74 51.78/48.74 v <instantiation id='sol6' type='solution' cost='0'> <list> q x[] b[] </list> <values> 16 14 9 0 15 2 7 22 17 4 13 18 3 8 21 16 1 10 5 20 25 12 27 40 31 46 41 26 39 48 33 24 11 6 19 34 47 32 23 36 45 30 35 44 29 38 43 28 37 42 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 </values> </instantiation> 51.78/48.74 s OPTIMUM FOUND 51.78/48.74 51.78/48.74 d WRONG_DECISIONS 165717 51.78/48.74 d NUMBER_SOLUTIONS 6
OK 0
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 (15290 MiB free) memory of node 1: 16384 MiB (15143 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390906-1568383134/watcher-4390906-1568383134 -o /tmp/evaluation-result-4390906-1568383134/solver-4390906-1568383134 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1568380476-6542 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4390906-1568383134.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=7383, runsolver pid=7380 [startup+0.103226 s]* /proc/loadavg: 1.85 1.95 1.85 5/232 7398 /proc/meminfo: memFree=31147668/32770624 swapFree=67004016/67108860 [pid=7383] ppid=7380 vsize=10659884 memory=29148 CPUtime=0.14 cores=0,2,4,6 /proc/7383/stat : 7383 (java) S 7380 7383 6511 0 -1 1077944320 5736 0 0 0 13 1 0 0 20 0 15 0 414552994 10915721216 7287 33554432000 4194304 4196468 140727913411424 140727913393968 139691659288311 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 27815936 140727913419787 140727913419890 140727913419890 140727913422799 0 /proc/7383/statm: 2664971 7287 2923 1 0 2627468 0 [pid=7383/tid=7385] ppid=7380 vsize=10659884 memory=-8392846517527737536 CPUtime=0.09 cores=0,2,4,6 /proc/7383/task/7385/stat : 7385 (java) R 7380 7383 6511 0 -1 4202560 3292 0 0 0 9 0 0 0 20 0 15 0 414552994 10915721216 7419 33554432000 4194304 4196468 140727913411424 139691663514568 139691644455307 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27815936 140727913419787 140727913419890 140727913419890 140727913422799 0 [pid=7383/tid=7386] ppid=7380 vsize=10659884 memory=-7522837583129502606 CPUtime=0 cores=0,2,4,6 /proc/7383/task/7386/stat : 7386 (java) S 7380 7383 6511 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414552995 10915721216 7419 33554432000 4194304 4196468 140727913411424 139691601291536 139691659298517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27815936 140727913419787 140727913419890 140727913419890 140727913422799 0 [pid=7383/tid=7387] ppid=7380 vsize=10659884 memory=140359123056256 CPUtime=0 cores=0,2,4,6 /proc/7383/task/7387/stat : 7387 (java) S 7380 7383 6511 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414552995 10915721216 7419 33554432000 4194304 4196468 140727913411424 139691600238992 139691659298517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27815936 140727913419787 140727913419890 140727913419890 140727913422799 0 [pid=7383/tid=7388] ppid=7380 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6 /proc/7383/task/7388/stat : 7388 (java) S 7380 7383 6511 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414552995 10915721216 7419 33554432000 4194304 4196468 140727913411424 139691599186448 139691659298517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27815936 140727913419787 140727913419890 140727913419890 140727913422799 0 [pid=7383/tid=7389] ppid=7380 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/7383/task/7389/stat : 7389 (java) S 7380 7383 6511 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414552995 10915721216 7419 33554432000 4194304 4196468 140727913411424 139691598133904 139691659298517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27815936 140727913419787 140727913419890 140727913419890 140727913422799 0 [pid=7383/tid=7390] ppid=7380 vsize=10659884 memory=140359123056256 CPUtime=0 cores=0,2,4,6 /proc/7383/task/7390/stat : 7390 (java) S 7380 7383 6511 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414552996 10915721216 7419 33554432000 4194304 4196468 140727913411424 139691151333872 139691659299458 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27815936 140727913419787 140727913419890 140727913419890 140727913422799 0 [pid=7383/tid=7391] ppid=7380 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/7383/task/7391/stat : 7391 (java) S 7380 7383 6511 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414552997 10915721216 7419 33554432000 4194304 4196468 140727913411424 139691150280096 139691659298517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27815936 140727913419787 140727913419890 140727913419890 140727913422799 0 [pid=7383/tid=7392] ppid=7380 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6 /proc/7383/task/7392/stat : 7392 (java) S 7380 7383 6511 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414552997 10915721216 7419 33554432000 4194304 4196468 140727913411424 139691149227504 139691659298517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27815936 140727913419787 140727913419890 140727913419890 140727913422799 0 [pid=7383/tid=7393] ppid=7380 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6 /proc/7383/task/7393/stat : 7393 (java) S 7380 7383 6511 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414552999 10915721216 7419 33554432000 4194304 4196468 140727913411424 139691148176080 139691659306907 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27815936 140727913419787 140727913419890 140727913419890 140727913422799 0 [pid=7383/tid=7394] ppid=7380 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6 /proc/7383/task/7394/stat : 7394 (java) R 7380 7383 6511 0 -1 4202560 519 0 0 0 0 0 0 0 20 0 15 0 414552999 10915721216 7419 33554432000 4194304 4196468 140727913411424 139691147103688 139691651577693 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27815936 140727913419787 140727913419890 140727913419890 140727913422799 0 [pid=7383/tid=7395] ppid=7380 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/7383/task/7395/stat : 7395 (java) S 7380 7383 6511 0 -1 1077944384 199 0 0 0 0 0 0 0 20 0 15 0 414552999 10915721216 7419 33554432000 4194304 4196468 140727913411424 139691146070128 139691659299458 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27815936 140727913419787 140727913419890 140727913419890 140727913422799 0 [pid=7383/tid=7396] ppid=7380 vsize=10659884 memory=140359123056256 CPUtime=0.02 cores=0,2,4,6 /proc/7383/task/7396/stat : 7396 (java) R 7380 7383 6511 0 -1 4202560 589 0 0 0 2 0 0 0 20 0 15 0 414552999 10915721216 7419 33554432000 4194304 4196468 140727913411424 139691145014136 139691652385171 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27815936 140727913419787 140727913419890 140727913419890 140727913422799 0 [pid=7383/tid=7397] ppid=7380 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/7383/task/7397/stat : 7397 (java) S 7380 7383 6511 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414552999 10915721216 7419 33554432000 4194304 4196468 140727913411424 139691143965280 139691659298517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27815936 140727913419787 140727913419890 140727913419890 140727913422799 0 [pid=7383/tid=7398] ppid=7380 vsize=10659884 memory=140359123056256 CPUtime=0 cores=0,2,4,6 /proc/7383/task/7398/stat : 7398 (java) S 7380 7383 6511 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414553000 10915721216 7419 33554432000 4194304 4196468 140727913411424 139691142912816 139691659299458 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27815936 140727913419787 140727913419890 140727913419890 140727913422799 0 Current children cumulated CPU time: 0.14 s Current children cumulated vsize: 10659884 KiB Current children cumulated memory: 29148 KiB [startup+0.210928 s]* /proc/loadavg: 1.85 1.95 1.85 3/232 7398 /proc/meminfo: memFree=31140768/32770624 swapFree=67004016/67108860 [pid=7383] ppid=7380 vsize=10659884 memory=34972 CPUtime=0.33 cores=0,2,4,6 /proc/7383/stat : 7383 (java) S 7380 7383 6511 0 -1 1077944320 6950 0 0 0 31 2 0 0 20 0 15 0 414552994 10915721216 8743 33554432000 4194304 4196468 140727913411424 140727913393968 139691659288311 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 27815936 140727913419787 140727913419890 140727913419890 140727913422799 0 /proc/7383/statm: 2664971 8743 2987 1 0 2627468 0 [pid=7383/tid=7385] ppid=7380 vsize=10659884 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6 /proc/7383/task/7385/stat : 7385 (java) R 7380 7383 6511 0 -1 4202560 3872 0 0 0 19 1 0 0 20 0 15 0 414552994 10915721216 8743 33554432000 4194304 4196468 140727913411424 139691663514672 139691659310237 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27815936 140727913419787 140727913419890 140727913419890 140727913422799 0 [pid=7383/tid=7386] ppid=7380 vsize=10659884 memory=345 CPUtime=0 cores=0,2,4,6 /proc/7383/task/7386/stat : 7386 (java) S 7380 7383 6511 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414552995 10915721216 8743 33554432000 4194304 4196468 140727913411424 139691601291536 139691659298517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27815936 140727913419787 140727913419890 140727913419890 140727913422799 0 [pid=7383/tid=7387] ppid=7380 vsize=10659884 memory=140359123063893 CPUtime=0 cores=0,2,4,6 /proc/7383/task/7387/stat : 7387 (java) S 7380 7383 6511 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414552995 10915721216 8743 33554432000 4194304 4196468 140727913411424 139691600238992 139691659298517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27815936 140727913419787 140727913419890 140727913419890 140727913422799 0 [pid=7383/tid=7388] ppid=7380 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6 /proc/7383/task/7388/stat : 7388 (java) S 7380 7383 6511 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414552995 10915721216 8743 33554432000 4194304 4196468 140727913411424 139691599186448 139691659298517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27815936 140727913419787 140727913419890 140727913419890 140727913422799 0 [pid=7383/tid=7389] ppid=7380 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/7383/task/7389/stat : 7389 (java) S 7380 7383 6511 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414552995 10915721216 8743 33554432000 4194304 4196468 140727913411424 139691598133904 139691659298517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27815936 140727913419787 140727913419890 140727913419890 140727913422799 0 [pid=7383/tid=7390] ppid=7380 vsize=10659884 memory=140359123056256 CPUtime=0 cores=0,2,4,6 /proc/7383/task/7390/stat : 7390 (java) S 7380 7383 6511 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414552996 10915721216 8743 33554432000 4194304 4196468 140727913411424 139691151333872 139691659299458 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27815936 140727913419787 140727913419890 140727913419890 140727913422799 0 [pid=7383/tid=7391] ppid=7380 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/7383/task/7391/stat : 7391 (java) S 7380 7383 6511 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414552997 10915721216 8743 33554432000 4194304 4196468 140727913411424 139691150280096 139691659298517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27815936 140727913419787 140727913419890 140727913419890 140727913422799 0 [pid=7383/tid=7392] ppid=7380 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6 /proc/7383/task/7392/stat : 7392 (java) S 7380 7383 6511 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414552997 10915721216 8743 33554432000 4194304 4196468 140727913411424 139691149227504 139691659298517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27815936 140727913419787 140727913419890 140727913419890 140727913422799 0 [pid=7383/tid=7393] ppid=7380 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6 /proc/7383/task/7393/stat : 7393 (java) S 7380 7383 6511 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414552999 10915721216 8743 33554432000 4194304 4196468 140727913411424 139691148176080 139691659306907 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27815936 140727913419787 140727913419890 140727913419890 140727913422799 0 [pid=7383/tid=7394] ppid=7380 vsize=10659884 memory=0 CPUtime=0.03 cores=0,2,4,6 /proc/7383/task/7394/stat : 7394 (java) S 7380 7383 6511 0 -1 1077944384 786 0 0 0 3 0 0 0 20 0 15 0 414552999 10915721216 8743 33554432000 4194304 4196468 140727913411424 139691147122672 139691659299458 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27815936 140727913419787 140727913419890 140727913419890 140727913422799 0 [pid=7383/tid=7395] ppid=7380 vsize=10659884 memory=-1 CPUtime=0.02 cores=0,2,4,6 /proc/7383/task/7395/stat : 7395 (java) S 7380 7383 6511 0 -1 1077944384 278 0 0 0 2 0 0 0 20 0 15 0 414552999 10915721216 8743 33554432000 4194304 4196468 140727913411424 139691146070128 139691659299458 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27815936 140727913419787 140727913419890 140727913419890 140727913422799 0 [pid=7383/tid=7396] ppid=7380 vsize=10659884 memory=140359123056256 CPUtime=0.05 cores=0,2,4,6 /proc/7383/task/7396/stat : 7396 (java) S 7380 7383 6511 0 -1 1077944384 653 0 0 0 5 0 0 0 20 0 15 0 414552999 10915721216 8743 33554432000 4194304 4196468 140727913411424 139691145017584 139691659299458 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27815936 140727913419787 140727913419890 140727913419890 140727913422799 0 [pid=7383/tid=7397] ppid=7380 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/7383/task/7397/stat : 7397 (java) S 7380 7383 6511 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414552999 10915721216 8743 33554432000 4194304 4196468 140727913411424 139691143965280 139691659298517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27815936 140727913419787 140727913419890 140727913419890 140727913422799 0 [pid=7383/tid=7398] ppid=7380 vsize=10659884 memory=140359123056256 CPUtime=0 cores=0,2,4,6 /proc/7383/task/7398/stat : 7398 (java) S 7380 7383 6511 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414553000 10915721216 8743 33554432000 4194304 4196468 140727913411424 139691142912816 139691659299458 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27815936 140727913419787 140727913419890 140727913419890 140727913422799 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 10659884 KiB Current children cumulated memory: 34972 KiB [startup+0.310373 s]* /proc/loadavg: 1.85 1.95 1.85 3/232 7398 /proc/meminfo: memFree=31133508/32770624 swapFree=67004016/67108860 [pid=7383] ppid=7380 vsize=10659884 memory=40360 CPUtime=0.47 cores=0,2,4,6 /proc/7383/stat : 7383 (java) S 7380 7383 6511 0 -1 1077944320 9485 0 0 0 44 3 0 0 20 0 15 0 414552994 10915721216 10090 33554432000 4194304 4196468 140727913411424 140727913393968 139691659288311 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 27815936 140727913419787 140727913419890 140727913419890 140727913422799 0 /proc/7383/statm: 2664971 10090 3000 1 0 2627468 0 [pid=7383/tid=7385] ppid=7380 vsize=10659884 memory=7311146985107750967 CPUtime=0.3 cores=0,2,4,6 /proc/7383/task/7385/stat : 7385 (java) R 7380 7383 6511 0 -1 4202560 6342 0 0 0 28 2 0 0 20 0 15 0 414552994 10915721216 10090 33554432000 4194304 4196468 140727913411424 139691663513888 139691651623219 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27815936 140727913419787 140727913419890 140727913419890 140727913422799 0 [pid=7383/tid=7386] ppid=7380 vsize=10659884 memory=304556157652172823 CPUtime=0 cores=0,2,4,6 /proc/7383/task/7386/stat : 7386 (java) S 7380 7383 6511 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414552995 10915721216 10090 33554432000 4194304 4196468 140727913411424 139691601291536 139691659298517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27815936 140727913419787 140727913419890 140727913419890 140727913422799 0 [pid=7383/tid=7387] ppid=7380 vsize=10659884 memory=16239619753359000 CPUtime=0 cores=0,2,4,6 /proc/7383/task/7387/stat : 7387 (java) S 7380 7383 6511 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414552995 10915721216 10090 33554432000 4194304 4196468 140727913411424 139691600238992 139691659298517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27815936 140727913419787 140727913419890 140727913419890 140727913422799 0 [pid=7383/tid=7388] ppid=7380 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6 /proc/7383/task/7388/stat : 7388 (java) S 7380 7383 6511 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414552995 10915721216 10090 33554432000 4194304 4196468 140727913411424 139691599186448 139691659298517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27815936 140727913419787 140727913419890 140727913419890 140727913422799 0 [pid=7383/tid=7389] ppid=7380 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/7383/task/7389/stat : 7389 (java) S 7380 7383 6511 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414552995 10915721216 10090 33554432000 4194304 4196468 140727913411424 139691598133904 139691659298517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27815936 140727913419787 140727913419890 140727913419890 140727913422799 0 [pid=7383/tid=7390] ppid=7380 vsize=10659884 memory=140359123056256 CPUtime=0 cores=0,2,4,6 /proc/7383/task/7390/stat : 7390 (java) S 7380 7383 6511 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414552996 10915721216 10090 33554432000 4194304 4196468 140727913411424 139691151333872 139691659299458 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27815936 140727913419787 140727913419890 140727913419890 140727913422799 0 [pid=7383/tid=7391] ppid=7380 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/7383/task/7391/stat : 7391 (java) S 7380 7383 6511 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414552997 10915721216 10090 33554432000 4194304 4196468 140727913411424 139691150280096 139691659298517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27815936 140727913419787 140727913419890 140727913419890 140727913422799 0 [pid=7383/tid=7392] ppid=7380 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6 /proc/7383/task/7392/stat : 7392 (java) S 7380 7383 6511 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414552997 10915721216 10090 33554432000 4194304 4196468 140727913411424 139691149227504 139691659298517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27815936 140727913419787 140727913419890 140727913419890 140727913422799 0 [pid=7383/tid=7393] ppid=7380 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6 /proc/7383/task/7393/stat : 7393 (java) S 7380 7383 6511 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414552999 10915721216 10090 33554432000 4194304 4196468 140727913411424 139691148176080 139691659306907 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27815936 140727913419787 140727913419890 140727913419890 140727913422799 0 [pid=7383/tid=7394] ppid=7380 vsize=10659884 memory=0 CPUtime=0.04 cores=0,2,4,6 /proc/7383/task/7394/stat : 7394 (java) S 7380 7383 6511 0 -1 1077944384 821 0 0 0 4 0 0 0 20 0 15 0 414552999 10915721216 10090 33554432000 4194304 4196468 140727913411424 139691147122672 139691659299458 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27815936 140727913419787 140727913419890 140727913419890 140727913422799 0 [pid=7383/tid=7395] ppid=7380 vsize=10659884 memory=-1 CPUtime=0.03 cores=0,2,4,6 /proc/7383/task/7395/stat : 7395 (java) S 7380 7383 6511 0 -1 1077944384 286 0 0 0 3 0 0 0 20 0 15 0 414552999 10915721216 10090 33554432000 4194304 4196468 140727913411424 139691146070128 139691659299458 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27815936 140727913419787 140727913419890 140727913419890 140727913422799 0 [pid=7383/tid=7396] ppid=7380 vsize=10659884 memory=140359123056256 CPUtime=0.08 cores=0,2,4,6 /proc/7383/task/7396/stat : 7396 (java) S 7380 7383 6511 0 -1 1077944384 679 0 0 0 8 0 0 0 20 0 15 0 414552999 10915721216 10090 33554432000 4194304 4196468 140727913411424 139691145017584 139691659299458 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27815936 140727913419787 140727913419890 140727913419890 140727913422799 0 [pid=7383/tid=7397] ppid=7380 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/7383/task/7397/stat : 7397 (java) S 7380 7383 6511 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414552999 10915721216 10090 33554432000 4194304 4196468 140727913411424 139691143965280 139691659298517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27815936 140727913419787 140727913419890 140727913419890 140727913422799 0 [pid=7383/tid=7398] ppid=7380 vsize=10659884 memory=140359123056256 CPUtime=0 cores=0,2,4,6 /proc/7383/task/7398/stat : 7398 (java) S 7380 7383 6511 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414553000 10915721216 10090 33554432000 4194304 4196468 140727913411424 139691142912816 139691659299458 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27815936 140727913419787 140727913419890 140727913419890 140727913422799 0 Current children cumulated CPU time: 0.47 s Current children cumulated vsize: 10659884 KiB Current children cumulated memory: 40360 KiB [startup+0.700731 s] /proc/loadavg: 1.85 1.95 1.85 3/232 7398 /proc/meminfo: memFree=31124332/32770624 swapFree=67004016/67108860 [pid=7383] ppid=7380 vsize=10661932 memory=64052 CPUtime=1.1 cores=0,2,4,6 /proc/7383/stat : 7383 (java) S 7380 7383 6511 0 -1 1077944320 13199 0 0 0 104 6 0 0 20 0 15 0 414552994 10917818368 16013 33554432000 4194304 4196468 140727913411424 140727913393968 139691659288311 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 27815936 140727913419787 140727913419890 140727913419890 140727913422799 0 /proc/7383/statm: 2665483 16013 3068 1 0 2627980 0 [pid=7383/tid=7385] ppid=7380 vsize=10661932 memory=1220 CPUtime=0.68 cores=0,2,4,6 /proc/7383/task/7385/stat : 7385 (java) R 7380 7383 6511 0 -1 4202560 8883 0 0 0 63 5 0 0 20 0 15 0 414552994 10917818368 16013 33554432000 4194304 4196468 140727913411424 139691663520336 139691643368798 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27815936 140727913419787 140727913419890 140727913419890 140727913422799 0 [pid=7383/tid=7386] ppid=7380 vsize=10661932 memory=1616 CPUtime=0 cores=0,2,4,6 /proc/7383/task/7386/stat : 7386 (java) S 7380 7383 6511 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414552995 10917818368 16013 33554432000 4194304 4196468 140727913411424 139691601291536 139691659298517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27815936 140727913419787 140727913419890 140727913419890 140727913422799 0 [pid=7383/tid=7387] ppid=7380 vsize=10661932 memory=784 CPUtime=0 cores=0,2,4,6 /proc/7383/task/7387/stat : 7387 (java) S 7380 7383 6511 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414552995 10917818368 16013 33554432000 4194304 4196468 140727913411424 139691600238992 139691659298517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27815936 140727913419787 140727913419890 140727913419890 140727913422799 0 [pid=7383/tid=7388] ppid=7380 vsize=10661932 memory=8252 CPUtime=0 cores=0,2,4,6 /proc/7383/task/7388/stat : 7388 (java) S 7380 7383 6511 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414552995 10917818368 16013 33554432000 4194304 4196468 140727913411424 139691599186448 139691659298517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27815936 140727913419787 140727913419890 140727913419890 140727913422799 0 [pid=7383/tid=7389] ppid=7380 vsize=10661932 memory=5920 CPUtime=0 cores=0,2,4,6 /proc/7383/task/7389/stat : 7389 (java) S 7380 7383 6511 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414552995 10917818368 16013 33554432000 4194304 4196468 140727913411424 139691598133904 139691659298517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27815936 140727913419787 140727913419890 140727913419890 140727913422799 0 [pid=7383/tid=7390] ppid=7380 vsize=10661932 memory=1056 CPUtime=0 cores=0,2,4,6 /proc/7383/task/7390/stat : 7390 (java) S 7380 7383 6511 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414552996 10917818368 16013 33554432000 4194304 4196468 140727913411424 139691151333872 139691659299458 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27815936 140727913419787 140727913419890 140727913419890 140727913422799 0 [pid=7383/tid=7391] ppid=7380 vsize=10661932 memory=1540 CPUtime=0 cores=0,2,4,6 /proc/7383/task/7391/stat : 7391 (java) S 7380 7383 6511 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414552997 10917818368 16013 33554432000 4194304 4196468 140727913411424 139691150280096 139691659298517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27815936 140727913419787 140727913419890 140727913419890 140727913422799 0 [pid=7383/tid=7392] ppid=7380 vsize=10661932 memory=728 CPUtime=0 cores=0,2,4,6 /proc/7383/task/7392/stat : 7392 (java) S 7380 7383 6511 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414552997 10917818368 16013 33554432000 4194304 4196468 140727913411424 139691149227504 139691659298517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27815936 140727913419787 140727913419890 140727913419890 140727913422799 0 [pid=7383/tid=7393] ppid=7380 vsize=10661932 memory=4000 CPUtime=0 cores=0,2,4,6 /proc/7383/task/7393/stat : 7393 (java) S 7380 7383 6511 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414552999 10917818368 16013 33554432000 4194304 4196468 140727913411424 139691148176080 139691659306907 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27815936 140727913419787 140727913419890 140727913419890 140727913422799 0 [pid=7383/tid=7394] ppid=7380 vsize=10661932 memory=7236533984234661184 CPUtime=0.12 cores=0,2,4,6 /proc/7383/task/7394/stat : 7394 (java) S 7380 7383 6511 0 -1 1077944384 1164 0 0 0 12 0 0 0 20 0 15 0 414552999 10917818368 16013 33554432000 4194304 4196468 140727913411424 139691147122672 139691659299458 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27815936 140727913419787 140727913419890 140727913419890 140727913422799 0 [pid=7383/tid=7395] ppid=7380 vsize=10661932 memory=7380106142448642414 CPUtime=0.09 cores=0,2,4,6 /proc/7383/task/7395/stat : 7395 (java) R 7380 7383 6511 0 -1 4202560 593 0 0 0 9 0 0 0 20 0 15 0 414552999 10917818368 16013 33554432000 4194304 4196468 140727913411424 139691146070128 139691642774627 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27815936 140727913419787 140727913419890 140727913419890 140727913422799 0 [pid=7383/tid=7396] ppid=7380 vsize=10661932 memory=5859271421084456296 CPUtime=0.18 cores=0,2,4,6 /proc/7383/task/7396/stat : 7396 (java) S 7380 7383 6511 0 -1 1077944384 1198 0 0 0 18 0 0 0 20 0 15 0 414552999 10917818368 16013 33554432000 4194304 4196468 140727913411424 139691145017584 139691659299458 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27815936 140727913419787 140727913419890 140727913419890 140727913422799 0 [pid=7383/tid=7397] ppid=7380 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6 /proc/7383/task/7397/stat : 7397 (java) S 7380 7383 6511 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414552999 10917818368 16013 33554432000 4194304 4196468 140727913411424 139691143965280 139691659298517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27815936 140727913419787 140727913419890 140727913419890 140727913422799 0 [pid=7383/tid=7398] ppid=7380 vsize=10661932 memory=31396 CPUtime=0 cores=0,2,4,6 /proc/7383/task/7398/stat : 7398 (java) S 7380 7383 6511 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414553000 10917818368 16013 33554432000 4194304 4196468 140727913411424 139691142912816 139691659299458 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27815936 140727913419787 140727913419890 140727913419890 140727913422799 0 Current children cumulated CPU time: 1.1 s Current children cumulated vsize: 10661932 KiB Current children cumulated memory: 64052 KiB [startup+1.5007 s] /proc/loadavg: 1.85 1.95 1.85 3/232 7398 /proc/meminfo: memFree=31107716/32770624 swapFree=67004016/67108860 [pid=7383] ppid=7380 vsize=10663980 memory=75984 CPUtime=2 cores=0,2,4,6 /proc/7383/stat : 7383 (java) S 7380 7383 6511 0 -1 1077944320 18746 0 0 0 193 7 0 0 20 0 15 0 414552994 10919915520 18996 33554432000 4194304 4196468 140727913411424 140727913393968 139691659288311 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 27815936 140727913419787 140727913419890 140727913419890 140727913422799 0 /proc/7383/statm: 2665995 18996 3095 1 0 2628492 0 [pid=7383/tid=7385] ppid=7380 vsize=10663980 memory=0 CPUtime=1.48 cores=0,2,4,6 /proc/7383/task/7385/stat : 7385 (java) R 7380 7383 6511 0 -1 4202560 13034 0 0 0 142 6 0 0 20 0 15 0 414552994 10919915520 18996 33554432000 4194304 4196468 140727913411424 139691663528592 139691644453966 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27815936 140727913419787 140727913419890 140727913419890 140727913422799 0 [pid=7383/tid=7386] ppid=7380 vsize=10663980 memory=-8754540793456063680 CPUtime=0 cores=0,2,4,6 /proc/7383/task/7386/stat : 7386 (java) S 7380 7383 6511 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414552995 10919915520 18996 33554432000 4194304 4196468 140727913411424 139691601291536 139691659298517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27815936 140727913419787 140727913419890 140727913419890 140727913422799 0 [pid=7383/tid=7387] ppid=7380 vsize=10663980 memory=-2843869621055772062 CPUtime=0 cores=0,2,4,6 /proc/7383/task/7387/stat : 7387 (java) S 7380 7383 6511 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414552995 10919915520 18996 33554432000 4194304 4196468 140727913411424 139691600238992 139691659298517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27815936 140727913419787 140727913419890 140727913419890 140727913422799 0 [pid=7383/tid=7388] ppid=7380 vsize=10663980 memory=5450919713671312938 CPUtime=0 cores=0,2,4,6 /proc/7383/task/7388/stat : 7388 (java) S 7380 7383 6511 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414552995 10919915520 18996 33554432000 4194304 4196468 140727913411424 139691599186448 139691659298517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27815936 140727913419787 140727913419890 140727913419890 140727913422799 0 [pid=7383/tid=7389] ppid=7380 vsize=10663980 memory=7005738693937936738 CPUtime=0 cores=0,2,4,6 /proc/7383/task/7389/stat : 7389 (java) S 7380 7383 6511 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414552995 10919915520 18996 33554432000 4194304 4196468 140727913411424 139691598133904 139691659298517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27815936 140727913419787 140727913419890 140727913419890 140727913422799 0 [pid=7383/tid=7390] ppid=7380 vsize=10663980 memory=-7165351541977658656 CPUtime=0 cores=0,2,4,6 /proc/7383/task/7390/stat : 7390 (java) S 7380 7383 6511 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 414552996 10919915520 18996 33554432000 4194304 4196468 140727913411424 139691151333872 139691659299458 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27815936 140727913419787 140727913419890 140727913419890 140727913422799 0 ################ # More data... # ################ [startup+48.0007 s]* /proc/loadavg: 2.32 2.06 1.89 3/234 7403 /proc/meminfo: memFree=30920420/32770624 swapFree=67004016/67108860 [pid=7383] ppid=7380 vsize=10748324 memory=257032 CPUtime=51.08 cores=0,2,4,6 /proc/7383/stat : 7383 (java) S 7380 7383 6511 0 -1 1077944320 49700 0 0 0 5089 19 0 0 20 0 16 0 414552994 11006283776 64258 33554432000 4194304 4196468 140727913411424 140727913393968 139691659288311 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 27815936 140727913419787 140727913419890 140727913419890 140727913422799 0 /proc/7383/statm: 2687081 64258 3378 1 0 2647217 0 [pid=7383/tid=7385] ppid=7380 vsize=10748324 memory=8112282956445269571 CPUtime=1.89 cores=0,2,4,6 /proc/7383/task/7385/stat : 7385 (java) S 7380 7383 6511 0 -1 1077944384 15341 0 0 0 182 7 0 0 20 0 16 0 414552994 11006283776 64258 33554432000 4194304 4196468 140727913411424 139691663531184 139691659298517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27815936 140727913419787 140727913419890 140727913419890 140727913422799 0 [pid=7383/tid=7386] ppid=7380 vsize=10748324 memory=4872558044660077418 CPUtime=0.04 cores=0,2,4,6 /proc/7383/task/7386/stat : 7386 (java) S 7380 7383 6511 0 -1 1077944384 692 0 0 0 4 0 0 0 20 0 16 0 414552995 11006283776 64258 33554432000 4194304 4196468 140727913411424 139691601291536 139691659298517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27815936 140727913419787 140727913419890 140727913419890 140727913422799 0 [pid=7383/tid=7387] ppid=7380 vsize=10748324 memory=256984 CPUtime=0.04 cores=0,2,4,6 /proc/7383/task/7387/stat : 7387 (java) S 7380 7383 6511 0 -1 1077944384 1217 0 0 0 4 0 0 0 20 0 16 0 414552995 11006283776 64258 33554432000 4194304 4196468 140727913411424 139691600238992 139691659298517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27815936 140727913419787 140727913419890 140727913419890 140727913422799 0 [pid=7383/tid=7388] ppid=7380 vsize=10748324 memory=3280 CPUtime=0.05 cores=0,2,4,6 /proc/7383/task/7388/stat : 7388 (java) S 7380 7383 6511 0 -1 1077944384 941 0 0 0 4 1 0 0 20 0 16 0 414552995 11006283776 64258 33554432000 4194304 4196468 140727913411424 139691599186448 139691659298517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27815936 140727913419787 140727913419890 140727913419890 140727913422799 0 [pid=7383/tid=7389] ppid=7380 vsize=10748324 memory=39120 CPUtime=0.05 cores=0,2,4,6 /proc/7383/task/7389/stat : 7389 (java) S 7380 7383 6511 0 -1 1077944384 1067 0 0 0 4 1 0 0 20 0 16 0 414552995 11006283776 64258 33554432000 4194304 4196468 140727913411424 139691598133904 139691659298517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27815936 140727913419787 140727913419890 140727913419890 140727913422799 0 [pid=7383/tid=7390] ppid=7380 vsize=10748324 memory=256984 CPUtime=0.01 cores=0,2,4,6 /proc/7383/task/7390/stat : 7390 (java) S 7380 7383 6511 0 -1 1077944384 1830 0 0 0 1 0 0 0 20 0 16 0 414552996 11006283776 64258 33554432000 4194304 4196468 140727913411424 139691151333872 139691659299458 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27815936 140727913419787 140727913419890 140727913419890 140727913422799 0 [pid=7383/tid=7391] ppid=7380 vsize=10748324 memory=804 CPUtime=0 cores=0,2,4,6 /proc/7383/task/7391/stat : 7391 (java) S 7380 7383 6511 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 16 0 414552997 11006283776 64258 33554432000 4194304 4196468 140727913411424 139691150280160 139691659298517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27815936 140727913419787 140727913419890 140727913419890 140727913422799 0 [pid=7383/tid=7392] ppid=7380 vsize=10748324 memory=1660 CPUtime=0 cores=0,2,4,6 /proc/7383/task/7392/stat : 7392 (java) S 7380 7383 6511 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 16 0 414552997 11006283776 64258 33554432000 4194304 4196468 140727913411424 139691149227520 139691659298517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27815936 140727913419787 140727913419890 140727913419890 140727913422799 0 [pid=7383/tid=7393] ppid=7380 vsize=10748324 memory=1808 CPUtime=0 cores=0,2,4,6 /proc/7383/task/7393/stat : 7393 (java) S 7380 7383 6511 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414552999 11006283776 64258 33554432000 4194304 4196468 140727913411424 139691148176080 139691659306907 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27815936 140727913419787 140727913419890 140727913419890 140727913422799 0 [pid=7383/tid=7394] ppid=7380 vsize=10748324 memory=924 CPUtime=1.06 cores=0,2,4,6 /proc/7383/task/7394/stat : 7394 (java) S 7380 7383 6511 0 -1 1077944384 6080 0 0 0 105 1 0 0 20 0 16 0 414552999 11006283776 64258 33554432000 4194304 4196468 140727913411424 139691147122672 139691659299458 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27815936 140727913419787 140727913419890 140727913419890 140727913422799 0 [pid=7383/tid=7395] ppid=7380 vsize=10748324 memory=3852 CPUtime=1.16 cores=0,2,4,6 /proc/7383/task/7395/stat : 7395 (java) S 7380 7383 6511 0 -1 1077944384 6308 0 0 0 115 1 0 0 20 0 16 0 414552999 11006283776 64258 33554432000 4194304 4196468 140727913411424 139691146070128 139691659299458 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27815936 140727913419787 140727913419890 140727913419890 140727913422799 0 [pid=7383/tid=7396] ppid=7380 vsize=10748324 memory=2696 CPUtime=0.66 cores=0,2,4,6 /proc/7383/task/7396/stat : 7396 (java) S 7380 7383 6511 0 -1 1077944384 6652 0 0 0 65 1 0 0 20 0 16 0 414552999 11006283776 64258 33554432000 4194304 4196468 140727913411424 139691145017584 139691659299458 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27815936 140727913419787 140727913419890 140727913419890 140727913422799 0 [pid=7383/tid=7397] ppid=7380 vsize=10748324 memory=258020 CPUtime=0 cores=0,2,4,6 /proc/7383/task/7397/stat : 7397 (java) S 7380 7383 6511 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414552999 11006283776 64258 33554432000 4194304 4196468 140727913411424 139691143965280 139691659298517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27815936 140727913419787 140727913419890 140727913419890 140727913422799 0 [pid=7383/tid=7398] ppid=7380 vsize=10748324 memory=3280 CPUtime=0.01 cores=0,2,4,6 /proc/7383/task/7398/stat : 7398 (java) S 7380 7383 6511 0 -1 1077944384 167 0 0 0 1 0 0 0 20 0 16 0 414553000 11006283776 64258 33554432000 4194304 4196468 140727913411424 139691142912816 139691659299458 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27815936 140727913419787 140727913419890 140727913419890 140727913422799 0 [pid=7383/tid=7399] ppid=7380 vsize=10748324 memory=39120 CPUtime=46.02 cores=0,2,4,6 /proc/7383/task/7399/stat : 7399 (java) R 7380 7383 6511 0 -1 4202560 7965 0 0 0 4598 4 0 0 20 0 16 0 414553184 11006283776 64258 33554432000 4194304 4196468 140727913411424 139691057688336 139691283775272 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27815936 140727913419787 140727913419890 140727913419890 140727913422799 0 Current children cumulated CPU time: 51.08 s Current children cumulated vsize: 10748324 KiB Current children cumulated memory: 257032 KiB [startup+48.4007 s] /proc/loadavg: 2.32 2.06 1.89 3/234 7403 /proc/meminfo: memFree=30920420/32770624 swapFree=67004016/67108860 [pid=7383] ppid=7380 vsize=10748324 memory=257032 CPUtime=51.48 cores=0,2,4,6 /proc/7383/stat : 7383 (java) S 7380 7383 6511 0 -1 1077944320 49703 0 0 0 5129 19 0 0 20 0 16 0 414552994 11006283776 64258 33554432000 4194304 4196468 140727913411424 140727913393968 139691659288311 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 27815936 140727913419787 140727913419890 140727913419890 140727913422799 0 /proc/7383/statm: 2687081 64258 3378 1 0 2647217 0 [pid=7383/tid=7385] ppid=7380 vsize=10748324 memory=1540 CPUtime=1.89 cores=0,2,4,6 /proc/7383/task/7385/stat : 7385 (java) S 7380 7383 6511 0 -1 1077944384 15341 0 0 0 182 7 0 0 20 0 16 0 414552994 11006283776 64258 33554432000 4194304 4196468 140727913411424 139691663531184 139691659298517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27815936 140727913419787 140727913419890 140727913419890 140727913422799 0 [pid=7383/tid=7386] ppid=7380 vsize=10748324 memory=0 CPUtime=0.04 cores=0,2,4,6 /proc/7383/task/7386/stat : 7386 (java) S 7380 7383 6511 0 -1 1077944384 692 0 0 0 4 0 0 0 20 0 16 0 414552995 11006283776 64258 33554432000 4194304 4196468 140727913411424 139691601291536 139691659298517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27815936 140727913419787 140727913419890 140727913419890 140727913422799 0 [pid=7383/tid=7387] ppid=7380 vsize=10748324 memory=8112282956445269571 CPUtime=0.04 cores=0,2,4,6 /proc/7383/task/7387/stat : 7387 (java) S 7380 7383 6511 0 -1 1077944384 1217 0 0 0 4 0 0 0 20 0 16 0 414552995 11006283776 64258 33554432000 4194304 4196468 140727913411424 139691600238992 139691659298517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27815936 140727913419787 140727913419890 140727913419890 140727913422799 0 [pid=7383/tid=7388] ppid=7380 vsize=10748324 memory=924 CPUtime=0.05 cores=0,2,4,6 /proc/7383/task/7388/stat : 7388 (java) S 7380 7383 6511 0 -1 1077944384 941 0 0 0 4 1 0 0 20 0 16 0 414552995 11006283776 64258 33554432000 4194304 4196468 140727913411424 139691599186448 139691659298517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27815936 140727913419787 140727913419890 140727913419890 140727913422799 0 [pid=7383/tid=7389] ppid=7380 vsize=10748324 memory=3852 CPUtime=0.05 cores=0,2,4,6 /proc/7383/task/7389/stat : 7389 (java) S 7380 7383 6511 0 -1 1077944384 1067 0 0 0 4 1 0 0 20 0 16 0 414552995 11006283776 64258 33554432000 4194304 4196468 140727913411424 139691598133904 139691659298517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27815936 140727913419787 140727913419890 140727913419890 140727913422799 0 [pid=7383/tid=7390] ppid=7380 vsize=10748324 memory=2696 CPUtime=0.01 cores=0,2,4,6 /proc/7383/task/7390/stat : 7390 (java) S 7380 7383 6511 0 -1 1077944384 1831 0 0 0 1 0 0 0 20 0 16 0 414552996 11006283776 64258 33554432000 4194304 4196468 140727913411424 139691151333872 139691659299458 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27815936 140727913419787 140727913419890 140727913419890 140727913422799 0 [pid=7383/tid=7391] ppid=7380 vsize=10748324 memory=2964 CPUtime=0 cores=0,2,4,6 /proc/7383/task/7391/stat : 7391 (java) S 7380 7383 6511 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 16 0 414552997 11006283776 64258 33554432000 4194304 4196468 140727913411424 139691150280160 139691659298517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27815936 140727913419787 140727913419890 140727913419890 140727913422799 0 [pid=7383/tid=7392] ppid=7380 vsize=10748324 memory=4096 CPUtime=0 cores=0,2,4,6 /proc/7383/task/7392/stat : 7392 (java) S 7380 7383 6511 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 16 0 414552997 11006283776 64258 33554432000 4194304 4196468 140727913411424 139691149227520 139691659298517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27815936 140727913419787 140727913419890 140727913419890 140727913422799 0 [pid=7383/tid=7393] ppid=7380 vsize=10748324 memory=1408 CPUtime=0 cores=0,2,4,6 /proc/7383/task/7393/stat : 7393 (java) S 7380 7383 6511 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414552999 11006283776 64258 33554432000 4194304 4196468 140727913411424 139691148176080 139691659306907 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27815936 140727913419787 140727913419890 140727913419890 140727913422799 0 [pid=7383/tid=7394] ppid=7380 vsize=10748324 memory=3244 CPUtime=1.06 cores=0,2,4,6 /proc/7383/task/7394/stat : 7394 (java) S 7380 7383 6511 0 -1 1077944384 6080 0 0 0 105 1 0 0 20 0 16 0 414552999 11006283776 64258 33554432000 4194304 4196468 140727913411424 139691147122672 139691659299458 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27815936 140727913419787 140727913419890 140727913419890 140727913422799 0 [pid=7383/tid=7395] ppid=7380 vsize=10748324 memory=441280 CPUtime=1.16 cores=0,2,4,6 /proc/7383/task/7395/stat : 7395 (java) S 7380 7383 6511 0 -1 1077944384 6308 0 0 0 115 1 0 0 20 0 16 0 414552999 11006283776 64258 33554432000 4194304 4196468 140727913411424 139691146070128 139691659299458 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27815936 140727913419787 140727913419890 140727913419890 140727913422799 0 [pid=7383/tid=7396] ppid=7380 vsize=10748324 memory=1408 CPUtime=0.66 cores=0,2,4,6 /proc/7383/task/7396/stat : 7396 (java) S 7380 7383 6511 0 -1 1077944384 6652 0 0 0 65 1 0 0 20 0 16 0 414552999 11006283776 64258 33554432000 4194304 4196468 140727913411424 139691145017584 139691659299458 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27815936 140727913419787 140727913419890 140727913419890 140727913422799 0 [pid=7383/tid=7397] ppid=7380 vsize=10748324 memory=2876 CPUtime=0 cores=0,2,4,6 /proc/7383/task/7397/stat : 7397 (java) S 7380 7383 6511 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414552999 11006283776 64258 33554432000 4194304 4196468 140727913411424 139691143965280 139691659298517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27815936 140727913419787 140727913419890 140727913419890 140727913422799 0 [pid=7383/tid=7398] ppid=7380 vsize=10748324 memory=258020 CPUtime=0.01 cores=0,2,4,6 /proc/7383/task/7398/stat : 7398 (java) S 7380 7383 6511 0 -1 1077944384 167 0 0 0 1 0 0 0 20 0 16 0 414553000 11006283776 64258 33554432000 4194304 4196468 140727913411424 139691142912816 139691659299458 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27815936 140727913419787 140727913419890 140727913419890 140727913422799 0 [pid=7383/tid=7399] ppid=7380 vsize=10748324 memory=0 CPUtime=46.41 cores=0,2,4,6 /proc/7383/task/7399/stat : 7399 (java) R 7380 7383 6511 0 -1 4202560 7967 0 0 0 4637 4 0 0 20 0 16 0 414553184 11006283776 64258 33554432000 4194304 4196468 140727913411424 139691057693488 139691283596373 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27815936 140727913419787 140727913419890 140727913419890 140727913422799 0 Current children cumulated CPU time: 51.48 s Current children cumulated vsize: 10748324 KiB Current children cumulated memory: 257032 KiB [startup+48.6007 s] /proc/loadavg: 2.32 2.06 1.89 3/234 7403 /proc/meminfo: memFree=30920420/32770624 swapFree=67004016/67108860 [pid=7383] ppid=7380 vsize=10748324 memory=257032 CPUtime=51.68 cores=0,2,4,6 /proc/7383/stat : 7383 (java) S 7380 7383 6511 0 -1 1077944320 49704 0 0 0 5149 19 0 0 20 0 16 0 414552994 11006283776 64258 33554432000 4194304 4196468 140727913411424 140727913393968 139691659288311 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 27815936 140727913419787 140727913419890 140727913419890 140727913422799 0 /proc/7383/statm: 2687081 64258 3378 1 0 2647217 0 [pid=7383/tid=7385] ppid=7380 vsize=10748324 memory=256836 CPUtime=1.89 cores=0,2,4,6 /proc/7383/task/7385/stat : 7385 (java) S 7380 7383 6511 0 -1 1077944384 15341 0 0 0 182 7 0 0 20 0 16 0 414552994 11006283776 64258 33554432000 4194304 4196468 140727913411424 139691663531184 139691659298517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27815936 140727913419787 140727913419890 140727913419890 140727913422799 0 [pid=7383/tid=7386] ppid=7380 vsize=10748324 memory=257168 CPUtime=0.04 cores=0,2,4,6 /proc/7383/task/7386/stat : 7386 (java) S 7380 7383 6511 0 -1 1077944384 692 0 0 0 4 0 0 0 20 0 16 0 414552995 11006283776 64258 33554432000 4194304 4196468 140727913411424 139691601291536 139691659298517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27815936 140727913419787 140727913419890 140727913419890 140727913422799 0 [pid=7383/tid=7387] ppid=7380 vsize=10748324 memory=8112282956445269571 CPUtime=0.04 cores=0,2,4,6 /proc/7383/task/7387/stat : 7387 (java) S 7380 7383 6511 0 -1 1077944384 1217 0 0 0 4 0 0 0 20 0 16 0 414552995 11006283776 64258 33554432000 4194304 4196468 140727913411424 139691600238992 139691659298517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27815936 140727913419787 140727913419890 140727913419890 140727913422799 0 [pid=7383/tid=7388] ppid=7380 vsize=10748324 memory=4872558044660077418 CPUtime=0.05 cores=0,2,4,6 /proc/7383/task/7388/stat : 7388 (java) S 7380 7383 6511 0 -1 1077944384 941 0 0 0 4 1 0 0 20 0 16 0 414552995 11006283776 64258 33554432000 4194304 4196468 140727913411424 139691599186448 139691659298517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27815936 140727913419787 140727913419890 140727913419890 140727913422799 0 [pid=7383/tid=7389] ppid=7380 vsize=10748324 memory=6944656592455360604 CPUtime=0.05 cores=0,2,4,6 /proc/7383/task/7389/stat : 7389 (java) S 7380 7383 6511 0 -1 1077944384 1067 0 0 0 4 1 0 0 20 0 16 0 414552995 11006283776 64258 33554432000 4194304 4196468 140727913411424 139691598133904 139691659298517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27815936 140727913419787 140727913419890 140727913419890 140727913422799 0 [pid=7383/tid=7390] ppid=7380 vsize=10748324 memory=6944656592387989600 CPUtime=0.01 cores=0,2,4,6 /proc/7383/task/7390/stat : 7390 (java) S 7380 7383 6511 0 -1 1077944384 1831 0 0 0 1 0 0 0 20 0 16 0 414552996 11006283776 64258 33554432000 4194304 4196468 140727913411424 139691151333872 139691659299458 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27815936 140727913419787 140727913419890 140727913419890 140727913422799 0 [pid=7383/tid=7391] ppid=7380 vsize=10748324 memory=6933690279252799546 CPUtime=0 cores=0,2,4,6 /proc/7383/task/7391/stat : 7391 (java) S 7380 7383 6511 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 16 0 414552997 11006283776 64258 33554432000 4194304 4196468 140727913411424 139691150280160 139691659298517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27815936 140727913419787 140727913419890 140727913419890 140727913422799 0 [pid=7383/tid=7392] ppid=7380 vsize=10748324 memory=-7966001967256141664 CPUtime=0 cores=0,2,4,6 /proc/7383/task/7392/stat : 7392 (java) S 7380 7383 6511 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 16 0 414552997 11006283776 64258 33554432000 4194304 4196468 140727913411424 139691149227520 139691659298517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27815936 140727913419787 140727913419890 140727913419890 140727913422799 0 [pid=7383/tid=7393] ppid=7380 vsize=10748324 memory=7679937539659563795 CPUtime=0 cores=0,2,4,6 /proc/7383/task/7393/stat : 7393 (java) S 7380 7383 6511 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414552999 11006283776 64258 33554432000 4194304 4196468 140727913411424 139691148176080 139691659306907 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27815936 140727913419787 140727913419890 140727913419890 140727913422799 0 [pid=7383/tid=7394] ppid=7380 vsize=10748324 memory=-8529969244802432963 CPUtime=1.06 cores=0,2,4,6 /proc/7383/task/7394/stat : 7394 (java) S 7380 7383 6511 0 -1 1077944384 6080 0 0 0 105 1 0 0 20 0 16 0 414552999 11006283776 64258 33554432000 4194304 4196468 140727913411424 139691147122672 139691659299458 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27815936 140727913419787 140727913419890 140727913419890 140727913422799 0 [pid=7383/tid=7395] ppid=7380 vsize=10748324 memory=6944656575208382512 CPUtime=1.16 cores=0,2,4,6 /proc/7383/task/7395/stat : 7395 (java) S 7380 7383 6511 0 -1 1077944384 6308 0 0 0 115 1 0 0 20 0 16 0 414552999 11006283776 64258 33554432000 4194304 4196468 140727913411424 139691146070128 139691659299458 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27815936 140727913419787 140727913419890 140727913419890 140727913422799 0 [pid=7383/tid=7396] ppid=7380 vsize=10748324 memory=6655300316396806240 CPUtime=0.66 cores=0,2,4,6 /proc/7383/task/7396/stat : 7396 (java) S 7380 7383 6511 0 -1 1077944384 6652 0 0 0 65 1 0 0 20 0 16 0 414552999 11006283776 64258 33554432000 4194304 4196468 140727913411424 139691145017584 139691659299458 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27815936 140727913419787 140727913419890 140727913419890 140727913422799 0 [pid=7383/tid=7397] ppid=7380 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6 /proc/7383/task/7397/stat : 7397 (java) S 7380 7383 6511 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414552999 11006283776 64258 33554432000 4194304 4196468 140727913411424 139691143965280 139691659298517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27815936 140727913419787 140727913419890 140727913419890 140727913422799 0 [pid=7383/tid=7398] ppid=7380 vsize=10748324 memory=0 CPUtime=0.01 cores=0,2,4,6 /proc/7383/task/7398/stat : 7398 (java) S 7380 7383 6511 0 -1 1077944384 167 0 0 0 1 0 0 0 20 0 16 0 414553000 11006283776 64258 33554432000 4194304 4196468 140727913411424 139691142912816 139691659299458 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27815936 140727913419787 140727913419890 140727913419890 140727913422799 0 [pid=7383/tid=7399] ppid=7380 vsize=10748324 memory=182 CPUtime=46.61 cores=0,2,4,6 /proc/7383/task/7399/stat : 7399 (java) R 7380 7383 6511 0 -1 4202560 7968 0 0 0 4657 4 0 0 20 0 16 0 414553184 11006283776 64258 33554432000 4194304 4196468 140727913411424 139691057693488 139691281899136 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27815936 140727913419787 140727913419890 140727913419890 140727913422799 0 Current children cumulated CPU time: 51.68 s Current children cumulated vsize: 10748324 KiB Current children cumulated memory: 257032 KiB [startup+48.7007 s] /proc/loadavg: 2.32 2.06 1.89 3/234 7403 /proc/meminfo: memFree=30920420/32770624 swapFree=67004016/67108860 [pid=7383] ppid=7380 vsize=10748324 memory=257032 CPUtime=51.78 cores=0,2,4,6 /proc/7383/stat : 7383 (java) S 7380 7383 6511 0 -1 1077944320 49705 0 0 0 5159 19 0 0 20 0 16 0 414552994 11006283776 64258 33554432000 4194304 4196468 140727913411424 140727913393968 139691659288311 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 27815936 140727913419787 140727913419890 140727913419890 140727913422799 0 /proc/7383/statm: 2687081 64258 3378 1 0 2647217 0 [pid=7383/tid=7385] ppid=7380 vsize=10748324 memory=257032 CPUtime=1.89 cores=0,2,4,6 /proc/7383/task/7385/stat : 7385 (java) S 7380 7383 6511 0 -1 1077944384 15341 0 0 0 182 7 0 0 20 0 16 0 414552994 11006283776 64258 33554432000 4194304 4196468 140727913411424 139691663531184 139691659298517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27815936 140727913419787 140727913419890 140727913419890 140727913422799 0 [pid=7383/tid=7386] ppid=7380 vsize=10748324 memory=257168 CPUtime=0.04 cores=0,2,4,6 /proc/7383/task/7386/stat : 7386 (java) S 7380 7383 6511 0 -1 1077944384 692 0 0 0 4 0 0 0 20 0 16 0 414552995 11006283776 64258 33554432000 4194304 4196468 140727913411424 139691601291536 139691659298517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27815936 140727913419787 140727913419890 140727913419890 140727913422799 0 [pid=7383/tid=7387] ppid=7380 vsize=10748324 memory=256836 CPUtime=0.04 cores=0,2,4,6 /proc/7383/task/7387/stat : 7387 (java) S 7380 7383 6511 0 -1 1077944384 1217 0 0 0 4 0 0 0 20 0 16 0 414552995 11006283776 64258 33554432000 4194304 4196468 140727913411424 139691600238992 139691659298517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27815936 140727913419787 140727913419890 140727913419890 140727913422799 0 [pid=7383/tid=7388] ppid=7380 vsize=10748324 memory=257032 CPUtime=0.05 cores=0,2,4,6 /proc/7383/task/7388/stat : 7388 (java) S 7380 7383 6511 0 -1 1077944384 941 0 0 0 4 1 0 0 20 0 16 0 414552995 11006283776 64258 33554432000 4194304 4196468 140727913411424 139691599186448 139691659298517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27815936 140727913419787 140727913419890 140727913419890 140727913422799 0 [pid=7383/tid=7389] ppid=7380 vsize=10748324 memory=0 CPUtime=0.05 cores=0,2,4,6 /proc/7383/task/7389/stat : 7389 (java) S 7380 7383 6511 0 -1 1077944384 1067 0 0 0 4 1 0 0 20 0 16 0 414552995 11006283776 64258 33554432000 4194304 4196468 140727913411424 139691598133904 139691659298517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27815936 140727913419787 140727913419890 140727913419890 140727913422799 0 [pid=7383/tid=7390] ppid=7380 vsize=10748324 memory=0 CPUtime=0.01 cores=0,2,4,6 /proc/7383/task/7390/stat : 7390 (java) S 7380 7383 6511 0 -1 1077944384 1831 0 0 0 1 0 0 0 20 0 16 0 414552996 11006283776 64258 33554432000 4194304 4196468 140727913411424 139691151333872 139691659299458 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27815936 140727913419787 140727913419890 140727913419890 140727913422799 0 [pid=7383/tid=7391] ppid=7380 vsize=10748324 memory=280717989122304 CPUtime=0 cores=0,2,4,6 /proc/7383/task/7391/stat : 7391 (java) S 7380 7383 6511 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 16 0 414552997 11006283776 64258 33554432000 4194304 4196468 140727913411424 139691150280160 139691659298517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27815936 140727913419787 140727913419890 140727913419890 140727913422799 0 [pid=7383/tid=7392] ppid=7380 vsize=10748324 memory=7523107478184158290 CPUtime=0 cores=0,2,4,6 /proc/7383/task/7392/stat : 7392 (java) S 7380 7383 6511 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 16 0 414552997 11006283776 64258 33554432000 4194304 4196468 140727913411424 139691149227520 139691659298517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27815936 140727913419787 140727913419890 140727913419890 140727913422799 0 [pid=7383/tid=7393] ppid=7380 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6 /proc/7383/task/7393/stat : 7393 (java) S 7380 7383 6511 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414552999 11006283776 64258 33554432000 4194304 4196468 140727913411424 139691148176080 139691659306907 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27815936 140727913419787 140727913419890 140727913419890 140727913422799 0 [pid=7383/tid=7394] ppid=7380 vsize=10748324 memory=2863 CPUtime=1.06 cores=0,2,4,6 /proc/7383/task/7394/stat : 7394 (java) S 7380 7383 6511 0 -1 1077944384 6080 0 0 0 105 1 0 0 20 0 16 0 414552999 11006283776 64258 33554432000 4194304 4196468 140727913411424 139691147122672 139691659299458 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27815936 140727913419787 140727913419890 140727913419890 140727913422799 0 [pid=7383/tid=7395] ppid=7380 vsize=10748324 memory=2052 CPUtime=1.16 cores=0,2,4,6 /proc/7383/task/7395/stat : 7395 (java) S 7380 7383 6511 0 -1 1077944384 6308 0 0 0 115 1 0 0 20 0 16 0 414552999 11006283776 64258 33554432000 4194304 4196468 140727913411424 139691146070128 139691659299458 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27815936 140727913419787 140727913419890 140727913419890 140727913422799 0 [pid=7383/tid=7396] ppid=7380 vsize=10748324 memory=1220 CPUtime=0.66 cores=0,2,4,6 /proc/7383/task/7396/stat : 7396 (java) S 7380 7383 6511 0 -1 1077944384 6652 0 0 0 65 1 0 0 20 0 16 0 414552999 11006283776 64258 33554432000 4194304 4196468 140727913411424 139691145017584 139691659299458 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27815936 140727913419787 140727913419890 140727913419890 140727913422799 0 [pid=7383/tid=7397] ppid=7380 vsize=10748324 memory=257032 CPUtime=0 cores=0,2,4,6 /proc/7383/task/7397/stat : 7397 (java) S 7380 7383 6511 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414552999 11006283776 64258 33554432000 4194304 4196468 140727913411424 139691143965280 139691659298517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27815936 140727913419787 140727913419890 140727913419890 140727913422799 0 [pid=7383/tid=7398] ppid=7380 vsize=10748324 memory=8112282956445269571 CPUtime=0.01 cores=0,2,4,6 /proc/7383/task/7398/stat : 7398 (java) S 7380 7383 6511 0 -1 1077944384 167 0 0 0 1 0 0 0 20 0 16 0 414553000 11006283776 64258 33554432000 4194304 4196468 140727913411424 139691142912816 139691659299458 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27815936 140727913419787 140727913419890 140727913419890 140727913422799 0 [pid=7383/tid=7399] ppid=7380 vsize=10748324 memory=258020 CPUtime=46.71 cores=0,2,4,6 /proc/7383/task/7399/stat : 7399 (java) R 7380 7383 6511 0 -1 4202560 7969 0 0 0 4667 4 0 0 20 0 16 0 414553184 11006283776 64258 33554432000 4194304 4196468 140727913411424 139691057693488 139691283575806 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27815936 140727913419787 140727913419890 140727913419890 140727913422799 0 Current children cumulated CPU time: 51.78 s Current children cumulated vsize: 10748324 KiB Current children cumulated memory: 257032 KiB Child status: 0 Real time (s): 48.7562 CPU time (s): 51.8468 CPU user time (s): 51.6463 CPU system time (s): 0.200486 CPU usage (%): 106.339 Max. virtual memory (cumulated for all children) (KiB): 10748324 Max. memory (cumulated for all children) (KiB): 266212 getrusage(RUSAGE_CHILDREN,...) data: user time used= 51.6463 system time used= 0.200486 maximum resident set size= 266212 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 50470 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= 4063 involuntary context switches= 76 # summary of solver processes directly reported to runsolver: # pid: 7383 # total CPU time (s): 51.8468 # total CPU user time (s): 51.6463 # total CPU system time (s): 0.200486 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.353821 second user time and 0.450678 second system time The end
Begin job on node133 at 2019-09-13 15:58:14 IDJOB=4390906 IDBENCH=130611 IDSOLVER=2832 FILE ID=node133/4390906-1568383134 RUNJOBID= node133-1568380476-6542 PBS_JOBID= 21701835 Free space on /tmp= 55104 MiB SOLVER NAME= AbsCon 2019-07-23 BENCH NAME= XCSP17/QueenAttacking/QueenAttacking-m1-s1/QueenAttacking-07.xml COMMAND LINE= java -cp AbsCon19-06.jar AbsCon BENCHNAME -cm RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4390906-1568383134/watcher-4390906-1568383134 -o /tmp/evaluation-result-4390906-1568383134/solver-4390906-1568383134 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1568380476-6542 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4390906-1568383134.xml -cm TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 7aff4fe352a8c3fb8c4e8479cd8d4369 RANDOM SEED=530393152 node133.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.18 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.18 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.18 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.18 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: 31164484 kB MemAvailable: 31468308 kB Buffers: 159904 kB Cached: 424128 kB SwapCached: 3456 kB Active: 736116 kB Inactive: 281356 kB Active(anon): 457032 kB Inactive(anon): 16032 kB Active(file): 279084 kB Inactive(file): 265324 kB Unevictable: 111228 kB Mlocked: 111228 kB SwapTotal: 67108860 kB SwapFree: 67004016 kB Dirty: 8800 kB Writeback: 0 kB AnonPages: 551100 kB Mapped: 56424 kB Shmem: 31396 kB Slab: 179696 kB SReclaimable: 150504 kB SUnreclaim: 29192 kB KernelStack: 4064 kB PageTables: 7052 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1578496 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 481280 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 122240 kB DirectMap2M: 33423360 kB Free space on /tmp at the end= 55096 MiB End job on node133 at 2019-09-13 15:59:03