Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
AbsCon 2019-07-23 | SAT (TO) | 3 | 2520.06 | 2515.31 |
Name | Opd/Opd-sum-small/ Opd-10-030-009.xml |
MD5SUM | 902db1136df2968cd1e3d1d445559775 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 2 |
Best CPU time to get the best result obtained on this benchmark | 7.55584 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 301 |
Number of constraints | 56 |
Number of domains | 2 |
Minimum domain size | 2 |
Maximum domain size | 29 |
Distribution of domain sizes | [{"size":2,"count":300},{"size":29,"count":1}] |
Minimum variable degree | 11 |
Maximum variable degree | 46 |
Distribution of variable degrees | [{"degree":11,"count":300},{"degree":46,"count":1}] |
Minimum constraint arity | 30 |
Maximum constraint arity | 300 |
Distribution of constraint arities | [{"arity":30,"count":10},{"arity":61,"count":45},{"arity":300,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"lex","count":1},{"type":"sum","count":55}] |
Optimization problem | YES |
Type of objective | min VAR |
2.63/1.90 2.63/1.90 AbsCon 2 2.63/1.91 2.90/2.05 Instance 2.90/2.05 name=instance-4390966-1568380561, framework=COP, bounds=-infty..+infty 2.90/2.05 2.90/2.05 Loading variables... 2.90/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@30754c68 2.90/2.09 Loading constraints...[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@573055a 2.90/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@75478c02 2.90/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@64058188 2.90/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@177cb7b7 2.90/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2e9cdb1f 2.90/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@124c7e4f 2.90/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@546f5e5c 2.90/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@38a591a1 2.90/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@13a75cc3 2.90/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1321987b 3.16/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1321987b 3.16/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1321987b 3.16/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1321987b 3.16/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1321987b 3.16/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1321987b 3.16/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1321987b 3.16/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1321987b 3.16/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1321987b 3.16/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a805296 3.16/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a805296 3.16/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a805296 3.16/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a805296 3.16/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a805296 3.16/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a805296 3.16/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a805296 3.16/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a805296 3.16/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@290f58ee 3.16/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@290f58ee 3.16/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@290f58ee 3.16/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@290f58ee 3.16/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@290f58ee 3.16/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@290f58ee 3.16/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@290f58ee 3.16/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3b90a6e0 3.16/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3b90a6e0 3.16/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3b90a6e0 3.16/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3b90a6e0 3.16/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3b90a6e0 3.16/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3b90a6e0 3.16/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@51791c6 3.16/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@51791c6 3.16/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@51791c6 3.16/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@51791c6 3.16/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@51791c6 3.16/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b8af227 3.16/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b8af227 3.16/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b8af227 3.16/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b8af227 3.16/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2d3d1eb3 3.16/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2d3d1eb3 3.16/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2d3d1eb3 3.16/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2845e484 3.16/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2845e484 3.16/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1c1c95c9 3.47/2.20 3.47/2.20 3.47/2.20 Domains 3.47/2.20 nTypes=2, nValues=629, sizes=[2#300,29#1] 3.47/2.20 Variables 3.47/2.20 count=301, degrees=[12#4,13#72,14#224,46#1] 3.47/2.20 Objectives 3.47/2.20 way=min, type=ObjVarLE 3.47/2.20 Constraints 3.47/2.20 count=94, nSpecific=94, arities=[1#1,20#29,30#10,60#9,61#45] 3.47/2.20 distribution=[LexicographicLe#38,ObjVarLE#1,SumScalarBooleanLEVar#45,SumSimpleEQ#10] 3.47/2.20 wck=0.334, cpu=2.169, mem=26M520 3.47/2.21 Solver SolverBacktrack being built... 3.47/2.21 3.47/2.23 3.47/2.23 Solver 3.47/2.23 guaranteedGAC=true 3.47/2.23 wck=0.367, cpu=2.2, mem=37M163 3.47/2.24 3.47/2.24 Preprocessing 3.47/2.24 filters=0, nACremovedValues=0, nTotalRemovedValues=0, inconcistency=false 3.47/2.24 wck=0.007, cpu=2.208, mem=37M163 3.47/2.24 3.47/2.26 num=0, depth=36..100, filters=122, wck=0.024, mem=37M163 3.47/2.26 decisions=144, wrong=24, backtracks=22, failedAssignments=10, nogoods=2 3.47/2.26 3.47/2.28 num=1, depth=4..36, filters=347, wck=0.042, mem=37M163 3.47/2.28 decisions=199, wrong=38, backtracks=25, failedAssignments=21, nogoods=12 3.47/2.28 3.47/2.29 o 9 3.47/2.29 num=2, depth=3..300, filters=647, ccks=94, wck=0.059, mem=39M805 3.47/2.29 decisions=319, wrong=49, backtracks=27, failedAssignments=30, nogoods=20, foundSolutions=1, bestBound=9 3.47/2.29 3.78/2.31 num=3, depth=4..104, filters=1075, ccks=94, wck=0.075, mem=39M805 3.78/2.31 decisions=458, wrong=70, backtracks=38, failedAssignments=43, nogoods=28, foundSolutions=1, bestBound=9 3.78/2.31 3.78/2.32 num=4, depth=8..25, filters=1367, ccks=94, wck=0.084, mem=39M805 3.78/2.32 decisions=517, wrong=91, backtracks=55, failedAssignments=54, nogoods=31, foundSolutions=1, bestBound=9 3.78/2.32 3.78/2.33 num=5, depth=3..21, filters=1740, ccks=94, wck=0.095, mem=39M805 3.78/2.33 decisions=578, wrong=120, backtracks=75, failedAssignments=66, nogoods=34, foundSolutions=1, bestBound=9 3.78/2.33 3.78/2.34 o 8 3.78/2.34 num=6, depth=0..300, filters=1974, ccks=188, wck=0.107, mem=39M805 3.78/2.34 decisions=620, wrong=130, backtracks=75, failedAssignments=76, nogoods=43, foundSolutions=2, bestBound=8 3.78/2.34 3.78/2.35 num=7, depth=2..36, filters=2208, ccks=188, wck=0.118, mem=39M805 3.78/2.35 decisions=678, wrong=148, backtracks=83, failedAssignments=90, nogoods=52, foundSolutions=2, bestBound=8 3.78/2.35 3.78/2.36 num=8, depth=4..102, filters=2349, ccks=188, wck=0.129, mem=39M805 3.78/2.36 decisions=792, wrong=159, backtracks=83, failedAssignments=101, nogoods=63, foundSolutions=2, bestBound=8 3.78/2.36 3.78/2.37 num=9, depth=9..93, filters=2489, ccks=188, wck=0.14, mem=39M805 3.78/2.37 decisions=905, wrong=173, backtracks=95, failedAssignments=113, nogoods=65, foundSolutions=2, bestBound=8 3.78/2.37 3.78/2.38 o 7 3.78/2.38 num=10, depth=58..300, filters=2574, ccks=282, wck=0.149, mem=39M805 3.78/2.38 decisions=1019, wrong=175, backtracks=95, failedAssignments=115, nogoods=67, foundSolutions=3, bestBound=7 3.78/2.38 3.78/2.39 num=11, depth=20..63, filters=2707, ccks=282, wck=0.154, mem=39M805 3.78/2.39 decisions=1130, wrong=200, backtracks=110, failedAssignments=129, nogoods=70, foundSolutions=3, bestBound=7 3.78/2.39 3.78/2.39 num=12, depth=17..75, filters=2811, ccks=282, wck=0.157, mem=39M805 3.78/2.39 decisions=1241, wrong=220, backtracks=121, failedAssignments=140, nogoods=74, foundSolutions=3, bestBound=7 3.78/2.39 3.78/2.39 num=13, depth=24..80, filters=2893, ccks=282, wck=0.16, mem=39M805 3.78/2.39 decisions=1339, wrong=233, backtracks=127, failedAssignments=152, nogoods=81, foundSolutions=3, bestBound=7 3.78/2.39 4.09/2.40 o 6 4.09/2.40 num=14, depth=18..300, filters=3031, ccks=376, wck=0.166, mem=39M805 4.09/2.40 decisions=1475, wrong=244, backtracks=127, failedAssignments=163, nogoods=92, foundSolutions=4, bestBound=6 4.09/2.40 4.09/2.40 num=15, depth=22..42, filters=3137, ccks=376, wck=0.169, mem=39M805 4.09/2.40 decisions=1551, wrong=267, backtracks=143, failedAssignments=177, nogoods=96, foundSolutions=4, bestBound=6 4.09/2.40 4.09/2.41 num=16, depth=4..80, filters=3296, ccks=376, wck=0.172, mem=39M805 4.09/2.41 decisions=1656, wrong=284, backtracks=150, failedAssignments=188, nogoods=106, foundSolutions=4, bestBound=6 4.09/2.41 4.09/2.41 num=17, depth=4..36, filters=3416, ccks=376, wck=0.175, mem=39M805 4.09/2.41 decisions=1719, wrong=301, backtracks=161, failedAssignments=200, nogoods=110, foundSolutions=4, bestBound=6 4.09/2.41 4.09/2.41 num=18, depth=14..128, filters=3532, ccks=376, wck=0.179, mem=39M805 4.09/2.41 decisions=1873, wrong=317, backtracks=169, failedAssignments=213, nogoods=117, foundSolutions=4, bestBound=6 4.09/2.41 4.09/2.42 num=19, depth=16..107, filters=3662, ccks=376, wck=0.183, mem=39M805 4.09/2.42 decisions=2010, wrong=336, backtracks=179, failedAssignments=227, nogoods=126, foundSolutions=4, bestBound=6 4.09/2.42 4.09/2.42 num=20, depth=12..126, filters=3812, ccks=376, wck=0.187, mem=39M805 4.09/2.42 decisions=2161, wrong=355, backtracks=184, failedAssignments=243, nogoods=140, foundSolutions=4, bestBound=6 4.09/2.42 4.09/2.43 o 5 4.09/2.43 num=21, depth=12..300, filters=3932, ccks=470, wck=0.192, mem=39M805 4.09/2.43 decisions=2305, wrong=367, backtracks=192, failedAssignments=252, nogoods=144, foundSolutions=5, bestBound=5 4.09/2.43 4.09/2.43 num=22, depth=13..79, filters=4112, ccks=470, wck=0.196, mem=39M805 4.09/2.43 decisions=2437, wrong=399, backtracks=217, failedAssignments=271, nogoods=152, foundSolutions=5, bestBound=5 4.09/2.43 4.09/2.43 num=23, depth=23..30, filters=4481, ccks=470, wck=0.2, mem=39M805 4.09/2.43 decisions=2525, wrong=430, backtracks=241, failedAssignments=282, nogoods=155, foundSolutions=5, bestBound=5 4.09/2.43 4.09/2.44 num=24, depth=17..24, filters=4680, ccks=470, wck=0.202, mem=39M805 4.09/2.44 decisions=2588, wrong=452, backtracks=257, failedAssignments=294, nogoods=159, foundSolutions=5, bestBound=5 4.09/2.44 4.09/2.44 num=25, depth=15..25, filters=5142, ccks=470, wck=0.207, mem=39M805 4.09/2.44 decisions=2683, wrong=489, backtracks=289, failedAssignments=307, nogoods=161, foundSolutions=5, bestBound=5 4.09/2.44 4.09/2.44 num=26, depth=10..29, filters=5256, ccks=470, wck=0.209, mem=39M805 4.09/2.44 decisions=2734, wrong=504, backtracks=295, failedAssignments=321, nogoods=170, foundSolutions=5, bestBound=5 4.09/2.44 4.09/2.45 num=27, depth=4..67, filters=5412, ccks=470, wck=0.212, mem=39M805 4.09/2.45 decisions=2852, wrong=534, backtracks=316, failedAssignments=337, nogoods=178, foundSolutions=5, bestBound=5 4.09/2.45 4.09/2.45 num=28, depth=15..24, filters=5665, ccks=470, wck=0.215, mem=39M805 4.09/2.45 decisions=2932, wrong=566, backtracks=343, failedAssignments=354, nogoods=180, foundSolutions=5, bestBound=5 4.09/2.45 4.09/2.45 num=29, depth=13..26, filters=6225, ccks=470, wck=0.22, mem=39M805 4.09/2.45 decisions=3048, wrong=617, backtracks=389, failedAssignments=373, nogoods=182, foundSolutions=5, bestBound=5 4.09/2.45 4.09/2.46 num=30, depth=7..16, filters=6480, ccks=470, wck=0.223, mem=39M805 4.09/2.46 decisions=3128, wrong=653, backtracks=422, failedAssignments=394, nogoods=184, foundSolutions=5, bestBound=5 4.09/2.46 4.09/2.46 num=31, depth=0..36, filters=6639, ccks=470, wck=0.225, mem=39M805 4.09/2.46 decisions=3225, wrong=689, backtracks=446, failedAssignments=417, nogoods=195, foundSolutions=5, bestBound=5 4.09/2.46 4.09/2.46 num=32, depth=12..110, filters=6833, ccks=470, wck=0.229, mem=39M805 4.09/2.46 decisions=3392, wrong=723, backtracks=466, failedAssignments=442, nogoods=207, foundSolutions=5, bestBound=5 4.09/2.46 4.09/2.47 num=33, depth=4..114, filters=6988, ccks=470, wck=0.233, mem=39M805 4.09/2.47 decisions=3557, wrong=756, backtracks=490, failedAssignments=470, nogoods=216, foundSolutions=5, bestBound=5 4.09/2.47 4.09/2.47 num=34, depth=4..78, filters=7211, ccks=470, wck=0.237, mem=39M805 4.09/2.47 decisions=3719, wrong=807, backtracks=525, failedAssignments=501, nogoods=231, foundSolutions=5, bestBound=5 4.09/2.47 4.09/2.48 o 4 4.09/2.48 num=35, depth=13..300, filters=7425, ccks=564, wck=0.243, mem=39M805 4.09/2.48 decisions=3892, wrong=833, backtracks=546, failedAssignments=518, nogoods=238, foundSolutions=6, bestBound=4 4.09/2.48 4.09/2.48 num=36, depth=10..51, filters=7891, ccks=564, wck=0.249, mem=39M805 4.09/2.48 decisions=4093, wrong=914, backtracks=613, failedAssignments=555, nogoods=248, foundSolutions=6, bestBound=4 4.09/2.48 4.09/2.49 num=37, depth=9..34, filters=7991, ccks=564, wck=0.251, mem=39M805 4.09/2.49 decisions=4158, wrong=932, backtracks=624, failedAssignments=566, nogoods=254, foundSolutions=6, bestBound=4 4.09/2.49 4.09/2.49 num=38, depth=14..41, filters=8092, ccks=564, wck=0.253, mem=39M805 4.09/2.49 decisions=4229, wrong=952, backtracks=637, failedAssignments=578, nogoods=262, foundSolutions=6, bestBound=4 4.09/2.49 4.09/2.49 num=39, depth=20..50, filters=8219, ccks=564, wck=0.256, mem=39M805 4.09/2.49 decisions=4319, wrong=977, backtracks=655, failedAssignments=591, nogoods=269, foundSolutions=6, bestBound=4 4.09/2.49 4.09/2.49 num=40, depth=11..49, filters=8354, ccks=564, wck=0.258, mem=39M805 4.09/2.49 decisions=4400, wrong=999, backtracks=667, failedAssignments=605, nogoods=277, foundSolutions=6, bestBound=4 4.09/2.49 4.09/2.49 num=41, depth=13..32, filters=8492, ccks=564, wck=0.26, mem=39M805 4.09/2.49 decisions=4483, wrong=1029, backtracks=691, failedAssignments=621, nogoods=282, foundSolutions=6, bestBound=4 4.09/2.49 4.09/2.50 num=42, depth=6..34, filters=8661, ccks=564, wck=0.262, mem=39M805 4.09/2.50 decisions=4582, wrong=1067, backtracks=723, failedAssignments=638, nogoods=288, foundSolutions=6, bestBound=4 4.09/2.50 4.41/2.50 num=43, depth=5..54, filters=8829, ccks=564, wck=0.265, mem=42M448 4.41/2.50 decisions=4691, wrong=1103, backtracks=749, failedAssignments=657, nogoods=299, foundSolutions=6, bestBound=4 4.41/2.50 4.41/2.50 num=44, depth=6..45, filters=9010, ccks=564, wck=0.267, mem=42M448 4.41/2.50 decisions=4809, wrong=1145, backtracks=781, failedAssignments=678, nogoods=309, foundSolutions=6, bestBound=4 4.41/2.50 4.41/2.51 num=45, depth=9..34, filters=9424, ccks=564, wck=0.272, mem=42M448 4.41/2.51 decisions=4945, wrong=1200, backtracks=827, failedAssignments=701, nogoods=316, foundSolutions=6, bestBound=4 4.41/2.51 4.41/2.51 num=46, depth=7..29, filters=9827, ccks=564, wck=0.276, mem=42M448 4.41/2.51 decisions=5076, wrong=1255, backtracks=868, failedAssignments=726, nogoods=321, foundSolutions=6, bestBound=4 4.41/2.51 4.41/2.51 num=47, depth=5..47, filters=10039, ccks=564, wck=0.279, mem=42M448 4.41/2.51 decisions=5198, wrong=1299, backtracks=903, failedAssignments=754, nogoods=331, foundSolutions=6, bestBound=4 4.41/2.51 4.41/2.52 num=48, depth=8..49, filters=10513, ccks=564, wck=0.283, mem=42M448 4.41/2.52 decisions=5372, wrong=1366, backtracks=955, failedAssignments=785, nogoods=341, foundSolutions=6, bestBound=4 4.41/2.52 4.41/2.52 num=49, depth=7..36, filters=11347, ccks=564, wck=0.291, mem=42M448 4.41/2.52 decisions=5579, wrong=1458, backtracks=1042, failedAssignments=819, nogoods=344, foundSolutions=6, bestBound=4 4.41/2.52 4.41/2.53 num=50, depth=16..37, filters=11927, ccks=564, wck=0.296, mem=42M448 4.41/2.53 decisions=5760, wrong=1534, backtracks=1114, failedAssignments=856, nogoods=350, foundSolutions=6, bestBound=4 4.41/2.53 4.41/2.54 num=51, depth=1..35, filters=12686, ccks=564, wck=0.303, mem=42M448 4.41/2.54 decisions=5951, wrong=1616, backtracks=1172, failedAssignments=897, nogoods=358, foundSolutions=6, bestBound=4 4.41/2.54 4.41/2.54 num=52, depth=7..42, filters=13574, ccks=564, wck=0.311, mem=42M448 4.41/2.54 decisions=6201, wrong=1724, backtracks=1265, failedAssignments=942, nogoods=366, foundSolutions=6, bestBound=4 4.41/2.54 4.41/2.55 num=53, depth=21..36, filters=14227, ccks=564, wck=0.317, mem=42M448 4.41/2.55 decisions=6407, wrong=1814, backtracks=1349, failedAssignments=992, nogoods=370, foundSolutions=6, bestBound=4 4.41/2.55 4.41/2.56 num=54, depth=5..30, filters=15407, ccks=564, wck=0.324, mem=42M448 4.41/2.56 decisions=6647, wrong=1924, backtracks=1447, failedAssignments=1047, nogoods=375, foundSolutions=6, bestBound=4 4.41/2.56 4.41/2.56 num=55, depth=17..36, filters=16402, ccks=564, wck=0.33, mem=42M448 4.41/2.56 decisions=6923, wrong=2050, backtracks=1565, failedAssignments=1108, nogoods=383, foundSolutions=6, bestBound=4 4.41/2.56 4.41/2.57 num=56, depth=3..32, filters=17262, ccks=564, wck=0.336, mem=42M448 4.41/2.57 decisions=7144, wrong=2149, backtracks=1655, failedAssignments=1175, nogoods=388, foundSolutions=6, bestBound=4 4.41/2.57 4.41/2.58 num=57, depth=12..33, filters=18997, ccks=564, wck=0.347, mem=42M448 4.41/2.58 decisions=7501, wrong=2320, backtracks=1818, failedAssignments=1249, nogoods=391, foundSolutions=6, bestBound=4 4.41/2.58 4.41/2.59 num=58, depth=12..30, filters=20800, ccks=564, wck=0.358, mem=42M448 4.41/2.59 decisions=8014, wrong=2568, backtracks=2042, failedAssignments=1330, nogoods=393, foundSolutions=6, bestBound=4 4.41/2.59 4.71/2.60 num=59, depth=14..100, filters=22006, ccks=564, wck=0.368, mem=42M448 4.71/2.60 decisions=8459, wrong=2755, backtracks=2196, failedAssignments=1419, nogoods=405, foundSolutions=6, bestBound=4 4.71/2.60 4.71/2.61 num=60, depth=14..41, filters=23767, ccks=564, wck=0.38, mem=42M448 4.71/2.61 decisions=8917, wrong=2972, backtracks=2398, failedAssignments=1517, nogoods=413, foundSolutions=6, bestBound=4 4.71/2.61 4.71/2.62 num=61, depth=1..32, filters=25536, ccks=564, wck=0.391, mem=42M448 4.71/2.62 decisions=9465, wrong=3238, backtracks=2641, failedAssignments=1625, nogoods=419, foundSolutions=6, bestBound=4 4.71/2.62 4.71/2.64 num=62, depth=17..35, filters=28097, ccks=564, wck=0.406, mem=42M448 4.71/2.64 decisions=10160, wrong=3573, backtracks=2956, failedAssignments=1744, nogoods=426, foundSolutions=6, bestBound=4 4.71/2.64 4.71/2.65 num=63, depth=18..103, filters=29931, ccks=564, wck=0.417, mem=42M448 4.71/2.65 decisions=10743, wrong=3821, backtracks=3178, failedAssignments=1875, nogoods=445, foundSolutions=6, bestBound=4 4.71/2.65 4.71/2.66 num=64, depth=4..36, filters=32049, ccks=564, wck=0.429, mem=42M448 4.71/2.66 decisions=11375, wrong=4125, backtracks=3452, failedAssignments=2019, nogoods=455, foundSolutions=6, bestBound=4 4.71/2.66 4.71/2.68 num=65, depth=14..38, filters=35688, ccks=564, wck=0.447, mem=42M448 4.71/2.68 decisions=12218, wrong=4537, backtracks=3839, failedAssignments=2177, nogoods=459, foundSolutions=6, bestBound=4 4.71/2.68 5.03/2.70 num=66, depth=4..36, filters=39288, ccks=564, wck=0.465, mem=45M90 5.03/2.70 decisions=12998, wrong=4913, backtracks=4198, failedAssignments=2351, nogoods=466, foundSolutions=6, bestBound=4 5.03/2.70 5.03/2.71 num=67, depth=4..135, filters=40306, ccks=564, wck=0.472, mem=45M90 5.03/2.71 decisions=13686, wrong=5210, backtracks=4463, failedAssignments=2542, nogoods=483, foundSolutions=6, bestBound=4 5.03/2.71 5.03/2.72 num=68, depth=7..44, filters=44328, ccks=564, wck=0.489, mem=45M90 5.03/2.72 decisions=14727, wrong=5715, backtracks=4936, failedAssignments=2753, nogoods=491, foundSolutions=6, bestBound=4 5.03/2.72 5.03/2.74 num=69, depth=9..35, filters=48235, ccks=564, wck=0.507, mem=45M90 5.03/2.74 decisions=16005, wrong=6343, backtracks=5518, failedAssignments=2985, nogoods=495, foundSolutions=6, bestBound=4 5.03/2.74 5.03/2.76 num=70, depth=3..103, filters=52469, ccks=564, wck=0.526, mem=45M90 5.03/2.76 decisions=17207, wrong=6900, backtracks=6013, failedAssignments=3240, nogoods=511, foundSolutions=6, bestBound=4 5.03/2.76 5.03/2.78 num=71, depth=19..134, filters=56680, ccks=564, wck=0.545, mem=45M90 5.03/2.78 decisions=18487, wrong=7487, backtracks=6563, failedAssignments=3521, nogoods=531, foundSolutions=6, bestBound=4 5.03/2.78 5.03/2.80 num=72, depth=3..103, filters=59889, ccks=564, wck=0.561, mem=45M90 5.03/2.80 decisions=20107, wrong=8272, backtracks=7289, failedAssignments=3830, nogoods=551, foundSolutions=6, bestBound=4 5.03/2.80 5.32/2.81 num=73, depth=5..122, filters=62347, ccks=564, wck=0.574, mem=45M90 5.32/2.81 decisions=21514, wrong=8924, backtracks=7897, failedAssignments=4170, nogoods=567, foundSolutions=6, bestBound=4 5.32/2.81 5.32/2.82 num=74, depth=7..72, filters=65877, ccks=564, wck=0.59, mem=45M90 5.32/2.82 decisions=22958, wrong=9620, backtracks=8551, failedAssignments=4544, nogoods=578, foundSolutions=6, bestBound=4 5.32/2.82 5.32/2.84 num=75, depth=8..71, filters=70632, ccks=564, wck=0.609, mem=45M90 5.32/2.84 decisions=25159, wrong=10698, backtracks=9565, failedAssignments=4955, nogoods=598, foundSolutions=6, bestBound=4 5.32/2.84 5.32/2.87 num=76, depth=9..35, filters=76322, ccks=564, wck=0.633, mem=45M90 5.32/2.87 decisions=26968, wrong=11594, backtracks=10362, failedAssignments=5407, nogoods=602, foundSolutions=6, bestBound=4 5.32/2.87 5.46/2.90 num=77, depth=0..55, filters=83059, ccks=564, wck=0.663, mem=45M90 5.46/2.90 decisions=28747, wrong=12460, backtracks=11183, failedAssignments=5904, nogoods=610, foundSolutions=6, bestBound=4 5.46/2.90 5.46/2.94 num=78, depth=4..35, filters=94283, ccks=564, wck=0.707, mem=47M733 5.46/2.94 decisions=31616, wrong=13883, backtracks=12518, failedAssignments=6451, nogoods=615, foundSolutions=6, bestBound=4 5.46/2.94 5.46/2.99 num=79, depth=11..37, filters=107057, ccks=564, wck=0.756, mem=47M733 5.46/2.99 decisions=34744, wrong=15435, backtracks=13890, failedAssignments=7053, nogoods=620, foundSolutions=6, bestBound=4 5.46/2.99 5.57/3.03 num=80, depth=15..105, filters=116041, ccks=564, wck=0.792, mem=47M733 5.57/3.03 decisions=37774, wrong=16912, backtracks=15271, failedAssignments=7715, nogoods=645, foundSolutions=6, bestBound=4 5.57/3.03 5.57/3.04 o 3 5.57/3.04 num=81, depth=19..300, filters=119447, ccks=658, wck=0.81, mem=47M733 5.57/3.04 decisions=39597, wrong=17762, backtracks=16060, failedAssignments=8157, nogoods=677, foundSolutions=7, bestBound=3 5.57/3.04 5.57/3.09 num=82, depth=9..80, filters=130077, ccks=658, wck=0.853, mem=47M733 5.57/3.09 decisions=43239, wrong=19559, backtracks=17689, failedAssignments=8958, nogoods=695, foundSolutions=7, bestBound=3 5.57/3.09 5.57/3.09 num=83, depth=8..34, filters=130187, ccks=658, wck=0.855, mem=47M733 5.57/3.09 decisions=43296, wrong=19575, backtracks=17700, failedAssignments=8969, nogoods=700, foundSolutions=7, bestBound=3 5.57/3.09 5.57/3.09 num=84, depth=8..32, filters=130377, ccks=658, wck=0.857, mem=47M733 5.57/3.09 decisions=43383, wrong=19606, backtracks=17726, failedAssignments=8981, nogoods=706, foundSolutions=7, bestBound=3 5.57/3.09 5.57/3.09 num=85, depth=8..35, filters=130551, ccks=658, wck=0.858, mem=47M733 5.57/3.09 decisions=43462, wrong=19633, backtracks=17748, failedAssignments=8994, nogoods=712, foundSolutions=7, bestBound=3 5.57/3.09 5.57/3.09 num=86, depth=8..36, filters=130718, ccks=658, wck=0.859, mem=47M733 5.57/3.09 decisions=43533, wrong=19656, backtracks=17761, failedAssignments=9008, nogoods=718, foundSolutions=7, bestBound=3 5.57/3.09 5.57/3.09 num=87, depth=10..32, filters=131015, ccks=658, wck=0.861, mem=47M733 5.57/3.09 decisions=43642, wrong=19698, backtracks=17795, failedAssignments=9024, nogoods=721, foundSolutions=7, bestBound=3 5.57/3.09 5.57/3.10 num=88, depth=8..36, filters=131318, ccks=658, wck=0.862, mem=47M733 5.57/3.10 decisions=43742, wrong=19736, backtracks=17827, failedAssignments=9041, nogoods=727, foundSolutions=7, bestBound=3 5.57/3.10 5.57/3.10 num=89, depth=20..34, filters=131750, ccks=658, wck=0.864, mem=47M733 5.57/3.10 decisions=43870, wrong=19786, backtracks=17871, failedAssignments=9060, nogoods=730, foundSolutions=7, bestBound=3 5.57/3.10 5.57/3.10 num=90, depth=22..32, filters=132250, ccks=658, wck=0.867, mem=47M733 5.57/3.10 decisions=44037, wrong=19857, backtracks=17937, failedAssignments=9081, nogoods=734, foundSolutions=7, bestBound=3 5.57/3.10 5.57/3.10 num=91, depth=8..37, filters=132591, ccks=658, wck=0.868, mem=47M733 5.57/3.10 decisions=44162, wrong=19908, backtracks=17982, failedAssignments=9104, nogoods=739, foundSolutions=7, bestBound=3 5.57/3.10 5.57/3.10 num=92, depth=8..40, filters=133051, ccks=658, wck=0.87, mem=47M733 5.57/3.10 decisions=44302, wrong=19963, backtracks=18031, failedAssignments=9129, nogoods=746, foundSolutions=7, bestBound=3 5.57/3.10 5.70/3.11 num=93, depth=8..41, filters=133480, ccks=658, wck=0.873, mem=47M733 5.70/3.11 decisions=44444, wrong=20018, backtracks=18076, failedAssignments=9157, nogoods=756, foundSolutions=7, bestBound=3 5.70/3.11 5.70/3.11 num=94, depth=8..40, filters=133866, ccks=658, wck=0.875, mem=47M733 5.70/3.11 decisions=44605, wrong=20084, backtracks=18134, failedAssignments=9188, nogoods=761, foundSolutions=7, bestBound=3 5.70/3.11 5.70/3.11 num=95, depth=8..40, filters=134462, ccks=658, wck=0.878, mem=47M733 5.70/3.11 decisions=44783, wrong=20161, backtracks=18202, failedAssignments=9222, nogoods=766, foundSolutions=7, bestBound=3 5.70/3.11 5.70/3.11 num=96, depth=9..40, filters=135134, ccks=658, wck=0.881, mem=47M733 5.70/3.11 decisions=44997, wrong=20253, backtracks=18280, failedAssignments=9259, nogoods=774, foundSolutions=7, bestBound=3 5.70/3.11 5.70/3.12 num=97, depth=9..41, filters=135583, ccks=658, wck=0.884, mem=47M733 5.70/3.12 decisions=45205, wrong=20343, backtracks=18359, failedAssignments=9300, nogoods=781, foundSolutions=7, bestBound=3 5.70/3.12 5.70/3.12 num=98, depth=9..39, filters=136332, ccks=658, wck=0.887, mem=47M733 5.70/3.12 decisions=45429, wrong=20443, backtracks=18444, failedAssignments=9345, nogoods=787, foundSolutions=7, bestBound=3 5.70/3.12 5.70/3.12 num=99, depth=27..42, filters=137242, ccks=658, wck=0.891, mem=47M733 5.70/3.12 decisions=45696, wrong=20561, backtracks=18556, failedAssignments=9395, nogoods=791, foundSolutions=7, bestBound=3 5.70/3.12 5.70/3.13 num=100, depth=9..41, filters=138196, ccks=658, wck=0.896, mem=50M375 5.70/3.13 decisions=46028, wrong=20710, backtracks=18694, failedAssignments=9450, nogoods=797, foundSolutions=7, bestBound=3 5.70/3.13 5.70/3.13 num=101, depth=9..45, filters=139133, ccks=658, wck=0.9, mem=50M375 5.70/3.13 decisions=46328, wrong=20842, backtracks=18818, failedAssignments=9511, nogoods=802, foundSolutions=7, bestBound=3 5.70/3.13 5.70/3.14 num=102, depth=9..69, filters=140371, ccks=658, wck=0.905, mem=50M375 5.70/3.14 decisions=46719, wrong=21008, backtracks=18963, failedAssignments=9578, nogoods=810, foundSolutions=7, bestBound=3 5.70/3.14 5.70/3.15 num=103, depth=12..44, filters=141898, ccks=658, wck=0.912, mem=50M375 5.70/3.15 decisions=47161, wrong=21212, backtracks=19156, failedAssignments=9652, nogoods=814, foundSolutions=7, bestBound=3 5.70/3.15 5.70/3.15 num=104, depth=12..45, filters=143347, ccks=658, wck=0.919, mem=50M375 5.70/3.15 decisions=47638, wrong=21436, backtracks=19362, failedAssignments=9733, nogoods=821, foundSolutions=7, bestBound=3 5.70/3.15 5.70/3.16 num=105, depth=14..46, filters=144643, ccks=658, wck=0.924, mem=50M375 5.70/3.16 decisions=48023, wrong=21609, backtracks=19515, failedAssignments=9822, nogoods=828, foundSolutions=7, bestBound=3 5.70/3.16 5.70/3.17 num=106, depth=12..39, filters=146578, ccks=658, wck=0.932, mem=50M375 5.70/3.17 decisions=48589, wrong=21877, backtracks=19771, failedAssignments=9920, nogoods=834, foundSolutions=7, bestBound=3 5.70/3.17 5.70/3.17 num=107, depth=6..42, filters=148701, ccks=658, wck=0.941, mem=50M375 5.70/3.17 decisions=49112, wrong=22123, backtracks=19995, failedAssignments=10028, nogoods=840, foundSolutions=7, bestBound=3 5.70/3.17 5.70/3.18 num=108, depth=7..68, filters=149943, ccks=658, wck=0.947, mem=50M375 5.70/3.18 decisions=49764, wrong=22421, backtracks=20282, failedAssignments=10147, nogoods=850, foundSolutions=7, bestBound=3 5.70/3.18 5.70/3.19 num=109, depth=9..64, filters=151596, ccks=658, wck=0.954, mem=50M375 5.70/3.19 decisions=50574, wrong=22801, backtracks=20644, failedAssignments=10278, nogoods=861, foundSolutions=7, bestBound=3 5.70/3.19 5.79/3.20 num=110, depth=8..35, filters=154032, ccks=658, wck=0.964, mem=50M375 5.79/3.20 decisions=51381, wrong=23192, backtracks=21006, failedAssignments=10422, nogoods=867, foundSolutions=7, bestBound=3 5.79/3.20 5.79/3.21 num=111, depth=12..39, filters=158087, ccks=658, wck=0.98, mem=50M375 5.79/3.21 decisions=52424, wrong=23701, backtracks=21494, failedAssignments=10580, nogoods=870, foundSolutions=7, bestBound=3 5.79/3.21 5.79/3.22 num=112, depth=2..31, filters=160305, ccks=658, wck=0.99, mem=50M375 5.79/3.22 decisions=53276, wrong=24117, backtracks=21889, failedAssignments=10754, nogoods=873, foundSolutions=7, bestBound=3 5.79/3.22 5.79/3.24 num=113, depth=16..41, filters=164710, ccks=658, wck=1.007, mem=50M375 5.79/3.24 decisions=54228, wrong=24585, backtracks=22331, failedAssignments=10945, nogoods=874, foundSolutions=7, bestBound=3 5.79/3.24 5.79/3.26 num=114, depth=6..36, filters=170026, ccks=658, wck=1.029, mem=50M375 5.79/3.26 decisions=55558, wrong=25239, backtracks=22954, failedAssignments=11156, nogoods=879, foundSolutions=7, bestBound=3 5.79/3.26 5.79/3.28 num=115, depth=13..33, filters=175061, ccks=658, wck=1.048, mem=50M375 5.79/3.28 decisions=56615, wrong=25756, backtracks=23396, failedAssignments=11388, nogoods=884, foundSolutions=7, bestBound=3 5.79/3.28 5.79/3.30 num=116, depth=0..68, filters=178157, ccks=658, wck=1.062, mem=50M375 5.79/3.30 decisions=57771, wrong=26308, backtracks=23901, failedAssignments=11643, nogoods=900, foundSolutions=7, bestBound=3 5.79/3.30 5.90/3.32 num=117, depth=6..71, filters=184232, ccks=658, wck=1.085, mem=50M375 5.90/3.32 decisions=59348, wrong=27076, backtracks=24637, failedAssignments=11924, nogoods=917, foundSolutions=7, bestBound=3 5.90/3.32 5.90/3.34 num=118, depth=4..29, filters=188799, ccks=658, wck=1.106, mem=50M375 5.90/3.34 decisions=60911, wrong=27850, backtracks=25331, failedAssignments=12233, nogoods=923, foundSolutions=7, bestBound=3 5.90/3.34 5.90/3.37 num=119, depth=12..34, filters=197017, ccks=658, wck=1.138, mem=53M17 5.90/3.37 decisions=62472, wrong=28620, backtracks=26082, failedAssignments=12573, nogoods=928, foundSolutions=7, bestBound=3 5.90/3.37 5.90/3.40 num=120, depth=15..33, filters=202719, ccks=658, wck=1.162, mem=53M17 5.90/3.40 decisions=64081, wrong=29413, backtracks=26806, failedAssignments=12947, nogoods=931, foundSolutions=7, bestBound=3 5.90/3.40 6.00/3.43 num=121, depth=11..35, filters=210536, ccks=658, wck=1.192, mem=53M17 6.00/3.43 decisions=65916, wrong=30319, backtracks=27675, failedAssignments=13358, nogoods=936, foundSolutions=7, bestBound=3 6.00/3.43 6.00/3.46 num=122, depth=10..38, filters=218936, ccks=658, wck=1.226, mem=53M17 6.00/3.46 decisions=68068, wrong=31386, backtracks=28676, failedAssignments=13810, nogoods=941, foundSolutions=7, bestBound=3 6.00/3.46 6.00/3.49 num=123, depth=11..91, filters=226437, ccks=658, wck=1.256, mem=53M17 6.00/3.49 decisions=70816, wrong=32730, backtracks=29946, failedAssignments=14307, nogoods=960, foundSolutions=7, bestBound=3 6.00/3.49 6.10/3.52 num=124, depth=14..32, filters=232526, ccks=658, wck=1.284, mem=53M17 6.10/3.52 decisions=73152, wrong=33887, backtracks=31023, failedAssignments=14854, nogoods=966, foundSolutions=7, bestBound=3 6.10/3.52 6.10/3.56 num=125, depth=9..33, filters=243136, ccks=658, wck=1.326, mem=53M17 6.10/3.56 decisions=75709, wrong=35156, backtracks=32225, failedAssignments=15456, nogoods=970, foundSolutions=7, bestBound=3 6.10/3.56 6.22/3.60 num=126, depth=10..29, filters=253850, ccks=658, wck=1.369, mem=53M17 6.22/3.60 decisions=78257, wrong=36421, backtracks=33367, failedAssignments=16118, nogoods=975, foundSolutions=7, bestBound=3 6.22/3.60 6.22/3.65 num=127, depth=9..37, filters=265431, ccks=658, wck=1.416, mem=55M660 6.22/3.65 decisions=81472, wrong=38018, backtracks=34834, failedAssignments=16846, nogoods=982, foundSolutions=7, bestBound=3 6.22/3.65 6.32/3.72 num=128, depth=4..29, filters=282883, ccks=658, wck=1.485, mem=55M660 6.32/3.72 decisions=85620, wrong=40082, backtracks=36687, failedAssignments=17647, nogoods=989, foundSolutions=7, bestBound=3 6.32/3.72 6.32/3.76 num=129, depth=9..79, filters=293143, ccks=658, wck=1.528, mem=55M660 6.32/3.76 decisions=90227, wrong=42359, backtracks=38879, failedAssignments=18528, nogoods=1005, foundSolutions=7, bestBound=3 6.32/3.76 6.42/3.81 num=130, depth=6..114, filters=305681, ccks=658, wck=1.579, mem=55M660 6.42/3.81 decisions=95822, wrong=45123, backtracks=41438, failedAssignments=19498, nogoods=1029, foundSolutions=7, bestBound=3 6.42/3.81 6.42/3.88 num=131, depth=11..37, filters=320564, ccks=658, wck=1.646, mem=55M660 6.42/3.88 decisions=100801, wrong=47605, backtracks=43715, failedAssignments=20565, nogoods=1033, foundSolutions=7, bestBound=3 6.42/3.88 6.52/3.94 num=132, depth=18..78, filters=333553, ccks=658, wck=1.703, mem=58M302 6.52/3.94 decisions=106932, wrong=50644, backtracks=46578, failedAssignments=21738, nogoods=1049, foundSolutions=7, bestBound=3 6.52/3.94 6.67/4.01 num=133, depth=13..70, filters=352379, ccks=658, wck=1.776, mem=58M302 6.67/4.01 decisions=113158, wrong=53733, backtracks=49493, failedAssignments=23029, nogoods=1062, foundSolutions=7, bestBound=3 6.67/4.01 6.67/4.06 num=134, depth=16..84, filters=364319, ccks=658, wck=1.826, mem=58M302 6.67/4.06 decisions=119537, wrong=56896, backtracks=52509, failedAssignments=24449, nogoods=1077, foundSolutions=7, bestBound=3 6.67/4.06 6.78/4.14 num=135, depth=6..84, filters=384522, ccks=658, wck=1.909, mem=58M302 6.78/4.14 decisions=128268, wrong=61235, backtracks=56696, failedAssignments=26011, nogoods=1105, foundSolutions=7, bestBound=3 6.78/4.14 6.87/4.22 num=136, depth=10..94, filters=402530, ccks=658, wck=1.984, mem=60M945 6.87/4.22 decisions=138278, wrong=66207, backtracks=61485, failedAssignments=27729, nogoods=1123, foundSolutions=7, bestBound=3 6.87/4.22 6.97/4.31 num=137, depth=5..89, filters=424944, ccks=658, wck=2.072, mem=60M945 6.97/4.31 decisions=148067, wrong=71071, backtracks=66106, failedAssignments=29619, nogoods=1145, foundSolutions=7, bestBound=3 6.97/4.31 7.07/4.41 num=138, depth=9..72, filters=450759, ccks=658, wck=2.172, mem=60M945 7.07/4.41 decisions=158650, wrong=76336, backtracks=71240, failedAssignments=31698, nogoods=1161, foundSolutions=7, bestBound=3 7.07/4.41 7.17/4.51 num=139, depth=7..86, filters=477591, ccks=658, wck=2.278, mem=63M587 7.17/4.51 decisions=169765, wrong=81869, backtracks=76613, failedAssignments=33985, nogoods=1176, foundSolutions=7, bestBound=3 7.17/4.51 7.27/4.63 num=140, depth=18..100, filters=506007, ccks=658, wck=2.4, mem=63M587 7.27/4.63 decisions=182938, wrong=88422, backtracks=82994, failedAssignments=36501, nogoods=1192, foundSolutions=7, bestBound=3 7.27/4.63 7.47/4.80 num=141, depth=14..64, filters=551169, ccks=658, wck=2.567, mem=63M587 7.47/4.80 decisions=196501, wrong=95181, backtracks=89447, failedAssignments=39269, nogoods=1201, foundSolutions=7, bestBound=3 7.47/4.80 7.57/4.95 num=142, depth=11..81, filters=586952, ccks=658, wck=2.713, mem=66M230 7.57/4.95 decisions=211749, wrong=102779, backtracks=96644, failedAssignments=42313, nogoods=1218, foundSolutions=7, bestBound=3 7.57/4.95 7.68/5.10 num=143, depth=27..91, filters=621066, ccks=658, wck=2.864, mem=66M230 7.68/5.10 decisions=229538, wrong=111641, backtracks=105332, failedAssignments=45662, nogoods=1232, foundSolutions=7, bestBound=3 7.68/5.10 7.97/5.34 num=144, depth=28..82, filters=676749, ccks=658, wck=3.103, mem=68M872 7.97/5.34 decisions=246393, wrong=120041, backtracks=113096, failedAssignments=49346, nogoods=1247, foundSolutions=7, bestBound=3 7.97/5.34 8.17/5.50 num=145, depth=0..110, filters=715940, ccks=658, wck=3.268, mem=71M515 8.17/5.50 decisions=266060, wrong=129840, backtracks=122594, failedAssignments=53398, nogoods=1272, foundSolutions=7, bestBound=3 8.17/5.50 8.47/5.83 num=146, depth=26..101, filters=790275, ccks=658, wck=3.595, mem=71M515 8.47/5.83 decisions=290060, wrong=141804, backtracks=133390, failedAssignments=57855, nogoods=1285, foundSolutions=7, bestBound=3 8.47/5.83 8.78/6.11 num=147, depth=22..72, filters=863597, ccks=658, wck=3.874, mem=74M157 8.78/6.11 decisions=315773, wrong=154638, backtracks=145872, failedAssignments=62758, nogoods=1301, foundSolutions=7, bestBound=3 8.78/6.11 8.88/6.28 num=148, depth=3..84, filters=903119, ccks=658, wck=4.044, mem=76M799 8.88/6.28 decisions=338761, wrong=166107, backtracks=156465, failedAssignments=68152, nogoods=1309, foundSolutions=7, bestBound=3 8.88/6.28 9.38/6.78 num=149, depth=14..84, filters=1018327, ccks=658, wck=4.544, mem=79M442 9.38/6.78 decisions=380443, wrong=186922, backtracks=176112, failedAssignments=74085, nogoods=1321, foundSolutions=7, bestBound=3 9.38/6.78 9.68/7.07 num=150, depth=20..96, filters=1085690, ccks=658, wck=4.836, mem=82M84 9.68/7.07 decisions=413685, wrong=203511, backtracks=191909, failedAssignments=80611, nogoods=1343, foundSolutions=7, bestBound=3 9.68/7.07 10.07/7.45 num=151, depth=23..94, filters=1176092, ccks=658, wck=5.217, mem=84M727 10.07/7.45 decisions=447626, wrong=220453, backtracks=207375, failedAssignments=87790, nogoods=1366, foundSolutions=7, bestBound=3 10.07/7.45 10.57/7.99 num=152, depth=14..90, filters=1294032, ccks=658, wck=5.758, mem=90M12 10.57/7.99 decisions=494270, wrong=243748, backtracks=229549, failedAssignments=95687, nogoods=1376, foundSolutions=7, bestBound=3 10.57/7.99 11.07/8.45 num=153, depth=14..70, filters=1396772, ccks=658, wck=6.216, mem=92M654 11.07/8.45 decisions=540620, wrong=266900, backtracks=251714, failedAssignments=104374, nogoods=1389, foundSolutions=7, bestBound=3 11.07/8.45 11.68/9.08 num=154, depth=42..89, filters=1546181, ccks=658, wck=6.841, mem=97M939 11.68/9.08 decisions=584554, wrong=288838, backtracks=272414, failedAssignments=113929, nogoods=1405, foundSolutions=7, bestBound=3 11.68/9.08 12.37/9.74 num=155, depth=21..84, filters=1699072, ccks=658, wck=7.507, mem=103M224 12.37/9.74 decisions=632916, wrong=312993, backtracks=294867, failedAssignments=124440, nogoods=1411, foundSolutions=7, bestBound=3 12.37/9.74 12.88/10.25 num=156, depth=20..83, filters=1816931, ccks=658, wck=8.02, mem=105M866 12.88/10.25 decisions=681879, wrong=337446, backtracks=317976, failedAssignments=136002, nogoods=1428, foundSolutions=7, bestBound=3 12.88/10.25 13.58/10.97 num=157, depth=22..64, filters=1975477, ccks=658, wck=8.736, mem=113M794 13.58/10.97 decisions=750647, wrong=371810, backtracks=350542, failedAssignments=148720, nogoods=1439, foundSolutions=7, bestBound=3 13.58/10.97 14.18/11.57 num=158, depth=12..79, filters=2108573, ccks=658, wck=9.336, mem=119M78 14.18/11.57 decisions=811497, wrong=402212, backtracks=378334, failedAssignments=162710, nogoods=1450, foundSolutions=7, bestBound=3 14.18/11.57 14.98/12.31 num=159, depth=9..83, filters=2275571, ccks=658, wck=10.072, mem=124M363 14.98/12.31 decisions=879424, wrong=436156, backtracks=410063, failedAssignments=178099, nogoods=1466, foundSolutions=7, bestBound=3 14.98/12.31 15.69/13.02 num=160, depth=14..78, filters=2445422, ccks=658, wck=10.79, mem=132M291 15.69/13.02 decisions=952193, wrong=472524, backtracks=444160, failedAssignments=195027, nogoods=1476, foundSolutions=7, bestBound=3 15.69/13.02 16.48/13.82 num=161, depth=11..89, filters=2636810, ccks=658, wck=11.587, mem=137M576 16.48/13.82 decisions=1036471, wrong=514631, backtracks=484260, failedAssignments=213648, nogoods=1498, foundSolutions=7, bestBound=3 16.48/13.82 17.42/14.79 num=162, depth=33..62, filters=2880153, ccks=658, wck=12.556, mem=26M93 17.42/14.79 decisions=1109433, wrong=551091, backtracks=519012, failedAssignments=234132, nogoods=1505, foundSolutions=7, bestBound=3 17.42/14.79 18.82/16.13 num=163, depth=25..58, filters=3189247, ccks=658, wck=13.897, mem=36M557 18.82/16.13 decisions=1209494, wrong=601100, backtracks=565967, failedAssignments=256664, nogoods=1512, foundSolutions=7, bestBound=3 18.82/16.13 20.32/17.64 num=164, depth=23..58, filters=3525732, ccks=658, wck=15.407, mem=49M637 20.32/17.64 decisions=1311927, wrong=652300, backtracks=614424, failedAssignments=281449, nogoods=1524, foundSolutions=7, bestBound=3 20.32/17.64 22.22/19.56 num=165, depth=17..69, filters=3974270, ccks=658, wck=17.326, mem=62M717 22.22/19.56 decisions=1425453, wrong=709045, backtracks=665908, failedAssignments=308713, nogoods=1535, foundSolutions=7, bestBound=3 22.22/19.56 23.83/21.16 num=166, depth=5..56, filters=4347404, ccks=658, wck=18.928, mem=78M413 23.83/21.16 decisions=1562056, wrong=777330, backtracks=731417, failedAssignments=338703, nogoods=1546, foundSolutions=7, bestBound=3 23.83/21.16 26.52/23.83 num=167, depth=19..68, filters=4971318, ccks=658, wck=21.601, mem=96M725 26.52/23.83 decisions=1706593, wrong=849579, backtracks=797713, failedAssignments=371692, nogoods=1555, foundSolutions=7, bestBound=3 26.52/23.83 28.52/25.80 num=168, depth=3..97, filters=5431466, ccks=658, wck=23.564, mem=109M804 28.52/25.80 decisions=1881700, wrong=937102, backtracks=881266, failedAssignments=407980, nogoods=1575, foundSolutions=7, bestBound=3 28.52/25.80 30.32/27.69 num=169, depth=8..101, filters=5846049, ccks=658, wck=25.452, mem=125M500 30.32/27.69 decisions=2103062, wrong=1047752, backtracks=990026, failedAssignments=447897, nogoods=1591, foundSolutions=7, bestBound=3 30.32/27.69 33.02/30.37 num=170, depth=25..89, filters=6463182, ccks=658, wck=28.139, mem=143M812 33.02/30.37 decisions=2301661, wrong=1147020, backtracks=1084369, failedAssignments=491806, nogoods=1602, foundSolutions=7, bestBound=3 33.02/30.37 35.76/33.03 num=171, depth=13..92, filters=7090399, ccks=658, wck=30.801, mem=33M995 35.76/33.03 decisions=2508081, wrong=1250197, backtracks=1178300, failedAssignments=540106, nogoods=1623, foundSolutions=7, bestBound=3 35.76/33.03 39.65/36.91 num=172, depth=3..92, filters=8025320, ccks=658, wck=34.68, mem=57M622 39.65/36.91 decisions=2733944, wrong=1363100, backtracks=1283918, failedAssignments=593236, nogoods=1644, foundSolutions=7, bestBound=3 39.65/36.91 42.35/39.69 num=173, depth=7..105, filters=8675835, ccks=658, wck=37.454, mem=81M250 42.35/39.69 decisions=3008734, wrong=1500463, backtracks=1411799, failedAssignments=651679, nogoods=1662, foundSolutions=7, bestBound=3 42.35/39.69 45.95/43.27 num=174, depth=7..77, filters=9487546, ccks=658, wck=41.032, mem=110M127 45.95/43.27 decisions=3325732, wrong=1658941, backtracks=1564469, failedAssignments=715966, nogoods=1673, foundSolutions=7, bestBound=3 45.95/43.27 49.25/46.52 num=175, depth=24..89, filters=10205005, ccks=658, wck=44.282, mem=131M129 49.25/46.52 decisions=3665317, wrong=1828706, backtracks=1725343, failedAssignments=786682, nogoods=1693, foundSolutions=7, bestBound=3 49.25/46.52 52.94/50.19 num=176, depth=13..84, filters=10991269, ccks=658, wck=47.953, mem=28M796 52.94/50.19 decisions=4039493, wrong=2015777, backtracks=1898539, failedAssignments=864469, nogoods=1707, foundSolutions=7, bestBound=3 52.94/50.19 57.23/54.40 num=177, depth=8..98, filters=11948406, ccks=658, wck=52.164, mem=57M739 57.23/54.40 decisions=4450146, wrong=2221070, backtracks=2090997, failedAssignments=950035, nogoods=1724, foundSolutions=7, bestBound=3 57.23/54.40 61.03/58.27 num=178, depth=14..98, filters=12803091, ccks=658, wck=56.032, mem=89M314 61.03/58.27 decisions=4861599, wrong=2426764, backtracks=2286218, failedAssignments=1044158, nogoods=1738, foundSolutions=7, bestBound=3 61.03/58.27 66.85/64.08 num=179, depth=17..100, filters=14095639, ccks=658, wck=61.846, mem=134M46 66.85/64.08 decisions=5397620, wrong=2694741, backtracks=2545233, failedAssignments=1147693, nogoods=1756, foundSolutions=7, bestBound=3 66.85/64.08 73.17/70.33 num=180, depth=10..98, filters=15494655, ccks=658, wck=68.094, mem=46M868 73.17/70.33 decisions=5910599, wrong=2951199, backtracks=2787208, failedAssignments=1261582, nogoods=1771, foundSolutions=7, bestBound=3 73.17/70.33 79.37/76.55 num=181, depth=9..90, filters=16807809, ccks=658, wck=74.314, mem=93M548 79.37/76.55 decisions=6551880, wrong=3271821, backtracks=3089488, failedAssignments=1386860, nogoods=1795, foundSolutions=7, bestBound=3 79.37/76.55 88.20/85.39 num=182, depth=10..96, filters=18711738, ccks=658, wck=83.155, mem=23M497 88.20/85.39 decisions=7256261, wrong=3623985, backtracks=3425741, failedAssignments=1524666, nogoods=1811, foundSolutions=7, bestBound=3 88.20/85.39 95.41/92.58 num=183, depth=7..97, filters=20330637, ccks=658, wck=90.35, mem=74M576 95.41/92.58 decisions=7984777, wrong=3988212, backtracks=3777047, failedAssignments=1676252, nogoods=1823, foundSolutions=7, bestBound=3 95.41/92.58 106.95/104.06 num=184, depth=18..86, filters=22977751, ccks=658, wck=101.821, mem=33M544 106.95/104.06 decisions=8860195, wrong=4425898, backtracks=4184078, failedAssignments=1842997, nogoods=1835, foundSolutions=7, bestBound=3 106.95/104.06 115.05/112.12 num=185, depth=23..103, filters=24561518, ccks=658, wck=109.883, mem=93M872 115.05/112.12 decisions=9748041, wrong=4869791, backtracks=4611881, failedAssignments=2026416, nogoods=1861, foundSolutions=7, bestBound=3 115.05/112.12 127.71/124.72 num=186, depth=25..102, filters=27393944, ccks=658, wck=122.487, mem=57M905 127.71/124.72 decisions=10774966, wrong=5383227, backtracks=5088285, failedAssignments=2228177, nogoods=1879, foundSolutions=7, bestBound=3 127.71/124.72 137.21/134.30 num=187, depth=13..99, filters=29613967, ccks=658, wck=132.062, mem=28M212 137.21/134.30 decisions=11668599, wrong=5830010, backtracks=5502734, failedAssignments=2450115, nogoods=1898, foundSolutions=7, bestBound=3 137.21/134.30 151.22/148.21 num=188, depth=22..84, filters=32565179, ccks=658, wck=145.98, mem=127M450 151.22/148.21 decisions=12889482, wrong=6440420, backtracks=6089172, failedAssignments=2694246, nogoods=1914, foundSolutions=7, bestBound=3 151.22/148.21 167.23/164.23 num=189, depth=7..96, filters=36030648, ccks=658, wck=161.994, mem=111M502 167.23/164.23 decisions=14074624, wrong=7032963, backtracks=6626203, failedAssignments=2962791, nogoods=1933, foundSolutions=7, bestBound=3 167.23/164.23 187.94/184.90 num=190, depth=32..101, filters=40468037, ccks=658, wck=182.667, mem=131M602 187.94/184.90 decisions=15567460, wrong=7779350, backtracks=7337545, failedAssignments=3258190, nogoods=1949, foundSolutions=7, bestBound=3 187.94/184.90 208.36/205.32 num=191, depth=3..99, filters=45345532, ccks=658, wck=203.087, mem=53M72 208.36/205.32 decisions=17011641, wrong=8501418, backtracks=8007639, failedAssignments=3583129, nogoods=1959, foundSolutions=7, bestBound=3 208.36/205.32 228.17/225.15 num=192, depth=4..114, filters=49851911, ccks=658, wck=222.917, mem=66M256 228.17/225.15 decisions=18986972, wrong=9489053, backtracks=8966593, failedAssignments=3940562, nogoods=1987, foundSolutions=7, bestBound=3 228.17/225.15 248.58/245.50 num=193, depth=16..105, filters=54544288, ccks=658, wck=243.265, mem=116M986 248.58/245.50 decisions=20668365, wrong=10329716, backtracks=9748218, failedAssignments=4333738, nogoods=2009, foundSolutions=7, bestBound=3 248.58/245.50 270.39/267.33 num=194, depth=8..81, filters=59593550, ccks=658, wck=265.095, mem=79M698 270.39/267.33 decisions=22448696, wrong=11219858, backtracks=10593306, failedAssignments=4766232, nogoods=2019, foundSolutions=7, bestBound=3 270.39/267.33 297.81/294.74 num=195, depth=9..96, filters=64957180, ccks=658, wck=292.505, mem=42M194 297.81/294.74 decisions=24607534, wrong=12299248, backtracks=11617849, failedAssignments=5241976, nogoods=2034, foundSolutions=7, bestBound=3 297.81/294.74 331.32/328.27 num=196, depth=31..125, filters=72012203, ccks=658, wck=326.034, mem=49M736 331.32/328.27 decisions=27333504, wrong=13662207, backtracks=12946392, failedAssignments=5765294, nogoods=2056, foundSolutions=7, bestBound=3 331.32/328.27 369.03/365.95 num=197, depth=4..96, filters=80047067, ccks=658, wck=363.719, mem=86M905 369.03/365.95 decisions=29939986, wrong=14965418, backtracks=14162117, failedAssignments=6340944, nogoods=2075, foundSolutions=7, bestBound=3 369.03/365.95 418.35/415.22 num=198, depth=4..95, filters=89713476, ccks=658, wck=412.985, mem=98M409 418.35/415.22 decisions=32777164, wrong=16383976, backtracks=15517658, failedAssignments=6974159, nogoods=2093, foundSolutions=7, bestBound=3 418.35/415.22 472.07/468.95 num=199, depth=5..94, filters=101039674, ccks=658, wck=466.719, mem=34M218 472.07/468.95 decisions=36042620, wrong=18016678, backtracks=17066750, failedAssignments=7670695, nogoods=2113, foundSolutions=7, bestBound=3 472.07/468.95 524.00/520.88 num=200, depth=9..94, filters=111831103, ccks=658, wck=518.651, mem=26M625 524.00/520.88 decisions=39821605, wrong=19906141, backtracks=18858354, failedAssignments=8436885, nogoods=2135, foundSolutions=7, bestBound=3 524.00/520.88 566.01/562.89 num=201, depth=1..112, filters=120066504, ccks=658, wck=560.652, mem=51M966 566.01/562.89 decisions=43674248, wrong=21832432, backtracks=20702692, failedAssignments=9279694, nogoods=2153, foundSolutions=7, bestBound=3 566.01/562.89 640.54/637.30 num=202, depth=25..98, filters=135027018, ccks=658, wck=635.069, mem=83M631 640.54/637.30 decisions=48081811, wrong=24036187, backtracks=22785333, failedAssignments=10206784, nogoods=2166, foundSolutions=7, bestBound=3 640.54/637.30 702.40/699.19 num=203, depth=11..107, filters=147362642, ccks=658, wck=696.96, mem=42M749 702.40/699.19 decisions=52557279, wrong=26273886, backtracks=24881338, failedAssignments=11226583, nogoods=2183, foundSolutions=7, bestBound=3 702.40/699.19 783.96/780.63 num=204, depth=9..91, filters=163884165, ccks=658, wck=778.394, mem=49M6 783.96/780.63 decisions=58464168, wrong=29227300, backtracks=27709082, failedAssignments=12348362, nogoods=2196, foundSolutions=7, bestBound=3 783.96/780.63 860.00/856.69 num=205, depth=10..119, filters=179708157, ccks=658, wck=854.458, mem=47M603 860.00/856.69 decisions=64383551, wrong=32186960, backtracks=30551582, failedAssignments=13582319, nogoods=2214, foundSolutions=7, bestBound=3 860.00/856.69 953.98/950.54 num=206, depth=8..113, filters=198864051, ccks=658, wck=948.302, mem=53M527 953.98/950.54 decisions=70528687, wrong=35259501, backtracks=33316814, failedAssignments=14939672, nogoods=2239, foundSolutions=7, bestBound=3 953.98/950.54 1030.34/1026.86 num=207, depth=8..111, filters=213759727, ccks=658, wck=1024.626, mem=74M232 1030.34/1026.86 decisions=77000719, wrong=38495485, backtracks=36308611, failedAssignments=16432760, nogoods=2256, foundSolutions=7, bestBound=3 1030.34/1026.86 1145.02/1141.47 num=208, depth=16..86, filters=235318104, ccks=658, wck=1139.231, mem=53M714 1145.02/1141.47 decisions=85920961, wrong=42955586, backtracks=40531586, failedAssignments=18075157, nogoods=2268, foundSolutions=7, bestBound=3 1145.02/1141.47 1238.90/1235.29 num=209, depth=11..92, filters=254355242, ccks=658, wck=1233.058, mem=43M75 1238.90/1235.29 decisions=93889674, wrong=46939913, backtracks=44151759, failedAssignments=19881794, nogoods=2286, foundSolutions=7, bestBound=3 1238.90/1235.29 1327.59/1323.82 num=210, depth=12..104, filters=272230905, ccks=658, wck=1321.586, mem=52M685 1327.59/1323.82 decisions=101554141, wrong=50772111, backtracks=47708343, failedAssignments=21869095, nogoods=2311, foundSolutions=7, bestBound=3 1327.59/1323.82 1462.72/1458.84 num=211, depth=42..99, filters=299478722, ccks=658, wck=1456.602, mem=49M427 1462.72/1458.84 decisions=111453557, wrong=55721791, backtracks=52317513, failedAssignments=24055126, nogoods=2323, foundSolutions=7, bestBound=3 1462.72/1458.84 1604.83/1600.82 num=212, depth=5..104, filters=327794748, ccks=658, wck=1598.583, mem=56M930 1604.83/1600.82 decisions=123045817, wrong=61517890, backtracks=57819408, failedAssignments=26459760, nogoods=2347, foundSolutions=7, bestBound=3 1604.83/1600.82 1806.09/1801.90 num=213, depth=10..102, filters=367602015, ccks=658, wck=1799.663, mem=28M77 1806.09/1801.90 decisions=135837267, wrong=67913584, backtracks=63858198, failedAssignments=29104857, nogoods=2369, foundSolutions=7, bestBound=3 1806.09/1801.90 2027.57/2023.21 num=214, depth=9..98, filters=414048355, ccks=658, wck=2020.98, mem=31M310 2027.57/2023.21 decisions=148903299, wrong=74446571, backtracks=70027565, failedAssignments=32014464, nogoods=2389, foundSolutions=7, bestBound=3 2027.57/2023.21 2212.72/2208.26 num=215, depth=33..94, filters=449462122, ccks=658, wck=2206.025, mem=37M752 2212.72/2208.26 decisions=163163975, wrong=81576881, backtracks=76712544, failedAssignments=35215032, nogoods=2404, foundSolutions=7, bestBound=3 2212.72/2208.26 2520.04/2515.30 2520.04/2515.30 v <instantiation id='sol7' type='solution' cost='3'> <list> z x[][] </list> <values> 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 1 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 1 1 1 0 0 1 1 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 1 0 0 1 0 0 0 1 1 1 0 1 1 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 1 1 0 0 0 0 0 0 1 0 0 0 1 0 1 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 1 1 0 0 0 0 0 1 1 0 1 0 1 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 1 0 0 0 0 1 1 0 0 0 0 0 1 1 1 0 1 0 0 0 0 0 0 </values> </instantiation> 2520.04/2515.30 s SATISFIABLE
OK 3
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 (15198 MiB free) memory of node 1: 16384 MiB (15492 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390966-1568380561/watcher-4390966-1568380561 -o /tmp/evaluation-result-4390966-1568380561/solver-4390966-1568380561 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1568380458-20196 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4390966-1568380561.xml -cm running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=20321, runsolver pid=20318 [startup+0.102311 s]* /proc/loadavg: 1.07 0.29 0.14 5/228 20336 /proc/meminfo: memFree=31407656/32770624 swapFree=66996900/67108860 [pid=20321] ppid=20318 vsize=10659884 memory=31948 CPUtime=0.14 cores=0,2,4,6 /proc/20321/stat : 20321 (java) S 20318 20321 20165 0 -1 1077944320 5909 0 0 0 13 1 0 0 20 0 15 0 414309191 10915721216 7987 33554432000 4194304 4196468 140723613929760 140723613912304 140564856356599 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 15212544 140723613934603 140723613934706 140723613934706 140723613937615 0 /proc/20321/statm: 2664971 7987 2909 1 0 2627468 0 [pid=20321/tid=20323] ppid=20318 vsize=10659884 memory=720575944405811505 CPUtime=0.09 cores=0,2,4,6 /proc/20321/task/20323/stat : 20323 (java) R 20318 20321 20165 0 -1 4202560 3249 0 0 0 9 0 0 0 20 0 15 0 414309191 10915721216 7987 33554432000 4194304 4196468 140723613929760 140564860585560 140564840437116 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15212544 140723613934603 140723613934706 140723613934706 140723613937615 0 [pid=20321/tid=20324] ppid=20318 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6 /proc/20321/task/20324/stat : 20324 (java) S 20318 20321 20165 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414309192 10915721216 7987 33554432000 4194304 4196468 140723613929760 140564463590416 140564856366805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15212544 140723613934603 140723613934706 140723613934706 140723613937615 0 [pid=20321/tid=20325] ppid=20318 vsize=10659884 memory=139689288629162 CPUtime=0 cores=0,2,4,6 /proc/20321/task/20325/stat : 20325 (java) S 20318 20321 20165 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414309192 10915721216 7987 33554432000 4194304 4196468 140723613929760 140564462537872 140564856366805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15212544 140723613934603 140723613934706 140723613934706 140723613937615 0 [pid=20321/tid=20326] ppid=20318 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6 /proc/20321/task/20326/stat : 20326 (java) S 20318 20321 20165 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414309192 10915721216 7987 33554432000 4194304 4196468 140723613929760 140564461484816 140564856366805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15212544 140723613934603 140723613934706 140723613934706 140723613937615 0 [pid=20321/tid=20327] ppid=20318 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6 /proc/20321/task/20327/stat : 20327 (java) S 20318 20321 20165 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414309192 10915721216 7987 33554432000 4194304 4196468 140723613929760 140564460432272 140564856366805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15212544 140723613934603 140723613934706 140723613934706 140723613937615 0 [pid=20321/tid=20328] ppid=20318 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6 /proc/20321/task/20328/stat : 20328 (java) S 20318 20321 20165 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414309194 10915721216 7987 33554432000 4194304 4196468 140723613929760 140563891349744 140564856367746 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15212544 140723613934603 140723613934706 140723613934706 140723613937615 0 [pid=20321/tid=20329] ppid=20318 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/20321/task/20329/stat : 20329 (java) S 20318 20321 20165 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414309194 10915721216 7987 33554432000 4194304 4196468 140723613929760 140563890295968 140564856366805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15212544 140723613934603 140723613934706 140723613934706 140723613937615 0 [pid=20321/tid=20330] ppid=20318 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6 /proc/20321/task/20330/stat : 20330 (java) S 20318 20321 20165 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414309194 10915721216 7987 33554432000 4194304 4196468 140723613929760 140563889242864 140564856366805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15212544 140723613934603 140723613934706 140723613934706 140723613937615 0 [pid=20321/tid=20331] ppid=20318 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6 /proc/20321/task/20331/stat : 20331 (java) S 20318 20321 20165 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414309197 10915721216 7987 33554432000 4194304 4196468 140723613929760 140563888191440 140564856375195 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15212544 140723613934603 140723613934706 140723613934706 140723613937615 0 [pid=20321/tid=20332] ppid=20318 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6 /proc/20321/task/20332/stat : 20332 (java) S 20318 20321 20165 0 -1 1077944384 401 0 0 0 0 0 0 0 20 0 15 0 414309197 10915721216 7987 33554432000 4194304 4196468 140723613929760 140563887139568 140564856367746 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15212544 140723613934603 140723613934706 140723613934706 140723613937615 0 [pid=20321/tid=20333] ppid=20318 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/20321/task/20333/stat : 20333 (java) S 20318 20321 20165 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 15 0 414309197 10915721216 7987 33554432000 4194304 4196468 140723613929760 140563886087120 140564856366805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15212544 140723613934603 140723613934706 140723613934706 140723613937615 0 [pid=20321/tid=20334] ppid=20318 vsize=10659884 memory=139689285371520 CPUtime=0.02 cores=0,2,4,6 /proc/20321/task/20334/stat : 20334 (java) R 20318 20321 20165 0 -1 4202560 604 0 0 0 2 0 0 0 20 0 15 0 414309197 10915721216 7987 33554432000 4194304 4196468 140723613929760 140563885029928 140564849462116 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15212544 140723613934603 140723613934706 140723613934706 140723613937615 0 [pid=20321/tid=20335] ppid=20318 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/20321/task/20335/stat : 20335 (java) S 20318 20321 20165 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414309197 10915721216 7987 33554432000 4194304 4196468 140723613929760 140563883981664 140564856366805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15212544 140723613934603 140723613934706 140723613934706 140723613937615 0 [pid=20321/tid=20336] ppid=20318 vsize=10659884 memory=139689285371520 CPUtime=0 cores=0,2,4,6 /proc/20321/task/20336/stat : 20336 (java) S 20318 20321 20165 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414309197 10915721216 7987 33554432000 4194304 4196468 140723613929760 140563882928688 140564856367746 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15212544 140723613934603 140723613934706 140723613934706 140723613937615 0 Current children cumulated CPU time: 0.14 s Current children cumulated vsize: 10659884 KiB Current children cumulated memory: 31948 KiB [startup+0.210511 s]* /proc/loadavg: 1.07 0.29 0.14 4/228 20336 /proc/meminfo: memFree=31397600/32770624 swapFree=66996900/67108860 [pid=20321] ppid=20318 vsize=10659884 memory=39452 CPUtime=0.34 cores=0,2,4,6 /proc/20321/stat : 20321 (java) S 20318 20321 20165 0 -1 1077944320 9100 0 0 0 31 3 0 0 20 0 15 0 414309191 10915721216 9863 33554432000 4194304 4196468 140723613929760 140723613912304 140564856356599 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 15212544 140723613934603 140723613934706 140723613934706 140723613937615 0 /proc/20321/statm: 2664971 9863 2989 1 0 2627468 0 [pid=20321/tid=20323] ppid=20318 vsize=10659884 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6 /proc/20321/task/20323/stat : 20323 (java) R 20318 20321 20165 0 -1 4202560 6133 0 0 0 18 2 0 0 20 0 15 0 414309191 10915721216 9863 33554432000 4194304 4196468 140723613929760 140564860588048 140564856378525 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15212544 140723613934603 140723613934706 140723613934706 140723613937615 0 [pid=20321/tid=20324] ppid=20318 vsize=10659884 memory=364 CPUtime=0 cores=0,2,4,6 /proc/20321/task/20324/stat : 20324 (java) S 20318 20321 20165 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414309192 10915721216 9863 33554432000 4194304 4196468 140723613929760 140564463590416 140564856366805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15212544 140723613934603 140723613934706 140723613934706 140723613937615 0 [pid=20321/tid=20325] ppid=20318 vsize=10659884 memory=3834731812471424672 CPUtime=0 cores=0,2,4,6 /proc/20321/task/20325/stat : 20325 (java) S 20318 20321 20165 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414309192 10915721216 9863 33554432000 4194304 4196468 140723613929760 140564462537872 140564856366805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15212544 140723613934603 140723613934706 140723613934706 140723613937615 0 [pid=20321/tid=20326] ppid=20318 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6 /proc/20321/task/20326/stat : 20326 (java) S 20318 20321 20165 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414309192 10915721216 9863 33554432000 4194304 4196468 140723613929760 140564461484816 140564856366805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15212544 140723613934603 140723613934706 140723613934706 140723613937615 0 [pid=20321/tid=20327] ppid=20318 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/20321/task/20327/stat : 20327 (java) S 20318 20321 20165 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414309192 10915721216 9863 33554432000 4194304 4196468 140723613929760 140564460432272 140564856366805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15212544 140723613934603 140723613934706 140723613934706 140723613937615 0 [pid=20321/tid=20328] ppid=20318 vsize=10659884 memory=139689285371520 CPUtime=0 cores=0,2,4,6 /proc/20321/task/20328/stat : 20328 (java) S 20318 20321 20165 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414309194 10915721216 9863 33554432000 4194304 4196468 140723613929760 140563891349744 140564856367746 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15212544 140723613934603 140723613934706 140723613934706 140723613937615 0 [pid=20321/tid=20329] ppid=20318 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/20321/task/20329/stat : 20329 (java) S 20318 20321 20165 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414309194 10915721216 9863 33554432000 4194304 4196468 140723613929760 140563890295968 140564856366805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15212544 140723613934603 140723613934706 140723613934706 140723613937615 0 [pid=20321/tid=20330] ppid=20318 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6 /proc/20321/task/20330/stat : 20330 (java) S 20318 20321 20165 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414309194 10915721216 9863 33554432000 4194304 4196468 140723613929760 140563889242864 140564856366805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15212544 140723613934603 140723613934706 140723613934706 140723613937615 0 [pid=20321/tid=20331] ppid=20318 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6 /proc/20321/task/20331/stat : 20331 (java) S 20318 20321 20165 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414309197 10915721216 9863 33554432000 4194304 4196468 140723613929760 140563888191440 140564856375195 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15212544 140723613934603 140723613934706 140723613934706 140723613937615 0 [pid=20321/tid=20332] ppid=20318 vsize=10659884 memory=0 CPUtime=0.03 cores=0,2,4,6 /proc/20321/task/20332/stat : 20332 (java) S 20318 20321 20165 0 -1 1077944384 499 0 0 0 3 0 0 0 20 0 15 0 414309197 10915721216 9863 33554432000 4194304 4196468 140723613929760 140563887139568 140564856367746 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15212544 140723613934603 140723613934706 140723613934706 140723613937615 0 [pid=20321/tid=20333] ppid=20318 vsize=10659884 memory=-1 CPUtime=0.03 cores=0,2,4,6 /proc/20321/task/20333/stat : 20333 (java) S 20318 20321 20165 0 -1 1077944384 469 0 0 0 3 0 0 0 20 0 15 0 414309197 10915721216 9863 33554432000 4194304 4196468 140723613929760 140563886087024 140564856367746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15212544 140723613934603 140723613934706 140723613934706 140723613937615 0 [pid=20321/tid=20334] ppid=20318 vsize=10659884 memory=139689285371520 CPUtime=0.05 cores=0,2,4,6 /proc/20321/task/20334/stat : 20334 (java) S 20318 20321 20165 0 -1 1077944384 640 0 0 0 5 0 0 0 20 0 15 0 414309197 10915721216 9863 33554432000 4194304 4196468 140723613929760 140563885033968 140564856367746 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15212544 140723613934603 140723613934706 140723613934706 140723613937615 0 [pid=20321/tid=20335] ppid=20318 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/20321/task/20335/stat : 20335 (java) S 20318 20321 20165 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414309197 10915721216 9863 33554432000 4194304 4196468 140723613929760 140563883981664 140564856366805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15212544 140723613934603 140723613934706 140723613934706 140723613937615 0 [pid=20321/tid=20336] ppid=20318 vsize=10659884 memory=139689285371520 CPUtime=0 cores=0,2,4,6 /proc/20321/task/20336/stat : 20336 (java) S 20318 20321 20165 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414309197 10915721216 9863 33554432000 4194304 4196468 140723613929760 140563882928688 140564856367746 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15212544 140723613934603 140723613934706 140723613934706 140723613937615 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 10659884 KiB Current children cumulated memory: 39452 KiB [startup+0.311223 s]* /proc/loadavg: 1.07 0.29 0.14 3/228 20336 /proc/meminfo: memFree=31395372/32770624 swapFree=66996900/67108860 [pid=20321] ppid=20318 vsize=10659884 memory=42244 CPUtime=0.47 cores=0,2,4,6 /proc/20321/stat : 20321 (java) S 20318 20321 20165 0 -1 1077944320 9312 0 0 0 44 3 0 0 20 0 15 0 414309191 10915721216 10561 33554432000 4194304 4196468 140723613929760 140723613912304 140564856356599 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 15212544 140723613934603 140723613934706 140723613934706 140723613937615 0 /proc/20321/statm: 2664971 10561 3002 1 0 2627468 0 [pid=20321/tid=20323] ppid=20318 vsize=10659884 memory=7022364594140610616 CPUtime=0.3 cores=0,2,4,6 /proc/20321/task/20323/stat : 20323 (java) R 20318 20321 20165 0 -1 4202560 6260 0 0 0 28 2 0 0 20 0 15 0 414309191 10915721216 10561 33554432000 4194304 4196468 140723613929760 140564860595584 140564856378525 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15212544 140723613934603 140723613934706 140723613934706 140723613937615 0 [pid=20321/tid=20324] ppid=20318 vsize=10659884 memory=4294976387 CPUtime=0 cores=0,2,4,6 /proc/20321/task/20324/stat : 20324 (java) S 20318 20321 20165 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414309192 10915721216 10561 33554432000 4194304 4196468 140723613929760 140564463590416 140564856366805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15212544 140723613934603 140723613934706 140723613934706 140723613937615 0 [pid=20321/tid=20325] ppid=20318 vsize=10659884 memory=3905661307579254432 CPUtime=0 cores=0,2,4,6 /proc/20321/task/20325/stat : 20325 (java) S 20318 20321 20165 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414309192 10915721216 10561 33554432000 4194304 4196468 140723613929760 140564462537872 140564856366805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15212544 140723613934603 140723613934706 140723613934706 140723613937615 0 [pid=20321/tid=20326] ppid=20318 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6 /proc/20321/task/20326/stat : 20326 (java) S 20318 20321 20165 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414309192 10915721216 10561 33554432000 4194304 4196468 140723613929760 140564461484816 140564856366805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15212544 140723613934603 140723613934706 140723613934706 140723613937615 0 [pid=20321/tid=20327] ppid=20318 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/20321/task/20327/stat : 20327 (java) S 20318 20321 20165 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414309192 10915721216 10561 33554432000 4194304 4196468 140723613929760 140564460432272 140564856366805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15212544 140723613934603 140723613934706 140723613934706 140723613937615 0 [pid=20321/tid=20328] ppid=20318 vsize=10659884 memory=139689285371520 CPUtime=0 cores=0,2,4,6 /proc/20321/task/20328/stat : 20328 (java) S 20318 20321 20165 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414309194 10915721216 10561 33554432000 4194304 4196468 140723613929760 140563891349744 140564856367746 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15212544 140723613934603 140723613934706 140723613934706 140723613937615 0 [pid=20321/tid=20329] ppid=20318 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/20321/task/20329/stat : 20329 (java) S 20318 20321 20165 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414309194 10915721216 10561 33554432000 4194304 4196468 140723613929760 140563890295968 140564856366805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15212544 140723613934603 140723613934706 140723613934706 140723613937615 0 [pid=20321/tid=20330] ppid=20318 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6 /proc/20321/task/20330/stat : 20330 (java) S 20318 20321 20165 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414309194 10915721216 10561 33554432000 4194304 4196468 140723613929760 140563889242864 140564856366805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15212544 140723613934603 140723613934706 140723613934706 140723613937615 0 [pid=20321/tid=20331] ppid=20318 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6 /proc/20321/task/20331/stat : 20331 (java) S 20318 20321 20165 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414309197 10915721216 10561 33554432000 4194304 4196468 140723613929760 140563888191440 140564856375195 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15212544 140723613934603 140723613934706 140723613934706 140723613937615 0 [pid=20321/tid=20332] ppid=20318 vsize=10659884 memory=0 CPUtime=0.03 cores=0,2,4,6 /proc/20321/task/20332/stat : 20332 (java) S 20318 20321 20165 0 -1 1077944384 507 0 0 0 3 0 0 0 20 0 15 0 414309197 10915721216 10561 33554432000 4194304 4196468 140723613929760 140563887139568 140564856367746 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15212544 140723613934603 140723613934706 140723613934706 140723613937615 0 [pid=20321/tid=20333] ppid=20318 vsize=10659884 memory=-1 CPUtime=0.04 cores=0,2,4,6 /proc/20321/task/20333/stat : 20333 (java) S 20318 20321 20165 0 -1 1077944384 514 0 0 0 4 0 0 0 20 0 15 0 414309197 10915721216 10561 33554432000 4194304 4196468 140723613929760 140563886087024 140564856367746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15212544 140723613934603 140723613934706 140723613934706 140723613937615 0 [pid=20321/tid=20334] ppid=20318 vsize=10659884 memory=139689285371520 CPUtime=0.08 cores=0,2,4,6 /proc/20321/task/20334/stat : 20334 (java) R 20318 20321 20165 0 -1 4202560 672 0 0 0 8 0 0 0 20 0 15 0 414309197 10915721216 10561 33554432000 4194304 4196468 140723613929760 140563885033968 140564856377946 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15212544 140723613934603 140723613934706 140723613934706 140723613937615 0 [pid=20321/tid=20335] ppid=20318 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/20321/task/20335/stat : 20335 (java) S 20318 20321 20165 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414309197 10915721216 10561 33554432000 4194304 4196468 140723613929760 140563883981664 140564856366805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15212544 140723613934603 140723613934706 140723613934706 140723613937615 0 [pid=20321/tid=20336] ppid=20318 vsize=10659884 memory=139689285371520 CPUtime=0 cores=0,2,4,6 /proc/20321/task/20336/stat : 20336 (java) S 20318 20321 20165 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414309197 10915721216 10561 33554432000 4194304 4196468 140723613929760 140563882928688 140564856367746 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15212544 140723613934603 140723613934706 140723613934706 140723613937615 0 Current children cumulated CPU time: 0.47 s Current children cumulated vsize: 10659884 KiB Current children cumulated memory: 42244 KiB [startup+0.700763 s] /proc/loadavg: 1.07 0.29 0.14 3/228 20336 /proc/meminfo: memFree=31383996/32770624 swapFree=66996900/67108860 [pid=20321] ppid=20318 vsize=10661932 memory=65576 CPUtime=1.1 cores=0,2,4,6 /proc/20321/stat : 20321 (java) S 20318 20321 20165 0 -1 1077944320 12890 0 0 0 105 5 0 0 20 0 15 0 414309191 10917818368 16394 33554432000 4194304 4196468 140723613929760 140723613912304 140564856356599 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 15212544 140723613934603 140723613934706 140723613934706 140723613937615 0 /proc/20321/statm: 2665483 16394 3065 1 0 2627980 0 [pid=20321/tid=20323] ppid=20318 vsize=10661932 memory=39284 CPUtime=0.68 cores=0,2,4,6 /proc/20321/task/20323/stat : 20323 (java) R 20318 20321 20165 0 -1 4202560 8815 0 0 0 64 4 0 0 20 0 15 0 414309191 10917818368 16394 33554432000 4194304 4196468 140723613929760 140564860588624 140564856378525 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15212544 140723613934603 140723613934706 140723613934706 140723613937615 0 [pid=20321/tid=20324] ppid=20318 vsize=10661932 memory=3028 CPUtime=0 cores=0,2,4,6 /proc/20321/task/20324/stat : 20324 (java) S 20318 20321 20165 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414309192 10917818368 16394 33554432000 4194304 4196468 140723613929760 140564463590416 140564856366805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15212544 140723613934603 140723613934706 140723613934706 140723613937615 0 [pid=20321/tid=20325] ppid=20318 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6 /proc/20321/task/20325/stat : 20325 (java) S 20318 20321 20165 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414309192 10917818368 16394 33554432000 4194304 4196468 140723613929760 140564462537872 140564856366805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15212544 140723613934603 140723613934706 140723613934706 140723613937615 0 [pid=20321/tid=20326] ppid=20318 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6 /proc/20321/task/20326/stat : 20326 (java) S 20318 20321 20165 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414309192 10917818368 16394 33554432000 4194304 4196468 140723613929760 140564461484816 140564856366805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15212544 140723613934603 140723613934706 140723613934706 140723613937615 0 [pid=20321/tid=20327] ppid=20318 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6 /proc/20321/task/20327/stat : 20327 (java) S 20318 20321 20165 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414309192 10917818368 16394 33554432000 4194304 4196468 140723613929760 140564460432272 140564856366805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15212544 140723613934603 140723613934706 140723613934706 140723613937615 0 [pid=20321/tid=20328] ppid=20318 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6 /proc/20321/task/20328/stat : 20328 (java) S 20318 20321 20165 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414309194 10917818368 16394 33554432000 4194304 4196468 140723613929760 140563891349744 140564856367746 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15212544 140723613934603 140723613934706 140723613934706 140723613937615 0 [pid=20321/tid=20329] ppid=20318 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6 /proc/20321/task/20329/stat : 20329 (java) S 20318 20321 20165 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414309194 10917818368 16394 33554432000 4194304 4196468 140723613929760 140563890295968 140564856366805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15212544 140723613934603 140723613934706 140723613934706 140723613937615 0 [pid=20321/tid=20330] ppid=20318 vsize=10661932 memory=5 CPUtime=0 cores=0,2,4,6 /proc/20321/task/20330/stat : 20330 (java) S 20318 20321 20165 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414309194 10917818368 16394 33554432000 4194304 4196468 140723613929760 140563889242864 140564856366805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15212544 140723613934603 140723613934706 140723613934706 140723613937615 0 [pid=20321/tid=20331] ppid=20318 vsize=10661932 memory=1 CPUtime=0 cores=0,2,4,6 /proc/20321/task/20331/stat : 20331 (java) S 20318 20321 20165 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414309197 10917818368 16394 33554432000 4194304 4196468 140723613929760 140563888191440 140564856375195 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15212544 140723613934603 140723613934706 140723613934706 140723613937615 0 [pid=20321/tid=20332] ppid=20318 vsize=10661932 memory=0 CPUtime=0.11 cores=0,2,4,6 /proc/20321/task/20332/stat : 20332 (java) S 20318 20321 20165 0 -1 1077944384 836 0 0 0 11 0 0 0 20 0 15 0 414309197 10917818368 16394 33554432000 4194304 4196468 140723613929760 140563887139568 140564856367746 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15212544 140723613934603 140723613934706 140723613934706 140723613937615 0 [pid=20321/tid=20333] ppid=20318 vsize=10661932 memory=65 CPUtime=0.1 cores=0,2,4,6 /proc/20321/task/20333/stat : 20333 (java) R 20318 20321 20165 0 -1 4202560 716 0 0 0 10 0 0 0 20 0 15 0 414309197 10917818368 16394 33554432000 4194304 4196468 140723613929760 140563886087024 140564837072656 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15212544 140723613934603 140723613934706 140723613934706 140723613937615 0 [pid=20321/tid=20334] ppid=20318 vsize=10661932 memory=4821 CPUtime=0.18 cores=0,2,4,6 /proc/20321/task/20334/stat : 20334 (java) S 20318 20321 20165 0 -1 1077944384 1164 0 0 0 18 0 0 0 20 0 15 0 414309197 10917818368 16394 33554432000 4194304 4196468 140723613929760 140563885033968 140564856367746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15212544 140723613934603 140723613934706 140723613934706 140723613937615 0 [pid=20321/tid=20335] ppid=20318 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6 /proc/20321/task/20335/stat : 20335 (java) S 20318 20321 20165 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414309197 10917818368 16394 33554432000 4194304 4196468 140723613929760 140563883981664 140564856366805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15212544 140723613934603 140723613934706 140723613934706 140723613937615 0 [pid=20321/tid=20336] ppid=20318 vsize=10661932 memory=5 CPUtime=0 cores=0,2,4,6 /proc/20321/task/20336/stat : 20336 (java) S 20318 20321 20165 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414309197 10917818368 16394 33554432000 4194304 4196468 140723613929760 140563882928688 140564856367746 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15212544 140723613934603 140723613934706 140723613934706 140723613937615 0 Current children cumulated CPU time: 1.1 s Current children cumulated vsize: 10661932 KiB Current children cumulated memory: 65576 KiB [startup+1.5007 s] /proc/loadavg: 1.07 0.29 0.14 3/228 20336 /proc/meminfo: memFree=31368176/32770624 swapFree=66996900/67108860 [pid=20321] ppid=20318 vsize=10663980 memory=77748 CPUtime=2.01 cores=0,2,4,6 /proc/20321/stat : 20321 (java) S 20318 20321 20165 0 -1 1077944320 16643 0 0 0 194 7 0 0 20 0 15 0 414309191 10919915520 19437 33554432000 4194304 4196468 140723613929760 140723613912304 140564856356599 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 15212544 140723613934603 140723613934706 140723613934706 140723613937615 0 /proc/20321/statm: 2665995 19437 3094 1 0 2628492 0 [pid=20321/tid=20323] ppid=20318 vsize=10663980 memory=0 CPUtime=1.48 cores=0,2,4,6 /proc/20321/task/20323/stat : 20323 (java) R 20318 20321 20165 0 -1 4202560 11544 0 0 0 143 5 0 0 20 0 15 0 414309191 10919915520 19437 33554432000 4194304 4196468 140723613929760 140564860588624 140564837920155 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15212544 140723613934603 140723613934706 140723613934706 140723613937615 0 [pid=20321/tid=20324] ppid=20318 vsize=10663980 memory=39284 CPUtime=0 cores=0,2,4,6 /proc/20321/task/20324/stat : 20324 (java) S 20318 20321 20165 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414309192 10919915520 19437 33554432000 4194304 4196468 140723613929760 140564463590416 140564856366805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15212544 140723613934603 140723613934706 140723613934706 140723613937615 0 [pid=20321/tid=20325] ppid=20318 vsize=10663980 memory=3028 CPUtime=0 cores=0,2,4,6 /proc/20321/task/20325/stat : 20325 (java) S 20318 20321 20165 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414309192 10919915520 19437 33554432000 4194304 4196468 140723613929760 140564462537872 140564856366805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15212544 140723613934603 140723613934706 140723613934706 140723613937615 0 [pid=20321/tid=20326] ppid=20318 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6 /proc/20321/task/20326/stat : 20326 (java) S 20318 20321 20165 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414309192 10919915520 19437 33554432000 4194304 4196468 140723613929760 140564461484816 140564856366805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15212544 140723613934603 140723613934706 140723613934706 140723613937615 0 [pid=20321/tid=20327] ppid=20318 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6 /proc/20321/task/20327/stat : 20327 (java) S 20318 20321 20165 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414309192 10919915520 19437 33554432000 4194304 4196468 140723613929760 140564460432272 140564856366805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15212544 140723613934603 140723613934706 140723613934706 140723613937615 0 [pid=20321/tid=20328] ppid=20318 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6 /proc/20321/task/20328/stat : 20328 (java) S 20318 20321 20165 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 15 0 414309194 10919915520 19437 33554432000 4194304 4196468 140723613929760 140563891349744 140564856367746 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15212544 140723613934603 140723613934706 140723613934706 140723613937615 0 ################ # More data... # ################ /proc/20321/task/20327/stat : 20327 (java) S 20318 20321 20165 0 -1 1077944384 2876 0 0 0 54 1 0 0 20 0 16 0 414309192 11006283776 48716 33554432000 4194304 4196468 140723613929760 140564460432272 140564856366805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15212544 140723613934603 140723613934706 140723613934706 140723613937615 0 [pid=20321/tid=20328] ppid=20318 vsize=10748324 memory=194864 CPUtime=0.22 cores=0,2,4,6 /proc/20321/task/20328/stat : 20328 (java) S 20318 20321 20165 0 -1 1077944384 4108 0 0 0 19 3 0 0 20 0 16 0 414309194 11006283776 48716 33554432000 4194304 4196468 140723613929760 140563891349744 140564856367746 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15212544 140723613934603 140723613934706 140723613934706 140723613937615 0 [pid=20321/tid=20329] ppid=20318 vsize=10748324 memory=194864 CPUtime=0 cores=0,2,4,6 /proc/20321/task/20329/stat : 20329 (java) S 20318 20321 20165 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 16 0 414309194 11006283776 48716 33554432000 4194304 4196468 140723613929760 140563890296032 140564856366805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15212544 140723613934603 140723613934706 140723613934706 140723613937615 0 [pid=20321/tid=20330] ppid=20318 vsize=10748324 memory=194864 CPUtime=0 cores=0,2,4,6 /proc/20321/task/20330/stat : 20330 (java) S 20318 20321 20165 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 16 0 414309194 11006283776 48716 33554432000 4194304 4196468 140723613929760 140563889242880 140564856366805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15212544 140723613934603 140723613934706 140723613934706 140723613937615 0 [pid=20321/tid=20331] ppid=20318 vsize=10748324 memory=3504 CPUtime=0 cores=0,2,4,6 /proc/20321/task/20331/stat : 20331 (java) S 20318 20321 20165 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414309197 11006283776 48716 33554432000 4194304 4196468 140723613929760 140563888191440 140564856375195 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15212544 140723613934603 140723613934706 140723613934706 140723613937615 0 [pid=20321/tid=20332] ppid=20318 vsize=10748324 memory=39332 CPUtime=1.03 cores=0,2,4,6 /proc/20321/task/20332/stat : 20332 (java) S 20318 20321 20165 0 -1 1077944384 3968 0 0 0 102 1 0 0 20 0 16 0 414309197 11006283776 48716 33554432000 4194304 4196468 140723613929760 140563887139568 140564856367746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15212544 140723613934603 140723613934706 140723613934706 140723613937615 0 [pid=20321/tid=20333] ppid=20318 vsize=10748324 memory=194864 CPUtime=1.15 cores=0,2,4,6 /proc/20321/task/20333/stat : 20333 (java) S 20318 20321 20165 0 -1 1077944384 6728 0 0 0 114 1 0 0 20 0 16 0 414309197 11006283776 48716 33554432000 4194304 4196468 140723613929760 140563886087024 140564856367746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15212544 140723613934603 140723613934706 140723613934706 140723613937615 0 [pid=20321/tid=20334] ppid=20318 vsize=10748324 memory=812 CPUtime=0.61 cores=0,2,4,6 /proc/20321/task/20334/stat : 20334 (java) S 20318 20321 20165 0 -1 1077944384 6602 0 0 0 59 2 0 0 20 0 16 0 414309197 11006283776 48716 33554432000 4194304 4196468 140723613929760 140563885033968 140564856367746 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15212544 140723613934603 140723613934706 140723613934706 140723613937615 0 [pid=20321/tid=20335] ppid=20318 vsize=10748324 memory=194864 CPUtime=0 cores=0,2,4,6 /proc/20321/task/20335/stat : 20335 (java) S 20318 20321 20165 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414309197 11006283776 48716 33554432000 4194304 4196468 140723613929760 140563883981664 140564856366805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15212544 140723613934603 140723613934706 140723613934706 140723613937615 0 [pid=20321/tid=20336] ppid=20318 vsize=10748324 memory=194864 CPUtime=0.61 cores=0,2,4,6 /proc/20321/task/20336/stat : 20336 (java) S 20318 20321 20165 0 -1 1077944384 859 0 0 0 26 35 0 0 20 0 16 0 414309197 11006283776 48716 33554432000 4194304 4196468 140723613929760 140563882928688 140564856367746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15212544 140723613934603 140723613934706 140723613934706 140723613937615 0 [pid=20321/tid=20337] ppid=20318 vsize=10748324 memory=1408 CPUtime=2439.24 cores=0,2,4,6 /proc/20321/task/20337/stat : 20337 (java) R 20318 20321 20165 0 -1 4202560 14584 0 0 0 243917 7 0 0 20 0 16 0 414309381 11006283776 48716 33554432000 4194304 4196468 140723613929760 140563879775744 140564500059268 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15212544 140723613934603 140723613934706 140723613934706 140723613937615 0 Current children cumulated CPU time: 2446.99 s Current children cumulated vsize: 10748324 KiB Current children cumulated memory: 194864 KiB [startup+2502.3 s] /proc/loadavg: 2.05 2.04 1.87 3/229 20719 /proc/meminfo: memFree=30859040/32770624 swapFree=66996904/67108860 [pid=20321] ppid=20318 vsize=10748324 memory=194864 CPUtime=2507.02 cores=0,2,4,6 /proc/20321/stat : 20321 (java) S 20318 20321 20165 0 -1 1077944320 64531 0 0 0 250650 52 0 0 20 0 16 0 414309191 11006283776 48716 33554432000 4194304 4196468 140723613929760 140723613912304 140564856356599 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 15212544 140723613934603 140723613934706 140723613934706 140723613937615 0 /proc/20321/statm: 2687081 48716 3381 1 0 2647217 0 [pid=20321/tid=20323] ppid=20318 vsize=10748324 memory=194864 CPUtime=1.88 cores=0,2,4,6 /proc/20321/task/20323/stat : 20323 (java) S 20318 20321 20165 0 -1 1077944384 13171 0 0 0 180 8 0 0 20 0 16 0 414309191 11006283776 48716 33554432000 4194304 4196468 140723613929760 140564860599472 140564856366805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15212544 140723613934603 140723613934706 140723613934706 140723613937615 0 [pid=20321/tid=20324] ppid=20318 vsize=10748324 memory=194864 CPUtime=0.55 cores=0,2,4,6 /proc/20321/task/20324/stat : 20324 (java) S 20318 20321 20165 0 -1 1077944384 2773 0 0 0 54 1 0 0 20 0 16 0 414309192 11006283776 48716 33554432000 4194304 4196468 140723613929760 140564463590416 140564856366805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15212544 140723613934603 140723613934706 140723613934706 140723613937615 0 [pid=20321/tid=20325] ppid=20318 vsize=10748324 memory=194864 CPUtime=0.56 cores=0,2,4,6 /proc/20321/task/20325/stat : 20325 (java) S 20318 20321 20165 0 -1 1077944384 3832 0 0 0 54 2 0 0 20 0 16 0 414309192 11006283776 48716 33554432000 4194304 4196468 140723613929760 140564462537872 140564856366805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15212544 140723613934603 140723613934706 140723613934706 140723613937615 0 [pid=20321/tid=20326] ppid=20318 vsize=10748324 memory=194864 CPUtime=0.54 cores=0,2,4,6 /proc/20321/task/20326/stat : 20326 (java) S 20318 20321 20165 0 -1 1077944384 3296 0 0 0 53 1 0 0 20 0 16 0 414309192 11006283776 48716 33554432000 4194304 4196468 140723613929760 140564461484816 140564856366805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15212544 140723613934603 140723613934706 140723613934706 140723613937615 0 [pid=20321/tid=20327] ppid=20318 vsize=10748324 memory=194864 CPUtime=0.56 cores=0,2,4,6 /proc/20321/task/20327/stat : 20327 (java) S 20318 20321 20165 0 -1 1077944384 2901 0 0 0 55 1 0 0 20 0 16 0 414309192 11006283776 48716 33554432000 4194304 4196468 140723613929760 140564460432272 140564856366805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15212544 140723613934603 140723613934706 140723613934706 140723613937615 0 [pid=20321/tid=20328] ppid=20318 vsize=10748324 memory=164 CPUtime=0.22 cores=0,2,4,6 /proc/20321/task/20328/stat : 20328 (java) S 20318 20321 20165 0 -1 1077944384 4277 0 0 0 19 3 0 0 20 0 16 0 414309194 11006283776 48716 33554432000 4194304 4196468 140723613929760 140563891349744 140564856367746 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15212544 140723613934603 140723613934706 140723613934706 140723613937615 0 [pid=20321/tid=20329] ppid=20318 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6 /proc/20321/task/20329/stat : 20329 (java) S 20318 20321 20165 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 16 0 414309194 11006283776 48716 33554432000 4194304 4196468 140723613929760 140563890296032 140564856366805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15212544 140723613934603 140723613934706 140723613934706 140723613937615 0 [pid=20321/tid=20330] ppid=20318 vsize=10748324 memory=194864 CPUtime=0 cores=0,2,4,6 /proc/20321/task/20330/stat : 20330 (java) S 20318 20321 20165 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 16 0 414309194 11006283776 48716 33554432000 4194304 4196468 140723613929760 140563889242880 140564856366805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15212544 140723613934603 140723613934706 140723613934706 140723613937615 0 [pid=20321/tid=20331] ppid=20318 vsize=10748324 memory=194864 CPUtime=0 cores=0,2,4,6 /proc/20321/task/20331/stat : 20331 (java) S 20318 20321 20165 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414309197 11006283776 48716 33554432000 4194304 4196468 140723613929760 140563888191440 140564856375195 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15212544 140723613934603 140723613934706 140723613934706 140723613937615 0 [pid=20321/tid=20332] ppid=20318 vsize=10748324 memory=5948 CPUtime=1.03 cores=0,2,4,6 /proc/20321/task/20332/stat : 20332 (java) S 20318 20321 20165 0 -1 1077944384 3969 0 0 0 102 1 0 0 20 0 16 0 414309197 11006283776 48716 33554432000 4194304 4196468 140723613929760 140563887139568 140564856367746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15212544 140723613934603 140723613934706 140723613934706 140723613937615 0 [pid=20321/tid=20333] ppid=20318 vsize=10748324 memory=11960 CPUtime=1.15 cores=0,2,4,6 /proc/20321/task/20333/stat : 20333 (java) S 20318 20321 20165 0 -1 1077944384 6728 0 0 0 114 1 0 0 20 0 16 0 414309197 11006283776 48716 33554432000 4194304 4196468 140723613929760 140563886087024 140564856367746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15212544 140723613934603 140723613934706 140723613934706 140723613937615 0 [pid=20321/tid=20334] ppid=20318 vsize=10748324 memory=500 CPUtime=0.61 cores=0,2,4,6 /proc/20321/task/20334/stat : 20334 (java) S 20318 20321 20165 0 -1 1077944384 6602 0 0 0 59 2 0 0 20 0 16 0 414309197 11006283776 48716 33554432000 4194304 4196468 140723613929760 140563885033968 140564856367746 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15212544 140723613934603 140723613934706 140723613934706 140723613937615 0 [pid=20321/tid=20335] ppid=20318 vsize=10748324 memory=194864 CPUtime=0 cores=0,2,4,6 /proc/20321/task/20335/stat : 20335 (java) S 20318 20321 20165 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414309197 11006283776 48716 33554432000 4194304 4196468 140723613929760 140563883981664 140564856366805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15212544 140723613934603 140723613934706 140723613934706 140723613937615 0 [pid=20321/tid=20336] ppid=20318 vsize=10748324 memory=194864 CPUtime=0.63 cores=0,2,4,6 /proc/20321/task/20336/stat : 20336 (java) S 20318 20321 20165 0 -1 1077944384 887 0 0 0 27 36 0 0 20 0 16 0 414309197 11006283776 48716 33554432000 4194304 4196468 140723613929760 140563882928688 140564856367746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15212544 140723613934603 140723613934706 140723613934706 140723613937615 0 [pid=20321/tid=20337] ppid=20318 vsize=10748324 memory=1548 CPUtime=2499.22 cores=0,2,4,6 /proc/20321/task/20337/stat : 20337 (java) R 20318 20321 20165 0 -1 4202560 14649 0 0 0 249915 7 0 0 20 0 16 0 414309381 11006283776 48716 33554432000 4194304 4196468 140723613929760 140563879775792 140564499739887 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15212544 140723613934603 140723613934706 140723613934706 140723613937615 0 Current children cumulated CPU time: 2507.02 s Current children cumulated vsize: 10748324 KiB Current children cumulated memory: 194864 KiB Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2515.3 s] /proc/loadavg: 2.04 2.04 1.87 3/229 20720 /proc/meminfo: memFree=30859256/32770624 swapFree=66996904/67108860 [pid=20321] ppid=20318 vsize=10748324 memory=194864 CPUtime=2520.04 cores=0,2,4,6 /proc/20321/stat : 20321 (java) S 20318 20321 20165 0 -1 1077944320 64536 0 0 0 251951 53 0 0 20 0 16 0 414309191 11006283776 48716 33554432000 4194304 4196468 140723613929760 140723613912304 140564856356599 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 15212544 140723613934603 140723613934706 140723613934706 140723613937615 0 /proc/20321/statm: 2687081 48716 3381 1 0 2647217 0 [pid=20321/tid=20323] ppid=20318 vsize=10748324 memory=194864 CPUtime=1.88 cores=0,2,4,6 /proc/20321/task/20323/stat : 20323 (java) S 20318 20321 20165 0 -1 1077944384 13171 0 0 0 180 8 0 0 20 0 16 0 414309191 11006283776 48716 33554432000 4194304 4196468 140723613929760 140564860599472 140564856366805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15212544 140723613934603 140723613934706 140723613934706 140723613937615 0 [pid=20321/tid=20324] ppid=20318 vsize=10748324 memory=194864 CPUtime=0.55 cores=0,2,4,6 /proc/20321/task/20324/stat : 20324 (java) S 20318 20321 20165 0 -1 1077944384 2773 0 0 0 54 1 0 0 20 0 16 0 414309192 11006283776 48716 33554432000 4194304 4196468 140723613929760 140564463590416 140564856366805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15212544 140723613934603 140723613934706 140723613934706 140723613937615 0 [pid=20321/tid=20325] ppid=20318 vsize=10748324 memory=194864 CPUtime=0.56 cores=0,2,4,6 /proc/20321/task/20325/stat : 20325 (java) S 20318 20321 20165 0 -1 1077944384 3832 0 0 0 54 2 0 0 20 0 16 0 414309192 11006283776 48716 33554432000 4194304 4196468 140723613929760 140564462537872 140564856366805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15212544 140723613934603 140723613934706 140723613934706 140723613937615 0 [pid=20321/tid=20326] ppid=20318 vsize=10748324 memory=194864 CPUtime=0.55 cores=0,2,4,6 /proc/20321/task/20326/stat : 20326 (java) S 20318 20321 20165 0 -1 1077944384 3296 0 0 0 54 1 0 0 20 0 16 0 414309192 11006283776 48716 33554432000 4194304 4196468 140723613929760 140564461484816 140564856366805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15212544 140723613934603 140723613934706 140723613934706 140723613937615 0 [pid=20321/tid=20327] ppid=20318 vsize=10748324 memory=194864 CPUtime=0.56 cores=0,2,4,6 /proc/20321/task/20327/stat : 20327 (java) S 20318 20321 20165 0 -1 1077944384 2901 0 0 0 55 1 0 0 20 0 16 0 414309192 11006283776 48716 33554432000 4194304 4196468 140723613929760 140564460432272 140564856366805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15212544 140723613934603 140723613934706 140723613934706 140723613937615 0 [pid=20321/tid=20328] ppid=20318 vsize=10748324 memory=194864 CPUtime=0.22 cores=0,2,4,6 /proc/20321/task/20328/stat : 20328 (java) S 20318 20321 20165 0 -1 1077944384 4279 0 0 0 19 3 0 0 20 0 16 0 414309194 11006283776 48716 33554432000 4194304 4196468 140723613929760 140563891349744 140564856367746 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15212544 140723613934603 140723613934706 140723613934706 140723613937615 0 [pid=20321/tid=20329] ppid=20318 vsize=10748324 memory=194864 CPUtime=0 cores=0,2,4,6 /proc/20321/task/20329/stat : 20329 (java) S 20318 20321 20165 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 16 0 414309194 11006283776 48716 33554432000 4194304 4196468 140723613929760 140563890296032 140564856366805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15212544 140723613934603 140723613934706 140723613934706 140723613937615 0 [pid=20321/tid=20330] ppid=20318 vsize=10748324 memory=194864 CPUtime=0 cores=0,2,4,6 /proc/20321/task/20330/stat : 20330 (java) S 20318 20321 20165 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 16 0 414309194 11006283776 48716 33554432000 4194304 4196468 140723613929760 140563889242880 140564856366805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15212544 140723613934603 140723613934706 140723613934706 140723613937615 0 [pid=20321/tid=20331] ppid=20318 vsize=10748324 memory=194864 CPUtime=0 cores=0,2,4,6 /proc/20321/task/20331/stat : 20331 (java) S 20318 20321 20165 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414309197 11006283776 48716 33554432000 4194304 4196468 140723613929760 140563888191440 140564856375195 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15212544 140723613934603 140723613934706 140723613934706 140723613937615 0 [pid=20321/tid=20332] ppid=20318 vsize=10748324 memory=194864 CPUtime=1.03 cores=0,2,4,6 /proc/20321/task/20332/stat : 20332 (java) S 20318 20321 20165 0 -1 1077944384 3969 0 0 0 102 1 0 0 20 0 16 0 414309197 11006283776 48716 33554432000 4194304 4196468 140723613929760 140563887139568 140564856367746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15212544 140723613934603 140723613934706 140723613934706 140723613937615 0 [pid=20321/tid=20333] ppid=20318 vsize=10748324 memory=3504 CPUtime=1.15 cores=0,2,4,6 /proc/20321/task/20333/stat : 20333 (java) S 20318 20321 20165 0 -1 1077944384 6728 0 0 0 114 1 0 0 20 0 16 0 414309197 11006283776 48716 33554432000 4194304 4196468 140723613929760 140563886087024 140564856367746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15212544 140723613934603 140723613934706 140723613934706 140723613937615 0 [pid=20321/tid=20334] ppid=20318 vsize=10748324 memory=279378361824256 CPUtime=0.61 cores=0,2,4,6 /proc/20321/task/20334/stat : 20334 (java) S 20318 20321 20165 0 -1 1077944384 6602 0 0 0 59 2 0 0 20 0 16 0 414309197 11006283776 48716 33554432000 4194304 4196468 140723613929760 140563885033968 140564856367746 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15212544 140723613934603 140723613934706 140723613934706 140723613937615 0 [pid=20321/tid=20335] ppid=20318 vsize=10748324 memory=194864 CPUtime=0 cores=0,2,4,6 /proc/20321/task/20335/stat : 20335 (java) S 20318 20321 20165 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414309197 11006283776 48716 33554432000 4194304 4196468 140723613929760 140563883981664 140564856366805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15212544 140723613934603 140723613934706 140723613934706 140723613937615 0 [pid=20321/tid=20336] ppid=20318 vsize=10748324 memory=194864 CPUtime=0.63 cores=0,2,4,6 /proc/20321/task/20336/stat : 20336 (java) S 20318 20321 20165 0 -1 1077944384 889 0 0 0 27 36 0 0 20 0 16 0 414309197 11006283776 48716 33554432000 4194304 4196468 140723613929760 140563882928688 140564856367746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15212544 140723613934603 140723613934706 140723613934706 140723613937615 0 [pid=20321/tid=20337] ppid=20318 vsize=10748324 memory=194864 CPUtime=2512.21 cores=0,2,4,6 /proc/20321/task/20337/stat : 20337 (java) R 20318 20321 20165 0 -1 4202560 14650 0 0 0 251214 7 0 0 20 0 16 0 414309381 11006283776 48716 33554432000 4194304 4196468 140723613929760 140563879775728 140564499877921 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15212544 140723613934603 140723613934706 140723613934706 140723613937615 0 Current children cumulated CPU time: 2520.04 s Current children cumulated vsize: 10748324 KiB Current children cumulated memory: 194864 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2515.31 s] # the end of solver process 20321 was just reported to runsolver # cumulated CPU time of all completed processes: user=2519.52 s, system=0.534036 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+2515.3 s] /proc/loadavg: 2.04 2.04 1.87 3/229 20720 /proc/meminfo: memFree=30859256/32770624 swapFree=66996904/67108860 [pid=20321] ppid=20318 vsize=10748324 memory=194864 CPUtime=2520.04 cores=0,2,4,6 /proc/20321/stat : 20321 (java) S 20318 20321 20165 0 -1 1077944320 64536 0 0 0 251951 53 0 0 20 0 16 0 414309191 11006283776 48716 33554432000 4194304 4196468 140723613929760 140723613912304 140564856356599 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 15212544 140723613934603 140723613934706 140723613934706 140723613937615 0 /proc/20321/statm: 2687081 48716 3381 1 0 2647217 0 [pid=20321/tid=20323] ppid=20318 vsize=10748324 memory=194864 CPUtime=1.88 cores=0,2,4,6 /proc/20321/task/20323/stat : 20323 (java) S 20318 20321 20165 0 -1 1077944384 13171 0 0 0 180 8 0 0 20 0 16 0 414309191 11006283776 48716 33554432000 4194304 4196468 140723613929760 140564860599472 140564856366805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15212544 140723613934603 140723613934706 140723613934706 140723613937615 0 [pid=20321/tid=20324] ppid=20318 vsize=10748324 memory=194864 CPUtime=0.55 cores=0,2,4,6 /proc/20321/task/20324/stat : 20324 (java) S 20318 20321 20165 0 -1 1077944384 2773 0 0 0 54 1 0 0 20 0 16 0 414309192 11006283776 48716 33554432000 4194304 4196468 140723613929760 140564463590416 140564856366805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15212544 140723613934603 140723613934706 140723613934706 140723613937615 0 [pid=20321/tid=20325] ppid=20318 vsize=10748324 memory=194864 CPUtime=0.56 cores=0,2,4,6 /proc/20321/task/20325/stat : 20325 (java) S 20318 20321 20165 0 -1 1077944384 3832 0 0 0 54 2 0 0 20 0 16 0 414309192 11006283776 48716 33554432000 4194304 4196468 140723613929760 140564462537872 140564856366805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15212544 140723613934603 140723613934706 140723613934706 140723613937615 0 [pid=20321/tid=20326] ppid=20318 vsize=10748324 memory=194864 CPUtime=0.55 cores=0,2,4,6 /proc/20321/task/20326/stat : 20326 (java) S 20318 20321 20165 0 -1 1077944384 3296 0 0 0 54 1 0 0 20 0 16 0 414309192 11006283776 48716 33554432000 4194304 4196468 140723613929760 140564461484816 140564856366805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15212544 140723613934603 140723613934706 140723613934706 140723613937615 0 [pid=20321/tid=20327] ppid=20318 vsize=10748324 memory=194864 CPUtime=0.56 cores=0,2,4,6 /proc/20321/task/20327/stat : 20327 (java) S 20318 20321 20165 0 -1 1077944384 2901 0 0 0 55 1 0 0 20 0 16 0 414309192 11006283776 48716 33554432000 4194304 4196468 140723613929760 140564460432272 140564856366805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15212544 140723613934603 140723613934706 140723613934706 140723613937615 0 [pid=20321/tid=20328] ppid=20318 vsize=10748324 memory=194864 CPUtime=0.22 cores=0,2,4,6 /proc/20321/task/20328/stat : 20328 (java) S 20318 20321 20165 0 -1 1077944384 4279 0 0 0 19 3 0 0 20 0 16 0 414309194 11006283776 48716 33554432000 4194304 4196468 140723613929760 140563891349744 140564856367746 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15212544 140723613934603 140723613934706 140723613934706 140723613937615 0 [pid=20321/tid=20329] ppid=20318 vsize=10748324 memory=194864 CPUtime=0 cores=0,2,4,6 /proc/20321/task/20329/stat : 20329 (java) S 20318 20321 20165 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 16 0 414309194 11006283776 48716 33554432000 4194304 4196468 140723613929760 140563890296032 140564856366805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15212544 140723613934603 140723613934706 140723613934706 140723613937615 0 [pid=20321/tid=20330] ppid=20318 vsize=10748324 memory=194864 CPUtime=0 cores=0,2,4,6 /proc/20321/task/20330/stat : 20330 (java) S 20318 20321 20165 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 16 0 414309194 11006283776 48716 33554432000 4194304 4196468 140723613929760 140563889242880 140564856366805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15212544 140723613934603 140723613934706 140723613934706 140723613937615 0 [pid=20321/tid=20331] ppid=20318 vsize=10748324 memory=194864 CPUtime=0 cores=0,2,4,6 /proc/20321/task/20331/stat : 20331 (java) S 20318 20321 20165 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414309197 11006283776 48716 33554432000 4194304 4196468 140723613929760 140563888191440 140564856375195 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15212544 140723613934603 140723613934706 140723613934706 140723613937615 0 [pid=20321/tid=20332] ppid=20318 vsize=10748324 memory=194864 CPUtime=1.03 cores=0,2,4,6 /proc/20321/task/20332/stat : 20332 (java) S 20318 20321 20165 0 -1 1077944384 3969 0 0 0 102 1 0 0 20 0 16 0 414309197 11006283776 48716 33554432000 4194304 4196468 140723613929760 140563887139568 140564856367746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15212544 140723613934603 140723613934706 140723613934706 140723613937615 0 [pid=20321/tid=20333] ppid=20318 vsize=10748324 memory=3504 CPUtime=1.15 cores=0,2,4,6 /proc/20321/task/20333/stat : 20333 (java) S 20318 20321 20165 0 -1 1077944384 6728 0 0 0 114 1 0 0 20 0 16 0 414309197 11006283776 48716 33554432000 4194304 4196468 140723613929760 140563886087024 140564856367746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15212544 140723613934603 140723613934706 140723613934706 140723613937615 0 [pid=20321/tid=20334] ppid=20318 vsize=10748324 memory=279378361824256 CPUtime=0.61 cores=0,2,4,6 /proc/20321/task/20334/stat : 20334 (java) S 20318 20321 20165 0 -1 1077944384 6602 0 0 0 59 2 0 0 20 0 16 0 414309197 11006283776 48716 33554432000 4194304 4196468 140723613929760 140563885033968 140564856367746 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15212544 140723613934603 140723613934706 140723613934706 140723613937615 0 [pid=20321/tid=20335] ppid=20318 vsize=10748324 memory=194864 CPUtime=0 cores=0,2,4,6 /proc/20321/task/20335/stat : 20335 (java) S 20318 20321 20165 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414309197 11006283776 48716 33554432000 4194304 4196468 140723613929760 140563883981664 140564856366805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15212544 140723613934603 140723613934706 140723613934706 140723613937615 0 [pid=20321/tid=20336] ppid=20318 vsize=10748324 memory=194864 CPUtime=0.63 cores=0,2,4,6 /proc/20321/task/20336/stat : 20336 (java) S 20318 20321 20165 0 -1 1077944384 889 0 0 0 27 36 0 0 20 0 16 0 414309197 11006283776 48716 33554432000 4194304 4196468 140723613929760 140563882928688 140564856367746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15212544 140723613934603 140723613934706 140723613934706 140723613937615 0 [pid=20321/tid=20337] ppid=20318 vsize=10748324 memory=194864 CPUtime=2512.21 cores=0,2,4,6 /proc/20321/task/20337/stat : 20337 (java) R 20318 20321 20165 0 -1 4202560 14650 0 0 0 251214 7 0 0 20 0 16 0 414309381 11006283776 48716 33554432000 4194304 4196468 140723613929760 140563879775728 140564499877921 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15212544 140723613934603 140723613934706 140723613934706 140723613937615 0 Current children cumulated CPU time: 2520.04 s Current children cumulated vsize: 10748324 KiB Current children cumulated memory: 194864 KiB Child status: 143 Real time (s): 2515.31 CPU time (s): 2520.06 CPU user time (s): 2519.52 CPU system time (s): 0.534036 CPU usage (%): 100.189 Max. virtual memory (cumulated for all children) (KiB): 10748324 Max. memory (cumulated for all children) (KiB): 251436 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2519.52 system time used= 0.534036 maximum resident set size= 251436 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 64933 page faults= 0 swaps= 0 block input operations= 0 block output operations= 2888 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 61374 involuntary context switches= 2764 # summary of solver processes directly reported to runsolver: # pid: 20321 # total CPU time (s): 2520.06 # total CPU user time (s): 2519.52 # total CPU system time (s): 0.534036 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 12.4685 second user time and 23.0367 second system time The end
Begin job on node103 at 2019-09-13 15:15:02 IDJOB=4390966 IDBENCH=122986 IDSOLVER=2832 FILE ID=node103/4390966-1568380561 RUNJOBID= node103-1568380458-20196 PBS_JOBID= 21701851 Free space on /tmp= 57256 MiB SOLVER NAME= AbsCon 2019-07-23 BENCH NAME= XCSP17/Opd/Opd-sum-small/Opd-10-030-009.xml COMMAND LINE= java -cp AbsCon19-06.jar AbsCon BENCHNAME -cm RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4390966-1568380561/watcher-4390966-1568380561 -o /tmp/evaluation-result-4390966-1568380561/solver-4390966-1568380561 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1568380458-20196 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4390966-1568380561.xml -cm TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 902db1136df2968cd1e3d1d445559775 RANDOM SEED=1712976382 node103.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.74 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.74 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.74 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.74 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: 31427372 kB MemAvailable: 31625648 kB Buffers: 44820 kB Cached: 431120 kB SwapCached: 9140 kB Active: 665212 kB Inactive: 83216 kB Active(anon): 266700 kB Inactive(anon): 46744 kB Active(file): 398512 kB Inactive(file): 36472 kB Unevictable: 111412 kB Mlocked: 111412 kB SwapTotal: 67108860 kB SwapFree: 66996900 kB Dirty: 8472 kB Writeback: 0 kB AnonPages: 375900 kB Mapped: 56232 kB Shmem: 32600 kB Slab: 187328 kB SReclaimable: 158252 kB SUnreclaim: 29076 kB KernelStack: 3744 kB PageTables: 6368 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1320436 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 256000 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 105856 kB DirectMap2M: 33439744 kB Free space on /tmp at the end= 57248 MiB End job on node103 at 2019-09-13 15:56:58