2.39/1.88
2.39/1.88 AbsCon 2
2.39/1.89
2.91/2.05 Instance
2.91/2.05 name=instance-4390491-1568384857, framework=CSP
2.91/2.05
2.91/2.05 Loading variables...
2.91/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@60a81326
2.91/2.08 Loading constraints...[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5667da21
2.91/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@282b6172
2.91/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ea521f0
2.91/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3dbc9cb4
2.91/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2688ac17
2.91/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4bf4137e
2.91/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@34dd63a8
2.91/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6e391c85
2.91/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@52398231
2.91/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1d93266d
2.91/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3dbdb59b
2.91/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@44c939e3
2.91/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6b6244b2
2.91/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4854c24d
2.91/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1392b06b
2.91/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@47363024
2.91/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4af4787b
2.91/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@633b4c87
2.91/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a15d98e
2.91/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2183d1b6
2.91/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ccd0ea9
2.91/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@34e47975
2.91/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b1fb51d
2.91/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f6f635f
2.91/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2cb8e201
2.91/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7cadbea0
2.91/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@253ddccc
2.91/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4ea9c931
2.91/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3fc22fa1
2.91/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@509d851c
2.91/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2938594c
2.91/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5bae0333
2.91/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@583e73e2
2.91/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6760e2
2.91/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@253355ed
2.91/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f2b0803
2.91/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@124673ef
2.91/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@71ae981f
2.91/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@530cdc5c
2.91/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@79a9fb5
2.91/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@60e014d7
2.91/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3da719ae
2.91/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@56d175e3
2.91/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@27fe68e6
2.91/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@70eafe51
2.91/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@dc41743
2.91/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4893a797
2.91/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@73112e64
2.91/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2fecfdf5
3.18/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@195da92e
3.18/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@19d95b12
3.18/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@20f8ba58
3.18/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@32c5413b
3.18/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@40ecefc4
3.18/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5cc8f0f
3.18/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1a388775
3.18/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@20e6a6cb
3.18/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2d8bc68d
3.18/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@66cbedb8
3.18/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@51309b3c
3.18/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6d4b5cd4
3.18/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ebf5684
3.18/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3bed262b
3.18/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a598a04
3.18/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f23633c
3.18/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1032a603
3.18/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@37b4a8bf
3.18/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c0b9a38
3.18/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@dcaf9bd
3.18/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3599c2e7
3.18/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ae549bb
3.18/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e0d3604
3.18/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@cb7e8bd
3.18/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5cf70406
3.18/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@d4b0790
3.18/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ff08012
3.18/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@33a67245
3.18/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@489c83a9
3.18/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a9a0b6c
3.18/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5ef62492
3.18/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d9bdac9
3.18/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3bd1cf42
3.18/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3c3a31b3
3.18/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@38e65b94
3.18/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6db81371
3.18/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b49d8be
3.18/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@165ede15
3.18/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1ac81c3f
3.18/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4262461c
3.18/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a784198
3.18/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7cc18a95
3.18/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@38a831c2
3.18/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f645de4
3.18/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@30cfe0f2
3.18/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6d45b930
3.18/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6c6d8f32
3.18/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@655e0cf
3.18/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7447ca34
3.18/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5140941c
3.18/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@71d98dde
3.18/2.16
3.18/2.16
3.18/2.16 Domains
3.18/2.16 nTypes=1, nValues=338, sizes=[2#169]
3.18/2.16 Variables
3.18/2.16 count=169, degrees=[7#148,8#20,9#1]
3.18/2.16 Constraints
3.18/2.16 count=101, nSpecific=101, arities=[2#4,3#4,4#4,5#4...11#4,12#4,13#56,169#1]
3.18/2.16 distribution=[SumSimpleGE#26,SumSimpleLE#74,SumWeightedGE#1]
3.18/2.16 wck=0.312, cpu=2.115, mem=23M870
3.18/2.16 Solver SolverBacktrack being built...
3.18/2.16
3.18/2.19
3.18/2.19 Solver
3.18/2.19 guaranteedGAC=true
3.18/2.19 wck=0.345, cpu=2.147, mem=34M512
3.18/2.20
3.18/2.20 Preprocessing
3.18/2.20 filters=0, nACremovedValues=0, nTotalRemovedValues=0, inconcistency=false
3.18/2.20 wck=0.003, cpu=2.151, mem=34M512
3.18/2.20
3.45/2.22 num=0, depth=32..45, filters=525, wck=0.025, mem=34M512
3.45/2.22 decisions=144, wrong=56, backtracks=57, failedAssignments=10, nogoods=1
3.45/2.22
3.45/2.23 num=1, depth=48..59, filters=965, wck=0.042, mem=34M512
3.45/2.23 decisions=278, wrong=99, backtracks=101, failedAssignments=21, nogoods=3
3.45/2.23
3.45/2.24 num=2, depth=64..77, filters=1538, wck=0.05, mem=34M512
3.45/2.24 decisions=442, wrong=149, backtracks=154, failedAssignments=33, nogoods=4
3.45/2.24
3.45/2.26 num=3, depth=92..104, filters=1948, wck=0.055, mem=34M512
3.45/2.26 decisions=594, wrong=178, backtracks=180, failedAssignments=46, nogoods=6
3.45/2.26
3.45/2.26 num=4, depth=75..93, filters=2479, wck=0.061, mem=34M512
3.45/2.26 decisions=757, wrong=222, backtracks=222, failedAssignments=60, nogoods=7
3.45/2.26
3.45/2.26 num=5, depth=78..89, filters=2976, wck=0.066, mem=34M512
3.45/2.26 decisions=916, wrong=261, backtracks=255, failedAssignments=76, nogoods=9
3.45/2.26
3.45/2.27 num=6, depth=93..112, filters=3684, wck=0.071, mem=34M512
3.45/2.27 decisions=1101, wrong=307, backtracks=298, failedAssignments=93, nogoods=11
3.45/2.27
3.45/2.27 num=7, depth=93..106, filters=4438, wck=0.076, mem=34M512
3.45/2.27 decisions=1320, wrong=370, backtracks=359, failedAssignments=112, nogoods=12
3.45/2.27
3.45/2.27 num=8, depth=93..116, filters=5345, wck=0.081, mem=34M512
3.45/2.27 decisions=1540, wrong=433, backtracks=423, failedAssignments=133, nogoods=15
3.45/2.27
3.45/2.28 num=9, depth=65..81, filters=6289, wck=0.086, mem=34M512
3.45/2.28 decisions=1762, wrong=511, backtracks=498, failedAssignments=156, nogoods=17
3.45/2.28
3.45/2.28 num=10, depth=66..90, filters=7469, wck=0.091, mem=34M512
3.45/2.28 decisions=2004, wrong=599, backtracks=591, failedAssignments=181, nogoods=18
3.45/2.28
3.45/2.29 num=11, depth=75..95, filters=8617, wck=0.097, mem=34M512
3.45/2.29 decisions=2273, wrong=692, backtracks=677, failedAssignments=209, nogoods=20
3.45/2.29
3.45/2.29 num=12, depth=70..88, filters=9818, wck=0.103, mem=34M512
3.45/2.29 decisions=2563, wrong=802, backtracks=793, failedAssignments=240, nogoods=22
3.45/2.29
3.76/2.30 num=13, depth=80..97, filters=11184, wck=0.11, mem=34M512
3.76/2.30 decisions=2883, wrong=922, backtracks=917, failedAssignments=274, nogoods=23
3.76/2.30
3.76/2.31 num=14, depth=69..92, filters=12817, wck=0.117, mem=37M155
3.76/2.31 decisions=3249, wrong=1069, backtracks=1063, failedAssignments=311, nogoods=25
3.76/2.31
3.76/2.32 num=15, depth=74..112, filters=14862, wck=0.128, mem=37M155
3.76/2.32 decisions=3622, wrong=1215, backtracks=1209, failedAssignments=352, nogoods=28
3.76/2.32
3.76/2.33 num=16, depth=70..92, filters=16610, wck=0.136, mem=37M155
3.76/2.33 decisions=3994, wrong=1365, backtracks=1360, failedAssignments=397, nogoods=30
3.76/2.33
3.76/2.34 num=17, depth=44..63, filters=18958, wck=0.146, mem=37M155
3.76/2.34 decisions=4511, wrong=1600, backtracks=1606, failedAssignments=447, nogoods=32
3.76/2.34
3.76/2.35 num=18, depth=60..97, filters=21106, wck=0.154, mem=37M155
3.76/2.35 decisions=4970, wrong=1799, backtracks=1803, failedAssignments=502, nogoods=34
3.76/2.35
3.76/2.35 num=19, depth=79..97, filters=23460, wck=0.162, mem=37M155
3.76/2.35 decisions=5422, wrong=1985, backtracks=1985, failedAssignments=563, nogoods=37
3.76/2.35
3.76/2.36 num=20, depth=75..105, filters=26574, wck=0.173, mem=37M155
3.76/2.36 decisions=5963, wrong=2217, backtracks=2234, failedAssignments=630, nogoods=39
3.76/2.36
3.76/2.37 num=21, depth=82..114, filters=29631, wck=0.183, mem=37M155
3.76/2.37 decisions=6533, wrong=2458, backtracks=2479, failedAssignments=704, nogoods=41
3.76/2.37
3.76/2.38 num=22, depth=75..97, filters=32790, wck=0.193, mem=37M155
3.76/2.38 decisions=7114, wrong=2711, backtracks=2735, failedAssignments=785, nogoods=42
3.76/2.38
4.03/2.40 num=23, depth=66..100, filters=36699, wck=0.206, mem=37M155
4.03/2.40 decisions=7783, wrong=3012, backtracks=3047, failedAssignments=874, nogoods=44
4.03/2.40
4.03/2.41 num=24, depth=71..97, filters=41003, wck=0.22, mem=37M155
4.03/2.41 decisions=8617, wrong=3389, backtracks=3435, failedAssignments=972, nogoods=47
4.03/2.41
4.03/2.43 num=25, depth=74..107, filters=45650, wck=0.235, mem=37M155
4.03/2.43 decisions=9411, wrong=3748, backtracks=3789, failedAssignments=1080, nogoods=49
4.03/2.43
4.03/2.44 num=26, depth=71..95, filters=50637, wck=0.251, mem=39M797
4.03/2.44 decisions=10276, wrong=4142, backtracks=4181, failedAssignments=1199, nogoods=52
4.03/2.44
4.03/2.46 num=27, depth=74..103, filters=55785, wck=0.266, mem=39M797
4.03/2.46 decisions=11266, wrong=4594, backtracks=4646, failedAssignments=1330, nogoods=54
4.03/2.46
4.03/2.48 num=28, depth=71..97, filters=62107, wck=0.284, mem=39M797
4.03/2.48 decisions=12385, wrong=5118, backtracks=5188, failedAssignments=1474, nogoods=55
4.03/2.48
4.03/2.49 num=29, depth=75..108, filters=68874, wck=0.304, mem=39M797
4.03/2.49 decisions=13595, wrong=5684, backtracks=5755, failedAssignments=1632, nogoods=57
4.03/2.49
4.26/2.51 num=30, depth=79..111, filters=75828, wck=0.323, mem=39M797
4.26/2.51 decisions=14763, wrong=6228, backtracks=6307, failedAssignments=1806, nogoods=61
4.26/2.51
4.26/2.54 num=31, depth=67..102, filters=84332, wck=0.348, mem=39M797
4.26/2.54 decisions=16159, wrong=6890, backtracks=6979, failedAssignments=1997, nogoods=65
4.26/2.54
4.26/2.57 num=32, depth=68..104, filters=93789, wck=0.376, mem=39M797
4.26/2.57 decisions=17781, wrong=7661, backtracks=7759, failedAssignments=2208, nogoods=68
4.26/2.57
4.26/2.59 num=33, depth=71..105, filters=103286, wck=0.403, mem=42M439
4.26/2.59 decisions=19585, wrong=8522, backtracks=8654, failedAssignments=2440, nogoods=71
4.26/2.59
4.36/2.62 num=34, depth=69..106, filters=113542, wck=0.432, mem=42M439
4.36/2.62 decisions=21360, wrong=9373, backtracks=9541, failedAssignments=2695, nogoods=75
4.36/2.62
4.36/2.66 num=35, depth=59..100, filters=125796, wck=0.468, mem=42M439
4.36/2.66 decisions=23565, wrong=10445, backtracks=10643, failedAssignments=2976, nogoods=79
4.36/2.66
4.46/2.70 num=36, depth=61..99, filters=138378, wck=0.505, mem=42M439
4.46/2.70 decisions=25740, wrong=11502, backtracks=11735, failedAssignments=3285, nogoods=83
4.46/2.70
4.46/2.74 num=37, depth=64..109, filters=152401, wck=0.545, mem=45M82
4.46/2.74 decisions=28162, wrong=12674, backtracks=12941, failedAssignments=3625, nogoods=85
4.46/2.74
4.46/2.78 num=38, depth=59..99, filters=167972, wck=0.592, mem=45M82
4.46/2.78 decisions=30787, wrong=13952, backtracks=14253, failedAssignments=3999, nogoods=88
4.46/2.78
4.56/2.83 num=39, depth=58..106, filters=184986, wck=0.642, mem=47M724
4.56/2.83 decisions=33971, wrong=15510, backtracks=15858, failedAssignments=4410, nogoods=90
4.56/2.83
4.56/2.88 num=40, depth=57..94, filters=201581, wck=0.692, mem=47M724
4.56/2.88 decisions=36930, wrong=16957, backtracks=17337, failedAssignments=4862, nogoods=93
4.56/2.88
4.66/2.94 num=41, depth=49..92, filters=220868, wck=0.751, mem=47M724
4.66/2.94 decisions=40303, wrong=18612, backtracks=19052, failedAssignments=5359, nogoods=96
4.66/2.94
4.66/3.00 num=42, depth=56..99, filters=239923, wck=0.808, mem=50M367
4.66/3.00 decisions=43725, wrong=20291, backtracks=20773, failedAssignments=5906, nogoods=99
4.66/3.00
4.77/3.08 num=43, depth=51..95, filters=265166, wck=0.884, mem=50M367
4.77/3.08 decisions=48292, wrong=22547, backtracks=23136, failedAssignments=6508, nogoods=102
4.77/3.08
4.87/3.15 num=44, depth=52..104, filters=293379, wck=0.963, mem=53M9
4.87/3.15 decisions=53095, wrong=24922, backtracks=25602, failedAssignments=7170, nogoods=106
4.87/3.15
4.96/3.24 num=45, depth=50..106, filters=323386, wck=1.052, mem=55M652
4.96/3.24 decisions=58659, wrong=27675, backtracks=28434, failedAssignments=7898, nogoods=111
4.96/3.24
5.06/3.34 num=46, depth=50..105, filters=356559, wck=1.15, mem=55M652
5.06/3.34 decisions=64580, wrong=30606, backtracks=31432, failedAssignments=8699, nogoods=115
5.06/3.34
5.16/3.46 num=47, depth=47..109, filters=395224, wck=1.264, mem=58M294
5.16/3.46 decisions=71537, wrong=34053, backtracks=34968, failedAssignments=9580, nogoods=117
5.16/3.46
5.26/3.58 num=48, depth=49..108, filters=436001, wck=1.384, mem=60M937
5.26/3.58 decisions=78527, wrong=37521, backtracks=38558, failedAssignments=10550, nogoods=121
5.26/3.58
5.46/3.70 num=49, depth=48..109, filters=476494, wck=1.505, mem=63M579
5.46/3.70 decisions=85989, wrong=41228, backtracks=42394, failedAssignments=11617, nogoods=125
5.46/3.70
5.61/3.84 num=50, depth=45..91, filters=524637, wck=1.647, mem=66M221
5.61/3.84 decisions=94565, wrong=45491, backtracks=46770, failedAssignments=12790, nogoods=130
5.61/3.84
5.85/4.01 num=51, depth=36..100, filters=580863, wck=1.815, mem=68M864
5.85/4.01 decisions=105183, wrong=50780, backtracks=52261, failedAssignments=14081, nogoods=133
5.85/4.01
5.95/4.19 num=52, depth=36..107, filters=643090, wck=2.002, mem=74M149
5.95/4.19 decisions=116061, wrong=56195, backtracks=57782, failedAssignments=15501, nogoods=135
5.95/4.19
6.14/4.39 num=53, depth=42..111, filters=708131, wck=2.195, mem=76M791
6.14/4.39 decisions=127539, wrong=61912, backtracks=63729, failedAssignments=17063, nogoods=139
6.14/4.39
6.44/4.60 num=54, depth=32..100, filters=779991, wck=2.413, mem=82M76
6.44/4.60 decisions=141378, wrong=68813, backtracks=70808, failedAssignments=18781, nogoods=143
6.44/4.60
6.64/4.86 num=55, depth=44..103, filters=869569, wck=2.665, mem=87M361
6.64/4.86 decisions=156860, wrong=76526, backtracks=78742, failedAssignments=20671, nogoods=147
6.64/4.86
6.98/5.12 num=56, depth=26..97, filters=957330, wck=2.932, mem=92M646
6.98/5.12 decisions=174071, wrong=85111, backtracks=87512, failedAssignments=22750, nogoods=150
6.98/5.12
7.27/5.40 num=57, depth=38..111, filters=1053493, wck=3.212, mem=97M931
7.27/5.40 decisions=191409, wrong=93759, backtracks=96417, failedAssignments=25037, nogoods=153
7.27/5.40
7.57/5.74 num=58, depth=31..113, filters=1168480, wck=3.545, mem=105M858
7.57/5.74 decisions=212621, wrong=104346, backtracks=107224, failedAssignments=27553, nogoods=156
7.57/5.74
7.88/6.09 num=59, depth=38..90, filters=1290481, wck=3.894, mem=111M143
7.88/6.09 decisions=234646, wrong=115331, backtracks=118538, failedAssignments=30321, nogoods=160
7.88/6.09
8.27/6.49 num=60, depth=30..106, filters=1425888, wck=4.302, mem=119M70
8.27/6.49 decisions=260305, wrong=128144, backtracks=131608, failedAssignments=33365, nogoods=164
8.27/6.49
8.77/6.91 num=61, depth=32..100, filters=1567952, wck=4.718, mem=126M998
8.77/6.91 decisions=285907, wrong=140925, backtracks=144692, failedAssignments=36714, nogoods=168
8.77/6.91
9.17/7.39 num=62, depth=29..98, filters=1731621, wck=5.203, mem=137M567
9.17/7.39 decisions=319328, wrong=157612, backtracks=161937, failedAssignments=40398, nogoods=171
9.17/7.39
9.80/7.95 num=63, depth=27..97, filters=1916515, wck=5.756, mem=25M110
9.80/7.95 decisions=354839, wrong=175352, backtracks=180007, failedAssignments=44450, nogoods=175
9.80/7.95
10.40/8.52 num=64, depth=25..103, filters=2114952, wck=6.325, mem=38M190
10.40/8.52 decisions=393728, wrong=194783, backtracks=199910, failedAssignments=48907, nogoods=179
10.40/8.52
11.01/9.13 num=65, depth=27..103, filters=2337300, wck=6.943, mem=51M270
11.01/9.13 decisions=436655, wrong=216225, backtracks=221801, failedAssignments=53810, nogoods=182
11.01/9.13
11.71/9.86 num=66, depth=27..107, filters=2593153, wck=7.67, mem=66M966
11.71/9.86 decisions=486262, wrong=241008, backtracks=247110, failedAssignments=59204, nogoods=187
11.71/9.86
12.51/10.64 num=67, depth=27..105, filters=2869317, wck=8.453, mem=82M662
12.51/10.64 decisions=539739, wrong=267726, backtracks=274443, failedAssignments=65137, nogoods=191
12.51/10.64
13.41/11.54 num=68, depth=27..108, filters=3189779, wck=9.35, mem=100M974
13.41/11.54 decisions=601478, wrong=298579, backtracks=306000, failedAssignments=71663, nogoods=194
13.41/11.54
14.31/12.47 num=69, depth=18..97, filters=3511401, wck=10.281, mem=121M902
14.31/12.47 decisions=665803, wrong=330720, backtracks=339112, failedAssignments=78842, nogoods=197
14.31/12.47
15.41/13.54 num=70, depth=20..108, filters=3874383, wck=11.348, mem=142M830
15.41/13.54 decisions=736569, wrong=366088, backtracks=375397, failedAssignments=86739, nogoods=200
15.41/13.54
16.64/14.75 num=71, depth=14..112, filters=4278963, wck=12.555, mem=35M605
16.64/14.75 decisions=819372, wrong=407474, backtracks=417869, failedAssignments=95426, nogoods=204
16.64/14.75
17.95/16.06 num=72, depth=15..102, filters=4709545, wck=13.868, mem=64M483
17.95/16.06 decisions=906318, wrong=450935, backtracks=462603, failedAssignments=104981, nogoods=208
17.95/16.06
19.44/17.56 num=73, depth=11..107, filters=5201923, wck=15.372, mem=95M985
19.44/17.56 decisions=1008092, wrong=501796, backtracks=514767, failedAssignments=115492, nogoods=213
19.44/17.56
21.14/19.24 num=74, depth=10..106, filters=5747749, wck=17.051, mem=130M114
21.14/19.24 decisions=1121589, wrong=558528, backtracks=573164, failedAssignments=127054, nogoods=217
21.14/19.24
23.08/21.13 num=75, depth=6..92, filters=6353593, wck=18.938, mem=38M844
23.08/21.13 decisions=1248574, wrong=622016, backtracks=638409, failedAssignments=139772, nogoods=221
23.08/21.13
24.78/22.81 num=76, depth=0..98, filters=6861634, wck=20.62, mem=73M646
24.78/22.81 decisions=1353230, wrong=674345, backtracks=691934, failedAssignments=149308, nogoods=221
24.78/22.81
24.78/22.81 Global
24.78/22.81 filters=6861634, nogoods=221
24.78/22.81 Stop=FULL_EXPLORATION, wrong=674345, wck=20.965, cpu=22.732, mem=73M646
24.78/22.81
24.78/22.81 s UNSATISFIABLE
24.78/22.81
24.78/22.81 d WRONG_DECISIONS 674345
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 (14938 MiB free)
memory of node 1: 16384 MiB (15637 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390491-1568384857/watcher-4390491-1568384857 -o /tmp/evaluation-result-4390491-1568384857/solver-4390491-1568384857 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node121-1568380474-30429 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4390491-1568384857.xml -cm
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=32763, runsolver pid=32760
[startup+0.100152 s]*
/proc/loadavg: 2.00 1.96 1.88 5/228 311
/proc/meminfo: memFree=31291144/32770624 swapFree=66981436/67108860
[pid=32763] ppid=32760 vsize=10659884 memory=31920 CPUtime=0.14 cores=1,3,5,7
/proc/32763/stat : 32763 (java) S 32760 32763 30397 0 -1 1077944320 5993 0 0 0 13 1 0 0 20 0 15 0 414748412 10915721216 7980 33554432000 4194304 4196468 140735013261936 140735013244480 139789012106999 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 8876032 140735013270539 140735013270642 140735013270642 140735013273551 0
/proc/32763/statm: 2664971 7980 2910 1 0 2627468 0
[pid=32763/tid=32765] ppid=32760 vsize=10659884 memory=-8701690554792448890 CPUtime=0.09 cores=1,3,5,7
/proc/32763/task/32765/stat : 32765 (java) R 32760 32763 30397 0 -1 4202560 3385 0 0 0 9 0 0 0 20 0 15 0 414748412 10915721216 7980 33554432000 4194304 4196468 140735013261936 139789016336584 139789012128925 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8876032 140735013270539 140735013270642 140735013270642 140735013273551 0
[pid=32763/tid=32766] ppid=32760 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32763/task/32766/stat : 32766 (java) S 32760 32763 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414748413 10915721216 7980 33554432000 4194304 4196468 140735013261936 139788973067024 139789012117205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8876032 140735013270539 140735013270642 140735013270642 140735013273551 0
[pid=32763/tid=32767] ppid=32760 vsize=10659884 memory=139757124703872 CPUtime=0 cores=1,3,5,7
/proc/32763/task/32767/stat : 32767 (java) S 32760 32763 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414748413 10915721216 7980 33554432000 4194304 4196468 140735013261936 139788618013584 139789012117205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8876032 140735013270539 140735013270642 140735013270642 140735013273551 0
[pid=32763/tid=300] ppid=32760 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32763/task/300/stat : 300 (java) S 32760 32763 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414748413 10915721216 7980 33554432000 4194304 4196468 140735013261936 139788616961040 139789012117205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8876032 140735013270539 140735013270642 140735013270642 140735013273551 0
[pid=32763/tid=301] ppid=32760 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32763/task/301/stat : 301 (java) S 32760 32763 30397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414748413 10915721216 7980 33554432000 4194304 4196468 140735013261936 139788615908496 139789012117205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8876032 140735013270539 140735013270642 140735013270642 140735013273551 0
[pid=32763/tid=303] ppid=32760 vsize=10659884 memory=139757124703872 CPUtime=0 cores=1,3,5,7
/proc/32763/task/303/stat : 303 (java) S 32760 32763 30397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414748414 10915721216 7980 33554432000 4194304 4196468 140735013261936 139788571281392 139789012118146 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8876032 140735013270539 140735013270642 140735013270642 140735013273551 0
[pid=32763/tid=304] ppid=32760 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32763/task/304/stat : 304 (java) S 32760 32763 30397 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414748414 10915721216 7980 33554432000 4194304 4196468 140735013261936 139788570227616 139789012117205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8876032 140735013270539 140735013270642 140735013270642 140735013273551 0
[pid=32763/tid=305] ppid=32760 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32763/task/305/stat : 305 (java) S 32760 32763 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414748415 10915721216 7980 33554432000 4194304 4196468 140735013261936 139788112880624 139789012117205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8876032 140735013270539 140735013270642 140735013270642 140735013273551 0
[pid=32763/tid=306] ppid=32760 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32763/task/306/stat : 306 (java) S 32760 32763 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414748417 10915721216 7980 33554432000 4194304 4196468 140735013261936 139788111829200 139789012125595 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8876032 140735013270539 140735013270642 140735013270642 140735013273551 0
[pid=32763/tid=307] ppid=32760 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32763/task/307/stat : 307 (java) S 32760 32763 30397 0 -1 1077944384 563 0 0 0 0 0 0 0 20 0 15 0 414748417 10915721216 7980 33554432000 4194304 4196468 140735013261936 139788110776816 139789012118146 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8876032 140735013270539 140735013270642 140735013270642 140735013273551 0
[pid=32763/tid=308] ppid=32760 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32763/task/308/stat : 308 (java) S 32760 32763 30397 0 -1 1077944384 113 0 0 0 0 0 0 0 20 0 15 0 414748417 10915721216 7980 33554432000 4194304 4196468 140735013261936 139788109724272 139789012118146 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8876032 140735013270539 140735013270642 140735013270642 140735013273551 0
[pid=32763/tid=309] ppid=32760 vsize=10659884 memory=139757124703872 CPUtime=0.02 cores=1,3,5,7
/proc/32763/task/309/stat : 309 (java) R 32760 32763 30397 0 -1 4202560 593 0 0 0 2 0 0 0 20 0 15 0 414748417 10915721216 7980 33554432000 4194304 4196468 140735013261936 139788108666104 139788990727968 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8876032 140735013270539 140735013270642 140735013270642 140735013273551 0
[pid=32763/tid=310] ppid=32760 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32763/task/310/stat : 310 (java) S 32760 32763 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414748417 10915721216 7980 33554432000 4194304 4196468 140735013261936 139788107619424 139789012117205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8876032 140735013270539 140735013270642 140735013270642 140735013273551 0
[pid=32763/tid=311] ppid=32760 vsize=10659884 memory=139757124703872 CPUtime=0 cores=1,3,5,7
/proc/32763/task/311/stat : 311 (java) S 32760 32763 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414748418 10915721216 7980 33554432000 4194304 4196468 140735013261936 139788106565936 139789012118146 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8876032 140735013270539 140735013270642 140735013270642 140735013273551 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 31920 KiB
[startup+0.210742 s]*
/proc/loadavg: 2.00 1.96 1.88 4/228 311
/proc/meminfo: memFree=31280944/32770624 swapFree=66981436/67108860
[pid=32763] ppid=32760 vsize=10659884 memory=39160 CPUtime=0.33 cores=1,3,5,7
/proc/32763/stat : 32763 (java) S 32760 32763 30397 0 -1 1077944320 8982 0 0 0 31 2 0 0 20 0 15 0 414748412 10915721216 9790 33554432000 4194304 4196468 140735013261936 140735013244480 139789012106999 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 8876032 140735013270539 140735013270642 140735013270642 140735013273551 0
/proc/32763/statm: 2664971 9790 2989 1 0 2627468 0
[pid=32763/tid=32765] ppid=32760 vsize=10659884 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/32763/task/32765/stat : 32765 (java) R 32760 32763 30397 0 -1 4202560 6125 0 0 0 19 1 0 0 20 0 15 0 414748412 10915721216 9790 33554432000 4194304 4196468 140735013261936 139789016333360 139789012128925 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8876032 140735013270539 140735013270642 140735013270642 140735013273551 0
[pid=32763/tid=32766] ppid=32760 vsize=10659884 memory=342 CPUtime=0 cores=1,3,5,7
/proc/32763/task/32766/stat : 32766 (java) S 32760 32763 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414748413 10915721216 9790 33554432000 4194304 4196468 140735013261936 139788973067024 139789012117205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8876032 140735013270539 140735013270642 140735013270642 140735013273551 0
[pid=32763/tid=32767] ppid=32760 vsize=10659884 memory=288370133276415616 CPUtime=0 cores=1,3,5,7
/proc/32763/task/32767/stat : 32767 (java) S 32760 32763 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414748413 10915721216 9790 33554432000 4194304 4196468 140735013261936 139788618013584 139789012117205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8876032 140735013270539 140735013270642 140735013270642 140735013273551 0
[pid=32763/tid=300] ppid=32760 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32763/task/300/stat : 300 (java) S 32760 32763 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414748413 10915721216 9790 33554432000 4194304 4196468 140735013261936 139788616961040 139789012117205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8876032 140735013270539 140735013270642 140735013270642 140735013273551 0
[pid=32763/tid=301] ppid=32760 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32763/task/301/stat : 301 (java) S 32760 32763 30397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414748413 10915721216 9790 33554432000 4194304 4196468 140735013261936 139788615908496 139789012117205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8876032 140735013270539 140735013270642 140735013270642 140735013273551 0
[pid=32763/tid=303] ppid=32760 vsize=10659884 memory=139757124703872 CPUtime=0 cores=1,3,5,7
/proc/32763/task/303/stat : 303 (java) S 32760 32763 30397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414748414 10915721216 9790 33554432000 4194304 4196468 140735013261936 139788571281392 139789012118146 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8876032 140735013270539 140735013270642 140735013270642 140735013273551 0
[pid=32763/tid=304] ppid=32760 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32763/task/304/stat : 304 (java) S 32760 32763 30397 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414748414 10915721216 9790 33554432000 4194304 4196468 140735013261936 139788570227616 139789012117205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8876032 140735013270539 140735013270642 140735013270642 140735013273551 0
[pid=32763/tid=305] ppid=32760 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32763/task/305/stat : 305 (java) S 32760 32763 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414748415 10915721216 9790 33554432000 4194304 4196468 140735013261936 139788112880624 139789012117205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8876032 140735013270539 140735013270642 140735013270642 140735013273551 0
[pid=32763/tid=306] ppid=32760 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32763/task/306/stat : 306 (java) S 32760 32763 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414748417 10915721216 9790 33554432000 4194304 4196468 140735013261936 139788111829200 139789012125595 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8876032 140735013270539 140735013270642 140735013270642 140735013273551 0
[pid=32763/tid=307] ppid=32760 vsize=10659884 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/32763/task/307/stat : 307 (java) S 32760 32763 30397 0 -1 1077944384 684 0 0 0 3 0 0 0 20 0 15 0 414748417 10915721216 9790 33554432000 4194304 4196468 140735013261936 139788110776816 139789012118146 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8876032 140735013270539 140735013270642 140735013270642 140735013273551 0
[pid=32763/tid=308] ppid=32760 vsize=10659884 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/32763/task/308/stat : 308 (java) S 32760 32763 30397 0 -1 1077944384 212 0 0 0 2 0 0 0 20 0 15 0 414748417 10915721216 9790 33554432000 4194304 4196468 140735013261936 139788109724272 139789012118146 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8876032 140735013270539 140735013270642 140735013270642 140735013273551 0
[pid=32763/tid=309] ppid=32760 vsize=10659884 memory=139757124703872 CPUtime=0.05 cores=1,3,5,7
/proc/32763/task/309/stat : 309 (java) S 32760 32763 30397 0 -1 1077944384 622 0 0 0 5 0 0 0 20 0 15 0 414748417 10915721216 9790 33554432000 4194304 4196468 140735013261936 139788108671728 139789012118146 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8876032 140735013270539 140735013270642 140735013270642 140735013273551 0
[pid=32763/tid=310] ppid=32760 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32763/task/310/stat : 310 (java) S 32760 32763 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414748417 10915721216 9790 33554432000 4194304 4196468 140735013261936 139788107619424 139789012117205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8876032 140735013270539 140735013270642 140735013270642 140735013273551 0
[pid=32763/tid=311] ppid=32760 vsize=10659884 memory=139757124703872 CPUtime=0 cores=1,3,5,7
/proc/32763/task/311/stat : 311 (java) S 32760 32763 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414748418 10915721216 9790 33554432000 4194304 4196468 140735013261936 139788106565936 139789012118146 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8876032 140735013270539 140735013270642 140735013270642 140735013273551 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 39160 KiB
[startup+0.310258 s]*
/proc/loadavg: 2.00 1.96 1.88 4/228 311
/proc/meminfo: memFree=31278772/32770624 swapFree=66981436/67108860
[pid=32763] ppid=32760 vsize=10659884 memory=41980 CPUtime=0.48 cores=1,3,5,7
/proc/32763/stat : 32763 (java) S 32760 32763 30397 0 -1 1077944320 9343 0 0 0 45 3 0 0 20 0 15 0 414748412 10915721216 10495 33554432000 4194304 4196468 140735013261936 140735013244480 139789012106999 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 8876032 140735013270539 140735013270642 140735013270642 140735013273551 0
/proc/32763/statm: 2664971 10495 3002 1 0 2627468 0
[pid=32763/tid=32765] ppid=32760 vsize=10659884 memory=7022364594140610616 CPUtime=0.3 cores=1,3,5,7
/proc/32763/task/32765/stat : 32765 (java) R 32760 32763 30397 0 -1 4202560 6400 0 0 0 28 2 0 0 20 0 15 0 414748412 10915721216 10495 33554432000 4194304 4196468 140735013261936 139789016327152 139788990370615 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8876032 140735013270539 140735013270642 140735013270642 140735013273551 0
[pid=32763/tid=32766] ppid=32760 vsize=10659884 memory=4297963160 CPUtime=0 cores=1,3,5,7
/proc/32763/task/32766/stat : 32766 (java) S 32760 32763 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414748413 10915721216 10495 33554432000 4194304 4196468 140735013261936 139788973067024 139789012117205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8876032 140735013270539 140735013270642 140735013270642 140735013273551 0
[pid=32763/tid=32767] ppid=32760 vsize=10659884 memory=288370133276415616 CPUtime=0 cores=1,3,5,7
/proc/32763/task/32767/stat : 32767 (java) S 32760 32763 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414748413 10915721216 10495 33554432000 4194304 4196468 140735013261936 139788618013584 139789012117205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8876032 140735013270539 140735013270642 140735013270642 140735013273551 0
[pid=32763/tid=300] ppid=32760 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32763/task/300/stat : 300 (java) S 32760 32763 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414748413 10915721216 10495 33554432000 4194304 4196468 140735013261936 139788616961040 139789012117205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8876032 140735013270539 140735013270642 140735013270642 140735013273551 0
[pid=32763/tid=301] ppid=32760 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32763/task/301/stat : 301 (java) S 32760 32763 30397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414748413 10915721216 10495 33554432000 4194304 4196468 140735013261936 139788615908496 139789012117205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8876032 140735013270539 140735013270642 140735013270642 140735013273551 0
[pid=32763/tid=303] ppid=32760 vsize=10659884 memory=139757124703872 CPUtime=0 cores=1,3,5,7
/proc/32763/task/303/stat : 303 (java) S 32760 32763 30397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414748414 10915721216 10495 33554432000 4194304 4196468 140735013261936 139788571281392 139789012118146 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8876032 140735013270539 140735013270642 140735013270642 140735013273551 0
[pid=32763/tid=304] ppid=32760 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32763/task/304/stat : 304 (java) S 32760 32763 30397 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414748414 10915721216 10495 33554432000 4194304 4196468 140735013261936 139788570227616 139789012117205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8876032 140735013270539 140735013270642 140735013270642 140735013273551 0
[pid=32763/tid=305] ppid=32760 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32763/task/305/stat : 305 (java) S 32760 32763 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414748415 10915721216 10495 33554432000 4194304 4196468 140735013261936 139788112880624 139789012117205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8876032 140735013270539 140735013270642 140735013270642 140735013273551 0
[pid=32763/tid=306] ppid=32760 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32763/task/306/stat : 306 (java) S 32760 32763 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414748417 10915721216 10495 33554432000 4194304 4196468 140735013261936 139788111829200 139789012125595 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8876032 140735013270539 140735013270642 140735013270642 140735013273551 0
[pid=32763/tid=307] ppid=32760 vsize=10659884 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/32763/task/307/stat : 307 (java) R 32760 32763 30397 0 -1 4202560 692 0 0 0 4 0 0 0 20 0 15 0 414748417 10915721216 10495 33554432000 4194304 4196468 140735013261936 139788110768320 139788992806356 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8876032 140735013270539 140735013270642 140735013270642 140735013273551 0
[pid=32763/tid=308] ppid=32760 vsize=10659884 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/32763/task/308/stat : 308 (java) S 32760 32763 30397 0 -1 1077944384 252 0 0 0 3 0 0 0 20 0 15 0 414748417 10915721216 10495 33554432000 4194304 4196468 140735013261936 139788109724272 139789012118146 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8876032 140735013270539 140735013270642 140735013270642 140735013273551 0
[pid=32763/tid=309] ppid=32760 vsize=10659884 memory=139757124703872 CPUtime=0.08 cores=1,3,5,7
/proc/32763/task/309/stat : 309 (java) S 32760 32763 30397 0 -1 1077944384 660 0 0 0 8 0 0 0 20 0 15 0 414748417 10915721216 10495 33554432000 4194304 4196468 140735013261936 139788108671728 139789012118146 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8876032 140735013270539 140735013270642 140735013270642 140735013273551 0
[pid=32763/tid=310] ppid=32760 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32763/task/310/stat : 310 (java) S 32760 32763 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414748417 10915721216 10495 33554432000 4194304 4196468 140735013261936 139788107619424 139789012117205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8876032 140735013270539 140735013270642 140735013270642 140735013273551 0
[pid=32763/tid=311] ppid=32760 vsize=10659884 memory=139757124703872 CPUtime=0 cores=1,3,5,7
/proc/32763/task/311/stat : 311 (java) S 32760 32763 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414748418 10915721216 10495 33554432000 4194304 4196468 140735013261936 139788106565936 139789012118146 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8876032 140735013270539 140735013270642 140735013270642 140735013273551 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 41980 KiB
[startup+0.700976 s]
/proc/loadavg: 2.00 1.96 1.88 3/228 311
/proc/meminfo: memFree=31269868/32770624 swapFree=66981436/67108860
[pid=32763] ppid=32760 vsize=10661932 memory=64276 CPUtime=1.09 cores=1,3,5,7
/proc/32763/stat : 32763 (java) S 32760 32763 30397 0 -1 1077944320 12504 0 0 0 103 6 0 0 20 0 15 0 414748412 10917818368 16069 33554432000 4194304 4196468 140735013261936 140735013244480 139789012106999 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 8876032 140735013270539 140735013270642 140735013270642 140735013273551 0
/proc/32763/statm: 2665483 16069 3074 1 0 2627980 0
[pid=32763/tid=32765] ppid=32760 vsize=10661932 memory=141058402948237 CPUtime=0.67 cores=1,3,5,7
/proc/32763/task/32765/stat : 32765 (java) R 32760 32763 30397 0 -1 4202560 8800 0 0 0 64 3 0 0 20 0 15 0 414748412 10917818368 16069 33554432000 4194304 4196468 140735013261936 139789016332880 139788990551399 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8876032 140735013270539 140735013270642 140735013270642 140735013273551 0
[pid=32763/tid=32766] ppid=32760 vsize=10661932 memory=3158301 CPUtime=0 cores=1,3,5,7
/proc/32763/task/32766/stat : 32766 (java) S 32760 32763 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414748413 10917818368 16069 33554432000 4194304 4196468 140735013261936 139788973067024 139789012117205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8876032 140735013270539 140735013270642 140735013270642 140735013273551 0
[pid=32763/tid=32767] ppid=32760 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32763/task/32767/stat : 32767 (java) S 32760 32763 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414748413 10917818368 16069 33554432000 4194304 4196468 140735013261936 139788618013584 139789012117205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8876032 140735013270539 140735013270642 140735013270642 140735013273551 0
[pid=32763/tid=300] ppid=32760 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32763/task/300/stat : 300 (java) S 32760 32763 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414748413 10917818368 16069 33554432000 4194304 4196468 140735013261936 139788616961040 139789012117205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8876032 140735013270539 140735013270642 140735013270642 140735013273551 0
[pid=32763/tid=301] ppid=32760 vsize=10661932 memory=7809523229951467570 CPUtime=0 cores=1,3,5,7
/proc/32763/task/301/stat : 301 (java) S 32760 32763 30397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414748413 10917818368 16069 33554432000 4194304 4196468 140735013261936 139788615908496 139789012117205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8876032 140735013270539 140735013270642 140735013270642 140735013273551 0
[pid=32763/tid=303] ppid=32760 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32763/task/303/stat : 303 (java) S 32760 32763 30397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414748414 10917818368 16069 33554432000 4194304 4196468 140735013261936 139788571281392 139789012118146 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8876032 140735013270539 140735013270642 140735013270642 140735013273551 0
[pid=32763/tid=304] ppid=32760 vsize=10661932 memory=-3535359994705171041 CPUtime=0 cores=1,3,5,7
/proc/32763/task/304/stat : 304 (java) S 32760 32763 30397 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414748414 10917818368 16069 33554432000 4194304 4196468 140735013261936 139788570227616 139789012117205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8876032 140735013270539 140735013270642 140735013270642 140735013273551 0
[pid=32763/tid=305] ppid=32760 vsize=10661932 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/32763/task/305/stat : 305 (java) S 32760 32763 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414748415 10917818368 16069 33554432000 4194304 4196468 140735013261936 139788112880624 139789012117205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8876032 140735013270539 140735013270642 140735013270642 140735013273551 0
[pid=32763/tid=306] ppid=32760 vsize=10661932 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/32763/task/306/stat : 306 (java) S 32760 32763 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414748417 10917818368 16069 33554432000 4194304 4196468 140735013261936 139788111829200 139789012125595 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8876032 140735013270539 140735013270642 140735013270642 140735013273551 0
[pid=32763/tid=307] ppid=32760 vsize=10661932 memory=6944656592455360604 CPUtime=0.09 cores=1,3,5,7
/proc/32763/task/307/stat : 307 (java) S 32760 32763 30397 0 -1 1077944384 895 0 0 0 9 0 0 0 20 0 15 0 414748417 10917818368 16069 33554432000 4194304 4196468 140735013261936 139788110776816 139789012118146 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8876032 140735013270539 140735013270642 140735013270642 140735013273551 0
[pid=32763/tid=308] ppid=32760 vsize=10661932 memory=6944656592455360604 CPUtime=0.09 cores=1,3,5,7
/proc/32763/task/308/stat : 308 (java) R 32760 32763 30397 0 -1 4202560 471 0 0 0 9 0 0 0 20 0 15 0 414748417 10917818368 16069 33554432000 4194304 4196468 140735013261936 139788109724272 139788997006506 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8876032 140735013270539 140735013270642 140735013270642 140735013273551 0
[pid=32763/tid=309] ppid=32760 vsize=10661932 memory=0 CPUtime=0.18 cores=1,3,5,7
/proc/32763/task/309/stat : 309 (java) S 32760 32763 30397 0 -1 1077944384 999 0 0 0 18 0 0 0 20 0 15 0 414748417 10917818368 16069 33554432000 4194304 4196468 140735013261936 139788108671728 139789012118146 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8876032 140735013270539 140735013270642 140735013270642 140735013273551 0
[pid=32763/tid=310] ppid=32760 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32763/task/310/stat : 310 (java) S 32760 32763 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414748417 10917818368 16069 33554432000 4194304 4196468 140735013261936 139788107619424 139789012117205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8876032 140735013270539 140735013270642 140735013270642 140735013273551 0
[pid=32763/tid=311] ppid=32760 vsize=10661932 memory=2120 CPUtime=0 cores=1,3,5,7
/proc/32763/task/311/stat : 311 (java) S 32760 32763 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414748418 10917818368 16076 33554432000 4194304 4196468 140735013261936 139788106565936 139789012118146 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8876032 140735013270539 140735013270642 140735013270642 140735013273551 0
Current children cumulated CPU time: 1.09 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 64276 KiB
[startup+1.50075 s]
/proc/loadavg: 2.00 1.96 1.88 3/228 311
/proc/meminfo: memFree=31253304/32770624 swapFree=66981436/67108860
[pid=32763] ppid=32760 vsize=10663980 memory=76800 CPUtime=1.98 cores=1,3,5,7
/proc/32763/stat : 32763 (java) S 32760 32763 30397 0 -1 1077944320 16128 0 0 0 192 6 0 0 20 0 15 0 414748412 10919915520 19200 33554432000 4194304 4196468 140735013261936 140735013244480 139789012106999 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 8876032 140735013270539 140735013270642 140735013270642 140735013273551 0
/proc/32763/statm: 2665995 19200 3094 1 0 2628492 0
[pid=32763/tid=32765] ppid=32760 vsize=10663980 memory=2996107 CPUtime=1.48 cores=1,3,5,7
/proc/32763/task/32765/stat : 32765 (java) R 32760 32763 30397 0 -1 4202560 11443 0 0 0 144 4 0 0 20 0 15 0 414748412 10919915520 19200 33554432000 4194304 4196468 140735013261936 139789016339024 139788995293825 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8876032 140735013270539 140735013270642 140735013270642 140735013273551 0
[pid=32763/tid=32766] ppid=32760 vsize=10663980 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/32763/task/32766/stat : 32766 (java) S 32760 32763 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414748413 10919915520 19200 33554432000 4194304 4196468 140735013261936 139788973067024 139789012117205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8876032 140735013270539 140735013270642 140735013270642 140735013273551 0
[pid=32763/tid=32767] ppid=32760 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32763/task/32767/stat : 32767 (java) S 32760 32763 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414748413 10919915520 19200 33554432000 4194304 4196468 140735013261936 139788618013584 139789012117205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8876032 140735013270539 140735013270642 140735013270642 140735013273551 0
[pid=32763/tid=300] ppid=32760 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32763/task/300/stat : 300 (java) S 32760 32763 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414748413 10919915520 19200 33554432000 4194304 4196468 140735013261936 139788616961040 139789012117205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8876032 140735013270539 140735013270642 140735013270642 140735013273551 0
[pid=32763/tid=301] ppid=32760 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32763/task/301/stat : 301 (java) S 32760 32763 30397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414748413 10919915520 19200 33554432000 4194304 4196468 140735013261936 139788615908496 139789012117205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8876032 140735013270539 140735013270642 140735013270642 140735013273551 0
[pid=32763/tid=303] ppid=32760 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32763/task/303/stat : 303 (java) S 32760 32763 30397 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 15 0 414748414 10919915520 19200 33554432000 4194304 4196468 140735013261936 139788571281392 139789012118146 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8876032 140735013270539 140735013270642 140735013270642 140735013273551 0
################
# More data... #
################
[startup+20.8007 s]
/proc/loadavg: 2.00 1.96 1.88 3/229 312
/proc/meminfo: memFree=31080320/32770624 swapFree=66981436/67108860
[pid=32763] ppid=32760 vsize=10746276 memory=253168 CPUtime=22.77 cores=1,3,5,7
/proc/32763/stat : 32763 (java) S 32760 32763 30397 0 -1 1077944320 30423 0 0 0 2262 15 0 0 20 0 16 0 414748412 11004186624 63292 33554432000 4194304 4196468 140735013261936 140735013244480 139789012106999 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 8876032 140735013270539 140735013270642 140735013270642 140735013273551 0
/proc/32763/statm: 2686569 63292 3367 1 0 2646705 0
[pid=32763/tid=32765] ppid=32760 vsize=10746276 memory=756 CPUtime=1.85 cores=1,3,5,7
/proc/32763/task/32765/stat : 32765 (java) S 32760 32763 30397 0 -1 1077944384 13139 0 0 0 180 5 0 0 20 0 16 0 414748412 11004186624 63292 33554432000 4194304 4196468 140735013261936 139789016349872 139789012117205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8876032 140735013270539 140735013270642 140735013270642 140735013273551 0
[pid=32763/tid=32766] ppid=32760 vsize=10746276 memory=1548 CPUtime=0.03 cores=1,3,5,7
/proc/32763/task/32766/stat : 32766 (java) S 32760 32763 30397 0 -1 1077944384 877 0 0 0 3 0 0 0 20 0 16 0 414748413 11004186624 63292 33554432000 4194304 4196468 140735013261936 139788973067024 139789012117205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8876032 140735013270539 140735013270642 140735013270642 140735013273551 0
[pid=32763/tid=32767] ppid=32760 vsize=10746276 memory=7972 CPUtime=0.03 cores=1,3,5,7
/proc/32763/task/32767/stat : 32767 (java) S 32760 32763 30397 0 -1 1077944384 165 0 0 0 3 0 0 0 20 0 16 0 414748413 11004186624 63292 33554432000 4194304 4196468 140735013261936 139788618013584 139789012117205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8876032 140735013270539 140735013270642 140735013270642 140735013273551 0
[pid=32763/tid=300] ppid=32760 vsize=10746276 memory=1164 CPUtime=0.03 cores=1,3,5,7
/proc/32763/task/300/stat : 300 (java) S 32760 32763 30397 0 -1 1077944384 415 0 0 0 3 0 0 0 20 0 16 0 414748413 11004186624 63292 33554432000 4194304 4196468 140735013261936 139788616961040 139789012117205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8876032 140735013270539 140735013270642 140735013270642 140735013273551 0
[pid=32763/tid=301] ppid=32760 vsize=10746276 memory=9580 CPUtime=0.03 cores=1,3,5,7
/proc/32763/task/301/stat : 301 (java) S 32760 32763 30397 0 -1 1077944384 1274 0 0 0 3 0 0 0 20 0 16 0 414748413 11004186624 63292 33554432000 4194304 4196468 140735013261936 139788615908496 139789012117205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8876032 140735013270539 140735013270642 140735013270642 140735013273551 0
[pid=32763/tid=303] ppid=32760 vsize=10746276 memory=14008 CPUtime=0.01 cores=1,3,5,7
/proc/32763/task/303/stat : 303 (java) S 32760 32763 30397 0 -1 1077944384 870 0 0 0 1 0 0 0 20 0 16 0 414748414 11004186624 63292 33554432000 4194304 4196468 140735013261936 139788571281392 139789012118146 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8876032 140735013270539 140735013270642 140735013270642 140735013273551 0
[pid=32763/tid=304] ppid=32760 vsize=10746276 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/32763/task/304/stat : 304 (java) S 32760 32763 30397 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 414748414 11004186624 63292 33554432000 4194304 4196468 140735013261936 139788570227680 139789012117205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8876032 140735013270539 140735013270642 140735013270642 140735013273551 0
[pid=32763/tid=305] ppid=32760 vsize=10746276 memory=4160 CPUtime=0 cores=1,3,5,7
/proc/32763/task/305/stat : 305 (java) S 32760 32763 30397 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 16 0 414748415 11004186624 63292 33554432000 4194304 4196468 140735013261936 139788112880640 139789012117205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8876032 140735013270539 140735013270642 140735013270642 140735013273551 0
[pid=32763/tid=306] ppid=32760 vsize=10746276 memory=1692 CPUtime=0 cores=1,3,5,7
/proc/32763/task/306/stat : 306 (java) S 32760 32763 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414748417 11004186624 63292 33554432000 4194304 4196468 140735013261936 139788111829200 139789012125595 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8876032 140735013270539 140735013270642 140735013270642 140735013273551 0
[pid=32763/tid=307] ppid=32760 vsize=10746276 memory=1028 CPUtime=0.62 cores=1,3,5,7
/proc/32763/task/307/stat : 307 (java) S 32760 32763 30397 0 -1 1077944384 1956 0 0 0 61 1 0 0 20 0 16 0 414748417 11004186624 63292 33554432000 4194304 4196468 140735013261936 139788110776816 139789012118146 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8876032 140735013270539 140735013270642 140735013270642 140735013273551 0
[pid=32763/tid=308] ppid=32760 vsize=10746276 memory=1060 CPUtime=0.72 cores=1,3,5,7
/proc/32763/task/308/stat : 308 (java) S 32760 32763 30397 0 -1 1077944384 2064 0 0 0 72 0 0 0 20 0 16 0 414748417 11004186624 63292 33554432000 4194304 4196468 140735013261936 139788109724272 139789012118146 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8876032 140735013270539 140735013270642 140735013270642 140735013273551 0
[pid=32763/tid=309] ppid=32760 vsize=10746276 memory=2828 CPUtime=0.49 cores=1,3,5,7
/proc/32763/task/309/stat : 309 (java) S 32760 32763 30397 0 -1 1077944384 2604 0 0 0 49 0 0 0 20 0 16 0 414748417 11004186624 63292 33554432000 4194304 4196468 140735013261936 139788108671728 139789012118146 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8876032 140735013270539 140735013270642 140735013270642 140735013273551 0
[pid=32763/tid=310] ppid=32760 vsize=10746276 memory=756 CPUtime=0 cores=1,3,5,7
/proc/32763/task/310/stat : 310 (java) S 32760 32763 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414748417 11004186624 63292 33554432000 4194304 4196468 140735013261936 139788107619424 139789012117205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8876032 140735013270539 140735013270642 140735013270642 140735013273551 0
[pid=32763/tid=311] ppid=32760 vsize=10746276 memory=3620 CPUtime=0 cores=1,3,5,7
/proc/32763/task/311/stat : 311 (java) S 32760 32763 30397 0 -1 1077944384 198 0 0 0 0 0 0 0 20 0 16 0 414748418 11004186624 63292 33554432000 4194304 4196468 140735013261936 139788106565936 139789012118146 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 12 0 0 6293624 6294260 8876032 140735013270539 140735013270642 140735013270642 140735013273551 0
[pid=32763/tid=312] ppid=32760 vsize=10746276 memory=19612 CPUtime=18.84 cores=1,3,5,7
/proc/32763/task/312/stat : 312 (java) R 32760 32763 30397 0 -1 4202560 5462 0 0 0 1881 3 0 0 20 0 16 0 414748600 11004186624 63292 33554432000 4194304 4196468 140735013261936 139788101024864 139788653970080 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8876032 140735013270539 140735013270642 140735013270642 140735013273551 0
Current children cumulated CPU time: 22.77 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 253168 KiB
[startup+21.6006 s]
/proc/loadavg: 2.00 1.96 1.88 3/230 314
/proc/meminfo: memFree=31067704/32770624 swapFree=66981436/67108860
[pid=32763] ppid=32760 vsize=10746276 memory=253168 CPUtime=23.57 cores=1,3,5,7
/proc/32763/stat : 32763 (java) S 32760 32763 30397 0 -1 1077944320 30434 0 0 0 2342 15 0 0 20 0 16 0 414748412 11004186624 63292 33554432000 4194304 4196468 140735013261936 140735013244480 139789012106999 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 8876032 140735013270539 140735013270642 140735013270642 140735013273551 0
/proc/32763/statm: 2686569 63292 3367 1 0 2646705 0
[pid=32763/tid=32765] ppid=32760 vsize=10746276 memory=0 CPUtime=1.85 cores=1,3,5,7
/proc/32763/task/32765/stat : 32765 (java) S 32760 32763 30397 0 -1 1077944384 13139 0 0 0 180 5 0 0 20 0 16 0 414748412 11004186624 63292 33554432000 4194304 4196468 140735013261936 139789016349872 139789012117205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8876032 140735013270539 140735013270642 140735013270642 140735013273551 0
[pid=32763/tid=32766] ppid=32760 vsize=10746276 memory=6791534058613427641 CPUtime=0.03 cores=1,3,5,7
/proc/32763/task/32766/stat : 32766 (java) S 32760 32763 30397 0 -1 1077944384 877 0 0 0 3 0 0 0 20 0 16 0 414748413 11004186624 63292 33554432000 4194304 4196468 140735013261936 139788973067024 139789012117205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8876032 140735013270539 140735013270642 140735013270642 140735013273551 0
[pid=32763/tid=32767] ppid=32760 vsize=10746276 memory=19612 CPUtime=0.03 cores=1,3,5,7
/proc/32763/task/32767/stat : 32767 (java) S 32760 32763 30397 0 -1 1077944384 165 0 0 0 3 0 0 0 20 0 16 0 414748413 11004186624 63292 33554432000 4194304 4196468 140735013261936 139788618013584 139789012117205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8876032 140735013270539 140735013270642 140735013270642 140735013273551 0
[pid=32763/tid=300] ppid=32760 vsize=10746276 memory=2004 CPUtime=0.03 cores=1,3,5,7
/proc/32763/task/300/stat : 300 (java) S 32760 32763 30397 0 -1 1077944384 415 0 0 0 3 0 0 0 20 0 16 0 414748413 11004186624 63292 33554432000 4194304 4196468 140735013261936 139788616961040 139789012117205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8876032 140735013270539 140735013270642 140735013270642 140735013273551 0
[pid=32763/tid=301] ppid=32760 vsize=10746276 memory=984 CPUtime=0.03 cores=1,3,5,7
/proc/32763/task/301/stat : 301 (java) S 32760 32763 30397 0 -1 1077944384 1274 0 0 0 3 0 0 0 20 0 16 0 414748413 11004186624 63292 33554432000 4194304 4196468 140735013261936 139788615908496 139789012117205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8876032 140735013270539 140735013270642 140735013270642 140735013273551 0
[pid=32763/tid=303] ppid=32760 vsize=10746276 memory=1328 CPUtime=0.01 cores=1,3,5,7
/proc/32763/task/303/stat : 303 (java) S 32760 32763 30397 0 -1 1077944384 870 0 0 0 1 0 0 0 20 0 16 0 414748414 11004186624 63292 33554432000 4194304 4196468 140735013261936 139788571281392 139789012118146 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8876032 140735013270539 140735013270642 140735013270642 140735013273551 0
[pid=32763/tid=304] ppid=32760 vsize=10746276 memory=780 CPUtime=0 cores=1,3,5,7
/proc/32763/task/304/stat : 304 (java) S 32760 32763 30397 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 414748414 11004186624 63292 33554432000 4194304 4196468 140735013261936 139788570227680 139789012117205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8876032 140735013270539 140735013270642 140735013270642 140735013273551 0
[pid=32763/tid=305] ppid=32760 vsize=10746276 memory=4160 CPUtime=0 cores=1,3,5,7
/proc/32763/task/305/stat : 305 (java) S 32760 32763 30397 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 16 0 414748415 11004186624 63292 33554432000 4194304 4196468 140735013261936 139788112880640 139789012117205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8876032 140735013270539 140735013270642 140735013270642 140735013273551 0
[pid=32763/tid=306] ppid=32760 vsize=10746276 memory=1692 CPUtime=0 cores=1,3,5,7
/proc/32763/task/306/stat : 306 (java) S 32760 32763 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414748417 11004186624 63292 33554432000 4194304 4196468 140735013261936 139788111829200 139789012125595 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8876032 140735013270539 140735013270642 140735013270642 140735013273551 0
[pid=32763/tid=307] ppid=32760 vsize=10746276 memory=1028 CPUtime=0.62 cores=1,3,5,7
/proc/32763/task/307/stat : 307 (java) S 32760 32763 30397 0 -1 1077944384 1956 0 0 0 61 1 0 0 20 0 16 0 414748417 11004186624 63292 33554432000 4194304 4196468 140735013261936 139788110776816 139789012118146 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8876032 140735013270539 140735013270642 140735013270642 140735013273551 0
[pid=32763/tid=308] ppid=32760 vsize=10746276 memory=1060 CPUtime=0.72 cores=1,3,5,7
/proc/32763/task/308/stat : 308 (java) S 32760 32763 30397 0 -1 1077944384 2065 0 0 0 72 0 0 0 20 0 16 0 414748417 11004186624 63292 33554432000 4194304 4196468 140735013261936 139788109724272 139789012118146 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8876032 140735013270539 140735013270642 140735013270642 140735013273551 0
[pid=32763/tid=309] ppid=32760 vsize=10746276 memory=2828 CPUtime=0.49 cores=1,3,5,7
/proc/32763/task/309/stat : 309 (java) S 32760 32763 30397 0 -1 1077944384 2604 0 0 0 49 0 0 0 20 0 16 0 414748417 11004186624 63292 33554432000 4194304 4196468 140735013261936 139788108671728 139789012118146 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8876032 140735013270539 140735013270642 140735013270642 140735013273551 0
[pid=32763/tid=310] ppid=32760 vsize=10746276 memory=756 CPUtime=0 cores=1,3,5,7
/proc/32763/task/310/stat : 310 (java) S 32760 32763 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414748417 11004186624 63292 33554432000 4194304 4196468 140735013261936 139788107619424 139789012117205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8876032 140735013270539 140735013270642 140735013270642 140735013273551 0
[pid=32763/tid=311] ppid=32760 vsize=10746276 memory=1548 CPUtime=0 cores=1,3,5,7
/proc/32763/task/311/stat : 311 (java) S 32760 32763 30397 0 -1 1077944384 198 0 0 0 0 0 0 0 20 0 16 0 414748418 11004186624 63292 33554432000 4194304 4196468 140735013261936 139788106565936 139789012118146 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 12 0 0 6293624 6294260 8876032 140735013270539 140735013270642 140735013270642 140735013273551 0
[pid=32763/tid=312] ppid=32760 vsize=10746276 memory=7972 CPUtime=19.64 cores=1,3,5,7
/proc/32763/task/312/stat : 312 (java) R 32760 32763 30397 0 -1 4202560 5472 0 0 0 1961 3 0 0 20 0 16 0 414748600 11004186624 63292 33554432000 4194304 4196468 140735013261936 139788101016784 139788653972700 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8876032 140735013270539 140735013270642 140735013270642 140735013273551 0
Current children cumulated CPU time: 23.57 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 253168 KiB
[startup+22.4007 s]
/proc/loadavg: 2.00 1.96 1.88 3/230 314
/proc/meminfo: memFree=31067704/32770624 swapFree=66981436/67108860
[pid=32763] ppid=32760 vsize=10746276 memory=253168 CPUtime=24.38 cores=1,3,5,7
/proc/32763/stat : 32763 (java) S 32760 32763 30397 0 -1 1077944320 30443 0 0 0 2423 15 0 0 20 0 16 0 414748412 11004186624 63292 33554432000 4194304 4196468 140735013261936 140735013244480 139789012106999 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 8876032 140735013270539 140735013270642 140735013270642 140735013273551 0
/proc/32763/statm: 2686569 63292 3367 1 0 2646705 0
[pid=32763/tid=32765] ppid=32760 vsize=10746276 memory=0 CPUtime=1.85 cores=1,3,5,7
/proc/32763/task/32765/stat : 32765 (java) S 32760 32763 30397 0 -1 1077944384 13139 0 0 0 180 5 0 0 20 0 16 0 414748412 11004186624 63292 33554432000 4194304 4196468 140735013261936 139789016349872 139789012117205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8876032 140735013270539 140735013270642 140735013270642 140735013273551 0
[pid=32763/tid=32766] ppid=32760 vsize=10746276 memory=6791534058613427641 CPUtime=0.03 cores=1,3,5,7
/proc/32763/task/32766/stat : 32766 (java) S 32760 32763 30397 0 -1 1077944384 877 0 0 0 3 0 0 0 20 0 16 0 414748413 11004186624 63292 33554432000 4194304 4196468 140735013261936 139788973067024 139789012117205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8876032 140735013270539 140735013270642 140735013270642 140735013273551 0
[pid=32763/tid=32767] ppid=32760 vsize=10746276 memory=3620 CPUtime=0.03 cores=1,3,5,7
/proc/32763/task/32767/stat : 32767 (java) S 32760 32763 30397 0 -1 1077944384 165 0 0 0 3 0 0 0 20 0 16 0 414748413 11004186624 63292 33554432000 4194304 4196468 140735013261936 139788618013584 139789012117205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8876032 140735013270539 140735013270642 140735013270642 140735013273551 0
[pid=32763/tid=300] ppid=32760 vsize=10746276 memory=19612 CPUtime=0.03 cores=1,3,5,7
/proc/32763/task/300/stat : 300 (java) S 32760 32763 30397 0 -1 1077944384 415 0 0 0 3 0 0 0 20 0 16 0 414748413 11004186624 63292 33554432000 4194304 4196468 140735013261936 139788616961040 139789012117205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8876032 140735013270539 140735013270642 140735013270642 140735013273551 0
[pid=32763/tid=301] ppid=32760 vsize=10746276 memory=240864 CPUtime=0.03 cores=1,3,5,7
/proc/32763/task/301/stat : 301 (java) S 32760 32763 30397 0 -1 1077944384 1274 0 0 0 3 0 0 0 20 0 16 0 414748413 11004186624 63292 33554432000 4194304 4196468 140735013261936 139788615908496 139789012117205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8876032 140735013270539 140735013270642 140735013270642 140735013273551 0
[pid=32763/tid=303] ppid=32760 vsize=10746276 memory=984 CPUtime=0.01 cores=1,3,5,7
/proc/32763/task/303/stat : 303 (java) S 32760 32763 30397 0 -1 1077944384 870 0 0 0 1 0 0 0 20 0 16 0 414748414 11004186624 63292 33554432000 4194304 4196468 140735013261936 139788571281392 139789012118146 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8876032 140735013270539 140735013270642 140735013270642 140735013273551 0
[pid=32763/tid=304] ppid=32760 vsize=10746276 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/32763/task/304/stat : 304 (java) S 32760 32763 30397 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 414748414 11004186624 63292 33554432000 4194304 4196468 140735013261936 139788570227680 139789012117205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8876032 140735013270539 140735013270642 140735013270642 140735013273551 0
[pid=32763/tid=305] ppid=32760 vsize=10746276 memory=1995 CPUtime=0 cores=1,3,5,7
/proc/32763/task/305/stat : 305 (java) S 32760 32763 30397 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 16 0 414748415 11004186624 63292 33554432000 4194304 4196468 140735013261936 139788112880640 139789012117205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8876032 140735013270539 140735013270642 140735013270642 140735013273551 0
[pid=32763/tid=306] ppid=32760 vsize=10746276 memory=185 CPUtime=0 cores=1,3,5,7
/proc/32763/task/306/stat : 306 (java) S 32760 32763 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414748417 11004186624 63292 33554432000 4194304 4196468 140735013261936 139788111829200 139789012125595 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8876032 140735013270539 140735013270642 140735013270642 140735013273551 0
[pid=32763/tid=307] ppid=32760 vsize=10746276 memory=2 CPUtime=0.62 cores=1,3,5,7
/proc/32763/task/307/stat : 307 (java) S 32760 32763 30397 0 -1 1077944384 1956 0 0 0 61 1 0 0 20 0 16 0 414748417 11004186624 63292 33554432000 4194304 4196468 140735013261936 139788110776816 139789012118146 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8876032 140735013270539 140735013270642 140735013270642 140735013273551 0
[pid=32763/tid=308] ppid=32760 vsize=10746276 memory=253168 CPUtime=0.72 cores=1,3,5,7
/proc/32763/task/308/stat : 308 (java) S 32760 32763 30397 0 -1 1077944384 2065 0 0 0 72 0 0 0 20 0 16 0 414748417 11004186624 63292 33554432000 4194304 4196468 140735013261936 139788109724272 139789012118146 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8876032 140735013270539 140735013270642 140735013270642 140735013273551 0
[pid=32763/tid=309] ppid=32760 vsize=10746276 memory=2 CPUtime=0.49 cores=1,3,5,7
/proc/32763/task/309/stat : 309 (java) S 32760 32763 30397 0 -1 1077944384 2604 0 0 0 49 0 0 0 20 0 16 0 414748417 11004186624 63292 33554432000 4194304 4196468 140735013261936 139788108671728 139789012118146 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8876032 140735013270539 140735013270642 140735013270642 140735013273551 0
[pid=32763/tid=310] ppid=32760 vsize=10746276 memory=1028 CPUtime=0 cores=1,3,5,7
/proc/32763/task/310/stat : 310 (java) S 32760 32763 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414748417 11004186624 63292 33554432000 4194304 4196468 140735013261936 139788107619424 139789012117205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8876032 140735013270539 140735013270642 140735013270642 140735013273551 0
[pid=32763/tid=311] ppid=32760 vsize=10746276 memory=1060 CPUtime=0 cores=1,3,5,7
/proc/32763/task/311/stat : 311 (java) S 32760 32763 30397 0 -1 1077944384 198 0 0 0 0 0 0 0 20 0 16 0 414748418 11004186624 63292 33554432000 4194304 4196468 140735013261936 139788106565936 139789012118146 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 12 0 0 6293624 6294260 8876032 140735013270539 140735013270642 140735013270642 140735013273551 0
[pid=32763/tid=312] ppid=32760 vsize=10746276 memory=2828 CPUtime=20.44 cores=1,3,5,7
/proc/32763/task/312/stat : 312 (java) R 32760 32763 30397 0 -1 4202560 5481 0 0 0 2041 3 0 0 20 0 16 0 414748600 11004186624 63292 33554432000 4194304 4196468 140735013261936 139788101016784 139788654011574 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8876032 140735013270539 140735013270642 140735013270642 140735013273551 0
Current children cumulated CPU time: 24.38 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 253168 KiB
[startup+22.8006 s]
/proc/loadavg: 2.00 1.96 1.88 3/230 314
/proc/meminfo: memFree=31067704/32770624 swapFree=66981436/67108860
[pid=32763] ppid=32760 vsize=10746276 memory=253168 CPUtime=24.78 cores=1,3,5,7
/proc/32763/stat : 32763 (java) S 32760 32763 30397 0 -1 1077944320 30447 0 0 0 2463 15 0 0 20 0 16 0 414748412 11004186624 63292 33554432000 4194304 4196468 140735013261936 140735013244480 139789012106999 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 8876032 140735013270539 140735013270642 140735013270642 140735013273551 0
/proc/32763/statm: 2686569 63292 3367 1 0 2646705 0
[pid=32763/tid=32765] ppid=32760 vsize=10746276 memory=6791534058613427641 CPUtime=1.85 cores=1,3,5,7
/proc/32763/task/32765/stat : 32765 (java) S 32760 32763 30397 0 -1 1077944384 13139 0 0 0 180 5 0 0 20 0 16 0 414748412 11004186624 63292 33554432000 4194304 4196468 140735013261936 139789016349872 139789012117205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8876032 140735013270539 140735013270642 140735013270642 140735013273551 0
[pid=32763/tid=32766] ppid=32760 vsize=10746276 memory=14008 CPUtime=0.03 cores=1,3,5,7
/proc/32763/task/32766/stat : 32766 (java) S 32760 32763 30397 0 -1 1077944384 877 0 0 0 3 0 0 0 20 0 16 0 414748413 11004186624 63292 33554432000 4194304 4196468 140735013261936 139788973067024 139789012117205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8876032 140735013270539 140735013270642 140735013270642 140735013273551 0
[pid=32763/tid=32767] ppid=32760 vsize=10746276 memory=2120 CPUtime=0.03 cores=1,3,5,7
/proc/32763/task/32767/stat : 32767 (java) S 32760 32763 30397 0 -1 1077944384 165 0 0 0 3 0 0 0 20 0 16 0 414748413 11004186624 63292 33554432000 4194304 4196468 140735013261936 139788618013584 139789012117205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8876032 140735013270539 140735013270642 140735013270642 140735013273551 0
[pid=32763/tid=300] ppid=32760 vsize=10746276 memory=11976 CPUtime=0.03 cores=1,3,5,7
/proc/32763/task/300/stat : 300 (java) S 32760 32763 30397 0 -1 1077944384 415 0 0 0 3 0 0 0 20 0 16 0 414748413 11004186624 63292 33554432000 4194304 4196468 140735013261936 139788616961040 139789012117205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8876032 140735013270539 140735013270642 140735013270642 140735013273551 0
[pid=32763/tid=301] ppid=32760 vsize=10746276 memory=6748 CPUtime=0.03 cores=1,3,5,7
/proc/32763/task/301/stat : 301 (java) S 32760 32763 30397 0 -1 1077944384 1274 0 0 0 3 0 0 0 20 0 16 0 414748413 11004186624 63292 33554432000 4194304 4196468 140735013261936 139788615908496 139789012117205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8876032 140735013270539 140735013270642 140735013270642 140735013273551 0
[pid=32763/tid=303] ppid=32760 vsize=10746276 memory=512 CPUtime=0.01 cores=1,3,5,7
/proc/32763/task/303/stat : 303 (java) S 32760 32763 30397 0 -1 1077944384 870 0 0 0 1 0 0 0 20 0 16 0 414748414 11004186624 63292 33554432000 4194304 4196468 140735013261936 139788571281392 139789012118146 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8876032 140735013270539 140735013270642 140735013270642 140735013273551 0
[pid=32763/tid=304] ppid=32760 vsize=10746276 memory=1564 CPUtime=0 cores=1,3,5,7
/proc/32763/task/304/stat : 304 (java) S 32760 32763 30397 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 414748414 11004186624 63292 33554432000 4194304 4196468 140735013261936 139788570227680 139789012117205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8876032 140735013270539 140735013270642 140735013270642 140735013273551 0
[pid=32763/tid=305] ppid=32760 vsize=10746276 memory=928 CPUtime=0 cores=1,3,5,7
/proc/32763/task/305/stat : 305 (java) S 32760 32763 30397 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 16 0 414748415 11004186624 63292 33554432000 4194304 4196468 140735013261936 139788112880640 139789012117205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8876032 140735013270539 140735013270642 140735013270642 140735013273551 0
[pid=32763/tid=306] ppid=32760 vsize=10746276 memory=3772 CPUtime=0 cores=1,3,5,7
/proc/32763/task/306/stat : 306 (java) S 32760 32763 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414748417 11004186624 63292 33554432000 4194304 4196468 140735013261936 139788111829200 139789012125595 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8876032 140735013270539 140735013270642 140735013270642 140735013273551 0
[pid=32763/tid=307] ppid=32760 vsize=10746276 memory=1440 CPUtime=0.62 cores=1,3,5,7
/proc/32763/task/307/stat : 307 (java) S 32760 32763 30397 0 -1 1077944384 1956 0 0 0 61 1 0 0 20 0 16 0 414748417 11004186624 63292 33554432000 4194304 4196468 140735013261936 139788110776816 139789012118146 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8876032 140735013270539 140735013270642 140735013270642 140735013273551 0
[pid=32763/tid=308] ppid=32760 vsize=10746276 memory=920 CPUtime=0.72 cores=1,3,5,7
/proc/32763/task/308/stat : 308 (java) S 32760 32763 30397 0 -1 1077944384 2065 0 0 0 72 0 0 0 20 0 16 0 414748417 11004186624 63292 33554432000 4194304 4196468 140735013261936 139788109724272 139789012118146 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8876032 140735013270539 140735013270642 140735013270642 140735013273551 0
[pid=32763/tid=309] ppid=32760 vsize=10746276 memory=1984 CPUtime=0.49 cores=1,3,5,7
/proc/32763/task/309/stat : 309 (java) S 32760 32763 30397 0 -1 1077944384 2604 0 0 0 49 0 0 0 20 0 16 0 414748417 11004186624 63292 33554432000 4194304 4196468 140735013261936 139788108671728 139789012118146 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8876032 140735013270539 140735013270642 140735013270642 140735013273551 0
[pid=32763/tid=310] ppid=32760 vsize=10746276 memory=2004 CPUtime=0 cores=1,3,5,7
/proc/32763/task/310/stat : 310 (java) S 32760 32763 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414748417 11004186624 63292 33554432000 4194304 4196468 140735013261936 139788107619424 139789012117205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8876032 140735013270539 140735013270642 140735013270642 140735013273551 0
[pid=32763/tid=311] ppid=32760 vsize=10746276 memory=984 CPUtime=0 cores=1,3,5,7
/proc/32763/task/311/stat : 311 (java) S 32760 32763 30397 0 -1 1077944384 198 0 0 0 0 0 0 0 20 0 16 0 414748418 11004186624 63292 33554432000 4194304 4196468 140735013261936 139788106565936 139789012118146 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 12 0 0 6293624 6294260 8876032 140735013270539 140735013270642 140735013270642 140735013273551 0
[pid=32763/tid=312] ppid=32760 vsize=10746276 memory=1328 CPUtime=20.84 cores=1,3,5,7
/proc/32763/task/312/stat : 312 (java) R 32760 32763 30397 0 -1 4202560 5485 0 0 0 2081 3 0 0 20 0 16 0 414748600 11004186624 63292 33554432000 4194304 4196468 140735013261936 139788101016784 139788654011318 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8876032 140735013270539 140735013270642 140735013270642 140735013273551 0
Current children cumulated CPU time: 24.78 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 253168 KiB
Child status: 0
Real time (s): 22.8237
CPU time (s): 24.8081
CPU user time (s): 24.6506
CPU system time (s): 0.157483
CPU usage (%): 108.695
Max. virtual memory (cumulated for all children) (KiB): 10746276
Max. memory (cumulated for all children) (KiB): 253168
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 24.6506
system time used= 0.157483
maximum resident set size= 253240
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31440
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= 3003
involuntary context switches= 29
# summary of solver processes directly reported to runsolver:
# pid: 32763
# total CPU time (s): 24.8081
# total CPU user time (s): 24.6506
# total CPU system time (s): 0.157483
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.169398 second user time and 0.231895 second system time
The end