Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
AbsCon 2019-07-23 | OPT | 29 | 34.0841 | 30.8614 |
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 | 19.3211 |
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.37/1.88 2.37/1.88 AbsCon 2 2.61/1.90 2.89/2.06 Instance 2.89/2.06 name=instance-4391173-1568389921, framework=COP, bounds=-infty..+infty 2.89/2.06 2.89/2.06 Loading variables... 3.16/2.12 Loading constraints...[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5e1f3d9d 3.44/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@430c0ea6 3.44/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23ec7db6 3.44/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4f0f0e41 3.44/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23b7a7b6 3.44/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@524c6fa8 3.44/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1c43dc46 3.44/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7852ec4c 3.44/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4293c57e 3.44/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@731f1ce6 3.44/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6b89af71 3.44/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@79bef6ee 3.44/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1ff7f21 3.44/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@14cd1996 3.44/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@149486b8 3.44/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@26406dd8 3.44/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3fc154c5 3.44/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2eb6c751 3.44/2.28 3.44/2.28 3.44/2.28 Domains 3.44/2.28 nTypes=37, nValues=929, sizes=[2#191,3#2,4#1,5#2...31#1,33#1,35#1,37#1] 3.44/2.28 Variables 3.44/2.28 count=226, degrees=[2#207,18#19] 3.44/2.28 Objectives 3.44/2.28 way=min, type=SumSimpleLE 3.44/2.28 Constraints 3.44/2.28 count=208, nSpecific=19, arities=[2#19,3#172,4#1,5#1...16#1,17#1,18#2,19#1] 3.44/2.28 distribution=[CtrIntension#189,SumSimpleLE#1,SumWeightedEQ#18] 3.44/2.28 nIntStructures=(19,shared:170), nCftStructures=(19,shared:170,unbuilt:19) 3.44/2.28 wck=0.424, cpu=2.231, mem=31M797 3.44/2.28 Solver SolverBacktrack being built... 3.44/2.28 3.76/2.30 3.76/2.30 Solver 3.76/2.30 guaranteedGAC=false 3.76/2.30 wck=0.454, cpu=2.259, mem=42M440 3.76/2.31 3.76/2.31 Preprocessing 3.76/2.31 filters=0, ccks=4757, nACremovedValues=0, nTotalRemovedValues=0, inconcistency=false 3.76/2.31 wck=0.005, cpu=2.265, mem=42M440 3.76/2.31 3.76/2.33 o 2109 3.76/2.33 num=0, depth=227..225, filters=432, revisions=(702,useless=441), ccks=9867, wck=0.03, mem=42M440 3.76/2.33 decisions=19, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=1, bestBound=2109 3.76/2.33 3.76/2.36 o 1497 3.76/2.36 num=1, depth=0..225, filters=851, revisions=(1430,useless=913), ccks=11459, wck=0.052, mem=42M440 3.76/2.36 decisions=40, wrong=1, backtracks=0, failedAssignments=1, foundSolutions=2, bestBound=1497 3.76/2.36 3.76/2.36 o 1021 3.76/2.36 num=2, depth=18..225, filters=1307, revisions=(2240,useless=1439), ccks=13226, wck=0.061, mem=42M440 3.76/2.36 decisions=60, wrong=2, backtracks=0, failedAssignments=2, nogoods=1, foundSolutions=3, bestBound=1021 3.76/2.36 3.76/2.37 num=3, depth=11..20, filters=1379, revisions=(2794,useless=1946), ccks=14519, wck=0.064, mem=42M440 3.76/2.37 decisions=114, wrong=24, backtracks=11, failedAssignments=13, nogoods=2, foundSolutions=3, bestBound=1021 3.76/2.37 3.76/2.37 num=4, depth=18..22, filters=1561, revisions=(3973,useless=2980), ccks=16567, wck=0.068, mem=45M82 3.76/2.37 decisions=174, wrong=45, backtracks=26, failedAssignments=24, nogoods=4, foundSolutions=3, bestBound=1021 3.76/2.37 3.76/2.38 num=5, depth=20..25, filters=2367, revisions=(8833,useless=7112), ccks=23107, wck=0.076, mem=45M82 3.76/2.38 decisions=242, wrong=69, backtracks=38, failedAssignments=36, nogoods=6, foundSolutions=3, bestBound=1021 3.76/2.38 3.76/2.38 num=6, depth=12..24, filters=2864, revisions=(9976,useless=7862), ccks=25104, wck=0.079, mem=45M82 3.76/2.38 decisions=305, wrong=93, backtracks=49, failedAssignments=49, nogoods=8, foundSolutions=3, bestBound=1021 3.76/2.38 3.76/2.39 o 969 3.76/2.39 num=7, depth=227..225, filters=3230, revisions=(11190,useless=8837), ccks=27122, wck=0.084, mem=45M82 3.76/2.39 decisions=325, wrong=93, backtracks=49, failedAssignments=49, nogoods=8, foundSolutions=4, bestBound=969 3.76/2.39 3.76/2.39 o 665 3.76/2.39 num=8, depth=19..225, filters=3712, revisions=(12553,useless=9877), ccks=28934, wck=0.089, mem=45M82 3.76/2.39 decisions=348, wrong=95, backtracks=50, failedAssignments=50, nogoods=9, foundSolutions=5, bestBound=665 3.76/2.39 4.06/2.40 num=9, depth=6..11, filters=4359, revisions=(16455,useless=13274), ccks=33800, wck=0.095, mem=45M82 4.06/2.40 decisions=396, wrong=116, backtracks=65, failedAssignments=61, nogoods=11, foundSolutions=5, bestBound=665 4.06/2.40 4.06/2.40 o 217 4.06/2.41 num=10, depth=18..225, filters=4746, revisions=(17552,useless=14118), ccks=36609, wck=0.1, mem=45M82 4.06/2.41 decisions=420, wrong=118, backtracks=65, failedAssignments=63, nogoods=13, foundSolutions=6, bestBound=217 4.06/2.41 4.06/2.41 o 177 4.06/2.41 num=11, depth=18..225, filters=5274, revisions=(18861,useless=15068), ccks=38919, wck=0.105, mem=45M82 4.06/2.41 decisions=445, wrong=122, backtracks=67, failedAssignments=65, nogoods=15, foundSolutions=7, bestBound=177 4.06/2.41 4.06/2.41 o 125 4.06/2.41 num=12, depth=5..225, filters=5710, revisions=(20323,useless=16229), ccks=41754, wck=0.11, mem=45M82 4.06/2.41 decisions=475, wrong=127, backtracks=69, failedAssignments=68, nogoods=17, foundSolutions=8, bestBound=125 4.06/2.41 4.06/2.42 o 121 4.06/2.42 num=13, depth=16..225, filters=6491, revisions=(22052,useless=17395), ccks=44946, wck=0.116, mem=45M82 4.06/2.42 decisions=505, wrong=134, backtracks=73, failedAssignments=73, nogoods=21, foundSolutions=9, bestBound=121 4.06/2.42 4.06/2.43 o 109 4.06/2.43 num=14, depth=15..225, filters=7073, revisions=(23516,useless=18436), ccks=47417, wck=0.122, mem=45M82 4.06/2.43 decisions=536, wrong=141, backtracks=76, failedAssignments=77, nogoods=23, foundSolutions=10, bestBound=109 4.06/2.43 4.06/2.43 num=15, depth=15..20, filters=8370, revisions=(25483,useless=19467), ccks=51664, wck=0.129, mem=45M82 4.06/2.43 decisions=595, wrong=163, backtracks=89, failedAssignments=88, nogoods=26, foundSolutions=10, bestBound=109 4.06/2.43 4.06/2.44 o 97 4.06/2.45 num=16, depth=15..225, filters=8925, revisions=(26764,useless=20354), ccks=53623, wck=0.133, mem=45M82 4.06/2.45 decisions=624, wrong=169, backtracks=91, failedAssignments=92, nogoods=28, foundSolutions=11, bestBound=97 4.06/2.45 4.06/2.45 o 73 4.06/2.45 num=17, depth=17..225, filters=9483, revisions=(28044,useless=21233), ccks=55397, wck=0.138, mem=45M82 4.06/2.45 decisions=652, wrong=175, backtracks=94, failedAssignments=95, nogoods=31, foundSolutions=12, bestBound=73 4.06/2.45 4.06/2.45 num=18, depth=14..19, filters=10668, revisions=(29905,useless=22206), ccks=58442, wck=0.144, mem=45M82 4.06/2.45 decisions=708, wrong=196, backtracks=108, failedAssignments=106, nogoods=33, foundSolutions=12, bestBound=73 4.06/2.45 4.06/2.45 num=19, depth=14..19, filters=11908, revisions=(31948,useless=23304), ccks=61640, wck=0.15, mem=45M82 4.06/2.45 decisions=769, wrong=218, backtracks=121, failedAssignments=117, nogoods=39, foundSolutions=12, bestBound=73 4.06/2.45 4.06/2.46 num=20, depth=15..19, filters=13277, revisions=(33893,useless=24273), ccks=64725, wck=0.156, mem=47M725 4.06/2.46 decisions=826, wrong=239, backtracks=134, failedAssignments=129, nogoods=43, foundSolutions=12, bestBound=73 4.06/2.46 4.06/2.46 num=21, depth=14..20, filters=14270, revisions=(35476,useless=25100), ccks=67118, wck=0.16, mem=47M725 4.06/2.46 decisions=885, wrong=260, backtracks=144, failedAssignments=142, nogoods=46, foundSolutions=12, bestBound=73 4.06/2.46 4.06/2.47 o 65 4.06/2.47 num=22, depth=14..225, filters=15108, revisions=(37119,useless=26142), ccks=69281, wck=0.165, mem=47M725 4.06/2.47 decisions=916, wrong=268, backtracks=147, failedAssignments=148, nogoods=50, foundSolutions=13, bestBound=65 4.06/2.47 4.06/2.47 o 49 4.06/2.47 num=23, depth=17..225, filters=15472, revisions=(38112,useless=26864), ccks=70587, wck=0.169, mem=47M725 4.06/2.47 decisions=937, wrong=269, backtracks=147, failedAssignments=149, nogoods=51, foundSolutions=14, bestBound=49 4.06/2.47 4.06/2.48 num=24, depth=13..19, filters=16571, revisions=(40042,useless=27913), ccks=72985, wck=0.174, mem=47M725 4.06/2.48 decisions=993, wrong=290, backtracks=157, failedAssignments=160, nogoods=53, foundSolutions=14, bestBound=49 4.06/2.48 4.06/2.48 num=25, depth=14..19, filters=17755, revisions=(41791,useless=28806), ccks=75328, wck=0.179, mem=47M725 4.06/2.48 decisions=1043, wrong=308, backtracks=169, failedAssignments=171, nogoods=55, foundSolutions=14, bestBound=49 4.06/2.48 4.06/2.49 num=26, depth=14..19, filters=18888, revisions=(43593,useless=29765), ccks=77477, wck=0.183, mem=47M725 4.06/2.49 decisions=1092, wrong=325, backtracks=178, failedAssignments=183, nogoods=60, foundSolutions=14, bestBound=49 4.06/2.49 4.06/2.49 num=27, depth=14..19, filters=20123, revisions=(45742,useless=30916), ccks=80000, wck=0.188, mem=47M725 4.06/2.49 decisions=1152, wrong=348, backtracks=195, failedAssignments=196, nogoods=64, foundSolutions=14, bestBound=49 4.06/2.49 4.38/2.50 num=28, depth=14..18, filters=21321, revisions=(47665,useless=31917), ccks=82362, wck=0.193, mem=47M725 4.38/2.50 decisions=1210, wrong=370, backtracks=208, failedAssignments=210, nogoods=67, foundSolutions=14, bestBound=49 4.38/2.50 4.38/2.50 num=29, depth=13..18, filters=23214, revisions=(50289,useless=33118), ccks=85959, wck=0.201, mem=47M725 4.38/2.50 decisions=1285, wrong=400, backtracks=225, failedAssignments=226, nogoods=69, foundSolutions=14, bestBound=49 4.38/2.50 4.38/2.51 num=30, depth=13..21, filters=25150, revisions=(53065,useless=34414), ccks=89713, wck=0.207, mem=47M725 4.38/2.51 decisions=1355, wrong=428, backtracks=243, failedAssignments=243, nogoods=73, foundSolutions=14, bestBound=49 4.38/2.51 4.38/2.52 num=31, depth=13..20, filters=28024, revisions=(56897,useless=36083), ccks=94766, wck=0.218, mem=47M725 4.38/2.52 decisions=1435, wrong=461, backtracks=268, failedAssignments=262, nogoods=76, foundSolutions=14, bestBound=49 4.38/2.52 4.38/2.53 num=32, depth=13..17, filters=30321, revisions=(60092,useless=37480), ccks=98765, wck=0.226, mem=47M725 4.38/2.53 decisions=1523, wrong=498, backtracks=293, failedAssignments=283, nogoods=80, foundSolutions=14, bestBound=49 4.38/2.53 4.38/2.54 num=33, depth=13..18, filters=32052, revisions=(62471,useless=38537), ccks=101897, wck=0.232, mem=47M725 4.38/2.54 decisions=1607, wrong=533, backtracks=311, failedAssignments=306, nogoods=85, foundSolutions=14, bestBound=49 4.38/2.54 4.38/2.54 num=34, depth=13..17, filters=34258, revisions=(65658,useless=39926), ccks=105598, wck=0.239, mem=47M725 4.38/2.54 decisions=1692, wrong=569, backtracks=330, failedAssignments=331, nogoods=94, foundSolutions=14, bestBound=49 4.38/2.54 4.38/2.55 num=35, depth=11..17, filters=37177, revisions=(69623,useless=41700), ccks=110724, wck=0.249, mem=47M725 4.38/2.55 decisions=1784, wrong=609, backtracks=361, failedAssignments=359, nogoods=97, foundSolutions=14, bestBound=49 4.38/2.55 4.38/2.56 num=36, depth=11..18, filters=40518, revisions=(74031,useless=43610), ccks=116187, wck=0.261, mem=47M725 4.38/2.56 decisions=1889, wrong=655, backtracks=398, failedAssignments=390, nogoods=102, foundSolutions=14, bestBound=49 4.38/2.56 4.38/2.58 num=37, depth=11..18, filters=44271, revisions=(78814,useless=45556), ccks=122409, wck=0.273, mem=47M725 4.38/2.58 decisions=2013, wrong=711, backtracks=436, failedAssignments=424, nogoods=107, foundSolutions=14, bestBound=49 4.38/2.58 4.38/2.59 num=38, depth=10..18, filters=47248, revisions=(83225,useless=47832), ccks=128553, wck=0.284, mem=50M367 4.38/2.59 decisions=2147, wrong=772, backtracks=486, failedAssignments=461, nogoods=113, foundSolutions=14, bestBound=49 4.38/2.59 4.69/2.60 num=39, depth=11..17, filters=51555, revisions=(88787,useless=50123), ccks=135716, wck=0.298, mem=50M367 4.69/2.60 decisions=2285, wrong=835, backtracks=531, failedAssignments=502, nogoods=117, foundSolutions=14, bestBound=49 4.69/2.60 4.69/2.62 num=40, depth=11..18, filters=56263, revisions=(95094,useless=52763), ccks=143353, wck=0.312, mem=50M367 4.69/2.62 decisions=2432, wrong=902, backtracks=573, failedAssignments=547, nogoods=124, foundSolutions=14, bestBound=49 4.69/2.62 4.69/2.63 num=41, depth=11..17, filters=60347, revisions=(100784,useless=55209), ccks=150413, wck=0.324, mem=50M367 4.69/2.63 decisions=2589, wrong=974, backtracks=617, failedAssignments=597, nogoods=132, foundSolutions=14, bestBound=49 4.69/2.63 4.69/2.64 num=42, depth=11..19, filters=65500, revisions=(107556,useless=58016), ccks=159495, wck=0.339, mem=50M367 4.69/2.64 decisions=2765, wrong=1056, backtracks=679, failedAssignments=652, nogoods=137, foundSolutions=14, bestBound=49 4.69/2.64 4.69/2.67 num=43, depth=10..20, filters=73596, revisions=(117622,useless=61996), ccks=171849, wck=0.362, mem=50M367 4.69/2.67 decisions=2988, wrong=1161, backtracks=756, failedAssignments=713, nogoods=140, foundSolutions=14, bestBound=49 4.69/2.67 4.69/2.68 num=44, depth=11..19, filters=79237, revisions=(125250,useless=65238), ccks=181557, wck=0.379, mem=50M367 4.69/2.68 decisions=3196, wrong=1259, backtracks=827, failedAssignments=780, nogoods=145, foundSolutions=14, bestBound=49 4.69/2.68 4.99/2.70 num=45, depth=10..19, filters=85238, revisions=(134009,useless=69592), ccks=193960, wck=0.4, mem=50M367 4.99/2.70 decisions=3488, wrong=1399, backtracks=941, failedAssignments=854, nogoods=152, foundSolutions=14, bestBound=49 4.99/2.70 4.99/2.74 num=46, depth=10..19, filters=99020, revisions=(157897,useless=83073), ccks=224657, wck=0.437, mem=53M10 4.99/2.74 decisions=3786, wrong=1542, backtracks=1056, failedAssignments=935, nogoods=158, foundSolutions=14, bestBound=49 4.99/2.74 4.99/2.76 num=47, depth=10..19, filters=103772, revisions=(167807,useless=89056), ccks=235308, wck=0.454, mem=53M10 4.99/2.76 decisions=4195, wrong=1741, backtracks=1238, failedAssignments=1024, nogoods=161, foundSolutions=14, bestBound=49 4.99/2.76 5.29/2.81 num=48, depth=8..18, filters=123553, revisions=(206895,useless=112727), ccks=287167, wck=0.507, mem=53M10 5.29/2.81 decisions=4581, wrong=1928, backtracks=1392, failedAssignments=1122, nogoods=164, foundSolutions=14, bestBound=49 5.29/2.81 5.29/2.86 num=49, depth=8..19, filters=145135, revisions=(245064,useless=134682), ccks=340634, wck=0.56, mem=53M10 5.29/2.86 decisions=4990, wrong=2127, backtracks=1553, failedAssignments=1230, nogoods=166, foundSolutions=14, bestBound=49 5.29/2.86 5.59/2.91 num=50, depth=8..17, filters=166842, revisions=(283409,useless=156852), ccks=394369, wck=0.602, mem=53M10 5.59/2.91 decisions=5416, wrong=2335, backtracks=1718, failedAssignments=1349, nogoods=169, foundSolutions=14, bestBound=49 5.59/2.91 5.59/2.95 num=51, depth=8..18, filters=192091, revisions=(327734,useless=182341), ccks=453609, wck=0.646, mem=53M10 5.59/2.95 decisions=5910, wrong=2577, backtracks=1919, failedAssignments=1480, nogoods=174, foundSolutions=14, bestBound=49 5.59/2.95 5.59/2.98 num=52, depth=10..18, filters=213799, revisions=(357312,useless=196277), ccks=494333, wck=0.679, mem=53M10 5.59/2.98 decisions=6451, wrong=2841, backtracks=2114, failedAssignments=1624, nogoods=178, foundSolutions=14, bestBound=49 5.59/2.98 5.85/3.02 num=53, depth=10..18, filters=234370, revisions=(389772,useless=213344), ccks=534234, wck=0.712, mem=53M10 5.85/3.02 decisions=6987, wrong=3103, backtracks=2309, failedAssignments=1782, nogoods=186, foundSolutions=14, bestBound=49 5.85/3.02 5.85/3.05 num=54, depth=9..26, filters=255868, revisions=(425428,useless=231638), ccks=575265, wck=0.745, mem=53M10 5.85/3.05 decisions=7641, wrong=3424, backtracks=2527, failedAssignments=1956, nogoods=193, foundSolutions=14, bestBound=49 5.85/3.05 5.85/3.07 o 37 5.85/3.08 num=55, depth=11..225, filters=274075, revisions=(448763,useless=241805), ccks=609828, wck=0.771, mem=53M10 5.85/3.08 decisions=8114, wrong=3653, backtracks=2690, failedAssignments=2079, nogoods=199, foundSolutions=15, bestBound=37 5.85/3.08 6.08/3.11 num=56, depth=11..21, filters=299515, revisions=(485316,useless=259063), ccks=656372, wck=0.808, mem=53M10 6.08/3.11 decisions=8957, wrong=4069, backtracks=3003, failedAssignments=2290, nogoods=206, foundSolutions=15, bestBound=37 6.08/3.11 6.08/3.11 num=57, depth=9..15, filters=300039, revisions=(486621,useless=259933), ccks=658089, wck=0.809, mem=53M10 6.08/3.11 decisions=9001, wrong=4086, backtracks=3014, failedAssignments=2301, nogoods=209, foundSolutions=15, bestBound=37 6.08/3.11 6.08/3.12 num=58, depth=11..17, filters=301287, revisions=(488575,useless=260864), ccks=660426, wck=0.812, mem=53M10 6.08/3.12 decisions=9054, wrong=4107, backtracks=3029, failedAssignments=2313, nogoods=210, foundSolutions=15, bestBound=37 6.08/3.12 6.08/3.12 num=59, depth=11..16, filters=302517, revisions=(490652,useless=261953), ccks=662579, wck=0.814, mem=53M10 6.08/3.12 decisions=9107, wrong=4128, backtracks=3042, failedAssignments=2326, nogoods=213, foundSolutions=15, bestBound=37 6.08/3.12 6.08/3.12 num=60, depth=6..11, filters=303259, revisions=(492856,useless=263591), ccks=665079, wck=0.816, mem=53M10 6.08/3.12 decisions=9172, wrong=4157, backtracks=3064, failedAssignments=2340, nogoods=217, foundSolutions=15, bestBound=37 6.08/3.12 6.08/3.12 num=61, depth=10..17, filters=305080, revisions=(495659,useless=264952), ccks=668177, wck=0.819, mem=53M10 6.08/3.12 decisions=9241, wrong=4186, backtracks=3087, failedAssignments=2356, nogoods=219, foundSolutions=15, bestBound=37 6.08/3.12 6.08/3.13 num=62, depth=11..19, filters=307527, revisions=(499145,useless=266523), ccks=672483, wck=0.823, mem=53M10 6.08/3.13 decisions=9320, wrong=4220, backtracks=3113, failedAssignments=2373, nogoods=224, foundSolutions=15, bestBound=37 6.08/3.13 6.08/3.13 num=63, depth=11..16, filters=309912, revisions=(502586,useless=268111), ccks=676323, wck=0.827, mem=53M10 6.08/3.13 decisions=9399, wrong=4253, backtracks=3138, failedAssignments=2392, nogoods=228, foundSolutions=15, bestBound=37 6.08/3.13 6.08/3.13 num=64, depth=12..18, filters=311534, revisions=(505282,useless=269506), ccks=679036, wck=0.83, mem=53M10 6.08/3.13 decisions=9469, wrong=4282, backtracks=3161, failedAssignments=2413, nogoods=230, foundSolutions=15, bestBound=37 6.08/3.13 6.08/3.14 num=65, depth=11..17, filters=313699, revisions=(508341,useless=270904), ccks=682643, wck=0.833, mem=53M10 6.08/3.14 decisions=9548, wrong=4315, backtracks=3183, failedAssignments=2436, nogoods=237, foundSolutions=15, bestBound=37 6.08/3.14 6.08/3.14 num=66, depth=11..19, filters=315966, revisions=(511926,useless=272724), ccks=686471, wck=0.837, mem=53M10 6.08/3.14 decisions=9630, wrong=4350, backtracks=3215, failedAssignments=2461, nogoods=240, foundSolutions=15, bestBound=37 6.08/3.14 6.08/3.14 num=67, depth=11..18, filters=318370, revisions=(515305,useless=274191), ccks=690309, wck=0.84, mem=55M652 6.08/3.14 decisions=9732, wrong=4395, backtracks=3246, failedAssignments=2489, nogoods=245, foundSolutions=15, bestBound=37 6.08/3.14 6.08/3.15 num=68, depth=11..18, filters=321525, revisions=(520027,useless=276506), ccks=695713, wck=0.845, mem=55M652 6.08/3.15 decisions=9836, wrong=4441, backtracks=3284, failedAssignments=2520, nogoods=251, foundSolutions=15, bestBound=37 6.08/3.15 6.08/3.15 num=69, depth=11..17, filters=324709, revisions=(524634,useless=278557), ccks=700684, wck=0.85, mem=55M652 6.08/3.15 decisions=9951, wrong=4492, backtracks=3317, failedAssignments=2554, nogoods=259, foundSolutions=15, bestBound=37 6.08/3.15 6.08/3.16 num=70, depth=11..16, filters=328385, revisions=(529779,useless=280742), ccks=706431, wck=0.855, mem=55M652 6.08/3.16 decisions=10077, wrong=4549, backtracks=3353, failedAssignments=2591, nogoods=267, foundSolutions=15, bestBound=37 6.08/3.16 6.08/3.17 num=71, depth=11..18, filters=332519, revisions=(535827,useless=283527), ccks=713463, wck=0.862, mem=55M652 6.08/3.17 decisions=10224, wrong=4617, backtracks=3409, failedAssignments=2632, nogoods=272, foundSolutions=15, bestBound=37 6.08/3.17 6.08/3.17 num=72, depth=11..18, filters=335860, revisions=(540663,useless=285633), ccks=719229, wck=0.867, mem=55M652 6.08/3.17 decisions=10371, wrong=4685, backtracks=3452, failedAssignments=2677, nogoods=273, foundSolutions=15, bestBound=37 6.08/3.17 6.08/3.18 num=73, depth=11..17, filters=340760, revisions=(547395,useless=288578), ccks=727276, wck=0.874, mem=55M652 6.08/3.18 decisions=10542, wrong=4765, backtracks=3513, failedAssignments=2727, nogoods=278, foundSolutions=15, bestBound=37 6.08/3.18 6.08/3.18 num=74, depth=11..28, filters=345202, revisions=(553484,useless=290920), ccks=734057, wck=0.88, mem=55M652 6.08/3.18 decisions=10723, wrong=4849, backtracks=3558, failedAssignments=2782, nogoods=281, foundSolutions=15, bestBound=37 6.08/3.18 6.08/3.19 num=75, depth=10..18, filters=351321, revisions=(562262,useless=294854), ccks=744357, wck=0.89, mem=55M652 6.08/3.19 decisions=10941, wrong=4951, backtracks=3642, failedAssignments=2843, nogoods=283, foundSolutions=15, bestBound=37 6.08/3.19 6.22/3.20 num=76, depth=10..17, filters=358485, revisions=(571863,useless=298801), ccks=755724, wck=0.9, mem=55M652 6.22/3.20 decisions=11173, wrong=5061, backtracks=3719, failedAssignments=2910, nogoods=287, foundSolutions=15, bestBound=37 6.22/3.20 6.22/3.21 num=77, depth=10..19, filters=365041, revisions=(580798,useless=302603), ccks=766613, wck=0.909, mem=55M652 6.22/3.21 decisions=11428, wrong=5182, backtracks=3803, failedAssignments=2984, nogoods=292, foundSolutions=15, bestBound=37 6.22/3.21 6.22/3.22 num=78, depth=4..15, filters=369386, revisions=(591302,useless=309672), ccks=779680, wck=0.918, mem=55M652 6.22/3.22 decisions=11752, wrong=5341, backtracks=3914, failedAssignments=3065, nogoods=296, foundSolutions=15, bestBound=37 6.22/3.22 6.22/3.24 num=79, depth=9..24, filters=379833, revisions=(605366,useless=315572), ccks=796831, wck=0.932, mem=55M652 6.22/3.24 decisions=12073, wrong=5496, backtracks=4027, failedAssignments=3154, nogoods=305, foundSolutions=15, bestBound=37 6.22/3.24 6.22/3.25 num=80, depth=10..19, filters=389986, revisions=(618654,useless=320899), ccks=812487, wck=0.946, mem=55M652 6.22/3.25 decisions=12414, wrong=5661, backtracks=4139, failedAssignments=3252, nogoods=312, foundSolutions=15, bestBound=37 6.22/3.25 6.22/3.26 num=81, depth=4..17, filters=395076, revisions=(628880,useless=327336), ccks=824605, wck=0.956, mem=55M652 6.22/3.26 decisions=12826, wrong=5864, backtracks=4329, failedAssignments=3360, nogoods=315, foundSolutions=15, bestBound=37 6.22/3.26 6.22/3.28 num=82, depth=11..28, filters=408855, revisions=(653981,useless=340552), ccks=852533, wck=0.976, mem=55M652 6.22/3.28 decisions=13371, wrong=6131, backtracks=4528, failedAssignments=3479, nogoods=320, foundSolutions=15, bestBound=37 6.22/3.28 6.32/3.30 num=83, depth=7..28, filters=422905, revisions=(682077,useless=356667), ccks=885783, wck=1.0, mem=55M652 6.32/3.30 decisions=13996, wrong=6437, backtracks=4751, failedAssignments=3610, nogoods=325, foundSolutions=15, bestBound=37 6.32/3.30 6.32/3.33 num=84, depth=9..26, filters=438847, revisions=(706290,useless=367392), ccks=913905, wck=1.023, mem=55M652 6.32/3.33 decisions=14557, wrong=6711, backtracks=4952, failedAssignments=3754, nogoods=332, foundSolutions=15, bestBound=37 6.32/3.33 6.32/3.36 num=85, depth=8..24, filters=463587, revisions=(746657,useless=388305), ccks=963080, wck=1.061, mem=55M652 6.32/3.36 decisions=15201, wrong=7026, backtracks=5209, failedAssignments=3912, nogoods=340, foundSolutions=15, bestBound=37 6.32/3.36 6.32/3.39 num=86, depth=9..21, filters=482180, revisions=(772287,useless=399669), ccks=993950, wck=1.088, mem=55M652 6.32/3.39 decisions=15795, wrong=7318, backtracks=5457, failedAssignments=4086, nogoods=346, foundSolutions=15, bestBound=37 6.32/3.39 6.44/3.42 num=87, depth=9..19, filters=502285, revisions=(798255,useless=410446), ccks=1026303, wck=1.115, mem=55M652 6.44/3.42 decisions=16409, wrong=7620, backtracks=5706, failedAssignments=4277, nogoods=352, foundSolutions=15, bestBound=37 6.44/3.42 6.44/3.45 num=88, depth=9..19, filters=523184, revisions=(825352,useless=421474), ccks=1059309, wck=1.144, mem=55M652 6.44/3.45 decisions=17112, wrong=7966, backtracks=5948, failedAssignments=4488, nogoods=356, foundSolutions=15, bestBound=37 6.44/3.45 6.44/3.48 num=89, depth=10..20, filters=543249, revisions=(854826,useless=435318), ccks=1095849, wck=1.172, mem=55M652 6.44/3.48 decisions=17927, wrong=8368, backtracks=6243, failedAssignments=4720, nogoods=360, foundSolutions=15, bestBound=37 6.44/3.48 6.54/3.51 num=90, depth=9..20, filters=568499, revisions=(889625,useless=450360), ccks=1139131, wck=1.207, mem=55M652 6.54/3.51 decisions=18839, wrong=8818, backtracks=6565, failedAssignments=4975, nogoods=367, foundSolutions=15, bestBound=37 6.54/3.51 6.54/3.56 num=91, depth=9..22, filters=602099, revisions=(936610,useless=471598), ccks=1196087, wck=1.254, mem=55M652 6.54/3.56 decisions=19864, wrong=9325, backtracks=6932, failedAssignments=5256, nogoods=372, foundSolutions=15, bestBound=37 6.54/3.56 6.64/3.61 num=92, depth=9..22, filters=642198, revisions=(993033,useless=497326), ccks=1266046, wck=1.311, mem=55M652 6.64/3.61 decisions=21039, wrong=9906, backtracks=7362, failedAssignments=5565, nogoods=377, foundSolutions=15, bestBound=37 6.64/3.61 6.64/3.67 num=93, depth=9..24, filters=682780, revisions=(1047380,useless=519778), ccks=1330455, wck=1.366, mem=55M652 6.64/3.67 decisions=22304, wrong=10533, backtracks=7822, failedAssignments=5905, nogoods=385, foundSolutions=15, bestBound=37 6.64/3.67 6.74/3.73 num=94, depth=8..20, filters=725670, revisions=(1101228,useless=540975), ccks=1397452, wck=1.423, mem=55M652 6.74/3.73 decisions=23658, wrong=11205, backtracks=8324, failedAssignments=6279, nogoods=390, foundSolutions=15, bestBound=37 6.74/3.73 6.74/3.79 num=95, depth=8..23, filters=771440, revisions=(1160176,useless=564975), ccks=1470172, wck=1.485, mem=55M652 6.74/3.79 decisions=25137, wrong=11940, backtracks=8841, failedAssignments=6690, nogoods=395, foundSolutions=15, bestBound=37 6.74/3.79 6.84/3.86 num=96, depth=8..24, filters=820960, revisions=(1231059,useless=595817), ccks=1555042, wck=1.552, mem=55M652 6.84/3.86 decisions=26872, wrong=12802, backtracks=9479, failedAssignments=7142, nogoods=403, foundSolutions=15, bestBound=37 6.84/3.86 6.95/3.93 num=97, depth=7..27, filters=878303, revisions=(1303570,useless=624670), ccks=1645598, wck=1.628, mem=55M652 6.95/3.93 decisions=28712, wrong=13716, backtracks=10115, failedAssignments=7639, nogoods=412, foundSolutions=15, bestBound=37 6.95/3.93 7.07/4.01 num=98, depth=8..24, filters=939556, revisions=(1385254,useless=658441), ccks=1748025, wck=1.71, mem=55M652 7.07/4.01 decisions=30682, wrong=14696, backtracks=10818, failedAssignments=8186, nogoods=421, foundSolutions=15, bestBound=37 7.07/4.01 7.07/4.10 num=99, depth=8..26, filters=1001444, revisions=(1466445,useless=691403), ccks=1847588, wck=1.792, mem=55M652 7.07/4.10 decisions=32838, wrong=15769, backtracks=11620, failedAssignments=8788, nogoods=427, foundSolutions=15, bestBound=37 7.07/4.10 7.17/4.19 num=100, depth=8..21, filters=1072343, revisions=(1554534,useless=725391), ccks=1956840, wck=1.882, mem=55M652 7.17/4.19 decisions=35195, wrong=16942, backtracks=12448, failedAssignments=9450, nogoods=435, foundSolutions=15, bestBound=37 7.17/4.19 7.27/4.29 num=101, depth=3..26, filters=1140499, revisions=(1684268,useless=796358), ccks=2089183, wck=1.986, mem=55M652 7.27/4.29 decisions=38403, wrong=18539, backtracks=13637, failedAssignments=10178, nogoods=448, foundSolutions=15, bestBound=37 7.27/4.29 7.49/4.40 num=102, depth=7..27, filters=1222585, revisions=(1795122,useless=840958), ccks=2224237, wck=2.095, mem=55M652 7.49/4.40 decisions=41334, wrong=19999, backtracks=14704, failedAssignments=10979, nogoods=457, foundSolutions=15, bestBound=37 7.49/4.40 7.60/4.53 num=103, depth=7..20, filters=1324328, revisions=(1923727,useless=891533), ccks=2382381, wck=2.227, mem=55M652 7.60/4.53 decisions=44505, wrong=21579, backtracks=15862, failedAssignments=11860, nogoods=465, foundSolutions=15, bestBound=37 7.60/4.53 7.70/4.67 num=104, depth=7..26, filters=1430231, revisions=(2064369,useless=949311), ccks=2557687, wck=2.367, mem=55M652 7.70/4.67 decisions=48141, wrong=23392, backtracks=17175, failedAssignments=12830, nogoods=476, foundSolutions=15, bestBound=37 7.70/4.67 7.90/4.82 num=105, depth=7..23, filters=1547294, revisions=(2213731,useless=1008367), ccks=2747429, wck=2.52, mem=55M652 7.90/4.82 decisions=51971, wrong=25303, backtracks=18600, failedAssignments=13897, nogoods=483, foundSolutions=15, bestBound=37 7.90/4.82 8.00/4.95 o 33 8.00/4.95 num=106, depth=7..225, filters=1641688, revisions=(2337352,useless=1058925), ccks=2897642, wck=2.645, mem=55M652 8.00/4.95 decisions=55119, wrong=26871, backtracks=19734, failedAssignments=14776, nogoods=489, foundSolutions=16, bestBound=33 8.00/4.95 8.21/5.15 num=107, depth=7..21, filters=1791978, revisions=(2541672,useless=1148317), ccks=3151246, wck=2.848, mem=55M652 8.21/5.15 decisions=59803, wrong=29208, backtracks=21569, failedAssignments=16067, nogoods=496, foundSolutions=16, bestBound=33 8.21/5.15 8.21/5.15 num=108, depth=9..23, filters=1792650, revisions=(2543277,useless=1149331), ccks=3153284, wck=2.85, mem=55M652 8.21/5.15 decisions=59856, wrong=29226, backtracks=21581, failedAssignments=16078, nogoods=498, foundSolutions=16, bestBound=33 8.21/5.15 8.21/5.16 num=109, depth=10..16, filters=1793889, revisions=(2545361,useless=1150384), ccks=3155556, wck=2.852, mem=55M652 8.21/5.16 decisions=59909, wrong=29245, backtracks=21594, failedAssignments=16090, nogoods=501, foundSolutions=16, bestBound=33 8.21/5.16 8.21/5.16 num=110, depth=10..18, filters=1795155, revisions=(2547343,useless=1151317), ccks=3157733, wck=2.854, mem=55M652 8.21/5.16 decisions=59964, wrong=29267, backtracks=21607, failedAssignments=16103, nogoods=503, foundSolutions=16, bestBound=33 8.21/5.16 8.21/5.16 num=111, depth=10..17, filters=1797054, revisions=(2550233,useless=1152651), ccks=3160967, wck=2.857, mem=55M652 8.21/5.16 decisions=60035, wrong=29297, backtracks=21627, failedAssignments=16117, nogoods=506, foundSolutions=16, bestBound=33 8.21/5.16 8.21/5.16 num=112, depth=10..17, filters=1798592, revisions=(2552438,useless=1153661), ccks=3163684, wck=2.859, mem=55M652 8.21/5.16 decisions=60105, wrong=29326, backtracks=21644, failedAssignments=16133, nogoods=512, foundSolutions=16, bestBound=33 8.21/5.16 8.21/5.17 num=113, depth=10..23, filters=1800140, revisions=(2554839,useless=1154726), ccks=3166282, wck=2.862, mem=55M652 8.21/5.17 decisions=60174, wrong=29355, backtracks=21660, failedAssignments=16150, nogoods=514, foundSolutions=16, bestBound=33 8.21/5.17 8.21/5.17 num=114, depth=9..16, filters=1802162, revisions=(2558231,useless=1156399), ccks=3170343, wck=2.865, mem=55M652 8.21/5.17 decisions=60246, wrong=29385, backtracks=21679, failedAssignments=16169, nogoods=522, foundSolutions=16, bestBound=33 8.21/5.17 8.21/5.17 num=115, depth=9..19, filters=1803662, revisions=(2560831,useless=1157713), ccks=3173913, wck=2.868, mem=55M652 8.21/5.17 decisions=60327, wrong=29419, backtracks=21703, failedAssignments=16190, nogoods=528, foundSolutions=16, bestBound=33 8.21/5.17 8.21/5.18 num=116, depth=9..19, filters=1805770, revisions=(2564367,useless=1159425), ccks=3177799, wck=2.871, mem=55M652 8.21/5.18 decisions=60406, wrong=29452, backtracks=21722, failedAssignments=16213, nogoods=535, foundSolutions=16, bestBound=33 8.21/5.18 8.21/5.18 num=117, depth=9..25, filters=1807860, revisions=(2567843,useless=1161101), ccks=3181927, wck=2.875, mem=55M652 8.21/5.18 decisions=60507, wrong=29496, backtracks=21751, failedAssignments=16238, nogoods=538, foundSolutions=16, bestBound=33 8.21/5.18 8.21/5.18 num=118, depth=9..19, filters=1811065, revisions=(2572720,useless=1163284), ccks=3187399, wck=2.88, mem=55M652 8.21/5.18 decisions=60631, wrong=29553, backtracks=21792, failedAssignments=16266, nogoods=543, foundSolutions=16, bestBound=33 8.21/5.18 8.21/5.19 num=119, depth=9..24, filters=1814047, revisions=(2577059,useless=1165124), ccks=3192627, wck=2.884, mem=55M652 8.21/5.19 decisions=60760, wrong=29611, backtracks=21831, failedAssignments=16297, nogoods=548, foundSolutions=16, bestBound=33 8.21/5.19 8.21/5.19 num=120, depth=9..19, filters=1818250, revisions=(2583555,useless=1168166), ccks=3199991, wck=2.891, mem=55M652 8.21/5.19 decisions=60893, wrong=29672, backtracks=21878, failedAssignments=16331, nogoods=557, foundSolutions=16, bestBound=33 8.21/5.19 8.32/5.20 num=121, depth=9..23, filters=1821424, revisions=(2588444,useless=1170326), ccks=3205539, wck=2.895, mem=55M652 8.32/5.20 decisions=61039, wrong=29739, backtracks=21917, failedAssignments=16368, nogoods=563, foundSolutions=16, bestBound=33 8.32/5.20 8.32/5.21 num=122, depth=8..19, filters=1825323, revisions=(2594309,useless=1172973), ccks=3212151, wck=2.901, mem=55M652 8.32/5.21 decisions=61195, wrong=29813, backtracks=21974, failedAssignments=16409, nogoods=564, foundSolutions=16, bestBound=33 8.32/5.21 8.32/5.21 num=123, depth=10..26, filters=1828457, revisions=(2599453,useless=1175426), ccks=3218038, wck=2.906, mem=55M652 8.32/5.21 decisions=61371, wrong=29894, backtracks=22027, failedAssignments=16454, nogoods=567, foundSolutions=16, bestBound=33 8.32/5.21 8.32/5.22 num=124, depth=9..21, filters=1832580, revisions=(2605816,useless=1178270), ccks=3225620, wck=2.912, mem=55M652 8.32/5.22 decisions=61564, wrong=29984, backtracks=22092, failedAssignments=16504, nogoods=572, foundSolutions=16, bestBound=33 8.32/5.22 8.32/5.22 num=125, depth=9..19, filters=1838014, revisions=(2614369,useless=1182310), ccks=3235119, wck=2.921, mem=55M652 8.32/5.22 decisions=61770, wrong=30081, backtracks=22163, failedAssignments=16559, nogoods=581, foundSolutions=16, bestBound=33 8.32/5.22 8.32/5.23 num=126, depth=9..19, filters=1844088, revisions=(2622806,useless=1185792), ccks=3244580, wck=2.929, mem=55M652 8.32/5.23 decisions=61996, wrong=30189, backtracks=22240, failedAssignments=16620, nogoods=585, foundSolutions=16, bestBound=33 8.32/5.23 8.32/5.24 num=127, depth=8..18, filters=1851052, revisions=(2632337,useless=1189816), ccks=3256360, wck=2.94, mem=55M652 8.32/5.24 decisions=62236, wrong=30304, backtracks=22319, failedAssignments=16687, nogoods=592, foundSolutions=16, bestBound=33 8.32/5.24 8.32/5.25 num=128, depth=9..26, filters=1859188, revisions=(2643152,useless=1194088), ccks=3269524, wck=2.951, mem=55M652 8.32/5.25 decisions=62493, wrong=30427, backtracks=22412, failedAssignments=16761, nogoods=598, foundSolutions=16, bestBound=33 8.32/5.25 8.32/5.27 num=129, depth=10..18, filters=1867464, revisions=(2654419,useless=1198706), ccks=3282703, wck=2.963, mem=55M652 8.32/5.27 decisions=62766, wrong=30557, backtracks=22509, failedAssignments=16842, nogoods=604, foundSolutions=16, bestBound=33 8.32/5.27 8.32/5.28 num=130, depth=10..19, filters=1878153, revisions=(2669287,useless=1205117), ccks=3299709, wck=2.978, mem=58M295 8.32/5.28 decisions=63091, wrong=30713, backtracks=22636, failedAssignments=16931, nogoods=610, foundSolutions=16, bestBound=33 8.32/5.28 8.43/5.30 num=131, depth=9..17, filters=1888335, revisions=(2682727,useless=1210793), ccks=3316109, wck=2.993, mem=58M295 8.43/5.30 decisions=63414, wrong=30868, backtracks=22748, failedAssignments=17029, nogoods=616, foundSolutions=16, bestBound=33 8.43/5.30 8.43/5.31 num=132, depth=5..15, filters=1894367, revisions=(2697152,useless=1220157), ccks=3332558, wck=3.004, mem=58M295 8.43/5.31 decisions=63821, wrong=31068, backtracks=22902, failedAssignments=17137, nogoods=622, foundSolutions=16, bestBound=33 8.43/5.31 8.43/5.33 num=133, depth=10..17, filters=1908675, revisions=(2715919,useless=1227872), ccks=3355322, wck=3.023, mem=58M295 8.43/5.33 decisions=64257, wrong=31280, backtracks=23062, failedAssignments=17256, nogoods=629, foundSolutions=16, bestBound=33 8.43/5.33 8.43/5.34 num=134, depth=9..19, filters=1920238, revisions=(2732778,useless=1235964), ccks=3376230, wck=3.041, mem=58M295 8.43/5.34 decisions=64726, wrong=31509, backtracks=23247, failedAssignments=17387, nogoods=632, foundSolutions=16, bestBound=33 8.43/5.34 8.43/5.37 num=135, depth=9..18, filters=1935683, revisions=(2752903,useless=1244137), ccks=3399653, wck=3.062, mem=58M295 8.43/5.37 decisions=65217, wrong=31749, backtracks=23419, failedAssignments=17531, nogoods=639, foundSolutions=16, bestBound=33 8.43/5.37 8.43/5.39 num=136, depth=9..19, filters=1953566, revisions=(2777263,useless=1254698), ccks=3428696, wck=3.087, mem=58M295 8.43/5.39 decisions=65757, wrong=32013, backtracks=23629, failedAssignments=17689, nogoods=647, foundSolutions=16, bestBound=33 8.43/5.39 8.53/5.42 num=137, depth=9..19, filters=1970949, revisions=(2800366,useless=1263905), ccks=3456146, wck=3.112, mem=58M295 8.53/5.42 decisions=66360, wrong=32310, backtracks=23846, failedAssignments=17863, nogoods=651, foundSolutions=16, bestBound=33 8.53/5.42 8.53/5.44 num=138, depth=9..19, filters=1990870, revisions=(2826767,useless=1274670), ccks=3487788, wck=3.139, mem=58M295 8.53/5.44 decisions=67016, wrong=32632, backtracks=24084, failedAssignments=18054, nogoods=657, foundSolutions=16, bestBound=33 8.53/5.44 8.53/5.47 num=139, depth=9..19, filters=2013464, revisions=(2858106,useless=1287857), ccks=3523658, wck=3.171, mem=58M295 8.53/5.47 decisions=67734, wrong=32985, backtracks=24364, failedAssignments=18265, nogoods=663, foundSolutions=16, bestBound=33 8.53/5.47 8.63/5.51 num=140, depth=0..19, filters=2033174, revisions=(2891154,useless=1305572), ccks=3565272, wck=3.202, mem=58M295 8.63/5.51 decisions=68611, wrong=33418, backtracks=24678, failedAssignments=18497, nogoods=668, foundSolutions=16, bestBound=33 8.63/5.51 8.63/5.55 num=141, depth=8..28, filters=2061439, revisions=(2952322,useless=1341320), ccks=3630466, wck=3.249, mem=58M295 8.63/5.55 decisions=69858, wrong=34032, backtracks=25164, failedAssignments=18752, nogoods=673, foundSolutions=16, bestBound=33 8.63/5.55 8.73/5.60 num=142, depth=8..19, filters=2097373, revisions=(3001804,useless=1362476), ccks=3691647, wck=3.3, mem=58M295 8.73/5.60 decisions=70912, wrong=34553, backtracks=25579, failedAssignments=19033, nogoods=677, foundSolutions=16, bestBound=33 8.73/5.60 8.73/5.65 num=143, depth=8..19, filters=2133325, revisions=(3050366,useless=1383150), ccks=3749268, wck=3.35, mem=58M295 8.73/5.65 decisions=72024, wrong=35103, backtracks=25996, failedAssignments=19342, nogoods=681, foundSolutions=16, bestBound=33 8.73/5.65 8.83/5.71 num=144, depth=7..29, filters=2172088, revisions=(3101503,useless=1403988), ccks=3813439, wck=3.403, mem=58M295 8.83/5.71 decisions=73247, wrong=35709, backtracks=26455, failedAssignments=19682, nogoods=684, foundSolutions=16, bestBound=33 8.83/5.71 8.83/5.77 num=145, depth=8..23, filters=2216464, revisions=(3160875,useless=1428863), ccks=3883339, wck=3.466, mem=58M295 8.83/5.77 decisions=74570, wrong=36366, backtracks=26954, failedAssignments=20056, nogoods=691, foundSolutions=16, bestBound=33 8.83/5.77 8.93/5.83 num=146, depth=7..20, filters=2262186, revisions=(3221542,useless=1454261), ccks=3957544, wck=3.529, mem=58M295 8.93/5.83 decisions=76018, wrong=37084, backtracks=27499, failedAssignments=20467, nogoods=694, foundSolutions=16, bestBound=33 8.93/5.83 9.03/5.91 num=147, depth=7..20, filters=2316067, revisions=(3291965,useless=1483547), ccks=4043477, wck=3.602, mem=58M295 9.03/5.91 decisions=77693, wrong=37916, backtracks=28112, failedAssignments=20919, nogoods=698, foundSolutions=16, bestBound=33 9.03/5.91 9.03/5.99 num=148, depth=7..22, filters=2373766, revisions=(3368660,useless=1514973), ccks=4138050, wck=3.682, mem=58M295 9.03/5.99 decisions=79563, wrong=38845, backtracks=28783, failedAssignments=21416, nogoods=705, foundSolutions=16, bestBound=33 9.03/5.99 9.15/6.08 num=149, depth=7..22, filters=2439597, revisions=(3458749,useless=1553147), ccks=4244406, wck=3.774, mem=58M295 9.15/6.08 decisions=81584, wrong=39850, backtracks=29518, failedAssignments=21963, nogoods=711, foundSolutions=16, bestBound=33 9.15/6.08 9.24/6.18 num=150, depth=7..26, filters=2514462, revisions=(3561140,useless=1595900), ccks=4366497, wck=3.877, mem=58M295 9.24/6.18 decisions=83914, wrong=41010, backtracks=30420, failedAssignments=22565, nogoods=718, foundSolutions=16, bestBound=33 9.24/6.18 9.34/6.28 num=151, depth=7..27, filters=2588602, revisions=(3663049,useless=1639458), ccks=4488784, wck=3.978, mem=58M295 9.34/6.28 decisions=86430, wrong=42262, backtracks=31288, failedAssignments=23227, nogoods=724, foundSolutions=16, bestBound=33 9.34/6.28 9.44/6.39 num=152, depth=7..28, filters=2666308, revisions=(3773767,useless=1686283), ccks=4621041, wck=4.085, mem=58M295 9.44/6.39 decisions=89248, wrong=43666, backtracks=32299, failedAssignments=23955, nogoods=729, foundSolutions=16, bestBound=33 9.44/6.39 9.64/6.51 num=153, depth=7..21, filters=2755835, revisions=(3888742,useless=1732082), ccks=4761561, wck=4.204, mem=58M295 9.64/6.51 decisions=92190, wrong=45133, backtracks=33308, failedAssignments=24756, nogoods=742, foundSolutions=16, bestBound=33 9.64/6.51 9.74/6.65 num=154, depth=3..27, filters=2844827, revisions=(4097153,useless=1860116), ccks=4965338, wck=4.348, mem=58M295 9.74/6.65 decisions=96350, wrong=47209, backtracks=34861, failedAssignments=25637, nogoods=747, foundSolutions=16, bestBound=33 9.74/6.65 9.95/6.81 num=155, depth=5..25, filters=2957746, revisions=(4258234,useless=1930882), ccks=5163135, wck=4.507, mem=58M295 9.95/6.81 decisions=99966, wrong=49011, backtracks=36278, failedAssignments=26607, nogoods=752, foundSolutions=16, bestBound=33 9.95/6.81 10.15/7.01 num=156, depth=6..20, filters=3101181, revisions=(4462604,useless=2025309), ccks=5414335, wck=4.707, mem=58M295 10.15/7.01 decisions=103910, wrong=50977, backtracks=37945, failedAssignments=27674, nogoods=761, foundSolutions=16, bestBound=33 10.15/7.01 10.35/7.21 num=157, depth=6..27, filters=3244010, revisions=(4663117,useless=2113456), ccks=5657286, wck=4.909, mem=58M295 10.35/7.21 decisions=108193, wrong=53115, backtracks=39568, failedAssignments=28847, nogoods=766, foundSolutions=16, bestBound=33 10.35/7.21 10.35/7.27 o 29 10.35/7.27 num=158, depth=8..225, filters=3285920, revisions=(4721234,useless=2138789), ccks=5726210, wck=4.969, mem=58M295 10.35/7.27 decisions=109318, wrong=53671, backtracks=40010, failedAssignments=29148, nogoods=774, foundSolutions=17, bestBound=29 10.35/7.27 10.66/7.53 num=159, depth=6..25, filters=3467670, revisions=(4974496,useless=2250691), ccks=6036500, wck=5.224, mem=58M295 10.66/7.53 decisions=114861, wrong=56437, backtracks=42122, failedAssignments=30568, nogoods=779, foundSolutions=17, bestBound=29 10.66/7.53 10.66/7.53 num=160, depth=11..17, filters=3469302, revisions=(4977247,useless=2252118), ccks=6039985, wck=5.227, mem=58M295 10.66/7.53 decisions=114914, wrong=56457, backtracks=42137, failedAssignments=30579, nogoods=782, foundSolutions=17, bestBound=29 10.66/7.53 10.66/7.53 num=161, depth=11..18, filters=3470369, revisions=(4979049,useless=2253019), ccks=6042100, wck=5.229, mem=58M295 10.66/7.53 decisions=114966, wrong=56476, backtracks=42148, failedAssignments=30591, nogoods=785, foundSolutions=17, bestBound=29 10.66/7.53 10.66/7.54 num=162, depth=11..17, filters=3471908, revisions=(4981690,useless=2254411), ccks=6045043, wck=5.231, mem=58M295 10.66/7.54 decisions=115024, wrong=56499, backtracks=42164, failedAssignments=30604, nogoods=789, foundSolutions=17, bestBound=29 10.66/7.54 10.66/7.54 num=163, depth=11..16, filters=3474048, revisions=(4984930,useless=2255962), ccks=6049063, wck=5.235, mem=58M295 10.66/7.54 decisions=115091, wrong=56527, backtracks=42184, failedAssignments=30618, nogoods=794, foundSolutions=17, bestBound=29 10.66/7.54 10.66/7.54 num=164, depth=6..11, filters=3474209, revisions=(4985701,useless=2256615), ccks=6049740, wck=5.236, mem=58M295 10.66/7.54 decisions=115148, wrong=56552, backtracks=42207, failedAssignments=30634, nogoods=797, foundSolutions=17, bestBound=29 10.66/7.54 10.66/7.54 num=165, depth=20..25, filters=3476423, revisions=(4992933,useless=2261781), ccks=6057256, wck=5.24, mem=58M295 10.66/7.54 decisions=115237, wrong=56586, backtracks=42236, failedAssignments=30651, nogoods=801, foundSolutions=17, bestBound=29 10.66/7.54 10.66/7.55 num=166, depth=8..25, filters=3477314, revisions=(4996009,useless=2264049), ccks=6061008, wck=5.242, mem=58M295 10.66/7.55 decisions=115321, wrong=56624, backtracks=42259, failedAssignments=30670, nogoods=802, foundSolutions=17, bestBound=29 10.66/7.55 10.66/7.55 num=167, depth=7..22, filters=3480106, revisions=(5001406,useless=2267108), ccks=6067607, wck=5.247, mem=58M295 10.66/7.55 decisions=115444, wrong=56680, backtracks=42298, failedAssignments=30691, nogoods=805, foundSolutions=17, bestBound=29 10.66/7.55 10.66/7.56 num=168, depth=7..22, filters=3483119, revisions=(5007544,useless=2270726), ccks=6075249, wck=5.253, mem=58M295 10.66/7.56 decisions=115566, wrong=56735, backtracks=42340, failedAssignments=30714, nogoods=808, foundSolutions=17, bestBound=29 10.66/7.56 10.66/7.56 num=169, depth=8..16, filters=3485993, revisions=(5013067,useless=2273826), ccks=6082411, wck=5.258, mem=58M295 10.66/7.56 decisions=115665, wrong=56779, backtracks=42370, failedAssignments=30739, nogoods=814, foundSolutions=17, bestBound=29 10.66/7.56 10.66/7.57 num=170, depth=7..22, filters=3489134, revisions=(5018964,useless=2277073), ccks=6089392, wck=5.263, mem=58M295 10.66/7.57 decisions=115784, wrong=56834, backtracks=42403, failedAssignments=30767, nogoods=820, foundSolutions=17, bestBound=29 10.66/7.57 10.66/7.57 num=171, depth=8..24, filters=3492154, revisions=(5024875,useless=2280362), ccks=6095826, wck=5.268, mem=58M295 10.66/7.57 decisions=115906, wrong=56890, backtracks=42439, failedAssignments=30798, nogoods=825, foundSolutions=17, bestBound=29 10.66/7.57 10.66/7.58 num=172, depth=10..18, filters=3495996, revisions=(5031133,useless=2283519), ccks=6103793, wck=5.275, mem=58M295 10.66/7.58 decisions=116036, wrong=56949, backtracks=42480, failedAssignments=30832, nogoods=829, foundSolutions=17, bestBound=29 10.66/7.58 10.66/7.58 num=173, depth=10..25, filters=3499119, revisions=(5036671,useless=2286304), ccks=6110425, wck=5.28, mem=58M295 10.66/7.58 decisions=116188, wrong=57016, backtracks=42520, failedAssignments=30869, nogoods=835, foundSolutions=17, bestBound=29 10.66/7.58 10.66/7.59 num=174, depth=10..19, filters=3503501, revisions=(5043313,useless=2289342), ccks=6118539, wck=5.287, mem=58M295 10.66/7.59 decisions=116342, wrong=57087, backtracks=42576, failedAssignments=30910, nogoods=838, foundSolutions=17, bestBound=29 10.66/7.59 10.76/7.60 num=175, depth=9..19, filters=3508846, revisions=(5053015,useless=2294528), ccks=6129641, wck=5.296, mem=58M295 10.76/7.60 decisions=116514, wrong=57167, backtracks=42635, failedAssignments=30955, nogoods=842, foundSolutions=17, bestBound=29 10.76/7.60 10.76/7.61 num=176, depth=9..25, filters=3514326, revisions=(5062591,useless=2299624), ccks=6141597, wck=5.305, mem=58M295 10.76/7.61 decisions=116726, wrong=57268, backtracks=42703, failedAssignments=31005, nogoods=847, foundSolutions=17, bestBound=29 10.76/7.61 10.76/7.62 num=177, depth=9..23, filters=3519839, revisions=(5071589,useless=2303668), ccks=6151318, wck=5.313, mem=58M295 10.76/7.62 decisions=116952, wrong=57375, backtracks=42771, failedAssignments=31060, nogoods=849, foundSolutions=17, bestBound=29 10.76/7.62 10.76/7.62 num=178, depth=10..24, filters=3524383, revisions=(5078664,useless=2306847), ccks=6159362, wck=5.32, mem=58M295 10.76/7.62 decisions=117172, wrong=57478, backtracks=42831, failedAssignments=31121, nogoods=859, foundSolutions=17, bestBound=29 10.76/7.62 10.76/7.64 num=179, depth=7..25, filters=3531417, revisions=(5092654,useless=2314834), ccks=6175332, wck=5.331, mem=58M295 10.76/7.64 decisions=117438, wrong=57602, backtracks=42906, failedAssignments=31188, nogoods=865, foundSolutions=17, bestBound=29 10.76/7.64 10.76/7.65 num=180, depth=8..24, filters=3538245, revisions=(5102938,useless=2319542), ccks=6187907, wck=5.342, mem=58M295 10.76/7.65 decisions=117718, wrong=57737, backtracks=42992, failedAssignments=31262, nogoods=868, foundSolutions=17, bestBound=29 10.76/7.65 10.76/7.67 num=181, depth=0..16, filters=3550316, revisions=(5122108,useless=2329428), ccks=6211222, wck=5.361, mem=58M295 10.76/7.67 decisions=118044, wrong=57895, backtracks=43111, failedAssignments=31343, nogoods=874, foundSolutions=17, bestBound=29 10.76/7.67 10.76/7.68 num=182, depth=6..28, filters=3555125, revisions=(5138873,useless=2341803), ccks=6230095, wck=5.372, mem=58M295 10.76/7.68 decisions=118397, wrong=58062, backtracks=43228, failedAssignments=31432, nogoods=881, foundSolutions=17, bestBound=29 10.76/7.68 10.88/7.70 num=183, depth=8..18, filters=3568194, revisions=(5161190,useless=2353357), ccks=6256492, wck=5.393, mem=58M295 10.88/7.70 decisions=118780, wrong=58249, backtracks=43355, failedAssignments=31530, nogoods=889, foundSolutions=17, bestBound=29 10.88/7.70 10.88/7.72 num=184, depth=9..27, filters=3581840, revisions=(5183202,useless=2364029), ccks=6283357, wck=5.414, mem=58M295 10.88/7.72 decisions=119239, wrong=58472, backtracks=43507, failedAssignments=31638, nogoods=894, foundSolutions=17, bestBound=29 10.88/7.72 10.88/7.74 num=185, depth=7..26, filters=3590955, revisions=(5218334,useless=2390829), ccks=6317836, wck=5.435, mem=58M295 10.88/7.74 decisions=119727, wrong=58711, backtracks=43709, failedAssignments=31757, nogoods=896, foundSolutions=17, bestBound=29 10.88/7.74 10.88/7.76 num=186, depth=7..22, filters=3604011, revisions=(5239373,useless=2400659), ccks=6341424, wck=5.454, mem=58M295 10.88/7.76 decisions=120221, wrong=58953, backtracks=43885, failedAssignments=31888, nogoods=903, foundSolutions=17, bestBound=29 10.88/7.76 10.88/7.78 num=187, depth=7..26, filters=3619666, revisions=(5263133,useless=2411332), ccks=6366633, wck=5.477, mem=58M295 10.88/7.78 decisions=120773, wrong=59224, backtracks=44086, failedAssignments=32032, nogoods=906, foundSolutions=17, bestBound=29 10.88/7.78 10.98/7.81 num=188, depth=8..19, filters=3638777, revisions=(5287779,useless=2421279), ccks=6396104, wck=5.505, mem=58M295 10.98/7.81 decisions=121342, wrong=59502, backtracks=44281, failedAssignments=32190, nogoods=911, foundSolutions=17, bestBound=29 10.98/7.81 10.98/7.84 num=189, depth=8..20, filters=3661932, revisions=(5320858,useless=2435435), ccks=6433475, wck=5.539, mem=58M295 10.98/7.84 decisions=122002, wrong=59827, backtracks=44524, failedAssignments=32364, nogoods=915, foundSolutions=17, bestBound=29 10.98/7.84 10.98/7.87 num=190, depth=8..27, filters=3682417, revisions=(5350666,useless=2448743), ccks=6466947, wck=5.57, mem=60M937 10.98/7.87 decisions=122696, wrong=60169, backtracks=44785, failedAssignments=32555, nogoods=922, foundSolutions=17, bestBound=29 10.98/7.87 11.08/7.91 num=191, depth=0..24, filters=3700881, revisions=(5396056,useless=2477756), ccks=6517251, wck=5.603, mem=60M937 11.08/7.91 decisions=123550, wrong=60593, backtracks=45089, failedAssignments=32766, nogoods=930, foundSolutions=17, bestBound=29 11.08/7.91 11.08/7.95 num=192, depth=7..27, filters=3729300, revisions=(5437468,useless=2495912), ccks=6563534, wck=5.644, mem=60M937 11.08/7.95 decisions=124415, wrong=61021, backtracks=45414, failedAssignments=32998, nogoods=934, foundSolutions=17, bestBound=29 11.08/7.95 11.08/8.00 num=193, depth=8..17, filters=3762778, revisions=(5485988,useless=2517809), ccks=6619297, wck=5.694, mem=60M937 11.08/8.00 decisions=125353, wrong=61486, backtracks=45776, failedAssignments=33253, nogoods=943, foundSolutions=17, bestBound=29 11.08/8.00 11.20/8.05 num=194, depth=0..26, filters=3795869, revisions=(5534430,useless=2539043), ccks=6673536, wck=5.742, mem=60M937 11.20/8.05 decisions=126391, wrong=62000, backtracks=46161, failedAssignments=33534, nogoods=948, foundSolutions=17, bestBound=29 11.20/8.05 11.20/8.10 num=195, depth=7..17, filters=3832452, revisions=(5582881,useless=2559330), ccks=6731312, wck=5.794, mem=60M937 11.20/8.10 decisions=127465, wrong=62532, backtracks=46567, failedAssignments=33843, nogoods=954, foundSolutions=17, bestBound=29 11.20/8.10 11.30/8.16 num=196, depth=7..25, filters=3872936, revisions=(5640868,useless=2584437), ccks=6797717, wck=5.853, mem=60M937 11.30/8.16 decisions=128779, wrong=63184, backtracks=47049, failedAssignments=34183, nogoods=966, foundSolutions=17, bestBound=29 11.30/8.16 11.40/8.21 num=197, depth=7..24, filters=3912300, revisions=(5699873,useless=2610714), ccks=6860856, wck=5.909, mem=60M937 11.40/8.21 decisions=130207, wrong=63892, backtracks=47564, failedAssignments=34557, nogoods=974, foundSolutions=17, bestBound=29 11.40/8.21 11.40/8.29 num=198, depth=6..28, filters=3959841, revisions=(5785586,useless=2656309), ccks=6955382, wck=5.984, mem=60M937 11.40/8.29 decisions=131937, wrong=64752, backtracks=48264, failedAssignments=34968, nogoods=981, foundSolutions=17, bestBound=29 11.40/8.29 11.49/8.36 num=199, depth=6..23, filters=4012468, revisions=(5865740,useless=2692350), ccks=7040634, wck=6.057, mem=60M937 11.49/8.36 decisions=133692, wrong=65626, backtracks=48954, failedAssignments=35420, nogoods=989, foundSolutions=17, bestBound=29 11.49/8.36 11.59/8.43 num=200, depth=0..28, filters=4045058, revisions=(5950883,useless=2748626), ccks=7130955, wck=6.121, mem=60M937 11.59/8.43 decisions=135717, wrong=66632, backtracks=49722, failedAssignments=35917, nogoods=992, foundSolutions=17, bestBound=29 11.59/8.43 11.69/8.53 num=201, depth=5..25, filters=4110019, revisions=(6071313,useless=2814479), ccks=7269188, wck=6.221, mem=60M937 11.69/8.53 decisions=137825, wrong=67681, backtracks=50466, failedAssignments=36464, nogoods=997, foundSolutions=17, bestBound=29 11.69/8.53 11.79/8.63 num=202, depth=6..25, filters=4183202, revisions=(6174311,useless=2859270), ccks=7389808, wck=6.325, mem=60M937 11.79/8.63 decisions=140105, wrong=68816, backtracks=51299, failedAssignments=37066, nogoods=1007, foundSolutions=17, bestBound=29 11.79/8.63 11.89/8.74 num=203, depth=7..28, filters=4261967, revisions=(6290626,useless=2911112), ccks=7519726, wck=6.439, mem=60M937 11.89/8.74 decisions=142776, wrong=70145, backtracks=52330, failedAssignments=37728, nogoods=1014, foundSolutions=17, bestBound=29 11.89/8.74 11.99/8.85 num=204, depth=0..28, filters=4325696, revisions=(6430777,useless=2995590), ccks=7672665, wck=6.548, mem=60M937 11.99/8.85 decisions=145978, wrong=71742, backtracks=53634, failedAssignments=38456, nogoods=1017, foundSolutions=17, bestBound=29 11.99/8.85 12.20/9.02 num=205, depth=6..27, filters=4431944, revisions=(6611035,useless=3089225), ccks=7881980, wck=6.713, mem=60M937 12.20/9.02 decisions=149098, wrong=73297, backtracks=54780, failedAssignments=39257, nogoods=1027, foundSolutions=17, bestBound=29 12.20/9.02 12.30/9.18 num=206, depth=6..28, filters=4543695, revisions=(6785603,useless=3173014), ccks=8081542, wck=6.88, mem=60M937 12.30/9.18 decisions=152516, wrong=75002, backtracks=56060, failedAssignments=40138, nogoods=1034, foundSolutions=17, bestBound=29 12.30/9.18 12.49/9.39 num=207, depth=6..27, filters=4680941, revisions=(7018307,useless=3293360), ccks=8345007, wck=7.089, mem=60M937 12.49/9.39 decisions=156316, wrong=76896, backtracks=57544, failedAssignments=41108, nogoods=1038, foundSolutions=17, bestBound=29 12.49/9.39 12.69/9.59 num=208, depth=6..26, filters=4813127, revisions=(7221713,useless=3388565), ccks=8581501, wck=7.287, mem=60M937 12.69/9.59 decisions=160423, wrong=78945, backtracks=59071, failedAssignments=42175, nogoods=1047, foundSolutions=17, bestBound=29 12.69/9.59 12.99/9.81 num=209, depth=6..26, filters=4963561, revisions=(7438223,useless=3487567), ccks=8841490, wck=7.507, mem=60M937 12.99/9.81 decisions=164755, wrong=81105, backtracks=60703, failedAssignments=43348, nogoods=1056, foundSolutions=17, bestBound=29 12.99/9.81 13.20/10.02 num=210, depth=5..26, filters=5106972, revisions=(7660690,useless=3592527), ccks=9095069, wck=7.719, mem=60M937 13.20/10.02 decisions=169655, wrong=83546, backtracks=62427, failedAssignments=44639, nogoods=1067, foundSolutions=17, bestBound=29 13.20/10.02 13.40/10.25 num=211, depth=6..26, filters=5260302, revisions=(7903784,useless=3713499), ccks=9373274, wck=7.947, mem=60M937 13.40/10.25 decisions=175000, wrong=86214, backtracks=64541, failedAssignments=46059, nogoods=1075, foundSolutions=17, bestBound=29 13.40/10.25 13.70/10.55 num=212, depth=5..19, filters=5473428, revisions=(8189842,useless=3835583), ccks=9712630, wck=8.244, mem=60M937 13.70/10.55 decisions=180895, wrong=89156, backtracks=66946, failedAssignments=47621, nogoods=1079, foundSolutions=17, bestBound=29 13.70/10.55 14.00/10.83 num=213, depth=5..25, filters=5665029, revisions=(8501218,useless=3986140), ccks=10059490, wck=8.529, mem=60M937 14.00/10.83 decisions=187556, wrong=92482, backtracks=69366, failedAssignments=49339, nogoods=1090, foundSolutions=17, bestBound=29 14.00/10.83 14.31/11.17 num=214, depth=5..27, filters=5897925, revisions=(8836889,useless=4137043), ccks=10457261, wck=8.865, mem=60M937 14.31/11.17 decisions=194877, wrong=96138, backtracks=72059, failedAssignments=51229, nogoods=1098, foundSolutions=17, bestBound=29 14.31/11.17 14.70/11.58 num=215, depth=5..27, filters=6172326, revisions=(9263130,useless=4342550), ccks=10948127, wck=9.271, mem=60M937 14.70/11.58 decisions=202920, wrong=100155, backtracks=75140, failedAssignments=53308, nogoods=1107, foundSolutions=17, bestBound=29 14.70/11.58 15.10/11.99 num=216, depth=5..27, filters=6467422, revisions=(9684372,useless=4530420), ccks=11431984, wck=9.689, mem=60M937 15.10/11.99 decisions=211864, wrong=104622, backtracks=78623, failedAssignments=55595, nogoods=1116, foundSolutions=17, bestBound=29 15.10/11.99 15.60/12.43 num=217, depth=4..26, filters=6759424, revisions=(10160434,useless=4762739), ccks=11960370, wck=10.121, mem=60M937 15.60/12.43 decisions=221633, wrong=109501, backtracks=82291, failedAssignments=58111, nogoods=1123, foundSolutions=17, bestBound=29 15.60/12.43 16.10/12.93 num=218, depth=0..31, filters=7070275, revisions=(10762410,useless=5100281), ccks=12627943, wck=10.626, mem=60M937 16.10/12.93 decisions=232615, wrong=114987, backtracks=86561, failedAssignments=60879, nogoods=1129, foundSolutions=17, bestBound=29 16.10/12.93 16.80/13.61 num=219, depth=0..27, filters=7484458, revisions=(11601445,useless=5591445), ccks=13553466, wck=11.311, mem=63M580 16.80/13.61 decisions=244802, wrong=121078, backtracks=91320, failedAssignments=63923, nogoods=1143, foundSolutions=17, bestBound=29 16.80/13.61 17.40/14.25 num=220, depth=3..25, filters=7907211, revisions=(12300673,useless=5946375), ccks=14342485, wck=11.947, mem=63M580 17.40/14.25 decisions=258501, wrong=127923, backtracks=96963, failedAssignments=67272, nogoods=1155, foundSolutions=17, bestBound=29 17.40/14.25 18.10/14.94 num=221, depth=4..27, filters=8379544, revisions=(13035686,useless=6302430), ccks=15181702, wck=12.64, mem=63M580 18.10/14.94 decisions=272281, wrong=134809, backtracks=102600, failedAssignments=70956, nogoods=1165, foundSolutions=17, bestBound=29 18.10/14.94 18.70/15.54 num=222, depth=3..21, filters=8773995, revisions=(13652407,useless=6615459), ccks=15915380, wck=13.237, mem=63M580 18.70/15.54 decisions=287353, wrong=142341, backtracks=109194, failedAssignments=75008, nogoods=1170, foundSolutions=17, bestBound=29 18.70/15.54 19.50/16.37 num=223, depth=3..27, filters=9343865, revisions=(14509207,useless=7023192), ccks=16895633, wck=14.068, mem=63M580 19.50/16.37 decisions=304124, wrong=150718, backtracks=115948, failedAssignments=79465, nogoods=1178, foundSolutions=17, bestBound=29 19.50/16.37 20.40/17.23 num=224, depth=3..27, filters=9900099, revisions=(15435515,useless=7493900), ccks=17946646, wck=14.926, mem=63M580 20.40/17.23 decisions=322520, wrong=159911, backtracks=123131, failedAssignments=84368, nogoods=1189, foundSolutions=17, bestBound=29 20.40/17.23 21.31/18.18 num=225, depth=3..27, filters=10556037, revisions=(16446358,useless=7980256), ccks=19114742, wck=15.88, mem=63M580 21.31/18.18 decisions=342902, wrong=170098, backtracks=131091, failedAssignments=89762, nogoods=1202, foundSolutions=17, bestBound=29 21.31/18.18 22.40/19.26 num=226, depth=2..24, filters=11265173, revisions=(17590300,useless=8552386), ccks=20421341, wck=16.957, mem=63M580 22.40/19.26 decisions=365208, wrong=181248, backtracks=140058, failedAssignments=95695, nogoods=1212, foundSolutions=17, bestBound=29 22.40/19.26 23.71/20.54 num=227, depth=3..26, filters=12137110, revisions=(18920460,useless=9191147), ccks=21970638, wck=18.239, mem=63M580 23.71/20.54 decisions=390263, wrong=193772, backtracks=150107, failedAssignments=102221, nogoods=1222, foundSolutions=17, bestBound=29 23.71/20.54 25.11/21.96 num=228, depth=0..27, filters=13014847, revisions=(20631664,useless=10161868), ccks=23836251, wck=19.656, mem=66M222 25.11/21.96 decisions=418848, wrong=208061, backtracks=161380, failedAssignments=109400, nogoods=1235, foundSolutions=17, bestBound=29 25.11/21.96 26.71/23.50 num=229, depth=1..27, filters=14024728, revisions=(22325560,useless=11038385), ccks=25782049, wck=21.198, mem=66M222 26.71/23.50 decisions=449762, wrong=223513, backtracks=173962, failedAssignments=117297, nogoods=1243, foundSolutions=17, bestBound=29 26.71/23.50 28.32/25.14 num=230, depth=1..22, filters=15125583, revisions=(24184009,useless=12021069), ccks=27866067, wck=22.836, mem=66M222 28.32/25.14 decisions=482475, wrong=239866, backtracks=187416, failedAssignments=125984, nogoods=1253, foundSolutions=17, bestBound=29 28.32/25.14 30.22/27.03 num=231, depth=1..24, filters=16371538, revisions=(26327276,useless=13156416), ccks=30289854, wck=24.725, mem=66M222 30.22/27.03 decisions=519102, wrong=258177, backtracks=202372, failedAssignments=135539, nogoods=1265, foundSolutions=17, bestBound=29 30.22/27.03 32.32/29.16 num=232, depth=0..27, filters=17747949, revisions=(28728936,useless=14452522), ccks=32978035, wck=26.858, mem=68M864 32.32/29.16 decisions=558410, wrong=277828, backtracks=218803, failedAssignments=146050, nogoods=1273, foundSolutions=17, bestBound=29 32.32/29.16 34.01/30.85 34.01/30.85 New Bounds: 29..28 34.01/30.85 num=233, depth=0..22, filters=18871827, revisions=(30659671,useless=15477596), ccks=35146654, wck=28.543, mem=68M864 34.01/30.85 decisions=592892, wrong=295070, backtracks=232631, failedAssignments=155062, foundSolutions=17, bestBound=29 34.01/30.85 34.01/30.85 Global 34.01/30.85 filters=18871827, revisions=(30659671,useless=15477596), ccks=35146654 34.01/30.85 Stop=FULL_EXPLORATION, wrong=295070, bestBound=29, bestBoundWck=5.423, bestBoundCpu=7.222, foundSolutions=17, firstSolCpu=2.282 34.01/30.85 wck=28.997, cpu=30.797, mem=68M864 34.01/30.85 34.01/30.85 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.01/30.85 s OPTIMUM FOUND 34.01/30.85 34.01/30.85 d WRONG_DECISIONS 295070 34.01/30.85 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 (13849 MiB free) memory of node 1: 16384 MiB (14175 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4391173-1568389921/watcher-4391173-1568389921 -o /tmp/evaluation-result-4391173-1568389921/solver-4391173-1568389921 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node126-1568389883-24253 --watchdog 2560 java -cp AbsCon19-06.jar AbsCon HOME/instance-4391173-1568389921.xml -cm running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=24277, runsolver pid=24273 [startup+0.103426 s]* /proc/loadavg: 1.34 1.14 1.33 8/228 24311 /proc/meminfo: memFree=28666940/32770624 swapFree=67004752/67108860 [pid=24277] ppid=24273 vsize=10659884 memory=30092 CPUtime=0.15 cores=1,3,5,7 /proc/24277/stat : 24277 (java) S 24273 24277 24221 0 -1 1077944320 5945 0 0 0 14 1 0 0 20 0 15 0 415259882 10915721216 7523 33554432000 4194304 4196468 140722076543536 140722076526080 139908240555767 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33370112 140722076546059 140722076546162 140722076546162 140722076549071 0 /proc/24277/statm: 2664971 7523 2915 1 0 2627468 0 [pid=24277/tid=24281] ppid=24273 vsize=10659884 memory=5450916389569530688 CPUtime=0.09 cores=1,3,5,7 /proc/24277/task/24281/stat : 24281 (java) R 24273 24277 24221 0 -1 4202560 3231 0 0 0 9 0 0 0 20 0 15 0 415259882 10915721216 7523 33554432000 4194304 4196468 140722076543536 139908244783344 139908224636254 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33370112 140722076546059 140722076546162 140722076546162 140722076549071 0 [pid=24277/tid=24286] ppid=24273 vsize=10659884 memory=-9181546050914066336 CPUtime=0 cores=1,3,5,7 /proc/24277/task/24286/stat : 24286 (java) S 24273 24277 24221 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415259883 10915721216 7523 33554432000 4194304 4196468 140722076543536 139908166629904 139908240565973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33370112 140722076546059 140722076546162 140722076546162 140722076549071 0 [pid=24277/tid=24287] ppid=24273 vsize=10659884 memory=140337256474240 CPUtime=0 cores=1,3,5,7 /proc/24277/task/24287/stat : 24287 (java) S 24273 24277 24221 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415259883 10915721216 7523 33554432000 4194304 4196468 140722076543536 139908165577360 139908240565973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33370112 140722076546059 140722076546162 140722076546162 140722076549071 0 [pid=24277/tid=24288] ppid=24273 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7 /proc/24277/task/24288/stat : 24288 (java) S 24273 24277 24221 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415259883 10915721216 7523 33554432000 4194304 4196468 140722076543536 139908164524304 139908240565973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33370112 140722076546059 140722076546162 140722076546162 140722076549071 0 [pid=24277/tid=24289] ppid=24273 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/24277/task/24289/stat : 24289 (java) S 24273 24277 24221 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415259883 10915721216 7523 33554432000 4194304 4196468 140722076543536 139908163471760 139908240565973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33370112 140722076546059 140722076546162 140722076546162 140722076549071 0 [pid=24277/tid=24294] ppid=24273 vsize=10659884 memory=140337256474240 CPUtime=0 cores=1,3,5,7 /proc/24277/task/24294/stat : 24294 (java) S 24273 24277 24221 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415259884 10915721216 7523 33554432000 4194304 4196468 140722076543536 139907276172016 139908240566914 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33370112 140722076546059 140722076546162 140722076546162 140722076549071 0 [pid=24277/tid=24296] ppid=24273 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/24277/task/24296/stat : 24296 (java) S 24273 24277 24221 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415259885 10915721216 7523 33554432000 4194304 4196468 140722076543536 139907275118240 139908240565973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33370112 140722076546059 140722076546162 140722076546162 140722076549071 0 [pid=24277/tid=24297] ppid=24273 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7 /proc/24277/task/24297/stat : 24297 (java) S 24273 24277 24221 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415259885 10915721216 7523 33554432000 4194304 4196468 140722076543536 139907274065136 139908240565973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33370112 140722076546059 140722076546162 140722076546162 140722076549071 0 [pid=24277/tid=24300] ppid=24273 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7 /proc/24277/task/24300/stat : 24300 (java) S 24273 24277 24221 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415259887 10915721216 7523 33554432000 4194304 4196468 140722076543536 139907273013712 139908240574363 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33370112 140722076546059 140722076546162 140722076546162 140722076549071 0 [pid=24277/tid=24301] ppid=24273 vsize=10659884 memory=0 CPUtime=0.01 cores=1,3,5,7 /proc/24277/task/24301/stat : 24301 (java) R 24273 24277 24221 0 -1 4202560 576 0 0 0 1 0 0 0 20 0 15 0 415259887 10915721216 7523 33554432000 4194304 4196468 140722076543536 139907271941832 139908221067262 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33370112 140722076546059 140722076546162 140722076546162 140722076549071 0 [pid=24277/tid=24302] ppid=24273 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/24277/task/24302/stat : 24302 (java) R 24273 24277 24221 0 -1 1077944384 134 0 0 0 0 0 0 0 20 0 15 0 415259887 10915721216 7523 33554432000 4194304 4196468 140722076543536 139907270908368 139908240565973 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33370112 140722076546059 140722076546162 140722076546162 140722076549071 0 [pid=24277/tid=24303] ppid=24273 vsize=10659884 memory=140337256474240 CPUtime=0.03 cores=1,3,5,7 /proc/24277/task/24303/stat : 24303 (java) R 24273 24277 24221 0 -1 4202560 662 0 0 0 3 0 0 0 20 0 15 0 415259887 10915721216 7523 33554432000 4194304 4196468 140722076543536 139907269851584 139908222119327 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33370112 140722076546059 140722076546162 140722076546162 140722076549071 0 [pid=24277/tid=24304] ppid=24273 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/24277/task/24304/stat : 24304 (java) S 24273 24277 24221 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415259888 10915721216 7523 33554432000 4194304 4196468 140722076543536 139907268802912 139908240565973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33370112 140722076546059 140722076546162 140722076546162 140722076549071 0 [pid=24277/tid=24309] ppid=24273 vsize=10659884 memory=140337256474240 CPUtime=0 cores=1,3,5,7 /proc/24277/task/24309/stat : 24309 (java) S 24273 24277 24221 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415259888 10915721216 7523 33554432000 4194304 4196468 140722076543536 139907267750960 139908240566914 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33370112 140722076546059 140722076546162 140722076546162 140722076549071 0 Current children cumulated CPU time: 0.15 s Current children cumulated vsize: 10659884 KiB Current children cumulated memory: 30092 KiB [startup+0.211539 s]* /proc/loadavg: 1.34 1.14 1.33 3/228 24311 /proc/meminfo: memFree=28653432/32770624 swapFree=67004752/67108860 [pid=24277] ppid=24273 vsize=10659884 memory=34896 CPUtime=0.31 cores=1,3,5,7 /proc/24277/stat : 24277 (java) S 24273 24277 24221 0 -1 1077944320 6850 0 0 0 30 1 0 0 20 0 15 0 415259882 10915721216 8724 33554432000 4194304 4196468 140722076543536 140722076526080 139908240555767 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33370112 140722076546059 140722076546162 140722076546162 140722076549071 0 /proc/24277/statm: 2664971 8724 2990 1 0 2627468 0 [pid=24277/tid=24281] ppid=24273 vsize=10659884 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7 /proc/24277/task/24281/stat : 24281 (java) R 24273 24277 24221 0 -1 4202560 3848 0 0 0 19 1 0 0 20 0 15 0 415259882 10915721216 8724 33554432000 4194304 4196468 140722076543536 139908244787808 139908197157551 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33370112 140722076546059 140722076546162 140722076546162 140722076549071 0 [pid=24277/tid=24286] ppid=24273 vsize=10659884 memory=339 CPUtime=0 cores=1,3,5,7 /proc/24277/task/24286/stat : 24286 (java) S 24273 24277 24221 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415259883 10915721216 8724 33554432000 4194304 4196468 140722076543536 139908166629904 139908240565973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33370112 140722076546059 140722076546162 140722076546162 140722076549071 0 [pid=24277/tid=24287] ppid=24273 vsize=10659884 memory=3618841131847394976 CPUtime=0 cores=1,3,5,7 /proc/24277/task/24287/stat : 24287 (java) S 24273 24277 24221 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415259883 10915721216 8724 33554432000 4194304 4196468 140722076543536 139908165577360 139908240565973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33370112 140722076546059 140722076546162 140722076546162 140722076549071 0 [pid=24277/tid=24288] ppid=24273 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7 /proc/24277/task/24288/stat : 24288 (java) S 24273 24277 24221 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415259883 10915721216 8724 33554432000 4194304 4196468 140722076543536 139908164524304 139908240565973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33370112 140722076546059 140722076546162 140722076546162 140722076549071 0 [pid=24277/tid=24289] ppid=24273 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/24277/task/24289/stat : 24289 (java) S 24273 24277 24221 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415259883 10915721216 8724 33554432000 4194304 4196468 140722076543536 139908163471760 139908240565973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33370112 140722076546059 140722076546162 140722076546162 140722076549071 0 [pid=24277/tid=24294] ppid=24273 vsize=10659884 memory=140337256474240 CPUtime=0 cores=1,3,5,7 /proc/24277/task/24294/stat : 24294 (java) S 24273 24277 24221 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415259884 10915721216 8724 33554432000 4194304 4196468 140722076543536 139907276172016 139908240566914 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33370112 140722076546059 140722076546162 140722076546162 140722076549071 0 [pid=24277/tid=24296] ppid=24273 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/24277/task/24296/stat : 24296 (java) S 24273 24277 24221 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415259885 10915721216 8724 33554432000 4194304 4196468 140722076543536 139907275118240 139908240565973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33370112 140722076546059 140722076546162 140722076546162 140722076549071 0 [pid=24277/tid=24297] ppid=24273 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7 /proc/24277/task/24297/stat : 24297 (java) S 24273 24277 24221 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415259885 10915721216 8724 33554432000 4194304 4196468 140722076543536 139907274065136 139908240565973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33370112 140722076546059 140722076546162 140722076546162 140722076549071 0 [pid=24277/tid=24300] ppid=24273 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7 /proc/24277/task/24300/stat : 24300 (java) S 24273 24277 24221 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415259887 10915721216 8724 33554432000 4194304 4196468 140722076543536 139907273013712 139908240574363 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33370112 140722076546059 140722076546162 140722076546162 140722076549071 0 [pid=24277/tid=24301] ppid=24273 vsize=10659884 memory=0 CPUtime=0.03 cores=1,3,5,7 /proc/24277/task/24301/stat : 24301 (java) S 24273 24277 24221 0 -1 1077944384 743 0 0 0 3 0 0 0 20 0 15 0 415259887 10915721216 8724 33554432000 4194304 4196468 140722076543536 139907271960816 139908240566914 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33370112 140722076546059 140722076546162 140722076546162 140722076549071 0 [pid=24277/tid=24302] ppid=24273 vsize=10659884 memory=-1 CPUtime=0.02 cores=1,3,5,7 /proc/24277/task/24302/stat : 24302 (java) S 24273 24277 24221 0 -1 1077944384 212 0 0 0 2 0 0 0 20 0 15 0 415259887 10915721216 8724 33554432000 4194304 4196468 140722076543536 139907270908272 139908240566914 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33370112 140722076546059 140722076546162 140722076546162 140722076549071 0 [pid=24277/tid=24303] ppid=24273 vsize=10659884 memory=140337256474240 CPUtime=0.05 cores=1,3,5,7 /proc/24277/task/24303/stat : 24303 (java) S 24273 24277 24221 0 -1 1077944384 688 0 0 0 5 0 0 0 20 0 15 0 415259887 10915721216 8724 33554432000 4194304 4196468 140722076543536 139907269855216 139908240566914 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33370112 140722076546059 140722076546162 140722076546162 140722076549071 0 [pid=24277/tid=24304] ppid=24273 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/24277/task/24304/stat : 24304 (java) S 24273 24277 24221 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415259888 10915721216 8724 33554432000 4194304 4196468 140722076543536 139907268802912 139908240565973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33370112 140722076546059 140722076546162 140722076546162 140722076549071 0 [pid=24277/tid=24309] ppid=24273 vsize=10659884 memory=140337256474240 CPUtime=0 cores=1,3,5,7 /proc/24277/task/24309/stat : 24309 (java) S 24273 24277 24221 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415259888 10915721216 8724 33554432000 4194304 4196468 140722076543536 139907267750960 139908240566914 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33370112 140722076546059 140722076546162 140722076546162 140722076549071 0 Current children cumulated CPU time: 0.31 s Current children cumulated vsize: 10659884 KiB Current children cumulated memory: 34896 KiB [startup+0.310213 s]* /proc/loadavg: 1.34 1.14 1.33 3/228 24311 /proc/meminfo: memFree=28640212/32770624 swapFree=67004752/67108860 [pid=24277] ppid=24273 vsize=10659884 memory=39992 CPUtime=0.46 cores=1,3,5,7 /proc/24277/stat : 24277 (java) S 24273 24277 24221 0 -1 1077944320 9376 0 0 0 43 3 0 0 20 0 15 0 415259882 10915721216 9998 33554432000 4194304 4196468 140722076543536 140722076526080 139908240555767 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33370112 140722076546059 140722076546162 140722076546162 140722076549071 0 /proc/24277/statm: 2664971 9998 3002 1 0 2627468 0 [pid=24277/tid=24281] ppid=24273 vsize=10659884 memory=53476 CPUtime=0.29 cores=1,3,5,7 /proc/24277/task/24281/stat : 24281 (java) R 24273 24277 24221 0 -1 4202560 6292 0 0 0 27 2 0 0 20 0 15 0 415259882 10915721216 9998 33554432000 4194304 4196468 140722076543536 139908244776656 139908240577693 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33370112 140722076546059 140722076546162 140722076546162 140722076549071 0 [pid=24277/tid=24286] ppid=24273 vsize=10659884 memory=35 CPUtime=0 cores=1,3,5,7 /proc/24277/task/24286/stat : 24286 (java) S 24273 24277 24221 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415259883 10915721216 9998 33554432000 4194304 4196468 140722076543536 139908166629904 139908240565973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33370112 140722076546059 140722076546162 140722076546162 140722076549071 0 [pid=24277/tid=24287] ppid=24273 vsize=10659884 memory=140337256532256 CPUtime=0 cores=1,3,5,7 /proc/24277/task/24287/stat : 24287 (java) S 24273 24277 24221 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415259883 10915721216 9998 33554432000 4194304 4196468 140722076543536 139908165577360 139908240565973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33370112 140722076546059 140722076546162 140722076546162 140722076549071 0 [pid=24277/tid=24288] ppid=24273 vsize=10659884 memory=60388 CPUtime=0 cores=1,3,5,7 /proc/24277/task/24288/stat : 24288 (java) S 24273 24277 24221 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415259883 10915721216 9998 33554432000 4194304 4196468 140722076543536 139908164524304 139908240565973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33370112 140722076546059 140722076546162 140722076546162 140722076549071 0 [pid=24277/tid=24289] ppid=24273 vsize=10659884 memory=35 CPUtime=0 cores=1,3,5,7 /proc/24277/task/24289/stat : 24289 (java) S 24273 24277 24221 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415259883 10915721216 9998 33554432000 4194304 4196468 140722076543536 139908163471760 139908240565973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33370112 140722076546059 140722076546162 140722076546162 140722076549071 0 [pid=24277/tid=24294] ppid=24273 vsize=10659884 memory=140337256539168 CPUtime=0 cores=1,3,5,7 /proc/24277/task/24294/stat : 24294 (java) S 24273 24277 24221 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415259884 10915721216 9998 33554432000 4194304 4196468 140722076543536 139907276172016 139908240566914 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33370112 140722076546059 140722076546162 140722076546162 140722076549071 0 [pid=24277/tid=24296] ppid=24273 vsize=10659884 memory=35 CPUtime=0 cores=1,3,5,7 /proc/24277/task/24296/stat : 24296 (java) S 24273 24277 24221 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415259885 10915721216 9998 33554432000 4194304 4196468 140722076543536 139907275118240 139908240565973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33370112 140722076546059 140722076546162 140722076546162 140722076549071 0 [pid=24277/tid=24297] ppid=24273 vsize=10659884 memory=2244 CPUtime=0 cores=1,3,5,7 /proc/24277/task/24297/stat : 24297 (java) S 24273 24277 24221 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415259885 10915721216 9998 33554432000 4194304 4196468 140722076543536 139907274065136 139908240565973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33370112 140722076546059 140722076546162 140722076546162 140722076549071 0 [pid=24277/tid=24300] ppid=24273 vsize=10659884 memory=2244 CPUtime=0 cores=1,3,5,7 /proc/24277/task/24300/stat : 24300 (java) S 24273 24277 24221 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415259887 10915721216 9998 33554432000 4194304 4196468 140722076543536 139907273013712 139908240574363 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33370112 140722076546059 140722076546162 140722076546162 140722076549071 0 [pid=24277/tid=24301] ppid=24273 vsize=10659884 memory=0 CPUtime=0.04 cores=1,3,5,7 /proc/24277/task/24301/stat : 24301 (java) S 24273 24277 24221 0 -1 1077944384 790 0 0 0 4 0 0 0 20 0 15 0 415259887 10915721216 9998 33554432000 4194304 4196468 140722076543536 139907271960816 139908240566914 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33370112 140722076546059 140722076546162 140722076546162 140722076549071 0 [pid=24277/tid=24302] ppid=24273 vsize=10659884 memory=140337116995535 CPUtime=0.03 cores=1,3,5,7 /proc/24277/task/24302/stat : 24302 (java) S 24273 24277 24221 0 -1 1077944384 220 0 0 0 3 0 0 0 20 0 15 0 415259887 10915721216 9998 33554432000 4194304 4196468 140722076543536 139907270908272 139908240566914 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33370112 140722076546059 140722076546162 140722076546162 140722076549071 0 [pid=24277/tid=24303] ppid=24273 vsize=10659884 memory=140337256498512 CPUtime=0.07 cores=1,3,5,7 /proc/24277/task/24303/stat : 24303 (java) S 24273 24277 24221 0 -1 1077944384 716 0 0 0 7 0 0 0 20 0 15 0 415259887 10915721216 9998 33554432000 4194304 4196468 140722076543536 139907269855216 139908240566914 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33370112 140722076546059 140722076546162 140722076546162 140722076549071 0 [pid=24277/tid=24304] ppid=24273 vsize=10659884 memory=140337116995599 CPUtime=0 cores=1,3,5,7 /proc/24277/task/24304/stat : 24304 (java) S 24273 24277 24221 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415259888 10915721216 9998 33554432000 4194304 4196468 140722076543536 139907268802912 139908240565973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33370112 140722076546059 140722076546162 140722076546162 140722076549071 0 [pid=24277/tid=24309] ppid=24273 vsize=10659884 memory=140337256498514 CPUtime=0 cores=1,3,5,7 /proc/24277/task/24309/stat : 24309 (java) S 24273 24277 24221 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415259888 10915721216 9998 33554432000 4194304 4196468 140722076543536 139907267750960 139908240566914 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33370112 140722076546059 140722076546162 140722076546162 140722076549071 0 Current children cumulated CPU time: 0.46 s Current children cumulated vsize: 10659884 KiB Current children cumulated memory: 39992 KiB [startup+0.700672 s] /proc/loadavg: 1.34 1.14 1.33 3/228 24311 /proc/meminfo: memFree=28621824/32770624 swapFree=67004752/67108860 [pid=24277] ppid=24273 vsize=10661932 memory=61768 CPUtime=1.06 cores=1,3,5,7 /proc/24277/stat : 24277 (java) S 24273 24277 24221 0 -1 1077944320 12664 0 0 0 102 4 0 0 20 0 15 0 415259882 10917818368 15442 33554432000 4194304 4196468 140722076543536 140722076526080 139908240555767 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33370112 140722076546059 140722076546162 140722076546162 140722076549071 0 /proc/24277/statm: 2665483 15442 3061 1 0 2627980 0 [pid=24277/tid=24281] ppid=24273 vsize=10661932 memory=2372 CPUtime=0.66 cores=1,3,5,7 /proc/24277/task/24281/stat : 24281 (java) R 24273 24277 24221 0 -1 4202560 8838 0 0 0 63 3 0 0 20 0 15 0 415259882 10917818368 15442 33554432000 4194304 4196468 140722076543536 139908244791120 139908226731767 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33370112 140722076546059 140722076546162 140722076546162 140722076549071 0 [pid=24277/tid=24286] ppid=24273 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7 /proc/24277/task/24286/stat : 24286 (java) S 24273 24277 24221 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415259883 10917818368 15442 33554432000 4194304 4196468 140722076543536 139908166629904 139908240565973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33370112 140722076546059 140722076546162 140722076546162 140722076549071 0 [pid=24277/tid=24287] ppid=24273 vsize=10661932 memory=952 CPUtime=0 cores=1,3,5,7 /proc/24277/task/24287/stat : 24287 (java) S 24273 24277 24221 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415259883 10917818368 15506 33554432000 4194304 4196468 140722076543536 139908165577360 139908240565973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33370112 140722076546059 140722076546162 140722076546162 140722076549071 0 [pid=24277/tid=24288] ppid=24273 vsize=10661932 memory=14008 CPUtime=0 cores=1,3,5,7 /proc/24277/task/24288/stat : 24288 (java) S 24273 24277 24221 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415259883 10917818368 15506 33554432000 4194304 4196468 140722076543536 139908164524304 139908240565973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33370112 140722076546059 140722076546162 140722076546162 140722076549071 0 [pid=24277/tid=24289] ppid=24273 vsize=10661932 memory=21872 CPUtime=0 cores=1,3,5,7 /proc/24277/task/24289/stat : 24289 (java) S 24273 24277 24221 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415259883 10917818368 15506 33554432000 4194304 4196468 140722076543536 139908163471760 139908240565973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33370112 140722076546059 140722076546162 140722076546162 140722076549071 0 [pid=24277/tid=24294] ppid=24273 vsize=10661932 memory=2241 CPUtime=0 cores=1,3,5,7 /proc/24277/task/24294/stat : 24294 (java) S 24273 24277 24221 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415259884 10917818368 15506 33554432000 4194304 4196468 140722076543536 139907276172016 139908240566914 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33370112 140722076546059 140722076546162 140722076546162 140722076549071 0 [pid=24277/tid=24296] ppid=24273 vsize=10661932 memory=2244 CPUtime=0 cores=1,3,5,7 /proc/24277/task/24296/stat : 24296 (java) S 24273 24277 24221 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415259885 10917818368 15506 33554432000 4194304 4196468 140722076543536 139907275118240 139908240565973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33370112 140722076546059 140722076546162 140722076546162 140722076549071 0 [pid=24277/tid=24297] ppid=24273 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7 /proc/24277/task/24297/stat : 24297 (java) S 24273 24277 24221 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415259885 10917818368 15506 33554432000 4194304 4196468 140722076543536 139907274065136 139908240565973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33370112 140722076546059 140722076546162 140722076546162 140722076549071 0 [pid=24277/tid=24300] ppid=24273 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7 /proc/24277/task/24300/stat : 24300 (java) S 24273 24277 24221 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415259887 10917818368 15506 33554432000 4194304 4196468 140722076543536 139907273013712 139908240574363 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33370112 140722076546059 140722076546162 140722076546162 140722076549071 0 [pid=24277/tid=24301] ppid=24273 vsize=10661932 memory=0 CPUtime=0.11 cores=1,3,5,7 /proc/24277/task/24301/stat : 24301 (java) S 24273 24277 24221 0 -1 1077944384 1055 0 0 0 11 0 0 0 20 0 15 0 415259887 10917818368 15506 33554432000 4194304 4196468 140722076543536 139907271960816 139908240566914 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33370112 140722076546059 140722076546162 140722076546162 140722076549071 0 [pid=24277/tid=24302] ppid=24273 vsize=10661932 memory=0 CPUtime=0.07 cores=1,3,5,7 /proc/24277/task/24302/stat : 24302 (java) S 24273 24277 24221 0 -1 1077944384 328 0 0 0 7 0 0 0 20 0 15 0 415259887 10917818368 15506 33554432000 4194304 4196468 140722076543536 139907270908272 139908240566914 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33370112 140722076546059 140722076546162 140722076546162 140722076549071 0 [pid=24277/tid=24303] ppid=24273 vsize=10661932 memory=0 CPUtime=0.18 cores=1,3,5,7 /proc/24277/task/24303/stat : 24303 (java) S 24273 24277 24221 0 -1 1077944384 1084 0 0 0 18 0 0 0 20 0 15 0 415259887 10917818368 15506 33554432000 4194304 4196468 140722076543536 139907269855216 139908240566914 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33370112 140722076546059 140722076546162 140722076546162 140722076549071 0 [pid=24277/tid=24304] ppid=24273 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7 /proc/24277/task/24304/stat : 24304 (java) S 24273 24277 24221 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415259888 10917818368 15506 33554432000 4194304 4196468 140722076543536 139907268802912 139908240565973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33370112 140722076546059 140722076546162 140722076546162 140722076549071 0 [pid=24277/tid=24309] ppid=24273 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7 /proc/24277/task/24309/stat : 24309 (java) S 24273 24277 24221 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415259888 10917818368 15506 33554432000 4194304 4196468 140722076543536 139907267750960 139908240566914 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33370112 140722076546059 140722076546162 140722076546162 140722076549071 0 Current children cumulated CPU time: 1.06 s Current children cumulated vsize: 10661932 KiB Current children cumulated memory: 61768 KiB [startup+1.50072 s] /proc/loadavg: 1.34 1.14 1.33 3/228 24311 /proc/meminfo: memFree=28586728/32770624 swapFree=67004752/67108860 [pid=24277] ppid=24273 vsize=10663980 memory=75388 CPUtime=1.97 cores=1,3,5,7 /proc/24277/stat : 24277 (java) S 24273 24277 24221 0 -1 1077944320 16874 0 0 0 192 5 0 0 20 0 15 0 415259882 10919915520 18847 33554432000 4194304 4196468 140722076543536 140722076526080 139908240555767 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33370112 140722076546059 140722076546162 140722076546162 140722076549071 0 /proc/24277/statm: 2665995 18847 3091 1 0 2628492 0 [pid=24277/tid=24281] ppid=24273 vsize=10663980 memory=3474866034397634921 CPUtime=1.47 cores=1,3,5,7 /proc/24277/task/24281/stat : 24281 (java) R 24273 24277 24221 0 -1 4202560 11776 0 0 0 143 4 0 0 20 0 15 0 415259882 10919915520 18847 33554432000 4194304 4196468 140722076543536 139908244787792 139908220827504 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33370112 140722076546059 140722076546162 140722076546162 140722076549071 0 [pid=24277/tid=24286] ppid=24273 vsize=10663980 memory=66308 CPUtime=0 cores=1,3,5,7 /proc/24277/task/24286/stat : 24286 (java) S 24273 24277 24221 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415259883 10919915520 18847 33554432000 4194304 4196468 140722076543536 139908166629904 139908240565973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33370112 140722076546059 140722076546162 140722076546162 140722076549071 0 [pid=24277/tid=24287] ppid=24273 vsize=10663980 memory=4294969536 CPUtime=0 cores=1,3,5,7 /proc/24277/task/24287/stat : 24287 (java) S 24273 24277 24221 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415259883 10919915520 18847 33554432000 4194304 4196468 140722076543536 139908165577360 139908240565973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33370112 140722076546059 140722076546162 140722076546162 140722076549071 0 [pid=24277/tid=24288] ppid=24273 vsize=10663980 memory=952 CPUtime=0 cores=1,3,5,7 /proc/24277/task/24288/stat : 24288 (java) S 24273 24277 24221 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415259883 10919915520 18847 33554432000 4194304 4196468 140722076543536 139908164524304 139908240565973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33370112 140722076546059 140722076546162 140722076546162 140722076549071 0 [pid=24277/tid=24289] ppid=24273 vsize=10663980 memory=14008 CPUtime=0 cores=1,3,5,7 /proc/24277/task/24289/stat : 24289 (java) S 24273 24277 24221 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415259883 10919915520 18847 33554432000 4194304 4196468 140722076543536 139908163471760 139908240565973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33370112 140722076546059 140722076546162 140722076546162 140722076549071 0 [pid=24277/tid=24294] ppid=24273 vsize=10663980 memory=21872 CPUtime=0 cores=1,3,5,7 /proc/24277/task/24294/stat : 24294 (java) S 24273 24277 24221 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 15 0 415259884 10919915520 18847 33554432000 4194304 4196468 140722076543536 139907276172016 139908240566914 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33370112 140722076546059 140722076546162 140722076546162 140722076549071 0 ################ # More data... # ################ [startup+28.8006 s] /proc/loadavg: 1.57 1.21 1.35 3/230 24393 /proc/meminfo: memFree=28277944/32770624 swapFree=67004752/67108860 [pid=24277] ppid=24273 vsize=10748324 memory=183576 CPUtime=32.01 cores=1,3,5,7 /proc/24277/stat : 24277 (java) S 24273 24277 24221 0 -1 1077944320 41178 0 0 0 3188 13 0 0 20 0 16 0 415259882 11006283776 45894 33554432000 4194304 4196468 140722076543536 140722076526080 139908240555767 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33370112 140722076546059 140722076546162 140722076546162 140722076549071 0 /proc/24277/statm: 2687081 45894 3349 1 0 2647217 0 [pid=24277/tid=24281] ppid=24273 vsize=10748324 memory=183576 CPUtime=1.84 cores=1,3,5,7 /proc/24277/task/24281/stat : 24281 (java) S 24273 24277 24221 0 -1 1077944384 13757 0 0 0 180 4 0 0 20 0 16 0 415259882 11006283776 45894 33554432000 4194304 4196468 140722076543536 139908244798640 139908240565973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33370112 140722076546059 140722076546162 140722076546162 140722076549071 0 [pid=24277/tid=24286] ppid=24273 vsize=10748324 memory=1364 CPUtime=0.01 cores=1,3,5,7 /proc/24277/task/24286/stat : 24286 (java) S 24273 24277 24221 0 -1 1077944384 36 0 0 0 1 0 0 0 20 0 16 0 415259883 11006283776 45894 33554432000 4194304 4196468 140722076543536 139908166629904 139908240565973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33370112 140722076546059 140722076546162 140722076546162 140722076549071 0 [pid=24277/tid=24287] ppid=24273 vsize=10748324 memory=6791534058613427641 CPUtime=0.01 cores=1,3,5,7 /proc/24277/task/24287/stat : 24287 (java) S 24273 24277 24221 0 -1 1077944384 16 0 0 0 1 0 0 0 20 0 16 0 415259883 11006283776 45894 33554432000 4194304 4196468 140722076543536 139908165577360 139908240565973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33370112 140722076546059 140722076546162 140722076546162 140722076549071 0 [pid=24277/tid=24288] ppid=24273 vsize=10748324 memory=2004 CPUtime=0.01 cores=1,3,5,7 /proc/24277/task/24288/stat : 24288 (java) S 24273 24277 24221 0 -1 1077944384 110 0 0 0 1 0 0 0 20 0 16 0 415259883 11006283776 45894 33554432000 4194304 4196468 140722076543536 139908164524304 139908240565973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33370112 140722076546059 140722076546162 140722076546162 140722076549071 0 [pid=24277/tid=24289] ppid=24273 vsize=10748324 memory=1276 CPUtime=0 cores=1,3,5,7 /proc/24277/task/24289/stat : 24289 (java) S 24273 24277 24221 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 16 0 415259883 11006283776 45894 33554432000 4194304 4196468 140722076543536 139908163471760 139908240565973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33370112 140722076546059 140722076546162 140722076546162 140722076549071 0 [pid=24277/tid=24294] ppid=24273 vsize=10748324 memory=1060 CPUtime=0.01 cores=1,3,5,7 /proc/24277/task/24294/stat : 24294 (java) S 24273 24277 24221 0 -1 1077944384 847 0 0 0 1 0 0 0 20 0 16 0 415259884 11006283776 45894 33554432000 4194304 4196468 140722076543536 139907276172016 139908240566914 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33370112 140722076546059 140722076546162 140722076546162 140722076549071 0 [pid=24277/tid=24296] ppid=24273 vsize=10748324 memory=752 CPUtime=0 cores=1,3,5,7 /proc/24277/task/24296/stat : 24296 (java) S 24273 24277 24221 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 16 0 415259885 11006283776 45894 33554432000 4194304 4196468 140722076543536 139907275118304 139908240565973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33370112 140722076546059 140722076546162 140722076546162 140722076549071 0 [pid=24277/tid=24297] ppid=24273 vsize=10748324 memory=1228 CPUtime=0 cores=1,3,5,7 /proc/24277/task/24297/stat : 24297 (java) S 24273 24277 24221 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 415259885 11006283776 45894 33554432000 4194304 4196468 140722076543536 139907274065152 139908240565973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33370112 140722076546059 140722076546162 140722076546162 140722076549071 0 [pid=24277/tid=24300] ppid=24273 vsize=10748324 memory=9584 CPUtime=0 cores=1,3,5,7 /proc/24277/task/24300/stat : 24300 (java) S 24273 24277 24221 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415259887 11006283776 45894 33554432000 4194304 4196468 140722076543536 139907273013712 139908240574363 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33370112 140722076546059 140722076546162 140722076546162 140722076549071 0 [pid=24277/tid=24301] ppid=24273 vsize=10748324 memory=4140 CPUtime=1.23 cores=1,3,5,7 /proc/24277/task/24301/stat : 24301 (java) S 24273 24277 24221 0 -1 1077944384 5607 0 0 0 122 1 0 0 20 0 16 0 415259887 11006283776 45894 33554432000 4194304 4196468 140722076543536 139907271960816 139908240566914 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33370112 140722076546059 140722076546162 140722076546162 140722076549071 0 [pid=24277/tid=24302] ppid=24273 vsize=10748324 memory=183576 CPUtime=1.23 cores=1,3,5,7 /proc/24277/task/24302/stat : 24302 (java) S 24273 24277 24221 0 -1 1077944384 7029 0 0 0 123 0 0 0 20 0 16 0 415259887 11006283776 45894 33554432000 4194304 4196468 140722076543536 139907270908272 139908240566914 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33370112 140722076546059 140722076546162 140722076546162 140722076549071 0 [pid=24277/tid=24303] ppid=24273 vsize=10748324 memory=5960 CPUtime=0.7 cores=1,3,5,7 /proc/24277/task/24303/stat : 24303 (java) S 24273 24277 24221 0 -1 1077944384 5117 0 0 0 69 1 0 0 20 0 16 0 415259887 11006283776 45894 33554432000 4194304 4196468 140722076543536 139907269855216 139908240566914 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33370112 140722076546059 140722076546162 140722076546162 140722076549071 0 [pid=24277/tid=24304] ppid=24273 vsize=10748324 memory=772 CPUtime=0 cores=1,3,5,7 /proc/24277/task/24304/stat : 24304 (java) S 24273 24277 24221 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415259888 11006283776 45894 33554432000 4194304 4196468 140722076543536 139907268802912 139908240565973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33370112 140722076546059 140722076546162 140722076546162 140722076549071 0 [pid=24277/tid=24309] ppid=24273 vsize=10748324 memory=952 CPUtime=0 cores=1,3,5,7 /proc/24277/task/24309/stat : 24309 (java) S 24273 24277 24221 0 -1 1077944384 431 0 0 0 0 0 0 0 20 0 16 0 415259888 11006283776 45894 33554432000 4194304 4196468 140722076543536 139907267750960 139908240566914 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33370112 140722076546059 140722076546162 140722076546162 140722076549071 0 [pid=24277/tid=24312] ppid=24273 vsize=10748324 memory=14008 CPUtime=26.87 cores=1,3,5,7 /proc/24277/task/24312/stat : 24312 (java) R 24273 24277 24221 0 -1 4202560 6784 0 0 0 2685 2 0 0 20 0 16 0 415260070 11006283776 45894 33554432000 4194304 4196468 140722076543536 139907250966640 139907844784088 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33370112 140722076546059 140722076546162 140722076546162 140722076549071 0 Current children cumulated CPU time: 32.01 s Current children cumulated vsize: 10748324 KiB Current children cumulated memory: 183576 KiB [startup+29.6006 s] /proc/loadavg: 1.57 1.21 1.35 3/230 24393 /proc/meminfo: memFree=28277944/32770624 swapFree=67004752/67108860 [pid=24277] ppid=24273 vsize=10748324 memory=183576 CPUtime=32.81 cores=1,3,5,7 /proc/24277/stat : 24277 (java) S 24273 24277 24221 0 -1 1077944320 41476 0 0 0 3268 13 0 0 20 0 16 0 415259882 11006283776 45894 33554432000 4194304 4196468 140722076543536 140722076526080 139908240555767 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33370112 140722076546059 140722076546162 140722076546162 140722076549071 0 /proc/24277/statm: 2687081 45894 3349 1 0 2647217 0 [pid=24277/tid=24281] ppid=24273 vsize=10748324 memory=6944652177228980320 CPUtime=1.84 cores=1,3,5,7 /proc/24277/task/24281/stat : 24281 (java) S 24273 24277 24221 0 -1 1077944384 13757 0 0 0 180 4 0 0 20 0 16 0 415259882 11006283776 45894 33554432000 4194304 4196468 140722076543536 139908244798640 139908240565973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33370112 140722076546059 140722076546162 140722076546162 140722076549071 0 [pid=24277/tid=24286] ppid=24273 vsize=10748324 memory=3620 CPUtime=0.01 cores=1,3,5,7 /proc/24277/task/24286/stat : 24286 (java) S 24273 24277 24221 0 -1 1077944384 36 0 0 0 1 0 0 0 20 0 16 0 415259883 11006283776 45894 33554432000 4194304 4196468 140722076543536 139908166629904 139908240565973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33370112 140722076546059 140722076546162 140722076546162 140722076549071 0 [pid=24277/tid=24287] ppid=24273 vsize=10748324 memory=6791534058613427641 CPUtime=0.01 cores=1,3,5,7 /proc/24277/task/24287/stat : 24287 (java) S 24273 24277 24221 0 -1 1077944384 16 0 0 0 1 0 0 0 20 0 16 0 415259883 11006283776 45894 33554432000 4194304 4196468 140722076543536 139908165577360 139908240565973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33370112 140722076546059 140722076546162 140722076546162 140722076549071 0 [pid=24277/tid=24288] ppid=24273 vsize=10748324 memory=280674234795264 CPUtime=0.01 cores=1,3,5,7 /proc/24277/task/24288/stat : 24288 (java) S 24273 24277 24221 0 -1 1077944384 110 0 0 0 1 0 0 0 20 0 16 0 415259883 11006283776 45894 33554432000 4194304 4196468 140722076543536 139908164524304 139908240565973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33370112 140722076546059 140722076546162 140722076546162 140722076549071 0 [pid=24277/tid=24289] ppid=24273 vsize=10748324 memory=7649539725727415602 CPUtime=0 cores=1,3,5,7 /proc/24277/task/24289/stat : 24289 (java) S 24273 24277 24221 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 16 0 415259883 11006283776 45894 33554432000 4194304 4196468 140722076543536 139908163471760 139908240565973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33370112 140722076546059 140722076546162 140722076546162 140722076549071 0 [pid=24277/tid=24294] ppid=24273 vsize=10748324 memory=7649399362857088050 CPUtime=0.01 cores=1,3,5,7 /proc/24277/task/24294/stat : 24294 (java) S 24273 24277 24221 0 -1 1077944384 849 0 0 0 1 0 0 0 20 0 16 0 415259884 11006283776 45894 33554432000 4194304 4196468 140722076543536 139907276172016 139908240566914 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33370112 140722076546059 140722076546162 140722076546162 140722076549071 0 [pid=24277/tid=24296] ppid=24273 vsize=10748324 memory=7649399384331924530 CPUtime=0 cores=1,3,5,7 /proc/24277/task/24296/stat : 24296 (java) S 24273 24277 24221 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 16 0 415259885 11006283776 45894 33554432000 4194304 4196468 140722076543536 139907275118304 139908240565973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33370112 140722076546059 140722076546162 140722076546162 140722076549071 0 [pid=24277/tid=24297] ppid=24273 vsize=10748324 memory=7649399388626891826 CPUtime=0 cores=1,3,5,7 /proc/24277/task/24297/stat : 24297 (java) S 24273 24277 24221 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 415259885 11006283776 45894 33554432000 4194304 4196468 140722076543536 139907274065152 139908240565973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33370112 140722076546059 140722076546162 140722076546162 140722076549071 0 [pid=24277/tid=24300] ppid=24273 vsize=10748324 memory=7649399392921859122 CPUtime=0 cores=1,3,5,7 /proc/24277/task/24300/stat : 24300 (java) S 24273 24277 24221 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415259887 11006283776 45894 33554432000 4194304 4196468 140722076543536 139907273013712 139908240574363 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33370112 140722076546059 140722076546162 140722076546162 140722076549071 0 [pid=24277/tid=24301] ppid=24273 vsize=10748324 memory=984 CPUtime=1.23 cores=1,3,5,7 /proc/24277/task/24301/stat : 24301 (java) S 24273 24277 24221 0 -1 1077944384 5607 0 0 0 122 1 0 0 20 0 16 0 415259887 11006283776 45894 33554432000 4194304 4196468 140722076543536 139907271960816 139908240566914 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33370112 140722076546059 140722076546162 140722076546162 140722076549071 0 [pid=24277/tid=24302] ppid=24273 vsize=10748324 memory=2004 CPUtime=1.23 cores=1,3,5,7 /proc/24277/task/24302/stat : 24302 (java) S 24273 24277 24221 0 -1 1077944384 7029 0 0 0 123 0 0 0 20 0 16 0 415259887 11006283776 45894 33554432000 4194304 4196468 140722076543536 139907270908272 139908240566914 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33370112 140722076546059 140722076546162 140722076546162 140722076549071 0 [pid=24277/tid=24303] ppid=24273 vsize=10748324 memory=1276 CPUtime=0.7 cores=1,3,5,7 /proc/24277/task/24303/stat : 24303 (java) S 24273 24277 24221 0 -1 1077944384 5117 0 0 0 69 1 0 0 20 0 16 0 415259887 11006283776 45894 33554432000 4194304 4196468 140722076543536 139907269855216 139908240566914 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33370112 140722076546059 140722076546162 140722076546162 140722076549071 0 [pid=24277/tid=24304] ppid=24273 vsize=10748324 memory=1060 CPUtime=0 cores=1,3,5,7 /proc/24277/task/24304/stat : 24304 (java) S 24273 24277 24221 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415259888 11006283776 45894 33554432000 4194304 4196468 140722076543536 139907268802912 139908240565973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33370112 140722076546059 140722076546162 140722076546162 140722076549071 0 [pid=24277/tid=24309] ppid=24273 vsize=10748324 memory=752 CPUtime=0 cores=1,3,5,7 /proc/24277/task/24309/stat : 24309 (java) S 24273 24277 24221 0 -1 1077944384 431 0 0 0 0 0 0 0 20 0 16 0 415259888 11006283776 45894 33554432000 4194304 4196468 140722076543536 139907267750960 139908240566914 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33370112 140722076546059 140722076546162 140722076546162 140722076549071 0 [pid=24277/tid=24312] ppid=24273 vsize=10748324 memory=1228 CPUtime=27.67 cores=1,3,5,7 /proc/24277/task/24312/stat : 24312 (java) R 24273 24277 24221 0 -1 4202560 7080 0 0 0 2765 2 0 0 20 0 16 0 415260070 11006283776 45894 33554432000 4194304 4196468 140722076543536 139907250966640 139907845314388 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33370112 140722076546059 140722076546162 140722076546162 140722076549071 0 Current children cumulated CPU time: 32.81 s Current children cumulated vsize: 10748324 KiB Current children cumulated memory: 183576 KiB [startup+30.4006 s] /proc/loadavg: 1.57 1.21 1.35 3/230 24393 /proc/meminfo: memFree=28277944/32770624 swapFree=67004752/67108860 [pid=24277] ppid=24273 vsize=10748324 memory=183576 CPUtime=33.61 cores=1,3,5,7 /proc/24277/stat : 24277 (java) S 24273 24277 24221 0 -1 1077944320 41476 0 0 0 3348 13 0 0 20 0 16 0 415259882 11006283776 45894 33554432000 4194304 4196468 140722076543536 140722076526080 139908240555767 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33370112 140722076546059 140722076546162 140722076546162 140722076549071 0 /proc/24277/statm: 2687081 45894 3349 1 0 2647217 0 [pid=24277/tid=24281] ppid=24273 vsize=10748324 memory=0 CPUtime=1.84 cores=1,3,5,7 /proc/24277/task/24281/stat : 24281 (java) S 24273 24277 24221 0 -1 1077944384 13757 0 0 0 180 4 0 0 20 0 16 0 415259882 11006283776 45894 33554432000 4194304 4196468 140722076543536 139908244798640 139908240565973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33370112 140722076546059 140722076546162 140722076546162 140722076549071 0 [pid=24277/tid=24286] ppid=24273 vsize=10748324 memory=4797 CPUtime=0.01 cores=1,3,5,7 /proc/24277/task/24286/stat : 24286 (java) S 24273 24277 24221 0 -1 1077944384 36 0 0 0 1 0 0 0 20 0 16 0 415259883 11006283776 45894 33554432000 4194304 4196468 140722076543536 139908166629904 139908240565973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33370112 140722076546059 140722076546162 140722076546162 140722076549071 0 [pid=24277/tid=24287] ppid=24273 vsize=10748324 memory=6791534058613427641 CPUtime=0.01 cores=1,3,5,7 /proc/24277/task/24287/stat : 24287 (java) S 24273 24277 24221 0 -1 1077944384 16 0 0 0 1 0 0 0 20 0 16 0 415259883 11006283776 45894 33554432000 4194304 4196468 140722076543536 139908165577360 139908240565973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33370112 140722076546059 140722076546162 140722076546162 140722076549071 0 [pid=24277/tid=24288] ppid=24273 vsize=10748324 memory=4140 CPUtime=0.01 cores=1,3,5,7 /proc/24277/task/24288/stat : 24288 (java) S 24273 24277 24221 0 -1 1077944384 110 0 0 0 1 0 0 0 20 0 16 0 415259883 11006283776 45894 33554432000 4194304 4196468 140722076543536 139908164524304 139908240565973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33370112 140722076546059 140722076546162 140722076546162 140722076549071 0 [pid=24277/tid=24289] ppid=24273 vsize=10748324 memory=2832 CPUtime=0 cores=1,3,5,7 /proc/24277/task/24289/stat : 24289 (java) S 24273 24277 24221 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 16 0 415259883 11006283776 45894 33554432000 4194304 4196468 140722076543536 139908163471760 139908240565973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33370112 140722076546059 140722076546162 140722076546162 140722076549071 0 [pid=24277/tid=24294] ppid=24273 vsize=10748324 memory=1540 CPUtime=0.01 cores=1,3,5,7 /proc/24277/task/24294/stat : 24294 (java) S 24273 24277 24221 0 -1 1077944384 849 0 0 0 1 0 0 0 20 0 16 0 415259884 11006283776 45894 33554432000 4194304 4196468 140722076543536 139907276172016 139908240566914 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33370112 140722076546059 140722076546162 140722076546162 140722076549071 0 [pid=24277/tid=24296] ppid=24273 vsize=10748324 memory=1276 CPUtime=0 cores=1,3,5,7 /proc/24277/task/24296/stat : 24296 (java) S 24273 24277 24221 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 16 0 415259885 11006283776 45894 33554432000 4194304 4196468 140722076543536 139907275118304 139908240565973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33370112 140722076546059 140722076546162 140722076546162 140722076549071 0 [pid=24277/tid=24297] ppid=24273 vsize=10748324 memory=1060 CPUtime=0 cores=1,3,5,7 /proc/24277/task/24297/stat : 24297 (java) S 24273 24277 24221 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 415259885 11006283776 45894 33554432000 4194304 4196468 140722076543536 139907274065152 139908240565973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33370112 140722076546059 140722076546162 140722076546162 140722076549071 0 [pid=24277/tid=24300] ppid=24273 vsize=10748324 memory=752 CPUtime=0 cores=1,3,5,7 /proc/24277/task/24300/stat : 24300 (java) S 24273 24277 24221 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415259887 11006283776 45894 33554432000 4194304 4196468 140722076543536 139907273013712 139908240574363 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33370112 140722076546059 140722076546162 140722076546162 140722076549071 0 [pid=24277/tid=24301] ppid=24273 vsize=10748324 memory=1228 CPUtime=1.23 cores=1,3,5,7 /proc/24277/task/24301/stat : 24301 (java) S 24273 24277 24221 0 -1 1077944384 5607 0 0 0 122 1 0 0 20 0 16 0 415259887 11006283776 45894 33554432000 4194304 4196468 140722076543536 139907271960816 139908240566914 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33370112 140722076546059 140722076546162 140722076546162 140722076549071 0 [pid=24277/tid=24302] ppid=24273 vsize=10748324 memory=9584 CPUtime=1.23 cores=1,3,5,7 /proc/24277/task/24302/stat : 24302 (java) S 24273 24277 24221 0 -1 1077944384 7029 0 0 0 123 0 0 0 20 0 16 0 415259887 11006283776 45894 33554432000 4194304 4196468 140722076543536 139907270908272 139908240566914 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33370112 140722076546059 140722076546162 140722076546162 140722076549071 0 [pid=24277/tid=24303] ppid=24273 vsize=10748324 memory=4140 CPUtime=0.7 cores=1,3,5,7 /proc/24277/task/24303/stat : 24303 (java) S 24273 24277 24221 0 -1 1077944384 5117 0 0 0 69 1 0 0 20 0 16 0 415259887 11006283776 45894 33554432000 4194304 4196468 140722076543536 139907269855216 139908240566914 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33370112 140722076546059 140722076546162 140722076546162 140722076549071 0 [pid=24277/tid=24304] ppid=24273 vsize=10748324 memory=2832 CPUtime=0 cores=1,3,5,7 /proc/24277/task/24304/stat : 24304 (java) S 24273 24277 24221 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415259888 11006283776 45894 33554432000 4194304 4196468 140722076543536 139907268802912 139908240565973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33370112 140722076546059 140722076546162 140722076546162 140722076549071 0 [pid=24277/tid=24309] ppid=24273 vsize=10748324 memory=1540 CPUtime=0 cores=1,3,5,7 /proc/24277/task/24309/stat : 24309 (java) S 24273 24277 24221 0 -1 1077944384 431 0 0 0 0 0 0 0 20 0 16 0 415259888 11006283776 45894 33554432000 4194304 4196468 140722076543536 139907267750960 139908240566914 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33370112 140722076546059 140722076546162 140722076546162 140722076549071 0 [pid=24277/tid=24312] ppid=24273 vsize=10748324 memory=1720 CPUtime=28.47 cores=1,3,5,7 /proc/24277/task/24312/stat : 24312 (java) R 24273 24277 24221 0 -1 4202560 7080 0 0 0 2845 2 0 0 20 0 16 0 415260070 11006283776 45894 33554432000 4194304 4196468 140722076543536 139907250966640 139907845084367 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33370112 140722076546059 140722076546162 140722076546162 140722076549071 0 Current children cumulated CPU time: 33.61 s Current children cumulated vsize: 10748324 KiB Current children cumulated memory: 183576 KiB [startup+30.8006 s] /proc/loadavg: 1.57 1.21 1.35 3/230 24393 /proc/meminfo: memFree=28277944/32770624 swapFree=67004752/67108860 [pid=24277] ppid=24273 vsize=10748324 memory=183576 CPUtime=34.01 cores=1,3,5,7 /proc/24277/stat : 24277 (java) S 24273 24277 24221 0 -1 1077944320 41476 0 0 0 3388 13 0 0 20 0 16 0 415259882 11006283776 45894 33554432000 4194304 4196468 140722076543536 140722076526080 139908240555767 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33370112 140722076546059 140722076546162 140722076546162 140722076549071 0 /proc/24277/statm: 2687081 45894 3349 1 0 2647217 0 [pid=24277/tid=24281] ppid=24273 vsize=10748324 memory=14415916817450615 CPUtime=1.84 cores=1,3,5,7 /proc/24277/task/24281/stat : 24281 (java) S 24273 24277 24221 0 -1 1077944384 13757 0 0 0 180 4 0 0 20 0 16 0 415259882 11006283776 45894 33554432000 4194304 4196468 140722076543536 139908244798640 139908240565973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33370112 140722076546059 140722076546162 140722076546162 140722076549071 0 [pid=24277/tid=24286] ppid=24273 vsize=10748324 memory=280674234761392 CPUtime=0.01 cores=1,3,5,7 /proc/24277/task/24286/stat : 24286 (java) S 24273 24277 24221 0 -1 1077944384 36 0 0 0 1 0 0 0 20 0 16 0 415259883 11006283776 45894 33554432000 4194304 4196468 140722076543536 139908166629904 139908240565973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33370112 140722076546059 140722076546162 140722076546162 140722076549071 0 [pid=24277/tid=24287] ppid=24273 vsize=10748324 memory=280674234761200 CPUtime=0.01 cores=1,3,5,7 /proc/24277/task/24287/stat : 24287 (java) S 24273 24277 24221 0 -1 1077944384 16 0 0 0 1 0 0 0 20 0 16 0 415259883 11006283776 45894 33554432000 4194304 4196468 140722076543536 139908165577360 139908240565973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33370112 140722076546059 140722076546162 140722076546162 140722076549071 0 [pid=24277/tid=24288] ppid=24273 vsize=10748324 memory=280674233946160 CPUtime=0.01 cores=1,3,5,7 /proc/24277/task/24288/stat : 24288 (java) S 24273 24277 24221 0 -1 1077944384 110 0 0 0 1 0 0 0 20 0 16 0 415259883 11006283776 45894 33554432000 4194304 4196468 140722076543536 139908164524304 139908240565973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33370112 140722076546059 140722076546162 140722076546162 140722076549071 0 [pid=24277/tid=24289] ppid=24273 vsize=10748324 memory=280674233946352 CPUtime=0 cores=1,3,5,7 /proc/24277/task/24289/stat : 24289 (java) S 24273 24277 24221 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 16 0 415259883 11006283776 45894 33554432000 4194304 4196468 140722076543536 139908163471760 139908240565973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33370112 140722076546059 140722076546162 140722076546162 140722076549071 0 [pid=24277/tid=24294] ppid=24273 vsize=10748324 memory=0 CPUtime=0.01 cores=1,3,5,7 /proc/24277/task/24294/stat : 24294 (java) S 24273 24277 24221 0 -1 1077944384 849 0 0 0 1 0 0 0 20 0 16 0 415259884 11006283776 45894 33554432000 4194304 4196468 140722076543536 139907276172016 139908240566914 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33370112 140722076546059 140722076546162 140722076546162 140722076549071 0 [pid=24277/tid=24296] ppid=24273 vsize=10748324 memory=0 CPUtime=0 cores=1,3,5,7 /proc/24277/task/24296/stat : 24296 (java) S 24273 24277 24221 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 16 0 415259885 11006283776 45894 33554432000 4194304 4196468 140722076543536 139907275118304 139908240565973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33370112 140722076546059 140722076546162 140722076546162 140722076549071 0 [pid=24277/tid=24297] ppid=24273 vsize=10748324 memory=0 CPUtime=0 cores=1,3,5,7 /proc/24277/task/24297/stat : 24297 (java) S 24273 24277 24221 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 415259885 11006283776 45894 33554432000 4194304 4196468 140722076543536 139907274065152 139908240565973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33370112 140722076546059 140722076546162 140722076546162 140722076549071 0 [pid=24277/tid=24300] ppid=24273 vsize=10748324 memory=0 CPUtime=0 cores=1,3,5,7 /proc/24277/task/24300/stat : 24300 (java) S 24273 24277 24221 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415259887 11006283776 45894 33554432000 4194304 4196468 140722076543536 139907273013712 139908240574363 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33370112 140722076546059 140722076546162 140722076546162 140722076549071 0 [pid=24277/tid=24301] ppid=24273 vsize=10748324 memory=0 CPUtime=1.23 cores=1,3,5,7 /proc/24277/task/24301/stat : 24301 (java) S 24273 24277 24221 0 -1 1077944384 5607 0 0 0 122 1 0 0 20 0 16 0 415259887 11006283776 45894 33554432000 4194304 4196468 140722076543536 139907271960816 139908240566914 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33370112 140722076546059 140722076546162 140722076546162 140722076549071 0 [pid=24277/tid=24302] ppid=24273 vsize=10748324 memory=56 CPUtime=1.23 cores=1,3,5,7 /proc/24277/task/24302/stat : 24302 (java) S 24273 24277 24221 0 -1 1077944384 7029 0 0 0 123 0 0 0 20 0 16 0 415259887 11006283776 45894 33554432000 4194304 4196468 140722076543536 139907270908272 139908240566914 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33370112 140722076546059 140722076546162 140722076546162 140722076549071 0 [pid=24277/tid=24303] ppid=24273 vsize=10748324 memory=288230621803979534 CPUtime=0.7 cores=1,3,5,7 /proc/24277/task/24303/stat : 24303 (java) S 24273 24277 24221 0 -1 1077944384 5117 0 0 0 69 1 0 0 20 0 16 0 415259887 11006283776 45894 33554432000 4194304 4196468 140722076543536 139907269855216 139908240566914 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33370112 140722076546059 140722076546162 140722076546162 140722076549071 0 [pid=24277/tid=24304] ppid=24273 vsize=10748324 memory=16099282004497079 CPUtime=0 cores=1,3,5,7 /proc/24277/task/24304/stat : 24304 (java) S 24273 24277 24221 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415259888 11006283776 45894 33554432000 4194304 4196468 140722076543536 139907268802912 139908240565973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33370112 140722076546059 140722076546162 140722076546162 140722076549071 0 [pid=24277/tid=24309] ppid=24273 vsize=10748324 memory=7649399388626891826 CPUtime=0 cores=1,3,5,7 /proc/24277/task/24309/stat : 24309 (java) S 24273 24277 24221 0 -1 1077944384 431 0 0 0 0 0 0 0 20 0 16 0 415259888 11006283776 45894 33554432000 4194304 4196468 140722076543536 139907267750960 139908240566914 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33370112 140722076546059 140722076546162 140722076546162 140722076549071 0 [pid=24277/tid=24312] ppid=24273 vsize=10748324 memory=7649399392921859122 CPUtime=28.87 cores=1,3,5,7 /proc/24277/task/24312/stat : 24312 (java) R 24273 24277 24221 0 -1 4202560 7080 0 0 0 2885 2 0 0 20 0 16 0 415260070 11006283776 45894 33554432000 4194304 4196468 140722076543536 139907250966640 139907845043645 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33370112 140722076546059 140722076546162 140722076546162 140722076549071 0 Current children cumulated CPU time: 34.01 s Current children cumulated vsize: 10748324 KiB Current children cumulated memory: 183576 KiB Child status: 0 Real time (s): 30.8614 CPU time (s): 34.0841 CPU user time (s): 33.9438 CPU system time (s): 0.140333 CPU usage (%): 110.443 Max. virtual memory (cumulated for all children) (KiB): 10750648 Max. memory (cumulated for all children) (KiB): 183576 getrusage(RUSAGE_CHILDREN,...) data: user time used= 33.9438 system time used= 0.140333 maximum resident set size= 188072 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 42865 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= 3625 involuntary context switches= 45 # summary of solver processes directly reported to runsolver: # pid: 24277 # total CPU time (s): 34.0841 # total CPU user time (s): 33.9438 # total CPU system time (s): 0.140333 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.199189 second user time and 0.321858 second system time The end
Begin job on node126 at 2019-09-13 17:51:23 IDJOB=4391173 IDBENCH=127058 IDSOLVER=2833 FILE ID=node126/4391173-1568389921 RUNJOBID= node126-1568389883-24253 PBS_JOBID= 21701858 Free space on /tmp= 55776 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-4391173-1568389921/watcher-4391173-1568389921 -o /tmp/evaluation-result-4391173-1568389921/solver-4391173-1568389921 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node126-1568389883-24253 --watchdog 2560 java -cp AbsCon19-06.jar AbsCon HOME/instance-4391173-1568389921.xml -cm TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 4db16cf953bf17f15cb901b9adc08541 RANDOM SEED=2113200431 node126.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.45 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.56 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.45 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.56 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.45 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.56 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.45 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.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 28699112 kB MemAvailable: 31858248 kB Buffers: 157200 kB Cached: 3247104 kB SwapCached: 2860 kB Active: 1650836 kB Inactive: 1758668 kB Active(anon): 3256 kB Inactive(anon): 43548 kB Active(file): 1647580 kB Inactive(file): 1715120 kB Unevictable: 108840 kB Mlocked: 108840 kB SwapTotal: 67108860 kB SwapFree: 67004752 kB Dirty: 17312 kB Writeback: 4 kB AnonPages: 112244 kB Mapped: 44068 kB Shmem: 32816 kB Slab: 254588 kB SReclaimable: 224540 kB SUnreclaim: 30048 kB KernelStack: 3344 kB PageTables: 5104 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 501548 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 67584 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 130432 kB DirectMap2M: 33415168 kB Free space on /tmp at the end= 55756 MiB End job on node126 at 2019-09-13 17:51:54