Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
AbsCon 2019-07-23 | OPT | 29 | 34.5599 | 31.1738 |
Diagnostic | Value |
---|---|
WRONG_DECISIONS | 295070 |
Name | LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-019.xml |
MD5SUM | 4db16cf953bf17f15cb901b9adc08541 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 29 |
Best CPU time to get the best result obtained on this benchmark | 18.937 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 379 |
Number of constraints | 207 |
Number of domains | 37 |
Minimum domain size | 2 |
Maximum domain size | 37 |
Distribution of domain sizes | [{"size":2,"count":191},{"size":3,"count":2},{"size":4,"count":1},{"size":5,"count":2},{"size":6,"count":1},{"size":7,"count":2},{"size":8,"count":1},{"size":9,"count":2},{"size":10,"count":1},{"size":11,"count":2},{"size":12,"count":1},{"size":13,"count":2},{"size":14,"count":1},{"size":15,"count":2},{"size":16,"count":1},{"size":17,"count":2},{"size":18,"count":1},{"size":19,"count":2},{"size":21,"count":1},{"size":23,"count":1},{"size":25,"count":1},{"size":27,"count":1},{"size":29,"count":1},{"size":31,"count":1},{"size":33,"count":1},{"size":35,"count":1},{"size":37,"count":1}] |
Minimum variable degree | 0 |
Maximum variable degree | 18 |
Distribution of variable degrees | [{"degree":0,"count":153},{"degree":2,"count":207},{"degree":18,"count":19}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 19 |
Distribution of constraint arities | [{"arity":2,"count":19},{"arity":3,"count":172},{"arity":4,"count":1},{"arity":5,"count":1},{"arity":6,"count":1},{"arity":7,"count":1},{"arity":8,"count":1},{"arity":9,"count":1},{"arity":10,"count":1},{"arity":11,"count":1},{"arity":12,"count":1},{"arity":13,"count":1},{"arity":14,"count":1},{"arity":15,"count":1},{"arity":16,"count":1},{"arity":17,"count":1},{"arity":18,"count":1},{"arity":19,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 189 |
Distribution of constraint types | [{"type":"intension","count":189},{"type":"sum","count":18}] |
Optimization problem | YES |
Type of objective | min SUM |
2.43/1.87 2.43/1.87 AbsCon 2 2.43/1.89 2.93/2.06 Instance 2.93/2.06 name=instance-4390873-1568383026, framework=COP, bounds=-infty..+infty 2.93/2.06 2.93/2.06 Loading variables... 3.20/2.12 Loading constraints...[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5e1f3d9d 3.49/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@430c0ea6 3.49/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23ec7db6 3.49/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4f0f0e41 3.49/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23b7a7b6 3.49/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@524c6fa8 3.49/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1c43dc46 3.49/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7852ec4c 3.49/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4293c57e 3.49/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@731f1ce6 3.49/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6b89af71 3.49/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@79bef6ee 3.49/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1ff7f21 3.49/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@14cd1996 3.49/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@149486b8 3.49/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@26406dd8 3.49/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3fc154c5 3.49/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2eb6c751 3.49/2.28 3.49/2.28 3.49/2.28 Domains 3.49/2.28 nTypes=37, nValues=929, sizes=[2#191,3#2,4#1,5#2...31#1,33#1,35#1,37#1] 3.49/2.28 Variables 3.49/2.28 count=226, degrees=[2#207,18#19] 3.49/2.28 Objectives 3.49/2.28 way=min, type=SumSimpleLE 3.49/2.28 Constraints 3.49/2.28 count=208, nSpecific=19, arities=[2#19,3#172,4#1,5#1...16#1,17#1,18#2,19#1] 3.49/2.28 distribution=[CtrIntension#189,SumSimpleLE#1,SumWeightedEQ#18] 3.49/2.28 nIntStructures=(19,shared:170), nCftStructures=(19,shared:170,unbuilt:19) 3.49/2.28 wck=0.432, cpu=2.239, mem=31M797 3.49/2.28 Solver SolverBacktrack being built... 3.49/2.28 3.80/2.30 3.80/2.30 Solver 3.80/2.30 guaranteedGAC=false 3.80/2.30 wck=0.461, cpu=2.267, mem=42M439 3.80/2.31 3.80/2.31 Preprocessing 3.80/2.31 filters=0, ccks=4757, nACremovedValues=0, nTotalRemovedValues=0, inconcistency=false 3.80/2.31 wck=0.004, cpu=2.273, mem=42M439 3.80/2.31 3.80/2.32 o 2109 3.80/2.33 num=0, depth=227..225, filters=432, revisions=(702,useless=441), ccks=9867, wck=0.028, mem=42M439 3.80/2.33 decisions=19, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=1, bestBound=2109 3.80/2.33 3.80/2.35 o 1497 3.80/2.35 num=1, depth=0..225, filters=851, revisions=(1430,useless=913), ccks=11459, wck=0.049, mem=42M439 3.80/2.35 decisions=40, wrong=1, backtracks=0, failedAssignments=1, foundSolutions=2, bestBound=1497 3.80/2.35 3.80/2.37 o 1021 3.80/2.37 num=2, depth=18..225, filters=1307, revisions=(2240,useless=1439), ccks=13226, wck=0.057, mem=42M439 3.80/2.37 decisions=60, wrong=2, backtracks=0, failedAssignments=2, nogoods=1, foundSolutions=3, bestBound=1021 3.80/2.37 3.80/2.37 num=3, depth=11..20, filters=1379, revisions=(2794,useless=1946), ccks=14519, wck=0.061, mem=42M439 3.80/2.37 decisions=114, wrong=24, backtracks=11, failedAssignments=13, nogoods=2, foundSolutions=3, bestBound=1021 3.80/2.37 3.80/2.37 num=4, depth=18..22, filters=1561, revisions=(3973,useless=2980), ccks=16567, wck=0.065, mem=45M82 3.80/2.37 decisions=174, wrong=45, backtracks=26, failedAssignments=24, nogoods=4, foundSolutions=3, bestBound=1021 3.80/2.37 3.80/2.37 num=5, depth=20..25, filters=2367, revisions=(8833,useless=7112), ccks=23107, wck=0.073, mem=45M82 3.80/2.37 decisions=242, wrong=69, backtracks=38, failedAssignments=36, nogoods=6, foundSolutions=3, bestBound=1021 3.80/2.37 3.80/2.38 num=6, depth=12..24, filters=2864, revisions=(9976,useless=7862), ccks=25104, wck=0.077, mem=45M82 3.80/2.38 decisions=305, wrong=93, backtracks=49, failedAssignments=49, nogoods=8, foundSolutions=3, bestBound=1021 3.80/2.38 3.80/2.38 o 969 3.80/2.38 num=7, depth=227..225, filters=3230, revisions=(11190,useless=8837), ccks=27122, wck=0.081, mem=45M82 3.80/2.38 decisions=325, wrong=93, backtracks=49, failedAssignments=49, nogoods=8, foundSolutions=4, bestBound=969 3.80/2.38 3.80/2.39 o 665 3.80/2.39 num=8, depth=19..225, filters=3712, revisions=(12553,useless=9877), ccks=28934, wck=0.086, mem=45M82 3.80/2.39 decisions=348, wrong=95, backtracks=50, failedAssignments=50, nogoods=9, foundSolutions=5, bestBound=665 3.80/2.39 3.80/2.39 num=9, depth=6..11, filters=4359, revisions=(16455,useless=13274), ccks=33800, wck=0.092, mem=45M82 3.80/2.39 decisions=396, wrong=116, backtracks=65, failedAssignments=61, nogoods=11, foundSolutions=5, bestBound=665 3.80/2.39 3.80/2.40 o 217 4.12/2.40 num=10, depth=18..225, filters=4746, revisions=(17552,useless=14118), ccks=36609, wck=0.097, mem=45M82 4.12/2.40 decisions=420, wrong=118, backtracks=65, failedAssignments=63, nogoods=13, foundSolutions=6, bestBound=217 4.12/2.40 4.12/2.40 o 177 4.12/2.40 num=11, depth=18..225, filters=5274, revisions=(18861,useless=15068), ccks=38919, wck=0.102, mem=45M82 4.12/2.40 decisions=445, wrong=122, backtracks=67, failedAssignments=65, nogoods=15, foundSolutions=7, bestBound=177 4.12/2.40 4.12/2.41 o 125 4.12/2.41 num=12, depth=5..225, filters=5710, revisions=(20323,useless=16229), ccks=41754, wck=0.107, mem=45M82 4.12/2.41 decisions=475, wrong=127, backtracks=69, failedAssignments=68, nogoods=17, foundSolutions=8, bestBound=125 4.12/2.41 4.12/2.41 o 121 4.12/2.41 num=13, depth=16..225, filters=6491, revisions=(22052,useless=17395), ccks=44946, wck=0.114, mem=45M82 4.12/2.41 decisions=505, wrong=134, backtracks=73, failedAssignments=73, nogoods=21, foundSolutions=9, bestBound=121 4.12/2.41 4.12/2.42 o 109 4.12/2.42 num=14, depth=15..225, filters=7073, revisions=(23516,useless=18436), ccks=47417, wck=0.119, mem=45M82 4.12/2.42 decisions=536, wrong=141, backtracks=76, failedAssignments=77, nogoods=23, foundSolutions=10, bestBound=109 4.12/2.42 4.12/2.43 num=15, depth=15..20, filters=8370, revisions=(25483,useless=19467), ccks=51664, wck=0.126, mem=45M82 4.12/2.43 decisions=595, wrong=163, backtracks=89, failedAssignments=88, nogoods=26, foundSolutions=10, bestBound=109 4.12/2.43 4.12/2.43 o 97 4.12/2.43 num=16, depth=15..225, filters=8925, revisions=(26764,useless=20354), ccks=53623, wck=0.131, mem=45M82 4.12/2.43 decisions=624, wrong=169, backtracks=91, failedAssignments=92, nogoods=28, foundSolutions=11, bestBound=97 4.12/2.43 4.12/2.44 o 73 4.12/2.44 num=17, depth=17..225, filters=9483, revisions=(28044,useless=21233), ccks=55397, wck=0.136, mem=45M82 4.12/2.44 decisions=652, wrong=175, backtracks=94, failedAssignments=95, nogoods=31, foundSolutions=12, bestBound=73 4.12/2.44 4.12/2.44 num=18, depth=14..19, filters=10668, revisions=(29905,useless=22206), ccks=58442, wck=0.142, mem=45M82 4.12/2.44 decisions=708, wrong=196, backtracks=108, failedAssignments=106, nogoods=33, foundSolutions=12, bestBound=73 4.12/2.44 4.12/2.45 num=19, depth=14..19, filters=11908, revisions=(31948,useless=23304), ccks=61640, wck=0.148, mem=45M82 4.12/2.45 decisions=769, wrong=218, backtracks=121, failedAssignments=117, nogoods=39, foundSolutions=12, bestBound=73 4.12/2.45 4.12/2.45 num=20, depth=15..19, filters=13277, revisions=(33893,useless=24273), ccks=64725, wck=0.153, mem=47M724 4.12/2.45 decisions=826, wrong=239, backtracks=134, failedAssignments=129, nogoods=43, foundSolutions=12, bestBound=73 4.12/2.45 4.12/2.46 num=21, depth=14..20, filters=14270, revisions=(35476,useless=25100), ccks=67118, wck=0.158, mem=47M724 4.12/2.46 decisions=885, wrong=260, backtracks=144, failedAssignments=142, nogoods=46, foundSolutions=12, bestBound=73 4.12/2.46 4.12/2.46 o 65 4.12/2.46 num=22, depth=14..225, filters=15108, revisions=(37119,useless=26142), ccks=69281, wck=0.163, mem=47M724 4.12/2.46 decisions=916, wrong=268, backtracks=147, failedAssignments=148, nogoods=50, foundSolutions=13, bestBound=65 4.12/2.46 4.12/2.47 o 49 4.12/2.47 num=23, depth=17..225, filters=15472, revisions=(38112,useless=26864), ccks=70587, wck=0.167, mem=47M724 4.12/2.47 decisions=937, wrong=269, backtracks=147, failedAssignments=149, nogoods=51, foundSolutions=14, bestBound=49 4.12/2.47 4.12/2.47 num=24, depth=13..19, filters=16571, revisions=(40042,useless=27913), ccks=72985, wck=0.173, mem=47M724 4.12/2.47 decisions=993, wrong=290, backtracks=157, failedAssignments=160, nogoods=53, foundSolutions=14, bestBound=49 4.12/2.47 4.12/2.48 num=25, depth=14..19, filters=17755, revisions=(41791,useless=28806), ccks=75328, wck=0.177, mem=47M724 4.12/2.48 decisions=1043, wrong=308, backtracks=169, failedAssignments=171, nogoods=55, foundSolutions=14, bestBound=49 4.12/2.48 4.12/2.48 num=26, depth=14..19, filters=18888, revisions=(43593,useless=29765), ccks=77477, wck=0.182, mem=47M724 4.12/2.48 decisions=1092, wrong=325, backtracks=178, failedAssignments=183, nogoods=60, foundSolutions=14, bestBound=49 4.12/2.48 4.12/2.49 num=27, depth=14..19, filters=20123, revisions=(45742,useless=30916), ccks=80000, wck=0.187, mem=47M724 4.12/2.49 decisions=1152, wrong=348, backtracks=195, failedAssignments=196, nogoods=64, foundSolutions=14, bestBound=49 4.12/2.49 4.12/2.49 num=28, depth=14..18, filters=21321, revisions=(47665,useless=31917), ccks=82362, wck=0.192, mem=47M724 4.12/2.49 decisions=1210, wrong=370, backtracks=208, failedAssignments=210, nogoods=67, foundSolutions=14, bestBound=49 4.12/2.49 4.44/2.50 num=29, depth=13..18, filters=23214, revisions=(50289,useless=33118), ccks=85959, wck=0.199, mem=47M724 4.44/2.50 decisions=1285, wrong=400, backtracks=225, failedAssignments=226, nogoods=69, foundSolutions=14, bestBound=49 4.44/2.50 4.44/2.51 num=30, depth=13..21, filters=25150, revisions=(53065,useless=34414), ccks=89713, wck=0.206, mem=47M724 4.44/2.51 decisions=1355, wrong=428, backtracks=243, failedAssignments=243, nogoods=73, foundSolutions=14, bestBound=49 4.44/2.51 4.44/2.52 num=31, depth=13..20, filters=28024, revisions=(56897,useless=36083), ccks=94766, wck=0.216, mem=47M724 4.44/2.52 decisions=1435, wrong=461, backtracks=268, failedAssignments=262, nogoods=76, foundSolutions=14, bestBound=49 4.44/2.52 4.44/2.53 num=32, depth=13..17, filters=30321, revisions=(60092,useless=37480), ccks=98765, wck=0.224, mem=47M724 4.44/2.53 decisions=1523, wrong=498, backtracks=293, failedAssignments=283, nogoods=80, foundSolutions=14, bestBound=49 4.44/2.53 4.44/2.53 num=33, depth=13..18, filters=32052, revisions=(62471,useless=38537), ccks=101897, wck=0.231, mem=47M724 4.44/2.53 decisions=1607, wrong=533, backtracks=311, failedAssignments=306, nogoods=85, foundSolutions=14, bestBound=49 4.44/2.53 4.44/2.54 num=34, depth=13..17, filters=34258, revisions=(65658,useless=39926), ccks=105598, wck=0.238, mem=47M724 4.44/2.54 decisions=1692, wrong=569, backtracks=330, failedAssignments=331, nogoods=94, foundSolutions=14, bestBound=49 4.44/2.54 4.44/2.55 num=35, depth=11..17, filters=37177, revisions=(69623,useless=41700), ccks=110724, wck=0.248, mem=47M724 4.44/2.55 decisions=1784, wrong=609, backtracks=361, failedAssignments=359, nogoods=97, foundSolutions=14, bestBound=49 4.44/2.55 4.44/2.56 num=36, depth=11..18, filters=40518, revisions=(74031,useless=43610), ccks=116187, wck=0.26, mem=47M724 4.44/2.56 decisions=1889, wrong=655, backtracks=398, failedAssignments=390, nogoods=102, foundSolutions=14, bestBound=49 4.44/2.56 4.44/2.57 num=37, depth=11..18, filters=44271, revisions=(78814,useless=45556), ccks=122409, wck=0.272, mem=47M724 4.44/2.57 decisions=2013, wrong=711, backtracks=436, failedAssignments=424, nogoods=107, foundSolutions=14, bestBound=49 4.44/2.57 4.44/2.58 num=38, depth=10..18, filters=47248, revisions=(83225,useless=47832), ccks=128553, wck=0.283, mem=50M367 4.44/2.58 decisions=2147, wrong=772, backtracks=486, failedAssignments=461, nogoods=113, foundSolutions=14, bestBound=49 4.44/2.58 4.75/2.60 num=39, depth=11..17, filters=51555, revisions=(88787,useless=50123), ccks=135716, wck=0.297, mem=50M367 4.75/2.60 decisions=2285, wrong=835, backtracks=531, failedAssignments=502, nogoods=117, foundSolutions=14, bestBound=49 4.75/2.60 4.75/2.61 num=40, depth=11..18, filters=56263, revisions=(95094,useless=52763), ccks=143353, wck=0.31, mem=50M367 4.75/2.61 decisions=2432, wrong=902, backtracks=573, failedAssignments=547, nogoods=124, foundSolutions=14, bestBound=49 4.75/2.61 4.75/2.62 num=41, depth=11..17, filters=60347, revisions=(100784,useless=55209), ccks=150413, wck=0.323, mem=50M367 4.75/2.62 decisions=2589, wrong=974, backtracks=617, failedAssignments=597, nogoods=132, foundSolutions=14, bestBound=49 4.75/2.62 4.75/2.64 num=42, depth=11..19, filters=65500, revisions=(107556,useless=58016), ccks=159495, wck=0.338, mem=50M367 4.75/2.64 decisions=2765, wrong=1056, backtracks=679, failedAssignments=652, nogoods=137, foundSolutions=14, bestBound=49 4.75/2.64 4.75/2.66 num=43, depth=10..20, filters=73596, revisions=(117622,useless=61996), ccks=171849, wck=0.361, mem=50M367 4.75/2.66 decisions=2988, wrong=1161, backtracks=756, failedAssignments=713, nogoods=140, foundSolutions=14, bestBound=49 4.75/2.66 4.75/2.68 num=44, depth=11..19, filters=79237, revisions=(125250,useless=65238), ccks=181557, wck=0.378, mem=50M367 4.75/2.68 decisions=3196, wrong=1259, backtracks=827, failedAssignments=780, nogoods=145, foundSolutions=14, bestBound=49 4.75/2.68 5.04/2.70 num=45, depth=10..19, filters=85238, revisions=(134009,useless=69592), ccks=193960, wck=0.398, mem=50M367 5.04/2.70 decisions=3488, wrong=1399, backtracks=941, failedAssignments=854, nogoods=152, foundSolutions=14, bestBound=49 5.04/2.70 5.04/2.74 num=46, depth=10..19, filters=99020, revisions=(157897,useless=83073), ccks=224657, wck=0.437, mem=53M9 5.04/2.74 decisions=3786, wrong=1542, backtracks=1056, failedAssignments=935, nogoods=158, foundSolutions=14, bestBound=49 5.04/2.74 5.04/2.75 num=47, depth=10..19, filters=103772, revisions=(167807,useless=89056), ccks=235308, wck=0.454, mem=53M9 5.04/2.75 decisions=4195, wrong=1741, backtracks=1238, failedAssignments=1024, nogoods=161, foundSolutions=14, bestBound=49 5.04/2.75 5.35/2.81 num=48, depth=8..18, filters=123553, revisions=(206895,useless=112727), ccks=287167, wck=0.506, mem=53M9 5.35/2.81 decisions=4581, wrong=1928, backtracks=1392, failedAssignments=1122, nogoods=164, foundSolutions=14, bestBound=49 5.35/2.81 5.35/2.87 num=49, depth=8..19, filters=145135, revisions=(245064,useless=134682), ccks=340634, wck=0.565, mem=53M9 5.35/2.87 decisions=4990, wrong=2127, backtracks=1553, failedAssignments=1230, nogoods=166, foundSolutions=14, bestBound=49 5.35/2.87 5.65/2.92 num=50, depth=8..17, filters=166842, revisions=(283409,useless=156852), ccks=394369, wck=0.619, mem=55M652 5.65/2.92 decisions=5416, wrong=2335, backtracks=1718, failedAssignments=1349, nogoods=169, foundSolutions=14, bestBound=49 5.65/2.92 5.65/2.97 num=51, depth=8..18, filters=192091, revisions=(327734,useless=182341), ccks=453609, wck=0.671, mem=55M652 5.65/2.97 decisions=5910, wrong=2577, backtracks=1919, failedAssignments=1480, nogoods=174, foundSolutions=14, bestBound=49 5.65/2.97 5.98/3.01 num=52, depth=10..18, filters=213799, revisions=(357312,useless=196277), ccks=494333, wck=0.71, mem=55M652 5.98/3.01 decisions=6451, wrong=2841, backtracks=2114, failedAssignments=1624, nogoods=178, foundSolutions=14, bestBound=49 5.98/3.01 5.98/3.04 num=53, depth=10..18, filters=234370, revisions=(389772,useless=213344), ccks=534234, wck=0.742, mem=55M652 5.98/3.04 decisions=6987, wrong=3103, backtracks=2309, failedAssignments=1782, nogoods=186, foundSolutions=14, bestBound=49 5.98/3.04 5.98/3.08 num=54, depth=9..26, filters=255868, revisions=(425428,useless=231638), ccks=575265, wck=0.775, mem=55M652 5.98/3.08 decisions=7641, wrong=3424, backtracks=2527, failedAssignments=1956, nogoods=193, foundSolutions=14, bestBound=49 5.98/3.08 5.98/3.10 o 37 5.98/3.10 num=55, depth=11..225, filters=274075, revisions=(448763,useless=241805), ccks=609828, wck=0.802, mem=55M652 5.98/3.10 decisions=8114, wrong=3653, backtracks=2690, failedAssignments=2079, nogoods=199, foundSolutions=15, bestBound=37 5.98/3.10 6.16/3.14 num=56, depth=11..21, filters=299515, revisions=(485316,useless=259063), ccks=656372, wck=0.838, mem=55M652 6.16/3.14 decisions=8957, wrong=4069, backtracks=3003, failedAssignments=2290, nogoods=206, foundSolutions=15, bestBound=37 6.16/3.14 6.16/3.14 num=57, depth=9..15, filters=300039, revisions=(486621,useless=259933), ccks=658089, wck=0.84, mem=55M652 6.16/3.14 decisions=9001, wrong=4086, backtracks=3014, failedAssignments=2301, nogoods=209, foundSolutions=15, bestBound=37 6.16/3.14 6.16/3.14 num=58, depth=11..17, filters=301287, revisions=(488575,useless=260864), ccks=660426, wck=0.842, mem=55M652 6.16/3.14 decisions=9054, wrong=4107, backtracks=3029, failedAssignments=2313, nogoods=210, foundSolutions=15, bestBound=37 6.16/3.14 6.16/3.15 num=59, depth=11..16, filters=302517, revisions=(490652,useless=261953), ccks=662579, wck=0.845, mem=55M652 6.16/3.15 decisions=9107, wrong=4128, backtracks=3042, failedAssignments=2326, nogoods=213, foundSolutions=15, bestBound=37 6.16/3.15 6.16/3.15 num=60, depth=6..11, filters=303259, revisions=(492856,useless=263591), ccks=665079, wck=0.846, mem=55M652 6.16/3.15 decisions=9172, wrong=4157, backtracks=3064, failedAssignments=2340, nogoods=217, foundSolutions=15, bestBound=37 6.16/3.15 6.16/3.15 num=61, depth=10..17, filters=305080, revisions=(495659,useless=264952), ccks=668177, wck=0.849, mem=55M652 6.16/3.15 decisions=9241, wrong=4186, backtracks=3087, failedAssignments=2356, nogoods=219, foundSolutions=15, bestBound=37 6.16/3.15 6.16/3.15 num=62, depth=11..19, filters=307527, revisions=(499145,useless=266523), ccks=672483, wck=0.853, mem=55M652 6.16/3.15 decisions=9320, wrong=4220, backtracks=3113, failedAssignments=2373, nogoods=224, foundSolutions=15, bestBound=37 6.16/3.15 6.16/3.16 num=63, depth=11..16, filters=309912, revisions=(502586,useless=268111), ccks=676323, wck=0.857, mem=55M652 6.16/3.16 decisions=9399, wrong=4253, backtracks=3138, failedAssignments=2392, nogoods=228, foundSolutions=15, bestBound=37 6.16/3.16 6.16/3.16 num=64, depth=12..18, filters=311534, revisions=(505282,useless=269506), ccks=679036, wck=0.86, mem=55M652 6.16/3.16 decisions=9469, wrong=4282, backtracks=3161, failedAssignments=2413, nogoods=230, foundSolutions=15, bestBound=37 6.16/3.16 6.16/3.16 num=65, depth=11..17, filters=313699, revisions=(508341,useless=270904), ccks=682643, wck=0.863, mem=55M652 6.16/3.16 decisions=9548, wrong=4315, backtracks=3183, failedAssignments=2436, nogoods=237, foundSolutions=15, bestBound=37 6.16/3.16 6.16/3.17 num=66, depth=11..19, filters=315966, revisions=(511926,useless=272724), ccks=686471, wck=0.867, mem=55M652 6.16/3.17 decisions=9630, wrong=4350, backtracks=3215, failedAssignments=2461, nogoods=240, foundSolutions=15, bestBound=37 6.16/3.17 6.16/3.17 num=67, depth=11..18, filters=318370, revisions=(515305,useless=274191), ccks=690309, wck=0.871, mem=55M652 6.16/3.17 decisions=9732, wrong=4395, backtracks=3246, failedAssignments=2489, nogoods=245, foundSolutions=15, bestBound=37 6.16/3.17 6.16/3.18 num=68, depth=11..18, filters=321525, revisions=(520027,useless=276506), ccks=695713, wck=0.875, mem=55M652 6.16/3.18 decisions=9836, wrong=4441, backtracks=3284, failedAssignments=2520, nogoods=251, foundSolutions=15, bestBound=37 6.16/3.18 6.16/3.18 num=69, depth=11..17, filters=324709, revisions=(524634,useless=278557), ccks=700684, wck=0.88, mem=55M652 6.16/3.18 decisions=9951, wrong=4492, backtracks=3317, failedAssignments=2554, nogoods=259, foundSolutions=15, bestBound=37 6.16/3.18 6.16/3.19 num=70, depth=11..16, filters=328385, revisions=(529779,useless=280742), ccks=706431, wck=0.886, mem=55M652 6.16/3.19 decisions=10077, wrong=4549, backtracks=3353, failedAssignments=2591, nogoods=267, foundSolutions=15, bestBound=37 6.16/3.19 6.16/3.19 num=71, depth=11..18, filters=332519, revisions=(535827,useless=283527), ccks=713463, wck=0.892, mem=55M652 6.16/3.19 decisions=10224, wrong=4617, backtracks=3409, failedAssignments=2632, nogoods=272, foundSolutions=15, bestBound=37 6.16/3.19 6.33/3.20 num=72, depth=11..18, filters=335860, revisions=(540663,useless=285633), ccks=719229, wck=0.897, mem=55M652 6.33/3.20 decisions=10371, wrong=4685, backtracks=3452, failedAssignments=2677, nogoods=273, foundSolutions=15, bestBound=37 6.33/3.20 6.33/3.21 num=73, depth=11..17, filters=340760, revisions=(547395,useless=288578), ccks=727276, wck=0.905, mem=55M652 6.33/3.21 decisions=10542, wrong=4765, backtracks=3513, failedAssignments=2727, nogoods=278, foundSolutions=15, bestBound=37 6.33/3.21 6.33/3.21 num=74, depth=11..28, filters=345202, revisions=(553484,useless=290920), ccks=734057, wck=0.911, mem=55M652 6.33/3.21 decisions=10723, wrong=4849, backtracks=3558, failedAssignments=2782, nogoods=281, foundSolutions=15, bestBound=37 6.33/3.21 6.33/3.22 num=75, depth=10..18, filters=351321, revisions=(562262,useless=294854), ccks=744357, wck=0.921, mem=55M652 6.33/3.22 decisions=10941, wrong=4951, backtracks=3642, failedAssignments=2843, nogoods=283, foundSolutions=15, bestBound=37 6.33/3.22 6.33/3.23 num=76, depth=10..17, filters=358485, revisions=(571863,useless=298801), ccks=755724, wck=0.931, mem=55M652 6.33/3.23 decisions=11173, wrong=5061, backtracks=3719, failedAssignments=2910, nogoods=287, foundSolutions=15, bestBound=37 6.33/3.23 6.33/3.24 num=77, depth=10..19, filters=365041, revisions=(580798,useless=302603), ccks=766613, wck=0.94, mem=55M652 6.33/3.24 decisions=11428, wrong=5182, backtracks=3803, failedAssignments=2984, nogoods=292, foundSolutions=15, bestBound=37 6.33/3.24 6.33/3.25 num=78, depth=4..15, filters=369386, revisions=(591302,useless=309672), ccks=779680, wck=0.949, mem=55M652 6.33/3.25 decisions=11752, wrong=5341, backtracks=3914, failedAssignments=3065, nogoods=296, foundSolutions=15, bestBound=37 6.33/3.25 6.33/3.26 num=79, depth=9..24, filters=379833, revisions=(605366,useless=315572), ccks=796831, wck=0.964, mem=55M652 6.33/3.26 decisions=12073, wrong=5496, backtracks=4027, failedAssignments=3154, nogoods=305, foundSolutions=15, bestBound=37 6.33/3.26 6.33/3.28 num=80, depth=10..19, filters=389986, revisions=(618654,useless=320899), ccks=812487, wck=0.978, mem=55M652 6.33/3.28 decisions=12414, wrong=5661, backtracks=4139, failedAssignments=3252, nogoods=312, foundSolutions=15, bestBound=37 6.33/3.28 6.33/3.29 num=81, depth=4..17, filters=395076, revisions=(628880,useless=327336), ccks=824605, wck=0.987, mem=55M652 6.33/3.29 decisions=12826, wrong=5864, backtracks=4329, failedAssignments=3360, nogoods=315, foundSolutions=15, bestBound=37 6.33/3.29 6.45/3.31 num=82, depth=11..28, filters=408855, revisions=(653981,useless=340552), ccks=852533, wck=1.008, mem=55M652 6.45/3.31 decisions=13371, wrong=6131, backtracks=4528, failedAssignments=3479, nogoods=320, foundSolutions=15, bestBound=37 6.45/3.31 6.45/3.33 num=83, depth=7..28, filters=422905, revisions=(682077,useless=356667), ccks=885783, wck=1.032, mem=55M652 6.45/3.33 decisions=13996, wrong=6437, backtracks=4751, failedAssignments=3610, nogoods=325, foundSolutions=15, bestBound=37 6.45/3.33 6.45/3.36 num=84, depth=9..26, filters=438847, revisions=(706290,useless=367392), ccks=913905, wck=1.055, mem=55M652 6.45/3.36 decisions=14557, wrong=6711, backtracks=4952, failedAssignments=3754, nogoods=332, foundSolutions=15, bestBound=37 6.45/3.36 6.45/3.39 num=85, depth=8..24, filters=463587, revisions=(746657,useless=388305), ccks=963080, wck=1.094, mem=55M652 6.45/3.39 decisions=15201, wrong=7026, backtracks=5209, failedAssignments=3912, nogoods=340, foundSolutions=15, bestBound=37 6.45/3.39 6.55/3.42 num=86, depth=9..21, filters=482180, revisions=(772287,useless=399669), ccks=993950, wck=1.121, mem=55M652 6.55/3.42 decisions=15795, wrong=7318, backtracks=5457, failedAssignments=4086, nogoods=346, foundSolutions=15, bestBound=37 6.55/3.42 6.55/3.45 num=87, depth=9..19, filters=502285, revisions=(798255,useless=410446), ccks=1026303, wck=1.149, mem=55M652 6.55/3.45 decisions=16409, wrong=7620, backtracks=5706, failedAssignments=4277, nogoods=352, foundSolutions=15, bestBound=37 6.55/3.45 6.55/3.48 num=88, depth=9..19, filters=523184, revisions=(825352,useless=421474), ccks=1059309, wck=1.178, mem=55M652 6.55/3.48 decisions=17112, wrong=7966, backtracks=5948, failedAssignments=4488, nogoods=356, foundSolutions=15, bestBound=37 6.55/3.48 6.66/3.51 num=89, depth=10..20, filters=543249, revisions=(854826,useless=435318), ccks=1095849, wck=1.207, mem=55M652 6.66/3.51 decisions=17927, wrong=8368, backtracks=6243, failedAssignments=4720, nogoods=360, foundSolutions=15, bestBound=37 6.66/3.51 6.66/3.54 num=90, depth=9..20, filters=568499, revisions=(889625,useless=450360), ccks=1139131, wck=1.242, mem=55M652 6.66/3.54 decisions=18839, wrong=8818, backtracks=6565, failedAssignments=4975, nogoods=367, foundSolutions=15, bestBound=37 6.66/3.54 6.66/3.59 num=91, depth=9..22, filters=602099, revisions=(936610,useless=471598), ccks=1196087, wck=1.29, mem=55M652 6.66/3.59 decisions=19864, wrong=9325, backtracks=6932, failedAssignments=5256, nogoods=372, foundSolutions=15, bestBound=37 6.66/3.59 6.76/3.65 num=92, depth=9..22, filters=642198, revisions=(993033,useless=497326), ccks=1266046, wck=1.347, mem=55M652 6.76/3.65 decisions=21039, wrong=9906, backtracks=7362, failedAssignments=5565, nogoods=377, foundSolutions=15, bestBound=37 6.76/3.65 6.86/3.70 num=93, depth=9..24, filters=682780, revisions=(1047380,useless=519778), ccks=1330455, wck=1.402, mem=55M652 6.86/3.70 decisions=22304, wrong=10533, backtracks=7822, failedAssignments=5905, nogoods=385, foundSolutions=15, bestBound=37 6.86/3.70 6.86/3.76 num=94, depth=8..20, filters=725670, revisions=(1101228,useless=540975), ccks=1397452, wck=1.46, mem=55M652 6.86/3.76 decisions=23658, wrong=11205, backtracks=8324, failedAssignments=6279, nogoods=390, foundSolutions=15, bestBound=37 6.86/3.76 6.96/3.82 num=95, depth=8..23, filters=771440, revisions=(1160176,useless=564975), ccks=1470172, wck=1.523, mem=55M652 6.96/3.82 decisions=25137, wrong=11940, backtracks=8841, failedAssignments=6690, nogoods=395, foundSolutions=15, bestBound=37 6.96/3.82 6.96/3.89 num=96, depth=8..24, filters=820960, revisions=(1231059,useless=595817), ccks=1555042, wck=1.591, mem=55M652 6.96/3.89 decisions=26872, wrong=12802, backtracks=9479, failedAssignments=7142, nogoods=403, foundSolutions=15, bestBound=37 6.96/3.89 7.06/3.97 num=97, depth=7..27, filters=878303, revisions=(1303570,useless=624670), ccks=1645598, wck=1.668, mem=55M652 7.06/3.97 decisions=28712, wrong=13716, backtracks=10115, failedAssignments=7639, nogoods=412, foundSolutions=15, bestBound=37 7.06/3.97 7.20/4.05 num=98, depth=8..24, filters=939556, revisions=(1385254,useless=658441), ccks=1748025, wck=1.751, mem=55M652 7.20/4.05 decisions=30682, wrong=14696, backtracks=10818, failedAssignments=8186, nogoods=421, foundSolutions=15, bestBound=37 7.20/4.05 7.30/4.13 num=99, depth=8..26, filters=1001444, revisions=(1466445,useless=691403), ccks=1847588, wck=1.834, mem=55M652 7.30/4.13 decisions=32838, wrong=15769, backtracks=11620, failedAssignments=8788, nogoods=427, foundSolutions=15, bestBound=37 7.30/4.13 7.40/4.23 num=100, depth=8..21, filters=1072343, revisions=(1554534,useless=725391), ccks=1956840, wck=1.925, mem=55M652 7.40/4.23 decisions=35195, wrong=16942, backtracks=12448, failedAssignments=9450, nogoods=435, foundSolutions=15, bestBound=37 7.40/4.23 7.53/4.33 num=101, depth=3..26, filters=1140499, revisions=(1684268,useless=796358), ccks=2089183, wck=2.03, mem=55M652 7.53/4.33 decisions=38403, wrong=18539, backtracks=13637, failedAssignments=10178, nogoods=448, foundSolutions=15, bestBound=37 7.53/4.33 7.63/4.44 num=102, depth=7..27, filters=1222585, revisions=(1795122,useless=840958), ccks=2224237, wck=2.14, mem=58M294 7.63/4.44 decisions=41334, wrong=19999, backtracks=14704, failedAssignments=10979, nogoods=457, foundSolutions=15, bestBound=37 7.63/4.44 7.73/4.57 num=103, depth=7..20, filters=1324328, revisions=(1923727,useless=891533), ccks=2382381, wck=2.273, mem=58M294 7.73/4.57 decisions=44505, wrong=21579, backtracks=15862, failedAssignments=11860, nogoods=465, foundSolutions=15, bestBound=37 7.73/4.57 7.93/4.72 num=104, depth=7..26, filters=1430231, revisions=(2064369,useless=949311), ccks=2557687, wck=2.415, mem=58M294 7.93/4.72 decisions=48141, wrong=23392, backtracks=17175, failedAssignments=12830, nogoods=476, foundSolutions=15, bestBound=37 7.93/4.72 8.03/4.87 num=105, depth=7..23, filters=1547294, revisions=(2213731,useless=1008367), ccks=2747429, wck=2.569, mem=58M294 8.03/4.87 decisions=51971, wrong=25303, backtracks=18600, failedAssignments=13897, nogoods=483, foundSolutions=15, bestBound=37 8.03/4.87 8.13/5.00 o 33 8.13/5.00 num=106, depth=7..225, filters=1641688, revisions=(2337352,useless=1058925), ccks=2897642, wck=2.695, mem=58M294 8.13/5.00 decisions=55119, wrong=26871, backtracks=19734, failedAssignments=14776, nogoods=489, foundSolutions=16, bestBound=33 8.13/5.00 8.44/5.20 num=107, depth=7..21, filters=1791978, revisions=(2541672,useless=1148317), ccks=3151246, wck=2.901, mem=58M294 8.44/5.20 decisions=59803, wrong=29208, backtracks=21569, failedAssignments=16067, nogoods=496, foundSolutions=16, bestBound=33 8.44/5.20 8.44/5.20 num=108, depth=9..23, filters=1792650, revisions=(2543277,useless=1149331), ccks=3153284, wck=2.902, mem=58M294 8.44/5.20 decisions=59856, wrong=29226, backtracks=21581, failedAssignments=16078, nogoods=498, foundSolutions=16, bestBound=33 8.44/5.20 8.44/5.21 num=109, depth=10..16, filters=1793889, revisions=(2545361,useless=1150384), ccks=3155556, wck=2.905, mem=58M294 8.44/5.21 decisions=59909, wrong=29245, backtracks=21594, failedAssignments=16090, nogoods=501, foundSolutions=16, bestBound=33 8.44/5.21 8.44/5.21 num=110, depth=10..18, filters=1795155, revisions=(2547343,useless=1151317), ccks=3157733, wck=2.907, mem=58M294 8.44/5.21 decisions=59964, wrong=29267, backtracks=21607, failedAssignments=16103, nogoods=503, foundSolutions=16, bestBound=33 8.44/5.21 8.44/5.21 num=111, depth=10..17, filters=1797054, revisions=(2550233,useless=1152651), ccks=3160967, wck=2.91, mem=58M294 8.44/5.21 decisions=60035, wrong=29297, backtracks=21627, failedAssignments=16117, nogoods=506, foundSolutions=16, bestBound=33 8.44/5.21 8.44/5.21 num=112, depth=10..17, filters=1798592, revisions=(2552438,useless=1153661), ccks=3163684, wck=2.912, mem=58M294 8.44/5.21 decisions=60105, wrong=29326, backtracks=21644, failedAssignments=16133, nogoods=512, foundSolutions=16, bestBound=33 8.44/5.21 8.44/5.22 num=113, depth=10..23, filters=1800140, revisions=(2554839,useless=1154726), ccks=3166282, wck=2.914, mem=58M294 8.44/5.22 decisions=60174, wrong=29355, backtracks=21660, failedAssignments=16150, nogoods=514, foundSolutions=16, bestBound=33 8.44/5.22 8.44/5.22 num=114, depth=9..16, filters=1802162, revisions=(2558231,useless=1156399), ccks=3170343, wck=2.918, mem=58M294 8.44/5.22 decisions=60246, wrong=29385, backtracks=21679, failedAssignments=16169, nogoods=522, foundSolutions=16, bestBound=33 8.44/5.22 8.44/5.22 num=115, depth=9..19, filters=1803662, revisions=(2560831,useless=1157713), ccks=3173913, wck=2.921, mem=58M294 8.44/5.22 decisions=60327, wrong=29419, backtracks=21703, failedAssignments=16190, nogoods=528, foundSolutions=16, bestBound=33 8.44/5.22 8.44/5.22 num=116, depth=9..19, filters=1805770, revisions=(2564367,useless=1159425), ccks=3177799, wck=2.924, mem=58M294 8.44/5.22 decisions=60406, wrong=29452, backtracks=21722, failedAssignments=16213, nogoods=535, foundSolutions=16, bestBound=33 8.44/5.22 8.44/5.23 num=117, depth=9..25, filters=1807860, revisions=(2567843,useless=1161101), ccks=3181927, wck=2.928, mem=58M294 8.44/5.23 decisions=60507, wrong=29496, backtracks=21751, failedAssignments=16238, nogoods=538, foundSolutions=16, bestBound=33 8.44/5.23 8.44/5.23 num=118, depth=9..19, filters=1811065, revisions=(2572720,useless=1163284), ccks=3187399, wck=2.933, mem=58M294 8.44/5.23 decisions=60631, wrong=29553, backtracks=21792, failedAssignments=16266, nogoods=543, foundSolutions=16, bestBound=33 8.44/5.23 8.44/5.24 num=119, depth=9..24, filters=1814047, revisions=(2577059,useless=1165124), ccks=3192627, wck=2.937, mem=58M294 8.44/5.24 decisions=60760, wrong=29611, backtracks=21831, failedAssignments=16297, nogoods=548, foundSolutions=16, bestBound=33 8.44/5.24 8.44/5.24 num=120, depth=9..19, filters=1818250, revisions=(2583555,useless=1168166), ccks=3199991, wck=2.944, mem=58M294 8.44/5.24 decisions=60893, wrong=29672, backtracks=21878, failedAssignments=16331, nogoods=557, foundSolutions=16, bestBound=33 8.44/5.24 8.44/5.25 num=121, depth=9..23, filters=1821424, revisions=(2588444,useless=1170326), ccks=3205539, wck=2.948, mem=58M294 8.44/5.25 decisions=61039, wrong=29739, backtracks=21917, failedAssignments=16368, nogoods=563, foundSolutions=16, bestBound=33 8.44/5.25 8.44/5.26 num=122, depth=8..19, filters=1825323, revisions=(2594309,useless=1172973), ccks=3212151, wck=2.954, mem=58M294 8.44/5.26 decisions=61195, wrong=29813, backtracks=21974, failedAssignments=16409, nogoods=564, foundSolutions=16, bestBound=33 8.44/5.26 8.44/5.26 num=123, depth=10..26, filters=1828457, revisions=(2599453,useless=1175426), ccks=3218038, wck=2.959, mem=58M294 8.44/5.26 decisions=61371, wrong=29894, backtracks=22027, failedAssignments=16454, nogoods=567, foundSolutions=16, bestBound=33 8.44/5.26 8.44/5.27 num=124, depth=9..21, filters=1832580, revisions=(2605816,useless=1178270), ccks=3225620, wck=2.966, mem=58M294 8.44/5.27 decisions=61564, wrong=29984, backtracks=22092, failedAssignments=16504, nogoods=572, foundSolutions=16, bestBound=33 8.44/5.27 8.44/5.27 num=125, depth=9..19, filters=1838014, revisions=(2614369,useless=1182310), ccks=3235119, wck=2.974, mem=58M294 8.44/5.27 decisions=61770, wrong=30081, backtracks=22163, failedAssignments=16559, nogoods=581, foundSolutions=16, bestBound=33 8.44/5.27 8.44/5.28 num=126, depth=9..19, filters=1844088, revisions=(2622806,useless=1185792), ccks=3244580, wck=2.983, mem=58M294 8.44/5.28 decisions=61996, wrong=30189, backtracks=22240, failedAssignments=16620, nogoods=585, foundSolutions=16, bestBound=33 8.44/5.28 8.44/5.29 num=127, depth=8..18, filters=1851052, revisions=(2632337,useless=1189816), ccks=3256360, wck=2.993, mem=58M294 8.44/5.29 decisions=62236, wrong=30304, backtracks=22319, failedAssignments=16687, nogoods=592, foundSolutions=16, bestBound=33 8.44/5.29 8.55/5.31 num=128, depth=9..26, filters=1859188, revisions=(2643152,useless=1194088), ccks=3269524, wck=3.005, mem=58M294 8.55/5.31 decisions=62493, wrong=30427, backtracks=22412, failedAssignments=16761, nogoods=598, foundSolutions=16, bestBound=33 8.55/5.31 8.55/5.32 num=129, depth=10..18, filters=1867464, revisions=(2654419,useless=1198706), ccks=3282703, wck=3.016, mem=58M294 8.55/5.32 decisions=62766, wrong=30557, backtracks=22509, failedAssignments=16842, nogoods=604, foundSolutions=16, bestBound=33 8.55/5.32 8.55/5.33 num=130, depth=10..19, filters=1878153, revisions=(2669287,useless=1205117), ccks=3299709, wck=3.032, mem=58M294 8.55/5.33 decisions=63091, wrong=30713, backtracks=22636, failedAssignments=16931, nogoods=610, foundSolutions=16, bestBound=33 8.55/5.33 8.55/5.35 num=131, depth=9..17, filters=1888335, revisions=(2682727,useless=1210793), ccks=3316109, wck=3.047, mem=58M294 8.55/5.35 decisions=63414, wrong=30868, backtracks=22748, failedAssignments=17029, nogoods=616, foundSolutions=16, bestBound=33 8.55/5.35 8.55/5.36 num=132, depth=5..15, filters=1894367, revisions=(2697152,useless=1220157), ccks=3332558, wck=3.058, mem=58M294 8.55/5.36 decisions=63821, wrong=31068, backtracks=22902, failedAssignments=17137, nogoods=622, foundSolutions=16, bestBound=33 8.55/5.36 8.55/5.38 num=133, depth=10..17, filters=1908675, revisions=(2715919,useless=1227872), ccks=3355322, wck=3.078, mem=58M294 8.55/5.38 decisions=64257, wrong=31280, backtracks=23062, failedAssignments=17256, nogoods=629, foundSolutions=16, bestBound=33 8.55/5.38 8.55/5.40 num=134, depth=9..19, filters=1920238, revisions=(2732778,useless=1235964), ccks=3376230, wck=3.095, mem=58M294 8.55/5.40 decisions=64726, wrong=31509, backtracks=23247, failedAssignments=17387, nogoods=632, foundSolutions=16, bestBound=33 8.55/5.40 8.66/5.42 num=135, depth=9..18, filters=1935683, revisions=(2752903,useless=1244137), ccks=3399653, wck=3.116, mem=58M294 8.66/5.42 decisions=65217, wrong=31749, backtracks=23419, failedAssignments=17531, nogoods=639, foundSolutions=16, bestBound=33 8.66/5.42 8.66/5.44 num=136, depth=9..19, filters=1953566, revisions=(2777263,useless=1254698), ccks=3428696, wck=3.142, mem=58M294 8.66/5.44 decisions=65757, wrong=32013, backtracks=23629, failedAssignments=17689, nogoods=647, foundSolutions=16, bestBound=33 8.66/5.44 8.66/5.47 num=137, depth=9..19, filters=1970949, revisions=(2800366,useless=1263905), ccks=3456146, wck=3.166, mem=58M294 8.66/5.47 decisions=66360, wrong=32310, backtracks=23846, failedAssignments=17863, nogoods=651, foundSolutions=16, bestBound=33 8.66/5.47 8.66/5.49 num=138, depth=9..19, filters=1990870, revisions=(2826767,useless=1274670), ccks=3487788, wck=3.194, mem=58M294 8.66/5.49 decisions=67016, wrong=32632, backtracks=24084, failedAssignments=18054, nogoods=657, foundSolutions=16, bestBound=33 8.66/5.49 8.76/5.53 num=139, depth=9..19, filters=2013464, revisions=(2858106,useless=1287857), ccks=3523658, wck=3.226, mem=58M294 8.76/5.53 decisions=67734, wrong=32985, backtracks=24364, failedAssignments=18265, nogoods=663, foundSolutions=16, bestBound=33 8.76/5.53 8.76/5.56 num=140, depth=0..19, filters=2033174, revisions=(2891154,useless=1305572), ccks=3565272, wck=3.257, mem=58M294 8.76/5.56 decisions=68611, wrong=33418, backtracks=24678, failedAssignments=18497, nogoods=668, foundSolutions=16, bestBound=33 8.76/5.56 8.86/5.61 num=141, depth=8..28, filters=2061439, revisions=(2952322,useless=1341320), ccks=3630466, wck=3.305, mem=58M294 8.86/5.61 decisions=69858, wrong=34032, backtracks=25164, failedAssignments=18752, nogoods=673, foundSolutions=16, bestBound=33 8.86/5.61 8.86/5.66 num=142, depth=8..19, filters=2097373, revisions=(3001804,useless=1362476), ccks=3691647, wck=3.357, mem=58M294 8.86/5.66 decisions=70912, wrong=34553, backtracks=25579, failedAssignments=19033, nogoods=677, foundSolutions=16, bestBound=33 8.86/5.66 8.96/5.71 num=143, depth=8..19, filters=2133325, revisions=(3050366,useless=1383150), ccks=3749268, wck=3.406, mem=58M294 8.96/5.71 decisions=72024, wrong=35103, backtracks=25996, failedAssignments=19342, nogoods=681, foundSolutions=16, bestBound=33 8.96/5.71 8.96/5.76 num=144, depth=7..29, filters=2172088, revisions=(3101503,useless=1403988), ccks=3813439, wck=3.46, mem=58M294 8.96/5.76 decisions=73247, wrong=35709, backtracks=26455, failedAssignments=19682, nogoods=684, foundSolutions=16, bestBound=33 8.96/5.76 9.06/5.82 num=145, depth=8..23, filters=2216464, revisions=(3160875,useless=1428863), ccks=3883339, wck=3.523, mem=58M294 9.06/5.82 decisions=74570, wrong=36366, backtracks=26954, failedAssignments=20056, nogoods=691, foundSolutions=16, bestBound=33 9.06/5.82 9.06/5.89 num=146, depth=7..20, filters=2262186, revisions=(3221542,useless=1454261), ccks=3957544, wck=3.586, mem=58M294 9.06/5.89 decisions=76018, wrong=37084, backtracks=27499, failedAssignments=20467, nogoods=694, foundSolutions=16, bestBound=33 9.06/5.89 9.16/5.96 num=147, depth=7..20, filters=2316067, revisions=(3291965,useless=1483547), ccks=4043477, wck=3.661, mem=58M294 9.16/5.96 decisions=77693, wrong=37916, backtracks=28112, failedAssignments=20919, nogoods=698, foundSolutions=16, bestBound=33 9.16/5.96 9.27/6.04 num=148, depth=7..22, filters=2373766, revisions=(3368660,useless=1514973), ccks=4138050, wck=3.742, mem=58M294 9.27/6.04 decisions=79563, wrong=38845, backtracks=28783, failedAssignments=21416, nogoods=705, foundSolutions=16, bestBound=33 9.27/6.04 9.37/6.13 num=149, depth=7..22, filters=2439597, revisions=(3458749,useless=1553147), ccks=4244406, wck=3.834, mem=58M294 9.37/6.13 decisions=81584, wrong=39850, backtracks=29518, failedAssignments=21963, nogoods=711, foundSolutions=16, bestBound=33 9.37/6.13 9.47/6.24 num=150, depth=7..26, filters=2514462, revisions=(3561140,useless=1595900), ccks=4366497, wck=3.938, mem=58M294 9.47/6.24 decisions=83914, wrong=41010, backtracks=30420, failedAssignments=22565, nogoods=718, foundSolutions=16, bestBound=33 9.47/6.24 9.57/6.34 num=151, depth=7..27, filters=2588602, revisions=(3663049,useless=1639458), ccks=4488784, wck=4.04, mem=58M294 9.57/6.34 decisions=86430, wrong=42262, backtracks=31288, failedAssignments=23227, nogoods=724, foundSolutions=16, bestBound=33 9.57/6.34 9.67/6.45 num=152, depth=7..28, filters=2666308, revisions=(3773767,useless=1686283), ccks=4621041, wck=4.149, mem=58M294 9.67/6.45 decisions=89248, wrong=43666, backtracks=32299, failedAssignments=23955, nogoods=729, foundSolutions=16, bestBound=33 9.67/6.45 9.77/6.57 num=153, depth=7..21, filters=2755835, revisions=(3888742,useless=1732082), ccks=4761561, wck=4.269, mem=58M294 9.77/6.57 decisions=92190, wrong=45133, backtracks=33308, failedAssignments=24756, nogoods=742, foundSolutions=16, bestBound=33 9.77/6.57 9.97/6.71 num=154, depth=3..27, filters=2844827, revisions=(4097153,useless=1860116), ccks=4965338, wck=4.414, mem=58M294 9.97/6.71 decisions=96350, wrong=47209, backtracks=34861, failedAssignments=25637, nogoods=747, foundSolutions=16, bestBound=33 9.97/6.71 10.08/6.88 num=155, depth=5..25, filters=2957746, revisions=(4258234,useless=1930882), ccks=5163135, wck=4.575, mem=58M294 10.08/6.88 decisions=99966, wrong=49011, backtracks=36278, failedAssignments=26607, nogoods=752, foundSolutions=16, bestBound=33 10.08/6.88 10.29/7.08 num=156, depth=6..20, filters=3101181, revisions=(4462604,useless=2025309), ccks=5414335, wck=4.778, mem=58M294 10.29/7.08 decisions=103910, wrong=50977, backtracks=37945, failedAssignments=27674, nogoods=761, foundSolutions=16, bestBound=33 10.29/7.08 10.48/7.28 num=157, depth=6..27, filters=3244010, revisions=(4663117,useless=2113456), ccks=5657286, wck=4.981, mem=60M936 10.48/7.28 decisions=108193, wrong=53115, backtracks=39568, failedAssignments=28847, nogoods=766, foundSolutions=16, bestBound=33 10.48/7.28 10.58/7.34 o 29 10.58/7.34 num=158, depth=8..225, filters=3285920, revisions=(4721234,useless=2138789), ccks=5726210, wck=5.043, mem=60M936 10.58/7.34 decisions=109318, wrong=53671, backtracks=40010, failedAssignments=29148, nogoods=774, foundSolutions=17, bestBound=29 10.58/7.34 10.92/7.60 num=159, depth=6..25, filters=3467670, revisions=(4974496,useless=2250691), ccks=6036500, wck=5.301, mem=60M936 10.92/7.60 decisions=114861, wrong=56437, backtracks=42122, failedAssignments=30568, nogoods=779, foundSolutions=17, bestBound=29 10.92/7.60 10.92/7.61 num=160, depth=11..17, filters=3469302, revisions=(4977247,useless=2252118), ccks=6039985, wck=5.305, mem=60M936 10.92/7.61 decisions=114914, wrong=56457, backtracks=42137, failedAssignments=30579, nogoods=782, foundSolutions=17, bestBound=29 10.92/7.61 10.92/7.61 num=161, depth=11..18, filters=3470369, revisions=(4979049,useless=2253019), ccks=6042100, wck=5.306, mem=60M936 10.92/7.61 decisions=114966, wrong=56476, backtracks=42148, failedAssignments=30591, nogoods=785, foundSolutions=17, bestBound=29 10.92/7.61 10.92/7.61 num=162, depth=11..17, filters=3471908, revisions=(4981690,useless=2254411), ccks=6045043, wck=5.309, mem=60M936 10.92/7.61 decisions=115024, wrong=56499, backtracks=42164, failedAssignments=30604, nogoods=789, foundSolutions=17, bestBound=29 10.92/7.61 10.92/7.61 num=163, depth=11..16, filters=3474048, revisions=(4984930,useless=2255962), ccks=6049063, wck=5.313, mem=60M936 10.92/7.61 decisions=115091, wrong=56527, backtracks=42184, failedAssignments=30618, nogoods=794, foundSolutions=17, bestBound=29 10.92/7.61 10.92/7.61 num=164, depth=6..11, filters=3474209, revisions=(4985701,useless=2256615), ccks=6049740, wck=5.314, mem=60M936 10.92/7.61 decisions=115148, wrong=56552, backtracks=42207, failedAssignments=30634, nogoods=797, foundSolutions=17, bestBound=29 10.92/7.61 10.92/7.62 num=165, depth=20..25, filters=3476423, revisions=(4992933,useless=2261781), ccks=6057256, wck=5.318, mem=60M936 10.92/7.62 decisions=115237, wrong=56586, backtracks=42236, failedAssignments=30651, nogoods=801, foundSolutions=17, bestBound=29 10.92/7.62 10.92/7.62 num=166, depth=8..25, filters=3477314, revisions=(4996009,useless=2264049), ccks=6061008, wck=5.32, mem=60M936 10.92/7.62 decisions=115321, wrong=56624, backtracks=42259, failedAssignments=30670, nogoods=802, foundSolutions=17, bestBound=29 10.92/7.62 10.92/7.63 num=167, depth=7..22, filters=3480106, revisions=(5001406,useless=2267108), ccks=6067607, wck=5.326, mem=60M936 10.92/7.63 decisions=115444, wrong=56680, backtracks=42298, failedAssignments=30691, nogoods=805, foundSolutions=17, bestBound=29 10.92/7.63 10.92/7.63 num=168, depth=7..22, filters=3483119, revisions=(5007544,useless=2270726), ccks=6075249, wck=5.331, mem=60M936 10.92/7.63 decisions=115566, wrong=56735, backtracks=42340, failedAssignments=30714, nogoods=808, foundSolutions=17, bestBound=29 10.92/7.63 10.92/7.64 num=169, depth=8..16, filters=3485993, revisions=(5013067,useless=2273826), ccks=6082411, wck=5.337, mem=60M936 10.92/7.64 decisions=115665, wrong=56779, backtracks=42370, failedAssignments=30739, nogoods=814, foundSolutions=17, bestBound=29 10.92/7.64 10.92/7.64 num=170, depth=7..22, filters=3489134, revisions=(5018964,useless=2277073), ccks=6089392, wck=5.342, mem=60M936 10.92/7.64 decisions=115784, wrong=56834, backtracks=42403, failedAssignments=30767, nogoods=820, foundSolutions=17, bestBound=29 10.92/7.64 10.92/7.65 num=171, depth=8..24, filters=3492154, revisions=(5024875,useless=2280362), ccks=6095826, wck=5.347, mem=60M936 10.92/7.65 decisions=115906, wrong=56890, backtracks=42439, failedAssignments=30798, nogoods=825, foundSolutions=17, bestBound=29 10.92/7.65 10.92/7.65 num=172, depth=10..18, filters=3495996, revisions=(5031133,useless=2283519), ccks=6103793, wck=5.353, mem=60M936 10.92/7.65 decisions=116036, wrong=56949, backtracks=42480, failedAssignments=30832, nogoods=829, foundSolutions=17, bestBound=29 10.92/7.65 10.92/7.66 num=173, depth=10..25, filters=3499119, revisions=(5036671,useless=2286304), ccks=6110425, wck=5.359, mem=60M936 10.92/7.66 decisions=116188, wrong=57016, backtracks=42520, failedAssignments=30869, nogoods=835, foundSolutions=17, bestBound=29 10.92/7.66 10.92/7.67 num=174, depth=10..19, filters=3503501, revisions=(5043313,useless=2289342), ccks=6118539, wck=5.366, mem=60M936 10.92/7.67 decisions=116342, wrong=57087, backtracks=42576, failedAssignments=30910, nogoods=838, foundSolutions=17, bestBound=29 10.92/7.67 10.92/7.68 num=175, depth=9..19, filters=3508846, revisions=(5053015,useless=2294528), ccks=6129641, wck=5.375, mem=60M936 10.92/7.68 decisions=116514, wrong=57167, backtracks=42635, failedAssignments=30955, nogoods=842, foundSolutions=17, bestBound=29 10.92/7.68 10.92/7.68 num=176, depth=9..25, filters=3514326, revisions=(5062591,useless=2299624), ccks=6141597, wck=5.384, mem=60M936 10.92/7.68 decisions=116726, wrong=57268, backtracks=42703, failedAssignments=31005, nogoods=847, foundSolutions=17, bestBound=29 10.92/7.68 10.92/7.69 num=177, depth=9..23, filters=3519839, revisions=(5071589,useless=2303668), ccks=6151318, wck=5.391, mem=60M936 10.92/7.69 decisions=116952, wrong=57375, backtracks=42771, failedAssignments=31060, nogoods=849, foundSolutions=17, bestBound=29 10.92/7.69 11.03/7.70 num=178, depth=10..24, filters=3524383, revisions=(5078664,useless=2306847), ccks=6159362, wck=5.399, mem=60M936 11.03/7.70 decisions=117172, wrong=57478, backtracks=42831, failedAssignments=31121, nogoods=859, foundSolutions=17, bestBound=29 11.03/7.70 11.03/7.71 num=179, depth=7..25, filters=3531417, revisions=(5092654,useless=2314834), ccks=6175332, wck=5.411, mem=60M936 11.03/7.71 decisions=117438, wrong=57602, backtracks=42906, failedAssignments=31188, nogoods=865, foundSolutions=17, bestBound=29 11.03/7.71 11.03/7.72 num=180, depth=8..24, filters=3538245, revisions=(5102938,useless=2319542), ccks=6187907, wck=5.421, mem=60M936 11.03/7.72 decisions=117718, wrong=57737, backtracks=42992, failedAssignments=31262, nogoods=868, foundSolutions=17, bestBound=29 11.03/7.72 11.03/7.74 num=181, depth=0..16, filters=3550316, revisions=(5122108,useless=2329428), ccks=6211222, wck=5.441, mem=60M936 11.03/7.74 decisions=118044, wrong=57895, backtracks=43111, failedAssignments=31343, nogoods=874, foundSolutions=17, bestBound=29 11.03/7.74 11.03/7.75 num=182, depth=6..28, filters=3555125, revisions=(5138873,useless=2341803), ccks=6230095, wck=5.452, mem=60M936 11.03/7.75 decisions=118397, wrong=58062, backtracks=43228, failedAssignments=31432, nogoods=881, foundSolutions=17, bestBound=29 11.03/7.75 11.03/7.77 num=183, depth=8..18, filters=3568194, revisions=(5161190,useless=2353357), ccks=6256492, wck=5.473, mem=60M936 11.03/7.77 decisions=118780, wrong=58249, backtracks=43355, failedAssignments=31530, nogoods=889, foundSolutions=17, bestBound=29 11.03/7.77 11.03/7.80 num=184, depth=9..27, filters=3581840, revisions=(5183202,useless=2364029), ccks=6283357, wck=5.495, mem=60M936 11.03/7.80 decisions=119239, wrong=58472, backtracks=43507, failedAssignments=31638, nogoods=894, foundSolutions=17, bestBound=29 11.03/7.80 11.14/7.82 num=185, depth=7..26, filters=3590955, revisions=(5218334,useless=2390829), ccks=6317836, wck=5.516, mem=60M936 11.14/7.82 decisions=119727, wrong=58711, backtracks=43709, failedAssignments=31757, nogoods=896, foundSolutions=17, bestBound=29 11.14/7.82 11.14/7.84 num=186, depth=7..22, filters=3604011, revisions=(5239373,useless=2400659), ccks=6341424, wck=5.535, mem=60M936 11.14/7.84 decisions=120221, wrong=58953, backtracks=43885, failedAssignments=31888, nogoods=903, foundSolutions=17, bestBound=29 11.14/7.84 11.14/7.86 num=187, depth=7..26, filters=3619666, revisions=(5263133,useless=2411332), ccks=6366633, wck=5.558, mem=60M936 11.14/7.86 decisions=120773, wrong=59224, backtracks=44086, failedAssignments=32032, nogoods=906, foundSolutions=17, bestBound=29 11.14/7.86 11.14/7.89 num=188, depth=8..19, filters=3638777, revisions=(5287779,useless=2421279), ccks=6396104, wck=5.586, mem=60M936 11.14/7.89 decisions=121342, wrong=59502, backtracks=44281, failedAssignments=32190, nogoods=911, foundSolutions=17, bestBound=29 11.14/7.89 11.24/7.92 num=189, depth=8..20, filters=3661932, revisions=(5320858,useless=2435435), ccks=6433475, wck=5.62, mem=60M936 11.24/7.92 decisions=122002, wrong=59827, backtracks=44524, failedAssignments=32364, nogoods=915, foundSolutions=17, bestBound=29 11.24/7.92 11.24/7.95 num=190, depth=8..27, filters=3682417, revisions=(5350666,useless=2448743), ccks=6466947, wck=5.651, mem=60M936 11.24/7.95 decisions=122696, wrong=60169, backtracks=44785, failedAssignments=32555, nogoods=922, foundSolutions=17, bestBound=29 11.24/7.95 11.24/7.99 num=191, depth=0..24, filters=3700881, revisions=(5396056,useless=2477756), ccks=6517251, wck=5.685, mem=60M936 11.24/7.99 decisions=123550, wrong=60593, backtracks=45089, failedAssignments=32766, nogoods=930, foundSolutions=17, bestBound=29 11.24/7.99 11.35/8.03 num=192, depth=7..27, filters=3729300, revisions=(5437468,useless=2495912), ccks=6563534, wck=5.727, mem=60M936 11.35/8.03 decisions=124415, wrong=61021, backtracks=45414, failedAssignments=32998, nogoods=934, foundSolutions=17, bestBound=29 11.35/8.03 11.35/8.08 num=193, depth=8..17, filters=3762778, revisions=(5485988,useless=2517809), ccks=6619297, wck=5.777, mem=60M936 11.35/8.08 decisions=125353, wrong=61486, backtracks=45776, failedAssignments=33253, nogoods=943, foundSolutions=17, bestBound=29 11.35/8.08 11.46/8.13 num=194, depth=0..26, filters=3795869, revisions=(5534430,useless=2539043), ccks=6673536, wck=5.825, mem=60M936 11.46/8.13 decisions=126391, wrong=62000, backtracks=46161, failedAssignments=33534, nogoods=948, foundSolutions=17, bestBound=29 11.46/8.13 11.46/8.18 num=195, depth=7..17, filters=3832452, revisions=(5582881,useless=2559330), ccks=6731312, wck=5.878, mem=60M936 11.46/8.18 decisions=127465, wrong=62532, backtracks=46567, failedAssignments=33843, nogoods=954, foundSolutions=17, bestBound=29 11.46/8.18 11.55/8.24 num=196, depth=7..25, filters=3872936, revisions=(5640868,useless=2584437), ccks=6797717, wck=5.937, mem=60M936 11.55/8.24 decisions=128779, wrong=63184, backtracks=47049, failedAssignments=34183, nogoods=966, foundSolutions=17, bestBound=29 11.55/8.24 11.55/8.29 num=197, depth=7..24, filters=3912300, revisions=(5699873,useless=2610714), ccks=6860856, wck=5.994, mem=60M936 11.55/8.29 decisions=130207, wrong=63892, backtracks=47564, failedAssignments=34557, nogoods=974, foundSolutions=17, bestBound=29 11.55/8.29 11.66/8.37 num=198, depth=6..28, filters=3959841, revisions=(5785586,useless=2656309), ccks=6955382, wck=6.07, mem=60M936 11.66/8.37 decisions=131937, wrong=64752, backtracks=48264, failedAssignments=34968, nogoods=981, foundSolutions=17, bestBound=29 11.66/8.37 11.76/8.44 num=199, depth=6..23, filters=4012468, revisions=(5865740,useless=2692350), ccks=7040634, wck=6.143, mem=60M936 11.76/8.44 decisions=133692, wrong=65626, backtracks=48954, failedAssignments=35420, nogoods=989, foundSolutions=17, bestBound=29 11.76/8.44 11.86/8.51 num=200, depth=0..28, filters=4045058, revisions=(5950883,useless=2748626), ccks=7130955, wck=6.208, mem=60M936 11.86/8.51 decisions=135717, wrong=66632, backtracks=49722, failedAssignments=35917, nogoods=992, foundSolutions=17, bestBound=29 11.86/8.51 11.96/8.61 num=201, depth=5..25, filters=4110019, revisions=(6071313,useless=2814479), ccks=7269188, wck=6.309, mem=60M936 11.96/8.61 decisions=137825, wrong=67681, backtracks=50466, failedAssignments=36464, nogoods=997, foundSolutions=17, bestBound=29 11.96/8.61 12.06/8.71 num=202, depth=6..25, filters=4183202, revisions=(6174311,useless=2859270), ccks=7389808, wck=6.414, mem=60M936 12.06/8.71 decisions=140105, wrong=68816, backtracks=51299, failedAssignments=37066, nogoods=1007, foundSolutions=17, bestBound=29 12.06/8.71 12.16/8.83 num=203, depth=7..28, filters=4261967, revisions=(6290626,useless=2911112), ccks=7519726, wck=6.529, mem=60M936 12.16/8.83 decisions=142776, wrong=70145, backtracks=52330, failedAssignments=37728, nogoods=1014, foundSolutions=17, bestBound=29 12.16/8.83 12.26/8.94 num=204, depth=0..28, filters=4325696, revisions=(6430777,useless=2995590), ccks=7672665, wck=6.639, mem=60M936 12.26/8.94 decisions=145978, wrong=71742, backtracks=53634, failedAssignments=38456, nogoods=1017, foundSolutions=17, bestBound=29 12.26/8.94 12.47/9.11 num=205, depth=6..27, filters=4431944, revisions=(6611035,useless=3089225), ccks=7881980, wck=6.807, mem=60M936 12.47/9.11 decisions=149098, wrong=73297, backtracks=54780, failedAssignments=39257, nogoods=1027, foundSolutions=17, bestBound=29 12.47/9.11 12.56/9.28 num=206, depth=6..28, filters=4543695, revisions=(6785603,useless=3173014), ccks=8081542, wck=6.975, mem=60M936 12.56/9.28 decisions=152516, wrong=75002, backtracks=56060, failedAssignments=40138, nogoods=1034, foundSolutions=17, bestBound=29 12.56/9.28 12.76/9.49 num=207, depth=6..27, filters=4680941, revisions=(7018307,useless=3293360), ccks=8345007, wck=7.186, mem=60M936 12.76/9.49 decisions=156316, wrong=76896, backtracks=57544, failedAssignments=41108, nogoods=1038, foundSolutions=17, bestBound=29 12.76/9.49 12.96/9.69 num=208, depth=6..26, filters=4813127, revisions=(7221713,useless=3388565), ccks=8581501, wck=7.386, mem=60M936 12.96/9.69 decisions=160423, wrong=78945, backtracks=59071, failedAssignments=42175, nogoods=1047, foundSolutions=17, bestBound=29 12.96/9.69 13.26/9.91 num=209, depth=6..26, filters=4963561, revisions=(7438223,useless=3487567), ccks=8841490, wck=7.608, mem=60M936 13.26/9.91 decisions=164755, wrong=81105, backtracks=60703, failedAssignments=43348, nogoods=1056, foundSolutions=17, bestBound=29 13.26/9.91 13.47/10.12 num=210, depth=5..26, filters=5106972, revisions=(7660690,useless=3592527), ccks=9095069, wck=7.822, mem=60M936 13.47/10.12 decisions=169655, wrong=83546, backtracks=62427, failedAssignments=44639, nogoods=1067, foundSolutions=17, bestBound=29 13.47/10.12 13.66/10.35 num=211, depth=6..26, filters=5260302, revisions=(7903784,useless=3713499), ccks=9373274, wck=8.053, mem=63M579 13.66/10.35 decisions=175000, wrong=86214, backtracks=64541, failedAssignments=46059, nogoods=1075, foundSolutions=17, bestBound=29 13.66/10.35 13.96/10.65 num=212, depth=5..19, filters=5473428, revisions=(8189842,useless=3835583), ccks=9712630, wck=8.352, mem=63M579 13.96/10.65 decisions=180895, wrong=89156, backtracks=66946, failedAssignments=47621, nogoods=1079, foundSolutions=17, bestBound=29 13.96/10.65 14.26/10.94 num=213, depth=5..25, filters=5665029, revisions=(8501218,useless=3986140), ccks=10059490, wck=8.64, mem=63M579 14.26/10.94 decisions=187556, wrong=92482, backtracks=69366, failedAssignments=49339, nogoods=1090, foundSolutions=17, bestBound=29 14.26/10.94 14.56/11.28 num=214, depth=5..27, filters=5897925, revisions=(8836889,useless=4137043), ccks=10457261, wck=8.979, mem=63M579 14.56/11.28 decisions=194877, wrong=96138, backtracks=72059, failedAssignments=51229, nogoods=1098, foundSolutions=17, bestBound=29 14.56/11.28 14.96/11.69 num=215, depth=5..27, filters=6172326, revisions=(9263130,useless=4342550), ccks=10948127, wck=9.389, mem=63M579 14.96/11.69 decisions=202920, wrong=100155, backtracks=75140, failedAssignments=53308, nogoods=1107, foundSolutions=17, bestBound=29 14.96/11.69 15.47/12.11 num=216, depth=5..27, filters=6467422, revisions=(9684372,useless=4530420), ccks=11431984, wck=9.81, mem=63M579 15.47/12.11 decisions=211864, wrong=104622, backtracks=78623, failedAssignments=55595, nogoods=1116, foundSolutions=17, bestBound=29 15.47/12.11 15.86/12.55 num=217, depth=4..26, filters=6759424, revisions=(10160434,useless=4762739), ccks=11960370, wck=10.247, mem=63M579 15.86/12.55 decisions=221633, wrong=109501, backtracks=82291, failedAssignments=58111, nogoods=1123, foundSolutions=17, bestBound=29 15.86/12.55 16.37/13.06 num=218, depth=0..31, filters=7070275, revisions=(10762410,useless=5100281), ccks=12627943, wck=10.757, mem=63M579 16.37/13.06 decisions=232615, wrong=114987, backtracks=86561, failedAssignments=60879, nogoods=1129, foundSolutions=17, bestBound=29 16.37/13.06 17.06/13.75 num=219, depth=0..27, filters=7484458, revisions=(11601445,useless=5591445), ccks=13553466, wck=11.449, mem=63M579 17.06/13.75 decisions=244802, wrong=121078, backtracks=91320, failedAssignments=63923, nogoods=1143, foundSolutions=17, bestBound=29 17.06/13.75 17.66/14.39 num=220, depth=3..25, filters=7907211, revisions=(12300673,useless=5946375), ccks=14342485, wck=12.092, mem=63M579 17.66/14.39 decisions=258501, wrong=127923, backtracks=96963, failedAssignments=67272, nogoods=1155, foundSolutions=17, bestBound=29 17.66/14.39 18.37/15.09 num=221, depth=4..27, filters=8379544, revisions=(13035686,useless=6302430), ccks=15181702, wck=12.791, mem=63M579 18.37/15.09 decisions=272281, wrong=134809, backtracks=102600, failedAssignments=70956, nogoods=1165, foundSolutions=17, bestBound=29 18.37/15.09 18.96/15.69 num=222, depth=3..21, filters=8773995, revisions=(13652407,useless=6615459), ccks=15915380, wck=13.388, mem=63M579 18.96/15.69 decisions=287353, wrong=142341, backtracks=109194, failedAssignments=75008, nogoods=1170, foundSolutions=17, bestBound=29 18.96/15.69 19.87/16.52 num=223, depth=3..27, filters=9343865, revisions=(14509207,useless=7023192), ccks=16895633, wck=14.224, mem=63M579 19.87/16.52 decisions=304124, wrong=150718, backtracks=115948, failedAssignments=79465, nogoods=1178, foundSolutions=17, bestBound=29 19.87/16.52 20.67/17.39 num=224, depth=3..27, filters=9900099, revisions=(15435515,useless=7493900), ccks=17946646, wck=15.091, mem=66M221 20.67/17.39 decisions=322520, wrong=159911, backtracks=123131, failedAssignments=84368, nogoods=1189, foundSolutions=17, bestBound=29 20.67/17.39 21.67/18.35 num=225, depth=3..27, filters=10556037, revisions=(16446358,useless=7980256), ccks=19114742, wck=16.054, mem=66M221 21.67/18.35 decisions=342902, wrong=170098, backtracks=131091, failedAssignments=89762, nogoods=1202, foundSolutions=17, bestBound=29 21.67/18.35 22.77/19.44 num=226, depth=2..24, filters=11265173, revisions=(17590300,useless=8552386), ccks=20421341, wck=17.141, mem=66M221 22.77/19.44 decisions=365208, wrong=181248, backtracks=140058, failedAssignments=95695, nogoods=1212, foundSolutions=17, bestBound=29 22.77/19.44 24.07/20.74 num=227, depth=3..26, filters=12137110, revisions=(18920460,useless=9191147), ccks=21970638, wck=18.436, mem=66M221 24.07/20.74 decisions=390263, wrong=193772, backtracks=150107, failedAssignments=102221, nogoods=1222, foundSolutions=17, bestBound=29 24.07/20.74 25.48/22.17 num=228, depth=0..27, filters=13014847, revisions=(20631664,useless=10161868), ccks=23836251, wck=19.87, mem=66M221 25.48/22.17 decisions=418848, wrong=208061, backtracks=161380, failedAssignments=109400, nogoods=1235, foundSolutions=17, bestBound=29 25.48/22.17 27.07/23.73 num=229, depth=1..27, filters=14024728, revisions=(22325560,useless=11038385), ccks=25782049, wck=21.428, mem=66M221 27.07/23.73 decisions=449762, wrong=223513, backtracks=173962, failedAssignments=117297, nogoods=1243, foundSolutions=17, bestBound=29 27.07/23.73 28.67/25.39 num=230, depth=1..22, filters=15125583, revisions=(24184009,useless=12021069), ccks=27866067, wck=23.085, mem=68M864 28.67/25.39 decisions=482475, wrong=239866, backtracks=187416, failedAssignments=125984, nogoods=1253, foundSolutions=17, bestBound=29 28.67/25.39 30.67/27.30 num=231, depth=1..24, filters=16371538, revisions=(26327276,useless=13156416), ccks=30289854, wck=24.996, mem=68M864 30.67/27.30 decisions=519102, wrong=258177, backtracks=202372, failedAssignments=135539, nogoods=1265, foundSolutions=17, bestBound=29 30.67/27.30 32.77/29.45 num=232, depth=0..27, filters=17747949, revisions=(28728936,useless=14452522), ccks=32978035, wck=27.154, mem=68M864 32.77/29.45 decisions=558410, wrong=277828, backtracks=218803, failedAssignments=146050, nogoods=1273, foundSolutions=17, bestBound=29 32.77/29.45 34.48/31.16 34.48/31.16 New Bounds: 29..28 34.48/31.16 num=233, depth=0..22, filters=18871827, revisions=(30659671,useless=15477596), ccks=35146654, wck=28.859, mem=68M864 34.48/31.16 decisions=592892, wrong=295070, backtracks=232631, failedAssignments=155062, foundSolutions=17, bestBound=29 34.48/31.16 34.48/31.16 Global 34.48/31.16 filters=18871827, revisions=(30659671,useless=15477596), ccks=35146654 34.48/31.16 Stop=FULL_EXPLORATION, wrong=295070, bestBound=29, bestBoundWck=5.504, bestBoundCpu=7.308, foundSolutions=17, firstSolCpu=2.289 34.48/31.16 wck=29.322, cpu=31.125, mem=68M864 34.48/31.16 34.48/31.16 v <instantiation id='sol17' type='solution' cost='29'> <list> x[] y[][] c[] s[] </list> <values> 1 1 1 1 -1 1 -1 1 -1 -1 -1 -1 1 1 -1 -1 1 -1 -1 1 1 1 -1 -1 -1 -1 -1 1 1 1 -1 1 -1 1 -1 -1 1 1 1 -1 1 1 1 1 -1 1 1 -1 -1 -1 -1 -1 1 -1 * 1 -1 1 -1 -1 -1 1 -1 1 -1 -1 1 -1 1 1 1 * * -1 1 -1 1 1 -1 1 -1 -1 -1 1 1 1 -1 1 * * * 1 -1 1 -1 1 -1 1 1 -1 1 1 -1 -1 -1 * * * * -1 1 -1 -1 1 -1 -1 1 1 1 -1 1 -1 * * * * * 1 -1 -1 -1 1 1 -1 -1 1 -1 1 1 * * * * * * -1 -1 -1 -1 -1 1 1 -1 -1 1 1 * * * * * * * -1 -1 -1 1 -1 -1 1 1 1 1 * * * * * * * * -1 -1 1 1 1 -1 -1 -1 1 * * * * * * * * * -1 1 1 -1 1 1 1 -1 * * * * * * * * * * 1 1 -1 -1 -1 -1 1 * * * * * * * * * * * 1 -1 -1 1 1 -1 * * * * * * * * * * * * -1 -1 1 -1 1 * * * * * * * * * * * * * -1 1 -1 -1 * * * * * * * * * * * * * * 1 -1 -1 * * * * * * * * * * * * * * * -1 -1 * * * * * * * * * * * * * * * * -1 * * * * * * * * * * * * * * * * * 0 1 0 1 0 -1 0 -3 0 -1 2 -1 0 -1 -2 -1 -2 -1 0 1 0 1 0 1 0 9 0 1 4 1 0 1 4 1 4 1 </values> </instantiation> 34.48/31.16 s OPTIMUM FOUND 34.48/31.16 34.48/31.16 d WRONG_DECISIONS 295070 34.48/31.16 d NUMBER_SOLUTIONS 17
OK 29
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 (14940 MiB free) memory of node 1: 16384 MiB (15637 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390873-1568383026/watcher-4390873-1568383026 -o /tmp/evaluation-result-4390873-1568383026/solver-4390873-1568383026 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node121-1568380474-30429 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4390873-1568383026.xml -cm running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=31714, runsolver pid=31711 [startup+0.100149 s]* /proc/loadavg: 1.63 1.66 1.58 4/228 31729 /proc/meminfo: memFree=31296220/32770624 swapFree=66981412/67108860 [pid=31714] ppid=31711 vsize=10659884 memory=28340 CPUtime=0.15 cores=1,3,5,7 /proc/31714/stat : 31714 (java) S 31711 31714 30397 0 -1 1077944320 5598 0 0 0 14 1 0 0 20 0 15 0 414565303 10915721216 7085 33554432000 4194304 4196468 140722963400544 140722963383088 140703909838583 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8822784 140722963403787 140722963403890 140722963403890 140722963406799 0 /proc/31714/statm: 2664971 7085 2903 1 0 2627468 0 [pid=31714/tid=31716] ppid=31711 vsize=10659884 memory=-8197568871503663488 CPUtime=0.09 cores=1,3,5,7 /proc/31714/task/31716/stat : 31716 (java) R 31711 31714 30397 0 -1 4202560 3232 0 0 0 9 0 0 0 20 0 15 0 414565304 10915721216 7085 33554432000 4194304 4196468 140722963400544 140703914067680 140703902075710 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8822784 140722963403787 140722963403890 140722963403890 140722963406799 0 [pid=31714/tid=31717] ppid=31711 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7 /proc/31714/task/31717/stat : 31717 (java) S 31711 31714 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414565304 10915721216 7085 33554432000 4194304 4196468 140722963400544 140703868599184 140703909848789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8822784 140722963403787 140722963403890 140722963403890 140722963406799 0 [pid=31714/tid=31718] ppid=31711 vsize=10659884 memory=140038095296128 CPUtime=0 cores=1,3,5,7 /proc/31714/task/31718/stat : 31718 (java) S 31711 31714 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414565304 10915721216 7085 33554432000 4194304 4196468 140722963400544 140703515355920 140703909848789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8822784 140722963403787 140722963403890 140722963403890 140722963406799 0 [pid=31714/tid=31719] ppid=31711 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7 /proc/31714/task/31719/stat : 31719 (java) S 31711 31714 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414565304 10915721216 7085 33554432000 4194304 4196468 140722963400544 140703514303632 140703909848789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8822784 140722963403787 140722963403890 140722963403890 140722963406799 0 [pid=31714/tid=31720] ppid=31711 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/31714/task/31720/stat : 31720 (java) S 31711 31714 30397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414565304 10915721216 7085 33554432000 4194304 4196468 140722963400544 140703513250832 140703909848789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8822784 140722963403787 140722963403890 140722963403890 140722963406799 0 [pid=31714/tid=31721] ppid=31711 vsize=10659884 memory=140038095296128 CPUtime=0 cores=1,3,5,7 /proc/31714/task/31721/stat : 31721 (java) S 31711 31714 30397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414565306 10915721216 7085 33554432000 4194304 4196468 140722963400544 140703484921968 140703909849730 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8822784 140722963403787 140722963403890 140722963403890 140722963406799 0 [pid=31714/tid=31722] ppid=31711 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/31714/task/31722/stat : 31722 (java) S 31711 31714 30397 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414565306 10915721216 7085 33554432000 4194304 4196468 140722963400544 140703483867936 140703909848789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8822784 140722963403787 140722963403890 140722963403890 140722963406799 0 [pid=31714/tid=31723] ppid=31711 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7 /proc/31714/task/31723/stat : 31723 (java) S 31711 31714 30397 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414565306 10915721216 7151 33554432000 4194304 4196468 140722963400544 140703482815600 140703909848789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8822784 140722963403787 140722963403890 140722963403890 140722963406799 0 [pid=31714/tid=31724] ppid=31711 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7 /proc/31714/task/31724/stat : 31724 (java) S 31711 31714 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414565309 10915721216 7151 33554432000 4194304 4196468 140722963400544 140703481763920 140703909857179 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8822784 140722963403787 140722963403890 140722963403890 140722963406799 0 [pid=31714/tid=31725] ppid=31711 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7 /proc/31714/task/31725/stat : 31725 (java) R 31711 31714 30397 0 -1 4202560 485 0 0 0 0 0 0 0 20 0 15 0 414565309 10915721216 7151 33554432000 4194304 4196468 140722963400544 140703480704536 140703902944437 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8822784 140722963403787 140722963403890 140722963403890 140722963406799 0 [pid=31714/tid=31726] ppid=31711 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/31714/task/31726/stat : 31726 (java) R 31711 31714 30397 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 414565309 10915721216 7151 33554432000 4194304 4196468 140722963400544 140703479658992 140703909849730 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8822784 140722963403787 140722963403890 140722963403890 140722963406799 0 [pid=31714/tid=31727] ppid=31711 vsize=10659884 memory=140038095296128 CPUtime=0.02 cores=1,3,5,7 /proc/31714/task/31727/stat : 31727 (java) R 31711 31714 30397 0 -1 4202560 552 0 0 0 2 0 0 0 20 0 15 0 414565309 10915721216 7151 33554432000 4194304 4196468 140722963400544 140703478603608 140703888207222 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8822784 140722963403787 140722963403890 140722963403890 140722963406799 0 [pid=31714/tid=31728] ppid=31711 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/31714/task/31728/stat : 31728 (java) S 31711 31714 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414565309 10915721216 7151 33554432000 4194304 4196468 140722963400544 140703477554144 140703909848789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8822784 140722963403787 140722963403890 140722963403890 140722963406799 0 [pid=31714/tid=31729] ppid=31711 vsize=10659884 memory=140038095296128 CPUtime=0 cores=1,3,5,7 /proc/31714/task/31729/stat : 31729 (java) S 31711 31714 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414565309 10915721216 7151 33554432000 4194304 4196468 140722963400544 140703476500912 140703909849730 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8822784 140722963403787 140722963403890 140722963403890 140722963406799 0 Current children cumulated CPU time: 0.15 s Current children cumulated vsize: 10659884 KiB Current children cumulated memory: 28340 KiB [startup+0.210643 s]* /proc/loadavg: 1.63 1.66 1.58 3/228 31729 /proc/meminfo: memFree=31288344/32770624 swapFree=66981412/67108860 [pid=31714] ppid=31711 vsize=10659884 memory=35508 CPUtime=0.33 cores=1,3,5,7 /proc/31714/stat : 31714 (java) S 31711 31714 30397 0 -1 1077944320 6952 0 0 0 32 1 0 0 20 0 15 0 414565303 10915721216 8877 33554432000 4194304 4196468 140722963400544 140722963383088 140703909838583 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8822784 140722963403787 140722963403890 140722963403890 140722963406799 0 /proc/31714/statm: 2664971 8877 2990 1 0 2627468 0 [pid=31714/tid=31716] ppid=31711 vsize=10659884 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7 /proc/31714/task/31716/stat : 31716 (java) R 31711 31714 30397 0 -1 4202560 3880 0 0 0 20 0 0 0 20 0 15 0 414565304 10915721216 8877 33554432000 4194304 4196468 140722963400544 140703914064984 140703909860509 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8822784 140722963403787 140722963403890 140722963403890 140722963406799 0 [pid=31714/tid=31717] ppid=31711 vsize=10659884 memory=342 CPUtime=0 cores=1,3,5,7 /proc/31714/task/31717/stat : 31717 (java) S 31711 31714 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414565304 10915721216 8877 33554432000 4194304 4196468 140722963400544 140703868599184 140703909848789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8822784 140722963403787 140722963403890 140722963403890 140722963406799 0 [pid=31714/tid=31718] ppid=31711 vsize=10659884 memory=288370414247007872 CPUtime=0 cores=1,3,5,7 /proc/31714/task/31718/stat : 31718 (java) S 31711 31714 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414565304 10915721216 8877 33554432000 4194304 4196468 140722963400544 140703515355920 140703909848789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8822784 140722963403787 140722963403890 140722963403890 140722963406799 0 [pid=31714/tid=31719] ppid=31711 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7 /proc/31714/task/31719/stat : 31719 (java) S 31711 31714 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414565304 10915721216 8877 33554432000 4194304 4196468 140722963400544 140703514303632 140703909848789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8822784 140722963403787 140722963403890 140722963403890 140722963406799 0 [pid=31714/tid=31720] ppid=31711 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/31714/task/31720/stat : 31720 (java) S 31711 31714 30397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414565304 10915721216 8877 33554432000 4194304 4196468 140722963400544 140703513250832 140703909848789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8822784 140722963403787 140722963403890 140722963403890 140722963406799 0 [pid=31714/tid=31721] ppid=31711 vsize=10659884 memory=140038095296128 CPUtime=0 cores=1,3,5,7 /proc/31714/task/31721/stat : 31721 (java) S 31711 31714 30397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414565306 10915721216 8877 33554432000 4194304 4196468 140722963400544 140703484921968 140703909849730 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8822784 140722963403787 140722963403890 140722963403890 140722963406799 0 [pid=31714/tid=31722] ppid=31711 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/31714/task/31722/stat : 31722 (java) S 31711 31714 30397 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414565306 10915721216 8877 33554432000 4194304 4196468 140722963400544 140703483867936 140703909848789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8822784 140722963403787 140722963403890 140722963403890 140722963406799 0 [pid=31714/tid=31723] ppid=31711 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7 /proc/31714/task/31723/stat : 31723 (java) S 31711 31714 30397 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414565306 10915721216 8877 33554432000 4194304 4196468 140722963400544 140703482815600 140703909848789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8822784 140722963403787 140722963403890 140722963403890 140722963406799 0 [pid=31714/tid=31724] ppid=31711 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7 /proc/31714/task/31724/stat : 31724 (java) S 31711 31714 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414565309 10915721216 8877 33554432000 4194304 4196468 140722963400544 140703481763920 140703909857179 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8822784 140722963403787 140722963403890 140722963403890 140722963406799 0 [pid=31714/tid=31725] ppid=31711 vsize=10659884 memory=0 CPUtime=0.04 cores=1,3,5,7 /proc/31714/task/31725/stat : 31725 (java) S 31711 31714 30397 0 -1 1077944384 846 0 0 0 4 0 0 0 20 0 15 0 414565309 10915721216 8877 33554432000 4194304 4196468 140722963400544 140703480711792 140703909849730 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8822784 140722963403787 140722963403890 140722963403890 140722963406799 0 [pid=31714/tid=31726] ppid=31711 vsize=10659884 memory=-1 CPUtime=0.02 cores=1,3,5,7 /proc/31714/task/31726/stat : 31726 (java) S 31711 31714 30397 0 -1 1077944384 135 0 0 0 2 0 0 0 20 0 15 0 414565309 10915721216 8877 33554432000 4194304 4196468 140722963400544 140703479658992 140703909849730 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8822784 140722963403787 140722963403890 140722963403890 140722963406799 0 [pid=31714/tid=31727] ppid=31711 vsize=10659884 memory=140038095296128 CPUtime=0.05 cores=1,3,5,7 /proc/31714/task/31727/stat : 31727 (java) S 31711 31714 30397 0 -1 1077944384 732 0 0 0 5 0 0 0 20 0 15 0 414565309 10915721216 8877 33554432000 4194304 4196468 140722963400544 140703478606704 140703909849730 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8822784 140722963403787 140722963403890 140722963403890 140722963406799 0 [pid=31714/tid=31728] ppid=31711 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/31714/task/31728/stat : 31728 (java) S 31711 31714 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414565309 10915721216 8877 33554432000 4194304 4196468 140722963400544 140703477554144 140703909848789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8822784 140722963403787 140722963403890 140722963403890 140722963406799 0 [pid=31714/tid=31729] ppid=31711 vsize=10659884 memory=140038095296128 CPUtime=0 cores=1,3,5,7 /proc/31714/task/31729/stat : 31729 (java) S 31711 31714 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414565309 10915721216 8877 33554432000 4194304 4196468 140722963400544 140703476500912 140703909849730 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8822784 140722963403787 140722963403890 140722963403890 140722963406799 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 10659884 KiB Current children cumulated memory: 35508 KiB [startup+0.31014 s]* /proc/loadavg: 1.63 1.66 1.58 5/228 31729 /proc/meminfo: memFree=31280512/32770624 swapFree=66981412/67108860 [pid=31714] ppid=31711 vsize=10659884 memory=40656 CPUtime=0.48 cores=1,3,5,7 /proc/31714/stat : 31714 (java) S 31711 31714 30397 0 -1 1077944320 9506 0 0 0 45 3 0 0 20 0 15 0 414565303 10915721216 10164 33554432000 4194304 4196468 140722963400544 140722963383088 140703909838583 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8822784 140722963403787 140722963403890 140722963403890 140722963406799 0 /proc/31714/statm: 2664971 10164 3002 1 0 2627468 0 [pid=31714/tid=31716] ppid=31711 vsize=10659884 memory=7022364594140610616 CPUtime=0.3 cores=1,3,5,7 /proc/31714/task/31716/stat : 31716 (java) R 31711 31714 30397 0 -1 4202560 6359 0 0 0 28 2 0 0 20 0 15 0 414565304 10915721216 10164 33554432000 4194304 4196468 140722963400544 140703914061264 140703909860509 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8822784 140722963403787 140722963403890 140722963403890 140722963406799 0 [pid=31714/tid=31717] ppid=31711 vsize=10659884 memory=4297963160 CPUtime=0 cores=1,3,5,7 /proc/31714/task/31717/stat : 31717 (java) S 31711 31714 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414565304 10915721216 10164 33554432000 4194304 4196468 140722963400544 140703868599184 140703909848789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8822784 140722963403787 140722963403890 140722963403890 140722963406799 0 [pid=31714/tid=31718] ppid=31711 vsize=10659884 memory=288370414247007872 CPUtime=0 cores=1,3,5,7 /proc/31714/task/31718/stat : 31718 (java) S 31711 31714 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414565304 10915721216 10164 33554432000 4194304 4196468 140722963400544 140703515355920 140703909848789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8822784 140722963403787 140722963403890 140722963403890 140722963406799 0 [pid=31714/tid=31719] ppid=31711 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7 /proc/31714/task/31719/stat : 31719 (java) S 31711 31714 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414565304 10915721216 10164 33554432000 4194304 4196468 140722963400544 140703514303632 140703909848789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8822784 140722963403787 140722963403890 140722963403890 140722963406799 0 [pid=31714/tid=31720] ppid=31711 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/31714/task/31720/stat : 31720 (java) S 31711 31714 30397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414565304 10915721216 10164 33554432000 4194304 4196468 140722963400544 140703513250832 140703909848789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8822784 140722963403787 140722963403890 140722963403890 140722963406799 0 [pid=31714/tid=31721] ppid=31711 vsize=10659884 memory=140038095296128 CPUtime=0 cores=1,3,5,7 /proc/31714/task/31721/stat : 31721 (java) S 31711 31714 30397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414565306 10915721216 10164 33554432000 4194304 4196468 140722963400544 140703484921968 140703909849730 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8822784 140722963403787 140722963403890 140722963403890 140722963406799 0 [pid=31714/tid=31722] ppid=31711 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/31714/task/31722/stat : 31722 (java) S 31711 31714 30397 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414565306 10915721216 10164 33554432000 4194304 4196468 140722963400544 140703483867936 140703909848789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8822784 140722963403787 140722963403890 140722963403890 140722963406799 0 [pid=31714/tid=31723] ppid=31711 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7 /proc/31714/task/31723/stat : 31723 (java) S 31711 31714 30397 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414565306 10915721216 10164 33554432000 4194304 4196468 140722963400544 140703482815600 140703909848789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8822784 140722963403787 140722963403890 140722963403890 140722963406799 0 [pid=31714/tid=31724] ppid=31711 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7 /proc/31714/task/31724/stat : 31724 (java) S 31711 31714 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414565309 10915721216 10164 33554432000 4194304 4196468 140722963400544 140703481763920 140703909857179 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8822784 140722963403787 140722963403890 140722963403890 140722963406799 0 [pid=31714/tid=31725] ppid=31711 vsize=10659884 memory=0 CPUtime=0.04 cores=1,3,5,7 /proc/31714/task/31725/stat : 31725 (java) S 31711 31714 30397 0 -1 1077944384 860 0 0 0 4 0 0 0 20 0 15 0 414565309 10915721216 10164 33554432000 4194304 4196468 140722963400544 140703480711792 140703909849730 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8822784 140722963403787 140722963403890 140722963403890 140722963406799 0 [pid=31714/tid=31726] ppid=31711 vsize=10659884 memory=-1 CPUtime=0.03 cores=1,3,5,7 /proc/31714/task/31726/stat : 31726 (java) S 31711 31714 30397 0 -1 1077944384 170 0 0 0 3 0 0 0 20 0 15 0 414565309 10915721216 10164 33554432000 4194304 4196468 140722963400544 140703479658992 140703909849730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8822784 140722963403787 140722963403890 140722963403890 140722963406799 0 [pid=31714/tid=31727] ppid=31711 vsize=10659884 memory=140038095296128 CPUtime=0.07 cores=1,3,5,7 /proc/31714/task/31727/stat : 31727 (java) S 31711 31714 30397 0 -1 1077944384 758 0 0 0 7 0 0 0 20 0 15 0 414565309 10915721216 10164 33554432000 4194304 4196468 140722963400544 140703478606704 140703909849730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8822784 140722963403787 140722963403890 140722963403890 140722963406799 0 [pid=31714/tid=31728] ppid=31711 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/31714/task/31728/stat : 31728 (java) S 31711 31714 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414565309 10915721216 10164 33554432000 4194304 4196468 140722963400544 140703477554144 140703909848789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8822784 140722963403787 140722963403890 140722963403890 140722963406799 0 [pid=31714/tid=31729] ppid=31711 vsize=10659884 memory=140038095296128 CPUtime=0 cores=1,3,5,7 /proc/31714/task/31729/stat : 31729 (java) S 31711 31714 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414565309 10915721216 10164 33554432000 4194304 4196468 140722963400544 140703476500912 140703909849730 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8822784 140722963403787 140722963403890 140722963403890 140722963406799 0 Current children cumulated CPU time: 0.48 s Current children cumulated vsize: 10659884 KiB Current children cumulated memory: 40656 KiB [startup+0.700735 s] /proc/loadavg: 1.63 1.66 1.58 3/228 31729 /proc/meminfo: memFree=31271844/32770624 swapFree=66981412/67108860 [pid=31714] ppid=31711 vsize=10661932 memory=64200 CPUtime=1.11 cores=1,3,5,7 /proc/31714/stat : 31714 (java) S 31711 31714 30397 0 -1 1077944320 13130 0 0 0 107 4 0 0 20 0 15 0 414565303 10917818368 16050 33554432000 4194304 4196468 140722963400544 140722963383088 140703909838583 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8822784 140722963403787 140722963403890 140722963403890 140722963406799 0 /proc/31714/statm: 2665483 16050 3072 1 0 2627980 0 [pid=31714/tid=31716] ppid=31711 vsize=10661932 memory=276278603190088 CPUtime=0.68 cores=1,3,5,7 /proc/31714/task/31716/stat : 31716 (java) R 31711 31714 30397 0 -1 4202560 8912 0 0 0 65 3 0 0 20 0 15 0 414565304 10917818368 16050 33554432000 4194304 4196468 140722963400544 140703914064464 140703909860509 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8822784 140722963403787 140722963403890 140722963403890 140722963406799 0 [pid=31714/tid=31717] ppid=31711 vsize=10661932 memory=3158301 CPUtime=0 cores=1,3,5,7 /proc/31714/task/31717/stat : 31717 (java) S 31711 31714 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414565304 10917818368 16050 33554432000 4194304 4196468 140722963400544 140703868599184 140703909848789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8822784 140722963403787 140722963403890 140722963403890 140722963406799 0 [pid=31714/tid=31718] ppid=31711 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7 /proc/31714/task/31718/stat : 31718 (java) S 31711 31714 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414565304 10917818368 16050 33554432000 4194304 4196468 140722963400544 140703515355920 140703909848789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8822784 140722963403787 140722963403890 140722963403890 140722963406799 0 [pid=31714/tid=31719] ppid=31711 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7 /proc/31714/task/31719/stat : 31719 (java) S 31711 31714 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414565304 10917818368 16050 33554432000 4194304 4196468 140722963400544 140703514303632 140703909848789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8822784 140722963403787 140722963403890 140722963403890 140722963406799 0 [pid=31714/tid=31720] ppid=31711 vsize=10661932 memory=7809523229951467568 CPUtime=0 cores=1,3,5,7 /proc/31714/task/31720/stat : 31720 (java) S 31711 31714 30397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414565304 10917818368 16050 33554432000 4194304 4196468 140722963400544 140703513250832 140703909848789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8822784 140722963403787 140722963403890 140722963403890 140722963406799 0 [pid=31714/tid=31721] ppid=31711 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7 /proc/31714/task/31721/stat : 31721 (java) S 31711 31714 30397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414565306 10917818368 16050 33554432000 4194304 4196468 140722963400544 140703484921968 140703909849730 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8822784 140722963403787 140722963403890 140722963403890 140722963406799 0 [pid=31714/tid=31722] ppid=31711 vsize=10661932 memory=-3535359994705171041 CPUtime=0 cores=1,3,5,7 /proc/31714/task/31722/stat : 31722 (java) S 31711 31714 30397 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414565306 10917818368 16050 33554432000 4194304 4196468 140722963400544 140703483867936 140703909848789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8822784 140722963403787 140722963403890 140722963403890 140722963406799 0 [pid=31714/tid=31723] ppid=31711 vsize=10661932 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7 /proc/31714/task/31723/stat : 31723 (java) S 31711 31714 30397 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414565306 10917818368 16050 33554432000 4194304 4196468 140722963400544 140703482815600 140703909848789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8822784 140722963403787 140722963403890 140722963403890 140722963406799 0 [pid=31714/tid=31724] ppid=31711 vsize=10661932 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7 /proc/31714/task/31724/stat : 31724 (java) S 31711 31714 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414565309 10917818368 16050 33554432000 4194304 4196468 140722963400544 140703481763920 140703909857179 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8822784 140722963403787 140722963403890 140722963403890 140722963406799 0 [pid=31714/tid=31725] ppid=31711 vsize=10661932 memory=6944656592455360604 CPUtime=0.1 cores=1,3,5,7 /proc/31714/task/31725/stat : 31725 (java) S 31711 31714 30397 0 -1 1077944384 1146 0 0 0 10 0 0 0 20 0 15 0 414565309 10917818368 16050 33554432000 4194304 4196468 140722963400544 140703480711792 140703909849730 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8822784 140722963403787 140722963403890 140722963403890 140722963406799 0 [pid=31714/tid=31726] ppid=31711 vsize=10661932 memory=6944656592455360604 CPUtime=0.12 cores=1,3,5,7 /proc/31714/task/31726/stat : 31726 (java) R 31711 31714 30397 0 -1 4202560 459 0 0 0 12 0 0 0 20 0 15 0 414565309 10917818368 16050 33554432000 4194304 4196468 140722963400544 140703479658992 140703894949241 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8822784 140722963403787 140722963403890 140722963403890 140722963406799 0 [pid=31714/tid=31727] ppid=31711 vsize=10661932 memory=0 CPUtime=0.18 cores=1,3,5,7 /proc/31714/task/31727/stat : 31727 (java) S 31711 31714 30397 0 -1 1077944384 1254 0 0 0 18 0 0 0 20 0 15 0 414565309 10917818368 16050 33554432000 4194304 4196468 140722963400544 140703478606704 140703909849730 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8822784 140722963403787 140722963403890 140722963403890 140722963406799 0 [pid=31714/tid=31728] ppid=31711 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7 /proc/31714/task/31728/stat : 31728 (java) S 31711 31714 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414565309 10917818368 16050 33554432000 4194304 4196468 140722963400544 140703477554144 140703909848789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8822784 140722963403787 140722963403890 140722963403890 140722963406799 0 [pid=31714/tid=31729] ppid=31711 vsize=10661932 memory=2120 CPUtime=0 cores=1,3,5,7 /proc/31714/task/31729/stat : 31729 (java) S 31711 31714 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414565309 10917818368 16050 33554432000 4194304 4196468 140722963400544 140703476500912 140703909849730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8822784 140722963403787 140722963403890 140722963403890 140722963406799 0 Current children cumulated CPU time: 1.11 s Current children cumulated vsize: 10661932 KiB Current children cumulated memory: 64200 KiB [startup+1.50077 s] /proc/loadavg: 1.66 1.66 1.58 3/228 31729 /proc/meminfo: memFree=31255544/32770624 swapFree=66981412/67108860 [pid=31714] ppid=31711 vsize=10663980 memory=76112 CPUtime=2 cores=1,3,5,7 /proc/31714/stat : 31714 (java) S 31711 31714 30397 0 -1 1077944320 18723 0 0 0 195 5 0 0 20 0 15 0 414565303 10919915520 19028 33554432000 4194304 4196468 140722963400544 140722963383088 140703909838583 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8822784 140722963403787 140722963403890 140722963403890 140722963406799 0 /proc/31714/statm: 2665995 19028 3095 1 0 2628492 0 [pid=31714/tid=31716] ppid=31711 vsize=10663980 memory=2996107 CPUtime=1.48 cores=1,3,5,7 /proc/31714/task/31716/stat : 31716 (java) R 31711 31714 30397 0 -1 4202560 13177 0 0 0 144 4 0 0 20 0 15 0 414565304 10919915520 19028 33554432000 4194304 4196468 140722963400544 140703914064464 140703893919070 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8822784 140722963403787 140722963403890 140722963403890 140722963406799 0 [pid=31714/tid=31717] ppid=31711 vsize=10663980 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7 /proc/31714/task/31717/stat : 31717 (java) S 31711 31714 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414565304 10919915520 19028 33554432000 4194304 4196468 140722963400544 140703868599184 140703909848789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8822784 140722963403787 140722963403890 140722963403890 140722963406799 0 [pid=31714/tid=31718] ppid=31711 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7 /proc/31714/task/31718/stat : 31718 (java) S 31711 31714 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414565304 10919915520 19028 33554432000 4194304 4196468 140722963400544 140703515355920 140703909848789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8822784 140722963403787 140722963403890 140722963403890 140722963406799 0 [pid=31714/tid=31719] ppid=31711 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7 /proc/31714/task/31719/stat : 31719 (java) S 31711 31714 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414565304 10919915520 19028 33554432000 4194304 4196468 140722963400544 140703514303632 140703909848789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8822784 140722963403787 140722963403890 140722963403890 140722963406799 0 [pid=31714/tid=31720] ppid=31711 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7 /proc/31714/task/31720/stat : 31720 (java) S 31711 31714 30397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414565304 10919915520 19028 33554432000 4194304 4196468 140722963400544 140703513250832 140703909848789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8822784 140722963403787 140722963403890 140722963403890 140722963406799 0 [pid=31714/tid=31721] ppid=31711 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7 /proc/31714/task/31721/stat : 31721 (java) S 31711 31714 30397 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 15 0 414565306 10919915520 19028 33554432000 4194304 4196468 140722963400544 140703484921968 140703909849730 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8822784 140722963403787 140722963403890 140722963403890 140722963406799 0 ################ # More data... # ################ [startup+30.4006 s] /proc/loadavg: 1.78 1.69 1.59 3/229 31733 /proc/meminfo: memFree=31148448/32770624 swapFree=66981412/67108860 [pid=31714] ppid=31711 vsize=10748324 memory=176272 CPUtime=33.77 cores=1,3,5,7 /proc/31714/stat : 31714 (java) S 31711 31714 30397 0 -1 1077944320 43403 0 0 0 3364 13 0 0 20 0 16 0 414565303 11006283776 44068 33554432000 4194304 4196468 140722963400544 140722963383088 140703909838583 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8822784 140722963403787 140722963403890 140722963403890 140722963406799 0 /proc/31714/statm: 2687081 44068 3349 1 0 2647217 0 [pid=31714/tid=31716] ppid=31711 vsize=10748324 memory=1548 CPUtime=1.85 cores=1,3,5,7 /proc/31714/task/31716/stat : 31716 (java) S 31711 31714 30397 0 -1 1077944384 15399 0 0 0 180 5 0 0 20 0 16 0 414565304 11006283776 44068 33554432000 4194304 4196468 140722963400544 140703914081456 140703909848789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8822784 140722963403787 140722963403890 140722963403890 140722963406799 0 [pid=31714/tid=31717] ppid=31711 vsize=10748324 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7 /proc/31714/task/31717/stat : 31717 (java) S 31711 31714 30397 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 16 0 414565304 11006283776 44068 33554432000 4194304 4196468 140722963400544 140703868599184 140703909848789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8822784 140722963403787 140722963403890 140722963403890 140722963406799 0 [pid=31714/tid=31718] ppid=31711 vsize=10748324 memory=19508 CPUtime=0 cores=1,3,5,7 /proc/31714/task/31718/stat : 31718 (java) S 31711 31714 30397 0 -1 1077944384 128 0 0 0 0 0 0 0 20 0 16 0 414565304 11006283776 44068 33554432000 4194304 4196468 140722963400544 140703515355920 140703909848789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8822784 140722963403787 140722963403890 140722963403890 140722963406799 0 [pid=31714/tid=31719] ppid=31711 vsize=10748324 memory=2004 CPUtime=0 cores=1,3,5,7 /proc/31714/task/31719/stat : 31719 (java) S 31711 31714 30397 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 16 0 414565304 11006283776 44068 33554432000 4194304 4196468 140722963400544 140703514303632 140703909848789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8822784 140722963403787 140722963403890 140722963403890 140722963406799 0 [pid=31714/tid=31720] ppid=31711 vsize=10748324 memory=174224 CPUtime=0 cores=1,3,5,7 /proc/31714/task/31720/stat : 31720 (java) S 31711 31714 30397 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 16 0 414565304 11006283776 44068 33554432000 4194304 4196468 140722963400544 140703513250832 140703909848789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8822784 140722963403787 140722963403890 140722963403890 140722963406799 0 [pid=31714/tid=31721] ppid=31711 vsize=10748324 memory=4160 CPUtime=0.01 cores=1,3,5,7 /proc/31714/task/31721/stat : 31721 (java) S 31711 31714 30397 0 -1 1077944384 1217 0 0 0 1 0 0 0 20 0 16 0 414565306 11006283776 44068 33554432000 4194304 4196468 140722963400544 140703484921968 140703909849730 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8822784 140722963403787 140722963403890 140722963403890 140722963406799 0 [pid=31714/tid=31722] ppid=31711 vsize=10748324 memory=2241 CPUtime=0 cores=1,3,5,7 /proc/31714/task/31722/stat : 31722 (java) S 31711 31714 30397 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 16 0 414565306 11006283776 44068 33554432000 4194304 4196468 140722963400544 140703483867936 140703909848789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8822784 140722963403787 140722963403890 140722963403890 140722963406799 0 [pid=31714/tid=31723] ppid=31711 vsize=10748324 memory=3047711553219693942 CPUtime=0 cores=1,3,5,7 /proc/31714/task/31723/stat : 31723 (java) S 31711 31714 30397 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 414565306 11006283776 44068 33554432000 4194304 4196468 140722963400544 140703482815616 140703909848789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8822784 140722963403787 140722963403890 140722963403890 140722963406799 0 [pid=31714/tid=31724] ppid=31711 vsize=10748324 memory=-7521736447810188379 CPUtime=0 cores=1,3,5,7 /proc/31714/task/31724/stat : 31724 (java) S 31711 31714 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414565309 11006283776 44068 33554432000 4194304 4196468 140722963400544 140703481763920 140703909857179 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8822784 140722963403787 140722963403890 140722963403890 140722963406799 0 [pid=31714/tid=31725] ppid=31711 vsize=10748324 memory=-8412652160765825907 CPUtime=1.29 cores=1,3,5,7 /proc/31714/task/31725/stat : 31725 (java) S 31711 31714 30397 0 -1 1077944384 7106 0 0 0 128 1 0 0 20 0 16 0 414565309 11006283776 44068 33554432000 4194304 4196468 140722963400544 140703480711792 140703909849730 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8822784 140722963403787 140722963403890 140722963403890 140722963406799 0 [pid=31714/tid=31726] ppid=31711 vsize=10748324 memory=7100839878645619564 CPUtime=1.32 cores=1,3,5,7 /proc/31714/task/31726/stat : 31726 (java) S 31711 31714 30397 0 -1 1077944384 5867 0 0 0 131 1 0 0 20 0 16 0 414565309 11006283776 44068 33554432000 4194304 4196468 140722963400544 140703479658992 140703909849730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8822784 140722963403787 140722963403890 140722963403890 140722963406799 0 [pid=31714/tid=31727] ppid=31711 vsize=10748324 memory=984 CPUtime=0.71 cores=1,3,5,7 /proc/31714/task/31727/stat : 31727 (java) S 31711 31714 30397 0 -1 1077944384 4862 0 0 0 70 1 0 0 20 0 16 0 414565309 11006283776 44068 33554432000 4194304 4196468 140722963400544 140703478606704 140703909849730 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8822784 140722963403787 140722963403890 140722963403890 140722963406799 0 [pid=31714/tid=31728] ppid=31711 vsize=10748324 memory=1328 CPUtime=0 cores=1,3,5,7 /proc/31714/task/31728/stat : 31728 (java) S 31711 31714 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414565309 11006283776 44068 33554432000 4194304 4196468 140722963400544 140703477554144 140703909848789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8822784 140722963403787 140722963403890 140722963403890 140722963406799 0 [pid=31714/tid=31729] ppid=31711 vsize=10748324 memory=780 CPUtime=0 cores=1,3,5,7 /proc/31714/task/31729/stat : 31729 (java) S 31711 31714 30397 0 -1 1077944384 170 0 0 0 0 0 0 0 20 0 16 0 414565309 11006283776 44068 33554432000 4194304 4196468 140722963400544 140703476500912 140703909849730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8822784 140722963403787 140722963403890 140722963403890 140722963406799 0 [pid=31714/tid=31730] ppid=31711 vsize=10748324 memory=4160 CPUtime=28.48 cores=1,3,5,7 /proc/31714/task/31730/stat : 31730 (java) R 31711 31714 30397 0 -1 4202560 7158 0 0 0 2846 2 0 0 20 0 16 0 414565491 11006283776 44068 33554432000 4194304 4196468 140722963400544 140703465782512 140703553086720 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8822784 140722963403787 140722963403890 140722963403890 140722963406799 0 Current children cumulated CPU time: 33.77 s Current children cumulated vsize: 10748324 KiB Current children cumulated memory: 176272 KiB [startup+30.8005 s] /proc/loadavg: 1.78 1.69 1.59 3/229 31733 /proc/meminfo: memFree=31148448/32770624 swapFree=66981412/67108860 [pid=31714] ppid=31711 vsize=10748324 memory=176272 CPUtime=34.17 cores=1,3,5,7 /proc/31714/stat : 31714 (java) S 31711 31714 30397 0 -1 1077944320 43403 0 0 0 3404 13 0 0 20 0 16 0 414565303 11006283776 44068 33554432000 4194304 4196468 140722963400544 140722963383088 140703909838583 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8822784 140722963403787 140722963403890 140722963403890 140722963406799 0 /proc/31714/statm: 2687081 44068 3349 1 0 2647217 0 [pid=31714/tid=31716] ppid=31711 vsize=10748324 memory=2828 CPUtime=1.85 cores=1,3,5,7 /proc/31714/task/31716/stat : 31716 (java) S 31711 31714 30397 0 -1 1077944384 15399 0 0 0 180 5 0 0 20 0 16 0 414565304 11006283776 44068 33554432000 4194304 4196468 140722963400544 140703914081456 140703909848789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8822784 140722963403787 140722963403890 140722963403890 140722963406799 0 [pid=31714/tid=31717] ppid=31711 vsize=10748324 memory=756 CPUtime=0 cores=1,3,5,7 /proc/31714/task/31717/stat : 31717 (java) S 31711 31714 30397 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 16 0 414565304 11006283776 44068 33554432000 4194304 4196468 140722963400544 140703868599184 140703909848789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8822784 140722963403787 140722963403890 140722963403890 140722963406799 0 [pid=31714/tid=31718] ppid=31711 vsize=10748324 memory=0 CPUtime=0 cores=1,3,5,7 /proc/31714/task/31718/stat : 31718 (java) S 31711 31714 30397 0 -1 1077944384 128 0 0 0 0 0 0 0 20 0 16 0 414565304 11006283776 44068 33554432000 4194304 4196468 140722963400544 140703515355920 140703909848789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8822784 140722963403787 140722963403890 140722963403890 140722963406799 0 [pid=31714/tid=31719] ppid=31711 vsize=10748324 memory=2120 CPUtime=0 cores=1,3,5,7 /proc/31714/task/31719/stat : 31719 (java) S 31711 31714 30397 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 16 0 414565304 11006283776 44068 33554432000 4194304 4196468 140722963400544 140703514303632 140703909848789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8822784 140722963403787 140722963403890 140722963403890 140722963406799 0 [pid=31714/tid=31720] ppid=31711 vsize=10748324 memory=11976 CPUtime=0 cores=1,3,5,7 /proc/31714/task/31720/stat : 31720 (java) S 31711 31714 30397 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 16 0 414565304 11006283776 44068 33554432000 4194304 4196468 140722963400544 140703513250832 140703909848789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8822784 140722963403787 140722963403890 140722963403890 140722963406799 0 [pid=31714/tid=31721] ppid=31711 vsize=10748324 memory=6680 CPUtime=0.01 cores=1,3,5,7 /proc/31714/task/31721/stat : 31721 (java) S 31711 31714 30397 0 -1 1077944384 1217 0 0 0 1 0 0 0 20 0 16 0 414565306 11006283776 44068 33554432000 4194304 4196468 140722963400544 140703484921968 140703909849730 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8822784 140722963403787 140722963403890 140722963403890 140722963406799 0 [pid=31714/tid=31722] ppid=31711 vsize=10748324 memory=512 CPUtime=0 cores=1,3,5,7 /proc/31714/task/31722/stat : 31722 (java) S 31711 31714 30397 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 16 0 414565306 11006283776 44068 33554432000 4194304 4196468 140722963400544 140703483867936 140703909848789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8822784 140722963403787 140722963403890 140722963403890 140722963406799 0 [pid=31714/tid=31723] ppid=31711 vsize=10748324 memory=1564 CPUtime=0 cores=1,3,5,7 /proc/31714/task/31723/stat : 31723 (java) S 31711 31714 30397 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 414565306 11006283776 44068 33554432000 4194304 4196468 140722963400544 140703482815616 140703909848789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8822784 140722963403787 140722963403890 140722963403890 140722963406799 0 [pid=31714/tid=31724] ppid=31711 vsize=10748324 memory=928 CPUtime=0 cores=1,3,5,7 /proc/31714/task/31724/stat : 31724 (java) S 31711 31714 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414565309 11006283776 44068 33554432000 4194304 4196468 140722963400544 140703481763920 140703909857179 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8822784 140722963403787 140722963403890 140722963403890 140722963406799 0 [pid=31714/tid=31725] ppid=31711 vsize=10748324 memory=3772 CPUtime=1.29 cores=1,3,5,7 /proc/31714/task/31725/stat : 31725 (java) S 31711 31714 30397 0 -1 1077944384 7106 0 0 0 128 1 0 0 20 0 16 0 414565309 11006283776 44068 33554432000 4194304 4196468 140722963400544 140703480711792 140703909849730 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8822784 140722963403787 140722963403890 140722963403890 140722963406799 0 [pid=31714/tid=31726] ppid=31711 vsize=10748324 memory=1440 CPUtime=1.32 cores=1,3,5,7 /proc/31714/task/31726/stat : 31726 (java) S 31711 31714 30397 0 -1 1077944384 5867 0 0 0 131 1 0 0 20 0 16 0 414565309 11006283776 44068 33554432000 4194304 4196468 140722963400544 140703479658992 140703909849730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8822784 140722963403787 140722963403890 140722963403890 140722963406799 0 [pid=31714/tid=31727] ppid=31711 vsize=10748324 memory=33 CPUtime=0.71 cores=1,3,5,7 /proc/31714/task/31727/stat : 31727 (java) S 31711 31714 30397 0 -1 1077944384 4862 0 0 0 70 1 0 0 20 0 16 0 414565309 11006283776 44068 33554432000 4194304 4196468 140722963400544 140703478606704 140703909849730 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8822784 140722963403787 140722963403890 140722963403890 140722963406799 0 [pid=31714/tid=31728] ppid=31711 vsize=10748324 memory=7598811100138176585 CPUtime=0 cores=1,3,5,7 /proc/31714/task/31728/stat : 31728 (java) S 31711 31714 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414565309 11006283776 44068 33554432000 4194304 4196468 140722963400544 140703477554144 140703909848789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8822784 140722963403787 140722963403890 140722963403890 140722963406799 0 [pid=31714/tid=31729] ppid=31711 vsize=10748324 memory=2998051 CPUtime=0 cores=1,3,5,7 /proc/31714/task/31729/stat : 31729 (java) S 31711 31714 30397 0 -1 1077944384 170 0 0 0 0 0 0 0 20 0 16 0 414565309 11006283776 44068 33554432000 4194304 4196468 140722963400544 140703476500912 140703909849730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8822784 140722963403787 140722963403890 140722963403890 140722963406799 0 [pid=31714/tid=31730] ppid=31711 vsize=10748324 memory=176272 CPUtime=28.88 cores=1,3,5,7 /proc/31714/task/31730/stat : 31730 (java) R 31711 31714 30397 0 -1 4202560 7158 0 0 0 2886 2 0 0 20 0 16 0 414565491 11006283776 44068 33554432000 4194304 4196468 140722963400544 140703465782512 140703552962906 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8822784 140722963403787 140722963403890 140722963403890 140722963406799 0 Current children cumulated CPU time: 34.17 s Current children cumulated vsize: 10748324 KiB Current children cumulated memory: 176272 KiB [startup+31.0006 s]* /proc/loadavg: 1.80 1.70 1.59 3/229 31733 /proc/meminfo: memFree=31148448/32770624 swapFree=66981412/67108860 [pid=31714] ppid=31711 vsize=10748324 memory=176272 CPUtime=34.38 cores=1,3,5,7 /proc/31714/stat : 31714 (java) S 31711 31714 30397 0 -1 1077944320 43403 0 0 0 3425 13 0 0 20 0 16 0 414565303 11006283776 44068 33554432000 4194304 4196468 140722963400544 140722963383088 140703909838583 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8822784 140722963403787 140722963403890 140722963403890 140722963406799 0 /proc/31714/statm: 2687081 44068 3349 1 0 2647217 0 [pid=31714/tid=31716] ppid=31711 vsize=10748324 memory=6791534058613427641 CPUtime=1.85 cores=1,3,5,7 /proc/31714/task/31716/stat : 31716 (java) S 31711 31714 30397 0 -1 1077944384 15399 0 0 0 180 5 0 0 20 0 16 0 414565304 11006283776 44068 33554432000 4194304 4196468 140722963400544 140703914081456 140703909848789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8822784 140722963403787 140722963403890 140722963403890 140722963406799 0 [pid=31714/tid=31717] ppid=31711 vsize=10748324 memory=0 CPUtime=0 cores=1,3,5,7 /proc/31714/task/31717/stat : 31717 (java) S 31711 31714 30397 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 16 0 414565304 11006283776 44068 33554432000 4194304 4196468 140722963400544 140703868599184 140703909848789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8822784 140722963403787 140722963403890 140722963403890 140722963406799 0 [pid=31714/tid=31718] ppid=31711 vsize=10748324 memory=4638778398332698720 CPUtime=0 cores=1,3,5,7 /proc/31714/task/31718/stat : 31718 (java) S 31711 31714 30397 0 -1 1077944384 128 0 0 0 0 0 0 0 20 0 16 0 414565304 11006283776 44068 33554432000 4194304 4196468 140722963400544 140703515355920 140703909848789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8822784 140722963403787 140722963403890 140722963403890 140722963406799 0 [pid=31714/tid=31719] ppid=31711 vsize=10748324 memory=8508281403248052365 CPUtime=0 cores=1,3,5,7 /proc/31714/task/31719/stat : 31719 (java) S 31711 31714 30397 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 16 0 414565304 11006283776 44068 33554432000 4194304 4196468 140722963400544 140703514303632 140703909848789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8822784 140722963403787 140722963403890 140722963403890 140722963406799 0 [pid=31714/tid=31720] ppid=31711 vsize=10748324 memory=3472328296227680303 CPUtime=0 cores=1,3,5,7 /proc/31714/task/31720/stat : 31720 (java) S 31711 31714 30397 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 16 0 414565304 11006283776 44068 33554432000 4194304 4196468 140722963400544 140703513250832 140703909848789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8822784 140722963403787 140722963403890 140722963403890 140722963406799 0 [pid=31714/tid=31721] ppid=31711 vsize=10748324 memory=665098755973658563 CPUtime=0.01 cores=1,3,5,7 /proc/31714/task/31721/stat : 31721 (java) S 31711 31714 30397 0 -1 1077944384 1217 0 0 0 1 0 0 0 20 0 16 0 414565306 11006283776 44068 33554432000 4194304 4196468 140722963400544 140703484921968 140703909849730 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8822784 140722963403787 140722963403890 140722963403890 140722963406799 0 [pid=31714/tid=31722] ppid=31711 vsize=10748324 memory=3472328296227680264 CPUtime=0 cores=1,3,5,7 /proc/31714/task/31722/stat : 31722 (java) S 31711 31714 30397 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 16 0 414565306 11006283776 44068 33554432000 4194304 4196468 140722963400544 140703483867936 140703909848789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8822784 140722963403787 140722963403890 140722963403890 140722963406799 0 [pid=31714/tid=31723] ppid=31711 vsize=10748324 memory=8547763363015199892 CPUtime=0 cores=1,3,5,7 /proc/31714/task/31723/stat : 31723 (java) S 31711 31714 30397 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 414565306 11006283776 44068 33554432000 4194304 4196468 140722963400544 140703482815616 140703909848789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8822784 140722963403787 140722963403890 140722963403890 140722963406799 0 [pid=31714/tid=31724] ppid=31711 vsize=10748324 memory=8110268329461324165 CPUtime=0 cores=1,3,5,7 /proc/31714/task/31724/stat : 31724 (java) S 31711 31714 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414565309 11006283776 44068 33554432000 4194304 4196468 140722963400544 140703481763920 140703909857179 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8822784 140722963403787 140722963403890 140722963403890 140722963406799 0 [pid=31714/tid=31725] ppid=31711 vsize=10748324 memory=0 CPUtime=1.29 cores=1,3,5,7 /proc/31714/task/31725/stat : 31725 (java) S 31711 31714 30397 0 -1 1077944384 7106 0 0 0 128 1 0 0 20 0 16 0 414565309 11006283776 44068 33554432000 4194304 4196468 140722963400544 140703480711792 140703909849730 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8822784 140722963403787 140722963403890 140722963403890 140722963406799 0 [pid=31714/tid=31726] ppid=31711 vsize=10748324 memory=4785954429024149535 CPUtime=1.32 cores=1,3,5,7 /proc/31714/task/31726/stat : 31726 (java) S 31711 31714 30397 0 -1 1077944384 5867 0 0 0 131 1 0 0 20 0 16 0 414565309 11006283776 44068 33554432000 4194304 4196468 140722963400544 140703479658992 140703909849730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8822784 140722963403787 140722963403890 140722963403890 140722963406799 0 [pid=31714/tid=31727] ppid=31711 vsize=10748324 memory=3472468334322975408 CPUtime=0.71 cores=1,3,5,7 /proc/31714/task/31727/stat : 31727 (java) S 31711 31714 30397 0 -1 1077944384 4862 0 0 0 70 1 0 0 20 0 16 0 414565309 11006283776 44068 33554432000 4194304 4196468 140722963400544 140703478606704 140703909849730 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8822784 140722963403787 140722963403890 140722963403890 140722963406799 0 [pid=31714/tid=31728] ppid=31711 vsize=10748324 memory=8389772264424737328 CPUtime=0 cores=1,3,5,7 /proc/31714/task/31728/stat : 31728 (java) S 31711 31714 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414565309 11006283776 44068 33554432000 4194304 4196468 140722963400544 140703477554144 140703909848789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8822784 140722963403787 140722963403890 140722963403890 140722963406799 0 [pid=31714/tid=31729] ppid=31711 vsize=10748324 memory=3691176615751775920 CPUtime=0 cores=1,3,5,7 /proc/31714/task/31729/stat : 31729 (java) S 31711 31714 30397 0 -1 1077944384 170 0 0 0 0 0 0 0 20 0 16 0 414565309 11006283776 44068 33554432000 4194304 4196468 140722963400544 140703476500912 140703909849730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8822784 140722963403787 140722963403890 140722963403890 140722963406799 0 [pid=31714/tid=31730] ppid=31711 vsize=10748324 memory=2321663019697059896 CPUtime=29.09 cores=1,3,5,7 /proc/31714/task/31730/stat : 31730 (java) R 31711 31714 30397 0 -1 4202560 7158 0 0 0 2907 2 0 0 20 0 16 0 414565491 11006283776 44068 33554432000 4194304 4196468 140722963400544 140703465782512 140703553120276 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8822784 140722963403787 140722963403890 140722963403890 140722963406799 0 Current children cumulated CPU time: 34.38 s Current children cumulated vsize: 10748324 KiB Current children cumulated memory: 176272 KiB [startup+31.1094 s] /proc/loadavg: 1.80 1.70 1.59 3/229 31733 /proc/meminfo: memFree=31148448/32770624 swapFree=66981412/67108860 [pid=31714] ppid=31711 vsize=10748324 memory=176272 CPUtime=34.48 cores=1,3,5,7 /proc/31714/stat : 31714 (java) S 31711 31714 30397 0 -1 1077944320 43403 0 0 0 3435 13 0 0 20 0 16 0 414565303 11006283776 44068 33554432000 4194304 4196468 140722963400544 140722963383088 140703909838583 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8822784 140722963403787 140722963403890 140722963403890 140722963406799 0 /proc/31714/statm: 2687081 44068 3349 1 0 2647217 0 [pid=31714/tid=31716] ppid=31711 vsize=10748324 memory=176272 CPUtime=1.85 cores=1,3,5,7 /proc/31714/task/31716/stat : 31716 (java) S 31711 31714 30397 0 -1 1077944384 15399 0 0 0 180 5 0 0 20 0 16 0 414565304 11006283776 44068 33554432000 4194304 4196468 140722963400544 140703914081456 140703909848789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8822784 140722963403787 140722963403890 140722963403890 140722963406799 0 [pid=31714/tid=31717] ppid=31711 vsize=10748324 memory=2648 CPUtime=0 cores=1,3,5,7 /proc/31714/task/31717/stat : 31717 (java) S 31711 31714 30397 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 16 0 414565304 11006283776 44068 33554432000 4194304 4196468 140722963400544 140703868599184 140703909848789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8822784 140722963403787 140722963403890 140722963403890 140722963406799 0 [pid=31714/tid=31718] ppid=31711 vsize=10748324 memory=176272 CPUtime=0 cores=1,3,5,7 /proc/31714/task/31718/stat : 31718 (java) S 31711 31714 30397 0 -1 1077944384 128 0 0 0 0 0 0 0 20 0 16 0 414565304 11006283776 44068 33554432000 4194304 4196468 140722963400544 140703515355920 140703909848789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8822784 140722963403787 140722963403890 140722963403890 140722963406799 0 [pid=31714/tid=31719] ppid=31711 vsize=10748324 memory=174224 CPUtime=0 cores=1,3,5,7 /proc/31714/task/31719/stat : 31719 (java) S 31711 31714 30397 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 16 0 414565304 11006283776 44068 33554432000 4194304 4196468 140722963400544 140703514303632 140703909848789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8822784 140722963403787 140722963403890 140722963403890 140722963406799 0 [pid=31714/tid=31720] ppid=31711 vsize=10748324 memory=1 CPUtime=0 cores=1,3,5,7 /proc/31714/task/31720/stat : 31720 (java) S 31711 31714 30397 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 16 0 414565304 11006283776 44068 33554432000 4194304 4196468 140722963400544 140703513250832 140703909848789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8822784 140722963403787 140722963403890 140722963403890 140722963406799 0 [pid=31714/tid=31721] ppid=31711 vsize=10748324 memory=176272 CPUtime=0.01 cores=1,3,5,7 /proc/31714/task/31721/stat : 31721 (java) S 31711 31714 30397 0 -1 1077944384 1217 0 0 0 1 0 0 0 20 0 16 0 414565306 11006283776 44068 33554432000 4194304 4196468 140722963400544 140703484921968 140703909849730 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8822784 140722963403787 140722963403890 140722963403890 140722963406799 0 [pid=31714/tid=31722] ppid=31711 vsize=10748324 memory=280075892201648 CPUtime=0 cores=1,3,5,7 /proc/31714/task/31722/stat : 31722 (java) S 31711 31714 30397 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 16 0 414565306 11006283776 44068 33554432000 4194304 4196468 140722963400544 140703483867936 140703909848789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8822784 140722963403787 140722963403890 140722963403890 140722963406799 0 [pid=31714/tid=31723] ppid=31711 vsize=10748324 memory=1692 CPUtime=0 cores=1,3,5,7 /proc/31714/task/31723/stat : 31723 (java) S 31711 31714 30397 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 414565306 11006283776 44068 33554432000 4194304 4196468 140722963400544 140703482815616 140703909848789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8822784 140722963403787 140722963403890 140722963403890 140722963406799 0 [pid=31714/tid=31724] ppid=31711 vsize=10748324 memory=1028 CPUtime=0 cores=1,3,5,7 /proc/31714/task/31724/stat : 31724 (java) S 31711 31714 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414565309 11006283776 44068 33554432000 4194304 4196468 140722963400544 140703481763920 140703909857179 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8822784 140722963403787 140722963403890 140722963403890 140722963406799 0 [pid=31714/tid=31725] ppid=31711 vsize=10748324 memory=0 CPUtime=1.29 cores=1,3,5,7 /proc/31714/task/31725/stat : 31725 (java) S 31711 31714 30397 0 -1 1077944384 7106 0 0 0 128 1 0 0 20 0 16 0 414565309 11006283776 44068 33554432000 4194304 4196468 140722963400544 140703480711792 140703909849730 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8822784 140722963403787 140722963403890 140722963403890 140722963406799 0 [pid=31714/tid=31726] ppid=31711 vsize=10748324 memory=0 CPUtime=1.32 cores=1,3,5,7 /proc/31714/task/31726/stat : 31726 (java) S 31711 31714 30397 0 -1 1077944384 5867 0 0 0 131 1 0 0 20 0 16 0 414565309 11006283776 44068 33554432000 4194304 4196468 140722963400544 140703479658992 140703909849730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8822784 140722963403787 140722963403890 140722963403890 140722963406799 0 [pid=31714/tid=31727] ppid=31711 vsize=10748324 memory=0 CPUtime=0.71 cores=1,3,5,7 /proc/31714/task/31727/stat : 31727 (java) S 31711 31714 30397 0 -1 1077944384 4862 0 0 0 70 1 0 0 20 0 16 0 414565309 11006283776 44068 33554432000 4194304 4196468 140722963400544 140703478606704 140703909849730 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8822784 140722963403787 140722963403890 140722963403890 140722963406799 0 [pid=31714/tid=31728] ppid=31711 vsize=10748324 memory=0 CPUtime=0 cores=1,3,5,7 /proc/31714/task/31728/stat : 31728 (java) S 31711 31714 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414565309 11006283776 44068 33554432000 4194304 4196468 140722963400544 140703477554144 140703909848789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8822784 140722963403787 140722963403890 140722963403890 140722963406799 0 [pid=31714/tid=31729] ppid=31711 vsize=10748324 memory=1060 CPUtime=0 cores=1,3,5,7 /proc/31714/task/31729/stat : 31729 (java) S 31711 31714 30397 0 -1 1077944384 170 0 0 0 0 0 0 0 20 0 16 0 414565309 11006283776 44068 33554432000 4194304 4196468 140722963400544 140703476500912 140703909849730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8822784 140722963403787 140722963403890 140722963403890 140722963406799 0 [pid=31714/tid=31730] ppid=31711 vsize=10748324 memory=2828 CPUtime=29.19 cores=1,3,5,7 /proc/31714/task/31730/stat : 31730 (java) R 31711 31714 30397 0 -1 4202560 7158 0 0 0 2917 2 0 0 20 0 16 0 414565491 11006283776 44068 33554432000 4194304 4196468 140722963400544 140703465782512 140703552470734 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8822784 140722963403787 140722963403890 140722963403890 140722963406799 0 Current children cumulated CPU time: 34.48 s Current children cumulated vsize: 10748324 KiB Current children cumulated memory: 176272 KiB Child status: 0 Real time (s): 31.1738 CPU time (s): 34.5599 CPU user time (s): 34.4166 CPU system time (s): 0.143339 CPU usage (%): 110.862 Max. virtual memory (cumulated for all children) (KiB): 10750616 Max. memory (cumulated for all children) (KiB): 180096 getrusage(RUSAGE_CHILDREN,...) data: user time used= 34.4166 system time used= 0.143339 maximum resident set size= 180856 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 44832 page faults= 0 swaps= 0 block input operations= 0 block output operations= 112 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 3671 involuntary context switches= 32 # summary of solver processes directly reported to runsolver: # pid: 31714 # total CPU time (s): 34.5599 # total CPU user time (s): 34.4166 # total CPU system time (s): 0.143339 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.191843 second user time and 0.331632 second system time The end
Begin job on node121 at 2019-09-13 15:56:24 IDJOB=4390873 IDBENCH=127058 IDSOLVER=2832 FILE ID=node121/4390873-1568383026 RUNJOBID= node121-1568380474-30429 PBS_JOBID= 21701842 Free space on /tmp= 61040 MiB SOLVER NAME= AbsCon 2019-07-23 BENCH NAME= XCSP17/LowAutocorrelation/LowAutocorrelation-m1-s1/LowAutocorrelation-019.xml COMMAND LINE= java -cp AbsCon19-06.jar AbsCon BENCHNAME -cm RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4390873-1568383026/watcher-4390873-1568383026 -o /tmp/evaluation-result-4390873-1568383026/solver-4390873-1568383026 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node121-1568380474-30429 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4390873-1568383026.xml -cm TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 4db16cf953bf17f15cb901b9adc08541 RANDOM SEED=993803669 node121.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.75 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.75 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.75 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.75 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: 31311796 kB MemAvailable: 31655884 kB Buffers: 147240 kB Cached: 492612 kB SwapCached: 18984 kB Active: 584100 kB Inactive: 337832 kB Active(anon): 268420 kB Inactive(anon): 44124 kB Active(file): 315680 kB Inactive(file): 293708 kB Unevictable: 109496 kB Mlocked: 109496 kB SwapTotal: 67108860 kB SwapFree: 66981412 kB Dirty: 8596 kB Writeback: 0 kB AnonPages: 373172 kB Mapped: 46592 kB Shmem: 21844 kB Slab: 130020 kB SReclaimable: 101072 kB SUnreclaim: 28948 kB KernelStack: 3952 kB PageTables: 6304 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1234116 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 303104 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= 61032 MiB End job on node121 at 2019-09-13 15:56:56