2.39/1.88
2.39/1.88 AbsCon 2
2.39/1.89
2.89/2.02 Instance
2.89/2.02 name=instance-4390691-1568384275, framework=CSP
2.89/2.02
2.89/2.02 Loading variables...
2.89/2.05 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7453cf93
2.89/2.06 Loading constraints...[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1cad051a
2.89/2.06 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@55aefe3b
2.89/2.06 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2ccf7d22
2.89/2.06 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@27ef2397
2.89/2.06 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@593e0270
2.89/2.06 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1047a124
2.89/2.06 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d3f7047
2.89/2.06 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@78a93961
2.89/2.06 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@743aba4c
2.89/2.06 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@47c25420
2.89/2.06 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2e4a9954
2.89/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@55e74df
2.89/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6de4a7f2
2.89/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@9dd8db8
2.89/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@26547c9e
2.89/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23820084
2.89/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@74ce985f
2.89/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ef8765d
2.89/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@12f01d3a
2.89/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c63d31c
2.89/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f7fdca0
2.89/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2c5cb462
2.89/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@60c16d9a
2.89/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3c8b6e4b
2.89/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7789c366
2.89/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c6f9055
2.89/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@576fa4cd
2.89/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@46f06cb4
2.89/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@245ba8e4
2.89/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1d5d4f8
2.89/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6c3d99ca
2.89/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7769f8c2
2.89/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4529e14c
2.89/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@25a14954
2.89/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3c5ecfe4
2.89/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3eefcde2
2.89/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@79a16969
2.89/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@76eee040
2.89/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@62521cae
2.89/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@200f80a9
2.89/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@14e99bed
2.89/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d29dc2b
2.89/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2188ceda
2.89/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b06070c
2.89/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@65976bd5
2.89/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c985cef
2.89/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@242d87f6
2.89/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@75053a42
2.89/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@135e9f4e
3.16/2.11
3.16/2.11
3.16/2.11 Domains
3.16/2.11 nTypes=1, nValues=600, sizes=[2#300]
3.16/2.11 Variables
3.16/2.11 count=300, degrees=[2#300]
3.16/2.11 Constraints
3.16/2.11 count=50, nSpecific=50, arities=[10#30,15#20]
3.16/2.11 distribution=[SumSimpleGE#30,SumSimpleLE#20]
3.16/2.11 wck=0.259, cpu=2.07, mem=21M227
3.16/2.11 Solver SolverBacktrack being built...
3.16/2.11
3.16/2.14
3.16/2.14 Solver
3.16/2.14 guaranteedGAC=true
3.16/2.14 wck=0.293, cpu=2.103, mem=31M870
3.16/2.14
3.16/2.14 Preprocessing
3.16/2.14 filters=0, nACremovedValues=0, nTotalRemovedValues=0, inconcistency=false
3.16/2.14 wck=0.002, cpu=2.107, mem=31M870
3.16/2.14
3.16/2.15 num=0, depth=39..45, filters=138, wck=0.012, mem=31M870
3.16/2.15 decisions=86, wrong=23, backtracks=20, failedAssignments=10, nogoods=2
3.16/2.15
3.16/2.16 num=1, depth=44..53, filters=274, wck=0.016, mem=31M870
3.16/2.16 decisions=182, wrong=48, backtracks=42, failedAssignments=21, nogoods=4
3.16/2.16
3.16/2.17 num=2, depth=60..69, filters=483, wck=0.021, mem=31M870
3.16/2.17 decisions=310, wrong=82, backtracks=74, failedAssignments=33, nogoods=6
3.16/2.17
3.16/2.17 num=3, depth=74..84, filters=677, wck=0.024, mem=31M870
3.16/2.17 decisions=440, wrong=110, backtracks=95, failedAssignments=46, nogoods=7
3.16/2.17
3.16/2.17 num=4, depth=81..92, filters=1063, wck=0.029, mem=31M870
3.16/2.17 decisions=614, wrong=156, backtracks=138, failedAssignments=60, nogoods=10
3.16/2.17
3.16/2.18 num=5, depth=65..81, filters=1523, wck=0.033, mem=31M870
3.16/2.18 decisions=771, wrong=202, backtracks=179, failedAssignments=76, nogoods=11
3.16/2.18
3.16/2.18 num=6, depth=67..85, filters=1992, wck=0.038, mem=31M870
3.16/2.18 decisions=973, wrong=262, backtracks=235, failedAssignments=93, nogoods=14
3.16/2.18
3.16/2.18 num=7, depth=80..94, filters=2465, wck=0.041, mem=31M870
3.16/2.18 decisions=1151, wrong=306, backtracks=268, failedAssignments=112, nogoods=17
3.16/2.18
3.16/2.19 num=8, depth=86..99, filters=3106, wck=0.045, mem=31M870
3.16/2.19 decisions=1359, wrong=367, backtracks=320, failedAssignments=133, nogoods=19
3.16/2.19
3.16/2.19 num=9, depth=86..105, filters=3923, wck=0.048, mem=31M870
3.16/2.19 decisions=1609, wrong=448, backtracks=399, failedAssignments=156, nogoods=21
3.16/2.19
3.16/2.19 num=10, depth=87..102, filters=4633, wck=0.052, mem=31M870
3.16/2.19 decisions=1846, wrong=523, backtracks=465, failedAssignments=181, nogoods=22
3.16/2.19
3.16/2.20 num=11, depth=67..93, filters=5479, wck=0.055, mem=31M870
3.16/2.20 decisions=2094, wrong=612, backtracks=548, failedAssignments=209, nogoods=24
3.16/2.20
3.16/2.20 num=12, depth=70..84, filters=6716, wck=0.059, mem=31M870
3.16/2.20 decisions=2397, wrong=725, backtracks=657, failedAssignments=240, nogoods=26
3.16/2.20
3.45/2.20 num=13, depth=64..81, filters=7709, wck=0.063, mem=34M512
3.45/2.20 decisions=2648, wrong=816, backtracks=736, failedAssignments=274, nogoods=29
3.45/2.20
3.45/2.21 num=14, depth=69..81, filters=8523, wck=0.065, mem=34M512
3.45/2.21 decisions=2926, wrong=917, backtracks=823, failedAssignments=311, nogoods=31
3.45/2.21
3.45/2.21 num=15, depth=72..94, filters=10124, wck=0.07, mem=34M512
3.45/2.21 decisions=3284, wrong=1060, backtracks=961, failedAssignments=352, nogoods=32
3.45/2.21
3.45/2.23 num=16, depth=89..106, filters=11211, wck=0.085, mem=34M512
3.45/2.23 decisions=3575, wrong=1161, backtracks=1052, failedAssignments=397, nogoods=34
3.45/2.23
3.45/2.23 num=17, depth=84..102, filters=12823, wck=0.09, mem=34M512
3.45/2.23 decisions=3978, wrong=1319, backtracks=1200, failedAssignments=447, nogoods=36
3.45/2.23
3.45/2.24 num=18, depth=64..89, filters=14497, wck=0.094, mem=34M512
3.45/2.24 decisions=4350, wrong=1471, backtracks=1340, failedAssignments=502, nogoods=38
3.45/2.24
3.45/2.24 num=19, depth=69..87, filters=15992, wck=0.098, mem=34M512
3.45/2.24 decisions=4782, wrong=1652, backtracks=1513, failedAssignments=563, nogoods=40
3.45/2.24
3.45/2.24 num=20, depth=70..98, filters=18028, wck=0.104, mem=34M512
3.45/2.24 decisions=5264, wrong=1858, backtracks=1702, failedAssignments=630, nogoods=43
3.45/2.24
3.45/2.25 num=21, depth=68..84, filters=19774, wck=0.108, mem=34M512
3.45/2.25 decisions=5734, wrong=2057, backtracks=1888, failedAssignments=704, nogoods=46
3.45/2.25
3.45/2.26 num=22, depth=64..99, filters=22456, wck=0.114, mem=34M512
3.45/2.26 decisions=6393, wrong=2353, backtracks=2159, failedAssignments=785, nogoods=49
3.45/2.26
3.45/2.26 num=23, depth=62..89, filters=24751, wck=0.12, mem=34M512
3.45/2.26 decisions=6997, wrong=2621, backtracks=2400, failedAssignments=874, nogoods=51
3.45/2.26
3.45/2.27 num=24, depth=68..90, filters=27193, wck=0.125, mem=37M154
3.45/2.27 decisions=7673, wrong=2920, backtracks=2677, failedAssignments=972, nogoods=54
3.45/2.27
3.45/2.27 num=25, depth=67..89, filters=29972, wck=0.131, mem=37M154
3.45/2.27 decisions=8342, wrong=3221, backtracks=2954, failedAssignments=1080, nogoods=56
3.45/2.27
3.45/2.28 num=26, depth=62..85, filters=33221, wck=0.138, mem=37M154
3.45/2.28 decisions=9203, wrong=3619, backtracks=3320, failedAssignments=1199, nogoods=59
3.45/2.28
3.45/2.29 num=27, depth=51..73, filters=36107, wck=0.144, mem=37M154
3.45/2.29 decisions=10043, wrong=4007, backtracks=3644, failedAssignments=1330, nogoods=63
3.45/2.29
3.45/2.29 num=28, depth=69..94, filters=40262, wck=0.153, mem=37M154
3.45/2.29 decisions=11009, wrong=4454, backtracks=4067, failedAssignments=1474, nogoods=66
3.45/2.29
3.74/2.30 num=29, depth=76..110, filters=44475, wck=0.161, mem=37M154
3.74/2.30 decisions=11983, wrong=4901, backtracks=4486, failedAssignments=1632, nogoods=70
3.74/2.30
3.74/2.31 num=30, depth=62..88, filters=48529, wck=0.169, mem=39M797
3.74/2.31 decisions=12882, wrong=5314, backtracks=4850, failedAssignments=1806, nogoods=74
3.74/2.31
3.74/2.32 num=31, depth=69..93, filters=53318, wck=0.178, mem=39M797
3.74/2.32 decisions=13976, wrong=5821, backtracks=5296, failedAssignments=1997, nogoods=77
3.74/2.32
3.74/2.33 num=32, depth=72..96, filters=58874, wck=0.188, mem=39M797
3.74/2.33 decisions=15238, wrong=6414, backtracks=5844, failedAssignments=2208, nogoods=81
3.74/2.33
3.74/2.34 num=33, depth=70..92, filters=65076, wck=0.198, mem=39M797
3.74/2.34 decisions=16773, wrong=7142, backtracks=6533, failedAssignments=2440, nogoods=83
3.74/2.34
3.74/2.35 num=34, depth=72..97, filters=71163, wck=0.209, mem=42M439
3.74/2.35 decisions=18318, wrong=7878, backtracks=7218, failedAssignments=2695, nogoods=86
3.74/2.35
3.74/2.36 num=35, depth=70..98, filters=78592, wck=0.221, mem=42M439
3.74/2.36 decisions=20011, wrong=8686, backtracks=7990, failedAssignments=2976, nogoods=88
3.74/2.36
3.74/2.37 num=36, depth=75..103, filters=86600, wck=0.233, mem=42M439
3.74/2.37 decisions=21926, wrong=9602, backtracks=8842, failedAssignments=3285, nogoods=92
3.74/2.37
3.74/2.39 num=37, depth=67..94, filters=96476, wck=0.248, mem=45M82
3.74/2.39 decisions=24098, wrong=10652, backtracks=9848, failedAssignments=3625, nogoods=96
3.74/2.39
4.04/2.40 num=38, depth=68..93, filters=106456, wck=0.263, mem=45M82
4.04/2.40 decisions=26437, wrong=11785, backtracks=10902, failedAssignments=3999, nogoods=100
4.04/2.40
4.04/2.42 num=39, depth=68..93, filters=118168, wck=0.279, mem=47M724
4.04/2.42 decisions=29058, wrong=13061, backtracks=12119, failedAssignments=4410, nogoods=102
4.04/2.42
4.04/2.44 num=40, depth=72..95, filters=129630, wck=0.295, mem=47M724
4.04/2.44 decisions=31661, wrong=14325, backtracks=13290, failedAssignments=4862, nogoods=106
4.04/2.44
4.04/2.45 num=41, depth=67..96, filters=143807, wck=0.314, mem=50M367
4.04/2.45 decisions=34764, wrong=15842, backtracks=14746, failedAssignments=5359, nogoods=111
4.04/2.45
4.04/2.47 num=42, depth=69..97, filters=158995, wck=0.334, mem=50M367
4.04/2.47 decisions=38191, wrong=17518, backtracks=16337, failedAssignments=5906, nogoods=115
4.04/2.47
4.04/2.50 num=43, depth=69..97, filters=177084, wck=0.355, mem=53M9
4.04/2.50 decisions=42207, wrong=19486, backtracks=18213, failedAssignments=6508, nogoods=118
4.04/2.50
4.24/2.52 num=44, depth=68..103, filters=195872, wck=0.378, mem=55M651
4.24/2.52 decisions=46309, wrong=21500, backtracks=20126, failedAssignments=7170, nogoods=120
4.24/2.52
4.24/2.54 num=45, depth=62..103, filters=215478, wck=0.403, mem=58M294
4.24/2.54 decisions=50351, wrong=23486, backtracks=21947, failedAssignments=7898, nogoods=126
4.24/2.54
4.24/2.57 num=46, depth=70..101, filters=238537, wck=0.431, mem=60M936
4.24/2.57 decisions=55275, wrong=25913, backtracks=24236, failedAssignments=8699, nogoods=127
4.24/2.57
4.34/2.60 num=47, depth=64..95, filters=263064, wck=0.461, mem=63M579
4.34/2.60 decisions=60649, wrong=28567, backtracks=26708, failedAssignments=9580, nogoods=131
4.34/2.60
4.34/2.64 num=48, depth=63..98, filters=290678, wck=0.498, mem=66M221
4.34/2.64 decisions=66530, wrong=31471, backtracks=29468, failedAssignments=10550, nogoods=135
4.34/2.64
4.34/2.68 num=49, depth=64..98, filters=319533, wck=0.534, mem=68M864
4.34/2.68 decisions=72948, wrong=34647, backtracks=32389, failedAssignments=11617, nogoods=138
4.34/2.68
4.44/2.72 num=50, depth=63..95, filters=351130, wck=0.575, mem=71M506
4.44/2.72 decisions=79931, wrong=38104, backtracks=35572, failedAssignments=12790, nogoods=142
4.44/2.72
4.44/2.76 num=51, depth=65..99, filters=386193, wck=0.621, mem=76M791
4.44/2.76 decisions=87623, wrong=41914, backtracks=39100, failedAssignments=14081, nogoods=147
4.44/2.76
4.55/2.81 num=52, depth=67..108, filters=426047, wck=0.669, mem=79M433
4.55/2.81 decisions=96740, wrong=46436, backtracks=43414, failedAssignments=15501, nogoods=152
4.55/2.81
4.55/2.87 num=53, depth=64..97, filters=468517, wck=0.725, mem=84M718
4.55/2.87 decisions=105941, wrong=50999, backtracks=47658, failedAssignments=17063, nogoods=154
4.55/2.87
4.65/2.93 num=54, depth=62..101, filters=514050, wck=0.785, mem=90M3
4.65/2.93 decisions=116054, wrong=56014, backtracks=52313, failedAssignments=18781, nogoods=158
4.65/2.93
4.65/2.99 num=55, depth=67..103, filters=566139, wck=0.85, mem=95M288
4.65/2.99 decisions=127633, wrong=61765, backtracks=57799, failedAssignments=20671, nogoods=164
4.65/2.99
4.76/3.07 num=56, depth=65..102, filters=626200, wck=0.928, mem=103M215
4.76/3.07 decisions=140759, wrong=68295, backtracks=64028, failedAssignments=22750, nogoods=169
4.76/3.07
4.86/3.15 num=57, depth=58..96, filters=689136, wck=1.011, mem=111M143
4.86/3.15 decisions=154780, wrong=75271, backtracks=70579, failedAssignments=25037, nogoods=173
4.86/3.15
4.97/3.25 num=58, depth=60..97, filters=761931, wck=1.106, mem=119M70
4.97/3.25 decisions=171317, wrong=83503, backtracks=78328, failedAssignments=27553, nogoods=177
4.97/3.25
5.08/3.36 num=59, depth=55..95, filters=844634, wck=1.22, mem=126M997
5.08/3.36 decisions=189733, wrong=92681, backtracks=86879, failedAssignments=30321, nogoods=182
5.08/3.36
5.18/3.48 num=60, depth=62..99, filters=934331, wck=1.335, mem=137M567
5.18/3.48 decisions=210006, wrong=102779, backtracks=96532, failedAssignments=33365, nogoods=186
5.18/3.48
5.41/3.60 num=61, depth=58..98, filters=1028278, wck=1.462, mem=25M12
5.41/3.60 decisions=231225, wrong=113355, backtracks=106260, failedAssignments=36714, nogoods=191
5.41/3.60
5.51/3.74 num=62, depth=57..102, filters=1137646, wck=1.595, mem=38M92
5.51/3.74 decisions=255500, wrong=125462, backtracks=117743, failedAssignments=40398, nogoods=195
5.51/3.74
5.62/3.89 num=63, depth=54..101, filters=1254000, wck=1.746, mem=51M172
5.62/3.89 decisions=281873, wrong=138616, backtracks=130203, failedAssignments=44450, nogoods=201
5.62/3.89
5.83/4.06 num=64, depth=57..101, filters=1391429, wck=1.915, mem=66M868
5.83/4.06 decisions=312564, wrong=153927, backtracks=144912, failedAssignments=48907, nogoods=205
5.83/4.06
6.03/4.25 num=65, depth=53..102, filters=1540138, wck=2.105, mem=85M180
6.03/4.25 decisions=346441, wrong=170834, backtracks=160776, failedAssignments=53810, nogoods=208
6.03/4.25
6.23/4.45 num=66, depth=52..99, filters=1697207, wck=2.309, mem=104M813
6.23/4.45 decisions=381576, wrong=188369, backtracks=177216, failedAssignments=59204, nogoods=211
6.23/4.45
6.44/4.68 num=67, depth=54..96, filters=1869933, wck=2.54, mem=125M741
6.44/4.68 decisions=420871, wrong=207985, backtracks=195719, failedAssignments=65137, nogoods=215
6.44/4.68
6.74/4.93 num=68, depth=55..106, filters=2068128, wck=2.788, mem=146M669
6.74/4.93 decisions=465686, wrong=230360, backtracks=216844, failedAssignments=71663, nogoods=220
6.74/4.93
7.06/5.22 num=69, depth=51..100, filters=2282251, wck=3.078, mem=40M716
7.06/5.22 decisions=514259, wrong=254613, backtracks=239483, failedAssignments=78842, nogoods=224
7.06/5.22
7.36/5.53 num=70, depth=51..99, filters=2520303, wck=3.39, mem=69M492
7.36/5.53 decisions=568453, wrong=281679, backtracks=264920, failedAssignments=86739, nogoods=230
7.36/5.53
7.66/5.85 num=71, depth=50..96, filters=2760613, wck=3.708, mem=98M268
7.66/5.85 decisions=626298, wrong=310565, backtracks=292085, failedAssignments=95426, nogoods=234
7.66/5.85
8.06/6.22 num=72, depth=50..101, filters=3031374, wck=4.076, mem=132M275
8.06/6.22 decisions=689004, wrong=341882, backtracks=321237, failedAssignments=104981, nogoods=239
8.06/6.22
8.49/6.62 num=73, depth=49..100, filters=3331171, wck=4.476, mem=37M895
8.49/6.62 decisions=762124, wrong=378409, backtracks=356083, failedAssignments=115492, nogoods=244
8.49/6.62
8.90/7.09 num=74, depth=50..101, filters=3686156, wck=4.949, mem=81M274
8.90/7.09 decisions=842524, wrong=418578, backtracks=394393, failedAssignments=127054, nogoods=249
8.90/7.09
9.39/7.59 num=75, depth=52..101, filters=4064308, wck=5.45, mem=124M653
9.39/7.59 decisions=928620, wrong=461594, backtracks=435409, failedAssignments=139772, nogoods=253
9.39/7.59
10.00/8.19 num=76, depth=50..111, filters=4524226, wck=6.052, mem=175M261
10.00/8.19 decisions=1030328, wrong=512421, backtracks=483734, failedAssignments=153762, nogoods=256
10.00/8.19
10.73/8.83 num=77, depth=47..100, filters=4996155, wck=6.691, mem=52M363
10.73/8.83 decisions=1135974, wrong=565220, backtracks=533788, failedAssignments=169151, nogoods=262
10.73/8.83
11.43/9.54 num=78, depth=47..100, filters=5533458, wck=7.395, mem=113M816
11.43/9.54 decisions=1259730, wrong=627069, backtracks=592676, failedAssignments=186079, nogoods=267
11.43/9.54
12.13/10.29 num=79, depth=42..100, filters=6100566, wck=8.149, mem=182M499
12.13/10.29 decisions=1395619, wrong=694988, backtracks=657573, failedAssignments=204700, nogoods=270
12.13/10.29
12.97/11.07 num=80, depth=44..94, filters=6672445, wck=8.932, mem=75M189
12.97/11.07 decisions=1531596, wrong=762938, backtracks=721277, failedAssignments=225184, nogoods=275
12.97/11.07
13.86/11.99 num=81, depth=48..103, filters=7342703, wck=9.85, mem=150M681
13.86/11.99 decisions=1687020, wrong=840622, backtracks=794465, failedAssignments=247716, nogoods=281
13.86/11.99
14.98/13.03 num=82, depth=41..99, filters=8096178, wck=10.894, mem=246M303
14.98/13.03 decisions=1864162, wrong=929164, backtracks=878335, failedAssignments=272501, nogoods=285
14.98/13.03
16.19/14.20 num=83, depth=42..98, filters=8918518, wck=12.056, mem=95M408
16.19/14.20 decisions=2057797, wrong=1025949, backtracks=970568, failedAssignments=299765, nogoods=289
16.19/14.20
17.39/15.46 num=84, depth=40..95, filters=9795880, wck=13.315, mem=206M293
17.39/15.46 decisions=2266187, wrong=1130117, backtracks=1070112, failedAssignments=329755, nogoods=294
17.39/15.46
18.83/16.81 num=85, depth=41..93, filters=10756218, wck=14.668, mem=74M349
18.83/16.81 decisions=2495344, wrong=1244664, backtracks=1178900, failedAssignments=362744, nogoods=299
18.83/16.81
20.33/18.38 num=86, depth=42..102, filters=11863343, wck=16.238, mem=210M630
20.33/18.38 decisions=2751806, wrong=1372865, backtracks=1301339, failedAssignments=399032, nogoods=304
20.33/18.38
22.14/20.11 num=87, depth=40..99, filters=13113759, wck=17.965, mem=360M538
22.14/20.11 decisions=3044739, wrong=1519305, backtracks=1441383, failedAssignments=438949, nogoods=309
22.14/20.11
23.97/21.97 num=88, depth=33..101, filters=14410316, wck=19.833, mem=191M604
23.97/21.97 decisions=3357800, wrong=1675810, backtracks=1591333, failedAssignments=482858, nogoods=314
23.97/21.97
25.97/23.95 num=89, depth=38..99, filters=15798286, wck=21.808, mem=363M370
25.97/23.95 decisions=3687518, wrong=1840637, backtracks=1747275, failedAssignments=531158, nogoods=320
25.97/23.95
28.30/26.22 num=90, depth=39..104, filters=17382559, wck=24.076, mem=214M725
28.30/26.22 decisions=4074076, wrong=2033890, backtracks=1931210, failedAssignments=584288, nogoods=325
28.30/26.22
30.83/28.71 num=91, depth=36..97, filters=19087237, wck=26.569, mem=36M82
30.83/28.71 decisions=4476612, wrong=2235135, backtracks=2122426, failedAssignments=642731, nogoods=330
30.83/28.71
33.53/31.45 num=92, depth=34..92, filters=20974035, wck=29.309, mem=279M756
33.53/31.45 decisions=4938142, wrong=2465879, backtracks=2344203, failedAssignments=707018, nogoods=335
33.53/31.45
36.76/34.62 num=93, depth=35..97, filters=23070893, wck=32.479, mem=145M794
36.76/34.62 decisions=5439218, wrong=2716388, backtracks=2584482, failedAssignments=777734, nogoods=342
36.76/34.62
40.09/37.92 num=94, depth=35..99, filters=25291759, wck=35.778, mem=50M373
40.09/37.92 decisions=5986853, wrong=2990174, backtracks=2845381, failedAssignments=855521, nogoods=346
40.09/37.92
43.60/41.41 num=95, depth=33..97, filters=27660509, wck=39.265, mem=370M919
43.60/41.41 decisions=6570285, wrong=3281857, backtracks=3118885, failedAssignments=941087, nogoods=350
43.60/41.41
47.63/45.48 num=96, depth=34..96, filters=30385819, wck=43.337, mem=352M933
47.63/45.48 decisions=7236932, wrong=3615160, backtracks=3437387, failedAssignments=1035210, nogoods=355
47.63/45.48
52.04/49.89 num=97, depth=35..100, filters=33339089, wck=47.746, mem=26M840
52.04/49.89 decisions=7970581, wrong=3981964, backtracks=3786232, failedAssignments=1138745, nogoods=360
52.04/49.89
57.26/55.04 num=98, depth=32..105, filters=36748118, wck=52.902, mem=141M441
57.26/55.04 decisions=8819708, wrong=4406508, backtracks=4195280, failedAssignments=1252634, nogoods=367
57.26/55.04
62.97/60.70 num=99, depth=31..101, filters=40435388, wck=58.56, mem=301M766
62.97/60.70 decisions=9742379, wrong=4867825, backtracks=4636935, failedAssignments=1377912, nogoods=374
62.97/60.70
68.88/66.66 num=100, depth=32..98, filters=44379054, wck=64.522, mem=180M802
68.88/66.66 decisions=10739248, wrong=5366233, backtracks=5114632, failedAssignments=1515718, nogoods=379
68.88/66.66
75.40/73.17 num=101, depth=27..97, filters=48578404, wck=71.028, mem=171M855
75.40/73.17 decisions=11820894, wrong=5907033, backtracks=5626051, failedAssignments=1667304, nogoods=385
75.40/73.17
82.92/80.69 num=102, depth=28..103, filters=53311025, wck=78.547, mem=246M615
82.92/80.69 decisions=13012732, wrong=6502927, backtracks=6196890, failedAssignments=1834049, nogoods=390
82.92/80.69
91.34/89.01 num=103, depth=27..98, filters=58515717, wck=86.871, mem=168M198
91.34/89.01 decisions=14359262, wrong=7176172, backtracks=6841033, failedAssignments=2017468, nogoods=398
91.34/89.01
100.36/98.07 num=104, depth=28..96, filters=64205965, wck=95.932, mem=195M149
100.36/98.07 decisions=15832534, wrong=7912788, backtracks=7548830, failedAssignments=2219229, nogoods=404
100.36/98.07
110.57/108.25 num=105, depth=25..99, filters=70608684, wck=106.112, mem=166M94
110.57/108.25 decisions=17468304, wrong=8730656, backtracks=8336099, failedAssignments=2441167, nogoods=411
110.57/108.25
121.61/119.21 num=106, depth=20..102, filters=77281592, wck=117.067, mem=85M376
121.61/119.21 decisions=19236211, wrong=9614581, backtracks=9182470, failedAssignments=2685298, nogoods=415
121.61/119.21
133.64/131.29 num=107, depth=23..98, filters=84489427, wck=129.144, mem=23M686
133.64/131.29 decisions=21122063, wrong=10557488, backtracks=10091498, failedAssignments=2953843, nogoods=419
133.64/131.29
147.60/145.16 num=108, depth=23..101, filters=92767951, wck=143.016, mem=79M242
147.60/145.16 decisions=23257808, wrong=11625336, backtracks=11116481, failedAssignments=3249242, nogoods=424
147.60/145.16
162.55/160.01 num=109, depth=23..104, filters=101685075, wck=157.872, mem=98M676
162.55/160.01 decisions=25608098, wrong=12800461, backtracks=12248227, failedAssignments=3574181, nogoods=430
162.55/160.01
179.11/176.51 num=110, depth=21..97, filters=111366241, wck=174.37, mem=94M479
179.11/176.51 decisions=28238508, wrong=14115646, backtracks=13513829, failedAssignments=3931614, nogoods=435
179.11/176.51
197.20/194.55 num=111, depth=19..97, filters=121653262, wck=192.408, mem=74M280
197.20/194.55 decisions=31046271, wrong=15519505, backtracks=14862143, failedAssignments=4324790, nogoods=438
197.20/194.55
217.61/214.88 num=112, depth=20..100, filters=133213229, wck=212.74, mem=69M179
217.61/214.88 decisions=34217272, wrong=17104986, backtracks=16383493, failedAssignments=4757284, nogoods=444
217.61/214.88
240.73/237.87 num=113, depth=21..99, filters=146367462, wck=235.732, mem=72M455
240.73/237.87 decisions=37716218, wrong=18854440, backtracks=18075859, failedAssignments=5233028, nogoods=450
240.73/237.87
265.16/262.16 num=114, depth=17..100, filters=159841886, wck=260.02, mem=41M768
265.16/262.16 decisions=41518098, wrong=20755358, backtracks=19906239, failedAssignments=5756346, nogoods=455
265.16/262.16
292.70/289.55 num=115, depth=19..98, filters=174868356, wck=287.41, mem=39M646
292.70/289.55 decisions=45702071, wrong=22847331, backtracks=21924720, failedAssignments=6331996, nogoods=461
292.70/289.55
322.74/319.44 num=116, depth=15..103, filters=190842628, wck=317.301, mem=73M888
322.74/319.44 decisions=50296517, wrong=25144540, backtracks=24136918, failedAssignments=6965211, nogoods=468
322.74/319.44
355.31/351.84 num=117, depth=16..99, filters=207944133, wck=349.698, mem=52M513
355.31/351.84 decisions=55339088, wrong=27665807, backtracks=26571060, failedAssignments=7661747, nogoods=474
355.31/351.84
391.87/388.26 num=118, depth=14..105, filters=226933751, wck=386.115, mem=51M468
391.87/388.26 decisions=61066207, wrong=30529357, backtracks=29325262, failedAssignments=8427937, nogoods=480
391.87/388.26
432.44/428.63 num=119, depth=12..100, filters=247535200, wck=426.491, mem=45M67
432.44/428.63 decisions=67325995, wrong=33659233, backtracks=32339996, failedAssignments=9270746, nogoods=485
432.44/428.63
476.43/472.41 num=120, depth=13..99, filters=269388335, wck=470.272, mem=38M666
476.43/472.41 decisions=74193657, wrong=37093043, backtracks=35644407, failedAssignments=10197836, nogoods=490
476.43/472.41
525.83/521.67 num=121, depth=10..108, filters=293387786, wck=519.527, mem=22M648
525.83/521.67 decisions=81915547, wrong=40953971, backtracks=39374271, failedAssignments=11217635, nogoods=496
525.83/521.67
580.14/575.73 num=122, depth=7..107, filters=318218414, wck=573.591, mem=52M603
580.14/575.73 decisions=90773173, wrong=45382768, backtracks=43650571, failedAssignments=12339414, nogoods=502
580.14/575.73
640.77/636.11 num=123, depth=5..104, filters=345362625, wck=633.965, mem=54M775
640.77/636.11 decisions=100456414, wrong=50224375, backtracks=48319629, failedAssignments=13573371, nogoods=507
640.77/636.11
691.65/686.82 num=124, depth=0..98, filters=366470955, wck=684.684, mem=63M348
691.65/686.82 decisions=108728990, wrong=54360664, backtracks=52313985, failedAssignments=14574388, nogoods=507
691.65/686.82
691.65/686.83 Global
691.65/686.83 filters=366470955, nogoods=507
691.65/686.83 Stop=FULL_EXPLORATION, wrong=54360664, wck=684.978, cpu=685.033, mem=63M348
691.65/686.83
691.65/686.83 s UNSATISFIABLE
691.65/686.83
691.65/686.83 d WRONG_DECISIONS 54360664
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 (15147 MiB free)
memory of node 1: 16384 MiB (15764 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390691-1568384275/watcher-4390691-1568384275 -o /tmp/evaluation-result-4390691-1568384275/solver-4390691-1568384275 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node148-1568380480-27644 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4390691-1568384275.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
solver pid=28906, runsolver pid=28903
Current StackSize limit: 8192 KiB
[startup+0.104307 s]*
/proc/loadavg: 1.86 1.82 1.85 4/229 28921
/proc/meminfo: memFree=31637216/32770624 swapFree=67004192/67108860
[pid=28906] ppid=28903 vsize=10659884 memory=29160 CPUtime=0.14 cores=1,3,5,7
/proc/28906/stat : 28906 (java) S 28903 28906 27612 0 -1 1077944320 5749 0 0 0 13 1 0 0 20 0 15 0 414589118 10915721216 7290 33554432000 4194304 4196468 140737464873360 140737464855904 139977214910199 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8450048 140737464882187 140737464882290 140737464882290 140737464885199 0
/proc/28906/statm: 2664971 7290 2921 1 0 2627468 0
[pid=28906/tid=28908] ppid=28903 vsize=10659884 memory=720575944405811505 CPUtime=0.09 cores=1,3,5,7
/proc/28906/task/28908/stat : 28908 (java) R 28903 28906 27612 0 -1 4202560 3290 0 0 0 9 0 0 0 20 0 15 0 414589118 10915721216 7290 33554432000 4194304 4196468 140737464873360 139977219136064 139977194464451 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8450048 140737464882187 140737464882290 140737464882290 140737464885199 0
[pid=28906/tid=28909] ppid=28903 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28906/task/28909/stat : 28909 (java) S 28903 28906 27612 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414589119 10915721216 7290 33554432000 4194304 4196468 140737464873360 139977151601552 139977214920405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8450048 140737464882187 140737464882290 140737464882290 140737464885199 0
[pid=28906/tid=28910] ppid=28903 vsize=10659884 memory=288370877113644672 CPUtime=0 cores=1,3,5,7
/proc/28906/task/28910/stat : 28910 (java) S 28903 28906 27612 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414589119 10915721216 7290 33554432000 4194304 4196468 140737464873360 139977150548752 139977214920405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8450048 140737464882187 140737464882290 140737464882290 140737464885199 0
[pid=28906/tid=28911] ppid=28903 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28906/task/28911/stat : 28911 (java) S 28903 28906 27612 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414589119 10915721216 7290 33554432000 4194304 4196468 140737464873360 139977149496464 139977214920405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8450048 140737464882187 140737464882290 140737464882290 140737464885199 0
[pid=28906/tid=28912] ppid=28903 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28906/task/28912/stat : 28912 (java) S 28903 28906 27612 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414589119 10915721216 7290 33554432000 4194304 4196468 140737464873360 139977148443664 139977214920405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8450048 140737464882187 140737464882290 140737464882290 140737464885199 0
[pid=28906/tid=28913] ppid=28903 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28906/task/28913/stat : 28913 (java) S 28903 28906 27612 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414589120 10915721216 7290 33554432000 4194304 4196468 140737464873360 139976706885744 139977214921346 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8450048 140737464882187 140737464882290 140737464882290 140737464885199 0
[pid=28906/tid=28914] ppid=28903 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28906/task/28914/stat : 28914 (java) S 28903 28906 27612 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414589121 10915721216 7290 33554432000 4194304 4196468 140737464873360 139976705831712 139977214920405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8450048 140737464882187 140737464882290 140737464882290 140737464885199 0
[pid=28906/tid=28915] ppid=28903 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28906/task/28915/stat : 28915 (java) S 28903 28906 27612 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414589121 10915721216 7356 33554432000 4194304 4196468 140737464873360 139976704779376 139977214920405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8450048 140737464882187 140737464882290 140737464882290 140737464885199 0
[pid=28906/tid=28916] ppid=28903 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28906/task/28916/stat : 28916 (java) S 28903 28906 27612 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414589124 10915721216 7356 33554432000 4194304 4196468 140737464873360 139976703727696 139977214928795 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8450048 140737464882187 140737464882290 140737464882290 140737464885199 0
[pid=28906/tid=28917] ppid=28903 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28906/task/28917/stat : 28917 (java) S 28903 28906 27612 0 -1 1077944384 475 0 0 0 0 0 0 0 20 0 15 0 414589124 10915721216 7356 33554432000 4194304 4196468 140737464873360 139976702675568 139977214921346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8450048 140737464882187 140737464882290 140737464882290 140737464885199 0
[pid=28906/tid=28918] ppid=28903 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28906/task/28918/stat : 28918 (java) R 28903 28906 27612 0 -1 4202560 187 0 0 0 0 0 0 0 20 0 15 0 414589124 10915721216 7356 33554432000 4194304 4196468 140737464873360 139976701603656 139977208007035 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8450048 140737464882187 140737464882290 140737464882290 140737464885199 0
[pid=28906/tid=28919] ppid=28903 vsize=10659884 memory=140500961932928 CPUtime=0.02 cores=1,3,5,7
/proc/28906/task/28919/stat : 28919 (java) R 28903 28906 27612 0 -1 4202560 547 0 0 0 2 0 0 0 20 0 15 0 414589124 10915721216 7356 33554432000 4194304 4196468 140737464873360 139976700567384 139977193278838 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8450048 140737464882187 140737464882290 140737464882290 140737464885199 0
[pid=28906/tid=28920] ppid=28903 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28906/task/28920/stat : 28920 (java) S 28903 28906 27612 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414589124 10915721216 7356 33554432000 4194304 4196468 140737464873360 139976699517920 139977214920405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8450048 140737464882187 140737464882290 140737464882290 140737464885199 0
[pid=28906/tid=28921] ppid=28903 vsize=10659884 memory=140500961932928 CPUtime=0 cores=1,3,5,7
/proc/28906/task/28921/stat : 28921 (java) S 28903 28906 27612 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414589124 10915721216 7356 33554432000 4194304 4196468 140737464873360 139976698464688 139977214921346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8450048 140737464882187 140737464882290 140737464882290 140737464885199 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 29160 KiB
[startup+0.210711 s]*
/proc/loadavg: 1.86 1.82 1.85 3/229 28921
/proc/meminfo: memFree=31626016/32770624 swapFree=67004192/67108860
[pid=28906] ppid=28903 vsize=10659884 memory=37856 CPUtime=0.33 cores=1,3,5,7
/proc/28906/stat : 28906 (java) S 28903 28906 27612 0 -1 1077944320 9152 0 0 0 30 3 0 0 20 0 15 0 414589118 10915721216 9464 33554432000 4194304 4196468 140737464873360 140737464855904 139977214910199 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8450048 140737464882187 140737464882290 140737464882290 140737464885199 0
/proc/28906/statm: 2664971 9464 2989 1 0 2627468 0
[pid=28906/tid=28908] ppid=28903 vsize=10659884 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/28906/task/28908/stat : 28908 (java) R 28903 28906 27612 0 -1 4202560 6111 0 0 0 18 2 0 0 20 0 15 0 414589118 10915721216 9464 33554432000 4194304 4196468 140737464873360 139977219136560 139977214932125 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8450048 140737464882187 140737464882290 140737464882290 140737464885199 0
[pid=28906/tid=28909] ppid=28903 vsize=10659884 memory=343 CPUtime=0 cores=1,3,5,7
/proc/28906/task/28909/stat : 28909 (java) S 28903 28906 27612 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414589119 10915721216 9464 33554432000 4194304 4196468 140737464873360 139977151601552 139977214920405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8450048 140737464882187 140737464882290 140737464882290 140737464885199 0
[pid=28906/tid=28910] ppid=28903 vsize=10659884 memory=140500961960328 CPUtime=0 cores=1,3,5,7
/proc/28906/task/28910/stat : 28910 (java) S 28903 28906 27612 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414589119 10915721216 9464 33554432000 4194304 4196468 140737464873360 139977150548752 139977214920405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8450048 140737464882187 140737464882290 140737464882290 140737464885199 0
[pid=28906/tid=28911] ppid=28903 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28906/task/28911/stat : 28911 (java) S 28903 28906 27612 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414589119 10915721216 9464 33554432000 4194304 4196468 140737464873360 139977149496464 139977214920405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8450048 140737464882187 140737464882290 140737464882290 140737464885199 0
[pid=28906/tid=28912] ppid=28903 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28906/task/28912/stat : 28912 (java) S 28903 28906 27612 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414589119 10915721216 9464 33554432000 4194304 4196468 140737464873360 139977148443664 139977214920405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8450048 140737464882187 140737464882290 140737464882290 140737464885199 0
[pid=28906/tid=28913] ppid=28903 vsize=10659884 memory=140500961932928 CPUtime=0 cores=1,3,5,7
/proc/28906/task/28913/stat : 28913 (java) S 28903 28906 27612 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414589120 10915721216 9464 33554432000 4194304 4196468 140737464873360 139976706885744 139977214921346 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8450048 140737464882187 140737464882290 140737464882290 140737464885199 0
[pid=28906/tid=28914] ppid=28903 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28906/task/28914/stat : 28914 (java) S 28903 28906 27612 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414589121 10915721216 9464 33554432000 4194304 4196468 140737464873360 139976705831712 139977214920405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8450048 140737464882187 140737464882290 140737464882290 140737464885199 0
[pid=28906/tid=28915] ppid=28903 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28906/task/28915/stat : 28915 (java) S 28903 28906 27612 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414589121 10915721216 9464 33554432000 4194304 4196468 140737464873360 139976704779376 139977214920405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8450048 140737464882187 140737464882290 140737464882290 140737464885199 0
[pid=28906/tid=28916] ppid=28903 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28906/task/28916/stat : 28916 (java) S 28903 28906 27612 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414589124 10915721216 9464 33554432000 4194304 4196468 140737464873360 139976703727696 139977214928795 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8450048 140737464882187 140737464882290 140737464882290 140737464885199 0
[pid=28906/tid=28917] ppid=28903 vsize=10659884 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/28906/task/28917/stat : 28917 (java) S 28903 28906 27612 0 -1 1077944384 543 0 0 0 2 0 0 0 20 0 15 0 414589124 10915721216 9464 33554432000 4194304 4196468 140737464873360 139976702675568 139977214921346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8450048 140737464882187 140737464882290 140737464882290 140737464885199 0
[pid=28906/tid=28918] ppid=28903 vsize=10659884 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/28906/task/28918/stat : 28918 (java) S 28903 28906 27612 0 -1 1077944384 465 0 0 0 3 0 0 0 20 0 15 0 414589124 10915721216 9464 33554432000 4194304 4196468 140737464873360 139976701622768 139977214921346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8450048 140737464882187 140737464882290 140737464882290 140737464885199 0
[pid=28906/tid=28919] ppid=28903 vsize=10659884 memory=140500961932928 CPUtime=0.05 cores=1,3,5,7
/proc/28906/task/28919/stat : 28919 (java) S 28903 28906 27612 0 -1 1077944384 674 0 0 0 5 0 0 0 20 0 15 0 414589124 10915721216 9464 33554432000 4194304 4196468 140737464873360 139976700570480 139977214921346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8450048 140737464882187 140737464882290 140737464882290 140737464885199 0
[pid=28906/tid=28920] ppid=28903 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28906/task/28920/stat : 28920 (java) S 28903 28906 27612 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414589124 10915721216 9464 33554432000 4194304 4196468 140737464873360 139976699517920 139977214920405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8450048 140737464882187 140737464882290 140737464882290 140737464885199 0
[pid=28906/tid=28921] ppid=28903 vsize=10659884 memory=140500961932928 CPUtime=0 cores=1,3,5,7
/proc/28906/task/28921/stat : 28921 (java) S 28903 28906 27612 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414589124 10915721216 9464 33554432000 4194304 4196468 140737464873360 139976698464688 139977214921346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8450048 140737464882187 140737464882290 140737464882290 140737464885199 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 37856 KiB
[startup+0.310221 s]*
/proc/loadavg: 1.86 1.82 1.85 4/229 28921
/proc/meminfo: memFree=31624216/32770624 swapFree=67004192/67108860
[pid=28906] ppid=28903 vsize=10659884 memory=40400 CPUtime=0.46 cores=1,3,5,7
/proc/28906/stat : 28906 (java) S 28903 28906 27612 0 -1 1077944320 9369 0 0 0 43 3 0 0 20 0 15 0 414589118 10915721216 10100 33554432000 4194304 4196468 140737464873360 140737464855904 139977214910199 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8450048 140737464882187 140737464882290 140737464882290 140737464885199 0
/proc/28906/statm: 2664971 10100 3001 1 0 2627468 0
[pid=28906/tid=28908] ppid=28903 vsize=10659884 memory=7022364594140610616 CPUtime=0.3 cores=1,3,5,7
/proc/28906/task/28908/stat : 28908 (java) R 28903 28906 27612 0 -1 4202560 6262 0 0 0 28 2 0 0 20 0 15 0 414589118 10915721216 10100 33554432000 4194304 4196468 140737464873360 139977219136560 139977214932125 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8450048 140737464882187 140737464882290 140737464882290 140737464885199 0
[pid=28906/tid=28909] ppid=28903 vsize=10659884 memory=4294981932 CPUtime=0 cores=1,3,5,7
/proc/28906/task/28909/stat : 28909 (java) S 28903 28906 27612 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414589119 10915721216 10100 33554432000 4194304 4196468 140737464873360 139977151601552 139977214920405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8450048 140737464882187 140737464882290 140737464882290 140737464885199 0
[pid=28906/tid=28910] ppid=28903 vsize=10659884 memory=140500961960284 CPUtime=0 cores=1,3,5,7
/proc/28906/task/28910/stat : 28910 (java) S 28903 28906 27612 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414589119 10915721216 10100 33554432000 4194304 4196468 140737464873360 139977150548752 139977214920405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8450048 140737464882187 140737464882290 140737464882290 140737464885199 0
[pid=28906/tid=28911] ppid=28903 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28906/task/28911/stat : 28911 (java) S 28903 28906 27612 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414589119 10915721216 10100 33554432000 4194304 4196468 140737464873360 139977149496464 139977214920405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8450048 140737464882187 140737464882290 140737464882290 140737464885199 0
[pid=28906/tid=28912] ppid=28903 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28906/task/28912/stat : 28912 (java) S 28903 28906 27612 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414589119 10915721216 10100 33554432000 4194304 4196468 140737464873360 139977148443664 139977214920405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8450048 140737464882187 140737464882290 140737464882290 140737464885199 0
[pid=28906/tid=28913] ppid=28903 vsize=10659884 memory=140500961932928 CPUtime=0 cores=1,3,5,7
/proc/28906/task/28913/stat : 28913 (java) S 28903 28906 27612 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414589120 10915721216 10100 33554432000 4194304 4196468 140737464873360 139976706885744 139977214921346 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8450048 140737464882187 140737464882290 140737464882290 140737464885199 0
[pid=28906/tid=28914] ppid=28903 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28906/task/28914/stat : 28914 (java) S 28903 28906 27612 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414589121 10915721216 10100 33554432000 4194304 4196468 140737464873360 139976705831712 139977214920405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8450048 140737464882187 140737464882290 140737464882290 140737464885199 0
[pid=28906/tid=28915] ppid=28903 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28906/task/28915/stat : 28915 (java) S 28903 28906 27612 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414589121 10915721216 10100 33554432000 4194304 4196468 140737464873360 139976704779376 139977214920405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8450048 140737464882187 140737464882290 140737464882290 140737464885199 0
[pid=28906/tid=28916] ppid=28903 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28906/task/28916/stat : 28916 (java) S 28903 28906 27612 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414589124 10915721216 10100 33554432000 4194304 4196468 140737464873360 139976703727696 139977214928795 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8450048 140737464882187 140737464882290 140737464882290 140737464885199 0
[pid=28906/tid=28917] ppid=28903 vsize=10659884 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/28906/task/28917/stat : 28917 (java) S 28903 28906 27612 0 -1 1077944384 551 0 0 0 3 0 0 0 20 0 15 0 414589124 10915721216 10100 33554432000 4194304 4196468 140737464873360 139976702675568 139977214921346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8450048 140737464882187 140737464882290 140737464882290 140737464885199 0
[pid=28906/tid=28918] ppid=28903 vsize=10659884 memory=-1 CPUtime=0.04 cores=1,3,5,7
/proc/28906/task/28918/stat : 28918 (java) S 28903 28906 27612 0 -1 1077944384 500 0 0 0 4 0 0 0 20 0 15 0 414589124 10915721216 10100 33554432000 4194304 4196468 140737464873360 139976701622768 139977214921346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8450048 140737464882187 140737464882290 140737464882290 140737464885199 0
[pid=28906/tid=28919] ppid=28903 vsize=10659884 memory=140500961932928 CPUtime=0.07 cores=1,3,5,7
/proc/28906/task/28919/stat : 28919 (java) R 28903 28906 27612 0 -1 4202560 697 0 0 0 7 0 0 0 20 0 15 0 414589124 10915721216 10100 33554432000 4194304 4196468 140737464873360 139976700570480 139977214922134 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8450048 140737464882187 140737464882290 140737464882290 140737464885199 0
[pid=28906/tid=28920] ppid=28903 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28906/task/28920/stat : 28920 (java) S 28903 28906 27612 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414589124 10915721216 10100 33554432000 4194304 4196468 140737464873360 139976699517920 139977214920405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8450048 140737464882187 140737464882290 140737464882290 140737464885199 0
[pid=28906/tid=28921] ppid=28903 vsize=10659884 memory=140500961932928 CPUtime=0 cores=1,3,5,7
/proc/28906/task/28921/stat : 28921 (java) S 28903 28906 27612 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414589124 10915721216 10100 33554432000 4194304 4196468 140737464873360 139976698464688 139977214921346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8450048 140737464882187 140737464882290 140737464882290 140737464885199 0
Current children cumulated CPU time: 0.46 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40400 KiB
[startup+0.701517 s]
/proc/loadavg: 1.86 1.82 1.85 3/229 28921
/proc/meminfo: memFree=31613576/32770624 swapFree=67004192/67108860
[pid=28906] ppid=28903 vsize=10661932 memory=63380 CPUtime=1.1 cores=1,3,5,7
/proc/28906/stat : 28906 (java) S 28903 28906 27612 0 -1 1077944320 12893 0 0 0 105 5 0 0 20 0 15 0 414589118 10917818368 15845 33554432000 4194304 4196468 140737464873360 140737464855904 139977214910199 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8450048 140737464882187 140737464882290 140737464882290 140737464885199 0
/proc/28906/statm: 2665483 15845 3074 1 0 2627980 0
[pid=28906/tid=28908] ppid=28903 vsize=10661932 memory=39136 CPUtime=0.68 cores=1,3,5,7
/proc/28906/task/28908/stat : 28908 (java) R 28903 28906 27612 0 -1 4202560 8817 0 0 0 64 4 0 0 20 0 15 0 414589118 10917818368 15845 33554432000 4194304 4196468 140737464873360 139977219136080 139977196473728 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8450048 140737464882187 140737464882290 140737464882290 140737464885199 0
[pid=28906/tid=28909] ppid=28903 vsize=10661932 memory=984 CPUtime=0 cores=1,3,5,7
/proc/28906/task/28909/stat : 28909 (java) S 28903 28906 27612 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414589119 10917818368 15845 33554432000 4194304 4196468 140737464873360 139977151601552 139977214920405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8450048 140737464882187 140737464882290 140737464882290 140737464885199 0
[pid=28906/tid=28910] ppid=28903 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28906/task/28910/stat : 28910 (java) S 28903 28906 27612 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414589119 10917818368 15845 33554432000 4194304 4196468 140737464873360 139977150548752 139977214920405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8450048 140737464882187 140737464882290 140737464882290 140737464885199 0
[pid=28906/tid=28911] ppid=28903 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28906/task/28911/stat : 28911 (java) S 28903 28906 27612 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414589119 10917818368 15845 33554432000 4194304 4196468 140737464873360 139977149496464 139977214920405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8450048 140737464882187 140737464882290 140737464882290 140737464885199 0
[pid=28906/tid=28912] ppid=28903 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28906/task/28912/stat : 28912 (java) S 28903 28906 27612 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414589119 10917818368 15845 33554432000 4194304 4196468 140737464873360 139977148443664 139977214920405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8450048 140737464882187 140737464882290 140737464882290 140737464885199 0
[pid=28906/tid=28913] ppid=28903 vsize=10661932 memory=2 CPUtime=0 cores=1,3,5,7
/proc/28906/task/28913/stat : 28913 (java) S 28903 28906 27612 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414589120 10917818368 15845 33554432000 4194304 4196468 140737464873360 139976706885744 139977214921346 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8450048 140737464882187 140737464882290 140737464882290 140737464885199 0
[pid=28906/tid=28914] ppid=28903 vsize=10661932 memory=5 CPUtime=0 cores=1,3,5,7
/proc/28906/task/28914/stat : 28914 (java) S 28903 28906 27612 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414589121 10917818368 15845 33554432000 4194304 4196468 140737464873360 139976705831712 139977214920405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8450048 140737464882187 140737464882290 140737464882290 140737464885199 0
[pid=28906/tid=28915] ppid=28903 vsize=10661932 memory=31 CPUtime=0 cores=1,3,5,7
/proc/28906/task/28915/stat : 28915 (java) S 28903 28906 27612 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414589121 10917818368 15845 33554432000 4194304 4196468 140737464873360 139976704779376 139977214920405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8450048 140737464882187 140737464882290 140737464882290 140737464885199 0
[pid=28906/tid=28916] ppid=28903 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28906/task/28916/stat : 28916 (java) S 28903 28906 27612 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414589124 10917818368 15845 33554432000 4194304 4196468 140737464873360 139976703727696 139977214928795 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8450048 140737464882187 140737464882290 140737464882290 140737464885199 0
[pid=28906/tid=28917] ppid=28903 vsize=10661932 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/28906/task/28917/stat : 28917 (java) R 28903 28906 27612 0 -1 4202560 821 0 0 0 12 0 0 0 20 0 15 0 414589124 10917818368 15845 33554432000 4194304 4196468 140737464873360 139976702675568 139977200017906 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8450048 140737464882187 140737464882290 140737464882290 140737464885199 0
[pid=28906/tid=28918] ppid=28903 vsize=10661932 memory=1759 CPUtime=0.1 cores=1,3,5,7
/proc/28906/task/28918/stat : 28918 (java) S 28903 28906 27612 0 -1 1077944384 720 0 0 0 10 0 0 0 20 0 15 0 414589124 10917818368 15845 33554432000 4194304 4196468 140737464873360 139976701622768 139977214921346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8450048 140737464882187 140737464882290 140737464882290 140737464885199 0
[pid=28906/tid=28919] ppid=28903 vsize=10661932 memory=124637 CPUtime=0.18 cores=1,3,5,7
/proc/28906/task/28919/stat : 28919 (java) S 28903 28906 27612 0 -1 1077944384 1176 0 0 0 18 0 0 0 20 0 15 0 414589124 10917818368 15845 33554432000 4194304 4196468 140737464873360 139976700570480 139977214921346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8450048 140737464882187 140737464882290 140737464882290 140737464885199 0
[pid=28906/tid=28920] ppid=28903 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28906/task/28920/stat : 28920 (java) S 28903 28906 27612 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414589124 10917818368 15845 33554432000 4194304 4196468 140737464873360 139976699517920 139977214920405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8450048 140737464882187 140737464882290 140737464882290 140737464885199 0
[pid=28906/tid=28921] ppid=28903 vsize=10661932 memory=4 CPUtime=0 cores=1,3,5,7
/proc/28906/task/28921/stat : 28921 (java) S 28903 28906 27612 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414589124 10917818368 15845 33554432000 4194304 4196468 140737464873360 139976698464688 139977214921346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8450048 140737464882187 140737464882290 140737464882290 140737464885199 0
Current children cumulated CPU time: 1.1 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 63380 KiB
[startup+1.50077 s]
/proc/loadavg: 1.86 1.82 1.85 3/229 28921
/proc/meminfo: memFree=31597756/32770624 swapFree=67004192/67108860
[pid=28906] ppid=28903 vsize=10663980 memory=75452 CPUtime=1.98 cores=1,3,5,7
/proc/28906/stat : 28906 (java) S 28903 28906 27612 0 -1 1077944320 18440 0 0 0 192 6 0 0 20 0 15 0 414589118 10919915520 18863 33554432000 4194304 4196468 140737464873360 140737464855904 139977214910199 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8450048 140737464882187 140737464882290 140737464882290 140737464885199 0
/proc/28906/statm: 2665995 18863 3094 1 0 2628492 0
[pid=28906/tid=28908] ppid=28903 vsize=10663980 memory=984 CPUtime=1.47 cores=1,3,5,7
/proc/28906/task/28908/stat : 28908 (java) R 28903 28906 27612 0 -1 4202560 12957 0 0 0 142 5 0 0 20 0 15 0 414589118 10919915520 18863 33554432000 4194304 4196468 140737464873360 139977219142224 139977198990686 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8450048 140737464882187 140737464882290 140737464882290 140737464885199 0
[pid=28906/tid=28909] ppid=28903 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28906/task/28909/stat : 28909 (java) S 28903 28906 27612 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414589119 10919915520 18863 33554432000 4194304 4196468 140737464873360 139977151601552 139977214920405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8450048 140737464882187 140737464882290 140737464882290 140737464885199 0
[pid=28906/tid=28910] ppid=28903 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28906/task/28910/stat : 28910 (java) S 28903 28906 27612 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414589119 10919915520 18863 33554432000 4194304 4196468 140737464873360 139977150548752 139977214920405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8450048 140737464882187 140737464882290 140737464882290 140737464885199 0
[pid=28906/tid=28911] ppid=28903 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28906/task/28911/stat : 28911 (java) S 28903 28906 27612 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414589119 10919915520 18863 33554432000 4194304 4196468 140737464873360 139977149496464 139977214920405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8450048 140737464882187 140737464882290 140737464882290 140737464885199 0
[pid=28906/tid=28912] ppid=28903 vsize=10663980 memory=2 CPUtime=0 cores=1,3,5,7
/proc/28906/task/28912/stat : 28912 (java) S 28903 28906 27612 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414589119 10919915520 18863 33554432000 4194304 4196468 140737464873360 139977148443664 139977214920405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8450048 140737464882187 140737464882290 140737464882290 140737464885199 0
[pid=28906/tid=28913] ppid=28903 vsize=10663980 memory=5 CPUtime=0 cores=1,3,5,7
/proc/28906/task/28913/stat : 28913 (java) S 28903 28906 27612 0 -1 1077944384 114 0 0 0 0 0 0 0 20 0 15 0 414589120 10919915520 18863 33554432000 4194304 4196468 140737464873360 139976706885744 139977214921346 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8450048 140737464882187 140737464882290 140737464882290 140737464885199 0
################
# More data... #
################
[startup+684.801 s]
/proc/loadavg: 1.26 1.44 1.64 3/229 28985
/proc/meminfo: memFree=31232972/32770624 swapFree=67004192/67108860
[pid=28906] ppid=28903 vsize=10746276 memory=429484 CPUtime=689.64 cores=1,3,5,7
/proc/28906/stat : 28906 (java) S 28903 28906 27612 0 -1 1077944320 60746 0 0 0 68915 49 0 0 20 0 16 0 414589118 11004186624 107371 33554432000 4194304 4196468 140737464873360 140737464855904 139977214910199 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8450048 140737464882187 140737464882290 140737464882290 140737464885199 0
/proc/28906/statm: 2686569 107371 3366 1 0 2646705 0
[pid=28906/tid=28908] ppid=28903 vsize=10746276 memory=1940 CPUtime=1.85 cores=1,3,5,7
/proc/28906/task/28908/stat : 28908 (java) S 28903 28906 27612 0 -1 1077944384 15215 0 0 0 179 6 0 0 20 0 16 0 414589118 11004186624 107371 33554432000 4194304 4196468 140737464873360 139977219153072 139977214920405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8450048 140737464882187 140737464882290 140737464882290 140737464885199 0
[pid=28906/tid=28909] ppid=28903 vsize=10746276 memory=1416 CPUtime=1.01 cores=1,3,5,7
/proc/28906/task/28909/stat : 28909 (java) S 28903 28906 27612 0 -1 1077944384 1944 0 0 0 95 6 0 0 20 0 16 0 414589119 11004186624 107371 33554432000 4194304 4196468 140737464873360 139977151601552 139977214920405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8450048 140737464882187 140737464882290 140737464882290 140737464885199 0
[pid=28906/tid=28910] ppid=28903 vsize=10746276 memory=39156 CPUtime=1.01 cores=1,3,5,7
/proc/28906/task/28910/stat : 28910 (java) S 28903 28906 27612 0 -1 1077944384 2145 0 0 0 96 5 0 0 20 0 16 0 414589119 11004186624 107371 33554432000 4194304 4196468 140737464873360 139977150548752 139977214920405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8450048 140737464882187 140737464882290 140737464882290 140737464885199 0
[pid=28906/tid=28911] ppid=28903 vsize=10746276 memory=984 CPUtime=1.01 cores=1,3,5,7
/proc/28906/task/28911/stat : 28911 (java) S 28903 28906 27612 0 -1 1077944384 4385 0 0 0 96 5 0 0 20 0 16 0 414589119 11004186624 107371 33554432000 4194304 4196468 140737464873360 139977149496464 139977214920405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8450048 140737464882187 140737464882290 140737464882290 140737464885199 0
[pid=28906/tid=28912] ppid=28903 vsize=10746276 memory=1940 CPUtime=1 cores=1,3,5,7
/proc/28906/task/28912/stat : 28912 (java) S 28903 28906 27612 0 -1 1077944384 4108 0 0 0 94 6 0 0 20 0 16 0 414589119 11004186624 107371 33554432000 4194304 4196468 140737464873360 139977148443664 139977214920405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8450048 140737464882187 140737464882290 140737464882290 140737464885199 0
[pid=28906/tid=28913] ppid=28903 vsize=10746276 memory=6791534058613427641 CPUtime=0.56 cores=1,3,5,7
/proc/28906/task/28913/stat : 28913 (java) S 28903 28906 27612 0 -1 1077944384 4501 0 0 0 52 4 0 0 20 0 16 0 414589120 11004186624 107371 33554432000 4194304 4196468 140737464873360 139976706885744 139977214921346 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8450048 140737464882187 140737464882290 140737464882290 140737464885199 0
[pid=28906/tid=28914] ppid=28903 vsize=10746276 memory=1556 CPUtime=0 cores=1,3,5,7
/proc/28906/task/28914/stat : 28914 (java) S 28903 28906 27612 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 16 0 414589121 11004186624 107371 33554432000 4194304 4196468 140737464873360 139976705831776 139977214920405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8450048 140737464882187 140737464882290 140737464882290 140737464885199 0
[pid=28906/tid=28915] ppid=28903 vsize=10746276 memory=740 CPUtime=0 cores=1,3,5,7
/proc/28906/task/28915/stat : 28915 (java) S 28903 28906 27612 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 414589121 11004186624 107371 33554432000 4194304 4196468 140737464873360 139976704779392 139977214920405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8450048 140737464882187 140737464882290 140737464882290 140737464885199 0
[pid=28906/tid=28916] ppid=28903 vsize=10746276 memory=1052 CPUtime=0 cores=1,3,5,7
/proc/28906/task/28916/stat : 28916 (java) S 28903 28906 27612 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414589124 11004186624 107371 33554432000 4194304 4196468 140737464873360 139976703727696 139977214928795 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8450048 140737464882187 140737464882290 140737464882290 140737464885199 0
[pid=28906/tid=28917] ppid=28903 vsize=10746276 memory=6791534058613427641 CPUtime=0.64 cores=1,3,5,7
/proc/28906/task/28917/stat : 28917 (java) S 28903 28906 27612 0 -1 1077944384 2930 0 0 0 63 1 0 0 20 0 16 0 414589124 11004186624 107371 33554432000 4194304 4196468 140737464873360 139976702675568 139977214921346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8450048 140737464882187 140737464882290 140737464882290 140737464885199 0
[pid=28906/tid=28918] ppid=28903 vsize=10746276 memory=4004 CPUtime=0.67 cores=1,3,5,7
/proc/28906/task/28918/stat : 28918 (java) S 28903 28906 27612 0 -1 1077944384 2442 0 0 0 67 0 0 0 20 0 16 0 414589124 11004186624 107371 33554432000 4194304 4196468 140737464873360 139976701622768 139977214921346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8450048 140737464882187 140737464882290 140737464882290 140737464885199 0
[pid=28906/tid=28919] ppid=28903 vsize=10746276 memory=2832 CPUtime=0.48 cores=1,3,5,7
/proc/28906/task/28919/stat : 28919 (java) S 28903 28906 27612 0 -1 1077944384 6795 0 0 0 48 0 0 0 20 0 16 0 414589124 11004186624 107371 33554432000 4194304 4196468 140737464873360 139976700570480 139977214921346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8450048 140737464882187 140737464882290 140737464882290 140737464885199 0
[pid=28906/tid=28920] ppid=28903 vsize=10746276 memory=776 CPUtime=0 cores=1,3,5,7
/proc/28906/task/28920/stat : 28920 (java) S 28903 28906 27612 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414589124 11004186624 107371 33554432000 4194304 4196468 140737464873360 139976699517920 139977214920405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8450048 140737464882187 140737464882290 140737464882290 140737464885199 0
[pid=28906/tid=28921] ppid=28903 vsize=10746276 memory=6791534058613427641 CPUtime=0.15 cores=1,3,5,7
/proc/28906/task/28921/stat : 28921 (java) S 28903 28906 27612 0 -1 1077944384 352 0 0 0 6 9 0 0 20 0 16 0 414589124 11004186624 107371 33554432000 4194304 4196468 140737464873360 139976698464688 139977214921346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8450048 140737464882187 140737464882290 140737464882290 140737464885199 0
[pid=28906/tid=28922] ppid=28903 vsize=10746276 memory=8128038100524242582 CPUtime=681.13 cores=1,3,5,7
/proc/28906/task/28922/stat : 28922 (java) R 28903 28906 27612 0 -1 4202560 14534 0 0 0 68107 6 0 0 20 0 16 0 414589306 11004186624 107371 33554432000 4194304 4196468 140737464873360 139976681397536 139976831339662 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8450048 140737464882187 140737464882290 140737464882290 140737464885199 0
Current children cumulated CPU time: 689.64 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 429484 KiB
[startup+685.601 s]
/proc/loadavg: 1.26 1.44 1.64 3/229 28985
/proc/meminfo: memFree=31232964/32770624 swapFree=67004192/67108860
[pid=28906] ppid=28903 vsize=10746276 memory=429484 CPUtime=690.44 cores=1,3,5,7
/proc/28906/stat : 28906 (java) S 28903 28906 27612 0 -1 1077944320 60748 0 0 0 68995 49 0 0 20 0 16 0 414589118 11004186624 107371 33554432000 4194304 4196468 140737464873360 140737464855904 139977214910199 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8450048 140737464882187 140737464882290 140737464882290 140737464885199 0
/proc/28906/statm: 2686569 107371 3366 1 0 2646705 0
[pid=28906/tid=28908] ppid=28903 vsize=10746276 memory=1416 CPUtime=1.85 cores=1,3,5,7
/proc/28906/task/28908/stat : 28908 (java) S 28903 28906 27612 0 -1 1077944384 15215 0 0 0 179 6 0 0 20 0 16 0 414589118 11004186624 107371 33554432000 4194304 4196468 140737464873360 139977219153072 139977214920405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8450048 140737464882187 140737464882290 140737464882290 140737464885199 0
[pid=28906/tid=28909] ppid=28903 vsize=10746276 memory=1556 CPUtime=1.01 cores=1,3,5,7
/proc/28906/task/28909/stat : 28909 (java) S 28903 28906 27612 0 -1 1077944384 1944 0 0 0 95 6 0 0 20 0 16 0 414589119 11004186624 107371 33554432000 4194304 4196468 140737464873360 139977151601552 139977214920405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8450048 140737464882187 140737464882290 140737464882290 140737464885199 0
[pid=28906/tid=28910] ppid=28903 vsize=10746276 memory=6791534058613427641 CPUtime=1.01 cores=1,3,5,7
/proc/28906/task/28910/stat : 28910 (java) S 28903 28906 27612 0 -1 1077944384 2146 0 0 0 96 5 0 0 20 0 16 0 414589119 11004186624 107371 33554432000 4194304 4196468 140737464873360 139977150548752 139977214920405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8450048 140737464882187 140737464882290 140737464882290 140737464885199 0
[pid=28906/tid=28911] ppid=28903 vsize=10746276 memory=1052 CPUtime=1.01 cores=1,3,5,7
/proc/28906/task/28911/stat : 28911 (java) S 28903 28906 27612 0 -1 1077944384 4385 0 0 0 96 5 0 0 20 0 16 0 414589119 11004186624 107371 33554432000 4194304 4196468 140737464873360 139977149496464 139977214920405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8450048 140737464882187 140737464882290 140737464882290 140737464885199 0
[pid=28906/tid=28912] ppid=28903 vsize=10746276 memory=7548 CPUtime=1 cores=1,3,5,7
/proc/28906/task/28912/stat : 28912 (java) S 28903 28906 27612 0 -1 1077944384 4108 0 0 0 94 6 0 0 20 0 16 0 414589119 11004186624 107371 33554432000 4194304 4196468 140737464873360 139977148443664 139977214920405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8450048 140737464882187 140737464882290 140737464882290 140737464885199 0
[pid=28906/tid=28913] ppid=28903 vsize=10746276 memory=4004 CPUtime=0.56 cores=1,3,5,7
/proc/28906/task/28913/stat : 28913 (java) S 28903 28906 27612 0 -1 1077944384 4501 0 0 0 52 4 0 0 20 0 16 0 414589120 11004186624 107371 33554432000 4194304 4196468 140737464873360 139976706885744 139977214921346 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8450048 140737464882187 140737464882290 140737464882290 140737464885199 0
[pid=28906/tid=28914] ppid=28903 vsize=10746276 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/28906/task/28914/stat : 28914 (java) S 28903 28906 27612 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 16 0 414589121 11004186624 107371 33554432000 4194304 4196468 140737464873360 139976705831776 139977214920405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8450048 140737464882187 140737464882290 140737464882290 140737464885199 0
[pid=28906/tid=28915] ppid=28903 vsize=10746276 memory=776 CPUtime=0 cores=1,3,5,7
/proc/28906/task/28915/stat : 28915 (java) S 28903 28906 27612 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 414589121 11004186624 107371 33554432000 4194304 4196468 140737464873360 139976704779392 139977214920405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8450048 140737464882187 140737464882290 140737464882290 140737464885199 0
[pid=28906/tid=28916] ppid=28903 vsize=10746276 memory=1160 CPUtime=0 cores=1,3,5,7
/proc/28906/task/28916/stat : 28916 (java) S 28903 28906 27612 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414589124 11004186624 107371 33554432000 4194304 4196468 140737464873360 139976703727696 139977214928795 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8450048 140737464882187 140737464882290 140737464882290 140737464885199 0
[pid=28906/tid=28917] ppid=28903 vsize=10746276 memory=1720 CPUtime=0.64 cores=1,3,5,7
/proc/28906/task/28917/stat : 28917 (java) S 28903 28906 27612 0 -1 1077944384 2930 0 0 0 63 1 0 0 20 0 16 0 414589124 11004186624 107371 33554432000 4194304 4196468 140737464873360 139976702675568 139977214921346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8450048 140737464882187 140737464882290 140737464882290 140737464885199 0
[pid=28906/tid=28918] ppid=28903 vsize=10746276 memory=1096 CPUtime=0.67 cores=1,3,5,7
/proc/28906/task/28918/stat : 28918 (java) S 28903 28906 27612 0 -1 1077944384 2442 0 0 0 67 0 0 0 20 0 16 0 414589124 11004186624 107371 33554432000 4194304 4196468 140737464873360 139976701622768 139977214921346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8450048 140737464882187 140737464882290 140737464882290 140737464885199 0
[pid=28906/tid=28919] ppid=28903 vsize=10746276 memory=5964 CPUtime=0.48 cores=1,3,5,7
/proc/28906/task/28919/stat : 28919 (java) S 28903 28906 27612 0 -1 1077944384 6795 0 0 0 48 0 0 0 20 0 16 0 414589124 11004186624 107371 33554432000 4194304 4196468 140737464873360 139976700570480 139977214921346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8450048 140737464882187 140737464882290 140737464882290 140737464885199 0
[pid=28906/tid=28920] ppid=28903 vsize=10746276 memory=924 CPUtime=0 cores=1,3,5,7
/proc/28906/task/28920/stat : 28920 (java) S 28903 28906 27612 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414589124 11004186624 107371 33554432000 4194304 4196468 140737464873360 139976699517920 139977214920405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8450048 140737464882187 140737464882290 140737464882290 140737464885199 0
[pid=28906/tid=28921] ppid=28903 vsize=10746276 memory=1692 CPUtime=0.15 cores=1,3,5,7
/proc/28906/task/28921/stat : 28921 (java) S 28903 28906 27612 0 -1 1077944384 352 0 0 0 6 9 0 0 20 0 16 0 414589124 11004186624 107371 33554432000 4194304 4196468 140737464873360 139976698464688 139977214921346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8450048 140737464882187 140737464882290 140737464882290 140737464885199 0
[pid=28906/tid=28922] ppid=28903 vsize=10746276 memory=792 CPUtime=681.92 cores=1,3,5,7
/proc/28906/task/28922/stat : 28922 (java) R 28903 28906 27612 0 -1 4202560 14535 0 0 0 68186 6 0 0 20 0 16 0 414589306 11004186624 107371 33554432000 4194304 4196468 140737464873360 139976681397536 139976830929177 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8450048 140737464882187 140737464882290 140737464882290 140737464885199 0
Current children cumulated CPU time: 690.44 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 429484 KiB
[startup+686.401 s]
/proc/loadavg: 1.26 1.44 1.64 3/229 28985
/proc/meminfo: memFree=31232972/32770624 swapFree=67004192/67108860
[pid=28906] ppid=28903 vsize=10746276 memory=429484 CPUtime=691.25 cores=1,3,5,7
/proc/28906/stat : 28906 (java) S 28903 28906 27612 0 -1 1077944320 60756 0 0 0 69076 49 0 0 20 0 16 0 414589118 11004186624 107371 33554432000 4194304 4196468 140737464873360 140737464855904 139977214910199 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8450048 140737464882187 140737464882290 140737464882290 140737464885199 0
/proc/28906/statm: 2686569 107371 3366 1 0 2646705 0
[pid=28906/tid=28908] ppid=28903 vsize=10746276 memory=429484 CPUtime=1.85 cores=1,3,5,7
/proc/28906/task/28908/stat : 28908 (java) S 28903 28906 27612 0 -1 1077944384 15215 0 0 0 179 6 0 0 20 0 16 0 414589118 11004186624 107371 33554432000 4194304 4196468 140737464873360 139977219153072 139977214920405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8450048 140737464882187 140737464882290 140737464882290 140737464885199 0
[pid=28906/tid=28909] ppid=28903 vsize=10746276 memory=6791534058613427641 CPUtime=1.01 cores=1,3,5,7
/proc/28906/task/28909/stat : 28909 (java) S 28903 28906 27612 0 -1 1077944384 1944 0 0 0 95 6 0 0 20 0 16 0 414589119 11004186624 107371 33554432000 4194304 4196468 140737464873360 139977151601552 139977214920405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8450048 140737464882187 140737464882290 140737464882290 140737464885199 0
[pid=28906/tid=28910] ppid=28903 vsize=10746276 memory=1940 CPUtime=1.01 cores=1,3,5,7
/proc/28906/task/28910/stat : 28910 (java) S 28903 28906 27612 0 -1 1077944384 2146 0 0 0 96 5 0 0 20 0 16 0 414589119 11004186624 107371 33554432000 4194304 4196468 140737464873360 139977150548752 139977214920405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8450048 140737464882187 140737464882290 140737464882290 140737464885199 0
[pid=28906/tid=28911] ppid=28903 vsize=10746276 memory=1416 CPUtime=1.01 cores=1,3,5,7
/proc/28906/task/28911/stat : 28911 (java) S 28903 28906 27612 0 -1 1077944384 4385 0 0 0 96 5 0 0 20 0 16 0 414589119 11004186624 107371 33554432000 4194304 4196468 140737464873360 139977149496464 139977214920405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8450048 140737464882187 140737464882290 140737464882290 140737464885199 0
[pid=28906/tid=28912] ppid=28903 vsize=10746276 memory=1556 CPUtime=1.01 cores=1,3,5,7
/proc/28906/task/28912/stat : 28912 (java) S 28903 28906 27612 0 -1 1077944384 4108 0 0 0 95 6 0 0 20 0 16 0 414589119 11004186624 107371 33554432000 4194304 4196468 140737464873360 139977148443664 139977214920405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8450048 140737464882187 140737464882290 140737464882290 140737464885199 0
[pid=28906/tid=28913] ppid=28903 vsize=10746276 memory=740 CPUtime=0.56 cores=1,3,5,7
/proc/28906/task/28913/stat : 28913 (java) S 28903 28906 27612 0 -1 1077944384 4501 0 0 0 52 4 0 0 20 0 16 0 414589120 11004186624 107371 33554432000 4194304 4196468 140737464873360 139976706885744 139977214921346 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8450048 140737464882187 140737464882290 140737464882290 140737464885199 0
[pid=28906/tid=28914] ppid=28903 vsize=10746276 memory=1052 CPUtime=0 cores=1,3,5,7
/proc/28906/task/28914/stat : 28914 (java) S 28903 28906 27612 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 16 0 414589121 11004186624 107371 33554432000 4194304 4196468 140737464873360 139976705831776 139977214920405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8450048 140737464882187 140737464882290 140737464882290 140737464885199 0
[pid=28906/tid=28915] ppid=28903 vsize=10746276 memory=804 CPUtime=0 cores=1,3,5,7
/proc/28906/task/28915/stat : 28915 (java) S 28903 28906 27612 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 414589121 11004186624 107371 33554432000 4194304 4196468 140737464873360 139976704779392 139977214920405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8450048 140737464882187 140737464882290 140737464882290 140737464885199 0
[pid=28906/tid=28916] ppid=28903 vsize=10746276 memory=1808 CPUtime=0 cores=1,3,5,7
/proc/28906/task/28916/stat : 28916 (java) S 28903 28906 27612 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414589124 11004186624 107371 33554432000 4194304 4196468 140737464873360 139976703727696 139977214928795 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8450048 140737464882187 140737464882290 140737464882290 140737464885199 0
[pid=28906/tid=28917] ppid=28903 vsize=10746276 memory=920 CPUtime=0.64 cores=1,3,5,7
/proc/28906/task/28917/stat : 28917 (java) S 28903 28906 27612 0 -1 1077944384 2932 0 0 0 63 1 0 0 20 0 16 0 414589124 11004186624 107371 33554432000 4194304 4196468 140737464873360 139976702675568 139977214921346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8450048 140737464882187 140737464882290 140737464882290 140737464885199 0
[pid=28906/tid=28918] ppid=28903 vsize=10746276 memory=3848 CPUtime=0.67 cores=1,3,5,7
/proc/28906/task/28918/stat : 28918 (java) S 28903 28906 27612 0 -1 1077944384 2444 0 0 0 67 0 0 0 20 0 16 0 414589124 11004186624 107371 33554432000 4194304 4196468 140737464873360 139976701622768 139977214921346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8450048 140737464882187 140737464882290 140737464882290 140737464885199 0
[pid=28906/tid=28919] ppid=28903 vsize=10746276 memory=2604 CPUtime=0.48 cores=1,3,5,7
/proc/28906/task/28919/stat : 28919 (java) S 28903 28906 27612 0 -1 1077944384 6797 0 0 0 48 0 0 0 20 0 16 0 414589124 11004186624 107371 33554432000 4194304 4196468 140737464873360 139976700570480 139977214921346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8450048 140737464882187 140737464882290 140737464882290 140737464885199 0
[pid=28906/tid=28920] ppid=28903 vsize=10746276 memory=2888 CPUtime=0 cores=1,3,5,7
/proc/28906/task/28920/stat : 28920 (java) S 28903 28906 27612 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414589124 11004186624 107371 33554432000 4194304 4196468 140737464873360 139976699517920 139977214920405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8450048 140737464882187 140737464882290 140737464882290 140737464885199 0
[pid=28906/tid=28921] ppid=28903 vsize=10746276 memory=6791534058613427641 CPUtime=0.15 cores=1,3,5,7
/proc/28906/task/28921/stat : 28921 (java) S 28903 28906 27612 0 -1 1077944384 352 0 0 0 6 9 0 0 20 0 16 0 414589124 11004186624 107371 33554432000 4194304 4196468 140737464873360 139976698464688 139977214921346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8450048 140737464882187 140737464882290 140737464882290 140737464885199 0
[pid=28906/tid=28922] ppid=28903 vsize=10746276 memory=18968 CPUtime=682.72 cores=1,3,5,7
/proc/28906/task/28922/stat : 28922 (java) R 28903 28906 27612 0 -1 4202560 14537 0 0 0 68266 6 0 0 20 0 16 0 414589306 11004186624 107371 33554432000 4194304 4196468 140737464873360 139976681397536 139976831075869 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8450048 140737464882187 140737464882290 140737464882290 140737464885199 0
Current children cumulated CPU time: 691.25 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 429484 KiB
[startup+686.801 s]
/proc/loadavg: 1.26 1.44 1.64 3/229 28985
/proc/meminfo: memFree=31232972/32770624 swapFree=67004192/67108860
[pid=28906] ppid=28903 vsize=10746276 memory=429484 CPUtime=691.65 cores=1,3,5,7
/proc/28906/stat : 28906 (java) S 28903 28906 27612 0 -1 1077944320 60756 0 0 0 69116 49 0 0 20 0 16 0 414589118 11004186624 107371 33554432000 4194304 4196468 140737464873360 140737464855904 139977214910199 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8450048 140737464882187 140737464882290 140737464882290 140737464885199 0
/proc/28906/statm: 2686569 107371 3366 1 0 2646705 0
[pid=28906/tid=28908] ppid=28903 vsize=10746276 memory=288230621803970871 CPUtime=1.85 cores=1,3,5,7
/proc/28906/task/28908/stat : 28908 (java) S 28903 28906 27612 0 -1 1077944384 15215 0 0 0 179 6 0 0 20 0 16 0 414589118 11004186624 107371 33554432000 4194304 4196468 140737464873360 139977219153072 139977214920405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8450048 140737464882187 140737464882290 140737464882290 140737464885199 0
[pid=28906/tid=28909] ppid=28903 vsize=10746276 memory=15262527902714418 CPUtime=1.01 cores=1,3,5,7
/proc/28906/task/28909/stat : 28909 (java) S 28903 28906 27612 0 -1 1077944384 1944 0 0 0 95 6 0 0 20 0 16 0 414589119 11004186624 107371 33554432000 4194304 4196468 140737464873360 139977151601552 139977214920405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8450048 140737464882187 140737464882290 140737464882290 140737464885199 0
[pid=28906/tid=28910] ppid=28903 vsize=10746276 memory=1964 CPUtime=1.01 cores=1,3,5,7
/proc/28906/task/28910/stat : 28910 (java) S 28903 28906 27612 0 -1 1077944384 2146 0 0 0 96 5 0 0 20 0 16 0 414589119 11004186624 107371 33554432000 4194304 4196468 140737464873360 139977150548752 139977214920405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8450048 140737464882187 140737464882290 140737464882290 140737464885199 0
[pid=28906/tid=28911] ppid=28903 vsize=10746276 memory=2456 CPUtime=1.01 cores=1,3,5,7
/proc/28906/task/28911/stat : 28911 (java) S 28903 28906 27612 0 -1 1077944384 4385 0 0 0 96 5 0 0 20 0 16 0 414589119 11004186624 107371 33554432000 4194304 4196468 140737464873360 139977149496464 139977214920405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8450048 140737464882187 140737464882290 140737464882290 140737464885199 0
[pid=28906/tid=28912] ppid=28903 vsize=10746276 memory=1760 CPUtime=1.01 cores=1,3,5,7
/proc/28906/task/28912/stat : 28912 (java) S 28903 28906 27612 0 -1 1077944384 4108 0 0 0 95 6 0 0 20 0 16 0 414589119 11004186624 107371 33554432000 4194304 4196468 140737464873360 139977148443664 139977214920405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8450048 140737464882187 140737464882290 140737464882290 140737464885199 0
[pid=28906/tid=28913] ppid=28903 vsize=10746276 memory=111632 CPUtime=0.56 cores=1,3,5,7
/proc/28906/task/28913/stat : 28913 (java) S 28903 28906 27612 0 -1 1077944384 4501 0 0 0 52 4 0 0 20 0 16 0 414589120 11004186624 107371 33554432000 4194304 4196468 140737464873360 139976706885744 139977214921346 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8450048 140737464882187 140737464882290 140737464882290 140737464885199 0
[pid=28906/tid=28914] ppid=28903 vsize=10746276 memory=429484 CPUtime=0 cores=1,3,5,7
/proc/28906/task/28914/stat : 28914 (java) S 28903 28906 27612 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 16 0 414589121 11004186624 107371 33554432000 4194304 4196468 140737464873360 139976705831776 139977214920405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8450048 140737464882187 140737464882290 140737464882290 140737464885199 0
[pid=28906/tid=28915] ppid=28903 vsize=10746276 memory=1964 CPUtime=0 cores=1,3,5,7
/proc/28906/task/28915/stat : 28915 (java) S 28903 28906 27612 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 414589121 11004186624 107371 33554432000 4194304 4196468 140737464873360 139976704779392 139977214920405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8450048 140737464882187 140737464882290 140737464882290 140737464885199 0
[pid=28906/tid=28916] ppid=28903 vsize=10746276 memory=2456 CPUtime=0 cores=1,3,5,7
/proc/28906/task/28916/stat : 28916 (java) S 28903 28906 27612 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414589124 11004186624 107371 33554432000 4194304 4196468 140737464873360 139976703727696 139977214928795 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8450048 140737464882187 140737464882290 140737464882290 140737464885199 0
[pid=28906/tid=28917] ppid=28903 vsize=10746276 memory=1760 CPUtime=0.64 cores=1,3,5,7
/proc/28906/task/28917/stat : 28917 (java) S 28903 28906 27612 0 -1 1077944384 2932 0 0 0 63 1 0 0 20 0 16 0 414589124 11004186624 107371 33554432000 4194304 4196468 140737464873360 139976702675568 139977214921346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8450048 140737464882187 140737464882290 140737464882290 140737464885199 0
[pid=28906/tid=28918] ppid=28903 vsize=10746276 memory=111632 CPUtime=0.67 cores=1,3,5,7
/proc/28906/task/28918/stat : 28918 (java) S 28903 28906 27612 0 -1 1077944384 2444 0 0 0 67 0 0 0 20 0 16 0 414589124 11004186624 107371 33554432000 4194304 4196468 140737464873360 139976701622768 139977214921346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8450048 140737464882187 140737464882290 140737464882290 140737464885199 0
[pid=28906/tid=28919] ppid=28903 vsize=10746276 memory=804 CPUtime=0.48 cores=1,3,5,7
/proc/28906/task/28919/stat : 28919 (java) S 28903 28906 27612 0 -1 1077944384 6797 0 0 0 48 0 0 0 20 0 16 0 414589124 11004186624 107371 33554432000 4194304 4196468 140737464873360 139976700570480 139977214921346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8450048 140737464882187 140737464882290 140737464882290 140737464885199 0
[pid=28906/tid=28920] ppid=28903 vsize=10746276 memory=1808 CPUtime=0 cores=1,3,5,7
/proc/28906/task/28920/stat : 28920 (java) S 28903 28906 27612 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414589124 11004186624 107371 33554432000 4194304 4196468 140737464873360 139976699517920 139977214920405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8450048 140737464882187 140737464882290 140737464882290 140737464885199 0
[pid=28906/tid=28921] ppid=28903 vsize=10746276 memory=6791534058613427641 CPUtime=0.15 cores=1,3,5,7
/proc/28906/task/28921/stat : 28921 (java) S 28903 28906 27612 0 -1 1077944384 352 0 0 0 6 9 0 0 20 0 16 0 414589124 11004186624 107371 33554432000 4194304 4196468 140737464873360 139976698464688 139977214921346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8450048 140737464882187 140737464882290 140737464882290 140737464885199 0
[pid=28906/tid=28922] ppid=28903 vsize=10746276 memory=776 CPUtime=683.12 cores=1,3,5,7
/proc/28906/task/28922/stat : 28922 (java) R 28903 28906 27612 0 -1 4202560 14537 0 0 0 68306 6 0 0 20 0 16 0 414589306 11004186624 107371 33554432000 4194304 4196468 140737464873360 139976681397536 139976831341780 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8450048 140737464882187 140737464882290 140737464882290 140737464885199 0
Current children cumulated CPU time: 691.65 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 429484 KiB
Child status: 0
Real time (s): 686.836
CPU time (s): 691.693
CPU user time (s): 691.195
CPU system time (s): 0.497489
CPU usage (%): 100.707
Max. virtual memory (cumulated for all children) (KiB): 10746276
Max. memory (cumulated for all children) (KiB): 530968
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 691.195
system time used= 0.497489
maximum resident set size= 533016
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 61616
page faults= 0
swaps= 0
block input operations= 0
block output operations= 904
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 30264
involuntary context switches= 1016
# summary of solver processes directly reported to runsolver:
# pid: 28906
# total CPU time (s): 691.693
# total CPU user time (s): 691.195
# total CPU system time (s): 0.497489
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.8619 second user time and 6.56688 second system time
The end