2.59/1.91
2.59/1.91 AbsCon 2
2.59/1.93
2.85/2.06 Instance
2.85/2.06 name=instance-4390965-1568380556, framework=COP, bounds=-infty..+infty
2.85/2.06
2.85/2.06 Loading variables...
2.85/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@45c9e0c9
2.85/2.10 Loading constraints...[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2849ac85
2.85/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@59062035
2.85/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@30aaf997
2.85/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3c42be11
3.12/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1c37a809
3.12/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@865ac4d
3.12/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@66cfd9ba
3.12/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1321987b
3.12/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@61a688a
3.12/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a805296
3.12/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a805296
3.12/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a805296
3.12/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a805296
3.12/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a805296
3.12/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a805296
3.12/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a805296
3.12/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a805296
3.12/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a805296
3.12/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@245c5921
3.12/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@245c5921
3.12/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@245c5921
3.12/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@245c5921
3.12/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@245c5921
3.12/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@245c5921
3.12/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@245c5921
3.12/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@245c5921
3.12/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@47932264
3.12/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@47932264
3.12/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@47932264
3.12/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@47932264
3.12/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@47932264
3.12/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@47932264
3.12/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@47932264
3.12/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7495071
3.12/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7495071
3.12/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7495071
3.12/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7495071
3.12/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7495071
3.12/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7495071
3.12/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7a115b2b
3.12/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7a115b2b
3.12/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7a115b2b
3.12/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7a115b2b
3.12/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7a115b2b
3.12/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7490711
3.12/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7490711
3.12/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7490711
3.12/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7490711
3.12/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e665e12
3.12/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e665e12
3.12/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e665e12
3.12/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2e4ff06d
3.12/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2e4ff06d
3.12/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6b4c35c3
3.41/2.21
3.41/2.21
3.41/2.21 Domains
3.41/2.21 nTypes=2, nValues=650, sizes=[2#310,30#1]
3.41/2.21 Variables
3.41/2.21 count=311, degrees=[12#4,13#74,14#232,46#1]
3.41/2.21 Objectives
3.41/2.21 way=min, type=ObjVarLE
3.41/2.21 Constraints
3.41/2.21 count=95, nSpecific=95, arities=[1#1,20#30,31#10,62#9,63#45]
3.41/2.21 distribution=[LexicographicLe#39,ObjVarLE#1,SumScalarBooleanLEVar#45,SumSimpleEQ#10]
3.41/2.21 wck=0.324, cpu=2.175, mem=26M516
3.41/2.21 Solver SolverBacktrack being built...
3.41/2.21
3.41/2.24
3.41/2.24 Solver
3.41/2.24 guaranteedGAC=true
3.41/2.24 wck=0.356, cpu=2.205, mem=37M158
3.41/2.24
3.41/2.24 Preprocessing
3.41/2.24 filters=0, nACremovedValues=0, nTotalRemovedValues=0, inconcistency=false
3.41/2.24 wck=0.007, cpu=2.214, mem=37M158
3.41/2.24
3.41/2.26 num=0, depth=38..103, filters=122, wck=0.024, mem=37M158
3.41/2.26 decisions=147, wrong=24, backtracks=22, failedAssignments=10, nogoods=2
3.41/2.26
3.41/2.29 o 9
3.41/2.29 num=1, depth=4..310, filters=411, ccks=95, wck=0.055, mem=39M801
3.41/2.29 decisions=242, wrong=33, backtracks=24, failedAssignments=17, nogoods=9, foundSolutions=1, bestBound=9
3.41/2.29
3.72/2.31 num=2, depth=6..71, filters=786, ccks=95, wck=0.07, mem=39M801
3.72/2.31 decisions=346, wrong=53, backtracks=33, failedAssignments=29, nogoods=17, foundSolutions=1, bestBound=9
3.72/2.31
3.72/2.31 num=3, depth=1..25, filters=988, ccks=95, wck=0.076, mem=39M801
3.72/2.31 decisions=410, wrong=76, backtracks=48, failedAssignments=40, nogoods=22, foundSolutions=1, bestBound=9
3.72/2.31
3.72/2.32 num=4, depth=1..15, filters=1319, ccks=95, wck=0.084, mem=39M801
3.72/2.32 decisions=469, wrong=104, backtracks=68, failedAssignments=52, nogoods=27, foundSolutions=1, bestBound=9
3.72/2.32
3.72/2.33 num=5, depth=1..45, filters=1549, ccks=95, wck=0.093, mem=39M801
3.72/2.33 decisions=532, wrong=119, backtracks=71, failedAssignments=65, nogoods=39, foundSolutions=1, bestBound=9
3.72/2.33
3.72/2.34 o 8
3.72/2.34 num=6, depth=1..310, filters=1721, ccks=190, wck=0.105, mem=39M801
3.72/2.34 decisions=643, wrong=128, backtracks=71, failedAssignments=74, nogoods=48, foundSolutions=2, bestBound=8
3.72/2.34
3.72/2.35 num=7, depth=1..45, filters=1985, ccks=190, wck=0.117, mem=39M801
3.72/2.35 decisions=725, wrong=151, backtracks=83, failedAssignments=90, nogoods=58, foundSolutions=2, bestBound=8
3.72/2.35
3.72/2.36 num=8, depth=1..49, filters=2261, ccks=190, wck=0.126, mem=39M801
3.72/2.36 decisions=795, wrong=167, backtracks=89, failedAssignments=101, nogoods=65, foundSolutions=2, bestBound=8
3.72/2.36
3.72/2.37 num=9, depth=1..101, filters=2427, ccks=190, wck=0.135, mem=39M801
3.72/2.37 decisions=909, wrong=179, backtracks=89, failedAssignments=113, nogoods=77, foundSolutions=2, bestBound=8
3.72/2.37
3.72/2.38 num=10, depth=2..23, filters=2577, ccks=190, wck=0.14, mem=39M801
3.72/2.38 decisions=956, wrong=197, backtracks=96, failedAssignments=126, nogoods=84, foundSolutions=2, bestBound=8
3.72/2.38
3.72/2.38 num=11, depth=1..88, filters=2842, ccks=190, wck=0.145, mem=39M801
3.72/2.38 decisions=1066, wrong=215, backtracks=100, failedAssignments=140, nogoods=95, foundSolutions=2, bestBound=8
3.72/2.38
3.72/2.39 o 7
3.72/2.39 num=12, depth=1..310, filters=3047, ccks=285, wck=0.152, mem=39M801
3.72/2.39 decisions=1214, wrong=228, backtracks=100, failedAssignments=153, nogoods=108, foundSolutions=3, bestBound=7
3.72/2.39
3.72/2.39 num=13, depth=5..25, filters=3176, ccks=285, wck=0.155, mem=39M801
3.72/2.39 decisions=1271, wrong=248, backtracks=118, failedAssignments=170, nogoods=112, foundSolutions=3, bestBound=7
3.72/2.39
3.72/2.39 num=14, depth=12..32, filters=3356, ccks=285, wck=0.158, mem=39M801
3.72/2.39 decisions=1319, wrong=260, backtracks=123, failedAssignments=181, nogoods=119, foundSolutions=3, bestBound=7
3.72/2.39
4.04/2.40 num=15, depth=12..92, filters=3561, ccks=285, wck=0.162, mem=39M801
4.04/2.40 decisions=1427, wrong=273, backtracks=125, failedAssignments=193, nogoods=130, foundSolutions=3, bestBound=7
4.04/2.40
4.04/2.40 num=16, depth=1..120, filters=3750, ccks=285, wck=0.166, mem=39M801
4.04/2.40 decisions=1563, wrong=287, backtracks=126, failedAssignments=206, nogoods=143, foundSolutions=3, bestBound=7
4.04/2.40
4.04/2.41 num=17, depth=3..34, filters=4130, ccks=285, wck=0.17, mem=39M801
4.04/2.41 decisions=1649, wrong=316, backtracks=148, failedAssignments=220, nogoods=150, foundSolutions=3, bestBound=7
4.04/2.41
4.04/2.41 num=18, depth=7..35, filters=4576, ccks=285, wck=0.175, mem=39M801
4.04/2.41 decisions=1742, wrong=350, backtracks=172, failedAssignments=236, nogoods=159, foundSolutions=3, bestBound=7
4.04/2.41
4.04/2.42 num=19, depth=1..29, filters=5297, ccks=285, wck=0.181, mem=39M801
4.04/2.42 decisions=1855, wrong=399, backtracks=213, failedAssignments=253, nogoods=163, foundSolutions=3, bestBound=7
4.04/2.42
4.04/2.42 num=20, depth=3..81, filters=5680, ccks=285, wck=0.187, mem=39M801
4.04/2.42 decisions=1985, wrong=429, backtracks=231, failedAssignments=272, nogoods=175, foundSolutions=3, bestBound=7
4.04/2.42
4.04/2.43 num=21, depth=12..55, filters=5913, ccks=285, wck=0.19, mem=39M801
4.04/2.43 decisions=2079, wrong=455, backtracks=246, failedAssignments=293, nogoods=187, foundSolutions=3, bestBound=7
4.04/2.43
4.04/2.43 num=22, depth=14..70, filters=6178, ccks=285, wck=0.194, mem=39M801
4.04/2.43 decisions=2199, wrong=486, backtracks=266, failedAssignments=316, nogoods=195, foundSolutions=3, bestBound=7
4.04/2.43
4.04/2.43 o 6
4.04/2.44 num=23, depth=5..310, filters=6334, ccks=380, wck=0.2, mem=39M801
4.04/2.44 decisions=2355, wrong=497, backtracks=266, failedAssignments=327, nogoods=206, foundSolutions=4, bestBound=6
4.04/2.44
4.04/2.44 num=24, depth=6..93, filters=6479, ccks=380, wck=0.203, mem=39M801
4.04/2.44 decisions=2495, wrong=528, backtracks=287, failedAssignments=355, nogoods=216, foundSolutions=4, bestBound=6
4.04/2.44
4.04/2.44 num=25, depth=3..33, filters=6672, ccks=380, wck=0.206, mem=39M801
4.04/2.44 decisions=2556, wrong=546, backtracks=300, failedAssignments=366, nogoods=222, foundSolutions=4, bestBound=6
4.04/2.44
4.04/2.44 num=26, depth=1..31, filters=6862, ccks=380, wck=0.208, mem=39M801
4.04/2.44 decisions=2621, wrong=568, backtracks=317, failedAssignments=378, nogoods=228, foundSolutions=4, bestBound=6
4.04/2.44
4.04/2.45 num=27, depth=1..30, filters=7331, ccks=380, wck=0.213, mem=39M801
4.04/2.45 decisions=2714, wrong=606, backtracks=349, failedAssignments=391, nogoods=233, foundSolutions=4, bestBound=6
4.04/2.45
4.04/2.45 num=28, depth=1..77, filters=7567, ccks=380, wck=0.217, mem=39M801
4.04/2.45 decisions=2823, wrong=626, backtracks=359, failedAssignments=405, nogoods=242, foundSolutions=4, bestBound=6
4.04/2.45
4.04/2.46 num=29, depth=1..101, filters=7788, ccks=380, wck=0.22, mem=39M801
4.04/2.46 decisions=2951, wrong=646, backtracks=366, failedAssignments=421, nogoods=255, foundSolutions=4, bestBound=6
4.04/2.46
4.04/2.46 num=30, depth=1..102, filters=8018, ccks=380, wck=0.225, mem=39M801
4.04/2.46 decisions=3076, wrong=667, backtracks=372, failedAssignments=438, nogoods=270, foundSolutions=4, bestBound=6
4.04/2.46
4.04/2.46 num=31, depth=1..89, filters=8234, ccks=380, wck=0.228, mem=39M801
4.04/2.46 decisions=3193, wrong=689, backtracks=378, failedAssignments=457, nogoods=285, foundSolutions=4, bestBound=6
4.04/2.46
4.04/2.47 num=32, depth=2..109, filters=8479, ccks=380, wck=0.233, mem=39M801
4.04/2.47 decisions=3340, wrong=715, backtracks=391, failedAssignments=478, nogoods=298, foundSolutions=4, bestBound=6
4.04/2.47
4.04/2.47 num=33, depth=3..97, filters=8729, ccks=380, wck=0.237, mem=39M801
4.04/2.47 decisions=3468, wrong=741, backtracks=398, failedAssignments=501, nogoods=316, foundSolutions=4, bestBound=6
4.04/2.47
4.04/2.48 num=34, depth=10..95, filters=8995, ccks=380, wck=0.241, mem=39M801
4.04/2.48 decisions=3614, wrong=774, backtracks=418, failedAssignments=526, nogoods=327, foundSolutions=4, bestBound=6
4.04/2.48
4.04/2.48 num=35, depth=3..96, filters=9285, ccks=380, wck=0.246, mem=39M801
4.04/2.48 decisions=3765, wrong=810, backtracks=430, failedAssignments=554, nogoods=345, foundSolutions=4, bestBound=6
4.04/2.48
4.04/2.49 num=36, depth=4..87, filters=9674, ccks=380, wck=0.251, mem=39M801
4.04/2.49 decisions=3925, wrong=860, backtracks=456, failedAssignments=585, nogoods=360, foundSolutions=4, bestBound=6
4.04/2.49
4.04/2.49 o 5
4.04/2.50 num=37, depth=6..310, filters=9967, ccks=475, wck=0.258, mem=39M801
4.04/2.50 decisions=4137, wrong=900, backtracks=474, failedAssignments=618, nogoods=382, foundSolutions=5, bestBound=5
4.04/2.50
4.35/2.50 o 4
4.35/2.50 num=38, depth=10..310, filters=10187, ccks=570, wck=0.266, mem=39M801
4.35/2.50 decisions=4365, wrong=944, backtracks=507, failedAssignments=645, nogoods=392, foundSolutions=6, bestBound=4
4.35/2.50
4.35/2.50 num=39, depth=3..32, filters=10308, ccks=570, wck=0.268, mem=42M443
4.35/2.50 decisions=4415, wrong=957, backtracks=511, failedAssignments=656, nogoods=401, foundSolutions=6, bestBound=4
4.35/2.50
4.35/2.51 num=40, depth=4..31, filters=10434, ccks=570, wck=0.27, mem=42M443
4.35/2.51 decisions=4463, wrong=970, backtracks=514, failedAssignments=667, nogoods=411, foundSolutions=6, bestBound=4
4.35/2.51
4.35/2.51 num=41, depth=14..34, filters=10656, ccks=570, wck=0.273, mem=42M443
4.35/2.51 decisions=4546, wrong=998, backtracks=536, failedAssignments=679, nogoods=417, foundSolutions=6, bestBound=4
4.35/2.51
4.35/2.51 num=42, depth=1..34, filters=10955, ccks=570, wck=0.276, mem=42M443
4.35/2.51 decisions=4619, wrong=1022, backtracks=552, failedAssignments=692, nogoods=424, foundSolutions=6, bestBound=4
4.35/2.51
4.35/2.51 num=43, depth=6..29, filters=11119, ccks=570, wck=0.278, mem=42M443
4.35/2.51 decisions=4686, wrong=1043, backtracks=568, failedAssignments=706, nogoods=428, foundSolutions=6, bestBound=4
4.35/2.51
4.35/2.52 num=44, depth=1..39, filters=11451, ccks=570, wck=0.282, mem=42M443
4.35/2.52 decisions=4776, wrong=1076, backtracks=593, failedAssignments=722, nogoods=434, foundSolutions=6, bestBound=4
4.35/2.52
4.35/2.52 num=45, depth=3..32, filters=11647, ccks=570, wck=0.285, mem=42M443
4.35/2.52 decisions=4848, wrong=1101, backtracks=608, failedAssignments=739, nogoods=444, foundSolutions=6, bestBound=4
4.35/2.52
4.35/2.53 num=46, depth=16..28, filters=12201, ccks=570, wck=0.291, mem=42M443
4.35/2.53 decisions=4982, wrong=1155, backtracks=654, failedAssignments=758, nogoods=447, foundSolutions=6, bestBound=4
4.35/2.53
4.35/2.53 num=47, depth=3..30, filters=12495, ccks=570, wck=0.294, mem=42M443
4.35/2.53 decisions=5074, wrong=1193, backtracks=686, failedAssignments=779, nogoods=452, foundSolutions=6, bestBound=4
4.35/2.53
4.35/2.54 num=48, depth=2..52, filters=12945, ccks=570, wck=0.299, mem=42M443
4.35/2.54 decisions=5204, wrong=1237, backtracks=719, failedAssignments=802, nogoods=457, foundSolutions=6, bestBound=4
4.35/2.54
4.35/2.54 num=49, depth=1..70, filters=13171, ccks=570, wck=0.302, mem=42M443
4.35/2.54 decisions=5359, wrong=1285, backtracks=757, failedAssignments=827, nogoods=467, foundSolutions=6, bestBound=4
4.35/2.54
4.35/2.54 num=50, depth=3..61, filters=13472, ccks=570, wck=0.305, mem=42M443
4.35/2.54 decisions=5505, wrong=1336, backtracks=792, failedAssignments=855, nogoods=481, foundSolutions=6, bestBound=4
4.35/2.54
4.35/2.55 num=51, depth=2..37, filters=14101, ccks=570, wck=0.31, mem=42M443
4.35/2.55 decisions=5678, wrong=1411, backtracks=858, failedAssignments=886, nogoods=488, foundSolutions=6, bestBound=4
4.35/2.55
4.35/2.55 num=52, depth=1..52, filters=14514, ccks=570, wck=0.314, mem=42M443
4.35/2.55 decisions=5852, wrong=1482, backtracks=910, failedAssignments=920, nogoods=497, foundSolutions=6, bestBound=4
4.35/2.55
4.35/2.55 num=53, depth=2..37, filters=14925, ccks=570, wck=0.318, mem=42M443
4.35/2.55 decisions=6013, wrong=1551, backtracks=964, failedAssignments=957, nogoods=509, foundSolutions=6, bestBound=4
4.35/2.55
4.35/2.56 num=54, depth=1..117, filters=15261, ccks=570, wck=0.322, mem=42M443
4.35/2.56 decisions=6234, wrong=1613, backtracks=1009, failedAssignments=998, nogoods=525, foundSolutions=6, bestBound=4
4.35/2.56
4.35/2.56 num=55, depth=5..72, filters=15674, ccks=570, wck=0.327, mem=42M443
4.35/2.56 decisions=6472, wrong=1705, backtracks=1080, failedAssignments=1043, nogoods=541, foundSolutions=6, bestBound=4
4.35/2.56
4.35/2.57 num=56, depth=7..37, filters=16650, ccks=570, wck=0.334, mem=42M443
4.35/2.57 decisions=6722, wrong=1821, backtracks=1180, failedAssignments=1093, nogoods=546, foundSolutions=6, bestBound=4
4.35/2.57
4.35/2.58 num=57, depth=1..99, filters=17228, ccks=570, wck=0.339, mem=42M443
4.35/2.58 decisions=7027, wrong=1935, backtracks=1273, failedAssignments=1148, nogoods=560, foundSolutions=6, bestBound=4
4.35/2.58
4.35/2.58 num=58, depth=1..60, filters=17627, ccks=570, wck=0.342, mem=42M443
4.35/2.58 decisions=7263, wrong=2032, backtracks=1352, failedAssignments=1209, nogoods=576, foundSolutions=6, bestBound=4
4.35/2.58
4.35/2.59 num=59, depth=7..90, filters=18526, ccks=570, wck=0.349, mem=42M443
4.35/2.59 decisions=7645, wrong=2188, backtracks=1485, failedAssignments=1276, nogoods=593, foundSolutions=6, bestBound=4
4.35/2.59
4.35/2.59 num=60, depth=1..157, filters=19007, ccks=570, wck=0.353, mem=42M443
4.35/2.59 decisions=8046, wrong=2323, backtracks=1573, failedAssignments=1350, nogoods=618, foundSolutions=6, bestBound=4
4.35/2.59
4.35/2.60 num=61, depth=2..99, filters=19721, ccks=570, wck=0.359, mem=42M443
4.35/2.60 decisions=8521, wrong=2521, backtracks=1749, failedAssignments=1431, nogoods=639, foundSolutions=6, bestBound=4
4.35/2.60
4.66/2.60 num=62, depth=1..99, filters=20294, ccks=570, wck=0.363, mem=42M443
4.66/2.60 decisions=8890, wrong=2670, backtracks=1883, failedAssignments=1520, nogoods=652, foundSolutions=6, bestBound=4
4.66/2.60
4.66/2.61 num=63, depth=1..92, filters=21090, ccks=570, wck=0.369, mem=42M443
4.66/2.61 decisions=9436, wrong=2908, backtracks=2106, failedAssignments=1618, nogoods=667, foundSolutions=6, bestBound=4
4.66/2.61
4.66/2.61 num=64, depth=1..63, filters=22394, ccks=570, wck=0.376, mem=42M443
4.66/2.61 decisions=9981, wrong=3157, backtracks=2326, failedAssignments=1726, nogoods=681, foundSolutions=6, bestBound=4
4.66/2.61
4.66/2.62 num=65, depth=1..96, filters=23880, ccks=570, wck=0.385, mem=42M443
4.66/2.62 decisions=10509, wrong=3388, backtracks=2536, failedAssignments=1845, nogoods=695, foundSolutions=6, bestBound=4
4.66/2.62
4.66/2.63 num=66, depth=4..59, filters=25439, ccks=570, wck=0.392, mem=42M443
4.66/2.63 decisions=11042, wrong=3635, backtracks=2765, failedAssignments=1976, nogoods=708, foundSolutions=6, bestBound=4
4.66/2.63
4.66/2.64 num=67, depth=2..58, filters=27264, ccks=570, wck=0.402, mem=42M443
4.66/2.64 decisions=11727, wrong=3958, backtracks=3051, failedAssignments=2120, nogoods=726, foundSolutions=6, bestBound=4
4.66/2.64
4.66/2.64 num=68, depth=2..121, filters=28350, ccks=570, wck=0.408, mem=42M443
4.66/2.64 decisions=12377, wrong=4240, backtracks=3299, failedAssignments=2278, nogoods=745, foundSolutions=6, bestBound=4
4.66/2.64
4.66/2.66 num=69, depth=5..54, filters=30798, ccks=570, wck=0.42, mem=42M443
4.66/2.66 decisions=13220, wrong=4645, backtracks=3683, failedAssignments=2452, nogoods=754, foundSolutions=6, bestBound=4
4.66/2.66
4.66/2.67 num=70, depth=12..149, filters=32794, ccks=570, wck=0.432, mem=42M443
4.66/2.67 decisions=14018, wrong=4981, backtracks=3976, failedAssignments=2643, nogoods=773, foundSolutions=6, bestBound=4
4.66/2.67
4.66/2.68 num=71, depth=2..63, filters=35981, ccks=570, wck=0.447, mem=42M443
4.66/2.68 decisions=14971, wrong=5436, backtracks=4396, failedAssignments=2854, nogoods=786, foundSolutions=6, bestBound=4
4.66/2.68
4.66/2.70 num=72, depth=1..142, filters=38588, ccks=570, wck=0.46, mem=45M86
4.66/2.70 decisions=16061, wrong=5923, backtracks=4802, failedAssignments=3086, nogoods=814, foundSolutions=6, bestBound=4
4.66/2.70
4.96/2.71 num=73, depth=1..67, filters=42074, ccks=570, wck=0.475, mem=45M86
4.96/2.71 decisions=17293, wrong=6520, backtracks=5373, failedAssignments=3341, nogoods=828, foundSolutions=6, bestBound=4
4.96/2.71
4.96/2.73 num=74, depth=4..53, filters=46543, ccks=570, wck=0.494, mem=45M86
4.96/2.73 decisions=18593, wrong=7153, backtracks=5961, failedAssignments=3622, nogoods=841, foundSolutions=6, bestBound=4
4.96/2.73
4.96/2.75 num=75, depth=6..72, filters=50651, ccks=570, wck=0.512, mem=45M86
4.96/2.75 decisions=19846, wrong=7761, backtracks=6541, failedAssignments=3931, nogoods=852, foundSolutions=6, bestBound=4
4.96/2.75
4.96/2.77 num=76, depth=5..108, filters=55282, ccks=570, wck=0.53, mem=45M86
4.96/2.77 decisions=21255, wrong=8425, backtracks=7152, failedAssignments=4271, nogoods=872, foundSolutions=6, bestBound=4
4.96/2.77
4.96/2.79 num=77, depth=5..116, filters=60025, ccks=570, wck=0.55, mem=45M86
4.96/2.79 decisions=23031, wrong=9272, backtracks=7960, failedAssignments=4645, nogoods=903, foundSolutions=6, bestBound=4
4.96/2.79
5.09/2.81 num=78, depth=7..89, filters=65144, ccks=570, wck=0.573, mem=45M86
5.09/2.81 decisions=25133, wrong=10291, backtracks=8911, failedAssignments=5056, nogoods=921, foundSolutions=6, bestBound=4
5.09/2.81
5.09/2.83 num=79, depth=5..59, filters=70234, ccks=570, wck=0.594, mem=45M86
5.09/2.83 decisions=27060, wrong=11235, backtracks=9816, failedAssignments=5508, nogoods=931, foundSolutions=6, bestBound=4
5.09/2.83
5.09/2.87 o 3
5.09/2.87 num=80, depth=4..310, filters=75899, ccks=665, wck=0.622, mem=45M86
5.09/2.87 decisions=29142, wrong=12215, backtracks=10666, failedAssignments=5989, nogoods=958, foundSolutions=7, bestBound=3
5.09/2.87
5.09/2.89 num=81, depth=9..71, filters=82646, ccks=665, wck=0.652, mem=45M86
5.09/2.89 decisions=31609, wrong=13428, backtracks=11827, failedAssignments=6536, nogoods=973, foundSolutions=7, bestBound=3
5.09/2.89
5.09/2.89 num=82, depth=2..47, filters=82799, ccks=665, wck=0.654, mem=45M86
5.09/2.89 decisions=31676, wrong=13443, backtracks=11834, failedAssignments=6547, nogoods=980, foundSolutions=7, bestBound=3
5.09/2.89
5.09/2.89 num=83, depth=2..46, filters=82969, ccks=665, wck=0.655, mem=45M86
5.09/2.89 decisions=31748, wrong=13462, backtracks=11846, failedAssignments=6559, nogoods=986, foundSolutions=7, bestBound=3
5.09/2.89
5.09/2.89 num=84, depth=2..46, filters=83152, ccks=665, wck=0.657, mem=45M86
5.09/2.89 decisions=31830, wrong=13486, backtracks=11861, failedAssignments=6572, nogoods=991, foundSolutions=7, bestBound=3
5.09/2.89
5.09/2.89 num=85, depth=5..49, filters=83303, ccks=665, wck=0.658, mem=45M86
5.09/2.89 decisions=31910, wrong=13508, backtracks=11877, failedAssignments=6586, nogoods=994, foundSolutions=7, bestBound=3
5.09/2.89
5.09/2.89 num=86, depth=2..53, filters=83488, ccks=665, wck=0.659, mem=47M728
5.09/2.89 decisions=31996, wrong=13534, backtracks=11892, failedAssignments=6602, nogoods=1002, foundSolutions=7, bestBound=3
5.09/2.89
5.09/2.90 num=87, depth=2..53, filters=83681, ccks=665, wck=0.66, mem=47M728
5.09/2.90 decisions=32083, wrong=13559, backtracks=11906, failedAssignments=6619, nogoods=1010, foundSolutions=7, bestBound=3
5.09/2.90
5.21/2.90 num=88, depth=2..54, filters=83904, ccks=665, wck=0.662, mem=47M728
5.21/2.90 decisions=32178, wrong=13586, backtracks=11918, failedAssignments=6638, nogoods=1023, foundSolutions=7, bestBound=3
5.21/2.90
5.21/2.90 num=89, depth=3..57, filters=84079, ccks=665, wck=0.663, mem=47M728
5.21/2.90 decisions=32274, wrong=13613, backtracks=11933, failedAssignments=6659, nogoods=1034, foundSolutions=7, bestBound=3
5.21/2.90
5.21/2.90 num=90, depth=36..47, filters=84371, ccks=665, wck=0.665, mem=47M728
5.21/2.90 decisions=32416, wrong=13665, backtracks=11977, failedAssignments=6682, nogoods=1036, foundSolutions=7, bestBound=3
5.21/2.90
5.21/2.90 num=91, depth=4..53, filters=84659, ccks=665, wck=0.667, mem=47M728
5.21/2.90 decisions=32562, wrong=13718, backtracks=12021, failedAssignments=6707, nogoods=1045, foundSolutions=7, bestBound=3
5.21/2.90
5.21/2.90 num=92, depth=5..49, filters=84986, ccks=665, wck=0.669, mem=47M728
5.21/2.90 decisions=32724, wrong=13778, backtracks=12070, failedAssignments=6735, nogoods=1051, foundSolutions=7, bestBound=3
5.21/2.90
5.21/2.91 num=93, depth=2..56, filters=85334, ccks=665, wck=0.671, mem=47M728
5.21/2.91 decisions=32876, wrong=13831, backtracks=12116, failedAssignments=6766, nogoods=1059, foundSolutions=7, bestBound=3
5.21/2.91
5.21/2.91 num=94, depth=2..56, filters=85574, ccks=665, wck=0.672, mem=47M728
5.21/2.91 decisions=33031, wrong=13886, backtracks=12163, failedAssignments=6800, nogoods=1067, foundSolutions=7, bestBound=3
5.21/2.91
5.21/2.91 num=95, depth=2..57, filters=85926, ccks=665, wck=0.674, mem=47M728
5.21/2.91 decisions=33197, wrong=13946, backtracks=12213, failedAssignments=6837, nogoods=1076, foundSolutions=7, bestBound=3
5.21/2.91
5.21/2.91 num=96, depth=2..61, filters=86277, ccks=665, wck=0.676, mem=47M728
5.21/2.91 decisions=33395, wrong=14021, backtracks=12275, failedAssignments=6878, nogoods=1086, foundSolutions=7, bestBound=3
5.21/2.91
5.21/2.92 num=97, depth=14..54, filters=86850, ccks=665, wck=0.68, mem=47M728
5.21/2.92 decisions=33611, wrong=14107, backtracks=12358, failedAssignments=6923, nogoods=1089, foundSolutions=7, bestBound=3
5.21/2.92
5.21/2.92 num=98, depth=3..57, filters=88030, ccks=665, wck=0.685, mem=47M728
5.21/2.92 decisions=33812, wrong=14186, backtracks=12423, failedAssignments=6973, nogoods=1097, foundSolutions=7, bestBound=3
5.21/2.92
5.21/2.93 num=99, depth=15..57, filters=88963, ccks=665, wck=0.689, mem=47M728
5.21/2.93 decisions=34128, wrong=14320, backtracks=12542, failedAssignments=7028, nogoods=1102, foundSolutions=7, bestBound=3
5.21/2.93
5.21/2.93 num=100, depth=4..65, filters=89446, ccks=665, wck=0.692, mem=47M728
5.21/2.93 decisions=34380, wrong=14420, backtracks=12629, failedAssignments=7089, nogoods=1115, foundSolutions=7, bestBound=3
5.21/2.93
5.21/2.93 num=101, depth=4..65, filters=90141, ccks=665, wck=0.696, mem=47M728
5.21/2.93 decisions=34658, wrong=14536, backtracks=12729, failedAssignments=7156, nogoods=1128, foundSolutions=7, bestBound=3
5.21/2.93
5.21/2.94 num=102, depth=6..67, filters=90788, ccks=665, wck=0.699, mem=47M728
5.21/2.94 decisions=35000, wrong=14683, backtracks=12862, failedAssignments=7230, nogoods=1140, foundSolutions=7, bestBound=3
5.21/2.94
5.21/2.94 num=103, depth=6..62, filters=92364, ccks=665, wck=0.707, mem=47M728
5.21/2.94 decisions=35422, wrong=14871, backtracks=13031, failedAssignments=7311, nogoods=1150, foundSolutions=7, bestBound=3
5.21/2.94
5.21/2.95 num=104, depth=6..105, filters=93306, ccks=665, wck=0.712, mem=47M728
5.21/2.95 decisions=35848, wrong=15046, backtracks=13171, failedAssignments=7400, nogoods=1173, foundSolutions=7, bestBound=3
5.21/2.95
5.21/2.96 num=105, depth=4..63, filters=94997, ccks=665, wck=0.72, mem=47M728
5.21/2.96 decisions=36223, wrong=15215, backtracks=13314, failedAssignments=7498, nogoods=1190, foundSolutions=7, bestBound=3
5.21/2.96
5.21/2.96 num=106, depth=4..58, filters=96370, ccks=665, wck=0.726, mem=47M728
5.21/2.96 decisions=36632, wrong=15397, backtracks=13477, failedAssignments=7606, nogoods=1200, foundSolutions=7, bestBound=3
5.21/2.96
5.21/2.97 num=107, depth=5..63, filters=98445, ccks=665, wck=0.735, mem=47M728
5.21/2.97 decisions=37103, wrong=15610, backtracks=13661, failedAssignments=7725, nogoods=1215, foundSolutions=7, bestBound=3
5.21/2.97
5.21/2.98 num=108, depth=5..60, filters=99934, ccks=665, wck=0.742, mem=47M728
5.21/2.98 decisions=37559, wrong=15816, backtracks=13842, failedAssignments=7856, nogoods=1230, foundSolutions=7, bestBound=3
5.21/2.98
5.21/2.99 num=109, depth=35..56, filters=102569, ccks=665, wck=0.753, mem=47M728
5.21/2.99 decisions=38140, wrong=16084, backtracks=14090, failedAssignments=8000, nogoods=1238, foundSolutions=7, bestBound=3
5.21/2.99
5.21/3.00 num=110, depth=4..62, filters=104605, ccks=665, wck=0.763, mem=47M728
5.21/3.00 decisions=38684, wrong=16335, backtracks=14313, failedAssignments=8158, nogoods=1251, foundSolutions=7, bestBound=3
5.21/3.00
5.33/3.02 num=111, depth=4..62, filters=108043, ccks=665, wck=0.779, mem=47M728
5.33/3.02 decisions=39345, wrong=16644, backtracks=14596, failedAssignments=8332, nogoods=1262, foundSolutions=7, bestBound=3
5.33/3.02
5.33/3.03 num=112, depth=11..56, filters=110668, ccks=665, wck=0.791, mem=47M728
5.33/3.03 decisions=40034, wrong=16970, backtracks=14875, failedAssignments=8523, nogoods=1278, foundSolutions=7, bestBound=3
5.33/3.03
5.33/3.05 num=113, depth=14..58, filters=115275, ccks=665, wck=0.811, mem=47M728
5.33/3.05 decisions=40823, wrong=17345, backtracks=15225, failedAssignments=8734, nogoods=1286, foundSolutions=7, bestBound=3
5.33/3.05
5.33/3.06 num=114, depth=3..67, filters=118650, ccks=665, wck=0.826, mem=47M728
5.33/3.06 decisions=41786, wrong=17808, backtracks=15645, failedAssignments=8966, nogoods=1301, foundSolutions=7, bestBound=3
5.33/3.06
5.33/3.08 num=115, depth=3..65, filters=121894, ccks=665, wck=0.84, mem=47M728
5.33/3.08 decisions=42893, wrong=18338, backtracks=16140, failedAssignments=9221, nogoods=1316, foundSolutions=7, bestBound=3
5.33/3.08
5.33/3.09 num=116, depth=5..58, filters=125860, ccks=665, wck=0.857, mem=50M371
5.33/3.09 decisions=43915, wrong=18828, backtracks=16600, failedAssignments=9502, nogoods=1334, foundSolutions=7, bestBound=3
5.33/3.09
5.43/3.11 num=117, depth=3..67, filters=130198, ccks=665, wck=0.877, mem=50M371
5.43/3.11 decisions=45072, wrong=19386, backtracks=17126, failedAssignments=9811, nogoods=1350, foundSolutions=7, bestBound=3
5.43/3.11
5.43/3.14 num=118, depth=3..67, filters=135671, ccks=665, wck=0.901, mem=50M371
5.43/3.14 decisions=46322, wrong=19990, backtracks=17690, failedAssignments=10151, nogoods=1363, foundSolutions=7, bestBound=3
5.43/3.14
5.43/3.15 num=119, depth=4..43, filters=139495, ccks=665, wck=0.918, mem=50M371
5.43/3.15 decisions=47646, wrong=20637, backtracks=18297, failedAssignments=10525, nogoods=1375, foundSolutions=7, bestBound=3
5.43/3.15
5.43/3.18 num=120, depth=1..51, filters=144591, ccks=665, wck=0.94, mem=50M371
5.43/3.18 decisions=49180, wrong=21388, backtracks=19011, failedAssignments=10936, nogoods=1384, foundSolutions=7, bestBound=3
5.43/3.18
5.53/3.20 num=121, depth=1..52, filters=151267, ccks=665, wck=0.969, mem=50M371
5.53/3.20 decisions=50974, wrong=22267, backtracks=19835, failedAssignments=11388, nogoods=1398, foundSolutions=7, bestBound=3
5.53/3.20
5.53/3.23 num=122, depth=1..52, filters=156611, ccks=665, wck=0.993, mem=50M371
5.53/3.23 decisions=52907, wrong=23215, backtracks=20707, failedAssignments=11885, nogoods=1410, foundSolutions=7, bestBound=3
5.53/3.23
5.53/3.25 num=123, depth=1..130, filters=161718, ccks=665, wck=1.018, mem=50M371
5.53/3.25 decisions=55611, wrong=24523, backtracks=21830, failedAssignments=12432, nogoods=1436, foundSolutions=7, bestBound=3
5.53/3.25
5.53/3.28 num=124, depth=3..102, filters=168719, ccks=665, wck=1.046, mem=50M371
5.53/3.28 decisions=58174, wrong=25770, backtracks=22993, failedAssignments=13034, nogoods=1469, foundSolutions=7, bestBound=3
5.53/3.28
5.63/3.31 num=125, depth=1..116, filters=175741, ccks=665, wck=1.078, mem=50M371
5.63/3.31 decisions=61273, wrong=27279, backtracks=24407, failedAssignments=13696, nogoods=1496, foundSolutions=7, bestBound=3
5.63/3.31
5.63/3.35 num=126, depth=3..107, filters=183220, ccks=665, wck=1.112, mem=53M13
5.63/3.35 decisions=65117, wrong=29167, backtracks=26216, failedAssignments=14424, nogoods=1524, foundSolutions=7, bestBound=3
5.63/3.35
5.74/3.40 num=127, depth=6..84, filters=196384, ccks=665, wck=1.167, mem=53M13
5.74/3.40 decisions=68991, wrong=31075, backtracks=27866, failedAssignments=15225, nogoods=1545, foundSolutions=7, bestBound=3
5.74/3.40
5.74/3.45 num=128, depth=8..85, filters=206926, ccks=665, wck=1.211, mem=53M13
5.74/3.45 decisions=73170, wrong=33133, backtracks=29800, failedAssignments=16106, nogoods=1565, foundSolutions=7, bestBound=3
5.74/3.45
5.84/3.50 num=129, depth=6..111, filters=218111, ccks=665, wck=1.261, mem=53M13
5.84/3.50 decisions=77887, wrong=35450, backtracks=31967, failedAssignments=17076, nogoods=1588, foundSolutions=7, bestBound=3
5.84/3.50
5.84/3.56 num=130, depth=7..99, filters=233769, ccks=665, wck=1.327, mem=53M13
5.84/3.56 decisions=83433, wrong=38186, backtracks=34470, failedAssignments=18143, nogoods=1612, foundSolutions=7, bestBound=3
5.84/3.56
5.95/3.61 num=131, depth=1..115, filters=244403, ccks=665, wck=1.375, mem=55M656
5.95/3.61 decisions=89466, wrong=41169, backtracks=37139, failedAssignments=19316, nogoods=1644, foundSolutions=7, bestBound=3
5.95/3.61
5.95/3.66 num=132, depth=4..106, filters=256568, ccks=665, wck=1.427, mem=55M656
5.95/3.66 decisions=95215, wrong=44007, backtracks=39806, failedAssignments=20607, nogoods=1666, foundSolutions=7, bestBound=3
5.95/3.66
6.07/3.72 num=133, depth=3..109, filters=268601, ccks=665, wck=1.482, mem=55M656
6.07/3.72 decisions=102085, wrong=47411, backtracks=43068, failedAssignments=22027, nogoods=1691, foundSolutions=7, bestBound=3
6.07/3.72
6.18/3.81 num=134, depth=3..101, filters=289349, ccks=665, wck=1.577, mem=55M656
6.18/3.81 decisions=109678, wrong=51173, backtracks=46530, failedAssignments=23589, nogoods=1714, foundSolutions=7, bestBound=3
6.18/3.81
6.18/3.89 num=135, depth=12..94, filters=309370, ccks=665, wck=1.657, mem=58M298
6.18/3.89 decisions=116574, wrong=54588, backtracks=49612, failedAssignments=25307, nogoods=1733, foundSolutions=7, bestBound=3
6.18/3.89
6.28/3.96 num=136, depth=4..158, filters=324447, ccks=665, wck=1.725, mem=58M298
6.28/3.96 decisions=125560, wrong=59028, backtracks=53369, failedAssignments=27197, nogoods=1773, foundSolutions=7, bestBound=3
6.28/3.96
6.39/4.04 num=137, depth=9..89, filters=342827, ccks=665, wck=1.808, mem=58M298
6.39/4.04 decisions=134719, wrong=63578, backtracks=57626, failedAssignments=29276, nogoods=1788, foundSolutions=7, bestBound=3
6.39/4.04
6.49/4.17 num=138, depth=5..147, filters=371575, ccks=665, wck=1.935, mem=60M940
6.49/4.17 decisions=148220, wrong=70277, backtracks=64208, failedAssignments=31563, nogoods=1817, foundSolutions=7, bestBound=3
6.49/4.17
6.58/4.26 num=139, depth=8..143, filters=391977, ccks=665, wck=2.024, mem=60M940
6.58/4.26 decisions=160925, wrong=76582, backtracks=70326, failedAssignments=34079, nogoods=1853, foundSolutions=7, bestBound=3
6.58/4.26
6.78/4.40 num=140, depth=6..125, filters=423231, ccks=665, wck=2.167, mem=63M583
6.78/4.40 decisions=175423, wrong=83794, backtracks=77246, failedAssignments=36847, nogoods=1879, foundSolutions=7, bestBound=3
6.78/4.40
6.88/4.55 num=141, depth=4..120, filters=456056, ccks=665, wck=2.312, mem=63M583
6.88/4.55 decisions=191158, wrong=91624, backtracks=84721, failedAssignments=39891, nogoods=1909, foundSolutions=7, bestBound=3
6.88/4.55
7.08/4.72 num=142, depth=4..60, filters=493347, ccks=665, wck=2.487, mem=66M225
7.08/4.72 decisions=207629, wrong=99843, backtracks=91976, failedAssignments=43240, nogoods=1919, foundSolutions=7, bestBound=3
7.08/4.72
7.18/4.83 num=143, depth=7..50, filters=518231, ccks=665, wck=2.593, mem=66M225
7.18/4.83 decisions=221282, wrong=106656, backtracks=98326, failedAssignments=46924, nogoods=1928, foundSolutions=7, bestBound=3
7.18/4.83
7.30/4.99 num=144, depth=1..80, filters=558290, ccks=665, wck=2.754, mem=68M868
7.30/4.99 decisions=240269, wrong=116128, backtracks=107054, failedAssignments=50976, nogoods=1939, foundSolutions=7, bestBound=3
7.30/4.99
7.60/5.28 num=145, depth=0..135, filters=622886, ccks=665, wck=3.039, mem=71M510
7.60/5.28 decisions=265035, wrong=128470, backtracks=118316, failedAssignments=55433, nogoods=1974, foundSolutions=7, bestBound=3
7.60/5.28
7.90/5.50 num=146, depth=7..76, filters=680389, ccks=665, wck=3.268, mem=74M153
7.90/5.50 decisions=288099, wrong=139979, backtracks=129109, failedAssignments=60336, nogoods=1990, foundSolutions=7, bestBound=3
7.90/5.50
8.10/5.73 num=147, depth=2..112, filters=730947, ccks=665, wck=3.498, mem=76M795
8.10/5.73 decisions=314356, wrong=153071, backtracks=141926, failedAssignments=65730, nogoods=2019, foundSolutions=7, bestBound=3
8.10/5.73
8.30/5.95 num=148, depth=2..109, filters=777781, ccks=665, wck=3.711, mem=79M438
8.30/5.95 decisions=343593, wrong=167650, backtracks=155901, failedAssignments=71663, nogoods=2037, foundSolutions=7, bestBound=3
8.30/5.95
8.51/6.16 num=149, depth=8..103, filters=822211, ccks=665, wck=3.926, mem=82M80
8.51/6.16 decisions=374921, wrong=183276, backtracks=171158, failedAssignments=78189, nogoods=2054, foundSolutions=7, bestBound=3
8.51/6.16
8.81/6.45 num=150, depth=6..109, filters=884254, ccks=665, wck=4.212, mem=84M722
8.81/6.45 decisions=406283, wrong=198924, backtracks=185541, failedAssignments=85368, nogoods=2073, foundSolutions=7, bestBound=3
8.81/6.45
9.13/6.74 num=151, depth=7..71, filters=941405, ccks=665, wck=4.508, mem=87M365
9.13/6.74 decisions=438083, wrong=214801, backtracks=200297, failedAssignments=93265, nogoods=2084, foundSolutions=7, bestBound=3
9.13/6.74
9.54/7.19 num=152, depth=3..120, filters=1042122, ccks=665, wck=4.951, mem=92M650
9.54/7.19 decisions=484872, wrong=238157, backtracks=221780, failedAssignments=101952, nogoods=2101, foundSolutions=7, bestBound=3
9.54/7.19
9.93/7.56 num=153, depth=4..109, filters=1121179, ccks=665, wck=5.324, mem=95M292
9.93/7.56 decisions=532773, wrong=262073, backtracks=244273, failedAssignments=111507, nogoods=2123, foundSolutions=7, bestBound=3
9.93/7.56
10.23/7.89 num=154, depth=2..97, filters=1193822, ccks=665, wck=5.653, mem=100M577
10.23/7.89 decisions=575993, wrong=283651, backtracks=264651, failedAssignments=122018, nogoods=2139, foundSolutions=7, bestBound=3
10.23/7.89
11.03/8.60 num=155, depth=1..78, filters=1361042, ccks=665, wck=6.362, mem=105M862
11.03/8.60 decisions=631336, wrong=311298, backtracks=290499, failedAssignments=133580, nogoods=2152, foundSolutions=7, bestBound=3
11.03/8.60
11.44/9.11 num=156, depth=1..118, filters=1477681, ccks=665, wck=6.869, mem=111M147
11.44/9.11 decisions=693862, wrong=342526, backtracks=320804, failedAssignments=146298, nogoods=2173, foundSolutions=7, bestBound=3
11.44/9.11
11.93/9.52 num=157, depth=4..114, filters=1563655, ccks=665, wck=7.283, mem=116M432
11.93/9.52 decisions=755816, wrong=373463, backtracks=350134, failedAssignments=160288, nogoods=2194, foundSolutions=7, bestBound=3
11.93/9.52
12.93/10.55 num=158, depth=3..116, filters=1793829, ccks=665, wck=8.31, mem=127M1
12.93/10.55 decisions=847959, wrong=419501, backtracks=392398, failedAssignments=175677, nogoods=2219, foundSolutions=7, bestBound=3
12.93/10.55
13.54/11.11 num=159, depth=3..111, filters=1911977, ccks=665, wck=8.875, mem=132M286
13.54/11.11 decisions=929667, wrong=460321, backtracks=431436, failedAssignments=192605, nogoods=2246, foundSolutions=7, bestBound=3
13.54/11.11
14.44/12.05 num=160, depth=7..76, filters=2112218, ccks=665, wck=9.811, mem=142M778
14.44/12.05 decisions=1016085, wrong=503506, backtracks=473343, failedAssignments=211226, nogoods=2259, foundSolutions=7, bestBound=3
14.44/12.05
15.47/13.06 num=161, depth=9..111, filters=2325147, ccks=665, wck=10.823, mem=28M578
15.47/13.06 decisions=1104117, wrong=547484, backtracks=512035, failedAssignments=231710, nogoods=2287, foundSolutions=7, bestBound=3
15.47/13.06
16.58/14.16 num=162, depth=23..119, filters=2580424, ccks=665, wck=11.928, mem=39M42
16.58/14.16 decisions=1211146, wrong=600955, backtracks=560264, failedAssignments=254242, nogoods=2302, foundSolutions=7, bestBound=3
16.58/14.16
17.87/15.43 num=163, depth=2..121, filters=2874444, ccks=665, wck=13.191, mem=49M505
17.87/15.43 decisions=1328899, wrong=659790, backtracks=615530, failedAssignments=279027, nogoods=2325, foundSolutions=7, bestBound=3
17.87/15.43
19.27/16.81 num=164, depth=1..110, filters=3191664, ccks=665, wck=14.575, mem=65M201
19.27/16.81 decisions=1460377, wrong=725497, backtracks=676110, failedAssignments=306291, nogoods=2359, foundSolutions=7, bestBound=3
19.27/16.81
20.97/18.56 num=165, depth=2..126, filters=3569904, ccks=665, wck=16.328, mem=78M281
20.97/18.56 decisions=1648039, wrong=819291, backtracks=768142, failedAssignments=336281, nogoods=2391, foundSolutions=7, bestBound=3
20.97/18.56
21.77/19.33 o 2
21.77/19.33 num=166, depth=4..310, filters=3735249, ccks=760, wck=17.094, mem=88M745
21.77/19.33 decisions=1732070, wrong=861252, backtracks=808421, failedAssignments=353357, nogoods=2435, foundSolutions=8, bestBound=2
21.77/19.33
21.77/19.33 Global
21.77/19.33 filters=3735249, ccks=760, nogoods=2435
21.77/19.33 Stop=FULL_EXPLORATION, wrong=861252, bestBound=2, bestBoundWck=17.449, bestBoundCpu=19.285, foundSolutions=8, firstSolCpu=2.252
21.77/19.33 wck=17.451, cpu=19.286, mem=88M745
21.77/19.33
21.77/19.33 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.77/19.33 s OPTIMUM FOUND
21.77/19.33
21.77/19.33 d WRONG_DECISIONS 861252
21.77/19.33 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 (9375 MiB free)
memory of node 1: 16384 MiB (13742 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390965-1568380556/watcher-4390965-1568380556 -o /tmp/evaluation-result-4390965-1568380556/solver-4390965-1568380556 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node119-1568380477-10796 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4390965-1568380556.xml -cm
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=11076, runsolver pid=11073
Current StackSize limit: 8192 KiB
[startup+0.100143 s]*
/proc/loadavg: 0.97 0.26 0.13 4/228 11091
/proc/meminfo: memFree=23656872/32770624 swapFree=66939832/67108860
[pid=11076] ppid=11073 vsize=10659884 memory=28216 CPUtime=0.13 cores=0,2,4,6
/proc/11076/stat : 11076 (java) S 11073 11076 10765 0 -1 1077944320 5513 0 0 0 12 1 0 0 20 0 15 0 413970466 10915721216 7054 33554432000 4194304 4196468 140733703717344 140733703699888 140524712869623 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 33021952 140733703721995 140733703722098 140733703722098 140733703725007 0
/proc/11076/statm: 2664971 7054 2906 1 0 2627468 0
[pid=11076/tid=11078] ppid=11073 vsize=10659884 memory=7892391828772250251 CPUtime=0.09 cores=0,2,4,6
/proc/11076/task/11078/stat : 11078 (java) R 11073 11076 10765 0 -1 4202560 3227 0 0 0 8 1 0 0 20 0 15 0 413970467 10915721216 7054 33554432000 4194304 4196468 140733703717344 140524717092384 140524712891549 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33021952 140733703721995 140733703722098 140733703722098 140733703725007 0
[pid=11076/tid=11079] ppid=11073 vsize=10659884 memory=-9181546050914066336 CPUtime=0 cores=0,2,4,6
/proc/11076/task/11079/stat : 11079 (java) S 11073 11076 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 413970467 10915721216 7054 33554432000 4194304 4196468 140733703717344 140524638943888 140524712879829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33021952 140733703721995 140733703722098 140733703722098 140733703725007 0
[pid=11076/tid=11080] ppid=11073 vsize=10659884 memory=139784341128832 CPUtime=0 cores=0,2,4,6
/proc/11076/task/11080/stat : 11080 (java) S 11073 11076 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 413970467 10915721216 7054 33554432000 4194304 4196468 140733703717344 140524637891088 140524712879829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33021952 140733703721995 140733703722098 140733703722098 140733703725007 0
[pid=11076/tid=11081] ppid=11073 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11076/task/11081/stat : 11081 (java) S 11073 11076 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 413970467 10915721216 7054 33554432000 4194304 4196468 140733703717344 140524636838288 140524712879829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33021952 140733703721995 140733703722098 140733703722098 140733703725007 0
[pid=11076/tid=11082] ppid=11073 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11076/task/11082/stat : 11082 (java) S 11073 11076 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 413970467 10915721216 7054 33554432000 4194304 4196468 140733703717344 140524635785488 140524712879829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33021952 140733703721995 140733703722098 140733703722098 140733703725007 0
[pid=11076/tid=11083] ppid=11073 vsize=10659884 memory=139784341128832 CPUtime=0 cores=0,2,4,6
/proc/11076/task/11083/stat : 11083 (java) S 11073 11076 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 413970469 10915721216 7054 33554432000 4194304 4196468 140733703717344 140523747617648 140524712880770 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33021952 140733703721995 140733703722098 140733703722098 140733703725007 0
[pid=11076/tid=11084] ppid=11073 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11076/task/11084/stat : 11084 (java) S 11073 11076 10765 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 413970469 10915721216 7054 33554432000 4194304 4196468 140733703717344 140523746563616 140524712879829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33021952 140733703721995 140733703722098 140733703722098 140733703725007 0
[pid=11076/tid=11085] ppid=11073 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11076/task/11085/stat : 11085 (java) S 11073 11076 10765 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 413970469 10915721216 7054 33554432000 4194304 4196468 140733703717344 140523745510768 140524712879829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33021952 140733703721995 140733703722098 140733703722098 140733703725007 0
[pid=11076/tid=11086] ppid=11073 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11076/task/11086/stat : 11086 (java) S 11073 11076 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 413970472 10915721216 7054 33554432000 4194304 4196468 140733703717344 140523744459088 140524712888219 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33021952 140733703721995 140733703722098 140733703722098 140733703725007 0
[pid=11076/tid=11087] ppid=11073 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11076/task/11087/stat : 11087 (java) S 11073 11076 10765 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 15 0 413970472 10915721216 7054 33554432000 4194304 4196468 140733703717344 140523743406448 140524712880770 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33021952 140733703721995 140733703722098 140733703722098 140733703725007 0
[pid=11076/tid=11088] ppid=11073 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11076/task/11088/stat : 11088 (java) S 11073 11076 10765 0 -1 1077944384 231 0 0 0 0 0 0 0 20 0 15 0 413970472 10915721216 7054 33554432000 4194304 4196468 140733703717344 140523742353648 140524712880770 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33021952 140733703721995 140733703722098 140733703722098 140733703725007 0
[pid=11076/tid=11089] ppid=11073 vsize=10659884 memory=139784341128832 CPUtime=0.02 cores=0,2,4,6
/proc/11076/task/11089/stat : 11089 (java) R 11073 11076 10765 0 -1 4202560 403 0 0 0 2 0 0 0 20 0 15 0 413970472 10915721216 7054 33554432000 4194304 4196468 140733703717344 140523741296760 140524705106750 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33021952 140733703721995 140733703722098 140733703722098 140733703725007 0
[pid=11076/tid=11090] ppid=11073 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11076/task/11090/stat : 11090 (java) S 11073 11076 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 413970472 10915721216 7054 33554432000 4194304 4196468 140733703717344 140523740248288 140524712879829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33021952 140733703721995 140733703722098 140733703722098 140733703725007 0
[pid=11076/tid=11091] ppid=11073 vsize=10659884 memory=139784341128832 CPUtime=0 cores=0,2,4,6
/proc/11076/task/11091/stat : 11091 (java) R 11073 11076 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 413970472 10915721216 7054 33554432000 4194304 4196468 140733703717344 140523739196592 140524712880770 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33021952 140733703721995 140733703722098 140733703722098 140733703725007 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 28216 KiB
[startup+0.210662 s]*
/proc/loadavg: 0.97 0.26 0.13 4/228 11091
/proc/meminfo: memFree=23650856/32770624 swapFree=66939832/67108860
[pid=11076] ppid=11073 vsize=10659884 memory=34860 CPUtime=0.33 cores=0,2,4,6
/proc/11076/stat : 11076 (java) S 11073 11076 10765 0 -1 1077944320 6918 0 0 0 31 2 0 0 20 0 15 0 413970466 10915721216 8715 33554432000 4194304 4196468 140733703717344 140733703699888 140524712869623 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 33021952 140733703721995 140733703722098 140733703722098 140733703725007 0
/proc/11076/statm: 2664971 8715 2989 1 0 2627468 0
[pid=11076/tid=11078] ppid=11073 vsize=10659884 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/11076/task/11078/stat : 11078 (java) R 11073 11076 10765 0 -1 4202560 3862 0 0 0 19 1 0 0 20 0 15 0 413970467 10915721216 8715 33554432000 4194304 4196468 140733703717344 140524717101712 140524712891549 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33021952 140733703721995 140733703722098 140733703722098 140733703725007 0
[pid=11076/tid=11079] ppid=11073 vsize=10659884 memory=365 CPUtime=0 cores=0,2,4,6
/proc/11076/task/11079/stat : 11079 (java) S 11073 11076 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 413970467 10915721216 8715 33554432000 4194304 4196468 140733703717344 140524638943888 140524712879829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33021952 140733703721995 140733703722098 140733703722098 140733703725007 0
[pid=11076/tid=11080] ppid=11073 vsize=10659884 memory=3905103915879990944 CPUtime=0 cores=0,2,4,6
/proc/11076/task/11080/stat : 11080 (java) S 11073 11076 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 413970467 10915721216 8715 33554432000 4194304 4196468 140733703717344 140524637891088 140524712879829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33021952 140733703721995 140733703722098 140733703722098 140733703725007 0
[pid=11076/tid=11081] ppid=11073 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11076/task/11081/stat : 11081 (java) S 11073 11076 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 413970467 10915721216 8715 33554432000 4194304 4196468 140733703717344 140524636838288 140524712879829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33021952 140733703721995 140733703722098 140733703722098 140733703725007 0
[pid=11076/tid=11082] ppid=11073 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11076/task/11082/stat : 11082 (java) S 11073 11076 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 413970467 10915721216 8715 33554432000 4194304 4196468 140733703717344 140524635785488 140524712879829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33021952 140733703721995 140733703722098 140733703722098 140733703725007 0
[pid=11076/tid=11083] ppid=11073 vsize=10659884 memory=139784341128832 CPUtime=0 cores=0,2,4,6
/proc/11076/task/11083/stat : 11083 (java) S 11073 11076 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 413970469 10915721216 8715 33554432000 4194304 4196468 140733703717344 140523747617648 140524712880770 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33021952 140733703721995 140733703722098 140733703722098 140733703725007 0
[pid=11076/tid=11084] ppid=11073 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11076/task/11084/stat : 11084 (java) S 11073 11076 10765 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 413970469 10915721216 8715 33554432000 4194304 4196468 140733703717344 140523746563616 140524712879829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33021952 140733703721995 140733703722098 140733703722098 140733703725007 0
[pid=11076/tid=11085] ppid=11073 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11076/task/11085/stat : 11085 (java) S 11073 11076 10765 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 413970469 10915721216 8715 33554432000 4194304 4196468 140733703717344 140523745510768 140524712879829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33021952 140733703721995 140733703722098 140733703722098 140733703725007 0
[pid=11076/tid=11086] ppid=11073 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11076/task/11086/stat : 11086 (java) S 11073 11076 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 413970472 10915721216 8715 33554432000 4194304 4196468 140733703717344 140523744459088 140524712888219 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33021952 140733703721995 140733703722098 140733703722098 140733703725007 0
[pid=11076/tid=11087] ppid=11073 vsize=10659884 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/11076/task/11087/stat : 11087 (java) S 11073 11076 10765 0 -1 1077944384 405 0 0 0 2 0 0 0 20 0 15 0 413970472 10915721216 8715 33554432000 4194304 4196468 140733703717344 140523743406448 140524712880770 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33021952 140733703721995 140733703722098 140733703722098 140733703725007 0
[pid=11076/tid=11088] ppid=11073 vsize=10659884 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/11076/task/11088/stat : 11088 (java) S 11073 11076 10765 0 -1 1077944384 580 0 0 0 3 0 0 0 20 0 15 0 413970472 10915721216 8715 33554432000 4194304 4196468 140733703717344 140523742353648 140524712880770 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33021952 140733703721995 140733703722098 140733703722098 140733703725007 0
[pid=11076/tid=11089] ppid=11073 vsize=10659884 memory=139784341128832 CPUtime=0.05 cores=0,2,4,6
/proc/11076/task/11089/stat : 11089 (java) S 11073 11076 10765 0 -1 1077944384 713 0 0 0 5 0 0 0 20 0 15 0 413970472 10915721216 8715 33554432000 4194304 4196468 140733703717344 140523741300848 140524712880770 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33021952 140733703721995 140733703722098 140733703722098 140733703725007 0
[pid=11076/tid=11090] ppid=11073 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11076/task/11090/stat : 11090 (java) S 11073 11076 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 413970472 10915721216 8715 33554432000 4194304 4196468 140733703717344 140523740248288 140524712879829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33021952 140733703721995 140733703722098 140733703722098 140733703725007 0
[pid=11076/tid=11091] ppid=11073 vsize=10659884 memory=139784341128832 CPUtime=0 cores=0,2,4,6
/proc/11076/task/11091/stat : 11091 (java) S 11073 11076 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 413970472 10915721216 8715 33554432000 4194304 4196468 140733703717344 140523739196592 140524712880770 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33021952 140733703721995 140733703722098 140733703722098 140733703725007 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 34860 KiB
[startup+0.30997 s]*
/proc/loadavg: 0.97 0.26 0.13 3/228 11091
/proc/meminfo: memFree=23643472/32770624 swapFree=66939832/67108860
[pid=11076] ppid=11073 vsize=10659884 memory=40260 CPUtime=0.47 cores=0,2,4,6
/proc/11076/stat : 11076 (java) S 11073 11076 10765 0 -1 1077944320 9464 0 0 0 44 3 0 0 20 0 15 0 413970466 10915721216 10065 33554432000 4194304 4196468 140733703717344 140733703699888 140524712869623 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 33021952 140733703721995 140733703722098 140733703722098 140733703725007 0
/proc/11076/statm: 2664971 10065 3002 1 0 2627468 0
[pid=11076/tid=11078] ppid=11073 vsize=10659884 memory=7311146985107750967 CPUtime=0.3 cores=0,2,4,6
/proc/11076/task/11078/stat : 11078 (java) R 11073 11076 10765 0 -1 4202560 6430 0 0 0 28 2 0 0 20 0 15 0 413970467 10915721216 10065 33554432000 4194304 4196468 140733703717344 140524717089776 140524698940897 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33021952 140733703721995 140733703722098 140733703722098 140733703725007 0
[pid=11076/tid=11079] ppid=11073 vsize=10659884 memory=10528 CPUtime=0 cores=0,2,4,6
/proc/11076/task/11079/stat : 11079 (java) S 11073 11076 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 413970467 10915721216 10065 33554432000 4194304 4196468 140733703717344 140524638943888 140524712879829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33021952 140733703721995 140733703722098 140733703722098 140733703725007 0
[pid=11076/tid=11080] ppid=11073 vsize=10659884 memory=3979412210219976352 CPUtime=0 cores=0,2,4,6
/proc/11076/task/11080/stat : 11080 (java) S 11073 11076 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 413970467 10915721216 10065 33554432000 4194304 4196468 140733703717344 140524637891088 140524712879829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33021952 140733703721995 140733703722098 140733703722098 140733703725007 0
[pid=11076/tid=11081] ppid=11073 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11076/task/11081/stat : 11081 (java) S 11073 11076 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 413970467 10915721216 10065 33554432000 4194304 4196468 140733703717344 140524636838288 140524712879829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33021952 140733703721995 140733703722098 140733703722098 140733703725007 0
[pid=11076/tid=11082] ppid=11073 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11076/task/11082/stat : 11082 (java) S 11073 11076 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 413970467 10915721216 10065 33554432000 4194304 4196468 140733703717344 140524635785488 140524712879829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33021952 140733703721995 140733703722098 140733703722098 140733703725007 0
[pid=11076/tid=11083] ppid=11073 vsize=10659884 memory=139784341128832 CPUtime=0 cores=0,2,4,6
/proc/11076/task/11083/stat : 11083 (java) S 11073 11076 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 413970469 10915721216 10065 33554432000 4194304 4196468 140733703717344 140523747617648 140524712880770 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33021952 140733703721995 140733703722098 140733703722098 140733703725007 0
[pid=11076/tid=11084] ppid=11073 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11076/task/11084/stat : 11084 (java) S 11073 11076 10765 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 413970469 10915721216 10065 33554432000 4194304 4196468 140733703717344 140523746563616 140524712879829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33021952 140733703721995 140733703722098 140733703722098 140733703725007 0
[pid=11076/tid=11085] ppid=11073 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11076/task/11085/stat : 11085 (java) S 11073 11076 10765 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 413970469 10915721216 10065 33554432000 4194304 4196468 140733703717344 140523745510768 140524712879829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33021952 140733703721995 140733703722098 140733703722098 140733703725007 0
[pid=11076/tid=11086] ppid=11073 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11076/task/11086/stat : 11086 (java) S 11073 11076 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 413970472 10915721216 10065 33554432000 4194304 4196468 140733703717344 140523744459088 140524712888219 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33021952 140733703721995 140733703722098 140733703722098 140733703725007 0
[pid=11076/tid=11087] ppid=11073 vsize=10659884 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/11076/task/11087/stat : 11087 (java) S 11073 11076 10765 0 -1 1077944384 432 0 0 0 3 0 0 0 20 0 15 0 413970472 10915721216 10065 33554432000 4194304 4196468 140733703717344 140523743406448 140524712880770 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33021952 140733703721995 140733703722098 140733703722098 140733703725007 0
[pid=11076/tid=11088] ppid=11073 vsize=10659884 memory=-1 CPUtime=0.04 cores=0,2,4,6
/proc/11076/task/11088/stat : 11088 (java) S 11073 11076 10765 0 -1 1077944384 602 0 0 0 4 0 0 0 20 0 15 0 413970472 10915721216 10065 33554432000 4194304 4196468 140733703717344 140523742353648 140524712880770 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33021952 140733703721995 140733703722098 140733703722098 140733703725007 0
[pid=11076/tid=11089] ppid=11073 vsize=10659884 memory=139784341128832 CPUtime=0.07 cores=0,2,4,6
/proc/11076/task/11089/stat : 11089 (java) S 11073 11076 10765 0 -1 1077944384 736 0 0 0 7 0 0 0 20 0 15 0 413970472 10915721216 10065 33554432000 4194304 4196468 140733703717344 140523741300848 140524712880770 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33021952 140733703721995 140733703722098 140733703722098 140733703725007 0
[pid=11076/tid=11090] ppid=11073 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11076/task/11090/stat : 11090 (java) S 11073 11076 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 413970472 10915721216 10065 33554432000 4194304 4196468 140733703717344 140523740248288 140524712879829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33021952 140733703721995 140733703722098 140733703722098 140733703725007 0
[pid=11076/tid=11091] ppid=11073 vsize=10659884 memory=139784341128832 CPUtime=0 cores=0,2,4,6
/proc/11076/task/11091/stat : 11091 (java) S 11073 11076 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 413970472 10915721216 10065 33554432000 4194304 4196468 140733703717344 140523739196592 140524712880770 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33021952 140733703721995 140733703722098 140733703722098 140733703725007 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40260 KiB
[startup+0.700706 s]
/proc/loadavg: 0.97 0.26 0.13 3/228 11091
/proc/meminfo: memFree=23633180/32770624 swapFree=66939832/67108860
[pid=11076] ppid=11073 vsize=10661932 memory=64220 CPUtime=1.09 cores=0,2,4,6
/proc/11076/stat : 11076 (java) S 11073 11076 10765 0 -1 1077944320 13177 0 0 0 104 5 0 0 20 0 15 0 413970466 10917818368 16055 33554432000 4194304 4196468 140733703717344 140733703699888 140524712869623 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 33021952 140733703721995 140733703722098 140733703722098 140733703725007 0
/proc/11076/statm: 2665483 16055 3070 1 0 2627980 0
[pid=11076/tid=11078] ppid=11073 vsize=10661932 memory=14056 CPUtime=0.68 cores=0,2,4,6
/proc/11076/task/11078/stat : 11078 (java) R 11073 11076 10765 0 -1 4202560 8853 0 0 0 64 4 0 0 20 0 15 0 413970467 10917818368 16055 33554432000 4194304 4196468 140733703717344 140524717101648 140524696950110 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33021952 140733703721995 140733703722098 140733703722098 140733703725007 0
[pid=11076/tid=11079] ppid=11073 vsize=10661932 memory=2116 CPUtime=0 cores=0,2,4,6
/proc/11076/task/11079/stat : 11079 (java) S 11073 11076 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 413970467 10917818368 16055 33554432000 4194304 4196468 140733703717344 140524638943888 140524712879829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33021952 140733703721995 140733703722098 140733703722098 140733703725007 0
[pid=11076/tid=11080] ppid=11073 vsize=10661932 memory=520 CPUtime=0 cores=0,2,4,6
/proc/11076/task/11080/stat : 11080 (java) S 11073 11076 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 413970467 10917818368 16055 33554432000 4194304 4196468 140733703717344 140524637891088 140524712879829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33021952 140733703721995 140733703722098 140733703722098 140733703725007 0
[pid=11076/tid=11081] ppid=11073 vsize=10661932 memory=1560 CPUtime=0 cores=0,2,4,6
/proc/11076/task/11081/stat : 11081 (java) S 11073 11076 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 413970467 10917818368 16055 33554432000 4194304 4196468 140733703717344 140524636838288 140524712879829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33021952 140733703721995 140733703722098 140733703722098 140733703725007 0
[pid=11076/tid=11082] ppid=11073 vsize=10661932 memory=924 CPUtime=0 cores=0,2,4,6
/proc/11076/task/11082/stat : 11082 (java) S 11073 11076 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 413970467 10917818368 16055 33554432000 4194304 4196468 140733703717344 140524635785488 140524712879829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33021952 140733703721995 140733703722098 140733703722098 140733703725007 0
[pid=11076/tid=11083] ppid=11073 vsize=10661932 memory=3688 CPUtime=0 cores=0,2,4,6
/proc/11076/task/11083/stat : 11083 (java) S 11073 11076 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 413970469 10917818368 16055 33554432000 4194304 4196468 140733703717344 140523747617648 140524712880770 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33021952 140733703721995 140733703722098 140733703722098 140733703725007 0
[pid=11076/tid=11084] ppid=11073 vsize=10661932 memory=1984 CPUtime=0 cores=0,2,4,6
/proc/11076/task/11084/stat : 11084 (java) S 11073 11076 10765 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 413970469 10917818368 16055 33554432000 4194304 4196468 140733703717344 140523746563616 140524712879829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33021952 140733703721995 140733703722098 140733703722098 140733703725007 0
[pid=11076/tid=11085] ppid=11073 vsize=10661932 memory=1440 CPUtime=0 cores=0,2,4,6
/proc/11076/task/11085/stat : 11085 (java) S 11073 11076 10765 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 413970469 10917818368 16055 33554432000 4194304 4196468 140733703717344 140523745510768 140524712879829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33021952 140733703721995 140733703722098 140733703722098 140733703725007 0
[pid=11076/tid=11086] ppid=11073 vsize=10661932 memory=812 CPUtime=0 cores=0,2,4,6
/proc/11076/task/11086/stat : 11086 (java) S 11073 11076 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 413970472 10917818368 16055 33554432000 4194304 4196468 140733703717344 140523744459088 140524712888219 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33021952 140733703721995 140733703722098 140733703722098 140733703725007 0
[pid=11076/tid=11087] ppid=11073 vsize=10661932 memory=7086240636179272035 CPUtime=0.11 cores=0,2,4,6
/proc/11076/task/11087/stat : 11087 (java) S 11073 11076 10765 0 -1 1077944384 737 0 0 0 11 0 0 0 20 0 15 0 413970472 10917818368 16055 33554432000 4194304 4196468 140733703717344 140523743406448 140524712880770 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33021952 140733703721995 140733703722098 140733703722098 140733703725007 0
[pid=11076/tid=11088] ppid=11073 vsize=10661932 memory=7453282923444726100 CPUtime=0.1 cores=0,2,4,6
/proc/11076/task/11088/stat : 11088 (java) R 11073 11076 10765 0 -1 4202560 963 0 0 0 10 0 0 0 20 0 15 0 413970472 10917818368 16055 33554432000 4194304 4196468 140733703717344 140523742353648 140524698069633 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33021952 140733703721995 140733703722098 140733703722098 140733703725007 0
[pid=11076/tid=11089] ppid=11073 vsize=10661932 memory=7223879631928058176 CPUtime=0.18 cores=0,2,4,6
/proc/11076/task/11089/stat : 11089 (java) S 11073 11076 10765 0 -1 1077944384 1266 0 0 0 18 0 0 0 20 0 15 0 413970472 10917818368 16055 33554432000 4194304 4196468 140733703717344 140523741300848 140524712880770 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33021952 140733703721995 140733703722098 140733703722098 140733703725007 0
[pid=11076/tid=11090] ppid=11073 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11076/task/11090/stat : 11090 (java) S 11073 11076 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 413970472 10917818368 16055 33554432000 4194304 4196468 140733703717344 140523740248288 140524712879829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33021952 140733703721995 140733703722098 140733703722098 140733703725007 0
[pid=11076/tid=11091] ppid=11073 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11076/task/11091/stat : 11091 (java) S 11073 11076 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 413970472 10917818368 16055 33554432000 4194304 4196468 140733703717344 140523739196592 140524712880770 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33021952 140733703721995 140733703722098 140733703722098 140733703725007 0
Current children cumulated CPU time: 1.09 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 64220 KiB
[startup+1.50082 s]
/proc/loadavg: 0.97 0.26 0.13 3/228 11091
/proc/meminfo: memFree=23617484/32770624 swapFree=66939832/67108860
[pid=11076] ppid=11073 vsize=10663980 memory=75732 CPUtime=2 cores=0,2,4,6
/proc/11076/stat : 11076 (java) S 11073 11076 10765 0 -1 1077944320 16909 0 0 0 194 6 0 0 20 0 15 0 413970466 10919915520 18933 33554432000 4194304 4196468 140733703717344 140733703699888 140524712869623 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 33021952 140733703721995 140733703722098 140733703722098 140733703725007 0
/proc/11076/statm: 2665995 18933 3090 1 0 2628492 0
[pid=11076/tid=11078] ppid=11073 vsize=10663980 memory=6493990552776 CPUtime=1.48 cores=0,2,4,6
/proc/11076/task/11078/stat : 11078 (java) R 11073 11076 10765 0 -1 4202560 11536 0 0 0 144 4 0 0 20 0 15 0 413970467 10919915520 18933 33554432000 4194304 4196468 140733703717344 140524717101648 140524696950110 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33021952 140733703721995 140733703722098 140733703722098 140733703725007 0
[pid=11076/tid=11079] ppid=11073 vsize=10663980 memory=288230596050944315 CPUtime=0 cores=0,2,4,6
/proc/11076/task/11079/stat : 11079 (java) S 11073 11076 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 413970467 10919915520 18933 33554432000 4194304 4196468 140733703717344 140524638943888 140524712879829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33021952 140733703721995 140733703722098 140733703722098 140733703725007 0
[pid=11076/tid=11080] ppid=11073 vsize=10663980 memory=14699582244260401 CPUtime=0 cores=0,2,4,6
/proc/11076/task/11080/stat : 11080 (java) S 11073 11076 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 413970467 10919915520 18933 33554432000 4194304 4196468 140733703717344 140524637891088 140524712879829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33021952 140733703721995 140733703722098 140733703722098 140733703725007 0
[pid=11076/tid=11081] ppid=11073 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11076/task/11081/stat : 11081 (java) S 11073 11076 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 413970467 10919915520 18933 33554432000 4194304 4196468 140733703717344 140524636838288 140524712879829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33021952 140733703721995 140733703722098 140733703722098 140733703725007 0
[pid=11076/tid=11082] ppid=11073 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11076/task/11082/stat : 11082 (java) S 11073 11076 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 413970467 10919915520 18933 33554432000 4194304 4196468 140733703717344 140524635785488 140524712879829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33021952 140733703721995 140733703722098 140733703722098 140733703725007 0
[pid=11076/tid=11083] ppid=11073 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11076/task/11083/stat : 11083 (java) S 11073 11076 10765 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 413970469 10919915520 18933 33554432000 4194304 4196468 140733703717344 140523747617648 140524712880770 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33021952 140733703721995 140733703722098 140733703722098 140733703725007 0
################
# More data... #
################
[startup+18.4007 s]
/proc/loadavg: 1.20 0.35 0.16 3/229 11092
/proc/meminfo: memFree=23434724/32770624 swapFree=66939832/67108860
[pid=11076] ppid=11073 vsize=10748324 memory=250148 CPUtime=20.87 cores=0,2,4,6
/proc/11076/stat : 11076 (java) S 11073 11076 10765 0 -1 1077944320 32297 0 0 0 2072 15 0 0 20 0 16 0 413970466 11006283776 62537 33554432000 4194304 4196468 140733703717344 140733703699888 140524712869623 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 33021952 140733703721995 140733703722098 140733703722098 140733703725007 0
/proc/11076/statm: 2687081 62537 3368 1 0 2647217 0
[pid=11076/tid=11078] ppid=11073 vsize=10748324 memory=6791534058613427641 CPUtime=1.89 cores=0,2,4,6
/proc/11076/task/11078/stat : 11078 (java) S 11073 11076 10765 0 -1 1077944384 13140 0 0 0 184 5 0 0 20 0 16 0 413970467 11006283776 62537 33554432000 4194304 4196468 140733703717344 140524717112496 140524712879829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33021952 140733703721995 140733703722098 140733703722098 140733703725007 0
[pid=11076/tid=11079] ppid=11073 vsize=10748324 memory=250148 CPUtime=0.02 cores=0,2,4,6
/proc/11076/task/11079/stat : 11079 (java) S 11073 11076 10765 0 -1 1077944384 73 0 0 0 2 0 0 0 20 0 16 0 413970467 11006283776 62537 33554432000 4194304 4196468 140733703717344 140524638943888 140524712879829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33021952 140733703721995 140733703722098 140733703722098 140733703725007 0
[pid=11076/tid=11080] ppid=11073 vsize=10748324 memory=2008 CPUtime=0.02 cores=0,2,4,6
/proc/11076/task/11080/stat : 11080 (java) S 11073 11076 10765 0 -1 1077944384 127 0 0 0 2 0 0 0 20 0 16 0 413970467 11006283776 62537 33554432000 4194304 4196468 140733703717344 140524637891088 140524712879829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33021952 140733703721995 140733703722098 140733703722098 140733703725007 0
[pid=11076/tid=11081] ppid=11073 vsize=10748324 memory=227344 CPUtime=0.01 cores=0,2,4,6
/proc/11076/task/11081/stat : 11081 (java) S 11073 11076 10765 0 -1 1077944384 274 0 0 0 1 0 0 0 20 0 16 0 413970467 11006283776 62537 33554432000 4194304 4196468 140733703717344 140524636838288 140524712879829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33021952 140733703721995 140733703722098 140733703722098 140733703725007 0
[pid=11076/tid=11082] ppid=11073 vsize=10748324 memory=250148 CPUtime=0.01 cores=0,2,4,6
/proc/11076/task/11082/stat : 11082 (java) S 11073 11076 10765 0 -1 1077944384 919 0 0 0 1 0 0 0 20 0 16 0 413970467 11006283776 62537 33554432000 4194304 4196468 140733703717344 140524635785488 140524712879829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33021952 140733703721995 140733703722098 140733703722098 140733703725007 0
[pid=11076/tid=11083] ppid=11073 vsize=10748324 memory=250148 CPUtime=0.01 cores=0,2,4,6
/proc/11076/task/11083/stat : 11083 (java) S 11073 11076 10765 0 -1 1077944384 457 0 0 0 1 0 0 0 20 0 16 0 413970469 11006283776 62537 33554432000 4194304 4196468 140733703717344 140523747617648 140524712880770 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33021952 140733703721995 140733703722098 140733703722098 140733703725007 0
[pid=11076/tid=11084] ppid=11073 vsize=10748324 memory=2008 CPUtime=0 cores=0,2,4,6
/proc/11076/task/11084/stat : 11084 (java) S 11073 11076 10765 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 16 0 413970469 11006283776 62537 33554432000 4194304 4196468 140733703717344 140523746563680 140524712879829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33021952 140733703721995 140733703722098 140733703722098 140733703725007 0
[pid=11076/tid=11085] ppid=11073 vsize=10748324 memory=1436 CPUtime=0 cores=0,2,4,6
/proc/11076/task/11085/stat : 11085 (java) S 11073 11076 10765 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 16 0 413970469 11006283776 62537 33554432000 4194304 4196468 140733703717344 140523745510784 140524712879829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33021952 140733703721995 140733703722098 140733703722098 140733703725007 0
[pid=11076/tid=11086] ppid=11073 vsize=10748324 memory=4164 CPUtime=0 cores=0,2,4,6
/proc/11076/task/11086/stat : 11086 (java) S 11073 11076 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 413970472 11006283776 62537 33554432000 4194304 4196468 140733703717344 140523744459088 140524712888219 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33021952 140733703721995 140733703722098 140733703722098 140733703725007 0
[pid=11076/tid=11087] ppid=11073 vsize=10748324 memory=1548 CPUtime=0.89 cores=0,2,4,6
/proc/11076/task/11087/stat : 11087 (java) S 11073 11076 10765 0 -1 1077944384 2871 0 0 0 89 0 0 0 20 0 16 0 413970472 11006283776 62537 33554432000 4194304 4196468 140733703717344 140523743406448 140524712880770 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33021952 140733703721995 140733703722098 140733703722098 140733703725007 0
[pid=11076/tid=11088] ppid=11073 vsize=10748324 memory=1728 CPUtime=0.91 cores=0,2,4,6
/proc/11076/task/11088/stat : 11088 (java) S 11073 11076 10765 0 -1 1077944384 4260 0 0 0 90 1 0 0 20 0 16 0 413970472 11006283776 62537 33554432000 4194304 4196468 140733703717344 140523742353648 140524712880770 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33021952 140733703721995 140733703722098 140733703722098 140733703725007 0
[pid=11076/tid=11089] ppid=11073 vsize=10748324 memory=7984 CPUtime=0.57 cores=0,2,4,6
/proc/11076/task/11089/stat : 11089 (java) S 11073 11076 10765 0 -1 1077944384 2968 0 0 0 56 1 0 0 20 0 16 0 413970472 11006283776 62537 33554432000 4194304 4196468 140733703717344 140523741300848 140524712880770 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33021952 140733703721995 140733703722098 140733703722098 140733703725007 0
[pid=11076/tid=11090] ppid=11073 vsize=10748324 memory=9580 CPUtime=0 cores=0,2,4,6
/proc/11076/task/11090/stat : 11090 (java) S 11073 11076 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 413970472 11006283776 62537 33554432000 4194304 4196468 140733703717344 140523740248288 140524712879829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33021952 140733703721995 140733703722098 140733703722098 140733703725007 0
[pid=11076/tid=11091] ppid=11073 vsize=10748324 memory=1052 CPUtime=0 cores=0,2,4,6
/proc/11076/task/11091/stat : 11091 (java) S 11073 11076 10765 0 -1 1077944384 169 0 0 0 0 0 0 0 20 0 16 0 413970472 11006283776 62537 33554432000 4194304 4196468 140733703717344 140523739196592 140524712880770 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33021952 140733703721995 140733703722098 140733703722098 140733703725007 0
[pid=11076/tid=11092] ppid=11073 vsize=10748324 memory=776 CPUtime=16.43 cores=0,2,4,6
/proc/11076/task/11092/stat : 11092 (java) R 11073 11076 10765 0 -1 4202560 5602 0 0 0 1641 2 0 0 20 0 16 0 413970658 11006283776 62537 33554432000 4194304 4196468 140733703717344 140523722526592 140524306040528 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33021952 140733703721995 140733703722098 140733703722098 140733703725007 0
Current children cumulated CPU time: 20.87 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 250148 KiB
[startup+18.8007 s]
/proc/loadavg: 1.20 0.35 0.16 3/229 11092
/proc/meminfo: memFree=23434724/32770624 swapFree=66939832/67108860
[pid=11076] ppid=11073 vsize=10748324 memory=250148 CPUtime=21.27 cores=0,2,4,6
/proc/11076/stat : 11076 (java) S 11073 11076 10765 0 -1 1077944320 32591 0 0 0 2112 15 0 0 20 0 16 0 413970466 11006283776 62537 33554432000 4194304 4196468 140733703717344 140733703699888 140524712869623 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 33021952 140733703721995 140733703722098 140733703722098 140733703725007 0
/proc/11076/statm: 2687081 62537 3368 1 0 2647217 0
[pid=11076/tid=11078] ppid=11073 vsize=10748324 memory=288230596050944315 CPUtime=1.89 cores=0,2,4,6
/proc/11076/task/11078/stat : 11078 (java) S 11073 11076 10765 0 -1 1077944384 13140 0 0 0 184 5 0 0 20 0 16 0 413970467 11006283776 62537 33554432000 4194304 4196468 140733703717344 140524717112496 140524712879829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33021952 140733703721995 140733703722098 140733703722098 140733703725007 0
[pid=11076/tid=11079] ppid=11073 vsize=10748324 memory=14699582244260401 CPUtime=0.02 cores=0,2,4,6
/proc/11076/task/11079/stat : 11079 (java) S 11073 11076 10765 0 -1 1077944384 73 0 0 0 2 0 0 0 20 0 16 0 413970467 11006283776 62537 33554432000 4194304 4196468 140733703717344 140524638943888 140524712879829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33021952 140733703721995 140733703722098 140733703722098 140733703725007 0
[pid=11076/tid=11080] ppid=11073 vsize=10748324 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/11076/task/11080/stat : 11080 (java) S 11073 11076 10765 0 -1 1077944384 127 0 0 0 2 0 0 0 20 0 16 0 413970467 11006283776 62537 33554432000 4194304 4196468 140733703717344 140524637891088 140524712879829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33021952 140733703721995 140733703722098 140733703722098 140733703725007 0
[pid=11076/tid=11081] ppid=11073 vsize=10748324 memory=279568414851632 CPUtime=0.01 cores=0,2,4,6
/proc/11076/task/11081/stat : 11081 (java) S 11073 11076 10765 0 -1 1077944384 274 0 0 0 1 0 0 0 20 0 16 0 413970467 11006283776 62537 33554432000 4194304 4196468 140733703717344 140524636838288 140524712879829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33021952 140733703721995 140733703722098 140733703722098 140733703725007 0
[pid=11076/tid=11082] ppid=11073 vsize=10748324 memory=139784207316816 CPUtime=0.01 cores=0,2,4,6
/proc/11076/task/11082/stat : 11082 (java) S 11073 11076 10765 0 -1 1077944384 919 0 0 0 1 0 0 0 20 0 16 0 413970467 11006283776 62537 33554432000 4194304 4196468 140733703717344 140524635785488 140524712879829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33021952 140733703721995 140733703722098 140733703722098 140733703725007 0
[pid=11076/tid=11083] ppid=11073 vsize=10748324 memory=21840 CPUtime=0.01 cores=0,2,4,6
/proc/11076/task/11083/stat : 11083 (java) S 11073 11076 10765 0 -1 1077944384 457 0 0 0 1 0 0 0 20 0 16 0 413970469 11006283776 62537 33554432000 4194304 4196468 140733703717344 140523747617648 140524712880770 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33021952 140733703721995 140733703722098 140733703722098 140733703725007 0
[pid=11076/tid=11084] ppid=11073 vsize=10748324 memory=14056 CPUtime=0 cores=0,2,4,6
/proc/11076/task/11084/stat : 11084 (java) S 11073 11076 10765 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 16 0 413970469 11006283776 62537 33554432000 4194304 4196468 140733703717344 140523746563680 140524712879829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33021952 140733703721995 140733703722098 140733703722098 140733703725007 0
[pid=11076/tid=11085] ppid=11073 vsize=10748324 memory=2116 CPUtime=0 cores=0,2,4,6
/proc/11076/task/11085/stat : 11085 (java) S 11073 11076 10765 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 16 0 413970469 11006283776 62537 33554432000 4194304 4196468 140733703717344 140523745510784 140524712879829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33021952 140733703721995 140733703722098 140733703722098 140733703725007 0
[pid=11076/tid=11086] ppid=11073 vsize=10748324 memory=520 CPUtime=0 cores=0,2,4,6
/proc/11076/task/11086/stat : 11086 (java) S 11073 11076 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 413970472 11006283776 62537 33554432000 4194304 4196468 140733703717344 140523744459088 140524712888219 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33021952 140733703721995 140733703722098 140733703722098 140733703725007 0
[pid=11076/tid=11087] ppid=11073 vsize=10748324 memory=1560 CPUtime=0.89 cores=0,2,4,6
/proc/11076/task/11087/stat : 11087 (java) S 11073 11076 10765 0 -1 1077944384 2872 0 0 0 89 0 0 0 20 0 16 0 413970472 11006283776 62537 33554432000 4194304 4196468 140733703717344 140523743406448 140524712880770 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33021952 140733703721995 140733703722098 140733703722098 140733703725007 0
[pid=11076/tid=11088] ppid=11073 vsize=10748324 memory=6298117298356836199 CPUtime=0.91 cores=0,2,4,6
/proc/11076/task/11088/stat : 11088 (java) S 11073 11076 10765 0 -1 1077944384 4261 0 0 0 90 1 0 0 20 0 16 0 413970472 11006283776 62537 33554432000 4194304 4196468 140733703717344 140523742353648 140524712880770 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33021952 140733703721995 140733703722098 140733703722098 140733703725007 0
[pid=11076/tid=11089] ppid=11073 vsize=10748324 memory=7378982325753832788 CPUtime=0.57 cores=0,2,4,6
/proc/11076/task/11089/stat : 11089 (java) S 11073 11076 10765 0 -1 1077944384 3241 0 0 0 56 1 0 0 20 0 16 0 413970472 11006283776 62537 33554432000 4194304 4196468 140733703717344 140523741300848 140524712880770 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33021952 140733703721995 140733703722098 140733703722098 140733703725007 0
[pid=11076/tid=11090] ppid=11073 vsize=10748324 memory=7741803665120324455 CPUtime=0 cores=0,2,4,6
/proc/11076/task/11090/stat : 11090 (java) S 11073 11076 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 413970472 11006283776 62537 33554432000 4194304 4196468 140733703717344 140523740248288 140524712879829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33021952 140733703721995 140733703722098 140733703722098 140733703725007 0
[pid=11076/tid=11091] ppid=11073 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11076/task/11091/stat : 11091 (java) S 11073 11076 10765 0 -1 1077944384 169 0 0 0 0 0 0 0 20 0 16 0 413970472 11006283776 62537 33554432000 4194304 4196468 140733703717344 140523739196592 140524712880770 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33021952 140733703721995 140733703722098 140733703722098 140733703725007 0
[pid=11076/tid=11092] ppid=11073 vsize=10748324 memory=6943526294502006880 CPUtime=16.83 cores=0,2,4,6
/proc/11076/task/11092/stat : 11092 (java) R 11073 11076 10765 0 -1 4202560 5621 0 0 0 1681 2 0 0 20 0 16 0 413970658 11006283776 62537 33554432000 4194304 4196468 140733703717344 140523722526592 140524306352090 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33021952 140733703721995 140733703722098 140733703722098 140733703725007 0
Current children cumulated CPU time: 21.27 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 250148 KiB
[startup+19.2007 s]
/proc/loadavg: 1.26 0.38 0.17 3/230 11094
/proc/meminfo: memFree=23433452/32770624 swapFree=66939832/67108860
[pid=11076] ppid=11073 vsize=10748324 memory=250148 CPUtime=21.67 cores=0,2,4,6
/proc/11076/stat : 11076 (java) S 11073 11076 10765 0 -1 1077944320 32595 0 0 0 2152 15 0 0 20 0 16 0 413970466 11006283776 62537 33554432000 4194304 4196468 140733703717344 140733703699888 140524712869623 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 33021952 140733703721995 140733703722098 140733703722098 140733703725007 0
/proc/11076/statm: 2687081 62537 3368 1 0 2647217 0
[pid=11076/tid=11078] ppid=11073 vsize=10748324 memory=924 CPUtime=1.89 cores=0,2,4,6
/proc/11076/task/11078/stat : 11078 (java) S 11073 11076 10765 0 -1 1077944384 13140 0 0 0 184 5 0 0 20 0 16 0 413970467 11006283776 62537 33554432000 4194304 4196468 140733703717344 140524717112496 140524712879829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33021952 140733703721995 140733703722098 140733703722098 140733703725007 0
[pid=11076/tid=11079] ppid=11073 vsize=10748324 memory=6791534058613427641 CPUtime=0.02 cores=0,2,4,6
/proc/11076/task/11079/stat : 11079 (java) S 11073 11076 10765 0 -1 1077944384 73 0 0 0 2 0 0 0 20 0 16 0 413970467 11006283776 62537 33554432000 4194304 4196468 140733703717344 140524638943888 140524712879829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33021952 140733703721995 140733703722098 140733703722098 140733703725007 0
[pid=11076/tid=11080] ppid=11073 vsize=10748324 memory=8262277478866581011 CPUtime=0.02 cores=0,2,4,6
/proc/11076/task/11080/stat : 11080 (java) S 11073 11076 10765 0 -1 1077944384 127 0 0 0 2 0 0 0 20 0 16 0 413970467 11006283776 62537 33554432000 4194304 4196468 140733703717344 140524637891088 140524712879829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33021952 140733703721995 140733703722098 140733703722098 140733703725007 0
[pid=11076/tid=11081] ppid=11073 vsize=10748324 memory=8508281403248445325 CPUtime=0.01 cores=0,2,4,6
/proc/11076/task/11081/stat : 11081 (java) S 11073 11076 10765 0 -1 1077944384 274 0 0 0 1 0 0 0 20 0 16 0 413970467 11006283776 62537 33554432000 4194304 4196468 140733703717344 140524636838288 140524712879829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33021952 140733703721995 140733703722098 140733703722098 140733703725007 0
[pid=11076/tid=11082] ppid=11073 vsize=10748324 memory=-8253362664378450061 CPUtime=0.01 cores=0,2,4,6
/proc/11076/task/11082/stat : 11082 (java) S 11073 11076 10765 0 -1 1077944384 919 0 0 0 1 0 0 0 20 0 16 0 413970467 11006283776 62537 33554432000 4194304 4196468 140733703717344 140524635785488 140524712879829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33021952 140733703721995 140733703722098 140733703722098 140733703725007 0
[pid=11076/tid=11083] ppid=11073 vsize=10748324 memory=8996927245810234922 CPUtime=0.01 cores=0,2,4,6
/proc/11076/task/11083/stat : 11083 (java) S 11073 11076 10765 0 -1 1077944384 457 0 0 0 1 0 0 0 20 0 16 0 413970469 11006283776 62537 33554432000 4194304 4196468 140733703717344 140523747617648 140524712880770 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33021952 140733703721995 140733703722098 140733703722098 140733703725007 0
[pid=11076/tid=11084] ppid=11073 vsize=10748324 memory=52292 CPUtime=0 cores=0,2,4,6
/proc/11076/task/11084/stat : 11084 (java) S 11073 11076 10765 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 16 0 413970469 11006283776 62537 33554432000 4194304 4196468 140733703717344 140523746563680 140524712879829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33021952 140733703721995 140733703722098 140733703722098 140733703725007 0
[pid=11076/tid=11085] ppid=11073 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11076/task/11085/stat : 11085 (java) S 11073 11076 10765 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 16 0 413970469 11006283776 62537 33554432000 4194304 4196468 140733703717344 140523745510784 140524712879829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33021952 140733703721995 140733703722098 140733703722098 140733703725007 0
[pid=11076/tid=11086] ppid=11073 vsize=10748324 memory=288230574492221466 CPUtime=0 cores=0,2,4,6
/proc/11076/task/11086/stat : 11086 (java) S 11073 11076 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 413970472 11006283776 62537 33554432000 4194304 4196468 140733703717344 140523744459088 140524712888219 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33021952 140733703721995 140733703722098 140733703722098 140733703725007 0
[pid=11076/tid=11087] ppid=11073 vsize=10748324 memory=320881693349380411 CPUtime=0.89 cores=0,2,4,6
/proc/11076/task/11087/stat : 11087 (java) S 11073 11076 10765 0 -1 1077944384 2872 0 0 0 89 0 0 0 20 0 16 0 413970472 11006283776 62537 33554432000 4194304 4196468 140733703717344 140523743406448 140524712880770 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33021952 140733703721995 140733703722098 140733703722098 140733703725007 0
[pid=11076/tid=11088] ppid=11073 vsize=10748324 memory=14699582244260401 CPUtime=0.91 cores=0,2,4,6
/proc/11076/task/11088/stat : 11088 (java) S 11073 11076 10765 0 -1 1077944384 4261 0 0 0 90 1 0 0 20 0 16 0 413970472 11006283776 62537 33554432000 4194304 4196468 140733703717344 140523742353648 140524712880770 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33021952 140733703721995 140733703722098 140733703722098 140733703725007 0
[pid=11076/tid=11089] ppid=11073 vsize=10748324 memory=3833198127652692835 CPUtime=0.57 cores=0,2,4,6
/proc/11076/task/11089/stat : 11089 (java) S 11073 11076 10765 0 -1 1077944384 3241 0 0 0 56 1 0 0 20 0 16 0 413970472 11006283776 62537 33554432000 4194304 4196468 140733703717344 140523741300848 140524712880770 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33021952 140733703721995 140733703722098 140733703722098 140733703725007 0
[pid=11076/tid=11090] ppid=11073 vsize=10748324 memory=7367995975065948240 CPUtime=0 cores=0,2,4,6
/proc/11076/task/11090/stat : 11090 (java) S 11073 11076 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 413970472 11006283776 62537 33554432000 4194304 4196468 140733703717344 140523740248288 140524712879829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33021952 140733703721995 140733703722098 140733703722098 140733703725007 0
[pid=11076/tid=11091] ppid=11073 vsize=10748324 memory=7524220110973462122 CPUtime=0 cores=0,2,4,6
/proc/11076/task/11091/stat : 11091 (java) S 11073 11076 10765 0 -1 1077944384 169 0 0 0 0 0 0 0 20 0 16 0 413970472 11006283776 62537 33554432000 4194304 4196468 140733703717344 140523739196592 140524712880770 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33021952 140733703721995 140733703722098 140733703722098 140733703725007 0
[pid=11076/tid=11092] ppid=11073 vsize=10748324 memory=7306904996136642135 CPUtime=17.23 cores=0,2,4,6
/proc/11076/task/11092/stat : 11092 (java) R 11073 11076 10765 0 -1 4202560 5625 0 0 0 1721 2 0 0 20 0 16 0 413970658 11006283776 62537 33554432000 4194304 4196468 140733703717344 140523722534328 140524306381186 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33021952 140733703721995 140733703722098 140733703722098 140733703725007 0
Current children cumulated CPU time: 21.67 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 250148 KiB
[startup+19.3007 s]
/proc/loadavg: 1.26 0.38 0.17 3/230 11094
/proc/meminfo: memFree=23433452/32770624 swapFree=66939832/67108860
[pid=11076] ppid=11073 vsize=10748324 memory=250148 CPUtime=21.77 cores=0,2,4,6
/proc/11076/stat : 11076 (java) S 11073 11076 10765 0 -1 1077944320 32597 0 0 0 2162 15 0 0 20 0 16 0 413970466 11006283776 62537 33554432000 4194304 4196468 140733703717344 140733703699888 140524712869623 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 33021952 140733703721995 140733703722098 140733703722098 140733703725007 0
/proc/11076/statm: 2687081 62537 3368 1 0 2647217 0
[pid=11076/tid=11078] ppid=11073 vsize=10748324 memory=250148 CPUtime=1.89 cores=0,2,4,6
/proc/11076/task/11078/stat : 11078 (java) S 11073 11076 10765 0 -1 1077944384 13140 0 0 0 184 5 0 0 20 0 16 0 413970467 11006283776 62537 33554432000 4194304 4196468 140733703717344 140524717112496 140524712879829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33021952 140733703721995 140733703722098 140733703722098 140733703725007 0
[pid=11076/tid=11079] ppid=11073 vsize=10748324 memory=250148 CPUtime=0.02 cores=0,2,4,6
/proc/11076/task/11079/stat : 11079 (java) S 11073 11076 10765 0 -1 1077944384 73 0 0 0 2 0 0 0 20 0 16 0 413970467 11006283776 62537 33554432000 4194304 4196468 140733703717344 140524638943888 140524712879829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33021952 140733703721995 140733703722098 140733703722098 140733703725007 0
[pid=11076/tid=11080] ppid=11073 vsize=10748324 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/11076/task/11080/stat : 11080 (java) S 11073 11076 10765 0 -1 1077944384 127 0 0 0 2 0 0 0 20 0 16 0 413970467 11006283776 62537 33554432000 4194304 4196468 140733703717344 140524637891088 140524712879829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33021952 140733703721995 140733703722098 140733703722098 140733703725007 0
[pid=11076/tid=11081] ppid=11073 vsize=10748324 memory=2832 CPUtime=0.01 cores=0,2,4,6
/proc/11076/task/11081/stat : 11081 (java) S 11073 11076 10765 0 -1 1077944384 274 0 0 0 1 0 0 0 20 0 16 0 413970467 11006283776 62537 33554432000 4194304 4196468 140733703717344 140524636838288 140524712879829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33021952 140733703721995 140733703722098 140733703722098 140733703725007 0
[pid=11076/tid=11082] ppid=11073 vsize=10748324 memory=668 CPUtime=0.01 cores=0,2,4,6
/proc/11076/task/11082/stat : 11082 (java) S 11073 11076 10765 0 -1 1077944384 919 0 0 0 1 0 0 0 20 0 16 0 413970467 11006283776 62537 33554432000 4194304 4196468 140733703717344 140524635785488 140524712879829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33021952 140733703721995 140733703722098 140733703722098 140733703725007 0
[pid=11076/tid=11083] ppid=11073 vsize=10748324 memory=6791534058613427641 CPUtime=0.01 cores=0,2,4,6
/proc/11076/task/11083/stat : 11083 (java) S 11073 11076 10765 0 -1 1077944384 457 0 0 0 1 0 0 0 20 0 16 0 413970469 11006283776 62537 33554432000 4194304 4196468 140733703717344 140523747617648 140524712880770 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33021952 140733703721995 140733703722098 140733703722098 140733703725007 0
[pid=11076/tid=11084] ppid=11073 vsize=10748324 memory=2116 CPUtime=0 cores=0,2,4,6
/proc/11076/task/11084/stat : 11084 (java) S 11073 11076 10765 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 16 0 413970469 11006283776 62537 33554432000 4194304 4196468 140733703717344 140523746563680 140524712879829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33021952 140733703721995 140733703722098 140733703722098 140733703725007 0
[pid=11076/tid=11085] ppid=11073 vsize=10748324 memory=520 CPUtime=0 cores=0,2,4,6
/proc/11076/task/11085/stat : 11085 (java) S 11073 11076 10765 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 16 0 413970469 11006283776 62537 33554432000 4194304 4196468 140733703717344 140523745510784 140524712879829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33021952 140733703721995 140733703722098 140733703722098 140733703725007 0
[pid=11076/tid=11086] ppid=11073 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11076/task/11086/stat : 11086 (java) S 11073 11076 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 413970472 11006283776 62537 33554432000 4194304 4196468 140733703717344 140523744459088 140524712888219 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33021952 140733703721995 140733703722098 140733703722098 140733703725007 0
[pid=11076/tid=11087] ppid=11073 vsize=10748324 memory=-7029379521808015264 CPUtime=0.89 cores=0,2,4,6
/proc/11076/task/11087/stat : 11087 (java) S 11073 11076 10765 0 -1 1077944384 2872 0 0 0 89 0 0 0 20 0 16 0 413970472 11006283776 62537 33554432000 4194304 4196468 140733703717344 140523743406448 140524712880770 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33021952 140733703721995 140733703722098 140733703722098 140733703725007 0
[pid=11076/tid=11088] ppid=11073 vsize=10748324 memory=-7737621075815361686 CPUtime=0.91 cores=0,2,4,6
/proc/11076/task/11088/stat : 11088 (java) S 11073 11076 10765 0 -1 1077944384 4261 0 0 0 90 1 0 0 20 0 16 0 413970472 11006283776 62537 33554432000 4194304 4196468 140733703717344 140523742353648 140524712880770 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33021952 140733703721995 140733703722098 140733703722098 140733703725007 0
[pid=11076/tid=11089] ppid=11073 vsize=10748324 memory=250148 CPUtime=0.57 cores=0,2,4,6
/proc/11076/task/11089/stat : 11089 (java) S 11073 11076 10765 0 -1 1077944384 3241 0 0 0 56 1 0 0 20 0 16 0 413970472 11006283776 62537 33554432000 4194304 4196468 140733703717344 140523741300848 140524712880770 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33021952 140733703721995 140733703722098 140733703722098 140733703725007 0
[pid=11076/tid=11090] ppid=11073 vsize=10748324 memory=39472 CPUtime=0 cores=0,2,4,6
/proc/11076/task/11090/stat : 11090 (java) S 11073 11076 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 413970472 11006283776 62537 33554432000 4194304 4196468 140733703717344 140523740248288 140524712879829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33021952 140733703721995 140733703722098 140733703722098 140733703725007 0
[pid=11076/tid=11091] ppid=11073 vsize=10748324 memory=213008 CPUtime=0 cores=0,2,4,6
/proc/11076/task/11091/stat : 11091 (java) S 11073 11076 10765 0 -1 1077944384 169 0 0 0 0 0 0 0 20 0 16 0 413970472 11006283776 62537 33554432000 4194304 4196468 140733703717344 140523739196592 140524712880770 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33021952 140733703721995 140733703722098 140733703722098 140733703725007 0
[pid=11076/tid=11092] ppid=11073 vsize=10748324 memory=2008 CPUtime=17.33 cores=0,2,4,6
/proc/11076/task/11092/stat : 11092 (java) R 11073 11076 10765 0 -1 4202560 5627 0 0 0 1731 2 0 0 20 0 16 0 413970658 11006283776 62537 33554432000 4194304 4196468 140733703717344 140523722534328 140524306040598 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33021952 140733703721995 140733703722098 140733703722098 140733703725007 0
Current children cumulated CPU time: 21.77 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 250148 KiB
Child status: 0
Real time (s): 19.3444
CPU time (s): 21.8244
CPU user time (s): 21.6638
CPU system time (s): 0.160547
CPU usage (%): 112.82
Max. virtual memory (cumulated for all children) (KiB): 10748324
Max. memory (cumulated for all children) (KiB): 250148
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 21.6638
system time used= 0.160547
maximum resident set size= 250336
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34144
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= 3035
involuntary context switches= 40
# summary of solver processes directly reported to runsolver:
# pid: 11076
# total CPU time (s): 21.8244
# total CPU user time (s): 21.6638
# total CPU system time (s): 0.160547
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.134726 second user time and 0.227888 second system time
The end