2.63/1.90
2.63/1.90 AbsCon 2
2.63/1.92
2.90/2.05 Instance
2.90/2.05 name=instance-4391265-1568389017, 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;@7563b5e8
2.90/2.09 Loading constraints...[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3c8b6e4b
2.90/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7789c366
2.90/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c6f9055
2.90/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@576fa4cd
2.90/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@46f06cb4
2.90/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@245ba8e4
3.16/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ac570ee
3.16/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@cb6986e
3.16/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b15602c
3.16/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1d361dd8
3.16/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1d361dd8
3.16/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1d361dd8
3.16/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1d361dd8
3.16/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1d361dd8
3.16/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1d361dd8
3.16/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1d361dd8
3.16/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1d361dd8
3.16/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1d361dd8
3.16/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@78fd44bc
3.16/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@78fd44bc
3.16/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@78fd44bc
3.16/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@78fd44bc
3.16/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@78fd44bc
3.16/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@78fd44bc
3.16/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@78fd44bc
3.16/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@78fd44bc
3.16/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@75053a42
3.16/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@75053a42
3.16/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@75053a42
3.16/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@75053a42
3.16/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@75053a42
3.16/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@75053a42
3.16/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@75053a42
3.16/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d90f91d
3.16/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d90f91d
3.16/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d90f91d
3.16/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d90f91d
3.16/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d90f91d
3.16/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d90f91d
3.16/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3a3c64c3
3.16/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3a3c64c3
3.16/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3a3c64c3
3.16/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3a3c64c3
3.16/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3a3c64c3
3.16/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@475382f
3.16/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@475382f
3.16/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@475382f
3.16/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@475382f
3.16/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@666c231f
3.16/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@666c231f
3.16/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@666c231f
3.16/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2db8c75b
3.16/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2db8c75b
3.16/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5bc67082
3.16/2.20
3.16/2.20
3.16/2.20 Domains
3.16/2.20 nTypes=2, nValues=650, sizes=[2#310,30#1]
3.16/2.20 Variables
3.16/2.20 count=311, degrees=[12#4,13#74,14#232,46#1]
3.16/2.20 Objectives
3.16/2.20 way=min, type=ObjVarLE
3.16/2.20 Constraints
3.16/2.20 count=95, nSpecific=95, arities=[1#1,20#30,31#10,62#9,63#45]
3.16/2.20 distribution=[LexicographicLe#39,ObjVarLE#1,SumScalarBooleanLEVar#45,SumSimpleEQ#10]
3.16/2.20 wck=0.326, cpu=2.166, mem=26M516
3.46/2.20 Solver SolverBacktrack being built...
3.46/2.20
3.46/2.23
3.46/2.23 Solver
3.46/2.23 guaranteedGAC=true
3.46/2.23 wck=0.358, cpu=2.197, mem=37M159
3.46/2.24
3.46/2.24 Preprocessing
3.46/2.24 filters=0, nACremovedValues=0, nTotalRemovedValues=0, inconcistency=false
3.46/2.24 wck=0.007, cpu=2.206, mem=37M159
3.46/2.24
3.46/2.25 num=0, depth=38..103, filters=122, wck=0.024, mem=37M159
3.46/2.25 decisions=147, wrong=24, backtracks=22, failedAssignments=10, nogoods=2
3.46/2.25
3.46/2.28 o 9
3.46/2.28 num=1, depth=4..310, filters=411, ccks=95, wck=0.055, mem=39M801
3.46/2.28 decisions=242, wrong=33, backtracks=24, failedAssignments=17, nogoods=9, foundSolutions=1, bestBound=9
3.46/2.28
3.74/2.30 num=2, depth=6..71, filters=786, ccks=95, wck=0.069, mem=39M801
3.74/2.30 decisions=346, wrong=53, backtracks=33, failedAssignments=29, nogoods=17, foundSolutions=1, bestBound=9
3.74/2.30
3.74/2.30 num=3, depth=1..25, filters=988, ccks=95, wck=0.076, mem=39M801
3.74/2.30 decisions=410, wrong=76, backtracks=48, failedAssignments=40, nogoods=22, foundSolutions=1, bestBound=9
3.74/2.30
3.74/2.31 num=4, depth=1..15, filters=1319, ccks=95, wck=0.083, mem=39M801
3.74/2.31 decisions=469, wrong=104, backtracks=68, failedAssignments=52, nogoods=27, foundSolutions=1, bestBound=9
3.74/2.31
3.74/2.32 num=5, depth=1..45, filters=1549, ccks=95, wck=0.092, mem=39M801
3.74/2.32 decisions=532, wrong=119, backtracks=71, failedAssignments=65, nogoods=39, foundSolutions=1, bestBound=9
3.74/2.32
3.74/2.33 o 8
3.74/2.33 num=6, depth=1..310, filters=1721, ccks=190, wck=0.104, mem=39M801
3.74/2.33 decisions=643, wrong=128, backtracks=71, failedAssignments=74, nogoods=48, foundSolutions=2, bestBound=8
3.74/2.33
3.74/2.34 num=7, depth=1..45, filters=1985, ccks=190, wck=0.115, mem=39M801
3.74/2.34 decisions=725, wrong=151, backtracks=83, failedAssignments=90, nogoods=58, foundSolutions=2, bestBound=8
3.74/2.34
3.74/2.35 num=8, depth=1..49, filters=2261, ccks=190, wck=0.124, mem=39M801
3.74/2.35 decisions=795, wrong=167, backtracks=89, failedAssignments=101, nogoods=65, foundSolutions=2, bestBound=8
3.74/2.35
3.74/2.36 num=9, depth=1..101, filters=2427, ccks=190, wck=0.133, mem=39M801
3.74/2.36 decisions=909, wrong=179, backtracks=89, failedAssignments=113, nogoods=77, foundSolutions=2, bestBound=8
3.74/2.36
3.74/2.37 num=10, depth=2..23, filters=2577, ccks=190, wck=0.138, mem=39M801
3.74/2.37 decisions=956, wrong=197, backtracks=96, failedAssignments=126, nogoods=84, foundSolutions=2, bestBound=8
3.74/2.37
3.74/2.37 num=11, depth=1..88, filters=2842, ccks=190, wck=0.143, mem=39M801
3.74/2.37 decisions=1066, wrong=215, backtracks=100, failedAssignments=140, nogoods=95, foundSolutions=2, bestBound=8
3.74/2.37
3.74/2.38 o 7
3.74/2.38 num=12, depth=1..310, filters=3047, ccks=285, wck=0.15, mem=39M801
3.74/2.38 decisions=1214, wrong=228, backtracks=100, failedAssignments=153, nogoods=108, foundSolutions=3, bestBound=7
3.74/2.38
3.74/2.38 num=13, depth=5..25, filters=3176, ccks=285, wck=0.152, mem=39M801
3.74/2.38 decisions=1271, wrong=248, backtracks=118, failedAssignments=170, nogoods=112, foundSolutions=3, bestBound=7
3.74/2.38
3.74/2.38 num=14, depth=12..32, filters=3356, ccks=285, wck=0.155, mem=39M801
3.74/2.38 decisions=1319, wrong=260, backtracks=123, failedAssignments=181, nogoods=119, foundSolutions=3, bestBound=7
3.74/2.38
3.74/2.39 num=15, depth=12..92, filters=3561, ccks=285, wck=0.159, mem=39M801
3.74/2.39 decisions=1427, wrong=273, backtracks=125, failedAssignments=193, nogoods=130, foundSolutions=3, bestBound=7
3.74/2.39
3.74/2.39 num=16, depth=1..120, filters=3750, ccks=285, wck=0.164, mem=39M801
3.74/2.39 decisions=1563, wrong=287, backtracks=126, failedAssignments=206, nogoods=143, foundSolutions=3, bestBound=7
3.74/2.39
3.74/2.40 num=17, depth=3..34, filters=4130, ccks=285, wck=0.168, mem=39M801
3.74/2.40 decisions=1649, wrong=316, backtracks=148, failedAssignments=220, nogoods=150, foundSolutions=3, bestBound=7
3.74/2.40
4.07/2.40 num=18, depth=7..35, filters=4576, ccks=285, wck=0.172, mem=39M801
4.07/2.40 decisions=1742, wrong=350, backtracks=172, failedAssignments=236, nogoods=159, foundSolutions=3, bestBound=7
4.07/2.40
4.07/2.41 num=19, depth=1..29, filters=5297, ccks=285, wck=0.179, mem=39M801
4.07/2.41 decisions=1855, wrong=399, backtracks=213, failedAssignments=253, nogoods=163, foundSolutions=3, bestBound=7
4.07/2.41
4.07/2.41 num=20, depth=3..81, filters=5680, ccks=285, wck=0.185, mem=39M801
4.07/2.41 decisions=1985, wrong=429, backtracks=231, failedAssignments=272, nogoods=175, foundSolutions=3, bestBound=7
4.07/2.41
4.07/2.42 num=21, depth=12..55, filters=5913, ccks=285, wck=0.188, mem=39M801
4.07/2.42 decisions=2079, wrong=455, backtracks=246, failedAssignments=293, nogoods=187, foundSolutions=3, bestBound=7
4.07/2.42
4.07/2.42 num=22, depth=14..70, filters=6178, ccks=285, wck=0.192, mem=39M801
4.07/2.42 decisions=2199, wrong=486, backtracks=266, failedAssignments=316, nogoods=195, foundSolutions=3, bestBound=7
4.07/2.42
4.07/2.42 o 6
4.07/2.43 num=23, depth=5..310, filters=6334, ccks=380, wck=0.198, mem=39M801
4.07/2.43 decisions=2355, wrong=497, backtracks=266, failedAssignments=327, nogoods=206, foundSolutions=4, bestBound=6
4.07/2.43
4.07/2.43 num=24, depth=6..93, filters=6479, ccks=380, wck=0.202, mem=39M801
4.07/2.43 decisions=2495, wrong=528, backtracks=287, failedAssignments=355, nogoods=216, foundSolutions=4, bestBound=6
4.07/2.43
4.07/2.43 num=25, depth=3..33, filters=6672, ccks=380, wck=0.204, mem=39M801
4.07/2.43 decisions=2556, wrong=546, backtracks=300, failedAssignments=366, nogoods=222, foundSolutions=4, bestBound=6
4.07/2.43
4.07/2.44 num=26, depth=1..31, filters=6862, ccks=380, wck=0.207, mem=39M801
4.07/2.44 decisions=2621, wrong=568, backtracks=317, failedAssignments=378, nogoods=228, foundSolutions=4, bestBound=6
4.07/2.44
4.07/2.44 num=27, depth=1..30, filters=7331, ccks=380, wck=0.212, mem=39M801
4.07/2.44 decisions=2714, wrong=606, backtracks=349, failedAssignments=391, nogoods=233, foundSolutions=4, bestBound=6
4.07/2.44
4.07/2.44 num=28, depth=1..77, filters=7567, ccks=380, wck=0.215, mem=39M801
4.07/2.44 decisions=2823, wrong=626, backtracks=359, failedAssignments=405, nogoods=242, foundSolutions=4, bestBound=6
4.07/2.44
4.07/2.45 num=29, depth=1..101, filters=7788, ccks=380, wck=0.219, mem=39M801
4.07/2.45 decisions=2951, wrong=646, backtracks=366, failedAssignments=421, nogoods=255, foundSolutions=4, bestBound=6
4.07/2.45
4.07/2.45 num=30, depth=1..102, filters=8018, ccks=380, wck=0.223, mem=39M801
4.07/2.45 decisions=3076, wrong=667, backtracks=372, failedAssignments=438, nogoods=270, foundSolutions=4, bestBound=6
4.07/2.45
4.07/2.45 num=31, depth=1..89, filters=8234, ccks=380, wck=0.227, mem=39M801
4.07/2.45 decisions=3193, wrong=689, backtracks=378, failedAssignments=457, nogoods=285, foundSolutions=4, bestBound=6
4.07/2.45
4.07/2.46 num=32, depth=2..109, filters=8479, ccks=380, wck=0.231, mem=39M801
4.07/2.46 decisions=3340, wrong=715, backtracks=391, failedAssignments=478, nogoods=298, foundSolutions=4, bestBound=6
4.07/2.46
4.07/2.46 num=33, depth=3..97, filters=8729, ccks=380, wck=0.235, mem=39M801
4.07/2.46 decisions=3468, wrong=741, backtracks=398, failedAssignments=501, nogoods=316, foundSolutions=4, bestBound=6
4.07/2.46
4.07/2.47 num=34, depth=10..95, filters=8995, ccks=380, wck=0.239, mem=39M801
4.07/2.47 decisions=3614, wrong=774, backtracks=418, failedAssignments=526, nogoods=327, foundSolutions=4, bestBound=6
4.07/2.47
4.07/2.47 num=35, depth=3..96, filters=9285, ccks=380, wck=0.243, mem=39M801
4.07/2.47 decisions=3765, wrong=810, backtracks=430, failedAssignments=554, nogoods=345, foundSolutions=4, bestBound=6
4.07/2.47
4.07/2.48 num=36, depth=4..87, filters=9674, ccks=380, wck=0.248, mem=39M801
4.07/2.48 decisions=3925, wrong=860, backtracks=456, failedAssignments=585, nogoods=360, foundSolutions=4, bestBound=6
4.07/2.48
4.07/2.48 o 5
4.07/2.48 num=37, depth=6..310, filters=9967, ccks=475, wck=0.255, mem=39M801
4.07/2.48 decisions=4137, wrong=900, backtracks=474, failedAssignments=618, nogoods=382, foundSolutions=5, bestBound=5
4.07/2.48
4.07/2.49 o 4
4.07/2.49 num=38, depth=10..310, filters=10187, ccks=570, wck=0.263, mem=39M801
4.07/2.49 decisions=4365, wrong=944, backtracks=507, failedAssignments=645, nogoods=392, foundSolutions=6, bestBound=4
4.07/2.49
4.07/2.49 num=39, depth=3..32, filters=10308, ccks=570, wck=0.265, mem=42M444
4.07/2.49 decisions=4415, wrong=957, backtracks=511, failedAssignments=656, nogoods=401, foundSolutions=6, bestBound=4
4.07/2.49
4.07/2.49 num=40, depth=4..31, filters=10434, ccks=570, wck=0.267, mem=42M444
4.07/2.49 decisions=4463, wrong=970, backtracks=514, failedAssignments=667, nogoods=411, foundSolutions=6, bestBound=4
4.07/2.49
4.38/2.50 num=41, depth=14..34, filters=10656, ccks=570, wck=0.27, mem=42M444
4.38/2.50 decisions=4546, wrong=998, backtracks=536, failedAssignments=679, nogoods=417, foundSolutions=6, bestBound=4
4.38/2.50
4.38/2.50 num=42, depth=1..34, filters=10955, ccks=570, wck=0.273, mem=42M444
4.38/2.50 decisions=4619, wrong=1022, backtracks=552, failedAssignments=692, nogoods=424, foundSolutions=6, bestBound=4
4.38/2.50
4.38/2.50 num=43, depth=6..29, filters=11119, ccks=570, wck=0.275, mem=42M444
4.38/2.50 decisions=4686, wrong=1043, backtracks=568, failedAssignments=706, nogoods=428, foundSolutions=6, bestBound=4
4.38/2.50
4.38/2.51 num=44, depth=1..39, filters=11451, ccks=570, wck=0.278, mem=42M444
4.38/2.51 decisions=4776, wrong=1076, backtracks=593, failedAssignments=722, nogoods=434, foundSolutions=6, bestBound=4
4.38/2.51
4.38/2.51 num=45, depth=3..32, filters=11647, ccks=570, wck=0.281, mem=42M444
4.38/2.51 decisions=4848, wrong=1101, backtracks=608, failedAssignments=739, nogoods=444, foundSolutions=6, bestBound=4
4.38/2.51
4.38/2.51 num=46, depth=16..28, filters=12201, ccks=570, wck=0.286, mem=42M444
4.38/2.51 decisions=4982, wrong=1155, backtracks=654, failedAssignments=758, nogoods=447, foundSolutions=6, bestBound=4
4.38/2.51
4.38/2.52 num=47, depth=3..30, filters=12495, ccks=570, wck=0.289, mem=42M444
4.38/2.52 decisions=5074, wrong=1193, backtracks=686, failedAssignments=779, nogoods=452, foundSolutions=6, bestBound=4
4.38/2.52
4.38/2.52 num=48, depth=2..52, filters=12945, ccks=570, wck=0.293, mem=42M444
4.38/2.52 decisions=5204, wrong=1237, backtracks=719, failedAssignments=802, nogoods=457, foundSolutions=6, bestBound=4
4.38/2.52
4.38/2.52 num=49, depth=1..70, filters=13171, ccks=570, wck=0.297, mem=42M444
4.38/2.52 decisions=5359, wrong=1285, backtracks=757, failedAssignments=827, nogoods=467, foundSolutions=6, bestBound=4
4.38/2.52
4.38/2.53 num=50, depth=3..61, filters=13472, ccks=570, wck=0.3, mem=42M444
4.38/2.53 decisions=5505, wrong=1336, backtracks=792, failedAssignments=855, nogoods=481, foundSolutions=6, bestBound=4
4.38/2.53
4.38/2.53 num=51, depth=2..37, filters=14101, ccks=570, wck=0.306, mem=42M444
4.38/2.53 decisions=5678, wrong=1411, backtracks=858, failedAssignments=886, nogoods=488, foundSolutions=6, bestBound=4
4.38/2.53
4.38/2.54 num=52, depth=1..52, filters=14514, ccks=570, wck=0.311, mem=42M444
4.38/2.54 decisions=5852, wrong=1482, backtracks=910, failedAssignments=920, nogoods=497, foundSolutions=6, bestBound=4
4.38/2.54
4.38/2.54 num=53, depth=2..37, filters=14925, ccks=570, wck=0.315, mem=42M444
4.38/2.54 decisions=6013, wrong=1551, backtracks=964, failedAssignments=957, nogoods=509, foundSolutions=6, bestBound=4
4.38/2.54
4.38/2.55 num=54, depth=1..117, filters=15261, ccks=570, wck=0.319, mem=42M444
4.38/2.55 decisions=6234, wrong=1613, backtracks=1009, failedAssignments=998, nogoods=525, foundSolutions=6, bestBound=4
4.38/2.55
4.38/2.55 num=55, depth=5..72, filters=15674, ccks=570, wck=0.322, mem=42M444
4.38/2.55 decisions=6472, wrong=1705, backtracks=1080, failedAssignments=1043, nogoods=541, foundSolutions=6, bestBound=4
4.38/2.55
4.38/2.56 num=56, depth=7..37, filters=16650, ccks=570, wck=0.327, mem=42M444
4.38/2.56 decisions=6722, wrong=1821, backtracks=1180, failedAssignments=1093, nogoods=546, foundSolutions=6, bestBound=4
4.38/2.56
4.38/2.56 num=57, depth=1..99, filters=17228, ccks=570, wck=0.332, mem=42M444
4.38/2.56 decisions=7027, wrong=1935, backtracks=1273, failedAssignments=1148, nogoods=560, foundSolutions=6, bestBound=4
4.38/2.56
4.38/2.56 num=58, depth=1..60, filters=17627, ccks=570, wck=0.334, mem=42M444
4.38/2.56 decisions=7263, wrong=2032, backtracks=1352, failedAssignments=1209, nogoods=576, foundSolutions=6, bestBound=4
4.38/2.56
4.38/2.57 num=59, depth=7..90, filters=18526, ccks=570, wck=0.34, mem=42M444
4.38/2.57 decisions=7645, wrong=2188, backtracks=1485, failedAssignments=1276, nogoods=593, foundSolutions=6, bestBound=4
4.38/2.57
4.38/2.57 num=60, depth=1..157, filters=19007, ccks=570, wck=0.344, mem=42M444
4.38/2.57 decisions=8046, wrong=2323, backtracks=1573, failedAssignments=1350, nogoods=618, foundSolutions=6, bestBound=4
4.38/2.57
4.38/2.58 num=61, depth=2..99, filters=19721, ccks=570, wck=0.349, mem=42M444
4.38/2.58 decisions=8521, wrong=2521, backtracks=1749, failedAssignments=1431, nogoods=639, foundSolutions=6, bestBound=4
4.38/2.58
4.38/2.58 num=62, depth=1..99, filters=20294, ccks=570, wck=0.353, mem=42M444
4.38/2.58 decisions=8890, wrong=2670, backtracks=1883, failedAssignments=1520, nogoods=652, foundSolutions=6, bestBound=4
4.38/2.58
4.38/2.59 num=63, depth=1..92, filters=21090, ccks=570, wck=0.358, mem=42M444
4.38/2.59 decisions=9436, wrong=2908, backtracks=2106, failedAssignments=1618, nogoods=667, foundSolutions=6, bestBound=4
4.38/2.59
4.38/2.59 num=64, depth=1..63, filters=22394, ccks=570, wck=0.365, mem=42M444
4.38/2.59 decisions=9981, wrong=3157, backtracks=2326, failedAssignments=1726, nogoods=681, foundSolutions=6, bestBound=4
4.38/2.59
4.69/2.60 num=65, depth=1..96, filters=23880, ccks=570, wck=0.373, mem=42M444
4.69/2.60 decisions=10509, wrong=3388, backtracks=2536, failedAssignments=1845, nogoods=695, foundSolutions=6, bestBound=4
4.69/2.60
4.69/2.61 num=66, depth=4..59, filters=25439, ccks=570, wck=0.38, mem=42M444
4.69/2.61 decisions=11042, wrong=3635, backtracks=2765, failedAssignments=1976, nogoods=708, foundSolutions=6, bestBound=4
4.69/2.61
4.69/2.62 num=67, depth=2..58, filters=27264, ccks=570, wck=0.389, mem=42M444
4.69/2.62 decisions=11727, wrong=3958, backtracks=3051, failedAssignments=2120, nogoods=726, foundSolutions=6, bestBound=4
4.69/2.62
4.69/2.63 num=68, depth=2..121, filters=28350, ccks=570, wck=0.396, mem=42M444
4.69/2.63 decisions=12377, wrong=4240, backtracks=3299, failedAssignments=2278, nogoods=745, foundSolutions=6, bestBound=4
4.69/2.63
4.69/2.63 num=69, depth=5..54, filters=30798, ccks=570, wck=0.407, mem=42M444
4.69/2.63 decisions=13220, wrong=4645, backtracks=3683, failedAssignments=2452, nogoods=754, foundSolutions=6, bestBound=4
4.69/2.63
4.69/2.65 num=70, depth=12..149, filters=32794, ccks=570, wck=0.418, mem=42M444
4.69/2.65 decisions=14018, wrong=4981, backtracks=3976, failedAssignments=2643, nogoods=773, foundSolutions=6, bestBound=4
4.69/2.65
4.69/2.66 num=71, depth=2..63, filters=35981, ccks=570, wck=0.433, mem=42M444
4.69/2.66 decisions=14971, wrong=5436, backtracks=4396, failedAssignments=2854, nogoods=786, foundSolutions=6, bestBound=4
4.69/2.66
4.69/2.67 num=72, depth=1..142, filters=38588, ccks=570, wck=0.445, mem=42M444
4.69/2.67 decisions=16061, wrong=5923, backtracks=4802, failedAssignments=3086, nogoods=814, foundSolutions=6, bestBound=4
4.69/2.67
4.69/2.69 num=73, depth=1..67, filters=42074, ccks=570, wck=0.46, mem=42M444
4.69/2.69 decisions=17293, wrong=6520, backtracks=5373, failedAssignments=3341, nogoods=828, foundSolutions=6, bestBound=4
4.69/2.69
4.92/2.71 num=74, depth=4..53, filters=46543, ccks=570, wck=0.479, mem=42M444
4.92/2.71 decisions=18593, wrong=7153, backtracks=5961, failedAssignments=3622, nogoods=841, foundSolutions=6, bestBound=4
4.92/2.71
4.92/2.72 num=75, depth=6..72, filters=50651, ccks=570, wck=0.496, mem=42M444
4.92/2.72 decisions=19846, wrong=7761, backtracks=6541, failedAssignments=3931, nogoods=852, foundSolutions=6, bestBound=4
4.92/2.72
4.92/2.74 num=76, depth=5..108, filters=55282, ccks=570, wck=0.514, mem=42M444
4.92/2.74 decisions=21255, wrong=8425, backtracks=7152, failedAssignments=4271, nogoods=872, foundSolutions=6, bestBound=4
4.92/2.74
4.92/2.76 num=77, depth=5..116, filters=60025, ccks=570, wck=0.535, mem=42M444
4.92/2.76 decisions=23031, wrong=9272, backtracks=7960, failedAssignments=4645, nogoods=903, foundSolutions=6, bestBound=4
4.92/2.76
4.92/2.78 num=78, depth=7..89, filters=65144, ccks=570, wck=0.557, mem=42M444
4.92/2.78 decisions=25133, wrong=10291, backtracks=8911, failedAssignments=5056, nogoods=921, foundSolutions=6, bestBound=4
4.92/2.78
5.03/2.81 num=79, depth=5..59, filters=70234, ccks=570, wck=0.578, mem=42M444
5.03/2.81 decisions=27060, wrong=11235, backtracks=9816, failedAssignments=5508, nogoods=931, foundSolutions=6, bestBound=4
5.03/2.81
5.03/2.83 o 3
5.03/2.83 num=80, depth=4..310, filters=75899, ccks=665, wck=0.607, mem=42M444
5.03/2.83 decisions=29142, wrong=12215, backtracks=10666, failedAssignments=5989, nogoods=958, foundSolutions=7, bestBound=3
5.03/2.83
5.03/2.86 num=81, depth=9..71, filters=82646, ccks=665, wck=0.636, mem=42M444
5.03/2.86 decisions=31609, wrong=13428, backtracks=11827, failedAssignments=6536, nogoods=973, foundSolutions=7, bestBound=3
5.03/2.86
5.03/2.87 num=82, depth=2..47, filters=82799, ccks=665, wck=0.638, mem=42M444
5.03/2.87 decisions=31676, wrong=13443, backtracks=11834, failedAssignments=6547, nogoods=980, foundSolutions=7, bestBound=3
5.03/2.87
5.03/2.87 num=83, depth=2..46, filters=82969, ccks=665, wck=0.639, mem=42M444
5.03/2.87 decisions=31748, wrong=13462, backtracks=11846, failedAssignments=6559, nogoods=986, foundSolutions=7, bestBound=3
5.03/2.87
5.03/2.87 num=84, depth=2..46, filters=83152, ccks=665, wck=0.641, mem=42M444
5.03/2.87 decisions=31830, wrong=13486, backtracks=11861, failedAssignments=6572, nogoods=991, foundSolutions=7, bestBound=3
5.03/2.87
5.03/2.87 num=85, depth=5..49, filters=83303, ccks=665, wck=0.642, mem=42M444
5.03/2.87 decisions=31910, wrong=13508, backtracks=11877, failedAssignments=6586, nogoods=994, foundSolutions=7, bestBound=3
5.03/2.87
5.03/2.87 num=86, depth=2..53, filters=83488, ccks=665, wck=0.643, mem=42M444
5.03/2.87 decisions=31996, wrong=13534, backtracks=11892, failedAssignments=6602, nogoods=1002, foundSolutions=7, bestBound=3
5.03/2.87
5.03/2.87 num=87, depth=2..53, filters=83681, ccks=665, wck=0.644, mem=42M444
5.03/2.87 decisions=32083, wrong=13559, backtracks=11906, failedAssignments=6619, nogoods=1010, foundSolutions=7, bestBound=3
5.03/2.87
5.03/2.87 num=88, depth=2..54, filters=83904, ccks=665, wck=0.646, mem=42M444
5.03/2.87 decisions=32178, wrong=13586, backtracks=11918, failedAssignments=6638, nogoods=1023, foundSolutions=7, bestBound=3
5.03/2.87
5.03/2.87 num=89, depth=3..57, filters=84079, ccks=665, wck=0.647, mem=42M444
5.03/2.87 decisions=32274, wrong=13613, backtracks=11933, failedAssignments=6659, nogoods=1034, foundSolutions=7, bestBound=3
5.03/2.87
5.03/2.88 num=90, depth=36..47, filters=84371, ccks=665, wck=0.649, mem=42M444
5.03/2.88 decisions=32416, wrong=13665, backtracks=11977, failedAssignments=6682, nogoods=1036, foundSolutions=7, bestBound=3
5.03/2.88
5.03/2.88 num=91, depth=4..53, filters=84659, ccks=665, wck=0.651, mem=42M444
5.03/2.88 decisions=32562, wrong=13718, backtracks=12021, failedAssignments=6707, nogoods=1045, foundSolutions=7, bestBound=3
5.03/2.88
5.03/2.88 num=92, depth=5..49, filters=84986, ccks=665, wck=0.653, mem=42M444
5.03/2.88 decisions=32724, wrong=13778, backtracks=12070, failedAssignments=6735, nogoods=1051, foundSolutions=7, bestBound=3
5.03/2.88
5.03/2.88 num=93, depth=2..56, filters=85334, ccks=665, wck=0.655, mem=42M444
5.03/2.88 decisions=32876, wrong=13831, backtracks=12116, failedAssignments=6766, nogoods=1059, foundSolutions=7, bestBound=3
5.03/2.88
5.03/2.88 num=94, depth=2..56, filters=85574, ccks=665, wck=0.657, mem=42M444
5.03/2.88 decisions=33031, wrong=13886, backtracks=12163, failedAssignments=6800, nogoods=1067, foundSolutions=7, bestBound=3
5.03/2.88
5.03/2.89 num=95, depth=2..57, filters=85926, ccks=665, wck=0.659, mem=42M444
5.03/2.89 decisions=33197, wrong=13946, backtracks=12213, failedAssignments=6837, nogoods=1076, foundSolutions=7, bestBound=3
5.03/2.89
5.03/2.89 num=96, depth=2..61, filters=86277, ccks=665, wck=0.661, mem=42M444
5.03/2.89 decisions=33395, wrong=14021, backtracks=12275, failedAssignments=6878, nogoods=1086, foundSolutions=7, bestBound=3
5.03/2.89
5.03/2.89 num=97, depth=14..54, filters=86850, ccks=665, wck=0.664, mem=42M444
5.03/2.89 decisions=33611, wrong=14107, backtracks=12358, failedAssignments=6923, nogoods=1089, foundSolutions=7, bestBound=3
5.03/2.89
5.16/2.90 num=98, depth=3..57, filters=88030, ccks=665, wck=0.669, mem=42M444
5.16/2.90 decisions=33812, wrong=14186, backtracks=12423, failedAssignments=6973, nogoods=1097, foundSolutions=7, bestBound=3
5.16/2.90
5.16/2.90 num=99, depth=15..57, filters=88963, ccks=665, wck=0.674, mem=42M444
5.16/2.90 decisions=34128, wrong=14320, backtracks=12542, failedAssignments=7028, nogoods=1102, foundSolutions=7, bestBound=3
5.16/2.90
5.16/2.90 num=100, depth=4..65, filters=89446, ccks=665, wck=0.677, mem=45M86
5.16/2.90 decisions=34380, wrong=14420, backtracks=12629, failedAssignments=7089, nogoods=1115, foundSolutions=7, bestBound=3
5.16/2.90
5.16/2.91 num=101, depth=4..65, filters=90141, ccks=665, wck=0.68, mem=45M86
5.16/2.91 decisions=34658, wrong=14536, backtracks=12729, failedAssignments=7156, nogoods=1128, foundSolutions=7, bestBound=3
5.16/2.91
5.16/2.91 num=102, depth=6..67, filters=90788, ccks=665, wck=0.684, mem=45M86
5.16/2.91 decisions=35000, wrong=14683, backtracks=12862, failedAssignments=7230, nogoods=1140, foundSolutions=7, bestBound=3
5.16/2.91
5.16/2.92 num=103, depth=6..62, filters=92364, ccks=665, wck=0.691, mem=45M86
5.16/2.92 decisions=35422, wrong=14871, backtracks=13031, failedAssignments=7311, nogoods=1150, foundSolutions=7, bestBound=3
5.16/2.92
5.16/2.92 num=104, depth=6..105, filters=93306, ccks=665, wck=0.696, mem=45M86
5.16/2.92 decisions=35848, wrong=15046, backtracks=13171, failedAssignments=7400, nogoods=1173, foundSolutions=7, bestBound=3
5.16/2.92
5.16/2.93 num=105, depth=4..63, filters=94997, ccks=665, wck=0.704, mem=45M86
5.16/2.93 decisions=36223, wrong=15215, backtracks=13314, failedAssignments=7498, nogoods=1190, foundSolutions=7, bestBound=3
5.16/2.93
5.16/2.94 num=106, depth=4..58, filters=96370, ccks=665, wck=0.71, mem=45M86
5.16/2.94 decisions=36632, wrong=15397, backtracks=13477, failedAssignments=7606, nogoods=1200, foundSolutions=7, bestBound=3
5.16/2.94
5.16/2.95 num=107, depth=5..63, filters=98445, ccks=665, wck=0.719, mem=45M86
5.16/2.95 decisions=37103, wrong=15610, backtracks=13661, failedAssignments=7725, nogoods=1215, foundSolutions=7, bestBound=3
5.16/2.95
5.16/2.95 num=108, depth=5..60, filters=99934, ccks=665, wck=0.726, mem=45M86
5.16/2.95 decisions=37559, wrong=15816, backtracks=13842, failedAssignments=7856, nogoods=1230, foundSolutions=7, bestBound=3
5.16/2.95
5.16/2.96 num=109, depth=35..56, filters=102569, ccks=665, wck=0.737, mem=45M86
5.16/2.96 decisions=38140, wrong=16084, backtracks=14090, failedAssignments=8000, nogoods=1238, foundSolutions=7, bestBound=3
5.16/2.96
5.16/2.97 num=110, depth=4..62, filters=104605, ccks=665, wck=0.746, mem=45M86
5.16/2.97 decisions=38684, wrong=16335, backtracks=14313, failedAssignments=8158, nogoods=1251, foundSolutions=7, bestBound=3
5.16/2.97
5.16/2.99 num=111, depth=4..62, filters=108043, ccks=665, wck=0.762, mem=45M86
5.16/2.99 decisions=39345, wrong=16644, backtracks=14596, failedAssignments=8332, nogoods=1262, foundSolutions=7, bestBound=3
5.16/2.99
5.16/3.00 num=112, depth=11..56, filters=110668, ccks=665, wck=0.774, mem=45M86
5.16/3.00 decisions=40034, wrong=16970, backtracks=14875, failedAssignments=8523, nogoods=1278, foundSolutions=7, bestBound=3
5.16/3.00
5.28/3.02 num=113, depth=14..58, filters=115275, ccks=665, wck=0.793, mem=45M86
5.28/3.02 decisions=40823, wrong=17345, backtracks=15225, failedAssignments=8734, nogoods=1286, foundSolutions=7, bestBound=3
5.28/3.02
5.28/3.04 num=114, depth=3..67, filters=118650, ccks=665, wck=0.808, mem=45M86
5.28/3.04 decisions=41786, wrong=17808, backtracks=15645, failedAssignments=8966, nogoods=1301, foundSolutions=7, bestBound=3
5.28/3.04
5.28/3.05 num=115, depth=3..65, filters=121894, ccks=665, wck=0.823, mem=45M86
5.28/3.05 decisions=42893, wrong=18338, backtracks=16140, failedAssignments=9221, nogoods=1316, foundSolutions=7, bestBound=3
5.28/3.05
5.28/3.07 num=116, depth=5..58, filters=125860, ccks=665, wck=0.84, mem=45M86
5.28/3.07 decisions=43915, wrong=18828, backtracks=16600, failedAssignments=9502, nogoods=1334, foundSolutions=7, bestBound=3
5.28/3.07
5.28/3.09 num=117, depth=3..67, filters=130198, ccks=665, wck=0.858, mem=45M86
5.28/3.09 decisions=45072, wrong=19386, backtracks=17126, failedAssignments=9811, nogoods=1350, foundSolutions=7, bestBound=3
5.28/3.09
5.38/3.11 num=118, depth=3..67, filters=135671, ccks=665, wck=0.882, mem=45M86
5.38/3.11 decisions=46322, wrong=19990, backtracks=17690, failedAssignments=10151, nogoods=1363, foundSolutions=7, bestBound=3
5.38/3.11
5.38/3.13 num=119, depth=4..43, filters=139495, ccks=665, wck=0.899, mem=45M86
5.38/3.13 decisions=47646, wrong=20637, backtracks=18297, failedAssignments=10525, nogoods=1375, foundSolutions=7, bestBound=3
5.38/3.13
5.38/3.15 num=120, depth=1..51, filters=144591, ccks=665, wck=0.921, mem=45M86
5.38/3.15 decisions=49180, wrong=21388, backtracks=19011, failedAssignments=10936, nogoods=1384, foundSolutions=7, bestBound=3
5.38/3.15
5.38/3.18 num=121, depth=1..52, filters=151267, ccks=665, wck=0.949, mem=45M86
5.38/3.18 decisions=50974, wrong=22267, backtracks=19835, failedAssignments=11388, nogoods=1398, foundSolutions=7, bestBound=3
5.38/3.18
5.48/3.20 num=122, depth=1..52, filters=156611, ccks=665, wck=0.974, mem=45M86
5.48/3.20 decisions=52907, wrong=23215, backtracks=20707, failedAssignments=11885, nogoods=1410, foundSolutions=7, bestBound=3
5.48/3.20
5.48/3.23 num=123, depth=1..130, filters=161718, ccks=665, wck=0.998, mem=45M86
5.48/3.23 decisions=55611, wrong=24523, backtracks=21830, failedAssignments=12432, nogoods=1436, foundSolutions=7, bestBound=3
5.48/3.23
5.48/3.25 num=124, depth=3..102, filters=168719, ccks=665, wck=1.027, mem=45M86
5.48/3.25 decisions=58174, wrong=25770, backtracks=22993, failedAssignments=13034, nogoods=1469, foundSolutions=7, bestBound=3
5.48/3.25
5.48/3.29 num=125, depth=1..116, filters=175741, ccks=665, wck=1.058, mem=45M86
5.48/3.29 decisions=61273, wrong=27279, backtracks=24407, failedAssignments=13696, nogoods=1496, foundSolutions=7, bestBound=3
5.48/3.29
5.60/3.32 num=126, depth=3..107, filters=183220, ccks=665, wck=1.093, mem=45M86
5.60/3.32 decisions=65117, wrong=29167, backtracks=26216, failedAssignments=14424, nogoods=1524, foundSolutions=7, bestBound=3
5.60/3.32
5.60/3.37 num=127, depth=6..84, filters=196384, ccks=665, wck=1.147, mem=45M86
5.60/3.37 decisions=68991, wrong=31075, backtracks=27866, failedAssignments=15225, nogoods=1545, foundSolutions=7, bestBound=3
5.60/3.37
5.70/3.42 num=128, depth=8..85, filters=206926, ccks=665, wck=1.19, mem=45M86
5.70/3.42 decisions=73170, wrong=33133, backtracks=29800, failedAssignments=16106, nogoods=1565, foundSolutions=7, bestBound=3
5.70/3.42
5.70/3.47 num=129, depth=6..111, filters=218111, ccks=665, wck=1.24, mem=45M86
5.70/3.47 decisions=77887, wrong=35450, backtracks=31967, failedAssignments=17076, nogoods=1588, foundSolutions=7, bestBound=3
5.70/3.47
5.80/3.53 num=130, depth=7..99, filters=233769, ccks=665, wck=1.305, mem=45M86
5.80/3.53 decisions=83433, wrong=38186, backtracks=34470, failedAssignments=18143, nogoods=1612, foundSolutions=7, bestBound=3
5.80/3.53
5.80/3.58 num=131, depth=1..115, filters=244403, ccks=665, wck=1.353, mem=45M86
5.80/3.58 decisions=89466, wrong=41169, backtracks=37139, failedAssignments=19316, nogoods=1644, foundSolutions=7, bestBound=3
5.80/3.58
5.91/3.63 num=132, depth=4..106, filters=256568, ccks=665, wck=1.404, mem=45M86
5.91/3.63 decisions=95215, wrong=44007, backtracks=39806, failedAssignments=20607, nogoods=1666, foundSolutions=7, bestBound=3
5.91/3.63
5.91/3.69 num=133, depth=3..109, filters=268601, ccks=665, wck=1.459, mem=45M86
5.91/3.69 decisions=102085, wrong=47411, backtracks=43068, failedAssignments=22027, nogoods=1691, foundSolutions=7, bestBound=3
5.91/3.69
6.03/3.78 num=134, depth=3..101, filters=289349, ccks=665, wck=1.553, mem=45M86
6.03/3.78 decisions=109678, wrong=51173, backtracks=46530, failedAssignments=23589, nogoods=1714, foundSolutions=7, bestBound=3
6.03/3.78
6.14/3.86 num=135, depth=12..94, filters=309370, ccks=665, wck=1.633, mem=45M86
6.14/3.86 decisions=116574, wrong=54588, backtracks=49612, failedAssignments=25307, nogoods=1733, foundSolutions=7, bestBound=3
6.14/3.86
6.24/3.93 num=136, depth=4..158, filters=324447, ccks=665, wck=1.7, mem=45M86
6.24/3.93 decisions=125560, wrong=59028, backtracks=53369, failedAssignments=27197, nogoods=1773, foundSolutions=7, bestBound=3
6.24/3.93
6.35/4.01 num=137, depth=9..89, filters=342827, ccks=665, wck=1.78, mem=47M728
6.35/4.01 decisions=134719, wrong=63578, backtracks=57626, failedAssignments=29276, nogoods=1788, foundSolutions=7, bestBound=3
6.35/4.01
6.45/4.13 num=138, depth=5..147, filters=371575, ccks=665, wck=1.907, mem=47M728
6.45/4.13 decisions=148220, wrong=70277, backtracks=64208, failedAssignments=31563, nogoods=1817, foundSolutions=7, bestBound=3
6.45/4.13
6.54/4.22 num=139, depth=8..143, filters=391977, ccks=665, wck=1.995, mem=47M728
6.54/4.22 decisions=160925, wrong=76582, backtracks=70326, failedAssignments=34079, nogoods=1853, foundSolutions=7, bestBound=3
6.54/4.22
6.64/4.36 num=140, depth=6..125, filters=423231, ccks=665, wck=2.136, mem=47M728
6.64/4.36 decisions=175423, wrong=83794, backtracks=77246, failedAssignments=36847, nogoods=1879, foundSolutions=7, bestBound=3
6.64/4.36
6.84/4.51 num=141, depth=4..120, filters=456056, ccks=665, wck=2.28, mem=47M728
6.84/4.51 decisions=191158, wrong=91624, backtracks=84721, failedAssignments=39891, nogoods=1909, foundSolutions=7, bestBound=3
6.84/4.51
6.94/4.68 num=142, depth=4..60, filters=493347, ccks=665, wck=2.452, mem=47M728
6.94/4.68 decisions=207629, wrong=99843, backtracks=91976, failedAssignments=43240, nogoods=1919, foundSolutions=7, bestBound=3
6.94/4.68
7.05/4.78 num=143, depth=7..50, filters=518231, ccks=665, wck=2.556, mem=47M728
7.05/4.78 decisions=221282, wrong=106656, backtracks=98326, failedAssignments=46924, nogoods=1928, foundSolutions=7, bestBound=3
7.05/4.78
7.27/4.94 num=144, depth=1..80, filters=558290, ccks=665, wck=2.715, mem=47M728
7.27/4.94 decisions=240269, wrong=116128, backtracks=107054, failedAssignments=50976, nogoods=1939, foundSolutions=7, bestBound=3
7.27/4.94
7.57/5.22 num=145, depth=0..135, filters=622886, ccks=665, wck=2.996, mem=47M728
7.57/5.22 decisions=265035, wrong=128470, backtracks=118316, failedAssignments=55433, nogoods=1974, foundSolutions=7, bestBound=3
7.57/5.22
7.77/5.45 num=146, depth=7..76, filters=680389, ccks=665, wck=3.223, mem=50M371
7.77/5.45 decisions=288099, wrong=139979, backtracks=129109, failedAssignments=60336, nogoods=1990, foundSolutions=7, bestBound=3
7.77/5.45
7.97/5.68 num=147, depth=2..112, filters=730947, ccks=665, wck=3.453, mem=50M371
7.97/5.68 decisions=314356, wrong=153071, backtracks=141926, failedAssignments=65730, nogoods=2019, foundSolutions=7, bestBound=3
7.97/5.68
8.17/5.89 num=148, depth=2..109, filters=777781, ccks=665, wck=3.663, mem=50M371
8.17/5.89 decisions=343593, wrong=167650, backtracks=155901, failedAssignments=71663, nogoods=2037, foundSolutions=7, bestBound=3
8.17/5.89
8.38/6.10 num=149, depth=8..103, filters=822211, ccks=665, wck=3.875, mem=50M371
8.38/6.10 decisions=374921, wrong=183276, backtracks=171158, failedAssignments=78189, nogoods=2054, foundSolutions=7, bestBound=3
8.38/6.10
8.68/6.38 num=150, depth=6..109, filters=884254, ccks=665, wck=4.156, mem=50M371
8.68/6.38 decisions=406283, wrong=198924, backtracks=185541, failedAssignments=85368, nogoods=2073, foundSolutions=7, bestBound=3
8.68/6.38
8.99/6.68 num=151, depth=7..71, filters=941405, ccks=665, wck=4.448, mem=53M13
8.99/6.68 decisions=438083, wrong=214801, backtracks=200297, failedAssignments=93265, nogoods=2084, foundSolutions=7, bestBound=3
8.99/6.68
9.50/7.12 num=152, depth=3..120, filters=1042122, ccks=665, wck=4.889, mem=53M13
9.50/7.12 decisions=484872, wrong=238157, backtracks=221780, failedAssignments=101952, nogoods=2101, foundSolutions=7, bestBound=3
9.50/7.12
9.79/7.49 num=153, depth=4..109, filters=1121179, ccks=665, wck=5.26, mem=53M13
9.79/7.49 decisions=532773, wrong=262073, backtracks=244273, failedAssignments=111507, nogoods=2123, foundSolutions=7, bestBound=3
9.79/7.49
10.19/7.81 num=154, depth=2..97, filters=1193822, ccks=665, wck=5.587, mem=53M13
10.19/7.81 decisions=575993, wrong=283651, backtracks=264651, failedAssignments=122018, nogoods=2139, foundSolutions=7, bestBound=3
10.19/7.81
10.89/8.51 num=155, depth=1..78, filters=1361042, ccks=665, wck=6.284, mem=55M656
10.89/8.51 decisions=631336, wrong=311298, backtracks=290499, failedAssignments=133580, nogoods=2152, foundSolutions=7, bestBound=3
10.89/8.51
11.40/9.02 num=156, depth=1..118, filters=1477681, ccks=665, wck=6.788, mem=55M656
11.40/9.02 decisions=693862, wrong=342526, backtracks=320804, failedAssignments=146298, nogoods=2173, foundSolutions=7, bestBound=3
11.40/9.02
11.80/9.42 num=157, depth=4..114, filters=1563655, ccks=665, wck=7.196, mem=58M298
11.80/9.42 decisions=755816, wrong=373463, backtracks=350134, failedAssignments=160288, nogoods=2194, foundSolutions=7, bestBound=3
11.80/9.42
12.80/10.44 num=158, depth=3..116, filters=1793829, ccks=665, wck=8.213, mem=58M298
12.80/10.44 decisions=847959, wrong=419501, backtracks=392398, failedAssignments=175677, nogoods=2219, foundSolutions=7, bestBound=3
12.80/10.44
13.29/11.00 num=159, depth=3..111, filters=1911977, ccks=665, wck=8.776, mem=60M941
13.29/11.00 decisions=929667, wrong=460321, backtracks=431436, failedAssignments=192605, nogoods=2246, foundSolutions=7, bestBound=3
13.29/11.00
14.30/11.92 num=160, depth=7..76, filters=2112218, ccks=665, wck=9.696, mem=60M941
14.30/11.92 decisions=1016085, wrong=503506, backtracks=473343, failedAssignments=211226, nogoods=2259, foundSolutions=7, bestBound=3
14.30/11.92
15.30/12.92 num=161, depth=9..111, filters=2325147, ccks=665, wck=10.689, mem=63M583
15.30/12.92 decisions=1104117, wrong=547484, backtracks=512035, failedAssignments=231710, nogoods=2287, foundSolutions=7, bestBound=3
15.30/12.92
16.40/14.03 num=162, depth=23..119, filters=2580424, ccks=665, wck=11.805, mem=63M583
16.40/14.03 decisions=1211146, wrong=600955, backtracks=560264, failedAssignments=254242, nogoods=2302, foundSolutions=7, bestBound=3
16.40/14.03
17.70/15.31 num=163, depth=2..121, filters=2874444, ccks=665, wck=13.078, mem=66M225
17.70/15.31 decisions=1328899, wrong=659790, backtracks=615530, failedAssignments=279027, nogoods=2325, foundSolutions=7, bestBound=3
17.70/15.31
19.00/16.69 num=164, depth=1..110, filters=3191664, ccks=665, wck=14.463, mem=68M868
19.00/16.69 decisions=1460377, wrong=725497, backtracks=676110, failedAssignments=306291, nogoods=2359, foundSolutions=7, bestBound=3
19.00/16.69
20.80/18.46 num=165, depth=2..126, filters=3569904, ccks=665, wck=16.231, mem=71M510
20.80/18.46 decisions=1648039, wrong=819291, backtracks=768142, failedAssignments=336281, nogoods=2391, foundSolutions=7, bestBound=3
20.80/18.46
21.60/19.23 o 2
21.60/19.23 num=166, depth=4..310, filters=3735249, ccks=760, wck=17.002, mem=74M153
21.60/19.23 decisions=1732070, wrong=861252, backtracks=808421, failedAssignments=353357, nogoods=2435, foundSolutions=8, bestBound=2
21.60/19.23
21.60/19.23 Global
21.60/19.23 filters=3735249, ccks=760, nogoods=2435
21.60/19.23 Stop=FULL_EXPLORATION, wrong=861252, bestBound=2, bestBoundWck=17.359, bestBoundCpu=19.198, foundSolutions=8, firstSolCpu=2.243
21.60/19.23 wck=17.361, cpu=19.2, mem=74M153
21.60/19.23
21.60/19.23 v <instantiation id='sol8' type='solution' cost='2'> <list> z x[][] </list> <values> 2 0 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 0 0 1 1 1 1 1 1 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 1 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 1 1 0 0 0 1 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 1 1 0 1 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 1 0 0 1 0 0 1 1 0 1 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 1 1 0 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 1 0 1 1 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 1 1 0 0 0 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 </values> </instantiation>
21.60/19.23 s OPTIMUM FOUND
21.60/19.23
21.60/19.23 d WRONG_DECISIONS 861252
21.60/19.23 d NUMBER_SOLUTIONS 8
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 (15303 MiB free)
memory of node 1: 16384 MiB (15274 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4391265-1568389017/watcher-4391265-1568389017 -o /tmp/evaluation-result-4391265-1568389017/solver-4391265-1568389017 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node141-1568388891-27766 --watchdog 2560 java -cp AbsCon19-06.jar AbsCon HOME/instance-4391265-1568389017.xml -cm
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=27895, runsolver pid=27892
[startup+0.100058 s]*
/proc/loadavg: 1.72 1.74 1.86 4/229 27910
/proc/meminfo: memFree=31295356/32770624 swapFree=66918668/67108860
[pid=27895] ppid=27892 vsize=10659884 memory=29204 CPUtime=0.13 cores=0,2,4,6
/proc/27895/stat : 27895 (java) S 27892 27895 26121 0 -1 1077944320 5791 0 0 0 12 1 0 0 20 0 15 0 414839643 10915721216 7301 33554432000 4194304 4196468 140724982961600 140724982944144 139943186263799 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 25858048 140724982969355 140724982969458 140724982969458 140724982972367 0
/proc/27895/statm: 2664971 7301 2901 1 0 2627468 0
[pid=27895/tid=27897] ppid=27892 vsize=10659884 memory=7892391828772250251 CPUtime=0.09 cores=0,2,4,6
/proc/27895/task/27897/stat : 27897 (java) R 27892 27895 26121 0 -1 4202560 3281 0 0 0 9 0 0 0 20 0 15 0 414839643 10915721216 7301 33554432000 4194304 4196468 140724982961600 139943190493384 139942802052328 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25858048 140724982969355 140724982969458 140724982969458 140724982972367 0
[pid=27895/tid=27898] ppid=27892 vsize=10659884 memory=-7025452035940392864 CPUtime=0 cores=0,2,4,6
/proc/27895/task/27898/stat : 27898 (java) S 27892 27895 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414839644 10915721216 7301 33554432000 4194304 4196468 140724982961600 139943122954512 139943186274005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25858048 140724982969355 140724982969458 140724982969458 140724982972367 0
[pid=27895/tid=27899] ppid=27892 vsize=10659884 memory=140605699978880 CPUtime=0 cores=0,2,4,6
/proc/27895/task/27899/stat : 27899 (java) S 27892 27895 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414839644 10915721216 7301 33554432000 4194304 4196468 140724982961600 139943121901968 139943186274005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25858048 140724982969355 140724982969458 140724982969458 140724982972367 0
[pid=27895/tid=27900] ppid=27892 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27895/task/27900/stat : 27900 (java) S 27892 27895 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414839644 10915721216 7301 33554432000 4194304 4196468 140724982961600 139942791342608 139943186274005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25858048 140724982969355 140724982969458 140724982969458 140724982972367 0
[pid=27895/tid=27901] ppid=27892 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27895/task/27901/stat : 27901 (java) S 27892 27895 26121 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414839644 10915721216 7301 33554432000 4194304 4196468 140724982961600 139942790290064 139943186274005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25858048 140724982969355 140724982969458 140724982969458 140724982972367 0
[pid=27895/tid=27902] ppid=27892 vsize=10659884 memory=140605699978880 CPUtime=0 cores=0,2,4,6
/proc/27895/task/27902/stat : 27902 (java) S 27892 27895 26121 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414839645 10915721216 7301 33554432000 4194304 4196468 140724982961600 139942677969392 139943186274946 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25858048 140724982969355 140724982969458 140724982969458 140724982972367 0
[pid=27895/tid=27903] ppid=27892 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27895/task/27903/stat : 27903 (java) S 27892 27895 26121 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414839646 10915721216 7301 33554432000 4194304 4196468 140724982961600 139942676915616 139943186274005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25858048 140724982969355 140724982969458 140724982969458 140724982972367 0
[pid=27895/tid=27904] ppid=27892 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27895/task/27904/stat : 27904 (java) S 27892 27895 26121 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414839646 10915721216 7301 33554432000 4194304 4196468 140724982961600 139942675863024 139943186274005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25858048 140724982969355 140724982969458 140724982969458 140724982972367 0
[pid=27895/tid=27905] ppid=27892 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27895/task/27905/stat : 27905 (java) S 27892 27895 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414839648 10915721216 7301 33554432000 4194304 4196468 140724982961600 139942674811600 139943186282395 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25858048 140724982969355 140724982969458 140724982969458 140724982972367 0
[pid=27895/tid=27906] ppid=27892 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27895/task/27906/stat : 27906 (java) S 27892 27895 26121 0 -1 1077944384 577 0 0 0 0 0 0 0 20 0 15 0 414839648 10915721216 7301 33554432000 4194304 4196468 140724982961600 139942673758192 139943186274946 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25858048 140724982969355 140724982969458 140724982969458 140724982972367 0
[pid=27895/tid=27907] ppid=27892 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27895/task/27907/stat : 27907 (java) S 27892 27895 26121 0 -1 1077944384 95 0 0 0 0 0 0 0 20 0 15 0 414839649 10915721216 7301 33554432000 4194304 4196468 140724982961600 139942672705648 139943186274946 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25858048 140724982969355 140724982969458 140724982969458 140724982972367 0
[pid=27895/tid=27908] ppid=27892 vsize=10659884 memory=140605699978880 CPUtime=0.02 cores=0,2,4,6
/proc/27895/task/27908/stat : 27908 (java) R 27892 27895 26121 0 -1 4202560 489 0 0 0 2 0 0 0 20 0 15 0 414839649 10915721216 7301 33554432000 4194304 4196468 140724982961600 139942671649976 139943165205390 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25858048 140724982969355 140724982969458 140724982969458 140724982972367 0
[pid=27895/tid=27909] ppid=27892 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27895/task/27909/stat : 27909 (java) S 27892 27895 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414839649 10915721216 7301 33554432000 4194304 4196468 140724982961600 139942670600800 139943186274005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25858048 140724982969355 140724982969458 140724982969458 140724982972367 0
[pid=27895/tid=27910] ppid=27892 vsize=10659884 memory=140605699978880 CPUtime=0 cores=0,2,4,6
/proc/27895/task/27910/stat : 27910 (java) S 27892 27895 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414839649 10915721216 7301 33554432000 4194304 4196468 140724982961600 139942669548336 139943186274946 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25858048 140724982969355 140724982969458 140724982969458 140724982972367 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 29204 KiB
[startup+0.211187 s]*
/proc/loadavg: 1.72 1.74 1.86 4/229 27910
/proc/meminfo: memFree=31284232/32770624 swapFree=66918668/67108860
[pid=27895] ppid=27892 vsize=10659884 memory=37280 CPUtime=0.33 cores=0,2,4,6
/proc/27895/stat : 27895 (java) S 27892 27895 26121 0 -1 1077944320 8992 0 0 0 31 2 0 0 20 0 15 0 414839643 10915721216 9320 33554432000 4194304 4196468 140724982961600 140724982944144 139943186263799 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 25858048 140724982969355 140724982969458 140724982969458 140724982972367 0
/proc/27895/statm: 2664971 9320 2989 1 0 2627468 0
[pid=27895/tid=27897] ppid=27892 vsize=10659884 memory=7022364594140610616 CPUtime=0.19 cores=0,2,4,6
/proc/27895/task/27897/stat : 27897 (java) R 27892 27895 26121 0 -1 4202560 6102 0 0 0 18 1 0 0 20 0 15 0 414839643 10915721216 9320 33554432000 4194304 4196468 140724982961600 139943190495760 139943186285725 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25858048 140724982969355 140724982969458 140724982969458 140724982972367 0
[pid=27895/tid=27898] ppid=27892 vsize=10659884 memory=345 CPUtime=0 cores=0,2,4,6
/proc/27895/task/27898/stat : 27898 (java) S 27892 27895 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414839644 10915721216 9320 33554432000 4194304 4196468 140724982961600 139943122954512 139943186274005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25858048 140724982969355 140724982969458 140724982969458 140724982972367 0
[pid=27895/tid=27899] ppid=27892 vsize=10659884 memory=288370981851690624 CPUtime=0 cores=0,2,4,6
/proc/27895/task/27899/stat : 27899 (java) S 27892 27895 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414839644 10915721216 9320 33554432000 4194304 4196468 140724982961600 139943121901968 139943186274005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25858048 140724982969355 140724982969458 140724982969458 140724982972367 0
[pid=27895/tid=27900] ppid=27892 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27895/task/27900/stat : 27900 (java) S 27892 27895 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414839644 10915721216 9320 33554432000 4194304 4196468 140724982961600 139942791342608 139943186274005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25858048 140724982969355 140724982969458 140724982969458 140724982972367 0
[pid=27895/tid=27901] ppid=27892 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27895/task/27901/stat : 27901 (java) S 27892 27895 26121 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414839644 10915721216 9320 33554432000 4194304 4196468 140724982961600 139942790290064 139943186274005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25858048 140724982969355 140724982969458 140724982969458 140724982972367 0
[pid=27895/tid=27902] ppid=27892 vsize=10659884 memory=140605699978880 CPUtime=0 cores=0,2,4,6
/proc/27895/task/27902/stat : 27902 (java) S 27892 27895 26121 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414839645 10915721216 9320 33554432000 4194304 4196468 140724982961600 139942677969392 139943186274946 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25858048 140724982969355 140724982969458 140724982969458 140724982972367 0
[pid=27895/tid=27903] ppid=27892 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27895/task/27903/stat : 27903 (java) S 27892 27895 26121 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414839646 10915721216 9320 33554432000 4194304 4196468 140724982961600 139942676915616 139943186274005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25858048 140724982969355 140724982969458 140724982969458 140724982972367 0
[pid=27895/tid=27904] ppid=27892 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27895/task/27904/stat : 27904 (java) S 27892 27895 26121 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414839646 10915721216 9320 33554432000 4194304 4196468 140724982961600 139942675863024 139943186274005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25858048 140724982969355 140724982969458 140724982969458 140724982972367 0
[pid=27895/tid=27905] ppid=27892 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27895/task/27905/stat : 27905 (java) S 27892 27895 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414839648 10915721216 9320 33554432000 4194304 4196468 140724982961600 139942674811600 139943186282395 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25858048 140724982969355 140724982969458 140724982969458 140724982972367 0
[pid=27895/tid=27906] ppid=27892 vsize=10659884 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/27895/task/27906/stat : 27906 (java) S 27892 27895 26121 0 -1 1077944384 668 0 0 0 3 0 0 0 20 0 15 0 414839648 10915721216 9320 33554432000 4194304 4196468 140724982961600 139942673758192 139943186274946 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25858048 140724982969355 140724982969458 140724982969458 140724982972367 0
[pid=27895/tid=27907] ppid=27892 vsize=10659884 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/27895/task/27907/stat : 27907 (java) S 27892 27895 26121 0 -1 1077944384 267 0 0 0 2 0 0 0 20 0 15 0 414839649 10915721216 9320 33554432000 4194304 4196468 140724982961600 139942672705648 139943186274946 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25858048 140724982969355 140724982969458 140724982969458 140724982972367 0
[pid=27895/tid=27908] ppid=27892 vsize=10659884 memory=140605699978880 CPUtime=0.05 cores=0,2,4,6
/proc/27895/task/27908/stat : 27908 (java) S 27892 27895 26121 0 -1 1077944384 597 0 0 0 5 0 0 0 20 0 15 0 414839649 10915721216 9320 33554432000 4194304 4196468 140724982961600 139942671653104 139943186274946 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25858048 140724982969355 140724982969458 140724982969458 140724982972367 0
[pid=27895/tid=27909] ppid=27892 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27895/task/27909/stat : 27909 (java) S 27892 27895 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414839649 10915721216 9320 33554432000 4194304 4196468 140724982961600 139942670600800 139943186274005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25858048 140724982969355 140724982969458 140724982969458 140724982972367 0
[pid=27895/tid=27910] ppid=27892 vsize=10659884 memory=140605699978880 CPUtime=0 cores=0,2,4,6
/proc/27895/task/27910/stat : 27910 (java) S 27892 27895 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414839649 10915721216 9320 33554432000 4194304 4196468 140724982961600 139942669548336 139943186274946 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25858048 140724982969355 140724982969458 140724982969458 140724982972367 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 37280 KiB
[startup+0.310269 s]*
/proc/loadavg: 1.72 1.74 1.86 3/229 27910
/proc/meminfo: memFree=31282608/32770624 swapFree=66918668/67108860
[pid=27895] ppid=27892 vsize=10659884 memory=39572 CPUtime=0.46 cores=0,2,4,6
/proc/27895/stat : 27895 (java) S 27892 27895 26121 0 -1 1077944320 9189 0 0 0 44 2 0 0 20 0 15 0 414839643 10915721216 9893 33554432000 4194304 4196468 140724982961600 140724982944144 139943186263799 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 25858048 140724982969355 140724982969458 140724982969458 140724982972367 0
/proc/27895/statm: 2664971 9893 3001 1 0 2627468 0
[pid=27895/tid=27897] ppid=27892 vsize=10659884 memory=7311146985107750967 CPUtime=0.3 cores=0,2,4,6
/proc/27895/task/27897/stat : 27897 (java) R 27892 27895 26121 0 -1 4202560 6225 0 0 0 28 2 0 0 20 0 15 0 414839643 10915721216 9893 33554432000 4194304 4196468 140724982961600 139943190502784 139943186285725 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25858048 140724982969355 140724982969458 140724982969458 140724982972367 0
[pid=27895/tid=27898] ppid=27892 vsize=10659884 memory=2810766 CPUtime=0 cores=0,2,4,6
/proc/27895/task/27898/stat : 27898 (java) S 27892 27895 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414839644 10915721216 9893 33554432000 4194304 4196468 140724982961600 139943122954512 139943186274005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25858048 140724982969355 140724982969458 140724982969458 140724982972367 0
[pid=27895/tid=27899] ppid=27892 vsize=10659884 memory=288370981851690624 CPUtime=0 cores=0,2,4,6
/proc/27895/task/27899/stat : 27899 (java) S 27892 27895 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414839644 10915721216 9893 33554432000 4194304 4196468 140724982961600 139943121901968 139943186274005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25858048 140724982969355 140724982969458 140724982969458 140724982972367 0
[pid=27895/tid=27900] ppid=27892 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27895/task/27900/stat : 27900 (java) S 27892 27895 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414839644 10915721216 9893 33554432000 4194304 4196468 140724982961600 139942791342608 139943186274005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25858048 140724982969355 140724982969458 140724982969458 140724982972367 0
[pid=27895/tid=27901] ppid=27892 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27895/task/27901/stat : 27901 (java) S 27892 27895 26121 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414839644 10915721216 9893 33554432000 4194304 4196468 140724982961600 139942790290064 139943186274005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25858048 140724982969355 140724982969458 140724982969458 140724982972367 0
[pid=27895/tid=27902] ppid=27892 vsize=10659884 memory=140605699978880 CPUtime=0 cores=0,2,4,6
/proc/27895/task/27902/stat : 27902 (java) S 27892 27895 26121 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414839645 10915721216 9893 33554432000 4194304 4196468 140724982961600 139942677969392 139943186274946 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25858048 140724982969355 140724982969458 140724982969458 140724982972367 0
[pid=27895/tid=27903] ppid=27892 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27895/task/27903/stat : 27903 (java) S 27892 27895 26121 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414839646 10915721216 9893 33554432000 4194304 4196468 140724982961600 139942676915616 139943186274005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25858048 140724982969355 140724982969458 140724982969458 140724982972367 0
[pid=27895/tid=27904] ppid=27892 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27895/task/27904/stat : 27904 (java) S 27892 27895 26121 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414839646 10915721216 9893 33554432000 4194304 4196468 140724982961600 139942675863024 139943186274005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25858048 140724982969355 140724982969458 140724982969458 140724982972367 0
[pid=27895/tid=27905] ppid=27892 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27895/task/27905/stat : 27905 (java) S 27892 27895 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414839648 10915721216 9893 33554432000 4194304 4196468 140724982961600 139942674811600 139943186282395 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25858048 140724982969355 140724982969458 140724982969458 140724982972367 0
[pid=27895/tid=27906] ppid=27892 vsize=10659884 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/27895/task/27906/stat : 27906 (java) S 27892 27895 26121 0 -1 1077944384 711 0 0 0 4 0 0 0 20 0 15 0 414839648 10915721216 9954 33554432000 4194304 4196468 140724982961600 139942673758192 139943186274946 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25858048 140724982969355 140724982969458 140724982969458 140724982972367 0
[pid=27895/tid=27907] ppid=27892 vsize=10659884 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/27895/task/27907/stat : 27907 (java) S 27892 27895 26121 0 -1 1077944384 278 0 0 0 3 0 0 0 20 0 15 0 414839649 10915721216 9954 33554432000 4194304 4196468 140724982961600 139942672705648 139943186274946 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25858048 140724982969355 140724982969458 140724982969458 140724982972367 0
[pid=27895/tid=27908] ppid=27892 vsize=10659884 memory=140605699978880 CPUtime=0.07 cores=0,2,4,6
/proc/27895/task/27908/stat : 27908 (java) R 27892 27895 26121 0 -1 4202560 618 0 0 0 7 0 0 0 20 0 15 0 414839649 10915721216 9954 33554432000 4194304 4196468 140724982961600 139942671653104 139943186285146 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25858048 140724982969355 140724982969458 140724982969458 140724982972367 0
[pid=27895/tid=27909] ppid=27892 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27895/task/27909/stat : 27909 (java) S 27892 27895 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414839649 10915721216 9954 33554432000 4194304 4196468 140724982961600 139942670600800 139943186274005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25858048 140724982969355 140724982969458 140724982969458 140724982972367 0
[pid=27895/tid=27910] ppid=27892 vsize=10659884 memory=140605699978880 CPUtime=0 cores=0,2,4,6
/proc/27895/task/27910/stat : 27910 (java) S 27892 27895 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414839649 10915721216 9954 33554432000 4194304 4196468 140724982961600 139942669548336 139943186274946 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25858048 140724982969355 140724982969458 140724982969458 140724982972367 0
Current children cumulated CPU time: 0.46 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 39572 KiB
[startup+0.700819 s]
/proc/loadavg: 1.72 1.74 1.86 3/229 27910
/proc/meminfo: memFree=31274704/32770624 swapFree=66918668/67108860
[pid=27895] ppid=27892 vsize=10661932 memory=60972 CPUtime=1.1 cores=0,2,4,6
/proc/27895/stat : 27895 (java) S 27892 27895 26121 0 -1 1077944320 12785 0 0 0 105 5 0 0 20 0 15 0 414839643 10917818368 15243 33554432000 4194304 4196468 140724982961600 140724982944144 139943186263799 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 25858048 140724982969355 140724982969458 140724982969458 140724982972367 0
/proc/27895/statm: 2665483 15243 3065 1 0 2627980 0
[pid=27895/tid=27897] ppid=27892 vsize=10661932 memory=4481 CPUtime=0.68 cores=0,2,4,6
/proc/27895/task/27897/stat : 27897 (java) R 27892 27895 26121 0 -1 4202560 8770 0 0 0 64 4 0 0 20 0 15 0 414839643 10917818368 15243 33554432000 4194304 4196468 140724982961600 139943190495824 139943186285725 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25858048 140724982969355 140724982969458 140724982969458 140724982972367 0
[pid=27895/tid=27898] ppid=27892 vsize=10661932 memory=4420 CPUtime=0 cores=0,2,4,6
/proc/27895/task/27898/stat : 27898 (java) S 27892 27895 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414839644 10917818368 15243 33554432000 4194304 4196468 140724982961600 139943122954512 139943186274005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25858048 140724982969355 140724982969458 140724982969458 140724982972367 0
[pid=27895/tid=27899] ppid=27892 vsize=10661932 memory=4580 CPUtime=0 cores=0,2,4,6
/proc/27895/task/27899/stat : 27899 (java) S 27892 27895 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414839644 10917818368 15243 33554432000 4194304 4196468 140724982961600 139943121901968 139943186274005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25858048 140724982969355 140724982969458 140724982969458 140724982972367 0
[pid=27895/tid=27900] ppid=27892 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27895/task/27900/stat : 27900 (java) S 27892 27895 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414839644 10917818368 15243 33554432000 4194304 4196468 140724982961600 139942791342608 139943186274005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25858048 140724982969355 140724982969458 140724982969458 140724982972367 0
[pid=27895/tid=27901] ppid=27892 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27895/task/27901/stat : 27901 (java) S 27892 27895 26121 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414839644 10917818368 15243 33554432000 4194304 4196468 140724982961600 139942790290064 139943186274005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25858048 140724982969355 140724982969458 140724982969458 140724982972367 0
[pid=27895/tid=27902] ppid=27892 vsize=10661932 memory=260443729854557 CPUtime=0 cores=0,2,4,6
/proc/27895/task/27902/stat : 27902 (java) S 27892 27895 26121 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414839645 10917818368 15243 33554432000 4194304 4196468 140724982961600 139942677969392 139943186274946 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25858048 140724982969355 140724982969458 140724982969458 140724982972367 0
[pid=27895/tid=27903] ppid=27892 vsize=10661932 memory=3545796572287875304 CPUtime=0 cores=0,2,4,6
/proc/27895/task/27903/stat : 27903 (java) S 27892 27895 26121 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414839646 10917818368 15243 33554432000 4194304 4196468 140724982961600 139942676915616 139943186274005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25858048 140724982969355 140724982969458 140724982969458 140724982972367 0
[pid=27895/tid=27904] ppid=27892 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27895/task/27904/stat : 27904 (java) S 27892 27895 26121 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414839646 10917818368 15243 33554432000 4194304 4196468 140724982961600 139942675863024 139943186274005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25858048 140724982969355 140724982969458 140724982969458 140724982972367 0
[pid=27895/tid=27905] ppid=27892 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27895/task/27905/stat : 27905 (java) S 27892 27895 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414839648 10917818368 15243 33554432000 4194304 4196468 140724982961600 139942674811600 139943186282395 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25858048 140724982969355 140724982969458 140724982969458 140724982972367 0
[pid=27895/tid=27906] ppid=27892 vsize=10661932 memory=281211104684960 CPUtime=0.1 cores=0,2,4,6
/proc/27895/task/27906/stat : 27906 (java) S 27892 27895 26121 0 -1 1077944384 1098 0 0 0 10 0 0 0 20 0 15 0 414839648 10917818368 15243 33554432000 4194304 4196468 140724982961600 139942673758192 139943186274946 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25858048 140724982969355 140724982969458 140724982969458 140724982972367 0
[pid=27895/tid=27907] ppid=27892 vsize=10661932 memory=19153 CPUtime=0.11 cores=0,2,4,6
/proc/27895/task/27907/stat : 27907 (java) S 27892 27895 26121 0 -1 1077944384 480 0 0 0 11 0 0 0 20 0 15 0 414839649 10917818368 15243 33554432000 4194304 4196468 140724982961600 139942672705648 139943186274946 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25858048 140724982969355 140724982969458 140724982969458 140724982972367 0
[pid=27895/tid=27908] ppid=27892 vsize=10661932 memory=281211104657648 CPUtime=0.19 cores=0,2,4,6
/proc/27895/task/27908/stat : 27908 (java) S 27892 27895 26121 0 -1 1077944384 1079 0 0 0 19 0 0 0 20 0 15 0 414839649 10917818368 15243 33554432000 4194304 4196468 140724982961600 139942671653104 139943186274946 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25858048 140724982969355 140724982969458 140724982969458 140724982972367 0
[pid=27895/tid=27909] ppid=27892 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27895/task/27909/stat : 27909 (java) S 27892 27895 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414839649 10917818368 15243 33554432000 4194304 4196468 140724982961600 139942670600800 139943186274005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25858048 140724982969355 140724982969458 140724982969458 140724982972367 0
[pid=27895/tid=27910] ppid=27892 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27895/task/27910/stat : 27910 (java) S 27892 27895 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414839649 10917818368 15243 33554432000 4194304 4196468 140724982961600 139942669548336 139943186274946 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25858048 140724982969355 140724982969458 140724982969458 140724982972367 0
Current children cumulated CPU time: 1.1 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 60972 KiB
[startup+1.50084 s]
/proc/loadavg: 1.72 1.74 1.86 3/229 27910
/proc/meminfo: memFree=31258884/32770624 swapFree=66918668/67108860
[pid=27895] ppid=27892 vsize=10663980 memory=75596 CPUtime=2.01 cores=0,2,4,6
/proc/27895/stat : 27895 (java) S 27892 27895 26121 0 -1 1077944320 18387 0 0 0 195 6 0 0 20 0 15 0 414839643 10919915520 18899 33554432000 4194304 4196468 140724982961600 140724982944144 139943186263799 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 25858048 140724982969355 140724982969458 140724982969458 140724982972367 0
/proc/27895/statm: 2665995 18899 3096 1 0 2628492 0
[pid=27895/tid=27897] ppid=27892 vsize=10663980 memory=281211105534624 CPUtime=1.47 cores=0,2,4,6
/proc/27895/task/27897/stat : 27897 (java) R 27892 27895 26121 0 -1 4202560 13029 0 0 0 143 4 0 0 20 0 15 0 414839643 10919915520 18899 33554432000 4194304 4196468 140724982961600 139943190489680 139943170344286 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25858048 140724982969355 140724982969458 140724982969458 140724982972367 0
[pid=27895/tid=27898] ppid=27892 vsize=10663980 memory=281211104707504 CPUtime=0 cores=0,2,4,6
/proc/27895/task/27898/stat : 27898 (java) S 27892 27895 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414839644 10919915520 18899 33554432000 4194304 4196468 140724982961600 139943122954512 139943186274005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25858048 140724982969355 140724982969458 140724982969458 140724982972367 0
[pid=27895/tid=27899] ppid=27892 vsize=10663980 memory=56 CPUtime=0 cores=0,2,4,6
/proc/27895/task/27899/stat : 27899 (java) S 27892 27895 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414839644 10919915520 18899 33554432000 4194304 4196468 140724982961600 139943121901968 139943186274005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25858048 140724982969355 140724982969458 140724982969458 140724982972367 0
[pid=27895/tid=27900] ppid=27892 vsize=10663980 memory=2811011 CPUtime=0 cores=0,2,4,6
/proc/27895/task/27900/stat : 27900 (java) S 27892 27895 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414839644 10919915520 18899 33554432000 4194304 4196468 140724982961600 139942791342608 139943186274005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25858048 140724982969355 140724982969458 140724982969458 140724982972367 0
[pid=27895/tid=27901] ppid=27892 vsize=10663980 memory=2812297 CPUtime=0 cores=0,2,4,6
/proc/27895/task/27901/stat : 27901 (java) S 27892 27895 26121 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414839644 10919915520 18899 33554432000 4194304 4196468 140724982961600 139942790290064 139943186274005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25858048 140724982969355 140724982969458 140724982969458 140724982972367 0
[pid=27895/tid=27902] ppid=27892 vsize=10663980 memory=-1161699032756226647 CPUtime=0 cores=0,2,4,6
/proc/27895/task/27902/stat : 27902 (java) S 27892 27895 26121 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 414839645 10919915520 18899 33554432000 4194304 4196468 140724982961600 139942677969392 139943186274946 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25858048 140724982969355 140724982969458 140724982969458 140724982972367 0
################
# More data... #
################
[startup+17.6007 s]
/proc/loadavg: 1.70 1.73 1.86 3/230 27911
/proc/meminfo: memFree=31167152/32770624 swapFree=66918668/67108860
[pid=27895] ppid=27892 vsize=10748324 memory=161552 CPUtime=20 cores=0,2,4,6
/proc/27895/stat : 27895 (java) S 27892 27895 26121 0 -1 1077944320 31875 0 0 0 1987 13 0 0 20 0 16 0 414839643 11006283776 40388 33554432000 4194304 4196468 140724982961600 140724982944144 139943186263799 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 25858048 140724982969355 140724982969458 140724982969458 140724982972367 0
/proc/27895/statm: 2687081 40388 3346 1 0 2647217 0
[pid=27895/tid=27897] ppid=27892 vsize=10748324 memory=159504 CPUtime=1.88 cores=0,2,4,6
/proc/27895/task/27897/stat : 27897 (java) S 27892 27895 26121 0 -1 1077944384 15333 0 0 0 182 6 0 0 20 0 16 0 414839643 11006283776 40388 33554432000 4194304 4196468 140724982961600 139943190506672 139943186274005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25858048 140724982969355 140724982969458 140724982969458 140724982972367 0
[pid=27895/tid=27898] ppid=27892 vsize=10748324 memory=21400 CPUtime=0.01 cores=0,2,4,6
/proc/27895/task/27898/stat : 27898 (java) S 27892 27895 26121 0 -1 1077944384 120 0 0 0 1 0 0 0 20 0 16 0 414839644 11006283776 40388 33554432000 4194304 4196468 140724982961600 139943122954512 139943186274005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25858048 140724982969355 140724982969458 140724982969458 140724982972367 0
[pid=27895/tid=27899] ppid=27892 vsize=10748324 memory=988 CPUtime=0 cores=0,2,4,6
/proc/27895/task/27899/stat : 27899 (java) S 27892 27895 26121 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 16 0 414839644 11006283776 40388 33554432000 4194304 4196468 140724982961600 139943121901968 139943186274005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25858048 140724982969355 140724982969458 140724982969458 140724982972367 0
[pid=27895/tid=27900] ppid=27892 vsize=10748324 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/27895/task/27900/stat : 27900 (java) S 27892 27895 26121 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 16 0 414839644 11006283776 40388 33554432000 4194304 4196468 140724982961600 139942791342608 139943186274005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25858048 140724982969355 140724982969458 140724982969458 140724982972367 0
[pid=27895/tid=27901] ppid=27892 vsize=10748324 memory=21400 CPUtime=0 cores=0,2,4,6
/proc/27895/task/27901/stat : 27901 (java) S 27892 27895 26121 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 16 0 414839644 11006283776 40388 33554432000 4194304 4196468 140724982961600 139942790290064 139943186274005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25858048 140724982969355 140724982969458 140724982969458 140724982972367 0
[pid=27895/tid=27902] ppid=27892 vsize=10748324 memory=988 CPUtime=0.01 cores=0,2,4,6
/proc/27895/task/27902/stat : 27902 (java) S 27892 27895 26121 0 -1 1077944384 1102 0 0 0 1 0 0 0 20 0 16 0 414839645 11006283776 40388 33554432000 4194304 4196468 140724982961600 139942677969392 139943186274946 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25858048 140724982969355 140724982969458 140724982969458 140724982972367 0
[pid=27895/tid=27903] ppid=27892 vsize=10748324 memory=2012 CPUtime=0 cores=0,2,4,6
/proc/27895/task/27903/stat : 27903 (java) S 27892 27895 26121 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 414839646 11006283776 40388 33554432000 4194304 4196468 140724982961600 139942676915680 139943186274005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25858048 140724982969355 140724982969458 140724982969458 140724982972367 0
[pid=27895/tid=27904] ppid=27892 vsize=10748324 memory=1324 CPUtime=0 cores=0,2,4,6
/proc/27895/task/27904/stat : 27904 (java) S 27892 27895 26121 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 414839646 11006283776 40388 33554432000 4194304 4196468 140724982961600 139942675863040 139943186274005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25858048 140724982969355 140724982969458 140724982969458 140724982972367 0
[pid=27895/tid=27905] ppid=27892 vsize=10748324 memory=1704 CPUtime=0 cores=0,2,4,6
/proc/27895/task/27905/stat : 27905 (java) S 27892 27895 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414839648 11006283776 40388 33554432000 4194304 4196468 140724982961600 139942674811600 139943186282395 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25858048 140724982969355 140724982969458 140724982969458 140724982972367 0
[pid=27895/tid=27906] ppid=27892 vsize=10748324 memory=5936 CPUtime=0.84 cores=0,2,4,6
/proc/27895/task/27906/stat : 27906 (java) S 27892 27895 26121 0 -1 1077944384 2425 0 0 0 84 0 0 0 20 0 16 0 414839648 11006283776 40388 33554432000 4194304 4196468 140724982961600 139942673758192 139943186274946 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25858048 140724982969355 140724982969458 140724982969458 140724982972367 0
[pid=27895/tid=27907] ppid=27892 vsize=10748324 memory=588 CPUtime=0.91 cores=0,2,4,6
/proc/27895/task/27907/stat : 27907 (java) S 27892 27895 26121 0 -1 1077944384 2658 0 0 0 91 0 0 0 20 0 16 0 414839649 11006283776 40388 33554432000 4194304 4196468 140724982961600 139942672705648 139943186274946 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25858048 140724982969355 140724982969458 140724982969458 140724982972367 0
[pid=27895/tid=27908] ppid=27892 vsize=10748324 memory=780 CPUtime=0.57 cores=0,2,4,6
/proc/27895/task/27908/stat : 27908 (java) S 27892 27895 26121 0 -1 1077944384 2753 0 0 0 57 0 0 0 20 0 16 0 414839649 11006283776 40388 33554432000 4194304 4196468 140724982961600 139942671653104 139943186274946 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25858048 140724982969355 140724982969458 140724982969458 140724982972367 0
[pid=27895/tid=27909] ppid=27892 vsize=10748324 memory=1056 CPUtime=0 cores=0,2,4,6
/proc/27895/task/27909/stat : 27909 (java) S 27892 27895 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414839649 11006283776 40388 33554432000 4194304 4196468 140724982961600 139942670600800 139943186274005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25858048 140724982969355 140724982969458 140724982969458 140724982972367 0
[pid=27895/tid=27910] ppid=27892 vsize=10748324 memory=11464 CPUtime=0 cores=0,2,4,6
/proc/27895/task/27910/stat : 27910 (java) S 27892 27895 26121 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 16 0 414839649 11006283776 40388 33554432000 4194304 4196468 140724982961600 139942669548336 139943186274946 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25858048 140724982969355 140724982969458 140724982969458 140724982972367 0
[pid=27895/tid=27911] ppid=27892 vsize=10748324 memory=4004 CPUtime=15.66 cores=0,2,4,6
/proc/27895/task/27911/stat : 27911 (java) R 27892 27895 26121 0 -1 4202560 5854 0 0 0 1565 1 0 0 20 0 16 0 414839833 11006283776 40388 33554432000 4194304 4196468 140724982961600 139942652768000 139942807840585 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25858048 140724982969355 140724982969458 140724982969458 140724982972367 0
Current children cumulated CPU time: 20 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 161552 KiB
[startup+18.4007 s]
/proc/loadavg: 1.70 1.73 1.86 3/230 27911
/proc/meminfo: memFree=31165268/32770624 swapFree=66918668/67108860
[pid=27895] ppid=27892 vsize=10748324 memory=163600 CPUtime=20.8 cores=0,2,4,6
/proc/27895/stat : 27895 (java) S 27892 27895 26121 0 -1 1077944320 31876 0 0 0 2067 13 0 0 20 0 16 0 414839643 11006283776 40900 33554432000 4194304 4196468 140724982961600 140724982944144 139943186263799 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 25858048 140724982969355 140724982969458 140724982969458 140724982972367 0
/proc/27895/statm: 2687081 40900 3346 1 0 2647217 0
[pid=27895/tid=27897] ppid=27892 vsize=10748324 memory=3616 CPUtime=1.88 cores=0,2,4,6
/proc/27895/task/27897/stat : 27897 (java) S 27892 27895 26121 0 -1 1077944384 15333 0 0 0 182 6 0 0 20 0 16 0 414839643 11006283776 40900 33554432000 4194304 4196468 140724982961600 139943190506672 139943186274005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25858048 140724982969355 140724982969458 140724982969458 140724982972367 0
[pid=27895/tid=27898] ppid=27892 vsize=10748324 memory=159504 CPUtime=0.01 cores=0,2,4,6
/proc/27895/task/27898/stat : 27898 (java) S 27892 27895 26121 0 -1 1077944384 120 0 0 0 1 0 0 0 20 0 16 0 414839644 11006283776 40900 33554432000 4194304 4196468 140724982961600 139943122954512 139943186274005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25858048 140724982969355 140724982969458 140724982969458 140724982972367 0
[pid=27895/tid=27899] ppid=27892 vsize=10748324 memory=988 CPUtime=0 cores=0,2,4,6
/proc/27895/task/27899/stat : 27899 (java) S 27892 27895 26121 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 16 0 414839644 11006283776 40900 33554432000 4194304 4196468 140724982961600 139943121901968 139943186274005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25858048 140724982969355 140724982969458 140724982969458 140724982972367 0
[pid=27895/tid=27900] ppid=27892 vsize=10748324 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/27895/task/27900/stat : 27900 (java) S 27892 27895 26121 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 16 0 414839644 11006283776 40900 33554432000 4194304 4196468 140724982961600 139942791342608 139943186274005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25858048 140724982969355 140724982969458 140724982969458 140724982972367 0
[pid=27895/tid=27901] ppid=27892 vsize=10748324 memory=21400 CPUtime=0 cores=0,2,4,6
/proc/27895/task/27901/stat : 27901 (java) S 27892 27895 26121 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 16 0 414839644 11006283776 40900 33554432000 4194304 4196468 140724982961600 139942790290064 139943186274005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25858048 140724982969355 140724982969458 140724982969458 140724982972367 0
[pid=27895/tid=27902] ppid=27892 vsize=10748324 memory=988 CPUtime=0.01 cores=0,2,4,6
/proc/27895/task/27902/stat : 27902 (java) S 27892 27895 26121 0 -1 1077944384 1102 0 0 0 1 0 0 0 20 0 16 0 414839645 11006283776 40900 33554432000 4194304 4196468 140724982961600 139942677969392 139943186274946 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25858048 140724982969355 140724982969458 140724982969458 140724982972367 0
[pid=27895/tid=27903] ppid=27892 vsize=10748324 memory=2012 CPUtime=0 cores=0,2,4,6
/proc/27895/task/27903/stat : 27903 (java) S 27892 27895 26121 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 414839646 11006283776 40900 33554432000 4194304 4196468 140724982961600 139942676915680 139943186274005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25858048 140724982969355 140724982969458 140724982969458 140724982972367 0
[pid=27895/tid=27904] ppid=27892 vsize=10748324 memory=1324 CPUtime=0 cores=0,2,4,6
/proc/27895/task/27904/stat : 27904 (java) S 27892 27895 26121 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 414839646 11006283776 40900 33554432000 4194304 4196468 140724982961600 139942675863040 139943186274005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25858048 140724982969355 140724982969458 140724982969458 140724982972367 0
[pid=27895/tid=27905] ppid=27892 vsize=10748324 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/27895/task/27905/stat : 27905 (java) S 27892 27895 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414839648 11006283776 40900 33554432000 4194304 4196468 140724982961600 139942674811600 139943186282395 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25858048 140724982969355 140724982969458 140724982969458 140724982972367 0
[pid=27895/tid=27906] ppid=27892 vsize=10748324 memory=1408 CPUtime=0.84 cores=0,2,4,6
/proc/27895/task/27906/stat : 27906 (java) S 27892 27895 26121 0 -1 1077944384 2425 0 0 0 84 0 0 0 20 0 16 0 414839648 11006283776 40900 33554432000 4194304 4196468 140724982961600 139942673758192 139943186274946 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25858048 140724982969355 140724982969458 140724982969458 140724982972367 0
[pid=27895/tid=27907] ppid=27892 vsize=10748324 memory=3004 CPUtime=0.91 cores=0,2,4,6
/proc/27895/task/27907/stat : 27907 (java) S 27892 27895 26121 0 -1 1077944384 2658 0 0 0 91 0 0 0 20 0 16 0 414839649 11006283776 40900 33554432000 4194304 4196468 140724982961600 139942672705648 139943186274946 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25858048 140724982969355 140724982969458 140724982969458 140724982972367 0
[pid=27895/tid=27908] ppid=27892 vsize=10748324 memory=262444 CPUtime=0.57 cores=0,2,4,6
/proc/27895/task/27908/stat : 27908 (java) S 27892 27895 26121 0 -1 1077944384 2753 0 0 0 57 0 0 0 20 0 16 0 414839649 11006283776 40900 33554432000 4194304 4196468 140724982961600 139942671653104 139943186274946 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25858048 140724982969355 140724982969458 140724982969458 140724982972367 0
[pid=27895/tid=27909] ppid=27892 vsize=10748324 memory=1408 CPUtime=0 cores=0,2,4,6
/proc/27895/task/27909/stat : 27909 (java) S 27892 27895 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414839649 11006283776 40900 33554432000 4194304 4196468 140724982961600 139942670600800 139943186274005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25858048 140724982969355 140724982969458 140724982969458 140724982972367 0
[pid=27895/tid=27910] ppid=27892 vsize=10748324 memory=2636 CPUtime=0 cores=0,2,4,6
/proc/27895/task/27910/stat : 27910 (java) S 27892 27895 26121 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 16 0 414839649 11006283776 40900 33554432000 4194304 4196468 140724982961600 139942669548336 139943186274946 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25858048 140724982969355 140724982969458 140724982969458 140724982972367 0
[pid=27895/tid=27911] ppid=27892 vsize=10748324 memory=159504 CPUtime=16.46 cores=0,2,4,6
/proc/27895/task/27911/stat : 27911 (java) R 27892 27895 26121 0 -1 4202560 5855 0 0 0 1645 1 0 0 20 0 16 0 414839833 11006283776 40900 33554432000 4194304 4196468 140724982961600 139942652768000 139942807705104 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25858048 140724982969355 140724982969458 140724982969458 140724982972367 0
Current children cumulated CPU time: 20.8 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 163600 KiB
[startup+18.8007 s]
/proc/loadavg: 1.70 1.73 1.86 3/230 27911
/proc/meminfo: memFree=31165268/32770624 swapFree=66918668/67108860
[pid=27895] ppid=27892 vsize=10748324 memory=163604 CPUtime=21.2 cores=0,2,4,6
/proc/27895/stat : 27895 (java) S 27892 27895 26121 0 -1 1077944320 32162 0 0 0 2107 13 0 0 20 0 16 0 414839643 11006283776 40901 33554432000 4194304 4196468 140724982961600 140724982944144 139943186263799 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 25858048 140724982969355 140724982969458 140724982969458 140724982972367 0
/proc/27895/statm: 2687081 40901 3346 1 0 2647217 0
[pid=27895/tid=27897] ppid=27892 vsize=10748324 memory=281211105174336 CPUtime=1.88 cores=0,2,4,6
/proc/27895/task/27897/stat : 27897 (java) S 27892 27895 26121 0 -1 1077944384 15333 0 0 0 182 6 0 0 20 0 16 0 414839643 11006283776 40901 33554432000 4194304 4196468 140724982961600 139943190506672 139943186274005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25858048 140724982969355 140724982969458 140724982969458 140724982972367 0
[pid=27895/tid=27898] ppid=27892 vsize=10748324 memory=121982574136042 CPUtime=0.01 cores=0,2,4,6
/proc/27895/task/27898/stat : 27898 (java) S 27892 27895 26121 0 -1 1077944384 120 0 0 0 1 0 0 0 20 0 16 0 414839644 11006283776 40901 33554432000 4194304 4196468 140724982961600 139943122954512 139943186274005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25858048 140724982969355 140724982969458 140724982969458 140724982972367 0
[pid=27895/tid=27899] ppid=27892 vsize=10748324 memory=11421123420 CPUtime=0 cores=0,2,4,6
/proc/27895/task/27899/stat : 27899 (java) S 27892 27895 26121 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 16 0 414839644 11006283776 40901 33554432000 4194304 4196468 140724982961600 139943121901968 139943186274005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25858048 140724982969355 140724982969458 140724982969458 140724982972367 0
[pid=27895/tid=27900] ppid=27892 vsize=10748324 memory=11421123420 CPUtime=0 cores=0,2,4,6
/proc/27895/task/27900/stat : 27900 (java) S 27892 27895 26121 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 16 0 414839644 11006283776 40901 33554432000 4194304 4196468 140724982961600 139942791342608 139943186274005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25858048 140724982969355 140724982969458 140724982969458 140724982972367 0
[pid=27895/tid=27901] ppid=27892 vsize=10748324 memory=11421123420 CPUtime=0 cores=0,2,4,6
/proc/27895/task/27901/stat : 27901 (java) S 27892 27895 26121 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 16 0 414839644 11006283776 40901 33554432000 4194304 4196468 140724982961600 139942790290064 139943186274005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25858048 140724982969355 140724982969458 140724982969458 140724982972367 0
[pid=27895/tid=27902] ppid=27892 vsize=10748324 memory=11421123421 CPUtime=0.01 cores=0,2,4,6
/proc/27895/task/27902/stat : 27902 (java) S 27892 27895 26121 0 -1 1077944384 1102 0 0 0 1 0 0 0 20 0 16 0 414839645 11006283776 40901 33554432000 4194304 4196468 140724982961600 139942677969392 139943186274946 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25858048 140724982969355 140724982969458 140724982969458 140724982972367 0
[pid=27895/tid=27903] ppid=27892 vsize=10748324 memory=11421123422 CPUtime=0 cores=0,2,4,6
/proc/27895/task/27903/stat : 27903 (java) S 27892 27895 26121 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 414839646 11006283776 40901 33554432000 4194304 4196468 140724982961600 139942676915680 139943186274005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25858048 140724982969355 140724982969458 140724982969458 140724982972367 0
[pid=27895/tid=27904] ppid=27892 vsize=10748324 memory=11421123422 CPUtime=0 cores=0,2,4,6
/proc/27895/task/27904/stat : 27904 (java) S 27892 27895 26121 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 414839646 11006283776 40901 33554432000 4194304 4196468 140724982961600 139942675863040 139943186274005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25858048 140724982969355 140724982969458 140724982969458 140724982972367 0
[pid=27895/tid=27905] ppid=27892 vsize=10748324 memory=11421123424 CPUtime=0 cores=0,2,4,6
/proc/27895/task/27905/stat : 27905 (java) S 27892 27895 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414839648 11006283776 40901 33554432000 4194304 4196468 140724982961600 139942674811600 139943186282395 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25858048 140724982969355 140724982969458 140724982969458 140724982972367 0
[pid=27895/tid=27906] ppid=27892 vsize=10748324 memory=11421123424 CPUtime=0.84 cores=0,2,4,6
/proc/27895/task/27906/stat : 27906 (java) S 27892 27895 26121 0 -1 1077944384 2428 0 0 0 84 0 0 0 20 0 16 0 414839648 11006283776 40901 33554432000 4194304 4196468 140724982961600 139942673758192 139943186274946 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25858048 140724982969355 140724982969458 140724982969458 140724982972367 0
[pid=27895/tid=27907] ppid=27892 vsize=10748324 memory=11421123425 CPUtime=0.91 cores=0,2,4,6
/proc/27895/task/27907/stat : 27907 (java) S 27892 27895 26121 0 -1 1077944384 2661 0 0 0 91 0 0 0 20 0 16 0 414839649 11006283776 40901 33554432000 4194304 4196468 140724982961600 139942672705648 139943186274946 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25858048 140724982969355 140724982969458 140724982969458 140724982972367 0
[pid=27895/tid=27908] ppid=27892 vsize=10748324 memory=11421123425 CPUtime=0.57 cores=0,2,4,6
/proc/27895/task/27908/stat : 27908 (java) S 27892 27895 26121 0 -1 1077944384 3015 0 0 0 57 0 0 0 20 0 16 0 414839649 11006283776 40901 33554432000 4194304 4196468 140724982961600 139942671653104 139943186274946 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25858048 140724982969355 140724982969458 140724982969458 140724982972367 0
[pid=27895/tid=27909] ppid=27892 vsize=10748324 memory=11421123425 CPUtime=0 cores=0,2,4,6
/proc/27895/task/27909/stat : 27909 (java) S 27892 27895 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414839649 11006283776 40901 33554432000 4194304 4196468 140724982961600 139942670600800 139943186274005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25858048 140724982969355 140724982969458 140724982969458 140724982972367 0
[pid=27895/tid=27910] ppid=27892 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27895/task/27910/stat : 27910 (java) S 27892 27895 26121 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 16 0 414839649 11006283776 40901 33554432000 4194304 4196468 140724982961600 139942669548336 139943186274946 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25858048 140724982969355 140724982969458 140724982969458 140724982972367 0
[pid=27895/tid=27911] ppid=27892 vsize=10748324 memory=7306316804797196914 CPUtime=16.86 cores=0,2,4,6
/proc/27895/task/27911/stat : 27911 (java) R 27892 27895 26121 0 -1 4202560 5873 0 0 0 1685 1 0 0 20 0 16 0 414839833 11006283776 40901 33554432000 4194304 4196468 140724982961600 139942652768000 139942807887459 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25858048 140724982969355 140724982969458 140724982969458 140724982972367 0
Current children cumulated CPU time: 21.2 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 163604 KiB
[startup+19.2007 s]
/proc/loadavg: 1.73 1.74 1.86 3/230 27911
/proc/meminfo: memFree=31165268/32770624 swapFree=66918668/67108860
[pid=27895] ppid=27892 vsize=10748324 memory=165652 CPUtime=21.6 cores=0,2,4,6
/proc/27895/stat : 27895 (java) S 27892 27895 26121 0 -1 1077944320 32163 0 0 0 2147 13 0 0 20 0 16 0 414839643 11006283776 41413 33554432000 4194304 4196468 140724982961600 140724982944144 139943186263799 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 25858048 140724982969355 140724982969458 140724982969458 140724982972367 0
/proc/27895/statm: 2687081 41413 3346 1 0 2647217 0
[pid=27895/tid=27897] ppid=27892 vsize=10748324 memory=6791534058613427641 CPUtime=1.88 cores=0,2,4,6
/proc/27895/task/27897/stat : 27897 (java) S 27892 27895 26121 0 -1 1077944384 15333 0 0 0 182 6 0 0 20 0 16 0 414839643 11006283776 41413 33554432000 4194304 4196468 140724982961600 139943190506672 139943186274005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25858048 140724982969355 140724982969458 140724982969458 140724982972367 0
[pid=27895/tid=27898] ppid=27892 vsize=10748324 memory=159504 CPUtime=0.01 cores=0,2,4,6
/proc/27895/task/27898/stat : 27898 (java) S 27892 27895 26121 0 -1 1077944384 120 0 0 0 1 0 0 0 20 0 16 0 414839644 11006283776 41413 33554432000 4194304 4196468 140724982961600 139943122954512 139943186274005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25858048 140724982969355 140724982969458 140724982969458 140724982972367 0
[pid=27895/tid=27899] ppid=27892 vsize=10748324 memory=161552 CPUtime=0 cores=0,2,4,6
/proc/27895/task/27899/stat : 27899 (java) S 27892 27895 26121 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 16 0 414839644 11006283776 41413 33554432000 4194304 4196468 140724982961600 139943121901968 139943186274005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25858048 140724982969355 140724982969458 140724982969458 140724982972367 0
[pid=27895/tid=27900] ppid=27892 vsize=10748324 memory=159504 CPUtime=0 cores=0,2,4,6
/proc/27895/task/27900/stat : 27900 (java) S 27892 27895 26121 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 16 0 414839644 11006283776 41413 33554432000 4194304 4196468 140724982961600 139942791342608 139943186274005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25858048 140724982969355 140724982969458 140724982969458 140724982972367 0
[pid=27895/tid=27901] ppid=27892 vsize=10748324 memory=281211104679648 CPUtime=0 cores=0,2,4,6
/proc/27895/task/27901/stat : 27901 (java) S 27892 27895 26121 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 16 0 414839644 11006283776 41413 33554432000 4194304 4196468 140724982961600 139942790290064 139943186274005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25858048 140724982969355 140724982969458 140724982969458 140724982972367 0
[pid=27895/tid=27902] ppid=27892 vsize=10748324 memory=8929 CPUtime=0.01 cores=0,2,4,6
/proc/27895/task/27902/stat : 27902 (java) S 27892 27895 26121 0 -1 1077944384 1102 0 0 0 1 0 0 0 20 0 16 0 414839645 11006283776 41413 33554432000 4194304 4196468 140724982961600 139942677969392 139943186274946 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25858048 140724982969355 140724982969458 140724982969458 140724982972367 0
[pid=27895/tid=27903] ppid=27892 vsize=10748324 memory=4420 CPUtime=0 cores=0,2,4,6
/proc/27895/task/27903/stat : 27903 (java) S 27892 27895 26121 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 414839646 11006283776 41413 33554432000 4194304 4196468 140724982961600 139942676915680 139943186274005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25858048 140724982969355 140724982969458 140724982969458 140724982972367 0
[pid=27895/tid=27904] ppid=27892 vsize=10748324 memory=6628 CPUtime=0 cores=0,2,4,6
/proc/27895/task/27904/stat : 27904 (java) S 27892 27895 26121 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 414839646 11006283776 41413 33554432000 4194304 4196468 140724982961600 139942675863040 139943186274005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25858048 140724982969355 140724982969458 140724982969458 140724982972367 0
[pid=27895/tid=27905] ppid=27892 vsize=10748324 memory=8836 CPUtime=0 cores=0,2,4,6
/proc/27895/task/27905/stat : 27905 (java) S 27892 27895 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414839648 11006283776 41413 33554432000 4194304 4196468 140724982961600 139942674811600 139943186282395 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25858048 140724982969355 140724982969458 140724982969458 140724982972367 0
[pid=27895/tid=27906] ppid=27892 vsize=10748324 memory=0 CPUtime=0.84 cores=0,2,4,6
/proc/27895/task/27906/stat : 27906 (java) S 27892 27895 26121 0 -1 1077944384 2428 0 0 0 84 0 0 0 20 0 16 0 414839648 11006283776 41413 33554432000 4194304 4196468 140724982961600 139942673758192 139943186274946 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25858048 140724982969355 140724982969458 140724982969458 140724982972367 0
[pid=27895/tid=27907] ppid=27892 vsize=10748324 memory=4420 CPUtime=0.91 cores=0,2,4,6
/proc/27895/task/27907/stat : 27907 (java) S 27892 27895 26121 0 -1 1077944384 2661 0 0 0 91 0 0 0 20 0 16 0 414839649 11006283776 41413 33554432000 4194304 4196468 140724982961600 139942672705648 139943186274946 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25858048 140724982969355 140724982969458 140724982969458 140724982972367 0
[pid=27895/tid=27908] ppid=27892 vsize=10748324 memory=6628 CPUtime=0.57 cores=0,2,4,6
/proc/27895/task/27908/stat : 27908 (java) S 27892 27895 26121 0 -1 1077944384 3015 0 0 0 57 0 0 0 20 0 16 0 414839649 11006283776 41413 33554432000 4194304 4196468 140724982961600 139942671653104 139943186274946 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25858048 140724982969355 140724982969458 140724982969458 140724982972367 0
[pid=27895/tid=27909] ppid=27892 vsize=10748324 memory=163604 CPUtime=0 cores=0,2,4,6
/proc/27895/task/27909/stat : 27909 (java) S 27892 27895 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414839649 11006283776 41413 33554432000 4194304 4196468 140724982961600 139942670600800 139943186274005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25858048 140724982969355 140724982969458 140724982969458 140724982972367 0
[pid=27895/tid=27910] ppid=27892 vsize=10748324 memory=8317482817917895235 CPUtime=0 cores=0,2,4,6
/proc/27895/task/27910/stat : 27910 (java) S 27892 27895 26121 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 16 0 414839649 11006283776 41413 33554432000 4194304 4196468 140724982961600 139942669548336 139943186274946 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25858048 140724982969355 140724982969458 140724982969458 140724982972367 0
[pid=27895/tid=27911] ppid=27892 vsize=10748324 memory=4126316290023845779 CPUtime=17.26 cores=0,2,4,6
/proc/27895/task/27911/stat : 27911 (java) R 27892 27895 26121 0 -1 4202560 5874 0 0 0 1725 1 0 0 20 0 16 0 414839833 11006283776 41413 33554432000 4194304 4196468 140724982961600 139942652768000 139942807766447 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25858048 140724982969355 140724982969458 140724982969458 140724982972367 0
Current children cumulated CPU time: 21.6 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 165652 KiB
Child status: 0
Real time (s): 19.244
CPU time (s): 21.6544
CPU user time (s): 21.514
CPU system time (s): 0.140384
CPU usage (%): 112.526
Max. virtual memory (cumulated for all children) (KiB): 10748324
Max. memory (cumulated for all children) (KiB): 165652
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 21.514
system time used= 0.140384
maximum resident set size= 170256
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33795
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3076
involuntary context switches= 37
# summary of solver processes directly reported to runsolver:
# pid: 27895
# total CPU time (s): 21.6544
# total CPU user time (s): 21.514
# total CPU system time (s): 0.140384
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.146466 second user time and 0.22055 second system time
The end