2.39/1.88
2.39/1.88 AbsCon 2
2.39/1.89
2.89/2.01 Instance
2.89/2.01 name=instance-4390526-1568385029, framework=CSP
2.89/2.01
2.89/2.01 Loading variables...
2.89/2.03 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@59c9912f
2.89/2.04 Loading constraints...[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@383f21d4
2.89/2.04 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5f548f1b
2.89/2.04 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f5993be
2.89/2.04 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5edc02d3
2.89/2.04 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1a240705
2.89/2.04 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a4c372c
2.89/2.04 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@24d23b36
2.89/2.04 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@38dc11bc
2.89/2.04 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@33f6b78a
2.89/2.04 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d6611ba
2.89/2.05 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3c1a0408
2.89/2.05 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@29a1054f
2.89/2.05 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4adf9b8f
2.89/2.05 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3632ffa2
2.89/2.05 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3dbc9cb4
2.89/2.05 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@57d69551
2.89/2.05 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@53d80bf
2.89/2.05 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@da6600e
2.89/2.05 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3b68c8b1
2.89/2.05 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@230b93c1
2.89/2.05 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@40edcfdd
2.89/2.05 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3b233f20
2.89/2.06 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@455ffd24
2.89/2.06 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6aac3e58
2.89/2.07
2.89/2.07
2.89/2.07 Domains
2.89/2.07 nTypes=1, nValues=300, sizes=[2#150]
2.89/2.07 Variables
2.89/2.07 count=150, degrees=[2#150]
2.89/2.07 Constraints
2.89/2.07 count=25, nSpecific=25, arities=[10#15,15#10]
2.89/2.07 distribution=[SumSimpleGE#15,SumSimpleLE#10]
2.89/2.07 wck=0.224, cpu=2.027, mem=18M585
2.89/2.08 Solver SolverBacktrack being built...
2.89/2.08
2.89/2.10
2.89/2.10 Solver
2.89/2.10 guaranteedGAC=true
2.89/2.10 wck=0.256, cpu=2.057, mem=29M227
3.15/2.11
3.15/2.11 Preprocessing
3.15/2.11 filters=0, nACremovedValues=0, nTotalRemovedValues=0, inconcistency=false
3.15/2.11 wck=0.001, cpu=2.06, mem=29M227
3.15/2.11
3.15/2.12 num=0, depth=39..45, filters=138, wck=0.011, mem=29M227
3.15/2.12 decisions=86, wrong=23, backtracks=20, failedAssignments=10, nogoods=2
3.15/2.12
3.15/2.12 num=1, depth=44..53, filters=274, wck=0.015, mem=29M227
3.15/2.12 decisions=182, wrong=48, backtracks=42, failedAssignments=21, nogoods=4
3.15/2.12
3.15/2.12 num=2, depth=60..69, filters=483, wck=0.019, mem=29M227
3.15/2.12 decisions=310, wrong=82, backtracks=74, failedAssignments=33, nogoods=6
3.15/2.12
3.15/2.13 num=3, depth=74..84, filters=677, wck=0.022, mem=29M227
3.15/2.13 decisions=440, wrong=110, backtracks=95, failedAssignments=46, nogoods=7
3.15/2.13
3.15/2.14 num=4, depth=81..92, filters=1063, wck=0.026, mem=29M227
3.15/2.14 decisions=614, wrong=156, backtracks=138, failedAssignments=60, nogoods=10
3.15/2.14
3.15/2.14 num=5, depth=65..81, filters=1523, wck=0.03, mem=29M227
3.15/2.14 decisions=771, wrong=202, backtracks=179, failedAssignments=76, nogoods=11
3.15/2.14
3.15/2.14 num=6, depth=67..85, filters=1992, wck=0.035, mem=29M227
3.15/2.14 decisions=973, wrong=262, backtracks=235, failedAssignments=93, nogoods=14
3.15/2.14
3.15/2.14 num=7, depth=80..94, filters=2465, wck=0.038, mem=29M227
3.15/2.14 decisions=1151, wrong=306, backtracks=268, failedAssignments=112, nogoods=17
3.15/2.14
3.15/2.15 num=8, depth=86..99, filters=3106, wck=0.04, mem=29M227
3.15/2.15 decisions=1359, wrong=367, backtracks=320, failedAssignments=133, nogoods=19
3.15/2.15
3.15/2.15 num=9, depth=86..105, filters=3923, wck=0.043, mem=31M870
3.15/2.15 decisions=1609, wrong=448, backtracks=399, failedAssignments=156, nogoods=21
3.15/2.15
3.15/2.15 num=10, depth=87..102, filters=4633, wck=0.046, mem=31M870
3.15/2.15 decisions=1846, wrong=523, backtracks=465, failedAssignments=181, nogoods=22
3.15/2.15
3.15/2.15 num=11, depth=67..93, filters=5479, wck=0.049, mem=31M870
3.15/2.15 decisions=2094, wrong=612, backtracks=548, failedAssignments=209, nogoods=24
3.15/2.15
3.15/2.16 num=12, depth=70..84, filters=6716, wck=0.053, mem=31M870
3.15/2.16 decisions=2397, wrong=725, backtracks=657, failedAssignments=240, nogoods=26
3.15/2.16
3.15/2.16 num=13, depth=64..81, filters=7709, wck=0.057, mem=31M870
3.15/2.16 decisions=2648, wrong=816, backtracks=736, failedAssignments=274, nogoods=29
3.15/2.16
3.15/2.16 num=14, depth=69..81, filters=8523, wck=0.06, mem=31M870
3.15/2.16 decisions=2926, wrong=917, backtracks=823, failedAssignments=311, nogoods=31
3.15/2.16
3.15/2.17 num=15, depth=72..94, filters=10124, wck=0.064, mem=31M870
3.15/2.17 decisions=3284, wrong=1060, backtracks=961, failedAssignments=352, nogoods=32
3.15/2.17
3.15/2.17 num=16, depth=89..106, filters=11211, wck=0.068, mem=31M870
3.15/2.17 decisions=3575, wrong=1161, backtracks=1052, failedAssignments=397, nogoods=34
3.15/2.17
3.15/2.18 num=17, depth=84..102, filters=12823, wck=0.072, mem=31M870
3.15/2.18 decisions=3978, wrong=1319, backtracks=1200, failedAssignments=447, nogoods=36
3.15/2.18
3.15/2.18 num=18, depth=64..89, filters=14497, wck=0.077, mem=31M870
3.15/2.18 decisions=4350, wrong=1471, backtracks=1340, failedAssignments=502, nogoods=38
3.15/2.18
3.15/2.19 num=19, depth=69..87, filters=15992, wck=0.081, mem=31M870
3.15/2.19 decisions=4782, wrong=1652, backtracks=1513, failedAssignments=563, nogoods=40
3.15/2.19
3.15/2.19 num=20, depth=70..98, filters=18028, wck=0.086, mem=31M870
3.15/2.19 decisions=5264, wrong=1858, backtracks=1702, failedAssignments=630, nogoods=43
3.15/2.19
3.15/2.19 num=21, depth=68..84, filters=19774, wck=0.09, mem=31M870
3.15/2.19 decisions=5734, wrong=2057, backtracks=1888, failedAssignments=704, nogoods=46
3.15/2.19
3.15/2.20 num=22, depth=64..99, filters=22456, wck=0.096, mem=31M870
3.15/2.20 decisions=6393, wrong=2353, backtracks=2159, failedAssignments=785, nogoods=49
3.15/2.20
3.46/2.21 num=23, depth=62..89, filters=24751, wck=0.101, mem=34M512
3.46/2.21 decisions=6997, wrong=2621, backtracks=2400, failedAssignments=874, nogoods=51
3.46/2.21
3.46/2.21 num=24, depth=68..90, filters=27193, wck=0.107, mem=34M512
3.46/2.21 decisions=7673, wrong=2920, backtracks=2677, failedAssignments=972, nogoods=54
3.46/2.21
3.46/2.22 num=25, depth=67..89, filters=29972, wck=0.113, mem=34M512
3.46/2.22 decisions=8342, wrong=3221, backtracks=2954, failedAssignments=1080, nogoods=56
3.46/2.22
3.46/2.22 num=26, depth=62..85, filters=33221, wck=0.12, mem=34M512
3.46/2.22 decisions=9203, wrong=3619, backtracks=3320, failedAssignments=1199, nogoods=59
3.46/2.22
3.46/2.23 num=27, depth=51..73, filters=36107, wck=0.126, mem=34M512
3.46/2.23 decisions=10043, wrong=4007, backtracks=3644, failedAssignments=1330, nogoods=63
3.46/2.23
3.46/2.24 num=28, depth=69..94, filters=40262, wck=0.134, mem=34M512
3.46/2.24 decisions=11009, wrong=4454, backtracks=4067, failedAssignments=1474, nogoods=66
3.46/2.24
3.46/2.25 num=29, depth=76..110, filters=44475, wck=0.142, mem=37M155
3.46/2.25 decisions=11983, wrong=4901, backtracks=4486, failedAssignments=1632, nogoods=70
3.46/2.25
3.46/2.26 num=30, depth=62..88, filters=48529, wck=0.151, mem=37M155
3.46/2.26 decisions=12882, wrong=5314, backtracks=4850, failedAssignments=1806, nogoods=74
3.46/2.26
3.46/2.27 num=31, depth=69..93, filters=53318, wck=0.161, mem=37M155
3.46/2.27 decisions=13976, wrong=5821, backtracks=5296, failedAssignments=1997, nogoods=77
3.46/2.27
3.46/2.28 num=32, depth=72..96, filters=58874, wck=0.172, mem=37M155
3.46/2.28 decisions=15238, wrong=6414, backtracks=5844, failedAssignments=2208, nogoods=81
3.46/2.28
3.46/2.29 num=33, depth=70..92, filters=65076, wck=0.182, mem=39M797
3.46/2.29 decisions=16773, wrong=7142, backtracks=6533, failedAssignments=2440, nogoods=83
3.46/2.29
3.75/2.30 num=34, depth=72..97, filters=71163, wck=0.193, mem=39M797
3.75/2.30 decisions=18318, wrong=7878, backtracks=7218, failedAssignments=2695, nogoods=86
3.75/2.30
3.75/2.31 num=35, depth=70..98, filters=78592, wck=0.204, mem=39M797
3.75/2.31 decisions=20011, wrong=8686, backtracks=7990, failedAssignments=2976, nogoods=88
3.75/2.31
3.75/2.32 num=36, depth=75..103, filters=86600, wck=0.215, mem=42M440
3.75/2.32 decisions=21926, wrong=9602, backtracks=8842, failedAssignments=3285, nogoods=92
3.75/2.32
3.75/2.33 num=37, depth=67..94, filters=96476, wck=0.23, mem=42M440
3.75/2.33 decisions=24098, wrong=10652, backtracks=9848, failedAssignments=3625, nogoods=96
3.75/2.33
3.75/2.35 num=38, depth=68..93, filters=106456, wck=0.243, mem=42M440
3.75/2.35 decisions=26437, wrong=11785, backtracks=10902, failedAssignments=3999, nogoods=100
3.75/2.35
3.75/2.36 num=39, depth=68..93, filters=118168, wck=0.258, mem=45M82
3.75/2.36 decisions=29058, wrong=13061, backtracks=12119, failedAssignments=4410, nogoods=102
3.75/2.36
3.75/2.38 num=40, depth=72..95, filters=129630, wck=0.273, mem=45M82
3.75/2.38 decisions=31661, wrong=14325, backtracks=13290, failedAssignments=4862, nogoods=106
3.75/2.38
3.75/2.39 num=41, depth=67..96, filters=143807, wck=0.29, mem=47M724
3.75/2.39 decisions=34764, wrong=15842, backtracks=14746, failedAssignments=5359, nogoods=111
3.75/2.39
4.05/2.41 num=42, depth=69..97, filters=158995, wck=0.309, mem=50M367
4.05/2.41 decisions=38191, wrong=17518, backtracks=16337, failedAssignments=5906, nogoods=115
4.05/2.41
4.05/2.43 num=43, depth=69..97, filters=177084, wck=0.328, mem=50M367
4.05/2.43 decisions=42207, wrong=19486, backtracks=18213, failedAssignments=6508, nogoods=118
4.05/2.43
4.05/2.45 num=44, depth=68..103, filters=195872, wck=0.349, mem=53M9
4.05/2.45 decisions=46309, wrong=21500, backtracks=20126, failedAssignments=7170, nogoods=120
4.05/2.45
4.05/2.48 num=45, depth=62..103, filters=215478, wck=0.372, mem=55M652
4.05/2.48 decisions=50351, wrong=23486, backtracks=21947, failedAssignments=7898, nogoods=126
4.05/2.48
4.18/2.50 num=46, depth=70..101, filters=238537, wck=0.398, mem=58M294
4.18/2.50 decisions=55275, wrong=25913, backtracks=24236, failedAssignments=8699, nogoods=127
4.18/2.50
4.18/2.53 num=47, depth=64..95, filters=263064, wck=0.425, mem=60M937
4.18/2.53 decisions=60649, wrong=28567, backtracks=26708, failedAssignments=9580, nogoods=131
4.18/2.53
4.18/2.56 num=48, depth=63..98, filters=290678, wck=0.459, mem=63M579
4.18/2.56 decisions=66530, wrong=31471, backtracks=29468, failedAssignments=10550, nogoods=135
4.18/2.56
4.29/2.60 num=49, depth=64..98, filters=319533, wck=0.492, mem=66M222
4.29/2.60 decisions=72948, wrong=34647, backtracks=32389, failedAssignments=11617, nogoods=138
4.29/2.60
4.29/2.63 num=50, depth=63..95, filters=351130, wck=0.53, mem=71M506
4.29/2.63 decisions=79931, wrong=38104, backtracks=35572, failedAssignments=12790, nogoods=142
4.29/2.63
4.29/2.68 num=51, depth=65..99, filters=386193, wck=0.572, mem=74M149
4.29/2.68 decisions=87623, wrong=41914, backtracks=39100, failedAssignments=14081, nogoods=147
4.29/2.68
4.39/2.72 num=52, depth=67..108, filters=426047, wck=0.616, mem=79M434
4.39/2.72 decisions=96740, wrong=46436, backtracks=43414, failedAssignments=15501, nogoods=152
4.39/2.72
4.39/2.78 num=53, depth=64..97, filters=468517, wck=0.677, mem=84M719
4.39/2.78 decisions=105941, wrong=50999, backtracks=47658, failedAssignments=17063, nogoods=154
4.39/2.78
4.51/2.84 num=54, depth=62..101, filters=514050, wck=0.732, mem=90M4
4.51/2.84 decisions=116054, wrong=56014, backtracks=52313, failedAssignments=18781, nogoods=158
4.51/2.84
4.61/2.90 num=55, depth=67..103, filters=566139, wck=0.792, mem=95M288
4.61/2.90 decisions=127633, wrong=61765, backtracks=57799, failedAssignments=20671, nogoods=164
4.61/2.90
4.61/2.97 num=56, depth=65..102, filters=626200, wck=0.862, mem=100M573
4.61/2.97 decisions=140759, wrong=68295, backtracks=64028, failedAssignments=22750, nogoods=169
4.61/2.97
4.72/3.04 num=57, depth=58..96, filters=689136, wck=0.938, mem=108M501
4.72/3.04 decisions=154780, wrong=75271, backtracks=70579, failedAssignments=25037, nogoods=173
4.72/3.04
4.84/3.13 num=58, depth=60..97, filters=761931, wck=1.025, mem=116M428
4.84/3.13 decisions=171317, wrong=83503, backtracks=78328, failedAssignments=27553, nogoods=177
4.84/3.13
4.95/3.23 num=59, depth=55..95, filters=844634, wck=1.13, mem=126M998
4.95/3.23 decisions=189733, wrong=92681, backtracks=86879, failedAssignments=30321, nogoods=182
4.95/3.23
5.05/3.34 num=60, depth=62..99, filters=934331, wck=1.234, mem=134M925
5.05/3.34 decisions=210006, wrong=102779, backtracks=96532, failedAssignments=33365, nogoods=186
5.05/3.34
5.14/3.46 num=61, depth=58..98, filters=1028278, wck=1.353, mem=24M815
5.14/3.46 decisions=231225, wrong=113355, backtracks=106260, failedAssignments=36714, nogoods=191
5.14/3.46
5.28/3.58 num=62, depth=57..102, filters=1137646, wck=1.475, mem=35M279
5.28/3.58 decisions=255500, wrong=125462, backtracks=117743, failedAssignments=40398, nogoods=195
5.28/3.58
5.48/3.72 num=63, depth=54..101, filters=1254000, wck=1.613, mem=48M359
5.48/3.72 decisions=281873, wrong=138616, backtracks=130203, failedAssignments=44450, nogoods=201
5.48/3.72
5.59/3.87 num=64, depth=57..101, filters=1391429, wck=1.768, mem=64M55
5.59/3.87 decisions=312564, wrong=153927, backtracks=144912, failedAssignments=48907, nogoods=205
5.59/3.87
5.81/4.04 num=65, depth=53..102, filters=1540138, wck=1.94, mem=82M367
5.81/4.04 decisions=346441, wrong=170834, backtracks=160776, failedAssignments=53810, nogoods=208
5.81/4.04
6.00/4.23 num=66, depth=52..99, filters=1697207, wck=2.126, mem=100M679
6.00/4.23 decisions=381576, wrong=188369, backtracks=177216, failedAssignments=59204, nogoods=211
6.00/4.23
6.20/4.44 num=67, depth=54..96, filters=1869933, wck=2.336, mem=121M607
6.20/4.44 decisions=420871, wrong=207985, backtracks=195719, failedAssignments=65137, nogoods=215
6.20/4.44
6.40/4.67 num=68, depth=55..106, filters=2068128, wck=2.562, mem=145M151
6.40/4.67 decisions=465686, wrong=230360, backtracks=216844, failedAssignments=71663, nogoods=220
6.40/4.67
6.73/4.93 num=69, depth=51..100, filters=2282251, wck=2.828, mem=37M935
6.73/4.93 decisions=514259, wrong=254613, backtracks=239483, failedAssignments=78842, nogoods=224
6.73/4.93
7.03/5.22 num=70, depth=51..99, filters=2520303, wck=3.113, mem=66M813
7.03/5.22 decisions=568453, wrong=281679, backtracks=264920, failedAssignments=86739, nogoods=230
7.03/5.22
7.33/5.51 num=71, depth=50..96, filters=2760613, wck=3.402, mem=95M690
7.33/5.51 decisions=626298, wrong=310565, backtracks=292085, failedAssignments=95426, nogoods=234
7.33/5.51
7.63/5.84 num=72, depth=50..101, filters=3031374, wck=3.738, mem=129M819
7.63/5.84 decisions=689004, wrong=341882, backtracks=321237, failedAssignments=104981, nogoods=239
7.63/5.84
8.06/6.21 num=73, depth=49..100, filters=3331171, wck=4.102, mem=34M259
8.06/6.21 decisions=762124, wrong=378409, backtracks=356083, failedAssignments=115492, nogoods=244
8.06/6.21
8.46/6.64 num=74, depth=50..101, filters=3686156, wck=4.533, mem=74M574
8.46/6.64 decisions=842524, wrong=418578, backtracks=394393, failedAssignments=127054, nogoods=249
8.46/6.64
8.87/7.10 num=75, depth=52..101, filters=4064308, wck=4.991, mem=122M218
8.87/7.10 decisions=928620, wrong=461594, backtracks=435409, failedAssignments=139772, nogoods=253
8.87/7.10
9.46/7.64 num=76, depth=50..111, filters=4524226, wck=5.54, mem=173M527
9.46/7.64 decisions=1030328, wrong=512421, backtracks=483734, failedAssignments=153762, nogoods=256
9.46/7.64
10.09/8.24 num=77, depth=47..100, filters=4996155, wck=6.133, mem=45M210
10.09/8.24 decisions=1135974, wrong=565220, backtracks=533788, failedAssignments=169151, nogoods=262
10.09/8.24
10.69/8.88 num=78, depth=47..100, filters=5533458, wck=6.777, mem=111M45
10.69/8.88 decisions=1259730, wrong=627069, backtracks=592676, failedAssignments=186079, nogoods=267
10.69/8.88
11.39/9.57 num=79, depth=42..100, filters=6100566, wck=7.464, mem=176M880
11.39/9.57 decisions=1395619, wrong=694988, backtracks=657573, failedAssignments=204700, nogoods=270
11.39/9.57
12.12/10.29 num=80, depth=44..94, filters=6672445, wck=8.18, mem=65M756
12.12/10.29 decisions=1531596, wrong=762938, backtracks=721277, failedAssignments=225184, nogoods=275
12.12/10.29
13.03/11.13 num=81, depth=48..103, filters=7342703, wck=9.024, mem=142M670
13.03/11.13 decisions=1687020, wrong=840622, backtracks=794465, failedAssignments=247716, nogoods=281
13.03/11.13
13.93/12.08 num=82, depth=41..99, filters=8096178, wck=9.98, mem=234M966
13.93/12.08 decisions=1864162, wrong=929164, backtracks=878335, failedAssignments=272501, nogoods=285
13.93/12.08
15.07/13.15 num=83, depth=42..98, filters=8918518, wck=11.043, mem=86M329
15.07/13.15 decisions=2057797, wrong=1025949, backtracks=970568, failedAssignments=299765, nogoods=289
15.07/13.15
16.16/14.29 num=84, depth=40..95, filters=9795880, wck=12.188, mem=194M162
16.16/14.29 decisions=2266187, wrong=1130117, backtracks=1070112, failedAssignments=329755, nogoods=294
16.16/14.29
17.49/15.52 num=85, depth=41..93, filters=10756218, wck=13.418, mem=61M500
17.49/15.52 decisions=2495344, wrong=1244664, backtracks=1178900, failedAssignments=362744, nogoods=299
17.49/15.52
18.89/16.96 num=86, depth=42..102, filters=11863343, wck=14.855, mem=194M157
18.89/16.96 decisions=2751806, wrong=1372865, backtracks=1301339, failedAssignments=399032, nogoods=304
18.89/16.96
20.50/18.53 num=87, depth=40..99, filters=13113759, wck=16.422, mem=347M761
20.50/18.53 decisions=3044739, wrong=1519305, backtracks=1441383, failedAssignments=438949, nogoods=309
20.50/18.53
22.22/20.25 num=88, depth=33..101, filters=14410316, wck=18.142, mem=167M197
22.22/20.25 decisions=3357800, wrong=1675810, backtracks=1591333, failedAssignments=482858, nogoods=314
22.22/20.25
24.03/22.05 num=89, depth=38..99, filters=15798286, wck=19.95, mem=342M900
24.03/22.05 decisions=3687518, wrong=1840637, backtracks=1747275, failedAssignments=531158, nogoods=320
24.03/22.05
26.16/24.13 num=90, depth=39..104, filters=17382559, wck=22.024, mem=186M420
26.16/24.13 decisions=4074076, wrong=2033890, backtracks=1931210, failedAssignments=584288, nogoods=325
26.16/24.13
28.45/26.40 num=91, depth=36..97, filters=19087237, wck=24.297, mem=414M328
28.45/26.40 decisions=4476612, wrong=2235135, backtracks=2122426, failedAssignments=642731, nogoods=330
28.45/26.40
31.00/28.92 num=92, depth=34..92, filters=20974035, wck=26.816, mem=236M33
31.00/28.92 decisions=4938142, wrong=2465879, backtracks=2344203, failedAssignments=707018, nogoods=335
31.00/28.92
33.93/31.83 num=93, depth=35..97, filters=23070893, wck=29.73, mem=97M156
33.93/31.83 decisions=5439218, wrong=2716388, backtracks=2584482, failedAssignments=777734, nogoods=342
33.93/31.83
36.93/34.83 num=94, depth=35..99, filters=25291759, wck=32.726, mem=397M622
36.93/34.83 decisions=5986853, wrong=2990174, backtracks=2845381, failedAssignments=855521, nogoods=346
36.93/34.83
40.17/38.04 num=95, depth=33..97, filters=27660509, wck=35.934, mem=225M882
40.17/38.04 decisions=6570285, wrong=3281857, backtracks=3118885, failedAssignments=941087, nogoods=350
40.17/38.04
44.00/41.81 num=96, depth=34..96, filters=30385819, wck=39.708, mem=128M417
44.00/41.81 decisions=7236932, wrong=3615160, backtracks=3437387, failedAssignments=1035210, nogoods=355
44.00/41.81
48.10/45.91 num=97, depth=35..100, filters=33339089, wck=43.81, mem=72M290
48.10/45.91 decisions=7970581, wrong=3981964, backtracks=3786232, failedAssignments=1138745, nogoods=360
48.10/45.91
52.81/50.65 num=98, depth=32..105, filters=36748118, wck=48.542, mem=96M74
52.81/50.65 decisions=8819708, wrong=4406508, backtracks=4195280, failedAssignments=1252634, nogoods=367
52.81/50.65
58.03/55.86 num=99, depth=31..101, filters=40435388, wck=53.755, mem=167M634
58.03/55.86 decisions=9742379, wrong=4867825, backtracks=4636935, failedAssignments=1377912, nogoods=374
58.03/55.86
63.53/61.34 num=100, depth=32..98, filters=44379054, wck=59.234, mem=282M324
63.53/61.34 decisions=10739248, wrong=5366233, backtracks=5114632, failedAssignments=1515718, nogoods=379
63.53/61.34
69.54/67.33 num=101, depth=27..97, filters=48578404, wck=65.226, mem=101M859
69.54/67.33 decisions=11820894, wrong=5907033, backtracks=5626051, failedAssignments=1667304, nogoods=385
69.54/67.33
76.45/74.28 num=102, depth=28..103, filters=53311025, wck=72.176, mem=381M509
76.45/74.28 decisions=13012732, wrong=6502927, backtracks=6196890, failedAssignments=1834049, nogoods=390
76.45/74.28
84.16/81.94 num=103, depth=27..98, filters=58515717, wck=79.838, mem=52M867
84.16/81.94 decisions=14359262, wrong=7176172, backtracks=6841033, failedAssignments=2017468, nogoods=398
84.16/81.94
92.49/90.29 num=104, depth=28..96, filters=64205965, wck=88.182, mem=175M861
92.49/90.29 decisions=15832534, wrong=7912788, backtracks=7548830, failedAssignments=2219229, nogoods=404
92.49/90.29
101.90/99.64 num=105, depth=25..99, filters=70608684, wck=97.537, mem=151M881
101.90/99.64 decisions=17468304, wrong=8730656, backtracks=8336099, failedAssignments=2441167, nogoods=411
101.90/99.64
112.02/109.70 num=106, depth=20..102, filters=77281592, wck=107.599, mem=252M541
112.02/109.70 decisions=19236211, wrong=9614581, backtracks=9182470, failedAssignments=2685298, nogoods=415
112.02/109.70
123.14/120.85 num=107, depth=23..98, filters=84489427, wck=118.745, mem=24M695
123.14/120.85 decisions=21122063, wrong=10557488, backtracks=10091498, failedAssignments=2953843, nogoods=419
123.14/120.85
135.97/133.66 num=108, depth=23..101, filters=92767951, wck=131.558, mem=86M58
135.97/133.66 decisions=23257808, wrong=11625336, backtracks=11116481, failedAssignments=3249242, nogoods=424
135.97/133.66
149.70/147.33 num=109, depth=23..104, filters=101685075, wck=145.225, mem=178M877
149.70/147.33 decisions=25608098, wrong=12800461, backtracks=12248227, failedAssignments=3574181, nogoods=430
149.70/147.33
164.84/162.49 num=110, depth=21..97, filters=111366241, wck=160.384, mem=71M495
164.84/162.49 decisions=28238508, wrong=14115646, backtracks=13513829, failedAssignments=3931614, nogoods=435
164.84/162.49
181.62/179.11 num=111, depth=19..97, filters=121653262, wck=177.007, mem=65M299
181.62/179.11 decisions=31046271, wrong=15519505, backtracks=14862143, failedAssignments=4324790, nogoods=438
181.62/179.11
200.40/197.83 num=112, depth=20..100, filters=133213229, wck=195.721, mem=94M317
200.40/197.83 decisions=34217272, wrong=17104986, backtracks=16383493, failedAssignments=4757284, nogoods=444
200.40/197.83
221.70/219.07 num=113, depth=21..99, filters=146367462, wck=216.964, mem=84M668
221.70/219.07 decisions=37716218, wrong=18854440, backtracks=18075859, failedAssignments=5233028, nogoods=450
221.70/219.07
244.21/241.42 num=114, depth=17..100, filters=159841886, wck=239.311, mem=82M376
244.21/241.42 decisions=41518098, wrong=20755358, backtracks=19906239, failedAssignments=5756346, nogoods=455
244.21/241.42
269.64/266.74 num=115, depth=19..98, filters=174868356, wck=264.64, mem=23M470
269.64/266.74 decisions=45702071, wrong=22847331, backtracks=21924720, failedAssignments=6331996, nogoods=461
269.64/266.74
297.47/294.42 num=116, depth=15..103, filters=190842628, wck=292.319, mem=34M287
297.47/294.42 decisions=50296517, wrong=25144540, backtracks=24136918, failedAssignments=6965211, nogoods=468
297.47/294.42
327.50/324.31 num=117, depth=16..99, filters=207944133, wck=322.205, mem=39M704
327.50/324.31 decisions=55339088, wrong=27665807, backtracks=26571060, failedAssignments=7661747, nogoods=474
327.50/324.31
361.24/357.93 num=118, depth=14..105, filters=226933751, wck=355.829, mem=63M481
361.24/357.93 decisions=61066207, wrong=30529357, backtracks=29325262, failedAssignments=8427937, nogoods=480
361.24/357.93
398.62/395.14 num=119, depth=12..100, filters=247535200, wck=393.039, mem=24M608
398.62/395.14 decisions=67325995, wrong=33659233, backtracks=32339996, failedAssignments=9270746, nogoods=485
398.62/395.14
439.07/435.46 num=120, depth=13..99, filters=269388335, wck=433.355, mem=36M513
439.07/435.46 decisions=74193657, wrong=37093043, backtracks=35644407, failedAssignments=10197836, nogoods=490
439.07/435.46
484.65/480.83 num=121, depth=10..108, filters=293387786, wck=478.722, mem=36M537
484.65/480.83 decisions=81915547, wrong=40953971, backtracks=39374271, failedAssignments=11217635, nogoods=496
484.65/480.83
534.44/530.46 num=122, depth=7..107, filters=318218414, wck=528.356, mem=23M585
534.44/530.46 decisions=90773173, wrong=45382768, backtracks=43650571, failedAssignments=12339414, nogoods=502
534.44/530.46
590.25/586.02 num=123, depth=5..104, filters=345362625, wck=583.912, mem=32M250
590.25/586.02 decisions=100456414, wrong=50224375, backtracks=48319629, failedAssignments=13573371, nogoods=507
590.25/586.02
637.02/632.62 num=124, depth=0..98, filters=366470955, wck=630.517, mem=53M875
637.02/632.62 decisions=108728990, wrong=54360664, backtracks=52313985, failedAssignments=14574388, nogoods=507
637.02/632.62
637.02/632.62 Global
637.02/632.62 filters=366470955, nogoods=507
637.02/632.62 Stop=FULL_EXPLORATION, wrong=54360664, wck=630.774, cpu=630.873, mem=53M875
637.02/632.62
637.02/632.62 s UNSATISFIABLE
637.02/632.62
637.02/632.62 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 (14969 MiB free)
memory of node 1: 16384 MiB (15259 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390526-1568385029/watcher-4390526-1568385029 -o /tmp/evaluation-result-4390526-1568385029/solver-4390526-1568385029 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1568380476-5058 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4390526-1568385029.xml -cm
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=7408, runsolver pid=7405
[startup+0.100059 s]*
/proc/loadavg: 1.74 1.79 1.84 4/228 7423
/proc/meminfo: memFree=30938860/32770624 swapFree=66934520/67108860
[pid=7408] ppid=7405 vsize=10659884 memory=29232 CPUtime=0.14 cores=0,2,4,6
/proc/7408/stat : 7408 (java) S 7405 7408 5027 0 -1 1077944320 5254 0 0 0 13 1 0 0 20 0 15 0 414774332 10915721216 7308 33554432000 4194304 4196468 140722564343760 140722564326304 140265459715831 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 35016704 140722564350987 140722564351090 140722564351090 140722564353999 0
/proc/7408/statm: 2664971 7308 2909 1 0 2627468 0
[pid=7408/tid=7410] ppid=7405 vsize=10659884 memory=-8124642594274839901 CPUtime=0.09 cores=0,2,4,6
/proc/7408/task/7410/stat : 7410 (java) R 7405 7408 5027 0 -1 4202560 2971 0 0 0 9 0 0 0 20 0 15 0 414774333 10915721216 7308 33554432000 4194304 4196468 140722564343760 140265463946896 140265459737757 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35016704 140722564350987 140722564351090 140722564351090 140722564353999 0
[pid=7408/tid=7411] ppid=7405 vsize=10659884 memory=5793855092690856377 CPUtime=0 cores=0,2,4,6
/proc/7408/task/7411/stat : 7411 (java) S 7405 7408 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414774333 10915721216 7308 33554432000 4194304 4196468 140722564343760 140265385790608 140265459726037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35016704 140722564350987 140722564351090 140722564351090 140722564353999 0
[pid=7408/tid=7412] ppid=7405 vsize=10659884 memory=139841680963200 CPUtime=0 cores=0,2,4,6
/proc/7408/task/7412/stat : 7412 (java) S 7405 7408 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414774333 10915721216 7308 33554432000 4194304 4196468 140722564343760 140265384737808 140265459726037 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35016704 140722564350987 140722564351090 140722564351090 140722564353999 0
[pid=7408/tid=7413] ppid=7405 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7408/task/7413/stat : 7413 (java) S 7405 7408 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414774333 10915721216 7308 33554432000 4194304 4196468 140722564343760 140265383685008 140265459726037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35016704 140722564350987 140722564351090 140722564351090 140722564353999 0
[pid=7408/tid=7414] ppid=7405 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7408/task/7414/stat : 7414 (java) S 7405 7408 5027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414774333 10915721216 7308 33554432000 4194304 4196468 140722564343760 140265382632208 140265459726037 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35016704 140722564350987 140722564351090 140722564351090 140722564353999 0
[pid=7408/tid=7415] ppid=7405 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7408/task/7415/stat : 7415 (java) S 7405 7408 5027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414774335 10915721216 7308 33554432000 4194304 4196468 140722564343760 140264950659440 140265459726978 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35016704 140722564350987 140722564351090 140722564351090 140722564353999 0
[pid=7408/tid=7416] ppid=7405 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7408/task/7416/stat : 7416 (java) S 7405 7408 5027 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414774335 10915721216 7308 33554432000 4194304 4196468 140722564343760 140264949605408 140265459726037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35016704 140722564350987 140722564351090 140722564351090 140722564353999 0
[pid=7408/tid=7417] ppid=7405 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7408/task/7417/stat : 7417 (java) S 7405 7408 5027 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414774335 10915721216 7308 33554432000 4194304 4196468 140722564343760 140264948552560 140265459726037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35016704 140722564350987 140722564351090 140722564351090 140722564353999 0
[pid=7408/tid=7418] ppid=7405 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7408/task/7418/stat : 7418 (java) S 7405 7408 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414774338 10915721216 7308 33554432000 4194304 4196468 140722564343760 140264947500880 140265459734427 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35016704 140722564350987 140722564351090 140722564351090 140722564353999 0
[pid=7408/tid=7419] ppid=7405 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7408/task/7419/stat : 7419 (java) S 7405 7408 5027 0 -1 1077944384 342 0 0 0 0 0 0 0 20 0 15 0 414774338 10915721216 7308 33554432000 4194304 4196468 140722564343760 140264946449264 140265459726978 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35016704 140722564350987 140722564351090 140722564351090 140722564353999 0
[pid=7408/tid=7420] ppid=7405 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7408/task/7420/stat : 7420 (java) S 7405 7408 5027 0 -1 1077944384 199 0 0 0 0 0 0 0 20 0 15 0 414774338 10915721216 7308 33554432000 4194304 4196468 140722564343760 140264945396464 140265459726978 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35016704 140722564350987 140722564351090 140722564351090 140722564353999 0
[pid=7408/tid=7421] ppid=7405 vsize=10659884 memory=139841680963200 CPUtime=0.02 cores=0,2,4,6
/proc/7408/task/7421/stat : 7421 (java) R 7405 7408 5027 0 -1 4202560 386 0 0 0 2 0 0 0 20 0 15 0 414774338 10915721216 7308 33554432000 4194304 4196468 140722564343760 140264944339280 140265438733428 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35016704 140722564350987 140722564351090 140722564351090 140722564353999 0
[pid=7408/tid=7422] ppid=7405 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7408/task/7422/stat : 7422 (java) S 7405 7408 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414774338 10915721216 7308 33554432000 4194304 4196468 140722564343760 140264943291104 140265459726037 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35016704 140722564350987 140722564351090 140722564351090 140722564353999 0
[pid=7408/tid=7423] ppid=7405 vsize=10659884 memory=139841680963200 CPUtime=0 cores=0,2,4,6
/proc/7408/task/7423/stat : 7423 (java) S 7405 7408 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414774338 10915721216 7308 33554432000 4194304 4196468 140722564343760 140264942238384 140265459726978 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35016704 140722564350987 140722564351090 140722564351090 140722564353999 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 29232 KiB
[startup+0.210608 s]*
/proc/loadavg: 1.74 1.79 1.84 3/228 7423
/proc/meminfo: memFree=30927912/32770624 swapFree=66934520/67108860
[pid=7408] ppid=7405 vsize=10659884 memory=37728 CPUtime=0.33 cores=0,2,4,6
/proc/7408/stat : 7408 (java) S 7405 7408 5027 0 -1 1077944320 8725 0 0 0 31 2 0 0 20 0 15 0 414774332 10915721216 9432 33554432000 4194304 4196468 140722564343760 140722564326304 140265459715831 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 35016704 140722564350987 140722564351090 140722564351090 140722564353999 0
/proc/7408/statm: 2664971 9432 2986 1 0 2627468 0
[pid=7408/tid=7410] ppid=7405 vsize=10659884 memory=-3103912127665269909 CPUtime=0.19 cores=0,2,4,6
/proc/7408/task/7410/stat : 7410 (java) R 7405 7408 5027 0 -1 4202560 5701 0 0 0 18 1 0 0 20 0 15 0 414774333 10915721216 9432 33554432000 4194304 4196468 140722564343760 140265463942192 140265459737757 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35016704 140722564350987 140722564351090 140722564351090 140722564353999 0
[pid=7408/tid=7411] ppid=7405 vsize=10659884 memory=4211973567885753738 CPUtime=0 cores=0,2,4,6
/proc/7408/task/7411/stat : 7411 (java) S 7405 7408 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414774333 10915721216 9432 33554432000 4194304 4196468 140722564343760 140265385790608 140265459726037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35016704 140722564350987 140722564351090 140722564351090 140722564353999 0
[pid=7408/tid=7412] ppid=7405 vsize=10659884 memory=139841680963200 CPUtime=0 cores=0,2,4,6
/proc/7408/task/7412/stat : 7412 (java) S 7405 7408 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414774333 10915721216 9432 33554432000 4194304 4196468 140722564343760 140265384737808 140265459726037 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35016704 140722564350987 140722564351090 140722564351090 140722564353999 0
[pid=7408/tid=7413] ppid=7405 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7408/task/7413/stat : 7413 (java) S 7405 7408 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414774333 10915721216 9432 33554432000 4194304 4196468 140722564343760 140265383685008 140265459726037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35016704 140722564350987 140722564351090 140722564351090 140722564353999 0
[pid=7408/tid=7414] ppid=7405 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7408/task/7414/stat : 7414 (java) S 7405 7408 5027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414774333 10915721216 9432 33554432000 4194304 4196468 140722564343760 140265382632208 140265459726037 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35016704 140722564350987 140722564351090 140722564351090 140722564353999 0
[pid=7408/tid=7415] ppid=7405 vsize=10659884 memory=139841680963200 CPUtime=0 cores=0,2,4,6
/proc/7408/task/7415/stat : 7415 (java) S 7405 7408 5027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414774335 10915721216 9432 33554432000 4194304 4196468 140722564343760 140264950659440 140265459726978 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35016704 140722564350987 140722564351090 140722564351090 140722564353999 0
[pid=7408/tid=7416] ppid=7405 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7408/task/7416/stat : 7416 (java) S 7405 7408 5027 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414774335 10915721216 9432 33554432000 4194304 4196468 140722564343760 140264949605408 140265459726037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35016704 140722564350987 140722564351090 140722564351090 140722564353999 0
[pid=7408/tid=7417] ppid=7405 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7408/task/7417/stat : 7417 (java) S 7405 7408 5027 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414774335 10915721216 9432 33554432000 4194304 4196468 140722564343760 140264948552560 140265459726037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35016704 140722564350987 140722564351090 140722564351090 140722564353999 0
[pid=7408/tid=7418] ppid=7405 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7408/task/7418/stat : 7418 (java) S 7405 7408 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414774338 10915721216 9432 33554432000 4194304 4196468 140722564343760 140264947500880 140265459734427 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35016704 140722564350987 140722564351090 140722564351090 140722564353999 0
[pid=7408/tid=7419] ppid=7405 vsize=10659884 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/7408/task/7419/stat : 7419 (java) S 7405 7408 5027 0 -1 1077944384 724 0 0 0 3 0 0 0 20 0 15 0 414774338 10915721216 9432 33554432000 4194304 4196468 140722564343760 140264946449264 140265459726978 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35016704 140722564350987 140722564351090 140722564351090 140722564353999 0
[pid=7408/tid=7420] ppid=7405 vsize=10659884 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/7408/task/7420/stat : 7420 (java) S 7405 7408 5027 0 -1 1077944384 262 0 0 0 2 0 0 0 20 0 15 0 414774338 10915721216 9432 33554432000 4194304 4196468 140722564343760 140264945396464 140265459726978 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35016704 140722564350987 140722564351090 140722564351090 140722564353999 0
[pid=7408/tid=7421] ppid=7405 vsize=10659884 memory=139841680963200 CPUtime=0.05 cores=0,2,4,6
/proc/7408/task/7421/stat : 7421 (java) S 7405 7408 5027 0 -1 1077944384 679 0 0 0 5 0 0 0 20 0 15 0 414774338 10915721216 9432 33554432000 4194304 4196468 140722564343760 140264944343664 140265459726978 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35016704 140722564350987 140722564351090 140722564351090 140722564353999 0
[pid=7408/tid=7422] ppid=7405 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7408/task/7422/stat : 7422 (java) S 7405 7408 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414774338 10915721216 9432 33554432000 4194304 4196468 140722564343760 140264943291104 140265459726037 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35016704 140722564350987 140722564351090 140722564351090 140722564353999 0
[pid=7408/tid=7423] ppid=7405 vsize=10659884 memory=139841680963200 CPUtime=0 cores=0,2,4,6
/proc/7408/task/7423/stat : 7423 (java) S 7405 7408 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414774338 10915721216 9432 33554432000 4194304 4196468 140722564343760 140264942238384 140265459726978 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35016704 140722564350987 140722564351090 140722564351090 140722564353999 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 37728 KiB
[startup+0.310033 s]*
/proc/loadavg: 1.74 1.79 1.84 4/228 7423
/proc/meminfo: memFree=30925992/32770624 swapFree=66934520/67108860
[pid=7408] ppid=7405 vsize=10659884 memory=40568 CPUtime=0.47 cores=0,2,4,6
/proc/7408/stat : 7408 (java) S 7405 7408 5027 0 -1 1077944320 8863 0 0 0 45 2 0 0 20 0 15 0 414774332 10915721216 10142 33554432000 4194304 4196468 140722564343760 140722564326304 140265459715831 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 35016704 140722564350987 140722564351090 140722564351090 140722564353999 0
/proc/7408/statm: 2664971 10142 3007 1 0 2627468 0
[pid=7408/tid=7410] ppid=7405 vsize=10659884 memory=7377246124687064083 CPUtime=0.3 cores=0,2,4,6
/proc/7408/task/7410/stat : 7410 (java) R 7405 7408 5027 0 -1 4202560 5785 0 0 0 28 2 0 0 20 0 15 0 414774333 10915721216 10142 33554432000 4194304 4196468 140722564343760 140265463954816 140265459737757 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35016704 140722564350987 140722564351090 140722564351090 140722564353999 0
[pid=7408/tid=7411] ppid=7405 vsize=10659884 memory=4211973567885753738 CPUtime=0 cores=0,2,4,6
/proc/7408/task/7411/stat : 7411 (java) S 7405 7408 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414774333 10915721216 10142 33554432000 4194304 4196468 140722564343760 140265385790608 140265459726037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35016704 140722564350987 140722564351090 140722564351090 140722564353999 0
[pid=7408/tid=7412] ppid=7405 vsize=10659884 memory=139841680968227 CPUtime=0 cores=0,2,4,6
/proc/7408/task/7412/stat : 7412 (java) S 7405 7408 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414774333 10915721216 10142 33554432000 4194304 4196468 140722564343760 140265384737808 140265459726037 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35016704 140722564350987 140722564351090 140722564351090 140722564353999 0
[pid=7408/tid=7413] ppid=7405 vsize=10659884 memory=139841518026189 CPUtime=0 cores=0,2,4,6
/proc/7408/task/7413/stat : 7413 (java) S 7405 7408 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414774333 10915721216 10142 33554432000 4194304 4196468 140722564343760 140265383685008 140265459726037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35016704 140722564350987 140722564351090 140722564351090 140722564353999 0
[pid=7408/tid=7414] ppid=7405 vsize=10659884 memory=139841518030287 CPUtime=0 cores=0,2,4,6
/proc/7408/task/7414/stat : 7414 (java) S 7405 7408 5027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414774333 10915721216 10142 33554432000 4194304 4196468 140722564343760 140265382632208 140265459726037 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35016704 140722564350987 140722564351090 140722564351090 140722564353999 0
[pid=7408/tid=7415] ppid=7405 vsize=10659884 memory=139841680968258 CPUtime=0 cores=0,2,4,6
/proc/7408/task/7415/stat : 7415 (java) S 7405 7408 5027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414774335 10915721216 10142 33554432000 4194304 4196468 140722564343760 140264950659440 140265459726978 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35016704 140722564350987 140722564351090 140722564351090 140722564353999 0
[pid=7408/tid=7416] ppid=7405 vsize=10659884 memory=139841518039471 CPUtime=0 cores=0,2,4,6
/proc/7408/task/7416/stat : 7416 (java) S 7405 7408 5027 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414774335 10915721216 10142 33554432000 4194304 4196468 140722564343760 140264949605408 140265459726037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35016704 140722564350987 140722564351090 140722564351090 140722564353999 0
[pid=7408/tid=7417] ppid=7405 vsize=10659884 memory=279683036069776 CPUtime=0 cores=0,2,4,6
/proc/7408/task/7417/stat : 7417 (java) S 7405 7408 5027 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414774335 10915721216 10142 33554432000 4194304 4196468 140722564343760 140264948552560 140265459726037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35016704 140722564350987 140722564351090 140722564351090 140722564353999 0
[pid=7408/tid=7418] ppid=7405 vsize=10659884 memory=279683036067472 CPUtime=0 cores=0,2,4,6
/proc/7408/task/7418/stat : 7418 (java) S 7405 7408 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414774338 10915721216 10142 33554432000 4194304 4196468 140722564343760 140264947500880 140265459734427 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35016704 140722564350987 140722564351090 140722564351090 140722564353999 0
[pid=7408/tid=7419] ppid=7405 vsize=10659884 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/7408/task/7419/stat : 7419 (java) S 7405 7408 5027 0 -1 1077944384 755 0 0 0 5 0 0 0 20 0 15 0 414774338 10915721216 10142 33554432000 4194304 4196468 140722564343760 140264946449264 140265459726978 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35016704 140722564350987 140722564351090 140722564351090 140722564353999 0
[pid=7408/tid=7420] ppid=7405 vsize=10659884 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/7408/task/7420/stat : 7420 (java) S 7405 7408 5027 0 -1 1077944384 278 0 0 0 3 0 0 0 20 0 15 0 414774338 10915721216 10142 33554432000 4194304 4196468 140722564343760 140264945396464 140265459726978 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35016704 140722564350987 140722564351090 140722564351090 140722564353999 0
[pid=7408/tid=7421] ppid=7405 vsize=10659884 memory=139841680963200 CPUtime=0.08 cores=0,2,4,6
/proc/7408/task/7421/stat : 7421 (java) S 7405 7408 5027 0 -1 1077944384 690 0 0 0 8 0 0 0 20 0 15 0 414774338 10915721216 10142 33554432000 4194304 4196468 140722564343760 140264944343664 140265459726978 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35016704 140722564350987 140722564351090 140722564351090 140722564353999 0
[pid=7408/tid=7422] ppid=7405 vsize=10659884 memory=2208 CPUtime=0 cores=0,2,4,6
/proc/7408/task/7422/stat : 7422 (java) S 7405 7408 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414774338 10915721216 10142 33554432000 4194304 4196468 140722564343760 140264943291104 140265459726037 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35016704 140722564350987 140722564351090 140722564351090 140722564353999 0
[pid=7408/tid=7423] ppid=7405 vsize=10659884 memory=139841680963200 CPUtime=0 cores=0,2,4,6
/proc/7408/task/7423/stat : 7423 (java) S 7405 7408 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414774338 10915721216 10142 33554432000 4194304 4196468 140722564343760 140264942238384 140265459726978 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35016704 140722564350987 140722564351090 140722564351090 140722564353999 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40568 KiB
[startup+0.70125 s]
/proc/loadavg: 1.74 1.79 1.84 3/228 7423
/proc/meminfo: memFree=30916772/32770624 swapFree=66934520/67108860
[pid=7408] ppid=7405 vsize=10661932 memory=63644 CPUtime=1.08 cores=0,2,4,6
/proc/7408/stat : 7408 (java) S 7405 7408 5027 0 -1 1077944320 12412 0 0 0 103 5 0 0 20 0 15 0 414774332 10917818368 15911 33554432000 4194304 4196468 140722564343760 140722564326304 140265459715831 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 35016704 140722564350987 140722564351090 140722564351090 140722564353999 0
/proc/7408/statm: 2665483 15911 3061 1 0 2627980 0
[pid=7408/tid=7410] ppid=7405 vsize=10661932 memory=3932 CPUtime=0.67 cores=0,2,4,6
/proc/7408/task/7410/stat : 7410 (java) R 7405 7408 5027 0 -1 4202560 8307 0 0 0 63 4 0 0 20 0 15 0 414774333 10917818368 15911 33554432000 4194304 4196468 140722564343760 140265463941712 140265445409312 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35016704 140722564350987 140722564351090 140722564351090 140722564353999 0
[pid=7408/tid=7411] ppid=7405 vsize=10661932 memory=2832 CPUtime=0 cores=0,2,4,6
/proc/7408/task/7411/stat : 7411 (java) S 7405 7408 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414774333 10917818368 15911 33554432000 4194304 4196468 140722564343760 140265385790608 140265459726037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35016704 140722564350987 140722564351090 140722564351090 140722564353999 0
[pid=7408/tid=7412] ppid=7405 vsize=10661932 memory=1548 CPUtime=0 cores=0,2,4,6
/proc/7408/task/7412/stat : 7412 (java) S 7405 7408 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414774333 10917818368 15911 33554432000 4194304 4196468 140722564343760 140265384737808 140265459726037 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35016704 140722564350987 140722564351090 140722564351090 140722564353999 0
[pid=7408/tid=7413] ppid=7405 vsize=10661932 memory=7014751519717807441 CPUtime=0 cores=0,2,4,6
/proc/7408/task/7413/stat : 7413 (java) S 7405 7408 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414774333 10917818368 15911 33554432000 4194304 4196468 140722564343760 140265383685008 140265459726037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35016704 140722564350987 140722564351090 140722564351090 140722564353999 0
[pid=7408/tid=7414] ppid=7405 vsize=10661932 memory=7019257425709197167 CPUtime=0 cores=0,2,4,6
/proc/7408/task/7414/stat : 7414 (java) S 7405 7408 5027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414774333 10917818368 15911 33554432000 4194304 4196468 140722564343760 140265382632208 140265459726037 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35016704 140722564350987 140722564351090 140722564351090 140722564353999 0
[pid=7408/tid=7415] ppid=7405 vsize=10661932 memory=5788063852999566677 CPUtime=0 cores=0,2,4,6
/proc/7408/task/7415/stat : 7415 (java) S 7405 7408 5027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414774335 10917818368 15911 33554432000 4194304 4196468 140722564343760 140264950659440 140265459726978 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35016704 140722564350987 140722564351090 140722564351090 140722564353999 0
[pid=7408/tid=7416] ppid=7405 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7408/task/7416/stat : 7416 (java) S 7405 7408 5027 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414774335 10917818368 15911 33554432000 4194304 4196468 140722564343760 140264949605408 140265459726037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35016704 140722564350987 140722564351090 140722564351090 140722564353999 0
[pid=7408/tid=7417] ppid=7405 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7408/task/7417/stat : 7417 (java) S 7405 7408 5027 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414774335 10917818368 15911 33554432000 4194304 4196468 140722564343760 140264948552560 140265459726037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35016704 140722564350987 140722564351090 140722564351090 140722564353999 0
[pid=7408/tid=7418] ppid=7405 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7408/task/7418/stat : 7418 (java) S 7405 7408 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414774338 10917818368 15911 33554432000 4194304 4196468 140722564343760 140264947500880 140265459734427 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35016704 140722564350987 140722564351090 140722564351090 140722564353999 0
[pid=7408/tid=7419] ppid=7405 vsize=10661932 memory=347 CPUtime=0.11 cores=0,2,4,6
/proc/7408/task/7419/stat : 7419 (java) R 7405 7408 5027 0 -1 4202560 969 0 0 0 11 0 0 0 20 0 15 0 414774338 10917818368 15911 33554432000 4194304 4196468 140722564343760 140264946449264 140265438954912 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35016704 140722564350987 140722564351090 140722564351090 140722564353999 0
[pid=7408/tid=7420] ppid=7405 vsize=10661932 memory=10 CPUtime=0.09 cores=0,2,4,6
/proc/7408/task/7420/stat : 7420 (java) S 7405 7408 5027 0 -1 1077944384 579 0 0 0 9 0 0 0 20 0 15 0 414774338 10917818368 15911 33554432000 4194304 4196468 140722564343760 140264945396464 140265459726978 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35016704 140722564350987 140722564351090 140722564351090 140722564353999 0
[pid=7408/tid=7421] ppid=7405 vsize=10661932 memory=26472 CPUtime=0.18 cores=0,2,4,6
/proc/7408/task/7421/stat : 7421 (java) S 7405 7408 5027 0 -1 1077944384 1198 0 0 0 18 0 0 0 20 0 15 0 414774338 10917818368 15911 33554432000 4194304 4196468 140722564343760 140264944343664 140265459726978 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35016704 140722564350987 140722564351090 140722564351090 140722564353999 0
[pid=7408/tid=7422] ppid=7405 vsize=10661932 memory=279683036253680 CPUtime=0 cores=0,2,4,6
/proc/7408/task/7422/stat : 7422 (java) S 7405 7408 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414774338 10917818368 15911 33554432000 4194304 4196468 140722564343760 140264943291104 140265459726037 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35016704 140722564350987 140722564351090 140722564351090 140722564353999 0
[pid=7408/tid=7423] ppid=7405 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7408/task/7423/stat : 7423 (java) S 7405 7408 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414774338 10917818368 15911 33554432000 4194304 4196468 140722564343760 140264942238384 140265459726978 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35016704 140722564350987 140722564351090 140722564351090 140722564353999 0
Current children cumulated CPU time: 1.08 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 63644 KiB
[startup+1.50075 s]
/proc/loadavg: 1.74 1.79 1.84 3/228 7423
/proc/meminfo: memFree=30900332/32770624 swapFree=66934520/67108860
[pid=7408] ppid=7405 vsize=10663980 memory=75704 CPUtime=1.99 cores=0,2,4,6
/proc/7408/stat : 7408 (java) S 7405 7408 5027 0 -1 1077944320 17733 0 0 0 193 6 0 0 20 0 15 0 414774332 10919915520 18926 33554432000 4194304 4196468 140722564343760 140722564326304 140265459715831 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 35016704 140722564350987 140722564351090 140722564351090 140722564353999 0
/proc/7408/statm: 2665995 18926 3094 1 0 2628492 0
[pid=7408/tid=7410] ppid=7405 vsize=10663980 memory=0 CPUtime=1.47 cores=0,2,4,6
/proc/7408/task/7410/stat : 7410 (java) R 7405 7408 5027 0 -1 4202560 12397 0 0 0 142 5 0 0 20 0 15 0 414774333 10919915520 18926 33554432000 4194304 4196468 140722564343760 140265463946888 140265459737757 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35016704 140722564350987 140722564351090 140722564351090 140722564353999 0
[pid=7408/tid=7411] ppid=7405 vsize=10663980 memory=-3472574513799858009 CPUtime=0 cores=0,2,4,6
/proc/7408/task/7411/stat : 7411 (java) S 7405 7408 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414774333 10919915520 18926 33554432000 4194304 4196468 140722564343760 140265385790608 140265459726037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35016704 140722564350987 140722564351090 140722564351090 140722564353999 0
[pid=7408/tid=7412] ppid=7405 vsize=10663980 memory=-3535359994705172318 CPUtime=0 cores=0,2,4,6
/proc/7408/task/7412/stat : 7412 (java) S 7405 7408 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414774333 10919915520 18926 33554432000 4194304 4196468 140722564343760 140265384737808 140265459726037 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35016704 140722564350987 140722564351090 140722564351090 140722564353999 0
[pid=7408/tid=7413] ppid=7405 vsize=10663980 memory=-6305718312451596928 CPUtime=0 cores=0,2,4,6
/proc/7408/task/7413/stat : 7413 (java) S 7405 7408 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414774333 10919915520 18926 33554432000 4194304 4196468 140722564343760 140265383685008 140265459726037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35016704 140722564350987 140722564351090 140722564351090 140722564353999 0
[pid=7408/tid=7414] ppid=7405 vsize=10663980 memory=4947653485394239104 CPUtime=0 cores=0,2,4,6
/proc/7408/task/7414/stat : 7414 (java) S 7405 7408 5027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414774333 10919915520 18926 33554432000 4194304 4196468 140722564343760 140265382632208 140265459726037 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35016704 140722564350987 140722564351090 140722564351090 140722564353999 0
[pid=7408/tid=7415] ppid=7405 vsize=10663980 memory=-6152018833316733792 CPUtime=0 cores=0,2,4,6
/proc/7408/task/7415/stat : 7415 (java) S 7405 7408 5027 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 15 0 414774335 10919915520 18926 33554432000 4194304 4196468 140722564343760 140264950659440 140265459726978 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35016704 140722564350987 140722564351090 140722564351090 140722564353999 0
################
# More data... #
################
[startup+630.401 s]
/proc/loadavg: 1.40 1.57 1.71 3/229 7488
/proc/meminfo: memFree=30516500/32770624 swapFree=66934528/67108860
[pid=7408] ppid=7405 vsize=10746276 memory=448160 CPUtime=634.8 cores=0,2,4,6
/proc/7408/stat : 7408 (java) S 7405 7408 5027 0 -1 1077944320 53523 0 0 0 63434 46 0 0 20 0 16 0 414774332 11004186624 112040 33554432000 4194304 4196468 140722564343760 140722564326304 140265459715831 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 35016704 140722564350987 140722564351090 140722564351090 140722564353999 0
/proc/7408/statm: 2686569 112040 3366 1 0 2646705 0
[pid=7408/tid=7410] ppid=7405 vsize=10746276 memory=1564 CPUtime=1.84 cores=0,2,4,6
/proc/7408/task/7410/stat : 7410 (java) S 7405 7408 5027 0 -1 1077944384 14553 0 0 0 178 6 0 0 20 0 16 0 414774333 11004186624 112040 33554432000 4194304 4196468 140722564343760 140265463958704 140265459726037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35016704 140722564350987 140722564351090 140722564351090 140722564353999 0
[pid=7408/tid=7411] ppid=7405 vsize=10746276 memory=976 CPUtime=0.9 cores=0,2,4,6
/proc/7408/task/7411/stat : 7411 (java) S 7405 7408 5027 0 -1 1077944384 2649 0 0 0 86 4 0 0 20 0 16 0 414774333 11004186624 112040 33554432000 4194304 4196468 140722564343760 140265385790608 140265459726037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35016704 140722564350987 140722564351090 140722564351090 140722564353999 0
[pid=7408/tid=7412] ppid=7405 vsize=10746276 memory=772 CPUtime=0.91 cores=0,2,4,6
/proc/7408/task/7412/stat : 7412 (java) S 7405 7408 5027 0 -1 1077944384 1951 0 0 0 86 5 0 0 20 0 16 0 414774333 11004186624 112040 33554432000 4194304 4196468 140722564343760 140265384737808 140265459726037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35016704 140722564350987 140722564351090 140722564351090 140722564353999 0
[pid=7408/tid=7413] ppid=7405 vsize=10746276 memory=3120 CPUtime=0.91 cores=0,2,4,6
/proc/7408/task/7413/stat : 7413 (java) S 7405 7408 5027 0 -1 1077944384 2226 0 0 0 86 5 0 0 20 0 16 0 414774333 11004186624 112040 33554432000 4194304 4196468 140722564343760 140265383685008 140265459726037 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35016704 140722564350987 140722564351090 140722564351090 140722564353999 0
[pid=7408/tid=7414] ppid=7405 vsize=10746276 memory=448160 CPUtime=0.91 cores=0,2,4,6
/proc/7408/task/7414/stat : 7414 (java) S 7405 7408 5027 0 -1 1077944384 2551 0 0 0 86 5 0 0 20 0 16 0 414774333 11004186624 112040 33554432000 4194304 4196468 140722564343760 140265382632208 140265459726037 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35016704 140722564350987 140722564351090 140722564351090 140722564353999 0
[pid=7408/tid=7415] ppid=7405 vsize=10746276 memory=8112282956445269571 CPUtime=0.51 cores=0,2,4,6
/proc/7408/task/7415/stat : 7415 (java) S 7405 7408 5027 0 -1 1077944384 3755 0 0 0 47 4 0 0 20 0 16 0 414774335 11004186624 112040 33554432000 4194304 4196468 140722564343760 140264950659440 140265459726978 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35016704 140722564350987 140722564351090 140722564351090 140722564353999 0
[pid=7408/tid=7416] ppid=7405 vsize=10746276 memory=984 CPUtime=0 cores=0,2,4,6
/proc/7408/task/7416/stat : 7416 (java) S 7405 7408 5027 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 16 0 414774335 11004186624 112040 33554432000 4194304 4196468 140722564343760 140264949605472 140265459726037 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35016704 140722564350987 140722564351090 140722564351090 140722564353999 0
[pid=7408/tid=7417] ppid=7405 vsize=10746276 memory=2032 CPUtime=0 cores=0,2,4,6
/proc/7408/task/7417/stat : 7417 (java) S 7405 7408 5027 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 16 0 414774335 11004186624 112040 33554432000 4194304 4196468 140722564343760 140264948552576 140265459726037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35016704 140722564350987 140722564351090 140722564351090 140722564353999 0
[pid=7408/tid=7418] ppid=7405 vsize=10746276 memory=1332 CPUtime=0 cores=0,2,4,6
/proc/7408/task/7418/stat : 7418 (java) S 7405 7408 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414774338 11004186624 112040 33554432000 4194304 4196468 140722564343760 140264947500880 140265459734427 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35016704 140722564350987 140722564351090 140722564351090 140722564353999 0
[pid=7408/tid=7419] ppid=7405 vsize=10746276 memory=448160 CPUtime=0.67 cores=0,2,4,6
/proc/7408/task/7419/stat : 7419 (java) S 7405 7408 5027 0 -1 1077944384 2886 0 0 0 67 0 0 0 20 0 16 0 414774338 11004186624 112040 33554432000 4194304 4196468 140722564343760 140264946449264 140265459726978 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35016704 140722564350987 140722564351090 140722564351090 140722564353999 0
[pid=7408/tid=7420] ppid=7405 vsize=10746276 memory=1804 CPUtime=0.64 cores=0,2,4,6
/proc/7408/task/7420/stat : 7420 (java) S 7405 7408 5027 0 -1 1077944384 1964 0 0 0 64 0 0 0 20 0 16 0 414774338 11004186624 112040 33554432000 4194304 4196468 140722564343760 140264945396464 140265459726978 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35016704 140722564350987 140722564351090 140722564351090 140722564353999 0
[pid=7408/tid=7421] ppid=7405 vsize=10746276 memory=916 CPUtime=0.46 cores=0,2,4,6
/proc/7408/task/7421/stat : 7421 (java) S 7405 7408 5027 0 -1 1077944384 5881 0 0 0 45 1 0 0 20 0 16 0 414774338 11004186624 112040 33554432000 4194304 4196468 140722564343760 140264944343664 140265459726978 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35016704 140722564350987 140722564351090 140722564351090 140722564353999 0
[pid=7408/tid=7422] ppid=7405 vsize=10746276 memory=448160 CPUtime=0 cores=0,2,4,6
/proc/7408/task/7422/stat : 7422 (java) S 7405 7408 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414774338 11004186624 112040 33554432000 4194304 4196468 140722564343760 140264943291104 140265459726037 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35016704 140722564350987 140722564351090 140722564351090 140722564353999 0
[pid=7408/tid=7423] ppid=7405 vsize=10746276 memory=8112282956445269571 CPUtime=0.14 cores=0,2,4,6
/proc/7408/task/7423/stat : 7423 (java) S 7405 7408 5027 0 -1 1077944384 298 0 0 0 6 8 0 0 20 0 16 0 414774338 11004186624 112040 33554432000 4194304 4196468 140722564343760 140264942238384 140265459726978 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35016704 140722564350987 140722564351090 140722564351090 140722564353999 0
[pid=7408/tid=7424] ppid=7405 vsize=10746276 memory=504 CPUtime=626.78 cores=0,2,4,6
/proc/7408/task/7424/stat : 7424 (java) R 7405 7408 5027 0 -1 4202560 13411 0 0 0 62670 8 0 0 20 0 16 0 414774520 11004186624 112040 33554432000 4194304 4196468 140722564343760 140264925576736 140265063343758 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35016704 140722564350987 140722564351090 140722564351090 140722564353999 0
Current children cumulated CPU time: 634.8 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 448160 KiB
[startup+632.001 s]*
/proc/loadavg: 1.44 1.57 1.71 3/229 7488
/proc/meminfo: memFree=30516500/32770624 swapFree=66934528/67108860
[pid=7408] ppid=7405 vsize=10746276 memory=448160 CPUtime=636.42 cores=0,2,4,6
/proc/7408/stat : 7408 (java) S 7405 7408 5027 0 -1 1077944320 53526 0 0 0 63595 47 0 0 20 0 16 0 414774332 11004186624 112040 33554432000 4194304 4196468 140722564343760 140722564326304 140265459715831 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 35016704 140722564350987 140722564351090 140722564351090 140722564353999 0
/proc/7408/statm: 2686569 112040 3366 1 0 2646705 0
[pid=7408/tid=7410] ppid=7405 vsize=10746276 memory=8112282956445269571 CPUtime=1.84 cores=0,2,4,6
/proc/7408/task/7410/stat : 7410 (java) S 7405 7408 5027 0 -1 1077944384 14553 0 0 0 178 6 0 0 20 0 16 0 414774333 11004186624 112040 33554432000 4194304 4196468 140722564343760 140265463958704 140265459726037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35016704 140722564350987 140722564351090 140722564351090 140722564353999 0
[pid=7408/tid=7411] ppid=7405 vsize=10746276 memory=-7003737579269690708 CPUtime=0.9 cores=0,2,4,6
/proc/7408/task/7411/stat : 7411 (java) S 7405 7408 5027 0 -1 1077944384 2649 0 0 0 86 4 0 0 20 0 16 0 414774333 11004186624 112040 33554432000 4194304 4196468 140722564343760 140265385790608 140265459726037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35016704 140722564350987 140722564351090 140722564351090 140722564353999 0
[pid=7408/tid=7412] ppid=7405 vsize=10746276 memory=3932 CPUtime=0.92 cores=0,2,4,6
/proc/7408/task/7412/stat : 7412 (java) S 7405 7408 5027 0 -1 1077944384 1951 0 0 0 87 5 0 0 20 0 16 0 414774333 11004186624 112040 33554432000 4194304 4196468 140722564343760 140265384737808 140265459726037 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35016704 140722564350987 140722564351090 140722564351090 140722564353999 0
[pid=7408/tid=7413] ppid=7405 vsize=10746276 memory=2832 CPUtime=0.91 cores=0,2,4,6
/proc/7408/task/7413/stat : 7413 (java) S 7405 7408 5027 0 -1 1077944384 2226 0 0 0 86 5 0 0 20 0 16 0 414774333 11004186624 112040 33554432000 4194304 4196468 140722564343760 140265383685008 140265459726037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35016704 140722564350987 140722564351090 140722564351090 140722564353999 0
[pid=7408/tid=7414] ppid=7405 vsize=10746276 memory=1548 CPUtime=0.92 cores=0,2,4,6
/proc/7408/task/7414/stat : 7414 (java) S 7405 7408 5027 0 -1 1077944384 2551 0 0 0 87 5 0 0 20 0 16 0 414774333 11004186624 112040 33554432000 4194304 4196468 140722564343760 140265382632208 140265459726037 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35016704 140722564350987 140722564351090 140722564351090 140722564353999 0
[pid=7408/tid=7415] ppid=7405 vsize=10746276 memory=1056 CPUtime=0.51 cores=0,2,4,6
/proc/7408/task/7415/stat : 7415 (java) S 7405 7408 5027 0 -1 1077944384 3755 0 0 0 47 4 0 0 20 0 16 0 414774335 11004186624 112040 33554432000 4194304 4196468 140722564343760 140264950659440 140265459726978 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35016704 140722564350987 140722564351090 140722564351090 140722564353999 0
[pid=7408/tid=7416] ppid=7405 vsize=10746276 memory=744 CPUtime=0 cores=0,2,4,6
/proc/7408/task/7416/stat : 7416 (java) S 7405 7408 5027 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 16 0 414774335 11004186624 112040 33554432000 4194304 4196468 140722564343760 140264949605472 140265459726037 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35016704 140722564350987 140722564351090 140722564351090 140722564353999 0
[pid=7408/tid=7417] ppid=7405 vsize=10746276 memory=8296 CPUtime=0 cores=0,2,4,6
/proc/7408/task/7417/stat : 7417 (java) S 7405 7408 5027 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 16 0 414774335 11004186624 112040 33554432000 4194304 4196468 140722564343760 140264948552576 140265459726037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35016704 140722564350987 140722564351090 140722564351090 140722564353999 0
[pid=7408/tid=7418] ppid=7405 vsize=10746276 memory=5952 CPUtime=0 cores=0,2,4,6
/proc/7408/task/7418/stat : 7418 (java) S 7405 7408 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414774338 11004186624 112040 33554432000 4194304 4196468 140722564343760 140264947500880 140265459734427 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35016704 140722564350987 140722564351090 140722564351090 140722564353999 0
[pid=7408/tid=7419] ppid=7405 vsize=10746276 memory=1124 CPUtime=0.67 cores=0,2,4,6
/proc/7408/task/7419/stat : 7419 (java) S 7405 7408 5027 0 -1 1077944384 2886 0 0 0 67 0 0 0 20 0 16 0 414774338 11004186624 112040 33554432000 4194304 4196468 140722564343760 140264946449264 140265459726978 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35016704 140722564350987 140722564351090 140722564351090 140722564353999 0
[pid=7408/tid=7420] ppid=7405 vsize=10746276 memory=14008 CPUtime=0.64 cores=0,2,4,6
/proc/7408/task/7420/stat : 7420 (java) S 7405 7408 5027 0 -1 1077944384 1964 0 0 0 64 0 0 0 20 0 16 0 414774338 11004186624 112040 33554432000 4194304 4196468 140722564343760 140264945396464 140265459726978 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35016704 140722564350987 140722564351090 140722564351090 140722564353999 0
[pid=7408/tid=7421] ppid=7405 vsize=10746276 memory=11928 CPUtime=0.46 cores=0,2,4,6
/proc/7408/task/7421/stat : 7421 (java) S 7405 7408 5027 0 -1 1077944384 5881 0 0 0 45 1 0 0 20 0 16 0 414774338 11004186624 112040 33554432000 4194304 4196468 140722564343760 140264944343664 140265459726978 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35016704 140722564350987 140722564351090 140722564351090 140722564353999 0
[pid=7408/tid=7422] ppid=7405 vsize=10746276 memory=2124 CPUtime=0 cores=0,2,4,6
/proc/7408/task/7422/stat : 7422 (java) S 7405 7408 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414774338 11004186624 112040 33554432000 4194304 4196468 140722564343760 140264943291104 140265459726037 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35016704 140722564350987 140722564351090 140722564351090 140722564353999 0
[pid=7408/tid=7423] ppid=7405 vsize=10746276 memory=7172 CPUtime=0.14 cores=0,2,4,6
/proc/7408/task/7423/stat : 7423 (java) S 7405 7408 5027 0 -1 1077944384 298 0 0 0 6 8 0 0 20 0 16 0 414774338 11004186624 112040 33554432000 4194304 4196468 140722564343760 140264942238384 140265459726978 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35016704 140722564350987 140722564351090 140722564351090 140722564353999 0
[pid=7408/tid=7424] ppid=7405 vsize=10746276 memory=504 CPUtime=628.39 cores=0,2,4,6
/proc/7408/task/7424/stat : 7424 (java) R 7405 7408 5027 0 -1 4202560 13414 0 0 0 62831 8 0 0 20 0 16 0 414774520 11004186624 112040 33554432000 4194304 4196468 140722564343760 140264925576624 140265063590771 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35016704 140722564350987 140722564351090 140722564351090 140722564353999 0
Current children cumulated CPU time: 636.42 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 448160 KiB
[startup+632.401 s]
/proc/loadavg: 1.44 1.57 1.71 3/229 7488
/proc/meminfo: memFree=30516500/32770624 swapFree=66934528/67108860
[pid=7408] ppid=7405 vsize=10746276 memory=448160 CPUtime=636.82 cores=0,2,4,6
/proc/7408/stat : 7408 (java) S 7405 7408 5027 0 -1 1077944320 53527 0 0 0 63635 47 0 0 20 0 16 0 414774332 11004186624 112040 33554432000 4194304 4196468 140722564343760 140722564326304 140265459715831 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 35016704 140722564350987 140722564351090 140722564351090 140722564353999 0
/proc/7408/statm: 2686569 112040 3366 1 0 2646705 0
[pid=7408/tid=7410] ppid=7405 vsize=10746276 memory=11928 CPUtime=1.84 cores=0,2,4,6
/proc/7408/task/7410/stat : 7410 (java) S 7405 7408 5027 0 -1 1077944384 14553 0 0 0 178 6 0 0 20 0 16 0 414774333 11004186624 112040 33554432000 4194304 4196468 140722564343760 140265463958704 140265459726037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35016704 140722564350987 140722564351090 140722564351090 140722564353999 0
[pid=7408/tid=7411] ppid=7405 vsize=10746276 memory=2124 CPUtime=0.9 cores=0,2,4,6
/proc/7408/task/7411/stat : 7411 (java) S 7405 7408 5027 0 -1 1077944384 2649 0 0 0 86 4 0 0 20 0 16 0 414774333 11004186624 112040 33554432000 4194304 4196468 140722564343760 140265385790608 140265459726037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35016704 140722564350987 140722564351090 140722564351090 140722564353999 0
[pid=7408/tid=7412] ppid=7405 vsize=10746276 memory=7172 CPUtime=0.92 cores=0,2,4,6
/proc/7408/task/7412/stat : 7412 (java) S 7405 7408 5027 0 -1 1077944384 1951 0 0 0 87 5 0 0 20 0 16 0 414774333 11004186624 112040 33554432000 4194304 4196468 140722564343760 140265384737808 140265459726037 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35016704 140722564350987 140722564351090 140722564351090 140722564353999 0
[pid=7408/tid=7413] ppid=7405 vsize=10746276 memory=504 CPUtime=0.91 cores=0,2,4,6
/proc/7408/task/7413/stat : 7413 (java) S 7405 7408 5027 0 -1 1077944384 2226 0 0 0 86 5 0 0 20 0 16 0 414774333 11004186624 112040 33554432000 4194304 4196468 140722564343760 140265383685008 140265459726037 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35016704 140722564350987 140722564351090 140722564351090 140722564353999 0
[pid=7408/tid=7414] ppid=7405 vsize=10746276 memory=448160 CPUtime=0.92 cores=0,2,4,6
/proc/7408/task/7414/stat : 7414 (java) S 7405 7408 5027 0 -1 1077944384 2551 0 0 0 87 5 0 0 20 0 16 0 414774333 11004186624 112040 33554432000 4194304 4196468 140722564343760 140265382632208 140265459726037 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35016704 140722564350987 140722564351090 140722564351090 140722564353999 0
[pid=7408/tid=7415] ppid=7405 vsize=10746276 memory=916 CPUtime=0.51 cores=0,2,4,6
/proc/7408/task/7415/stat : 7415 (java) S 7405 7408 5027 0 -1 1077944384 3755 0 0 0 47 4 0 0 20 0 16 0 414774335 11004186624 112040 33554432000 4194304 4196468 140722564343760 140264950659440 140265459726978 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35016704 140722564350987 140722564351090 140722564351090 140722564353999 0
[pid=7408/tid=7416] ppid=7405 vsize=10746276 memory=3848 CPUtime=0 cores=0,2,4,6
/proc/7408/task/7416/stat : 7416 (java) S 7405 7408 5027 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 16 0 414774335 11004186624 112040 33554432000 4194304 4196468 140722564343760 140264949605472 140265459726037 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35016704 140722564350987 140722564351090 140722564351090 140722564353999 0
[pid=7408/tid=7417] ppid=7405 vsize=10746276 memory=2620 CPUtime=0 cores=0,2,4,6
/proc/7408/task/7417/stat : 7417 (java) S 7405 7408 5027 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 16 0 414774335 11004186624 112040 33554432000 4194304 4196468 140722564343760 140264948552576 140265459726037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35016704 140722564350987 140722564351090 140722564351090 140722564353999 0
[pid=7408/tid=7418] ppid=7405 vsize=10746276 memory=2904 CPUtime=0 cores=0,2,4,6
/proc/7408/task/7418/stat : 7418 (java) S 7405 7408 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414774338 11004186624 112040 33554432000 4194304 4196468 140722564343760 140264947500880 140265459734427 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35016704 140722564350987 140722564351090 140722564351090 140722564353999 0
[pid=7408/tid=7419] ppid=7405 vsize=10746276 memory=1656 CPUtime=0.67 cores=0,2,4,6
/proc/7408/task/7419/stat : 7419 (java) S 7405 7408 5027 0 -1 1077944384 2886 0 0 0 67 0 0 0 20 0 16 0 414774338 11004186624 112040 33554432000 4194304 4196468 140722564343760 140264946449264 140265459726978 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35016704 140722564350987 140722564351090 140722564351090 140722564353999 0
[pid=7408/tid=7420] ppid=7405 vsize=10746276 memory=4108 CPUtime=0.64 cores=0,2,4,6
/proc/7408/task/7420/stat : 7420 (java) S 7405 7408 5027 0 -1 1077944384 1964 0 0 0 64 0 0 0 20 0 16 0 414774338 11004186624 112040 33554432000 4194304 4196468 140722564343760 140264945396464 140265459726978 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35016704 140722564350987 140722564351090 140722564351090 140722564353999 0
[pid=7408/tid=7421] ppid=7405 vsize=10746276 memory=1408 CPUtime=0.46 cores=0,2,4,6
/proc/7408/task/7421/stat : 7421 (java) S 7405 7408 5027 0 -1 1077944384 5881 0 0 0 45 1 0 0 20 0 16 0 414774338 11004186624 112040 33554432000 4194304 4196468 140722564343760 140264944343664 140265459726978 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35016704 140722564350987 140722564351090 140722564351090 140722564353999 0
[pid=7408/tid=7422] ppid=7405 vsize=10746276 memory=3176 CPUtime=0 cores=0,2,4,6
/proc/7408/task/7422/stat : 7422 (java) S 7405 7408 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414774338 11004186624 112040 33554432000 4194304 4196468 140722564343760 140264943291104 140265459726037 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35016704 140722564350987 140722564351090 140722564351090 140722564353999 0
[pid=7408/tid=7423] ppid=7405 vsize=10746276 memory=192124 CPUtime=0.14 cores=0,2,4,6
/proc/7408/task/7423/stat : 7423 (java) S 7405 7408 5027 0 -1 1077944384 298 0 0 0 6 8 0 0 20 0 16 0 414774338 11004186624 112040 33554432000 4194304 4196468 140722564343760 140264942238384 140265459726978 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35016704 140722564350987 140722564351090 140722564351090 140722564353999 0
[pid=7408/tid=7424] ppid=7405 vsize=10746276 memory=1408 CPUtime=628.78 cores=0,2,4,6
/proc/7408/task/7424/stat : 7424 (java) R 7405 7408 5027 0 -1 4202560 13415 0 0 0 62870 8 0 0 20 0 16 0 414774520 11004186624 112040 33554432000 4194304 4196468 140722564343760 140264925576736 140265063591129 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35016704 140722564350987 140722564351090 140722564351090 140722564353999 0
Current children cumulated CPU time: 636.82 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 448160 KiB
[startup+632.601 s]
/proc/loadavg: 1.44 1.57 1.71 3/229 7488
/proc/meminfo: memFree=30516500/32770624 swapFree=66934528/67108860
[pid=7408] ppid=7405 vsize=10746276 memory=448160 CPUtime=637.02 cores=0,2,4,6
/proc/7408/stat : 7408 (java) S 7405 7408 5027 0 -1 1077944320 53527 0 0 0 63655 47 0 0 20 0 16 0 414774332 11004186624 112040 33554432000 4194304 4196468 140722564343760 140722564326304 140265459715831 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 35016704 140722564350987 140722564351090 140722564351090 140722564353999 0
/proc/7408/statm: 2686569 112040 3366 1 0 2646705 0
[pid=7408/tid=7410] ppid=7405 vsize=10746276 memory=1564 CPUtime=1.84 cores=0,2,4,6
/proc/7408/task/7410/stat : 7410 (java) S 7405 7408 5027 0 -1 1077944384 14553 0 0 0 178 6 0 0 20 0 16 0 414774333 11004186624 112040 33554432000 4194304 4196468 140722564343760 140265463958704 140265459726037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35016704 140722564350987 140722564351090 140722564351090 140722564353999 0
[pid=7408/tid=7411] ppid=7405 vsize=10746276 memory=924 CPUtime=0.9 cores=0,2,4,6
/proc/7408/task/7411/stat : 7411 (java) S 7405 7408 5027 0 -1 1077944384 2649 0 0 0 86 4 0 0 20 0 16 0 414774333 11004186624 112040 33554432000 4194304 4196468 140722564343760 140265385790608 140265459726037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35016704 140722564350987 140722564351090 140722564351090 140722564353999 0
[pid=7408/tid=7412] ppid=7405 vsize=10746276 memory=1420 CPUtime=0.92 cores=0,2,4,6
/proc/7408/task/7412/stat : 7412 (java) S 7405 7408 5027 0 -1 1077944384 1951 0 0 0 87 5 0 0 20 0 16 0 414774333 11004186624 112040 33554432000 4194304 4196468 140722564343760 140265384737808 140265459726037 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35016704 140722564350987 140722564351090 140722564351090 140722564353999 0
[pid=7408/tid=7413] ppid=7405 vsize=10746276 memory=1984 CPUtime=0.91 cores=0,2,4,6
/proc/7408/task/7413/stat : 7413 (java) S 7405 7408 5027 0 -1 1077944384 2226 0 0 0 86 5 0 0 20 0 16 0 414774333 11004186624 112040 33554432000 4194304 4196468 140722564343760 140265383685008 140265459726037 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35016704 140722564350987 140722564351090 140722564351090 140722564353999 0
[pid=7408/tid=7414] ppid=7405 vsize=10746276 memory=2532 CPUtime=0.92 cores=0,2,4,6
/proc/7408/task/7414/stat : 7414 (java) S 7405 7408 5027 0 -1 1077944384 2551 0 0 0 87 5 0 0 20 0 16 0 414774333 11004186624 112040 33554432000 4194304 4196468 140722564343760 140265382632208 140265459726037 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35016704 140722564350987 140722564351090 140722564351090 140722564353999 0
[pid=7408/tid=7415] ppid=7405 vsize=10746276 memory=1440 CPUtime=0.51 cores=0,2,4,6
/proc/7408/task/7415/stat : 7415 (java) S 7405 7408 5027 0 -1 1077944384 3755 0 0 0 47 4 0 0 20 0 16 0 414774335 11004186624 112040 33554432000 4194304 4196468 140722564343760 140264950659440 140265459726978 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35016704 140722564350987 140722564351090 140722564351090 140722564353999 0
[pid=7408/tid=7416] ppid=7405 vsize=10746276 memory=808 CPUtime=0 cores=0,2,4,6
/proc/7408/task/7416/stat : 7416 (java) S 7405 7408 5027 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 16 0 414774335 11004186624 112040 33554432000 4194304 4196468 140722564343760 140264949605472 140265459726037 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35016704 140722564350987 140722564351090 140722564351090 140722564353999 0
[pid=7408/tid=7417] ppid=7405 vsize=10746276 memory=1772 CPUtime=0 cores=0,2,4,6
/proc/7408/task/7417/stat : 7417 (java) S 7405 7408 5027 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 16 0 414774335 11004186624 112040 33554432000 4194304 4196468 140722564343760 140264948552576 140265459726037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35016704 140722564350987 140722564351090 140722564351090 140722564353999 0
[pid=7408/tid=7418] ppid=7405 vsize=10746276 memory=111632 CPUtime=0 cores=0,2,4,6
/proc/7408/task/7418/stat : 7418 (java) S 7405 7408 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414774338 11004186624 112040 33554432000 4194304 4196468 140722564343760 140264947500880 140265459734427 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35016704 140722564350987 140722564351090 140722564351090 140722564353999 0
[pid=7408/tid=7419] ppid=7405 vsize=10746276 memory=804 CPUtime=0.67 cores=0,2,4,6
/proc/7408/task/7419/stat : 7419 (java) S 7405 7408 5027 0 -1 1077944384 2886 0 0 0 67 0 0 0 20 0 16 0 414774338 11004186624 112040 33554432000 4194304 4196468 140722564343760 140264946449264 140265459726978 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35016704 140722564350987 140722564351090 140722564351090 140722564353999 0
[pid=7408/tid=7420] ppid=7405 vsize=10746276 memory=1804 CPUtime=0.64 cores=0,2,4,6
/proc/7408/task/7420/stat : 7420 (java) S 7405 7408 5027 0 -1 1077944384 1964 0 0 0 64 0 0 0 20 0 16 0 414774338 11004186624 112040 33554432000 4194304 4196468 140722564343760 140264945396464 140265459726978 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35016704 140722564350987 140722564351090 140722564351090 140722564353999 0
[pid=7408/tid=7421] ppid=7405 vsize=10746276 memory=0 CPUtime=0.46 cores=0,2,4,6
/proc/7408/task/7421/stat : 7421 (java) S 7405 7408 5027 0 -1 1077944384 5881 0 0 0 45 1 0 0 20 0 16 0 414774338 11004186624 112040 33554432000 4194304 4196468 140722564343760 140264944343664 140265459726978 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35016704 140722564350987 140722564351090 140722564351090 140722564353999 0
[pid=7408/tid=7422] ppid=7405 vsize=10746276 memory=-8253362762722141311 CPUtime=0 cores=0,2,4,6
/proc/7408/task/7422/stat : 7422 (java) S 7405 7408 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414774338 11004186624 112040 33554432000 4194304 4196468 140722564343760 140264943291104 140265459726037 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35016704 140722564350987 140722564351090 140722564351090 140722564353999 0
[pid=7408/tid=7423] ppid=7405 vsize=10746276 memory=7100839861465685612 CPUtime=0.14 cores=0,2,4,6
/proc/7408/task/7423/stat : 7423 (java) S 7405 7408 5027 0 -1 1077944384 298 0 0 0 6 8 0 0 20 0 16 0 414774338 11004186624 112040 33554432000 4194304 4196468 140722564343760 140264942238384 140265459726978 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35016704 140722564350987 140722564351090 140722564351090 140722564353999 0
[pid=7408/tid=7424] ppid=7405 vsize=10746276 memory=-7175204567652784766 CPUtime=628.98 cores=0,2,4,6
/proc/7408/task/7424/stat : 7424 (java) R 7405 7408 5027 0 -1 4202560 13415 0 0 0 62890 8 0 0 20 0 16 0 414774520 11004186624 112040 33554432000 4194304 4196468 140722564343760 140264925576736 140265063590725 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35016704 140722564350987 140722564351090 140722564351090 140722564353999 0
Current children cumulated CPU time: 637.02 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 448160 KiB
Child status: 0
Real time (s): 632.633
CPU time (s): 637.056
CPU user time (s): 636.582
CPU system time (s): 0.474329
CPU usage (%): 100.699
Max. virtual memory (cumulated for all children) (KiB): 10746276
Max. memory (cumulated for all children) (KiB): 583484
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 636.582
system time used= 0.474329
maximum resident set size= 586048
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 53892
page faults= 0
swaps= 0
block input operations= 0
block output operations= 840
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 27789
involuntary context switches= 1127
# summary of solver processes directly reported to runsolver:
# pid: 7408
# total CPU time (s): 637.056
# total CPU user time (s): 636.582
# total CPU system time (s): 0.474329
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.89558 second user time and 5.83506 second system time
The end