Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
AbsCon 2019-07-23 | OPT | 5 | 342.861 | 339.593 |
Diagnostic | Value |
---|---|
WRONG_DECISIONS | 11475100 |
Name | PseudoBoolean/PseudoBoolean-opt-logicSynthesis/ Pb-logic-m100-100-30-30-r.xml |
MD5SUM | 99240cf8fa1004889a7bc67b3b097789 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 5 |
Best CPU time to get the best result obtained on this benchmark | 30.2814 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 100 |
Number of constraints | 100 |
Number of domains | 1 |
Minimum domain size | 2 |
Maximum domain size | 2 |
Distribution of domain sizes | [{"size":2,"count":100}] |
Minimum variable degree | 19 |
Maximum variable degree | 44 |
Distribution of variable degrees | [{"degree":19,"count":1},{"degree":22,"count":1},{"degree":24,"count":3},{"degree":25,"count":4},{"degree":26,"count":6},{"degree":27,"count":8},{"degree":28,"count":8},{"degree":29,"count":6},{"degree":30,"count":9},{"degree":31,"count":10},{"degree":32,"count":6},{"degree":33,"count":11},{"degree":34,"count":8},{"degree":35,"count":6},{"degree":36,"count":2},{"degree":37,"count":3},{"degree":38,"count":3},{"degree":39,"count":2},{"degree":40,"count":1},{"degree":41,"count":1},{"degree":44,"count":1}] |
Minimum constraint arity | 30 |
Maximum constraint arity | 30 |
Distribution of constraint arities | [{"arity":30,"count":100}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"sum","count":100}] |
Optimization problem | YES |
Type of objective | min SUM |
2.43/1.87 2.43/1.87 AbsCon 2 2.43/1.89 2.95/2.06 Instance 2.95/2.06 name=instance-4390944-1568385038, framework=COP, bounds=-infty..+infty 2.95/2.06 2.95/2.06 Loading variables... 2.95/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5f7b80eb 2.95/2.08 Loading constraints...[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@22ee2db8 2.95/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@55e2afa8 2.95/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6af4cbf6 2.95/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1681bfeb 2.95/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@46cac67e 2.95/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d7ac372 2.95/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@fe1b765 2.95/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@381d8241 2.95/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@66cf817d 2.95/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1c7d3493 2.95/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@58aab533 2.95/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@501f733b 2.95/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3f04eed6 2.95/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@29b260d5 2.95/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5582f051 2.95/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@17831936 2.95/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5e095677 2.95/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1703849b 2.95/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@464de8fc 2.95/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@66ac744a 2.95/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@92539a 2.95/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@68650f1c 2.95/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@59c9912f 2.95/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a098d5 2.95/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@73e9a7c9 2.95/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5cc9a757 2.95/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@648c67be 2.95/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5f3a32f9 2.95/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@28bfad76 2.95/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2e770f05 2.95/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1869c8cd 2.95/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@cc6f809 3.27/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@579a8e8b 3.27/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@8073385 3.27/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@121eb4fd 3.27/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4473539b 3.27/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2ea7de6b 3.27/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b19b499 3.27/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5b338286 3.27/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ee2c290 3.27/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@38cc07e9 3.27/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@60a81326 3.27/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23ddb40e 3.27/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4e80e696 3.27/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4bb0395d 3.27/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6377ed8a 3.27/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@30dcffba 3.27/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@163bde00 3.27/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@59e2e7f8 3.27/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@383f21d4 3.27/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5f548f1b 3.27/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f5993be 3.27/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5edc02d3 3.27/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1a240705 3.27/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a4c372c 3.27/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@24d23b36 3.27/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@38dc11bc 3.27/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@33f6b78a 3.27/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d6611ba 3.27/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3c1a0408 3.27/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@29a1054f 3.27/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4adf9b8f 3.27/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3632ffa2 3.27/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@696fe290 3.27/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f1508cf 3.27/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@66523f8 3.27/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5667da21 3.27/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@282b6172 3.27/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ea521f0 3.27/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3dbc9cb4 3.27/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2688ac17 3.27/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4bf4137e 3.27/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@34dd63a8 3.27/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6e391c85 3.27/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@52398231 3.27/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1d93266d 3.27/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3dbdb59b 3.27/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@44c939e3 3.27/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6b6244b2 3.27/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4854c24d 3.27/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1392b06b 3.27/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@47363024 3.27/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4af4787b 3.27/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@633b4c87 3.27/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a15d98e 3.27/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2183d1b6 3.27/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ccd0ea9 3.27/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@34e47975 3.27/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b1fb51d 3.27/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f6f635f 3.27/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2cb8e201 3.27/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7cadbea0 3.27/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@253ddccc 3.27/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4ea9c931 3.27/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3fc22fa1 3.27/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@61baff6d 3.27/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@29ad85fe 3.27/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2c226cbf 3.27/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e5232b8 3.27/2.18 3.27/2.18 3.27/2.18 Domains 3.27/2.18 nTypes=1, nValues=200, sizes=[2#100] 3.27/2.18 Variables 3.27/2.18 count=100, degrees=[19#1,22#1,24#3,25#4...39#2,40#1,41#1,44#1] 3.27/2.18 Objectives 3.27/2.18 way=min, type=SumSimpleLE 3.27/2.18 Constraints 3.27/2.18 count=101, nSpecific=101, arities=[30#100,100#1] 3.27/2.18 distribution=[SumSimpleGE#100,SumSimpleLE#1] 3.27/2.18 wck=0.333, cpu=2.145, mem=26M513 3.27/2.19 Solver SolverBacktrack being built... 3.27/2.19 3.27/2.20 3.27/2.20 Solver 3.27/2.20 guaranteedGAC=true 3.27/2.20 wck=0.361, cpu=2.172, mem=37M156 3.57/2.21 3.57/2.21 Preprocessing 3.57/2.21 filters=0, nACremovedValues=0, nTotalRemovedValues=0, inconcistency=false 3.57/2.21 wck=0.004, cpu=2.178, mem=37M156 3.57/2.21 3.57/2.22 o 8 3.57/2.23 num=0, depth=101..99, filters=8, ccks=101, wck=0.024, mem=37M156 3.57/2.23 decisions=92, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=1, bestBound=8 3.57/2.23 3.57/2.25 num=1, depth=80..89, filters=102, ccks=101, wck=0.048, mem=37M156 3.57/2.25 decisions=247, wrong=36, backtracks=34, failedAssignments=11, nogoods=2, foundSolutions=1, bestBound=8 3.57/2.25 3.57/2.26 num=2, depth=82..89, filters=183, ccks=101, wck=0.057, mem=37M156 3.57/2.26 decisions=387, wrong=65, backtracks=59, failedAssignments=22, nogoods=3, foundSolutions=1, bestBound=8 3.57/2.26 3.57/2.27 num=3, depth=84..89, filters=258, ccks=101, wck=0.065, mem=37M156 3.57/2.27 decisions=520, wrong=89, backtracks=79, failedAssignments=34, nogoods=5, foundSolutions=1, bestBound=8 3.57/2.27 3.57/2.28 num=4, depth=83..91, filters=363, ccks=101, wck=0.072, mem=37M156 3.57/2.28 decisions=683, wrong=129, backtracks=115, failedAssignments=47, nogoods=7, foundSolutions=1, bestBound=8 3.57/2.28 3.57/2.28 num=5, depth=83..90, filters=459, ccks=101, wck=0.077, mem=37M156 3.57/2.28 decisions=833, wrong=162, backtracks=143, failedAssignments=61, nogoods=10, foundSolutions=1, bestBound=8 3.57/2.28 3.57/2.29 o 7 3.57/2.29 num=6, depth=101..99, filters=467, ccks=202, wck=0.082, mem=37M156 3.57/2.29 decisions=925, wrong=162, backtracks=143, failedAssignments=61, nogoods=10, foundSolutions=2, bestBound=7 3.57/2.29 3.57/2.29 num=7, depth=85..92, filters=569, ccks=202, wck=0.086, mem=37M156 3.57/2.29 decisions=1077, wrong=195, backtracks=169, failedAssignments=78, nogoods=12, foundSolutions=2, bestBound=7 3.57/2.29 3.57/2.30 num=8, depth=86..91, filters=635, ccks=202, wck=0.089, mem=37M156 3.57/2.30 decisions=1198, wrong=212, backtracks=184, failedAssignments=89, nogoods=14, foundSolutions=2, bestBound=7 3.57/2.30 3.87/2.30 num=9, depth=86..92, filters=703, ccks=202, wck=0.093, mem=37M156 3.87/2.30 decisions=1320, wrong=230, backtracks=200, failedAssignments=101, nogoods=15, foundSolutions=2, bestBound=7 3.87/2.30 3.87/2.30 num=10, depth=82..89, filters=792, ccks=202, wck=0.097, mem=37M156 3.87/2.30 decisions=1466, wrong=260, backtracks=227, failedAssignments=114, nogoods=17, foundSolutions=2, bestBound=7 3.87/2.30 3.87/2.31 num=11, depth=85..90, filters=883, ccks=202, wck=0.101, mem=37M156 3.87/2.31 decisions=1611, wrong=290, backtracks=250, failedAssignments=128, nogoods=19, foundSolutions=2, bestBound=7 3.87/2.31 3.87/2.31 num=12, depth=84..90, filters=994, ccks=202, wck=0.105, mem=37M156 3.87/2.31 decisions=1768, wrong=326, backtracks=280, failedAssignments=144, nogoods=23, foundSolutions=2, bestBound=7 3.87/2.31 3.87/2.31 num=13, depth=84..90, filters=1087, ccks=202, wck=0.109, mem=37M156 3.87/2.31 decisions=1908, wrong=353, backtracks=302, failedAssignments=161, nogoods=26, foundSolutions=2, bestBound=7 3.87/2.31 3.87/2.32 num=14, depth=82..89, filters=1201, ccks=202, wck=0.113, mem=37M156 3.87/2.32 decisions=2070, wrong=391, backtracks=330, failedAssignments=180, nogoods=29, foundSolutions=2, bestBound=7 3.87/2.32 3.87/2.32 num=15, depth=82..89, filters=1349, ccks=202, wck=0.117, mem=37M156 3.87/2.32 decisions=2261, wrong=445, backtracks=375, failedAssignments=201, nogoods=32, foundSolutions=2, bestBound=7 3.87/2.32 3.87/2.33 num=16, depth=83..91, filters=1524, ccks=202, wck=0.122, mem=37M156 3.87/2.33 decisions=2464, wrong=505, backtracks=429, failedAssignments=224, nogoods=34, foundSolutions=2, bestBound=7 3.87/2.33 3.87/2.33 num=17, depth=83..91, filters=1692, ccks=202, wck=0.126, mem=37M156 3.87/2.33 decisions=2663, wrong=563, backtracks=480, failedAssignments=249, nogoods=37, foundSolutions=2, bestBound=7 3.87/2.33 3.87/2.33 num=18, depth=82..89, filters=1863, ccks=202, wck=0.13, mem=39M798 3.87/2.33 decisions=2865, wrong=623, backtracks=528, failedAssignments=277, nogoods=41, foundSolutions=2, bestBound=7 3.87/2.33 3.87/2.34 num=19, depth=82..90, filters=2045, ccks=202, wck=0.134, mem=39M798 3.87/2.34 decisions=3056, wrong=677, backtracks=576, failedAssignments=308, nogoods=46, foundSolutions=2, bestBound=7 3.87/2.34 3.87/2.34 num=20, depth=84..91, filters=2276, ccks=202, wck=0.139, mem=39M798 3.87/2.34 decisions=3305, wrong=759, backtracks=649, failedAssignments=342, nogoods=51, foundSolutions=2, bestBound=7 3.87/2.34 3.87/2.35 num=21, depth=82..90, filters=2506, ccks=202, wck=0.144, mem=39M798 3.87/2.35 decisions=3553, wrong=842, backtracks=717, failedAssignments=379, nogoods=53, foundSolutions=2, bestBound=7 3.87/2.35 3.87/2.35 num=22, depth=80..88, filters=2793, ccks=202, wck=0.149, mem=39M798 3.87/2.35 decisions=3850, wrong=949, backtracks=806, failedAssignments=420, nogoods=57, foundSolutions=2, bestBound=7 3.87/2.35 3.87/2.36 o 6 3.87/2.36 num=23, depth=82..99, filters=2923, ccks=303, wck=0.153, mem=39M798 3.87/2.36 decisions=4032, wrong=995, backtracks=843, failedAssignments=439, nogoods=61, foundSolutions=3, bestBound=6 3.87/2.36 3.87/2.36 num=24, depth=79..90, filters=3284, ccks=303, wck=0.16, mem=39M798 3.87/2.36 decisions=4396, wrong=1136, backtracks=975, failedAssignments=489, nogoods=63, foundSolutions=3, bestBound=6 3.87/2.36 3.87/2.37 num=25, depth=84..90, filters=3359, ccks=303, wck=0.162, mem=39M798 3.87/2.37 decisions=4530, wrong=1160, backtracks=995, failedAssignments=500, nogoods=65, foundSolutions=3, bestBound=6 3.87/2.37 3.87/2.37 num=26, depth=84..89, filters=3434, ccks=303, wck=0.165, mem=39M798 3.87/2.37 decisions=4656, wrong=1181, backtracks=1012, failedAssignments=512, nogoods=66, foundSolutions=3, bestBound=6 3.87/2.37 3.87/2.37 num=27, depth=83..90, filters=3511, ccks=303, wck=0.168, mem=39M798 3.87/2.37 decisions=4793, wrong=1207, backtracks=1035, failedAssignments=525, nogoods=69, foundSolutions=3, bestBound=6 3.87/2.37 3.87/2.37 num=28, depth=78..85, filters=3602, ccks=303, wck=0.17, mem=39M798 3.87/2.37 decisions=4942, wrong=1241, backtracks=1063, failedAssignments=539, nogoods=71, foundSolutions=3, bestBound=6 3.87/2.37 3.87/2.38 num=29, depth=82..89, filters=3715, ccks=303, wck=0.173, mem=39M798 3.87/2.38 decisions=5104, wrong=1280, backtracks=1095, failedAssignments=555, nogoods=73, foundSolutions=3, bestBound=6 3.87/2.38 3.87/2.38 num=30, depth=85..91, filters=3824, ccks=303, wck=0.176, mem=39M798 3.87/2.38 decisions=5255, wrong=1313, backtracks=1126, failedAssignments=572, nogoods=75, foundSolutions=3, bestBound=6 3.87/2.38 3.87/2.38 num=31, depth=78..87, filters=3965, ccks=303, wck=0.18, mem=39M798 3.87/2.38 decisions=5448, wrong=1368, backtracks=1176, failedAssignments=591, nogoods=77, foundSolutions=3, bestBound=6 3.87/2.38 3.87/2.39 num=32, depth=83..92, filters=4099, ccks=303, wck=0.183, mem=39M798 3.87/2.39 decisions=5624, wrong=1413, backtracks=1211, failedAssignments=612, nogoods=79, foundSolutions=3, bestBound=6 3.87/2.39 3.87/2.39 num=33, depth=82..89, filters=4235, ccks=303, wck=0.186, mem=39M798 3.87/2.39 decisions=5799, wrong=1459, backtracks=1247, failedAssignments=635, nogoods=82, foundSolutions=3, bestBound=6 3.87/2.39 3.87/2.39 num=34, depth=82..89, filters=4378, ccks=303, wck=0.189, mem=39M798 3.87/2.39 decisions=5974, wrong=1505, backtracks=1285, failedAssignments=660, nogoods=84, foundSolutions=3, bestBound=6 3.87/2.39 4.17/2.40 num=35, depth=81..88, filters=4536, ccks=303, wck=0.192, mem=39M798 4.17/2.40 decisions=6160, wrong=1557, backtracks=1327, failedAssignments=688, nogoods=86, foundSolutions=3, bestBound=6 4.17/2.40 4.17/2.40 num=36, depth=80..89, filters=4749, ccks=303, wck=0.197, mem=39M798 4.17/2.40 decisions=6404, wrong=1638, backtracks=1398, failedAssignments=719, nogoods=88, foundSolutions=3, bestBound=6 4.17/2.40 4.17/2.40 num=37, depth=83..91, filters=4956, ccks=303, wck=0.201, mem=39M798 4.17/2.40 decisions=6619, wrong=1704, backtracks=1454, failedAssignments=753, nogoods=91, foundSolutions=3, bestBound=6 4.17/2.40 4.17/2.41 num=38, depth=82..91, filters=5187, ccks=303, wck=0.205, mem=39M798 4.17/2.41 decisions=6873, wrong=1788, backtracks=1524, failedAssignments=790, nogoods=95, foundSolutions=3, bestBound=6 4.17/2.41 4.17/2.42 num=39, depth=80..89, filters=5487, ccks=303, wck=0.211, mem=39M798 4.17/2.42 decisions=7190, wrong=1904, backtracks=1630, failedAssignments=831, nogoods=97, foundSolutions=3, bestBound=6 4.17/2.42 4.17/2.42 num=40, depth=78..89, filters=5798, ccks=303, wck=0.216, mem=39M798 4.17/2.42 decisions=7508, wrong=2022, backtracks=1735, failedAssignments=876, nogoods=99, foundSolutions=3, bestBound=6 4.17/2.42 4.17/2.43 num=41, depth=76..89, filters=6171, ccks=303, wck=0.222, mem=39M798 4.17/2.43 decisions=7890, wrong=2171, backtracks=1865, failedAssignments=926, nogoods=102, foundSolutions=3, bestBound=6 4.17/2.43 4.17/2.43 num=42, depth=79..91, filters=6563, ccks=303, wck=0.228, mem=39M798 4.17/2.43 decisions=8267, wrong=2319, backtracks=1995, failedAssignments=981, nogoods=106, foundSolutions=3, bestBound=6 4.17/2.43 4.17/2.44 num=43, depth=78..90, filters=6992, ccks=303, wck=0.235, mem=39M798 4.17/2.44 decisions=8671, wrong=2481, backtracks=2131, failedAssignments=1042, nogoods=110, foundSolutions=3, bestBound=6 4.17/2.44 4.17/2.45 num=44, depth=78..88, filters=7424, ccks=303, wck=0.241, mem=39M798 4.17/2.45 decisions=9065, wrong=2636, backtracks=2264, failedAssignments=1109, nogoods=112, foundSolutions=3, bestBound=6 4.17/2.45 4.17/2.45 num=45, depth=78..90, filters=7950, ccks=303, wck=0.25, mem=39M798 4.17/2.45 decisions=9557, wrong=2839, backtracks=2446, failedAssignments=1183, nogoods=115, foundSolutions=3, bestBound=6 4.17/2.45 4.17/2.46 num=46, depth=81..92, filters=8519, ccks=303, wck=0.26, mem=39M798 4.17/2.46 decisions=10055, wrong=3047, backtracks=2629, failedAssignments=1264, nogoods=119, foundSolutions=3, bestBound=6 4.17/2.46 4.17/2.47 num=47, depth=78..91, filters=9110, ccks=303, wck=0.27, mem=39M798 4.17/2.47 decisions=10582, wrong=3270, backtracks=2820, failedAssignments=1353, nogoods=123, foundSolutions=3, bestBound=6 4.17/2.47 4.17/2.48 num=48, depth=79..91, filters=9742, ccks=303, wck=0.28, mem=39M798 4.17/2.48 decisions=11121, wrong=3497, backtracks=3025, failedAssignments=1451, nogoods=125, foundSolutions=3, bestBound=6 4.17/2.48 4.17/2.50 num=49, depth=74..87, filters=10569, ccks=303, wck=0.292, mem=39M798 4.17/2.50 decisions=11879, wrong=3835, backtracks=3317, failedAssignments=1559, nogoods=128, foundSolutions=3, bestBound=6 4.17/2.50 4.47/2.51 num=50, depth=74..88, filters=11468, ccks=303, wck=0.307, mem=42M440 4.47/2.51 decisions=12682, wrong=4199, backtracks=3634, failedAssignments=1678, nogoods=130, foundSolutions=3, bestBound=6 4.47/2.51 4.47/2.52 num=51, depth=78..91, filters=12356, ccks=303, wck=0.32, mem=42M440 4.47/2.52 decisions=13435, wrong=4536, backtracks=3918, failedAssignments=1809, nogoods=134, foundSolutions=3, bestBound=6 4.47/2.52 4.47/2.54 num=52, depth=78..92, filters=13450, ccks=303, wck=0.335, mem=42M440 4.47/2.54 decisions=14402, wrong=4978, backtracks=4310, failedAssignments=1953, nogoods=138, foundSolutions=3, bestBound=6 4.47/2.54 4.47/2.55 num=53, depth=78..91, filters=14560, ccks=303, wck=0.35, mem=42M440 4.47/2.55 decisions=15347, wrong=5410, backtracks=4695, failedAssignments=2111, nogoods=141, foundSolutions=3, bestBound=6 4.47/2.55 4.47/2.57 num=54, depth=76..89, filters=15998, ccks=303, wck=0.368, mem=42M440 4.47/2.57 decisions=16611, wrong=6004, backtracks=5240, failedAssignments=2285, nogoods=144, foundSolutions=3, bestBound=6 4.47/2.57 4.47/2.59 num=55, depth=76..90, filters=17322, ccks=303, wck=0.385, mem=42M440 4.47/2.59 decisions=17715, wrong=6517, backtracks=5679, failedAssignments=2476, nogoods=148, foundSolutions=3, bestBound=6 4.47/2.59 4.68/2.61 num=56, depth=77..92, filters=18737, ccks=303, wck=0.402, mem=42M440 4.68/2.61 decisions=18865, wrong=7052, backtracks=6137, failedAssignments=2687, nogoods=152, foundSolutions=3, bestBound=6 4.68/2.61 4.68/2.63 num=57, depth=77..92, filters=20428, ccks=303, wck=0.424, mem=42M440 4.68/2.63 decisions=20287, wrong=7721, backtracks=6726, failedAssignments=2919, nogoods=156, foundSolutions=3, bestBound=6 4.68/2.63 4.68/2.65 num=58, depth=77..91, filters=22173, ccks=303, wck=0.444, mem=42M440 4.68/2.65 decisions=21693, wrong=8384, backtracks=7306, failedAssignments=3174, nogoods=160, foundSolutions=3, bestBound=6 4.68/2.65 4.68/2.68 num=59, depth=75..93, filters=24383, ccks=303, wck=0.471, mem=42M440 4.68/2.68 decisions=23584, wrong=9290, backtracks=8137, failedAssignments=3455, nogoods=163, foundSolutions=3, bestBound=6 4.68/2.68 4.78/2.70 num=60, depth=77..91, filters=26470, ccks=303, wck=0.495, mem=42M440 4.78/2.70 decisions=25253, wrong=10083, backtracks=8847, failedAssignments=3764, nogoods=167, foundSolutions=3, bestBound=6 4.78/2.70 4.78/2.73 num=61, depth=76..91, filters=28912, ccks=303, wck=0.524, mem=45M83 4.78/2.73 decisions=27266, wrong=11047, backtracks=9691, failedAssignments=4104, nogoods=171, foundSolutions=3, bestBound=6 4.78/2.73 4.78/2.76 num=62, depth=74..92, filters=31777, ccks=303, wck=0.56, mem=45M83 4.78/2.76 decisions=29667, wrong=12210, backtracks=10733, failedAssignments=4478, nogoods=174, foundSolutions=3, bestBound=6 4.78/2.76 4.89/2.80 num=63, depth=74..90, filters=35040, ccks=303, wck=0.598, mem=45M83 4.89/2.80 decisions=32393, wrong=13533, backtracks=11928, failedAssignments=4889, nogoods=178, foundSolutions=3, bestBound=6 4.89/2.80 4.89/2.84 num=64, depth=76..92, filters=38358, ccks=303, wck=0.638, mem=45M83 4.89/2.84 decisions=35087, wrong=14840, backtracks=13093, failedAssignments=5341, nogoods=182, foundSolutions=3, bestBound=6 4.89/2.84 4.89/2.89 num=65, depth=76..91, filters=42114, ccks=303, wck=0.681, mem=45M83 4.89/2.89 decisions=38185, wrong=16351, backtracks=14461, failedAssignments=5838, nogoods=185, foundSolutions=3, bestBound=6 4.89/2.89 4.99/2.94 num=66, depth=74..92, filters=46443, ccks=303, wck=0.731, mem=47M725 4.99/2.94 decisions=41778, wrong=18106, backtracks=16044, failedAssignments=6385, nogoods=189, foundSolutions=3, bestBound=6 4.99/2.94 4.99/2.99 num=67, depth=73..94, filters=51472, ccks=303, wck=0.79, mem=47M725 4.99/2.99 decisions=46074, wrong=20215, backtracks=17952, failedAssignments=6987, nogoods=192, foundSolutions=3, bestBound=6 4.99/2.99 5.10/3.06 num=68, depth=72..92, filters=57055, ccks=303, wck=0.86, mem=50M368 5.10/3.06 decisions=50853, wrong=22562, backtracks=20069, failedAssignments=7649, nogoods=196, foundSolutions=3, bestBound=6 5.10/3.06 5.20/3.13 num=69, depth=74..92, filters=62616, ccks=303, wck=0.925, mem=50M368 5.20/3.13 decisions=55471, wrong=24834, backtracks=22115, failedAssignments=8377, nogoods=197, foundSolutions=3, bestBound=6 5.20/3.13 5.29/3.21 num=70, depth=72..92, filters=69247, ccks=303, wck=1.004, mem=50M368 5.29/3.21 decisions=61069, wrong=27594, backtracks=24592, failedAssignments=9178, nogoods=201, foundSolutions=3, bestBound=6 5.29/3.21 5.39/3.30 num=71, depth=71..91, filters=76811, ccks=303, wck=1.094, mem=53M10 5.39/3.30 decisions=67565, wrong=30804, backtracks=27510, failedAssignments=10059, nogoods=204, foundSolutions=3, bestBound=6 5.39/3.30 5.50/3.42 num=72, depth=68..91, filters=86087, ccks=303, wck=1.213, mem=55M653 5.50/3.42 decisions=75708, wrong=34836, backtracks=31253, failedAssignments=11029, nogoods=208, foundSolutions=3, bestBound=6 5.50/3.42 5.60/3.51 num=73, depth=73..91, filters=94421, ccks=303, wck=1.308, mem=55M653 5.60/3.51 decisions=82590, wrong=38239, backtracks=34335, failedAssignments=12096, nogoods=211, foundSolutions=3, bestBound=6 5.60/3.51 5.70/3.64 num=74, depth=70..93, filters=105030, ccks=303, wck=1.435, mem=58M295 5.70/3.64 decisions=91758, wrong=42784, backtracks=38529, failedAssignments=13269, nogoods=215, foundSolutions=3, bestBound=6 5.70/3.64 5.80/3.78 num=75, depth=69..92, filters=116397, ccks=303, wck=1.573, mem=60M937 5.80/3.78 decisions=101485, wrong=47607, backtracks=42919, failedAssignments=14560, nogoods=218, foundSolutions=3, bestBound=6 5.80/3.78 6.02/3.95 num=76, depth=68..92, filters=130200, ccks=303, wck=1.741, mem=63M580 6.02/3.95 decisions=113514, wrong=53581, backtracks=48447, failedAssignments=15980, nogoods=221, foundSolutions=3, bestBound=6 6.02/3.95 6.13/4.11 num=77, depth=69..93, filters=143894, ccks=303, wck=1.901, mem=66M222 6.13/4.11 decisions=125230, wrong=59398, backtracks=53772, failedAssignments=17542, nogoods=225, foundSolutions=3, bestBound=6 6.13/4.11 6.43/4.31 num=78, depth=69..92, filters=160860, ccks=303, wck=2.107, mem=71M507 6.43/4.31 decisions=140079, wrong=66783, backtracks=60658, failedAssignments=19260, nogoods=228, foundSolutions=3, bestBound=6 6.43/4.31 6.63/4.51 num=79, depth=71..94, filters=177400, ccks=303, wck=2.304, mem=74M150 6.63/4.51 decisions=154159, wrong=73783, backtracks=67143, failedAssignments=21150, nogoods=232, foundSolutions=3, bestBound=6 6.63/4.51 6.84/4.72 num=80, depth=70..92, filters=195876, ccks=303, wck=2.514, mem=76M792 6.84/4.72 decisions=169953, wrong=81638, backtracks=74418, failedAssignments=23229, nogoods=236, foundSolutions=3, bestBound=6 6.84/4.72 7.06/4.95 num=81, depth=68..92, filters=216007, ccks=303, wck=2.749, mem=82M77 7.06/4.95 decisions=187155, wrong=90200, backtracks=82238, failedAssignments=25516, nogoods=240, foundSolutions=3, bestBound=6 7.06/4.95 7.36/5.26 num=82, depth=69..94, filters=241195, ccks=303, wck=3.057, mem=87M362 7.36/5.26 decisions=209229, wrong=101201, backtracks=92557, failedAssignments=28032, nogoods=242, foundSolutions=3, bestBound=6 7.36/5.26 7.66/5.59 num=83, depth=68..92, filters=268288, ccks=303, wck=3.382, mem=92M647 7.66/5.59 decisions=232905, wrong=113002, backtracks=103551, failedAssignments=30800, nogoods=246, foundSolutions=3, bestBound=6 7.66/5.59 8.06/5.93 num=84, depth=67..92, filters=298127, ccks=303, wck=3.726, mem=97M932 8.06/5.93 decisions=259016, wrong=126022, backtracks=115703, failedAssignments=33844, nogoods=249, foundSolutions=3, bestBound=6 8.06/5.93 8.46/6.34 num=85, depth=67..94, filters=331545, ccks=303, wck=4.132, mem=105M859 8.46/6.34 decisions=288225, wrong=140586, backtracks=129299, failedAssignments=37193, nogoods=253, foundSolutions=3, bestBound=6 8.46/6.34 8.87/6.76 num=86, depth=67..94, filters=366613, ccks=303, wck=4.556, mem=113M786 8.87/6.76 decisions=318953, wrong=155912, backtracks=143596, failedAssignments=40877, nogoods=256, foundSolutions=3, bestBound=6 8.87/6.76 9.37/7.24 num=87, depth=65..92, filters=407443, ccks=303, wck=5.039, mem=121M714 9.37/7.24 decisions=355136, wrong=173960, backtracks=160387, failedAssignments=44929, nogoods=259, foundSolutions=3, bestBound=6 9.37/7.24 9.87/7.76 num=88, depth=66..93, filters=450060, ccks=303, wck=5.56, mem=132M283 9.87/7.76 decisions=392723, wrong=192716, backtracks=177849, failedAssignments=49386, nogoods=263, foundSolutions=3, bestBound=6 9.87/7.76 10.46/8.35 num=89, depth=66..93, filters=497346, ccks=303, wck=6.149, mem=142M778 10.46/8.35 decisions=434736, wrong=213684, backtracks=197367, failedAssignments=54289, nogoods=267, foundSolutions=3, bestBound=6 10.46/8.35 11.09/8.98 num=90, depth=64..92, filters=550698, ccks=303, wck=6.773, mem=33M24 11.09/8.98 decisions=482946, wrong=237748, backtracks=219552, failedAssignments=59683, nogoods=271, foundSolutions=3, bestBound=6 11.09/8.98 11.99/9.89 num=91, depth=61..94, filters=625004, ccks=303, wck=7.682, mem=51M336 11.99/9.89 decisions=550438, wrong=271454, backtracks=251730, failedAssignments=65616, nogoods=274, foundSolutions=3, bestBound=6 11.99/9.89 12.89/10.76 num=92, depth=63..92, filters=698737, ccks=303, wck=8.557, mem=69M648 12.89/10.76 decisions=616334, wrong=304361, backtracks=282972, failedAssignments=72142, nogoods=278, foundSolutions=3, bestBound=6 12.89/10.76 13.90/11.71 num=93, depth=62..93, filters=781268, ccks=303, wck=9.507, mem=87M960 13.90/11.71 decisions=690403, wrong=341356, backtracks=318044, failedAssignments=79321, nogoods=282, foundSolutions=3, bestBound=6 13.90/11.71 15.10/12.93 num=94, depth=61..93, filters=880520, ccks=303, wck=10.728, mem=114M120 15.10/12.93 decisions=780373, wrong=386303, backtracks=361070, failedAssignments=87218, nogoods=286, foundSolutions=3, bestBound=6 15.10/12.93 16.32/14.13 num=95, depth=60..92, filters=982291, ccks=303, wck=11.929, mem=140M280 16.32/14.13 decisions=871844, wrong=432000, backtracks=404470, failedAssignments=95905, nogoods=290, foundSolutions=3, bestBound=6 16.32/14.13 17.63/15.46 num=96, depth=61..93, filters=1094169, ccks=303, wck=13.26, mem=35M670 17.63/15.46 decisions=972413, wrong=482245, backtracks=452407, failedAssignments=105460, nogoods=294, foundSolutions=3, bestBound=6 17.63/15.46 19.26/17.06 num=97, depth=60..94, filters=1223619, ccks=303, wck=14.856, mem=67M173 19.26/17.06 decisions=1089415, wrong=540704, backtracks=508243, failedAssignments=115971, nogoods=298, foundSolutions=3, bestBound=6 19.26/17.06 20.95/18.76 num=98, depth=59..92, filters=1367764, ccks=303, wck=16.551, mem=106M552 20.95/18.76 decisions=1219883, wrong=605906, backtracks=570359, failedAssignments=127533, nogoods=302, foundSolutions=3, bestBound=6 20.95/18.76 22.95/20.74 num=99, depth=57..93, filters=1532630, ccks=303, wck=18.532, mem=151M181 22.95/20.74 decisions=1370000, wrong=680922, backtracks=641659, failedAssignments=140251, nogoods=305, foundSolutions=3, bestBound=6 22.95/20.74 25.18/22.97 num=100, depth=57..93, filters=1709775, ccks=303, wck=20.766, mem=67M219 25.18/22.97 decisions=1530663, wrong=761213, backtracks=717817, failedAssignments=154241, nogoods=309, foundSolutions=3, bestBound=6 25.18/22.97 27.48/25.28 num=101, depth=58..92, filters=1905203, ccks=303, wck=23.079, mem=117M672 27.48/25.28 decisions=1708140, wrong=849917, backtracks=802507, failedAssignments=169630, nogoods=313, foundSolutions=3, bestBound=6 27.48/25.28 30.09/27.89 o 5 30.09/27.89 num=102, depth=57..99, filters=2116582, ccks=404, wck=25.682, mem=174M432 30.09/27.89 decisions=1900427, wrong=946017, backtracks=894271, failedAssignments=185897, nogoods=317, foundSolutions=4, bestBound=5 30.09/27.89 36.36/34.09 num=103, depth=33..93, filters=2576551, ccks=404, wck=31.884, mem=44M252 36.36/34.09 decisions=2340625, wrong=1166079, backtracks=1110962, failedAssignments=204518, nogoods=320, foundSolutions=4, bestBound=5 36.36/34.09 36.36/34.09 num=104, depth=74..85, filters=2576640, ccks=404, wck=31.887, mem=44M252 36.36/34.09 decisions=2340775, wrong=1166117, backtracks=1110998, failedAssignments=204529, nogoods=321, foundSolutions=4, bestBound=5 36.36/34.09 36.36/34.09 num=105, depth=71..86, filters=2576795, ccks=404, wck=31.891, mem=44M252 36.36/34.09 decisions=2340992, wrong=1166190, backtracks=1111069, failedAssignments=204541, nogoods=322, foundSolutions=4, bestBound=5 36.36/34.09 36.36/34.10 num=106, depth=75..85, filters=2576906, ccks=404, wck=31.894, mem=44M252 36.36/34.10 decisions=2341168, wrong=1166239, backtracks=1111115, failedAssignments=204554, nogoods=324, foundSolutions=4, bestBound=5 36.36/34.10 36.36/34.10 num=107, depth=69..82, filters=2577033, ccks=404, wck=31.897, mem=44M252 36.36/34.10 decisions=2341356, wrong=1166295, backtracks=1111165, failedAssignments=204568, nogoods=326, foundSolutions=4, bestBound=5 36.36/34.10 36.36/34.10 num=108, depth=75..86, filters=2577157, ccks=404, wck=31.901, mem=44M252 36.36/34.10 decisions=2341545, wrong=1166352, backtracks=1111217, failedAssignments=204584, nogoods=327, foundSolutions=4, bestBound=5 36.36/34.10 36.46/34.11 num=109, depth=70..83, filters=2577347, ccks=404, wck=31.905, mem=44M252 36.46/34.11 decisions=2341804, wrong=1166443, backtracks=1111303, failedAssignments=204601, nogoods=329, foundSolutions=4, bestBound=5 36.46/34.11 36.46/34.11 num=110, depth=76..85, filters=2577451, ccks=404, wck=31.908, mem=44M252 36.46/34.11 decisions=2341976, wrong=1166490, backtracks=1111343, failedAssignments=204620, nogoods=331, foundSolutions=4, bestBound=5 36.46/34.11 36.46/34.12 num=111, depth=69..80, filters=2577635, ccks=404, wck=31.913, mem=44M252 36.46/34.12 decisions=2342225, wrong=1166579, backtracks=1111422, failedAssignments=204641, nogoods=333, foundSolutions=4, bestBound=5 36.46/34.12 36.46/34.12 num=112, depth=72..83, filters=2577828, ccks=404, wck=31.917, mem=47M287 36.46/34.12 decisions=2342481, wrong=1166671, backtracks=1111503, failedAssignments=204664, nogoods=335, foundSolutions=4, bestBound=5 36.46/34.12 36.46/34.13 num=113, depth=69..82, filters=2578018, ccks=404, wck=31.921, mem=47M287 36.46/34.13 decisions=2342737, wrong=1166763, backtracks=1111585, failedAssignments=204689, nogoods=337, foundSolutions=4, bestBound=5 36.46/34.13 36.46/34.13 num=114, depth=71..82, filters=2578187, ccks=404, wck=31.926, mem=47M287 36.46/34.13 decisions=2342991, wrong=1166853, backtracks=1111664, failedAssignments=204717, nogoods=339, foundSolutions=4, bestBound=5 36.46/34.13 36.46/34.13 num=115, depth=68..81, filters=2578391, ccks=404, wck=31.931, mem=47M287 36.46/34.13 decisions=2343265, wrong=1166954, backtracks=1111750, failedAssignments=204748, nogoods=341, foundSolutions=4, bestBound=5 36.46/34.13 36.46/34.14 num=116, depth=67..82, filters=2578697, ccks=404, wck=31.937, mem=47M287 36.46/34.14 decisions=2343654, wrong=1167113, backtracks=1111900, failedAssignments=204782, nogoods=343, foundSolutions=4, bestBound=5 36.46/34.14 36.46/34.15 num=117, depth=70..83, filters=2578901, ccks=404, wck=31.942, mem=47M287 36.46/34.15 decisions=2343967, wrong=1167233, backtracks=1111999, failedAssignments=204819, nogoods=345, foundSolutions=4, bestBound=5 36.46/34.15 36.46/34.15 num=118, depth=65..82, filters=2579213, ccks=404, wck=31.949, mem=47M287 36.46/34.15 decisions=2344361, wrong=1167395, backtracks=1112142, failedAssignments=204860, nogoods=347, foundSolutions=4, bestBound=5 36.46/34.15 36.46/34.16 num=119, depth=62..83, filters=2579825, ccks=404, wck=31.959, mem=47M287 36.46/34.16 decisions=2345008, wrong=1167682, backtracks=1112419, failedAssignments=204905, nogoods=349, foundSolutions=4, bestBound=5 36.46/34.16 36.46/34.18 num=120, depth=62..88, filters=2580573, ccks=404, wck=31.971, mem=47M287 36.46/34.18 decisions=2345780, wrong=1168030, backtracks=1112760, failedAssignments=204955, nogoods=352, foundSolutions=4, bestBound=5 36.46/34.18 36.46/34.18 num=121, depth=62..86, filters=2581166, ccks=404, wck=31.98, mem=47M287 36.46/34.18 decisions=2346395, wrong=1168301, backtracks=1113011, failedAssignments=205010, nogoods=355, foundSolutions=4, bestBound=5 36.46/34.18 36.56/34.20 num=122, depth=61..86, filters=2582037, ccks=404, wck=31.994, mem=47M287 36.56/34.20 decisions=2347276, wrong=1168703, backtracks=1113395, failedAssignments=205071, nogoods=358, foundSolutions=4, bestBound=5 36.56/34.20 36.56/34.21 num=123, depth=61..87, filters=2582825, ccks=404, wck=32.007, mem=47M287 36.56/34.21 decisions=2348057, wrong=1169060, backtracks=1113732, failedAssignments=205138, nogoods=361, foundSolutions=4, bestBound=5 36.56/34.21 36.56/34.22 num=124, depth=61..89, filters=2583432, ccks=404, wck=32.016, mem=47M287 36.56/34.22 decisions=2348685, wrong=1169339, backtracks=1113973, failedAssignments=205212, nogoods=364, foundSolutions=4, bestBound=5 36.56/34.22 36.56/34.24 num=125, depth=60..88, filters=2584739, ccks=404, wck=32.036, mem=47M287 36.56/34.24 decisions=2349979, wrong=1169953, backtracks=1114571, failedAssignments=205293, nogoods=367, foundSolutions=4, bestBound=5 36.56/34.24 36.56/34.26 num=126, depth=59..88, filters=2585963, ccks=404, wck=32.056, mem=50M323 36.56/34.26 decisions=2351227, wrong=1170537, backtracks=1115122, failedAssignments=205382, nogoods=370, foundSolutions=4, bestBound=5 36.56/34.26 36.56/34.28 num=127, depth=59..88, filters=2587202, ccks=404, wck=32.074, mem=50M323 36.56/34.28 decisions=2352455, wrong=1171115, backtracks=1115670, failedAssignments=205480, nogoods=373, foundSolutions=4, bestBound=5 36.56/34.28 36.67/34.30 num=128, depth=59..90, filters=2588946, ccks=404, wck=32.1, mem=50M323 36.67/34.30 decisions=2354160, wrong=1171936, backtracks=1116473, failedAssignments=205588, nogoods=376, foundSolutions=4, bestBound=5 36.67/34.30 36.67/34.33 num=129, depth=58..89, filters=2590790, ccks=404, wck=32.126, mem=50M323 36.67/34.33 decisions=2355951, wrong=1172792, backtracks=1117308, failedAssignments=205707, nogoods=379, foundSolutions=4, bestBound=5 36.67/34.33 36.67/34.35 num=130, depth=58..89, filters=2592564, ccks=404, wck=32.15, mem=50M323 36.67/34.35 decisions=2357661, wrong=1173613, backtracks=1118094, failedAssignments=205838, nogoods=382, foundSolutions=4, bestBound=5 36.67/34.35 36.67/34.38 num=131, depth=58..89, filters=2594297, ccks=404, wck=32.175, mem=53M358 36.67/34.38 decisions=2359382, wrong=1174439, backtracks=1118867, failedAssignments=205982, nogoods=385, foundSolutions=4, bestBound=5 36.67/34.38 36.78/34.41 num=132, depth=57..87, filters=2596796, ccks=404, wck=32.21, mem=53M358 36.78/34.41 decisions=2361793, wrong=1175611, backtracks=1119993, failedAssignments=206140, nogoods=388, foundSolutions=4, bestBound=5 36.78/34.41 36.78/34.45 num=133, depth=58..88, filters=2599095, ccks=404, wck=32.242, mem=53M358 36.78/34.45 decisions=2363983, wrong=1176669, backtracks=1121001, failedAssignments=206314, nogoods=391, foundSolutions=4, bestBound=5 36.78/34.45 36.78/34.49 num=134, depth=57..89, filters=2601975, ccks=404, wck=32.282, mem=53M358 36.78/34.49 decisions=2366709, wrong=1178001, backtracks=1122303, failedAssignments=206505, nogoods=394, foundSolutions=4, bestBound=5 36.78/34.49 36.88/34.53 num=135, depth=57..86, filters=2605277, ccks=404, wck=32.328, mem=56M393 36.88/34.53 decisions=2369844, wrong=1179537, backtracks=1123792, failedAssignments=206716, nogoods=397, foundSolutions=4, bestBound=5 36.88/34.53 36.88/34.58 num=136, depth=56..87, filters=2608837, ccks=404, wck=32.378, mem=56M393 36.88/34.58 decisions=2373245, wrong=1181202, backtracks=1125412, failedAssignments=206948, nogoods=400, foundSolutions=4, bestBound=5 36.88/34.58 36.98/34.64 num=137, depth=57..89, filters=2613193, ccks=404, wck=32.437, mem=59M429 36.98/34.64 decisions=2377373, wrong=1183236, backtracks=1127404, failedAssignments=207203, nogoods=402, foundSolutions=4, bestBound=5 36.98/34.64 37.08/34.70 num=138, depth=57..90, filters=2617331, ccks=404, wck=32.494, mem=59M429 37.08/34.70 decisions=2381309, wrong=1185165, backtracks=1129261, failedAssignments=207484, nogoods=405, foundSolutions=4, bestBound=5 37.08/34.70 37.08/34.77 num=139, depth=57..90, filters=2622515, ccks=404, wck=32.565, mem=62M464 37.08/34.77 decisions=2386240, wrong=1187591, backtracks=1131621, failedAssignments=207793, nogoods=408, foundSolutions=4, bestBound=5 37.08/34.77 37.18/34.85 num=140, depth=57..89, filters=2627989, ccks=404, wck=32.643, mem=65M500 37.18/34.85 decisions=2391450, wrong=1190162, backtracks=1134140, failedAssignments=208133, nogoods=411, foundSolutions=4, bestBound=5 37.18/34.85 37.28/34.93 num=141, depth=56..91, filters=2633717, ccks=404, wck=32.723, mem=65M500 37.28/34.93 decisions=2396856, wrong=1192830, backtracks=1136736, failedAssignments=208507, nogoods=414, foundSolutions=4, bestBound=5 37.28/34.93 37.39/35.02 num=142, depth=56..89, filters=2640426, ccks=404, wck=32.818, mem=68M535 37.39/35.02 decisions=2403252, wrong=1195993, backtracks=1139823, failedAssignments=208918, nogoods=417, foundSolutions=4, bestBound=5 37.39/35.02 37.49/35.17 num=143, depth=52..88, filters=2650533, ccks=404, wck=32.963, mem=74M606 37.49/35.17 decisions=2412986, wrong=1200826, backtracks=1144610, failedAssignments=209370, nogoods=420, foundSolutions=4, bestBound=5 37.49/35.17 37.60/35.29 num=144, depth=56..91, filters=2660026, ccks=404, wck=33.09, mem=77M641 37.60/35.29 decisions=2422018, wrong=1205308, backtracks=1149014, failedAssignments=209867, nogoods=423, foundSolutions=4, bestBound=5 37.60/35.29 37.80/35.42 num=145, depth=55..91, filters=2669490, ccks=404, wck=33.219, mem=80M677 37.80/35.42 decisions=2430970, wrong=1209752, backtracks=1153382, failedAssignments=210414, nogoods=426, foundSolutions=4, bestBound=5 37.80/35.42 37.90/35.59 num=146, depth=52..90, filters=2681225, ccks=404, wck=33.388, mem=83M712 37.90/35.59 decisions=2442156, wrong=1215306, backtracks=1158865, failedAssignments=211016, nogoods=429, foundSolutions=4, bestBound=5 37.90/35.59 38.10/35.74 num=147, depth=56..91, filters=2692558, ccks=404, wck=33.539, mem=89M783 38.10/35.74 decisions=2452832, wrong=1220609, backtracks=1164018, failedAssignments=211678, nogoods=432, foundSolutions=4, bestBound=5 38.10/35.74 38.30/35.92 num=148, depth=55..90, filters=2705507, ccks=404, wck=33.72, mem=92M819 38.30/35.92 decisions=2465081, wrong=1226706, backtracks=1169984, failedAssignments=212406, nogoods=435, foundSolutions=4, bestBound=5 38.30/35.92 38.51/36.18 num=149, depth=51..90, filters=2723307, ccks=404, wck=33.971, mem=101M925 38.51/36.18 decisions=2482259, wrong=1235260, backtracks=1178439, failedAssignments=213207, nogoods=438, foundSolutions=4, bestBound=5 38.51/36.18 38.80/36.45 num=150, depth=52..89, filters=2742977, ccks=404, wck=34.245, mem=107M996 38.80/36.45 decisions=2501184, wrong=1244685, backtracks=1187713, failedAssignments=214088, nogoods=440, foundSolutions=4, bestBound=5 38.80/36.45 39.00/36.62 num=151, depth=61..91, filters=2755191, ccks=404, wck=34.412, mem=111M31 39.00/36.62 decisions=2512820, wrong=1250464, backtracks=1193236, failedAssignments=215058, nogoods=443, foundSolutions=4, bestBound=5 39.00/36.62 39.20/36.80 num=152, depth=60..90, filters=2769835, ccks=404, wck=34.594, mem=117M102 39.20/36.80 decisions=2526303, wrong=1257169, backtracks=1199668, failedAssignments=216125, nogoods=446, foundSolutions=4, bestBound=5 39.20/36.80 39.30/37.00 num=153, depth=61..90, filters=2786334, ccks=404, wck=34.798, mem=123M173 39.30/37.00 decisions=2541610, wrong=1264782, backtracks=1207053, failedAssignments=217298, nogoods=449, foundSolutions=4, bestBound=5 39.30/37.00 39.60/37.25 num=154, depth=61..91, filters=2805311, ccks=404, wck=35.044, mem=126M209 39.60/37.25 decisions=2559362, wrong=1273626, backtracks=1215598, failedAssignments=218589, nogoods=452, foundSolutions=4, bestBound=5 39.60/37.25 39.80/37.49 num=155, depth=58..89, filters=2824110, ccks=404, wck=35.284, mem=132M279 39.80/37.49 decisions=2576682, wrong=1282246, backtracks=1223827, failedAssignments=220009, nogoods=455, foundSolutions=4, bestBound=5 39.80/37.49 40.10/37.76 num=156, depth=60..91, filters=2844823, ccks=404, wck=35.552, mem=138M350 40.10/37.76 decisions=2595721, wrong=1291731, backtracks=1232942, failedAssignments=221571, nogoods=458, foundSolutions=4, bestBound=5 40.10/37.76 40.41/38.06 num=157, depth=60..92, filters=2868686, ccks=404, wck=35.855, mem=147M457 40.41/38.06 decisions=2617809, wrong=1302743, backtracks=1243539, failedAssignments=223289, nogoods=461, foundSolutions=4, bestBound=5 40.41/38.06 40.80/38.41 num=158, depth=57..90, filters=2896017, ccks=404, wck=36.209, mem=156M563 40.80/38.41 decisions=2643138, wrong=1315372, backtracks=1255813, failedAssignments=225179, nogoods=464, foundSolutions=4, bestBound=5 40.80/38.41 41.10/38.77 num=159, depth=60..91, filters=2924655, ccks=404, wck=36.567, mem=162M634 41.10/38.77 decisions=2669531, wrong=1328526, backtracks=1268547, failedAssignments=227258, nogoods=467, foundSolutions=4, bestBound=5 41.10/38.77 41.54/39.18 num=160, depth=57..90, filters=2956162, ccks=404, wck=36.975, mem=22M951 41.54/39.18 decisions=2698578, wrong=1343013, backtracks=1282440, failedAssignments=229545, nogoods=470, foundSolutions=4, bestBound=5 41.54/39.18 42.03/39.69 num=161, depth=54..90, filters=2996045, ccks=404, wck=37.484, mem=37M823 42.03/39.69 decisions=2735784, wrong=1361578, backtracks=1300467, failedAssignments=232061, nogoods=473, foundSolutions=4, bestBound=5 42.03/39.69 42.63/40.22 num=162, depth=57..91, filters=3036655, ccks=404, wck=38.013, mem=49M722 42.63/40.22 decisions=2773479, wrong=1380390, backtracks=1318553, failedAssignments=234829, nogoods=476, foundSolutions=4, bestBound=5 42.63/40.22 43.23/40.82 num=163, depth=53..90, filters=3083825, ccks=404, wck=38.618, mem=64M594 43.23/40.82 decisions=2817384, wrong=1402303, backtracks=1339715, failedAssignments=237873, nogoods=479, foundSolutions=4, bestBound=5 43.23/40.82 43.83/41.49 num=164, depth=54..91, filters=3136211, ccks=404, wck=39.285, mem=82M441 43.83/41.49 decisions=2866169, wrong=1426664, backtracks=1363271, failedAssignments=241222, nogoods=482, foundSolutions=4, bestBound=5 43.83/41.49 44.63/42.27 num=165, depth=54..91, filters=3195643, ccks=404, wck=40.068, mem=100M288 44.63/42.27 decisions=2921974, wrong=1454529, backtracks=1390380, failedAssignments=244906, nogoods=485, foundSolutions=4, bestBound=5 44.63/42.27 45.54/43.12 num=166, depth=51..91, filters=3261137, ccks=404, wck=40.914, mem=124M85 45.54/43.12 decisions=2983228, wrong=1485117, backtracks=1419987, failedAssignments=248958, nogoods=488, foundSolutions=4, bestBound=5 45.54/43.12 46.54/44.12 num=167, depth=51..90, filters=3337822, ccks=404, wck=41.914, mem=147M881 46.54/44.12 decisions=3055623, wrong=1521287, backtracks=1455141, failedAssignments=253415, nogoods=491, foundSolutions=4, bestBound=5 46.54/44.12 47.66/45.28 num=168, depth=49..90, filters=3422217, ccks=404, wck=43.08, mem=28M790 47.66/45.28 decisions=3135702, wrong=1561298, backtracks=1494111, failedAssignments=258318, nogoods=494, foundSolutions=4, bestBound=5 47.66/45.28 48.96/46.50 num=169, depth=48..91, filters=3515848, ccks=404, wck=44.295, mem=63M916 48.96/46.50 decisions=3224918, wrong=1605868, backtracks=1537414, failedAssignments=263712, nogoods=497, foundSolutions=4, bestBound=5 48.96/46.50 50.36/47.95 num=170, depth=46..91, filters=3621709, ccks=404, wck=45.749, mem=101M968 50.36/47.95 decisions=3327466, wrong=1657104, backtracks=1587292, failedAssignments=269645, nogoods=500, foundSolutions=4, bestBound=5 50.36/47.95 51.86/49.44 num=171, depth=45..91, filters=3734563, ccks=404, wck=47.24, mem=145M875 51.86/49.44 decisions=3435114, wrong=1710895, backtracks=1639290, failedAssignments=276171, nogoods=503, foundSolutions=4, bestBound=5 51.86/49.44 54.37/51.94 num=172, depth=39..91, filters=3913365, ccks=404, wck=49.739, mem=71M811 54.37/51.94 decisions=3607017, wrong=1796820, backtracks=1724040, failedAssignments=283350, nogoods=506, foundSolutions=4, bestBound=5 54.37/51.94 57.07/54.67 num=173, depth=39..91, filters=4111755, ccks=404, wck=52.463, mem=152M393 57.07/54.67 decisions=3797673, wrong=1892120, backtracks=1818143, failedAssignments=291247, nogoods=509, foundSolutions=4, bestBound=5 57.07/54.67 60.08/57.66 num=174, depth=40..91, filters=4328253, ccks=404, wck=55.452, mem=96M353 60.08/57.66 decisions=4006426, wrong=1996463, backtracks=1921190, failedAssignments=299934, nogoods=512, foundSolutions=4, bestBound=5 60.08/57.66 63.38/60.95 num=175, depth=36..90, filters=4568995, ccks=404, wck=58.743, mem=58M879 63.38/60.95 decisions=4237358, wrong=2111899, backtracks=2034983, failedAssignments=309489, nogoods=515, foundSolutions=4, bestBound=5 63.38/60.95 66.90/64.48 num=176, depth=38..91, filters=4828069, ccks=404, wck=62.279, mem=25M492 66.90/64.48 decisions=4486059, wrong=2236213, backtracks=2157524, failedAssignments=320000, nogoods=518, foundSolutions=4, bestBound=5 66.90/64.48 71.41/68.99 num=177, depth=34..92, filters=5146240, ccks=404, wck=66.781, mem=25M409 71.41/68.99 decisions=4793344, wrong=2389829, backtracks=2309527, failedAssignments=331562, nogoods=521, foundSolutions=4, bestBound=5 71.41/68.99 76.01/73.50 num=178, depth=35..91, filters=5473467, ccks=404, wck=71.293, mem=28M0 76.01/73.50 decisions=5108267, wrong=2547255, backtracks=2464943, failedAssignments=344280, nogoods=524, foundSolutions=4, bestBound=5 76.01/73.50 81.42/78.94 num=179, depth=32..91, filters=5858698, ccks=404, wck=76.737, mem=66M843 81.42/78.94 decisions=5479870, wrong=2733022, backtracks=2648677, failedAssignments=358270, nogoods=527, foundSolutions=4, bestBound=5 81.42/78.94 87.23/84.76 num=180, depth=31..91, filters=6271020, ccks=404, wck=82.553, mem=119M782 87.23/84.76 decisions=5877065, wrong=2931598, backtracks=2844863, failedAssignments=373659, nogoods=529, foundSolutions=4, bestBound=5 87.23/84.76 93.84/91.34 num=181, depth=31..90, filters=6741165, ccks=404, wck=89.132, mem=74M523 93.84/91.34 decisions=6331611, wrong=3158850, backtracks=3069661, failedAssignments=390587, nogoods=532, foundSolutions=4, bestBound=5 93.84/91.34 101.45/98.94 num=182, depth=28..91, filters=7279103, ccks=404, wck=96.74, mem=72M687 101.45/98.94 decisions=6852361, wrong=3419191, backtracks=3327626, failedAssignments=409208, nogoods=535, foundSolutions=4, bestBound=5 101.45/98.94 109.67/107.11 num=183, depth=27..92, filters=7857454, ccks=404, wck=104.907, mem=101M606 109.67/107.11 decisions=7413702, wrong=3699825, backtracks=3605351, failedAssignments=429692, nogoods=538, foundSolutions=4, bestBound=5 109.67/107.11 119.29/116.73 num=184, depth=25..91, filters=8528267, ccks=404, wck=114.527, mem=69M334 119.29/116.73 decisions=8065494, wrong=4025688, backtracks=3928066, failedAssignments=452224, nogoods=541, foundSolutions=4, bestBound=5 119.29/116.73 130.51/127.97 num=185, depth=23..91, filters=9318727, ccks=404, wck=125.764, mem=110M97 130.51/127.97 decisions=8838359, wrong=4412084, backtracks=4310817, failedAssignments=477009, nogoods=544, foundSolutions=4, bestBound=5 130.51/127.97 142.53/139.95 num=186, depth=24..92, filters=10155180, ccks=404, wck=137.75, mem=68M576 142.53/139.95 decisions=9655604, wrong=4820669, backtracks=4715280, failedAssignments=504273, nogoods=547, foundSolutions=4, bestBound=5 142.53/139.95 156.68/154.07 num=187, depth=20..91, filters=11114642, ccks=404, wck=151.864, mem=49M11 156.68/154.07 decisions=10596938, wrong=5291315, backtracks=5181815, failedAssignments=534263, nogoods=550, foundSolutions=4, bestBound=5 156.68/154.07 171.50/168.82 num=188, depth=20..91, filters=12130870, ccks=404, wck=166.615, mem=81M680 171.50/168.82 decisions=11598305, wrong=5791970, backtracks=5676687, failedAssignments=567252, nogoods=553, foundSolutions=4, bestBound=5 171.50/168.82 189.15/186.44 num=189, depth=17..91, filters=13343147, ccks=404, wck=184.238, mem=75M58 189.15/186.44 decisions=12796486, wrong=6391035, backtracks=6270692, failedAssignments=603540, nogoods=556, foundSolutions=4, bestBound=5 189.15/186.44 209.61/206.85 num=190, depth=13..91, filters=14727120, ccks=404, wck=204.642, mem=89M277 209.61/206.85 decisions=14167464, wrong=7076486, backtracks=6950569, failedAssignments=643457, nogoods=559, foundSolutions=4, bestBound=5 209.61/206.85 231.08/228.28 num=191, depth=14..91, filters=16181190, ccks=404, wck=226.073, mem=88M853 231.08/228.28 decisions=15619502, wrong=7802480, backtracks=7668923, failedAssignments=687366, nogoods=562, foundSolutions=4, bestBound=5 231.08/228.28 255.75/252.80 num=192, depth=11..91, filters=17831018, ccks=404, wck=250.594, mem=82M360 255.75/252.80 decisions=17275132, wrong=8630259, backtracks=8489324, failedAssignments=735666, nogoods=565, foundSolutions=4, bestBound=5 255.75/252.80 282.06/279.08 num=193, depth=9..92, filters=19605309, ccks=404, wck=276.877, mem=21M530 282.06/279.08 decisions=19058215, wrong=9521765, backtracks=9370562, failedAssignments=788796, nogoods=568, foundSolutions=4, bestBound=5 282.06/279.08 311.05/307.96 num=194, depth=6..90, filters=21489826, ccks=404, wck=305.751, mem=32M315 311.05/307.96 decisions=20969337, wrong=10477287, backtracks=10314449, failedAssignments=847239, nogoods=570, foundSolutions=4, bestBound=5 311.05/307.96 342.76/339.58 342.76/339.58 New Bounds: 5..4 342.76/339.58 num=195, depth=0..90, filters=23444510, ccks=404, wck=337.376, mem=51M772 342.76/339.58 decisions=22964957, wrong=11475098, backtracks=11295647, failedAssignments=907771, foundSolutions=4, bestBound=5 342.76/339.58 342.76/339.58 Global 342.76/339.58 filters=23444510, ccks=404 342.76/339.58 Stop=FULL_EXPLORATION, wrong=11475098, bestBound=5, bestBoundWck=26.043, bestBoundCpu=27.818, foundSolutions=4, firstSolCpu=2.19 342.76/339.58 wck=337.738, cpu=339.07, mem=51M772 342.76/339.58 342.76/339.58 v <instantiation id='sol4' type='solution' cost='5'> <list> x[] </list> <values> 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 </values> </instantiation> 342.76/339.58 s OPTIMUM FOUND 342.76/339.58 342.76/339.58 d WRONG_DECISIONS 11475098 342.76/339.58 d NUMBER_SOLUTIONS 4
OK 5
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 (14595 MiB free) memory of node 1: 16384 MiB (15254 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390944-1568385038/watcher-4390944-1568385038 -o /tmp/evaluation-result-4390944-1568385038/solver-4390944-1568385038 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1568376840-4291 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4390944-1568385038.xml -cm running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=5713, runsolver pid=5710 [startup+0.101508 s]* /proc/loadavg: 1.69 1.82 1.95 5/227 5728 /proc/meminfo: memFree=30550888/32770624 swapFree=66997144/67108860 [pid=5713] ppid=5710 vsize=10659884 memory=29704 CPUtime=0.14 cores=1,3,5,7 /proc/5713/stat : 5713 (java) S 5710 5713 4259 0 -1 1077944320 5908 0 0 0 12 2 0 0 20 0 15 0 414758407 10915721216 7426 33554432000 4194304 4196468 140737249932624 140737249915168 139885473206007 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 29388800 140737249940491 140737249940594 140737249940594 140737249943503 0 /proc/5713/statm: 2664971 7426 2911 1 0 2627468 0 [pid=5713/tid=5715] ppid=5710 vsize=10659884 memory=-8617482348318186131 CPUtime=0.09 cores=1,3,5,7 /proc/5713/task/5715/stat : 5715 (java) R 5710 5713 4259 0 -1 4202560 3280 0 0 0 8 1 0 0 20 0 15 0 414758407 10915721216 7426 33554432000 4194304 4196468 140737249932624 139885477436448 139885473227354 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29388800 140737249940491 140737249940594 140737249940594 140737249943503 0 [pid=5713/tid=5716] ppid=5710 vsize=10659884 memory=-9181546050914066336 CPUtime=0 cores=1,3,5,7 /proc/5713/task/5716/stat : 5716 (java) S 5710 5713 4259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414758408 10915721216 7426 33554432000 4194304 4196468 140737249932624 139885409897488 139885473216213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29388800 140737249940491 140737249940594 140737249940594 140737249943503 0 [pid=5713/tid=5717] ppid=5710 vsize=10659884 memory=139783503390336 CPUtime=0 cores=1,3,5,7 /proc/5713/task/5717/stat : 5717 (java) S 5710 5713 4259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414758408 10915721216 7426 33554432000 4194304 4196468 140737249932624 139885408844944 139885473216213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29388800 140737249940491 140737249940594 140737249940594 140737249943503 0 [pid=5713/tid=5718] ppid=5710 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7 /proc/5713/task/5718/stat : 5718 (java) S 5710 5713 4259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414758408 10915721216 7426 33554432000 4194304 4196468 140737249932624 139885077719824 139885473216213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29388800 140737249940491 140737249940594 140737249940594 140737249943503 0 [pid=5713/tid=5719] ppid=5710 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/5713/task/5719/stat : 5719 (java) S 5710 5713 4259 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414758408 10915721216 7426 33554432000 4194304 4196468 140737249932624 139885076667280 139885473216213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29388800 140737249940491 140737249940594 140737249940594 140737249943503 0 [pid=5713/tid=5720] ppid=5710 vsize=10659884 memory=139783503390336 CPUtime=0 cores=1,3,5,7 /proc/5713/task/5720/stat : 5720 (java) S 5710 5713 4259 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414758410 10915721216 7426 33554432000 4194304 4196468 140737249932624 139884965128432 139885473217154 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29388800 140737249940491 140737249940594 140737249940594 140737249943503 0 [pid=5713/tid=5721] ppid=5710 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/5713/task/5721/stat : 5721 (java) S 5710 5713 4259 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414758410 10915721216 7426 33554432000 4194304 4196468 140737249932624 139884964074656 139885473216213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29388800 140737249940491 140737249940594 140737249940594 140737249943503 0 [pid=5713/tid=5722] ppid=5710 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7 /proc/5713/task/5722/stat : 5722 (java) S 5710 5713 4259 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414758410 10915721216 7426 33554432000 4194304 4196468 140737249932624 139884963021552 139885473216213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29388800 140737249940491 140737249940594 140737249940594 140737249943503 0 [pid=5713/tid=5723] ppid=5710 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7 /proc/5713/task/5723/stat : 5723 (java) S 5710 5713 4259 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414758413 10915721216 7426 33554432000 4194304 4196468 140737249932624 139884961970128 139885473224603 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29388800 140737249940491 140737249940594 140737249940594 140737249943503 0 [pid=5713/tid=5724] ppid=5710 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7 /proc/5713/task/5724/stat : 5724 (java) R 5710 5713 4259 0 -1 1077944384 466 0 0 0 0 0 0 0 20 0 15 0 414758413 10915721216 7426 33554432000 4194304 4196468 140737249932624 139884960918256 139885473217154 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29388800 140737249940491 140737249940594 140737249940594 140737249943503 0 [pid=5713/tid=5725] ppid=5710 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/5713/task/5725/stat : 5725 (java) R 5710 5713 4259 0 -1 4202560 232 0 0 0 0 0 0 0 20 0 15 0 414758413 10915721216 7426 33554432000 4194304 4196468 140737249932624 139884959865712 139885457472722 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29388800 140737249940491 140737249940594 140737249940594 140737249943503 0 [pid=5713/tid=5726] ppid=5710 vsize=10659884 memory=139783503390336 CPUtime=0.02 cores=1,3,5,7 /proc/5713/task/5726/stat : 5726 (java) R 5710 5713 4259 0 -1 4202560 586 0 0 0 2 0 0 0 20 0 15 0 414758413 10915721216 7426 33554432000 4194304 4196468 140737249932624 139884958808600 139885473217942 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29388800 140737249940491 140737249940594 140737249940594 140737249943503 0 [pid=5713/tid=5727] ppid=5710 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/5713/task/5727/stat : 5727 (java) S 5710 5713 4259 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414758413 10915721216 7426 33554432000 4194304 4196468 140737249932624 139884957760352 139885473216213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29388800 140737249940491 140737249940594 140737249940594 140737249943503 0 [pid=5713/tid=5728] ppid=5710 vsize=10659884 memory=139783503390336 CPUtime=0 cores=1,3,5,7 /proc/5713/task/5728/stat : 5728 (java) S 5710 5713 4259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414758413 10915721216 7426 33554432000 4194304 4196468 140737249932624 139884956707376 139885473217154 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29388800 140737249940491 140737249940594 140737249940594 140737249943503 0 Current children cumulated CPU time: 0.14 s Current children cumulated vsize: 10659884 KiB Current children cumulated memory: 29704 KiB [startup+0.210842 s]* /proc/loadavg: 1.69 1.82 1.95 3/227 5728 /proc/meminfo: memFree=30543668/32770624 swapFree=66997144/67108860 [pid=5713] ppid=5710 vsize=10659884 memory=35000 CPUtime=0.32 cores=1,3,5,7 /proc/5713/stat : 5713 (java) S 5710 5713 4259 0 -1 1077944320 6838 0 0 0 30 2 0 0 20 0 15 0 414758407 10915721216 8750 33554432000 4194304 4196468 140737249932624 140737249915168 139885473206007 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 29388800 140737249940491 140737249940594 140737249940594 140737249943503 0 /proc/5713/statm: 2664971 8750 2989 1 0 2627468 0 [pid=5713/tid=5715] ppid=5710 vsize=10659884 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7 /proc/5713/task/5715/stat : 5715 (java) R 5710 5713 4259 0 -1 4202560 3867 0 0 0 19 1 0 0 20 0 15 0 414758407 10915721216 8750 33554432000 4194304 4196468 140737249932624 139885477438096 139885473227933 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29388800 140737249940491 140737249940594 140737249940594 140737249943503 0 [pid=5713/tid=5716] ppid=5710 vsize=10659884 memory=339 CPUtime=0 cores=1,3,5,7 /proc/5713/task/5716/stat : 5716 (java) S 5710 5713 4259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414758408 10915721216 8750 33554432000 4194304 4196468 140737249932624 139885409897488 139885473216213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29388800 140737249940491 140737249940594 140737249940594 140737249943503 0 [pid=5713/tid=5717] ppid=5710 vsize=10659884 memory=139783503403382 CPUtime=0 cores=1,3,5,7 /proc/5713/task/5717/stat : 5717 (java) S 5710 5713 4259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414758408 10915721216 8750 33554432000 4194304 4196468 140737249932624 139885408844944 139885473216213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29388800 140737249940491 140737249940594 140737249940594 140737249943503 0 [pid=5713/tid=5718] ppid=5710 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7 /proc/5713/task/5718/stat : 5718 (java) S 5710 5713 4259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414758408 10915721216 8750 33554432000 4194304 4196468 140737249932624 139885077719824 139885473216213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29388800 140737249940491 140737249940594 140737249940594 140737249943503 0 [pid=5713/tid=5719] ppid=5710 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/5713/task/5719/stat : 5719 (java) S 5710 5713 4259 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414758408 10915721216 8750 33554432000 4194304 4196468 140737249932624 139885076667280 139885473216213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29388800 140737249940491 140737249940594 140737249940594 140737249943503 0 [pid=5713/tid=5720] ppid=5710 vsize=10659884 memory=139783503390336 CPUtime=0 cores=1,3,5,7 /proc/5713/task/5720/stat : 5720 (java) S 5710 5713 4259 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414758410 10915721216 8750 33554432000 4194304 4196468 140737249932624 139884965128432 139885473217154 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29388800 140737249940491 140737249940594 140737249940594 140737249943503 0 [pid=5713/tid=5721] ppid=5710 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/5713/task/5721/stat : 5721 (java) S 5710 5713 4259 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414758410 10915721216 8750 33554432000 4194304 4196468 140737249932624 139884964074656 139885473216213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29388800 140737249940491 140737249940594 140737249940594 140737249943503 0 [pid=5713/tid=5722] ppid=5710 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7 /proc/5713/task/5722/stat : 5722 (java) S 5710 5713 4259 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414758410 10915721216 8750 33554432000 4194304 4196468 140737249932624 139884963021552 139885473216213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29388800 140737249940491 140737249940594 140737249940594 140737249943503 0 [pid=5713/tid=5723] ppid=5710 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7 /proc/5713/task/5723/stat : 5723 (java) S 5710 5713 4259 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414758413 10915721216 8750 33554432000 4194304 4196468 140737249932624 139884961970128 139885473224603 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29388800 140737249940491 140737249940594 140737249940594 140737249943503 0 [pid=5713/tid=5724] ppid=5710 vsize=10659884 memory=0 CPUtime=0.02 cores=1,3,5,7 /proc/5713/task/5724/stat : 5724 (java) S 5710 5713 4259 0 -1 1077944384 545 0 0 0 2 0 0 0 20 0 15 0 414758413 10915721216 8750 33554432000 4194304 4196468 140737249932624 139884960918256 139885473217154 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29388800 140737249940491 140737249940594 140737249940594 140737249943503 0 [pid=5713/tid=5725] ppid=5710 vsize=10659884 memory=-1 CPUtime=0.03 cores=1,3,5,7 /proc/5713/task/5725/stat : 5725 (java) S 5710 5713 4259 0 -1 1077944384 448 0 0 0 3 0 0 0 20 0 15 0 414758413 10915721216 8750 33554432000 4194304 4196468 140737249932624 139884959865712 139885473217154 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29388800 140737249940491 140737249940594 140737249940594 140737249943503 0 [pid=5713/tid=5726] ppid=5710 vsize=10659884 memory=139783503390336 CPUtime=0.05 cores=1,3,5,7 /proc/5713/task/5726/stat : 5726 (java) S 5710 5713 4259 0 -1 1077944384 619 0 0 0 5 0 0 0 20 0 15 0 414758413 10915721216 8750 33554432000 4194304 4196468 140737249932624 139884958812656 139885473217154 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29388800 140737249940491 140737249940594 140737249940594 140737249943503 0 [pid=5713/tid=5727] ppid=5710 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/5713/task/5727/stat : 5727 (java) S 5710 5713 4259 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414758413 10915721216 8750 33554432000 4194304 4196468 140737249932624 139884957760352 139885473216213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29388800 140737249940491 140737249940594 140737249940594 140737249943503 0 [pid=5713/tid=5728] ppid=5710 vsize=10659884 memory=139783503390336 CPUtime=0 cores=1,3,5,7 /proc/5713/task/5728/stat : 5728 (java) S 5710 5713 4259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414758413 10915721216 8750 33554432000 4194304 4196468 140737249932624 139884956707376 139885473217154 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29388800 140737249940491 140737249940594 140737249940594 140737249943503 0 Current children cumulated CPU time: 0.32 s Current children cumulated vsize: 10659884 KiB Current children cumulated memory: 35000 KiB [startup+0.310067 s]* /proc/loadavg: 1.72 1.83 1.95 3/227 5728 /proc/meminfo: memFree=30535204/32770624 swapFree=66997144/67108860 [pid=5713] ppid=5710 vsize=10659884 memory=40448 CPUtime=0.47 cores=1,3,5,7 /proc/5713/stat : 5713 (java) S 5710 5713 4259 0 -1 1077944320 9433 0 0 0 43 4 0 0 20 0 15 0 414758407 10915721216 10112 33554432000 4194304 4196468 140737249932624 140737249915168 139885473206007 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 29388800 140737249940491 140737249940594 140737249940594 140737249943503 0 /proc/5713/statm: 2664971 10112 3027 1 0 2627468 0 [pid=5713/tid=5715] ppid=5710 vsize=10659884 memory=7311146985107750967 CPUtime=0.29 cores=1,3,5,7 /proc/5713/task/5715/stat : 5715 (java) R 5710 5713 4259 0 -1 4202560 6350 0 0 0 27 2 0 0 20 0 15 0 414758407 10915721216 10112 33554432000 4194304 4196468 140737249932624 139885477438416 139885473227354 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29388800 140737249940491 140737249940594 140737249940594 140737249943503 0 [pid=5713/tid=5716] ppid=5710 vsize=10659884 memory=2669794 CPUtime=0 cores=1,3,5,7 /proc/5713/task/5716/stat : 5716 (java) S 5710 5713 4259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414758408 10915721216 10112 33554432000 4194304 4196468 140737249932624 139885409897488 139885473216213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29388800 140737249940491 140737249940594 140737249940594 140737249943503 0 [pid=5713/tid=5717] ppid=5710 vsize=10659884 memory=139783506200876 CPUtime=0 cores=1,3,5,7 /proc/5713/task/5717/stat : 5717 (java) S 5710 5713 4259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414758408 10915721216 10112 33554432000 4194304 4196468 140737249932624 139885408844944 139885473216213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29388800 140737249940491 140737249940594 140737249940594 140737249943503 0 [pid=5713/tid=5718] ppid=5710 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7 /proc/5713/task/5718/stat : 5718 (java) S 5710 5713 4259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414758408 10915721216 10112 33554432000 4194304 4196468 140737249932624 139885077719824 139885473216213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29388800 140737249940491 140737249940594 140737249940594 140737249943503 0 [pid=5713/tid=5719] ppid=5710 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/5713/task/5719/stat : 5719 (java) S 5710 5713 4259 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414758408 10915721216 10112 33554432000 4194304 4196468 140737249932624 139885076667280 139885473216213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29388800 140737249940491 140737249940594 140737249940594 140737249943503 0 [pid=5713/tid=5720] ppid=5710 vsize=10659884 memory=139783503390336 CPUtime=0 cores=1,3,5,7 /proc/5713/task/5720/stat : 5720 (java) S 5710 5713 4259 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414758410 10915721216 10112 33554432000 4194304 4196468 140737249932624 139884965128432 139885473217154 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29388800 140737249940491 140737249940594 140737249940594 140737249943503 0 [pid=5713/tid=5721] ppid=5710 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/5713/task/5721/stat : 5721 (java) S 5710 5713 4259 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414758410 10915721216 10112 33554432000 4194304 4196468 140737249932624 139884964074656 139885473216213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29388800 140737249940491 140737249940594 140737249940594 140737249943503 0 [pid=5713/tid=5722] ppid=5710 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7 /proc/5713/task/5722/stat : 5722 (java) S 5710 5713 4259 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414758410 10915721216 10112 33554432000 4194304 4196468 140737249932624 139884963021552 139885473216213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29388800 140737249940491 140737249940594 140737249940594 140737249943503 0 [pid=5713/tid=5723] ppid=5710 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7 /proc/5713/task/5723/stat : 5723 (java) S 5710 5713 4259 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414758413 10915721216 10112 33554432000 4194304 4196468 140737249932624 139884961970128 139885473224603 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29388800 140737249940491 140737249940594 140737249940594 140737249943503 0 [pid=5713/tid=5724] ppid=5710 vsize=10659884 memory=0 CPUtime=0.04 cores=1,3,5,7 /proc/5713/task/5724/stat : 5724 (java) S 5710 5713 4259 0 -1 1077944384 612 0 0 0 4 0 0 0 20 0 15 0 414758413 10915721216 10112 33554432000 4194304 4196468 140737249932624 139884960918256 139885473217154 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29388800 140737249940491 140737249940594 140737249940594 140737249943503 0 [pid=5713/tid=5725] ppid=5710 vsize=10659884 memory=-1 CPUtime=0.04 cores=1,3,5,7 /proc/5713/task/5725/stat : 5725 (java) R 5710 5713 4259 0 -1 4202560 469 0 0 0 4 0 0 0 20 0 15 0 414758413 10915721216 10112 33554432000 4194304 4196468 140737249932624 139884959857216 139885457173999 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29388800 140737249940491 140737249940594 140737249940594 140737249943503 0 [pid=5713/tid=5726] ppid=5710 vsize=10659884 memory=139783503390336 CPUtime=0.08 cores=1,3,5,7 /proc/5713/task/5726/stat : 5726 (java) S 5710 5713 4259 0 -1 1077944384 645 0 0 0 8 0 0 0 20 0 15 0 414758413 10915721216 10112 33554432000 4194304 4196468 140737249932624 139884958812656 139885473217154 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29388800 140737249940491 140737249940594 140737249940594 140737249943503 0 [pid=5713/tid=5727] ppid=5710 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/5713/task/5727/stat : 5727 (java) S 5710 5713 4259 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414758413 10915721216 10112 33554432000 4194304 4196468 140737249932624 139884957760352 139885473216213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29388800 140737249940491 140737249940594 140737249940594 140737249943503 0 [pid=5713/tid=5728] ppid=5710 vsize=10659884 memory=139783503390336 CPUtime=0 cores=1,3,5,7 /proc/5713/task/5728/stat : 5728 (java) S 5710 5713 4259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414758413 10915721216 10112 33554432000 4194304 4196468 140737249932624 139884956707376 139885473217154 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29388800 140737249940491 140737249940594 140737249940594 140737249943503 0 Current children cumulated CPU time: 0.47 s Current children cumulated vsize: 10659884 KiB Current children cumulated memory: 40448 KiB [startup+0.700871 s] /proc/loadavg: 1.72 1.83 1.95 3/227 5728 /proc/meminfo: memFree=30526300/32770624 swapFree=66997144/67108860 [pid=5713] ppid=5710 vsize=10661932 memory=64004 CPUtime=1.11 cores=1,3,5,7 /proc/5713/stat : 5713 (java) S 5710 5713 4259 0 -1 1077944320 13110 0 0 0 105 6 0 0 20 0 15 0 414758407 10917818368 16001 33554432000 4194304 4196468 140737249932624 140737249915168 139885473206007 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 29388800 140737249940491 140737249940594 140737249940594 140737249943503 0 /proc/5713/statm: 2665483 16001 3065 1 0 2627980 0 [pid=5713/tid=5715] ppid=5710 vsize=10661932 memory=9808 CPUtime=0.68 cores=1,3,5,7 /proc/5713/task/5715/stat : 5715 (java) R 5710 5713 4259 0 -1 4202560 8888 0 0 0 64 4 0 0 20 0 15 0 414758407 10917818368 16001 33554432000 4194304 4196468 140737249932624 139885477428944 139885452781896 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29388800 140737249940491 140737249940594 140737249940594 140737249943503 0 [pid=5713/tid=5716] ppid=5710 vsize=10661932 memory=12024 CPUtime=0 cores=1,3,5,7 /proc/5713/task/5716/stat : 5716 (java) S 5710 5713 4259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414758408 10917818368 16001 33554432000 4194304 4196468 140737249932624 139885409897488 139885473216213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29388800 140737249940491 140737249940594 140737249940594 140737249943503 0 [pid=5713/tid=5717] ppid=5710 vsize=10661932 memory=1556 CPUtime=0 cores=1,3,5,7 /proc/5713/task/5717/stat : 5717 (java) S 5710 5713 4259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414758408 10917818368 16001 33554432000 4194304 4196468 140737249932624 139885408844944 139885473216213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29388800 140737249940491 140737249940594 140737249940594 140737249943503 0 [pid=5713/tid=5718] ppid=5710 vsize=10661932 memory=500 CPUtime=0 cores=1,3,5,7 /proc/5713/task/5718/stat : 5718 (java) S 5710 5713 4259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414758408 10917818368 16001 33554432000 4194304 4196468 140737249932624 139885077719824 139885473216213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29388800 140737249940491 140737249940594 140737249940594 140737249943503 0 [pid=5713/tid=5719] ppid=5710 vsize=10661932 memory=928 CPUtime=0 cores=1,3,5,7 /proc/5713/task/5719/stat : 5719 (java) S 5710 5713 4259 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414758408 10917818368 16001 33554432000 4194304 4196468 140737249932624 139885076667280 139885473216213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29388800 140737249940491 140737249940594 140737249940594 140737249943503 0 [pid=5713/tid=5720] ppid=5710 vsize=10661932 memory=1528 CPUtime=0 cores=1,3,5,7 /proc/5713/task/5720/stat : 5720 (java) S 5710 5713 4259 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414758410 10917818368 16001 33554432000 4194304 4196468 140737249932624 139884965128432 139885473217154 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29388800 140737249940491 140737249940594 140737249940594 140737249943503 0 [pid=5713/tid=5721] ppid=5710 vsize=10661932 memory=1448 CPUtime=0 cores=1,3,5,7 /proc/5713/task/5721/stat : 5721 (java) S 5710 5713 4259 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414758410 10917818368 16001 33554432000 4194304 4196468 140737249932624 139884964074656 139885473216213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29388800 140737249940491 140737249940594 140737249940594 140737249943503 0 [pid=5713/tid=5722] ppid=5710 vsize=10661932 memory=876 CPUtime=0 cores=1,3,5,7 /proc/5713/task/5722/stat : 5722 (java) S 5710 5713 4259 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414758410 10917818368 16001 33554432000 4194304 4196468 140737249932624 139884963021552 139885473216213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29388800 140737249940491 140737249940594 140737249940594 140737249943503 0 [pid=5713/tid=5723] ppid=5710 vsize=10661932 memory=1980 CPUtime=0 cores=1,3,5,7 /proc/5713/task/5723/stat : 5723 (java) S 5710 5713 4259 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414758413 10917818368 16001 33554432000 4194304 4196468 140737249932624 139884961970128 139885473224603 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29388800 140737249940491 140737249940594 140737249940594 140737249943503 0 [pid=5713/tid=5724] ppid=5710 vsize=10661932 memory=7086240636179075427 CPUtime=0.12 cores=1,3,5,7 /proc/5713/task/5724/stat : 5724 (java) S 5710 5713 4259 0 -1 1077944384 907 0 0 0 12 0 0 0 20 0 15 0 414758413 10917818368 16001 33554432000 4194304 4196468 140737249932624 139884960918256 139885473217154 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29388800 140737249940491 140737249940594 140737249940594 140737249943503 0 [pid=5713/tid=5725] ppid=5710 vsize=10661932 memory=7453282923427948884 CPUtime=0.1 cores=1,3,5,7 /proc/5713/task/5725/stat : 5725 (java) R 5710 5713 4259 0 -1 4202560 777 0 0 0 10 0 0 0 20 0 15 0 414758413 10917818368 16001 33554432000 4194304 4196468 140737249932624 139884959851952 139885452899099 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29388800 140737249940491 140737249940594 140737249940594 140737249943503 0 [pid=5713/tid=5726] ppid=5710 vsize=10661932 memory=7223879631928058176 CPUtime=0.18 cores=1,3,5,7 /proc/5713/task/5726/stat : 5726 (java) S 5710 5713 4259 0 -1 1077944384 1179 0 0 0 18 0 0 0 20 0 15 0 414758413 10917818368 16001 33554432000 4194304 4196468 140737249932624 139884958812656 139885473217154 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29388800 140737249940491 140737249940594 140737249940594 140737249943503 0 [pid=5713/tid=5727] ppid=5710 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7 /proc/5713/task/5727/stat : 5727 (java) S 5710 5713 4259 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414758413 10917818368 16001 33554432000 4194304 4196468 140737249932624 139884957760352 139885473216213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29388800 140737249940491 140737249940594 140737249940594 140737249943503 0 [pid=5713/tid=5728] ppid=5710 vsize=10661932 memory=6441959910864939369 CPUtime=0 cores=1,3,5,7 /proc/5713/task/5728/stat : 5728 (java) S 5710 5713 4259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414758413 10917818368 16001 33554432000 4194304 4196468 140737249932624 139884956707376 139885473217154 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29388800 140737249940491 140737249940594 140737249940594 140737249943503 0 Current children cumulated CPU time: 1.11 s Current children cumulated vsize: 10661932 KiB Current children cumulated memory: 64004 KiB [startup+1.50076 s] /proc/loadavg: 1.72 1.83 1.95 3/227 5728 /proc/meminfo: memFree=30510064/32770624 swapFree=66997144/67108860 [pid=5713] ppid=5710 vsize=10663980 memory=76204 CPUtime=2.01 cores=1,3,5,7 /proc/5713/stat : 5713 (java) S 5710 5713 4259 0 -1 1077944320 18718 0 0 0 194 7 0 0 20 0 15 0 414758407 10919915520 19051 33554432000 4194304 4196468 140737249932624 140737249915168 139885473206007 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 29388800 140737249940491 140737249940594 140737249940594 140737249943503 0 /proc/5713/statm: 2665995 19051 3097 1 0 2628492 0 [pid=5713/tid=5715] ppid=5710 vsize=10663980 memory=164350614678711 CPUtime=1.48 cores=1,3,5,7 /proc/5713/task/5715/stat : 5715 (java) R 5710 5713 4259 0 -1 4202560 13088 0 0 0 143 5 0 0 20 0 15 0 414758407 10919915520 19051 33554432000 4194304 4196468 140737249932624 139885477437064 139885458371552 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29388800 140737249940491 140737249940594 140737249940594 140737249943503 0 [pid=5713/tid=5716] ppid=5710 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7 /proc/5713/task/5716/stat : 5716 (java) S 5710 5713 4259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414758408 10919915520 19051 33554432000 4194304 4196468 140737249932624 139885409897488 139885473216213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29388800 140737249940491 140737249940594 140737249940594 140737249943503 0 [pid=5713/tid=5717] ppid=5710 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7 /proc/5713/task/5717/stat : 5717 (java) S 5710 5713 4259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414758408 10919915520 19051 33554432000 4194304 4196468 140737249932624 139885408844944 139885473216213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29388800 140737249940491 140737249940594 140737249940594 140737249943503 0 [pid=5713/tid=5718] ppid=5710 vsize=10663980 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7 /proc/5713/task/5718/stat : 5718 (java) S 5710 5713 4259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414758408 10919915520 19051 33554432000 4194304 4196468 140737249932624 139885077719824 139885473216213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29388800 140737249940491 140737249940594 140737249940594 140737249943503 0 [pid=5713/tid=5719] ppid=5710 vsize=10663980 memory=7809523229951467576 CPUtime=0 cores=1,3,5,7 /proc/5713/task/5719/stat : 5719 (java) S 5710 5713 4259 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414758408 10919915520 19051 33554432000 4194304 4196468 140737249932624 139885076667280 139885473216213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29388800 140737249940491 140737249940594 140737249940594 140737249943503 0 [pid=5713/tid=5720] ppid=5710 vsize=10663980 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7 /proc/5713/task/5720/stat : 5720 (java) S 5710 5713 4259 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 414758410 10919915520 19051 33554432000 4194304 4196468 140737249932624 139884965128432 139885473217154 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29388800 140737249940491 140737249940594 140737249940594 140737249943503 0 ################ # More data... # ################ [startup+338.401 s] /proc/loadavg: 1.52 1.72 1.87 3/229 5764 /proc/meminfo: memFree=30396024/32770624 swapFree=66997148/67108860 [pid=5713] ppid=5710 vsize=10746276 memory=178280 CPUtime=341.65 cores=1,3,5,7 /proc/5713/stat : 5713 (java) S 5710 5713 4259 0 -1 1077944320 56339 0 0 0 34140 25 0 0 20 0 16 0 414758407 11004186624 44570 33554432000 4194304 4196468 140737249932624 140737249915168 139885473206007 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 29388800 140737249940491 140737249940594 140737249940594 140737249943503 0 /proc/5713/statm: 2686569 44570 3368 1 0 2646705 0 [pid=5713/tid=5715] ppid=5710 vsize=10746276 memory=178280 CPUtime=1.86 cores=1,3,5,7 /proc/5713/task/5715/stat : 5715 (java) S 5710 5713 4259 0 -1 1077944384 15344 0 0 0 178 8 0 0 20 0 16 0 414758407 11004186624 44570 33554432000 4194304 4196468 140737249932624 139885477448880 139885473216213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29388800 140737249940491 140737249940594 140737249940594 140737249943503 0 [pid=5713/tid=5716] ppid=5710 vsize=10746276 memory=8112282956445269571 CPUtime=0.32 cores=1,3,5,7 /proc/5713/task/5716/stat : 5716 (java) S 5710 5713 4259 0 -1 1077944384 4510 0 0 0 31 1 0 0 20 0 16 0 414758408 11004186624 44570 33554432000 4194304 4196468 140737249932624 139885409897488 139885473216213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29388800 140737249940491 140737249940594 140737249940594 140737249943503 0 [pid=5713/tid=5717] ppid=5710 vsize=10746276 memory=1128 CPUtime=0.32 cores=1,3,5,7 /proc/5713/task/5717/stat : 5717 (java) S 5710 5713 4259 0 -1 1077944384 2311 0 0 0 31 1 0 0 20 0 16 0 414758408 11004186624 44570 33554432000 4194304 4196468 140737249932624 139885408844944 139885473216213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29388800 140737249940491 140737249940594 140737249940594 140737249943503 0 [pid=5713/tid=5718] ppid=5710 vsize=10746276 memory=772 CPUtime=0.32 cores=1,3,5,7 /proc/5713/task/5718/stat : 5718 (java) S 5710 5713 4259 0 -1 1077944384 1436 0 0 0 31 1 0 0 20 0 16 0 414758408 11004186624 44570 33554432000 4194304 4196468 140737249932624 139885077719824 139885473216213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29388800 140737249940491 140737249940594 140737249940594 140737249943503 0 [pid=5713/tid=5719] ppid=5710 vsize=10746276 memory=4008 CPUtime=0.33 cores=1,3,5,7 /proc/5713/task/5719/stat : 5719 (java) S 5710 5713 4259 0 -1 1077944384 2444 0 0 0 32 1 0 0 20 0 16 0 414758408 11004186624 44570 33554432000 4194304 4196468 140737249932624 139885076667280 139885473216213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29388800 140737249940491 140737249940594 140737249940594 140737249943503 0 [pid=5713/tid=5720] ppid=5710 vsize=10746276 memory=984 CPUtime=0.12 cores=1,3,5,7 /proc/5713/task/5720/stat : 5720 (java) S 5710 5713 4259 0 -1 1077944384 3391 0 0 0 11 1 0 0 20 0 16 0 414758410 11004186624 44570 33554432000 4194304 4196468 140737249932624 139884965128432 139885473217154 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29388800 140737249940491 140737249940594 140737249940594 140737249943503 0 [pid=5713/tid=5721] ppid=5710 vsize=10746276 memory=2024 CPUtime=0 cores=1,3,5,7 /proc/5713/task/5721/stat : 5721 (java) S 5710 5713 4259 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 16 0 414758410 11004186624 44570 33554432000 4194304 4196468 140737249932624 139884964074720 139885473216213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29388800 140737249940491 140737249940594 140737249940594 140737249943503 0 [pid=5713/tid=5722] ppid=5710 vsize=10746276 memory=1380 CPUtime=0 cores=1,3,5,7 /proc/5713/task/5722/stat : 5722 (java) S 5710 5713 4259 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 16 0 414758410 11004186624 44570 33554432000 4194304 4196468 140737249932624 139884963021568 139885473216213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29388800 140737249940491 140737249940594 140737249940594 140737249943503 0 [pid=5713/tid=5723] ppid=5710 vsize=10746276 memory=1128 CPUtime=0 cores=1,3,5,7 /proc/5713/task/5723/stat : 5723 (java) S 5710 5713 4259 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414758413 11004186624 44570 33554432000 4194304 4196468 140737249932624 139884961970128 139885473224603 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29388800 140737249940491 140737249940594 140737249940594 140737249943503 0 [pid=5713/tid=5724] ppid=5710 vsize=10746276 memory=772 CPUtime=0.79 cores=1,3,5,7 /proc/5713/task/5724/stat : 5724 (java) S 5710 5713 4259 0 -1 1077944384 2011 0 0 0 79 0 0 0 20 0 16 0 414758413 11004186624 44570 33554432000 4194304 4196468 140737249932624 139884960918256 139885473217154 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29388800 140737249940491 140737249940594 140737249940594 140737249943503 0 [pid=5713/tid=5725] ppid=5710 vsize=10746276 memory=139783402585841 CPUtime=0.83 cores=1,3,5,7 /proc/5713/task/5725/stat : 5725 (java) S 5710 5713 4259 0 -1 1077944384 3963 0 0 0 82 1 0 0 20 0 16 0 414758413 11004186624 44570 33554432000 4194304 4196468 140737249932624 139884959865712 139885473217154 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29388800 140737249940491 140737249940594 140737249940594 140737249943503 0 [pid=5713/tid=5726] ppid=5710 vsize=10746276 memory=5787477641288517003 CPUtime=0.59 cores=1,3,5,7 /proc/5713/task/5726/stat : 5726 (java) S 5710 5713 4259 0 -1 1077944384 8514 0 0 0 59 0 0 0 20 0 16 0 414758413 11004186624 44570 33554432000 4194304 4196468 140737249932624 139884958812656 139885473217154 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29388800 140737249940491 140737249940594 140737249940594 140737249943503 0 [pid=5713/tid=5727] ppid=5710 vsize=10746276 memory=2616 CPUtime=0 cores=1,3,5,7 /proc/5713/task/5727/stat : 5727 (java) S 5710 5713 4259 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414758413 11004186624 44570 33554432000 4194304 4196468 140737249932624 139884957760352 139885473216213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29388800 140737249940491 140737249940594 140737249940594 140737249943503 0 [pid=5713/tid=5728] ppid=5710 vsize=10746276 memory=2668 CPUtime=0.06 cores=1,3,5,7 /proc/5713/task/5728/stat : 5728 (java) S 5710 5713 4259 0 -1 1077944384 465 0 0 0 3 3 0 0 20 0 16 0 414758413 11004186624 44570 33554432000 4194304 4196468 140737249932624 139884956707376 139885473217154 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29388800 140737249940491 140737249940594 140737249940594 140737249943503 0 [pid=5713/tid=5729] ppid=5710 vsize=10746276 memory=4104 CPUtime=336 cores=1,3,5,7 /proc/5713/task/5729/stat : 5729 (java) R 5710 5713 4259 0 -1 4202560 10512 0 0 0 33597 3 0 0 20 0 16 0 414758595 11004186624 44570 33554432000 4194304 4196468 140737249932624 139884939755040 139885093813621 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29388800 140737249940491 140737249940594 140737249940594 140737249943503 0 Current children cumulated CPU time: 341.65 s Current children cumulated vsize: 10746276 KiB Current children cumulated memory: 178280 KiB [startup+339.201 s] /proc/loadavg: 1.52 1.72 1.87 3/229 5764 /proc/meminfo: memFree=30396024/32770624 swapFree=66997148/67108860 [pid=5713] ppid=5710 vsize=10746276 memory=178280 CPUtime=342.46 cores=1,3,5,7 /proc/5713/stat : 5713 (java) S 5710 5713 4259 0 -1 1077944320 56340 0 0 0 34221 25 0 0 20 0 16 0 414758407 11004186624 44570 33554432000 4194304 4196468 140737249932624 140737249915168 139885473206007 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 29388800 140737249940491 140737249940594 140737249940594 140737249943503 0 /proc/5713/statm: 2686569 44570 3368 1 0 2646705 0 [pid=5713/tid=5715] ppid=5710 vsize=10746276 memory=0 CPUtime=1.86 cores=1,3,5,7 /proc/5713/task/5715/stat : 5715 (java) S 5710 5713 4259 0 -1 1077944384 15344 0 0 0 178 8 0 0 20 0 16 0 414758407 11004186624 44570 33554432000 4194304 4196468 140737249932624 139885477448880 139885473216213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29388800 140737249940491 140737249940594 140737249940594 140737249943503 0 [pid=5713/tid=5716] ppid=5710 vsize=10746276 memory=2668 CPUtime=0.32 cores=1,3,5,7 /proc/5713/task/5716/stat : 5716 (java) S 5710 5713 4259 0 -1 1077944384 4510 0 0 0 31 1 0 0 20 0 16 0 414758408 11004186624 44570 33554432000 4194304 4196468 140737249932624 139885409897488 139885473216213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29388800 140737249940491 140737249940594 140737249940594 140737249943503 0 [pid=5713/tid=5717] ppid=5710 vsize=10746276 memory=4104 CPUtime=0.32 cores=1,3,5,7 /proc/5713/task/5717/stat : 5717 (java) S 5710 5713 4259 0 -1 1077944384 2311 0 0 0 31 1 0 0 20 0 16 0 414758408 11004186624 44570 33554432000 4194304 4196468 140737249932624 139885408844944 139885473216213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29388800 140737249940491 140737249940594 140737249940594 140737249943503 0 [pid=5713/tid=5718] ppid=5710 vsize=10746276 memory=1408 CPUtime=0.32 cores=1,3,5,7 /proc/5713/task/5718/stat : 5718 (java) S 5710 5713 4259 0 -1 1077944384 1436 0 0 0 31 1 0 0 20 0 16 0 414758408 11004186624 44570 33554432000 4194304 4196468 140737249932624 139885077719824 139885473216213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29388800 140737249940491 140737249940594 140737249940594 140737249943503 0 [pid=5713/tid=5719] ppid=5710 vsize=10746276 memory=8112282956445269571 CPUtime=0.33 cores=1,3,5,7 /proc/5713/task/5719/stat : 5719 (java) S 5710 5713 4259 0 -1 1077944384 2444 0 0 0 32 1 0 0 20 0 16 0 414758408 11004186624 44570 33554432000 4194304 4196468 140737249932624 139885076667280 139885473216213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29388800 140737249940491 140737249940594 140737249940594 140737249943503 0 [pid=5713/tid=5720] ppid=5710 vsize=10746276 memory=9816 CPUtime=0.12 cores=1,3,5,7 /proc/5713/task/5720/stat : 5720 (java) S 5710 5713 4259 0 -1 1077944384 3391 0 0 0 11 1 0 0 20 0 16 0 414758410 11004186624 44570 33554432000 4194304 4196468 140737249932624 139884965128432 139885473217154 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29388800 140737249940491 140737249940594 140737249940594 140737249943503 0 [pid=5713/tid=5721] ppid=5710 vsize=10746276 memory=12024 CPUtime=0 cores=1,3,5,7 /proc/5713/task/5721/stat : 5721 (java) S 5710 5713 4259 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 16 0 414758410 11004186624 44570 33554432000 4194304 4196468 140737249932624 139884964074720 139885473216213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29388800 140737249940491 140737249940594 140737249940594 140737249943503 0 [pid=5713/tid=5722] ppid=5710 vsize=10746276 memory=1556 CPUtime=0 cores=1,3,5,7 /proc/5713/task/5722/stat : 5722 (java) S 5710 5713 4259 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 16 0 414758410 11004186624 44570 33554432000 4194304 4196468 140737249932624 139884963021568 139885473216213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29388800 140737249940491 140737249940594 140737249940594 140737249943503 0 [pid=5713/tid=5723] ppid=5710 vsize=10746276 memory=2024 CPUtime=0 cores=1,3,5,7 /proc/5713/task/5723/stat : 5723 (java) S 5710 5713 4259 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414758413 11004186624 44570 33554432000 4194304 4196468 140737249932624 139884961970128 139885473224603 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29388800 140737249940491 140737249940594 140737249940594 140737249943503 0 [pid=5713/tid=5724] ppid=5710 vsize=10746276 memory=178280 CPUtime=0.79 cores=1,3,5,7 /proc/5713/task/5724/stat : 5724 (java) S 5710 5713 4259 0 -1 1077944384 2011 0 0 0 79 0 0 0 20 0 16 0 414758413 11004186624 44570 33554432000 4194304 4196468 140737249932624 139884960918256 139885473217154 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29388800 140737249940491 140737249940594 140737249940594 140737249943503 0 [pid=5713/tid=5725] ppid=5710 vsize=10746276 memory=178280 CPUtime=0.83 cores=1,3,5,7 /proc/5713/task/5725/stat : 5725 (java) S 5710 5713 4259 0 -1 1077944384 3963 0 0 0 82 1 0 0 20 0 16 0 414758413 11004186624 44570 33554432000 4194304 4196468 140737249932624 139884959865712 139885473217154 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29388800 140737249940491 140737249940594 140737249940594 140737249943503 0 [pid=5713/tid=5726] ppid=5710 vsize=10746276 memory=178280 CPUtime=0.59 cores=1,3,5,7 /proc/5713/task/5726/stat : 5726 (java) S 5710 5713 4259 0 -1 1077944384 8514 0 0 0 59 0 0 0 20 0 16 0 414758413 11004186624 44570 33554432000 4194304 4196468 140737249932624 139884958812656 139885473217154 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29388800 140737249940491 140737249940594 140737249940594 140737249943503 0 [pid=5713/tid=5727] ppid=5710 vsize=10746276 memory=178280 CPUtime=0 cores=1,3,5,7 /proc/5713/task/5727/stat : 5727 (java) S 5710 5713 4259 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414758413 11004186624 44570 33554432000 4194304 4196468 140737249932624 139884957760352 139885473216213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29388800 140737249940491 140737249940594 140737249940594 140737249943503 0 [pid=5713/tid=5728] ppid=5710 vsize=10746276 memory=178280 CPUtime=0.06 cores=1,3,5,7 /proc/5713/task/5728/stat : 5728 (java) S 5710 5713 4259 0 -1 1077944384 465 0 0 0 3 3 0 0 20 0 16 0 414758413 11004186624 44570 33554432000 4194304 4196468 140737249932624 139884956707376 139885473217154 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29388800 140737249940491 140737249940594 140737249940594 140737249943503 0 [pid=5713/tid=5729] ppid=5710 vsize=10746276 memory=5916 CPUtime=336.8 cores=1,3,5,7 /proc/5713/task/5729/stat : 5729 (java) R 5710 5713 4259 0 -1 4202560 10513 0 0 0 33677 3 0 0 20 0 16 0 414758595 11004186624 44570 33554432000 4194304 4196468 140737249932624 139884939755040 139885094005402 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29388800 140737249940491 140737249940594 140737249940594 140737249943503 0 Current children cumulated CPU time: 342.46 s Current children cumulated vsize: 10746276 KiB Current children cumulated memory: 178280 KiB [startup+339.401 s] /proc/loadavg: 1.52 1.72 1.87 3/229 5764 /proc/meminfo: memFree=30396024/32770624 swapFree=66997148/67108860 [pid=5713] ppid=5710 vsize=10746276 memory=178280 CPUtime=342.66 cores=1,3,5,7 /proc/5713/stat : 5713 (java) S 5710 5713 4259 0 -1 1077944320 56340 0 0 0 34241 25 0 0 20 0 16 0 414758407 11004186624 44570 33554432000 4194304 4196468 140737249932624 140737249915168 139885473206007 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 29388800 140737249940491 140737249940594 140737249940594 140737249943503 0 /proc/5713/statm: 2686569 44570 3368 1 0 2646705 0 [pid=5713/tid=5715] ppid=5710 vsize=10746276 memory=8112282956445269571 CPUtime=1.86 cores=1,3,5,7 /proc/5713/task/5715/stat : 5715 (java) S 5710 5713 4259 0 -1 1077944384 15344 0 0 0 178 8 0 0 20 0 16 0 414758407 11004186624 44570 33554432000 4194304 4196468 140737249932624 139885477448880 139885473216213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29388800 140737249940491 140737249940594 140737249940594 140737249943503 0 [pid=5713/tid=5716] ppid=5710 vsize=10746276 memory=178280 CPUtime=0.32 cores=1,3,5,7 /proc/5713/task/5716/stat : 5716 (java) S 5710 5713 4259 0 -1 1077944384 4510 0 0 0 31 1 0 0 20 0 16 0 414758408 11004186624 44570 33554432000 4194304 4196468 140737249932624 139885409897488 139885473216213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29388800 140737249940491 140737249940594 140737249940594 140737249943503 0 [pid=5713/tid=5717] ppid=5710 vsize=10746276 memory=2616 CPUtime=0.32 cores=1,3,5,7 /proc/5713/task/5717/stat : 5717 (java) S 5710 5713 4259 0 -1 1077944384 2311 0 0 0 31 1 0 0 20 0 16 0 414758408 11004186624 44570 33554432000 4194304 4196468 140737249932624 139885408844944 139885473216213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29388800 140737249940491 140737249940594 140737249940594 140737249943503 0 [pid=5713/tid=5718] ppid=5710 vsize=10746276 memory=2668 CPUtime=0.32 cores=1,3,5,7 /proc/5713/task/5718/stat : 5718 (java) S 5710 5713 4259 0 -1 1077944384 1436 0 0 0 31 1 0 0 20 0 16 0 414758408 11004186624 44570 33554432000 4194304 4196468 140737249932624 139885077719824 139885473216213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29388800 140737249940491 140737249940594 140737249940594 140737249943503 0 [pid=5713/tid=5719] ppid=5710 vsize=10746276 memory=4104 CPUtime=0.33 cores=1,3,5,7 /proc/5713/task/5719/stat : 5719 (java) S 5710 5713 4259 0 -1 1077944384 2444 0 0 0 32 1 0 0 20 0 16 0 414758408 11004186624 44570 33554432000 4194304 4196468 140737249932624 139885076667280 139885473216213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29388800 140737249940491 140737249940594 140737249940594 140737249943503 0 [pid=5713/tid=5720] ppid=5710 vsize=10746276 memory=8112282956445269571 CPUtime=0.12 cores=1,3,5,7 /proc/5713/task/5720/stat : 5720 (java) S 5710 5713 4259 0 -1 1077944384 3391 0 0 0 11 1 0 0 20 0 16 0 414758410 11004186624 44570 33554432000 4194304 4196468 140737249932624 139884965128432 139885473217154 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29388800 140737249940491 140737249940594 140737249940594 140737249943503 0 [pid=5713/tid=5721] ppid=5710 vsize=10746276 memory=3848 CPUtime=0 cores=1,3,5,7 /proc/5713/task/5721/stat : 5721 (java) S 5710 5713 4259 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 16 0 414758410 11004186624 44570 33554432000 4194304 4196468 140737249932624 139884964074720 139885473216213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29388800 140737249940491 140737249940594 140737249940594 140737249943503 0 [pid=5713/tid=5722] ppid=5710 vsize=10746276 memory=2616 CPUtime=0 cores=1,3,5,7 /proc/5713/task/5722/stat : 5722 (java) S 5710 5713 4259 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 16 0 414758410 11004186624 44570 33554432000 4194304 4196468 140737249932624 139884963021568 139885473216213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29388800 140737249940491 140737249940594 140737249940594 140737249943503 0 [pid=5713/tid=5723] ppid=5710 vsize=10746276 memory=2668 CPUtime=0 cores=1,3,5,7 /proc/5713/task/5723/stat : 5723 (java) S 5710 5713 4259 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414758413 11004186624 44570 33554432000 4194304 4196468 140737249932624 139884961970128 139885473224603 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29388800 140737249940491 140737249940594 140737249940594 140737249943503 0 [pid=5713/tid=5724] ppid=5710 vsize=10746276 memory=4104 CPUtime=0.79 cores=1,3,5,7 /proc/5713/task/5724/stat : 5724 (java) S 5710 5713 4259 0 -1 1077944384 2011 0 0 0 79 0 0 0 20 0 16 0 414758413 11004186624 44570 33554432000 4194304 4196468 140737249932624 139884960918256 139885473217154 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29388800 140737249940491 140737249940594 140737249940594 140737249943503 0 [pid=5713/tid=5725] ppid=5710 vsize=10746276 memory=178280 CPUtime=0.83 cores=1,3,5,7 /proc/5713/task/5725/stat : 5725 (java) S 5710 5713 4259 0 -1 1077944384 3963 0 0 0 82 1 0 0 20 0 16 0 414758413 11004186624 44570 33554432000 4194304 4196468 140737249932624 139884959865712 139885473217154 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29388800 140737249940491 140737249940594 140737249940594 140737249943503 0 [pid=5713/tid=5726] ppid=5710 vsize=10746276 memory=178280 CPUtime=0.59 cores=1,3,5,7 /proc/5713/task/5726/stat : 5726 (java) S 5710 5713 4259 0 -1 1077944384 8514 0 0 0 59 0 0 0 20 0 16 0 414758413 11004186624 44570 33554432000 4194304 4196468 140737249932624 139884958812656 139885473217154 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29388800 140737249940491 140737249940594 140737249940594 140737249943503 0 [pid=5713/tid=5727] ppid=5710 vsize=10746276 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7 /proc/5713/task/5727/stat : 5727 (java) S 5710 5713 4259 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414758413 11004186624 44570 33554432000 4194304 4196468 140737249932624 139884957760352 139885473216213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29388800 140737249940491 140737249940594 140737249940594 140737249943503 0 [pid=5713/tid=5728] ppid=5710 vsize=10746276 memory=9816 CPUtime=0.06 cores=1,3,5,7 /proc/5713/task/5728/stat : 5728 (java) S 5710 5713 4259 0 -1 1077944384 465 0 0 0 3 3 0 0 20 0 16 0 414758413 11004186624 44570 33554432000 4194304 4196468 140737249932624 139884956707376 139885473217154 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29388800 140737249940491 140737249940594 140737249940594 140737249943503 0 [pid=5713/tid=5729] ppid=5710 vsize=10746276 memory=12024 CPUtime=337 cores=1,3,5,7 /proc/5713/task/5729/stat : 5729 (java) R 5710 5713 4259 0 -1 4202560 10513 0 0 0 33697 3 0 0 20 0 16 0 414758595 11004186624 44570 33554432000 4194304 4196468 140737249932624 139884939755040 139885094005983 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29388800 140737249940491 140737249940594 140737249940594 140737249943503 0 Current children cumulated CPU time: 342.66 s Current children cumulated vsize: 10746276 KiB Current children cumulated memory: 178280 KiB [startup+339.501 s] /proc/loadavg: 1.52 1.72 1.87 3/229 5764 /proc/meminfo: memFree=30396024/32770624 swapFree=66997148/67108860 [pid=5713] ppid=5710 vsize=10746276 memory=178280 CPUtime=342.76 cores=1,3,5,7 /proc/5713/stat : 5713 (java) S 5710 5713 4259 0 -1 1077944320 56340 0 0 0 34251 25 0 0 20 0 16 0 414758407 11004186624 44570 33554432000 4194304 4196468 140737249932624 140737249915168 139885473206007 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 29388800 140737249940491 140737249940594 140737249940594 140737249943503 0 /proc/5713/statm: 2686569 44570 3368 1 0 2646705 0 [pid=5713/tid=5715] ppid=5710 vsize=10746276 memory=178280 CPUtime=1.86 cores=1,3,5,7 /proc/5713/task/5715/stat : 5715 (java) S 5710 5713 4259 0 -1 1077944384 15344 0 0 0 178 8 0 0 20 0 16 0 414758407 11004186624 44570 33554432000 4194304 4196468 140737249932624 139885477448880 139885473216213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29388800 140737249940491 140737249940594 140737249940594 140737249943503 0 [pid=5713/tid=5716] ppid=5710 vsize=10746276 memory=178280 CPUtime=0.32 cores=1,3,5,7 /proc/5713/task/5716/stat : 5716 (java) S 5710 5713 4259 0 -1 1077944384 4510 0 0 0 31 1 0 0 20 0 16 0 414758408 11004186624 44570 33554432000 4194304 4196468 140737249932624 139885409897488 139885473216213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29388800 140737249940491 140737249940594 140737249940594 140737249943503 0 [pid=5713/tid=5717] ppid=5710 vsize=10746276 memory=178280 CPUtime=0.32 cores=1,3,5,7 /proc/5713/task/5717/stat : 5717 (java) S 5710 5713 4259 0 -1 1077944384 2311 0 0 0 31 1 0 0 20 0 16 0 414758408 11004186624 44570 33554432000 4194304 4196468 140737249932624 139885408844944 139885473216213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29388800 140737249940491 140737249940594 140737249940594 140737249943503 0 [pid=5713/tid=5718] ppid=5710 vsize=10746276 memory=178280 CPUtime=0.32 cores=1,3,5,7 /proc/5713/task/5718/stat : 5718 (java) S 5710 5713 4259 0 -1 1077944384 1436 0 0 0 31 1 0 0 20 0 16 0 414758408 11004186624 44570 33554432000 4194304 4196468 140737249932624 139885077719824 139885473216213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29388800 140737249940491 140737249940594 140737249940594 140737249943503 0 [pid=5713/tid=5719] ppid=5710 vsize=10746276 memory=178280 CPUtime=0.33 cores=1,3,5,7 /proc/5713/task/5719/stat : 5719 (java) S 5710 5713 4259 0 -1 1077944384 2444 0 0 0 32 1 0 0 20 0 16 0 414758408 11004186624 44570 33554432000 4194304 4196468 140737249932624 139885076667280 139885473216213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29388800 140737249940491 140737249940594 140737249940594 140737249943503 0 [pid=5713/tid=5720] ppid=5710 vsize=10746276 memory=178280 CPUtime=0.12 cores=1,3,5,7 /proc/5713/task/5720/stat : 5720 (java) S 5710 5713 4259 0 -1 1077944384 3391 0 0 0 11 1 0 0 20 0 16 0 414758410 11004186624 44570 33554432000 4194304 4196468 140737249932624 139884965128432 139885473217154 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29388800 140737249940491 140737249940594 140737249940594 140737249943503 0 [pid=5713/tid=5721] ppid=5710 vsize=10746276 memory=178280 CPUtime=0 cores=1,3,5,7 /proc/5713/task/5721/stat : 5721 (java) S 5710 5713 4259 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 16 0 414758410 11004186624 44570 33554432000 4194304 4196468 140737249932624 139884964074720 139885473216213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29388800 140737249940491 140737249940594 140737249940594 140737249943503 0 [pid=5713/tid=5722] ppid=5710 vsize=10746276 memory=178280 CPUtime=0 cores=1,3,5,7 /proc/5713/task/5722/stat : 5722 (java) S 5710 5713 4259 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 16 0 414758410 11004186624 44570 33554432000 4194304 4196468 140737249932624 139884963021568 139885473216213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29388800 140737249940491 140737249940594 140737249940594 140737249943503 0 [pid=5713/tid=5723] ppid=5710 vsize=10746276 memory=14012 CPUtime=0 cores=1,3,5,7 /proc/5713/task/5723/stat : 5723 (java) S 5710 5713 4259 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414758413 11004186624 44570 33554432000 4194304 4196468 140737249932624 139884961970128 139885473224603 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29388800 140737249940491 140737249940594 140737249940594 140737249943503 0 [pid=5713/tid=5724] ppid=5710 vsize=10746276 memory=1556 CPUtime=0.79 cores=1,3,5,7 /proc/5713/task/5724/stat : 5724 (java) S 5710 5713 4259 0 -1 1077944384 2011 0 0 0 79 0 0 0 20 0 16 0 414758413 11004186624 44570 33554432000 4194304 4196468 140737249932624 139884960918256 139885473217154 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29388800 140737249940491 140737249940594 140737249940594 140737249943503 0 [pid=5713/tid=5725] ppid=5710 vsize=10746276 memory=3624 CPUtime=0.83 cores=1,3,5,7 /proc/5713/task/5725/stat : 5725 (java) S 5710 5713 4259 0 -1 1077944384 3963 0 0 0 82 1 0 0 20 0 16 0 414758413 11004186624 44570 33554432000 4194304 4196468 140737249932624 139884959865712 139885473217154 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29388800 140737249940491 140737249940594 140737249940594 140737249943503 0 [pid=5713/tid=5726] ppid=5710 vsize=10746276 memory=25208 CPUtime=0.59 cores=1,3,5,7 /proc/5713/task/5726/stat : 5726 (java) S 5710 5713 4259 0 -1 1077944384 8514 0 0 0 59 0 0 0 20 0 16 0 414758413 11004186624 44570 33554432000 4194304 4196468 140737249932624 139884958812656 139885473217154 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29388800 140737249940491 140737249940594 140737249940594 140737249943503 0 [pid=5713/tid=5727] ppid=5710 vsize=10746276 memory=178280 CPUtime=0 cores=1,3,5,7 /proc/5713/task/5727/stat : 5727 (java) S 5710 5713 4259 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414758413 11004186624 44570 33554432000 4194304 4196468 140737249932624 139884957760352 139885473216213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29388800 140737249940491 140737249940594 140737249940594 140737249943503 0 [pid=5713/tid=5728] ppid=5710 vsize=10746276 memory=3624 CPUtime=0.06 cores=1,3,5,7 /proc/5713/task/5728/stat : 5728 (java) S 5710 5713 4259 0 -1 1077944384 465 0 0 0 3 3 0 0 20 0 16 0 414758413 11004186624 44570 33554432000 4194304 4196468 140737249932624 139884956707376 139885473217154 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29388800 140737249940491 140737249940594 140737249940594 140737249943503 0 [pid=5713/tid=5729] ppid=5710 vsize=10746276 memory=178280 CPUtime=337.1 cores=1,3,5,7 /proc/5713/task/5729/stat : 5729 (java) R 5710 5713 4259 0 -1 4202560 10513 0 0 0 33707 3 0 0 20 0 16 0 414758595 11004186624 44570 33554432000 4194304 4196468 140737249932624 139884939755040 139885094005821 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29388800 140737249940491 140737249940594 140737249940594 140737249943503 0 Current children cumulated CPU time: 342.76 s Current children cumulated vsize: 10746276 KiB Current children cumulated memory: 178280 KiB Child status: 0 Real time (s): 339.593 CPU time (s): 342.861 CPU user time (s): 342.599 CPU system time (s): 0.262123 CPU usage (%): 100.962 Max. virtual memory (cumulated for all children) (KiB): 10746276 Max. memory (cumulated for all children) (KiB): 263632 getrusage(RUSAGE_CHILDREN,...) data: user time used= 342.599 system time used= 0.262123 maximum resident set size= 263632 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 57242 page faults= 0 swaps= 0 block input operations= 0 block output operations= 520 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 12135 involuntary context switches= 218 # summary of solver processes directly reported to runsolver: # pid: 5713 # total CPU time (s): 342.861 # total CPU user time (s): 342.599 # total CPU system time (s): 0.262123 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 1.92611 second user time and 2.97533 second system time The end
Begin job on node106 at 2019-09-13 15:29:20 IDJOB=4390944 IDBENCH=135630 IDSOLVER=2832 FILE ID=node106/4390944-1568385038 RUNJOBID= node106-1568376840-4291 PBS_JOBID= 21701848 Free space on /tmp= 56724 MiB SOLVER NAME= AbsCon 2019-07-23 BENCH NAME= XCSP17/PseudoBoolean/PseudoBoolean-opt-logicSynthesis/Pb-logic-m100-100-30-30-r.xml COMMAND LINE= java -cp AbsCon19-06.jar AbsCon BENCHNAME -cm RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4390944-1568385038/watcher-4390944-1568385038 -o /tmp/evaluation-result-4390944-1568385038/solver-4390944-1568385038 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1568376840-4291 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4390944-1568385038.xml -cm TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 99240cf8fa1004889a7bc67b3b097789 RANDOM SEED=861297164 node106.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.79 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.79 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.79 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.79 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 30567076 kB MemAvailable: 31723420 kB Buffers: 154092 kB Cached: 1281008 kB SwapCached: 9676 kB Active: 569944 kB Inactive: 1058660 kB Active(anon): 192936 kB Inactive(anon): 33700 kB Active(file): 377008 kB Inactive(file): 1024960 kB Unevictable: 107768 kB Mlocked: 107768 kB SwapTotal: 67108860 kB SwapFree: 66997144 kB Dirty: 8692 kB Writeback: 0 kB AnonPages: 238632 kB Mapped: 49672 kB Shmem: 24764 kB Slab: 169908 kB SReclaimable: 140420 kB SUnreclaim: 29488 kB KernelStack: 3984 kB PageTables: 6104 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1157940 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 169984 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 107904 kB DirectMap2M: 33437696 kB Free space on /tmp at the end= 56716 MiB End job on node106 at 2019-09-13 15:35:00